tmlinomx.tom

GAP源码

4,5,5,20,5,5,1,1,1],[1,25,125,6,5,20,5,5,20,25,25,25,25,100,1,1,4,5,5,20,5,5,
20,1,1,1],[1,25,125,6,5,20,5,25,25,25,25,25,1,1,4,1,5,5,5,1,1,1],[1,25,100,75,
6,100,25,30,30,25,1,1,4,3,4,1,1],[1,25,25,25,6,25,75,30,25,30,25,1,1,1,1,1,3,
1,1],[1,25,25,25,6,25,25,30,25,30,25,1,1,1,1,1,1,1,1],[1,25,30,25,25,75,75,6,
25,50,75,6,30,30,25,25,25,30,30,30,25,1,30,1,6,1,1,3,3,1,2,3,1,1,1,1],[1,25,
30,25,10,75,75,50,6,25,50,75,75,50,6,30,30,25,25,25,2,30,30,30,10,10,10,1,25,
10,30,10,1,6,10,1,3,3,2,2,1,2,3,3,2,1,1,1,1],[1,25,50,25,125,125,6,5,20,125,
10,5,30,20,50,25,25,30,50,50,25,25,25,1,1,4,25,50,1,1,5,10,5,20,1,5,5,5,5,5,1,
5,5,1,1,1,1,1,1,1],[1,25,50,25,125,125,6,5,20,125,10,5,30,20,50,25,25,5,50,25,
25,25,25,25,25,1,1,4,25,25,25,1,1,5,10,5,20,1,5,5,5,5,5,1,5,5,1,1,1,1,1,1,1],[
1,25,50,25,125,125,6,5,20,125,10,5,30,20,50,25,25,5,5,50,25,25,25,25,25,100,1,
1,4,25,25,25,1,1,5,10,5,20,5,5,5,5,5,5,20,1,5,5,1,1,1,1,1,1,1],[1,25,30,100,
25,75,75,6,100,25,75,75,6,30,30,100,25,30,30,30,25,1,30,25,1,6,4,1,3,3,4,1,3,
3,4,1,1,1],[1,25,30,25,25,75,75,6,25,50,100,75,6,30,30,25,25,25,75,30,30,30,
25,25,25,1,30,25,1,6,1,1,3,3,1,2,4,3,1,1,1,3,1,1,1,1],[1,25,50,25,50,125,125,
250,6,5,20,125,250,10,5,30,20,50,25,25,125,10,5,30,50,50,25,25,25,50,50,50,25,
25,25,100,1,1,4,25,25,25,50,50,50,1,1,5,10,5,20,50,25,1,1,5,5,5,5,5,5,5,10,5,
10,20,1,5,5,5,10,5,1,1,1,5,5,1,1,1,1,1,1,1,1,1,1,1],[1,25,30,100,25,30,75,75,
150,6,100,25,150,75,75,150,6,30,30,100,25,75,75,6,30,30,30,30,30,30,25,100,1,
75,30,30,30,25,1,6,4,30,25,1,3,3,6,6,4,1,6,3,3,6,4,1,3,3,1,4,3,1,1],[1,25,250,
375,6,30,120,250,125,30,150,250,150,150,125,1,6,24,1,30,10,15,30,25,6,10,5,6,
10,6,5,1],[1,25,150,250,25,375,375,6,30,120,250,500,125,375,375,30,30,30,120,
150,150,150,250,250,250,125,30,150,150,150,150,150,125,250,1,6,24,150,150,125,
1,6,30,30,30,120,10,1,15,15,30,30,30,25,6,10,20,5,15,15,30,25,6,6,6,10,10,10,
5,6,6,6,5,10,6,5,1,1],[1,25,150,250,25,150,375,375,750,6,30,120,250,500,125,
250,375,375,750,30,30,30,120,150,150,150,250,250,250,125,375,375,30,30,30,150,
150,150,150,150,150,150,150,150,150,150,600,125,250,250,250,1,6,24,375,150,
150,150,150,150,150,125,250,1,6,30,30,30,120,10,150,150,125,1,6,15,15,30,30,
30,30,30,30,30,30,120,25,6,10,20,5,10,15,15,30,30,30,30,25,6,6,6,10,10,10,5,
15,15,30,25,6,6,6,6,6,6,6,5,10,10,10,15,6,6,6,5,10,6,5,1,1,1]],
[1,2,2,3,4,4,4,4,4,5,5,5,6,6,8,8,8,8,8,10,10,10,10,10,10,10,12,12,12,16,16,16,
20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,24,24,24,24,25,25,25,32,40,40,40,
40,40,40,48,48,50,50,50,50,50,50,75,80,80,96,100,100,100,100,100,100,100,100,
100,100,100,100,100,120,125,150,150,200,200,200,200,200,200,200,200,240,250,
250,250,300,300,300,400,400,400,400,480,500,500,500,500,500,500,500,600,600,
600,600,800,1000,1000,1000,1200,1200,2000,2400,3000,6000,12000],
[132,110,71,63,110,71,55,55,31,128,109,86,63,51,73,63,55,55,31,107,109,109,86,
71,72,72,63,63,63,73,55,55,107,109,109,71,71,72,72,72,71,71,71,72,72,72,47,73,
63,63,63,132,128,116,55,72,72,72,71,71,71,73,63,132,128,109,107,109,86,127,71,
72,73,132,128,122,122,109,109,109,109,109,107,109,107,86,110,128,127,121,129,
127,122,122,109,109,107,109,110,128,128,128,127,127,127,129,122,122,109,110,
128,128,128,128,128,128,128,129,127,127,127,122,128,128,128,129,127,128,129,
132,132,132],
[1,1,1,1,1,1,1,1,1,1,1,1,1,4,2,1,1,2,1,10,11,10,12,1,1,11,4,1,4,2,1,2,10,11,
10,10,10,11,11,1,1,10,10,11,11,11,12,15,1,4,4,1,1,1,8,11,11,11,10,10,10,15,13,
52,53,11,10,10,12,52,10,11,48,52,53,52,52,53,53,11,10,53,52,53,10,54,87,10,52,
70,64,52,64,52,53,53,52,53,87,53,88,52,52,70,70,64,52,64,53,87,52,88,88,53,88,
88,88,91,70,52,70,77,88,88,88,91,89,88,118,130,130,130],
[( 1, 2,20,13)( 3, 5,14,26)( 4, 8)( 6,12,24, 7)( 9,17,10,18)(11,23,19,30)
(16,25,22,31)(27,28),( 1, 5,27,22, 7,14,21, 2,10,29,28, 6,19, 3, 4,18,25,26,
  8,30)( 9,31,12,11,20)(13,16,24,17)],
[[[[]]],[[[1,1,2,1],[2,1,1,1],[3,1,4,-1,3,1,4,-1]]],[[[1,-2]]],[[[1,-2,2,
2]]],[[[1,-2],[2,1,1,1,2,1],[3,1,4,-1,3,1,4,-1]]],[[[2,1,1,-2,2,-1,1,-1]]],[[[
1,1,2,2],[3,1,1,-2,3,-1]],[[2,1,1,1,2,1],[3,1,1,-2,3,-1]]],[[[1,-1,2,1,1,1,2,
-1]]],[[[1,1]]],[[[2,4]]],[[[1,-2,2,-1,1,1,2,-4]]],[[[1,1,2,1]]],[[[2,1,1,-1,
2,1,1,-1]]],[[[2,1,1,-1,2,1],[3,1,1,-2,3,-1]],[[1,1,2,1],[3,1,1,-2,3,-1]]],[[[
1,-2,2,-1,1,-1,2,1,1,-1]],[[2,1,1,-1,2,1,1,1,2,2]]],[[[1,1,2,1,1,-2,2,1]]],[[[
2,1,1,1,2,-1,1,-2,2,1,1,-1,2,1]],[[2,1,1,-1,2,1],[3,1,1,-2,3,-1]]],[[[2,2],[3,
1,1,-2,3,-1]],[[1,1,2,-1,1,-1,2,1]]],[[[1,1,2,1],[1,-2,2,-1,3,-1,2,1,3,1]],[[
2,1,1,1,2,2,1,-1]]],[[[2,1,1,1,2,1],[3,1,1,-2,3,-1]],[[1,-1,2,4,1,1]]],[[[1,1,
2,1],[1,-2,3,-1,2,-1,3,1,2,1]],[[2,1,1,-2,2,-1]]],[[[1,1,2,1],[2,1,1,1],[3,1,
4,-1,3,1,4,-1]],[[1,-1,2,4,1,1]]],[[[1,-2,2,1,1,1,2,-3,1,-1]],[[1,1,2,1],[3,1,
1,-2,3,-1]]],[[[2,2]]],[[[1,1,2,2,1,-1,2,-2]]],[[[1,1,2,1],[1,-2,2,-1,3,-1,2,
1,3,1]],[[2,1,1,1,2,1],[3,1,1,-2,3,-1]]],[[[2,1,1,1],[3,1,2,-1,1,-2,2,1,3,
-1]],[[1,1,2,2],[3,1,1,-2,3,-1]]],[[[1,1,2,-1]]],[[[1,-2,2,2,1,-1,2,1,1,-1,2,
1]],[[2,1,1,-1,2,2,1,1,2,-1,1,-2]]],[[[1,-2],[3,1,2,1,1,-1,2,1,3,1,2,1,1,1,2,
1]],[[1,1,2,2],[3,1,1,-2,3,-1]],[[2,1,1,-1,2,-1],[3,1,1,-2,3,-1]]],[[[2,1,1,
-1,2,1,1,1,2,2]],[[2,1,1,-1,2,-1,1,1,2,1]]],[[[1,-2],[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,-2],[1,1,2,1,3,1,2,-1,3,1]],[[1,-1,2,4,
1,1]]],[[[2,2,1,-2,2,-1,1,1,2,-1]],[[2,1,1,-2,2,-1]]],[[[1,-2],[2,1,1,1,2,1],[
3,1,4,-1,3,1,4,-1]],[[2,4]]],[[[2,1,1,1,2,-1,1,-2,2,1,1,-1,2,1]],[[1,-1,2,4,1,
1]]],[[[1,1,2,2],[3,1,1,-2,3,-1]],[[1,-1,2,4,1,1]],[[2,1,1,1,2,1],[3,1,1,-2,3,
-1]]],[[[1,-2],[3,1,2,1,1,1,2,-1,3,1,2,1,1,1,2,1]],[[2,1,1,-1,2,2,1,1,2,-1,1,
-2]]],[[[2,1,1,1,2,1],[3,1,1,-2,3,-1]],[[1,-2],[2,-1,1,1,2,1,3,1]]],[[[1,1,2,
-1,1,1,2,1]]],[[[2,1]]],[[[1,-1,2,4,1,1]],[[2,1,1,-1,2,-1,1,1,2,1]]],[[[1,
-2],[3,1,2,-1,1,-1,2,1,3,1]],[[2,4]]],[[[2,1,1,-1,2,1],[3,1,1,-2,3,-1]],[[2,2,
1,-1,2,2]]],[[[1,1,2,2],[3,1,1,-2,3,-1]],[[2,2],[3,1,1,-2,3,-1]]],[[[1,1,2,
1],[1,-2,3,-1,2,-1,3,1,2,1]],[[2,1,1,1,2,-1]]],[[[1,-2],[3,1,2,-2,1,1,2,2,3,
1]],[[1,1,2,1],[3,1,1,-2,3,-1]]],[[[1,-2,2,-1,1,-1,2,2]],[[2,1,1,1,2,1,1,-2,2,
1]]],[[[1,1,2,2]]],[[[1,-2],[3,1,2,-1,3,1,2,-1,1,-1,3,1]],[[1,1,2,-2,1,1,2,
1]]],[[[1,-2],[3,1,2,1,1,1,2,-1,3,1,2,1,1,1,2,1]],[[1,1,2,1],[3,1,1,-2,3,
-1]]],[[[1,-1,2,4,1,1]],[[2,4]]],[[[1,-2,2,4,1,-1,2,1]],[[1,-1,2,4,1,1]]],[[[
1,-1,2,4,1,1]],[[1,1,2,1]]],[[[2,1,1,1],[3,1,2,-1,1,-2,2,1,3,-1]],[[1,1,2,-2,
1,1,2,1]]],[[[1,1,2,2],[3,1,1,-2,3,-1]],[[1,-2],[2,-1,1,1,2,1,3,1]]],[[[2,1,1,
-1,2,1],[3,1,1,-2,3,-1]],[[2,1,1,-1,2,-1,1,1,2,1]]],[[[2,1,1,-1,2,2,1,1,2,-1,
1,-2]],[[2,2],[3,1,1,-2,3,-1]]],[[[1,-2],[3,1,2,1,1,-1,2,-1,3,1,1,1,2,2]],[[1,
-2],[2,-1,1,1,2,1,3,1]]],[[[2,1,1,1,2,1],[3,1,1,-2,3,-1]],[[2,1,1,-1,2,1,1,1,
2,2]],[[1,-1,2,4,1,1]]],[[[2,1,1,1,2,1,1,-2,2,1,1,-1]],[[2,2],[3,1,1,-2,3,
-1]]],[[[2,1,1,1],[2,1,3,-1,1,-2,2,1,3,1]],[[2,2],[3,1,1,-2,3,-1]],[[1,1,2,-1,
1,-1,2,1]]],[[[1,1,2,1],[3,1,1,-2,3,-1]],[[1,1,2,-2,1,1,2,1]]],[[[1,1,2,1],[2,
1,1,1],[3,1,4,-1,3,1,4,-1]],[[2,4]],[[1,-1,2,4,1,1]]],[[[1,1,2,-1],[3,1,1,-2,
3,-1]],[[2,2],[3,1,1,-2,3,-1]],[[1,-1,2,4,1,1]]],[[[1,-2],[1,1,2,1],[3,1,4,1,
2,1,3,1,2,1,4,1]],[[1,-1,2,4,1,1]],[[1,1,2,2],[3,1,1,-2,3,-1]]],[[[1,-1,2,4,1,
1]],[[1,1,2,-1,1,-2,2,-2]],[[2,4]]],[[[1,-2,2,1,1,-1,2,-1,1,1,2,2]],[[1,-1,2,
4,1,1]]],[[[1,1,2,1],[1,-2,3,-1,2,-1,3,1,2,1]],[[1,1,2,1]]],[[[1,-2],[2,1,3,1,
2,-1,1,-1,2,-1,3,1]],[[2,4]]],[[[2,1,1,-1,2,1,1,1,2,2]],[[1,-1,2,4,1,1]],[[2,
1,1,-1,2,-1,1,1,2,1]]],[[[1,-2],[2,-1,1,1,2,1,3,1]],[[2,1,1,1],[1,-2,3,
2]]],[[[2,1,1,1],[2,1,3,-1,1,-2,2,1,3,1]],[[2,2],[3,1,1,-2,3,-1]],[[1,-2],[3,
1,1,1,2,1,3,1,2,1,3,1]]],[[[1,-2],[2,1,1,1,2,1],[3,1,4,-1,3,1,4,-1]],[[2,
4]],[[1,-2],[2,2],[3,1,4,2,3,1]]],[[[1,-2],[2,-1,1,1,2,1,3,1]],[[2,2],[3,1,1,
-2,3,-1]],[[1,-1,2,4,1,1]]],[[[1,1,2,-1,1,-2,2,-2]],[[1,-1,2,2,1,1]]],[[[1,-2,
2,-1,1,1,2,1,1,1]],[[2,4]]],[[[1,1,2,2],[3,1,1,-2,3,-1]],[[2,2],[3,1,1,-2,3,
-1]],[[2,1,1,1,2,1],[3,1,1,-2,3,-1]]],[[[1,-2,2,1,1,-1,2,-1,1,1,2,2]],[[2,1,1,
-1,2,1,1,1,2,2]],[[1,-1,2,4,1,1]]],[[[1,1,2,2],[3,1,1,-2,3,-1]],[[2,1,1,1,2,1,
1,-2,2,1,1,-1]],[[1,-1,2,4,1,1]]],[[[2,1,1,-1,2,1,1,-1,2,2]],[[2,1,1,1],[1,-2,
3,2]]],[[[1,-1,2,4,1,1]],[[2,1,1,-1,2,-1,1,1,2,1]],[[1,1,2,-2,1,-1,2,-1]]],[[[
1,1,2,-1],[3,2,2,-1]],[[2,4]]],[[[1,1,2,-1,1,-1,2,2]],[[2,2,1,1,2,-2]]],[[[1,
1,2,4,1,-1]],[[1,-2,2,1,1,-1,2,1]],[[2,4]]],[[[2,1,1,-1,2,2,1,-1]],[[1,1,2,
1]]],[[[1,-2,2,1,1,-1,2,-1,1,1,2,2]],[[2,1,1,-2,2,2,1,1]]],[[[1,1,2,-3]],[[1,
1,2,1]]],[[[2,1,1,-1,2,1],[1,-2,3,2]],[[2,4]]],[[[2,1,1,1,2,-2,1,-1,2,-1]],[[
1,1,2,-1,1,-2,2,-2]],[[2,4]]],[[[1,-2,2,-1,1,1,2,1,1,1]],[[1,1,2,1,1,1,2,-1,1,
-2]],[[2,4]]],[[[1,1,2,1],[2,1,3,2]],[[2,4]]],[[[1,-1,2,2,1,1]],[[1,1,2,1,1,
-1,2,-1]]],[[[2,1,1,-1,2,1,1,1,2,2]],[[1,-1,2,2,1,1]]],[[[1,1,2,-1],[3,1,1,-2,
3,-1]],[[2,1,1,1,2,2,1,-1]]],[[[2,1,1,1],[1,-2,3,2]],[[2,2],[3,1,1,-2,3,
-1]]],[[[1,-2,2,1,1,-1,2,1]],[[1,-1,2,2,1,1]]],[[[1,1,2,2],[3,1,1,-2,3,-1]],[[
1,-2],[2,-1,1,1,2,1,3,1]],[[2,2],[3,1,1,-2,3,-1]]],[[[2,1,1,1],[1,-2,3,2]],[[
1,1,2,3]]],[[[2,2],[3,1,1,-2,3,-1]],[[1,1,2,1]]],[[[1,1,2,-3]],[[1,1,2,1]],[[
1,-1,2,2,1,1]]],[[[2,2,1,1],[1,-2,3,2]],[[1,1,2,1]]],[[[2,4]],[[2,2,1,1,2,
1]]],[[[2,1,1,-1,2,1,1,1,2,2]],[[1,1,2,-1,1,-1,2,1]],[[2,4]]],[[[2,1,1,1,2,2,
1,-1,2,-1]],[[1,-1,2,2,1,1]],[[2,4]]],[[[2,2,1,-1,2,1,1,-2]],[[1,-1,2,2,1,
1]],[[1,-2],[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,-1,2,1]],[[1,-1,2,2,1,1]]],[[[2,1,1,-1,2,1,1,-1,2,2]],[[2,2],[3,1,
1,-2,3,-1]],[[2,1,1,-1,2,-1,1,1,2,1]]],[[[1,1,2,3]],[[1,1,2,-2]]],[[[1,-1,2,1,
1,-1,2,1,1,-2]],[[1,1,2,1]]],[[[2,1,1,1,2,1,1,-1,2,-2]],[[1,1,2,1]]],[[[1,-2,
2,2,1,-1,2,1]],[[1,-1,2,2,1,1]],[[1,1,2,1]]],[[[1,-2],[3,1,2,1,3,1]],[[1,1,2,
1]]],[[[1,-1,2,-1,1,1]],[[1,1,2,1]]],[[[1,1,2,-3]],[[1,1,2,1]],[[2,1,1,-1,2,
-1]]],[[[2,2,1,1,2,1,1,-1]],[[1,1,2,1]]],[[[1,1,2,1,1,1,2,-1,1,-2]],[[1,-1,2,
-2,1,-1]]],[[[1,1,2,1],[3,2,2,1]],[[2,2,1,1,2,1]],[[2,4]]],[[[2,4]],[[2,1,1,
-2]]],[[[1,1,2,-1,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],[1,-2,3,2]],[[1,-1,2,2,1,1]],[[1,1,2,1]]],[[[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,1,2,1]]],[[[2,1,1,1,2,-1,1,-1]],[[2,1,1,-1]]],[[[1,1,2,-1,1,-1,2,1]],[[2,1,
1,-2]]],[[[2,2,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]],[[2,1,1,1]]],[[[1,-1,2,-1]],[[2,-2]]],[[[1,1]],[[2,
1]]]]);


LIBTOM( "4^2:S3",
[[1],[1,2],[1,3],[1,4],[1,2,5],[1,2,6],[1,2,7],[1,2,8],[1,2,3,9],[1,3,4,10],[
1,2,3,7,9,11],[1,2,5,6,7,12],[1,2,7,8,13],[1,2,3,6,8,9,14],[1,2,3,5,8,9,15],[
1,2,6,16],[1,2,4,5,17],[1,2,5,6,7,12,18],[1,2,3,5,6,7,8,9,11,12,13,14,15,19],[
1,2,5,6,7,12,16,20],[1,2,3,4,5,8,9,10,15,17,21],[1,2,3,5,6,7,8,9,11,12,13,14,
15,16,18,19,20,22],[1,2,4,5,6,7,12,17,18,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,1],[1,3,1],[1,1,1],[1,1,1],[1,1,1],[1,1,2,1],[1,3,1,1],[
1,1,4,1,2,1],[1,3,1,1,1,1],[1,1,1,2,1],[1,1,2,1,1,1,1],[1,3,2,1,1,1,1],[1,1,1,
1],[1,3,4,1,1],[1,3,1,3,3,3,1],[1,3,4,1,1,1,2,2,1,1,1,2,2,1],[1,3,1,1,1,1,2,
1],[1,3,6,4,1,3,3,4,3,1,1],[1,3,4,1,3,3,2,2,1,3,1,2,2,2,1,1,1,1],[1,3,16,1,3,
3,3,4,1,1],[1,3,12,16,1,3,3,6,6,16,3,3,3,6,6,6,4,1,3,3,4,3,1,1]],
[1,2,2,3,4,4,4,4,4,6,8,8,8,8,8,8,12,16,16,16,24,32,48,96],
[24,22,14,10,24,22,22,19,19,10,22,22,22,19,19,20,21,24,22,22,21,22,24,24],
[1,1,1,1,1,1,1,1,1,4,2,1,2,1,2,1,5,1,2,2,17,7,18,23],
[( 1, 7,16)( 2,29,15)( 3,22,25)( 4,24, 8)( 5,30,13)( 6,28,14)(10,11,27)
(12,23,17)(18,31,26)(19,21,20),( 1, 7,23,31,11,27,18,17)( 2,19, 4,22,20,13,24,
 21)( 3, 9, 5,25,29, 8,15,30)( 6,28)(10,12)(16,26)],
[[[[]]],[[[1,-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,1,-1]]],[[[2,-2]]],[[[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,1]]],[[[1,1,2,1,1,-1,2,2]],[[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,2,1,
1]]],[[[1,1,2,1,1,-1,2,-1,1,1]],[[2,1,1,-1]]],[[[2,2,1,1,2,1]],[[2,1,1,
-1]]],[[[1,-1,2,1,1,-1,2,1]],[[2,2,1,1,2,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]],[[2,2]]],[[[1,-1,2,1,1,-1,2,1]],[[
1,1,2,-1]],[[2,2,1,1,2,1]]],[[[1,-1,2,1,1,1]],[[1,1,2,1]]],[[[1,-1,2,1]],[[2,
1,1,-1]]],[[[1,1,2,-1]],[[2,2]]],[[[2,-2]],[[1,-1]]],[[[1,1]],[[2,1]]]]);


LIBTOM( "31:3",
[[1],[1,2],[1,3],[1,2,3,4]],
0,[[1],[1,1],[1,1],[1,31,1,1]],
[1,3,31,93],
[4,2,4,4],
[1,1,1,3],
[( 1,25,13)( 2, 9,15)( 3,10,28)( 4, 7,29)( 5,14,24)( 6,19,31)( 8,16,17)
(11,18,27)(12,30,23)(20,22,26),( 1,28, 8,14,15, 9,29,12,18, 4,25, 5,11,21,30,
  3,31,17,23,27,16,26,20,10, 7,24,19,22, 6,13, 2)],
[[[[]]],[[[1,1]]],[[[2,-1]]],[[[1,1]],[[2,1]]]]);


LIBTOM( "7^2:2.L2(7):2",
[[1],[1,2],[1,3],[1,4],[1,2,5],[1,2,3,6],[1,2,4,7],[1,3,4,8],[1,3,4,9],[1,
10],[1,11],[1,12],[1,13],[1,14],[1,2,5,15],[1,2,5,16],[1,2,3,5,6,17],[1,2,3,4,
6,7,9,18],[1,2,4,5,7,19],[1,2,3,4,6,7,8,20],[1,3,10,21],[1,2,10,22],[1,3,11,