Updated production rules:
rule_2: A2 -> A3 1
rule_15: A10 -> A3 7
rule_16: A11 -> 4 2
rule_17: A12 -> 8 A3 9
rule_19: A13 -> A18 A15 10 A16