% SZS status Theorem for IMP__CO
% SZS output start Proof for IMP__CO
  file('i/f/bool/IMP__CONG',ch4s_bools_IMPu_u_CONG)).
% SZS output end Proof for IMP__CO
