output of Digraph.java

strict digraph {

0->1

0->2

1->2

1->3

2->3

2->4

3->4

3->5

4->5

4->6

5->6

5->7

}

number of points: 8

number of edges: 12