tmsym1mx.tom

GAP源码

#############################################################################
##
#W  tmsym1mx.tom         GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tmsym1mx.tom,v 4.2 2001/07/05 07:19:35 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains the tables of marks of maximal subgroups of 
##  symmetric groups.
##
#H  tomlib history
#H  --------------
#H  $Log: tmsym1mx.tom,v $
#H  Revision 4.2  2001/07/05 07:19:35  gap
#H  first revision for tomlib
#H
#H
#H  tom history (GAP 4)
#H  -------------------
#H  (Rev. 4.2 of tomlib coincides with Rev. 4.1 of tom in GAP 4)
#H  
#H  RCS file: /gap/CVS/GAP/4.0/tom/tmsym1mx.tom,v
#H  Working file: tmsym1mx.tom
#H  head: 4.1
#H  branch:
#H  locks: strict
#H  access list:
#H  symbolic names:
#H  	GAP4R2: 4.1.0.10
#H  	GAP4R2PRE2: 4.1.0.8
#H  	GAP4R2PRE1: 4.1.0.2
#H  	GAP4R1: 4.1.0.6
#H  	GAP4B5: 4.1.0.4
#H  	dec16-98b: 4.1
#H  	GAP4b4: 4.1
#H  	version-14-apr: 4.1
#H  	version-15-jun: 4.1
#H  keyword substitution: kv
#H  total revisions: 2;	selected revisions: 2
#H  description:
#H  ----------------------------
#H  revision 4.1
#H  date: 1997/11/20 12:24:33;  author: gap;  state: Exp;  lines: +2 -2
#H  changed revision number to 4.1
#H  ----------------------------
#H  revision 1.1
#H  date: 1997/11/19 13:23:35;  author: gap;  state: Exp;
#H  added new table of marks library files
#H  ==========================================================================
#H
Revision.tmsym1mx_tom :=
    "@(#)$Id: tmsym1mx.tom,v 4.2 2001/07/05 07:19:35 gap Exp $";

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