17 states 7 scans 4 shifts 11 reductions 0 compares 0 ambiguities
(( + ( +  1 )) ; )