|
#############################################################################
##
#W ctofisc2.tbl GAP table library Thomas Breuer
##
## This file contains the ordinary character tables related to the
## Fischer groups $Fi_{23}$ and $F_{3+}$ of the ATLAS.
##
#H ctbllib history
#H ---------------
#H $Log: ctofisc2.tbl,v $
#H Revision 4.22 2012/01/30 08:31:43 gap
#H removed #H entries from the headers
#H TB
#H
#H Revision 4.21 2011/09/28 14:32:11 gap
#H removed revision entry and SET_TABLEFILENAME call
#H TB
#H
#H Revision 4.20 2010/05/05 13:20:01 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.19 2009/04/27 08:27:21 gap
#H removed some superfluous explicit <nam>M<n> names,
#H which are created automatically
#H TB
#H
#H Revision 4.18 2009/04/22 12:39:00 gap
#H added missing maxes of He.2, ON.2, HN.2, Fi24, and B
#H TB
#H
#H Revision 4.17 2008/06/24 15:41:28 gap
#H exchanged two maxes of Fi24'
#H TB
#H
#H Revision 4.16 2006/06/07 07:54:27 gap
#H unified ConstructMixed and ConstructMGA (for better programmatic access)
#H TB
#H
#H Revision 4.15 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.14 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.13 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.12 2002/09/18 15:10:57 gap
#H corrected `maxes' entry for F3+
#H (there are two classes of U3(3).2, L2(13).2 each)
#H TB
#H
#H Revision 4.11 2002/07/12 06:45:55 gap
#H further tidying up: removed `irredinfo' stuff, rearranged constructions
#H TB
#H
#H Revision 4.10 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.9 2002/03/25 18:05:19 gap
#H uncommented `maxes' component of F3+ again,
#H since Alexander has computed the three missing maxes
#H TB
#H
#H Revision 4.8 2001/08/28 16:23:23 gap
#H added a few alias names (suggested by J. McKay)
#H TB
#H
#H Revision 4.7 2001/05/08 15:37:10 gap
#H admitted the names 3.Fi24' and 3.Fi24 (requested by Juergen Mueller)
#H TB
#H
#H Revision 4.6 2001/05/04 16:47:22 gap
#H first revision for ctbllib
#H
#H
#H tbl history (GAP 4)
#H -------------------
#H (Rev. 4.6 of ctbllib coincides with Rev. 4.5 of tbl in GAP 4)
#H
#H RCS file: /gap/CVS/GAP/4.0/tbl/ctofisc2.tbl,v
#H Working file: ctofisc2.tbl
#H head: 4.5
#H branch:
#H locks: strict
#H access list:
#H symbolic names:
#H GAP4R2: 4.3.0.8
#H GAP4R2PRE2: 4.3.0.6
#H GAP4R2PRE1: 4.3.0.4
#H GAP4R1: 4.3.0.2
#H keyword substitution: kv
#H total revisions: 6; selected revisions: 6
#H description:
#H ----------------------------
#H revision 4.5
#H date: 2001/03/12 16:40:39; author: gap; state: Exp; lines: +17 -2
#H added fusion 3.F3+.2 -> M
#H
#H TB
#H ----------------------------
#H revision 4.4
#H date: 2000/10/14 09:07:01; author: gap; state: Exp; lines: +3 -3
#H cleaned a comment line for a table that is now available
#H
#H TB
#H ----------------------------
#H revision 4.3
#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.2
#H date: 1999/07/12 17:06:21; author: gap; state: Exp; lines: +7 -7
#H commented out `maxes' entry of `F3+'
#H (currently the tables of 5 maxes are missing,
#H but I am confident to have them at least for
#H the release of GAP 4.2)
#H
#H TB
#H ----------------------------
#H revision 4.1
#H date: 1997/07/17 15:39:01; author: fceller; state: Exp; lines: +2 -2
#H for version 4
#H ----------------------------
#H revision 1.1
#H date: 1996/10/21 15:59:18; author: sam; state: Exp;
#H first proposal of the table library
#H ==========================================================================
##
MOT("3.F3+",
[
"origin: ATLAS of finite groups, tests: 1.o.r."
],
[3765617127571985163878400,3765617127571985163878400,3765617127571985163878400
,774741019852800,774741019852800,774741019852800,481579499520,481579499520,
481579499520,44569618329600,7273173980160,7273173980160,7273173980160,
42855402240,42855402240,42855402240,153055008,38211264,119439360,119439360,
119439360,17418240,17418240,17418240,884736,884736,884736,2721600,2721600,
2721600,235146240,235146240,235146240,58786560,58786560,58786560,30233088,
30233088,30233088,2985984,6718464,6718464,6718464,1679616,1679616,1679616,
209952,209952,209952,209952,209952,209952,186624,186624,186624,23328,5184,
52920,52920,52920,6174,6174,6174,6912,6912,6912,4608,4608,4608,2304,2304,2304,
472392,787320,787320,787320,209952,59049,13122,2916,2916,2916,7200,7200,7200,
2880,2880,2880,396,396,396,124416,93312,93312,93312,13824,25920,25920,25920,
15552,15552,15552,3888,7776,7776,7776,3456,3456,3456,864,864,1728,1728,1728,
1296,1296,1296,432,432,432,702,702,702,504,504,504,126,126,126,16200,16200,
16200,1215,1215,1215,810,810,810,96,96,96,51,51,51,2592,3888,3888,3888,648,
1944,1944,1944,162,324,324,324,324,324,324,324,324,324,360,360,360,240,240,
240,252,63,126,126,126,126,126,126,132,132,132,69,69,69,69,69,69,288,288,72,
72,144,144,144,144,144,144,144,144,144,78,78,78,81,81,81,84,84,84,87,87,87,87,
87,87,360,360,360,90,90,90,99,99,99,99,99,99,105,105,105,432,432,108,108,108,
108,117,117,117,117,252,252,252,126,126,126,126,126,126,135,135,135,135,135,
135,180,180,180],
[,[1,3,2,1,3,2,1,3,2,10,11,13,12,14,16,15,17,18,7,9,8,4,6,5,7,9,8,28,30,29,10,
10,10,14,16,15,11,13,12,10,11,13,12,14,16,15,17,17,17,17,17,17,14,16,15,17,18,
58,60,59,61,63,62,19,21,20,25,27,26,25,27,26,73,74,76,75,77,78,79,80,82,81,28,
30,29,28,30,29,89,91,90,40,41,43,42,40,31,33,32,53,55,54,56,37,39,38,41,43,42,
57,57,53,55,54,44,46,45,56,56,56,121,123,122,58,60,59,61,63,62,130,132,131,
133,135,134,136,138,137,67,69,68,142,144,143,77,77,77,77,73,74,76,75,79,80,82,
81,80,82,81,80,82,81,83,85,84,86,88,87,169,170,174,176,175,171,173,172,89,91,
90,180,182,181,183,185,184,92,96,110,111,107,109,108,112,114,113,112,114,113,
121,123,122,202,203,204,124,126,125,211,213,212,208,210,209,130,132,131,136,
138,137,220,222,221,223,225,224,226,228,227,145,145,149,150,152,151,236,235,
238,237,169,169,169,174,176,175,171,173,172,251,253,252,248,250,249,214,216,
215],[1,1,1,4,4,4,7,7,7,1,1,1,1,1,1,1,1,1,19,19,19,22,22,22,25,25,25,28,28,28,
4,4,4,7,7,7,4,4,4,7,7,7,7,4,4,4,4,4,4,7,7,7,7,7,7,7,7,58,58,58,61,61,61,64,64,
64,67,67,67,70,70,70,11,11,11,11,11,11,11,17,17,17,83,83,83,86,86,86,89,89,89,
19,19,19,19,19,22,22,22,19,19,19,19,22,22,22,25,25,25,19,19,25,25,25,22,22,22,
25,25,25,121,121,121,124,124,124,127,127,127,28,28,28,28,28,28,28,28,28,139,
139,139,142,142,142,41,37,37,37,41,37,37,37,41,47,47,47,51,51,51,52,52,52,163,
163,163,166,166,166,58,58,61,61,61,61,61,61,177,177,177,180,180,180,183,183,
183,64,64,64,64,67,67,67,70,70,70,70,70,70,199,199,199,73,78,78,205,205,205,
211,211,211,208,208,208,83,83,83,86,86,86,89,89,89,89,89,89,226,226,226,93,93,
93,104,104,104,121,121,121,121,124,124,124,127,127,127,127,127,127,133,133,
133,133,133,133,163,163,163],,[1,3,2,4,6,5,7,9,8,10,11,13,12,14,16,15,17,18,
19,21,20,22,24,23,25,27,26,1,3,2,31,33,32,34,36,35,37,39,38,40,41,43,42,44,46,
45,47,49,48,50,52,51,53,55,54,56,57,58,60,59,61,63,62,64,66,65,67,69,68,70,72,
71,73,74,76,75,77,78,79,80,82,81,4,6,5,7,9,8,89,91,90,92,93,95,94,96,97,99,98,
100,102,101,103,104,106,105,107,109,108,110,111,112,114,113,115,117,116,118,
120,119,121,123,122,124,126,125,127,129,128,10,10,10,11,13,12,14,16,15,139,
141,140,142,144,143,145,146,148,147,149,150,152,151,153,154,156,155,160,162,
161,157,159,158,22,24,23,19,21,20,169,170,171,173,172,174,176,175,177,179,178,
183,185,184,180,182,181,186,187,188,189,190,192,191,196,198,197,193,195,194,
199,201,200,202,203,204,205,207,206,208,210,209,211,213,212,31,33,32,34,36,35,
223,225,224,220,222,221,58,60,59,229,230,231,232,234,233,236,235,238,237,239,
241,240,242,244,243,245,247,246,74,76,75,74,76,75,97,99,98],,[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,2,3,1,
2,3,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,4,5,6,7,8,9,130,131,
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,159,160,161,162,163,164,165,166,167,168,10,18,
14,15,16,14,15,16,177,178,179,183,184,185,180,181,182,186,187,188,189,190,191,
192,196,197,198,193,194,195,199,200,201,202,203,204,22,23,24,208,209,210,211,
212,213,214,215,216,217,218,219,223,224,225,220,221,222,28,29,30,229,230,231,
232,233,234,236,235,238,237,31,32,33,34,35,36,34,35,36,251,252,253,248,249,
250,254,255,256],,,,[1,3,2,4,6,5,7,9,8,10,11,13,12,14,16,15,17,18,19,21,20,22,
24,23,25,27,26,28,30,29,31,33,32,34,36,35,37,39,38,40,41,43,42,44,46,45,47,49,
48,50,52,51,53,55,54,56,57,58,60,59,61,63,62,64,66,65,67,69,68,70,72,71,73,74,
76,75,77,78,79,80,82,81,83,85,84,86,88,87,1,3,2,92,93,95,94,96,97,99,98,100,
102,101,103,104,106,105,107,109,108,110,111,112,114,113,115,117,116,118,120,
119,121,123,122,124,126,125,127,129,128,130,132,131,133,135,134,136,138,137,
139,141,140,142,144,143,145,146,148,147,149,150,152,151,153,154,156,155,160,
162,161,157,159,158,163,165,164,166,168,167,169,170,174,176,175,171,173,172,4,
6,5,183,185,184,180,182,181,186,187,188,189,190,192,191,193,195,194,196,198,
197,199,201,200,202,203,204,205,207,206,211,213,212,208,210,209,214,216,215,
217,219,218,11,13,12,11,13,12,226,228,227,229,230,231,232,234,233,236,235,238,
237,239,241,240,245,247,246,242,244,243,248,250,249,251,253,252,254,256,
255],,[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,1,2,3,
124,125,126,127,128,129,130,131,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,159,160,161,
162,163,164,165,166,167,168,169,170,174,175,176,171,172,173,177,178,179,180,
181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,4,5,6,
202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,223,
224,225,220,221,222,226,227,228,229,230,231,232,233,234,10,10,18,18,239,240,
241,245,246,247,242,243,244,251,252,253,248,249,250,254,255,256],,,,[1,3,2,4,
6,5,7,9,8,10,11,13,12,14,16,15,17,18,19,21,20,22,24,23,25,27,26,28,30,29,31,
33,32,34,36,35,37,39,38,40,41,43,42,44,46,45,47,49,48,50,52,51,53,55,54,56,57,
58,60,59,61,63,62,64,66,65,67,69,68,70,72,71,73,74,76,75,77,78,79,80,82,81,83,
85,84,86,88,87,89,91,90,92,93,95,94,96,97,99,98,100,102,101,103,104,106,105,
107,109,108,110,111,112,114,113,115,117,116,118,120,119,121,123,122,124,126,
125,127,129,128,130,132,131,133,135,134,136,138,137,139,141,140,1,3,2,145,146,
148,147,149,150,152,151,153,154,156,155,160,162,161,157,159,158,163,165,164,
166,168,167,169,170,171,173,172,174,176,175,177,179,178,183,185,184,180,182,
181,186,187,188,189,190,192,191,196,198,197,193,195,194,199,201,200,202,203,
204,205,207,206,211,213,212,208,210,209,214,216,215,217,219,218,220,222,221,
223,225,224,226,228,227,229,230,231,232,234,233,235,236,237,238,239,241,240,
242,244,243,245,247,246,251,253,252,248,250,249,254,256,255],,,,,,[1,3,2,4,6,
5,7,9,8,10,11,13,12,14,16,15,17,18,19,21,20,22,24,23,25,27,26,28,30,29,31,33,
32,34,36,35,37,39,38,40,41,43,42,44,46,45,47,49,48,50,52,51,53,55,54,56,57,58,
60,59,61,63,62,64,66,65,67,69,68,70,72,71,73,74,76,75,77,78,79,80,82,81,83,85,
84,86,88,87,89,91,90,92,93,95,94,96,97,99,98,100,102,101,103,104,106,105,107,
109,108,110,111,112,114,113,115,117,116,118,120,119,121,123,122,124,126,125,
127,129,128,130,132,131,133,135,134,136,138,137,139,141,140,142,144,143,145,
146,148,147,149,150,152,151,153,154,156,155,160,162,161,157,159,158,163,165,
164,166,168,167,169,170,174,176,175,171,173,172,177,179,178,1,3,2,1,3,2,186,
187,188,189,190,192,191,193,195,194,196,198,197,199,201,200,202,203,204,205,
207,206,208,210,209,211,213,212,214,216,215,217,219,218,223,225,224,220,222,
221,226,228,227,229,230,231,232,234,233,235,236,237,238,239,241,240,245,247,
246,242,244,243,251,253,252,248,250,249,254,256,255],,,,,,[1,3,2,4,6,5,7,9,8,
10,11,13,12,14,16,15,17,18,19,21,20,22,24,23,25,27,26,28,30,29,31,33,32,34,36,
35,37,39,38,40,41,43,42,44,46,45,47,49,48,50,52,51,53,55,54,56,57,58,60,59,61,
63,62,64,66,65,67,69,68,70,72,71,73,74,76,75,77,78,79,80,82,81,83,85,84,86,88,
87,89,91,90,92,93,95,94,96,97,99,98,100,102,101,103,104,106,105,107,109,108,
110,111,112,114,113,115,117,116,118,120,119,121,123,122,124,126,125,127,129,
128,130,132,131,133,135,134,136,138,137,139,141,140,142,144,143,145,146,148,
147,149,150,152,151,153,154,156,155,160,162,161,157,159,158,163,165,164,166,
168,167,169,170,174,176,175,171,173,172,177,179,178,180,182,181,183,185,184,
186,187,188,189,190,192,191,196,198,197,193,195,194,199,201,200,202,203,204,
205,207,206,1,3,2,1,3,2,214,216,215,217,219,218,220,222,221,223,225,224,226,
228,227,229,230,231,232,234,233,235,236,237,238,239,241,240,245,247,246,242,
244,243,248,250,249,251,253,252,254,256,255]],
0,
[(248,251)(249,252)(250,253),(237,238),(235,236),(235,236)(237,238),(220,223)
(221,224)(222,225),(208,211)(209,212)(210,213),(203,204),(193,196)(194,197)
(195,198),(180,183)(181,184)(182,185),(171,174)(172,175)(173,176)(242,245)
(243,246)(244,247),(110,111)(188,189)(229,230),( 2, 3)( 5, 6)( 8, 9)
( 12, 13)( 15, 16)( 20, 21)( 23, 24)( 26, 27)( 29, 30)( 32, 33)( 35, 36)
( 38, 39)( 42, 43)( 45, 46)( 48, 49)( 51, 52)( 54, 55)( 59, 60)( 62, 63)
( 65, 66)( 68, 69)( 71, 72)( 75, 76)( 81, 82)( 84, 85)( 87, 88)( 90, 91)
( 94, 95)( 98, 99)(101,102)(105,106)(108,109)(113,114)(116,117)(119,120)
(122,123)(125,126)(128,129)(131,132)(134,135)(137,138)(140,141)(143,144)
(147,148)(151,152)(155,156)(157,160)(158,162)(159,161)(164,165)(167,168)
(171,174)(172,176)(173,175)(178,179)(181,182)(184,185)(191,192)(193,196)
(194,198)(195,197)(200,201)(206,207)(209,210)(212,213)(215,216)(218,219)
(220,223)(221,225)(222,224)(227,228)(233,234)(240,241)(242,245)(243,247)
(244,246)(249,250)(252,253)(255,256),( 2, 3)( 5, 6)( 8, 9)( 12, 13)
( 15, 16)( 20, 21)( 23, 24)( 26, 27)( 29, 30)( 32, 33)( 35, 36)( 38, 39)
( 42, 43)( 45, 46)( 48, 49)( 51, 52)( 54, 55)( 59, 60)( 62, 63)( 65, 66)
( 68, 69)( 71, 72)( 75, 76)( 81, 82)( 84, 85)( 87, 88)( 90, 91)( 94, 95)
( 98, 99)(101,102)(105,106)(108,109)(113,114)(116,117)(119,120)(122,123)
(125,126)(128,129)(131,132)(134,135)(137,138)(140,141)(143,144)(147,148)
(151,152)(155,156)(157,160)(158,162)(159,161)(164,165)(167,168)(172,173)
(175,176)(178,179)(181,182)(184,185)(191,192)(194,195)(197,198)(200,201)
(206,207)(209,210)(212,213)(215,216)(218,219)(221,222)(224,225)(227,228)
(233,234)(240,241)(243,244)(246,247)(249,250)(252,253)(255,256)],
["ConstructProj",[["F3+",[]],,["3.F3+",[-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-13,
-13,-1,-1,11,11,47,47,-7,-7,-1,-1,-1,-1,-1,-1,-1,-1,59,59,-13,-13,-1,-1,-1,-1,
-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,23,23,-1,-1,-1,-1,
-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1]]]]);
ARC("3.F3+","CAS",[rec(name:="3.f24c",
permchars:=(60,61)(69,70)(74,75)(88,89)(91,92)(97,98)(99,100)(114,115)(126,127
)(131,132,133)(139,140,142,141)(144,146,145)(148,150,149)(167,168,170,169)(171
,172,173)(194,195)(204,205)(216,217)(224,226,225),
permclasses:=(47,50)(48,51)(49,52)(149,152,151,150),
text:="")]);
ALF("3.F3+","F3+",[1,1,1,2,2,2,3,3,3,4,5,5,5,6,6,6,7,8,9,9,9,10,10,10,11,
11,11,12,12,12,13,13,13,14,14,14,15,15,15,16,17,17,17,18,18,18,19,19,19,
20,20,20,21,21,21,22,23,24,24,24,25,25,25,26,26,26,27,27,27,28,28,28,29,
30,30,30,31,32,33,34,34,34,35,35,35,36,36,36,37,37,37,38,39,39,39,40,41,
41,41,42,42,42,43,44,44,44,45,45,45,46,47,48,48,48,49,49,49,50,50,50,51,
51,51,52,52,52,53,53,53,54,54,54,55,55,55,56,56,56,57,57,57,58,58,58,59,
60,60,60,61,62,62,62,63,64,64,64,65,65,65,66,66,66,67,67,67,68,68,68,69,
70,71,71,71,72,72,72,73,73,73,74,74,74,75,75,75,76,77,78,79,80,80,80,81,
81,81,82,82,82,83,83,83,84,85,86,87,87,87,88,88,88,89,89,89,90,90,90,91,
91,91,92,92,92,93,93,93,94,94,94,95,96,97,98,98,98,99,100,101,102,103,103,
103,104,104,104,105,105,105,106,106,106,107,107,107,108,108,108]);
ALF("3.F3+","3.F3+.2",[1,2,2,3,4,4,5,6,6,7,8,9,9,10,11,11,12,13,14,15,15,
16,17,17,18,19,19,20,21,21,22,23,23,24,25,25,26,27,27,28,29,30,30,31,32,
32,33,34,34,35,36,36,37,38,38,39,40,41,42,42,43,44,44,45,46,46,47,48,48,
49,50,50,51,52,53,53,54,55,56,57,58,58,59,60,60,61,62,62,63,64,64,65,66,
67,67,68,69,70,70,71,72,72,73,74,75,75,76,77,77,78,78,79,80,80,81,82,82,
83,84,84,85,86,86,87,88,88,89,90,90,91,92,92,93,94,94,95,96,96,97,98,98,
99,100,100,101,102,103,103,104,105,106,106,107,108,109,109,110,111,112,
110,112,111,113,114,114,115,116,116,117,118,119,120,121,119,121,120,122,
123,123,124,125,125,126,127,127,128,129,130,130,131,132,132,133,134,135,
133,135,134,136,137,137,138,139,139,140,141,141,142,143,144,142,144,143,
145,146,146,147,148,148,149,150,150,151,152,152,153,154,154,155,155,156,
157,158,158,159,160,161,161,162,163,163,164,165,166,164,166,165,167,168,
169,167,169,168,170,171,171],[
"fusion map is unique up to table autom.,\n",
"compatible with Brauer tables and factors"
]);
ALN("3.F3+",["3.fi24'","3.Fi24'.2M1"]);
MOT("3.F3+.2",
[
"origin: ATLAS of finite groups, tests: 1.o.r."
],
[7531234255143970327756800,3765617127571985163878400,1549482039705600,
774741019852800,963158999040,481579499520,89139236659200,14546347960320,
7273173980160,85710804480,42855402240,306110016,76422528,238878720,119439360,
34836480,17418240,1769472,884736,5443200,2721600,470292480,235146240,
117573120,58786560,60466176,30233088,5971968,13436928,6718464,3359232,1679616,
419904,209952,419904,209952,373248,186624,46656,10368,105840,52920,12348,6174,
13824,6912,9216,4608,4608,2304,944784,1574640,787320,419904,118098,26244,5832,
2916,14400,7200,5760,2880,792,396,248832,186624,93312,27648,51840,25920,31104,
15552,7776,15552,7776,6912,3456,864,3456,1728,2592,1296,864,432,1404,702,1008,
504,252,126,32400,16200,2430,1215,1620,810,192,96,102,51,5184,7776,3888,1296,
3888,1944,324,648,324,324,324,324,720,360,480,240,504,126,126,126,126,264,132,
138,69,138,69,576,576,72,288,144,144,144,144,156,78,162,81,168,84,87,87,87,
720,360,180,90,198,99,198,99,210,105,432,216,216,108,234,234,117,504,252,126,
126,126,135,135,135,360,180,8178940946586009600,441447874560,4180377600,
13271040,2654208,1548288,27512110080,3265173504,82114560,75582720,3732480,
2239488,1889568,933120,93312,23328,9072,15360,9216,3072,50400,1440,622080,
145152,46656,20736,15552,13824,6912,6912,2592,2592,1728,1728,432,432,144,1680,
336,64,34992,11664,11664,3888,2916,1296,1296,486,324,324,2400,160,264,88,576,
192,144,96,156,156,168,28,28,720,720,180,180,90,34,216,216,72,36,40,84,42,46,
46,54,120,66,66,70,78,78,84],
[,[1,2,1,2,1,2,7,8,9,10,11,12,13,5,6,3,4,5,6,20,21,7,7,10,11,8,9,7,8,9,10,11,
12,12,12,12,10,11,12,13,41,42,43,44,14,15,18,19,18,19,51,52,53,54,55,56,57,58,
20,21,20,21,63,64,28,29,30,28,22,23,37,38,39,26,27,29,30,40,37,38,31,32,39,39,
85,86,41,42,43,44,91,92,93,94,95,96,47,48,99,100,54,54,54,51,52,53,56,57,58,
57,58,58,59,60,61,62,117,118,119,120,121,63,64,124,125,126,127,65,68,78,76,77,
79,80,80,85,86,138,139,87,88,142,143,144,91,92,95,96,149,150,151,152,153,154,
101,104,105,106,160,159,161,117,117,119,120,121,167,168,169,145,146,1,1,3,3,5,
5,7,8,8,10,7,8,12,10,10,12,13,14,14,18,20,20,22,22,26,29,31,22,28,29,33,33,31,
37,35,39,40,41,41,47,51,52,54,51,56,52,54,55,56,57,59,59,63,63,65,68,71,76,85,
85,87,89,89,91,91,95,95,93,99,102,105,104,108,115,117,118,124,126,138,145,149,
151,153,160,159,162],[1,1,3,3,5,5,1,1,1,1,1,1,1,14,14,16,16,18,18,20,20,3,3,5,
5,3,3,5,5,5,3,3,3,3,5,5,5,5,5,5,41,41,43,43,45,45,47,47,49,49,8,8,8,8,8,8,12,
12,59,59,61,61,63,63,14,14,14,14,16,16,14,14,14,16,16,18,18,14,18,18,16,16,18,
18,85,85,87,87,89,89,20,20,20,20,20,20,97,97,99,99,29,26,26,29,26,26,29,33,33,
36,36,36,113,113,115,115,41,41,43,43,43,122,122,124,124,126,126,45,45,45,47,
47,49,49,49,136,136,51,55,140,140,142,142,142,59,59,61,61,63,63,63,63,153,153,
66,66,74,74,85,85,85,87,87,89,89,89,93,93,93,113,113,172,173,174,175,176,177,
172,172,173,172,173,173,172,173,173,173,173,189,190,191,192,193,174,174,174,
176,174,175,176,176,174,175,175,176,177,176,177,209,210,211,179,179,179,183,
179,183,183,183,183,184,222,223,224,225,190,189,190,191,230,231,232,233,234,
192,193,192,193,193,240,196,196,197,203,245,209,210,248,249,212,222,224,224,
254,230,231,232],,[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,1,2,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,3,4,5,6,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,7,7,8,9,10,11,97,98,99,100,101,102,
103,104,105,106,107,108,109,110,111,112,16,17,14,15,117,118,119,121,120,122,
123,126,127,124,125,128,129,130,131,132,133,134,135,136,137,138,139,140,141,
142,144,143,22,23,24,25,151,152,149,150,41,42,155,156,157,158,160,159,161,162,
163,164,166,165,52,53,53,69,70,172,173,174,175,176,177,178,179,180,181,182,
183,184,185,186,187,188,189,190,191,172,173,194,195,196,197,198,199,200,201,
202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,
221,174,175,224,225,226,227,228,229,231,230,232,234,233,178,182,181,185,180,
240,241,242,243,244,189,246,247,249,248,250,194,253,252,209,256,255,257],,[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,1,2,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,81,82,
83,84,85,86,3,4,5,6,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,7,13,10,11,11,122,123,126,127,124,125,
128,129,130,131,132,133,135,134,136,137,138,139,16,17,142,143,144,145,146,147,
148,151,152,149,150,20,21,155,156,157,158,160,159,161,22,23,24,25,25,167,169,
168,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,
188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,
207,208,172,173,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,
226,227,228,229,231,230,174,177,177,235,236,237,238,239,240,241,242,243,244,
245,178,188,249,248,250,251,253,252,192,256,255,195],,,,[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,
1,2,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,3,4,126,127,124,125,128,129,130,
131,132,133,135,134,136,137,138,139,140,141,142,143,144,145,146,147,148,8,9,8,
9,153,154,155,156,157,158,160,159,161,162,163,164,165,166,167,169,168,170,171,
172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,
191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,
210,211,212,213,214,215,216,217,218,219,220,221,222,223,173,172,226,227,228,
229,231,230,232,234,233,235,236,237,238,239,240,241,242,243,244,245,246,247,
249,248,250,251,180,180,254,256,255,257],,[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,1,2,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,121,120,122,123,124,125,126,127,128,129,130,131,132,
133,134,135,3,4,138,139,140,141,142,143,144,145,146,147,148,151,152,149,150,
153,154,155,156,157,158,7,7,13,162,163,164,166,165,167,169,168,170,171,172,
173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,
192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,
211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,
172,172,232,234,233,235,236,237,238,239,240,241,242,243,244,245,246,247,248,
249,250,251,253,252,254,178,178,257],,,,[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,1,2,101,102,103,104,105,106,107,108,109,110,111,112,113,114,
115,116,117,118,119,121,120,122,123,126,127,124,125,128,129,130,131,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,159,160,161,162,163,164,166,165,167,168,169,170,171,
172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,
191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,
210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,
229,230,231,232,234,233,235,236,237,238,239,172,241,242,243,244,245,246,247,
249,248,250,251,252,253,254,255,256,257],,,,,,[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,1,2,1,2,128,129,130,131,132,133,
135,134,136,137,138,139,140,141,142,144,143,145,146,147,148,151,152,149,150,
153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,
172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,
191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,
210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,
229,230,231,232,234,233,235,236,237,238,239,240,241,242,243,244,245,246,247,
172,172,250,251,253,252,254,255,256,257],,,,,,[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,128,129,130,131,
132,133,134,135,136,137,138,139,140,141,1,2,2,145,146,147,148,149,150,151,152,
153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,169,168,170,171,
172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,
191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,
210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,
229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,
248,249,250,251,252,253,254,255,256,257]],
0,
[(233,234),(168,169),(159,160)(230,231)(255,256),(149,151)(150,152)(252,253),
(143,144),(143,144)(149,151)(150,152)(168,169)(252,253),(134,135),(134,135)
(233,234),(124,126)(125,127)(248,249),(120,121)(165,166),(120,121)(165,166)
(233,234)],
["ConstructMGA","3.F3+","F3+.2",[[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,134],[135,136],[137,138],[139,142],[140,141],[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,170],[168,169],[171,172],[173,174],[175,176],
[177,178],[179,180],[181,182],[183,184],[185,186],[187,188],[189,190],[191,
192],[193,194],[195,196],[197,198],[199,200],[201,202],[203,204],[205,206],
[207,208],[209,210],[211,212],[213,214],[215,216],[217,218],[219,220],[221,
222],[223,226],[224,225],[227,228],[229,230],[231,232],[233,234],[235,236],
[237,238],[239,240],[241,242],[243,244],[245,246],[247,248],[249,250],[251,
252],[253,254],[255,256]],()]);
ALF("3.F3+.2","F3+.2",[1,1,2,2,3,3,4,5,5,6,6,7,8,9,9,10,10,11,11,12,12,13,
13,14,14,15,15,16,17,17,18,18,19,19,20,20,21,21,22,23,24,24,25,25,26,26,
27,27,28,28,29,30,30,31,32,33,34,34,35,35,36,36,37,37,38,39,39,40,41,41,
42,42,43,44,44,45,45,46,47,47,48,48,49,49,50,50,51,51,52,52,53,53,54,54,
55,55,56,56,57,57,58,59,59,60,61,61,62,63,63,64,64,64,65,65,66,66,67,68,
69,69,69,70,70,71,71,72,72,73,74,75,76,76,77,77,77,78,78,79,80,81,81,82,
82,82,83,83,84,84,85,85,86,86,87,87,88,89,90,90,91,92,93,94,94,95,95,95,
96,96,96,97,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,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,159,160,161,162,163,164,165,166,
167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183]);
ALF("3.F3+.2","M",[1,4,2,13,3,15,4,5,4,4,5,5,6,7,35,8,37,9,39,11,50,13,13,
15,14,16,13,15,17,15,13,16,16,16,14,17,15,17,17,18,19,70,20,71,22,78,21,
79,24,81,28,27,27,27,28,28,27,28,29,99,30,100,34,110,35,36,35,35,37,37,35,
36,36,41,37,43,39,38,39,42,37,41,42,43,45,119,47,128,49,131,50,50,51,50,
50,51,54,141,57,143,60,59,59,61,59,59,62,59,58,60,62,61,65,154,64,155,70,
72,71,73,73,74,162,76,165,77,166,78,78,82,80,79,81,85,85,89,171,91,92,93,
174,97,177,178,99,99,100,101,109,110,109,110,112,191,114,115,116,116,119,
119,120,128,128,131,129,129,134,134,134,154,154,2,3,8,8,9,10,13,16,14,13,
15,17,16,15,15,17,18,22,22,25,29,30,37,37,41,43,37,37,39,42,41,41,37,39,
40,43,44,47,48,54,58,59,59,62,58,60,60,62,61,59,65,65,75,74,78,78,78,86,
89,89,93,96,96,99,100,99,100,101,111,116,116,117,116,124,128,130,137,138,
146,154,163,163,167,171,171,174],[
"fusion map is unique up to table automorphisms"
]);
ALN("3.F3+.2",["3.fi24","3.Fi24'.2","MN3A"]);
MOT("F3+",
[
"origin: ATLAS of finite groups, tests: 1.o.r."
],
[1255205709190661721292800,258247006617600,160526499840,44569618329600,
2424391326720,14285134080,153055008,38211264,39813120,5806080,294912,907200,
78382080,19595520,10077696,2985984,2239488,559872,69984,69984,62208,23328,
5184,17640,2058,2304,1536,768,472392,262440,209952,59049,13122,972,2400,960,
132,124416,31104,13824,8640,5184,3888,2592,1152,864,864,576,432,144,234,168,
42,5400,405,270,32,17,2592,1296,648,648,162,108,108,108,120,80,252,63,42,42,
44,23,23,288,288,72,72,48,48,48,26,81,81,81,28,29,29,120,30,33,33,35,432,432,
108,36,117,117,117,117,84,42,42,45,45,60],
[,[1,1,1,4,5,6,7,8,3,2,3,12,4,6,5,4,5,6,7,7,6,7,8,24,25,9,11,11,29,30,31,32,
33,34,12,12,37,16,17,16,13,21,22,15,17,23,23,21,18,22,51,24,25,54,55,56,27,58,
31,31,29,30,33,34,34,34,35,36,69,70,72,71,37,74,75,38,40,46,47,45,48,48,51,84,
85,86,52,89,88,54,56,92,93,94,59,59,61,62,100,99,102,101,69,72,71,107,106,
90],[1,2,3,1,1,1,1,1,9,10,11,12,2,3,2,3,3,2,2,3,3,3,3,24,25,26,27,28,5,5,5,5,
5,7,35,36,37,9,9,9,10,9,9,10,11,9,9,11,10,11,51,52,53,12,12,12,57,58,17,15,17,
15,17,19,20,20,67,68,24,24,25,25,73,74,75,26,26,26,26,27,28,28,83,29,32,32,87,
89,88,35,36,37,37,94,39,39,39,44,51,51,51,51,52,53,53,55,55,67],,[1,2,3,4,5,6,
7,8,9,10,11,1,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,
34,2,3,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,4,5,6,57,58,59,60,
61,62,63,64,66,65,10,9,69,70,71,72,73,75,74,76,77,78,79,80,82,81,83,84,85,86,
87,88,89,13,14,93,92,24,95,96,97,98,100,99,102,101,103,104,105,30,30,41],,[1,
2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,1,1,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,2,3,54,55,56,
57,58,59,60,61,62,63,64,65,66,67,68,4,8,6,6,73,75,74,76,77,78,79,80,82,81,83,
84,85,86,10,88,89,90,91,93,92,12,95,96,97,98,100,99,102,101,13,14,14,107,106,
108],,,,[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,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,66,65,67,68,69,70,72,71,2,75,74,76,77,78,
79,80,81,82,83,84,85,86,87,89,88,90,91,5,5,94,95,96,97,98,100,99,102,101,103,
105,104,106,107,108],,[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,1,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,72,71,73,
74,75,76,77,78,79,80,81,82,2,84,85,86,87,88,89,90,91,93,92,94,95,96,97,98,4,4,
8,8,103,105,104,107,106,108],,,,[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,66,65,67,68,69,70,
71,72,73,75,74,76,77,78,79,80,82,81,83,84,85,86,87,89,88,90,91,92,93,94,95,96,
97,98,99,100,101,102,103,104,105,107,106,108],,,,,,[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,66,65,67,68,69,70,72,71,73,1,1,76,77,78,79,80,81,82,83,84,85,86,87,88,89,
90,91,93,92,94,95,96,97,98,99,100,101,102,103,105,104,107,106,108],,,,,,[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,66,65,67,68,69,70,72,71,73,74,75,76,77,78,79,80,82,81,
83,84,85,86,87,1,1,90,91,92,93,94,95,96,97,98,99,100,101,102,103,105,104,106,
107,108]],
[[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],[8671,351,-33,
247,-77,85,4,13,31,-1,-1,21,-9,-15,27,-9,3,9,0,12,-3,0,-3,5,-2,-1,7,-1,4,-5,
13,4,-5,4,1,-3,3,7,-5,7,-1,1,-2,-1,-1,1,1,5,-1,2,0,1,2,-3,3,0,-1,1,-3,-3,0,3,
3,0,0,0,-1,1,2,-1,1,1,-1,0,0,-1,-1,-1,-1,1,-1,-1,0,1,1,1,-1,0,0,1,0,0,0,0,1,1,
-2,-1,0,0,0,0,-2,-1,-1,0,0,-1],[57477,1157,133,534,615,210,48,-15,69,21,5,27,
86,70,23,22,7,14,-4,16,10,4,1,14,0,5,5,-3,-6,30,12,-6,3,3,7,3,2,6,15,6,6,6,6,
3,-1,-3,-3,2,0,2,4,2,0,9,0,0,1,0,4,8,-2,2,1,-1,1,1,1,-1,2,-1,0,0,2,0,0,2,2,-1,
-1,-1,0,0,0,0,0,0,0,-1,-1,1,0,-1,-1,-1,0,0,0,0,1,1,-2,-2,2,0,0,0,0,1],[249458,
2354,370,2705,869,167,113,14,50,42,2,8,41,55,5,49,37,23,5,1,7,13,-2,6,-1,6,-2,
2,32,14,23,5,5,2,4,0,0,29,5,5,9,-1,11,-3,5,2,2,-1,3,-1,1,2,-1,5,-1,2,0,0,7,-1,
4,2,1,2,-2,-2,2,0,3,0,-1,-1,0,0,0,3,3,0,0,1,-1,-1,1,2,-1,-1,0,0,0,1,0,0,0,1,
-1,-1,2,0,1,1,1,1,-1,-1,-1,-1,-1,-1],[555611,5083,91,-535,2300,518,-49,14,155,
27,-5,36,169,154,-20,-23,28,34,7,19,-2,-5,-2,21,0,3,3,3,5,50,-13,5,-4,5,8,-4,
1,-7,20,-7,9,2,-7,0,4,2,2,-2,0,1,4,1,0,15,0,3,-1,0,-5,7,1,-2,-2,1,1,1,2,0,-3,
0,0,0,1,0,0,-3,-3,0,0,0,0,0,0,-1,-1,-1,-1,0,0,-1,-1,1,1,1,-1,-1,-1,0,-2,-2,1,
1,1,0,0,0,0,-1],[1603525,1925,-315,6475,-275,-140,76,-77,5,-35,21,0,35,0,-19,
-21,45,8,8,0,12,-12,3,0,0,1,1,-3,49,-5,-5,-5,4,-2,0,0,0,23,5,-1,-5,-4,-4,1,-3,
-1,-1,0,-2,0,1,0,0,0,0,0,-1,0,3,-1,-3,-1,0,2,0,0,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,0,0,1,-2,1,1,0,-1,-1,
0,0,0,0,0,-1,-1,-1,1,1,1,1,1,0,0,0,0,0,0],
[GALOIS,[6,5]],[1666833,11153,273,3093,-1848,987,-66,51,209,49,-15,83,-43,
-105,56,21,-24,47,2,30,3,-6,3,14,0,1,9,1,-12,-21,24,-12,6,6,3,3,3,5,-16,5,-11,
-1,-4,4,0,-1,-1,3,1,0,-1,2,0,-7,2,2,1,0,0,-4,0,-1,0,2,0,0,-1,-1,-1,2,0,0,-1,0,
0,1,1,1,1,0,1,1,-1,0,0,0,0,0,0,-3,0,0,0,-1,-4,-4,2,1,-1,-1,-1,-1,-1,0,0,-1,-1,
-1],[4864431,13871,-1105,4836,4917,867,-24,156,175,-97,15,56,164,155,101,-28,
-43,11,20,20,-13,8,-4,5,5,-9,7,-1,3,39,21,3,12,3,-4,0,0,4,13,4,-4,-5,4,-7,-3,
4,4,3,-1,0,0,-3,1,11,2,2,-1,0,5,5,-1,-1,2,-1,-1,-1,-2,0,-1,2,-1,-1,0,0,0,0,0,
0,0,1,-1,-1,0,0,0,0,1,0,0,-1,0,0,0,0,1,1,1,-1,0,0,0,0,3,1,1,-1,-1,1],[
32715683,43043,-2653,25298,-1837,2618,26,-91,291,-77,3,133,-238,-70,275,-46,
83,-22,-22,38,-22,-10,5,0,0,-5,11,3,-1,-19,44,-1,8,-1,-7,-3,0,18,3,18,10,6,0,
-5,3,-3,-3,6,-2,0,0,0,0,-2,-2,-2,-1,-1,-4,-4,-1,5,2,-1,-1,-1,3,1,0,0,0,0,0,0,
0,-2,-2,1,1,-1,0,0,0,-1,-1,-1,0,0,0,2,0,0,0,0,0,0,3,1,0,0,0,0,0,0,0,1,1,0],[
35873145,53625,4473,27000,4158,2457,27,54,185,105,-7,120,120,189,246,120,-18,
21,3,27,33,3,6,-14,0,9,9,1,27,0,54,27,0,0,0,8,0,8,14,8,0,-7,-1,6,2,2,2,5,3,-1,
-4,-2,0,0,3,-3,1,0,6,6,3,0,0,0,0,0,0,0,1,-2,0,0,0,-1,-1,0,0,0,0,0,1,1,0,0,0,0,
0,0,0,0,-1,0,0,1,2,2,-1,0,-1,-1,2,2,1,0,0,0,0,0],[40536925,39325,3165,49075,
880,70,-11,169,-35,85,13,0,-5,-30,40,147,96,58,13,-3,-18,21,9,-5,9,1,1,-3,70,
25,34,-11,-2,-2,0,0,0,55,-8,-17,-5,10,1,4,4,1,1,-2,4,1,0,-1,1,0,0,0,-1,0,-6,
-2,6,1,0,-2,0,0,0,0,-2,1,0,0,0,0,0,1,1,1,1,-2,0,0,0,1,1,1,1,0,0,0,0,0,0,0,-2,
-2,-2,1,0,0,0,0,2,-2,-2,0,0,0],[48893768,95304,840,-3340,-14113,4760,62,-64,
840,8,8,168,-204,-420,-33,-12,-33,84,-6,66,0,6,0,35,0,0,8,0,8,-55,-37,8,-1,8,
4,0,0,-12,-33,-12,-4,0,6,-1,-1,0,0,-4,2,2,1,-1,0,-15,-3,0,0,0,3,-9,0,-3,-3,0,
0,0,-2,0,-1,-1,0,0,0,0,0,0,0,0,0,-1,0,0,1,-1,-1,-1,1,0,0,1,0,0,0,0,3,3,0,-1,1,
1,1,1,-1,0,0,0,0,1],[74837400,37400,-4200,-4575,20130,2310,285,105,280,-120,
-8,0,545,210,-22,33,-78,-22,5,21,-18,-3,9,15,-6,-8,0,0,15,60,-3,15,6,-3,0,0,0,
1,10,1,-15,10,1,6,-2,1,1,-2,0,1,1,-1,0,0,0,0,0,0,-3,5,3,-4,0,-1,
3*E(3)-3*E(3)^2,-3*E(3)+3*E(3)^2,0,0,3,0,0,0,0,0,0,1,1,1,1,0,0,0,-1,0,0,0,-1,
0,0,0,0,0,0,0,1,1,1,0,1,1,1,1,-1,0,0,0,0,0],
[GALOIS,[14,2]],[79452373,104533,5845,-2444,24178,3010,148,247,405,245,-11,48,
412,490,-38,-44,130,106,16,4,34,-8,7,14,0,13,-3,-3,-14,85,-5,13,13,-2,8,0,0,
-24,18,0,20,6,-6,2,-2,3,3,-2,2,-2,0,2,0,6,3,0,1,0,-5,-5,-2,1,1,-2,-2,-2,0,0,
-1,2,0,0,0,0,0,-2,-2,1,1,0,0,0,0,-2,1,1,0,0,0,2,0,0,0,-1,3,3,0,-1,0,0,0,0,-1,
0,0,0,0,0],[112168056,19448,6776,42510,14322,2415,228,156,-8,168,24,6,566,35,
170,110,98,-37,8,8,23,20,-4,14,0,0,0,8,66,30,21,-15,3,-6,-2,6,0,-14,10,10,6,7,
4,6,6,4,4,3,-3,0,0,2,0,-15,-3,0,0,-1,5,5,2,2,-1,2,2,2,-2,2,-1,2,0,0,0,0,0,0,0,
0,0,0,-1,-1,0,0,0,0,0,0,0,1,0,0,0,-1,1,1,-2,0,0,0,0,0,-1,0,0,0,0,1],[
159402880,158080,896,-260,49312,5572,-260,-260,896,64,0,105,1084,896,-32,-4,
32,40,-32,32,-4,-4,-4,35,0,0,0,0,-17,145,-17,-17,-17,1,5,1,-1,-4,32,-4,4,-4,
-4,-8,0,-4,-4,0,-2,0,0,-1,0,15,-3,-3,0,0,-1,7,-1,1,-1,1,-1,-1,-1,1,-1,-1,0,0,
-1,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,-1,1,-1,-1,0,-1,-1,-1,1,0,0,0,0,-1,0,0,0,0,
-1],[281380736,11648,8064,132860,10064,-952,668,182,128,0,0,-14,308,0,-16,156,
144,-16,-16,0,24,12,6,0,0,0,0,0,155,-34,-34,-7,20,2,-2,-6,-1,32,-16,8,0,8,-4,
0,0,2,2,0,0,0,0,0,0,10,4,-2,0,0,6,2,3,2,0,2,0,0,0,-2,0,0,0,0,-1,1,1,6,-6,0,0,
0,0,0,0,-1,-1,-1,0,0,0,-2,0,-1,-1,0,2,2,-1,0,0,0,0,0,0,0,0,1,1,0],[415098112,
256256,-2816,106600,-29480,9400,166,-104,768,0,0,162,-280,-440,296,-152,-8,8,
26,46,-8,10,-8,16,2,0,0,0,-23,-50,112,-23,-23,-5,6,-6,0,24,-24,24,0,0,-12,0,0,
0,0,0,0,0,0,0,-2,0,0,0,0,0,-8,-4,1,2,1,-1,1,1,0,-2,4,1,-1,-1,0,0,0,0,0,0,0,0,
0,0,0,1,1,1,0,0,0,0,0,0,0,1,0,0,-3,0,0,0,0,0,0,1,1,0,0,0],[635618984,323752,
3752,146120,-39127,4046,-652,104,552,168,40,34,184,-406,-167,8,-55,130,-32,
-28,-10,8,8,14,0,0,-8,0,-58,-4,104,23,-4,5,2,2,0,48,-15,0,-24,-6,-6,-3,1,0,0,
-2,0,-2,0,2,0,-5,-2,1,0,0,-16,4,2,4,2,1,-1,-1,-2,2,2,-1,0,0,0,0,0,0,0,0,0,1,0,
0,0,-1,-1,-1,0,0,0,-1,-1,0,0,-1,0,0,0,0,0,0,0,0,2,0,0,1,1,1],[1069551175,
175175,13895,47425,-23045,-3605,769,427,135,-105,71,0,665,35,-109,-31,107,35,
-55,-19,11,5,11,0,0,-1,7,7,-122,-50,-32,40,4,-5,0,0,0,45,27,21,-15,-9,-9,3,-1,
3,3,-1,3,-1,4,0,0,0,0,0,-1,0,8,-4,2,2,-4,-1,-1,-1,0,0,0,0,0,0,0,0,0,-1,-1,-1,
-1,1,1,1,0,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,-2,-2,0,0,0,0,0,0],[1112333222,
246246,-13146,415415,1694,749,938,182,230,-210,-42,-28,-273,21,6,-297,174,69,
6,-6,-3,-18,6,0,0,-6,-6,-2,209,-16,83,20,2,8,-4,4,0,131,14,11,15,5,-4,6,-6,2,
2,-3,-3,0,0,0,0,-10,-1,-1,0,0,3,3,-3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-3,-3,0,0,0,
1,1,0,2,-1,-1,0,0,0,2,1,0,0,0,-1,-1,-1,0,0,0,0,0,0,0,0,-1,-1,0],[1264015025,
352625,18865,72800,93050,7595,872,-91,625,105,65,0,1400,595,194,256,10,-13,32,
28,43,4,-11,0,0,5,-3,1,-73,80,-10,8,-1,-1,0,0,-2,28,-14,4,0,7,10,6,-10,1,1,-1,
3,2,0,0,0,0,0,0,-1,0,-2,2,-5,8,1,-1,1,1,0,0,0,0,0,0,-2,0,0,2,2,-1,-1,0,1,1,0,
-1,-1,-1,0,0,0,0,0,1,1,0,-2,-2,1,0,0,0,0,0,0,0,0,0,0,0],[1337276304,388752,
-11376,147420,92016,10368,891,0,528,-112,-48,154,924,720,-48,-36,-144,-48,-21,
-9,0,-9,0,0,7,0,0,0,0,81,81,0,0,0,2,-6,1,12,24,12,-4,0,21,-4,0,0,0,0,-4,-3,0,
0,-1,-5,1,-2,0,0,9,-3,0,-3,0,0,0,0,-2,-2,0,0,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,-1,0,1,1,0,-3,-3,0,-1,0,0,0,0,0,-1,-1,1,1,1],[1540153692,695772,4956,
-16758,-47619,15561,9,441,1436,28,60,217,-630,-399,-99,138,-3,81,9,33,9,-15,9,
0,0,-4,4,-4,9,-99,-45,9,-18,0,-3,1,0,-22,5,-22,10,5,5,1,-3,5,5,-3,1,-3,-1,0,0,
-8,1,1,0,0,3,3,-3,-3,0,0,0,0,3,1,0,0,0,0,0,0,0,2,2,-1,-1,1,-1,-1,-1,0,0,0,0,0,
0,0,1,0,0,0,-1,-1,-1,1,-1,-1,-1,-1,0,0,0,1,1,0],[2346900864,750464,-2688,
-40116,92400,13020,222,-300,896,-64,0,189,-244,840,80,-180,48,80,26,30,-12,18,
-12,-35,0,0,0,0,-21,15,-57,-21,15,6,-11,-3,0,-4,32,-4,-4,-4,-4,8,0,-4,-4,0,2,
0,-4,1,0,9,0,0,0,0,-9,-1,3,-1,-3,2,0,0,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,-1,0,0,1,0,0,0,0,-1,-1,-1,-1,2,2,-1,-1,1,0,0,0,0,1],[3178094920,886600,
-9912,-111800,-99407,17962,-263,-182,1480,-120,-56,120,-440,-966,-431,72,177,
10,1,33,-6,9,-6,21,0,0,-8,0,7,-20,-74,7,34,-2,0,8,0,-8,-23,-8,0,-2,1,-3,1,-2,
-2,-2,-6,1,0,1,0,0,3,-3,0,0,6,-2,3,4,0,-2,0,0,0,0,-3,0,0,0,0,0,0,0,0,0,0,1,0,
0,0,1,1,1,-1,0,0,0,-1,0,0,1,-2,-2,1,0,0,0,0,0,1,0,0,0,0,0],[3208653525,648725,
32725,425775,51150,3360,1011,-105,85,525,69,0,455,280,158,463,46,104,23,-17,
16,-5,7,0,0,1,-7,-3,-15,-60,84,-15,-6,3,0,0,0,43,22,19,15,-8,7,-6,6,-5,-5,0,0,
3,-1,0,0,0,0,0,-1,0,4,-4,1,-4,-2,-1,1,1,0,0,0,0,0,0,0,0,0,1,1,1,1,2,0,0,-1,0,
0,0,0,0,0,0,0,0,0,0,4,4,1,0,-1,-1,-1,-1,0,0,0,0,0,0],[3283490925,439725,25965,
421200,71280,5670,1296,0,45,405,-35,0,-960,450,-24,144,288,-6,-24,-36,-18,36,
0,15,-6,9,1,-3,0,0,81,0,0,0,0,0,0,24,0,-24,0,-6,6,0,4,0,0,-2,0,-2,0,-1,2,0,0,
0,-1,0,9,-3,0,0,0,0,0,0,0,0,3,0,0,0,0,0,0,0,0,0,0,-2,0,0,0,0,0,0,-1,0,0,0,0,0,
0,0,-3,-3,0,0,0,0,0,0,-1,2,2,0,0,0],[5005499499,627627,-24213,376740,151965,
-882,1305,0,747,-413,-37,-126,84,294,-123,228,-147,102,-15,-3,-18,21,0,0,0,-9,
-1,3,-99,45,27,-18,18,0,2,2,0,60,-27,12,4,-6,15,1,-7,0,0,2,-2,-1,0,0,0,15,0,3,
1,0,3,-9,-3,-3,0,0,0,0,2,2,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,-1,-1,0,
0,0,3,3,-3,1,0,0,0,0,0,0,0,0,0,-1],[5775278080,0,49152,457600,58432,1408,760,
832,0,0,0,-120,0,-384,0,384,192,0,0,48,0,24,0,-16,-2,0,0,0,58,40,-32,58,13,4,
0,-8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-2,0,-3,3,0,0,0,0,6,0,3,0,0,0,0,0,-4,-1,
1,1,0,-1,-1,0,0,0,0,0,0,0,0,1,1,1,0,0,0,0,1,0,0,-1,0,0,0,0,0,0,0,0,0,1,1,0,0,
0],[6471756928,267904,-43904,697060,39016,9856,1594,910,-640,0,0,28,28,-56,
280,-380,-56,-8,10,-2,16,-2,-2,0,0,0,0,0,190,-44,46,28,10,1,4,-4,-1,8,8,-16,0,
8,8,0,0,2,2,0,0,0,0,0,0,10,1,1,0,0,-2,-2,-2,4,-2,1,1,1,0,0,0,0,0,0,-1,0,0,-6,
6,0,0,0,0,0,0,1,1,1,0,0,0,-2,-1,-1,-1,0,2,2,2,0,0,0,0,0,0,0,0,1,1,0],[
7150713570,484770,-16926,-46215,227403,12348,-288,-351,354,106,-14,-105,2001,
84,147,-231,219,-60,12,-24,12,12,-15,35,0,-10,-2,-6,-72,45,0,9,18,0,-5,-1,0,
21,3,-3,1,12,-6,7,7,-3,-3,4,4,-2,0,-1,0,-15,3,3,0,0,0,0,0,-3,0,0,0,0,1,-1,-1,
-1,0,0,0,0,0,-1,-1,-1,-1,1,0,0,0,0,0,0,1,0,0,1,-1,0,0,0,0,0,0,1,0,0,0,0,-1,0,
0,0,0,1],[8529641472,1441792,0,509952,-8448,17472,-1320,768,0,0,0,272,-512,0,
640,0,0,64,-8,0,0,0,0,-26,-12,0,0,0,-24,-6,120,-24,-6,-6,-8,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,1,2,0,2,2,2,0,0,0,4,0,-2,0,-2,0,0,0,0,-5,-2,0,0,0,1,1,0,0,0,0,0,0,
0,1,0,0,0,0,0,0,-2,0,0,0,-1,0,0,0,0,1,1,1,1,-1,0,0,-1,-1,0],[9100908180,
616980,17556,745290,-71433,8757,-477,-819,-44,84,-76,105,714,-399,327,330,87,
-87,3,-21,-3,-21,-3,0,0,-4,-4,-4,117,0,45,36,27,0,5,1,1,10,-17,10,-6,1,-17,3,
-1,1,1,5,3,-1,0,0,0,15,-3,-3,0,0,-3,-3,-3,0,-3,0,0,0,-1,1,0,0,0,0,1,0,0,2,2,
-1,-1,-1,-1,-1,0,0,0,0,0,0,0,-1,1,1,1,0,1,1,1,0,0,0,0,0,0,0,0,0,0,-1],[
9441555200,1478400,8960,-204400,305360,14840,-1900,350,1280,0,0,0,1680,1400,
-336,-112,-112,24,-12,-4,-40,-4,14,0,0,0,0,0,98,80,-46,-10,-10,-4,0,0,0,-16,
-16,-16,0,-16,-16,0,0,2,2,0,0,0,-1,0,0,0,0,0,0,0,2,-6,2,0,2,0,2,2,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,1,2,-1,-1,0,-1,-1,0,0,0,0,0,2,2,2,0,-1,-1,-1,-1,0,0,0,0,0,
0],[10169903744,1299584,-11648,-151372,-48664,3500,2204,728,-384,64,0,69,1028,
-560,344,-140,-56,200,20,-20,-44,4,-8,-21,0,0,0,0,44,35,-55,44,8,-1,9,-3,0,
-36,-24,12,4,-12,0,-8,0,0,0,0,-2,0,0,-1,0,3,6,0,0,0,1,5,4,-1,-2,-1,1,1,-1,1,3,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,-1,1,0,0,3,0,0,0,-1,-3,-3,0,1,0,0,0,0,-1,0,
0,0,0,-1],[10776585600,-105600,40320,-27000,11880,-7560,2160,27,640,0,0,0,
-120,0,24,-120,72,-48,24,0,-24,24,3,-10,18,0,0,0,-27,0,27,-27,0,0,0,0,0,-8,-8,
-8,0,-8,-8,0,0,7,-5,0,0,0,1,2,0,0,0,0,0,0,3,3,-3,0,0,0,0,0,0,0,-1,-1,0,0,0,0,
0,0,0,3,-3,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,7,-5,1,0,1,1,1,1,-1,0,0,0,0,0],[
10776585600,-105600,40320,-27000,11880,-7560,2160,27,640,0,0,0,-120,0,24,-120,
72,-48,24,0,-24,24,3,-10,18,0,0,0,-27,0,27,-27,0,0,0,0,0,-8,-8,-8,0,-8,-8,0,0,
-5,7,0,0,0,1,2,0,0,0,0,0,0,3,3,-3,0,0,0,0,0,0,0,-1,-1,0,0,0,0,0,0,0,-3,3,0,0,
0,-1,0,0,0,0,0,0,0,0,0,0,0,-5,7,1,0,1,1,1,1,-1,0,0,0,0,0],[13904165275,
2277275,37275,-120575,-179300,18340,682,-182,1435,315,27,0,-175,-840,-364,-63,
-372,176,14,-30,12,-18,-6,0,0,3,-5,3,61,-20,-47,-20,7,-2,0,0,0,-23,4,25,-15,4,
4,0,0,-2,-2,0,6,0,0,0,0,0,0,0,-1,0,9,5,-3,-4,3,2,0,0,0,0,0,0,0,0,0,0,0,-3,-3,
0,0,-2,0,0,0,1,1,1,0,0,0,0,0,0,0,0,1,1,1,0,0,0,0,0,0,0,0,0,0,0],[13904165275,
675675,10395,1599325,21175,-11900,304,-1001,155,35,-21,0,-315,0,-513,189,135,
72,0,0,-36,0,-9,0,0,-1,7,3,196,25,-65,-20,-20,-8,0,0,0,161,-25,-7,5,-4,8,-1,3,
-1,-1,0,2,0,0,0,0,0,0,0,1,0,-9,3,0,-3,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,-1,-1,1,
0,0,0,-2,1,1,0,0,0,0,0,0,0,0,-1,-1,2,-1,0,0,0,0,0,0,0,0,0,0],[14507059905,
1605825,-11583,0,-216513,19683,0,0,1665,-15,-63,-120,0,-729,567,0,-81,-81,0,0,
27,0,0,9,2,9,1,1,0,0,0,0,0,0,0,-8,-3,0,-9,0,0,-9,0,3,3,0,0,3,-3,0,0,-3,2,0,-3,
3,1,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,1,0,0,0,0,0,0,1,1,1,0,0,0,0,-1,0,0,0,1,0,
0,-1,0,0,0,0,0,0,0,0,0,-1,-1,0,0,0],[17068369920,665600,43008,542400,-62832,
672,996,960,0,0,0,120,320,-336,752,192,-48,-112,-4,-12,0,12,0,-14,0,0,0,0,24,
60,-12,24,-21,6,0,8,-3,0,0,0,0,0,0,0,0,0,0,0,0,0,4,-2,0,0,3,-3,0,0,-12,-4,0,
-4,3,2,0,0,0,0,-2,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,1,0,0,0,0,
1,1,-2,-2,-2,0,0,0,0,0],[17161712568,1438008,47544,-218322,170478,8883,1107,
-702,-200,168,-40,-132,-426,231,582,-114,222,159,15,15,27,3,18,-14,0,0,0,8,
-27,0,-54,-27,0,0,8,4,0,-14,-2,10,6,19,-5,6,2,-2,-2,-1,-3,-1,0,-2,0,3,3,3,0,0,
-6,-6,-3,0,0,0,0,0,-2,0,1,-2,0,0,0,0,0,0,0,0,0,0,-1,-1,0,0,0,0,0,0,0,-1,1,0,0,
1,-2,-2,1,0,0,0,0,0,1,0,0,0,0,1],[18481844304,1548624,37968,-245322,150282,
-3780,-1107,378,464,336,16,-21,-546,420,66,-234,186,84,-15,-39,12,-27,-6,0,0,
0,0,0,27,0,-27,27,0,0,-1,3,0,-22,-22,2,6,-4,5,-6,-2,14,-10,4,0,1,1,0,0,3,-3,0,
0,0,-3,-3,3,0,0,0,0,0,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,-1,0,0,
0,0,-7,5,-1,0,1,1,1,1,0,0,0,0,0,1],[18481844304,1548624,37968,-245322,150282,
-3780,-1107,378,464,336,16,-21,-546,420,66,-234,186,84,-15,-39,12,-27,-6,0,0,
0,0,0,27,0,-27,27,0,0,-1,3,0,-22,-22,2,6,-4,5,-6,-2,-10,14,4,0,1,1,0,0,3,-3,0,
0,0,-3,-3,3,0,0,0,0,0,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,-1,0,0,
0,0,5,-7,-1,0,1,1,1,1,0,0,0,0,0,1],[25027497495,1216215,18711,114660,254628,
10899,207,819,23,63,-89,70,252,315,324,132,36,-117,27,-9,3,-21,3,0,0,-5,3,-1,
-63,-54,-45,18,0,0,-10,6,0,32,-4,8,-12,-13,5,0,4,-1,-1,-5,3,1,0,0,0,10,-2,4,1,
0,3,3,-3,6,0,0,0,0,-2,-2,0,0,0,0,0,0,0,-2,-2,1,1,0,-1,-1,0,0,0,0,0,0,0,2,0,0,
0,0,-1,-1,-1,0,0,0,0,0,0,0,0,1,1,-2],[27808330550,-250250,-6090,1171625,
-77935,4550,-40,455,310,-210,166,0,-455,210,-527,105,273,-86,40,-60,-18,-12,
-9,0,0,10,10,6,122,50,5,14,14,2,0,0,0,-47,-23,1,-15,10,-2,-3,1,-5,-5,-2,0,-2,
0,0,0,0,0,0,0,0,-3,1,-6,-2,0,-2,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,0,0,0,2,-1,-1,
0,0,0,0,0,0,0,0,1,1,-2,0,0,0,0,0,0,0,0,0,0,0],[29444114700,300300,-22260,
655200,150975,-16695,-3087,819,1100,-420,140,0,-840,105,-129,0,-129,-39,33,-3,
57,45,3,0,0,4,-4,-4,-36,0,-45,45,-27,0,0,0,0,44,-25,20,0,5,-1,3,-1,-1,-1,5,-3,
-1,0,0,0,0,0,0,0,1,3,3,0,0,-3,0,0,0,0,0,0,0,0,0,0,0,0,-2,-2,1,1,-1,-1,-1,0,0,
0,0,0,0,0,0,0,0,0,0,-1,-1,2,0,0,0,0,0,0,0,0,0,0,0],[35594663104,192192,23744,
25480,342892,154,856,-728,960,-448,64,-196,1176,-574,60,-184,-52,-30,-48,20,
26,-4,8,0,0,0,0,0,46,19,100,-8,1,4,-8,4,0,-48,-12,0,-16,6,6,-16,4,0,0,-2,2,-2,
0,0,0,5,2,-1,0,0,-4,0,2,3,-1,0,2,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-2,1,1,0,
0,0,1,1,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,-1,-1,-1],[36858678129,-1825551,37233,
132678,115182,25515,1458,0,-591,-399,17,-21,1134,-945,-378,-90,-162,135,-54,
-54,-45,18,0,0,0,9,9,-7,0,0,0,0,0,0,-1,3,-2,-6,30,18,6,3,-6,6,2,0,0,-1,-3,2,0,
0,0,3,-3,0,1,0,0,0,0,0,0,0,0,0,1,-1,0,0,0,0,-2,0,0,0,0,0,0,0,-1,-1,0,0,0,0,0,
0,0,-1,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],[37337059200,560000,-49280,
1470000,114060,7140,-1122,-924,-640,0,128,0,560,-140,1100,-464,76,20,-34,22,4,
22,4,0,0,0,0,0,93,30,-6,12,3,-6,0,0,1,-16,-28,-16,0,-4,2,0,-4,-4,-4,-4,0,2,-1,
0,0,0,0,0,0,0,10,2,1,2,1,2,-2,-2,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,
0,0,0,1,1,0,2,2,-1,0,-1,-1,-1,-1,0,0,0,0,0,0],[38641860608,2555904,0,366080,
-224896,31712,-1336,-832,0,512,0,8,-384,0,192,0,0,-96,-24,0,0,0,0,1,8,0,0,0,
-40,-31,32,41,-4,-4,4,0,-1,0,0,0,-16,0,0,8,0,0,0,0,-4,0,0,1,0,5,-1,2,0,0,0,0,
0,-3,0,0,0,0,2,0,1,1,2,2,-1,0,0,0,0,0,0,0,0,0,0,-1,-1,-1,1,0,0,1,0,-1,-1,1,0,
0,0,-1,0,0,0,0,1,0,0,-1,-1,-1],[40043995992,-744744,53592,1023750,-83358,8253,
1692,0,-168,-280,-8,42,-210,609,618,102,114,-39,24,-12,-27,-24,0,0,0,0,0,-8,
18,-45,-108,-63,-18,0,6,2,0,-6,-6,18,-10,21,-6,-10,-2,0,0,1,-1,-2,0,0,0,0,-3,
3,0,0,12,0,6,3,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,-1,0,0,
0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0],[44493328880,880880,-45584,1309490,51722,
-13888,1664,728,-144,-336,48,105,1274,-224,-238,-494,154,32,32,-8,64,-8,-8,0,
0,0,0,0,-172,-100,-28,-10,8,-1,5,1,0,54,18,-18,-6,0,0,6,6,0,0,0,0,0,0,0,0,15,
-3,-3,0,0,4,-4,4,-4,4,-1,1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,-1,0,0,
0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1],[45049495491,2573571,40131,1002456,
68607,-7938,-1377,0,195,315,-77,-84,-168,-126,39,216,-369,138,39,-45,54,27,0,
0,0,-9,7,3,0,0,81,0,0,0,-4,-4,0,-24,15,-24,0,18,-15,-9,-5,0,0,-2,0,1,0,0,0,6,
-3,-3,1,0,9,-3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,2,-1,
0,0,0,-3,-3,0,0,0,0,0,0,0,0,0,0,0,0],[46602926370,1171170,-10206,2100735,
-197802,-11907,1215,0,354,-294,-14,-105,1071,189,-90,63,54,45,-9,27,45,-45,0,
0,0,6,-2,2,0,0,0,0,0,0,-5,-1,0,39,30,-9,-9,-15,-15,-6,-2,0,0,1,-3,1,0,0,0,-15,
3,3,0,0,0,0,0,0,0,0,0,0,1,-1,0,0,0,0,0,0,0,3,3,0,0,-2,-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,1],[54234085491,1384371,93555,531441,0,0,0,
729,-1485,27,99,216,729,0,0,81,0,0,0,0,0,0,9,19,12,-1,-9,3,0,0,0,0,0,0,-4,0,3,
-27,0,-3,9,0,0,0,0,-3,-3,0,0,0,1,-5,0,-9,0,0,1,0,0,0,0,0,0,0,0,0,2,0,1,1,0,0,
-1,0,0,-1,-1,-1,-1,0,0,0,1,0,0,0,-1,0,0,-1,0,0,0,-1,0,0,0,0,1,1,1,1,1,0,0,0,0,
-1],[54481627200,1601600,34880,-382200,-260700,1740,525,-546,320,0,64,0,1400,
-220,68,-184,-220,-76,41,-31,-4,5,14,0,-7,0,0,0,39,30,-33,-42,3,3,0,0,0,32,-4,
-16,0,-4,5,0,4,2,2,4,0,1,0,0,-1,0,0,0,0,0,-1,-1,-1,2,-1,-1,-1,-1,0,0,0,0,
E(21)^2+E(21)^8+E(21)^10+E(21)^11+E(21)^13+E(21)^19,E(21)+E(21)^4+E(21)^5
+E(21)^16+E(21)^17+E(21)^20,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,0,0,0,0,0,0,E(21)^2+E(21)^8+E(21)^10+E(21)^11+E(21)^13+E(21)^19,
E(21)+E(21)^4+E(21)^5+E(21)^16+E(21)^17+E(21)^20,0,0,0],
[GALOIS,[60,2]],[55616661100,2702700,-101780,-236600,445555,11935,-242,91,300,
-420,44,0,0,595,-189,232,19,27,54,-26,-41,-2,-5,0,0,-4,-4,4,82,-80,28,28,-17,
4,0,0,0,-60,3,12,0,3,-6,3,11,3,3,-1,-3,2,0,0,0,0,0,0,0,0,4,0,-2,0,1,0,-2,-2,0,
0,0,0,0,0,0,0,0,2,2,-1,-1,-1,1,1,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,0],[63831063582,393822,36126,767637,216513,19683,0,0,-1314,294,78,57,
405,-729,-567,405,81,-81,0,0,27,0,0,6,-1,-6,2,-2,0,0,0,0,0,0,-3,1,0,-27,9,-27,
-3,-9,0,-3,-3,0,0,3,-3,0,0,2,-1,12,3,3,0,0,0,0,0,0,0,0,0,0,-1,1,3,0,-1,-1,0,0,
0,-3,-3,0,0,-1,1,1,0,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,0,0,0,-1,-1,-1,0,0,2],[
65393917952,1441792,0,-403456,-64768,-11200,248,896,0,0,0,-48,-512,0,640,0,0,
64,-8,0,0,0,0,6,6,0,0,0,32,50,-40,5,14,2,-8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,
2,0,-6,-3,0,0,0,0,4,0,-2,0,-2,0,0,0,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,1,-1,5,-4,0,
0,0,-2,0,0,0,1,0,0,0,0,-1,-1,-1,-1,-1,0,0,0,0,0],[65393917952,1441792,0,
-403456,-64768,-11200,248,896,0,0,0,-48,-512,0,640,0,0,64,-8,0,0,0,0,6,6,0,0,
0,32,50,-40,5,14,2,-8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,2,0,-6,-3,0,0,0,0,4,0,
-2,0,-2,0,0,0,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,1,-1,-4,5,0,0,0,-2,0,0,0,1,0,0,0,
0,-1,-1,-1,-1,-1,0,0,0,0,0],[67331776512,2342912,57344,1440192,-109824,336,
-2256,624,0,0,0,-188,320,896,-256,-64,-256,32,-40,32,-16,8,-16,-14,0,0,0,0,
-42,-114,84,-42,21,3,12,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-2,0,-8,1,1,0,0,-4,8,
2,2,-1,-1,-1,-1,0,0,-2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,0,1,0,0,1,0,
0,0,0,0,0,0,0,-2,0,0,1,1,0],[71189326208,2946944,-24192,591500,-148192,-448,
-1906,182,128,0,0,-42,-700,-504,-160,300,288,56,2,-18,-48,-6,6,0,0,0,0,0,-205,
110,-34,-43,2,2,-6,-2,0,32,-16,8,0,8,-4,0,0,2,2,0,0,0,0,0,0,0,3,-3,0,0,6,2,3,
2,0,2,0,0,0,-2,0,0,0,0,0,0,0,-6,6,0,0,0,0,0,0,-1,-1,-1,0,0,0,0,1,0,0,0,2,2,-1,
0,0,0,0,0,0,0,0,0,0,0],[74887473024,3978624,8064,-728676,-43416,29484,1782,0,
384,64,0,-1,-1716,504,-744,-36,72,-96,-42,18,36,18,0,-21,0,0,0,0,0,-81,-81,0,
0,0,-1,-1,1,36,24,-12,4,12,0,-8,0,0,0,0,-2,0,0,-1,0,-1,-1,-1,0,0,-9,3,0,3,0,0,
0,0,-1,-1,3,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,-1,-1,1,1,-1,3,3,0,1,0,0,
0,0,-1,0,0,-1,-1,-1],[77007684600,3003000,-21000,-625275,-215820,-4410,207,
189,120,-280,-40,0,1365,-210,-156,69,276,78,-21,-21,6,15,-3,0,0,-8,0,0,72,-45,
0,-9,-18,0,0,0,0,-51,12,-3,5,-6,3,8,-4,-3,-3,2,2,-1,2,0,0,0,0,0,0,0,0,0,0,3,0,
0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,-1,
-2*E(13)+E(13)^2-2*E(13)^3-2*E(13)^4+E(13)^5+E(13)^6+E(13)^7+E(13)^8-2*E(13)^9
-2*E(13)^10+E(13)^11-2*E(13)^12,E(13)-2*E(13)^2+E(13)^3+E(13)^4-2*E(13)^5
-2*E(13)^6-2*E(13)^7-2*E(13)^8+E(13)^9+E(13)^10-2*E(13)^11+E(13)^12,0,0,0,0,
0,0],
[GALOIS,[69,2]],[77108871168,2555904,0,437760,220032,10080,360,-1728,0,-512,0,
168,-384,0,192,0,0,-96,-24,0,0,0,0,-35,0,0,0,0,-72,45,0,9,18,0,4,0,-1,0,0,0,
16,0,0,-8,0,0,0,0,4,0,4,1,0,-15,-3,0,0,1,0,0,0,-3,0,0,0,0,-2,0,1,1,0,0,-1,0,0,
0,0,0,0,0,0,0,0,0,0,0,-1,0,0,1,0,-1,-1,0,0,0,0,1,-2,-2,1,1,1,0,0,0,0,1],[
77379702400,3203200,-76160,1155700,-119240,10360,-980,910,-640,0,0,0,-980,
-560,136,-236,88,64,28,-20,-56,-20,-2,0,0,0,0,0,-170,100,46,-8,-8,1,0,0,0,8,8,
-16,0,8,8,0,0,2,2,0,0,0,0,0,0,0,0,0,0,0,-2,-2,-2,4,-2,1,1,1,0,0,0,0,0,0,0,-1,
-1,6,-6,0,0,0,0,0,0,1,1,1,0,0,0,0,0,0,0,0,2,2,2,0,0,0,0,0,0,0,0,0,0,0],[
102385217025,-2013375,76545,921375,155925,2835,-3726,0,705,105,-143,0,735,
-945,285,-225,-27,-57,42,-54,27,18,0,0,0,-3,5,1,0,0,-81,0,0,0,0,0,3,15,21,15,
15,-9,6,-3,1,0,0,-5,-3,-2,0,0,0,0,0,0,-1,0,-9,3,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,
0,3,3,0,0,-1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0],[
111233322200,-1001000,-24360,2720900,129305,-700,-457,182,-40,280,-104,0,
-1820,-420,-407,-252,57,-20,-29,39,-12,27,6,0,0,0,-8,0,137,65,-61,-25,-16,2,0,
0,0,-76,41,20,-20,-4,5,1,1,2,2,4,4,1,0,0,0,0,0,0,0,0,3,-5,-3,1,0,-2,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,1,0,0,0,-1,-1,-1,0,0,0,0,0,0,0,0,-1,-1,-1,1,0,0,0,0,0,0,0,
0,0,0],[111233322200,2202200,29400,-104650,-71170,-29995,-565,182,-40,-280,-8,
0,350,105,134,150,78,161,-1,51,-3,15,6,0,0,0,0,-8,-25,-25,-25,29,20,-10,0,0,0,
-22,14,2,-10,5,5,-10,10,2,2,1,-1,1,0,0,0,0,0,0,0,0,-9,-1,-9,-1,0,2,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,1,1,0,2,-1,-1,0,0,0,0,0,0,0,0,-1,-1,-1,-1,0,0,0,0,0,0,0,
0,0,0],[118588933386,-2453814,-105462,531441,0,0,0,729,1674,594,90,-189,729,0,
0,81,0,0,0,0,0,0,9,-35,0,-10,6,-6,0,0,0,0,0,0,11,3,0,-27,0,-3,9,0,0,0,0,-3,-3,
0,0,0,1,1,0,-9,0,0,0,-1,0,0,0,0,0,0,0,0,-1,-1,1,1,0,0,0,0,0,-1,-1,-1,-1,0,0,0,
1,0,0,0,-1,1,1,-1,0,0,0,0,0,0,0,0,1,1,1,1,1,0,0,0,0,-1],[132390354096,
-3027024,34992,-132678,16038,7290,-1458,0,816,-336,-16,21,-1134,270,270,90,54,
54,-54,-54,18,-18,0,0,7,0,0,0,0,0,0,0,0,0,1,-3,0,6,6,-18,-6,6,6,6,2,0,0,2,0,2,
0,0,-1,-3,3,0,0,0,0,0,0,0,0,0,0,0,-1,1,0,0,-E(21)^2-E(21)^8-E(21)^10-E(21)^11
-E(21)^13-E(21)^19,-E(21)-E(21)^4-E(21)^5-E(21)^16-E(21)^17-E(21)^20,0,0,0,0,
0,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,0,E(21)^2+E(21)^8+E(21)^10
+E(21)^11+E(21)^13+E(21)^19,E(21)+E(21)^4+E(21)^5+E(21)^16+E(21)^17+E(21)^20,
0,0,-1],
[GALOIS,[77,2]],[139317477376,-1441792,0,-296960,-137984,-4928,-824,2560,0,0,
0,176,512,0,-640,0,0,-64,8,0,0,0,0,-14,0,0,0,0,40,94,40,-14,22,-2,8,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,-1,-2,0,-10,-4,2,0,0,0,-4,0,2,0,2,0,0,0,0,1,-2,0,0,0,1,1,
0,0,0,0,0,0,0,-1,-2,1,1,0,0,0,2,0,0,0,1,0,0,0,0,-1,-1,-1,-1,1,0,0,-1,-1,0],[
140095612800,-1372800,32640,-351000,154440,-10800,1836,351,640,0,0,0,-1560,
-120,312,-24,168,24,-12,-12,0,12,-9,10,-11,0,0,0,-27,0,27,-27,0,0,0,0,0,-8,-8,
-8,0,-8,-8,0,0,7,-5,0,0,0,0,-2,-1,0,0,0,0,0,3,3,-3,0,0,0,0,0,0,0,1,1,1,1,0,0,
0,0,0,-3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,7,-5,1,0,0,0,0,0,1,-1,-1,0,0,0],[
140095612800,-1372800,32640,-351000,154440,-10800,1836,351,640,0,0,0,-1560,
-120,312,-24,168,24,-12,-12,0,12,-9,10,-11,0,0,0,-27,0,27,-27,0,0,0,0,0,-8,-8,
-8,0,-8,-8,0,0,-5,7,0,0,0,0,-2,-1,0,0,0,0,0,3,3,-3,0,0,0,0,0,0,0,1,1,1,1,0,0,
0,0,0,3,-3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-5,7,1,0,0,0,0,0,1,-1,-1,0,0,0],[
142169187069,2393469,60669,-767637,216513,0,0,0,-963,573,93,-6,-405,0,-567,
-405,81,0,0,0,0,0,0,21,0,-3,5,-3,0,0,0,0,0,0,-6,-6,-3,27,9,27,3,0,0,-3,-3,0,0,
0,0,0,0,1,0,-12,3,0,1,0,0,0,0,0,0,0,0,0,-2,2,-3,0,0,0,1,0,0,3,3,0,0,-1,0,0,0,
0,0,0,-1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,-2],[142378652416,-2306304,
-48384,711256,-103928,35392,-734,364,-1280,0,0,-84,1512,504,-72,24,360,72,-18,
18,48,6,12,0,0,0,0,0,-59,-50,-14,-59,4,4,-4,-4,0,-32,-56,16,0,-8,4,0,0,4,4,0,
0,0,0,0,0,6,-3,-3,0,0,-6,6,-3,-6,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,
1,1,0,0,0,2,-1,0,0,0,-2,-2,1,0,0,0,0,0,0,0,0,0,0,0],[145650089984,2555904,0,
-610816,-330880,19040,1544,896,0,-512,0,-216,-384,0,192,0,0,-96,-24,0,0,0,0,
21,0,0,0,0,32,5,32,32,-22,-4,4,0,3,0,0,0,16,0,0,-8,0,0,0,0,4,0,-4,1,0,9,0,0,0,
0,0,0,0,-3,0,0,0,0,-2,0,-3,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,-1,-1,-1,-1,0,0,1,0,0,
0,1,0,0,0,1,2,2,-1,-1,1,0,0,0,0,1],[150201655296,-2342912,57344,600000,
-244992,25872,1248,1392,0,0,0,-204,-320,896,256,-64,-256,-32,40,32,-16,8,-16,
14,0,0,0,0,6,-30,-12,6,-3,-3,-12,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,4,2,0,0,3,-3,0,
0,-4,-8,2,-2,-1,1,-1,-1,0,0,2,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,
0,-1,0,0,0,0,-2,-2,1,1,2,0,0,0,0,0],[151397207325,2764125,42525,0,295245,0,0,
0,-675,-315,-51,0,0,0,-243,0,-243,0,0,0,0,0,0,0,0,9,1,-3,0,0,0,0,0,0,0,0,1,0,
-27,0,0,0,0,9,-3,0,0,0,0,0,0,0,0,0,0,0,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,
0,0,0,0,0,1,0,0,0,0,0,0,0,1,1,0,0,-E(33)^5-E(33)^7-E(33)^10-E(33)^13-E(33)^14
-E(33)^19-E(33)^20-E(33)^23-E(33)^26-E(33)^28,-E(33)-E(33)^2-E(33)^4-E(33)^8
-E(33)^16-E(33)^17-E(33)^25-E(33)^29-E(33)^31-E(33)^32,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0],
[GALOIS,[86,5]],[156321775827,-85293,39123,-531441,0,0,0,1458,-621,-189,-45,
27,-729,0,0,-81,0,0,0,0,0,0,18,14,0,-5,3,3,0,0,0,0,0,0,7,3,-3,27,0,3,-9,0,0,0,
0,-6,-6,0,0,0,-4,2,0,9,0,0,-1,1,0,0,0,0,0,0,0,0,1,-1,-1,2,0,0,1,0,0,1,1,-2,-2,
0,0,0,0,0,0,0,0,0,0,1,0,0,0,-1,0,0,0,0,-1,-1,2,2,-1,0,0,0,0,1],[156321775827,
-85293,39123,1062882,0,0,0,-729,-621,-189,-45,27,1458,0,0,162,0,0,0,0,0,0,-9,
14,0,-5,3,3,0,0,0,0,0,0,7,3,-3,-54,0,-6,18,0,0,0,0,3,3,0,0,0,-4,2,0,-18,0,0,
-1,1,0,0,0,0,0,0,0,0,1,-1,2,-1,0,0,1,0,0,-2,-2,1,1,0,0,0,0,0,0,0,0,0,0,-2,0,0,
0,-1,0,0,0,0,2,2,-1,-1,2,0,0,0,0,-2],[160313753600,0,-81920,-582400,471680,
-3520,2096,728,0,0,0,0,0,-1280,0,256,-128,0,0,16,64,-32,-8,0,7,0,0,0,44,80,8,
-64,-10,-4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,-8,0,4,0,-2,0,-2,
-2,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,2,-1,-1,0,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,1,1,0,0,0],[164572397352,-577368,13608,-531441,0,0,0,-729,-216,216,72,27,
-729,0,0,-81,0,0,0,0,0,0,-9,-1,6,-8,0,0,0,0,0,0,0,0,7,3,0,27,0,3,-9,0,0,0,0,3,
3,0,0,0,-1,-1,0,9,0,0,0,0,0,0,0,0,0,0,0,0,1,-1,-1,-1,0,0,0,0,0,1,1,1,1,0,0,0,
1,0,0,0,-1,-E(29)-E(29)^4-E(29)^5-E(29)^6-E(29)^7-E(29)^9-E(29)^13-E(29)^16
-E(29)^20-E(29)^22-E(29)^23-E(29)^24-E(29)^25-E(29)^28,-E(29)^2-E(29)^3
-E(29)^8-E(29)^10-E(29)^11-E(29)^12-E(29)^14-E(29)^15-E(29)^17-E(29)^18
-E(29)^19-E(29)^21-E(29)^26-E(29)^27,1,0,0,0,-1,0,0,0,0,-1,-1,-1,-1,-1,0,0,0,
0,1],
[GALOIS,[91,2]],[169598100672,192192,52416,1120392,3564,-32886,648,0,960,448,
64,-28,1176,-126,60,72,-180,-30,-48,36,-54,-36,0,0,0,0,0,0,0,-81,0,0,0,0,-8,
-4,0,-48,-12,0,16,6,6,16,4,0,0,-2,-2,-2,0,0,0,17,-1,-1,0,1,0,0,0,3,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,1,-1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,
-1,-1,1],[178514751987,-2814669,124659,0,0,0,0,0,243,-405,99,162,0,0,0,0,0,0,
0,0,0,0,0,-9,-9,-9,-9,3,0,0,0,0,0,0,6,-6,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,3,3,0,
0,0,1,-1,0,0,0,0,0,0,0,0,0,-2,0,0,0,0,0,-1,-1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,
0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[184117100544,2555904,0,-539136,114048,
-2592,3240,0,0,512,0,-56,-384,0,192,0,0,-96,-24,0,0,0,0,-15,-8,0,0,0,0,81,0,0,
0,0,4,0,3,0,0,0,-16,0,0,8,0,0,0,0,-4,0,0,1,0,-11,-2,-2,0,1,0,0,0,-3,0,0,0,0,2,
0,-3,0,-2,-2,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,0,0,-1,0,0,0,0,1,
0,0,1,1,-1],[190685695200,114400,-92960,978900,49830,420,1068,-624,480,-160,
96,0,-2780,280,190,148,-170,-80,28,-44,-20,4,16,35,0,0,0,0,-12,-75,-3,-12,33,
-3,0,0,0,-36,30,12,20,-12,0,2,-6,0,0,0,2,0,0,-1,0,0,0,0,0,0,-11,1,4,1,1,1,1,1,
0,0,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,-3,-3,0,-1,0,0,0,0,
-1,0,0,0,0,0],[197813862400,0,0,716800,-112640,-8960,1408,-896,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,-104,40,-32,58,-14,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,-2,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,1,1,1,0,
-1,-1,0,0,0,0,0,0,0,0,0,-E(13)+2*E(13)^2-E(13)^3-E(13)^4+2*E(13)^5+2*E(13)^6
+2*E(13)^7+2*E(13)^8-E(13)^9-E(13)^10+2*E(13)^11-E(13)^12,
2*E(13)-E(13)^2+2*E(13)^3+2*E(13)^4-E(13)^5-E(13)^6-E(13)^7-E(13)^8+2*E(13)^9
+2*E(13)^10-E(13)^11+2*E(13)^12,1,1,0,0,0,0,0,0],
[GALOIS,[97,2]],[200219979960,120120,-11592,-741195,-128106,-14868,-1260,-819,
184,-56,24,35,861,0,78,21,198,24,24,0,-12,12,-3,0,0,8,0,0,63,-27,45,-18,0,0,
-5,3,0,-23,22,1,-11,4,4,-2,-6,1,1,0,-2,0,0,0,0,5,-1,2,0,0,-3,-3,3,-3,0,0,0,0,
-1,-1,0,0,0,0,0,0,0,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1,1,1,1,0,0,0,0,
0,0,0,-2*E(5)+E(5)^2+E(5)^3-2*E(5)^4,E(5)-2*E(5)^2-2*E(5)^3+E(5)^4,-1],
--> --------------------
--> maximum size reached
--> --------------------
[ Dauer der Verarbeitung: 0.22 Sekunden
(vorverarbeitet)
]
|