17 states 8 scans 8 shifts 8 reductions 0 compares 0 ambiguities
( a (( b  c )( b  c )( b  c )) d )