% SZS status Theorem for INJF__I
% SZS output start Proof for INJF__I
  file('i/f/ind_type/INJF__INJ',aHLu_EXT)).
  file('i/f/ind_type/INJF__INJ',ah4s_indu_u_types_NUMPAIRu_u_DESTu_c0)).
  file('i/f/ind_type/INJF__INJ',ah4s_indu_u_types_NUMPAIRu_u_DESTu_c1)).
  file('i/f/ind_type/INJF__INJ',ah4s_indu_u_types_INJF0)).
  file('i/f/ind_type/INJF__INJ',ch4s_indu_u_types_INJFu_u_INJ)).
% SZS output end Proof for INJF__I
