tmo82mx.tom

GAP源码

#############################################################################
##
#W  tmo82mx.tom         GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tmo82mx.tom,v 1.2 2003/12/15 10:04:41 gap Exp $
##
#Y  Copyright (C)  1998,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains tables of marks of some maximal subgroups of "O8-(2)" 
##  and "O8+(2)".
##
#H  tomlib history
#H  --------------
#H  $Log: tmo82mx.tom,v $
#H  Revision 1.2  2003/12/15 10:04:41  gap
#H  ***&O_8^-(2)&:&The derived subgroup for the last class in the maximal
#H  subgroup $(S_3 \times S_3 \times A_5):2$ of $O_8^-(2)$ was corrected,
#H  it is $362$ not $368$
#H      TB
#H
#H  Revision 1.1  2003/02/26 17:33:23  gap
#H  This file had apparently been forgotten since the very beginning of
#H  GAP 4.  One explanation is that it is related to the groups in the
#H  four huge files which had been added later on, but is itself small.
#H      TB
#H
##
Revision.tmo82mx_tom :=
    "@(#)$Id: tmo82mx.tom,v 1.2 2003/12/15 10:04:41 gap Exp $";

SetActualLibFileName("tmo82mx");


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