tmtw.tom

GAP源码

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