tested 7200 endpoints; not in S_K: 0
K 6 B=X: endpoints t=1..199 outside S_K: 67
K 7 B=X: endpoints t=1..199 outside S_K: 133
K 8 B=X: endpoints t=1..199 outside S_K: 162
