Quelle  ctba19.tbl   Sprache: unbekannt

MBT("Alt(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,2,1,2,1,2,2,2,1,1,1,2,2,1
,1,2,1,3,2,2,2,1,2,1,2,1,1,1,3,3,2,2,1,2,2],
[15,14,2],
[[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,
158,197,206,247,253],[126,128,234]],
[],
[[[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,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,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,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,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,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,1,-1,0,0
,0,-1,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,-1,1,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,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],[-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],[0,0,0,0,0,1,0,-1,0,0,-1,1,-1,1,0,0,0,0,0
,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,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,0,0,0,0,0],[-1,0,-1,1,-1,-1
,0,0,-1,-1,1,0,0,-1,1,1,0,0,1,-1,0,0,-1,1,0,-1,0],[-1,0,0,0,0,0,0,0,1,1,0,0,0,
0,0,-1,0,0,-1,1,0,0,1,-1,0,1,0],[2,0,1,-1,1,2,-1,0,0,0,-2,1,0,1,-1,-1,0,1,0,0,
0,0,0,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,0,0,0,0,0],[1,
1,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,1,-1,0,0,-1,1,0,0,0],[1,1,0,-1,1,1,-1,0,1,0
,-1,1,0,1,-1,-1,1,0,-1,1,0,0,1,-1,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,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,
0,0,0,0,0],[-1,-1,-1,0,0,0,0,0,-1,0,0,0,0,0,0,1,1,0,0,0,0,1,-1,0,-1,-1,0],[-1,
-1,0,0,0,0,1,0,0,0,0,-1,0,0,0,0,-1,0,0,-1,1,-1,1,0,1,1,0],[-2,0,-1,0,-1,-1,0,1
,0,-1,0,0,0,0,0,0,0,0,0,0,-1,1,-1,0,0,0,0],[-2,0,-1,0,-1,-1,0,1,0,-1,0,0,0,0,0
,0,0,0,0,0,0,0,1,0,0,0,0]],[[1,0,0],[0,1,-1],[-1..1]]],
0,
[(53,54),(39,40)(46,47)(48,49)(56,57),(59,60)],
0,
rec(CharacterParameters:=[ [ 1, [ [ 19 ], '0' ] ], [ 1, [ [ 18, 1 ], '0' ] ], [ 1, [ [ 17, 2 ], '0' ] ], [ 1, [ [ 16, 3 ], '0' ] ], 
  [ 1, [ [ 16, 2, 1 ], '0' ] ], [ 1, [ [ 15, 4 ], '0' ] ], [ 1, [ [ 15, 3, 1 ], '0' ] ], [ 1, [ [ 14, 5 ], '0' ] ], 
  [ 1, [ [ 14, 4, 1 ], '0' ] ], [ 1, [ [ 14, 3, 2 ], '0' ] ], [ 1, [ [ 13, 6 ], '0' ] ], 
  [ 1, [ [ 13, 5, 1 ], '0' ] ], [ 1, [ [ 13, 4, 2 ], '0' ] ], [ 1, [ [ 13, 3, 2, 1 ], '0' ] ], 
  [ 1, [ [ 12, 7 ], '0' ] ], [ 1, [ [ 12, 6, 1 ], '0' ] ], [ 1, [ [ 12, 5, 2 ], '0' ] ], 
  [ 1, [ [ 12, 4, 3 ], '0' ] ], [ 1, [ [ 12, 4, 2, 1 ], '0' ] ], [ 1, [ [ 11, 8 ], '0' ] ], 
  [ 1, [ [ 11, 7, 1 ], '0' ] ], [ 1, [ [ 11, 6, 2 ], '0' ] ], [ 1, [ [ 11, 5, 3 ], '0' ] ], 
  [ 1, [ [ 11, 5, 2, 1 ], '0' ] ], [ 1, [ [ 11, 4, 3, 1 ], '0' ] ], [ 1, [ [ 10, 9 ], '+' ] ], 
  [ 1, [ [ 10, 9 ], '-' ] ], [ 1, [ [ 10, 8, 1 ], '0' ] ], [ 1, [ [ 10, 7, 2 ], '0' ] ], 
  [ 1, [ [ 10, 6, 3 ], '0' ] ], [ 1, [ [ 10, 6, 2, 1 ], '0' ] ], [ 1, [ [ 10, 5, 4 ], '0' ] ], 
  [ 1, [ [ 10, 5, 3, 1 ], '0' ] ], [ 1, [ [ 10, 4, 3, 2 ], '0' ] ], [ 1, [ [ 9, 8, 2 ], '0' ] ], 
  [ 1, [ [ 9, 7, 3 ], '0' ] ], [ 1, [ [ 9, 7, 2, 1 ], '+' ] ], [ 1, [ [ 9, 7, 2, 1 ], '-' ] ], 
  [ 1, [ [ 9, 6, 4 ], '0' ] ], [ 1, [ [ 9, 6, 3, 1 ], '0' ] ], [ 1, [ [ 9, 5, 4, 1 ], '0' ] ], 
  [ 1, [ [ 9, 5, 3, 2 ], '0' ] ], [ 1, [ [ 9, 4, 3, 2, 1 ], '0' ] ], [ 1, [ [ 8, 7, 4 ], '0' ] ], 
  [ 1, [ [ 8, 7, 3, 1 ], '+' ] ], [ 1, [ [ 8, 7, 3, 1 ], '-' ] ], [ 1, [ [ 8, 6, 5 ], '0' ] ], 
  [ 1, [ [ 8, 6, 4, 1 ], '0' ] ], [ 1, [ [ 8, 6, 3, 2 ], '0' ] ], [ 1, [ [ 8, 5, 4, 2 ], '0' ] ], 
  [ 1, [ [ 8, 5, 3, 2, 1 ], '0' ] ], [ 1, [ [ 7, 6, 5, 1 ], '0' ] ], [ 1, [ [ 7, 6, 4, 2 ], '0' ] ], 
  [ 1, [ [ 7, 6, 3, 2, 1 ], '+' ] ], [ 1, [ [ 7, 6, 3, 2, 1 ], '-' ] ], [ 1, [ [ 7, 5, 4, 3 ], '+' ] ], 
  [ 1, [ [ 7, 5, 4, 3 ], '-' ] ], [ 1, [ [ 7, 5, 4, 2, 1 ], '0' ] ], [ 1, [ [ 6, 5, 4, 3, 1 ], '+' ] ], 
  [ 1, [ [ 6, 5, 4, 3, 1 ], '-' ] ] ]));