 k     <run r0>  <run r2> 
 0     same      same     
 1  ≠  left      right    

first divergence at step 1
