tmesym.tom

GAP源码

#############################################################################
##
#W  tmesym.tom           GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tmesym.tom,v 4.2 2001/07/05 06:59:03 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains the tables of marks of the groups $2^4:Sx$.
##
#H  tomlib history
#H  --------------
#H  $Log: tmesym.tom,v $
#H  Revision 4.2  2001/07/05 06:59:03  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/tmesym.tom,v
#H  Working file: tmesym.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:42:32;  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:52:23;  author: gap;  state: Exp;
#H  added new table of marks library file
#H  ==========================================================================
#H
Revision.tmesym_tom :=
    "@(#)$Id: tmesym.tom,v 4.2 2001/07/05 06:59:03 gap Exp $";

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