% SZS status Timeout for DIFFS__LEM
