
The complete proof:
The Isar proof is in: proofs/isar_proof10.thy
The proof in the natural language form is in: proofs/nl_proof10.tex
The number of steps: 54
The number of axioms used: 13
The list of used axioms:
ax_D6a ax_D8a ax_D10a ax_D6 ax_D8 ax_D10 ax_I3a ax_I4b ax_D1 ax_g5 ax_D3 ax_I6 ax_D11b 

The clean proof: 
The Isar proof is in: proofs/isar_proof_optimized10.thy
The proof in the natural language form is in: proofs/nl_proof_optimized10.tex
The number of steps: 10

The list of all axioms considered (given and derived) is in: all_axioms.txt.

Basic time: 0.11 seconds. 
Cleaning time: 0.02 seconds. 
Total time: 0.13 seconds. 

