% SZS status Theorem for FCP__EXIST
% SZS output start Proof for FCP__EXIST
  file('i/f/fcp/FCP__EXISTS0',aHLu_FALSITY)).
  file('i/f/fcp/FCP__EXISTS0',aHLu_BOOLu_CASES)).
  file('i/f/fcp/FCP__EXISTS0',aHLu_TRUTH)).
  file('i/f/fcp/FCP__EXISTS0',ch4s_fcps_FCPu_u_EXISTS0)).
  file('i/f/fcp/FCP__EXISTS0',ah4s_fcps_FCPu_u_EXISTSu_u_def)).
  file('i/f/fcp/FCP__EXISTS0',ah4s_fcps_V2Lu_u_def)).
  file('i/f/fcp/FCP__EXISTS0',ah4s_lists_EXISTSu_u_GENLIST)).
% SZS output end Proof for FCP__EXIST
