SZS status Theorem for i/f/relation/RTC__RULES__RIGHT1_c0
