% SZS status Theorem for s2n__compu
% SZS output start Proof for s2n__compu
  file('i/f/ASCIInumbers/s2n__compute',ch4s_ASCIInumberss_s2nu_u_compute)).
  file('i/f/ASCIInumbers/s2n__compute',ah4s_strings_IMPLODEu_u_EXPLODEu_u_Iu_c0)).
  file('i/f/ASCIInumbers/s2n__compute',ah4s_ASCIInumberss_s2nu_u_def)).
% SZS output end Proof for s2n__compu
