% SZS status Theorem for s2n__on
% SZS output start Proof for s2n__on
  file('i/f/string_num/s2n__onto',ah4s_stringu_u_nums_s2nu_u_n2s)).
  file('i/f/string_num/s2n__onto',ch4s_stringu_u_nums_s2nu_u_onto)).
% SZS output end Proof for s2n__on
