% SZS status Theorem for CONJ__CO
% SZS output start Proof for CONJ__CO
  file('i/f/HolSmt/CONJ__CONG',ch4s_HolSmts_CONJu_u_CONG)).
% SZS output end Proof for CONJ__CO
