#############################################################################
##
#W  tms10m1.tom          GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tms10m1.tom,v 4.2 2001/07/05 07:16:54 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains the table of marks of maximal subgroups of $S10$.
##
#H  tomlib history
#H  --------------
#H  $Log: tms10m1.tom,v $
#H  Revision 4.2  2001/07/05 07:16:54  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/tms10m1.tom,v
#H  Working file: tms10m1.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:23:29;  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:21:06;  author: gap;  state: Exp;
#H  added new table of marks library files
#H  ==========================================================================
#H
Revision.tms10m1_tom :=
    "@(#)$Id: tms10m1.tom,v 4.2 2001/07/05 07:16:54 gap Exp $";

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