docs: public static Graph<String, String> loadUndirectedGraphEdgeListFile(String path, int numVertices, String delim)
                      throws IOException {
          return loadUndirectedGraphEdgeListFile(path, numVertices, delim, true);
      }