% SZS status Theorem for NIL__R
% SZS output start Proof for NIL__R
  file('i/f/quotient_list/NIL__RSP',ch4s_quotientu_u_lists_NILu_u_RSP)).
  file('i/f/quotient_list/NIL__RSP',ah4s_lists_LISTu_u_RELu_u_defu_c0)).
  file('i/f/quotient_list/NIL__RSP',ah4s_bools_TRUTH)).
% SZS output end Proof for NIL__R
