Colin_de_Verdière_graph_invariant loading ...