28 states 11 scans 7 shifts 18 reductions 0 compares 0 ambiguities
(( 1 ( 2  +  3 )) ; )