Quelle ctbmax23.tbl Sprache: unbekannt

#############################################################################
##
#W  ctbmax23.tbl                GAP table library               Thomas Breuer
##
##  This file contains the Brauer character tables for which the ordinary
##  tables are stored in the file `ctomax23.tbl'.
##

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

MBT("[2^20]:(S3xL3(2))",3,
"computed by Gerhard Hiss using MOC in 2018",
[1,3,2,4,1,1,3,2,4,1,6,6,5,5,7,7,8,10,9,11,13,12,15,15,14,14,16,16,23,26,25,24
,21,17,19,22,27,20,18,28,29,29,30,30,35,45,38,33,32,39,37,40,42,44,31,34,43,41
,36,46,47,47,48,48,63,62,61,58,52,57,53,59,55,60,54,50,56,51,49,64,72,68,65,66
,69,71,70,67,73,73,73,73,74,74,79,79,80,77,80,77,75,75,76,76,81,81,78,78,82,82
,91,84,90,86,93,92,87,89,88,83,94,85,97,100,115,117,101,118,99,107,105,112,96,
114,106,108,116,109,102,111,119,95,98,113,104,110,120,103,121,121,126,127,130,
129,131,125,128,124,123,122,132,133,134,134,134,134,139,137,139,137,136,140,
135,138,136,140,135,138,142,142,141,141,153,143,156,152,157,155,145,148,144,
149,151,154,147,146,158,150,159,159,159,159,164,177,170,172,171,160,176,163,
162,166,161,168,175,169,165,174,167,173,178,180,179,182,181,184,183,190,190,
187,187,191,191,188,188,185,185,192,192,189,189,186,186,194,193,196,196,195,
195,180,179,203,199,206,204,200,201,210,197,205,211,198,209,207,212,208,202,
230,220,224,216,215,225,222,229,217,227,221,226,228,219,231,213,223,232,214,
218,234,234,233,233],
[2,1,1,1,1,1,1,0,0,0,0,0,0,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,2,1,1,1,1,1
,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,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,2,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,1,1,1,1,1,1,1,1,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,1,1
],
[[1,5,7,11],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
,,,,,[109..112],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,[
198..201],,,,,,,,,,,,,,,,,,,,,,,,,[247..250]],
[,[[1,3],[2,3]],2,2,2,[[2,3],[1,3]],2,,,,,,,2,6,6,,,,,,,,,,,,,2,2,,,,,,,,,,,,,
,,,,2,2,,,,,,,,,,,,,,,,[[1..3]],,,,,,,,,,6,6,2,6,2,2,2,6,2,,,,,,,,,,,,,,,,,,,,
,,,,,,,,,,,,,,,,,,,6,,,,,,,,,,,,,,2,6,2,6,2,2,2,2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
,,,,,,,,2,2,,,,,6,2,2,2,2,2,2,6,,,2,6,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,2,6]
,
[[[1,0,0,0],[0,1,0,0],[0,0,1,0],[0,0,0,1]],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,[[0,0,0,1],[0,0,1,0],[0,1,0,0],[1,0,0,0]],
,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,[[1,0,0,0],[0,1,0,
0],[0,0,0,1],[0,0,1,0]],,,,,,,,,,,,,,,,,,,,,,,,,[[0,1,0,0],[0,0,0,1],[0,0,1,0]
,[1,0,0,0]]],
0,
[(288,289),(223,224)(282,283)(284,285)(290,291),(77,78)(79,80)(81,82)(89,90
)(92,93)(95,96)(100,101)(102,103)(115,116)(117,118)(119,120)(121,122)(123,124)
(127,130)(128,129)(131,132)(133,134)(152,153)(155,156)(157,158)(159,160)(161,
162)(164,165)(179,202)(180,203)(181,182)(183,201)(193,194)(195,196)(197,198)(
204,216)(212,213)(214,215)(217,222)(218,219)(220,221)(226,227)(231,232)(242,
243)(244,245)(246,247)(254,255)(256,257)(258,273)(260,261)(267,268)(269,270)(
277,278)],
0);

MBT("2.F4(2)M5",3,
"computed by Gerhard Hiss using MOC in 2018",
[1,3,2,4,1,1,3,2,4,1,6,6,5,5,7,7,8,10,9,11,13,12,15,15,14,14,16,16,23,26,25,24
,21,17,19,22,27,20,18,28,29,29,30,30,35,45,38,33,32,39,37,40,42,44,31,34,43,41
,36,46,47,47,48,48,63,62,61,58,52,57,53,59,55,60,54,50,56,51,49,64,72,68,65,66
,69,71,70,67,73,73,73,73,74,74,79,79,80,77,80,77,75,75,76,76,81,81,78,78,82,82
,91,84,90,86,93,92,87,89,88,83,94,85,97,100,115,117,101,118,99,107,105,112,96,
114,106,108,116,109,102,111,119,95,98,113,104,110,120,103,121,121,126,127,130,
129,131,125,128,124,123,122,132,133,134,134,134,134,139,137,139,137,136,140,
135,138,136,140,135,138,142,142,141,141,153,143,156,152,157,155,145,148,144,
149,151,154,147,146,158,150,159,159,159,159,164,177,170,172,171,160,176,163,
162,166,161,168,175,169,165,174,167,173,178,180,179,182,181,184,183,190,190,
187,187,191,191,188,188,185,185,192,192,189,189,186,186,194,193,196,196,195,
195,180,179,203,199,206,204,200,201,210,197,205,211,198,209,207,212,208,202,
230,220,224,216,215,225,222,229,217,227,221,226,228,219,231,213,223,232,214,
218,234,234,233,233,236,235,237,237,237,237,238,238,241,239,242,240,246,246,
245,245,244,243,244,243,247,248,250,250,249,249,236,235,251,251,252,252,253,
254,253,254,258,256,257,255,263,263,259,262,267,264,259,262,267,264,266,266,
265,265,260,260,261,261,268,268,269,269,269,269,238,238,270,270,270,270,280,
291,279,292,290,287,274,286,289,288,273,285,294,297,293,298,295,296,278,277,
282,275,272,283,281,276,271,284,299,299,300,300,302,302,301,301,303,303,308,
309,312,311,332,331,322,321,304,305,336,310,318,330,333,323,315,334,306,329,
316,335,307,328,319,320,326,327,325,324,314,313,317,342,342,343,343,348,348,
347,347,349,349,344,344,345,345,341,341,340,340,338,338,337,337,339,346,339,
346,352,354,353,363,362,366,367,355,360,364,351,356,359,365,350,358,357,361,
368,369,369,386,385,387,384,378,373,371,375,377,372,370,374,383,380,382,379,
376,381,388,389,395,392,391,390,393,394],
[2,1,1,1,1,1,1,0,0,0,0,0,0,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,2,1,1,1,1,1
,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,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,2,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,1,1,1,1,1,1,1,1,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,1,1
,1,1,2,2,0,0,0,0,1,1,1,1,0,0,1,1,1,1,1,1,0,0,0,0,1,1,1,1,1,1,1,1,1,1,2,2,0,0,0
,0,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,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,1,1,1,1,1,1,1,1,1,1,1,1,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0],
[[1,5,7,11],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
,,,,,[109..112],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,[
198..201],,,,,,,,,,,,,,,,,,,,,,,,,[247..250],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,[361..364],[369,370,443,444],,,,,,
,,,,,,,,,,,,,,,,,,,,,,,,,[437,438,441,442],[439,440,445,446]],
[,[[1,3],[2,3]],2,2,2,[[2,3],[1,3]],2,,,,,,,2,6,6,,,,,,,,,,,,,2,2,,,,,,,,,,,,,
,,,,2,2,,,,,,,,,,,,,,,,[[1..3]],,,,,,,,,,6,6,2,6,2,2,2,6,2,,,,,,,,,,,,,,,,,,,,
,,,,,,,,,,,,,,,,,,,6,,,,,,,,,,,,,,2,6,2,6,2,2,2,2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
,,,,,,,,2,2,,,,,6,2,2,2,2,2,2,6,,,2,6,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,2,6,
2,2,,,,,,,6,2,2,2,,,6,6,6,6,2,6,,,,,2,2,2,6,6,2,2,2,6,6,,,,,,,,,,,,,,,,,,,,,,,
,,,,,,,,2,2,2,2,6,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,6,6,6,2,2,6,6,6,6,2,6,6,2,,
,,,,,,,,,,,,,,,,,,6],
[[[1,0,0,0],[0,1,0,0],[0,0,1,0],[0,0,0,1]],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,[[0,0,0,1],[0,0,1,0],[0,1,0,0],[1,0,0,0]],
,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,[[1,0,0,0],[0,1,0,
0],[0,0,0,1],[0,0,1,0]],,,,,,,,,,,,,,,,,,,,,,,,,[[0,1,0,0],[0,0,0,1],[0,0,1,0]
,[1,0,0,0]],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
,,,,,,,,,,,[[1,0,0,0],[0,0,0,1],[0,1,0,0],[0,0,1,0]],[[0,1,0,0],[1,0,0,0],[0,0
,1,0],[0,0,0,1]],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,[[0,0,1,0],[0,1,0,0],[0,0,0,1],
[1,0,0,0]],237],
0,
[(500,501),(498,499),(390,392)(391,393)(488,490)(489,491)(492,494)(493,495)
(502,505)(503,504),(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)(129,130)(133,134)(135,136)(157,158)(211,212)(213,
214)(215,216)(217,218)(219,220)(221,222)(223,224)(225,226)(227,228)(229,230)(
232,233)(250,251)(252,253)(256,257)(258,259)(266,267)(268,269)(277,278)(281,
282)(283,284)(285,286)(287,288)(289,290)(291,292)(293,294)(295,296)(297,298)(
304,305)(306,307)(313,314)(315,316)(326,327)(343,344)(345,346)(351,352)(353,
354)(355,356)(357,358)(363,364)(365,366)(378,379)(380,381)(382,383)(400,401)(
403,404)(405,406)(407,408)(415,416)(417,418)(432,433)(434,435)(436,437)(439,
440)(443,444)(445,446)(447,448)(449,450)(451,452)(453,454)(460,461)(465,466)(
471,472)(473,474)(475,476)(477,478)(479,480)(492,493)(494,495)(496,497)(502,
503)(504,505),(137,140)(138,139)(141,143)(142,144)(145,148)(146,147)(151,152)(
155,156)(161,164)(162,163)(167,169)(168,170)(173,175)(174,176)(183,185)(184,
186)(187,189)(188,190)(192,193)(194,195)(200,201)(208,209)(211,213)(212,214)(
215,217)(216,218)(219,221)(220,222)(223,225)(224,226)(227,229)(228,230)(234,
241)(235,240)(236,238)(237,239)(242,244)(243,245)(246,248)(247,249)(260,261)(
279,280)(281,282)(283,285)(284,286)(287,289)(288,290)(291,293)(292,294)(295,
297)(296,298)(300,303)(301,302)(313,314)(324,362)(325,361)(326,364)(327,363)(
328,330)(329,331)(332,359)(333,360)(343,345)(344,346)(347,349)(348,350)(351,
353)(352,354)(355,356)(357,358)(365,383)(366,382)(374,376)(375,377)(378,380)(
379,381)(384,389)(385,386)(387,388)(396,398)(397,399)(405,408)(406,407)(411,
412)(413,414)(415,416)(417,418)(424,426)(425,427)(428,430)(429,431)(432,434)(
433,435)(445,447)(446,448)(449,451)(450,452)(453,476)(454,475)(456,457)(462,
463)(467,468)(469,470)(471,472)(473,474)(479,480)(483,484)(496,497)],
0);

LIBTABLE.LOADSTATUS.ctbmax23:="userloaded";

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

Quelle ctbmax23.tbl Sprache: unbekannt

[ Dauer der Verarbeitung: 0.15 Sekunden (vorverarbeitet) ]