% SZS status Theorem for finite__1
% SZS output start Proof for finite__1
  file('i/f/words/finite__128',ah4s_fcps_finiteu_u_bit0)).
  file('i/f/words/finite__128',ch4s_wordss_finiteu_u_128)).
  file('i/f/words/finite__128',ah4s_fcps_finiteu_u_one)).
% SZS output end Proof for finite__1
