Updated production rules:
rule_2: A2 -> A4 A3 7
rule_58: A18 -> 17 A4 A19 15