Updated production rules:
rule_4: A2 -> A5 A3 3 2
rule_37: A20 -> A23 A21 15 14
rule_50: A27 -> A29 A28 20 19
rule_70: A37 -> 11 1 17 A38 18
rule_76: A42 -> A10 A43 23 27 26