tma12m9.tom

GAP源码

384,420,452,728],[1,3,4,5,6,7,8,13,14,16,18,22,23,24,29,30,32,36,40,43,48,50,
54,73,82,84,88,89,94,98,99,106,118,133,136,144,152,155,158,159,160,166,182,
184,189,190,201,206,208,212,218,221,222,290,324,328,334,378,402,426,438,458,
465,483,485,508,521,532,729],[1,2,3,4,7,8,20,29,30,33,38,40,42,45,47,102,103,
119,155,167,169,171,185,196,355,413,454,457,506,730],[1,2,4,6,7,8,13,14,16,19,
27,33,35,38,39,44,53,54,87,91,114,115,124,125,130,131,133,142,143,147,157,168,
282,287,306,400,464,731],[1,2,4,8,23,27,29,30,33,43,119,141,144,145,153,160,
167,413,549,555,732],[1,3,4,5,7,8,16,18,22,23,30,32,36,40,43,46,47,48,50,54,
73,82,88,89,94,113,118,134,136,137,144,149,152,158,159,162,171,176,178,180,
183,186,189,197,202,204,206,213,216,221,222,223,328,380,382,416,421,426,456,
482,493,509,522,523,524,531,538,733],[1,3,4,5,7,8,16,18,22,30,32,36,40,42,43,
47,48,54,73,80,86,89,134,137,140,149,152,158,162,176,178,180,181,183,186,187,
202,204,206,213,216,219,220,221,223,339,383,394,414,416,421,432,448,456,488,
493,528,530,533,734],[1,2,4,6,7,8,13,15,17,18,19,20,27,33,34,35,36,38,39,41,
44,47,53,74,75,76,78,79,87,90,91,92,104,105,107,108,122,125,126,128,139,145,
168,169,177,179,191,286,289,294,297,321,356,375,376,422,437,463,735],[1,4,7,8,
16,29,30,36,47,54,93,102,103,134,182,183,212,348,486,513,736],[1,2,3,4,5,6,7,
8,14,19,22,23,29,30,33,36,39,40,43,48,50,52,54,88,89,98,99,106,118,124,138,
141,144,153,158,159,160,166,167,180,182,184,189,190,195,200,201,202,204,208,
218,220,222,290,342,372,378,379,380,419,425,458,459,508,541,549,552,553,737],[
1,2,3,5,6,7,15,21,24,25,26,27,31,32,38,39,41,45,46,49,51,52,75,77,83,111,123,
131,164,188,193,194,203,205,211,217,224,318,333,434,441,443,544,550,738],[1,2,
4,5,15,22,23,34,44,48,88,90,129,166,181,198,338,377,395,739],[1,2,3,4,5,6,7,8,
14,19,22,23,24,29,30,31,32,33,36,39,40,43,48,50,52,54,82,84,88,89,94,98,99,
106,124,151,152,153,155,158,167,181,182,189,190,192,195,200,201,202,204,206,
208,217,218,220,222,225,312,372,383,392,402,419,426,459,465,472,496,504,519,
532,541,740],[1,4,7,8,16,29,30,36,47,54,102,103,120,134,182,212,213,347,486,
513,741],[1,2,4,8,16,27,33,44,128,130,145,147,296,742],[1,3,4,7,16,23,29,30,
40,47,54,102,103,117,134,136,155,160,189,212,366,483,495,499,513,743],[1,2,4,
8,16,29,30,33,44,130,161,167,212,215,405,486,744],[1,2,4,8,15,17,23,29,30,33,
43,74,127,141,144,153,154,160,167,186,187,315,387,469,548,549,745],[1,2,4,6,7,
8,14,17,18,27,33,34,35,38,41,44,47,53,87,91,92,107,109,110,116,126,128,142,
145,147,177,191,321,326,332,345,353,418,452,746],[1,4,5,8,16,18,22,28,36,43,
48,73,95,180,181,220,221,283,323,339,747],[1,2,4,6,7,8,13,15,17,18,27,33,34,
35,36,38,39,41,44,47,53,74,76,79,90,91,92,116,123,125,126,128,139,156,177,179,
191,284,294,297,298,326,356,381,748],[1,3,4,6,7,13,14,16,21,25,26,37,40,43,49,
54,55,77,85,100,101,133,140,173,190,214,216,365,415,445,512,537,749],[1,3,4,7,
16,29,30,40,43,47,54,102,103,119,134,185,187,212,216,218,367,446,457,498,513,
750],[1,2,4,6,7,13,15,27,30,34,35,38,39,44,53,75,78,90,91,107,115,122,125,128,
131,147,161,282,314,375,381,398,418,557,751],[1,2,4,6,8,14,16,17,18,22,27,29,
33,34,36,44,53,73,79,92,96,107,129,142,147,177,201,215,301,345,369,390,403,
752],[1,2,4,7,8,16,17,18,22,30,33,34,35,36,38,44,54,73,79,89,92,96,122,129,
143,157,161,179,285,340,403,427,431,753],[1,3,4,6,7,13,14,16,25,26,37,40,43,
46,49,54,55,97,100,101,113,133,173,190,219,223,224,365,447,453,514,537,754],[
1,2,3,4,27,29,35,40,43,44,91,117,141,155,170,215,218,293,420,424,755],[1,2,4,
7,8,17,18,27,28,30,33,34,35,36,38,44,54,76,79,92,95,108,122,143,146,147,157,
161,179,183,191,213,404,427,431,460,501,511,526,756],[1,2,4,6,7,8,13,14,17,18,
19,20,25,27,33,34,35,37,38,39,41,44,47,53,55,81,91,92,100,104,105,107,109,110,
115,116,125,126,131,135,139,142,147,156,168,169,177,179,211,282,292,298,308,
345,406,437,452,477,515,518,757],[1,2,4,8,15,16,17,18,22,33,34,36,44,73,74,76,
79,90,92,96,129,130,200,356,393,395,403,481,758],[1,2,3,4,8,16,29,30,33,40,42,
43,44,45,130,141,154,155,161,162,167,170,171,176,185,186,187,196,212,215,216,
218,219,280,293,317,355,405,429,469,470,490,491,498,759],[1,3,4,5,6,7,8,13,14,
16,21,30,31,36,40,43,48,50,54,80,85,94,99,120,133,138,140,149,152,176,183,186,
190,192,202,204,207,216,220,221,313,346,432,456,474,476,512,519,534,760],[1,3,
4,5,7,8,16,29,30,32,36,40,43,47,48,50,54,80,94,120,134,137,141,151,182,185,
187,202,204,206,207,212,213,216,218,220,221,223,312,347,391,394,455,476,493,
498,540,761],[1,2,3,4,6,7,8,14,17,19,23,28,30,33,36,39,40,42,43,45,54,80,98,
99,118,124,127,137,138,144,146,153,154,159,162,176,178,183,184,186,187,189,
190,196,197,207,213,290,304,343,357,382,385,471,474,510,517,543,548,552,554,
762],[1,2,4,6,7,8,13,17,18,19,20,27,30,33,34,35,38,39,41,44,47,53,92,103,104,
105,109,112,116,125,126,128,139,143,161,168,169,191,281,314,326,331,335,427,
437,763],[1,2,4,6,7,8,13,14,15,17,19,20,25,26,27,33,35,37,38,39,41,53,54,55,
74,75,78,81,87,100,101,104,109,110,111,112,114,115,123,124,131,135,150,165,
168,177,179,209,211,354,401,406,407,422,442,443,464,503,505,515,764],[1,2,4,7,
8,15,17,20,27,29,30,33,38,47,74,75,102,103,127,145,167,169,191,315,463,506,
546,555,765],[1,2,3,4,5,7,8,20,29,30,33,38,40,47,48,50,52,102,103,117,151,152,
155,167,169,195,392,412,450,495,506,766],[1,2,3,4,5,8,27,29,30,33,40,48,50,52,
119,145,151,152,155,167,195,392,413,555,767],[1,2,4,5,22,23,34,35,44,48,88,
129,143,166,181,198,338,340,377,768],[1,2,3,4,22,23,27,34,40,43,44,82,129,147,
158,166,170,180,316,369,377,769],[1,2,3,4,5,7,8,17,20,21,28,29,30,32,33,36,40,
41,42,43,45,46,48,50,52,54,85,86,94,113,121,137,146,151,152,154,155,162,165,
167,176,178,182,183,188,195,196,197,199,204,206,207,210,213,218,220,303,312,
313,350,386,392,396,414,429,448,479,494,524,545,770],[1,2,3,4,8,27,29,30,33,
40,42,45,117,145,155,167,171,185,196,355,412,555,771],[1,2,3,4,5,8,16,17,18,
22,23,33,34,36,40,43,44,48,50,52,73,76,79,82,88,92,94,98,118,129,130,136,153,
158,166,170,180,181,195,198,200,220,221,316,320,324,328,338,339,419,481,496,
527,553,772],[1,3,4,6,7,8,13,14,16,18,21,22,24,29,30,36,40,42,43,54,73,80,82,
84,85,86,89,99,133,137,138,140,141,155,158,162,176,178,180,182,185,187,190,
197,201,212,216,218,219,303,327,334,379,410,465,490,498,510,512,516,530,531,
533,535,773],[1,2,4,6,7,8,13,17,27,35,36,38,39,41,44,47,53,76,91,109,112,115,
125,126,128,131,143,147,177,179,191,281,282,294,297,332,336,460,774],[1,2,3,4,
8,16,17,18,22,33,34,36,40,42,43,44,45,73,76,79,80,82,86,92,129,130,154,158,
170,180,196,197,200,207,216,219,316,325,329,352,371,470,481,497,531,533,775],[
1,2,4,6,7,8,13,14,16,17,18,19,22,29,30,33,34,36,38,39,44,53,54,73,76,79,89,92,
99,124,125,129,130,133,142,157,161,167,168,182,200,201,212,215,285,301,334,
372,400,405,417,461,481,776],[1,4,6,7,8,13,14,16,25,26,30,36,37,54,55,93,99,
100,101,133,149,213,388,525,537,777],[1,2,3,4,7,8,20,22,23,30,33,36,40,41,42,
43,45,54,89,118,127,137,140,144,153,154,158,159,162,165,166,176,178,180,183,
186,187,189,196,197,200,207,213,222,223,343,352,373,378,382,421,507,509,529,
530,548,553,554,556,778],[1,2,3,4,5,7,8,20,22,23,30,33,36,40,41,43,48,50,52,
54,80,88,89,98,127,137,140,144,153,154,158,159,162,165,176,178,180,183,186,
187,195,200,202,204,213,220,223,304,371,373,380,394,419,421,430,432,471,530,
545,548,556,779],[1,2,3,4,5,8,16,17,18,22,28,33,34,36,40,43,48,50,52,73,79,80,
82,93,94,95,96,120,146,154,180,181,195,197,200,207,216,219,220,221,288,329,
339,351,371,467,476,479,496,531,780],[1,2,4,7,8,16,20,29,30,33,38,41,44,47,54,
102,103,126,130,134,157,161,165,167,169,212,215,307,319,335,405,506,513,781],[
1,2,3,4,5,8,16,18,23,29,30,33,34,40,42,43,45,48,50,52,96,106,127,136,144,149,
152,153,154,162,167,171,176,185,186,187,189,195,196,202,212,216,218,219,221,
429,433,440,456,466,467,473,485,491,498,528,538,541,548,782],[1,3,4,6,7,13,14,
16,23,24,25,26,37,40,51,54,55,84,100,101,133,136,163,164,172,184,222,364,451,
521,537,539,783],[1,3,4,16,23,29,30,40,119,136,155,160,189,212,367,483,486,
784],[1,2,4,8,16,17,18,22,27,29,30,33,34,36,44,73,76,79,92,128,129,130,145,
147,161,167,200,212,215,296,390,405,481,511,785],[1,2,3,4,5,8,15,17,23,29,30,
33,40,42,43,45,48,50,52,74,106,121,127,153,154,162,167,176,189,195,196,202,
205,218,315,387,428,429,430,541,554,786],[1,2,4,5,6,7,13,14,23,25,31,37,38,39,
44,48,51,53,55,81,83,100,125,135,142,148,172,184,192,198,208,308,360,449,462,
539,787],[1,2,4,5,7,23,29,38,41,44,47,48,102,106,117,126,151,160,198,215,309,
319,424,450,499,788],[1,2,3,5,6,7,8,17,19,20,21,24,25,26,31,32,35,38,39,41,42,
45,46,49,50,51,52,77,83,104,111,112,114,121,132,164,179,188,193,194,203,210,
217,224,225,311,374,407,441,520,547,550,789],[1,2,3,4,5,8,15,17,29,30,33,40,
42,45,48,50,52,74,121,127,151,152,155,167,171,185,195,196,205,315,355,392,428,
433,790],[1,2,4,5,23,27,29,35,44,48,91,106,117,151,160,198,215,309,420,424,
791],[1,2,4,5,6,14,23,27,31,44,48,51,53,128,142,172,184,192,198,208,353,360,
462,792],[1,2,3,4,6,7,13,14,24,25,37,38,39,40,43,44,51,53,55,81,84,100,125,
135,138,142,163,164,170,172,190,308,363,451,462,500,793],[1,3,4,5,6,7,8,13,14,
16,23,24,30,32,36,40,42,43,48,50,54,80,84,86,93,94,98,99,118,133,136,137,138,
144,149,152,159,176,178,185,186,189,190,197,202,206,207,208,213,216,219,220,
221,351,382,388,389,402,410,425,438,448,456,471,473,474,516,540,794],[1,2,4,7,
8,16,17,18,22,27,30,33,34,36,38,44,54,73,79,89,92,96,108,129,147,157,161,191,
285,369,403,511,526,795],[1,2,3,4,6,14,24,27,40,43,44,51,53,84,128,138,142,
170,172,190,353,363,462,796],[1,2,3,4,6,7,13,25,26,37,38,39,40,43,44,46,49,53,
54,81,97,101,111,113,125,137,140,157,170,173,224,295,300,445,453,536,797],[1,
2,3,4,7,30,38,40,41,43,44,47,103,119,126,161,170,171,176,187,317,335,446,454,
542,798],[1,2,4,6,7,8,13,14,16,17,18,19,20,22,28,29,30,33,34,36,39,41,47,54,
73,79,89,93,95,96,99,105,120,124,127,133,134,139,146,149,165,167,182,183,200,
201,212,213,288,334,346,347,348,358,372,373,385,386,388,416,440,799],[1,3,4,7,
8,16,21,23,29,30,36,40,42,43,47,54,85,86,98,118,120,134,136,137,155,159,160,
171,182,186,189,197,212,213,218,219,222,303,347,382,439,475,483,491,492,508,
800],[1,2,4,6,7,8,13,14,19,25,26,33,37,38,39,43,49,53,54,55,81,100,101,111,
124,135,138,140,150,154,168,173,175,194,209,223,411,445,447,468,503,801],[1,2,
4,8,15,16,17,18,27,30,33,34,44,74,90,92,96,127,128,130,145,147,149,161,296,
310,393,398,511,802],[1,2,3,4,27,30,35,40,43,44,91,119,161,162,170,185,186,
280,542,557,803],[1,2,3,4,5,7,8,17,20,23,28,29,30,33,36,40,41,43,48,50,52,54,
80,106,118,137,140,141,146,153,154,159,165,167,178,182,183,186,187,189,195,
197,202,204,207,213,218,220,223,327,342,343,382,386,391,394,432,469,479,517,
541,545,556,804],[1,2,3,4,5,6,7,8,14,17,19,23,28,30,33,36,39,40,43,48,50,52,
54,80,99,118,124,127,138,140,144,146,153,154,162,176,183,186,187,190,195,197,
202,204,207,208,213,220,222,223,385,394,425,430,432,459,468,474,479,507,509,
510,517,548,805],[1,2,3,4,7,8,17,20,23,28,29,30,33,36,40,41,42,43,45,54,80,98,
118,137,140,141,144,146,153,154,159,160,162,165,167,176,178,182,183,196,197,
207,213,218,222,223,304,327,357,386,391,429,471,507,508,509,517,529,549,556,
806],[1,2,3,4,5,6,7,8,14,17,19,24,28,30,31,32,33,36,39,40,42,43,45,48,50,52,
54,84,86,94,99,121,124,127,137,146,152,154,162,171,176,178,183,185,190,192,
195,196,197,199,202,206,207,213,217,220,225,385,396,410,414,430,433,448,472,
479,482,487,519,540,543,807],[1,2,3,4,5,8,15,17,22,28,33,36,40,42,45,48,50,52,
74,82,86,94,121,146,181,195,196,199,200,205,396,428,480,496,497,808],[1,2,3,4,
5,6,7,8,14,17,19,21,23,24,28,30,33,36,39,40,42,43,45,46,48,50,52,54,84,85,86,
94,98,99,113,121,124,127,132,146,152,153,162,171,176,183,185,189,190,195,196,
197,199,203,204,207,208,213,222,313,357,368,385,396,402,410,433,435,459,487,
492,524,554,809],[1,2,4,7,22,27,30,34,35,38,41,44,47,54,89,91,103,108,112,122,
126,129,157,161,211,285,330,335,384,557,810],[1,2,4,6,7,8,13,14,16,19,25,26,
33,37,38,39,44,53,54,55,81,100,101,111,124,125,130,133,135,142,150,157,168,
209,295,308,400,503,537,811],[1,2,4,6,7,8,13,14,16,19,27,29,30,33,38,39,44,53,
54,124,125,128,130,133,142,145,147,157,161,167,168,212,215,291,296,314,400,
405,812],[1,3,4,5,6,7,8,13,14,16,18,22,23,29,30,31,32,36,40,43,48,50,54,73,88,
89,94,99,106,118,133,136,138,141,144,151,152,158,159,180,181,182,190,192,201,
202,204,206,208,212,218,220,221,312,328,334,339,342,379,380,383,425,438,455,
485,504,519,534,813],[1,2,4,8,16,17,18,22,33,34,36,43,44,73,76,79,80,92,129,
130,154,180,200,323,337,371,481,814],[1,2,4,6,7,8,13,14,16,19,27,33,38,39,44,
53,54,124,125,128,130,133,142,145,147,157,168,296,341,353,400,815],[1,2,4,8,
16,27,29,30,33,35,44,87,91,130,143,147,161,167,212,215,306,405,420,557,816],[
1,2,4,7,8,17,27,29,35,36,38,41,44,47,54,76,91,102,112,126,157,179,182,191,211,
215,294,319,330,420,461,817],[1,2,3,5,6,7,15,21,24,31,32,35,37,39,41,45,46,49,
51,52,53,55,78,97,109,114,123,135,148,163,188,193,194,203,205,214,217,311,333,
349,401,434,520,551,818],[1,2,3,4,6,7,8,14,19,22,29,30,33,36,39,40,42,43,45,
54,80,89,99,124,137,138,140,141,154,158,162,167,176,178,180,182,186,187,190,
196,197,200,201,207,218,223,327,352,371,372,379,391,421,429,468,469,474,510,
530,543,819],[1,2,3,4,7,22,30,34,38,40,43,44,46,54,82,89,113,129,137,140,157,
158,161,170,171,176,180,187,285,300,316,317,523,530,820],[1,2,3,4,6,7,8,13,14,
16,18,19,20,21,23,24,33,34,39,40,41,42,43,45,46,47,54,84,85,96,105,113,124,
132,133,134,136,137,138,139,153,159,165,178,184,196,203,216,219,222,358,435,
439,466,516,521,522,529,552,821],[1,2,4,7,8,16,20,27,30,33,38,41,44,47,54,126,
127,128,130,134,145,147,149,157,161,165,169,296,307,310,546,822],[1,3,4,16,29,