#############################################################################
##
#W  tmaltc.tom           GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tmaltc.tom,v 4.3 2001/07/05 06:56:57 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains the tables of marks of the automorphism groups of 
##  $A6$ and some covers of alternating groups.
##
#H  tomlib history
#H  --------------
#H  $Log: tmaltc.tom,v $
#H  Revision 4.3  2001/07/05 06:56:57  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/tmaltc.tom,v
#H  Working file: tmaltc.tom
#H  head: 4.2
#H  branch:
#H  locks: strict
#H  access list:
#H  symbolic names:
#H  	GAP4R2: 4.2.0.8
#H  	GAP4R2PRE2: 4.2.0.6
#H  	GAP4R2PRE1: 4.2.0.4
#H  	GAP4R1: 4.2.0.2
#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: 3;	selected revisions: 3
#H  description:
#H  ----------------------------
#H  revision 4.2
#H  date: 1999/07/01 09:41:59;  author: gap;  state: Exp;  lines: +7 -7
#H  added list of definitions of standard generators
#H  (taken from Thomas Merkwitz's thesis),
#H  changed names of 2.S5`, 3`D4(2), 2`F4(2) to 2.S5', 3D4(2), 2F4(2)
#H  for consistency with the names in the character table library
#H  
#H      TB
#H  ----------------------------
#H  revision 4.1
#H  date: 1997/11/20 11:34:35;  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:50:09;  author: gap;  state: Exp;
#H  added new table of marks library file
#H  ==========================================================================
#H
Revision.tmaltc_tom :=
    "@(#)$Id: tmaltc.tom,v 4.3 2001/07/05 06:56:57 gap Exp $";

SetActualLibFileName("tmaltc");
LIBTOM( "A6.2_3",
[[1],[1,2],[1,3],[1,2,4],[1,2,5],[1,2,6],[1,7],[1,2,3,8],[1,2,5,9],[1,2,5,6,
10],[1,2,4,5,11],[1,3,12],[1,2,7,13],[1,2,3,4,14],[1,2,4,5,6,9,10,11,15],[1,2,
3,8,12,16],[1,2,6,7,13,17],[1,2,3,4,5,8,11,14,18],[1,2,3,6,8,12,16,19],[1,2,3,
5,8,12,16,20],[1,2,3,6,8,12,16,21],[1,2,3,4,7,8,13,14,22],[1,2,3,5,6,8,10,12,
16,19,20,21,23],[1,2,3,4,5,7,8,11,12,13,14,16,18,20,22,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,3,1],[1,1,1],[1,1,1],[1,1],[1,3,1,1],[1,1,1,1],[1,1,1,2,
1],[1,5,2,1,1],[1,4,1],[1,5,1,1],[1,3,4,1,1],[1,5,2,1,2,1,1,1,1],[1,9,4,12,1,
1],[1,5,5,1,1,1],[1,9,4,4,3,4,3,1,1],[1,9,4,9,12,1,1,1],[1,9,4,9,12,1,1,1],[1,
9,4,9,12,1,1,1],[1,15,10,5,6,10,6,5,1],[1,9,4,9,18,12,9,1,1,1,1,1,1],[1,45,40,
30,45,36,120,45,10,36,30,10,30,10,12,1],[1,45,40,30,45,90,36,120,45,45,45,10,
36,30,45,10,36,30,10,10,10,12,10,1,1]],
[1,2,3,4,4,4,5,6,8,8,8,9,10,12,16,18,20,24,36,36,36,60,72,360,720],
[25,15,16,18,15,10,17,8,15,15,15,23,17,18,15,23,17,18,23,23,23,22,23,25,25],
[1,1,1,1,1,1,1,3,1,2,2,1,7,4,5,12,7,14,12,12,12,22,16,24,24],
[( 2, 4,12)( 5,11, 8)( 7,10, 9),( 1, 2)( 4, 7, 9,10,12,11, 8, 5)],
[[[[]]],[[[2,1,1,-1,2,1,1,-1]]],[[[1,1]]],[[[1,-1],[3,1,2,1,1,1,2,2,1,-1,2,1,
3,-1]],[[2,-4]]],[[[2,2]]],[[[1,1,2,1]]],[[[1,-1,2,1,1,-1,2,-1]]],[[[2,-4]],[[
1,1]]],[[[2,-1]]],[[[2,1,1,1,2,2,1,-1,2,-1]],[[1,1,2,2,1,-1,2,1,1,1]]],[[[1,
-1],[3,1,2,1,1,1,2,2,1,-1,2,1,3,-1]],[[2,-2]]],[[[2,2,1,1,2,-2]],[[1,1]]],[[[
2,2,1,1,2,2]],[[1,-1,2,-1,1,-1,2,-1]]],[[[2,1,1,-1,2,2,1,-1,2,-1,1,-1]],[[2,
-4]]],[[[1,-1],[3,1,2,1,1,1,2,2,1,-1,2,1,3,-1]],[[2,-1]]],[[[2,2,1,-1,2,2]],[[
1,1]],[[2,-4,1,1]]],[[[2,2,1,-1],[3,2]],[[1,-1,2,-2,1,1,2,-1]]],[[[1,1,2,1,1,
-1,2,1,1,1]],[[2,-2]]],[[[1,-1,2,-2,1,-1,2,1,1,1]],[[2,-1,1,1,2,1]]],[[[2,
-2]],[[1,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]]],[[[2,1,1,1]],[[1,1,2,-2,1,
1,2,1],[3,2]]],[[[2,1,1,-1,2,1,1,-1]],[[2,2]]],[[[1,1]],[[2,1]]]]);



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