% SZS status Theorem for EXCLUDED__MIDDL
% SZS output start Proof for EXCLUDED__MIDDL
  file('i/f/bool/EXCLUDED__MIDDLE0',ch4s_bools_EXCLUDEDu_u_MIDDLE0)).
% SZS output end Proof for EXCLUDED__MIDDL
