tmlinoam.tom

GAP源码

#############################################################################
##
#W  tmlinoam.tom         GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tmlinoam.tom,v 4.2 2001/07/05 07:02:18 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains the tables of marks of maximal subgroups of groups 
##  from file 'tmlinoa.tom'.
##
#H  tomlib history
#H  --------------
#H  $Log: tmlinoam.tom,v $
#H  Revision 4.2  2001/07/05 07:02:18  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/tmlinoam.tom,v
#H  Working file: tmlinoam.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:51:57;  author: gap;  state: Exp;  lines: +2 -2
#H  changed revision number to 4.1
#H  ----------------------------
#H  revision 1.1
#H  date: 1997/11/19 13:20:01;  author: gap;  state: Exp;
#H  added new table of marks library files
#H  ==========================================================================
#H
Revision.tmlinoam_tom :=
    "@(#)$Id: tmlinoam.tom,v 4.2 2001/07/05 07:02:18 gap Exp $";

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