Updated production rules:
rule_24: A15 -> A17 5 4 A5 A16
rule_28: A19 -> A21 5 4 A5 A20
rule_30: A21 -> 3 6 A8 A22
rule_32: A23 -> 3 A25 A7 A24