Quelle ctbmathi.tbl Sprache: unbekannt

#############################################################################
##
#W  ctbmathi.tbl                GAP table library               Thomas Breuer
##
##  This file contains the Brauer character tables related to the
##  Mathieu groups of the ATLAS (see file 'ctomathi.tbl') moduo all prime
##  divisors of the group order.
##
#H  ctbllib history
#H  ---------------
#H  $Log: ctbmathi.tbl,v $
#H  Revision 4.4  2011/09/28 12:12:37  gap
#H  removed Revision entries and SET_TABLEFILENAME calls
#H      TB
#H
#H  Revision 4.3  2001/05/04 16:45:10  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/ctbmathi.tbl,v
#H  Working file: ctbmathi.tbl
#H  head: 4.2
#H  branch:
#H  locks: strict
#H  access list:
#H  symbolic names:
#H   GAP4R2: 4.2.0.8
#H   GAP4R2PRE2: 4.2.0.6
#H   GAP4R2PRE1: 4.2.0.4
#H   GAP4R1: 4.2.0.2
#H  keyword substitution: kv
#H  total revisions: 4; selected revisions: 4
#H  description:
#H  ----------------------------
#H  revision 4.2
#H  date: 1999/07/14 11:39: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:27;  author: fceller;  state: Exp;  lines: +2 -2
#H  for version 4
#H  ----------------------------
#H  revision 1.2
#H  date: 1997/04/04 17:14:25;  author: sam;  state: Exp;  lines: +6 -7
#H  removed last occurrency of 'CharTable' in the files,
#H  fixed a typo
#H  ----------------------------
#H  revision 1.1
#H  date: 1996/10/21 15:58:33;  author: sam;  state: Exp;
#H  first proposal of the table library
#H  ==========================================================================
##

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

MBT("12.M22.2",11,
TEXT1,
[29,29,29,29,29,30,30,30,30,30],
[1,1],
[],
[[[3,7],[4,7],[1,3],[2,4],[5,6,7]],[[5,6,7],[1,5,6],[2,5,6],[3,7],[4,7]]],
[],
[["M22.2",0],["2.M22.2",0],["4.M22.2",0],["3.M22.2",24],["6.M22.2",8]],
[(52,53)(55,56)(58,59)(61,62)(63,64)(65,66)(67,68),(32,39)(33,40)(34,41)
(35,42)(36,43)(37,44)(38,45)(46,49)(47,48)(50,51)(65,67)(66,68)],
0);

MBT("12.M22.2",5,
TEXT1,
[48,49,44,45,46,47,48,49,48,49,48,49],
[0,0,0,0,1,1],
[],
[,,,,[[4,5],[1,4],[2,4],[3,5]],5],
[],
[["M22.2",0],["2.M22.2",0],["4.M22.2",0],["3.M22.2",24],["6.M22.2",8]],
[( 2, 6)(26,30)(33,37)(40,43)(41,44)(46,50)(47,55)(49,53)(52,56),(57,58)
(60,61)(63,64)(66,67)(68,69)(70,71),(25,32)(26,33)(27,34)(28,35)(29,36)(30,37)
(31,38)(39,42)(40,41)(43,44)(68,70)(69,71)],
0,
rec(version:=1,
date:="06.04.92"));

MBT("12.M22.2",7,
TEXT1,
[39,40,40,39,39,40,41,42,43,44],
[1,1,0,0,0,0],
[],
[[[1,5],[2,5],[3,4,5]],1],
[],
[["M22.2",0],["2.M22.2",0],["4.M22.2",0],["3.M22.2",24],["6.M22.2",8]],
[(59,60),(50,51)(53,54)(56,57)(61,62),(32,35)(33,34)(36,37),( 2, 6)(22,26)
(33,36)(34,37)(39,43)(40,48)(42,46)(45,49)],
0,
rec(version:=1,
date:="21.04.92"));

MBT("12.M22",11,
"origin: modular ATLAS of finite groups, tests: DEC, TENS\n\
Note: The faithful characters are sorted according to blocks,\n\
      not all Galois conjugates exist, the blocks behave completely\n\
      different! (no adequate ATLAS notation)",
[34,37,34,37,34,37,34,37,34,37,35,36,35,36,35,36,35,36,35,36],
[1,1,1,1],
[],
[[[3,7],[4,7],[1,3],[2,4],[5,6,7]],[[5,6,7],[1,5,6],[2,5,6],[3,7],[4,7]],[[5,
6,7],[1,5,6],[2,5,6],[4,7],[3,7]],[[4,7],[3,7],[1,4],[2,3],[5,6,7]]],
[],
[["M22",0],["2.M22",0],["4.M22",0],["3.M22",27],["6.M22",16]],
[(50,62)(51,63)(52,64)(53,65)(54,66)(55,67)(56,68)(57,69)(58,70)(59,71)(60,72)
(61,73)(74,80)(75,81)(76,82)(77,83)(78,84)(79,85),( 2,12)( 3,11)( 4,10)( 5, 9)
( 6, 8)(14,18)(15,17)(20,22)(24,28)(25,27)(30,31)(33,43)(34,42)(35,41)(36,40)
(37,39)(45,49)(46,48)(51,61)(52,60)(53,59)(54,58)(55,57)(63,73)(64,72)(65,71)
(66,70)(67,69)(74,83)(75,82)(76,81)(77,80)(78,79)(84,85)],
0);

MBT("12.M22",5,
TEXT1,
[58,59,60,61,50,51,52,53,54,55,56,57,58,59,60,61,58,59,60,61,58,59,60,61],
[0,0,0,0,0,0,0,0,1,1,1,1],
[],
[,,,,,,,,[[4,5],[1,4],[2,4],[3,5]],9,[[3,5],[1,3],[2,3],[4,5]],11],
[],
[["M22",0],["2.M22",0],["4.M22",0],["3.M22",27],["6.M22",16]],
[(38,50)(39,51)(40,52)(41,53)(42,54)(43,55)(44,56)(45,57)(46,58)(47,59)(48,60)
(49,61)(62,68)(63,69)(64,70)(65,71)(66,72)(67,73),( 2, 6)( 3,11)( 5, 9)( 8,12)
(14,18)(15,17)(24,28)(25,27)(30,31)(33,37)(34,36)(39,43)(40,48)(42,46)(45,49)
(51,55)(52,60)(54,58)(57,61)(63,67)(64,72)(66,70)(69,73)(75,79)(76,84)(78,82)
(81,85)(87,91)(88,96)(90,94)(93,97),( 2, 8)( 4,10)( 6,12)(20,22)(39,45)(41,47)
(43,49)(51,57)(53,59)(55,61)(62,71)(63,66)(64,73)(65,68)(67,70)(69,72)(74,86)
(75,93)(76,88)(77,95)(78,90)(79,97)(80,92)(81,87)(82,94)(83,89)(84,96)
(85,91)],
0,
rec(version:=0,
date:="00.00.00"));

MBT("12.M22",7,
TEXT1,
[50,51,52,53,50,51,52,53,50,51,52,53,54,55,56,57,58,59,60,61],
[1,1,1,1,0,0,0,0,0,0,0,0],
[],
[[[1,5],[2,5],[3,4,5]],1,1,1],
[],
[["M22",0],["2.M22",0],["4.M22",0],["3.M22",27],["6.M22",16]],
[(50,56)(51,57)(52,58)(53,59)(54,60)(55,61),( 2, 6)( 3,11)( 5, 9)( 8,12)
(14,18)(15,17)(24,28)(25,27)(30,31)(33,37)(34,42)(36,40)(39,43)(45,49)(46,48)
(51,55)(52,60)(54,58)(57,61)(63,67)(64,72)(66,70)(69,73)(75,79)(76,84)(78,82)
(81,85),( 2, 8)( 4,10)( 6,12)(20,22)(33,39)(35,41)(37,43)(50,53)(51,60)(52,55)
(54,57)(56,59)(58,61)(62,74)(63,81)(64,76)(65,83)(66,78)(67,85)(68,80)(69,75)
(70,82)(71,77)(72,84)(73,79)],
0);

MBT("2.M12.2",11,
TEXT1,
[12,12,12,12,12,12,12,12,13,12,12,14],
[1,0,0],
[],
[[[1,11],[2,11],[3,11],[4,11],[5,10],[6,9],[7,11],[8,11],[9,11],[10,11]]],
[],
[["M12.2",0]],
[(16,17)(22,23)(27,28),(16,17)(20,21)(29,30)(31,32)],
0);

MBT("2.M12.2",3,
TEXT1,
[6,6,6,6,6,6,6],
[3],
[[22,23,24,25,26,30,31]],
[],
[[[0,0,0,0,1,0,0],[1,0,0,0,0,0,0],[0,1,0,0,0,0,0],[0,0,1,0,0,0,0],[0,0,0,1,0,
0,0],[0,0,0,0,0,1,0],[-1,-1,-1,-1,-1,0,1]]],
[["M12.2",0]],
[(19,20),(15,16)(17,18),( 9,10)(15,16)],
0);

MBT("2.M12.2",5,
TEXT1,
[11,12,13,14,15,15,15,15,16,17,18,19],
[0,0,0,0,1,0,0,0,0],
[],
[,,,,[[1,5],[2,5],[3,5],[4,5]]],
[],
[["M12.2",0]],
[(26,28)(27,29),(14,15)(21,22)(24,25),(19,20)(21,22)(24,25)(26,27)(28,29)],
0);

MBT("2.M12",11,
TEXT1,
[10,10,10,10,11,12,10,13,14],
[1,0,0,0,0],
[],
[[[1,6,7],[2,6,7],[3,5],[4,6,7],[5,6,7]]],
[],
[["M12",0]],
[(21,22),(17,18)(19,20),(10,11)(17,19)(18,20)],
0);

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

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

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

MBT("2.M22.2",3,
TEXT1,
[10,10,10,10,10,10,11,12,13,10,12,11],
[2,1,1,0],
[[22,23,24,25,26,27,31]],
[,[[1,3],[2,3]],2],
[[[1,0,0,0,0,0,0],[0,1,0,0,0,0,0],[0,0,1,0,0,0,0],[0,0,0,1,0,0,0],[0,0,0,0,1,
0,0],[0,0,0,0,0,1,0],[0,0,0,0,0,0,1]]],
[["M22.2",0]],
[(24,25),(10,12)(11,13)(26,28)(27,29),(17,18)(20,21)(26,27)(28,29)],
0);

MBT("2.M22.2",5,
TEXT1,
[14,15,16,17,18,19,20,18,21,22,23,24,25,26],
[0,0,0,0,1,0,0,0,0,0,0,0,0],
[],
[,,,,[[1,2,4],[3,4]]],
[],
[["M22.2",0]],
[(12,14)(13,15)(30,32)(31,33),(19,20)(22,23)(25,26)(28,29)(30,31)(32,33)],
0);

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

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

MBT("2.M22",3,
TEXT1,
[6,6,6,7,8,9,6,6,7],
[2,1,0,0],
[[13,14,15,19,20]],
[,[[1,3],[2,3]]],
[[[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]]],
[["M22",0]],
[(16,18)(17,19),(14,15),(10,12)(11,13)],
0);

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

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

MBT("3.M22.2",11,
TEXT1,
[12,12,12,12,13,12,14,15,16],
[1,0,0,0,0],
[],
[[[1,4,5],[2,7],[3,7],[4,5,7],[6,7]]],
[],
[["M22.2",0]],
[(14,16)(15,17)(28,29)],
0);

MBT("3.M22.2",2,
TEXT1,
[2,2,2,2,2,3],
[7,0],
[[22,23,24,25,26]],
[],
[[[1,1,1,0,-1],[0,-1,-1,0,1],[0,1,0,0,0],[0,0,1,0,0],[0,1,1,1,-1]]],
[["M22.2",0]],
[( 6, 8)( 7, 9)],
[1,0,0,-1,1,-1,1,1,0,0,1,1],
rec(version:=1,
date:="01.06.94"));

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

MBT("3.M22.2",7,
TEXT1,
[14,15,15,16,17,18,19,20,15],
[0,1,0,0,0,0,0],
[],
[,[[1,2,4],[3,5],[4,5]]],
[],
[["M22.2",0]],
[(17,18)],
0);

MBT("3.M22",11,
TEXT1,
[7,8,7,8,7,8,7,8,9,10,7,8,11,12,13,14,15,16],
[1,1,0,0,0,0,0,0,0,0],
[],
[[[1,4,5],[2,7],[3,7],[4,5,7],[6,7]],1],
[],
[["M22",0]],
[( 2, 3)( 5, 6)( 9,10)(12,13)(15,16)(18,19)(21,22)(24,25)(27,28),(20,23)
(21,24)(22,25)],
0);

MBT("3.M22",2,
TEXT1,
[2,3,2,3,2,3,2,3,2,3,4,5],
[7,7,0,0],
[[13,15,17,19,21],[14,16,18,20,22]],
[],
[[[1,1,1,0,-1],[0,-1,-1,0,1],[0,1,0,0,0],[0,0,1,0,0],[0,1,1,1,-1]],[[0,0,0,-1,
1],[1,0,0,1,-1],[0,1,0,0,0],[0,0,1,0,0],[-1,0,0,0,1]]],
[["M22",0]],
[( 8,11)( 9,12)(10,13),( 2, 3)( 6, 7)( 9,10)(12,13)(14,17)(15,19)(16,18)],
[1,0,0,-1,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0],
rec(version:=1,
date:="01.06.94"));

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

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

MBT("4.M22.2",11,
TEXT1,
[18,18,18,18,18,19],
[1,0],
[],
[[[1,7],[2,7],[3,7],[4,7],[5,6,7]]],
[],
[["M22.2",0],["2.M22.2",0]],
[(23,24),(25,26)(28,29)(31,32)(34,35)(36,37)(38,39)(40,41),(17,20)(18,21)
(19,22)(38,40)(39,41)],
0);

MBT("4.M22.2",3,
TEXT1,
[14,14,14,15,16,14,14],
[2,0,0],
[[38,39,42,43,44]],
[],
[[[1,0,0,0,0],[0,1,0,0,0],[-1,-1,0,0,1],[0,0,1,0,0],[0,0,0,1,0]]],
[["M22.2",0],["2.M22.2",0]],
[(31,32),(21,23),(18,19),(24,25)(27,28)(33,34)(35,36),(12,15)(13,16)(14,17)
(33,35)(34,36)],
0);

MBT("4.M22.2",5,
TEXT1,
[27,27,27,27,28,29,30],
[1,0,0,0],
[],
[[[1,3],[2,4],[3,5],[4,5]]],
[],
[["M22.2",0],["2.M22.2",0]],
[(23,25),(26,27)(29,30)(32,33)(35,36)(37,38)(39,40),(14,17)(15,18)(16,19)
(20,21)(37,39)(38,40)],
0,
rec(version:=1,
date:="06.04.92"));

MBT("4.M22.2",7,
TEXT1,
[24,22,23,24,24,25],
[0,0,1,0],
[],
[,,[[4,5],[1,2,4],[3,5]]],
[],
[["M22.2",0],["2.M22.2",0]],
[(32,33),(17,18),(23,24)(26,27)(29,30)(34,35)],
0,
rec(version:=1,
date:="21.04.92"));

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

MBT("4.M22",3,
TEXT1,
[10,11,10,11,10,11,12,13,14,15,10,11,10,11],
[2,2,0,0,0,0],
[[24,26,32,34,36],[25,27,33,35,37]],
[],
[[[1,0,0,0,0],[0,1,0,0,0],[-1,-1,0,0,1],[0,0,1,0,0],[0,0,0,1,0]],1],
[["M22",0],["2.M22",0]],
[(26,30)(27,31)(28,32)(29,33),(14,18)(15,19)(16,20)(17,21),(22,24)(23,25),
( 2, 4)(11,13)(15,17)(19,21)(22,23)(24,25)(27,29)(31,33)],
0);

MBT("4.M22",5,
TEXT1,
[16,17,16,17,16,17,16,17,18,19,20,21,22,23],
[1,1,0,0,0,0,0,0],
[],
[[[1,3],[2,4],[3,5],[4,5]],[[1,4],[2,3],[4,5],[3,5]]],
[],
[["M22",0],["2.M22",0]],
[(16,20)(17,21)(18,22)(19,23)(24,26)(25,27),( 2, 4)( 8,10)(17,19)(21,23)
(24,25)(26,27)(28,32)(29,35)(30,34)(31,33)],
0);

MBT("4.M22",7,
TEXT1,
[20,21,16,17,18,19,20,21,20,21,22,23],
[0,0,0,0,1,1,0,0],
[],
[,,,,[[4,5],[1,2,4],[3,5]],[[3,5],[1,2,3],[4,5]]],
[],
[["M22",0],["2.M22",0]],
[(20,22)(21,23),( 2, 4)( 8,10)(15,17)(20,21)(22,23)(24,28)(25,31)(26,30)
(27,29)],
0);

MBT("6.M22.2",11,
TEXT1,
[25,23,24,25,25,25,25,26],
[0,0,1,0],
[],
[,,[[2,3,4],[2,3,6],[1,6],[4,7],[5,7]]],
[],
[["M22.2",0],["2.M22.2",0],["3.M22.2",16]],
[(36,37)(39,40)(42,43)(45,46)(47,48)(49,50)(51,52),(25,29)(26,30)(27,31)
(28,32)(49,51)(50,52)],
0,
rec(version:=1,
date:="06.04.92"));

MBT("6.M22.2",5,
TEXT1,
[34,34,35,34,34,36,37,38,39],
[1,0,0,0,0,0],
[],
[[[1,5],[2,5],[3,5],[4,5]]],
[],
[["M22.2",0],["2.M22.2",0],["3.M22.2",16]],
[(33,37)(34,36),(30,31),(38,39)(41,42)(44,45)(47,48)(49,50)(51,52),(21,25)
(22,26)(23,27)(24,28)(49,51)(50,52)],
0);

MBT("6.M22.2",7,
TEXT1,
[29,29,30,31,32,33,34,29],
[1,0,0,0,0,0],
[],
[[[3,5],[1,2,3],[4,5]]],
[],
[["M22.2",0],["2.M22.2",0],["3.M22.2",16]],
[(43,44),(29,33)(30,32),(26,27),(34,35)(37,38)(40,41)(45,46)],
0);

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

MBT("6.M22",5,
TEXT1,
[30,31,30,31,32,33,30,31,30,31,34,35,36,37,38,39,40,41],
[1,1,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,5],[2,5],[3,5],[4,5]],1],
[],
[["M22",0],["2.M22",0],["3.M22",11]],
[(30,36)(31,37)(32,38)(33,39)(34,40)(35,41),( 2, 6)( 3, 5)( 8,12)( 9,11)
(16,20)(17,19)(22,23)(25,29)(26,28)(31,35)(32,34)(37,41)(38,40)(43,47)(44,46)
(49,53)(50,52)(55,59)(56,58),(42,45)(43,46)(44,47)(48,54)(49,55)(50,56)(51,57)
(52,58)(53,59)],
0);

MBT("6.M22",7,
TEXT1,
[30,31,30,31,32,33,34,35,36,37,38,39,40,41,30,31],
[1,1,0,0,0,0,0,0,0,0,0,0],
[],
[[[3,5],[1,2,3],[4,5]],1],
[],
[["M22",0],["2.M22",0],["3.M22",11]],
[(36,39)(37,40)(38,41),( 2, 6)( 3, 5)( 8,12)( 9,11)(16,20)(17,19)(22,23)
(25,29)(26,28)(31,35)(32,34)(37,41)(38,40)(43,47)(44,46)(49,53)(50,52),(42,48)
(43,49)(44,50)(45,51)(46,52)(47,53)],
0);

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

MBT("M11",2,
TEXT1,
[1,1,2,3,1],
[4,0,0],
[[1,2,8]],
[],
[[[1,0,0],[0,1,0],[0,0,1]]],
0,
[(4,5)],
[1,1,0,0,1]);

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

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

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

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

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

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

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

MBT("M12",2,
TEXT1,
[1,1,2,2,1,2],
[6,2],
[[1,2,6]],
[,[[1,4],[2,4],[3,4]]],
[[[1,0,0],[-1,1,0],[-1,0,1]]],
0,
[(5,6)],
[1,1,0,0,1,1]);

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

MBT("M12",5,
TEXT1,
[1,2,2,2,2,3,4,5,6,1,1,1,7],
[1,1,0,0,0,0,0],
[],
[[[1,3],[2,4],[4,5],[3,5]],[[1,5],[2,5],[3,5],[4,5]]],
[],
0,
[(12,13),( 6, 7)(10,11)],
0);

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

MBT("M22.2",2,
TEXT1,
[1,1,1,1,1,1],
[8],
[[1,5,7,9,11,17]],
[],
[[[1,0,0,0,0,0],[0,0,-1,1,0,0],[0,-1,0,1,0,0],[-1,1,1,-1,0,0],[-1,-1,-1,0,0,
1],[-1,0,0,0,1,0]]],
0,
[(4,5)],
[1,0,0,-1,1,-1]);

MBT("M22.2",3,
TEXT1,
[1,1,2,3,4,5,6,7,1,1,1,8,9,3,2,1,1],
[2,1,1,0,0,0,0,0,0],
[[1,2,9,10,13,19,20]],
[,[[1,3],[2,3]],2],
[[[1,0,0,0,0,0,0],[0,1,0,0,0,0,0],[-1,0,-1,0,1,0,0],[0,0,1,0,0,0,0],[0,0,0,1,
0,0,0],[1,-1,0,0,-1,0,1],[0,1,1,0,0,1,-1]]],
0,
[( 6, 7)(16,17)],
0);

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

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

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

MBT("M22",2,
TEXT1,
[1,1,1,1,1,1,1],
[7],
[[1,2,3,5,6,9,11]],
[],
[[[1,0,0,0,0,0,0],[-1,1,1,-1,0,0,0],[0,0,-1,1,0,0,0],[0,-1,0,1,0,0,0],[-1,1,0,
0,1,1,-1],[-1,0,0,-2,-1,0,1],[-1,0,0,0,1,0,0]]],
0,
[(6,7),(4,5)],
[1,0,0,-1,0,0,-1]);

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

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

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

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

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

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

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

MBT("M23",5,
TEXT1,
[1,2,3,4,5,1,2,6,7,1,1,8,9,10],
[1,1,0,0,0,0,0,0,0,0],
[],
[[[1,5],[2,5],[3,5],[4,5]],[[1,4],[2,3,4]]],
[],
0,
[(13,14),( 9,10),( 6, 7)(11,12)],
0,
rec(version:=1,
date:="21.04.92"));

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

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

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

MBT("M24",23,
TEXT1,
[1,2,1,1,1,1,1,3,4,1,1,1,5,6,7,8,9,10,11,1,12,1,13,14],
[1,0,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,6],[2,12],[3,12],[4,13],[5,13],[6,11],[7,8,12],[9,13],[10,13],[11,13],[
12,13]]],
[],
0,
[(21,22),(12,13)(19,20)(23,24)],
0);

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

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

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

LIBTABLE.LOADSTATUS.ctbmathi:="userloaded";

#############################################################################
##
#E

Quelle ctbmathi.tbl Sprache: unbekannt

[ Dauer der Verarbeitung: 0.7 Sekunden (vorverarbeitet) ]