tmutwa.tom

GAP源码

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