19 states 8 scans 7 shifts 10 reductions 0 compares 0 ambiguities
( 1 (( +  2 )( +  2 )( +  2 )))