SZS status Theorem for i/f/integer/int__ABS__REP__CLASS_c0
