SZS status Theorem for i/f/bit/BIT__SHIFT__THM
