read Gtext:
t0:=time():
print(` AreaFormula`,AreaFormula(),time()-t0):t0:=time():
print(` Brianchon`,Brianchon(),time()-t0):t0:=time():
print(` Butterfly`,Butterfly(),time()-t0):t0:=time():
print(` CentroidExists`,CentroidExists(),time()-t0):t0:=time():
print(` Ceva`,Ceva(),time()-t0):t0:=time():
print(` Desargues`,Desargues(),time()-t0):t0:=time():
print(` EulerLineExists`,EulerLineExists(),time()-t0):t0:=time():
print(` EulerTetrahedronVolumeFormula`,EulerTetrahedronVolumeFormula(),
time()-t0):t0:=time():
print(` EulerTriangleFormula`,EulerTriangleFormula(),time()-t0):t0:=time():
print(` Feuerbach`,Feuerbach(),time()-t0):t0:=time():
print(` FoxTalbot`,FoxTalbot(),time()-t0):t0:=time():
print(` Herron`,Herron(),time()-t0):t0:=time():
print(` IncenterExists`,IncenterExists(),time()-t0):t0:=time():
print(` Johnson`,Johnson(),time()-t0):t0:=time():
print(` Lehmus`,Lehmus(),time()-t0):t0:=time():
print(` Menelaus`,Menelaus(),time()-t0):t0:=time():
print(` Morley`,Morley(),time()-t0):t0:=time():
print(` Napoleon`,Napoleon(),time()-t0):t0:=time():
print(` NinePointCircleExists`,NinePointCircleExists(),time()-t0):t0:=time():
print(` OrthocenterExists`,OrthocenterExists(),time()-t0):t0:=time():
print(` Pappus`,Pappus(),time()-t0):t0:=time():
print(` Pascal`,Pascal(),time()-t0):t0:=time():
print(` Ptolemy`,Ptolemy(),time()-t0):t0:=time():
print(` Simson`,Simson(),time()-t0):t0:=time():
print(` Soddy`,Soddy(),time()-t0):t0:=time():