tmesym.tom

GAP源码

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