Updated production rules:
rule_7: A3 -> 19 10 A6 9
rule_25: A9 -> 11 7 A8 6 3
rule_28: A11 -> 1 12
rule_56: A21 -> 6 1
rule_58: A22 -> 15 A7 17