{ S1[0] -> [0, 0] }
{  :  }
{ [i, j] -> separate[o0] }