Certificate for muhammad_bilal310 – Reasoning with o1