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