[M] -> { S1[1, i1] -> [1, i1, 0] : 2i1 >= M and 2i1 <= 1 + M }
[M] -> {  :  }
[M] -> { [i, j, k] -> separate[o0] }