#############################################################################
##
#W  tmunitc.tom          GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tmunitc.tom,v 4.2 2001/07/05 07:21:16 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains the table of marks of covers of unitary groups.
##
#H  tomlib history
#H  --------------
#H  $Log: tmunitc.tom,v $
#H  Revision 4.2  2001/07/05 07:21:16  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/tmunitc.tom,v
#H  Working file: tmunitc.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:28;  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:23;  author: gap;  state: Exp;
#H  added new table of marks library files
#H  ==========================================================================
#H
Revision.tmunitc_tom :=
    "@(#)$Id: tmunitc.tom,v 4.2 2001/07/05 07:21:16 gap Exp $";

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