SZS status Theorem for i/f/bit/BIT__IMP__GE__TWOEXP
