SZS status Theorem for i/f/bitstring/w2n__v2w
