% SZS status Timeout for EXTREAL__SUM__IMAGE__NOT__NEG__I
