tmhsmclm.tom

GAP源码

#############################################################################
##
#W  tmhsmclm.tom         GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tmhsmclm.tom,v 4.2 2001/07/05 07:01:06 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains the table of marks of maximal subgroups of $McL$ and
##  $HS$.
##
#H  tomlib history
#H  --------------
#H  $Log: tmhsmclm.tom,v $
#H  Revision 4.2  2001/07/05 07:01:06  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/tmhsmclm.tom,v
#H  Working file: tmhsmclm.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 11:43:25;  author: gap;  state: Exp;  lines: +2 -2
#H  changed revision number to 4.1
#H  ----------------------------
#H  revision 1.1
#H  date: 1997/11/17 13:00:06;  author: gap;  state: Exp;
#H  added new table of marks library file
#H  ==========================================================================
#H
Revision.tmhsmclm_tom :=
    "@(#)$Id: tmhsmclm.tom,v 4.2 2001/07/05 07:01:06 gap Exp $";

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