graph A { graph [nodesep="0.10", size="7,5", bb="0,0,737,832"]; node [fontsize="12.00", shape=circle, height = 0.4 width = 0.4 fixedsize="true"]; 779 -- 780 [label = 6.5 style = "bold" ]; 522 -- 523 [label = 6.2 style = "bold" ]; 527 -- 528 [label = 6.0 style = "bold" ]; 752 -- 753 [label = 5.1 style = "solid"]; 576 -- 577 [label = 5.1 style = "solid"]; 578 -- 579 [label = 4.8 style = "dashed"]; 757 -- 758 [label = 4.6 style = "dashed"]; 696 -- 697 [label = 4.5 style = "dashed"]; 542 -- 543 [label = 4.4 style = "dashed"]; 723 -- 724 [label = 4.4 style = "dashed"]; 495 -- 496 [label = 4.4 style = "dashed"]; 459 -- 460 [label = 4.3 style = "dashed"]; 784 -- 785 [label = 4.2 style = "dashed"]; 518 -- 519 [label = 4.2 style = "dashed"]; 894 -- 895 [label = 4.1 style = "dashed"]; 435 -- 436 [label = 4.1 style = "dashed"]; 322 -- 323 [label = 4.1 style = "dashed"]; 545 -- 546 [label = 4.1 style = "dashed"]; 513 -- 514 [label = 4.0 style = "dashed"]; }