Updated production rules:
rule_9: A4 -> 3 5 10
rule_22: A8 -> 12 5
rule_26: A10 -> 2 10
rule_42: A15 -> 1 A11 13