Certificate for Saher62 – Reasoning with o1