tmutwmx.tom

GAP源码

#############################################################################
##
#W  tmutwmx.tom          GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tmutwmx.tom,v 4.3 2001/07/05 07:21:48 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains the tables of marks of maximal subgroups of simple
##  untwisted groups.
##
#H  tomlib history
#H  --------------
#H  $Log: tmutwmx.tom,v $
#H  Revision 4.3  2001/07/05 07:21:48  gap
#H  first revision for tomlib
#H
#H
#H  tom history (GAP 4)
#H  -------------------
#H  (Rev. 4.3 of tomlib coincides with Rev. 4.2 of tom in GAP 4)
#H  
#H  RCS file: /gap/CVS/GAP/4.0/tom/tmutwmx.tom,v
#H  Working file: tmutwmx.tom
#H  head: 4.2
#H  branch:
#H  locks: strict
#H  access list:
#H  symbolic names:
#H  	GAP4R2: 4.2.0.10
#H  	GAP4R2PRE2: 4.2.0.8
#H  	GAP4R2PRE1: 4.2.0.2
#H  	GAP4R1: 4.2.0.6
#H  	GAP4B5: 4.2.0.4
#H  	dec16-98b: 4.2
#H  	GAP4b4: 4.2
#H  	version-14-apr: 4.2
#H  	version-15-jun: 4.2
#H  keyword substitution: kv
#H  total revisions: 3;	selected revisions: 3
#H  description:
#H  ----------------------------
#H  revision 4.2
#H  date: 1997/11/24 11:16:32;  author: gap;  state: Exp;  lines: +9 -2
#H  added table of marks of "G2(4)" to the library
#H  ----------------------------
#H  revision 4.1
#H  date: 1997/11/20 12:39:59;  author: gap;  state: Exp;  lines: +2 -2
#H  changed revisio number to 4.1
#H  ----------------------------
#H  revision 1.1
#H  date: 1997/11/19 13:25:48;  author: gap;  state: Exp;
#H  added new table of marks library files
#H  ==========================================================================
#H
Revision.tmutwmx_tom :=
    "@(#)$Id: tmutwmx.tom,v 4.3 2001/07/05 07:21:48 gap Exp $";

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