tmunit.tom

GAP源码

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