% SZS status Theorem for SWAP__REVERSE__S
% SZS output start Proof for SWAP__REVERSE__S
  file('i/f/list/SWAP__REVERSE__SYM',ch4s_lists_SWAPu_u_REVERSEu_u_SYM)).
  file('i/f/list/SWAP__REVERSE__SYM',ah4s_lists_SWAPu_u_REVERSE)).
% SZS output end Proof for SWAP__REVERSE__S
