E04SVF Example Program Data
10          : Number of vertices (Petersen graph)
15          : Number of edges
1 2         : List of edges, one per line,
2 3         : given as pairs i j of vertices (i<j)
3 4
4 5
1 5
1 6
2 7
3 8
4 9
5 10
6 8
6 9
7 9
7 10
8 10