1 2 3
[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] }