tmtw.tom

GAP源码

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