tmlin2.tom

GAP源码

1,2,12,23],[1,2,4,5,6,13,14,15,24],[1,3,11,25],[1,3,12,26],[1,2,3,4,8,13,17,
27],[1,2,3,4,5,8,9,14,17,18,28],[1,2,3,4,6,8,10,15,17,19,29],[1,2,3,4,6,9,15,
20,30],[1,2,3,4,5,10,14,21,31],[1,7,32],[1,2,3,8,11,22,25,33],[1,2,3,8,12,23,
26,34],[1,2,3,4,5,6,8,9,10,13,14,15,17,18,19,24,27,28,29,35],[1,11,12,36],[1,
2,7,16,32,37],[1,2,3,6,7,10,16,20,38],[1,2,3,5,7,9,16,21,39],[1,2,11,12,22,23,
36,40],[1,3,11,12,25,26,36,41],[1,2,3,4,6,9,11,15,20,25,30,42],[1,2,3,4,5,10,
12,14,21,26,31,43],[1,2,4,11,12,22,23,36,40,44],[1,2,3,8,11,12,22,23,25,26,33,
34,36,40,41,45],[1,2,3,4,5,6,8,9,11,13,14,15,18,20,22,24,25,30,33,42,46],[1,2,
3,4,5,6,8,10,12,13,14,15,19,21,23,24,26,31,34,43,47],[1,2,4,11,12,13,22,23,36,
40,44,48],[1,2,3,4,8,11,12,17,22,23,25,26,33,34,36,40,41,44,45,49],[1,2,3,4,8,
11,12,13,17,22,23,25,26,27,33,34,36,40,41,44,45,48,49,50],[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]],
0,[[1],[1,1],[1,1],[1,1,1],[1,3,1],[1,3,1],[1,1],[1,1,1,1],[1,3,1,1],[1,3,1,
1],[1,1],[1,1],[1,1,1,1],[1,5,1,2,1],[1,5,1,2,1],[1,5,1,1],[1,1,1,1,1,1],[1,7,
1,3,1,2,1],[1,7,1,3,1,2,1],[1,3,4,1,1],[1,3,4,1,1],[1,7,1,1],[1,7,1,1],[1,9,1,
2,2,1,1,1,1],[1,7,1,1],[1,7,1,1],[1,1,1,1,1,1,1,1],[1,13,1,1,6,1,4,3,1,2,1],[
1,13,1,1,6,1,4,3,1,2,1],[1,9,4,3,4,4,3,1,1],[1,9,4,3,4,4,3,1,1],[1,1,1],[1,7,
7,7,1,1,1,1],[1,7,7,7,1,1,1,1],[1,25,1,1,6,6,1,4,4,1,3,3,1,2,2,3,1,1,1,1],[1,
4,4,1],[1,25,1,5,1,1],[1,15,10,5,6,10,6,5,1],[1,15,10,5,6,10,6,5,1],[1,49,4,4,
28,28,1,1],[1,49,4,4,28,28,1,1],[1,21,28,21,14,28,8,21,14,8,14,1],[1,21,28,21,
14,28,8,21,14,8,14,1],[1,49,49,4,4,28,28,1,1,1],[1,49,49,49,4,4,28,28,28,28,
28,28,1,1,1,1],[1,49,28,21,42,14,28,56,8,21,21,21,28,14,8,21,8,14,8,1,1],[1,
49,28,21,14,42,28,56,8,21,21,21,28,14,8,21,8,14,8,1,1],[1,49,49,4,4,49,28,28,
1,1,1,1],[1,49,49,49,49,4,4,49,28,28,28,28,28,28,1,1,1,1,1,1],[1,49,49,49,49,
4,4,49,49,28,28,28,28,49,28,28,1,1,1,1,1,1,1,1],[1,1225,1225,1225,2450,2450,
1176,1225,4900,4900,200,200,1225,3675,3675,5880,1225,2450,2450,2450,2450,1400,
1400,3675,1400,1400,1225,1225,1225,2450,2450,1176,1400,1400,1225,50,1176,980,
980,50,50,175,175,50,50,175,175,50,50,50,1]],
[1,2,3,4,4,4,5,6,6,6,7,7,8,8,8,10,12,12,12,12,12,14,14,16,21,21,24,24,24,24,
24,25,42,42,48,49,50,60,60,98,147,168,168,196,294,336,336,392,588,1176,58800],
[51,35,35,35,31,30,37,35,18,19,45,45,35,24,24,16,35,28,29,30,31,33,34,24,33,
34,35,35,35,30,31,37,33,34,35,50,37,38,39,50,50,46,47,50,50,46,47,50,50,50,
51],
[1,1,1,1,1,1,1,1,3,3,1,1,1,2,2,7,1,3,3,6,5,11,12,4,11,12,1,8,8,20,21,1,11,12,
17,1,32,38,39,36,36,42,43,36,36,42,43,36,36,36,51],
[( 1, 2)( 3, 4)( 5, 8)( 6,10)( 7,13)( 9,18)(11,21)(12,24)(14,28)(15,29)(16,32)
(17,31)(19,30)(22,38)(23,39)(25,27)(26,33)(34,35)(36,49)(37,40)(41,50)(42,46)
(43,44)(47,48),( 1, 3,15)( 2,34,22)( 4,50, 8)( 5,44,41)( 6,46,21)( 7,43, 9)
(10,49,38)(11,37,20)(12,45,48)(13,40,25)(14,47,29)(16,39,17)(18,23,33)
(19,32,24)(27,31,30)(28,42,36)],
[[[[]]],[[[1,1]]],[[[2,1]]],[[[1,1,2,1],[1,1,2,-1,3,2,2,1,3,1]]],[[[1,1,2,1],[
1,1,2,-1],[4,2,3,1,4,1,3,1,1,1,2,1,1,1]],[[1,1,2,1],[3,1,1,1,2,1,1,1,3,
-2]]],[[[1,1,2,1],[2,1,3,1],[4,1,3,1,4,1,1,1,2,-1,1,1,2,-1]],[[2,1,1,1],[2,-1,
3,-1,1,1,2,1,3,-1,2,-1]]],[[[1,1,2,1],[2,1,1,1],[1,1,3,-1,4,1,3,-2,2,-1,4,
-1]]],[[[2,1,1,1],[3,1,2,-1,1,1],[4,1,3,1,4,1,3,1]]],[[[1,1,2,1],[1,1,2,-1],[
4,2,3,1,4,1,3,1,1,1,2,1,1,1]],[[1,1,2,1],[2,1,1,1],[2,1,4,-1,3,1,2,1,3,2,4,
-1]]],[[[1,1,2,1],[2,1,1,1],[1,1,2,-1,3,1,1,1,4,1,2,1,4,1,3,-1,4,1]],[[1,1,2,
1],[2,1,3,1],[4,1,3,1,4,1,1,1,2,-1,1,1,2,-1]]],[[[1,1,2,1],[1,1,2,-1],[3,1,1,
1,2,1,1,1],[2,-1,5,-1,4,-1,3,-1,2,-1,5,1,4,-1]]],[[[1,1,2,1],[1,1,2,-1,3,1,1,
1,2,1,1,1],[2,-1,4,-1,2,1,3,1,4,-1]]],[[[1,1,2,1],[2,1,1,1],[4,1,3,-1,4,1,2,
-1,3,2,4,1]]],[[[1,1,2,1],[2,1,1,1],[4,1,3,-2,4,1,3,-2,2,-1]],[[2,1,1,1],[3,1,
2,-1,1,1,3,1,2,-1]]],[[[1,1,2,1],[2,1,1,1],[4,1,3,-2,4,1,3,-2,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,1,1,3,-2]],[[2,1,1,1],[3,
1,2,-1,1,1,3,1,2,-1]]],[[[1,1,2,1],[2,1,1,1],[4,1,3,-1,4,3,3,-1]]],[[[1,1,2,
1],[2,1,1,1],[1,1,2,-1],[4,1,2,1,4,-1,3,1,5,1,4,-1,3,-2,5,-1,2,1]],[[1,1,2,
1],[2,1,1,1],[4,1,3,-2,2,-1,3,1,1,1,4,1,2,1,1,1,2,-1]]],[[[1,1,2,1],[2,1,1,
1],[1,1,2,-1,3,1,1,1,4,1,2,1,4,1,3,-1,4,1]],[[1,1,2,1],[2,1,1,1],[2,1,3,3,2,1,
4,-2]]],[[[1,1,2,1],[1,1,2,-1,3,1,1,1,2,-1,3,1,1,1]],[[1,1,2,1],[2,-1,1,1,2,
-1,1,1,2,-1,3,2]]],[[[1,1,2,1],[2,1,1,1],[3,1,1,1,4,2,3,-2]],[[2,1,1,1],[3,1,
2,-1,1,1,3,1,2,-1]]],[[[1,1,2,1],[2,1,1,1],[4,1,3,-1,4,1,2,-1,3,1,4,-1]],[[1,
1,2,1],[1,1,2,-1,3,1,1,1,2,-1,3,1,1,1]]],[[[1,1,2,1],[2,1,3,1],[4,1,3,1,4,1,1,
1,2,-1,1,1,2,-1]],[[1,1,2,1],[2,1,1,1],[3,2,4,2,3,-1]]],[[[2,1,1,1],[3,1,2,-1,
1,1,3,1,2,-1]],[[2,1,1,1,2,1,1,1,2,-1,1,1,2,-1]]],[[[1,1,2,1],[2,1,1,1],[1,1,
2,-1],[4,1,3,-1,4,1,2,-1,5,1,3,2,4,1,5,-1,2,-1]],[[1,1,2,1],[1,1,2,-1],[4,1,3,
1,1,1,2,-1,1,1,3,-1,4,-1]]],[[[1,1,2,1],[2,1,1,1],[1,1,2,-1],[4,1,3,-1,4,1,2,
-1,5,1,3,2,4,1,5,-1,2,-1]],[[1,1,2,1],[2,1,1,1],[3,1,1,1,4,2,3,-2]]],[[[1,1,2,
1],[2,1,1,1],[1,1,2,-1,3,1,1,1,4,2,2,1,4,-1,3,1]]],[[[1,1,2,1],[1,1,2,-1],[4,
2,3,1,4,1,3,1,1,1,2,1,1,1]],[[1,1,2,1],[2,1,1,1],[4,1,3,-3,2,-1,4,-1]]],[[[1,
1,2,1],[2,1,1,1],[3,1,2,1,4,-3,1,1,3,-1,2,1,1,1]],[[1,1,2,1],[2,1,3,1],[4,1,3,
1,4,1,1,1,2,-1,1,1,2,-1]]],[[[1,1,2,1],[2,1,1,1],[4,1,3,-2,2,1,3,2,4,-1]],[[1,
1,2,1],[1,1,2,-1],[4,2,3,2,1,1]],[[1,1,2,1],[3,2,2,1,1,1]]],[[[1,1,2,1],[2,1,
1,1],[4,1,3,-2,4,1,3,-2,2,-1]],[[1,1,2,1],[2,1,1,1],[3,1,1,1,4,2,3,-2]],[[2,1,
1,1],[3,1,2,-1,1,1,3,1,2,-1]]],[[[2,1,1,1],[3,2,2,-1,1,1,2,1,1,1]]],[[[1,1,2,
1],[1,1,2,-1],[4,2,3,2,1,1]],[[1,1,2,1],[2,1,1,1],[4,2,3,-2,2,-1]]],[[[1,1,2,
1],[2,1,3,1],[4,1,3,1,4,1,1,1,2,-1,1,1,2,-1]],[[1,1,2,1],[2,1,1,1],[3,1,4,-2,
3,2,4,1]]],[[[1,1,2,1],[1,1,2,-1],[4,1,3,2,4,2,3,1]],[[1,1]]],[[[1,1,2,1],[2,
1,1,1],[1,1,2,-1],[4,1,3,-2,5,-1,2,-1,5,1,3,1,1,1,4,1,2,1,3,1]],[[1,1,2,1],[2,
1,1,1],[1,1,2,-1],[2,-1,3,1,1,1,4,1,5,-1,3,-1,2,-1,5,1,4,-1,3,-2]]],[[[1,1,2,
1],[1,1,2,-1],[4,2,3,2,1,1]],[[2,1,1,1],[3,1,2,-1,1,1,3,1,2,-1]]],[[[1,1,2,
1],[2,1,1,1],[3,2,4,2,2,1,3,2]],[[1,1,2,1],[2,1,1,1],[4,1,3,-1,4,1,2,-1,3,1,4,
-1]]],[[[1,1,2,1],[2,1,1,1],[3,2,4,2,2,1,3,2]],[[2,1,1,1],[3,1,2,-1,1,1,3,1,2,
-1]]],[[[1,1,2,1],[2,1,1,1],[1,1,3,-1,4,1,2,-1,4,-1,3,-2,2,1,1,1]],[[1,1,2,
1],[2,-1,1,1,2,-1,1,1,3,-1,2,1,1,1,2,1,3,1]],[[1,1,2,1],[2,1,1,1],[3,2,4,-1,1,
1,2,1,4,-1,1,1,3,-1]]],[[[1,1,2,1],[2,1,1,1],[1,1,2,-1],[4,1,3,-2,2,-1,5,1,3,
1,1,1,4,1,5,-1,2,-1]],[[1,1,2,1],[2,1,1,1],[2,-1,4,-1,3,-2,2,1,1,1,2,1,4,-1,3,
1]],[[1,1,2,1],[2,1,1,1],[1,1,2,-1],[5,1,3,1,1,1,4,2,3,-2,5,-1]]],[[[1,1,2,
1],[2,1,1,1],[4,1,3,-1,4,2,3,-1,4,1,2,-1]],[[2,1,1,1],[1,1,2,1,1,1,3,1,2,1,3,
1]]],[[[1,1,2,1],[2,1,1,1],[4,1,3,-1,4,2,3,-1,4,1,2,-1]],[[1,1,2,1],[3,1,1,1,
2,1,1,1,3,-2]]],[[[1,1,2,1],[2,1,1,1],[2,1,4,-1,3,1,2,1,3,2,4,-1]],[[1,1,2,
1],[3,2,1,1,2,-1,3,1,1,1,2,1,1,1]]],[[[1,1,2,1],[2,1,1,1],[2,1,3,2],[4,1,5,1,
4,1,5,1]],[[1,1,2,-1,1,1,2,-1,1,1,2,1,1,1]],[[1,1,2,1],[2,1,1,1],[2,1,4,-1,3,
1,2,1,3,2,4,-1]]],[[[1,1,2,1],[2,1,1,1],[4,2,3,-3,2,-1,4,-1]],[[1,1]]],[[[1,1,
2,1],[2,1,1,1],[4,2,3,-3,2,-1,4,-1]],[[1,1,2,1],[2,1,1,1],[4,1,3,-1,4,1,2,-1,
3,2]]],[[[1,1,2,1],[2,-1,3,1,1,1,2,-1,3,1,1,1,2,1,1,1]],[[1,1,2,1],[2,1,1,1,2,
1,3,2,1,1,2,-1]]],[[[1,1,2,1],[2,1,1,1],[4,1,3,-2,4,1,3,-2,2,-1]],[[2,1,1,1],[
1,1,2,1,1,1,3,1,2,1,3,1]]],[[[1,1,2,1],[2,1,1,1,2,1,3,2,1,1,2,-1]],[[2,1,1,
1],[1,1,2,1,1,1,3,1,2,1,3,1]]],[[[1,1]],[[2,1]]]]);


LIBTOM( "L2(53)",
[[1],[1,2],[1,3],[1,2,4],[1,2,3,5],[1,3,6],[1,2,3,4,7],[1,8],[1,2,3,5,6,9],[1,
2,8,10],[1,2,8,11],[1,2,8,12],[1,3,6,13],[1,2,4,8,10,11,12,14],[1,15],[1,2,3,
5,6,9,13,16],[1,2,15,17],[1,8,15,18],[1,2,8,10,15,17,18,19],[1,2,3,4,5,6,7,8,
9,10,11,12,13,14,15,16,17,18,19,20]],
0,[[1],[1,1],[1,1],[1,3,1],[1,3,1,1],[1,1,1],[1,3,4,1,1],[1,1],[1,9,1,3,1,1],[
1,1,1,1],[1,13,1,1],[1,13,1,1],[1,1,1,1],[1,27,13,1,1,1,1,1],[1,1],[1,27,1,9,
1,3,1,1],[1,53,1,1],[1,53,1,1],[1,53,53,53,1,1,1,1],[1,1431,1378,6201,12402,
1378,6201,1431,4134,1431,1431,1431,1378,1431,54,1378,54,54,54,1]],
[1,2,3,4,6,9,12,13,18,26,26,26,27,52,53,54,106,689,1378,74412],
[20,14,16,7,5,16,7,14,9,14,14,14,16,14,19,16,19,19,19,20],
[1,1,1,1,3,1,4,1,6,1,8,8,1,8,1,13,15,15,15,20],
[( 1, 2)( 3, 4)( 5, 8)( 6,11)( 7,14)( 9,19)(10,21)(12,25)(13,28)(15,32)(16,33)
(17,18)(20,40)(22,42)(23,41)(24,39)(26,45)(27,37)(29,36)(30,47)(31,44)(34,49)
(35,51)(38,52)(43,46)(48,50),( 1,48, 8)( 2,17,54)( 3, 6,24)( 4,30,42)
( 5,33,23)( 7,21,20)( 9,12,50)(10,46,13)(11,19,28)(14,35,26)(15,36,25)
(16,51,34)(18,39,49)(22,52,43)(27,38,53)(29,41,47)(31,45,44)(32,37,40)],
[[[[]]],[[[1,1]]],[[[2,1]]],[[[1,1,2,1],[1,1,2,-1],[2,-1],[5,1,4,2,3,1,4,1,3,
1,1,1,2,1,1,1,5,-1]],[[1,1,2,1],[2,1,1,1],[4,1,2,1,3,2,1,1,2,-1,3,1,2,1,4,
-2]]],[[[1,1,2,1],[1,1,2,-1],[4,2,3,1,4,1,3,1,1,1,2,1,1,1]],[[1,1,2,1],[2,1,1,
1],[4,1,3,-2,2,-1,3,2,4,-1]]],[[[1,1,2,1],[2,1,1,1,3,-2]]],[[[1,1,2,1],[2,1,1,
1],[4,1,3,-2,2,-1,3,2,4,-1]],[[1,1,2,1],[3,2,2,1,1,1]]],[[[1,1,2,1],[1,1,2,
-1],[4,2,3,3]]],[[[1,1,2,1],[2,1,3,1],[4,1,3,1,4,1,1,1,2,-1,1,1,2,-1]],[[2,-1,
1,1,2,1]]],[[[1,1,2,1],[2,1,1,1],[1,1,2,-1],[4,1,3,-2,5,-1,4,2,3,-1,5,
-1]]],[[[1,1,2,1],[1,1,2,-1],[4,2,3,1,4,1,3,1,1,1,2,1,1,1]],[[1,1,2,1],[2,1,1,
1],[3,2,4,1,2,1,3,2,4,-1]]],[[[1,1,2,1],[2,1,1,1],[4,1,2,1,4,-1,3,1,4,-1,1,1,
3,-1]],[[1,1]]],[[[2,1,1,1],[3,2,2,-1,1,1,2,1,1,1]]],[[[1,1,2,1],[2,1,3,1],[4,
1,3,1,4,1,1,1,2,-1,1,1,2,-1]],[[1,1,2,1],[1,1,2,-1],[4,2,3,2,1,1]]],[[[1,1,2,
1,1,1,2,1]]],[[[1,1,2,1],[2,1,1,1],[1,1,2,-1,3,1,1,1,4,1,2,1,4,1,3,-1,4,1]],[[
2,1,1,1],[2,1,3,2,2,1,1,1,3,1,2,-1,1,1,2,-1]]],[[[1,1,2,1],[2,1,1,1],[1,1,2,
-1,3,1,1,1,4,2,3,-1,4,1]],[[2,1,1,1,2,1,1,1,2,-1,1,1,2,-1]]],[[[1,1,2,1],[2,1,
1,1],[4,1,2,1,4,-1,3,1,4,-1,1,1,3,-1]],[[1,1,2,1],[2,1,1,1,3,-2,2,1,3,2]]],[[[
1,1,2,1],[2,1,1,1,3,-2,2,1,3,2]],[[1,1,2,-1,1,1,2,1,1,1]]],[[[1,1]],[[2,
1]]]]);


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


LIBTOM( "L2(61)",
[[1],[1,2],[1,3],[1,2,4],[1,5],[1,2,3,6],[1,2,3,7],[1,2,3,8],[1,2,5,9],[1,2,5,
10],[1,2,5,11],[1,2,3,4,12],[1,2,3,4,6,7,8,13],[1,3,5,14],[1,2,4,5,9,10,11,
15],[1,2,3,5,6,9,14,16],[1,2,3,5,8,10,14,17],[1,2,3,5,7,11,14,18],[1,19],[1,2,
3,4,5,7,10,12,20],[1,2,3,4,5,8,11,12,21],[1,2,3,4,5,6,7,8,9,10,11,13,14,15,16,
17,18,22],[1,23],[1,2,19,24],[1,2,23,25],[1,3,23,26],[1,5,23,27],[1,2,3,6,23,
25,26,28],[1,2,5,9,23,25,27,29],[1,3,5,14,23,26,27,30],[1,2,3,5,6,9,14,16,23,
25,26,27,28,29,30,31],[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]],
0,[[1],[1,1],[1,1],[1,3,1],[1,1],[1,1,1,1],[1,3,1,1],[1,3,1,1],[1,1,1,1],[1,5,
1,1],[1,5,1,1],[1,3,4,1,1],[1,7,1,3,1,1,1,1],[1,1,1,1],[1,11,5,1,1,1,1,1],[1,
1,1,1,1,1,1,1],[1,15,1,1,5,3,1,1],[1,15,1,1,5,3,1,1],[1,1],[1,15,10,5,6,10,6,
5,1],[1,15,10,5,6,10,6,5,1],[1,31,1,15,1,1,5,5,1,3,3,5,1,3,1,1,1,1],[1,1],[1,
31,1,1],[1,61,1,1],[1,61,1,1],[1,61,1,1],[1,61,61,61,1,1,1,1],[1,61,61,61,1,1,
1,1],[1,61,61,61,1,1,1,1],[1,61,61,61,61,61,61,61,1,1,1,1,1,1,1,1],[1,1891,
1891,9455,1891,1891,9455,9455,1891,5673,5673,9455,9455,1891,5673,1891,1891,
1891,1830,1891,1891,1891,62,18