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