1 ./ArgoGeoChecker I th_1a_proof.txt 
2 ./ArgoGeoChecker I th_1b_proof.txt 
3 ./ArgoGeoChecker I th_2a_proof.txt 
4 ./ArgoGeoChecker I th_2b_proof.txt 
5 ./ArgoGeoChecker I th_z1_proof.txt 
6 ./ArgoGeoChecker I th_z3_proof.txt 
7 ./ArgoGeoChecker II th_3_proof.txt *
8 ./ArgoGeoChecker II th_zr2_proof.txt *
9 ./ArgoGeoChecker I th_288_proof.txt 
10 ./ArgoGeoChecker I th_290_proof.txt 
11 ./ArgoGeoChecker I th_291_proof.txt 
12 ./ArgoGeoChecker I th_293_proof.txt *
13 ./ArgoGeoChecker I th_884_proof.txt *
14 ./ArgoGeoChecker I th_907_proof.txt *
15 ./ArgoGeoChecker II th_912_proof.txt *
16 ./ArgoGeoChecker II th_913_proof.txt *
17 ./ArgoGeoChecker II th_914_proof.txt *
18 ./ArgoGeoChecker II th_915_proof.txt *

