Updated production rules:
rule_6: A3 -> A9 6 5 A8 3
rule_56: A15 -> A19 A18 9 8 7
rule_87: A25 -> A19 12 11 A27 14
rule_93: A28 -> A30 A29 16 13
rule_128: A40 -> 24 23
rule_130: A41 -> 32 26 A44
rule_176: A50 -> 2 28 27
rule_215: A63 -> 37 36