Updated production rules:
rule_523: A23 -> 23 19 14 22 A16 13 21 20 19
rule_538: A27 -> 9 8 10 12 A14 7 11 6 8 1