Updated production rules:
rule_524: A23 -> 23 15 14 17 A16 13 18 16 15
rule_539: A27 -> 12 3 10 5 7 6 8 9 A14 11 4 2 3