% SZS status Timeout for POLY__DIFF__MUL__LEM
