% SZS status Theorem for INJA__I
% SZS output start Proof for INJA__I
  file('i/f/ind_type/INJA__INJ',ch4s_indu_u_types_INJAu_u_INJ)).
  file('i/f/ind_type/INJA__INJ',ah4s_indu_u_types_INJA0)).
% SZS output end Proof for INJA__I
