SZS status Theorem for i/f/rat/rat__ABS__REP__CLASS_c0
