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