SZS status Theorem for i/f/bitstring/reduce__or__v2w
