Certificate for SMAshhar – Reasoning with o1