#############################################################################
##
#W  tmutwam.tom          GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tmutwam.tom,v 4.2 2001/07/05 07:21:43 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains the table of marks of maximal subgroups of groups from
##  file "tmutwa.tom").
##
#H  tomlib history
#H  --------------
#H  $Log: tmutwam.tom,v $
#H  Revision 4.2  2001/07/05 07:21:43  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/tmutwam.tom,v
#H  Working file: tmutwam.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:39:56;  author: gap;  state: Exp;  lines: +2 -2
#H  changed revisio number to 4.1
#H  ----------------------------
#H  revision 1.1
#H  date: 1997/11/19 13:25:46;  author: gap;  state: Exp;
#H  added new table of marks library files
#H  ==========================================================================
#H
Revision.tmutwam_tom :=
    "@(#)$Id: tmutwam.tom,v 4.2 2001/07/05 07:21:43 gap Exp $";

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