vertex count read from file