tmunitmx.tom

GAP源码

[1,1,1,1,1,1,1,1,1,1,1,1,4,2,1,1,1,2,1,10,1,1,1,1,1,4,4,1,2,1,2,10,1,10,1,11,
14,11,1,4,1,4,11,6,10,1,10,1,11,14,11,1,21,19,21,23,37,21,59,21,59,21,63,63,
63],
[( 1, 5, 3, 2)( 4,22,12, 7)( 6,34,18,10)( 8,45,26,14)( 9,48,30,16)
(11,64,38,20)(13,70,43,24)(15,53,47,28)(17,77,54,32)(19,81,60,36)(21,51,55,39)
(23,40,68,42)(25,79,62,37)(27,66,41,44)(29,78,63,49)(31,91,76,52)(33,46,75,56)
(35,84,65,59)(50,67,57,74)(58,85,83,72)(61,73,92,80)(69,89,95,82)(71,96,90,87)
(86,88,94,93),( 2,68,66,93,80,59,50,29,15, 8, 4)( 3,25,13, 7,48,28,65,40,21,
 11, 6)( 5,39,91,84,89,73,47,57,33,17, 9)(10,23,12,88,71,44,24,83,63,37,19)
(14,74,96,92,76,77,94,81,72,46,27)(16,78,56,38,85,67,41,22,62,53,31)
(18,55,32,61,36,43,86,69,42,45,35)(30,79,58,34,82,60,64,54,90,75,51)],
[[[[]]],[[[1,-2],[2,1,1,1],[1,1,2,-1,3,1,1,1,2,2,4,-1,3,1,4,-1]]],[[[1,
-2]]],[[[1,1,2,2,1,-1,2,1]]],[[[1,-2],[2,1,1,1,2,1],[3,1,4,-1,3,1,4,-1]]],[[[
2,1,1,1,2,1],[1,-2,3,-2]]],[[[1,1,2,1],[3,2,1,-2,3,-2]],[[2,1,1,1],[3,1,2,-1,
1,-2,2,1,3,-1]]],[[[2,2,1,-1,2,1]]],[[[1,-1]]],[[[1,1,2,3,1,-1,2,1]]],[[[2,1,
1,1,2,-3,1,-1]]],[[[1,-2,2,-1]]],[[[1,-2],[3,1,2,1,3,1,2,-1,3,1]],[[1,1,2,-1,
1,-1,2,-2]]],[[[1,-2],[3,1,2,-1,1,-1,3,1,2,1,1,1,2,-1]],[[1,-2,2,-1,1,1,2,-1,
1,1,2,2]]],[[[1,-2],[1,1,2,-2,3,1,2,1,1,-1,2,1,3,1]],[[1,-2],[2,1,1,1,2,1],[3,
1,4,-1,3,1,4,-1]]],[[[1,-2,2,-1,1,-1,2,-1]]],[[[1,-2],[3,1,2,-1,3,1,2,1,1,1,2,
-1,3,1]],[[2,1,1,-1,2,-1],[3,1,1,-2,3,-1]]],[[[1,-2],[2,1,1,1,2,1,3,1,2,1,1,
-1,2,1,3,1]],[[1,1,2,2],[3,1,1,-2,3,-1]]],[[[2,2,1,-1,2,-2,1,1]]],[[[1,1,2,
-1],[3,1,2,-1,1,-2,2,1,3,-1]],[[1,1,2,1],[3,1,1,-2,3,-1]]],[[[2,1]]],[[[1,-2,
2,2]]],[[[2,1,1,1,2,1,1,-1]]],[[[1,1,2,1],[3,1,2,1,1,-2,3,-1]],[[1,-2],[2,-1,
3,1,2,1]]],[[[1,-2,2,1,1,-1,2,-1]]],[[[1,-2],[3,1,2,1,3,1,2,-1,3,1]],[[2,1,1,
-1,2,1],[3,1,1,-2,3,-1]],[[1,1,2,-1,1,-1,2,-2]]],[[[1,-2],[3,1,1,1,2,-2,3,1,2,
1,1,-1,2,1]],[[1,-2],[3,1,2,-1,1,-1,3,1,2,1,1,1,2,-1]]],[[[1,1,2,3]]],[[[1,
-2],[3,1,1,1,2,3,1,1,2,-1,3,1]],[[2,1,1,1,2,1],[1,-2,3,2]],[[1,-2],[2,1,1,1,2,
1],[3,1,4,-1,3,1,4,-1]]],[[[1,-2],[2,1,1,1,2,1],[3,1,4,-1,3,1,4,-1]],[[1,-1,2,
3]]],[[[2,1,1,1,2,1],[1,-2,3,2]],[[1,1,2,1,1,-2,2,1]]],[[[2,2,1,1,2,-1,1,1,2,
-1,1,-2]],[[2,1,1,1,2,1],[1,-2,3,-2]]],[[[1,1,2,-1,1,1,2,-1]]],[[[2,1,1,1,2,
1],[3,1,1,-2,3,-1]],[[2,1,1,1,2,-1,1,1,2,2]]],[[[1,-1,2,1,1,1,2,-1]]],[[[1,
-2],[2,1,1,-1,2,1],[3,1,4,1,3,1,4,1]],[[1,1,2,1],[1,-2,3,2]]],[[[1,-2],[3,1,2,
1,1,-1,2,-1,1,1,2,2,3,1]],[[1,1,2,1,1,-2,2,1,1,1]]],[[[1,-2,2,-1,1,1,2,-1,1,1,
2,2]],[[1,1,2,1],[1,-2,3,2]]],[[[1,1,2,-1,1,-1,2,-1,1,-2]],[[1,1,2,1],[1,-2,3,
2]]],[[[1,-2],[2,1,1,-1,2,1],[3,1,4,1,3,1,4,1]],[[1,-2,2,1,1,-1,2,3,1,1]]],[[[
1,1,2,-1,1,-1,2,-1,1,-2]],[[2,3,1,1]]],[[[1,-2,2,1,1,-1,2,3,1,1]],[[2,1,1,1,2,
3]]],[[[1,-2,2,-1,1,1,2,-1,1,1,2,2]],[[1,1,2,-1,1,-1,2,-1,1,-2]]],[[[1,-2],[2,
1,3,1,2,1,1,1,2,-1,3,1]],[[1,-1,2,3]]],[[[2,2,1,-1,2,1,1,-2]],[[2,1,1,-2,2,1,
1,1]]],[[[2,2,1,1]]],[[[2,1,1,1,2,1],[1,-2,3,-2]],[[2,1,1,1,2,-1,1,1,2,
2]]],[[[2,1,1,-1,2,-2,1,-1]]],[[[1,-2,2,-1,1,1,2,-1,1,1,2,2]],[[1,1,2,1],[1,
-2,3,2]],[[1,-2,2,1,1,1,2,1,1,-1]]],[[[1,1,2,-2,1,1,2,-1,1,-2]],[[2,1,1,-1,2,
-2,1,-1,2,-1]]],[[[1,1,2,1],[1,-2,3,2]],[[2,1,1,1,2,3]]],[[[1,-2,2,1,1,-1]],[[
2,3,1,1]]],[[[1,-2],[2,1,1,-1,2,-1],[3,1,4,-1,3,1,4,1]],[[2,1]]],[[[2,1,1,1,2,
-1,1,1,2,2]],[[2,1,1,-2,2,1,1,1]]],[[[1,-2],[3,1,2,1,3,1,2,1,1,-1,2,1,3,1]],[[
2,-1]]],[[[2,1,1,1,2,3]],[[1,-1,2,-3]]],[[[2,1,1,1,2,2,1,1,2,-1]],[[1,-1,2,
3]]],[[[1,1,2,-2,1,-2,2,1,1,1]],[[2,1]]],[[[2,1,1,-1,2,2,1,1]],[[1,1,2,-1,1,
-1,2,-2]]],[[[1,1,2,-1,1,-1,2,1,1,-2]],[[2,1]]],[[[2,1,1,1],[2,1,3,2]],[[1,
-2]]],[[[1,-2,2,2,1,1]],[[2,1]]],[[[1,-1,2,-1,1,1]],[[2,1]]],[[[1,-2]],[[2,
1]]],[[[1,1]],[[2,1]]]]);


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


LIBTOM( "37:3",
[[1],[1,2],[1,3],[1,2,3,4]],
0,[[1],[1,1],[1,1],[1,37,1,1]],
[1,3,37,111],
[4,2,4,4],
[1,1,1,3],
[( 2, 5, 3)( 4,12, 7)( 6, 9,10)( 8,15,14)(11,19,17)(13,16,20)(18,23,25)
(21,27,28)(22,24,26)(29,31,33)(30,32,34)(35,36,37),( 1,10,28,37,35,30,22,14,
 24,16, 9, 5,20,34,29,21,13, 7,25,32,27,19,12,26,18,11, 6, 3,17,33,36,31,23,
 15, 8, 4, 2)],
[[[[]]],[[[1,1]]],[[[2,-4]]],[[[1,1]],[[2,1]]]]);


LIBTOM( "7^(1+2):48",
[[1],[1,2],[1,3],[1,2,4],[1,2,3,5],[1,6],[1,7],[1,2,4,8],[1,2,3,4,5,9],[1,2,6,
10],[1,2,7,11],[1,2,4,8,12],[1,3,6,13],[1,3,7,14],[1,2,3,4,5,8,9,15],[1,2,4,6,
10,16],[1,2,3,5,6,10,13,17],[1,2,3,5,7,11,14,18],[1,2,3,4,5,8,9,12,15,19],[1,
6,7,20],[1,2,4,6,8,10,16,21],[1,2,3,4,5,6,9,10,13,16,17,22],[1,2,6,7,10,11,20,
23],[1,2,4,6,8,10,12,16,21,24],[1,3,6,7,13,14,20,25],[1,2,3,4,5,6,8,9,10,13,
15,16,17,21,22,26],[1,2,3,5,6,7,10,11,13,14,17,18,20,23,25,27],[1,2,3,4,5,6,8,
9,10,12,13,15,16,17,19,21,22,24,26,28],[1,6,7,20,29],[1,2,6,7,10,11,20,23,29,
30],[1,3,6,7,13,14,20,25,29,31],[1,2,4,6,7,10,11,16,20,23,29,30,32],[1,2,3,5,
6,7,10,11,13,14,17,18,20,23,25,27,29,30,31,33],[1,2,4,6,7,8,10,11,16,20,21,23,
29,30,32,34],[1,2,3,4,5,6,7,9,10,11,13,14,16,17,18,20,22,23,25,27,29,30,31,32,
33,35],[1,2,4,6,7,8,10,11,12,16,20,21,23,24,29,30,32,34,36],[1,2,3,4,5,6,7,8,
9,10,11,13,14,15,16,17,18,20,21,22,23,25,26,27,29,30,31,32,33,34,35,37],[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]],
0,[[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],[1,7,1,1],[1,1,1,1,1],[1,7,1,1],[1,7,1,1],[1,1,1,1,1,1,1,1],[1,1,1,1,1,
1],[1,1,7,7,1,1,1,1],[1,7,7,7,1,1,1,1],[1,1,1,1,1,1,1,1,1,1],[1,1,7,1],[1,1,1,
1,1,1,1,1],[1,1,7,1,7,1,7,1,1,1,1,1],[1,7,1,7,7,1,1,1],[1,1,1,1,1,1,7,1,1,1],[
1,49,1,7,7,7,1,1],[1,1,7,1,7,1,1,7,1,1,7,1,1,1,1,1],[1,7,49,49,1,7,7,1,7,7,7,
7,1,1,1,1],[1,1,7,1,7,1,1,7,1,7,1,7,1,1,7,1,1,1,1,1],[1,1,56,8,1],[1,49,1,56,
49,56,8,56,1,1],[1,343,1,56,49,392,8,56,1,1],[1,49,49,1,56,49,56,49,8,56,1,1,
1],[1,49,343,343,1,56,49,56,49,392,49,392,8,56,56,56,1,1,1,1],[1,49,49,1,56,
49,49,56,49,8,49,56,1,1,1,1],[1,49,343,49,343,1,56,343,49,56,49,392,49,49,392,
8,49,56,56,56,1,1,1,1,1,1],[1,49,49,1,56,49,49,56,343,49,8,49,56,49,1,1,1,1,
1],[1,49,343,49,343,1,56,49,343,49,56,49,392,343,49,49,392,8,49,49,56,56,49,
56,1,1,1,1,1,1,1,1],[1,49,343,49,343,1,56,49,343,49,56,343,49,392,343,49,49,
392,343,8,49,49,56,49,56,49,56,49,1,1,1,1,1,1,1,1,1,1]],
[1,2,3,4,6,7,7,8,12,14,14,16,21,21,24,28,42,42,48,49,56,84,98,112,147,168,294,
336,343,686,1029,1372,2058,2744,4116,5488,8232,16464],
[38,28,19,28,19,38,27,28,19,28,27,19,28,18,19,28,28,18,19,33,28,28,27,28,27,