Updated production rules:
rule_5: A2 -> A6 A3 4 2
rule_25: A12 -> A20 A13 9 8
rule_37: A21 -> A22 1 10 11