% SZS status Timeout for POLY__DIFF__AUX__MUL__LEM
