% SZS status Timeout for ELGOT__LEM
