out-out of axiom check

2 jobs for gen_proofmode in 18 minutes and 30 seconds (queued for 3 seconds)