Certificate for mahpara – Reasoning with o1