let
vertex_name (s, _) = string_of_int s.sid