Certificate for anirudh_dayanand520 – Reasoning with o1