% SZS status Timeout for POLY__ZERO__LEM
