% SZS status Theorem for IS__SUFFIX__compu
% SZS output start Proof for IS__SUFFIX__compu
  file('i/f/rich_list/IS__SUFFIX__compute',ch4s_richu_u_lists_ISu_u_SUFFIXu_u_compute)).
  file('i/f/rich_list/IS__SUFFIX__compute',ah4s_richu_u_lists_ISu_u_PREFIXu_u_REVERSE)).
% SZS output end Proof for IS__SUFFIX__compu
