% SZS status Theorem for num2ccode__ccode2n
% SZS output start Proof for num2ccode__ccode2n
  file('i/f/ieee/num2ccode__ccode2num',ch4s_ieees_num2ccodeu_u_ccode2num)).
  file('i/f/ieee/num2ccode__ccode2num',ah4s_ieees_ccodeu_u_BIJu_c0)).
% SZS output end Proof for num2ccode__ccode2n
