SZS status Theorem for i/f/numeral_bit/LOWEST__SET__BIT__compute_c0
