tmmathmx.tom

来自「GAP源码」· TOM 代码 · 共 922 行 · 第 1/5 页

1,1,1,1,3,3,2,2,3,1,1,1,1,1,1,1,1],[1,3,3,9,1,4,8,1,9,9,1,3,3,12,3,4,1,1,2,3,
3,4,1,3,1,1],[1,3,18,1,4,8,1,9,9,3,6,12,24,9,4,1,1,2,3,3,4,3,3,6,1,1],[1,3,6,
1,4,8,1,3,3,3,4,6,3,4,1,1,2,3,3,4,1,3,1,1],[1,3,3,6,9,18,1,4,8,1,3,3,9,9,9,9,
18,18,1,3,3,4,6,6,12,12,24,3,3,9,9,9,9,9,4,1,1,2,3,3,3,3,3,3,6,6,12,9,4,4,4,1,
1,3,3,3,3,3,3,3,3,6,1,4,3,3,1,1,1,1]],
[1,2,2,2,2,2,3,3,3,4,4,4,4,4,4,4,4,4,6,6,6,6,6,6,6,6,6,8,8,8,8,8,8,8,9,12,12,
12,12,12,12,12,12,12,12,12,12,16,18,18,18,24,24,24,24,24,24,24,24,24,24,24,36,
36,48,48,72,72,72,144],
[70,65,66,55,48,31,70,64,51,70,66,66,48,48,48,48,31,31,70,66,66,64,55,55,47,
47,27,66,65,48,48,48,48,48,64,70,70,68,66,66,66,66,66,66,55,55,47,48,64,64,64,
70,70,65,66,66,66,66,66,66,65,62,70,64,65,66,70,70,70,70],
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,7,1,7,8,7,1,1,8,9,3,1,3,1,3,3,1,1,10,1,
10,7,1,7,1,7,7,7,7,8,3,7,8,35,36,7,10,7,7,20,20,20,3,36,38,10,35,36,20,37,63,
36,63],
[( 1, 4,14,17)( 2,13,23, 6)( 3,12,19,15)( 5, 8, 7,16)( 9,24,18,22)
(10,20,21,11),( 1,11)( 2,20,23, 3,14,19)( 4,17, 6)( 5, 7,22)( 8,10, 9,15,18,21
 )(12,16)],
[[[[]]],[[[1,1,2,-3,1,-1]]],[[[1,1,2,1],[3,1,1,-2,3,-1]]],[[[2,1,1,1,2,-1,1,
-1,2,1,1,-1]]],[[[2,1,1,-1,2,-1,1,1,2,1]]],[[[1,1,2,1],[2,1,3,-1,2,1,1,-1,3,
-1]]],[[[1,1,2,1,1,1,2,1]]],[[[2,2]]],[[[1,1,2,1,1,-1,2,-1]]],[[[1,-2]],[[2,1,
1,-2,2,-1]]],[[[1,1,2,1],[1,1,3,-1,2,1,3,1]],[[1,1,2,1],[2,1,1,1,3,-2]]],[[[1,
1,2,1],[1,1,2,-1,3,2]]],[[[2,1,1,-2,2,-1]],[[2,1,1,-1,2,-1,1,1,2,1]]],[[[2,-3,
1,1,2,-1]]],[[[1,1,2,1],[3,1,1,-2,3,-1]],[[1,1,2,1],[2,1,3,-1,2,1,1,-1,3,
-1]]],[[[1,1,2,-3,1,-1]],[[1,1,2,1,1,-1,2,-2]]],[[[2,1,1,-1,2,-1,1,1,2,1]],[[
1,1,2,2,1,-2]]],[[[2,1,1,-1,2,1]],[[1,1,2,-3,1,-1]]],[[[2,-3]],[[1,1,2,1,1,1,
2,1]]],[[[2,1,1,-1,2,1,1,-1]]],[[[1,1,2,1,1,1,2,1]],[[2,1,1,-1,2,-1,1,1,2,
1]]],[[[2,2]],[[1,1,2,1],[1,1,3,-1,2,1,3,1]]],[[[1,-1,2,2]],[[1,1,2,1,1,1,2,
1]]],[[[1,1,2,1,1,-2,2,2]]],[[[1,1,2,1,1,1]]],[[[2,2]],[[1,1,2,-1,1,1,2,-1,1,
-1]]],[[[1,1,2,1,1,-1,2,-1]],[[2,1,1,-1,2,-1,1,-2]]],[[[1,-2]],[[1,1,2,1],[1,
1,2,-1,3,2]]],[[[1,-2]],[[2,1,1,-2,2,-1]],[[1,1,2,-3,1,-1]]],[[[1,-2]],[[1,1,
2,1],[3,-3,2,1]]],[[[1,1,2,-3,1,-1]],[[1,-2,2,-1,1,1,2,1]],[[1,1,2,1,1,-1,2,
-2]]],[[[2,2,1,1]],[[2,1,1,-1,2,-1,1,1,2,1]]],[[[2,2,1,-1]],[[2,1,1,-1,2,-1,1,
1,2,1]]],[[[1,1,2,-3,1,-1]],[[2,-3,1,1,2,-1]]],[[[2,2]],[[1,1,2,1,1,1,2,
1]]],[[[2,2]],[[1,-2]]],[[[1,-2]],[[2,1,1,-1,2,1,1,-1]]],[[[1,-2]],[[1,1,2,1,
1,-1,2,-1]]],[[[1,1,2,2]],[[2,1,1,-1,2,1,1,-1]]],[[[1,-1,2,-1]],[[2,1,1,-1,2,
1,1,-1]]],[[[1,-1,2,2]],[[2,1,1,-1,2,1,1,-1]]],[[[1,1,2,-1]]],[[[2,-3]],[[2,1,
1,-1,2,1,1,-1]]],[[[2,1,1,-1,2,1,1,-1]],[[1,1,2,-3,1,1]]],[[[1,-1,2,-1]],[[1,
-1,2,2]]],[[[1,-1,2,2]],[[1,-2,2,1,1,-1]]],[[[1,1,2,1,1,1]],[[1,-2,2,-1,1,1,2,
1]]],[[[1,-2]],[[1,1,2,1,1,-1,2,-2]],[[1,-2],[2,-1,1,1,2,1]]],[[[2,-1]],[[1,1,
2,1,1,1]]],[[[2,2]],[[1,1,2,-1,1,-2]]],[[[2,2]],[[1,1,2,1,1,1,2,-1]],[[1,-2,2,
1,1,-1,2,-1]]],[[[2,2]],[[1,1,2,1],[1,1,2,-1,3,2]]],[[[1,-2]],[[2,-3]],[[2,1,
1,-1,2,1,1,1]]],[[[2,2]],[[1,1,2,1,1,-1]]],[[[1,-1,2,-1]],[[2,-3]],[[1,-2,2,1,
1,-1]]],[[[1,1,2,-1]],[[1,1,2,2]]],[[[1,1,2,-1]],[[1,-1,2,2]]],[[[2,1,1,1]],[[
1,1,2,2]]],[[[1,-1,2,2]],[[2,1,1,-1,2,1,1,1]]],[[[1,1,2,-1]],[[1,-1,2,
-1]]],[[[2,2]],[[1,1,2,-1,1,1,2,1,1,-1]]],[[[2,2,1,1]],[[1,1,2,1,1,-1,2,
-1]]],[[[1,1,2,2,1,1]],[[1,1,2,1,1,1,2,-1]]],[[[2,-1]],[[1,1,2,-1,1,-2]]],[[[
1,1,2,-1,1,-1]],[[2,1,1,-1,2,-1]]],[[[1,1]],[[2,-3]],[[2,1,1,-1,2,1]]],[[[2,
-1]],[[1,1,2,1,1,-1]]],[[[1,1]],[[2,2]],[[2,1,1,-1,2,1]]],[[[2,2]],[[1,1,2,
-1]]],[[[1,1]],[[2,1]]]]);


LIBTOM( "M8.S4",
[[1],[1,2],[1,3],[1,4],[1,5],[1,6],[1,2,7],[1,2,8],[1,2,3,9],[1,3,10],[1,2,4,
11],[1,3,12],[1,3,13],[1,4,14],[1,3,5,15],[1,2,5,16],[1,3,5,17],[1,3,4,18],[1,
5,6,19],[1,5,6,20],[1,2,6,21],[1,2,7,22],[1,2,3,9,10,23],[1,2,8,24],[1,2,4,11,
14,25],[1,2,4,7,11,26],[1,2,3,7,8,9,27],[1,2,3,4,9,11,18,28],[1,2,4,8,11,29],[
1,2,5,7,16,30],[1,2,3,4,7,9,11,31],[1,2,3,4,8,9,11,32],[1,2,4,7,8,11,33],[1,2,
3,9,12,13,34],[1,2,3,5,9,15,16,17,35],[1,2,5,8,16,36],[1,2,7,37],[1,2,8,38],[
1,3,4,5,13,15,18,39],[1,3,5,10,13,17,40],[1,3,5,10,12,17,41],[1,3,4,5,12,15,
18,42],[1,3,6,10,43],[1,4,6,14,44],[1,2,5,6,16,19,20,21,45],[1,2,3,5,7,8,9,15,
16,17,27,30,35,36,46],[1,2,3,7,8,9,27,37,47],[1,2,3,7,8,9,12,13,27,34,48],[1,
2,3,4,7,8,9,11,22,26,27,31,33,49],[1,2,3,4,7,8,9,10,11,18,23,27,28,31,32,50],[
1,2,3,4,7,8,9,11,24,27,29,32,33,51],[1,2,3,7,8,9,27,38,52],[1,2,3,5,9,10,12,
13,15,16,17,23,34,35,40,41,53],[1,2,3,4,5,9,11,12,13,15,16,17,18,28,34,35,39,
42,54],[1,2,4,5,7,11,16,26,30,37,55],[1,2,5,7,16,22,30,37,56],[1,2,4,5,8,11,
16,29,36,38,57],[1,2,5,8,16,24,36,38,58],[1,2,3,4,7,8,9,11,14,18,25,26,28,29,
31,32,33,59],[1,2,3,6,9,10,21,23,43,60],[1,3,5,6,10,12,17,20,41,43,61],[1,2,6,
7,21,22,62],[1,2,6,8,21,24,63],[1,3,5,6,10,13,17,19,40,43,64],[1,2,4,6,11,14,
21,25,44,65],[1,2,3,4,7,8,9,10,11,14,18,22,23,24,25,26,27,28,29,31,32,33,49,
50,51,59,66],[1,2,3,4,5,7,8,9,11,15,16,17,22,26,27,30,31,33,35,36,37,46,47,49,
55,56,67],[1,2,3,4,5,7,8,9,10,11,12,13,15,16,17,18,23,27,28,30,31,32,34,35,36,
39,40,41,42,46,48,50,53,54,68],[1,2,3,4,5,7,8,9,11,15,16,17,24,27,29,30,32,33,
35,36,38,46,51,52,57,58,69],[1,2,3,4,7,8,9,11,12,13,22,26,27,31,33,34,38,48,
49,52,70],[1,2,3,4,7,8,9,10,11,18,23,27,28,31,32,37,38,47,50,52,71],[1,2,3,4,
7,8,9,11,12,13,24,27,29,32,33,34,37,47,48,51,72],[1,2,3,5,6,9,10,12,13,15,16,
17,19,20,21,23,34,35,40,41,43,45,53,60,61,64,73],[1,2,5,6,7,16,19,20,21,22,30,
37,45,56,62,74],[1,2,5,6,8,16,19,20,21,24,36,38,45,58,63,75],[1,2,3,4,5,7,8,9,
10,11,12,13,14,15,16,17,18,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,
39,40,41,42,46,47,48,49,50,51,52,53,54,55,56,57,58,59,66,67,68,69,70,71,72,
76],[1,2,3,4,6,7,8,9,10,11,14,18,21,22,23,24,25,26,27,28,29,31,32,33,43,44,49,
50,51,59,60,62,63,65,66,77],[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]],
0,[[1],[1,1],[1,1],[1,1],[1,1],[1,1],[1,1,1],[1,1,1],[1,1,2,1],[1,3,1],[1,1,2,
1],[1,1,1],[1,1,1],[1,3,1],[1,1,2,1],[1,1,2,1],[1,1,2,1],[1,1,2,1],[1,3,1,1],[
1,3,1,1],[1,1,1,1],[1,1,3,1],[1,1,6,3,4,1],[1,1,3,1],[1,1,6,3,4,1],[1,1,4,1,2,
1],[1,1,2,1,1,1,1],[1,1,2,4,1,2,4,1],[1,1,4,1,2,1],[1,1,4,1,2,1],[1,1,2,2,1,1,
1,1],[1,1,2,2,1,1,1,1],[1,1,2,1,1,1,1],[1,1,2,1,1,1,1],[1,1,2,4,1,2,2,2,1],[1,
1,4,1,2,1],[1,1,1,1],[1,1,1,1],[1,1,2,2,1,1,1,1],[1,3,2,1,1,1,1],[1,3,2,1,1,1,
1],[1,1,2,2,1,1,1,1],[1,3,4,1,1],[1,3,4,1,1],[1,1,6,1,3,1,1,1,1],[1,1,2,8,1,1,
1,4,4,4,1,2,2,2,1],[1,1,2,1,1,1,1,2,1],[1,1,2,1,1,1,2,2,1,2,1],[1,1,2,4,3,1,1,
2,1,1,1,2,2,1],[1,1,6,4,1,1,3,4,2,4,1,1,1,2,2,1],[1,1,2,4,1,3,1,2,1,1,1,2,2,
1],[1,1,2,1,1,1,1,2,1],[1,1,6,4,3,4,1,1,2,2,2,1,1,1,2,2,1],[1,1,2,4,4,1,2,1,1,
2,2,2,4,1,1,1,2,2,1],[1,1,4,4,1,2,2,1,1,1,1],[1,1,4,3,2,1,1,1,1],[1,1,4,4,1,2,
2,1,1,1,1],[1,1,4,3,2,1,1,1,1],[1,1,2,8,1,1,1,4,4,4,1,1,1,1,1,1,1,1],[1,1,6,4,
3,4,4,1,1,1],[1,3,6,4,1,3,3,4,3,1,1],[1,1,4,3,4,1,1],[1,1,4,3,4,1,1],[1,3,6,4,
1,3,3,4,3,1,1],[1,1,6,4,3,4,4,1,1,1],[1,1,6,12,3,3,3,4,6,8,12,1,1,1,2,3,3,3,3,
6,6,6,3,3,3,6,1],[1,1,2,4,8,3,1,1,2,4,4,4,1,1,1,2,2,2,2,2,2,1,1,1,2,2,1],[1,1,
6,4,8,1,1,3,4,2,2,2,4,4,4,4,1,1,1,2,2,2,2,2,2,4,4,4,4,1,1,1,2,2,1],[1,1,2,4,8,
1,3,1,2,4,4,4,1,1,1,2,2,2,2,2,2,1,1,1,2,2,1],[1,1,2,4,3,1,1,2,2,2,1,1,1,2,2,2,
2,1,1,1,1],[1,1,6,4,1,1,3,4,2,4,1,1,1,2,2,2,2,1,1,1,1],[1,1,2,4,1,3,1,2,2,2,1,
1,1,2,2,2,2,1,1,1,1],[1,1,6,12,4,3,4,3,3,6,6,6,4,4,4,1,3,3,6,6,1,4,3,1,1,1,
1],[1,1,12,4,3,6,4,4,4,1,3,3,4,3,1,1],[1,1,12,4,3,6,4,4,4,1,3,3,4,3,1,1],[1,1,
6,12,8,3,3,3,4,6,2,2,8,4,4,4,12,1,1,1,2,3,3,3,3,2,6,6,6,2,2,2,2,2,4,4,4,4,1,1,
1,3,3,3,1,2,2,2,2,2,2,6,1,1,1,1,1,1,1,1],[1,1,6,12,16,3,3,3,4,6,8,12,16,1,1,1,
2,3,3,3,3,6,6,6,4,8,3,3,3,6,4,4,4,8,1,1],[1,1,6,12,24,16,3,3,3,4,6,6,6,8,12,
12,12,12,16,16,16,1,1,1,2,3,3,3,3,6,6,6,6,6,6,6,6,6,12,12,12,12,4,8,16,3,3,3,
3,3,3,3,6,6,6,6,6,6,6,4,4,4,4,4,8,1,3,3,3,3,3,3,4,4,4,3,1,1]],
[1,2,2,2,2,3,4,4,4,4,4,4,4,4,4,4,4,4,6,6,6,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,
8,8,8,8,12,12,12,16,16,16,16,16,16,16,16,16,16,16,16,16,16,24,24,24,24,24,24,
32,32,32,32,32,32,32,48,48,48,64,96,192],
[78,78,68,59,35,45,76,76,76,73,66,68,68,65,54,46,53,54,45,45,45,78,78,78,77,
76,76,76,76,67,66,66,66,68,68,69,67,69,54,53,53,54,73,65,45,76,76,76,76,76,76,
76,68,68,67,67,69,69,66,73,73,74,75,73,65,78,76,76,76,76,76,76,73,74,75,76,78,
78],
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,6,6,1,2,1,2,1,2,1,1,2,2,2,2,1,1,1,2,1,1,
3,3,3,3,10,14,6,2,2,1,2,2,2,2,3,3,7,7,8,8,2,10,43,22,24,43,14,2,7,9,8,7,9,8,
43,62,63,27,66,77],
[( 2,10, 7, 3,12,11)( 4, 5)( 6, 8, 9),(1,6,9,8)(2,5,3,4)],
[[[[]]],[[[1,-3]]],[[[1,-3,2,-2]]],[[[1,2],[3,1,2,-1,3,-1,1,1,2,1]]],[[[1,2],[
3,1,2,-1,3,-1,2,1,1,-1,2,-1]]],[[[1,2]]],[[[1,1,2,1,1,1,2,1]]],[[[1,1,2,1,1,2,
2,1,1,1]]],[[[2,-2]],[[1,-3]]],[[[1,2,2,-2,1,1]],[[1,1,2,-2,1,2]]],[[[1,
-3]],[[1,2],[3,1,2,-1,3,-1,1,1,2,1]]],[[[2,1,1,-1,2,1,1,1,2,1,1,2]]],[[[2,1,1,
1,2,-1,1,-1,2,-1,1,-2]]],[[[1,1,2,-1,1,2,2,1,1,1]],[[1,2],[3,-1,2,-1,1,1,2,
1]]],[[[2,-2]],[[1,2],[3,1,2,-1,3,-1,2,1,1,-1,2,-1]]],[[[1,-3]],[[2,1,1,-1,2,
-1,1,1,2,1,1,2]]],[[[1,-3,2,-2]],[[1,1,2,-1,1,2,2,1,1,1,2,1]]],[[[1,-3,2,
-2]],[[1,1,2,-1,1,2,2,1,1,1]]],[[[1,2]],[[2,1,1,1,2,-1,1,2,2,1]]],[[[1,2]],[[
2,1,1,-1,2,-1,1,1,2,1]]],[[[1,1]]],[[[1,1,2,1,1,1,2,1]],[[1,2,2,-1,1,-1,2,
-1]]],[[[2,-2]],[[1,-3]],[[1,1,2,-2,1,-1]]],[[[2,1,1,-1,2,1,1,2]],[[1,2,2,1,1,
-1,2,1]]],[[[1,-3]],[[1,1,2,-1,1,1,2,1]],[[1,1,2,-1,1,2,2,1,1,1]]],[[[1,1,2,1,
1,1,2,-1]],[[1,1,2,-1,1,-1,2,-1,1,-2]]],[[[2,-2]],[[1,1,2,-1,1,-1,2,-1,1,
-2]]],[[[2,-2]],[[1,-3]],[[1,1,2,-1,1,2,2,1,1,1]]],[[[2,1,1,-1,2,1,1,2]],[[1,
1,2,1,1,-1,2,-1,1,-2]]],[[[2,1,1,-1,2,-2,1,1]],[[1,1,2,-1,1,-1,2,-1,1,
-2]]],[[[2,-2]],[[1,2,2,-1,1,-1,2,-1]]],[[[2,-2]],[[1,1,2,-1,1,1,2,1]]],[[[1,
1,2,1,1,1,2,1]],[[1,1,2,1,1,2,2,1,1,1]]],[[[2,-2]],[[2,1,1,1,2,-1,1,-1,2,-1,1,
-2]]],[[[2,-2]],[[1,-3]],[[2,1,1,-1,2,-1,1,1,2,1,1,2]]],[[[1,1,2,-2,1,-1,2,
-1]],[[1,1,2,1,1,2,2,1,1,1]]],[[[2,-1,1,-1]]],[[[1,1,2,1,1,1]]],[[[2,1]],[[1,
2],[1,1,2,-1,3,1,2,1,3,-1]]],[[[1,2,2,-2,1,1]],[[2,1,1,1,2,-1,1,-1,2,-1,1,
-2]]],[[[1,1,2,-2,1,-1]],[[2,1,1,-1,2,1,1,1,2,1,1,2]]],[[[1,-3,2,1]],[[1,1,2,
-1,1,2,2,1,1,1]]],[[[1,2]],[[2,-2,1,1]]],[[[1,1,2,-2,1,-2]],[[1,1,2,1,1,1,2,
-1,1,-2]]],[[[1,1]],[[2,1,1,-1,2,-1,1,1,2,1]]],[[[2,-2]],[[2,1,1,-1,2,-2,1,
1]],[[1,1,2,-1,1,-1,2,-1,1,-2]]],[[[2,-2]],[[1,1,2,-1,1,1]]],[[[2,-1]],[[1,1,
2,-1,1,-1,2,-1,1,-2]]],[[[2,-2]],[[1,1,2,1,1,1,2,1]],[[2,1,1,1,2,1,1,-2]]],[[[
2,-2]],[[1,1,2,-2,1,-1]],[[1,2,2,-1,1,-1,2,-1]]],[[[2,-2]],[[1,1,2,-1,1,1,2,
1]],[[1,2,2,1,1,-1,2,-1]]],[[[2,-2]],[[1,1,2,1,1,1]]],[[[2,-2]],[[1,1,2,-2,1,
-1]],[[2,1,1,-1,2,-1,1,1,2,1,1,2]]],[[[2,-1]],[[1,-3]],[[1,1,2,1,1,-1,2,-1,1,
-2]]],[[[1,1,2,-1,1,1]],[[1,1,2,1,1,1,2,-1]]],[[[1,1,2,1,1,1,2,1]],[[2,1,1,-1,
2,-2,1,1]]],[[[1,1,2,1,1,1]],[[1,1,2,-1,1,1,2,1]]],[[[1,1,2,1],[3,2,2,1]],[[2,
1,1,-1,2,1,1,2]]],[[[2,-2]],[[1,1,2,-1,1,1,2,1]],[[2,1,1,1,2,1,1,-2]]],[[[1,
1]],[[2,-2]]],[[[1,1,2,-2]],[[2,1,1,-1,2,-1,1,1,2,1]]],[[[1,-1]],[[2,1,1,1,2,
1]]],[[[1,1]],[[2,1,1,-1,2,1]]],[[[1,-2]],[[2,1,1,1,2,1,1,-1,2,-1]]],[[[1,
1]],[[1,1,2,-1,1,1,2,1]]],[[[2,-2]],[[1,1,2,1,1,1,2,1]],[[1,1,2,-2,1,-1]],[[2,
1,1,1,2,1,1,-2]]],[[[2,-2]],[[1,1,2,-1,1,1]],[[1,1,2,1,1,1,2,1]]],[[[2,-1]],[[
1,1,2,-2,1,-1]],[[1,1,2,-1,1,-1,2,-1,1,-2]]],[[[2,-2]],[[1,1,2,1,1,1]],[[1,1,
2,-1,1,1,2,1]]],[[[2,-1]],[[1,1,2,1,1,1]]],[[[2,-2]],[[2,1,1,1]]],[[[2,-1]],[[
1,1,2,-1,1,1]]],[[[1,1,2,-2,1,1]],[[2,1,1,-1,2,-1,1,1,2,1]]],[[[1,-1]],[[2,1,
1,-1,2,-2]]],[[[1,-1]],[[2,1,1,1,2,-2]]],[[[2,1]],[[1,1,2,1,1,1]],[[1,1,2,-1,
1,1]]],[[[1,-1]],[[2,-2]],[[2,1,1,1,2,-1]]],[[[1,1]],[[2,1]]]]);


LIBTOM( "4^2:D12",
[[1],[1,2],[1,3],[1,4],[1,5],[1,6],[1,7],[1,2,8],[1,2,9],[1,2,10],[1,2,3,11],[
1,2,6,12],[1,2,5,13],[1,2,14],[1,2,4,15],[1,2,16],[1,2,4,17],[1,4,5,6,18],[1,
3,5,6,19],[1,3,7,20],[1,5,7,21],[1,6,7,22],[1,2,3,8,11,23],[1,2,4,8,15,17,
24],[1,2,6,9,12,25],[1,2,9,16,26],[1,2,8,9,10,27],[1,2,10,14,28],[1,2,5,10,13,
29],[1,2,3,5,11,13,16,30],[1,2,4,5,6,12,13,15,18,31],[1,2,3,5,6,11,12,13,19,
32],[1,2,4,10,17,33],[1,2,3,11,14,16,34],[1,2,4,9,17,35],[1,2,3,4,10,11,15,
36],[1,2,3,6,11,12,14,37],[1,2,4,14,15,16,38],[1,2,4,6,12,14,15,39],[1,2,4,5,
13,15,16,40],[1,2,5,9,13,14,41],[1,2,5,8,13,14,42],[1,2,9,43],[1,2,6,8,12,16,
44],[1,2,6,10,12,16,45],[1,2,3,4,9,11,15,46],[1,2,10,47],[1,2,7,8,48],[1,3,5,
6,7,19,20,21,22,49],[1,2,8,9,10,27,50],[1,2,4,8,9,10,15,17,24,27,33,35,51],[1,
2,8,9,10,27,43,52],[1,2,3,4,8,9,10,11,15,17,23,24,27,36,46,53],[1,2,8,9,10,27,
47,54],[1,2,5,8,9,10,13,14,27,28,29,41,42,55],[1,2,6,8,9,10,12,16,25,26,27,44,
45,56],[1,2,4,5,10,13,17,29,33,47,57],[1,2,3,4,5,9,11,13,14,15,16,26,30,34,38,
40,41,46,58],[1,2,4,9,16,17,26,35,43,59],[1,2,3,4,5,6,10,11,12,13,15,16,18,19,
29,30,31,32,36,40,45,60],[1,2,3,4,5,6,9,11,12,13,14,15,18,19,25,31,32,37,39,
41,46,61],[1,2,3,5,6,8,11,12,13,14,16,19,23,30,32,34,37,42,44,62],[1,2,4,5,6,
8,12,13,14,15,16,17,18,24,31,38,39,40,42,44,63],[1,2,4,10,14,17,28,33,47,64],[
1,2,4,6,9,12,17,25,35,43,65],[1,2,3,4,6,10,11,12,14,15,16,28,34,36,37,38,39,
45,66],[1,2,3,7,8,11,20,23,48,67],[1,2,6,7,8,12,16,22,44,48,68],[1,2,5,7,8,13,
14,21,42,48,69],[1,2,3,4,8,9,10,11,15,17,23,24,27,33,35,36,46,50,51,53,70],[1,
2,4,6,8,9,10,12,15,16,17,24,25,26,27,33,35,43,44,45,51,52,56,59,65,71],[1,2,4,
5,8,9,10,13,14,15,17,24,27,28,29,33,35,41,42,47,51,54,55,57,64,72],[1,2,3,4,5,
6,8,9,10,11,12,13,14,15,16,17,18,19,23,24,25,26,27,28,29,30,31,32,34,36,37,38,