dim_of_vertices   140 src/io_dgf.cpp   const auto dim_of_vertices = vertices.size() * vertices.front().size();
dim_of_vertices   160 src/io_dgf.cpp   const auto dim_of_vertices = vertices.size() * vertices.front().size();
dim_of_vertices   166 src/io_dgf.cpp   if(dim_of_fef != dim_of_vertices) throw logic_error