back to table · edit · history · where entries came from · files · download
3489 bytes, as of the version from 2026-11-02 08:35 (current). Recorded here, not run.
MOT("ON",
[
"origin: ATLAS of finite groups, tests: 1.o.r., pow[2,3,5,7,11,19,31]"
],
[460815505920,161280,3240,80640,256,180,72,1372,49,32,32,20,11,36,28,45,45,16,
16,16,16,19,19,19,20,20,28,28,31,31],
[,[1,1,3,2,2,6,3,8,9,5,5,6,13,7,8,17,16,10,10,11,11,23,24,22,12,12,15,15,29,
30],[1,2,1,4,5,6,2,8,9,10,11,12,13,4,15,6,6,19,18,21,20,23,24,22,25,26,27,28,
30,29],,[1,2,3,4,5,1,7,8,9,10,11,2,13,14,15,3,3,19,18,21,20,23,24,22,4,4,28,
27,29,30],,[1,2,3,4,5,6,7,1,1,10,11,12,13,14,2,17,16,18,19,20,21,22,23,24,25,
26,4,4,29,30],,,,[1,2,3,4,5,6,7,8,9,10,11,12,1,14,15,16,17,19,18,21,20,22,23,
24,26,25,28,27,30,29],,,,,,,,[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,19,18,
21,20,1,1,1,26,25,27,28,29,30],,,,,,,,,,,,[1,2,3,4,5,6,7,8,9,10,11,12,13,14,
15,16,17,18,19,20,21,22,23,24,26,25,27,28,1,1]],
[[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],[10944,64,9,64,
0,-1,1,17,3,0,0,-1,-1,1,1,-1,-1,0,0,0,0,0,0,0,-1,-1,1,1,1,1],[13376,-64,11,64,
0,1,-1,-1,-1,0,0,1,0,1,-1,1,1,0,0,0,0,0,0,0,-1,-1,1,1,E(31)+E(31)^2+E(31)^4
+E(31)^5+E(31)^7+E(31)^8+E(31)^9+E(31)^10+E(31)^14+E(31)^16+E(31)^18+E(31)^19
+E(31)^20+E(31)^25+E(31)^28,E(31)^3+E(31)^6+E(31)^11+E(31)^12+E(31)^13
+E(31)^15+E(31)^17+E(31)^21+E(31)^22+E(31)^23+E(31)^24+E(31)^26+E(31)^27
+E(31)^29+E(31)^30],
[GALOIS,[3,3]],[25916,-36,-4,20,4,1,0,-5,2,0,0,-1,0,2,-1,1,1,0,0,0,0,0,0,0,
E(20)+E(20)^9-E(20)^13-E(20)^17,-E(20)-E(20)^9+E(20)^13+E(20)^17,-1,-1,0,0],
[GALOIS,[5,11]],[26752,128,22,0,0,2,2,-2,-2,0,0,-2,0,0,2,2,2,0,0,0,0,0,0,0,0,
0,0,0,-1,-1],[32395,75,-5,35,3,0,3,6,-1,3,-1,0,0,-1,-2,0,0,1,1,-1,-1,0,0,0,0,
0,0,0,0,0],[32395,75,-5,35,3,0,3,6,-1,-1,3,0,0,-1,-2,0,0,-1,-1,1,1,0,0,0,0,0,
0,0,0,0],[37696,-64,31,-64,0,1,-1,15,1,0,0,1,-1,-1,-1,1,1,0,0,0,0,0,0,0,1,1,
-1,-1,0,0],[52668,92,18,20,4,-2,2,-7,0,0,0,2,0,2,1,-2,-2,0,0,0,0,0,0,0,0,0,-1,
-1,-1,-1],[58311,71,-9,71,7,1,-1,1,1,-1,-1,1,0,-1,1,1,1,-1,-1,-1,-1,0,0,0,1,1,
1,1,0,0],[58311,71,-9,-1,-1,1,-1,1,1,3,-1,1,0,-1,1,1,1,-1,-1,1,1,0,0,0,-1,-1,
-1,-1,0,0],[58311,71,-9,-1,-1,1,-1,1,1,-1,3,1,0,-1,1,1,1,1,1,-1,-1,0,0,0,-1,
-1,-1,-1,0,0],[58653,-35,9,-35,-3,8,1,0,0,1,1,0,1,1,0,-1,-1,-1,-1,-1,-1,0,0,0,
0,0,0,0,1,1],[64790,70,-10,-70,2,0,-2,12,-2,0,0,0,0,2,0,0,0,E(8)-E(8)^3,
-E(8)+E(8)^3,-E(8)+E(8)^3,E(8)-E(8)^3,0,0,0,0,0,0,0,0,0],
[GALOIS,[16,3]],[85064,-56,14,-56,8,-1,-2,0,0,0,0,-1,1,-2,0,-1,-1,0,0,0,0,1,1,
1,-1,-1,0,0,0,0],[116963,35,-1,35,3,8,-1,0,0,-1,-1,0,0,-1,0,-1,-1,1,1,1,1,-1,
-1,-1,0,0,0,0,0,0],[143374,14,4,126,-2,-1,-4,0,0,2,2,-1,0,0,0,-1,-1,0,0,0,0,0,
0,0,1,1,0,0,-1,-1],[169290,90,0,-90,-2,0,0,-5,2,0,0,0,0,0,-1,0,0,E(8)-E(8)^3,
-E(8)+E(8)^3,E(8)-E(8)^3,-E(8)+E(8)^3,0,0,0,0,0,1,1,-1,-1],
[GALOIS,[21,3]],[175616,0,8,0,0,-4,0,0,0,0,0,0,1,0,0,E(5)-2*E(5)^2-2*E(5)^3
+E(5)^4,-2*E(5)+E(5)^2+E(5)^3-2*E(5)^4,0,0,0,0,-1,-1,-1,0,0,0,0,1,1],
[GALOIS,[23,2]],[175770,90,0,90,-6,0,0,7,0,-2,-2,0,1,0,-1,0,0,0,0,0,0,1,1,1,0,
0,-1,-1,0,0],[207360,0,0,0,0,0,0,-8,-1,0,0,0,-1,0,0,0,0,0,0,0,0,
-E(19)-E(19)^7-E(19)^8-E(19)^11-E(19)^12-E(19)^18,-E(19)^2-E(19)^3-E(19)^5
-E(19)^14-E(19)^16-E(19)^17,-E(19)^4-E(19)^6-E(19)^9-E(19)^10-E(19)^13
-E(19)^15,0,0,0,0,1,1],
[GALOIS,[26,4]],
[GALOIS,[26,2]],[234080,-160,-10,0,0,0,2,7,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,
0,E(28)^3-E(28)^11-E(28)^15+E(28)^19-E(28)^23+E(28)^27,-E(28)^3+E(28)^11
+E(28)^15-E(28)^19+E(28)^23-E(28)^27,-1,-1],
[GALOIS,[29,5]]],
[(29,30),(27,28),(25,26),(25,26)(27,28),(22,23,24),(18,19)(20,21),(18,19)
(20,21)(25,26)(27,28),(16,17),(16,17)(25,26),(10,11)(18,20)(19,21),
(22,24,23)]);