[n] -> { S1[ii, i] -> [ii, i, 0] : i >= 0 and i <= n and i <= 9 + 10ii and i >= 10ii }
[n] -> {  : n >= 0 }
[n] -> { [i, j, k] -> separate[o0] }