tmlinoa.tom

GAP源码

25,26,34,52,53,54,55,56,57,58,94,95,99,137],[1,2,3,7,8,9,10,11,12,21,22,23,24,
25,26,27,28,29,30,31,32,33,34,35,36,54,55,56,57,58,59,60,62,63,65,66,67,68,99,
100,101,103,106,138],[1,2,7,8,9,10,12,21,22,25,26,28,29,34,54,55,56,57,58,61,
64,98,99,102,139],[1,2,3,7,8,9,10,11,12,21,22,23,24,25,27,28,29,30,31,32,33,
34,35,53,57,58,60,61,62,63,66,67,94,97,101,102,105,140],[1,2,7,8,9,10,12,21,
22,25,29,34,36,52,56,58,59,61,95,100,102,141],[1,2,3,7,8,9,10,11,12,21,22,23,
24,25,27,28,29,30,31,32,33,34,35,52,56,58,60,62,63,64,66,67,95,96,98,101,104,
142],[1,2,7,8,9,10,12,21,22,25,28,34,36,53,57,58,59,64,94,98,100,143],[1,2,6,
10,16,26,37,69,107,144],[1,2,3,6,10,11,16,17,19,30,37,49,69,71,107,108,145],[
1,2,6,10,16,36,37,69,107,146],[1,2,3,4,6,7,11,12,15,17,18,32,38,41,42,43,44,
47,48,70,83,88,90,91,109,147],[1,2,7,9,13,22,52,148],[1,2,7,8,13,21,53,149],[
1,2,3,4,7,9,11,12,15,22,23,28,32,35,42,52,60,64,83,96,113,150],[1,2,6,7,8,9,
10,16,21,22,25,34,43,46,52,56,58,84,95,116,151],[1,2,6,7,8,9,10,16,21,22,25,
34,43,45,53,57,58,89,94,115,152],[1,2,3,4,7,8,11,12,15,21,24,29,31,32,41,53,
61,62,88,97,114,153],[1,2,4,7,8,9,10,18,21,22,25,34,41,53,57,58,79,94,114,
154],[1,2,4,7,8,9,10,18,21,22,25,34,42,52,56,58,81,95,113,155],[1,2,3,6,7,9,
11,12,17,22,23,28,32,35,43,46,52,60,64,87,90,96,116,156],[1,2,3,6,7,8,11,12,
17,21,24,29,31,32,43,45,53,61,62,85,90,97,115,157],[1,2,3,6,7,8,11,12,19,21,
24,29,31,32,43,45,53,61,62,86,97,115,158],[1,2,3,6,7,9,11,12,19,22,23,28,32,
35,43,46,52,60,64,82,96,116,159],[1,2,3,4,7,10,11,12,15,18,25,26,27,30,32,33,
36,44,47,48,55,59,63,65,68,80,91,106,119,121,124,160],[1,2,3,6,7,10,11,12,17,
25,27,30,32,33,36,43,54,59,63,90,103,125,161],[1,2,3,4,7,9,11,12,15,18,22,23,
28,32,35,41,44,47,48,52,60,64,79,88,91,96,117,120,126,162],[1,2,3,4,7,8,11,12,
15,18,21,24,29,31,32,42,44,47,48,53,61,62,81,83,91,97,118,122,123,163],[1,2,3,
4,5,6,11,14,15,16,17,18,19,37,38,39,48,49,69,70,71,72,73,74,92,108,110,129,
130,131,164],[1,2,3,6,8,11,12,13,16,17,19,31,40,45,49,75,85,133,165],[1,2,3,6,
9,11,12,13,16,17,19,35,40,46,49,75,87,134,166],[1,2,3,6,7,11,12,13,16,17,19,
32,40,43,49,75,90,132,167],[1,3,5,6,14,19,20,39,50,74,76,77,78,111,112,136,
168],[1,2,3,7,8,9,10,11,12,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,52,
53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,94,95,96,97,98,99,100,101,102,
103,104,105,106,137,138,139,140,141,142,143,169],[1,2,4,6,7,8,18,21,38,41,42,
43,44,45,53,81,109,114,115,118,170],[1,2,4,6,7,9,18,22,38,41,42,43,44,46,52,
79,109,113,116,117,171],[1,2,3,6,10,11,16,17,19,26,30,36,37,49,65,69,71,107,
108,144,145,146,172],[1,2,7,8,9,10,13,21,22,25,34,40,53,57,58,94,149,173],[1,
2,7,8,9,10,13,21,22,25,34,40,52,56,58,95,148,174],[1,2,6,8,9,10,16,20,34,45,
46,76,84,89,175],[1,2,4,6,7,13,16,18,38,40,41,42,43,44,51,72,93,109,132,176],[
1,2,4,7,8,9,10,18,21,22,25,26,34,41,42,44,52,53,54,55,56,57,58,79,80,81,94,95,
99,117,118,124,137,177],[1,2,6,7,8,9,10,21,22,25,26,34,43,45,46,52,53,54,55,
56,57,58,94,95,99,115,116,125,137,178],[1,2,4,7,8,9,10,18,21,22,25,26,34,41,
44,52,53,54,55,56,57,58,79,94,95,99,114,117,137,154,179],[1,2,4,7,8,9,10,18,
21,22,25,26,34,42,44,52,53,54,55,56,57,58,81,94,95,99,113,118,137,155,180],[1,
2,4,7,8,9,10,12,18,21,22,25,29,34,36,42,47,52,56,58,59,61,81,95,100,102,113,
122,141,155,181],[1,2,3,4,7,8,9,10,11,12,15,18,21,22,23,24,25,27,28,29,30,31,
32,33,34,35,42,48,52,56,58,60,62,63,64,66,67,81,83,95,96,98,101,104,113,123,
142,150,155,182],[1,2,3,4,7,8,9,10,11,12,15,18,21,22,23,24,25,27,28,29,30,31,
32,33,34,35,41,48,53,57,58,60,61,62,63,66,67,79,88,94,97,101,102,105,114,126,
140,153,154,183],[1,2,4,7,8,9,10,12,18,21,22,25,28,34,36,41,47,53,57,58,59,64,
79,94,98,100,114,120,143,154,184],[1,2,3,6,7,8,9,10,11,12,16,17,19,21,22,23,
24,25,27,28,29,30,31,32,33,34,35,43,46,49,52,56,58,60,62,63,64,66,67,82,84,87,
90,95,96,98,101,104,116,127,142,151,156,159,185],[1,2,3,6,7,8,9,10,11,12,16,
17,19,21,22,23,24,25,27,28,29,30,31,32,33,34,35,43,45,49,53,57,58,60,61,62,63,
66,67,85,86,89,90,94,97,101,102,105,115,128,140,152,157,158,186],[1,2,4,5,6,
10,16,18,26,37,38,39,69,72,80,92,107,131,144,187],[1,2,4,7,8,13,21,41,51,53,
114,149,188],[1,2,4,7,9,13,22,42,51,52,113,148,189],[1,2,4,6,7,8,9,10,16,18,
21,22,25,34,38,41,42,43,44,46,52,56,58,72,79,81,84,95,109,113,116,117,151,155,
171,190],[1,2,3,4,6,7,9,11,12,15,17,18,22,23,28,32,35,38,41,42,43,44,46,47,48,
52,60,64,70,79,83,87,88,90,91,96,109,113,116,117,120,126,147,150,156,162,171,
191],[1,2,3,4,6,7,9,11,12,15,18,19,22,23,28,32,35,38,41,42,43,44,46,52,60,64,
73,79,82,83,96,109,113,116,117,150,159,171,192],[1,2,3,4,6,7,8,11,12,15,18,19,
21,24,29,31,32,38,41,42,43,44,45,53,61,62,73,81,86,88,97,109,114,115,118,153,
158,170,193],[1,2,3,4,6,7,8,11,12,15,17,18,21,24,29,31,32,38,41,42,43,44,45,
47,48,53,61,62,70,81,83,85,88,90,91,97,109,114,115,118,122,123,147,153,157,
163,170,194],[1,2,4,6,7,8,9,10,16,18,21,22,25,34,38,41,42,43,44,45,53,57,58,
72,79,81,89,94,109,114,115,118,152,154,170,195],[1,2,7,8,9,10,12,13,21,22,25,
29,34,36,40,52,56,58,59,61,75,95,100,102,141,148,174,196],[1,2,7,8,9,10,12,13,
21,22,25,28,34,36,40,53,57,58,59,64,75,94,98,100,143,149,173,197],[1,2,3,6,8,
9,10,11,12,16,17,19,20,23,24,30,31,33,34,35,45,46,49,50,67,76,82,84,85,86,87,
89,112,127,128,175,198],[1,2,6,8,9,10,13,16,34,37,40,45,46,69,84,89,107,133,
134,199],[1,2,3,4,6,7,11,12,13,15,16,17,18,19,32,38,40,41,42,43,44,47,48,49,
51,70,72,73,75,83,88,90,91,93,109,110,132,135,147,167,176,200],[1,2,3,4,7,8,9,
10,11,12,15,18,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,41,44,47,48,52,
53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,79,88,91,94,95,96,97,98,99,
100,101,102,103,104,105,106,114,117,120,126,137,138,139,140,141,142,143,153,
154,162,169,179,183,184,201],[1,2,3,4,7,8,9,10,11,12,15,18,21,22,23,24,25,26,
27,28,29,30,31,32,33,34,35,36,42,44,47,48,52,53,54,55,56,57,58,59,60,61,62,63,
64,65,66,67,68,81,83,91,94,95,96,97,98,99,100,101,102,103,104,105,106,113,118,
122,123,137,138,139,140,141,142,143,150,155,163,169,180,181,182,202],[1,2,3,4,
7,8,9,10,11,12,15,18,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,41,42,44,
47,48,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,79,80,81,83,88,91,94,
95,96,97,98,99,100,101,102,103,104,105,106,117,118,119,120,121,122,123,124,
126,137,138,139,140,141,142,143,160,162,163,169,177,203],[1,2,3,6,7,8,9,10,11,
12,17,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,43,45,46,52,53,54,55,56,
57,58,59,60,61,62,63,64,65,66,67,68,85,87,90,94,95,96,97,98,99,100,101,102,
103,104,105,106,115,116,125,137,138,139,140,141,142,143,156,157,161,169,178,
204],[1,2,3,4,5,6,10,11,14,15,16,17,18,19,26,30,36,37,38,39,48,49,65,69,70,71,
72,73,74,80,92,107,108,110,119,129,130,131,144,145,146,164,172,187,205],[1,2,
4,7,8,9,10,13,18,21,22,25,34,40,42,51,52,56,58,81,93,95,113,148,155,174,189,
206],[1,2,4,7,8,9,10,13,18,21,22,25,34,40,41,51,53,57,58,79,93,94,114,149,154,
173,188,207],[1,2,4,6,7,8,9,10,18,21,22,25,26,34,38,41,42,43,44,45,46,52,53,
54,55,56,57,58,79,80,81,94,95,99,109,113,114,115,116,117,118,124,125,137,154,
155,170,171,177,178,179,180,208],[1,2,3,4,6,7,8,9,10,11,12,15,16,17,18,19,21,
22,23,24,25,27,28,29,30,31,32,33,34,35,38,41,42,43,44,45,47,48,49,53,57,58,60,
61,62,63,66,67,70,72,73,79,81,83,85,86,88,89,90,91,94,97,101,102,105,109,110,
114,115,118,122,123,126,128,140,147,152,153,154,157,158,163,170,183,186,193,
194,195,209],[1,2,3,4,6,7,8,9,10,11,12,15,16,17,18,19,21,22,23,24,25,27,28,29,
30,31,32,33,34,35,38,41,42,43,44,46,47,48,49,52,56,58,60,62,63,64,66,67,70,72,
73,79,81,82,83,84,87,88,90,91,95,96,98,101,104,109,110,113,116,117,120,123,
126,127,142,147,150,151,155,156,159,162,171,182,185,190,191,192,210],[1,2,3,6,
8,9,10,11,12,13,16,17,19,23,24,30,31,33,34,35,37,40,45,46,49,67,69,71,75,82,
84,85,86,87,89,107,108,127,128,133,134,145,165,166,199,211],[1,2,6,7,8,9,10,
13,16,21,22,25,26,34,40,43,45,46,52,53,54,55,56,57,58,84,94,95,99,115,116,125,
132,133,137,148,151,174,178,212],[1,2,6,7,8,9,10,13,16,21,22,25,26,34,40,43,
45,46,52,53,54,55,56,57,58,89,94,95,99,115,116,125,132,134,137,149,152,173,
178,213],[1,2,4,7,8,9,10,12,13,18,21,22,25,29,34,36,40,42,47,51,52,56,58,59,
61,75,81,93,95,100,102,113,122,135,141,148,155,174,181,189,196,206,214],[1,2,
4,7,8,9,10,12,13,18,21,22,25,28,34,36,40,41,47,51,53,57,58,59,64,75,79,93,94,
98,100,114,120,135,143,149,154,173,184,188,197,207,215],[1,2,3,4,6,7,8,9,10,
11,12,15,17,18,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,38,41,42,43,44,
45,46,47,48,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,70,79,80,81,83,
85,87,88,90,91,94,95,96,97,98,99,100,101,102,103,104,105,106,109,113,114,115,
116,117,118,119,120,121,122,123,124,125,126,137,138,139,140,141,142,143,147,
150,153,154,155,156,157,160,161,162,163,169,170,171,177,178,179,180,181,182,
183,184,191,194,201,202,203,204,208,216],[1,2,3,6,7,8,9,10,11,12,13,16,17,19,
21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,40,43,45,46,49,52,53,54,55,56,
57,58,59,60,61,62,63,64,65,66,67,68,75,82,84,85,87,90,94,95,96,97,98,99,100,
101,102,103,104,105,106,115,116,125,127,132,133,137,138,139,140,141,142,143,
148,151,156,157,159,161,165,167,169,174,178,185,196,204,212,217],[1,2,3,6,7,8,
9,10,11,12,13,16,17,19,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,40,43,
45,46,49,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,75,85,86,87,89,90,
94,95,96,97,98,99,100,101,102,103,104,105,106,115,116,125,128,132,134,137,138,
139,140,141,142,143,149,152,156,157,158,161,166,167,169,173,178,186,197,204,
213,218],[1,2,4,6,7,8,9,10,13,16,18,21,22,25,26,34,38,40,41,42,43,44,45,46,51,
52,53,54,55,56,57,58,72,79,80,81,84,93,94,95,99,109,113,114,115,116,117,118,
124,125,132,133,137,148,151,154,155,170,171,174,176,177,178,179,180,189,190,
206,208,212,219],[1,2,4,6,7,8,9,10,13,16,18,21,22,25,26,34,38,40,41,42,43,44,
45,46,51,52,53,54,55,56,57,58,72,79,80,81,89,93,94,95,99,109,113,114,115,116,
117,118,124,125,132,134,137,149,152,154,155,170,171,173,176,177,178,179,180,
188,195,207,208,213,220],[1,2,3,4,6,7,8,9,10,11,12,13,15,16,17,18,19,21,22,23,
24,25,26,27,28,29,30,31,32,33,34,35,36,38,40,41,42,43,44,45,46,47,48,49,51,52,
53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,70,72,73,75,79,80,81,82,83,84,
85,87,88,90,91,93,94,95,96,97,98,99,100,101,102,103,104,105,106,109,110,113,
114,115,116,117,118,119,120,121,122,123,124,125,126,127,132,133,135,137,138,
139,140,141,142,143,147,148,150,151,153,154,155,156,157,159,160,161,162,163,
165,167,169,170,171,174,176,177,178,179,180,181,182,183,184,185,189,190,191,
192,194,196,200,201,202,203,204,206,208,210,212,214,216,217,219,221],[1,2,3,4,
6,7,8,9,10,11,12,13,15,16,17,18,19,21,22,23,24,25,26,27,28,29,30,31,32,33,34,
35,36,38,40,41,42,43,44,45,46,47,48,49,51,52,53,54,55,56,57,58,59,60,61,62,63,
64,65,66,67,68,70,72,73,75,79,80,81,83,85,86,87,88,89,90,91,93,94,95,96,97,98,
99,100,101,102,103,104,105,106,109,110,113,114,115,116,117,118,119,120,121,
122,123,124,125,126,128,132,134,135,137,138,139,140,141,142,143,147,149,150,
152,153,154,155,156,157,158,160,161,162,163,166,167,169,170,171,173,176,177,
178,179,180,181,182,183,184,186,188,191,193,194,195,197,200,201,202,203,204,
207,208,209,213,215,216,218,220,222],[1,2,6,7,8,9,10,13,16,20,21,22,25,26,34,
37,40,43,45,46,52,53,54,55,56,57,58,69,76,84,89,94,95,99,107,115,116,125,132,
133,134,137,144,148,149,151,152,173,174,175,178,199,212,213,223],[1,2,3,6,7,8,
9,10,11,12,13,16,17,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,
40,43,45,46,49,50,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,71,75,
76,82,84,85,86,87,89,90,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,
112,115,116,125,127,128,132,133,134,137,138,139,140,141,142,143,144,145,146,
148,149,151,152,156,157,158,159,161,165,166,167,169,172,173,174,175,178,185,
186,196,197,198,199,204,211,212,213,217,218,223,224],[1,2,4,5,6,7,8,9,10,13,
16,18,20,21,22,25,26,34,37,38,39,40,41,42,43,44,45,46,51,52,53,54,55,56,57,58,
69,72,76,77,78,79,80,81,84,89,92,93,94,95,99,107,109,113,114,115,116,117,118,
124,125,131,132,133,134,136,137,144,148,149,151,152,154,155,170,171,173,174,
175,176,177,178,179,180,187,188,189,190,195,199,206,207,208,212,213,219,220,
223,225],[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]],
0,[[1],[1,1],[1,1],[1,1],[1,1],[1,1],[1,3,1],[1,3,1],[1,3,1],[1,1,1],[1,1,2,
1],[1,1,1],[1,1],[1,3,1,1],[1,3,1,1],[1,3,1,1],[1,3,1,1],[1,1,1,1],[1,1,1,1],[
1,1],[1,7,1,6,1],[1,7,1,6,1],[1,3,4,1,6,1],[1,3,4,1,6,1],[1,3,1,2,1],[1,1,3,
1],[1,1,1,2,1],[1,3,1,2,1],[1,3,1,2,1],[1,1,4,1,2,1],[1,3,2,1,1,1,1],[1,3,2,1,
1,1,1],[1,1,2,1,1,1,1],[1,5,1,1,1,1],[1,3,2,1,1,1,1],[1,1,1,1],[1,4,1],[1,3,1,
1],[1,3,1,1],[1,5,1,1],[1,3,4,1,1],[1,3,4,1,1],[1,3,4,1,1],[1,3,1,1,3,1],[1,3,
4,1,1],[1,3,4,1,1],[1,1,1,3,1,1],[1,1,6,1,3,2,1,1],[1,3,4,1,3,1,1,1,1],[1,1,1,
1],[1,1,1,1],[1,15,5,30,15,1],[1,15,5,30,15,1],[1,3,1,6,3,1],[1,3,1,6,3,4,1],[
1,7,1,6,4,1,2,1],[1,7,1,6,4,1,2,1],[1,11,1,6,6,2,1,1,1,4,1],[1,3,1,2,1,2,1],[
1,7,4,1,6,6,2,1,1,1,2,2,1],[1,7,1,6,4,1,2,1],[1,7,4,1,6,6,2,1,1,1,2,2,1],[1,3,