#############################################################################
##
#W  tmsympa.tom          GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tmsympa.tom,v 4.2 2001/07/05 07:19:56 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains the tables of marks of automorphismgroups of 
##  symplectic groups.
##
#H  tomlib history
#H  --------------
#H  $Log: tmsympa.tom,v $
#H  Revision 4.2  2001/07/05 07:19:56  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/tmsympa.tom,v
#H  Working file: tmsympa.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:24:59;  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:01;  author: gap;  state: Exp;
#H  added new table of marks library files
#H  ==========================================================================
#H
Revision.tmsympa_tom :=
    "@(#)$Id: tmsympa.tom,v 4.2 2001/07/05 07:19:56 gap Exp $";

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