#!/usr/bin/php

unused in Prop01.prf:    8 17 
unused in Prop02.prf:    8 21 22 33 
unused in ondiameter.prf:    7 
unused in Prop12.prf:    15 18 20 52* 
unused in rightreflection.prf:    6 8 25* 37* 
unused in linereflectionisometry.prf:    7# 134 
unused in Prop22.prf:    84* 96 
unused in Prop24.prf:    2 
unused in Prop31.prf:    156 
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 
18 proofs left to fix.