% SZS status Timeout for numeral__sqrt_c
