Updated production rules:
rule_453: A32 -> 31 27 12 26 A25 13 24 25 27
rule_508: A43 -> 11 4 9 5 A21 10 2 3 4