Updated production rules:
rule_3: A3 -> A5 3 4 A4
rule_16: A9 -> A6 5 A10
rule_18: A11 -> 7 10
rule_21: A14 -> 3 4 12
rule_22: A15 -> A7 7 A16
rule_31: A24 -> A6 5 A25