% SZS status Theorem for FOLDL__SING
% SZS output start Proof for FOLDL__SING
  file('i/f/rich_list/FOLDL__SINGLE',ch4s_richu_u_lists_FOLDLu_u_SINGLE)).
  file('i/f/rich_list/FOLDL__SINGLE',ah4s_lists_FOLDL0u_c0)).
  file('i/f/rich_list/FOLDL__SINGLE',ah4s_lists_FOLDL0u_c1)).
% SZS output end Proof for FOLDL__SING
