SZS status Theorem for i/f/int_arith/in__additive__range
