|
#############################################################################
##
#W ctounit3.tbl GAP table library Thomas Breuer
##
## This file contains the ordinary character tables related to the unitary
## groups $U_3(11)$, $U_4(2)$ and $U_5(2)$ of the ATLAS.
##
#H ctbllib history
#H ---------------
#H $Log: ctounit3.tbl,v $
#H Revision 4.25 2012/03/28 13:16:36 gap
#H added a permutation (of the maximal subgroups) for the fusion to the
#H table of marks of Sz(8).3, L2(11).2, HS.2, He.2, S4(5), U3(3), U4(2).2
#H TB
#H
#H Revision 4.24 2012/01/30 08:32:05 gap
#H removed #H entries from the headers
#H TB
#H
#H Revision 4.23 2011/09/28 14:19:37 gap
#H - removed revision entry and SET_TABLEFILENAME call,
#H - added fusions 2.U4(2)","3^4.2U4(2), 2.U4(2).2","3^4.2U4(2).2,
#H U4(2).2","3^5:U4(2):2,
#H - reordered maxes of U4(2).2
#H TB
#H
#H Revision 4.22 2010/05/05 13:20:09 gap
#H - added many class fusions,
#H - changed several class fusions according to consistency conditions,
#H after systematic checks of consistency
#H - with Brauer tables w.r.t. the restriction of characters,
#H - of subgroup fusions with the corresponding subgroup fusions between
#H proper factors where the factor fusions are stored,
#H - of subgroup fusions from maximal subgroups with subgroup fusions of
#H extensions inside automorphic extensions
#H
#H TB
#H
#H Revision 4.21 2010/01/19 17:05:35 gap
#H added several tables of maximal subgroups of central extensions of
#H simple groups (many of them were contributed by S. Dany)
#H TB
#H
#H Revision 4.20 2008/06/24 16:23:06 gap
#H added several fusions and names
#H TB
#H
#H Revision 4.19 2007/07/03 08:34:59 gap
#H U5(2) is U6(2)M1, U5(2).2 is U6(2).2M1
#H TB
#H
#H Revision 4.18 2006/06/07 07:54:27 gap
#H unified ConstructMixed and ConstructMGA (for better programmatic access)
#H TB
#H
#H Revision 4.17 2004/08/31 12:33:34 gap
#H added tables of 4.L2(25).2_3,
#H L2(49).2^2,
#H L2(81).2^2,
#H L2(81).(2x4),
#H 3.L3(4).3.2_2,
#H L3(9).2^2,
#H L4(4).2^2,
#H 2x2^3:L3(2)x2,
#H (2xA6).2^2,
#H 2xL2(11).2,
#H S3xTh,
#H 41:40,
#H 7^(1+4):(3x2.S7),
#H 7xL2(8),
#H (7xL2(8)).3,
#H O7(3)N3A,
#H O8+(3).2_1',
#H O8+(3).2_1'',
#H O8+(3).2_2',
#H O8+(3).(2^2)_{122},
#H S4(9),
#H S4(9).2_i,
#H 2.U4(3).2_2',
#H 2.U4(3).(2^2)_{133},
#H 2.U4(3).D8,
#H 3.U6(2).S3,
#H added fusions 3.A6.2_i -> 3.A6.2^2,
#H L2(49).2_i -> L2(49).2^2,
#H L3(9).2_i -> L3(9).2^2,
#H L4(4).2_i -> L4(4).2^2,
#H G2(3) -> O7(3),
#H L2(17) -> S8(2),
#H 2.L3(4).2_2 -> 2.M22.2
#H 3.L3(4).2_2 -> 3.L3(4).3.2_2
#H 3.L3(4).3 -> 3.L3(4).3.2_2
#H 2^5:S6 -> 2.M22.2
#H O8+(3) -> O8+(3).2_1',
#H O8+(3) -> O8+(3).2_1'',
#H O8+(3) -> O8+(3).2_2',
#H O8+(3) -> O8+(3).(2^2)_{122},
#H O8+(3).2_1 -> O8+(3).(2^2)_{122},
#H O8+(3).2_2 -> O8+(3).(2^2)_{122},
#H 2.U4(3) -> 2.U4(3).2_2',
#H 2.U4(3).2_1 -> 2.U4(3).(2^2)_{133},
#H 2.U4(3).2_2 -> O7(3),
#H 2.U4(3).2_2' -> U4(3).2_2,
#H 2.U4(3).2_3 -> 2.U4(3).(2^2)_{133},
#H 2.U4(3).2_3' -> 2.U4(3).(2^2)_{133},
#H 2.U4(3).4 -> 2.U4(3).D8,
#H 3.U6(2).2 -> 3.U6(2).S3,
#H 3.U6(2).3 -> 3.U6(2).S3,
#H replaced table of psl(3,4):d12 by L3(4).D12,
#H changed table of O8+(3).S4 to a construction table,
#H changed encoding of the table of 12.A6.2_3,
#H added maxes of Sz(8), Sz(8).3,
#H TB
#H
#H Revision 4.16 2004/02/17 17:33:14 gap
#H added certain tables of isoclinic groups of ATLAS groups
#H (which are available in atlasrep),
#H added missing maxes of U5(2)
#H TB
#H
#H Revision 4.15 2003/07/28 15:31:22 gap
#H added some fusions concerning maxes of 6.U6(2)
#H TB
#H
#H Revision 4.14 2003/06/10 16:19:18 gap
#H store in several fusions between character tables to which subgroup number
#H in the table of marks of the supergroup the subgroup belongs
#H (in order to make the commutative diagrams testable)
#H TB
#H
#H Revision 4.13 2003/05/15 17:38:27 gap
#H next step towards the closer connection to the library of tables of marks:
#H added fusions tbl -> tom, adjusted fusions between character tables
#H in order to make the diagrams commute, adjusted orderings of maxes
#H TB
#H
#H Revision 4.12 2003/01/24 15:57:41 gap
#H replaced several fusions by ones that are compatible with Brauer tables
#H TB
#H
#H Revision 4.11 2002/09/23 15:08:22 gap
#H removed trailing blanks
#H TB
#H
#H Revision 4.10 2002/08/01 13:41:55 gap
#H added 2-modular tables of L3(7).S3, 3.L3(7).S3, 3.U3(5).S3, U3(11).S3,
#H and 3.U3(11).S3
#H TB
#H
#H Revision 4.9 2002/08/01 08:24:22 gap
#H added tables of 3.L3(7).S3, L3(7).S3, 3.U3(5).S3, 3.U3(11).S3, U3(11).S3
#H TB
#H
#H Revision 4.8 2002/07/12 06:45:57 gap
#H further tidying up: removed `irredinfo' stuff, rearranged constructions
#H TB
#H
#H Revision 4.7 2002/07/08 16:06:57 gap
#H changed `construction' component from function (call) to list of function
#H name and arguments
#H TB
#H
#H Revision 4.6 2001/05/04 16:50:41 gap
#H first revision for ctbllib
#H
#H
#H tbl history (GAP 4)
#H -------------------
#H (Rev. 4.6 of ctbllib coincides with Rev. 4.5 of tbl in GAP 4)
#H
#H RCS file: /gap/CVS/GAP/4.0/tbl/ctounit3.tbl,v
#H Working file: ctounit3.tbl
#H head: 4.5
#H branch:
#H locks: strict
#H access list:
#H symbolic names:
#H GAP4R2: 4.5.0.6
#H GAP4R2PRE2: 4.5.0.4
#H GAP4R2PRE1: 4.5.0.2
#H GAP4R1: 4.3.0.2
#H keyword substitution: kv
#H total revisions: 6; selected revisions: 6
#H description:
#H ----------------------------
#H revision 4.5
#H date: 1999/10/21 14:15:49; author: gap; state: Exp; lines: +19 -2
#H added many `tomidentifer' and `tomfusion' values, which yields a better
#H interface between `tom' and `tbl';
#H
#H added maxes of McL.2,
#H
#H unified tables `J2.2M4', `2^(2+4):(3x3):2^2', `2^(2+4):(S3xS3)'.
#H
#H TB
#H ----------------------------
#H revision 4.4
#H date: 1999/08/31 13:16:17; author: gap; state: Exp; lines: +6 -2
#H added missing tables and fusions of maximal subgroups of Suz.2
#H
#H TB
#H ----------------------------
#H revision 4.3
#H date: 1999/07/14 11:39:43; author: gap; state: Exp; lines: +4 -3
#H cosmetic changes for the release ...
#H
#H TB
#H ----------------------------
#H revision 4.2
#H date: 1997/11/25 15:46:09; author: gap; state: Exp; lines: +8 -2
#H first attempt to link the library of character tables and the
#H library of tables of marks
#H TB
#H ----------------------------
#H revision 4.1
#H date: 1997/07/17 15:48:35; author: fceller; state: Exp; lines: +2 -2
#H for version 4
#H ----------------------------
#H revision 1.1
#H date: 1996/10/21 16:02:11; author: sam; state: Exp;
#H first proposal of the table library
#H ==========================================================================
##
MOT("2.U4(2)",
[
"origin: ATLAS of finite groups, tests: 1.o.r., pow[2,3,5],\n",
"constructions: Sp(4,3)"
],
[51840,51840,576,96,1296,1296,1296,1296,216,216,108,108,96,96,8,10,10,144,144,
144,144,36,36,36,36,12,18,18,18,18,24,24,24,24],
[,[1,1,1,2,7,7,5,5,9,9,11,11,3,3,4,16,16,7,7,5,5,9,9,11,11,10,29,29,27,27,21,
21,19,19],[1,2,3,4,1,2,1,2,1,2,1,2,13,14,15,16,17,3,3,3,3,3,3,3,3,4,5,6,7,8,
13,14,13,14],,[1,2,3,4,7,8,5,6,9,10,11,12,13,14,15,1,2,20,21,18,19,23,22,25,
24,26,29,30,27,28,33,34,31,32]],
0,
[( 5, 7)( 6, 8)(18,20)(19,21)(22,23)(24,25)(27,29)(28,30)(31,33)(32,34)],
["ConstructProj",[["U4(2)",[]],["2.U4(2)",[]]]]);
ARC("2.U4(2)","tomfusion",rec(name:="2.U4(2)",map:=[1,2,3,10,4,12,4,12,5,13,6,
14,8,9,27,11,32,15,16,15,16,18,18,19,19,41,31,58,31,58,39,40,39,40],text:=[
"fusion map is unique"
]));
ARC("2.U4(2)","maxes",["2.(2^4:A5)","2.A6.2_1","2x3^(1+2)+:2A4","(2x3^3).S4`",
"2.(2.(A4xA4).2)"]);
ALF("2.U4(2)","U4(2)",[1,1,2,3,4,4,5,5,6,6,7,7,8,8,9,10,10,11,11,12,12,13,
14,15,15,16,17,17,18,18,19,19,20,20]);
ALF("2.U4(2)","2.U4(2).2",[1,2,3,4,5,6,5,6,7,8,9,10,11,12,13,14,15,16,17,
16,17,18,18,19,19,20,21,22,21,22,23,24,23,24]);
ALF("2.U4(2)","3^4.2U4(2)",[1,3,4,6,7,10,11,14,15,18,19,23,24,26,27,28,29,
30,32,34,36,38,40,42,44,46,47,49,50,52,53,55,56,58],[
"fusion map is unique up to table autom."
]);
MOT("2.U4(2).2",
[
"origin: ATLAS of finite groups, tests: 1.o.r., pow[2,3,5]"
],
[103680,103680,1152,192,1296,1296,432,432,216,216,192,192,16,20,20,144,144,36,
36,24,18,18,24,24,1440,96,192,192,32,36,36,12,16,16,20,20,24,24],
[,[1,1,1,2,5,5,7,7,9,9,3,3,4,14,14,5,5,7,9,8,21,21,17,17,2,1,4,4,4,8,10,9,11,
11,15,15,20,20],[1,2,3,4,1,2,1,2,1,2,11,12,13,14,15,3,3,3,3,4,5,6,11,12,25,26,
27,28,29,25,25,26,33,34,35,36,27,28],,[1,2,3,4,5,6,7,8,9,10,11,12,13,1,2,16,
17,18,19,20,21,22,23,24,25,26,28,27,29,30,31,32,34,33,25,25,38,37]],
0,
[(35,36),(27,28)(33,34)(35,36)(37,38),(27,28)(33,34)(37,38)],
["ConstructProj",[["U4(2).2",[]],["2.U4(2).2",[]]]]);
ARC("2.U4(2).2","maxes",["2.U4(2)","twd5a","2.(S6x2)","2.(3^3:(S4x2))",
"2x3^(1+2)_+:2S4","2.(2.(A4xA4).2.2)"]);
ARC("2.U4(2).2","tomfusion",rec(name:="2.U4(2).2",map:=[1,2,3,9,5,16,6,17,7,
18,11,10,46,15,56,20,19,21,22,82,55,138,84,83,8,4,44,44,45,81,80,23,47,47,140,
140,169,169],text:=[
"fusion map is unique"
]));
ALF("2.U4(2).2","U4(2).2",[1,1,2,3,4,4,5,5,6,6,7,7,8,9,9,10,10,11,12,13,
14,14,15,15,16,17,18,18,19,20,21,22,23,23,24,24,25,25]);
ALF("2.U4(2).2","2.S6(2)",[1,2,4,5,9,10,7,8,11,12,13,14,18,19,20,24,23,22,
27,25,34,35,40,41,3,6,15,15,16,21,26,28,31,31,36,37,38,38],[
"fusion map is unique up to table autom."
]);
ALF("2.U4(2).2","3^4.2U4(2).2",[1,3,4,6,7,10,11,13,14,17,18,20,21,22,23,
24,26,28,30,32,33,35,36,38,39,41,42,43,44,45,46,48,50,52,53,54,55,56],[
"fusion map is unique up to table autom."
]);
MOT("Isoclinic(2.U4(2).2)",
[
"isoclinic group of the 2.U4(2).2 given in the ATLAS"
],
0,
0,
0,
[(35,36),(27,28)(33,34)(37,38)],
["ConstructIsoclinic",[["2.U4(2).2"]]]);
ALF("Isoclinic(2.U4(2).2)","U4(2).2",[1,1,2,3,4,4,5,5,6,6,7,7,8,9,9,10,10,
11,12,13,14,14,15,15,16,17,18,18,19,20,21,22,23,23,24,24,25,25]);
MOT("3.U3(11)",
[
"origin: ATLAS of finite groups, tests: 1.o.r., pow[2,3,5,11,37],\n",
"constructions: SU(3,11)"
],
[212747040,212747040,212747040,15840,15840,15840,144,15840,15840,15840,15840,
15840,15840,144,144,144,120,120,120,120,120,120,144,144,144,120,120,120,120,
120,120,120,120,120,120,120,120,15972,15972,15972,363,363,363,363,363,363,363,
363,363,144,144,144,144,144,144,144,144,144,144,144,144,120,120,120,120,120,
120,120,120,120,120,120,120,132,132,132,111,111,111,111,111,111,111,111,111,
111,111,111,111,111,111,111,111,111,111,111,111,111,111,111,111,111,111,111,
111,111,111,111,111,111,111,111,120,120,120,120,120,120,120,120,120,120,120,
120,120,120,120,120,120,120,120,120,120,120,120,120,132,132,132,132,132,132],
[,[1,3,2,1,3,2,7,4,6,5,4,6,5,4,6,5,20,22,21,17,19,18,7,7,7,8,10,9,11,13,12,20,
22,21,17,19,18,38,40,39,41,43,42,44,46,45,47,49,48,23,25,24,23,25,24,23,25,24,
23,25,24,35,37,36,35,37,36,32,34,33,32,34,33,38,40,39,83,85,84,86,88,87,89,91,
90,92,94,93,95,97,96,98,100,99,101,103,102,104,106,105,107,109,108,110,112,
111,80,82,81,77,79,78,68,70,69,71,73,72,62,64,63,65,67,66,68,70,69,71,73,72,
62,64,63,65,67,66,74,76,75,74,76,75],[1,1,1,4,4,4,1,11,11,11,8,8,8,14,14,14,
20,20,20,17,17,17,4,4,4,29,29,29,26,26,26,35,35,35,32,32,32,38,38,38,41,41,41,
44,44,44,47,47,47,11,11,11,8,8,8,14,14,14,14,14,14,71,71,71,68,68,68,65,65,65,
62,62,62,74,74,74,89,89,89,92,92,92,95,95,95,98,98,98,101,101,101,104,104,104,
107,107,107,110,110,110,80,80,80,77,77,77,86,86,86,83,83,83,122,122,122,119,
119,119,128,128,128,125,125,125,134,134,134,131,131,131,116,116,116,113,113,
113,140,140,140,137,137,137],,[1,3,2,4,6,5,7,8,10,9,11,13,12,14,16,15,1,3,2,1,
3,2,23,25,24,26,28,27,29,31,30,4,6,5,4,6,5,38,40,39,41,43,42,44,46,45,47,49,
48,50,52,51,53,55,54,59,61,60,56,58,57,8,10,9,11,13,12,8,10,9,11,13,12,74,76,
75,110,112,111,107,109,108,77,79,78,80,82,81,83,85,84,86,88,87,89,91,90,92,94,
93,95,97,96,98,100,99,101,103,102,104,106,105,26,28,27,29,31,30,26,28,27,29,
31,30,26,28,27,29,31,30,26,28,27,29,31,30,137,139,138,140,142,141],,,,,,[1,3,
2,4,6,5,7,11,13,12,8,10,9,14,16,15,17,19,18,20,22,21,23,25,24,29,31,30,26,28,
27,32,34,33,35,37,36,1,3,2,1,3,2,1,3,2,1,3,2,53,55,54,50,52,51,56,58,57,59,61,
60,65,67,66,62,64,63,71,73,72,68,70,69,4,6,5,80,82,81,77,79,78,86,88,87,83,85,
84,92,94,93,89,91,90,98,100,99,95,97,96,104,106,105,101,103,102,110,112,111,
107,109,108,116,118,117,113,115,114,122,124,123,119,121,120,128,130,129,125,
127,126,134,136,135,131,133,132,11,13,12,8,10,9],,,,,,,,,,,,,,,,,,,,,,,,,,[1,
2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,20,21,22,17,18,19,23,24,25,26,27,28,29,
30,31,35,36,37,32,33,34,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,
56,57,58,59,60,61,68,69,70,71,72,73,62,63,64,65,66,67,74,75,76,1,2,3,1,2,3,1,
2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,119,120,121,122,123,
124,125,126,127,128,129,130,131,132,133,134,135,136,113,114,115,116,117,118,
137,138,139,140,141,142]],
0,
[(113,125)(114,126)(115,127)(116,128)(117,129)(118,130)(119,131)(120,132)
(121,133)(122,134)(123,135)(124,136),( 77, 83, 89, 95,101,107, 80, 86, 92, 98,
104,110)( 78, 84, 90, 96,102,108, 81, 87, 93, 99,105,111)( 79, 85, 91, 97,
103,109, 82, 88, 94,100,106,112),(44,47)(45,48)(46,49),(41,44)(42,45)(43,46),
( 17, 20)( 18, 21)( 19, 22)( 32, 35)( 33, 36)( 34, 37)( 62, 68)( 63, 69)
( 64, 70)( 65, 71)( 66, 72)( 67, 73)(113,131,125,119)(114,132,126,120)
(115,133,127,121)(116,134,128,122)(117,135,129,123)(118,136,130,124),( 8, 11)
( 9, 12)( 10, 13)( 26, 29)( 27, 30)( 28, 31)( 50, 53)( 51, 54)( 52, 55)
( 56, 59)( 57, 60)( 58, 61)( 62, 65)( 63, 66)( 64, 67)( 68, 71)( 69, 72)
( 70, 73)(113,128)(114,129)(115,130)(116,125)(117,126)(118,127)(119,134)
(120,135)(121,136)(122,131)(123,132)(124,133)(137,140)(138,141)(139,142),
( 2, 3)( 5, 6)( 9, 10)( 12, 13)( 15, 16)( 18, 19)( 21, 22)( 24, 25)
( 27, 28)( 30, 31)( 33, 34)( 36, 37)( 39, 40)( 42, 43)( 45, 46)( 48, 49)
( 51, 52)( 54, 55)( 56, 59)( 57, 61)( 58, 60)( 63, 64)( 66, 67)( 69, 70)
( 72, 73)( 75, 76)( 78, 79)( 81, 82)( 84, 85)( 87, 88)( 90, 91)( 93, 94)
( 96, 97)( 99,100)(102,103)(105,106)(108,109)(111,112)(114,115)(117,118)
(120,121)(123,124)(126,127)(129,130)(132,133)(135,136)(138,139)(141,142)],
["ConstructProj",[["U3(11)",[]],,["3.U3(11)",[-1,-1,-7,-7,-1,-1,-1,-1,-1,-7,
-7,-7,-7,-1,-1,-7,-7,-7,-7,11,11,11,11,41,41,41,41,-79,-79,-79,-79,-79,-79,
-79,-79,-73,-73,-73,-73,-73,-73,-73,-73,-73,-73,-73,-73]]]]);
ALF("3.U3(11)","U3(11)",[1,1,1,2,2,2,3,4,4,4,5,5,5,6,6,6,7,7,7,8,8,8,9,9,
9,10,10,10,11,11,11,12,12,12,13,13,13,14,14,14,15,15,15,16,16,16,17,17,17,
18,18,18,19,19,19,20,20,20,21,21,21,22,22,22,23,23,23,24,24,24,25,25,25,
26,26,26,27,27,27,28,28,28,29,29,29,30,30,30,31,31,31,32,32,32,33,33,33,
34,34,34,35,35,35,36,36,36,37,37,37,38,38,38,39,39,39,40,40,40,41,41,41,
42,42,42,43,43,43,44,44,44,45,45,45,46,46,46,47,47,47,48,48,48]);
ALF("3.U3(11)","3.U3(11).2",[1,2,2,3,4,4,5,6,7,8,6,8,7,9,10,10,11,12,12,
13,14,14,15,16,16,17,18,19,17,19,18,20,21,21,22,23,23,24,25,25,26,27,27,
28,29,30,28,30,29,31,32,33,31,33,32,34,35,35,36,37,37,38,39,40,38,40,39,
41,42,43,41,43,42,44,45,45,46,47,48,46,48,47,49,50,51,49,51,50,52,53,54,
52,54,53,55,56,57,55,57,56,58,59,60,58,60,59,61,62,63,61,63,62,64,65,66,
64,66,65,67,68,69,67,69,68,70,71,72,70,72,71,73,74,75,73,75,74,76,77,78,
76,78,77],[
"fusion map is unique up to table autom.,\n",
"compatible with Brauer tables and factors"
]);
ALF("3.U3(11)","3.U3(11).3",[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,
19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,
43,41,42,43,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,
61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,
85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,
107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,
125,126,127,128,129,130,131,132,133,134,135,136],[
"fusion map is unique up to table autom.,\n",
"compatible with Brauer tables and factors"
]);
MOT("3.U3(11).2",
[
"origin: ATLAS of finite groups, tests: 1.o.r., pow[2,3,5,11,37]"
],
[425494080,212747040,31680,15840,288,15840,15840,15840,288,144,240,120,240,
120,288,144,120,120,120,240,120,240,120,31944,15972,726,363,363,363,363,144,
144,144,288,144,288,144,120,120,120,120,120,120,264,132,111,111,111,111,111,
111,111,111,111,111,111,111,111,111,111,111,111,111,120,120,120,120,120,120,
120,120,120,120,120,120,132,132,132,2640,2640,24,24,20,20,24,20,20,22,24,24,
44,44],
[,[1,2,1,2,5,3,4,4,3,4,13,14,11,12,5,5,6,8,7,13,14,11,12,24,25,26,27,28,30,29,
15,16,16,15,16,15,16,22,23,23,20,21,21,24,25,49,51,50,52,54,53,55,57,56,58,60,
59,61,63,62,46,47,48,41,43,42,38,40,39,41,43,42,38,40,39,44,45,45,1,3,5,9,13,
11,15,22,20,26,36,34,44,44],[1,1,3,3,1,6,6,6,9,9,13,13,11,11,3,3,17,17,17,22,
22,20,20,24,24,26,26,28,28,28,6,6,6,9,9,9,9,41,41,41,38,38,38,44,44,52,52,52,
55,55,55,58,58,58,61,61,61,46,46,46,49,49,49,67,67,67,70,70,70,73,73,73,64,64,
64,76,76,76,79,80,79,82,84,83,80,87,86,88,82,82,91,92],,[1,2,3,4,5,6,8,7,9,10,
1,2,1,2,15,16,17,19,18,3,4,3,4,24,25,26,27,28,30,29,31,33,32,36,37,34,35,6,8,
7,6,8,7,44,45,61,62,63,46,48,47,49,51,50,52,54,53,55,57,56,58,60,59,17,19,18,
17,19,18,17,19,18,17,19,18,76,78,77,79,80,81,82,79,79,85,80,80,88,90,89,91,
92],,,,,,[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,1,2,1,2,
1,2,2,31,32,33,34,35,36,37,38,39,40,41,42,43,3,4,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,6,7,8,79,80,81,
82,83,84,85,86,87,79,89,90,80,80],,,,,,,,,,,,,,,,,,,,,,,,,,[1,2,3,4,5,6,7,8,9,
10,13,14,11,12,15,16,17,18,19,22,23,20,21,24,25,26,27,28,29,30,31,32,33,34,35,
36,37,41,42,43,38,39,40,44,45,1,2,2,1,2,2,1,2,2,1,2,2,1,2,2,1,2,2,67,68,69,70,
71,72,73,74,75,64,65,66,76,77,78,79,80,81,82,84,83,85,87,86,88,89,90,91,92]],
0,
[(91,92),(64,70)(65,71)(66,72)(67,73)(68,74)(69,75),(46,49,52,55,58,61)
(47,50,53,56,59,62,48,51,54,57,60,63),(29,30),(11,13)(12,14)(20,22)(21,23)
(38,41)(39,42)(40,43)(64,73,70,67)(65,74,71,68)(66,75,72,69)(83,84)(86,87),
( 7, 8)(18,19)(32,33)(34,36)(35,37)(39,40)(42,43)(64,70)(65,72)(66,71)(67,73)
(68,75)(69,74)(77,78)(89,90),( 7, 8)(18,19)(29,30)(32,33)(34,36)(35,37)(39,40)
(42,43)(47,48)(50,51)(53,54)(56,57)(59,60)(62,63)(65,66)(68,69)(71,72)(74,75)
(77,78)(89,90),(47,48)(50,51)(53,54)(56,57)(59,60)(62,63)],
["ConstructMGA","3.U3(11)","U3(11).2",
[ [ 49, 50 ], [ 51, 52 ], [ 53, 56 ], [ 54, 55 ], [ 57, 58 ],
[ 59, 62 ], [ 60, 61 ], [ 63, 64 ], [ 65, 66 ], [ 67, 70 ],
[ 68, 69 ], [ 71, 74 ], [ 72, 73 ], [ 75, 76 ], [ 77, 78 ],
[ 79, 82 ], [ 80, 81 ], [ 83, 86 ], [ 84, 85 ], [ 87, 88 ],
[ 89, 90 ], [ 91, 92 ], [ 93, 94 ], [ 95, 98 ], [ 96, 97 ],
[ 99, 102 ], [ 100, 101 ], [ 103, 106 ], [ 104, 105 ], [ 107, 110 ],
[ 108, 109 ], [ 111, 114 ], [ 112, 113 ], [ 115, 118 ], [ 116, 117 ],
[ 119, 122 ], [ 120, 121 ], [ 123, 126 ], [ 124, 125 ], [ 127, 130 ],
[ 128, 129 ], [ 131, 134 ], [ 132, 133 ], [ 135, 138 ], [ 136, 137 ],
[ 139, 142 ], [ 140, 141 ] ], ()]);
ALF("3.U3(11).2","U3(11).2",[1,1,2,2,3,4,4,4,5,5,6,6,7,7,8,8,9,9,9,10,10,
11,11,12,12,13,13,14,14,14,15,15,15,16,16,17,17,18,18,18,19,19,19,20,20,
21,21,21,22,22,22,23,23,23,24,24,24,25,25,25,26,26,26,27,27,27,28,28,28,
29,29,29,30,30,30,31,31,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45]);
ALF("3.U3(11).2","3.U3(11).S3",[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,
18,19,20,21,22,23,24,25,26,27,26,27,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,209,210,211,212,213,214,215,216,
217,218,219,220,221,222],[
"fusion map is unique up to table autom.,\n",
"compatible with Brauer tables and factors"
]);
MOT("3.U3(11).3",
[
"origin: ATLAS of finite groups"
],
[638241120,638241120,638241120,47520,47520,47520,432,47520,47520,47520,47520,
47520,47520,432,432,432,360,360,360,360,360,360,432,432,432,360,360,360,360,
360,360,360,360,360,360,360,360,47916,47916,47916,363,363,363,432,432,432,432,
432,432,432,432,432,432,432,432,360,360,360,360,360,360,360,360,360,360,360,
360,396,396,396,333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,
333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,
333,333,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,
360,360,360,360,360,360,360,396,396,396,396,396,396,47520,47520,47520,47520,
47520,47520,333,333,47520,47520,47520,47520,47520,47520,432,432,432,432,432,
432,47520,47520,47520,47520,47520,47520,47520,47520,47520,47520,47520,47520,
432,432,432,432,432,432,432,432,432,432,432,432,432,432,432,432,432,432,432,
432,432,432,432,432,432,432,432,432,432,432,360,360,360,360,360,360,360,360,
360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,
360,360,360,360,360,360,360,360,360,396,396,396,396,396,396,360,360,360,360,
360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,
360,396,396,396,396,396,396,333,333,333,333,333,333,333,333,333,333,333,333,
333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,
333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,
333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,
333,333,333,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,
360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,
360,360,360,360,360,360,360,360,360,360,360,360,360,396,396,396,396,396,396,
396,396,396,396,396,396],
[,[1,3,2,1,3,2,7,4,6,5,4,6,5,4,6,5,20,22,21,17,19,18,7,7,7,8,10,9,11,13,12,20,
22,21,17,19,18,38,40,39,41,43,42,23,25,24,23,25,24,23,25,24,23,25,24,35,37,36,
35,37,36,32,34,33,32,34,33,38,40,39,77,79,78,80,82,81,83,85,84,86,88,87,89,91,
90,92,94,93,95,97,96,98,100,99,101,103,102,104,106,105,74,76,75,71,73,72,62,
64,63,65,67,66,56,58,57,59,61,60,62,64,63,65,67,66,56,58,57,59,61,60,68,70,69,
68,70,69,140,141,142,137,138,139,144,143,140,141,142,137,138,139,140,141,142,
137,138,139,148,149,150,145,146,147,148,149,150,145,146,147,148,149,150,145,
146,147,154,155,156,151,152,153,154,155,156,151,152,153,154,155,156,151,152,
153,154,155,156,151,152,153,208,209,210,205,206,207,202,203,204,199,200,201,
160,161,162,157,158,159,166,167,168,163,164,165,208,209,210,205,206,207,202,
203,204,199,200,201,238,239,240,235,236,237,232,233,234,229,230,231,232,233,
234,229,230,231,226,227,228,223,224,225,226,227,228,223,224,225,238,239,240,
235,236,237,288,286,287,285,283,284,294,292,293,291,289,290,300,298,299,297,
295,296,306,304,305,303,301,302,312,310,311,309,307,308,318,316,317,315,313,
314,324,322,323,321,319,320,330,328,329,327,325,326,336,334,335,333,331,332,
342,340,341,339,337,338,281,282,280,278,279,277,275,276,274,272,273,271,256,
257,258,253,254,255,262,263,264,259,260,261,244,245,246,241,242,243,250,251,
252,247,248,249,256,257,258,253,254,255,262,263,264,259,260,261,244,245,246,
241,242,243,250,251,252,247,248,249,268,269,270,265,266,267,268,269,270,265,
266,267],[1,1,1,4,4,4,1,11,11,11,8,8,8,14,14,14,20,20,20,17,17,17,4,4,4,29,29,
29,26,26,26,35,35,35,32,32,32,38,38,38,41,41,41,11,11,11,8,8,8,14,14,14,14,14,
14,65,65,65,62,62,62,59,59,59,56,56,56,68,68,68,83,83,83,86,86,86,89,89,89,92,
92,92,95,95,95,98,98,98,101,101,101,104,104,104,74,74,74,71,71,71,80,80,80,77,
77,77,116,116,116,113,113,113,122,122,122,119,119,119,128,128,128,125,125,125,
110,110,110,107,107,107,134,134,134,131,131,131,1,1,1,1,1,1,2,3,4,4,4,4,4,4,4,
4,4,4,4,4,11,11,11,11,11,11,8,8,8,8,8,8,14,14,14,14,14,14,11,11,11,11,11,11,8,
8,8,8,8,8,14,14,14,14,14,14,14,14,14,14,14,14,20,20,20,20,20,20,17,17,17,17,
17,17,29,29,29,29,29,29,26,26,26,26,26,26,35,35,35,35,35,35,32,32,32,32,32,32,
38,38,38,38,38,38,65,65,65,65,65,65,62,62,62,62,62,62,59,59,59,59,59,59,56,56,
56,56,56,56,68,68,68,68,68,68,84,84,84,85,85,85,87,87,87,88,88,88,90,90,90,91,
91,91,93,93,93,94,94,94,96,96,96,97,97,97,99,99,99,100,100,100,102,102,102,
103,103,103,105,105,105,106,106,106,75,75,75,76,76,76,72,72,72,73,73,73,81,81,
81,82,82,82,78,78,78,79,79,79,116,116,116,116,116,116,113,113,113,113,113,113,
122,122,122,122,122,122,119,119,119,119,119,119,128,128,128,128,128,128,125,
125,125,125,125,125,110,110,110,110,110,110,107,107,107,107,107,107,134,134,
134,134,134,134,131,131,131,131,131,131],,[1,3,2,4,6,5,7,8,10,9,11,13,12,14,
16,15,1,3,2,1,3,2,23,25,24,26,28,27,29,31,30,4,6,5,4,6,5,38,40,39,41,43,42,44,
46,45,47,49,48,53,55,54,50,52,51,8,10,9,11,13,12,8,10,9,11,13,12,68,70,69,104,
106,105,101,103,102,71,73,72,74,76,75,77,79,78,80,82,81,83,85,84,86,88,87,89,
91,90,92,94,93,95,97,96,98,100,99,26,28,27,29,31,30,26,28,27,29,31,30,26,28,
27,29,31,30,26,28,27,29,31,30,131,133,132,134,136,135,140,141,142,137,138,139,
144,143,148,149,150,145,146,147,154,155,156,151,152,153,160,161,162,157,158,
159,166,167,168,163,164,165,172,173,174,169,170,171,178,179,180,175,176,177,
184,185,186,181,182,183,190,191,192,187,188,189,196,197,198,193,194,195,140,
141,142,137,138,139,140,141,142,137,138,139,214,215,216,211,212,213,220,221,
222,217,218,219,148,149,150,145,146,147,148,149,150,145,146,147,238,239,240,
235,236,237,160,161,162,157,158,159,166,167,168,163,164,165,160,161,162,157,
158,159,166,167,168,163,164,165,268,269,270,265,266,267,341,342,340,338,339,
337,335,336,334,332,333,331,274,275,276,271,272,273,280,281,282,277,278,279,
286,287,288,283,284,285,292,293,294,289,290,291,298,299,300,295,296,297,304,
305,306,301,302,303,310,311,312,307,308,309,316,317,318,313,314,315,322,323,
324,319,320,321,328,329,330,325,326,327,214,215,216,211,212,213,220,221,222,
217,218,219,214,215,216,211,212,213,220,221,222,217,218,219,214,215,216,211,
212,213,220,221,222,217,218,219,214,215,216,211,212,213,220,221,222,217,218,
219,394,395,396,391,392,393,400,401,402,397,398,399],,,,,,[1,3,2,4,6,5,7,11,
13,12,8,10,9,14,16,15,17,19,18,20,22,21,23,25,24,29,31,30,26,28,27,32,34,33,
35,37,36,1,3,2,1,3,2,47,49,48,44,46,45,50,52,51,53,55,54,59,61,60,56,58,57,65,
67,66,62,64,63,4,6,5,74,76,75,71,73,72,80,82,81,77,79,78,86,88,87,83,85,84,92,
94,93,89,91,90,98,100,99,95,97,96,104,106,105,101,103,102,110,112,111,107,109,
108,116,118,117,113,115,114,122,124,123,119,121,120,128,130,129,125,127,126,
11,13,12,8,10,9,140,141,142,137,138,139,144,143,148,149,150,145,146,147,154,
155,156,151,152,153,166,167,168,163,164,165,160,161,162,157,158,159,172,173,
174,169,170,171,184,185,186,181,182,183,178,179,180,175,176,177,196,197,198,
193,194,195,190,191,192,187,188,189,202,203,204,199,200,201,208,209,210,205,
206,207,220,221,222,217,218,219,214,215,216,211,212,213,226,227,228,223,224,
225,232,233,234,229,230,231,140,141,142,137,138,139,250,251,252,247,248,249,
244,245,246,241,242,243,262,263,264,259,260,261,256,257,258,253,254,255,148,
149,150,145,146,147,280,281,282,277,278,279,274,275,276,271,272,273,292,293,
294,289,290,291,286,287,288,283,284,285,304,305,306,301,302,303,298,299,300,
295,296,297,316,317,318,313,314,315,310,311,312,307,308,309,328,329,330,325,
326,327,322,323,324,319,320,321,340,341,342,337,338,339,334,335,336,331,332,
333,352,353,354,349,350,351,346,347,348,343,344,345,364,365,366,361,362,363,
358,359,360,355,356,357,376,377,378,373,374,375,370,371,372,367,368,369,388,
389,390,385,386,387,382,383,384,379,380,381,166,167,168,163,164,165,160,161,
162,157,158,159],,,,,,,,,,,,,,,,,,,,,,,,,,[1,2,3,4,5,6,7,8,9,10,11,12,13,14,
15,16,20,21,22,17,18,19,23,24,25,26,27,28,29,30,31,35,36,37,32,33,34,38,39,40,
41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,62,63,64,65,66,67,56,57,58,59,60,
61,68,69,70,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,
1,2,3,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,
107,108,109,110,111,112,131,132,133,134,135,136,137,138,139,140,141,142,143,
144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,
163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,
182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,205,206,
207,208,209,210,199,200,201,202,203,204,211,212,213,214,215,216,217,218,219,
220,221,222,229,230,231,232,233,234,223,224,225,226,227,228,235,236,237,238,
239,240,253,254,255,256,257,258,259,260,261,262,263,264,241,242,243,244,245,
246,247,248,249,250,251,252,265,266,267,268,269,270,143,143,143,144,144,144,
143,143,143,144,144,144,143,143,143,144,144,144,143,143,143,144,144,144,143,
143,143,144,144,144,143,143,143,144,144,144,143,143,143,144,144,144,143,143,
143,144,144,144,143,143,143,144,144,144,143,143,143,144,144,144,143,143,143,
144,144,144,143,143,143,144,144,144,355,356,357,358,359,360,361,362,363,364,
365,366,367,368,369,370,371,372,373,374,375,376,377,378,379,380,381,382,383,
384,385,386,387,388,389,390,343,344,345,346,347,348,349,350,351,352,353,354,
391,392,393,394,395,396,397,398,399,400,401,402]],
0,
[(137,138,139)(140,141,142)(145,146,147)(148,149,150)(151,152,153)
(154,155,156)(157,158,159)(160,161,162)(163,164,165)(166,167,168)(169,170,171)
(172,173,174)(175,176,177)(178,179,180)(181,182,183)(184,185,186)(187,188,189)
(190,191,192)(193,194,195)(196,197,198)(199,200,201)(202,203,204)(205,206,207)
(208,209,210)(211,212,213)(214,215,216)(217,218,219)(220,221,222)(223,224,225)
(226,227,228)(229,230,231)(232,233,234)(235,236,237)(238,239,240)(241,242,243)
(244,245,246)(247,248,249)(250,251,252)(253,254,255)(256,257,258)(259,260,261)
(262,263,264)(265,266,267)(268,269,270)(343,344,345)(346,347,348)(349,350,351)
(352,353,354)(355,356,357)(358,359,360)(361,362,363)(364,365,366)(367,368,369)
(370,371,372)(373,374,375)(376,377,378)(379,380,381)(382,383,384)(385,386,387)
(388,389,390)(391,392,393)(394,395,396)(397,398,399)(400,401,402),(107,119)
(108,120)(109,121)(110,122)(111,123)(112,124)(113,125)(114,126)(115,127)
(116,128)(117,129)(118,130)(343,367)(344,368)(345,369)(346,370)(347,371)
(348,372)(349,373)(350,374)(351,375)(352,376)(353,377)(354,378)(355,379)
(356,380)(357,381)(358,382)(359,383)(360,384)(361,385)(362,386)(363,387)
(364,388)(365,389)(366,390),( 71, 77, 83, 89, 95,101, 74, 80, 86, 92, 98,104)
( 72, 78, 84, 90, 96,102, 75, 81, 87, 93, 99,105)( 73, 79, 85, 91, 97,103, 76,
82, 88, 94,100,106)(271,283,295,307,319,331,279,291,303,315,327,339,272,284,
296,308,320,332,277,289,301,313,325,337,273,285,297,309,321,333,278,290,302,
314,326,338)(274,286,298,310,322,334,282,294,306,318,330,342,275,287,299,311,
323,335,280,292,304,316,328,340,276,288,300,312,324,336,281,293,305,317,329,
341),( 17, 20)( 18, 21)( 19, 22)( 32, 35)( 33, 36)( 34, 37)( 56, 62)( 57, 63)
( 58, 64)( 59, 65)( 60, 66)( 61, 67)(107,125,119,113)(108,126,120,114)
(109,127,121,115)(110,128,122,116)(111,129,123,117)(112,130,124,118)(199,205)
(200,206)(201,207)(202,208)(203,209)(204,210)(223,229)(224,230)(225,231)
(226,232)(227,233)(228,234)(241,253)(242,254)(243,255)(244,256)(245,257)
(246,258)(247,259)(248,260)(249,261)(250,262)(251,263)(252,264)
(343,379,367,355)(344,380,368,356)(345,381,369,357)(346,382,370,358)
(347,383,371,359)(348,384,372,360)(349,385,373,361)(350,386,374,362)
(351,387,375,363)(352,388,376,364)(353,389,377,365)(354,390,378,366),( 8, 11)
( 9, 12)( 10, 13)( 26, 29)( 27, 30)( 28, 31)( 44, 47)( 45, 48)( 46, 49)
( 50, 53)( 51, 54)( 52, 55)( 56, 59)( 57, 60)( 58, 61)( 62, 65)( 63, 66)
( 64, 67)(107,122)(108,123)(109,124)(110,119)(111,120)(112,121)(113,128)
(114,129)(115,130)(116,125)(117,126)(118,127)(131,134)(132,135)(133,136)
(157,163)(158,164)(159,165)(160,166)(161,167)(162,168)(175,181)(176,182)
(177,183)(178,184)(179,185)(180,186)(187,193)(188,194)(189,195)(190,196)
(191,197)(192,198)(211,217)(212,218)(213,219)(214,220)(215,221)(216,222)
(241,247)(242,248)(243,249)(244,250)(245,251)(246,252)(253,259)(254,260)
(255,261)(256,262)(257,263)(258,264)(343,373)(344,374)(345,375)(346,376)
(347,377)(348,378)(349,367)(350,368)(351,369)(352,370)(353,371)(354,372)
(355,385)(356,386)(357,387)(358,388)(359,389)(360,390)(361,379)(362,380)
(363,381)(364,382)(365,383)(366,384)(391,397)(392,398)(393,399)(394,400)
(395,401)(396,402),( 2, 3)( 5, 6)( 9, 10)( 12, 13)( 15, 16)( 18, 19)
( 21, 22)( 24, 25)( 27, 28)( 30, 31)( 33, 34)( 36, 37)( 39, 40)( 42, 43)
( 45, 46)( 48, 49)( 50, 53)( 51, 55)( 52, 54)( 57, 58)( 60, 61)( 63, 64)
( 66, 67)( 69, 70)( 72, 73)( 75, 76)( 78, 79)( 81, 82)( 84, 85)( 87, 88)
( 90, 91)( 93, 94)( 96, 97)( 99,100)(102,103)(105,106)(108,109)(111,112)
(114,115)(117,118)(120,121)(123,124)(126,127)(129,130)(132,133)(135,136)
(137,140)(138,141)(139,142)(143,144)(145,148)(146,149)(147,150)(151,154)
(152,155)(153,156)(157,160)(158,161)(159,162)(163,166)(164,167)(165,168)
(169,172)(170,173)(171,174)(175,178)(176,179)(177,180)(181,184)(182,185)
(183,186)(187,190)(188,191)(189,192)(193,196)(194,197)(195,198)(199,202)
(200,203)(201,204)(205,208)(206,209)(207,210)(211,214)(212,215)(213,216)
(217,220)(218,221)(219,222)(223,226)(224,227)(225,228)(229,232)(230,233)
(231,234)(235,238)(236,239)(237,240)(241,244)(242,245)(243,246)(247,250)
(248,251)(249,252)(253,256)(254,257)(255,258)(259,262)(260,263)(261,264)
(265,268)(266,269)(267,270)(271,276,272,274,273,275)(277,282,278,280,279,281)
(283,288,284,286,285,287)(289,294,290,292,291,293)(295,300,296,298,297,299)
(301,306,302,304,303,305)(307,312,308,310,309,311)(313,318,314,316,315,317)
(319,324,320,322,321,323)(325,330,326,328,327,329)(331,336,332,334,333,335)
(337,342,338,340,339,341)(343,346)(344,347)(345,348)(349,352)(350,353)
(351,354)(355,358)(356,359)(357,360)(361,364)(362,365)(363,366)(367,370)
(368,371)(369,372)(373,376)(374,377)(375,378)(379,382)(380,383)(381,384)
(385,388)(386,389)(387,390)(391,394)(392,395)(393,396)(397,400)(398,401)
(399,402),(271,273,272)(274,276,275)(277,279,278)(280,282,281)(283,285,284)
(286,288,287)(289,291,290)(292,294,293)(295,297,296)(298,300,299)(301,303,302)
(304,306,305)(307,309,308)(310,312,311)(313,315,314)(316,318,317)(319,321,320)
(322,324,323)(325,327,326)(328,330,329)(331,333,332)(334,336,335)(337,339,338)
(340,342,341)],
["ConstructProj",[["U3(11).3",[]],,["3.U3(11).3",[2,2,5,5,2,2,2,5,5,5,5,2,2,5,
5,5,5,11,11,11,11,29,29,29,29,29,29,29,29,29,29,29,29,137,137,137,137,137,137,
137,137,137,137,137,137]]]]);
ALF("3.U3(11).3","U3(11).3",[1,1,1,2,2,2,3,4,4,4,5,5,5,6,6,6,7,7,7,8,8,8,
9,9,9,10,10,10,11,11,11,12,12,12,13,13,13,14,14,14,15,15,15,16,16,16,17,
17,17,18,18,18,19,19,19,20,20,20,21,21,21,22,22,22,23,23,23,24,24,24,25,
25,25,26,26,26,27,27,27,28,28,28,29,29,29,30,30,30,31,31,31,32,32,32,33,
33,33,34,34,34,35,35,35,36,36,36,37,37,37,38,38,38,39,39,39,40,40,40,41,
41,41,42,42,42,43,43,43,44,44,44,45,45,45,46,46,46,47,47,47,48,48,48,49,
50,51,51,51,52,52,52,53,53,53,54,54,54,55,55,55,56,56,56,57,57,57,58,58,
58,59,59,59,60,60,60,61,61,61,62,62,62,63,63,63,64,64,64,65,65,65,66,66,
66,67,67,67,68,68,68,69,69,69,70,70,70,71,71,71,72,72,72,73,73,73,74,74,
74,75,75,75,76,76,76,77,77,77,78,78,78,79,79,79,80,80,80,81,81,81,82,82,
82,83,83,83,84,84,84,85,85,85,86,86,86,87,87,87,88,88,88,89,89,89,90,90,
90,91,91,91,92,92,92,93,93,93,94,94,94,95,95,95,96,96,96,97,97,97,98,98,
98,99,99,99,100,100,100,101,101,101,102,102,102,103,103,103,104,104,104,
105,105,105,106,106,106,107,107,107,108,108,108,109,109,109,110,110,110,
111,111,111,112,112,112,113,113,113,114,114,114,115,115,115,116,116,116,
117,117,117,118,118,118,119,119,119,120,120,120,121,121,121,122,122,122,
123,123,123,124,124,124,125,125,125,126,126,126,127,127,127,128,128,128,
129,129,129,130,130,130,131,131,131,132,132,132,133,133,133,134,134,134,
135,135,135,136,136,136]);
ALF("3.U3(11).3","3.U3(11).S3",[1,2,2,3,4,4,5,6,7,8,6,8,7,9,10,10,11,12,
12,13,14,14,15,16,16,17,18,19,17,19,18,20,21,21,22,23,23,24,25,25,26,27,
27,28,29,30,28,30,29,31,32,32,33,34,34,35,36,37,35,37,36,38,39,40,38,40,
39,41,42,42,43,44,45,43,45,44,46,47,48,46,48,47,49,50,51,49,51,50,52,53,
54,52,54,53,55,56,57,55,57,56,58,59,60,58,60,59,61,62,63,61,63,62,64,65,
66,64,66,65,67,68,69,67,69,68,70,71,72,70,72,71,73,74,75,73,75,74,76,77,
78,76,77,78,79,79,80,81,82,80,81,82,83,84,85,83,84,85,86,87,88,89,90,91,
89,90,91,86,87,88,92,93,94,92,93,94,95,96,97,98,99,100,98,99,100,95,96,97,
101,102,103,104,105,106,104,105,106,101,102,103,107,108,109,107,108,109,
110,111,112,110,111,112,113,114,115,116,117,118,116,117,118,113,114,115,
119,120,121,119,120,121,122,123,124,122,123,124,125,126,127,125,126,127,
128,129,130,131,132,133,131,132,133,128,129,130,134,135,136,137,138,139,
137,138,139,134,135,136,140,141,142,140,141,142,143,144,145,146,147,148,
146,147,148,143,144,145,149,150,151,152,153,154,152,153,154,149,150,151,
155,156,157,158,159,160,158,159,160,155,156,157,161,162,163,164,165,166,
164,165,166,161,162,163,167,168,169,170,171,172,170,171,172,167,168,169,
173,174,175,176,177,178,176,177,178,173,174,175,179,180,181,182,183,184,
182,183,184,179,180,181,185,186,187,188,189,190,188,189,190,185,186,187,
191,192,193,194,195,196,194,195,196,191,192,193,197,198,199,200,201,202,
200,201,202,197,198,199,203,204,205,206,207,208,206,207,208,203,204,205],[
"fusion map is unique up to table autom.,\n",
"compatible with Brauer tables"
]);
MOT("Isoclinic(3.U3(11).3,1)",
[
"1st isoclinic group of the 3.U3(11).3 given in the ATLAS"
],
0,
0,
0,
[(71,77,83,89,95,101,74,80,86,92,98,104)(72,78,84,90,96,102,75,81,87,93,99,
105)(73,79,85,91,97,103,76,82,88,94,100,106)(271,283,295,307,319,331,279,291,
303,315,327,339,272,284,296,308,320,332,277,289,301,313,325,337,273,285,297,
309,321,333,278,290,302,314,326,338)(274,286,298,310,322,334,282,294,306,318,
330,342,275,287,299,311,323,335,280,292,304,316,328,340,276,288,300,312,324,
336,281,293,305,317,329,341),(2,3)(5,6)(9,10)(12,13)(15,16)(18,19)(21,22)(24,
25)(27,28)(30,31)(33,34)(36,37)(39,40)(42,43)(45,46)(48,49)(50,53)(51,55)(52,
54)(57,58)(60,61)(63,64)(66,67)(69,70)(72,73)(75,76)(78,79)(81,82)(84,85)(87,
88)(90,91)(93,94)(96,97)(99,100)(102,103)(105,106)(108,109)(111,112)(114,115)
(117,118)(120,121)(123,124)(126,127)(129,130)(132,133)(135,136)(137,140,138,
141,139,142)(143,144)(145,148,146,149,147,150)(151,154,152,155,153,156)(157,
160,158,161,159,162)(163,166,164,167,165,168)(169,172,170,173,171,174)(175,
178,176,179,177,180)(181,184,182,185,183,186)(187,190,188,191,189,192)(193,
196,194,197,195,198)(199,202,200,203,201,204)(205,208,206,209,207,210)(211,
214,212,215,213,216)(217,220,218,221,219,222)(223,226,224,227,225,228)(229,
232,230,233,231,234)(235,238,236,239,237,240)(241,244,242,245,243,246)(247,
250,248,251,249,252)(253,256,254,257,255,258)(259,262,260,263,261,264)(265,
268,266,269,267,270)(271,274,272,275,273,276)(277,280,278,281,279,282)(283,
286,284,287,285,288)(289,292,290,293,291,294)(295,298,296,299,297,300)(301,
304,302,305,303,306)(307,310,308,311,309,312)(313,316,314,317,315,318)(319,
322,320,323,321,324)(325,328,326,329,327,330)(331,334,332,335,333,336)(337,
340,338,341,339,342)(343,346,344,347,345,348)(349,352,350,353,351,354)(355,
358,356,359,357,360)(361,364,362,365,363,366)(367,370,368,371,369,372)(373,
376,374,377,375,378)(379,382,380,383,381,384)(385,388,386,389,387,390)(391,
394,392,395,393,396)(397,400,398,401,399,402),(17,20)(18,21)(19,22)(32,35)(33,
36)(34,37)(56,62)(57,63)(58,64)(59,65)(60,66)(61,67)(107,113,119,125)(108,114,
120,126)(109,115,121,127)(110,116,122,128)(111,117,123,129)(112,118,124,130)
(199,205)(200,206)(201,207)(202,208)(203,209)(204,210)(223,229)(224,230)(225,
231)(226,232)(227,233)(228,234)(241,253)(242,254)(243,255)(244,256)(245,257)
(246,258)(247,259)(248,260)(249,261)(250,262)(251,263)(252,264)(343,355,367,
379)(344,356,368,380)(345,357,369,381)(346,358,370,382)(347,359,371,383)(348,
360,372,384)(349,361,373,385)(350,362,374,386)(351,363,375,387)(352,364,376,
388)(353,365,377,389)(354,366,378,390),(137,138,139)(140,141,142)(145,146,147)
(148,149,150)(151,152,153)(154,155,156)(157,158,159)(160,161,162)(163,164,165)
(166,167,168)(169,170,171)(172,173,174)(175,176,177)(178,179,180)(181,182,183)
(184,185,186)(187,188,189)(190,191,192)(193,194,195)(196,197,198)(199,200,201)
(202,203,204)(205,206,207)(208,209,210)(211,212,213)(214,215,216)(217,218,219)
(220,221,222)(223,224,225)(226,227,228)(229,230,231)(232,233,234)(235,236,237)
(238,239,240)(241,242,243)(244,245,246)(247,248,249)(250,251,252)(253,254,255)
(256,257,258)(259,260,261)(262,263,264)(265,266,267)(268,269,270)(343,344,345)
(346,347,348)(349,350,351)(352,353,354)(355,356,357)(358,359,360)(361,362,363)
(364,365,366)(367,368,369)(370,371,372)(373,374,375)(376,377,378)(379,380,381)
(382,383,384)(385,386,387)(388,389,390)(391,392,393)(394,395,396)(397,398,399)
(400,401,402),(8,11)(9,12)(10,13)(26,29)(27,30)(28,31)(44,47)(45,48)(46,49)
(50,53)(51,54)(52,55)(56,59)(57,60)(58,61)(62,65)(63,66)(64,67)(107,110)(108,
111)(109,112)(113,116)(114,117)(115,118)(119,122)(120,123)(121,124)(125,128)
(126,129)(127,130)(131,134)(132,135)(133,136)(157,163)(158,164)(159,165)(160,
166)(161,167)(162,168)(175,181)(176,182)(177,183)(178,184)(179,185)(180,186)
(187,193)(188,194)(189,195)(190,196)(191,197)(192,198)(211,217)(212,218)(213,
219)(214,220)(215,221)(216,222)(241,247)(242,248)(243,249)(244,250)(245,251)
(246,252)(253,259)(254,260)(255,261)(256,262)(257,263)(258,264)(343,349)(344,
350)(345,351)(346,352)(347,353)(348,354)(355,361)(356,362)(357,363)(358,364)
(359,365)(360,366)(367,373)(368,374)(369,375)(370,376)(371,377)(372,378)(379,
385)(380,386)(381,387)(382,388)(383,389)(384,390)(391,397)(392,398)(393,399)
(394,400)(395,401)(396,402)],
["ConstructIsoclinic",[["3.U3(11).3"]],rec(k:=1)]);
ALF("Isoclinic(3.U3(11).3,1)","U3(11).3",[1,1,1,2,2,2,3,4,4,4,5,5,5,6,6,6,
7,7,7,8,8,8,9,9,9,10,10,10,11,11,11,12,12,12,13,13,13,14,14,14,15,15,15,
16,16,16,17,17,17,18,18,18,19,19,19,20,20,20,21,21,21,22,22,22,23,23,23,
24,24,24,25,25,25,26,26,26,27,27,27,28,28,28,29,29,29,30,30,30,31,31,31,
32,32,32,33,33,33,34,34,34,35,35,35,36,36,36,37,37,37,38,38,38,39,39,39,
40,40,40,41,41,41,42,42,42,43,43,43,44,44,44,45,45,45,46,46,46,47,47,47,
48,48,48,49,50,51,51,51,52,52,52,53,53,53,54,54,54,55,55,55,56,56,56,57,
57,57,58,58,58,59,59,59,60,60,60,61,61,61,62,62,62,63,63,63,64,64,64,65,
65,65,66,66,66,67,67,67,68,68,68,69,69,69,70,70,70,71,71,71,72,72,72,73,
73,73,74,74,74,75,75,75,76,76,76,77,77,77,78,78,78,79,79,79,80,80,80,81,
81,81,82,82,82,83,83,83,84,84,84,85,85,85,86,86,86,87,87,87,88,88,88,89,
89,89,90,90,90,91,91,91,92,92,92,93,93,93,94,94,94,95,95,95,96,96,96,97,
97,97,98,98,98,99,99,99,100,100,100,101,101,101,102,102,102,103,103,103,
104,104,104,105,105,105,106,106,106,107,107,107,108,108,108,109,109,109,
110,110,110,111,111,111,112,112,112,113,113,113,114,114,114,115,115,115,
116,116,116,117,117,117,118,118,118,119,119,119,120,120,120,121,121,121,
122,122,122,123,123,123,124,124,124,125,125,125,126,126,126,127,127,127,
128,128,128,129,129,129,130,130,130,131,131,131,132,132,132,133,133,133,
134,134,134,135,135,135,136,136,136]);
MOT("Isoclinic(3.U3(11).3,2)",
[
"2nd isoclinic group of the 3.U3(11).3 given in the ATLAS"
],
0,
0,
0,
[(71,77,83,89,95,101,74,80,86,92,98,104)(72,78,84,90,96,102,75,81,87,93,99,
105)(73,79,85,91,97,103,76,82,88,94,100,106)(271,283,295,307,319,331,279,291,
303,315,327,339,272,284,296,308,320,332,277,289,301,313,325,337,273,285,297,
309,321,333,278,290,302,314,326,338)(274,286,298,310,322,334,282,294,306,318,
330,342,275,287,299,311,323,335,280,292,304,316,328,340,276,288,300,312,324,
336,281,293,305,317,329,341),(2,3)(5,6)(9,10)(12,13)(15,16)(18,19)(21,22)(24,
25)(27,28)(30,31)(33,34)(36,37)(39,40)(42,43)(45,46)(48,49)(50,53)(51,55)(52,
54)(57,58)(60,61)(63,64)(66,67)(69,70)(72,73)(75,76)(78,79)(81,82)(84,85)(87,
88)(90,91)(93,94)(96,97)(99,100)(102,103)(105,106)(108,109)(111,112)(114,115)
(117,118)(120,121)(123,124)(126,127)(129,130)(132,133)(135,136)(137,140,139,
142,138,141)(143,144)(145,148,147,150,146,149)(151,154,153,156,152,155)(157,
160,159,162,158,161)(163,166,165,168,164,167)(169,172,171,174,170,173)(175,
178,177,180,176,179)(181,184,183,186,182,185)(187,190,189,192,188,191)(193,
196,195,198,194,197)(199,202,201,204,200,203)(205,208,207,210,206,209)(211,
214,213,216,212,215)(217,220,219,222,218,221)(223,226,225,228,224,227)(229,
232,231,234,230,233)(235,238,237,240,236,239)(241,244,243,246,242,245)(247,
250,249,252,248,251)(253,256,255,258,254,257)(259,262,261,264,260,263)(265,
268,267,270,266,269)(271,274,273,276,272,275)(277,280,279,282,278,281)(283,
286,285,288,284,287)(289,292,291,294,290,293)(295,298,297,300,296,299)(301,
304,303,306,302,305)(307,310,309,312,308,311)(313,316,315,318,314,317)(319,
322,321,324,320,323)(325,328,327,330,326,329)(331,334,333,336,332,335)(337,
340,339,342,338,341)(343,346,345,348,344,347)(349,352,351,354,350,353)(355,
358,357,360,356,359)(361,364,363,366,362,365)(367,370,369,372,368,371)(373,
376,375,378,374,377)(379,382,381,384,380,383)(385,388,387,390,386,389)(391,
394,393,396,392,395)(397,400,399,402,398,401),(17,20)(18,21)(19,22)(32,35)(33,
36)(34,37)(56,62)(57,63)(58,64)(59,65)(60,66)(61,67)(107,113,119,125)(108,114,
120,126)(109,115,121,127)(110,116,122,128)(111,117,123,129)(112,118,124,130)
(199,205)(200,206)(201,207)(202,208)(203,209)(204,210)(223,229)(224,230)(225,
231)(226,232)(227,233)(228,234)(241,253)(242,254)(243,255)(244,256)(245,257)
(246,258)(247,259)(248,260)(249,261)(250,262)(251,263)(252,264)(343,355,367,
379)(344,356,368,380)(345,357,369,381)(346,358,370,382)(347,359,371,383)(348,
360,372,384)(349,361,373,385)(350,362,374,386)(351,363,375,387)(352,364,376,
388)(353,365,377,389)(354,366,378,390),(137,138,139)(140,141,142)(145,146,147)
(148,149,150)(151,152,153)(154,155,156)(157,158,159)(160,161,162)(163,164,165)
(166,167,168)(169,170,171)(172,173,174)(175,176,177)(178,179,180)(181,182,183)
(184,185,186)(187,188,189)(190,191,192)(193,194,195)(196,197,198)(199,200,201)
(202,203,204)(205,206,207)(208,209,210)(211,212,213)(214,215,216)(217,218,219)
(220,221,222)(223,224,225)(226,227,228)(229,230,231)(232,233,234)(235,236,237)
(238,239,240)(241,242,243)(244,245,246)(247,248,249)(250,251,252)(253,254,255)
(256,257,258)(259,260,261)(262,263,264)(265,266,267)(268,269,270)(343,344,345)
(346,347,348)(349,350,351)(352,353,354)(355,356,357)(358,359,360)(361,362,363)
(364,365,366)(367,368,369)(370,371,372)(373,374,375)(376,377,378)(379,380,381)
(382,383,384)(385,386,387)(388,389,390)(391,392,393)(394,395,396)(397,398,399)
(400,401,402),(8,11)(9,12)(10,13)(26,29)(27,30)(28,31)(44,47)(45,48)(46,49)
(50,53)(51,54)(52,55)(56,59)(57,60)(58,61)(62,65)(63,66)(64,67)(107,110)(108,
111)(109,112)(113,116)(114,117)(115,118)(119,122)(120,123)(121,124)(125,128)
(126,129)(127,130)(131,134)(132,135)(133,136)(157,163)(158,164)(159,165)(160,
166)(161,167)(162,168)(175,181)(176,182)(177,183)(178,184)(179,185)(180,186)
(187,193)(188,194)(189,195)(190,196)(191,197)(192,198)(211,217)(212,218)(213,
219)(214,220)(215,221)(216,222)(241,247)(242,248)(243,249)(244,250)(245,251)
(246,252)(253,259)(254,260)(255,261)(256,262)(257,263)(258,264)(343,349)(344,
350)(345,351)(346,352)(347,353)(348,354)(355,361)(356,362)(357,363)(358,364)
(359,365)(360,366)(367,373)(368,374)(369,375)(370,376)(371,377)(372,378)(379,
385)(380,386)(381,387)(382,388)(383,389)(384,390)(391,397)(392,398)(393,399)
(394,400)(395,401)(396,402)],
["ConstructIsoclinic",[["3.U3(11).3"]],rec(k:=2)]);
ALF("Isoclinic(3.U3(11).3,2)","U3(11).3",[1,1,1,2,2,2,3,4,4,4,5,5,5,6,6,6,
7,7,7,8,8,8,9,9,9,10,10,10,11,11,11,12,12,12,13,13,13,14,14,14,15,15,15,
16,16,16,17,17,17,18,18,18,19,19,19,20,20,20,21,21,21,22,22,22,23,23,23,
24,24,24,25,25,25,26,26,26,27,27,27,28,28,28,29,29,29,30,30,30,31,31,31,
32,32,32,33,33,33,34,34,34,35,35,35,36,36,36,37,37,37,38,38,38,39,39,39,
40,40,40,41,41,41,42,42,42,43,43,43,44,44,44,45,45,45,46,46,46,47,47,47,
48,48,48,49,50,51,51,51,52,52,52,53,53,53,54,54,54,55,55,55,56,56,56,57,
57,57,58,58,58,59,59,59,60,60,60,61,61,61,62,62,62,63,63,63,64,64,64,65,
65,65,66,66,66,67,67,67,68,68,68,69,69,69,70,70,70,71,71,71,72,72,72,73,
73,73,74,74,74,75,75,75,76,76,76,77,77,77,78,78,78,79,79,79,80,80,80,81,
81,81,82,82,82,83,83,83,84,84,84,85,85,85,86,86,86,87,87,87,88,88,88,89,
89,89,90,90,90,91,91,91,92,92,92,93,93,93,94,94,94,95,95,95,96,96,96,97,
97,97,98,98,98,99,99,99,100,100,100,101,101,101,102,102,102,103,103,103,
104,104,104,105,105,105,106,106,106,107,107,107,108,108,108,109,109,109,
110,110,110,111,111,111,112,112,112,113,113,113,114,114,114,115,115,115,
116,116,116,117,117,117,118,118,118,119,119,119,120,120,120,121,121,121,
122,122,122,123,123,123,124,124,124,125,125,125,126,126,126,127,127,127,
128,128,128,129,129,129,130,130,130,131,131,131,132,132,132,133,133,133,
134,134,134,135,135,135,136,136,136]);
MOT("3.U3(11).S3",
[
"origin: ATLAS of finite groups"
],
[1276482240,638241120,95040,47520,864,47520,47520,47520,864,432,720,360,720,
360,864,432,360,360,360,720,360,720,360,95832,47916,726,363,432,432,432,864,
432,864,432,360,360,360,360,360,360,792,396,333,333,333,333,333,333,333,333,
333,333,333,333,333,333,333,333,333,333,360,360,360,360,360,360,360,360,360,
360,360,360,396,396,396,47520,47520,47520,333,47520,47520,47520,432,432,432,
47520,47520,47520,47520,47520,47520,432,432,432,432,432,432,432,432,432,432,
432,432,432,432,432,360,360,360,360,360,360,360,360,360,360,360,360,360,360,
360,360,360,360,396,396,396,360,360,360,360,360,360,360,360,360,360,360,360,
396,396,396,333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,
333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,
333,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,
360,360,360,360,360,360,396,396,396,396,396,396,2640,2640,24,24,20,20,24,20,20
,22,24,24,44,44],
[,[1,2,1,2,5,3,4,4,3,4,13,14,11,12,5,5,6,8,7,13,14,11,12,24,25,26,27,15,16,16,
15,16,15,16,22,23,23,20,21,21,24,25,46,48,47,49,51,50,52,54,53,55,57,56,58,60,
59,43,44,45,38,40,39,35,37,36,38,40,39,35,37,36,41,42,42,76,77,78,79,76,77,78,
76,77,78,80,81,82,80,81,82,80,81,82,83,84,85,83,84,85,83,84,85,83,84,85,110,
111,112,107,108,109,89,90,91,86,87,88,110,111,112,107,108,109,125,126,127,122,
123,124,122,123,124,119,120,121,119,120,121,125,126,127,154,152,153,151,149,
150,160,158,159,157,155,156,166,164,165,163,161,162,172,170,171,169,167,168,
178,176,177,175,173,174,144,145,143,147,148,146,137,138,139,134,135,136,131,
132,133,128,129,130,137,138,139,134,135,136,131,132,133,128,129,130,140,141,
142,140,141,142,1,3,5,9,13,11,15,22,20,26,33,31,41,41],[1,1,3,3,1,6,6,6,9,9,13
,13,11,11,3,3,17,17,17,22,22,20,20,24,24,26,26,6,6,6,9,9,9,9,38,38,38,35,35,35
,41,41,49,49,49,52,52,52,55,55,55,58,58,58,43,43,43,46,46,46,64,64,64,67,67,67
,70,70,70,61,61,61,73,73,73,1,1,1,2,3,3,3,3,3,3,6,6,6,6,6,6,9,9,9,6,6,6,6,6,6,
9,9,9,9,9,9,13,13,13,11,11,11,17,17,17,17,17,17,22,22,22,20,20,20,24,24,24,38,
38,38,38,38,38,35,35,35,35,35,35,41,41,41,50,50,50,51,51,51,53,53,53,54,54,54,
56,56,56,57,57,57,59,59,59,60,60,60,45,45,45,44,44,44,48,48,48,47,47,47,64,64,
64,64,64,64,67,67,67,67,67,67,70,70,70,70,70,70,61,61,61,61,61,61,73,73,73,73,
73,73,209,210,209,212,214,213,210,217,216,218,212,212,221,222],,[1,2,3,4,5,6,8
,7,9,10,1,2,1,2,15,16,17,19,18,3,4,3,4,24,25,26,27,28,30,29,33,34,31,32,6,8,7,
6,8,7,41,42,58,59,60,43,45,44,46,48,47,49,51,50,52,54,53,55,57,56,17,19,18,17,
19,18,17,19,18,17,19,18,73,75,74,76,77,78,79,80,81,82,83,84,85,89,90,91,86,87,
88,92,93,94,98,99,100,95,96,97,104,105,106,101,102,103,76,77,78,76,77,78,116,
117,118,113,114,115,80,81,82,80,81,82,125,126,127,89,90,91,86,87,88,89,90,91,
86,87,88,140,141,142,174,175,173,177,178,176,146,147,148,143,144,145,152,153,
154,149,150,151,158,159,160,155,156,157,164,165,166,161,162,163,170,171,172,
167,168,169,116,117,118,113,114,115,116,117,118,113,114,115,116,117,118,113,
114,115,116,117,118,113,114,115,206,207,208,203,204,205,209,210,211,212,209,
209,215,210,210,218,220,219,221,222],,,,,,[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15
,16,17,18,19,20,21,22,23,1,2,1,2,28,29,30,31,32,33,34,35,36,37,38,39,40,3,4,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,6,7,8,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96
,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,
117,118,119,120,121,122,123,124,76,77,78,128,129,130,131,132,133,134,135,136,
137,138,139,80,81,82,143,144,145,146,147,148,149,150,151,152,153,154,155,156,
157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,
176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,
195,196,197,198,199,200,201,202,86,87,88,89,90,91,209,210,211,212,213,214,215,
216,217,209,219,220,210,210],,,,,,,,,,,,,,,,,,,,,,,,,,[1,2,3,4,5,6,7,8,9,10,13
,14,11,12,15,16,17,18,19,22,23,20,21,24,25,26,27,28,29,30,31,32,33,34,38,39,40
,35,36,37,41,42,1,2,2,1,2,2,1,2,2,1,2,2,1,2,2,1,2,2,64,65,66,67,68,69,70,71,72
,61,62,63,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,110,111,112,107,108,109,113,114,115,
116,117,118,122,123,124,119,120,121,125,126,127,134,135,136,137,138,139,128,
129,130,131,132,133,140,141,142,79,79,79,79,79,79,79,79,79,79,79,79,79,79,79,
79,79,79,79,79,79,79,79,79,79,79,79,79,79,79,79,79,79,79,79,79,185,186,187,188
,189,190,191,192,193,194,195,196,197,198,199,200,201,202,179,180,181,182,183,
184,203,204,205,206,207,208,209,210,211,212,214,213,215,217,216,218,219,220,
221,222]],
0,
[(221,222),(76,77,78)(80,81,82)(83,84,85)(86,87,88)(89,90,91)(92,93,94)(95,96,
97)(98,99,100)(101,102,103)(104,105,106)(107,108,109)(110,111,112)(113,114,
115)(116,117,118)(119,120,121)(122,123,124)(125,126,127)(128,129,130)(131,132,
133)(134,135,136)(137,138,139)(140,141,142)(179,180,181)(182,183,184)(185,186,
187)(188,189,190)(191,192,193)(194,195,196)(197,198,199)(200,201,202)(203,204,
205)(206,207,208),(61,67)(62,68)(63,69)(64,70)(65,71)(66,72)(179,191)(180,192)
(181,193)(182,194)(183,195)(184,196)(185,197)(186,198)(187,199)(188,200)(189,
201)(190,202),(11,13)(12,14)(20,22)(21,23)(35,38)(36,39)(37,40)(61,64,67,70)
(62,65,68,71)(63,66,69,72)(107,110)(108,111)(109,112)(119,122)(120,123)(121,
124)(128,134)(129,135)(130,136)(131,137)(132,138)(133,139)(179,185,191,197)
(180,186,192,198)(181,187,193,199)(182,188,194,200)(183,189,195,201)(184,190,
196,202)(213,214)(216,217),(7,8)(18,19)(29,30)(31,33)(32,34)(36,37)(39,40)(62,
63)(65,66)(68,69)(71,72)(74,75)(86,89)(87,90)(88,91)(95,98)(96,99)(97,100)
(101,104)(102,105)(103,106)(113,116)(114,117)(115,118)(128,131)(129,132)(130,
133)(134,137)(135,138)(136,139)(179,182)(180,183)(181,184)(185,188)(186,189)
(187,190)(191,194)(192,195)(193,196)(197,200)(198,201)(199,202)(203,206)(204,
207)(205,208)(219,220),(143,144,145)(146,147,148)(149,150,151)(152,153,154)
(155,156,157)(158,159,160)(161,162,163)(164,165,166)(167,168,169)(170,171,172)
(173,174,175)(176,177,178),(44,45)(47,48)(50,51)(53,54)(56,57)(59,60)(143,146)
(144,147)(145,148)(149,152)(150,153)(151,154)(155,158)(156,159)(157,160)(161,
164)(162,165)(163,166)(167,170)(168,171)(169,172)(173,176)(174,177)(175,178),
(43,46,49,52,55,58)(44,47,50,53,56,59,45,48,51,54,57,60)(143,149,155,161,167,
173,148,154,160,166,172,178,144,150,156,162,168,174,146,152,158,164,170,176,
145,151,157,163,169,175,147,153,159,165,171,177)],
["ConstructGS3","3.U3(11).2","3.U3(11).3",[8,9,50],[[2,3],[5,6],[8,9],[10,13],
[12,14],[11,15],[18,19],[21,22],[24,25],[27,28],[29,32],[31,33],[30,34],[36,
37],[38,41],[40,42],[39,43],[45,46],[47,50],[49,51],[48,52],[54,55],[57,58],
[60,61],[63,64],[65,68],[67,69],[66,70],[71,74],[73,75],[72,76],[77,80],[79,
81],[78,82],[83,86],[85,87],[84,88],[89,92],[91,93],[90,94],[95,98],[97,99],
[96,100],[101,104],[103,105],[102,106],[107,110],[109,111],[108,112],[113,
116],[115,117],[114,118],[119,122],[121,123],[120,124],[125,128],[127,129],
[126,130],[131,134],[133,135],[132,136],[137,140],[139,141],[138,142],[143,
146],[145,147],[144,148],[152,155],[154,156],[153,157],[149,158],[151,159],
[150,160],[163,166],[165,167],[164,168],[169,172],[171,173],[170,174],[178,
181],[180,182],[179,183],[175,184],[177,185],[176,186],[190,193],[192,194],
[191,195],[187,196],[189,197],[188,198],[199,202],[201,203],[200,204],[205,
208],[207,209],[206,210],[214,217],[216,218],[215,219],[211,220],[213,221],
[212,222],[226,229],[228,230],[227,231],[223,232],[225,233],[224,234],[235,
238],[237,239],[236,240],[241,244],[243,245],[242,246],[247,250],[249,251],
[248,252],[253,256],[255,257],[254,258],[262,265],[264,266],[263,267],[259,
268],[261,269],[260,270],[274,277],[276,278],[275,279],[271,280],[273,281],
[272,282],[286,289],[288,290],[287,291],[283,292],[285,293],[284,294],[298,
301],[300,302],[299,303],[295,304],[297,305],[296,306],[310,313],[312,314],
[311,315],[307,316],[309,317],[308,318],[322,325],[324,326],[323,327],[319,
328],[321,329],[320,330],[334,337],[336,338],[335,339],[331,340],[333,341],
[332,342],[346,349],[348,350],[347,351],[343,352],[345,353],[344,354],[358,
361],[360,362],[359,363],[355,364],[357,365],[356,366],[370,373],[372,374],
[371,375],[367,376],[369,377],[368,378],[382,385],[384,386],[383,387],[379,
388],[381,389],[380,390],[394,397],[396,398],[395,399],[391,400],[393,401],
[392,402]],[[1,1],[4,3],[7,5],[17,11],[20,13],[23,15],[26,17],[35,20],[44,23],
[53,26],[56,28],[59,30],[62,32]],(1,13,26,47,72,101,130,152,175,203,15,29,54,
80,106,128,151,179,208,22,39,65,90,120,147,171,195,219,48,74,96,123,150,180,
210,25,44,69,95,121,146,169,197)(2,14,27,50,75,98,124,149,178,200,5,6,9,11,20,
34,58,82,107,136,158,181,209,24,40,64,88,110,133,161,190,212,31,55,79,104,127,
155,184,206,19,35,60,86,109,137,166,188,211,30,56,81,108,138,168,198)(3,102,
132,162,192,222,52,76,97,122,148,170,193,221,51,77,103,131,160,182,205,18,33,
59,84,114,141,165,189,213,36,62,87,111,135,159,183,207,21,38,63,89,118,143,
172,194,217,45,71,99,126,156,186,216,43,67,91,119,145,173,202,8,12,23,41,66,
92,115,140,163,191,220,49,73,100,125,154,176,199,4)(7,10,17,32,57,83,112,134,
157,185,214,37,61,85,113,139,167,196,218,46,70,94,116,142,164,187,215,42,68,
93,117,144,174,204,16,28,53,78,105,129,153,177,201)]);
ALF("3.U3(11).S3","U3(11).S3",[1,1,2,2,3,4,4,4,5,5,6,6,7,7,8,8,9,9,9,10,10,
11,11,12,12,13,13,14,14,14,15,15,16,16,17,17,17,18,18,18,19,19,20,20,20,
21,21,21,22,22,22,23,23,23,24,24,24,25,25,25,26,26,26,27,27,27,28,28,28,
29,29,29,30,30,30,31,31,31,32,33,33,33,34,34,34,35,35,35,36,36,36,37,37,
37,38,38,38,39,39,39,40,40,40,41,41,41,42,42,42,43,43,43,44,44,44,45,45,
45,46,46,46,47,47,47,48,48,48,49,49,49,50,50,50,51,51,51,52,52,52,53,53,
53,54,54,54,55,55,55,56,56,56,57,57,57,58,58,58,59,59,59,60,60,60,61,61,
61,62,62,62,63,63,63,64,64,64,65,65,65,66,66,66,67,67,67,68,68,68,69,69,
69,70,70,70,71,71,71,72,72,72,73,73,73,74,74,74,75,75,75,76,77,78,79,80,
81,82,83,84,85,86,87,88,89]);
MOT("U3(11)",
[
"origin: ATLAS of finite groups, tests: 1.o.r., pow[2,3,5,11,37]"
],
[70915680,5280,144,5280,5280,48,40,40,48,40,40,40,40,5324,121,121,121,48,48,
48,48,40,40,40,40,44,37,37,37,37,37,37,37,37,37,37,37,37,40,40,40,40,40,40,40,
40,44,44],
[,[1,1,3,2,2,2,8,7,3,4,5,8,7,14,15,16,17,9,9,9,9,13,13,12,12,14,29,30,31,32,
33,34,35,36,37,38,28,27,24,25,22,23,24,25,22,23,26,26],[1,2,1,5,4,6,8,7,2,11,
10,13,12,14,15,16,17,5,4,6,6,25,24,23,22,26,31,32,33,34,35,36,37,38,28,27,30,
29,42,41,44,43,46,45,40,39,48,47],,[1,2,3,4,5,6,1,1,9,10,11,2,2,14,15,16,17,
18,19,21,20,4,5,4,5,26,38,37,27,28,29,30,31,32,33,34,35,36,10,11,10,11,10,11,
10,11,47,48],,,,,,[1,2,3,5,4,6,7,8,9,11,10,12,13,1,1,1,1,19,18,20,21,23,22,25,
24,2,28,27,30,29,32,31,34,33,36,35,38,37,40,39,42,41,44,43,46,45,5,
4],,,,,,,,,,,,,,,,,,,,,,,,,,[1,2,3,4,5,6,8,7,9,10,11,13,12,14,15,16,17,18,19,
20,21,24,25,22,23,26,1,1,1,1,1,1,1,1,1,1,1,1,41,42,43,44,45,46,39,40,47,48]],
[[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1],[110,-10,2,-10,-10,2,0,0,2,0,0,0,0,-11,0,0,0,2,2,2,2,0,0,
0,0,1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,1,1],[111,-9,3,11,
11,-1,1,1,3,-1,-1,1,1,-10,1,1,1,-1,-1,-1,-1,1,1,1,1,2,0,0,0,0,0,0,0,0,0,0,0,0,
-1,-1,-1,-1,-1,-1,-1,-1,0,0],[111,11,3,-1+10*E(4),-1-10*E(4),1,1,1,-1,-E(4),
E(4),1,1,-10,1,1,1,-1-2*E(4),-1+2*E(4),1,1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,
0,0,-E(4),E(4),-E(4),E(4),-E(4),E(4),-E(4),E(4),-1-E(4),-1+E(4)],
[GALOIS,[4,3]],[370,10,1,10,10,-2,0,0,1,0,0,0,0,7,7,-4,-4,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,-1,-1],[370,10,1,10,10,-2,0,0,1,0,0,0,
0,7,-4,7,-4,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,-1,
-1],[370,10,1,10,10,-2,0,0,1,0,0,0,0,7,-4,-4,7,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,-1,-1],[1110,30,3,-10,-10,2,0,0,3,0,0,0,0,21,-1,
-1,-1,-1,-1,-1,-1,0,0,0,0,-3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1],[
1110,-10,-6,10,10,2,0,0,2,0,0,0,0,21,-1,-1,-1,-2,-2,2,2,0,0,0,0,1,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1],[1110,-10,3,10,10,2,0,0,-1,0,0,0,0,21,-1,
-1,-1,1,1,E(12)^4-2*E(12)^7+E(12)^8+2*E(12)^11,E(12)^4+2*E(12)^7+E(12)^8
-2*E(12)^11,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1],
[GALOIS,[11,5]],[1110,-10,3,-10+20*E(4),-10-20*E(4),-2,0,0,-1,0,0,0,0,21,-1,
-1,-1,-1+2*E(4),-1-2*E(4),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,1-2*E(4),1+2*E(4)],
[GALOIS,[13,3]],[1221,21,-3,1,1,1,1,1,-3,-1,-1,1,1,11,0,0,0,1,1,1,1,1,1,1,1,
-1,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,-1,-1,-1,-1,-1,-1,1,1],[1221,1,-3,
-11+10*E(4),-11-10*E(4),-1,1,1,1,E(4),-E(4),1,1,11,0,0,0,1-2*E(4),1+2*E(4),-1,
-1,-1,-1,-1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,E(4),-E(4),E(4),-E(4),E(4),-E(4),
E(4),-E(4),-E(4),E(4)],
[GALOIS,[16,3]],[1331,11,-1,11,11,-1,1,1,-1,1,1,1,1,0,0,0,0,-1,-1,-1,-1,1,1,1,
1,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,1,1,1,1,1,1,1,1,0,0],[1332,-12,0,
12*E(4),-12*E(4),0,2,2,0,0,0,-2,-2,1,1,1,1,0,0,0,0,2*E(4),-2*E(4),2*E(4),
-2*E(4),-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,E(4),-E(4)],
[GALOIS,[19,3]],[1332,12,0,12,12,0,E(5)+E(5)^4,E(5)^2+E(5)^3,0,2,2,
E(5)+E(5)^4,E(5)^2+E(5)^3,1,1,1,1,0,0,0,0,E(5)+E(5)^4,E(5)+E(5)^4,
E(5)^2+E(5)^3,E(5)^2+E(5)^3,1,0,0,0,0,0,0,0,0,0,0,0,0,E(5)+E(5)^4,E(5)+E(5)^4,
E(5)^2+E(5)^3,E(5)^2+E(5)^3,E(5)+E(5)^4,E(5)+E(5)^4,E(5)^2+E(5)^3,
E(5)^2+E(5)^3,1,1],
[GALOIS,[21,2]],[1332,12,0,12,12,0,E(5)+E(5)^4,E(5)^2+E(5)^3,0,-2,-2,
E(5)+E(5)^4,E(5)^2+E(5)^3,1,1,1,1,0,0,0,0,E(5)+E(5)^4,E(5)+E(5)^4,
E(5)^2+E(5)^3,E(5)^2+E(5)^3,1,0,0,0,0,0,0,0,0,0,0,0,0,-E(5)-E(5)^4,
-E(5)-E(5)^4,-E(5)^2-E(5)^3,-E(5)^2-E(5)^3,-E(5)-E(5)^4,-E(5)-E(5)^4,
-E(5)^2-E(5)^3,-E(5)^2-E(5)^3,1,1],
[GALOIS,[23,2]],[1332,12,0,-12,-12,0,E(5)+E(5)^4,E(5)^2+E(5)^3,0,2*E(4),
-2*E(4),E(5)+E(5)^4,E(5)^2+E(5)^3,1,1,1,1,0,0,0,0,-E(5)-E(5)^4,-E(5)-E(5)^4,
-E(5)^2-E(5)^3,-E(5)^2-E(5)^3,1,0,0,0,0,0,0,0,0,0,0,0,0,E(20)+E(20)^9,
-E(20)-E(20)^9,E(20)^13+E(20)^17,-E(20)^13-E(20)^17,E(20)+E(20)^9,
-E(20)-E(20)^9,E(20)^13+E(20)^17,-E(20)^13-E(20)^17,-1,-1],
[GALOIS,[25,11]],
[GALOIS,[25,13]],
[GALOIS,[25,3]],[1332,-12,0,12*E(4),-12*E(4),0,E(5)+E(5)^4,E(5)^2+E(5)^3,0,0,
0,-E(5)-E(5)^4,-E(5)^2-E(5)^3,1,1,1,1,0,0,0,0,E(20)+E(20)^9,-E(20)-E(20)^9,
E(20)^13+E(20)^17,-E(20)^13-E(20)^17,-1,0,0,0,0,0,0,0,0,0,0,0,0,
-E(40)^13+E(40)^37,E(40)^7-E(40)^23,E(40)^21-E(40)^29,E(40)^31-E(40)^39,
E(40)^13-E(40)^37,-E(40)^7+E(40)^23,-E(40)^21+E(40)^29,-E(40)^31+E(40)^39,
E(4),-E(4)],
[GALOIS,[29,11]],
[GALOIS,[29,13]],
[GALOIS,[29,23]],
[GALOIS,[29,9]],
[GALOIS,[29,19]],
[GALOIS,[29,33]],
[GALOIS,[29,3]],[1440,0,0,0,0,0,0,0,0,0,0,0,0,-12,-1,-1,-1,0,0,0,0,0,0,0,0,0,
-E(37)-E(37)^10-E(37)^26,-E(37)^11-E(37)^27-E(37)^36,-E(37)^2-E(37)^15
-E(37)^20,-E(37)^17-E(37)^22-E(37)^35,-E(37)^3-E(37)^4-E(37)^30,
-E(37)^7-E(37)^33-E(37)^34,-E(37)^6-E(37)^8-E(37)^23,-E(37)^14-E(37)^29
-E(37)^31,-E(37)^9-E(37)^12-E(37)^16,-E(37)^21-E(37)^25-E(37)^28,
-E(37)^18-E(37)^24-E(37)^32,-E(37)^5-E(37)^13-E(37)^19,0,0,0,0,0,0,0,0,0,0],
[GALOIS,[37,11]],
[GALOIS,[37,5]],
[GALOIS,[37,18]],
[GALOIS,[37,21]],
[GALOIS,[37,9]],
[GALOIS,[37,14]],
[GALOIS,[37,6]],
[GALOIS,[37,7]],
[GALOIS,[37,3]],
[GALOIS,[37,17]],
[GALOIS,[37,2]]],
[(39,43)(40,44)(41,45)(42,46),(27,29,31,33,35,37,28,30,32,34,36,38),(20,21),
(15,17),(15,16),(16,17),( 7, 8)(12,13)(22,24)(23,25)(39,45,43,41)
(40,46,44,42),( 4, 5)(10,11)(18,19)(22,23)(24,25)(39,40)(41,42)(43,44)(45,46)
(47,48),( 4, 5)(10,11)(18,19)(20,21)(22,23)(24,25)(39,40)(41,42)(43,44)(45,46)
(47,48),( 4, 5)(10,11)(18,19)(20,21)(22,23)(24,25)(39,44)(40,43)(41,46)(42,45)
(47,48),(27,28)(29,30)(31,32)(33,34)(35,36)(37,38),(27,38,36,34,32,30,28,37,
35,33,31,29)]);
ARC("U3(11)","CAS",[rec(name:="u3q11",
permchars:=(10,14,13,12)(19,27,26,23,21)(20,28,25,24,22)(31,33)(32,34)
(37,47,42,38,48,41)(39,43,40,44)(45,46),
permclasses:=(10,11)(18,21,19,20)(23,24,25)(29,30)(31,36,37,34)(32,35,38,33)
(39,40)(41,44)(42,43)(45,46),
text:=[
" test: 1. o.r., sym 2 decompose correctly \n",
""])]);
ARC("U3(11)","projectives",["3.U3(11)",[[111,-9,0,-9,-9,3,1,1,0,1,1,1,1,-10,1,
1,1,0,0,0,0,1,1,1,1,2,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,2,2],[111,-9,0,
11,11,-1,1,1,0,-1,-1,1,1,-10,1,1,1,2,2,2,2,1,1,1,1,2,0,0,0,0,0,0,0,0,0,0,0,0,
--> --------------------
--> maximum size reached
--> --------------------
[ Dauer der Verarbeitung: 0.34 Sekunden
(vorverarbeitet)
]
|
