Quelle  ctbs19.tbl   Sprache: unbekannt

MBT("Sym(19)",2,
"computed by Lukas Maas and Juergen Mueller, Feb. 2012,\n\
tests: DEC, TENS",
[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,1,2,2,2,1,1,1,2,1,1,2
,1,3,2,2,1,2,1,2,1,1,1,3,2,1,2],
[16,15,3],
[[1,3,5,7,9,12,13,14,15,16,17,18,22,24,26,28,29,30,31,35,38,57,59,66,75,76,77,
81,127,130],[2,4,6,8,10,21,23,25,34,36,50,51,52,53,54,58,60,62,63,80,89,138],[
126,128]],
[],
[[[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,0,0,0,0,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],[-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,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],[1,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,0
,0,0,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,-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,0,0,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,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,2,-1,0,0,-2,1,0,1,-1,0,0,-1,0,0,1,0,0,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,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,0,1,0,-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,-1,0,1,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],[-2,-2,2,0,0,2,-2,0,-1,1,0,0,1,-1,0,-1,1
,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,1,-3,-1,-2,-1,1,0,1,0,0,0,-1,0,0,0,-1,0,0,0,0,1
,0,0,0,0,0,0,0,0],[1,0,0,0,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,-1,-1,1,0,0,1,0,1,-1,0,-1,0,0,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0],[-4,-2,
0,0,-1,0,1,-2,0,0,1,-1,1,0,0,0,0,0,0,0,0,-1,0,0,1,0,0,0,0,0],[-2,-1,1,0,0,0,0,
-1,0,0,1,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[2,0,-1,1,0,0,0,1,-1,0,-1,1,
0,1,-1,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0],[2,3,-2,0,0,-2,2,0,2,-1,0,0,-2,1,0,1,-1
,0,-1,1,0,0,0,0,0,0,0,0,0,0],[0,0,0,-1,-1,0,0,0,0,1,0,1,0,-1,-1,0,0,0,0,-1,0,0
,1,0,0,0,0,0,0,0],[0,-1,0,-1,0,1,-1,1,-1,0,0,0,0,0,0,-1,0,0,1,0,0,1,-1,0,-1,1,
0,0,0,0],[-3,-1,1,-1,0,1,0,-1,0,1,1,-1,1,-1,0,-1,0,1,0,-1,1,0,0,0,0,0,0,0,0,0]
,[3,2,0,1,0,0,0,1,0,-1,-1,1,-1,1,0,1,0,0,-1,1,-1,0,0,0,0,-1,1,0,0,0],[0,3,0,2,
0,-3,3,-3,1,-3,0,0,0,1,0,0,0,-2,-1,0,-1,0,1,0,0,-1,-1,0,1,0],[-2,-1,3,1,0,1,-1
,0,-1,0,0,0,1,0,0,0,1,0,0,0,-1,-1,0,1,0,0,0,0,0,0],[-2,-3,-2,-2,0,1,-1,1,-1,2,
-1,1,0,-1,-1,-1,1,0,1,-2,1,0,1,-1,0,0,-1,1,0,0],[0,2,2,2,0,-2,0,-2,1,-3,1,-1,
-1,2,1,2,-1,1,-1,2,-2,-1,-1,1,1,0,2,-2,-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,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],[-1,0,-1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]
,[-2,0,-1,0,0,-1,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,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,0,-1,0,
1,-1,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,-1,1,0,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,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,1,0,-1,0,0,-1,1,-1,1,0,0,0,0,0,0,0,0],[1,
0,1,0,1,-1,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0],[-4,0,-2,1,-2,-1,1,1,-1,0,1,-1,0,
-1,0,1,0,0,0,0,0,0],[-2,0,-1,1,-1,-1,0,0,0,0,1,0,0,-1,1,0,0,0,0,0,0,0],[2,0,1,
-1,1,2,-1,0,0,0,-2,1,0,1,-1,-1,0,1,0,0,0,0],[-1,0,-1,1,-1,1,0,0,-1,1,0,0,0,0,0
,0,0,0,0,0,0,0],[2,2,0,-1,1,1,-1,0,1,-1,-1,1,0,1,-1,-1,1,0,0,0,0,0],[-3,1,0,2,
-2,-2,2,0,0,0,2,-2,0,-1,1,1,-1,-1,1,0,0,0],[0,0,-2,-1,0,1,-2,-1,1,1,-1,1,0,1,0
,-1,0,0,-1,1,0,0],[-2,-2,-1,0,0,0,1,0,-1,0,0,-1,0,0,0,1,0,0,0,-1,1,0],[-4,0,-2
,0,-2,-2,0,2,0,-2,0,0,0,0,0,0,0,0,0,0,-1,1]],[[1,0],[-1,1]]],
0,
[],
0,
rec(CharacterParameters:=[ [ 1, [ 19 ] ], [ 1, [ 18, 1 ] ], [ 1, [ 17, 2 ] ], [ 1, [ 16, 3 ] ], [ 1, [ 16, 2, 1 ] ], [ 1, [ 15, 4 ] ], 
  [ 1, [ 15, 3, 1 ] ], [ 1, [ 14, 5 ] ], [ 1, [ 14, 4, 1 ] ], [ 1, [ 14, 3, 2 ] ], [ 1, [ 13, 6 ] ], 
  [ 1, [ 13, 5, 1 ] ], [ 1, [ 13, 4, 2 ] ], [ 1, [ 13, 3, 2, 1 ] ], [ 1, [ 12, 7 ] ], [ 1, [ 12, 6, 1 ] ], 
  [ 1, [ 12, 5, 2 ] ], [ 1, [ 12, 4, 3 ] ], [ 1, [ 12, 4, 2, 1 ] ], [ 1, [ 11, 8 ] ], [ 1, [ 11, 7, 1 ] ], 
  [ 1, [ 11, 6, 2 ] ], [ 1, [ 11, 5, 3 ] ], [ 1, [ 11, 5, 2, 1 ] ], [ 1, [ 11, 4, 3, 1 ] ], [ 1, [ 10, 9 ] ], 
  [ 1, [ 10, 8, 1 ] ], [ 1, [ 10, 7, 2 ] ], [ 1, [ 10, 6, 3 ] ], [ 1, [ 10, 6, 2, 1 ] ], [ 1, [ 10, 5, 4 ] ], 
  [ 1, [ 10, 5, 3, 1 ] ], [ 1, [ 10, 4, 3, 2 ] ], [ 1, [ 9, 8, 2 ] ], [ 1, [ 9, 7, 3 ] ], [ 1, [ 9, 7, 2, 1 ] ], 
  [ 1, [ 9, 6, 4 ] ], [ 1, [ 9, 6, 3, 1 ] ], [ 1, [ 9, 5, 4, 1 ] ], [ 1, [ 9, 5, 3, 2 ] ], [ 1, [ 9, 4, 3, 2, 1 ] ], 
  [ 1, [ 8, 7, 4 ] ], [ 1, [ 8, 7, 3, 1 ] ], [ 1, [ 8, 6, 5 ] ], [ 1, [ 8, 6, 4, 1 ] ], [ 1, [ 8, 6, 3, 2 ] ], 
  [ 1, [ 8, 5, 4, 2 ] ], [ 1, [ 8, 5, 3, 2, 1 ] ], [ 1, [ 7, 6, 5, 1 ] ], [ 1, [ 7, 6, 4, 2 ] ], 
  [ 1, [ 7, 6, 3, 2, 1 ] ], [ 1, [ 7, 5, 4, 3 ] ], [ 1, [ 7, 5, 4, 2, 1 ] ], [ 1, [ 6, 5, 4, 3, 1 ] ] ]));