Updated production rules:
rule_10: A5 -> 13 A4 5
rule_26: A8 -> 11 12
rule_35: A14 -> 15 13 19
rule_38: A17 -> 21 2 6
rule_41: A20 -> 5 2 23
rule_45: A24 -> 6 A7 A25