tmsympmx.tom

GAP源码

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