% SZS status Timeout for REAL__SUM__IMAGE__CONST__EQ__1__EQ__INV__CA
