tmhsmclm.tom

GAP源码

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