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