tmlinoam.tom

GAP源码

30,30,60,45,10,6,5,5,10,15,15,30,6,10,10,10,18,15,15,30,6,5,10,1,6,5,3,1,1],[
1,3,10,15,30,45,1,10,20,5,15,15,30,45,45,45,45,90,6,1,10,10,10,10,10,15,15,20,
30,30,30,30,60,60,15,15,45,45,45,45,45,10,6,18,18,5,5,10,10,10,15,15,15,15,15,
15,30,30,30,30,30,30,30,60,6,45,10,10,10,10,10,10,10,6,18,18,5,5,15,15,15,15,
15,15,15,15,30,30,6,6,6,5,10,10,10,10,10,10,10,18,15,15,1,6,6,6,5,5,5,10,1,3,
3,6,5,1,3,1,1,1,1]],
[1,2,2,2,2,2,3,3,3,4,4,4,4,4,4,4,4,4,5,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,8,8,8,8,
8,8,8,9,10,10,10,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,15,
16,18,18,18,18,18,18,18,20,20,20,24,24,24,24,24,24,24,24,24,24,24,24,30,30,30,
36,36,36,36,36,36,36,36,40,48,48,60,60,60,60,72,72,72,72,120,120,120,120,144,
180,240,360,360,360,720],
[121,117,110,102,88,66,121,110,93,115,102,102,88,66,66,66,66,37,114,121,110,
110,110,110,110,102,102,93,88,88,88,88,64,64,102,101,66,66,66,66,66,110,114,
100,100,115,115,107,110,110,102,102,102,102,102,102,88,88,88,84,88,88,88,64,
114,66,110,110,110,110,110,110,110,114,100,100,115,115,101,102,101,102,102,
102,102,102,87,88,114,114,114,115,110,110,110,110,110,110,110,100,101,102,121,
114,114,114,115,115,115,110,121,117,117,114,115,121,117,121,121,121,121],
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,7,1,8,1,8,7,1,7,1,8,8,1,1,9,9,4,1,1,4,
4,1,4,1,19,19,1,1,10,10,8,7,7,7,7,1,1,7,8,8,1,7,8,8,8,9,1,4,1,42,7,42,8,8,7,
19,19,19,47,7,47,4,10,26,26,7,7,26,48,8,65,19,7,10,42,7,42,8,42,42,42,19,47,
26,103,65,65,19,92,46,47,42,103,103,103,65,92,103,103,103,116,116,116],
[(  1,  2, 57, 73, 72, 69)(  3, 78,146, 34,  4, 39)(  5, 30,  7, 27,149, 92)
(  6, 49,129, 58, 10, 43)(  8, 22,138, 64, 20, 23)(  9, 13, 38,116,113, 48)
( 11, 25, 55, 54, 83, 28)( 12, 17, 14, 76,126, 29)( 15, 74, 60, 62, 21, 18)
( 16, 36, 71, 65, 66, 19)( 24, 31, 68)( 26,137,148,125, 33, 87)
( 32, 41, 75,136,147, 88)( 35, 44,133,145,143,122)( 37,152,112, 46, 77, 90)
( 40,100,139, 89,127,121)( 42,117,111,105,150, 84)( 45,108,132,134,119, 53)
( 47,106, 91, 56, 98,141)( 50,107,128,104,114, 61)( 51, 99,118,140, 95, 59)
( 52, 63,120)( 67,151, 86, 81,102,153)( 70, 85, 94, 79,101, 82)
( 80,144,110,124,155,142)( 93,154, 96,131,156,109),(  1,152, 48, 25, 20, 72)
(  2, 24,128, 38,130,113)(  3, 37,112,116, 46,151)(  4, 81, 47, 91, 67,104)
(  5, 14,121,100, 42,139)(  6, 65,156, 44,145, 59)(  7, 41,136, 92,101, 12)
(  8,102, 98,153, 90, 57)(  9,114,106, 34, 11, 69)( 10, 99, 96, 19, 15, 60)
( 13, 77,146, 61, 22, 28)( 16, 71,109, 35, 49, 18)( 17, 63,134,124,115,142)
( 21, 36,129)( 23,107, 86,138, 54, 64)( 26, 80,150, 89,126, 70)
( 27, 88,149,127,132, 87)( 29,144, 53,105, 82, 75)( 30,137,155,148, 33, 94)
( 31, 73, 55,135, 83, 39)( 32, 85,120, 76,147,123)( 40,111,110,125,119, 45)
( 43,133, 51)( 50, 68, 78, 56, 97,141)( 52, 79, 84,103,117,108)
( 58,118, 95,143,154, 62)( 66, 74,131)( 93,140,122)],
[[[[]]],[[[2,-3]]],[[[1,-3]]],[[[1,1,2,1,1,1,2,-1]]],[[[1,1,2,-3,1,2]]],[[[2,
1,1,-2]]],[[[1,1,2,2,1,2,2,2,1,1]]],[[[2,2]]],[[[1,2]]],[[[1,2],[3,1,2,1,1,-1,
2,-1,3,1,1,1]],[[2,1,1,-1,2,1,1,-1]]],[[[1,2],[3,1,1,1,2,1,1,-1,2,-1,3,1]],[[
1,2,2,-1,1,-1,2,-1]]],[[[1,2,2,1,1,-1,2,1]]],[[[1,1,2,-1,1,2,2,2,1,1]],[[1,
2],[3,1,2,1,1,1,2,1,3,1]]],[[[2,1,1,-1]]],[[[1,2],[1,1,2,1],[2,1,4,1,3,1,4,1,
2,1,3,-1]],[[1,2,2,-3,1,1]]],[[[1,2],[2,2],[3,1,4,1,3,-1,4,-1]],[[1,2],[3,-1,
2,1]]],[[[1,1,2,-1,1,2,2,2,1,1]],[[1,2],[3,-1,2,1]]],[[[1,2],[3,1,2,1,1,1,2,1,
3,1]],[[2,1,1,1,2,-1,1,1,2,1]]],[[[2,2,1,-1,2,2,1,1]]],[[[1,1,2,-3,1,-1]],[[2,
-3]]],[[[1,1,2,2,1,2,2,-2]]],[[[2,2,1,2,2,2,1,-2]],[[2,1,1,1,2,1,1,1,2,
-2]]],[[[1,1,2,-2,1,-2,2,-2]]],[[[2,1,1,1,2,1,1,1]],[[1,-3]]],[[[2,1,1,-3,2,
2]],[[2,1,1,1,2,-2,1,-2]]],[[[1,2,2,2]]],[[[2,1,1,2,2,2,1,-2]],[[1,2],[3,-1,2,
1]]],[[[1,1]]],[[[2,2,1,2,2,2,1,-2]],[[1,1,2,1],[2,1,3,2]]],[[[1,1,2,-3,1,
2]],[[2,1,1,1,2,1,1,1]]],[[[2,1]]],[[[1,1,2,1]]],[[[1,1,2,1],[1,2,3,-1,2,-1,3,
1,2,1]],[[1,1,2,-3,1,2]]],[[[2,1,1,1,2,-1,1,1,2,-1]],[[1,2],[3,-1,2,1]]],[[[1,
2,2,-1,1,-1,2,-1]],[[1,1,2,1,1,1,2,-1]]],[[[1,1,2,-1,1,2,2,2,1,1]],[[1,2],[3,
-1,2,1]],[[1,1,2,-3,1,1,2,-1]]],[[[1,2],[3,1,1,1,2,1,1,-1,2,-1,3,1]],[[1,2,2,
-1,1,-1,2,-1]],[[1,1,2,-3,1,-1]]],[[[1,1,2,-1],[3,1,2,-1,3,1]],[[1,-3]]],[[[2,
1,1,-1,2,-1,1,2]],[[1,1,2,-1],[3,1,2,-1,3,1]]],[[[2,2,1,-3]],[[1,1,2,-3,1,
-1]]],[[[1,1,2,1,1,2,2,-2]],[[2,1,1,-1,2,1,1,-1]]],[[[1,1,2,-1,1,2,2,1,1,
1]],[[1,1,2,1],[3,1,1,-2,3,-1]]],[[[2,1,1,-1,2,2,1,1,2,1]],[[1,1,2,-1,1,1,2,
1]]],[[[2,1,1,-1,2,2,1,1,2,1]],[[1,1,2,1,1,-3]]],[[[2,1,1,-1,2,-1,1,1,2,
1]]],[[[1,2],[3,1,2,1,1,-1,2,-1,3,1,1,1]],[[1,1,2,1],[3,1,2,1,3,1,2,1]],[[2,1,
1,-1,2,1,1,-1]]],[[[2,1,1,-1,2,1,1,-1]],[[2,1,1,1,2,1,1,1]]],[[[2,2],[3,-1,1,
2]],[[2,1,1,-1,2,1,1,-1]]],[[[1,2,2,-1,1,-1,2,-1]],[[1,1,2,-1,1,1,2,1]]],[[[1,
2],[3,1,2,1,1,1,2,1,3,1]],[[2,-3]],[[1,1,2,-3,1,-1]]],[[[1,2],[3,-1,2,1]],[[2,
1,1,-2]]],[[[1,2],[3,1,2,1,1,-1,2,-1,3,1,1,1]],[[1,1,2,2,1,2,2,2,1,1]],[[2,1,
1,1,2,-2,1,-2]]],[[[1,2],[3,-1,2,1]],[[2,-3]]],[[[1,1,2,2]]],[[[1,2],[3,1,1,1,
2,1,1,-1,2,-1,3,1]],[[1,1,2,2,1,2,2,2,1,1]],[[1,2,2,-1,1,-1,2,-1]]],[[[1,1,2,
-1,1,-2,2,2]],[[1,2,2,1,1,1]]],[[[1,-3,2,1,1,1]],[[2,1,1,1,2,2]]],[[[1,2],[3,
1,2,1,1,-1,2,-1,3,1,1,1]],[[2,1,1,1,2,2]]],[[[1,2,2,-2,1,1,2,2]],[[1,1,2,-3,1,
-1]]],[[[1,1,2,-1,1,2,2,1,1,-1,2,1]],[[2,1,1,-3,2,2]],[[2,1,1,1,2,-2,1,
-2]]],[[[2,1,1,1,2,-2,1,-2]],[[1,2],[3,-1,2,1]]],[[[2,1,1,1,2,1,1,1]],[[2,
-3]],[[1,-3]]],[[[1,-3,2,-3,1,1]],[[2,1,1,1,2,1,1,1,2,-2]]],[[[2,1,1,1,2,1,1,
2,2,-2]],[[1,2],[3,-1,2,1]]],[[[1,1,2,1,1,-1,2,-1]]],[[[1,1,2,-3,1,-1]],[[1,1,
2,1,1,1,2,-1]],[[1,2,2,-1,1,-1,2,-1]]],[[[1,1,2,-1,1,2,2,1,1,1]],[[2,1,1,-1,2,
-1,1,-2]]],[[[1,1,2,-1,1,2,2,1,1,1]],[[1,1,2,1],[3,1,1,-2,3,-1]],[[2,1,1,1,2,
-2,1,-2]]],[[[1,1,2,-1,1,2,2,1,1,1]],[[2,-3]],[[1,1,2,-3,1,-1]]],[[[2,1,1,1,2,
-1,1,1,2,-1]],[[1,2],[3,-1,2,1]],[[1,1,2,1],[3,1,2,1,3,1]]],[[[1,1,2,-1,1,1,2,
1]],[[2,2,1,2]]],[[[1,1,2,1],[3,1,1,-2,3,-1]],[[1,2,2,-1,1,-1,2,-1]]],[[[1,2,
2,1,1,1,2,2]],[[1,1,2,1],[3,1,1,-2,3,-1]]],[[[1,1,2,-1,1,-2,2,-1]],[[1,1,2,-1,
1,1,2,1]]],[[[1,1,2,-1,1,1,2,1]],[[1,2,2,1,1,1]]],[[[1,1,2,-1,1,1,2,1]],[[2,1,
1,-2]]],[[[2,1,1,1,2,1,1,1]],[[2,1,1,-1,2,1,1,-1]],[[1,-3]]],[[[2,1,1,2,2,
1]],[[2,-3]],[[2,1,1,-2]]],[[[1,1,2,1,1,2,2,-2]],[[2,1,1,1,2,1,1,1]],[[2,1,1,
-1,2,1,1,-1]]],[[[1,1,2,-2,1,1,2,2]],[[1,2,2,-1,1,-1,2,-1]]],[[[2,1,1,2]],[[2,
-2]]],[[[1,1,2,-1],[3,1,2,-1,3,1]],[[1,-3,2,1]]],[[[2,1,1,-1,2,-1,1,2]],[[1,1,
2,-1],[3,1,2,-1,3,1]],[[1,1,2,1],[3,2,2,1]]],[[[1,1,2,-1,1,2,2,1,1,-1,2,1]],[[
2,-3]],[[2,1,1,-3,2,2]]],[[[1,1,2,-3,1,-1]],[[1,-3,2,1]],[[2,-3]]],[[[2,1,1,
-3,2,2]],[[1,2,2,1,1,1]]],[[[1,2,2,-2,1,-1,2,-1]],[[2,2],[3,-1,1,2]],[[2,1,1,
-1,2,1,1,-1]]],[[[1,1,2,1],[3,1,2,1,3,1]],[[1,2,2,-1,1,-1,2,-1]],[[1,1,2,-1,1,
1,2,1]]],[[[1,1,2,1,1,-1,2,-1]],[[2,1,1,-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,-3]]],[[[2,2],[3,-1,1,2]],[[2,1,1,1,2,
1,1,1]]],[[[1,2,2,1,1,1,2,-1]],[[1,2],[3,-1,2,1]],[[2,1,1,1,2,-1,1,1,2,
-1]]],[[[2,1,1,-1,2,-1,1,-2]],[[2,-3]]],[[[2,1,1,1,2,-2,1,-2]],[[2,2,1,2]],[[
1,1,2,-1,1,1,2,1]]],[[[2,1,1,-1,2,-1,1,-2]],[[1,1,2,-1,1,1,2,1]]],[[[1,1,2,-1,
1,1,2,1]],[[2,2,1,2]],[[2,-3]]],[[[1,2,2,-1,1,-1,2,-1]],[[1,2],[3,-1,2,1]],[[
1,1,2,1],[3,1,2,1,3,1]]],[[[1,1,2,-1,1,2,2,1,1,1]],[[2,-3]],[[1,1,2,-3,1,
-1]],[[1,2,2,-1,1,-1,2,-1]]],[[[1,1,2,-1,1,2]],[[2,1,1,-2]]],[[[1,1,2,-3,1,
-1]],[[2,-2]],[[1,-3]],[[2,1,1,1,2,1,1,1]]],[[[1,1,2,-3,1,-1]],[[1,-3,2,1]],[[
1,1,2,1,1,1,2,-1]]],[[[1,1,2,2,1,-1]],[[2,-2]]],[[[1,2,2,2]],[[1,1,2,-1,1,
2]]],[[[1,1,2,-1,1,1,2,1]],[[1,2,2,2]],[[2,-3]]],[[[2,1,1,1,2,-1,1,-1]],[[1,
-1,2,-2]]],[[[1,2],[3,-1,2,2]],[[2,1,1,1,2,1,1,1]],[[2,1,1,-1]]],[[[1,-2]],[[
2,1]]],[[[1,1,2,2]],[[1,-3]]],[[[1,2,2,-1,1,-1,2,-1]],[[2,2,1,2]],[[2,
-3]]],[[[2,1,1,-1,2,1,1,-1]],[[2,1,1,1,2,1,1,1]],[[2,-2]],[[1,-3]]],[[[2,1,1,
1,2,1,1,1]],[[2,1,1,2]],[[2,2]]],[[[2,1,1,1]],[[2,-2]]],[[[2,1,1,-2]],[[2,2,1,
1]],[[2,-3]]],[[[1,1,2,-2,1,-2]],[[2,1]]],[[[2,1,1,-1,2,1,1,-1]],[[1,2]]],[[[
1,-3]],[[1,1,2,-1]],[[2,-2]]],[[[2,-2]],[[1,-1]]],[[[1,1,2,-1,1,-1]],[[2,
-1]]],[[[2,1,1,-1]],[[1,2]]],[[[1,1]],[[2,1]]]]);




LIBTOM( "7:6xS3",
[[1],[1,2],[1,3],[1,4],[1,5],[1,6],[1,7],[1,2,3,4,8],[1,3,6,9],[1,2,5,10],[1,
3,7,11],[1,4,7,12],[1,2,7,13],[1,3,5,14],[1,4,5,15],[1,16],[1,5,6,7,17],[1,2,
3,4,7,8,11,12,13,18],[1,2,3,4,5,8,10,14,15,19],[1,2,16,20],[1,3,16,21],[1,4,
16,22],[1,2,5,6,7,10,13,17,23],[1,4,5,6,7,12,15,17,24],[1,3,5,6,7,9,11,14,17,
25],[1,6,16,26],[1,7,16,27],[1,5,16,28],[1,2,3,4,8,16,20,21,22,29],[1,2,3,4,5,
6,7,8,9,10,11,12,13,14,15,17,18,19,23,24,25,30],[1,3,7,11,16,21,27,31],[1,3,5,
14,16,21,28,32],[1,2,7,13,16,20,27,33],[1,2,5,10,16,20,28,34],[1,4,7,12,16,22,
27,35],[1,3,6,9,16,21,26,36],[1,4,5,15,16,22,28,37],[1,5,6,7,16,17,26,27,28,
38],[1,2,3,4,5,8,10,14,15,16,19,20,21,22,28,29,32,34,37,39],[1,2,3,4,7,8,11,
12,13,16,18,20,21,22,27,29,31,33,35,40],[1,2,5,6,7,10,13,16,17,20,23,26,27,28,
33,34,38,41],[1,3,5,6,7,9,11,14,16,17,21,25,26,27,28,31,32,36,38,42],[1,4,5,6,
7,12,15,16,17,22,24,26,27,28,35,37,38,43],[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,38,39,40,
41,42,43,44]],
0,[[1],[1,1],[1,1],[1,1],[1,1],[1,1],[1,1],[1,1,1,1,1],[1,1,1,1],[1,3,1,1],[1,
1,1,1],[1,1,1,1],[1,1,1,1],[1,1,1,1],[1,3,1,1],[1,1],[1,1,2,1,1],[1,1,1,1,1,1,
1,1,1,1],[1,3,1,3,1,3,1,1,1,1],[1,7,1,1],[1,7,1,1],[1,1,1,1],[1,3,1,2,1,1,3,1,
1],[1,3,1,2,1,3,1,1,1],[1,1,1,2,1,2,1,1,1,1],[1,7,1,1],[1,7,1,1],[1,1,1,1],[1,
7,7,1,7,1,1,1,1,1],[1,3,1,3,1,2,1,3,2,1,1,3,3,1,1,1,3,1,1,1,1,1],[1,7,7,7,1,1,
1,1],[1,7,1,7,1,1,1,1],[1,7,7,7,1,1,1,1],[1,21,1,7,1,3,1,1],[1,1,7,7,1,1,1,
1],[1,7,7,7,1,1,1,1],[1,3,1,1,1,3,1,1],[1,1,14,7,1,7,2,1,1,1],[1,21,7,3,1,21,
7,7,1,1,7,3,1,3,1,3,1,1,1,1],[1,7,7,1,7,7,7,7,7,1,7,1,1,1,1,1,1,1,1,1],[1,21,
1,14,7,7,21,1,7,3,7,2,1,1,3,1,1,1],[1,7,1,14,7,14,7,7,1,7,1,7,2,1,1,1,1,2,1,
1],[1,3,1,14,7,21,1,1,7,3,7,2,1,1,3,1,1,1],[1,21,7,3,1,14,7,21,14,7,7,21,21,7,
1,1,7,21,7,3,1,3,7,7,7,2,1,1,3,7,1,1,3,1,3,2,1,1,1,3,1,1,1,1]],
[1,2,2,2,3,3,3,4,6,6,6,6,6,6,6,7,9,12,12,14,14,14,18,18,18,21,21,21,28,36,42,
42,42,42,42,42,42,63,84,84,126,126,126,252],
[44,18,30,40,44,25,30,18,25,30,30,18,18,30,44,44,30,18,30,40,44,40,30,30,30,
42,44,44,40,30,44,44,40,44,40,42,44,44,44,40,44,44,44,44],
[1,1,1,1,1,1,1,1,1,5,1,1,1,1,5,1,1,1,5,16,16,1,5,5,1,16,16,1,16,5,16,16,16,28,
16,16,5,16,28,16,28,16,28,28],
[(  1,  4, 45, 40, 24, 92)(  2, 30, 85, 78, 57,  6)(  3, 68, 17, 37, 49, 56)
(  5, 38, 53, 89, 29, 18)(  7, 27, 43, 13, 72, 69)(  8, 67, 82, 52, 20,101)
(  9, 10, 34, 48, 99, 14)( 11, 93, 42, 41, 88, 71)( 12, 47, 66, 26, 28, 77)
( 15, 75,102, 44,105,100)( 16, 87, 79, 58, 22, 31)( 19, 84, 98)
( 21, 51, 61, 59, 81, 55)( 23, 46, 60)( 25, 70, 96)( 32, 86, 80, 90, 76, 33)
( 35, 95, 91, 74, 62, 63)( 36, 97, 94,103, 64, 50)( 39, 65,104, 83, 54, 73),
(  1, 70, 40,  5, 20, 34,104, 15, 46, 44, 73, 14, 67, 89)(  2, 91, 27, 98, 72,
 63, 78)(  3, 50, 77, 21, 87, 42, 80, 33, 71, 22, 59, 66, 94, 37)
(  4, 82, 39, 60, 83,101, 24)(  6, 23, 85, 92, 62, 65, 13,  8, 84, 52,  7, 54,
 95, 45)(  9, 69, 75, 30, 38, 19, 29, 57,105, 43, 48, 35, 96, 74)
( 10, 25, 99,100, 18, 53,102)( 11, 58, 79, 64, 68, 76, 81, 17, 90, 93, 12, 47,
 103, 55)( 16, 41, 61, 36, 28, 26, 88, 32, 56, 51, 86, 49, 97, 31)],
[[[[]]],[[[1,-3,2,1]]],[[[1,-3]]],[[[1,1,2,-1,1,-1,2,-2]]],[[[1,1,2,1],[2,1,3,
2,2,1,1,-2]]],[[[1,2]]],[[[1,1,2,-1,1,1,2,1]]],[[[1,2,2,2,1,1]],[[1,1,2,-1,1,
-1,2,-2]]],[[[1,1]]],[[[1,1,2,3,1,2]],[[2,1,1,-3]]],[[[1,2,2,-1,1,-1,2,
-1]]],[[[2,1,1,2]]],[[[2,1,1,-1]]],[[[1,2,2,1,1,1,2,1]]],[[[2,1,1,-1,2,2,1,
1]],[[1,1,2,-1,1,-1,2,-2]]],[[[2,2]]],[[[1,2,2,2]],[[2,1,1,-1,2,-1,1,-1]]],[[[
1,1,2,-1,1,-1,2,-2]],[[2,1,1,1,2,-2]],[[1,1,2,1,1,1,2,1]]],[[[1,1,2,-1,1,-1,2,
-2]],[[2,1,1,-3]]],[[[1,1,2,-1,1,2]],[[2,2]]],[[[1,-3]],[[2,2]]],[[[2,1]]],[[[
1,2,2,2]],[[1,2,2,1,1,1]]],[[[1,2,2,2]],[[2,1,1,2]]],[[[2,2,1,1,2,2]],[[1,1,2,
1,1,1,2,1]]],[[[2,1,1,2,2,1]],[[2,2]]],[[[1,1,2,1,1,1,2,1]],[[2,2]]],[[[1,1,2,
1,1,-1,2,-1]]],[[[1,-3]],[[1,1,2,-1,1,-1]],[[2,2]]],[[[1,1,2,-1,1,-1,2,-2]],[[
1,1,2,1]]],[[[1,1,2,1,1,1,2,1]],[[1,-3]],[[2,2]]],[[[1,1,2,-1,1,-1,2,-1]],[[1,
-3]]],[[[2,2]],[[2,1,1,1]]],[[[1,2,2,1,1,1]],[[1,1,2,-1,1,2]],[[2,2]]],[[[1,2,
2,1]],[[2,2]]],[[[2,1,1,-1,2,-1]],[[2,2]]],[[[1,1,2,-1,1,-1]],[[2,-1]]],[[[1,
1,2,1,1,1,2,1]],[[1,2]]],[[[1,-3]],[[2,-1]],[[1,1,2,-1,1,-1]]],[[[1,2,2,1]],[[
2,1,1,1]]],[[[1,-2]],[[1,1,2,1]]],[[[2,1,1,-1,2,-1]],[[1,-1]]],[[[1,2]],[[2,
1]]],[[[1,1]],[[2,1]]]]);


AFLT( "3^2:2S4x2","L3(4).D12",[1,5,2,2,3,4,7,8,6,12,14,13,14,15,10,16,29,31,
30,24,26,28,27,33,25,23,20,23,21,29,19,22,32,41,56,60,58,38,45,50,44,52,62,61,
63,71,80,83,74,72,82,81,74,75,73,84,77,79,76,81,124,99,127,126,94,125,111,138,
133,142,140,139,134,135,136,143,147,137,145,146,144,141,162,161,154,171,204,
209,216,223,219,210,218,224,213,214,211,222,221,212,215,217,237,241,240,250,
253,255,251,249,252,254,279,278,287,280,282,284,277,281,286,283,305,313,314,
315,311,310,309,312,337,333,338,331,334,336,335,351,352,360,377,376,378,
389] );

AFLT( "S3xS5","S4(5)",[1,2,2,3,3,3,5,5,4,7,6,11,6,11,8,7,9,9,13,16,21,17,21,
16,17,22,18,20,18,17,21,22,19,19,29,25,26,29,30,28,30,32,37,34,42,49,46,48,51,
51,52,53,54,58,50,45,54,53,50,55,55,51,55,56,61,67,68,70,72,69,71,72,71,81,82,
79,89,93,91,104,96,101,102,94,99,100,92,94,111,114,115,120,119,125,121,125,
123,123,122,131,138,140,154,162,159,158,166,168,171,165,194,198,196,202,208,
213,224,239,237,238,260] );

AFLT( "S3xS5","L3(4).D12",[1,4,2,3,5,4,6,8,6,9,10,15,14,17,12,13,13,14,18,19,
28,24,29,21,23,30,26,29,22,25,33,32,23,26,47,37,38,54,56,43,53,62,64,65,66,70,
68,67,75,74,78,76,77,86,71,85,82,83,72,81,73,84,80,81,90,101,138,136,144,135,
143,142,145,148,149,150,155,160,159,169,165,167,168,161,170,166,158,162,175,
173,174,220,210,221,218,222,217,219,215,225,245,248,256,258,259,260,289,288,
285,287,316,319,317,320,339,342,354,367,368,366,386] );

AFLT( "S3xS5","s8",[1,2,2,4,4,5,6,6,7,8,10,11,10,20,14,22,21,21,23,24,29,28,
29,24,28,30,31,26,31,28,29,30,33,34,41,44,45,57,69,62,65,70,71,72,73,75,74,78,
79,79,85,84,83,81,80,82,83,84,80,89,89,79,89,87,95,123,127,128,133,129,132,
133,132,134,136,135,138,141,142,156,147,152,153,159,160,151,161,159,163,165,
164,184,187,194,189,194,193,193,185,195,210,215,218,220,222,221,230,239,238,
231,252,256,253,258,262,266,273,280,281,279,289] );

AFLT( "7:6xS3","L3(4).D12",[1,4,2,5,7,7,8,14,31,27,28,32,33,31,20,34,63,72,79,
88,87,89,147,146,139,153,152,151,172,224,229,228,231,226,232,230,227,261,291,
292,322,323,321,355] );

#############################################################################

#############################################################################
##
#E