% SZS status Timeout for BOOL__FUN__INDU
