% SZS status Theorem for CLOSEST__IN__S
% SZS output start Proof for CLOSEST__IN__S
  file('i/f/float/CLOSEST__IN__SET',ch4s_floats_CLOSESTu_u_INu_u_SET)).
  file('i/f/float/CLOSEST__IN__SET',ah4s_bools_EQu_u_CLAUSESu_c1)).
  file('i/f/float/CLOSEST__IN__SET',ah4s_floats_CLOSESTu_u_ISu_u_EVERYTHING)).
  file('i/f/float/CLOSEST__IN__SET',ah4s_ieees_isu_u_closest0)).
  file('i/f/float/CLOSEST__IN__SET',ah4s_bools_REFLu_u_CLAUSE)).
% SZS output end Proof for CLOSEST__IN__S
