tmsympmx.tom

GAP源码

390],[1,2,3,4,6,8,15,16,22,25,28,37,41,42,48,49,58,102,103,134,137,139,149,
164,173,254,282,284,286,391],[1,2,3,4,5,6,8,15,16,23,25,26,29,34,39,47,48,49,
58,80,82,113,116,140,150,164,174,258,282,283,287,392],[1,2,4,6,8,15,18,23,24,
28,29,37,38,41,48,49,57,95,128,130,147,149,150,164,173,263,285,286,287,393],[
1,2,4,5,6,8,15,18,26,27,28,29,33,34,41,47,48,49,56,79,116,145,149,151,152,164,
174,261,281,283,286,394],[1,2,3,4,8,10,15,16,18,24,25,27,44,49,54,56,57,58,94,
96,99,164,165,183,281,282,285,395],[1,4,6,9,13,21,22,28,30,31,32,38,78,107,
112,166,175,182,396],[1,2,4,6,8,15,18,22,23,27,29,30,37,41,48,49,56,83,136,
137,142,150,151,164,173,262,281,284,287,397],[1,2,4,5,6,8,15,18,22,24,26,29,
34,41,45,47,48,49,57,85,114,116,130,135,137,164,174,276,283,284,285,398],[1,4,
5,6,7,12,14,26,30,33,35,36,38,40,43,45,51,52,69,72,109,121,126,144,168,171,
192,290,297,300,399],[1,3,5,6,9,11,19,31,32,35,36,39,42,43,50,64,65,67,68,105,
106,111,169,172,194,293,298,304,400],[1,2,5,6,8,10,20,31,32,34,36,37,40,43,49,
62,66,73,74,110,133,148,165,167,193,289,291,292,401],[1,3,4,9,11,13,17,24,25,
27,44,50,53,71,75,76,77,90,131,166,172,191,295,299,303,402],[1,5,8,14,46,47,
154,159,403],[1,6,8,20,46,48,155,167,404],[1,2,7,10,46,156,157,176,278,405],[
1,2,3,4,10,11,12,13,15,16,17,18,24,25,27,44,53,54,55,56,57,58,59,60,71,75,76,
77,89,90,92,94,96,97,99,101,131,177,178,179,183,187,190,191,204,205,211,232,
241,310,311,315,406],[1,2,3,4,5,6,10,11,12,13,14,16,17,18,19,20,21,22,23,26,
28,30,31,32,33,34,35,36,37,38,39,40,42,43,45,52,54,55,59,61,62,63,64,65,66,67,
68,69,70,72,73,74,78,79,80,81,83,84,85,87,91,93,95,102,104,105,106,107,108,
109,110,111,112,115,117,119,120,121,122,123,124,125,126,127,129,132,133,138,
141,144,146,148,177,180,181,182,184,185,188,192,193,194,199,201,212,213,226,
240,244,245,247,250,251,253,255,260,264,266,268,269,275,309,324,325,328,340,
407],[1,2,3,4,10,11,12,13,16,17,18,29,41,54,55,59,82,86,88,98,100,103,118,130,
143,151,177,186,189,197,200,214,221,224,235,320,322,408],[1,2,3,4,10,11,12,13,
16,17,18,29,41,54,55,59,82,86,88,98,100,103,118,130,143,151,177,186,189,197,
200,214,221,224,235,320,323,409],[1,2,3,4,5,6,10,11,12,13,15,16,17,18,22,23,
24,25,26,27,28,29,30,33,34,37,38,39,41,42,44,45,52,53,54,55,56,57,58,59,60,61,
65,69,71,72,73,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,
96,97,98,99,100,101,102,103,108,113,114,115,116,118,120,128,130,131,134,135,
136,137,138,139,140,142,143,145,147,149,150,151,152,177,183,185,186,187,188,
189,190,195,197,198,199,200,201,204,205,206,208,209,211,212,214,215,219,221,
224,225,226,227,228,230,233,235,237,239,242,243,246,248,249,252,254,256,257,
258,259,261,262,263,265,267,270,271,272,273,274,276,309,310,317,318,319,320,
321,327,337,338,339,347,355,359,366,368,369,410],[1,2,3,4,5,6,10,11,12,13,16,
17,18,22,23,26,28,29,30,33,34,37,38,39,41,42,45,52,54,55,59,61,65,69,72,73,78,
79,80,81,82,83,84,85,86,87,88,91,93,95,98,100,102,103,108,115,118,120,130,138,
143,151,177,185,186,188,189,197,199,200,201,202,207,212,214,216,221,223,224,
226,231,234,235,236,238,309,320,336,341,350,351,353,367,411],[1,2,3,4,10,11,
12,13,15,16,17,18,24,25,27,29,41,44,53,54,55,56,57,58,59,60,71,75,76,77,82,86,
88,89,90,92,94,96,97,98,99,100,101,103,118,130,131,143,151,177,183,186,187,
189,190,196,197,200,203,204,205,210,211,214,217,218,220,221,222,224,229,235,
310,320,329,330,344,348,360,362,412],[1,2,3,4,5,6,12,13,15,16,17,18,19,20,21,
22,23,24,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,56,57,59,
60,61,62,64,66,68,69,72,78,79,81,82,83,84,85,86,87,88,91,92,93,95,97,99,100,
101,102,104,105,106,107,108,109,110,111,112,114,115,116,117,118,119,120,121,
122,123,124,125,126,127,128,129,130,132,133,135,136,137,138,141,142,143,145,
146,147,148,149,150,151,152,182,186,188,190,198,201,202,207,208,209,212,213,
214,223,225,227,231,234,235,236,237,238,240,242,243,245,246,247,248,250,253,
255,256,257,260,261,262,263,266,267,269,275,276,318,331,332,334,337,340,341,
345,346,351,357,366,367,413],[1,2,3,4,6,11,12,13,15,16,17,18,22,23,24,25,27,
28,29,30,37,38,41,42,44,53,55,56,57,58,59,60,61,71,75,76,77,78,83,87,88,89,90,
92,93,94,95,96,97,98,99,100,101,102,103,118,128,130,131,134,135,136,137,139,
140,142,143,145,147,149,150,151,179,187,188,189,191,196,200,203,204,205,206,
208,209,210,211,217,218,220,224,228,229,230,232,233,239,241,242,248,252,254,
262,263,265,267,271,274,315,319,330,343,344,347,354,355,356,362,363,364,365,
414],[1,2,3,4,5,6,11,12,13,15,16,17,18,22,23,24,25,26,27,28,29,33,34,39,41,44,
45,52,53,55,56,57,58,59,60,61,71,75,76,77,79,80,81,82,84,85,86,89,90,91,92,94,
96,97,98,99,100,101,113,114,116,118,130,131,134,135,136,137,139,140,143,145,
147,149,150,151,152,179,185,186,187,191,195,196,200,203,204,205,206,208,209,
210,211,215,217,218,219,220,222,224,227,228,232,239,241,246,249,256,258,259,
261,270,273,276,314,315,317,327,329,333,344,348,354,358,359,361,363,365,415],[
1,2,3,4,5,6,12,13,15,16,17,18,22,23,24,25,26,27,28,29,33,34,39,41,44,45,52,56,
57,59,60,61,71,75,77,79,80,81,84,85,88,89,90,91,92,94,96,97,98,99,100,101,103,
113,114,116,118,128,130,131,134,135,136,137,139,142,143,145,147,149,151,152,
178,185,189,190,195,196,198,200,203,204,206,208,209,210,211,215,218,220,222,
224,225,228,229,230,232,241,246,249,256,259,261,270,272,273,276,311,313,321,
326,327,330,333,343,356,358,359,360,362,364,416],[1,2,3,4,5,6,12,13,14,15,16,
17,18,19,20,21,22,23,24,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,
44,45,52,56,57,59,60,61,63,67,69,70,72,74,78,79,80,81,83,84,85,86,87,88,91,92,
93,95,97,98,99,101,103,104,105,106,107,108,109,110,111,112,114,115,116,117,
118,119,120,121,122,123,124,125,126,127,128,129,130,132,133,135,136,137,138,
141,142,143,144,145,146,147,148,149,150,151,152,184,185,189,190,192,198,201,
202,207,212,213,214,215,216,225,227,230,231,234,235,236,237,238,240,242,243,
244,245,246,247,248,250,251,255,256,260,261,262,263,264,267,268,272,276,321,
328,334,336,337,345,346,349,350,352,353,357,366,417],[1,2,3,4,5,6,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,40,41,
42,43,44,45,52,53,58,59,60,61,63,67,69,70,72,74,77,78,79,80,81,82,83,84,85,86,
87,88,89,90,91,93,94,95,96,100,104,105,106,107,108,109,110,111,112,113,114,
115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,132,133,134,
135,136,138,139,140,141,142,143,144,145,146,147,148,150,151,152,184,185,186,
187,192,195,198,201,202,207,212,213,214,216,219,223,225,227,231,233,235,236,
237,238,239,240,243,244,245,247,249,250,251,252,255,258,259,260,264,265,268,
270,271,273,274,316,317,328,331,334,335,338,339,341,342,346,350,351,352,418],[
1,2,3,4,5,6,12,13,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,40,41,42,43,44,45,53,58,59,60,61,62,64,66,68,69,72,77,78,79,81,
83,84,85,86,87,88,89,90,91,93,94,95,96,98,102,103,104,105,106,107,108,109,110,
111,112,113,114,115,117,118,119,120,121,122,123,124,125,126,127,128,129,130,
132,133,134,135,136,137,138,139,140,141,142,143,145,146,147,148,149,151,152,
182,187,188,189,198,201,202,206,212,213,214,216,219,223,225,228,231,233,234,
235,236,237,238,240,242,243,245,247,249,250,252,253,254,255,259,260,265,266,
269,270,271,273,274,275,312,319,332,335,336,338,339,340,342,345,349,353,357,
367,419],[1,2,3,4,6,12,13,15,16,17,18,22,23,24,25,27,28,29,30,37,38,41,42,44,
56,57,59,60,61,71,75,77,78,82,83,86,87,89,90,92,93,94,95,96,97,98,99,100,101,
102,118,128,130,131,134,135,136,137,139,140,142,143,145,147,149,150,151,178,
186,188,190,196,200,203,204,206,208,209,210,211,217,218,222,224,228,229,230,
232,237,239,241,243,248,252,257,262,263,265,267,271,274,311,318,326,329,347,
348,355,356,360,361,363,364,365,420],[1,2,5,6,7,8,9,10,34,37,47,48,49,51,73,
153,157,162,165,173,174,277,288,302,370,421],[1,4,12,24,27,46,101,178,422],[1,
3,4,5,8,11,12,15,25,26,29,44,47,52,76,89,100,113,116,161,164,179,195,217,283,
314,374,423],[1,3,4,6,8,11,12,15,22,23,25,28,29,41,44,48,61,76,89,98,100,134,
137,139,140,149,150,161,164,179,206,210,218,220,228,239,284,286,287,354,374,
424],[1,2,3,4,8,11,12,13,15,16,17,18,24,25,27,44,49,53,55,56,57,58,59,60,71,
75,76,77,89,90,92,94,96,97,99,101,131,161,164,179,187,191,204,205,211,232,241,
281,282,285,307,315,374,425],[1,2,3,4,5,6,9,10,14,16,18,19,20,21,22,23,26,28,
30,31,32,33,34,35,36,37,38,39,40,42,43,45,50,54,62,63,64,66,67,68,70,73,74,79,
80,83,85,95,102,104,105,106,107,109,110,111,112,115,117,119,120,121,122,123,
124,125,126,127,129,132,133,138,141,144,146,148,158,162,169,181,193,226,244,
250,251,253,260,264,269,275,293,294,296,298,304,325,377,426],[1,2,3,4,5,6,7,
10,11,12,13,16,17,18,22,23,26,28,30,33,34,37,38,39,42,45,51,52,54,55,59,61,65,
69,72,73,78,79,80,81,83,84,85,87,91,93,95,102,108,115,120,138,157,160,168,177,
185,188,199,201,212,226,290,297,300,301,302,309,376,427],[1,2,3,4,9,10,11,12,
13,15,16,17,18,24,25,27,44,50,53,54,55,56,57,58,59,60,71,75,76,77,89,90,92,94,
96,97,99,101,131,162,163,166,177,183,187,190,204,205,211,295,296,299,303,306,
310,375,428],[1,2,3,4,8,11,16,17,29,41,49,55,82,103,118,143,161,221,307,323,
429],[1,2,3,4,9,10,16,18,29,41,50,54,82,103,130,151,162,197,296,322,430],[1,2,
3,4,5,6,8,11,14,16,17,19,20,21,22,23,26,28,30,31,32,33,34,35,36,37,38,39,40,
42,43,45,49,55,62,63,64,65,66,67,68,70,74,80,81,87,91,93,102,104,105,106,107,
108,109,110,111,112,115,117,119,120,121,122,123,124,125,126,127,129,132,133,
141,144,146,148,159,161,167,180,194,199,244,245,247,253,264,266,268,269,289,
291,292,305,307,324,378,431],[1,4,5,7,12,24,26,27,41,51,52,98,101,114,152,168,
178,215,229,300,313,379,432],[1,3,4,5,7,11,12,15,25,26,29,44,51,52,76,89,100,
113,116,160,168,179,195,217,300,314,380,433],[1,3,4,5,6,9,13,14,21,23,25,26,
29,33,36,43,45,50,53,84,86,113,123,140,144,166,170,175,184,207,219,303,316,
390,434],[1,2,3,4,5,6,8,10,15,16,18,22,23,24,25,26,27,28,29,30,33,34,37,38,39,
41,42,44,45,47,48,49,54,56,57,58,73,79,80,82,83,85,94,95,96,99,102,103,113,
114,115,116,120,128,130,134,135,136,137,138,139,140,142,145,147,149,150,151,
152,164,165,173,174,183,197,226,252,254,257,258,259,261,262,263,265,272,273,
276,281,282,283,284,285,286,287,288,369,391,392,393,394,395,397,398,435],[1,3,
4,6,9,13,21,22,25,28,30,31,32,38,41,50,53,78,88,107,112,134,139,166,175,182,
233,234,303,312,396,436],[1,2,6,8,20,32,37,46,48,49,66,155,156,167,173,280,
291,404,437],[1,2,5,6,8,14,34,35,46,47,48,49,70,154,155,156,159,174,279,305,
403,438],[1,2,5,6,8,20,34,36,46,47,48,49,74,154,155,156,167,174,279,292,404,
439],[1,2,6,8,20,31,37,46,48,49,62,155,156,167,173,280,289,404,440],[1,2,5,6,
7,10,34,37,46,51,73,154,155,156,157,176,278,279,280,302,308,373,405,441],[1,2,
3,4,5,6,10,11,12,13,15,16,17,18,22,23,24,25,26,27,28,29,30,33,34,37,38,39,41,
42,44,45,52,53,54,55,56,57,58,59,60,61,65,69,71,72,73,75,76,77,78,79,80,81,82,
83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,108,113,
114,115,116,118,120,128,130,131,134,135,136,137,138,139,140,142,143,145,147,
149,150,151,152,177,178,179,183,185,186,187,188,189,190,191,195,196,197,198,
199,200,201,203,204,205,206,208,209,210,211,212,214,215,217,218,219,220,221,
222,224,225,226,227,228,229,230,232,233,235,237,239,241,242,243,246,248,249,
252,254,256,257,258,259,261,262,263,265,267,270,271,272,273,274,276,309,310,
311,313,314,315,317,318,319,320,321,326,327,329,330,333,337,338,339,343,344,
347,348,354,355,356,358,359,360,361,362,363,364,365,366,368,369,406,410,412,
414,415,416,420,442],[1,2,3,4,5,6,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,36,37,38,39,40,41,42,43,44,45,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,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,
106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,
125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,
144,145,146,147,148,149,150,151,152,177,180,181,182,183,184,185,186,187,188,
189,190,192,193,194,195,197,198,199,200,201,202,204,205,206,207,208,209,211,
212,213,214,215,216,219,221,223,224,225,226,227,228,230,231,233,234,235,236,
237,238,239,240,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,
257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,
276,309,310,312,316,317,318,319,320,321,324,325,327,328,331,332,334,335,336,
337,338,339,340,341,342,345,346,347,349,350,351,352,353,355,357,359,366,367,
368,369,407,410,411,413,417,418,419,443],[1,2,3,4,5,6,10,11,12,13,15,16,17,18,
22,23,24,25,26,27,28,29,30,33,34,37,38,39,41,42,44,45,52,53,54,55,56,57,58,59,
60,61,65,69,71,72,73,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,
94,95,96,97,98,99,100,101,102,103,108,113,114,115,116,118,120,128,130,131,134,
135,136,137,138,139,140,142,143,145,147,149,150,151,152,177,183,185,186,187,
188,189,190,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,
211,212,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,
231,233,234,235,236,237,238,239,242,243,246,248,249,252,254,256,257,258,259,
261,262,263,265,267,270,271,272,273,274,276,309,310,317,318,319,320,321,322,
323,327,329,330,336,337,338,339,341,344,347,348,350,351,353,355,359,360,362,
366,367,368,369,408,409,410,411,412,444],[1,3,4,7,8,9,11,12,15,25,44,50,76,89,
153,160,161,163,164,168,172,179,306,372,374,380,381,445],[1,2,5,6,7,8,9,10,14,
19,21,34,35,37,49,51,70,73,141,153,157,158,159,162,165,169,170,171,175,181,
302,305,370,371,377,382,384,385,446],[1,2,3,4,7,8,9,10,11,12,13,16,17,18,49,
50,54,55,59,153,157,160,161,162,163,165,166,168,172,177,296,307,370,372,375,