tmesym.tom

GAP源码

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