SZS status Theorem for i/f/ind_type/DEST__REC__INJ
