% SZS status Theorem for s2n__
% SZS output start Proof for s2n__
  file('i/f/string_num/s2n__11',ch4s_stringu_u_nums_s2nu_u_11)).
  file('i/f/string_num/s2n__11',ah4s_stringu_u_nums_n2su_u_s2n)).
% SZS output end Proof for s2n__
