tmlin2a.tom

GAP源码

1,1,1,3,1,1,1,1],[1,15,1,1,5,3,1,1],[1,3,1,1,1,3,1,1],[1,5,1,1,5,1,1,1],[1,4,
15,5,30,6,6,1,3,15,12,1,3,3,1],[1,4,7,1,6,6,2,1,1,1,4,4,1,2,1],[1,4,7,1,6,6,2,
8,1,1,1,4,4,1,2,1],[1,17,1,1],[1,6,5,5,10,1,5,1,1,1,1,1,1,1],[1,15,16,5,30,15,
20,1,1],[1,4,3,4,1,6,12,4,1,6,1,4,3,1,1],[1,15,10,5,6,10,6,5,1],[1,5,1,15,1,5,
1,5,1,3,1,1],[1,5,1,5,1,5,1,5,1,1,1,1],[1,8,15,1,15,1,1,5,5,1,3,3,5,1,3,1,1,1,
1],[1,4,15,5,30,6,6,8,1,3,15,4,4,12,1,3,3,2,2,1,1,1,1],[1,17,17,1,1,1],[1,15,
5,30,16,15,1,1],[1,4,15,16,5,30,6,6,16,1,3,15,12,20,1,3,3,4,1,1,1],[1,16,15,
10,5,30,6,10,10,10,5,6,6,6,5,10,6,5,1,1],[1,8,15,1,15,20,1,1,5,5,15,1,3,3,5,5,
5,1,1,3,3,5,1,1,1,3,1,1,1,1],[1,17,17,17,1,1,1,1],[1,20,15,5,30,30,30,16,5,15,
15,60,16,1,15,15,5,1,1],[1,4,15,16,5,30,6,6,24,16,1,3,15,12,12,12,20,16,1,3,3,
6,6,4,1,3,3,1,4,3,1,1],[1,15,16,5,30,16,15,20,16,1,1,1,1],[1,16,15,10,5,30,40,
6,10,10,10,5,30,6,6,6,5,10,10,10,15,6,6,6,5,10,6,5,1,1,1],[1,20,15,5,30,30,30,
40,16,5,15,15,20,20,60,16,1,15,15,10,10,16,5,5,5,5,1,1,1],[1,20,15,16,5,30,30,
30,16,80,5,15,15,60,16,20,16,1,15,15,20,16,5,1,1,5,1,1,1],[1,20,15,16,5,30,30,
30,120,16,80,5,15,15,60,60,60,16,20,80,16,1,15,15,30,30,48,20,16,5,15,15,1,20,
16,15,1,5,1,5,1,3,1,1],[1,255,136,85,510,136,680,255,408,340,136,17,120,136,
120,17,68,17,17,1],[1,68,255,136,85,510,510,510,136,136,680,680,85,255,255,
1020,136,408,408,340,680,136,17,255,255,120,408,340,136,136,136,85,120,17,68,
136,120,17,85,68,17,17,17,1,1],[1,68,255,136,85,510,510,510,680,136,136,680,
680,85,255,255,1020,1020,1020,136,408,408,340,680,680,680,136,17,255,255,510,
510,120,136,408,408,340,680,136,136,136,85,255,255,120,408,17,340,68,136,136,
136,255,120,17,85,68,136,120,17,85,17,68,51,17,17,1,1,1]],
[1,2,2,3,4,4,4,4,4,5,6,6,6,8,8,8,8,8,8,10,10,10,12,12,12,12,15,16,16,16,16,16,
17,20,20,20,24,24,30,30,30,32,32,32,34,40,48,48,60,60,60,60,64,68,80,96,120,
120,136,160,192,240,240,320,480,960,4080,8160,16320],
[69,63,53,58,61,42,44,43,38,58,58,38,38,61,53,53,32,31,30,58,46,46,48,38,38,
38,58,66,53,53,43,44,59,58,46,46,48,38,58,58,58,61,53,53,59,46,66,48,63,58,58,
58,53,59,66,61,63,58,59,66,61,66,63,64,66,66,69,69,69],
[1,1,1,1,1,1,1,1,1,1,4,1,4,1,1,1,1,1,3,10,10,1,5,4,4,1,1,1,3,3,3,3,1,10,10,10,
5,4,27,4,10,5,5,5,33,10,28,23,49,27,10,27,16,33,28,28,49,27,33,55,47,28,49,55,
55,62,67,67,67],
[( 2,14,23)( 3,29,27)( 4,38,43)( 6,13,18)( 7,33,31)( 8,39,59)( 9,34,85)
(10,49,42)(12,80,55)(15,45,66)(16,56,71)(17,28,62)(19,47,51)(20,44,78)
(21,54,41)(22,83,81)(24,58,82)(25,32,68)(26,46,61)(30,75,52)(35,76,79)
(36,50,60)(37,69,53)(40,70,77)(48,74,72)(57,73,64),( 1,75,40,35,76,44,28, 7)
( 2,81,61,85,36, 5,53,25)( 3,54,43,10,84,73,27,11)( 4,49,38,29,42,21,57,41)
( 6,50,16,52,74,20,63,70)( 8,83,18,59,65,12,51,67)( 9,58,55,37)
(13,32,66,45,34,78,71,69)(14,33,79,31,47,46,24,30)(15,22,48,68,60,19,17,56)
(23,77,82,62,72,26,80,39)],
[[[[]]],[[[1,1,2,1],[2,2],[3,1,1,-1,4,-2,3,1]]],[[[2,-4]]],[[[1,1]]],[[[2,2,1,
-1,2,1,1,1,2,1,1,1]],[[1,1,2,1],[3,1,2,1,1,-1,2,1,3,1]]],[[[1,-1],[2,1,1,-1,2,
1],[3,1,4,-1,3,1,4,-1]],[[2,1,1,-1,2,1],[1,-1,3,2]]],[[[1,1,2,1],[2,2],[3,1,1,
-1,4,-2,3,1]],[[1,1,2,2,1,1,2,2]]],[[[2,2]]],[[[2,1,1,1],[3,1,2,1,3,-1,1,
1]]],[[[2,3,1,1,2,1,1,-1]]],[[[1,1,2,1],[2,2],[3,1,1,-1,4,-2,3,1]],[[2,1,1,
-1],[3,1,2,1,3,1,2,1]]],[[[2,2,1,-1]]],[[[1,-1],[2,1,1,1,2,1],[3,1,4,1,3,1,4,
1]],[[2,1,1,1,2,1],[3,1,1,-1,3,-1]]],[[[1,1,2,1],[2,1,3,2,1,-1,2,2,1,-1,3,
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],[3,1,4,-1,3,
1,4,-1]]],[[[1,-1],[3,1,2,2,1,-1,2,1,1,1,2,-1,3,-1]],[[1,-1],[2,1,1,1,2,1],[3,
1,4,1,3,1,4,1]]],[[[1,-1],[2,1,1,-1,2,1],[3,1,4,1,3,-1,4,-1]],[[2,1,1,-1,2,
1],[3,2,1,-1]],[[1,-1],[2,1,1,-1,2,1],[3,1,4,-1,3,1,4,-1]]],[[[1,-1],[1,1,2,
-1,3,1,2,1,1,1,2,-1,3,-1]],[[1,1,2,2,1,1,2,2]]],[[[2,-1]]],[[[1,1,2,1],[1,-1,
2,1,3,2,2,1]],[[2,1,1,-1,2,1,1,-1,2,1,1,-1,2,-1]]],[[[1,-1],[1,1,2,1],[3,1,2,
1,1,1,4,-2,2,1,3,-1]],[[1,1,2,1],[2,2],[3,1,1,-1,4,-2,3,1]]],[[[1,-1],[3,1,2,
1,1,-1,2,1,3,1,2,2]],[[1,-1],[2,1,1,1,2,1],[4,1,3,1,4,1,3,1]]],[[[2,3,1,-1,2,
-1,1,1]]],[[[2,1,1,-1,2,1],[3,2,1,1]],[[1,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,-1,1,1,2,2]],[[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,2,1],[3,1,4,-1,
3,1,4,-1]],[[2,1,1,-1,2,1],[1,-1,3,2]],[[2,1,1,-1,2,1],[3,1,1,-1,3,1]],[[2,1,
1,-1,2,1],[3,2,1,-1]]],[[[1,-1],[3,1,2,2,1,-1,2,1,1,1,2,1,3,1]],[[2,1,1,-1,2,
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],[2,1,
1,1,2,1],[3,1,4,1,3,1,4,1]],[[1,-1],[3,1,2,1,1,-1,2,1,3,1,2,2]]],[[[2,1,1,-1,
2,1,1,-1,2,2,1,-1]],[[1,1,2,1,1,-1,2,-2,1,1]]],[[[1,-1],[1,1,2,1],[4,1,3,-1,2,
1,4,1,3,-1]],[[2,1,1,-1,2,1,1,-1,2,2,1,-1]]],[[[2,-3,1,-1,2,-1]]],[[[1,-1],[1,
1,2,1],[4,1,2,1,3,-1,4,-1,2,-1,3,-1]],[[2,1,1,1],[2,1,3,-1,1,1,3,1]]],[[[1,
-1],[2,1,1,1,2,-1,3,1,2,-1,1,-1,2,-1,3,-1]],[[1,-1,2,-4,1,1]]],[[[1,-1],[3,1,
2,-1,1,-1,2,-1,3,1,2,2,1,-1]],[[1,-1],[1,1,2,-1,3,-1,2,-1,1,-1,2,-1,3,
-1]]],[[[1,1,2,-2,1,1,2,-1,1,-1,2,-1]],[[1,-1,2,-2,1,-1]]],[[[1,1,2,1],[2,1,3,
1,1,1,3,-1]],[[1,1,2,1],[2,1,3,1,2,1,3,1]]],[[[1,-1,2,-4,1,1]],[[1,1,2,2,1,1,
2,2]],[[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]],[[2,1,1,1],[1,-1,2,1,3,-2,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,2,1,-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,2,1,1,-1,2,1,3,1]],[[2,2,1,-1,2,1,1,1,2,1,1,1]]],[[[1,
-1],[3,1,2,1,1,1,2,2,1,-1,2,1,3,1]],[[1,1,2,1,1,-1,2,2]]],[[[1,-1],[1,1,2,1],[
4,1,3,-1,2,1,4,1,3,-1]],[[1,-1],[2,1,1,1,2,1],[4,1,3,1,4,1,3,1]],[[2,1,1,-1,2,
1,1,-1,2,2,1,-1]]],[[[1,-1,2,-4,1,-1]],[[2,1,1,-1,2,1],[1,-1,3,2]]],[[[1,-1],[
3,1,2,-1,3,-1,2,1,1,1,2,1]],[[1,-1,2,2,1,1,2,2,1,-1]]],[[[2,1,1,-1,2,1],[3,1,
1,-1,3,1]],[[1,-1]],[[2,1,1,-1,2,1],[3,2,1,-1]]],[[[1,-1],[1,1,2,1],[4,1,3,-1,
2,1,4,1,3,-1]],[[2,1,1,1,2,-1]]],[[[2,1,1,1,2,2,1,-1,2,1,1,1]],[[1,1,2,1],[3,
1,1,1,3,-1]]],[[[1,-1],[1,1,2,-2,3,-1,2,1,1,-1,2,1,3,1]],[[2,1,1,1],[1,-1,3,1,
2,-1,3,-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,
1,-1,2,1,1,-1]],[[2,-4]]],[[[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,1,3,1,2,1,1,-1,2,-1,3,-1]],[[2,1,1,-1,2,1],[
1,-1,3,2]]],[[[1,-1,2,2,1,1,2,-1,1,-1,2,-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,1,-1],[3,1,2,1,3,1,2,1]]],[[[1,-1,2,1,
1,1,2,-3]],[[1,1,2,1],[3,1,1,1,3,-1]]],[[[1,1,2,2,1,-1,2,-1,1,1]],[[1,1,2,1,1,
-1,2,1,1,-1]],[[2,-4]]],[[[1,1,2,-1,1,1,2,-2,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,1,1,2,1,1,1,2,1]]],[[[
1,1,2,1],[3,1,1,1,3,-1]],[[2,1,1,-1,2,2,1,1]]],[[[1,1,2,-1,1,-1,2,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,1,-1,3,
-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]],[[2,1,1,-1,2,-1]]],[[[1,-1,2,-3,1,-1]],[[1,1,2,-1,1,-1,2,
1]],[[2,1,1,1,2,-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]]]]);


LIBTOM( "L2(11).2",
[[1],[1,2],[1,3],[1,4],[1,2,5],[1,2,6],[1,2,3,7],[1,8],[1,2,4,9],[1,2,4,10],[
1,3,4,11],[1,2,3,5,6,7,12],[1,2,8,13],[1,3,8,14],[1,3,8,15],[1,16],[1,2,4,5,9,
10,17],[1,2,3,4,7,9,11,18],[1,2,4,5,19],[1,2,4,6,9,20],[1,2,3,7,8,13,14,15,
21],[1,3,16,22],[1,2,3,4,5,6,7,11,12,19,23],[1,2,3,4,5,6,7,9,10,11,12,17,18,
20,24],[1,8,16,25],[1,2,4,5,8,10,13,19,26],[1,3,8,15,16,22,25,27],[1,2,4,5,8,
9,10,13,16,17,19,25,26,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,1],[1,3,1],[1,1,1],[1,1,2,1],[1,1],[1,1,1,1],[1,3,1,1],[1,
3,1,1],[1,3,2,1,1,1,1],[1,5,1,1],[1,5,1,1],[1,1,1,1],[1,1],[1,7,1,3,1,2,1],[1,
1,6,1,3,1,2,1],[1,3,4,1,1],[1,1,1,1,1,1],[1,5,6,5,1,1,1,1,1],[1,11,1,1],[1,3,
6,4,1,3,3,4,3,1,1],[1,7,6,1,3,1,3,1,2,2,3,1,1,1,1],[1,11,1,1],[1,15,10,5,6,10,
6,5,1],[1,11,11,11,1,1,1,1],[1,55,55,55,66,55,110,66,12,55,55,12,22,1],[1,55,
66,55,55,55,165,66,55,110,110,165,66,66,66,12,55,55,55,55,66,12,55,55,12,22,
12,1,1]],
[1,2,2,3,4,4,4,5,6,6,6,8,10,10,10,11,12,12,12,12,20,22,24,24,55,60,110,660,
1320],
[29,24,21,24,23,24,12,21,24,17,18,12,21,21,21,27,24,24,23,24,21,27,23,24,27,
26,27,29,29],
[1,1,1,1,1,1,1,1,1,4,4,2,8,8,1,1,4,4,5,1,8,16,19,9,16,26,16,28,28],
[( 3, 6)( 4,10)( 5,12)( 7,11)( 8, 9),( 1,12, 2)( 3, 4, 5)( 6, 7,11)
( 8, 9,10)],
[[[[]]],[[[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,1,
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],[2,1,
1,1],[3,2,4,2,2,1,4,-1,3,1]],[[1,1,2,-1],[3,1,1,1,2,1],[3,1,4,1,3,1,4,1]]],[[[
1,1,2,1],[1,1,2,-1],[2,1,3,1,1,1,2,-1,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],[3,1,1,1,2,1,1,1,3,-2]]],[[[1,1,2,-1],[3,1,1,1,2,
1],[4,1,1,1,2,-1,3,1,4,1]]],[[[2,1,1,1],[1,1,2,1,3,-2,1,1,2,-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],[2,1,1,1],[3,2],[4,1,
5,-1,4,1,5,-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]]],[[[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,
2,1,3,3,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],[
3,1,1,1,2,1],[4,1,1,1,2,-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],[3,1,1,1,2,1],[4,1,1,1,2,-1,3,1,4,1]]],[[[1,1,2,1],[1,1,2,
-1],[3,1,1,1,2,1,1,1,4,-1,2,-1,4,2,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]],[[2,1,1,1],[1,1,2,1,3,-2,1,1,2,-1]]],[[[
2,1,1,1],[1,1,2,1,3,-2,1,1,2,-1]],[[1,1,2,-1,1,1,2,1,1,1]]],[[[1,1,2,1],[2,1,
1,1],[4,1,2,1,4,-1,3,1,4,1,2,1,3,2]],[[1,1,2,1],[2,1,1,1],[2,1,4,1,3,-1,4,2,3,
-1,4,1]]],[[[1,1,2,1],[1,1,2,-1],[3,2,4,2,3,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],[3,1,1,1,2,1],[4,1,1,1,2,-1,3,1,4,1]],[[1,1,
2,1],[3,2,2,1,1,1]]],[[[2,-1,1,1,2,1]],[[1,1]]],[[[2,1,1,1],[2,1,3,1],[4,1,2,
-1,1,1,3,1,4,1],[5,2]],[[1,1,2,1],[2,1,1,1],[3,1,4,-2,3,2],[5,3]]],[[[1,1,2,
1],[1,1,2,-1],[3,2,4,2,3,1]],[[1,1,2,-1,1,1,2,1,1,1]]],[[[1,1,2,1],[2,1,1,1],[
4,1,3,-1,4,3,3,-1]],[[1,1,2,-1,1,1,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]]],[[[1,1,2,1],[2,1,1,1],[1,1,2,-1],[2,1,3,1,4,-1,5,
2,3,1,1,1,4,1],[6,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],[3,1,1,1,2,1],[3,1,4,1,3,1,4,1]],[[2,1]]],[[[1,1]],[[2,1]]]]);




LIBTOM( "L2(8).3",
[[1],[1,2],[1,3],[1,4],[1,2,5],[1,2,3,6],[1,2,4,7],[1,8],[1,2,5,9],[1,3,4,
10],[1,3,11],[1,3,12],[1,2,4,5,13],[1,2,8,14],[1,2,3,6,11,15],[1,2,3,4,6,7,10,
16],[1,4,8,17],[1,2,4,5,7,9,13,18],[1,3,4,10,11,12,19],[1,2,4,7,8,14,17,20],[
1,2,3,4,6,7,10,11,12,15,16,19,21],[1,2,5,8,9,22],[1,2,4,5,7,8,9,13,17,18,22,
23],[1,2,3,5,6,8,9,11,14,15,22,24],[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]],
0,
[[1],[1,1],[1,1],[1,1],[1,3,1],[1,3,1,1],[1,1,1,1],[1,1],[1,7,7,1],[1,1,3,1],[
1,1,1],[1,1,1],[1,3,4,1,1],[1,7,1,1],[1,9,1,3,1,1],[1,3,1,3,1,3,1,1],[1,7,1,
1],[1,7,4,7,4,1,1,1],[1,1,3,1,1,2,1],[1,7,7,7,1,1,1,1],[1,9,1,3,3,9,1,1,2,1,3,
1,1],[1,7,7,8,1,1],[1,7,28,7,28,8,1,7,8,7,1,1],[1,63,28,63,84,36,9,28,36,28,9,
1],[1,63,28,84,63,84,252,36,9,28,28,56,63,36,28,84,36,63,28,36,28,9,9,1,1]],
[1,2,3,3,4,6,6,7,8,9,9,9,12,14,18,18,21,24,27,42,54,56,168,504,1512],
[25,18,21,16,18,16,7,20,23,21,21,19,18,20,21,16,20,18,21,20,21,23,23,25,25],
[1,1,1,1,1,3,1,1,1,1,1,1,5,8,11,3,8,5,3,8,11,9,22,24,24],
[(1,2)(3,4)(5,6)(8,9),(2,9,8,7,5,3)(4,6)],
[[[[]]],[[[1,1]]],[[[2,2,1,1,2,1]]],[[[2,-2]]],[[[1,1,2,1],[3,1,1,1,2,1,1,1,3,
-2]],[[2,-3]]],[[[1,1,2,1],[2,1,1,1],[3,1,4,-3,3,-1]],[[1,1,2,1],[3,-3,2,1,1,
1,2,-1]]],[[[2,-1]]],[[[2,1,1,1,2,-1,1,1]]],[[[1,1,2,1],[2,1,1,1],[3,1,4,-3,3,
-1]],[[2,-3]],[[1,1,2,1],[3,1,1,1,2,1,1,1,3,-2]]],[[[1,1,2,1],[2,2,1,1,2,-1,3,
2,2,1]],[[1,1,2,1],[2,1,3,1,1,1,2,-1,3,-1,2,-2]]],[[[1,1,2,1],[3,1,2,1,3,
1]]],[[[1,1,2,-2]]],[[[1,1,2,1],[3,1,1,1,2,1,1,1,3,-2]],[[2,2]]],[[[2,1,1,1,2,
-1,1,1,2,-1,1,1,2,1]],[[2,-3]]],[[[2,1,1,1],[1,1,2,1,3,-1,2,-1,3,1]],[[2,
-3]]],[[[1,1,2,1],[2,1,3,1,1,1,2,-1,3,-1,2,-2]],[[1,1,2,1],[3,1,1,1,2,1,1,1,3,
-2]],[[1,1,2,1],[2,2,3,2,1,1,2,-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,2,1],[1,1,2,-1,3,2,2,1,1,1]],[[2,-3]]],[[[2,-3,1,1,2,1,
1,1,2,-1]],[[1,1,2,1],[3,1,2,1,3,1,2,1,1,1]]],[[[1,1]],[[2,1,1,1],[1,1,2,1,3,
2,2,-2],[4,2]]],[[[2,-3,1,1,2,1,1,1,2,-1]],[[2,1,1,1],[3,2,2,2]]],[[[2,2,1,
1],[3,2,2,-1,1,1]],[[2,-3]]],[[[1,1,2,1],[2,1,1,1],[2,2,3,1,4,-2,3,-1]],[[1,1,
2,1],[2,2,1,1,3,-2,2,1,1,1],[4,2]]],[[[2,1,1,1],[3,1,2,-1,1,1,3,1,2,-1]],[[1,
1,2,-3]]],[[[1,1]],[[2,1]]]]);


LIBTOM( "L2(13).2",
[[1],[1,2],[1,3],[1,4],[1,3,5],[1,3,6],[1,2,3,7],[1,3,4,8],[1,3,4,9],[1,2,4,
10],[1,11],[1,2,3,5,6,7,12],[1,3,4,5,13],[1,3,4,5,8,9,14],[1,3,4,6,8,15],[1,2,
3,4,7,8,10,16],[1,17],[1,3,11,18],[1,2,11,19],[1,2,11,20],[1,2,3,4,5,6,7,10,
12,13,21],[1,2,3,4,5,6,7,8,9,10,12,14,15,16,22],[1,3,17,23],[1,2,3,7,11,18,19,
20,24],[1,4,17,25],[1,3,6,17,23,26],[1,3,4,8,17,23,25,27],[1,3,4,6,8,15,17,23,
25,26,27,28],[1,3,4,5,8,9,11,13,14,17,18,23,25,27,29],[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]],
0,
[[1],[1,1],[1,1],[1,1],[1,3,1],[1,1,1],[1,2,1,1],[1,1,1,1],[1,3,1,1],[1,3,1,
1],[1,1],[1,2,3,1,1,1,1],[1,3,4,1,1],[1,7,1,3,1,2,1],[1,1,1,1,1,1],[1,6,1,1,3,
1,2,1],[1,1],[1,7,1,1],[1,7,1,1],[1,1,1,1],[1,6,3,4,1,3,3,4,3,1,1],[1,6,7,1,3,
1,3,1,2,2,3,1,1,1,1],[1,13,1,1],[1,8,7,7,1,1,1,1,1],[1,13,1,1],[1,13,13,1,1,
1],[1,13,13,13,1,1,1,1],[1,13,13,13,13,13,1,1,1,1,1,1],[1,91,91,91,91,182,78,
91,91,14,78,14,14,14,1],[1,78,91,91,91,91,273,91,182,182,78,273,91,91,91,91,
14,78,78,78,91,91,14,78,14,14,14,14,1,1]],
[1,2,2,3,4,4,4,6,6,6,7,8,12,12,12,12,13,14,14,14,24,24,26,28,39,52,78,156,
1092,2184],
[30,24,22,22,21,22,12,22,14,16,24,12,21,22,22,22,28,24,24,24,21,22,28,24,28,
28,28,28,30,30],
[1,1,1,1,1,1,1,1,4,4,1,3,5,4,1,4,1,11,11,1,13,8,17,11,17,17,17,17,29,29],
[( 1, 6)( 3, 8)( 4, 9)( 5,10)( 7,11)(13,14),( 1, 8, 5,12, 4, 7,13, 6,11,14,10,
 2, 9, 3)],
[[[[]]],[[[2,1,1,1],[2,2,3,-2,2,-1,1,1]]],[[[1,1]]],[[[1,1,2,1],[3,2,2,1,3,
1]]],[[[2,1,1,1,2,-1]],[[1,1]]],[[[2,2,1,1,2,1]]],[[[1,1,2,1],[3,1,2,1,1,1,2,
-2,3,1]],[[1,1,2,1,1,1,2,-1]]],[[[1,1,2,1],[3,1,2,2,3,1]]],[[[2,2],[1,1,2,1,3,
1,2,1,1,1,3,-1]],[[1,1,2,1],[3,1,2,1,1,1,2,-1,1,1,3,-1]]],[[[1,1,2,1],[3,1,2,
2,3,2,2,1,1,1]],[[2,2,1,1,2,-2,1,1,2,1,1,1]]],[[[2,2]]],[[[2,2,1,1,2,-2,1,1,2,
1]],[[1,1]]],[[[1,1,2,1],[1,1,2,-1,3,-1,2,1,1,1,2,2,3,1]],[[1,1,2,1],[2,1,1,1,
2,-1,3,-2,2,-2]]],[[[1,1,2,1],[3,2,2,2,3,1,2,1,1,1]],[[1,1,2,-2,1,1,2,2,1,
1]],[[1,1,2,1,1,1,2,1,1,1,2,2]]],[[[1,1,2,-3,1,1,2,-2]]],[[[1,1,2,1],[2,1,1,
1],[1,1,2,-1,3,1,4,1,3,1,4,-1]],[[1,1,2,1],[1,1,2,-2,3,-1,2,1,3,1]]],[[[2,1,1,