Certificate for iqra56 – Reasoning with o1