Quelle  ctbs17.tbl   Sprache: unbekannt

MBT("Sym(17)",2,
"(no info text)",
[1,2,1,2,1,1,1,2,1,2,1,1,1,2,2,1,2,1,2,1,1,1,1,2,1,2,1,2,2,2,1,1,1,2,1,3,2,1],
[15,11,1],
[[1,3,5,7,9,11,12,13,14,15,16,20,22,25,26,27,31,48,50,61,62,99],[2,4,6,8,19,21
,23,30,42,43,44,45,49,52,65]],
[,,[[1,2]]],
[[[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,1,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0],[0,-1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,-1,1,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,1,-1,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0],[0,-1,0,0,0,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,-1,1,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0],[0,0,1,-1,0,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,-2,1,0
,0,1,-1,0,-1,0,0,1,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,-1,1,-1,1,0,0,0,0,0,0,0,0
,0,0,0,0],[-2,2,-1,0,0,-2,1,0,1,-1,0,-1,0,1,0,0,0,0,0,0,0,0],[1,-1,1,-1,1,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,1,-1,1,-1,-1,1,0,0,-1,1,0,0,0,0,0,0,0,0,0,0
,0],[0,-1,0,1,1,1,-1,1,-1,0,-1,0,1,0,0,0,0,0,0,0,0,0],[2,-2,2,0,0,2,-2,0,-1,1,
0,1,-1,-1,1,0,0,0,0,0,0,0],[-4,1,-3,-1,-2,-1,1,0,1,0,0,-1,0,0,-1,0,0,1,0,0,0,0
],[2,-1,0,-1,1,1,0,0,0,1,-1,0,0,0,-1,1,0,0,0,0,0,0],[-1,2,-1,0,-1,-1,1,-1,0,0,
0,0,0,1,0,0,0,-1,0,1,0,0],[-3,2,-1,1,-1,-1,1,0,1,-1,0,-1,1,0,0,-1,1,0,0,0,0,0]
,[2,1,1,0,0,1,-1,0,-1,1,0,1,-1,0,1,0,-1,-1,1,0,0,0],[-2,-1,-3,-2,1,-1,1,0,2,0,
-1,-2,1,1,-2,1,0,1,-1,-1,1,0],[-4,4,2,1,1,-4,0,-2,-1,0,-1,1,1,0,1,-2,-1,-1,1,1
,-2,1]],[[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,1,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,
1,0,0,0,0,0,0,0,0,0,0,0,0],[-1,0,-1,0,1,0,0,0,0,0,0,0,0,0,0],[0,0,-1,0,-1,0,0,
0,1,0,0,0,0,0,0],[0,-1,0,1,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,-1,1,0,0,0,0,0,0,0,
0,0],[-2,-1,0,-1,1,-1,0,0,-1,1,0,0,0,0,0],[0,0,0,-1,-1,0,0,0,1,-1,1,0,0,0,0],[
-1,0,0,0,1,-1,1,0,0,0,0,0,0,0,0],[2,1,0,0,0,1,-1,0,0,0,-1,1,0,0,0],[1,0,1,0,-1
,0,-1,1,0,0,0,0,0,0,0],[0,0,-2,1,-1,1,1,-1,1,-1,0,-1,1,0,0],[-2,0,1,-1,1,-1,0,
0,-1,0,1,0,-1,1,0],[-2,-2,-1,0,-1,1,0,0,0,0,0,0,0,-1,1]]],
0,
0,
0,
rec(CharacterParameters:=[[1,[17]],[1,[16,1]],[1,[15,2]],[1,[14,3]],[1,[14,2,1
]],[1,[13,4]],[1,[13,3,1]],[1,[12,5]],[1,[12,4,1]],[1,[12,3,2]],[1,[11,6]],[1,
[11,5,1]],[1,[11,4,2]],[1,[11,3,2,1]],[1,[10,7]],[1,[10,6,1]],[1,[10,5,2]],[1,
[10,4,3]],[1,[10,4,2,1]],[1,[9,8]],[1,[9,7,1]],[1,[9,6,2]],[1,[9,5,3]],[1,[9,5
,2,1]],[1,[9,4,3,1]],[1,[8,7,2]],[1,[8,6,3]],[1,[8,6,2,1]],[1,[8,5,4]],[1,[8,5
,3,1]],[1,[8,4,3,2]],[1,[7,6,4]],[1,[7,6,3,1]],[1,[7,5,4,1]],[1,[7,5,3,2]],[1,
[7,4,3,2,1]],[1,[6,5,4,2]],[1,[6,5,3,2,1]]]));

MBT("Sym(17)",3,
"(no info text)",
[2,1,1,3,2,2,1,2,1,4,1,3,3,2,1,2,2,3,2,2,2,1,1,2,1,4,1,1,4,2,1,1,3,3,2,1,1,3,1
,3,7,2,1,3,2,3,2,2,2,2,4,2,1,2,2,1,3,2,5,1,1,2,4,2,1,1,4,4,8,1,2,1,1,1,3,4,2,3
,2,2,1,3,1,2,1,1,1,3,3,3,7,1,3,2,2,2,1,4,2,3,2,5,1,3,2,6,1,4],
[6,6,5,4,1,0,1,0],
[[1,4,7,11,12,14,15,17,24,27,30,31,36,37,39,40,42,45,51,53,56,58,59,60,61,63,
64,65,71,97,101,114,140,142,151,152],[2,3,5,6,8,9,18,21,25,26,28,32,41,43,44,
46,48,54,68,69,80,81,83,84,85,86,88,89,90,95,98,99,104,112,116,155],[10,13,16,
19,20,22,23,29,33,57,70,93,94,96,100,105,138,139,141,145],[35,38,47,49,50,52,
62,111,113,191]],
[,,,,[[2,3],[1,2]],,5],
[[[-1,0,0,1,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
,[1,-1,0,0,1,-1,1,-1,0,0,0,0,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
],[-1,1,1,0,-1,1,-2,2,0,0,1,-1,1,0,1,-1,-1,0,0,0,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,
0,0],[1,1,0,-1,0,-1,1,-1,1,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0],[0,0,-2,0,0,1,1,-1,-1,0,-1,1,0,-1,-1,1,1,0,1,-1,-1,1,-1,1,-1,1,0,0,0,0,0,
0,0,0,0,0],[-1,-1,0,0,0,1,-1,1,-1,0,1,-1,0,-1,1,-1,1,0,-1,1,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0],[-1,3,2,0,-3,0,-2,2,2,0,0,0,3,0,2,-2,-2,0,0,0,2,-1,1,-2,1,-1,-1
,1,0,0,0,0,0,0,0,0],[0,0,1,-1,1,-1,0,0,0,0,1,-1,0,0,1,0,0,-1,0,1,0,0,1,0,0,0,0
,-1,1,0,0,0,0,0,0,0],[0,-1,1,1,0,0,-1,0,0,1,1,-2,0,0,0,0,0,0,0,0,0,0,0,-1,0,-1
,0,1,0,1,-1,0,-1,1,0,0],[-1,-1,-1,1,0,1,0,1,-1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0],[0,0,-1,1,0,0,0,0,0,0,-1,1,0,0,-1,0,0,1,0,-1,0,0,-1,0
,1,0,0,0,-1,-1,1,0,0,0,0,0],[2,-2,-1,-1,3,-1,2,-3,-1,1,-1,0,-2,0,-1,1,2,0,0,0,
-2,1,-1,1,-1,0,1,0,0,0,0,0,0,0,0,0],[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,0,1,-1,1,-1,0,-1,0,1,-1,0,-1,1,0,0,0,0,-1,0
,0,0,0,1,0,1,1,-1,0,-1,1,-1,1,-1,-1,1],[-1,0,1,0,-1,0,-1,2,1,-1,1,-1,1,0,1,-2,
-1,1,-1,1,1,-1,1,-1,1,-1,-1,1,0,0,-1,1,0,0,0,0],[1,1,2,0,0,-1,0,-1,1,1,-1,0,0,
1,0,1,-1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,2,0,0,-2,1,-1,2,1,-1,1,0,
2,-1,1,-2,-1,1,-1,0,1,-1,0,-1,1,0,0,0,0,0,0,0,0,0,0,0],[-1,1,2,0,-1,-1,-1,0,1,
0,1,-1,1,0,2,0,-1,-1,0,1,1,0,1,-2,0,-1,0,0,0,1,0,0,-1,0,1,0],[1,-2,-1,0,2,0,1,
0,-1,0,0,0,-2,0,-1,0,1,0,0,0,-1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0],[-1,-1,0,1,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,1,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,0,0,-1,1,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,1,1,-1,0,-1,0,0,1,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,1,-1,1,-2,1,0,2,0,-1,0
,1,1,0,0,-1,-1,1,0,0,1,-1,0,0,1,0,-1,0,0,-1,0,0,1,0,0,0],[-2,1,0,1,-2,1,-1,0,0
,0,0,0,1,0,0,0,-1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,-1,-1,0,0,1,0,0,
-1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,1,0,0,0,0,0,0],[2,-1,1,-1,2,-2,1,
-2,0,1,-1,0,-1,0,0,1,1,-1,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,1,0,0,-1,0
,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,-1,-2,0,0,1,
0,0,-1,0,0,0,0,-1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,-1,1,0,1,-1,
0,0,0,0,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,-1,1,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,1,-1,0,-1,1,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,1,-2,0,-1,1,0,1,0
,-1,0,0,1,-1,0,-1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,-1,1,-1,1,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,1,0,0,-1,1,-1,0,0
,0,0,0,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,1,0,-1,1,-1,0,-1,0
,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]],[[-1,1,-1,1,-1,1,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,-1,1,-1,1,1,0,-1
,1,-1,0,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,0,1,-1,1,-1,-1,0
,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,0,1,0,0,0,-1,0,
0,0,0,0,1,-1,1,-1,0,0,0,0,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0],[1,-1,-1,1,0,0,2,
0,-1,1,-1,0,-2,1,-1,1,0,0,0,0,2,-1,1,-1,1,-1,1,0,0,0,0,0,0,0,0,0],[0,0,1,-1,0,
0,-1,1,0,-1,0,1,1,-1,0,0,1,-1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,-2,2,
-1,1,2,-1,0,2,0,-2,-1,1,-1,1,-1,1,1,-1,1,-1,1,-1,1,0,0,1,-1,0,-1,1,0,0,0,0],[0
,0,3,-3,1,-1,-2,1,1,-2,1,1,2,-2,1,-1,1,-1,0,0,-2,2,-1,1,-2,1,-1,-1,1,0,0,0,0,0
,0,0],[-1,0,-1,0,-1,1,1,1,-1,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0],[1,-1,1,-1,2,-2,-1,-1,1,0,1,-1,1,0,1,-1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0],[0,-1,1,-1,1,-1,0,-1,0,0,-1,0,0,0,1,0,0,0,0,0,0,0,-1,0,0,0,1,0,0,1,
0,-1,1,0,0,0],[2,-1,-1,1,0,-1,2,-1,-1,1,0,-1,-2,2,-1,1,0,0,0,0,2,-2,1,-1,1,-1,
0,1,0,0,0,0,0,0,0,0],[1,-1,0,0,1,0,0,1,-1,0,1,1,0,0,-1,-1,1,0,-1,0,0,0,1,1,0,
-1,-1,-1,0,-1,1,1,-1,-1,1,0],[-1,1,1,-1,0,0,-2,0,1,-1,0,0,2,-1,1,0,0,0,0,0,-2,
1,-1,0,-1,1,0,0,0,0,0,0,0,0,0,0],[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0],[-1,0,-1,1,-1,0,1,0,-1,1,0,-1,-1,1,0,0,-1,0,1,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,-1,1],[1,-1,-1,1,0,-1,1,-2,1,1,-1,-2,-1,1,1,1,-2,1,1,0
,1,-1,0,-1,1,0,1,1,0,1,-1,-1,0,1,0,0],[1,0,1,0,1,0,-1,-1,1,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,1,0,-1,0,1,-1,2,-1,-1,0,2,1,-1,0,-1,1,
0,-1,0,-1,1,0,1,-1,0,0,-1,0,-1,1,0,0,0,0,0],[-1,1,-1,1,-1,1,1,1,-1,0,0,0,-1,0,
-1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[2,-2,0,0,1,-1,1,-1,0,1,0,0,-1,1
,0,0,-1,0,0,0,1,-1,0,0,1,0,0,0,0,0,0,0,0,0,0,0],[1,-1,2,-1,2,-2,-1,-1,2,0,1,-1
,1,-1,1,-1,-1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,0,-1,0,0,0,1,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,-1,1,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,1,0,0,-1,0,-1,1,0,0,0,0,1,
-1,0,0,0,0,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[2,-1,0,0,1,-1,1,-2,0,0,0,-1,
-1,1,0,1,0,0,0,0,1,-1,0,-1,0,0,0,0,0,1,0,0,0,0,0,0],[1,-1,1,-1,0,0,-1,0,0,0,0,
0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,-1,1,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,-1,0,0,0,0,1,0,0,0,0,0,-1,0
,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,-1,0,-1,1,0,1,0,0,0,0,0,-1,1,
-1,0,0,0,0,0,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,-1,1,-1,1,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,1,-1,1,-1,0,0,0,-1,0,0,0,-1,1,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,1,0,0,-1,0,-1,1,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,-1,2,-2,1,-1,-1,0,1,-1,0,0,1,-1,
1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,0,0,0,-1,0,1,0,-1,1,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]],[[1,0,0,-1,1,-1,1,0,0,0,0,0,0,0,0
,0,0,0,0,0],[0,1,0,-1,0,-1,1,1,-1,0,0,1,-1,1,0,0,0,0,0,0],[-1,-1,0,1,0,1,-1,-1
,1,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,1,-1,1,-1,1,0,-1,0,0,1,-1,0,0,-1,1,0,0],[-1,0
,1,1,-1,0,-1,1,0,0,0,0,0,1,-1,1,0,0,0,0],[-1,0,-2,0,0,1,1,-2,-1,1,0,0,-1,0,1,
-1,1,0,-1,1],[1,1,1,-1,0,-1,0,1,0,0,0,0,0,0,0,0,0,0,0,0],[1,0,-1,0,0,0,1,-1,0,
1,-1,-1,0,-1,1,0,0,0,0,0],[0,1,0,0,0,0,0,1,-1,-1,1,0,0,0,0,0,0,0,0,0],[1,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,-1,1,0,0,0,0,0,0,0,0,0,0,1,-1,0,0,-1,1,0
],[-2,0,-1,1,-1,1,0,-1,0,1,0,0,-1,0,0,0,1,0,0,0],[-1,-1,0,1,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0],[0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,-1,1,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0],[0,1,0,-1,0,0,0,1,0,-1,0,1,0,0,0,0,0,0,0,0],[1,0,-1,-1,0
,0,0,-1,0,1,0,0,0,0,0,0,0,0,0,0],[-1,-1,0,2,-1,1,-1,-1,0,0,0,-1,1,0,0,0,0,0,0,
0],[-1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,0,-1,1,-1,1,0,0,0,0,0,0,0,0,
0,0,0,0,0,0]],[[-1,0,1,-1,1,0,0,0,0,0],[1,-1,0,1,0,-1,0,-1,1,0],[1,1,-1,0,-1,1
,0,0,0,0],[-1,0,0,0,0,-1,1,0,-1,1],[1,0,0,0,0,0,0,0,0,0],[-1,-1,1,0,0,0,0,0,0,
0],[0,1,-1,0,0,1,-1,1,0,0],[0,-1,0,0,0,-1,1,0,0,0],[-1,1,0,0,0,0,0,0,0,0],[1,0
,-1,1,0,0,0,0,0,0]]],
0,
0,
0,
rec(CharacterParameters:=[[1,[17]],[1,[16,1]],[1,[15,2]],[1,[15,1,1]],[1,[14,3
]],[1,[14,2,1]],[1,[13,4]],[1,[13,3,1]],[1,[13,2,2]],[1,[13,2,1,1]],[1,[12,5]]
,[1,[12,4,1]],[1,[12,3,2]],[1,[12,3,1,1]],[1,[12,2,2,1]],[1,[11,6]],[1,[11,5,1
]],[1,[11,4,2]],[1,[11,4,1,1]],[1,[11,3,3]],[1,[11,3,2,1]],[1,[11,2,2,1,1]],[1
,[10,7]],[1,[10,6,1]],[1,[10,5,2]],[1,[10,5,1,1]],[1,[10,4,3]],[1,[10,4,2,1]],
[1,[10,3,3,1]],[1,[10,3,2,2]],[1,[10,3,2,1,1]],[1,[9,8]],[1,[9,7,1]],[1,[9,6,2
]],[1,[9,6,1,1]],[1,[9,5,3]],[1,[9,5,2,1]],[1,[9,4,4]],[1,[9,4,3,1]],[1,[9,4,2
,2]],[1,[9,4,2,1,1]],[1,[9,3,3,2]],[1,[9,3,3,1,1]],[1,[9,3,2,2,1]],[1,[8,8,1]]
,[1,[8,7,2]],[1,[8,7,1,1]],[1,[8,6,3]],[1,[8,6,2,1]],[1,[8,5,4]],[1,[8,5,3,1]]
,[1,[8,5,2,2]],[1,[8,5,2,1,1]],[1,[8,4,4,1]],[1,[8,4,3,2]],[1,[8,4,3,1,1]],[1,
[8,4,2,2,1]],[1,[8,3,3,2,1]],[1,[8,3,2,2,1,1]],[1,[7,7,3]],[1,[7,7,2,1]],[1,[7
,6,4]],[1,[7,6,3,1]],[1,[7,6,2,2]],[1,[7,6,2,1,1]],[1,[7,5,5]],[1,[7,5,4,1]],[
1,[7,5,3,2]],[1,[7,5,3,1,1]],[1,[7,5,2,2,1]],[1,[7,4,4,2]],[1,[7,4,4,1,1]],[1,
[7,4,3,3]],[1,[7,4,3,2,1]],[1,[7,4,2,2,1,1]],[1,[7,3,3,2,2]],[1,[7,3,3,2,1,1]]
,[1,[6,6,5]],[1,[6,6,4,1]],[1,[6,6,3,2]],[1,[6,6,3,1,1]],[1,[6,6,2,2,1]],[1,[6
,5,5,1]],[1,[6,5,4,2]],[1,[6,5,4,1,1]],[1,[6,5,3,3]],[1,[6,5,3,2,1]],[1,[6,5,2
,2,1,1]],[1,[6,4,4,3]],[1,[6,4,4,2,1]],[1,[6,4,3,3,1]],[1,[6,4,3,2,2]],[1,[6,4
,3,2,1,1]],[1,[6,3,3,2,2,1]],[1,[5,5,4,3]],[1,[5,5,4,2,1]],[1,[5,5,3,3,1]],[1,
[5,5,3,2,2]],[1,[5,5,3,2,1,1]],[1,[5,4,4,3,1]],[1,[5,4,4,2,2]],[1,[5,4,4,2,1,1
]],[1,[5,4,3,3,2]],[1,[5,4,3,3,1,1]],[1,[5,4,3,2,2,1]],[1,[5,3,3,2,2,1,1]],[1,
[4,4,3,3,2,1]],[1,[4,4,3,2,2,1,1]]]));

MBT("Sym(17)",5,
"(no info text)",
[2,1,1,12,2,9,8,25,2,1,5,4,2,2,21,2,1,2,1,9,1,5,19,1,2,18,1,17,1,12,12,8,1,16,
4,1,12,14,2,12,1,2,9,12,8,9,8,26,2,5,8,4,11,9,2,10,2,8,9,1,2,1,5,1,16,4,2,5,8,
4,11,25,5,25,4,25,1,2,7,4,2,6,5,1,19,1,2,21,1,12,14,2,2,2,9,2,10,2,2,24,1,2,7,
4,2,6,21,2,23,22,2,21,1,3,1,1,18,1,12,1,5,9,2,18,9,17,8,9,1,1,2,7,1,5,17,20,5,
1,1,19,17,19,2,1,3,18,8,4,12,10,2,12,8,9,1,8,12,1,14,4,2,6,16,1,5,1,4,16,12,12
,1,15,2,1,3,14,12,13,2,4,2,11,2,8,5,1,11,5,9,4,8,9,2,1,3,2,9,10,8,6,1,7,2,5,4]
,
[3,3,1,2,2,1,1,2,2,1,1,2,0,1,0,1,1,1,1,0,1,0,0,0,1,0],
[[1,4,6,9,12,13,17,29,30,32,36,52,64,74,75,79,85,87,90,97,98,100,106,111,122,
125,127,129,135,137,138,143,146,148,158,160,162,184,197,227],[2,3,7,8,18,20,23
,25,27,33,41,42,46,47,50,53,67,68,70,72,80,88,103,115,126,130,145,154,170,173,
176,178,180,183,186,187,188,190,192,224],,[10,15,21,22,56,59,71,92,96,104,118,
181,216,221],[11,14,16,26,60,62,65,99,136,139,142,156,218,223],,,[34,38,39,44,
57,58,66,107,110,113,119,150,222,247],[35,37,40,48,49,54,61,112,147,149,152,
155,191,248],,,[73,76,78,82,83,91,94,108,109,114,117,159,196,250]],
[,,[[4,5],[3,4],[2,3],[1,2]],,,3,3,,,3,3,,,3,,3,3,3,3,,3,,,,3],
[[[-1,1,-1,1,-1,1,-1,-1,1,-1,0,0,0,1,-1,1,1,-1,1,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0],[1,-2,1,-2,2,-1,2,2,-2,2,-1,0,0,0,1,-1,-1,1,-1,1,-1,1,-1,0,-1,
1,1,-1,1,-1,1,-1,1,0,0,0,0,0,0,0],[-1,3,-1,2,-2,0,-1,-2,2,-1,2,-1,1,0,-2,1,2,
-1,2,-1,0,-1,1,1,2,-1,-2,1,-2,1,0,1,-1,-1,1,-1,1,0,0,0],[1,-2,0,-1,2,0,1,1,-1,
0,-2,1,-1,0,2,-1,-1,0,-1,1,0,1,0,-1,-2,1,1,0,1,-1,0,-1,0,1,-1,1,0,0,0,0],[-1,1
,-1,1,-1,1,-1,-1,1,-1,0,0,0,0,0,1,0,-1,1,0,1,-1,1,-1,0,0,0,0,0,0,0,0,0,0,0,1,0
,0,-1,1],[2,-3,2,-2,2,-1,2,2,-3,2,-1,1,0,-1,2,-2,-2,2,-3,1,-1,1,-2,0,-1,0,1,0,
1,-1,0,0,1,1,-1,0,-1,-1,1,0],[-2,2,-1,2,-2,1,-2,-1,1,-1,1,0,0,1,-2,2,1,-1,1,-1
,1,-1,0,0,1,0,-1,0,0,1,0,0,0,-1,1,0,0,0,0,0],[1,0,1,-1,0,-1,1,0,0,1,1,-1,1,-1,
0,-1,0,1,0,0,-1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,-1,1,-1,1,-1,1,1,-1,
1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,3,-2,3,-2,1
,-3,-2,3,-3,1,0,-1,0,-1,1,1,-1,1,-1,1,0,1,0,1,-1,-1,1,-1,1,-1,0,-1,0,0,0,0,1,0
,0],[2,-2,1,-3,2,-1,3,1,-1,2,-1,-1,1,0,1,-1,-1,1,0,1,-1,0,0,0,-1,1,1,-1,0,-1,1
,0,0,0,0,0,0,0,0,0],[-1,0,-1,2,0,1,-2,0,0,-2,-1,2,-2,0,0,1,0,-1,0,0,1,0,0,-1,0
,-1,0,1,0,0,-1,0,0,1,0,0,0,0,0,0],[-1,2,0,1,-2,0,-1,-1,1,0,1,0,0,0,-1,0,1,0,0,
-1,0,0,0,0,1,0,-1,0,0,1,0,0,0,0,0,0,0,0,0,0],[-2,2,-2,2,-1,1,-1,-1,1,-1,0,0,0,
1,-1,1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[2,-3,2,-3,1,0,1,1,-1
,1,-1,0,0,0,1,-1,-1,1,-1,0,0,0,0,0,-1,1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0],[-2,2,-1
,3,-1,0,-1,-1,0,-1,1,1,0,0,-1,1,1,-1,0,0,0,0,0,0,1,-1,-1,1,0,0,0,0,0,0,0,0,0,0
,0,0],[1,-2,0,-1,1,0,0,1,0,0,-1,0,0,0,1,0,-1,0,0,0,0,0,0,0,-1,0,1,0,0,0,0,0,0,
0,0,0,0,0,0,0],[3,-2,2,-2,2,-2,2,1,-1,1,0,0,0,-2,2,-2,-1,1,-1,1,-1,1,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0],[-4,4,-2,4,-4,2,-4,-2,2,-2,2,0,0,0,-2,2,1,-1,1,-1,
1,-1,0,0,2,-2,-1,1,-1,1,-1,1,0,0,0,0,0,0,0,0],[2,-1,0,-1,1,0,1,0,0,0,-1,0,0,0,
1,-1,0,0,0,0,0,0,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,1,0,0,-1,0,0,0,0,0,
1,0,0,0,-1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,1,-1,1,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[2,-1,1,-1
,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-4
,2,-3,3,-2,3,-3,-1,1,-2,-1,1,-1,2,-1,1,1,-1,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0],[1,0,1,-1,0,-1,1,0,0,1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0],[2,-2,1,-1,2,-1,1,1,-1,0,0,0,0,-1,1,0,-1,0,0,1,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-3,1,-1,1,-1,1,-1,0,0,0,0,0,0,1,-1,1,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[4,-2,3,-3,1,-2,1,1,0,1,1,-1,0,-2,1,-1,
-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,2,-1,1,-1,1,0,-1,0,0,0,0
,0,1,-1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,0,-1,0,0,1,0,0,
0,0,-1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[2,-1,1,0,1,
-1,0,0,0,0,0,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,2
,-1,1,-2,1,-1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0],[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0],[-3,1,-2,2,-1,2,-1,-1,0,-1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0],[2,-2,1,-1,1,-1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0],[1,0,1,0,0,-1,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,1,-1,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,-1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,-1,1,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]],[[-1,1,-1,1,-1,1,-1,-1,1
,-1,1,-1,1,1,-1,1,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,-1,0,0
,2,-1,2,1,-2,1,-1,0,-1,0,1,0,1,-1,1,-1,1,-1,0,0,-1,1,0,0,1,-1,1,-1,1,-1,1,0,0,
0,0,0],[-1,1,1,-1,-2,0,-2,0,2,0,2,0,2,0,-2,0,-1,1,-1,1,-2,2,0,0,2,-2,0,0,-2,2,
-2,1,-1,1,-1,-1,1,-1,1,0],[-1,1,-1,1,-1,1,-1,-1,1,-1,0,0,1,0,-1,1,0,1,-1,1,0,0
,0,-1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,-1,1],[2,-2,1,-1,2,-1,3,1,-3,2,-2,1,-3,-1,3,
-2,1,-1,2,-2,1,-1,-1,1,-1,1,1,-1,1,-1,1,-1,1,-1,0,1,-1,1,0,0],[-1,1,-2,2,0,1,
-1,-1,1,-2,0,-1,1,1,-1,2,0,0,-1,1,1,-1,1,-1,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0]
,[1,0,1,-1,0,-1,1,0,0,1,0,1,-1,0,0,-1,0,0,1,0,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0],[-2,1,0,1,-2,1,-3,0,1,-1,2,-1,3,0,-1,1,-1,1,-2,0,-1,0,1,-1,1,-1,0,0
,-1,1,0,1,-1,0,0,-1,1,0,0,0],[1,-1,0,0,2,0,1,0,-1,0,-2,0,-1,0,1,0,1,-1,0,0,1,0
,0,0,-1,0,0,0,1,0,0,-1,0,0,0,1,0,0,0,0],[1,-1,1,-1,1,-1,1,1,-1,1,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,2,-1,1,-2,1,-3,-1,3,-2,1,0
,1,0,-1,0,-1,0,-1,1,-1,1,1,0,1,-1,-1,0,-1,1,-1,1,-1,1,0,0,0,0,0,0],[2,-1,0,-1,
2,-1,3,0,-1,1,-1,0,-1,0,0,0,1,0,1,0,1,0,-1,0,-1,1,0,0,1,-1,0,-1,1,0,0,0,0,0,0,
0],[-1,1,0,0,-2,0,-1,0,1,0,1,0,0,0,0,0,-1,0,0,0,-1,0,0,0,1,0,0,0,-1,0,0,1,0,0,
0,0,0,0,0,0],[-2,2,-2,2,-1,1,-1,-1,1,-1,1,-1,1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0],[2,-2,1,-1,1,0,1,0,-1,0,-1,0,-1,0,1,0,0,0,0,0,1,-1,0,
0,-1,1,0,0,1,-1,1,0,0,0,0,0,0,0,0,0],[-2,1,0,1,-1,0,-1,0,0,0,1,0,1,0,0,0,0,0,0
,0,-1,0,0,0,1,-1,0,0,-1,1,0,0,0,0,0,0,0,0,0,0],[1,-1,0,0,1,0,0,0,0,0,-1,0,0,0,
0,0,0,0,0,0,1,0,0,0,-1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0],[3,-2,2,-2,2,-2,2,1,-1,1
,-2,2,-2,-1,1,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,2,-1,1,
-2,1,-1,-1,1,0,2,-1,1,1,-1,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
,[-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0],[3,-3,4,-4,1,-2,2,2,-2,3,-1,2,-1,-2,1,-2,1,0,1,-1,-1,1,-1,0,1,-1,1,0,0,
0,0,0,0,0,0,0,0,0,0,0],[-4,2,-3,3,-2,3,-3,-1,1,-2,1,-2,1,1,0,1,-1,0,-1,0,1,-1,
1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[2,-2,1,-1,2,-1,1,1,-1,0,-1,1,0,-1,0,0,1,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,1,-2,2,0,1,0,-1,0,-1,0,-1,0
,1,0,1,0,0,0,0,1,-1,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[4,-2,3,-3,1,-2,1,1,
0,1,-1,2,-1,-1,0,-1,0,0,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,2,-1
,1,-1,1,0,-1,0,0,1,-1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
,[-1,0,-1,0,0,1,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0],[1,-1,1,-1,0,-1,0,1,0,0,0,1,0,-1,0,0,0,0,0,0,-1,0,0,0,1,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0],[2,-1,1,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0],[-3,1,-1,1,-1,1,-1,0,0,0,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[2,-1,1,0,1,-1,0,0,0,0,-1,1,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,2,-1,1,-2,1,-1,-1,1,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[4,-4,2,-2,2,-1,1,1,-1,0,-2,1
,-1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,1,0,0,-1,0,0,0
,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,1,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[2,
-2,1,-1,1,-1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0],[1,-1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0],[-2,1,-1,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0],[1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0]],,[[1,0,-1,1,1,-1,1,-1,1,-1,1,0,0,0],[-1,1,0,-1,-1,2,-1,0
,-1,0,-1,1,-1,1],[1,-1,0,1,0,-1,0,0,1,0,0,-1,1,0],[1,0,-1,1,1,-1,1,0,0,0,0,0,0
,0],[-2,0,2,-2,-1,1,-1,1,-1,1,0,0,0,0],[1,1,-2,1,1,0,1,-1,0,-1,0,1,0,0],[-1,-1
,1,0,-1,0,0,1,0,0,0,0,0,0],[2,0,-1,1,1,-1,0,-1,1,0,0,0,0,0],[1,0,-1,1,0,0,0,0,
0,0,0,0,0,0],[-2,0,1,-1,-1,1,0,0,0,0,0,0,0,0],[1,1,-1,0,1,0,0,0,0,0,0,0,0,0],[
1,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,-1,1,0,0,0,0,0,0,0,0,0,0,0],[0,1,0,0,0,0,0,0,
0,0,0,0,0,0]],[[1,-1,1,0,1,-1,1,0,-1,1,-1,1,0,0],[-1,1,0,-1,-1,2,-1,-1,0,0,1,
-1,-1,1],[1,-1,0,1,0,-1,0,1,0,0,-1,0,1,0],[1,-1,1,0,1,-1,1,0,0,0,0,0,0,0],[-2,
2,-2,0,-1,1,-1,0,1,-1,1,0,0,0],[1,-1,2,-1,1,0,1,-1,-1,1,0,0,0,0],[-1,0,-1,1,-1
,0,0,0,1,0,0,0,0,0],[1,-1,1,0,0,0,0,0,0,0,0,0,0,0],[-1,1,-2,1,-1,0,-1,1,0,0,0,
0,0,0],[1,0,1,-1,1,0,0,0,0,0,0,0,0,0],[-2,1,-1,0,-1,1,0,0,0,0,0,0,0,0],[1,0,0,
0,0,0,0,0,0,0,0,0,0,0],[-1,0,-1,1,0,0,0,0,0,0,0,0,0,0],[-1,1,0,0,0,0,0,0,0,0,0
,0,0,0]],,,[[1,-1,1,0,1,-1,1,-1,1,-1,1,0,0,0],[-1,1,0,-1,0,1,0,0,-1,0,0,1,-1,1
],[1,-1,1,0,1,-1,1,0,0,0,0,0,0,0],[-1,1,-2,1,-2,1,-2,1,0,1,-1,-1,1,0],[1,-1,2,
-1,1,0,1,-1,0,-1,0,1,0,0],[-1,0,-1,1,-1,0,0,1,0,0,0,0,0,0],[-2,2,-2,0,-1,1,-1,
1,-1,1,0,0,0,0],[2,-1,1,0,1,-1,0,-1,1,0,0,0,0,0],[1,-1,1,0,0,0,0,0,0,0,0,0,0,0
],[-2,1,-1,0,-1,1,0,0,0,0,0,0,0,0],[1,0,1,-1,1,0,0,0,0,0,0,0,0,0],[1,0,0,0,0,0
,0,0,0,0,0,0,0,0],[-1,0,-1,1,0,0,0,0,0,0,0,0,0,0],[-1,1,0,0,0,0,0,0,0,0,0,0,0,
0]],[[1,-1,1,1,-1,1,0,0,-1,1,-1,1,0,0],[-1,1,0,-1,0,0,1,-1,0,0,1,0,-1,1],[1,-1
,1,1,-1,1,0,0,0,0,0,0,0,0],[-1,1,-2,-1,2,-2,-1,1,1,-1,0,-1,1,0],[1,-1,2,0,-1,1
,1,-1,-1,1,0,0,0,0],[-1,0,-1,0,1,0,-1,0,1,0,0,0,0,0],[-2,2,-2,-1,1,-1,0,0,1,-1
,1,0,0,0],[1,-1,1,0,0,0,0,0,0,0,0,0,0,0],[-1,1,-2,0,1,-1,-1,1,0,0,0,0,0,0],[1,
0,1,0,-1,0,1,0,0,0,0,0,0,0],[-2,1,-1,-1,1,0,0,0,0,0,0,0,0,0],[1,-1,0,1,0,0,0,0
,0,0,0,0,0,0],[1,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,1,0,0,0,0,0,0,0,0,0,0,0,0]],,,
[[1,-1,1,1,-1,1,0,-1,1,-1,1,0,0,0],[0,0,1,0,-1,1,1,-1,0,-1,1,1,-1,1],[-1,1,-2,
-1,2,-2,-1,1,0,1,-1,-1,1,0],[1,-1,2,0,-1,1,1,-1,0,-1,0,1,0,0],[-1,0,-1,0,1,0,
-1,1,0,0,0,0,0,0],[1,-1,1,1,-1,1,0,0,0,0,0,0,0,0],[-2,2,-2,-1,1,-1,0,1,-1,1,0,
0,0,0],[2,-1,1,1,-1,0,0,-1,1,0,0,0,0,0],[1,-1,1,0,0,0,0,0,0,0,0,0,0,0],[-2,1,
-1,-1,1,0,0,0,0,0,0,0,0,0],[1,0,1,0,-1,0,1,0,0,0,0,0,0,0],[1,-1,0,1,0,0,0,0,0,
0,0,0,0,0],[1,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,1,0,0,0,0,0,0,0,0,0,0,0,0]]],
0,
0,
0,
rec(CharacterParameters:=[[1,[17]],[1,[16,1]],[1,[15,2]],[1,[15,1,1]],[1,[14,3
]],[1,[14,2,1]],[1,[14,1,1,1]],[1,[13,4]],[1,[13,3,1]],[1,[13,2,2]],[1,[13,2,1
,1]],[1,[13,1,1,1,1]],[1,[12,5]],[1,[12,4,1]],[1,[12,3,2]],[1,[12,3,1,1]],[1,[
12,2,2,1]],[1,[12,2,1,1,1]],[1,[11,6]],[1,[11,5,1]],[1,[11,4,2]],[1,[11,4,1,1]
],[1,[11,3,3]],[1,[11,3,2,1]],[1,[11,3,1,1,1]],[1,[11,2,2,2]],[1,[11,2,2,1,1]]
,[1,[11,2,1,1,1,1]],[1,[10,7]],[1,[10,6,1]],[1,[10,5,2]],[1,[10,5,1,1]],[1,[10
,4,3]],[1,[10,4,2,1]],[1,[10,4,1,1,1]],[1,[10,3,3,1]],[1,[10,3,2,2]],[1,[10,3,
2,1,1]],[1,[10,3,1,1,1,1]],[1,[10,2,2,2,1]],[1,[10,2,2,1,1,1]],[1,[9,8]],[1,[9
,7,1]],[1,[9,6,2]],[1,[9,6,1,1]],[1,[9,5,3]],[1,[9,5,2,1]],[1,[9,5,1,1,1]],[1,
[9,4,4]],[1,[9,4,3,1]],[1,[9,4,2,2]],[1,[9,4,2,1,1]],[1,[9,4,1,1,1,1]],[1,[9,3
,3,2]],[1,[9,3,3,1,1]],[1,[9,3,2,2,1]],[1,[9,3,2,1,1,1]],[1,[9,2,2,2,2]],[1,[9
,2,2,2,1,1]],[1,[9,2,2,1,1,1,1]],[1,[8,8,1]],[1,[8,7,2]],[1,[8,7,1,1]],[1,[8,6
,3]],[1,[8,6,2,1]],[1,[8,6,1,1,1]],[1,[8,5,4]],[1,[8,5,3,1]],[1,[8,5,2,2]],[1,
[8,5,2,1,1]],[1,[8,5,1,1,1,1]],[1,[8,4,4,1]],[1,[8,4,3,2]],[1,[8,4,3,1,1]],[1,
[8,4,2,2,1]],[1,[8,4,2,1,1,1]],[1,[8,3,3,3]],[1,[8,3,3,2,1]],[1,[8,3,3,1,1,1]]
,[1,[8,3,2,2,2]],[1,[8,3,2,2,1,1]],[1,[8,3,2,1,1,1,1]],[1,[8,2,2,2,2,1]],[1,[8
,2,2,2,1,1,1]],[1,[7,7,3]],[1,[7,7,2,1]],[1,[7,7,1,1,1]],[1,[7,6,4]],[1,[7,6,3
,1]],[1,[7,6,2,2]],[1,[7,6,2,1,1]],[1,[7,6,1,1,1,1]],[1,[7,5,5]],[1,[7,5,4,1]]
,[1,[7,5,3,2]],[1,[7,5,3,1,1]],[1,[7,5,2,2,1]],[1,[7,5,2,1,1,1]],[1,[7,4,4,2]]
,[1,[7,4,4,1,1]],[1,[7,4,3,3]],[1,[7,4,3,2,1]],[1,[7,4,3,1,1,1]],[1,[7,4,2,2,2
]],[1,[7,4,2,2,1,1]],[1,[7,4,2,1,1,1,1]],[1,[7,3,3,3,1]],[1,[7,3,3,2,2]],[1,[7
,3,3,2,1,1]],[1,[7,3,3,1,1,1,1]],[1,[7,3,2,2,2,1]],[1,[7,3,2,2,1,1,1]],[1,[7,2
,2,2,2,1,1]],[1,[7,2,2,2,1,1,1,1]],[1,[6,6,5]],[1,[6,6,4,1]],[1,[6,6,3,2]],[1,
[6,6,3,1,1]],[1,[6,6,2,2,1]],[1,[6,6,2,1,1,1]],[1,[6,5,5,1]],[1,[6,5,4,2]],[1,
[6,5,4,1,1]],[1,[6,5,3,3]],[1,[6,5,3,2,1]],[1,[6,5,3,1,1,1]],[1,[6,5,2,2,2]],[
1,[6,5,2,2,1,1]],[1,[6,5,2,1,1,1,1]],[1,[6,4,4,3]],[1,[6,4,4,2,1]],[1,[6,4,4,1
,1,1]],[1,[6,4,3,3,1]],[1,[6,4,3,2,2]],[1,[6,4,3,2,1,1]],[1,[6,4,3,1,1,1,1]],[
1,[6,4,2,2,2,1]],[1,[6,4,2,2,1,1,1]],[1,[6,3,3,3,2]],[1,[6,3,3,3,1,1]],[1,[6,3
,3,2,2,1]],[1,[6,3,3,2,1,1,1]],[1,[6,3,2,2,2,2]],[1,[6,3,2,2,2,1,1]],[1,[6,3,2
,2,1,1,1,1]],[1,[6,2,2,2,2,1,1,1]],[1,[5,5,5,2]],[1,[5,5,5,1,1]],[1,[5,5,4,3]]
,[1,[5,5,4,2,1]],[1,[5,5,4,1,1,1]],[1,[5,5,3,3,1]],[1,[5,5,3,2,2]],[1,[5,5,3,2
,1,1]],[1,[5,5,3,1,1,1,1]],[1,[5,5,2,2,2,1]],[1,[5,5,2,2,1,1,1]],[1,[5,4,4,4]]
,[1,[5,4,4,3,1]],[1,[5,4,4,2,2]],[1,[5,4,4,2,1,1]],[1,[5,4,4,1,1,1,1]],[1,[5,4
,3,3,2]],[1,[5,4,3,3,1,1]],[1,[5,4,3,2,2,1]],[1,[5,4,3,2,1,1,1]],[1,[5,4,2,2,2
,2]],[1,[5,4,2,2,2,1,1]],[1,[5,4,2,2,1,1,1,1]],[1,[5,3,3,3,3]],[1,[5,3,3,3,2,1
]],[1,[5,3,3,3,1,1,1]],[1,[5,3,3,2,2,2]],[1,[5,3,3,2,2,1,1]],[1,[5,3,3,2,1,1,1
,1]],[1,[5,3,2,2,2,2,1]],[1,[5,3,2,2,2,1,1,1]],[1,[5,2,2,2,2,1,1,1,1]],[1,[4,4
,4,4,1]],[1,[4,4,4,3,2]],[1,[4,4,4,3,1,1]],[1,[4,4,4,2,2,1]],[1,[4,4,4,2,1,1,1
]],[1,[4,4,3,3,3]],[1,[4,4,3,3,2,1]],[1,[4,4,3,3,1,1,1]],[1,[4,4,3,2,2,2]],[1,
[4,4,3,2,2,1,1]],[1,[4,4,3,2,1,1,1,1]],[1,[4,4,2,2,2,2,1]],[1,[4,4,2,2,2,1,1,1
]],[1,[4,3,3,3,3,1]],[1,[4,3,3,3,2,2]],[1,[4,3,3,3,2,1,1]],[1,[4,3,3,3,1,1,1,1
]],[1,[4,3,3,2,2,2,1]],[1,[4,3,3,2,2,1,1,1]],[1,[4,3,2,2,2,2,1,1]],[1,[4,3,2,2
,2,1,1,1,1]],[1,[3,3,3,3,2,2,1]],[1,[3,3,3,3,2,1,1,1]],[1,[3,3,3,2,2,2,2]],[1,
[3,3,3,2,2,2,1,1]],[1,[3,3,3,2,2,1,1,1,1]],[1,[3,3,2,2,2,2,1,1,1]]]));

MBT("Sym(17)",7,
"(no info text)",
[5,2,57,1,2,1,46,5,37,1,36,35,34,5,2,26,25,24,23,34,69,18,5,17,2,15,1,14,13,12
,5,5,18,5,68,67,5,9,8,2,5,1,6,5,2,37,2,26,17,2,15,66,9,8,2,5,65,64,63,2,62,4,1
,2,3,1,1,36,57,25,24,17,57,1,14,13,9,61,57,1,6,5,60,59,57,4,1,2,3,58,1,57,1,46
,35,2,25,46,56,23,18,2,1,14,55,54,12,8,2,53,1,6,46,52,51,5,50,4,1,2,46,49,2,48
,46,1,47,5,26,36,24,35,23,45,5,37,15,1,44,13,35,43,12,42,8,37,5,1,36,41,5,40,
39,5,4,1,36,37,3,35,38,37,2,35,36,1,5,34,2,15,34,14,24,13,34,23,12,34,9,2,26,5
,33,25,6,32,5,31,23,30,5,29,4,25,2,24,26,3,28,27,26,2,23,24,25,1,17,2,18,5,22,
21,1,6,18,13,5,20,19,12,5,18,1,14,2,17,15,3,17,12,15,2,16,13,14,1,1,8,2,9,11,5
,3,9,10,5,2,8,6,1,7,4],
[2,2,1,1,2,1,0,1,1,0,0,1,1,1,1,0,1,1,0,0,0,0,1,1,1,1,0,0,0,0,0,0,0,1,1,1,1,0,0
,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0],
[[1,5,8,13,15,33,37,38,54,66,76,122,123,134,143,153,165,167,175,183,191,201,
205,209,216,222,229],[2,4,9,19,22,31,42,44,52,71,81,82,89,105,117,127,170,171,
174,185,192,198,208,237,242,247,250],,,[10,11,17,18,23,28,55,58,62,69,92,94,98
,103,119,136,137,140,144,156,163,178,214,241,261,264,266]],
[,,[[6,7],[5,6],[4,5],[3,4],[2,3],[1,2]],3,,3,,3,3,,,3,3,3,3,,3,3,,,,,3,3,3,3,
,,,,,,,3,3,3,3,,,,,,,,,3,,,,,,,,,,,3],
[[[1,-1,1,1,-1,1,-1,1,-1,1,0,1,-1,1,-1,1,-1,1,-1,1,-1,1,0,0,0,0,0],[-1,2,-1,-2
,1,-2,2,-1,2,-2,-1,-1,2,-2,2,-2,0,-1,1,-1,1,-1,1,-1,1,-1,1],[1,-2,1,2,-1,2,-2,
1,-2,2,1,0,-1,1,-1,1,0,1,-1,1,-1,0,-1,1,-1,1,0],[-1,2,-1,-2,1,-2,1,0,1,-1,-1,0
,1,-1,1,0,0,-1,1,-1,0,0,1,-1,1,0,0],[1,-2,1,1,0,1,-1,0,-1,0,1,0,-1,1,0,0,0,1,
-1,0,0,0,-1,1,0,0,0],[-1,1,0,-1,0,0,1,0,0,0,-1,0,1,0,0,0,0,-1,0,0,0,0,1,0,0,0,
0],[1,-1,1,1,-1,1,-1,1,-1,1,0,1,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0],[-2,2,-2,-2,2
,-2,2,-2,2,-2,0,-1,1,-1,1,-1,1,-1,1,-1,1,0,0,0,0,0,0],[2,-2,2,2,-2,2,-1,1,-1,1
,0,1,-1,1,-1,0,-1,1,-1,1,0,0,0,0,0,0,0],[-2,2,-2,-1,1,-1,1,-1,1,0,0,-1,1,-1,0,
0,1,-1,1,0,0,0,0,0,0,0,0],[2,-1,1,1,-1,0,-1,1,0,0,0,1,-1,0,0,0,-1,1,0,0,0,0,0,
0,0,0,0],[-1,0,-1,0,1,0,0,-1,0,0,1,-1,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0],[1,-1,1,1
,-1,1,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,2,-2,-2,2,-2,1,-1,1,-1,
0,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0],[2,-2,2,1,-1,1,-1,1,-1,0,0,1,-1,1,0,0,0,0
,0,0,0,0,0,0,0,0,0],[-2,1,-1,-1,1,0,1,-1,0,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,
0],[1,0,1,0,-1,0,0,1,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,-1,1,1,-1,1,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,2,-2,-1,1,-1,1,-1,1,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0],[2,-1,1,1,-1,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0],[-1,0,-1,0,1,0,0,-1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,1,0,-1,0,0
,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0],[-2,1,-1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0],[1,-1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0]],[[1,-1,1,1,-1,1,-1,1,-1,1,1,-1,1,-1,1,0,-1,1,-1,1,-1,1,0,0,
0,0,0],[-1,1,0,-2,1,-1,2,-1,1,-2,-2,1,-1,2,-2,1,0,-1,0,-1,1,-1,1,-1,1,-1,1],[1
,-1,0,2,-1,1,-2,1,-1,2,1,0,0,-1,1,-1,0,1,0,1,-1,0,-1,1,-1,1,0],[-1,1,0,-2,1,-1
,1,0,0,-1,-1,0,0,1,0,1,0,-1,0,-1,0,0,1,-1,1,0,0],[1,-1,0,1,0,0,-1,0,0,0,1,0,0,
0,0,-1,0,1,0,0,0,0,-1,1,0,0,0],[1,-1,1,1,-1,1,-1,1,-1,1,1,-1,1,-1,1,0,0,0,0,0,
0,0,0,0,0,0,0],[-2,2,-2,-2,2,-2,2,-2,2,-2,-1,1,-1,1,-1,0,1,-1,1,-1,1,0,0,0,0,0
,0],[2,-2,2,2,-2,2,-1,1,-1,1,1,-1,1,-1,0,0,-1,1,-1,1,0,0,0,0,0,0,0],[-2,2,-2,
-1,1,-1,1,-1,1,0,-1,1,-1,0,0,0,1,-1,1,0,0,0,0,0,0,0,0],[1,-1,2,0,-1,1,0,1,-1,0
,0,-1,1,0,0,1,-1,0,-1,0,0,0,1,0,0,0,0],[-1,0,-1,0,1,0,0,-1,0,0,0,1,0,0,0,-1,1,
0,0,0,0,0,0,0,0,0,0],[2,-1,1,1,-1,0,-1,1,0,0,1,-1,0,0,0,0,-1,1,0,0,0,0,0,0,0,0
,0],[1,-1,1,1,-1,1,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,2,-2,-2,2,
-2,1,-1,1,-1,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0],[2,-2,2,1,-1,1,-1,1,-1,0,1,
-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,1,-1,-1,1,0,1,-1,0,0,-1,1,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0],[1,0,1,0,-1,0,0,1,0,0,0,-1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0],[1,
-1,0,1,0,0,-1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,-1,1,1,-1,1,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,2,-2,-1,1,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0],[2,-1,1,1,-1,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[
-1,1,0,-1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,-1,1,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,1,-1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0],[1,-1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,1,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]],,,[[1,-1,1,1,-1,1,-1,1,-1,1,1,-1,1,-1,1,-1,1,
-1,1,-1,1,0,0,0,0,0,0],[-1,1,0,-1,0,0,2,-1,1,-1,-2,1,-1,1,-2,1,0,0,0,1,-1,-1,1
,-1,1,-1,1],[1,-1,0,1,0,0,-2,1,-1,1,1,0,0,0,1,-1,0,0,0,-1,0,1,-1,1,-1,1,0],[-1
,1,0,-1,0,0,1,0,0,0,-1,0,0,0,0,1,0,0,0,0,0,-1,1,-1,1,0,0],[1,-1,1,1,-1,1,-1,1,
-1,1,1,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0],[-2,2,-2,-2,2,-2,2,-2,2,-2,-1,1,-1,1
,-1,1,-1,1,-1,1,0,0,0,0,0,0,0],[2,-2,2,2,-2,2,-1,1,-1,1,1,-1,1,-1,0,-1,1,-1,1,
0,0,0,0,0,0,0,0],[-1,1,-2,-1,2,-2,0,-1,1,-1,0,1,-1,1,0,0,-1,1,-1,0,0,1,-1,1,0,
0,0],[1,-1,2,0,-1,1,0,1,-1,0,0,-1,1,0,0,0,1,-1,0,0,0,-1,1,0,0,0,0],[-1,0,-1,0,
1,0,0,-1,0,0,0,1,0,0,0,0,-1,0,0,0,0,1,0,0,0,0,0],[-2,2,-2,-1,1,-1,1,-1,1,0,-1,
1,-1,0,0,1,-1,1,0,0,0,0,0,0,0,0,0],[2,-1,1,1,-1,0,-1,1,0,0,1,-1,0,0,0,-1,1,0,0
,0,0,0,0,0,0,0,0],[-1,1,0,-1,0,0,1,0,0,0,-1,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0],[
1,-1,1,1,-1,1,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,2,-2,-2,2,-2,1,
-1,1,-1,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0],[2,-2,2,1,-1,1,-1,1,-1,0,1,-1,1,0
,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,1,-1,-1,1,0,1,-1,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0],[1,-1,0,1,0,0,-1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,-1,1,1
,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,2,-2,-1,1,-1,1,-1,1,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[2,-1,1,1,-1,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0],[-1,1,0,-1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,-1,1
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,1,-1,-1,1,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,-1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0],[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,1,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]]],
0,
0,
0,
rec(CharacterParameters:=[[1,[17]],[1,[16,1]],[1,[15,2]],[1,[15,1,1]],[1,[14,3
]],[1,[14,2,1]],[1,[14,1,1,1]],[1,[13,4]],[1,[13,3,1]],[1,[13,2,2]],[1,[13,2,1
,1]],[1,[13,1,1,1,1]],[1,[12,5]],[1,[12,4,1]],[1,[12,3,2]],[1,[12,3,1,1]],[1,[
12,2,2,1]],[1,[12,2,1,1,1]],[1,[12,1,1,1,1,1]],[1,[11,6]],[1,[11,5,1]],[1,[11,
4,2]],[1,[11,4,1,1]],[1,[11,3,3]],[1,[11,3,2,1]],[1,[11,3,1,1,1]],[1,[11,2,2,2
]],[1,[11,2,2,1,1]],[1,[11,2,1,1,1,1]],[1,[11,1,1,1,1,1,1]],[1,[10,7]],[1,[10,
6,1]],[1,[10,5,2]],[1,[10,5,1,1]],[1,[10,4,3]],[1,[10,4,2,1]],[1,[10,4,1,1,1]]
,[1,[10,3,3,1]],[1,[10,3,2,2]],[1,[10,3,2,1,1]],[1,[10,3,1,1,1,1]],[1,[10,2,2,
2,1]],[1,[10,2,2,1,1,1]],[1,[10,2,1,1,1,1,1]],[1,[9,8]],[1,[9,7,1]],[1,[9,6,2]
],[1,[9,6,1,1]],[1,[9,5,3]],[1,[9,5,2,1]],[1,[9,5,1,1,1]],[1,[9,4,4]],[1,[9,4,
3,1]],[1,[9,4,2,2]],[1,[9,4,2,1,1]],[1,[9,4,1,1,1,1]],[1,[9,3,3,2]],[1,[9,3,3,
1,1]],[1,[9,3,2,2,1]],[1,[9,3,2,1,1,1]],[1,[9,3,1,1,1,1,1]],[1,[9,2,2,2,2]],[1
,[9,2,2,2,1,1]],[1,[9,2,2,1,1,1,1]],[1,[9,2,1,1,1,1,1,1]],[1,[8,8,1]],[1,[8,7,
2]],[1,[8,7,1,1]],[1,[8,6,3]],[1,[8,6,2,1]],[1,[8,6,1,1,1]],[1,[8,5,4]],[1,[8,
5,3,1]],[1,[8,5,2,2]],[1,[8,5,2,1,1]],[1,[8,5,1,1,1,1]],[1,[8,4,4,1]],[1,[8,4,
3,2]],[1,[8,4,3,1,1]],[1,[8,4,2,2,1]],[1,[8,4,2,1,1,1]],[1,[8,4,1,1,1,1,1]],[1
,[8,3,3,3]],[1,[8,3,3,2,1]],[1,[8,3,3,1,1,1]],[1,[8,3,2,2,2]],[1,[8,3,2,2,1,1]
],[1,[8,3,2,1,1,1,1]],[1,[8,3,1,1,1,1,1,1]],[1,[8,2,2,2,2,1]],[1,[8,2,2,2,1,1,
1]],[1,[8,2,2,1,1,1,1,1]],[1,[7,7,3]],[1,[7,7,2,1]],[1,[7,7,1,1,1]],[1,[7,6,4]
],[1,[7,6,3,1]],[1,[7,6,2,2]],[1,[7,6,2,1,1]],[1,[7,6,1,1,1,1]],[1,[7,5,5]],[1
,[7,5,4,1]],[1,[7,5,3,2]],[1,[7,5,3,1,1]],[1,[7,5,2,2,1]],[1,[7,5,2,1,1,1]],[1
,[7,5,1,1,1,1,1]],[1,[7,4,4,2]],[1,[7,4,4,1,1]],[1,[7,4,3,3]],[1,[7,4,3,2,1]],
[1,[7,4,3,1,1,1]],[1,[7,4,2,2,2]],[1,[7,4,2,2,1,1]],[1,[7,4,2,1,1,1,1]],[1,[7,
4,1,1,1,1,1,1]],[1,[7,3,3,3,1]],[1,[7,3,3,2,2]],[1,[7,3,3,2,1,1]],[1,[7,3,3,1,
1,1,1]],[1,[7,3,2,2,2,1]],[1,[7,3,2,2,1,1,1]],[1,[7,3,2,1,1,1,1,1]],[1,[7,2,2,
2,2,2]],[1,[7,2,2,2,2,1,1]],[1,[7,2,2,2,1,1,1,1]],[1,[7,2,2,1,1,1,1,1,1]],[1,[
6,6,5]],[1,[6,6,4,1]],[1,[6,6,3,2]],[1,[6,6,3,1,1]],[1,[6,6,2,2,1]],[1,[6,6,2,
1,1,1]],[1,[6,6,1,1,1,1,1]],[1,[6,5,5,1]],[1,[6,5,4,2]],[1,[6,5,4,1,1]],[1,[6,
5,3,3]],[1,[6,5,3,2,1]],[1,[6,5,3,1,1,1]],[1,[6,5,2,2,2]],[1,[6,5,2,2,1,1]],[1
,[6,5,2,1,1,1,1]],[1,[6,5,1,1,1,1,1,1]],[1,[6,4,4,3]],[1,[6,4,4,2,1]],[1,[6,4,
4,1,1,1]],[1,[6,4,3,3,1]],[1,[6,4,3,2,2]],[1,[6,4,3,2,1,1]],[1,[6,4,3,1,1,1,1]
],[1,[6,4,2,2,2,1]],[1,[6,4,2,2,1,1,1]],[1,[6,4,2,1,1,1,1,1]],[1,[6,3,3,3,2]],
[1,[6,3,3,3,1,1]],[1,[6,3,3,2,2,1]],[1,[6,3,3,2,1,1,1]],[1,[6,3,3,1,1,1,1,1]],
[1,[6,3,2,2,2,2]],[1,[6,3,2,2,2,1,1]],[1,[6,3,2,2,1,1,1,1]],[1,[6,3,2,1,1,1,1,
1,1]],[1,[6,2,2,2,2,2,1]],[1,[6,2,2,2,2,1,1,1]],[1,[6,2,2,2,1,1,1,1,1]],[1,[5,
5,5,2]],[1,[5,5,5,1,1]],[1,[5,5,4,3]],[1,[5,5,4,2,1]],[1,[5,5,4,1,1,1]],[1,[5,
5,3,3,1]],[1,[5,5,3,2,2]],[1,[5,5,3,2,1,1]],[1,[5,5,3,1,1,1,1]],[1,[5,5,2,2,2,
1]],[1,[5,5,2,2,1,1,1]],[1,[5,5,2,1,1,1,1,1]],[1,[5,4,4,4]],[1,[5,4,4,3,1]],[1
,[5,4,4,2,2]],[1,[5,4,4,2,1,1]],[1,[5,4,4,1,1,1,1]],[1,[5,4,3,3,2]],[1,[5,4,3,
3,1,1]],[1,[5,4,3,2,2,1]],[1,[5,4,3,2,1,1,1]],[1,[5,4,3,1,1,1,1,1]],[1,[5,4,2,
2,2,2]],[1,[5,4,2,2,2,1,1]],[1,[5,4,2,2,1,1,1,1]],[1,[5,4,2,1,1,1,1,1,1]],[1,[
5,3,3,3,3]],[1,[5,3,3,3,2,1]],[1,[5,3,3,3,1,1,1]],[1,[5,3,3,2,2,2]],[1,[5,3,3,
2,2,1,1]],[1,[5,3,3,2,1,1,1,1]],[1,[5,3,3,1,1,1,1,1,1]],[1,[5,3,2,2,2,2,1]],[1
,[5,3,2,2,2,1,1,1]],[1,[5,3,2,2,1,1,1,1,1]],[1,[5,2,2,2,2,2,2]],[1,[5,2,2,2,2,
2,1,1]],[1,[5,2,2,2,2,1,1,1,1]],[1,[5,2,2,2,1,1,1,1,1,1]],[1,[4,4,4,4,1]],[1,[
4,4,4,3,2]],[1,[4,4,4,3,1,1]],[1,[4,4,4,2,2,1]],[1,[4,4,4,2,1,1,1]],[1,[4,4,4,
1,1,1,1,1]],[1,[4,4,3,3,3]],[1,[4,4,3,3,2,1]],[1,[4,4,3,3,1,1,1]],[1,[4,4,3,2,
2,2]],[1,[4,4,3,2,2,1,1]],[1,[4,4,3,2,1,1,1,1]],[1,[4,4,3,1,1,1,1,1,1]],[1,[4,
4,2,2,2,2,1]],[1,[4,4,2,2,2,1,1,1]],[1,[4,4,2,2,1,1,1,1,1]],[1,[4,3,3,3,3,1]],
[1,[4,3,3,3,2,2]],[1,[4,3,3,3,2,1,1]],[1,[4,3,3,3,1,1,1,1]],[1,[4,3,3,2,2,2,1]
],[1,[4,3,3,2,2,1,1,1]],[1,[4,3,3,2,1,1,1,1,1]],[1,[4,3,2,2,2,2,2]],[1,[4,3,2,
2,2,2,1,1]],[1,[4,3,2,2,2,1,1,1,1]],[1,[4,3,2,2,1,1,1,1,1,1]],[1,[4,2,2,2,2,2,
2,1]],[1,[4,2,2,2,2,2,1,1,1]],[1,[4,2,2,2,2,1,1,1,1,1]],[1,[3,3,3,3,3,2]],[1,[
3,3,3,3,3,1,1]],[1,[3,3,3,3,2,2,1]],[1,[3,3,3,3,2,1,1,1]],[1,[3,3,3,3,1,1,1,1,
1]],[1,[3,3,3,2,2,2,2]],[1,[3,3,3,2,2,2,1,1]],[1,[3,3,3,2,2,1,1,1,1]],[1,[3,3,
3,2,1,1,1,1,1,1]],[1,[3,3,2,2,2,2,2,1]],[1,[3,3,2,2,2,2,1,1,1]],[1,[3,3,2,2,2,
1,1,1,1,1]],[1,[3,2,2,2,2,2,2,1,1]],[1,[3,2,2,2,2,2,1,1,1,1]],[1,[3,2,2,2,2,1,
1,1,1,1,1]],[1,[2,2,2,2,2,2,1,1,1,1,1]]]));