#!/usr/bin/php


unused in extensionunique.prf:    11 12 13 
unused in betweennesspreserved.prf:    19 20 21 22 23 24 25* 
unused in fiveline.prf:    43 44 45 46 47 48 
unused in collinearitypreserved.prf:    17* 24 31 49 50 51 52 53 54 55 56 57 
unused in 4.19.prf:    10 11 12 
unused in rightangleNC.prf:    16* 26 79 80 81 82 83 84 
unused in altitudebisectsbase.prf:    55* 62 68 69 70 71# 
unused in Prop12.prf:    49 58 59 60 
unused in pointreflectionisometry.prf:    20 69 101 137 
unused in rightreflection.prf:    19 31 66 67 68 69 70 71 72 73 74 
unused in linereflectionisometry.prf:    7# 113 114 115 116 117 118 119 120 121* 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152* 153 154* 155 156 157 158 159* 160* 161 162 163 164 
unused in Prop11B.prf:    11* 133 134 135 
unused in 21helper.prf:    42 43 44 
unused in Prop22.prf:    79 192 193 194 195 196 197 198 199 200 201 
unused in Prop24.prf:    2 
unused in Prop31.prf:    158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 
unused in EFreflexive.prf:    30 
unused in trapezoiddiagonals.prf:    4 
unused in Prop35A.prf:    97* 98* 112# 158# 180 197# 315* 324 
unused in Prop42.prf:    158% 233 250 
unused in Prop42B.prf:    89 92 
unused in Prop45.prf:    18% 29b 30% 50b 51% 52b 71# 84b 85% 86b 93b 94% 95b 114b 115% 116% 117b 161 163% 204# 
unused in Prop47B.prf:    49# 99# 158# 209 211 
unused in squaresequal.prf:    17 
unused in paste5.prf:    13 15 119b 120b 221 261 
25 proofs left to fix.