SZS status Theorem for i/f/bitstring/extend0_c1
