% SZS status Theorem for IS__SUFFIX__REVER
% SZS output start Proof for IS__SUFFIX__REVER
  file('i/f/rich_list/IS__SUFFIX__REVERSE',ah4s_lists_REVERSEu_u_REVERSE)).
  file('i/f/rich_list/IS__SUFFIX__REVERSE',ah4s_richu_u_lists_ISu_u_PREFIXu_u_REVERSE)).
  file('i/f/rich_list/IS__SUFFIX__REVERSE',ch4s_richu_u_lists_ISu_u_SUFFIXu_u_REVERSE)).
% SZS output end Proof for IS__SUFFIX__REVER
