% SZS status Timeout for EXTREAL__SUM__IMAGE__IN__IF__A
