#############################################################################
##
#W  tm4l34s3.tom         GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tm4l34s3.tom,v 4.2 2001/07/05 06:54:55 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains the table of marks of the group $2^2.L3(4).3.2_2$
##
#H  tomlib history
#H  --------------
#H  $Log: tm4l34s3.tom,v $
#H  Revision 4.2  2001/07/05 06:54:55  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/tm4l34s3.tom,v
#H  Working file: tm4l34s3.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 11:19:45;  author: gap;  state: Exp;  lines: +2 -2
#H  changed revision number to 4.1
#H  ----------------------------
#H  revision 1.1
#H  date: 1997/11/17 12:38:52;  author: gap;  state: Exp;
#H  added new table of marks library file
#H  ==========================================================================
#H
Revision.tm4l34s3_tom :=
    "@(#)$Id: tm4l34s3.tom,v 4.2 2001/07/05 06:54:55 gap Exp $";

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