% SZS status Theorem for roundmode2num__num2roundmo
% SZS output start Proof for roundmode2num__num2roundmo
  file('i/f/ieee/roundmode2num__num2roundmode',ch4s_ieees_roundmode2numu_u_num2roundmode)).
  file('i/f/ieee/roundmode2num__num2roundmode',ah4s_ieees_roundmodeu_u_BIJu_c1)).
  file('i/f/ieee/roundmode2num__num2roundmode',aHLu_TRUTH)).
  file('i/f/ieee/roundmode2num__num2roundmode',aHLu_FALSITY)).
  file('i/f/ieee/roundmode2num__num2roundmode',aHLu_BOOLu_CASES)).
% SZS output end Proof for roundmode2num__num2roundmo
