% SZS status Theorem for FOLDR__REVER
% SZS output start Proof for FOLDR__REVER
  file('i/f/rich_list/FOLDR__REVERSE',ah4s_lists_REVERSEu_u_REVERSE)).
  file('i/f/rich_list/FOLDR__REVERSE',aHLu_EXT)).
  file('i/f/rich_list/FOLDR__REVERSE',ch4s_richu_u_lists_FOLDRu_u_REVERSE)).
  file('i/f/rich_list/FOLDR__REVERSE',ah4s_richu_u_lists_FOLDRu_u_FOLDLu_u_REVERSE)).
% SZS output end Proof for FOLDR__REVER
