% SZS status Timeout for NOT__FINITE__IMP__dimindex_
