Certificate for ahmad_fakhar245 – Reasoning with o1