#Output from Maple V, ver. 4 (on Gateway 2000, G6-300 PC) running on Windows95
                             AreaFormula, true, .343
 
                             Brianchon, true, 10.521
 
                             Butterfly, true, 3.117
 
                           CentroidExists, true, .068
 
                                Ceva, true, .193
 
                              Desargues, true, .247
 
                           EulerLineExists, true, .412
 
Warning, new definition for norm
Warning, new definition for trace
                    EulerTetrahedronVolumeFormula, true, .082
 
                        EulerTriangleFormula, true, .700
 
                              Feuerbach, true, .631
 
                             FoxTalbot, true, 5.493
 
                               Herron, true, .014
 
                           IncenterExists, true, .193
 
                              Johnson, true, 3.048
 
                              4  4      3  3    2      2  2            2
            (m + n) (m - n) (m  n  - 4 m  n  - m  + 5 n  m  - 4 n m - n )
 Lehmus, -4 -------------------------------------------------------------, .316
                               2         2          2       2
                        (-n + m  n - 2 m)  (-m + m n  - 2 n)
 
                              Menelaus, true, 5.644
 
                               Morley, true, 4.244
 
                              Napoleon, true, .686
 
                       NinePointCircleExists, true, 34.650
 
                          OrthocenterExists, true, .097
 
                               Pappus, true, 1.442
 
                               Pascal, true, 1.098
 
                              Ptolemy, true, 3.241
 
                               Simson, true, 2.294
 
                               Soddy, true, 4.216