|
#############################################################################
##
#W ctoatres.tbl GAP table library Thomas Breuer
##
## This file contains the ordinary character tables related to the groups
## $F_4(2)$, $G_2(q)$ for $q$ in [3,4,5], $R(27)$, $Sz(8)$ and $Sz(32)$ of
## the ATLAS (``rest of the ATLAS tables'').
##
#H ctbllib history
#H ---------------
#H $Log: ctoatres.tbl,v $
#H Revision 4.39 2012/06/20 14:45:29 gap
#H added tables and fusions, as documented in ctbldiff.dat
#H TB
#H
#H Revision 4.38 2012/06/06 12:43:48 gap
#H "R(27)" is "2G2(27)"
#H TB
#H
#H Revision 4.37 2012/04/23 16:16:06 gap
#H next step of consolidation:
#H
#H - removed a few unnecessary duplicate tables,
#H and changed some related fusions, names of maxes, table constructions
#H - make sure that duplicate tables arise only via `ConstructPermuted'
#H constructions
#H - added some relative names
#H - added fusions A11.2 -> A12.2, L2(11).2 -> A12.2, D8x2F4(2)'.2 -> B,
#H L2(41) -> M, (A5xA12):2 -> A17,
#H - added maxes of A12.2, L6(2), 2.M22.2
#H - added table of QD16.2,
#H - fixed the syntax of two `ALN' calls
#H TB
#H
#H Revision 4.36 2012/03/28 13:16:36 gap
#H added a permutation (of the maximal subgroups) for the fusion to the
#H table of marks of Sz(8).3, L2(11).2, HS.2, He.2, S4(5), U3(3), U4(2).2
#H TB
#H
#H Revision 4.35 2012/01/26 11:00:19 gap
#H added fusion G2(5) -> O7(5)
#H TB
#H
#H Revision 4.34 2011/09/28 12:26:14 gap
#H - removed revision entry and SET_TABLEFILENAME call,
#H - changed the construction of the table of 2.(2xF4(2)).2 from an
#H explicit function to (the now generalized) `ConstructIsoclinic',
#H - added maxes entry for G2(5),
#H - added fusion from Sz(8).3 to the table of marks
#H TB
#H
#H Revision 4.33 2010/05/05 13:20:00 gap
#H - added many class fusions,
#H - changed several class fusions according to consistency conditions,
#H after systematic checks of consistency
#H - with Brauer tables w.r.t. the restriction of characters,
#H - of subgroup fusions with the corresponding subgroup fusions between
#H proper factors where the factor fusions are stored,
#H - of subgroup fusions from maximal subgroups with subgroup fusions of
#H extensions inside automorphic extensions
#H
#H TB
#H
#H Revision 4.32 2010/01/19 17:05:30 gap
#H added several tables of maximal subgroups of central extensions of
#H simple groups (many of them were contributed by S. Dany)
#H TB
#H
#H Revision 4.31 2009/07/29 13:52:15 gap
#H break a too long line
#H TB
#H
#H Revision 4.30 2009/06/15 15:12:12 gap
#H added tables of 2E6(2)M3, 2E6(2)M4, 2E6(2)M5, 2E6(2)M7, 2E6(2)M8,
#H 2E6(2)M9, and corresponding fusions
#H TB
#H
#H Revision 4.29 2009/04/27 08:27:20 gap
#H removed some superfluous explicit <nam>M<n> names,
#H which are created automatically
#H TB
#H
#H Revision 4.28 2009/01/12 17:33:57 gap
#H added missing maxes of Fi22.2 and their fusions
#H TB
#H
#H Revision 4.27 2008/06/24 16:23:05 gap
#H added several fusions and names
#H TB
#H
#H Revision 4.26 2006/06/07 07:54:26 gap
#H unified ConstructMixed and ConstructMGA (for better programmatic access)
#H TB
#H
#H Revision 4.25 2005/01/26 15:04:55 gap
#H fixed construction function for "2.(2xF4(2)).2",
#H the table is constructed from a direct product
#H but itself is not a direct product,
#H so the flag must not be copied over
#H TB
#H
#H Revision 4.24 2005/01/18 15:16:51 gap
#H fixed maxes of Sz(8).3
#H TB
#H
#H Revision 4.23 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.22 2004/02/17 17:33:14 gap
#H added certain tables of isoclinic groups of ATLAS groups
#H (which are available in atlasrep),
#H added missing maxes of U5(2)
#H TB
#H
#H Revision 4.21 2003/05/15 17:38:02 gap
#H next step towards the closer connection to the library of tables of marks:
#H added fusions tbl -> tom, adjusted fusions between character tables
#H in order to make the diagrams commute, adjusted orderings of maxes
#H TB
#H
#H Revision 4.20 2003/01/21 16:25:31 gap
#H further standardizations of `InfoText' strings,
#H added and corrected `Maxes' infos,
#H added some fusions
#H TB
#H
#H Revision 4.19 2003/01/14 17:28:49 gap
#H changed `InfoText' values (for a better programmatic access)
#H and replaced `ConstructDirectProduct' by `ConstructPermuted' where
#H there is only one factor (again better programmatic handling)
#H TB
#H
#H Revision 4.18 2002/10/22 12:44:06 gap
#H added 215 factor fusions for cases <tbl> -> <tbl> / O_{<p>}(<tbl>)
#H (they make it possible to construct <p>-modular Brauer tables
#H for tables of the type [p^n].<fact> where the <p>-modular Brauer table
#H of <fact> is in the library)
#H TB
#H
#H Revision 4.17 2002/09/23 14:45:42 gap
#H added comment to fusion 2^2.Sz(8) -> 2^2.Sz(8).3
#H TB
#H
#H Revision 4.16 2002/07/15 15:19:35 gap
#H added table automorphisms of 2.F4(2).2
#H TB
#H
#H Revision 4.15 2002/07/12 06:45:55 gap
#H further tidying up: removed `irredinfo' stuff, rearranged constructions
#H TB
#H
#H Revision 4.14 2002/07/08 16:06:56 gap
#H changed `construction' component from function (call) to list of function
#H name and arguments
#H TB
#H
#H Revision 4.13 2001/11/06 08:40:46 gap
#H adjustments that make it easier to use the data under GAP 3
#H TB
#H
#H Revision 4.12 2001/06/18 16:01:33 gap
#H moved `ctblpope.tst' here
#H TB
#H
#H Revision 4.11 2001/05/14 15:44:36 gap
#H added table of 2.(2xF4(2)).2 (computed by Simon Norton)
#H TB
#H
#H Revision 4.10 2001/05/04 16:47:04 gap
#H first revision for ctbllib
#H
#H
#H tbl history (GAP 4)
#H -------------------
#H (Rev. 4.10 of ctbllib coincides with Rev. 4.9 of tbl in GAP 4)
#H
#H RCS file: /gap/CVS/GAP/4.0/tbl/ctoatres.tbl,v
#H Working file: ctoatres.tbl
#H head: 4.9
#H branch:
#H locks: strict
#H access list:
#H symbolic names:
#H GAP4R2: 4.8.0.6
#H GAP4R2PRE2: 4.8.0.4
#H GAP4R2PRE1: 4.8.0.2
#H GAP4R1: 4.5.0.2
#H keyword substitution: kv
#H total revisions: 10; selected revisions: 10
#H description:
#H ----------------------------
#H revision 4.9
#H date: 2000/03/27 09:54:44; author: gap; state: Exp; lines: +7 -2
#H added some tables of maxes of 2.Suz and corresponding fusions,
#H added table of 3.Fi22M5
#H
#H TB
#H ----------------------------
#H revision 4.8
#H date: 1999/10/21 14:15:46; author: gap; state: Exp; lines: +7 -5
#H added many `tomidentifer' and `tomfusion' values, which yields a better
#H interface between `tom' and `tbl';
#H
#H added maxes of McL.2,
#H
#H unified tables `J2.2M4', `2^(2+4):(3x3):2^2', `2^(2+4):(S3xS3)'.
#H
#H TB
#H ----------------------------
#H revision 4.7
#H date: 1999/09/28 15:34:04; author: gap; state: Exp; lines: +6 -2
#H added maxes of Sz(32)
#H
#H TB
#H ----------------------------
#H revision 4.6
#H date: 1999/08/31 13:16:13; author: gap; state: Exp; lines: +6 -2
#H added missing tables and fusions of maximal subgroups of Suz.2
#H
#H TB
#H ----------------------------
#H revision 4.5
#H date: 1999/07/14 11:39:37; author: gap; state: Exp; lines: +4 -3
#H cosmetic changes for the release ...
#H
#H TB
#H ----------------------------
#H revision 4.4
#H date: 1998/04/03 13:26:47; author: gap; state: Exp; lines: +4 -2
#H added tables of maxes of G2(3) and fusions into G2(3)
#H
#H TB
#H ----------------------------
#H revision 4.3
#H date: 1998/03/11 08:05:15; author: gap; state: Exp; lines: +8 -2
#H mainly new fusions to tables of marks added
#H
#H TB
#H ----------------------------
#H revision 4.2
#H date: 1997/11/25 15:44:35; author: gap; state: Exp; lines: +7 -3
#H first attempt to link the library of character tables and the
#H library of tables of marks
#H TB
#H ----------------------------
#H revision 4.1
#H date: 1997/07/17 15:38:10; author: fceller; state: Exp; lines: +2 -2
#H for version 4
#H ----------------------------
#H revision 1.1
#H date: 1996/10/21 15:59:06; author: sam; state: Exp;
#H first proposal of the table library
#H ==========================================================================
##
MOT("2.F4(2)",
[
"origin: ATLAS of finite groups, tests: 1.o.r."
],
[6622253206732800,6622253206732800,95126814720,95126814720,95126814720,
95126814720,1509949440,1509949440,18874368,18874368,8709120,8709120,8709120,
8709120,93312,93312,7077888,7077888,11010048,11010048,11010048,11010048,
2949120,2949120,2949120,2949120,196608,196608,131072,131072,98304,98304,98304,
98304,49152,49152,16384,12288,8192,7200,7200,138240,138240,138240,138240,
27648,27648,27648,27648,10368,10368,10368,10368,9216,9216,9216,9216,2304,2304,
2304,2304,1152,1152,2352,2352,2352,2352,4096,4096,2048,3072,3072,3072,3072,
3072,3072,3072,3072,1024,1024,1024,128,256,256,108,108,108,108,480,480,480,
480,160,160,2304,2304,2304,2304,864,864,1152,1152,1152,1152,1152,1152,1152,
1152,768,768,768,768,192,192,192,192,96,96,96,96,48,48,26,26,112,112,112,112,
180,180,180,180,128,128,128,128,64,64,34,34,34,34,36,36,36,36,80,80,80,80,42,
42,42,42,96,96,96,96,96,96,96,96,56,56,56,56,60,60,60,60],
[,[1,1,1,1,1,1,1,1,1,1,11,11,13,13,15,15,3,5,3,3,5,5,7,7,7,7,3,5,8,8,7,7,7,7,
9,9,7,10,9,40,40,11,11,13,13,11,11,13,13,15,15,15,15,11,11,13,13,11,11,13,13,
15,15,64,64,66,66,29,29,29,19,19,21,21,17,17,18,18,29,29,30,35,39,39,85,85,87,
87,40,40,40,40,40,40,46,46,48,48,50,52,54,54,56,56,54,54,56,56,46,46,48,48,54,
54,56,56,50,52,62,62,63,63,123,123,64,64,66,66,129,129,131,131,68,68,70,70,81,
81,139,139,141,141,85,85,87,87,93,93,93,93,151,151,153,153,109,109,111,111,95,
95,97,97,125,125,127,127,129,129,131,131],[1,2,3,4,5,6,7,8,9,10,1,2,1,2,1,2,
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,3,
4,5,6,5,6,3,4,3,4,5,6,7,8,7,8,9,10,9,10,9,10,64,65,66,67,68,69,70,71,72,73,74,
75,76,77,78,79,80,81,82,83,84,15,16,15,16,89,90,91,92,93,94,18,18,17,17,17,18,
23,24,23,24,25,26,25,26,21,22,19,20,31,32,33,34,27,28,35,36,38,38,123,124,125,
126,127,128,40,41,40,41,134,133,135,136,138,137,141,142,139,140,50,51,52,53,
147,148,149,150,64,65,66,67,73,74,71,72,77,78,75,76,163,164,165,166,90,89,91,
92],,[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,1,2,42,43,44,45,46,47,48,49,50,51,52,53,
54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,
80,81,82,83,84,85,86,87,88,3,4,5,6,7,8,95,96,97,98,99,100,101,102,103,104,105,
106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,122,121,123,124,
125,126,127,128,11,12,13,14,134,133,135,136,137,138,141,142,139,140,143,144,
145,146,23,24,25,26,151,152,153,154,155,156,157,158,159,160,161,162,163,164,
165,166,43,42,44,45],,[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,1,2,1,2,68,69,70,71,72,73,74,
75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,
100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,
119,120,121,122,123,124,3,4,5,6,129,130,131,132,133,134,135,136,138,137,141,
142,139,140,143,144,145,146,147,148,149,150,11,12,13,14,155,156,157,158,159,
160,161,162,19,20,21,22,167,168,169,170],,,,,,[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,65,
66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,
92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,
113,114,115,116,117,118,119,120,121,122,1,2,125,126,127,128,129,130,131,132,
134,133,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,
152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,
170],,,,[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,65,66,67,68,69,70,71,72,73,74,75,76,77,78,
79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,
103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,122,
121,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,1,2,1,2,
143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,
162,163,164,165,166,167,168,169,170]],
0,
[(139,141)(140,142),(137,138),(133,134),(133,134)(137,138),(121,122),( 3, 5)
( 4, 6)( 11, 13)( 12, 14)( 17, 18)( 19, 21)( 20, 22)( 25, 26)( 27, 28)
( 31, 33)( 32, 34)( 42, 44)( 43, 45)( 46, 48)( 47, 49)( 50, 52)( 51, 53)
( 54, 56)( 55, 57)( 58, 60)( 59, 61)( 64, 66)( 65, 67)( 71, 73)( 72, 74)
( 75, 77)( 76, 78)( 79, 80)( 85, 87)( 86, 88)( 89, 91)( 90, 92)( 95, 97)
( 96, 98)( 99,100)(101,103)(102,104)(105,108)(106,107)(109,111)(110,112)
(113,115)(114,116)(117,118)(125,127)(126,128)(129,131)(130,132)(143,145)
(144,146)(149,150)(151,153)(152,154)(155,157)(156,158)(159,161)(160,162)
(163,165)(164,166)(167,170)(168,169)],
["ConstructProj",[["F4(2)",[]],["2.F4(2)",[]]]]);
ARC("2.F4(2)","CAS",[rec(name:="2.f4f2",
permchars:=(9,10)(16,17)(22,23)(30,31)(35,36)(38,39)(50,51)(56,57)(59,60)
(61,62)(63,64)(69,70)(75,76)(78,79)(80,81)(88,89)(97,98)(99,100)(106,107)
(111,112)(113,114)(121,122)(123,124)(125,126)(127,128)(130,131)(132,133)
(134,135)(142,143)(144,145)(146,147)(152,153)(159,160)(161,162)(163,164)
(165,166),
permclasses:=(46,47)(48,49)(62,63)(89,90)(101,102)(103,104)(105,106)(109,
110)(111,112)(119,120)(125,126)(127,128)(143,144)(145,146)(147,148)(155,
156)(157,158)(159,160)(161,162),
text:="")]);
ALF("2.F4(2)","F4(2)",[1,1,2,2,3,3,4,4,5,5,6,6,7,7,8,8,9,10,11,11,12,12,
13,13,14,14,15,16,17,17,18,18,19,19,20,20,21,22,23,24,24,25,25,26,26,27,
27,28,28,29,29,30,30,31,31,32,32,33,33,34,34,35,35,36,36,37,37,38,38,39,
40,40,41,41,42,42,43,43,44,45,46,47,48,48,49,49,50,50,51,51,52,52,53,53,
54,54,55,55,56,57,58,58,59,59,60,60,61,61,62,62,63,63,64,64,65,65,66,67,
68,68,69,70,71,71,72,72,73,73,74,74,75,75,76,76,77,77,78,79,80,80,81,81,
82,82,83,83,84,84,85,85,86,86,87,87,88,88,89,89,90,90,91,91,92,92,93,93,
94,94,95,95]);
ALF("2.F4(2)","2E6(2)M4",[1,1,2,2,3,3,4,4,5,5,6,6,7,7,8,8,9,10,11,11,12,
12,13,13,14,14,15,16,17,17,18,18,19,19,20,20,21,22,23,24,24,25,25,26,26,
27,27,28,28,29,29,30,30,31,31,32,32,33,33,34,34,35,35,36,36,37,37,38,38,
39,40,40,41,41,42,42,43,43,44,45,46,47,48,48,49,49,50,50,51,51,52,52,53,
53,54,54,55,55,56,57,58,58,59,59,60,60,61,61,62,62,63,63,64,64,65,65,66,
67,68,68,69,70,71,71,72,72,73,73,74,74,75,75,76,76,77,77,78,79,80,80,81,
81,82,82,83,83,84,84,85,85,86,86,87,87,88,88,89,89,90,90,91,91,92,92,93,
93,94,94,95,95]);
ALF("2.F4(2)","2.F4(2).2",[1,2,3,4,3,4,5,6,7,8,9,10,9,10,11,12,13,13,14,
15,14,15,16,17,18,18,19,19,20,21,22,23,22,23,24,25,26,27,28,29,30,31,32,
31,32,33,34,33,34,35,36,35,36,37,38,37,38,39,40,39,40,41,42,43,44,43,44,
45,46,47,48,49,48,49,50,51,50,51,52,52,53,54,55,56,57,58,57,58,59,60,59,
60,61,62,63,64,63,64,65,65,66,67,66,67,68,69,69,68,70,71,70,71,72,73,72,
73,74,74,75,76,77,78,79,80,81,82,81,82,83,84,83,84,85,86,87,88,89,90,91,
92,91,92,93,94,93,94,95,96,97,97,98,99,98,99,100,101,100,101,102,103,102,
103,104,105,104,105,106,107,107,106],[
"fusion map is unique up to table autom.,\n",
"representative compatible with factors"
]);
ALF("2.F4(2)","2.2E6(2)",[1,2,3,4,6,5,5,6,7,7,8,9,10,11,12,13,16,20,14,15,
20,20,24,23,24,23,22,27,27,27,31,31,23,24,29,30,31,32,33,34,35,36,37,45,
44,41,40,38,39,42,43,48,47,40,41,44,45,46,46,50,49,52,51,55,56,53,54,73,
73,73,57,57,64,64,58,59,64,64,69,73,69,75,76,77,80,81,78,79,82,83,85,84,
84,85,101,101,92,93,91,105,108,107,112,111,108,107,112,111,101,101,97,98,
109,109,111,112,110,123,117,118,125,126,127,128,131,132,130,129,135,136,
133,134,146,146,146,146,142,142,148,149,150,151,156,157,159,158,167,166,
167,166,170,171,168,169,183,183,177,176,183,183,178,179,189,190,187,187,
194,193,192,191],[
"fusion map is unique up to table autom.,\n",
"representative compatible with factors"
]);
ALN("2.F4(2)",["2.2E6(2)M4"]);
MOT("2.F4(2).2",
[
"origin: ATLAS of finite groups\n",
"the 2nd power map had been incorrect up to version 1.3,\n",
"(the map had 85,85,86,86 instead of 86,86,85,85)"
],
[13244506413465600,13244506413465600,95126814720,95126814720,3019898880,
3019898880,37748736,37748736,8709120,8709120,186624,186624,7077888,11010048,
11010048,5898240,5898240,2949120,196608,262144,262144,98304,98304,98304,98304,
32768,24576,16384,14400,14400,138240,138240,27648,27648,10368,10368,9216,9216,
2304,2304,2304,2304,2352,2352,8192,8192,4096,3072,3072,3072,3072,1024,2048,
256,512,512,108,108,480,480,320,320,2304,2304,864,1152,1152,1152,1152,768,768,
192,192,96,192,192,96,96,52,52,112,112,180,180,256,256,256,256,128,128,34,34,
36,36,160,160,80,42,42,96,96,96,96,56,56,60,60,71884800,40960,6144,432,2560,
2560,1536,1536,512,768,768,256,256,200,48,256,256,128,64,64,64,64,64,40,48,48,
48,48,48,48,52,52,64,64,64,64,64,64,64,64,80,80,80,80],
[,[1,1,1,1,1,1,1,1,9,9,11,11,3,3,3,5,5,5,3,6,6,5,5,7,7,5,8,7,29,29,9,9,9,9,11,
11,9,9,9,9,11,11,43,43,20,20,20,14,14,13,13,20,21,24,28,28,57,57,29,29,29,29,
33,33,35,37,37,37,37,33,33,37,37,35,41,41,42,42,79,79,43,43,83,83,45,45,47,47,
53,53,91,91,57,57,61,61,61,98,98,70,70,63,63,81,81,83,83,1,6,7,11,16,17,24,24,
21,27,27,25,26,29,41,53,53,53,46,56,56,56,56,62,75,75,78,78,77,77,79,79,86,86,
85,85,88,88,88,88,95,95,96,96],[1,2,3,4,5,6,7,8,1,2,1,2,13,14,15,16,17,18,19,
20,21,22,23,24,25,26,27,28,29,30,3,4,3,4,3,4,5,6,7,8,7,8,43,44,45,46,47,48,49,
50,51,52,53,54,55,56,11,12,59,60,61,62,13,13,13,16,17,18,18,14,15,22,23,19,24,
25,27,27,79,80,81,82,29,30,86,85,87,88,90,89,91,92,35,36,95,96,97,43,44,48,49,
50,51,104,105,60,59,108,109,110,108,112,113,114,115,116,117,118,119,120,121,
110,123,124,125,126,130,129,128,127,131,114,115,117,118,117,118,138,139,142,
143,141,140,144,145,146,147,148,149,150,151],,[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,1,2,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,3,4,5,6,63,64,65,66,
67,68,69,70,71,72,73,74,75,76,78,77,79,80,81,82,9,10,86,85,87,88,89,90,91,92,
93,94,16,17,18,98,99,100,101,102,103,104,105,32,31,108,109,110,111,112,113,
114,115,116,118,117,119,120,108,122,124,123,125,126,128,127,130,129,109,132,
133,137,136,135,134,139,138,143,142,140,141,146,147,144,145,112,112,113,
113],,[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,1,2,45,46,47,48,49,50,51,52,
53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,
79,80,3,4,83,84,85,86,87,88,90,89,91,92,93,94,95,96,97,9,10,100,101,102,103,
14,15,106,107,108,109,110,111,112,113,114,115,116,118,117,119,120,121,122,124,
123,125,126,129,130,127,128,131,132,133,135,134,137,136,139,138,141,140,143,
142,146,147,144,145,149,148,151,150],,,,,,[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,65,66,
67,68,69,70,71,72,73,74,75,76,77,78,1,2,81,82,83,84,86,85,87,88,89,90,91,92,
93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,
114,115,116,118,117,119,120,121,122,124,123,125,126,128,127,130,129,131,132,
133,135,134,137,136,108,108,142,143,141,140,146,147,144,145,148,149,150,
151],,,,[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,65,66,67,68,69,70,71,72,73,74,75,76,78,77,
79,80,81,82,83,84,85,86,87,88,89,90,1,2,93,94,95,96,97,98,99,100,101,102,103,
104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,
123,124,125,126,127,128,129,130,131,132,133,136,137,134,135,138,139,140,141,
142,143,144,145,146,147,149,148,151,150]],
0,
[(148,149)(150,151),(138,139),(117,118)(123,124)(127,128)(129,130)(134,135)
(136,137)(144,146)(145,147),(114,115)(132,133)(144,147)(145,146),(89,90)(127,
130)(128,129),(77,78)(134,136)(135,137),(140,141)(142,143),(85,86)(140,142,
141,143)],
["ConstructProj",[["F4(2).2",[]],["2.F4(2).2",[]]]]);
ALF("2.F4(2).2","F4(2).2",[1,1,2,2,3,3,4,4,5,5,6,6,7,8,8,9,9,10,11,12,12,
13,13,14,14,15,16,17,18,18,19,19,20,20,21,21,22,22,23,23,24,24,25,25,26,
26,27,28,28,29,29,30,31,32,33,33,34,34,35,35,36,36,37,37,38,39,39,40,40,
41,41,42,42,43,44,44,45,46,47,47,48,48,49,49,50,50,51,51,52,53,54,54,55,
55,56,56,57,58,58,59,59,60,60,61,61,62,62,63,64,65,66,67,68,69,69,70,71,
71,72,73,74,75,76,76,77,78,79,79,80,80,81,82,82,83,83,84,84,85,85,86,86,
87,87,88,88,89,89,90,90,91,91]);
MOT("Isoclinic(2.F4(2).2)",
[
"isoclinic group of the 2.F4(2).2 given in the ATLAS"
],
0,
0,
0,
[(148,149)(150,151),(138,139),(117,118)(123,124)(127,128)(129,130)(134,135)
(136,137)(144,146)(145,147),(114,115)(132,133)(144,147)(145,146),(89,90)(127,
130)(128,129),(77,78)(134,136)(135,137),(140,141)(142,143),(85,86)(140,142,
141,143)],
["ConstructIsoclinic",[["2.F4(2).2"]]]);
ALF("Isoclinic(2.F4(2).2)","F4(2).2",[1,1,2,2,3,3,4,4,5,5,6,6,7,8,8,9,9,10,
11,12,12,13,13,14,14,15,16,17,18,18,19,19,20,20,21,21,22,22,23,23,24,24,25,
25,26,26,27,28,28,29,29,30,31,32,33,33,34,34,35,35,36,36,37,37,38,39,39,40,
40,41,41,42,42,43,44,44,45,46,47,47,48,48,49,49,50,50,51,51,52,53,54,54,55,
55,56,56,57,58,58,59,59,60,60,61,61,62,62,63,64,65,66,67,68,69,69,70,71,
71,72,73,74,75,76,76,77,78,79,79,80,80,81,82,82,83,83,84,84,85,85,86,86,
87,87,88,88,89,89,90,90,91,91]);
MOT("Isoclinic(2x2.F4(2).2)",
[
"central product of C4 and 2.F4(2).2"
],
0,
0,
0,
[(295,297)(296,298)(299,301)(300,302),(275,277)(276,278),
(227,229)(228,230)(263,265)(264,266)(287,293)(288,294)(289,291)(290,292),
(177,179)(178,180)(253,259)(254,260)(255,257)(256,258),
(169,171)(170,172)(233,235)(234,236)(245,247)(246,248)(253,255)(254,256)
(257,259)(258,260)(267,269)(268,270)(271,273)(272,274)(279,285,281,283)
(280,286,282,284)(287,291)(288,292)(289,293)(290,294)(295,297)(296,298)
(299,301)(300,302)
,(153,155)(154,156)(267,271)(268,272)(269,273)(270,274),
( 2, 4)( 6, 8)( 10, 12)( 14, 16)( 18, 20)( 22, 24)( 28, 30)( 32, 34)
( 40, 42)( 44, 46)( 48, 50)( 58, 60)( 62, 64)( 66, 68)( 70, 72)( 74, 76)
( 78, 80)( 82, 84)( 86, 88)( 90, 92)( 96, 98)(100,102)(110,112)(114,116)
(118,120)(122,124)(126,128)(132,134)(136,138)(140,142)(144,146)(150,152)
(158,160)(162,164)(166,168)(170,172)(174,176)(177,179)(178,180)(182,184)
(186,188)(190,192)(196,198)(200,202)(204,206)(208,210)(212,214)(228,230)
(233,235)(245,247)(253,257)(254,260)(255,259)(256,258)(264,266)(267,269)
(271,273)(276,278)(280,282)(284,286)(287,291)(288,294)(289,293)(290,292)
(296,298)(300,302)
,(279,281)(280,282)(283,285)(284,286),
(233,235)(234,236)(245,247)(246,248)(253,255)(254,256)(257,259)(258,260)
(267,269)(268,270)(271,273)(272,274)(287,291)(288,292)(289,293)(290,294)
],
["ConstructIsoclinic",[["2.F4(2).2"],["Cyclic",2]],[1,3..301]]);
MOT("2.(2xF4(2)).2",
[
"4B centralizer in the Monster group,\n",
"constructed by Simon Norton, Dec. 2000"
],
0,
0,
0,
[(153,155)(154,156)(267,271)(268,272)(269,273)(270,274),(177,179)(178,180)
(253,258)(254,257)(255,260)(256,259),(227,228)(229,230)(263,264)(265,266)(287,
292)(288,291)(289,294)(290,293),(233,234)(235,236)(245,246)(247,248)(253,254)
(255,256)(257,258)(259,260)(267,268)(269,270)(271,272)(273,274)(287,291)(288,
292)(289,293)(290,294),(275,276)(277,278),(295,296)(297,298)(299,300)(301,
302),(279,280)(281,282)(283,284)(285,286),(169,170)(171,172)(279,283,280,284)
(281,285,282,286),(3,4)(7,8)(11,12)(15,16)(19,20)(23,24)(29,30)(33,34)(41,42)
(45,46)(49,50)(59,60)(63,64)(67,68)(71,72)(75,76)(79,80)(83,84)(87,88)(91,92)
(97,98)(101,102)(111,112)(115,116)(119,120)(123,124)(127,128)(133,134)(137,
138)(141,142)(145,146)(151,152)(159,160)(163,164)(167,168)(171,172)(175,176)
(183,184)(187,188)(191,192)(197,198)(201,202)(205,206)(209,210)(213,214)(215,
216)(217,218)(219,220)(221,222)(223,224)(225,226)(227,229)(228,230)(231,232)
(233,235)(234,236)(237,238)(239,240)(241,242)(243,244)(245,247)(246,248)(249,
250)(251,252)(253,255)(254,256)(257,259)(258,260)(261,262)(263,265)(264,266)
(267,269)(268,270)(271,273)(272,274)(275,277)(276,278)(279,281)(280,282)(283,
285)(284,286)(287,289)(288,290)(291,293)(292,294)(295,297)(296,298)(299,301)
(300,302)],
["ConstructIsoclinic",[["Isoclinic(2x2.F4(2).2)"]],[1..214],[1..4],
(2,3)(6,7)(10,11)(14,15)(18,19)(22,23)(28,29)(32,33)(40,41)(44,45)(48,49)
(58,59)(62,63)(66,67)(70,71)(74,75)(78,79)(82,83)(86,87)(90,91)(96,97)(100,
101)(110,111)(114,115)(118,119)(122,123)(126,127)(132,133)(136,137)(140,141)
(144,145)(150,151)(158,159)(162,163)(166,167)(170,171)(174,175)(182,183)
(186,187)(190,191)(196,197)(200,201)(204,205)(208,209)(212,213)(228,229)
(234,235)(246,247)(254,255)(258,259)(264,265)(268,269)(272,273)(276,277)
(280,281)(284,285)(288,289)(292,293)(296,297)(300,301),
(184,186)(192,194)(196,198)(200,202)(210,212)(218,220)(224,226)(238,240)
(266,268)(272,274)(276,278)(288,290)(292,294)(296,298)(300,302)]);
ALF("2.(2xF4(2)).2","M",[1,2,8,8,3,2,8,8,2,3,8,8,3,3,8,8,4,13,37,37,5,16,41,
41,7,8,7,7,8,8,8,8,7,7,8,7,9,8,9,9,8,8,8,8,9,9,7,9,10,10,8,9,10,9,9,10,11,
29,65,65,15,13,37,37,15,13,37,37,17,16,41,41,13,15,37,37,15,15,37,37,17,
14,41,41,19,47,93,93,25,25,21,21,25,21,22,22,22,22,22,22,22,22,25,25,21,
25,22,24,21,25,25,25,27,59,116,116,30,29,65,65,29,30,65,65,35,35,37,37,36,
41,37,37,35,35,37,37,35,35,35,35,37,37,37,37,39,39,42,41,36,42,40,40,40,
43,40,43,45,89,144,144,48,47,93,93,50,99,154,154,55,55,55,55,56,56,56,56,
54,54,54,54,57,111,164,164,60,59,116,116,65,65,64,64,65,64,70,128,174,174,
78,78,78,78,78,78,78,78,94,94,93,93,99,100,154,154,23,23,23,23,23,23,84,
84,22,22,22,22,26,26,26,26,23,23,25,21,25,21,26,26,24,24,123,123,84,84,56,
56,56,56,56,56,54,54,55,56,55,56,56,55,56,55,123,123,83,83,83,83,86,80,86,
80,86,80,86,80,189,190,189,190,107,107,107,107,107,107,107,107,108,108,
108,108,108,108,108,108,124,124,124,124,124,124,124,124]);
ALF("2.(2xF4(2)).2","F4(2).2",[1,1,1,1,2,2,2,2,3,3,3,3,4,4,4,4,5,5,5,5,6,
6,6,6,7,7,8,8,8,8,9,9,9,9,10,10,11,11,12,12,12,12,13,13,13,13,14,14,14,14,
15,15,16,16,17,17,18,18,18,18,19,19,19,19,20,20,20,20,21,21,21,21,22,22,
22,22,23,23,23,23,24,24,24,24,25,25,25,25,26,26,26,26,27,27,28,28,28,28,
29,29,29,29,30,30,31,31,32,32,33,33,33,33,34,34,34,34,35,35,35,35,36,36,
36,36,37,37,37,37,38,38,39,39,39,39,40,40,40,40,41,41,41,41,42,42,42,42,
43,43,44,44,44,44,45,45,46,46,47,47,47,47,48,48,48,48,49,49,49,49,50,50,
50,50,51,51,51,51,52,52,53,53,54,54,54,54,55,55,55,55,56,56,56,56,57,57,
58,58,58,58,59,59,59,59,60,60,60,60,61,61,61,61,62,62,62,62,63,63,64,64,
65,65,66,66,67,67,68,68,69,69,69,69,70,70,71,71,71,71,72,72,73,73,74,74,
75,75,76,76,76,76,77,77,78,78,79,79,79,79,80,80,80,80,81,81,82,82,82,82,
83,83,83,83,84,84,84,84,85,85,85,85,86,86,86,86,87,87,87,87,88,88,88,88,
89,89,89,89,90,90,90,90,91,91,91,91]);
ALN("2.(2xF4(2)).2",["4.F4(2).2","MC4B"]);
MOT("2.G2(4)",
[
"origin: ATLAS of finite groups, tests: 1.o.r."
],
[503193600,503193600,122880,122880,3840,120960,120960,360,360,3072,3072,768,
512,600,600,600,600,600,600,600,600,384,384,12,42,42,32,64,64,40,40,40,40,20,
20,96,96,48,48,26,26,26,26,30,30,30,30,30,30,30,30,42,42,42,42],
[,[1,1,1,1,2,6,6,8,8,3,3,4,3,16,16,14,14,20,20,18,18,6,6,9,25,25,10,13,13,20,
20,18,18,17,15,22,22,23,23,42,42,40,40,46,46,44,44,50,50,48,48,54,54,52,52],[
1,2,3,4,5,1,2,1,2,10,11,12,13,16,17,14,15,20,21,18,19,3,4,5,25,26,27,28,29,32,
33,30,31,35,34,10,11,12,12,40,41,42,43,16,17,14,15,20,21,18,19,25,26,25,26],,[
1,2,3,4,5,6,7,8,9,10,11,12,13,1,2,1,2,1,2,1,2,22,23,24,25,26,27,28,29,3,4,3,4,
5,5,36,37,39,38,42,43,40,41,6,7,6,7,8,9,8,9,52,53,54,55],,[1,2,3,4,5,6,7,8,9,
10,11,12,13,16,17,14,15,20,21,18,19,22,23,24,1,2,27,28,29,32,33,30,31,35,34,
36,37,38,39,42,43,40,41,46,47,44,45,50,51,48,49,6,7,6,7],,,,,,[1,2,3,4,5,6,7,
8,9,10,11,12,13,16,17,14,15,20,21,18,19,22,23,24,25,26,27,28,29,32,33,30,31,
35,34,36,37,38,39,1,2,1,2,46,47,44,45,50,51,48,49,54,55,52,53]],
0,
[(52,54)(53,55),(40,42)(41,43),(38,39),(38,39)(52,54)(53,55),(14,16)(15,17)
(18,20)(19,21)(30,32)(31,33)(34,35)(44,46)(45,47)(48,50)(49,51)],
["ConstructProj",[["G2(4)",[]],["2.G2(4)",[]]]]);
ARC("2.G2(4)","maxes",["2.J2","2.2^(2+8).(3xA5)","2.2^(4+6).(A5x3)",
"Isoclinic(2xU3(4).2)","Isoclinic(6.L3(4).2_3)","Isoclinic(2xU3(3).2)",
"2.A5xA5","2.L2(13)"]);
ALF("2.G2(4)","G2(4)",[1,1,2,2,3,4,4,5,5,6,6,7,8,9,9,10,10,11,11,12,12,13,
13,14,15,15,16,17,17,18,18,19,19,20,21,22,22,23,24,25,25,26,26,27,27,28,
28,29,29,30,30,31,31,32,32]);
ALF("2.G2(4)","2.G2(4).2",[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,14,15,16,
17,16,17,18,19,20,21,22,23,24,25,26,27,26,27,28,28,29,30,31,32,33,34,33,
34,35,36,35,36,37,38,37,38,39,40,39,40],[
"fusion map is unique up to table autom.,\n",
"representative compatible with factors"
]);
ALF("2.G2(4)","Isoclinic(2.G2(4).2)",[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,
14,15,16,17,16,17,18,19,20,21,22,23,24,25,26,27,26,27,28,28,29,30,31,32,
33,34,33,34,35,36,35,36,37,38,37,38,39,40,39,40],[
"fusion map is unique up to table aut."
]);
ALF("2.G2(4)","2.Suz",[1,2,3,4,5,6,7,10,11,12,13,15,14,19,20,19,20,17,18,
17,18,21,22,29,30,31,32,33,34,40,41,40,41,42,42,45,46,49,49,54,55,56,57,
63,64,63,64,59,60,61,62,71,72,73,74],[
"fusion map is unique up to table autom.,\n",
"compatible with Brauer tables and factors"
]);
MOT("2.G2(4).2",
[
"origin: ATLAS of finite groups, tests: 1.o.r."
],
[1006387200,1006387200,245760,245760,7680,241920,241920,720,720,6144,6144,
1536,1024,600,600,600,600,768,768,24,84,84,64,128,128,40,40,20,192,192,96,96,
26,26,30,30,30,30,42,42,24192,384,192,192,432,36,192,192,192,64,48,24,24,28,
28,32,32,32,32,48,48,48,48,48,48],
[,[1,1,1,1,2,6,6,8,8,3,3,4,3,14,14,16,16,6,6,9,21,21,10,13,13,16,16,15,18,18,
19,19,33,33,35,35,37,37,39,39,1,3,5,5,6,8,11,12,12,10,18,20,20,21,21,25,25,25,
25,30,30,31,31,32,32],[1,2,3,4,5,1,2,1,2,10,11,12,13,14,15,16,17,3,4,5,21,22,
23,24,25,26,27,28,10,11,12,12,33,34,14,15,16,17,21,22,41,42,43,44,41,41,47,49,
48,50,42,43,44,55,54,59,58,57,56,47,47,49,48,49,48],,[1,2,3,4,5,6,7,8,9,10,11,
12,13,1,2,1,2,18,19,20,21,22,23,24,25,3,4,5,29,30,32,31,33,34,6,7,8,9,39,40,
41,42,44,43,45,46,47,49,48,50,51,53,52,55,54,57,56,59,58,61,60,65,64,63,62],,[
1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,1,2,23,24,25,26,27,28,29,
30,31,32,33,34,35,36,37,38,6,7,41,42,44,43,45,46,47,48,49,50,51,53,52,41,41,
58,59,56,57,60,61,62,63,64,65],,,,,,[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,1,2,35,36,37,38,39,40,41,42,
44,43,45,46,47,49,48,50,51,53,52,55,54,57,56,59,58,60,61,63,62,65,64]],
0,
[(60,61),(54,55),(48,49)(56,59)(57,58)(62,63)(64,65),(43,44)(52,53)(56,58)
(57,59),(31,32)(62,64)(63,65),(31,32)(60,61)(62,64)(63,65)],
["ConstructProj",[["G2(4).2",[]],["2.G2(4).2",[]]]]);
ARC("2.G2(4).2","CAS",[rec(name:="g2f4c",
permchars:=(17,18),
permclasses:=())]);
ALF("2.G2(4).2","G2(4).2",[1,1,2,2,3,4,4,5,5,6,6,7,8,9,9,10,10,11,11,12,
13,13,14,15,15,16,16,17,18,18,19,20,21,21,22,22,23,23,24,24,25,26,27,27,
28,29,30,31,31,32,33,34,34,35,35,36,36,37,37,38,38,39,39,40,40]);
ALN("2.G2(4).2",["g2f4c"]);
MOT("Isoclinic(2.G2(4).2)",
[
"isoclinic group of the 2.G2(4).2 given in the ATLAS"
],
0,
0,
0,
[(60,61),(54,55),(43,44)(48,49)(52,53)(56,57)(58,59)(62,63)(64,65),(31,32)(62,
64)(63,65),(43,44)(52,53)(56,58)(57,59)],
["ConstructIsoclinic",[["2.G2(4).2"]]]);
ALF("Isoclinic(2.G2(4).2)","G2(4).2",[1,1,2,2,3,4,4,5,5,6,6,7,8,9,9,10,10,11,
11,12,13,13,14,15,15,16,16,17,18,18,19,20,21,21,22,22,23,23,24,24,25,26,27,
27,28,29,30,31,31,32,33,34,34,35,35,36,36,37,37,38,38,39,39,40,40]);
ALF("Isoclinic(2.G2(4).2)","2.Suz.2",[1,2,3,4,5,6,7,10,11,12,13,15,14,19,
20,17,18,21,22,27,28,29,30,31,32,36,37,38,41,42,45,45,48,49,53,54,51,52,
59,60,62,64,65,65,66,68,72,76,77,75,83,85,85,86,86,87,88,87,88,93,93,98,
99,98,99],[
"fusion map is unique up to table automorphisms"
]);
ALN("Isoclinic(2.G2(4).2)",["2.Suz.2M2"]);
MOT("2.Sz(8)",
[
"origin: ATLAS of finite groups, tests: 1.o.r."
],
[58240,58240,64,16,16,10,10,14,14,14,14,14,14,26,26,26,26,26,26],
[,[1,1,1,3,3,6,6,10,10,12,12,8,8,16,16,18,18,14,14],,,[1,2,3,4,5,1,2,10,11,12,
13,8,9,14,15,16,17,18,19],,[1,2,3,5,4,6,7,1,2,1,2,1,2,18,19,14,15,16,
17],,,,,,[1,2,3,4,5,6,7,8,9,10,11,12,13,1,2,1,2,1,2]],
0,
[(14,16,18)(15,17,19),( 8,12,10)( 9,13,11),(4,5)],
["ConstructProj",[["Sz(8)",[]],["2.Sz(8)",[]]]]);
ARC("2.Sz(8)","maxes",["2.2^(3+3):7","2x13:4","2x5:4","D28"]);
ALF("2.Sz(8)","Sz(8)",[1,1,2,3,4,5,5,6,6,7,7,8,8,9,9,10,10,11,11]);
MOT("2^2.Sz(8)",
[
"origin: ATLAS of finite groups, tests: 1.o.r., pow[2,3,5,7,11]"
],
[116480,116480,116480,116480,64,16,16,20,20,20,20,28,28,28,28,28,28,28,28,28,
28,28,28,52,52,52,52,52,52,52,52,52,52,52,52],
[,[1,1,1,1,1,5,5,8,8,8,8,16,16,16,16,20,20,20,20,12,12,12,12,28,28,28,28,32,
32,32,32,24,24,24,24],,,[1,2,3,4,5,6,7,1,2,3,4,16,17,18,19,20,21,22,23,12,13,
14,15,24,25,26,27,28,29,30,31,32,33,34,35],,[1,2,3,4,5,7,6,8,9,10,11,1,2,3,4,
1,2,3,4,1,2,3,4,32,33,34,35,24,25,26,27,28,29,30,31],,,,,,[1,2,3,4,5,6,7,8,9,
10,11,12,13,14,15,16,17,18,19,20,21,22,23,1,2,3,4,1,2,3,4,1,2,3,4]],
0,
[(24,28,32)(25,29,33)(26,30,34)(27,31,35),(12,20,16)(13,21,17)(14,22,18)
(15,23,19),(6,7),( 3, 4)(10,11)(14,15)(18,19)(22,23)(26,27)(30,31)(34,35),
( 2, 3)( 9,10)(13,14)(17,18)(21,22)(25,26)(29,30)(33,34)],
["ConstructV4G","2.Sz(8)",( 2, 3, 4)( 9,10,11)(12,16,20)
(13,18,23)(14,19,21)(15,17,22)(24,28,32)(25,30,35)(26,31,33)(27,29,34)]);
ARC("2^2.Sz(8)","maxes",["2^2.2^(3+3):7","2^2x13:4","5:4x2^2","2^2xD14"]);
ALF("2^2.Sz(8)","2.Sz(8)",[1,1,2,2,3,4,5,6,6,7,7,8,8,9,9,10,10,11,11,12,
12,13,13,14,14,15,15,16,16,17,17,18,18,19,19]);
ALF("2^2.Sz(8)","Sz(8)",[1,1,1,1,2,3,4,5,5,5,5,6,6,6,6,7,7,7,7,8,8,8,8,9,
9,9,9,10,10,10,10,11,11,11,11]);
ALF("2^2.Sz(8)","2^2.Sz(8).3",[1,2,2,2,3,4,5,6,7,7,7,8,9,10,11,8,11,9,10,
8,10,11,9,12,13,14,15,12,15,13,14,12,14,15,13],[
"fusion map determined up to table autom.\n",
"by Brauer tables and factors"
]);
ALN("2^2.Sz(8)",["2^2.Sz(8).3M1"]);
MOT("2^2.Sz(8).3",
[
"origin: ATLAS of finite groups, tests: 1.o.r., pow[2,3,5,7,11],\n",
"(all possibilities of an order 3 table automorphism of 2^2.Sz(8)\n",
"to represent a group automorphism of Sz(8) lead to equivalent tables)"
],
[349440,116480,192,48,48,60,20,28,28,28,28,52,52,52,52,60,60,12,12,12,12,12,
12,15,15],
[,[1,1,1,3,3,6,6,8,8,8,8,12,12,12,12,17,16,17,16,19,18,19,18,25,24],[1,2,3,5,
4,6,7,8,10,11,9,12,15,13,14,1,1,3,3,5,5,4,4,6,6],,[1,2,3,4,5,1,2,8,11,9,10,12,
13,14,15,17,16,19,18,21,20,23,22,17,16],,[1,2,3,5,4,6,7,1,2,2,2,12,14,15,13,
16,17,18,19,22,23,20,21,24,25],,,,,,[1,2,3,4,5,6,7,8,9,10,11,1,2,2,2,16,17,18,
19,20,21,22,23,24,25]],
0,
[(16,17)(18,19)(20,21)(22,23)(24,25),(13,15,14),( 9,10,11),( 4, 5)(20,22)
(21,23)],
["ConstructMGA","2^2.Sz(8)","Sz(8).3",[[12,20,28],[13,21,29],[14,22,30],[15,
23,31],[16,24,32],[17,25,33],[18,26,34],[19,27,35]],()]);
ALF("2^2.Sz(8).3","Sz(8).3",[1,1,2,3,4,5,5,6,6,6,6,7,7,7,7,8,9,10,11,12,
13,14,15,16,17]);
MOT("3.G2(3)",
[
"origin: ATLAS of finite groups, tests: 1.o.r."
],
[12737088,12737088,12737088,1728,1728,1728,5832,5832,729,162,162,288,288,288,
288,288,288,72,72,18,18,21,21,21,24,24,24,24,24,24,27,27,27,36,36,36,36,36,36,
39,39,39,39,39,39],
[,[1,3,2,1,3,2,7,8,9,10,11,4,6,5,4,6,5,7,8,10,11,22,24,23,12,14,13,15,17,16,
31,33,32,18,18,18,19,19,19,43,45,44,40,42,41],[1,1,1,4,4,4,1,1,1,1,1,12,12,12,
15,15,15,4,4,4,4,22,22,22,25,25,25,28,28,28,9,9,9,12,12,12,15,15,15,40,40,40,
43,43,43],,,,[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,1,2,3,25,
26,27,28,29,30,31,32,33,34,35,36,37,38,39,43,44,45,40,41,42],,,,,,[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,1,2,3,1,2,3]],
0,
[(40,43)(41,44)(42,45),(32,33),( 2, 3)( 5, 6)(13,14)(16,17)(23,24)(26,27)
(29,30)(32,33)(35,36)(38,39)(41,42)(44,45),( 2, 3)( 5, 6)(13,14)(16,17)(23,24)
(26,27)(29,30)(35,36)(38,39)(41,42)(44,45),( 7, 8)(12,15)(13,16)(14,17)(18,19)
(25,28)(26,29)(27,30)(34,37)(35,38)(36,39)],
["ConstructProj",[["G2(3)",[]],,["3.G2(3)",[-1,-1,-25,-25,-1,-1,-1,-1,-1,-1,
-1]]]]);
ARC("3.G2(3)","maxes",["3xU3(3).2","3.G2(3)M2","3.(3^(1+2)+x3^2):2S4",
"3.G2(3)M4","3xL3(3).2","3.G2(3)M6","3xL2(8).3","3x2^3.L3(2)","3xL2(13)",
"3.2^(1+4)+:3^2.2"]);
ALF("3.G2(3)","G2(3)",[1,1,1,2,2,2,3,4,5,6,7,8,8,8,9,9,9,10,11,12,13,14,
14,14,15,15,15,16,16,16,17,18,19,20,20,20,21,21,21,22,22,22,23,23,23]);
ALF("3.G2(3)","3.G2(3).2",[1,2,2,3,4,4,5,5,6,7,8,9,10,11,9,11,10,12,12,13,
14,15,16,16,17,18,19,17,19,18,20,21,22,23,24,25,23,25,24,26,27,28,26,28,
27],[
"fusion map is unique up to table autom.,\n",
"representative compatible with factors"
]);
ALF("3.G2(3)","3.O7(3)",[1,2,3,10,11,12,13,18,18,21,20,28,29,30,25,26,27,
51,60,64,63,65,66,67,71,72,73,68,69,70,78,78,78,94,95,96,97,97,97,105,106,
107,102,103,104],[
"fusion map is unique up to table autom.,\n",
"compatible with Brauer tables and factors"
]);
MOT("3.G2(3).2",
[
"origin: ATLAS of finite groups, tests: 1.o.r."
],
[25474176,12737088,3456,1728,5832,1458,324,324,288,288,288,72,36,36,42,21,24,
24,24,54,54,54,36,36,36,39,39,39,3024,48,54,36,36,12,12,14,18,18,18],
[,[1,2,1,2,5,6,7,8,3,4,4,5,7,8,15,16,9,11,10,20,22,21,12,12,12,26,27,28,1,3,6,
8,8,13,13,15,20,22,21],[1,1,3,3,1,1,1,1,9,9,9,3,3,3,15,15,17,17,17,6,6,6,9,9,
9,26,26,26,29,30,29,29,29,30,30,36,31,31,31],,,,[1,2,3,4,5,6,7,8,9,10,11,12,
13,14,1,2,17,18,19,20,21,22,23,24,25,26,28,27,29,30,31,32,33,35,34,29,37,38,
39],,,,,,[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,1,
2,2,29,30,31,32,33,34,35,36,37,38,39]],
0,
[(34,35),(27,28),(21,22)(32,33)(38,39),(10,11)(18,19)(24,25),(10,11)(18,19)
(21,22)(24,25)(27,28)(32,33)(34,35)(38,39)],
["ConstructMGA","3.G2(3)","G2(3).2",[[24,27],[25,26],[28,31],[29,30],[32,
33],[34,37],[35,36],[38,41],[39,40],[42,43],[44,45]],()]);
ALF("3.G2(3).2","G2(3).2",[1,1,2,2,3,4,5,6,7,7,7,8,9,10,11,11,12,12,12,13,
14,15,16,16,16,17,17,17,18,19,20,21,22,23,24,25,26,27,28]);
MOT("F4(2)",
[
"origin: ATLAS of finite groups, tests: 1.o.r."
],
[3311126603366400,47563407360,47563407360,754974720,9437184,4354560,4354560,
46656,7077888,7077888,5505024,5505024,1474560,1474560,196608,196608,65536,
49152,49152,24576,16384,12288,8192,3600,69120,69120,13824,13824,5184,5184,
4608,4608,1152,1152,576,1176,1176,2048,2048,1536,1536,1536,1536,1024,1024,
1024,128,128,54,54,240,240,80,1152,1152,864,864,576,576,576,576,384,384,96,96,
96,96,48,48,48,13,56,56,90,90,64,64,64,64,17,17,18,18,40,40,21,21,48,48,48,48,
28,28,30,30],
[,[1,1,1,1,1,6,7,8,2,3,2,3,4,4,2,3,4,4,4,5,4,5,5,24,6,7,6,7,8,8,6,7,6,7,8,36,
37,17,17,11,12,9,10,17,17,17,20,23,49,50,24,24,24,27,28,29,30,31,32,31,32,27,
28,31,32,29,30,35,35,35,71,36,37,74,75,38,39,46,46,80,81,49,50,53,53,86,87,62,
63,54,55,72,73,74,75],[1,2,3,4,5,1,1,1,9,10,11,12,13,14,15,16,17,18,19,20,21,
22,23,24,2,3,3,2,2,3,4,4,5,5,5,36,37,38,39,40,41,42,43,44,45,46,47,48,8,8,51,
52,53,10,9,9,10,13,13,14,14,12,11,18,19,15,16,20,22,22,71,72,73,24,24,76,77,
79,78,81,80,29,30,84,85,36,37,41,40,43,42,92,93,51,52],,[1,2,3,4,5,6,7,8,9,10,
11,12,13,14,15,16,17,18,19,20,21,22,23,1,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,2,3,4,54,55,56,57,58,59,60,61,62,63,
64,65,66,67,68,70,69,71,72,73,6,7,76,77,78,79,81,80,82,83,13,14,86,87,88,89,
90,91,92,93,25,26],,[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,1,1,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,65,66,67,68,69,70,71,2,3,74,
75,76,77,79,78,81,80,82,83,84,85,6,7,88,89,90,91,11,12,94,95],,,,,,[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,65,66,67,68,69,70,1,72,73,74,75,76,77,78,79,80,81,82,83,84,
85,86,87,88,89,90,91,92,93,94,95],,,,[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,65,66,67,68,
70,69,71,72,73,74,75,76,77,78,79,1,1,82,83,84,85,86,87,88,89,90,91,92,93,94,
95]],
[[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],[833,-63,-63,65,1,14,14,-4,25,25,-7,-7,5,
-27,-7,-7,1,-3,-3,9,5,-3,1,8,-6,-6,6,6,0,0,2,2,-2,-2,4,0,0,1,-7,1,1,-3,-3,1,1,
5,1,1,2,2,2,2,0,-2,-2,-2,-2,-4,-4,0,0,2,2,0,0,2,2,0,0,0,1,0,0,-1,-1,1,1,-1,-1,
0,0,0,0,0,-2,0,0,-2,-2,0,0,0,0,-1,-1],[1105,209,-47,81,17,34,7,-2,9,25,41,-7,
-11,21,9,-7,1,-3,13,9,5,-3,1,5,14,-5,10,-1,2,-2,6,3,2,-1,2,-1,6,-3,5,1,-3,5,1,
-3,5,1,1,1,1,1,-1,3,1,-2,3,0,-2,4,1,0,-3,2,-1,0,1,0,2,0,0,0,0,-1,2,-1,2,-1,-1,
1,1,0,0,-1,1,-1,1,-1,0,0,1,-2,-1,-1,0,-1,0],[1105,-47,209,81,17,7,34,-2,25,9,
-7,41,-11,21,-7,9,1,13,-3,9,5,-3,1,5,-5,14,-1,10,-2,2,3,6,-1,2,2,6,-1,-3,5,-3,
1,1,5,5,-3,1,1,1,1,1,3,-1,1,3,-2,-2,0,1,4,-3,0,-1,2,1,0,2,0,0,0,0,0,2,-1,2,-1,
-1,-1,1,1,0,0,1,-1,-1,1,0,-1,1,0,-1,-2,0,-1,0,-1],[1326,174,174,46,-18,21,21,
3,-10,-10,22,22,26,-6,-10,-10,14,2,2,6,-6,2,-2,1,9,9,-3,-3,3,3,1,1,-3,-3,3,3,
3,6,-2,-2,-2,2,2,-2,-2,2,-2,2,0,0,-1,-1,1,5,5,-1,-1,-1,-1,3,3,1,1,-1,-1,-1,-1,
3,-1,-1,0,-1,-1,1,1,-2,2,0,0,0,0,0,0,1,-1,0,0,1,1,-1,-1,1,1,-1,-1],[1377,225,
225,97,33,27,27,0,9,9,41,41,37,5,9,9,1,13,13,9,5,-3,1,2,15,15,3,3,0,0,7,7,3,3,
0,5,5,9,1,5,5,1,1,1,1,-3,1,1,0,0,0,0,2,3,3,0,0,1,1,5,5,-1,-1,1,1,0,0,0,0,0,-1,
1,1,2,2,1,1,-1,-1,0,0,0,0,2,0,-1,-1,-1,-1,1,1,-1,-1,0,0],[21658,-742,-742,410,
-38,49,49,4,18,18,-14,-14,30,62,18,18,-6,-10,-10,18,-2,6,-6,8,-19,-19,-7,-7,
-4,-4,5,5,1,1,4,0,0,2,10,2,2,-2,-2,-6,-6,6,-2,2,1,1,-2,-2,0,-3,-3,0,0,3,3,-1,
-1,1,1,-1,-1,0,0,0,0,0,0,0,0,-1,-1,-2,2,0,0,0,0,-1,-1,0,2,0,0,-1,-1,1,1,0,0,1,
1],[22932,1428,1428,404,148,63,63,9,84,84,84,84,84,84,20,20,20,20,20,4,20,4,4,
7,15,15,15,15,-3,-3,-1,-1,7,7,1,0,0,4,4,4,4,4,4,4,4,4,0,0,0,0,3,3,-1,3,3,3,3,
3,3,3,3,3,3,-1,-1,-1,-1,1,1,1,0,0,0,-2,-2,0,0,0,0,-1,-1,0,0,-1,-1,0,0,1,1,1,1,
0,0,0,0],[23205,1701,-603,421,37,84,57,12,69,-43,133,-43,-51,-51,5,-11,-11,-3,
13,21,-3,-3,5,5,36,-15,-12,9,0,0,4,1,4,1,4,0,7,-7,-7,1,-3,1,-3,1,-7,1,1,1,0,0,
1,-3,1,-4,9,6,2,0,-3,0,-3,-4,1,0,1,2,-2,0,0,0,0,0,-1,-1,2,-1,-1,-1,-1,0,0,0,0,
-1,-1,0,1,0,1,0,1,0,-1,1,0],[23205,-603,1701,421,37,57,84,12,-43,69,-43,133,
-51,-51,-11,5,-11,13,-3,21,-3,-3,5,5,-15,36,9,-12,0,0,1,4,1,4,4,7,0,-7,-7,-3,
1,-3,1,-7,1,1,1,1,0,0,-3,1,1,9,-4,2,6,-3,0,-3,0,1,-4,1,0,-2,2,0,0,0,0,-1,0,2,
-1,-1,-1,-1,-1,0,0,0,0,-1,-1,1,0,1,0,1,0,-1,0,0,1],[44200,3240,680,680,168,
190,-35,1,104,8,232,8,40,40,40,8,8,8,40,8,8,8,8,0,30,5,14,-3,9,5,14,5,6,-3,-3,
-5,9,0,0,8,0,8,0,0,0,0,0,0,-2,1,0,0,0,2,-7,5,-1,-2,1,-2,1,2,1,2,1,1,-1,-1,-1,
-1,0,-1,1,0,0,0,0,0,0,0,0,0,-1,0,0,1,0,0,-1,0,-1,1,1,0,0],[44200,680,3240,680,
168,-35,190,1,8,104,8,232,40,40,8,40,8,40,8,8,8,8,8,0,5,30,-3,14,5,9,5,14,-3,
6,-3,9,-5,0,0,0,8,0,8,0,0,0,0,0,1,-2,0,0,0,-7,2,-1,5,1,-2,1,-2,1,2,1,2,-1,1,
-1,-1,-1,0,1,-1,0,0,0,0,0,0,0,0,-1,0,0,0,0,1,-1,0,-1,0,1,1,0,0],[63700,980,
980,-300,-44,70,70,-20,164,164,-28,-28,20,20,4,4,-12,4,4,-12,-12,-12,20,0,-10,
-10,-10,-10,8,8,6,6,-2,-2,4,0,0,-4,-4,0,0,0,0,4,4,-4,4,-4,1,1,0,0,0,2,2,2,2,2,
2,2,2,2,2,-2,-2,-2,-2,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],[99450,5370,-2310,890,-70,225,90,-18,-78,18,274,-14,-130,30,-14,18,-6,-10,
22,18,-2,6,-6,0,45,-30,9,-6,6,-6,5,2,-7,2,2,1,8,-6,2,-6,2,6,-2,2,2,-2,-2,2,0,
0,0,0,0,-3,6,-6,0,-1,2,3,-6,1,-2,-1,-2,-2,0,0,0,0,0,1,0,0,0,2,-2,0,0,0,0,0,0,
0,0,1,-1,-1,0,1,0,1,0,0,0],[99450,-2310,5370,890,-70,90,225,-18,18,-78,-14,
274,-130,30,18,-14,-6,22,-10,18,-2,6,-6,0,-30,45,-6,9,-6,6,2,5,2,-7,2,8,1,-6,
2,2,-6,-2,6,2,2,-2,-2,2,0,0,0,0,0,6,-3,0,-6,2,-1,-6,3,-2,1,-2,-1,0,-2,0,0,0,0,
0,1,0,0,2,-2,0,0,0,0,0,0,0,0,-1,1,0,-1,0,1,0,1,0,0],[142884,-2268,-2268,36,36,
0,0,0,-108,-108,84,84,36,36,-12,-12,4,-12,-12,-12,4,-12,20,9,0,0,0,0,0,0,0,0,
0,0,0,0,0,-4,-4,0,0,0,0,4,4,-4,0,0,0,0,-3,-3,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,1,0,0,0,0,0,0,4*E(4),-4*E(4),-1,-1,0,0,1,1,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[16,3]],[162435,3843,-1533,643,-189,21,21,3,59,267,91,-21,-25,135,-5,
43,-13,-17,-1,11,-9,-1,3,10,21,9,21,-3,-9,15,-11,1,-3,-3,3,0,0,-1,7,-5,7,-1,
-5,-1,7,3,-1,-1,0,0,-2,2,-2,-3,5,5,-3,5,-1,-3,3,-3,1,1,-1,1,1,-1,-1,-1,0,0,0,
1,1,1,1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,-1,0,0,1,-1],[162435,-1533,3843,643,-189,
21,21,3,267,59,-21,91,-25,135,43,-5,-13,-1,-17,11,-9,-1,3,10,9,21,-3,21,15,-9,
1,-11,-3,-3,3,0,0,-1,7,7,-5,-5,-1,7,-1,3,-1,-1,0,0,2,-2,-2,5,-3,-3,5,-1,5,3,
-3,1,-3,-1,1,1,1,-1,-1,-1,0,0,0,1,1,1,1,-1,-1,0,0,0,0,0,0,0,0,1,1,-1,1,0,0,-1,
1],[183600,-720,-720,-720,48,0,0,-27,48,48,48,48,0,0,-16,-16,-16,0,0,16,0,32,
-16,0,0,0,0,0,9,9,0,0,0,0,-3,-3,-3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,3,3,0,
0,0,0,0,0,0,0,-1,-1,1,3*E(3)-E(3)^2,-E(3)+3*E(3)^2,1,1,1,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,-1,-1,0,0],
[GALOIS,[20,2]],[216580,-252,-3836,516,4,112,49,-14,308,-108,-140,84,4,-124,
-44,-12,4,-12,20,-12,4,-12,20,5,0,-11,16,9,18,-2,0,-3,-8,1,-2,0,0,4,4,8,0,-8,
0,-4,-4,4,0,0,-2,1,3,-1,1,0,5,2,0,4,-5,-4,-1,0,1,0,-1,-2,0,0,0,0,0,0,0,2,-1,0,
0,0,0,0,0,0,1,-1,1,0,0,0,-1,0,1,0,0,0,-1],[216580,-3836,-252,516,4,49,112,-14,
-108,308,84,-140,4,-124,-12,-44,4,20,-12,-12,4,-12,20,5,-11,0,9,16,-2,18,-3,0,
1,-8,-2,0,0,4,4,0,8,0,-8,-4,-4,4,0,0,1,-2,-1,3,1,5,0,0,2,-5,4,-1,-4,1,0,-1,0,
0,-2,0,0,0,0,0,0,-1,2,0,0,0,0,0,0,1,0,-1,1,0,0,-1,0,1,0,0,0,-1,0],[249900,
7980,7980,1580,172,105,105,-39,-68,-68,252,252,260,-60,-4,-4,-20,20,20,12,4,4,
-4,0,45,45,-15,-15,-3,-3,5,5,1,1,1,0,0,12,-4,4,4,-4,-4,-4,-4,4,0,0,0,0,0,0,0,
1,1,-5,-5,-1,-1,3,3,-3,-3,-1,-1,-1,-1,-3,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,1,1,-1,-1,0,0,0,0],[269892,-4284,-4284,2116,-60,189,189,0,180,180,-140,-140,
76,-244,-12,-12,4,-4,-4,36,12,12,-12,17,-39,-39,21,21,0,0,1,1,-3,-3,0,0,0,4,
-12,4,4,-4,-4,4,4,-4,0,0,0,0,1,1,1,-3,-3,0,0,-5,-5,-1,-1,1,1,-1,-1,0,0,0,0,0,
-1,0,0,-1,-1,0,0,0,0,0,0,0,0,1,1,0,0,1,1,-1,-1,0,0,1,1],[270725,1925,1925,
-635,133,140,140,-31,37,37,-91,-91,5,5,37,37,69,-27,-27,-11,5,-11,-11,0,20,20,
-4,-4,17,17,4,4,4,4,1,0,0,5,5,-3,-3,-3,-3,5,5,5,1,1,-1,-1,0,0,0,4,4,1,1,-4,-4,
-4,-4,-4,-4,0,0,1,1,1,1,1,0,0,0,0,0,1,1,1,1,0,0,-1,-1,0,0,0,0,0,0,0,0,0,0,0,
0],[322218,810,810,1962,234,0,0,0,162,162,-126,-126,-18,270,-30,-30,10,6,6,18,
14,6,-6,18,0,0,0,0,0,0,0,0,0,0,0,-6,-6,2,10,-6,-6,6,6,-6,-6,6,2,-2,0,0,0,0,2,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-2,-2,0,0,2,-2,0,0,0,0,0,0,2,0,0,0,0,0,0,
0,0,0,0,0],[348075,12075,4395,1195,-149,315,-90,18,-45,51,371,83,175,15,-45,
-13,-21,-9,23,3,-17,-9,-5,0,15,30,3,6,6,-6,7,-2,-5,-2,-2,0,7,11,3,-9,-1,3,-5,
3,3,-1,-1,-1,0,0,0,0,0,3,-6,0,6,1,-2,-3,6,-1,2,-3,2,0,2,0,0,0,0,0,-1,0,0,-1,
-1,1,1,0,0,0,0,0,0,0,1,-1,0,1,0,0,-1,0,0],[348075,4395,12075,1195,-149,-90,
315,18,51,-45,83,371,175,15,-13,-45,-21,23,-9,3,-17,-9,-5,0,30,15,6,3,-6,6,-2,
7,-2,-5,-2,7,0,11,3,-1,-9,-5,3,3,3,-1,-1,-1,0,0,0,0,0,-6,3,6,0,-2,1,6,-3,2,-1,
2,-3,2,0,0,0,0,0,-1,0,0,0,-1,-1,1,1,0,0,0,0,0,0,1,0,0,-1,0,1,-1,0,0,0],[
358020,10116,-3708,644,132,216,-27,0,180,-108,244,84,-124,4,84,-12,4,-12,20,
-12,4,-12,20,-5,-24,-15,24,-3,0,0,8,-7,0,-3,0,5,-2,4,4,-8,0,8,0,-4,-4,4,0,0,0,
0,1,-3,-1,0,-3,0,0,-4,-1,4,-5,0,1,0,-1,0,0,0,0,0,0,1,2,1,-2,0,0,0,0,0,0,0,0,1,
-1,-1,1,0,1,0,-1,-1,0,1,0],[358020,-3708,10116,644,132,-27,216,0,-108,180,84,
244,-124,4,-12,84,4,20,-12,-12,4,-12,20,-5,-15,-24,-3,24,0,0,-7,8,-3,0,0,-2,5,
4,4,0,-8,0,8,-4,-4,4,0,0,0,0,-3,1,-1,-3,0,0,0,-1,-4,-5,4,1,0,-1,0,0,0,0,0,0,0,
2,1,-2,1,0,0,0,0,0,0,0,0,1,-1,1,-1,1,0,-1,0,0,-1,0,1],[519792,3696,3696,-400,
368,-84,-84,42,112,112,112,112,0,0,48,48,48,0,0,16,0,32,-16,-8,-36,-36,12,12,
6,6,-4,-4,-4,-4,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-4,-4,0,4,4,4,4,0,0,0,0,4,4,0,
0,0,0,-2,2,2,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1],[541450,
17290,-630,2570,330,280,-35,-8,-62,162,546,-126,-50,110,66,-30,10,6,38,18,14,
6,-6,0,40,-15,24,-11,-8,0,8,-7,0,-3,0,0,0,-6,2,2,-6,-2,6,2,2,-2,2,-2,1,-2,0,0,
0,0,1,-8,0,4,-5,-4,-1,0,-3,0,-1,0,0,0,0,0,0,0,0,0,0,-2,2,0,0,0,0,1,0,0,0,0,0,
0,-1,0,1,0,0,0,0],[541450,-630,17290,2570,330,-35,280,-8,162,-62,-126,546,-50,
110,-30,66,10,38,6,18,14,6,-6,0,-15,40,-11,24,0,-8,-7,8,-3,0,0,0,0,-6,2,-6,2,
6,-2,2,2,-2,2,-2,-2,1,0,0,0,1,0,0,-8,-5,4,-1,-4,-3,0,-1,0,0,0,0,0,0,0,0,0,0,0,
-2,2,0,0,0,0,0,1,0,0,0,0,-1,0,1,0,0,0,0,0],[541450,3850,-5110,10,-118,-35,-35,
46,362,154,42,154,-30,-30,-86,-6,-6,-14,34,-6,-14,18,10,0,-35,5,-19,13,-2,2,
13,-11,5,5,2,0,0,6,6,-2,2,-2,2,-2,6,-2,-2,-2,1,1,0,0,0,1,5,2,-8,-3,-3,-3,-3,1,
-3,1,1,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,-1,0,0,0,0,-1,1,-1,1,0,0,0,0],[
541450,-5110,3850,10,-118,-35,-35,46,154,362,154,42,-30,-30,-6,-86,-6,34,-14,
-6,-14,18,10,0,5,-35,13,-19,2,-2,-11,13,5,5,2,0,0,6,6,2,-2,2,-2,6,-2,-2,-2,-2,
1,1,0,0,0,5,1,-8,2,-3,-3,-3,-3,-3,1,1,1,0,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,1,
0,0,0,0,1,-1,1,-1,0,0,0,0],[584766,12222,12222,1854,510,0,0,27,6,6,294,294,
234,-54,70,70,30,18,18,6,10,2,-2,-9,0,0,0,0,-9,-9,0,0,0,0,3,0,0,6,-2,6,6,-6,
-6,-2,-2,2,2,-2,0,0,-3,-3,-1,0,0,-3,-3,0,0,0,0,0,0,0,0,1,1,3,-1,-1,0,0,0,0,0,
2,-2,0,0,0,0,0,0,-1,1,0,0,0,0,0,0,0,0,0,0],[626535,5607,-8217,2663,39,-189,
216,0,351,63,63,-97,-85,-245,63,-33,7,-29,3,15,11,3,7,10,39,-24,-21,24,0,0,-1,
8,3,0,0,0,-7,-1,-9,-9,-1,3,-5,-1,-1,3,-1,-1,0,0,2,-2,-2,3,0,0,0,5,-4,1,4,-1,0,
1,0,0,0,0,0,0,0,0,1,1,1,-1,-1,1,1,0,0,0,0,0,0,0,-1,-1,0,1,0,0,1,-1,1],[626535,
-8217,5607,2663,39,216,-189,0,63,351,-97,63,-85,-245,-33,63,7,3,-29,15,11,3,7,
10,-24,39,24,-21,0,0,8,-1,0,3,0,-7,0,-1,-9,-1,-9,-5,3,-1,-1,3,-1,-1,0,0,-2,2,
-2,0,3,0,0,-4,5,4,1,0,-1,0,1,0,0,0,0,0,0,1,0,1,1,-1,-1,1,1,0,0,0,0,0,0,-1,0,0,
-1,0,1,1,0,1,-1],[812175,19215,-7665,3215,79,105,105,15,39,55,455,-105,-205,
-45,-25,-41,-1,-37,43,7,3,-5,-1,0,45,-15,-15,9,-9,3,5,17,1,1,-5,0,0,-5,3,-1,
-5,-13,-1,-5,3,-1,-1,-1,0,0,0,0,0,1,-3,3,1,-1,5,3,-3,-3,5,-1,1,-1,1,1,1,1,0,0,
0,0,0,1,1,-1,-1,0,0,0,0,0,0,0,0,1,-1,-1,-1,0,0,0,0],[812175,-7665,19215,3215,
79,105,105,15,55,39,-105,455,-205,-45,-41,-25,-1,43,-37,7,3,-5,-1,0,-15,45,9,
-15,3,-9,17,5,1,1,-5,0,0,-5,3,-5,-1,-1,-13,3,-5,-1,-1,-1,0,0,0,0,0,-3,1,1,3,5,
-1,-3,3,5,-3,1,-1,1,-1,1,1,1,0,0,0,0,0,1,1,-1,-1,0,0,0,0,0,0,0,0,-1,1,-1,-1,0,
0,0,0],[877149,14301,14301,349,-483,189,189,0,-27,-27,133,133,289,1,-27,-27,
61,-23,-23,21,1,9,13,-1,21,21,-3,-3,0,0,-11,-11,-3,-3,0,0,0,5,-3,-7,-7,5,5,-3,
-3,-7,1,1,0,0,1,1,-1,9,9,0,0,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,-1,-1,1,1,-1,-1,
0,0,0,0,-1,1,0,0,-1,-1,-1,-1,0,0,1,1],[877149,-9891,-9891,4189,93,189,189,0,
45,45,-147,-147,109,109,-51,-51,-3,-35,-35,45,13,-3,13,-1,-51,-51,-3,-3,0,0,
13,13,-3,-3,0,0,0,5,5,1,1,1,1,-3,-3,-11,1,1,0,0,-1,-1,-1,-3,-3,0,0,1,1,1,1,-3,
-3,1,1,0,0,0,0,0,0,0,0,-1,-1,1,1,1,1,0,0,0,0,-1,-1,0,0,1,1,1,1,0,0,-1,-1],[
947700,14580,14580,3060,756,0,0,0,324,324,132,132,180,180,36,36,20,36,36,-12,
20,-12,20,0,0,0,0,0,0,0,0,0,0,0,0,-9,-9,-4,-4,0,0,0,0,4,4,-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,-1,-1,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,
-1,-1,0,0],[1082900,-10220,-10220,2580,20,245,245,-16,-268,-268,-140,-140,100,
100,52,52,20,4,4,36,-28,-12,4,0,-35,-35,-11,-11,4,4,-3,-3,5,5,8,0,0,4,4,-4,-4,
-4,-4,4,4,4,0,0,-1,-1,0,0,0,-7,-7,2,2,1,1,1,1,1,1,1,1,-2,-2,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,1,1,0,0,0,0,-1,-1,-1,-1,0,0,0,0],[1299480,19992,-12264,536,-360,357,
-21,24,-200,408,56,280,-176,144,-40,-8,24,-16,16,-24,16,0,-8,5,-15,-9,-3,3,12,
12,-7,-1,-3,3,0,0,0,8,-8,-4,4,4,-4,0,0,0,0,0,0,0,-3,1,1,-3,-5,-2,-6,7,1,3,-3,
1,-1,-1,1,2,-2,0,0,0,0,0,0,2,-1,0,0,0,0,0,0,0,0,-1,-1,0,0,1,-1,-1,1,0,0,0,1],[
1299480,-12264,19992,536,-360,-21,357,24,408,-200,280,56,-176,144,-8,-40,24,
16,-16,-24,16,0,-8,5,-9,-15,3,-3,12,12,-1,-7,3,-3,0,0,0,8,-8,4,-4,-4,4,0,0,0,
0,0,0,0,1,-3,1,-5,-3,-6,-2,1,7,-3,3,-1,1,1,-1,-2,2,0,0,0,0,0,0,-1,2,0,0,0,0,0,
0,0,0,-1,-1,0,0,-1,1,1,-1,0,0,1,0],[1342575,29295,-5265,2415,-273,405,0,0,-81,
-225,495,-97,-105,-105,-81,63,31,7,-9,15,-25,-9,-1,0,45,0,-27,0,0,0,-3,0,-3,0,
0,-4,3,-5,-5,3,7,3,7,3,-5,3,-1,-1,0,0,0,0,0,-3,0,0,0,-3,0,-3,0,5,0,1,0,0,0,0,
0,0,0,0,-1,0,0,1,1,1,1,0,0,0,0,0,0,-1,0,1,0,1,0,-2,1,0,0],[1342575,-5265,
29295,2415,-273,0,405,0,-225,-81,-97,495,-105,-105,63,-81,31,-9,7,15,-25,-9,
-1,0,0,45,0,-27,0,0,0,-3,0,-3,0,3,-4,-5,-5,7,3,7,3,-5,3,3,-1,-1,0,0,0,0,0,0,
-3,0,0,0,-3,0,-3,0,5,0,1,0,0,0,0,0,0,-1,0,0,0,1,1,1,1,0,0,0,0,0,0,0,-1,0,1,0,
1,1,-2,0,0],[1949220,35364,3108,2084,292,441,63,36,36,-252,420,-252,36,36,36,
-60,-60,4,-28,-12,4,-12,-12,-5,9,15,9,15,12,12,-7,-1,1,7,4,0,0,-4,-4,4,-4,4,
-4,-4,-4,-4,0,0,0,0,-1,3,-1,-3,3,0,0,-3,3,-3,3,-3,3,1,-1,0,0,0,0,0,0,0,0,1,-2,
0,0,0,0,0,0,0,0,1,1,0,0,-1,1,-1,1,0,0,-1,0],[1949220,3108,35364,2084,292,63,
441,36,-252,36,-252,420,36,36,-60,36,-60,-28,4,-12,4,-12,-12,-5,15,9,15,9,12,
12,-1,-7,7,1,4,0,0,-4,-4,-4,4,-4,4,-4,-4,-4,0,0,0,0,3,-1,-1,3,-3,0,0,3,-3,3,
-3,3,-3,-1,1,0,0,0,0,0,0,0,0,-2,1,0,0,0,0,0,0,0,0,1,1,0,0,1,-1,1,-1,0,0,0,
-1],[2165800,15400,-2520,-2520,296,490,175,22,872,-56,-280,-56,-40,-40,-24,8,
8,-8,-40,-24,-8,24,8,0,10,15,-6,-17,10,-18,-6,15,2,-1,2,0,0,0,0,8,0,8,0,0,0,0,
0,0,1,-2,0,0,0,-2,-1,8,-2,2,-1,2,-1,-2,-1,-2,-1,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,1,0,0,0,0,0,0,-1,0,-1,0,0,0,0],[2165800,-2520,15400,-2520,296,175,490,22,
-56,872,-56,-280,-40,-40,8,-24,8,-40,-8,-24,-8,24,8,0,15,10,-17,-6,-18,10,15,
-6,-1,2,2,0,0,0,0,0,8,0,8,0,0,0,0,0,-2,1,0,0,0,-1,-2,-2,8,-1,2,-1,2,-1,-2,-1,
-2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,-1,0,-1,0,0,0,0,0],[2784600,
-10920,-18600,1880,-40,-315,225,-18,408,504,280,-8,80,-240,-8,24,24,-48,-16,
-24,16,0,-8,0,-15,45,-3,9,6,-6,-7,5,5,-7,2,0,7,-8,8,-4,4,4,-4,0,0,0,0,0,0,0,0,
0,0,-3,-3,-6,0,-1,-1,3,3,1,1,3,-1,-2,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,
1,1,-1,-1,1,0,-1,0,0],[2784600,-18600,-10920,1880,-40,225,-315,-18,504,408,-8,
280,80,-240,24,-8,24,-16,-48,-24,16,0,-8,0,45,-15,9,-3,-6,6,5,-7,-7,5,2,7,0,
-8,8,4,-4,-4,4,0,0,0,0,0,0,0,0,0,0,-3,-3,0,-6,-1,-1,3,3,1,1,-1,3,0,-2,0,0,0,0,
-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,-1,1,1,-1,-1,0,0,0],[2828800,43520,2560,2560,
512,280,-260,-44,512,0,512,0,0,0,0,0,0,0,0,0,0,0,0,0,-40,-20,-8,-4,-4,4,-8,
-20,8,-4,-4,9,2,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,-4,8,0,0,0,0,0,0,-4,0,0,0,0,
0,0,0,0,1,-2,0,0,0,0,0,0,0,0,-1,1,0,0,0,-1,0,0,0,0,1,0,0,0],[2828800,2560,
43520,2560,512,-260,280,-44,0,512,0,512,0,0,0,0,0,0,0,0,0,0,0,0,-20,-40,-4,-8,
4,-4,-20,-8,-4,8,-4,2,9,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,-4,0,0,8,0,0,0,0,-4,0,
0,0,0,0,0,0,0,0,-2,1,0,0,0,0,0,0,0,0,1,-1,0,0,-1,0,0,0,0,0,0,1,0,0],[3411968,
-28672,-28672,4096,0,392,392,32,0,0,0,0,256,-256,0,0,0,0,0,0,0,0,0,-7,-40,-40,
8,8,-16,-16,-8,-8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,3,3,1,0,0,0,0,4,4,-4,
-4,0,0,0,0,0,0,0,0,0,1,0,0,2,2,0,0,0,0,0,0,-1,-1,1,-1,0,0,0,0,0,0,0,0,0,0],[
3898440,16968,-15288,2632,584,-441,504,-9,168,-120,168,-504,-120,-120,40,-56,
40,8,-24,8,-24,8,8,-10,-9,24,-9,24,3,3,7,-8,-1,8,-1,0,0,0,0,0,-8,0,-8,0,0,0,0,
0,0,0,-2,2,2,3,0,-3,-3,3,0,3,0,3,0,-1,0,1,1,-1,-1,-1,0,0,0,-1,-1,0,0,0,0,0,0,
0,0,0,0,0,0,1,0,1,0,0,0,1,-1],[3898440,-15288,16968,2632,584,504,-441,-9,-120,
168,-504,168,-120,-120,-56,40,40,-24,8,8,-24,8,8,-10,24,-9,24,-9,3,3,-8,7,8,
-1,-1,0,0,0,0,-8,0,-8,0,0,0,0,0,0,0,0,2,-2,2,0,3,-3,-3,0,3,0,3,0,3,0,-1,1,1,
-1,-1,-1,0,0,0,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,0,-1,1],[4331600,-5040,
-40880,5200,-432,-280,350,17,-112,80,-112,336,80,80,16,80,16,-48,16,-16,16,
-16,-16,0,0,-50,-8,-18,9,-11,16,-2,0,6,-3,0,0,0,0,0,0,0,0,0,0,0,0,0,2,-1,0,0,
0,8,2,5,-1,-4,2,-4,2,0,2,0,-2,1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,
0,0,0,0,0,0,0,0],[4331600,-40880,-5040,5200,-432,350,-280,17,80,-112,336,-112,
80,80,80,16,16,16,-48,-16,16,-16,-16,0,-50,0,-18,-8,-11,9,-2,16,6,0,-3,0,0,0,
0,0,0,0,0,0,0,0,0,0,-1,2,0,0,0,2,8,-1,5,2,-4,2,-4,2,0,-2,0,-1,1,-1,-1,-1,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],[4385745,47313,-1071,209,-687,
378,-189,0,-351,369,161,49,41,41,-63,-15,65,41,-7,-15,-7,9,1,-5,-30,-21,-6,3,
0,0,2,11,-6,3,0,0,0,-3,-3,1,-3,1,-3,-3,5,5,1,1,0,0,3,-1,-1,6,-9,0,0,2,-1,2,-1,
-2,-1,2,-1,0,0,0,0,0,0,0,0,-2,1,-1,-1,-1,-1,0,0,0,0,1,1,0,0,0,1,0,1,0,0,0,
-1],[4385745,-1071,47313,209,-687,-189,378,0,369,-351,49,161,41,41,-15,-63,65,
-7,41,-15,-7,9,1,-5,-21,-30,3,-6,0,0,11,2,3,-6,0,0,0,-3,-3,-3,1,-3,1,5,-3,5,1,
1,0,0,-1,3,-1,-9,6,0,0,-1,2,-1,2,-1,-2,-1,2,0,0,0,0,0,0,0,0,1,-2,-1,-1,-1,-1,
0,0,0,0,1,1,0,0,1,0,1,0,0,0,-1,0],[4385745,23121,-25263,4049,-111,-189,378,0,
-279,441,-119,-231,-139,149,-87,-39,1,29,-19,9,5,-3,1,-5,51,-30,3,-6,0,0,-13,
2,3,-6,0,0,0,-3,5,9,5,-3,-7,-3,5,1,1,1,0,0,1,-3,-1,3,6,0,0,-1,2,-1,2,3,-2,-1,
2,0,0,0,0,0,0,0,0,1,-2,-1,-1,1,1,0,0,0,0,1,-1,0,0,-1,0,-1,0,0,0,1,0],[4385745,
-25263,23121,4049,-111,378,-189,0,441,-279,-231,-119,-139,149,-39,-87,1,-19,
29,9,5,-3,1,-5,-30,51,-6,3,0,0,2,-13,-6,3,0,0,0,-3,5,5,9,-7,-3,5,-3,1,1,1,0,0,
-3,1,-1,6,3,0,0,2,-1,2,-1,-2,3,2,-1,0,0,0,0,0,0,0,0,-2,1,-1,-1,1,1,0,0,0,0,1,
-1,0,0,0,-1,0,-1,0,0,0,1],[4526080,36864,-28672,4096,0,-56,232,16,0,0,0,0,
-256,256,0,0,0,0,0,0,0,0,0,5,24,-40,8,-24,0,-16,-8,-8,0,0,0,6,-8,0,0,0,0,0,0,
0,0,0,0,0,-2,1,-1,3,1,0,0,0,0,-4,-4,4,4,0,0,0,0,0,0,0,0,0,0,2,0,-1,2,0,0,0,0,
0,0,0,-1,-1,1,0,1,0,0,0,0,0,0,-1,0],[4526080,-28672,36864,4096,0,232,-56,16,0,
0,0,0,-256,256,0,0,0,0,0,0,0,0,0,5,-40,24,-24,8,-16,0,-8,-8,0,0,0,-8,6,0,0,0,
0,0,0,0,0,0,0,0,1,-2,3,-1,1,0,0,0,0,-4,-4,4,4,0,0,0,0,0,0,0,0,0,0,0,2,2,-1,0,
0,0,0,0,0,-1,0,-1,1,1,0,0,0,0,0,0,0,0,-1],[5012280,44856,31032,1336,-72,189,
27,0,-72,-360,56,-104,304,-16,24,-72,-8,-16,16,-24,-16,0,-8,5,-39,15,21,3,0,0,
1,7,-3,3,0,0,-7,-8,8,-4,4,4,-4,0,0,0,0,0,0,0,1,-3,1,-3,3,0,0,-5,1,-1,5,1,-1,
-1,1,0,0,0,0,0,0,0,1,-1,2,0,0,0,0,0,0,0,0,-1,-1,0,-1,1,-1,-1,1,0,1,1,0],[
5012280,31032,44856,1336,-72,27,189,0,-360,-72,-104,56,304,-16,-72,24,-8,16,
-16,-24,-16,0,-8,5,15,-39,3,21,0,0,7,1,3,-3,0,-7,0,-8,8,4,-4,-4,4,0,0,0,0,0,0,
0,-3,1,1,3,-3,0,0,1,-5,5,-1,-1,1,1,-1,0,0,0,0,0,0,1,0,2,-1,0,0,0,0,0,0,0,0,-1,
-1,-1,0,-1,1,1,-1,1,0,0,1],[5640192,36864,36864,4096,0,-216,-216,0,0,0,0,0,
256,-256,0,0,0,0,0,0,0,0,0,17,24,24,-24,-24,0,0,-8,-8,0,0,0,-2,-2,0,0,0,0,0,0,
0,0,0,0,0,0,0,-1,-1,1,0,0,0,0,4,4,-4,-4,0,0,0,0,0,0,0,0,0,-1,2,2,-1,-1,0,0,0,
0,0,0,0,0,1,-1,1,1,0,0,0,0,0,0,-1,-1],[5870592,21504,21504,5120,1024,-504,
-504,36,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-8,-24,-24,-24,-24,12,12,8,8,-8,-8,4,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,4,4,0,0,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,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,1],[6497400,46200,-7560,2680,248,-105,
-105,-42,-72,344,56,-168,-80,240,24,-8,-8,-80,16,-24,-16,0,-8,0,-45,75,15,15,
-6,-18,-5,19,-1,-1,2,0,0,8,-8,4,-4,-4,4,0,0,0,0,0,0,0,0,0,0,-1,3,0,2,1,1,-3,
-3,3,-1,1,1,0,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,1,1,-1,0,0,0,0],[
6497400,-7560,46200,2680,248,-105,-105,-42,344,-72,-168,56,-80,240,-8,24,-8,
16,-80,-24,-16,0,-8,0,75,-45,15,15,-18,-6,19,-5,-1,-1,2,0,0,8,-8,-4,4,4,-4,0,
0,0,0,0,0,0,0,0,0,3,-1,2,0,1,1,-3,-3,-1,3,1,1,-2,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,0,0,0,0],[7309575,-28665,-28665,5895,-249,0,0,-27,855,
-681,-105,-105,135,135,-9,119,-25,-9,-9,7,-25,7,7,0,0,0,0,0,9,9,0,0,0,0,-3,0,
0,-1,-1,3,3,3,3,-9,7,-1,-1,-1,0,0,0,0,0,0,0,-9,3,0,0,0,0,0,0,0,0,3,-1,1,1,1,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],[7309575,-28665,-28665,
5895,-249,0,0,-27,-681,855,-105,-105,135,135,119,-9,-25,-9,-9,7,-25,7,7,0,0,0,
0,0,9,9,0,0,0,0,-3,0,0,-1,-1,3,3,3,3,7,-9,-1,-1,-1,0,0,0,0,0,0,0,3,-9,0,0,0,0,
0,0,0,0,-1,3,1,1,1,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],[
7894341,-16443,-16443,7749,261,0,0,0,189,189,-483,-483,9,-279,-99,-99,-59,33,
33,-3,9,-15,-11,-9,0,0,0,0,0,0,0,0,0,0,0,0,0,5,-3,-3,-3,9,9,5,5,9,1,1,0,0,-3,
-3,-1,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,0,0,0,0,-1,1,0,0,
0,0,0,0,0,0,0,0],[8055450,72090,-31590,2970,-486,0,0,0,-54,-486,330,90,-270,
-270,42,90,-54,18,-30,-6,2,18,10,0,0,0,0,0,0,0,0,0,0,0,0,-3,-3,6,6,-6,6,-6,6,
6,-2,-2,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,-3,1,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,1,-1,0,0],[8055450,-31590,72090,2970,-486,0,0,0,-486,
-54,90,330,-270,-270,90,42,-54,-30,18,-6,2,18,10,0,0,0,0,0,0,0,0,0,0,0,0,-3,
-3,6,6,6,-6,6,-6,-2,6,-2,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,1,
-3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,1,0,0],[8771490,46242,-2142,-4958,
-222,189,189,0,-270,450,-14,-126,10,10,18,66,-46,10,-38,18,26,-6,2,-10,-51,21,
-3,-3,0,0,13,-11,-3,-3,0,0,0,-2,-2,2,-2,2,-2,-2,6,6,-2,-2,0,0,2,-2,2,-3,9,0,0,
1,1,1,1,-3,1,1,1,0,0,0,0,0,0,0,0,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,-1,1,-1,0,0,
-1,1],[8771490,-2142,46242,-4958,-222,189,189,0,450,-270,-126,-14,10,10,66,18,
-46,-38,10,18,26,-6,2,-10,21,-51,-3,-3,0,0,-11,13,-3,-3,0,0,0,-2,-2,-2,2,-2,2,
6,-2,6,-2,-2,0,0,-2,2,2,9,-3,0,0,1,1,1,1,1,-3,1,1,0,0,0,0,0,0,0,0,-1,-1,0,0,0,
0,0,0,0,0,0,0,0,0,-1,1,-1,1,0,0,1,-1],[9398025,-2295,-36855,-6135,393,405,0,0,
297,153,-279,665,-15,-15,105,-135,-7,1,-15,9,1,-15,-7,0,45,0,-27,0,0,0,-3,0,
-3,0,0,-7,0,5,5,-3,1,-3,1,-3,5,-3,1,1,0,0,0,0,0,-3,0,0,0,-3,0,-3,0,5,0,1,0,0,
0,0,0,0,0,1,0,0,0,-1,-1,-1,-1,0,0,0,0,0,0,-1,0,1,0,1,0,1,0,0,0],[9398025,
-36855,-2295,-6135,393,0,405,0,153,297,665,-279,-15,-15,-135,105,-7,-15,1,9,1,
-15,-7,0,0,45,0,-27,0,0,0,-3,0,-3,0,0,-7,5,5,1,-3,1,-3,5,-3,-3,1,1,0,0,0,0,0,
0,-3,0,0,0,-3,0,-3,0,5,0,1,0,0,0,0,0,0,0,1,0,0,-1,-1,-1,-1,0,0,0,0,0,0,0,-1,0,
1,0,1,0,1,0,0],[10740600,27000,-42120,-3720,120,-405,0,0,216,-72,216,568,-120,
-120,24,-72,24,8,-24,24,-24,-24,-8,0,-45,0,27,0,0,0,3,0,3,0,0,-11,3,0,0,0,8,0,
8,0,0,0,0,0,0,0,0,0,0,3,0,0,0,3,0,3,0,-5,0,-1,0,0,0,0,0,0,0,1,-1,0,0,0,0,0,0,
0,0,0,0,0,0,1,0,-1,0,-1,0,-1,1,0,0],[10740600,-42120,27000,-3720,120,0,-405,0,
-72,216,568,216,-120,-120,-72,24,24,-24,8,24,-24,-24,-8,0,0,-45,0,27,0,0,0,3,
0,3,0,3,-11,0,0,8,0,8,0,0,0,0,0,0,0,0,0,0,0,0,3,0,0,0,3,0,3,0,-5,0,-1,0,0,0,0,
0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,-1,0,-1,1,-1,0,0],[11609325,-2835,
-2835,-2835,-531,0,0,0,621,621,-147,-147,45,45,45,45,-19,45,45,-3,-19,-3,-3,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,-3,-3,-3,-3,-3,-3,-3,-3,-3,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,1,1,1,1,E(17)+E(17)^2+E(17)^4+E(17)^8
+E(17)^9+E(17)^13+E(17)^15+E(17)^16,E(17)^3+E(17)^5+E(17)^6+E(17)^7+E(17)^10
+E(17)^11+E(17)^12+E(17)^14,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[86,3]],[11880960,35328,10752,-5632,512,456,-84,-12,-512,0,-512,0,0,0,
0,0,0,0,0,0,0,0,0,10,-24,-36,-24,12,12,-12,8,-4,8,-4,-4,7,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,-2,2,-2,0,4,-8,0,0,0,0,0,0,4,0,0,0,0,0,0,0,0,-1,0,1,1,0,0,0,0,0,0,0,0,
0,0,1,0,0,0,0,0,-1,0,1,-1],[11880960,10752,35328,-5632,512,-84,456,-12,0,-512,
0,-512,0,0,0,0,0,0,0,0,0,0,0,10,-36,-24,12,-24,-12,12,-4,8,-4,8,-4,0,7,0,0,0,
0,0,0,0,0,0,0,0,0,0,2,-2,-2,4,0,0,-8,0,0,0,0,4,0,0,0,0,0,0,0,0,0,0,-1,1,1,0,0,
0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,-1,-1,1],[14034384,35280,35280,-560,-816,-378,
-378,0,144,144,-112,-112,160,160,-48,-48,16,-32,-32,48,32,0,16,-16,30,30,6,6,
0,0,-2,-2,6,6,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-6,-6,0,0,-2,-2,-2,-2,2,2,
-2,-2,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],[14619150,
23310,-57330,270,-114,0,0,-54,-162,-498,-546,462,-90,-90,-66,14,30,6,54,-18,
22,6,-2,0,0,0,0,0,-18,18,0,0,0,0,6,0,0,2,2,6,-6,6,-6,2,-6,-6,-2,-2,0,0,0,0,0,
0,0,0,6,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],[14619150,-57330,23310,270,-114,0,0,-54,-498,-162,462,-546,-90,-90,14,
-66,30,54,6,-18,22,6,-2,0,0,0,0,0,18,-18,0,0,0,0,6,0,0,2,2,-6,6,-6,6,-6,2,-6,
--> --------------------
--> maximum size reached
--> --------------------
[ Dauer der Verarbeitung: 0.23 Sekunden
(vorverarbeitet)
]
|
