Main Search Saved Proofs