extract_proofs: add 785.smt2 in the kepler.tex