% SZS status Theorem for num2roundmode__roundmode2n
% SZS output start Proof for num2roundmode__roundmode2n
  file('i/f/ieee/num2roundmode__roundmode2num',ch4s_ieees_num2roundmodeu_u_roundmode2num)).
  file('i/f/ieee/num2roundmode__roundmode2num',ah4s_ieees_roundmodeu_u_BIJu_c0)).
% SZS output end Proof for num2roundmode__roundmode2n
