#############################################################################
##
#W  tmlinomx.tom         GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tmlinomx.tom,v 4.2 2001/07/05 07:02:26 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains the tables of marks of maximal subgroups of $Lp(q)$
##  where p doesn't equal $2$.
##
#H  tomlib history
#H  --------------
#H  $Log: tmlinomx.tom,v $
#H  Revision 4.2  2001/07/05 07:02:26  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/tmlinomx.tom,v
#H  Working file: tmlinomx.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 11:52:04;  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:20:06;  author: gap;  state: Exp;
#H  added new table of marks library files
#H  ==========================================================================
#H
Revision.tmlinomx_tom :=
    "@(#)$Id: tmlinomx.tom,v 4.2 2001/07/05 07:02:26 gap Exp $";

SetActualLibFileName("tmlinomx");
LIBTOM( "5^2:GL2(5)",
[[1],[1,2],[1,3],[1,4],[1,2,5],[1,3,6],[1,2,3,7],[1,2,8],[1,3,9],[1,10],[1,
11],[1,12],[1,2,4,13],[1,3,4,14],[1,2,8,15],[1,2,5,16],[1,2,3,5,7,8,17],[1,2,
3,7,8,18],[1,2,3,6,7,9,19],[1,3,10,20],[1,3,11,21],[1,2,10,22],[1,3,12,23],[1,
3,10,24],[1,2,11,25],[1,3,11,26],[1,2,3,4,7,13,14,27],[1,2,4,5,13,28],[1,2,4,
8,13,29],[1,2,3,5,7,8,15,17,18,30],[1,2,3,5,6,7,8,9,17,19,31],[1,2,3,5,7,8,16,
17,32],[1,3,6,10,20,33],[1,3,6,11,21,34],[1,2,5,10,22,35],[1,2,8,10,22,36],[1,
2,3,7,10,20,22,24,37],[1,2,8,11,25,38],[1,3,6,11,26,39],[1,2,5,11,25,40],[1,3,
6,10,24,41],[1,3,9,10,24,42],[1,3,9,10,20,43],[1,3,9,11,26,44],[1,2,3,7,11,21,
25,26,45],[1,3,9,11,21,46],[1,3,9,12,23,47],[1,2,4,8,13,15,48],[1,2,4,5,13,16,
28,49],[1,2,4,5,13,16,28,50],[1,2,3,4,5,7,8,13,14,17,27,28,29,51],[1,10,52],[
1,10,11,53],[1,10,12,54],[1,2,3,5,6,7,8,9,15,16,17,18,19,30,31,32,55],[1,2,3,
6,7,9,11,19,21,25,26,39,44,45,56],[1,2,3,6,7,9,11,19,21,25,26,34,45,46,57],[1,
2,3,5,7,8,11,17,21,25,26,38,40,45,58],[1,2,3,6,7,9,10,19,20,22,24,33,37,43,
59],[1,2,3,5,7,8,10,17,20,22,24,35,36,37,60],[1,2,3,6,7,9,10,19,20,22,24,37,
41,42,61],[1,2,3,4,5,7,8,13,15,17,18,28,30,48,62],[1,2,3,4,5,7,8,13,14,16,17,
27,28,29,32,49,50,51,63],[1,2,10,22,52,64],[1,3,10,11,20,26,53,65],[1,3,10,11,
21,24,53,66],[1,3,10,20,24,52,67],[1,2,10,11,22,25,53,68],[1,3,10,12,23,24,54,
69],[1,4,10,52,70],[1,2,3,5,6,7,8,9,10,17,19,20,22,24,31,33,35,36,37,41,42,43,
59,60,61,71],[1,2,3,5,6,7,8,9,11,17,19,21,25,26,31,34,38,39,40,44,45,46,56,57,
58,72],[1,2,3,4,5,6,7,8,9,13,15,16,17,18,19,28,30,31,32,48,50,55,62,73],[1,2,
5,10,22,35,52,64,74],[1,3,6,10,11,20,26,33,39,53,65,75],[1,2,3,7,10,20,22,24,
37,52,64,67,76],[1,2,8,10,22,36,52,64,77],[1,2,3,7,10,11,20,21,22,24,25,26,37,
45,53,65,66,68,78],[1,2,8,10,11,22,25,36,38,53,68,79],[1,3,6,10,11,21,24,34,
41,53,66,80],[1,2,5,10,11,22,25,35,40,53,68,81],[1,3,9,10,11,21,24,42,46,53,
66,82],[1,3,9,10,20,24,42,43,52,67,83],[1,3,9,10,11,20,26,43,44,53,65,84],[1,
3,6,10,20,24,33,41,52,67,85],[1,3,9,10,12,23,24,42,47,54,69,86],[1,2,4,8,11,
13,15,25,29,38,48,87],[1,10,11,12,52,53,54,88],[1,2,4,10,13,22,52,64,70,89],[
1,3,4,10,14,20,24,52,67,70,90],[1,2,8,10,15,22,36,52,64,77,91],[1,2,5,10,16,
22,35,52,64,74,92],[1,2,3,7,8,10,18,20,22,24,36,37,52,64,67,76,77,93],[1,2,3,
5,7,8,10,17,20,22,24,35,36,37,52,60,64,67,74,76,77,94],[1,2,3,6,7,9,10,11,19,
20,21,22,24,25,26,34,37,41,42,45,46,53,57,61,65,66,68,78,80,82,95],[1,2,3,5,7,
8,10,11,17,20,21,22,24,25,26,35,36,37,38,40,45,53,58,60,65,66,68,78,79,81,
96],[1,2,3,6,7,9,10,19,20,22,24,33,37,41,42,43,52,59,61,64,67,76,83,85,97],[1,
2,3,6,7,9,10,11,19,20,21,22,24,25,26,33,37,39,43,44,45,53,56,59,65,66,68,75,
78,84,98],[1,2,3,4,5,7,8,11,13,14,15,17,18,21,25,26,27,28,29,30,38,40,45,48,
51,58,62,87,99],[1,3,10,11,12,20,24,26,52,53,54,65,67,88,100],[1,3,10,11,12,
20,21,23,24,52,53,54,66,67,69,88,101],[1,2,10,11,12,22,25,52,53,54,64,68,88,
102],[1,2,4,5,10,13,22,28,35,52,64,70,74,89,103],[1,2,4,8,10,13,22,29,36,52,
64,70,77,89,104],[1,2,3,4,7,10,13,14,20,22,24,27,37,52,64,67,70,76,89,90,
105],[1,2,3,5,7,8,10,15,17,18,20,22,24,30,35,36,37,52,60,64,67,74,76,77,91,93,
94,106],[1,2,3,5,6,7,8,9,10,17,19,20,22,24,31,33,35,36,37,41,42,43,52,59,60,
61,64,67,71,74,76,77,83,85,94,97,107],[1,2,3,5,7,8,10,16,17,20,22,24,32,35,36,
37,52,60,64,67,74,76,77,92,94,108],[1,2,3,5,6,7,8,9,10,11,17,19,20,21,22,24,
25,26,31,33,34,35,36,37,38,39,40,41,42,43,44,45,46,53,56,57,58,59,60,61,65,66,
68,71,72,75,78,79,80,81,82,84,95,96,98,109],[1,2,3,4,5,6,7,8,9,11,13,14,15,16,
17,18,19,21,25,26,27,28,29,30,31,32,34,38,39,40,44,45,46,48,49,50,51,55,56,57,
58,62,63,72,73,87,99,110],[1,2,5,10,11,12,22,25,35,40,52,53,54,64,68,74,81,88,
102,111],[1,2,8,10,11,12,22,25,36,38,52,53,54,64,68,77,79,88,102,112],[1,2,3,
7,10,11,12,20,21,22,23,24,25,26,37,45,52,53,54,64,65,66,67,68,69,76,78,88,100,
101,102,113],[1,3,6,10,11,12,20,24,26,33,39,41,52,53,54,65,67,75,85,88,100,
114],[1,3,6,10,11,12,20,21,23,24,33,34,41,52,53,54,66,67,69,80,85,88,101,
115],[1,3,9,10,11,12,20,21,23,24,42,43,46,47,52,53,54,66,67,69,82,83,86,88,
101,116],[1,3,9,10,11,12,20,24,26,42,43,44,52,53,54,65,67,83,84,88,100,117],[
1,2,4,8,10,13,15,22,36,48,52,64,70,77,89,91,118],[1,2,4,5,10,13,16,22,28,35,
50,52,64,70,74,89,92,103,119],[1,2,4,5,10,13,16,22,28,35,49,52,64,70,74,89,92,
103,120],[1,2,3,4,5,7,8,10,13,14,17,20,22,24,27,28,29,35,36,37,51,52,60,64,67,
70,74,76,77,89,90,94,103,104,105,121],[1,2,3,5,6,7,8,9,10,15,16,17,18,19,20,
22,24,30,31,32,33,35,36,37,41,42,43,52,55,59,60,61,64,67,71,74,76,77,83,85,91,
92,93,94,97,106,107,108,122],[1,2,3,5,7,8,10,11,12,17,20,21,22,23,24,25,26,35,
36,37,38,40,45,52,53,54,58,60,64,65,66,67,68,69,74,76,77,78,79,81,88,94,96,
100,101,102,111,112,113,123],[1,2,3,6,7,9,10,11,12,19,20,21,22,23,24,25,26,33,
37,39,41,42,43,44,45,52,53,54,56,59,61,64,65,66,67,68,69,75,76,78,83,84,85,88,
97,98,100,101,102,113,114,117,124],[1,2,3,6,7,9,10,11,12,19,20,21,22,23,24,25,
26,33,34,37,41,42,43,45,46,47,52,53,54,57,59,61,64,65,66,67,68,69,76,78,80,82,
83,85,86,88,95,97,100,101,102,113,115,116,125],[1,2,3,4,5,7,8,10,13,15,17,18,
20,22,24,28,30,35,36,37,48,52,60,62,64,67,70,74,76,77,89,91,93,94,103,106,118,
126],[1,2,3,4,5,7,8,10,13,14,16,17,20,22,24,27,28,29,32,35,36,37,49,50,51,52,
60,63,64,67,70,74,76,77,89,90,92,94,103,104,105,108,119,120,121,127],[1,2,3,5,
6,7,8,9,10,11,12,17,19,20,21,22,23,24,25,26,31,33,34,35,36,37,38,39,40,41,42,
43,44,45,46,47,52,53,54,56,57,58,59,60,61,64,65,66,67,68,69,71,72,74,75,76,77,
78,79,80,81,82,83,84,85,86,88,94,95,96,97,98,100,101,102,107,109,111,112,113,
114,115,116,117,123,124,125,128],[1,2,3,4,5,6,7,8,9,10,13,15,16,17,18,19,20,
22,24,28,30,31,32,33,35,36,37,41,42,43,48,50,52,55,59,60,61,62,64,67,70,71,73,
74,76,77,83,85,89,91,92,93,94,97,103,106,107,108,118,119,122,126,129],[1,2,4,
8,10,11,12,13,15,22,25,29,36,38,48,52,53,54,64,68,70,77,79,87,88,89,91,102,
104,112,118,130],[1,2,3,4,5,7,8,10,11,12,13,14,15,17,18,20,21,22,23,24,25,26,
27,28,29,30,35,36,37,38,40,45,48,51,52,53,54,58,60,62,64,65,66,67,68,69,70,74,
76,77,78,79,81,87,88,89,90,91,93,94,96,99,100,101,102,103,104,105,106,111,112,
113,118,121,123,126,130,131],[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,
20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,
46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,
72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,
98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,
118,119,120,121,122,123,124,125,126,127,128,129,130,131,132]],
0,[[1],[1,1],[1,1],[1,1],[1,1,1],[1,1,1],[1,1,2,1],[1,1,1],[1,1,1],[1,1],[1,
1],[1,1],[1,1,1,1],[1,3,1,1],[1,1,3,1],[1,1,1,1],[1,1,2,1,1,1,1],[1,1,4,2,1,
1],[1,1,2,1,1,1,1],[1,5,1,1],[1,5,1,1],[1,5,1,1],[1,5,1,1],[1,1,1,1],[1,1,1,
1],[1,5,1,1],[1,1,6,1,3,1,2,1],[1,1,1,1,1,1],[1,1,1,3,1,1],[1,1,6,1,3,3,1,3,3,
1],[1,1,2,1,2,1,1,2,1,2,1],[1,1,2,1,1,1,2,1,1],[1,5,5,1,1,1],[1,5,5,1,1,1],[1,
5,5,1,1,1],[1,5,5,1,1,1],[1,5,6,5,1,1,1,1,1],[1,1,5,1,1,1],[1,5,5,1,1,1],[1,1,
1,1,1,1],[1,1,1,1,1,1],[1,1,5,1,1,1],[1,5,5,1,1,1],[1,5,5,1,1,1],[1,1,10,5,1,
1,1,1,1],[1,5,5,1,1,1],[1,5,5,1,1,1],[1,1,4,3,4,1,1],[1,1,1,1,1,1,1,1],[1,1,1,
1,1,3,1,1],[1,1,6,1,1,3,3,1,2,3,1,1,1,1],[1,6,1],[1,1,5,1],[1,1,5,1],[1,1,6,1,
2,3,3,2,1,2,3,3,2,1,1,1,1],[1,1,10,5,5,5,1,5,1,1,1,1,1,1,1],[1,1,10,5,5,5,1,5,
1,1,1,1,1,1,1],[1,1,10,1,5,5,1,5,1,1,1,1,1,1,1],[1,5,6,5,5,5,1,5,1,1,1,1,1,1,
1],[1,5,6,5,5,5,1,5,1,1,1,1,1,1,1],[1,5,6,1,5,5,1,5,1,1,1,1,1,1,1],[1,1,6,4,1,
3,3,4,1,3,3,4,1,1,1],[1,1,6,1,1,3,3,1,2,4,3,1,1,1,3,1,1,1,1],[1,25,6,30,1,1],[
1,25,1,5,5,25,1,1],[1,5,1,5,1,5,1,1],[1,5,6,1,5,1,1],[1,5,1,5,1,5,1,1],[1,5,1,
5,1,5,1,1],[1,25,6,1,1],[1,5,6,5,6,5,5,10,1,5,10,1,1,1,5,1,1,1,1,1,1,1,1,1,1,
1],[1,1,10,1,10,5,5,10,1,5,10,1,1,1,5,1,1,1,1,1,1,1,1,1,1,1],[1,1,6,4,1,6,3,3,
6,4,1,6,3,3,6,4,1,3,3,1,4,3,1,1],[1,25,25,6,30,30,1,1,1],[1,25,25,1,5,5,25,5,
25,1,1,1],[1,25,10,25,6,2,30,10,10,1,1,2,1],[1,25,25,6,30,10,1,1,1],[1,5,30,
25,1,5,5,1,1,5,5,25,5,5,1,1,1,1,1],[1,5,25,1,5,1,5,5,5,1,1,1],[1,5,5,1,5,1,5,
1,5,1,1,1],[1,5,5,1,5,1,5,1,5,1,1,1],[1,5,25,1,5,1,5,5,5,1,1,1],[1,5,25,6,1,5,
5,5,1,1,1],[1,25,25,1,5,5,25,5,5,1,1,1],[1,5,5,6,1,5,1,5,1,1,1],[1,5,25,1,5,1,
5,5,5,1,1,1],[1,1,10,15,6,10,5,6,10,6,5,1],[1,6,5,20,1,1,4,1],[1,25,25,6,25,
30,1,1,1,1],[1,15,25,6,25,3,15,1,3,1,1],[1,25,75,6,25,30,30,1,1,3,1],[1,25,25,
6,25,30,30,1,1,1,1],[1,25,20,50,25,6,25,4,30,20,10,20,1,1,4,2,1,1],[1,25,10,
25,25,25,6,25,2,30,10,30,10,10,1,10,1,2,1,1,1,1],[1,5,30,5,25,25,1,5,25,5,1,1,
5,5,25,1,5,5,5,5,5,1,5,5,1,1,1,1,1,1,1],[1,5,30,5,25,25,1,5,25,5,1,1,5,5,25,1,
5,5,5,5,5,1,5,5,1,1,1,1,1,1,1],[1,25,10,5,25,25,6,25,2,30,10,1,10,5,5,5,1,5,5,
1,2,1,1,1,1],[1,5,30,25,25,25,1,5,25,5,1,1,5,5,25,5,5,25,5,5,5,1,5,5,1,1,1,1,
1,1,1],[1,1,30,10,1,15,15,6,10,20,5,15,15,6,6,6,10,10,10,5,6,6,6,5,10,6,5,1,
1],[1,25,6,5,20,5,25,25,1,1,4,1,5,1,1],[1,25,6,5,20,5,5,20,25,1,1,4,5,5,20,1,
1],[1,25,6,5,20,30,25,1,1,4,1,5,1,1],[1,25,25,25,6,25,30,25,30,1,1,1,1,1,1],[
1,25,25,75,6,25,30,25,30,1,1,1,3,1,1],[1,25,30,25,75,6,25,50,6,30,30,25,30,1,
1,6,1,3,1,2,1],[1,25,30,25,75,75,6,25,75,75,6,30,30,25,30,30,30,1,30,1,6,1,3,
3,1,3,3,1],[1,25,10,25,10,25,25,50,6,25,50,2,30,10,25,2,30,10,10,10,10,10,1,
10,10,10,1,2,10,1,1,1,2,2,1,2,1],[1,25,10,25,25,25,6,50,25,2,30,10,25,30,10,
10,1,10,1,2,1,1,1,2,1,1],[1,5,30,5,30,25,25,50,1,5,25,50,5,1,1,5,5,25,25,5,1,
1,5,5,5,25,5,5,5,5,5,5,5,1,5,5,5,5,5,5,1,1,1,5,5,1,1,1,1,1,1,1,1,1,1,1],[1,1,
30,10,1,30,15,15,30,6,10,20,5,10,15,15,30,6,6,6,10,10,10,5,15,15,6,6,6,6,6,6,
6,5,10,10,10,15,6,6,6,5,10,6,5,1,1,1],[1,25,25,6,5,20,30,25,30,25,1,1,4,1,5,1,
5,1,1,1],[1,25,125,6,5,20,30,25,50,25,1,1,4,1,5,5,5,1,1,1],[1,25,50,125,6,5,
20,10,5,30,20,50,25,25,50,25,1,1,4,1,1,5,10,5,20,5,5,1,1,1,1,1],[1,25,25,6,5,
20,5,25,25,5,25,25,1,1,4,1,5,1,5,1,1,1],[1,25,25,6,5,20,5,5,20,25,5,5,25,1,1,