#############################################################################
##
#W  tmsympam.tom         GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tmsympam.tom,v 4.3 2001/07/05 07:20:02 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains the table of marks of maximal subgroups of the groups
##  from file "tmsympa.tom".
##
#H  tomlib history
#H  --------------
#H  $Log: tmsympam.tom,v $
#H  Revision 4.3  2001/07/05 07:20:02  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/tmsympam.tom,v
#H  Working file: tmsympam.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
#H  	version-14-apr: 4.1
#H  	version-15-jun: 4.1
#H  keyword substitution: kv
#H  total revisions: 3;	selected revisions: 3
#H  description:
#H  ----------------------------
#H  revision 4.2
#H  date: 1998/09/12 14:19:39;  author: gap;  state: Exp;  lines: +56 -2
#H  added some more fusions to the library of table of marks
#H  T. Merkwitz
#H  ----------------------------
#H  revision 4.1
#H  date: 1997/11/20 12:25:06;  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:24:07;  author: gap;  state: Exp;
#H  added new table of marks library files
#H  ==========================================================================
#H
Revision.tmsympam_tom :=
    "@(#)$Id: tmsympam.tom,v 4.3 2001/07/05 07:20:02 gap Exp $";

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