1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
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
|
#############################################################################
##
#W ctbmaxi5.tbl GAP table library Thomas Breuer
##
## This file contains the Brauer character tables for which the ordinary
## tables are stored in the file `ctomaxi5.tbl'.
##
TEXT1:= "origin: modular ATLAS of finite groups, tests: DEC, TENS";
MBT("(2^(1+8)x2^6):S6(2)",3,
"computed by Gerhard Hiss using MOC in 2018",
[1,1,1,1,2,1,1,1,1,1,3,3,2,1,4,5,5,6,7,8,5,9,5,5,6,10,10,11,11,5,12,18,17,14,
16,15,13,19,20,21,5,22,22,23,24,25,26,26,27,27,26,26,27,27,26,27,25,24,32,35,
36,28,29,37,38,39,40,37,38,39,40,41,42,41,42,43,44,45,46,47,48,49,50,30,51,31,
52,53,53,54,54,55,56,55,56,33,57,58,34,59,60,61,62,63,64,65,66,67,68,69,70,71,
72,73,74,75,76,77,78,79,80,81,81,82,83,81,81,83,82,81,81,81,81,83,82,81,81,84,
84,82,83,82,83,85,86,87],
[4,1,1,0,3,1,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,1,0,1,1,2,2,0,0,0,0,0,0,0,0,0,1,1,1
,1,1,1,0,0,0,0,0,0,0,0,0,0,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,4,2,2,1,0,0,0],
[[1,2,3,4,7,8,9,13,14,23],,,,[31,32,36,39,40,47,66],,,,,,,,,,,,,,,,,,,,,[73,83
,84,85,88],[74,75,86,87,89],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
,,,[168,169,172,173,177,178,179,180,192,193],[170,175,182,194,196],[171,174,
181,195,197]],
[,[[1,3],[2,3]],2,,,2,,,,2,2,,,,,,,,,,,[[2,3],[1,3]],,2,2,,,,,,,,,,,,2,2,2,2,2
,2,,,,,,,,,,,2,2,2,2,,,,,,,,,,,,,,,,,,,,,,,,,,,,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]],,,,[
[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
],[-1,-1,0,0,0,1,0],[1,1,0,0,0,-1,1]],,,,,,,,,,,,,,,,,,,,,[[0,1,0,0,0],[1,0,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]],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
,[[1,0,0,0,0,0,0,0,0,0],[0,1,0,0,0,0,0,0,0,0],[-1,0,1,0,0,0,0,0,0,0],[0,-1,0,1
,0,0,0,0,0,0],[1,0,-1,0,0,1,0,0,0,0],[0,1,0,-1,0,0,0,1,0,0],[0,-1,0,0,1,0,0,0,
0,0],[-1,0,0,0,0,0,1,0,0,0],[1,0,-1,0,0,0,0,0,1,0],[0,1,0,-1,0,0,0,0,0,1]],[[1
,0,0,0,0],[0,1,0,0,0],[-1,0,1,0,0],[0,0,0,1,0],[0,0,0,0,1]],82],
0,
[(129,130),(14,15)(16,17)(58,59)(61,62)(79,80)(81,82)(87,88)(90,91)(132,133
)(138,139)(143,144)(145,146),(125,126)],
0);
MBT("2.F4(2)M1",3,
"computed by Gerhard Hiss using MOC in 2018",
[1,1,1,1,2,1,1,1,1,1,3,3,2,1,4,5,5,6,7,8,5,9,5,5,6,10,10,11,11,5,12,18,17,14,
16,15,13,19,20,21,5,22,22,23,24,25,26,26,27,27,26,26,27,27,26,27,25,24,32,35,
36,28,29,37,38,39,40,37,38,39,40,41,42,41,42,43,44,45,46,47,48,49,50,30,51,31,
52,53,53,54,54,55,56,55,56,33,57,58,34,59,60,61,62,63,64,65,66,67,68,69,70,71,
72,73,74,75,76,77,78,79,80,81,81,82,83,81,81,83,82,81,81,81,81,83,82,81,81,84,
84,82,83,82,83,85,86,87,88,90,89,88,88,89,90,88,91,89,90,88,88,92,92,88,93,93,
90,89,94,95,95,95,95,90,89,88,88,96,91,96,88,98,99,97,95,95,95,95,101,101,100,
100,93,93,102,103,108,107,93,106,105,109,104,111,110,112,94,112,113,114,115,
115,115,115,116,119,117,118,123,121,123,121,120,120,122,122,115,129,126,124,
128,125,127,107,108,105,106,104,109,130,132,131,102,103,135,134,133,136,138,
137,139],
[4,1,1,0,3,1,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,1,0,1,1,2,2,0,0,0,0,0,0,0,0,0,1,1,1
,1,1,1,0,0,0,0,0,0,0,0,0,0,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,4,2,2,1,0,0,0,4,2,2,1,1,2,1,4,1,0,0,0,1,1,1,1,1,1,1,1,1,1,0,0,1,0,0,2,0,0
,0,0,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[[1,2,3,4,7,8,9,13,14,23],,,,[31,32,36,39,40,47,66],,,,,,,,,,,,,,,,,,,,,[73,83
,84,85,88],[74,75,86,87,89],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
,,,[168,169,172,173,177,178,179,180,192,193],[170,175,182,194,196],[171,174,
181,195,197],,,,,[215,218,219,223,227,228,233,249,250,281],[216,220,225,234,
244],[217,221,226,236,245],,,[235,237,282,283,313],,[239,240,241,242,268,269,
271,272],,,,,,,,,,,,,,,,,,,,[314,315,316,317,339]],
[,[[1,3],[2,3]],2,,,2,,,,2,2,,,,,,,,,,,[[2,3],[1,3]],,2,2,,,,,,,,,,,,2,2,2,2,2
,2,,,,,,,,,,,2,2,2,2,,,,,,,,,,,,,,,,,,,,,,,,,,,,2,,,,,,,2,22,,2,,22,,,,2,2,2,2
,2,2,2,2,2,2,,,22,,,,,,,,22,22,2,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]],,,,[
[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
],[-1,-1,0,0,0,1,0],[1,1,0,0,0,-1,1]],,,,,,,,,,,,,,,,,,,,,[[0,1,0,0,0],[1,0,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]],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
,[[1,0,0,0,0,0,0,0,0,0],[0,1,0,0,0,0,0,0,0,0],[-1,0,1,0,0,0,0,0,0,0],[0,-1,0,1
,0,0,0,0,0,0],[1,0,-1,0,0,1,0,0,0,0],[0,1,0,-1,0,0,0,1,0,0],[0,-1,0,0,1,0,0,0,
0,0],[-1,0,0,0,0,0,1,0,0,0],[1,0,-1,0,0,0,0,0,1,0],[0,1,0,-1,0,0,0,0,0,1]],[[1
,0,0,0,0],[0,1,0,0,0],[-1,0,1,0,0],[0,0,0,1,0],[0,0,0,0,1]],82,,,,,[[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,1,0,0,0,0,0],[0,0,0,0,0,1,0,0,0,0],[0,-1,0,0,0,0,1,0,0,0],[1,0,-1,0
,0,0,0,1,0,0],[0,-1,0,0,0,0,0,0,1,0],[0,1,0,0,0,-1,-1,0,0,1]],82,82,,,[[0,1,0,
0,0],[1,0,0,0,0],[0,-1,0,1,0],[0,-1,1,0,0],[0,1,0,-1,1]],,[[0,0,0,1,0,0,0,0],[
0,1,0,0,0,0,0,0],[1,0,0,0,0,0,0,0],[0,0,1,0,0,0,0,0],[0,0,0,0,0,1,0,0],[0,0,0,
0,0,0,0,1],[0,0,0,0,0,0,1,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,0,0,1,0],[0,0,0,0,1]]],
0,
[(231,232),(220,221),(212,214)(213,215),(19,20)(21,22)(25,27)(26,28)(29,31)
(30,32)(86,87)(91,92)(94,95)(96,97)(100,102)(101,103)(106,109)(107,108)(112,
113)(114,115)(127,128)(130,131)(132,134)(133,135)(136,138)(137,139)(142,143)(
146,148)(147,149)(152,154)(153,155)(223,224)(229,230)(233,235)(234,236)(240,
241)(242,245)(243,244)(246,248)(247,249)],
0);
LIBTABLE.LOADSTATUS.ctbmaxi5:="userloaded";
#############################################################################
##
#E
|
