tmlin2.tom

GAP源码

1,1,4,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,1,1,1,4,2,3,-2,2,-1]],[[1,1]]],[[[1,1,2,1],[2,1,1,1],[3,1,1,1,4,2,3,
-2]],[[2,1,1,1],[2,1,3,1,2,1,3,-1,1,1,2,1]]],[[[1,1,2,1],[3,2,1,1,2,-1],[4,2,
1,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],[4,2,3,2,1,1]]],[[[1,1,2,1],[1,1,2,-1],[4,2,3,2,1,1,2,1,1,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]]],[[[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],[1,1,2,-1,3,1,4,-3,3,
1,4,-1]]],[[[1,1,2,1],[2,1,1,1],[1,1,2,-1,3,1,4,-3,3,1,4,-1]],[[1,1,2,1],[2,1,
1,1],[4,1,2,1,3,4,4,-1]]],[[[1,1,2,1],[2,1,1,1],[4,2,3,-2,4,1,2,-1,4,-1]],[[1,
1,2,1],[1,1,2,-1],[4,2,3,2,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,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],[1,1,2,-1],[4,2,3,2,1,1]]],[[[1,1,2,1],[
2,1,1,1],[4,1,2,1,3,4,4,-1]],[[1,1,2,1],[3,2,2,1,1,1,2,1,3,1]]],[[[1,1,2,1],[
2,1,1,1],[4,1,2,1,3,2,4,1,2,1,4,-1,3,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]],[[1,1,2,1],[3,2,2,1,1,1,2,1,3,1]],[[1,1,2,
1],[2,1,1,1],[4,1,3,-4,2,-1,4,-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,3,1,1,1,2,-1,3,1,1,1]]],[[[1,1,2,1],[2,1,1,1],[4,2,3,
-2,2,-1]],[[1,1,2,1],[2,1,3,1],[2,1,1,1,3,-1,4,-2]]],[[[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],[3,2,2,1,1,1,2,1,3,1]]],[[[1,1,2,
1],[2,1,1,1],[1,1,2,-1,3,1,4,-3,3,1,4,-1]],[[1,1,2,1],[3,2,2,1,1,1,2,1,3,
1]],[[1,1,2,1],[2,1,1,1],[4,1,3,-4,2,-1,4,-1]]],[[[1,1,2,1],[1,1,2,-1,3,2],[4,
6]],[[1,1,2,1],[2,1,1,1,3,-2],[4,3]]],[[[1,1,2,1],[2,1,1,1],[4,1,3,-1,4,1,2,1,
3,2],[5,3]],[[2,1,1,1],[3,2,2,-1,1,1],[4,3]]],[[[1,1,2,1],[2,1,1,1],[3,2],[5,
1,4,-1,5,1,4,-1]],[[1,1,2,1],[3,2,2,1,1,1,2,1,3,1]]],[[[1,1,2,1],[2,1,1,1,2,1,
3,2]],[[1,1,2,1],[3,2,1,1,2,-1]]],[[[1,1]],[[2,1]]]]);
ACLT( "L2(25)",
"sortperm",( 5, 6)(10,11)(15,18,16,19,17)(21,22)(29,30));


LIBTOM( "L2(27)",
[[1],[1,2],[1,3],[1,2,4],[1,5],[1,3,6],[1,2,3,4,7],[1,8],[1,2,5,9],[1,2,5,
10],[1,2,5,11],[1,2,8,12],[1,3,6,13],[1,2,4,5,9,10,11,14],[1,3,6,8,13,15],[1,
2,3,4,5,6,7,8,9,10,11,12,13,14,15,16]],
0,[[1],[1,1],[1,1],[1,3,1],[1,1],[1,4,1],[1,3,4,1,1],[1,1],[1,1,1,1],[1,7,1,
1],[1,7,1,1],[1,13,1,1],[1,13,13,1],[1,15,7,1,1,1,1,1],[1,13,13,27,1,1],[1,
351,364,819,351,364,819,378,351,351,351,378,28,351,28,1]],
[1,2,3,4,7,9,12,13,14,14,14,26,27,28,351,9828],
[16,14,13,7,14,13,7,12,14,14,14,12,15,14,15,16],
[1,1,1,1,1,1,4,1,1,5,5,8,1,5,13,16],
[( 1, 2)( 3, 4)( 5, 7)( 6,10)( 8,14)( 9,16)(11,19)(12,22)(13,17)(15,26)(18,25)
(20,23)(21,24)(27,28),( 1,17,28)( 3, 5,25)( 4,24, 6)( 7,20,13)( 8,10,27)
( 9,23,11)(12,15,14)(16,26,18)(19,22,21)],
[[[[]]],[[[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,3,1,2,1,3,-1,1,1,2,1]]],[[[1,1,2,1],[2,1,1,1,3,-2]]],[[[
1,1,2,1],[2,1,3,1,1,1,2,-1,1,1,2,-1,3,2]],[[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],[3,2],[4,1,1,
1,2,-1,4,1]]],[[[1,1,2,1],[2,1,1,1,2,1,3,3,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,2,-1,3,3,1,1,2,1]]],[[[1,1,
2,1],[2,1,1,1],[4,1,3,-1,4,1,2,-1,4,-1,1,1,3,-1,2,1,1,1]],[[1,1,2,1],[2,1,1,
1],[3,2,4,2,3,-1]]],[[[1,1,2,1],[2,1,1,1],[4,1,2,1,3,2,4,1,2,1,4,-1,3,1]],[[2,
1,1,1,2,-1]]],[[[1,1,2,1],[2,1,1,1],[1,1,2,-1],[4,2,2,-1,3,-1,5,-2,3,-2,2,-1,
4,-1]],[[1,1,2,1],[2,1,1,1],[4,1,2,1,3,2,4,1,2,1,4,-1,3,1,1,1,2,-1]],[[1,1,2,
1],[2,1,1,1],[1,1,2,-1],[5,1,4,-1,3,1,4,-1,2,-1,5,1,3,1,1,1,4,1]]],[[[2,1,1,
1],[2,1,3,1,2,1,3,-1,1,1,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,2,1,3,4,4,-1]],[[1,1,2,1,1,1]]],[[[1,1]],[[2,1]]]]);


LIBTOM( "L2(29)",
[[1],[1,2],[1,3],[1,2,4],[1,5],[1,2,3,6],[1,7],[1,2,5,8],[1,2,3,4,9],[1,2,7,
10],[1,2,7,11],[1,2,7,12],[1,3,5,13],[1,2,4,7,10,11,12,14],[1,15],[1,2,3,5,6,
8,13,16],[1,2,15,17],[1,2,3,4,5,6,8,9,18],[1,2,3,4,5,6,8,9,19],[1,7,15,20],[1,
2,7,10,15,17,20,21],[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,
22]],
0,
[[1],[1,1],[1,1],[1,3,1],[1,1],[1,3,1,1],[1,1],[1,5,1,1],[1,3,4,1,1],[1,1,1,
1],[1,7,1,1],[1,7,1,1],[1,1,1,1],[1,15,7,1,1,1,1,1],[1,1],[1,15,1,1,5,3,1,1],[
1,29,1,1],[1,15,10,5,6,10,6,5,1],[1,15,10,5,6,10,6,5,1],[1,29,1,1],[1,29,29,
29,1,1,1,1],[1,435,406,1015,406,2030,435,1218,1015,435,435,435,406,435,30,406,
30,203,203,30,30,1]],
[1,2,3,4,5,6,7,10,12,14,14,14,15,28,29,30,58,60,60,203,406,12180],
[22,14,16,9,16,6,14,8,9,14,14,14,16,14,21,16,21,18,19,21,21,22],
[1,1,1,1,1,3,1,5,4,1,7,7,1,7,1,13,15,18,19,15,15,22],
[( 1, 2)( 3, 4)( 5, 8)( 6,11)( 7,14)( 9,19)(10,21)(12,23)(13,22)(15,27)(16,25)
(17,18)(24,29)(28,30),( 1,19,27)( 2, 3, 4)( 5,30, 7)( 6,21,18)( 8,24, 9)
(10,13,25)(11,26,29)(12,20,14)(15,23,17)(16,28,22)],
[[[[]]],[[[1,1]]],[[[2,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,3,1,1,1,2,-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,1,1],[1,1,2,-1],[5,1,4,-1,3,1,4,-1,5,1,3,2,4,-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,1,
4,-3,3,1,4,-1,2,-1]]],[[[1,1,2,1],[2,1,1,1],[2,1,4,2,2,1,1,1,4,1,2,1,3,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,3,2],[4,
1,5,1,4,1,5,-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],[2,1,1,1],[4,1,2,1,3,2,4,-1,1,1,3,-1,2,1,1,1]]],[[[1,1,2,1],[1,1,2,-1,3,1,
1,1,2,-1,3,1,1,1]],[[1,1,2,1],[1,1,2,-1],[4,2,3,2,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,-1,4,1,2,-1,3,
1,4,-1]]],[[[1,1,2,1],[1,1,2,-1],[4,2,3,3]]],[[[1,1,2,1],[1,1,2,-1],[4,2,3,2,
1,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]]],[[[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],[3,2,4,2,3,
-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],[5,7]],[[1,1,2,
1],[2,1,1,1],[4,1,3,-3,2,-1,4,-1],[5,5]]],[[[1,1,2,1],[2,1,1,1],[3,1,1,1,4,1,
3,-2,2,-1,4,-1],[5,7]],[[1,1,2,1],[2,1,1,1],[2,1,4,2,3,-2,2,-1,4,-1],[5,
5]]],[[[1,1,2,1],[2,1,1,1],[2,1,4,1,3,-1,4,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],[4,1,3,-1,4,1,2,-1,3,2]],[[1,1,2,1,1,1,2,1,1,
1]]],[[[1,1]],[[2,1]]]]);



LIBTOM( "L2(31)",
[[1],[1,2],[1,3],[1,2,4],[1,2,5],[1,2,6],[1,7],[1,2,3,8],[1,2,4,6,9],[1,2,5,6,
10],[1,2,6,11],[1,2,7,12],[1,2,3,4,13],[1,2,3,5,14],[1,3,7,15],[1,2,4,6,9,11,
16],[1,2,5,6,10,11,17],[1,2,6,11,18],[1,2,3,4,6,8,9,13,19],[1,2,3,5,6,8,10,14,
20],[1,2,3,7,8,12,15,21],[1,22],[1,2,4,5,6,9,10,11,16,17,18,23],[1,2,3,4,7,8,
12,13,24],[1,2,3,5,7,8,12,14,25],[1,3,22,26],[1,7,22,27],[1,3,7,15,22,26,27,
28],[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]],
0,
[[1],[1,1],[1,1],[1,3,1],[1,3,1],[1,1,1],[1,1],[1,3,1,1],[1,5,2,1,1],[1,5,2,1,
1],[1,1,1,1],[1,5,1,1],[1,3,4,1,1],[1,3,4,1,1],[1,1,1,1],[1,9,4,1,2,1,1],[1,9,
4,1,2,1,1],[1,1,1,1,1],[1,9,4,4,3,4,3,1,1],[1,9,4,4,3,4,3,1,1],[1,15,1,1,5,3,
1,1],[1,1],[1,17,4,4,1,2,2,1,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,1],[1,31,1,1],[1,31,31,31,1,1,1,1],[1,465,496,620,620,465,496,
2480,930,930,465,1488,620,620,496,465,465,465,620,620,496,32,465,248,248,32,
32,32,1]],
[1,2,3,4,4,4,5,6,8,8,8,10,12,12,15,16,16,16,24,24,30,31,32,60,60,93,155,465,
14880],
[29,23,21,19,20,23,21,8,16,17,23,12,19,20,21,23,23,23,19,20,21,28,23,24,25,28,
28,28,29],
[1,1,1,1,1,1,1,3,2,2,1,7,4,5,1,6,6,1,13,14,15,1,11,24,25,22,22,22,29],
[( 1, 2)( 3, 4)( 5, 8)( 6,11)( 7,14)( 9,12)(10,16)(13,23)(15,19)(17,27)(18,29)
(20,25)(21,32)(22,26)(24,28)(30,31),( 1,12,11)( 2,23,21)( 4,27,25)( 6,26, 9)
( 7, 8,10)(13,16,17)(14,20,28)(15,24,22)(18,30,29)(19,32,31)],
[[[[]]],[[[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]],[[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],[4,2,3,3]]],[[[1,1,2,1],[2,1,1,1],[4,
1,2,1,3,2,4,-1,1,1,3,-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],[1,1,2,-1],[4,2,3,2,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,1,1,2,1,1,1]]],[[[1,1,2,1],[2,1,1,1],[4,1,2,
1,3,2,1,1,2,-1,3,1,1,1,4,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],[4,1,3,1,4,1,3,1]]],[[[1,1,2,1],[2,1,1,1],[4,1,2,1,4,-1,3,1,
4,-1,3,1,4,-1,2,-1]],[[2,1,1,1,2,-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],[4,2,3,2,1,1,2,1,1,1]]],[[[1,1,2,1],[1,1,2,-1],[4,
2,3,2,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],[1,
1,2,-1,3,2,2,1,3,1]]],[[[1,1,2,1],[2,1,1,1],[4,1,3,-1,4,2,3,-2,2,-1]],[[1,1,2,
1],[1,1,2,-1],[4,2,3,2,1,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,3,-1,1,1,2,1],[3,1,4,1,3,1,4,1]]],[[[1,1,2,1],[2,1,1,
1],[3,1,4,-3,3,1,4,-1,2,-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],[4,2,3,3]],[[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],[1,1,2,-1,3,1,1,1,2,-1,3,1,1,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]],[[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]],[[1,1,2,1],[2,1,3,2],[4,5]]],[[[2,1,1,1],[2,-1,3,-1,1,1,2,1,3,-1],[4,
8]],[[1,1,2,1],[2,1,1,1],[3,1,2,1,4,-2,3,1,4,-1],[5,5]]],[[[1,1,2,1],[1,1,2,
-1],[2,-1,3,1,1,1,2,-1,4,2,3,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],[1,1,2,-1,3,1,1,1,4,2,3,-1,4,1]],[[1,1,2,1],[2,1,
1,1],[4,1,2,1,4,-1,3,1,4,-1,3,1,4,-1,2,-1]]],[[[2,1,1,1],[2,1,3,2,2,1,1,1,3,1,
2,1,1,1]],[[1,1,2,1],[2,1,3,2]]],[[[1,1]],[[2,1]]]]);



LIBTOM( "L2(37)",
[[1],[1,2],[1,3],[1,2,4],[1,2,3,5],[1,2,3,6],[1,2,3,7],[1,3,8],[1,2,3,4,5,6,7,
9],[1,2,3,4,10],[1,2,3,5,8,11],[1,2,3,6,8,12],[1,2,3,7,8,13],[1,14],[1,2,3,4,
5,6,7,8,9,11,12,13,15],[1,16],[1,2,14,17],[1,2,16,18],[1,3,16,19],[1,2,3,5,16,
18,19,20],[1,3,8,16,19,21],[1,2,3,5,8,11,16,18,19,20,21,22],[1,2,3,4,5,6,7,8,
9,10,11,12,13,14,15,16,17,18,19,20,21,22,23]],
0,[[1],[1,1],[1,1],[1,3,1],[1,1,1,1],[1,3,1,1],[1,3,1,1],[1,1,1],[1,7,1,3,1,1,
1,1],[1,3,4,1,1],[1,1,1,1,1,1],[1,9,1,3,1,1],[1,9,1,3,1,1],[1,1],[1,19,1,9,1,
3,3,1,3,1,1,1,1],[1,1],[1,19,1,1],[1,37,1,1],[1,37,1,1],[1,37,37,37,1,1,1,1],[
1,37,37,1,1,1],[1,37,37,37,37,37,1,1,1,1,1,1],[1,703,703,2109,703,2109,2109,
703,2109,2109,703,703,703,666,703,38,666,38,38,38,38,38,1]],
[1,2,3,4,6,6,6,9,12,12,18,18,18,19,36,37,38,74,111,222,333,666,25308],
[23,15,15,10,15,9,9,15,9,10,15,15,15,17,15,22,17,22,22,22,22,22,23],
[1,1,1,1,1,3,3,1,3,4,1,8,8,1,8,1,14,16,16,16,16,16,23],
[( 1, 2)( 3, 4)( 5, 8)( 6,11)( 7,14)( 9,19)(10,20)(12,23)(13,26)(15,30)(16,31)
(17,18)(21,35)(22,33)(25,34)(27,32)(28,38)(29,36),( 1,29,32)( 2,24, 8)
( 4,12,34)( 5,23,27)( 7,37,20)( 9,30,25)(10,16,15)(11,17,33)(13,26,28)
(14,31,22)(18,36,21)(19,38,35)],
[[[[]]],[[[1,1]]],[[[2,1]]],[[[1,1,2,1],[2,1,1,1],[1,1,2,-1],[5,1,4,-1,3,1,4,
-1,5,1,3,2,4,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],[3,2,4,-2,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],[2,1,3,2],[5,1,4,-1,5,-1,4,
-1]]],[[[1,1,2,1],[2,1,1,1],[4,1,3,-1,4,1,2,-1,3,1,4,-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,2,1,1,1,2,1,1,1],[4,1,3,1,5,
-1,4,-1,3,1,5,-1]]],[[[1,1,2,1],[2,1,1,1],[2,1,3,3,2,1,4,-2]],[[2,-1,1,1,2,
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],[
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],[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,1,1,2,1,3,-1,2,-1]]],[[[1,1,2,1],[2,1,1,1],[1,1,2,-1,3,1,1,1,4,
2,3,-2,2,-1]],[[2,1,1,1],[2,-1,3,-1,1,1,2,1,3,-1,2,-1]]],[[[1,1,2,1],[1,1,2,
-1],[4,2,3,3]]],[[[1,1,2,1],[2,1,1,1],[4,1,2,1,4,-1,3,2,4,-1]],[[1,1,2,1],[3,
2,2,1,1,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],[3,2,2,1,1,1]]],[[[1,1,2,1],[2,1,1,1],[3,2,4,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],[4,2,3,2,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],[4,1,3,-2,2,
1,3,2,4,-1]],[[1,1,2,1],[3,2,2,1,1,1]]],[[[1,1,2,-1],[3,1,1,1,2,1],[3,1,4,1,3,
1,4,1]],[[1,1,2,1],[2,1,1,1],[2,1,4,2,3,-2]]],[[[1,1,2,-1],[3,2,1,1,2,1]],[[1,
1,2,1],[3,2,2,1,1,1]]],[[[1,1]],[[2,1]]]]);


LIBTOM( "L2(32)",
[[1],[1,2],[1,3],[1,2,4],[1,2,5],[1,2,6],[1,2,7],[1,2,8],[1,2,3,9],[1,2,4,5,6,
7,8,10],[1,2,4,5,6,7,8,11],[1,2,4,5,6,7,8,12],[1,2,4,5,6,7,8,13],[1,2,4,5,6,7,
8,14],[1,15],[1,2,4,5,6,7,8,10,11,12,13,14,16],[1,2,15,17],[1,18],[1,2,4,5,6,
7,8,10,11,12,13,14,16,19],[1,3,15,20],[1,2,18,21],[1,2,3,9,15,17,20,22],[1,2,
4,5,6,7,8,10,11,12,13,14,16,18,19,23],[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
17,18,19,20,21,22,23,24]],
0,[[1],[1,1],[1,1],[1,3,1],[1,3,1],[1,3,1],[1,3,1],[1,3,1],[1,3,1,1],[1,7,3,1,
1,1,1,1],[1,7,1,1,1,1,3,1],[1,7,1,1,1,3,1,1],[1,7,1,3,1,1,1,1],[1,7,1,1,3,1,1,
1],[1,1],[1,15,7,7,7,7,7,3,3,3,3,3,1],[1,11,1,1],[1,1],[1,31,31,31,31,31,31,
31,31,31,31,31,31,1],[1,1,1,1],[1,31,1,1],[1,33,1,11,1,3,1,1],[1,31,31,31,31,