% SZS status Theorem for NOT__N
% SZS output start Proof for NOT__N
  file('i/f/sat/NOT__NOT',ch4s_sats_NOTu_u_NOT)).
% SZS output end Proof for NOT__N
