% SZS status Theorem for IS__SUFFIX__RE
% SZS output start Proof for IS__SUFFIX__RE
  file('i/f/rich_list/IS__SUFFIX__REFL',ah4s_richu_u_lists_ISu_u_SUFFIXu_u_APPEND)).
  file('i/f/rich_list/IS__SUFFIX__REFL',ah4s_lists_APPEND0u_c0)).
  file('i/f/rich_list/IS__SUFFIX__REFL',ch4s_richu_u_lists_ISu_u_SUFFIXu_u_REFL)).
% SZS output end Proof for IS__SUFFIX__RE
