% SZS status Theorem for SND__PAIR__M
% SZS output start Proof for SND__PAIR__M
  file('i/f/pair/SND__PAIR__MAP',ch4s_pairs_SNDu_u_PAIRu_u_MAP)).
  file('i/f/pair/SND__PAIR__MAP',ah4s_pairs_PAIRu_u_MAP)).
  file('i/f/pair/SND__PAIR__MAP',ah4s_pairs_SND0)).
% SZS output end Proof for SND__PAIR__M
