SZS status Theorem for i/f/bitstring/ops__to__n2w_c21
