% SZS status Timeout for word__reverse__thm_
