Updated production rules:
rule_1412: A71 -> 25 22 16 23 A23 15 24 21 22
rule_1442: A76 -> 30 A71 A77
rule_1445: A77 -> 12 7 9 10 A21 8 11 6 7