tmsym1mx.tom

GAP源码

209,217,261],[1,2,3,4,5,6,7,8,10,11,13,14,16,19,20,21,24,25,27,28,30,40,47,48,
54,56,58,62,68,71,72,102,136,140,187,200,223,262],[1,2,3,4,5,6,7,8,9,11,13,14,
19,20,21,22,23,26,29,31,35,36,37,38,39,44,46,62,67,70,74,75,77,80,99,101,105,
106,107,108,110,112,121,123,124,144,188,192,195,203,211,214,222,263],[1,3,6,8,
9,12,14,15,16,22,23,27,34,36,39,43,46,58,59,61,67,78,84,85,96,99,100,106,108,
111,116,120,125,154,176,184,188,190,210,213,219,264],[1,3,4,5,6,7,9,12,14,15,
21,24,25,26,28,29,33,38,39,45,46,60,61,64,66,71,75,83,96,99,104,105,111,112,
114,126,128,152,174,183,184,189,191,193,203,265],[1,3,5,6,7,8,9,14,16,17,18,
25,26,27,29,31,34,36,37,38,39,43,46,58,63,73,75,76,79,86,99,100,105,109,112,
113,115,116,120,123,125,143,190,197,198,203,204,215,220,266],[1,3,4,5,6,7,8,9,
14,17,18,21,22,23,24,25,28,30,31,33,36,37,38,39,45,46,63,65,67,69,71,81,82,99,
103,104,106,108,113,114,115,123,126,128,146,183,188,194,196,201,204,216,267],[
1,2,3,4,5,6,7,8,9,11,12,13,17,20,22,24,25,27,29,30,31,35,44,46,52,59,60,69,72,
76,80,95,121,141,177,208,212,268],[1,3,6,8,9,12,14,15,16,22,23,27,34,43,46,58,
59,61,67,78,84,85,95,125,154,178,205,208,269],[1,3,4,5,6,8,9,12,18,19,21,22,
26,27,28,30,33,45,46,53,59,64,68,73,74,81,95,126,151,179,202,208,270],[1,2,5,
6,9,12,13,16,17,23,26,28,35,37,39,43,45,52,54,64,65,77,79,85,96,100,104,108,
110,112,113,122,129,148,175,189,196,207,211,213,215,271],[1,2,5,6,7,8,9,13,15,
16,18,20,22,28,29,31,35,36,37,38,39,43,45,54,57,66,80,81,84,86,100,101,104,
105,106,110,111,115,122,123,129,145,191,194,206,207,210,214,220,272],[1,4,5,6,
7,8,10,15,16,17,19,22,24,26,30,31,42,47,50,55,56,69,74,79,83,84,102,131,149,
181,182,223,273],[1,4,6,7,9,12,16,18,19,23,24,29,33,38,39,43,44,53,56,60,70,
82,85,86,96,100,105,107,108,114,115,118,119,153,174,192,199,213,216,217,220,
274],[1,2,3,4,5,6,7,8,9,11,13,14,16,19,20,21,24,25,27,28,30,33,34,35,36,37,38,
39,43,44,45,46,54,56,58,62,68,71,72,97,99,100,101,103,104,107,109,110,114,116,
118,119,120,121,122,124,125,126,127,128,129,130,140,183,190,195,199,207,218,
221,224,225,227,228,275],[1,2,3,4,5,6,7,8,9,11,13,15,18,20,23,24,25,26,27,30,
33,34,35,36,37,38,39,57,72,73,77,78,82,83,97,101,103,108,109,110,111,112,114,
115,116,150,193,198,206,211,216,219,221,276],[1,3,4,5,6,8,9,12,18,19,21,22,26,
27,28,30,34,36,39,44,45,53,59,64,68,73,74,81,96,104,106,107,112,115,116,127,
130,151,176,189,194,198,217,218,222,277],[1,3,4,5,6,7,8,9,15,17,19,21,23,25,
27,28,29,30,31,34,36,37,38,39,44,45,55,65,66,68,70,76,78,104,105,107,108,109,
111,113,116,123,127,130,147,191,192,196,197,209,218,219,278],[1,4,6,7,10,12,
16,18,19,23,24,29,41,47,49,53,56,60,70,82,85,86,102,132,153,185,186,223,279],[
1,2,5,6,9,12,13,16,17,23,26,28,35,43,45,52,54,64,65,77,79,85,95,129,148,177,
202,205,280],[1,4,6,7,9,12,16,18,19,23,24,29,33,43,44,53,56,60,70,82,85,86,95,
119,153,179,205,212,281],[1,4,5,6,7,8,9,15,16,17,19,22,24,26,30,31,33,36,37,
38,39,43,44,55,56,69,74,79,83,84,100,103,106,107,111,112,113,114,118,119,123,
149,193,199,201,209,210,215,222,282],[1,3,4,5,6,7,9,12,14,15,21,24,25,26,28,
29,34,44,45,60,61,64,66,71,75,83,95,127,152,178,202,212,283],[1,2,5,6,10,12,
13,16,17,23,26,28,40,49,50,52,54,64,65,77,79,85,98,134,148,180,226,229,284],[
1,6,9,12,32,43,94,95,285],[1,6,10,16,32,49,94,102,286],[1,2,5,6,9,10,12,13,17,
35,37,39,40,52,87,95,96,98,110,113,155,175,177,180,233,287],[1,3,6,8,9,10,12,
22,27,34,36,39,46,59,87,95,96,98,106,116,161,176,208,233,288],[1,3,6,9,10,12,
14,15,34,39,46,61,87,95,96,98,99,111,161,178,184,233,289],[1,6,9,10,12,16,23,
39,43,49,85,87,95,96,98,100,108,157,205,213,226,233,290],[1,4,6,9,10,12,18,19,
33,39,44,53,87,95,96,98,107,115,158,179,217,233,291],[1,5,6,9,10,12,26,28,39,
45,50,64,87,95,96,98,104,112,156,189,202,229,233,292],[1,4,6,7,9,10,12,24,29,
33,38,39,44,60,87,95,96,98,105,114,158,174,212,233,293],[1,2,5,6,9,10,13,23,
26,35,40,43,45,49,50,77,87,129,134,155,156,157,234,236,237,294],[1,4,6,8,9,10,
19,22,26,33,42,43,44,48,49,74,87,119,133,157,158,160,236,238,239,295],[1,4,6,
7,9,10,19,23,29,33,41,43,44,47,49,70,87,119,132,157,158,159,235,237,239,296],[
1,2,5,6,7,8,9,10,13,20,22,29,31,35,40,41,42,43,45,47,48,49,50,80,87,117,129,
131,132,133,134,135,136,155,156,157,159,160,230,234,235,238,241,244,297],[1,2,
3,4,5,6,9,10,11,13,14,19,21,33,34,35,40,43,44,45,46,49,50,62,87,97,119,121,
125,126,127,129,134,155,156,157,158,161,227,234,239,240,242,243,298],[1,3,6,8,
9,10,14,22,23,34,42,43,46,48,49,67,87,125,133,157,160,161,237,238,240,299],[1,
3,6,7,9,10,14,26,29,34,41,43,46,47,49,75,87,125,132,157,159,161,235,236,240,
300],[1,2,3,4,5,6,7,8,11,13,15,18,20,23,24,25,26,27,30,32,57,72,73,77,78,82,
83,88,89,90,91,92,93,94,150,162,163,164,165,166,167,168,169,170,171,172,245,
246,247,248,249,250,251,301],[1,2,7,8,10,20,40,47,48,51,136,137,138,139,173,
231,252,253,254,302],[1,2,3,4,5,6,7,8,9,11,12,13,14,15,16,17,18,19,20,21,22,
23,24,25,26,27,28,29,30,31,33,34,35,43,44,45,46,52,53,54,55,56,57,58,59,60,61,
62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,95,
97,119,121,125,126,127,129,140,141,142,143,144,145,146,147,148,149,150,151,
152,153,154,177,178,179,202,205,208,212,227,232,256,268,269,270,280,281,283,
303],[1,2,3,4,5,6,7,8,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,
28,29,30,31,40,41,42,47,48,49,50,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,
67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,102,117,131,132,
133,134,135,136,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,
181,182,185,186,187,200,223,230,232,257,258,259,260,262,273,279,304],[1,2,3,4,
5,6,7,8,9,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,33,
34,35,36,37,38,39,43,44,45,46,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,
68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,96,97,99,100,101,103,
104,105,106,107,108,109,110,111,112,113,114,115,116,118,119,120,121,122,123,
124,125,126,127,128,129,130,140,141,142,143,144,145,146,147,148,149,150,151,
152,153,154,174,175,176,183,184,188,189,190,191,192,193,194,195,196,197,198,
199,201,203,204,206,207,209,210,211,213,214,215,216,217,218,219,220,221,222,
224,225,227,228,232,255,261,263,264,265,266,267,271,272,274,275,276,277,278,
282,305],[1,2,5,6,9,12,13,17,32,35,43,45,52,88,91,94,95,129,171,177,285,306],[
1,4,6,9,12,18,19,32,33,43,44,53,94,95,119,162,179,285,307],[1,5,6,9,12,26,28,
32,37,43,45,64,94,95,122,169,202,285,308],[1,4,6,7,9,12,24,29,32,38,43,44,60,
89,92,94,95,118,163,212,285,309],[1,6,9,12,16,23,32,39,43,85,94,95,100,168,
205,285,310],[1,3,6,8,9,12,22,27,32,36,43,46,59,90,93,94,95,120,170,208,285,
311],[1,3,6,9,12,14,15,32,34,43,46,61,94,95,125,164,178,285,312],[1,6,8,10,15,
16,22,32,42,48,49,84,94,102,133,164,181,286,313],[1,2,5,6,10,13,16,28,32,40,
49,50,54,88,91,94,102,134,171,200,286,314],[1,6,7,10,16,18,29,32,41,47,49,86,
94,102,132,162,186,286,315],[1,2,5,6,9,10,12,13,16,17,23,26,28,35,37,39,40,43,
45,49,50,52,54,64,65,77,79,85,87,95,96,98,100,104,108,110,112,113,122,129,134,
148,155,156,157,175,177,180,189,196,202,205,207,211,213,215,226,229,233,234,
271,280,284,287,290,292,316],[1,2,3,4,5,6,7,8,9,10,11,12,13,17,20,22,24,25,27,
29,30,31,33,34,35,36,37,38,39,40,44,46,52,59,60,69,72,76,80,87,95,96,97,98,
101,103,105,106,109,110,113,114,116,121,123,141,155,158,161,174,175,176,177,
180,197,201,208,212,214,221,233,243,255,268,287,288,293,317],[1,3,6,8,9,10,12,
14,15,16,22,23,27,34,36,39,43,46,49,58,59,61,67,78,84,85,87,95,96,98,99,100,
106,108,111,116,120,125,154,157,161,176,178,184,188,190,205,208,210,213,219,
226,233,240,264,269,288,289,290,318],[1,3,4,5,6,8,9,10,12,18,19,21,22,26,27,
28,30,33,34,36,39,44,45,46,50,53,59,64,68,73,74,81,87,95,96,98,104,106,107,
112,115,116,126,127,130,151,156,158,161,176,179,189,194,198,202,208,217,218,
222,229,233,242,270,277,288,291,292,319],[1,2,3,4,5,6,9,10,11,12,13,14,15,17,
18,19,21,33,34,35,37,39,40,44,46,52,53,55,57,61,62,63,87,95,96,97,98,99,107,
110,111,113,115,121,124,142,155,158,161,175,177,178,179,180,184,195,204,206,
209,217,233,243,256,261,287,289,291,320],[1,4,6,7,9,10,12,16,18,19,23,24,29,
33,38,39,43,44,49,53,56,60,70,82,85,86,87,95,96,98,100,105,107,108,114,115,
118,119,153,157,158,174,179,192,199,205,212,213,216,217,220,226,233,239,274,
281,290,291,293,321],[1,3,4,5,6,7,9,10,12,14,15,21,24,25,26,28,29,33,34,38,39,
44,45,46,50,60,61,64,66,71,75,83,87,95,96,98,99,104,105,111,112,114,126,127,
128,152,156,158,161,174,178,183,184,189,191,193,202,203,212,229,233,242,265,
283,289,292,293,322],[1,2,3,4,5,6,7,8,9,10,11,13,14,19,20,21,22,23,26,29,31,
33,34,35,40,41,42,43,44,45,46,47,48,49,50,62,67,70,74,75,77,80,87,97,117,119,
121,125,126,127,129,131,132,133,134,135,136,144,155,156,157,158,159,160,161,
227,230,234,235,236,237,238,239,240,241,242,243,244,294,295,296,297,298,299,
300,323],[1,6,10,12,16,23,49,51,85,98,102,173,185,226,324],[1,2,3,4,5,6,9,11,
12,13,14,15,17,18,19,21,32,33,34,35,43,44,45,46,52,53,55,57,61,62,63,88,91,94,
95,97,119,121,125,126,127,129,142,162,164,171,177,178,179,227,251,256,285,306,
307,312,325],[1,3,6,8,9,12,14,15,16,22,23,27,32,34,36,39,43,46,58,59,61,67,78,
84,85,90,93,94,95,99,100,116,120,125,154,164,168,170,178,190,205,208,248,269,
285,310,311,312,326],[1,3,4,5,6,7,9,12,14,15,21,24,25,26,28,29,32,34,37,38,43,
44,45,46,60,61,64,66,71,75,83,89,92,94,95,109,118,122,124,125,127,128,152,163,
164,169,178,202,212,224,250,283,285,308,309,312,327],[1,2,5,6,9,12,13,16,17,
23,26,28,32,35,37,39,43,45,52,54,64,65,77,79,85,88,91,94,95,100,104,110,122,
129,148,168,169,171,177,202,205,207,246,280,285,306,308,310,328],[1,2,3,4,5,6,
7,8,9,11,12,13,17,20,22,24,25,27,29,30,31,32,35,36,38,43,44,45,46,52,59,60,69,
72,76,80,88,89,90,91,92,93,94,95,101,118,120,121,128,129,130,141,163,165,166,
167,170,171,172,177,208,212,228,245,268,285,306,309,311,329],[1,4,6,7,9,12,16,
18,19,23,24,29,32,33,38,39,43,44,53,56,60,70,82,85,86,89,92,94,95,100,107,114,
118,119,153,162,163,168,179,199,205,212,247,281,285,307,309,310,330],[1,3,4,5,
6,8,9,12,18,19,21,22,26,27,28,30,32,33,36,37,43,44,45,46,53,59,64,68,73,74,81,
90,93,94,95,103,119,120,122,124,126,130,151,162,169,170,179,202,208,225,249,
270,285,307,308,311,331],[1,2,5,6,7,8,10,13,15,16,18,20,22,28,29,31,32,40,41,
42,47,48,49,50,54,57,66,80,81,84,86,88,91,94,102,117,131,132,133,134,135,136,
145,162,164,171,181,186,200,230,251,258,286,313,314,315,332],[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,31,33,34,35,
36,37,38,39,40,43,44,45,46,49,50,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,
67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,95,96,97,98,99,
100,101,103,104,105,106,107,108,109,110,111,112,113,114,115,116,118,119,120,
121,122,123,124,125,126,127,128,129,130,134,140,141,142,143,144,145,146,147,
148,149,150,151,152,153,154,155,156,157,158,161,174,175,176,177,178,179,180,
183,184,188,189,190,191,192,193,194,195,196,197,198,199,201,202,203,204,205,
206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,224,225,
226,227,228,229,232,233,234,239,240,242,243,255,256,261,263,264,265,266,267,
268,269,270,271,272,274,275,276,277,278,280,281,282,283,284,287,288,289,290,
291,292,293,298,303,305,316,317,318,319,320,321,322,333],[1,2,5,6,10,12,13,16,
17,23,26,28,40,49,50,51,52,54,64,65,77,79,85,98,102,134,137,148,173,180,182,
185,200,226,229,253,257,284,324,334],[1,6,9,10,12,16,23,32,43,49,85,87,94,95,
102,157,185,205,237,285,286,335],[1,2,3,4,5,6,7,8,9,11,12,13,14,15,16,17,18,
19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,43,44,45,46,52,
53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,
79,80,81,82,83,84,85,86,88,89,90,91,92,93,94,95,97,99,100,101,103,104,107,109,
110,114,116,118,119,120,121,122,124,125,126,127,128,129,130,140,141,142,143,
144,145,146,147,148,149,150,151,152,153,154,162,163,164,165,166,167,168,169,
170,171,172,177,178,179,183,190,195,199,202,205,207,208,212,218,221,224,225,
227,228,232,245,246,247,248,249,250,251,256,268,269,270,275,280,281,283,285,
301,303,306,307,308,309,310,311,312,325,326,327,328,329,330,331,336],[1,3,6,8,
9,10,12,14,15,16,22,23,27,32,34,42,43,46,48,49,58,59,61,67,78,84,85,87,94,95,
102,125,133,154,157,160,161,164,178,181,185,187,205,208,237,238,240,259,269,
285,286,299,312,313,335,337],[1,2,5,6,9,10,12,13,16,17,23,26,28,32,35,40,43,
45,49,50,52,54,64,65,77,79,85,87,88,91,94,95,102,129,134,148,155,156,157,171,
177,182,185,200,202,205,234,236,237,257,280,285,286,294,306,314,335,338],[1,4,
6,7,9,10,12,16,18,19,23,24,29,32,33,41,43,44,47,49,53,56,60,70,82,85,86,87,94,
95,102,119,132,153,157,158,159,162,179,185,186,205,212,223,235,237,239,279,
281,285,286,296,307,315,335,339],[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,31,32,33,34,35,40,41,42,43,44,45,46,47,
48,49,50,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,
75,76,77,78,79,80,81,82,83,84,85,86,87,88,91,94,95,97,102,117,119,121,125,126,
127,129,131,132,133,134,135,136,140,141,142,143,144,145,146,147,148,149,150,
151,152,153,154,155,156,157,158,159,160,161,162,164,171,177,178,179,181,182,
185,186,187,200,202,205,208,212,223,227,230,232,234,235,236,237,238,239,240,
241,242,243,244,251,256,257,258,259,260,262,268,269,270,273,279,280,281,283,
285,286,294,295,296,297,298,299,300,303,304,306,307,312,313,314,315,323,325,
332,335,337,338,339,340],[1,6,9,10,12,16,23,32,39,43,49,51,85,87,94,95,96,98,
100,102,108,157,168,173,185,205,213,226,233,237,285,286,290,310,324,335,341],[
1,3,6,8,9,10,12,14,15,16,22,23,27,32,34,36,39,42,43,46,48,49,51,58,59,61,67,
78,84,85,87,90,93,94,95,96,98,99,100,102,106,108,111,116,120,125,133,139,154,