|
#############################################################################
##
#W ctoconja.tbl GAP table library Thomas Breuer
##
## This file contains the ordinary character tables related to the
## Conway and Janko groups. These are the tables of $Co_1$, $Co_2$, $Co_3$,
## $2.Co_1$, $J_1$, $J_2$, $2.J_2$, $J_2.2$, $2.J_2.2$, $J_3$, $3.J_3$,
## $J_3.2$, $3.J_3.2$ and $J_4$.
##
#H ctbllib history
#H ---------------
#H $Log: ctoconja.tbl,v $
#H Revision 4.30 2012/06/20 14:45:29 gap
#H added tables and fusions, as documented in ctbldiff.dat
#H TB
#H
#H Revision 4.29 2012/01/30 08:31:41 gap
#H removed #H entries from the headers
#H TB
#H
#H Revision 4.28 2011/09/28 14:32:11 gap
#H removed revision entry and SET_TABLEFILENAME call
#H TB
#H
#H Revision 4.27 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.26 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.25 2008/06/24 15:37:46 gap
#H exchanged two maxes of Co1 (ATLAS error)
#H TB
#H
#H Revision 4.24 2007/07/03 08:42:52 gap
#H added table of Isoclinic(2.J2.2),
#H J2.2 is G2(4).2M2
#H TB
#H
#H Revision 4.23 2006/06/07 07:54:27 gap
#H unified ConstructMixed and ConstructMGA (for better programmatic access)
#H TB
#H
#H Revision 4.22 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.21 2004/03/30 08:05:55 gap
#H unified tables `u4q3:2^2' and `U4(3).(2^2)_{133}'
#H TB
#H
#H Revision 4.20 2003/10/30 09:13:24 gap
#H added fusion J2 -> S6(5)
#H TB
#H
#H Revision 4.19 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.18 2003/01/24 15:57:29 gap
#H replaced several fusions by ones that are compatible with Brauer tables
#H TB
#H
#H Revision 4.17 2002/09/18 15:22:00 gap
#H changed the `text' components of many fusions,
#H in order to use them as a status information (for evaluation)
#H TB
#H
#H Revision 4.16 2002/07/26 16:58:05 gap
#H added more missing table automorphisms,
#H removed a few inconvenient names such as `c2' for `Co2'
#H (note that `c2' is used for the cyclic group of order 2,
#H which occurs in direct product constructions ...)
#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/08/28 16:23:23 gap
#H added a few alias names (suggested by J. McKay)
#H TB
#H
#H Revision 4.12 2001/05/04 16:47:11 gap
#H first revision for ctbllib
#H
#H
#H tbl history (GAP 4)
#H -------------------
#H (Rev. 4.12 of ctbllib coincides with Rev. 4.11 of tbl in GAP 4)
#H
#H RCS file: /gap/CVS/GAP/4.0/tbl/ctoconja.tbl,v
#H Working file: ctoconja.tbl
#H head: 4.11
#H branch:
#H locks: strict
#H access list:
#H symbolic names:
#H GAP4R2: 4.10.0.6
#H GAP4R2PRE2: 4.10.0.4
#H GAP4R2PRE1: 4.10.0.2
#H GAP4R1: 4.5.0.2
#H keyword substitution: kv
#H total revisions: 12; selected revisions: 12
#H description:
#H ----------------------------
#H revision 4.11
#H date: 2000/03/27 09:54:44; author: gap; state: Exp; lines: +11 -14
#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.10
#H date: 1999/10/22 13:24:48; author: gap; state: Exp; lines: +4 -2
#H added maxes of J2.2
#H
#H TB
#H ----------------------------
#H revision 4.9
#H date: 1999/10/21 14:15:46; author: gap; state: Exp; lines: +7 -2
#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.8
#H date: 1999/10/04 15:57:14; author: gap; state: Exp; lines: +8 -2
#H added and corrected several fusions from character tables
#H to their tables of marks,
#H unified two instances of the table of (A6xA6):2^2,
#H corrected the name of the table of marks of 2F4(2).
#H
#H TB
#H ----------------------------
#H revision 4.7
#H date: 1999/09/17 14:11:50; author: gap; state: Exp; lines: +6 -2
#H added maxes of 3.Suz.2
#H
#H TB
#H ----------------------------
#H revision 4.6
#H date: 1999/08/23 10:26:59; author: gap; state: Exp; lines: +3 -3
#H unified tables of U3(5).S3 and U3(5).3.2
#H (one CAS table, o ne ATLAS conformal table)
#H
#H TB
#H ----------------------------
#H revision 4.5
#H date: 1999/07/14 11:39:38; 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 09:44:45; author: gap; state: Exp; lines: +3 -3
#H renamed table `l52m10' to `2^10:L5(2)',
#H reordered classes and characters,
#H added fusion into O10+(2)
#H
#H TB
#H ----------------------------
#H revision 4.3
#H date: 1997/11/25 16:17:13; author: gap; state: Exp; lines: +3 -3
#H fixed succession of maxes for Fi22.2, J3.2, M12.2, M22.2
#H (The simple group itself had not been contained before.)
#H TB
#H ----------------------------
#H revision 4.2
#H date: 1997/11/25 15:44:38; author: gap; state: Exp; lines: +7 -2
#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:31; author: fceller; state: Exp; lines: +2 -2
#H for version 4
#H ----------------------------
#H revision 1.1
#H date: 1996/10/21 15:59:11; author: sam; state: Exp;
#H first proposal of the table library
#H ==========================================================================
##
MOT("2.Co1",
[
"origin: ATLAS of finite groups, tests: 1.o.r., pow[2,3,5,7,11,13,23]"
],
[8315553613086720000,8315553613086720000,178362777600,178362777600,2012774400,
389283840,2690072985600,2690072985600,117573120,117573120,25194240,25194240,
1088640,1088640,743178240,743178240,1179648,1474560,1474560,294912,48384,
15360,6048000,6048000,72000,72000,30000,30000,19906560,19906560,483840,311040,
311040,311040,311040,41472,41472,31104,31104,3456,1440,576,35280,35280,2352,
2352,92160,6144,12288,12288,2048,1536,1536,768,3888,3888,972,972,972,972,
19200,19200,1200,1200,1200,1200,1200,1200,160,132,132,276480,276480,9216,4608,
5184,5184,3456,3456,864,576,576,576,576,576,288,576,576,72,48,312,312,168,112,
112,10800,10800,1800,1800,360,360,180,180,60,60,64,128,128,432,432,108,108,
108,108,960,960,40,40,40,504,504,126,126,42,42,44,44,46,46,46,46,576,384,384,
144,96,48,48,48,52,56,56,56,56,240,240,60,60,60,60,60,60,66,66,70,70,72,72,78,
78,78,78,80,80,84,120,120],
[,[1,1,1,1,2,1,7,7,9,9,11,11,13,13,4,4,4,3,3,3,5,6,23,23,25,25,27,27,7,7,8,9,
9,11,11,9,9,11,11,9,14,13,43,43,45,45,16,15,17,17,17,18,18,20,55,55,57,57,59,
59,23,23,24,26,25,25,27,27,25,70,70,30,30,30,29,39,39,37,37,31,37,34,34,36,36,
36,39,39,41,42,91,91,44,45,45,96,96,98,98,100,100,102,102,104,104,49,51,51,55,
55,57,57,59,59,62,62,69,67,67,120,120,122,122,124,124,70,70,128,128,130,130,
73,74,74,79,75,78,82,82,92,95,95,93,93,96,96,99,101,102,102,104,104,153,153,
155,155,110,110,159,159,161,161,116,116,121,146,146],[1,2,3,4,5,6,1,2,1,2,1,2,
1,2,15,16,17,18,19,20,21,22,23,24,25,26,27,28,3,4,5,3,4,3,4,3,4,3,4,6,5,6,43,
44,45,46,47,48,49,50,51,52,53,54,11,12,11,12,11,12,61,62,63,64,65,66,67,68,69,
70,71,15,16,17,20,15,16,15,16,21,17,18,19,18,19,20,17,17,21,22,91,92,93,94,95,
23,24,25,26,23,24,25,26,27,28,106,107,108,38,39,38,39,38,39,115,116,117,118,
119,43,44,43,44,45,46,126,127,128,129,130,131,47,49,50,47,54,48,52,53,140,141,
142,143,144,61,62,64,63,65,66,67,68,70,71,155,156,76,77,91,92,91,92,163,164,
93,115,116],,[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,1,2,1,
2,1,2,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,3,4,5,5,3,4,3,4,6,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,7,8,7,8,13,14,9,10,11,12,106,107,
108,109,110,111,112,113,114,15,16,22,18,19,120,121,122,123,124,125,126,127,
130,131,128,129,132,133,134,135,136,137,138,139,140,141,142,143,144,29,30,31,
41,32,33,34,35,153,154,43,44,157,158,159,160,161,162,47,47,165,72,73],,[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,1,2,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,5,3,4,96,97,98,99,100,101,102,103,104,105,106,107,108,
109,110,111,112,113,114,115,116,117,118,119,7,8,9,10,13,14,127,126,130,131,
128,129,132,133,134,135,136,137,138,139,140,15,16,21,21,145,146,147,148,149,
150,151,152,153,154,23,24,157,158,161,162,159,160,163,164,31,166,167],,,,[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,1,2,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,
125,6,6,130,131,128,129,132,133,134,135,136,137,138,139,140,141,142,144,143,
145,146,147,148,149,150,151,152,7,8,155,156,157,158,159,160,161,162,164,163,
165,166,167],,[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,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,127,126,128,129,130,131,132,133,134,135,136,137,138,139,5,
141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,7,8,7,
8,164,163,165,166,167],,,,,,,,,,[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,123,124,125,126,127,1,2,1,2,132,133,134,135,136,137,
138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,
157,158,161,162,159,160,163,164,165,166,167]],
0,
[(163,164),(159,161)(160,162),(143,144),(143,144)(163,164),(128,130)(129,131),
(126,127)],
["ConstructProj",[["Co1",[]],["2.Co1",[]]]]);
ARC("2.Co1","CAS",[rec(name:="2.c1",
permchars:=(94,95),
permclasses:=(32,34)(33,35)(48,50,49)(57,59)(58,60)(63,64)(65,67)(66,68)
(82,87)(83,88)(106,108,107)(147,148),
text:="")]);
ARC("2.Co1","maxes",["2xCo2","6.Suz.2","2.2^11:M24","2xCo3",
"(2x2^(1+8)_+).O8+(2)","2xU6(2).3.2","2.(A4xG2(4)).2","2.2^(2+12):(A8xS3)",
"2.2^(4+12).(S3x3S6)","(3^2x2).U4(3).D8","2x3^6:2.M12","2.(A5xJ2).2",
"2x3^(1+4).2U4(2).2","(2.A6xU3(3)).2","3^(3+4):(2.S4)^2","2.A9xS3",
"(2.A7xL2(7)).2","(D10x2.(A5xA5).2).2","2x5^(1+2):GL2(5)","5^3:(4x(2xA5).2)",
"2x7^2:(3x2A4)","2x5^2:2A5"]);
ALF("2.Co1","Co1",[1,1,2,2,3,4,5,5,6,6,7,7,8,8,9,9,10,11,11,12,13,14,15,
15,16,16,17,17,18,18,19,20,20,21,21,22,22,23,23,24,25,26,27,27,28,28,29,
30,31,31,32,33,33,34,35,35,36,36,37,37,38,38,39,40,41,41,42,42,43,44,44,
45,45,46,47,48,48,49,49,50,51,52,52,53,53,54,55,55,56,57,58,58,59,60,60,
61,61,62,62,63,63,64,64,65,65,66,67,67,68,68,69,69,70,70,71,71,72,73,73,
74,74,75,75,76,76,77,77,78,78,79,79,80,81,81,82,83,84,85,85,86,87,87,88,
88,89,89,90,91,92,92,93,93,94,94,95,95,96,96,97,97,98,98,99,99,100,101,
101]);
ALN("2.Co1",["2.F2-"]);
MOT("2.J2",
[
"origin: ATLAS of finite groups, tests: 1.o.r., pow[2,3,5,7]"
],
[1209600,1209600,3840,3840,240,2160,2160,72,72,192,192,600,600,600,600,100,
100,100,100,48,48,12,14,14,16,16,20,20,20,20,20,20,24,24,30,30,30,30],
[,[1,1,1,1,2,6,6,8,8,3,3,14,14,12,12,18,18,16,16,6,6,9,23,23,11,11,15,13,18,
18,16,16,20,20,37,37,35,35],[1,2,3,4,5,1,2,1,2,10,11,14,15,12,13,18,19,16,17,
3,4,5,23,24,26,25,28,27,31,32,29,30,10,11,14,15,12,13],,[1,2,3,4,5,6,7,8,9,10,
11,1,2,1,2,1,2,1,2,20,21,22,23,24,25,26,5,5,3,4,3,4,33,34,6,7,6,7],,[1,2,3,4,
5,6,7,8,9,10,11,14,15,12,13,18,19,16,17,20,21,22,1,2,26,25,28,27,31,32,29,30,
33,34,37,38,35,36]],
0,
[(25,26),(12,14)(13,15)(16,18)(17,19)(27,28)(29,31)(30,32)(35,37)(36,38)],
["ConstructProj",[["J2",[]],["2.J2",[]]]]);
ARC("2.J2","CAS",[rec(name:="2.j2",
permchars:=(2,3)(8,9)(14,15)(22,23)(27,28),
permclasses:=(16,18)(17,19)(27,28),
text:="")]);
ARC("2.J2","maxes",["2xU3(3)","(2x3.A6).2","2^{1+4}_-:2A5","2^{3+4}:(3xS3)",
"2A4xA5","2A5xD10","(2xL3(2)).2","2.J2M8","2.A5"]);
ALF("2.J2","J2",[1,1,2,2,3,4,4,5,5,6,6,7,7,8,8,9,9,10,10,11,11,12,13,13,
14,14,15,16,17,17,18,18,19,19,20,20,21,21]);
ALF("2.J2","2.J2.2",[1,2,3,4,5,6,7,8,9,10,11,12,13,12,13,14,15,14,15,16,
17,18,19,20,21,21,22,22,23,24,23,24,25,26,27,28,27,28]);
ALF("2.J2","Isoclinic(2.J2.2)",[1,2,3,4,5,6,7,8,9,10,11,12,13,12,13,14,15,
14,15,16,17,18,19,20,21,21,22,22,23,24,23,24,25,26,27,28,27,28],[
"fusion map is unique"
]);
ALF("2.J2","2.G2(4)",[1,2,3,4,5,6,7,8,9,11,10,14,15,16,17,18,19,20,21,22,
23,24,25,26,27,27,34,35,30,31,32,33,37,36,44,45,46,47],[
"fusion map is unique up to table autom.,\n",
"representative compatible with factors"
]);
ALN("2.J2",["2.HJ","2.F5-","2.J2.2M1"]);
MOT("2.J2.2",
[
"origin: ATLAS of finite groups, tests: 1.o.r., pow[2,3,5,7]"
],
[2419200,2419200,7680,7680,480,4320,4320,144,144,384,384,600,600,100,100,96,
96,24,28,28,16,20,20,20,48,48,30,30,672,96,48,48,12,192,192,32,24,24,24,24,28,
28,48,48,48,48],
[,[1,1,1,1,2,6,6,8,8,3,3,12,12,14,14,6,6,9,19,19,11,13,14,14,16,16,27,27,2,4,
5,5,9,11,11,11,17,17,18,18,20,20,26,26,26,26],[1,2,3,4,5,1,2,1,2,10,11,12,13,
14,15,3,4,5,19,20,21,22,23,24,10,11,12,13,29,30,32,31,29,35,34,36,30,30,32,31,
41,42,35,34,35,34],,[1,2,3,4,5,6,7,8,9,10,11,1,2,1,2,16,17,18,19,20,21,5,3,4,
25,26,6,7,29,30,32,31,33,35,34,36,38,37,40,39,42,41,44,43,46,45],,[1,2,3,4,5,
6,7,8,9,10,11,12,13,14,15,16,17,18,1,2,21,22,23,24,25,26,27,28,29,30,31,32,33,
34,35,36,38,37,39,40,29,29,45,46,43,44]],
0,
[(41,42),(37,38)(43,45)(44,46),(37,38)(41,42)(43,45)(44,46),(31,32)(34,35)
(37,38)(39,40)(41,42)(43,44)(45,46),(31,32)(34,35)(39,40)(43,46)(44,45)],
["ConstructProj",[["J2.2",[]],["2.J2.2",[]]]]);
ALF("2.J2.2","J2.2",[1,1,2,2,3,4,4,5,5,6,6,7,7,8,8,9,9,10,11,11,12,13,14,
14,15,15,16,16,17,18,19,19,20,21,21,22,23,23,24,24,25,25,26,26,27,27]);
ALF("2.J2.2","2.Suz",[1,2,3,4,5,6,7,10,11,13,12,19,20,17,18,21,22,29,30,
31,32,42,40,41,46,45,63,64,5,15,16,16,29,32,32,32,49,49,50,51,58,58,76,75,
75,76],[
"fusion map is unique up to table automorphisms,\n",
"compatible with Brauer tables"
]);
ALN("2.J2.2",["2.HJ.2","2.F5-.2"]);
MOT("Isoclinic(2.J2.2)",
[
"isoclinic group of the 2.J2.2 given in the ATLAS"
],
0,
0,
0,
[(41,42),(31,32)(34,35)(39,40)(43,46)(44,45),(37,38)(43,45)(44,46)],
["ConstructIsoclinic",[["2.J2.2"]]]);
ALF("Isoclinic(2.J2.2)","J2.2",[1,1,2,2,3,4,4,5,5,6,6,7,7,8,8,9,9,10,11,11,
12,13,14,14,15,15,16,16,17,18,19,19,20,21,21,22,23,23,24,24,25,25,26,26,27,
27]);
ALF("Isoclinic(2.J2.2)","2.G2(4).2",[1,2,3,4,5,6,7,8,9,11,10,14,15,16,17,
18,19,20,21,22,23,28,26,27,30,29,35,36,41,42,43,44,46,47,47,47,51,51,52,
53,54,55,60,61,61,60],[
"fusion map is unique up to table aut."
]);
MOT("3.J3",
[
"origin: ATLAS of finite groups, tests: 1.o.r., pow[2,3,5,17,19]"
],
[150698880,150698880,150698880,5760,5760,5760,3240,3240,3240,243,288,288,288,
90,90,90,90,90,90,72,72,72,24,24,24,27,27,27,30,30,30,30,30,30,36,36,36,45,45,
45,45,45,45,51,51,51,51,51,51,57,57,57,57,57,57],
[,[1,3,2,1,3,2,7,9,8,10,4,6,5,17,19,18,14,16,15,7,9,8,11,13,12,27,28,26,17,19,
18,14,16,15,20,22,21,41,43,42,38,40,39,44,46,45,47,49,48,53,55,54,50,52,51],[
1,1,1,4,4,4,1,1,1,1,11,11,11,17,17,17,14,14,14,4,4,4,23,23,23,10,10,10,32,32,
32,29,29,29,11,11,11,17,17,17,14,14,14,47,47,47,44,44,44,53,53,53,50,50,50],,[
1,3,2,4,6,5,7,9,8,10,11,13,12,1,3,2,1,3,2,20,22,21,23,25,24,28,26,27,4,6,5,4,
6,5,35,37,36,7,9,8,7,9,8,47,49,48,44,46,45,50,52,51,53,55,54],,,,,,,,,,,,[1,3,
2,4,6,5,7,9,8,10,11,13,12,17,19,18,14,16,15,20,22,21,23,25,24,26,27,28,32,34,
33,29,31,30,35,37,36,41,43,42,38,40,39,1,3,2,1,3,2,50,52,51,53,55,54],,[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,1,2,3,1,2,3]],
0,
[(50,53)(51,54)(52,55),(44,47)(45,48)(46,49),(26,27,28),(14,17)(15,18)(16,19)
(29,32)(30,33)(31,34)(38,41)(39,42)(40,43),( 2, 3)( 5, 6)( 8, 9)(12,13)(15,16)
(18,19)(21,22)(24,25)(26,27,28)(30,31)(33,34)(36,37)(39,40)(42,43)(45,46)
(48,49)(51,52)(54,55),( 2, 3)( 5, 6)( 8, 9)(12,13)(15,16)(18,19)(21,22)(24,25)
(30,31)(33,34)(36,37)(39,40)(42,43)(45,46)(48,49)(51,52)(54,55)],
["ConstructProj",[["J3",[]],,["3.J3",[11,11,11,11,-1,11,11,-1,35,35,-37,-37,
-1,-1,-1,-1,-1]]]]);
ARC("3.J3","CAS",[rec(name:="3.j3",
permchars:=(4,5)(7,8)(14,15,16)(17,18)(22,24)(23,25)(26,28)(27,29)(32,34)
(33,35)(42,44)(43,45),
permclasses:=(),
text:="")]);
ARC("3.J3","maxes",["3xL2(16).2","3xL2(19)","3xL2(19)","3x2^4:(3xA5)",
"3xL2(17)","3x(3xA6):2_2","3^3.3^(1+2):8","3x2^(1+4)_-:A5",
"3x2^(2+4):(3xS3)"]);
ALF("3.J3","J3",[1,1,1,2,2,2,3,3,3,4,5,5,5,6,6,6,7,7,7,8,8,8,9,9,9,10,11,
12,13,13,13,14,14,14,15,15,15,16,16,16,17,17,17,18,18,18,19,19,19,20,20,
20,21,21,21]);
ALF("3.J3","3.J3.2",[1,2,2,3,4,4,5,6,6,7,8,9,9,10,11,12,10,12,11,13,14,14,
15,16,16,17,18,19,20,21,22,20,22,21,23,24,24,25,26,27,25,27,26,28,29,29,
30,31,31,32,33,34,32,34,33],[
"fusion map is unique up to table autom.,\n",
"compatible with Brauer tables"
]);
ALN("3.J3",["3.J3.2M1"]);
MOT("3.J3.2",
[
"origin: ATLAS of finite groups, tests: 1.o.r., pow[2,3,5,17,19]"
],
[301397760,150698880,11520,5760,6480,3240,486,576,288,90,90,90,144,72,48,24,
54,54,54,30,30,30,72,36,45,45,45,102,51,102,51,57,57,57,4896,96,18,96,32,12,
18,18,18,24,24,34,34],
[,[1,2,1,2,5,6,7,3,4,10,11,12,5,6,8,9,18,19,17,10,11,12,13,14,25,26,27,28,29,
30,31,32,33,34,1,3,7,8,8,13,18,19,17,23,23,28,30],[1,1,3,3,1,1,1,8,8,10,10,10,
3,3,15,15,7,7,7,20,20,20,8,8,10,10,10,30,30,28,28,32,32,32,35,36,35,38,39,36,
37,37,37,38,38,47,46],,[1,2,3,4,5,6,7,8,9,1,2,2,13,14,15,16,19,17,18,3,4,4,23,
24,5,6,6,30,31,28,29,32,34,33,35,36,37,38,39,40,43,41,42,44,45,47,
46],,,,,,,,,,,,[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,1,2,1,2,32,34,33,35,36,37,38,39,40,41,42,43,45,44,35,35],,[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,
1,2,2,35,36,37,38,39,40,41,42,43,44,45,46,47]],
0,
[(44,45),(33,34),(28,30)(29,31)(46,47),(11,12)(21,22)(26,27),(11,12)(17,18,19)
(21,22)(26,27)(33,34)(41,42,43)(44,45),(17,18,19)(41,42,43),(17,19,18)
(41,43,42)],
["ConstructMGA","3.J3","J3.2",[[22,25],[23,24],[26,29],[27,28],[30,31],[32,
35],[33,34],[36,37],[38,39],[40,41],[42,45],[43,44],[46,47],[48,49],[50,51],
[52,53],[54,55]],()]);
ALF("3.J3.2","J3.2",[1,1,2,2,3,3,4,5,5,6,6,6,7,7,8,8,9,10,11,12,12,12,13,
13,14,14,14,15,15,16,16,17,17,17,18,19,20,21,22,23,24,25,26,27,28,29,30]);
MOT("Co1",
[
"origin: ATLAS of finite groups, tests: 1.o.r., pow[2,3,5,7,11,13,23]"
],
[4157776806543360000,89181388800,2012774400,389283840,1345036492800,58786560,
12597120,544320,371589120,1179648,737280,294912,48384,15360,3024000,36000,
15000,9953280,483840,155520,155520,20736,15552,3456,1440,576,17640,1176,92160,
6144,6144,2048,768,768,1944,486,486,9600,1200,1200,600,600,160,66,138240,9216,
4608,2592,1728,864,576,288,288,288,288,72,48,156,168,56,5400,900,180,90,30,64,
64,216,54,54,480,40,20,252,63,21,22,23,23,576,192,144,96,48,24,52,28,28,120,
60,60,30,30,33,35,36,39,39,40,84,60],
[,[1,1,1,1,5,6,7,8,2,2,2,2,3,4,15,16,17,5,5,6,7,6,7,6,8,8,27,28,9,9,10,10,11,
12,35,36,37,15,15,16,16,17,16,44,18,18,18,23,22,19,22,21,22,22,23,25,26,58,27,
28,61,62,63,64,65,31,32,35,36,37,38,43,42,74,75,76,44,78,79,45,46,49,47,49,52,
58,60,59,61,62,63,64,65,94,95,68,97,98,71,74,89],[1,2,3,4,1,1,1,1,9,10,11,12,
13,14,15,16,17,2,3,2,2,2,2,4,3,4,27,28,29,30,31,32,33,34,7,7,7,38,39,40,41,42,
43,44,9,10,12,9,9,13,10,11,11,12,10,13,14,58,59,60,15,16,15,16,17,66,67,23,23,
23,71,72,73,27,27,28,77,78,79,29,31,29,34,30,33,86,87,88,38,40,39,41,42,44,95,
48,58,58,99,59,71],,[1,2,3,4,5,6,7,8,9,10,11,12,13,14,1,1,1,18,19,20,21,22,23,
24,25,26,27,28,29,30,31,32,33,34,35,36,37,2,3,3,2,2,4,44,45,46,47,48,49,50,51,
52,53,54,55,56,57,58,59,60,5,5,8,6,7,66,67,68,69,70,9,14,11,74,75,76,77,79,78,
80,81,82,83,84,85,86,87,88,18,19,25,20,21,94,27,96,97,98,29,100,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,1,1,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,
3,2,61,62,63,64,65,66,67,68,69,70,71,72,73,5,6,8,77,79,78,80,81,82,83,84,85,
86,9,13,89,90,91,92,93,94,15,96,98,97,99,19,101],,,,[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,1,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,4,79,78,80,81,82,83,84,85,86,87,88,89,
90,91,92,93,5,95,96,97,98,99,100,101],,[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,1,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,3,87,88,89,90,91,92,93,
94,95,96,5,5,99,100,101],,,,,,,,,,[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,1,1,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,
96,98,97,99,100,101]],
[[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],[276,20,12,-12,78,15,6,0,36,
4,4,-4,0,0,21,6,1,14,-6,5,14,-1,2,-3,0,0,10,3,4,-4,8,0,0,0,6,0,3,5,-3,2,0,5,
-2,1,6,-2,2,0,3,0,1,-2,1,-1,4,0,0,3,-2,-1,3,3,0,0,1,-2,2,2,2,-1,1,0,-1,1,1,0,
-1,0,0,-2,2,1,0,-1,0,-1,1,0,-1,-1,0,0,-1,1,0,0,0,0,-1,1,1],[299,43,-13,11,65,
20,2,-1,27,-5,11,3,-1,-1,14,9,-1,1,5,10,10,4,-2,2,-1,-1,5,5,-5,3,7,-1,3,-1,2,
-1,5,-2,2,-3,3,3,1,2,9,1,-3,0,0,-1,-2,2,2,0,4,-1,-1,0,1,1,5,0,-1,0,2,1,1,-2,1,
1,2,-1,1,2,-1,-1,0,0,0,1,1,-2,-1,0,0,0,-1,-1,1,0,-1,0,0,-1,0,0,0,0,0,-2,-1],[
1771,-21,51,11,286,16,-11,7,91,-5,-5,3,7,-1,41,1,-4,30,6,-6,21,0,-3,2,3,-1,14,
0,11,3,7,-1,-1,-1,7,-2,-2,9,1,1,-1,4,1,0,-2,-2,6,1,4,-2,-2,1,-2,0,1,1,-1,3,2,
0,-4,1,2,1,-1,1,1,3,0,0,1,-1,0,-1,2,0,0,0,0,2,-2,2,2,0,-1,-1,0,0,0,1,-2,-1,1,
0,-1,1,0,0,1,-1,-2],[8855,-105,15,55,935,35,-1,-7,231,7,-9,-1,-1,-5,85,0,5,39,
15,-15,39,3,3,1,-3,1,21,0,-1,7,11,3,-1,-1,8,2,-4,5,5,0,0,5,0,0,-9,7,-1,-3,3,
-1,1,3,-3,-1,1,-1,1,2,1,0,-5,0,-2,0,-1,1,1,0,0,0,1,0,1,-3,0,0,0,0,0,-1,-1,-1,
-1,1,-1,2,0,-1,-1,0,2,0,-1,0,1,0,-1,-1,-1,1,1],[17250,610,90,66,285,141,-30,0,
50,18,50,10,-6,6,0,25,0,-35,9,19,10,13,-2,3,0,0,-5,9,10,2,6,-2,6,2,-3,0,3,0,0,
5,5,0,1,2,5,-3,1,-4,5,3,3,2,-1,1,0,0,0,-1,-1,1,0,-5,0,1,0,0,0,1,-2,1,0,1,0,-2,
1,0,0,0,0,1,-3,1,-1,-1,0,-1,1,1,0,-1,0,-1,0,-1,0,-1,-1,-1,0,2,0],[27300,420,
156,132,1794,48,30,0,308,20,20,12,0,0,90,10,0,66,30,30,30,0,6,6,0,0,14,0,20,
12,8,0,0,0,3,0,6,10,6,6,0,0,2,-2,26,2,6,2,-4,0,2,2,2,0,2,0,0,0,2,0,9,4,0,-2,0,
2,-2,3,0,0,-2,0,0,2,-1,0,0,-1,-1,2,2,2,0,0,0,0,0,0,1,0,0,0,0,1,-1,-1,0,0,0,2,
1],[37674,42,-78,-54,2925,90,9,0,602,-6,-6,2,-6,6,189,9,-1,45,-15,0,81,-6,-3,
0,0,0,35,0,-14,-6,22,-2,-2,2,9,0,0,-3,-3,-3,-3,7,1,-1,5,-3,-7,-1,2,3,0,-3,0,2,
3,0,0,0,-1,0,0,0,0,0,-1,0,0,-3,0,0,-3,1,-1,-1,-1,0,1,0,0,1,1,-2,-1,0,1,0,0,1,
0,0,0,0,1,-1,0,-1,0,0,1,-1,0],[44275,755,-77,-77,2002,175,-5,1,307,-13,35,-13,
7,-5,70,30,0,-46,-14,35,35,-1,-1,-5,1,1,0,7,-5,-5,19,3,-1,-1,-5,1,7,-10,-2,-2,
0,0,-2,0,34,2,2,1,-5,-2,-1,-1,-1,-1,5,1,1,-3,0,-1,7,-3,1,0,0,-1,-1,-1,-1,-1,2,
0,0,0,0,1,0,0,0,-2,-2,1,2,1,-1,1,-1,0,-1,1,1,0,0,0,0,1,0,0,0,0,-1],[80730,
1626,-78,186,-351,216,54,0,42,10,74,34,6,6,-15,25,5,33,-15,6,6,24,6,6,0,0,-1,
6,-6,2,-2,6,6,-2,0,0,0,1,-3,-3,1,1,1,1,-15,1,1,6,0,-3,-2,2,2,4,-2,0,0,0,-1,2,
-6,4,0,1,-1,0,0,0,0,0,-3,1,-1,-1,-1,0,-1,0,0,-3,1,0,1,2,0,0,0,-1,-2,0,0,1,1,1,
-1,0,0,0,-1,-1,0],[94875,155,235,-165,4785,15,-30,21,699,-5,-5,11,-1,-5,175,0,
0,113,-35,5,50,-1,2,-3,1,-3,25,-3,19,-13,3,3,3,-1,6,3,0,15,-5,0,0,0,0,0,9,1,5,
6,3,-1,1,-2,1,-1,-2,-1,1,1,-3,1,-5,0,1,0,0,-1,-1,2,-1,2,-1,0,0,4,1,0,0,0,0,1,
-3,1,-1,-1,0,1,-1,-1,3,0,1,0,0,0,0,0,1,1,-1,0,-1],[313950,350,-26,318,8931,
-33,75,21,910,-18,30,-10,14,10,160,-10,0,35,55,35,35,-1,-1,3,1,-3,14,0,-10,14,
-6,2,-2,-2,3,3,3,0,4,-6,0,0,-2,-1,-5,3,-1,1,7,5,3,3,3,-1,-3,-1,1,0,2,0,16,-4,
1,2,0,0,0,-1,-1,-1,0,0,0,-1,2,0,-1,0,0,-1,3,-1,1,-1,1,0,0,0,0,0,1,0,0,-1,-1,1,
0,0,0,-1,0],[345345,-511,377,33,13299,69,-39,-21,1617,-15,1,-23,1,5,350,-10,
-5,179,-1,-19,89,5,-7,-3,-1,3,35,0,25,1,5,-3,1,1,6,-3,-3,14,2,2,4,-1,-2,0,-21,
3,7,-3,-3,1,-3,1,1,1,-3,1,-1,0,-1,0,-1,-1,-1,-1,1,-1,-1,2,-1,-1,2,0,1,-1,-1,0,
0,0,0,-5,-1,1,1,1,1,0,0,1,-1,-1,-1,1,-1,0,0,0,0,0,0,-1,-1],[376740,3492,-364,
100,-1638,441,9,36,132,-60,100,-12,0,-12,-35,40,-10,90,14,9,9,9,9,1,-4,4,0,7,
-4,-4,-4,-4,4,0,0,0,0,-3,1,-4,2,2,0,1,-30,-6,6,-3,-3,0,-3,1,1,-3,-3,0,0,0,0,
-1,-8,7,1,1,-1,0,0,0,0,0,-3,-2,0,0,0,1,1,0,0,2,2,-1,0,-1,1,0,-1,0,0,-1,1,-1,
-1,1,0,0,0,0,1,0,0],[483000,-840,-600,120,14730,195,-30,0,1624,24,-40,8,0,0,
300,0,0,-54,30,-45,90,3,6,3,0,0,14,0,-40,8,16,0,0,0,-3,0,-6,-20,0,0,0,0,0,1,
-14,-6,-10,4,-5,0,3,2,-1,-1,0,0,0,-2,2,0,-15,0,0,0,0,0,0,-3,0,0,4,0,0,2,-1,0,
-1,0,0,2,-2,-1,0,-1,0,-2,0,0,1,0,0,0,0,1,-1,1,1,1,0,2,1],[644644,3108,1092,
484,5005,217,100,49,-28,36,20,68,28,4,14,-1,-6,141,21,15,-12,9,12,7,9,1,0,0,
20,4,4,4,0,4,1,4,-2,-2,2,7,3,-2,-1,0,29,-3,5,8,5,1,3,-4,-1,5,0,1,1,0,0,0,5,5,
-1,2,0,0,0,-3,0,0,2,-1,0,0,0,0,0,0,0,5,1,-1,1,1,0,0,0,0,1,1,-1,0,-2,0,0,-1,0,
0,0,0,-1],[673750,1750,350,-330,-1925,-35,235,-35,70,38,-10,-18,-14,10,0,0,0,
-5,35,-5,-5,13,-5,3,5,-3,0,0,-10,-2,2,-6,-2,2,1,1,1,0,0,0,0,0,0,0,-5,11,3,7,1,
-5,-1,-1,-1,-3,-1,1,1,-1,0,0,0,0,0,0,0,0,0,1,1,1,0,0,0,0,0,0,0,
E(23)+E(23)^2+E(23)^3+E(23)^4+E(23)^6+E(23)^8+E(23)^9+E(23)^12+E(23)^13
+E(23)^16+E(23)^18,E(23)^5+E(23)^7+E(23)^10+E(23)^11+E(23)^14+E(23)^15
+E(23)^17+E(23)^19+E(23)^20+E(23)^21+E(23)^22,-1,-1,-1,-1,1,1,-1,0,0,0,0,0,0,
0,0,0,1,-1,-1,0,0,0],
[GALOIS,[17,5]],[822250,1770,-910,330,17875,-125,-35,43,1562,-6,10,2,-14,-10,
225,0,0,-45,35,45,45,3,-3,-3,-1,3,16,-5,-46,10,-10,-2,2,2,1,-2,4,-15,5,0,0,0,
0,0,35,3,-13,5,11,-5,-3,1,1,-1,-3,1,-1,0,0,-1,0,0,3,0,0,0,0,-3,0,0,-3,0,0,4,1,
1,0,0,0,-1,-1,-1,-1,1,-1,0,1,0,0,0,-1,0,0,0,1,-1,0,0,-1,0,0],[871884,972,1612,
396,15795,0,0,27,972,12,-36,12,28,-4,134,9,9,243,55,0,0,0,0,0,7,3,6,-1,60,12,
-4,-4,0,4,0,0,0,22,2,-3,-3,-3,1,2,27,3,15,0,0,1,0,0,0,0,0,1,-1,0,2,-1,-10,0,2,
0,0,0,0,0,0,0,2,1,-1,3,0,-1,0,0,0,3,-1,0,1,0,0,0,-1,0,-2,0,2,0,0,-1,1,0,0,0,0,
-1,2],[1434510,-882,246,-594,32967,0,81,0,2814,30,30,6,6,-6,435,-15,10,135,
-69,0,81,0,9,0,0,0,21,0,6,-18,-6,2,2,-2,0,0,0,3,-9,1,3,-2,1,0,-33,-9,3,-3,0,
-3,0,-3,0,0,-3,0,0,-1,1,0,12,-3,0,0,1,0,0,0,0,0,-1,-1,0,-3,0,0,0,0,0,3,3,0,1,
0,-1,-1,0,-1,0,1,0,0,1,0,1,0,-1,-1,1,1,2],[1450449,4305,1001,-847,18018,252,
144,63,609,65,1,-39,-7,5,84,14,-1,354,-70,30,-24,12,12,-10,-1,-1,0,0,25,-15,5,
-3,-3,1,0,0,0,20,-4,6,0,-5,-2,0,66,2,-6,6,0,2,2,4,-2,0,2,-1,-1,0,0,0,3,8,3,2,
-1,-1,-1,0,0,0,4,0,1,0,0,0,0,0,0,-2,2,-2,-2,0,0,0,0,0,-1,0,-1,0,1,0,0,0,0,0,0,
0,1],[1771000,-3080,40,440,28600,295,70,28,2072,-40,-40,8,0,0,225,0,0,-200,40,
-65,70,7,-2,-1,4,-4,-14,0,24,8,16,0,0,0,-11,1,-5,-15,5,0,0,0,0,0,-40,8,8,2,-1,
0,-1,2,-1,-1,2,0,0,-3,-2,0,0,0,3,0,0,0,0,1,1,1,-3,0,0,-2,1,0,0,0,0,0,4,3,0,-1,
0,1,0,0,0,0,-1,0,0,0,1,-1,0,0,-1,-2,0],[1821600,9120,352,-352,-792,1098,-90,
-36,288,32,160,-32,0,0,-70,70,0,-24,-8,30,30,-6,-6,-10,4,-4,-10,11,0,0,0,0,0,
0,0,0,0,10,2,2,0,0,-2,0,-24,8,-8,0,6,0,2,-2,-2,-2,-4,0,0,1,2,-1,-7,-2,-1,-2,0,
0,0,0,0,0,-2,0,0,-1,-1,-1,0,0,0,0,0,0,0,0,0,1,1,0,1,2,-1,0,0,0,0,0,1,1,0,-1,
1],[2055625,7625,1625,-55,-3575,160,-290,85,105,105,25,57,13,25,0,0,0,-55,5,
-10,-10,32,2,-10,5,5,5,-2,-15,1,1,1,-3,5,-2,-5,1,0,0,0,0,0,0,0,-15,9,-3,-12,0,
-5,6,-2,-2,0,0,1,1,0,1,2,0,0,0,0,0,1,1,2,-1,-1,0,0,0,2,-1,1,0,0,0,-3,1,0,-1,
-2,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,-2,0],[2417415,5383,-1001,583,3003,231,-165,
84,-217,-25,71,-73,-21,-9,35,-5,15,-5,7,-41,-5,7,19,7,4,4,0,0,-1,-1,-1,-1,7,
-5,-3,3,0,3,-1,-1,-7,3,3,0,35,11,-1,-1,-1,-3,-1,-1,-1,-1,-1,0,0,0,0,0,8,-2,-1,
1,0,-1,-1,1,1,-2,3,1,1,0,0,0,0,0,0,-1,-1,-1,1,-1,1,0,0,0,0,2,-1,-1,0,0,0,-1,0,
0,-1,0,0],[2464749,-2835,-987,-243,-5103,0,0,0,189,93,45,21,21,-15,-21,-6,24,
81,21,0,0,0,0,0,0,0,0,0,21,-3,1,-7,-3,5,0,0,0,-5,3,-2,0,0,2,1,9,-15,-3,0,0,3,
0,0,0,0,0,0,0,1,0,0,-3,-3,0,0,0,-1,-1,0,0,0,-1,0,0,0,0,0,-1,0,0,-3,1,0,-1,0,0,
1,0,0,1,1,0,0,0,1,0,0,-E(39)^7-E(39)^14-E(39)^17-E(39)^19-E(39)^23-E(39)^28
-E(39)^29-E(39)^31-E(39)^34-E(39)^35-E(39)^37-E(39)^38,-E(39)-E(39)^2-E(39)^4
-E(39)^5-E(39)^8-E(39)^10-E(39)^11-E(39)^16-E(39)^20-E(39)^22-E(39)^25
-E(39)^32,1,0,-1],
[GALOIS,[27,7]],[2816856,10584,-1080,792,18954,729,0,0,504,-72,120,40,0,0,36,
26,6,-54,54,81,0,9,0,9,0,0,-14,0,-40,8,16,0,0,0,0,0,0,4,0,-10,4,-6,2,-2,66,-6,
-2,0,-3,0,-3,0,-3,1,0,0,0,3,-2,0,9,-1,0,-1,0,0,0,0,0,0,4,0,0,-2,1,0,0,0,0,2,
-2,-1,0,-1,0,-1,0,0,1,-1,0,1,0,1,1,0,0,0,0,-2,1],[2877875,1715,715,-429,20735,
701,-55,35,1155,35,-45,-5,-1,-1,0,25,0,-385,-41,11,65,-19,5,3,-5,3,-35,0,35,
-5,23,-1,-5,-1,-10,-1,-1,0,0,5,-5,0,1,0,15,-1,7,3,9,-1,-1,-3,3,1,-1,-1,-1,0,1,
0,0,-5,0,1,0,1,1,2,-1,-1,0,-1,0,1,1,0,0,0,0,-1,-1,-1,-1,1,1,0,0,-1,0,-1,0,1,0,
0,0,0,0,0,0,1,0],[4100096,4096,0,0,64064,56,-16,-64,4096,0,0,0,0,0,476,16,-4,
64,0,64,64,-8,-8,0,0,0,0,-7,0,0,0,0,0,0,-7,-1,5,-4,0,0,-4,-4,0,0,64,0,0,-8,-8,
0,0,0,0,0,0,0,0,0,0,1,-1,4,-4,1,-1,0,0,1,1,1,-4,0,0,0,0,-1,0,1,1,0,0,0,0,0,0,
0,1,0,-1,0,0,-1,-1,0,0,1,0,0,0,0,-1],[5494125,19565,1365,1101,-1365,966,165,0,
-35,61,205,37,21,9,0,25,0,-85,-21,-4,5,38,-19,12,0,0,0,0,5,-3,-7,1,5,5,3,0,-3,
0,0,5,-5,0,1,-1,-5,-5,-5,1,-2,3,4,1,4,-2,1,0,0,0,0,0,0,-5,0,1,0,-1,-1,-1,2,-1,
0,-1,0,0,0,0,1,0,0,-1,-1,2,-1,0,-1,0,0,0,0,-1,0,1,0,-1,0,1,0,0,0,0,0],[
5801796,-4284,-364,836,-9009,441,90,63,420,36,-76,-12,-28,-4,-84,1,21,207,-49,
-9,18,9,-18,-1,-1,-1,0,0,-28,4,-4,12,0,-4,0,0,0,-4,-4,1,1,1,1,0,15,15,15,-12,
-3,-1,3,2,-1,-3,0,-1,-1,0,0,0,6,1,3,1,0,0,0,0,0,0,0,1,-1,0,0,0,0,0,0,-1,-1,-1,
-1,1,0,0,0,0,2,1,-1,1,-2,0,0,0,0,0,2,0,0],[7628985,-1863,1001,441,88452,0,0,
-27,4185,-39,9,9,-7,1,385,-15,-15,324,56,0,0,0,0,0,-7,-3,0,7,9,9,-15,1,-3,1,0,
0,0,17,1,1,-3,-3,1,1,-36,-12,0,0,0,2,0,0,0,0,0,-1,1,0,0,-1,7,-3,-2,0,0,1,1,0,
0,0,5,1,-1,0,0,1,1,0,0,0,0,0,-2,0,0,0,-1,0,-1,1,-2,0,0,1,0,0,0,0,-1,0,-1],[
9221850,-5670,-1598,-198,82863,0,0,27,3402,42,90,18,-14,-10,230,-30,0,-81,-41,
0,0,0,0,0,7,3,-6,8,-30,-6,-10,-2,-6,2,0,0,0,-10,2,2,0,0,2,0,-81,15,-9,0,0,-5,
0,0,0,0,0,1,-1,1,-2,0,23,3,2,0,0,0,0,0,0,0,2,0,0,-3,0,-1,0,0,0,3,-1,0,-1,0,0,
1,0,0,-1,-1,2,0,0,0,-1,0,1,1,0,1,-1],[9669660,28,364,924,93093,-210,-174,21,
3836,-4,-20,-52,-28,4,280,15,10,229,49,-50,-14,-2,10,6,1,-3,0,0,12,12,-12,4,0,
-4,-3,3,0,8,4,-1,3,-2,-1,0,29,5,-7,2,2,-1,2,-2,-2,2,2,-1,1,0,0,0,-17,3,1,0,1,
0,0,1,1,-2,-4,-1,0,0,0,0,0,0,0,-3,-3,0,-1,0,0,0,0,0,-1,-1,1,0,1,0,0,-1,0,0,2,
0,-1],[12432420,8484,2028,2244,61776,54,54,0,1428,52,20,-4,0,24,15,-25,20,-48,
120,114,6,6,6,-6,0,0,-14,0,36,12,0,8,0,0,0,0,0,-1,3,3,-1,4,-1,0,0,16,8,6,-6,0,
-2,2,2,2,-2,0,0,0,-2,0,6,-4,0,-1,-1,-2,2,0,0,0,3,-1,0,1,-2,0,0,0,0,0,0,0,0,0,
0,0,0,0,2,0,0,-1,1,0,1,0,0,0,1,1,0],[16347825,35505,-351,945,-18954,1458,0,0,
657,-111,225,65,-27,-15,-90,40,0,54,-54,0,0,18,0,0,0,0,11,-3,25,9,-7,-7,-3,-3,
0,0,0,-10,-6,4,0,0,0,-1,-66,6,2,0,-6,0,0,0,0,2,0,0,0,0,-1,1,-9,1,0,-2,0,1,1,0,
0,0,2,0,0,2,2,0,-1,0,0,-2,2,-2,0,0,0,0,-1,1,-1,1,0,0,0,-1,1,0,0,0,0,2,-1],[
20083140,19908,-924,-1980,-24948,1701,405,0,1092,68,36,-92,0,12,-210,40,15,
396,84,-9,45,-27,9,-9,0,0,0,0,-20,-4,-12,4,-4,0,0,0,0,-2,6,-4,-2,3,0,0,-36,-4,
4,3,-3,0,-1,-3,3,1,-1,0,0,-1,0,0,-3,7,0,1,0,0,0,0,0,0,2,2,1,0,0,0,0,0,0,4,0,1,
0,-1,-1,-1,0,0,1,-1,0,1,0,0,0,0,-1,-1,0,0,-1],[21049875,2835,-2325,-1485,
160380,0,0,0,5859,3,-45,27,15,15,300,0,0,-324,-120,0,0,0,0,0,0,0,-21,0,-45,
-21,-9,-1,3,-1,0,0,0,-20,0,0,0,0,0,0,36,12,0,0,0,6,0,0,0,0,0,0,0,2,-1,0,-15,0,
0,0,0,1,1,0,0,0,4,0,0,3,0,0,0,-1,-1,0,0,0,2,0,0,2,0,1,1,0,0,0,0,0,-1,0,-1,-1,
0,-1,1],[21528000,-6720,4160,-320,138060,90,-180,36,3264,-64,0,64,0,0,175,0,0,
588,20,-60,-60,-6,-24,4,-4,4,-10,4,64,0,0,0,0,0,0,0,0,15,-5,0,0,0,0,-1,-36,-4,
4,6,-6,0,-4,0,0,-2,2,0,0,0,2,0,-5,0,1,0,0,0,0,0,0,0,-1,0,0,-1,-1,1,-1,0,0,4,0,
-2,0,0,0,0,2,0,3,0,1,0,0,-1,0,0,0,0,-1,-1,-1],[21579129,-7047,-2223,1881,0,0,
0,162,-567,297,9,-63,-27,-11,99,9,-21,0,0,0,0,0,0,0,6,-6,-9,-2,9,-15,-3,5,-3,
-3,0,0,0,3,7,-3,3,3,1,0,0,0,0,0,0,0,0,0,0,0,0,0,-2,0,3,2,0,0,-3,0,0,-1,-1,0,0,
0,3,-1,-1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0,0,0,1,0,0,0,-1,0,0],[23244375,
-6825,2975,55,-23100,-105,345,105,455,167,55,47,35,-5,0,0,0,-60,140,-15,-15,
-9,-3,1,5,1,0,0,-25,-17,3,-5,-1,3,3,6,0,0,0,0,0,0,0,0,20,20,-4,-13,-1,8,-7,1,
1,-1,-1,-1,1,-2,0,0,0,0,0,0,0,1,1,3,0,0,0,0,0,0,0,0,0,0,0,-4,0,-1,0,1,-1,-2,0,
0,0,0,0,0,0,0,0,-1,1,1,0,0,0],[24174150,9030,5278,1254,57057,798,-30,21,-938,
118,70,-50,14,10,70,-20,0,609,49,-30,-30,-18,-6,-6,1,-3,0,0,30,6,10,2,6,-2,-3,
-6,0,-10,-2,8,0,0,4,0,49,1,1,-2,10,5,-2,-2,-2,-2,-2,-1,1,0,0,0,7,7,1,-2,0,0,0,
-3,0,0,2,0,0,0,0,0,0,0,0,-3,1,0,1,0,0,0,0,0,-1,-1,1,0,0,0,0,1,0,0,0,0,-1],[
24667500,27500,-1300,2860,-10725,-15,300,105,-20,44,60,44,-28,-20,0,0,0,155,
-85,-25,20,17,32,7,5,1,-10,-3,-20,-4,-4,-4,0,-4,3,-3,0,0,0,0,0,0,0,0,-5,11,11,
-2,1,-1,-1,0,3,5,2,-1,1,0,2,-3,0,0,0,0,0,0,0,-1,-1,2,0,0,0,-1,-1,0,0,0,0,-5,
-1,1,-1,-1,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,-1,0],[24794000,28560,560,3344,40040,
854,440,-70,-560,80,80,112,0,16,0,-25,0,360,56,54,0,6,12,14,-10,2,0,0,0,0,0,0,
0,0,-1,2,-4,0,0,-5,5,0,-1,0,40,8,-8,-2,10,0,2,-4,2,-2,2,0,-2,-3,0,0,0,5,0,-1,
0,0,0,3,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0,-1,0,0,0,1,0,0,0,0,0],[
25900875,-11445,3835,715,32175,1260,315,-63,1323,-85,-165,27,-41,-5,-225,0,0,
-465,55,-60,75,12,3,4,1,1,-21,0,51,3,3,3,-1,-1,0,0,0,15,-5,0,0,0,0,0,15,-1,-9,
-9,12,-5,-4,3,0,0,-1,1,1,0,-1,0,0,0,-3,0,0,-1,-1,0,0,0,3,0,0,3,0,0,0,0,0,3,3,
0,-1,0,-1,0,0,1,0,0,1,0,0,0,-1,0,0,0,1,-1,0],[31574400,-5760,3328,1408,140712,
-300,60,84,2176,128,0,0,0,0,20,30,0,552,16,-60,-60,-12,0,4,4,4,4,-3,0,0,0,0,0,
0,-3,-6,0,20,8,-2,0,0,-2,0,-8,8,0,-2,4,0,-4,0,0,0,2,0,0,0,-4,1,2,-3,-1,0,0,0,
0,-3,0,0,-4,0,0,-2,1,0,0,0,0,0,0,0,0,0,0,0,-1,0,2,1,-1,0,0,0,-1,1,0,0,0,2,2],[
40166280,7560,2520,-1848,187110,-567,324,0,4200,-88,-24,-8,0,0,0,10,5,-90,
-126,45,-36,9,0,-3,0,0,0,0,40,-8,-16,0,0,0,0,0,0,0,0,-10,0,5,2,0,30,-10,10,6,
9,0,5,0,-3,1,2,0,0,-2,0,0,0,-5,0,-2,-1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,-2,2,1,0,1,
0,-2,0,0,0,-1,0,0,-1,0,0,0,1,1,0,0,0],[40370176,0,8192,0,22528,-512,640,112,0,
0,0,0,0,0,-64,16,-24,0,128,0,0,0,0,0,8,0,14,0,0,0,0,0,0,0,-8,4,-2,0,-8,-8,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,2,0,8,-2,2,-2,0,0,0,0,0,0,0,0,0,2,-1,0,0,1,1,
0,0,0,0,0,0,2,0,0,0,-2,-2,0,0,0,-1,0,-1,-1,0,2,0],[44013375,-16065,-1665,639,
189540,729,0,0,4095,63,15,-65,27,-9,0,-25,0,-540,36,-81,0,9,0,-9,0,0,-35,0,
-25,7,15,-1,3,3,0,0,0,0,0,-5,5,0,-1,-1,-60,-12,4,0,-3,0,3,0,3,1,0,0,0,3,1,0,0,
5,0,-1,0,-1,-1,0,0,0,0,1,0,1,1,0,1,0,0,-4,0,-1,0,1,0,-1,0,-1,0,1,0,-1,0,-1,0,
0,0,0,0,1,0],[46621575,11655,-6201,-825,138996,-567,-405,0,2247,7,-105,7,27,
15,-90,40,0,-396,36,-45,-45,9,-9,3,0,0,21,0,-65,-1,-9,7,-5,3,0,0,0,-10,-6,4,0,
0,0,0,84,4,4,-3,9,0,-5,3,3,1,1,0,0,0,1,0,-9,1,0,-2,0,-1,-1,0,0,0,2,0,0,-3,0,0,
0,0,0,4,0,1,0,-1,1,0,0,-1,-1,1,0,0,0,0,1,0,0,0,0,1,-1],[51571520,33600,0,
-3520,40040,1610,656,56,-1344,-64,64,-128,0,0,140,0,-5,-24,0,30,-24,-6,12,-10,
0,8,0,0,0,0,0,0,0,0,8,2,-4,-20,0,0,0,-5,0,0,24,8,16,6,6,0,2,4,-2,-2,2,0,0,0,0,
0,5,0,-4,0,1,0,0,0,0,0,-4,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0,0,0,
0,0,0,0,-1],[55255200,61600,-4576,-352,27456,2022,-570,-84,-1120,-96,160,32,0,
0,160,-10,0,-320,-40,-50,-50,22,-14,-10,-4,-4,14,0,0,0,0,0,0,0,-3,-3,-3,0,4,
-6,0,0,-2,0,80,0,8,-4,2,0,-6,-2,-2,2,0,0,0,0,2,0,16,-4,1,2,0,0,0,1,1,1,0,0,0,
2,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,-1,-1,0,0,0,2,0],[57544344,8856,
-936,792,208494,-729,0,0,4248,24,120,-40,0,-24,-126,-11,-6,-594,90,81,0,-9,0,
9,0,0,-10,-3,40,8,-8,-8,0,0,0,0,0,-14,-6,9,1,6,-3,0,6,-18,2,0,3,0,-3,0,-3,-1,
0,0,0,0,2,1,9,4,0,1,0,0,0,0,0,0,-2,1,0,-1,-1,0,0,0,0,-2,-2,1,0,-1,0,0,-1,0,1,
0,0,1,0,0,0,0,0,0,0,-1,1],[60435375,-8785,-3185,3311,210210,-84,330,-105,2415,
47,-65,15,7,-1,0,25,0,290,154,-34,-70,-4,26,-10,-5,-1,0,0,-65,15,-1,-1,3,-1,6,
3,0,0,0,5,-5,0,1,0,-30,2,-6,-6,0,-2,2,-2,-2,0,2,1,-1,0,0,0,0,-5,0,1,0,-1,-1,2,
-1,2,0,-1,0,0,0,0,0,0,0,-2,2,-2,2,0,0,0,0,0,0,-1,0,1,0,0,0,0,0,0,0,0,0],[
65270205,189,-3003,-99,-81081,1701,-324,0,2541,-179,-195,85,21,9,-315,25,-20,
711,-105,9,36,-27,0,9,0,0,0,0,-11,13,-7,1,-3,5,0,0,0,-11,-3,-3,-1,4,1,0,-9,7,
7,-6,-3,3,1,0,-3,1,-2,0,0,0,0,0,9,4,0,1,1,-1,-1,0,0,0,1,-1,0,0,0,0,0,0,0,-5,
-1,1,-1,1,0,0,0,0,1,0,0,-1,1,0,0,0,0,0,-1,0,1],[66602250,51210,4290,1386,
-57915,1701,-405,0,1050,250,90,-14,6,6,0,25,0,-315,69,9,-45,-27,-9,9,0,0,15,
-6,10,-14,-2,6,-2,-2,0,0,0,0,0,5,5,0,1,0,-75,-11,-11,-3,-3,-3,1,3,-3,1,1,0,0,
0,-1,-2,0,-5,0,1,0,0,0,0,0,0,0,1,0,3,0,0,0,0,0,1,1,1,1,1,1,0,0,-1,0,-1,0,-1,0,
0,0,0,0,0,0,-1,0],[77702625,-34335,-975,2145,-19305,1755,-270,0,1281,129,-175,
17,21,-15,-300,0,0,279,15,-45,90,27,-18,3,0,0,-14,0,-55,-7,-7,-7,-3,-3,0,0,0,
20,0,0,0,0,0,0,39,-9,-1,12,3,3,3,2,-1,-1,0,0,0,0,-2,0,15,0,0,0,0,1,1,0,0,0,-4,
0,0,1,-2,0,0,0,0,-1,-1,-1,3,-1,0,0,0,0,-1,0,0,0,0,0,1,0,0,0,0,1,-1],[83720000,
59200,0,320,-63700,560,20,20,960,-64,0,128,-56,0,0,0,0,-20,0,-20,-20,16,16,-4,
0,-4,0,-7,0,0,0,0,0,8,2,2,2,0,0,0,0,0,0,1,-60,-4,8,6,0,-2,-4,0,0,-4,2,-2,0,0,
0,1,0,0,0,0,0,0,0,-2,-2,-2,0,0,0,0,0,-1,1,0,0,0,0,0,2,0,0,0,1,0,0,0,0,0,0,1,0,
0,0,0,0,0,0],[85250880,39744,7488,2112,138996,-1134,-324,0,1344,64,0,64,0,0,
-225,10,-20,-396,36,36,36,18,0,-12,0,0,-6,-6,64,0,0,0,0,0,0,0,0,-1,3,-2,4,4,2,
0,84,4,4,-6,-6,0,4,0,0,-2,-2,0,0,0,-2,-2,-9,1,0,1,1,0,0,0,0,0,-1,0,0,-3,0,0,0,
0,0,4,0,-2,0,0,0,0,0,0,-1,1,0,1,1,0,-1,0,0,0,-1,1,-1],[91547820,53676,4212,
-1332,18954,729,0,0,-1764,60,60,4,0,0,225,-10,-30,-54,54,-81,0,9,0,-9,0,0,-14,
0,-4,4,-8,0,0,0,0,0,0,1,-3,2,-4,6,-2,1,66,-6,-2,0,-3,0,3,0,3,1,0,0,0,0,-2,0,9,
-1,0,-1,0,2,-2,0,0,0,1,0,0,-2,1,0,-1,0,0,2,-2,-1,0,1,0,0,0,0,1,-1,0,-1,0,1,1,
0,0,0,1,-2,1],[100725625,15225,6825,-2695,275275,595,-170,-140,665,25,-55,-55,
-7,-15,0,0,0,1035,-105,45,-90,3,6,5,0,-4,0,0,25,-7,17,1,-3,1,1,4,-2,0,0,0,0,0,
0,0,35,-5,-1,-10,-1,-7,1,2,5,-1,-2,2,0,0,0,0,0,0,0,0,0,1,1,-3,0,0,0,0,0,0,0,0,
0,0,0,-5,-1,1,1,-1,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0],[106142400,-25920,
11648,1728,88452,0,0,216,-1728,-192,0,0,56,0,70,30,0,324,56,0,0,0,0,0,-4,0,0,
-7,0,0,0,0,0,-8,0,0,0,-10,-2,-2,0,0,-2,1,-36,-12,0,0,0,2,0,0,0,0,0,2,0,0,0,1,
7,-3,1,0,0,0,0,0,0,0,2,0,0,0,0,-1,1,-1,-1,0,0,0,-2,0,0,0,1,0,-1,1,1,0,0,1,0,0,
0,0,0,0,-1],[109882500,32900,-9100,1540,238875,735,330,105,420,-92,-140,20,
-28,-20,0,0,0,155,35,65,-70,-1,-22,1,5,1,0,0,-60,4,12,-4,0,-4,6,-3,-3,0,0,0,0,
0,0,2,75,-5,-13,6,-9,-1,1,-2,1,-1,-2,-1,1,0,0,0,0,0,0,0,0,0,0,2,-1,-1,0,0,0,0,
0,0,0,0,0,3,3,3,-1,1,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0],[150732800,0,4096,0,
226304,512,-640,104,0,0,0,0,64,0,-160,-40,0,0,64,0,0,0,0,0,4,0,1,8,0,0,0,0,0,
0,8,-4,2,0,-4,-4,0,0,0,-2,0,0,0,0,0,-8,0,0,0,0,0,-2,0,-3,1,0,-16,-1,-1,2,0,0,
0,0,0,0,0,0,0,1,1,-1,0,0,0,0,0,0,0,0,0,1,0,1,0,-1,-1,0,0,1,1,0,0,0,0,1,0],[
163478250,-25110,-1950,-3510,331695,0,0,0,2106,-102,90,18,-6,30,-300,0,0,-81,
-105,0,0,0,0,0,0,0,-9,-9,-30,-6,14,6,6,2,0,0,0,20,0,0,0,0,0,1,-81,15,-9,0,0,3,
0,0,0,0,0,0,0,0,3,-1,15,0,0,0,0,0,0,0,0,0,-4,0,0,0,0,0,-1,0,0,3,-1,0,-1,0,0,0,
-1,1,-1,0,0,0,0,1,1,0,0,0,0,0,-1],[184184000,38080,4160,3520,14300,-1090,-280,
-28,448,192,0,64,0,0,-225,0,0,220,20,40,40,-2,-8,-8,-4,4,14,0,-64,0,0,0,0,0,
-10,-1,-1,15,-5,0,0,0,0,0,-20,12,4,16,-2,0,0,0,0,-2,0,0,0,0,2,0,0,0,-3,0,0,0,
0,-2,1,1,3,0,0,-1,2,0,0,0,0,-4,0,2,0,0,0,0,0,0,0,0,1,0,0,0,-1,-2,0,0,1,-1,0],[
185912496,34992,11088,1584,0,0,0,162,-1296,-144,-144,144,0,16,126,-9,21,0,0,0,
0,0,0,0,6,-6,0,7,0,0,0,0,0,0,0,0,0,-18,-2,3,-3,-3,-1,0,0,0,0,0,0,0,0,0,0,0,0,
0,-2,3,0,-1,0,0,-3,0,0,0,0,0,0,0,-6,1,1,0,0,1,0,0,0,0,0,0,0,0,0,-1,-1,0,0,0,1,
0,0,0,0,0,0,0,0,0,0],[185955000,35000,4200,3960,-150150,-525,1410,0,2520,152,
-40,72,0,0,0,0,0,-70,-210,-25,-70,-13,-10,-9,0,0,0,0,-40,8,16,0,0,0,6,0,3,0,0,
0,0,0,0,0,-30,-22,6,0,3,0,-1,2,-1,3,-4,0,0,-3,0,0,0,0,0,0,0,0,0,2,2,-1,0,0,0,
0,0,0,0,0,0,2,-2,-1,0,-1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[191102976,0,
-4096,0,248832,0,0,216,0,0,0,0,-64,0,-224,-24,-24,0,-64,0,0,0,0,0,-4,0,15,8,0,
0,0,0,0,0,0,0,0,0,4,4,0,0,0,-2,0,0,0,0,0,8,0,0,0,0,0,2,0,-1,-1,0,-8,-3,1,0,0,
0,0,0,0,0,0,0,0,3,0,-1,0,1,1,0,0,0,0,0,0,-1,0,-1,0,1,1,0,0,1,0,0,-1,-1,0,-1,
0],[201451250,75250,-4550,-3630,-125125,-700,470,35,1890,-190,-110,-54,14,-10,
0,0,0,-5,175,-50,-50,52,10,6,-5,3,0,0,50,-6,14,6,-6,-2,2,-1,5,0,0,0,0,0,0,0,
-45,11,-9,0,0,5,2,-2,-2,0,-4,-1,-1,0,0,0,0,0,0,0,0,0,0,-2,1,1,0,0,0,0,0,0,0,0,
0,-1,-1,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[205395750,5670,-5810,-1530,
-144585,0,0,189,2646,54,-90,30,-14,10,-175,0,0,567,175,0,0,0,0,0,-11,-3,0,0,6,
-18,2,-6,6,2,0,0,0,-15,5,0,0,0,0,-1,-9,-9,15,0,0,-5,0,0,0,0,0,1,1,1,0,0,5,0,
-1,0,0,0,0,0,0,0,1,0,0,0,0,0,-1,0,0,3,-1,0,-1,0,0,1,0,0,-3,0,-1,0,0,-1,0,0,1,
1,1,0,1],[207491625,27945,8865,3465,0,0,0,-162,-1863,153,-135,81,-27,5,225,0,
0,0,0,0,0,0,0,0,-6,6,-9,5,9,-15,-3,5,-3,-3,0,0,0,-15,5,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,2,3,3,1,0,0,3,0,0,-1,-1,0,0,0,-3,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,-1,
-1,1,0,0,-1,0,0,0,1,0,0,0,-1,0,0],[210974400,20160,0,-6720,163800,-630,-144,0,
-2240,64,64,128,0,0,0,0,25,600,0,-30,24,-6,36,-6,0,0,0,0,0,0,0,0,0,0,-9,0,0,0,
0,0,0,5,0,-1,40,-8,-16,10,-2,0,-2,4,-2,2,-2,0,0,0,0,0,0,0,0,0,1,0,0,3,0,0,0,0,
-1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,0,1,0,0,0,0,0],[215547904,
65536,0,0,73216,1504,-224,64,0,0,0,0,0,0,-176,-16,4,-512,0,64,64,-32,16,0,0,0,
-16,-2,0,0,0,0,0,0,10,1,1,16,0,0,-4,-4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,
-14,-4,4,-1,1,0,0,-2,1,1,0,0,0,-4,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,-2,0,0,-1,-1,0,
-1,0,0,0,0,0,0],[219648000,-61440,0,0,137280,1560,-240,0,-4096,0,0,0,0,0,300,
0,0,576,0,0,0,24,-24,0,0,0,-16,-9,0,0,0,0,0,0,3,0,6,-20,0,0,0,0,0,0,-64,0,0,8,
8,0,0,0,0,0,0,0,0,0,0,-1,-15,0,0,0,0,0,0,3,0,0,4,0,0,-4,-1,0,0,1,1,0,0,0,0,0,
0,0,-1,0,1,0,0,0,0,0,-1,-1,0,0,0,0,1],[241741500,81340,5460,924,-60060,-21,
-30,0,140,108,140,-124,0,24,0,-25,0,100,-84,-89,10,-5,-2,15,0,0,0,0,-20,4,0,
-8,0,0,-3,0,3,0,0,-5,-5,0,-1,0,20,-12,-4,-4,-1,0,3,2,-1,-1,0,0,0,0,0,0,0,5,0,
-1,0,-2,2,1,-2,1,0,-1,0,0,0,0,0,0,0,4,0,1,0,1,0,0,0,0,0,1,0,1,0,0,0,-1,0,0,0,
0,0],[247235625,-60375,6825,4905,-61425,945,135,0,105,-23,-55,-87,21,-15,0,0,
0,15,-105,15,15,33,51,-9,0,0,0,0,-15,1,-7,9,1,5,0,0,0,0,0,0,0,0,0,-1,15,-17,
-9,-3,-3,3,-5,-1,-1,-3,1,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,-1,0,0,3,
-1,3,-1,1,1,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0],[251756505,-33831,-6903,1881,
208494,-729,0,0,441,57,105,41,-27,9,-315,25,30,-594,90,-81,0,-9,0,-9,0,0,35,0,
49,1,1,1,-3,-3,0,0,0,-11,-3,-3,-1,-6,1,0,6,-18,2,0,3,0,3,0,3,-1,0,0,0,0,-1,0,
9,4,0,1,0,1,1,0,0,0,1,-1,0,-1,-1,0,0,0,0,-2,-2,1,0,1,0,0,0,1,1,0,0,-1,0,0,0,0,
0,0,-1,-1,1],[257857600,96320,-11648,2112,-52052,-140,-500,-56,448,-64,0,0,56,
0,-70,-30,0,236,-56,20,20,20,-16,-12,4,0,0,0,0,0,0,0,0,-8,-5,7,1,10,2,2,0,0,2,
0,-44,-4,0,-2,4,2,-4,0,0,0,2,2,0,0,0,0,-7,3,-1,0,0,0,0,-1,-1,-1,-2,0,0,0,0,0,
0,0,0,0,0,0,-2,0,0,0,0,0,1,-1,-1,0,0,0,0,1,0,0,0,0,1],[259008750,19950,9750,
-1650,-160875,720,-1305,0,2590,62,-130,-90,-6,-30,0,0,0,-555,-15,30,-105,0,15,
6,0,0,35,0,-50,6,10,2,2,2,-9,0,0,0,0,0,0,0,0,0,-35,5,9,7,4,3,2,-1,2,0,-1,0,0,
0,-1,0,0,0,0,0,0,0,0,3,0,0,0,0,0,-1,-1,0,0,0,0,1,1,-2,-1,0,-1,0,0,1,0,0,0,0,0,
0,0,1,0,0,0,-1,0],[267014475,-65205,8827,-693,-88452,0,0,189,1323,-213,315,27,
7,-5,-70,-30,0,-324,-56,0,0,0,0,0,-11,-3,0,0,-45,3,3,3,-9,-1,0,0,0,10,2,2,0,0,
2,2,36,12,0,0,0,-2,0,0,0,0,0,1,1,0,0,0,-7,3,-1,0,0,-1,-1,0,0,0,-2,0,0,0,0,0,0,
0,0,0,0,0,2,0,0,0,0,0,1,-1,-1,0,0,-1,0,0,0,0,0,0,1],[280280000,11200,0,3520,
100100,-700,-520,140,-2240,-192,0,-128,-56,0,0,0,0,580,0,40,40,4,-32,-8,0,4,0,
0,0,0,0,0,0,8,-7,5,-1,0,0,0,0,0,0,0,-20,-12,-8,-8,4,-2,0,0,0,4,0,-2,0,0,0,0,0,
0,0,0,0,0,0,1,1,1,0,0,0,0,0,0,0,-1,-1,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,
0,0],[292953024,-60480,-7488,1728,-189540,1458,0,0,4032,192,0,-64,0,0,-351,
-26,24,540,-36,0,0,18,0,0,0,0,14,0,64,0,0,0,0,0,0,0,0,-15,-3,2,0,0,-2,1,60,12,
-4,0,-6,0,0,0,0,2,0,0,0,0,2,0,0,-5,0,-2,0,0,0,0,0,0,-3,0,0,-1,2,0,1,0,0,4,0,
-2,0,0,0,0,0,0,0,-1,0,0,0,1,-1,0,0,0,-1,-1,0],[299710125,-28755,6565,1485,
347490,0,0,-216,-1539,-99,45,21,13,-15,-175,0,0,162,-50,0,0,0,0,0,4,0,15,1,21,
-3,1,-7,-3,-3,0,0,0,-15,5,0,0,0,0,0,-54,18,6,0,0,4,0,0,0,0,0,-2,0,0,-1,1,5,0,
-1,0,0,-1,-1,0,0,0,1,0,0,3,0,1,0,0,0,6,-2,0,0,0,0,0,1,-1,-3,0,-1,0,0,0,0,0,0,
0,1,-1,1],[302176875,875,2275,4235,150150,-105,300,-105,-1925,-101,75,-45,7,
-25,0,0,0,-250,70,-115,20,-25,-16,5,-5,-1,0,0,-5,-13,-1,7,3,7,3,3,3,0,0,0,0,0,
0,0,70,22,6,10,-5,-2,1,0,-3,3,-2,1,-1,0,0,0,0,0,0,0,0,1,1,-1,-1,-1,0,0,0,0,0,
0,0,0,0,-2,2,1,-2,-1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0],[309429120,-27776,
-11648,1408,24024,1344,-276,84,-2688,-128,0,128,0,0,350,-10,20,-296,-56,-44,
-44,-32,16,4,4,4,0,0,0,0,0,0,0,0,-6,3,3,14,2,2,4,4,-2,0,24,-8,8,-6,0,0,4,0,0,
-4,-2,0,0,0,0,0,-1,-1,-1,-1,-1,0,0,-2,1,1,2,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,-1],[326956500,-15660,-2340,-396,189540,729,0,0,
-1980,228,-60,-20,0,24,0,-25,0,-540,36,81,0,9,0,9,0,0,10,3,20,-4,0,8,0,0,0,0,
0,0,0,-5,-5,0,-1,2,-60,-12,4,0,-3,0,-3,0,-3,1,0,0,0,0,-2,-1,0,5,0,-1,0,2,-2,0,
0,0,0,-1,0,1,1,0,0,0,0,-4,0,-1,0,-1,0,0,1,0,0,1,0,1,0,-1,0,0,0,0,0,1,0],[
360062976,-57344,0,0,-139776,336,912,0,0,0,0,0,0,0,336,16,26,-512,0,64,-80,16,
-32,0,0,0,0,0,0,0,0,0,0,0,-6,0,-3,16,0,0,-4,6,0,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,-6,4,0,1,2,0,0,-2,-2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-2,0,0,-1,0,
1,0,0,0,0,0,0,0],[387317700,3780,-4356,1188,-208494,-1458,0,0,2772,180,180,
-20,0,0,-90,-10,0,594,-90,0,0,-18,0,0,0,0,-14,0,20,12,8,0,0,0,0,0,0,-10,-6,-6,
0,0,-2,0,-6,18,-2,0,6,0,0,0,0,-2,0,0,0,3,-2,0,-9,-4,0,2,0,2,-2,0,0,0,2,0,0,1,
-2,0,0,0,0,2,2,2,0,0,0,-1,0,0,-1,0,0,0,0,0,1,0,0,0,0,1,-1],[402902500,60900,
-9100,3300,-25025,-770,670,-35,-700,-316,20,-44,28,-20,0,0,0,255,35,30,30,-18,
6,6,5,-3,0,0,20,-12,-4,12,0,4,-5,-8,-2,0,0,0,0,0,0,0,-25,-1,-5,2,2,1,2,2,2,-2,
2,1,1,0,0,0,0,0,0,0,0,0,0,3,0,0,0,0,0,0,0,0,0,0,0,-1,-1,-4,1,0,0,0,0,0,0,0,0,
0,0,0,0,-1,0,0,0,0,0],[464257024,0,4096,0,-146432,-1280,-1280,-56,0,0,0,0,-64,
0,224,24,24,0,64,0,0,0,0,0,4,0,-35,0,0,0,0,0,0,0,16,-2,-2,0,-4,-4,0,0,0,0,0,0,
0,0,0,8,0,0,0,0,0,2,0,-3,1,0,8,3,-1,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,
0,1,0,-1,0,-1,-1,0,0,0,0,0,0,0,0,1,0],[469945476,-56700,4004,-1980,-243243,0,
0,-189,3780,-252,180,36,-28,20,-224,-24,-24,405,161,0,0,0,0,0,11,3,0,0,-60,
-12,4,4,0,-4,0,0,0,0,4,4,0,0,0,0,45,-27,9,0,0,-1,0,0,0,0,0,-1,-1,0,0,0,-8,-3,
1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-3,1,0,-1,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,
0],[469945476,40068,9828,-8316,0,0,729,0,-252,132,-60,36,0,-36,-189,-9,26,0,0,
0,81,0,-27,0,0,0,0,0,-36,12,-12,4,4,0,0,0,0,3,3,3,3,-2,-1,0,0,0,0,-9,0,0,0,-3,
0,0,3,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,3,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,
0,0,1,0,0,0,0,0,-1,0,0],[483483000,-16520,-3640,440,60060,-105,210,-84,-2856,
24,-40,-24,0,0,175,0,0,28,140,55,10,7,22,-1,-4,-4,0,0,-56,-8,0,-16,0,0,-6,-3,
0,15,-5,0,0,0,0,0,-36,12,12,-12,3,0,3,2,-1,3,0,0,0,0,0,0,-5,0,1,0,0,0,0,-2,1,
-2,-1,0,0,0,0,0,0,0,0,4,0,1,0,1,0,0,0,0,3,0,1,0,0,0,0,0,0,0,-1,0,-1],[
502078500,13860,-1260,-924,187110,-1134,405,0,-2940,68,-60,-140,0,36,0,25,0,
-90,-126,-36,45,18,9,12,0,0,0,0,-20,12,-4,-4,-4,0,0,0,0,0,0,5,5,0,1,0,30,-10,
10,3,-6,0,-4,-3,0,-2,-1,0,0,1,0,0,0,-5,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,-2,2,
-2,0,0,-1,1,0,0,0,-1,0,-1,0,0,0,0,1,1,0,0,0],[503513010,-19278,3354,594,
-104247,0,0,0,1890,-126,-126,42,6,6,-195,15,-15,-567,-111,0,0,0,0,0,0,0,21,0,
66,-6,-2,-10,6,-2,0,0,0,-3,9,-1,-3,-3,-1,0,9,9,-15,0,0,-3,0,0,0,0,0,0,0,0,1,0,
3,3,0,0,0,0,0,0,0,0,5,1,-1,-3,0,0,0,0,0,-3,1,0,1,0,0,0,0,-1,3,-1,0,0,0,0,1,0,
0,0,1,1,-1],[504627200,0,-4096,0,-123904,-1792,-640,56,0,0,0,0,64,0,160,40,0,
0,-64,0,0,0,0,0,-4,0,-21,0,0,0,0,0,0,0,8,2,-4,0,4,4,0,0,0,0,0,0,0,0,0,-8,0,0,
0,0,0,-2,0,-1,-1,0,16,1,1,-2,0,0,0,0,0,0,0,0,0,3,0,0,0,1,1,0,0,0,0,0,0,-1,0,1,
0,1,1,0,0,0,-1,0,-1,-1,0,-1,0],[522161640,1512,2184,-792,-162162,1701,324,0,
168,-88,-120,-56,0,24,210,-5,-10,-306,42,-9,-36,-27,0,-9,0,0,0,0,40,8,-8,-8,0,
0,0,0,0,2,-6,-1,7,2,3,0,6,14,-14,6,-3,0,-1,0,3,1,2,0,0,0,0,0,3,-2,0,1,-1,0,0,
0,0,0,-2,-1,0,0,0,0,0,0,0,-2,-2,1,0,-1,0,0,0,0,-1,2,0,1,-1,0,0,0,0,0,0,0,1],[
551675124,-47628,-9828,-3564,0,0,0,0,-2268,324,36,108,0,-24,189,9,-51,0,0,0,0,
0,0,0,0,0,0,0,36,12,0,8,0,0,0,0,0,-3,-3,-3,-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,-2,2,0,0,0,-3,1,1,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,1,0,0]],
[(97,98),(78,79)]);
ARC("Co1","CAS",[rec(name:="c1",
permchars:=(94,95),
permclasses:=(20,21)(30,31)(36,37)(39,40)(41,42)(52,55)(66,67)(90,91),
text:=[
"names:=c1; co1; .1; conway.1\n",
" order: 2^21.3^9.5^4.7^2.11.13.23 = 4,157,776,806,543,360,000\n",
" number of classes: 101\n",
" source:private communication of compound table\n",
" from cambridge group atlas project 1980/81\n",
" origin:conway, j. - guy, m.\n",
" -unpublished- \n",
""])]);
ARC("Co1","projectives",["2.Co1",[[24,8,0,0,-12,6,-3,0,8,0,4,0,0,0,-6,4,-1,-4,
0,-4,5,2,-1,0,0,0,-4,3,0,0,4,0,2,0,-3,0,3,-2,0,0,-2,3,0,2,-4,0,0,-1,2,0,0,1,
-2,0,3,0,0,-2,0,1,3,-2,0,1,2,0,2,-1,2,-1,-2,0,-1,2,-1,0,0,1,1,0,-2,0,0,0,-1,0,
1,0,1,0,0,1,0,-1,1,-1,1,1,0,0,1],[2024,-8,0,0,-352,26,-1,8,120,0,-4,0,0,0,-56,
4,-1,-32,0,4,31,-2,1,0,0,0,-20,1,0,0,12,0,-2,0,-10,-1,-1,-8,0,0,2,7,0,0,0,0,0,
3,6,0,0,-1,2,0,3,0,0,-4,0,-1,-2,-2,-2,1,-1,0,2,-2,1,1,0,0,1,-2,-2,1,0,0,0,0,0,
0,0,0,1,0,1,0,-2,0,0,-1,1,0,0,0,-1,-1,0,0,0],[2576,176,0,0,-196,56,11,8,48,0,
24,0,0,0,-14,16,1,20,0,-16,11,8,5,0,0,0,0,7,0,0,8,0,4,0,2,-1,5,6,0,0,-4,1,0,2,
-12,0,0,3,0,0,0,3,0,0,3,0,0,2,0,1,4,4,-2,1,1,0,0,2,-1,-1,-2,0,-1,0,0,1,0,0,0,
0,2,0,0,0,1,0,-1,0,0,0,0,-1,1,2,0,0,-1,-1,0,0,-2],[4576,160,0,0,-572,58,-14,
-8,160,0,16,0,0,0,-64,16,1,-20,0,-20,34,-2,-2,0,0,0,-16,5,0,0,16,0,0,0,-5,1,7,
0,0,0,0,5,0,0,-20,0,0,-2,-2,0,0,-2,-2,0,6,0,0,0,0,-1,8,-2,2,-2,1,0,0,1,1,1,0,
0,1,2,2,-1,0,-1,-1,0,-2,0,0,0,0,0,-1,0,0,0,0,0,-1,0,-1,1,0,0,0,0,0],[40480,
-160,0,0,-3080,70,34,-8,608,0,-16,0,0,0,-190,0,5,-88,0,20,74,2,2,0,0,0,-36,-1,
0,0,16,0,0,0,-11,1,-5,-10,0,0,0,5,0,0,8,0,0,-4,2,0,0,2,2,0,0,0,0,-2,0,1,-10,0,
2,0,-1,0,0,-1,-1,-1,-2,0,-1,0,0,-1,0,0,0,0,4,0,0,0,0,0,-1,0,2,0,0,0,-1,0,-1,
-1,1,1,0,0,-2],[95680,1856,0,0,208,316,19,-8,64,0,96,0,0,0,20,40,5,-16,0,-16,
11,20,-7,0,0,0,4,11,0,0,0,0,8,0,1,1,1,-4,0,0,-4,1,0,2,16,0,0,1,4,0,0,3,0,0,-3,
0,0,0,0,1,-7,-2,2,1,-1,0,0,-1,-1,-1,4,0,1,-2,1,-1,0,0,0,0,0,0,0,0,-1,0,1,0,-1,
0,0,-1,1,-1,-1,1,0,0,0,0,1],[170016,-672,0,0,-7788,114,-30,0,1120,0,-16,0,0,0,
-264,-4,-9,-36,0,36,90,6,-6,0,0,0,-28,0,0,0,16,0,0,0,-3,0,-6,8,0,0,-2,3,0,0,
28,0,0,4,-2,0,0,2,2,0,0,0,0,2,0,0,-3,2,0,-1,0,0,0,3,0,0,0,0,-1,-4,2,0,0,0,0,0,
-2,0,0,0,0,0,0,0,-1,0,0,1,0,0,2,1,-1,-1,0,0,3],[299000,680,0,0,-12220,20,-25,
8,1576,0,20,0,0,0,-350,0,0,-148,0,-40,95,-4,5,0,0,0,-40,-5,0,0,4,0,2,0,-7,-1,
5,-10,0,0,0,0,0,-2,-20,0,0,1,4,0,0,-1,-4,0,-3,0,0,0,0,1,10,0,-2,0,0,0,-2,-1,
-1,-1,6,0,0,2,-1,1,0,0,0,0,-2,0,0,0,-1,0,1,0,2,0,0,0,0,1,0,1,0,0,0,0,0],[
315744,2848,0,0,-3432,474,60,0,288,0,80,0,0,0,-6,44,-6,136,0,-44,28,-2,4,0,0,
0,16,9,0,0,16,0,0,0,6,0,3,-2,0,0,-2,-2,0,0,-24,0,0,0,6,0,0,-4,2,0,0,0,0,0,0,
-1,3,8,0,-1,0,0,0,-2,-2,1,-2,0,0,-2,-2,0,0,0,0,0,4,0,0,0,0,0,1,0,1,0,0,1,-2,0,
1,0,0,0,0,0,1],[351624,2520,0,0,-8736,210,-51,0,728,0,44,0,0,0,-126,24,-1,-96,
0,-60,21,6,-9,0,0,0,0,0,0,0,12,0,-2,0,3,0,6,-10,0,0,0,-5,0,-2,-64,0,0,-1,-10,
0,0,5,2,0,3,0,0,0,0,0,9,-6,0,0,-1,0,-2,-3,0,0,-2,0,-1,0,0,0,0,0,0,0,0,0,0,0,1,
0,0,0,-1,0,0,0,1,-2,0,-1,0,0,0,0,1],[388080,336,0,0,-11088,252,9,0,1232,0,-24,
0,0,0,-210,20,5,144,0,0,81,-12,3,0,0,0,0,0,0,0,24,0,-4,0,9,0,0,26,0,0,6,1,0,0,
-16,0,0,-1,-4,0,0,-3,0,0,3,0,0,4,0,0,-3,2,0,2,-1,0,0,3,0,0,2,0,1,0,0,0,0,1,1,
0,0,0,0,0,-1,0,0,0,-1,0,0,0,1,0,0,-1,1,1,0,0,-1],[789360,-1072,0,0,-18876,6,
-39,48,1616,0,40,0,0,0,-260,-20,10,-148,0,-4,41,2,-1,0,0,0,-16,5,0,0,-8,0,-4,
0,-3,3,0,-12,0,0,-2,-2,0,0,44,0,0,5,2,0,0,1,-2,0,-3,0,0,0,0,-1,19,4,-2,1,1,0,
0,-1,-1,2,-4,0,0,-4,-1,-1,0,0,0,0,-2,0,0,0,-1,0,-1,0,-3,0,0,1,1,0,-1,-1,0,0,0,
0,-1],[1841840,11152,0,0,4004,980,-181,8,272,0,200,0,0,0,70,60,-10,-116,0,-8,
19,28,1,0,0,0,0,7,0,0,-8,0,4,0,-1,-1,-1,2,0,0,2,2,0,0,44,0,0,-7,-4,0,0,-1,-4,
0,-3,0,0,0,0,1,-11,-6,-2,0,-1,0,0,1,1,1,2,0,0,0,0,1,0,0,0,0,-2,0,0,0,1,0,-1,0,
-1,0,0,2,-1,0,0,-1,0,0,0,0,-1],[1937520,720,0,0,-42120,0,81,0,3408,0,-24,0,0,
0,-510,0,-5,-216,0,0,81,0,-9,0,0,0,-24,-3,0,0,-8,0,4,0,0,0,0,-10,0,0,0,-5,0,2,
-24,0,0,-3,0,0,0,-3,0,0,-3,0,0,0,0,-1,-15,0,0,0,1,0,0,0,0,0,-2,0,1,6,0,0,0,0,
0,0,4,0,0,0,1,0,-1,0,-1,0,0,0,1,-1,1,0,0,0,0,0,1],[4004000,-3360,0,0,-37180,
530,-100,56,2016,0,-80,0,0,0,-100,0,0,492,0,60,60,6,-12,0,0,0,28,0,0,0,16,0,0,
0,8,2,-4,20,0,0,0,0,0,0,12,0,0,0,6,0,0,4,-2,0,0,0,0,0,0,0,-10,0,-4,0,0,0,0,0,
0,0,-4,0,0,4,-2,0,0,-1,-1,0,-2,0,0,0,0,0,0,0,2,0,0,0,0,0,-2,0,0,0,0,0,2],[
5051904,-3584,0,0,-75504,204,96,-48,4608,0,0,0,0,0,-526,-16,4,-80,0,64,64,4,
16,0,0,0,4,4,0,0,0,0,0,0,6,-3,-3,6,0,0,-4,-4,0,0,48,0,0,0,-12,0,0,0,0,0,0,0,0,
0,0,0,-4,-4,2,-1,1,0,0,-2,1,1,-2,0,0,-2,1,1,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,-1,
-1,0,-1,0,0,0,0,0,-2],[6446440,17528,0,0,-4004,658,190,112,-392,0,124,0,0,0,
-70,0,15,116,0,44,-10,38,14,0,0,0,0,0,0,0,-4,0,6,0,1,4,-2,-2,0,0,8,3,0,0,-44,
0,0,4,-2,0,0,-2,-2,0,0,0,0,0,0,0,11,6,2,3,0,0,-2,-1,2,2,-2,0,-1,0,0,0,0,0,0,0,
2,0,0,0,0,0,0,0,1,0,0,-1,0,0,0,1,0,0,0,0,1],[6446440,3192,0,0,-76076,-224,
-161,-56,4088,0,60,0,0,0,-350,-20,-10,156,0,-96,39,0,-3,0,0,0,0,0,0,0,-20,0,
-2,0,1,-2,4,22,0,0,2,2,0,0,-4,0,0,-7,8,0,0,3,0,0,-3,0,0,0,0,0,19,4,4,1,-1,0,2,
3,0,0,-2,0,0,0,0,0,0,0,0,0,-2,0,0,0,1,0,0,0,1,0,0,-1,-1,0,0,-1,0,0,0,0,1],[
7104240,14928,0,0,15444,1350,135,0,720,0,104,0,0,0,120,60,15,-228,0,-12,15,
-30,-3,0,0,0,-4,3,0,0,-8,0,-4,0,0,0,0,8,0,0,-2,3,0,0,60,0,0,9,-6,0,0,-1,2,0,
-3,0,0,0,0,-3,-6,-6,0,0,0,0,0,0,0,0,0,0,-1,2,-1,0,0,0,0,0,-2,0,0,0,-1,0,-1,0,
2,0,0,-2,0,0,1,0,0,0,0,0,0],[9152000,-7680,0,0,-11440,260,80,-112,-512,0,0,0,
0,0,-50,0,0,-144,0,0,0,12,24,0,0,0,4,-3,0,0,0,0,0,0,-1,-4,2,10,0,0,0,0,0,0,16,
0,0,-8,4,0,0,0,0,0,0,0,0,0,0,-1,-5,0,-2,0,0,0,0,-3,0,0,-2,0,0,-2,1,0,0,1,1,0,
0,0,0,0,0,0,-1,0,1,0,0,0,0,0,-1,1,0,0,2*E(20)+2*E(20)^9-2*E(20)^13-2*E(20)^17,
0,1],
[GALOIS,[20,11]],[11051040,9568,0,0,-84084,-546,210,48,3424,0,-16,0,0,0,-140,
20,15,388,0,-44,10,10,10,0,0,0,0,-7,0,0,-16,0,0,0,3,3,3,28,0,0,-2,3,0,0,-92,0,
0,4,10,0,0,2,2,0,0,0,0,0,0,-1,-14,-4,-2,-1,0,0,0,1,1,1,4,0,-1,0,0,-1,0,0,0,0,
2,0,0,0,0,0,1,0,-2,0,0,1,0,0,0,1,0,0,0,0,-2],[13156000,-11040,0,0,-48620,790,
-20,-56,1504,0,-80,0,0,0,100,0,0,348,0,60,60,18,12,0,0,0,32,-3,0,0,16,0,0,0,7,
-2,-2,-20,0,0,0,0,0,0,28,0,0,-8,10,0,0,4,-2,0,0,0,0,0,0,-1,10,0,4,0,0,0,0,-3,
0,0,4,0,0,2,-1,0,0,0,0,0,-2,0,0,0,0,0,-1,0,-2,0,0,0,0,0,2,1,0,0,0,0,-2],[
15002624,-7168,0,0,11648,56,-304,-112,0,0,0,0,0,0,-56,4,-26,128,0,-16,-16,8,
32,0,0,0,0,0,0,0,0,0,0,0,2,5,-1,-8,0,0,2,2,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,-2,-2,-2,1,1,0,0,2,-1,-1,0,0,0,0,0,0,E(11)-E(11)^2+E(11)^3+E(11)^4+E(11)^5
-E(11)^6-E(11)^7-E(11)^8+E(11)^9-E(11)^10,0,0,0,0,0,0,0,0,0,0,0,-2,0,0,-1,-1,
-1,0,0,0,0,0,0,0],
[GALOIS,[24,2]],[15471456,24864,0,0,-60060,1302,-300,0,-224,0,80,0,0,0,-84,-4,
6,-564,0,-60,-60,18,-12,0,0,0,0,0,0,0,16,0,0,0,-3,0,-6,4,0,0,-6,-6,0,0,-116,0,
0,-8,10,0,0,-4,2,0,0,0,0,0,0,0,15,-10,0,2,0,0,0,3,0,0,-4,0,0,0,0,0,0,0,0,0,-2,
0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,-1],[16170000,14000,0,0,23100,-210,-705,
0,560,0,-40,0,0,0,0,0,0,20,0,20,-25,26,5,0,0,0,0,0,0,0,8,0,-4,0,-3,0,3,0,0,0,
0,0,0,0,20,0,0,-7,2,0,0,-1,2,0,-3,0,0,2,0,0,0,0,0,0,0,0,0,-1,2,-1,0,0,0,0,0,0,
0,E(23)+E(23)^2+E(23)^3+E(23)^4+E(23)^6+E(23)^8+E(23)^9+E(23)^12+E(23)^13
+E(23)^16+E(23)^18,E(23)^5+E(23)^7+E(23)^10+E(23)^11+E(23)^14+E(23)^15
+E(23)^17+E(23)^19+E(23)^20+E(23)^21+E(23)^22,0,2,0,0,0,-1,0,0,0,0,0,0,0,0,0,
0,-1,-1,-1,0,0,0],
[GALOIS,[27,5]],[17050176,6336,0,0,0,1620,81,0,960,0,-96,0,0,0,216,36,1,0,0,0,
81,-36,-9,0,0,0,24,3,0,0,0,0,-8,0,0,0,0,-24,0,0,6,1,0,0,0,0,0,-3,12,0,0,-3,0,
0,-3,0,0,0,0,1,0,0,0,0,1,0,0,0,0,0,0,0,-1,0,3,0,0,0,0,0,0,0,0,0,1,0,1,0,0,0,0,
0,1,0,-1,0,0,0,0,0,0],[17310720,35840,0,0,-6720,1848,156,0,0,0,256,0,0,0,0,40,
-5,320,0,-40,-4,8,20,0,0,0,0,0,0,0,0,0,0,0,-6,0,-3,0,0,0,0,-5,0,-2,0,0,0,0,0,
0,0,4,4,0,0,0,0,-2,0,0,0,10,0,-2,1,0,0,2,2,-1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,1,1,0,0,1,1,0,0,0],[18987696,7056,0,0,-147420,0,-81,0,4368,0,-120,
0,0,0,-294,36,-4,-756,0,0,-81,0,9,0,0,0,0,0,0,0,-8,0,-4,0,0,0,0,-34,0,0,6,-4,
0,2,-84,0,0,3,0,0,0,3,0,0,3,0,0,0,0,0,-15,0,0,0,-1,0,0,0,0,0,-2,0,0,0,0,0,0,0,
0,0,-2,0,0,0,-1,0,0,0,-1,0,0,0,-1,2,0,0,0,0,0,0,1],[19734000,-6320,0,0,
-163020,-120,-165,48,6096,0,40,0,0,0,-350,0,0,-68,0,40,-5,-8,-11,0,0,0,20,-1,
0,0,-8,0,4,0,6,3,0,-10,0,0,0,0,0,0,60,0,0,3,0,0,0,-5,4,0,3,0,0,0,0,1,10,0,-2,
0,0,0,0,-2,1,-2,6,0,0,-4,-1,-1,0,0,0,0,-2,0,0,0,1,0,-1,0,2,0,0,0,0,0,0,0,0,0,
0,0,0],[34155000,18600,0,0,-148500,540,135,0,3240,0,20,0,0,0,0,0,0,420,0,-120,
15,-12,-3,0,0,0,40,-9,0,0,20,0,2,0,0,0,0,0,0,0,0,0,0,0,-60,0,0,9,-12,0,0,-1,
-4,0,-3,0,0,-4,0,1,0,0,0,0,0,0,2,0,0,0,0,0,0,-2,1,0,0,0,0,0,2,0,0,0,-1,0,-1,0,
0,0,0,0,0,0,0,0,-1,-1,0,0,0],[40370176,0,0,0,22528,-512,640,112,0,0,0,0,0,0,
-64,16,-24,0,0,0,0,0,0,0,0,0,14,0,0,0,0,0,0,0,-8,4,-2,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,2,0,0,8,-2,2,-2,0,0,0,0,0,0,0,0,0,2,-1,0,0,1,1,0,0,0,0,0,0,0,
0,E(56)^5+E(56)^13+E(56)^15+E(56)^23-E(56)^29-E(56)^31-E(56)^37+E(56)^39
+E(56)^45-E(56)^47-E(56)^53-E(56)^55,0,0,0,0,0,0,-1,0,-1,-1,0,0,0],
[GALOIS,[34,11]],[44204160,-2688,0,0,-6864,-96,570,168,896,0,-64,0,0,0,100,20,
-15,528,0,24,-30,0,-6,0,0,0,-28,0,0,0,0,0,0,0,3,6,0,12,0,0,2,-3,0,0,-16,0,0,
-4,8,0,0,2,-4,0,0,0,0,0,0,0,1,-4,-2,-1,0,0,0,-3,0,0,-4,0,1,-4,2,0,0,0,0,0,0,0,
0,0,0,0,0,0,3,0,0,-1,0,0,2,-1,0,0,0,0,-1],[49335000,61000,0,0,42900,960,870,0,
840,0,100,0,0,0,0,0,0,220,0,40,-50,64,-2,0,0,0,-20,-6,0,0,4,0,-6,0,6,0,3,0,0,
0,0,0,0,0,60,0,0,12,0,0,0,-2,4,0,0,0,0,0,0,2,0,0,0,0,0,0,2,-2,-2,1,0,0,0,4,1,
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],[50519040,13312,0,0,
27456,1248,744,120,0,0,0,0,0,0,-120,0,-10,448,0,16,-56,-32,-8,0,0,0,-16,-2,0,
0,0,0,0,0,6,3,0,-8,0,0,-8,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-2,6,6,0,3,-1,0,
0,-2,1,-2,0,0,0,2,2,1,0,0,0,0,0,0,0,0,0,0,0,0,-2,0,0,1,-1,0,-1,0,0,0,0,0,0],[
51571520,25536,0,0,-32032,728,305,-112,-1344,0,160,0,0,0,-140,-20,-30,-96,0,
120,-15,-24,-33,0,0,0,0,0,0,0,0,0,8,0,8,-4,2,-4,0,0,6,6,0,0,-96,0,0,-3,0,0,0,
1,4,0,-3,0,0,0,0,0,13,-2,-2,-2,0,0,0,0,0,0,-4,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,
0,0,-1,0,0,0,0,0,0,0,0,0,0,0,-1],[59153976,-22680,0,0,-122472,0,0,0,1512,0,
180,0,0,0,126,-24,-24,648,0,0,0,0,0,0,0,0,0,0,0,0,4,0,-6,0,0,0,0,10,0,0,0,0,0,
2,72,0,0,0,0,0,0,0,0,0,0,0,0,-2,0,0,18,-12,0,0,0,0,-2,0,0,0,2,0,0,0,0,0,0,0,0,
0,4,0,0,0,0,0,0,0,-2,0,0,0,0,2,0,0,1,1,0,0,2],[59153976,-22680,0,0,61236,0,0,
0,1512,0,180,0,0,0,126,-24,-24,-324,0,0,0,0,0,0,0,0,0,0,0,0,4,0,-6,0,0,0,0,10,
0,0,0,0,0,2,-36,0,0,0,0,0,0,0,0,0,0,0,0,-2,0,0,-9,6,0,0,0,0,-2,0,0,0,2,0,0,0,
0,0,0,0,0,0,-2,0,0,0,0,0,0,0,1,0,0,0,0,-1,0,0,-E(39)^7-E(39)^14-E(39)^17
-E(39)^19-E(39)^23-E(39)^28-E(39)^29-E(39)^31-E(39)^34-E(39)^35-E(39)^37
-E(39)^38,-E(39)-E(39)^2-E(39)^4-E(39)^5-E(39)^8-E(39)^10-E(39)^11-E(39)^16
-E(39)^20-E(39)^22-E(39)^25-E(39)^32,0,0,-1],
[GALOIS,[41,7]],[62790000,-10800,0,0,-273000,-210,285,120,5200,0,40,0,0,0,0,0,
0,-120,0,60,-75,-6,-9,0,0,0,0,7,0,0,-8,0,-4,0,-3,-6,0,0,0,0,0,0,0,-2,40,0,0,7,
10,0,0,1,-2,0,3,0,0,0,0,1,0,0,0,0,0,0,0,3,0,0,0,0,0,0,0,1,0,0,0,0,4,0,0,0,-1,
0,-1,0,0,0,0,0,0,-2,0,1,0,0,0,0,0],[67358720,-4096,0,0,-265408,344,-16,-112,
4096,0,0,0,0,0,-20,-40,20,-64,0,-64,-64,8,8,0,0,0,16,9,0,0,0,0,0,0,-7,5,-1,4,
0,0,4,4,0,0,64,0,0,-8,-8,0,0,0,0,0,0,0,0,0,0,-1,7,2,-2,-1,-1,0,0,-1,-1,-1,-4,
0,0,4,1,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,0,1,1,0,1,1,0,0,0,0,-1],[106260000,
92000,0,0,23100,2310,-660,-120,-160,0,240,0,0,0,0,0,0,20,0,20,20,2,-16,0,0,0,
0,-7,0,0,-16,0,0,0,-3,-3,-3,0,0,0,0,0,0,0,20,0,0,2,2,0,0,0,-6,0,6,0,0,2,0,-1,
0,0,0,0,0,0,0,-1,-1,-1,0,0,0,0,0,-1,0,0,0,0,2,0,0,0,0,0,1,0,0,0,0,0,0,0,0,-1,
-1,-1,0,0,0],[112519680,3584,0,0,-331968,-588,96,-168,3584,0,0,0,0,0,140,20,
-20,-64,0,80,-64,-4,-16,0,0,0,0,0,0,0,0,0,0,0,-3,3,0,4,0,0,-6,4,0,-2,-64,0,0,
-16,-4,0,0,0,0,0,0,0,0,0,0,0,-13,2,2,2,1,0,0,-1,-1,2,4,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,1,0,0,0,1,1,0,-1,0,0,0,0,1],[139243104,-34272,0,0,108108,2646,
-270,0,3360,0,-304,0,0,0,504,4,-21,-828,0,36,90,18,18,0,0,0,0,0,0,0,-16,0,0,0,
0,0,0,8,0,0,-2,3,0,0,-60,0,0,12,-6,0,0,2,2,0,0,0,0,0,0,0,18,-2,0,1,0,0,0,0,0,
0,0,0,1,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,2,0,0,1,0,0,0,0,0,0,0,0,0],[161161000,
8120,0,0,-280280,70,-380,112,2744,0,-100,0,0,0,350,0,0,1208,0,20,20,2,20,0,0,
0,0,0,0,0,-4,0,6,0,-11,-5,1,10,0,0,0,0,0,0,-40,0,0,8,2,0,0,-4,2,0,0,0,0,0,0,0,
-10,0,2,0,0,0,-2,-1,-1,-1,-6,0,0,0,0,0,0,0,0,0,-4,0,0,0,0,0,0,0,-2,0,0,0,0,0,
0,-1,0,0,0,0,0],[190417920,50176,0,0,-251328,-336,-120,168,0,0,0,0,0,0,280,
-40,-30,-320,0,-176,40,16,-8,0,0,0,0,0,0,0,0,0,0,0,6,-3,-3,-24,0,0,-4,6,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,4,0,0,-8,2,-2,-1,0,0,0,-2,1,1,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,-1,0,0,0,0,1,1,0,0,0],[210496000,69120,0,0,148720,1300,-320,
112,3584,0,0,0,0,0,350,0,0,-432,0,0,0,-36,0,0,0,0,-20,-6,0,0,0,0,0,0,4,4,4,10,
0,0,0,0,0,0,80,0,0,-16,-4,0,0,0,0,0,0,0,0,0,0,2,-10,0,2,0,0,0,0,0,0,0,-6,0,0,
-2,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,-2,0,0,0,0,0,0,2,0,0,0,0,0],[215547904,-65536,
0,0,73216,1504,-224,64,0,0,0,0,0,0,-176,-16,4,512,0,-64,-64,32,-16,0,0,0,-16,
-2,0,0,0,0,0,0,10,1,1,-16,0,0,4,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-2,-14,-4,
4,-1,1,0,0,2,-1,-1,0,0,0,-4,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,1,1,0,-1,0,0,0,
0,0,0],[230230000,-39600,0,0,-400400,910,325,160,-1840,0,40,0,0,0,0,0,0,-1200,
0,60,-75,-6,27,0,0,0,0,-7,0,0,24,0,4,0,1,-2,4,0,0,0,0,0,0,0,80,0,0,5,2,0,0,1,
-2,0,-3,0,0,0,0,-1,0,0,0,0,0,0,0,3,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,1,0,1,0,0,
0,0,0,0,0,0,-1,0,0,0,0,0],[247543296,-60928,0,0,192192,924,816,168,3584,0,0,0,
0,0,196,-4,46,-448,0,-16,-16,20,-16,0,0,0,0,0,0,0,0,0,0,0,-3,-3,-3,12,0,0,2,2,
0,0,-64,0,0,-16,-4,0,0,0,0,0,0,0,0,0,0,0,7,2,-2,-1,1,0,0,-1,-1,-1,4,0,0,0,0,0,
--> --------------------
--> maximum size reached
--> --------------------
[ Dauer der Verarbeitung: 0.6 Sekunden
(vorverarbeitet)
]
|