Certificate for Titan_Sage6f02 – Reasoning with o1