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