Updated production rules:
rule_2: A2 -> A6 A3 6 11 A8 A10 A9 7 A8