% SZS status Theorem for FOLDR__SING
% SZS output start Proof for FOLDR__SING
  file('i/f/rich_list/FOLDR__SINGLE',ch4s_richu_u_lists_FOLDRu_u_SINGLE)).
  file('i/f/rich_list/FOLDR__SINGLE',ah4s_lists_FOLDR0u_c0)).
  file('i/f/rich_list/FOLDR__SINGLE',ah4s_lists_FOLDR0u_c1)).
% SZS output end Proof for FOLDR__SING
