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