SZS status Theorem for i/f/ind_type/MK__REC__INJ
