% SZS status Theorem for index__co
% SZS output start Proof for index__co
  file('i/f/fcp/index__comp',ah4s_bools_CONDu_u_CLAUSESu_c1)).
  file('i/f/fcp/index__comp',aHLu_BOOLu_CASES)).
  file('i/f/fcp/index__comp',ch4s_fcps_indexu_u_comp)).
  file('i/f/fcp/index__comp',ah4s_combins_FAILu_u_DEF)).
  file('i/f/fcp/index__comp',ah4s_fcps_FCPu_u_BETA)).
  file('i/f/fcp/index__comp',aHLu_TRUTH)).
  file('i/f/fcp/index__comp',ah4s_bools_CONDu_u_CLAUSESu_c0)).
% SZS output end Proof for index__co
