% SZS status Theorem for SWAP__REVER
% SZS output start Proof for SWAP__REVER
  file('i/f/list/SWAP__REVERSE',ch4s_lists_SWAPu_u_REVERSE)).
  file('i/f/list/SWAP__REVERSE',ah4s_lists_REVERSEu_u_REVERSE)).
% SZS output end Proof for SWAP__REVER
