% SZS status Timeout for num__ring__thms_c
