% SZS status Timeout for SUM__FUN__EQU
