0(0,10):  0  [i2,i1]   0   1   ( 2, 3)  ( 4, *)  0  e
 1(1,10):  0  [ic,i1]   1   0   ( *, *)  ( 4, *)  0  e
 2(2, 8):  1  [r2,C+]   3   6   ( 0, *)  ( *, *)  1  1
 3(2, 9):  1  [r2,C+]   2   7   ( 0, *)  ( *, *)  1  1
 4(3, 7):  1  [C+,r1]   5   4   ( *, *)  ( 0, 1)  2  2
 5(4, 6):  2  [C-,i2]   4   5   ( *, *)  ( 8,10)  2  1,2,1
 6(5, 4):  2  [i2,C-]   6   2   ( 8, 9)  ( *, *)  1  2,1,2
 7(5, 5):  2  [i2,C-]   7   3   (10,11)  ( *, *)  1  2,1,2
 8(6, 0):  3  [r2,r2]   9  10   ( 6, *)  ( 5, *)  3  2,1,2,1
 9(6, 1):  3  [r2,rn]   8   9   ( 6, *)  ( *, *)  3  2,1,2,1
10(6, 2):  3  [r2,r2]  11   8   ( 7, *)  ( 5, *)  3  2,1,2,1
11(6, 3):  3  [r2,rn]  10  11   ( 7, *)  ( *, *)  3  2,1,2,1