Updated production rules:
rule_31: A15 -> 10 14 15