#!/usr/bin/php

Checking equalitysymmetric.prf
Proof checked OK. 2 inferences. That makes 1 proofs.
Checking inequalitysymmetric.prf
Proof checked OK. 2 inferences. That makes 2 proofs.
Checking congruencesymmetric.prf
Proof checked OK. 2 inferences. That makes 3 proofs.
Checking congruencetransitive.prf
Proof checked OK. 2 inferences. That makes 4 proofs.
Checking 3.6a.prf
Proof checked OK. 4 inferences. That makes 5 proofs.
Checking betweennotequal.prf
Proof checked OK. 11 inferences. That makes 6 proofs.
Checking extensionunique.prf
Proof checked OK. 10 inferences. That makes 7 proofs.
Checking doublereverse.prf
Proof checked OK. 5 inferences. That makes 8 proofs.
Checking congruenceflip.prf
Proof checked OK. 5 inferences. That makes 9 proofs.
Checking localextension.prf
Proof checked OK. 5 inferences. That makes 10 proofs.
Checking betweennesspreserved.prf
Proof checked OK. 15 inferences. That makes 11 proofs.
Checking differenceofparts.prf
Proof checked OK. 38 inferences. That makes 12 proofs.
Checking 3.7a.prf
Proof checked OK. 7 inferences. That makes 13 proofs.
Checking 3.5b.prf
Proof checked OK. 2 inferences. That makes 14 proofs.
Checking 3.6b.prf
Proof checked OK. 4 inferences. That makes 15 proofs.
Checking 3.7b.prf
Proof checked OK. 4 inferences. That makes 16 proofs.
Checking partnotequalwhole.prf
Proof checked OK. 8 inferences. That makes 17 proofs.
Checking NCdistinct.prf
Proof checked OK. 9 inferences. That makes 18 proofs.
Checking Prop01.prf
Proof checked OK. 45 inferences. That makes 19 proofs.
Checking Prop02.prf
Proof checked OK. 28 inferences. That makes 20 proofs.
Checking extension.prf
Proof checked OK. 15 inferences. That makes 21 proofs.
Checking lessthancongruence2.prf
Proof checked OK. 3 inferences. That makes 22 proofs.
Checking lessthancongruence.prf
Proof checked OK. 30 inferences. That makes 23 proofs.
Checking outerconnectivity.prf
Proof checked OK. 31 inferences. That makes 24 proofs.
Checking trichotomy1.prf
Proof checked OK. 16 inferences. That makes 25 proofs.
Checking interior5.prf
Proof checked OK. 32 inferences. That makes 26 proofs.
Checking collinear1.prf
Proof checked OK. 10 inferences. That makes 27 proofs.
Checking collinear2.prf
Proof checked OK. 12 inferences. That makes 28 proofs.
Checking collinearorder.prf
Proof checked OK. 5 inferences. That makes 29 proofs.
Checking NCorder.prf
Proof checked OK. 10 inferences. That makes 30 proofs.
Checking collinear4.prf
Proof checked OK. 67 inferences. That makes 31 proofs.
Checking collinear5.prf
Proof checked OK. 6 inferences. That makes 32 proofs.
Checking NChelper.prf
Proof checked OK. 11 inferences. That makes 33 proofs.
Checking fiveline.prf
Proof checked OK. 28 inferences. That makes 34 proofs.
Checking twolines.prf
Proof checked OK. 29 inferences. That makes 35 proofs.
Checking ray2.prf
Proof checked OK. 2 inferences. That makes 36 proofs.
Checking ray.prf
Proof checked OK. 19 inferences. That makes 37 proofs.
Checking ray1.prf
Proof checked OK. 3 inferences. That makes 38 proofs.
Checking ray3.prf
Proof checked OK. 14 inferences. That makes 39 proofs.
Checking raystrict.prf
Proof checked OK. 2 inferences. That makes 40 proofs.
Checking ray4.prf
Proof checked OK. 11 inferences. That makes 41 proofs.
Checking ray5.prf
Proof checked OK. 3 inferences. That makes 42 proofs.
Checking rayimpliescollinear.prf
Proof checked OK. 5 inferences. That makes 43 proofs.
Checking tworays.prf
Proof checked OK. 10 inferences. That makes 44 proofs.
Checking twolines2.prf
Proof checked OK. 44 inferences. That makes 45 proofs.
Checking supplements.prf
Proof checked OK. 52 inferences. That makes 46 proofs.
Checking supplementsymmetric.prf
Proof checked OK. 4 inferences. That makes 47 proofs.
Checking collinearitypreserved.prf
Proof checked OK. 35 inferences. That makes 48 proofs.
Checking trichotomy2.prf
Proof checked OK. 7 inferences. That makes 49 proofs.
Checking lessthannotequal.prf
Proof checked OK. 4 inferences. That makes 50 proofs.
Checking layoff.prf
Proof checked OK. 8 inferences. That makes 51 proofs.
Checking layoffunique.prf
Proof checked OK. 41 inferences. That makes 52 proofs.
Checking lessthanbetween.prf
Proof checked OK. 7 inferences. That makes 53 proofs.
Checking lessthantransitive.prf
Proof checked OK. 32 inferences. That makes 54 proofs.
Checking lessthanadditive.prf
Proof checked OK. 48 inferences. That makes 55 proofs.
Checking lessthanadditive2.prf
Proof checked OK. 8 inferences. That makes 56 proofs.
Checking subtractequals.prf
Proof checked OK. 32 inferences. That makes 57 proofs.
Checking crossbar.prf
Proof checked OK. 83 inferences. That makes 58 proofs.
Checking ABCequalsCBA.prf
Proof checked OK. 21 inferences. That makes 59 proofs.
Checking equalanglessymmetric.prf
Proof checked OK. 32 inferences. That makes 60 proofs.
Checking angledistinct.prf
Proof checked OK. 15 inferences. That makes 61 proofs.
Checking 4.19.prf
Proof checked OK. 8 inferences. That makes 62 proofs.
Checking collinearbetween.prf
Proof checked OK. 81 inferences. That makes 63 proofs.
Checking 9.5a.prf
Proof checked OK. 48 inferences. That makes 64 proofs.
Checking 9.5b.prf
Proof checked OK. 55 inferences. That makes 65 proofs.
Checking 9.5.prf
Proof checked OK. 73 inferences. That makes 66 proofs.
Checking samesidereflexive.prf
Proof checked OK. 8 inferences. That makes 67 proofs.
Checking samesidesymmetric.prf
Proof checked OK. 8 inferences. That makes 68 proofs.
Checking oppositesidesymmetric.prf
Proof checked OK. 28 inferences. That makes 69 proofs.
Checking oppositesideflip.prf
Proof checked OK. 4 inferences. That makes 70 proofs.
Checking samesidecollinear.prf
Proof checked OK. 13 inferences. That makes 71 proofs.
Checking equalanglesNC.prf
Proof checked OK. 33 inferences. That makes 72 proofs.
Checking ondiameter.prf
Proof checked OK. 13 inferences. That makes 73 proofs.
Checking Prop03.prf
Proof checked OK. 3 inferences. That makes 74 proofs.
Checking Prop04.prf
Proof checked OK. 134 inferences. That makes 75 proofs.
Checking equalangleshelper.prf
Proof checked OK. 4 inferences. That makes 76 proofs.
Checking equalanglestransitive.prf
Proof checked OK. 36 inferences. That makes 77 proofs.
Checking equalanglesreflexive.prf
Proof checked OK. 4 inferences. That makes 78 proofs.
Checking equalanglesflip.prf
Proof checked OK. 9 inferences. That makes 79 proofs.
Checking supplements2.prf
Proof checked OK. 10 inferences. That makes 80 proofs.
Checking RTsymmetric.prf
Proof checked OK. 9 inferences. That makes 81 proofs.
Checking RTcongruence.prf
Proof checked OK. 4 inferences. That makes 82 proofs.
Checking midpointunique.prf
Proof checked OK. 38 inferences. That makes 83 proofs.
Checking rightangleNC.prf
Proof checked OK. 47 inferences. That makes 84 proofs.
Checking 8.2.prf
Proof checked OK. 34 inferences. That makes 85 proofs.
Checking rightreverse.prf
Proof checked OK. 6 inferences. That makes 86 proofs.
Checking 8.3.prf
Proof checked OK. 17 inferences. That makes 87 proofs.
Checking equaltorightisright.prf
Proof checked OK. 35 inferences. That makes 88 proofs.
Checking altitudebisectsbase.prf
Proof checked OK. 49 inferences. That makes 89 proofs.
Checking collinearright.prf
Proof checked OK. 34 inferences. That makes 90 proofs.
Checking droppedperpendicularunique.prf
Proof checked OK. 35 inferences. That makes 91 proofs.
Checking 8.7.prf
Proof checked OK. 25 inferences. That makes 92 proofs.
Checking angleorderrespectscongruence.prf
Proof checked OK. 63 inferences. That makes 93 proofs.
Checking angleordertransitive.prf
Proof checked OK. 39 inferences. That makes 94 proofs.
Checking angleorderrespectscongruence2.prf
Proof checked OK. 3 inferences. That makes 95 proofs.
Checking Prop15.prf
Proof checked OK. 64 inferences. That makes 96 proofs.
Checking supplementinequality.prf
Proof checked OK. 91 inferences. That makes 97 proofs.
Checking Prop05.prf
Proof checked OK. 7 inferences. That makes 98 proofs.
Checking Prop05b.prf
Proof checked OK. 13 inferences. That makes 99 proofs.
Checking Prop10.prf
Proof checked OK. 112 inferences. That makes 100 proofs.
Checking planeseparation.prf
Proof checked OK. 303 inferences. That makes 101 proofs.
Checking samesidetransitive.prf
Proof checked OK. 5 inferences. That makes 102 proofs.
Checking samesideflip.prf
Proof checked OK. 6 inferences. That makes 103 proofs.
Checking samenotopposite.prf
Proof checked OK. 5 inferences. That makes 104 proofs.
Checking sameside2.prf
Proof checked OK. 79 inferences. That makes 105 proofs.
Checking Prop12.prf
Proof checked OK. 42 inferences. That makes 106 proofs.
Checking Prop13.prf
Proof checked OK. 16 inferences. That makes 107 proofs.
Checking Prop07.prf
Proof checked OK. 188 inferences. That makes 108 proofs.
Checking crossbar2.prf
Proof checked OK. 65 inferences. That makes 109 proofs.
Checking angletrichotomy.prf
Proof checked OK. 106 inferences. That makes 110 proofs.
Checking Prop06a.prf
Proof checked OK. 47 inferences. That makes 111 proofs.
Checking Prop06.prf
Proof checked OK. 10 inferences. That makes 112 proofs.
Checking Prop08.prf
Proof checked OK. 51 inferences. That makes 113 proofs.
Checking Prop09.prf
Proof checked OK. 46 inferences. That makes 114 proofs.
Checking Prop11.prf
Proof checked OK. 15 inferences. That makes 115 proofs.
Checking pointreflectionisometry.prf
Proof checked OK. 94 inferences. That makes 116 proofs.
Checking rightreflection.prf
Proof checked OK. 49 inferences. That makes 117 proofs.
Checking notperp.prf
Proof checked OK. 92 inferences. That makes 118 proofs.
Checking Prop11B.prf
Proof checked OK. 98 inferences. That makes 119 proofs.
Checking linereflectionisometry.prf
Proof checked OK. 123 inferences. That makes 120 proofs.
Checking 10.12.prf
Proof checked OK. 42 inferences. That makes 121 proofs.
Checking erectedperpendicularunique.prf
Proof checked OK. 17 inferences. That makes 122 proofs.
Checking rightcollinear.prf
Proof checked OK. 27 inferences. That makes 123 proofs.
Checking Prop14.prf
Proof checked OK. 41 inferences. That makes 124 proofs.
Checking Prop16.prf
Proof checked OK. 236 inferences. That makes 125 proofs.
Checking acutebetween.prf
Proof checked OK. 25 inferences. That makes 126 proofs.
Checking Prop17.prf
Proof checked OK. 97 inferences. That makes 127 proofs.
Checking Prop18.prf
Proof checked OK. 58 inferences. That makes 128 proofs.
Checking Prop19.prf
Proof checked OK. 26 inferences. That makes 129 proofs.
Checking Prop20.prf
Proof checked OK. 67 inferences. That makes 130 proofs.
Checking together.prf
Proof checked OK. 14 inferences. That makes 131 proofs.
Checking together2.prf
Proof checked OK. 67 inferences. That makes 132 proofs.
Checking TGsymmetric.prf
Proof checked OK. 13 inferences. That makes 133 proofs.
Checking TGflip.prf
Proof checked OK. 15 inferences. That makes 134 proofs.
Checking 21helper.prf
Proof checked OK. 29 inferences. That makes 135 proofs.
Checking TTorder.prf
Proof checked OK. 3 inferences. That makes 136 proofs.
Checking TTflip.prf
Proof checked OK. 6 inferences. That makes 137 proofs.
Checking TTtransitive.prf
Proof checked OK. 15 inferences. That makes 138 proofs.
Checking TTflip2.prf
Proof checked OK. 18 inferences. That makes 139 proofs.
Checking Prop21.prf
Proof checked OK. 78 inferences. That makes 140 proofs.
Checking Prop22.prf
Proof checked OK. 107 inferences. That makes 141 proofs.
Checking Euclid4.prf
Proof checked OK. 91 inferences. That makes 142 proofs.
Checking legsmallerhypotenuse.prf
Proof checked OK. 47 inferences. That makes 143 proofs.
Checking halfanglelessthanright.prf
Proof checked OK. 82 inferences. That makes 144 proofs.
Checking Prop23.prf
Proof checked OK. 42 inferences. That makes 145 proofs.
Checking Prop23B.prf
Proof checked OK. 160 inferences. That makes 146 proofs.
Checking Prop23C.prf
Proof checked OK. 16 inferences. That makes 147 proofs.
Checking Prop24.prf
Proof checked OK. 212 inferences. That makes 148 proofs.
Checking angletrichotomy2.prf
Proof checked OK. 326 inferences. That makes 149 proofs.
Checking Prop25.prf
Proof checked OK. 18 inferences. That makes 150 proofs.
Checking Prop26A.prf
Proof checked OK. 80 inferences. That makes 151 proofs.
Checking 26helper.prf
Proof checked OK. 51 inferences. That makes 152 proofs.
Checking Prop26B.prf
Proof checked OK. 14 inferences. That makes 153 proofs.
Checking parallelsymmetric.prf
Proof checked OK. 5 inferences. That makes 154 proofs.
Checking paralleldef2A.prf
Proof checked OK. 32 inferences. That makes 155 proofs.
Checking parallelcollinear1.prf
Proof checked OK. 174 inferences. That makes 156 proofs.
Checking tarskiparallelflip.prf
Proof checked OK. 23 inferences. That makes 157 proofs.
Checking parallelcollinear2.prf
Proof checked OK. 91 inferences. That makes 158 proofs.
Checking parallelcollinear.prf
Proof checked OK. 16 inferences. That makes 159 proofs.
Checking paralleldef2B.prf
Proof checked OK. 121 inferences. That makes 160 proofs.
Checking parallelflip.prf
Proof checked OK. 27 inferences. That makes 161 proofs.
Checking collinearparallel.prf
Proof checked OK. 12 inferences. That makes 162 proofs.
Checking parallelNC.prf
Proof checked OK. 19 inferences. That makes 163 proofs.
Checking collinearparallel2.prf
Proof checked OK. 25 inferences. That makes 164 proofs.
Checking Prop27.prf
Proof checked OK. 246 inferences. That makes 165 proofs.
Checking Prop27B.prf
Proof checked OK. 19 inferences. That makes 166 proofs.
Checking Prop28A.prf
Proof checked OK. 25 inferences. That makes 167 proofs.
Checking Prop28B.prf
Proof checked OK. 26 inferences. That makes 168 proofs.
Checking Prop28C.prf
Proof checked OK. 20 inferences. That makes 169 proofs.
Checking Prop28D.prf
Proof checked OK. 20 inferences. That makes 170 proofs.
Checking Prop31.prf
Proof checked OK. 149 inferences. That makes 171 proofs.
Checking Prop31short.prf
Proof checked OK. 1 inferences. That makes 172 proofs.
Checking Prop29.prf
Proof checked OK. 174 inferences. That makes 173 proofs.
Checking Prop29B.prf
Proof checked OK. 42 inferences. That makes 174 proofs.
Checking Prop29C.prf
Proof checked OK. 59 inferences. That makes 175 proofs.
Checking crossimpliesopposite.prf
Proof checked OK. 10 inferences. That makes 176 proofs.
Checking crisscross.prf
Proof checked OK. 154 inferences. That makes 177 proofs.
Checking Prop30A.prf
Proof checked OK. 109 inferences. That makes 178 proofs.
Checking 30helper.prf
Proof checked OK. 65 inferences. That makes 179 proofs.
Checking Prop30.prf
Proof checked OK. 215 inferences. That makes 180 proofs.
Checking Prop30B.prf
Proof checked OK. 58 inferences. That makes 181 proofs.
Checking Prop32.prf
Proof checked OK. 185 inferences. That makes 182 proofs.
Checking Prop33.prf
Proof checked OK. 30 inferences. That makes 183 proofs.
Checking diagonalsmeet.prf
Proof checked OK. 115 inferences. That makes 184 proofs.
Checking TCreflexive.prf
Proof checked OK. 4 inferences. That makes 185 proofs.
Checking parallelPasch.prf
Proof checked OK. 38 inferences. That makes 186 proofs.
Checking parallelbetween.prf
Proof checked OK. 49 inferences. That makes 187 proofs.
Checking Prop34.prf
Proof checked OK. 65 inferences. That makes 188 proofs.
Checking diagonalsbisect.prf
Proof checked OK. 98 inferences. That makes 189 proofs.
Checking trapezoiddiagonals.prf
Proof checked OK. 29 inferences. That makes 190 proofs.
Checking PGflip.prf
Proof checked OK. 4 inferences. That makes 191 proofs.
Checking PGsymmetric.prf
Proof checked OK. 5 inferences. That makes 192 proofs.
Checking PGrotate.prf
Proof checked OK. 5 inferences. That makes 193 proofs.
Checking Prop33B.prf
Proof checked OK. 12 inferences. That makes 194 proofs.
Checking Playfairhelper.prf
Proof checked OK. 58 inferences. That makes 195 proofs.
Checking Playfairhelper2.prf
Proof checked OK. 71 inferences. That makes 196 proofs.
Checking Playfair.prf
Proof checked OK. 13 inferences. That makes 197 proofs.
Checking triangletoparallelogram.prf
Proof checked OK. 60 inferences. That makes 198 proofs.
Checking collinearmidpoint.prf
Proof checked OK. 28 inferences. That makes 199 proofs.
Checking 35helper.prf
Proof checked OK. 116 inferences. That makes 200 proofs.
Checking rightangleSSA.prf
Proof checked OK. 66 inferences. That makes 201 proofs.
Checking incenter.prf
Proof checked OK. 679 inferences. That makes 202 proofs.
Checking sumofequalsisdouble.prf
Proof checked OK. 6 inferences. That makes 203 proofs.
Checking doublesum.prf
Proof checked OK. 4 inferences. That makes 204 proofs.
Checking doublesum2.prf
Proof checked OK. 4 inferences. That makes 205 proofs.
Checking sumsofdoubles.prf
could not check EABEjJEC in EABEjJEC
Stack Object
(
    [stk] => Array
        (
            [0] => DABEFBAF
            [1] => DAFECFAC
            [2] => ASBEFFECBEC
            [3] => ASBAFFACBAC
            [4] => ANEABEHHEF+BEBHF+EABEHBAF
            [5] => EABEHHEF
            [6] => BEBHF
            [7] => EABEHBAF
            [8] => ANEAFEJJEC+BEFJC+EAFEJFAC
            [9] => EAFEJJEC
            [10] => BEFJC
            [11] => EAFEJFAC
            [12] => ANEABEFBEf+EAFECfEC+BEBfC
            [13] => EABEFBEf
            [14] => EAFECfEC
            [15] => BEBfC
            [16] => ANEABAFBAg+EAFACgAC+BEBgC
            [17] => EABAFBAg
            [18] => EAFACgAC
            [19] => BEBgC
        )

)