tmlin2.tom

GAP源码

1,1,2,1],[4,4]],[[1,1,2,1],[2,1,1,1],[3,1,4,-1,1,1,2,-1,3,1,1,1,4,1]]],[[[2,1,
1,1],[1,1,2,-1,3,-1,1,1,2,1,3,-1,2,-1]],[[2,1,1,1],[2,1,3,2,2,1,1,1,3,1,2,-1,
1,1,2,-1]]],[[[1,1]],[[2,1]]]]);



LIBTOM( "L2(7)",
[[1],[1,2],[1,3],[1,2,4],[1,2,5],[1,2,6],[1,2,3,7],[1,8],[1,2,4,5,6,9],[1,2,3,
4,10],[1,2,3,5,11],[1,3,8,12],[1,2,3,4,5,6,7,9,10,13],[1,2,3,4,5,6,7,9,11,
14],[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15]],
0,
[[1],[1,1],[1,1],[1,3,1],[1,3,1],[1,1,1],[1,3,1,1],[1,1],[1,5,1,1,1,1],[1,3,4,
1,1],[1,3,4,1,1],[1,7,1,1],[1,9,4,1,3,3,4,3,1,1],[1,9,4,3,1,3,4,3,1,1],[1,21,
28,7,7,21,28,8,21,7,7,8,7,7,1]],
[1,2,3,4,4,4,6,7,8,12,12,21,24,24,168],
[15,9,7,13,14,9,7,12,9,13,14,12,13,14,15],
[1,1,1,1,1,1,3,1,2,4,5,8,10,11,15],
[(2,4)(5,7),(1,2,3)(4,5,6)],
[[[[]]],[[[2,-1,1,1,2,1]]],[[[1,1,2,1],[3,2,2,1,1,1,2,1,3,2]]],[[[1,1,2,-1,1,
1,2,1,1,1]],[[2,-1,1,1,2,1]]],[[[2,1,1,1,2,1,1,1,2,-1,1,1,2,-1]],[[2,-1,1,1,2,
1]]],[[[1,1,2,1],[2,1,1,1],[4,1,3,-1,4,1,2,-1,3,-2]]],[[[1,1,2,1],[3,2,2,1,1,
1,2,1,3,2]],[[2,-1,1,1,2,1]]],[[[1,1,2,-1],[2,-1,3,2,1,1,2,1]]],[[[2,-1,1,1,2,
1]],[[1,1]]],[[[2,1,1,1],[3,1,2,1,3,-1,1,1,2,-1,1,1]],[[2,-1,1,1,2,1]]],[[[2,
1,1,1],[1,1,2,1,1,1,3,1,2,1,3,1]],[[2,-1,1,1,2,1]]],[[[2,1,1,1,2,-1,1,1,2,
-1]],[[1,1,2,1,1,1]]],[[[1,1,2,1],[2,1,3,1,1,1,2,-1,3,1,1,1,2,1,1,1]],[[1,1,2,
-1,1,1,2,1]]],[[[2,1,1,1],[2,1,3,2,2,1,1,1,2,-1,1,1,3,1,2,-1]],[[1,1,2,1],[2,
1,3,2,1,1,2,-1,3,2]]],[[[1,1]],[[2,1]]]]);



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



LIBTOM( "L2(13)",
[[1],[1,2],[1,3],[1,2,4],[1,2,3,5],[1,2,3,6],[1,2,3,7],[1,8],[1,2,3,4,9],[1,2,
3,4,5,6,7,10],[1,11],[1,2,8,12],[1,2,11,13],[1,3,11,14],[1,2,3,5,11,13,14,
15],[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16]],
0,
[[1],[1,1],[1,1],[1,3,1],[1,1,1,1],[1,3,1,1],[1,3,1,1],[1,1],[1,3,4,1,1],[1,7,
1,3,1,1,1,1],[1,1],[1,7,1,1],[1,13,1,1],[1,13,1,1],[1,13,13,13,1,1,1,1],[1,91,
91,91,91,91,91,78,91,91,14,78,14,14,14,1]],
[1,2,3,4,6,6,6,7,12,12,13,14,26,39,78,1092],
[16,10,10,9,10,10,10,12,9,10,15,12,15,15,15,16],
[1,1,1,1,1,3,3,1,4,3,1,8,11,11,11,16],
[( 1, 3)( 5, 6)( 7, 9)( 8,10)(11,12)(13,14),( 1, 7, 4)( 2, 8, 5)( 9,11,10)
(12,14,13)],
[[[[]]],[[[1,1]]],[[[2,1]]],[[[1,1,2,1],[1,1,2,-1,3,2,2,1,1,1,2,1,3,2]],[[1,1,
2,1],[3,1,1,1,2,1,1,1,3,-2]]],[[[1,1,2,1],[2,1,1,1,3,-2]]],[[[1,1,2,1],[2,1,1,
1],[1,1,2,-1,3,1,1,1,4,1,2,1,4,1,3,-1,4,1]],[[1,1,2,1],[2,1,1,1],[4,1,2,1,4,
-1,3,1,1,1,3,-1,4,1]]],[[[1,1,2,1],[2,1,1,1],[4,1,3,-1,4,1,2,-1,3,1,4,-1]],[[
1,1,2,-1,1,1]]],[[[2,1,1,1],[3,2,2,-1,1,1,2,1,1,1]]],[[[2,1,1,1],[2,1,3,-1,1,
1,2,1],[3,1,4,1,3,1,4,1]],[[1,1,2,1],[3,1,1,1,2,1,1,1,3,-2]]],[[[1,1,2,1],[1,
1,2,-1,3,2,2,1,1,1,2,1,3,2]],[[2,1,1,1],[3,1,2,-1,1,1,3,1,2,-1]]],[[[1,1,2,1,
1,1,2,1]]],[[[1,1,2,1],[2,1,1,1],[2,1,3,2,4,-1,3,1,4,-1],[5,3]],[[1,1,2,-1],[
3,2,1,1,2,1],[4,3]]],[[[1,1,2,1],[1,1,2,-1],[4,2,3,2,1,1]],[[2,-1,1,1,2,
1]]],[[[1,1,2,-1],[3,1,1,1,2,1],[3,1,4,1,3,1,4,1]],[[1,1,2,-1,1,1]]],[[[1,1,2,
1],[2,1,1,1],[2,1,4,1,3,-1,4,1,2,1,3,1,4,-1,1,1,2,-1]],[[1,1,2,-1],[3,2,1,1,2,
1]]],[[[1,1]],[[2,1]]]]);ACLT( "L2(13)",
"sortperm",( 9,10));




LIBTOM( "L2(16)",
[[1],[1,2],[1,3],[1,2,4],[1,2,5],[1,2,6],[1,7],[1,2,3,8],[1,2,4,5,6,9],[1,2,7,
10],[1,2,3,4,11],[1,3,7,12],[1,2,4,5,6,9,13],[1,14],[1,2,3,7,8,10,12,15],[1,2,
14,16],[1,2,3,4,5,6,9,11,13,17],[1,2,3,4,7,8,10,11,18],[1,2,4,5,6,7,9,13,19],[
1,2,3,4,5,6,7,9,11,12,13,17,19,20],[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,
18,19,20,21]],
0,[[1],[1,1],[1,1],[1,3,1],[1,3,1],[1,3,1],[1,1],[1,3,1,1],[1,7,1,3,3,1],[1,5,
1,1],[1,3,4,1,1],[1,1,1,1],[1,15,5,15,15,15,1],[1,1],[1,15,1,1,5,3,1,1],[1,17,
1,1],[1,15,16,5,15,15,15,20,1,1],[1,15,10,5,6,10,6,5,1],[1,15,5,15,15,16,15,1,
1],[1,15,16,5,15,15,16,15,20,16,1,1,1,1],[1,255,136,85,255,255,136,680,255,
408,340,136,17,120,136,120,17,68,17,17,1]],
[1,2,3,4,4,4,5,6,8,10,12,15,16,17,30,34,48,60,80,240,4080],
[21,13,15,17,13,13,15,8,13,10,11,15,20,16,15,16,20,18,20,20,21],
[1,1,1,1,1,1,1,3,1,7,4,1,1,1,12,14,13,18,13,13,21],
[( 2,13)( 3, 9)( 4,11)( 5,10)( 6,15)( 7,16)( 8,14)(12,17),( 1, 4,17)( 2,11,15)
( 3,16, 9)( 5,10, 6)( 7,12, 8)],
[[[[]]],[[[1,1]]],[[[2,1]]],[[[1,1,2,1],[1,1,2,-1],[4,2,3,1,4,1,3,1,1,1,2,1,1,
1]],[[2,1,1,1],[2,1,3,1,2,1,3,-1,1,1,2,1]]],[[[1,1,2,1],[2,1,1,1],[1,1,2,-1,3,
1,1,1,4,1,2,1,4,1,3,-1,4,1]],[[1,1,2,1],[2,1,1,1],[2,1,3,3,2,1,4,-2]]],[[[1,1,
2,1],[2,1,1,1],[1,1,2,-1],[3,2,4,-1,5,2,3,1,1,1,4,1,2,1]],[[2,1,1,1,2,
-1]]],[[[1,1,2,1],[1,1,2,-1],[4,2,3,3]]],[[[1,1,2,1],[2,1,3,1],[4,1,3,1,4,1,1,
1,2,-1,1,1,2,-1]],[[1,1,2,-1,1,1,2,1],[3,1,1,1,2,-1,3,1]]],[[[1,1,2,1],[2,1,1,
1],[1,1,2,-1],[3,2,4,-1,5,2,3,1,1,1,4,1,2,1]],[[2,1,1,1,2,-1]],[[1,1,2,1],[2,
1,1,1],[1,1,2,-1],[3,1,4,-2,5,2,4,-1,3,1,4,-1,2,-1]]],[[[1,1,2,1],[2,1,1,1],[
2,1,4,-1,3,1,2,1,3,2,4,-1]],[[1,1,2,1],[1,1,2,-1],[4,2,3,2,1,1]]],[[[1,1,2,
1],[1,1,2,-1],[4,1,3,1,1,1,2,1,1,1,3,-1,4,-1]],[[1,1,2,1],[2,1,3,1],[4,2,3,1,
1,1,2,-1]]],[[[1,1,2,1],[2,1,1,1],[3,2,4,-2,3,1,4,-1]]],[[[1,1,2,1],[2,1,1,
1],[1,1,2,-1],[5,1,4,-1,1,1,3,-1,2,1,3,2,4,-1,5,1]],[[1,1,2,1],[3,2,2,1,1,
1]],[[1,1,2,1],[2,1,1,1],[1,1,2,-1],[4,1,3,-2,2,-1,5,2,3,1,1,1,4,1]],[[1,1,2,
1],[2,1,1,1],[4,2,3,-1,2,1,1,1,3,-1,4,1,2,-1,4,-1]]],[[[2,1,1,1],[3,1,2,-1,1,
1],[4,1,3,1,4,1,3,1]]],[[[1,1,2,1],[2,1,1,1],[3,1,2,1,4,-2,1,1,2,-1,3,1,1,1,4,
1]],[[2,1,1,1,2,-1]]],[[[1,1,2,1],[2,1,1,1],[4,1,2,1,4,-1,3,1,2,1,3,1]],[[1,1,
2,1],[3,1,1,1,2,1,1,1,3,-2]]],[[[1,1,2,1],[2,1,3,1],[4,2,3,1,1,1,2,-1]],[[1,
1]],[[1,1,2,-1,1,1,2,1],[3,1,1,1,2,-1,3,1]]],[[[1,1,2,1],[3,1,1,1,2,1,1,1,3,
-2]],[[2,1]]],[[[1,1,2,1],[2,1,1,1],[1,1,2,-1],[5,1,3,1,4,-1,5,1,3,1,1,1,4,
1]],[[2,1,1,1,2,-1]]],[[[1,1,2,1],[2,1,1,1],[2,1,3,3,4,-2]],[[1,1]]],[[[1,
1]],[[2,1]]]]);


LIBTOM( "L2(25)",
[[1],[1,2],[1,3],[1,2,4],[1,2,5],[1,2,6],[1,7],[1,8],[1,2,3,9],[1,2,3,10],[1,
2,3,11],[1,2,4,5,6,12],[1,2,7,13],[1,2,8,14],[1,2,3,5,9,10,15],[1,2,3,6,16],[
1,2,3,4,9,17],[1,2,3,6,9,11,18],[1,2,3,5,19],[1,20],[1,2,4,8,14,21],[1,2,4,7,
13,22],[1,2,3,4,5,6,11,12,19,23],[1,2,3,4,5,6,10,12,16,24],[1,2,3,4,5,6,9,10,
11,12,15,17,18,25],[1,7,8,26],[1,2,20,27],[1,2,7,8,13,14,26,28],[1,2,3,6,8,10,
14,16,29],[1,2,3,5,7,11,13,19,30],[1,3,7,8,26,31],[1,2,4,7,8,13,14,21,22,26,
28,32],[1,2,3,4,5,6,7,9,11,12,13,18,19,22,23,30,33],[1,2,3,4,5,6,8,9,10,12,14,
15,16,21,24,29,34],[1,2,3,7,8,9,13,14,26,28,31,35],[1,2,3,4,7,8,9,13,14,17,21,
22,26,28,31,32,35,36],[1,2,3,4,5,6,7,8,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,35,36,37]],
0,[[1],[1,1],[1,1],[1,1,1],[1,3,1],[1,3,1],[1,1],[1,1],[1,1,1,1],[1,3,1,1],[1,
3,1,1],[1,5,1,1,1,1],[1,5,1,1],[1,5,1,1],[1,7,1,3,1,2,1],[1,3,4,1,1],[1,1,1,1,
1,1],[1,7,1,3,1,2,1],[1,3,4,1,1],[1,1],[1,5,5,1,1,1],[1,5,5,1,1,1],[1,9,4,3,1,
3,4,3,1,1],[1,9,4,3,3,1,4,3,1,1],[1,13,1,1,3,3,1,2,2,3,1,1,1,1],[1,3,3,1],[1,
13,1,1],[1,25,3,3,15,15,1,1],[1,15,10,5,6,10,6,5,1],[1,15,10,5,6,10,6,5,1],[1,
25,3,3,1,1],[1,25,25,3,3,15,15,15,15,1,1,1],[1,25,10,15,5,15,6,10,20,15,6,10,
5,6,5,1,1],[1,25,10,15,15,5,6,10,20,15,6,10,5,6,5,1,1],[1,25,25,3,3,25,15,15,
1,1,1,1],[1,25,25,25,3,3,25,15,15,25,15,15,1,1,1,1,1,1],[1,325,325,325,325,
325,78,78,325,650,650,975,390,390,325,325,325,325,325,300,390,390,325,325,325,
26,300,26,65,65,26,26,65,65,26,26,1]],
[1,2,3,4,4,4,5,5,6,6,6,8,10,10,12,12,12,12,12,13,20,20,24,24,24,25,26,50,60,
60,75,100,120,120,150,300,7800],
[37,25,25,25,23,24,32,32,25,15,18,12,22,21,25,24,25,25,23,27,21,22,23,24,25,
36,27,36,34,33,36,36,33,34,36,36,37],
[1,1,1,1,1,1,1,1,1,3,3,2,7,8,3,6,1,3,5,1,8,7,19,16,9,1,20,26,29,30,26,26,30,
29,26,26,37],
[( 1, 5)( 2, 4)( 3,11)( 6, 7)( 8,18)( 9,13)(10,22)(12,26)(14,19)(15,17)(16,21)
(23,24),( 1,14,24)( 2,18, 7)( 3,23, 4)( 5,17,10)( 8, 9,20)(11,15,19)(12,22,21)
(13,26,25)],
[[[[]]],[[[1,1]]],[[[2,1]]],[[[2,1,1,1],[3,2,2,-1,1,1],[1,1,2,-1,4,-2]]],[[[1,
1,2,1],[2,1,1,1],[1,1,2,-1],[2,-1,4,-1,1,1,3,-1,5,-1,4,1,2,1,4,-1,3,1,5,1]],[[
1,1,2,1],[2,1,1,1],[3,2,4,-1,1,1,2,1,4,-1,1,1,3,-1]]],[[[1,1,2,1],[1,1,2,-1],[
4,2,3,1,4,1,3,1,1,1,2,1,1,1]],[[2,1,1,1],[2,-1,3,-1,1,1,2,1,3,-1,2,-1]]],[[[2,
1,1,1],[3,2,2,-1,1,1,2,1,1,1]]],[[[1,1,2,1],[2,1,1,1],[4,1,3,-2,2,-1,1,1,2,-1,
3,1,1,1,4,1]]],[[[1,1,2,1],[1,1,2,-1],[4,2,3,3]]],[[[1,1,2,1],[2,1,1,1],[1,1,
2,-1,3,1,1,1,4,1,2,1,4,1,3,-1,4,1]],[[2,1,1,1],[2,-1,3,-1,1,1,2,1,3,-1,2,
-1]]],[[[1,1,2,1],[2,1,1,1],[1,1,2,-1],[5,1,3,1,1,1,4,1,2,1,5,1,3,2,4,-1]],[[
1,1,2,1],[2,1,1,1],[1,1,2,-1],[2,1,4,1,3,-1,4,1,5,-1,4,1,3,-2,5,-1]]],[[[1,1,
2,1],[2,1,1,1],[4,1,3,-1,4,1,2,-1,3,1,4,-1]],[[1,1,2,1],[1,1,2,-1,3,1,1,1,2,
-1,3,1,1,1]]],[[[1,1,2,1],[1,1,2,-1],[4,2,3,1,4,1,3,1,1,1,2,1,1,1]],[[1,1,2,
1],[3,2,2,1,1,1,2,1,3,1]]],[[[1,1,2,1],[2,1,1,1],[4,1,3,-2,2,-1,1,1,2,-1,3,1,