random graph with 10 vertices and 25 edges