load partial proofs

6 jobs for master in 9 minutes and 29 seconds