% SZS status Theorem for n2s__compu
% SZS output start Proof for n2s__compu
  file('i/f/ASCIInumbers/n2s__compute',ch4s_ASCIInumberss_n2su_u_compute)).
  file('i/f/ASCIInumbers/n2s__compute',ah4s_strings_IMPLODEu_u_EXPLODEu_u_Iu_c1)).
  file('i/f/ASCIInumbers/n2s__compute',ah4s_ASCIInumberss_n2su_u_def)).
% SZS output end Proof for n2s__compu
