tmalt1.tom

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

98,97,96,98,97,95,98,96,96,75,76,77,78,103,126,124,125,104,104,104,104,106,
106,105,106,132,132,129,114,114,96,97,98,121,120,131,116,103,104,105,106,132,
132,126,125,126,124,125,114,115,116,132,118,119,120,121,122,131,124,125,126,
132,132,132,133,131,132,133,134,135,136,137],
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,5,4,1,1,5,1,1,1,1,1,2,1,1,1,1,2,2,1,2,3,3,1,14,6,
6,6,1,7,10,8,4,4,5,1,1,2,2,2,2,2,2,3,3,2,36,5,4,14,20,6,43,42,10,44,7,43,38,
42,8,44,25,17,39,40,14,8,2,7,8,7,9,9,36,36,6,36,49,49,6,38,38,44,43,42,21,22,
101,102,48,28,89,59,92,91,49,92,91,81,49,64,101,102,49,118,119,100,99,122,101,
112,92,91,92,91,117,130,123,117,130,134,135,136,137],
[(1,2,3),(2,3,4,5,6,7,8)],
[[[[]]],[[[2,1,1,1,2,1,1,1,2,1,1,1]]],[[[1,-1,2,1,1,1,2,-1]]],[[[1,1]]],[[[1,
-1,2,-1,1,-1,2,-1]]],[[[1,-1],[1,1,2,-2,3,1,2,1,1,1,2,1,3,1]],[[1,-1],[3,1,2,
-1,1,1,2,-1,3,1,2,2]]],[[[1,1,2,1],[3,1,2,1,3,1,1,-1,2,1,1,-1,2,-1]],[[2,1,1,
-1],[3,1,2,1,3,1,2,1]]],[[[1,1,2,1],[2,2,1,-1],[3,1,4,-2,3,-1]],[[1,-1],[2,1,
1,-1,2,1],[3,1,4,-2,3,-1]]],[[[1,1,2,1],[2,1,3,1],[1,-1,4,1,3,1,4,1,3,1]],[[2,
1,1,1,2,1,1,1,2,1,1,1]]],[[[1,-1],[3,1,2,-1,1,1,2,-1,3,1,2,2]],[[1,1,2,2,1,-1,
2,-1,1,1,2,-1]]],[[[1,-1],[2,1,1,-1,2,1],[3,1,4,-2,3,-1]],[[1,-1,2,2,1,-1,2,
2]]],[[[2,2,1,-1]]],[[[2,1,1,1,2,-3,1,1,2,1]]],[[[2,2,1,-1,2,-1,1,-1]]],[[[1,
-1],[1,1,2,1],[3,1,2,1,4,2,3,1]],[[2,1,1,-1],[3,1,2,1,3,1,2,1]]],[[[1,-1],[3,
1,2,-1,1,1,2,-1,3,1,2,2]],[[1,1,2,2,1,1,2,-1,1,1,2,-1]]],[[[1,1,2,1],[2,1,3,
2]]],[[[1,1,2,1]]],[[[1,-1],[1,1,2,-2,3,1,2,1,1,1,2,1,3,1]],[[2,2,1,1,2,1,1,1,
2,-1]]],[[[2,1]]],[[[1,-1],[1,1,2,1],[2,1,4,1],[4,1,3,1,5,-1,4,-1,3,1,5,
-1]],[[1,1,2,1],[3,1,1,1,2,1,3,1]],[[1,1,2,1],[1,-1,3,-1,2,-1],[4,1,3,-1,4,1,
3,1]]],[[[1,1,2,1],[1,-1,3,-1,2,-1],[4,1,3,-1,4,1,3,1]],[[2,1,1,-1],[3,1,2,1,
3,1,2,1]],[[1,1,2,1],[3,1,2,1,3,1,1,-1,2,1,1,-1,2,-1]]],[[[1,1,2,1],[3,1,2,2,
1,1,3,-1,2,-1,3,-1]],[[2,2,1,-1,2,-1,1,1,2,-1]],[[1,1,2,-2,1,1,2,1,1,-1,2,
1]]],[[[1,-1],[1,1,2,1],[3,1,2,1,4,2,3,1]],[[2,1,1,1,2,1,1,1,2,1,1,1]],[[1,1,
2,1],[3,1,1,1,2,1,3,1]]],[[[1,1,2,1],[1,-1,3,-1,2,-1,3,1,2,1,1,1,2,-1]],[[1,1,
2,1],[3,1,1,-1,2,2,3,1]]],[[[2,1,1,1,2,1,1,1,2,1,1,-1,2,1]],[[1,1,2,1],[3,1,1,
1,2,1,3,1]]],[[[1,-1],[3,1,2,1,1,-1,2,2,1,-1,2,-1,3,1]],[[1,1,2,2,1,-1,2,2,1,
1]]],[[[1,1,2,1],[2,2,1,-1],[3,1,4,-2,3,-1]],[[1,1,2,2,1,-1,2,2,1,1]],[[1,
-1],[2,1,1,-1,2,1],[3,1,4,-2,3,-1]]],[[[1,-1],[3,1,2,1,1,-1,2,1,3,1,2,2,1,
1]],[[1,1,2,3,1,-1,2,1,1,1]]],[[[1,1,2,-3,1,1,2,-1]],[[1,1,2,-1,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,1]]],[[[2,1,1,-1,2,-2,
1,-1,2,1,1,-1,2,1]],[[1,1,2,-1,1,-1,2,1]]],[[[2,2,1,-1,2,2,1,-1]],[[1,1,2,-1,
1,-1,2,1]]],[[[1,-1],[1,1,2,-2,3,1,2,1,1,1,2,1,3,1]],[[1,1,2,2,1,-1,2,-1,1,1,
2,-1]]],[[[1,-1],[1,1,2,-2,3,1,2,1,1,1,2,1,3,1]],[[1,-1],[2,1,1,-1,2,1],[3,1,
4,-2,3,-1]]],[[[1,1,2,-1],[3,1,2,-1,1,1,2,1,3,-1]],[[2,1,1,1,2,1,1,1,2,
-2]]],[[[1,1,2,-2,1,-1,2,2]],[[1,1,2,-1,1,-1,2,1]]],[[[1,-1,2,-2,1,-1,2,1,1,
-1,2,1]],[[1,1,2,2,1,1,2,-1,1,1,2,-1]]],[[[1,-1],[1,1,2,1],[4,1,3,1,2,1,4,1,3,
1,4,-1]],[[1,1,2,1],[2,-1,3,2,2,1]]],[[[1,1,2,-1,1,1,2,2,1,-1,2,1,1,1]],[[2,2,
1,1,2,1,1,1,2,-1]]],[[[1,1,2,-1],[3,1,2,-1,1,1,2,1,3,-1]],[[2,2,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,2]],[[1,1,2,1,1,1,2,
1]]],[[[1,-1],[3,1,2,-1,1,1,2,-1,3,1,2,2]],[[2,2,1,1,2,1,1,1,2,-1]]],[[[1,-1,
2,2,1,-1,2,2]],[[1,-1,2,1,1,1,2,1,1,-1]]],[[[1,1,2,1],[1,-1,3,-1,2,-1,3,2,2,
1]],[[1,1,2,-1],[3,1,2,-1,1,1,2,1,3,-1]]],[[[1,-1],[1,1,2,-2,3,1,2,1,1,1,2,1,
3,1]],[[2,2,1,1,2,-1,1,-1,2,-1]]],[[[1,-1],[3,1,2,1,1,1,2,2,1,-1,2,1,3,-1]],[[
1,-1,2,2,1,-1,2,2]]],[[[1,1,2,2]]],[[[1,1,2,1],[3,1,2,2,1,-1,2,-1,1,1,2,-1,3,
-1]],[[1,1,2,-2,1,1,2,1,1,-1,2,1]],[[1,-1],[1,1,2,1],[3,1,4,-1,2,-1,4,1,2,1,3,
-1]],[[1,1,2,1],[3,1,2,2,1,1,3,-1,2,-1,3,-1]]],[[[1,-1],[1,1,2,1],[2,1,4,1,3,
1,4,-1,2,2,3,-1]],[[1,1,2,1],[3,1,1,1,2,1,3,1]]],[[[2,1,1,-1,2,2,1,1,2,1,1,
1]],[[1,1,2,-1,1,-1,2,1]]],[[[1,-1],[1,1,2,1],[3,1,2,1,1,-1,2,-1,4,-1,2,-1,3,
-1,4,-1]],[[1,1,2,-1,1,-1,2,1]],[[1,-1],[3,1,2,2,1,-1,2,1,1,1,2,1,3,1]]],[[[1,
-1],[1,1,2,1],[3,1,2,2,4,2,1,1,2,-1,3,-1]],[[1,1,2,-1,1,-1,2,1]],[[1,-1],[1,1,
2,1,3,1,2,2,3,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]]],[[[1,1,2,-2,1,1,2,1,1,-1,2,1]],[[1,1,2,1],[3,1,1,1,2,1,3,1]],[[2,2,1,-1,
2,-1,1,1,2,-1]]],[[[1,1,2,1],[3,1,2,2,1,1,3,-1,2,-1,3,-1]],[[2,1,1,1,2,1,1,1,
2,1,1,1]],[[2,2,1,-1,2,-1,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,-1,2,1]]],[[[2,1,1,1,2,1,1,1,2,1,1,-1,2,1]],[[1,1,2,1],[3,1,1,1,2,1,
3,1]],[[2,1,1,-1],[3,1,2,1,3,1,2,1]]],[[[1,1,2,-1],[3,1,2,-1,1,1,2,1,3,-1]],[[
2,1,1,-1,2,1,1,-1,2,-2]],[[1,1,2,-1,1,-1,2,1]]],[[[1,1,2,-1],[3,1,2,-1,1,1,2,
1,3,-1]],[[2,1,1,1,2,1,1,1,2,1,1,1]]],[[[1,1,2,-2,1,-1,2,1,1,-1,2,1]],[[2,1,1,
1,2,1,1,1]]],[[[1,-1],[1,1,2,1],[1,1,2,-1,3,-1,4,1,2,1,4,1,3,1,4,-1]],[[1,1,2,
1],[2,1,3,1,2,1,1,-1,2,-1,3,-1]]],[[[1,1,2,1],[2,2,1,-1],[4,1,3,2,4,-1]],[[1,
1,2,1],[1,1,2,-1,3,1,2,1,3,1]]],[[[1,-1,2,-2,1,-1,2,1,1,-1,2,1]],[[1,-1,2,2,1,
-1,2,2]]],[[[1,-1],[1,1,2,-2,3,1,2,1,1,1,2,1,3,1]],[[2,2,1,1,2,1,1,1,2,-1]],[[
1,-1],[3,1,2,-1,1,1,2,-1,3,1,2,2]]],[[[1,-1],[3,1,2,1,1,1,2,2,1,-1,2,1,3,
1]],[[1,-1,2,2,1,1,2,1,1,1,2,1]],[[1,-1,2,2,1,-1,2,2]]],[[[1,1,2,-1,1,-1,2,
1]],[[2,1,1,1,2,1,1,1]]],[[[1,-1],[2,1,1,-1,2,1],[3,1,4,-2,3,-1]],[[1,1,2,-3,
1,1,2,-1]]],[[[1,-1],[2,1,1,-1,2,1],[3,1,4,-2,3,-1]],[[1,1,2,1],[2,1,3,1,1,1,
3,1]]],[[[1,-1],[1,1,2,1],[3,1,2,1,4,2,3,1]],[[2,1,1,-1],[3,1,2,1,3,1,2,1]],[[
1,1,2,2,1,-1,2,2,1,1]]],[[[1,1,2,2,1,-1,2,-1,1,1,2,-1]],[[1,1,2,-1],[3,1,2,-1,
1,1,2,1,3,-1]],[[1,1,2,-1],[3,1,1,-1,3,-1]]],[[[1,1,2,1],[3,1,2,1,1,-1,2,1,3,
1]],[[2,2,1,-1,2,2,1,-1]]],[[[1,1,2,2,1,-1,2,2,1,1]],[[2,1,1,1,2,2,1,-1]]],[[[
1,-1],[3,1,2,1,1,1,2,1,1,-1,2,-2,3,-1]],[[2,1,1,1,2,1,1,1,2,1,1,1]],[[1,-1],[
1,1,2,-2,3,1,2,1,1,1,2,1,3,1]]],[[[1,1,2,-3,1,1,2,-1]],[[2,1,1,1,2,1,1,
1]]],[[[1,-1],[3,1,2,1,1,1,2,1,1,-1,2,-2,3,-1]],[[1,1,2,1],[3,1,1,-1,2,1,3,
1]]],[[[1,-1],[1,1,2,-2,3,1,2,1,1,1,2,1,3,1]],[[2,1,1,1,2,1,1,1]]],[[[1,-1],[
3,1,2,1,1,1,2,1,1,-1,2,-2,3,-1]],[[1,1,2,1,1,1,2,1]]],[[[2,1,1,1,2,1],[1,-1,3,
2]],[[2,1,1,1,2,1,1,-1]]],[[[2,2,1,-1,2,2,1,-1]],[[1,1,2,-1,1,-1,2,1]],[[1,1,
2,-1,1,1,2,1,1,1]]],[[[1,1,2,1],[1,-1,3,-1,2,-1,3,1,2,1,1,1,2,-1]],[[1,1,2,-1,
1,-1,2,1]],[[1,1,2,1],[3,1,1,-1,2,2,3,1]],[[1,-1,2,2,1,-1,2,2]]],[[[1,1,2,-3,
1,1,2,-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,2,
1,1,1]],[[2,2,1,-1,2,2,1,-1]],[[1,1,2,-1,1,-1,2,1]]],[[[2,2,1,-1,2,1,1,1,2,1,
1,1]],[[1,1,2,-3,1,1,2,-1]],[[1,1,2,-1,1,-1,2,1]]],[[[1,1,2,1],[3,1,1,1,2,1,3,
1]],[[2,2,1,-1,2,-1,1,1,2,-1]],[[2,1,1,1,2,1,1,1,2,1,1,1]]],[[[2,2,1,-1,2,1,1,
1,2,1,1,1]],[[2,2,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,2,-1,3,1]],[[1,1,2,-1],[3,1,2,-1,1,1,2,1,3,-1]]],[[[1,-1],[3,1,
2,1,1,1,2,1,1,-1,2,-2,3,-1]],[[1,1,2,2,1,1,2,1,1,-1,2,1]]],[[[1,1,2,1,1,1,2,
1]],[[2,1,1,1,2,1,1,1]]],[[[1,-1],[1,1,2,-2,3,1,2,1,1,1,2,1,3,1]],[[2,2,1,1,2,
-1]]],[[[1,1,2,2,1,-1,2,2,1,1]],[[1,1,2,1,1,1,2,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,-1]],[[2,1,1,1,2,1,1,1]],[[2,1,1,-1],[
3,1,2,1,3,1,2,1]]],[[[1,-1],[2,1,1,-1,2,1],[3,1,4,-2,3,-1]],[[1,1,2,-1],[3,1,
2,-1,1,1,2,1,3,-1]],[[1,1,2,2,1,-1,2,2,1,1]]],[[[1,-1],[3,1,2,2,1,-1,2,1,1,1,
2,1,3,1]],[[1,-1],[3,1,2,1,1,1,2,2,1,-1,2,1,3,1]]],[[[1,1,2,-2,1,-1,2,1,1,-1,
2,1]],[[2,1,1,1,2,1,1,1,2,1,1,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,2,1,-1,2,1,1,1,2,1,1,1]],[[2,2,1,-1,2,2,1,-1]]],[[[1,
-1],[1,1,2,-2,3,1,2,1,1,1,2,1,3,1]],[[2,3,1,1,2,-1,1,1]],[[2,1,1,1,2,-1,1,
-1]]],[[[2,2,1,1,2,-1,1,-1,2,-1]],[[2,1,1,-1],[3,1,2,1,3,1,2,1]],[[1,-1,2,-1,
1,1,2,1]]],[[[1,-1,2,2,1,-1,2,1,1,-1,2,-1]],[[2,2,1,-1,2,2,1,-1]]],[[[1,-1,2,
1,1,-1,2,2,1,-1,2,-1]],[[2,1,1,-1],[3,1,2,1,3,1,2,1]]],[[[2,2,1,1,2,-1,1,1,2,
-1]],[[2,-1,1,1,2,1]],[[1,-1]]],[[[1,-1],[1,1,2,-2,3,1,2,1,1,1,2,1,3,1]],[[2,
2,1,-1,2,-1,1,-1]]],[[[2,2,1,1],[1,1,2,1,3,-2,1,1]],[[2,3,1,-1,2,1,1,-1,2,
-1]]],[[[2,2,1,-1,2,2,1,-1]],[[1,1,2,-1,1,-1,2,1]],[[1,-1,2,-1,1,1,2,1]],[[2,
2,1,-1,2,-1,1,1,2,-1]]],[[[1,-1],[3,1,2,1,1,1,2,1,1,-1,2,-2,3,-1]],[[1,1,2,
1],[3,1,1,-1,2,1,3,1]],[[1,-1],[1,1,2,-2,3,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,1,-1,2,1]],[[2,2,1,-1,2,-1,1,1,2,-1]]],[[[1,-1,2,2,
1,-1,2,2]],[[2,2,1,-1,2,1,1,-1,2,1]],[[1,1,2,-1,1,-1,2,1]]],[[[1,-1,2,1,1,-1,
2,3]],[[1,1,2,-3,1,1,2,-1]],[[1,1,2,-1,1,-1,2,1]]],[[[1,1,2,2,1,-1,2,2]],[[1,
1,2,-1,1,-1,2,1]]],[[[1,-1],[1,1,2,-2,3,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,1,1,2,-1,1,1]]],[[[1,-1,2,2,1,-1,2,2]],[[1,1,2,1,1,-1,2,1,
1,-1]],[[1,1,2,1,1,1,2,-1,1,1]]],[[[2,2,1,-1,2,2,1,-1]],[[2,1,1,1,2,1,1,1]],[[
2,2,1,-1,2,-1,1,1,2,-1]]],[[[1,-1,2,1,1,-1,2,2,1,1,2,1]],[[1,1,2,-1,1,-1,2,
1]]],[[[2,1,1,1,2,1],[1,-1,3,2]],[[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,2]],[[2,-1,1,1,2,1]]],[[[2,1,1,-1],[3,1,2,1,3,1,2,
1]],[[1,-1,2,3,1,-1]]],[[[1,-1,2,2,1,-1,2,2]],[[2,1,1,-1,2,1,1,-1,2,-2]],[[1,
1,2,1,1,1,2,1]]],[[[2,3,1,1,2,1,1,1]],[[1,1,2,-1,1,-1,2,1,1,-1,2,1]]],[[[1,1,
2,-2,1,-1,2,1,1,-1,2,1]],[[2,1,1,1],[2,1,3,-1,1,-1,3,-1]]],[[[1,-1,2,1,1,-1,2,
2,1,-1,2,-1]],[[1,1,2,1],[3,2,2,1,1,1]]],[[[1,-1],[1,1,2,2,3,1,2,1,1,-1,2,1,3,
-1]],[[1,-1,2,2,1,-1,2,1,1,-1,2,-1]],[[2,2,1,-1,2,2,1,-1]]],[[[1,-1,2,1,1,-1,
2,3]],[[2,1,1,-1,2,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,1,-1,2,1]]],[[[1,-1,2,2,1,-1,2,2]],[[1,1,2,-3,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,-1,2,
3]],[[2,2,1,-1,2,-1,1,1,2,-1]],[[1,1,2,-1,1,-1,2,1]]],[[[2,2,1,-1,2,2]],[[2,
-1,1,1,2,1]],[[1,-1]]],[[[2,1,1,-1,2,3]],[[1,-1]]],[[[1,1,2,-2,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,1]]],[[[1,-1,2,-2,1,-1,2,1,1,
-1,2,1]],[[1,1,2,2,1,1,2,-2]],[[2,1,1,1,2,-1]]],[[[1,-1],[3,1,1,1,2,-2,3,1,2,
1,1,1,2,1]],[[1,-1],[3,1,2,3,1,-1,2,-1,3,1]]],[[[1,-1],[3,1,2,1,1,1,2,1,3,-1,
2,1,1,1,2,-1]],[[1,-1],[3,1,2,1,1,1,2,1,3,1,2,1,1,1]]],[[[1,-1,2,1,1,1,2,
-1]],[[2,2,1,-1,2,-1,1,-1]]],[[[1,-1],[3,1,2,-1,1,1,2,-1,3,1,2,2,1,-1]],[[2,1,
1,1]]],[[[2,2,1,1,2,-1,1,-1,2,-1]],[[1,1,2,1]]],[[[1,1]],[[2,2,1,-1,2,-1,1,
-1]]],[[[1,1]],[[2,1]]]]);
ACLT( "A8",
"sortperm",( 15, 16)( 24, 25)( 26, 29)( 27, 28)( 30, 32, 33)( 39, 40, 41)
( 42, 44)( 50, 54)( 51, 55, 52)( 56, 58, 57)( 60, 61)( 65, 71, 73, 74, 66, 69,
 67, 68, 72, 70)( 80, 82)( 83, 85)( 84, 86)( 87, 90, 88, 89)( 94, 95)( 96, 98)
(105,106)(107,108)(110,112,111,113)(115,116)(124,126)(127,129,128));



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