SZS status Theorem for i/f/relation/RUNIV__SUBSET_c0
