Algebraic_graph_theory loading ...