42 states 16 scans 13 shifts 26 reductions 0 compares 0 ambiguities
((( 1  *  2 ) + ( 3  *  4 )) ; )