Updated production rules:
rule_17: A11 -> 6 7 4 5 8 9 1 1 10 13 A6 A9 A13 A12 11