Quelle ctbalter.tbl Sprache: unbekannt

#############################################################################
##
#W  ctbalter.tbl                GAP table library               Thomas Breuer
##
##  This file contains the Brauer character tables related to the
##  alternating groups of the ATLAS (see file 'ctoalter.tbl')
##  modulo all prime divisors of the group order.
##
#H  ctbllib history
#H  ---------------
#H  $Log: ctbalter.tbl,v $
#H  Revision 4.18  2012/03/28 12:58:41  gap
#H  added tables of A19 mod 2, S19 mod 2 (computed by Lukas Maas and
#H  J"urgen M"uller)
#H      TB
#H
#H  Revision 4.17  2011/09/28 12:12:36  gap
#H  removed Revision entries and SET_TABLEFILENAME calls
#H      TB
#H
#H  Revision 4.16  2011/03/02 09:00:22  gap
#H  added a remark to the InfoText of the 3-modular table of 2.A11.2
#H  that a paper by Morris/Yaseen states an incorrect decomposition matrix
#H      TB
#H
#H  Revision 4.15  2009/03/02 16:45:35  gap
#H  added tables of A15, A16, A17 mod all primes
#H  (contributed by J"urgen M"uller)
#H      TB
#H
#H  Revision 4.14  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.13  2001/05/04 17:02:03  gap
#H  first revision for ctbllib
#H
#H
#H  tbl history (GAP 4)
#H  -------------------
#H  (Rev. 4.13 of ctbllib coincides with Rev. 4.12 of tbl in GAP 4)
#H
#H  RCS file: /gap/CVS/GAP/4.0/tbl/ctbalter.tbl,v
#H  Working file: ctbalter.tbl
#H  head: 4.12
#H  branch:
#H  locks: strict
#H  access list:
#H  symbolic names:
#H   GAP4R2: 4.9.0.6
#H   GAP4R2PRE2: 4.9.0.4
#H   GAP4R2PRE1: 4.9.0.2
#H   GAP4R1: 4.7.0.2
#H  keyword substitution: kv
#H  total revisions: 14; selected revisions: 14
#H  description:
#H  ----------------------------
#H  revision 4.12
#H  date: 2000/04/17 12:24:18;  author: gap;  state: Exp;  lines: +68 -2
#H  added table of S17 mod 3 (computed by J"urgen M"uller)
#H
#H      TB
#H  ----------------------------
#H  revision 4.11
#H  date: 2000/04/10 11:18:38;  author: gap;  state: Exp;  lines: +24 -2
#H  added table of A14 mod 7 (computed by J"urgen M"uller)
#H
#H      TB
#H  ----------------------------
#H  revision 4.10
#H  date: 2000/03/31 11:24:28;  author: gap;  state: Exp;  lines: +91 -2
#H  added tables of S14 mod 11 and 13, and of A14 mod 3 and 5
#H  (computed by J"urgen M"uller)
#H
#H      TB
#H  ----------------------------
#H  revision 4.9
#H  date: 1999/11/23 12:13:21;  author: gap;  state: Exp;  lines: +8 -8
#H  corrected table of S16 mod 2 (computed by J"urgen M"uller)
#H
#H      TB
#H  ----------------------------
#H  revision 4.8
#H  date: 1999/11/17 13:26:17;  author: gap;  state: Exp;  lines: +25 -3
#H  added table of S14 mod 2 (constructed by J"urgen M"uller)
#H
#H      TB
#H  ----------------------------
#H  revision 4.7
#H  date: 1999/07/15 17:11:00;  author: gap;  state: Exp;  lines: +758 -2
#H  added tables of S14 mod 3, 5, 7,
#H                  S15 mod 2, 5, 7, 11, 13,
#H                  S16 mod 2, 5, 7, 11, 13,
#H                  S17 mod 2, 5, 7, 11, 13, 17
#H  (computed by Juergen Mueller, in characteristic 5 and 7 using the
#H  `specht' package)
#H
#H      TB
#H  ----------------------------
#H  revision 4.6
#H  date: 1999/07/14 11:39:36;  author: gap;  state: Exp;  lines: +4 -3
#H  cosmetic changes for the release ...
#H
#H      TB
#H  ----------------------------
#H  revision 4.5
#H  date: 1998/10/06 13:27:39;  author: gap;  state: Exp;  lines: +77 -2
#H  added table of S16 mod 3 (computed by Juergen Mueller)
#H
#H      TB
#H  ----------------------------
#H  revision 4.4
#H  date: 1998/08/18 13:54:51;  author: gap;  state: Exp;  lines: +62 -4
#H  added table of S15 mod 3 (constructed by J"urgen M"uller)
#H
#H      TB
#H  ----------------------------
#H  revision 4.3
#H  date: 1998/02/13 12:28:46;  author: gap;  state: Exp;  lines: +8 -4
#H  added previously unknown indicators in tables of A13 mod 2, A13.2 mod 2
#H  (computed by Christoph Jansen)
#H
#H      TB
#H  ----------------------------
#H  revision 4.2
#H  date: 1997/08/01 15:42:49;  author: gap;  state: Exp;  lines: +57 -2
#H  added table of 2^7:S6(2)
#H      (subgroup of Fi22.2; stored using Clifford matrices);
#H  added tables of A14 mod p for p = 2, 11, 13
#H      (moved ordinary table from `ctomisc1.tbl' to `ctoalter.tbl' for that);
#H  added maxes of 2.M12;
#H  updated the ``table of contents''.
#H  ----------------------------
#H  revision 4.1
#H  date: 1997/07/17 15:34:21;  author: fceller;  state: Exp;  lines: +2 -2
#H  for version 4
#H  ----------------------------
#H  revision 1.2
#H  date: 1996/11/29 13:59:34;  author: sam;  state: Exp;  lines: +14 -2
#H  added table of A6.2^2mod3 (communicated by G.Hiss)
#H  ----------------------------
#H  revision 1.1
#H  date: 1996/10/21 15:58:17;  author: sam;  state: Exp;
#H  first proposal of the table library
#H  ==========================================================================
##

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

MBT("2.A10.2",3,
TEXT1,
[6,6,6,6,7,6,6],
[4,1],
[[43,44,45,48,50,54]],
[,[[1,2,3]]],
[[[1,0,0,0,0,0],[0,1,0,0,0,0],[-1,-1,-1,-1,1,1],[1,1,2,1,-1,-1],[-1,-1,-1,0,0,
1],[0,0,1,1,0,-1]]],
[["A10.2",0]],
[(26,27)(28,29),(24,25)],
0);

MBT("2.A10.2",5,
TEXT1,
[16,16,16,16,16,17,18,19,20],
[2,0,0,0,0],
[[43,45,46,47,48]],
[],
[[[1,0,0,0,0],[0,1,0,0,0],[-1,0,1,0,0],[1,0,-1,1,0],[-1,-2,-1,0,1]]],
[["A10.2",0]],
[(37,38),(42,43)],
0);

MBT("2.A10.2",7,
TEXT1,
[25,25,26,26,26,27,25,25,25,25,28,29],
[1,1,0,0,0],
[],
[[[1,3],[2,3],[3,6],[3,7],[4,6],[5,7]],[[1,4,5],[2,3],[3,4,5]]],
[],
[["A10.2",0]],
[(48,49),(40,41)(50,51),(44,45)],
0);

MBT("2.A10",3,
TEXT1,
[4,4,5,5,4],
[4,1],
[[25,26,32]],
[,[[1,3],[2,3]]],
[[[1,0,0],[0,1,0],[-1,0,1]]],
[["A10",0]],
[(14,15)],
0);

MBT("2.A10",5,
TEXT1,
[9,9,9,9,9,9,9,9,9,9,10,11],
[2,0,0],
[[25,26,27,28,29,30,31,32,33,34]],
[],
[[[0,-1,-1,-1,0,1,0,1,0,-1],[1,1,1,1,0,-1,0,-1,0,1],[0,1,0,0,0,0,0,0,0,0],[0,
0,1,0,0,0,0,0,0,0],[-1,-1,-1,0,0,1,0,1,0,-1],[0,1,1,1,1,-1,0,-1,0,1],[0,-1,-1,
-1,-1,1,1,1,0,-1],[1,1,1,0,0,0,0,-1,0,1],[-1,-2,-2,-1,-1,1,0,1,1,-1],[0,0,0,0,
0,-1,0,0,0,1]]],
[["A10",0]],
[(25,26),(19,20)(21,23)(22,24)(27,28)(29,31)(30,32)],
0);

MBT("2.A10",7,
TEXT1,
[15,16,16,16,16,16,16,17,18,15,15,19],
[1,1,0,0,0],
[],
[[[1,2,3],[2,3,5],[4,5]],[[1,7],[2,7],[3,6],[4,5],[6,7],[5,7]]],
[],
[["A10",0]],
[(30,31),(28,29),(21,22)(23,25)(24,26)],
0,
rec(version:=1,
date:="18.04.95"));

MBT("2.A11.2",11,
TEXT1,
[47,47,47,47,47,47,48,49,50,47,47,47,47,51,52,53,54],
[1,0,0,0,0,0,0,0],
[],
[[[1,2],[1,3],[2,4],[3,5],[4,8],[5,9],[6,10],[7,11],[8,10],[9,11]]],
[],
[["A11.2",0]],
[(69,70),(56,57)(62,63)(65,66)(67,68)(71,72)],
0);

MBT("2.A11.2",3,
[
"Note that the decomposition matrix shown in the Morris/Yaseen paper\n",
"(Proc. Roy. Soc. Edinburgh Sect. A 108 (1988), no. 1-2, 145-164)\n",
"is not correct.\n",
"origin: modular ATLAS of finite groups, tests: DEC, TENS"
],
[5,6,6,5,5,6,6],
[4,2],
[[57,60,64]],
[,[[1,5,6],[2,5,6],[3,5,6],[4,5,6]]],
[[[1,0,0],[0,1,0],[-2,-1,1]]],
[["A11.2",0]],
[(33,34),(29,30)],
0,
rec(version:=0,
date:="00.00.00"));

MBT("2.A11.2",5,
TEXT1,
[14,14,14,15,15,14,15,15,14,16,17],
[2,1,0,0],
[[57,58,60,64,70]],
[,[[1,4],[2,5],[3,4],[3,5]]],
[[[1,0,0,0,0],[-1,1,0,0,0],[0,0,1,0,0],[1,-1,0,1,0],[0,0,-1,0,1]]],
[["A11.2",0]],
[(52,53),(50,51)(54,55)],
0);

MBT("2.A11.2",7,
TEXT1,
[27,28,28,28,28,29,30,31,32,33,27,27,28,28,34],
[1,1,0,0,0,0,0,0],
[],
[[[1,3,4],[3,4,5],[2,5]],[[1,6],[2,5],[3,7],[4,7],[5,7],[6,7]]],
[],
[["A11.2",0]],
[(65,66),(63,64),(58,59),(53,54)(61,62)],
0);

MBT("2.A11",11,
TEXT1,
[26,26,26,27,28,29,26,26,30,31,32,33,34,35,36,37],
[1,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,2,3],[3,4],[4,6],[5,7],[6,7]]],
[],
[["A11",0]],
[(40,41),(33,34),(26,27),(22,23),(42,44)(43,45)],
0);

MBT("2.A11",3,
TEXT1,
[4,4,5,4,4,4,4,5],
[4,2],
[[32,33,35,37,38,40]],
[,[[1,3,4,5,6],[2,3,4,5,6]]],
[[[1,0,0,0,0,0],[0,1,0,0,0,0],[0,0,0,0,-1,1],[0,0,1,0,1,-1],[-1,-1,-1,0,0,1],[
-1,-1,0,1,1,-1]]],
[["A11",0]],
[(14,15)(22,23),(17,19)(18,20)],
0,
rec(version:=0,
date:="00.00.00"));

MBT("2.A11",5,
TEXT1,
[8,8,8,8,8,8,9,8,8,9,8,8,10],
[2,1,0],
[[32,33,34,35,37,38,43,44,46,48]],
[,[[1,4],[2,3,4]]],
[[[1,0,0,0,0,0,0,0,0,0],[0,1,0,0,0,0,0,0,0,0],[-1,-1,0,-1,1,0,0,0,-1,1],[0,0,
1,1,-1,0,0,0,1,-1],[0,0,0,0,1,0,0,1,-1,0],[0,0,0,1,-1,0,0,-1,1,0],[0,0,-1,-1,
1,1,0,0,-1,1],[1,1,0,1,0,0,0,0,1,-1],[0,0,0,-1,1,0,1,1,-1,0],[0,0,0,0,-1,0,0,
0,1,0]]],
[["A11",0]],
[(26,28)(27,29),(18,19)(22,23)(32,33)(35,37)(36,38)],
0);

MBT("2.A11",7,
TEXT1,
[16,16,17,17,18,19,20,21,16,16,16,16,17,22,23],
[1,1,0,0,0,0,0,0],
[],
[[[1,5],[2,5],[5,7],[5,6],[3,6],[4,7]],[[1,3],[2,4,5],[3,4,5]]],
[],
[["A11",0]],
[(35,36)(41,42),(24,25),(22,23),(29,31)(30,32)],
0,
rec(version:=1,
date:="18.04.95"));

MBT("2.A12.2",11,
TEXT1,
[68,68,68,68,69,70,68,68,71,72,73,74,75,76,68,68,68,68,77,78,79,80],
[1,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,3],[2,3],[3,4],[3,5],[4,8],[5,9],[6,10],[7,11],[8,10],[9,11]]],
[],
[["A12.2",0]],
[(97,98),(95,96),(85,86)(88,89)(90,91)(93,94),(80,81),(82,83)],
0);

MBT("2.A12.2",3,
TEXT1,
[8,8,8,8,8,9,10],
[5,0,0],
[[78,80,81,82,89]],
[],
[[[1,0,0,0,0],[-1,1,0,0,0],[0,2,-2,1,0],[0,-1,1,0,0],[-2,-4,4,-2,1]]],
[["A12.2",0]],
[(42,43)],
0);

MBT("2.A12.2",5,
TEXT1,
[20,20,21,20,20,22,20,20,20,20,22,21,20,20,23,24],
[2,1,1,0,0],
[[78,79,81,82,87,88,95,96,97,99]],
[,[[1,3,4],[2,3,4]],[[1,2,4],[3,4]]],
[[[1,0,0,0,0,0,0,0,0,0],[0,1,0,0,0,0,0,0,0,0],[-1,-1,0,-1,1,0,-1,0,1,0],[0,0,
1,1,-1,0,1,0,-1,0],[1,1,0,1,0,0,1,0,-1,0],[0,0,-1,-1,1,1,-1,0,1,0],[0,0,0,1,
-1,0,0,0,-1,1],[0,0,0,0,1,0,0,0,1,-1],[-1,-1,0,-1,0,0,0,0,1,0],[0,0,1,1,-1,-1,
1,1,-1,0]]],
[["A12.2",0]],
[(71,72),(64,65)(69,70)(73,74)(75,76),(66,67)],
0);

MBT("2.A12.2",7,
TEXT1,
[36,36,37,38,38,37,36,36,38,39,40,36,36,37,41,42,43,44],
[1,1,1,0,0,0,0,0,0],
[],
[[[1,5],[2,5],[3,6],[4,7],[5,6],[5,7]],[[1,3],[2,4,5],[3,4,5]],[[1,2],[2,4,
5],[3,4,5]]],
[],
[["A12.2",0]],
[(85,86)(87,88),(82,83),(79,80),(75,76),(77,78)],
0);

MBT("2.A12",11,
TEXT1,
[38,38,39,40,41,42,38,43,44,45,46,47,48,49,50,51,38,38,52,53],
[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,2,3],[2,3,4],[4,6],[5,7],[6,7]]],
[],
[["A12",0]],
[(58,60)(59,61),(53,54),(42,43),(33,34),(28,29),(37,39)(38,40)],
0);

MBT("2.A12",3,
TEXT1,
[5,5,5,5,5,5,5,5,5,5,6],
[5,0],
[[44,45,46,47,48,49,50,57,58,59]],
[],
[[[1,0,1,0,-1,0,0,-1,0,1],[0,0,-1,0,1,0,0,1,0,-1],[0,1,1,0,-1,0,0,-1,0,1],[-1,
0,0,0,1,0,0,1,0,-1],[0,1,1,-1,-1,1,0,0,0,0],[0,1,1,-1,-1,0,1,0,0,0],[0,-1,0,1,
0,0,0,0,0,0],[0,0,-1,0,1,0,0,0,0,0],[-1,-2,-2,2,2,-1,-1,0,1,0],[-1,-2,-2,2,2,
-1,-1,1,0,0]]],
[["A12",0]],
[(27,28),(17,18)(20,21)(22,24)(23,25)(29,31)(30,32)],
0,
rec(version:=1,
date:="21.04.92"));

MBT("2.A12",5,
TEXT1,
[14,15,15,14,16,16,14,14,16,16,15,15,14,17],
[2,1,1,0],
[[44,47,49,56,63]],
[,[[1,5],[2,5],[3,5],[4,5]],[[1,5],[1,4],[2,5],[3,4]]],
[[[1,0,0,0,0],[-1,1,0,0,0],[1,-1,0,1,0],[0,0,1,0,0],[-1,1,0,-1,1]]],
[["A12",0]],
[(29,30)(33,35)(34,36),(24,25),(37,39)(38,40)],
0,
rec(version:=1,
date:="02.12.92"));

MBT("2.A12",7,
TEXT1,
[22,23,23,24,24,24,24,23,23,22,24,24,25,22,23,23,26,27],
[1,1,1,0,0,0],
[],
[[[1,3,4],[2,5],[3,4,5]],[[1,6],[2,5],[3,7],[4,7],[6,7],[5,7]],[[1,4],[2,3],[
3,7],[4,7],[5,7],[6,7]]],
[],
[["A12",0]],
[(54,55),(35,37)(36,38)(40,41),(28,29),(31,32)(42,44)(43,45)],
0,
rec(version:=1,
date:="18.04.95"));

MBT("2.A13.2",11,
TEXT1,
[82,83,84,82,82,85,86,87,88,89,90,91,92,93,94,95,96,97,98,82,82,99,100,101,
102],
[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,2,3],[2,3,4],[4,5],[5,7],[6,7]]],
[],
[["A13.2",0]],
[(123,124),(121,122),(119,120),(117,118),(115,116),(113,114),( 99,100),
(101,102)],
0);

MBT("2.A13.2",13,
TEXT1,
[90,90,90,90,90,90,91,90,90,90,90,92,93,90,90,94,95,96,97,98,99,100,101,102,
103,104],
[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,2],[1,3],[3,4],[2,5],[5,8],[4,9],[9,10],[8,11],[6,13],[7,12],[11,12],[10,
13]]],
[],
[["A13.2",0]],
[(125,126),(121,122),( 99,100),(101,102)(108,109)(115,116)(117,118)(119,120)
(123,124)],
0);

MBT("2.A13.2",3,
TEXT1,
[6,6,7,7,6,6,6,7,7],
[5,2],
[[102,103,108,110,126]],
[,[[1,5,6],[2,5,6],[3,5,6],[4,5,6]]],
[[[1,0,0,0,0],[-1,1,0,0,0],[-1,0,1,0,0],[0,0,0,1,0],[2,-2,-2,0,1]]],
[["A13.2",0]],
[(52,53),(49,50)],
0);

MBT("2.A13.2",5,
TEXT1,
[17,18,18,18,18,18,18,17,17,18,18,17,17,18,18,19,20,21],
[2,2,0,0,0],
[[102,110,112,118,119],[103,104,105,106,107,108,109,116,117,124]],
[],
[[[1,0,0,0,0],[0,1,0,0,0],[-1,0,1,0,0],[-2,-2,0,0,1],[1,0,-1,1,0]],[[1,0,0,0,
0,0,0,0,0,0],[0,1,0,0,0,0,0,0,0,0],[1,1,-1,-1,0,1,1,1,0,-1],[0,0,0,0,1,-1,-1,
-1,0,1],[-1,0,1,0,0,0,0,0,0,0],[0,-1,0,1,0,0,0,0,0,0],[1,0,-1,0,0,1,0,0,0,0],[
0,1,0,-1,0,0,1,0,0,0],[-1,-1,1,1,0,-1,-1,0,0,1],[0,0,0,0,-1,1,1,1,1,-1]]],
[["A13.2",0]],
[(89,90),(78,79)(91,92),(80,81)(85,86)(93,94)],
0);

MBT("2.A13.2",7,
TEXT1,
[36,37,37,38,38,36,39,37,37,39,40,41,39,38,38,37,37,36,38,38,42],
[1,1,1,1,0,0,0],
[],
[[[1,2,3],[2,3,5],[4,5]],[[1,5],[2,6],[3,7],[4,7],[5,7],[6,7]],[[1,3],[2,4],[
3,7],[4,7],[5,7],[6,7]],[[1,4],[2,3,5],[4,5]]],
[],
[["A13.2",0]],
[(110,111),(104,105),( 98, 99)(106,107),(91,92),( 93, 94)(108,109)],
0);

MBT("2.A13",11,
"origin: modular ATLAS of finite groups, tests: DEC, TENSC",
[46,46,47,46,46,46,46,48,49,50,51,52,53,54,55,56,57,46,46,46,46,58,59,60,61,
62],
[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,3],[2,3],[3,4],[3,5],[4,6],[5,7],[6,10],[7,11],[8,10],[9,11]]],
[],
[["A13",0]],
[(77,79)(78,80),(50,51),(43,44)(70,71)(72,73)(75,76),(37,39)(38,40),(33,34),
(52,54)(53,55)],
0);

MBT("2.A13",13,
TEXT1,
[49,49,49,50,51,49,49,52,49,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68],
[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,2,3],[3,4],[4,6],[6,7],[5,8],[7,8]]],
[],
[["A13",0]],
[(75,77)(76,78),(73,74),(70,71),(68,69),(52,53),(43,44),(33,34),(37,39)
(38,40)],
0);

MBT("2.A13",3,
TEXT1,
[4,4,4,4,5,4,4,4,4,4,4,5],
[5,2],
[[56,57,58,60,61,62,77,78,79,81]],
[,[[1,3,4,5,6],[2,3,4,5,6]]],
[[[1,0,0,0,0,0,0,0,0,0],[0,1,0,0,0,0,0,0,0,0],[0,0,1,0,-1,0,-1,0,1,0],[-1,-1,
0,0,1,0,1,0,-1,0],[0,0,0,-1,-1,0,-1,0,0,1],[-1,-1,0,1,1,1,1,0,0,-1],[0,0,0,0,
0,0,-1,0,1,0],[-1,-1,-1,1,1,0,1,0,-1,0],[1,1,-1,0,0,-1,1,0,0,0],[1,1,-1,0,0,
-1,0,1,0,0]]],
[["A13",0]],
[(17,18)(21,22)(32,33)(34,36)(35,37),(25,27)(26,28)],
0);

MBT("2.A13",5,
TEXT1,
[10,10,11,11,11,10,10,10,10,11,10,10,10,10,11,12,13,14],
[2,2,0,0,0],
[[56,57,63,64,67,68,69,70,72,79],[58,59,60,62,66]],
[],
[[[1,0,0,0,0,0,0,0,0,0],[0,1,0,0,0,0,0,0,0,0],[0,0,1,0,-1,0,0,-1,0,1],[0,0,0,
0,1,0,0,1,0,-1],[-1,-1,-1,0,1,0,0,1,-1,0],[0,0,1,1,-1,0,0,-1,1,0],[-1,-1,-1,0,
0,0,1,0,0,0],[-1,-1,-1,0,0,0,0,1,0,0],[1,1,1,0,0,0,0,-1,1,0],[0,0,-1,-1,1,1,0,
1,-1,0]],[[1,0,0,0,0],[1,-1,1,0,0],[-1,1,0,0,0],[1,-1,0,1,0],[-1,1,-1,0,1]]],
[["A13",0]],
[(58,59),(29,30)(33,35)(34,36)(44,45)(56,57),(46,48)(47,49)],
0);

MBT("2.A13",7,
TEXT1,
[22,22,23,24,22,22,25,25,23,25,25,26,25,25,24,23,22,22,24,27,28],
[1,1,1,1,0,0,0],
[],
[[[1,3],[2,3],[3,6],[3,7],[4,6],[5,7]],[[1,3],[2,4,5],[3,4,5]],[[1,2],[2,4,
5],[3,4,5]],[[1,4],[2,5],[3,7],[3,6],[4,7],[5,6]]],
[],
[["A13",0]],
[(50,51)(68,69),(35,37)(36,38)(41,42)(65,66),(31,32),(52,54)(53,55)],
0);

MBT("2.A5.2",3,
TEXT1,
[4,5,6],
[1,0,0],
[],
[[[1,2,3]]],
[],
[["A5.2",0]],
[(7,8)],
0);

MBT("2.A5.2",5,
TEXT1,
[4,4,4,4],
[1],
[],
[[[1,4],[1,5],[2,5],[3,4]]],
[],
[["A5.2",0]],
[( 7, 8)( 9,10)],
0);

MBT("2.A5",3,
TEXT1,
[4,4,5],
[1,0],
[],
[[[1,3],[2,3]]],
[],
[["A5",0]],
[(4,6)(5,7)],
0);

MBT("2.A5",5,
TEXT1,
[3,3],
[1],
[],
[[[1,2,4],[3,4]]],
[],
[["A5",0]],
[],
0);

MBT("2.A6.2_1",3,
TEXT1,
[4,4],
[2],
[[12,16]],
[],
[[[1,0],[-1,1]]],
[["A6.2_1",0]],
[],
0);

MBT("2.A6.2_1",5,
TEXT1,
[8,8,8,8,9],
[1,0],
[],
[[[1,5],[2,5],[3,5],[4,5]]],
[],
[["A6.2_1",0]],
[(14,15),(12,13)],
0);

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

MBT("2.A6.2_2",5,
TEXT1,
[6,7,8,9,10],
[1,0,0,0,0],
[],
[[[1,2,3,4,5]]],
[],
[["A6.2_2",0]],
[( 9,10)(11,12),( 6, 7)( 9,11,10,12)],
0);

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

MBT("2.A6",5,
TEXT1,
[5,5,6,7],
[1,0,0],
[],
[[[1,3,4],[2,3,4]]],
[],
[["A6",0]],
[(8,9),(4,6)(5,7)],
0);

MBT("2.A7.2",3,
TEXT1,
[4,4,5,6],
[2,0,0],
[[16,17]],
[],
[[[1,0],[-2,1]]],
[["A7.2",0]],
[(12,13)],
0);

MBT("2.A7.2",5,
TEXT1,
[8,8,9,10,11,12],
[1,0,0,0,0],
[],
[[[1,3,4],[2,3,4]]],
[],
[["A7.2",0]],
[(16,17),(18,19)],
0);

MBT("2.A7.2",7,
TEXT1,
[10,10,11,10,10,10,10],
[1,0],
[],
[[[1,2],[1,3],[3,6],[2,7],[4,7],[5,6]]],
[],
[["A7.2",0]],
[(16,17)(18,19)(20,21)],
0);

MBT("2.A7",3,
TEXT1,
[3,3,3,3,4],
[2,0],
[[10,11,12,13]],
[],
[[[1,0,0,0],[0,1,0,0],[-1,-1,1,0],[-1,-1,0,1]]],
[["A7",0]],
[(4,5),( 8,10)( 9,11)],
0);

MBT("2.A7",5,
TEXT1,
[6,6,6,6,7,8],
[1,0,0],
[],
[[[1,5],[2,5],[3,5],[4,5]]],
[],
[["A7",0]],
[(8,9),(11,13)(12,14)],
0);

MBT("2.A7",7,
TEXT1,
[6,7,8,6,6],
[1,0,0],
[],
[[[1,2,3],[3,5],[4,5]]],
[],
[["A7",0]],
[(8,9)],
0);

MBT("2.A8.2",3,
TEXT1,
[5,5,6,5,5],
[2,1],
[[23,24,28,30]],
[,[[1,2,3]]],
[[[1,0,0,0],[0,1,0,0],[-1,-1,0,1],[0,0,1,-1]]],
[["A8.2",0]],
[(17,18),(15,16)],
0);

MBT("2.A8.2",5,
TEXT1,
[11,11,12,12,11,11],
[1,1],
[],
[[[1,5],[2,5],[3,5],[4,5]],[[1,2],[2,3,4]]],
[],
[["A8.2",0]],
[(24,25),(22,23)],
0);

MBT("2.A8.2",7,
TEXT1,
[17,17,17,17,17,17,18,19],
[1,0,0],
[],
[[[1,3],[2,3],[3,6],[3,7],[4,7],[5,6]]],
[],
[["A8.2",0]],
[(26,27)(28,29),(24,25)],
0);

MBT("2.A8",3,
TEXT1,
[5,6,6,5],
[2,1],
[[15,19]],
[,[[1,3],[2,3]]],
[[[1,0],[-1,1]]],
[["A8",0]],
[( 9,11)(10,12)],
0);

MBT("2.A8",5,
TEXT1,
[8,9,9,9,9,8],
[1,1],
[],
[[[1,3,4],[2,3,4]],[[1,3],[2,4],[3,5],[4,5]]],
[],
[["A8",0]],
[(12,13)(14,16)(15,17)],
0);

MBT("2.A8",7,
TEXT1,
[11,11,11,12,13,14,15],
[1,0,0,0,0],
[],
[[[1,2,3],[2,3,5],[4,5]]],
[],
[["A8",0]],
[(14,15),(16,18)(17,19)],
0);

MBT("2.A9.2",3,
TEXT1,
[6,6,6,6,6,6],
[4],
[[31,32,33,35,36,38]],
[],
[[[0,-1,1,0,-1,1],[1,1,-1,0,1,-1],[0,0,0,0,-1,1],[0,1,0,0,1,-1],[-1,-1,1,0,0,
1],[0,1,-1,1,1,-1]]],
[["A9.2",0]],
[(16,17)(19,20)(21,22)],
0);

MBT("2.A9.2",5,
TEXT1,
[11,11,12,12,13,14,15,12,12],
[1,1,0,0,0],
[],
[[[1,3,4],[2,3,4]],[[1,5],[2,4],[3,4],[3,5]]],
[],
[["A9.2",0]],
[(33,34),(28,29)(30,31)],
0);

MBT("2.A9.2",7,
TEXT1,
[19,19,20,21,19,22,23,24,25,26],
[1,0,0,0,0,0,0,0],
[],
[[[1,4,5],[2,3],[3,4,5]]],
[],
[["A9.2",0]],
[(37,38),(31,32),(33,34)],
0);

MBT("2.A9",3,
TEXT1,
[4,4,4],
[4],
[[19,21,24]],
[],
[[[1,0,0],[0,1,0],[-1,0,1]]],
[["A9",0]],
[],
0);

MBT("2.A9",5,
TEXT1,
[8,8,8,8,9,10,11,12,9],
[1,1,0,0,0],
[],
[[[1,5],[2,5],[3,5],[4,5]],[[1,4],[2,3,4]]],
[],
[["A9",0]],
[(22,23),(14,15),(18,20)(19,21)],
0);

MBT("2.A9",7,
TEXT1,
[13,13,13,13,14,13,13,15,16,17,18],
[1,0,0,0,0,0],
[],
[[[1,7],[2,7],[3,5],[4,6],[5,7],[6,7]]],
[],
[["A9",0]],
[(18,20)(19,21),(16,17)(23,24),(25,27)(26,28)],
0);

MBT("3.A6.2_1",2,
TEXT1,
[3,3,3],
[3],
[[12,13,15]],
[],
[[[1,0,0],[0,1,0],[0,0,1]]],
[["A6.2_1",0]],
[(6,7),(3,4)],
[1,-1,-1,1,0,0,1]);

MBT("3.A6.2_1",5,
TEXT1,
[8,8,9],
[1,0],
[],
[[[1,2,4],[3,4]]],
[],
[["A6.2_1",0]],
[( 5, 6)( 9,10)(12,13)],
0);

MBT("3.A6.2_2",2,
TEXT1,
[4,4,4],
[3],
[[12,13,15]],
[],
[[[1,0,0],[0,1,0],[0,0,1]]],
[["A6.2_2",0]],
[(4,6)(5,7)],
[1,-1,1,1,1,1,1]);

MBT("3.A6.2_2",5,
TEXT1,
[6,6,7],
[1,0],
[],
[[[1,2,4],[3,4]]],
[],
[["A6.2_2",0]],
[( 9,10)],
0);

MBT("3.A6.2_3",2,
TEXT1,
[3,4,3,4],
[4,4],
[],
[[[1,2,3,6,7],[4,5,6,7]],1],
[],
[["A6.2_3",0]],
[(2,3)(6,7)],
[1,-1,1,0,0,0,0]);

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

MBT("3.A6.2^2",2,
TEXT1,
[1,1,2,3,3],
[5,1,4],
[[1,5],,[14,17]],
[,[[1,2]]],
[[[1,0],[-2,1]],,[[1,0],[0,1]]],
0,
[],
0);

MBT("3.A6.2^2",5,
TEXT1,
[1,2,1,2,3,4,2,1,2,1,5,6,6,6,6,7,8],
[1,1,0,0,0,1,0,0],
[],
[[[1,4],[2,5],[3,4],[3,5]],1,,,,[[1,5],[1,4],[2,4],[3,5]]],
[],
0,
[],
0);

MBT("3.A6",2,
TEXT1,
[4,5,4,5,4,5],
[3,3],
[[8,10,14],[9,11,15]],
[],
[[[1,0,0],[0,1,0],[0,0,1]],1],
[["A6",0]],
[(4,5),( 2, 3)( 7, 8)(10,11),( 6, 9)( 7,10)( 8,11)],
[1,-1,-1,1,1,0,0,0,0,0,0]);

MBT("3.A6",5,
TEXT1,
[5,6,5,6,7,8],
[1,1,0,0],
[],
[[[1,2,4],[3,4]],1],
[],
[["A6",0]],
[(7,8),( 2, 3)( 5, 6)(10,11)],
0);

MBT("3.A7.2",2,
TEXT1,
[3,3,4,5],
[3,0,0],
[],
[[[1,4,5],[2,3,4,5]]],
[],
[["A7.2",0]],
[(8,9)],
[1,1,1,1,-1,1,1,1,1]);

MBT("3.A7.2",5,
TEXT1,
[8,8,9,10,8,8],
[1,0,0],
[],
[[[3,4],[1,5],[3,5],[2,4]]],
[],
[["A7.2",0]],
[],
0);

MBT("3.A7.2",7,
TEXT1,
[10,10,10,11,12],
[1,0,0],
[],
[[[1,3],[3,4,5],[2,4,5]]],
[],
[["A7.2",0]],
[],
0);

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

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

MBT("3.A7",7,
TEXT1,
[6,7,6,7,6,7,8,9,10,11],
[1,1,0,0,0,0],
[],
[[[1,3],[3,4,5],[2,4,5]],1],
[],
[["A7",0]],
[( 2, 3)( 5, 6)(10,11)(13,14)(16,17)],
0);

MBT("6.A6.2_1",5,
TEXT1,
[12,12],
[1],
[],
[[[1,3,4],[2,3,4]]],
[],
[["A6.2_1",0],["2.A6.2_1",0],["3.A6.2_1",6]],
[(19,20),(17,18),(12,13)],
0);

MBT("6.A6.2_2",5,
TEXT1,
[13,13],
[1],
[],
[[[1,3,4],[2,3,4]]],
[],
[["A6.2_2",0],["2.A6.2_2",0],["3.A6.2_2",9]],
[(14,15)(16,17),( 9,12)(10,11)(14,16,15,17)],
0);

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

MBT("6.A7.2",5,
TEXT1,
[16,16,16,16],
[1],
[],
[[[1,3],[2,3],[3,5],[4,5]]],
[],
[["A7.2",0],["2.A7.2",0],["3.A7.2",8]],
[(28,29),(26,27),(12,13)],
0);

MBT("6.A7.2",7,
TEXT1,
[15,15,15],
[1],
[],
[[[1,5],[2,5],[3,4,5]]],
[],
[["A7.2",0],["2.A7.2",0],["3.A7.2",8]],
[(12,13),(24,25)(26,27)(28,29)],
0);

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

MBT("6.A7",7,
TEXT1,
[15,16,15,16,15,16],
[1,1],
[],
[[[1,5],[2,5],[3,4,5]],1],
[],
[["A7",0],["2.A7",0],["3.A7",7]],
[( 2, 6)( 3, 5)( 8, 9)(15,19)(16,18)(21,25)(22,24)(27,28),(14,17)(15,18)
(16,19)],
0);

MBT("A10.2",2,
TEXT1,
[1,1,1,1,1,2,2,1,1,3],
[8,3,0],
[[1,3,5,9,11,21,24],[19,23]],
[],
[[[1,0,0,0,0,0,0],[-1,1,0,0,0,0,0],[0,1,-1,1,0,0,0],[0,-1,1,0,0,0,0],[-1,1,-1,
0,1,0,0],[-1,1,-1,0,0,0,1],[-1,-1,0,0,0,1,0]],[[-2,1],[1,0]]],
0,
[],
[1,-1,1,1,1,1,1,1,1,1],
rec(CharacterParameters:=[[1,[10]],[1,[9,1]],[1,[6,4]],[1,[8,2]],[1,[7,3]],[1,
[5,4,1]],[1,[7,2,1]],[1,[6,3,1]],[1,[5,3,2]],[1,[4,3,2,1]]]));

MBT("A10.2",3,
TEXT1,
[1,1,2,3,1,1,3,2,1,1,1,1,2,3,2,3,1,1,3,2,4,5],
[4,2,2,0,0],
[[1,2,5,6,9,10,13,14,23,30],[3,8,15,17,29],[4,7,16,18,28]],
[],
[[[1,0,0,0,0,0,0,0,0,0],[0,1,0,0,0,0,0,0,0,0],[-1,0,1,0,0,0,0,0,0,0],[0,-1,0,
1,0,0,0,0,0,0],[0,-1,0,0,1,0,0,0,0,0],[-1,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,1,0,0],[0,1,0,-1,-1,0,0,0,0,1],[0,-1,0,1,1,0,0,0,1,-1]],[[
1,0,0,0,0],[0,1,0,0,0],[0,0,1,0,0],[0,0,0,1,0],[-1,0,0,0,1]],2],
0,
[],
0,
rec(CharacterParameters:=[[1,[10]],[1,[5,5]],[1,[9,1]],[1,[5,4,1]],[1,[8,2]],
[1,[4,4,1,1]],[1,[8,1,1]],[1,[4,4,2]],[1,[7,3]],[1,[4,3,2,1]],[1,[7,2,1]],[1,
[4,3,3]],[1,[6,4]],[1,[3,3,2,2]],[1,[6,2,2]],[1,[5,3,2]],[1,[6,2,1,1]],[1,
[5,2,2,1]],[1,[6,3,1]],[1,[3,3,2,1,1]],[1,[5,3,1,1]],[1,[4,2,2,1,1]]]));

MBT("A10.2",5,
TEXT1,
[1,1,1,1,1,1,1,1,2,3,1,2,3,1,1,4,5,1,3,2,3,2,1,1,6,7,8,9,10,11,12,13,14,15],
[2,1,1,0,0,0,0,0,0,0,0,0,0,0,0],
[[1,2,3,4,7,8,9,10,13,14,17,23,26,27]],
[,[[1,2],[2,4],[4,5],[3,5]],2],
[[[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],[-1,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],[1,0,-1,0,1,0,0,0,0,0,0,0,0,0],[
0,1,0,-1,0,1,0,0,0,0,0,0,0,0],[1,0,-1,0,0,0,1,0,0,0,0,0,0,0],[0,1,0,-1,0,0,0,
1,0,0,0,0,0,0],[1,0,-1,0,1,0,0,0,-1,0,1,0,0,0],[-1,0,1,0,-1,0,0,0,1,0,0,0,0,
0],[0,-1,0,1,0,-1,0,0,0,1,0,0,0,0],[0,1,0,-1,0,1,0,0,0,-1,-1,1,0,0],[-1,-1,0,
1,0,0,0,-1,0,0,0,0,1,0],[-1,-1,1,0,0,0,-1,0,0,0,0,0,0,1]]],
0,
[],
0,
rec(CharacterParameters:=[[1,[10]],[1,[3,3,2,2]],[1,[9,1]],[1,[3,2,2,2,1]],[1,
[8,1,1]],[1,[4,2,2,1,1]],[1,[5,5]],[1,[4,4,2]],[1,[8,2]],[1,[2,2,2,2,1,1]],[1,
[6,1,1,1,1]],[1,[6,4]],[1,[4,3,3]],[1,[7,1,1,1]],[1,[5,2,1,1,1]],[1,[7,3]],[1,
[2,2,2,1,1,1,1]],[1,[5,3,1,1]],[1,[6,3,1]],[1,[3,3,3,1]],[1,[7,2,1]],[1,
[3,2,2,1,1,1]],[1,[5,4,1]],[1,[4,3,2,1]],[1,[6,2,2]],[1,[3,3,1,1,1,1]],[1,
[4,4,1,1]],[1,[4,2,2,2]],[1,[6,2,1,1]],[1,[4,2,1,1,1,1]],[1,[5,3,2]],[1,
[3,3,2,1,1]],[1,[5,2,2,1]],[1,[4,3,1,1,1]]]));

MBT("A10.2",7,
TEXT1,
[1,2,3,3,4,5,2,1,6,7,3,3,8,9,1,2,2,1,2,1,10,11,1,2,12,13,14,15,16,17,18,19,20,
3,3,21,22,23,24],
[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,3],[2,4],[3,6],[5,7],[4,5],[6,7]],1,[[1,3],[2,4],[3,6],[4,7],[5,6],[5,
7]]],
[],
0,
[],
0,
rec(CharacterParameters:=[[1,[10]],[1,[2,2,2,2,1,1]],[1,[9,1]],[1,
[2,2,2,1,1,1,1]],[1,[8,2]],[1,[2,2,1,1,1,1,1,1]],[1,[8,1,1]],[1,
[3,2,1,1,1,1,1]],[1,[5,5]],[1,[2,2,2,2,2]],[1,[7,3]],[1,[3,3,2,1,1]],[1,
[7,1,1,1]],[1,[4,1,1,1,1,1,1]],[1,[6,4]],[1,[3,2,2,2,1]],[1,[6,2,2]],[1,
[4,4,1,1]],[1,[7,2,1]],[1,[3,3,1,1,1,1]],[1,[6,1,1,1,1]],[1,[5,1,1,1,1,1]],[1,
[5,4,1]],[1,[4,2,2,2]],[1,[4,3,3]],[1,[3,3,3,1]],[1,[5,2,1,1,1]],[1,[4,4,2]],
[1,[3,3,2,2]],[1,[6,3,1]],[1,[3,2,2,1,1,1]],[1,[6,2,1,1]],[1,[4,2,1,1,1,1]],
[1,[5,3,2]],[1,[4,3,2,1]],[1,[5,2,2,1]],[1,[4,3,1,1,1]],[1,[5,3,1,1]],[1,
[4,2,2,1,1]]]));

MBT("A10",2,
TEXT1,
[1,1,1,1,1,2,2,2,1,1,3,4],
[7,2,0,0],
[[1,2,3,5,6,11,14],[10,12,13]],
[],
[[[1,0,0,0,0,0,0],[-1,1,0,0,0,0,0],[0,1,-1,1,0,0,0],[0,-1,1,0,0,0,0],[-1,1,-1,
0,1,0,0],[-1,1,-1,0,0,0,1],[-1,-1,0,0,0,1,0]],[[-1,1,0],[-1,0,1],[1,0,0]]],
0,
[(11,12),(8,9)],
[1,-1,1,1,1,1,1,1,1,1,1,1]);

MBT("A10",3,
TEXT1,
[1,2,1,2,1,1,2,2,1,2,3],
[4,2,0],
[[1,3,5,7,12],[2,4,8,9,16]],
[],
[[[1,0,0,0,0],[-1,1,0,0,0],[-1,0,1,0,0],[0,0,0,1,0],[0,0,0,0,1]],[[1,0,0,0,
0],[0,1,0,0,0],[0,0,1,0,0],[0,0,0,1,0],[-1,0,0,0,1]]],
0,
[],
0);

MBT("A10",5,
TEXT1,
[1,1,1,1,2,1,1,2,1,3,1,1,2,2,1,4,5,6,7,8],
[2,1,0,0,0,0,0,0],
[[1,2,4,5,7,9,12,13,15,20]],
[,[[1,2],[2,4],[4,5],[3,5]]],
[[[1,0,0,0,0,0,0,0,0,0],[-1,1,0,0,0,0,0,0,0,0],[1,-1,1,0,0,0,0,0,0,0],[1,-1,0,
1,0,0,0,0,0,0],[1,0,0,0,0,1,0,-1,-1,1],[0,-1,1,0,-1,0,0,1,1,-1],[-1,1,-1,0,1,
0,0,0,0,0],[1,0,0,0,0,0,0,0,-1,1],[0,-1,1,0,-1,-1,1,1,1,-1],[-2,1,0,-1,0,0,0,
0,1,0]]],
0,
[(15,16)(19,20)],
0);

MBT("A10",7,
TEXT1,
[1,2,3,1,4,2,5,1,1,1,6,1,7,8,9,10,11,12,2,13,14],
[1,1,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,3],[2,4],[3,6],[5,7],[4,5],[6,7]],[[1,2],[2,5],[3,4,5]]],
[],
0,
[(16,17)],
0);

MBT("A11.2",11,
TEXT1,
[1,1,1,1,1,1,2,3,1,1,4,5,1,1,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],
[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,3],[2,4],[3,5],[4,6],[5,7],[6,8],[7,10],[8,11],[9,10],[9,11]]],
[],
0,
[],
0,
rec(CharacterParameters:=[[1,[11]],[1,[2,1,1,1,1,1,1,1,1,1]],[1,[10,1]],[1,
[3,1,1,1,1,1,1,1,1]],[1,[9,1,1]],[1,[4,1,1,1,1,1,1,1]],[1,[9,2]],[1,
[2,2,1,1,1,1,1,1,1]],[1,[8,1,1,1]],[1,[5,1,1,1,1,1,1]],[1,[8,3]],[1,
[2,2,2,1,1,1,1,1]],[1,[7,1,1,1,1]],[1,[6,1,1,1,1,1]],[1,[6,5]],[1,
[2,2,2,2,2,1]],[1,[7,4]],[1,[2,2,2,2,1,1,1]],[1,[8,2,1]],[1,
[3,2,1,1,1,1,1,1]],[1,[5,5,1]],[1,[3,2,2,2,2]],[1,[7,2,2]],[1,
[3,3,1,1,1,1,1]],[1,[4,4,3]],[1,[3,3,3,2]],[1,[7,3,1]],[1,[3,2,2,1,1,1,1]],
[1,[7,2,1,1]],[1,[4,2,1,1,1,1,1]],[1,[4,3,3,1]],[1,[5,3,3]],[1,[3,3,3,1,1]],
[1,[6,4,1]],[1,[3,2,2,2,1,1]],[1,[5,2,2,2]],[1,[4,4,1,1,1]],[1,[6,2,1,1,1]],
[1,[5,2,1,1,1,1]],[1,[6,3,2]],[1,[3,3,2,1,1,1]],[1,[5,4,2]],[1,[3,3,2,2,1]],
[1,[6,2,2,1]],[1,[4,3,1,1,1,1]],[1,[5,4,1,1]],[1,[4,2,2,2,1]],[1,[6,3,1,1]],
[1,[4,2,2,1,1,1]],[1,[4,4,2,1]],[1,[4,3,2,2]],[1,[5,3,1,1,1]],[1,[5,2,2,1,1]],
[1,[5,3,2,1]],[1,[4,3,2,1,1]]]));

MBT("A11.2",2,
TEXT1,
[1,2,2,1,2,1,1,1,1,1,2,2],
[8,7],
[[1,5,16,20,22,24,26],[3,9,13,32,41]],
[],
[[[1,0,0,0,0,0,0],[0,1,0,0,0,0,0],[1,1,0,-1,1,0,0],[-1,0,1,0,0,0,0],[-1,-1,0,
1,0,0,0],[0,1,0,-1,0,1,0],[-2,-1,0,0,0,0,1]],[[1,0,0,0,0],[0,-2,1,0,0],[-1,1,
0,0,0],[-2,0,0,1,0],[0,1,-1,0,1]]],
0,
[],
[1,1,1,1,1,1,-1,1,1,1,1,1],
rec(CharacterParameters:=[[1,[11]],[1,[10,1]],[1,[6,5]],[1,[9,2]],[1,[8,3]],
[1,[6,4,1]],[1,[7,4]],[1,[8,2,1]],[1,[7,3,1]],[1,[5,4,2]],[1,[5,3,2,1]],[1,
[6,3,2]]]));

MBT("A11.2",3,
TEXT1,
[1,2,2,1,2,1,3,3,1,2,1,2,3,2,1,2,1,1,2,4,4,3,3,2,1,1,2],
[4,4,2,1],
[[1,4,6,9,11,15,19,22,37,47],[2,3,5,10,12,14,18,23,38,48],[7,8,13,35,36]],
[,,,[[1,3],[2,3]]],
[[[1,0,0,0,0,0,0,0,0,0],[0,1,0,0,0,0,0,0,0,0],[0,-1,1,0,0,0,0,0,0,0],[-1,0,0,
1,0,0,0,0,0,0],[0,0,0,0,1,0,0,0,0,0],[-1,0,0,0,0,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],[-1,0,0,-1,0,0,0,0,1,0],[0,1,-1,0,0,0,0,-1,0,1]],
1,[[1,0,0,0,0],[0,1,0,0,0],[0,0,1,0,0],[0,0,0,1,0],[0,0,0,0,1]]],
0,
[],
0,
rec(CharacterParameters:=[[1,[11]],[1,[6,5]],[1,[10,1]],[1,[5,5,1]],[1,[9,2]],
[1,[5,4,1,1]],[1,[9,1,1]],[1,[5,4,2]],[1,[8,3]],[1,[4,4,2,1]],[1,[8,2,1]],[1,
[4,4,3]],[1,[6,3,2]],[1,[7,4]],[1,[4,3,2,2]],[1,[7,2,2]],[1,[5,3,3]],[1,
[7,3,1]],[1,[4,3,2,1,1]],[1,[7,2,1,1]],[1,[4,3,3,1]],[1,[6,4,1]],[1,
[3,3,2,2,1]],[1,[6,2,2,1]],[1,[5,3,2,1]],[1,[6,3,1,1]],[1,[5,2,2,1,1]]]));

MBT("A11.2",5,
TEXT1,
[1,1,2,3,1,1,4,5,6,7,1,1,6,7,5,4,1,1,1,1,3,2,4,5,1,1,7,6,1,1,8,9,7,6,10,11,2,
3,5,4,12,13,2,3],
[2,1,1,1,1,1,1,0,0,0,0,0,0],
[[1,2,5,6,13,14,15,20,21,26,27,30,31,32]],
[,[[1,3],[2,4],[3,5],[4,5]],2,2,2,[[2,4],[1,2],[3,5],[4,5]],6],
[[[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],[-1,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],[1,0,-1,0,0,1,0,0,0,0,0,0,0,0],[
0,1,0,-1,0,0,1,0,0,0,0,0,0,0],[0,0,0,0,1,0,0,0,0,0,0,0,0,0],[1,1,0,0,0,0,0,0,
0,-1,-1,0,0,1],[1,0,-1,0,0,0,0,1,0,0,0,0,0,0],[0,1,0,-1,0,0,0,0,1,0,0,0,0,0],[
-1,-1,0,1,0,0,-1,0,0,1,0,0,0,0],[-1,-1,1,0,0,-1,0,0,0,0,1,0,0,0],[-1,0,1,0,0,
0,0,-1,0,0,0,1,0,0],[0,-1,0,1,0,0,0,0,-1,0,0,0,1,0]]],
0,
[],
0,
rec(CharacterParameters:=[[1,[11]],[1,[3,3,3,2]],[1,[10,1]],[1,[3,3,2,2,1]],
[1,[9,2]],[1,[3,2,2,2,1,1]],[1,[9,1,1]],[1,[3,2,2,2,2]],[1,[7,4]],[1,[5,3,3]],
[1,[6,5]],[1,[4,4,3]],[1,[8,3]],[1,[2,2,2,2,1,1,1]],[1,[8,1,1,1]],[1,
[4,2,2,2,1]],[1,[6,2,1,1,1]],[1,[6,3,1,1]],[1,[8,2,1]],[1,[4,2,2,1,1,1]],[1,
[7,1,1,1,1]],[1,[5,2,2,1,1]],[1,[5,5,1]],[1,[4,4,2,1]],[1,[6,4,1]],[1,
[4,3,3,1]],[1,[7,2,2]],[1,[3,3,2,1,1,1]],[1,[7,2,1,1]],[1,[5,2,1,1,1,1]],[1,
[7,3,1]],[1,[3,2,2,1,1,1,1]],[1,[6,3,2]],[1,[3,3,3,1,1]],[1,[5,2,2,2]],[1,
[4,4,1,1,1]],[1,[5,4,2]],[1,[4,3,2,1,1]],[1,[5,4,1,1]],[1,[4,3,2,2]],[1,
[6,2,2,1]],[1,[4,3,1,1,1,1]],[1,[5,3,2,1]],[1,[5,3,1,1,1]]]));

MBT("A11.2",7,
TEXT1,
[1,2,3,4,5,5,4,3,5,5,2,1,6,1,2,3,4,1,2,7,8,9,10,11,12,13,14,2,1,3,4,4,3,5,5,2,
1,15,16,3,4,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,3],[2,5],[3,4],[4,6],[5,7],[6,7]],1,[[1,3],[2,4],[3,6],[5,7],[4,5],[6,
7]],3,[[1,3],[2,4],[3,6],[4,7],[5,6],[5,7]]],
[],
0,
[],
0,
rec(CharacterParameters:=[[1,[11]],[1,[2,2,2,2,2,1]],[1,[10,1]],[1,
[2,2,2,2,1,1,1]],[1,[9,2]],[1,[2,2,2,1,1,1,1,1]],[1,[9,1,1]],[1,
[3,2,2,1,1,1,1]],[1,[8,3]],[1,[3,3,3,1,1]],[1,[8,1,1,1]],[1,[4,2,1,1,1,1,1]],
[1,[6,1,1,1,1,1]],[1,[6,5]],[1,[3,2,2,2,2]],[1,[7,4]],[1,[3,3,2,2,1]],[1,
[5,5,1]],[1,[5,2,2,2]],[1,[7,1,1,1,1]],[1,[5,1,1,1,1,1,1]],[1,[8,2,1]],[1,
[3,2,1,1,1,1,1,1]],[1,[7,2,2]],[1,[3,3,1,1,1,1,1]],[1,[4,4,3]],[1,[3,3,3,2]],
[1,[7,2,1,1]],[1,[4,3,1,1,1,1]],[1,[4,4,2,1]],[1,[6,3,2]],[1,[7,3,1]],[1,
[3,3,2,1,1,1]],[1,[5,3,3]],[1,[4,3,3,1]],[1,[6,2,2,1]],[1,[4,4,1,1,1]],[1,
[6,4,1]],[1,[3,2,2,2,1,1]],[1,[5,4,2]],[1,[4,3,2,2]],[1,[6,2,1,1,1]],[1,
[5,2,1,1,1,1]],[1,[5,4,1,1]],[1,[4,2,2,2,1]],[1,[6,3,1,1]],[1,[4,2,2,1,1,1]],
[1,[5,3,1,1,1]],[1,[5,2,2,1,1]],[1,[5,3,2,1]],[1,[4,3,2,1,1]]]));

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

MBT("A11",2,
TEXT1,
[1,2,2,2,1,2,1,1,1,1,1,2,2,2],
[7,6],
[[1,3,10,12,13,14,15],[2,5,7,8,18,19,24]],
[],
[[[1,0,0,0,0,0,0],[0,1,0,0,0,0,0],[1,1,0,-1,1,0,0],[-1,0,1,0,0,0,0],[-1,-1,0,
1,0,0,0],[0,1,0,-1,0,1,0],[-2,-1,0,0,0,0,1]],[[1,0,0,0,0,0,0],[0,-1,1,0,0,0,
0],[0,-1,0,1,0,0,0],[-1,1,0,0,0,0,0],[-1,0,0,0,1,0,0],[-1,0,0,0,0,1,0],[0,1,
-1,-1,0,0,1]]],
0,
[(13,14),( 9,10)],
[1,1,0,0,1,1,1,-1,1,1,1,1,1,1]);

MBT("A11",3,
TEXT1,
[1,1,1,2,1,1,2,2,1,1,1,3,2,1,1],
[4,2,1],
[[1,2,3,5,6,9,11,13,22,27]],
[,[[1,5,6],[2,5,6],[3,5,6],[4,5,6]],[[1,2,3]]],
[[[1,0,0,0,0,0,0,0,0,0],[0,1,0,0,0,0,0,0,0,0],[0,-1,1,0,0,0,0,0,0,0],[-1,0,0,
1,0,0,0,0,0,0],[0,0,0,0,1,0,0,0,0,0],[-1,0,0,0,0,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],[-1,0,0,-1,0,0,0,0,1,0],[0,1,-1,0,0,0,0,-1,0,1]]],
0,
[(12,13)],
0);

MBT("A11",5,
TEXT1,
[1,2,1,3,4,1,4,3,1,1,1,1,1,2,3,1,4,1,5,4,6,2,3,7,2],
[2,1,1,1,0,0,0],
[[1,3,7,8,9,12,15,17,18,19]],
[,[[1,3],[2,4],[3,5],[4,5]],2,[[2,4],[1,2],[3,5],[4,5]]],
[[[1,0,0,0,0,0,0,0,0,0],[-1,1,0,0,0,0,0,0,0,0],[1,-1,0,0,1,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],[1,0,0,0,0,0,-1,0,1,0],[1,0,0,0,0,0,-1,0,
0,1],[1,-1,0,0,0,1,0,0,0,0],[-2,1,0,0,-1,0,1,0,0,0],[-1,1,0,0,0,-1,0,1,0,0]]],
0,
[(18,19),(24,25)],
0);

MBT("A11",7,
TEXT1,
[1,2,3,2,3,1,4,5,1,2,1,6,7,8,9,1,2,2,3,1,10,2,11,12,13,14,15],
[1,1,1,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,3],[2,5],[3,4],[4,6],[5,7],[6,7]],[[1,3],[2,4],[3,6],[5,7],[4,5],[6,
7]],[[1,2],[2,5],[3,4,5]]],
[],
0,
[(20,21)],
0);

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

MBT("A12.2",2,
TEXT1,
[1,1,1,1,1,1,1,2,1,1,1,1,2,2,3],
[10,4,1],
[[1,3,5,9,11,15,25,27,33,38,43],[19,39,53]],
[,,[[1,2]]],
[[[1,0,0,0,0,0,0,0,0,0,0],[-1,1,0,0,0,0,0,0,0,0,0],[0,0,1,1,-1,0,0,0,0,0,0],[
1,-1,1,0,0,0,0,0,0,0,0],[0,0,-1,0,1,0,0,0,0,0,0],[2,0,-1,-1,1,-2,0,-2,1,0,0],[
0,-1,1,0,-1,1,0,0,0,0,0],[-3,1,-1,0,0,0,1,0,0,0,0],[-3,1,-1,0,0,0,0,1,0,0,0],[
1,-1,0,-1,0,0,-1,0,0,0,1],[4,-4,1,-1,-1,0,0,0,0,1,0]],[[1,0,0],[0,1,0],[-1,0,
1]]],
0,
[],
[1,1,1,1,1,1,-1,1,1,1,1,1,1,1,1],
rec(CharacterParameters:=[[1,[12]],[1,[11,1]],[1,[7,5]],[1,[10,2]],[1,[9,3]],
[1,[6,5,1]],[1,[8,4]],[1,[9,2,1]],[1,[6,4,2]],[1,[8,3,1]],[1,[7,3,2]],[1,
[5,4,2,1]],[1,[7,4,1]],[1,[5,4,3]],[1,[6,3,2,1]]]));

MBT("A12.2",3,
TEXT1,
[1,1,1,1,1,1,2,3,1,1,1,1,1,1,1,1,1,2,3,1,4,5,3,2,1,1,3,2,2,3,1,1,6,7,5,4],
[5,2,2,1,1,0,0],
[[1,2,3,4,7,8,9,10,11,12,13,14,21,22,23,33,34,35,61,62],[5,17,32,42,45],[6,18,
31,41,46]],
[,,,[[1,3],[2,3]],4],
[[[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],[-1,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,0,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,0,0,0],[0,1,0,-1,0,1,0,0,
0,0,0,0,0,0,0,0,0,0,0,0],[-1,0,1,0,-1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0],[0,-1,0,
1,0,-1,0,0,0,0,0,1,0,0,0,0,0,0,0,0],[-1,0,1,0,-1,0,0,0,0,0,1,0,-1,0,1,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,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,1,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],[1,0,-1,0,1,0,0,0,0,0,-1,0,1,0,0,0,0,0,0,0],[0,1,0,-1,0,1,
0,0,0,0,0,-1,0,1,0,0,0,0,0,0],[0,-1,0,1,0,-1,0,0,0,0,0,1,0,-1,-1,1,0,0,0,0],[
0,1,0,-1,0,0,-1,0,0,0,0,0,0,0,0,0,1,0,0,0],[1,0,-1,0,0,0,0,-1,0,0,0,0,0,0,0,0,
0,1,0,0],[0,0,-1,0,1,0,1,0,0,0,-1,0,0,0,0,0,-1,0,1,0],[0,0,0,-1,0,1,0,1,0,0,0,
-1,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,1,0],[0,0,
0,0,1]],2],
0,
[],
0,
rec(CharacterParameters:=[[1,[12]],[1,[6,6]],[1,[11,1]],[1,[6,5,1]],[1,
[10,1,1]],[1,[5,5,2]],[1,[10,2]],[1,[5,5,1,1]],[1,[9,2,1]],[1,[5,4,3]],[1,
[7,3,2]],[1,[8,4]],[1,[4,4,2,2]],[1,[9,3]],[1,[5,4,2,1]],[1,[8,2,2]],[1,
[6,3,3]],[1,[7,5]],[1,[4,3,3,2]],[1,[6,3,2,1]],[1,[8,3,1]],[1,[4,4,2,1,1]],[1,
[8,2,1,1]],[1,[4,4,3,1]],[1,[7,4,1]],[1,[4,3,2,2,1]],[1,[7,3,1,1]],[1,
[4,3,3,1,1]],[1,[7,2,2,1]],[1,[5,3,3,1]],[1,[6,4,1,1]],[1,[5,3,2,1,1]],[1,
[6,4,2]],[1,[3,3,2,2,1,1]],[1,[6,2,2,1,1]],[1,[5,3,2,2]]]));

MBT("A12.2",5,
TEXT1,
[1,2,2,1,2,1,3,4,2,1,1,2,1,2,5,5,6,7,8,9,4,3,1,2,1,2,2,1,1,2,8,9,9,8,10,3,4,1,
2,5,5,2,1,2,1,11,12,13,14,15,16,2,1,9,8,4,3,17,18,19],
[2,2,1,1,1,0,0,1,1,0,0,0,0,0,0,0,0,0,0],
[[1,4,6,10,11,17,23,25,28,29,45,52,54,66],[2,3,5,9,12,18,24,26,27,30,46,51,53,
65]],
[,,[[1,3],[2,4],[3,5],[4,5]],3,[[1,4],[2,5],[3,4],[3,5]],,,[[1,3],[3,4],[2,
5],[4,5]],8],
[[[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,-1,1,0,0,0,0,
0,0,0,0,0,0,0],[0,1,-1,1,0,0,0,0,0,0,0,0,0,0],[1,0,0,0,-1,1,0,0,0,0,0,0,0,0],[
-1,0,0,0,1,0,0,0,0,0,0,0,0,0],[-1,-1,1,-1,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,1,-1,0,0,0,0,0,1,0,0,0,0,0],[1,0,0,0,-1,0,0,0,0,1,0,0,0,0],[
0,0,0,0,0,0,-1,0,0,0,1,0,0,0],[0,-1,1,0,0,0,0,0,-1,0,0,1,0,0],[0,1,-1,0,0,0,
-1,0,1,0,0,-1,0,1],[-1,-1,0,0,1,-1,0,0,0,0,0,0,1,0]],1],
0,
[],
0,
rec(CharacterParameters:=[[1,[12]],[1,[3,3,3,3]],[1,[11,1]],[1,[3,3,3,2,1]],
[1,[10,2]],[1,[3,3,2,2,1,1]],[1,[10,1,1]],[1,[3,3,2,2,2]],[1,[6,6]],[1,
[4,4,4]],[1,[7,5]],[1,[5,4,3]],[1,[9,3]],[1,[3,2,2,2,1,1,1]],[1,[9,1,1,1]],
[1,[4,2,2,2,2]],[1,[8,4]],[1,[2,2,2,2,1,1,1,1]],[1,[9,2,1]],[1,[3,2,2,2,2,1]],
[1,[8,1,1,1,1]],[1,[5,2,2,2,1]],[1,[7,4,1]],[1,[5,3,3,1]],[1,[7,2,1,1,1]],[1,
[6,2,2,1,1]],[1,[8,2,2]],[1,[4,3,2,1,1,1]],[1,[8,3,1]],[1,[4,2,2,1,1,1,1]],[1,
[6,5,1]],[1,[4,4,3,1]],[1,[8,2,1,1]],[1,[4,2,2,2,1,1]],[1,[6,2,1,1,1,1]],[1,
[5,5,2]],[1,[4,4,2,1,1]],[1,[7,3,1,1]],[1,[5,2,2,1,1,1]],[1,[5,5,1,1]],[1,
[4,4,2,2]],[1,[7,2,2,1]],[1,[5,3,1,1,1,1]],[1,[6,3,2,1]],[1,[6,3,1,1,1]],[1,
[6,3,3]],[1,[3,3,3,1,1,1]],[1,[7,3,2]],[1,[3,3,2,1,1,1,1]],[1,[6,2,2,2]],[1,
[4,4,1,1,1,1]],[1,[6,4,2]],[1,[4,3,3,1,1]],[1,[6,4,1,1]],[1,[4,3,3,2]],[1,
[5,4,1,1,1]],[1,[5,3,2,2]],[1,[5,3,2,1,1]],[1,[5,4,2,1]],[1,[4,3,2,2,1]]]));

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

MBT("A12",11,
TEXT1,
[1,2,1,3,4,5,6,1,7,8,9,10,11,12,1,13,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],
[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],[2,3],[3,4],[4,7],[5,6,7]]],
[],
0,
[(40,41),(26,27)],
0);

MBT("A12",2,
TEXT1,
[1,1,1,1,1,1,1,1,1,2,1,1,1,1,1,2,2,3],
[9,3,0],
[[1,2,3,5,6,8,13,14,17,18,21,22,25,38],[10,23,30]],
[],
[[[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,1,1,0,0,0,
0,0,-1,0,-1,-1,1],[0,0,0,0,-1,0,0,0,0,1,0,1,1,-1],[1,-1,1,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,1,-1,0,-1,0,0,0,-1,-1,1],[1,0,-1,
-1,0,-1,0,-1,1,1,0,1,1,-1],[0,-1,1,0,-1,1,0,0,0,0,0,0,0,0],[-3,1,-1,0,0,0,1,0,
0,0,0,0,0,0],[-3,1,-1,0,0,0,0,1,0,0,0,0,0,0],[1,-1,0,-1,0,0,-1,0,0,0,0,0,1,
0],[2,-2,0,-1,-1,0,0,0,0,1,1,1,1,-1],[2,-2,1,0,0,0,0,0,0,-1,0,0,-1,1]],[[1,0,
0],[0,1,0],[-1,0,1]]],
0,
[(10,11)(12,13)(17,18)],
[1,1,0,0,1,1,0,0,-1,1,1,1,1,0,0,1,1,1]);

MBT("A12",3,
TEXT1,
[1,1,1,2,1,1,1,1,1,1,2,1,1,3,2,1,2,2,1,4,3],
[5,2,1,0],
[[1,2,4,5,6,7,11,12,17,18,19,21,34],[3,9,16,24,26]],
[,,[[1,3],[2,3]]],
[[[1,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,-1,1,0,0,0,0,0,
0,0,0,0,0],[-1,1,-1,0,0,1,0,0,0,0,0,0,0],[-1,1,0,-1,-1,0,-1,1,0,-1,0,1,0],[0,
0,-1,1,1,1,0,0,0,1,0,-1,0],[-1,0,0,1,0,0,0,0,0,0,0,0,0],[0,-1,0,0,1,0,0,0,0,0,
0,0,0],[1,-1,1,0,0,-1,1,0,0,0,0,0,0],[0,0,-1,1,1,1,0,-1,1,1,0,-1,0],[-1,1,0,
-1,-1,0,-1,0,0,0,0,1,0],[1,-1,0,-1,0,0,0,0,0,0,1,0,0],[0,-1,1,1,0,-1,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,1,0],[0,0,0,0,1]]],
0,
[(16,17)(20,21)],
0,
rec(version:=1,
date:="21.04.92"));

MBT("A12",5,
TEXT1,
[1,1,1,2,1,1,1,3,4,5,2,1,1,1,1,5,5,6,7,2,1,3,1,1,8,9,10,1,5,2,11,12,13],
[2,1,1,0,1,0,0,0,0,0,0,0,0],
[[1,2,3,5,6,9,12,13,14,15,26,29,30,36]],
[,[[1,3],[2,4],[3,5],[4,5]],[[1,4],[2,3,4]],,[[1,3],[3,4],[2,5],[4,5]]],
[[[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,-1,1,0,0,0,0,
0,0,0,0,0,0,0],[0,1,-1,1,0,0,0,0,0,0,0,0,0,0],[1,0,0,0,-1,1,0,0,0,0,0,0,0,0],[
-1,0,0,0,1,0,0,0,0,0,0,0,0,0],[-1,-1,1,-1,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,1,-1,0,0,0,0,0,1,0,0,0,0,0],[1,0,0,0,-1,0,0,0,0,1,0,0,0,0],[
0,0,0,0,0,0,-1,0,0,0,1,0,0,0],[0,-1,1,0,0,0,0,0,-1,0,0,1,0,0],[0,1,-1,0,0,0,
-1,0,1,0,0,-1,0,1],[-1,-1,0,0,1,-1,0,0,0,0,0,0,1,0]]],
0,
[(24,25),(26,27)],
0);

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

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

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

MBT("A13.2",2,
TEXT1,
[1,2,1,1,1,2,1,1,2,1,1,2,1,1,2,2,1,2],
[10,8],
[[1,5,13,15,17,26,28,34,36,48,58],[3,9,22,42,46,61,84]],
[],
[[[1,0,0,0,0,0,0,0,0,0,0],[-1,1,0,-1,1,0,0,0,0,0,0],[-1,1,0,0,0,0,0,0,0,0,0],[
2,-1,1,0,-1,-1,1,0,0,0,0],[0,-1,0,1,0,0,0,0,0,0,0],[0,-1,1,0,0,0,0,0,0,0,0],[
-2,1,-1,0,0,1,0,0,0,0,0],[-1,-1,1,-1,0,-1,0,1,0,0,0],[-2,1,-1,0,0,0,0,0,1,0,
0],[1,-2,1,0,-1,-1,0,0,0,1,0],[-2,-2,0,0,0,0,0,0,0,0,1]],[[1,0,0,0,0,0,0],[0,
1,0,0,0,0,0],[-1,0,1,0,0,0,0],[1,0,0,-1,0,1,0],[-1,0,-1,1,0,0,0],[-2,-1,0,0,1,
0,0],[0,0,0,0,-1,0,1]]],
0,
[],
[1,1,1,-1,1,1,-1,1,1,1,-1,1,1,1,1,1,1,1],
rec(version:=1,
date:="13.02.98",
CharacterParameters:=[[1,[13]],[1,[12,1]],[1,[7,6]],[1,[11,2]],[1,[7,5,1]],[1,
[10,3]],[1,[9,4]],[1,[10,2,1]],[1,[8,5]],[1,[9,3,1]],[1,[8,4,1]],[1,[6,5,2]],
[1,[6,4,3]],[1,[7,4,2]],[1,[8,3,2]],[1,[6,4,2,1]],[1,[5,4,3,1]],[1,[7,3,2,1]]]
));

MBT("A13.2",3,
TEXT1,
[1,1,2,3,1,1,3,2,1,1,1,1,2,3,1,1,1,2,3,1,3,2,1,1,3,2,3,2,1,1,1,1,1,1,4,5,2,3,
5,4,2,3,2,3],
[5,4,4,1,1],
[[1,2,5,6,9,10,11,12,17,18,19,32,33,38,39,40,41,52,59,60],[3,8,15,20,25,29,31,
61,78,82],[4,7,16,21,24,28,30,62,79,83]],
[,,,[[1,3],[2,3]],4],
[[[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],[-1,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,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,-1,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,1,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],[-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,1,0,0,0,0,0,0,0,0,
0],[-3,0,1,0,-2,0,-1,0,-1,0,0,1,0,0,0,-1,0,1,0,0],[-2,0,1,0,-1,0,-1,0,0,0,0,1,
0,0,0,0,0,0,0,0],[0,-2,0,1,0,-1,0,-1,0,0,0,0,1,0,0,0,0,0,0,0],[2,0,-1,0,1,0,1,
0,0,0,0,-1,0,0,0,1,0,0,0,0],[0,2,0,-1,0,1,0,1,0,0,0,0,-1,0,0,0,1,0,0,0],[-1,0,
1,0,-1,0,0,0,-1,0,0,0,0,1,0,0,0,0,0,0],[0,-1,0,1,0,-1,0,0,0,-1,0,0,0,0,1,0,0,
0,0,0],[2,-1,-1,0,2,-1,1,0,1,0,0,-1,0,0,0,1,0,-1,1,0],[2,-1,-1,0,1,0,1,0,1,0,
0,-1,0,0,0,1,0,-1,0,1]],[[1,0,0,0,0,0,0,0,0,0],[0,1,0,0,0,0,0,0,0,0],[-1,0,1,
0,0,0,0,0,0,0],[0,0,0,1,0,0,0,0,0,0],[0,0,0,0,1,0,0,0,0,0],[-1,0,0,0,0,1,0,0,
0,0],[0,-1,0,0,0,0,1,0,0,0],[0,-1,0,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]],2],
0,
[],
0,
rec(CharacterParameters:=[[1,[13]],[1,[7,6]],[1,[12,1]],[1,[6,6,1]],[1,
[11,2]],[1,[6,5,1,1]],[1,[11,1,1]],[1,[6,5,2]],[1,[10,3]],[1,[5,5,2,1]],[1,
[10,2,1]],[1,[5,5,3]],[1,[9,4]],[1,[5,4,2,2]],[1,[8,5]],[1,[4,4,3,2]],[1,
[7,3,3]],[1,[9,2,2]],[1,[5,4,4]],[1,[7,3,2,1]],[1,[8,3,2]],[1,[6,4,3]],[1,
[9,2,1,1]],[1,[5,4,3,1]],[1,[8,4,1]],[1,[4,4,2,2,1]],[1,[9,3,1]],[1,
[5,4,2,1,1]],[1,[8,2,2,1]],[1,[6,3,3,1]],[1,[7,5,1]],[1,[4,3,3,2,1]],[1,
[7,4,1,1]],[1,[5,3,3,1,1]],[1,[8,3,1,1]],[1,[4,4,3,1,1]],[1,[7,4,2]],[1,
[4,3,2,2,1,1]],[1,[7,2,2,1,1]],[1,[5,3,3,2]],[1,[6,3,2,1,1]],[1,[6,3,2,2]],[1,
[6,4,2,1]],[1,[5,3,2,2,1]]]));

MBT("A13.2",5,
TEXT1,
[1,2,3,3,4,5,2,1,1,2,3,3,6,7,3,3,2,1,1,2,3,7,6,2,1,1,2,2,1,8,9,10,10,8,9,1,2,
1,2,3,3,1,2,2,1,3,3,2,1,11,12,9,8,10,10,5,4,7,6,1,2,4,5,3,4,5,3,3,13,14,6,7,9,
8,15,16],
[2,2,2,1,1,1,1,1,1,1,0,0,0,0,0,0],
[[1,8,14,15,22,24,27,29,34,40,45,46,53,79],[2,7,13,16,23,25,26,28,35,41,44,47,
52,78],[3,4,9,10,17,18,19,36,37,42,43,71,72,75]],
[,,,[[1,3],[2,4],[4,5],[3,5]],4,[[1,4],[2,3],[3,5],[4,5]],6,[[1,2],[2,4],[3,
5],[4,5]],8,[[1,4],[2,5],[3,4],[3,5]]],
[[[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],[1,0,0,-1,1,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,1,0,0,0,0,0,0,0,0,0,0],[
0,1,-1,0,0,0,1,0,0,0,0,0,0,0],[0,0,0,0,0,1,0,0,0,0,0,0,0,0],[0,1,-1,0,0,0,0,1,
0,0,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,0,1,0,0,0,0],[
-1,-1,1,0,0,0,0,-1,0,0,0,1,0,0],[-1,-1,0,1,-1,0,0,0,0,0,1,0,0,0],[0,-1,1,0,0,
0,-1,0,0,0,0,0,1,0],[0,1,-1,0,0,-1,1,0,0,0,0,0,-1,1]],1,[[1,0,0,0,0,0,0,0,0,0,
0,0,0,0],[0,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],[0,-1,0,
1,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,1,0,-1,0,1,0,0,0,0,0,
0,0,0],[0,0,0,0,0,0,1,0,0,0,0,0,0,0],[-1,-1,0,1,0,-1,0,1,0,0,0,0,0,0],[-1,-1,
1,0,-1,0,0,0,1,0,0,0,0,0],[1,0,-1,0,0,0,0,0,0,1,0,0,0,0],[0,1,0,-1,0,0,0,0,0,
0,1,0,0,0],[1,1,0,0,0,0,0,-1,-1,0,0,0,0,1],[0,0,0,0,0,0,-1,0,0,0,0,1,0,0],[0,
0,0,0,0,0,-1,0,0,0,0,0,1,0]]],
0,
[],
0,
rec(CharacterParameters:=[[1,[13]],[1,[4,3,3,3]],[1,[12,1]],[1,[3,3,3,3,1]],
[1,[11,2]],[1,[3,3,3,2,1,1]],[1,[11,1,1]],[1,[3,3,3,2,2]],[1,[8,5]],[1,
[5,5,3]],[1,[10,3]],[1,[3,3,2,2,1,1,1]],[1,[10,1,1,1]],[1,[4,3,2,2,2]],[1,
[7,6]],[1,[5,4,4]],[1,[10,2,1]],[1,[3,3,2,2,2,1]],[1,[9,4]],[1,
[3,2,2,2,1,1,1,1]],[1,[7,2,2,1,1]],[1,[9,1,1,1,1]],[1,[5,2,2,2,2]],[1,
[9,2,2]],[1,[4,4,2,1,1,1]],[1,[8,2,1,1,1]],[1,[6,2,2,2,1]],[1,[6,6,1]],[1,
[4,4,4,1]],[1,[9,3,1]],[1,[3,2,2,2,2,1,1]],[1,[9,2,1,1]],[1,[4,2,2,2,2,1]],[1,
[7,5,1]],[1,[5,4,3,1]],[1,[8,4,1]],[1,[4,2,2,2,1,1,1]],[1,[8,3,1,1]],[1,
[5,2,2,2,1,1]],[1,[7,4,2]],[1,[5,3,3,1,1]],[1,[7,4,1,1]],[1,[5,3,3,2]],[1,
[6,5,2]],[1,[4,4,3,1,1]],[1,[8,3,2]],[1,[4,3,2,1,1,1,1]],[1,[7,2,2,2]],[1,
[5,4,1,1,1,1]],[1,[7,3,3]],[1,[3,3,3,1,1,1,1]],[1,[8,2,2,1]],[1,
[4,3,2,2,1,1]],[1,[6,5,1,1]],[1,[4,4,3,2]],[1,[7,2,1,1,1,1]],[1,
[6,2,2,1,1,1]],[1,[5,5,1,1,1]],[1,[5,4,2,2]],[1,[6,4,1,1,1]],[1,[6,3,2,2]],[1,
[6,3,3,1]],[1,[6,3,1,1,1,1]],[1,[6,3,2,1,1]],[1,[6,4,3]],[1,[4,3,3,1,1,1]],[1,
[7,3,2,1]],[1,[5,3,2,1,1,1]],[1,[7,3,1,1,1]],[1,[5,2,2,1,1,1,1]],[1,
[5,5,2,1]],[1,[4,4,2,2,1]],[1,[6,4,2,1]],[1,[4,3,3,2,1]],[1,[5,4,2,1,1]],[1,
[5,3,2,2,1]]]));

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

MBT("A16.2",3,
"computed by Juergen Mueller, Sep. 1998,\n\
tests: DEC, TENS",
[1,1,3,2,1,1,2,3,1,1,1,1,3,2,3,2,1,1,1,1,2,3,1,1,3,2,2,3,1,1,3,2,2,3,1,1,1,1,
1,1,5,4,2,3,1,1,1,1,3,2,1,1,3,2,4,5,2,3,1,1,5,4,3,2,2,3,1,1,1,1,2,3,1,1,3,2,5,
4,2,3,3,2,3,2,7,6,4,5,8],
[6,5,5,2,2,0,0,0],
[[1,2,5,6,9,10,11,12,19,20,21,22,33,34,35,36,41,42,51,52,55,56,64,65,68,69,75,
76,97,98,105,106,123,124,133,134],[3,8,15,17,26,27,32,37,40,50,62,70,80,99,
104,108,111,132,159,199],[4,7,16,18,25,28,31,38,39,49,63,71,79,100,103,107,
112,131,160,200],[47,74,95,121,206],[48,73,96,122,205]],
[],
[[[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],[
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,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,
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,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,0,0,0,0,0,0,0],[1,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,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,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,-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],[-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,-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,-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,-2,0,1,0,-1,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],[-2,0,1,0,-1,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,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,1,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,2,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,0,0,0,0,0,0,0,0,0],[2,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,0,0,0,0,0,0,0,0,0,0],[1,-2,0,0,0,-1,0,-1,0,-1,0,-1,0,1,0,0,0,
-1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,1,0,0,-1,0,-1,0,-1,0,-1,0,1,0,0,0,
-1,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,-1,0,-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,1,0,0,0,0,-1,0,-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],[-1,2,0,0,0,1,0,1,0,1,0,1,0,-1,0,-1,
0,1,0,0,0,-1,0,0,0,1,0,0,0,0,0,0,0,0,0,0],[2,-1,0,0,1,0,1,0,1,0,1,0,-1,0,-1,0,
1,0,0,0,-1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0],[-1,0,0,0,0,0,0,1,0,1,0,1,0,-1,0,0,
0,0,0,-1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0],[0,-1,0,0,0,0,1,0,1,0,1,0,-1,0,0,0,
0,0,-1,0,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,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,-1,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],[-1,2,0,-1,0,1,0,1,0,0,0,0,0,-1,0,0,0,
1,0,0,0,-1,0,0,0,0,0,0,0,1,0,0,0,0,0,0],[2,-1,-1,0,1,0,1,0,0,0,0,0,-1,0,0,0,1,
0,0,0,-1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0],[-2,-1,1,0,-1,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,1,0,0],[-1,-2,0,1,0,-1,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,1,0,0,0],[0,0,0,0,0,1,-1,0,0,-1,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],[0,0,0,0,1,0,0,-1,-1,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,0],[-2,1,0,0,-1,0,-1,0,0,0,-1,0,1,0,0,0,
-1,0,0,0,1,0,0,0,0,0,0,0,-1,0,0,0,0,0,1,0],[1,-2,0,0,0,-1,0,-1,0,0,0,-1,0,1,0,
0,0,-1,0,0,0,1,0,0,0,0,0,0,0,-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,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,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],[-1,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,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,-1,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,0,0,
0],[0,-1,0,0,0,-1,0,0,0,0,1,0,0,0,0,0,0,0,0,0],[-1,0,-1,-1,0,0,0,0,0,0,0,1,0,
0,0,0,0,0,0,0],[-1,0,0,-1,0,0,0,-1,0,0,0,0,1,0,0,0,0,0,0,0],[-1,0,-1,0,0,-1,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,1,0,0,0,0,0],[-1,0,
-1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0],[0,0,0,-1,0,0,0,0,0,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],[-1,1,0,0,0,1,-1,0,0,0,-1,0,0,0,
0,0,0,0,1,0],[0,-1,1,0,0,0,1,-1,-1,0,0,-1,0,0,0,-1,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,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,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],[-1,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,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,-1,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,0,0,0],[0,-1,0,0,0,-1,0,0,0,0,1,0,0,0,0,0,0,0,0,0],[-1,0,-1,-1,
0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0],[-1,0,0,-1,0,0,0,-1,0,0,0,0,1,0,0,0,0,0,0,
0],[-1,0,-1,0,0,-1,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,
1,0,0,0,0,0],[-1,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0],[0,0,0,-1,0,0,0,0,0,
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],[-1,1,0,0,0,
1,-1,0,0,0,-1,0,0,0,0,0,0,0,1,0],[0,-1,1,0,0,0,1,-1,-1,0,0,-1,0,0,0,-1,0,0,0,
1]],[[1,0,0,0,0],[0,1,0,0,0],[0,0,1,0,0],[0,0,0,1,0],[0,0,0,0,1]],[[1,0,0,0,
0],[0,1,0,0,0],[0,0,1,0,0],[0,0,0,1,0],[0,0,0,0,1]]],
0,
[],
0,
rec(CharacterParameters:=[[1,[8,8]],[1,[16]],[1,[8,7,1]],[1,[15,1]],[1,[7,7,1,
1]],[1,[14,2]],[1,[7,7,2]],[1,[14,1,1]],[1,[7,6,2,1]],[1,[13,3]],[1,[7,6,3]],[
1,[13,2,1]],[1,[6,6,2,2]],[1,[12,4]],[1,[6,6,4]],[1,[12,2,2]],[1,[5,5,3,3]],[1
,[10,6]],[1,[6,5,3,2]],[1,[11,5]],[1,[6,5,5]],[1,[11,3,2]],[1,[6,6,3,1]],[1,[
12,2,1,1]],[1,[5,4,4,3]],[1,[9,7]],[1,[6,6,2,1,1]],[1,[12,3,1]],[1,[7,5,4]],[1
,[10,3,3]],[1,[8,4,4]],[1,[9,4,3]],[1,[6,5,2,2,1]],[1,[11,4,1]],[1,[6,5,4,1]],
[1,[11,2,2,1]],[1,[7,4,4,1]],[1,[10,3,2,1]],[1,[5,5,3,2,1]],[1,[10,5,1]],[1,[6
,5,3,1,1]],[1,[11,3,1,1]],[1,[5,4,3,3,1]],[1,[9,6,1]],[1,[8,4,3,1]],[1,[9,3,3,
1]],[1,[5,5,4,1,1]],[1,[10,4,1,1]],[1,[5,4,3,2,1,1]],[1,[9,5,2]],[1,[5,4,3,2,2
]],[1,[9,5,1,1]],[1,[5,5,2,2,1,1]],[1,[10,4,2]],[1,[5,5,4,2]],[1,[10,2,2,1,1]]
,[1,[4,4,3,3,1,1]],[1,[8,6,2]],[1,[7,4,3,2]],[1,[8,3,3,1,1]],[1,[4,4,3,3,2]],[
1,[8,6,1,1]],[1,[6,4,4,2]],[1,[9,3,2,1,1]],[1,[6,4,4,1,1]],[1,[9,3,2,2]],[1,[6
,3,3,2,2]],[1,[8,5,2,1]],[1,[4,4,3,2,2,1]],[1,[8,5,3]],[1,[6,4,3,2,1]],[1,[8,4
,2,2]],[1,[7,3,3,2,1]],[1,[7,5,2,2]],[1,[5,4,4,2,1]],[1,[9,4,2,1]],[1,[7,4,3,1
,1]],[1,[8,3,3,2]],[1,[6,4,3,3]],[1,[8,3,2,2,1]],[1,[6,3,3,2,1,1]],[1,[8,4,2,1
,1]],[1,[7,3,2,2,1,1]],[1,[7,4,2,2,1]],[1,[4,3,3,2,2,1,1]],[1,[7,5..1]],[1,[5,
3,3,2,2,1]],[1,[7,5,2,1,1]],[1,[6,4,2,2,1,1]]]));

MBT("A13",11,
TEXT1,
[1,1,1,2,1,3,4,5,6,7,8,9,10,11,1,1,12,13,14,15,1,16,17,1,18,19,20,21,22,23,24,
25,1,1,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,0,0,0,0,0,0,0,0,0,0,0,0,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,5],[4,6],[5,7],[6,8],[7,9],[8,10],[9,11],[10,11]]],
[],
0,
[(53,54),(27,28),(38,39)],
0);

MBT("A13",13,
TEXT1,
[1,1,1,2,1,3,1,4,5,6,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,46,47,48],
[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],
[],
[[[1,2],[2,3],[3,4],[4,7],[7,8],[5,6,8]]],
[],
0,
[(52,53),(27,28)],
0);

MBT("A13",2,
TEXT1,
[1,2,1,1,1,1,1,2,1,1,2,1,1,2,1,1,2,2,1,1,2],
[9,7],
[[1,3,7,8,9,10,15,16,19,20,26,31,32,41],[2,5,13,23,25,34,47]],
[],
[[[1,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,1,0,0,1,-1,0,0,0,0,0,0,0,0],[-1,0,0,-1,0,1,
0,0,0,0,0,0,0,0],[-1,1,0,0,0,0,0,0,0,0,0,0,0,0],[1,-1,1,0,-1,0,-1,1,0,0,1,1,0,
-1],[1,0,0,0,0,0,0,0,0,0,-1,-1,0,1],[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],[-2,1,-1,0,0,0,1,0,0,0,0,0,0,0],[-1,-1,1,-1,0,0,-1,0,1,0,
0,0,0,0],[-2,1,-1,0,0,0,0,0,0,1,0,0,0,0],[1,-2,1,0,-1,0,-1,0,0,0,1,0,0,0],[-1,
-1,0,0,0,0,0,0,0,0,0,1,0,0],[-1,-1,0,0,0,0,0,0,0,0,0,0,1,0]],[[1,0,0,0,0,0,
0],[0,1,0,0,0,0,0],[-1,0,1,0,0,0,0],[1,0,0,-1,0,1,0],[-1,0,-1,1,0,0,0],[-2,-1,
0,0,1,0,0],[0,0,0,0,-1,0,1]]],
0,
[(10,11)(20,21),(13,14)],
[1,1,1,1,-1,0,0,1,-1,1,1,1,-1,1,1,1,1,1,0,0,1],
rec(version:=1,
date:="13.02.98"));

MBT("A13",3,
TEXT1,
[1,2,1,2,1,1,2,1,1,1,2,1,1,2,1,2,2,1,1,1,3,2,3,2,2],
[5,4,1],
[[1,3,5,6,9,10,11,18,21,22,28,31,33],[2,4,8,12,14,16,17,34,44,46]],
[,,[[1,3],[2,3]]],
[[[1,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,1,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,1,0,0,0,0,0,0,0,0],[0,0,0,0,
--> --------------------

--> maximum size reached

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

Quelle ctbalter.tbl Sprache: unbekannt

[ Dauer der Verarbeitung: 0.26 Sekunden (vorverarbeitet) ]