tmesym.tom

GAP源码

4,4,3,1,1],[1,10,15,10,5,15,15,6,10,10,10,15,6,5,10,6,5,1,1],[1,10,15,10,5,15,
15,6,10,10,10,15,6,5,10,6,5,1,1],[1,15,8,12,5,10,4,20,4,6,6,8,12,12,12,12,8,8,
2,15,3,3,2,2,2,6,2,6,12,4,4,4,4,12,12,12,12,8,24,8,1,1,1,2,3,3,3,3,6,6,6,2,2,
6,6,2,2,4,4,4,4,4,4,2,1,3,3,1,1,3,1,6,2,2,2,2,2,1,1,1,1,1,1,1,1],[1,15,20,5,
10,20,10,10,20,20,16,15,5,5,10,20,40,16,1,5,5,10,10,5,1,1],[1,15,12,64,5,10,4,
20,4,6,6,8,12,12,15,3,3,6,12,12,12,24,16,16,32,16,32,32,1,1,1,2,3,3,3,3,6,6,6,
3,3,3,6,4,4,4,8,1,1],[1,15,16,12,16,5,10,20,6,6,24,12,12,24,24,16,16,16,4,15,
3,3,6,6,6,12,6,6,24,12,12,24,12,24,4,8,8,16,1,3,3,12,6,6,6,12,6,12,12,4,4,4,8,
8,4,3,3,3,6,1,4,3,1,1,1,1],[1,15,20,5,10,20,10,10,20,20,40,16,15,5,5,10,20,20,
20,40,16,1,5,5,10,10,10,10,16,5,5,5,5,1,1,1],[1,15,24,12,64,5,10,4,20,4,6,6,8,
36,12,12,36,24,24,64,6,15,3,3,6,6,6,18,6,6,36,12,12,12,12,36,12,12,12,24,24,
24,16,16,32,16,32,32,1,1,1,2,3,3,3,3,18,6,6,6,6,6,18,6,6,12,12,12,12,12,12,16,
32,16,16,6,3,3,3,3,3,3,3,6,6,6,6,6,6,4,4,4,8,1,3,3,3,3,3,3,4,4,4,3,1,1],[1,15,
60,160,5,10,20,20,20,30,30,40,60,60,96,160,15,15,15,30,60,60,60,120,96,40,80,
80,80,80,160,1,5,5,10,15,15,15,15,30,30,30,40,80,15,15,15,30,10,20,20,40,16,
16,32,5,6,10,6,5,1],[1,15,40,60,160,5,10,20,20,20,30,30,40,60,60,60,60,120,
120,96,160,160,160,10,15,15,15,30,30,30,30,30,30,60,60,60,60,60,60,60,60,60,
120,120,120,96,40,80,80,80,80,160,160,1,5,5,10,15,15,15,15,30,30,30,30,30,30,
30,30,30,60,60,60,60,60,60,96,40,40,40,80,80,80,80,10,15,15,15,15,15,15,15,30,
30,30,30,30,30,10,20,20,40,40,16,16,32,5,15,15,15,15,15,15,6,10,10,10,20,20,
16,16,15,6,5,10,6,5,1,1]],
[1,2,2,2,3,4,4,4,4,4,4,4,4,4,4,4,4,4,4,5,6,6,6,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,
8,8,8,8,8,8,8,10,12,12,12,12,12,12,12,16,16,16,16,16,16,16,16,16,16,16,16,16,
16,16,16,16,16,16,16,16,16,16,20,24,24,24,24,24,24,24,32,32,32,32,32,32,32,32,
32,32,32,32,32,32,48,48,48,48,48,60,60,60,64,64,64,64,64,64,64,80,96,96,96,96,
96,120,120,128,160,192,192,320,384,960,1920],
[129,122,103,98,53,127,125,119,116,119,111,109,101,89,93,91,89,71,71,77,53,53,
53,125,122,122,122,111,109,109,113,111,107,89,89,89,98,97,89,97,98,89,71,67,
71,77,103,83,81,82,84,52,53,129,127,127,124,122,122,122,122,113,107,107,109,
111,107,113,109,111,98,89,98,97,89,97,77,103,103,103,81,82,83,84,125,122,122,
122,122,122,122,122,107,113,111,109,109,111,125,118,119,102,103,120,121,106,
127,122,122,122,122,122,122,126,125,125,125,118,119,120,121,122,126,127,125,
126,127,129,129],
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,5,1,5,1,1,1,1,1,2,2,1,1,1,2,2,1,1,1,
2,2,1,2,4,2,4,20,7,10,6,8,9,13,5,1,1,1,1,2,2,2,2,2,2,2,2,2,2,2,2,2,4,2,4,12,2,
12,20,7,47,47,49,50,48,51,7,6,6,6,2,6,6,6,6,7,11,12,12,11,54,55,56,57,47,104,
105,106,6,27,27,25,26,26,25,54,54,99,99,100,101,104,105,60,114,107,99,114,124,
128,128],
[( 1, 2,22,12,14)( 3, 7,11,13,21)( 5,17,10,16,20)( 6, 9,19, 8,15),( 1,21)
( 2,17)( 4,18)( 5,22)( 7,14)( 8,11)( 9,10)(15,16)],
[[[[]]],[[[1,1,2,1],[1,2,2,1,1,1],[3,1,4,1,3,1,4,1]]],[[[1,1,2,1],[1,2,3,2,2,
1,1,1]]],[[[1,2],[1,1,2,1],[2,1,4,1,3,1,4,1,3,1,4,-1]]],[[[2,1,1,1],[2,1,3,-1,
1,2,3,1,1,1,2,1]]],[[[1,1,2,1],[1,2,2,1,1,1],[3,1,4,1,3,1,4,1]],[[1,2],[1,1,2,
1],[3,1,2,1,4,1,1,-1,2,1,4,1,3,1]]],[[[1,1,2,1],[2,1,1,1],[3,1,4,-1,3,1,4,
-1]],[[1,1,2,1],[1,2,3,-1],[3,1,4,-1,3,1,4,-1]]],[[[1,2],[1,1,2,1],[4,1,3,1,4,
-1,2,1,4,1,3,1]],[[1,2],[2,1,1,-1,2,1,3,1,2,1,3,1,2,1,1,-1]]],[[[1,1,2,1],[2,
1,1,1],[3,1,4,-1,3,1,4,-1]],[[1,1,2,1],[1,2,2,1,1,1],[3,1,4,1,3,1,4,1]]],[[[1,
1,2,1],[2,1,1,1,3,1,1,2,3,-2]],[[1,2],[1,1,2,1],[3,1,2,1,3,1,4,-2,2,1]]],[[[1,
2],[2,1,3,1,2,1,1,-1,2,1,1,-1,2,1,3,1]],[[1,2],[1,1,2,1],[2,1,4,1,3,1,4,1,3,1,
4,-1]]],[[[1,1,2,1,1,2,2,1,1,1]]],[[[1,2],[1,1,2,1],[2,1,4,1,3,1,4,1,3,1,4,
-1]],[[1,2],[1,1,2,1],[4,2,3,-1,4,1,3,1,2,1,3,1]]],[[[1,2],[1,1,2,1],[4,2,3,
-1,2,1,3,1]]],[[[1,2],[1,1,2,1],[3,1,2,1,3,-1,4,-2,2,1]]],[[[1,1,2,1],[1,2,2,
1,1,1],[3,1,4,1,3,1,4,1]],[[1,2],[2,1,3,1,2,1,1,-1,2,1,1,-1,2,1,3,1]]],[[[1,1,
2,1],[1,2,3,2,2,1,1,1]],[[1,2],[3,1,2,1,1,1,2,1,1,-1,2,1,3,-1]]],[[[1,2],[1,1,
2,1],[3,1,2,1,3,1,4,-2]]],[[[1,1,2,1],[1,2,3,2,2,1,1,1]],[[1,2],[1,1,2,1],[4,
2,3,2,4,-1]]],[[[1,1,2,1],[2,1,1,1,3,2,1,-2,2,1]]],[[[1,2],[1,1,2,1],[4,1,3,1,
4,-1,2,1,4,1,3,1]],[[1,2],[1,1,2,1],[3,1,4,-1,2,1,4,1,3,-1,2,1]]],[[[1,1,2,1,
1,1,2,1,1,1]],[[1,1,2,1],[3,1,1,2],[4,2,3,-1]]],[[[1,1,2,1],[1,2,3,2,2,1,1,
1]],[[2,1,1,1],[1,2,3,2,2,1,1,-1]]],[[[1,1,2,1],[1,2,3,2,2,1,1,1]],[[1,2],[3,
1,2,1,1,1,2,1,1,-1,2,1,3,-1]],[[1,1,2,1],[2,1,3,-3,1,2,2,1,1,1]]],[[[1,1,2,
1],[2,1,1,1],[3,1,4,-1,3,1,4,-1]],[[1,1,2,1],[1,2,3,-1],[3,1,4,-1,3,1,4,
-1]],[[1,1,2,1],[1,2,2,1,1,1],[3,1,4,1,3,1,4,1]]],[[[1,1,2,1],[1,2,2,1,1,1],[
3,1,4,1,3,1,4,1]],[[1,2],[2,1,3,1,2,1,1,-1,2,1,1,-1,2,1,3,1]],[[1,2],[1,1,2,
1],[2,1,4,1,3,1,4,1,3,1,4,-1]]],[[[1,2],[3,1,2,1,1,1,2,1,3,1]],[[1,1,2,1],[1,
2,2,1,1,1],[3,1,4,1,3,1,4,1]]],[[[1,1,2,1],[3,1,1,2,3,-1,2,1,1,1]],[[1,1,2,
1],[2,1,1,1,3,1,1,2,3,-2]]],[[[1,2],[1,1,2,1],[3,1,4,-2,3,-1,2,1]],[[1,2],[1,
1,2,1],[4,2,3,-1,2,1,3,1]]],[[[1,2],[3,1,2,1,3,-1]],[[1,2],[3,1,2,1,1,1,2,1,3,
1]]],[[[1,2],[2,1,1,-1,2,1,3,1,2,1,3,1]],[[1,1,2,1],[1,2,2,1,1,1],[3,1,4,1,3,
1,4,1]]],[[[1,1,2,1],[1,2,3,2,2,1,1,1]],[[1,2],[3,1,2,1,1,1,2,1,1,-1,2,1,3,
-1]],[[1,2],[1,1,2,1],[4,2,3,2,4,-1]]],[[[2,1,1,1],[1,1,2,1,3,-1,1,-2,3,1,2,
1]],[[1,1,2,1],[1,2,2,1,1,1],[3,1,4,1,3,1,4,1]]],[[[1,1,2,1],[1,2,3,2,2,1,1,
1]],[[1,1,2,1],[1,2,2,1,1,1],[3,1,4,1,3,1,4,1]]],[[[2,1,1,2,2,1,1,-2,2,1]],[[
1,2],[1,1,2,1],[4,1,3,-1,2,1,4,1,3,1]]],[[[1,1,2,1],[3,2,1,-2]],[[1,1,2,1],[2,
1,3,1,1,-2,3,1]]],[[[2,1,1,1],[3,1,2,1,3,-1,1,2]],[[1,1,2,1],[1,2,2,1,1,1],[3,
1,4,1,3,1,4,1]]],[[[1,1,2,1,1,1]]],[[[1,1,2,1],[1,2,3,2,2,1,1,1]],[[1,1,2,1],[
1,2,3,-1],[3,1,4,-1,3,1,4,-1]]],[[[1,2],[3,1,2,1,1,1,2,1,3,1]],[[1,2],[1,1,2,
1],[3,1,2,1,3,-1,2,1,4,2]]],[[[1,1,2,1],[1,2,3,-1],[3,1,4,-1,3,1,4,-1]],[[1,
2],[1,1,2,1],[4,1,3,1,4,-1,2,1,4,1,3,1]],[[1,2],[2,1,1,-1,2,1,3,1,2,1,3,1,2,1,
1,-1]]],[[[1,1,2,1],[2,1,1,1,3,1,1,2,3,-2]],[[1,1,2,1],[1,2,2,1,1,1],[3,1,4,1,
3,1,4,1]]],[[[2,1,1,2,2,1,1,-1,2,1,1,1]],[[1,1,2,1],[1,2,3,2,2,1,1,1]]],[[[1,
1,2,1],[1,2,3,-1],[3,1,4,-1,3,1,4,-1]],[[1,1,2,1],[3,2,1,-2,2,1,1,1,3,1]]],[[[
1,1,2,1],[1,2,3,2,2,1,1,1]],[[1,2],[1,1,2,1],[2,1,4,1,3,1,4,1,3,1,4,-1]]],[[[
2,1,1,1],[1,2,3,1,2,1,3,-1,1,1,2,1]],[[1,2],[1,1,2,1],[2,1,4,1,3,1,4,1,3,1,4,
-1]]],[[[1,-2,2,1,1,-1,2,1]],[[1,1,2,1],[1,2,2,1,1,1],[3,1,4,1,3,1,4,1]]],[[[
1,2],[2,1,3,1,2,1,1,-1,2,1,1,-1,2,1,3,1]],[[1,2],[1,1,2,1],[4,2,3,1,2,1,3,1,4,
-1]]],[[[1,2],[3,1,2,1,3,1,2,1,1,-1]],[[1,1,2,1],[1,2,2,1,1,1],[3,1,4,1,3,1,4,
1]]],[[[1,1,2,1],[3,1,1,2,3,-1,2,1,1,1,3,1]],[[2,1,1,1],[2,1,3,-1,1,2,3,1,1,1,
2,1]]],[[[1,1,2,1],[2,1,1,1],[3,1,4,-1,3,1,4,-1]],[[1,1,2,1],[1,2,3,-1,2,1,3,
2]]],[[[1,2],[1,1,2,1],[3,1,4,2,3,-1,4,-1,2,1]],[[1,2],[2,1,3,1,2,1,1,-1,2,1,
1,-1,2,1,3,1]]],[[[2,1]],[[1,1,2,1,1,1,2,1,1,1]],[[1,1,2,1],[3,1,1,2],[4,2,3,
-1]]],[[[1,1,2,1],[2,1,1,1],[3,1,4,-1,3,1,4,-1]],[[1,1,2,1],[1,2,3,-1],[3,1,4,
-1,3,1,4,-1]],[[1,1,2,1],[1,2,2,1,1,1],[3,1,4,1,3,1,4,1]],[[1,1,2,1],[2,1,1,
-1,3,-1,1,2,3,-1,2,1,1,1]]],[[[1,1,2,1,1,2,2,1,1,1]],[[1,2],[3,1,2,1,1,1,2,1,
3,1]]],[[[1,1,2,1],[1,2,2,1,1,1],[3,1,4,1,3,1,4,1]],[[1,2],[2,1,3,1,2,1,1,-1,
2,1,1,-1,2,1,3,1]],[[1,1,2,1],[1,2,3,-1,2,1],[4,1,3,1,4,1,3,1]],[[1,2],[1,1,2,
1],[2,1,4,1,3,1,4,1,3,1,4,-1]]],[[[2,1,1,1],[1,1,2,1,3,-1,1,-2,3,1,2,1]],[[1,
1,2,1],[3,2,1,-2,2,1,1,1,3,1]]],[[[1,1,2,1],[3,1,1,-2,3,-1,2,1,3,1]],[[1,2],[
1,1,2,1],[3,1,2,1,3,-1,4,-2,2,1]]],[[[1,1,2,1],[3,1,1,-2,3,-1,2,1,3,1]],[[1,1,
2,1],[3,2,1,-2,2,1,1,1,3,1]]],[[[1,2],[3,1,2,1,1,1,2,1,3,1]],[[1,1,2,1],[1,2,
3,-1],[3,1,4,-1,3,1,4,-1]],[[1,1,2,1],[1,2,2,1,1,1],[3,1,4,1,3,1,4,1]]],[[[1,
1,2,1],[3,1,1,-2,3,-1,2,1,3,1]],[[2,1,1,1],[1,1,2,1,3,-1,1,-2,3,1,2,1]],[[1,1,
2,1],[1,2,2,1,1,1],[3,1,4,1,3,1,4,1]]],[[[1,1,2,1],[1,2,3,2,2,1,1,1]],[[1,1,2,
1],[1,2,3,-1],[3,1,4,-1,3,1,4,-1]],[[1,1,2,1],[2,1,3,-3,1,2,2,1,1,1]]],[[[1,1,
2,1,1,2,2,1,1,1]],[[1,2],[1,1,2,1],[3,1,2,1,3,-1,2,1,4,2]]],[[[1,2],[3,1,2,1,
1,1,2,1,3,1]],[[1,1,2,1],[3,2,1,2,3,-1,1,-1,2,1]]],[[[1,2],[3,1,2,1,3,-1]],[[
1,2],[3,1,2,1,1,1,2,1,3,1]],[[1,1,2,1],[1,2,2,1,1,1],[3,1,4,1,3,1,4,1]]],[[[2,
1,1,2,2,1,1,-1,2,1,1,1]],[[1,1,2,1],[1,2,2,1,1,1],[3,1,4,1,3,1,4,1]]],[[[1,1,
2,1],[3,1,1,-2,3,-1,2,1,3,1]],[[1,1,2,1],[1,2,3,-1],[3,1,4,-1,3,1,4,-1]],[[1,
1,2,1],[1,2,2,1,1,1],[3,1,4,1,3,1,4,1]]],[[[1,2],[1,1,2,1],[3,1,4,-2,3,-1,2,
1]],[[1,1,2,1],[1,2,2,1,1,1],[3,1,4,1,3,1,4,1]]],[[[2,1,1,-1,2,1,1,-1,2,1]],[[
1,1,2,1],[1,2,2,1,1,1],[3,1,4,1,3,1,4,1]]],[[[1,1,2,1],[1,2,3,2,2,1,1,1]],[[1,
2],[1,1,2,1],[4,2,3,2,4,-1]],[[1,1,2,1],[1,2,2,1,1,1],[3,1,4,1,3,1,4,1]]],[[[
2,1,1,2,2,1,1,-1,2,1,1,1]],[[1,1,2,1],[1,2,3,2,2,1,1,1]],[[1,2],[3,1,2,1,1,1,
2,1,1,-1,2,1,3,-1]]],[[[1,1,2,1],[1,2,3,2,2,1,1,1]],[[1,2],[1,1,2,1],[4,2,3,2,
4,-1]],[[1,1,2,1],[2,1,3,-3,1,2,2,1,1,1]]],[[[2,1,1,1],[3,1,2,1,3,-1,1,2]],[[
1,2],[1,1,2,1],[4,1,3,-1,2,1,4,1,3,1]]],[[[2,1,1,-1,2,1,1,-1,2,1]],[[1,2],[3,
1,2,1,3,-1]]],[[[1,1,2,1],[3,1,1,-2,2,1,3,2]],[[1,1,2,1],[1,2,3,-1],[3,1,4,-1,
3,1,4,-1]],[[1,1,2,1],[2,1,1,-1,2,1,3,1,1,-2,3,-1,2,1]]],[[[2,1,1,1,2,1,1,2,2,
1,1,1]],[[1,1,2,1],[3,1,1,-2,3,-1,2,1,3,1]]],[[[1,1,2,1],[1,-2,3,-1,2,1,1,1,3,
-1]],[[1,2],[1,1,2,1],[3,1,2,1,3,1,4,-2]]],[[[1,1,2,1,1,2,2,1]],[[1,2],[3,1,2,
1,1,1,2,1,1,-1,2,1,3,-1]]],[[[1,-1,2,1,1,1]],[[1,-2,2,1,1,-1,2,1]],[[1,1,2,
1],[1,2,2,1,1,1],[3,1,4,1,3,1,4,1]]],[[[1,-2,2,1,1,-1,2,1]],[[1,1,2,1],[3,2,1,
-2,2,1,3,1]]],[[[1,2],[3,1,2,1,3,1,2,1,1,-1]],[[1,1,2,1],[1,2,3,2,2,1,1,
1]]],[[[2,1,1,1],[1,2,3,2,2,1,1,-1]],[[1,1,2,1],[3,1,1,2,3,-1,2,1,1,1,3,
1]]],[[[2,1,1,2,2,1,1,-1,2,1,1,1]],[[1,1,2,1],[3,1,1,2],[4,2,3,-1]]],[[[1,1,2,
1],[1,2,3,-1,2,1,3,2]],[[1,2],[1,1,2,1],[4,1,3,-1,2,1,3,1,2,1,4,1]]],[[[1,1,2,
1],[1,2,3,2,2,1,1,1]],[[1,1,2,1],[2,1,1,1],[3,1,4,-1,3,1,4,-1]],[[1,1,2,1],[1,
2,3,-1],[3,1,4,-1,3,1,4,-1]]],[[[1,1,2,1,1,-1,2,1,1,2,2,1]],[[1,2],[3,1,2,1,1,
1,2,1,3,1]]],[[[1,2],[3,1,2,1,1,1,2,1,3,1]],[[1,1,2,1],[2,1,1,1],[3,1,4,-1,3,
1,4,-1]],[[1,1,2,1],[3,2,1,2,3,-1,1,-1,2,1]]],[[[1,1,2,1,1,2,2,1,1,1]],[[1,
2],[3,1,2,1,1,1,2,1,3,1]],[[1,1,2,1],[1,2,3,-1],[3,1,4,-1,3,1,4,-1]]],[[[1,
2],[3,1,2,1,3,-1]],[[1,2],[3,1,2,1,1,1,2,1,3,1]],[[1,1,2,1],[1,2,3,-1],[3,1,4,
-1,3,1,4,-1]],[[1,1,2,1],[2,1,3,-3,1,2,2,1,1,1]]],[[[2,1,1,-1,2,1,1,-1,2,
1]],[[1,1,2,1],[1,2,3,-1],[3,1,4,-1,3,1,4,-1]]],[[[1,1,2,1,1,2,2,1,1,1]],[[2,
1,1,1],[1,1,2,1,3,-1,1,-2,3,1,2,1]],[[1,2],[1,1,2,1],[3,1,2,1,3,-1,2,1,4,
2]]],[[[1,2],[3,1,2,1,1,1,2,1,3,1]],[[1,1,2,1],[2,1,1,1,3,1,1,2,3,-1]]],[[[1,
1,2,1],[3,1,1,-2,3,-1,2,1,3,1]],[[2,1,1,1],[1,1,2,1,3,-1,1,-2,3,1,2,1]],[[1,1,
2,1],[3,2,1,-2,2,1,1,1,3,1]]],[[[1,1,2,1],[1,2,3,2,2,1,1,1]],[[1,1,2,1],[3,2,
1,2,3,-1,1,-1,2,1]]],[[[1,1,2,1,1,-1,2,1,1,2,2,1]],[[1,1,2,1],[1,2,3,2,2,1,1,
1]]],[[[1,2],[3,1,2,1,3,-1]],[[1,1,2,1,1,2,2,1,1,1]]],[[[2,1,1,-1,2,1,1,-1,2,
1]],[[1,2],[3,1,2,1,3,-1]],[[1,1,2,1],[1,2,2,1,1,1],[3,1,4,1,3,1,4,1]]],[[[2,
1,1,2,2,1,1,-1,2,1,1,1]],[[1,1,2,1],[1,2,3,2,2,1,1,1]],[[1,1,2,1],[1,2,2,1,1,
1],[3,1,4,1,3,1,4,1]]],[[[1,2],[2,1,1,1,3,1,2,1,3,1]],[[1,2],[3,1,2,1,3,1,2,1,
1,-1]],[[1,1,2,1],[2,1,1,1],[3,1,4,-1,3,1,4,-1]]],[[[1,2,2,1,1,-1,2,1,1,1]],[[
1,1,2,1,1,2,2,1,1,1]]],[[[2,1,1,1,2,1,1,1]],[[1,2],[3,1,2,1,3,1,2,1,1,-1]],[[
1,2],[2,1,1,1,2,1],[3,1,4,-1,3,1,4,1]]],[[[1,2],[1,1,2,1,3,-1,2,1,3,-1]],[[1,
1,2,1],[2,1,1,-1,2,1,3,2,1,2]]],[[[2,1,1,-1,2,1,1,1,2,1]],[[1,1,2,1,1,2,2,
1]],[[1,2],[3,1,2,1,1,1,2,1,1,-1,2,1,3,-1]]],[[[2,1,1,-1,2,1,1,-2]],[[2,1,1,1,
2,1],[3,1,1,-2,3,-1]]],[[[2,1,1,-1,2,1,1,2]],[[2,1,1,-2,2,1,1,1]]],[[[1,1,2,1,
1,1,2,1,1,1]],[[1,2],[3,1,2,1,3,1,2,1,3,-1]]],[[[1,1,2,1,1,2,2,1,1,1]],[[1,
2],[3,1,2,1,1,1,2,1,3,1]],[[1,1,2,1],[2,1,1,1],[3,1,4,-1,3,1,4,-1]],[[1,1,2,
1],[3,2,1,2,3,-1,1,-1,2,1]]],[[[1,1,2,1,1,2,2,1,1,1]],[[1,1,2,1,1,-1,2,1,1,2,
2,1]]],[[[2,1,1,-1,2,1,1,-1,2,1]],[[1,2],[3,1,2,1,3,-1]],[[1,1,2,1,1,2,2,1,1,
1]]],[[[2,1,1,-1,2,1,1,-1,2,1]],[[2,1,1,-2,2,1,1,1,2,1,1,-1]]],[[[1,2],[3,1,2,
1,3,-1]],[[2,1,1,-2,2,1,1,1,2,1,1,-1]],[[2,1,1,2,2,1,1,-1,2,1,1,1]]],[[[1,1,2,
1,1,1]],[[1,2],[2,1,1,1,2,1,3,-1,2,1,3,-1]]],[[[1,2],[3,1,2,1,3,-1]],[[1,2],[
3,1,2,1,1,1,2,1,3,1]],[[1,1,2,1],[3,1,1,-2,3,-1,1,-1,2,1]]],[[[1,1,2,1,1,-2,2,
1]],[[2,1,1,1],[1,2,3,2]]],[[[2,1,1,-2,2,1,1,-1]],[[2,1,1,1],[3,1,1,1,2,1,3,
-1]]],[[[2,1,1,-1,2,1,1,1]],[[1,2],[3,1,2,1,3,1,2,1,1,-1]]],[[[2,1]],[[1,2],[
1,1,2,1,3,-1,2,1,3,-1]],[[1,2],[2,1,1,1,3,1,2,1,3,1]]],[[[1,1,2,1,1,1]],[[1,
2],[3,1,2,1,3,-1]]],[[[1,2],[3,1,2,1,3,1,2,1,1,-1]],[[2,1,1,1],[3,1,2,1,3,-1,
1,2]]],[[[1,1,2,1,1,-1]],[[1,1,2,1],[2,1,1,1,3,-2,2,1]]],[[[2,1]],[[1,-1,2,1,
1,2]]],[[[1,1,2,1],[2,1,3,2]],[[1,2],[3,1,2,1,3,-1]],[[2,1,1,2,2,1,1,-1,2,1,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]],[[2,1,1,
1,2,1,1,1]],[[2,1,1,2,2,1,1,-2]]],[[[2,1,1,-1,2,1,1,1,2,1]],[[2,1,1,1],[3,2,2,
1,1,-1]]],[[[1,2,2,1]],[[1,1,2,1,1,1]]],[[[2,1]],[[1,1,2,1,1,1]],[[1,2],[3,1,
2,1,3,-1]]],[[[1,1]],[[2,1,1,1,2,1]]],[[[1,1]],[[2,1]]]]);


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