% SZS status Timeout for PROB__REAL__SUM__IMA
