Updated production rules:
rule_3: A2 -> A7 A6 A5 A3 2
rule_23: A13 -> A14 15 1 1 8 9
rule_26: A15 -> 1 6 7 4 5 10 11