front             140 src/io_dgf.cpp   const auto dim_of_vertices = vertices.size() * vertices.front().size();
front             160 src/io_dgf.cpp   const auto dim_of_vertices = vertices.size() * vertices.front().size();