tmunitam.tom

GAP源码

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


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