Certificate for mmm_96 – Reasoning with o1