SZS status Theorem for i/f/int_arith/eq__context__rwt1
