Running times for building the models for E5, E6, E7, and E8.
The host was a 2.8GHz Pentium IV running Red Hat Linux 9 and Maple 9.

For each irrep, a 4-tuple   i, N, t, M   is printed, where
  i = the number of the irrep
  N = the dimension
  t = the total number of CPU seconds used to build the orthogonal and
      seminormal models for this irrep, and
  M = the total amount of RAM (in bytes) allocated by Maple up to this
      point in the computation

The total number of CPU seconds used for each group, and the current RAM
allocation up to that point is also provided. (This is an excerpt from a
run of 'makemodels', so the RAM allocation did not start at 0.)

=============================================================================


                                       E5

`2 equations, 1 vars`, 0.
`found solution `, 0.
`verification took `, 0.
`seminormal took`, 0.
                              1, 1, 0.069, 6945544

`10 equations, 3 vars`, 0.
`found solution `, .31e-1
`verification took `, 0.
`seminormal took`, 0.
                              2, 4, 0.041, 6945544

`12 equations, 3 vars`, 0.
`found solution `, .10e-1
`verification took `, 0.
`seminormal took`, 0.
                              3, 5, 0.019, 6945544

`16 equations, 4 vars`, 0.
`found solution `, .21e-1
`verification took `, 0.
`seminormal took`, 0.
                              4, 6, 0.021, 6945544

`12 equations, 3 vars`, 0.
`found solution `, .11e-1
`verification took `, 0.
`seminormal took`, 0.
                              5, 5, 0.020, 6945544

`10 equations, 3 vars`, .9e-2
`found solution `, .10e-1
`verification took `, 0.
`seminormal took`, 0.
                              6, 4, 0.019, 6945544

`2 equations, 1 vars`, 0.
`found solution `, 0.
`verification took `, 0.
`seminormal took`, 0.
                               7, 1, 0., 6945544

`8 has clones`, [1, 2]
`17 equations, 5 vars`, 0.
`found solution `, .61e-1
`verification took `, 0.
`seminormal took`, .10e-1
                              8, 5, 0.071, 6945544

`9 has clones`, [3, 16], [2, 3, 4]
`84 equations, 16 vars`, .9e-2
`found solution `, .511
`verification took `, .30e-1
`seminormal took`, .80e-1
                             9, 15, 0.630, 6945544

`10 has clones`, [3, 5]
`39 equations, 8 vars`, 0.
`found solution `, .90e-1
`verification took `, 0.
`seminormal took`, .39e-1
                             10, 10, 0.129, 6945544

`11 has clones`, [5, 15], [4, 5, 6]
`84 equations, 16 vars`, .11e-1
`found solution `, .620
`verification took `, .20e-1
`seminormal took`, .69e-1
                             11, 15, 0.720, 6945544

`12 has clones`, [6, 7]
`17 equations, 5 vars`, 0.
`found solution `, .40e-1
`verification took `, 0.
`seminormal took`, .30e-1
                             12, 5, 0.090, 6945544

`13 has clones`, [3, 8], [1, 2, 3]
`46 equations, 11 vars`, 0.
`found solution `, .190
`verification took `, .11e-1
`seminormal took`, .39e-1
                             13, 10, 0.240, 6945544

`14 has clones`, [10, 16], [5, 9], [3, 5, 16], [2, 4, 10], [2, 3, 4, 5]
`136 equations, 24 vars`, .10e-1
`found solution `, 1.311
`verification took `, .60e-1
`seminormal took`, .190
                             14, 20, 1.571, 6945544

`15 has clones`, [4, 6]
`41 equations, 9 vars`, 0.
`found solution `, .159
`verification took `, .11e-1
`seminormal took`, .9e-2
                             15, 10, 0.179, 6945544

`16 has clones`, [2, 4]
`41 equations, 9 vars`, 0.
`found solution `, .150
`verification took `, 0.
`seminormal took`, .11e-1
                             16, 10, 0.161, 6945544

`17 has clones`, [10, 15], [4, 6, 10], [3, 11], [3, 5, 15], [3, 4, 5, 6]
`136 equations, 24 vars`, .9e-2
`found solution `, 1.360
`verification took `, .90e-1
`seminormal took`, .211
                             17, 20, 1.670, 6945544

`18 has clones`, [5, 12], [5, 6, 7]
`46 equations, 11 vars`, 0.
`found solution `, .220
`verification took `, .30e-1
`seminormal took`, .39e-1
                             18, 10, 0.289, 6945544

                                 5.939, 6945544


                                       E6

`2 equations, 1 vars`, 0.
`found solution `, .10e-1
`verification took `, 0.
`seminormal took`, 0.
                              1, 1, 0.211, 6945544

`2 equations, 1 vars`, 0.
`found solution `, 0.
`verification took `, 0.
`seminormal took`, 0.
                               2, 1, 0., 6945544

`11 equations, 4 vars`, 0.
`found solution `, .9e-2
`verification took `, 0.
`seminormal took`, .11e-1
                              3, 6, 0.020, 6945544

`11 equations, 4 vars`, 0.
`found solution `, .30e-1
`verification took `, 0.
`seminormal took`, .10e-1
                              4, 6, 0.049, 6945544

`8 equations, 2 vars`, 0.
`found solution `, 0.
`verification took `, 0.
`seminormal took`, 0.
                               5, 10, 0., 6945544

`23 equations, 5 vars`, 0.
`found solution `, .30e-1
`verification took `, 0.
`seminormal took`, .9e-2
                             6, 15, 0.050, 6945544

`23 equations, 5 vars`, .11e-1
`found solution `, .30e-1
`verification took `, 0.
`seminormal took`, .9e-2
                             7, 15, 0.050, 6945544

`18 equations, 5 vars`, .10e-1
`found solution `, .41e-1
`verification took `, 0.
`seminormal took`, .9e-2
                             8, 15, 0.060, 6945544

`18 equations, 5 vars`, .11e-1
`found solution `, .19e-1
`verification took `, 0.
`seminormal took`, .11e-1
                             9, 15, 0.041, 6945544

`58 equations, 13 vars`, .9e-2
`found solution `, .161
`verification took `, 0.
`seminormal took`, .50e-1
                             10, 20, 0.220, 6945544

`58 equations, 13 vars`, 0.
`found solution `, .190
`verification took `, .9e-2
`seminormal took`, .60e-1
                             11, 20, 0.269, 6945544

`19 equations, 5 vars`, 0.
`found solution `, .19e-1
`verification took `, 0.
`seminormal took`, .20e-1
                             12, 20, 0.050, 6945544

`38 equations, 6 vars`, .10e-1
`found solution `, .80e-1
`verification took `, 0.
`seminormal took`, .11e-1
                             13, 24, 0.101, 6945544

`38 equations, 6 vars`, .9e-2
`found solution `, .51e-1
`verification took `, .9e-2
`seminormal took`, .11e-1
                             14, 24, 0.080, 6945544

`79 equations, 13 vars`, 0.
`found solution `, .240
`verification took `, .10e-1
`seminormal took`, .39e-1
                             15, 30, 0.299, 6945544

`79 equations, 13 vars`, 0.
`found solution `, .250
`verification took `, .30e-1
`seminormal took`, .39e-1
                             16, 30, 0.330, 6945544

`216 equations, 28 vars`, .30e-1
`found solution `, 1.211
`verification took `, .59e-1
`seminormal took`, .131
                             17, 60, 1.431, 6945544

`216 equations, 28 vars`, .30e-1
`found solution `, 1.220
`verification took `, .99e-1
`seminormal took`, .151
                             18, 60, 1.500, 6945544

`199 equations, 25 vars`, .19e-1
`found solution `, .811
`verification took `, .30e-1
`seminormal took`, .99e-1
                             19, 60, 0.959, 6945544

`274 equations, 37 vars`, .41e-1
`found solution `, 2.039
`verification took `, .181
`seminormal took`, .190
                             20, 64, 2.451, 6945544

`274 equations, 37 vars`, .60e-1
`found solution `, 2.310
`verification took `, .110
`seminormal took`, .259
                             21, 64, 2.739, 6945544

`330 equations, 36 vars`, .41e-1
`found solution `, 2.400
`verification took `, .110
`seminormal took`, .250
                             22, 80, 2.801, 6945544

`353 equations, 40 vars`, .59e-1
`found solution `, 2.250
`verification took `, .191
`seminormal took`, .339
                             23, 81, 2.839, 6945544

`353 equations, 40 vars`, .40e-1
`found solution `, 2.279
`verification took `, .211
`seminormal took`, .319
                             24, 81, 2.860, 6945544

`417 equations, 45 vars`, .60e-1
`found solution `, 3.311
`verification took `, .260
`seminormal took`, .539
                             25, 90, 4.170, 6945544

                                23.580, 6945544


                                       E7

`2 equations, 1 vars`, 0.
`found solution `, 0.
`verification took `, 0.
`seminormal took`, 0.
                              1, 1, 0.331, 6945544

`2 equations, 1 vars`, 0.
`found solution `, 0.
`verification took `, 0.
`seminormal took`, 0.
                               2, 1, 0., 6945544

`11 equations, 4 vars`, 0.
`found solution `, .10e-1
`verification took `, 0.
`seminormal took`, .9e-2
                              3, 7, 0.030, 6945544

`11 equations, 4 vars`, .10e-1
`found solution `, .9e-2
`verification took `, 0.
`seminormal took`, .11e-1
                              4, 7, 0.041, 6945544

`6 equations, 2 vars`, 0.
`found solution `, 0.
`verification took `, 0.
`seminormal took`, 0.
                             5, 15, 0.010, 6945544

`6 equations, 2 vars`, 0.
`found solution `, 0.
`verification took `, 0.
`seminormal took`, 0.
                             6, 15, 0.009, 6945544

`23 equations, 6 vars`, 0.
`found solution `, .49e-1
`verification took `, 0.
`seminormal took`, .10e-1
                             7, 21, 0.070, 6945544

`23 equations, 6 vars`, 0.
`found solution `, .30e-1
`verification took `, 0.
`seminormal took`, .9e-2
                             8, 21, 0.050, 6945544

`18 equations, 5 vars`, 0.
`found solution `, .21e-1
`verification took `, 0.
`seminormal took`, .9e-2
                             9, 21, 0.040, 6945544

`18 equations, 5 vars`, .10e-1
`found solution `, .50e-1
`verification took `, 0.
`seminormal took`, .10e-1
                             10, 21, 0.081, 6945544

`43 equations, 11 vars`, 0.
`found solution `, .151
`verification took `, .9e-2
`seminormal took`, .41e-1
                             11, 27, 0.210, 6945544

`43 equations, 11 vars`, .9e-2
`found solution `, .150
`verification took `, .21e-1
`seminormal took`, .40e-1
                             12, 27, 0.230, 6945544

`31 equations, 7 vars`, 0.
`found solution `, .51e-1
`verification took `, 0.
`seminormal took`, .9e-2
                             13, 35, 0.099, 6945544

`31 equations, 7 vars`, 0.
`found solution `, .41e-1
`verification took `, 0.
`seminormal took`, .9e-2
                             14, 35, 0.060, 6945544

`19 equations, 5 vars`, .11e-1
`found solution `, .49e-1
`verification took `, 0.
`seminormal took`, .11e-1
                             15, 35, 0.081, 6945544

`19 equations, 5 vars`, 0.
`found solution `, .20e-1
`verification took `, 0.
`seminormal took`, .10e-1
                             16, 35, 0.040, 6945544

`77 equations, 14 vars`, .11e-1
`found solution `, .260
`verification took `, .30e-1
`seminormal took`, .30e-1
                             17, 56, 0.340, 6945544

`77 equations, 14 vars`, .10e-1
`found solution `, .220
`verification took `, .60e-1
`seminormal took`, .30e-1
                             18, 56, 0.329, 6945544

`43 equations, 7 vars`, .10e-1
`found solution `, .99e-1
`verification took `, 0.
`seminormal took`, .21e-1
                             19, 70, 0.141, 6945544

`43 equations, 7 vars`, 0.
`found solution `, .81e-1
`verification took `, 0.
`seminormal took`, .19e-1
                             20, 70, 0.109, 6945544

`47 equations, 8 vars`, .11e-1
`found solution `, .60e-1
`verification took `, 0.
`seminormal took`, .10e-1
                             21, 84, 0.111, 6945544

`47 equations, 8 vars`, .11e-1
`found solution `, .79e-1
`verification took `, 0.
`seminormal took`, .10e-1
                             22, 84, 0.109, 6945544

`159 equations, 24 vars`, .19e-1
`found solution `, .851
`verification took `, .109
`seminormal took`, .141
                            23, 105, 1.131, 6945544

`159 equations, 24 vars`, .49e-1
`found solution `, .871
`verification took `, .90e-1
`seminormal took`, .160
                            24, 105, 1.170, 6945544

`64 equations, 9 vars`, .11e-1
`found solution `, .169
`verification took `, .10e-1
`seminormal took`, .20e-1
                            25, 105, 0.219, 6945544

`64 equations, 9 vars`, .30e-1
`found solution `, .171
`verification took `, .9e-2
`seminormal took`, .21e-1
                            26, 105, 0.241, 6945544

`107 equations, 15 vars`, .10e-1
`found solution `, .331
`verification took `, .20e-1
`seminormal took`, .30e-1
                            27, 105, 0.400, 6945544

`107 equations, 15 vars`, .9e-2
`found solution `, .340
`verification took `, .51e-1
`seminormal took`, .30e-1
                            28, 105, 0.440, 6945544

`195 equations, 27 vars`, .30e-1
`found solution `, 1.180
`verification took `, .179
`seminormal took`, .161
                            29, 120, 1.560, 6945544

`195 equations, 27 vars`, .19e-1
`found solution `, 1.191
`verification took `, .190
`seminormal took`, .160
                            30, 120, 1.570, 6945544

`239 equations, 28 vars`, .20e-1
`found solution `, 1.241
`verification took `, .100
`seminormal took`, .99e-1
                            31, 168, 1.489, 6945544

`239 equations, 28 vars`, .19e-1
`found solution `, 1.190
`verification took `, .141
`seminormal took`, .80e-1
                            32, 168, 1.441, 6945544

`271 equations, 30 vars`, .60e-1
`found solution `, 1.611
`verification took `, .190
`seminormal took`, .169
                            33, 189, 2.049, 6945544

`271 equations, 30 vars`, .41e-1
`found solution `, 1.560
`verification took `, .209
`seminormal took`, .180
                            34, 189, 2.000, 6945544

`338 equations, 39 vars`, .41e-1
`found solution `, 2.389
`verification took `, .271
`seminormal took`, .190
                            35, 189, 2.901, 6945544

`338 equations, 39 vars`, .41e-1
`found solution `, 2.500
`verification took `, .250
`seminormal took`, .170
                            36, 189, 2.970, 6945544

`229 equations, 26 vars`, .30e-1
`found solution `, 1.160
`verification took `, .131
`seminormal took`, .79e-1
                            37, 189, 1.409, 6945544

`229 equations, 26 vars`, .60e-1
`found solution `, 1.180
`verification took `, .91e-1
`seminormal took`, .120
                            38, 189, 1.461, 6945544

`261 equations, 28 vars`, .30e-1
`found solution `, 1.150
`verification took `, .51e-1
`seminormal took`, .100
                            39, 210, 1.350, 6945544

`261 equations, 28 vars`, .30e-1
`found solution `, 1.100
`verification took `, .50e-1
`seminormal took`, .70e-1
                            40, 210, 1.259, 6945544

`374 equations, 41 vars`, .79e-1
`found solution `, 2.660
`verification took `, .291
`seminormal took`, .260
                            41, 210, 3.301, 6945544

`374 equations, 41 vars`, .51e-1
`found solution `, 2.810
`verification took `, .299
`seminormal took`, .201
                            42, 210, 3.400, 6945544

`283 equations, 30 vars`, .31e-1
`found solution `, 1.340
`verification took `, .180
`seminormal took`, .149
                            43, 216, 1.709, 6945544

`283 equations, 30 vars`, .30e-1
`found solution `, 1.299
`verification took `, .130
`seminormal took`, .161
                            44, 216, 1.631, 6945544

`474 equations, 45 vars`, .99e-1
`found solution `, 3.491
`verification took `, .310
`seminormal took`, .329
                            45, 280, 4.239, 6945544

`474 equations, 45 vars`, .60e-1
`found solution `, 3.519
`verification took `, .291
`seminormal took`, .329
                            46, 280, 4.220, 6945544

`482 equations, 45 vars`, .60e-1
`found solution `, 4.549
`verification took `, .351
`seminormal took`, .310
                            47, 280, 5.291, 6945544

`482 equations, 45 vars`, .109
`found solution `, 4.870
`verification took `, .400
`seminormal took`, .371
                            48, 280, 5.760, 6945544

`585 equations, 51 vars`, .90e-1
`found solution `, 5.581
`verification took `, .479
`seminormal took`, .320
                            49, 315, 6.479, 6945544

`585 equations, 51 vars`, .89e-1
`found solution `, 5.900
`verification took `, .620
`seminormal took`, .310
                            50, 315, 6.930, 7011068

`586 equations, 50 vars`, .131
`found solution `, 5.049
`verification took `, .461
`seminormal took`, .329
                            51, 336, 5.980, 7011068

`586 equations, 50 vars`, .130
`found solution `, 5.081
`verification took `, .440
`seminormal took`, .370
                            52, 336, 6.041, 7011068

`733 equations, 61 vars`, .120
`found solution `, 7.030
`verification took `, .350
`seminormal took`, .300
                            53, 378, 7.810, 7142116

`733 equations, 61 vars`, .120
`found solution `, 7.359
`verification took `, .331
`seminormal took`, .259
                            54, 378, 8.079, 7207640

`884 equations, 71 vars`, .199
`found solution `, 14.731
`verification took `, 1.040
`seminormal took`, .479
                            55, 405, 16.470, 7338688

`884 equations, 71 vars`, .170
`found solution `, 13.650
`verification took `, 1.149
`seminormal took`, .440
                            56, 405, 15.420, 7338688

`874 equations, 68 vars`, .201
`found solution `, 12.330
`verification took `, .569
`seminormal took`, .500
                            57, 420, 13.610, 7404212

`874 equations, 68 vars`, .190
`found solution `, 11.961
`verification took `, .739
`seminormal took`, .490
                            58, 420, 13.390, 7404212

`59 has clones`, [60]
`1261 equations, 93 vars`, .341
`found solution `, 19.449
`verification took `, 1.200
`seminormal took`, .661
                            59, 512, 21.661, 8321548

`60 has clones`, [59]
`1261 equations, 93 vars`, .340
`found solution `, 20.330
`verification took `, 1.380
`seminormal took`, .910
                            60, 512, 22.980, 8387072

                                201.991, 8387072


                                       E8

`2 equations, 1 vars`, 0.
`found solution `, 0.
`verification took `, 0.
`seminormal took`, 0.
                              1, 1, 1.259, 8387072

`2 equations, 1 vars`, 0.
`found solution `, 0.
`verification took `, 0.
`seminormal took`, 0.
                              2, 1, 0.031, 8387072

`11 equations, 4 vars`, 0.
`found solution `, .9e-2
`verification took `, 0.
`seminormal took`, .10e-1
                              3, 8, 0.049, 8387072

`11 equations, 4 vars`, 0.
`found solution `, .41e-1
`verification took `, 0.
`seminormal took`, .10e-1
                              4, 8, 0.101, 8387072

`18 equations, 5 vars`, 0.
`found solution `, .29e-1
`verification took `, 0.
`seminormal took`, .10e-1
                             5, 28, 0.079, 8387072

`18 equations, 5 vars`, 0.
`found solution `, .20e-1
`verification took `, 0.
`seminormal took`, .9e-2
                             6, 28, 0.060, 8387072

`38 equations, 10 vars`, .29e-1
`found solution `, .120
`verification took `, 0.
`seminormal took`, .80e-1
                             7, 35, 0.270, 8387072

`38 equations, 10 vars`, .10e-1
`found solution `, .100
`verification took `, .10e-1
`seminormal took`, .80e-1
                             8, 35, 0.221, 8387072

`14 equations, 4 vars`, 0.
`found solution `, .20e-1
`verification took `, 0.
`seminormal took`, .9e-2
                             9, 50, 0.069, 8387072

`14 equations, 4 vars`, 0.
`found solution `, .10e-1
`verification took `, .10e-1
`seminormal took`, .9e-2
                             10, 50, 0.060, 8387072

`19 equations, 5 vars`, .39e-1
`found solution `, .21e-1
`verification took `, 0.
`seminormal took`, .10e-1
                             11, 56, 0.101, 8387072

`19 equations, 5 vars`, 0.
`found solution `, .20e-1
`verification took `, 0.
`seminormal took`, .11e-1
                             12, 56, 0.060, 8387072

`19 equations, 5 vars`, 0.
`found solution `, .31e-1
`verification took `, 0.
`seminormal took`, .10e-1
                             13, 70, 0.080, 8387072

`69 equations, 14 vars`, .10e-1
`found solution `, .200
`verification took `, .21e-1
`seminormal took`, .130
                             14, 84, 0.430, 8387072

`69 equations, 14 vars`, 0.
`found solution `, .200
`verification took `, .21e-1
`seminormal took`, .130
                             15, 84, 0.380, 8387072

`123 equations, 23 vars`, .10e-1
`found solution `, .580
`verification took `, .50e-1
`seminormal took`, .250
                            16, 112, 0.930, 8387072

`123 equations, 23 vars`, .11e-1
`found solution `, .580
`verification took `, .39e-1
`seminormal took`, .230
                            17, 112, 0.899, 8387072

`114 equations, 20 vars`, .20e-1
`found solution `, .529
`verification took `, .31e-1
`seminormal took`, .70e-1
                            18, 160, 0.741, 8387072

`114 equations, 20 vars`, .21e-1
`found solution `, .529
`verification took `, .70e-1
`seminormal took`, .60e-1
                            19, 160, 0.709, 8387072

`22 equations, 5 vars`, .10e-1
`found solution `, .19e-1
`verification took `, 0.
`seminormal took`, .21e-1
                            20, 168, 0.081, 8387072

`34 equations, 6 vars`, 0.
`found solution `, .40e-1
`verification took `, 0.
`seminormal took`, .20e-1
                            21, 175, 0.140, 8387072

`34 equations, 6 vars`, 0.
`found solution `, .41e-1
`verification took `, 0.
`seminormal took`, .9e-2
                            22, 175, 0.079, 8387072

`161 equations, 23 vars`, .21e-1
`found solution `, 1.039
`verification took `, .50e-1
`seminormal took`, .200
                            23, 210, 1.380, 8387072

`161 equations, 23 vars`, .19e-1
`found solution `, 1.051
`verification took `, .99e-1
`seminormal took`, .120
                            24, 210, 1.320, 8387072

`124 equations, 16 vars`, .50e-1
`found solution `, .459
`verification took `, .70e-1
`seminormal took`, .60e-1
                            25, 300, 0.680, 8387072

`124 equations, 16 vars`, .19e-1
`found solution `, .471
`verification took `, .29e-1
`seminormal took`, .70e-1
                            26, 300, 0.620, 8387072

`136 equations, 21 vars`, .21e-1
`found solution `, .620
`verification took `, .80e-1
`seminormal took`, .89e-1
                            27, 350, 0.890, 8387072

`136 equations, 21 vars`, .19e-1
`found solution `, .640
`verification took `, .50e-1
`seminormal took`, .130
                            28, 350, 0.870, 8387072

`226 equations, 27 vars`, .29e-1
`found solution `, 1.040
`verification took `, .80e-1
`seminormal took`, .141
                            29, 400, 1.331, 8387072

`226 equations, 27 vars`, .60e-1
`found solution `, 1.000
`verification took `, .90e-1
`seminormal took`, .170
                            30, 400, 1.349, 8387072

`103 equations, 11 vars`, .10e-1
`found solution `, .269
`verification took `, 0.
`seminormal took`, .51e-1
                            31, 420, 0.361, 8387072

`137 equations, 21 vars`, .20e-1
`found solution `, .500
`verification took `, .19e-1
`seminormal took`, .140
                            32, 448, 0.719, 8387072

`192 equations, 20 vars`, .29e-1
`found solution `, .591
`verification took `, .70e-1
`seminormal took`, .50e-1
                            33, 448, 0.771, 8387072

`192 equations, 20 vars`, .31e-1
`found solution `, .649
`verification took `, .31e-1
`seminormal took`, .49e-1
                            34, 448, 0.789, 8387072

`197 equations, 20 vars`, .29e-1
`found solution `, .700
`verification took `, .31e-1
`seminormal took`, .169
                            35, 525, 1.000, 8387072

`197 equations, 20 vars`, .29e-1
`found solution `, .700
`verification took `, .21e-1
`seminormal took`, .170
                            36, 525, 0.951, 8387072

`622 equations, 66 vars`, .101
`found solution `, 8.440
`verification took `, .440
`seminormal took`, 1.339
                            37, 560, 10.359, 8387072

`622 equations, 66 vars`, .101
`found solution `, 8.789
`verification took `, .620
`seminormal took`, 1.341
                            38, 560, 10.891, 8387072

`621 equations, 67 vars`, .101
`found solution `, 7.409
`verification took `, .600
`seminormal took`, 1.371
                            39, 567, 9.520, 8387072

`621 equations, 67 vars`, .100
`found solution `, 7.291
`verification took `, .589
`seminormal took`, 1.250
                            40, 567, 9.259, 8387072

`609 equations, 57 vars`, .130
`found solution `, 5.569
`verification took `, .481
`seminormal took`, .959
                            41, 700, 7.190, 8387072

`609 equations, 57 vars`, .99e-1
`found solution `, 5.670
`verification took `, .450
`seminormal took`, .870
                            42, 700, 7.130, 8387072

`244 equations, 25 vars`, .31e-1
`found solution `, .969
`verification took `, .151
`seminormal took`, .370
                            43, 700, 1.591, 8387072

`244 equations, 25 vars`, .31e-1
`found solution `, 1.039
`verification took `, .130
`seminormal took`, .341
                            44, 700, 1.570, 8387072

`325 equations, 29 vars`, .60e-1
`found solution `, 1.570
`verification took `, .91e-1
`seminormal took`, .109
                            45, 840, 1.909, 8387072

`325 equations, 29 vars`, .60e-1
`found solution `, 1.630
`verification took `, .101
`seminormal took`, .80e-1
                            46, 840, 1.911, 8387072

`320 equations, 27 vars`, .81e-1
`found solution `, 1.339
`verification took `, .51e-1
`seminormal took`, .110
                            47, 840, 1.610, 8387072

`320 equations, 27 vars`, .41e-1
`found solution `, 1.329
`verification took `, .21e-1
`seminormal took`, .150
                            48, 840, 1.580, 8387072

`517 equations, 42 vars`, .81e-1
`found solution `, 2.870
`verification took `, .330
`seminormal took`, .620
                            49, 972, 3.930, 8387072

`517 equations, 42 vars`, .71e-1
`found solution `, 2.979
`verification took `, .360
`seminormal took`, .400
                            50, 972, 3.849, 8387072

`961 equations, 80 vars`, .231
`found solution `, 13.079
`verification took `, .651
`seminormal took`, 1.400
                           51, 1008, 15.400, 8387072

`961 equations, 80 vars`, .211
`found solution `, 13.140
`verification took `, .930
`seminormal took`, 1.370
                           52, 1008, 15.730, 8387072

`709 equations, 59 vars`, .130
`found solution `, 6.190
`verification took `, .420
`seminormal took`, 1.029
                            53, 1050, 7.839, 8387072

`709 equations, 59 vars`, .120
`found solution `, 6.049
`verification took `, .351
`seminormal took`, 1.060
                            54, 1050, 7.611, 8387072

`402 equations, 31 vars`, .109
`found solution `, 1.550
`verification took `, .60e-1
`seminormal took`, .181
                            55, 1134, 1.940, 8387072

`1015 equations, 79 vars`, .250
`found solution `, 12.320
`verification took `, 1.120
`seminormal took`, 1.120
                           56, 1296, 14.850, 8387072

`1015 equations, 79 vars`, .250
`found solution `, 12.399
`verification took `, 1.161
`seminormal took`, 1.240
                           57, 1296, 15.080, 8387072

`1496 equations, 113 vars`, .500
`found solution `, 29.761
`verification took `, 1.289
`seminormal took`, 2.571
                           58, 1344, 34.160, 8845740

`1496 equations, 113 vars`, .419
`found solution `, 30.220
`verification took `, 1.640
`seminormal took`, 2.130
                           59, 1344, 34.449, 8976788

`691 equations, 51 vars`, .150
`found solution `, 5.329
`verification took `, .120
`seminormal took`, .360
                            60, 1344, 6.000, 8976788

`1004 equations, 74 vars`, .240
`found solution `, 11.819
`verification took `, .720
`seminormal took`, 1.441
                           61, 1400, 14.301, 8976788

`1004 equations, 74 vars`, .200
`found solution `, 11.989
`verification took `, .750
`seminormal took`, 1.240
                           62, 1400, 14.219, 8976788

`1164 equations, 80 vars`, .320
`found solution `, 24.900
`verification took `, 1.220
`seminormal took`, 1.140
                           63, 1400, 27.651, 8976788

`1164 equations, 80 vars`, .360
`found solution `, 24.880
`verification took `, 1.350
`seminormal took`, 1.110
                           64, 1400, 27.740, 8976788

`1637 equations, 121 vars`, .510
`found solution `, 38.929
`verification took `, 1.760
`seminormal took`, 2.220
                           65, 1400, 43.459, 9238884

`1637 equations, 121 vars`, .500
`found solution `, 39.530
`verification took `, 1.720
`seminormal took`, 1.910
                           66, 1400, 43.701, 9304408

`641 equations, 37 vars`, .160
`found solution `, 4.061
`verification took `, .250
`seminormal took`, .189
                            67, 1400, 4.689, 9304408

`1553 equations, 107 vars`, .500
`found solution `, 31.040
`verification took `, 2.120
`seminormal took`, 1.880
                           68, 1575, 35.581, 9304408

`1553 equations, 107 vars`, .451
`found solution `, 30.850
`verification took `, 1.860
`seminormal took`, 1.890
                           69, 1575, 35.090, 9304408

`1109 equations, 80 vars`, .290
`found solution `, 10.071
`verification took `, .519
`seminormal took`, 1.380
                           70, 1680, 12.299, 9304408

`1447 equations, 88 vars`, .460
`found solution `, 22.160
`verification took `, 1.151
`seminormal took`, 1.219
                           71, 2016, 25.030, 9304408

`1787 equations, 110 vars`, .640
`found solution `, 32.010
`verification took `, 1.889
`seminormal took`, 1.591
                           72, 2100, 36.171, 9435456

`1787 equations, 110 vars`, .601
`found solution `, 32.010
`verification took `, 1.840
`seminormal took`, 1.260
                           73, 2100, 35.740, 9435456

`1433 equations, 84 vars`, .460
`found solution `, 15.449
`verification took `, .890
`seminormal took`, 1.460
                           74, 2100, 18.289, 9435456

`2233 equations, 132 vars`, .819
`found solution `, 73.220
`verification took `, 2.231
`seminormal took`, 2.379
                           75, 2240, 78.740, 10614888

`2233 equations, 132 vars`, .869
`found solution `, 72.800
`verification took `, 2.121
`seminormal took`, 1.500
                           76, 2240, 77.331, 10680412

`2491 equations, 145 vars`, 1.129
`found solution `, 69.720
`verification took `, 3.020
`seminormal took`, 2.871
                           77, 2268, 76.780, 11401176

`2491 equations, 145 vars`, 1.080
`found solution `, 72.391
`verification took `, 2.760
`seminormal took`, 2.750
                           78, 2268, 79.020, 11466700

`1997 equations, 114 vars`, .691
`found solution `, 39.799
`verification took `, 2.841
`seminormal took`, 1.659
                           79, 2400, 45.039, 11466700

`1997 equations, 114 vars`, .661
`found solution `, 39.559
`verification took `, 3.161
`seminormal took`, 1.659
                           80, 2400, 45.080, 11466700

`2169 equations, 111 vars`, .919
`found solution `, 42.661
`verification took `, 1.859
`seminormal took`, 1.650
                           81, 2688, 47.140, 11466700

`2829 equations, 148 vars`, 1.371
`found solution `, 115.119
`verification took `, 3.050
`seminormal took`, 2.440
                          82, 2800, 122.030, 11728796

`2829 equations, 148 vars`, 1.381
`found solution `, 117.500
`verification took `, 3.149
`seminormal took`, 2.811
                          83, 2800, 124.871, 11859844

`2763 equations, 147 vars`, 1.280
`found solution `, 90.890
`verification took `, 4.350
`seminormal took`, 2.569
                           84, 2835, 99.139, 12318512

`2763 equations, 147 vars`, 1.280
`found solution `, 92.121
`verification took `, 3.579
`seminormal took`, 2.540
                           85, 2835, 99.560, 12384036

`3064 equations, 152 vars`, 1.609
`found solution `, 149.310
`verification took `, 5.790
`seminormal took`, 2.750
                          86, 3150, 159.500, 12384036

`3174 equations, 157 vars`, 1.550
`found solution `, 81.540
`verification took `, 4.809
`seminormal took`, 3.381
                           87, 3200, 91.331, 12973752

`3174 equations, 157 vars`, 1.570
`found solution `, 81.290
`verification took `, 5.069
`seminormal took`, 3.391
                           88, 3200, 91.360, 12973752

`5300 equations, 298 vars`, 3.631
`found solution `, 298.980
`verification took `, 10.750
orthopt/bruteforce:   old denom 800
orthopt/bruteforce:   new denom 320 at    1/7
`orthogonal optimization took`, .550
`seminormal took`, 10.709
                          89, 3240, 324.669, 17560432

`5300 equations, 298 vars`, 3.779
`found solution `, 298.640
`verification took `, 10.770
orthopt/bruteforce:   old denom 800
orthopt/bruteforce:   new denom 320 at    1/7
`orthogonal optimization took`, .551
`seminormal took`, 8.039
                          90, 3240, 321.820, 18084624

`3907 equations, 191 vars`, 2.281
`found solution `, 157.600
`verification took `, 8.860
`seminormal took`, 3.790
                          91, 3360, 172.571, 18084624

`3907 equations, 191 vars`, 2.350
`found solution `, 157.719
`verification took `, 8.201
`seminormal took`, 3.569
                          92, 3360, 171.879, 18084624

`6311 equations, 305 vars`, 5.040
`found solution `, 463.409
`verification took `, 15.241
`seminormal took`, 8.540
                          93, 4096, 492.331, 20574536

`6311 equations, 305 vars`, 5.120
`found solution `, 486.629
`verification took `, 15.500
`seminormal took`, 7.920
                          94, 4096, 515.209, 21622920

`6311 equations, 305 vars`, 5.130
`found solution `, 508.861
`verification took `, 18.009
`seminormal took`, 8.891
                          95, 4096, 540.931, 22212636

`6311 equations, 305 vars`, 5.130
`found solution `, 500.899
`verification took `, 16.070
`seminormal took`, 8.941
                          96, 4096, 531.090, 22409208

`6048 equations, 282 vars`, 4.891
`found solution `, 402.109
`verification took `, 13.941
`seminormal took`, 8.330
                          97, 4200, 429.330, 22409208

`6048 equations, 282 vars`, 4.590
`found solution `, 411.660
`verification took `, 14.390
`seminormal took`, 7.570
                          98, 4200, 438.309, 22409208

`5412 equations, 249 vars`, 4.041
`found solution `, 464.830
`verification took `, 15.700
`seminormal took`, 7.500
                          99, 4200, 492.111, 22409208

`5411 equations, 249 vars`, 3.901
`found solution `, 460.410
`verification took `, 14.500
`seminormal took`, 6.909
                          100, 4200, 485.819, 22409208

`5357 equations, 252 vars`, 3.551
`found solution `, 342.040
`verification took `, 10.560
`seminormal took`, 7.139
                          101, 4200, 363.330, 22409208

`5816 equations, 254 vars`, 4.670
`found solution `, 383.929
`verification took `, 16.460
`seminormal took`, 5.661
                          102, 4480, 410.821, 22409208

`6871 equations, 327 vars`, 6.120
`found solution `, 559.490
`verification took `, 27.370
orthopt/bruteforce:   old denom 880
orthopt/bruteforce:   new denom 400 at    3
orthopt/bruteforce:   new denom 80 at    1/4
`orthogonal optimization took`, .779
`seminormal took`, 9.461
                          103, 4536, 603.340, 22867876

`6871 equations, 327 vars`, 6.100
`found solution `, 563.971
`verification took `, 21.169
orthopt/bruteforce:   old denom 880
orthopt/bruteforce:   new denom 80 at    2/3
`orthogonal optimization took`, .780
`seminormal took`, 11.220
                          104, 4536, 603.349, 23129972

`5899 equations, 253 vars`, 4.979
`found solution `, 723.580
`verification took `, 18.681
`seminormal took`, 6.639
                          105, 4536, 753.930, 23129972

`8879 equations, 368 vars`, 9.349
`found solution `, 908.731
`verification took `, 32.689
`seminormal took`, 12.141
                          106, 5600, 962.971, 26733792

`9349 equations, 402 vars`, 11.320
`found solution `, 1047.481
`verification took `, 30.410
orthopt/bruteforce:   old denom 288
orthopt/bruteforce:   new denom 72 at    1
`orthogonal optimization took`, .810
`seminormal took`, 12.860
                         107, 5600, 1103.000, 29616848

`9349 equations, 402 vars`, 10.931
`found solution `, 1031.510
`verification took `, 27.299
orthopt/bruteforce:   old denom 288
orthopt/bruteforce:   new denom 72 at    1/3
`orthogonal optimization took`, .791
`seminormal took`, 13.949
                         108, 5600, 1084.529, 30206564

`109 has clones`, [55, 105]
`9132 equations, 380 vars`, 10.980
`found solution `, 998.500
`verification took `, 34.770
`seminormal took`, 12.470
                         109, 5670, 1056.781, 30206564

`11254 equations, 477 vars`, 14.641
`found solution `, 1592.009
`verification took `, 45.731
orthopt/bruteforce:   old denom 224
`orthogonal optimization took`, .900
`seminormal took`, 21.199
                         110, 6075, 1674.539, 34858768

`11254 equations, 477 vars`, 14.670
`found solution `, 1633.130
`verification took `, 47.940
orthopt/bruteforce:   old denom 224
`orthogonal optimization took`, .799
`seminormal took`, 17.421
                         111, 6075, 1714.011, 35186388

`112 has clones`, [81, 102]
`14600 equations, 593 vars`, 26.939
`found solution `, 4669.471
`verification took `, 110.459
orthopt/bruteforce:   old denom 315
orthopt/bruteforce:   old denom 3465
orthopt/bruteforce:   new denom 2520 at    3/5
orthopt/bruteforce:   new denom 315 at    2/7
`orthogonal optimization took`, 2.260
`seminormal took`, 28.270
                         112, 7168, 4837.469, 49011952

                              21940.259, 49011952