Updated production rules:
rule_3: A3 -> 15 1 16
rule_4: A3 -> 10 8 5 A4 4
rule_16: A7 -> 6 19 5 A8 4
rule_40: A15 -> 18 7 A18
rule_53: A20 -> A11 14
rule_56: A22 -> 9 1