[M, N] -> { S1[2 + N] -> [1 + M, N] }
[M, N] -> {  :  }
[M, N] -> { [i, j] -> separate[o0] }