tma12m9.tom

GAP源码

271,274,278,600],[1,4,7,9,29,47,64,65,102,232,233,601],[1,2,4,10,15,34,44,57,
90,266,602],[1,4,8,12,16,36,66,120,246,603],[1,2,4,9,15,34,44,59,90,257,604],[
1,2,4,5,9,23,44,48,59,63,64,198,243,248,277,605],[1,4,6,9,14,23,64,69,184,242,
243,606],[1,3,4,10,22,40,61,82,272,607],[1,4,5,11,22,48,58,181,264,608],[1,2,
4,6,9,14,44,53,59,64,69,142,242,260,277,609],[1,2,6,7,9,35,39,59,65,68,114,
237,238,259,610],[1,2,4,9,29,44,59,64,215,232,277,611],[1,3,5,8,11,28,42,50,
58,199,251,612],[1,2,6,9,15,35,53,59,68,78,254,259,261,613],[1,2,4,9,15,34,44,
59,64,90,252,261,277,614],[1,2,7,9,15,27,38,65,75,257,615],[1,3,4,10,22,40,43,
62,158,272,616],[1,4,5,10,22,48,67,181,272,617],[1,2,6,7,9,27,41,53,59,65,69,
110,234,250,260,618],[1,4,8,12,18,28,36,66,95,240,619],[1,2,4,9,22,34,44,59,
64,129,252,255,277,620],[1,2,3,5,7,10,21,32,41,45,46,52,57,60,61,62,70,188,
249,262,267,268,276,278,621],[1,2,4,6,7,9,13,34,39,41,47,59,64,65,68,139,233,
234,237,252,253,622],[1,2,6,9,15,35,53,59,69,78,238,260,261,623],[1,2,3,5,11,
15,45,52,58,205,244,624],[1,5,6,7,9,25,31,51,63,65,69,83,231,241,279,625],[1,
4,6,7,9,13,14,25,37,55,64,65,68,69,100,231,235,236,242,253,626],[1,2,4,9,35,
44,59,64,143,238,277,627],[1,2,6,7,9,35,41,53,59,65,69,109,234,259,260,628],[
1,2,4,9,27,35,44,59,64,91,250,259,277,629],[1,2,3,5,6,7,10,24,31,32,39,52,57,
60,61,62,67,70,72,217,258,265,268,273,274,275,276,630],[1,2,3,6,7,10,21,24,39,
45,46,57,61,62,70,72,203,245,258,262,267,273,278,631],[1,2,4,8,12,16,33,44,66,
130,246,632],[1,3,7,12,26,46,49,71,224,269,633],[1,2,6,9,15,35,53,68,78,257,
634],[1,2,6,7,9,35,41,53,59,65,68,109,234,238,254,635],[1,2,3,5,7,10,21,32,41,
45,46,52,57,61,62,67,70,188,245,249,262,265,267,274,636],[1,4,5,10,22,23,48,
60,88,272,637],[1,4,6,10,14,22,29,72,201,272,638],[1,5,6,12,31,51,55,56,148,
263,639],[1,2,7,9,35,38,41,59,65,112,234,238,239,640],[1,3,7,12,21,26,49,71,
77,269,641],[1,2,4,9,27,44,59,64,128,250,277,642],[1,2,6,7,9,25,37,38,39,53,
59,65,68,69,81,231,236,237,239,260,643],[1,3,6,12,24,51,55,71,163,263,644],[1,
5,6,9,31,51,55,63,68,69,148,235,241,279,645],[1,2,6,7,9,37,39,53,55,59,65,68,
69,135,235,236,237,254,260,646],[1,4,6,9,14,51,64,69,172,241,242,647],[1,2,4,
7,9,38,41,44,47,59,64,65,126,233,234,239,277,648],[1,4,9,29,64,117,232,649],[
1,4,7,10,22,30,54,70,89,272,650],[1,2,6,7,9,15,39,41,69,123,257,651],[1,2,6,7,
10,15,39,41,57,70,72,123,249,258,271,652],[1,10,11,12,226,228,653],[1,9,10,11,
227,228,230,654],[1,10,11,228,229,655],[1,2,3,4,5,8,16,23,30,33,40,42,43,44,
45,48,50,52,127,130,136,144,149,152,153,154,161,162,170,171,176,185,186,187,
189,195,196,198,202,216,219,221,280,310,317,362,430,433,456,470,473,527,528,
538,548,554,656],[1,2,4,5,8,16,17,18,22,23,33,34,36,43,44,48,73,79,88,92,96,
129,166,180,181,198,220,221,322,337,338,339,403,657],[1,2,3,4,5,8,16,18,29,30,
33,34,40,43,48,50,52,96,127,141,149,151,152,154,155,162,167,176,186,187,195,
202,212,216,219,221,392,430,440,455,456,467,469,490,528,658],[1,2,3,4,7,27,38,
40,43,44,46,49,54,113,128,137,140,157,170,173,300,341,536,659],[1,2,3,4,27,30,
35,40,43,44,91,119,161,170,171,176,187,317,542,557,660],[1,2,3,4,8,16,17,18,
22,23,33,34,36,40,43,44,73,79,82,92,96,98,129,136,158,166,170,180,316,322,324,
377,403,661],[1,2,3,4,5,6,7,8,14,15,17,19,20,23,33,39,40,41,42,43,45,48,50,52,
54,74,104,121,123,124,137,153,154,165,178,190,195,196,204,205,208,222,354,387,
428,459,529,543,545,662],[1,2,4,8,15,16,17,18,27,33,34,35,44,74,87,90,91,92,
96,128,130,143,145,147,296,306,321,381,393,663],[1,2,4,6,7,8,13,14,15,16,17,
18,19,20,33,34,38,39,41,44,47,53,54,74,90,92,96,104,105,123,124,125,126,130,
133,134,139,142,157,165,168,169,284,307,354,358,393,400,437,664],[1,2,4,6,7,8,
14,15,17,19,20,22,28,29,30,33,36,39,41,54,74,89,99,104,123,124,127,146,165,
167,182,183,200,201,213,315,354,372,373,385,386,480,665],[1,2,3,4,5,7,8,16,20,
21,23,32,33,38,40,41,42,43,44,45,46,47,48,50,52,54,85,113,126,130,134,136,137,
140,153,154,157,159,165,169,170,178,188,195,196,198,204,206,210,216,219,221,
222,223,299,300,307,350,359,439,470,488,493,522,527,529,545,556,666],[1,2,3,4,
5,8,16,23,29,30,33,40,43,44,48,50,52,106,130,136,141,144,151,152,153,155,160,
161,167,170,189,195,198,202,212,215,218,221,293,309,362,392,405,455,483,485,
527,541,549,667],[1,2,4,7,15,27,34,35,38,41,44,47,54,75,90,91,108,112,116,126,
128,147,157,211,330,332,341,376,381,397,418,668],[1,2,4,6,8,14,15,17,18,27,30,
33,34,35,36,44,53,74,76,78,79,90,92,99,107,142,143,147,156,161,177,345,356,
398,417,427,436,460,669],[1,2,3,4,7,8,17,21,29,36,38,40,42,43,44,46,54,76,80,
85,86,113,137,140,141,155,157,170,178,182,197,207,215,218,223,293,299,300,303,
325,327,391,461,494,670],[1,2,3,4,6,7,8,13,14,19,21,24,25,26,33,37,38,39,40,
42,45,46,49,53,54,55,77,81,84,85,97,100,101,111,113,124,132,135,150,168,173,
175,194,196,203,209,214,224,409,411,415,435,441,453,503,551,671],[1,2,4,7,8,
17,18,27,28,29,33,34,36,38,44,54,76,79,92,95,108,146,147,157,182,191,215,390,
404,461,502,526,672],[1,2,4,8,16,17,18,22,23,33,34,36,43,44,73,76,79,92,118,
129,130,153,166,180,200,322,337,377,481,553,673],[1,3,4,6,7,8,13,14,16,18,22,
24,29,30,36,40,42,43,46,54,73,80,82,84,86,89,99,113,133,137,138,141,155,158,
162,171,176,178,180,182,186,190,201,207,212,216,218,219,223,329,334,379,391,
421,465,474,487,490,491,494,514,516,523,533,674],[1,2,4,6,7,8,13,17,18,27,29,
33,34,35,38,39,44,53,87,91,92,115,116,125,128,131,145,147,156,177,179,215,282,
291,298,321,390,418,420,675],[1,2,4,7,8,15,17,18,27,30,33,34,36,38,44,54,74,
75,76,79,90,92,108,116,147,157,161,183,191,213,356,397,398,501,502,511,526,
676],[1,2,3,4,5,7,8,20,21,22,30,32,33,36,40,41,42,43,45,46,48,50,52,54,82,85,
89,94,113,127,137,152,154,158,162,165,171,176,178,181,183,185,188,195,196,197,
200,202,204,206,207,210,213,313,350,352,373,383,430,433,482,496,523,524,535,
540,545,677],[1,2,4,6,14,15,22,29,34,35,44,53,78,90,129,142,143,156,201,215,
301,305,340,395,436,678],[1,2,3,4,5,6,7,8,13,14,16,19,23,24,31,32,33,38,39,40,
43,44,48,50,52,53,54,84,124,125,130,133,136,138,142,153,157,159,168,170,184,
190,192,195,198,204,206,208,217,221,222,225,359,360,363,400,438,459,472,521,
527,534,552,679],[1,2,4,8,16,17,18,22,27,30,33,34,35,36,44,73,76,79,87,91,92,
127,129,130,143,147,149,161,200,306,310,427,481,511,680],[1,2,4,6,14,22,29,34,
44,51,53,129,142,172,201,215,301,462,681],[1,2,3,4,6,7,8,14,19,21,22,24,29,30,
33,36,39,40,42,43,45,46,54,82,84,85,86,89,99,113,124,132,137,154,155,158,162,
167,171,176,178,182,185,190,196,197,200,201,203,207,218,303,352,355,372,410,
429,435,465,487,494,497,523,535,543,682],[1,2,3,4,5,7,8,20,21,22,23,30,32,33,
36,40,41,42,43,45,46,48,50,52,54,82,85,86,88,89,98,113,127,137,152,153,158,
162,165,171,176,178,183,185,188,189,195,196,200,206,210,213,220,222,350,368,
373,414,419,426,433,448,492,497,523,529,535,554,683],[1,2,4,8,15,16,17,18,29,
30,33,34,44,74,90,92,96,127,130,149,161,167,212,215,310,315,393,405,440,684],[
1,3,4,5,6,7,8,13,14,16,23,24,30,32,36,40,42,43,48,50,54,80,84,86,94,98,99,118,
120,133,136,137,138,144,149,152,159,162,171,178,183,187,189,190,197,202,206,
207,208,216,219,220,221,304,343,346,402,414,425,438,475,476,482,487,510,516,
528,538,685],[1,3,4,5,6,7,8,13,14,16,30,31,36,40,43,46,48,50,54,80,93,94,99,
113,133,138,149,152,162,187,190,192,197,202,204,213,219,220,221,223,351,388,
394,510,514,519,524,528,534,686],[1,2,4,8,16,17,18,22,27,33,34,36,44,73,76,79,
92,128,129,130,145,147,200,296,369,481,502,687],[1,2,3,4,5,8,15,17,22,23,28,
33,36,40,42,43,45,48,50,52,74,88,98,121,146,153,154,158,195,196,197,200,205,
207,220,352,357,387,419,428,479,480,688],[1,2,4,6,7,14,15,27,34,35,38,41,44,
47,53,75,78,90,91,108,109,110,126,128,142,143,156,331,336,353,376,381,436,452,
689],[1,2,4,8,15,16,17,18,22,28,33,34,36,44,73,74,76,79,90,92,93,95,96,120,
129,130,146,200,288,356,361,393,404,480,481,690],[1,3,4,5,7,8,16,29,30,32,36,
40,43,47,48,50,54,80,93,94,134,140,141,151,171,178,182,183,186,197,202,204,
206,212,218,219,220,221,312,327,348,351,432,455,482,488,491,691],[1,3,4,6,7,8,
13,14,16,23,24,30,36,40,42,43,46,54,84,86,98,99,113,118,120,133,136,144,149,
176,183,184,185,189,190,197,219,222,223,290,346,368,410,473,475,509,514,521,
692],[1,2,3,4,5,8,16,17,23,28,33,36,40,42,43,44,45,48,50,52,76,80,86,93,94,98,
118,120,121,130,136,146,153,154,170,195,196,197,198,199,207,216,219,220,221,
320,325,351,357,361,389,396,470,475,476,479,517,527,693],[1,2,4,7,8,16,18,20,
27,29,30,33,34,38,47,96,102,103,108,116,127,145,149,167,169,212,344,440,506,
546,555,694],[1,2,4,7,15,22,27,30,34,38,44,54,75,89,90,116,129,147,157,161,
285,369,395,397,398,695],[1,2,4,8,16,17,18,22,28,33,34,36,44,73,76,79,92,93,
95,96,120,129,130,146,200,283,288,403,404,481,696],[1,2,3,4,5,6,7,8,13,14,16,
18,19,20,21,23,32,33,34,39,40,41,42,43,45,46,47,48,50,52,54,85,96,105,113,124,
133,134,136,137,139,140,153,154,159,165,178,188,190,195,196,204,206,208,210,
216,219,221,222,223,350,358,438,439,459,466,467,488,493,512,514,522,543,556,
697],[1,3,4,7,8,16,18,21,22,23,30,36,40,42,43,46,47,54,73,80,82,85,86,89,98,
113,134,136,137,144,149,158,159,162,166,171,176,178,183,185,189,213,216,219,
222,304,324,368,378,416,439,471,473,492,522,523,533,535,538,698],[1,2,3,4,5,7,
8,17,20,21,23,28,29,30,32,33,36,40,41,42,43,45,46,48,50,52,54,85,86,94,98,106,
113,121,137,146,153,155,165,167,171,178,182,183,185,188,189,195,196,197,199,
202,206,207,210,213,218,222,303,350,355,357,368,386,396,482,492,494,529,532,
540,541,699],[1,2,4,7,8,15,17,18,27,29,33,34,35,36,38,44,54,74,75,76,79,90,92,
116,122,143,147,157,179,182,215,305,356,390,397,431,460,461,700],[1,2,3,4,5,8,
16,17,18,22,23,28,33,34,36,40,42,43,45,48,50,52,73,79,80,86,88,93,94,95,96,98,
118,120,121,136,146,153,154,158,195,196,197,199,200,207,216,219,220,221,288,
328,351,352,389,396,419,466,467,475,476,517,533,701],[1,2,4,6,7,8,13,14,16,18,
19,20,25,26,27,33,34,35,37,38,39,41,47,53,54,55,81,87,96,100,101,105,107,109,
110,111,112,114,115,116,122,124,131,133,134,135,139,150,156,165,168,209,211,
302,358,399,464,477,478,503,505,518,702],[1,3,4,5,7,8,16,18,21,22,23,30,32,36,
40,43,47,48,50,54,73,82,85,88,89,94,118,134,136,137,140,144,149,152,158,159,
162,176,178,180,183,185,187,189,202,204,206,207,213,219,221,222,313,328,329,
343,380,416,426,439,473,488,507,528,530,535,540,703],[1,2,4,6,7,8,13,14,16,17,
18,19,22,27,33,34,36,38,39,44,53,54,73,76,79,92,107,108,124,125,128,129,130,
133,142,145,147,157,168,177,191,200,289,296,297,345,400,423,481,526,704],[1,2,
3,4,8,16,17,18,22,33,34,36,40,43,44,73,79,82,92,96,129,158,170,180,207,219,
316,323,329,337,403,705],[1,2,3,4,5,6,7,8,13,14,16,18,19,20,24,31,32,33,34,39,
40,41,43,47,48,50,52,54,84,96,105,124,133,134,137,138,139,140,154,165,178,192,
195,204,206,216,217,219,221,223,225,358,467,468,472,488,493,516,534,545,706],[
1,2,4,7,8,16,17,18,20,22,27,33,34,35,36,38,41,44,47,54,73,76,79,87,91,92,108,
122,126,129,130,134,143,147,157,165,169,179,191,200,286,294,306,307,384,431,
481,526,707],[1,2,3,4,15,22,34,40,43,44,82,90,129,158,170,180,316,337,395,
708],[1,2,3,4,5,7,8,17,23,29,32,36,38,40,43,44,48,50,54,76,94,98,106,118,141,
151,155,157,159,160,170,182,198,204,206,215,218,220,222,293,309,312,320,342,
359,461,508,532,709],[1,3,4,6,7,8,13,14,16,21,23,24,30,36,40,42,43,54,84,85,
86,93,98,99,118,133,136,140,144,149,162,171,184,189,190,207,213,216,222,290,
388,389,487,492,507,512,521,538,710],[1,2,4,8,16,27,29,30,33,44,128,130,145,
147,161,167,212,215,296,405,555,711],[1,2,3,4,8,16,17,18,22,33,34,36,40,43,44,
73,79,82,92,96,129,158,170,180,197,216,316,323,337,403,531,712],[1,2,4,7,22,
30,34,38,44,54,89,119,129,157,161,285,542,713],[1,3,4,7,8,16,23,29,30,36,40,
42,43,46,47,54,86,93,98,113,118,134,136,155,159,160,178,182,183,185,187,189,
207,212,216,218,222,343,348,368,389,483,494,498,508,522,714],[1,2,4,7,8,16,17,
18,20,22,30,33,34,36,38,41,44,47,54,73,76,79,89,92,126,127,129,130,134,149,
157,161,165,169,183,200,213,285,307,310,373,416,481,501,715],[1,2,4,6,14,22,
29,34,44,53,117,129,142,201,215,301,424,716],[1,2,4,6,7,13,15,22,27,34,35,38,
39,41,44,47,53,75,78,90,91,107,108,122,123,125,126,128,129,139,284,375,376,
381,384,395,423,717],[1,2,3,4,6,7,8,13,14,16,19,21,24,33,38,39,40,42,43,44,45,
46,53,54,84,85,113,124,125,130,132,133,137,138,140,142,154,157,168,170,178,
190,196,203,216,219,223,299,300,363,400,435,468,470,512,514,516,543,718],[1,2,
4,6,8,14,17,18,27,28,30,33,34,36,44,53,76,79,92,95,99,107,142,146,147,161,177,
345,404,417,502,511,719],[1,2,4,7,22,30,34,38,44,49,54,89,129,157,161,173,285,
536,720],[1,4,6,7,8,13,14,16,25,26,30,36,37,54,55,99,100,101,120,133,149,183,
346,525,537,721],[1,2,4,8,16,17,18,22,27,33,34,35,36,44,73,76,79,87,91,92,129,
130,143,147,200,306,340,369,460,481,722],[1,2,3,4,5,7,8,17,23,30,32,36,38,40,
42,43,44,46,48,50,54,76,80,86,94,98,113,118,137,140,144,152,157,159,161,162,
170,183,185,186,189,197,198,202,204,206,207,213,220,222,280,300,304,320,325,
359,362,368,382,414,432,501,507,524,540,723],[1,2,4,6,7,13,22,25,26,27,30,34,
37,38,39,44,53,54,81,89,101,107,108,111,125,128,129,157,161,285,295,314,341,
423,724],[1,2,4,6,7,13,22,27,34,35,38,39,41,44,47,53,91,107,108,109,112,114,
115,122,125,126,128,129,143,281,287,331,336,340,384,423,725],[1,2,3,4,5,7,8,
17,21,23,30,32,36,38,40,42,43,44,48,50,54,76,80,85,86,94,98,118,144,152,157,
159,161,170,171,176,178,183,187,189,197,198,202,204,206,207,213,220,222,223,
299,313,317,320,325,343,359,362,394,448,471,482,492,501,509,726],[1,2,3,4,6,8,
14,17,24,30,36,40,42,43,44,53,76,80,84,86,99,138,142,161,162,170,171,176,185,
186,187,190,197,207,280,317,325,363,410,417,474,487,510,727],[1,2,4,6,7,14,22,
27,29,34,35,38,41,44,47,53,91,102,108,109,110,122,126,129,142,201,215,301,319,