tmutwa.tom

GAP源码

#############################################################################
##
#W  tmutwa.tom           GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tmutwa.tom,v 4.2 2001/07/05 07:21:39 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains the table of marks of automorphism groups of simple
##  untwisted groups.
##
#H  tomlib history
#H  --------------
#H  $Log: tmutwa.tom,v $
#H  Revision 4.2  2001/07/05 07:21:39  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/tmutwa.tom,v
#H  Working file: tmutwa.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:52;  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:43;  author: gap;  state: Exp;
#H  added new table of marks library files
#H  ==========================================================================
#H
Revision.tmutwa_tom :=
    "@(#)$Id: tmutwa.tom,v 4.2 2001/07/05 07:21:39 gap Exp $";

SetActualLibFileName("tmutwa");
LIBTOM( "G2(3).2",
[[1],[1,2],[1,3],[1,4],[1,5],[1,6],[1,7],[1,3,8],[1,2,3,9],[1,3,10],[1,3,11],[
1,3,12],[1,2,5,13],[1,2,6,14],[1,3,5,15],[1,3,6,16],[1,3,4,17],[1,3,7,18],[1,
3,4,19],[1,2,5,20],[1,3,7,21],[1,3,6,22],[1,2,7,23],[1,24],[1,3,8,25],[1,3,8,
10,26],[1,2,3,8,9,27],[1,3,11,28],[1,3,8,11,29],[1,3,8,12,30],[1,3,8,11,31],[
1,3,10,11,32],[1,2,3,9,10,12,33],[1,3,11,34],[1,4,35],[1,4,5,36],[1,5,7,37],[
1,4,5,38],[1,4,6,39],[1,4,7,40],[1,5,6,41],[1,4,5,6,7,42],[1,4,6,7,43],[1,5,6,
7,44],[1,5,45],[1,5,46],[1,3,7,8,47],[1,3,6,10,48],[1,2,3,6,9,14,22,49],[1,2,
3,5,9,13,15,20,50],[1,3,7,10,18,21,51],[1,3,6,10,16,22,52],[1,3,4,10,17,19,
53],[1,3,7,12,21,54],[1,3,4,11,19,55],[1,3,6,12,22,56],[1,2,3,7,9,21,23,57],[
1,58],[1,3,24,59],[1,2,24,60],[1,2,24,61],[1,2,3,8,9,25,27,62],[1,3,8,11,29,
63],[1,3,8,11,12,29,30,64],[1,3,8,10,12,26,30,65],[1,3,8,11,28,29,31,66],[1,3,
8,10,11,25,26,29,31,67],[1,2,3,8,9,10,12,26,27,30,33,68],[1,3,8,10,11,26,29,
32,69],[1,3,8,12,25,30,70],[1,3,8,10,12,26,30,71],[1,2,3,8,9,11,12,27,29,30,
72],[1,3,8,11,29,34,73],[1,3,10,11,28,32,34,74],[1,3,8,10,11,31,32,34,75],[1,
3,4,17,35,76],[1,2,5,6,13,14,41,77],[1,3,4,5,15,17,36,78],[1,3,4,7,17,18,40,
79],[1,3,4,6,16,17,39,80],[1,3,4,5,6,7,15,16,17,18,42,81],[1,3,4,6,7,16,17,18,
43,82],[1,2,4,5,13,20,36,83],[1,2,5,7,13,23,37,84],[1,3,4,7,17,21,40,85],[1,3,
5,6,15,22,41,86],[1,3,4,6,17,22,39,87],[1,3,5,7,15,21,37,88],[1,3,4,5,17,19,
36,89],[1,3,4,17,19,35,90],[1,2,5,6,14,20,41,91],[1,2,4,6,7,14,23,43,92],[1,3,
4,5,15,19,38,93],[1,3,4,6,16,19,39,94],[1,2,5,6,7,14,23,44,95],[1,3,4,7,18,19,
40,96],[1,2,5,13,45,97],[1,3,5,15,45,98],[1,2,5,20,45,99],[1,2,5,20,46,100],[
1,2,5,7,20,23,37,101],[1,3,4,6,7,19,21,22,43,102],[1,7,24,103],[1,3,4,11,19,
28,104],[1,3,7,11,21,28,105],[1,3,6,11,22,28,106],[1,3,4,11,19,28,55,107],[1,
3,7,8,21,25,47,108],[1,3,6,8,10,22,26,48,109],[1,2,3,7,8,9,23,27,47,110],[1,3,
4,10,11,17,19,32,53,55,111],[1,2,3,6,9,10,12,14,16,22,33,49,52,56,112],[1,3,7,
8,11,18,31,47,113],[1,3,6,10,11,16,32,48,114],[1,2,3,6,9,10,12,14,33,48,115],[
1,3,4,11,19,34,55,116],[1,2,3,7,9,10,12,18,21,23,33,51,54,57,117],[1,3,58,
118],[1,4,5,35,36,38,119],[1,4,5,7,36,37,40,120],[1,4,5,6,36,39,41,121],[1,4,
5,6,7,35,36,39,40,42,43,122],[1,4,5,6,7,36,38,39,40,42,44,123],[1,4,5,6,7,37,
38,41,42,43,44,124],[1,4,7,40,125],[1,4,6,35,39,126],[1,4,5,6,38,39,127],[1,4,
5,7,35,38,40,128],[1,4,6,7,39,40,129],[1,4,6,7,35,39,40,130],[1,4,5,6,7,38,39,
40,131],[1,4,5,36,45,132],[1,4,5,36,46,133],[1,5,7,37,45,46,134],[1,5,7,37,45,
46,135],[1,2,3,9,24,59,60,61,136],[1,3,8,10,11,25,26,28,29,31,66,67,137],[1,3,
8,10,11,25,26,29,31,32,63,67,69,138],[1,2,3,8,9,11,12,27,29,30,63,64,72,139],[
1,3,8,10,11,12,25,26,29,30,31,67,70,140],[1,3,8,10,11,12,25,26,29,30,31,67,71,
141],[1,3,8,10,11,25,26,29,31,34,67,73,142],[1,3,8,10,11,12,25,26,29,30,31,64,
65,67,70,71,143],[1,2,3,8,9,10,11,12,25,26,27,29,30,31,33,62,67,68,70,72,
144],[1,3,8,10,11,26,28,29,31,32,34,66,69,73,74,75,145],[1,3,8,11,28,29,31,34,
63,66,73,146],[1,2,3,8,9,10,11,12,26,27,29,30,32,33,64,65,68,69,71,72,147],[1,
3,4,11,17,35,76,148],[1,3,4,5,12,15,17,36,78,149],[1,2,3,4,5,9,13,15,17,20,36,
50,78,83,150],[1,2,3,5,6,9,13,14,15,20,22,41,49,50,77,86,91,151],[1,3,4,5,10,
15,17,19,36,53,78,89,152],[1,3,4,10,17,19,35,53,76,90,153],[1,3,4,6,10,16,17,
19,22,39,52,53,80,87,94,154],[1,3,4,7,10,17,18,19,21,40,51,53,79,85,96,155],[
1,2,3,5,9,13,15,20,45,50,97,98,99,156],[1,2,3,4,6,7,9,14,19,21,22,23,43,49,57,
92,102,157],[1,2,3,5,7,9,13,15,20,21,23,37,50,57,84,88,101,158],[1,3,4,6,7,12,
19,21,22,43,54,56,102,159],[1,3,4,6,7,10,16,17,18,19,21,22,43,51,52,53,82,102,
160],[1,6,58,161],[1,2,7,23,24,61,103,162],[1,2,7,23,24,60,103,163],[1,3,7,21,
24,59,103,164],[1,3,7,8,11,29,47,63,165],[1,3,4,8,11,19,28,29,31,55,66,104,
166],[1,3,4,10,11,17,19,28,32,34,53,74,104,167],[1,3,7,10,11,18,21,28,32,34,
51,74,105,168],[1,3,6,10,11,16,22,28,32,34,52,74,106,169],[1,2,3,7,8,9,21,23,
25,27,47,57,62,108,110,170],[1,3,7,8,12,21,25,30,47,54,70,108,171],[1,3,7,8,
10,11,18,21,25,26,29,31,47,51,67,108,113,172],[1,3,6,8,10,11,16,22,26,29,32,
48,52,69,109,114,173],[1,2,3,6,8,9,10,12,14,22,26,27,30,33,48,49,68,109,115,
174],[1,3,6,8,10,12,22,26,30,48,56,65,109,175],[1,3,4,10,11,17,19,28,32,34,53,
55,74,107,111,116,176],[1,3,12,58,118,177],[1,3,4,5,17,19,35,36,38,76,89,119,
178],[1,2,4,5,6,13,14,20,36,39,41,77,83,91,121,179],[1,3,4,5,6,15,17,22,36,39,
41,78,86,87,121,180],[1,3,4,5,7,15,17,21,36,37,40,78,85,88,120,181],[1,3,4,5,
15,17,19,35,36,38,78,89,90,93,119,182],[1,3,4,5,7,17,18,19,36,37,40,79,89,96,
120,183],[1,3,4,5,6,16,17,19,36,39,41,80,89,94,121,184],[1,2,4,5,6,7,13,14,23,
37,38,41,42,43,44,77,84,92,95,124,185],[1,3,4,5,6,7,16,17,18,19,35,36,39,40,
42,43,82,89,90,94,96,122,186],[1,3,4,5,6,7,15,16,17,18,19,36,38,39,40,42,44,
81,89,93,94,96,123,187],[1,3,4,5,6,7,15,16,17,18,35,36,39,40,42,43,76,78,79,
80,81,82,122,188],[1,3,4,5,15,17,36,45,78,98,132,189],[1,3,4,7,18,19,40,96,
125,190],[1,3,4,6,16,17,19,35,39,90,94,126,191],[1,3,4,5,7,15,17,18,19,35,38,
40,90,93,96,128,192],[1,3,4,6,7,16,18,19,39,40,94,96,129,193],[1,3,4,6,7,16,
17,18,19,35,39,40,90,94,96,130,194],[1,3,4,5,6,15,16,19,38,39,93,94,127,195],[
1,3,4,5,6,7,15,16,18,19,38,39,40,93,94,96,131,196],[1,2,4,5,13,20,36,45,83,97,
132,197],[1,2,5,7,13,23,37,45,46,84,97,134,198],[1,2,5,7,13,23,37,45,46,84,97,
135,199],[1,3,5,7,15,21,37,45,46,88,98,134,200],[1,3,4,6,17,19,35,39,76,90,
126,201],[1,3,4,6,16,17,22,35,39,80,87,126,202],[1,3,4,5,7,17,18,19,35,38,40,
79,90,128,203],[1,3,4,6,7,16,17,19,35,39,40,80,90,130,204],[1,3,4,6,7,17,22,
35,39,40,76,87,130,205],[1,3,4,5,7,17,21,35,38,40,76,85,128,206],[1,3,4,7,17,
18,21,40,79,85,125,207],[1,3,4,6,7,16,17,21,39,40,80,85,129,208],[1,3,4,6,7,
17,18,22,39,40,79,87,129,209],[1,2,4,5,13,20,36,45,83,99,132,210],[1,2,4,5,13,
20,36,46,83,100,133,211],[1,2,4,5,7,13,20,23,36,37,40,83,84,101,120,212],[1,3,
4,5,6,7,17,19,21,22,35,36,39,40,42,43,85,87,89,90,102,122,213],[1,3,4,5,6,7,
15,19,21,22,37,38,41,42,43,44,86,88,93,102,124,214],[1,2,4,5,6,7,14,20,23,37,
38,41,42,43,44,91,92,95,101,124,215],[1,2,5,7,20,23,37,45,46,99,100,101,134,
216],[1,3,8,24,25,217],[1,3,8,10,11,12,25,26,28,29,30,31,64,65,66,67,70,71,
137,141,143,218],[1,2,3,8,9,10,11,12,25,26,27,28,29,30,31,33,62,66,67,68,70,
72,137,140,144,219],[1,2,3,8,9,10,11,12,25,26,27,29,30,31,32,33,62,63,64,65,
67,68,69,70,71,72,138,139,143,144,147,220],[1,3,8,10,11,25,26,28,29,31,32,34,
63,66,67,69,73,74,75,137,138,142,145,146,221],[1,3,8,10,11,12,25,26,29,30,31,
32,63,67,69,70,71,138,140,141,222],[1,2,3,8,9,10,11,12,25,26,27,29,30,31,33,
34,62,67,68,70,71,72,73,141,142,144,223],[1,3,8,10,11,12,25,26,29,30,31,34,64,
65,67,70,71,73,140,142,143,224],[1,3,4,11,17,28,35,76,148,225],[1,3,4,6,7,11,
19,21,22,28,43,55,102,104,105,106,107,226],[1,3,4,11,17,34,35,76,148,227],[1,
3,4,10,11,17,19,32,35,53,76,90,148,153,228],[1,2,3,4,5,9,10,12,13,15,17,19,20,
33,36,50,53,78,83,89,149,150,152,229],[1,2,3,4,6,7,9,10,12,14,16,17,18,19,21,
22,23,33,43,49,51,52,53,54,56,57,82,92,102,112,117,157,159,160,230],[1,3,6,22,
58,118,161,231],[1,4,5,6,7,35,36,37,38,39,40,41,42,43,44,119,120,121,122,123,
124,232],[1,4,5,6,36,39,41,45,121,132,233],[1,4,5,6,36,39,41,46,121,133,234],[
1,4,5,35,36,38,45,46,119,132,133,235],[1,4,5,6,7,35,36,39,40,41,42,43,121,122,
126,129,130,236],[1,4,5,6,7,36,38,39,40,41,42,44,121,123,127,129,131,237],[1,
4,5,6,7,35,36,38,39,40,42,43,44,119,122,123,126,127,128,130,131,238],[1,4,5,6,
7,35,36,37,38,39,40,42,43,44,120,122,123,125,128,129,130,131,239],[1,4,5,7,36,
37,40,45,46,120,132,133,134,135,240],[1,2,3,7,9,21,23,24,57,59,60,61,103,136,
162,163,164,241],[1,3,6,8,10,11,22,25,26,28,29,31,48,66,67,106,109,137,242],[
1,3,7,8,10,11,21,25,26,28,29,31,47,66,67,105,108,137,243],[1,3,4,8,10,11,19,
25,26,28,29,31,55,66,67,104,107,137,166,244],[1,3,7,8,10,11,21,25,26,29,31,32,
47,63,67,69,108,138,165,245],[1,3,7,8,11,18,28,29,31,34,47,63,66,73,113,146,
165,246],[1,3,4,8,11,19,28,29,31,34,55,63,66,73,104,116,146,166,247],[1,3,4,8,
10,11,17,19,26,28,29,31,32,34,53,55,66,69,73,74,75,104,111,145,166,167,248],[
1,2,3,7,8,9,11,12,23,27,29,30,47,63,64,72,110,139,165,249],[1,2,3,6,8,9,10,11,
12,14,16,22,26,27,29,30,32,33,48,49,52,56,64,65,68,69,71,72,109,112,114,115,
147,173,174,175,250],[1,2,3,7,8,9,10,11,12,18,21,23,25,26,27,29,30,31,33,47,
51,54,57,62,67,68,70,72,108,110,113,117,144,170,171,172,251],[1,3,4,5,7,12,15,
17,21,36,37,40,54,78,85,88,120,149,181,252],[1,2,3,4,5,6,9,13,14,15,17,20,22,
36,39,41,49,50,77,78,83,86,87,91,121,150,151,179,180,253],[1,3,4,5,7,10,15,17,
18,19,21,36,37,40,51,53,78,79,85,88,89,96,120,152,155,181,183,254],[1,3,4,5,
10,15,17,19,35,36,38,53,76,78,89,90,93,119,152,153,178,182,255],[1,3,4,5,6,10,
15,16,17,19,22,36,39,41,52,53,78,80,86,87,89,94,121,152,154,180,184,256],[1,3,
4,5,11,17,19,35,36,38,55,76,89,119,148,178,257],[1,3,4,5,6,12,15,17,22,36,39,
41,56,78,86,87,121,149,180,258],[1,3,4,7,11,18,19,40,55,96,125,190,259],[1,3,
4,7,11,18,19,40,55,96,125,190,260],[1,3,4,6,11,16,17,19,35,39,55,90,94,126,
191,261],[1,3,4,5,6,11,15,16,19,38,39,55,93,94,127,195,262],[1,2,3,4,5,9,13,
15,17,20,36,45,50,78,83,97,98,99,132,150,156,189,197,210,263],[1,2,3,4,5,7,9,