% SZS status Theorem for SND__R
% SZS output start Proof for SND__R
  file('i/f/quotient_pair/SND__RSP',aHLu_BOOLu_CASES)).
  file('i/f/quotient_pair/SND__RSP',aHLu_FALSITY)).
  file('i/f/quotient_pair/SND__RSP',ch4s_quotientu_u_pairs_SNDu_u_RSP)).
  file('i/f/quotient_pair/SND__RSP',ah4s_pairs_ABSu_u_PAIRu_u_THM)).
  file('i/f/quotient_pair/SND__RSP',ah4s_quotientu_u_pairs_PAIRu_u_RELu_u_THM)).
  file('i/f/quotient_pair/SND__RSP',ah4s_pairs_SND0)).
  file('i/f/quotient_pair/SND__RSP',aHLu_TRUTH)).
% SZS output end Proof for SND__R
