[M, N] -> { S1[2M, 2 + N] -> [2M, 2 + N, 0] }

[M, N] -> {  :  }

[M, N] -> { [i, j, k] -> separate[o0] }