SZS status Theorem for i/f/intto/neg__BIT1__lt__thm
