SZS status Theorem for i/f/numeral_bit/NUMERAL__DIV__2EXP_c0
