% SZS status Timeout for EXTREAL__SUM__IMAGE__INV__CARD__EQ_
