Updated production rules:
rule_1: A1 -> A3 4 A10 11 A11 A3 A10 A9 A3 A2 A8
rule_2: A2 -> 6 A3
rule_12: A8 -> 1 A3 7
rule_14: A9 -> 8 9