% SZS status Timeout for numeral__div2_
