tmsymc.tom

GAP源码

120,315,70,140,140,126,126,126,120,120,120,35,35,105,105,105,105,105,105,105,
105,105,105,105,210,35,70,70,70,126,120,105,105,105,21,42,35,35,70,35,21,21,
42,21,35,30,21,7,7,1,1],[1,1,210,56,560,105,210,840,1260,336,56,560,1120,3360,
960,70,210,240,315,420,630,630,840,1260,2520,280,336,560,560,840,840,1680,
1680,960,336,30,105,210,210,315,315,630,630,630,1260,1260,1260,280,1120,336,
960,70,280,420,560,840,840,840,840,1680,1680,1680,336,35,315,315,630,630,630,
630,630,280,560,560,1008,960,210,420,420,420,420,840,840,840,840,840,1680,240,
336,105,210,315,315,630,280,280,280,280,70,70,210,210,420,840,240,56,168,336,
315,280,280,120,240,70,105,210,210,210,168,168,35,120,240,240,56,105,210,35,
70,28,56,35,28,30,8,1],[1,1,210,840,56,560,28,105,210,420,840,1260,5040,336,
56,560,1120,1120,1680,1680,1680,3360,3360,960,70,210,210,210,240,315,420,420,
630,630,630,630,840,1260,1260,1260,1260,1260,1260,2520,2520,2520,280,336,2016,
56,560,560,560,560,560,840,840,840,1680,1680,1680,1680,3360,3360,3360,3360,
960,960,960,336,30,105,210,210,210,315,315,420,420,420,630,630,630,630,630,
630,630,630,630,630,1260,1260,1260,1260,1260,1260,1260,1260,1260,1260,1260,
1260,1260,2520,2520,2520,2520,280,280,280,1120,1120,336,1008,1008,960,70,280,
420,560,560,560,840,840,840,840,840,840,840,840,1680,1680,1680,1680,1680,1680,
1680,1680,1680,960,336,672,35,105,210,210,315,315,315,315,315,630,630,630,630,
630,630,630,630,630,630,630,630,630,630,630,630,1260,1260,1260,1260,1260,1260,
280,280,280,560,560,560,560,1120,1120,336,1008,1008,960,960,960,70,210,210,
280,420,420,420,420,420,420,420,420,420,840,840,840,840,840,840,840,840,840,
840,840,840,1680,1680,240,336,336,336,105,210,210,315,315,315,315,315,315,630,
630,630,630,630,630,630,630,280,280,280,280,280,280,280,280,560,560,560,560,
1008,960,70,70,210,210,210,210,210,210,420,420,420,420,420,420,420,420,420,
840,840,840,240,56,168,336,336,336,105,315,315,315,315,315,315,280,280,280,
280,280,280,280,280,280,280,120,240,70,70,105,210,210,210,210,210,210,210,210,
420,56,168,168,168,168,168,336,315,35,280,280,120,120,120,240,240,56,105,105,
105,210,210,168,168,35,70,70,120,28,56,56,56,105,35,35,35,28,28,28,56,35,30,
28,8,8,1,1]],
[1,2,2,2,3,3,4,4,4,4,4,4,4,5,6,6,6,6,6,6,6,6,6,7,8,8,8,8,8,8,8,8,8,8,8,8,8,8,
8,8,8,8,8,8,8,8,9,10,10,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,14,
14,14,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,
16,16,16,16,16,16,16,16,16,16,16,16,16,16,18,18,18,18,18,20,20,20,21,24,24,24,
24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,28,30,30,32,32,32,
32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,
32,32,36,36,36,36,36,36,36,36,36,40,40,40,42,42,42,48,48,48,48,48,48,48,48,48,
48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,48,56,60,60,60,64,64,64,64,
64,64,64,64,64,64,64,64,64,64,64,64,64,72,72,72,72,72,72,72,72,72,72,72,72,80,
84,96,96,96,96,96,96,96,96,96,96,96,96,96,96,96,96,96,96,96,96,112,120,120,
120,120,120,128,128,128,128,128,128,128,144,144,144,144,144,144,144,144,144,
144,168,168,192,192,192,192,192,192,192,192,192,192,192,192,240,240,240,240,
240,240,240,256,288,288,288,336,336,336,336,336,360,384,384,384,384,384,480,
480,576,576,576,672,720,720,720,720,768,1152,1152,1152,1440,1440,1440,1440,
2304,2688,2880,5040,10080,40320,80640],
[354,354,325,265,347,286,350,340,329,307,268,230,92,314,347,286,248,248,212,
215,215,134,131,250,343,329,328,329,323,315,307,307,282,282,278,282,270,232,
230,235,232,230,232,169,172,172,317,314,185,347,286,290,286,286,290,269,269,
268,215,215,215,215,131,134,134,131,250,250,250,314,349,340,329,325,329,315,
315,307,301,307,282,282,279,282,282,282,282,282,278,282,220,230,232,230,232,
232,232,221,232,232,232,232,232,169,172,172,169,317,317,317,248,248,314,249,
249,250,343,318,307,288,290,286,269,270,269,269,269,269,268,269,215,204,215,
215,212,215,202,215,215,250,314,275,348,340,329,329,315,315,315,315,315,282,
279,279,282,282,278,282,282,282,282,282,278,282,282,282,282,232,230,232,232,
230,232,317,317,317,286,290,286,290,248,248,314,249,249,250,250,250,343,329,
329,318,307,301,307,301,307,307,307,307,307,268,270,268,269,269,268,269,270,
269,269,269,270,214,215,323,314,314,314,340,329,328,315,315,315,315,315,315,
282,278,282,282,279,278,282,282,317,318,317,317,317,317,317,317,286,290,290,
286,249,250,343,342,329,329,329,329,329,329,307,307,301,307,307,301,307,307,
307,268,269,270,323,347,331,314,314,314,340,315,315,315,315,315,315,317,317,
317,318,318,317,317,317,318,317,335,323,343,342,340,328,329,329,329,329,329,
329,328,307,347,330,331,330,331,331,314,315,348,317,318,335,335,335,322,323,
347,340,340,340,328,329,330,331,348,343,342,335,350,347,347,347,340,348,348,
348,350,350,350,347,348,349,350,352,352,354,354],
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,6,6,5,6,6,1,1,1,2,1,1,2,1,1,2,2,2,2,1,1,3,1,
1,1,1,1,2,3,3,3,1,1,14,5,1,5,6,6,1,1,5,11,1,6,1,6,6,6,6,6,24,24,1,1,1,2,9,3,2,
1,2,2,2,2,2,9,2,2,1,2,9,9,3,2,3,3,9,1,2,9,9,9,2,1,9,9,9,12,12,12,12,47,47,1,6,
6,14,1,14,24,25,2,31,25,15,16,15,37,5,2,15,5,11,1,6,58,16,6,5,2,11,6,16,24,1,
70,2,2,2,2,8,8,2,8,8,9,8,8,8,9,8,9,9,9,2,9,3,9,9,9,9,9,12,9,9,12,9,1,47,47,6,
5,6,5,47,47,14,14,14,24,24,24,117,25,117,15,31,117,31,25,31,119,119,119,119,
11,124,58,56,56,58,56,124,15,9,15,37,120,16,29,14,5,70,8,9,27,30,30,30,30,30,
30,30,35,30,9,27,35,30,9,47,25,110,110,110,47,110,47,16,15,47,47,48,24,25,143,
117,117,25,117,117,25,31,119,117,119,119,117,119,119,119,129,56,124,29,272,
273,70,70,14,72,76,77,77,72,30,76,176,47,110,117,238,176,110,176,118,176,294,
216,117,252,220,143,190,117,75,117,190,190,252,119,272,272,273,272,273,273,
141,151,143,176,238,294,294,294,322,216,272,298,220,298,252,190,272,273,316,
251,252,294,336,324,272,324,298,316,316,316,336,336,336,324,332,349,336,351,
351,353,353],
[(  1, 57)(  3, 58)(  4, 59)(  6, 60)(  7, 61)(  8, 62)(  9, 63)( 11, 64)
( 12, 65)( 13, 52)( 14, 66)( 15, 54)( 16, 67)( 17, 68)( 18, 69)( 19, 70)
( 20, 71)( 22, 72)( 23, 73)( 24, 74)( 25, 75)( 26, 76)( 27, 44)( 28, 35)
( 29, 77)( 30, 78)( 31, 79)( 32, 80)( 33, 81)( 34, 82)( 36, 83)( 37, 84)
( 38, 85)( 39, 86)( 40, 87)( 41, 88)( 42, 89)( 43, 90)( 45, 91)( 46, 92)
( 47, 93)( 48, 94)( 49, 95)( 50, 96)( 51, 97)( 53, 98)( 55, 99)( 56,100)
(101,106)(102,165)(103,166)(104,114)(105,167)(107,136)(108,158)(109,168)
(110,150)(111,169)(112,170)(113,127)(115,132)(116,171)(117,154)(118,172)
(119,173)(120,174)(121,175)(122,135)(123,176)(124,177)(125,178)(126,179)
(128,147)(129,180)(130,181)(131,182)(133,183)(134,184)(137,142)(138,143)
(141,144)(145,149)(148,156)(151,153)(152,163)(155,164)(157,160)(161,162)
(185,215)(186,198)(187,203)(188,216)(189,208)(190,217)(191,204)(192,199)
(193,218)(194,206)(195,219)(196,220)(197,205)(200,221)(201,222)(202,210)
(207,231)(209,228)(211,226)(212,224)(213,232)(214,223)(225,235)(227,234)
(229,239)(230,240)(233,238)(236,237),(  1,139, 59,231,217,206,157, 89,179,169,
 121, 34, 35,102,  3)(  2, 67,112, 17,240,229,203,141, 62,211,174,212,176,185,
 101)(  4, 20, 70,149, 75,183,161, 94, 47,140, 60,152, 79,186,103)
(  5,147, 71, 76, 33,119, 31,234,208,168,223,187,104,  7, 84)(  6,201,134, 53,
 39, 96,225,192,111, 16,138, 58,173,114, 22)(  8,125, 41,235,210,172,226,197,
 127, 43, 74, 21,150, 77, 87)(  9,158, 91, 61, 27,224,189,107, 11,216,233,207,
 166,177,105)( 10, 95,126, 42,239,230,205,153, 81,214,184,209,171,188,106)
( 12, 83,227,199,131, 49,155, 85,178,113, 19, 18,195,120, 32)( 13,238,221,200,
 132, 50,175,163, 99,123, 37, 65, 80,190,108)( 14, 26,142, 63,164,100,135, 55,
 110, 15,144, 66,219,191,109)( 23,128, 44,151, 78,222,194,118, 30, 40,162, 97,
 143, 64,115)( 24, 86, 98,193,117, 28,237,220,196,122, 36,180,148, 73,116)
( 25,146, 69,156, 88,198,130, 46, 29, 72,160, 93,167,137, 57)( 38, 48,159, 92,
 232,218,204,145, 68,170,182,129, 45, 52,124)( 51,154, 82, 90, 54,228,202,136,
 56,215,236,213,181,165,133)],
[[[[]]],[[[1,1,2,1],[2,1,1,1],[2,2],[3,2,2,1,4,1,5,1,2,1,3,1,5,1,3,1,4,
1]]],[[[1,1,2,1],[3,1,2,1,3,2,1,1,2,-1]]],[[[1,1]]],[[[2,5]]],[[[1,1,2,-1,1,1,
2,-1]]],[[[1,1,2,1],[2,1,1,1],[3,1,2,1,3,1,4,-1,3,1,4,-1,2,-1]]],[[[1,1,2,1],[
3,2,2,2,1,1,2,1,1,1,2,2,3,2]],[[1,1,2,1],[2,1,1,1],[1,1,2,-1,3,1,4,-1,3,1,2,1,
3,1,4,1]]],[[[1,1,2,1],[2,2],[3,1,4,1,3,1,4,1]]],[[[1,1,2,1],[2,1,1,1],[1,1,2,
-1,3,2,4,-1,1,1,3,-1,4,1]],[[1,1,2,1],[2,1,1,1],[3,1,4,1,2,-2,4,2,2,-1,3,
-1]]],[[[1,1,2,1],[2,1,1,1],[4,1,3,-1,2,-2,3,1,4,-1,2,-1]],[[1,1,2,1],[3,2,1,
1,2,-1,3,1,2,1]]],[[[1,1,2,1],[3,2,2,2,3,1,1,1,2,-1]]],[[[2,1,1,1],[2,2,1,1,2,
1,3,-2,2,-1]],[[1,1,2,1],[3,1,1,1,2,-1,3,1,2,1,3,1]]],[[[2,3]]],[[[1,1,2,1],[
2,1,1,1],[1,1,2,-1,3,2,4,2,3,-1,2,-2]]],[[[1,1,2,1],[2,1,1,1],[2,1,4,1,3,-1,4,
1,2,-1,3,-1]]],[[[1,1,2,1],[3,1,1,1,2,-1,3,1,2,1,3,1]],[[2,1,1,1],[3,1,2,-1,1,
1,2,1,3,2]]],[[[2,1,1,1],[3,1,1,1,2,1,3,-1,2,-1]],[[1,1,2,1],[3,1,2,1,1,1,2,
-1,3,-1]]],[[[1,1,2,1],[3,1,2,2,1,1,2,-2,3,-1]],[[2,5]]],[[[1,1,2,1],[2,1,1,
1],[4,1,3,-1,2,-1,3,2,4,-1]],[[1,1,2,1],[1,1,2,-1,3,2,2,1,1,1]]],[[[2,1,1,1],[
3,1,2,-2,1,1,2,2,3,-1]],[[1,1,2,1],[3,1,1,1,3,-1,2,-1,3,-1]]],[[[1,1,2,-2,1,1,
2,2]]],[[[2,1,1,1]]],[[[1,1,2,1],[2,1,3,1,1,1,2,-1,3,-2]]],[[[1,1,2,3],[1,1,2,
-1,3,2,2,1,1,1]],[[2,1,1,1],[1,1,2,3],[3,1,4,-2,3,-1]]],[[[1,1,2,1],[2,1,1,
1],[4,2,2,-1,3,-1,2,1,3,2]]],[[[1,1,2,1],[3,2,2,2,1,1,2,1,1,1,2,2,3,2]],[[1,1,
2,1],[2,1,1,1],[4,1,3,-1,2,-2,3,1,4,-1,2,-1]],[[1,1,2,1],[2,1,1,1],[1,1,2,-1,
3,1,4,-1,3,1,2,1,3,1,4,1]]],[[[1,1,2,1],[2,1,1,1],[1,1,2,-2,3,1,4,1,3,-1,4,1,
2,-1]],[[1,1,2,1],[2,1,1,1],[3,1,2,1,3,1,4,-1,3,1,4,-1,2,-1]]],[[[1,1,2,1],[2,
1,1,1],[1,1,2,-1],[3,2,2,1,4,-1,5,1,3,2,4,-1,5,1]],[[1,1,2,1],[2,1,1,1],[2,2,
3,1,4,-1,3,1,4,1,2,-1]],[[1,1,2,1],[2,1,1,1],[1,1,2,-1,3,2,4,-1,3,1,2,1,4,
1]]],[[[1,1,2,1],[2,1,1,1],[1,1,2,-1,3,1,4,-1,3,1,2,1,3,1,4,1]],[[1,1,2,1],[2,
2],[3,1,4,1,3,1,4,1]]],[[[1,1,2,1],[2,1,1,1,2,-1],[4,1,3,1,4,1,3,1]],[[1,1,2,
1],[1,1,2,-2],[4,1,3,1,4,1,3,1]]],[[[1,1,2,1],[2,1,1,1],[4,1,3,-1,2,-2,3,1,4,
-1,2,-1]],[[1,1,2,1],[1,1,2,-2,3,-3,2,2,1,1]]],[[[1,1,2,1],[3,2,2,1,1,1,2,-1,
3,-2]],[[1,1,2,1],[1,1,2,-2],[4,1,3,1,4,1,3,1]]],[[[1,1,2,1],[3,2,1,1,2,-1,3,
1,2,1]],[[1,1,2,1],[2,1,3,2,1,1,2,-1,3,1]]],[[[2,1,1,1],[2,2,1,1,2,1],[3,1,4,
2,3,1]],[[1,1,2,1],[2,1,1,1,3,-1,2,-2,3,-2]]],[[[2,2,1,1,2,1]]],[[[1,1,2,1],[
2,1,1,1],[3,1,4,-1,2,-1,4,-1,3,1,4,2]],[[1,1,2,1],[2,1,1,1,2,-1,3,-2,2,2,3,
1]]],[[[1,1,2,1],[2,1,1,1],[4,1,3,-1,2,-1,3,2,4,-1]],[[1,1,2,1],[2,2],[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],[2,
1,3,1,4,-1,5,1,3,2,4,-1,5,1]],[[1,1,2,1],[2,1,1,1],[1,1,2,-1,3,2,4,-1,3,1,2,1,
4,1]],[[1,1,2,1],[2,1,1,1],[4,1,2,1,4,-1,3,-3,2,1,4,-1,1,1,2,-1]]],[[[1,1,2,2,
1,1,2,-1]]],[[[2,1,1,1,2,1],[3,2,2,1,1,1]]],[[[1,1,2,1],[3,2,2,2,3,1,2,1,1,
1]],[[2,1,1,1],[3,1,2,-1,1,1,3,1,2,-1]]],[[[1,1,2,1],[3,2,2,1,1,1,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],[2,1,3,1,4,-1,
3,1,4,1]],[[1,1,2,1],[3,2,1,1,2,-1,3,1,2,1]]],[[[1,1,2,1],[2,1,1,1],[4,1,3,-1,
2,-1,3,2,4,-1]],[[2,-1,1,1,2,1]]],[[[1,1,2,1],[2,1,1,1],[3,1,2,1,3,1],[4,1,5,
1,4,1,5,1]],[[1,1,2,1],[2,1,1,1],[3,1,2,1,3,1],[5,1,4,-2,5,-1]]],[[[2,2,1,1,2,
2,1,1]]],[[[1,1,2,1],[1,1,2,-1,3,-3,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],[1,1,2,-2,3,1,4,1,2,1,4,-1,3,1]],[[1,1,2,1],[2,1,
1,1],[3,1,2,1,3,1,4,-1,3,1,4,-1,2,-1]]],[[[1,1,2,1],[3,1,2,2,3,2,2,1]]],[[[1,
1,2,1],[2,1,3,1,2,1,1,1,3,2,2,1]],[[1,1,2,5,1,1]]],[[[1,1,2,1],[2,1,3,2,1,1,2,
-1,3,1]],[[2,1,1,1],[3,1,2,-1,1,1,2,1,3,2]]],[[[1,1,2,1],[3,2,2,1,1,1,2,-1,3,
-2]],[[1,1,2,-2,1,1,2,2,1,1]]],[[[2,2],[2,1,1,1,3,2]]],[[[1,1,2,1],[2,1,1,1],[
4,1,3,-2,2,1,4,1]]],[[[2,1,1,1],[2,2,1,1,2,1,3,-2,2,-1]],[[1,1,2,-1,1,1,2,1,1,
1]]],[[[1,1,2,1],[2,1,3,2,1,1,2,-1,3,1]],[[1,1,2,1],[1,1,2,-1,3,2,2,1,1,
1]]],[[[1,1,2,1],[1,1,2,-2,3,1,2,1,1,1,2,-1,3,1]],[[1,1,2,1],[1,1,2,-1,3,1,2,
1,3,2]]],[[[1,1,2,1],[2,1,1,1],[1,1,2,-2,4,-1,3,2,4,1]],[[2,1,1,1],[2,2,1,1,2,
1,3,-2,2,-1]]],[[[2,1,1,1],[2,2,3,2,2,-2,1,1]],[[1,1,2,-1,1,1,2,1,1,1]]],[[[1,
1,2,1],[1,1,2,-2],[4,1,3,1,4,1,3,1]],[[1,1,2,1],[2,2],[3,1,4,1,3,1,4,1]]],[[[
2,1,1,1],[1,1,2,-1,3,-1,1,1,2,1,1,1,3,1]],[[1,1,2,1],[3,1,1,1,2,-1,3,1,2,1,3,
1]]],[[[2,1,1,1],[2,2,1,1,2,1,3,-2,2,-1]],[[1,1,2,1],[3,2,1,1,2,1]]],[[[2,1,1,
1],[1,1,2,-1,3,-1,1,1,2,1,1,1,3,1]],[[1,1,2,1],[1,1,2,-1,3,1,1,1,3,-1,2,1,1,
1]]],[[[1,1,2,1],[2,1,1,1],[4,1,3,-1,2,-1,3,2,4,-1]],[[2,1,1,1],[3,1,2,-1,1,1,
2,1,3,2]]],[[[1,1,2,1],[2,1,3,1,1,1,2,-1,1,1,2,-2,3,1]],[[2,1,1,1],[3,1,2,2,3,
-1,2,-1,1,1,2,-1]]],[[[1,1,2,1],[3,1,1,1,2,1,1,1,3,-2]],[[1,1,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,-1],[2,1,3,1],[4,1,2,
-1,5,1,4,1,3,1,5,1,2,1,1,1]],[[1,1,2,1],[3,2,2,2,1,1,2,1,1,1,2,2,3,2]],[[1,1,
2,1],[2,1,1,1],[4,1,3,-2,2,2,3,2,2,1,4,-1]],[[1,1,2,1],[2,1,1,1,3,-2],[4,1,2,
1,1,1,4,1,2,1,3,1]]],[[[1,1,2,1],[2,1,1,1],[2,1,4,1,3,1,4,-1,3,1,2,1,4,-2]],[[
2,1,1,1],[1,1,2,1,3,-1,2,-1],[3,1,4,-1,3,1,4,1]],[[1,1,2,1],[2,1,1,1],[3,1,2,
1,3,1,2,1,4,2]]],[[[1,1,2,1],[2,1,1,1],[3,1,2,1,3,1,4,-1,3,1,4,-1,2,-1]],[[2,
1,1,1],[1,1,2,3],[3,1,4,-2,3,-1]]],[[[1,1,2,1],[2,1,1,1],[1,1,2,-1,4,-1,3,-2,
4,-1,2,-2,3,-1]],[[1,1,2,1],[2,1,1,1],[4,1,3,-1,2,-2,3,1,4,-1,2,-1]],[[1,1,2,
1],[2,1,1,1],[3,1,2,2,4,-2,3,-2,2,1,1,1]]],[[[1,1,2,1],[3,1,2,1,3,2,1,1,