Quelle ctbline5.tbl Sprache: unbekannt

#############################################################################
##
#W  ctbline5.tbl                GAP table library               Thomas Breuer
##
##  This file contains the Brauer character tables related to the
##  linear groups $L_3(9)$, $L_4(3)$, $L_5(2)$ and $L_6(2)$ of the ATLAS
##  (see file 'ctoline5.tbl') modulo all prime divisors of the group order.
##
#H  ctbllib history
#H  ---------------
#H  $Log: ctbline5.tbl,v $
#H  Revision 4.5  2011/09/28 12:12:37  gap
#H  removed Revision entries and SET_TABLEFILENAME calls
#H      TB
#H
#H  Revision 4.4  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.3  2001/05/04 16:57:11  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/ctbline5.tbl,v
#H  Working file: ctbline5.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:35:19;  author: fceller;  state: Exp;  lines: +2 -2
#H  for version 4
#H  ----------------------------
#H  revision 1.1
#H  date: 1996/10/21 15:58:31;  author: sam;  state: Exp;
#H  first proposal of the table library
#H  ==========================================================================
##

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

MBT("2.L4(3).2_1",13,
TEXT1,
[32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,32,33,32,33,51,52,
53,54],
[1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,2],[2,7],[3,4,5,6,7]],1],
[],
[["L4(3).2_1",0]],
[(36,37)(39,40)(41,42)(43,44)(45,46)(49,50)(51,52)(53,54),(55,56)(57,58)
(59,60)(61,62),(26,27)(32,34)(33,35)(55,61,56,62)(57,59,58,60),(11,12)(22,23)
(28,29)(32,33)(34,35)(43,45)(44,46)(47,48)(49,50)(51,53)(52,54)(55,59,56,60)
(57,61,58,62)],
0);

MBT("2.L4(3).2_1",3,
TEXT1,
[4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4],
[6],
[[44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,65,66,67,68,69,70,71,73]],
[],
[[[1,0,0,0,-1,0,0,0,0,0,0,0,-1,0,0,0,1,0,0,0,0,0,0,0],[0,1,0,0,0,-1,0,0,0,0,0,
0,0,-1,0,0,0,1,0,0,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,
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,-1,1,1,1,0,1,1,2,1,
0,1,1,1,2,1,-1,-1,-2,0,-1,-1,-1,-1],[0,0,0,-1,0,1,0,0,-1,0,0,-1,0,0,-1,0,0,0,
1,-1,0,0,1,1],[0,1,-1,-1,0,0,0,-1,-2,-1,0,-1,0,-1,-1,-1,0,1,1,0,1,1,1,1],[0,
-1,0,1,0,0,0,1,1,0,0,1,0,1,1,1,0,-1,-1,0,0,0,-1,-1],[1,-2,1,0,0,2,0,1,1,0,1,1,
-1,2,0,1,1,-2,0,-1,-1,-1,-1,0],[-1,2,0,-1,1,-1,0,-1,-1,0,0,0,1,-2,0,-1,-1,2,0,
1,0,0,1,0],[2,-1,-1,0,-1,0,-1,1,0,0,0,-1,-1,0,-2,1,1,0,2,-1,0,1,0,0],[-1,2,-1,
0,0,-1,1,-1,0,0,-1,0,0,-1,1,-2,0,1,-1,2,1,0,0,0],[-2,0,0,0,1,0,2,0,-1,0,0,0,1,
-1,1,0,-1,1,-1,0,0,0,0,0],[0,-2,0,0,0,1,0,2,0,-1,0,0,-1,1,0,1,1,-1,0,-1,0,0,0,
0],[-2,0,0,0,2,0,1,0,0,0,-1,0,1,0,1,-1,-1,0,-1,1,0,0,0,0],[0,-2,0,0,0,2,0,1,0,
0,0,-1,0,1,-1,1,0,-1,1,-1,0,0,0,0],[0,0,-1,0,-1,-1,-1,0,-1,0,0,-1,0,-1,-1,1,0,
1,1,-1,1,1,1,0],[-1,-1,0,1,0,0,1,0,1,0,0,1,0,1,2,0,0,-1,-2,0,0,0,-1,0],[-1,-1,
1,0,0,1,0,0,1,0,0,1,0,2,1,0,0,-2,-1,0,0,-1,0,0],[-1,-1,1,0,1,0,0,0,0,1,1,0,2,
0,0,1,-2,0,0,-1,-1,0,0,0],[-1,0,0,1,0,-1,1,-1,1,0,0,1,1,0,2,-1,0,0,-2,2,0,0,
-1,-1],[1,0,-1,-1,-1,0,-2,0,-2,-1,0,-1,-1,0,-3,0,1,1,3,-1,1,1,1,1],[-1,1,0,-1,
1,-1,0,-1,-1,0,0,-1,1,-2,0,-1,-1,2,1,0,0,0,1,1],[0,-2,1,1,-1,1,0,1,2,1,0,1,-1,
2,1,2,1,-2,-1,0,-1,-1,-1,-1]]],
[["L4(3).2_1",0]],
[(28,29)(31,32)(33,34)(37,38)(39,40)(41,42)(43,44)(45,46)(47,48)(49,50)(51,52)
(53,54),( 5, 6)(12,13)(14,15)(16,18)(17,19)(20,22)(21,23)(24,27)(25,26)(31,33)
(32,34)(35,36)(37,38)(39,41)(40,42)(43,45)(44,46)(47,49)(48,50)(51,53)
(52,54)],
0,
rec(version:=2,
date:="21.04.92"));

MBT("2.L4(3).2_1",5,
TEXT1,
[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],
[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],
[],
[,,[[1,2,3,4,5]],3],
[],
[["L4(3).2_1",0]],
[(11,12)(20,21)(24,25)(43,45)(44,46)(47,48)(49,50)(51,53)(52,54),(36,37)
(39,40)(41,42)(43,44)(45,46)(49,50)(51,52)(53,54)(55,56)(57,58)(59,60)(61,62),
(28,30)(29,31)(32,34)(33,35)(55,57)(56,58)(59,61)(60,62),(28,32,30,34)
(29,33,31,35)(55,59,57,61)(56,60,58,62)],
0);

MBT("2.L4(3).2_2",13,
TEXT1,
[43,43,44,45,46,47,48,49,50,51,52,53,54,43,43,43,43,55],
[1,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,3],[2,4],[3,8],[4,7],[5,6,8],[5,6,7]]],
[],
[["L4(3).2_2",0]],
[(35,36),(43,44)(45,46)(53,54)(58,59)(62,63)(64,65),( 7, 9)( 8,10)(19,20)
(23,24)(26,28)(27,29)(31,32)(37,38)(41,42)(43,45)(44,46)(47,48)(49,50)(51,52)
(56,57)(60,61)(62,64)(63,65)],
0);

MBT("2.L4(3).2_2",3,
TEXT1,
[4,4,4,4,4,4],
[6],
[[50,52,54,55,56,65]],
[],
[[[2,0,-1,0,-1,1],[-1,0,1,0,1,-1],[1,-1,0,0,-1,1],[-4,0,3,-1,1,-1],[-3,1,0,1,
2,-2],[-1,0,-1,0,0,1]]],
[["L4(3).2_2",0]],
[(19,20)(23,24)(26,27)],
0);

MBT("2.L4(3).2_2",5,
TEXT1,
[30,31,32,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46],
[0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[,,[[1,3,4],[2,3,4]]],
[],
[["L4(3).2_2",0]],
[(52,53),(32,34)(33,35),(42,43)(44,45)(55,56)(59,60)(61,62),( 7, 9)( 8,10)
(17,18)(21,22)(24,26)(25,27)(28,29)(36,37)(40,41)(42,44)(43,45)(46,47)(48,49)
(50,51)(57,58)(59,61)(60,62)],
0);

MBT("2.L4(3).2_3",13,
TEXT1,
[28,28,29,30,31,32,33,34,35,36,28,28,28,28,37],
[1,0,0,0,0,0,0,0,0,0],
[],
[[[1,3],[2,4],[3,8],[4,7],[5,6,8],[5,6,7]]],
[],
[["L4(3).2_3",0]],
[(40,41),(33,34)(42,43)(44,45)(46,47),(29,30),(25,26),(35,36)(38,39)(44,47)
(45,46)],
0);

MBT("2.L4(3).2_3",3,
TEXT1,
[4,4,4,4,4,4],
[6],
[[35,37,39,40,41,47]],
[],
[[[2,0,-1,0,-1,1],[-1,0,1,0,1,-1],[1,-1,0,0,-1,1],[-4,0,3,-1,1,-1],[-3,1,0,1,
2,-2],[-1,0,-1,0,0,1]]],
[["L4(3).2_3",0]],
[(21,22)(24,25)(26,27)],
0);

MBT("2.L4(3).2_3",5,
TEXT1,
[20,21,22,22,23,24,25,26,27,28,29,30,31,32,33],
[0,0,1,0,0,0,0,0,0,0,0,0,0,0],
[],
[,,[[1,3,4],[2,3,4]]],
[],
[["L4(3).2_3",0]],
[(39,40)(41,42)(43,44),(32,33),(26,28)(27,29),(22,23),(34,35)(37,38)(41,44)
(42,43)],
0);

MBT("2.L4(3)",13,
TEXT1,
[24,25,26,27,28,29,30,31,32,33,34,35,36,37,24,24,38,39],
[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,2],[2,7],[3,4,5,6,7]]],
[],
[["L4(3)",0]],
[(32,33)(40,42)(41,43),(13,14)(26,27)(34,35)(36,37)(40,41)(42,43),( 7, 9)
( 8,10)(20,21)(24,25)(28,30)(29,31)(34,36)(35,37)],
0);

MBT("2.L4(3)",3,
TEXT1,
[3,3,3,3,3,3,3,3,3,3,3,3],
[6],
[[30,31,32,35,36,37,38,39,40,45,46,47]],
[],
[[[1,0,0,-1,0,0,0,-1,0,1,0,0],[1,0,0,0,-1,0,0,0,-1,0,1,0],[-1,1,0,1,1,1,0,1,1,
-1,-1,-1],[0,-1,0,0,0,-1,0,0,0,0,0,1],[0,1,-1,1,0,0,1,0,0,0,0,-1],[1,-2,0,-1,
0,0,-1,-1,-1,1,1,1],[-2,0,0,1,2,-1,0,0,1,0,-1,0],[-2,0,0,2,1,0,-1,1,0,-1,0,
0],[-1,-1,1,-1,0,0,0,0,1,0,-1,1],[-2,2,0,1,0,1,1,2,1,-2,-1,-1],[0,-1,0,-1,-1,
-1,0,0,-1,1,1,1],[-1,1,0,0,0,1,0,0,1,0,0,-1]]],
[["L4(3)",0]],
[( 5, 6)(12,13)(14,15)(16,18)(17,19)(20,22)(21,23)(24,27)(25,26)],
0);

MBT("2.L4(3)",5,
TEXT1,
[19,20,21,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34],
[0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[,[[1,3,4],[2,3,4]],2],
[],
[["L4(3)",0]],
[(13,14)(24,25)(30,31)(32,33),( 7, 9)( 8,10)(18,19)(22,23)(26,28)(27,29)
(30,32)(31,33),(36,38)(37,39)(40,42)(41,43),(36,40,38,42)(37,41,39,43)],
0);

MBT("L3(9).2_1",13,
TEXT1,
[1,1,1,1,2,3,4,5,6,1,1,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],
[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,0,
0,0,0,0,0,0],
[],
[[[1,4],[2,3],[4,8],[3,7],[5,6,7],[5,6,8]],,,,,,[[1,2,3,4,5,6,7,8,9,10,11,12,
13]]],
[],
0,
[(30,34)(31,35)(32,36)(33,37),(11,12)(14,15)(20,21)(24,25)(26,28)(27,29)
(30,32,34,36)(31,33,35,37)(46,47),( 7, 8)(17,18)(22,23)(26,29)(27,28)
(30,33,34,37)(31,32,35,36)(42,43)(48,49)],
0,
rec(version:=2,
date:="18.08.92"));

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

MBT("L3(9).2_1",3,
TEXT1,
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,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],
[6,0,0],
[[1,2,3,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,51,54,56,58,62]],
[],
[[[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,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,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,-1,0,0,0,0,0,0,
0,0,0,0,0],[0,0,0,0,0,0,0,1,0,0,0,1,0,0,0,0,0,0,0,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,1,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,-1,0,0,-1,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,
0,0,1,0,1,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,-1,-1,0,
0,0,0,0,0,0,0,0,0,0,0],[1,0,-1,0,0,1,0,1,1,1,1,1,1,1,2,1,1,1,1,1,1,1,1,0,0,0,
-1,0,0,0,0,0,-1,-1,-1,-1,-1,-1,-1,-1,0,-1,-1,-1,0,0,-1,0,-1,0,-1,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,-1,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,-1,-1,-1,-1,1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,
1,1,0,1,0,-1,0,1,1,0,0,0,0,0,-1,-1,-1,0,-1,-1,0,-1,1,-1,1,1],[-1,1,-1,-1,0,0,
0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,
0,0,0,0,0,-1,-1,0],[0,0,1,1,1,-1,-1,-1,-1,-1,0,-1,-1,-1,-1,-1,-1,-1,-1,0,0,-1,
-1,0,0,0,0,0,0,0,0,1,1,0,0,1,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,-1],[0,0,0,0,0,1,0,
0,1,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,-1,-1,0,0,0,0,-1,
-1,0,0,0,0,0,0,1],[0,0,1,0,0,0,1,-1,-1,-1,0,-1,1,-1,-1,-1,-1,-1,0,-1,0,-1,-1,
0,0,0,0,0,0,0,0,1,1,0,1,1,1,0,1,1,-1,1,1,1,1,0,0,0,0,0,0,-1],[0,0,1,0,0,0,-1,
1,-1,-1,0,1,-1,-1,-1,-1,-1,0,-1,0,-1,-1,-1,0,0,0,0,0,0,0,0,1,1,1,0,1,1,1,0,-1,
1,1,1,1,1,0,0,0,0,0,0,-1],[-2,0,-1,-1,0,-2,0,0,-1,-1,0,0,-1,-1,-1,-1,0,-1,-1,
0,0,0,-1,1,1,1,1,2,0,1,-1,0,0,1,1,1,1,1,1,0,0,0,0,1,0,-1,0,-1,1,-2,0,0],[0,0,
0,1,1,0,0,0,0,0,1,0,1,0,0,1,0,0,0,1,1,0,1,0,0,0,0,-1,-1,0,0,0,0,-1,-1,0,0,0,0,
0,0,0,0,0,1,0,-1,0,-1,0,0,-1],[0,0,1,0,0,0,0,-1,0,-1,0,-1,-1,-1,-1,-1,-1,0,0,
0,-1,-1,0,0,0,0,0,0,0,0,0,0,1,1,0,1,1,0,0,1,1,1,1,0,0,0,0,0,0,0,0,0],[0,0,1,0,
0,0,-1,0,0,-1,0,-1,-1,-1,-1,-1,-1,0,0,-1,0,0,-1,0,0,0,0,0,0,0,0,1,0,0,1,1,1,0,
0,1,1,1,1,0,0,0,0,0,0,0,0,0],[-1,-1,-1,-1,-1,-1,0,0,-1,0,-1,0,-1,1,-1,-1,1,-1,
-1,-1,-1,0,-1,0,0,1,1,1,1,0,0,0,0,1,1,-1,0,1,1,0,0,0,-1,1,-1,0,1,0,1,0,0,1],[
1,-1,0,1,0,1,0,0,0,1,0,0,1,0,2,2,0,0,0,0,0,0,1,0,0,-1,-1,-2,0,-1,1,0,0,-1,-1,
-1,-2,0,0,0,0,-1,0,-1,1,1,0,1,-1,2,0,0],[0,1,-2,-2,-1,-1,1,1,0,0,0,1,0,2,0,0,
1,0,0,0,0,0,0,0,0,1,1,2,0,1,0,-1,0,1,1,-1,0,0,0,-1,-1,-1,-2,0,-1,-1,0,-1,1,-1,
0,1],[0,1,-1,-1,-1,-1,0,0,-1,-1,-1,0,-1,1,-1,-1,0,-1,-1,-1,-1,-1,-1,0,0,1,1,1,
1,1,0,0,1,1,1,0,1,1,1,0,0,0,-1,1,0,0,1,0,1,-1,0,0],[2,1,-1,0,0,1,1,1,1,1,1,1,
2,1,3,2,1,1,1,1,1,1,1,0,0,-1,-1,-1,0,0,0,0,-1,-1,-1,-1,-2,-1,-1,-1,-1,-2,-1,
-1,0,0,-1,0,-1,1,0,0],[2,1,0,1,0,1,0,0,0,0,0,0,1,0,2,1,0,0,0,0,0,0,0,0,0,-1,
-1,-1,0,-1,1,1,0,-1,-1,0,-1,0,0,0,0,-1,0,0,1,1,0,1,-1,1,0,-1],[0,0,1,0,0,-1,0,
0,-1,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,1,1,0,0,0,0,1,
1,0,0,0,0,0,0,-1],[-1,1,1,0,1,-1,-1,-1,1,-1,1,-1,-1,-1,-1,-1,-1,0,0,1,1,0,0,0,
0,0,0,1,-1,1,-1,0,0,0,0,2,2,0,0,1,1,1,1,0,0,-1,-1,-1,0,-2,0,-1],[3,-1,2,3,1,3,
-1,0,1,2,0,0,1,0,2,2,1,1,1,1,0,0,2,-1,-1,-2,-2,-4,0,-3,1,0,0,-2,-3,-2,-2,-1,
-1,0,1,0,1,-1,1,2,0,2,-2,4,0,-1],[-1,-1,0,-1,-1,-1,0,-1,-1,0,-2,-1,-2,0,-2,-1,
0,-1,-1,-2,-1,0,-2,0,0,1,1,1,1,0,0,0,0,1,2,0,0,1,1,1,0,1,0,1,-1,0,2,0,2,0,0,
1],[1,-1,1,1,0,2,0,0,1,0,0,-1,1,-1,0,0,-1,1,1,-1,0,0,0,0,0,-1,-1,-2,0,-1,1,1,
0,-1,0,0,0,-1,-1,1,0,1,1,-1,0,1,0,1,-1,2,0,0],[-1,-1,0,-1,-1,0,0,0,0,-1,-1,0,
-2,-1,-2,-2,-1,0,0,-1,-2,-1,-1,0,0,1,1,1,1,0,0,0,1,2,1,1,1,0,0,0,1,1,1,0,-1,0,
1,0,1,0,0,1],[0,0,2,2,2,0,-2,-2,-1,-2,0,-2,-1,-2,-2,-1,-2,-1,0,1,0,-2,0,0,0,0,
0,-1,-1,0,0,1,2,0,-1,2,2,0,1,2,2,2,2,1,2,1,-1,0,-1,0,0,-2],[-2,0,1,0,1,-2,-2,
-2,-2,-3,-1,-2,-3,-3,-3,-3,-2,-1,-2,-1,0,-1,-3,1,1,1,1,2,0,1,-1,2,1,1,2,3,3,2,
1,2,2,2,2,2,1,-1,1,-1,1,-2,0,-1],[0,0,-1,0,-1,-1,0,0,1,1,0,0,0,1,1,1,1,0,0,0,
0,1,1,0,0,0,0,0,0,0,0,-1,-1,0,0,-1,-1,0,0,0,0,-1,-1,-1,-1,0,0,0,0,0,0,1],[0,0,
-1,-1,0,-1,0,0,1,1,0,0,0,1,1,1,1,0,0,0,0,1,1,0,0,0,0,0,0,0,0,-1,-1,0,0,-1,-1,
0,0,0,0,-1,-1,-1,-1,0,0,0,0,0,0,1],[-1,1,-4,-4,-3,-2,0,3,-1,1,-2,3,-2,4,0,-1,
2,-1,-2,-2,-2,1,-2,0,0,2,2,4,2,2,0,-1,-1,2,3,-2,-1,2,1,-3,0,-2,-4,1,-3,0,2,-1,
2,-2,0,3],[3,1,-2,0,-1,2,3,0,1,3,0,0,5,2,6,4,1,0,1,0,0,0,3,0,0,-2,-2,-2,0,0,2,
-1,-1,-1,-2,-3,-4,-1,0,0,-3,-4,-2,-3,1,2,0,1,-2,2,0,1],[0,0,1,1,1,1,1,-1,2,0,
2,-1,2,-1,1,2,-1,1,2,2,1,0,3,0,0,-1,-1,-2,-2,0,0,-1,0,-1,-2,1,0,-2,-1,1,-1,0,
1,-2,1,0,-2,0,-1,0,0,-1],[-2,0,0,-1,0,-1,-1,1,1,-1,1,1,-2,0,-2,-2,1,1,0,0,1,2,
-1,0,0,1,1,2,0,0,-2,0,-1,0,1,1,2,0,-1,-1,1,1,0,1,-2,-2,0,-1,1,-2,0,0],[0,0,1,
1,1,1,0,0,1,1,1,0,2,0,1,2,0,1,1,1,2,1,1,0,0,-1,-1,-1,-1,0,0,0,-1,-2,-1,0,-1,
-1,-1,0,-1,0,0,-1,1,0,-1,0,-1,0,0,-1],[-2,0,0,-1,0,-1,0,0,0,0,0,1,-1,0,-1,-1,
1,0,0,1,0,0,0,0,0,1,1,2,0,1,-1,-1,0,1,0,0,1,0,0,-1,0,0,0,1,-1,-1,0,-1,1,-2,0,
0],[1,-1,1,3,2,1,-2,0,1,2,1,0,1,-1,3,3,1,1,0,2,2,2,2,0,0,-2,-2,-3,-1,-2,0,0,
-2,-3,-3,-1,-2,0,-1,0,1,-1,1,-1,1,1,-1,1,-2,2,0,-1],[-3,-1,-1,-1,0,-3,0,-2,-1,
0,-1,-1,-2,1,-3,-1,1,-2,-1,0,0,0,0,0,0,2,2,2,0,1,-1,-2,0,1,1,0,1,1,2,1,0,1,-1,
1,-1,-1,1,-1,2,-2,0,1],[-1,1,-4,-4,-3,-1,2,3,1,3,0,4,0,4,2,1,4,2,0,-1,0,3,0,0,
0,1,1,3,1,1,-1,-2,-3,1,2,-3,-2,0,-1,-4,-2,-3,-4,-1,-4,-2,1,-1,2,-2,0,3],[3,1,
-2,0,-1,3,3,2,3,5,2,2,6,4,6,6,3,2,4,2,1,2,5,-1,-1,-2,-2,-3,-1,-1,1,-3,-2,-2,
-3,-4,-5,-3,-2,-2,-4,-4,-3,-4,-1,1,-2,1,-2,2,0,1],[0,0,-2,-1,0,0,-1,2,1,2,0,2,
-1,2,2,1,2,1,0,1,0,2,1,0,0,0,0,1,0,0,0,-1,-2,0,-1,-2,-2,0,-1,-2,1,-1,-2,-1,-1,
0,0,0,0,0,-1,1],[0,0,-1,0,-1,-1,-1,1,0,1,-1,1,-2,1,1,0,1,0,-1,0,-1,1,0,0,0,0,
0,0,1,0,0,-1,-1,1,0,-1,-1,1,0,-1,1,-1,-1,0,-1,0,1,0,1,0,1,1],[1,0,-1,0,0,0,2,
-1,1,2,0,-1,2,2,2,2,1,0,1,0,1,1,2,-1,0,-1,0,-1,0,0,0,-2,-1,-1,0,-2,-2,-1,0,1,
-2,-2,-1,-1,-1,0,0,0,0,1,1,1],[1,0,-1,1,0,1,1,-1,1,2,0,-1,2,2,2,2,1,0,1,0,1,1,
2,0,-1,0,-1,-1,0,-1,1,-1,-1,-2,-1,-2,-2,-1,0,1,-1,-1,-1,-1,0,1,0,1,-1,1,-1,
0],[-1,-1,4,2,2,0,-2,-2,0,-2,1,-2,-2,-4,-4,-2,-2,1,1,1,1,-1,-1,0,0,0,0,-1,-1,
-1,-1,1,1,0,0,3,3,-1,-1,2,2,4,4,1,1,-1,-1,0,0,0,0,-2],[2,0,-1,-1,-2,2,2,2,3,3,
1,2,2,3,3,2,2,2,2,0,0,2,2,-1,-1,-1,-1,-1,1,-1,1,-2,-2,-1,-1,-3,-3,-2,-2,-2,-2,
-2,-2,-2,-2,0,0,1,0,2,0,2],[2,2,-1,0,0,0,1,0,1,2,1,0,4,2,5,3,2,0,1,1,2,2,2,0,
0,-2,-2,-1,-1,0,0,-1,-2,-2,-1,-2,-2,-1,0,0,-2,-3,-2,-1,0,0,-1,0,-1,0,0,0],[0,
2,-2,-2,-1,-2,0,1,0,1,0,3,-1,4,1,1,2,0,-1,1,0,1,1,-1,-1,1,1,2,0,1,-1,-2,-1,1,
0,-1,-1,1,0,-2,0,-2,-3,0,-1,-1,0,-1,1,-2,0,1]]],
0,
[( 5, 6)( 8, 9)(11,12)(14,15)(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)(49,50)(51,52)(53,54)],
0);

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

MBT("L3(9).2_1",7,
TEXT1,
[1,1,1,1,2,3,4,5,6,1,1,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,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],
[],
[[[1,3],[2,4],[3,7],[4,6],[5,6],[5,7]],,,,,,[[1,2,3,4,5,6,7]],7],
[],
0,
[(19,20),(31,35)(32,36)(33,37)(34,38),(10,11)(13,14)(21,22)(25,26)(27,29)
(28,30)(31,33,35,37)(32,34,36,38)(47,48),( 7, 8)(16,17)(23,24)(27,30)(28,29)
(31,34,35,38)(32,33,36,37)(43,44)(49,50)],
0);

MBT("L3(9).2_2",13,
TEXT1,
[1,2,1,2,3,4,5,6,7,1,2,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,
27,28,29,30,31,32,33,34,35,36,37,38,39],
[1,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,
0],
[],
[[[1,2],[2,7],[3,4,5,6,7]],1,,,,,,[[1,2,3,4,5,6,7,8,9,10,11,12,13]]],
[],
0,
[(28,32)(29,33)(30,34)(31,35),(20,21)(24,27)(25,26)(28,31,32,35)(29,30,33,34),
(10,11)(14,15)(18,19)(22,23)(24,26)(25,27)(28,30,32,34)(29,31,33,35)(42,43)],
0);

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

MBT("L3(9).2_2",3,
TEXT1,
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,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],
[6,0,0],
[[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,51,54,58,60]],
[],
[[[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,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,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,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,-1,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,1,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,-1,0,0,0,0,0,0,0,0,0,0],[0,0,0,
0,0,0,1,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,-1,
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,1,1,0,0,0,0,0,
0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,-1,-1,0,0,0,0,0,0,1,0],[0,0,-1,0,0,0,0,0,1,1,1,
0,1,0,1,0,2,0,1,1,1,1,1,1,1,1,2,1,1,1,0,0,0,-1,-1,0,-1,-1,-1,-1,-1,0,0,-1,-1,
0,-1,-1,-1,-1,-1,-1],[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,1,0,
0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,1],[0,0,1,0,1,0,-1,0,-1,-1,-1,
0,-1,0,0,0,-1,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,0,-1,-1,0,0,0,1,1,0,1,1,1,1,1,0,0,
1,1,0,0,0,0,1,1,1],[0,0,-1,1,-1,1,-1,0,0,0,1,-1,1,-1,1,0,1,-1,0,0,0,0,0,0,0,0,
0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,0,0,-1],[0,0,1,0,1,0,1,-1,-1,
0,-1,0,-1,0,-1,0,-1,0,-1,-1,-1,-1,-1,-1,0,0,-1,-1,-1,-1,0,0,1,1,0,0,1,1,0,0,1,
1,1,1,0,0,1,1,1,0,0,0],[0,0,0,1,-1,0,-1,0,1,-1,0,-1,0,-1,1,0,0,-1,1,-1,-1,-1,
-1,-1,-1,0,-1,0,-1,-1,0,0,0,1,2,1,1,1,0,1,-1,0,0,1,1,0,0,-1,-1,1,1,0],[0,0,-1,
0,-1,0,1,2,1,1,1,0,1,0,1,0,2,1,1,3,1,1,1,1,2,1,2,1,1,1,0,0,0,-1,-1,0,-1,-1,-1,
-2,-1,-2,0,-1,-1,0,-2,-1,-1,-1,-1,0],[0,0,-1,0,0,1,0,1,1,1,1,0,1,0,1,0,2,1,1,
2,1,1,2,1,1,1,3,1,2,1,0,-1,-1,-1,-2,0,-1,-1,-1,-1,-1,-1,0,-2,-1,0,-2,-1,-1,-1,
0,0],[0,0,0,1,0,1,-2,0,0,-1,0,-1,0,-1,1,0,0,-1,0,-1,-1,-1,-1,0,-1,-1,-1,1,-1,
0,0,-1,0,0,2,0,1,1,1,1,0,0,-1,1,1,0,0,-1,-1,1,2,0],[0,0,1,1,0,0,-1,-1,-1,-1,
-1,-1,-1,-1,0,0,-1,-1,-2,-2,-2,-2,-2,-2,-1,-1,-2,-1,-2,-1,0,0,1,1,2,1,2,2,1,1,
2,1,1,2,1,0,1,0,0,1,1,0],[0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,0,1,1,0,0,0,0,0,0,1,1,
1,0,1,0,0,0,0,0,-1,0,0,0,-1,-1,0,1,1,0,-1,0,-1,0,0,-1,-1,0],[-1,-1,0,-1,0,-1,
0,-1,0,-1,0,1,-1,0,-1,0,-1,0,0,-1,0,0,0,0,-1,-1,-1,-1,-1,0,1,1,1,0,0,0,0,-1,1,
1,0,1,0,0,1,0,1,1,1,0,-1,0],[-1,-1,0,-1,0,-1,0,0,-1,-1,-1,0,0,1,-1,0,-1,0,-1,
0,0,0,0,0,-1,-1,-1,-1,0,-1,1,1,0,1,0,0,-1,0,1,1,1,0,0,0,0,1,1,1,1,0,-1,0],[2,
2,-1,-1,-1,-1,0,1,1,0,0,0,0,0,0,0,0,0,1,1,2,2,1,1,0,0,0,0,0,0,0,1,0,0,0,0,-1,
-1,0,0,-1,-1,-2,-2,0,0,0,0,0,0,0,0],[0,0,-1,0,-1,0,0,1,1,1,1,0,2,0,1,0,2,0,1,
2,1,2,2,1,1,1,2,1,2,1,0,0,-1,-1,-1,0,-2,-1,-1,-1,-1,-1,0,-2,-1,0,-1,-1,-1,-1,
-1,-1],[0,0,0,0,0,0,0,1,0,0,0,0,0,1,0,0,0,1,0,1,0,1,1,0,0,0,1,0,1,0,0,0,-1,0,
-1,0,-1,0,0,0,0,-1,0,-1,0,0,-1,0,0,0,0,1],[0,0,1,0,0,0,-1,0,0,-1,0,0,-1,0,0,0,
-1,0,0,-1,0,-1,-1,0,-1,-1,-1,0,-1,0,0,0,0,0,1,0,1,0,1,1,0,0,-1,1,1,0,0,0,0,1,
1,1],[0,0,-1,1,-1,0,-1,0,1,0,1,0,1,-1,1,0,1,-1,1,0,1,0,0,1,0,0,0,1,0,1,0,0,0,
-1,1,0,0,-1,0,0,-1,0,-1,0,0,0,0,-1,-1,0,0,-1],[1,1,0,2,0,2,-1,0,0,2,1,-1,1,-1,
2,0,2,0,0,0,0,0,0,0,1,1,2,2,1,1,-2,-2,-1,-1,0,0,1,1,-1,-1,0,0,0,0,-1,-1,-2,-2,
-2,0,2,0],[-1,-1,0,-1,0,-1,1,0,-1,0,0,1,0,1,-1,0,-1,0,-1,0,0,0,0,1,0,0,-1,0,0,
0,1,1,0,0,0,-1,-1,-1,0,0,1,0,0,1,0,0,1,1,1,0,-2,0],[-1,-1,0,-1,0,-1,1,-1,0,0,
0,1,0,1,-1,0,-1,0,0,-1,0,0,1,0,0,0,0,-1,0,0,1,1,0,0,-1,0,-1,-1,0,0,0,1,1,0,0,
0,1,1,1,0,-2,0],[-1,-1,0,-1,0,-1,2,1,-1,1,-1,0,0,1,-1,0,0,1,-1,1,-1,0,0,-1,1,
1,0,-1,1,-1,1,1,0,1,-1,0,-1,1,-1,-1,1,0,2,0,-1,0,0,1,1,-1,-2,0],[-1,-1,1,0,0,
-1,0,-2,0,-1,-1,0,-2,-1,-1,0,-2,-1,-1,-3,-2,-3,-3,-2,-1,-1,-3,-2,-3,-1,1,1,2,
1,2,1,3,1,1,1,1,2,1,3,1,0,2,1,1,1,0,0],[0,0,0,2,0,2,-2,-1,-1,-1,0,-2,0,-2,2,0,
0,-2,-1,-2,-2,-2,-2,-1,-1,0,-1,2,-1,-1,0,-1,0,1,3,0,2,2,0,1,1,1,0,2,1,0,0,-2,
-2,1,2,0],[0,0,-1,1,0,2,0,0,0,1,1,-1,1,-1,1,-1,3,1,0,1,0,0,1,0,2,1,4,1,1,1,0,
-1,0,-1,-2,1,0,0,-1,-2,0,0,1,-1,-1,0,-3,-1,-2,-1,0,0],[0,0,1,-1,1,-1,-1,-1,-1,
0,-1,1,-1,1,-1,0,-1,0,-1,-1,0,0,0,0,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,1,1,1,1,0,
0,0,0,1,1,1,0,0,0],[0,0,0,0,0,0,-1,-1,-1,0,0,0,0,0,-1,0,-1,0,-1,-1,0,0,0,0,-1,
-1,-1,-1,0,0,0,0,0,0,0,0,0,0,1,1,1,1,0,0,0,0,1,1,1,0,0,0],[1,1,1,-1,0,-2,-1,
-1,-1,-3,-1,1,-2,0,-3,-1,-3,-1,-1,-2,0,0,-2,-1,-3,-4,-4,-4,-3,-2,0,2,2,1,2,1,
1,0,4,3,1,1,-1,0,2,1,3,4,2,1,1,0],[1,1,0,-2,0,-2,1,0,0,-1,-1,1,0,2,-2,0,-2,0,
0,1,2,2,1,0,-2,-1,-2,-2,0,-1,0,2,0,1,-1,0,-2,-1,1,2,0,0,-1,-2,0,1,3,2,2,-1,-1,
0],[0,0,0,1,0,1,0,0,1,2,1,0,0,-1,1,0,2,1,1,0,0,0,0,1,2,1,2,1,1,2,-1,-2,0,-2,
-1,0,1,0,-1,-2,-1,0,0,0,-1,-1,-2,-1,-1,0,1,0],[0,0,0,1,0,1,0,1,0,2,0,-1,1,0,2,
1,1,0,0,1,0,0,1,0,1,2,1,2,2,1,-1,-2,-2,0,0,-1,0,1,-2,-1,0,-1,0,0,-1,-1,-1,-2,
-1,0,1,0],[0,0,-1,0,0,1,2,2,1,3,2,1,2,1,1,0,3,2,2,4,2,3,4,2,3,3,5,2,4,2,-1,-1,
-2,-2,-4,-1,-3,-2,-3,-3,-2,-2,0,-3,-2,-1,-3,-1,-1,-2,-1,0],[0,0,1,2,0,1,-2,-1,
0,-1,0,-1,0,-1,1,0,-1,-2,0,-2,-1,-2,-2,0,-1,-1,-2,1,-2,0,-1,-1,0,0,3,0,2,1,1,
1,0,0,-1,2,1,0,1,-1,-1,2,3,0],[-1,-1,1,1,1,1,-3,-3,-1,-2,0,0,-1,-1,0,0,-2,-2,
-1,-4,-2,-2,-1,-1,-3,-2,-2,0,-2,0,0,-1,0,0,2,0,2,1,2,3,1,2,0,2,2,0,2,0,0,2,2,
0],[-1,-1,-1,-1,1,1,1,1,-1,2,1,1,2,2,0,0,2,2,0,3,2,2,3,3,2,1,4,2,4,2,0,-1,-2,
-2,-4,-2,-3,-2,-1,-2,0,-1,0,-2,-2,0,-2,0,0,-2,-2,0],[1,1,1,-1,0,-2,0,-1,1,-1,
0,2,-1,1,-1,1,-3,-1,1,-1,1,1,0,1,-1,-1,-4,-1,-1,0,-1,0,0,0,2,-1,0,-1,1,2,-1,0,
-2,0,1,-1,3,1,2,1,1,0],[1,1,0,-2,0,-2,2,2,0,1,0,2,1,3,-2,0,0,2,1,3,3,3,3,2,1,
1,1,-2,2,1,-1,0,-1,-1,-3,0,-3,-2,0,-1,-1,-2,-1,-3,-2,0,0,2,2,-1,-1,0],[0,0,0,
-2,1,-1,0,-1,-1,0,0,2,0,2,-2,0,-2,0,-1,-1,2,2,1,1,-1,-1,-1,-1,1,1,0,1,-1,-1,
-1,-1,-2,-2,1,1,1,1,-1,-1,0,0,2,2,2,0,-1,0],[-1,0,0,1,0,1,0,0,0,1,0,-1,1,0,2,
0,1,0,0,0,-1,-1,0,0,1,2,1,2,1,0,0,-1,-1,0,0,0,0,1,-2,-1,0,0,1,1,-1,0,-1,-2,-1,
0,0,0],[0,-1,0,1,0,1,0,0,0,1,0,-1,1,0,1,1,1,0,0,0,-1,-1,0,0,1,2,1,2,1,0,0,-1,
-1,0,0,0,0,1,-2,-1,0,0,1,1,-1,0,-1,-2,-1,0,0,0],[-1,0,0,1,0,1,0,0,0,1,1,0,0,
-1,1,0,2,0,0,0,-1,-1,0,0,2,1,2,1,0,1,0,-1,0,-1,0,0,1,0,-1,-2,0,0,1,1,0,-1,-2,
-1,-1,0,0,0],[0,-1,0,1,0,1,0,0,0,1,1,0,0,-1,1,0,1,1,0,0,-1,-1,0,0,2,1,2,1,0,1,
0,-1,0,-1,0,0,1,0,-1,-2,0,0,1,1,0,-1,-2,-1,-1,0,0,0],[0,0,1,-2,0,-3,2,0,0,1,
-1,2,-1,2,-2,1,-2,1,0,0,1,1,0,0,0,0,-2,-2,0,0,0,2,0,0,-1,-1,-1,-1,0,0,0,0,0,0,
0,0,2,2,3,0,-2,0],[2,2,-1,-1,0,0,1,2,0,2,1,1,2,2,0,0,2,2,1,5,4,5,4,3,2,1,4,1,
4,2,-2,-1,-2,-2,-4,-1,-4,-2,-1,-2,-1,-2,-1,-5,-2,0,-2,0,0,-2,-1,0],[2,2,1,1,0,
0,-3,-2,0,-2,0,0,-1,-1,0,0,-2,-2,1,-3,1,0,-1,0,-3,-2,-3,0,-2,0,-2,-1,0,0,3,0,
2,0,2,3,0,1,-3,1,2,0,2,0,0,2,3,0]]],
0,
[( 7, 8)(11,12)(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)(49,50)(51,52)(53,54)],
0,
rec(version:=3,
date:="21.04.92"));

MBT("L3(9).2_2",5,
TEXT1,
[1,1,2,3,4,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,4,4,1,1,29,30,5,7,6,31,32,33,34,35,36,37,38],
[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,1,1,0,0,0,0,0,0,0,0],
[],
[[[1,4],[2,5],[3,4],[3,5]],,,1,[[1,4],[2,3,4]],5,5,,,,,,,,,,,,,,,,,,,,,,[[1,2,
3,4,5]],29],
[],
0,
[( 9,10)(13,14)(20,21)(22,23)(42,43),(24,28,32)(25,29,33)(26,30,34)(27,31,35),
(16,17)(18,19)(24,25)(26,27)(28,29)(30,31)(32,33)(34,35)(44,45)(46,47),
(16,18,17,19)(24,26,25,27)(28,30,29,31)(32,34,33,35)(44,46,45,47)],
0,
rec(version:=2,
date:="21.04.92"));

MBT("L3(9).2_2",7,
TEXT1,
[1,1,1,1,2,3,4,5,6,1,1,7,7,8,8,9,9,10,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],
[1,0,0,0,0,0,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0],
[],
[[[1,3],[2,4],[3,6],[4,7],[5,6],[5,7]],,,,,,[[1,3,4,5],[2,3,4,5]],7,7,7],
[],
0,
[(17,18)(19,20)(47,48)(49,50),(17,19,18,20)(47,49,48,50),(31,35)(32,36)(33,37)
(34,38),(23,24)(27,30)(28,29)(31,34,35,38)(32,33,36,37),( 9,10)(13,14)(21,22)
(25,26)(27,29)(28,30)(31,33,35,37)(32,34,36,38)(45,46)],
0);

MBT("L3(9).2_3",13,
TEXT1,
[1,1,1,1,2,3,4,5,6,7,8,9,1,1,10,10,11,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,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],
[],
[[[1,4],[2,3],[3,7],[4,8],[5,6,7],[5,6,8]],,,,,,,,,[[1,3,4,5,6,7,8],[2,3,4,5,
6,7,8]],10],
[],
0,
[(10,11)(47,48),(31,35)(32,36)(33,37)(34,38),(27,29)(28,30)(31,33,35,37)
(32,34,36,38),( 5, 6)(12,13)(14,15)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)
(31,32)(33,34)(35,36)(37,38)(43,44)(49,50)(51,52)],
0);

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

MBT("L3(9).2_3",3,
TEXT1,
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,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],
[6,0,0],
[[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,51,53,54,58]],
[],
[[[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,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,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,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,1,1,1,0,0,0,0,0,0,0,
1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,
0,0,0,1,1,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,
-1,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,-1,0,0,1,-1,0,-2,1,-1,-1,-1,-1,-2,-2,-2,-2,
-1,-1,-2,-2,-2,-2,-2,-2,-2,-2,1,2,2,1,1,1,0,2,0,2,2,1,1,0,2,1,2,1,1,1,1,1],[0,
0,0,0,1,0,0,-1,0,-1,0,0,0,0,0,0,0,1,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,-1,-1,-1,0,0,0],[-1,0,0,1,-1,1,0,1,-1,0,-2,0,-1,-1,0,-1,-2,-2,
-2,-2,-2,-2,-2,-2,-1,-2,-2,-2,-2,-2,1,1,2,1,1,1,1,2,0,2,2,1,2,1,1,1,2,1,1,0,1,
1],[0,-1,1,0,0,0,0,1,-1,0,-2,0,-1,-1,-1,0,-2,-2,-2,-2,-2,-2,-2,-2,-1,-2,-2,-2,
-2,-2,1,1,2,1,1,1,1,2,0,2,2,1,2,1,1,1,2,1,1,1,0,1],[1,0,0,0,1,0,0,0,1,1,1,-1,
1,1,0,1,1,1,1,1,1,1,1,1,1,2,1,1,1,1,-1,-1,-1,0,-1,-1,0,-1,0,-2,-1,0,-1,0,-1,
-1,-1,0,0,0,-1,-1],[0,1,0,0,0,1,0,0,1,1,1,-1,1,1,1,0,1,1,1,1,1,1,1,1,1,2,1,1,
1,1,-1,-1,-1,0,-1,-1,0,-1,0,-2,-1,0,-1,0,-1,-1,-1,0,0,-1,0,-1],[0,0,0,0,0,-1,
1,0,0,-1,0,2,0,0,0,0,0,1,0,2,0,0,0,0,1,0,1,0,0,0,0,0,0,0,1,0,0,0,-1,0,0,-2,0,
0,0,0,-1,-1,-1,0,0,0],[0,0,0,0,0,-1,0,-1,1,0,2,0,0,0,0,0,0,1,2,0,0,0,0,0,0,1,
0,1,0,0,0,0,0,0,0,1,0,0,0,-1,-2,0,0,0,0,0,-1,-1,-1,0,0,0],[-1,-1,0,0,0,0,0,0,
-1,-1,-2,2,-1,-1,-1,-1,-2,-1,-2,-1,-2,-2,-2,-1,-2,-2,-1,-1,-1,-2,2,1,2,0,1,1,
0,2,0,2,2,0,1,1,2,1,1,0,0,1,1,1],[-1,-1,0,0,0,0,0,0,-1,-1,-1,1,-1,-1,-1,-1,-2,
-1,-1,-2,-2,-2,-1,-2,-2,-2,-1,-1,-2,-1,2,1,1,1,1,1,0,2,0,2,1,1,2,0,2,1,1,0,0,
1,1,1],[1,1,0,0,1,0,0,-1,2,1,2,-1,2,2,1,1,2,3,2,2,2,2,2,2,2,4,2,3,3,2,-2,-2,
-2,-1,-2,-1,0,-2,0,-4,-2,0,-2,0,-2,-2,-3,-1,-1,-1,-1,-2],[-1,-1,1,1,-1,0,0,1,
-2,-1,-3,0,-2,-2,-1,-1,-4,-3,-4,-4,-4,-4,-4,-4,-2,-4,-3,-4,-4,-3,2,2,3,2,3,2,
2,4,0,4,4,2,4,2,2,2,3,1,1,1,1,2],[-1,-1,0,0,-1,0,-1,0,-1,0,-1,-1,-1,-1,-1,-1,
-1,-2,-1,-2,-1,-1,-1,-1,-2,-2,-2,-2,-2,-1,1,1,1,1,1,1,0,1,2,2,1,1,1,0,1,1,2,1,
1,0,0,1],[1,1,-1,-1,1,0,0,-1,2,1,4,-2,2,2,2,2,5,4,4,5,5,5,5,5,4,4,4,4,5,4,-3,
-3,-4,-2,-3,-3,-1,-6,0,-4,-4,-2,-5,-2,-4,-2,-4,-1,-1,-2,-2,-3],[2,2,-1,-1,-1,
-1,0,0,0,0,1,1,0,0,0,0,0,0,1,1,2,2,1,1,0,0,0,0,0,0,0,1,0,0,0,0,-1,-1,0,0,-1,
-1,-2,-2,0,0,0,0,0,0,0,0],[0,0,0,0,0,-1,0,-1,0,-1,1,1,0,0,0,0,1,1,1,1,1,1,1,1,
0,0,1,1,1,1,0,0,-1,-1,0,0,-1,-1,0,0,-1,-1,-1,-1,0,0,-1,-1,-1,0,0,0],[-2,-1,1,
1,-1,0,0,1,-2,-2,-5,2,-2,-2,-2,-2,-5,-4,-5,-5,-5,-5,-5,-5,-4,-5,-4,-4,-5,-4,3,
3,4,2,3,3,1,6,0,5,5,2,5,2,4,2,4,1,1,2,2,3],[-1,-2,1,1,-1,0,0,1,-3,-1,-5,2,-2,
-2,-2,-2,-5,-4,-5,-5,-5,-5,-5,-5,-4,-5,-4,-4,-5,-4,3,3,4,2,3,3,1,6,0,5,5,2,5,
2,4,2,4,1,1,2,2,3],[0,1,0,0,1,0,1,-1,1,0,1,0,1,1,1,1,1,2,1,1,1,1,1,1,1,2,2,2,
2,1,-1,-1,-1,-1,-1,-1,0,-1,-1,-2,-1,0,-1,0,-1,-1,-2,-1,-1,0,0,-1],[1,0,0,0,1,
0,0,0,1,0,1,0,1,1,1,1,1,2,1,1,1,1,1,1,1,2,2,2,2,1,-1,-1,-1,-1,-1,-1,0,-1,-1,
-2,-1,0,-1,0,-1,-1,-2,-1,-1,0,0,-1],[2,2,-1,-1,2,0,0,-2,4,2,7,-4,4,4,3,3,8,6,
7,6,7,7,8,7,6,8,6,7,7,7,-5,-5,-7,-3,-5,-4,-2,-8,0,-8,-7,-2,-6,-3,-6,-4,-6,-2,
-2,-3,-3,-4],[0,0,0,0,0,0,0,0,0,0,0,-1,0,0,1,1,2,0,0,1,1,1,1,2,2,0,1,0,1,1,-1,
-1,-1,-1,0,-1,0,-2,0,0,0,-1,-1,0,-2,0,0,0,0,-1,-1,0],[2,2,-1,-1,2,0,0,-2,5,3,
8,-4,5,5,3,3,7,7,8,6,7,6,7,6,6,10,6,7,7,7,-5,-5,-7,-2,-5,-4,-1,-7,0,-10,-8,-1,
-6,-2,-6,-5,-7,-2,-2,-3,-3,-5],[-2,-2,1,1,-2,0,0,2,-3,-1,-5,1,-3,-3,-1,-1,-5,
-5,-6,-4,-6,-5,-6,-5,-2,-6,-5,-6,-5,-5,3,3,5,2,4,3,3,5,0,6,6,1,5,3,2,3,5,2,2,
1,1,3],[-2,-2,1,1,0,0,1,1,-3,-3,-6,2,-3,-3,-2,-2,-6,-4,-6,-5,-6,-6,-6,-5,-3,
-6,-3,-4,-5,-5,4,3,5,2,4,3,2,6,-1,6,6,2,5,3,4,3,4,0,0,2,2,3],[0,0,0,0,2,0,0,
-2,2,0,1,-1,1,1,0,0,0,2,1,0,0,0,1,0,0,3,2,3,1,1,0,-1,-1,0,-1,0,0,0,0,-3,-1,1,
0,0,0,-1,-3,-1,-2,0,0,-1],[0,0,0,0,0,0,-1,0,-1,0,-1,-1,0,0,0,0,0,-1,-1,-1,0,0,
0,0,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,1,1,1,1,0,0,0,0,1,1,1,0,0,0],[0,0,0,0,-1,
1,-1,0,-1,0,-1,-1,0,0,0,0,0,-1,-1,-1,0,0,0,0,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,
1,1,1,1,0,0,0,0,1,1,1,0,0,0],[0,0,0,0,-3,0,-1,2,-3,0,-3,0,-3,-3,-2,-2,-3,-6,
-3,-4,-2,-2,-4,-3,-5,-6,-6,-6,-5,-4,2,4,4,2,3,2,0,3,3,6,3,2,2,0,3,3,6,4,3,1,1,
2],[2,2,-1,-1,-1,0,-1,0,1,2,2,-1,1,1,0,0,3,0,2,3,4,4,3,2,0,1,0,0,2,1,-2,0,-2,
0,-2,-1,-1,-4,2,-1,-2,-1,-4,-2,-1,-1,0,2,1,-1,-1,-2],[-2,-2,1,1,-1,0,1,2,-3,
-2,-5,3,-2,-2,-1,-1,-5,-3,-5,-4,-5,-5,-5,-4,-2,-5,-3,-4,-4,-3,3,2,4,1,3,2,1,6,
-2,5,5,1,5,2,3,2,4,0,1,2,2,3],[0,0,0,0,1,0,0,-1,2,1,2,0,2,2,1,1,1,3,2,1,1,1,2,
1,1,4,2,3,3,2,-1,-2,-2,-1,-2,-1,0,-1,-1,-4,-2,0,-1,0,-1,-2,-3,-1,-1,0,0,-1],[
-4,-4,2,2,-3,0,0,3,-6,-3,-10,4,-6,-6,-4,-4,-10,-10,-10,-10,-11,-10,-10,-10,-8,
-12,-9,-10,-11,-9,7,7,9,4,7,6,2,11,0,12,10,3,10,4,8,6,10,3,3,4,4,7],[2,2,-1,
-1,3,0,1,-2,5,2,7,-1,5,5,3,3,8,8,8,8,8,7,8,8,6,10,8,9,9,7,-5,-5,-7,-4,-6,-5,
-3,-8,-2,-10,-8,-3,-7,-3,-5,-5,-8,-3,-3,-2,-2,-5],[-1,-1,0,0,1,1,0,0,-1,-1,-2,
0,0,0,0,0,1,0,-1,0,0,0,1,1,0,-1,1,1,1,1,0,-1,-1,-1,-1,-1,-1,0,0,1,1,0,0,0,0,0,
0,0,0,0,0,0],[-1,-1,0,0,1,1,-1,-1,0,0,0,-2,0,0,0,0,1,0,0,-1,0,0,1,1,-1,0,1,1,
1,1,0,-1,-1,-1,-1,-1,0,-1,1,0,0,1,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,-3,0,0,3,-3,0,
-3,2,-2,-2,-1,-1,-1,-4,-3,-1,-1,-1,-2,-1,-1,-5,-4,-5,-3,-2,1,2,2,1,2,1,0,1,0,
5,3,-1,1,0,1,2,5,2,3,1,1,2],[2,2,-1,-1,-1,0,-1,0,2,3,4,-1,2,2,1,1,5,2,5,3,5,5,
5,4,1,5,1,2,4,3,-3,-2,-3,-2,-3,-2,-3,-4,1,-4,-5,-1,-4,-3,-2,-3,-2,1,1,-1,-1,
-2],[1,1,-1,-1,0,1,-1,0,0,1,1,-2,1,1,1,1,4,0,1,1,4,4,3,3,1,1,1,1,3,3,-2,-1,-3,
-2,-2,-2,-2,-4,1,-1,-1,0,-3,-2,-2,-1,0,1,1,-1,-1,-1],[-1,-1,1,1,2,0,1,-1,1,-1,
0,0,1,1,1,1,0,3,0,0,-2,-2,0,0,3,3,3,3,1,1,0,-2,-1,-1,0,0,1,1,-3,-3,0,0,2,2,-1,
-1,-3,-3,-2,0,0,0],[0,1,0,0,-1,0,1,1,-1,0,-1,1,0,0,1,1,1,0,-1,2,1,1,0,1,2,-1,
0,-1,1,0,-1,0,0,-1,0,-1,0,-1,-1,1,1,-2,-1,0,-1,0,1,0,1,-1,0,0],[1,0,0,0,-1,0,
0,2,-1,0,-1,1,0,0,1,1,1,0,-1,2,1,1,0,1,2,-1,0,-1,1,0,-1,0,0,-1,0,-1,0,-1,-1,1,
1,-2,-1,0,-1,0,1,0,1,0,-1,0],[2,1,0,-1,1,-1,-1,-1,3,2,5,-3,2,3,1,2,4,3,5,2,4,
4,4,3,2,5,2,3,3,4,-3,-2,-4,-1,-3,-2,-1,-4,1,-5,-5,0,-3,-2,-3,-2,-3,0,0,-1,-2,
-2],[1,2,-1,0,-1,1,-1,-1,2,3,5,-3,3,2,2,1,4,3,5,2,4,4,4,3,2,5,2,3,3,4,-3,-2,
-4,-1,-3,-2,-1,-4,1,-5,-5,0,-3,-2,-3,-2,-3,0,0,-2,-1,-2],[-1,-1,1,1,-3,0,0,3,
-6,-3,-9,4,-5,-5,-3,-3,-7,-8,-8,-6,-6,-5,-7,-6,-6,-11,-7,-8,-7,-7,4,5,7,2,5,4,
1,7,0,11,9,1,6,1,6,5,8,3,3,3,3,5],[3,3,-1,-1,1,0,-1,-2,3,2,5,-2,3,3,1,1,5,4,6,
4,7,6,6,5,1,6,4,5,5,5,-4,-3,-5,-2,-4,-3,-3,-5,1,-6,-6,0,-6,-3,-2,-3,-4,-1,-1,
-1,-1,-3]]],
0,
[( 3, 4)( 7, 8)( 9,10)(11,12)(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)(48,49)(51,52)(53,54)],
0,
rec(version:=3,
date:="21.04.92"));

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

MBT("L3(9).2_3",7,
TEXT1,
[1,2,1,2,3,4,5,6,7,8,9,10,2,1,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],
[1,1,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],
[],
[[[1,2],[2,5],[3,4,5]],1,,,,,,,,,[[1,2,3,4,5,6,7]],11],
[],
0,
[(19,20),(31,35)(32,36)(33,37)(34,38),(27,29)(28,30)(31,33,35,37)
(32,34,36,38),( 5, 6)(10,11)(12,13)(17,18)(21,22)(23,24)(25,26)(27,28)(29,30)
(31,32)(33,34)(35,36)(37,38)(43,44)(47,48)(49,50)],
0);

MBT("L3(9).2^2",2,
TEXT1,
[1,1,2,3,4,5,6,7,8,9,10,11,1],
[9,1,1,1,0,0,0,0,0,0,5],
[[1,5,40],,,,,,,,,,[28]],
[,[[1,2]],2,2],
[[[1,0,0],[0,1,0],[-1,0,1]],,,,,,,,,,[[1]]],
0,
[( 8,10,12)( 9,11,13),( 6, 7)( 8, 9)(10,11)(12,13)],
0);

MBT("L3(9).2^2",3,
TEXT1,
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,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,5],
[6,0,0,0,0],
[[1,3,4,5,6,7,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,44,46,48,50,51]],
[],
[[[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,1,0,0,-1,0,-1,0,0,0,-1,0,1,0,1,0,1,0,1,1,1,1,1,1,0,0,1,-1,-1,0,0,0,
-1,-1,-1,-1,-1,0,-1,0,-2],[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,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,1,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,1,1,1,0,0,0,0,
0,0,1,0,0,1,0,0,0,0,0,0,0,0,0,-1,-1,0,0,0,0,0,0,0,0],[1,2,0,-1,-2,0,-1,0,0,1,
-1,1,3,1,3,1,3,1,4,5,4,4,4,4,-1,-1,1,-2,-3,-2,-2,-2,-3,-4,-3,-3,-2,0,-2,-1,-3]
,[0,0,1,0,0,0,0,0,0,0,1,0,-1,0,-1,0,-1,0,-1,0,-1,-1,-1,-1,0,0,0,1,1,0,0,0,1,0,
1,1,1,0,1,0,1],[0,2,0,-1,-1,0,0,1,0,0,-1,1,3,1,3,1,4,1,4,4,4,4,5,4,-1,-1,0,-2,
-3,-2,-2,-2,-3,-3,-3,-4,-2,-1,-2,-1,-2],[0,-2,0,1,2,-1,1,-1,1,-1,0,-1,-3,-1,-2
,-2,-2,-1,-4,-4,-4,-4,-3,-4,1,1,0,2,3,2,2,2,3,3,3,2,1,0,2,1,2],[0,2,0,-1,-1,1,
0,1,0,1,0,0,3,1,2,1,2,1,3,3,3,4,3,3,-1,-1,0,-2,-2,-2,-1,-2,-2,-2,-3,-2,-1,0,-2
,-1,-2],[0,2,0,0,-1,0,0,1,0,1,0,0,3,1,2,1,2,1,3,3,3,4,3,3,-1,-1,0,-2,-2,-2,-1,
-2,-2,-2,-3,-2,-1,0,-2,-1,-2],[0,-4,0,2,3,-1,0,-2,0,-1,1,0,-6,-2,-5,-3,-4,-2,
-6,-8,-8,-7,-7,-8,2,2,0,4,6,5,4,3,4,6,6,4,2,0,4,2,4],[0,0,0,-1,0,-1,1,0,1,0,0,
2,1,1,2,0,3,1,3,2,3,2,4,3,0,0,-1,-1,-2,-2,-2,-2,-2,-2,-1,-3,-1,-1,0,-1,0],[0,0
,0,1,1,0,0,0,0,0,0,-1,0,0,-1,-1,0,0,-2,-2,-2,0,-1,-1,0,0,0,0,1,1,2,0,2,2,0,0,0
,0,0,0,0],[-1,-2,-1,0,0,1,0,0,-1,-1,0,-2,-3,-2,-3,0,-4,-1,-4,-3,-3,-5,-5,-4,1,
1,0,2,3,2,1,4,3,2,3,4,2,1,1,1,2],[1,0,1,0,-1,0,-2,-1,0,0,-1,0,-2,-1,-2,-1,-2,
-1,-2,-1,-2,-3,-3,-3,1,1,2,1,2,2,1,2,1,0,2,2,0,1,1,1,0],[1,0,1,0,-1,0,-1,-1,-1
,-1,0,0,-2,-1,-2,-1,-2,-1,-2,-1,-2,-3,-3,-3,1,1,1,2,2,2,1,2,1,0,2,2,1,0,1,1,0]
,[0,-2,0,1,1,0,0,-1,0,-1,0,0,-3,-1,-2,-1,-2,-1,-3,-3,-3,-4,-3,-3,1,1,0,2,2,2,1
,2,2,2,3,2,1,0,2,1,2],[0,-2,0,1,2,-1,0,-1,0,-1,0,0,-3,-1,-2,-1,-2,-1,-3,-3,-3,
-4,-3,-3,1,1,0,2,2,2,1,2,2,2,3,2,1,0,2,1,2],[0,2,0,0,0,-1,0,0,1,1,-1,1,3,2,3,0
,4,1,3,3,3,4,5,4,-1,-1,0,-2,-3,-2,-1,-3,-2,-2,-3,-4,-2,-1,-1,-1,-2],[1,0,1,0,1
,-1,1,0,1,0,1,1,2,2,2,0,3,1,2,2,2,3,4,3,-1,-1,-1,-1,-2,-2,-1,-3,-1,-1,-2,-3,-1
,-1,0,-1,0],[-1,-2,-1,1,1,1,0,0,-1,-1,0,-3,-3,-2,-3,0,-5,-2,-6,-5,-4,-5,-6,-5,
1,1,0,2,3,3,2,4,4,4,3,5,2,1,1,2,2],[-1,-2,-1,1,1,1,0,0,-1,0,1,-2,-2,-1,-4,-1,
-4,-1,-5,-6,-6,-3,-6,-5,1,1,0,2,4,3,4,2,4,5,2,4,2,1,1,1,2],[0,0,0,0,2,-2,2,0,2
,0,0,0,1,1,2,-2,4,0,1,0,1,3,5,2,0,0,-1,-1,-1,-1,0,-3,0,0,-1,-4,-2,-2,0,-1,0],[
0,2,0,-1,-2,1,0,1,-1,0,-1,0,3,1,2,2,2,1,3,4,4,3,3,4,-1,-1,0,-2,-3,-2,-2,-1,-2,
-3,-3,-2,-1,0,-2,-1,-2],[0,2,0,-1,-1,0,0,0,0,0,-1,0,3,1,3,1,2,1,3,4,4,3,3,4,-1
,-1,0,-2,-3,-2,-2,-1,-2,-3,-3,-2,-1,0,-2,-1,-2],[0,2,0,-1,-2,1,-1,1,0,0,-1,0,3
,1,2,2,2,1,3,4,4,3,3,4,-1,-1,0,-2,-3,-2,-2,-1,-2,-3,-3,-2,-1,0,-2,-1,-2],[0,-2
,0,1,1,0,0,0,0,-1,0,-2,-3,-1,-3,-1,-4,-1,-5,-4,-4,-5,-5,-4,1,1,0,2,3,2,2,3,4,3
,3,4,2,1,2,1,2],[1,2,1,-1,-4,2,-3,0,-2,0,-1,-1,-1,-2,-1,2,-4,-1,0,3,0,-4,-5,-2
,0,0,3,1,1,1,-1,5,0,-3,1,5,1,2,-1,0,-2],[0,0,0,0,1,-1,1,0,1,1,1,2,3,3,2,0,4,2,
3,2,3,5,5,5,-1,-1,-2,-2,-3,-3,-1,-5,-2,-1,-3,-4,-1,-1,0,-1,0],[0,0,0,0,1,-1,1,
0,1,1,1,2,2,2,3,1,3,1,4,3,4,4,5,4,-1,-1,-1,-1,-3,-3,-3,-4,-3,-2,-2,-3,-1,-1,0,
-1,0],[-1,2,-1,-2,-1,0,2,2,1,0,-1,0,5,2,6,3,5,2,6,7,9,6,9,9,-2,-2,-2,-4,-7,-6,
-5,-3,-4,-5,-5,-5,-2,-1,-3,-2,-2],[1,2,1,-1,-4,2,-3,0,-2,1,0,1,1,0,1,4,-2,1,3,
5,4,1,-2,2,-1,-1,1,-1,-2,-1,-3,1,-3,-4,-2,2,1,2,-1,0,-2],[0,1,0,-1,-2,1,-1,1,0
,0,-1,-1,1,0,1,2,-1,0,0,3,2,0,0,2,-1,0,1,-1,-2,-1,-2,1,0,-2,-1,1,0,1,-1,0,-1],
[0,3,0,-2,-3,1,0,1,-1,0,-1,0,4,1,4,3,2,1,4,7,6,4,4,6,-1,-2,0,-2,-5,-3,-4,-1,-3
,-5,-4,-2,-1,0,-3,-1,-3],[-1,-1,0,1,2,-1,1,0,1,0,0,0,1,1,1,-1,3,0,0,-2,0,3,3,1
,0,0,-1,-1,-1,0,1,-3,0,2,-1,-3,-1,-1,0,0,0],[0,-1,-1,1,3,-1,2,0,1,0,1,0,0,1,0,
-1,1,1,-1,-3,-1,2,2,0,0,0,-2,0,0,0,1,-3,1,3,0,-2,0,-1,1,0,2],[0,2,0,0,-2,1,-2,
0,-1,1,-1,0,2,1,1,2,0,1,2,3,2,2,0,2,-1,-1,1,-1,-2,-1,-1,0,-2,-2,-2,0,0,1,-2,0,
-2],[0,-2,0,1,0,2,-1,0,-2,-1,1,-2,-3,-2,-5,0,-6,-1,-6,-5,-6,-6,-8,-6,1,1,1,3,4
,3,3,4,4,4,4,6,3,2,2,2,2],[2,4,2,-1,-3,0,-2,0,0,0,-2,1,3,1,4,2,3,1,6,9,7,3,5,6
,-2,-2,1,-3,-5,-3,-4,-1,-4,-7,-3,-3,-2,0,-2,-1,-4]]],
0,
[],
0);

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

MBT("L3(9).2^2",7,
TEXT1,
[1,2,2,1,1,2,2,1,3,4,5,6,7,8,9,2,1,1,2,10,10,11,11,12,13,14,15,16,17,18,19,20,
21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40],
[1,1,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],
[],
[[[1,3],[2,4],[3,7],[4,6],[5,6],[5,7]],1,,,,,,,,[[1,3,4,5],[2,3,4,5]],10],
[],
0,
[(15,16)(42,43),(22,24)(23,25),(20,21)(22,23,24,25)],
0);

MBT("L3(9).2^2",13,
TEXT1,
[1,2,1,2,1,2,1,2,3,4,5,6,7,8,9,1,2,1,2,10,10,11,12,13,14,15,16,17,18,19,20,21,
22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39],
[1,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,0,0,0,0,0,0,0,0
],
[],
[[[1,4],[2,3],[4,8],[3,7],[5,6,7],[5,6,8]],1,,,,,,,,[[1,3,4,5,6,7,8],[2,3,4,5,
6,7,8]]],
[],
0,
[(21,23)(22,24),(19,20)(21,22,23,24)],
0);

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

MBT("L3(9)",2,
TEXT1,
[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,1],
[7,0,0,0,0,0,0,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,2,44]],
[,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,[[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16]],
32],
[[[1,0,0],[0,1,0],[0,0,1]]],
0,
[(4,5),(12,20,28)(13,21,29)(14,22,30)(15,23,31)(16,24,32)(17,25,33)(18,26,34)
(19,27,35),( 8, 9)(10,11)(12,15)(13,14)(16,19)(17,18)(20,23)(21,22)(24,27)
(25,26)(28,31)(29,30)(32,35)(33,34),( 8,10, 9,11)(12,16,15,19)(13,17,14,18)
(20,24,23,27)(21,25,22,26)(28,32,31,35)(29,33,30,34),( 6, 7)(12,14)(13,15)
(16,18)(17,19)(20,22)(21,23)(24,26)(25,27)(28,30)(29,31)(32,34)(33,35)],
[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]);

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

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

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

MBT("L4(3).2_1",13,
TEXT1,
[1,2,3,4,5,6,7,8,1,2,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,
1,2,28,29,30,31],
[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],
[],
[[[1,2],[2,7],[3,4,5,6,7]],1],
[],
0,
[(25,26)(27,28)(30,31)(32,34)(33,35),(19,20)(32,35)(33,34)],
0);

MBT("L4(3).2_1",2,
TEXT1,
[1,1,1,1,1,2,3,4,5,6],
[8,3,1,1,1,1],
[[1,3,4,11,13]],
[,[[1,2,3,4,5,6,7,8]],[[1,2]],3,3,3],
[[[1,0,0,0,0],[0,1,0,0,0],[-1,0,1,0,0],[0,-1,0,1,0],[0,0,0,0,1]]],
0,
[( 7, 8)( 9,10),( 7, 9, 8,10)],
[1,1,1,1,1,1,0,0,0,0]);

MBT("L4(3).2_1",3,
TEXT1,
[1,1,1,1,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],
[6,0,0],
[[1,2,3,4,5,6,7,8,9,10,12,15,16,17,18,19,21,22,23,24,25,27,30,31,32,33,34,
35]],
[],
[[[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,0,0,0,0,0,0,
0,0,0,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,0,0,0,-1,
0,0,0,0,-1,0,1,1,0,0,0],[0,0,1,0,0,1,1,1,0,0,0,0,0,-1,-1,0,-1,-2,0,0,0,1,1,0,
0,1,0,0],[0,0,-1,1,0,0,0,0,0,0,0,1,0,1,1,0,0,1,0,0,-1,-1,-1,1,0,0,-1,0],[1,1,
0,0,1,0,0,2,1,1,0,-1,0,-1,-1,0,0,-1,1,1,1,1,1,-1,0,0,0,-1],[0,0,1,0,0,1,1,0,
-1,0,0,0,0,-1,-1,0,-1,-2,-1,0,0,1,1,0,0,1,1,0],[0,0,0,0,0,0,0,0,0,-1,-1,0,0,0,
0,0,-1,0,0,-1,0,-1,0,1,1,0,0,1],[2,0,0,0,0,0,0,0,0,0,1,1,0,1,0,-1,0,0,-1,0,-1,
0,-1,1,-1,1,0,0],[0,2,0,0,0,-1,-1,1,0,0,-1,-1,0,-1,0,1,0,0,1,0,1,0,1,-1,1,-1,
0,0],[0,0,0,0,0,-1,-1,0,1,0,0,-1,0,0,0,0,1,1,1,0,1,0,0,-1,0,-1,0,0],[-1,-1,0,
0,0,0,0,-2,-1,0,1,1,0,1,1,0,1,1,-1,0,-1,0,-1,0,-1,0,0,0],[-1,-1,0,0,0,0,1,-1,
0,0,1,0,0,0,0,0,1,0,0,0,0,1,0,-1,-1,0,0,0],[-1,-1,-1,0,0,0,-1,-1,0,0,0,0,0,1,
1,0,1,2,0,0,0,-1,-1,0,0,-1,0,0],[-1,1,2,-1,0,0,0,1,0,0,-1,-2,0,-2,-2,1,-1,-2,
1,0,2,2,2,-2,1,0,1,0],[0,-2,0,0,-1,0,0,-2,-1,-1,0,2,0,2,2,-1,0,1,-2,-1,-2,-2,
-2,2,0,1,0,1],[-1,1,-1,0,0,-2,-2,1,1,0,-2,-1,0,1,1,1,1,2,2,0,1,-2,0,0,1,-2,-1,
0],[1,-1,1,0,0,1,1,0,0,1,2,1,0,0,0,-1,0,-1,-1,1,-1,2,0,0,-2,1,0,-1],[0,-2,0,0,
0,1,1,0,0,0,0,1,0,0,0,0,-1,-1,-1,0,-1,0,0,1,0,1,0,0],[-1,1,0,0,0,0,0,2,1,1,-1,
-1,0,-1,-1,0,-1,-1,1,0,1,0,1,0,1,0,0,0],[-2,1,0,0,0,-1,0,0,0,0,-1,-1,0,-1,0,1,
1,0,1,0,2,0,1,-2,1,-1,0,0],[0,-3,0,0,0,2,1,-3,-1,-1,2,2,1,2,1,-1,0,1,-2,-1,-2,
0,-2,1,-1,1,0,0],[-2,1,0,0,0,0,-1,0,0,0,-1,-1,0,-1,0,1,0,1,2,0,1,0,1,-1,1,-2,
0,0],[1,-2,0,0,0,0,1,-1,0,0,1,1,0,1,0,-1,1,0,-1,1,-1,0,-1,1,-2,1,0,0],[1,0,0,
-1,0,0,0,0,1,0,1,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0],[-1,0,0,0,-1,0,0,-1,-1,0,
0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,-2,0,-1,-1,-2,-2,0,-1,0,1,0,2,2,0,1,
4,0,-1,-1,-2,-2,1,0,-1,-1,1],[1,1,0,-1,0,-1,0,0,0,1,1,-1,0,-1,-1,0,2,-1,0,1,1,
2,1,-2,-1,0,1,-1]]],
0,
[(10,11)(12,13)(14,15)(18,19)(20,21)(23,24)(25,26)(27,28)(29,30)],
0,
rec(version:=2,
date:="21.04.92"));

MBT("L4(3).2_1",5,
TEXT1,
[1,2,3,1,2,4,5,6,7,8,3,9,10,11,1,2,12,13,2,1,4,5,14,15,16,17,18,19,20,21,22,
23,24,25,26],
[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],
[],
[[[1,2],[2,3],[3,5],[4,5]],1,[[1,2],[2,3,4]],[[1,4],[2,3,4]],4],
[],
0,
[(25,26)(27,28)(30,31),(17,18)(19,20)(32,33)(34,35),(17,19,18,20)
(32,34,33,35)],
0);

MBT("L4(3).2_2",13,
TEXT1,
[1,1,2,3,4,5,6,7,8,9,10,11,12,13,1,1,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,1,1,39,40,41,42],
[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],
[],
[[[1,3],[2,4],[3,7],[4,8],[5,6,7],[5,6,8]]],
[],
0,
[( 5, 6)(12,13)(15,16)(18,19)(21,22)(25,26)(29,30)(31,32)(33,34)(35,36)(37,38)
(41,42)(44,45)(46,47)],
0);

MBT("L4(3).2_2",2,
TEXT1,
[1,1,1,1,1,1,1,2,3,4],
[8,3,0,0],
[[1,3,5,7,17,19,25],[31]],
[],
[[[1,0,0,0,0,0,0],[0,1,0,0,0,0,0],[0,0,1,0,0,0,0],[-1,0,0,1,0,0,0],[0,-1,0,0,
0,1,0],[0,0,-1,0,1,0,0],[0,0,0,0,0,0,1]],[[1]]],
0,
[( 9,10),(3,4)(7,8)],
[1,1,1,1,1,1,1,1,1,1]);

MBT("L4(3).2_2",3,
TEXT1,
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,3],
[6,0,0],
[[1,2,3,4,5,7,9,10,11,12,15,16,21,22,27,29,33,34,42]],
[],
[[[1,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,1,0,0,0,0,1,1,1,0,0,-1,0,0,-1,-1,-1,1],[0,0,0,0,1,0,0,1,1,1,0,0,-1,
0,0,-1,-1,-1,1],[1,0,0,0,0,1,0,1,1,1,0,0,-1,0,0,-1,-1,-1,1],[1,1,0,0,0,0,-1,0,
1,0,0,0,0,0,0,0,0,0,0],[1,1,0,0,0,0,0,-1,0,1,0,0,0,0,0,0,0,0,0],[-1,0,0,0,0,0,
0,-1,-1,-1,0,0,1,0,0,1,1,1,-1],[0,-1,0,1,-1,0,0,-1,-1,-1,0,0,1,0,0,1,1,1,-1],[
-1,-1,-1,0,0,0,1,-1,-1,-1,0,0,1,0,0,1,1,1,-1],[-1,-1,0,0,-1,0,0,0,-1,-1,0,0,1,
0,0,1,1,1,-1],[-1,0,1,1,0,-1,0,-1,0,0,0,0,0,-1,0,1,0,0,0],[-1,0,0,0,0,0,0,1,1,
1,1,0,-1,0,0,-1,-1,-1,1],[0,-1,0,-1,1,0,0,1,1,1,0,1,-1,0,0,-1,-1,-1,1],[-1,-2,
0,0,0,0,0,1,-1,-3,-1,0,1,0,1,1,1,1,-1],[0,0,0,0,0,-1,1,-1,-1,0,0,0,1,0,0,0,0,
0,0],[-1,1,0,-1,1,-1,-1,1,0,-1,0,0,0,1,0,0,0,0,0],[0,1,-1,-1,0,-1,-1,-1,-1,-1,
0,0,1,0,0,1,2,1,-1],[0,1,-1,-1,0,-1,0,-2,-1,-1,0,0,1,0,0,1,1,2,-1]]],
0,
[(13,14)(17,18)(20,21)],
0);

MBT("L4(3).2_2",5,
TEXT1,
[1,2,3,4,4,3,1,2,5,5,6,7,8,9,10,11,4,3,3,4,12,13,14,15,16,17,2,1,18,19,2,1,5,
5,20,21,22,23,24,25,26,27,28,29],
[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,2],[2,3],[3,5],[4,5]],1,[[1,4],[2,3],[3,5],[4,5]],3,[[1,4],[2,5],[3,4],[
3,5]]],
[],
0,
[(22,23),( 5, 6)(11,12)(14,15)(17,18)(19,20)(24,25)(28,29)(30,31)(32,33)
(34,35)(36,37)(41,42)(43,44)],
0);

MBT("L4(3).2_3",13,
TEXT1,
[1,1,2,3,4,5,6,7,1,1,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,1,1,24,25,
26,27],
[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],
--> --------------------

--> maximum size reached

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

Quelle ctbline5.tbl Sprache: unbekannt

[ Dauer der Verarbeitung: 0.28 Sekunden (vorverarbeitet) ]