tmunitmx.tom

GAP源码

1,1,2,-1,3,-1]]],[[[1,1,2,-1,1,1,2,-3]],[[1,1,2,1],[2,-1,3,2,2,1]]],[[[1,1,2,
1],[1,1,2,-2,3,-1,2,-2,3,-1]],[[1,1,2,-1,1,1,2,-3]]],[[[1,1,2,1],[3,1,2,2,1,1,
3,-1,2,-1,3,-1]],[[1,1,2,1],[2,1,3,1],[4,1,3,1,4,1]]],[[[2,1,1,1],[3,2,2,
-2]],[[1,1,2,1],[2,-1,3,2,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],[3,1,1,1,3,-1,2,1,1,1,2,-1]],[[1,1,2,4]],[[1,1,2,
1],[3,3,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,
-2,1,1,2,-1]],[[2,2,1,1,2,-1,1,1,2,-1]]],[[[1,1,2,1],[2,2,3,2]],[[1,1,2,1],[2,
-2,3,-2]]],[[[1,1,2,1],[1,1,2,-2,3,-1,2,1,3,1,2,1,1,1]],[[1,1,2,1],[3,2,2,1,1,
1,3,-1,2,-2]],[[2,1,1,1,2,-1,1,1]]],[[[1,1,2,1],[3,1,2,1,3,2,2,1]],[[1,1,2,
1],[2,1,1,1,2,1,3,2]]],[[[1,1,2,-6]],[[1,1,2,1],[2,1,1,1,2,1,3,2]],[[1,
1]]],[[[2,-1]]],[[[1,1,2,-1],[3,2,2,-1,1,1,2,1]]],[[[2,1,1,1,2,-3,1,1,2,
-1]],[[1,1,2,1],[2,-1,3,2,2,1]]],[[[2,2],[3,2,1,1,2,1]],[[2,-2,1,1,2,1]]],[[[
2,2,1,1,2,-1,1,1,2,-1]],[[1,1,2,1],[2,-1,3,2,2,1]],[[1,1,2,-1,1,1,2,-3]]],[[[
1,1,2,1],[2,1,1,1,2,1,3,2]],[[1,1,2,-2,1,1,2,-2]],[[1,1,2,4]]],[[[1,1,2,1],[3,
1,2,1,1,1,2,-1,3,-1]],[[1,1,2,-1,1,1,2,-3]],[[2,1,1,1,2,-1]]],[[[1,1,2,1],[2,
-1,1,1,2,-2,3,1]],[[2,2,1,1,2,-1,1,1,2,-1]]],[[[2,1,1,1],[2,1,3,2,2,1,1,1]],[[
1,1,2,1],[2,-1,3,2,2,1]]],[[[1,1,2,1],[3,1,2,1,3,2,2,1]],[[1,1]]],[[[1,1,2,
1],[2,1,3,1],[4,1,3,1,4,1]],[[2,2,1,1]]],[[[2,2,1,1,2,-1,1,1,2,-1]],[[2,-2,1,
1,2,1]]],[[[1,1,2,1],[3,2,2,1,1,1,3,-1]],[[1,1,2,-2]]],[[[1,1,2,1],[2,-1,3,2,
2,1]],[[2,1,1,1,2,-1]]],[[[1,1,2,4]],[[2,1,1,1,2,-1,1,1]]],[[[2,1,1,1,2,2]],[[
1,1,2,-2]]],[[[2,4]],[[1,1]]],[[[2,-2]],[[1,1]]],[[[1,1]],[[2,1]]]]);


LIBTOM( "43:3",
[[1],[1,2],[1,3],[1,2,3,4]],
0,[[1],[1,1],[1,1],[1,43,1,1]],
[1,3,43,129],
[4,2,4,4],
[1,1,1,3],
[( 1, 3, 2)( 4,10, 6)( 5, 7, 8)( 9,18,13)(11,20,14)(12,15,16)(17,29,23)
(19,31,24)(21,33,25)(22,26,27)(28,34,35)(30,39,36)(32,41,37)(40,43,42),
( 2, 7, 4)( 3, 9, 5)( 6,15,11)( 8,17,12)(10,19,13)(14,26,21)(16,28,22)
(18,30,23)(20,32,24)(25,35,29)(27,38,34)(31,40,36)(33,39,37)(41,43,42)],
[[[[]]],[[[2,1]]],[[[1,-1,2,-1,1,-1,2,-1,1,-1,2,-1]]],[[[1,1]],[[2,1]]]]);


LIBTOM( "2^(3+6):21",
[[1],[1,2],[1,3],[1,2,4],[1,2,5],[1,2,6],[1,2,7],[1,2,3,8],[1,9],[1,2,4,10],[
1,2,4,5,11],[1,2,4,5,12],[1,2,4,7,13],[1,2,4,6,14],[1,2,4,5,15],[1,2,4,7,16],[
1,2,4,6,17],[1,2,4,7,18],[1,2,4,6,19],[1,2,5,20],[1,2,7,21],[1,2,6,22],[1,2,3,
4,8,23],[1,2,4,6,10,14,17,19,24],[1,2,4,5,10,11,12,15,25],[1,2,4,7,10,13,16,
18,26],[1,2,4,6,14,22,27],[1,2,4,7,18,21,28],[1,2,4,7,16,21,29],[1,2,4,7,13,
21,30],[1,2,4,5,15,20,31],[1,2,4,5,11,20,32],[1,2,4,6,19,22,33],[1,2,4,6,17,
22,34],[1,2,4,5,12,20,35],[1,2,4,5,6,7,12,14,16,36],[1,2,4,5,6,7,12,13,17,
37],[1,2,4,5,6,7,11,13,14,38],[1,2,4,5,6,7,13,15,19,39],[1,2,4,5,6,7,15,16,17,
40],[1,2,4,5,6,7,14,15,18,41],[1,2,4,5,6,7,12,18,19,42],[1,2,4,7,13,16,18,
43],[1,2,4,5,11,12,15,44],[1,2,4,6,14,17,19,45],[1,2,4,5,6,7,11,17,18,46],[1,
2,4,5,6,7,11,16,19,47],[1,3,9,48],[1,2,3,4,8,10,23,49],[1,2,3,7,8,21,50],[1,2,
3,5,8,20,51],[1,2,3,6,8,22,52],[1,2,4,6,10,14,17,19,22,24,27,33,34,53],[1,2,4,
7,10,13,16,18,21,26,28,29,30,54],[1,2,4,5,10,11,12,15,20,25,31,32,35,55],[1,2,
4,5,6,10,11,12,14,15,17,19,24,25,56],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,
19,24,25,26,38,57],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,24,25,26,39,
58],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,24,25,26,42,59],[1,2,4,5,6,7,
10,11,12,13,14,15,16,17,18,19,24,25,26,37,60],[1,2,4,5,10,11,12,15,25,44,61],[
1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,24,25,26,46,62],[1,2,4,5,6,7,10,11,
12,13,14,15,16,17,18,19,24,25,26,47,63],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,
18,19,24,25,26,40,64],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,24,25,26,41,
65],[1,2,4,6,10,14,17,19,24,45,66],[1,2,4,5,7,10,11,12,13,15,16,18,25,26,67],[
1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,24,25,26,36,68],[1,2,4,5,6,10,11,12,
14,15,17,19,24,25,69],[1,2,4,5,6,10,11,12,14,15,17,19,24,25,70],[1,2,4,5,7,10,
11,12,13,15,16,18,25,26,71],[1,2,4,5,6,10,11,12,14,15,17,19,24,25,72],[1,2,4,
5,7,10,11,12,13,15,16,18,25,26,73],[1,2,4,5,7,10,11,12,13,15,16,18,25,26,74],[
1,2,4,5,7,10,11,12,13,15,16,18,25,26,75],[1,2,4,5,6,10,11,12,14,15,17,19,24,
25,76],[1,2,4,5,6,10,11,12,14,15,17,19,24,25,77],[1,2,4,6,7,10,13,14,16,17,18,
19,24,26,78],[1,2,4,6,7,10,13,14,16,17,18,19,24,26,79],[1,2,4,6,7,10,13,14,16,
17,18,19,24,26,80],[1,2,4,5,7,10,11,12,13,15,16,18,25,26,81],[1,2,4,7,10,13,
16,18,26,43,82],[1,2,4,6,7,10,13,14,16,17,18,19,24,26,83],[1,2,4,6,7,10,13,14,
16,17,18,19,24,26,84],[1,2,4,6,7,10,13,14,16,17,18,19,24,26,85],[1,2,3,4,5,8,
12,20,23,35,51,86],[1,2,3,4,6,8,19,22,23,33,52,87],[1,2,3,4,5,8,15,20,23,31,
51,88],[1,2,3,4,7,8,16,21,23,29,50,89],[1,2,3,4,7,8,13,21,23,30,50,90],[1,2,3,
4,7,8,18,21,23,28,50,91],[1,2,3,4,5,8,11,20,23,32,51,92],[1,2,3,4,6,8,17,22,
23,34,52,93],[1,2,3,4,6,8,14,22,23,27,52,94],[1,2,4,9,10,95],[1,2,4,5,10,11,
12,15,25,44,61,96],[1,2,4,6,10,14,17,19,24,45,66,97],[1,2,4,7,10,13,16,18,26,
43,82,98],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,24,25,26,36,38,42,43,47,
57,59,63,68,73,82,83,99],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,21,24,25,
26,28,29,30,36,39,46,54,58,62,68,78,83,84,100],[1,2,4,5,6,7,10,11,12,13,14,15,
16,17,18,19,24,25,26,36,37,60,68,71,73,77,85,101],[1,2,4,5,6,7,10,11,12,13,14,
15,16,17,18,19,24,25,26,39,41,43,58,65,71,73,75,80,82,102],[1,2,4,5,6,7,10,11,
12,13,14,15,16,17,18,19,24,25,26,36,42,45,46,47,59,62,63,66,68,70,79,103],[1,
2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,24,25,26,36,37,39,40,45,58,60,64,66,
68,72,80,104],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,24,25,26,36,41,43,65,
67,68,80,82,84,85,105],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,24,25,26,36,
37,43,60,67,68,74,75,79,82,106],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,22,
24,25,26,27,33,34,36,45,53,56,66,68,76,83,84,107],[1,2,4,5,6,7,10,11,12,13,14,
15,16,17,18,19,24,25,26,36,38,57,68,70,77,80,81,108],[1,2,4,5,6,7,10,11,12,13,
14,15,16,17,18,19,24,25,26,36,38,44,56,57,61,68,69,72,74,109],[1,2,4,5,6,7,10,
11,12,13,14,15,16,17,18,19,24,25,26,36,41,65,68,71,72,78,79,110],[1,2,4,5,6,7,
10,11,12,13,14,15,16,17,18,19,20,24,25,26,31,32,35,36,39,46,55,56,58,62,68,76,
77,111],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,20,24,25,26,31,32,35,38,40,
42,55,57,59,64,67,71,75,112],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,24,25,
26,36,41,42,44,47,59,61,63,65,68,75,76,113],[1,2,4,5,6,7,10,11,12,13,14,15,16,
17,18,19,22,24,25,26,27,33,34,38,40,42,53,57,59,64,79,80,85,114],[1,2,4,5,6,7,
10,11,12,13,14,15,16,17,18,19,24,25,26,36,40,44,61,64,67,68,70,73,74,115],[1,
2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,24,25,26,38,39,44,57,58,61,72,73,75,
81,116],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,24,25,26,37,38,41,44,46,57,
60,61,62,65,67,77,117],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,24,25,26,38,
47,57,63,69,71,76,84,118],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,24,25,26,
38,40,41,43,46,57,62,64,65,74,78,82,119],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,
18,19,21,24,25,26,28,29,30,38,43,54,57,67,75,79,82,85,120],[1,2,4,5,6,7,10,11,
12,13,14,15,16,17,18,19,24,25,26,38,45,47,56,57,63,66,72,77,78,121],[1,2,4,5,
6,7,10,11,12,13,14,15,16,17,18,19,24,25,26,37,38,57,60,73,76,78,80,122],[1,2,
4,5,6,7,10,11,12,13,14,15,16,17,18,19,24,25,26,38,39,57,58,70,71,74,83,123],[
1,2,4,6,7,10,13,14,16,17,18,19,24,26,43,78,79,80,82,83,84,85,124],[1,2,4,5,6,
7,10,11,12,13,14,15,16,17,18,19,20,24,25,26,31,32,35,37,44,55,60,61,69,72,74,
81,125],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,24,25,26,38,39,41,45,46,57,
58,62,65,66,69,85,126],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,20,24,25,26,
31,32,35,41,44,55,61,65,69,70,73,74,127],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,
18,19,24,25,26,37,38,45,56,57,60,66,79,83,84,128],[1,2,4,5,6,7,10,11,12,13,14,
15,16,17,18,19,24,25,26,37,39,40,44,47,56,58,60,61,63,64,71,129],[1,2,4,5,6,7,
10,11,12,13,14,15,16,17,18,19,24,25,26,39,43,47,58,63,75,78,79,82,85,130],[1,
2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,24,25,26,39,41,58,65,67,76,79,81,
131],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,22,24,25,26,27,33,34,39,45,53,
56,58,66,77,78,84,132],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,24,25,26,39,
47,58,63,67,69,80,83,133],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,22,24,25,
26,27,33,34,37,41,47,53,60,63,65,69,70,72,134],[1,2,4,5,6,7,10,11,12,13,14,15,
16,17,18,19,24,25,26,39,42,44,58,59,61,69,70,73,77,135],[1,2,4,5,6,7,10,11,12,
13,14,15,16,17,18,19,24,25,26,39,42,58,59,72,74,76,85,136],[1,2,4,5,6,7,10,11,
12,13,14,15,16,17,18,19,24,25,26,37,42,56,59,60,67,70,78,137],[1,2,4,5,6,7,10,
11,12,13,14,15,16,17,18,19,24,25,26,41,42,45,59,65,66,77,78,80,84,138],[1,2,4,
5,6,7,10,11,12,13,14,15,16,17,18,19,21,24,25,26,28,29,30,42,43,54,59,71,75,79,
80,82,139],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,24,25,26,41,42,56,59,65,
81,83,85,140],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,24,25,26,37,42,45,59,
60,66,69,76,77,83,141],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,24,25,26,42,
44,46,59,61,62,69,71,74,81,142],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,24,
25,26,42,46,59,62,67,72,73,84,143],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,
24,25,26,37,43,46,60,62,71,79,80,82,83,144],[1,2,4,5,6,7,10,11,12,13,14,15,16,
17,18,19,24,25,26,37,46,60,62,70,75,84,85,145],[1,2,4,5,6,7,10,11,12,13,14,15,
16,17,18,19,21,24,25,26,28,29,30,37,41,47,54,60,63,65,73,74,81,146],[1,2,4,5,
6,7,10,11,12,13,14,15,16,17,18,19,21,24,25,26,28,29,30,40,43,54,64,67,71,80,
82,85,147],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,24,25,26,40,44,46,61,62,
64,70,72,76,81,148],[1,2,4,5,6,10,11,12,14,15,17,19,24,25,44,56,61,69,70,72,
76,77,149],[1,2,4,5,7,10,11,12,13,15,16,18,25,26,44,61,67,71,73,74,75,81,
150],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,24,25,26,36,40,64,68,69,75,78,
81,151],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,24,25,26,46,47,56,62,63,74,
75,80,152],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,24,25,26,40,46,56,62,64,
69,73,79,153],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,24,25,26,43,46,47,62,
63,67,71,81,82,85,154],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,22,24,25,26,
27,33,34,45,46,53,62,66,76,77,78,83,155],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,
18,19,24,25,26,40,45,47,63,64,66,76,78,83,85,156],[1,2,4,5,6,7,10,11,12,13,14,
15,16,17,18,19,24,25,26,40,47,63,64,74,77,79,84,157],[1,2,4,5,6,7,10,11,12,13,
14,15,16,17,18,19,24,25,26,40,41,64,65,72,75,77,83,158],[1,2,4,5,6,7,10,11,12,
13,14,15,16,17,18,19,24,25,26,40,41,45,56,64,65,66,70,76,84,159],[1,2,4,5,6,7,
10,11,12,13,14,15,16,17,18,19,24,25,26,37,39,40,42,43,58,59,60,64,81,82,84,
160],[1,2,4,5,7,10,11,12,13,15,16,18,25,26,43,67,71,73,74,75,81,82,161],[1,2,
4,5,6,10,11,12,14,15,17,19,24,25,45,56,66,69,70,72,76,77,162],[1,2,4,6,7,10,
13,14,16,17,18,19,24,26,45,66,78,79,80,83,84,85,163],[1,2,4,5,6,7,10,11,12,13,
14,15,16,17,18,19,20,24,25,26,31,32,35,44,47,55,61,63,70,72,73,81,164],[1,2,3,
4,7,8,10,13,16,18,21,23,26,28,29,30,49,50,54,89,90,91,165],[1,2,3,4,5,8,10,11,
12,15,20,23,25,31,32,35,49,51,55,86,88,92,166],[1,2,3,4,6,8,10,14,17,19,22,23,
24,27,33,34,49,52,53,87,93,94,167],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,
20,21,22,24,25,26,27,28,29,30,31,32,33,34,35,36,39,45,46,53,54,55,56,58,62,66,
68,76,77,78,83,84,100,107,111,132,155,168],[1,2,4,5,6,7,10,11,12,13,14,15,16,
17,18,19,20,21,22,24,25,26,27,28,29,30,31,32,33,34,35,38,40,42,43,53,54,55,57,
59,64,67,71,75,79,80,82,85,112,114,120,139,147,169],[1,2,4,5,6,7,10,11,12,13,
14,15,16,17,18,19,20,21,22,24,25,26,27,28,29,30,31,32,33,34,35,37,41,44,47,53,
54,55,60,61,63,65,69,70,72,73,74,81,125,127,134,146,164,170],[1,2,4,5,6,7,10,
11,12,13,14,15,16,17,18,19,20,24,25,26,31,32,35,36,37,38,39,40,41,42,43,44,45,
46,47,55,56,57,58,59,60,61,62,63,64,65,66,67,68,70,71,72,73,75,76,77,78,79,81,
82,83,85,99,101,103,110,111,112,113,121,129,130,137,140,154,156,164,171],[1,2,
4,5,6,7,10,11,12,13,14,15,16,17,18,19,22,24,25,26,27,33,34,36,37,38,39,40,41,
42,43,44,45,46,47,53,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,72,73,74,75,
76,79,80,82,83,84,85,99,103,104,105,106,107,109,113,114,115,133,134,136,143,
152,172],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,21,24,25,26,28,29,30,36,
37,38,39,40,41,42,43,44,45,46,47,54,57,58,59,60,61,62,63,64,65,66,68,69,70,71,
73,74,75,76,77,78,79,80,81,82,83,84,99,100,103,108,113,118,135,138,139,141,
142,146,151,157,160,173],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,20,24,25,
26,31,32,35,36,38,39,40,41,42,43,44,47,55,57,58,59,61,63,64,65,67,68,69,70,71,
72,73,74,75,77,80,81,82,83,99,102,108,112,115,116,123,127,133,135,150,158,161,
164,174],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,21,24,25,26,28,29,30,36,
37,38,39,40,41,42,43,46,47,54,57,58,59,60,62,63,64,65,67,68,71,73,74,75,78,79,
80,81,82,83,84,85,98,99,102,105,106,119,120,124,130,139,144,147,154,160,161,
175],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,22,24,25,26,27,33,34,36,37,38,
40,42,43,45,46,47,53,56,57,59,60,62,63,64,66,68,69,71,73,76,77,78,79,80,82,83,
84,85,99,101,107,114,118,122,124,128,141,144,153,155,156,163,176],[1,2,4,5,6,
7,10,11,12,13,14,15,16,17,18,19,20,24,25,26,31,32,35,36,37,38,39,40,41,42,43,
44,45,46,47,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,73,74,75,76,77,
78,80,82,84,85,102,105,111,112,113,117,118,119,122,126,127,138,145,152,159,
177],[1,2,4,5,6,7,10,11,12,13,14,15,16,17,18,19,20,24,25,26,31,32,35,36,37,38,
39,41,42,44,45,46,55,56,57,58,59,60,61,62,65,66,68,69,70,71,72,73,74,76,77,81,
83,85,101,109,111,123,125,126,127,135,136,140,141,142,149,162,178],[1,2,4,5,6,
7,10,11,12,13,14,15,16,17,18,19,20,24,25,26,31,32,35,36,39,40,41,42,44,45,46,
47,55,56,58,59,61,62,63,64,65,66,67,68,69,70,72,73,74,76,77,79,81,84,103,111,
115,127,131,135,143,148,149,153,157,159,162,164,179],[1,2,4,5,6,7,10,11,12,13,
14,15,16,17,18,19,20,24,25,26,31,32,35,36,37,38,39,40,41,42,43,44,45,46,47,55,
56,57,58,59,60,61,62,63,64,65,66,67,68,69,7