N0 -> 0 N0 -> N0 + N1 N0 -> 2*N0 N1 -> 0 N1 -> N1 + N2 N1 -> 2*N1 N2 -> 0 N0 -> N0 + N3 N3 -> 0