#############################################################################
##
#W  tmhsmcl.tom          GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tmhsmcl.tom,v 4.3 2001/07/05 07:00:59 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
#Y  (C) 1998 School Math and Comp. Sci., University of St.  Andrews, Scotland
##
##  This file contains the table of marks of the ATLAS groups $McL$ and $HS$.
##
#H  tomlib history
#H  --------------
#H  $Log: tmhsmcl.tom,v $
#H  Revision 4.3  2001/07/05 07:00:59  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/tmhsmcl.tom,v
#H  Working file: tmhsmcl.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: 1998/03/27 15:21:26;  author: gap;  state: Exp;  lines: +80 -2
#H  added some more fusions
#H  T.Merkwitz
#H  ----------------------------
#H  revision 4.1
#H  date: 1997/11/20 11:43:14;  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:58:53;  author: gap;  state: Exp;
#H  added new table of marks library file
#H  ==========================================================================
#H
Revision.tmhsmcl_tom :=
    "@(#)$Id: tmhsmcl.tom,v 4.3 2001/07/05 07:00:59 gap Exp $";

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