SZS status Theorem for i/f/string_num/s2n__11
