tmhsmcl.tom

GAP源码

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