Updated production rules:
rule_535: A9 -> 37 30 14 31 A25 15 28 29
rule_554: A13 -> A9 30 A14
rule_2551: A20 -> 18 13 3 12 5 A21 11 4 2 3