tmsymc.tom

GAP源码

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