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

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