1graph { 2 edge [ len=1.2 ]; 3 0 [ pos="42,73" ]; 4 1 [ pos="96,139" ]; 5 2 [ pos="113,209" ]; 6 3 [ pos="179,279" ]; 7 4 [ pos="143,30" ]; 8 5 [ pos="211,100" ]; 9 6 [ pos="228,175" ]; 10 7 [ pos="282,241" ]; 11 0 -- 1 [ label="2" ]; 12 1 -- 2 [ label="3", len=1 ]; 13 2 -- 3 [ label="4" ]; 14 0 -- 4 [ label="3" ]; 15 1 -- 4 [ label="2", len=1.3 ]; 16 1 -- 5 [ label="2" ]; 17 2 -- 6 [ label="2" ]; 18 3 -- 6 [ label="2", len=1.3 ]; 19 3 -- 7 [ label="2" ]; 20 4 -- 5 [ label="3" ]; 21 5 -- 6 [ label="1", len=1.1 ]; 22 6 -- 7 [ label="3" ]; 23}