tmunitc.tom

GAP源码

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