#############################################################################
##
#W  tmmathmx.tom         GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tmmathmx.tom,v 4.3 2003/02/26 17:40:29 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains the tables of marks of maximal subgroups of the 
##  Mathieu groups.
##
#H  tomlib history
#H  --------------
#H  $Log: tmmathmx.tom,v $
#H  Revision 4.3  2003/02/26 17:40:29  gap
#H  fixed a table name
#H      TB
#H
#H  Revision 4.2  2001/07/05 07:05:46  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/tmmathmx.tom,v
#H  Working file: tmmathmx.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:53:17;  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:59;  author: gap;  state: Exp;
#H  added new table of marks library files
#H  ==========================================================================
#H
Revision.tmmathmx_tom :=
    "@(#)$Id: tmmathmx.tom,v 4.3 2003/02/26 17:40:29 gap Exp $";

SetActualLibFileName("tmmathmx");
LIBTOM( "M9:2",
[[1],[1,2],[1,3],[1,4],[1,2,3,5],[1,3,6],[1,3,7],[1,3,4,8],[1,2,4,9],[1,2,4,
10],[1,3,6,7,11],[1,2,3,5,6,12],[1,3,6,13],[1,4,14],[1,2,3,4,5,8,9,10,15],[1,
2,3,5,6,7,11,12,13,16],[1,2,4,9,10,14,17],[1,3,4,8,14,18],[1,3,4,6,8,14,18,
19],[1,3,4,7,8,14,18,20],[1,2,3,4,5,8,9,10,14,15,17,18,21],[1,3,4,6,7,8,11,14,
18,19,20,22],[1,2,3,4,5,6,8,9,10,12,14,15,17,18,19,21,23],[1,3,4,6,8,13,14,18,
19,24],[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]],
0,[[1],[1,1],[1,1],[1,1],[1,2,1,1],[1,1,1],[1,1,1],[1,3,1,1],[1,3,1,1],[1,1,1,
1],[1,1,1,2,1],[1,4,1,2,1,1],[1,1,1,1],[1,4,1],[1,4,3,1,3,1,1,1,1],[1,4,1,2,1,
2,1,1,1,1],[1,3,4,1,3,1,1],[1,9,4,12,1,1],[1,9,4,9,12,1,1,1],[1,9,4,9,12,1,1,
1],[1,6,9,4,9,12,2,6,1,6,2,1,1],[1,9,4,9,18,12,9,1,1,1,2,1],[1,12,9,4,18,9,12,
4,12,9,1,12,4,1,1,2,1],[1,9,4,9,12,9,1,1,1,1],[1,12,9,4,18,9,18,12,4,12,9,9,9,
1,12,9,4,1,1,2,2,1,1,1,1]],
[1,2,2,3,4,4,4,6,6,6,8,8,8,9,12,16,18,18,36,36,36,72,72,72,144],
[25,15,16,21,12,16,11,15,21,15,16,16,16,25,15,16,21,25,25,22,23,25,25,25,25],
[1,1,1,1,1,1,1,4,4,1,3,3,1,1,4,6,4,14,14,14,14,18,18,14,19],
[( 1, 2)( 3, 4, 7, 9, 5,12)( 6,10,11),( 3, 9, 5,10)( 4,12, 6,11)],
[[[[]]],[[[1,-3]]],[[[2,-2]]],[[[1,2]]],[[[1,2,2,-1,1,1,2,-1]],[[1,1,2,-2,1,
1]]],[[[1,1,2,-1,1,-1,2,1]]],[[[2,1]]],[[[1,1,2,-2,1,1]],[[2,-2,1,2]]],[[[2,1,
1,1,2,-1,1,2]],[[1,2,2,1,1,1,2,-1]]],[[[1,1]]],[[[1,1,2,-1,1,-1,2,-1]],[[1,2,
2,1]]],[[[1,2,2,-1,1,1,2,-1]],[[1,1,2,-1,1,-1,2,-1]]],[[[1,1,2,1]]],[[[2,1,1,
2,2,-1]],[[1,-2]]],[[[2,-2,1,2]],[[2,1,1,1,2,1]]],[[[1,1,2,1,1,2]],[[1,2,2,
1]]],[[[2,1,1,-1,2,-1]],[[1,-2]]],[[[2,1,1,-2,2,-1]],[[1,-2]],[[2,-2]]],[[[2,
1,1,1,2,-1,1,-1]],[[1,2]]],[[[1,2]],[[2,1]]],[[[2,1,1,-1,2,-1]],[[2,-2]],[[1,
-2]]],[[[1,1,2,-1,1,1]],[[2,-1]]],[[[2,1,1,-1,2,-1]],[[1,1]]],[[[2,1,1,1]],[[
2,1,1,-1]]],[[[1,1]],[[2,1]]]]);


LIBTOM( "M8:S3",
[[1],[1,2],[1,3],[1,4],[1,2,3,5],[1,2,6],[1,2,4,7],[1,3,4,8],[1,3,4,9],[1,2,6,
10],[1,2,6,11],[1,2,3,5,6,12],[1,2,3,4,5,7,8,9,13],[1,2,3,5,6,10,11,12,14],[1,
2,4,6,7,10,15],[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16]],
0,[[1],[1,1],[1,1],[1,1],[1,1,2,1],[1,1,1],[1,1,1,1],[1,3,1,1],[1,3,1,1],[1,1,
3,1],[1,1,1,1],[1,1,4,2,1,1],[1,1,6,1,3,1,1,1,1],[1,1,4,2,3,1,1,1,1],[1,1,4,3,
4,1,1],[1,1,12,4,6,3,4,4,4,1,3,3,4,3,1,1]],
[1,2,2,3,4,4,6,6,6,8,8,8,12,16,24,48],
[16,16,5,13,12,14,13,13,13,16,14,14,13,14,16,16],
[1,1,1,1,1,1,1,4,4,2,1,2,4,6,10,15],
[( 1, 2)( 3, 7, 4, 5, 6,10,12,11),( 2, 9)( 4,10)( 5,11)( 7,12)],
[[[[]]],[[[1,-4]]],[[[2,1]]],[[[1,1,2,1,1,2]]],[[[1,1,2,1,1,2,2,1]],[[1,
-4]]],[[[1,2]]],[[[1,1,2,1]]],[[[1,2],[3,1,2,1,3,1]],[[2,1,1,-3]]],[[[1,2],[3,
1,2,1,3,-1]],[[2,1,1,-3]]],[[[2,1,1,2,2,1]],[[1,2]]],[[[1,1]]],[[[1,1,2,1,1,2,
2,1]],[[1,2]]],[[[1,2],[3,1,2,1,3,-1]],[[2,1,1,1]]],[[[2,1,1,2,2,1]],[[1,
-1]]],[[[2,1,1,-1]],[[1,2]]],[[[1,1]],[[2,1]]]]);


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