Updated production rules:
rule_4: A2 -> A12 A11 10 9
rule_34: A18 -> A4 A19 16 15
rule_45: A25 -> A4 A26 5 19 1 20 1 22 21 12 1 18 17
rule_59: A33 -> 7 6 8
rule_70: A37 -> 29 A4 A38 26 23 1 1
rule_88: A46 -> A20 14 1 13 27 A47
rule_94: A50 -> A4 A26 24 25