tmunitc.tom

GAP源码

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