code: static void overwrite(StringBuffer sb, int pos, String s) {
          int len = s.length();
          for (int i = 0; i < len; i++) {
              sb.setCharAt(pos + i, s.charAt(i));
          }
      }
docs: This utility method is used when printing the table of results.