|
#############################################################################
##
#W ctomisc3.tbl GAP table library Thomas Breuer
##
## This file contains the ordinary character tables of miscellaneous
## CAS tables (alphabetical order, 'p1l62' to 'p2l72', and 'p3l62', 'p3l72')
##
#H ctbllib history
#H ---------------
#H $Log: ctomisc3.tbl,v $
#H Revision 4.11 2012/04/23 16:16:14 gap
#H next step of consolidation:
#H
#H - removed a few unnecessary duplicate tables,
#H and changed some related fusions, names of maxes, table constructions
#H - make sure that duplicate tables arise only via `ConstructPermuted'
#H constructions
#H - added some relative names
#H - added fusions A11.2 -> A12.2, L2(11).2 -> A12.2, D8x2F4(2)'.2 -> B,
#H L2(41) -> M, (A5xA12):2 -> A17,
#H - added maxes of A12.2, L6(2), 2.M22.2
#H - added table of QD16.2,
#H - fixed the syntax of two `ALN' calls
#H TB
#H
#H Revision 4.10 2012/01/30 08:31:58 gap
#H removed #H entries from the headers
#H TB
#H
#H Revision 4.9 2012/01/26 11:03:40 gap
#H renamed "P1L72" to "2^6:L6(2)", "P2L72" to "2^10:(L5(2)xS3)",
#H "P3L72" to "2^12:(L4(2)xL3(2))"
#H TB
#H
#H Revision 4.8 2011/09/28 14:32:22 gap
#H removed revision entry and SET_TABLEFILENAME call
#H TB
#H
#H Revision 4.7 2009/04/22 12:39:06 gap
#H added missing maxes of He.2, ON.2, HN.2, Fi24, and B
#H TB
#H
#H Revision 4.6 2002/10/22 12:44:12 gap
#H added 215 factor fusions for cases <tbl> -> <tbl> / O_{<p>}(<tbl>)
#H (they make it possible to construct <p>-modular Brauer tables
#H for tables of the type [p^n].<fact> where the <p>-modular Brauer table
#H of <fact> is in the library)
#H TB
#H
#H Revision 4.5 2002/09/18 15:22:01 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.4 2002/07/17 15:25:32 gap
#H added missing table automorphisms
#H TB
#H
#H Revision 4.3 2001/05/04 16:48:59 gap
#H first revision for ctbllib
#H
#H
#H tbl history (GAP 4)
#H -------------------
#H (Rev. 4.3 of ctbllib coincides with Rev. 4.2 of tbl in GAP 4)
#H
#H RCS file: /gap/CVS/GAP/4.0/tbl/ctomisc3.tbl,v
#H Working file: ctomisc3.tbl
#H head: 4.2
#H branch:
#H locks: strict
#H access list:
#H symbolic names:
#H GAP4R2: 4.2.0.8
#H GAP4R2PRE2: 4.2.0.6
#H GAP4R2PRE1: 4.2.0.4
#H GAP4R1: 4.2.0.2
#H keyword substitution: kv
#H total revisions: 4; selected revisions: 4
#H description:
#H ----------------------------
#H revision 4.2
#H date: 1999/07/14 11:39:40; author: gap; state: Exp; lines: +4 -3
#H cosmetic changes for the release ...
#H
#H TB
#H ----------------------------
#H revision 4.1
#H date: 1997/07/17 15:44:18; author: fceller; state: Exp; lines: +2 -2
#H for version 4
#H ----------------------------
#H revision 1.2
#H date: 1996/12/09 17:10:39; author: sam; state: Exp; lines: +55 -3
#H added missing power maps for 'P1L82'
#H ----------------------------
#H revision 1.1
#H date: 1996/10/21 16:00:29; author: sam; state: Exp;
#H first proposal of the table library
#H ==========================================================================
##
MOT("P1L62",
[
"origin: CAS library,\n",
"tests: 1.o.r., pow[2,3,5,7,31]"
],
0,
0,
0,
0,
["ConstructPermuted",["2^5:L5(2)"],(9,24,27,22,31,42,34,18,11,20,15,14,13,12,
21,17,10,25,26,28,23,32,43,35,29,37,39,44,36,30,38,40,45,41,33,19,16)(48,52)
(50,51),(2,3,4,5,6,7,13,16,15,14,17,18,19,20,21,22,23,24,25,26,27,28,35)(8,10)
(9,11)(29,49,38,43,45)(30,40,42,36,50,48,39,46,44,37,47,33,31,34)(51,52)]);
ALF("P1L62","L5(2)",[1,1,2,2,2,3,3,3,7,7,7,6,6,6,8,8,8,14,14,5,5,11,11,4,
4,10,10,10,15,15,9,9,18,18,19,19,12,12,16,16,20,13,13,17,17,21,22,27,24,
26,25,23]);
MOT("2^6:L6(2)",
[
"origin: CAS library,\n",
"constructions: AGL(6,2),",
"tests: 1.o.r., pow[2,3,5,7,31]"
],
[1290157424640,20478689280,330301440,22020096,20643840,2359296,786432,196608,
688128,98304,688128,98304,86016,16384,16384,8192,4096,6144,2048,6144,2048,
1536,1024,1024,512,256,256,128,64,64,4320,1440,720,720,288,96,48,48,967680,
64512,4608,1536,1152,1152,384,192,192,96,48,48,360,120,60,60,360,120,60,60,
360,120,60,60,9408,1344,224,224,112,56,56,42,42,9408,1344,224,224,112,56,56,
42,42,62,62,62,62,62,62,62,62,62,62,62,62,181440,45,45,63,63,63,63,63,63,63,
63,63,3528,3528,56,56,45,576,48,49],
[,[1,1,1,1,2,1,1,2,1,2,3,3,4,3,3,4,4,6,7,6,6,8,6,7,8,14,14,16,18,19,31,31,31,
32,31,31,31,32,39,39,39,39,40,39,40,41,41,42,44,45,51,51,51,52,55,55,55,56,59,
59,59,60,63,63,63,63,64,65,66,70,70,72,72,72,72,73,74,75,79,79,81,81,83,83,85,
85,87,87,89,89,91,91,93,94,95,96,97,98,99,100,101,102,103,104,105,106,105,106,
109,93,110,112],[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,1,2,3,5,6,7,9,10,1,2,3,4,5,6,8,11,12,13,20,22,51,52,53,
54,51,52,53,54,51,52,53,54,72,73,74,75,76,77,78,72,73,63,64,65,66,67,68,69,63,
64,83,84,85,86,91,92,89,90,81,82,87,88,1,51,51,106,105,93,97,97,97,96,96,96,
106,105,108,107,51,6,18,112],,[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,2,3,5,31,32,33,34,31,32,33,34,72,73,74,75,76,77,78,79,80,
63,64,65,66,67,68,69,70,71,85,86,91,92,87,88,81,82,83,84,89,90,93,93,93,97,96,
98,102,103,104,101,99,100,106,105,108,107,39,110,111,112],,[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,59,60,61,62,55,56,57,
58,1,2,3,4,5,11,13,39,40,1,2,3,4,5,11,13,39,40,87,88,89,90,81,82,85,86,91,92,
83,84,93,95,94,93,93,98,98,98,98,98,98,98,1,1,9,9,109,110,111,
1],,,,,,,,,,,,,,,,,,,,,,,,[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,72,73,74,75,76,77,78,79,80,63,
64,65,66,67,68,69,70,71,1,2,1,2,1,2,1,2,1,2,1,2,93,94,95,97,96,98,104,102,103,
100,101,99,106,105,108,107,109,110,111,112]],
[[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],[62,62,
30,30,30,14,14,14,6,6,14,14,14,6,6,6,6,2,2,6,6,6,2,2,2,2,2,2,0,0,2,2,0,0,2,2,
0,0,14,14,6,6,6,2,2,2,2,2,0,0,2,2,0,0,2,2,0,0,2,2,0,0,6,6,2,2,2,0,0,0,0,6,6,2,
2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,
-1,-1,-1,-1,-1,-1],[4185,4185,345,345,345,-39,-39,-39,-39,-39,25,25,25,-7,-7,
-7,-7,9,9,1,1,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,45,45,-3,-3,-3,-3,-3,1,1,1,1,
1,0,0,0,0,0,0,0,0,0,0,0,0,-2*E(7)-2*E(7)^2-3*E(7)^3-2*E(7)^4-3*E(7)^5-3*E(7)^6
,-2*E(7)-2*E(7)^2-3*E(7)^3-2*E(7)^4-3*E(7)^5-3*E(7)^6,2*E(7)+2*E(7)^2+E(7)^3
+2*E(7)^4+E(7)^5+E(7)^6,2*E(7)+2*E(7)^2+E(7)^3+2*E(7)^4+E(7)^5+E(7)^6,
2*E(7)+2*E(7)^2+E(7)^3+2*E(7)^4+E(7)^5+E(7)^6,-E(7)^3-E(7)^5-E(7)^6,
-E(7)^3-E(7)^5-E(7)^6,E(7)+E(7)^2+E(7)^4,E(7)+E(7)^2+E(7)^4,-3*E(7)-3*E(7)^2
-2*E(7)^3-3*E(7)^4-2*E(7)^5-2*E(7)^6,-3*E(7)-3*E(7)^2-2*E(7)^3-3*E(7)^4
-2*E(7)^5-2*E(7)^6,E(7)+E(7)^2+2*E(7)^3+E(7)^4+2*E(7)^5+2*E(7)^6,
E(7)+E(7)^2+2*E(7)^3+E(7)^4+2*E(7)^5+2*E(7)^6,E(7)+E(7)^2+2*E(7)^3+E(7)^4
+2*E(7)^5+2*E(7)^6,-E(7)-E(7)^2-E(7)^4,-E(7)-E(7)^2-E(7)^4,
E(7)^3+E(7)^5+E(7)^6,E(7)^3+E(7)^5+E(7)^6,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,9*E(7)+9*E(7)^2+9*E(7)^4,9*E(7)^3+9*E(7)^5+9*E(7)^6,
E(7)+E(7)^2+E(7)^4,E(7)^3+E(7)^5+E(7)^6,0,0,0,-1],
[GALOIS,[3,3]],[12555,12555,-405,-405,-405,27,27,27,51,51,27,27,27,-13,-13,
-13,-13,15,15,3,3,3,-1,-1,-1,-1,-1,-1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,-3,-3,1,1,1,-1,-1,0,0,-3,-3,1,1,1,-1,-1,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,18,18,2,2,0,0,0,-3],[19845,19845,
-315,-315,-315,-27,-27,-27,21,21,21,21,21,5,5,5,5,-3,-3,-3,-3,-3,-3,-3,-3,1,1,
1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,E(31)^3+E(31)^6+E(31)^12+E(31)^17+E(31)^24,
E(31)^3+E(31)^6+E(31)^12+E(31)^17+E(31)^24,E(31)^5+E(31)^9+E(31)^10+E(31)^18
+E(31)^20,E(31)^5+E(31)^9+E(31)^10+E(31)^18+E(31)^20,E(31)^15+E(31)^23
+E(31)^27+E(31)^29+E(31)^30,E(31)^15+E(31)^23+E(31)^27+E(31)^29+E(31)^30,
E(31)^11+E(31)^13+E(31)^21+E(31)^22+E(31)^26,E(31)^11+E(31)^13+E(31)^21
+E(31)^22+E(31)^26,E(31)+E(31)^2+E(31)^4+E(31)^8+E(31)^16,
E(31)+E(31)^2+E(31)^4+E(31)^8+E(31)^16,E(31)^7+E(31)^14+E(31)^19+E(31)^25
+E(31)^28,E(31)^7+E(31)^14+E(31)^19+E(31)^25+E(31)^28,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0],
[GALOIS,[6,3]],
[GALOIS,[6,5]],
[GALOIS,[6,15]],
[GALOIS,[6,7]],
[GALOIS,[6,11]],[25110,25110,630,630,630,-90,-90,-90,-66,-66,6,6,6,-2,-2,-2,
-2,-6,-6,6,6,6,2,2,2,2,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,9*E(7)+9*E(7)^2+3*E(7)^3+9*E(7)^4+3*E(7)^5+3*E(7)^6,
9*E(7)+9*E(7)^2+3*E(7)^3+9*E(7)^4+3*E(7)^5+3*E(7)^6,E(7)+E(7)^2-E(7)^3+E(7)^4
-E(7)^5-E(7)^6,E(7)+E(7)^2-E(7)^3+E(7)^4-E(7)^5-E(7)^6,E(7)+E(7)^2-E(7)^3
+E(7)^4-E(7)^5-E(7)^6,-1,-1,0,0,3*E(7)+3*E(7)^2+9*E(7)^3+3*E(7)^4+9*E(7)^5
+9*E(7)^6,3*E(7)+3*E(7)^2+9*E(7)^3+3*E(7)^4+9*E(7)^5+9*E(7)^6,
-E(7)-E(7)^2+E(7)^3-E(7)^4+E(7)^5+E(7)^6,-E(7)-E(7)^2+E(7)^3-E(7)^4+E(7)^5
+E(7)^6,-E(7)-E(7)^2+E(7)^3-E(7)^4+E(7)^5+E(7)^6,-1,-1,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-9*E(7)-9*E(7)^2-9*E(7)^4,-9*E(7)^3-9*E(7)^5
-9*E(7)^6,-E(7)-E(7)^2-E(7)^4,-E(7)^3-E(7)^5-E(7)^6,0,0,0,1],
[GALOIS,[12,3]],[29295,29295,-465,-465,-465,15,15,15,63,63,-17,-17,-17,-1,-1,
-1,-1,-9,-9,7,7,7,-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,45,45,-3,-3,-3,-3,
-3,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,7*E(7)+7*E(7)^2+7*E(7)^4,
7*E(7)+7*E(7)^2+7*E(7)^4,-E(7)-E(7)^2-E(7)^4,-E(7)-E(7)^2-E(7)^4,
-E(7)-E(7)^2-E(7)^4,-E(7)-E(7)^2-E(7)^4,-E(7)-E(7)^2-E(7)^4,E(7)+E(7)^2+E(7)^4
,E(7)+E(7)^2+E(7)^4,7*E(7)^3+7*E(7)^5+7*E(7)^6,7*E(7)^3+7*E(7)^5+7*E(7)^6,
-E(7)^3-E(7)^5-E(7)^6,-E(7)^3-E(7)^5-E(7)^6,-E(7)^3-E(7)^5-E(7)^6,
-E(7)^3-E(7)^5-E(7)^6,-E(7)^3-E(7)^5-E(7)^6,E(7)^3+E(7)^5+E(7)^6,
E(7)^3+E(7)^5+E(7)^6,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0],
[GALOIS,[14,3]],[33480,33480,-120,-120,-120,-24,-24,-24,24,24,8,8,8,-8,-8,-8,
-8,0,0,8,8,8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-45,-45,3,3,3,3,3,-1,-1,-1,-1,-1,
0,0,0,0,0,0,0,0,0,0,0,0,5*E(7)+5*E(7)^2-3*E(7)^3+5*E(7)^4-3*E(7)^5-3*E(7)^6,
5*E(7)+5*E(7)^2-3*E(7)^3+5*E(7)^4-3*E(7)^5-3*E(7)^6,-1,-1,-1,1,1,
-E(7)-E(7)^2-E(7)^4,-E(7)-E(7)^2-E(7)^4,-3*E(7)-3*E(7)^2+5*E(7)^3-3*E(7)^4
+5*E(7)^5+5*E(7)^6,-3*E(7)-3*E(7)^2+5*E(7)^3-3*E(7)^4+5*E(7)^5+5*E(7)^6,-1,
-1,-1,1,1,-E(7)^3-E(7)^5-E(7)^6,-E(7)^3-E(7)^5-E(7)^6,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,9*E(7)+9*E(7)^2+9*E(7)^4,9*E(7)^3+9*E(7)^5+9*E(7)^6,
E(7)+E(7)^2+E(7)^4,E(7)^3+E(7)^5+E(7)^6,0,0,0,-1],
[GALOIS,[16,3]],[6480,6480,720,720,720,144,144,144,48,48,48,48,48,16,16,16,16,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,-9,-9,-1,-1,-1,-1,-1,0,0,-9,-9,-1,-1,-1,-1,-1,0,0,1,1,1,1,1,1,1,1,
1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,-9,-9,-1,-1,0,0,0,-2],[588,588,140,140,140,44,
44,44,28,28,28,28,28,12,12,12,12,4,4,4,4,4,4,4,4,0,0,0,0,0,3,3,5,5,-1,-1,1,1,
21,21,5,5,5,5,5,1,1,1,1,1,-2,-2,0,0,-2,-2,0,0,-2,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,21,1,1,0,0,0,0,0,0,0,0,0,0,
0,0,0,1,5,1,0],[744,744,104,104,104,40,40,40,8,8,8,8,8,8,8,8,8,8,8,0,0,0,0,0,
0,0,0,0,0,0,9,9,-1,-1,1,1,-1,-1,-6,-6,2,2,2,-2,-2,2,2,2,0,0,-1,-1,-1,-1,-1,-1,
-1,-1,-1,-1,-1,-1,-5,-5,-1,-1,-1,1,1,1,1,-5,-5,-1,-1,-1,1,1,1,1,0,0,0,0,0,0,0,
0,0,0,0,0,-21,-1,-1,0,0,0,0,0,0,0,0,0,9,9,1,1,-1,-5,-1,2],[1240,1240,280,280,
280,56,56,56,8,8,56,56,56,8,8,8,8,0,0,8,8,8,0,0,0,0,0,0,0,0,-5,-5,-5,-5,-1,-1,
-1,-1,55,55,7,7,7,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,8,8,0,0,0,0,0,
-1,-1,8,8,0,0,0,0,0,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,-20,0,0,1,1,1,1,1,1,1,1,1,1,
1,1,1,0,-4,0,1],[651,651,139,139,139,11,11,11,-21,-21,27,27,27,-5,-5,-5,-5,-5,
-5,3,3,3,-5,-5,-5,-1,-1,-1,-1,-1,6,6,4,4,2,2,0,0,36,36,4,4,4,-4,-4,0,0,0,0,0,
1,1,-1,-1,1,1,-1,-1,1,1,-1,-1,7,7,-1,-1,-1,-1,-1,1,1,7,7,-1,-1,-1,-1,-1,1,1,0,
0,0,0,0,0,0,0,0,0,0,0,21,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,5,1,0],[9114,9114,
826,826,826,10,10,10,-14,-14,42,42,42,-14,-14,-14,-14,-10,-10,-6,-6,-6,-2,-2,
-2,-2,-2,-2,0,0,9,9,1,1,1,1,1,1,84,84,4,4,4,4,4,0,0,0,0,0,-1,-1,1,1,-1,-1,1,1,
-1,-1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-21,-1,
-1,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,-5,-1,0],[9920,9920,960,960,960,64,64,64,0,0,
64,64,64,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-10,-10,0,0,-2,-2,0,0,50,50,-6,-6,
-6,-2,-2,-2,-2,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,0,0,0,0,0,0,0,0,0,0,0,0,20,0,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,8,8,0,0,0,4,0,
1],[4557,4557,77,77,77,13,13,13,77,77,-35,-35,-35,-3,-3,-3,-3,-3,-3,-3,-3,-3,
5,5,5,1,1,1,1,1,9,9,-1,-1,1,1,-1,-1,42,42,2,2,2,-2,-2,-2,-2,-2,0,0,2,2,2,2,-1,
-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,84,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,2,4,0,0],[9114,9114,-70,-70,-70,74,74,
74,-14,-14,-70,-70,-70,2,2,2,2,6,6,2,2,2,-2,-2,-2,2,2,2,0,0,3,3,5,5,-1,-1,1,1,
63,63,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,4,4,0,0,-2,-2,0,0,-2,-2,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-84,1,1,0,0,0,0,0,0,0,0,0,0,0,0,
0,-2,-4,0,0],[13020,13020,540,540,540,60,60,60,-84,-84,-20,-20,-20,-4,-4,-4,
-4,4,4,-4,-4,-4,-4,-4,-4,0,0,0,0,0,0,0,0,0,0,0,0,0,-15,-15,9,9,9,-3,-3,1,1,1,
-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,-7,-7,1,1,1,1,1,-1,-1,-7,-7,1,1,1,1,1,-1,-1,0,0,
0,0,0,0,0,0,0,0,0,0,105,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,9,1,0],[18816,18816,
896,896,896,128,128,128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,6,6,-4,-4,
2,2,0,0,-84,-84,-4,-4,-4,-4,-4,0,0,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-84,1,1,0,0,0,0,0,
0,0,0,0,0,0,0,0,1,-4,0,0],[13671,13671,-441,-441,-441,55,55,55,-49,-49,7,7,7,
-1,-1,-1,-1,-5,-5,-1,-1,-1,3,3,3,-1,-1,-1,1,1,6,6,-6,-6,-2,-2,2,2,21,21,-3,-3,
-3,1,1,1,1,1,-1,-1,1,1,-1,-1,1,1,-1,-1,1,1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,126,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,-2,-2,0],[
27342,27342,-210,-210,-210,-34,-34,-34,-42,-42,14,14,14,6,6,6,6,2,2,-2,-2,-2,
2,2,2,-2,-2,-2,0,0,12,12,0,0,-4,-4,0,0,-21,-21,3,3,3,-1,-1,-1,-1,-1,1,1,2,2,0,
0,2,2,0,0,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
-126,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,2,2,0],[18228,18228,308,308,308,-76,
-76,-76,84,84,-28,-28,-28,4,4,4,4,4,4,-4,-4,-4,4,4,4,0,0,0,0,0,6,6,-4,-4,2,2,
0,0,63,63,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-2,-2,-2,-2,1,1,1,1,1,1,1,1,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,21,1,1,0,0,0,0,0,0,0,0,0,0,
0,0,0,-2,5,1,0],[36456,36456,1064,1064,1064,8,8,8,56,56,-56,-56,-56,-8,-8,-8,
-8,0,0,-8,-8,-8,0,0,0,0,0,0,0,0,-9,-9,-1,-1,-1,-1,-1,-1,21,21,5,5,5,5,5,1,1,1,
1,1,1,1,-1,-1,1,1,-1,-1,1,1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,-84,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,-4,0,0],[31744,31744,1024,
1024,1024,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,4,4,4,4,0,0,0,0,
-56,-56,-8,-8,-8,0,0,0,0,0,0,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,6,6,2,2,2,
0,0,0,0,6,6,2,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,64,-1,-1,1,1,1,1,1,1,1,1,1,
-8,-8,0,0,-1,0,0,-1],[41664,41664,-64,-64,-64,64,64,64,0,0,-64,-64,-64,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,-6,-6,-4,-4,-2,-2,0,0,-6,-6,2,2,2,-2,-2,2,2,2,0,0,
-1,-1,1,1,-1,-1,1,1,-1,-1,1,1,7,7,-1,-1,-1,-1,-1,1,1,7,7,-1,-1,-1,-1,-1,1,1,0,
0,0,0,0,0,0,0,0,0,0,0,84,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,4,0,0],[32768,
32768,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,8,8,0,0,0,0,0,0,
-64,-64,0,0,0,0,0,0,0,0,0,0,-2,-2,0,0,-2,-2,0,0,-2,-2,0,0,8,8,0,0,0,0,0,-1,-1,
8,8,0,0,0,0,0,-1,-1,1,1,1,1,1,1,1,1,1,1,1,1,-64,1,1,-1,-1,-1,-1,-1,-1,-1,-1,
-1,8,8,0,0,1,0,0,1],[36456,36456,-280,-280,-280,40,40,40,-56,-56,-56,-56,-56,
8,8,8,8,8,8,0,0,0,0,0,0,0,0,0,0,0,-3,-3,5,5,1,1,1,1,42,42,2,2,2,-2,-2,-2,-2,
-2,0,0,-4,-4,0,0,2,2,0,0,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,-21,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,2,-5,-1,0],[5952,5952,320,
320,320,64,64,64,64,64,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-3,-3,5,5,1,1,
1,1,-36,-36,-4,-4,-4,4,4,0,0,0,0,0,2,2,0,0,2,2,0,0,2,2,0,0,2,2,-2,-2,-2,0,0,
-1,-1,2,2,-2,-2,-2,0,0,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,84,-1,-1,0,0,0,0,0,0,0,0,
0,9,9,1,1,-1,4,0,2],[13671,13671,231,231,231,-89,-89,-89,7,7,7,7,7,7,7,7,7,7,
7,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,6,6,6,6,-2,-2,-2,-2,21,21,-3,-3,-3,1,1,1,1,
1,-1,-1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,126,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,-2,-2,0],[27342,27342,-210,
-210,-210,-34,-34,-34,-42,-42,14,14,14,6,6,6,6,2,2,-2,-2,-2,2,2,2,-2,-2,-2,0,
0,-6,-6,0,0,2,2,0,0,-21,-21,3,3,3,-1,-1,-1,-1,-1,1,1,2,2,0,0,
-2*E(15)^7-2*E(15)^11-2*E(15)^13-2*E(15)^14,-2*E(15)^7-2*E(15)^11-2*E(15)^13
-2*E(15)^14,0,0,-2*E(15)-2*E(15)^2-2*E(15)^4-2*E(15)^8,-2*E(15)-2*E(15)^2
-2*E(15)^4-2*E(15)^8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,63,E(15)^7+E(15)^11+E(15)^13+E(15)^14,E(15)+E(15)^2+E(15)^4+E(15)^8,0,
0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,-1,0],[13671,13671,231,231,231,-89,-89,-89,7,7,
7,7,7,7,7,7,7,7,7,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-3,-3,-3,-3,1,1,1,1,21,21,
-3,-3,-3,1,1,1,1,1,-1,-1,1,1,1,1,-E(15)^7-E(15)^11-E(15)^13-E(15)^14,
-E(15)^7-E(15)^11-E(15)^13-E(15)^14,-E(15)^7-E(15)^11-E(15)^13-E(15)^14,
-E(15)^7-E(15)^11-E(15)^13-E(15)^14,-E(15)-E(15)^2-E(15)^4-E(15)^8,
-E(15)-E(15)^2-E(15)^4-E(15)^8,-E(15)-E(15)^2-E(15)^4-E(15)^8,
-E(15)-E(15)^2-E(15)^4-E(15)^8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,-63,-E(15)^7-E(15)^11-E(15)^13-E(15)^14,-E(15)-E(15)^2-E(15)^4
-E(15)^8,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,0],[13671,13671,-441,-441,-441,55,
55,55,-49,-49,7,7,7,-1,-1,-1,-1,-5,-5,-1,-1,-1,3,3,3,-1,-1,-1,1,1,-3,-3,3,3,1,
1,-1,-1,21,21,-3,-3,-3,1,1,1,1,1,-1,-1,1,1,-1,-1,-E(15)^7-E(15)^11-E(15)^13
-E(15)^14,-E(15)^7-E(15)^11-E(15)^13-E(15)^14,E(15)^7+E(15)^11+E(15)^13
+E(15)^14,E(15)^7+E(15)^11+E(15)^13+E(15)^14,-E(15)-E(15)^2-E(15)^4-E(15)^8,
-E(15)-E(15)^2-E(15)^4-E(15)^8,E(15)+E(15)^2+E(15)^4+E(15)^8,
E(15)+E(15)^2+E(15)^4+E(15)^8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,-63,-E(15)^7-E(15)^11-E(15)^13-E(15)^14,-E(15)-E(15)^2-E(15)^4
-E(15)^8,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,0],
[GALOIS,[39,7]],
[GALOIS,[41,7]],
[GALOIS,[40,7]],[63,-1,31,-1,-1,15,-1,-1,7,-1,15,-1,-1,7,-1,-1,-1,3,-1,7,-1,
-1,3,-1,-1,3,-1,-1,1,-1,3,-1,1,-1,3,-1,1,-1,15,-1,7,-1,-1,3,-1,3,-1,-1,1,-1,3,
-1,1,-1,3,-1,1,-1,3,-1,1,-1,7,-1,3,-1,-1,1,-1,1,-1,7,-1,3,-1,-1,1,-1,1,-1,1,
-1,1,-1,1,-1,1,-1,1,-1,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1890,
-30,450,2,-30,114,18,-14,42,-6,98,2,-14,26,10,-6,-6,6,-2,18,2,-6,6,-2,-2,2,2,
-2,0,0,0,0,0,0,0,0,0,0,90,-6,18,2,-6,6,-2,2,2,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
14,-2,2,2,-2,0,0,-1,1,14,-2,2,2,-2,0,0,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1953,-31,449,-31,1,81,-31,1,-7,1,97,-15,
1,9,-15,1,1,-3,1,17,-7,1,-3,1,1,1,-3,1,-1,1,3,-1,-1,1,3,-1,-1,1,105,-7,17,-7,
1,-3,1,1,-3,1,-1,1,3,-1,-1,1,3,-1,-1,1,3,-1,-1,1,21,-3,1,-3,1,-1,1,0,0,21,-3,
1,-3,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0],[64512,-1024,1024,1024,-1024,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,12,-4,4,-4,0,0,0,0,-120,8,-8,-8,8,0,0,0,0,0,0,0,-3,1,-1,1,-3,1,-1,1,-3,1,
-1,1,14,-2,2,2,-2,0,0,-1,1,14,-2,2,2,-2,0,0,-1,1,1,-1,1,-1,1,-1,1,-1,1,-1,1,
-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[60480,-960,2880,832,-960,192,192,
-64,0,0,64,64,-64,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-90,6,-18,
-2,6,-6,2,-2,-2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,7,-1,3,-1,-1,1,-1,1,-1,7,-1,3,
-1,-1,1,-1,1,-1,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0],[7812,-124,964,68,-124,228,36,-28,84,-12,84,20,-28,36,4,4,-12,12,-4,
4,4,-4,4,4,-4,0,0,0,0,0,12,-4,4,-4,0,0,0,0,15,-1,7,-1,-1,3,-1,3,-1,-1,1,-1,-3,
1,-1,1,-3,1,-1,1,-3,1,-1,1,-14,2,-2,-2,2,0,0,1,-1,-14,2,-2,-2,2,0,0,1,-1,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[27342,-434,2926,
-210,14,318,-98,-2,70,-10,238,-50,14,22,-26,-10,6,-6,2,6,-10,6,2,-6,2,-2,-2,2,
0,0,-3,1,1,-1,-3,1,1,-1,210,-14,10,-6,2,6,-2,-2,-2,2,0,0,-3,1,1,-1,-3,1,1,-1,
-3,1,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[39060,-620,2260,-172,20,372,-76,-12,-28,4,
36,-28,20,20,-12,-12,4,12,-4,-4,-4,4,-4,-4,4,0,0,0,0,0,15,-5,-5,5,3,-1,-1,1,
-105,7,7,-1,-1,-9,3,3,-1,-1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,-21,3,-1,3,-1,1,-1,0,
0,-21,3,-1,3,-1,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0],[13671,-217,-217,7,7,135,-9,-9,-105,15,-105,7,7,7,-1,-1,-1,15,-5,
7,-1,-1,-9,3,3,3,-1,-1,-1,1,12,-4,-4,4,0,0,0,0,105,-7,-7,1,1,9,-3,-3,1,1,1,-1,
6,-2,-2,2,-3,1,1,-1,-3,1,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[29295,-465,2895,-209,15,
63,-81,15,-105,15,239,-33,-1,-25,-1,15,-1,3,-1,7,-1,-1,-5,7,-1,-1,3,-1,1,-1,0,
0,0,0,0,0,0,0,315,-21,3,-5,3,-9,3,-1,3,-1,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,21,-3,
-3,1,1,1,-1,0,0,21,-3,-3,1,1,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0],[9765,-155,965,101,-155,21,101,-27,-35,5,69,21,-27,
-19,21,-11,5,-15,5,-3,5,-3,-7,-3,5,-3,1,1,-1,1,15,-5,5,-5,3,-1,1,-1,120,-8,8,
8,-8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,7,-1,-1,3,-1,-1,1,1,-1,7,-1,-1,3,
-1,-1,1,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0],[17640,-280,1960,168,-280,264,136,-56,56,-8,168,40,-56,24,24,-8,-8,0,0,8,8,
-8,0,0,0,0,0,0,0,0,-15,5,-5,5,-3,1,-1,1,105,-7,1,9,-7,-3,1,-3,1,1,-1,1,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,-1,1,-1,1,-1,1,-1,1,
-1,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[31248,-496,1936,400,-496,
336,80,-48,112,-16,48,48,-48,16,16,16,-16,0,0,0,0,0,0,0,0,0,0,0,0,0,3,-1,1,-1,
3,-1,1,-1,-120,8,-8,-8,8,0,0,0,0,0,0,0,3,-1,1,-1,3,-1,1,-1,3,-1,1,-1,-7,1,-3,
1,1,-1,1,-1,1,-7,1,-3,1,1,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0],[68355,-1085,2275,-189,35,-45,131,-29,203,-29,-77,-29,
35,-21,35,-13,3,-9,3,-21,3,3,7,3,-5,-1,3,-1,1,-1,15,-5,-5,5,3,-1,-1,1,210,-14,
10,-6,2,6,-2,-2,-2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[
205065,-3255,6825,-567,105,-519,9,41,-63,9,105,-7,-7,-15,25,9,-7,21,-7,-7,1,1,
5,-7,1,1,-3,1,-1,1,0,0,0,0,0,0,0,0,315,-21,-21,3,3,3,-1,3,-1,-1,-1,1,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[109368,-1736,4984,-392,56,408,24,-40,
168,-24,56,-72,56,8,8,-24,8,0,0,-8,-8,8,0,0,0,0,0,0,0,0,-12,4,4,-4,0,0,0,0,
-105,7,-17,7,-1,3,-1,-1,3,-1,1,-1,3,-1,-1,1,3,-1,-1,1,3,-1,-1,1,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0],[29295,-465,975,431,-465,-129,111,-17,-105,15,31,15,-17,-9,-17,-17,
15,3,-1,7,-1,-1,3,-1,-1,3,-1,-1,1,-1,0,0,0,0,0,0,0,0,45,-3,-3,5,-3,-3,1,1,-3,
1,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,7*E(7)+7*E(7)^2+7*E(7)^4,-E(7)-E(7)^2-E(7)^4,
3*E(7)+3*E(7)^2+3*E(7)^4,-E(7)-E(7)^2-E(7)^4,-E(7)-E(7)^2-E(7)^4,
E(7)+E(7)^2+E(7)^4,-E(7)-E(7)^2-E(7)^4,E(7)+E(7)^2+E(7)^4,-E(7)-E(7)^2-E(7)^4,
7*E(7)^3+7*E(7)^5+7*E(7)^6,-E(7)^3-E(7)^5-E(7)^6,3*E(7)^3+3*E(7)^5+3*E(7)^6,
-E(7)^3-E(7)^5-E(7)^6,-E(7)^3-E(7)^5-E(7)^6,E(7)^3+E(7)^5+E(7)^6,
-E(7)^3-E(7)^5-E(7)^6,E(7)^3+E(7)^5+E(7)^6,-E(7)^3-E(7)^5-E(7)^6,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[61,3]],[175770,-2790,7290,-582,90,234,-246,42,-126,18,90,-6,-6,-14,
-30,18,2,-18,6,-6,10,-6,-2,6,-2,2,2,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-21,3,3,-1,-1,-1,1,0,0,-21,3,3,-1,-1,-1,1,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[234360,-3720,
3000,-328,120,216,-168,24,168,-24,-104,24,-8,-24,-24,8,8,0,0,8,8,-8,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,-315,21,-3,5,-3,9,-3,1,-3,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,
0,21,-3,-3,1,1,1,-1,0,0,21,-3,-3,1,1,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[58590,-930,2430,830,-930,78,174,-50,-42,6,
-34,62,-50,-26,-10,6,6,-6,2,-18,-2,6,-6,2,2,-2,-2,2,0,0,0,0,0,0,0,0,0,0,90,-6,
18,2,-6,6,-2,2,2,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-7,1,1,-3,1,1,-1,-1,1,-7,1,1,
-3,1,1,-1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0],[410130,-6510,3570,-462,210,-30,-126,34,-294,42,-126,34,-14,-6,42,-6,-6,6,
-2,10,-6,2,6,-2,-2,-2,-2,2,0,0,0,0,0,0,0,0,0,0,-315,21,21,-3,-3,-3,1,-3,1,1,1,
-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[124992,-1984,1856,-192,64,
192,192,-64,0,0,-64,-64,64,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,12,-4,-4,4,0,0,0,
0,-210,14,-10,6,-2,-6,2,2,2,-2,0,0,-3,1,1,-1,-3,1,1,-1,-3,1,1,-1,21,-3,1,-3,1,
-1,1,0,0,21,-3,1,-3,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0],[615195,-9765,315,-357,315,-693,123,27,147,-21,-21,27,-21,
51,-21,-5,-5,-9,3,3,-5,3,-9,3,3,-1,3,-1,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[615195,-9765,-9765,
315,315,315,-21,-21,-21,3,315,-21,-21,-21,3,3,3,3,-1,-21,3,3,3,-1,-1,3,-1,-1,
-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0],[41013,-651,21,693,-651,-123,-43,21,-35,5,21,-27,21,13,-11,-11,
5,9,-3,-3,5,-3,1,5,-3,-3,1,1,-1,1,18,-6,6,-6,-6,2,-2,2,0,0,0,0,0,0,0,0,0,0,0,
0,3,-1,1,-1,3,-1,1,-1,3,-1,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[41013,-651,21,693,
-651,-123,-43,21,-35,5,21,-27,21,13,-11,-11,5,9,-3,-3,5,-3,1,5,-3,-3,1,1,-1,1,
-9,3,-3,3,3,-1,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,3,-1,1,-1,-3*E(15)^7-3*E(15)^11
-3*E(15)^13-3*E(15)^14,E(15)^7+E(15)^11+E(15)^13+E(15)^14,-E(15)^7-E(15)^11
-E(15)^13-E(15)^14,E(15)^7+E(15)^11+E(15)^13+E(15)^14,-3*E(15)-3*E(15)^2
-3*E(15)^4-3*E(15)^8,E(15)+E(15)^2+E(15)^4+E(15)^8,-E(15)-E(15)^2-E(15)^4
-E(15)^8,E(15)+E(15)^2+E(15)^4+E(15)^8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[71,7]],[19845,-315,-315,357,-315,-27,-75,21,21,-3,21,-27,21,5,13,-3,
-3,-3,1,-3,5,-3,-3,1,1,1,-3,1,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
E(31)^3+E(31)^6+E(31)^12+E(31)^17+E(31)^24,-E(31)^3-E(31)^6-E(31)^12-E(31)^17
-E(31)^24,E(31)^5+E(31)^9+E(31)^10+E(31)^18+E(31)^20,-E(31)^5-E(31)^9
-E(31)^10-E(31)^18-E(31)^20,E(31)^15+E(31)^23+E(31)^27+E(31)^29+E(31)^30,
-E(31)^15-E(31)^23-E(31)^27-E(31)^29-E(31)^30,E(31)^11+E(31)^13+E(31)^21
+E(31)^22+E(31)^26,-E(31)^11-E(31)^13-E(31)^21-E(31)^22-E(31)^26,
E(31)+E(31)^2+E(31)^4+E(31)^8+E(31)^16,-E(31)-E(31)^2-E(31)^4-E(31)^8-E(31)^16
,E(31)^7+E(31)^14+E(31)^19+E(31)^25+E(31)^28,-E(31)^7-E(31)^14-E(31)^19
-E(31)^25-E(31)^28,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[73,3]],
[GALOIS,[73,5]],
[GALOIS,[73,15]],
[GALOIS,[73,7]],
[GALOIS,[73,11]],[136710,-2170,1190,-154,70,246,214,-74,-98,14,-266,-42,70,-2,
14,-2,-2,18,-6,-10,6,-2,-6,2,2,2,2,-2,0,0,-15,5,5,-5,-3,1,1,-1,105,-7,17,-7,1,
-3,1,1,-3,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[41013,-651,
-651,21,21,21,101,-27,-91,13,21,-27,21,5,-19,13,-3,-3,1,-3,5,-3,5,-7,1,-3,1,1,
1,-1,18,-6,-6,6,-6,2,2,-2,0,0,0,0,0,0,0,0,0,0,0,0,3,-1,-1,1,3,-1,-1,1,3,-1,-1,
1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0],[41013,-651,-651,21,21,21,101,-27,-91,13,21,-27,21,5,
-19,13,-3,-3,1,-3,5,-3,5,-7,1,-3,1,1,1,-1,-9,3,3,-3,3,-1,-1,1,0,0,0,0,0,0,0,0,
0,0,0,0,3,-1,-1,1,-3*E(15)^7-3*E(15)^11-3*E(15)^13-3*E(15)^14,E(15)^7+E(15)^11
+E(15)^13+E(15)^14,E(15)^7+E(15)^11+E(15)^13+E(15)^14,-E(15)^7-E(15)^11
-E(15)^13-E(15)^14,-3*E(15)-3*E(15)^2-3*E(15)^4-3*E(15)^8,
E(15)+E(15)^2+E(15)^4+E(15)^8,E(15)+E(15)^2+E(15)^4+E(15)^8,
-E(15)-E(15)^2-E(15)^4-E(15)^8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[81,7]],[78120,-1240,1000,1256,-1240,72,-56,8,56,-8,-120,8,8,-8,-8,24,
-8,0,0,-8,-8,8,0,0,0,0,0,0,0,0,-15,5,-5,5,-3,1,-1,1,15,-1,7,-1,-1,3,-1,3,-1,
-1,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,7,-1,-1,3,-1,-1,1,1,-1,7,-1,-1,3,-1,-1,1,1,-1,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[205065,
-3255,105,-119,105,153,-87,9,273,-39,-343,57,-7,1,-23,-7,9,-3,1,1,9,-7,5,-7,1,
1,-3,1,-1,1,0,0,0,0,0,0,0,0,315,-21,3,-5,3,-9,3,-1,3,-1,1,-1,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[205065,-3255,-3255,105,105,489,-135,-7,-231,
33,-231,41,-7,9,17,-15,1,-15,5,17,-7,1,1,5,-3,-3,1,1,1,-1,0,0,0,0,0,0,0,0,315,
-21,-21,3,3,3,-1,3,-1,-1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[
13671,-217,7,231,-217,87,-57,7,63,-9,-105,7,7,-1,-9,23,-9,3,-1,-1,-9,7,3,-1,
-1,3,-1,-1,1,-1,12,-4,4,-4,0,0,0,0,105,-7,1,9,-7,-3,1,-3,1,1,-1,1,6,-2,2,-2,
-3,1,-1,1,-3,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[54684,-868,28,924,-868,-36,-100,
28,28,-4,-84,-20,28,12,-20,12,-4,12,-4,-4,-4,4,4,4,-4,0,0,0,0,0,3,-1,1,-1,3,
-1,1,-1,105,-7,1,9,-7,-3,1,-3,1,1,-1,1,-6,2,-2,2,3,-1,1,-1,3,-1,1,-1,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0],[54684,-868,-868,28,28,156,92,-36,-196,28,-84,-20,28,12,-20,12,
-4,12,-4,4,4,-4,-4,-4,4,0,0,0,0,0,3,-1,-1,1,3,-1,-1,1,105,-7,-7,1,1,9,-3,-3,1,
1,1,-1,-6,2,2,-2,3,-1,-1,1,3,-1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[217,217,-7,-7,
-7,9,9,9,-15,-15,-7,-7,-7,1,1,1,1,5,5,1,1,1,-3,-3,-3,1,1,1,-1,-1,4,4,-4,-4,0,
0,0,0,7,7,-1,-1,-1,3,3,-1,-1,-1,1,1,2,2,-2,-2,-1,-1,1,1,-1,-1,1,1,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,19,-1,-1,-2,-2,1,1,1,1,1,1,1,
7,7,-1,-1,2,3,-1,0],[4340,4340,-140,-140,-140,52,52,52,-76,-76,-28,-28,-28,4,
4,4,4,4,4,4,4,4,-4,-4,-4,0,0,0,0,0,5,5,-5,-5,1,1,-1,-1,35,35,-5,-5,-5,7,7,-1,
-1,-1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,65,0,0,2,2,-1,-1,-1,-1,-1,-1,-1,-7,-7,1,1,0,1,1,0],[87885,
-1395,-1395,45,45,45,-3,-3,189,-27,45,-3,-3,-35,5,5,5,21,-7,21,-3,-3,-3,1,1,
-3,1,1,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
21*E(7)+21*E(7)^2+21*E(7)^4,-3*E(7)-3*E(7)^2-3*E(7)^4,-3*E(7)-3*E(7)^2
-3*E(7)^4,E(7)+E(7)^2+E(7)^4,E(7)+E(7)^2+E(7)^4,E(7)+E(7)^2+E(7)^4,
-E(7)-E(7)^2-E(7)^4,0,0,21*E(7)^3+21*E(7)^5+21*E(7)^6,-3*E(7)^3-3*E(7)^5
-3*E(7)^6,-3*E(7)^3-3*E(7)^5-3*E(7)^6,E(7)^3+E(7)^5+E(7)^6,
E(7)^3+E(7)^5+E(7)^6,E(7)^3+E(7)^5+E(7)^6,-E(7)^3-E(7)^5-E(7)^6,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[91,3]],[9765,9765,-315,-315,-315,21,21,21,-3,-3,21,21,21,-3,-3,-3,-3,
1,1,-3,-3,-3,1,1,1,1,1,1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
45,0,0,3,3,0,0,0,0,0,0,0,21,21,-3,-3,0,-3,1,0],[13888,13888,-448,-448,-448,64,
64,64,-64,-64,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,-1,-1,1,1,-1,-1,28,
28,-4,-4,-4,4,4,0,0,0,0,0,-2,-2,2,2,1,1,-1,-1,1,1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-44,1,1,-2,-2,1,1,1,1,1,1,1,7,7,-1,-1,
-2,4,0,0],[87885,-1395,45,-51,45,-99,237,-51,21,-3,-3,-51,45,-11,-3,13,-3,-15,
5,21,-3,-3,1,5,-3,1,-3,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,21*E(7)+21*E(7)^2+21*E(7)^4,-3*E(7)-3*E(7)^2-3*E(7)^4,
E(7)+E(7)^2+E(7)^4,-3*E(7)-3*E(7)^2-3*E(7)^4,E(7)+E(7)^2+E(7)^4,
-E(7)-E(7)^2-E(7)^4,E(7)+E(7)^2+E(7)^4,0,0,21*E(7)^3+21*E(7)^5+21*E(7)^6,
-3*E(7)^3-3*E(7)^5-3*E(7)^6,E(7)^3+E(7)^5+E(7)^6,-3*E(7)^3-3*E(7)^5-3*E(7)^6,
E(7)^3+E(7)^5+E(7)^6,-E(7)^3-E(7)^5-E(7)^6,E(7)^3+E(7)^5+E(7)^6,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[58590,-930,510,958,
-930,-114,-18,14,-42,6,14,-18,14,-10,6,-10,6,-6,2,14,-2,-2,2,-6,2,2,2,-2,0,0,
0,0,0,0,0,0,0,0,-45,3,3,-5,3,3,-1,-1,3,-1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,
14*E(7)+14*E(7)^2+14*E(7)^4,-2*E(7)-2*E(7)^2-2*E(7)^4,2*E(7)+2*E(7)^2+2*E(7)^4
,2*E(7)+2*E(7)^2+2*E(7)^4,-2*E(7)-2*E(7)^2-2*E(7)^4,0,0,-E(7)-E(7)^2-E(7)^4,
E(7)+E(7)^2+E(7)^4,14*E(7)^3+14*E(7)^5+14*E(7)^6,-2*E(7)^3-2*E(7)^5-2*E(7)^6,
2*E(7)^3+2*E(7)^5+2*E(7)^6,2*E(7)^3+2*E(7)^5+2*E(7)^6,-2*E(7)^3-2*E(7)^5
-2*E(7)^6,0,0,-E(7)^3-E(7)^5-E(7)^6,E(7)^3+E(7)^5+E(7)^6,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[29295,-465,-465,527,-465,15,
-129,31,63,-9,-17,-33,31,-1,23,7,-9,-9,3,7,-1,-1,-1,-5,3,-1,3,-1,-1,1,0,0,0,0,
0,0,0,0,45,-3,-3,5,-3,-3,1,1,-3,1,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,
7*E(7)+7*E(7)^2+7*E(7)^4,-E(7)-E(7)^2-E(7)^4,-E(7)-E(7)^2-E(7)^4,
3*E(7)+3*E(7)^2+3*E(7)^4,-E(7)-E(7)^2-E(7)^4,-E(7)-E(7)^2-E(7)^4,
E(7)+E(7)^2+E(7)^4,E(7)+E(7)^2+E(7)^4,-E(7)-E(7)^2-E(7)^4,7*E(7)^3+7*E(7)^5
+7*E(7)^6,-E(7)^3-E(7)^5-E(7)^6,-E(7)^3-E(7)^5-E(7)^6,3*E(7)^3+3*E(7)^5
+3*E(7)^6,-E(7)^3-E(7)^5-E(7)^6,-E(7)^3-E(7)^5-E(7)^6,E(7)^3+E(7)^5+E(7)^6,
E(7)^3+E(7)^5+E(7)^6,-E(7)^3-E(7)^5-E(7)^6,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[95,3]],
[GALOIS,[96,3]],
[GALOIS,[97,3]],[9765,9765,-315,-315,-315,21,21,21,-3,-3,21,21,21,-3,-3,-3,-3,
1,1,-3,-3,-3,1,1,1,1,1,1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
45,0,0,E(7)+E(7)^2+E(7)^4,E(7)^3+E(7)^5+E(7)^6,0,-E(63)-E(63)^4-E(63)^8
+E(63)^23-E(63)^32+E(63)^37+E(63)^44+E(63)^58,E(63)+E(63)^8+E(63)^22-E(63)^23
-E(63)^46+E(63)^50-E(63)^53-E(63)^58,E(63)^4-E(63)^22+E(63)^32-E(63)^37
-E(63)^44+E(63)^46-E(63)^50+E(63)^53,-E(63)^5-E(63)^10+E(63)^13-E(63)^17
-E(63)^40+E(63)^41+E(63)^55+E(63)^62,E(63)^10-E(63)^13+E(63)^17-E(63)^19
-E(63)^26+E(63)^31-E(63)^41+E(63)^59,E(63)^5+E(63)^19+E(63)^26-E(63)^31
+E(63)^40-E(63)^55-E(63)^59-E(63)^62,7*E(7)+7*E(7)^2+7*E(7)^4,
7*E(7)^3+7*E(7)^5+7*E(7)^6,-E(7)-E(7)^2-E(7)^4,-E(7)^3-E(7)^5-E(7)^6,0,-3,1,
0],
[GALOIS,[101,11]],
[GALOIS,[101,5]],
[GALOIS,[101,23]],
[GALOIS,[101,31]],
[GALOIS,[101,13]],[1395,1395,-45,-45,-45,3,3,3,27,27,3,3,3,-5,-5,-5,-5,7,7,3,
3,3,-1,-1,-1,-1,-1,-1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,3*E(7)+3*E(7)^2+3*E(7)^4,3*E(7)+3*E(7)^2+3*E(7)^4,
-E(7)-E(7)^2-E(7)^4,-E(7)-E(7)^2-E(7)^4,-E(7)-E(7)^2-E(7)^4,E(7)+E(7)^2+E(7)^4
,E(7)+E(7)^2+E(7)^4,0,0,3*E(7)^3+3*E(7)^5+3*E(7)^6,3*E(7)^3+3*E(7)^5+3*E(7)^6
,-E(7)^3-E(7)^5-E(7)^6,-E(7)^3-E(7)^5-E(7)^6,-E(7)^3-E(7)^5-E(7)^6,
E(7)^3+E(7)^5+E(7)^6,E(7)^3+E(7)^5+E(7)^6,0,0,0,0,0,0,0,0,0,0,0,0,0,0,45,0,0,
E(7)+E(7)^2+E(7)^4,E(7)^3+E(7)^5+E(7)^6,3,E(7)+E(7)^2+E(7)^4,
E(7)+E(7)^2+E(7)^4,E(7)+E(7)^2+E(7)^4,E(7)^3+E(7)^5+E(7)^6,
E(7)^3+E(7)^5+E(7)^6,E(7)^3+E(7)^5+E(7)^6,E(7)+E(7)^2+9*E(7)^3+E(7)^4+9*E(7)^5
+9*E(7)^6,9*E(7)+9*E(7)^2+E(7)^3+9*E(7)^4+E(7)^5+E(7)^6,-1,-1,0,-3,1,2],[
9765,9765,-315,-315,-315,21,21,21,-3,-3,21,21,21,-3,-3,-3,-3,1,1,-3,-3,-3,1,1,
1,1,1,1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-90,0,0,
-2*E(7)^3-2*E(7)^5-2*E(7)^6,-2*E(7)-2*E(7)^2-2*E(7)^4,3,E(7)^3+E(7)^5+E(7)^6,
E(7)^3+E(7)^5+E(7)^6,E(7)^3+E(7)^5+E(7)^6,E(7)+E(7)^2+E(7)^4,
E(7)+E(7)^2+E(7)^4,E(7)+E(7)^2+E(7)^4,7*E(7)^3+7*E(7)^5+7*E(7)^6,
7*E(7)+7*E(7)^2+7*E(7)^4,-E(7)^3-E(7)^5-E(7)^6,-E(7)-E(7)^2-E(7)^4,0,6,-2,0],
[GALOIS,[107,3]],[11160,11160,-360,-360,-360,24,24,24,24,24,24,24,24,-8,-8,-8,
-8,8,8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,3*E(7)+3*E(7)^2+3*E(7)^4,3*E(7)+3*E(7)^2+3*E(7)^4,
-E(7)-E(7)^2-E(7)^4,-E(7)-E(7)^2-E(7)^4,-E(7)-E(7)^2-E(7)^4,E(7)+E(7)^2+E(7)^4
,E(7)+E(7)^2+E(7)^4,0,0,3*E(7)^3+3*E(7)^5+3*E(7)^6,3*E(7)^3+3*E(7)^5+3*E(7)^6
,-E(7)^3-E(7)^5-E(7)^6,-E(7)^3-E(7)^5-E(7)^6,-E(7)^3-E(7)^5-E(7)^6,
E(7)^3+E(7)^5+E(7)^6,E(7)^3+E(7)^5+E(7)^6,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-45,0,0,
-E(7)-E(7)^2-E(7)^4,-E(7)^3-E(7)^5-E(7)^6,-3,-E(7)-E(7)^2-E(7)^4,
-E(7)-E(7)^2-E(7)^4,-E(7)-E(7)^2-E(7)^4,-E(7)^3-E(7)^5-E(7)^6,
-E(7)^3-E(7)^5-E(7)^6,-E(7)^3-E(7)^5-E(7)^6,8*E(7)+8*E(7)^2+9*E(7)^3+8*E(7)^4
+9*E(7)^5+9*E(7)^6,9*E(7)+9*E(7)^2+8*E(7)^3+9*E(7)^4+8*E(7)^5+8*E(7)^6,
E(7)^3+E(7)^5+E(7)^6,E(7)+E(7)^2+E(7)^4,0,3,-1,2],
[GALOIS,[110,3]],
[GALOIS,[108,3]]],
[(81,83,85,91,87,89)(82,84,86,92,88,90),(81,89,87,91,85,83)(82,90,88,92,86,84
),( 63, 72)( 64, 73)( 65, 74)( 66, 75)( 67, 76)( 68, 77)( 69, 78)( 70, 79)
( 71, 80)( 96, 97)( 99,102,101,104,100,103)(105,106)(107,108),(55,59)(56,60)
(57,61)(58,62)(94,95),( 55, 59)( 56, 60)( 57, 61)( 58, 62)( 94, 95)
( 99,100,101)(102,103,104),( 99,101,100)(102,104,103)]);
ALF("2^6:L6(2)","L7(2)",[1,2,2,3,5,3,4,6,4,7,5,6,8,6,7,9,10,9,11,8,10,12,
10,11,13,12,13,14,14,15,16,17,17,18,19,20,20,21,22,23,23,24,25,24,26,25,26,
27,27,28,29,30,30,31,32,33,33,34,35,36,36,37,38,39,39,40,41,41,42,43,44,45,
46,46,47,48,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],[
"fusion map is unique up to table automorphisms,\n",
"equal to the map on the CAS table"
]);
ALF("2^6:L6(2)","L6(2)",[1,1,2,2,2,3,3,3,4,4,8,8,8,9,9,9,9,10,10,11,11,11,
12,12,12,25,25,25,26,26,7,7,16,16,18,18,19,19,6,6,15,15,15,17,17,30,30,30,
31,31,13,13,28,28,36,36,47,47,37,37,48,48,22,22,34,34,34,45,45,43,43,23,23,
35,35,35,46,46,44,44,49,49,54,54,51,51,53,53,52,52,50,50,5,39,40,41,42,27,
55,57,59,58,60,56,20,21,32,33,38,14,29,24]);
ALN("2^6:L6(2)",["AGL(6,2)","P1L72"]);
MOT("P1L82",
[
"origin: CAS library,\n",
"constructions: AGL(7,2)"
],
[20972799094947840,165140150353920,1310636113920,42278584320,40957378560,
2113929216,301989888,88080384,88080384,88080384,6291456,660602880,44040192,
41287680,3145728,1048576,786432,393216,786432,262144,196608,1376256,196608,
172032,196608,196608,32768,32768,32768,16384,8192,8192,8192,4096,12288,4096,
3072,2048,2048,1024,512,512,256,128,128,241920,34560,5760,5760,2880,1440,1440,
16128,2304,384,384,192,96,96,959938560,30965760,1032192,147456,129024,36864,
36864,6144,9216,3072,2304,1536,1536,768,384,384,192,96,96,20160,2880,480,480,
240,120,120,20160,2880,480,480,240,120,120,20160,2880,480,480,240,120,120,
2257920,150528,10752,3584,2688,2688,896,448,448,224,112,112,504,168,84,84,
2257920,150528,10752,3584,2688,2688,896,448,448,224,112,112,504,168,84,84,744,
248,124,124,744,248,124,124,744,248,124,124,744,248,124,124,744,248,124,124,
744,248,124,124,362880,362880,90,90,90,90,126,126,126,126,126,126,126,126,126,
126,126,126,126,126,126,126,126,126,7056,7056,7056,7056,112,112,112,112,90,90,
1152,1152,96,96,98,98,1260,1260,93,93,93,93,93,93,105,105,105,105,105,105,84,
84,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127,127],
[,[1,1,1,1,2,1,1,2,1,1,2,3,3,4,3,3,4,4,3,4,4,6,6,8,6,6,7,6,6,7,8,9,10,11,15,
15,17,15,16,17,25,25,27,32,33,46,46,46,46,47,48,49,46,46,46,46,47,48,49,60,60,
60,60,61,60,60,61,62,62,63,62,63,63,65,65,67,71,72,79,79,79,79,80,81,82,86,86,
86,86,87,88,89,93,93,93,93,94,95,96,100,100,100,100,101,100,101,102,102,103,
105,106,112,112,112,113,116,116,116,116,117,116,117,118,118,119,121,122,128,
128,128,129,132,132,132,133,136,136,136,137,140,140,140,141,144,144,144,145,
148,148,148,149,152,152,152,153,156,156,158,158,160,160,162,162,164,164,166,
166,168,168,170,170,172,172,174,174,176,176,178,178,180,180,182,182,180,180,
182,182,188,188,156,156,190,190,194,194,196,197,198,199,200,201,202,203,204,
205,206,207,208,209,196,197,212,213,214,215,216,217,218,219,220,221,222,223,
224,225,226,227,228,229],[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,1,
2,3,4,5,12,14,6,7,9,10,11,19,21,1,2,3,4,5,6,7,8,12,13,14,15,17,18,22,23,24,35,
37,79,80,81,82,83,84,85,79,80,81,82,83,84,85,79,80,81,82,83,84,85,116,117,118,
119,120,121,122,123,124,125,126,127,116,117,118,120,100,101,102,103,104,105,
106,107,108,109,110,111,100,101,102,104,136,137,138,139,140,141,142,143,152,
153,154,155,148,149,150,151,132,133,134,135,144,145,146,147,1,2,79,80,79,80,
182,183,180,181,156,157,164,165,164,165,164,165,162,163,162,163,162,163,182,
183,180,181,186,187,184,185,79,80,6,7,25,26,194,195,116,100,136,140,152,148,
132,144,205,204,205,205,204,204,121,105,213,216,219,221,223,214,224,226,222,
228,217,218,227,229,212,215,225,220],,[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,
43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,
69,70,71,72,73,74,75,76,77,78,1,2,3,4,5,12,14,46,47,48,49,50,51,52,46,47,48,
49,50,51,52,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,
100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,140,141,142,
143,152,153,154,155,144,145,146,147,132,133,134,135,136,137,138,139,148,149,
150,151,156,157,156,157,156,157,164,165,162,163,166,167,174,175,176,177,178,
179,172,173,168,169,170,171,182,183,180,181,186,187,184,185,60,61,190,191,192,
193,194,195,197,196,200,203,201,198,199,202,116,100,197,197,196,196,211,210,
214,219,220,218,226,229,213,222,228,224,225,212,216,215,217,223,227,221],,[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,93,94,95,96,97,98,99,86,87,88,89,90,91,92,1,2,3,4,5,6,8,12,13,14,
22,24,60,61,62,64,1,2,3,4,5,6,8,12,13,14,22,24,60,61,62,64,144,145,146,147,
148,149,150,151,132,133,134,135,140,141,142,143,152,153,154,155,136,137,138,
139,156,157,160,161,158,159,156,157,156,157,166,167,166,167,166,167,166,167,
166,167,166,167,166,167,1,2,1,2,9,10,9,10,188,189,190,191,192,193,1,2,46,46,
201,202,198,200,203,199,79,79,93,86,93,86,53,53,215,221,218,217,228,223,229,
224,213,214,216,225,220,226,227,222,219,212],,,,,,,,,,,,,,,,,,,,,,,,[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,116,117,118,119,120,121,122,
123,124,125,126,127,128,129,130,131,100,101,102,103,104,105,106,107,108,109,
110,111,112,113,114,115,1,2,3,5,1,2,3,5,1,2,3,5,1,2,3,5,1,2,3,5,1,2,3,5,156,
157,158,159,160,161,164,165,162,163,166,167,178,179,174,175,176,177,170,171,
172,173,168,169,182,183,180,181,186,187,184,185,188,189,190,191,192,193,194,
195,197,196,60,60,60,60,60,60,205,204,208,209,206,207,211,210,225,229,215,226,
220,227,217,221,218,212,224,222,214,216,228,219,213,
223],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
,,,,,,,,,,,,,,,,,,,,,,[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,93,94,95,96,97,98,99,86,87,88,89,90,91,92,
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,136,137,138,139,140,141,
142,143,152,153,154,155,148,149,150,151,132,133,134,135,144,145,146,147,156,
157,160,161,158,159,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,199,200,203,202,198,201,204,205,207,206,209,208,210,211,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1]],
[[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],[126,
126,62,62,62,30,30,30,14,14,14,30,30,30,14,14,14,14,6,6,6,14,14,14,6,6,6,6,6,
6,6,2,2,2,6,6,6,2,2,2,2,2,2,0,0,6,6,2,2,2,0,0,6,6,2,2,2,0,0,30,30,14,14,14,6,
6,6,6,6,6,2,2,2,2,2,2,0,0,6,6,2,2,2,0,0,6,6,2,2,2,0,0,6,6,2,2,2,0,0,14,14,6,6,
6,2,2,2,2,2,0,0,2,2,0,0,14,14,6,6,6,2,2,2,2,2,0,0,2,2,0,0,2,2,0,0,2,2,0,0,2,2,
0,0,2,2,0,0,2,2,0,0,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,
-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1],[2540,2540,620,620,620,
172,172,172,76,76,76,140,140,140,44,44,44,44,28,28,28,28,28,28,12,12,12,12,12,
12,12,4,4,4,4,4,4,4,4,4,0,0,0,0,0,5,5,5,5,5,5,5,1,1,1,1,1,1,1,125,125,29,29,
29,13,13,13,5,5,5,5,5,5,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
20,20,4,4,4,4,4,0,0,0,0,0,-1,-1,1,1,20,20,4,4,4,4,4,0,0,0,0,0,-1,-1,1,1,-2,-2,
0,0,-2,-2,0,0,-2,-2,0,0,-2,-2,0,0,-2,-2,0,0,-2,-2,0,0,20,20,0,0,0,0,-1,-1,-1,
-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,0,0,4,4,
0,0,-1,-1,5,5,1,1,1,1,1,1,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0],[2667,2667,619,619,619,107,107,107,-21,-21,-21,139,139,139,11,11,11,11,-21,
-21,-21,27,27,27,-5,-5,-5,-5,-5,-5,-5,-5,-5,-5,3,3,3,-5,-5,-5,-1,-1,-1,-1,-1,
12,12,4,4,4,4,4,8,8,0,0,0,0,0,156,156,28,28,28,-4,-4,-4,4,4,4,-4,-4,-4,0,0,0,
0,0,7,7,-1,-1,-1,-1,-1,7,7,-1,-1,-1,-1,-1,7,7,-1,-1,-1,-1,-1,35,35,3,3,3,-5,
-5,-1,-1,-1,-1,-1,2,2,0,0,35,35,3,3,3,-5,-5,-1,-1,-1,-1,-1,2,2,0,0,1,1,-1,-1,
1,1,-1,-1,1,1,-1,-1,1,1,-1,-1,1,1,-1,-1,1,1,-1,-1,21,21,1,1,1,1,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,5,5,1,1,0,0,5,5,1,1,1,1,1,1,0,0,0,0,
0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[5208,5208,1240,1240,1240,280,
280,280,56,56,56,280,280,280,56,56,56,56,8,8,8,56,56,56,8,8,8,8,8,8,8,0,0,0,8,
8,8,0,0,0,0,0,0,0,0,3,3,-5,-5,-5,-5,-5,7,7,-1,-1,-1,-1,-1,279,279,55,55,55,7,
7,7,7,7,7,-1,-1,-1,-1,-1,-1,-1,-1,8,8,0,0,0,0,0,8,8,0,0,0,0,0,8,8,0,0,0,0,0,
56,56,8,8,8,0,0,0,0,0,0,0,-1,-1,-1,-1,56,56,8,8,8,0,0,0,0,0,0,0,-1,-1,-1,-1,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-21,-21,-1,-1,-1,-1,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,-5,-5,-1,-1,0,0,-4,-4,0,0,0,0,0,
0,1,1,1,1,1,1,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],[9144,9144,1208,1208,
1208,312,312,312,120,120,120,120,120,120,56,56,56,56,24,24,24,8,8,8,24,24,24,
8,8,8,8,8,8,8,0,0,0,0,0,0,0,0,0,0,0,24,24,8,8,8,0,0,0,0,0,0,0,0,0,30,30,14,14,
14,6,6,6,6,6,6,2,2,2,2,2,2,0,0,-6,-6,-2,-2,-2,0,0,-6,-6,-2,-2,-2,0,0,-6,-6,-2,
-2,-2,0,0,-19,-19,-3,-3,-3,-3,-3,1,1,1,1,1,2,2,0,0,-19,-19,-3,-3,-3,-3,-3,1,1,
1,1,1,2,2,0,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,
-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,9,9,9,9,1,1,1,1,0,0,
0,0,0,0,2,2,-4,-4,-1,-1,-1,-1,-1,-1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0],[27559,27559,-217,-217,-217,231,231,231,-57,-57,-57,-217,-217,-217,
7,7,7,7,-9,-9,-9,7,7,7,23,23,23,-9,-9,-9,-9,-1,-1,-1,7,7,7,-1,-1,-1,-1,-1,-1,
-1,-1,28,28,-4,-4,-4,-4,-4,0,0,0,0,0,0,0,217,217,-7,-7,-7,9,9,9,-7,-7,-7,1,1,
1,1,1,1,1,1,14,14,-2,-2,-2,-2,-2,-7,-7,1,1,1,1,1,-7,-7,1,1,1,1,1,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,19,19,-1,-1,-1,-1,-2,-2,-2,-2,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,7,7,7,7,-1,-1,-1,-1,2,2,3,3,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[62992,62992,7440,7440,7440,1168,1168,1168,336,
336,336,720,720,720,144,144,144,144,48,48,48,48,48,48,16,16,16,16,16,16,16,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,-8,-8,0,0,0,0,0,-8,-8,0,0,0,0,0,496,496,48,48,48,16,
16,16,0,0,0,0,0,0,0,0,0,0,0,-8,-8,0,0,0,0,0,-8,-8,0,0,0,0,0,-8,-8,0,0,0,0,0,
-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,
-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-8,-8,-8,-8,0,0,0,0,1,1,1,1,1,1,-1,-1,-1,
-1,0,0,0,0,0,0,-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[
80010,80010,8650,8650,8650,618,618,618,-70,-70,-70,810,810,810,-6,-6,-6,-6,
-30,-30,-30,42,42,42,-30,-30,-30,-14,-14,-14,-14,-10,-10,-10,-6,-6,-6,-2,-2,
-2,-2,-2,-2,0,0,30,30,10,10,10,0,0,6,6,2,2,2,0,0,960,960,64,64,64,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,70,70,-2,-2,-2,2,2,
-2,-2,-2,0,0,1,1,1,1,70,70,-2,-2,-2,2,2,-2,-2,-2,0,0,1,1,1,1,-1,-1,1,1,-1,-1,
1,1,-1,-1,1,1,-1,-1,1,1,-1,-1,1,1,-1,-1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-5,-5,-1,-1,-1,-1,-1,-1,0,0,0,0,
0,0,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[82677,82677,3317,3317,3317,
-11,-11,-11,245,245,245,-43,-43,-43,-43,-43,-43,-43,53,53,53,-27,-27,-27,-27,
-27,-27,5,5,5,5,5,5,5,-3,-3,-3,5,5,5,1,1,1,1,1,39,39,-1,-1,-1,-1,-1,7,7,-1,-1,
-1,-1,-1,372,372,20,20,20,4,4,4,-4,-4,-4,-4,-4,-4,0,0,0,0,0,2,2,2,2,2,2,2,-1,
-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,7,7,-1,-1,-1,3,3,-1,-1,-1,1,1,1,1,-1,
-1,7,7,-1,-1,-1,3,3,-1,-1,-1,1,1,1,1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,84,84,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,2,2,4,4,0,0,0,0,4,4,0,0,0,0,0,0,2,2,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0],[85344,85344,5984,5984,5984,1120,1120,1120,224,224,224,224,
224,224,96,96,96,96,32,32,32,0,0,0,32,32,32,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,39,39,-1,-1,-1,-1,-1,7,7,-1,-1,-1,-1,-1,-216,-216,8,8,8,-8,-8,-8,8,8,8,0,0,
0,0,0,0,0,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,
-56,-56,-8,-8,-8,0,0,0,0,0,0,0,1,1,1,1,-56,-56,-8,-8,-8,0,0,0,0,0,0,0,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-21,-21,-1,-1,-1,-1,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,-5,-5,-1,-1,0,0,4,4,1,1,1,1,1,
1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[89280,89280,
9920,9920,9920,960,960,960,64,64,64,960,960,960,64,64,64,64,0,0,0,64,64,64,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-30,-30,-10,-10,-10,0,0,-6,-6,-2,-2,
-2,0,0,930,930,50,50,50,-6,-6,-6,-6,-6,-6,-2,-2,-2,-2,-2,-2,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,65,65,1,1,1,1,1,1,1,1,1,1,-1,-1,1,1,65,65,1,1,1,1,
1,1,1,1,1,1,-1,-1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,9,9,9,9,1,1,1,1,0,0,0,0,0,0,2,2,5,5,0,
0,0,0,0,0,0,0,0,0,0,0,1,1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,
-1],[170688,170688,9920,9920,9920,1216,1216,1216,448,448,448,320,320,320,64,
64,64,64,64,64,64,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-27,-27,5,5,
5,5,5,1,1,1,1,1,1,1,-156,-156,-28,-28,-28,4,4,4,-4,-4,-4,4,4,4,0,0,0,0,0,8,8,
0,0,0,0,0,8,8,0,0,0,0,0,8,8,0,0,0,0,0,-14,-14,-6,-6,-6,-2,-2,-2,-2,-2,0,0,-2,
-2,0,0,-14,-14,-6,-6,-6,-2,-2,-2,-2,-2,0,0,-2,-2,0,0,2,2,0,0,2,2,0,0,2,2,0,0,
2,2,0,0,2,2,0,0,2,2,0,0,84,84,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,-1,-1,4,4,0,0,0,0,1,1,-1,-1,-1,-1,-1,-1,1,1,1,1,1,1,1,1,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[248031,248031,9951,9951,9951,-545,-545,-545,
-161,-161,-161,351,351,351,-33,-33,-33,-33,31,31,31,-1,-1,-1,31,31,31,-1,-1,
-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,6,6,6,6,6,6,6,-2,-2,-2,-2,-2,
-2,-2,651,651,-21,-21,-21,-5,-5,-5,3,3,3,3,3,3,-1,-1,-1,-1,-1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,21,21,-3,-3,-3,1,1,1,1,1,-1,-1,0,0,0,0,21,21,-3,-3,
-3,1,1,1,1,1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
126,126,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,-2,-2,
-2,-2,0,0,6,6,0,0,0,0,0,0,1,1,1,1,1,1,-2,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0],[330708,330708,17236,17236,17236,1300,1300,1300,-140,-140,-140,436,436,436,
20,20,20,20,-92,-92,-92,-28,-28,-28,-12,-12,-12,-12,-12,-12,-12,-4,-4,-4,-4,
-4,-4,-4,-4,-4,0,0,0,0,0,33,33,1,1,1,1,1,1,1,1,1,1,1,1,279,279,55,55,55,7,7,7,
7,7,7,-1,-1,-1,-1,-1,-1,-1,-1,-7,-7,1,1,1,1,1,-7,-7,1,1,1,1,1,-7,-7,1,1,1,1,1,
-70,-70,2,2,2,-2,-2,2,2,2,0,0,-1,-1,-1,-1,-70,-70,2,2,2,-2,-2,2,2,2,0,0,-1,-1,
-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,84,84,-1,-1,-1,-1,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,4,4,0,0,0,0,5,5,0,0,0,0,0,
0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[330708,330708,13268,
13268,13268,-556,-556,-556,84,84,84,308,308,308,-76,-76,-76,-76,84,84,84,-28,
-28,-28,4,4,4,4,4,4,4,4,4,4,-4,-4,-4,4,4,4,0,0,0,0,0,36,36,-4,-4,-4,-4,-4,8,8,
0,0,0,0,0,1023,1023,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-2,-2,
-2,-2,-2,-2,-2,1,1,1,1,1,1,1,1,1,1,1,1,1,1,28,28,-4,-4,-4,4,4,0,0,0,0,0,1,1,
-1,-1,28,28,-4,-4,-4,4,4,0,0,0,0,0,1,1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,21,21,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,-2,-2,5,5,1,1,0,0,1,1,0,0,0,0,0,0,-2,-2,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0],[496062,496062,6014,6014,6014,606,606,606,462,462,462,-930,
-930,-930,-50,-50,-50,-50,6,6,6,-50,-50,-50,6,6,6,6,6,6,6,2,2,2,6,6,6,2,2,2,2,
2,2,0,0,24,24,8,8,8,0,0,0,0,0,0,0,0,0,930,930,50,50,50,-6,-6,-6,-6,-6,-6,-2,
-2,-2,-2,-2,-2,0,0,12,12,4,4,4,0,0,-6,-6,-2,-2,-2,0,0,-6,-6,-2,-2,-2,0,0,-7,
-7,1,1,1,-3,-3,1,1,1,-1,-1,-1,-1,1,1,-7,-7,1,1,1,-3,-3,1,1,1,-1,-1,-1,-1,1,1,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-4,-4,0,0,0,0,0,0,-2,-2,1,1,
1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[503936,503936,27776,27776,27776,
2688,2688,2688,384,384,384,896,896,896,128,128,128,128,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-4,-4,-4,-4,-4,-4,-4,0,0,0,0,0,0,0,-124,-124,
-28,-28,-28,-12,-12,-12,-4,-4,-4,-4,-4,-4,0,0,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,-64,-64,0,0,0,0,0,0,0,0,0,0,2,2,0,0,-64,-64,0,0,0,0,0,0,0,0,0,
0,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-64,-64,1,1,1,1,-1,
-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,1,
1,0,0,0,0,-1,-1,-4,-4,0,0,0,0,0,0,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0],[551180,551180,-4340,-4340,-4340,1036,1036,1036,-244,-244,-244,-980,
-980,-980,44,44,44,44,-52,-52,-52,28,28,28,28,28,28,-4,-4,-4,-4,-4,-4,-4,4,4,
4,-4,-4,-4,0,0,0,0,0,35,35,-5,-5,-5,-5,-5,7,7,-1,-1,-1,-1,-1,1085,1085,-35,
-35,-35,13,13,13,-11,-11,-11,5,5,5,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,65,65,0,0,0,0,2,2,2,2,-1,-1,-1,-1,
-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-7,-7,-7,-7,1,1,1,1,0,0,1,1,1,1,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[585216,585216,15872,
15872,15872,1536,1536,1536,512,512,512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,6,6,2,2,2,0,0,6,6,2,2,2,0,0,-960,-960,-64,-64,
-64,0,0,0,0,0,0,0,0,0,0,0,0,0,0,6,6,2,2,2,0,0,6,6,2,2,2,0,0,6,6,2,2,2,0,0,44,
44,-4,-4,-4,-4,-4,0,0,0,0,0,-1,-1,-1,-1,44,44,-4,-4,-4,-4,-4,0,0,0,0,0,-1,-1,
-1,-1,-2,-2,0,0,-2,-2,0,0,-2,-2,0,0,-2,-2,0,0,-2,-2,0,0,-2,-2,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,9,9,9,9,1,1,1,1,0,0,0,0,0,0,2,2,-1,-1,1,1,
1,1,1,1,-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[661416,
661416,-1240,-1240,-1240,1256,1256,1256,-56,-56,-56,-1240,-1240,-1240,8,8,8,8,
-8,-8,-8,8,8,8,24,24,24,-8,-8,-8,-8,0,0,0,8,8,8,0,0,0,0,0,0,0,0,-3,-3,5,5,5,5,
5,-7,-7,1,1,1,1,1,1023,1023,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,
-1,16,16,0,0,0,0,0,-8,-8,0,0,0,0,0,-8,-8,0,0,0,0,0,7,7,-1,-1,-1,3,3,-1,-1,-1,
1,1,1,1,-1,-1,7,7,-1,-1,-1,3,3,-1,-1,-1,1,1,1,1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,-84,-84,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,-2,-2,-4,-4,0,0,0,0,4,4,0,0,0,0,0,0,2,2,-1,-1,-1,-1,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0],[666624,666624,31744,31744,31744,1024,1024,1024,
0,0,0,1024,1024,1024,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,-36,-36,4,4,4,4,4,-8,-8,0,0,0,0,0,744,744,-56,-56,-56,-8,-8,-8,-8,-8,-8,
0,0,0,0,0,0,0,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,
-1,14,14,6,6,6,2,2,2,2,2,0,0,2,2,0,0,14,14,6,6,6,2,2,2,2,2,0,0,2,2,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,84,84,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,4,4,0,0,0,0,-1,-1,0,0,0,0,0,0,-1,-1,
-1,-1,-1,-1,-1,-1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],[746760,746760,34440,
34440,34440,840,840,840,168,168,168,840,840,840,-88,-88,-88,-88,24,24,24,-56,
-56,-56,-40,-40,-40,-8,-8,-8,-8,0,0,0,-8,-8,-8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,1365,1365,21,21,21,21,21,21,-3,-3,-3,5,5,5,1,1,1,1,1,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,1,1,-1,-1,1,1,-1,-1,1,1,-1,-1,1,1,-1,-1,1,1,-1,-1,1,1,-1,-1,
-105,-105,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-9,
-9,-1,-1,0,0,0,0,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0],[1240155,1240155,-9765,-9765,-9765,-357,-357,-357,123,123,123,315,315,
315,27,27,27,27,-21,-21,-21,-21,-21,-21,-5,-5,-5,-5,-5,-5,-5,3,3,3,3,3,3,3,3,
3,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,45,45,0,0,0,0,3,3,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,21,21,21,21,-3,-3,-3,-3,
0,0,-3,-3,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0],[1300480,1300480,30720,30720,30720,2048,2048,2048,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,40,40,0,0,0,0,0,8,8,0,
0,0,0,0,-1520,-1520,-48,-48,-48,-16,-16,-16,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,20,20,4,4,4,4,4,0,0,0,0,0,-1,-1,1,1,20,20,4,4,4,
4,4,0,0,0,0,0,-1,-1,1,1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,
-1,-1,-1,-1,-1,-1,-20,-20,0,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-8,-8,
-8,-8,0,0,0,0,0,0,-4,-4,0,0,-1,-1,5,5,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,1,1,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1322832,1322832,29264,29264,29264,2000,2000,
2000,-112,-112,-112,-496,-496,-496,-48,-48,-48,-48,-16,-16,-16,-48,-48,-48,16,
16,16,-16,-16,-16,-16,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-33,-33,-1,-1,-1,-1,-1,-1,
-1,-1,-1,-1,-1,-1,-744,-744,56,56,56,8,8,8,8,8,8,0,0,0,0,0,0,0,0,7,7,-1,-1,-1,
-1,-1,7,7,-1,-1,-1,-1,-1,7,7,-1,-1,-1,-1,-1,-35,-35,-3,-3,-3,5,5,1,1,1,1,1,-2,
-2,0,0,-35,-35,-3,-3,-3,5,5,1,1,1,1,1,-2,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,21,21,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,1,1,5,5,1,1,0,0,-5,-5,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0],[1488186,1488186,18042,18042,18042,-1254,-1254,-1254,-406,
-406,-406,90,90,90,42,42,42,42,18,18,18,-6,-6,-6,18,18,18,2,2,2,2,6,6,6,-6,-6,
-6,-2,-2,-2,-2,-2,-2,0,0,36,36,12,12,12,0,0,-12,-12,-4,-4,-4,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,6,6,2,2,2,0,0,6,6,2,2,2,0,0,6,6,2,2,2,0,0,-21,-21,3,
3,3,-1,-1,-1,-1,-1,1,1,0,0,0,0,-21,-21,3,3,3,-1,-1,-1,-1,-1,1,1,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-6,-6,0,0,0,0,0,0,-1,-1,-1,-1,-1,
-1,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1594485,1594485,-12555,-12555,
-12555,-459,-459,-459,597,597,597,405,405,405,-75,-75,-75,-75,-27,-27,-27,69,
69,69,21,21,21,-11,-11,-11,-11,13,13,13,-3,-3,-3,-3,-3,-3,1,1,1,1,1,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,-45,-45,3,3,3,3,3,-1,-1,-1,-1,-1,0,0,0,0,-45,-45,3,3,3,3,
3,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,18,18,18,18,2,2,2,2,0,0,0,0,0,0,
-3,-3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[
1736217,1736217,-13671,-13671,-13671,217,217,217,-7,-7,-7,-231,-231,-231,57,
57,57,57,-55,-55,-55,-7,-7,-7,-23,-23,-23,9,9,9,9,1,1,1,-7,-7,-7,1,1,1,1,1,1,
1,1,42,42,-6,-6,-6,-6,-6,-14,-14,2,2,2,2,2,651,651,-21,-21,-21,-5,-5,-5,3,3,3,
3,3,3,-1,-1,-1,-1,-1,7,7,-1,-1,-1,-1,-1,7,7,-1,-1,-1,-1,-1,7,7,-1,-1,-1,-1,-1,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,126,126,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,1,1,-2,-2,-2,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1736217,1736217,-13671,-13671,-13671,217,
217,217,-7,-7,-7,-231,-231,-231,57,57,57,57,-55,-55,-55,-7,-7,-7,-23,-23,-23,
9,9,9,9,1,1,1,-7,-7,-7,1,1,1,1,1,1,1,1,-21,-21,3,3,3,3,3,7,7,-1,-1,-1,-1,-1,
651,651,-21,-21,-21,-5,-5,-5,3,3,3,3,3,3,-1,-1,-1,-1,-1,7,7,-1,-1,-1,-1,-1,
-7*E(15)^7-7*E(15)^11-7*E(15)^13-7*E(15)^14,-7*E(15)^7-7*E(15)^11-7*E(15)^13
-7*E(15)^14,E(15)^7+E(15)^11+E(15)^13+E(15)^14,E(15)^7+E(15)^11+E(15)^13
+E(15)^14,E(15)^7+E(15)^11+E(15)^13+E(15)^14,E(15)^7+E(15)^11+E(15)^13
+E(15)^14,E(15)^7+E(15)^11+E(15)^13+E(15)^14,-7*E(15)-7*E(15)^2-7*E(15)^4
-7*E(15)^8,-7*E(15)-7*E(15)^2-7*E(15)^4-7*E(15)^8,E(15)+E(15)^2+E(15)^4
+E(15)^8,E(15)+E(15)^2+E(15)^4+E(15)^8,E(15)+E(15)^2+E(15)^4+E(15)^8,
E(15)+E(15)^2+E(15)^4+E(15)^8,E(15)+E(15)^2+E(15)^4+E(15)^8,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,-63,-63,-E(15)^7-E(15)^11-E(15)^13-E(15)^14,-E(15)^7-E(15)^11
-E(15)^13-E(15)^14,-E(15)-E(15)^2-E(15)^4-E(15)^8,-E(15)-E(15)^2-E(15)^4
-E(15)^8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[30,7]],[1763776,1763776,-13888,-13888,-13888,448,448,448,-64,-64,-64,
-448,-448,-448,64,64,64,64,-64,-64,-64,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,7,7,-1,-1,-1,-1,-1,7,7,-1,-1,-1,-1,-1,868,868,-28,-28,-28,4,4,4,-4,
-4,-4,4,4,4,0,0,0,0,0,-14,-14,2,2,2,2,2,7,7,-1,-1,-1,-1,-1,7,7,-1,-1,-1,-1,-1,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-44,-44,1,1,1,1,-2,-2,-2,-2,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,7,7,7,7,-1,-1,-1,-1,-2,-2,4,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1984248,1984248,24056,24056,24056,
-648,-648,-648,56,56,56,-840,-840,-840,-8,-8,-8,-8,24,24,24,-56,-56,-56,24,24,
24,8,8,8,8,8,8,8,0,0,0,0,0,0,0,0,0,0,0,6,6,2,2,2,0,0,6,6,2,2,2,0,0,930,930,50,
50,50,-6,-6,-6,-6,-6,-6,-2,-2,-2,-2,-2,-2,0,0,-12,-12,-4,-4,-4,0,0,6,6,2,2,2,
0,0,6,6,2,2,2,0,0,-28,-28,4,4,4,-4,-4,0,0,0,0,0,-1,-1,1,1,-28,-28,4,4,4,-4,-4,
0,0,0,0,0,-1,-1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,0,
0,0,0,0,0,2,2,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1984248,
1984248,-3720,-3720,-3720,-328,-328,-328,-168,-168,-168,120,120,120,24,24,24,
24,-24,-24,-24,-8,-8,-8,8,8,8,8,8,8,8,0,0,0,-8,-8,-8,0,0,0,0,0,0,0,0,48,48,0,
0,0,0,0,-16,-16,0,0,0,0,0,-651,-651,21,21,21,5,5,5,-3,-3,-3,-3,-3,-3,1,1,1,1,
1,8,8,0,0,0,0,0,8,8,0,0,0,0,0,8,8,0,0,0,0,0,21,21,-3,-3,-3,1,1,1,1,1,-1,-1,0,
0,0,0,21,21,-3,-3,-3,1,1,1,1,1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,-126,-126,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,-1,-1,2,2,2,2,0,0,6,6,0,0,0,0,0,0,1,1,1,1,1,1,-2,-2,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0],[2064384,2064384,32768,32768,32768,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,24,24,8,8,8,0,0,0,
0,0,0,0,0,0,-960,-960,-64,-64,-64,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-6,-6,-2,-2,-2,
0,0,-6,-6,-2,-2,-2,0,0,-6,-6,-2,-2,-2,0,0,56,56,8,8,8,0,0,0,0,0,0,0,-1,-1,-1,
-1,56,56,8,8,8,0,0,0,0,0,0,0,-1,-1,-1,-1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,-4,-4,1,1,1,1,1,1,1,1,1,1,1,1,0,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,
-1,-1,-1,-1,-1,-1,-1,-1],[2097152,2097152,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,32,32,0,0,0,0,0,0,0,0,0,0,0,
0,-1024,-1024,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-8,-8,0,0,0,0,0,-8,-8,0,0,0,0,
0,-8,-8,0,0,0,0,0,64,64,0,0,0,0,0,0,0,0,0,0,-2,-2,0,0,64,64,0,0,0,0,0,0,0,0,0,
0,-2,-2,0,0,2,2,0,0,2,2,0,0,2,2,0,0,2,2,0,0,2,2,0,0,2,2,0,0,-64,-64,1,1,1,1,
-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,8,8,8,8,0,0,0,0,1,1,0,0,
0,0,1,1,4,4,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1],[2560320,2560320,38720,38720,38720,576,576,576,448,448,448,-960,
-960,-960,-64,-64,-64,-64,0,0,0,-64,-64,-64,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,-30,-30,-10,-10,-10,0,0,-6,-6,-2,-2,-2,0,0,30,30,14,14,14,6,6,6,6,6,6,
2,2,2,2,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,35,35,3,3,3,-5,-5,
-1,-1,-1,-1,-1,2,2,0,0,35,35,3,3,3,-5,-5,-1,-1,-1,-1,-1,2,2,0,0,-1,-1,1,1,-1,
-1,1,1,-1,-1,1,1,-1,-1,1,1,-1,-1,1,1,-1,-1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,5,5,-1,-1,-1,-1,-1,-1,0,0,0,
0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[2645664,2645664,-4960,-4960,
-4960,928,928,928,-224,-224,-224,-1120,-1120,-1120,32,32,32,32,-32,-32,-32,0,
0,0,32,32,32,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-27,-27,5,5,5,5,5,1,1,1,1,1,
1,1,372,372,20,20,20,4,4,4,-4,-4,-4,-4,-4,-4,0,0,0,0,0,-16,-16,0,0,0,0,0,8,8,
--> --------------------
--> maximum size reached
--> --------------------
[ Dauer der Verarbeitung: 0.24 Sekunden
(vorverarbeitet)
]
|
