LR automaton: 91 states (see nitcc0.lr.dot)