Certificate for Qambar-12 – Reasoning with o1