% SZS status Theorem for IMP__NEG__CONT
% SZS output start Proof for IMP__NEG__CONT
  file('i/f/quantHeuristics/IMP__NEG__CONTRA',ch4s_quantHeuristicss_IMPu_u_NEGu_u_CONTRA)).
% SZS output end Proof for IMP__NEG__CONT
