SZS status Theorem for i/f/int_arith/INT__LT__ADD__NUMERAL_c1
