#############################################################################
##
#W  tmunitmx.tom         GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tmunitmx.tom,v 4.2 2001/07/05 07:21: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 unitary
##  groups.
##
#H  tomlib history
#H  --------------
#H  $Log: tmunitmx.tom,v $
#H  Revision 4.2  2001/07/05 07:21:29  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/tmunitmx.tom,v
#H  Working file: tmunitmx.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:40;  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:32;  author: gap;  state: Exp;
#H  added new table of marks library files
#H  ==========================================================================
#H
Revision.tmunitmx_tom :=
    "@(#)$Id: tmunitmx.tom,v 4.2 2001/07/05 07:21:29 gap Exp $";

SetActualLibFileName("tmunitmx");
LIBTOM( "2^(2+4):15",
[[1],[1,2],[1,3],[1,2,4],[1,2,5],[1,6],[1,2,4,5,7],[1,2,6,8],[1,2,3,4,9],[1,3,
6,10],[1,2,4,5,7,11],[1,2,4,5,7,12],[1,2,4,5,7,13],[1,2,4,6,8,14],[1,2,4,5,7,
11,12,13,15],[1,2,3,4,5,7,9,11,16],[1,2,3,4,6,8,9,10,14,17],[1,2,4,5,7,11,12,
13,15,18],[1,2,3,4,5,7,9,11,12,13,15,16,18,19],[1,2,4,5,6,7,8,11,12,13,14,15,
18,20],[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21]],
0,[[1],[1,1],[1,1],[1,3,1],[1,1,1],[1,1],[1,3,1,2,1],[1,1,1,1],[1,3,4,1,1],[1,
1,1,1],[1,3,1,6,3,1],[1,3,1,6,3,1],[1,3,1,6,3,1],[1,3,1,1,3,1],[1,3,1,14,7,1,
3,3,1],[1,3,16,1,6,3,4,1,1],[1,3,4,1,1,3,1,4,1,1],[1,3,1,30,15,5,15,15,15,1],[
1,3,64,1,30,15,16,5,15,15,15,20,1,1],[1,3,1,30,16,15,48,5,15,15,16,15,1,1],[1,
3,64,1,30,16,15,48,16,64,5,15,15,16,15,20,16,1,1,1,1]],
[1,2,3,4,4,5,8,10,12,15,16,16,16,20,32,48,60,64,192,320,960],
[21,20,10,21,15,17,18,14,17,10,19,18,18,17,18,16,17,21,21,21,21],
[1,1,1,1,1,1,1,1,4,1,1,2,2,1,4,11,4,4,18,18,18],
[( 2, 4,43)( 3,20,60)( 5,30,36)( 6,21,46)( 7,31,32)( 8,39,12)( 9,58,56)
(10,35,44)(11,63,53)(13,25,33)(14,41,50)(15,57,55)(16,18,29)(17,27,47)
(19,51,54)(22,49,62)(24,64,65)(26,61,45)(28,42,40)(34,38,52)(37,59,48),
( 2, 3,18,25,26,36,61,12, 5, 7)( 4,60,13,41,21, 9,14,56,31,63)( 6,16)
( 8,15,17,49,51,46,59,55,19,42)(10,65,24,29,27,37,28,62,53,35)(11,39)
(20,22,48,33,52,32,40,47,43,34)(23,50,54,44,58,38,45,64,57,30)],
[[[[]]],[[[1,-1],[2,1,1,-1,2,-1],[3,1,4,-1,3,1,4,-1]]],[[[1,1]]],[[[1,-1],[2,
1,1,1,2,-1],[4,1,3,1,4,1,3,1]],[[1,-1],[2,1,1,-1,2,-1],[3,1,4,-1,3,1,4,
-1]]],[[[1,-1,2,1,1,1,2,-1]]],[[[2,4]]],[[[1,-1],[2,1,1,-1,2,-1],[3,1,4,-1,3,
1,4,-1]],[[1,1,2,2,1,1,2,-2,1,1]]],[[[2,1]]],[[[1,1,2,1],[3,1,2,1,1,1,3,-1,2,
-1]],[[1,1,2,-2,1,1,2,2]]],[[[1,1,2,1]]],[[[1,1,2,2,1,-1,2,-2]],[[2,2,1,-1,2,
-2,1,1]]],[[[1,1,2,-2,1,-1,2,2]],[[1,1,2,-1,1,-1,2,1]]],[[[2,1,1,-1,2,-1,1,
1]],[[1,1,2,-1,1,-1,2,1]]],[[[1,1,2,2,1,-1,2,1]],[[1,-1,2,1,1,1,2,1]]],[[[1,1,
2,-1,1,-1,2,1]],[[1,1,2,1,1,-1,2,-1]],[[1,-1,2,1,1,1,2,-1]]],[[[1,-1,2,1,1,-1,
2,-1]],[[1,1,2,-1,1,1,2,1]]],[[[1,-1,2,1,1,1,2,1]],[[1,1,2,-1]]],[[[1,-1,2,-1,
1,1,2,1]],[[1,1,2,1,1,-1,2,-1]],[[1,-1,2,1,1,1,2,-1]],[[1,1,2,-1,1,-1,2,
1]]],[[[2,-1,1,1,2,1]],[[1,-1]],[[2,1,1,1,2,-1]]],[[[1,1,2,-1,1,-1]],[[2,
1]]],[[[1,1]],[[2,1]]]]);


LIBTOM( "5xA5",
[[1],[1,2],[1,3],[1,2,4],[1,5],[1,6],[1,7],[1,8],[1,2,3,9],[1,2,6,10],[1,2,5,
11],[1,2,3,4,12],[1,3,5,13],[1,2,4,5,11,14],[1,5,6,7,8,15],[1,2,3,5,9,11,13,
16],[1,2,5,6,7,8,10,11,15,17],[1,2,3,4,6,9,10,12,18],[1,2,3,4,5,11,12,13,14,
19],[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20]],
0,[[1],[1,1],[1,1],[1,3,1],[1,1],[1,1],[1,1],[1,1],[1,3,1,1],[1,5,1,1],[1,1,1,
1],[1,3,4,1,1],[1,1,1,1],[1,3,1,1,3,1],[1,1,1,2,2,1],[1,3,1,1,1,3,1,1],[1,5,1,
1,2,2,1,5,1,1],[1,15,10,5,6,10,6,5,1],[1,3,4,1,1,3,1,4,1,1],[1,15,10,5,1,6,12,
12,10,6,15,5,10,5,6,10,6,1,5,1]],
[1,2,3,4,5,5,5,5,6,10,10,12,15,20,25,30,50,60,60,300],
[20,14,16,19,20,17,15,15,16,17,14,19,16,19,17,16,17,20,19,20],
[1,1,1,1,1,1,1,1,3,6,1,4,1,1,1,3,6,18,4,18],
[( 1,54,64,40,22)( 2,35,39,12,55)( 3,11,19, 5,10)( 4,31,21,13,14)
( 6,37,52,42,45)( 7,62,58,34, 8)( 9,15,51,23,61)(16,47,53,30,17)
(18,33,29,28,56)(24,57,36,38,63)(25,32,46,41,43)(48,60,50,65,59),( 1, 6)
( 2,12)( 3,26)( 4,64)( 5,36)( 7,18)( 8,57)( 9,34)(10,43)(11,16)(13,30)(14,44)
(15,29)(17,23)(19,45)(20,24)(21,50)(22,56)(25,61)(27,48)(28,52)(31,38)(32,60)
(33,63)(35,55)(37,49)(40,53)(41,47)(42,65)(46,62)(51,54)(58,59)],
[[[[]]],[[[2,1]]],[[[1,1,2,1,1,-1,2,1]]],[[[1,2],[3,1,2,1,1,1,2,1,1,-1,2,1,3,
-1]],[[2,1]]],[[[1,2],[1,1,2,1],[3,1,4,-2,3,-1,4,-1,2,1]]],[[[2,1,1,2,2,1,1,
-2]]],[[[1,-2]]],[[[1,1,2,1]]],[[[1,-1,2,1,1,1]],[[2,1]]],[[[2,1,1,-1,2,1,1,1,
2,1]],[[1,1,2,1,1,-1]]],[[[2,1,1,1,2,1,1,-2]]],[[[1,1,2,1],[1,2,3,-2]],[[2,
1]]],[[[2,1,1,-2]]],[[[1,1,2,1,1,-1,2,1,1,1]],[[2,1]]],[[[2,1,1,-2,2,1,1,1,2,
1]],[[1,-2,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]],[[1,-1,2,1,1,1]],[[2,1]]],[[[1,-1,2,1,1,-2]],[[2,
1]]],[[[1,1]],[[2,1]]]]);


LIBTOM( "5^2:S3",
[[1],[1,2],[1,3],[1,4],[1,5],[1,2,3,6],[1,2,4,7],[1,2,5,8],[1,4,5,9],[1,2,4,5,
7,8,9,10],[1,3,4,5,9,11],[1,2,3,4,5,6,7,8,9,10,11,12]],
0,[[1],[1,1],[1,1],[1,1],[1,1],[1,3,1,1],[1,1,1,1],[1,5,1,1],[1,3,3,1],[1,5,3,
3,5,1,1,1],[1,25,3,3,1,1],[1,15,25,3,3,25,15,3,1,3,1,1]],
[1,2,3,5,5,6,10,10,25,50,75,150],
[12,7,6,10,10,6,7,10,12,10,12,12],
[1,1,1,1,1,3,1,5,1,5,9,11],
[( 2,13)( 3,41)( 4, 5)( 6,39)( 7,60)( 8,29)( 9,25)(10,55)(11,16)(12,63)(14,26)
(15,27)(17,37)(18,21)(19,65)(20,45)(22,64)(23,52)(24,42)(28,49)(30,33)(31,61)
(32,50)(34,38)(35,59)(36,56)(40,54)(43,58)(44,47)(46,53)(48,57)(51,62),
( 1,33,54)( 2,60,41)( 3, 7,36)( 4,57,17)( 5,65,29)( 6,53,31)( 8,20,46)
( 9,51,34)(10,39,23)(11,42,32)(13,40,30)(14,15,16)(18,59,19)(21,62,47)
(22,43,24)(26,48,52)(27,38,35)(28,56,49)(37,63,45)(44,61,50)(55,64,58)],
[[[[]]],[[[1,1]]],[[[2,1]]],[[[1,1,2,-1,1,1,2,-1]]],[[[1,1,2,1],[1,1,2,-1,3,2,
1,1,2,-1]]],[[[1,1,2,1],[2,1,1,1],[2,1,4,1,3,-2,2,-1,4,-1]],[[1,1]]],[[[1,1,2,
-1]]],[[[2,1,1,1,2,1,1,1,2,-1,1,1,2,-1]],[[1,1]]],[[[2,-1,1,1,2,-1,1,1]],[[2,
1,1,1,2,1,1,1]]],[[[2,-1,1,1,2,-1]],[[1,1]]],[[[1,1,2,1,1,1]],[[2,1]]],[[[1,
1]],[[2,1]]]]);


LIBTOM( "13:3",
[[1],[1,2],[1,3],[1,2,3,4]],
0,[[1],[1,1],[1,1],[1,13,1,1]],
[1,3,13,39],
[4,2,4,4],
[1,1,1,3],
[( 1,47,55)( 2,62,28)( 3,34,23)( 4,30, 6)( 5,53,29)( 7,50,54)( 8,63,52)
( 9,17,48)(10,57,36)(11,49,59)(12,51,45)(13,60,21)(14,39,24)(15,35,42)
(16,58,25)(19,31,32)(20,37,44)(22,56,61)(26,41,33)(27,64,46)(38,65,43),
( 1,15,29)( 2, 5,31)( 3,53,27)( 4,32,14)( 6,42,37)( 7,44,23)( 8,59,26)
( 9,10,57)(11,49,65)(12,36,60)(13,17,40)(16,55,62)(18,33,43)(19,34,22)
(20,47,61)(21,48,51)(24,56,58)(25,54,64)(28,30,50)(35,39,46)(38,63,41)],
[[[[]]],[[[1,1]]],[[[2,1,1,1]]],[[[1,1]],[[2,1]]]]);


LIBTOM( "5^(1+2)+:8",
[[1],[1,2],[1,2,3],[1,4],[1,5],[1,6],[1,7],[1,2,3,8],[1,2,4,9],[1,2,6,10],[1,
2,5,11],[1,2,7,12],[1,2,3,6,10,13],[1,2,3,5,11,14],[1,2,3,7,12,15],[1,2,3,4,9,
16],[1,4,5,17],[1,4,6,18],[1,4,7,19],[1,2,3,4,8,9,16,20],[1,2,4,6,9,10,18,
21],[1,2,4,5,9,11,17,22],[1,2,4,7,9,12,19,23],[1,2,3,4,6,9,10,13,16,18,21,
24],[1,2,3,4,5,9,11,14,16,17,22,25],[1,2,3,4,7,9,12,15,16,19,23,26],[1,4,5,6,
7,17,18,19,27],[1,2,4,5,6,7,9,10,11,12,17,18,19,21,22,23,27,28],[1,2,3,4,5,6,
7,9,10,11,12,13,14,15,16,17,18,19,21,22,23,24,25,26,27,28,29],[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]],
0,[[1],[1,1],[1,1,1],[1,1],[1,1],[1,1],[1,1],[1,1,1,1],[1,1,1,1],[1,5,1,1],[1,
5,1,1],[1,5,1,1],[1,5,5,1,1,1],[1,5,5,1,1,1],[1,5,5,1,1,1],[1,1,5,1,1,1],[1,1,
5,1],[1,1,5,1],[1,1,5,1],[1,1,5,1,5,1,1,1],[1,5,1,5,5,1,1,1],[1,5,1,5,5,1,1,
1],[1,5,1,5,5,1,1,1],[1,5,25,1,5,5,1,5,5,1,1,1],[1,5,25,1,5,5,1,5,5,1,1,1],[1,
5,25,1,5,5,1,5,5,1,1,1],[1,1,10,10,10,2,2,2,1],[1,25,1,10,10,10,25,10,10,10,2,
2,2,10,10,10,1,1],[1,25,125,1,10,10,10,25,10,10,10,50,50,50,25,2,2,2,10,10,10,
10,10,10,1,1,1],[1,25,125,1,10,10,10,125,25,10,10,10,50,50,50,25,2,2,2,25,10,
10,10,10,10,10,1,1,1,1]],
[1,2,4,5,5,5,5,8,10,10,10,10,20,20,20,20,25,25,25,40,50,50,50,100,100,100,125,
250,500,1000],
[30,20,8,30,25,24,26,8,20,24,25,26,13,14,15,20,29,29,29,20,24,25,26,24,25,26,
30,30,30,30],
[1,1,1,1,1,1,1,1,1,6,5,7,6,5,7,4,1,1,1,4,6,5,7,18,17,19,4,27,27,27],
[( 1,49,46,39,24,27,15, 6)( 2,37,48,38,25,28,16, 7)( 3,29,17, 8)
( 4,10, 5,13,26,30,18, 9)(11,44,50,47,36,22,12,20)(14,42,32,23)(19,34)
(21,40,43,33,45,35,41,31),( 1,33,18, 6)( 2, 7,41,38,23,29,24,11)
( 3,14, 5,28,43,40,25,12)( 4,49,42,32,16,39,26,13)( 8,21,10,47,50,46,35,19)
( 9,17,34,44,31,15,27,20)(22,30,45,37)(36,48)],
[[[[]]],[[[1,-4]]],[[[2,1,1,-1]]],[[[1,2],[3,1,2,1,3,-1,2,-1,1,-1,2,-1]]],[[[
2,1,1,1,2,-1,1,-1]]],[[[1,-2,2,-2]]],[[[2,1,1,1]]],[[[1,3]]],[[[1,2,2,
-2]]],[[[1,2],[2,1,3,1],[3,1,4,2]],[[1,2],[3,-2,2,2,3,-1]]],[[[2,2,1,-2,2,1,1,
1]],[[1,2,2,1,1,-1,2,-1,1,-1]]],[[[1,-1,2,1,1,-1,2,1]],[[2,-4]]],[[[1,2,2,1,1,
1,2,-1,1,-1]],[[2,1,1,1,2,1,1,-1]]],[[[1,1,2,1,1,2]],[[1,-1,2,-1,1,-2]]],[[[2,
-4]],[[1,-1,2,1]]],[[[1,-1,2,2,1,1]],[[2,1,1,1,2,-2]]],[[[1,1,2,-1,1,-1,2,
1]],[[2,1,1,-1,2,-1,1,1]]],[[[1,2,2,2]],[[2,2,1,2]]],[[[1,1,2,-1,1,-2]],[[1,
-1,2,-1]]],[[[2,1,1,1,2,-2]],[[1,-1,2,1,1,1]]],[[[2,1,1,-2,2,1]],[[2,3,1,
-1]]],[[[1,1,2,-1,1,-1,2,1]],[[1,3,2,-1]]],[[[2,2,1,-1,2,1]],[[1,-1,2,