Updated production rules:
rule_12: A7 -> 6 5
rule_20: A9 -> A7 10
rule_23: A11 -> 14 13 12