Updated production rules:
rule_25: A10 -> A5 3 12
rule_26: A10 -> 3 12
rule_28: A12 -> A14 A10 A13 2 4 9
rule_40: A24 -> A26 A8 A25 7