SZS status Theorem for i/f/arithmetic/ABS__DIFF__ZERO_c0
