% SZS status Theorem for FRACTI
% SZS output start Proof for FRACTI
  file('i/f/float/FRACTION',ch4s_floats_FRACTION)).
  file('i/f/float/FRACTION',ah4s_pairs_PAIR)).
  file('i/f/float/FRACTION',ah4s_ieees_fraction0)).
% SZS output end Proof for FRACTI
