48 states 34 scans 24 shifts 15 reductions 0 compares 0 ambiguities
( a ( a ( a ( a ( b ( a ( b  b ) a ) b ) a ) a ) a ) a )