% SZS status Theorem for FOLDL__REVER
% SZS output start Proof for FOLDL__REVER
  file('i/f/rich_list/FOLDL__REVERSE',ah4s_lists_REVERSEu_u_REVERSE)).
  file('i/f/rich_list/FOLDL__REVERSE',aHLu_EXT)).
  file('i/f/rich_list/FOLDL__REVERSE',ch4s_richu_u_lists_FOLDLu_u_REVERSE)).
  file('i/f/rich_list/FOLDL__REVERSE',ah4s_richu_u_lists_FOLDLu_u_FOLDRu_u_REVERSE)).
% SZS output end Proof for FOLDL__REVER
