% SZS status Theorem for CONS__R
% SZS output start Proof for CONS__R
  file('i/f/quotient_list/CONS__RSP',aHLu_TRUTH)).
  file('i/f/quotient_list/CONS__RSP',aHLu_BOOLu_CASES)).
  file('i/f/quotient_list/CONS__RSP',aHLu_FALSITY)).
  file('i/f/quotient_list/CONS__RSP',ch4s_quotientu_u_lists_CONSu_u_RSP)).
  file('i/f/quotient_list/CONS__RSP',ah4s_lists_LISTu_u_RELu_u_defu_c3)).
% SZS output end Proof for CONS__R
