#############################################################################
##
#W  tmtw.tom             GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tmtw.tom,v 4.3 2001/07/05 07:20:17 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains the tables of marks of simple twisted groups.
##
#H  tomlib history
#H  --------------
#H  $Log: tmtw.tom,v $
#H  Revision 4.3  2001/07/05 07:20:17  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/tmtw.tom,v
#H  Working file: tmtw.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:42:04;  author: gap;  state: Exp;  lines: +3 -3
#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 12:37:58;  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:24:21;  author: gap;  state: Exp;
#H  added new table of marks library files
#H  ==========================================================================
#H
Revision.tmtw_tom :=
    "@(#)$Id: tmtw.tom,v 4.3 2001/07/05 07:20:17 gap Exp $";

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



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