% SZS status Timeout for napp__thm_
