% SZS status Theorem for FCP__T__F_
% SZS output start Proof for FCP__T__F_
  file('i/f/words/FCP__T__F_c0',ah4s_combins_Ku_u_THM)).
  file('i/f/words/FCP__T__F_c0',ah4s_fcps_CARTu_u_EQ)).
  file('i/f/words/FCP__T__F_c0',ah4s_fcps_FCPu_u_BETA)).
  file('i/f/words/FCP__T__F_c0',ah4s_bools_IMPu_u_CONG)).
  file('i/f/words/FCP__T__F_c0',aHLu_FALSITY)).
  file('i/f/words/FCP__T__F_c0',ah4s_bools_TRUTH)).
  file('i/f/words/FCP__T__F_c0',aHLu_BOOLu_CASES)).
  file('i/f/words/FCP__T__F_c0',ah4s_bools_EQu_u_CLAUSESu_c1)).
  file('i/f/words/FCP__T__F_c0',ah4s_wordss_wordu_u_T0)).
  file('i/f/words/FCP__T__F_c0',ch4s_wordss_FCPu_u_Tu_u_Fu_c0)).
% SZS output end Proof for FCP__T__F_
