SZS status Theorem for i/f/bitstring/v2n__lt
