% SZS status Theorem for FST__R
% SZS output start Proof for FST__R
  file('i/f/quotient_pair/FST__RSP',aHLu_BOOLu_CASES)).
  file('i/f/quotient_pair/FST__RSP',aHLu_FALSITY)).
  file('i/f/quotient_pair/FST__RSP',ch4s_quotientu_u_pairs_FSTu_u_RSP)).
  file('i/f/quotient_pair/FST__RSP',ah4s_pairs_ABSu_u_PAIRu_u_THM)).
  file('i/f/quotient_pair/FST__RSP',ah4s_quotientu_u_pairs_PAIRu_u_RELu_u_THM)).
  file('i/f/quotient_pair/FST__RSP',ah4s_pairs_FST0)).
  file('i/f/quotient_pair/FST__RSP',aHLu_TRUTH)).
% SZS output end Proof for FST__R
