tmutw.tom

来自「GAP源码」· TOM 代码 · 共 866 行 · 第 1/5 页

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