Updated production rules:
rule_3: A2 -> A6 A5 A4 A3 2
rule_15: A9 -> A11 9 7 10 8
rule_45: A29 -> 19 18
rule_49: A31 -> 5 6