1[n] -> { s0[i] -> [i] : exists alpha: 1 <= i <= n and i = 4 alpha; 2 s1[i] -> [i] : exists alpha: 1 <= i <= n and i = 4 alpha + 2 } 3[n] -> { : } 4[n] -> { [*] -> separate[x] : x >= 0 } 5