{ S1[i0] -> [i0, 0] : i0 >= 0 and i0 <= 2 }
{  :  }
{ [i, j] -> separate[o0] }