Updated production rules:
rule_427: A9 -> 25 17 14 16 A16 15 18 19 17
rule_444: A13 -> 13 3 11 2 A14 12 4 5 3