SZS status Theorem for i/f/numeral/DIV2__BIT1
