graph { | |
edge [ len=1.2 ]; | |
0 [ pos="42,73" ]; | |
1 [ pos="96,139" ]; | |
2 [ pos="113,209" ]; | |
3 [ pos="179,279" ]; | |
4 [ pos="143,30" ]; | |
5 [ pos="211,100" ]; | |
6 [ pos="228,175" ]; | |
7 [ pos="282,241" ]; | |
0 -- 1 [ label="2" ]; | |
1 -- 2 [ label="3", len=1 ]; | |
2 -- 3 [ label="4" ]; | |
0 -- 4 [ label="3" ]; | |
1 -- 4 [ label="2", len=1.3 ]; | |
1 -- 5 [ label="2" ]; | |
2 -- 6 [ label="2" ]; | |
3 -- 6 [ label="2", len=1.3 ]; | |
3 -- 7 [ label="2" ]; | |
4 -- 5 [ label="3" ]; | |
5 -- 6 [ label="1", len=1.1 ]; | |
6 -- 7 [ label="3" ]; | |
} |