Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/sources/formale Sprachen/GAP/pkg/spinsym/symdata/ (Algebra von RWTH Aachen Version 4.15.1^©) Datei vom 1.9.2019 mit Größe 28 kB

Quelle ctba18.tbl Sprache: unbekannt

MBT("Alt(18)",2,
"(no info text)",
[1,1,1,1,2,1,1,1,2,1,1,1,1,3,1,2,1,2,1,1,1,1,1,3,1,2,2,1,2,1,1,1,2,1,3,3,1,1,3
,1,2,2,1,2,2,1,2,2,3,3,1],
[15,9,6],
[[1,2,3,4,5,6,7,8,9,13,15,17,20,21,22,23,24,28,30,32,33,48,50,53,54,55,59,70,
73,116],[12,14,16,18,27,29,36,69,71,112,113,123,188,199],[47,49,51,58,81,169,
196]],
[],
[[[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,0,0,
0,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],[-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],[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],[-1,1,-1,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],[-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,-2,1,0,1,-1,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,-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,-1,1,-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],[-1,2,-2,0,-1,1,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,-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,0,0,0,0,0,0,0,0,0,0,0,0,0],[3,-3,3,-3,2,-3,0,-1,0
,0,1,0,0,-1,-1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0],[1,0,0,-1,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],[-2,0,0,1,0,1,-1,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,-1,0,-1,1,0,1,1,0,-1,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,
0,0,0,0],[0,-2,2,0,2,-1,0,0,0,-2,1,0,1,-1,0,-1,0,1,0,0,0,0,0,0,0,0,0,0,0,0],[
-4,0,-2,3,-3,2,-1,1,-2,-1,0,0,1,0,1,0,0,-1,0,0,0,-1,0,1,0,0,0,0,0,0],[-1,-1,0,
1,0,0,0,1,-1,-1,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,-1,-1
,0,0,1,0,0,0,-1,-1,0,0,0,0,0,1,0,0,0,0,0,0,0],[0,2,-1,-1,-1,1,1,-1,1,2,-1,0,-2
,1,0,1,-1,-1,0,1,0,0,0,0,0,0,0,0,0,0],[2,-2,2,-2,2,-3,-1,1,0,0,1,0,0,-1,-1,0,1
,1,0,-1,0,1,-1,-1,1,0,0,0,0,0],[1,1,-1,-1,-1,0,1,-1,1,2,-1,0,-1,1,0,1,-1,-1,1,
0,0,0,0,0,0,0,0,0,0,0],[-2,-1,1,2,0,0,-2,2,-2,-2,2,0,2,-2,0,-1,1,1,-1,-1,1,0,0
,0,0,0,0,0,0,0],[1,1,1,0,0,0,1,-1,1,1,-1,0,-1,1,0,1,-1,0,0,1,-1,0,0,0,-1,1,0,0
,0,0],[-3,3,-3,3,-3,3,-1,-1,-1,0,-2,1,0,0,1,-1,-1,0,1,1,0,0,1,0,-1,-1,0,1,0,0]
,[0,0,-2,1,-1,2,2,-1,0,1,-2,0,-1,2,1,0,-1,-1,1,1,-1,-1,1,0,0,-1,1,0,0,0],[-1,
-1,-1,-1,-1,-1,0,-1,1,0,1,0,0,0,0,1,-1,0,0,-1,0,-1,0,1,0,1,-1,-1,1,0],[-1,1,-1
,0,1,1,1,1,0,-1,-3,-1,-2,1,0,1,1,-1,0,2,-2,1,0,-1,0,-1,1,1,-2,1]],[[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,-1,1,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,1,0,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,1,0,0,0,0,0,0,0,0],[1,-1,1,-1,-1,0,0,1,0,0,0,0,
0,0],[1,-1,0,-1,0,-1,0,-1,0,1,0,0,0,0],[1,0,1,-1,-1,0,1,0,0,0,0,0,0,0],[0,0,0,
1,1,1,0,0,1,0,0,0,-1,0],[0,0,-1,0,0,-1,-1,-1,0,0,0,0,1,0],[-1,-1,0,0,0,0,0,0,0
,0,0,1,0,0],[-1,-1,0,0,0,0,-1,1,-1,-1,1,-1,0,0]],[[1,0,0,0,0,0,0],[-1,1,0,0,0,
0,0],[1,0,1,0,0,0,-1],[0,-1,0,0,0,0,1],[-1,0,-1,1,0,0,0],[0,1,1,0,1,-1,-1],[-1
,0,-1,-1,0,1,1]]],
0,
0,
0,
rec(CharacterParameters:=[[1,[[18],'0']],[1,[[17,1],'0']],[1,[[16,2],'0']],[1,
[[15,3],'0']],[1,[[15,2,1],'0']],[1,[[14,4],'0']],[1,[[14,3,1],'0']],[1,[[13,5
],'0']],[1,[[13,4,1],'0']],[1,[[13,3,2],'0']],[1,[[12,6],'0']],[1,[[12,5,1],
'0']],[1,[[12,4,2],'0']],[1,[[12,3,2,1],'0']],[1,[[11,7],'0']],[1,[[11,6..1],
'0']],[1,[[11,5,2],'0']],[1,[[11,4,3],'0']],[1,[[11,4,2,1],'0']],[1,[[10,8],
'0']],[1,[[10,7,1],'0']],[1,[[10,6..2],'0']],[1,[[10,5,3],'0']],[1,[[10,5,2,1]
,'0']],[1,[[10,4,3,1],'0']],[1,[[9,8,1],'+']],[1,[[9,8,1],'-']],[1,[[9,7,2],
'0']],[1,[[9,6..3],'0']],[1,[[9,6,2,1],'0']],[1,[[9,5,4],'0']],[1,[[9,5,3,1],
'0']],[1,[[9,4,3,2],'0']],[1,[[8,7,3],'0']],[1,[[8,7,2,1],'+']],[1,[[8,7,2,1],
'-']],[1,[[8,6..4],'0']],[1,[[8,6,3,1],'0']],[1,[[8,5,4,1],'0']],[1,[[8,5,3,2]
,'0']],[1,[[8,4,3,2,1],'0']],[1,[[7,6..5],'0']],[1,[[7,6,4,1],'0']],[1,[[7,6,3
,2],'+']],[1,[[7,6,3,2],'-']],[1,[[7,5,4,2],'0']],[1,[[7,5,3,2,1],'+']],[1,[[7
,5,3,2,1],'-']],[1,[[6,5..3],'+']],[1,[[6,5..3],'-']],[1,[[6,5,4,2,1],'0']]])
);

MBT("Alt(18)",3,
"(no info text)",
[1,1,2,1,1,1,1,3,1,2,2,1,1,2,2,1,1,4,1,1,1,3,1,3,1,2,1,1,2,3,1,2,1,1,2,2,2,1,1
,2,1,3,2,2,1,4,1,1,1,2,1,3,1,1,1,3,4,1,4,3,2,3,1,2,2,1,4,2,3,2,1,1],
[8,5,4,2],
[[1,2,4,5,7,8,11,12,14,15,17,19,20,22,23,26,27,29,31,41,44,47,48,50,57,64,65,
69,75,77,80,96,109,159,169,188,199],[3,6,9,28,39,40,42,43,46,49,52,53,54,55,68
,70,73,78,100,113],[13,16,33,63,66,72,74,94,95,119],[21,24,108,121,158]],
[],
[[[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],
[-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],[
1,-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,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],[-2
,1,-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,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],[
2,-2,1,-1,0,0,1,-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],
[2,-1,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,0,0,0,0,0,0,0]
,[-2,2,-1,1,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,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,1,-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,0,0,0,
0],[2,-1,1,0,1,0,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],[3,-2,2,-1,1,0,2,-2,1,-1,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],[-3,2,-2,1,-2,0,-1,1,0,1,0,-1,0,0,0,-1,0,0,0,-1,0,1,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,1,-1,1,-1,0,0,1,-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],[-3,3,-2,2,-1,1,-2,2,-1,1,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,1,-2,2,-1,0,0,1,-1,0,0,0,0,0,1,-1,0,0,0,0,-1,1,0,0,0,
0,0,0,0,0,0,0,0,0,0,0],[3,-3,2,-2,2,-1,1,-1,-1,-1,0,1,0,1,0,1,-1,0,0,2,0,-1,0,
0,0,1,0,-1,1,0,0,0,0,0,0,0,0],[0,0,1,-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,0,0,0,0,0,0],[-2,2,-1,1,-1,1,-2,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],[1,-2,1,-1,0,-1,1,-1,1,0,0,1,-1,0,0,0,0,
0,0,-1,0,1,0,0,0,0,1,0,0,0,-1,0,0,0,-1,1,1],[2,-1,1,-1,1,0,2,-1,1,-1,1,1,-1,1,
-1,1,-1,0,1,1,0,-1,0,0,0,0,-1,0,0,0,1,0,0,0,1,-1,-1],[-2,0,-1,2,-1,1,0,1,-2,1,
-1,0,0,0,0,-1,1,0,-1,1,0,0,-1,0,0,1,0,0,0,0,0,0,0,0,0,0,0],[4,-3,3,-3,1,-1,2,
-2,3,-1,1,1,-2,1,-1,1,-1,0,1,-1,-1,0,1,1,-1,-1,-1,1,0,-1,1,0,0,0,0,0,0],[1,-1,
0,0,0,1,0,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,0],[4,-4,
2,-1,1,-1,2,-2,1,-1,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],
[-2,1,0,1,-1,-1,0,0,0,0,1,-1,0,0,0,-1,1,-1,0,0,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0
,0,0],[2,-2,0,-2,0,0,0,0,1,0,-1,1,0,0,1,0,-1,0,0,-1,1,0,1,-1,0,-1,1,0,0,0,0,0,
0,0,0,0,0],[1,-1,0,0,0,0,0,0,0,0,-1,1,0,0,1,0,0,0,-1,0,1,0,0,-1,1,0,1,0,0,0,-1
,0,0,0,-1,1,0],[2,-1,1,-1,1,0,1,-1,0,-1,0,1,0,1,0,1,-1,0,0,1,0,-1,0,0,0,0,-1,0
,0,0,1,0,0,0,1,-1,0],[-2,2,0,0,0,-1,0,0,1,0,2,-1,0,0,-1,0,0,0,1,-1,-2,0,0,1,-1
,0,-1,1,0,0,0,0,0,0,0,0,0],[-4,2,-2,2,-1,0,-1,1,-2,1,0,-1,1,0,0,-1,1,0,0,1,0,0
,-1,0,0,1,0,-1,0,1,0,0,0,0,0,0,0],[2,-1,0,-1,0,1,1,-1,0,0,-1,1,0,0,1,1,-1,1,0,
0,1,-1,1,-2,0,0,0,0,0,0,0,1,0,0,0,0,0],[-5,2,-1,2,-1,-1,-3,2,-3,1,0,-1,2,0,0,
-2,1,-1,-1,1,0,1,-2,1,1,1,0,-1,0,1,-1,-1,1,0,0,0,0],[-2,1,-2,1,-1,1,-2,2,-1,2,
-2,-1,1,-2,2,-1,1,0,-1,-1,1,0,1,-1,0,-1,2,0,0,0,0,0,-1,1,-1,0,0],[0,2,-1,1,0,2
,0,0,0,0,0,-1,0,-1,0,1,0,1,0,0,-1,-1,1,0,-1,0,-1,1,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,1,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,-1,1,0,0,0,0,0,0,0,0,0,0,
0,0,0,0],[-1,-1,0,0,0,0,0,0,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,-1,0,-1,0,0,0,1,0,0,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],[0,0,0,0,-1,1,-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,0],[1,0,-1,-1,0,0,0,0,-1,1,0,0,0,0,0,0,0,0,0,0
],[1,1,1,0,0,0,0,0,-1,-1,0,1,0,0,0,0,0,0,0,0],[0,0,0,0,1,-1,1,-1,0,0,-1,0,0,0,
1,0,0,0,0,0],[-1,-1,-1,0,0,0,1,0,0,1,0,-1,0,0,0,-1,1,0,0,0],[-1,0,-1,0,0,0,0,0
,1,0,0,-1,1,0,0,0,0,0,0,0],[-1,0,0,0,0,0,0,-1,0,0,0,0,0,1,0,0,0,0,0,0],[-1,-1,
-1,0,0,1,-1,1,1,1,0,-1,0,-1,-1,1,0,0,0,0],[0,0,1,1,0,0,-1,0,0,-1,0,1,-1,0,0,1,
-1,0,1,0],[0,0,0,1,0,0,1,0,0,0,-1,0,-1,0,0,0,0,1,0,0],[0,0,0,-2,0,0,-1,1,0,0,1
,0,1,0,-1,0,0,-1,-1,1]],[[1,0,0,0,0,0,0,0,0,0],[-1,0,0,1,0,-1,1,0,0,0],[-1,1,0
,0,0,0,0,0,0,0],[-1,-1,0,1,0,0,0,0,0,0],[1,0,0,-1,0,1,-1,1,0,0],[-1,0,0,1,0,-1
,1,-1,1,0],[1,1,0,-1,-1,1,0,0,0,0],[1,-1,1,0,0,0,0,0,0,0],[0,-1,-1,0,1,0,0,0,0
,0],[-1,-1,0,0,1,0,-1,0,-1,1]],[[1,0,0,0,0],[0,1,0,0,0],[-1,-1,1,0,0],[1,0,-1,
1,0],[-1,0,1,-1,1]]],
0,
0,
0,
rec(CharacterParameters:=[[1,[[18],'0']],[1,[[17,1],'0']],[1,[[16,2],'0']],[1,
[[16,1,1],'0']],[1,[[15,3],'0']],[1,[[15,2,1],'0']],[1,[[14,4],'0']],[1,[[14,3
,1],'0']],[1,[[14,2,2],'0']],[1,[[14,2,1,1],'0']],[1,[[13,5],'0']],[1,[[13,4,1
],'0']],[1,[[13,3,2],'0']],[1,[[13,3,1,1],'0']],[1,[[13,2,2,1],'0']],[1,[[12,6
],'0']],[1,[[12,5,1],'0']],[1,[[12,4,2],'0']],[1,[[12,4,1,1],'0']],[1,[[12,3,3
],'0']],[1,[[12,3,2,1],'0']],[1,[[12,2,2,1,1],'0']],[1,[[11,7],'0']],[1,[[11,6
..1],'0']],[1,[[11,5,2],'0']],[1,[[11,5,1,1],'0']],[1,[[11,4,3],'0']],[1,[[11,
4,2,1],'0']],[1,[[11,3,3,1],'0']],[1,[[11,3,2,2],'0']],[1,[[11,3,2,1,1],'0']],
[1,[[10,8],'0']],[1,[[10,7,1],'0']],[1,[[10,6..2],'0']],[1,[[10,6,1,1],'0']],[
1,[[10,5,3],'0']],[1,[[10,5,2,1],'0']],[1,[[10,4,4],'+']],[1,[[10,4,4],'-']],[
1,[[10,4,3,1],'0']],[1,[[10,4,2,2],'0']],[1,[[10,4,2,1,1],'0']],[1,[[10,3,3,2]
,'0']],[1,[[10,3,3,1,1],'0']],[1,[[10,3,2,2,1],'0']],[1,[[9,7,2],'0']],[1,[[9,
7,1,1],'0']],[1,[[9,6..3],'0']],[1,[[9,6,2,1],'0']],[1,[[9,5,3,1],'0']],[1,[[9
,5,2,2],'0']],[1,[[9,5,2,1,1],'0']],[1,[[9,4,4,1],'+']],[1,[[9,4,4,1],'-']],[1
,[[9,4,3,2],'0']],[1,[[9,4,3,1,1],'0']],[1,[[9,4,2,2,1],'0']],[1,[[9,3,3,2,1],
'0']],[1,[[9,3,2,2,1,1],'0']],[1,[[8,6..4],'0']],[1,[[8,6,3,1],'0']],[1,[[8,6,
2,2],'0']],[1,[[8,6,2,1,1],'0']],[1,[[8,5,3,2],'0']],[1,[[8,5,3,1,1],'0']],[1,
[[8,5,2,2,1],'0']],[1,[[8,4,2,2,1,1],'0']],[1,[[8,3,3,2,2],'0']],[1,[[8,3,3,2,
1,1],'0']],[1,[[7,5,3,2,1],'0']],[1,[[7,5,2,2,1,1],'+']],[1,[[7,5,2,2,1,1],'-'
]]]));

MBT("Alt(18)",5,
"(no info text)",
[1,2,3,1,2,1,7,1,4,1,8,7,1,1,2,1,4,1,2,4,2,1,6,2,11,1,2,3,3,1,1,8,3,4,1,3,1,2,
3,1,3,2,1,5,7,1,7,7,2,4,7,12,1,1,2,12,2,7,1,11,1,4,1,8,1,7,7,4,8,9,7,15,1,8,1,
7,1,1,4,3,4,2,8,8,1,2,1,3,4,1,2,4,7,12,1,1,1,8,1,7,1,13,4,1,16,14,19,2,3,6,6,3
,1,2,3,2,1,2,12,2,4,11,4,3,7,11,17,1,3,6,10,8,8,18],
[3,3,2,2,0,1,2,2,0,0,1,1,0,0,0,0,0,0,0],
[[1,5,6,10,11,12,14,16,17,19,22,24,28,29,35,40,41,45,57,58,62,63,67,68,71,72,
76,78,81,86,88,99,100,106,112,114,141,147,156,158],[2,4,7,9,20,21,25,31,33,47,
59,80,92,93,97,98,101,118,146,181],[3,8,27,30,52,56,83,139,140,145,150,152,153
,161],[13,15,18,32,46,48,51,53,55,73,77,111,113,157],,,[38,43,49,50,64,66,82,
85,89,95,108,109,125,128],[39,42,44,54,69,70,132,166,169,199]],
[,,,,,[[1,2],[4,5],[2,3],[3,5]],,,,,[[1,2],[4,5],[2,3],[3,4]],[[1,2],[3,4],[2,
5],[4,5]]],
[[[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],[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],[-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],[0,0,0,0,1,-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,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,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],[1,0,1,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,0,0,0,0,0],[-1,0,-1,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,1,0,0,0,0,0,0,0,0,0,0],[-2,1,-1,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,-1,1,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,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,0,0,0,-2,
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,0,0,0],[2,-1
,1,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,0,0,0,0,0,0,0,0,0
],[0,0,0,0,2,-1,0,1,0,1,-1,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,-1,0,0,-1,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
,1,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,0],[0,0,0,0,2,-2,0,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],[-1,1,0,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,-1,0,0,0,0,0,1,0,0,0],[0,0,0,0,-2,2,0,-1,1,-1,1,0,-1,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,1,-1,0,1,-1,0,-1,0,1,0,0
,0,0,0,0,0,0,1,0,-1,0,0,0,0,0,0,0,0,0,-1,0,0,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,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,
-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,-2
,2,0,-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],[2
,-2,1,-1,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],[-2,2,-1,1,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,1,-1,1,0,0
,0,0,0,0,0,0],[1,-2,0,-1,0,0,1,0,0,0,0,0,0,0,0,0,-1,0,1,0,0,0,0,0,0,0,0,0,0,0,
1,-1,0,0,0,0,-1,1,0,0],[0,0,0,0,2,-2,0,1,-1,2,-1,1,1,-1,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],[-1,2,0,1,-2,2,-2,-1,1,-2,1,-1,-1,1,1,0,1,0,
-1,0,1,-1,0,1,0,1,-1,0,0,0,-1,1,0,0,-1,0,1,-1,0,1],[2,-1,1,-1,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],[-2,1,-1,1,1,0,0,0,0
,1,-1,1,0,0,0,-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],[0,0,0,0
,-2,2,0,-1,1,-2,1,-1,-1,1,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],[1,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,0,0],[-3,1,-2,2,0,0,1,0,0,0,0,0,0,0,-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],[3,-2,3,-3,-1,0,-1,0,0,-1,1,-1,0,0,1,2,-1,1,1,-1,1,-1,1,0,
0,0,-1,1,-1,-1,0,-1,1,0,0,0,0,0,0,0],[1,0,1,-1,0,0,-1,0,0,0,0,0,0,0,1,1,0,1,0,
-1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,0,-2,2,1,0,2,0,0,1,-1,1,0,0,-2
,-1,0,-1,0,1,-1,1,-1,0,0,-1,1,-1,1,0,1,0,-1,0,1,0,0,0,0,0],[0,0,0,0,-3,1,0,-1,
1,-1,1,-1,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,4
,-4,0,2,-2,2,-1,1,1,-1,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]
,[-2,1,-1,1,2,0,0,1,-1,0,-1,0,0,1,0,-1,1,-1,0,0,0,1,0,0,-1,0,0,0,0,0,0,0,0,-1,
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],[-1,1,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],[1,-1,1,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],[1,
0,1,0,0,-1,0,0,0,1,0,0,0,0,0,0,0,0,0,0],[-1,0,-1,0,0,1,0,0,0,-1,0,0,1,0,0,0,0,
0,0,0],[2,-1,1,0,1,-1,0,0,0,0,0,0,-1,1,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],[2,-2,1,-1,1,-1,0,1,0,0,0,0,0,0,0,0,0,0,0,0],[-2,2,-1,1,-1,1
,0,-1,0,0,0,0,1,-1,0,1,0,0,0,0],[1,-1,1,-1,0,-1,0,1,0,1,0,0,-1,0,0,-1,0,0,1,0]
,[1,-1,0,0,1,0,0,0,0,-1,0,0,0,1,0,0,0,0,-1,1],[2,-1,1,-1,1,-1,1,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],[2,-2,1,-1,2,-1,1,
1,-1,0,0,0,-1,1,0,-1,0,1,0,0],[-3,1,-1,1,-1,1,-1,0,0,0,0,0,1,-1,1,0,0,0,0,0],[
-1,-1,0,0,0,1,0,0,-1,-1,1,0,0,0,0,0,0,0,0,0],[2,0,1,-1,0,-1,0,0,1,1,-1,0,-2,1,
-1,-1,1,0,0,0],[-1,2,-1,1,-1,0,0,-1,1,1,-1,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,0,1,0,0,0,0,0,0],[0,1,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],[1,1,-1,0,1,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,
-1,1,0,0,0,0,0],[-1,-1,1,0,-1,0,0,0,0,1,0,0,0,0],[0,0,0,0,0,0,0,1,-1,0,1,0,0,0
],[1,0,-1,1,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,-1,1,0,-1,0,0,1],[-2,0,1,-1,-1
,1,0,0,0,0,0,0,0,0],[1,0,-1,1,1,-1,1,0,0,0,0,0,0,0],[-1,0,1,-1,-1,1,-1,-1,0,0,
-1,1,0,0],[2,0,-1,1,1,-1,0,0,0,-1,0,0,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],[-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,1,-1,0,1,0,0,0,0,0,0],[1,-1,1,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,0,1,-1,0,0,0,0,0,0,0,1,0,0],[-1,0,-1,1,0,0,0,0,0
,0,0,-1,0,1],[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,1,-1,0,0,0,0,0,1,0,0,0,0],[-1,1,-2,1,0,0,0,
0,0,-1,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,1,0,0,0,0,0,
0],[0,1,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,-1,1,0,0,0,0,0],[1,1,-1,0,1,0,0,0,0,0,0,0,0,0],[-1,-1,1,0,-1,0,0,0,0,0,0,0,1
,0],[1,0,-1,1,0,0,0,0,0,0,0,0,0,0],[1,0,-1,1,1,-1,1,0,0,0,0,0,0,0],[-1,0,1,-1,
-1,1,-1,0,-1,1,0,0,0,0],[1,0,-1,1,1,-1,1,0,1,-1,1,0,0,0],[-2,0,1,-1,-1,1,0,0,0
,0,0,0,0,0],[-1,0,1,-1,-1,1,-1,-1,0,0,-1,1,0,0],[1,1,-1,0,1,0,0,1,-1,1,0,-1,-1
,1]],[[1,0,0,0,0,0,0,0,0,0],[-1,1,0,0,0,0,0,0,0,0],[1,-1,1,0,0,0,0,0,0,0],[-1,
0,-1,1,0,0,0,0,0,0],[1,0,1,-1,1,0,0,0,0,0],[-1,0,-1,1,-1,0,0,1,0,-1],[0,0,0,0,
0,0,0,0,0,1],[-2,1,-1,0,-1,1,0,0,0,0],[-1,1,-2,1,0,-1,1,1,-1,-1],[0,0,0,0,0,0,
0,-1,1,1]]],
0,
0,
0,
rec(CharacterParameters:=[[1,[[18],'0']],[1,[[17,1],'0']],[1,[[16,2],'0']],[1,
[[16,1,1],'0']],[1,[[15,3],'0']],[1,[[15,2,1],'0']],[1,[[15,1,1,1],'0']],[1,[[
14,4],'0']],[1,[[14,3,1],'0']],[1,[[14,2,2],'0']],[1,[[14,2,1,1],'0']],[1,[[14
,1,1,1,1],'0']],[1,[[13,5],'0']],[1,[[13,4,1],'0']],[1,[[13,3,2],'0']],[1,[[13
,3,1,1],'0']],[1,[[13,2,2,1],'0']],[1,[[13,2,1,1,1],'0']],[1,[[12,6],'0']],[1,
[[12,5,1],'0']],[1,[[12,4,2],'0']],[1,[[12,4,1,1],'0']],[1,[[12,3,3],'0']],[1,
[[12,3,2,1],'0']],[1,[[12,3,1,1,1],'0']],[1,[[12,2,2,2],'0']],[1,[[12,2,2,1,1]
,'0']],[1,[[12,2,1,1,1,1],'0']],[1,[[11,7],'0']],[1,[[11,6..1],'0']],[1,[[11,5
,2],'0']],[1,[[11,5,1,1],'0']],[1,[[11,4,3],'0']],[1,[[11,4,2,1],'0']],[1,[[11
,4,1,1,1],'0']],[1,[[11,3,3,1],'0']],[1,[[11,3,2,2],'0']],[1,[[11,3,2,1,1],'0'
]],[1,[[11,3,1,1,1,1],'0']],[1,[[11,2,2,2,1],'0']],[1,[[11,2,2,1,1,1],'0']],[1
,[[10,8],'0']],[1,[[10,7,1],'0']],[1,[[10,6..2],'0']],[1,[[10,6,1,1],'0']],[1,
[[10,5,3],'0']],[1,[[10,5,2,1],'0']],[1,[[10,5,1,1,1],'0']],[1,[[10,4,4],'0']]
,[1,[[10,4,3,1],'0']],[1,[[10,4,2,2],'0']],[1,[[10,4,2,1,1],'0']],[1,[[10,4,1,
1,1,1],'0']],[1,[[10,3,3,2],'0']],[1,[[10,3,3,1,1],'0']],[1,[[10,3,2,2,1],'0']
],[1,[[10,3,2,1,1,1],'0']],[1,[[10,2,2,2,2],'0']],[1,[[10,2,2,2,1,1],'0']],[1,
[[10,2,2,1,1,1,1],'0']],[1,[[9,9],'0']],[1,[[9,8,1],'0']],[1,[[9,7,2],'0']],[1
,[[9,7,1,1],'0']],[1,[[9,6..3],'0']],[1,[[9,6,2,1],'0']],[1,[[9,6,1,1,1],'0']]
,[1,[[9,5,4],'0']],[1,[[9,5,3,1],'0']],[1,[[9,5,2,2],'0']],[1,[[9,5,2,1,1],'0'
]],[1,[[9,5,1,1,1,1],'0']],[1,[[9,4,4,1],'0']],[1,[[9,4,3,2],'0']],[1,[[9,4,3,
1,1],'0']],[1,[[9,4,2,2,1],'0']],[1,[[9,4,2,1,1,1],'0']],[1,[[9,3,3,3],'0']],[
1,[[9,3,3,2,1],'0']],[1,[[9,3,3,1,1,1],'0']],[1,[[9,3,2,2,1,1],'0']],[1,[[9,3,
2,1,1,1,1],'0']],[1,[[9,2,2,2,2,1],'+']],[1,[[9,2,2,2,2,1],'-']],[1,[[9,2,2,2,
1,1,1],'0']],[1,[[8,8,2],'0']],[1,[[8,8,1,1],'0']],[1,[[8,7,3],'0']],[1,[[8,7,
2,1],'0']],[1,[[8,7,1,1,1],'0']],[1,[[8,6..4],'0']],[1,[[8,6,3,1],'0']],[1,[[8
,6,2,2],'0']],[1,[[8,6,2,1,1],'0']],[1,[[8,6,1,1,1,1],'0']],[1,[[8,5,5],'0']],
[1,[[8,5,4,1],'0']],[1,[[8,5,3,2],'0']],[1,[[8,5,3,1,1],'0']],[1,[[8,5,2,2,1],
'0']],[1,[[8,4,4,2],'0']],[1,[[8,4,4,1,1],'0']],[1,[[8,4,3,3],'0']],[1,[[8,4,3
,2,1],'0']],[1,[[8,4,3,1,1,1],'0']],[1,[[8,4,2,2,2],'0']],[1,[[8,4,2,1,1,1,1],
'0']],[1,[[8,3,3,3,1],'0']],[1,[[8,3,3,2,1,1],'0']],[1,[[8,3,3,1,1,1,1],'0']],
[1,[[7,7,4],'0']],[1,[[7,7,3,1],'0']],[1,[[7,7,2,2],'0']],[1,[[7,7,2,1,1],'0']
],[1,[[7,7,1,1,1,1],'0']],[1,[[7,6,4,1],'0']],[1,[[7,6,3,2],'0']],[1,[[7,6,3,1
,1],'0']],[1,[[7,6,2,2,1],'0']],[1,[[7,6,2,1,1,1],'0']],[1,[[7,5,4,2],'0']],[1
,[[7,5,4,1,1],'0']],[1,[[7,5,3,2,1],'0']],[1,[[7,5,3,1,1,1],'0']],[1,[[7,5,2,2
,2],'0']],[1,[[7,4,4,2,1],'0']],[1,[[7,4,4,1,1,1],'0']],[1,[[7,4,3,2,2],'0']],
[1,[[7,4,3,2,1,1],'0']],[1,[[7,4,3,1,1,1,1],'0']],[1,[[6,6,3,3],'0']],[1,[[6,5
,3,2,2],'+']],[1,[[6,5,3,2,2],'-']],[1,[[6,5,3,2,1,1],'0']]]));

MBT("Alt(18)",7,
"(no info text)",
[1,2,3,2,3,5,1,2,2,7,1,23,1,6,2,12,1,24,35,4,1,2,13,3,14,25,1,25,24,23,1,1,8,1
,9,2,1,3,2,14,1,13,12,1,2,6,2,13,9,2,1,10,15,18,2,36,9,3,2,2,7,1,6,2,5,3,2,2,
12,3,14,25,11,3,2,14,1,17,9,3,2,2,7,20,27,3,30,2,43,47,1,3,3,7,1,5,1,24,3,16,1
,25,24,9,3,5,26,13,12,1,9,3,3,21,5,38,1,6,2,5,29,32,3,3,42,2,1,19,23,35,2,14,1
,25,23,37,23,2,2,14,7,13,12,23,39,44,22,2,7,1,6,41,46,45,33,1,13,12,25,24,24,
31,35,6,1,28,40,34],
[2,2,2,0,1,1,1,0,1,0,0,1,1,1,0,0,0,0,0,0,0,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],
[[1,6,8,15,16,37,38,39,42,45,46,51,56,62,66,71,88,89,105,125,127,131,140,142,
166,167,175],[2,5,9,11,13,18,20,21,23,24,34,36,48,49,60,63,65,73,94,107,108,
115,146,147,157,180,182],[3,4,10,26,29,33,52,54,58,98,99,102,123,150,184,195,
196,199]],
[,,,,[[1,2],[6,7],[2,3],[3,4],[4,5],[5,7]],[[1,2],[2,3],[4,5],[5,6],[6,7],[3,7
]],[[1,2],[6,7],[5,7],[2,3],[3,4],[4,5]],,[[1,2],[2,3],[4,5],[5,6],[3,7],[6,7]
],,,[[1,2],[5,6],[2,3],[6,7],[4,7],[3,4]],[[1,2],[4,5],[2,3],[5,6],[6,7],[3,7]
],[[1,2],[4,5],[2,3],[5,6],[3,7],[6,7]],,,,,,,,,[[1,2],[6,7],[2,3],[3,4],[5,7]
,[4,5]],[[1,2],[5,6],[2,3],[6,7],[3,4],[4,7]],[[1,2],[3,4],[2,6],[4,5],[5,7],[
6,7]],,,,,,,,,,[[1,2],[2,3],[3..5]]],
[[[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,0,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],[-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,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,0,0,0,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,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,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,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],[-1,0,-1,0,1,0,0,0,-1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0
,0,0,0],[1,0,1,0,-1,0,0,0,1,0,0,0,0,0,0,0,-1,0,0,0,0,0,1,0,0,0,0],[-1,0,-1,0,1
,0,0,0,-1,0,0,0,0,0,0,0,1,0,0,0,0,0,-1,0,0,0,1],[2,-1,1,1,-1,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,1,-1,0,0,1,0,0,-1,0,0,0,0,0,1,0,0,0,
0,0,0,0],[-2,1,-1,-1,1,0,0,0,0,0,0,0,0,0,0,0,1,-1,0,0,0,0,-1,1,0,0,0],[0,0,0,0
,0,0,-1,1,0,0,-1,0,0,1,0,0,0,0,0,-1,0,0,0,0,1,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,-2,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,2,-1,0,1,1,-1,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0
,0,0,2,-1,0,1,1,-1,0,-1,1,0,0,0,0,1,-1,0,0,0,-1,1,0],[0,0,0,0,0,0,-2,1,0,-1,-1
,1,0,1,-1,0,0,0,0,-1,1,0,0,0,0,0,0],[0,0,0,0,0,0,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,-2,2,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,2,-2,0,2,1,-1,1,-1,1,-1,0,0,0,1,-1,1,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,0,0,0,0,0,0,0,0,0,0,1
,-1,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,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],[-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,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,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,1,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,-1,0,0,0
,0,1,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,1,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,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,-1,1,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,0,-1,0,0,0,0,0,1,0,0,0,0,-1,0,0,0,0,1,0,
0,0,0,0,0,0,0],[0,0,0,1,-1,0,1,0,0,0,0,0,0,0,0,-1,0,0,0,1,0,0,0,0,0,0,0],[1,0,
1,0,0,0,0,0,-1,0,0,0,0,1,0,0,0,0,-1,0,0,0,1,0,0,0,0],[-1,0,-1,0,0,0,0,0,1,0,0,
0,0,-1,0,0,0,0,1,0,0,0,-1,0,0,1,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,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,
0,2,-1,1,1,0,0,-1,0,0,0,0,0,-1,1,0,0,0,0,0,0,0,0,0,0],[0,0,0,-2,1,-1,-1,0,0,1,
0,0,0,0,0,1,-1,0,0,-1,1,0,0,0,0,0,0],[-2,1,-1,0,0,0,0,-1,1,0,0,0,1,-1,0,0,0,0,
0,0,0,0,-1,1,0,0,0],[0,0,0,1,0,1,0,0,0,-1,0,0,0,0,0,0,1,0,0,0,-1,0,0,0,1,0,0],
[2,-1,1,0,0,0,0,1,-1,0,0,0,-1,1,0,0,0,0,0,0,0,0,1,-1,0,-1,1],[0,0,0,1,-1,1,1,0
,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,-1,1,0,0,0,0,1,-1,0,0,1,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0],[-2,2,-2,0,0,0,0,-1,1,0,0,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0
,0],[0,0,0,-2,2,-2,-1,0,0,1,-1,0,0,0,0,1,-1,1,0,0,0,0,0,0,0,0,0],[0,0,0,2,-2,2
,1,0,0,-1,1,0,0,0,0,-1,1,-1,0,1,-1,1,0,0,0,0,0]],[[1,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,-1,0,1,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],[1,-1,0,1,0,0,-1,0,0,1,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],[-2,1,-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,0,0,0,0,0,0,0],[-2,1,-1,-1,1,0,1,-1,0,
-1,1,0,0,0,0,0,0,0],[1,0,1,0,-1,0,0,1,0,0,-1,0,0,1,0,0,0,0],[-1,0,-1,0,1,0,0,
-1,0,0,1,0,0,-1,0,1,0,-1],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],[1,-1,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,0,0,0,0,0,0,0],[1,-1,1,0
,0,0,-1,1,-1,0,0,0,1,0,0,0,0,0],[1,-1,1,1,-1,1,0,0,0,1,-1,1,-1,0,0,0,0,0],[-1,
1,-2,0,1,-1,0,-1,1,0,1,-1,0,-1,1,1,-1,-1],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,1,
1]]],
0,
0,
0,
rec(CharacterParameters:=[[1,[[18],'0']],[1,[[17,1],'0']],[1,[[16,2],'0']],[1,
[[16,1,1],'0']],[1,[[15,3],'0']],[1,[[15,2,1],'0']],[1,[[15,1,1,1],'0']],[1,[[
14,4],'0']],[1,[[14,3,1],'0']],[1,[[14,2,2],'0']],[1,[[14,2,1,1],'0']],[1,[[14
,1,1,1,1],'0']],[1,[[13,5],'0']],[1,[[13,4,1],'0']],[1,[[13,3,2],'0']],[1,[[13
,3,1,1],'0']],[1,[[13,2,2,1],'0']],[1,[[13,2,1,1,1],'0']],[1,[[13,1,1,1,1,1],
'0']],[1,[[12,6],'0']],[1,[[12,5,1],'0']],[1,[[12,4,2],'0']],[1,[[12,4,1,1],
'0']],[1,[[12,3,3],'0']],[1,[[12,3,2,1],'0']],[1,[[12,3,1,1,1],'0']],[1,[[12,2
,2,2],'0']],[1,[[12,2,2,1,1],'0']],[1,[[12,2,1,1,1,1],'0']],[1,[[12,1,1,1,1,1,
1],'0']],[1,[[11,7],'0']],[1,[[11,6..1],'0']],[1,[[11,5,2],'0']],[1,[[11,5,1,1
],'0']],[1,[[11,4,3],'0']],[1,[[11,4,2,1],'0']],[1,[[11,4,1,1,1],'0']],[1,[[11
,3,3,1],'0']],[1,[[11,3,2,2],'0']],[1,[[11,3,2,1,1],'0']],[1,[[11,3,1,1,1,1],
'0']],[1,[[11,2,2,2,1],'0']],[1,[[11,2,2,1,1,1],'0']],[1,[[11,2,1,1,1,1,1],'0'
]],[1,[[10,8],'0']],[1,[[10,7,1],'0']],[1,[[10,6..2],'0']],[1,[[10,6,1,1],'0']
],[1,[[10,5,3],'0']],[1,[[10,5,2,1],'0']],[1,[[10,5,1,1,1],'0']],[1,[[10,4,4],
'0']],[1,[[10,4,3,1],'0']],[1,[[10,4,2,2],'0']],[1,[[10,4,2,1,1],'0']],[1,[[10
,4,1,1,1,1],'0']],[1,[[10,3,3,2],'0']],[1,[[10,3,3,1,1],'0']],[1,[[10,3,2,2,1]
,'0']],[1,[[10,3,2,1,1,1],'0']],[1,[[10,3,1,1,1,1,1],'0']],[1,[[10,2,2,2,2],
'0']],[1,[[10,2,2,2,1,1],'0']],[1,[[10,2,2,1,1,1,1],'0']],[1,[[10,2,1,1,1,1,1,
1],'0']],[1,[[9,9],'0']],[1,[[9,8,1],'0']],[1,[[9,7,2],'0']],[1,[[9,7,1,1],'0'
]],[1,[[9,6..3],'0']],[1,[[9,6,2,1],'0']],[1,[[9,6,1,1,1],'0']],[1,[[9,5,4],
'0']],[1,[[9,5,3,1],'0']],[1,[[9,5,2,2],'0']],[1,[[9,5,2,1,1],'0']],[1,[[9,5,1
,1,1,1],'0']],[1,[[9,4,4,1],'0']],[1,[[9,4,3,2],'0']],[1,[[9,4,3,1,1],'0']],[1
,[[9,4,2,2,1],'0']],[1,[[9,4,2,1,1,1],'0']],[1,[[9,4,1,1,1,1,1],'0']],[1,[[9,3
,3,3],'0']],[1,[[9,3,3,2,1],'0']],[1,[[9,3,3,1,1,1],'0']],[1,[[9,3,2,2,2],'0']
],[1,[[9,3,2,2,1,1],'0']],[1,[[9,3,2,1,1,1,1],'0']],[1,[[9,3,1,1,1,1,1,1],'0']
],[1,[[9,2,2,2,2,1],'0']],[1,[[9,2,2,1,1,1,1,1],'+']],[1,[[9,2,2,1,1,1,1,1],
'-']],[1,[[8,8,2],'0']],[1,[[8,8,1,1],'0']],[1,[[8,7,3],'0']],[1,[[8,7,2,1],
'0']],[1,[[8,7,1,1,1],'0']],[1,[[8,6..4],'0']],[1,[[8,6,3,1],'0']],[1,[[8,6,2,
2],'0']],[1,[[8,6,2,1,1],'0']],[1,[[8,6,1,1,1,1],'0']],[1,[[8,5,5],'0']],[1,[[
8,5,4,1],'0']],[1,[[8,5,3,2],'0']],[1,[[8,5,3,1,1],'0']],[1,[[8,5,2,2,1],'0']]
,[1,[[8,5,2,1,1,1],'0']],[1,[[8,5,1,1,1,1,1],'0']],[1,[[8,4,4,2],'0']],[1,[[8,
4,4,1,1],'+']],[1,[[8,4,4,1,1],'-']],[1,[[8,4,3,3],'0']],[1,[[8,4,3,2,1],'0']]
,[1,[[8,4,3,1,1,1],'0']],[1,[[8,4,2,2,2],'0']],[1,[[8,4,2,2,1,1],'0']],[1,[[8,
4,2,1,1,1,1],'0']],[1,[[8,4,1,1,1,1,1,1],'0']],[1,[[8,3,3,3,1],'0']],[1,[[8,3,
3,2,2],'0']],[1,[[8,3,3,1,1,1,1],'+']],[1,[[8,3,3,1,1,1,1],'-']],[1,[[8,2,2,2,
2,2],'0']],[1,[[7,7,4],'0']],[1,[[7,7,3,1],'0']],[1,[[7,7,2,2],'0']],[1,[[7,7,
2,1,1],'0']],[1,[[7,7,1,1,1,1],'0']],[1,[[7,6..5],'0']],[1,[[7,6,4,1],'0']],[1
,[[7,6,3,2],'0']],[1,[[7,6,3,1,1],'0']],[1,[[7,6,2,2,1],'0']],[1,[[7,6,2,1,1,1
],'0']],[1,[[7,6,1,1,1,1,1],'0']],[1,[[7,5,5,1],'0']],[1,[[7,5,4,2],'0']],[1,[
[7,5,4,1,1],'0']],[1,[[7,5,3,3],'0']],[1,[[7,5,3,2,1],'0']],[1,[[7,5,3,1,1,1],
'0']],[1,[[7,5,2,2,2],'0']],[1,[[7,5,2,2,1,1],'0']],[1,[[7,5,2,1,1,1,1],'0']],
[1,[[7,4,4,3],'0']],[1,[[7,4,4,2,1],'0']],[1,[[7,4,3,3,1],'0']],[1,[[7,4,3,2,2
],'0']],[1,[[7,4,3,2,1,1],'0']],[1,[[7,4,2,2,2,1],'0']],[1,[[7,4,2,2,1,1,1],
'+']],[1,[[7,4,2,2,1,1,1],'-']],[1,[[7,3,3,3,2],'0']],[1,[[6,6,6],'0']],[1,[[6
,6,5,1],'0']],[1,[[6,6,4,2],'0']],[1,[[6,6,4,1,1],'0']],[1,[[6,6,3,2,1],'0']],
[1,[[6,6,3,1,1,1],'0']],[1,[[6,6,2,2,2],'0']],[1,[[6,6,2,2,1,1],'0']],[1,[[6,5
,5,2],'0']],[1,[[6,5,5,1,1],'0']],[1,[[6,5,4,2,1],'0']],[1,[[6,5,3,2,1,1],'0']
],[1,[[6,3,3,3,3],'0']]]));