SZS status Theorem for i/f/bit/ZERO__LT__TWOEXP
