Updated production rules:
rule_20: A8 -> A6 A9 5