tmunitam.tom

GAP源码

 123,113,124,114, 95, 69, 79, 49, 29, 15,  9, 12, 44, 21)(  2, 38, 81, 97, 73,
 104,106,110,100, 85, 55,112,109, 91, 68, 43,125,116, 99, 93, 65, 40, 45, 22)
(  3,102, 96, 71, 56,101, 80, 51, 31, 17, 72, 77, 47, 24,  5, 84, 53, 50, 30,
  16, 66, 41, 28, 14)(  4,111,103,108, 89, 61, 34, 82,122,107, 88, 83, 54,115,
 98, 75, 63, 36, 70, 90, 62, 35, 46, 23)(  8, 27, 10, 18, 20, 11,120,119,118,
 105, 87, 58, 59, 86, 57, 92, 60, 33, 76, 64, 39, 78, 48, 26)( 42, 74, 94, 67
 )],
[[[[]]],[[[1,-2]]],[[[1,1,2,-2,1,1,2,-2]]],[[[1,1]]],[[[1,1,2,1],[2,1,1,-1,3,
-1,2,1,1,-1,3,-1]]],[[[2,1,1,-1,2,-1,1,1]]],[[[2,2,1,-1]]],[[[2,2,1,-1,2,
1]]],[[[1,-1,2,-1,1,-1,2,1]]],[[[2,1,1,1,2,1],[3,1,1,-2,3,-1]],[[1,-2],[2,-1,
3,1,2,1]]],[[[1,-2,2,-2]]],[[[1,-1,2,-2]]],[[[2,1,1,1,2,1],[3,1,1,-2,3,-1]],[[
1,-2],[2,-1,1,1,2,1]],[[1,-2],[2,-1,3,1,2,1]]],[[[2,1,1,1,2,1,1,1,2,-2]],[[1,
1,2,-1,1,-2,2,1]]],[[[1,1,2,-1]]],[[[1,1,2,2,1,-1,2,-2]],[[1,-1,2,2,1,1,2,
-2]]],[[[1,-2,2,-1,1,-1,2,-1]]],[[[2,1,1,1,2,2,1,-2]],[[1,1,2,-1],[3,2,2,
-1]]],[[[1,-2],[2,-1,3,1,2,1]],[[2,1,1,-1,2,-1,1,-1]]],[[[1,-2,2,1,1,1,2,1,1,
-1]],[[1,-1,2,-2]]],[[[1,-2],[2,-1,1,1,2,1]],[[2,1,1,-1,2,-1,1,-1]]],[[[1,-2,
2,1,1,-1]],[[1,-1,2,-2]]],[[[1,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,-1,1,-1,2,1]],[[1,-2]]],[[[1,-1,2,-2]],[[2,1,1,1,2,
1]]],[[[1,1,2,-1,1,-1,2,1]],[[1,1,2,1,1,-1,2,-1]],[[1,-1]]],[[[1,1,2,-2]],[[1,
-2]]],[[[2,3]],[[1,-1]]],[[[2,2]],[[1,-1]]],[[[1,1]],[[2,1]]]]);


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


LIBTOM( "6^2:S3",
[[1],[1,2],[1,3],[1,4],[1,5],[1,6],[1,7],[1,2,8],[1,2,9],[1,2,3,10],[1,3,5,
11],[1,2,4,12],[1,3,6,13],[1,2,5,14],[1,3,4,15],[1,2,5,16],[1,2,3,8,9,10,17],[
1,4,7,18],[1,4,6,19],[1,4,5,20],[1,2,4,9,12,21],[1,2,6,8,22],[1,2,3,4,10,12,
15,23],[1,2,4,8,12,24],[1,2,5,9,14,25],[1,2,7,8,26],[1,2,3,5,10,11,14,27],[1,
2,5,8,14,16,28],[1,3,4,5,11,15,20,29],[1,3,4,6,13,15,19,30],[1,2,4,5,12,14,16,
20,31],[1,2,3,6,8,9,10,13,17,22,32],[1,2,3,4,8,9,10,12,15,17,21,23,24,33],[1,
2,3,5,8,9,10,11,14,16,17,25,27,28,34],[1,4,5,6,7,18,19,20,35],[1,2,4,7,8,12,
18,24,26,36],[1,2,3,4,5,10,11,12,14,15,16,20,23,27,29,31,37],[1,2,4,5,9,12,14,
16,20,21,25,31,38],[1,2,4,6,8,12,19,22,24,39],[1,2,4,5,8,12,14,16,20,24,28,31,
40],[1,3,4,5,6,7,11,13,15,18,19,20,29,30,35,41],[1,2,3,4,6,8,9,10,12,13,15,17,
19,21,22,23,24,30,32,33,39,42],[1,2,3,4,5,8,9,10,11,12,14,15,16,17,20,21,23,
24,25,27,28,29,31,33,34,37,38,40,43],[1,2,4,5,6,7,8,12,14,16,18,19,20,22,24,
26,28,31,35,36,39,40,44],[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,45]],
0,[[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,3,1,1],[1,1,1,1],[1,3,1,1],[1,1,1,1],[1,3,2,1,1,1,1],[1,1,3,
1],[1,1,3,1],[1,1,3,1],[1,1,1,3,1,1],[1,3,4,1,1],[1,1,6,1,3,1,2,1],[1,3,1,1,3,
1],[1,1,1,1,1,1],[1,3,4,1,1],[1,1,2,1,1,2,1,1],[1,3,1,1,1,2,1],[1,3,1,3,3,1,1,
1],[1,9,1,3,9,3,1,1],[1,1,1,3,1,1,2,1,1],[1,3,6,4,1,3,3,4,3,1,1],[1,3,6,1,1,3,
3,3,2,3,1,1,1,1],[1,3,2,1,1,1,1,2,1,2,1,1,1,1,1],[1,1,3,3,6,2,1,1,1],[1,3,1,
12,1,3,4,1,3,1],[1,1,6,1,3,3,6,1,1,2,2,1,1,3,2,1,1],[1,1,1,3,3,1,1,2,1,1,3,1,
1],[1,3,1,12,1,3,4,3,1,1],[1,3,1,3,1,3,3,6,1,1,3,3,1],[1,9,1,3,3,6,9,9,3,2,1,
1,3,1,1,1],[1,3,18,1,12,1,9,9,3,36,6,9,4,3,3,3,1,4,9,3,1,1],[1,3,6,1,3,1,3,3,
6,3,3,2,6,3,1,1,1,1,3,3,3,2,3,1,3,1,1,1,1],[1,3,1,3,12,24,1,3,3,6,8,4,1,3,1,6,
3,3,4,2,1,1,1],[1,3,18,1,3,12,24,1,9,9,18,3,36,3,6,6,9,8,4,1,3,3,3,1,9,6,9,3,
6,4,3,9,3,9,4,2,3,3,1,1,4,1,3,1,1]],
[1,2,2,3,3,3,3,4,4,4,6,6,6,6,6,6,8,9,9,9,12,12,12,12,12,12,12,12,18,18,18,24,
24,24,27,36,36,36,36,36,54,72,72,108,216],
[45,43,27,45,43,30,18,45,34,34,27,43,13,43,37,40,34,35,41,45,43,42,43,45,34,
36,34,43,37,41,43,32,43,34,41,44,43,43,45,45,41,45,43,45,45],
[1,1,1,1,1,1,1,1,1,1,1,1,6,1,4,1,2,1,1,1,4,8,4,1,1,8,1,1,4,19,1,22,12,2,4,8,4,
4,8,1,19,39,12,24,39],
[( 1, 9, 4)( 2,10, 5)( 3,11, 6)( 7,14,13)( 8,16,12)(15,18,17),( 1, 2,16,15,11,
 7)( 3, 8)( 5, 9,13, 6,17,12)(10,14)],
[[[[]]],[[[1,1,2,1],[2,1,3,1,1,-1,2,-1,3,-1]]],[[[2,-3]]],[[[2,2,1,1,2,-2,1,
-1]]],[[[2,2]]],[[[1,1]]],[[[1,1,2,2]]],[[[1,1,2,1],[2,1,3,1,1,-1,2,-1,3,
-1]],[[2,2,1,1,2,-1,1,-1,2,-1,1,1]]],[[[1,1,2,-3]]],[[[1,1,2,1],[2,1,3,1,1,1,
3,1]],[[1,-1,2,-3,1,1]]],[[[2,-1]]],[[[1,-1,2,1,1,-1,2,-1]]],[[[1,-1,2,-3,1,
1]],[[2,-1,1,1,2,1]]],[[[2,1,1,1,2,1,1,1]]],[[[2,2,1,-1,2,1,1,1]],[[1,-1,2,-3,
1,1]]],[[[1,-1,2,-1,1,-1,2,-3]]],[[[1,-1,2,-3,1,1]],[[2,-3,1,-1]]],[[[2,2,1,
-1,2,1,1,1,2,-1]],[[1,-1,2,1,1,1,2,1]]],[[[2,2,1,1,2,-2]],[[1,1]]],[[[1,-1,2,
2,1,1]],[[2,2]]],[[[1,1,2,1,1,1,2,-1]],[[2,-3,1,-1]]],[[[2,1,1,-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]]],[[[2,1,1,1,2,
-1,1,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]]],[[[2,1,1,-1,2,1,1,-1]],[[1,-1,2,1,1,1]]],[[[1,-1,2,-3,1,-1,2,-1]],[[1,1,
2,1,1,-1,2,1,1,1]]],[[[1,-1,2,1,1,1]],[[2,2]]],[[[2,1,1,-1,2,1,1,1,2,1]],[[1,
1]],[[2,2,1,-1,2,-2]]],[[[1,1,2,-1,1,1,2,-1]],[[2,-2]]],[[[1,1,2,-3]],[[2,-1,
1,1,2,1]]],[[[1,-1,2,1,1,-1,2,-1]],[[1,1,2,-3]]],[[[2,-3,1,-1]],[[1,-1,2,1,1,
1]]],[[[2,2]],[[1,1]]],[[[2,1,1,-1,2,1]],[[1,1,2,2]]],[[[1,1,2,-1,1,1,2,
-1]],[[2,2]],[[1,-1,2,1,1,1]]],[[[1,1,2,1]],[[2,1,1,-1]]],[[[2,-1,1,1,2,1]],[[
1,1]]],[[[1,-1,2,-1,1,-1,2,-1]],[[2,1,1,-1,2,1,1,-1]],[[2,2]]],[[[2,1,1,-1,2,
-1,1,1,2,1]],[[1,1]]],[[[2,1,1,-1,2,-1]],[[1,-1]],[[2,-3]]],[[[1,-1,2,1,1,
1]],[[2,1,1,-1]],[[2,2]]],[[[2,1,1,1,2,1]],[[1,-1]]],[[[1,1]],[[2,1]]]]);


LIBTOM( "7:3x3",
[[1],[1,2],[1,3],[1,4],[1,5],[1,6],[1,2,3,4,5,7],[1,2,6,8],[1,3,6,9],[1,4,6,
10],[1,5,6,11],[1,2,3,4,5,6,7,8,9,10,11,12]],
0,[[1],[1,1],[1,1],[1,1],[1,1],[1,1],[1,1,1,1,1,1],[1,7,1,1],[1,7,1,1],[1,7,1,
1],[1,1,1,1],[1,7,7,7,1,1,7,1,1,1,1,1]],
[1,3,3,3,3,7,9,21,21,21,21,63],
[12,7,7,7,12,12,7,12,12,12,12,12],
[1,1,1,1,1,1,1,6,6,6,1,6],
[( 1, 9, 4)( 2,10, 5)( 3,11, 6)( 7,12,13)( 8,17,14)(15,19,18)(16,21,20),
( 1, 4, 7)( 2,13, 8)( 3, 9, 5)( 6,16,12)(10,19,15)(11,18,14)(17,20,21)],
[[[[]]],[[[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,-1,1,1]]],[[[2,1,1,1,2,-1,1,1,2,-1]],[[1,1]]],[[[1,1,2,1,
1,-1]],[[2,-1]]],[[[2,1,1,1,2,-1]],[[1,-1]]],[[[1,-1,2,-1]],[[1,1,2,1]]],[[[2,
1,1,-1]]],[[[1,1]],[[2,1]]]]);


LIBTOM( "5^(1+2)+:8:2",
[[1],[1,2],[1,3],[1,2,4],[1,2,5],[1,2,3,6],[1,7],[1,8],[1,9],[1,2,5,10],[1,2,
3,4,5,6,11],[1,2,5,12],[1,2,8,13],[1,3,7,14],[1,2,9,15],[1,2,7,16],[1,3,8,
17],[1,3,8,18],[1,2,3,4,5,6,10,11,12,19],[1,2,4,8,13,20],[1,2,3,6,7,14,16,
21],[1,2,5,7,16,22],[1,2,4,7,16,23],[1,2,5,8,13,24],[1,2,3,6,8,13,17,18,25],[
1,2,5,9,15,26],[1,7,8,27],[1,7,9,28],[1,2,3,4,5,6,7,11,14,16,21,22,23,29],[1,