tms10m1.tom

GAP源码

5,8,9,10,14,21,24,30,32,33,36,38,41,46,48,50,51,52,53,90,100,106,118,133,137,
139,145,147,161,194,200,215,223,319,346,364,394,398,402,406,709],[1,4,5,8,9,
16,21,22,24,30,33,35,38,44,50,52,53,103,115,118,119,126,133,141,142,153,160,
168,175,209,325,361,368,382,389,408,414,710],[1,2,3,4,5,6,7,8,9,10,13,15,19,
20,21,23,24,25,26,27,29,30,31,36,38,40,42,44,46,47,48,49,50,51,52,53,54,55,56,
89,101,108,118,119,123,129,130,133,137,138,145,159,161,164,165,166,168,174,
175,177,184,191,192,193,197,204,210,211,215,341,349,382,387,391,398,419,450,
463,470,475,711],[1,2,3,4,5,6,7,8,9,10,13,14,15,16,17,18,19,20,21,23,24,25,26,
27,29,30,31,33,35,36,37,38,40,41,42,45,47,49,52,54,86,89,90,91,92,93,95,96,97,
101,108,115,116,120,121,123,124,125,126,127,128,129,130,131,132,133,134,135,
136,138,140,141,143,147,149,152,159,166,191,315,317,348,349,350,351,352,359,
376,377,384,388,397,400,423,712],[1,2,3,4,5,6,7,8,9,10,13,15,19,20,21,22,23,
24,25,26,27,29,30,31,33,34,35,36,37,38,40,41,42,45,47,49,52,54,89,94,99,101,
103,108,117,120,123,124,126,129,130,133,134,135,138,139,142,152,159,160,166,
191,194,195,198,202,216,323,345,349,363,389,397,404,420,429,485,498,713],[1,2,
5,6,7,8,15,20,22,23,24,32,33,34,37,39,40,45,94,99,101,103,117,124,148,150,151,
179,202,323,386,415,417,489,714],[1,5,8,22,24,32,33,39,51,85,103,122,145,148,
151,219,321,417,422,715],[1,5,6,8,22,24,32,33,34,39,51,98,103,145,148,151,178,
213,321,415,418,716],[1,5,8,18,22,24,39,41,88,104,122,136,151,181,219,333,403,
421,717],[1,5,6,8,18,24,32,34,39,41,104,136,144,146,179,183,213,333,362,379,
718],[1,2,5,6,7,8,14,15,17,20,23,24,32,33,37,39,40,44,45,51,86,90,97,100,101,
104,114,119,121,124,140,145,150,192,197,315,320,346,366,387,392,411,719],[1,5,
8,10,14,18,24,28,33,36,41,44,46,48,87,90,119,136,137,139,147,163,180,190,194,
201,313,331,370,371,402,407,412,720],[1,3,4,5,7,8,9,10,14,18,19,21,23,24,26,
29,30,33,36,38,41,42,43,47,49,50,51,52,53,54,90,96,102,106,118,129,133,135,
136,143,145,147,154,164,165,166,167,170,173,182,185,186,200,205,212,218,319,
341,350,354,357,380,381,454,461,473,480,721],[1,5,6,7,8,22,23,24,32,34,37,39,
43,45,88,98,99,102,104,114,117,122,144,146,151,169,172,178,179,213,219,326,
356,362,385,421,459,474,477,488,722],[1,3,4,5,6,7,8,9,10,19,21,23,24,26,29,30,
34,35,36,37,38,39,41,42,43,47,49,52,54,99,102,104,120,129,133,134,139,142,166,
169,182,195,198,205,212,218,326,357,369,395,404,413,420,723],[1,3,4,5,7,8,9,
10,14,16,19,21,23,24,26,29,30,33,35,36,38,42,43,46,47,48,49,51,52,54,90,95,
102,105,115,125,126,129,133,137,141,145,154,155,161,162,166,182,186,187,189,
199,205,212,215,218,318,353,357,374,381,388,398,426,441,446,471,724],[1,3,5,8,
9,10,16,19,22,24,29,33,35,36,38,41,49,50,51,53,103,115,118,129,135,139,141,
145,155,160,164,165,194,199,321,341,343,345,361,374,394,725],[1,2,5,6,7,8,15,
20,22,23,24,32,33,34,37,39,40,45,85,94,98,99,101,103,117,122,124,146,148,150,
151,169,172,178,179,202,213,219,307,323,347,356,378,386,418,422,444,459,488,
726],[1,4,5,6,7,8,9,10,17,21,24,27,30,32,36,37,38,40,41,44,45,46,47,48,50,52,
53,55,56,100,118,119,130,131,133,137,139,140,168,175,198,204,207,220,221,223,
344,364,366,382,406,409,412,727],[1,5,6,7,8,22,23,24,32,33,34,39,43,45,85,98,
100,102,103,114,117,122,144,148,151,169,172,178,179,213,219,330,378,396,418,
422,458,474,477,488,728],[1,4,5,8,9,14,16,21,24,30,33,35,38,39,44,52,90,95,
104,115,119,125,126,133,141,142,153,209,316,334,368,388,392,408,413,729],[1,4,
5,6,7,8,9,10,14,16,17,21,24,27,30,33,34,35,36,37,38,40,41,45,46,47,48,52,55,
56,90,95,97,99,115,120,125,126,130,132,133,137,139,140,141,147,149,194,195,
198,202,204,207,216,220,221,314,344,355,375,388,402,404,423,486,497,498,730],[
1,4,5,8,9,14,16,18,21,24,30,32,33,35,38,41,51,52,90,95,100,115,125,126,133,
136,139,141,145,170,173,313,343,346,364,380,388,390,731],[1,5,6,7,8,9,17,18,
23,24,35,37,38,40,41,43,44,45,50,53,102,118,119,128,131,136,139,140,142,157,
167,185,198,203,216,354,369,401,407,409,414,416,732],[1,5,8,22,24,33,39,44,85,
103,119,122,151,219,325,415,422,733],[1,4,5,8,9,14,21,24,30,33,35,38,39,44,50,
52,53,90,104,106,118,119,125,133,142,160,168,175,200,214,319,324,342,382,392,
413,414,734],[1,5,6,7,8,9,16,17,24,28,35,37,38,40,41,45,50,51,53,87,118,131,
139,140,141,145,149,158,171,198,206,208,216,331,343,358,360,375,394,409,735],[
1,4,5,8,9,14,16,21,24,28,30,33,35,38,44,50,52,53,87,90,95,106,112,113,115,118,
119,125,126,133,141,153,168,171,175,180,200,201,208,209,310,319,360,368,371,
382,388,433,443,447,467,736],[1,3,5,8,10,14,18,19,24,29,33,36,39,41,44,49,90,
96,104,119,129,135,136,139,143,147,188,196,313,333,350,372,392,395,407,737],[
1,2,5,6,7,8,15,16,18,20,23,24,35,40,41,44,51,91,101,119,128,136,139,141,142,
145,149,152,192,197,216,343,363,376,387,405,407,408,738],[1,5,6,8,10,24,32,34,
36,39,46,48,104,137,144,146,176,179,183,213,329,362,379,460,495,739],[1,4,5,6,
8,9,18,21,24,30,34,37,38,41,44,50,51,52,53,99,118,119,120,127,133,136,139,145,
168,170,173,175,198,365,380,382,393,394,404,407,740],[1,5,6,8,9,24,32,34,38,
39,50,53,104,118,144,146,179,181,213,214,324,362,403,440,453,741],[1,5,6,7,8,
14,17,23,24,33,34,37,39,40,43,44,45,51,90,97,99,102,104,119,140,145,154,157,
169,186,202,203,314,326,365,381,392,411,416,742],[1,5,6,8,22,24,32,33,34,44,
98,103,119,148,178,213,325,417,418,743],[1,3,4,5,7,8,9,10,19,21,22,23,24,26,
29,30,32,33,35,36,38,41,42,43,47,49,52,54,100,102,103,126,129,133,135,139,142,
160,166,172,182,194,205,212,218,330,345,357,364,369,383,389,744],[1,4,5,6,7,8,
9,10,17,18,21,24,27,28,30,36,37,38,40,41,45,46,47,48,51,52,55,56,87,93,112,
113,120,127,130,131,133,136,137,140,145,158,161,163,170,173,190,204,206,207,
215,220,221,310,344,358,370,380,398,400,439,449,482,493,745],[1,3,4,5,6,7,8,9,
10,17,18,21,23,25,26,27,28,29,30,33,35,36,40,42,43,44,45,46,47,48,49,50,51,52,
53,54,55,56,93,107,109,113,116,121,126,128,130,143,155,159,161,165,166,170,
171,174,175,180,185,186,187,189,190,196,197,200,203,206,207,209,210,211,212,
217,218,221,222,339,384,426,427,432,436,437,443,461,462,463,465,476,482,492,
746],[1,3,4,6,7,8,9,10,14,16,21,25,26,27,28,36,37,40,41,43,44,47,48,49,50,51,
52,54,56,95,97,105,106,107,109,113,120,130,132,147,149,153,154,156,157,158,
159,161,162,163,165,167,173,174,175,188,197,199,201,208,210,212,218,220,337,
339,423,431,434,447,448,449,451,452,463,468,471,473,487,747],[1,5,6,7,9,10,23,
32,34,39,46,53,54,55,88,114,146,169,176,179,181,183,211,214,223,385,453,479,
481,494,495,496,748],[1,3,4,5,6,7,8,9,10,16,17,19,23,25,26,27,28,29,30,33,38,
40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,92,107,110,112,115,121,123,
131,135,149,153,159,162,163,164,166,167,168,173,180,182,184,186,187,188,197,
199,200,203,205,206,207,208,210,211,215,217,221,222,338,352,431,435,436,438,
446,454,456,462,467,470,487,490,493,749],[1,2,3,4,7,8,9,10,13,14,17,20,28,31,
35,36,38,41,42,43,44,47,48,49,50,51,52,54,55,86,105,106,109,111,112,116,125,
131,138,147,152,154,155,163,165,167,168,171,173,174,177,188,189,191,192,201,
203,205,206,207,209,212,215,217,335,340,348,424,428,433,435,437,441,450,451,
457,473,492,493,750],[1,2,3,4,7,8,9,10,13,14,16,17,18,19,20,21,26,28,31,42,43,
44,47,48,49,50,51,52,55,86,89,91,92,93,95,96,105,106,110,111,113,153,154,161,
162,164,170,175,177,182,184,185,190,191,192,196,199,201,203,206,207,208,217,
218,317,336,340,424,430,432,438,447,456,469,471,475,478,480,482,751],[1,2,3,4,
5,6,7,8,9,10,13,15,19,20,21,25,26,27,28,29,30,31,33,35,37,41,42,43,44,45,46,
47,48,49,50,51,52,53,55,56,89,108,110,111,113,120,124,126,134,135,152,155,156,
157,158,161,163,164,167,171,173,175,177,180,182,184,186,187,188,189,191,192,
193,200,209,218,220,221,222,336,397,425,426,428,434,442,443,449,454,457,472,
475,483,490,752],[1,5,7,9,10,22,23,32,39,46,53,54,55,114,122,144,148,172,176,
181,183,211,214,223,396,440,460,466,479,484,494,753],[1,2,5,6,9,10,15,31,32,
39,46,53,56,88,144,150,176,181,183,193,214,223,312,440,455,460,464,481,496,
754],[1,2,3,4,5,6,7,8,9,10,13,15,16,18,20,25,27,28,29,30,31,33,36,37,38,42,43,
44,45,46,47,48,49,50,51,52,53,54,55,56,91,108,109,111,112,115,124,127,132,138,
143,153,156,157,158,162,165,168,170,174,177,180,185,186,187,190,191,192,193,
196,199,200,205,208,212,215,220,221,222,335,359,425,430,439,445,446,450,452,
461,465,467,468,478,483,755],[1,3,4,6,7,8,9,10,14,18,19,25,26,27,28,35,37,38,
40,42,43,44,48,49,50,51,52,54,56,96,97,105,106,107,110,112,123,125,127,128,
134,154,155,156,157,158,159,164,168,170,171,182,184,185,189,190,196,197,201,
205,209,210,215,220,337,338,377,427,433,439,441,442,445,448,469,470,472,476,
480,756],[1,2,5,6,9,10,15,22,31,32,34,39,46,53,56,94,122,146,150,176,178,181,
183,193,214,223,347,453,455,464,466,484,495,757],[1,3,8,10,11,12,49,61,67,68,
74,78,79,224,283,287,501,503,506,758],[1,8,11,12,41,68,78,224,503,759],[1,8,
11,12,51,68,78,224,503,760],[1,3,8,11,12,19,58,61,68,78,224,237,503,514,761],[
1,8,11,12,35,68,78,224,503,762],[1,7,8,11,12,43,63,68,73,78,224,280,503,509,
763],[1,2,3,4,11,12,13,59,61,62,65,67,69,224,241,247,500,505,506,764],[1,4,7,
10,11,12,47,63,65,69,74,77,79,224,275,301,501,504,505,765],[1,4,8,9,11,12,52,
65,68,69,72,76,78,224,278,294,502,503,505,766],[1,8,9,11,12,50,66,68,78,83,
224,296,503,513,767],[1,2,9,10,11,12,31,59,62,72,74,76,79,224,250,302,500,501,
502,768],[1,2,7,8,11,12,20,59,62,63,68,77,78,224,249,286,500,503,504,769],[1,
4,8,11,12,21,60,65,68,78,224,242,503,510,770],[1,8,11,12,28,68,75,78,224,263,
503,512,771],[1,8,11,12,44,68,78,224,503,772],[1,8,11,12,14,75,224,233,234,
239,773],[1,8,10,11,12,48,68,70,78,80,224,293,503,507,774],[1,5,8,11,12,33,68,
71,78,81,224,292,503,511,775],[1,3,7,9,11,12,42,61,63,67,72,76,77,224,284,295,
502,504,506,776],[1,6,8,11,12,37,64,68,78,82,224,268,503,508,777],[1,3,4,7,11,
12,26,60,61,63,65,67,73,224,236,288,506,509,510,778],[1,2,7,8,11,12,20,59,62,
63,68,73,75,224,249,255,500,509,512,779],[1,3,4,7,11,12,26,58,61,63,65,69,73,
224,240,288,505,509,514,780],[1,4,5,9,11,12,30,65,66,69,71,81,83,224,248,269,
505,511,513,781],[1,3,8,11,12,19,58,61,67,68,75,224,237,251,506,512,514,782],[
1,2,5,6,11,12,15,59,62,64,71,81,82,224,245,290,500,508,511,783],[1,7,8,11,12,
43,63,68,73,75,77,224,254,280,504,509,512,784],[1,2,3,4,11,12,13,58,59,60,61,
62,65,224,232,241,500,510,514,785],[1,3,4,7,11,12,26,58,60,61,63,65,77,224,
236,240,504,510,514,786],[1,5,10,11,12,46,70,71,74,79,80,81,224,272,298,501,
507,511,787],[1,3,7,9,11,12,42,58,61,63,72,73,76,224,253,284,502,509,514,
788],[1,4,6,10,11,12,27,64,65,69,70,80,82,224,243,299,505,507,508,789],[1,4,8,
9,11,12,52,60,65,68,72,75,76,224,262,294,502,510,512,790],[1,4,7,10,11,12,47,
60,63,65,73,74,79,224,252,301,501,509,510,791],[1,4,8,11,12,21,60,65,68,69,75,
224,242,267,505,510,512,792],[1,2,9,10,11,12,31,59,62,66,70,80,83,224,244,300,
500,507,513,793],[1,5,6,7,11,12,45,63,64,71,77,81,82,224,270,281,504,508,511,
794],[1,3,8,10,11,12,49,58,61,68,74,75,79,224,256,283,501,512,514,795],[1,6,9,
10,11,12,56,64,70,72,76,80,82,224,285,297,502,507,508,796],[1,5,9,11,12,53,66,
71,72,76,81,83,224,276,289,502,511,513,797],[1,7,9,10,11,12,55,63,66,70,77,80,
83,224,271,282,504,507,513,798],[1,3,5,10,11,12,29,61,67,70,71,80,81,224,246,
291,506,507,511,799],[1,3,6,9,11,12,25,61,64,66,67,82,83,224,238,279,506,508,
513,800],[1,6,9,10,11,12,56,64,66,74,79,82,83,224,273,274,501,508,513,801],[1,
2,7,8,16,18,20,57,91,225,226,227,515,516,517,802],[1,3,8,10,18,44,49,57,196,
225,228,230,516,523,525,803],[1,4,8,9,18,51,52,57,170,225,229,231,516,520,522,
804],[1,2,3,4,7,8,9,10,13,20,31,42,47,49,52,57,191,225,226,227,228,229,230,
231,515,518,519,520,521,523,524,805],[1,2,7,8,20,44,51,57,192,225,226,227,515,
522,525,806],[1,3,8,10,16,49,51,57,199,225,228,230,517,522,523,807],[1,4,8,9,
16,44,52,57,153,225,229,231,517,520,525,808],[1,9,12,83,84,303,526,809],[1,10,
12,80,84,305,526,810],[1,2,12,62,84,304,526,811],[1,5,8,12,14,22,24,33,90,103,
239,265,308,812],[1,5,8,11,14,22,24,33,75,90,103,233,234,308,533,813],[1,2,3,
4,7,8,11,13,14,16,17,18,19,20,21,26,58,59,60,86,89,91,92,93,95,96,232,233,317,
527,528,529,814],[1,5,6,7,8,11,14,17,24,33,34,37,40,45,73,75,90,97,99,140,202,
233,259,314,532,533,815],[1,5,8,11,14,16,24,33,35,75,90,141,142,233,261,316,
533,816],[1,3,5,8,10,11,14,19,24,29,33,36,46,48,49,61,75,90,105,129,137,187,
233,251,318,533,538,817],[1,4,5,8,9,11,14,16,21,24,30,33,35,38,52,60,72,75,90,
95,115,125,126,133,141,233,262,388,527,531,533,818],[1,4,5,8,9,11,14,21,24,30,
33,38,50,52,53,65,75,90,106,118,133,200,233,267,319,533,553,819],[1,5,8,11,14,
18,24,33,41,75,90,136,139,233,257,313,533,820],[1,5,8,9,11,14,24,33,35,38,50,
53,72,75,90,118,125,142,160,233,266,342,531,533,821],[1,5,8,11,14,24,32,33,51,
75,90,100,145,233,264,346,533,822],[1,2,7,8,9,10,11,14,17,20,31,35,36,38,41,
54,59,72,74,86,116,125,131,138,147,152,233,250,348,529,530,531,823],[1,3,5,8,
10,11,14,18,19,24,29,33,36,41,49,58,74,75,90,96,129,135,136,143,147,233,256,
350,528,530,533,824],[1,2,5,6,7,8,11,14,15,17,20,23,24,33,37,40,45,59,73,75,
86,90,97,101,121,124,140,233,255,315,529,532,533,825],[1,4,6,7,8,10,11,14,16,
21,27,36,37,40,41,47,60,73,74,95,97,120,130,132,147,149,233,252,423,527,530,
532,826],[1,3,6,7,8,9,11,14,18,19,25,35,37,38,40,42,58,72,73,96,97,123,125,
127,128,134,233,253,377,528,531,532,827],[1,5,8,11,14,24,33,39,44,75,90,104,
119,233,258,392,533,828],[1,5,7,8,11,14,23,24,33,43,51,63,75,90,102,145,154,
186,233,254,381,533,555,829],[1,5,8,10,11,14,24,33,36,41,46,48,74,75,90,137,
139,147,194,233,260,402,530,533,830],[1,5,8,11,14,24,28,33,44,68,75,87,90,119,
180,201,233,263,371,533,552,831],[1,2,3,4,7,8,9,10,11,13,14,17,20,31,42,47,48,
49,50,52,55,58,59,60,72,73,74,75,86,105,106,177,191,207,217,232,234,250,252,