tmutwmx.tom

GAP源码

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