% SZS status Theorem for EVERY2__MEM__MO
% SZS output start Proof for EVERY2__MEM__MO
  file('i/f/list/EVERY2__MEM__MONO',ah4s_lists_EVERYu_u_MEMu_u_MONO)).
  file('i/f/list/EVERY2__MEM__MONO',ah4s_lists_EVERY2u_u_EVERY)).
  file('i/f/list/EVERY2__MEM__MONO',ch4s_lists_EVERY2u_u_MEMu_u_MONO)).
% SZS output end Proof for EVERY2__MEM__MO
