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 )))