Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/sources/formale Sprachen/GAP/pkg/ctbllib/data/ (Algebra von RWTH Aachen Version 4.15.1^©) Datei vom 1.2.2023 mit Größe 138 kB

Quelle ctbunit2.tbl Sprache: unbekannt

#############################################################################
##
#W  ctbunit2.tbl                GAP table library               Thomas Breuer
##
##  This file contains the Brauer character tables related to the unitary
##  groups $U_3(q)$, for $q$ in [ 3, 4, 5, 7, 8, 9 ] of the ATLAS (see file
##  'ctounit2.tbl') modulo all prime divisors of the group order.
##
#H  ctbllib history
#H  ---------------
#H  $Log: ctbunit2.tbl,v $
#H  Revision 4.8  2011/09/28 12:12:38  gap
#H  removed Revision entries and SET_TABLEFILENAME calls
#H      TB
#H
#H  Revision 4.7  2004/08/31 11:51:19  gap
#H  added 3.A6.2^2 mod 2, 5,
#H        A6.2^2 mod 2, 5,
#H        L2(25).2^2 mod 2, 3, 5, 13,
#H        L2(49).2^2 mod 2, 3, 5,
#H        L2(81).2^2 mod 2, 5, 41,
#H        L2(81).(2x4) mod 2,
#H        3.L3(4).2^2 mod 2, 5, 7,
#H        3.L3(4).3.2_2 mod 2, 5, 7,
#H        L3(4).2^2 mod 2, 3, 5, 7,
#H        L3(4).3.2_2 mod 3, 5, 7,
#H        L3(4).3.2_3 mod 3, 5, 7,
#H        L3(4).D12 mod 2, 3, 5, 7,
#H        L3(9).2^2 mod 2, 3, 5, 7, 13,
#H        O8+(2).3.2 mod 3, 5, 7,
#H        O8+(3).3.2 mod 5, 7, 13,
#H        O8+(3).(2^2)_{111} mod 2, 5, 7, 13,
#H        O8+(3).(2^2)_{122} mod 2, 5, 7, 13,
#H        O8+(3).D8 mod 2, 5, 7, 13,
#H        O8+(3).A4 mod 2, 5, 7, 13,
#H        O8+(3).S4 mod 13,
#H        3_1.U4(3).2_2' mod 2, 5, 7,
#H        3_2.U4(3).2_3' mod 2, 5, 7,
#H        3_2.U4(3).(2^2)_{133} mod 2, 5, 7,
#H        6_2.U4(3).2_3' mod 5, 7,
#H        U4(3).(2^2)_{122} mod 2, 3, 5, 7,
#H        U4(3).(2^2)_{133} mod 2, 3, 5, 7,
#H        U4(3).D8 mod 2, 3, 5, 7,
#H        U6(2).3.2 mod 3, 5, 7, 11,
#H  extended `InfoText' values, added missing table automorphisms
#H      TB
#H
#H  Revision 4.6  2003/01/22 12:28:54  gap
#H  added tables of 3.L3(7).S3 mod 7, 3.L3(7).S3 mod 19, L3(7).S3 mod 3,
#H  L3(7).S3 mod 7, L3(7).S3 mod 19, 3.U3(5).S3 mod 5, 3.U3(5).S3 mod 7,
#H  3.U3(8).S3 mod 2, 3.U3(8).S3 mod 7, 3.U3(8).S3 mod 19, U3(5).3.2 mod 3,
#H  U3(5).3.2 mod 5, U3(5).3.2 mod 7, U3(8).S3 mod 2, U3(8).S3 mod 3,
#H  U3(8).S3 mod 7, U3(8).S3 mod 19, 3.U3(11).S3 mod 5, 3.U3(11).S3 mod 11,
#H  3.U3(11).S3 mod 37, U3(11).S3 mod 3, U3(11).S3 mod 5, U3(11).S3 mod 11,
#H  U3(11).S3 mod 37
#H  (automatically constructed from the ATLAS tables)
#H      TB
#H
#H  Revision 4.5  2002/08/01 13:41:55  gap
#H  added 2-modular tables of L3(7).S3, 3.L3(7).S3, 3.U3(5).S3, U3(11).S3,
#H  and 3.U3(11).S3
#H      TB
#H
#H  Revision 4.4  2002/07/15 15:17:43  gap
#H  added U3(5).3.2 mod 2
#H      TB
#H
#H  Revision 4.3  2001/05/04 16:46:43  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/ctbunit2.tbl,v
#H  Working file: ctbunit2.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: 3; selected revisions: 3
#H  description:
#H  ----------------------------
#H  revision 4.2
#H  date: 1999/07/14 11:39:37;  author: gap;  state: Exp;  lines: +4 -3
#H  cosmetic changes for the release ...
#H
#H      TB
#H  ----------------------------
#H  revision 4.1
#H  date: 1997/07/17 15:36:39;  author: fceller;  state: Exp;  lines: +2 -2
#H  for version 4
#H  ----------------------------
#H  revision 1.1
#H  date: 1996/10/21 15:58:51;  author: sam;  state: Exp;
#H  first proposal of the table library
#H  ==========================================================================
##

TEXT1:= "origin: modular ATLAS of finite groups, tests: DEC, TENS";

MBT("3.U3(5).2",2,
TEXT1,
[4,5,6,7,4,8,9],
[4,0,0,0,0,0],
[[20,25]],
[],
[[[1,0],[0,1]]],
[["U3(5).2",0]],
[(12,13),( 9,10)],
[1,-1,1,1,-1,1,1,1,0,0,1,1,1]);

MBT("3.U3(5).2",5,
TEXT1,
[4,4,4,4,4,4,4,4],
[3],
[[20,21,22,25,26,27,29,31]],
[],
[[[0,1,0,0,0,0,1,-1],[0,1,1,-1,0,-1,1,0],[-1,0,-1,1,0,0,0,0],[0,0,-1,1,0,1,-1,
0],[1,-1,0,0,0,0,-1,1],[0,-2,0,1,0,1,-2,1],[-1,-1,-1,1,1,1,0,-1],[0,0,1,-1,0,
0,1,0]]],
[["U3(5).2",0]],
[],
0);

MBT("3.U3(5).2",7,
TEXT1,
[14,15,16,16,16,17,18,19,20,21,22],
[0,0,1,0,0,0,0,0,0],
[],
[,,[[1,4,5],[2,4,5],[3,4,5]]],
[],
[["U3(5).2",0]],
[(18,19),(13,14),(28,29)],
0);

MBT("3.U3(5).3",2,
TEXT1,
[11,12,13,14,15,16,17,18,11,12,13,14,15,16,19,20,21,24,22,23,25,26,27,30,28,
29],
[4,4,4,4,4,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[[35,49],[36,50],[37,51],[38,52],[39,53],[40,54]],
[],
[[[1,0],[0,1]],1,1,1,1,1],
[["U3(5).3",0]],
[(17,18,19)(20,21,22)(25,26,27)(28,29,30),(31,32,33)(34,35,36)(37,38,39)
(40,41,42),(11,14)(12,15)(13,16)(31,37)(32,38)(33,39)(34,40)(35,41)(36,42),
( 2, 3)( 6, 7)( 9,10)(12,13)(15,16)(17,20)(18,21)(19,22)(23,24)(25,28)(26,29)
(27,30)(31,34)(32,35)(33,36)(37,40)(38,41)(39,42)],
[1,0,0,-1,0,0,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0]);

MBT("3.U3(5).3",5,
TEXT1,
[5,5,5,6,6,6,5,5,5,6,6,6,5,5,5,6,6,6,5,5,5,6,6,6,5,5,5,6,6,6,5,5,5,6,6,6,5,5,
5,6,6,6,5,5,5,6,6,6],
[3,3],
[[35,36,37,41,42,43,47,49,50,51,55,56,57,61,62,63,73,74,75,85,86,87,91,92],[
38,39,40,44,45,46,48,52,53,54,58,59,60,64,65,66,76,77,78,88,89,90,94,95]],
[],
[[[0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,-1,0,0,0,0],[0,0,0,0,0,1,0,0,0,0,0,0,
0,0,0,0,0,1,0,0,-1,0,0,0],[0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,-1,0,0],[
1,0,1,1,1,1,1,-2,-2,-1,-1,-1,0,-1,-1,-1,1,0,0,0,1,1,1,1],[0,0,-1,0,0,0,0,1,0,
0,1,0,0,0,0,0,0,1,0,0,-1,0,-1,0],[-1,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,0,1,0,0,
-1,0,-1],[-1,-1,-1,-1,-1,0,-1,2,2,1,1,1,0,0,1,1,-1,1,0,0,-2,0,-1,-1],[0,0,0,1,
0,0,0,-1,0,0,-1,0,0,0,-1,0,0,-1,1,1,1,-1,1,0],[0,0,0,0,1,0,0,0,-1,0,0,-1,0,0,
0,-1,1,0,-1,-1,1,1,0,1],[-1,0,-1,0,-1,-1,-1,2,2,1,1,1,0,1,1,1,-1,0,0,0,-1,-1,
-1,-1],[0,0,1,0,1,0,0,-1,0,0,-1,0,0,0,0,0,0,-1,0,0,1,0,1,0],[1,0,0,0,0,1,0,0,
-1,0,0,-1,0,0,0,0,0,0,-1,0,0,1,0,1],[1,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,
1,0,0,0,0],[0,1,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,1,0,0,0],[0,0,1,-1,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,1,0,0],[0,0,0,-1,0,-1,0,0,0,1,0,0,0,1,0,0,0,-1,
-1,0,1,0,0,0],[0,0,0,-1,-1,0,0,1,0,0,0,0,0,0,1,0,-1,0,-1,0,0,1,0,0],[0,0,0,0,
-1,-1,0,0,1,0,0,0,0,0,0,1,-1,-1,0,1,0,0,0,0],[0,0,0,1,-1,0,0,-1,0,0,-1,0,1,0,
0,0,0,-1,1,0,1,-1,1,0],[0,0,0,0,1,-1,0,0,-1,0,1,-1,0,0,0,0,1,0,-1,-1,0,1,0,
1],[-1,-1,-1,-2,-1,0,-1,2,2,1,1,2,0,1,1,1,-1,1,0,0,-2,-1,-1,-1],[1,0,1,0,1,1,
1,-2,-2,-1,-1,-1,0,0,-1,-1,1,0,0,0,1,1,1,1],[0,0,-1,0,-1,0,0,1,0,0,1,0,0,0,1,
0,0,1,0,0,-1,0,-1,0],[-1,0,0,0,0,-1,0,0,1,0,0,1,0,0,0,1,0,0,1,0,0,-1,0,-1]],[[
0,0,0,0,0,0,0,1,0,1,0,0,0,0,0,1,-1,0,0,0,0,0,-1,0],[0,0,0,0,0,0,0,1,1,0,0,0,0,
1,0,0,0,-1,0,0,0,0,0,-1],[1,1,1,1,1,1,1,-2,-1,-1,-1,-1,-1,-1,0,-1,0,0,-1,1,1,
1,1,1],[0,0,-1,0,0,-1,0,1,1,1,0,1,0,0,0,1,-1,0,0,0,-1,0,-1,0],[-1,0,0,-1,0,0,
0,1,1,1,0,0,1,1,0,0,0,-1,0,0,0,-1,0,-1],[1,0,1,1,0,1,1,-1,-1,-1,0,-1,-1,-1,0,
-1,0,0,-1,0,1,1,1,1],[1,1,1,1,1,2,1,-3,-2,-2,-1,-2,-1,-2,0,-2,1,0,-1,1,2,1,2,
2],[-1,-1,-1,0,-1,-1,-1,2,1,2,1,1,0,0,0,2,-1,1,0,-1,-1,0,-2,0],[-1,-1,-1,-1,0,
-1,-1,2,2,1,0,1,1,2,0,0,0,-1,1,0,-1,-1,0,-2],[0,0,1,1,0,1,0,-1,-1,-1,0,-1,0,0,
0,-1,1,0,0,0,1,0,1,0],[1,0,0,1,1,0,0,-1,-1,-1,0,0,-1,-1,0,0,0,1,0,0,0,1,0,1],[
-1,0,-1,-1,0,0,-1,1,1,1,0,1,1,1,0,1,0,0,1,0,-1,-1,-1,-1],[1,0,0,0,0,0,0,-1,0,
-1,0,0,0,0,0,-1,1,0,0,0,0,0,1,0],[0,1,0,0,0,0,0,-1,-1,0,0,0,0,-1,0,0,0,1,0,0,
0,0,0,1],[-1,-1,0,-1,-1,-1,-1,2,1,1,1,1,1,1,0,1,0,0,1,-1,-1,-1,-1,-1],[-1,-1,
-1,-1,-1,-1,-1,1,1,1,1,1,1,1,0,1,0,1,1,-1,-1,-1,-1,-1],[0,0,0,0,0,0,0,-1,-1,
-1,0,0,0,0,0,-1,1,0,1,0,0,0,1,0],[0,0,0,0,0,0,0,-1,-1,-1,0,0,0,-1,0,0,1,1,0,0,
0,0,0,1],[-1,-1,-1,-1,0,-2,-1,2,2,1,0,2,1,2,0,1,0,-1,1,0,-1,-1,-1,-2],[1,1,1,
0,1,2,1,-3,-2,-2,-1,-2,0,-1,0,-2,1,0,-1,1,2,1,2,1],[0,0,0,1,-1,0,0,0,-1,0,1,0,
-1,-1,0,1,-1,1,0,0,0,1,-1,1],[0,0,-1,-1,0,-1,0,1,1,1,0,1,0,1,0,1,-1,0,0,0,-1,
0,-1,0],[-1,0,0,-1,-1,0,0,1,1,1,0,0,1,1,1,0,0,-1,0,0,0,-1,0,-1],[1,0,1,1,0,0,
1,-1,-1,-1,0,-1,-1,-1,0,0,0,0,-1,0,1,1,1,1]]],
[["U3(5).3",0]],
[(26,27,28)(29,30,31)(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),( 2, 3)( 5, 6)( 9,10)(12,13)(14,17)(15,19)(16,18)(20,23)
(21,25)(22,24)(26,29)(27,30)(28,31)(32,33)(34,37)(35,38)(36,39)(40,43)(41,44)
(42,45)(46,49)(47,50)(48,51)(52,61)(53,62)(54,63)(55,58)(56,59)(57,60)(64,73)
(65,74)(66,75)(67,70)(68,71)(69,72)],
0);

MBT("3.U3(5).3",7,
TEXT1,
[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,70,71,72,67,68,69,64,65,66],
[0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0],
[],
[,,,,,,,,,,,,[[1,2,3,4,5,6,7]],13],
[],
[["U3(5).3",0]],
[(29,30,31)(32,33,34)(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),(20,23)(21,24)(22,25)(61,67)(62,68)(63,69)(64,70)(65,71)
(66,72),( 2, 3)( 5, 6)( 9,10)(12,13)(15,16)(18,19)(21,22)(24,25)(27,28)(29,32)
(30,33)(31,34)(35,36)(37,40)(38,41)(39,42)(43,46)(44,47)(45,48)(49,52)(50,53)
(51,54)(55,58)(56,59)(57,60)(61,64)(62,65)(63,66)(67,70)(68,71)(69,72)(73,76)
(74,77)(75,78)],
0);

MBT("3.U3(5).S3",2,
0,
[7,8,9,10,7,8,9,11,12,13,16,14,15],
[4,4,4,0,0,0,0,0,0,0],
[[30,37],[31,38],[32,39]],
[],
[[[1,0],[0,1]],1,1],
[["U3(5).3.2",0]],
[(11,12,13)(15,16,17),(18,19,20)(21,22,23),( 9,10)(18,21)(19,22)(20,23)],
0);

MBT("3.U3(5).S3",5,
0,
[5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5],
[3],
[[30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,49,50,51,55,56,57,58,59]],
[],
[[[0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,-1,0,0,0,0],[0,0,0,0,0,1,0,0,0,0,0,0,
0,0,0,0,0,1,0,0,-1,0,0,0],[0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,-1,0,0],[
0,-1,0,0,0,0,0,0,0,1,0,0,1,0,0,0,1,0,0,-1,0,0,0,-1],[0,0,-1,0,0,0,0,1,0,0,1,0,
0,0,0,0,0,1,0,0,-1,0,-1,0],[0,1,1,1,1,1,1,-2,-1,-2,-1,0,-1,-1,-1,-1,0,0,1,1,1,
0,1,1],[0,0,0,0,0,1,0,0,0,-1,0,0,-1,-1,0,0,-1,1,0,1,-1,1,0,1],[0,0,0,1,0,0,0,
-1,0,0,-1,0,0,0,-1,0,0,-1,1,1,1,-1,1,0],[-1,-1,-1,-1,0,-1,-1,2,1,2,1,0,1,1,1,0
,1,0,-1,-2,0,0,-1,-1],[0,1,0,1,0,0,0,0,0,-1,0,0,-1,0,0,0,-1,0,0,1,0,0,0,1],[0,
0,1,0,1,0,0,-1,0,0,-1,0,0,0,0,0,0,-1,0,0,1,0,1,0],[0,-1,-1,-1,-1,0,-1,2,1,2,1,
0,1,1,1,1,0,0,-1,-1,-1,0,-1,-1],[1,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,1,0,0
,0,0],[0,1,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,1,0,0,0],[0,0,1,-1,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,-1,0,0,1,0,0],[0,0,0,-1,0,-1,0,0,0,1,0,0,0,1,0,0,0,-1,-1,0,1
,0,0,0],[0,0,0,-1,-1,0,0,1,0,0,0,0,0,0,1,0,-1,0,-1,0,0,1,0,0],[0,0,0,0,-1,-1,0
,0,1,0,0,0,0,0,0,1,-1,-1,0,1,0,0,0,0],[0,0,0,1,-1,0,0,-1,0,0,-1,0,1,0,0,0,0,-1
,1,0,1,-1,1,0],[-1,-1,-1,-1,0,-2,-1,2,1,2,2,0,1,1,1,1,1,0,-1,-2,-1,0,-1,-1],[0
,0,0,-1,0,1,0,0,0,-1,0,1,-1,0,0,0,-1,1,0,1,-1,0,0,1],[0,-1,0,-1,0,0,0,0,0,1,0,
0,1,1,0,0,1,0,0,-1,0,0,0,-1],[0,0,-1,0,-1,0,0,1,0,0,1,0,0,0,1,0,0,1,0,0,-1,0,
-1,0],[0,1,1,1,1,0,1,-2,-1,-2,-1,0,-1,-1,-1,0,0,0,1,1,1,0,1,1]]],
[["U3(5).3.2",0]],
[
(16,17,18)(20,21,22)(23,24,25)(26,27,28)(29,30,31)(32,33,34)(35,36,37)
(38,39,40)
],
0);

MBT("3.U3(5).S3",7,
0,
[20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,44,43],
[0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[,,,,,,[[1,2,3,4,5,6,7]]],
[],
[["U3(5).3.2",0]],
[(50,51),
(19,20,21)(23,24,25)(26,27,28)(29,30,31)(32,33,34)(35,36,37)(38,39,40)
(41,42,43)
,(15,16)(35,38)(36,39)(37,40)],
0);

MBT("3.U3(5)",2,
TEXT1,
[5,6,7,8,9,10,11,12,5,6,13,14,15,16],
[4,4,0,0,0,0,0,0,0,0,0,0],
[[15,25],[16,26]],
[],
[[[1,0],[0,1]],1],
[["U3(5)",0]],
[(17,20)(18,21)(19,22),( 2, 3)( 6, 7)( 9,10)(12,13)(15,16)(18,19)(21,22),
(11,14)(12,15)(13,16),( 8,11)( 9,12)(10,13)],
[1,-1,1,1,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]);

MBT("3.U3(5)",5,
TEXT1,
[3,4,3,4,3,4,3,4,3,4,3,4,3,4,3,4],
[3,3],
[[15,17,19,25,27,29,33,37],[16,18,20,26,28,30,34,38]],
[],
[[[0,1,0,0,0,0,1,-1],[0,1,1,-1,0,-1,1,0],[-1,0,-1,1,0,0,0,0],[0,0,-1,1,0,1,-1,
0],[1,-1,0,0,0,0,-1,1],[0,-2,0,1,0,1,-2,1],[-1,-1,-1,1,1,1,0,-1],[0,0,1,-1,0,
0,1,0]],[[1,1,1,0,-1,0,-1,1],[0,0,1,1,0,0,-1,0],[-1,0,-1,1,0,0,0,0],[0,1,-1,
-1,0,0,1,0],[0,-1,-1,0,1,0,1,-1],[-1,-1,-1,-1,1,0,2,-1],[0,0,0,-1,0,0,0,1],[0,
-1,1,1,0,1,-1,0]]],
[["U3(5)",0]],
[( 2, 3)( 5, 6)( 9,10)(12,13)(14,17)(15,19)(16,18)(20,23)(21,25)(22,24)],
0);

MBT("3.U3(5)",7,
TEXT1,
[11,12,13,14,15,16,15,16,15,16,17,18,19,20,21,22,23,24,25,26,27,28],
[0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[,,,,[[1,4,5],[2,4,5],[3,4,5]],5],
[],
[["U3(5)",0]],
[(26,29)(27,30)(28,31),( 2, 3)( 5, 6)( 9,10)(12,13)(15,16)(18,19)(21,22)
(24,25)(27,28)(30,31)(33,34),(17,20)(18,21)(19,22),(14,17)(15,18)(16,19)],
0);

MBT("3.U3(8).2",19,
"origin: modular ATLAS of finite groups, tests: DEC",
[22,23,24,25,25,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40],
[0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[,,,[[1,4,5,6,7,8,9],[2,4,5,6,7,8,9],[3,4,5,6,7,8,9]]],
[],
[["U3(8).2",0]],
[(40,41),(12,13),(17,19,21)(18,20,22)(29,32,35)(30,33,36)(31,34,37)(42,43,44),
( 5, 6, 7)(14,15,16)(23,27,25)(24,28,26)(29,30,31)(32,33,34)(35,36,37)
(45,47,46)],
0,
rec(version:=3,
date:="30.09.92"));

MBT("3.U3(8).2",2,
TEXT1,
[3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3],
[9],
[[30,31,32,33,36,37,38,39,40,41,42,43,44,45,46,47,51,52,53,54,55]],
[],
[[[0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,-1],[1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,
0,-1,0,0,0,0],[0,1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,-1,0,0],[2,0,0,1,-2,-1,-1,
-1,0,-1,0,1,-1,0,1,0,0,1,1,0,1],[0,2,0,1,-1,-2,-1,-1,-1,0,-1,0,1,0,0,1,1,0,0,
1,1],[-1,-1,1,0,1,1,0,1,0,0,1,-1,0,1,0,0,0,-1,0,-1,-1],[2,0,1,1,-1,-1,0,-1,0,
0,1,2,0,0,1,0,-1,0,0,0,-1],[1,2,0,1,0,-1,-1,0,-1,0,0,1,2,0,0,1,-1,0,-1,0,0],[
0,1,2,1,-1,0,-1,0,0,-1,2,0,1,1,0,0,0,0,-1,0,-1],[-1,-2,-2,-2,3,1,2,1,0,1,-2,0,
0,-1,-1,0,-1,-1,0,0,1],[-2,-1,-2,-2,2,3,1,1,1,0,0,-2,0,0,-1,-1,1,0,-1,-1,0],[
-1,-1,0,-1,-1,0,1,-1,0,0,0,0,-2,-1,0,-1,1,1,2,1,0],[-2,-3,-2,-2,3,3,2,2,1,1,
-1,-2,-1,0,-1,-1,0,-1,0,-1,0],[-1,-1,-2,-1,0,1,1,0,1,0,-1,-1,-2,-1,0,-1,1,1,1,
0,1],[-2,-1,-1,-1,1,0,1,0,0,1,-2,-1,-1,-1,-1,0,1,0,1,1,1],[0,-3,0,0,1,2,0,2,1,
0,1,-1,-1,1,1,0,-1,-1,0,-2,-1],[2,2,-1,2,-4,-3,-2,-2,0,-1,-1,1,-1,0,1,1,1,2,1,
1,2],[-2,1,1,1,0,-2,-1,0,-1,1,-1,-1,1,1,0,1,1,-1,0,1,0],[0,0,0,1,-1,-1,1,0,0,
1,0,1,0,-1,1,0,-1,0,0,0,0],[0,0,0,1,1,-1,-1,1,0,0,0,0,1,0,-1,1,0,0,-1,0,0],[0,
0,0,1,-1,1,-1,0,1,0,1,0,0,1,0,-1,0,0,0,0,-1]]],
[["U3(8).2",0]],
[( 3, 4, 5)( 7,11, 9)( 8,12,10)(13,17,15)(14,18,16)(19,25,22)(20,26,23)
(21,27,24)(28,35,33)(29,36,31)(30,34,32)],
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],
rec(version:=2,
date:="01.10.92"));

MBT("3.U3(8).2",7,
"origin: modular ATLAS of finite groups, tests: DEC",
[18,19,20,21,22,23,24,25,26,18,19,20,27,28,29,30,31,32],
[1,1,1,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,3,4,5],[2,3,4,5]],1,1],
[],
[["U3(8).2",0]],
[(34,35),(12,13),( 5, 6, 7)(14,15,16)(17,21,19)(18,22,20)(36,38,37),(24,25)
(27,28)(30,31),(23,26,29)(24,27,30)(25,28,31)],
0,
rec(version:=2,
date:="28.09.92"));

MBT("3.U3(8).3_1",19,
"origin: modular ATLAS of finite groups, tests: DEC",
[27,28,29,29,29,30,30,30,29,29,29,30,30,30,29,29,29,30,30,30,31,32,33,34,35,
36,37,38,39,40],
[0,0,1,1,0,0,0,0,0,0,0,0,0,0],
[],
[,,[[1,10,11],[2,10,11],[3,10,11],[4,10,11],[5,10,11],[6,10,11],[7,10,11],[8,
10,11],[9,10,11]],3],
[],
[["U3(8).3_1",0]],
[(47,48,49)(50,51,52),(27,28,29)(30,32,31),(59,60,61)(62,63,64),(53,54,55)
(56,57,58),(13,16)(14,17)(15,18)(33,34)(35,38)(36,37)(39,40)(41,44)(42,43)
(45,46)(47,50)(48,52)(49,51)(53,62)(54,64)(55,63)(56,59)(57,61)(58,60),( 2, 3)
( 5, 6)( 7, 8)(11,12)(14,15)(17,18)(19,20)(22,23)(25,26)(27,30)(28,32)(29,31)
(33,34)(35,36)(37,38)(39,40)(41,42)(43,44)(45,46)(47,50)(48,51)(49,52)(53,56)
(54,57)(55,58)(59,62)(60,63)(61,64)],
0,
rec(version:=2,
date:="28.09.92"));

MBT("3.U3(8).3_1",2,
TEXT1,
[5,6,5,6,5,6,5,6,5,6,5,6,5,6],
[9,9],
[[37,39,57,59,61,63,67],[38,42,58,60,62,64,68]],
[],
[[[1,0,0,0,1,0,-1],[1,2,-2,-1,0,1,1],[3,3,-2,-1,3,1,-2],[-4,-5,4,1,-2,-2,1],[
-5,-4,4,2,-4,-2,2],[0,3,-3,0,-1,2,1],[0,3,-1,1,1,0,-1]],[[2,1,-2,-1,1,0,1],[0,
1,0,0,0,1,-1],[5,5,-6,-3,3,1,2],[-5,-6,6,2,-2,-2,-1],[-7,-6,8,4,-4,-2,-2],[-1,
2,-1,1,-1,2,-1],[1,4,-3,0,1,0,1]]],
[["U3(8).3_1",0]],
[(25,26)(27,30)(28,29)(31,32),( 2, 3)( 4, 5)( 8, 9)(11,12)(13,16)(14,18)
(15,17)(19,22)(20,24)(21,23)(27,29)(28,30)],
[1,0,0,1,0,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
rec(version:=3,
date:="02.10.92"));

MBT("3.U3(8).3_1",7,
"origin: modular ATLAS of finite groups, tests: DEC",
[19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,19,20,41,
42,43,44],
[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,3,4,5],[2,3,4,5]],1],
[],
[["U3(8).3_1",0]],
[(44,45,46)(47,48,49),(24,27)(25,28)(26,29),(56,57,58)(59,60,61),(50,51,52)
(53,54,55),(13,16)(14,17)(15,18)(30,31)(32,35)(33,34)(36,37)(38,41)(39,40)
(42,43)(44,47)(45,49)(46,48)(50,59)(51,61)(52,60)(53,56)(54,58)(55,57),( 2, 3)
( 5, 6)( 7, 8)(11,12)(14,15)(17,18)(19,20)(22,23)(25,26)(28,29)(30,31)(32,33)
(34,35)(36,37)(38,39)(40,41)(42,43)(44,47)(45,48)(46,49)(50,53)(51,54)(52,55)
(56,59)(57,60)(58,61)],
0,
rec(version:=2,
date:="28.09.92"));

MBT("3.U3(8).3_2",19,
"origin: modular ATLAS of finite groups, tests: DEC",
[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,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,
160,161,162],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,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,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19]],19],
[],
[["U3(8).3_2",0]],
[( 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)(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),( 23, 26, 29)( 24, 27, 30)( 25, 28, 31)( 41, 47, 53)
( 42, 48, 54)( 43, 49, 55)( 44, 50, 56)( 45, 51, 57)( 46, 52, 58)(115,133,151)
(116,134,152)(117,135,153)(118,136,154)(119,137,155)(120,138,156)(121,139,157)
(122,140,158)(123,141,159)(124,142,160)(125,143,161)(126,144,162)(127,145,163)
(128,146,164)(129,147,165)(130,148,166)(131,149,167)(132,150,168),
(  7,  8,  9)( 10, 12, 11)( 17, 18, 19)( 20, 22, 21)( 32, 38, 35)( 33, 39, 36)
( 34, 40, 37)( 41, 42, 43)( 44, 46, 45)( 47, 48, 49)( 50, 52, 51)( 53, 54, 55)
( 56, 58, 57)( 61, 73, 69, 62, 74, 67, 63, 75, 68)( 64, 76, 72, 65, 77, 70,
  66, 78, 71)( 79, 91, 87, 80, 92, 85, 81, 93, 86)( 82, 94, 90, 83, 95, 88,
  84, 96, 89)( 97,109,105, 98,110,103, 99,111,104)(100,112,108,101,113,106,
102,114,107)(115,145,159,116,146,157,117,147,158)(118,148,162,119,149,160,
120,150,161)(121,135,165,122,133,163,123,134,164)(124,138,168,125,136,166,
126,137,167)(127,141,152,128,139,153,129,140,151)(130,144,155,131,142,156,
132,143,154),(  2,  3)(  5,  6)(  7, 10)(  8, 12)(  9, 11)( 15, 16)( 17, 20)
( 18, 22)( 19, 21)( 24, 25)( 27, 28)( 30, 31)( 33, 34)( 36, 37)( 39, 40)
( 41, 44)( 42, 46)( 43, 45)( 47, 50)( 48, 52)( 49, 51)( 53, 56)( 54, 58)
( 55, 57)( 59, 60)( 61, 64)( 62, 65)( 63, 66)( 67, 70)( 68, 71)( 69, 72)
( 73, 76)( 74, 77)( 75, 78)( 79, 82)( 80, 83)( 81, 84)( 85, 88)( 86, 89)
( 87, 90)( 91, 94)( 92, 95)( 93, 96)( 97,100)( 98,101)( 99,102)(103,106)
(104,107)(105,108)(109,112)(110,113)(111,114)(115,118)(116,119)(117,120)
(121,124)(122,125)(123,126)(127,130)(128,131)(129,132)(133,136)(134,137)
(135,138)(139,142)(140,143)(141,144)(145,148)(146,149)(147,150)(151,154)
(152,155)(153,156)(157,160)(158,161)(159,162)(163,166)(164,167)(165,168)],
0,
rec(version:=2,
date:="28.09.92"));

MBT("3.U3(8).3_2",2,
TEXT1,
[5,5,5,6,6,6,5,5,5,6,6,6,5,5,5,6,6,6,5,5,5,6,6,6,5,5,5,6,6,6,5,5,5,6,6,6,5,5,
5,6,6,6,5,5,5,6,6,6,5,5,5,6,6,6,5,5,5,6,6,6,5,5,5,6,6,6,5,5,5,6,6,6,5,5,5,6,6,
6,5,5,5,6,6,6,5,5,5,6,6,6,5,5,5,6,6,6,5,5,5,6,6,6,5,5,5,6,6,6,5,5,5,6,6,6,5,5,
5,6,6,6,5,5,5,6,6,6],
[9,9],
[[77,78,79,83,84,85,89,90,91,95,97,98,99,103,104,105,109,110,111,115,116,117,
121,122,123,127,128,129,133,134,135,139,140,141,145,146,147,151,152,153,157,
158,159,163,164,165,187,188,189,193,194,195,199,200,201,205,206,207,211,212,
213,217,218],[80,81,82,86,87,88,92,93,94,96,100,101,102,106,107,108,112,113,
114,118,119,120,124,125,126,130,131,132,136,137,138,142,143,144,148,149,150,
154,155,156,160,161,162,166,167,168,190,191,192,196,197,198,202,203,204,208,
209,210,214,215,216,220,221]],
[],
[[[0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,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,-1,0,0,0],[0,0,0,0,0,0,0,0,1,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,-1,0,0],[0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,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,-1,0,0,0,
0],[0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,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,0,0],[0,0,1,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,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,0],[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,1,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,0,0,
0],[0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,1,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,-1,0,0,0,0,0,0,0,0],[0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,
0],[0,1,0,0,0,-1,-1,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,
-1,0,0,0,0,1,0,1,0,-1,0,-1,0,0,0,0,0,0,0,-1,0,0,0,0,0,-1,0],[0,0,1,-1,0,0,0,
-1,0,0,0,0,0,0,1,0,0,1,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,1,-1,0,0,0,0,0,0,0,1,-1,
1,0,0,0,-1,0,0,0,0,0,0,0,-1,0,0,0,0,0,-1],[2,1,1,1,0,1,1,1,0,1,-2,-2,-2,-2,-2,
-1,-2,-2,-1,-1,-1,-1,-1,0,-1,-1,-1,-1,0,0,0,1,0,0,0,-1,0,0,0,0,1,0,0,0,-1,1,0,
1,1,1,1,1,1,1,1,1,1,0,1,1,1,1,1],[-1,0,0,0,1,0,-1,0,0,0,1,0,0,0,0,0,0,1,0,0,0,
0,0,0,0,1,0,0,-1,0,0,0,0,0,0,1,0,-1,1,0,0,0,0,0,1,0,0,0,0,-1,0,0,0,-1,0,0,0,0,
0,0,0,0,-1],[1,0,1,1,1,2,1,0,1,1,-2,-1,-2,-2,-2,-2,-2,-2,-1,-1,-1,-1,-1,-1,-1,
-1,0,-1,0,-1,0,0,0,0,0,0,1,0,-1,1,0,0,0,0,0,1,1,1,1,1,0,1,1,1,0,1,1,1,1,1,1,1,
1],[0,0,-1,1,0,0,0,0,-1,0,0,0,1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,1,0,0,-1,0,0,0,1,
0,0,1,0,-1,0,0,0,1,0,0,0,0,0,0,0,-1,-1,0,0,0,0,0,0,0,0,-1,0],[-1,0,0,-1,0,0,0,
0,1,0,0,1,0,1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,1,-1,0,0,0,0,0,0,0,1,-1,1,0,0,0,
0,0,0,0,0,-1,0,0,0,0,-1,0,0,0,0,-1,0,0],[0,-1,0,0,-1,0,1,0,0,0,0,0,1,0,1,0,0,
0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,-1,0,0,0,0,1,0,0,0,-1,1,0,0,0,0,0,0,0,0,-1,0,0,
0,0,-1,0,-1,0,0,0,0],[0,0,-1,0,0,-1,0,1,0,0,1,0,0,0,0,1,0,0,0,0,0,1,0,0,0,0,0,
0,0,1,0,0,0,-1,0,0,0,0,1,0,1,0,-1,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,-1,0,-1,0,0,
0],[0,1,0,0,0,-1,-1,1,0,0,0,1,0,1,0,0,1,0,1,0,0,0,0,0,1,0,1,0,0,1,0,0,2,0,0,0,
0,0,-1,1,0,1,0,1,0,-1,0,-2,0,0,-1,0,0,0,-1,-1,0,0,0,-2,0,-1,0],[0,0,1,-1,0,0,
0,-1,1,0,0,0,1,0,1,0,1,1,0,0,0,0,1,0,0,0,0,1,0,0,1,0,0,2,0,0,0,1,0,-1,0,0,1,
-1,1,0,0,0,-2,0,0,-1,-1,0,0,0,-1,0,0,0,-2,0,-1],[2,1,1,1,0,1,2,1,0,1,-1,-2,-2,
-2,-2,-1,-2,-1,-1,-1,-1,-1,-1,0,-1,0,-1,-1,1,0,0,2,0,0,0,0,0,-1,1,0,1,0,0,0,
-1,1,-1,1,1,0,1,1,1,0,1,1,1,0,-1,1,1,1,1],[-1,1,0,0,1,0,-1,0,0,0,1,0,1,0,1,0,
0,1,0,0,1,0,0,0,0,1,0,0,0,0,0,0,1,0,0,2,0,-1,1,0,0,-1,1,0,1,0,0,-2,0,-1,0,0,0,
-2,0,0,-1,0,-1,0,0,0,-1],[1,0,2,1,1,2,1,0,1,1,-1,-1,-2,-2,-2,-1,-2,-2,-1,-1,
-1,0,-1,-1,-1,-1,0,-1,0,0,0,0,0,1,0,0,2,0,-1,1,1,0,-1,0,0,1,1,1,-1,1,0,1,1,1,
-1,1,1,0,1,0,1,1,1],[1,0,-1,1,0,0,0,0,-1,0,0,1,1,1,0,0,1,0,0,1,0,0,0,0,0,0,0,
1,0,0,0,1,0,0,2,0,0,1,0,-1,-1,1,0,1,0,0,-2,0,0,0,0,-1,-2,0,0,-1,0,0,0,0,-1,-1,
0],[0,1,1,0,2,1,1,1,2,1,-2,-1,-2,-1,-2,-1,-2,-2,-1,0,-1,-1,-1,0,-1,-1,-1,-1,0,
0,2,0,0,0,0,1,0,0,0,1,-1,1,0,0,-1,1,0,1,1,1,0,1,1,-1,1,0,1,1,1,1,-1,1,1],[0,
-1,0,0,-1,1,1,0,0,0,0,0,1,1,1,0,1,0,0,0,1,0,0,0,1,0,0,0,2,0,0,0,0,0,0,0,1,1,0,
0,0,-1,1,1,0,-1,0,-1,0,0,0,-1,0,0,-2,0,-1,0,-2,0,0,-1,0],[0,0,-1,1,0,-1,0,1,0,
0,1,0,0,0,1,1,0,1,0,0,0,1,1,0,0,0,0,0,0,2,0,0,0,0,1,0,0,0,1,0,1,0,-1,-1,1,0,0,
0,-1,-1,0,0,-2,0,0,0,0,-1,0,-2,0,0,-1],[1,0,0,0,0,0,0,0,0,0,0,0,-1,-1,-2,0,-1,
-1,0,0,-1,0,-1,0,-1,0,0,-1,-1,-1,0,1,0,-1,0,0,0,-1,0,0,0,0,-1,0,-1,1,-1,1,1,0,
0,1,1,0,1,1,1,0,1,1,1,1,1],[-1,0,-1,-1,-1,-1,-1,-1,-1,-1,1,2,2,2,1,0,2,1,1,1,
1,0,0,0,1,0,1,1,0,-1,-1,-1,1,0,0,0,0,0,-1,0,-1,0,0,1,0,-1,0,-2,0,0,-1,-1,0,0,
-1,-1,0,0,0,0,0,-1,0],[-1,-1,0,-1,-1,-1,-1,-1,-1,-1,2,1,2,0,2,1,1,2,1,0,1,1,1,
0,0,1,0,1,-1,0,-1,0,-1,1,0,0,0,0,0,-1,0,-1,0,-1,1,0,0,0,-2,-1,0,-1,-1,0,0,0,
-1,0,0,0,0,0,-1],[-1,-1,-1,0,-1,-1,-1,-1,-1,-1,1,1,2,2,2,1,2,1,0,1,1,0,1,0,1,
0,0,1,0,0,0,-1,-1,0,1,0,-1,1,0,-1,-1,0,0,0,0,-1,0,0,0,0,0,-1,-2,0,0,-1,-1,0,0,
0,-1,-1,0],[-1,-1,-1,-1,0,-1,-1,-1,-1,-1,2,1,1,1,2,2,0,2,1,0,1,1,1,1,0,1,0,0,
0,0,0,0,-1,-1,-1,1,0,-1,1,0,0,-1,0,-1,0,0,0,0,0,-1,0,0,0,-2,0,0,-1,-1,-1,0,0,
0,-1],[0,0,0,0,0,1,0,0,0,0,-1,0,-1,0,-1,0,-1,-2,0,0,-1,0,-1,0,0,-1,0,-1,0,0,0,
-1,0,-1,0,-1,1,0,-1,1,0,0,-1,0,-1,0,1,1,1,1,0,1,1,1,-1,0,1,0,1,0,1,1,1],[0,0,
0,0,0,0,0,1,0,0,0,-1,-2,-1,-1,0,-1,0,0,-1,-1,0,0,0,-1,0,0,-1,-1,1,0,0,0,0,-1,
-1,0,-1,0,0,1,0,-1,-1,0,0,1,1,0,0,1,1,1,1,1,1,1,0,1,-1,1,1,0],[0,0,0,0,0,0,0,
0,1,0,-2,0,-1,0,-1,-1,0,-1,0,0,-1,-1,-1,0,0,-1,0,0,0,-1,1,0,0,0,0,-1,-1,0,-1,
0,-1,1,0,0,-1,0,0,1,1,1,0,1,1,1,1,0,1,1,1,1,-1,0,1],[-1,-1,-1,-1,-1,-1,0,-1,
-1,-1,1,0,2,1,2,1,2,2,1,0,1,0,1,0,1,1,0,1,1,0,-1,0,0,0,-1,0,-1,0,0,-1,0,-1,1,
0,0,-1,0,-1,0,0,0,-1,0,0,0,0,-1,0,-2,0,0,-1,-1],[-1,1,0,0,0,-1,-1,1,0,0,0,0,
-1,0,-1,0,-1,-1,0,0,0,0,-1,0,0,0,0,-1,-1,0,0,-1,0,-1,0,0,-1,-1,0,1,0,0,-1,0,
-1,0,1,0,1,0,0,1,1,0,1,0,1,0,1,0,1,1,1],[-1,-2,0,-2,-1,-1,-1,-2,0,-1,1,2,2,2,
2,1,2,1,1,1,1,1,1,0,1,0,1,1,0,-1,0,-1,-1,0,-1,0,0,1,-1,0,-1,0,0,0,0,-1,0,0,-1,
0,-1,-1,0,0,-1,-1,-1,0,0,0,-1,-1,0],[0,-1,-2,-1,-2,-1,0,-1,-2,-1,2,1,2,1,2,2,
1,2,1,1,1,1,1,1,0,1,0,1,0,0,-1,0,-1,-1,0,-1,0,0,1,-1,0,-1,0,-1,0,0,-1,0,0,-1,
0,-1,-1,0,0,0,-1,-1,-1,0,0,0,-1],[-2,0,-1,-2,0,-1,-2,-1,-1,-1,1,1,2,2,2,1,2,2,
1,1,1,0,1,1,1,1,0,1,-1,0,0,-1,0,0,-1,0,-1,0,0,-1,-1,0,1,0,0,-1,0,-1,0,0,0,-1,
0,-1,0,-1,-1,0,0,0,-1,-1,-1],[0,-1,1,0,-1,1,0,-1,0,0,0,-1,-1,-1,0,0,-1,0,0,-1,
0,0,0,0,0,0,0,-1,0,-1,0,0,-1,0,-1,-1,0,-1,0,0,1,-1,0,-1,0,0,1,1,0,0,1,1,1,1,0,
1,0,0,0,1,1,1,0],[1,0,-1,1,0,-1,0,0,-1,0,-1,0,-1,0,-1,0,0,-1,0,0,-1,0,0,0,0,
-1,0,0,0,0,-1,0,0,-1,0,-1,-1,0,-1,0,0,1,-1,0,-1,0,0,1,1,1,0,1,0,1,1,0,1,0,1,0,
1,0,1],[-1,0,0,-1,1,0,0,-1,1,0,0,0,-1,-1,-1,0,-1,0,0,0,-1,0,0,0,-1,0,0,0,-1,
-1,0,-1,0,0,-1,0,0,-1,0,0,0,0,-1,-1,0,1,1,1,0,0,0,1,1,0,1,1,1,0,1,1,0,1,0],[0,
-1,0,0,-1,1,1,0,-1,0,-1,0,0,0,-1,-1,0,-1,0,0,0,-1,-1,0,0,0,0,0,0,-1,-1,0,-1,0,
0,-1,0,0,-1,0,-1,0,0,1,-1,0,0,1,1,1,0,0,1,1,0,0,1,1,0,1,1,0,1],[-1,-1,-2,0,-1,
-2,-2,0,-1,-1,2,1,2,1,2,1,2,2,1,0,1,1,1,0,1,1,1,1,-1,0,-1,0,0,-1,0,0,-1,0,0,
-1,0,-1,0,0,1,-1,0,-1,0,-1,0,-1,-1,0,0,0,-1,0,0,-1,0,-1,-1],[-1,0,-2,-2,-1,-3,
-1,-1,-1,-1,2,2,3,3,3,2,3,2,1,2,2,1,1,1,2,1,0,2,1,0,0,0,0,-1,0,1,-2,1,1,-1,-1,
1,1,1,0,-1,-2,-2,0,-1,-1,-2,-1,-2,0,-2,-2,-1,-2,0,-2,-2,-1],[-1,0,1,-2,-1,0,0,
0,0,0,1,0,0,0,1,1,-1,1,0,0,1,1,1,0,0,1,0,-1,0,1,0,-1,0,0,-2,0,1,-1,1,1,1,-1,1,
-1,1,0,1,-1,-1,-1,0,0,1,0,-1,0,-1,-1,-1,-1,1,1,-1],[2,0,1,1,-1,0,1,1,1,1,-2,
-1,-2,-1,-2,-1,-2,-3,-1,0,-1,0,-1,0,-1,-2,0,-1,0,0,1,0,-1,0,1,-2,0,1,-1,1,1,1,
-1,0,-1,1,0,2,0,1,0,1,0,2,1,0,1,0,2,0,0,1,2],[1,1,1,1,2,0,-1,0,1,1,-1,-2,-3,
-2,-2,-1,-2,-1,-1,-1,-2,0,0,0,-1,0,-1,-1,-2,0,1,1,0,0,0,0,-1,-1,1,0,1,1,-1,-1,
1,1,0,2,0,0,1,2,0,0,2,1,1,0,2,1,0,1,0],[1,1,1,0,1,2,1,-1,0,1,-3,-1,-2,-1,-2,
-2,-1,-2,-1,0,-1,-2,-1,0,0,-1,0,-1,1,-2,0,0,1,0,-1,0,0,0,-1,1,-1,1,1,1,-1,1,0,
0,2,2,0,1,2,0,0,0,1,1,0,2,1,0,1],[0,0,0,1,-1,0,-1,0,-2,0,0,-1,1,0,1,0,1,1,0,
-1,1,0,1,0,1,0,0,1,0,1,-2,0,0,1,0,-1,0,1,0,-1,1,-1,1,1,1,-1,1,-1,-1,0,1,-1,-1,
1,-1,0,-1,0,0,-1,1,-1,-1],[-2,-1,0,0,0,0,-1,0,1,0,0,1,1,1,0,-1,1,0,0,1,0,0,0,
-1,1,0,1,1,-1,0,0,-2,0,1,1,0,0,1,-1,1,-1,1,0,1,1,-1,1,0,-1,0,-1,-1,-1,1,-1,-1,
0,1,1,-1,-1,-1,0],[0,-2,-1,0,0,0,1,-1,0,0,1,0,1,-1,1,0,0,1,0,0,1,0,1,0,-1,1,0,
1,0,-1,0,1,-2,0,0,1,0,1,1,-1,0,-1,1,-1,1,1,-1,1,0,-1,0,-1,-1,-1,1,1,-1,0,-1,1,
-1,0,-1],[0,1,-1,1,1,1,1,2,0,1,-1,-1,-2,-2,-3,-1,-2,-2,-1,-1,-1,0,-2,0,-1,0,0,
-1,0,0,-1,0,1,-2,0,0,1,-1,1,1,1,0,-1,1,-1,1,1,0,2,0,0,1,2,0,0,1,2,0,0,0,2,1,
1],[-1,0,3,-1,1,2,0,0,2,1,-1,-1,-3,-2,-2,-1,-3,-1,1,-1,-1,0,-1,0,-1,0,1,-2,-1,
0,1,-1,1,1,-2,0,2,-2,-1,2,1,0,0,-1,0,1,2,0,-1,0,0,2,3,0,-1,1,1,0,1,0,1,2,0],[
3,-1,0,2,-1,1,2,0,0,1,-3,-1,-1,-1,-2,-2,1,-3,-1,0,-1,-1,-1,-1,0,-2,0,1,1,-1,0,
1,-1,1,2,-2,0,2,-2,-1,0,1,0,1,-1,0,-1,2,0,2,0,0,-1,3,0,0,1,1,1,1,0,0,2],[-2,1,
-3,-1,0,-3,-2,0,-2,-1,3,1,3,2,3,2,3,5,1,1,2,1,2,1,1,3,0,2,0,1,-1,1,1,-1,0,2,
-2,-1,2,-2,0,0,1,0,1,-1,-2,-3,0,-2,0,-2,-2,-3,1,-1,-2,-1,-2,-1,-1,-2,-2],[-1,
-1,1,-2,-1,2,1,-2,0,0,-1,1,3,1,1,-1,1,0,0,1,2,-1,0,0,1,0,0,1,2,-2,0,-1,0,1,-1,
1,1,1,-1,0,-2,-1,2,1,0,0,0,-1,0,1,-1,-1,1,-1,-2,-1,-1,1,-2,2,-1,-1,0],[1,-1,
-1,2,-2,-1,0,1,-2,0,3,-1,1,-1,1,1,0,1,0,-1,1,2,1,0,0,1,0,0,0,2,-2,1,-1,0,1,-1,
1,0,1,-1,2,-2,-1,0,1,0,0,0,-1,-1,1,-1,-2,1,-1,1,-1,-1,-1,-2,2,0,-1],[0,2,0,0,
3,-1,-1,1,2,1,-1,1,-3,-1,-3,-1,-2,-2,-1,1,-2,0,-1,0,-1,-1,0,-1,-2,0,2,0,1,-1,
1,1,-1,-1,0,1,-1,2,-2,0,0,1,0,1,1,0,0,2,0,-1,2,0,2,0,3,0,-1,1,1],[2,-1,1,0,0,
2,3,-1,0,1,-1,-2,-2,-3,-1,1,-3,-1,-1,-1,-1,0,0,1,-2,0,-1,-1,1,-1,1,2,-2,0,-1,
0,1,0,1,0,1,-1,0,-2,-1,2,-1,3,0,0,1,1,1,0,1,2,0,0,-1,2,0,2,0],[1,2,-1,2,0,0,0,
3,-1,1,-2,-1,-2,1,-3,-1,-1,-3,-1,0,-1,-1,-2,0,1,-1,0,-1,1,1,-1,0,2,-2,1,-1,0,
0,0,1,0,1,-1,2,-2,-1,0,-1,3,1,0,1,1,1,0,0,2,0,0,-1,2,0,2],[-3,-1,0,-2,0,-2,-3,
-2,1,-1,2,2,3,3,5,1,3,3,1,1,2,1,3,0,2,1,1,2,-1,1,1,-2,0,2,0,1,-1,1,0,0,-1,0,1,
-1,2,-2,1,-2,-3,-1,-1,-2,-2,-1,-1,-2,-2,0,0,-2,-3,-2,-2]],[[0,0,0,0,1,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0],[0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,
0,0,0],[0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0],[0,0,0,0,0,0,1,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,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,-1,0],[0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,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,-1],[1,1,1,1,1,1,1,1,2,1,-2,-2,-2,-2,-2,-2,-2,-2,-2,-1,-1,-1,-1,-1,-1,-1,-1,
-1,0,0,1,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,
0,0,0,0,0,0,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,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],[0,1,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,
0,0,0,0,0,0,0,0,0,0,0],[0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0],[0,
0,-1,0,0,-1,1,0,0,0,0,1,0,0,0,1,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,-1,0,0,0,1,
0,0,0,1,-1,0,0,0,0,-1,0,0,0,0,0,0,-1,0,0,0,0,0,0,-1,0],[-1,0,0,-1,0,0,0,1,0,0,
0,0,1,1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,-1,0,0,0,0,0,0,1,0,-1,0,1,0,0,0,0,0,
-1,0,0,0,-1,0,0,0,0,0,0,0,0,0,-1],[1,0,1,1,0,1,1,1,2,1,-1,-2,-2,-2,-1,-2,-2,
-2,-2,-1,0,-1,-1,-1,-1,-1,-1,-1,0,0,1,0,-1,0,0,0,0,0,0,1,1,-1,0,0,0,0,0,1,1,1,
1,1,1,0,1,1,1,1,1,1,1,1,1],[1,0,0,0,0,-1,0,-1,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,0,
1,0,0,0,0,0,0,1,0,0,0,0,-1,0,0,0,1,0,0,0,1,-1,0,0,0,-1,0,0,0,-1,0,0,0,0,0,-1,
0,0,0],[0,1,0,-1,0,0,0,0,-1,0,0,0,0,0,0,1,0,0,1,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,
-1,0,0,0,0,0,0,1,0,-1,0,1,0,0,0,0,-1,0,0,0,-1,0,0,0,0,0,-1,0,0],[0,0,1,0,-1,0,
-1,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,-1,0,0,0,0,0,0,1,1,
-1,0,0,0,0,0,0,-1,-1,0,0,0,0,0,-1,0,0,0,0],[0,-1,0,1,0,0,0,-1,0,0,0,1,0,0,0,0,
1,0,0,0,0,0,0,0,0,0,1,0,0,-1,0,0,0,0,1,0,0,1,-1,0,0,0,0,1,0,0,0,-1,0,0,0,0,0,
0,0,-1,0,0,-1,0,0,0,0],[0,0,-1,0,1,0,0,0,-1,0,0,0,1,0,0,0,0,1,0,0,0,0,0,0,0,0,
0,1,0,0,-1,0,0,0,0,1,0,0,1,-1,0,0,0,0,1,0,0,0,-1,0,0,0,0,0,0,0,-1,0,0,-1,0,0,
0],[-1,0,0,0,0,1,-1,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,-1,0,0,0,0,0,0,
0,1,-1,0,1,0,0,0,0,0,1,-1,0,0,0,0,0,0,0,0,0,0,-1,0,0,-1,0,0],[0,0,-1,0,1,-1,1,
0,0,0,0,1,0,1,0,1,1,0,0,0,0,1,0,1,0,0,0,0,2,0,0,0,0,0,0,1,0,1,0,0,0,1,-1,1,-1,
0,0,-1,0,0,0,-1,0,0,-1,0,-2,0,-1,0,0,-2,0],[-1,0,0,-1,0,1,0,1,0,0,0,0,1,1,1,0,
0,1,0,1,0,0,0,0,1,0,0,0,0,2,0,0,0,0,0,0,1,0,1,0,-1,0,1,0,1,-1,0,0,-1,-1,0,0,
-1,0,0,0,0,-2,0,-1,0,0,-2],[2,1,2,3,1,2,2,2,3,2,-3,-4,-4,-4,-3,-3,-4,-4,-3,-2,
-1,-2,-1,-2,-2,-2,-2,-2,0,0,2,0,0,0,1,0,0,0,0,1,1,-1,0,-1,0,1,1,2,2,2,1,2,2,1,
2,0,2,2,2,2,1,2,2],[1,0,0,0,0,-1,1,-1,0,0,1,0,0,0,1,0,0,1,1,0,0,0,0,0,1,1,0,0,
1,0,0,2,0,0,0,0,0,-1,0,1,1,0,0,0,1,-1,-1,0,0,-2,0,0,0,-1,0,0,0,-1,0,-1,0,-2,
0],[0,1,0,-1,0,0,0,1,-1,0,0,1,0,0,0,1,1,0,1,0,0,0,1,0,0,0,1,0,0,1,0,0,2,0,0,0,
0,1,-1,0,0,1,0,-1,0,1,0,-1,0,0,-2,0,0,0,-1,-1,0,0,0,0,-1,0,-2],[2,2,3,2,1,2,1,
2,3,2,-4,-4,-3,-3,-4,-4,-3,-3,-4,-2,-2,-2,-2,-1,-2,-2,-2,-1,0,0,1,0,0,2,0,0,0,
0,1,-1,0,0,1,1,-1,0,2,2,1,2,2,0,1,2,2,2,1,2,1,2,2,2,2],[1,-1,0,1,0,0,0,-1,0,0,
0,1,1,1,0,0,1,0,0,1,0,0,0,0,0,0,1,0,0,0,0,1,0,0,2,0,0,1,-1,0,-1,0,1,1,0,0,0,
-1,0,-2,0,0,-1,0,0,-2,0,0,-1,0,0,0,-1],[1,2,0,1,2,1,1,1,0,1,-1,-2,-1,-2,-1,-2,
-2,-1,-2,-1,0,-1,-1,-1,-1,-1,-1,0,0,0,0,0,1,0,0,2,0,0,1,-1,1,-1,0,0,1,0,1,1,0,
1,-1,1,1,0,1,1,-1,1,1,0,1,1,1],[-1,0,1,0,0,1,-1,0,0,0,1,1,0,0,0,1,0,0,1,0,0,1,
0,0,0,1,0,0,0,0,0,0,0,1,0,0,2,-1,0,1,0,1,-1,0,0,1,-1,0,0,0,0,-2,0,0,-1,0,0,-2,
0,0,-1,-1,0],[-1,-1,-1,-1,-1,-1,-1,0,-1,-1,0,1,2,2,1,1,2,2,1,1,0,0,0,1,1,0,1,
1,0,1,-1,0,0,0,0,-1,-1,0,0,-1,-1,0,1,0,0,-1,0,0,-1,-1,0,0,-1,0,0,0,0,0,-1,-1,
0,0,-2],[1,1,1,1,1,1,1,1,2,1,-2,-4,-3,-3,-2,-3,-3,-2,-2,-2,-1,-2,-1,-2,-1,-1,
-2,-1,-1,0,1,0,0,0,-1,0,-1,-1,0,0,1,-1,0,-1,0,0,1,2,2,2,1,2,2,1,2,2,2,2,2,1,1,
2,2],[-1,-1,-1,-1,-1,-1,0,-1,-1,-1,1,2,0,1,1,2,2,1,2,0,0,1,1,1,0,1,1,0,1,-1,0,
0,0,0,-1,-1,0,0,-1,0,0,1,-1,0,-1,0,0,-1,0,0,0,-1,0,0,-1,0,0,0,-1,0,-1,-2,0],[
-1,0,-1,-1,-1,-1,-1,-1,-1,-1,2,2,1,0,1,2,1,1,2,0,1,1,1,0,0,1,1,0,-1,-1,0,0,1,
-1,0,0,0,0,-1,0,0,0,-1,-1,0,1,-1,-1,0,0,-2,0,0,0,-1,-1,0,0,0,0,-1,0,0],[-1,-1,
0,-1,-1,-1,-1,-1,-1,-1,1,2,2,2,0,1,2,1,1,1,0,1,0,1,0,0,1,1,0,-1,-1,-1,0,1,0,0,
0,0,0,-1,-1,0,0,1,-1,0,0,-1,-1,0,0,-2,-1,0,0,0,-1,0,-1,0,0,0,0],[0,-1,-1,-1,
-1,-1,-1,-1,-1,-1,2,1,2,1,2,0,1,2,1,1,1,0,0,0,1,1,0,1,-1,0,-1,1,-1,0,0,0,0,-1,
0,0,0,-1,0,0,1,-1,-1,0,-1,-2,0,0,0,-1,0,0,0,-1,0,-1,0,0,0],[0,0,0,0,1,0,0,0,0,
0,-1,-1,0,0,0,-1,-1,0,-2,0,0,-1,-1,0,0,-1,-1,0,0,0,0,-1,-1,0,0,1,-1,0,1,-1,0,
-1,0,0,0,-1,1,1,0,1,1,1,0,0,1,1,-1,1,1,0,1,1,1],[-1,-1,-1,-1,-1,0,-1,-1,-1,-1,
2,1,1,1,2,2,0,1,2,0,1,1,1,0,1,1,0,0,0,0,0,0,-1,-1,-1,0,1,-1,0,1,0,0,-1,-1,0,0,
-1,0,0,0,0,0,0,-1,-1,0,0,-2,0,0,-1,-1,0],[-1,-1,-1,0,-1,-1,-1,-1,-1,-1,1,2,1,
2,1,2,2,0,1,1,0,1,1,1,0,0,1,0,0,0,0,-1,0,-1,1,-1,0,1,-1,0,-1,0,0,0,-1,0,0,-1,
0,0,0,0,-1,0,-1,-2,0,0,-1,0,0,0,-1],[-1,-1,-2,-1,0,-2,0,-2,-1,-1,1,2,2,2,1,1,
2,2,1,1,0,1,0,1,1,1,1,1,0,-1,-1,0,0,-1,0,0,-1,0,0,-1,-1,0,0,1,0,-1,0,-1,-1,-1,
0,0,-1,0,0,0,-1,0,-1,-1,0,-1,0],[-2,-1,-1,-2,-1,0,-1,0,-2,-1,2,1,2,1,2,1,1,2,
2,1,1,0,1,0,1,1,1,1,-1,0,-1,-1,0,0,-1,0,0,-1,0,0,0,-1,0,-1,1,0,-1,0,-1,0,-1,0,
0,-1,0,0,0,-1,0,-1,-1,0,-1],[0,-1,0,1,-1,0,-1,0,1,0,0,0,-1,-1,-1,0,0,-1,0,-1,
0,0,0,0,-1,0,0,0,-1,-1,0,0,-1,0,0,-1,0,0,-1,0,0,0,-1,0,-1,1,0,0,1,1,1,0,1,1,0,
0,1,1,0,1,0,1,1],[0,-2,-1,-1,-1,-2,0,-2,-1,-1,2,2,1,1,2,2,1,1,2,1,1,1,1,0,1,1,
1,0,0,-1,0,0,-1,-1,0,0,-1,0,-1,1,0,0,-1,-1,0,0,-1,-1,0,-1,0,0,0,-1,-1,-1,0,0,
0,0,-1,-1,0],[-1,0,-2,-2,-1,-1,-1,0,-2,-1,1,2,2,2,1,2,2,1,1,1,1,1,1,1,0,0,1,1,
0,0,-1,-1,0,-1,-1,0,0,1,0,-1,-1,0,0,0,-1,0,0,-1,-1,0,-1,0,-1,0,-1,0,-1,0,-1,0,
0,0,-1],[-1,0,1,0,-1,0,-1,0,1,0,0,-1,0,0,0,-1,-1,0,-1,0,0,0,-1,0,0,0,-1,0,-1,
0,0,-1,-1,0,0,-1,0,-1,1,0,0,-1,0,0,0,-1,0,1,0,1,1,0,0,0,1,1,1,0,1,0,1,1,1],[1,
-1,0,1,-1,0,0,-1,0,0,-1,-1,0,0,0,-1,0,0,-1,0,0,-1,0,0,0,-1,0,0,0,-1,0,0,-1,0,
0,-1,-1,0,0,-1,0,-1,1,0,0,-1,1,1,0,0,1,1,0,0,1,0,1,1,0,0,1,1,1],[-1,0,-2,-1,0,
-2,-1,-1,-2,-1,2,1,1,1,2,2,1,2,2,0,1,1,1,1,1,1,0,1,0,0,-1,0,0,-1,-1,0,-1,-1,0,
0,1,0,-1,-1,0,0,-1,0,0,0,-1,0,0,-1,-1,0,-1,0,0,-1,-1,-1,0],[-2,-1,0,-2,-1,0,
-2,-1,-1,-1,1,2,1,2,1,2,2,1,2,1,0,1,1,1,1,1,1,0,-1,0,0,-1,0,0,-1,-1,0,0,-1,0,
-1,1,0,0,-1,0,0,-1,0,0,0,-1,-1,0,-1,0,0,-1,-1,0,-1,0,-1],[-1,-2,-3,-1,-1,-1,0,
-1,-2,-1,3,3,2,1,2,3,2,2,3,1,1,2,2,0,1,2,2,1,0,0,-1,1,0,-2,0,0,1,1,-1,1,0,1,
-1,-1,1,1,-2,-2,-1,-2,-1,0,0,-1,-2,-2,0,-2,-1,-1,-2,-2,-2],[-1,1,0,1,1,1,0,2,
1,1,-2,-1,-1,-1,-3,-2,-1,-2,-2,0,-1,-1,-1,0,-2,-1,0,0,-1,0,0,-2,1,0,1,0,0,1,1,
-1,-1,0,1,1,-1,1,1,0,0,2,0,1,0,2,1,0,0,2,0,1,1,2,0],[0,-1,1,1,1,1,1,0,2,1,-1,
-2,-1,-2,-1,-3,-2,-1,-2,-1,0,-1,-2,-1,0,0,-1,0,0,-1,0,0,-2,1,0,1,0,-1,1,1,1,
-1,0,1,1,-1,0,1,0,1,2,0,1,0,2,2,0,0,1,0,1,0,2],[2,1,0,1,0,-1,1,1,1,1,-2,-2,-1,
-1,-1,-2,-2,-1,-3,0,0,-1,-1,-1,0,-2,-1,0,0,1,0,0,0,-1,1,0,-2,1,1,-1,1,-1,1,0,
1,-1,1,1,0,0,0,2,0,0,1,0,1,2,1,0,2,2,0],[0,2,1,-1,1,0,1,1,1,1,-1,-2,-2,-2,-1,
-1,-3,-2,-1,-1,0,0,0,-1,-1,0,-2,-1,0,0,1,-1,0,0,-2,1,0,-1,1,1,1,1,-1,-1,0,1,0,
1,1,2,0,0,1,0,0,2,0,1,2,1,0,0,2],[-1,-2,0,-2,-3,-1,-1,-1,-1,-1,2,3,2,3,2,3,3,
1,2,2,1,2,1,2,1,1,2,0,1,0,0,0,-1,0,0,-2,1,1,-1,1,-1,1,1,1,-1,0,-1,-2,-1,-2,0,
-2,-2,-1,-2,-1,0,-2,-2,0,-1,-2,-2],[1,1,1,2,1,0,0,-1,1,1,-2,-1,-3,-2,-2,-1,-1,
-2,-1,-2,-1,0,0,0,-1,-1,0,-1,0,-2,1,0,1,0,0,0,-1,1,-1,0,1,1,-1,1,-1,1,1,0,2,2,
0,0,1,1,0,0,0,2,0,1,0,1,2],[-1,-1,-1,-2,0,-1,-1,-2,-3,-1,1,2,3,3,2,2,3,3,2,2,
0,1,1,2,2,1,1,2,1,0,-2,0,0,1,-1,0,0,0,1,-1,-1,1,1,1,1,-1,0,-1,-2,-2,0,-2,-2,
-1,-1,0,-2,-2,-2,-2,-1,-2,-1],[0,0,0,0,-1,1,-2,0,-1,0,1,-1,0,0,1,0,0,1,1,0,1,
-1,1,0,1,1,0,0,-2,1,0,1,0,0,0,-1,0,-1,0,1,1,-1,1,-1,1,1,-1,1,0,-1,-1,1,0,-1,0,
-1,1,-1,0,-1,-1,1,-1],[2,0,3,3,1,1,1,0,4,2,-4,-4,-3,-1,-3,-5,-3,-3,-5,-1,-2,
-2,-3,0,-1,-2,-2,-1,1,-1,1,0,-2,2,1,0,-1,0,1,0,0,-1,1,2,-1,-2,2,2,1,1,4,0,1,1,
3,2,1,2,1,1,3,1,3],[0,-1,-3,-2,0,-2,1,-2,-3,-1,3,2,2,1,5,3,1,3,3,1,2,1,2,0,3,
2,1,1,1,1,-1,2,0,-2,-1,1,0,0,0,1,1,0,-1,-2,2,-1,-2,-1,-1,-3,-2,1,0,-2,-2,-1,
-1,-2,0,-2,-2,-3,-2],[-1,2,1,0,0,2,-1,3,0,1,-2,-1,-2,-1,-3,1,-1,-3,-1,-1,-1,0,
1,0,-2,-1,0,-1,-1,1,1,-2,2,0,0,-1,1,1,0,0,-1,1,0,-1,-2,2,1,0,1,3,-1,0,0,2,0,0,
1,1,0,2,0,2,-1],[-1,-2,2,0,-2,1,-1,-1,1,0,1,1,-1,0,0,1,1,-1,3,0,0,1,1,0,0,2,1,
-1,0,-1,1,1,-1,1,0,-2,2,-1,-2,2,0,1,0,0,-1,1,-1,-1,1,-1,1,-2,0,0,-1,-1,2,-2,
-1,1,-1,-1,0],[2,-1,-2,1,0,-2,1,-1,-1,0,-1,1,1,1,0,0,3,1,-1,1,0,0,0,1,0,-1,2,
1,1,0,-1,1,1,-1,2,0,-2,2,-1,-2,0,0,1,1,0,-1,1,-1,-1,-2,-1,1,-1,0,0,-2,-1,2,-1,
-1,1,0,-1],[-1,3,0,-1,2,1,0,2,0,1,-1,-3,-1,-2,-1,-2,-3,1,-1,-1,0,-1,-1,-1,0,0,
-2,1,-1,1,0,-1,1,1,-2,2,0,-2,2,-1,1,0,0,-1,1,0,0,2,0,2,-1,0,1,0,1,3,-1,0,2,0,
0,1,1],[0,0,2,0,-1,3,-1,2,1,1,-1,-3,1,-1,-1,-3,-2,-1,-2,1,0,-2,-1,-1,0,-1,-1,
0,-2,2,0,0,-1,1,1,-1,1,-1,1,0,-1,-2,2,0,1,0,0,2,0,0,1,1,0,0,2,0,2,-1,1,0,1,3,
-1],[3,1,1,4,1,0,2,0,3,2,-1,-3,-5,-5,-3,-3,-4,-4,-3,-3,0,-1,-1,-2,-2,-1,-2,-2,
0,-2,2,1,0,-1,1,1,-1,0,-1,1,2,-1,-2,0,0,1,1,1,3,2,1,2,3,1,1,0,1,3,2,2,1,1,4],[
-3,-1,-3,-4,0,-3,-1,-2,-4,-2,3,7,5,5,3,5,5,4,4,3,1,4,2,3,2,2,3,2,2,0,-2,-1,1,
0,-1,1,1,1,0,-1,-2,2,-1,1,0,0,-1,-3,-3,-2,-2,-3,-3,-1,-3,-1,-4,-3,-3,-2,-2,-4,
-3]]],
[["U3(8).3_2",0]],
[( 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)(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)(184,185,186)(187,188,189)
(190,191,192),(  4,  5,  6)(  7,  9,  8)( 11, 17, 14)( 12, 18, 15)
( 13, 19, 16)( 20, 26, 23)( 21, 27, 24)( 22, 28, 25)( 29, 41, 35)( 30, 42, 36)
( 31, 43, 37)( 32, 44, 38)( 33, 45, 39)( 34, 46, 40)( 47, 60, 55)( 48, 61, 53)
( 49, 59, 54)( 50, 64, 57)( 51, 62, 58)( 52, 63, 56)( 67, 79, 75, 68, 80, 73,
  69, 81, 74)( 70, 82, 78, 71, 83, 76, 72, 84, 77)( 85, 97, 93, 86, 98, 91,
  87, 99, 92)( 88,100, 96, 89,101, 94, 90,102, 95)(103,127,117,104,128,115,
105,129,116)(106,130,120,107,131,118,108,132,119)(109,133,123,110,134,121,
111,135,122)(112,136,126,113,137,124,114,138,125)(139,151,147,140,152,145,
141,153,146)(142,154,150,143,155,148,144,156,149)(157,169,165,158,170,163,
159,171,164)(160,172,168,161,173,166,162,174,167)(175,187,183,176,188,181,
177,189,182)(178,190,186,179,191,184,180,192,185),(  2,  3)(  4,  7)(  5,  9)
(  6,  8)( 12, 13)( 15, 16)( 18, 19)( 21, 22)( 24, 25)( 27, 28)( 29, 32)
( 30, 34)( 31, 33)( 35, 38)( 36, 40)( 37, 39)( 41, 44)( 42, 46)( 43, 45)
( 47, 50)( 48, 52)( 49, 51)( 53, 56)( 54, 58)( 55, 57)( 59, 62)( 60, 64)
( 61, 63)( 65, 66)( 67, 70)( 68, 71)( 69, 72)( 73, 76)( 74, 77)( 75, 78)
( 79, 82)( 80, 83)( 81, 84)( 85, 88)( 86, 89)( 87, 90)( 91, 94)( 92, 95)
( 93, 96)( 97,100)( 98,101)( 99,102)(103,112)(104,113)(105,114)(106,109)
(107,110)(108,111)(115,124)(116,125)(117,126)(118,121)(119,122)(120,123)
(127,136)(128,137)(129,138)(130,133)(131,134)(132,135)(139,142)(140,143)
(141,144)(145,148)(146,149)(147,150)(151,154)(152,155)(153,156)(157,160)
(158,161)(159,162)(163,166)(164,167)(165,168)(169,172)(170,173)(171,174)
(175,178)(176,179)(177,180)(181,184)(182,185)(183,186)(187,190)(188,191)
(189,192)],
[1,0,0,1,0,0,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,
0,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
rec(version:=3,
date:="02.10.92"));

MBT("3.U3(8).3_2",7,
"origin: modular ATLAS of finite groups, tests: DEC",
[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,41,42,43,44,45,46,47,48,49,50,51,52,53,
54,55,56,57,58,79,80,81,88,89,90,85,86,87,82,83,84,91,92,93,100,101,102,97,98,
99,94,95,96,103,104,105,112,113,114,109,110,111,106,107,108],
[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,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,3,4,5],[2,3,4,5]],1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],
[],
[["U3(8).3_2",0]],
[( 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),(  7,  8,  9)( 10, 12, 11)( 17, 18, 19)( 20, 22, 21)
( 23, 29, 26)( 24, 30, 27)( 25, 31, 28)( 52, 64, 60, 53, 65, 58, 54, 66, 59)
( 55, 67, 63, 56, 68, 61, 57, 69, 62)( 70, 82, 78, 71, 83, 76, 72, 84, 77)
( 73, 85, 81, 74, 86, 79, 75, 87, 80)( 88,100, 96, 89,101, 94, 90,102, 95)
( 91,103, 99, 92,104, 97, 93,105, 98),(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),( 32, 35)( 33, 36)( 34, 37)( 38, 41)
( 39, 42)( 40, 43)( 44, 47)( 45, 48)( 46, 49)(106,112)(107,113)(108,114)
(109,115)(110,116)(111,117)(118,124)(119,125)(120,126)(121,127)(122,128)
(123,129)(130,136)(131,137)(132,138)(133,139)(134,140)(135,141),( 32, 38, 44)
( 33, 39, 45)( 34, 40, 46)( 35, 41, 47)( 36, 42, 48)( 37, 43, 49)
(106,118,130,108,120,132,107,119,131)(109,121,133,111,123,135,110,122,134)
(112,124,136,114,126,138,113,125,137)(115,127,139,117,129,141,116,128,140),
(  2,  3)(  5,  6)(  7, 10)(  8, 12)(  9, 11)( 15, 16)( 17, 20)( 18, 22)
( 19, 21)( 24, 25)( 27, 28)( 30, 31)( 33, 34)( 36, 37)( 39, 40)( 42, 43)
( 45, 46)( 48, 49)( 50, 51)( 52, 55)( 53, 56)( 54, 57)( 58, 61)( 59, 62)
( 60, 63)( 64, 67)( 65, 68)( 66, 69)( 70, 73)( 71, 74)( 72, 75)( 76, 79)
( 77, 80)( 78, 81)( 82, 85)( 83, 86)( 84, 87)( 88, 91)( 89, 92)( 90, 93)
( 94, 97)( 95, 98)( 96, 99)(100,103)(101,104)(102,105)(106,109)(107,110)
(108,111)(112,115)(113,116)(114,117)(118,121)(119,122)(120,123)(124,127)
(125,128)(126,129)(130,133)(131,134)(132,135)(136,139)(137,140)(138,141)],
0,
rec(version:=2,
date:="28.09.92"));

MBT("3.U3(8).6",19,
TEXT1,
[22,23,23,23,23,23,23,23,23,23,24,25,26,27,28],
[0,1,0,0,0,0,0],
[],
[,[[1,10,11],[2,10,11],[3,10,11],[4,10,11],[5,10,11],[6,10,11],[7,10,11],[9,
10,11],[8,10,11]]],
[],
[["U3(8).6",0]],
[(22,23)(50,52)(51,53),(17,18,19),(40,41,42)(43,44,45),(10,11)(26,27)(28,29)
(30,31)(32,33)(34,35)(36,38)(37,39)(40,43)(41,44)(42,45)(46,47)(48,49)(50,51)
(52,53)],
0,
rec(version:=3,
date:="30.09.92"));

MBT("3.U3(8).6",2,
TEXT1,
[5,5,5,5,5,5,5],
[9],
[[40,41,50,51,52,53,55]],
[],
[[[1,0,0,0,1,0,-1],[1,2,-2,-1,0,1,1],[3,3,-2,-1,3,1,-2],[-4,-5,4,1,-2,-2,1],[
-5,-4,4,2,-4,-2,2],[0,3,-3,0,-1,2,1],[0,3,-1,1,1,0,-1]]],
[["U3(8).6",0]],
[(15,16)(17,18)(19,20)],
[1,0,0,1,1,1,0,0,1,1,1,0,0,1,1,1,1,1,1,1],
rec(version:=3,
date:="02.10.92"));

MBT("3.U3(8).6",7,
TEXT1,
[22,23,24,25,26,27,28,29,31,30,32,22,33,34],
[1,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,3,4,5],[2,3,4,5]]],
[],
[["U3(8).6",0]],
[(20,21)(47,49)(48,50),(16,17),(37,38,39)(40,41,42),(10,11)(23,24)(25,26)
(27,28)(29,30)(31,32)(33,35)(34,36)(37,40)(38,41)(39,42)(43,44)(45,46)(47,48)
(49,50)],
0,
rec(version:=2,
date:="28.09.92"));

MBT("3.U3(8).S3",2,
0,
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,3,4,4
,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4
,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4],
[10,1,0,9],
[[1,3,4,6,7,8,9,10,12,14,15,17,18,20,21,22,23,27,29,30,32,36,37,38,39,40,41,45
,46,47,48,49,50,51,52],,,[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,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125]]
,
[,[[1,2]]],
[[[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,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],[2,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,0,0,0,0,0,0,-1,0,0],[0,2,0,0,0,0,0
,0,0,0,0,-1,0,0,0,0,0,0,1,0,0,0,0,0,1,0,1,0,0,0,-1,-1,0,0,0],[2,0,1,1,0,1,0,-2
,-2,-1,-2,-1,-1,-2,-1,0,-1,0,0,1,0,0,0,-1,0,0,-1,1,1,1,1,1,1,1,1],[0,2,0,0,-1,
-2,-1,0,2,1,2,1,0,1,1,0,1,0,0,0,1,-1,-1,0,-1,-1,0,0,0,0,0,0,0,-1,-1],[1,0,-1,0
,0,0,0,1,0,0,1,0,1,0,0,0,0,-1,0,-1,0,1,0,0,0,0,0,0,0,-1,0,0,0,0,0],[0,1,0,-1,0
,0,0,2,0,0,0,1,0,1,0,0,0,0,-1,0,-1,0,1,1,0,0,0,-1,-1,0,0,0,0,0,0],[-2,0,-2,0,1
,0,0,2,0,0,2,0,2,0,0,0,0,-2,0,-2,0,2,0,0,1,0,0,0,0,-2,-1,0,0,0,0],[0,-1,0,-1,0
,1,0,2,0,0,0,1,0,1,0,0,0,0,-1,0,-1,0,1,1,0,1,0,-1,-1,0,0,0,-1,0,0],[0,-1,0,-1,
0,0,1,2,0,0,0,1,0,1,0,0,0,0,-1,0,-1,0,1,1,0,0,1,-1,-1,0,0,-1,0,0,0],[0,0,0,0,0
,0,-1,0,0,1,0,0,0,1,1,0,0,2,0,0,0,0,-1,0,0,1,0,0,0,0,0,0,-2,-1,0],[0,0,1,1,0,1
,1,-2,-2,-1,-2,-2,0,-2,-1,0,-1,0,1,0,0,0,0,-1,1,0,0,1,1,1,0,0,1,1,1],[0,0,0,0,
0,-1,0,0,2,0,0,0,0,1,0,0,1,0,1,0,0,-1,0,0,0,0,1,0,0,0,-1,-1,0,0,-1],[0,0,2,2,0
,2,1,-4,-4,-2,-4,-2,-2,-4,-2,0,-2,0,0,2,0,0,0,-1,0,0,-2,1,2,2,2,2,2,2,2],[0,0,
0,0,0,-2,-1,0,2,1,2,1,0,1,1,0,1,0,0,0,1,0,-1,0,-1,-1,0,0,0,-1,0,0,0,-1,-1],[0,
0,0,0,-1,-1,-1,0,2,1,2,1,0,1,1,0,1,0,0,0,1,-1,0,0,-1,-1,0,0,-1,0,0,0,0,-1,-1],
[0,-2,1,-1,0,0,1,0,0,0,-2,1,-2,1,0,0,0,2,-1,2,-1,-1,0,1,-1,1,0,-1,0,1,1,0,-1,0
,0],[-2,-1,-2,-1,0,-1,-1,2,2,2,4,1,2,2,2,0,1,0,0,-2,1,1,-1,0,0,-1,1,0,-1,-2,-1
,-1,-1,-2,-1],[-2,-1,0,1,1,2,1,-2,-2,-2,-2,-2,0,-3,-2,0,-1,-2,1,0,0,0,1,-1,1,0
,-1,1,1,1,0,1,2,2,1],[3,-1,2,2,0,3,2,-4,-5,-3,-7,-2,-2,-5,-3,0,-3,1,0,2,-1,0,1
,-1,0,2,-2,1,2,3,2,2,1,3,3],[-2,2,-2,-2,-1,-4,-3,4,6,4,8,3,2,5,3,0,3,0,1,-2,1,
0,-1,1,0,-2,2,-1,-2,-3,-3,-3,-2,-3,-3],[1,0,-1,2,1,1,0,-2,-2,-2,-1,-2,1,-3,-2,
0,-1,-2,1,-1,1,2,0,-2,1,0,-1,2,2,-1,0,1,2,1,1],[0,1,2,-1,-1,-1,0,0,0,0,0,1,-2,
2,1,-1,0,2,-1,2,0,-2,0,2,-1,0,1,-1,-1,2,1,0,-1,-1,-1],[2,-1,-2,-1,-1,-1,-2,3,2
,3,3,2,2,3,2,0,1,1,-1,-1,0,1,-1,0,-1,1,0,-1,-1,-2,0,0,-3,-2,-1],[-2,1,1,0,0,0,
1,0,0,-1,-2,-1,0,-1,-2,0,-1,-2,0,0,-1,-1,1,0,1,-1,0,0,0,1,0,0,3,2,1],[-4,0,-4,
-3,0,-3,-2,6,8,3,8,3,4,6,3,0,4,-2,1,-4,0,0,0,1,0,-1,3,-1,-3,-4,-4,-3,-2,-3,-3]
,[-2,-1,0,-2,0,0,1,2,0,1,0,1,0,2,1,0,0,2,-1,0,-2,-1,0,2,0,1,1,-2,-1,1,0,-1,-2,
0,0],[2,-3,0,1,1,4,2,-2,-6,-2,-6,-2,0,-4,-3,1,-3,0,0,0,-2,2,1,-2,2,2,-2,1,2,1,
1,1,1,3,3],[0,0,2,-1,-2,-1,0,-2,2,1,0,1,-2,2,2,0,1,4,0,2,1,-3,0,1,-2,0,1,-1,-1
,2,1,-1,-2,-2,-1],[-2,1,2,2,1,1,1,-6,-2,-3,-4,-3,-2,-4,-2,0,-1,0,2,2,1,-1,0,-1
,1,-1,-1,2,2,2,0,1,3,2,1],[2,-1,-1,2,1,0,-1,-4,-2,0,0,-2,0,-2,0,0,0,0,2,0,2,2,
-2,-2,0,0,-1,2,2,-1,0,1,0,0,0],[-2,-1,2,0,1,1,3,-2,-2,-3,-4,-1,-2,-3,-3,0,-1,
-2,-1,2,-1,-1,2,0,0,-1,0,0,1,2,1,1,4,3,1],[-4,0,-3,-2,0,-2,-2,4,4,3,8,2,2,4,3,
0,2,-2,-1,-2,1,1,-1,1,0,-2,1,-1,-2,-3,-1,-1,-1,-3,-2],[2,-3,-1,0,0,2,0,0,-2,0,
-2,1,0,-1,0,0,-1,0,-2,0,0,1,0,0,-1,2,-2,0,0,0,2,2,-1,0,1]],,,[[0,0,0,0,0,0,0,1
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,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,-1,0,0,0],[0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
-1,0,0],[0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,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,-1,0,0,0,0],[0,0,0,0,0,1,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0],[0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,
0,0],[0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0],[0,1,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,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,0,0],[0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,1,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,0
],[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,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,0,0,0],[0,1,0,0,0,-1,-1,0,0,0,0,
0,0,1,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,-1,0,0,0,0,1,0,1,0,-1,0,-1,0
,0,0,0,0,0,0,-1,0,0,0,0,0,-1,0],[1,1,2,0,1,1,1,0,1,1,-2,-2,-2,-2,-1,-2,-2,-1,
-2,-1,-1,-1,0,-1,-1,-1,-1,-1,0,0,0,0,0,1,-1,0,0,0,0,0,0,0,1,-1,1,0,1,1,0,1,1,1
,1,1,1,1,1,0,1,1,1,1,1],[1,0,0,0,-1,0,0,0,-1,0,0,0,0,0,0,1,0,0,1,0,0,0,0,1,0,0
,0,0,0,0,0,1,0,0,0,-1,0,0,0,0,1,0,0,0,-1,1,-1,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,
-1],[0,-1,0,0,-1,0,1,0,0,0,0,0,1,0,1,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,-1,0,0,
0,0,1,0,0,0,-1,1,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,-1,-1,0,0,0,0],[-1,0,0,-1,0,0,0,
0,1,0,0,1,0,1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,1,-1,0,0,0,0,0,0,0,1,-1,1,0,0,0,
0,0,0,0,0,0,-1,0,0,0,-1,0,0,0,0,-1,0,0],[0,0,-1,0,0,-1,0,1,0,0,1,0,0,0,0,1,0,0
,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,-1,0,0,0,0,1,0,1,0,-1,0,0,0,0,0,0,-1,0,0,0,0,0,
0,-1,0,0,-1,0,0,0],[0,1,1,1,2,1,0,1,1,1,-1,-2,-2,-2,-2,-2,-2,-1,-2,-1,-1,-1,-1
,-1,-1,0,-1,-1,-1,0,0,0,0,0,0,1,0,-1,1,0,0,0,0,0,1,0,1,1,1,0,1,1,1,0,1,1,1,1,1
,1,1,1,1],[0,-1,0,0,0,1,0,-1,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,-1,0,0,
0,0,0,0,1,0,-1,1,0,0,0,0,0,1,0,0,0,0,0,-1,0,0,-1,0,0,0,0,0,0,0,-1],[0,0,-1,1,0
,0,0,0,-1,0,0,0,1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,1,0,0,-1,0,0,0,1,0,0,1,0,-1,0,0,
0,1,0,0,0,0,0,0,-1,0,-1,0,0,0,0,0,0,0,0,-1,0],[0,1,0,0,0,-1,-1,1,0,0,0,1,0,1,0
,0,1,0,1,0,0,0,0,0,1,0,1,0,0,1,0,0,2,0,0,0,0,0,-1,1,0,1,0,1,0,-1,0,-2,0,0,0,-1
,0,0,-1,-1,0,0,0,-2,0,-1,0],[1,1,2,0,1,1,1,0,2,1,-2,-2,-1,-2,-1,-2,-1,-1,-2,-1
,-1,-1,0,-1,-1,-1,-1,0,0,0,1,0,0,2,0,0,0,1,0,-1,0,0,1,-1,1,0,1,1,-1,1,0,1,0,1,
1,1,1,0,1,1,-1,1,1],[1,0,0,0,-1,0,1,0,-1,0,1,0,0,0,0,1,0,1,1,0,0,0,0,1,0,1,0,0
,1,0,0,2,0,0,0,0,0,-1,1,0,1,0,0,0,-1,1,-2,0,0,-1,0,0,0,-1,0,0,-1,0,-2,0,0,0,-1
],[0,-1,0,0,-1,1,1,0,0,0,0,0,1,1,1,0,1,0,0,0,1,0,0,0,1,0,0,0,2,0,0,0,0,0,0,0,1
,1,0,0,0,-1,1,1,0,-1,0,-1,0,0,-1,0,0,0,-2,0,0,-1,-2,0,0,-1,0],[-1,0,0,-1,1,0,0
,0,1,0,0,1,0,1,0,1,0,0,1,1,0,0,0,1,0,0,0,0,0,0,2,0,0,0,0,1,0,0,0,1,-1,1,0,0,-1
,1,-1,0,0,0,0,-1,0,-2,0,-1,0,0,0,0,-2,0,-1],[1,1,0,2,1,0,1,2,1,1,-1,-2,-2,-2,
-1,-1,-2,-1,-2,-1,-1,0,0,-1,-1,-1,-1,-1,0,2,0,0,0,0,1,0,0,0,1,0,1,0,-1,-1,1,0,
1,1,0,0,1,1,-1,1,1,1,0,1,1,-1,1,1,1],[0,2,1,1,2,1,0,1,1,1,-1,-2,-1,-2,-1,-2,-2
,-1,-2,-1,0,-1,-1,-1,-1,0,-1,-1,0,0,0,0,1,0,0,2,0,-1,1,0,0,-1,1,0,1,0,1,-1,1,0
,1,1,1,-1,1,1,1,0,0,1,1,1,1],[0,-1,1,0,0,1,0,-1,0,0,1,1,0,0,0,1,0,0,1,0,0,1,0,
0,0,0,1,0,0,0,0,0,0,1,0,0,2,0,-1,1,1,0,-1,0,0,1,0,0,-2,0,0,-1,0,0,-2,0,-1,0,0,
-1,0,0,-1],[1,0,-1,1,0,0,0,0,-1,0,0,1,1,1,0,0,1,0,0,1,0,0,0,0,0,0,0,1,0,0,0,1,
0,0,2,0,0,1,0,-1,-1,1,0,1,0,0,-2,0,0,0,-1,0,-2,0,0,-1,0,0,0,0,-1,-1,0],[0,-1,
-1,-1,-1,-1,-1,-1,-1,-1,2,2,1,1,0,2,1,1,2,1,0,1,0,1,0,1,1,0,-1,-1,0,1,0,-1,0,0
,0,-1,0,0,0,0,-1,0,-1,1,-2,0,0,-1,0,-1,0,-1,0,0,-1,0,0,0,0,0,-1],[-1,0,-1,-1,
-1,-1,-1,-1,-1,-1,1,2,2,2,1,0,2,1,1,1,1,0,0,0,1,0,1,1,0,-1,-1,-1,1,0,0,0,0,0,
-1,0,-1,0,0,1,0,-1,0,-2,0,0,-1,-1,0,0,-1,-1,0,0,0,0,0,-1,0],[0,0,1,0,0,0,0,0,0
,0,0,-1,0,-2,0,-1,-1,0,-1,-1,0,0,0,-1,-1,0,-1,0,-1,0,-1,0,-1,1,0,0,0,0,0,-1,0,
-1,0,-1,1,0,1,1,-1,0,0,1,0,1,1,1,1,0,1,1,1,1,1],[-1,-1,-1,-1,-1,-1,-1,-1,0,-1,
0,2,1,2,1,1,2,1,2,1,0,0,0,1,1,0,1,1,0,-1,1,0,0,0,0,-1,-1,0,-1,0,-1,1,0,0,-1,0,
-1,0,0,0,0,-1,0,0,0,-1,0,0,0,0,-2,-1,-1],[0,0,0,0,0,0,0,1,0,0,0,-1,-2,-1,-1,0,
-1,0,0,-1,-1,0,0,0,-1,0,0,-1,-1,1,0,0,0,0,-1,-1,0,-1,0,0,1,0,-1,-1,0,0,1,1,0,0
,1,1,1,1,1,1,0,1,1,-1,1,1,0],[0,0,0,0,0,0,1,0,0,0,-1,-2,0,-1,0,-1,0,0,-1,-1,0,
-1,0,-1,0,0,-1,0,1,0,-1,0,0,0,-1,0,-1,0,0,-1,0,-1,1,0,0,-1,1,0,1,1,0,1,1,1,1,1
,1,0,-1,1,1,0,1],[-1,-1,-1,0,-1,-1,-1,-1,-1,-1,1,1,2,2,2,1,2,1,0,1,1,0,1,0,1,0
,0,1,0,0,0,-1,-1,0,1,0,-1,1,0,-1,-1,0,0,0,0,-1,0,0,0,0,-1,0,-2,0,0,-1,0,-1,0,0
,-1,-1,0],[0,0,0,0,1,0,0,0,0,0,0,-1,-1,-1,0,0,-2,0,-1,-1,0,0,0,0,-1,0,-1,-1,0,
0,0,0,-1,-1,-1,1,0,-1,1,0,0,-1,0,-1,0,0,1,1,1,0,1,1,1,-1,1,1,0,0,0,1,1,1,1],[
-1,-1,-1,-1,-1,0,-1,-1,-1,-1,1,2,1,2,1,2,1,0,2,1,0,1,0,1,1,0,1,0,0,0,0,-1,0,-1
,0,-1,1,0,-1,1,0,0,-1,0,-1,0,0,0,0,0,0,-1,0,0,-2,-1,-1,0,0,-1,0,0,-1],[-2,0,-1
,-1,-1,-2,-2,0,-1,-1,2,2,1,2,1,2,1,1,2,1,1,1,0,1,1,1,1,0,-1,0,0,-1,0,-1,0,0,-1
,-1,0,1,0,0,-1,0,-1,0,0,-1,0,-1,0,-1,0,-1,0,-1,-1,0,0,-1,0,0,-1],[-1,-2,0,-2,
-1,-1,-1,-2,0,-1,1,2,2,2,2,1,2,1,1,1,1,1,1,0,1,0,1,1,0,-1,0,-1,-1,0,-1,0,0,1,
-1,0,-1,0,0,0,0,-1,0,0,-1,0,-1,-1,0,0,-1,-1,0,-1,0,0,-1,-1,0],[1,0,-1,0,-1,0,1
,0,-1,0,0,-1,0,-1,0,0,-1,0,-1,0,0,0,0,0,-1,0,-1,0,0,0,-1,0,-1,-1,0,-1,0,0,1,-1
,0,-1,0,-1,0,0,0,1,1,0,0,1,0,1,1,1,0,0,0,1,1,1,1],[-1,-2,-1,-1,-2,0,0,-1,-2,-1
,1,2,2,2,1,1,2,1,2,1,1,0,0,1,1,1,1,1,0,-1,-1,0,-1,0,0,-1,0,0,-1,0,-1,0,0,1,-1,
0,-1,0,0,0,-1,-1,0,0,-1,-1,0,0,-1,0,0,-1,-1],[-1,0,0,-1,1,0,0,-1,1,0,0,0,-1,-1
,-1,0,-1,0,0,0,-1,0,0,0,-1,0,0,0,-1,-1,0,-1,0,0,-1,0,0,-1,0,0,0,0,-1,-1,0,1,1,
1,0,0,1,0,1,0,1,1,0,1,1,1,0,1,0],[0,0,-1,1,0,-1,-1,1,0,0,0,-1,0,-1,0,-1,0,0,-1
,-1,0,0,0,-1,0,0,0,0,-1,0,-1,0,0,-1,0,0,-1,0,0,-1,0,-1,0,0,1,-1,1,0,1,0,0,1,0,
1,1,1,1,0,1,0,1,0,1],[-1,1,0,-1,1,0,-1,0,0,0,-1,-1,0,0,0,-1,0,0,-1,0,0,-1,0,0,
0,0,-1,0,-1,0,0,-1,0,0,-1,0,-1,0,0,-1,-1,0,1,0,0,-1,1,0,1,1,0,1,1,0,1,0,1,0,1,
1,0,0,1],[0,-1,1,0,-1,1,0,-1,0,0,0,-1,-1,-1,0,0,-1,0,0,-1,0,0,0,0,0,0,0,-1,0,
-1,0,0,-1,0,-1,-1,0,-1,0,0,1,-1,0,-1,0,0,1,1,0,0,1,1,1,1,0,1,0,0,0,1,1,1,0],[0
,-1,-2,0,-1,-2,-1,-1,-2,-1,1,2,1,2,1,2,2,1,2,1,0,1,1,1,1,0,1,1,0,0,-1,0,0,-1,0
,-1,-1,0,-1,0,0,1,-1,0,-1,0,-1,0,0,0,0,-1,-1,0,0,-1,-1,0,0,-1,0,-1,-1],[0,1,-1
,-1,0,-2,0,0,0,0,0,0,1,1,1,0,1,0,-1,1,1,0,0,0,1,0,-1,1,1,0,0,0,0,-1,0,1,-2,1,1
,-1,-1,1,1,1,0,-1,-1,-1,1,0,-1,0,0,-1,1,-1,0,-1,-1,1,-1,-1,1],[0,1,2,-1,0,1,1,
1,1,1,-1,-2,-2,-2,-1,-1,-3,-1,-2,-1,0,0,0,-1,-1,0,-1,-2,0,1,0,-1,0,0,-2,0,1,-1
,1,1,1,-1,1,-1,1,0,2,0,0,0,1,1,2,1,0,1,0,0,0,0,2,2,1],[0,-2,-1,-1,-3,-2,-1,-1,
-1,-1,2,3,2,3,2,3,2,1,3,2,1,2,1,2,1,0,2,1,0,0,1,0,-1,0,1,-2,0,1,-1,1,1,1,-1,0,
-1,1,-2,0,-2,-1,-1,-2,-2,0,-1,-2,-2,-1,0,-2,-2,-1,-2],[1,-1,0,1,1,1,2,0,1,1,-1
,-2,-1,-3,-1,-2,-2,-1,-2,-1,0,-1,0,-1,-2,0,-1,0,0,-1,0,1,-2,0,0,1,0,1,1,-1,0,
-1,1,-1,1,1,0,2,1,0,0,1,0,0,2,2,1,0,0,2,0,1,1],[-2,-1,0,0,0,0,-1,0,1,0,0,1,1,1
,0,-1,1,0,0,1,0,0,0,-1,1,0,1,1,-1,0,0,-2,0,1,1,0,0,1,-1,1,-1,1,0,1,1,-1,1,0,-1
,0,-1,-1,-1,1,-1,-1,1,0,1,-1,-1,-1,0],[-1,0,-2,0,0,0,0,1,-1,0,1,1,0,0,-1,1,0,0
,1,0,0,1,-1,1,0,1,1,0,0,0,-1,0,1,-2,0,0,1,-1,1,1,1,0,-1,1,-1,1,0,-1,1,-1,0,-1,
1,-1,-1,0,-1,1,-1,-1,1,0,-1],[1,1,1,1,2,0,-1,0,1,1,-1,-2,-3,-2,-2,-1,-2,-1,-1,
-1,-2,0,0,0,-1,0,-1,-1,-2,0,1,1,0,0,0,0,-1,-1,1,0,1,1,-1,-1,1,1,0,2,0,0,2,1,0,
0,2,1,0,1,2,1,0,1,0],[0,0,0,-1,0,1,0,-2,-1,0,-1,1,0,1,0,0,1,0,1,1,0,-1,0,1,1,0
,1,0,1,-2,0,0,1,0,-1,0,0,0,-1,1,-1,1,1,1,-1,1,-1,-1,1,1,0,-1,1,-1,-1,-1,0,0,-1
,1,0,-1,-1],[1,1,1,2,0,1,0,1,-1,1,-2,-3,-1,-2,-1,-2,-1,-1,-2,-2,0,-1,0,-1,0,-1
,-1,0,0,1,-2,0,0,1,0,-1,0,1,0,-1,1,-1,1,1,1,-1,2,0,0,1,0,2,0,2,0,1,1,0,1,0,2,0
,1],[-1,0,3,-1,1,2,0,0,2,1,-1,-1,-3,-2,-2,-1,-3,-1,1,-1,-1,0,-1,0,-1,0,1,-2,-1
,0,1,-1,1,1,-2,0,2,-2,-1,2,1,0,0,-1,0,1,2,0,-1,0,2,0,3,0,-1,1,0,1,1,0,1,2,0],[
1,-3,-2,0,-3,-1,0,-2,-2,-1,1,3,3,3,2,2,5,1,3,2,1,1,1,1,2,0,2,3,1,-1,0,1,-1,1,2
,-2,0,2,-2,-1,0,1,0,1,-1,0,-3,0,-2,0,-2,-2,-3,1,-2,-2,-1,-1,-1,-1,-2,-2,-2],[0
,3,-1,1,2,-1,0,2,0,1,-1,-3,-1,-2,-1,-2,-1,1,-3,-1,0,-1,0,-1,-1,1,-2,0,0,1,-1,1
,1,-1,0,2,-2,-1,2,-2,0,0,1,0,1,-1,0,-1,2,0,0,2,0,-1,3,1,1,0,0,1,1,0,2],[-1,0,
-3,0,-2,-2,-2,1,-3,-1,2,3,2,5,1,3,3,1,3,2,1,1,0,2,3,1,2,1,1,1,-1,0,2,-2,1,-1,0
,0,0,1,0,1,-1,2,-2,-1,-2,-3,1,-1,-1,-2,-1,-1,-2,-2,-2,0,-2,-3,0,-2,-2],[2,-1,1
,0,0,2,3,-1,0,1,-1,-2,-2,-3,-1,1,-3,-1,-1,-1,-1,0,0,1,-2,0,-1,-1,1,-1,1,2,-2,0
,-1,0,1,0,1,0,1,-1,0,-2,-1,2,-1,3,0,0,1,1,1,0,1,2,0,0,-1,2,0,2,0],[-1,1,2,0,2,
0,-1,0,3,1,-2,-2,-1,-1,1,-3,-1,-1,-3,-1,0,-1,1,-2,0,-1,-1,0,-1,1,1,-2,0,2,0,1,
-1,1,0,0,-1,0,1,-1,2,-2,3,0,-1,1,0,1,0,1,1,0,2,0,2,0,-1,0,2],[-1,-1,1,-2,-1,2,
1,-2,0,0,-1,1,3,1,1,-1,1,0,0,1,2,-1,0,0,1,0,0,1,2,-2,0,-1,0,1,-1,1,1,1,-1,0,-2
,-1,2,1,0,0,0,-1,0,1,-1,-1,1,-1,-2,-1,1,-1,-2,2,-1,-1,0],[2,0,0,3,-1,0,1,2,-1,
1,1,-3,-1,-3,-1,-1,-2,-1,-2,-2,0,1,0,-1,-1,0,-1,-1,0,2,-2,1,-1,0,1,-1,1,0,1,-1
,2,-2,-1,0,1,0,1,1,0,0,0,2,-1,2,0,2,0,0,0,-1,3,1,1],[-1,1,-1,-1,2,-2,-2,0,1,0,
1,3,-1,1,-1,1,0,0,1,2,-1,1,0,1,0,0,1,0,-2,0,2,0,1,-1,1,1,-1,-1,0,1,-1,2,-2,0,0
,1,-1,0,0,-1,1,-1,-1,-2,1,-1,-1,1,2,-1,-2,0,-1]]],
0,
[
( 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)
,
(  3,  4,  5)(  7, 11,  9)(  8, 12, 10)( 13, 17, 15)( 14, 18, 16)( 19, 25, 22)
( 20, 26, 23)( 21, 27, 24)( 28, 35, 33)( 29, 36, 31)( 30, 34, 32)
( 38, 44, 43, 39, 45, 41, 40, 46, 42)( 47, 53, 52, 48, 54, 50, 49, 55, 51)
( 56, 68, 64, 57, 69, 62, 58, 70, 63)( 59, 71, 67, 60, 72, 65, 61, 73, 66)
( 74, 80, 79, 75, 81, 77, 76, 82, 78)( 83, 89, 88, 84, 90, 86, 85, 91, 87)
( 92, 98, 97, 93, 99, 95, 94,100, 96)
],
0);

MBT("3.U3(8).S3",7,
0,
[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,8,9,7,1,2,3,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,30,31,32
,33,34,35,36,37,38,49,50,51,52,54,53,55,56,57,58,60,59,61,62,63,64,66,65],
[1,1,1,0,0,0,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,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],
[],
[[[1,3,4,5],[2,3,4,5]],1,1,,,,1,1,1,,,,,,,,,,,,,,,,,,,,,1,1,1,1,1,1,1,1,1],
[],
0,
[(77,78),
(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)
,
( 5, 6, 7)(11,12,13)(14,18,16)(15,19,17)(30,36,35,31,37,33,32,38,34)
(39,45,44,40,46,42,41,47,43)(48,54,53,49,55,51,50,56,52)(79,81,80)
,(57,58,59)(60,61,62)(63,64,65)(66,67,68)(69,70,71)(72,73,74),
(21,22)(24,25)(27,28)(57,60)(58,61)(59,62)(63,66)(64,67)(65,68)(69,72)(70,73)
(71,74)
,
(20,23,26)(21,24,27)(22,25,28)(57,63,69,59,65,71,58,64,70)(60,66,72,62,68,74,
61,67,73)
],
0);

MBT("3.U3(8).S3",19,
0,
[1,1,2,1,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,1,1,2,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],
[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,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],
[],
[[[1,5],[2,6],[3,7,8,9],[4,7,8,9],[5,7,8,9],[6,7,8,9]],[[1,3],[2,4,5,6,7,8,9],
[3,4,5,6,7,8,9]],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,[[1,2,3,4,5,6,7,8
,9,10,11,12,13,14,15,16,17,18,19]]],
[],
0,
[(92,93),
(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)
,
(14,16,18)(15,17,19)(26,29,32)(27,30,33)(28,31,34)(63,72,81)(64,73,82)
(65,74,83)(66,75,84)(67,76,85)(68,77,86)(69,78,87)(70,79,88)(71,80,89)
(94,95,96)
,
( 5, 6, 7)(11,12,13)(20,24,22)(21,25,23)(26,27,28)(29,30,31)(32,33,34)
(36,42,41,37,43,39,38,44,40)(45,51,50,46,52,48,47,53,49)(54,60,59,55,61,57,56,
62,58)(63,78,86,64,79,84,65,80,85)(66,74,89,67,72,87,68,73,88)
(69,77,82,70,75,83,71,76,81)(97,99,98)
],
0);

MBT("3.U3(8)",19,
TEXT1,
[21,22,23,24,25,26,27,28,27,28,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],
[0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[,,,,,,[[1,4,5,6,7,8,9],[2,4,5,6,7,8,9],[3,4,5,6,7,8,9]],7],
[],
[["U3(8)",0]],
[(14,20)(15,21)(16,22),(14,17)(15,18)(16,19),(17,20)(18,21)(19,22),(29,32,35)
(30,33,36)(31,34,37)(47,53,59)(48,54,60)(49,55,61)(50,56,62)(51,57,63)
(52,58,64),( 7, 8, 9)(10,12,11)(23,24,25)(26,28,27)(38,44,41)(39,45,42)
(40,46,43)(47,48,49)(50,52,51)(53,54,55)(56,58,57)(59,60,61)(62,64,63),( 2, 3)
( 5, 6)( 7,10)( 8,12)( 9,11)(15,16)(18,19)(21,22)(23,26)(24,28)(25,27)(30,31)
(33,34)(36,37)(39,40)(42,43)(45,46)(47,50)(48,52)(49,51)(53,56)(54,58)(55,57)
(59,62)(60,64)(61,63)],
0);

MBT("3.U3(8)",2,
TEXT1,
[3,4,3,4,3,4,3,4,3,4,3,4,3,4,3,4,3,4,3,4,3,4,3,4,3,4,3,4,3,4,3,4,3,4,3,4,3,4,
3,4,3,4],
[9,9],
[[29,31,33,35,41,43,45,47,49,51,53,55,57,59,61,63,71,73,75,77,79],[30,32,34,
36,42,44,46,48,50,52,54,56,58,60,62,64,72,74,76,78,80]],
[],
[[[0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,-1],[1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,
0,-1,0,0,0,0],[0,1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,-1,0,0],[2,0,0,1,-2,-1,-1,
-1,0,-1,0,1,-1,0,1,0,0,1,1,0,1],[0,2,0,1,-1,-2,-1,-1,-1,0,-1,0,1,0,0,1,1,0,0,
1,1],[-1,-1,1,0,1,1,0,1,0,0,1,-1,0,1,0,0,0,-1,0,-1,-1],[2,0,1,1,-1,-1,0,-1,0,
0,1,2,0,0,1,0,-1,0,0,0,-1],[1,2,0,1,0,-1,-1,0,-1,0,0,1,2,0,0,1,-1,0,-1,0,0],[
0,1,2,1,-1,0,-1,0,0,-1,2,0,1,1,0,0,0,0,-1,0,-1],[-1,-2,-2,-2,3,1,2,1,0,1,-2,0,
0,-1,-1,0,-1,-1,0,0,1],[-2,-1,-2,-2,2,3,1,1,1,0,0,-2,0,0,-1,-1,1,0,-1,-1,0],[
-1,-1,0,-1,-1,0,1,-1,0,0,0,0,-2,-1,0,-1,1,1,2,1,0],[-2,-3,-2,-2,3,3,2,2,1,1,
-1,-2,-1,0,-1,-1,0,-1,0,-1,0],[-1,-1,-2,-1,0,1,1,0,1,0,-1,-1,-2,-1,0,-1,1,1,1,
0,1],[-2,-1,-1,-1,1,0,1,0,0,1,-2,-1,-1,-1,-1,0,1,0,1,1,1],[0,-3,0,0,1,2,0,2,1,
0,1,-1,-1,1,1,0,-1,-1,0,-2,-1],[2,2,-1,2,-4,-3,-2,-2,0,-1,-1,1,-1,0,1,1,1,2,1,
1,2],[-2,1,1,1,0,-2,-1,0,-1,1,-1,-1,1,1,0,1,1,-1,0,1,0],[0,0,0,1,-1,-1,1,0,0,
1,0,1,0,-1,1,0,-1,0,0,0,0],[0,0,0,1,1,-1,-1,1,0,0,0,0,1,0,-1,1,0,0,-1,0,0],[0,
0,0,1,-1,1,-1,0,1,0,1,0,0,1,0,-1,0,0,0,0,-1]],[[0,1,0,0,0,0,0,0,0,0,0,0,1,0,0,
0,0,0,0,-1,0],[1,1,2,1,-2,-2,-2,-1,-1,-1,1,0,0,0,0,0,1,1,1,1,1],[1,0,0,0,0,0,
0,0,0,0,0,1,0,0,0,0,0,-1,0,0,0],[0,0,2,1,-1,-1,-2,0,-1,-1,1,-1,0,1,0,0,0,1,0,
1,1],[1,-1,-1,0,0,1,1,0,1,0,0,1,-1,0,1,0,0,-1,-1,0,-1],[-1,1,-1,0,1,0,1,0,0,1,
-1,0,1,0,0,1,-1,0,0,-1,-1],[1,2,3,2,-3,-2,-3,-1,-1,-2,2,0,1,1,0,0,1,1,1,0,1],[
3,1,2,2,-3,-3,-2,-2,-1,-1,1,2,0,0,1,0,1,0,1,1,1],[1,2,0,1,0,-1,-1,0,-1,0,0,1,
2,0,0,1,0,-1,0,-1,0],[-1,-1,0,-1,-1,0,1,-1,0,0,0,0,-2,-1,0,-1,1,1,1,2,0],[-2,
-3,-3,-3,5,3,4,2,1,2,-2,0,0,-1,-1,0,-2,-2,-1,-1,-1],[-2,-1,-2,-2,2,3,1,1,1,0,
0,-2,0,0,-1,-1,0,1,-1,-1,0],[-3,-2,-2,-2,3,2,3,1,1,2,-2,-1,-1,-1,-1,0,-1,0,0,
0,-1],[-2,-3,-2,-2,3,3,2,2,1,1,-1,-2,-1,0,-1,-1,-1,0,-1,0,0],[-2,-2,-3,-2,2,3,
3,1,2,1,-1,-1,-2,-1,0,-1,0,0,-1,0,-1],[-2,1,1,1,0,-2,-1,0,-1,1,-1,-1,1,1,0,1,
-1,1,1,0,0],[1,-2,1,1,-1,0,-2,1,0,-1,1,-1,-1,1,1,0,0,0,-1,1,1],[0,0,-3,0,0,1,
2,0,2,1,-1,1,-1,0,1,1,0,-1,-1,-1,-2],[1,1,1,2,-3,-1,-3,-1,0,-1,1,0,0,1,0,-1,1,
1,1,1,1],[0,0,0,1,-1,-1,1,0,0,1,0,1,0,-1,1,0,0,-1,0,0,0],[0,0,0,1,1,-1,-1,1,0,
0,0,0,1,0,-1,1,0,0,0,-1,0]]],
[["U3(8)",0]],
[( 4, 5, 6)( 7, 9, 8)(11,17,14)(12,18,15)(13,19,16)(20,26,23)(21,27,24)
(22,28,25)(29,41,35)(30,42,36)(31,43,37)(32,44,38)(33,45,39)(34,46,40)
(47,60,55)(48,61,53)(49,59,54)(50,64,57)(51,62,58)(52,63,56),( 2, 3)( 4, 7)
( 5, 9)( 6, 8)(12,13)(15,16)(18,19)(21,22)(24,25)(27,28)(29,32)(30,34)(31,33)
(35,38)(36,40)(37,39)(41,44)(42,46)(43,45)(47,50)(48,52)(49,51)(53,56)(54,58)
(55,57)(59,62)(60,64)(61,63)],
[1,1,1,1,0,0,0,0,0,0,0,0,1,1,1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
rec(version:=2,
date:="01.10.92"));

MBT("3.U3(8)",7,
TEXT1,
[17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,17,18,19,20,21,22,35,
36,37,38,39,40,41,42,43,44,45,46],
[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,3,4,5],[2,3,4,5]],1,1,1,1,1],
[],
[["U3(8)",0]],
[(14,20)(15,21)(16,22),(14,17)(15,18)(16,19),(17,20)(18,21)(19,22),( 7, 8, 9)
(10,12,11)(23,24,25)(26,28,27)(29,35,32)(30,36,33)(31,37,34),(38,41)(39,42)
(40,43)(44,47)(45,48)(46,49)(50,53)(51,54)(52,55),(38,44,50)(39,45,51)
(40,46,52)(41,47,53)(42,48,54)(43,49,55),( 2, 3)( 5, 6)( 7,10)( 8,12)( 9,11)
(15,16)(18,19)(21,22)(23,26)(24,28)(25,27)(30,31)(33,34)(36,37)(39,40)(42,43)
(45,46)(48,49)(51,52)(54,55)],
0);

MBT("U3(3).2",2,
TEXT1,
[1,1,1,2],
[6,0],
[[1,3,8]],
[],
[[[1,0,0],[0,1,0],[0,0,1]]],
0,
[],
[1,-1,1,1]);

--> --------------------

--> maximum size reached

--> --------------------