0(0,2):  0  [i2]  0   (1,2)  0  e
1(1,0):  1  [r2]  2   (0,*)  1  1
2(1,1):  1  [r2]  1   (0,*)  1  1