Updated production rules:
rule_1: A1 -> A3 A9 A10 A3 A9 A8 9 A3 6 A2 A5
rule_7: A5 -> 1 A3 7
rule_12: A8 -> 8 A3
rule_14: A9 -> 4 2
rule_16: A10 -> 11 A3 12