% SZS status Theorem for EXPONE
% SZS output start Proof for EXPONE
  file('i/f/float/EXPONENT',ch4s_floats_EXPONENT)).
  file('i/f/float/EXPONENT',ah4s_pairs_PAIR)).
  file('i/f/float/EXPONENT',ah4s_ieees_exponent0)).
% SZS output end Proof for EXPONE
