% SZS status Theorem for toString__i
% SZS output start Proof for toString__i
  file('i/f/ASCIInumbers/toString__inj',ch4s_ASCIInumberss_toStringu_u_inj)).
  file('i/f/ASCIInumbers/toString__inj',ah4s_ASCIInumberss_toNumu_u_toString)).
% SZS output end Proof for toString__i
