extract_proofs: have separate kepler.tex file
extract_proofs: update new data (in a raw format)