split proofs into two files