% SZS status Timeout for numeral__sqrt_
