GRAPH (#nodes #edges id uu vv ww xx yy zz): 10 30 geo(0,{10,10,3,0.200,0.000,0.000}) 10 VERTICES (index name u v w x y z): 0 0 4 0 1 1 2 9 2 2 8 1 3 3 6 4 4 4 8 3 5 5 8 6 6 6 2 3 7 7 9 3 8 8 3 4 9 9 2 4 EDGES (from-node to-node length a b): 0 8 4 0 0 7 6 0 0 6 4 0 0 3 4 0 0 1 9 0 1 6 6 0 1 2 10 0 2 7 2 0 4 9 6 0 4 8 5 0 4 6 6 0 5 9 6 0 6 9 1 0 6 8 1 0 6 7 7 0