% SZS status Theorem for ELIM__UNCUR
% SZS output start Proof for ELIM__UNCUR
  file('i/f/pair/ELIM__UNCURRY',ch4s_pairs_ELIMu_u_UNCURRY)).
  file('i/f/pair/ELIM__UNCURRY',ah4s_pairs_UNCURRY0)).
% SZS output end Proof for ELIM__UNCUR
