% SZS status Theorem for npair__
% SZS output start Proof for npair__
  file('i/f/numpair/npair__11',ch4s_numpairs_npairu_u_11)).
  file('i/f/numpair/npair__11',ah4s_numpairs_nsndu_u_npair)).
  file('i/f/numpair/npair__11',ah4s_numpairs_nfstu_u_npair)).
% SZS output end Proof for npair__
