12.0.117236328125.1 |
x12−4x11+9x10−20x9+40x8−64x7+81x6−81x5+65x4−40x3+19x2−6x+1 |
12 |
[0,6] |
511⋅74 |
2 |
8.36415073054 |
11.568352777429151 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
10 |
5 |
11.9978872283 |
12.0.200000000000.1 |
x12−4x11+9x10−15x9+15x8+x7−19x6+14x5+5x4−10x3+4x2−x+1 |
12 |
[0,6] |
212⋅511 |
2 |
8.74485272221 |
12.367089320707036 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
10 |
5 |
16.6769530035 |
12.0.546564453125.1 |
x12−x11+x10−x8−2x7+2x6−3x5+x4+x3+x2+1 |
12 |
[0,6] |
59⋅234 |
2 |
9.50904235709 |
16.03582917757843 |
|
|
✓ |
S3×C4 (as 12T11) |
trivial |
10 |
5 |
32.3656237465 |
12.0.1012500000000.1 |
x12−3x11+11x10−25x9+55x8−88x7+119x6−118x5+95x4−55x3+26x2−8x+1 |
12 |
[0,6] |
28⋅34⋅511 |
3 |
10.0103574601 |
12.021808208412303 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
10 |
5 |
46.6043886559 |
12.0.1037970703125.1 |
x12−2x9+4x6−3x3+1 |
12 |
[0,6] |
312⋅59 |
2 |
10.0311045746 |
12.046724184927836 |
|
|
✓ |
S3×C4 (as 12T11) |
trivial |
10 |
5 |
46.5914285344 |
12.0.1200500000000.1 |
x12−2x11+2x10−x9+5x8+2x7−3x6+2x5+5x4+9x3+7x2+3x+1 |
12 |
[0,6] |
28⋅59⋅74 |
3 |
10.1534471757 |
14.043106421634382 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
10 |
5 |
44.4179208274 |
12.0.1803751953125.3 |
x12−x10−x9+x8−3x7+2x5+3x4−2x3+x2−x+1 |
12 |
[0,6] |
59⋅314 |
2 |
10.5038392776 |
18.616942190179014 |
|
|
✓ |
S3×C4 (as 12T11) |
trivial |
10 |
5 |
55.7455420814 |
12.4.5744580078125.1 |
x12−2x11+x10+5x9−12x7−x6+18x5−20x4−5x3+16x2−7x+1 |
12 |
[4,4] |
511⋅76 |
2 |
11.5683527774 |
11.568352777429151 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
2 |
7 |
41.9630859692 |
12.0.7320500000000.2 |
x12−x11+2x9−3x8+2x7+3x6−8x5+7x4+4x3+2x2+x+1 |
12 |
[0,6] |
28⋅59⋅114 |
3 |
11.8044311122 |
17.603965534028475 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
10 |
5 |
141.9815003 |
12.4.9112500000000.1 |
x12−6x11+14x10−15x9+5x8+4x7−9x6+16x5−15x4+5x3−x2+x+1 |
12 |
[4,4] |
28⋅36⋅511 |
3 |
12.0218082084 |
12.021808208412303 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
2 |
7 |
56.4359851616 |
12.4.9341736328125.1 |
x12−6x11+15x10−11x9−27x8+69x7−40x6−45x5+57x4+8x3−24x2−3x+1 |
12 |
[4,4] |
314⋅59 |
2 |
12.0467241849 |
12.046724184927836 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
2 |
7 |
56.4202909911 |
12.4.12800000000000.1 |
x12−2x11+x10−10x8+18x7−26x6+8x5+15x4−20x3+6x2+8x−4 |
12 |
[4,4] |
218⋅511 |
2 |
12.3670893207 |
12.367089320707036 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
2 |
7 |
78.0328195859 |
12.0.13213283203125.1 |
x12−4x11+5x10−9x8+30x7−41x6−20x5+106x4−95x3+30x2+x+1 |
12 |
[0,6] |
34⋅59⋅174 |
3 |
12.399882274413569 |
23.87880512635518 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
10 |
5 |
205.6035190856011 |
12.0.25949267578125.1 |
x12−5x9+15x6−15x3+5 |
12 |
[0,6] |
312⋅511 |
2 |
13.1172790833 |
15.753025202513207 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
10 |
5 |
277.288481269 |
12.0.39357658203125.1 |
x12−4x11+7x10−10x9+9x8−8x7+21x6−14x5+6x4−31x3+16x2+7x+1 |
12 |
[0,6] |
59⋅674 |
2 |
13.580604576842257 |
27.369376545007917 |
|
|
? |
S3×C4 (as 12T11) |
[2] |
10 |
5 |
172.1554240836862 |
12.0.43436029431808.1 |
x12−6x11+19x10−39x9+63x8−77x7+71x6−44x5+39x4−10x3+8x2+x+1 |
12 |
[0,6] |
212⋅139 |
2 |
13.692650084 |
19.364331453687083 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
2 |
5 |
54.6840897429 |
12.4.51200000000000.2 |
x12+10x6−20x2+5 |
12 |
[4,4] |
220⋅511 |
2 |
13.8815884105 |
17.489705444423358 |
|
|
|
S3×C4 (as 12T11) |
trivial |
2 |
7 |
197.800498269 |
12.4.58824500000000.1 |
x12−x11−2x10+8x9−5x8−14x7+33x6+24x5−25x4+12x3+18x2−29x−19 |
12 |
[4,4] |
28⋅59⋅76 |
3 |
14.0431064216 |
14.043106421634382 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
2 |
7 |
155.35343805 |
12.4.85465283203125.1 |
x12−4x11+9x10−10x9+16x7−24x6−41x5+45x4−10x3−6x2+14x+1 |
12 |
[4,4] |
36⋅511⋅74 |
3 |
14.4871340275 |
20.036974770387825 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
2 |
7 |
210.207248027 |
12.0.117128000000000.2 |
x12−2x11+7x10−11x9+30x8−13x7+32x6+67x5+20x4−11x3−3x2+3x+1 |
12 |
[0,6] |
212⋅59⋅114 |
3 |
14.872651240288148 |
31.366700656905365 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
10 |
5 |
769.2278076585833 |
12.4.118919548828125.1 |
x12−6x11+17x10−22x9−12x8+83x7−127x6+83x5−12x4−22x3+17x2−6x+1 |
12 |
[4,4] |
36⋅59⋅174 |
3 |
14.89147686317512 |
23.87880512635518 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
2 |
7 |
301.86432812746887 |
12.0.139920500000000.1 |
x12−x11−x10+x9+13x8−62x7+89x6−16x5−53x4−33x3+198x2−216x+81 |
12 |
[0,6] |
28⋅59⋅234 |
3 |
15.09466384085731 |
25.455292105670352 |
|
|
? |
S3×C4 (as 12T11) |
[2] |
10 |
5 |
291.9505434072523 |
12.4.145800000000000.1 |
x12−4x11+9x10−5x9−10x8+21x7−24x6−31x5+10x4+15x3−31x2−11x+1 |
12 |
[4,4] |
212⋅36⋅511 |
3 |
15.1465292196 |
21.42042704520706 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
2 |
7 |
256.4625112 |
12.0.204800000000000.2 |
x12+10x10+35x8+70x6+85x4+60x2+20 |
12 |
[0,6] |
222⋅511 |
2 |
15.5815561611 |
17.489705444423358 |
|
|
|
S3×C4 (as 12T11) |
[2] |
2 |
5 |
102.745462078 |
12.0.219825939453125.1 |
x12+2x10−5x9+4x8−10x7+23x6−40x5+56x4−65x3+60x2−50x+25 |
12 |
[0,6] |
59⋅1034 |
2 |
15.673761889267645 |
33.93486420206204 |
|
|
? |
S3×C4 (as 12T11) |
[2] |
10 |
5 |
438.3305767013016 |
12.4.233543408203125.2 |
x12−6x11+9x10−6x7−4x6+6x5+9x2+6x+1 |
12 |
[4,4] |
314⋅511 |
2 |
15.7530252025 |
15.753025202513207 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
2 |
7 |
335.784870604 |
12.4.259200000000000.1 |
x12−10x10+35x8−60x6+55x4−10x2+5 |
12 |
[4,4] |
216⋅34⋅511 |
3 |
15.8904519628 |
19.083430996593624 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
2 |
7 |
368.977181234 |
12.0.265720500000000.3 |
x12−2x9+4x6−8x3+16 |
12 |
[0,6] |
28⋅312⋅59 |
3 |
15.9233859542 |
19.122982643925198 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
10 |
5 |
1053.91768271 |
12.4.289132595703125.1 |
x12−2x11+3x10−5x9−6x8+6x7−51x6+87x5−104x4+172x3−181x2+94x−19 |
12 |
[4,4] |
59⋅236 |
2 |
16.0358291776 |
16.03582917757843 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
2 |
7 |
330.426451282 |
12.4.307328000000000.1 |
x12−4x11+x10+14x9−28x8+4x7+61x6−68x5−36x4+122x3+53x2−60x−19 |
12 |
[4,4] |
216⋅59⋅74 |
3 |
16.1175927278 |
22.292041906603796 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
2 |
7 |
456.668824888 |
12.0.357012500000000.1 |
x12−x11−x10+25x9−15x8−86x7+141x6+76x5−365x4+195x3+244x2−384x+181 |
12 |
[0,6] |
28⋅511⋅134 |
3 |
16.3201301752 |
25.025389399554754 |
✓ |
|
? |
S3×C4 (as 12T11) |
trivial |
10 |
5 |
1008.69816141 |
12.0.458793060873472.1 |
x12−3x11+9x10−27x9+55x8−100x7+157x6−185x5+152x4−40x3−36x2−9x+27 |
12 |
[0,6] |
28⋅1311 |
2 |
16.6648497871 |
20.99639504015924 |
|
|
|
S3×C4 (as 12T11) |
[3] |
2 |
5 |
295.950151185 |
12.0.461760500000000.2 |
x12−4x11+8x10−5x9+x8+10x7+7x6−8x5+31x4−15x3+35x2−25x+25 |
12 |
[0,6] |
28⋅59⋅314 |
3 |
16.67380551902469 |
29.552553617121323 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
10 |
5 |
1782.1558033475317 |
12.0.503060929445888.2 |
x12−12x8+20x6+4x4−8x2+2 |
12 |
[0,6] |
235⋅114 |
2 |
16.7932614352 |
25.04381555535815 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
2 |
5 |
503.341863638 |
12.4.503060929445888.6 |
x12−12x8−20x6+4x4+8x2+2 |
12 |
[4,4] |
235⋅114 |
2 |
16.7932614352 |
25.04381555535815 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
2 |
7 |
775.482114835 |
12.0.575195158203125.1 |
x12+x10−5x9+x8−5x7+16x6−10x5+21x4−30x3+15x2−25x+25 |
12 |
[0,6] |
59⋅1314 |
2 |
16.981834411852024 |
38.2704131838469 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
10 |
5 |
1244.0220590230213 |
12.0.668168000000000.1 |
x12−x11−7x10+15x9+21x8−60x7−23x6+163x5−54x4−240x3+290x2−75x+25 |
12 |
[0,6] |
212⋅59⋅174 |
3 |
17.195196351170477 |
38.99392548461692 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
10 |
5 |
2014.8871293984223 |
12.0.729103595703125.1 |
x12−x10−5x9+x8+5x7+14x6−10x5−19x4−20x3+15x2+25x+25 |
12 |
[0,6] |
59⋅1394 |
2 |
17.32071317552354 |
39.42165958407071 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
10 |
5 |
2002.9878211135294 |
12.4.885780500000000.1 |
x12−x11+3x10+x9+9x8−18x7−33x6+46x5−15x4−21x3+20x2−22x+11 |
12 |
[4,4] |
28⋅59⋅116 |
3 |
17.603965534 |
17.603965534028475 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
2 |
7 |
781.064333478 |
12.0.937080500000000.1 |
x12−x11+4x10−6x9+17x8+10x7+35x6+12x5+103x4−32x3+10x2−3x+1 |
12 |
[0,6] |
28⋅59⋅374 |
3 |
17.6867515429 |
32.28605847922135 |
✓ |
|
? |
S3×C4 (as 12T11) |
[2] |
10 |
5 |
503.981234285 |
12.4.981348487528448.4 |
x12−4x10+6x8+8x6−7x4−4x2+2 |
12 |
[4,4] |
235⋅134 |
2 |
17.7549152981 |
28.844410203711913 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
2 |
7 |
1918.43223703 |
12.0.981348487528448.5 |
x12+4x10+6x8−8x6−7x4+4x2+2 |
12 |
[0,6] |
235⋅134 |
2 |
17.7549152981 |
28.844410203711913 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
2 |
5 |
695.749093895 |
12.0.1015401564453125.2 |
x12−x11+5x10+10x9−9x8+44x6+100x5+81x4−40x3−40x2+24x+16 |
12 |
[0,6] |
59⋅1514 |
2 |
17.805458126184142 |
41.088092228921276 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
10 |
5 |
1971.95634084061 |
12.4.1119448865964032.6 |
x12−16x8−40x6−32x4+8 |
12 |
[4,4] |
233⋅194 |
2 |
17.9507950469 |
29.323059968612448 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
2 |
7 |
1325.92180197 |
12.0.1119448865964032.15 |
x12−16x8+40x6−32x4+8 |
12 |
[0,6] |
233⋅194 |
2 |
17.9507950469 |
29.323059968612448 |
|
|
? |
S3×C4 (as 12T11) |
[2] |
2 |
5 |
195.463564584 |
12.0.1156720500000000.1 |
x12−3x11−3x10+25x9+11x8−60x7−27x6+36x5+71x4+85x3+60x2+50x+25 |
12 |
[0,6] |
28⋅34⋅59⋅134 |
4 |
17.999856219800858 |
33.14717113722765 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
10 |
5 |
1757.9316561444375 |
12.0.1175078824045389.1 |
x12−2x11+3x9−3x8+17x7+22x6−25x5−20x4+91x3+230x2+228x+83 |
12 |
[0,6] |
34⋅299 |
2 |
18.02349111 |
21.645076535339435 |
|
|
? |
S3×C4 (as 12T11) |
[2] |
2 |
5 |
142.483768915 |
12.0.1381988962788733.1 |
x12−6x11+22x10−52x9+100x8−162x7+268x6−382x5+459x4−432x3+459x2−405x+243 |
12 |
[0,6] |
139⋅194 |
2 |
18.268745029820636 |
29.84243899281031 |
|
|
|
S3×C4 (as 12T11) |
[2] |
2 |
5 |
800.6377392154858 |
12.4.1733405626953125.1 |
x12−6x10−x9+11x8+17x7−60x6−43x5+118x4+138x3−44x2−31x+31 |
12 |
[4,4] |
59⋅316 |
2 |
18.6169421902 |
18.616942190179014 |
|
|
? |
S3×C4 (as 12T11) |
trivial |
2 |
7 |
676.99391235 |
12.0.2332800000000000.1 |
x12+5x10−10x8−35x6+10x4+105x2+45 |
12 |
[0,6] |
216⋅36⋅511 |
3 |
19.0834309966 |
19.083430996593624 |
|
|
? |
S3×C4 (as 12T11) |
[2,2] |
2 |
5 |
191.661453404 |