Topological_graph_theory loading ...