Updated production rules:
rule_590: A20 -> 13 2 12 4 A21 11 5 3 2