tmunit.tom

GAP源码

180],[1,2,3,4,13,18,33,34,73,82,113,181],[1,2,3,4,5,13,17,18,29,33,37,75,81,
82,118,182],[1,2,3,4,6,13,16,18,30,33,36,74,80,82,117,183],[1,2,3,5,6,13,14,
15,16,30,31,32,77,79,80,83,115,184],[1,2,3,5,6,13,14,15,17,29,31,32,76,78,81,
83,116,185],[1,2,5,9,12,17,40,41,186],[1,2,6,8,12,16,40,42,187],[1,2,4,8,12,
18,40,45,188],[1,2,4,8,12,18,40,46,189],[1,2,4,9,12,18,40,43,190],[1,2,4,9,12,
18,40,44,191],[1,2,4,7,12,18,40,47,192],[1,2,4,7,12,18,40,47,193],[1,2,7,8,9,
10,11,20,22,23,24,25,26,27,57,60,61,63,65,66,127,130,132,194],[1,2,7,8,9,10,
11,20,22,23,24,25,26,27,56,60,62,64,65,66,127,131,133,195],[1,2,7,8,9,10,11,
21,22,23,24,25,26,27,56,57,58,59,61,62,63,64,65,66,67,128,129,132,133,196],[1,
2,7,8,9,10,11,22,23,24,25,26,27,28,56,61,62,64,65,66,68,130,133,134,197],[1,2,
7,8,9,10,11,22,23,24,25,26,27,28,57,61,62,63,65,66,68,131,132,134,198],[1,2,7,
8,9,10,11,21,22,23,24,25,26,58,61,62,63,64,65,67,128,130,131,199],[1,2,7,8,9,
10,11,20,21,22,23,24,25,26,28,58,60,63,64,65,67,68,69,70,127,128,134,135,136,
200],[1,2,3,5,6,10,13,14,15,20,32,52,83,86,87,88,89,201],[1,2,3,5,6,8,9,11,13,
14,15,16,17,27,32,48,49,50,51,53,54,55,78,79,83,101,102,148,149,150,202],[1,2,
4,5,8,9,11,14,17,18,27,37,41,43,44,48,51,53,75,93,97,98,101,152,203],[1,2,4,6,
8,9,11,15,16,18,27,36,42,45,46,49,50,54,74,92,95,96,102,151,204],[1,2,4,10,11,
18,21,34,73,140,141,142,205],[1,2,4,10,11,18,21,35,72,139,143,144,206],[1,2,5,
6,8,9,11,14,15,16,17,27,31,50,51,71,76,77,137,138,145,207],[1,2,7,9,12,23,56,
208],[1,2,7,8,12,22,57,209],[1,3,5,6,29,30,31,32,112,115,116,210],[1,3,4,5,6,
29,30,31,33,36,103,106,107,110,111,112,117,211],[1,3,4,5,6,29,30,31,33,37,104,
108,109,110,111,112,118,212],[1,3,4,5,6,29,30,33,34,35,36,37,105,106,107,108,
109,110,111,113,114,117,118,213],[1,3,5,6,29,30,31,39,112,119,120,125,126,
214],[1,3,5,6,29,30,31,38,112,121,122,123,124,215],[1,3,4,5,6,29,31,32,33,38,
109,116,122,216],[1,3,4,5,6,29,31,32,33,38,108,116,122,217],[1,3,4,5,6,30,31,
32,33,39,106,115,126,218],[1,3,4,5,6,30,31,32,33,39,107,115,126,219],[1,3,5,6,
30,31,32,39,103,115,126,220],[1,3,5,6,29,31,32,38,104,116,122,221],[1,3,4,6,
30,33,38,39,106,123,124,125,222],[1,3,4,6,30,33,38,39,107,123,124,125,223],[1,
3,4,5,29,33,38,39,109,119,120,121,224],[1,3,4,5,29,33,38,39,108,119,120,121,
225],[1,3,6,30,38,39,103,123,124,125,226],[1,3,5,29,38,39,104,119,120,121,
227],[1,2,5,7,8,9,10,14,20,22,23,24,26,41,60,65,88,90,127,228],[1,2,6,7,8,9,
10,15,20,22,23,24,26,42,60,65,87,91,127,229],[1,2,3,7,8,9,10,13,20,22,23,24,
26,52,60,65,86,89,127,157,230],[1,2,3,7,10,13,20,24,26,28,52,58,60,68,86,99,
136,157,231],[1,2,3,7,10,11,13,20,21,24,25,26,28,52,55,60,67,68,69,70,86,100,
135,157,164,232],[1,2,4,7,8,9,10,11,18,22,23,24,25,26,27,45,46,47,57,61,63,65,
66,94,95,96,132,156,233],[1,2,4,7,8,9,10,11,18,22,23,24,25,26,27,43,44,47,56,
62,64,65,66,94,97,98,133,155,234],[1,2,5,7,8,9,10,11,14,17,22,23,24,25,26,27,
41,48,51,53,56,62,64,65,66,90,93,101,133,153,159,161,235],[1,2,6,7,8,9,10,11,
15,16,22,23,24,25,26,27,42,49,50,54,57,61,63,65,66,91,92,102,132,154,158,160,
236],[1,2,4,7,10,18,20,24,26,28,47,58,60,68,94,136,162,237],[1,2,3,5,6,9,15,
16,17,29,31,32,50,71,77,78,116,138,178,238],[1,2,3,5,6,8,14,16,17,30,31,32,51,
71,76,79,115,137,177,239],[1,2,3,6,10,13,16,30,52,80,103,169,240],[1,2,3,5,10,
13,17,29,52,81,104,168,241],[1,2,3,4,10,13,18,33,52,82,105,170,242],[1,2,3,5,
6,9,13,14,15,16,17,30,31,32,48,50,71,76,77,79,80,83,115,138,148,177,184,243],[
1,2,3,5,6,8,13,14,15,16,17,29,31,32,49,51,71,76,77,78,81,83,116,137,149,178,
185,244],[1,2,3,4,10,13,18,33,34,52,73,82,113,140,181,245],[1,2,3,4,10,13,18,
33,35,52,72,82,114,139,180,246],[1,2,3,4,11,13,18,33,35,55,72,82,114,143,180,
247],[1,2,3,4,11,13,18,33,35,55,72,82,114,144,180,248],[1,2,3,4,11,13,18,33,
34,55,73,82,113,141,181,249],[1,2,3,4,11,13,18,33,34,55,73,82,113,142,181,
250],[1,2,3,5,6,11,15,16,17,29,31,32,54,71,77,78,116,145,178,251],[1,2,3,5,6,
11,14,16,17,30,31,32,53,71,76,79,115,145,177,252],[1,2,3,5,6,11,13,16,17,29,
30,31,55,71,80,81,112,145,179,253],[1,2,3,4,5,11,13,17,18,29,33,37,55,75,81,
82,118,147,182,254],[1,2,3,4,6,11,13,16,18,30,33,36,55,74,80,82,117,146,183,
255],[1,2,5,8,9,11,12,14,17,27,40,41,51,84,93,186,256],[1,2,6,8,9,11,12,15,16,
27,40,42,50,84,92,187,257],[1,2,7,8,9,10,11,20,21,22,23,24,25,26,27,28,56,57,
58,59,60,61,62,63,64,65,66,67,68,69,70,127,128,129,130,131,132,133,134,135,
136,194,195,196,197,198,199,200,258],[1,2,4,6,7,8,15,22,36,42,45,46,47,49,57,
91,151,154,156,259],[1,2,4,5,7,9,14,23,37,41,43,44,47,48,56,90,152,153,155,
260],[1,2,3,5,6,10,11,13,14,15,20,21,28,32,52,53,54,55,70,83,86,87,88,89,99,
100,150,164,165,166,167,201,261],[1,2,7,8,9,10,11,12,22,23,24,25,26,27,40,57,
61,63,65,66,132,209,262],[1,2,7,8,9,10,11,12,22,23,24,25,26,27,40,56,62,64,65,
66,133,208,263],[1,2,3,5,6,13,14,15,16,17,29,30,31,32,71,76,77,78,79,80,81,83,
112,115,116,177,178,179,184,185,210,264],[1,2,3,4,5,6,13,16,17,18,29,30,31,33,
36,71,74,80,81,82,103,106,107,110,111,112,117,169,173,174,175,176,179,183,211,
265],[1,2,3,4,5,6,13,16,17,18,29,30,31,33,37,71,75,80,81,82,104,108,109,110,
111,112,118,168,171,172,175,176,179,182,212,266],[1,2,3,4,5,6,13,16,17,18,29,
30,33,34,35,36,37,72,73,74,75,80,81,82,105,106,107,108,109,110,111,113,114,
117,118,170,171,172,173,174,175,176,180,181,182,183,213,267],[1,2,3,4,5,6,13,
14,15,17,18,29,31,32,33,38,76,78,81,82,83,109,116,122,172,185,216,268],[1,2,3,
4,5,6,13,14,15,17,18,29,31,32,33,38,76,78,81,82,83,108,116,122,171,185,217,
269],[1,2,3,4,5,6,13,14,15,16,18,30,31,32,33,39,77,79,80,82,83,106,115,126,
174,184,218,270],[1,2,3,4,5,6,13,14,15,16,18,30,31,32,33,39,77,79,80,82,83,
107,115,126,173,184,219,271],[1,2,3,5,6,13,14,15,16,30,31,32,39,77,79,80,83,
103,115,126,169,184,220,272],[1,2,3,5,6,13,14,15,17,29,31,32,38,76,78,81,83,
104,116,122,168,185,221,273],[1,2,4,8,9,11,18,19,27,44,46,85,95,97,274],[1,2,
4,8,9,11,18,19,27,44,45,85,96,97,275],[1,2,4,8,9,11,18,19,27,43,46,85,95,98,
276],[1,2,4,8,9,11,18,19,27,43,45,85,96,98,277],[1,2,4,7,10,18,19,26,47,85,94,
278],[1,2,6,7,8,9,10,11,15,16,20,22,23,24,25,26,27,42,50,56,60,62,64,65,66,87,
91,92,127,131,133,158,195,229,279],[1,2,5,7,8,9,10,11,14,17,20,22,23,24,25,26,
27,41,51,57,60,61,63,65,66,88,90,93,127,130,132,159,194,228,280],[1,2,6,7,8,9,
10,11,15,20,21,22,23,24,25,26,28,42,54,58,60,63,64,65,67,68,69,70,87,91,127,
128,134,135,136,160,165,200,229,281],[1,2,5,7,8,9,10,11,14,20,21,22,23,24,25,
26,28,41,53,58,60,63,64,65,67,68,69,70,88,90,127,128,134,135,136,161,166,200,
228,282],[1,2,6,7,8,9,10,11,15,20,22,23,24,25,26,27,42,49,57,60,61,63,65,66,
87,91,127,130,132,154,194,229,283],[1,2,5,7,8,9,10,11,14,20,22,23,24,25,26,27,
41,48,56,60,62,64,65,66,88,90,127,131,133,153,195,228,284],[1,2,4,7,8,9,10,11,
21,22,23,24,25,26,27,43,44,45,46,47,56,57,58,59,61,62,63,64,65,66,67,128,129,
132,133,155,156,162,163,196,285],[1,2,3,7,8,9,10,11,13,20,21,22,23,24,25,26,
28,52,55,58,60,63,64,65,67,68,69,70,86,89,99,100,127,128,134,135,136,157,164,
167,200,230,231,232,286],[1,2,3,6,10,13,16,20,30,52,80,89,103,169,240,287],[1,
2,3,5,10,13,17,20,29,52,81,89,104,168,241,288],[1,2,3,5,6,8,9,11,13,14,15,16,
17,27,30,31,32,48,50,51,53,71,76,77,79,80,83,101,115,137,138,145,148,177,184,
207,239,243,252,289],[1,2,3,5,6,8,9,11,13,14,15,16,17,27,29,31,32,49,50,51,54,
71,76,77,78,81,83,102,116,137,138,145,149,178,185,207,238,244,251,290],[1,2,3,
4,10,11,13,18,21,33,35,52,55,72,82,100,114,139,143,144,180,206,246,247,248,
291],[1,2,3,4,10,11,13,18,21,33,34,52,55,73,82,100,113,140,141,142,181,205,
245,249,250,292],[1,2,3,4,10,13,18,28,33,52,82,99,105,170,242,293],[1,3,4,5,6,
29,30,31,33,34,35,36,37,103,104,105,106,107,108,109,110,111,112,113,114,117,
118,211,212,213,294],[1,3,4,5,6,29,30,31,32,33,36,39,103,106,107,110,111,112,
115,116,117,119,120,125,126,210,211,214,218,219,220,295],[1,3,4,5,6,29,30,31,
32,33,37,38,104,108,109,110,111,112,115,116,118,121,122,123,124,210,212,215,
216,217,221,296],[1,3,4,5,6,29,30,31,33,36,38,39,103,106,107,110,111,112,117,
119,120,121,122,123,124,125,126,211,214,215,222,223,226,297],[1,3,4,5,6,29,30,
31,33,37,38,39,104,108,109,110,111,112,118,119,120,121,122,123,124,125,126,
212,214,215,224,225,227,298],[1,2,3,5,6,7,8,9,10,13,14,15,20,22,23,24,26,32,
41,42,52,60,65,83,86,87,88,89,90,91,127,157,201,228,229,230,299],[1,2,4,5,7,8,
9,10,11,14,17,18,22,23,24,25,26,27,37,41,43,44,47,48,51,53,56,62,64,65,66,75,
90,93,94,97,98,101,133,152,153,155,159,161,203,234,235,260,300],[1,2,4,6,7,8,
9,10,11,15,16,18,22,23,24,25,26,27,36,42,45,46,47,49,50,54,57,61,63,65,66,74,
91,92,94,95,96,102,132,151,154,156,158,160,204,233,236,259,301],[1,2,3,5,6,9,
13,14,15,16,17,29,30,31,32,48,50,71,76,77,78,79,80,81,83,112,115,116,138,148,
177,178,179,184,185,210,238,243,264,302],[1,2,3,5,6,8,13,14,15,16,17,29,30,31,
32,49,51,71,76,77,78,79,80,81,83,112,115,116,137,149,177,178,179,184,185,210,
239,244,264,303],[1,2,3,4,5,6,8,14,16,17,30,31,32,33,39,46,51,71,76,79,107,
115,126,137,177,219,239,304],[1,2,3,4,5,6,8,14,16,17,30,31,32,33,39,45,51,71,
76,79,106,115,126,137,177,218,239,305],[1,2,3,4,5,6,9,15,16,17,29,31,32,33,38,
43,50,71,77,78,108,116,122,138,178,217,238,306],[1,2,3,4,5,6,9,15,16,17,29,31,
32,33,38,44,50,71,77,78,109,116,122,138,178,216,238,307],[1,2,3,5,6,8,14,16,
17,30,31,32,39,42,51,71,76,79,103,115,126,137,177,220,239,308],[1,2,3,5,6,9,
15,16,17,29,31,32,38,41,50,71,77,78,104,116,122,138,178,221,238,309],[1,2,3,5,
6,11,13,14,15,16,17,29,30,31,32,53,54,55,71,76,77,78,79,80,81,83,112,115,116,
145,150,177,178,179,184,185,210,251,252,253,264,310],[1,2,5,6,8,9,11,12,16,17,
27,31,40,41,42,71,92,93,145,186,187,311],[1,2,4,7,10,12,18,26,35,40,47,72,94,
139,193,312],[1,2,4,7,10,12,18,26,34,40,47,73,94,140,192,313],[1,2,4,5,8,9,11,
12,17,18,27,37,40,41,46,75,93,95,147,186,189,314],[1,2,4,5,8,9,11,12,17,18,27,
37,40,41,45,75,93,96,147,186,188,315],[1,2,4,6,8,9,11,12,16,18,27,36,40,42,43,
74,92,98,146,187,190,316],[1,2,4,6,8,9,11,12,16,18,27,36,40,42,44,74,92,97,
146,187,191,317],[1,2,4,8,9,11,12,18,27,34,40,43,45,73,96,98,141,188,190,
318],[1,2,4,8,9,11,12,18,27,34,40,44,46,73,95,97,142,189,191,319],[1,2,4,8,9,
11,12,18,27,35,40,44,45,72,96,97,143,188,191,320],[1,2,4,8,9,11,12,18,27,35,
40,43,46,72,95,98,144,189,190,321],[1,2,6,7,8,9,10,11,15,16,20,21,22,23,24,25,
26,27,28,42,49,50,54,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,87,91,92,
102,127,128,129,130,131,132,133,134,135,136,154,158,160,165,194,195,196,197,
198,199,200,229,236,258,279,281,283,322],[1,2,5,7,8,9,10,11,14,17,20,21,22,23,
24,25,26,27,28,41,48,51,53,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,88,90,
93,101,127,128,129,130,131,132,133,134,135,136,153,159,161,166,194,195,196,
197,198,199,200,228,235,258,280,282,284,323],[1,2,4,7,8,9,10,11,18,20,21,22,
23,24,25,26,27,28,43,44,45,46,47,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,
94,95,96,97,98,127,128,129,130,131,132,133,134,135,136,155,156,162,163,194,
195,196,197,198,199,200,233,234,237,258,285,324],[1,3,5,6,12,29,30,31,32,112,
115,116,210,325],[1,2,3,4,5,6,13,16,17,18,29,30,31,33,34,35,36,37,71,72,73,74,
75,80,81,82,103,104,105,106,107,108,109,110,111,112,113,114,117,118,168,169,
170,171,172,173,174,175,176,179,180,181,182,183,211,212,213,265,266,267,294,
326],[1,2,3,4,5,6,13,14,15,16,17,18,29,30,31,32,33,37,38,71,75,76,77,78,79,80,
81,82,83,104,108,109,110,111,112,115,116,118,121,122,123,124,168,171,172,175,
176,177,178,179,182,184,185,210,212,215,216,217,221,264,266,268,269,273,296,
327],[1,2,3,4,5,6,13,14,15,16,17,18,29,30,31,32,33,36,39,71,74,76,77,78,79,80,
81,82,83,103,106,107,110,111,112,115,116,117,119,120,125,126,169,173,174,175,
176,177,178,179,183,184,185,210,211,214,218,219,220,264,265,270,271,272,295,
328],[1,2,3,5,6,7,8,9,10,11,13,14,15,20,21,22,23,24,25,26,28,32,41,42,52,53,
54,55,58,60,63,64,65,67,68,69,70,83,86,87,88,89,90,91,99,100,127,128,134,135,
136,150,157,160,161,164,165,166,167,200,201,228,229,230,231,232,261,281,282,
286,299,329],[1,2,3,5,6,7,8,9,10,11,13,14,15,17,20,22,23,24,25,26,27,32,41,42,
49,51,52,57,60,61,63,65,66,78,83,86,87,88,89,90,91,93,127,130,132,149,154,157,
159,194,201,228,229,230,280,283,299,330],[1,2,3,5,6,7,8,9,10,11,13,14,15,16,
20,22,23,24,25,26,27,32,41,42,48,50,52,56,60,62,64,65,66,79,83,86,87,88,89,90,
91,92,127,131,133,148,153,157,158,195,201,228,229,230,279,284,299,331],[1,2,4,
6,7,8,9,10,11,15,16,18,22,23,24,25,26,27,28,36,42,45,46,47,49,50,54,57,61,62,
63,65,66,68,74,91,92,94,95,96,102,131,132,134,146,151,154,156,158,160,198,204,
233,236,259,301,332],[1,2,4,5,7,8,9,10,11,14,17,18,22,23,24,25,26,27,28,37,41,
43,44,47,48,51,53,56,61,62,64,65,66,68,75,90,93,94,97,98,101,130,133,134,147,
152,153,155,159,161,197,203,234,235,260,300,333],[1,2,3,5,6,8,9,11,13,14,15,
16,17,27,30,31,32,39,42,48,50,51,53,71,76,77,79,80,83,92,101,103,115,126,137,
138,145,148,169,177,184,207,220,239,243,252,272,289,308,334],[1,2,3,5,6,8,9,
11,13,14,15,16,17,27,29,31,32,38,41,49,50,51,54,71,76,77,78,81,83,93,102,104,
116,122,137,138,145,149,168,178,185,207,221,238,244,251,273,290,309,335],[1,2,
3,4,5,6,8,9,11,13,14,15,16,17,18,27,30,31,32,33,39,46,48,50,51,53,71,76,77,79,
80,82,83,95,101,107,115,126,137,138,145,148,173,177,184,207,219,239,243,252,
271,289,304,336],[1,2,3,4,5,6,8,9,11,13,14,15,16,17,18,27,30,31,32,33,39,45,
48,50,51,53,71,76,77,79,80,82,83,96,101,106,115,126,137,138,145,148,174,177,
184,207,218,239,243,252,270,289,305,337],[1,2,3,4,5,6,8,9,11,13,14,15,16,17,
18,27,29,31,32,33,38,44,49,50,51,54,71,76,77,78,81,82,83,97,102,109,116,122,
137,138,145,149,172,178,185,207,216,238,244,251,268,290,307,338],[1,2,3,4,5,6,
8,9,11,13,14,15,16,17,18,27,29,31,32,33,38,43,49,50,51,54,71,76,77,78,81,82,
83,98,102,108,116,122,137,138,145,149,171,178,185,207,217,238,244,251,269,290,
306,339],[1,2,3,5,6,10,13,14,15,16,20,30,31,32,39,52,77,79,80,83,86,87,88,89,