extract_proofs: add 760.smt2 & 760.smt2.proof in the appendix