Updated production rules:
rule_23: A12 -> A7 A14 12 11 9 1 10 8
rule_35: A18 -> A5 14 A15 13
rule_41: A22 -> 1 17 A24 A23 A26 19
rule_43: A24 -> 1 18
rule_51: A27 -> A31 24 23 A28 22 21
rule_52: A28 -> 2 1