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" ];
}