Updated production rules:
rule_1: A1 -> A3 A22 18 A23 19 A7 A22 A21 A20 A2 A19
rule_8: A3 -> 10 A6 9
rule_18: A7 -> 7 A9 4 6
rule_37: A15 -> 12 1
rule_50: A19 -> A15 13
rule_52: A21 -> 15 A7 16