Vertex_enumeration_problem loading ...