tm4l34s3.tom

GAP源码

30,36,86,132,311],[1,4,5,7,13,26,30,35,90,133,312],[1,4,5,7,12,26,30,35,91,
134,313],[1,3,4,7,10,25,31,35,87,129,314],[1,3,4,7,10,25,31,35,87,130,315],[1,
3,4,6,10,25,31,36,87,128,316],[1,2,3,5,6,18,22,23,38,47,132,317],[1,2,3,5,6,
17,22,24,38,46,131,318],[1,3,5,7,10,20,23,39,58,130,319],[1,3,5,7,10,21,24,39,
57,129,320],[1,2,3,5,7,9,11,22,39,42,126,321],[1,2,5,6,11,14,17,38,55,131,
322],[1,2,5,6,11,15,18,38,56,132,323],[1,2,3,5,6,10,19,22,38,45,128,324],[1,3,
5,7,12,23,39,44,134,325],[1,3,5,7,13,24,39,43,133,326],[1,4,5,6,17,26,40,54,
131,327],[1,4,5,6,18,26,40,53,132,328],[1,3,5,7,12,15,20,39,63,134,329],[1,3,
5,7,13,14,21,39,64,133,330],[1,2,3,5,6,9,11,22,33,37,38,42,135,141,142,331],[
1,2,3,4,5,6,16,22,25,26,33,36,37,38,40,75,137,140,142,144,145,332],[1,2,4,6,9,
16,27,36,38,76,135,138,140,333],[1,2,4,5,6,11,16,27,37,38,40,98,137,138,141,
334],[1,3,4,7,10,25,31,35,39,87,136,139,143,335],[1,2,3,5,6,22,27,33,37,38,
102,138,142,146,336],[1,2,4,5,6,11,16,27,36,37,38,98,140,141,146,337],[1,2,4,
6,9,16,27,38,40,76,135,137,146,338],[1,6,7,8,120,121,122,339],[1,2,9,41,147,
340],[1,2,4,16,41,147,148,341],[1,2,27,41,147,342],[1,3,7,32,39,123,149,343],[
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,160,161,164,165,171,344],[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,159,162,163,166,172,
345],[1,2,3,5,11,12,13,15,18,19,20,22,23,49,50,51,56,60,62,63,65,68,70,74,151,
164,167,169,171,346],[1,2,3,5,11,12,13,14,17,19,21,22,24,48,50,52,55,59,61,64,
66,67,69,73,152,163,168,170,172,347],[1,2,3,5,10,11,12,13,14,17,19,21,22,24,
43,45,46,48,50,52,55,57,59,61,64,66,67,69,73,153,156,162,166,168,170,172,
348],[1,2,3,5,10,11,12,13,15,18,19,20,22,23,44,45,47,49,50,51,56,58,60,62,63,
65,68,70,74,154,155,161,165,167,169,171,349],[1,2,3,4,5,9,11,14,16,17,21,22,
24,25,26,27,42,46,52,54,55,66,71,75,76,98,102,158,159,173,238,258,350],[1,2,3,
4,5,9,11,15,16,18,20,22,23,25,26,27,42,47,51,53,56,65,72,75,76,98,102,157,160,
174,237,258,351],[1,2,3,5,11,12,13,14,15,17,18,19,20,21,22,28,48,49,50,51,52,
55,56,61,62,67,68,83,84,99,105,106,163,164,177,241,242,254,352],[1,2,3,5,11,
12,13,14,15,17,18,19,20,21,22,23,24,28,43,44,46,47,48,49,50,59,60,65,66,69,70,
77,78,79,80,99,105,106,161,162,177,226,227,232,233,259,353],[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,162,164,178,228,230,239,255,354],[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,161,163,178,
229,231,240,256,355],[1,2,3,4,5,10,11,14,16,17,19,21,22,24,25,26,31,45,46,52,
54,57,66,67,69,71,73,75,87,93,94,101,117,158,166,176,235,253,263,273,356],[1,
2,3,4,5,10,11,15,16,18,19,20,22,23,25,26,31,45,47,51,53,58,65,68,70,72,74,75,
87,93,95,101,116,157,165,175,236,253,264,274,357],[1,2,3,4,5,11,12,13,14,16,
17,19,21,22,24,25,26,30,43,46,48,50,54,59,66,69,71,75,85,90,91,96,108,109,111,
158,162,179,243,245,248,249,251,257,358],[1,2,3,4,5,11,12,13,15,16,18,19,20,
22,23,25,26,30,44,47,49,50,53,60,65,70,72,75,86,90,91,97,107,110,111,157,161,
180,244,246,247,250,252,257,359],[1,2,3,5,11,12,13,14,15,17,18,19,20,21,22,23,
24,28,29,43,46,48,50,51,56,59,60,62,63,65,66,68,69,70,74,77,79,81,82,83,84,89,
103,106,112,115,162,171,183,227,228,240,242,261,265,270,272,360],[1,2,3,5,11,
12,13,14,15,17,18,19,20,21,22,23,24,28,29,44,47,49,50,52,55,59,60,61,64,65,66,
67,69,70,73,77,78,81,82,83,84,88,104,105,112,115,161,172,184,226,229,239,241,
262,265,271,272,361],[1,2,3,5,11,12,13,14,15,17,18,19,20,21,22,23,28,29,48,50,
51,52,55,56,60,61,62,63,65,67,68,70,74,78,80,82,83,84,88,89,103,106,112,115,
163,171,183,230,233,240,242,260,262,271,275,362],[1,2,3,5,11,12,13,14,15,17,
18,19,20,21,22,24,28,29,49,50,51,52,55,56,59,61,62,64,66,67,68,69,73,79,80,81,
83,84,88,89,104,105,112,115,164,172,184,231,232,239,241,260,261,270,275,363],[
1,2,3,4,5,16,17,18,22,23,24,25,26,28,30,46,47,53,54,71,72,75,77,78,79,80,85,
86,92,96,97,99,111,113,114,157,158,185,234,243,244,259,266,267,268,269,364],[
1,2,3,5,9,11,14,15,17,18,20,21,22,23,24,28,29,42,46,47,51,52,55,56,65,66,77,
78,79,80,81,82,83,84,88,89,99,100,112,159,160,181,254,255,256,259,265,270,271,
275,365],[1,2,3,5,10,11,14,15,17,18,19,20,21,22,23,24,28,29,45,46,47,51,52,57,
58,65,66,67,68,69,70,73,74,77,78,79,80,81,82,83,84,88,89,99,100,115,165,166,
182,254,255,256,259,260,261,262,272,366],[1,3,5,13,15,24,29,43,62,81,103,151,
192,228,367],[1,3,5,12,14,23,29,44,61,82,104,152,191,229,368],[1,3,5,10,13,18,
20,23,24,28,43,58,60,77,79,106,154,196,227,369],[1,3,5,10,12,17,21,23,24,28,
44,57,59,77,78,105,153,195,226,370],[1,3,4,5,10,12,17,21,24,26,30,54,57,59,91,
96,109,153,207,249,371],[1,3,4,5,10,13,18,20,23,26,30,53,58,60,90,97,110,154,
208,250,372],[1,5,12,14,15,18,28,29,49,61,83,84,89,104,105,152,193,220,231,
241,373],[1,5,13,14,15,17,28,29,48,62,83,84,88,103,106,151,194,221,230,242,
374],[1,3,5,13,14,15,17,18,19,20,23,29,48,60,62,68,70,74,82,88,89,103,169,192,
200,230,240,375],[1,3,5,12,14,15,17,18,19,21,24,29,49,59,61,67,69,73,81,88,89,
104,170,191,199,231,239,376],[1,3,5,13,15,18,19,20,23,24,28,29,43,60,62,68,70,
74,77,79,81,103,106,169,194,209,227,228,377],[1,3,5,12,14,17,19,21,23,24,28,
29,44,59,61,67,69,73,77,78,82,104,105,170,193,210,226,229,378],[1,3,5,10,12,
15,17,18,21,24,28,29,49,57,59,79,80,81,88,104,105,153,199,210,232,239,379],[1,
3,5,10,13,14,17,18,20,23,28,29,48,58,60,78,80,82,89,103,106,154,200,209,233,
240,380],[1,3,5,12,13,14,17,19,21,23,24,28,29,44,48,59,61,64,67,73,77,78,82,
104,105,168,199,220,226,229,381],[1,3,5,12,13,15,18,19,20,23,24,28,29,43,49,
60,62,63,68,74,77,79,81,103,106,167,200,221,227,228,382],[1,3,5,12,13,14,15,
17,18,19,20,23,28,48,49,60,62,63,68,74,78,80,83,84,106,167,194,196,233,242,
383],[1,3,5,12,13,14,15,17,18,19,21,24,28,48,49,59,61,64,67,73,79,80,83,84,
105,168,193,195,232,241,384],[1,3,5,12,13,14,15,17,18,19,21,24,28,29,48,49,59,
61,64,67,73,81,83,84,88,89,104,105,168,191,210,220,231,239,241,385],[1,3,5,12,
13,14,15,17,18,19,20,23,28,29,48,49,60,62,63,68,74,82,83,84,88,89,103,106,167,
192,209,221,230,240,242,386],[1,3,5,12,14,15,17,18,19,21,24,28,29,49,59,61,67,
69,73,79,80,81,83,84,88,104,105,170,195,210,220,232,239,241,387],[1,3,5,13,14,
15,17,18,19,20,23,28,29,48,60,62,68,70,74,78,80,82,83,84,89,103,106,169,196,
209,221,233,240,242,388],[1,2,3,4,5,11,12,13,15,16,18,19,20,22,25,26,27,30,31,
49,50,51,56,62,68,75,90,91,95,98,101,102,111,164,204,206,218,236,237,257,
389],[1,2,3,4,5,11,12,13,14,16,17,19,21,22,25,26,27,30,31,48,50,52,55,61,67,
75,90,91,94,98,101,102,111,163,203,205,218,235,238,257,390],[1,3,4,5,12,13,14,
17,19,21,24,26,30,48,54,59,61,64,67,73,85,90,91,96,109,168,207,216,249,251,
391],[1,3,4,5,12,13,15,18,19,20,23,26,30,49,53,60,62,63,68,74,86,90,91,97,110,
167,208,217,250,252,392],[1,3,4,5,10,13,18,20,23,25,26,30,31,58,60,72,86,87,
90,95,107,116,154,201,224,247,264,393],[1,3,4,5,10,12,17,21,24,25,26,30,31,57,
59,71,85,87,91,94,108,117,153,202,225,248,263,394],[1,3,4,5,10,13,14,19,21,24,
25,26,30,31,43,57,64,69,71,73,87,90,93,94,96,108,117,156,198,223,225,245,263,
273,395],[1,3,4,5,10,12,15,19,20,23,25,26,30,31,44,58,63,70,72,74,87,91,93,95,
97,107,116,155,197,222,224,246,264,274,396],[1,3,4,5,12,13,14,17,19,21,24,25,
26,30,31,48,59,61,64,67,71,73,85,91,93,94,108,117,168,202,223,248,273,397],[1,
3,4,5,12,13,15,18,19,20,23,25,26,30,31,49,60,62,63,68,72,74,86,90,93,95,107,
116,167,201,222,247,274,398],[1,2,3,4,5,10,11,15,16,18,19,20,22,23,25,26,27,
30,31,45,47,51,58,65,68,70,74,75,86,87,93,97,98,101,102,111,165,206,213,215,
237,244,253,399],[1,2,3,4,5,10,11,14,16,17,19,21,22,24,25,26,27,30,31,45,46,
52,57,66,67,69,73,75,85,87,93,96,98,101,102,111,166,205,214,215,238,243,253,
400],[1,2,3,4,5,9,10,11,12,13,16,19,22,25,26,27,30,31,42,45,50,75,76,87,90,91,
93,98,101,102,111,150,215,218,219,253,257,258,401],[1,2,3,4,5,11,14,16,18,21,
22,23,25,26,27,29,31,47,52,53,72,75,82,89,94,98,100,101,102,157,211,212,213,
235,238,256,402],[1,2,3,4,5,11,15,16,17,20,22,24,25,26,27,29,31,46,51,54,71,
75,81,88,95,98,100,101,102,158,211,212,214,236,237,255,403],[1,2,3,4,5,9,11,
15,16,18,20,22,23,25,26,27,30,31,42,47,51,56,65,75,76,86,95,97,98,101,102,111,
160,204,213,219,236,244,258,404],[1,2,3,4,5,9,11,14,16,17,21,22,24,25,26,27,
30,31,42,46,52,55,66,75,76,85,94,96,98,101,102,111,159,203,214,219,235,243,
258,405],[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],[1,2,3,5,10,19,22,28,29,45,99,100,
115,182,407],[1,2,3,5,9,11,22,28,29,42,99,100,112,181,408],[1,2,3,4,5,11,12,
13,16,19,22,25,26,28,30,50,75,90,91,92,99,105,106,111,113,114,118,177,185,234,
257,276,280,281,409],[1,2,3,4,5,16,17,18,22,23,24,25,26,28,30,46,47,75,77,78,
79,80,85,86,96,97,99,107,108,109,110,111,113,114,118,179,180,185,243,244,259,
276,277,278,279,282,410],[1,2,3,4,5,10,16,19,22,25,26,28,29,31,45,75,87,92,93,
99,100,101,115,182,187,211,234,253,411],[1,2,3,4,5,9,11,16,22,25,26,27,28,29,
42,75,76,92,98,99,100,102,112,181,186,212,234,258,412],[1,2,3,4,5,11,14,16,18,
21,22,23,25,26,27,29,30,47,52,75,82,86,89,97,98,100,102,111,174,189,203,212,
238,244,256,413],[1,2,3,4,5,11,15,16,17,20,22,24,25,26,27,29,30,46,51,75,81,
85,88,96,98,100,102,111,173,189,204,212,237,243,255,414],[1,2,3,4,5,11,14,16,
18,21,22,23,25,26,29,30,31,47,52,75,82,86,89,94,97,100,101,111,116,175,190,
205,211,235,244,256,415],[1,2,3,4,5,11,15,16,17,20,22,24,25,26,29,30,31,46,51,
75,81,85,88,95,96,100,101,111,117,176,190,206,211,236,243,255,416],[1,2,3,4,5,
11,14,15,16,20,21,22,25,26,27,28,30,51,52,75,83,84,98,99,102,111,113,114,185,
186,203,204,237,238,254,417],[1,2,3,4,5,11,14,15,16,20,21,22,25,26,28,30,31,
51,52,75,83,84,94,95,99,101,111,113,114,185,187,205,206,235,236,254,418],[1,2,
3,5,9,11,22,28,29,30,31,42,99,100,101,111,112,118,181,187,190,219,276,419],[1,
2,3,5,10,19,22,27,28,29,30,45,99,100,102,111,115,118,182,186,189,215,276,
420],[1,2,3,5,11,12,13,19,22,27,28,31,50,99,101,102,105,106,177,186,187,188,
218,421],[1,2,3,5,11,12,13,15,18,19,20,22,23,31,44,47,49,50,60,65,70,101,116,
161,175,197,201,422],[1,2,3,5,11,12,13,14,17,19,21,22,24,31,43,46,48,50,59,66,
69,101,117,162,176,198,202,423],[1,2,3,5,11,12,13,15,18,19,20,22,23,27,31,44,
47,49,50,60,65,70,101,102,116,161,174,175,213,218,424],[1,2,3,5,11,12,13,14,
17,19,21,22,24,27,31,43,46,48,50,59,66,69,101,102,117,162,173,176,214,218,
425],[1,2,3,5,10,11,15,18,19,20,22,23,27,30,45,47,51,58,65,68,70,74,102,107,
110,111,165,174,180,204,215,426],[1,2,3,5,10,11,14,17,19,21,22,24,27,30,45,46,
52,57,66,67,69,73,102,108,109,111,166,173,179,203,215,427],[1,2,3,5,10,11,14,
17,19,21,22,24,30,31,45,46,52,57,66,67,69,73,101,108,109,111,117,166,176,179,
223,225,428],[1,2,3,5,10,11,15,18,19,20,22,23,30,31,45,47,51,58,65,68,70,74,
101,107,110,111,116,165,175,180,222,224,429],[1,2,3,5,11,12,13,15,18,19,20,22,
23,28,29,50,51,56,60,62,63,65,68,70,74,99,103,105,106,112,115,171,177,183,194,
196,209,221,430],[1,2,3,5,11,12,13,14,17,19,21,22,24,28,29,50,52,55,59,61,64,
66,67,69,73,99,104,105,106,112,115,172,177,184,193,195,210,220,431],[1,2,3,5,
11,12,13,14,17,19,21,22,24,28,29,43,46,48,50,59,66,69,104,105,112,115,162,184,
195,199,210,432],[1,2,3,5,11,12,13,15,18,19,20,22,23,28,29,44,47,49,50,60,65,
70,103,106,112,115,161,183,196,200,209,433],[1,2,3,5,11,12,13,14,17,19,21,22,
28,29,48,50,52,55,61,67,104,105,112,115,163,184,191,193,220,434],[1,2,3,5,11,
12,13,15,18,19,20,22,28,29,49,50,51,56,62,68,103,106,112,115,164,183,192,194,
221,435],[1,2,3,5,11,12,13,15,18,19,20,22,23,30,44,47,49,50,60,65,70,107,110,
111,161,180,208,217,436],[1,2,3,5,11,12,13,14,17,19,21,22,24,30,43,46,48,50,
59,66,69,108,109,111,162,179,207,216,437],[1,2,3,5,9,11,14,17,21,22,24,30,31,
42,46,52,55,66,101,108,109,111,117,159,176,179,205,219,438],[1,2,3,5,9,11,15,
18,20,22,23,30,31,42,47,51,56,65,101,107,110,111,116,160,175,180,206,219,
439],[1,2,3,5,11,12,13,14,17,19,21,22,24,28,29,50,52,55,59,61,64,66,67,69,73,
100,103,104,105,112,115,172,178,184,191,199,210,220,440],[1,2,3,5,11,12,13,15,
18,19,20,22,23,28,29,50,51,56,60,62,63,65,68,70,74,100,103,104,106,112,115,
171,178,183,192,200,209,221,441],[1,2,3,4,5,9,11,16,22,25,26,27,28,29,30,31,
42,75,76,98,99,100,101,102,111,112,113,114,181,185,188,189,211,219,258,442],[
1,2,3,4,5,10,16,19,22,25,26,27,28,29,30,31,45,75,87,93,99,100,101,102,111,113,
114,115,182,185,188,190,212,215,253,443],[1,2,3,5,17,18,22,23,24,27,28,31,46,
47,77,78,79,80,99,101,102,173,174,186,188,213,214,259,444],[1,2,3,5,17,18,22,
23,24,27,28,31,46,47,77,78,79,80,99,101,102,116,117,175,176,187,188,213,214,
259,445],[1,3,4,5,12,17,21,24,25,26,28,30,59,71,85,91,105,108,109,195,207,248,
446],[1,3,4,5,13,18,20,23,25,26,28,30,60,72,86,90,106,107,110,196,208,247,
447],[1,3,4,5,12,17,21,24,25,26,29,30,59,71,85,91,104,108,109,199,207,248,
448],[1,3,4,5,13,18,20,23,25,26,29,30,60,72,86,90,103,107,110,200,208,247,
449],[1,3,4,5,12,17,21,24,26,29,30,31,54,59,91,96,104,109,117,199,202,249,
450],[1,3,4,5,13,18,20,23,26,29,30,31,53,60,90,97,103,110,116,200,201,250,
451],[1,3,5,13,14,17,18,20,23,28,30,31,48,60,78,80,106,110,116,201,208,233,
452],[1,3,5,12,15,17,18,21,24,28,30,31,49,59,79,80,105,109,117,202,207,232,
453],[1,3,4,5,12,17,21,24,26,28,30,31,54,59,91,96,105,109,117,195,202,249,
454],[1,3,4,5,13,18,20,23,26,28,30,31,53,60,90,97,106,110,116,196,201,250,
455],[1,3,5,12,17,21,23,24,28,30,31,44,59,77,78,105,109,117,202,207,226,456],[
1,3,5,13,18,20,23,24,28,30,31,43,60,77,79,106,110,116,201,208,227,457],[1,3,5,
12,14,23,29,31,44,61,82,104,116,197,229,458],[1,3,5,13,15,24,29,31,43,62,81,