tmutwmx.tom

GAP源码

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