SZS status Theorem for i/f/int_arith/less__to__leq__samer
