% SZS status Theorem for MEM__TA
% SZS output start Proof for MEM__TA
  file('i/f/rich_list/MEM__TAKE',ch4s_richu_u_lists_MEMu_u_TAKE)).
  file('i/f/rich_list/MEM__TAKE',aHLu_TRUTH)).
  file('i/f/rich_list/MEM__TAKE',aHLu_BOOLu_CASES)).
  file('i/f/rich_list/MEM__TAKE',aHLu_FALSITY)).
  file('i/f/rich_list/MEM__TAKE',ah4s_richu_u_lists_MEMu_u_EXISTS)).
  file('i/f/rich_list/MEM__TAKE',ah4s_richu_u_lists_EXISTSu_u_TAKE)).
% SZS output end Proof for MEM__TA
