#############################################################################
##
#W  tmx3l34.tom          GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tmx3l34.tom,v 4.4 2003/12/15 09:52:17 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains the table of marks of the groups $3.L3(4)$ and
##  $3.L3(4).2_3$.
##
#H  tomlib history
#H  --------------
#H  $Log: tmx3l34.tom,v $
#H  Revision 4.4  2003/12/15 09:52:17  gap
#H  ***&L_3(4)&:&The derived subgroup for the class $199$ in $3.L_3(4).2_3$
#H  was corrected, it is $198$ not $199$
#H      TB
#H
#H  Revision 4.3  2001/07/05 07:21:52  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/tmx3l34.tom,v
#H  Working file: tmx3l34.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.2
#H  	GAP4R1: 4.2.0.6
#H  	GAP4B5: 4.2.0.4
#H  	dec16-98b: 4.2
#H  	GAP4b4: 4.2
#H  	version-14-apr: 4.2
#H  	version-15-jun: 4.2
#H  keyword substitution: kv
#H  total revisions: 3;	selected revisions: 3
#H  description:
#H  ----------------------------
#H  revision 4.2
#H  date: 1997/11/24 11:16:34;  author: gap;  state: Exp;  lines: +14 -2
#H  added table of marks of "G2(4)" to the library
#H  ----------------------------
#H  revision 4.1
#H  date: 1997/11/20 12:40:02;  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:50;  author: gap;  state: Exp;
#H  added new table of marks library files
#H  ==========================================================================
#H
Revision.tmx3l34_tom :=
    "@(#)$Id: tmx3l34.tom,v 4.4 2003/12/15 09:52:17 gap Exp $";

SetActualLibFileName("tmx3l34");
LIBTOM( "3.L3(4)",
[[1],[1,2],[1,3],[1,4],[1,2,5],[1,2,6],[1,2,7],[1,2,8],[1,2,9],[1,2,10],[1,2,
11],[1,2,12],[1,2,13],[1,2,14],[1,15],[1,2,3,16],[1,2,4,17],[1,18],[1,2,5,12,
19],[1,2,5,14,20],[1,2,5,9,10,11,21],[1,2,5,6,7,8,22],[1,2,5,13,23],[1,2,12,
13,14,24],[1,2,8,9,12,25],[1,2,7,11,13,26],[1,2,6,10,14,27],[1,3,4,28],[1,2,
15,29],[1,2,3,5,16,30],[1,2,3,6,16,31],[1,2,3,10,16,32],[1,2,3,11,16,33],[1,2,
3,8,16,34],[1,2,3,9,16,35],[1,2,3,7,16,36],[1,2,3,13,16,37],[1,2,3,14,16,38],[
1,2,3,12,16,39],[1,2,4,7,40],[1,2,4,6,41],[1,2,4,8,42],[1,2,4,11,43],[1,2,4,9,
44],[1,2,4,10,45],[1,2,4,5,46],[1,2,4,6,47],[1,2,4,5,48],[1,2,4,7,49],[1,2,4,
10,50],[1,2,4,5,51],[1,2,4,8,52],[1,2,4,11,53],[1,2,4,9,54],[1,3,15,55],[1,2,
5,9,10,11,21,56],[1,2,5,6,7,8,22,57],[1,2,5,12,19,58],[1,2,5,13,23,59],[1,2,5,
14,20,60],[1,2,5,6,7,8,12,14,19,20,22,61],[1,2,5,9,10,11,12,14,19,20,21,62],[
1,2,5,9,10,11,12,13,19,21,23,63],[1,2,5,6,7,8,9,10,11,13,21,22,23,26,64],[1,2,
5,6,7,8,9,10,11,12,19,21,22,25,65],[1,2,5,9,10,11,13,14,20,21,23,66],[1,2,5,6,
7,8,12,13,19,22,23,67],[1,2,5,12,13,14,19,20,23,24,68],[1,2,5,6,7,8,13,14,20,
22,23,69],[1,2,5,6,7,8,9,10,11,14,20,21,22,27,70],[1,2,3,4,16,17,28,71],[1,3,
18,72],[1,4,18,73],[1,4,18,74],[1,4,18,75],[1,2,3,5,6,7,8,16,22,30,31,34,36,
76],[1,2,3,5,9,10,11,16,21,30,32,33,35,77],[1,2,3,5,13,16,23,30,37,78],[1,2,3,
5,14,16,20,30,38,79],[1,2,3,5,12,16,19,30,39,80],[1,2,4,7,11,13,17,26,40,81],[
1,2,4,6,10,14,17,27,45,82],[1,2,4,7,11,13,17,26,43,83],[1,2,4,6,10,14,17,27,
41,84],[1,2,4,8,9,12,17,25,44,85],[1,2,4,8,9,12,17,25,42,86],[1,2,3,8,9,12,16,
25,34,35,39,87],[1,2,3,6,10,14,16,27,31,32,38,88],[1,2,3,7,11,13,16,26,33,36,
37,89],[1,2,3,12,13,14,16,24,37,38,39,90],[1,3,4,28,91],[1,2,3,15,16,29,55,
92],[1,2,5,6,7,8,9,10,11,12,13,14,19,20,21,22,23,25,26,27,57,61,64,65,67,69,
70,93],[1,2,5,6,7,8,9,10,11,12,13,14,19,20,21,22,23,25,26,27,56,62,63,64,65,
66,70,94],[1,2,5,6,7,8,9,10,11,12,13,14,19,20,21,22,23,24,26,59,63,64,66,67,
68,69,95],[1,2,5,6,7,8,9,10,11,12,13,14,19,20,21,22,23,24,25,58,61,62,63,65,
67,68,96],[1,2,5,6,7,8,9,10,11,12,13,14,19,20,21,22,23,24,27,60,61,62,66,68,
69,70,97],[1,2,3,4,9,16,28,35,44,54,98],[1,2,3,4,6,16,28,31,41,47,99],[1,2,3,
4,8,16,28,34,42,52,100],[1,2,3,4,7,16,28,36,40,49,101],[1,2,3,4,10,16,28,32,
45,50,102],[1,2,3,4,11,16,28,33,43,53,103],[1,2,3,4,5,16,28,30,46,48,51,104],[
1,2,3,5,9,10,11,16,21,30,32,33,35,56,77,105],[1,2,3,5,6,7,8,16,22,30,31,34,36,
57,76,106],[1,2,3,5,12,16,19,30,39,58,80,107],[1,2,3,5,14,16,20,30,38,60,79,
108],[1,2,3,5,13,16,23,30,37,59,78,109],[1,2,4,5,9,10,11,21,43,44,45,51,56,
110],[1,2,4,5,6,7,8,22,40,41,42,48,57,111],[1,2,3,5,6,7,8,12,14,16,19,20,22,
30,31,34,36,38,39,61,76,79,80,112],[1,2,3,5,9,10,11,12,14,16,19,20,21,30,32,
33,35,38,39,62,77,79,80,113],[1,2,3,5,6,7,8,9,10,11,13,16,21,22,23,26,30,31,
32,33,34,35,36,37,64,76,77,78,89,114],[1,2,3,5,9,10,11,12,13,16,19,21,23,30,
32,33,35,37,39,63,77,78,80,115],[1,2,3,5,12,13,14,16,19,20,23,24,30,37,38,39,
68,78,79,80,90,116],[1,2,3,5,6,7,8,12,13,16,19,22,23,30,31,34,36,37,39,67,76,
78,80,117],[1,2,3,5,6,7,8,9,10,11,14,16,20,21,22,27,30,31,32,33,34,35,36,38,
70,76,77,79,88,118],[1,2,3,5,6,7,8,9,10,11,12,16,19,21,22,25,30,31,32,33,34,
35,36,39,65,76,77,80,87,119],[1,2,3,5,9,10,11,13,14,16,20,21,23,30,32,33,35,
37,38,66,77,78,79,120],[1,2,3,5,6,7,8,13,14,16,20,22,23,30,31,34,36,37,38,69,
76,78,79,121],[1,2,4,5,12,19,46,58,122],[1,2,4,5,12,19,48,58,123],[1,2,4,5,13,
23,48,59,124],[1,2,4,5,14,20,51,60,125],[1,2,4,5,12,19,51,58,126],[1,2,4,5,9,
10,11,21,46,48,50,53,54,56,127],[1,2,4,5,6,7,8,22,46,47,49,51,52,57,128],[1,2,
4,5,13,23,51,59,129],[1,2,4,5,14,20,46,60,130],[1,2,4,5,13,23,46,59,131],[1,2,
4,5,14,20,48,60,132],[1,2,3,4,16,17,28,71,91,133],[1,2,4,9,15,17,29,54,134],[
1,2,4,11,15,17,29,53,135],[1,2,4,6,15,17,29,47,136],[1,2,4,8,15,17,29,52,
137],[1,2,4,5,15,17,29,46,138],[1,2,4,10,15,17,29,50,139],[1,2,4,7,15,17,29,
49,140],[1,3,4,18,28,72,73,74,75,141],[1,2,5,6,7,8,9,10,11,12,13,14,19,20,21,
22,23,24,25,26,27,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,93,94,95,96,97,
142],[1,2,3,4,8,9,12,16,17,25,28,34,35,39,42,52,71,86,87,100,143],[1,2,3,4,7,
11,13,16,17,26,28,33,36,37,40,49,71,81,89,101,144],[1,2,3,4,6,10,14,16,17,27,
28,31,32,38,41,47,71,84,88,99,145],[1,2,3,4,6,10,14,16,17,27,28,31,32,38,45,
50,71,82,88,102,146],[1,2,3,4,8,9,12,16,17,25,28,34,35,39,44,54,71,85,87,98,
147],[1,2,3,4,7,11,13,16,17,26,28,33,36,37,43,53,71,83,89,103,148],[1,2,5,9,
10,11,15,21,56,149],[1,2,5,6,7,8,15,22,57,150],[1,2,4,5,6,7,8,9,10,11,12,13,
14,17,19,20,21,22,23,25,26,27,43,44,45,51,56,62,63,64,65,66,70,82,83,85,94,
110,151],[1,2,4,5,6,7,8,9,10,11,12,13,14,17,19,20,21,22,23,25,26,27,40,41,42,
48,57,61,64,65,67,69,70,81,84,86,93,111,152],[1,2,3,5,6,7,8,9,10,11,12,13,14,
16,19,20,21,22,23,24,27,30,31,32,33,34,35,36,37,38,39,60,61,62,66,68,69,70,76,
77,78,79,80,88,90,97,108,112,113,116,118,120,121,153],[1,2,3,5,6,7,8,9,10,11,
12,13,14,16,19,20,21,22,23,25,26,27,30,31,32,33,34,35,36,37,38,39,56,62,63,64,
65,66,70,76,77,78,79,80,87,88,89,94,105,113,114,115,118,119,120,154],[1,2,3,5,
6,7,8,9,10,11,12,13,14,16,19,20,21,22,23,25,26,27,30,31,32,33,34,35,36,37,38,
39,57,61,64,65,67,69,70,76,77,78,79,80,87,88,89,93,106,112,114,117,118,119,
121,155],[1,2,3,5,6,7,8,9,10,11,12,13,14,16,19,20,21,22,23,24,26,30,31,32,33,
34,35,36,37,38,39,59,63,64,66,67,68,69,76,77,78,79,80,89,90,95,109,114,115,
116,117,120,121,156],[1,2,3,5,6,7,8,9,10,11,12,13,14,16,19,20,21,22,23,24,25,
30,31,32,33,34,35,36,37,38,39,58,61,62,63,65,67,68,76,77,78,79,80,87,90,96,
107,112,113,115,116,117,119,157],[1,2,3,4,13,16,17,28,37,71,91,133,158],[1,2,
3,4,14,16,17,28,38,71,91,133,159],[1,2,3,4,12,16,17,28,39,71,91,133,160],[1,2,
3,4,5,9,10,11,16,21,28,30,32,33,35,43,44,45,46,48,50,51,53,54,56,77,98,102,
103,104,105,110,127,161],[1,2,3,4,5,6,7,8,16,22,28,30,31,34,36,40,41,42,46,47,
48,49,51,52,57,76,99,100,101,104,106,111,128,162],[1,2,3,4,5,12,16,19,28,30,
39,46,48,51,58,80,104,107,122,123,126,163],[1,2,3,4,5,14,16,20,28,30,38,46,48,
51,60,79,104,108,125,130,132,164],[1,2,3,4,5,13,16,23,28,30,37,46,48,51,59,78,
104,109,124,129,131,165],[1,2,5,6,7,8,9,10,11,12,13,14,15,19,20,21,22,23,25,
26,27,29,56,62,63,64,65,66,70,94,149,166],[1,2,5,6,7,8,9,10,11,12,13,14,15,19,
20,21,22,23,25,26,27,29,57,61,64,65,67,69,70,93,150,167],[1,2,4,7,11,13,17,18,
26,40,43,75,81,83,168],[1,2,4,8,9,12,17,18,25,42,44,73,85,86,169],[1,2,4,6,10,
14,17,18,27,41,45,74,82,84,170],[1,2,3,4,8,15,16,17,28,29,34,42,52,55,71,92,
100,137,171],[1,2,3,4,9,15,16,17,28,29,35,44,54,55,71,92,98,134,172],[1,2,3,4,
5,15,16,17,28,29,30,46,48,51,55,71,92,104,138,173],[1,2,3,4,6,15,16,17,28,29,
31,41,47,55,71,92,99,136,174],[1,2,3,4,11,15,16,17,28,29,33,43,53,55,71,92,
103,135,175],[1,2,3,4,7,15,16,17,28,29,36,40,49,55,71,92,101,140,176],[1,2,3,
4,10,15,16,17,28,29,32,45,50,55,71,92,102,139,177],[1,2,4,5,6,7,8,9,10,11,12,
13,14,19,20,21,22,23,24,25,26,27,40,41,42,46,48,50,53,54,56,57,58,59,60,61,62,
63,64,65,66,67,68,69,70,93,94,95,96,97,111,123,124,127,132,142,178],[1,2,3,5,
6,7,8,9,10,11,12,13,14,16,19,20,21,22,23,24,25,26,27,30,31,32,33,34,35,36,37,
38,39,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,76,77,78,79,80,87,88,89,90,
93,94,95,96,97,105,106,107,108,109,112,113,114,115,116,117,118,119,120,121,
142,153,154,155,156,157,179],[1,2,4,5,6,7,8,9,10,11,12,13,14,19,20,21,22,23,
24,25,26,27,43,44,45,46,47,49,51,52,56,57,58,59,60,61,62,63,64,65,66,67,68,69,
70,93,94,95,96,97,110,125,126,128,129,142,180],[1,2,4,5,6,7,8,9,10,11,12,13,
14,19,20,21,22,23,24,25,26,27,46,47,48,49,50,51,52,53,54,56,57,58,59,60,61,62,
63,64,65,66,67,68,69,70,93,94,95,96,97,122,127,128,130,131,142,181],[1,2,3,4,
12,13,14,16,17,24,28,37,38,39,71,90,91,133,158,159,160,182],[1,2,3,5,6,7,8,15,
16,22,30,31,34,36,55,57,76,106,150,183],[1,2,3,5,9,10,11,15,16,21,30,32,33,35,
55,56,77,105,149,184],[1,2,3,4,5,6,7,8,9,10,11,12,13,14,16,17,19,20,21,22,23,
25,26,27,28,30,31,32,33,34,35,36,37,38,39,40,41,42,46,47,48,49,51,52,57,61,64,
65,67,69,70,71,76,77,78,79,80,81,84,86,87,88,89,93,99,100,101,104,106,111,112,
114,117,118,119,121,128,143,144,145,152,155,162,185],[1,2,3,4,5,6,7,8,9,10,11,
12,13,14,16,17,19,20,21,22,23,25,26,27,28,30,31,32,33,34,35,36,37,38,39,43,44,
45,46,48,50,51,53,54,56,62,63,64,65,66,70,71,76,77,78,79,80,82,83,85,87,88,89,
94,98,102,103,104,105,110,113,114,115,118,119,120,127,146,147,148,151,154,161,
186],[1,2,3,5,6,7,8,9,10,11,12,13,14,15,16,19,20,21,22,23,25,26,27,29,30,31,
32,33,34,35,36,37,38,39,55,57,61,64,65,67,69,70,76,77,78,79,80,87,88,89,92,93,
106,112,114,117,118,119,121,150,155,167,183,187],[1,2,3,5,6,7,8,9,10,11,12,13,
14,15,16,19,20,21,22,23,25,26,27,29,30,31,32,33,34,35,36,37,38,39,55,56,62,63,