SZS status Theorem for i/f/bitstring/v2w__11
