0(0,1):  0  [i1]  1   (2,*)  0  e
1(1,1):  0  [i1]  0   (2,*)  0  e
2(2,0):  1  [r1]  2   (0,1)  1  1