SZS status Theorem for i/f/int_arith/bmarker__rewrites_c2
