% SZS status Theorem for n2s__
% SZS output start Proof for n2s__
  file('i/f/string_num/n2s__11',ch4s_stringu_u_nums_n2su_u_11)).
  file('i/f/string_num/n2s__11',ah4s_stringu_u_nums_s2nu_u_n2s)).
% SZS output end Proof for n2s__
