josch 680102fc1f read number of vertices and edges from commandline		2012-07-03 22:40:23 +02:00
..
graphs	read number of vertices and edges from commandline	2012-07-03 22:40:23 +02:00