% SZS status Theorem for REVERSE__
% SZS output start Proof for REVERSE__
  file('i/f/patricia_casts/REVERSE__11',ch4s_patriciau_u_castss_REVERSEu_u_11)).
  file('i/f/patricia_casts/REVERSE__11',ah4s_lists_REVERSEu_u_11)).
% SZS output end Proof for REVERSE__
