|
#############################################################################
##
#W ctosymp2.tbl GAP table library Thomas Breuer
##
## This file contains the ordinary character tables related to the
## symplectic groups $S_4(7)$, $S_4(8)$, $S_4(9)$, $S_6(4)$, $S_6(5)$,
## and $S_8(3)$.
##
#H ctbllib history
#H ---------------
#H $Log: ctosymp2.tbl,v $
#H Revision 4.13 2012/01/30 08:32:02 gap
#H removed #H entries from the headers
#H TB
#H
#H Revision 4.12 2011/09/28 14:14:07 gap
#H - reordered the tables of S4(9), S4(9).2_1, added table of S4(9).2^2
#H - added fusions S4(4) -> U4(4), S4(5).2 -> U4(5)
#H TB
#H
#H Revision 4.11 2008/06/24 16:23:06 gap
#H added several fusions and names
#H TB
#H
#H Revision 4.10 2007/06/05 07:51:13 gap
#H corrected table of S4(9).2_3
#H (the construction had introduced a nontrivial centre)
#H TB
#H
#H Revision 4.9 2005/06/08 07:50:33 gap
#H added the table of S6(4).2 (one more table Bob Guralnick needed)
#H TB
#H
#H Revision 4.8 2005/01/26 15:10:43 gap
#H fixed a too long info line
#H TB
#H
#H Revision 4.7 2004/08/31 12:33:33 gap
#H added tables of 4.L2(25).2_3,
#H L2(49).2^2,
#H L2(81).2^2,
#H L2(81).(2x4),
#H 3.L3(4).3.2_2,
#H L3(9).2^2,
#H L4(4).2^2,
#H 2x2^3:L3(2)x2,
#H (2xA6).2^2,
#H 2xL2(11).2,
#H S3xTh,
#H 41:40,
#H 7^(1+4):(3x2.S7),
#H 7xL2(8),
#H (7xL2(8)).3,
#H O7(3)N3A,
#H O8+(3).2_1',
#H O8+(3).2_1'',
#H O8+(3).2_2',
#H O8+(3).(2^2)_{122},
#H S4(9),
#H S4(9).2_i,
#H 2.U4(3).2_2',
#H 2.U4(3).(2^2)_{133},
#H 2.U4(3).D8,
#H 3.U6(2).S3,
#H added fusions 3.A6.2_i -> 3.A6.2^2,
#H L2(49).2_i -> L2(49).2^2,
#H L3(9).2_i -> L3(9).2^2,
#H L4(4).2_i -> L4(4).2^2,
#H G2(3) -> O7(3),
#H L2(17) -> S8(2),
#H 2.L3(4).2_2 -> 2.M22.2
#H 3.L3(4).2_2 -> 3.L3(4).3.2_2
#H 3.L3(4).3 -> 3.L3(4).3.2_2
#H 2^5:S6 -> 2.M22.2
#H O8+(3) -> O8+(3).2_1',
#H O8+(3) -> O8+(3).2_1'',
#H O8+(3) -> O8+(3).2_2',
#H O8+(3) -> O8+(3).(2^2)_{122},
#H O8+(3).2_1 -> O8+(3).(2^2)_{122},
#H O8+(3).2_2 -> O8+(3).(2^2)_{122},
#H 2.U4(3) -> 2.U4(3).2_2',
#H 2.U4(3).2_1 -> 2.U4(3).(2^2)_{133},
#H 2.U4(3).2_2 -> O7(3),
#H 2.U4(3).2_2' -> U4(3).2_2,
#H 2.U4(3).2_3 -> 2.U4(3).(2^2)_{133},
#H 2.U4(3).2_3' -> 2.U4(3).(2^2)_{133},
#H 2.U4(3).4 -> 2.U4(3).D8,
#H 3.U6(2).2 -> 3.U6(2).S3,
#H 3.U6(2).3 -> 3.U6(2).S3,
#H replaced table of psl(3,4):d12 by L3(4).D12,
#H changed table of O8+(3).S4 to a construction table,
#H changed encoding of the table of 12.A6.2_3,
#H added maxes of Sz(8), Sz(8).3,
#H TB
#H
#H Revision 4.6 2003/10/30 09:19:53 gap
#H added table of S8(3) (computed for answering a question of Jan Saxl)
#H TB
#H
#H Revision 4.5 2003/07/24 07:10:46 gap
#H added table of S4(8) (computed for answering a question of Jan Saxl)
#H TB
#H
#H Revision 4.4 2001/05/04 16:50:18 gap
#H first revision for ctbllib
#H
#H
#H tbl history (GAP 4)
#H -------------------
#H (Rev. 4.4 of ctbllib coincides with Rev. 4.3 of tbl in GAP 4)
#H
#H RCS file: /gap/CVS/GAP/4.0/tbl/ctosymp2.tbl,v
#H Working file: ctosymp2.tbl
#H head: 4.3
#H branch:
#H locks: strict
#H access list:
#H symbolic names:
#H keyword substitution: kv
#H total revisions: 3; selected revisions: 3
#H description:
#H ----------------------------
#H revision 4.3
#H date: 2001/02/06 14:49:18; author: gap; state: Exp; lines: +659 -3
#H added tables of S6(4) and U4(4)
#H
#H TB
#H ----------------------------
#H revision 4.2
#H date: 2001/01/16 16:39:20; author: gap; state: Exp; lines: +178 -3
#H added table of S4(7).2
#H
#H TB
#H ----------------------------
#H revision 4.1
#H date: 2001/01/15 16:42:45; author: gap; state: Exp;
#H renamed file `ctosympl.tbl' to `ctosymp1.tbl',
#H added tables of S4(7) (a present for Gunter Malle)
#H and S6(5) (ordered by Bob Guralnick)
#H
#H TB
#H ==========================================================================
##
MOT("S4(7)",
[
"origin: computed using Dixon's algorithm and character theoretic methods,\n",
"Thomas Breuer, Jan. 09th, 2001"
],
[138297600,112896,2688,1008,1008,1344,1344,64,25,1008,48,36,115248,115248,2744
,2058,49,49,1344,1344,48,48,32,24,24,2352,2352,196,196,98,56,42,42,21,24,24,24
,24,25,25,25,25,25,56,56,28,42,42,56,56,56,56],
[,[1,1,1,4,5,3,2,3,9,5,4,4,13,14,15,16,17,18,7,7,6,6,7,11,10,13,14,15,15,16,15
,32,33,34,24,24,25,25,40,41,42,43,39,26,27,31,32,33,44,45,44,45],[1,2,3,1,1,6,
7,8,9,2,3,2,14,13,15,16,18,17,20,19,22,21,23,6,7,27,26,29,28,30,31,13,14,16,21
,22,19,20,41,42,43,39,40,45,44,46,26,27,52,51,50,49],,[1,2,3,4,5,6,7,8,1,10,11
,12,14,13,15,16,18,17,20,19,22,21,23,24,25,27,26,29,28,30,31,33,32,34,36,35,38
,37,9,9,9,9,9,45,44,46,48,47,52,51,50,49],,[1,2,3,4,5,6,7,8,9,10,11,12,1,1,1,1
,1,1,19,20,21,22,23,24,25,2,2,2,2,2,3,5,5,4,35,36,37,38,39,40,41,42,43,7,7,6,
10,10,20,20,19,19]],
[[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,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1],[25,-7,1,1,4,1,-3,1,0,-4,1,-1,
3*E(7)+3*E(7)^2-4*E(7)^3+3*E(7)^4-4*E(7)^5-4*E(7)^6,
-4*E(7)-4*E(7)^2+3*E(7)^3-4*E(7)^4+3*E(7)^5+3*E(7)^6,-3,4,
-E(7)^3-E(7)^5-E(7)^6,-E(7)-E(7)^2-E(7)^4,3,3,-1,-1,-1,1,0,
3*E(7)+3*E(7)^2+4*E(7)^3+3*E(7)^4+4*E(7)^5+4*E(7)^6,
4*E(7)+4*E(7)^2+3*E(7)^3+4*E(7)^4+3*E(7)^5+3*E(7)^6,
-E(7)-E(7)^2+E(7)^3-E(7)^4+E(7)^5+E(7)^6,
E(7)+E(7)^2-E(7)^3+E(7)^4-E(7)^5-E(7)^6,0,1,-E(7)-E(7)^2-E(7)^4,
-E(7)^3-E(7)^5-E(7)^6,1,-1,-1,0,0,0,0,0,0,0,-E(7)-E(7)^2-E(7)^4,
-E(7)^3-E(7)^5-E(7)^6,1,E(7)+E(7)^2+E(7)^4,E(7)^3+E(7)^5+E(7)^6,
E(7)+E(7)^2+E(7)^4,E(7)^3+E(7)^5+E(7)^6,E(7)+E(7)^2+E(7)^4,
E(7)^3+E(7)^5+E(7)^6],
[GALOIS,[2,3]],[126,-18,6,0,0,6,6,-2,1,0,0,0,-21,-21,7,0,0,0,6,6,0,0,-2,0,0,3
,3,3,3,-4,-1,0,0,0,0,0,0,0,1,1,1,1,1,-1,-1,-1,0,0,-1,-1,-1,-1],[150,6,6,0,3,-6
,2,2,0,3,0,0,18*E(7)+18*E(7)^2+25*E(7)^3+18*E(7)^4+25*E(7)^5+25*E(7)^6,
25*E(7)+25*E(7)^2+18*E(7)^3+25*E(7)^4+18*E(7)^5+18*E(7)^6,3,3,
E(7)^3+E(7)^5+E(7)^6,E(7)+E(7)^2+E(7)^4,4,4,0,0,0,0,-1,
-6*E(7)-6*E(7)^2+E(7)^3-6*E(7)^4+E(7)^5+E(7)^6,
E(7)+E(7)^2-6*E(7)^3+E(7)^4-6*E(7)^5-6*E(7)^6,-1,-1,-1,-1,E(7)+E(7)^2+E(7)^4,
E(7)^3+E(7)^5+E(7)^6,0,0,0,1,1,0,0,0,0,0,
2*E(7)+2*E(7)^2+E(7)^3+2*E(7)^4+E(7)^5+E(7)^6,
E(7)+E(7)^2+2*E(7)^3+E(7)^4+2*E(7)^5+2*E(7)^6,1,E(7)+E(7)^2+E(7)^4,
E(7)^3+E(7)^5+E(7)^6,-E(7)^3-E(7)^5-E(7)^6,-E(7)-E(7)^2-E(7)^4,
-E(7)^3-E(7)^5-E(7)^6,-E(7)-E(7)^2-E(7)^4],
[GALOIS,[5,3]],[175,-17,-1,7,1,-1,7,-1,0,1,-1,1,28,28,7,0,0,0,7,7,-1,-1,-1,-1
,1,4,4,-3,-3,4,-1,1,1,0,-1,-1,1,1,0,0,0,0,0,0,0,-1,1,1,0,0,0,0],[175,31,7,1,7,
7,-1,-1,0,7,1,1,-21,-21,0,7,0,0,-1,-1,1,1,-1,1,-1,3,3,-4,-4,3,0,0,0,1,1,1,-1,
-1,0,0,0,0,0,-1,-1,0,0,0,-1,-1,-1,-1],[224,32,0,8,8,0,0,0,-1,8,0,2,28,28,0,7,0
,0,0,0,0,0,0,0,0,4,4,4,4,-3,0,1,1,1,0,0,0,0,-1,-1,-1,-1,-1,0,0,0,1,1,0,0,0,0],
[300,12,-12,0,6,0,8,0,0,6,0,0,-43,-43,6,6,-1,-1,6,6,0,0,2,0,2,5,5,-2,-2,-2,2,
-1,-1,0,0,0,0,0,0,0,0,0,0,1,1,0,-1,-1,-1,-1,-1,-1],[300,-36,4,6,0,8,-12,0,0,0,
-2,0,6,6,13,-1,-1,-1,0,0,0,0,0,2,0,6,6,-1,-1,-1,-3,0,0,-1,0,0,0,0,0,0,0,0,0,2,
2,1,0,0,0,0,0,0],[300,36,8,6,0,6,0,2,0,0,2,0,6,6,13,-1,-1,-1,6*E(8)-6*E(8)^3,
-6*E(8)+6*E(8)^3,-E(8)+E(8)^3,E(8)-E(8)^3,0,0,0,-6,-6,1,1,1,1,0,0,-1,
E(8)-E(8)^3,-E(8)+E(8)^3,0,0,0,0,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],
[GALOIS,[12,3]],[350,-50,6,8,8,6,6,-2,0,-8,0,-2,7,7,7,7,0,0,-6,-6,0,0,2,0,0,
-1,-1,-1,-1,-1,-1,1,1,1,0,0,0,0,0,0,0,0,0,-1,-1,-1,-1,-1,1,1,1,1],[400,16,0,-8
,7,0,8,0,0,7,0,-2,57,57,8,8,1,1,8,8,0,0,0,0,-1,9,9,2,2,2,0,0,0,-1,0,0,-1,-1,0,
0,0,0,0,1,1,0,0,0,1,1,1,1],[400,-64,8,7,-8,8,0,0,0,8,-1,-1,8,8,1,15,1,1,0,0,-2
,-2,0,-1,0,-8,-8,-1,-1,-1,1,-1,-1,0,1,1,0,0,0,0,0,0,0,0,0,1,1,1,0,0,0,0],[400,
64,8,7,-8,8,0,0,0,-8,-1,1,8,8,1,15,1,1,0,0,2,2,0,-1,0,8,8,1,1,1,1,-1,-1,0,-1,
-1,0,0,0,0,0,0,0,0,0,1,-1,-1,0,0,0,0],[900,36,12,0,0,0,0,0,0,0,0,0,
3*E(7)+3*E(7)^2-39*E(7)^3+3*E(7)^4-39*E(7)^5-39*E(7)^6,
-39*E(7)-39*E(7)^2+3*E(7)^3-39*E(7)^4+3*E(7)^5+3*E(7)^6,-10,-3,
-E(7)-E(7)^2-E(7)^4,-E(7)^3-E(7)^5-E(7)^6,6,6,0,0,2,0,0,
3*E(7)+3*E(7)^2+9*E(7)^3+3*E(7)^4+9*E(7)^5+9*E(7)^6,
9*E(7)+9*E(7)^2+3*E(7)^3+9*E(7)^4+3*E(7)^5+3*E(7)^6,
-2*E(7)^3-2*E(7)^5-2*E(7)^6,-2*E(7)-2*E(7)^2-2*E(7)^4,1,-2,0,0,0,0,0,0,0,0,0,0
,0,0,-E(7)-E(7)^2+E(7)^3-E(7)^4+E(7)^5+E(7)^6,
E(7)+E(7)^2-E(7)^3+E(7)^4-E(7)^5-E(7)^6,0,0,0,-1,-1,-1,-1],
[GALOIS,[18,3]],[1050,42,-6,0,3,6,-10,-2,0,3,0,0,
28*E(7)+28*E(7)^2-21*E(7)^3+28*E(7)^4-21*E(7)^5-21*E(7)^6,
-21*E(7)-21*E(7)^2+28*E(7)^3-21*E(7)^4+28*E(7)^5+28*E(7)^6,-7,0,0,0,4,4,0,0,0,
0,-1,4*E(7)+4*E(7)^2+3*E(7)^3+4*E(7)^4+3*E(7)^5+3*E(7)^6,
3*E(7)+3*E(7)^2+4*E(7)^3+3*E(7)^4+4*E(7)^5+4*E(7)^6,
E(7)+E(7)^2-E(7)^3+E(7)^4-E(7)^5-E(7)^6,
-E(7)-E(7)^2+E(7)^3-E(7)^4+E(7)^5+E(7)^6,0,1,E(7)^3+E(7)^5+E(7)^6,
E(7)+E(7)^2+E(7)^4,0,0,0,1,1,0,0,0,0,0,-E(7)^3-E(7)^5-E(7)^6,
-E(7)-E(7)^2-E(7)^4,-1,E(7)^3+E(7)^5+E(7)^6,E(7)+E(7)^2+E(7)^4,
-E(7)^3-E(7)^5-E(7)^6,-E(7)-E(7)^2-E(7)^4,-E(7)^3-E(7)^5-E(7)^6,
-E(7)-E(7)^2-E(7)^4],
[GALOIS,[20,3]],[1200,48,0,0,-3,0,-8,0,0,-3,0,0,
-3*E(7)-3*E(7)^2+53*E(7)^3-3*E(7)^4+53*E(7)^5+53*E(7)^6,
53*E(7)+53*E(7)^2-3*E(7)^3+53*E(7)^4-3*E(7)^5-3*E(7)^6,-4,3,
E(7)^3+E(7)^5+E(7)^6,E(7)+E(7)^2+E(7)^4,8,8,0,0,0,0,1,
-3*E(7)-3*E(7)^2+5*E(7)^3-3*E(7)^4+5*E(7)^5+5*E(7)^6,
5*E(7)+5*E(7)^2-3*E(7)^3+5*E(7)^4-3*E(7)^5-3*E(7)^6,2*E(7)^3+2*E(7)^5+2*E(7)^6
,2*E(7)+2*E(7)^2+2*E(7)^4,-1,0,-E(7)-E(7)^2-E(7)^4,-E(7)^3-E(7)^5-E(7)^6,0,0,0
,-1,-1,0,0,0,0,0,-1,-1,0,-E(7)-E(7)^2-E(7)^4,-E(7)^3-E(7)^5-E(7)^6,1,1,1,1],
[GALOIS,[22,3]],[1200,-48,0,0,6,0,0,0,0,-6,0,0,
46*E(7)+46*E(7)^2+4*E(7)^3+46*E(7)^4+4*E(7)^5+4*E(7)^6,
4*E(7)+4*E(7)^2+46*E(7)^3+4*E(7)^4+46*E(7)^5+46*E(7)^6,-4,3,
E(7)^3+E(7)^5+E(7)^6,E(7)+E(7)^2+E(7)^4,-4*E(8)+4*E(8)^3,4*E(8)-4*E(8)^3,0,0,0
,0,0,2*E(7)+2*E(7)^2-4*E(7)^3+2*E(7)^4-4*E(7)^5-4*E(7)^6,
-4*E(7)-4*E(7)^2+2*E(7)^3-4*E(7)^4+2*E(7)^5+2*E(7)^6,-2*E(7)-2*E(7)^2-2*E(7)^4
,-2*E(7)^3-2*E(7)^5-2*E(7)^6,1,0,-1,-1,0,0,0,E(8)-E(8)^3,-E(8)+E(8)^3,0,0,0,0,
0,0,0,0,1,1,-E(56)^15-E(56)^23+E(56)^29+E(56)^37-E(56)^39+E(56)^53,
E(56)^5+E(56)^13-E(56)^31+E(56)^45-E(56)^47-E(56)^55,
E(56)^15+E(56)^23-E(56)^29-E(56)^37+E(56)^39-E(56)^53,
-E(56)^5-E(56)^13+E(56)^31-E(56)^45+E(56)^47+E(56)^55],
[GALOIS,[24,17]],
[GALOIS,[24,3]],
[GALOIS,[24,11]],[1225,-7,-7,7,4,-7,-3,1,0,-4,-1,-1,
-49*E(7)-49*E(7)^2-49*E(7)^4,-49*E(7)^3-49*E(7)^5-49*E(7)^6,0,0,0,0,3,3,1,1,-1
,-1,0,7*E(7)+7*E(7)^2+7*E(7)^4,7*E(7)^3+7*E(7)^5+7*E(7)^6,0,0,0,0,
-E(7)^3-E(7)^5-E(7)^6,-E(7)-E(7)^2-E(7)^4,0,1,1,0,0,0,0,0,0,0,
-E(7)-E(7)^2-E(7)^4,-E(7)^3-E(7)^5-E(7)^6,0,E(7)^3+E(7)^5+E(7)^6,
E(7)+E(7)^2+E(7)^4,E(7)+E(7)^2+E(7)^4,E(7)^3+E(7)^5+E(7)^6,E(7)+E(7)^2+E(7)^4,
E(7)^3+E(7)^5+E(7)^6],
[GALOIS,[28,3]],[1600,-64,0,-8,4,0,0,0,0,-4,0,2,
-4*E(7)-4*E(7)^2-60*E(7)^3-4*E(7)^4-60*E(7)^5-60*E(7)^6,
-60*E(7)-60*E(7)^2-4*E(7)^3-60*E(7)^4-4*E(7)^5-4*E(7)^6,4,11,
-E(7)^3-E(7)^5-E(7)^6,-E(7)-E(7)^2-E(7)^4,0,0,0,0,0,0,0,
4*E(7)+4*E(7)^2+12*E(7)^3+4*E(7)^4+12*E(7)^5+12*E(7)^6,
12*E(7)+12*E(7)^2+4*E(7)^3+12*E(7)^4+4*E(7)^5+4*E(7)^6,
2*E(7)^3+2*E(7)^5+2*E(7)^6,2*E(7)+2*E(7)^2+2*E(7)^4,-1,0,-E(7)^3-E(7)^5-E(7)^6
,-E(7)-E(7)^2-E(7)^4,-1,0,0,0,0,0,0,0,0,0,0,0,0,E(7)^3+E(7)^5+E(7)^6,
E(7)+E(7)^2+E(7)^4,0,0,0,0],
[GALOIS,[30,3]],[1800,-72,0,0,0,12,0,4,0,0,0,0,36,36,-20,-6,1,1,0,0,0,0,0,0,0
,12,12,-2,-2,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-2,0,0,0,0,0,0],[2100,84,12,0,6,
0,8,0,0,6,0,0,-7,-7,-14,0,0,0,-6,-6,0,0,-2,0,2,-7,-7,0,0,0,-2,-1,-1,0,0,0,0,0,
0,0,0,0,0,1,1,0,-1,-1,1,1,1,1],[2100,36,-20,6,0,8,12,0,0,0,-2,0,42,42,-7,-7,0,
0,0,0,0,0,0,2,0,-6,-6,1,1,1,1,0,0,-1,0,0,0,0,0,0,0,0,0,-2,-2,1,0,0,0,0,0,0],[
2100,-36,8,6,0,-6,0,-2,0,0,2,0,42,42,-7,-7,0,0,-6*E(8)+6*E(8)^3,
6*E(8)-6*E(8)^3,-E(8)+E(8)^3,E(8)-E(8)^3,0,0,0,6,6,-1,-1,-1,1,0,0,-1,
E(8)-E(8)^3,-E(8)+E(8)^3,0,0,0,0,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],
[GALOIS,[35,3]],[2304,0,0,0,0,0,0,0,4,0,0,0,-48,-48,8,-6,1,1,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0],[2304,0,0,0,0,0,0,0,
-1,0,0,0,-48,-48,8,-6,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
-E(25)^3-E(25)^7-E(25)^8+E(25)^11-E(25)^12-E(25)^13+E(25)^14-E(25)^17-E(25)^18
-E(25)^22
,E(25)^3+E(25)^4+E(25)^21+E(25)^22,E(25)^6+E(25)^8+E(25)^17+E(25)^19,
E(25)^9+E(25)^12+E(25)^13+E(25)^16,
-E(25)^4-E(25)^6+E(25)^7-E(25)^9-E(25)^11-E(25)^14-E(25)^16+E(25)^18-E(25)^19
-E(25)^21
,0,0,0,0,0,0,0,0,0],
[GALOIS,[38,9]],
[GALOIS,[38,6]],
[GALOIS,[38,3]],
[GALOIS,[38,2]],[2400,96,0,0,-6,0,16,0,0,-6,0,0,-50,-50,-8,6,-1,-1,0,0,0,0,0,
0,-2,-2,-2,-2,-2,-2,0,1,1,0,0,0,0,0,0,0,0,0,0,2,2,0,1,1,0,0,0,0],[2400,0,-16,
-6,0,16,0,0,0,0,2,0,48,48,6,-8,-1,-1,0,0,0,0,0,-2,0,0,0,0,0,0,-2,0,0,1,0,0,0,0
,0,0,0,0,0,0,0,2,0,0,0,0,0,0],[2400,-96,0,0,-6,0,0,0,0,6,0,0,-50,-50,-8,6,-1,
-1,-8*E(8)+8*E(8)^3,8*E(8)-8*E(8)^3,0,0,0,0,0,2,2,2,2,2,0,1,1,0,0,0,
-E(8)+E(8)^3,E(8)-E(8)^3,0,0,0,0,0,0,0,0,-1,-1,E(8)-E(8)^3,E(8)-E(8)^3,
-E(8)+E(8)^3,-E(8)+E(8)^3],
[GALOIS,[45,3]],[2400,0,16,-6,0,0,0,0,0,0,-2,0,48,48,6,-8,-1,-1,0,0,
-2*E(8)+2*E(8)^3,2*E(8)-2*E(8)^3,0,0,0,0,0,0,0,0,2,0,0,1,-E(8)+E(8)^3,
E(8)-E(8)^3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[47,3]],[2401,49,-7,7,7,-7,-7,1,1,7,-1,1,0,0,0,0,0,0,-7,-7,-1,-1,1,-1
,-1,0,0,0,0,0,0,0,0,0,-1,-1,-1,-1,1,1,1,1,1,0,0,0,0,0,0,0,0,0],[2800,112,0,-8,
1,0,-8,0,0,1,0,-2,7,7,0,14,0,0,-8,-8,0,0,0,0,1,7,7,0,0,0,0,1,1,-1,0,0,1,1,0,0,
0,0,0,-1,-1,0,1,1,-1,-1,-1,-1],[2800,-64,-8,1,-8,-8,0,0,0,8,1,-1,56,56,7,7,0,0
,0,0,2,2,0,1,0,-8,-8,-1,-1,-1,-1,-1,-1,1,-1,-1,0,0,0,0,0,0,0,0,0,-1,1,1,0,0,0,
0],[2800,64,-8,1,-8,-8,0,0,0,-8,1,1,56,56,7,7,0,0,0,0,-2,-2,0,1,0,8,8,1,1,1,-1
,-1,-1,1,1,1,0,0,0,0,0,0,0,0,0,-1,-1,-1,0,0,0,0]],
[(13,14)(17,18)(19,20)(21,22)(26,27)(28,29)(32,33)(35,36)(37,38)(44,45)(47,48)
(49,52)(50,51)
,(13,14)(17,18)(26,27)(28,29)(32,33)(44,45)(47,48)(49,50)(51,52),
(39,40,41,42,43)]);
ARC("S4(7)","isSimple",true);
ARC("S4(7)","extInfo",["2","2"]);
ALF("S4(7)","S4(7).2",[1,2,3,4,5,6,7,8,9,10,11,12,13,13,14,15,16,16,17,18,
19,20,21,22,23,24,24,25,25,26,27,28,28,29,30,31,32,33,34,35,36,37,38,39,
39,40,41,41,42,42,43,43],[
"fusion map is unique up to table automorphisms"
]);
ALN("S4(7)",["O5(7)"]);
MOT("S4(8)",
[
"origin: computed using Dixon's algorithm and character theoretic methods,\n",
"Thomas Breuer, Jul. 10th, 2003"
],
[1056706560,258048,258048,4096,4536,4536,128,128,65,72,72,3528,3528,3528,3528,
3528,3528,49,49,49,4536,4536,4536,4536,4536,4536,81,81,81,81,81,81,65,65,65,56
,56,56,56,56,56,72,72,72,72,72,72,63,63,63,63,63,63,63,63,63,63,63,63,63,63,63
,63,63,63,63,63,63,63,63,63,65,65,65,65,65,65,65,65,65,65,65,65],
[,[1,1,1,1,5,6,4,4,9,5,6,13,14,12,16,17,15,19,20,18,22,23,21,25,26,24,28,29,27
,31,32,30,34,35,33,14,12,13,15,16,17,21,22,23,25,26,24,49,50,48,52,53,51,55,56
,54,58,62,60,61,59,57,64,65,63,67,71,69,70,68,66,76,77,78,79,80,81,82,83,72,73
,74,75],[1,2,3,4,1,1,7,8,9,2,3,14,12,13,17,15,16,20,18,19,5,5,5,6,6,6,5,5,5,6,
6,6,34,35,33,38,36,37,41,39,40,10,10,10,11,11,11,12,13,14,15,16,17,48,49,50,49
,50,50,48,49,48,51,52,53,52,53,53,51,52,51,73,74,75,76,77,78,79,80,81,82,83,72
],,[1,2,3,4,5,6,7,8,1,10,11,13,14,12,16,17,15,19,20,18,23,21,22,26,24,25,29,27
,28,32,30,31,33,34,35,37,38,36,40,41,39,44,42,43,47,45,46,49,50,48,52,53,51,57
,58,62,59,60,54,55,56,61,66,67,71,68,69,63,64,65,70,33,34,35,33,34,35,33,34,35
,33,34,35],,[1,2,3,4,5,6,7,8,9,10,11,1,1,1,1,1,1,1,1,1,22,23,21,25,26,24,28,29
,27,31,32,30,35,33,34,2,2,2,3,3,3,43,44,42,46,47,45,5,5,5,6,6,6,21,22,23,23,21
,22,23,21,22,24,25,26,26,24,25,26,24,25,74,75,76,77,78,79,80,81,82,83,72,73],,
,,,,[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,23,21,22,26,24,25,29,
27,28,32,30,31,1,1,1,36,37,38,39,40,41,44,42,43,47,45,46,48,49,50,51,52,53,60,
61,59,55,56,58,62,57,54,69,70,68,64,65,67,71,66,63,9,9,9,9,9,9,9,9,9,9,9,9]],
[[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,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,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1],[196,-28,-28,4,7,7,4,-4,1,-1,-1,0,0,0,0,0,0,0,0,0,7,7,7,7,7,7,-2,
-2,-2,-2,-2,-2,1,1,1,0,0,0,0,0,0,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1],[260,36,-28,4,8,-1,-4,4,0,0,-1,1
,1,1,8,8,8,1,1,1,8,8,8,-1,-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,1,1,1,0,0,0,0,0,0,-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,0,0,0,0,0,0,
0,0,0,0,0,0],[260,-28,36,4,-1,8,-4,4,0,-1,0,8,8,8,1,1,1,1,1,1,-1,-1,-1,8,8,8,
-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,1,1,1,-1,-1,-1,0,0,0,-1,-1,-1,1,1,1,-1,-1,-1,-1,
-1,-1,-1,-1,-1,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0],[324,36,36,4,0,0,4,
-4,-1,0,0,9,9,9,9,9,9,2,2,2,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,-1,1,1,1,1,1,1,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,-1,-1,-1,-1,-1,-1
,-1,-1,-1,-1],[455,7,-57,7,14,5,-1,-1,0,-2,-3,0,0,0,7,7,7,0,0,0,-7,-7,-7,8,8,8
,2,2,2,-1,-1,-1,0,0,0,0,0,0,-1,-1,-1,1,1,1,0,0,0,0,0,0,-2,-2,-2,0,0,0,0,0,0,0,
0,0,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0],[455,-57,7,7,5,14,-1,-1,0,-3,-2
,7,7,7,0,0,0,0,0,0,8,8,8,-7,-7,-7,-1,-1,-1,2,2,2,0,0,0,-1,-1,-1,0,0,0,0,0,0,1,
1,1,-2,-2,-2,0,0,0,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
],[455,7,-57,7,-7,8,-1,-1,0,1,0,0,0,0,7,7,7,0,0,0,
-7*E(9)^2-7*E(9)^4-7*E(9)^5-7*E(9)^7,7*E(9)^2+7*E(9)^7,7*E(9)^4+7*E(9)^5,
E(9)^2-7*E(9)^3+E(9)^4+E(9)^5-7*E(9)^6+E(9)^7,-E(9)^2-7*E(9)^3-7*E(9)^6-E(9)^7
,-7*E(9)^3-E(9)^4-E(9)^5-7*E(9)^6,-E(9)^2-E(9)^4-E(9)^5-E(9)^7,E(9)^2+E(9)^7,
E(9)^4+E(9)^5,-E(9)^2-E(9)^3-E(9)^6-E(9)^7,-E(9)^3-E(9)^4-E(9)^5-E(9)^6,
E(9)^2-E(9)^3+E(9)^4+E(9)^5-E(9)^6+E(9)^7,0,0,0,0,0,0,-1,-1,-1,-E(9)^4-E(9)^5,
E(9)^2+E(9)^4+E(9)^5+E(9)^7,-E(9)^2-E(9)^7,
E(9)^2+E(9)^3+E(9)^4+E(9)^5+E(9)^6+E(9)^7,-E(9)^2+E(9)^3+E(9)^6-E(9)^7,
E(9)^3-E(9)^4-E(9)^5+E(9)^6,0,0,0,1,1,1,0,0,0,0,0,0,0,0,0,-E(9)^4-E(9)^5,
E(9)^2+E(9)^4+E(9)^5+E(9)^7,-E(9)^2-E(9)^7,-E(9)^2-E(9)^7,-E(9)^4-E(9)^5,
E(9)^2+E(9)^4+E(9)^5+E(9)^7,-E(9)^2-E(9)^7,-E(9)^4-E(9)^5,
E(9)^2+E(9)^4+E(9)^5+E(9)^7,0,0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[8,4]],
[GALOIS,[8,2]],[455,-57,7,7,8,-7,-1,-1,0,0,1,7,7,7,0,0,0,0,0,0,
E(9)^2-7*E(9)^3+E(9)^4+E(9)^5-7*E(9)^6+E(9)^7,-E(9)^2-7*E(9)^3-7*E(9)^6-E(9)^7
,-7*E(9)^3-E(9)^4-E(9)^5-7*E(9)^6,7*E(9)^4+7*E(9)^5,
-7*E(9)^2-7*E(9)^4-7*E(9)^5-7*E(9)^7,7*E(9)^2+7*E(9)^7,
E(9)^2-E(9)^3+E(9)^4+E(9)^5-E(9)^6+E(9)^7,-E(9)^2-E(9)^3-E(9)^6-E(9)^7,
-E(9)^3-E(9)^4-E(9)^5-E(9)^6,-E(9)^2-E(9)^4-E(9)^5-E(9)^7,E(9)^2+E(9)^7,
E(9)^4+E(9)^5,0,0,0,-1,-1,-1,0,0,0,E(9)^3-E(9)^4-E(9)^5+E(9)^6,
E(9)^2+E(9)^3+E(9)^4+E(9)^5+E(9)^6+E(9)^7,-E(9)^2+E(9)^3+E(9)^6-E(9)^7,
-E(9)^4-E(9)^5,E(9)^2+E(9)^4+E(9)^5+E(9)^7,-E(9)^2-E(9)^7,1,1,1,0,0,0,
-E(9)^4-E(9)^5,E(9)^2+E(9)^4+E(9)^5+E(9)^7,-E(9)^2-E(9)^7,-E(9)^2-E(9)^7,
-E(9)^4-E(9)^5,E(9)^2+E(9)^4+E(9)^5+E(9)^7,-E(9)^2-E(9)^7,-E(9)^4-E(9)^5,
E(9)^2+E(9)^4+E(9)^5+E(9)^7,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[11,4]],
[GALOIS,[11,2]],[585,9,73,9,0,9,1,1,0,0,1,9*E(7)^3+9*E(7)^4,9*E(7)+9*E(7)^6,
9*E(7)^2+9*E(7)^5,-9*E(7)-9*E(7)^2-8*E(7)^3-8*E(7)^4-9*E(7)^5-9*E(7)^6,
-8*E(7)-9*E(7)^2-9*E(7)^3-9*E(7)^4-9*E(7)^5-8*E(7)^6,
-9*E(7)-8*E(7)^2-9*E(7)^3-9*E(7)^4-8*E(7)^5-9*E(7)^6,E(7)+E(7)^2+E(7)^5+E(7)^6
,E(7)^2+E(7)^3+E(7)^4+E(7)^5,E(7)+E(7)^3+E(7)^4+E(7)^6,0,0,0,9,9,9,0,0,0,0,0,0
,0,0,0,E(7)+E(7)^6,E(7)^2+E(7)^5,E(7)^3+E(7)^4,-E(7)-E(7)^3-E(7)^4-E(7)^6,
-E(7)-E(7)^2-E(7)^5-E(7)^6,-E(7)^2-E(7)^3-E(7)^4-E(7)^5,0,0,0,1,1,1,0,0,0,
E(7)+E(7)^6,E(7)^2+E(7)^5,E(7)^3+E(7)^4,0,0,0,0,0,0,0,0,0,E(7)^2+E(7)^5,
E(7)^3+E(7)^4,E(7)+E(7)^6,E(7)^3+E(7)^4,E(7)+E(7)^6,E(7)+E(7)^6,E(7)^2+E(7)^5,
E(7)^3+E(7)^4,E(7)^2+E(7)^5,0,0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[14,3]],
[GALOIS,[14,2]],[585,73,9,9,9,0,1,1,0,1,0,
-9*E(7)-8*E(7)^2-9*E(7)^3-9*E(7)^4-8*E(7)^5-9*E(7)^6,
-9*E(7)-9*E(7)^2-8*E(7)^3-8*E(7)^4-9*E(7)^5-9*E(7)^6,
-8*E(7)-9*E(7)^2-9*E(7)^3-9*E(7)^4-9*E(7)^5-8*E(7)^6,9*E(7)+9*E(7)^6,
9*E(7)^2+9*E(7)^5,9*E(7)^3+9*E(7)^4,E(7)+E(7)^2+E(7)^5+E(7)^6,
E(7)^2+E(7)^3+E(7)^4+E(7)^5,E(7)+E(7)^3+E(7)^4+E(7)^6,9,9,9,0,0,0,0,0,0,0,0,0,
0,0,0,-E(7)-E(7)^2-E(7)^5-E(7)^6,-E(7)^2-E(7)^3-E(7)^4-E(7)^5,
-E(7)-E(7)^3-E(7)^4-E(7)^6,E(7)^3+E(7)^4,E(7)+E(7)^6,E(7)^2+E(7)^5,1,1,1,0,0,0
,E(7)^3+E(7)^4,E(7)+E(7)^6,E(7)^2+E(7)^5,0,0,0,E(7)+E(7)^6,E(7)^2+E(7)^5,
E(7)^3+E(7)^4,E(7)^2+E(7)^5,E(7)^3+E(7)^4,E(7)^3+E(7)^4,E(7)+E(7)^6,
E(7)^2+E(7)^5,E(7)+E(7)^6,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[17,3]],
[GALOIS,[17,2]],[3185,49,49,-15,14,-7,1,1,0,-2,1,0,0,0,0,0,0,0,0,0,
-7*E(9)^2-7*E(9)^4-7*E(9)^5-7*E(9)^7,7*E(9)^2+7*E(9)^7,7*E(9)^4+7*E(9)^5,
7*E(9)^2-7*E(9)^3+7*E(9)^4+7*E(9)^5-7*E(9)^6+7*E(9)^7,
-7*E(9)^2-7*E(9)^3-7*E(9)^6-7*E(9)^7,-7*E(9)^3-7*E(9)^4-7*E(9)^5-7*E(9)^6,
-E(9)^2-E(9)^4-E(9)^5-E(9)^7,E(9)^2+E(9)^7,E(9)^4+E(9)^5,
2*E(9)^2-E(9)^3-E(9)^6+2*E(9)^7,-E(9)^3+2*E(9)^4+2*E(9)^5-E(9)^6,
-2*E(9)^2-E(9)^3-2*E(9)^4-2*E(9)^5-E(9)^6-2*E(9)^7,0,0,0,0,0,0,0,0,0,
-E(9)^4-E(9)^5,E(9)^2+E(9)^4+E(9)^5+E(9)^7,-E(9)^2-E(9)^7,
-E(9)^2+E(9)^3-E(9)^4-E(9)^5+E(9)^6-E(9)^7,E(9)^2+E(9)^3+E(9)^6+E(9)^7,
E(9)^3+E(9)^4+E(9)^5+E(9)^6,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[20,4]],
[GALOIS,[20,2]],[3185,49,49,-15,-7,14,1,1,0,1,-2,0,0,0,0,0,0,0,0,0,
-7*E(9)^2-7*E(9)^3-7*E(9)^6-7*E(9)^7,-7*E(9)^3-7*E(9)^4-7*E(9)^5-7*E(9)^6,
7*E(9)^2-7*E(9)^3+7*E(9)^4+7*E(9)^5-7*E(9)^6+7*E(9)^7,
-7*E(9)^2-7*E(9)^4-7*E(9)^5-7*E(9)^7,7*E(9)^2+7*E(9)^7,7*E(9)^4+7*E(9)^5,
2*E(9)^2-E(9)^3-E(9)^6+2*E(9)^7,-E(9)^3+2*E(9)^4+2*E(9)^5-E(9)^6,
-2*E(9)^2-E(9)^3-2*E(9)^4-2*E(9)^5-E(9)^6-2*E(9)^7,E(9)^2+E(9)^7,E(9)^4+E(9)^5
,-E(9)^2-E(9)^4-E(9)^5-E(9)^7,0,0,0,0,0,0,0,0,0,
-E(9)^2+E(9)^3-E(9)^4-E(9)^5+E(9)^6-E(9)^7,E(9)^2+E(9)^3+E(9)^6+E(9)^7,
E(9)^3+E(9)^4+E(9)^5+E(9)^6,E(9)^2+E(9)^4+E(9)^5+E(9)^7,-E(9)^2-E(9)^7,
-E(9)^4-E(9)^5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0],
[GALOIS,[23,4]],
[GALOIS,[23,2]],[3640,56,-8,-8,-14,-23,0,0,0,2,1,0,0,0,7,7,7,0,0,0,7,7,7,1,1,
1,-2,-2,-2,1,1,1,0,0,0,0,0,0,-1,-1,-1,-1,-1,-1,1,1,1,0,0,0,-2,-2,-2,0,0,0,0,0,
0,0,0,0,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0],[3640,-8,56,-8,-23,-14,0,0,
0,1,2,7,7,7,0,0,0,0,0,0,1,1,1,7,7,7,1,1,1,-2,-2,-2,0,0,0,-1,-1,-1,0,0,0,1,1,1,
-1,-1,-1,-2,-2,-2,0,0,0,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0],[3640,56,-8,-8,7,1,0,0,0,-1,1,0,0,0,7,7,7,0,0,0,-7*E(9)^2-7*E(9)^7,
-7*E(9)^4-7*E(9)^5,7*E(9)^2+7*E(9)^4+7*E(9)^5+7*E(9)^7,
-8*E(9)^2+7*E(9)^3+7*E(9)^6-8*E(9)^7,7*E(9)^3-8*E(9)^4-8*E(9)^5+7*E(9)^6,
8*E(9)^2+7*E(9)^3+8*E(9)^4+8*E(9)^5+7*E(9)^6+8*E(9)^7,-E(9)^2-E(9)^7,
-E(9)^4-E(9)^5,E(9)^2+E(9)^4+E(9)^5+E(9)^7,E(9)^3+E(9)^4+E(9)^5+E(9)^6,
-E(9)^2+E(9)^3-E(9)^4-E(9)^5+E(9)^6-E(9)^7,E(9)^2+E(9)^3+E(9)^6+E(9)^7,0,0,0,0
,0,0,-1,-1,-1,-E(9)^2-E(9)^4-E(9)^5-E(9)^7,E(9)^2+E(9)^7,E(9)^4+E(9)^5,1,1,1,0
,0,0,1,1,1,0,0,0,0,0,0,0,0,0,E(9)^2+E(9)^4+E(9)^5+E(9)^7,-E(9)^2-E(9)^7,
-E(9)^4-E(9)^5,-E(9)^4-E(9)^5,E(9)^2+E(9)^4+E(9)^5+E(9)^7,-E(9)^2-E(9)^7,
-E(9)^4-E(9)^5,E(9)^2+E(9)^4+E(9)^5+E(9)^7,-E(9)^2-E(9)^7,0,0,0,0,0,0,0,0,0,0,
0,0],
[GALOIS,[28,4]],
[GALOIS,[28,2]],[3640,-8,56,-8,1,7,0,0,0,1,-1,7,7,7,0,0,0,0,0,0,
8*E(9)^2+7*E(9)^3+8*E(9)^4+8*E(9)^5+7*E(9)^6+8*E(9)^7,
-8*E(9)^2+7*E(9)^3+7*E(9)^6-8*E(9)^7,7*E(9)^3-8*E(9)^4-8*E(9)^5+7*E(9)^6,
-7*E(9)^4-7*E(9)^5,7*E(9)^2+7*E(9)^4+7*E(9)^5+7*E(9)^7,-7*E(9)^2-7*E(9)^7,
-E(9)^2+E(9)^3-E(9)^4-E(9)^5+E(9)^6-E(9)^7,E(9)^2+E(9)^3+E(9)^6+E(9)^7,
E(9)^3+E(9)^4+E(9)^5+E(9)^6,E(9)^2+E(9)^4+E(9)^5+E(9)^7,-E(9)^2-E(9)^7,
-E(9)^4-E(9)^5,0,0,0,-1,-1,-1,0,0,0,1,1,1,E(9)^4+E(9)^5,
-E(9)^2-E(9)^4-E(9)^5-E(9)^7,E(9)^2+E(9)^7,1,1,1,0,0,0,-E(9)^4-E(9)^5,
E(9)^2+E(9)^4+E(9)^5+E(9)^7,-E(9)^2-E(9)^7,-E(9)^2-E(9)^7,-E(9)^4-E(9)^5,
E(9)^2+E(9)^4+E(9)^5+E(9)^7,-E(9)^2-E(9)^7,-E(9)^4-E(9)^5,
E(9)^2+E(9)^4+E(9)^5+E(9)^7,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[31,4]],
[GALOIS,[31,2]],[3969,-63,-63,1,0,0,1,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,4,4,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1],[3969,-63,-63,1,0,0,1,1,4,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,E(13)^4+E(13)^6+E(13)^7+E(13)^9,
E(13)+E(13)^5+E(13)^8+E(13)^12,E(13)^2+E(13)^3+E(13)^10+E(13)^11,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
E(13)^4+E(13)^6+E(13)^7+E(13)^9,E(13)+E(13)^5+E(13)^8+E(13)^12,
E(13)^2+E(13)^3+E(13)^10+E(13)^11,E(13)^4+E(13)^6+E(13)^7+E(13)^9,
E(13)+E(13)^5+E(13)^8+E(13)^12,E(13)^2+E(13)^3+E(13)^10+E(13)^11,
E(13)^4+E(13)^6+E(13)^7+E(13)^9,E(13)+E(13)^5+E(13)^8+E(13)^12,
E(13)^2+E(13)^3+E(13)^10+E(13)^11,E(13)^4+E(13)^6+E(13)^7+E(13)^9,
E(13)+E(13)^5+E(13)^8+E(13)^12,E(13)^2+E(13)^3+E(13)^10+E(13)^11],
[GALOIS,[35,4]],
[GALOIS,[35,2]],[3969,-63,-63,1,0,0,1,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,E(13)^2+E(13)^3+E(13)^10+E(13)^11,E(13)^4+E(13)^6+E(13)^7+E(13)^9,
E(13)+E(13)^5+E(13)^8+E(13)^12,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,E(65)^28+E(65)^29+E(65)^36+E(65)^37,
E(65)^19+E(65)^22+E(65)^43+E(65)^46,E(65)+E(65)^8+E(65)^57+E(65)^64,
E(65)^3+E(65)^24+E(65)^41+E(65)^62,E(65)^7+E(65)^9+E(65)^56+E(65)^58,
E(65)^21+E(65)^27+E(65)^38+E(65)^44,E(65)^2+E(65)^16+E(65)^49+E(65)^63,
E(65)^6+E(65)^17+E(65)^48+E(65)^59,E(65)^14+E(65)^18+E(65)^47+E(65)^51,
E(65)^11+E(65)^23+E(65)^42+E(65)^54,E(65)^4+E(65)^32+E(65)^33+E(65)^61,
E(65)^12+E(65)^31+E(65)^34+E(65)^53],
[GALOIS,[38,19]],
[GALOIS,[38,28]],
[GALOIS,[38,12]],
[GALOIS,[38,4]],
[GALOIS,[38,11]],
[GALOIS,[38,14]],
[GALOIS,[38,6]],
[GALOIS,[38,2]],
[GALOIS,[38,21]],
[GALOIS,[38,7]],
[GALOIS,[38,3]],[4095,-65,63,-1,9,0,-1,-1,0,1,0,7*E(7)^3+7*E(7)^4,
7*E(7)+7*E(7)^6,7*E(7)^2+7*E(7)^5,0,0,0,0,0,0,-9*E(9)^2-9*E(9)^7,
-9*E(9)^4-9*E(9)^5,9*E(9)^2+9*E(9)^4+9*E(9)^5+9*E(9)^7,0,0,0,0,0,0,0,0,0,0,0,0
,-E(7)-E(7)^6,-E(7)^2-E(7)^5,-E(7)^3-E(7)^4,0,0,0,E(9)^2+E(9)^4+E(9)^5+E(9)^7,
-E(9)^2-E(9)^7,-E(9)^4-E(9)^5,0,0,0,E(7)+E(7)^6,E(7)^2+E(7)^5,E(7)^3+E(7)^4,0,
0,0,E(63)^4+E(63)^10+E(63)^17+E(63)^31+E(63)^32+E(63)^46+E(63)^53+E(63)^59,
-E(63)^13-E(63)^22-E(63)^41-E(63)^50,-E(63)^19-E(63)^26-E(63)^37-E(63)^44,
-E(63)-E(63)^8-E(63)^55-E(63)^62,
E(63)^5+E(63)^19+E(63)^23+E(63)^26+E(63)^37+E(63)^40+E(63)^44+E(63)^58,
-E(63)^5-E(63)^23-E(63)^40-E(63)^58,-E(63)^10-E(63)^17-E(63)^46-E(63)^53,
E(63)+E(63)^8+E(63)^13+E(63)^22+E(63)^41+E(63)^50+E(63)^55+E(63)^62,
-E(63)^4-E(63)^31-E(63)^32-E(63)^59,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
,
[GALOIS,[50,19]],
[GALOIS,[50,10]],
[GALOIS,[50,13]],
[GALOIS,[50,5]],
[GALOIS,[50,4]],
[GALOIS,[50,20]],
[GALOIS,[50,2]],
[GALOIS,[50,11]],[4095,-65,63,-1,-18,0,-1,-1,0,-2,0,7*E(7)^3+7*E(7)^4,
7*E(7)+7*E(7)^6,7*E(7)^2+7*E(7)^5,0,0,0,0,0,0,9,9,9,0,0,0,0,0,0,0,0,0,0,0,0,
-E(7)-E(7)^6,-E(7)^2-E(7)^5,-E(7)^3-E(7)^4,0,0,0,1,1,1,0,0,0,-2*E(7)-2*E(7)^6,
-2*E(7)^2-2*E(7)^5,-2*E(7)^3-2*E(7)^4,0,0,0,E(7)^2+E(7)^5,E(7)^3+E(7)^4,
E(7)+E(7)^6,E(7)^3+E(7)^4,E(7)+E(7)^6,E(7)+E(7)^6,E(7)^2+E(7)^5,E(7)^3+E(7)^4,
E(7)^2+E(7)^5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[59,3]],
[GALOIS,[59,2]],[4095,63,-65,-1,0,9,-1,-1,0,0,1,0,0,0,7*E(7)^3+7*E(7)^4,
7*E(7)+7*E(7)^6,7*E(7)^2+7*E(7)^5,0,0,0,0,0,0,-9*E(9)^2-9*E(9)^7,
-9*E(9)^4-9*E(9)^5,9*E(9)^2+9*E(9)^4+9*E(9)^5+9*E(9)^7,0,0,0,0,0,0,0,0,0,0,0,0
,-E(7)^2-E(7)^5,-E(7)^3-E(7)^4,-E(7)-E(7)^6,0,0,0,-E(9)^2-E(9)^7,
-E(9)^4-E(9)^5,E(9)^2+E(9)^4+E(9)^5+E(9)^7,0,0,0,E(7)+E(7)^6,E(7)^2+E(7)^5,
E(7)^3+E(7)^4,0,0,0,0,0,0,0,0,0,
E(63)^4+E(63)^10+E(63)^17+E(63)^31+E(63)^32+E(63)^46+E(63)^53+E(63)^59,
-E(63)^13-E(63)^22-E(63)^41-E(63)^50,-E(63)^19-E(63)^26-E(63)^37-E(63)^44,
-E(63)-E(63)^8-E(63)^55-E(63)^62,
E(63)^5+E(63)^19+E(63)^23+E(63)^26+E(63)^37+E(63)^40+E(63)^44+E(63)^58,
-E(63)^5-E(63)^23-E(63)^40-E(63)^58,-E(63)^10-E(63)^17-E(63)^46-E(63)^53,
E(63)+E(63)^8+E(63)^13+E(63)^22+E(63)^41+E(63)^50+E(63)^55+E(63)^62,
-E(63)^4-E(63)^31-E(63)^32-E(63)^59,0,0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[62,19]],
[GALOIS,[62,10]],
[GALOIS,[62,13]],
[GALOIS,[62,5]],
[GALOIS,[62,4]],
[GALOIS,[62,20]],
[GALOIS,[62,2]],
[GALOIS,[62,11]],[4095,63,-65,-1,0,-18,-1,-1,0,0,-2,0,0,0,7*E(7)^3+7*E(7)^4,
7*E(7)+7*E(7)^6,7*E(7)^2+7*E(7)^5,0,0,0,0,0,0,9,9,9,0,0,0,0,0,0,0,0,0,0,0,0,
-E(7)^2-E(7)^5,-E(7)^3-E(7)^4,-E(7)-E(7)^6,0,0,0,1,1,1,0,0,0,-2*E(7)-2*E(7)^6,
-2*E(7)^2-2*E(7)^5,-2*E(7)^3-2*E(7)^4,0,0,0,0,0,0,0,0,0,E(7)^2+E(7)^5,
E(7)^3+E(7)^4,E(7)+E(7)^6,E(7)^3+E(7)^4,E(7)+E(7)^6,E(7)+E(7)^6,E(7)^2+E(7)^5,
E(7)^3+E(7)^4,E(7)^2+E(7)^5,0,0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[71,3]],
[GALOIS,[71,2]],[4096,0,0,0,-8,-8,0,0,1,0,0,8,8,8,8,8,8,1,1,1,-8,-8,-8,-8,-8,
-8,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,-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,1,1,1,1],[4680,72,8,8,0
,-9,0,0,0,0,-1,9*E(7)^2+9*E(7)^5,9*E(7)^3+9*E(7)^4,9*E(7)+9*E(7)^6,
-9*E(7)-E(7)^2-9*E(7)^3-9*E(7)^4-E(7)^5-9*E(7)^6,
-9*E(7)-9*E(7)^2-E(7)^3-E(7)^4-9*E(7)^5-9*E(7)^6,
-E(7)-9*E(7)^2-9*E(7)^3-9*E(7)^4-9*E(7)^5-E(7)^6,E(7)+E(7)^3+E(7)^4+E(7)^6,
E(7)+E(7)^2+E(7)^5+E(7)^6,E(7)^2+E(7)^3+E(7)^4+E(7)^5,0,0,0,-9,-9,-9,0,0,0,0,0
,0,0,0,0,E(7)^3+E(7)^4,E(7)+E(7)^6,E(7)^2+E(7)^5,1,1,1,0,0,0,-1,-1,-1,0,0,0,
-E(7)^3-E(7)^4,-E(7)-E(7)^6,-E(7)^2-E(7)^5,0,0,0,0,0,0,0,0,0,-E(7)-E(7)^6,
-E(7)^2-E(7)^5,-E(7)^3-E(7)^4,-E(7)^2-E(7)^5,-E(7)^3-E(7)^4,-E(7)^3-E(7)^4,
-E(7)-E(7)^6,-E(7)^2-E(7)^5,-E(7)-E(7)^6,0,0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[75,3]],
[GALOIS,[75,2]],[4680,8,72,8,-9,0,0,0,0,-1,0,
-E(7)-9*E(7)^2-9*E(7)^3-9*E(7)^4-9*E(7)^5-E(7)^6,
-9*E(7)-E(7)^2-9*E(7)^3-9*E(7)^4-E(7)^5-9*E(7)^6,
-9*E(7)-9*E(7)^2-E(7)^3-E(7)^4-9*E(7)^5-9*E(7)^6,9*E(7)^3+9*E(7)^4,
9*E(7)+9*E(7)^6,9*E(7)^2+9*E(7)^5,E(7)+E(7)^3+E(7)^4+E(7)^6,
E(7)+E(7)^2+E(7)^5+E(7)^6,E(7)^2+E(7)^3+E(7)^4+E(7)^5,-9,-9,-9,0,0,0,0,0,0,0,0
,0,0,0,0,1,1,1,E(7)^2+E(7)^5,E(7)^3+E(7)^4,E(7)+E(7)^6,-1,-1,-1,0,0,0,
-E(7)^2-E(7)^5,-E(7)^3-E(7)^4,-E(7)-E(7)^6,0,0,0,-E(7)^3-E(7)^4,-E(7)-E(7)^6,
-E(7)^2-E(7)^5,-E(7)-E(7)^6,-E(7)^2-E(7)^5,-E(7)^2-E(7)^5,-E(7)^3-E(7)^4,
-E(7)-E(7)^6,-E(7)^3-E(7)^4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[78,3]],
[GALOIS,[78,2]],[5265,81,81,17,0,0,1,1,0,0,0,
9*E(7)+9*E(7)^2+9*E(7)^5+9*E(7)^6,9*E(7)^2+9*E(7)^3+9*E(7)^4+9*E(7)^5,
9*E(7)+9*E(7)^3+9*E(7)^4+9*E(7)^6,9*E(7)^2+9*E(7)^3+9*E(7)^4+9*E(7)^5,
9*E(7)+9*E(7)^3+9*E(7)^4+9*E(7)^6,9*E(7)+9*E(7)^2+9*E(7)^5+9*E(7)^6,
-E(7)-2*E(7)^3-2*E(7)^4-E(7)^6,-2*E(7)-E(7)^2-E(7)^5-2*E(7)^6,
-2*E(7)^2-E(7)^3-E(7)^4-2*E(7)^5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
E(7)^2+E(7)^3+E(7)^4+E(7)^5,E(7)+E(7)^3+E(7)^4+E(7)^6,
E(7)+E(7)^2+E(7)^5+E(7)^6,E(7)+E(7)^2+E(7)^5+E(7)^6,
E(7)^2+E(7)^3+E(7)^4+E(7)^5,E(7)+E(7)^3+E(7)^4+E(7)^6,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[81,3]],
[GALOIS,[81,2]]],
[(72,75,78,81)(73,76,79,82)(74,77,80,83),(33,34,35)(72,73,74,75,76,77,78,79,
80,81,82,83),(21,22,23)(24,25,26)(27,28,29)(30,31,32)(42,43,44)(45,46,
47)(54,62,60)(55,57,61)(56,58,59)(63,71,69)(64,66,70)(65,67,68),
(12,13,14)(15,16,17)(18,19,20)(36,37,38)(39,40,41)(48,49,50)(51,52,53)(54,
61,58)(55,59,62)(56,60,57)(63,70,67)(64,68,71)(65,69,66),
(2,3)(5,6)(10,11)(12,15,14,17,13,16)(18,19,20)(21,24,23,26,22,25)(27,32,29,
31,28,30)(36,41,38,40,37,39)(42,47,44,46,43,45)(48,51,50,53,49,52)(54,63,
56,65,55,64)(57,66,62,71,58,67)(59,68,61,70,60,69)]);
ALF("S4(8)","S4(8).3",[1,2,3,4,6,5,8,7,9,11,10,12,12,12,13,13,13,14,14,14,
15,15,15,16,16,16,18,18,18,17,17,17,19,19,19,20,20,20,21,21,21,22,22,22,
23,23,23,24,24,24,25,25,25,26,26,26,27,27,28,28,28,27,29,29,29,30,30,31,
31,31,30,32,33,34,35,32,33,34,35,32,33,34,35],[
"fusion map is unique up to table automorphisms"
]);
ALN("S4(8)",["O5(8)"]);
ARC("S4(8)","isSimple",true);
ARC("S4(8)","extInfo",["","6"]);
MOT("S4(8).3",
[
"computed using Magma V2.28-15 Thu Jan 16 2025 09:46:52 on schedir\n",
"[Seed = 3859373309]\n",
"Total time: 0.890 seconds, Total memory usage: 32.09MB"
],
[3170119680,774144,774144,12288,13608,13608,384,384,195,216,216,3528,3528,49,
4536,4536,81,81,65,56,56,72,72,63,63,63,63,63,63,63,63,65,65,65,65,2160,2160,
144,144,144,144,48,48,54,54,54,54,24,24,24,24,15,15,18,18,18,18],
[,[1,1,1,1,5,6,4,4,9,5,6,12,13,14,15,16,17,18,19,12,13,15,16,24,25,26,27,28,29
,30,31,32,33,34,35,37,36,37,36,37,36,37,36,45,44,47,46,43,42,43,42,53,52,45,44
,47,46],[1,2,3,4,1,1,7,8,9,3,2,12,13,14,6,5,5,6,19,20,21,11,10,12,13,24,24,24,
25,25,25,33,34,35,32,1,1,2,2,3,3,4,4,5,5,6,6,8,8,7,7,9,9,10,10,11,11],,[1,2,3,
4,5,6,7,8,1,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,27,28,26,30,31,29,
19,19,19,19,37,36,39,38,41,40,43,42,45,44,47,46,49,48,51,50,37,36,55,54,57,56]
,,[1,2,3,4,5,6,7,8,9,10,11,1,1,1,15,16,17,18,19,2,3,22,23,6,5,15,15,15,16,16,
16,34,35,32,33,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,
57],,,,,,[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,1,20,21,22,23,24,25,28,
26,27,31,29,30,9,9,9,9,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,
54,55,56,57]],
[[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,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,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,E(3),E(3)^2,E(3),E(3)^2,E(3),E(3)^2,E(3),E(3)^
2,E(3),E(3)^2,E(3),E(3)^2,E(3),E(3)^2,E(3),E(3)^2,E(3),E(3)^2,E(3),E(3)^2,E(3)
,E(3)^2],
[TENSOR,[2,2]],[196,-28,-28,4,7,7,-4,4,1,-1,-1,0,0,0,7,7,-2,-2,1,0,0,-1,-1,0,
0,0,0,0,0,0,0,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],
[TENSOR,[4,2]],
[TENSOR,[4,3]],[260,36,-28,4,-1,8,4,-4,0,-1,0,1,8,1,8,-1,-1,-1,0,1,0,0,-1,1,-
1,1,1,1,-1,-1,-1,0,0,0,0,5,5,3,3,-1,-1,1,1,-1,-1,2,2,-1,-1,1,1,0,0,-1,-1,0,0],
[TENSOR,[7,2]],
[TENSOR,[7,3]],[260,-28,36,4,8,-1,4,-4,0,0,-1,8,1,1,-1,8,-1,-1,0,0,1,-1,0,-1,
1,-1,-1,-1,1,1,1,0,0,0,0,5,5,-1,-1,3,3,1,1,2,2,-1,-1,-1,-1,1,1,0,0,0,0,-1,-1],
[TENSOR,[10,2]],
[TENSOR,[10,3]],[324,36,36,4,0,0,-4,4,-1,0,0,9,9,2,0,0,0,0,-1,1,1,0,0,0,0,0,0
,0,0,0,0,-1,-1,-1,-1,9,9,3,3,3,3,1,1,0,0,0,0,1,1,-1,-1,-1,-1,0,0,0,0],
[TENSOR,[13,2]],
[TENSOR,[13,3]],[455,7,-57,7,5,14,-1,-1,0,-3,-2,0,7,0,-7,8,-1,2,0,0,-1,1,0,0,
-2,0,0,0,1,1,1,0,0,0,0,5,5,1,1,-3,-3,1,1,2,2,-1,-1,-1,-1,-1,-1,0,0,0,0,1,1],
[TENSOR,[16,2]],
[TENSOR,[16,3]],[455,-57,7,7,14,5,-1,-1,0,-2,-3,7,0,0,8,-7,2,-1,0,-1,0,0,1,-2
,0,1,1,1,0,0,0,0,0,0,0,5,5,-3,-3,1,1,1,1,-1,-1,2,2,-1,-1,-1,-1,0,0,1,1,0,0],
[TENSOR,[19,2]],
[TENSOR,[19,3]],[1365,21,-171,21,24,-21,-3,-3,0,0,3,0,21,0,0,21,3,0,0,0,-3,0,
-3,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1365,
-171,21,21,-21,24,-3,-3,0,3,0,21,0,0,21,0,0,3,0,-3,0,-3,0,3,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1755,27,219,27,27,0,3,3,0,3,
0,-9,26,-2,0,27,0,0,0,-1,2,0,3,0,-1,0,0,0,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0],[1755,219,27,27,0,27,3,3,0,0,3,26,-9,-2,27,0,0,0,0,2
,-1,3,0,-1,0,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0],[9555,147,147,-45,-21,42,3,3,0,3,-6,0,0,0,0,21,3,0,0,0,0,0,-3,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[9555,147,147,-45,42,-
21,3,3,0,-6,3,0,0,0,21,0,0,3,0,0,0,-3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[3640,56,-8,-8,-23,-14,0,0,0,1,2,0,7,0,7,1,1,-2
,0,0,-1,-1,1,0,-2,0,0,0,1,1,1,0,0,0,0,10,10,2,2,-2,-2,-2,-2,1,1,1,1,0,0,0,0,0,
0,1,1,-1,-1],
[TENSOR,[28,2]],
[TENSOR,[28,3]],[3640,-8,56,-8,-14,-23,0,0,0,2,1,7,0,0,1,7,-2,1,0,-1,0,1,-1,-
2,0,1,1,1,0,0,0,0,0,0,0,10,10,-2,-2,2,2,-2,-2,1,1,1,1,0,0,0,0,0,0,-1,-1,1,1],
[TENSOR,[31,2]],
[TENSOR,[31,3]],[10920,168,-24,-24,3,21,0,0,0,3,-3,0,21,0,0,-21,-3,0,0,0,-3,0
,3,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[10920
,-24,168,-24,21,3,0,0,0,-3,3,21,0,0,-21,0,0,-3,0,-3,0,3,0,3,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[3969,-63,-63,1,0,0,1,1,-1,0,
0,0,0,0,0,0,0,0,4,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,-1,-1,9,9,-3,-3,-3,-3,1,1,0,0,
0,0,1,1,1,1,-1,-1,0,0,0,0],
[TENSOR,[36,2]],
[TENSOR,[36,3]],[11907,-189,-189,3,0,0,3,3,12,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,
0,0,0,0,0,0,0,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[11907,
-189,-189,3,0,0,3,3,-3,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,E(65)^7+E(
65)^9+E(65)^14+E(65)^18+E(65)^28+E(65)^29+E(65)^36+E(65)^37+E(65)^47+E(65)^51+
E(65)^56+E(65)^58,E(65)^11+E(65)^19+E(65)^21+E(65)^22+E(65)^23+E(65)^27+E(65)^
38+E(65)^42+E(65)^43+E(65)^44+E(65)^46+E(65)^54,E(65)+E(65)^2+E(65)^4+E(65)^8+
E(65)^16+E(65)^32+E(65)^33+E(65)^49+E(65)^57+E(65)^61+E(65)^63+E(65)^64,E(65)^
3+E(65)^6+E(65)^12+E(65)^17+E(65)^24+E(65)^31+E(65)^34+E(65)^41+E(65)^48+E(65)
^53+E(65)^59+E(65)^62,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[40,11]],
[GALOIS,[40,7]],
[GALOIS,[40,3]],[12285,-195,189,-3,0,27,-3,-3,0,0,3,-7,0,0,0,0,0,0,0,1,0,0,0,
-1,0,E(63)^4+E(63)^10-E(63)^13+E(63)^17-E(63)^19-E(63)^22-E(63)^26+E(63)^31+E(
63)^32-E(63)^37-E(63)^41-E(63)^44+E(63)^46-E(63)^50+E(63)^53+E(63)^59,-E(63)-E
(63)^4+E(63)^5-E(63)^8+E(63)^19+E(63)^23+E(63)^26-E(63)^31-E(63)^32+E(63)^37+E
(63)^40+E(63)^44-E(63)^55+E(63)^58-E(63)^59-E(63)^62,E(63)-E(63)^5+E(63)^8-E(
63)^10+E(63)^13-E(63)^17+E(63)^22-E(63)^23-E(63)^40+E(63)^41-E(63)^46+E(63)^50
-E(63)^53+E(63)^55-E(63)^58+E(63)^62,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0],
[GALOIS,[44,11]],
[GALOIS,[44,5]],[12285,-195,189,-3,0,-54,-3,-3,0,0,-6,-7,0,0,27,0,0,0,0,1,0,3
,0,2,0,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[
12285,189,-195,-3,27,0,-3,-3,0,3,0,0,-7,0,0,0,0,0,0,0,1,0,0,0,-1,0,0,0,E(63)^4
+E(63)^10-E(63)^13+E(63)^17-E(63)^19-E(63)^22-E(63)^26+E(63)^31+E(63)^32-E(63)
^37-E(63)^41-E(63)^44+E(63)^46-E(63)^50+E(63)^53+E(63)^59,-E(63)-E(63)^4+E(63)
^5-E(63)^8+E(63)^19+E(63)^23+E(63)^26-E(63)^31-E(63)^32+E(63)^37+E(63)^40+E(63
)^44-E(63)^55+E(63)^58-E(63)^59-E(63)^62,E(63)-E(63)^5+E(63)^8-E(63)^10+E(63)^
13-E(63)^17+E(63)^22-E(63)^23-E(63)^40+E(63)^41-E(63)^46+E(63)^50-E(63)^53+E(
63)^55-E(63)^58+E(63)^62,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[48,11]],
[GALOIS,[48,5]],[12285,189,-195,-3,-54,0,-3,-3,0,-6,0,0,-7,0,0,27,0,0,0,0,1,0
,3,0,2,0,0,0,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[
4096,0,0,0,-8,-8,0,0,1,0,0,8,8,1,-8,-8,1,1,1,0,0,0,0,-1,-1,-1,-1,-1,-1,-1,-1,1
,1,1,1,16,16,0,0,0,0,0,0,-2,-2,-2,-2,0,0,0,0,1,1,0,0,0,0],
[TENSOR,[52,2]],
[TENSOR,[52,3]],[14040,216,24,24,-27,0,0,0,0,-3,0,-9,19,-2,0,-27,0,0,0,-1,3,0
,-3,0,1,0,0,0,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[
14040,24,216,24,0,-27,0,0,0,0,-3,19,-9,-2,-27,0,0,0,0,3,-1,-3,0,1,0,1,1,1,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[15795,243,243,51,0,0,3
,3,0,0,0,-18,-18,3,0,0,0,0,0,-2,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0]],
[(32,33,34,35),(36,37)(38,39)(40,41)(42,43)(44,45)(46,47)(48,49)(50,51)(52,53)
(54,55)(56,57),(29,30,31),(26,27,28),(2,3)(5,6)(10,11)(12,13)(15,16)(17,18)(20
,21)(22,23)(24,25)(26,29)(27,30)(28,31)(38,40)(39,41)(44,46)(45,47)(54,56)(55,
57)]);
ALF("S4(8).3","S12(2)",[1,5,7,10,13,14,49,50,52,87,90,102,103,103,140,143,
143,142,253,257,258,280,288,307,309,445,445,445,446,447,448,449,450,451,
452,16,16,95,95,100,100,101,101,143,143,144,144,251,251,252,252,268,268,
288,288,287,287],[
"fusion map is unique up to table automorphisms"
]);
ALN("S4(8).3",["O5(8).3","S12(2)M14"]);
MOT("S4(7).2",
[
"origin: Dixon's Algorithm,\n",
"constructions: Aut(S4(7))"
],
[276595200,225792,5376,2016,2016,2688,2688,128,50,2016,96,72,115248,5488,4116,
49,2688,2688,96,96,64,48,48,2352,196,196,112,42,42,48,48,48,48,50,50,50,50,50,
56,56,42,56,56,235200,4032,96,2016,96,72,36,2688,2688,128,128,64,64,50,48,196,
196,84,48,48,48,48,42,48,48,48,48,50,50,50,50,50,56,56],
[,[1,1,1,4,5,3,2,3,9,5,4,4,13,14,15,16,7,7,6,6,7,11,10,13,14,15,14,28,29,22,22
,23,23,35,36,37,38,34,24,27,28,39,39,1,1,3,4,4,4,5,6,6,6,6,8,8,9,11,14,15,15,
18,17,22,22,29,33,32,32,33,35,37,34,36,38,40,40],[1,2,3,1,1,6,7,8,9,2,3,2,13,
14,15,16,18,17,20,19,21,6,7,24,25,26,27,13,15,19,20,17,18,36,37,38,34,35,39,40
,24,43,42,44,45,46,45,44,45,45,52,51,54,53,56,55,57,46,59,60,61,63,62,51,52,61
,62,63,63,62,72,73,74,75,71,77,76],,[1,2,3,4,5,6,7,8,1,10,11,12,13,14,15,16,18
,17,20,19,21,22,23,24,25,26,27,28,29,31,30,33,32,9,9,9,9,9,39,40,41,43,42,44,
45,46,47,48,49,50,52,51,54,53,56,55,44,58,59,60,61,63,62,65,64,66,68,70,67,69,
57,57,57,57,57,77,76],,[1,2,3,4,5,6,7,8,9,10,11,12,1,1,1,1,17,18,19,20,21,22,
23,2,2,2,3,5,4,30,31,32,33,34,35,36,37,38,7,6,10,18,17,44,45,46,47,48,49,50,51
,52,53,54,55,56,57,58,44,44,45,62,63,64,65,47,67,68,69,70,71,72,73,74,75,52,51
]],
[[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,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,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,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,-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],[50,-14,2,2,8,2,-6,2,0,-8,2,-2,1,-6,8,1,6,6
,-2,-2,-2,2,0,-7,0,0,2,1,2,-2,-2,0,0,0,0,0,0,0,1,2,-1,-1,-1,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[126,-18,6,0,0,6,6,-2,1,0,0
,0,-21,7,0,0,6,6,0,0,-2,0,0,3,3,-4,-1,0,0,0,0,0,0,1,1,1,1,1,-1,-1,0,-1,-1,24,0
,0,0,0,0,0,-6,-6,2,2,2,2,-1,0,3,-4,0,0,0,0,0,0,0,0,0,0,-1,-1,-1,-1,-1,1,1],
[TENSOR,[4,2]],[300,12,12,0,6,-12,4,4,0,6,0,0,-43,6,6,-1,8,8,0,0,0,0,-2,5,-2,
-2,-2,-1,0,0,0,2,2,0,0,0,0,0,-3,2,-1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[175,-17,-1,7,1,-1,7,-1,0,1,-1,1,28,7,0,0,7,7,
-1,-1,-1,-1,1,4,-3,4,-1,1,0,-1,-1,1,1,0,0,0,0,0,0,-1,1,0,0,-25,7,-1,7,-1,1,1,
-1,-1,-1,-1,-1,-1,0,-1,3,-4,0,1,1,-1,-1,0,1,1,1,1,0,0,0,0,0,-1,-1],
[TENSOR,[7,2]],[175,31,7,1,7,7,-1,-1,0,7,1,1,-21,0,7,0,-1,-1,1,1,-1,1,-1,3,-4
,3,0,0,1,1,1,-1,-1,0,0,0,0,0,-1,0,0,-1,-1,-25,-1,-1,-1,-1,-1,-1,-7,-7,1,1,1,1,
0,-1,-4,3,-1,1,1,-1,-1,-1,1,1,1,1,0,0,0,0,0,0,0],
[TENSOR,[9,2]],[224,32,0,8,8,0,0,0,-1,8,0,2,28,0,7,0,0,0,0,0,0,0,0,4,4,-3,0,1
,1,0,0,0,0,-1,-1,-1,-1,-1,0,0,1,0,0,-24,-8,0,-8,0,-2,-2,0,0,0,0,0,0,1,0,4,-3,
-1,0,0,0,0,-1,0,0,0,0,1,1,1,1,1,0,0],
[TENSOR,[11,2]],[300,12,-12,0,6,0,8,0,0,6,0,0,-43,6,6,-1,6,6,0,0,2,0,2,5,-2,
-2,2,-1,0,0,0,0,0,0,0,0,0,0,1,0,-1,-1,-1,0,0,0,0,0,0,0,-6*E(8)+6*E(8)^3,
6*E(8)-6*E(8)^3,-2*E(8)+2*E(8)^3,2*E(8)-2*E(8)^3,0,0,0,0,0,0,0,-E(8)+E(8)^3,
E(8)-E(8)^3,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,
-E(8)+E(8)^3,E(8)-E(8)^3],
[TENSOR,[13,2]],[300,-36,4,6,0,8,-12,0,0,0,-2,0,6,13,-1,-1,0,0,0,0,0,2,0,6,-1
,-1,-3,0,-1,0,0,0,0,0,0,0,0,0,2,1,0,0,0,50,-6,-2,-6,2,0,0,-6,-6,2,2,-2,-2,0,-2
,1,1,1,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,1],
[TENSOR,[15,2]],[300,36,8,6,0,6,0,2,0,0,2,0,6,13,-1,-1,6*E(8)-6*E(8)^3,
-6*E(8)+6*E(8)^3,-E(8)+E(8)^3,E(8)-E(8)^3,0,0,0,-6,1,1,1,0,-1,E(8)-E(8)^3,
-E(8)+E(8)^3,0,0,0,0,0,0,0,0,-1,0,E(8)-E(8)^3,-E(8)+E(8)^3,50,6,0,6,2,0,0,
6+E(8)-E(8)^3,6-E(8)+E(8)^3,2+E(8)-E(8)^3,2-E(8)+E(8)^3,-E(8)+E(8)^3,
E(8)-E(8)^3,0,0,1,1,-1,0,0,-E(8)+E(8)^3,E(8)-E(8)^3,-1,0,0,0,0,0,0,0,0,0,
-1-E(8)+E(8)^3,-1+E(8)-E(8)^3],
[TENSOR,[17,2]],
[GALOIS,[17,3]],
[TENSOR,[19,2]],[350,-50,6,8,8,6,6,-2,0,-8,0,-2,7,7,7,0,-6,-6,0,0,2,0,0,-1,-1
,-1,-1,1,1,0,0,0,0,0,0,0,0,0,-1,-1,-1,1,1,-50,6,-2,6,-2,0,0,8,8,0,0,0,0,0,-2,
-1,-1,-1,0,0,2,2,-1,0,0,0,0,0,0,0,0,0,1,1],
[TENSOR,[21,2]],[400,16,0,-8,7,0,8,0,0,7,0,-2,57,8,8,1,8,8,0,0,0,0,-1,9,2,2,0
,0,-1,0,0,-1,-1,0,0,0,0,0,1,0,0,1,1,0,-16,0,8,0,2,-1,0,0,0,0,0,0,0,0,0,0,-2,-2
,-2,0,0,1,1,1,1,1,0,0,0,0,0,0,0],
[TENSOR,[23,2]],[400,-64,8,7,-8,8,0,0,0,8,-1,-1,8,1,15,1,0,0,-2,-2,0,-1,0,-8,
-1,-1,1,-1,0,1,1,0,0,0,0,0,0,0,0,1,1,0,0,50,-6,2,-9,-1,3,0,-8,-8,0,0,0,0,0,-1,
1,1,1,0,0,1,1,-2,0,0,0,0,0,0,0,0,0,-1,-1],
[TENSOR,[25,2]],[400,64,8,7,-8,8,0,0,0,-8,-1,1,8,1,15,1,0,0,2,2,0,-1,0,8,1,1,
1,-1,0,-1,-1,0,0,0,0,0,0,0,0,1,-1,0,0,50,10,2,7,-1,1,-2,8,8,0,0,0,0,0,-1,1,1,3
,0,0,-1,-1,0,0,0,0,0,0,0,0,0,0,1,1],
[TENSOR,[27,2]],[1800,72,24,0,0,0,0,0,0,0,0,0,36,-20,-6,1,12,12,0,0,4,0,0,-12
,2,2,-4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-2,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[2100,84,-12,0,6,12,-20,-4,0,6,0,0,-7,-14,0,0
,8,8,0,0,0,0,-2,-7,0,0,2,-1,0,0,0,2,2,0,0,0,0,0,1,-2,-1,1,1,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[2400,96,0,0,-6,0,-16,0,0,
-6,0,0,-50,-8,6,-1,16,16,0,0,0,0,2,-2,-2,-2,0,1,0,0,0,-2,-2,0,0,0,0,0,-2,0,1,2
,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[2400,
-96,0,0,12,0,0,0,0,-12,0,0,-50,-8,6,-1,-8*E(8)+8*E(8)^3,8*E(8)-8*E(8)^3,0,0,0,
0,0,2,2,2,0,-2,0,0,0,2*E(8)-2*E(8)^3,-2*E(8)+2*E(8)^3,0,0,0,0,0,0,0,2,
E(8)-E(8)^3,-E(8)+E(8)^3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0],
[GALOIS,[32,3]],[2450,-14,-14,14,8,-14,-6,2,0,-8,-2,-2,49,0,0,0,6,6,2,2,-2,-2
,0,-7,0,0,0,1,0,2,2,0,0,0,0,0,0,0,1,0,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[3200,-128,0,-16,8,0,0,0,0,-8,0,4,64,8,
22,1,0,0,0,0,0,0,0,-16,-2,-2,0,1,-2,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1800,-72,0,0,0,12,0,4
,0,0,0,0,36,-20,-6,1,0,0,0,0,0,0,0,12,-2,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,-2,0,0,0
,0,0,0,0,0,0,0,6*E(8)-6*E(8)^3,-6*E(8)+6*E(8)^3,-2*E(8)+2*E(8)^3,
2*E(8)-2*E(8)^3,-2*E(8)+2*E(8)^3,2*E(8)-2*E(8)^3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,E(8)-E(8)^3,-E(8)+E(8)^3],
[TENSOR,[36,2]],[2100,84,12,0,6,0,8,0,0,6,0,0,-7,-14,0,0,-6,-6,0,0,-2,0,2,-7,
0,0,-2,-1,0,0,0,0,0,0,0,0,0,0,1,0,-1,1,1,0,0,0,0,0,0,0,-6*E(8)+6*E(8)^3,
6*E(8)-6*E(8)^3,-2*E(8)+2*E(8)^3,2*E(8)-2*E(8)^3,0,0,0,0,0,0,0,E(8)-E(8)^3,
-E(8)+E(8)^3,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
,-E(8)+E(8)^3,E(8)-E(8)^3],
[TENSOR,[38,2]],[2100,36,-20,6,0,8,12,0,0,0,-2,0,42,-7,-7,0,0,0,0,0,0,2,0,-6,
1,1,1,0,-1,0,0,0,0,0,0,0,0,0,-2,1,0,0,0,50,-6,-2,-6,2,0,0,6,6,-2,-2,2,2,0,-2,1
,1,1,0,0,0,0,1,0,0,0,0,0,0,0,0,0,-1,-1],
[TENSOR,[40,2]],[2100,-36,8,6,0,-6,0,-2,0,0,2,0,42,-7,-7,0,-6*E(8)+6*E(8)^3,
6*E(8)-6*E(8)^3,-E(8)+E(8)^3,E(8)-E(8)^3,0,0,0,6,-1,-1,1,0,-1,E(8)-E(8)^3,
-E(8)+E(8)^3,0,0,0,0,0,0,0,0,1,0,-E(8)+E(8)^3,E(8)-E(8)^3,50,6,0,6,2,0,0,
-6+7*E(8)-7*E(8)^3,-6-7*E(8)+7*E(8)^3,-2-E(8)+E(8)^3,-2+E(8)-E(8)^3,
E(8)-E(8)^3,-E(8)+E(8)^3,0,0,1,1,-1,0,0,-E(8)+E(8)^3,E(8)-E(8)^3,-1,0,0,0,0,0,
0,0,0,0,1,1],
[TENSOR,[42,2]],
[GALOIS,[42,3]],
[TENSOR,[44,2]],[2304,0,0,0,0,0,0,0,4,0,0,0,-48,8,-6,1,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,-1,-1,-1,-1,-1,0,0,0,0,0,96,0,0,0,0,0,0,0,0,0,0,0,0,-4,0,-2,-2,0,0
,0,0,0,0,0,0,0,0,1,1,1,1,1,0,0],
[TENSOR,[46,2]],[2304,0,0,0,0,0,0,0,-1,0,0,0,-48,8,-6,1,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,
-E(25)^3-E(25)^7-E(25)^8+E(25)^11-E(25)^12-E(25)^13+E(25)^14-E(25)^17-E(25)^18
-E(25)^22
,E(25)^3+E(25)^4+E(25)^21+E(25)^22,E(25)^6+E(25)^8+E(25)^17+E(25)^19,
E(25)^9+E(25)^12+E(25)^13+E(25)^16,
-E(25)^4-E(25)^6+E(25)^7-E(25)^9-E(25)^11-E(25)^14-E(25)^16+E(25)^18-E(25)^19
-E(25)^21
,0,0,0,0,0,96,0,0,0,0,0,0,0,0,0,0,0,0,1,0,-2,-2,0,0,0,0,0,0,0,0,0,0,
E(25)^3+E(25)^7+E(25)^8-E(25)^11+E(25)^12+E(25)^13-E(25)^14+E(25)^17+E(25)^18
+E(25)^22
,-E(25)^6-E(25)^8-E(25)^17-E(25)^19,
E(25)^4+E(25)^6-E(25)^7+E(25)^9+E(25)^11+E(25)^14+E(25)^16-E(25)^18+E(25)^19
+E(25)^21
,-E(25)^3-E(25)^4-E(25)^21-E(25)^22,-E(25)^9-E(25)^12-E(25)^13-E(25)^16,0,0],
[TENSOR,[48,2]],
[GALOIS,[48,9]],
[TENSOR,[50,2]],
[GALOIS,[48,6]],
[TENSOR,[52,2]],
[GALOIS,[48,3]],
[TENSOR,[54,2]],
[GALOIS,[48,2]],
[TENSOR,[56,2]],[2400,96,0,0,-6,0,16,0,0,-6,0,0,-50,-8,6,-1,0,0,0,0,0,0,-2,-2
,-2,-2,0,1,0,0,0,0,0,0,0,0,0,0,2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
-2*E(8)+2*E(8)^3,2*E(8)-2*E(8)^3,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],
[TENSOR,[58,2]],[2400,0,-16,-6,0,16,0,0,0,0,2,0,48,6,-8,-1,0,0,0,0,0,-2,0,0,0
,0,-2,0,1,0,0,0,0,0,0,0,0,0,0,2,0,0,0,100,-12,-4,6,-2,0,0,0,0,0,0,0,0,0,2,2,2,
2,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0],
[TENSOR,[60,2]],[2400,-96,0,0,-6,0,0,0,0,6,0,0,-50,-8,6,-1,-8*E(8)+8*E(8)^3,
8*E(8)-8*E(8)^3,0,0,0,0,0,2,2,2,0,1,0,0,0,-E(8)+E(8)^3,E(8)-E(8)^3,0,0,0,0,0,0
,0,-1,E(8)-E(8)^3,-E(8)+E(8)^3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
-E(48)^5+E(48)^19-E(48)^35+E(48)^37,-E(48)^25-E(48)^31+E(48)^41+E(48)^47,
E(48)^25+E(48)^31-E(48)^41-E(48)^47,E(48)^5-E(48)^19+E(48)^35-E(48)^37,0,0,0,0
,0,0,0],
[TENSOR,[62,2]],
[GALOIS,[62,5]],
[TENSOR,[64,2]],[2400,0,16,-6,0,0,0,0,0,0,-2,0,48,6,-8,-1,0,0,
-2*E(8)+2*E(8)^3,2*E(8)-2*E(8)^3,0,0,0,0,0,0,2,0,1,-E(8)+E(8)^3,E(8)-E(8)^3,0,
0,0,0,0,0,0,0,0,0,0,0,-100,-12,0,6,2,0,0,-8*E(8)+8*E(8)^3,8*E(8)-8*E(8)^3,0,0,
0,0,0,0,-2,-2,2,0,0,-E(8)+E(8)^3,E(8)-E(8)^3,-1,0,0,0,0,0,0,0,0,0,E(8)-E(8)^3,
-E(8)+E(8)^3],
[TENSOR,[66,2]],
[GALOIS,[66,3]],
[TENSOR,[68,2]],[2401,49,-7,7,7,-7,-7,1,1,7,-1,1,0,0,0,0,-7,-7,-1,-1,1,-1,-1,
0,0,0,0,0,0,-1,-1,-1,-1,1,1,1,1,1,0,0,0,0,0,49,-7,1,-7,1,-1,-1,7,7,-1,-1,-1,-1
,-1,1,0,0,0,1,1,1,1,0,1,1,1,1,-1,-1,-1,-1,-1,0,0],
[TENSOR,[70,2]],[2800,112,0,-8,1,0,-8,0,0,1,0,-2,7,0,14,0,-8,-8,0,0,0,0,1,7,0
,0,0,1,-1,0,0,1,1,0,0,0,0,0,-1,0,1,-1,-1,0,-16,0,8,0,2,-1,0,0,0,0,0,0,0,0,0,0,
-2,2,2,0,0,1,-1,-1,-1,-1,0,0,0,0,0,0,0],
[TENSOR,[72,2]],[2800,-64,-8,1,-8,-8,0,0,0,8,1,-1,56,7,7,0,0,0,2,2,0,1,0,-8,
-1,-1,-1,-1,1,-1,-1,0,0,0,0,0,0,0,0,-1,1,0,0,50,-6,2,15,-1,-3,0,-8,-8,0,0,0,0,
0,-1,1,1,1,0,0,1,1,1,0,0,0,0,0,0,0,0,0,-1,-1],
[TENSOR,[74,2]],[2800,64,-8,1,-8,-8,0,0,0,-8,1,1,56,7,7,0,0,0,-2,-2,0,1,0,8,1
,1,-1,-1,1,1,1,0,0,0,0,0,0,0,0,-1,-1,0,0,-50,22,-2,1,1,1,-2,-8,-8,0,0,0,0,0,1,
-1,-1,1,0,0,1,1,1,0,0,0,0,0,0,0,0,0,-1,-1],
[TENSOR,[76,2]]],
[
(17,18)(19,20)(30,31)(32,33)(42,43)(51,52)(53,54)(55,56)(62,63)(64,65)
(67,68,70,69)(76,77)
,(67,70)(68,69),(34,35,36,37,38)(71,74,72,75,73)]);
ALN("S4(7).2",["O5(7).2"]);
MOT("S4(9)",
[
"origin: computed using Dixon's algorithm and character theoretic methods,\n",
"Thomas Breuer, Aug. 23rd, 2004"
],
[1721606400,518400,5760,524880,524880,7290,5832,2880,2880,64,3600,3600,3600,
3600,50,6480,6480,324,324,162,72,2880,2880,80,80,32,81,81,3600,3600,100,100,80
,80,50,72,72,36,90,90,90,90,45,45,40,40,40,40,72,72,72,72,90,90,90,90,40,40,40
,40,40,40,40,40,41,41,41,41,41,41,41,41,41,41],
[,[1,1,1,4,5,6,7,2,3,3,12,11,14,13,15,4,5,7,7,6,7,8,8,9,9,8,27,28,11,12,13,14,
14,13,15,16,17,21,40,39,42,41,44,43,29,30,33,34,36,36,37,37,40,39,42,41,45,46,
45,46,48,47,48,47,71,72,73,74,65,66,67,68,69,70],[1,2,3,1,1,1,1,8,9,10,12,11,
14,13,15,2,2,2,2,2,3,23,22,25,24,26,4,5,30,29,32,31,34,33,35,8,8,9,12,11,12,11
,14,13,46,45,48,47,23,22,23,22,29,30,29,30,58,57,60,59,62,61,64,63,70,71,72,73
,74,65,66,67,68,69],,[1,2,3,4,5,6,7,8,9,10,1,1,1,1,1,16,17,18,19,20,21,23,22,
25,24,26,27,28,2,2,2,2,3,3,2,36,37,38,5,5,4,4,6,6,8,8,9,9,50,49,52,51,17,17,16
,16,23,22,22,23,24,25,25,24,67,68,69,70,71,72,73,74,65,66],,,,,,,,,,,,,,,,,,,,
,,,,,,,,,,,,,,,,[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,
24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,
50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,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,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,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],[41,9
,1,14,-13,-4,5,5,1,1,-4,-4,1,1,1,6,3,3,-3,0,1,-5,-5,-1,-1,-1,2,-1,4,4,-1,-1,1,
1,-1,2,-1,1,2,2,-1,-1,1,1,0,0,1,1,-2,-2,1,1,-2,-2,1,1,0,0,0,0,-1,-1,-1,-1,0,0,
0,0,0,0,0,0,0,0],[41,9,1,-13,14,-4,5,5,1,1,-4,-4,1,1,1,3,6,-3,3,0,1,-5,-5,-1,
-1,-1,-1,2,4,4,-1,-1,1,1,-1,-1,2,1,-1,-1,2,2,1,1,0,0,1,1,1,1,-2,-2,1,1,-2,-2,0
,0,0,0,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0],[288,-32,0,-36,-36,9,0,0,0,0,8,8,8,8,
-2,4,4,4,4,-5,0,0,0,0,0,0,0,0,8,8,-2,-2,0,0,-2,0,0,0,-1,-1,-1,-1,-1,-1,0,0,0,0
,0,0,0,0,-1,-1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,1,1],[369,-31,9,45,45,9,0
,1,9,1,9,9,-1,-1,-1,5,5,-4,-4,5,0,1,1,-1,-1,1,0,0,9,9,-1,-1,-1,-1,-1,1,1,0,0,0
,0,0,-1,-1,1,1,-1,-1,1,1,1,1,0,0,0,0,1,1,1,1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0],
[369,49,1,-36,-36,0,9,9,1,1,-1,-1,9,9,-1,4,4,-5,-5,4,1,9,9,1,1,1,0,0,-1,-1,-1,
-1,1,1,-1,0,0,1,-1,-1,-1,-1,0,0,-1,-1,1,1,0,0,0,0,-1,-1,-1,-1,-1,-1,-1,-1,1,1,
1,1,0,0,0,0,0,0,0,0,0,0],[410,10,10,32,59,5,5,6,-10,-2,5,5,0,0,0,-8,19,1,1,1,1
,4,4,0,0,0,-1,2,5,5,0,0,0,0,0,0,3,-1,-1,-1,2,2,0,0,1,1,0,0,-2,-2,1,1,-1,-1,2,2
,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[410,10,10,59,32,5,5,6,-10,-2,5,5,0,
0,0,19,-8,1,1,1,1,4,4,0,0,0,2,-1,5,5,0,0,0,0,0,3,0,-1,2,2,-1,-1,0,0,1,1,0,0,1,
1,-2,-2,2,2,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[450,50,10,45,45,0,
9,10,10,2,0,0,0,0,0,5,5,5,5,-4,1,10,10,0,0,2,0,0,0,0,0,0,0,0,0,1,1,1,0,0,0,0,0
,0,0,0,0,0,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1],[656
,16,0,-73,-73,8,8,8,0,0,-8*E(5)-9*E(5)^2-9*E(5)^3-8*E(5)^4,
-9*E(5)-8*E(5)^2-8*E(5)^3-9*E(5)^4,8*E(5)^2+8*E(5)^3,8*E(5)+8*E(5)^4,1,7,7,-2,
-2,-2,0,8,8,0,0,0,-1,-1,-9*E(5)-8*E(5)^2-8*E(5)^3-9*E(5)^4,
-8*E(5)-9*E(5)^2-9*E(5)^3-8*E(5)^4,-2*E(5)-2*E(5)^4,-2*E(5)^2-2*E(5)^3,0,0,1,
-1,-1,0,E(5)+E(5)^4,E(5)^2+E(5)^3,E(5)+E(5)^4,E(5)^2+E(5)^3,-E(5)^2-E(5)^3,
-E(5)-E(5)^4,-E(5)^2-E(5)^3,-E(5)-E(5)^4,0,0,-1,-1,-1,-1,E(5)+E(5)^4,
E(5)^2+E(5)^3,E(5)+E(5)^4,E(5)^2+E(5)^3,-E(5)-E(5)^4,-E(5)^2-E(5)^3,
-E(5)-E(5)^4,-E(5)^2-E(5)^3,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[10,2]],[656,64,8,8,8,17,-1,0,8,0,8*E(5)+8*E(5)^4,8*E(5)^2+8*E(5)^3,
-8*E(5)-9*E(5)^2-9*E(5)^3-8*E(5)^4,-9*E(5)-8*E(5)^2-8*E(5)^3-9*E(5)^4,1,-8,-8,
1,1,1,-1,0,0,2,2,0,-1,-1,-8*E(5)^2-8*E(5)^3,-8*E(5)-8*E(5)^4,
-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,-E(5)^2-E(5)^3,
-E(5)-E(5)^4,-1,0,0,-1,-E(5)-E(5)^4,-E(5)^2-E(5)^3,-E(5)-E(5)^4,-E(5)^2-E(5)^3
,E(5)+E(5)^4,E(5)^2+E(5)^3,0,0,-E(5)-E(5)^4,-E(5)^2-E(5)^3,0,0,0,0,E(5)+E(5)^4
,E(5)^2+E(5)^3,E(5)+E(5)^4,E(5)^2+E(5)^3,0,0,0,0,E(5)+E(5)^4,E(5)^2+E(5)^3,
E(5)+E(5)^4,E(5)^2+E(5)^3,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[12,2]],[656,-64,8,8,8,17,-1,0,8,0,8*E(5)+8*E(5)^4,8*E(5)^2+8*E(5)^3,
-8*E(5)-9*E(5)^2-9*E(5)^3-8*E(5)^4,-9*E(5)-8*E(5)^2-8*E(5)^3-9*E(5)^4,1,8,8,-1
,-1,-1,-1,0,0,-2,-2,0,-1,-1,8*E(5)^2+8*E(5)^3,8*E(5)+8*E(5)^4,
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,-E(5)^2-E(5)^3,
-E(5)-E(5)^4,1,0,0,-1,-E(5)-E(5)^4,-E(5)^2-E(5)^3,-E(5)-E(5)^4,-E(5)^2-E(5)^3,
E(5)+E(5)^4,E(5)^2+E(5)^3,0,0,-E(5)-E(5)^4,-E(5)^2-E(5)^3,0,0,0,0,-E(5)-E(5)^4
,-E(5)^2-E(5)^3,-E(5)-E(5)^4,-E(5)^2-E(5)^3,0,0,0,0,-E(5)-E(5)^4,
-E(5)^2-E(5)^3,-E(5)-E(5)^4,-E(5)^2-E(5)^3,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[14,2]],[738,82,10,9,9,9,9,10,10,2,8,8,8,8,-2,1,1,1,1,1,1,-10,-10,0,0
,-2,0,0,-8,-8,2,2,0,0,2,1,1,1,-1,-1,-1,-1,-1,-1,0,0,0,0,-1,-1,-1,-1,1,1,1,1,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[820,20,-20,91,91,10,10,8,0,0,10,10,0,0,0,
11,11,2,2,2,-2,10,10,0,0,-2,1,1,10,10,0,0,0,0,0,-1,-1,0,1,1,1,1,0,0,-2,-2,0,0,
1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[820,100,12,10,10,1,19,
-20,8,0,0,0,10,10,0,10,10,1,1,1,3,0,0,0,0,0,1,1,0,0,0,0,2,2,0,-2,-2,-1,0,0,0,0
,1,1,0,0,-2,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[820,-100,
8,10,10,1,19,0,10,-2,0,0,10,10,0,-10,-10,-1,-1,-1,-1,10*E(8)-10*E(8)^3,
-10*E(8)+10*E(8)^3,E(8)-E(8)^3,-E(8)+E(8)^3,0,1,1,0,0,0,0,-2,-2,0,0,0,1,0,0,0,
0,1,1,0,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,-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,0],
[GALOIS,[19,3]],[2624,-64,0,140,-76,-13,-4,0,0,0,
4*E(5)+8*E(5)^2+8*E(5)^3+4*E(5)^4,8*E(5)+4*E(5)^2+4*E(5)^3+8*E(5)^4,
-8*E(5)-8*E(5)^4,-8*E(5)^2-8*E(5)^3,-1,20,-4,-4,2,-1,0,0,0,0,0,0,-1,2,
-8*E(5)-4*E(5)^2-4*E(5)^3-8*E(5)^4,-4*E(5)-8*E(5)^2-8*E(5)^3-4*E(5)^4,
-2*E(5)^2-2*E(5)^3,-2*E(5)-2*E(5)^4,0,0,1,0,0,0,-2*E(5)-E(5)^2-E(5)^3-2*E(5)^4
,-E(5)-2*E(5)^2-2*E(5)^3-E(5)^4,E(5)-E(5)^2-E(5)^3+E(5)^4,
-E(5)+E(5)^2+E(5)^3-E(5)^4,E(5)+E(5)^4,E(5)^2+E(5)^3,0,0,0,0,0,0,0,0,
2*E(5)+E(5)^2+E(5)^3+2*E(5)^4,E(5)+2*E(5)^2+2*E(5)^3+E(5)^4,
-E(5)+E(5)^2+E(5)^3-E(5)^4,E(5)-E(5)^2-E(5)^3+E(5)^4,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0],
[GALOIS,[21,2]],[2624,-64,0,-76,140,-13,-4,0,0,0,
4*E(5)+8*E(5)^2+8*E(5)^3+4*E(5)^4,8*E(5)+4*E(5)^2+4*E(5)^3+8*E(5)^4,
-8*E(5)-8*E(5)^4,-8*E(5)^2-8*E(5)^3,-1,-4,20,2,-4,-1,0,0,0,0,0,0,2,-1,
-8*E(5)-4*E(5)^2-4*E(5)^3-8*E(5)^4,-4*E(5)-8*E(5)^2-8*E(5)^3-4*E(5)^4,
-2*E(5)^2-2*E(5)^3,-2*E(5)-2*E(5)^4,0,0,1,0,0,0,E(5)-E(5)^2-E(5)^3+E(5)^4,
-E(5)+E(5)^2+E(5)^3-E(5)^4,-2*E(5)-E(5)^2-E(5)^3-2*E(5)^4,
-E(5)-2*E(5)^2-2*E(5)^3-E(5)^4,E(5)+E(5)^4,E(5)^2+E(5)^3,0,0,0,0,0,0,0,0,
-E(5)+E(5)^2+E(5)^3-E(5)^4,E(5)-E(5)^2-E(5)^3+E(5)^4,
2*E(5)+E(5)^2+E(5)^3+2*E(5)^4,E(5)+2*E(5)^2+2*E(5)^3+E(5)^4,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0],
[GALOIS,[23,2]],[3280,80,0,-149,67,-5,4,8,0,0,-5*E(5)-5*E(5)^4,
-5*E(5)^2-5*E(5)^3,0,0,0,11,-13,-4,2,-1,0,-8,-8,0,0,0,1,-2,-5*E(5)^2-5*E(5)^3,
-5*E(5)-5*E(5)^4,0,0,0,0,0,-1,-1,0,E(5)+E(5)^4,E(5)^2+E(5)^3,-2*E(5)-2*E(5)^4,
-2*E(5)^2-2*E(5)^3,0,0,-E(5)-E(5)^4,-E(5)^2-E(5)^3,0,0,1,1,1,1,E(5)+E(5)^4,
E(5)^2+E(5)^3,-2*E(5)-2*E(5)^4,-2*E(5)^2-2*E(5)^3,E(5)^2+E(5)^3,E(5)+E(5)^4,
E(5)^2+E(5)^3,E(5)+E(5)^4,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[25,2]],[3280,80,0,67,-149,-5,4,8,0,0,-5*E(5)-5*E(5)^4,
-5*E(5)^2-5*E(5)^3,0,0,0,-13,11,2,-4,-1,0,-8,-8,0,0,0,-2,1,-5*E(5)^2-5*E(5)^3,
-5*E(5)-5*E(5)^4,0,0,0,0,0,-1,-1,0,-2*E(5)-2*E(5)^4,-2*E(5)^2-2*E(5)^3,
E(5)+E(5)^4,E(5)^2+E(5)^3,0,0,-E(5)-E(5)^4,-E(5)^2-E(5)^3,0,0,1,1,1,1,
-2*E(5)-2*E(5)^4,-2*E(5)^2-2*E(5)^3,E(5)+E(5)^4,E(5)^2+E(5)^3,E(5)^2+E(5)^3,
E(5)+E(5)^4,E(5)^2+E(5)^3,E(5)+E(5)^4,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[27,2]],[3280,-80,0,94,-176,-5,4,0,0,0,-10,-10,0,0,0,-14,16,-2,4,1,0,
4*E(8)-4*E(8)^3,-4*E(8)+4*E(8)^3,0,0,0,1,-2,10,10,0,0,0,0,0,0,0,0,-1,-1,-1,-1,
0,0,0,0,0,0,E(8)-E(8)^3,-E(8)+E(8)^3,-2*E(8)+2*E(8)^3,2*E(8)-2*E(8)^3,1,1,1,1,
-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,0,0,0,0,0]
,
[GALOIS,[29,3]],[3280,-80,0,-176,94,-5,4,0,0,0,-10,-10,0,0,0,16,-14,4,-2,1,0,
4*E(8)-4*E(8)^3,-4*E(8)+4*E(8)^3,0,0,0,-2,1,10,10,0,0,0,0,0,0,0,0,-1,-1,-1,-1,
0,0,0,0,0,0,-2*E(8)+2*E(8)^3,2*E(8)-2*E(8)^3,E(8)-E(8)^3,-E(8)+E(8)^3,1,1,1,1,
-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,0,0,0,0,0]
,
[GALOIS,[31,3]],[3321,9,9,162,-81,0,0,5,9,1,-4,-4,-9,-9,1,18,-9,0,0,0,0,-5,-5
,1,1,-1,0,0,4,4,-1,-1,-1,-1,-1,2,-1,0,-1,-1,2,2,0,0,0,0,-1,-1,-2,-2,1,1,1,1,-2
,-2,0,0,0,0,1,1,1,1,0,0,0,0,0,0,0,0,0,0],[3321,9,9,-81,162,0,0,5,9,1,-4,-4,-9,
-9,1,-9,18,0,0,0,0,-5,-5,1,1,-1,0,0,4,4,-1,-1,-1,-1,-1,-1,2,0,2,2,-1,-1,0,0,0,
0,-1,-1,1,1,-2,-2,-2,-2,1,1,0,0,0,0,1,1,1,1,0,0,0,0,0,0,0,0,0,0],[3690,90,10,
126,-117,0,9,14,-10,-2,-5,-5,0,0,0,6,3,3,-3,0,1,-4,-4,0,0,0,0,0,-5,-5,0,0,0,0,
0,2,-1,-1,-2,-2,1,1,0,0,-1,-1,0,0,2,2,-1,-1,-2,-2,1,1,1,1,1,1,0,0,0,0,0,0,0,0,
0,0,0,0,0,0],[3690,90,10,-117,126,0,9,14,-10,-2,-5,-5,0,0,0,3,6,-3,3,0,1,-4,-4
,0,0,0,0,0,-5,-5,0,0,0,0,0,-1,2,-1,1,1,-2,-2,0,0,-1,-1,0,0,-1,-1,2,2,1,1,-2,-2
,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[4100,100,-20,185,-85,5,14,0,0,0,0,0,0,0
,0,25,-5,4,-2,1,-2,-10,-10,0,0,2,2,-1,0,0,0,0,0,0,0,-3,3,0,0,0,0,0,0,0,0,0,0,0
,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[4100,100,-20,-85,
185,5,14,0,0,0,0,0,0,0,0,-5,25,-2,4,1,-2,-10,-10,0,0,2,-1,2,0,0,0,0,0,0,0,3,-3
,0,0,0,0,0,0,0,0,0,0,0,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
],[5248,128,0,64,64,-26,-8,0,0,0,8,8,8,8,3,-16,-16,2,2,2,0,0,0,0,0,0,1,1,8,8,
-2,-2,0,0,3,0,0,0,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,-1,-1,-1,-1,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0],[5248,-128,0,64,64,-26,-8,0,0,0,8,8,8,8,3,16,16,-2,-2,
-2,0,0,0,0,0,0,1,1,-8,-8,2,2,0,0,-3,0,0,0,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,1,
1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[5904,144,0,-9,-9,-18,0,8,0,0,
8*E(5)-E(5)^2-E(5)^3+8*E(5)^4,-E(5)+8*E(5)^2+8*E(5)^3-E(5)^4,
-8*E(5)^2-8*E(5)^3,-8*E(5)-8*E(5)^4,-1,-9,-9,0,0,0,0,8,8,0,0,0,0,0,
-E(5)+8*E(5)^2+8*E(5)^3-E(5)^4,8*E(5)-E(5)^2-E(5)^3+8*E(5)^4,2*E(5)+2*E(5)^4,
2*E(5)^2+2*E(5)^3,0,0,-1,-1,-1,0,1,1,1,1,E(5)^2+E(5)^3,E(5)+E(5)^4,
-E(5)^2-E(5)^3,-E(5)-E(5)^4,0,0,-1,-1,-1,-1,1,1,1,1,-E(5)-E(5)^4,
-E(5)^2-E(5)^3,-E(5)-E(5)^4,-E(5)^2-E(5)^3,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[41,2]],[5904,64,8,72,72,-9,-9,0,8,0,-8*E(5)-8*E(5)^4,
-8*E(5)^2-8*E(5)^3,8*E(5)-E(5)^2-E(5)^3+8*E(5)^4,
-E(5)+8*E(5)^2+8*E(5)^3-E(5)^4,-1,-8,-8,1,1,1,-1,0,0,-2,-2,0,0,0,
-8*E(5)^2-8*E(5)^3,-8*E(5)-8*E(5)^4,-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,-E(5)^2-E(5)^3,-E(5)-E(5)^4,-1,0,0,-1,
E(5)+E(5)^4,E(5)^2+E(5)^3,E(5)+E(5)^4,E(5)^2+E(5)^3,1,1,0,0,-E(5)-E(5)^4,
-E(5)^2-E(5)^3,0,0,0,0,E(5)+E(5)^4,E(5)^2+E(5)^3,E(5)+E(5)^4,E(5)^2+E(5)^3,0,0
,0,0,-E(5)-E(5)^4,-E(5)^2-E(5)^3,-E(5)-E(5)^4,-E(5)^2-E(5)^3,0,0,0,0,0,0,0,0,0
,0],
[GALOIS,[43,2]],[5904,-64,8,72,72,-9,-9,0,8,0,-8*E(5)-8*E(5)^4,
-8*E(5)^2-8*E(5)^3,8*E(5)-E(5)^2-E(5)^3+8*E(5)^4,
-E(5)+8*E(5)^2+8*E(5)^3-E(5)^4,-1,8,8,-1,-1,-1,-1,0,0,2,2,0,0,0,
8*E(5)^2+8*E(5)^3,8*E(5)+8*E(5)^4,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,-E(5)^2-E(5)^3,-E(5)-E(5)^4,1,0,0,-1,E(5)+E(5)^4
,E(5)^2+E(5)^3,E(5)+E(5)^4,E(5)^2+E(5)^3,1,1,0,0,-E(5)-E(5)^4,-E(5)^2-E(5)^3,0
,0,0,0,-E(5)-E(5)^4,-E(5)^2-E(5)^3,-E(5)-E(5)^4,-E(5)^2-E(5)^3,0,0,0,0,
E(5)+E(5)^4,E(5)^2+E(5)^3,E(5)+E(5)^4,E(5)^2+E(5)^3,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[45,2]],[6400,0,0,-80,-80,10,-8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
E(41)+E(41)^9+E(41)^32+E(41)^40,E(41)^6+E(41)^13+E(41)^28+E(41)^35,
E(41)^4+E(41)^5+E(41)^36+E(41)^37,E(41)^11+E(41)^17+E(41)^24+E(41)^30,
E(41)^16+E(41)^20+E(41)^21+E(41)^25,E(41)^3+E(41)^14+E(41)^27+E(41)^38,
E(41)^2+E(41)^18+E(41)^23+E(41)^39,E(41)^12+E(41)^15+E(41)^26+E(41)^29,
E(41)^8+E(41)^10+E(41)^31+E(41)^33,E(41)^7+E(41)^19+E(41)^22+E(41)^34],
[GALOIS,[47,7]],
[GALOIS,[47,8]],
[GALOIS,[47,12]],
[GALOIS,[47,2]],
[GALOIS,[47,3]],
[GALOIS,[47,16]],
[GALOIS,[47,11]],
[GALOIS,[47,4]],
[GALOIS,[47,6]],[6560,160,0,-82,-82,-10,8,-16,0,0,-10*E(5)-10*E(5)^4,
-10*E(5)^2-10*E(5)^3,0,0,0,-2,-2,-2,-2,-2,0,0,0,0,0,0,-1,-1,
-10*E(5)^2-10*E(5)^3,-10*E(5)-10*E(5)^4,0,0,0,0,0,2,2,0,-E(5)-E(5)^4,
-E(5)^2-E(5)^3,-E(5)-E(5)^4,-E(5)^2-E(5)^3,0,0,2*E(5)+2*E(5)^4,
2*E(5)^2+2*E(5)^3,0,0,0,0,0,0,-E(5)-E(5)^4,-E(5)^2-E(5)^3,-E(5)-E(5)^4,
-E(5)^2-E(5)^3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[57,2]],[6560,-160,0,-82,-82,-10,8,0,0,0,-10*E(5)-10*E(5)^4,
-10*E(5)^2-10*E(5)^3,0,0,0,2,2,2,2,2,0,8*E(8)-8*E(8)^3,-8*E(8)+8*E(8)^3,0,0,0,
-1,-1,10*E(5)^2+10*E(5)^3,10*E(5)+10*E(5)^4,0,0,0,0,0,0,0,0,-E(5)-E(5)^4,
-E(5)^2-E(5)^3,-E(5)-E(5)^4,-E(5)^2-E(5)^3,0,0,0,0,0,0,-E(8)+E(8)^3,
E(8)-E(8)^3,-E(8)+E(8)^3,E(8)-E(8)^3,E(5)+E(5)^4,E(5)^2+E(5)^3,E(5)+E(5)^4,
E(5)^2+E(5)^3,-E(40)^21-E(40)^29+E(40)^31+E(40)^39,
-E(40)^7+E(40)^13-E(40)^23+E(40)^37,E(40)^21+E(40)^29-E(40)^31-E(40)^39,
E(40)^7-E(40)^13+E(40)^23-E(40)^37,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[59,3]],
[GALOIS,[59,11]],
[GALOIS,[59,7]],[6560,0,16,80,80,8,-10,0,-16,0,0,0,-10*E(5)-10*E(5)^4,
-10*E(5)^2-10*E(5)^3,0,0,0,0,0,0,-2,0,0,0,0,0,-1,-1,0,0,0,0,-2*E(5)-2*E(5)^4,
-2*E(5)^2-2*E(5)^3,0,0,0,2,0,0,0,0,-E(5)-E(5)^4,-E(5)^2-E(5)^3,0,0,
2*E(5)^2+2*E(5)^3,2*E(5)+2*E(5)^4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0],
[GALOIS,[63,2]],[6560,0,-16,80,80,8,-10,0,0,0,0,0,-10*E(5)-10*E(5)^4,
-10*E(5)^2-10*E(5)^3,0,0,0,0,0,0,2,0,0,2*E(8)-2*E(8)^3,-2*E(8)+2*E(8)^3,0,-1,
-1,0,0,0,0,2*E(5)+2*E(5)^4,2*E(5)^2+2*E(5)^3,0,0,0,0,0,0,0,0,-E(5)-E(5)^4,
-E(5)^2-E(5)^3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
-E(40)^21-E(40)^29+E(40)^31+E(40)^39,-E(40)^7+E(40)^13-E(40)^23+E(40)^37,
E(40)^21+E(40)^29-E(40)^31-E(40)^39,E(40)^7-E(40)^13+E(40)^23-E(40)^37,0,0,0,0
,0,0,0,0,0,0],
[GALOIS,[65,3]],
[GALOIS,[65,11]],
[GALOIS,[65,7]],[6561,81,9,0,0,0,0,9,9,1,-9,-9,-9,-9,1,0,0,0,0,0,0,9,9,-1,-1,
1,0,0,-9,-9,1,1,-1,-1,1,0,0,0,0,0,0,0,0,0,-1,-1,-1,-1,0,0,0,0,0,0,0,0,-1,-1,-1
,-1,-1,-1,-1,-1,1,1,1,1,1,1,1,1,1,1],[7380,180,-20,9,9,0,18,-8,0,0,-10,-10,0,0
,0,9,9,0,0,0,-2,10,10,0,0,-2,0,0,-10,-10,0,0,0,0,0,1,1,0,-1,-1,-1,-1,0,0,2,2,0
,0,1,1,1,1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[7380,100,28,90,90
,9,9,-20,-8,0,0,0,-10,-10,0,10,10,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,-2,-2,0,-2,-2,
1,0,0,0,0,-1,-1,0,0,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[
7380,-100,-8,90,90,9,9,0,10,-2,0,0,-10,-10,0,-10,-10,-1,-1,-1,1,
10*E(8)-10*E(8)^3,-10*E(8)+10*E(8)^3,-E(8)+E(8)^3,E(8)-E(8)^3,0,0,0,0,0,0,0,2,
2,0,0,0,1,0,0,0,0,-1,-1,0,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,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,0],
[GALOIS,[72,3]],[8200,-200,0,100,100,10,28,0,-20,4,0,0,0,0,0,-20,-20,-2,-2,-2
,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]],
[(22,23)(24,25)(49,50)(51,52)(57,59)(58,60)(61,63)(62,64),
(11,12)(13,14)(29,30)(31,32)(33,34)(39,40)(41,42)(43,44)(45,46)(47,48)(53,54)
(55,56)(57,60)(58,59)(61,64)(62,63)
,( 4, 5)(16,17)(18,19)(27,28)(36,37)(39,41)(40,42)(49,51)(50,52)(53,55)(54,56)
,(65,66,67,68,69,70,71,72,73,74)]);
ARC("S4(9)","isSimple",true);
ARC("S4(9)","extInfo",["2","2^2"]);
ALF("S4(9)","S4(9).2_1",[1,2,3,4,5,6,7,8,9,10,11,11,12,12,13,14,15,16,17,
18,19,20,20,21,21,22,23,24,25,25,26,26,27,27,28,29,30,31,32,32,33,33,34,
34,35,35,36,36,37,37,38,38,39,39,40,40,41,41,42,42,43,43,44,44,45,46,47,
48,49,45,46,47,48,49],[
"fusion map is unique up to table automorphisms"
]);
ALF("S4(9)","S4(9).2_2",[1,2,3,4,4,5,6,7,8,9,10,11,12,13,14,15,15,16,16,
17,18,19,20,21,22,23,24,24,25,26,27,28,29,30,31,32,32,33,34,35,34,35,36,
37,38,39,40,41,42,43,42,43,44,45,44,45,46,47,48,49,50,51,52,53,54,55,56,
57,58,59,60,61,62,63],[
"fusion map is unique up to table automorphisms"
]);
ALF("S4(9)","S4(9).2_3",[1,2,3,4,4,5,6,7,8,9,10,10,11,11,12,13,13,14,14,
15,16,17,17,18,18,19,20,20,21,21,22,22,23,23,24,25,25,26,27,28,28,27,29,
29,30,30,31,31,32,33,33,32,34,35,35,34,36,36,37,37,38,38,39,39,40,41,42,
43,44,40,41,42,43,44],[
"fusion map is unique up to table automorphisms"
]);
ALN("S4(9)",["O5(9)"]);
MOT("S4(9).2_1",
[
--> --------------------
--> maximum size reached
--> --------------------
[ Dauer der Verarbeitung: 0.20 Sekunden
(vorverarbeitet)
]
|