Updated production rules:
rule_3: A2 -> A10 A3 7
rule_6: A4 -> 17 2
rule_40: A11 -> 10 A12
rule_62: A20 -> A4 4 3 A21