% SZS status Theorem for CONT__N
% SZS output start Proof for CONT__N
  file('i/f/lim/CONT__NEG',ch4s_lims_CONTu_u_NEG)).
  file('i/f/lim/CONT__NEG',ah4s_lims_CONTLu_u_LIM)).
  file('i/f/lim/CONT__NEG',ah4s_lims_LIMu_u_NEG)).
% SZS output end Proof for CONT__N
