tmhsmclm.tom

GAP源码

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