60 states 25 scans 17 shifts 40 reductions 0 compares 0 ambiguities
(((( 1 ( 2  +  3 ))( 4  +  5 ))( 6  +  7 )) ; )