Quelle  ctbsymp1.tbl   Sprache: unbekannt

#############################################################################
##
#W  ctbsymp1.tbl                GAP table library               Thomas Breuer
##
##  This file contains the Brauer character tables related to the
##  symplectic groups $S_4(4)$, $S_4(5)$, $S_6(2)$, $S_6(3)$, $S_8(2)$ and
##  $S_{10}(2)$ of the ATLAS (see file 'ctosympl.tbl'), modulo all prime
##  divisors of the group order.
##
#H  ctbllib history
#H  ---------------
#H  $Log: ctbsymp1.tbl,v $
#H  Revision 4.3  2011/09/28 11:03:30  gap
#H  adjusted the ordering of irreducible characters of S6(3) and S6(3).2 mod 13
#H  to the one shown in the Atlas of Brauer Characters
#H  (I do not understand why these two tables had a different ordering in GAP
#H  and in the Atlas.)
#H      TB
#H
#H  Revision 4.2  2001/05/04 16:46:21  gap
#H  first revision for ctbllib
#H
#H
#H  tbl history (GAP 4)
#H  -------------------
#H  (Rev. 4.2 of ctbllib coincides with Rev. 4.1 of tbl in GAP 4)
#H  
#H  RCS file: /gap/CVS/GAP/4.0/tbl/ctbsymp1.tbl,v
#H  Working file: ctbsymp1.tbl
#H  head: 1.1
#H  branch:
#H  locks: strict
#H  access list:
#H  symbolic names:
#H  keyword substitution: kv
#H  total revisions: 1; selected revisions: 1
#H  description:
#H  ----------------------------
#H  revision 1.1
#H  date: 2001/01/18 16:35:24;  author: gap;  state: Exp;
#H  renamed the file, in order to keep this consistent with the name
#H  of the file with ordinary tables
#H  
#H      TB
#H  ==========================================================================
##

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

MBT("2.S4(5).2",13,
TEXT1,
[36,37,38,39,40,41,42,43,36,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59],
[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],[2,3,4,5,6,7,8]]],
[],
[["S4(5).2",0]],
[(29,30)(43,44)(52,53)(57,58)(59,60)(61,64)(62,63),(29,30)(46,47)(50,51)
(61,63)(62,64)(65,66)],
0);

MBT("2.S4(5).2",3,
TEXT1,
[16,17,18,19,17,16,20,21,22,23,24,25,26,18,19,27,28],
[1,2,1,1,0,0,0,0,0,0,0,1,1],
[],
[[[1,3],[2,3]],[[1,2,3,5,8,9],[4,5,6,7,8,9]],1,1,,,,,,,,[[1,2,3]],12],
[],
[["S4(5).2",0]],
[(31,32)(34,35)(39,40),(41,42)(43,44)(45,46),(21,23,25)(22,24,26)(41,43,45)
(42,44,46)],
0);

MBT("2.S4(5).2",5,
TEXT1,
[4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4],
[4],
[[48,49,50,51,52,54,55,57,58,61,62,63,64,65,66,67,69,71,73,74]],
[],
[[[0,1,1,1,-1,-1,0,0,-1,-1,0,1,0,0,0,0,0,0,0,1],[0,0,-1,-1,1,-1,0,-1,1,0,-1,0,
1,0,0,0,0,0,1,0],[1,0,2,2,-1,1,1,2,0,0,1,0,-1,0,-1,-1,-1,-1,0,0],[0,0,-2,-2,1,
-1,-1,-2,0,0,-1,0,1,0,1,1,1,1,0,0],[1,1,2,2,-1,0,0,1,-1,-1,1,1,-1,0,-1,0,-1,0,
0,1],[1,0,-1,-1,1,-1,0,-1,1,1,-1,-1,1,-1,0,0,1,0,1,0],[0,0,3,3,-2,2,1,3,-1,-1,
2,1,-2,0,-1,-1,-1,-1,-1,0],[-1,-1,-3,-3,2,0,-1,-2,1,1,-2,-1,2,0,1,1,1,1,0,
-1],[0,1,1,2,-1,0,0,1,-2,-1,1,1,-1,0,0,0,0,0,-1,1],[0,0,-1,-2,1,0,0,-1,2,1,-1,
-1,1,0,0,0,0,0,1,-1],[-1,0,2,3,-2,2,0,2,-2,-1,2,1,-2,1,0,0,-1,0,-2,0],[-1,-2,
-2,-3,2,1,0,-1,2,2,-1,-2,1,0,1,0,1,0,0,-2],[0,-1,2,3,-1,2,1,3,-2,0,2,0,-2,0,
-1,-1,0,-1,-1,0],[-1,-1,-2,-3,1,1,-1,-2,2,1,-1,-1,1,0,1,1,0,1,0,-1],[0,0,2,2,
-1,1,1,2,-1,0,2,0,-2,0,-1,-1,-1,0,0,0],[-1,-1,-2,-2,1,-1,0,-2,1,1,-1,-1,1,0,1,
1,1,0,0,0],[0,-1,-1,-1,1,0,0,0,1,1,0,-1,0,0,0,0,0,0,1,-1],[0,0,1,1,-1,0,0,1,
-1,0,1,0,-1,0,0,0,0,0,-1,1],[0,1,0,1,-1,-1,0,0,-1,-1,1,1,0,0,0,0,0,0,0,1],[0,
0,-1,-2,1,-1,0,-1,1,1,-1,0,1,0,0,0,0,0,1,0]]],
[["S4(5).2",0]],
[(28,29)(31,32)(35,36)(37,38)(39,40)(41,42)(43,44)(45,46)(47,48)(49,50)],
0);

MBT("2.S4(5)",13,
TEXT1,
[29,29,30,31,32,33,34,35,36,37,29,29,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],
[],
[[[1,4],[2,3],[3,5,6,7],[4,5,6,7]]],
[],
[["S4(5)",0]],
[(37,38),(12,14)(13,15)(20,22)(21,23)(28,30)(29,31)(32,33)(34,35)(41,43)
(42,44)(47,49)(48,50)(51,53)(52,54)],
0);

MBT("2.S4(5)",3,
TEXT1,
[11,12,13,13,14,13,13,11,12,15,16,17,18,19,14,20],
[1,1,2,1,0,0,0,0,0,1],
[,,[37,38,41,42]],
[[[1,3],[2,3]],1,,1,,,,,,[[1,2,3]]],
[,,[[1,0,0,0],[0,1,0,0],[0,0,1,0],[0,0,0,1]]],
[["S4(5)",0]],
[( 8,10)( 9,11)(16,18)(17,19)(20,22)(21,23)(24,25)(26,27)(35,37)(36,38),
(29,31,33)(30,32,34)],
0);

MBT("2.S4(5)",5,
TEXT1,
[3,3,3,3,3,3,3,3,3,3],
[4],
[[35,37,39,41,43,47,52,53,54,58]],
[],
[[[0,1,0,-2,0,-1,-1,1,0,1],[1,0,0,0,0,0,0,0,0,0],[2,1,1,-1,0,0,0,0,-1,1],[-1,
-1,0,2,0,1,0,0,0,-1],[0,1,0,0,0,0,0,0,0,0],[-2,-2,0,3,0,1,1,-1,1,-2],[-1,-2,0,
3,0,1,1,-1,0,-1],[-1,-1,0,0,1,0,1,-1,0,0],[0,-1,0,0,0,1,1,-1,0,0],[0,1,-1,-2,
0,-1,0,1,0,1]]],
[["S4(5)",0]],
[],
0);

MBT("2.S6(2)",3,
TEXT1,
[5,5,5,5,5,5],
[4],
[[31,32,33,34,35,39]],
[],
[[[1,0,0,0,0,0],[0,1,0,0,0,0],[-1,0,1,0,0,0],[-1,0,0,1,0,0],[-1,0,0,0,1,0],[
-1,0,0,0,0,1]]],
[["S6(2)",0]],
[(20,21)],
0);

MBT("2.S6(2)",5,
TEXT1,
[19,20,20,19,21,19,22,19,23,24],
[1,1,0,0,0,0],
[],
[[[1,2],[2,4],[3,5],[4,5]],[[1,4],[2,3,4]]],
[],
[["S6(2)",0]],
[],
0);

MBT("2.S6(2)",7,
TEXT1,
[25,25,25,25,26,27,25,28,29,30,25,31],
[1,0,0,0,0,0,0],
[],
[[[1,2],[2,6],[3,7],[4,7],[5,7],[6,7]]],
[],
[["S6(2)",0]],
[(34,35)],
0);

MBT("2.S6(3).2",13,
"origin: modular ATLAS of finite groups, tests: DEC",
[63,64,65,66,67,68,69,70,71,72,73,74,75,63,76,77,78,79,80,81,82,83,84,85,86,
87,88,89,90,91,92,93,94,95,96,97,98,99,100,63,101,102,103,104,105,106,107,108,
109,110,111,112,113,114,115,116,117,118],
[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],
[],
[[[1,2],[2,3],[3,4,5,6,7]]],
[],
[["S6(3).2",0]],
[(113,114)(127,129)(128,130),( 91, 92)( 94, 95)( 98, 99)(100,101)(102,103)
(105,106)(109,110)(111,112)(115,116)(117,118)(119,120)(121,122)(123,124)
(125,126)(127,130)(128,129),( 72, 73)(123,125)(124,126)],
0,
rec(version:=2,
date:="26.10.92"));

MBT("2.S6(3).2",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],
[9],
[[77,78,79,81,82,83,84,86,88,91,92,93,94,105,106,109,124,125,127,128,131,133,
134,135]],
[],
[[[-1,1,0,5,0,-1,4,-1,0,1,3,2,0,1,-1,-1,0,1,1,0,0,-1,-1,-1],[0,0,1,-1,-1,0,-2,
1,0,-3,-2,-1,0,-1,1,1,0,-1,0,1,0,0,0,1],[0,1,-1,3,1,-1,3,-1,0,2,3,1,0,1,-1,-1,
0,1,0,0,0,0,-1,-1],[1,-1,1,-3,-1,1,-3,1,0,-2,-3,-1,0,-1,1,1,0,-1,0,0,0,0,1,
1],[-2,0,-1,4,0,0,3,1,0,1,2,2,1,1,-1,-1,0,1,1,0,1,-1,-1,-2],[0,1,2,-3,0,0,-4,
-1,1,-5,-4,-4,-1,-2,1,1,0,-1,0,1,-1,1,1,2],[0,0,-3,4,1,0,6,0,-1,8,6,5,1,3,-2,
-2,0,2,0,-2,1,-1,-1,-3],[3,-1,2,-9,0,1,-7,0,0,-2,-5,-4,-1,-2,2,2,0,-2,-2,0,-1,
2,2,3],[0,-1,-2,1,0,0,2,3,-1,4,2,2,1,1,0,-1,0,0,-1,0,2,0,-1,-2],[2,1,2,-5,0,0,
-3,-3,1,-2,-3,-3,-1,-1,0,1,0,0,0,-1,-2,1,2,2],[0,-2,-1,-1,-1,1,-1,3,-1,2,0,1,
0,0,1,0,0,-1,-1,0,1,0,0,0],[0,1,0,1,1,-1,2,-3,0,2,2,1,0,1,-1,0,0,1,0,-1,-1,0,
0,0],[-2,1,-1,5,1,-1,4,-1,0,1,3,2,0,1,-1,-1,0,1,1,0,0,-1,-1,-1],[-1,-1,1,-1,
-1,1,-2,1,0,-3,-2,-1,0,-1,1,1,0,-1,0,1,0,0,0,1],[0,-1,-3,1,1,0,3,1,-1,6,4,3,0,
2,-1,-1,0,0,-1,-1,1,0,-1,-1],[1,-2,0,-4,0,1,-2,-1,0,2,0,1,0,0,1,1,0,0,-1,-1,
-1,0,1,1],[1,-3,1,-9,-2,2,-9,4,0,-5,-7,-4,0,-3,3,2,0,-3,-1,1,0,1,2,3],[-2,2,
-2,8,2,-2,9,-4,0,6,7,4,0,3,-3,-2,0,3,1,-1,0,-1,-2,-3],[0,2,2,-2,0,-1,-3,-2,1,
-7,-4,-5,-1,-2,0,1,0,-1,1,1,-1,1,1,2],[-2,-1,-1,4,-1,0,2,2,0,-1,1,2,1,0,0,-1,
0,1,1,1,1,-1,-1,-2],[-3,-1,-3,8,0,-1,7,2,-1,5,7,6,2,3,-1,-2,0,2,1,0,2,-2,-3,
-4],[1,1,3,-6,-1,0,-6,-2,1,-7,-6,-5,-2,-2,1,2,0,-2,0,1,-2,1,2,4],[2,2,1,-3,1,
-1,-3,-1,1,-2,-2,-4,-2,-1,0,0,1,0,0,0,-1,1,1,1],[1,0,1,-2,-1,1,-2,1,0,-1,-2,0,
2,0,0,0,0,1,0,0,1,0,0,-1]]],
[["S6(3).2",0]],
[(29,30)(32,33)(34,35)(36,37)(38,39)(41,42)(43,44)(45,46)(47,48)(49,50)(51,52)
(53,54)],
0,
rec(version:=2,
date:="24.02.94"));

MBT("2.S6(3).2",5,
"origin: modular ATLAS of finite groups, tests: DEC",
[50,51,52,53,54,55,56,50,57,51,52,58,53,59,60,61,62,63,64,65,66,54,67,68,69,
52,51,53,50,70,71,72,50,73,74,75,76,58,77,51,52,53,78,79,80,81,82,83,84,85,86,
87,88,89],
[1,1,1,1,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,0,0,
0,0],
[],
[[[1,2],[2,3],[3,5],[4,5]],[[1,3],[2,4],[3,5],[4,5]],2,2,[[1,2],[2,3,4]],,,,
5],
[],
[["S6(3).2",0]],
[(115,116)(117,118),( 68, 70)( 69, 71)(115,117,116,118),( 85, 86)( 88, 89)
( 92, 93)( 94, 95)( 96, 97)( 99,100)(103,104)(105,106)(107,108)(109,110)
(111,112)(113,114)(119,120)(121,122),( 72, 73)(119,121)(120,122)],
0,
rec(version:=1,
date:="31.10.92"));

MBT("2.S6(3).2",7,
"origin: modular ATLAS of finite groups, tests: DEC",
[61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,67,66,82,83,
84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,66,67,104,105,
106,107,108,109,110,111,112,113,114],
[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],
[],
[,,,,,[[1,3],[2,4,5],[3,4,5]],6],
[],
[["S6(3).2",0]],
[(113,114)(127,129)(128,130),( 91, 92)( 94, 95)( 98, 99)(100,101)(102,103)
(105,106)(109,110)(111,112)(115,116)(117,118)(119,120)(121,122)(127,130)
(128,129),(123,124)(125,126),( 70, 72)( 71, 73)(123,125,124,126)],
0,
rec(version:=1,
date:="26.10.92"));

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

MBT("2.S6(3)",3,
TEXT1,
[3,3,3,3,3,3,3,3,3,3,3,3],
[9],
[[75,77,80,82,83,88,94,96,110,133,136,139]],
[],
[[[-1,1,4,-1,2,0,-2,1,0,0,1,-1],[1,0,0,0,0,0,0,0,0,0,0,0],[-2,1,1,0,-1,1,-4,
-2,-1,0,1,0],[3,-1,-5,1,-1,-1,6,1,1,0,-2,1],[2,0,-4,0,-1,0,2,-1,0,0,-1,1],[0,
-1,0,0,1,-1,4,2,1,0,-1,0],[-3,0,4,0,2,0,-2,1,0,0,1,-1],[1,-3,-3,1,1,-1,8,4,2,
0,-2,0],[-1,-1,-1,0,0,0,1,0,0,0,0,0],[-2,1,2,-1,-1,1,-8,-3,-2,0,2,0],[-2,0,2,
-1,1,0,-2,1,1,0,1,-1],[3,2,-5,0,-5,1,-3,-4,-1,1,0,1]]],
[["S6(3)",0]],
[],
0,
rec(version:=2,
date:="24.02.94"));

MBT("2.S6(3)",5,
"origin: modular ATLAS of finite groups, tests: DEC",
[47,48,49,50,51,52,52,53,47,48,54,55,49,56,56,51,50,57,58,59,60,61,62,63,64,
65,66,52,52,67,68,69,49,50,51,48,47,70,71,72,48,47,73,74,75,76,77,56,56,78,79,
49,51,50,80,81,82,83,84,85],
[1,1,1,1,1,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,0,
0],
[],
[[[1,2],[2,3],[3,5],[4,5]],1,[[1,3],[2,4],[3,5],[4,5]],3,3,3,,,,3],
[],
[["S6(3)",0]],
[(106,107),(102,104)(103,105),(  6,  8)(  7,  9)( 14, 16)( 15, 17)( 25, 27)
( 26, 28)( 29, 31)( 30, 32)( 33, 35)( 34, 36)( 37, 39)( 38, 40)( 45, 47)
( 46, 48)( 50, 52)( 51, 53)( 60, 62)( 61, 63)( 64, 66)( 65, 67)( 68, 70)
( 69, 71)( 72, 74)( 73, 75)( 76, 78)( 77, 79)( 82, 84)( 83, 85)( 86, 88)
( 87, 89)( 94, 95)( 96, 97)( 98,100)( 99,101)(108,110)(109,111)(112,114)
(113,115)(116,118)(117,119)(120,122)(121,123)(124,126)(125,127)],
0,
rec(version:=1,
date:="31.10.92"));

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

MBT("S10(2)",2,
[
"origin: computed from weight multiplicities by Frank Luebeck"
],
[1,1,1,1,1,1,1,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],
[25,0],
[[1,2,3,4,7,8,9,13,15,16,17,19,20,26,27,28,29,42,47,58,76,82,83,109,122,157,
164,181,185,186,192]],
[],
[[[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,2,-1,3
,-10,-1,-1,0,0,6,4,-3,-2,7,-2,2,0,-1,-2,-1,-1,-1,-1,-1,-1,-1,1,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,0,0,0,0,0,0,0,0],[3,-1,0,-1,-1,2,2,-2,
0,0,3,1,0,3,-1,-3,-2,-1,0,-2,0,-1,0,-1,0,1,0,0,0,1,-1],[-3,1,-2,2,-2,8,-1,3,0,
0,-9,-5,3,-1,-6,5,0,1,1,4,1,2,1,2,1,0,1,-1,-1,-1,1],[0,-3,-4,3,-6,20,2,2,0,0,-
12,-8,6,4,-14,4,-4,0,2,4,2,2,2,2,2,2,2,-2,-2,0,0],[-1,0,2,2,-2,-1,2,0,-1,1,2,4
,-2,-1,4,1,1,-1,-3,-1,0,-2,0,-1,-1,0,-1,-1,1,0,1],[0,4,2,-4,10,-18,-4,0,1,1,4,
3,-3,-6,9,-2,10,0,0,-4,-1,3,1,0,0,-3,-2,2,2,-1,0],[-2,-1,-1,1,-3,3,0,0,0,-1,0,
-1,0,2,-1,1,-5,1,1,2,0,-2,-2,0,0,1,1,0,-1,0,0],[0,-2,3,0,-7,-5,3,-3,0,-1,11,7,
-5,4,8,-2,-9,0,-2,-1,-1,-8,-5,-3,-2,2,0,0,0,1,0],[-8,0,-3,6,-5,21,-1,7,-1,0,-
22,-11,8,-5,-15,12,2,2,0,11,2,6,4,5,1,-1,2,-3,-2,-2,3],[3,3,-1,-3,6,-2,-1,1,0,
1,-3,-1,2,-4,-2,-1,8,-1,-1,-1,0,5,4,1,0,-2,-1,0,1,0,0],[4,1,2,-4,6,-17,-2,-2,1
,1,10,6,-5,-1,11,-5,5,-1,0,-7,-1,-1,-1,-2,0,-1,-2,2,2,0,-1],[1,2,-6,-3,8,6,-4,
3,1,0,-13,-11,7,-3,-12,1,8,1,5,2,1,10,5,4,3,-2,1,1,-1,-1,-1],[2,2,-5,-3,5,2,-5
,0,1,-1,-4,-8,4,2,-8,-2,-2,2,6,2,0,4,0,2,2,0,2,2,-2,0,-2],[4,1,7,-8,3,-27,2,-8
,-1,-2,30,16,-10,2,20,-13,-6,-1,-4,-7,-4,-9,-6,-6,-5,0,-2,3,2,3,-2],[-4,0,5,5,
-7,-5,4,3,-1,1,4,9,-7,-5,12,5,2,-1,-6,-1,0,-6,-2,-2,-2,0,-2,-2,2,-1,3],[3,-3,-
2,0,-2,4,1,-4,0,-1,4,-1,1,6,-2,-4,-6,0,3,-2,0,-2,-2,-1,1,2,1,1,-1,1,-2],[3,0,-
6,-2,3,9,-2,1,0,0,-8,-6,5,1,-10,0,2,0,3,1,1,5,3,2,2,0,1,0,-1,0,-1],[3,4,8,-8,
11,-39,-2,-6,0,0,27,17,-13,-4,27,-11,6,-1,-4,-10,-4,-5,-4,-5,-4,-3,-4,4,4,1,-1
],[0,9,-10,-6,24,5,-13,7,2,0,-26,-24,16,-10,-24,2,18,2,11,6,1,23,11,9,5,-6,2,3
,-2,-2,-2],[-2,1,2,0,1,0,1,-1,-1,-1,2,1,2,-4,0,-2,0,0,-2,2,-1,1,1,0,-2,-1,0,0,
0,1,0],[-5,-1,6,-2,-5,-15,0,0,0,-2,12,10,-8,-2,16,2,-6,1,-5,1,-2,-9,-6,-3,-4,0
,-1,0,1,0,2],[-2,-2,6,6,-10,-4,6,-2,0,0,10,10,-8,2,14,1,-4,-1,-6,-4,0,-10,-4,-
4,-2,2,-2,-2,2,0,2],[-6,-6,-7,11,-17,57,3,7,0,-1,-40,-24,17,9,-42,16,-12,2,4,
18,5,6,5,7,4,4,6,-6,-6,-1,2],[-1,-6,10,0,-21,-2,13,-10,-1,-1,23,20,-10,16,17,-
5,-20,-2,-14,-3,-1,-19,-8,-8,-7,4,-2,-3,2,3,2],[2,-4,-1,2,-12,5,2,-2,-2,-1,7,5
,-4,10,4,-2,-14,0,-1,-1,0,-9,-6,-3,-1,4,1,-1,-1,1,0],[-4,-4,13,6,-16,-8,13,-5,
-1,1,20,22,-12,2,22,0,-6,-4,-15,-5,-1,-16,-4,-7,-6,2,-4,-4,4,1,4],[1,0,0,-1,1,
-4,1,-2,0,0,3,2,-2,2,4,-2,2,0,-1,-4,0,0,0,1,0,0,0,0,0,0,0],[-1,0,2,-3,-6,-5,3,
-3,-1,-1,10,7,-3,7,8,-2,-8,-1,-4,1,-2,-6,-5,-2,-3,0,0,0,0,1,1],[7,6,-13,-12,29
,4,-19,8,1,0,-26,-29,18,-12,-33,-1,12,4,19,11,-1,25,9,11,7,-4,7,6,-6,-1,-6]]],
0,
[],
0,
rec(ClassInfo:=[rec(repr:=[0,0,0,0,0]),rec(repr:=[1/3,0,0,0,0]),rec(repr:=[0,1
/3,0,1/3,2/3]),rec(repr:=[0,0,0,0,1/3]),rec(repr:=[0,0,1/3,0,1/3]),rec(repr:=[
0,0,0,1/3,2/3]),rec(repr:=[1/5,1/5,1/5,1/5,2/5]),rec(repr:=[0,0,1/5,0,2/5]),
rec(repr:=[0,0,0,1/7,3/7]),rec(repr:=[1/9,1/9,1/9,2/9,4/9]),rec(repr:=[0,0,1/9
,5/9,2/9]),rec(repr:=[0,1/9,4/9,2/9,5/9]),rec(repr:=[0,1/11,4/11,2/11,6/11]),
rec(repr:=[1/15,1/15,1/15,4/15,3/5]),rec(repr:=[1/15,4/15,3/5,0,1/3]),rec(
repr:=[1/15,4/15,7/15,1/15,2/5]),rec(repr:=[1/15,1/15,4/15,2/3,1/3]),rec(
repr:=[0,0,1/15,1/5,7/15]),rec(repr:=[0,1/15,1/3,1/5,8/15]),rec(repr:=[1/17,1/
17,4/17,11/17,5/17]),rec(repr:=[1/17,1/17,2/17,4/17,8/17]),rec(repr:=[1/21,1/
21,4/21,13/21,2/7]),rec(repr:=[0,1/7,3/7,0,1/3]),rec(repr:=[0,1/31,3/31,7/31,
15/31]),rec(repr:=[0,5/31,14/31,1/31,11/31]),rec(repr:=[0,3/31,9/31,2/31,14/31
]),rec(repr:=[1/33,2/33,4/33,8/33,16/33]),rec(repr:=[1/33,1/3,4/33,6/11,5/33])
,rec(repr:=[1/35,11/35,4/35,19/35,1/7]),rec(repr:=[1/45,2/15,16/45,7/45,5/9]),
rec(repr:=[1/51,10/51,9/17,4/17,10/17]),rec(repr:=[1/51,4/51,16/51,10/51,9/17]
)],
RootDatumInfo:=[[[2,-2,0,0,0],[-1,2,-1,0,0],[0,-1,2,-1,0],[0,0,-1,2,-1],[0,0,0
,-1,2]],[[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]]],
version:=1,
date:="31.08.2018"));

MBT("S10(2)",5,
TEXT1,
[1,2,3,4,5,3,1,1,1,6,7,4,8,1,1,9,4,3,10,3,11,3,12,13,4,6,14,11,15,16,16,17,5,
2,1,4,3,1,10,3,5,18,18,19,20,4,21,3,1,4,13,2,17,8,4,22,3,3,4,23,24,25,4,26,13,
15,2,27,5,20,4,9,16,16,28,28,11,29,29,30,31,32,33,3,34,34,9,10,4,19,1,1,1,10,
8,12,18,18,35,9,1,36,17,3,37,15,12,3,13,6,38,6,39,1,12,4,40,41,42,43,20,44,45,
46,47,48,19,4,17,49,50,51,52,15,28,28,11,53,54,55,56,29,29,8,57,58,59,34,34,
20,3,60,61,62,63,64,19,65,66,67,68,69],
[2,1,2,2,1,1,0,1,1,1,1,1,1,0,1,1,1,1,1,1,0,0,0,0,0,0,0,1,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,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[[1,7,8,9,15,16,36,39,50,95,101,103,108,147],,[3,6,19,20,23,38,46,49,56,66,97,
121,122,190],[4,12,17,26,37,48,57,58,63,68,84,102,143,156]],
[,[[1,3],[2,4],[3,5],[4,5]],,,[[1,2],[2,4],[3,5],[4,5]],2,,5,2,[[1,2],[2,3],[
3,5],[4,5]],2,2,10,,2,2,[[1,4],[2,3],[3,5],[4,5]],2,2,17,,,,,,,,2,2,,,,,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],[-1,0,0,1,0,0,0,0,0,0,0,0,0,0],[0,-1,0,0,1,0,0,0,0,0,0,0,0,0],[
1,0,0,-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,0,-1,0,0,
1,0,0,0,0,0,0],[-1,0,0,0,0,-1,0,0,1,0,0,0,0,0],[1,0,-1,0,0,1,0,0,-1,0,0,1,0,
0],[0,0,0,0,0,0,0,0,0,1,0,0,0,0],[0,-1,0,0,1,0,0,-1,0,0,1,0,0,0],[-1,-1,0,1,0,
-1,0,-1,0,0,0,0,1,0],[1,0,0,-1,0,1,0,1,0,0,0,0,-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,-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,-1,0,0,1,0,0,0,0,0,0,0,0,0],[1,1,-1,0,-1,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],[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],[0,0,0,1,0,0,0,0,-1,0,
1,0,0,0],[-1,-1,1,0,1,0,-1,0,0,-1,0,1,0,0],[0,-1,1,0,1,0,-1,-1,0,0,0,0,1,0],[
1,1,-1,0,-1,-1,1,0,0,1,0,-1,0,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,0,0,1,0,0,0,0,0,0,0,0,0,
0],[-1,-1,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],[1,0,0,0,-1,
0,1,0,0,0,0,0,0,0],[0,0,0,1,0,-1,0,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,0,0,1,0,0,0,0,0],[1,1,-1,0,-1,0,0,0,0,0,1,0,0,0],[0,0,0,-1,0,
1,0,0,0,-1,0,1,0,0],[-1,0,0,-1,1,0,-1,0,0,-1,0,0,1,0],[0,0,0,1,0,-1,0,0,-1,1,
0,-1,0,1]]],
0,
[(153,154),(128,129)(155,156)(161,162),(150,151,152)],
0,
rec(version:=1,
date:="13.05.92"));

MBT("S10(2)",7,
"computed by G. Hiss, February 2000; tests: DEC, TENS",
[1,2,3,4,5,6,2,5,6,7,3,8,9,10,11,12,2,13,8,1,14,15,16,17,12,18,4,19,20,21,22,
23,24,6,5,1,4,25,2,26,3,27,28,29,30,31,10,32,12,33,1,10,14,34,17,35,36,37,1,38
,39,40,41,42,8,43,44,45,1,14,12,46,3,17,47,48,49,50,51,52,53,54,55,6,56,57,58,
59,60,2,61,62,10,8,2,63,64,5,65,66,67,68,69,70,71,8,72,4,4,73,12,74,75,76,14,
17,77,78,79,5,6,10,80,3,5,81,82,83,84,4,85,86,87,88,89,10,90,91,92,93,94,95,96
,3,97,14,98,99,17,100,101,102,103,104,105,106,107,108,109,6,14,110,111,112,113
,114,115,17,116,117,118,8,119,120,121,122,123,124,125,126,127,128,129,130,131,
132,12],
[1,1,1,1,1,1,0,1,0,1,0,1,0,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,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,2],[2,3],[3,5],[4,6],[5,7],[6,7]],[
[1,5],[2,3],[3,4],[4,6],[5,7],[6,7]],[[1,2],[2,4],[3,5],[4,6],[5,7],[6,7]],[[1
,2],[2,5],[3,4],[4,6],[6,7],[5,7]],1,,[[1,4],[2,3],[3,5],[4,6],[5,7],[6,7]],,[
[1,3],[2,5],[3,4],[4,6],[5,7],[6,7]],,[[1,3],[2,4],[3,6],[4,5],[5,7],[6,7]],,
10,,,10],
[],
0,
[(139,140)(176,177)(183,184),(174,175),(171,172,173)],
0);

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

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

MBT("S10(2)",31,
"computed by G. Hiss, February 2000; tests: DEC, TENS",
[1,2,1,3,1,4,5,6,7,8,9,10,11,12,13,1,14,15,16,17,1,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,1,62,63,64,65,66,67,68,69,70,1,71,72,73,74,75,76,77
,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102
,103,104,105,106,107,1,108,109,110,111,112,113,114,115,116,117,118,119,120,121
,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,
141,142,143,144,145,146,147,148,149,150,151,152,153,1,154,155,156,157,158,159,
160,161,162,163,164,165,166,167,1,168,169,170,171,172,173,174,175,176,177,178,
179,180,181,182,183,184,185,186],
[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,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,7],[5,6],[6,8],[7,9],[8,10,11,12],[9,13],[10,11,12,13]]
],
[],
0,
[(179,180),(143,144)(181,182)(191,192)],
0);

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

MBT("S4(4).2",2,
TEXT1,
[1,1,1,1,1,1,1,1,1,2],
[9,1],
[[1,3,5,7,11,12,19,20,21]],
[,[[1,2]]],
[[[1,0,0,0,0,0,0,0,0],[0,0,2,0,-1,0,0,-1,1],[-2,1,-2,0,1,0,0,1,-1],[0,-1,0,1,
0,0,0,0,0],[0,-1,1,0,0,0,0,0,0],[-4,1,-4,-2,2,1,0,2,-2],[0,-1,2,0,-1,0,0,-2,
2],[4,-3,2,2,-2,-2,1,-1,1],[2,-2,0,0,-1,-1,0,2,-1]]],
0,
[( 2, 3)( 4, 5)( 7, 8)( 9,10)],
[1,-1,-1,1,1,1,1,1,1,1]);

MBT("S4(4).2",3,
TEXT1,
[1,2,3,4,1,2,1,2,2,1,5,6,7,8,5,6,9,10,1,2],
[2,2,0,0,1,1,0,0,0,0],
[[1,5,7,10,25],[2,6,8,9,26]],
[,,,,[[1,3],[2,3]],5],
[[[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,
[(18,19),(12,13),( 2, 3)( 7, 8)(10,11)(15,16)],
0);

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

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

MBT("S4(4).4",2,
TEXT1,
[1,1,1,1,1,2],
[10,2],
[[1,5,9,15,22]],
[,[[1,2,3,4]]],
[[[1,0,0,0,0],[-2,1,0,0,0],[0,-2,1,0,0],[-4,0,-2,1,0],[6,-5,2,-3,1]]],
0,
[],
[1,-1,1,1,1,1]);

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

MBT("S4(4).4",5,
TEXT1,
[1,1,1,1,1,1,1,1,1,1,2,3,4,5,6,6,1,1,1,1,7,6,6],
[2,0,0,0,0,1,0],
[[1,2,3,4,5,6,7,8,9,10,18,19,20,21]],
[,,,,,[[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],[0,0,1,0,0,0,0,
0,0,0,0,0,0,0],[0,0,0,1,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,1,0,0,0,0,0,0,0,0,0],[0,
0,0,0,0,1,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,1,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,1,0,0,
0,0,0,0],[-1,0,-1,0,0,0,0,0,1,0,0,0,0,0],[0,-1,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,0,0,0,0,0,0,0,0,0,1,0,0],[0,0,0,0,0,0,0,0,0,0,0,
0,1,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,1]]],
0,
[(20,22)(21,23),(13,14)(16,17)(18,19)(20,21)(22,23)],
0);

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

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

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

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

MBT("S4(5).2",13,
TEXT1,
[1,2,3,2,1,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,28,29,2,1,30,31,32,33,34,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,0,0,0],
[],
[[[1,3],[2,4,5,6],[3,7],[4,5,6,7]],1],
[],
0,
[(39,40)],
0);

MBT("S4(5).2",2,
TEXT1,
[1,1,1,1,2,3,2,1,3,4,5,6],
[7,4,4,1,1,1],
[[1,3,4,8,25],[13,23],[15,30]],
[,,,[[1,2]],4,4],
[[[1,0,0,0,0],[-2,1,0,0,0],[0,0,1,0,0],[-1,0,0,1,0],[4,-2,-2,0,1]],[[1,0],[0,
1]],[[1,0],[-1,1]]],
0,
[( 8, 9,10)],
[1,-1,1,-1,1,1,1,1,1,1,1,1]);

MBT("S4(5).2",3,
TEXT1,
[1,2,3,2,1,1,2,2,1,4,5,6,3,3,7,8,3,4,9,2,1,10,11,12,13,14,15,8,7],
[2,2,2,1,0,0,1,1,1,0,0,0,0,0,0],
[[1,5,6,9,29],[2,4,7,8,28],[3,15,16,23]],
[,,,[[1,3],[2,3]],,,4,4,[[1,2,3]]],
[[[1,0,0,0,0],[0,1,0,0,0],[-1,0,1,0,0],[-1,0,0,1,0],[1,0,-1,0,1]],1,[[1,0,0,
0],[0,1,0,0],[0,0,1,0],[0,0,0,1]]],
0,
[(14,15,16)(27,28,29)],
0);

MBT("S4(5).2",5,
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],
[4,0,0],
[[1,2,3,4,5,6,7,8,9,10,13,15,16,17,18,19,20,24,27,28,30,32,33,34,35,36,37,
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,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,-1,0,0,0,0,0,0,0,0,1,0,0,
0,0,0,0,0,0,0,0,1,0,-1],[0,0,0,1,0,1,0,0,0,-1,0,0,0,0,-1,0,0,0,0,0,0,-1,-1,0,
0,0,1,1],[0,0,-1,0,1,-1,0,-1,0,0,1,0,0,0,2,-1,0,1,0,0,0,0,1,0,-1,1,-1,-1],[1,
1,0,0,-1,1,0,1,0,0,-1,0,0,1,-1,0,-1,1,0,0,0,0,-1,-1,0,-1,1,1],[-1,0,0,0,1,-1,
0,-1,0,0,1,0,0,0,1,0,0,0,0,0,0,0,1,0,0,1,-1,-1],[1,0,1,0,-1,1,0,1,0,0,-1,0,0,
0,-1,0,0,0,0,0,0,0,-1,0,0,-1,1,1],[-1,-1,0,0,2,-1,0,-1,0,0,1,0,0,-1,1,0,1,-1,
0,0,0,0,1,1,0,1,-1,-1],[0,0,1,1,-1,1,0,1,0,0,-1,0,0,0,-2,1,0,-1,0,0,0,0,-1,0,
1,-1,1,1],[-1,-1,-2,0,2,-2,-1,-2,0,0,2,0,1,0,3,-1,0,1,0,0,0,0,2,0,-1,2,-2,
-2],[1,1,0,0,-2,1,0,2,0,0,-2,1,0,1,-2,0,-1,1,0,0,0,0,-2,-1,0,-2,2,2],[0,0,-1,
-1,1,-1,0,0,0,0,1,0,0,0,2,-1,0,1,0,0,0,0,1,0,-1,1,-1,-1],[1,1,0,0,-2,1,0,1,1,
0,-1,0,0,1,-1,0,-1,1,0,0,0,0,-1,-1,0,-1,1,1],[-1,-1,0,0,1,0,0,-1,0,0,1,0,0,-1,
1,0,1,-1,0,0,0,0,1,1,0,1,-1,-1],[0,0,1,0,-1,1,1,1,0,0,-1,0,0,0,-2,1,0,-1,0,0,
0,0,-1,0,1,-1,1,1],[0,-1,0,-1,1,-1,0,0,0,1,0,0,0,-1,1,0,1,-1,0,0,0,0,1,1,0,1,
-1,-1],[-1,0,1,1,-1,1,0,0,0,0,0,0,0,0,-2,1,0,-1,0,0,0,0,-1,0,1,-1,1,1],[-1,0,
0,0,0,0,0,-1,0,0,1,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,-1,0],[1,0,0,-1,-1,0,0,1,0,1,
-1,0,0,1,0,0,0,0,0,0,0,1,0,0,0,-1,0,0],[0,0,0,0,1,0,0,-1,0,-1,0,0,0,-1,0,-1,0,
0,0,0,1,-1,1,0,0,1,-1,0],[1,1,0,0,-1,0,0,1,0,0,0,0,0,1,0,0,-1,1,0,0,-1,1,-1,0,
0,-1,1,0],[-1,0,0,0,-1,1,0,1,0,0,-1,0,0,0,-1,1,0,0,0,0,0,0,-1,0,0,-1,1,1],[-1,
-2,-1,0,1,-1,0,-1,0,0,1,0,0,0,1,0,1,0,0,0,0,0,1,0,0,1,-1,-1],[0,0,-1,-1,1,0,1,
0,1,0,0,0,-1,0,1,0,0,0,1,-1,0,0,1,0,0,1,-1,-1],[0,0,0,1,-1,1,0,0,-1,-1,0,-1,0,
0,-1,0,0,0,0,1,0,0,-1,0,0,-1,1,1],[1,1,2,0,-2,2,0,1,0,0,-2,0,-1,0,-3,1,0,-1,0,
0,0,0,-1,0,1,-2,2,2],[-1,-1,0,0,2,-2,0,-2,-1,0,2,-1,0,-1,2,0,1,-1,0,0,0,1,2,1,
0,2,-2,-2]]],
0,
[],
0);

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

MBT("S4(5)",2,
TEXT1,
[1,1,1,1,1,2,3,2,2,1,1,3,4,5,6],
[6,3,3,0,0,0],
[[1,2,3,4,6,19,20],[10,15,16],[11,26]],
[],
[[[1,0,0,0,0,0,0],[-1,0,1,0,0,0,0],[-1,1,0,0,0,0,0],[0,0,0,1,0,0,0],[-1,0,0,0,
1,0,0],[2,0,-2,-1,0,1,0],[2,-2,0,-1,0,0,1]],[[1,0,0],[0,1,0],[0,0,1]],[[1,0],[
-1,1]]],
0,
[( 4, 5)( 8, 9)(13,14),(10,11,12)],
[1,-1,-1,1,-1,1,1,1,1,1,1,1,1,1,1]);

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

MBT("S4(5)",5,
TEXT1,
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,2],
[4,0],
[[1,2,4,5,6,7,11,12,13,17,23,27,28,29]],
[],
[[[1,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,-1,1,0,0,-1,0,0,0,0,0,-1,0,1],[1,-1,0,0,0,
0,0,1,-1,2,0,0,-1,0],[0,1,0,0,0,0,0,0,0,0,0,0,0,0],[-1,1,1,0,0,0,0,-1,1,-2,0,
0,1,0],[0,-2,0,-1,0,0,1,1,-1,2,0,0,-1,0],[1,-1,-1,0,1,0,0,1,-1,2,0,0,-1,0],[
-1,1,0,1,0,0,0,-1,1,-2,0,0,1,0],[-1,1,0,0,0,1,0,-1,1,-2,0,0,1,0],[0,0,-1,0,0,
1,0,1,0,0,0,1,0,-1],[1,0,0,0,0,-1,0,0,-1,1,0,0,0,0],[-2,-1,0,0,0,0,0,0,1,0,0,
0,0,0],[0,-1,0,1,0,-1,-1,0,0,0,1,0,0,0],[0,2,0,0,-1,0,-1,-1,1,-2,0,1,1,0]]],
0,
[],
0);

MBT("S6(2)",2,
TEXT1,
[1,1,1,1,1,1,1,2],
[9,0],
[[1,2,3,4,10,12,21]],
[],
[[[1,0,0,0,0,0,0],[-1,1,0,0,0,0,0],[0,-1,1,0,0,0,0],[0,-1,0,1,0,0,0],[-1,0,0,
-1,1,0,0],[1,0,0,-2,0,1,0],[2,0,-2,0,-1,0,1]]],
0,
[],
[1,-1,1,1,1,1,1,1]);

MBT("S6(2)",3,
TEXT1,
[1,1,1,1,2,1,1,1,1,1,3,3,2,1,4],
[4,1,1,0],
[[1,2,3,4,7,8,9,13,14,23]],
[,[[1,3],[2,3]],2],
[[[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],[-1,0,0,0,0,1,0,0,0,0],[0,0,0,0,1,0,0,0,0,0],[0,-1,0,0,0,0,1,0,0,
0],[1,0,-1,0,0,0,0,0,1,0],[0,-1,0,0,0,0,0,1,0,0],[0,1,0,0,-1,0,-1,0,0,1]]],
0,
[],
0);

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

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

MBT("S6(3).2",13,
"origin: modular ATLAS of finite groups, tests: DEC",
[1,2,3,4,5,6,1,2,1,2,7,8,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,2,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,
50,51,52,53,54,1,2,55,56,57,58,59,60,61,62],
[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],
[],
[[[1,3],[2,5],[3,4],[4,6,7],[5,8],[6,7,8]],1],
[],
0,
[(69,70),(71,72)],
0,
rec(version:=2,
date:="23.08.11"));

MBT("S6(3).2",2,
TEXT1,
[1,1,1,1,1,1,1,1,1,1,2,2,3,4,5],
[10,4,2,1,1],
[[1,3,4,9,13,15,16,22,23,46],[47,49]],
[,,[[1,2,3,4]],[[1,2]],4],
[[[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,0,0],[0,0,0,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,0,0,0,0,0,1,0,0,
0],[0,0,-2,0,-1,0,0,1,0,0],[0,0,-1,0,0,0,0,0,1,0],[0,1,2,0,0,0,0,-1,0,1]],[[1,
0],[0,1]]],
0,
[(13,14)],
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],
rec(version:=0,
date:="00.00.00"));

MBT("S6(3).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,2,3],
[9,0,0],
[[1,2,3,4,5,6,7,8,9,13,14,17,18,20,22,26,29,31,32,38,39,47,52,53,56,65,71,
72]],
[],
[[[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,1,-1,-1,0,-2,-1,-1,-1,0,0,0,
1,-1,-1,1,0,1,1,0,0,1,-1,1,-1],[0,0,1,0,-1,1,1,0,2,1,1,1,0,0,0,-1,1,1,-1,0,-1,
-1,0,0,-1,1,-1,1],[0,2,1,0,-1,0,1,0,2,0,0,0,0,0,0,-1,0,0,0,0,-1,0,0,0,-1,0,0,
1],[1,-1,1,1,2,-1,-1,0,-2,-1,-3,-1,-1,-1,-1,1,0,0,0,-1,0,0,-1,-1,1,0,1,0],[-1,
1,-1,-1,-1,1,1,0,2,1,3,1,1,1,1,-1,0,0,0,1,0,0,1,1,-1,0,-1,0],[0,-2,-1,1,1,0,
-1,0,-2,0,0,0,0,0,0,1,0,0,0,0,1,0,0,0,1,0,0,-1],[-1,1,-1,-1,-2,1,2,0,2,1,3,1,
1,1,1,-1,0,0,0,1,0,0,1,1,-1,0,-1,0],[0,-2,-1,0,1,0,-1,1,-2,0,0,0,0,0,0,1,0,0,
0,0,1,0,0,0,1,0,0,-1],[1,-3,0,1,2,-1,-2,0,-3,-1,-3,-1,-1,-1,-1,2,0,0,0,-1,1,0,
-1,-1,2,0,1,-1],[-2,2,0,-1,-2,2,2,0,3,1,3,1,1,1,1,-2,0,0,0,1,-1,0,1,1,-2,0,-1,
1],[4,2,1,-2,-3,-2,2,-1,7,4,-1,3,0,0,3,-1,1,3,-3,1,-2,-3,0,1,-2,0,-1,2],[-3,
-1,1,3,4,1,-3,0,-7,-4,-2,-4,-1,-1,-4,1,-1,-3,3,-2,1,3,-1,-2,2,0,2,-1],[-1,0,0,
1,0,0,0,0,0,-1,-1,-1,-1,-1,-2,0,1,0,0,-1,-1,0,-1,-1,0,1,0,1],[1,0,-1,-1,0,-1,
0,0,0,0,-1,0,0,0,1,0,-1,0,0,0,0,0,0,0,0,-1,1,0],[0,1,1,-1,-1,1,1,0,1,-1,0,0,0,
0,-1,-1,0,0,0,-1,-1,0,0,-1,-1,1,0,1],[1,0,0,0,0,-2,0,1,-1,-1,-4,-1,-1,0,0,1,0,
0,0,0,0,0,-1,0,1,-1,1,0],[-1,2,0,-1,-2,1,1,0,3,1,3,2,1,1,1,-2,0,0,0,1,-1,0,1,
1,-2,0,-1,1],[1,-2,0,1,2,-2,-2,-1,-3,-1,-3,-1,0,-1,-1,2,0,0,0,-1,1,0,-1,-1,2,
0,1,-1],[1,-1,-1,-1,0,0,1,0,0,2,0,1,1,1,3,0,0,1,-1,1,1,-1,1,1,0,-1,0,-1],[-1,
1,0,0,-1,1,-1,0,0,-1,2,0,0,0,-1,0,0,-1,1,0,0,1,0,0,0,1,-1,0],[5,-2,1,1,2,-5,
-3,0,-2,0,-9,0,-2,-2,1,3,0,2,-1,-1,0,-2,-2,-1,2,-1,2,0],[-3,4,2,0,-1,2,2,-1,2,
-2,1,-2,0,0,-3,-3,0,-1,1,-1,-2,2,0,-1,-2,1,0,2],[0,1,2,1,0,1,1,-2,0,-1,0,-1,0,
0,-1,-1,0,0,0,0,0,0,0,-1,0,1,0,0],[2,1,1,0,1,-2,-2,1,0,0,-2,0,-1,0,1,1,0,0,0,
1,1,0,0,1,0,-1,0,0],[-1,-2,0,2,4,0,-3,1,-7,-4,-2,-4,-1,-1,-3,2,-1,-3,2,-1,2,3,
0,-1,3,-1,2,-2],[2,3,1,-2,-4,1,3,-1,7,3,3,4,1,0,3,-2,1,2,-2,1,-2,-3,1,2,-3,1,
-2,2]]],
0,
[],
0,
rec(version:=1,
date:="13.01.94"));

MBT("S6(3).2",5,
"origin: modular ATLAS of finite groups, tests: DEC",
[1,2,3,4,5,6,7,8,5,4,9,10,3,11,6,12,1,2,13,14,15,16,17,18,19,6,1,2,5,4,3,20,
21,22,23,24,1,2,25,26,27,6,28,29,30,31,32,12,33,34,3,35,36,37,38,39,40,41,42,
43,44,45,4,5,46,47,48,49],
[1,1,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,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,5]],1,[[1,3],[2,4],[3,5],[4,5]],[[1,4],[2,3],[3,5],[4,
5]],4,3,,,,,,[[1,2],[2,3,4]]],
[],
0,
[(67,68),(38,39)(65,66)],
0,
rec(version:=1,
date:="31.10.92"));

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

MBT("S6(3)",13,
"origin: modular ATLAS of finite groups, tests: DEC",
[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,1,34,35,36,37,38,1,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,1,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,5],[3,4],[4,6,7],[5,8],[6,7,8]]],
[],
0,
[( 4, 5)( 8, 9)(15,16)(17,18)(19,20)(21,22)(25,26)(28,29)(34,35)(36,37)(38,39)
(40,41)(43,44)(46,47)(48,49)(52,53)(55,56)(58,59)(60,61)(62,63)(64,65)(67,68)
(69,70)(71,72)],
0,
rec(version:=2,
date:="23.08.11"));

MBT("S6(3)",2,
TEXT1,
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,2,2,3,4,5],
[9,3,1,0,0],
[[1,2,3,4,8,10,11,14,15,16,17,25,26,27,46,47],[48,49,50]],
[,,[[1,2]]],
[[[1,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,1,
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,1,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,-1,0,0,0,1,0,0,0,0,0,0,
0,0,0,0],[0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,1,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,1,0,0,0,0,0],[0,0,0,-1,
0,-1,0,0,0,0,0,0,1,0,0,0],[0,0,0,-1,0,0,-1,0,0,0,0,1,0,0,0,0],[0,0,0,-1,0,0,0,
0,0,0,0,0,0,1,0,0],[0,0,1,1,0,0,0,0,0,0,0,-1,0,0,1,0],[0,1,0,1,0,0,0,0,0,0,0,
0,-1,0,0,1]],[[1,0,0],[0,1,0],[0,0,1]]],
0,
[(19,20),( 2, 3)( 6, 7)(11,12)(13,14)(15,16)(17,18)(21,22)],
[1,0,0,1,1,0,0,0,0,0,0,0,0,1,0,0,1,0,0,1,1,1],
rec(version:=0,
date:="00.00.00"));

MBT("S6(3)",3,
TEXT1,
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,2],
[9,0],
[[1,2,4,5,7,10,12,18,21,25,34,42,55,72]],
[],
[[[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,2,1,-1,0,-1,
-3,-1,-1,-1,0,-1,-1,1],[-1,-2,0,1,0,1,3,1,1,1,0,1,1,-1],[-1,-2,-1,1,1,1,3,1,1,
1,0,1,1,-1],[-1,0,0,1,0,0,0,0,0,0,0,0,0,0],[1,2,1,-1,-1,0,-3,-1,-1,-1,0,-1,-1,
1],[0,-1,0,-1,0,-1,-2,-1,-1,-1,0,-1,-1,1],[1,1,-1,-1,1,-2,-4,-1,0,-1,0,-1,-1,
1],[0,0,0,-1,-1,0,0,1,0,0,0,0,0,0],[0,-1,-1,1,0,1,2,1,1,2,0,1,1,-1],[2,3,1,-3,
-1,-2,-8,-2,-2,-2,1,-2,-2,2],[2,3,1,-1,-1,-1,-2,-1,0,0,0,1,0,0],[1,1,0,1,0,-1,
1,0,-1,0,-1,0,1,0]]],
0,
[],
0,
rec(version:=1,
date:="13.01.94"));

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

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

MBT("S8(2)",17,
TEXT1,
[1,1,2,3,4,1,5,6,7,8,9,10,11,1,12,13,14,15,16,17,18,19,20,21,22,23,24,25,1,26,
27,28,29,30,1,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,1,59,60,61,62,63,1,64,65,66,67,68,69,70,71,72],
[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],
[],
[[[1,3],[2,4],[3,5],[4,6],[5,7],[6,8,9],[7,10],[8,9,10]]],
[],
0,
[],
0);

MBT("S8(2)",2,
TEXT1,
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2],
[16,0],
[[1,2,3,4,7,8,10,11,17,19,31,35,40,61,72]],
[],
[[[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,1,1,0,2,-1,-1,-1,-1,0,0,0,-1,-1,1],[0,
-1,1,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,-1,0,-2,1,1,1,1,0,0,0,1,1,-1],[-2,-1,0,1,0,
0,0,0,0,0,0,0,0,0,0],[1,-1,0,0,-3,1,0,2,1,0,0,0,1,1,-1],[-1,0,0,0,3,-1,-1,-1,
-1,0,0,0,-1,-1,1],[0,0,1,0,1,0,-1,-1,-1,0,0,0,-1,-1,1],[-1,1,-1,-1,2,-1,0,-1,
-1,0,0,0,-1,-1,1],[1,2,-1,-1,1,-2,1,-2,0,1,0,0,0,0,0],[2,0,-1,-2,1,-3,0,0,1,0,
0,0,0,0,0],[2,-1,-1,-2,-1,1,1,0,0,0,1,0,1,1,-1],[0,0,1,1,0,0,-1,0,0,0,0,1,1,1,
-1],[-1,0,0,2,0,3,0,-1,-3,0,0,0,1,0,0],[-1,-1,0,3,-2,3,0,0,1,-2,-1,-1,0,1,
0]]],
0,
[],
[1,-1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],
rec(version:=2,
date:="17.02.94"));

MBT("S8(2)",3,
TEXT1,
[1,1,1,1,2,1,1,1,2,1,1,2,1,1,1,1,1,3,3,1,1,1,1,4,1,3,3,2,2,3,1,5,6,6,4,7,8],
[5,2,2,1,0,1,0,0],
[[1,2,3,5,7,8,9,12,13,15,16,19,20,25,27,28,30,36,54,60],[6,11,14,47,55],[22,
23,48,51,65]],
[,,,[[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],[-1,0,0,1,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],[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,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],[1,0,-1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0],[
0,1,0,0,-1,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0],[0,-1,0,0,0,0,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],[0,1,0,0,-1,0,0,0,0,0,0,0,
1,0,0,0,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,1,0,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,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],[-1,1,0,1,-1,-1,0,0,0,0,-1,0,0,0,0,0,0,1,
0,0],[-1,0,1,0,1,0,0,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,1]],[[1,0,0,0,0],[-1,1,0,0,0],[0,0,1,0,0],[-1,0,0,1,0],[1,-1,0,0,
1]],[[1,0,0,0,0],[0,1,0,0,0],[-1,0,1,0,0],[0,-1,0,1,0],[1,0,-1,0,1]]],
0,
[(34,35)],
0);

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

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

LIBTABLE.LOADSTATUS.ctbsymp1:="userloaded";
#############################################################################
##
#E