SZS status Theorem for i/f/string_num/n2s__11
