tmo82mx.tom

GAP源码

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