Updated production rules:
rule_2: A2 -> 3 A9 A10
rule_67: A45 -> 4 A52