SZS status Theorem for i/f/numeral_bit/iBITWISE0_c0
