SZS status Theorem for i/f/numeral_bit/NUMERAL__TIMES__2EXP_c0
