tmutwa.tom

GAP源码

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