fgcm_proof.n3 91.3 KB