#############################################################################
##
#W  tms62mx3.tom         GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tms62mx3.tom,v 4.2 2001/07/05 07:19:04 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains the table of marks of the third maximal subgroup of
##  $S6(2)$
##
#H  tomlib history
#H  --------------
#H  $Log: tms62mx3.tom,v $
#H  Revision 4.2  2001/07/05 07:19:04  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/tms62mx3.tom,v
#H  Working file: tms62mx3.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:55;  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:01;  author: gap;  state: Exp;
#H  added new table of marks library files
#H  ==========================================================================
#H
Revision.tms62mx3_tom :=
    "@(#)$Id: tms62mx3.tom,v 4.2 2001/07/05 07:19:04 gap Exp $";

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