63 states 27 scans 17 shifts 38 reductions 0 compares 0 ambiguities
(( a  1 )( b  1  b  1 )( c  1  c  1 )( d  1  d  2  d  1 ))