Updated production rules:
rule_31: A16 -> A20 A18 12 A19
rule_2: A2 -> A3 4 1
rule_25: A13 -> A3 9