== p=2 k=3 |W_k|=2048
  n=0 m=0 z=0 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[], predicted=None OK
  n=0 m=0 z=0 i=2: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 0, J=[], predicted=1 OK
  n=0 m=0 z=0 i=3: log_p|K P_i : P_i| = 2, |J cap [0,i-1)| = 0, J=[], predicted=2 OK
  n=0 m=0 z=0 i=4: log_p|K P_i : P_i| = 3, |J cap [0,i-1)| = 0, J=[], predicted=3 OK
  n=0 m=0 z=1 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[7], predicted=None OK
  n=0 m=0 z=1 i=2: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 0, J=[7], predicted=1 OK
  n=0 m=0 z=1 i=3: log_p|K P_i : P_i| = 2, |J cap [0,i-1)| = 0, J=[7], predicted=2 OK
  n=0 m=0 z=1 i=4: log_p|K P_i : P_i| = 3, |J cap [0,i-1)| = 0, J=[7], predicted=3 OK
  n=0 m=1 z=0 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[], predicted=None OK
  n=0 m=1 z=0 i=2: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 0, J=[], predicted=1 OK
  n=0 m=1 z=0 i=3: log_p|K P_i : P_i| = 2, |J cap [0,i-1)| = 0, J=[], predicted=2 OK
  n=0 m=1 z=0 i=4: log_p|K P_i : P_i| = 3, |J cap [0,i-1)| = 0, J=[], predicted=3 OK
  n=0 m=1 z=1 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[7], predicted=None OK
  n=0 m=1 z=1 i=2: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 0, J=[7], predicted=1 OK
  n=0 m=1 z=1 i=3: log_p|K P_i : P_i| = 2, |J cap [0,i-1)| = 0, J=[7], predicted=2 OK
  n=0 m=1 z=1 i=4: log_p|K P_i : P_i| = 3, |J cap [0,i-1)| = 0, J=[7], predicted=3 OK
  n=1 m=0 z=0 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[], predicted=None OK
  n=1 m=0 z=0 i=2: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[], predicted=None OK
  n=1 m=0 z=0 i=3: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 0, J=[], predicted=1 OK
  n=1 m=0 z=0 i=4: log_p|K P_i : P_i| = 2, |J cap [0,i-1)| = 0, J=[], predicted=2 OK
  n=1 m=0 z=1 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[6], predicted=None OK
  n=1 m=0 z=1 i=2: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 0, J=[6], predicted=None OK
  n=1 m=0 z=1 i=3: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 0, J=[6], predicted=1 OK
  n=1 m=0 z=1 i=4: log_p|K P_i : P_i| = 2, |J cap [0,i-1)| = 0, J=[6], predicted=2 OK
  n=1 m=1 z=0 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[1, 3, 5, 7], predicted=None OK
  n=1 m=1 z=0 i=2: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[1, 3, 5, 7], predicted=None OK
  n=1 m=1 z=0 i=3: log_p|K P_i : P_i| = 2, |J cap [0,i-1)| = 1, J=[1, 3, 5, 7], predicted=2 OK
  n=1 m=1 z=0 i=4: log_p|K P_i : P_i| = 3, |J cap [0,i-1)| = 1, J=[1, 3, 5, 7], predicted=3 OK
  n=1 m=1 z=1 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[1, 3, 5, 6, 7], predicted=None OK
  n=1 m=1 z=1 i=2: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 0, J=[1, 3, 5, 6, 7], predicted=None OK
  n=1 m=1 z=1 i=3: log_p|K P_i : P_i| = 2, |J cap [0,i-1)| = 1, J=[1, 3, 5, 6, 7], predicted=2 OK
  n=1 m=1 z=1 i=4: log_p|K P_i : P_i| = 3, |J cap [0,i-1)| = 1, J=[1, 3, 5, 6, 7], predicted=3 OK
  n=1 m=2 z=0 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[1, 3, 5, 7], predicted=None OK
  n=1 m=2 z=0 i=2: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[1, 3, 5, 7], predicted=None OK
  n=1 m=2 z=0 i=3: log_p|K P_i : P_i| = 2, |J cap [0,i-1)| = 1, J=[1, 3, 5, 7], predicted=2 OK
  n=1 m=2 z=0 i=4: log_p|K P_i : P_i| = 3, |J cap [0,i-1)| = 1, J=[1, 3, 5, 7], predicted=3 OK
  n=1 m=2 z=1 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[1, 3, 5, 6, 7], predicted=None OK
  n=1 m=2 z=1 i=2: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 0, J=[1, 3, 5, 6, 7], predicted=None OK
  n=1 m=2 z=1 i=3: log_p|K P_i : P_i| = 2, |J cap [0,i-1)| = 1, J=[1, 3, 5, 6, 7], predicted=2 OK
  n=1 m=2 z=1 i=4: log_p|K P_i : P_i| = 3, |J cap [0,i-1)| = 1, J=[1, 3, 5, 6, 7], predicted=3 OK
  n=2 m=0 z=0 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[], predicted=None OK
  n=2 m=0 z=0 i=2: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[], predicted=None OK
  n=2 m=0 z=0 i=3: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[], predicted=None OK
  n=2 m=0 z=0 i=4: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 0, J=[], predicted=1 OK
  n=2 m=0 z=1 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[4], predicted=None OK
  n=2 m=0 z=1 i=2: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 0, J=[4], predicted=None OK
  n=2 m=0 z=1 i=3: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 0, J=[4], predicted=None OK
  n=2 m=0 z=1 i=4: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 0, J=[4], predicted=1 OK
  n=2 m=1 z=0 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[1, 5], predicted=None OK
  n=2 m=1 z=0 i=2: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[1, 5], predicted=None OK
  n=2 m=1 z=0 i=3: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 1, J=[1, 5], predicted=None OK
  n=2 m=1 z=0 i=4: log_p|K P_i : P_i| = 2, |J cap [0,i-1)| = 1, J=[1, 5], predicted=2 OK
  n=2 m=1 z=1 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[1, 4, 5], predicted=None OK
  n=2 m=1 z=1 i=2: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 0, J=[1, 4, 5], predicted=None OK
  n=2 m=1 z=1 i=3: log_p|K P_i : P_i| = 2, |J cap [0,i-1)| = 1, J=[1, 4, 5], predicted=None OK
  n=2 m=1 z=1 i=4: log_p|K P_i : P_i| = 2, |J cap [0,i-1)| = 1, J=[1, 4, 5], predicted=2 OK
  n=2 m=2 z=0 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[1, 2, 5, 6], predicted=None OK
  n=2 m=2 z=0 i=2: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[1, 2, 5, 6], predicted=None OK
  n=2 m=2 z=0 i=3: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 1, J=[1, 2, 5, 6], predicted=None OK
  n=2 m=2 z=0 i=4: log_p|K P_i : P_i| = 3, |J cap [0,i-1)| = 2, J=[1, 2, 5, 6], predicted=3 OK
  n=2 m=2 z=1 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[1, 2, 4, 5, 6], predicted=None OK
  n=2 m=2 z=1 i=2: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 0, J=[1, 2, 4, 5, 6], predicted=None OK
  n=2 m=2 z=1 i=3: log_p|K P_i : P_i| = 2, |J cap [0,i-1)| = 1, J=[1, 2, 4, 5, 6], predicted=None OK
  n=2 m=2 z=1 i=4: log_p|K P_i : P_i| = 3, |J cap [0,i-1)| = 2, J=[1, 2, 4, 5, 6], predicted=3 OK
  n=2 m=3 z=0 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[1, 2, 3, 5, 6, 7], predicted=None OK
  n=2 m=3 z=0 i=2: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[1, 2, 3, 5, 6, 7], predicted=None OK
  n=2 m=3 z=0 i=3: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 1, J=[1, 2, 3, 5, 6, 7], predicted=None OK
  n=2 m=3 z=0 i=4: log_p|K P_i : P_i| = 3, |J cap [0,i-1)| = 2, J=[1, 2, 3, 5, 6, 7], predicted=3 OK
  n=2 m=3 z=1 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[1, 2, 3, 4, 5, 6, 7], predicted=None OK
  n=2 m=3 z=1 i=2: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 0, J=[1, 2, 3, 4, 5, 6, 7], predicted=None OK
  n=2 m=3 z=1 i=3: log_p|K P_i : P_i| = 2, |J cap [0,i-1)| = 1, J=[1, 2, 3, 4, 5, 6, 7], predicted=None OK
  n=2 m=3 z=1 i=4: log_p|K P_i : P_i| = 3, |J cap [0,i-1)| = 2, J=[1, 2, 3, 4, 5, 6, 7], predicted=3 OK
  n=2 m=4 z=0 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[1, 2, 3, 5, 6, 7], predicted=None OK
  n=2 m=4 z=0 i=2: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[1, 2, 3, 5, 6, 7], predicted=None OK
  n=2 m=4 z=0 i=3: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 1, J=[1, 2, 3, 5, 6, 7], predicted=None OK
  n=2 m=4 z=0 i=4: log_p|K P_i : P_i| = 3, |J cap [0,i-1)| = 2, J=[1, 2, 3, 5, 6, 7], predicted=3 OK
  n=2 m=4 z=1 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[1, 2, 3, 4, 5, 6, 7], predicted=None OK
  n=2 m=4 z=1 i=2: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 0, J=[1, 2, 3, 4, 5, 6, 7], predicted=None OK
  n=2 m=4 z=1 i=3: log_p|K P_i : P_i| = 2, |J cap [0,i-1)| = 1, J=[1, 2, 3, 4, 5, 6, 7], predicted=None OK
  n=2 m=4 z=1 i=4: log_p|K P_i : P_i| = 3, |J cap [0,i-1)| = 2, J=[1, 2, 3, 4, 5, 6, 7], predicted=3 OK
ALL_OK True
== p=3 k=2 |W_k|=177147
  n=0 m=0 z=0 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[], predicted=None OK
  n=0 m=0 z=0 i=2: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 0, J=[], predicted=1 OK
  n=0 m=0 z=0 i=3: log_p|K P_i : P_i| = 2, |J cap [0,i-1)| = 0, J=[], predicted=2 OK
  n=0 m=0 z=1 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[8], predicted=None OK
  n=0 m=0 z=1 i=2: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 0, J=[8], predicted=1 OK
  n=0 m=0 z=1 i=3: log_p|K P_i : P_i| = 2, |J cap [0,i-1)| = 0, J=[8], predicted=2 OK
  n=0 m=1 z=0 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[], predicted=None OK
  n=0 m=1 z=0 i=2: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 0, J=[], predicted=1 OK
  n=0 m=1 z=0 i=3: log_p|K P_i : P_i| = 2, |J cap [0,i-1)| = 0, J=[], predicted=2 OK
  n=0 m=1 z=1 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[8], predicted=None OK
  n=0 m=1 z=1 i=2: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 0, J=[8], predicted=1 OK
  n=0 m=1 z=1 i=3: log_p|K P_i : P_i| = 2, |J cap [0,i-1)| = 0, J=[8], predicted=2 OK
  n=1 m=0 z=0 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[], predicted=None OK
  n=1 m=0 z=0 i=2: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[], predicted=None OK
  n=1 m=0 z=0 i=3: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 0, J=[], predicted=1 OK
  n=1 m=0 z=1 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[6], predicted=None OK
  n=1 m=0 z=1 i=2: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 0, J=[6], predicted=None OK
  n=1 m=0 z=1 i=3: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 0, J=[6], predicted=1 OK
  n=1 m=1 z=0 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[1, 4, 7], predicted=None OK
  n=1 m=1 z=0 i=2: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[1, 4, 7], predicted=None OK
  n=1 m=1 z=0 i=3: log_p|K P_i : P_i| = 2, |J cap [0,i-1)| = 1, J=[1, 4, 7], predicted=2 OK
  n=1 m=1 z=1 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[1, 4, 6, 7], predicted=None OK
  n=1 m=1 z=1 i=2: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 0, J=[1, 4, 6, 7], predicted=None OK
  n=1 m=1 z=1 i=3: log_p|K P_i : P_i| = 2, |J cap [0,i-1)| = 1, J=[1, 4, 6, 7], predicted=2 OK
  n=1 m=2 z=0 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[1, 2, 4, 5, 7, 8], predicted=None OK
  n=1 m=2 z=0 i=2: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[1, 2, 4, 5, 7, 8], predicted=None OK
  n=1 m=2 z=0 i=3: log_p|K P_i : P_i| = 2, |J cap [0,i-1)| = 1, J=[1, 2, 4, 5, 7, 8], predicted=2 OK
  n=1 m=2 z=1 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[1, 2, 4, 5, 6, 7, 8], predicted=None OK
  n=1 m=2 z=1 i=2: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 0, J=[1, 2, 4, 5, 6, 7, 8], predicted=None OK
  n=1 m=2 z=1 i=3: log_p|K P_i : P_i| = 2, |J cap [0,i-1)| = 1, J=[1, 2, 4, 5, 6, 7, 8], predicted=2 OK
  n=1 m=3 z=0 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[1, 2, 4, 5, 7, 8], predicted=None OK
  n=1 m=3 z=0 i=2: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[1, 2, 4, 5, 7, 8], predicted=None OK
  n=1 m=3 z=0 i=3: log_p|K P_i : P_i| = 2, |J cap [0,i-1)| = 1, J=[1, 2, 4, 5, 7, 8], predicted=2 OK
  n=1 m=3 z=1 i=1: log_p|K P_i : P_i| = 0, |J cap [0,i-1)| = 0, J=[1, 2, 4, 5, 6, 7, 8], predicted=None OK
  n=1 m=3 z=1 i=2: log_p|K P_i : P_i| = 1, |J cap [0,i-1)| = 0, J=[1, 2, 4, 5, 6, 7, 8], predicted=None OK
  n=1 m=3 z=1 i=3: log_p|K P_i : P_i| = 2, |J cap [0,i-1)| = 1, J=[1, 2, 4, 5, 6, 7, 8], predicted=2 OK
ALL_OK True
ALL_CASES_OK True
EXIT 0
