Updated production rules:
rule_4: A3 -> 5 2 4 1
rule_14: A12 -> 3 21 22 20
rule_20: A18 -> A8 A19 20
rule_23: A20 -> A14 A22 1
rule_31: A24 -> 20 A10 A28
rule_40: A31 -> 16 21 30
rule_45: A34 -> 8 32 33 31
rule_61: A45 -> 10 2 36 1