first_vertex       94 data/sphere/2014paperALE_sphere/improve_sphere.cpp 		Line_pt first_vertex = find(lines.begin(), lines.end(), "VERTEX");
first_vertex       95 data/sphere/2014paperALE_sphere/improve_sphere.cpp 		if (first_vertex == lines.end()) throw runtime_error("main()");
first_vertex       96 data/sphere/2014paperALE_sphere/improve_sphere.cpp 		++first_vertex;	// prev. *first_vertex == VERTEX, now it is the first vertex 
first_vertex       97 data/sphere/2014paperALE_sphere/improve_sphere.cpp 		Line_pt last_vertex = find(first_vertex, lines.end(), "#");
first_vertex      100 data/sphere/2014paperALE_sphere/improve_sphere.cpp 		notepad << dgfname << ": " << distance(first_vertex,last_vertex) << endl;