Certificate for maria_3133 – Reasoning with o1