Updated production rules:
rule_23: A11 -> A16 A12 7 6 5 10 9