tmco3mx.tom

GAP源码

#############################################################################
##
#W  tmco3mx.tom         GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tmco3mx.tom,v 4.4 2003/12/16 17:29:43 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
#Y  (C) 1998 School Math and Comp. Sci., University of St.  Andrews, Scotland
##
##  This file contains tables of marks of some maximal subgroups of the 
##  group "Co3".
##
#H  tomlib history
#H  --------------
#H  $Log: tmco3mx.tom,v $
#H  Revision 4.4  2003/12/16 17:29:43  gap
#H  further problems with derived subgroups and representatives
#H      TB
#H
#H  Revision 4.3  2001/07/05 06:58:40  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/tmco3mx.tom,v
#H  Working file: tmco3mx.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.6
#H  	GAP4R1: 4.2.0.4
#H  	GAP4B5: 4.2.0.2
#H  	dec16-98b: 4.2
#H  	GAP4b4: 4.1.2.1
#H  	version-14-apr: 4.1
#H  	version-15-jun: 4.1.2.1
#H  keyword substitution: kv
#H  total revisions: 3;	selected revisions: 3
#H  description:
#H  ----------------------------
#H  revision 4.2
#H  date: 1998/07/16 14:15:36;  author: ahulpke;  state: Exp;
#H  lines: [phone]
#H  Merge.
#H  ----------------------------
#H  revision 4.1
#H  date: 1998/03/27 15:14:22;  author: gap;  state: Exp;
#H  branches:  4.1.2;
#H  added table of marks of "Co3", and tables of some maximal subgoups
#H  T.Merkwitz
#H  ----------------------------
#H  revision 4.1.2.1
#H  date: 1998/05/18 10:10:55;  author: gap;  state: Exp;  lines: [phone]
#H  fixed bug in th tables of marks of 'Co3' and some of its maximal subgroups
#H  T.Merkwitz
#H  ==========================================================================
#H
Revision.tmco3mx_tom :=
    "@(#)$Id: tmco3mx.tom,v 4.4 2003/12/16 17:29:43 gap Exp $";

SetActualLibFileName("tmco3mx");

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