Updated production rules:
rule_1: A1 -> A58 3 A2 A11 4 A45 A54 A19