Updated production rules:
rule_780: A23 -> 25 17 14 16 A16 15 18 19 17
rule_795: A27 -> 13 3 11 2 A14 12 4 5 3