tm4l34s3.tom

GAP源码

31,43,46,48,50,54,59,66,69,71,75,85,90,91,96,101,104,105,108,109,111,112,115,
117,158,162,176,179,184,195,198,199,202,210,243,245,248,249,251,257,358,423,
432,450,454,586],[1,2,3,4,5,11,12,13,15,16,18,19,20,22,23,25,26,28,29,30,31,
44,47,49,50,53,60,65,70,72,75,86,90,91,97,101,103,106,107,110,111,112,115,116,
157,161,175,180,183,196,197,200,201,209,244,246,247,250,252,257,359,422,433,
451,455,587],[1,2,3,4,5,11,12,13,14,16,17,19,21,22,24,25,26,28,29,30,43,46,48,
50,54,59,66,69,71,75,85,90,91,96,104,105,108,109,111,112,115,158,162,179,184,
195,199,207,210,216,243,245,248,249,251,257,358,432,437,446,448,588],[1,2,3,4,
5,11,12,13,15,16,18,19,20,22,23,25,26,28,29,30,44,47,49,50,53,60,65,70,72,75,
86,90,91,97,103,106,107,110,111,112,115,157,161,180,183,196,200,208,209,217,
244,246,247,250,252,257,359,433,436,447,449,589],[1,2,3,5,11,12,13,14,15,17,
18,19,20,21,22,23,24,28,30,31,43,44,46,47,48,49,50,59,60,65,66,69,70,77,78,79,
80,99,101,105,106,107,110,111,116,161,162,175,177,180,197,201,208,217,226,227,
232,233,259,353,422,436,452,457,590],[1,2,3,5,11,12,13,14,15,17,18,19,20,21,
22,23,24,28,30,31,43,44,46,47,48,49,50,59,60,65,66,69,70,77,78,79,80,99,101,
105,106,108,109,111,117,161,162,176,177,179,198,202,207,216,226,227,232,233,
259,353,423,437,453,456,591],[1,2,3,5,9,10,11,12,13,14,17,19,21,22,24,28,29,
42,43,45,46,48,50,52,55,57,59,61,64,66,67,69,73,99,100,103,104,105,106,112,
115,150,159,162,163,166,172,177,178,181,182,183,184,191,193,195,199,210,220,
345,406,431,432,434,440,592],[1,2,3,5,9,10,11,12,13,15,18,19,20,22,23,28,29,
42,44,45,47,49,50,51,56,58,60,62,63,65,68,70,74,99,100,103,104,105,106,112,
115,150,160,161,164,165,171,177,178,181,182,183,184,192,194,196,200,209,221,
344,406,430,433,435,441,593],[1,2,3,4,5,11,12,13,14,15,16,17,18,19,20,21,22,
23,24,25,26,28,30,43,44,46,47,48,49,50,53,54,59,60,65,66,69,70,71,72,75,77,78,
79,80,85,86,90,91,92,96,97,99,105,106,107,108,109,110,111,113,114,118,157,158,
161,162,177,179,180,185,226,227,232,233,234,243,244,245,246,247,248,249,250,
251,252,257,259,266,267,268,269,276,277,278,279,280,281,282,353,358,359,364,
409,410,473,474,475,476,594],[1,2,3,5,11,12,13,14,15,17,18,19,20,21,22,24,29,
43,46,48,49,50,51,56,59,62,66,68,69,81,88,100,103,104,119,162,164,178,228,230,
239,255,283,284,285,354,469,471,477,595],[1,2,3,5,11,12,13,14,15,17,18,19,20,
21,22,23,29,44,47,48,49,50,52,55,60,61,65,67,70,82,89,100,103,104,119,161,163,
178,229,231,240,256,283,284,285,355,468,470,477,596],[1,2,3,5,11,12,13,14,17,
19,21,22,24,27,28,29,30,31,43,46,48,50,59,66,69,101,102,104,105,108,109,111,
112,115,117,162,173,176,179,184,195,199,207,210,214,216,218,425,432,437,597],[
1,2,3,5,11,12,13,15,18,19,20,22,23,27,28,29,30,31,44,47,49,50,60,65,70,101,
102,103,106,107,110,111,112,115,116,161,174,175,180,183,196,200,208,209,213,
217,218,424,433,436,598],[1,2,3,5,11,12,13,14,17,19,21,22,24,27,28,29,31,43,
46,48,50,59,66,69,101,102,104,105,112,115,117,162,173,176,184,195,198,199,202,
210,214,218,423,425,432,599],[1,2,3,5,11,12,13,15,18,19,20,22,23,27,28,29,31,
44,47,49,50,60,65,70,101,102,103,106,112,115,116,161,174,175,183,196,197,200,
201,209,213,218,422,424,433,600],[1,2,3,5,9,10,11,12,13,19,22,28,29,42,45,50,
99,100,103,104,105,106,112,115,119,150,177,178,181,182,183,184,283,284,285,
406,462,463,477,601],[1,2,3,4,5,11,12,13,14,15,16,17,18,19,20,21,22,25,26,27,
28,30,31,48,49,50,51,52,55,56,61,62,67,68,75,83,84,90,91,92,94,95,98,99,101,
102,105,106,111,113,114,118,163,164,177,185,186,187,188,203,204,205,206,218,
234,235,236,237,238,241,242,254,257,276,280,281,352,389,390,409,417,418,421,
464,472,602],[1,2,3,4,5,9,10,11,12,13,16,19,22,25,26,27,28,29,30,31,42,45,50,
75,76,87,90,91,92,93,98,99,100,101,102,103,104,105,106,111,112,113,114,115,
118,150,177,178,181,182,183,184,185,186,187,188,189,190,211,212,215,218,219,
234,253,257,258,276,280,281,401,406,409,411,412,419,420,421,442,443,465,603],[
1,2,3,4,5,11,12,13,14,15,16,17,18,19,20,21,22,23,25,26,27,29,30,31,44,47,48,
49,50,52,53,55,60,61,65,67,70,72,75,82,86,89,90,91,94,97,98,100,101,102,103,
104,107,110,111,116,157,161,163,174,175,178,180,189,190,203,205,211,212,213,
218,229,231,235,238,240,244,246,247,250,252,256,257,355,359,390,402,413,415,
424,465,467,604],[1,2,3,4,5,11,12,13,14,15,16,17,18,19,20,21,22,24,25,26,27,
29,30,31,43,46,48,49,50,51,54,56,59,62,66,68,69,71,75,81,85,88,90,91,95,96,98,
100,101,102,103,104,108,109,111,117,158,162,164,173,176,178,179,189,190,204,
206,211,212,214,218,228,230,236,237,239,243,245,248,249,251,255,257,354,358,
389,403,414,416,425,465,466,605],[1,3,4,5,12,13,14,15,17,18,19,20,23,25,26,28,
30,31,48,49,53,54,60,62,63,68,72,74,78,80,83,84,85,86,90,91,92,93,95,97,106,
107,109,110,113,114,116,118,167,194,196,201,208,217,222,233,242,247,250,251,
252,267,268,274,277,279,281,383,392,398,447,452,455,474,606],[1,3,4,5,12,13,
14,15,17,18,19,21,24,25,26,28,30,31,48,49,53,54,59,61,64,67,71,73,79,80,83,84,
85,86,90,91,92,93,94,96,105,108,109,110,113,114,117,118,168,193,195,202,207,
216,223,232,241,248,249,251,252,267,269,273,277,278,280,384,391,397,446,453,
454,473,607],[1,3,4,5,10,12,15,17,18,21,24,25,26,28,29,30,31,49,53,54,57,59,
71,79,80,81,85,86,87,88,91,92,94,96,104,105,108,109,110,113,114,117,118,153,
199,202,207,210,225,232,239,248,249,252,263,267,269,277,278,280,371,379,394,
448,450,453,473,608],[1,3,4,5,10,13,14,17,18,20,23,25,26,28,29,30,31,48,53,54,
58,60,72,78,80,82,85,86,87,89,90,92,95,97,103,106,107,109,110,113,114,116,118,
154,200,201,208,209,224,233,240,247,250,251,264,267,268,277,279,281,372,380,
393,449,451,452,474,609],[1,3,4,5,10,13,18,20,23,24,25,26,28,30,31,43,53,58,
60,71,72,77,79,86,87,90,92,95,96,97,106,107,108,110,113,114,116,118,154,196,
201,208,224,227,245,247,250,264,266,269,278,281,282,369,372,393,447,455,457,
476,610],[1,3,4,5,10,12,17,21,23,24,25,26,28,30,31,44,54,57,59,71,72,77,78,85,
87,91,92,94,96,97,105,107,108,109,113,114,117,118,153,195,202,207,225,226,246,
248,249,263,266,268,279,280,282,370,371,394,446,454,456,475,611],[1,3,4,5,12,
13,14,17,19,21,23,24,25,26,28,29,30,31,44,48,54,59,61,64,67,71,72,73,77,78,82,
85,90,91,92,93,94,96,97,104,105,107,108,109,113,114,117,118,168,199,202,207,
216,220,223,226,229,246,248,249,251,266,268,273,279,280,282,381,391,397,448,
450,456,475,612],[1,3,4,5,12,13,15,18,19,20,23,24,25,26,28,29,30,31,43,49,53,
60,62,63,68,71,72,74,77,79,81,86,90,91,92,93,95,96,97,103,106,107,108,110,113,
114,116,118,167,200,201,208,217,221,222,227,228,245,247,250,252,266,269,274,
278,281,282,382,392,398,449,451,457,476,613],[1,5,13,14,15,17,28,29,30,48,62,
83,84,88,103,106,109,119,151,194,216,221,230,242,284,374,460,469,614],[1,5,12,
14,15,18,28,29,30,49,61,83,84,89,104,105,110,119,152,193,217,220,231,241,283,
373,461,468,615],[1,3,5,12,14,15,17,18,19,21,24,29,30,49,59,61,67,69,73,81,88,
89,104,110,119,170,191,199,217,231,239,283,376,461,468,616],[1,3,5,13,14,15,
17,18,19,20,23,29,30,48,60,62,68,70,74,82,88,89,103,109,119,169,192,200,216,
230,240,284,375,460,469,617],[1,3,5,12,14,23,29,31,44,61,82,104,116,119,152,
191,197,229,283,368,458,470,618],[1,3,5,13,15,24,29,31,43,62,81,103,117,119,
151,192,198,228,284,367,459,471,619],[1,3,5,12,14,17,19,21,23,24,28,29,31,44,
59,61,67,69,73,77,78,82,104,105,116,119,170,193,197,210,226,229,283,378,458,
470,620],[1,3,5,13,15,18,19,20,23,24,28,29,31,43,60,62,68,70,74,77,79,81,103,
106,117,119,169,194,198,209,227,228,284,377,459,471,621],[1,2,3,5,10,19,22,27,
28,29,30,45,99,100,102,111,115,118,119,182,186,189,215,276,285,407,420,463,
622],[1,2,3,5,9,11,22,28,29,30,31,42,99,100,101,111,112,118,119,181,187,190,
219,276,285,408,419,462,623],[1,2,3,4,5,9,11,14,15,16,17,18,20,21,22,23,24,25,
26,27,28,29,30,31,42,46,47,51,52,55,56,65,66,75,76,77,78,79,80,81,82,83,84,85,
86,88,89,94,95,96,97,98,99,100,101,102,107,108,109,110,111,112,113,114,116,
117,118,159,160,175,176,179,180,181,185,187,188,189,190,203,204,205,206,211,
213,214,219,235,236,243,244,254,255,256,258,259,265,270,271,275,276,277,278,
279,282,365,404,405,410,415,416,418,419,438,439,442,445,464,466,467,624],[1,2,
3,4,5,10,11,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,45,46,47,51,
52,57,58,65,66,67,68,69,70,73,74,75,77,78,79,80,81,82,83,84,85,86,87,88,89,93,
96,97,98,99,100,101,102,107,108,109,110,111,113,114,115,118,165,166,173,174,
179,180,182,185,186,188,189,190,203,204,205,206,212,213,214,215,237,238,243,
244,253,254,255,256,259,260,261,262,272,276,277,278,279,282,366,399,400,410,
413,414,417,420,426,427,443,444,464,466,467,625],[1,2,3,4,5,10,11,14,15,16,17,
18,19,20,21,22,23,24,25,26,27,28,29,30,31,45,46,47,51,52,53,54,57,58,65,66,67,
68,69,70,71,72,73,74,75,77,78,79,80,81,82,83,84,85,86,87,88,89,92,93,94,95,96,
97,98,99,100,101,102,111,113,114,115,116,117,157,158,165,166,175,176,182,185,
187,188,190,205,206,211,212,213,214,215,234,235,236,237,238,243,244,253,254,
255,256,259,260,261,262,263,264,266,267,268,269,272,273,274,356,357,364,366,
399,400,402,403,411,415,416,418,443,445,472,626],[1,2,3,4,5,9,11,14,15,16,17,
18,20,21,22,23,24,25,26,27,28,29,30,31,42,46,47,51,52,53,54,55,56,65,66,71,72,
75,76,77,78,79,80,81,82,83,84,85,86,88,89,92,94,95,96,97,98,99,100,101,102,
111,112,113,114,157,158,159,160,173,174,181,185,186,188,189,203,204,211,212,
213,214,219,234,235,236,237,238,243,244,254,255,256,258,259,265,266,267,268,
269,270,271,275,350,351,364,365,402,403,404,405,412,413,414,417,442,444,472,
627],[1,2,3,4,5,10,16,19,22,25,26,28,29,31,45,75,87,92,93,99,100,101,115,119,
182,187,211,234,253,285,407,411,463,628],[1,2,3,4,5,9,11,16,22,25,26,27,28,29,
42,75,76,92,98,99,100,102,112,119,181,186,212,234,258,285,408,412,462,629],[1,
2,3,5,6,9,11,22,33,37,38,42,120,135,141,142,286,287,289,331,478,479,480,630],[
1,2,3,5,6,22,28,33,37,38,99,120,142,286,287,289,480,485,631],[1,2,3,5,6,22,29,
33,37,38,100,120,142,286,287,289,480,484,632],[1,2,5,6,11,28,29,37,38,112,120,
141,287,289,479,484,485,633],[1,2,4,6,7,9,16,27,35,36,38,76,121,126,135,138,
140,288,303,333,481,634],[1,3,4,6,7,10,25,31,35,36,39,87,121,128,129,130,136,
139,143,288,314,315,316,335,483,635],[1,2,3,5,6,22,27,33,37,38,102,120,138,
142,146,286,287,289,336,480,490,636],[1,2,3,4,5,6,16,22,25,26,33,36,37,38,40,
75,120,137,140,142,144,145,286,287,289,290,332,480,486,487,488,637],[1,4,5,6,
26,28,36,37,40,92,120,145,287,290,485,488,638],[1,2,3,5,6,7,9,11,22,33,37,38,
39,42,121,126,135,141,142,293,321,331,481,639],[1,2,4,6,7,9,16,27,35,38,40,76,
121,126,135,137,146,291,303,338,481,640],[1,2,4,6,8,9,16,27,34,38,40,76,122,
127,135,137,146,292,302,338,482,641],[1,5,6,29,37,119,120,287,484,642],[1,2,4,
5,6,11,16,27,36,37,38,40,98,120,137,138,140,141,146,287,289,290,334,337,479,
486,490,643],[1,2,4,6,9,16,27,36,38,40,76,120,135,137,138,140,146,289,290,333,
338,478,486,490,644],[1,5,13,15,32,62,151,645],[1,5,12,14,32,61,152,646],[1,2,
3,5,9,11,22,30,31,32,42,101,111,123,124,125,219,294,295,296,297,298,491,492,
493,647],[1,2,6,9,38,41,135,147,299,340,494,648],[1,2,4,6,16,38,40,41,137,147,
148,299,341,494,495,649],[1,2,8,9,41,127,147,301,340,650],[1,2,8,9,41,127,147,
300,340,651],[1,2,6,27,38,41,146,147,299,342,494,652],[1,3,5,6,10,12,17,21,23,
24,28,33,44,57,59,77,78,105,128,131,153,195,226,305,370,498,653],[1,3,5,6,10,
13,18,20,23,24,28,33,43,58,60,77,79,106,128,132,154,196,227,304,369,497,654],[
1,3,5,6,10,13,14,17,18,20,23,28,29,37,48,58,60,78,80,82,89,103,106,128,132,
154,200,209,233,240,307,309,380,497,655],[1,3,5,6,10,12,15,17,18,21,24,28,29,
37,49,57,59,79,80,81,88,104,105,128,131,153,199,210,232,239,306,308,379,498,
656],[1,3,4,5,7,10,13,18,20,23,26,30,35,53,58,60,90,97,110,129,133,154,208,
250,312,372,503,657],[1,3,4,5,7,10,12,17,21,24,26,30,35,54,57,59,91,96,109,
130,134,153,207,249,313,371,504,658],[1,3,4,5,6,10,12,17,21,24,25,26,30,31,36,
57,59,71,85,87,91,94,108,117,128,131,153,202,225,248,263,310,316,394,498,
659],[1,3,4,5,6,10,13,18,20,23,25,26,30,31,36,58,60,72,86,87,90,95,107,116,
128,132,154,201,224,247,264,311,316,393,497,660],[1,3,4,5,7,10,12,17,21,24,25,
26,30,31,35,57,59,71,85,87,91,94,108,117,130,134,153,202,225,248,263,313,315,
394,504,661],[1,3,4,5,7,10,13,18,20,23,25,26,30,31,35,58,60,72,86,87,90,95,
107,116,129,133,154,201,224,247,264,312,314,393,503,662],[1,2,3,4,5,7,9,10,11,
12,13,16,19,22,25,26,27,30,31,35,42,45,50,75,76,87,90,91,93,98,101,102,111,
126,130,134,150,215,218,219,253,257,258,303,313,315,401,500,663],[1,2,3,4,5,7,
9,10,11,12,13,16,19,22,25,26,27,30,31,35,42,45,50,75,76,87,90,91,93,98,101,
102,111,126,129,133,150,215,218,219,253,257,258,303,312,314,401,499,664],[1,2,
3,5,6,10,11,12,13,14,17,19,21,22,24,38,43,45,46,48,50,52,55,57,59,61,64,66,67,
69,73,128,131,153,156,162,166,168,170,172,318,322,324,348,498,665],[1,2,3,5,6,
10,11,12,13,15,18,19,20,22,23,38,44,45,47,49,50,51,56,58,60,62,63,65,68,70,74,
128,132,154,155,161,165,167,169,171,317,323,324,349,497,666],[1,2,3,5,7,9,10,
11,12,13,15,18,19,20,22,23,39,42,44,45,47,49,50,51,56,58,60,62,63,65,68,70,74,
126,130,134,150,160,161,164,165,171,319,321,325,329,344,500,667],[1,2,3,5,7,9,
10,11,12,13,14,17,19,21,22,24,39,42,43,45,46,48,50,52,55,57,59,61,64,66,67,69,
73,126,129,133,150,159,162,163,166,172,320,321,326,330,345,499,668],[1,2,3,5,
6,10,19,22,28,29,38,45,99,100,115,128,182,324,407,669],[1,2,3,5,7,9,11,22,28,
29,39,42,99,100,112,126,181,321,408,670],[1,3,4,5,6,10,12,17,21,24,26,30,40,
54,57,59,91,96,109,128,131,153,207,249,327,371,498,671],[1,3,4,5,6,10,13,18,
20,23,26,30,40,53,58,60,90,97,110,128,132,154,208,250,328,372,497,672],[1,3,5,
7,13,15,24,29,39,43,62,81,103,133,151,192,228,326,367,502,673],[1,3,5,7,12,14,
23,29,39,44,61,82,104,134,152,191,229,325,368,501,674],[1,3,5,7,10,13,18,20,