Updated production rules:
rule_1: A1 -> A3 A25 21 A26 22 A3 A25 18 A24 A3 16 A2 A18
rule_42: A14 -> 9 7
rule_53: A19 -> 8 A20 7
rule_63: A22 -> 6 8 A20 7