tm4l34s3.tom

GAP源码

103,117,198,228,459],[1,5,13,14,15,17,29,30,48,62,88,103,109,216,230,460],[1,
5,12,14,15,18,29,30,49,61,89,104,110,217,231,461],[1,2,3,5,9,11,22,28,29,42,
99,100,112,119,181,285,462],[1,2,3,5,10,19,22,28,29,45,99,100,115,119,182,285,
463],[1,2,3,5,11,14,15,20,21,22,27,28,30,31,51,52,83,84,99,101,102,111,118,
188,203,204,205,206,254,276,464],[1,2,3,4,5,11,12,13,16,19,22,25,26,27,29,30,
31,50,75,90,91,100,101,102,103,104,111,178,189,190,211,212,218,257,465],[1,2,
3,5,11,15,17,20,22,24,27,29,30,31,46,51,81,88,100,101,102,108,109,111,179,189,
190,204,206,214,255,466],[1,2,3,5,11,14,18,21,22,23,27,29,30,31,47,52,82,89,
100,101,102,107,110,111,180,189,190,203,205,213,256,467],[1,5,12,14,15,18,29,
49,61,89,104,119,231,283,468],[1,5,13,14,15,17,29,48,62,88,103,119,230,284,
469],[1,3,5,12,14,23,29,44,61,82,104,119,229,283,470],[1,3,5,13,15,24,29,43,
62,81,103,119,228,284,471],[1,2,3,4,5,11,14,15,16,20,21,22,25,26,27,28,31,51,
52,75,83,84,92,94,95,98,99,101,102,188,234,235,236,237,238,254,472],[1,3,4,5,
12,15,17,18,21,24,25,26,28,30,49,53,54,59,71,79,80,85,86,91,92,96,105,108,109,
110,113,114,118,232,248,249,252,267,269,277,278,280,473],[1,3,4,5,13,14,17,18,
20,23,25,26,28,30,48,53,54,60,72,78,80,85,86,90,92,97,106,107,109,110,113,114,
118,233,247,250,251,267,268,277,279,281,474],[1,3,4,5,12,17,21,23,24,25,26,28,
30,44,54,59,71,72,77,78,85,91,92,96,97,105,107,108,109,113,114,118,226,246,
248,249,266,268,279,280,282,475],[1,3,4,5,13,18,20,23,24,25,26,28,30,43,53,60,
71,72,77,79,86,90,92,96,97,106,107,108,110,113,114,118,227,245,247,250,266,
269,278,281,282,476],[1,2,3,5,11,12,13,19,22,29,50,100,103,104,119,178,283,
284,285,477],[1,2,6,9,38,120,135,289,478],[1,2,5,6,11,37,38,120,141,287,289,
479],[1,2,3,5,6,22,33,37,38,120,142,286,287,289,480],[1,2,6,7,9,38,121,126,
135,481],[1,2,6,8,9,38,122,127,135,482],[1,3,6,7,10,39,121,128,129,130,136,
483],[1,5,6,29,37,120,287,484],[1,5,6,28,37,120,287,485],[1,2,4,6,16,36,38,40,
120,137,140,289,290,486],[1,3,4,6,25,33,36,40,120,144,286,290,487],[1,4,5,6,
26,36,37,40,120,145,287,290,488],[1,3,4,6,7,25,33,35,36,39,40,121,143,144,288,
291,293,489],[1,2,6,27,38,120,138,146,289,490],[1,2,3,5,9,11,22,32,42,123,124,
125,294,295,296,491],[1,2,3,5,22,31,32,101,123,124,125,296,298,492],[1,2,3,5,
22,30,32,111,123,124,125,296,297,493],[1,2,6,38,41,147,299,494],[1,4,6,40,41,
148,299,495],[1,4,8,34,41,148,301,496],[1,3,5,6,10,13,18,20,23,58,60,128,132,
154,497],[1,3,5,6,10,12,17,21,24,57,59,128,131,153,498],[1,2,3,5,7,9,10,11,12,
13,19,22,42,45,50,126,129,133,150,499],[1,2,3,5,7,9,10,11,12,13,19,22,42,45,
50,126,130,134,150,500],[1,5,7,12,14,61,134,152,501],[1,5,7,13,15,62,133,151,
502],[1,3,5,7,10,13,18,20,23,58,60,129,133,154,503],[1,3,5,7,10,12,17,21,24,
57,59,130,134,153,504],[1,3,5,7,10,13,18,20,23,39,58,60,130,136,154,319,505],[
1,3,5,7,10,12,17,21,24,39,57,59,129,136,153,320,506],[1,3,5,7,10,12,15,19,20,
23,39,44,58,63,70,74,134,136,155,325,329,507],[1,3,5,7,10,13,14,19,21,24,39,
43,57,64,69,73,133,136,156,326,330,508],[1,2,3,5,6,9,10,11,12,13,19,22,38,42,
45,50,128,135,150,324,509],[1,2,3,5,7,9,10,11,12,13,19,22,39,42,45,50,126,136,
150,321,510],[1,2,3,4,5,6,16,17,22,24,25,26,38,40,46,54,71,75,131,137,158,318,
327,511],[1,2,3,4,5,6,16,18,22,23,25,26,38,40,47,53,72,75,132,137,157,317,328,
512],[1,2,3,5,6,9,11,14,17,21,22,24,38,42,46,52,55,66,131,135,159,318,322,
513],[1,2,3,5,6,9,11,15,18,20,22,23,38,42,47,51,56,65,132,135,160,317,323,
514],[1,2,3,5,6,17,22,24,27,31,38,46,101,102,131,138,214,318,515],[1,2,3,5,6,
18,22,23,27,31,38,47,101,102,132,138,213,317,516],[1,3,5,7,13,24,31,39,43,117,
133,139,198,326,517],[1,3,5,7,12,23,31,39,44,116,134,139,197,325,518],[1,3,5,
7,10,20,23,30,31,39,58,107,116,130,139,224,319,519],[1,3,5,7,10,21,24,30,31,
39,57,108,117,129,139,225,320,520],[1,2,3,5,7,9,11,22,30,31,39,42,101,111,126,
139,219,321,521],[1,2,3,5,6,10,19,22,27,30,38,45,102,111,128,138,215,324,
522],[1,2,3,5,6,17,18,22,23,24,28,33,37,38,46,47,77,78,79,80,99,131,142,259,
305,306,318,523],[1,2,3,5,6,17,18,22,23,24,28,33,37,38,46,47,77,78,79,80,99,
132,142,259,304,307,317,524],[1,2,3,5,6,11,15,17,20,22,24,29,37,38,46,51,81,
88,100,131,141,255,308,318,525],[1,2,3,5,6,11,14,18,21,22,23,29,37,38,47,52,
82,89,100,132,141,256,309,317,526],[1,2,3,4,5,6,16,17,22,24,25,26,30,36,38,46,
75,85,96,111,131,140,243,310,318,527],[1,2,3,4,5,6,16,18,22,23,25,26,30,36,38,
47,75,86,97,111,132,140,244,311,317,528],[1,2,3,5,6,11,14,15,17,20,22,23,28,
29,33,37,38,55,65,78,82,83,88,112,131,142,271,305,308,322,529],[1,2,3,5,6,11,
14,15,18,21,22,24,28,29,33,37,38,56,66,79,81,83,89,112,132,142,270,304,309,
323,530],[1,4,5,6,17,18,26,28,30,36,37,40,53,54,80,85,86,92,114,131,145,267,
306,310,327,531],[1,4,5,6,17,18,26,28,30,36,37,40,53,54,80,85,86,92,114,132,
145,267,307,311,328,532],[1,2,3,4,5,7,9,11,16,22,25,26,27,35,39,42,75,76,98,
102,126,143,258,303,321,533],[1,3,4,5,6,17,23,25,26,28,30,33,36,40,54,72,78,
85,92,97,113,131,144,268,305,310,327,534],[1,3,4,5,6,18,24,25,26,28,30,33,36,
40,53,71,79,86,92,96,113,132,144,269,304,311,328,535],[1,3,4,5,7,12,23,25,26,
30,35,39,44,72,91,97,107,134,143,246,313,325,536],[1,3,4,5,7,13,24,25,26,30,
35,39,43,71,90,96,108,133,143,245,312,326,537],[1,3,4,5,7,10,20,23,25,26,31,
35,39,58,72,87,95,116,130,143,264,315,319,538],[1,3,4,5,7,10,21,24,25,26,31,
35,39,57,71,87,94,117,129,143,263,314,320,539],[1,2,3,4,5,6,10,16,19,22,25,26,
31,36,38,45,75,87,93,101,128,140,253,316,324,540],[1,2,5,6,11,14,15,17,18,28,
29,37,38,55,56,80,84,88,89,112,131,141,275,306,308,322,541],[1,2,5,6,11,14,15,
17,18,28,29,37,38,55,56,80,84,88,89,112,132,141,275,307,309,323,542],[1,2,3,5,
6,17,22,24,27,38,46,102,131,146,173,318,543],[1,2,3,5,6,18,22,23,27,38,47,102,
132,146,174,317,544],[1,2,3,4,5,6,9,11,16,22,25,26,27,33,36,37,38,40,42,75,76,
98,102,135,137,138,140,141,142,144,145,146,258,331,332,333,334,336,337,338,
545],[1,4,6,7,8,35,36,40,120,121,122,288,290,339,546],[1,3,6,7,8,33,39,120,
121,122,286,293,339,547],[1,4,6,7,8,34,35,36,40,120,121,122,290,291,292,339,
548],[1,2,4,9,16,27,41,76,147,148,340,341,342,549],[1,3,6,10,32,33,123,128,
550],[1,5,6,17,32,37,124,131,551],[1,5,6,18,32,37,124,132,552],[1,2,7,9,32,
125,126,149,294,553],[1,3,7,31,32,39,123,139,149,298,343,554],[1,6,8,41,122,
299,300,301,555],[1,2,3,5,9,10,11,12,13,14,17,19,21,22,24,42,43,45,46,48,50,
52,55,57,59,61,64,66,67,69,73,150,152,153,156,159,162,163,166,168,170,172,345,
347,348,556],[1,2,3,5,9,10,11,12,13,15,18,19,20,22,23,42,44,45,47,49,50,51,56,
58,60,62,63,65,68,70,74,150,151,154,155,160,161,164,165,167,169,171,344,346,
349,557],[1,2,3,5,9,10,11,12,13,19,22,28,29,42,45,50,99,100,103,104,105,106,
112,115,150,177,178,181,182,183,184,406,407,558],[1,2,3,5,9,10,11,12,13,19,22,
28,29,42,45,50,99,100,103,104,105,106,112,115,150,177,178,181,182,183,184,406,
408,559],[1,2,3,5,10,11,12,13,15,18,19,20,22,23,27,31,44,45,47,49,50,51,56,58,
60,62,63,65,68,70,74,101,102,116,154,155,161,165,167,169,171,174,175,197,201,
213,218,349,422,424,560],[1,2,3,5,10,11,12,13,14,17,19,21,22,24,27,31,43,45,
46,48,50,52,55,57,59,61,64,66,67,69,73,101,102,117,153,156,162,166,168,170,
172,173,176,198,202,214,218,348,423,425,561],[1,2,3,5,10,11,12,13,15,18,19,20,
22,23,27,30,31,44,45,47,49,50,51,56,58,60,62,63,65,68,70,74,101,102,107,110,
111,116,154,155,161,165,167,169,171,174,175,180,204,208,213,215,217,218,222,
224,349,424,426,429,436,562],[1,2,3,5,10,11,12,13,14,17,19,21,22,24,27,30,31,
43,45,46,48,50,52,55,57,59,61,64,66,67,69,73,101,102,108,109,111,117,153,156,
162,166,168,170,172,173,176,179,203,207,214,215,216,218,223,225,348,425,427,
428,437,563],[1,2,3,5,9,10,11,12,13,14,17,19,21,22,24,30,31,42,43,45,46,48,50,
52,55,57,59,61,64,66,67,69,73,101,108,109,111,117,150,159,162,163,166,172,176,
179,198,202,205,207,216,219,223,225,345,423,428,437,438,564],[1,2,3,5,9,10,11,
12,13,15,18,19,20,22,23,30,31,42,44,45,47,49,50,51,56,58,60,62,63,65,68,70,74,
101,107,110,111,116,150,160,161,164,165,171,175,180,197,201,206,208,217,219,
222,224,344,422,429,436,439,565],[1,2,3,4,5,10,11,12,13,14,16,17,19,21,22,24,
25,26,30,43,45,46,48,50,52,54,55,57,59,61,64,66,67,69,71,73,75,85,90,91,96,
108,109,111,153,156,158,162,166,168,170,172,179,207,216,243,245,248,249,251,
257,348,358,371,391,437,566],[1,2,3,4,5,10,11,12,13,15,16,18,19,20,22,23,25,
26,30,44,45,47,49,50,51,53,56,58,60,62,63,65,68,70,72,74,75,86,90,91,97,107,
110,111,154,155,157,161,165,167,169,171,180,208,217,244,246,247,250,252,257,
349,359,372,392,436,567],[1,2,3,4,5,10,11,12,13,14,16,17,19,21,22,24,25,26,30,
31,43,45,46,48,50,52,54,55,57,59,61,64,66,67,69,71,73,75,85,87,90,91,93,94,96,
101,108,109,111,117,153,156,158,162,166,168,170,172,176,179,198,202,223,225,
235,243,245,248,249,251,253,257,263,273,348,356,358,394,395,397,423,428,568],[
1,2,3,4,5,10,11,12,13,15,16,18,19,20,22,23,25,26,30,31,44,45,47,49,50,51,53,
56,58,60,62,63,65,68,70,72,74,75,86,87,90,91,93,95,97,101,107,110,111,116,154,
155,157,161,165,167,169,171,175,180,197,201,222,224,236,244,246,247,250,252,
253,257,264,274,349,357,359,393,396,398,422,429,569],[1,2,3,4,5,9,10,11,12,13,
15,16,18,19,20,22,23,25,26,27,30,31,42,44,45,47,49,50,51,53,56,58,60,62,63,65,
68,70,72,74,75,76,86,87,90,91,93,95,97,98,101,102,107,110,111,116,150,157,160,
161,164,165,171,174,175,180,204,206,213,215,218,219,236,237,244,246,247,250,
252,253,257,258,264,274,344,351,357,359,389,399,401,404,424,426,439,570],[1,2,
3,4,5,9,10,11,12,13,14,16,17,19,21,22,24,25,26,27,30,31,42,43,45,46,48,50,52,
54,55,57,59,61,64,66,67,69,71,73,75,76,85,87,90,91,93,94,96,98,101,102,108,
109,111,117,150,158,159,162,163,166,172,173,176,179,203,205,214,215,218,219,
235,238,243,245,248,249,251,253,257,258,263,273,345,350,356,358,390,400,401,
405,425,427,438,571],[1,2,3,5,10,11,12,13,14,15,17,18,19,20,21,22,23,24,28,29,
43,44,45,46,47,48,49,50,51,56,58,59,60,62,63,65,66,68,69,70,74,77,78,79,80,81,
82,83,84,89,99,103,105,106,112,115,154,155,161,162,165,167,169,171,177,183,
194,196,200,209,221,226,227,228,232,233,240,242,259,261,265,270,272,349,353,
360,369,377,380,382,383,388,430,433,572],[1,2,3,5,10,11,12,13,14,15,17,18,19,
20,21,22,23,24,28,29,43,44,45,46,47,48,49,50,52,55,57,59,60,61,64,65,66,67,69,
70,73,77,78,79,80,81,82,83,84,88,99,104,105,106,112,115,153,156,161,162,166,
168,170,172,177,184,193,195,199,210,220,226,227,229,232,233,239,241,259,262,
265,271,272,348,353,361,370,378,379,381,384,387,431,432,573],[1,2,3,5,11,12,
13,14,15,17,18,19,20,21,22,23,24,28,29,43,46,48,49,50,51,56,59,60,62,63,65,66,
68,69,70,74,77,79,81,82,83,84,88,89,100,103,104,106,112,115,151,162,164,167,
169,171,178,183,192,194,200,209,221,227,228,230,239,240,242,255,261,265,270,
272,346,354,360,367,374,375,377,382,386,435,441,574],[1,2,3,5,11,12,13,14,15,
17,18,19,20,21,22,23,24,28,29,44,47,48,49,50,52,55,59,60,61,64,65,66,67,69,70,
73,77,78,81,82,83,84,88,89,100,103,104,105,112,115,152,161,163,168,170,172,
178,184,191,193,199,210,220,226,229,231,239,240,241,256,262,265,271,272,347,
355,361,368,373,376,378,381,385,434,440,575],[1,2,3,5,11,12,13,14,15,17,18,19,
20,21,22,23,28,29,48,49,50,51,52,55,56,60,61,62,63,65,67,68,70,74,78,80,82,83,
84,88,89,99,103,105,106,112,115,151,163,164,167,169,171,177,183,192,194,196,
209,221,230,233,240,241,242,254,260,262,271,275,346,352,362,374,383,386,388,
430,435,576],[1,2,3,5,11,12,13,14,15,17,18,19,20,21,22,24,28,29,48,49,50,51,
52,55,56,59,61,62,64,66,67,68,69,73,79,80,81,83,84,88,89,99,104,105,106,112,
115,152,163,164,168,170,172,177,184,191,193,195,210,220,231,232,239,241,242,
254,260,261,270,275,347,352,363,373,384,385,387,431,434,577],[1,2,3,5,10,11,
12,13,14,15,17,18,19,20,21,22,23,28,29,44,45,47,48,49,50,51,52,55,56,58,60,61,
62,63,65,67,68,70,74,78,80,82,83,84,88,89,100,103,104,106,112,115,154,155,161,
163,165,167,169,171,178,183,192,196,200,209,221,229,230,231,233,240,242,256,
260,262,271,275,349,355,362,375,380,386,388,433,441,578],[1,2,3,5,10,11,12,13,
14,15,17,18,19,20,21,22,24,28,29,43,45,46,48,49,50,51,52,55,56,57,59,61,62,64,
66,67,68,69,73,79,80,81,83,84,88,89,100,103,104,105,112,115,153,156,162,164,
166,168,170,172,178,184,191,195,199,210,220,228,230,231,232,239,241,255,260,
261,270,275,348,354,363,376,379,385,387,432,440,579],[1,2,3,5,11,12,13,14,15,
17,18,19,20,21,22,23,24,27,28,31,43,44,46,47,48,49,50,59,60,65,66,69,70,77,78,
79,80,99,101,102,105,106,116,117,161,162,173,174,175,176,177,186,187,188,213,
214,218,226,227,232,233,259,353,421,424,425,444,445,580],[1,2,3,5,9,10,11,12,
13,14,15,17,18,19,20,21,22,23,24,28,29,42,43,44,45,46,47,48,49,50,51,52,55,56,
57,58,59,60,61,62,63,64,65,66,67,68,69,70,73,74,77,78,79,80,81,82,83,84,88,89,
99,100,103,104,105,106,112,115,150,159,160,161,162,163,164,165,166,171,172,
177,178,181,182,183,184,226,227,228,229,230,231,232,233,239,240,241,242,254,
255,256,259,260,261,262,265,270,271,272,275,344,345,352,353,354,355,360,361,
362,363,365,366,406,581],[1,2,3,5,11,12,13,14,15,17,18,19,20,21,22,24,29,31,
43,46,48,49,50,51,56,59,62,66,68,69,81,88,100,101,103,104,117,162,164,176,178,
198,202,228,230,239,255,354,423,459,582],[1,2,3,5,11,12,13,14,15,17,18,19,20,
21,22,23,29,31,44,47,48,49,50,52,55,60,61,65,67,70,82,89,100,101,103,104,116,
161,163,175,178,197,201,229,231,240,256,355,422,458,583],[1,2,3,5,11,12,13,14,
15,17,18,19,20,21,22,24,29,30,43,46,48,49,50,51,56,59,62,66,68,69,81,88,100,
103,104,108,109,111,162,164,178,179,207,216,228,230,239,255,354,437,460,584],[
1,2,3,5,11,12,13,14,15,17,18,19,20,21,22,23,29,30,44,47,48,49,50,52,55,60,61,
65,67,70,82,89,100,103,104,107,110,111,161,163,178,180,208,217,229,231,240,
256,355,436,461,585],[1,2,3,4,5,11,12,13,14,16,17,19,21,22,24,25,26,28,29,30,