tmesym.tom

GAP源码

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