13 states 5 scans 2 shifts 8 reductions 0 compares 0 ambiguities
(( c  c ))