Graphviz / dot performance test case: dot_performance_repro0.gv

dot_performance_repro0.gv

/***********************************************************************

this command: 
  f=dot_performance_repro0.gv
  F=${f%.*};
  time -p dot $f -Tsvg -v -Gnslimit=2 -Gmclimit=.22 -Gremincross=false -Gsearchsize=20 -Gsplines=false -o$F.svg

Produced these timings: 
real 0.76
user 0.75
sys 0.03

***********************************************************************/
/***********************************************************************

There is only 1 graph. packmode will not help

***********************************************************************/
/***********************************************************************
gvstats.gvpr output:
  file: 	    repro0.gv
  nodes: 	  518
  edges: 	  876
  clusters: 	    0
  ranks: 	  377
    actual ranks: 	  211
    virtual ranks:	  166
  connected graphs: 	    1
  HTML labels: 	    0
  record nodes:	    0
  total Graph area: 0.0 sq. in. -  0.0in x 0.0in
  total Node area:   424.0 sq. in.
  Total spline segments/curves: 0
  Total edge distance (polyline equivalent): 0.00 inches  0.00 points 

  (degree is the count of edges connecting to a node)
  degree:   1    node count:    34
  degree:   2    node count:    70
  degree:   3    node count:   252
  degree:   4    node count:    99
  degree:   5    node count:    32
  degree:   6    node count:     8
  degree:   7    node count:     9
  degree:   8    node count:     5
  degree:   9    node count:     3
  degree:  10    node count:     2
  degree:  11    node count:     1
  degree:  15    node count:     1
  degree:  18    node count:     1
  degree:  24    node count:     1
  ("concentrate=true" and/or coloring edges may help nodes with large degrees)
    528 edges have length (delta rank) of:     2
     25 edges have length (delta rank) of:     3
     51 edges have length (delta rank) of:     4
      6 edges have length (delta rank) of:     5
     35 edges have length (delta rank) of:     6
      7 edges have length (delta rank) of:     7
     22 edges have length (delta rank) of:     8
     12 edges have length (delta rank) of:    10
     14 edges have length (delta rank) of:    12
      6 edges have length (delta rank) of:    14
      2 edges have length (delta rank) of:    16
      1 edges have length (delta rank) of:    18
      3 edges have length (delta rank) of:    20
      3 edges have length (delta rank) of:    22
      1 edges have length (delta rank) of:    23
      8 edges have length (delta rank) of:    24
      2 edges have length (delta rank) of:    26
      4 edges have length (delta rank) of:    28
      3 edges have length (delta rank) of:    30
      2 edges have length (delta rank) of:    32
      2 edges have length (delta rank) of:    34
      2 edges have length (delta rank) of:    36
      2 edges have length (delta rank) of:    40
      1 edges have length (delta rank) of:    42
      2 edges have length (delta rank) of:    43
      3 edges have length (delta rank) of:    45
      3 edges have length (delta rank) of:    46
      2 edges have length (delta rank) of:    47
      2 edges have length (delta rank) of:    48
      2 edges have length (delta rank) of:    50
      3 edges have length (delta rank) of:    51
      1 edges have length (delta rank) of:    53
      2 edges have length (delta rank) of:    54
      1 edges have length (delta rank) of:    55
      1 edges have length (delta rank) of:    57
      1 edges have length (delta rank) of:    58
      1 edges have length (delta rank) of:    62
      2 edges have length (delta rank) of:    66
      1 edges have length (delta rank) of:    67
      1 edges have length (delta rank) of:    69
      2 edges have length (delta rank) of:    70
      2 edges have length (delta rank) of:    71
      2 edges have length (delta rank) of:    74
      1 edges have length (delta rank) of:    76
      2 edges have length (delta rank) of:    78
      2 edges have length (delta rank) of:    80
      1 edges have length (delta rank) of:    81
      1 edges have length (delta rank) of:    82
      1 edges have length (delta rank) of:    85
      2 edges have length (delta rank) of:    88
      2 edges have length (delta rank) of:    90
      6 edges have length (delta rank) of:    92
      1 edges have length (delta rank) of:    94
      3 edges have length (delta rank) of:    96
      3 edges have length (delta rank) of:    98
      1 edges have length (delta rank) of:   100
      2 edges have length (delta rank) of:   102
      1 edges have length (delta rank) of:   104
      2 edges have length (delta rank) of:   106
      1 edges have length (delta rank) of:   114
      2 edges have length (delta rank) of:   116
      1 edges have length (delta rank) of:   118
      1 edges have length (delta rank) of:   124
      1 edges have length (delta rank) of:   126
      1 edges have length (delta rank) of:   130
      1 edges have length (delta rank) of:   134
      1 edges have length (delta rank) of:   146
      1 edges have length (delta rank) of:   150
      1 edges have length (delta rank) of:   156
      2 edges have length (delta rank) of:   162
      1 edges have length (delta rank) of:   169
      1 edges have length (delta rank) of:   170
      1 edges have length (delta rank) of:   174
      1 edges have length (delta rank) of:   178
      2 edges have length (delta rank) of:   180
      1 edges have length (delta rank) of:   188
      1 edges have length (delta rank) of:   190
      2 edges have length (delta rank) of:   194
      3 edges have length (delta rank) of:   196
      1 edges have length (delta rank) of:   200
      1 edges have length (delta rank) of:   202
      2 edges have length (delta rank) of:   206
      1 edges have length (delta rank) of:   214
      3 edges have length (delta rank) of:   222
      1 edges have length (delta rank) of:   226
      1 edges have length (delta rank) of:   230
      2 edges have length (delta rank) of:   234
      1 edges have length (delta rank) of:   238
      1 edges have length (delta rank) of:   240
      1 edges have length (delta rank) of:   246
      2 edges have length (delta rank) of:   248
      1 edges have length (delta rank) of:   254
      2 edges have length (delta rank) of:   260
      1 edges have length (delta rank) of:   268
      1 edges have length (delta rank) of:   272
      2 edges have length (delta rank) of:   274
      1 edges have length (delta rank) of:   280
      1 edges have length (delta rank) of:   298
      1 edges have length (delta rank) of:   302
      2 edges have length (delta rank) of:   308
      2 edges have length (delta rank) of:   316
      1 edges have length (delta rank) of:   322
      1 edges have length (delta rank) of:   324
      2 edges have length (delta rank) of:   326
      1 edges have length (delta rank) of:   328
      1 edges have length (delta rank) of:   330
      2 edges have length (delta rank) of:   334
      2 edges have length (delta rank) of:   336
      1 edges have length (delta rank) of:   341
      1 edges have length (delta rank) of:   358

***********************************************************************/

digraph anonymous {
	graph [bb="",
		phase="",
		rankdir=LR
	];
	node [label="\N"];
	"n.1"	[color=red,
		height=0.5,
		rank=6,
		width=0.75019];
	"n.2"	[color=red,
		height=0.5,
		rank=8,
		width=0.75019];
	"n.1" -> "n.2"	[style=dashed];
	"n.3"	[color=red,
		height=0.5,
		rank=10,
		width=0.75019];
	"n.2" -> "n.3"	[style=dashed];
	"n.4"	[color=red,
		height=0.5,
		rank=344,
		width=0.75019];
	"n.3" -> "n.4"	[label=Edg1,
		style=dashed];
	"n.5"	[color=red,
		height=0.5,
		rank=12,
		width=0.75019];
	"n.3" -> "n.5"	[label=Edg2,
		style=dashed];
	"n.44"	[color=red,
		height=0.5,
		rank=346,
		width=0.92556];
	"n.4" -> "n.44"	[label=Edg3,
		style=dashed];
	"n.45"	[height=0.92556,
		rank=350,
		shape=circle,
		width=0.92556];
	"n.4" -> "n.45"	[label=Edg4,
		style=dashed];
	"n.46"	[height=0.92556,
		rank=352,
		shape=circle,
		width=0.92556];
	"n.4" -> "n.46"	[label=Edg5,
		style=dashed];
	"n.47"	[height=0.92556,
		rank=350,
		shape=circle,
		width=0.92556];
	"n.4" -> "n.47"	[label=Edg6,
		style=dashed];
	"n.48"	[height=0.92556,
		rank=346,
		shape=circle,
		width=0.92556];
	"n.4" -> "n.48"	[label=Edg7,
		style=dashed];
	"n.49"	[color=red,
		height=0.5,
		rank=14,
		width=0.92556];
	"n.5" -> "n.49"	[label=Edg8,
		style=dashed];
	"n.50"	[color=red,
		height=0.5,
		rank=348,
		width=0.92556];
	"n.44" -> "n.50"	[label=Edg73,
		style=dashed];
	"n.210"	[color=red,
		height=0.5,
		rank=340,
		width=1.1009];
	"n.49" -> "n.210"	[label=Edg74,
		style=dashed];
	"n.217"	[color=red,
		height=0.5,
		rank=16,
		width=1.1009];
	"n.49" -> "n.217"	[label=Edg75,
		style=dashed];
	"n.63"	[color=red,
		height=0.5,
		rank=350,
		width=0.92556];
	"n.50" -> "n.63"	[label=Edg76,
		style=dashed];
	"n.213"	[height=1.1009,
		rank=348,
		shape=circle,
		width=1.1009];
	"n.210" -> "n.213"	[label=Edg303,
		style=dashed];
	"n.51"	[color=red,
		height=0.5,
		rank=342,
		width=0.92556];
	"n.210" -> "n.51"	[label=Edg299,
		style=dashed];
	"n.138"	[height=0.5,
		rank=342,
		shape=diamond,
		width=1.557];
	"n.210" -> "n.138"	[label=Edg300,
		style=dashed];
	"n.211"	[height=1.1009,
		rank=350,
		shape=circle,
		width=1.1009];
	"n.210" -> "n.211"	[label=Edg301,
		style=dashed];
	"n.212"	[height=0.5,
		rank=342,
		shape=diamond,
		width=1.557];
	"n.210" -> "n.212"	[label=Edg302,
		style=dashed];
	"n.214"	[height=1.1009,
		rank=342,
		shape=circle,
		width=1.1009];
	"n.210" -> "n.214"	[label=Edg304,
		style=dashed];
	"n.30"	[color=red,
		height=0.5,
		rank=18,
		width=0.92556];
	"n.217" -> "n.30"	[label=Edg313,
		style=dashed];
	"n.82"	[color=red,
		height=0.5,
		rank=352,
		width=0.92556];
	"n.63" -> "n.82"	[label=Edg94,
		style=dashed];
	"n.213" -> "n.47"	[label=Edg307];
	"n.51" -> "n.4"	[label=Edg77,
		style=dashed];
	"n.52"	[color=red,
		height=0.5,
		rank=372,
		width=0.92556];
	"n.51" -> "n.52"	[label=Edg78,
		style=dashed];
	"n.141"	[height=1.1009,
		rank=344,
		shape=circle,
		width=1.1009];
	"n.138" -> "n.141"	[label=Edg196];
	"n.211" -> "n.46"	[label=Edg305];
	"n.212" -> "n.141"	[label=Edg306];
	"n.214" -> "n.48"	[label=Edg308];
	"n.260"	[color=red,
		height=0.5,
		rank=20,
		width=1.1009];
	"n.30" -> "n.260"	[label=Edg54,
		style=dashed];
	"n.261"	[color=red,
		height=0.5,
		rank=20,
		width=1.1009];
	"n.30" -> "n.261"	[label=Edg55,
		style=dashed];
	"n.6"	[height=0.5,
		rank=6,
		shape=diamond,
		width=1.0609];
	"n.7"	[height=0.75019,
		rank=8,
		shape=circle,
		width=0.75019];
	"n.6" -> "n.7"	[label=Edg9];
	"n.8"	[height=0.75019,
		rank=8,
		shape=circle,
		width=0.75019];
	"n.6" -> "n.8"	[label=Edg10];
	"n.7" -> "n.3"	[label=Edg11];
	"n.9"	[height=0.75019,
		rank=10,
		shape=circle,
		width=0.75019];
	"n.8" -> "n.9"	[label=Edg12];
	"n.189"	[height=1.1009,
		rank=12,
		shape=circle,
		width=1.1009];
	"n.9" -> "n.189"	[label=Edg13];
	"n.27"	[height=0.92556,
		rank=14,
		shape=circle,
		width=0.92556];
	"n.189" -> "n.27"	[label=Edg259];
	"n.28"	[height=0.92556,
		rank=16,
		shape=circle,
		width=0.92556];
	"n.27" -> "n.28"	[label=Edg51];
	"n.53"	[height=0.92556,
		rank=374,
		shape=circle,
		width=0.92556];
	"n.28" -> "n.53"	[label=Edg52];
	"n.10"	[height=0.5,
		rank=6,
		shape=rectangle,
		width=0.75];
	"n.10" -> "n.7"	[label=Edg14];
	"n.10" -> "n.8"	[label=Edg15];
	"n.11"	[height=0.92556,
		rank=10,
		shape=circle,
		width=0.92556];
	"n.10" -> "n.11"	[label=Edg16];
	"n.12"	[height=0.92556,
		rank=10,
		shape=circle,
		width=0.92556];
	"n.10" -> "n.12"	[label=Edg17];
	"n.13"	[height=0.92556,
		rank=10,
		shape=circle,
		width=0.92556];
	"n.10" -> "n.13"	[label=Edg18];
	"n.14"	[height=0.92556,
		rank=10,
		shape=circle,
		width=0.92556];
	"n.10" -> "n.14"	[label=Edg19];
	"n.15"	[height=0.92556,
		rank=10,
		shape=circle,
		width=0.92556];
	"n.10" -> "n.15"	[label=Edg20];
	"n.16"	[height=0.92556,
		rank=10,
		shape=circle,
		width=0.92556];
	"n.10" -> "n.16"	[label=Edg21];
	"n.17"	[height=0.92556,
		rank=10,
		shape=circle,
		width=0.92556];
	"n.10" -> "n.17"	[label=Edg22];
	"n.18"	[height=0.92556,
		rank=332,
		shape=circle,
		width=0.92556];
	"n.10" -> "n.18"	[label=Edg23];
	"n.19"	[height=0.92556,
		rank=10,
		shape=circle,
		width=0.92556];
	"n.10" -> "n.19"	[label=Edg24];
	"n.20"	[height=0.92556,
		rank=140,
		shape=circle,
		width=0.92556];
	"n.10" -> "n.20"	[label=Edg25];
	"n.21"	[height=0.92556,
		rank=254,
		shape=circle,
		width=0.92556];
	"n.10" -> "n.21"	[label=Edg26];
	"n.22"	[height=0.92556,
		rank=246,
		shape=circle,
		width=0.92556];
	"n.10" -> "n.22"	[label=Edg27];
	"n.23"	[height=0.92556,
		rank=176,
		shape=circle,
		width=0.92556];
	"n.10" -> "n.23"	[label=Edg28];
	"n.24"	[height=0.92556,
		rank=136,
		shape=circle,
		width=0.92556];
	"n.10" -> "n.24"	[label=Edg29];
	"n.25"	[height=0.5,
		rank=38,
		shape=diamond,
		width=1.3089];
	"n.10" -> "n.25"	[label=Edg30];
	"n.26"	[color=red,
		height=0.5,
		rank=42,
		width=0.92556];
	"n.10" -> "n.26"	[label=Edg31];
	"n.11" -> "n.27"	[label=Edg32];
	"n.12" -> "n.28"	[label=Edg33];
	"n.29"	[height=0.92556,
		rank=12,
		shape=circle,
		width=0.92556];
	"n.13" -> "n.29"	[label=Edg34];
	"n.14" -> "n.29"	[label=Edg35];
	"n.15" -> "n.30"	[label=Edg36];
	"n.31"	[color=red,
		height=0.5,
		rank=258,
		width=0.92556];
	"n.16" -> "n.31"	[label=Edg37];
	"n.32"	[height=0.92556,
		rank=334,
		shape=circle,
		width=0.92556];
	"n.17" -> "n.32"	[label=Edg38];
	"n.18" -> "n.32"	[label=Edg39];
	"n.33"	[height=0.92556,
		rank=12,
		shape=circle,
		width=0.92556];
	"n.19" -> "n.33"	[label=Edg40];
	"n.34"	[height=0.92556,
		rank=142,
		shape=circle,
		width=0.92556];
	"n.20" -> "n.34"	[label=Edg41];
	"n.35"	[height=0.92556,
		rank=256,
		shape=circle,
		width=0.92556];
	"n.21" -> "n.35"	[label=Edg42];
	"n.36"	[height=0.92556,
		rank=256,
		shape=circle,
		width=0.92556];
	"n.21" -> "n.36"	[label=Edg43];
	"n.37"	[height=0.92556,
		rank=250,
		shape=circle,
		width=0.92556];
	"n.22" -> "n.37"	[label=Edg44];
	"n.38"	[height=0.92556,
		rank=252,
		shape=circle,
		width=0.92556];
	"n.22" -> "n.38"	[label=Edg45];
	"n.39"	[height=0.92556,
		rank=180,
		shape=circle,
		width=0.92556];
	"n.23" -> "n.39"	[label=Edg46];
	"n.40"	[height=0.92556,
		rank=158,
		shape=circle,
		width=0.92556];
	"n.24" -> "n.40"	[label=Edg47];
	"n.41"	[height=0.92556,
		rank=40,
		shape=circle,
		width=0.92556];
	"n.25" -> "n.41"	[label=Edg48];
	"n.42"	[height=0.5,
		rank=44,
		shape=diamond,
		width=1.3089];
	"n.26" -> "n.42"	[label=Edg49,
		style=dashed];
	"n.43"	[color=red,
		height=0.5,
		rank=48,
		width=0.92556];
	"n.26" -> "n.43"	[label=Edg50,
		style=dashed];
	"n.216"	[height=1.1009,
		rank=348,
		shape=circle,
		width=1.1009];
	"n.29" -> "n.216"	[label=Edg53];
	"n.268"	[color=red,
		height=0.5,
		rank=308,
		width=1.1009];
	"n.31" -> "n.268"	[label=Edg56,
		style=dashed];
	"n.269"	[color=red,
		height=0.5,
		rank=260,
		width=1.1009];
	"n.31" -> "n.269"	[label=Edg57,
		style=dashed];
	"n.317"	[height=1.1009,
		rank=336,
		shape=circle,
		width=1.1009];
	"n.32" -> "n.317"	[label=Edg58];
	"n.320"	[height=1.1009,
		rank=344,
		shape=circle,
		width=1.1009];
	"n.32" -> "n.320"	[label=Edg59];
	"n.267"	[color=red,
		height=0.5,
		rank=26,
		width=1.1009];
	"n.33" -> "n.267"	[label=Edg60];
	"n.380"	[color=red,
		height=0.5,
		rank=144,
		width=1.1009];
	"n.34" -> "n.380"	[label=Edg61];
	"n.390"	[height=1.1009,
		rank=258,
		shape=circle,
		width=1.1009];
	"n.35" -> "n.390"	[label=Edg62];
	"n.265"	[height=1.1009,
		rank=259,
		shape=circle,
		width=1.1009];
	"n.36" -> "n.265"	[label=Edg63];
	"n.276"	[height=1.1009,
		rank=346,
		shape=circle,
		width=1.1009];
	"n.36" -> "n.276"	[label=Edg64];
	"n.38" -> "n.35"	[label=Edg65];
	"n.389"	[height=1.1009,
		rank=255,
		shape=circle,
		width=1.1009];
	"n.38" -> "n.389"	[label=Edg66];
	"n.431"	[color=red,
		height=0.5,
		rank=182,
		width=1.1009];
	"n.39" -> "n.431"	[label=Edg67];
	"n.325"	[height=1.1009,
		rank=160,
		shape=circle,
		width=1.1009];
	"n.40" -> "n.325"	[label=Edg68];
	"n.41" -> "n.26"	[label=Edg69];
	"n.297"	[height=1.1009,
		rank=46,
		shape=circle,
		width=1.1009];
	"n.42" -> "n.297"	[label=Edg70];
	"n.298"	[height=0.5,
		rank=50,
		shape=diamond,
		width=1.557];
	"n.43" -> "n.298"	[label=Edg71,
		style=dashed];
	"n.299"	[color=red,
		height=0.5,
		rank=54,
		width=1.1009];
	"n.43" -> "n.299"	[label=Edg72,
		style=dashed];
	"n.54"	[color=red,
		height=0.5,
		rank=376,
		width=0.92556];
	"n.53" -> "n.54"	[label=Edg81];
	"n.216" -> "n.45"	[label=Edg311];
	"n.216" -> "n.53"	[label=Edg312];
	"n.202"	[color=red,
		height=0.5,
		rank=22,
		width=1.1009];
	"n.260" -> "n.202"	[label=Edg437,
		style=dashed];
	"n.262"	[color=red,
		height=0.5,
		rank=22,
		width=1.1009];
	"n.261" -> "n.262"	[label=Edg438,
		style=dashed];
	"n.220"	[height=0.5,
		rank=310,
		shape=diamond,
		width=1.557];
	"n.268" -> "n.220"	[label=Edg448,
		style=dashed];
	"n.279"	[color=red,
		height=0.5,
		rank=314,
		width=1.1009];
	"n.268" -> "n.279"	[label=Edg453,
		style=dashed];
	"n.270"	[height=1.1009,
		rank=310,
		shape=circle,
		width=1.1009];
	"n.268" -> "n.270"	[label=Edg449,
		style=dashed];
	"n.272"	[height=1.1009,
		rank=310,
		shape=circle,
		width=1.1009];
	"n.268" -> "n.272"	[label=Edg450,
		style=dashed];
	"n.274"	[height=1.1009,
		rank=310,
		shape=circle,
		width=1.1009];
	"n.268" -> "n.274"	[label=Edg451,
		style=dashed];
	"n.278"	[height=0.5,
		rank=310,
		shape=diamond,
		width=1.557];
	"n.268" -> "n.278"	[label=Edg452,
		style=dashed];
	"n.224"	[height=0.5,
		rank=262,
		shape=diamond,
		width=1.557];
	"n.269" -> "n.224"	[label=Edg454,
		style=dashed];
	"n.282"	[color=red,
		height=0.5,
		rank=266,
		width=1.1009];
	"n.269" -> "n.282"	[label=Edg460,
		style=dashed];
	"n.271"	[height=1.1009,
		rank=265,
		shape=circle,
		width=1.1009];
	"n.269" -> "n.271"	[label=Edg455,
		style=dashed];
	"n.273"	[height=1.1009,
		rank=267,
		shape=circle,
		width=1.1009];
	"n.269" -> "n.273"	[label=Edg456,
		style=dashed];
	"n.275"	[height=1.1009,
		rank=263,
		shape=circle,
		width=1.1009];
	"n.269" -> "n.275"	[label=Edg457,
		style=dashed];
	"n.280"	[height=0.5,
		rank=262,
		shape=diamond,
		width=1.557];
	"n.269" -> "n.280"	[label=Edg458,
		style=dashed];
	"n.281"	[height=0.5,
		rank=262,
		shape=diamond,
		width=1.557];
	"n.269" -> "n.281"	[label=Edg459,
		style=dashed];
	"n.318"	[height=1.1009,
		rank=338,
		shape=circle,
		width=1.1009];
	"n.317" -> "n.318"	[label=Edg559];
	"n.320" -> "n.276"	[label=Edg562];
	"n.333"	[height=1.1009,
		rank=346,
		shape=circle,
		width=1.1009];
	"n.320" -> "n.333"	[label=Edg563];
	"n.375"	[color=red,
		height=0.5,
		rank=28,
		width=1.1009];
	"n.267" -> "n.375"	[label=Edg446,
		style=dashed];
	"n.376"	[color=red,
		height=0.5,
		rank=28,
		width=1.1009];
	"n.267" -> "n.376"	[label=Edg447,
		style=dashed];
	"n.383"	[color=red,
		height=0.5,
		rank=146,
		width=1.1009];
	"n.380" -> "n.383"	[label=Edg653,
		style=dashed];
	"n.384"	[color=red,
		height=0.5,
		rank=166,
		width=1.1009];
	"n.380" -> "n.384"	[label=Edg654,
		style=dashed];
	"n.215"	[height=1.1009,
		rank=348,
		shape=circle,
		width=1.1009];
	"n.390" -> "n.215"	[label=Edg671];
	"n.264"	[height=1.1009,
		rank=260,
		shape=circle,
		width=1.1009];
	"n.390" -> "n.264"	[label=Edg672];
	"n.265" -> "n.272"	[label=Edg442];
	"n.265" -> "n.273"	[label=Edg443];
	"n.276" -> "n.213"	[label=Edg473];
	"n.266"	[height=1.1009,
		rank=259,
		shape=circle,
		width=1.1009];
	"n.389" -> "n.266"	[label=Edg669];
	"n.277"	[height=1.1009,
		rank=340,
		shape=circle,
		width=1.1009];
	"n.389" -> "n.277"	[label=Edg670];
	"n.248"	[color=red,
		height=0.5,
		rank=244,
		width=1.1009];
	"n.431" -> "n.248"	[label=Edg734,
		style=dashed];
	"n.445"	[color=red,
		height=0.5,
		rank=184,
		width=1.1009];
	"n.431" -> "n.445"	[label=Edg735,
		style=dashed];
	"n.329"	[height=1.1009,
		rank=162,
		shape=circle,
		width=1.1009];
	"n.325" -> "n.329"	[label=Edg573];
	"n.297" -> "n.43"	[label=Edg496];
	"n.347"	[height=1.1009,
		rank=52,
		shape=circle,
		width=1.1009];
	"n.298" -> "n.347"	[label=Edg497];
	"n.88"	[height=0.5,
		rank=156,
		shape=diamond,
		width=1.3089];
	"n.299" -> "n.88"	[label=Edg498,
		style=dashed];
	"n.109"	[height=0.5,
		rank=154,
		shape=diamond,
		width=1.557];
	"n.299" -> "n.109"	[label=Edg499,
		style=dashed];
	"n.230"	[color=red,
		height=0.5,
		rank=56,
		width=1.1009];
	"n.299" -> "n.230"	[label=Edg500,
		style=dashed];
	"n.313"	[height=0.5,
		rank=60,
		shape=diamond,
		width=1.557];
	"n.299" -> "n.313"	[label=Edg501,
		style=dashed];
	"n.234"	[color=red,
		height=0.5,
		rank=256,
		width=1.1009];
	"n.202" -> "n.234"	[label=Edg285,
		style=dashed];
	"n.263"	[color=red,
		height=0.5,
		rank=24,
		width=1.1009];
	"n.202" -> "n.263"	[label=Edg286,
		style=dashed];
	"n.236"	[height=1.1009,
		rank=312,
		shape=circle,
		width=1.1009];
	"n.220" -> "n.236"	[label=Edg340];
	"n.221"	[color=red,
		height=0.5,
		rank=316,
		width=1.1009];
	"n.279" -> "n.221"	[label=Edg476,
		style=dashed];
	"n.283"	[height=1.1009,
		rank=334,
		shape=circle,
		width=1.1009];
	"n.270" -> "n.283"	[label=Edg461];
	"n.284"	[height=1.1009,
		rank=322,
		shape=circle,
		width=1.1009];
	"n.270" -> "n.284"	[label=Edg462];
	"n.285"	[height=1.1009,
		rank=334,
		shape=circle,
		width=1.1009];
	"n.272" -> "n.285"	[label=Edg465];
	"n.286"	[height=1.1009,
		rank=322,
		shape=circle,
		width=1.1009];
	"n.272" -> "n.286"	[label=Edg466];
	"n.287"	[height=1.1009,
		rank=334,
		shape=circle,
		width=1.1009];
	"n.274" -> "n.287"	[label=Edg469];
	"n.288"	[height=1.1009,
		rank=322,
		shape=circle,
		width=1.1009];
	"n.274" -> "n.288"	[label=Edg470];
	"n.278" -> "n.236"	[label=Edg475];
	"n.242"	[height=1.1009,
		rank=264,
		shape=circle,
		width=1.1009];
	"n.224" -> "n.242"	[label=Edg346];
	"n.243"	[height=1.1009,
		rank=264,
		shape=circle,
		width=1.1009];
	"n.224" -> "n.243"	[label=Edg347];
	"n.336"	[color=red,
		height=0.5,
		rank=268,
		width=1.1009];
	"n.282" -> "n.336"	[label=Edg480,
		style=dashed];
	"n.271" -> "n.270"	[label=Edg463];
	"n.292"	[height=1.1009,
		rank=310,
		shape=circle,
		width=1.1009];
	"n.271" -> "n.292"	[label=Edg464];
	"n.273" -> "n.272"	[label=Edg467];
	"n.293"	[height=1.1009,
		rank=310,
		shape=circle,
		width=1.1009];
	"n.273" -> "n.293"	[label=Edg468];
	"n.275" -> "n.274"	[label=Edg471];
	"n.294"	[height=1.1009,
		rank=310,
		shape=circle,
		width=1.1009];
	"n.275" -> "n.294"	[label=Edg472];
	"n.76"	[height=0.92556,
		rank=264,
		shape=circle,
		width=0.92556];
	"n.280" -> "n.76"	[label=Edg477];
	"n.281" -> "n.242"	[label=Edg478];
	"n.281" -> "n.243"	[label=Edg479];
	"n.318" -> "n.333"	[label=Edg561];
	"n.318" -> "n.277"	[label=Edg560];
	"n.333" -> "n.215"	[label=Edg583];
	"n.197"	[color=red,
		height=0.5,
		rank=30,
		width=1.1009];
	"n.375" -> "n.197"	[label=Edg649,
		style=dashed];
	"n.378"	[color=red,
		height=0.5,
		rank=30,
		width=1.1009];
	"n.376" -> "n.378"	[label=Edg650,
		style=dashed];
	"n.385"	[height=1.1009,
		rank=174,
		shape=circle,
		width=1.1009];
	"n.383" -> "n.385"	[label=Edg660,
		style=dashed];
	"n.387"	[height=1.1009,
		rank=169,
		shape=circle,
		width=1.1009];
	"n.383" -> "n.387"	[label=Edg661,
		style=dashed];
	"n.349"	[color=red,
		height=0.5,
		rank=148,
		width=1.1009];
	"n.383" -> "n.349"	[label=Edg659,
		style=dashed];
	"n.386"	[height=1.1009,
		rank=174,
		shape=circle,
		width=1.1009];
	"n.384" -> "n.386"	[label=Edg662,
		style=dashed];
	"n.388"	[height=1.1009,
		rank=168,
		shape=circle,
		width=1.1009];
	"n.384" -> "n.388"	[label=Edg663,
		style=dashed];
	"n.391"	[color=red,
		height=0.5,
		rank=168,
		width=1.1009];
	"n.384" -> "n.391"	[label=Edg664,
		style=dashed];
	"n.215" -> "n.211"	[label=Edg310];
	"n.215" -> "n.53"	[label=Edg309];
	"n.264" -> "n.270"	[label=Edg440];
	"n.264" -> "n.271"	[label=Edg441];
	"n.266" -> "n.274"	[label=Edg444];
	"n.266" -> "n.275"	[label=Edg445];
	"n.277" -> "n.214"	[label=Edg474];
	"n.248" -> "n.22"	[label=Edg408,
		style=dashed];
	"n.179"	[height=0.5,
		rank=246,
		shape=diamond,
		width=1.557];
	"n.248" -> "n.179"	[label=Edg409,
		style=dashed];
	"n.227"	[color=red,
		height=0.5,
		rank=246,
		width=1.1009];
	"n.248" -> "n.227"	[label=Edg410,
		style=dashed];
	"n.432"	[height=1.1009,
		rank=246,
		shape=circle,
		width=1.1009];
	"n.248" -> "n.432"	[label=Edg411,
		style=dashed];
	"n.433"	[height=1.1009,
		rank=246,
		shape=circle,
		width=1.1009];
	"n.248" -> "n.433"	[label=Edg412,
		style=dashed];
	"n.434"	[height=1.1009,
		rank=246,
		shape=circle,
		width=1.1009];
	"n.248" -> "n.434"	[label=Edg413,
		style=dashed];
	"n.435"	[height=1.1009,
		rank=246,
		shape=circle,
		width=1.1009];
	"n.248" -> "n.435"	[label=Edg414,
		style=dashed];
	"n.446"	[height=1.1009,
		rank=189,
		shape=circle,
		width=1.1009];
	"n.445" -> "n.446"	[label=Edg755,
		style=dashed];
	"n.447"	[height=1.1009,
		rank=191,
		shape=circle,
		width=1.1009];
	"n.445" -> "n.447"	[label=Edg756,
		style=dashed];
	"n.416"	[height=1.1009,
		rank=187,
		shape=circle,
		width=1.1009];
	"n.445" -> "n.416"	[label=Edg754,
		style=dashed];
	"n.455"	[color=red,
		height=0.5,
		rank=186,
		width=1.1009];
	"n.445" -> "n.455"	[label=Edg757,
		style=dashed];
	"n.507"	[height=1.1009,
		rank=164,
		shape=circle,
		width=1.1009];
	"n.329" -> "n.507"	[label=Edg579];
	"n.347" -> "n.299"	[label=Edg607];
	"n.93"	[height=0.92556,
		rank=158,
		shape=circle,
		width=0.92556];
	"n.88" -> "n.93"	[label=Edg133];
	"n.112"	[height=1.1009,
		rank=156,
		shape=circle,
		width=1.1009];
	"n.109" -> "n.112"	[label=Edg158];
	"n.250"	[color=red,
		height=0.5,
		rank=58,
		width=1.1009];
	"n.230" -> "n.250"	[label=Edg358,
		style=dashed];
	"n.245"	[color=red,
		height=0.5,
		rank=252,
		width=1.1009];
	"n.230" -> "n.245"	[label=Edg357,
		style=dashed];
	"n.305"	[height=1.1009,
		rank=62,
		shape=circle,
		width=1.1009];
	"n.313" -> "n.305"	[label=Edg552];
	"n.234" -> "n.31"	[label=Edg362,
		style=dashed];
	"n.234" -> "n.265"	[label=Edg364,
		style=dashed];
	"n.234" -> "n.264"	[label=Edg363,
		style=dashed];
	"n.234" -> "n.266"	[label=Edg365,
		style=dashed];
	"n.263" -> "n.267"	[label=Edg439,
		style=dashed];
	"n.236" -> "n.279"	[label=Edg370];
	"n.196"	[color=red,
		height=0.5,
		rank=318,
		width=1.1009];
	"n.221" -> "n.196"	[label=Edg341,
		style=dashed];
	"n.237"	[height=0.5,
		rank=318,
		shape=diamond,
		width=1.557];
	"n.221" -> "n.237"	[label=Edg342,
		style=dashed];
	"n.284" -> "n.285"	[label=Edg481];
	"n.286" -> "n.287"	[label=Edg482];
	"n.319"	[height=1.1009,
		rank=334,
		shape=circle,
		width=1.1009];
	"n.288" -> "n.319"	[label=Edg483];
	"n.242" -> "n.336"	[label=Edg385];
	"n.243" -> "n.282"	[label=Edg386];
	"n.339"	[height=0.5,
		rank=270,
		shape=diamond,
		width=1.557];
	"n.336" -> "n.339"	[label=Edg587,
		style=dashed];
	"n.354"	[color=red,
		height=0.5,
		rank=274,
		width=1.1009];
	"n.336" -> "n.354"	[label=Edg588,
		style=dashed];
	"n.337"	[height=1.1009,
		rank=304,
		shape=circle,
		width=1.1009];
	"n.76" -> "n.337"	[label=Edg116];
	"n.244"	[color=red,
		height=0.5,
		rank=136,
		width=1.1009];
	"n.197" -> "n.244"	[label=Edg275,
		style=dashed];
	"n.379"	[color=red,
		height=0.5,
		rank=32,
		width=1.1009];
	"n.197" -> "n.379"	[label=Edg276,
		style=dashed];
	"n.385" -> "n.37"	[label=Edg665];
	"n.392"	[height=1.1009,
		rank=179,
		shape=circle,
		width=1.1009];
	"n.385" -> "n.392"	[label=Edg666];
	"n.393"	[height=1.1009,
		rank=250,
		shape=circle,
		width=1.1009];
	"n.387" -> "n.393"	[label=Edg667];
	"n.394"	[height=1.1009,
		rank=177,
		shape=circle,
		width=1.1009];
	"n.387" -> "n.394"	[label=Edg668];
	"n.184"	[height=0.5,
		rank=150,
		shape=diamond,
		width=1.557];
	"n.349" -> "n.184"	[label=Edg613,
		style=dashed];
	"n.307"	[color=red,
		height=0.5,
		rank=154,
		width=1.1009];
	"n.349" -> "n.307"	[label=Edg614,
		style=dashed];
	"n.180"	[height=1.1009,
		rank=248,
		shape=circle,
		width=1.1009];
	"n.179" -> "n.180"	[label=Edg247];
	"n.246"	[color=red,
		height=0.5,
		rank=248,
		width=1.1009];
	"n.227" -> "n.246"	[label=Edg351,
		style=dashed];
	"n.247"	[color=red,
		height=0.5,
		rank=250,
		width=1.1009];
	"n.227" -> "n.247"	[label=Edg352,
		style=dashed];
	"n.432" -> "n.393"	[label=Edg736];
	"n.427"	[height=1.1009,
		rank=250,
		shape=circle,
		width=1.1009];
	"n.433" -> "n.427"	[label=Edg737];
	"n.428"	[height=1.1009,
		rank=250,
		shape=circle,
		width=1.1009];
	"n.434" -> "n.428"	[label=Edg738];
	"n.429"	[height=1.1009,
		rank=250,
		shape=circle,
		width=1.1009];
	"n.435" -> "n.429"	[label=Edg739];
	"n.437"	[height=1.1009,
		rank=242,
		shape=circle,
		width=1.1009];
	"n.446" -> "n.437"	[label=Edg758];
	"n.458"	[height=1.1009,
		rank=196,
		shape=circle,
		width=1.1009];
	"n.446" -> "n.458"	[label=Edg759];
	"n.438"	[height=1.1009,
		rank=242,
		shape=circle,
		width=1.1009];
	"n.447" -> "n.438"	[label=Edg760];
	"n.459"	[height=1.1009,
		rank=196,
		shape=circle,
		width=1.1009];
	"n.447" -> "n.459"	[label=Edg761];
	"n.436"	[height=1.1009,
		rank=244,
		shape=circle,
		width=1.1009];
	"n.416" -> "n.436"	[label=Edg707];
	"n.441"	[height=1.1009,
		rank=197,
		shape=circle,
		width=1.1009];
	"n.416" -> "n.441"	[label=Edg708];
	"n.457"	[color=red,
		height=0.5,
		rank=192,
		width=1.1009];
	"n.455" -> "n.457"	[label=Edg776,
		style=dashed];
	"n.456"	[height=0.5,
		rank=188,
		shape=diamond,
		width=1.557];
	"n.455" -> "n.456"	[label=Edg775,
		style=dashed];
	"n.405"	[height=1.1009,
		rank=166,
		shape=circle,
		width=1.1009];
	"n.507" -> "n.405"	[label=Edg859];
	"n.516"	[height=1.1009,
		rank=160,
		shape=circle,
		width=1.1009];
	"n.93" -> "n.516"	[label=Edg138];
	"n.514"	[height=1.1009,
		rank=158,
		shape=circle,
		width=1.1009];
	"n.112" -> "n.514"	[label=Edg161];
	"n.443"	[height=1.1009,
		rank=162,
		shape=circle,
		width=1.1009];
	"n.250" -> "n.443"	[label=Edg422,
		style=dashed];
	"n.311"	[height=0.5,
		rank=60,
		shape=diamond,
		width=1.557];
	"n.250" -> "n.311"	[label=Edg420,
		style=dashed];
	"n.442"	[color=red,
		height=0.5,
		rank=66,
		width=1.1009];
	"n.250" -> "n.442"	[label=Edg421,
		style=dashed];
	"n.245" -> "n.36"	[label=Edg393,
		style=dashed];
	"n.245" -> "n.390"	[label=Edg396,
		style=dashed];
	"n.245" -> "n.389"	[label=Edg395,
		style=dashed];
	"n.219"	[color=red,
		height=0.5,
		rank=254,
		width=1.1009];
	"n.245" -> "n.219"	[label=Edg394,
		style=dashed];
	"n.252"	[height=1.1009,
		rank=64,
		shape=circle,
		width=1.1009];
	"n.305" -> "n.252"	[label=Edg519];
	"n.105"	[color=red,
		height=0.5,
		rank=354,
		width=1.1009];
	"n.82" -> "n.105"	[label=Edg122,
		style=dashed];
	"n.52" -> "n.53"	[label=Edg79,
		style=dashed];
	"n.52" -> "n.54"	[label=Edg80,
		style=dashed];
	"n.208"	[height=1.1009,
		rank=346,
		shape=circle,
		width=1.1009];
	"n.141" -> "n.208"	[label=Edg199];
	"n.115"	[color=red,
		height=0.5,
		rank=356,
		width=1.1009];
	"n.105" -> "n.115"	[label=Edg151,
		style=dashed];
	"n.55"	[height=0.5,
		rank=150,
		shape=rectangle,
		width=0.75];
	"n.55" -> "n.44"	[label=Edg82];
	"n.56"	[height=0.5,
		rank=156,
		shape=diamond,
		width=1.3089];
	"n.55" -> "n.56"	[label=Edg83];
	"n.57"	[height=0.5,
		rank=152,
		shape=diamond,
		width=1.3089];
	"n.55" -> "n.57"	[label=Edg84];
	"n.58"	[height=0.92556,
		rank=158,
		shape=circle,
		width=0.92556];
	"n.56" -> "n.58"	[label=Edg85];
	"n.59"	[height=0.92556,
		rank=154,
		shape=circle,
		width=0.92556];
	"n.57" -> "n.59"	[label=Edg86];
	"n.61"	[height=0.92556,
		rank=160,
		shape=circle,
		width=0.92556];
	"n.58" -> "n.61"	[label=Edg87];
	"n.62"	[height=0.92556,
		rank=156,
		shape=circle,
		width=0.92556];
	"n.59" -> "n.62"	[label=Edg88];
	"n.324"	[height=1.1009,
		rank=162,
		shape=circle,
		width=1.1009];
	"n.61" -> "n.324"	[label=Edg92];
	"n.62" -> "n.40"	[label=Edg93];
	"n.328"	[height=1.1009,
		rank=164,
		shape=circle,
		width=1.1009];
	"n.324" -> "n.328"	[label=Edg572];
	"n.402"	[height=1.1009,
		rank=166,
		shape=circle,
		width=1.1009];
	"n.328" -> "n.402"	[label=Edg578];
	"n.60"	[height=0.5,
		rank=152,
		shape=diamond,
		width=1.3089];
	"n.60" -> "n.44"	[label=Edg89];
	"n.60" -> "n.58"	[label=Edg90];
	"n.60" -> "n.59"	[label=Edg91];
	"n.403"	[height=1.1009,
		rank=168,
		shape=circle,
		width=1.1009];
	"n.402" -> "n.403"	[label=Edg689];
	"n.130"	[color=red,
		height=0.5,
		rank=358,
		width=1.1009];
	"n.115" -> "n.130"	[label=Edg164,
		style=dashed];
	"n.64"	[height=0.5,
		rank=158,
		shape=rectangle,
		width=0.75];
	"n.64" -> "n.50"	[label=Edg95];
	"n.65"	[height=0.5,
		rank=160,
		shape=diamond,
		width=1.3089];
	"n.64" -> "n.65"	[label=Edg96];
	"n.66"	[height=0.5,
		rank=160,
		shape=diamond,
		width=1.3089];
	"n.64" -> "n.66"	[label=Edg97];
	"n.67"	[height=0.5,
		rank=160,
		shape=diamond,
		width=1.3089];
	"n.64" -> "n.67"	[label=Edg98];
	"n.68"	[height=0.92556,
		rank=162,
		shape=circle,
		width=0.92556];
	"n.65" -> "n.68"	[label=Edg99];
	"n.69"	[height=0.92556,
		rank=162,
		shape=circle,
		width=0.92556];
	"n.66" -> "n.69"	[label=Edg100];
	"n.70"	[height=0.92556,
		rank=162,
		shape=circle,
		width=0.92556];
	"n.67" -> "n.70"	[label=Edg101];
	"n.68" -> "n.507"	[label=Edg102];
	"n.509"	[height=1.1009,
		rank=168,
		shape=circle,
		width=1.1009];
	"n.69" -> "n.509"	[label=Edg103];
	"n.510"	[height=1.1009,
		rank=170,
		shape=circle,
		width=1.1009];
	"n.70" -> "n.510"	[label=Edg104];
	"n.509" -> "n.510"	[label=Edg861];
	"n.510" -> "n.390"	[label=Edg863];
	"n.381"	[height=1.1009,
		rank=172,
		shape=circle,
		width=1.1009];
	"n.510" -> "n.381"	[label=Edg862];
	"n.405" -> "n.509"	[label=Edg693];
	"n.381" -> "n.385"	[label=Edg655];
	"n.381" -> "n.386"	[label=Edg656];
	"n.71"	[height=0.5,
		rank=186,
		shape=diamond,
		width=1.3089];
	"n.71" -> "n.50"	[label=Edg105];
	"n.72"	[height=0.5,
		rank=193,
		width=0.92556];
	"n.71" -> "n.72"	[label=Edg106];
	"n.73"	[height=0.5,
		rank=280,
		width=0.92556];
	"n.71" -> "n.73"	[label=Edg107];
	"n.74"	[height=0.5,
		rank=188,
		width=0.92556];
	"n.71" -> "n.74"	[label=Edg108];
	"n.75"	[height=0.5,
		rank=220,
		width=0.92556];
	"n.71" -> "n.75"	[label=Edg109];
	"n.72" -> "n.76"	[label=Edg110];
	"n.77"	[height=0.92556,
		rank=282,
		shape=circle,
		width=0.92556];
	"n.73" -> "n.77"	[label=Edg111];
	"n.78"	[height=0.92556,
		rank=282,
		shape=circle,
		width=0.92556];
	"n.73" -> "n.78"	[label=Edg112];
	"n.79"	[height=0.92556,
		rank=190,
		shape=circle,
		width=0.92556];
	"n.74" -> "n.79"	[label=Edg113];
	"n.80"	[height=0.92556,
		rank=222,
		shape=circle,
		width=0.92556];
	"n.75" -> "n.80"	[label=Edg114];
	"n.81"	[height=0.92556,
		rank=222,
		shape=circle,
		width=0.92556];
	"n.75" -> "n.81"	[label=Edg115];
	"n.360"	[color=red,
		height=0.5,
		rank=286,
		width=1.1009];
	"n.77" -> "n.360"	[label=Edg117];
	"n.359"	[color=red,
		height=0.5,
		rank=284,
		width=1.1009];
	"n.78" -> "n.359"	[label=Edg118];
	"n.79" -> "n.457"	[label=Edg119];
	"n.471"	[color=red,
		height=0.5,
		rank=226,
		width=1.1009];
	"n.80" -> "n.471"	[label=Edg120];
	"n.470"	[color=red,
		height=0.5,
		rank=224,
		width=1.1009];
	"n.81" -> "n.470"	[label=Edg121];
	"n.289"	[color=red,
		height=0.5,
		rank=306,
		width=1.1009];
	"n.337" -> "n.289"	[label=Edg589];
	"n.361"	[color=red,
		height=0.5,
		rank=288,
		width=1.1009];
	"n.360" -> "n.361"	[label=Edg629,
		style=dashed];
	"n.359" -> "n.360"	[label=Edg628,
		style=dashed];
	"n.249"	[color=red,
		height=0.5,
		rank=240,
		width=1.1009];
	"n.457" -> "n.249"	[label=Edg778,
		style=dashed];
	"n.460"	[color=red,
		height=0.5,
		rank=194,
		width=1.1009];
	"n.457" -> "n.460"	[label=Edg779,
		style=dashed];
	"n.472"	[color=red,
		height=0.5,
		rank=228,
		width=1.1009];
	"n.471" -> "n.472"	[label=Edg805,
		style=dashed];
	"n.470" -> "n.471"	[label=Edg804,
		style=dashed];
	"n.289" -> "n.268"	[label=Edg484,
		style=dashed];
	"n.290"	[color=red,
		height=0.5,
		rank=308,
		width=1.1009];
	"n.289" -> "n.290"	[label=Edg485,
		style=dashed];
	"n.362"	[height=0.5,
		rank=291,
		shape=diamond,
		width=1.557];
	"n.361" -> "n.362"	[label=Edg630,
		style=dashed];
	"n.363"	[color=red,
		height=0.5,
		rank=290,
		width=1.1009];
	"n.361" -> "n.363"	[label=Edg631,
		style=dashed];
	"n.228"	[color=red,
		height=0.5,
		rank=242,
		width=1.1009];
	"n.249" -> "n.228"	[label=Edg415,
		style=dashed];
	"n.249" -> "n.436"	[label=Edg416,
		style=dashed];
	"n.249" -> "n.437"	[label=Edg417,
		style=dashed];
	"n.249" -> "n.438"	[label=Edg418,
		style=dashed];
	"n.439"	[height=1.1009,
		rank=242,
		shape=circle,
		width=1.1009];
	"n.249" -> "n.439"	[label=Edg419,
		style=dashed];
	"n.149"	[height=0.5,
		rank=196,
		shape=diamond,
		width=1.557];
	"n.460" -> "n.149"	[label=Edg782,
		style=dashed];
	"n.158"	[height=0.5,
		rank=196,
		shape=diamond,
		width=1.557];
	"n.460" -> "n.158"	[label=Edg783,
		style=dashed];
	"n.460" -> "n.458"	[label=Edg787,
		style=dashed];
	"n.460" -> "n.459"	[label=Edg788,
		style=dashed];
	"n.460" -> "n.441"	[label=Edg785,
		style=dashed];
	"n.420"	[height=0.5,
		rank=196,
		shape=diamond,
		width=1.557];
	"n.460" -> "n.420"	[label=Edg784,
		style=dashed];
	"n.461"	[color=red,
		height=0.5,
		rank=204,
		width=1.1009];
	"n.460" -> "n.461"	[label=Edg789,
		style=dashed];
	"n.449"	[height=0.5,
		rank=196,
		shape=diamond,
		width=1.557];
	"n.460" -> "n.449"	[label=Edg786,
		style=dashed];
	"n.473"	[height=0.5,
		rank=231,
		shape=diamond,
		width=1.557];
	"n.472" -> "n.473"	[label=Edg806,
		style=dashed];
	"n.474"	[color=red,
		height=0.5,
		rank=230,
		width=1.1009];
	"n.472" -> "n.474"	[label=Edg807,
		style=dashed];
	"n.290" -> "n.292"	[label=Edg487,
		style=dashed];
	"n.290" -> "n.293"	[label=Edg488,
		style=dashed];
	"n.290" -> "n.294"	[label=Edg489,
		style=dashed];
	"n.291"	[color=red,
		height=0.5,
		rank=310,
		width=1.1009];
	"n.290" -> "n.291"	[label=Edg486,
		style=dashed];
	"n.364"	[height=1.1009,
		rank=298,
		shape=circle,
		width=1.1009];
	"n.362" -> "n.364"	[label=Edg632];
	"n.365"	[height=0.5,
		rank=293,
		shape=diamond,
		width=1.557];
	"n.363" -> "n.365"	[label=Edg633,
		style=dashed];
	"n.366"	[color=red,
		height=0.5,
		rank=292,
		width=1.1009];
	"n.363" -> "n.366"	[label=Edg634,
		style=dashed];
	"n.228" -> "n.248"	[label=Edg354,
		style=dashed];
	"n.228" -> "n.247"	[label=Edg353,
		style=dashed];
	"n.436" -> "n.38"	[label=Edg740];
	"n.436" -> "n.432"	[label=Edg741];
	"n.437" -> "n.433"	[label=Edg742];
	"n.438" -> "n.434"	[label=Edg743];
	"n.439" -> "n.435"	[label=Edg744];
	"n.151"	[height=1.1009,
		rank=198,
		shape=circle,
		width=1.1009];
	"n.149" -> "n.151"	[label=Edg209];
	"n.158" -> "n.151"	[label=Edg221];
	"n.458" -> "n.438"	[label=Edg780];
	"n.459" -> "n.439"	[label=Edg781];
	"n.441" -> "n.38"	[label=Edg747];
	"n.441" -> "n.437"	[label=Edg748];
	"n.423"	[height=1.1009,
		rank=199,
		shape=circle,
		width=1.1009];
	"n.420" -> "n.423"	[label=Edg716];
	"n.462"	[color=red,
		height=0.5,
		rank=206,
		width=1.1009];
	"n.461" -> "n.462"	[label=Edg790,
		style=dashed];
	"n.452"	[height=1.1009,
		rank=200,
		shape=circle,
		width=1.1009];
	"n.449" -> "n.452"	[label=Edg766];
	"n.475"	[height=1.1009,
		rank=238,
		shape=circle,
		width=1.1009];
	"n.473" -> "n.475"	[label=Edg808];
	"n.476"	[height=0.5,
		rank=233,
		shape=diamond,
		width=1.557];
	"n.474" -> "n.476"	[label=Edg809,
		style=dashed];
	"n.477"	[color=red,
		height=0.5,
		rank=232,
		width=1.1009];
	"n.474" -> "n.477"	[label=Edg810,
		style=dashed];
	"n.136"	[color=red,
		height=0.5,
		rank=360,
		width=1.1009];
	"n.130" -> "n.136"	[label=Edg184,
		style=dashed];
	"n.83"	[height=0.5,
		rank=154,
		shape=rectangle,
		width=0.75];
	"n.83" -> "n.63"	[label=Edg123];
	"n.83" -> "n.88"	[label=Edg128];
	"n.84"	[height=0.5,
		rank=334,
		shape=diamond,
		width=1.3089];
	"n.83" -> "n.84"	[label=Edg124];
	"n.85"	[height=0.5,
		rank=156,
		shape=diamond,
		width=1.3089];
	"n.83" -> "n.85"	[label=Edg125];
	"n.86"	[height=0.5,
		rank=156,
		shape=diamond,
		width=1.3089];
	"n.83" -> "n.86"	[label=Edg126];
	"n.87"	[height=0.5,
		rank=156,
		shape=diamond,
		width=1.3089];
	"n.83" -> "n.87"	[label=Edg127];
	"n.89"	[height=0.92556,
		rank=336,
		shape=circle,
		width=0.92556];
	"n.84" -> "n.89"	[label=Edg129];
	"n.90"	[height=0.92556,
		rank=158,
		shape=circle,
		width=0.92556];
	"n.85" -> "n.90"	[label=Edg130];
	"n.91"	[height=0.92556,
		rank=158,
		shape=circle,
		width=0.92556];
	"n.86" -> "n.91"	[label=Edg131];
	"n.92"	[height=0.92556,
		rank=158,
		shape=circle,
		width=0.92556];
	"n.87" -> "n.92"	[label=Edg132];
	"n.240"	[height=1.1009,
		rank=338,
		shape=circle,
		width=1.1009];
	"n.89" -> "n.240"	[label=Edg134];
	"n.90" -> "n.324"	[label=Edg135];
	"n.412"	[height=1.1009,
		rank=172,
		shape=circle,
		width=1.1009];
	"n.91" -> "n.412"	[label=Edg136];
	"n.92" -> "n.325"	[label=Edg137];
	"n.322"	[height=1.1009,
		rank=340,
		shape=circle,
		width=1.1009];
	"n.240" -> "n.322"	[label=Edg383];
	"n.398"	[height=1.1009,
		rank=250,
		shape=circle,
		width=1.1009];
	"n.412" -> "n.398"	[label=Edg701];
	"n.414"	[height=1.1009,
		rank=175,
		shape=circle,
		width=1.1009];
	"n.412" -> "n.414"	[label=Edg702];
	"n.516" -> "n.390"	[label=Edg871];
	"n.516" -> "n.443"	[label=Edg872];
	"n.326"	[height=1.1009,
		rank=342,
		shape=circle,
		width=1.1009];
	"n.322" -> "n.326"	[label=Edg568];
	"n.398" -> "n.38"	[label=Edg684];
	"n.414" -> "n.22"	[label=Edg704];
	"n.414" -> "n.416"	[label=Edg705];
	"n.488"	[height=1.1009,
		rank=164,
		shape=circle,
		width=1.1009];
	"n.443" -> "n.488"	[label=Edg751];
	"n.489"	[height=1.1009,
		rank=164,
		shape=circle,
		width=1.1009];
	"n.443" -> "n.489"	[label=Edg752];
	"n.326" -> "n.320"	[label=Edg574];
	"n.488" -> "n.36"	[label=Edg832];
	"n.382"	[height=1.1009,
		rank=166,
		shape=circle,
		width=1.1009];
	"n.488" -> "n.382"	[label=Edg833];
	"n.94"	[height=0.5,
		rank=0,
		shape=rectangle,
		width=0.75];
	"n.95"	[height=0.92556,
		rank=2,
		shape=circle,
		width=0.92556];
	"n.94" -> "n.95"	[label=Edg139];
	"n.96"	[height=0.92556,
		rank=4,
		shape=circle,
		width=0.92556];
	"n.95" -> "n.96"	[label=Edg140];
	"n.98"	[height=0.92556,
		rank=6,
		shape=circle,
		width=0.92556];
	"n.96" -> "n.98"	[label=Edg141];
	"n.101"	[height=0.5,
		rank=9,
		width=1.1009];
	"n.98" -> "n.101"	[label=Edg143];
	"n.101" -> "n.63"	[label=Edg146];
	"n.97"	[height=0.5,
		rank=0,
		shape=rectangle,
		width=0.75];
	"n.97" -> "n.95"	[label=Edg142];
	"n.99"	[height=0.5,
		rank=0,
		shape=diamond,
		width=1.3089];
	"n.100"	[height=0.5,
		rank=2,
		width=1.1009];
	"n.99" -> "n.100"	[label=Edg144];
	"n.100" -> "n.96"	[label=Edg145];
	"n.102"	[height=0.5,
		rank=4,
		shape=diamond,
		width=1.557];
	"n.102" -> "n.98"	[label=Edg147];
	"n.103"	[height=0.5,
		rank=6,
		width=1.1009];
	"n.102" -> "n.103"	[label=Edg148];
	"n.104"	[height=1.1009,
		rank=8,
		shape=circle,
		width=1.1009];
	"n.103" -> "n.104"	[label=Edg149];
	"n.104" -> "n.9"	[label=Edg150];
	"n.146"	[color=red,
		height=0.5,
		rank=362,
		width=1.1009];
	"n.136" -> "n.146"	[label=Edg191,
		style=dashed];
	"n.106"	[height=0.5,
		rank=152,
		shape=rectangle,
		width=0.78472];
	"n.106" -> "n.109"	[label=Edg155];
	"n.106" -> "n.82"	[label=Edg152];
	"n.107"	[height=0.5,
		rank=156,
		shape=diamond,
		width=1.557];
	"n.106" -> "n.107"	[label=Edg153];
	"n.108"	[height=0.5,
		rank=154,
		shape=diamond,
		width=1.557];
	"n.106" -> "n.108"	[label=Edg154];
	"n.110"	[height=1.1009,
		rank=160,
		shape=circle,
		width=1.1009];
	"n.107" -> "n.110"	[label=Edg156];
	"n.111"	[height=1.1009,
		rank=160,
		shape=circle,
		width=1.1009];
	"n.108" -> "n.111"	[label=Edg157];
	"n.110" -> "n.328"	[label=Edg159];
	"n.111" -> "n.329"	[label=Edg160];
	"n.514" -> "n.516"	[label=Edg869];
	"n.406"	[height=1.1009,
		rank=170,
		shape=circle,
		width=1.1009];
	"n.403" -> "n.406"	[label=Edg690];
	"n.113"	[height=0.5,
		rank=348,
		shape=diamond,
		width=1.557];
	"n.114"	[height=0.5,
		rank=350,
		width=1.1009];
	"n.113" -> "n.114"	[label=Edg162];
	"n.114" -> "n.82"	[label=Edg163];
	"n.154"	[color=red,
		height=0.5,
		rank=364,
		width=1.1009];
	"n.146" -> "n.154"	[label=Edg204,
		style=dashed];
	"n.116"	[height=0.5,
		rank=160,
		shape=rectangle,
		width=0.78472];
	"n.116" -> "n.105"	[label=Edg165];
	"n.117"	[height=0.5,
		rank=334,
		shape=diamond,
		width=1.557];
	"n.116" -> "n.117"	[label=Edg166];
	"n.118"	[height=0.5,
		rank=322,
		shape=diamond,
		width=1.557];
	"n.116" -> "n.118"	[label=Edg167];
	"n.119"	[height=0.5,
		rank=162,
		shape=diamond,
		width=1.557];
	"n.116" -> "n.119"	[label=Edg168];
	"n.120"	[height=0.5,
		rank=162,
		shape=diamond,
		width=1.557];
	"n.116" -> "n.120"	[label=Edg169];
	"n.121"	[height=0.5,
		rank=162,
		shape=diamond,
		width=1.557];
	"n.116" -> "n.121"	[label=Edg170];
	"n.122"	[height=1.1009,
		rank=336,
		shape=circle,
		width=1.1009];
	"n.117" -> "n.122"	[label=Edg171];
	"n.123"	[height=0.5,
		rank=324,
		shape=diamond,
		width=1.557];
	"n.118" -> "n.123"	[label=Edg172];
	"n.124"	[color=blue,
		height=0.5,
		rank=324,
		width=1.1009];
	"n.118" -> "n.124"	[label=Edg173];
	"n.125"	[height=1.1009,
		rank=164,
		shape=circle,
		width=1.1009];
	"n.119" -> "n.125"	[label=Edg174];
	"n.126"	[height=1.1009,
		rank=164,
		shape=circle,
		width=1.1009];
	"n.120" -> "n.126"	[label=Edg175];
	"n.127"	[height=1.1009,
		rank=164,
		shape=circle,
		width=1.1009];
	"n.121" -> "n.127"	[label=Edg176];
	"n.122" -> "n.322"	[label=Edg177];
	"n.241"	[color=red,
		height=0.5,
		rank=326,
		width=1.1009];
	"n.124" -> "n.241"	[label=Edg178];
	"n.125" -> "n.402"	[label=Edg179];
	"n.126" -> "n.406"	[label=Edg180];
	"n.127" -> "n.405"	[label=Edg181];
	"n.334"	[color=red,
		height=0.5,
		rank=328,
		width=1.1009];
	"n.241" -> "n.334"	[label=Edg384,
		style=dashed];
	"n.406" -> "n.412"	[label=Edg694];
	"n.222"	[color=red,
		height=0.5,
		rank=330,
		width=1.1009];
	"n.334" -> "n.222"	[label=Edg584,
		style=dashed];
	"n.335"	[height=0.5,
		rank=330,
		shape=diamond,
		width=1.557];
	"n.334" -> "n.335"	[label=Edg585,
		style=dashed];
	"n.238"	[color=red,
		height=0.5,
		rank=332,
		width=1.1009];
	"n.222" -> "n.238"	[label=Edg343,
		style=dashed];
	"n.239"	[color=red,
		height=0.5,
		rank=334,
		width=1.1009];
	"n.222" -> "n.239"	[label=Edg344,
		style=dashed];
	"n.335" -> "n.18"	[label=Edg586];
	"n.128"	[height=0.5,
		rank=350,
		shape=diamond,
		width=1.557];
	"n.129"	[height=0.5,
		rank=352,
		width=1.1009];
	"n.128" -> "n.129"	[label=Edg182];
	"n.129" -> "n.105"	[label=Edg183];
	"n.162"	[color=red,
		height=0.5,
		rank=366,
		width=1.1009];
	"n.154" -> "n.162"	[label=Edg214,
		style=dashed];
	"n.131"	[height=0.5,
		rank=154,
		shape=rectangle,
		width=0.78472];
	"n.131" -> "n.115"	[label=Edg185];
	"n.132"	[height=0.5,
		rank=156,
		shape=diamond,
		width=1.557];
	"n.131" -> "n.132"	[label=Edg186];
	"n.133"	[height=1.1009,
		rank=158,
		shape=circle,
		width=1.1009];
	"n.132" -> "n.133"	[label=Edg187];
	"n.159"	[height=1.1009,
		rank=160,
		shape=circle,
		width=1.1009];
	"n.133" -> "n.159"	[label=Edg188];
	"n.417"	[height=1.1009,
		rank=162,
		shape=circle,
		width=1.1009];
	"n.159" -> "n.417"	[label=Edg222];
	"n.315"	[color=red,
		height=0.5,
		rank=164,
		width=1.1009];
	"n.417" -> "n.315"	[label=Edg709];
	"n.171"	[height=0.5,
		rank=166,
		shape=diamond,
		width=1.557];
	"n.315" -> "n.171"	[label=Edg554,
		style=dashed];
	"n.401"	[color=red,
		height=0.5,
		rank=170,
		width=1.1009];
	"n.315" -> "n.401"	[label=Edg556,
		style=dashed];
	"n.256"	[height=0.5,
		rank=166,
		shape=diamond,
		width=1.557];
	"n.315" -> "n.256"	[label=Edg555,
		style=dashed];
	"n.134"	[height=0.5,
		rank=352,
		shape=diamond,
		width=1.557];
	"n.135"	[height=0.5,
		rank=354,
		width=1.1009];
	"n.134" -> "n.135"	[label=Edg189];
	"n.135" -> "n.115"	[label=Edg190];
	"n.168"	[color=red,
		height=0.5,
		rank=368,
		width=1.1009];
	"n.162" -> "n.168"	[label=Edg225,
		style=dashed];
	"n.137"	[height=0.5,
		rank=136,
		shape=rectangle,
		width=0.78472];
	"n.137" -> "n.138"	[label=Edg193];
	"n.137" -> "n.130"	[label=Edg192];
	"n.139"	[height=0.5,
		rank=138,
		shape=diamond,
		width=1.557];
	"n.137" -> "n.139"	[label=Edg194];
	"n.140"	[height=0.5,
		rank=156,
		shape=diamond,
		width=1.557];
	"n.137" -> "n.140"	[label=Edg195];
	"n.142"	[height=1.1009,
		rank=140,
		shape=circle,
		width=1.1009];
	"n.139" -> "n.142"	[label=Edg197];
	"n.143"	[height=1.1009,
		rank=158,
		shape=circle,
		width=1.1009];
	"n.140" -> "n.143"	[label=Edg198];
	"n.142" -> "n.34"	[label=Edg200];
	"n.143" -> "n.417"	[label=Edg201];
	"n.208" -> "n.216"	[label=Edg296];
	"n.173"	[height=1.1009,
		rank=168,
		shape=circle,
		width=1.1009];
	"n.171" -> "n.173"	[label=Edg238];
	"n.401" -> "n.246"	[label=Edg687,
		style=dashed];
	"n.426"	[color=red,
		height=0.5,
		rank=172,
		width=1.1009];
	"n.401" -> "n.426"	[label=Edg688,
		style=dashed];
	"n.256" -> "n.173"	[label=Edg433];
	"n.144"	[height=0.5,
		rank=354,
		shape=diamond,
		width=1.557];
	"n.145"	[height=0.5,
		rank=356,
		width=1.1009];
	"n.144" -> "n.145"	[label=Edg202];
	"n.145" -> "n.130"	[label=Edg203];
	"n.177"	[color=red,
		height=0.5,
		rank=370,
		width=1.1009];
	"n.168" -> "n.177"	[label=Edg232,
		style=dashed];
	"n.147"	[height=0.5,
		rank=172,
		shape=rectangle,
		width=0.78472];
	"n.147" -> "n.149"	[label=Edg207];
	"n.147" -> "n.136"	[label=Edg205];
	"n.148"	[height=0.5,
		rank=174,
		shape=diamond,
		width=1.557];
	"n.147" -> "n.148"	[label=Edg206];
	"n.150"	[height=1.1009,
		rank=176,
		shape=circle,
		width=1.1009];
	"n.148" -> "n.150"	[label=Edg208];
	"n.444"	[height=1.1009,
		rank=178,
		shape=circle,
		width=1.1009];
	"n.150" -> "n.444"	[label=Edg210];
	"n.151" -> "n.452"	[label=Edg211];
	"n.444" -> "n.39"	[label=Edg753];
	"n.464"	[height=1.1009,
		rank=202,
		shape=circle,
		width=1.1009];
	"n.452" -> "n.464"	[label=Edg769];
	"n.465"	[height=1.1009,
		rank=202,
		shape=circle,
		width=1.1009];
	"n.452" -> "n.465"	[label=Edg770];
	"n.464" -> "n.462"	[label=Edg794];
	"n.465" -> "n.461"	[label=Edg795];
	"n.466"	[color=red,
		height=0.5,
		rank=208,
		width=1.1009];
	"n.462" -> "n.466"	[label=Edg791,
		style=dashed];
	"n.152"	[height=0.5,
		rank=356,
		shape=diamond,
		width=1.557];
	"n.153"	[height=0.5,
		rank=358,
		width=1.1009];
	"n.152" -> "n.153"	[label=Edg212];
	"n.153" -> "n.136"	[label=Edg213];
	"n.177" -> "n.52"	[label=Edg244,
		style=dashed];
	"n.155"	[height=0.5,
		rank=156,
		shape=rectangle,
		width=0.78472];
	"n.155" -> "n.158"	[label=Edg218];
	"n.155" -> "n.146"	[label=Edg215];
	"n.156"	[height=0.5,
		rank=158,
		shape=diamond,
		width=1.557];
	"n.155" -> "n.156"	[label=Edg216];
	"n.157"	[height=0.5,
		rank=174,
		shape=diamond,
		width=1.557];
	"n.155" -> "n.157"	[label=Edg217];
	"n.156" -> "n.159"	[label=Edg219];
	"n.157" -> "n.150"	[label=Edg220];
	"n.160"	[height=0.5,
		rank=358,
		shape=diamond,
		width=1.557];
	"n.161"	[height=0.5,
		rank=360,
		width=1.1009];
	"n.160" -> "n.161"	[label=Edg223];
	"n.161" -> "n.146"	[label=Edg224];
	"n.163"	[height=0.5,
		rank=248,
		shape=rectangle,
		width=0.78472];
	"n.163" -> "n.154"	[label=Edg226];
	"n.164"	[height=0.5,
		rank=250,
		shape=diamond,
		width=1.557];
	"n.163" -> "n.164"	[label=Edg227];
	"n.165"	[height=1.1009,
		rank=252,
		shape=circle,
		width=1.1009];
	"n.164" -> "n.165"	[label=Edg228];
	"n.165" -> "n.21"	[label=Edg229];
	"n.166"	[height=0.5,
		rank=360,
		shape=diamond,
		width=1.557];
	"n.167"	[height=0.5,
		rank=362,
		width=1.1009];
	"n.166" -> "n.167"	[label=Edg230];
	"n.167" -> "n.154"	[label=Edg231];
	"n.169"	[height=0.5,
		rank=68,
		shape=rectangle,
		width=0.78472];
	"n.169" -> "n.162"	[label=Edg233];
	"n.169" -> "n.171"	[label=Edg235];
	"n.170"	[height=0.5,
		rank=156,
		shape=diamond,
		width=1.557];
	"n.169" -> "n.170"	[label=Edg234];
	"n.172"	[height=0.5,
		rank=70,
		shape=diamond,
		width=1.557];
	"n.169" -> "n.172"	[label=Edg236];
	"n.170" -> "n.133"	[label=Edg237];
	"n.174"	[height=1.1009,
		rank=72,
		shape=circle,
		width=1.1009];
	"n.172" -> "n.174"	[label=Edg239];
	"n.173" -> "n.401"	[label=Edg240];
	"n.493"	[height=0.5,
		rank=74,
		width=1.1009];
	"n.174" -> "n.493"	[label=Edg241];
	"n.490"	[color=red,
		height=0.5,
		rank=76,
		width=1.1009];
	"n.493" -> "n.490"	[label=Edg840];
	"n.246" -> "n.37"	[label=Edg397,
		style=dashed];
	"n.246" -> "n.398"	[label=Edg401,
		style=dashed];
	"n.246" -> "n.164"	[label=Edg398,
		style=dashed];
	"n.246" -> "n.247"	[label=Edg399,
		style=dashed];
	"n.246" -> "n.393"	[label=Edg400,
		style=dashed];
	"n.246" -> "n.427"	[label=Edg402,
		style=dashed];
	"n.246" -> "n.428"	[label=Edg403,
		style=dashed];
	"n.246" -> "n.429"	[label=Edg404,
		style=dashed];
	"n.426" -> "n.431"	[label=Edg732,
		style=dashed];
	"n.426" -> "n.414"	[label=Edg729,
		style=dashed];
	"n.426" -> "n.148"	[label=Edg725,
		style=dashed];
	"n.426" -> "n.157"	[label=Edg726,
		style=dashed];
	"n.426" -> "n.392"	[label=Edg727,
		style=dashed];
	"n.426" -> "n.394"	[label=Edg728,
		style=dashed];
	"n.419"	[height=0.5,
		rank=174,
		shape=diamond,
		width=1.557];
	"n.426" -> "n.419"	[label=Edg730,
		style=dashed];
	"n.430"	[height=0.5,
		rank=174,
		shape=diamond,
		width=1.557];
	"n.426" -> "n.430"	[label=Edg731,
		style=dashed];
	"n.421"	[height=0.5,
		rank=84,
		shape=diamond,
		width=1.557];
	"n.490" -> "n.421"	[label=Edg834,
		style=dashed];
	"n.492"	[color=red,
		height=0.5,
		rank=78,
		width=1.1009];
	"n.490" -> "n.492"	[label=Edg835,
		style=dashed];
	"n.247" -> "n.21"	[label=Edg405,
		style=dashed];
	"n.247" -> "n.38"	[label=Edg406,
		style=dashed];
	"n.247" -> "n.245"	[label=Edg407,
		style=dashed];
	"n.392" -> "n.432"	[label=Edg673];
	"n.392" -> "n.446"	[label=Edg674];
	"n.394" -> "n.433"	[label=Edg675];
	"n.394" -> "n.447"	[label=Edg676];
	"n.419" -> "n.23"	[label=Edg715];
	"n.430" -> "n.444"	[label=Edg733];
	"n.424"	[height=1.1009,
		rank=86,
		shape=circle,
		width=1.1009];
	"n.421" -> "n.424"	[label=Edg717];
	"n.340"	[height=0.5,
		rank=80,
		shape=diamond,
		width=1.557];
	"n.492" -> "n.340"	[label=Edg836,
		style=dashed];
	"n.422"	[color=red,
		height=0.5,
		rank=90,
		width=1.1009];
	"n.492" -> "n.422"	[label=Edg837,
		style=dashed];
	"n.494"	[height=0.5,
		rank=80,
		shape=diamond,
		width=1.557];
	"n.492" -> "n.494"	[label=Edg838,
		style=dashed];
	"n.495"	[height=0.5,
		rank=84,
		shape=diamond,
		width=1.557];
	"n.492" -> "n.495"	[label=Edg839,
		style=dashed];
	"n.175"	[height=0.5,
		rank=362,
		shape=diamond,
		width=1.557];
	"n.176"	[height=0.5,
		rank=364,
		width=1.1009];
	"n.175" -> "n.176"	[label=Edg242];
	"n.176" -> "n.162"	[label=Edg243];
	"n.178"	[height=0.5,
		rank=244,
		shape=rectangle,
		width=0.78472];
	"n.178" -> "n.179"	[label=Edg246];
	"n.178" -> "n.168"	[label=Edg245];
	"n.180" -> "n.21"	[label=Edg248];
	"n.180" -> "n.398"	[label=Edg249];
	"n.181"	[height=0.5,
		rank=364,
		shape=diamond,
		width=1.557];
	"n.182"	[height=0.5,
		rank=366,
		width=1.1009];
	"n.181" -> "n.182"	[label=Edg250];
	"n.182" -> "n.168"	[label=Edg251];
	"n.183"	[height=0.5,
		rank=148,
		shape=rectangle,
		width=0.78472];
	"n.183" -> "n.177"	[label=Edg252];
	"n.183" -> "n.184"	[label=Edg253];
	"n.185"	[height=1.1009,
		rank=152,
		shape=circle,
		width=1.1009];
	"n.184" -> "n.185"	[label=Edg254];
	"n.185" -> "n.307"	[label=Edg255];
	"n.307" -> "n.56"	[label=Edg522,
		style=dashed];
	"n.307" -> "n.85"	[label=Edg523,
		style=dashed];
	"n.307" -> "n.86"	[label=Edg524,
		style=dashed];
	"n.307" -> "n.107"	[label=Edg525,
		style=dashed];
	"n.307" -> "n.119"	[label=Edg526,
		style=dashed];
	"n.307" -> "n.120"	[label=Edg527,
		style=dashed];
	"n.307" -> "n.132"	[label=Edg528,
		style=dashed];
	"n.307" -> "n.315"	[label=Edg533,
		style=dashed];
	"n.307" -> "n.140"	[label=Edg529,
		style=dashed];
	"n.307" -> "n.156"	[label=Edg530,
		style=dashed];
	"n.307" -> "n.170"	[label=Edg531,
		style=dashed];
	"n.314"	[height=0.5,
		rank=156,
		shape=diamond,
		width=1.557];
	"n.307" -> "n.314"	[label=Edg532,
		style=dashed];
	"n.314" -> "n.143"	[label=Edg553];
	"n.186"	[height=0.5,
		rank=366,
		shape=diamond,
		width=1.557];
	"n.187"	[height=0.5,
		rank=368,
		width=1.1009];
	"n.186" -> "n.187"	[label=Edg256];
	"n.187" -> "n.177"	[label=Edg257];
	"n.188"	[height=0.5,
		rank=6,
		shape=rectangle,
		width=0.78472];
	"n.188" -> "n.104"	[label=Edg258];
	"n.190"	[height=0.5,
		rank=8,
		shape=diamond,
		width=1.557];
	"n.190" -> "n.13"	[label=Edg260];
	"n.190" -> "n.16"	[label=Edg261];
	"n.190" -> "n.17"	[label=Edg262];
	"n.191"	[height=1.1009,
		rank=10,
		shape=circle,
		width=1.1009];
	"n.190" -> "n.191"	[label=Edg263];
	"n.192"	[height=1.1009,
		rank=10,
		shape=circle,
		width=1.1009];
	"n.190" -> "n.192"	[label=Edg264];
	"n.193"	[height=1.1009,
		rank=10,
		shape=circle,
		width=1.1009];
	"n.190" -> "n.193"	[label=Edg265];
	"n.194"	[height=1.1009,
		rank=10,
		shape=circle,
		width=1.1009];
	"n.190" -> "n.194"	[label=Edg266];
	"n.195"	[height=1.1009,
		rank=32,
		shape=circle,
		width=1.1009];
	"n.190" -> "n.195"	[label=Edg267];
	"n.191" -> "n.189"	[label=Edg268];
	"n.192" -> "n.196"	[label=Edg269];
	"n.193" -> "n.33"	[label=Edg270];
	"n.194" -> "n.197"	[label=Edg271];
	"n.198"	[color=red,
		height=0.5,
		rank=34,
		width=1.1009];
	"n.195" -> "n.198"	[label=Edg272];
	"n.196" -> "n.238"	[label=Edg273,
		style=dashed];
	"n.302"	[color=red,
		height=0.5,
		rank=320,
		width=1.1009];
	"n.196" -> "n.302"	[label=Edg274,
		style=dashed];
	"n.198" -> "n.250"	[label=Edg277,
		style=dashed];
	"n.485"	[color=red,
		height=0.5,
		rank=36,
		width=1.1009];
	"n.198" -> "n.485"	[label=Edg278,
		style=dashed];
	"n.238" -> "n.317"	[label=Edg378,
		style=dashed];
	"n.238" -> "n.283"	[label=Edg375,
		style=dashed];
	"n.238" -> "n.285"	[label=Edg376,
		style=dashed];
	"n.238" -> "n.287"	[label=Edg377,
		style=dashed];
	"n.238" -> "n.84"	[label=Edg372,
		style=dashed];
	"n.238" -> "n.117"	[label=Edg373,
		style=dashed];
	"n.238" -> "n.239"	[label=Edg374,
		style=dashed];
	"n.238" -> "n.319"	[label=Edg379,
		style=dashed];
	"n.302" -> "n.284"	[label=Edg510,
		style=dashed];
	"n.302" -> "n.286"	[label=Edg511,
		style=dashed];
	"n.302" -> "n.288"	[label=Edg512,
		style=dashed];
	"n.302" -> "n.118"	[label=Edg508,
		style=dashed];
	"n.302" -> "n.241"	[label=Edg509,
		style=dashed];
	"n.316"	[height=1.1009,
		rank=332,
		shape=circle,
		width=1.1009];
	"n.302" -> "n.316"	[label=Edg513,
		style=dashed];
	"n.244" -> "n.380"	[label=Edg390,
		style=dashed];
	"n.244" -> "n.381"	[label=Edg391,
		style=dashed];
	"n.244" -> "n.139"	[label=Edg387,
		style=dashed];
	"n.255"	[height=0.5,
		rank=138,
		shape=diamond,
		width=1.557];
	"n.244" -> "n.255"	[label=Edg388,
		style=dashed];
	"n.310"	[height=0.5,
		rank=138,
		shape=diamond,
		width=1.557];
	"n.244" -> "n.310"	[label=Edg389,
		style=dashed];
	"n.244" -> "n.382"	[label=Edg392,
		style=dashed];
	"n.379" -> "n.198"	[label=Edg652,
		style=dashed];
	"n.485" -> "n.25"	[label=Edg824,
		style=dashed];
	"n.485" -> "n.26"	[label=Edg825,
		style=dashed];
	"n.239" -> "n.320"	[label=Edg382,
		style=dashed];
	"n.239" -> "n.318"	[label=Edg381,
		style=dashed];
	"n.235"	[color=red,
		height=0.5,
		rank=336,
		width=1.1009];
	"n.239" -> "n.235"	[label=Edg380,
		style=dashed];
	"n.316" -> "n.318"	[label=Edg558];
	"n.316" -> "n.283"	[label=Edg557];
	"n.255" -> "n.142"	[label=Edg432];
	"n.310" -> "n.20"	[label=Edg541];
	"n.382" -> "n.387"	[label=Edg657];
	"n.382" -> "n.388"	[label=Edg658];
	"n.304"	[height=1.1009,
		rank=62,
		shape=circle,
		width=1.1009];
	"n.311" -> "n.304"	[label=Edg542];
	"n.486"	[color=red,
		height=0.5,
		rank=68,
		width=1.1009];
	"n.442" -> "n.486"	[label=Edg749,
		style=dashed];
	"n.487"	[color=red,
		height=0.5,
		rank=162,
		width=1.1009];
	"n.442" -> "n.487"	[label=Edg750,
		style=dashed];
	"n.235" -> "n.276"	[label=Edg368,
		style=dashed];
	"n.235" -> "n.215"	[label=Edg367,
		style=dashed];
	"n.235" -> "n.277"	[label=Edg369,
		style=dashed];
	"n.209"	[color=red,
		height=0.5,
		rank=338,
		width=1.1009];
	"n.235" -> "n.209"	[label=Edg366,
		style=dashed];
	"n.308"	[height=0.5,
		rank=64,
		width=1.1009];
	"n.304" -> "n.308"	[label=Edg518];
	"n.486" -> "n.488"	[label=Edg828,
		style=dashed];
	"n.486" -> "n.172"	[label=Edg826,
		style=dashed];
	"n.486" -> "n.490"	[label=Edg829,
		style=dashed];
	"n.257"	[height=0.5,
		rank=70,
		shape=diamond,
		width=1.557];
	"n.486" -> "n.257"	[label=Edg827,
		style=dashed];
	"n.487" -> "n.489"	[label=Edg830,
		style=dashed];
	"n.491"	[color=red,
		height=0.5,
		rank=164,
		width=1.1009];
	"n.487" -> "n.491"	[label=Edg831,
		style=dashed];
	"n.199"	[height=0.5,
		rank=8,
		shape=rectangle,
		width=0.78472];
	"n.199" -> "n.191"	[label=Edg279];
	"n.200"	[height=0.5,
		rank=8,
		shape=diamond,
		width=1.557];
	"n.200" -> "n.11"	[label=Edg280];
	"n.200" -> "n.14"	[label=Edg281];
	"n.200" -> "n.19"	[label=Edg282];
	"n.201"	[height=1.1009,
		rank=10,
		shape=circle,
		width=1.1009];
	"n.200" -> "n.201"	[label=Edg283];
	"n.201" -> "n.202"	[label=Edg284];
	"n.203"	[height=0.5,
		rank=8,
		shape=diamond,
		width=1.557];
	"n.203" -> "n.12"	[label=Edg287];
	"n.203" -> "n.15"	[label=Edg288];
	"n.204"	[height=1.1009,
		rank=10,
		shape=circle,
		width=1.1009];
	"n.203" -> "n.204"	[label=Edg289];
	"n.205"	[height=1.1009,
		rank=10,
		shape=circle,
		width=1.1009];
	"n.203" -> "n.205"	[label=Edg290];
	"n.206"	[height=1.1009,
		rank=10,
		shape=circle,
		width=1.1009];
	"n.203" -> "n.206"	[label=Edg291];
	"n.207"	[height=1.1009,
		rank=12,
		shape=circle,
		width=1.1009];
	"n.204" -> "n.207"	[label=Edg292];
	"n.205" -> "n.207"	[label=Edg293];
	"n.206" -> "n.208"	[label=Edg294];
	"n.207" -> "n.49"	[label=Edg295];
	"n.209" -> "n.210"	[label=Edg298,
		style=dashed];
	"n.209" -> "n.52"	[label=Edg297,
		style=dashed];
	"n.218"	[height=0.5,
		rank=8,
		shape=rectangle,
		width=0.78472];
	"n.218" -> "n.51"	[label=Edg314];
	"n.218" -> "n.220"	[label=Edg324];
	"n.218" -> "n.224"	[label=Edg328];
	"n.218" -> "n.230"	[label=Edg334];
	"n.218" -> "n.221"	[label=Edg325];
	"n.218" -> "n.227"	[label=Edg331];
	"n.218" -> "n.228"	[label=Edg332];
	"n.218" -> "n.123"	[label=Edg315];
	"n.218" -> "n.124"	[label=Edg316];
	"n.218" -> "n.222"	[label=Edg326];
	"n.218" -> "n.192"	[label=Edg317];
	"n.218" -> "n.194"	[label=Edg318];
	"n.218" -> "n.201"	[label=Edg319];
	"n.218" -> "n.204"	[label=Edg320];
	"n.218" -> "n.206"	[label=Edg321];
	"n.218" -> "n.209"	[label=Edg322];
	"n.218" -> "n.219"	[label=Edg323];
	"n.223"	[height=1.1009,
		rank=10,
		shape=circle,
		width=1.1009];
	"n.218" -> "n.223"	[label=Edg327];
	"n.225"	[color=red,
		height=0.5,
		rank=134,
		width=1.1009];
	"n.218" -> "n.225"	[label=Edg329];
	"n.226"	[height=1.1009,
		rank=10,
		shape=circle,
		width=1.1009];
	"n.218" -> "n.226"	[label=Edg330];
	"n.229"	[color=red,
		height=0.5,
		rank=238,
		width=1.1009];
	"n.218" -> "n.229"	[label=Edg333];
	"n.231"	[height=1.1009,
		rank=124,
		shape=circle,
		width=1.1009];
	"n.218" -> "n.231"	[label=Edg335];
	"n.232"	[height=1.1009,
		rank=10,
		shape=circle,
		width=1.1009];
	"n.218" -> "n.232"	[label=Edg336];
	"n.233"	[height=1.1009,
		rank=10,
		shape=circle,
		width=1.1009];
	"n.218" -> "n.233"	[label=Edg337];
	"n.219" -> "n.234"	[label=Edg338,
		style=dashed];
	"n.219" -> "n.235"	[label=Edg339,
		style=dashed];
	"n.223" -> "n.240"	[label=Edg345];
	"n.225" -> "n.245"	[label=Edg349,
		style=dashed];
	"n.225" -> "n.244"	[label=Edg348,
		style=dashed];
	"n.226" -> "n.61"	[label=Edg350];
	"n.229" -> "n.249"	[label=Edg356,
		style=dashed];
	"n.229" -> "n.247"	[label=Edg355,
		style=dashed];
	"n.251"	[color=red,
		height=0.5,
		rank=126,
		width=1.1009];
	"n.231" -> "n.251"	[label=Edg359];
	"n.232" -> "n.62"	[label=Edg360];
	"n.233" -> "n.252"	[label=Edg361];
	"n.301"	[height=1.1009,
		rank=320,
		shape=circle,
		width=1.1009];
	"n.237" -> "n.301"	[label=Edg371];
	"n.259"	[color=red,
		height=0.5,
		rank=128,
		width=1.1009];
	"n.251" -> "n.259"	[label=Edg423,
		style=dashed];
	"n.411"	[height=1.1009,
		rank=156,
		shape=circle,
		width=1.1009];
	"n.252" -> "n.411"	[label=Edg424];
	"n.306"	[height=0.5,
		rank=330,
		width=1.1009];
	"n.301" -> "n.306"	[label=Edg507];
	"n.346"	[color=red,
		height=0.5,
		rank=130,
		width=1.1009];
	"n.259" -> "n.346"	[label=Edg436,
		style=dashed];
	"n.411" -> "n.514"	[label=Edg700];
	"n.306" -> "n.317"	[label=Edg521];
	"n.306" -> "n.316"	[label=Edg520];
	"n.342"	[height=1.1009,
		rank=272,
		shape=circle,
		width=1.1009];
	"n.339" -> "n.342"	[label=Edg597];
	"n.343"	[height=1.1009,
		rank=272,
		shape=circle,
		width=1.1009];
	"n.339" -> "n.343"	[label=Edg598];
	"n.355"	[color=red,
		height=0.5,
		rank=276,
		width=1.1009];
	"n.354" -> "n.355"	[label=Edg620,
		style=dashed];
	"n.312"	[color=red,
		height=0.5,
		rank=132,
		width=1.1009];
	"n.346" -> "n.312"	[label=Edg606,
		style=dashed];
	"n.342" -> "n.355"	[label=Edg601];
	"n.343" -> "n.354"	[label=Edg602];
	"n.357"	[color=red,
		height=0.5,
		rank=278,
		width=1.1009];
	"n.355" -> "n.357"	[label=Edg621,
		style=dashed];
	"n.308" -> "n.442"	[label=Edg534];
	"n.257" -> "n.174"	[label=Edg434];
	"n.312" -> "n.57"	[label=Edg543,
		style=dashed];
	"n.312" -> "n.65"	[label=Edg544,
		style=dashed];
	"n.312" -> "n.66"	[label=Edg545,
		style=dashed];
	"n.312" -> "n.67"	[label=Edg546,
		style=dashed];
	"n.312" -> "n.87"	[label=Edg547,
		style=dashed];
	"n.312" -> "n.108"	[label=Edg548,
		style=dashed];
	"n.312" -> "n.121"	[label=Edg549,
		style=dashed];
	"n.312" -> "n.225"	[label=Edg550,
		style=dashed];
	"n.296"	[height=0.5,
		rank=134,
		shape=diamond,
		width=1.557];
	"n.312" -> "n.296"	[label=Edg551,
		style=dashed];
	"n.253"	[height=0.5,
		rank=8,
		shape=rectangle,
		width=0.78472];
	"n.253" -> "n.205"	[label=Edg425];
	"n.254"	[height=0.5,
		rank=68,
		shape=rectangle,
		width=0.78472];
	"n.254" -> "n.212"	[label=Edg426];
	"n.254" -> "n.256"	[label=Edg429];
	"n.254" -> "n.255"	[label=Edg428];
	"n.254" -> "n.251"	[label=Edg427];
	"n.254" -> "n.257"	[label=Edg430];
	"n.258"	[height=0.5,
		rank=122,
		shape=diamond,
		width=1.557];
	"n.254" -> "n.258"	[label=Edg431];
	"n.258" -> "n.231"	[label=Edg435];
	"n.296" -> "n.24"	[label=Edg495];
	"n.295"	[height=0.5,
		rank=42,
		shape=rectangle,
		width=0.78472];
	"n.295" -> "n.42"	[label=Edg490];
	"n.295" -> "n.43"	[label=Edg491];
	"n.295" -> "n.279"	[label=Edg493];
	"n.295" -> "n.278"	[label=Edg492];
	"n.295" -> "n.296"	[label=Edg494];
	"n.300"	[height=0.5,
		rank=36,
		shape=rectangle,
		width=0.78472];
	"n.300" -> "n.25"	[label=Edg502];
	"n.300" -> "n.26"	[label=Edg503];
	"n.300" -> "n.220"	[label=Edg504];
	"n.300" -> "n.224"	[label=Edg506];
	"n.300" -> "n.221"	[label=Edg505];
	"n.303"	[height=0.5,
		rank=60,
		shape=diamond,
		width=1.557];
	"n.303" -> "n.305"	[label=Edg517];
	"n.303" -> "n.185"	[label=Edg514];
	"n.303" -> "n.304"	[label=Edg516];
	"n.303" -> "n.301"	[label=Edg515];
	"n.309"	[height=0.5,
		rank=58,
		shape=rectangle,
		width=0.78472];
	"n.309" -> "n.313"	[label=Edg540];
	"n.309" -> "n.307"	[label=Edg536];
	"n.309" -> "n.310"	[label=Edg537];
	"n.309" -> "n.311"	[label=Edg538];
	"n.309" -> "n.237"	[label=Edg535];
	"n.309" -> "n.312"	[label=Edg539];
	"n.321"	[height=0.5,
		rank=8,
		shape=diamond,
		width=1.557];
	"n.321" -> "n.223"	[label=Edg564];
	"n.321" -> "n.226"	[label=Edg565];
	"n.321" -> "n.232"	[label=Edg566];
	"n.321" -> "n.233"	[label=Edg567];
	"n.323"	[height=0.5,
		rank=156,
		shape=diamond,
		width=1.557];
	"n.323" -> "n.89"	[label=Edg569];
	"n.323" -> "n.90"	[label=Edg570];
	"n.323" -> "n.92"	[label=Edg571];
	"n.327"	[height=0.5,
		rank=158,
		shape=diamond,
		width=1.557];
	"n.327" -> "n.110"	[label=Edg575];
	"n.327" -> "n.111"	[label=Edg576];
	"n.327" -> "n.122"	[label=Edg577];
	"n.330"	[height=0.5,
		rank=338,
		shape=diamond,
		width=1.557];
	"n.331"	[height=1.1009,
		rank=340,
		shape=circle,
		width=1.1009];
	"n.330" -> "n.331"	[label=Edg580];
	"n.331" -> "n.326"	[label=Edg581];
	"n.332"	[height=0.5,
		rank=338,
		shape=diamond,
		width=1.557];
	"n.332" -> "n.331"	[label=Edg582];
	"n.357" -> "n.359"	[label=Edg625,
		style=dashed];
	"n.358"	[height=0.5,
		rank=280,
		shape=diamond,
		width=1.557];
	"n.357" -> "n.358"	[label=Edg624,
		style=dashed];
	"n.338"	[height=0.5,
		rank=48,
		shape=rectangle,
		width=0.78472];
	"n.338" -> "n.298"	[label=Edg592];
	"n.338" -> "n.299"	[label=Edg593];
	"n.338" -> "n.280"	[label=Edg591];
	"n.338" -> "n.259"	[label=Edg590];
	"n.338" -> "n.339"	[label=Edg594];
	"n.338" -> "n.340"	[label=Edg595];
	"n.341"	[height=0.5,
		rank=94,
		shape=diamond,
		width=1.557];
	"n.338" -> "n.341"	[label=Edg596];
	"n.344"	[height=1.1009,
		rank=88,
		shape=circle,
		width=1.1009];
	"n.340" -> "n.344"	[label=Edg599];
	"n.345"	[color=red,
		height=0.5,
		rank=98,
		width=1.1009];
	"n.341" -> "n.345"	[label=Edg600];
	"n.344" -> "n.422"	[label=Edg603];
	"n.450"	[height=0.5,
		rank=106,
		shape=diamond,
		width=1.557];
	"n.345" -> "n.450"	[label=Edg604,
		style=dashed];
	"n.500"	[color=red,
		height=0.5,
		rank=100,
		width=1.1009];
	"n.345" -> "n.500"	[label=Edg605,
		style=dashed];
	"n.425"	[color=red,
		height=0.5,
		rank=92,
		width=1.1009];
	"n.422" -> "n.425"	[label=Edg718,
		style=dashed];
	"n.453"	[height=1.1009,
		rank=108,
		shape=circle,
		width=1.1009];
	"n.450" -> "n.453"	[label=Edg767];
	"n.350"	[height=0.5,
		rank=108,
		shape=diamond,
		width=1.557];
	"n.500" -> "n.350"	[label=Edg848,
		style=dashed];
	"n.451"	[color=red,
		height=0.5,
		rank=112,
		width=1.1009];
	"n.500" -> "n.451"	[label=Edg849,
		style=dashed];
	"n.501"	[height=0.5,
		rank=102,
		shape=diamond,
		width=1.557];
	"n.500" -> "n.501"	[label=Edg850,
		style=dashed];
	"n.502"	[height=0.5,
		rank=106,
		shape=diamond,
		width=1.557];
	"n.500" -> "n.502"	[label=Edg851,
		style=dashed];
	"n.425" -> "n.341"	[label=Edg722,
		style=dashed];
	"n.425" -> "n.345"	[label=Edg723,
		style=dashed];
	"n.499"	[height=0.5,
		rank=94,
		shape=diamond,
		width=1.557];
	"n.425" -> "n.499"	[label=Edg724,
		style=dashed];
	"n.352"	[height=1.1009,
		rank=110,
		shape=circle,
		width=1.1009];
	"n.453" -> "n.352"	[label=Edg771];
	"n.350" -> "n.352"	[label=Edg615];
	"n.454"	[color=red,
		height=0.5,
		rank=114,
		width=1.1009];
	"n.451" -> "n.454"	[label=Edg768,
		style=dashed];
	"n.504"	[height=1.1009,
		rank=104,
		shape=circle,
		width=1.1009];
	"n.501" -> "n.504"	[label=Edg852];
	"n.502" -> "n.453"	[label=Edg853];
	"n.358" -> "n.77"	[label=Edg626];
	"n.358" -> "n.78"	[label=Edg627];
	"n.498"	[height=1.1009,
		rank=96,
		shape=circle,
		width=1.1009];
	"n.499" -> "n.498"	[label=Edg847];
	"n.352" -> "n.451"	[label=Edg617];
	"n.351"	[height=0.5,
		rank=116,
		shape=diamond,
		width=1.557];
	"n.454" -> "n.351"	[label=Edg772,
		style=dashed];
	"n.353"	[color=red,
		height=0.5,
		rank=120,
		width=1.1009];
	"n.454" -> "n.353"	[label=Edg773,
		style=dashed];
	"n.506"	[height=0.5,
		rank=116,
		shape=diamond,
		width=1.557];
	"n.454" -> "n.506"	[label=Edg774,
		style=dashed];
	"n.504" -> "n.502"	[label=Edg856];
	"n.348"	[height=0.5,
		rank=106,
		shape=rectangle,
		width=0.78472];
	"n.348" -> "n.281"	[label=Edg608];
	"n.348" -> "n.349"	[label=Edg610];
	"n.348" -> "n.346"	[label=Edg609];
	"n.348" -> "n.350"	[label=Edg611];
	"n.348" -> "n.351"	[label=Edg612];
	"n.351" -> "n.353"	[label=Edg616];
	"n.353" -> "n.251"	[label=Edg618,
		style=dashed];
	"n.353" -> "n.258"	[label=Edg619,
		style=dashed];
	"n.505"	[height=1.1009,
		rank=118,
		shape=circle,
		width=1.1009];
	"n.506" -> "n.505"	[label=Edg858];
	"n.356"	[height=0.5,
		rank=270,
		shape=diamond,
		width=1.557];
	"n.356" -> "n.342"	[label=Edg622];
	"n.356" -> "n.343"	[label=Edg623];
	"n.367"	[height=1.1009,
		rank=302,
		shape=circle,
		width=1.1009];
	"n.364" -> "n.367"	[label=Edg635];
	"n.368"	[height=1.1009,
		rank=296,
		shape=circle,
		width=1.1009];
	"n.365" -> "n.368"	[label=Edg636];
	"n.369"	[height=0.5,
		rank=294,
		shape=diamond,
		width=1.557];
	"n.366" -> "n.369"	[label=Edg637,
		style=dashed];
	"n.370"	[color=red,
		height=0.5,
		rank=294,
		width=1.1009];
	"n.366" -> "n.370"	[label=Edg638,
		style=dashed];
	"n.367" -> "n.337"	[label=Edg639];
	"n.368" -> "n.364"	[label=Edg640];
	"n.369" -> "n.368"	[label=Edg641];
	"n.371"	[height=0.5,
		rank=297,
		shape=diamond,
		width=1.557];
	"n.370" -> "n.371"	[label=Edg642,
		style=dashed];
	"n.372"	[color=red,
		height=0.5,
		rank=296,
		width=1.1009];
	"n.370" -> "n.372"	[label=Edg643,
		style=dashed];
	"n.373"	[height=1.1009,
		rank=300,
		shape=circle,
		width=1.1009];
	"n.371" -> "n.373"	[label=Edg644];
	"n.372" -> "n.289"	[label=Edg645,
		style=dashed];
	"n.374"	[height=0.5,
		rank=298,
		shape=diamond,
		width=1.557];
	"n.372" -> "n.374"	[label=Edg646,
		style=dashed];
	"n.373" -> "n.367"	[label=Edg647];
	"n.374" -> "n.373"	[label=Edg648];
	"n.377"	[height=0.5,
		rank=8,
		shape=rectangle,
		width=0.78472];
	"n.377" -> "n.193"	[label=Edg651];
	"n.395"	[height=0.5,
		rank=146,
		shape=diamond,
		width=1.557];
	"n.395" -> "n.349"	[label=Edg679];
	"n.395" -> "n.165"	[label=Edg677];
	"n.395" -> "n.180"	[label=Edg678];
	"n.396"	[height=1.1009,
		rank=212,
		shape=circle,
		width=1.1009];
	"n.395" -> "n.396"	[label=Edg680];
	"n.397"	[height=1.1009,
		rank=212,
		shape=circle,
		width=1.1009];
	"n.395" -> "n.397"	[label=Edg681];
	"n.399"	[color=red,
		height=0.5,
		rank=216,
		width=1.1009];
	"n.396" -> "n.399"	[label=Edg682];
	"n.400"	[color=red,
		height=0.5,
		rank=214,
		width=1.1009];
	"n.397" -> "n.400"	[label=Edg683];
	"n.468"	[color=red,
		height=0.5,
		rank=218,
		width=1.1009];
	"n.399" -> "n.468"	[label=Edg685,
		style=dashed];
	"n.400" -> "n.399"	[label=Edg686,
		style=dashed];
	"n.468" -> "n.470"	[label=Edg801,
		style=dashed];
	"n.469"	[height=0.5,
		rank=220,
		shape=diamond,
		width=1.557];
	"n.468" -> "n.469"	[label=Edg800,
		style=dashed];
	"n.469" -> "n.80"	[label=Edg802];
	"n.469" -> "n.81"	[label=Edg803];
	"n.404"	[height=0.5,
		rank=162,
		shape=diamond,
		width=1.557];
	"n.404" -> "n.125"	[label=Edg691];
	"n.404" -> "n.127"	[label=Edg692];
	"n.407"	[height=0.5,
		rank=152,
		shape=diamond,
		width=1.557];
	"n.408"	[height=1.1009,
		rank=154,
		shape=circle,
		width=1.1009];
	"n.407" -> "n.408"	[label=Edg695];
	"n.408" -> "n.403"	[label=Edg696];
	"n.409"	[height=0.5,
		rank=152,
		shape=rectangle,
		width=0.78472];
	"n.409" -> "n.408"	[label=Edg697];
	"n.410"	[height=1.1009,
		rank=154,
		shape=circle,
		width=1.1009];
	"n.409" -> "n.410"	[label=Edg698];
	"n.410" -> "n.411"	[label=Edg699];
	"n.413"	[height=0.5,
		rank=162,
		shape=diamond,
		width=1.557];
	"n.413" -> "n.126"	[label=Edg703];
	"n.415"	[height=0.5,
		rank=156,
		shape=diamond,
		width=1.557];
	"n.415" -> "n.91"	[label=Edg706];
	"n.418"	[height=0.5,
		rank=82,
		shape=rectangle,
		width=0.78472];
	"n.418" -> "n.420"	[label=Edg712];
	"n.418" -> "n.419"	[label=Edg711];
	"n.418" -> "n.421"	[label=Edg713];
	"n.418" -> "n.314"	[label=Edg710];
	"n.418" -> "n.422"	[label=Edg714];
	"n.423" -> "n.464"	[label=Edg719];
	"n.423" -> "n.465"	[label=Edg720];
	"n.424" -> "n.344"	[label=Edg721];
	"n.498" -> "n.345"	[label=Edg846];
	"n.466" -> "n.400"	[label=Edg796,
		style=dashed];
	"n.467"	[height=0.5,
		rank=210,
		shape=diamond,
		width=1.557];
	"n.466" -> "n.467"	[label=Edg797,
		style=dashed];
	"n.456" -> "n.79"	[label=Edg777];
	"n.440"	[height=1.1009,
		rank=242,
		shape=circle,
		width=1.1009];
	"n.440" -> "n.21"	[label=Edg745];
	"n.440" -> "n.436"	[label=Edg746];
	"n.448"	[height=0.5,
		rank=104,
		shape=rectangle,
		width=0.78472];
	"n.448" -> "n.449"	[label=Edg763];
	"n.448" -> "n.430"	[label=Edg762];
	"n.448" -> "n.450"	[label=Edg764];
	"n.448" -> "n.451"	[label=Edg765];
	"n.505" -> "n.353"	[label=Edg857];
	"n.467" -> "n.396"	[label=Edg798];
	"n.467" -> "n.397"	[label=Edg799];
	"n.463"	[height=0.5,
		rank=30,
		shape=rectangle,
		width=0.78472];
	"n.463" -> "n.195"	[label=Edg792];
	"n.463" -> "n.423"	[label=Edg793];
	"n.475" -> "n.440"	[label=Edg811];
	"n.478"	[height=1.1009,
		rank=236,
		shape=circle,
		width=1.1009];
	"n.476" -> "n.478"	[label=Edg812];
	"n.479"	[height=0.5,
		rank=234,
		shape=diamond,
		width=1.557];
	"n.477" -> "n.479"	[label=Edg813,
		style=dashed];
	"n.480"	[color=red,
		height=0.5,
		rank=234,
		width=1.1009];
	"n.477" -> "n.480"	[label=Edg814,
		style=dashed];
	"n.478" -> "n.475"	[label=Edg815];
	"n.479" -> "n.478"	[label=Edg816];
	"n.481"	[height=0.5,
		rank=237,
		shape=diamond,
		width=1.557];
	"n.480" -> "n.481"	[label=Edg817,
		style=dashed];
	"n.482"	[color=red,
		height=0.5,
		rank=236,
		width=1.1009];
	"n.480" -> "n.482"	[label=Edg818,
		style=dashed];
	"n.483"	[height=1.1009,
		rank=240,
		shape=circle,
		width=1.1009];
	"n.481" -> "n.483"	[label=Edg819];
	"n.482" -> "n.229"	[label=Edg820,
		style=dashed];
	"n.484"	[height=0.5,
		rank=238,
		shape=diamond,
		width=1.557];
	"n.482" -> "n.484"	[label=Edg821,
		style=dashed];
	"n.483" -> "n.440"	[label=Edg822];
	"n.484" -> "n.483"	[label=Edg823];
	"n.497"	[height=1.1009,
		rank=82,
		shape=circle,
		width=1.1009];
	"n.494" -> "n.497"	[label=Edg841];
	"n.495" -> "n.424"	[label=Edg842];
	"n.497" -> "n.495"	[label=Edg845];
	"n.496"	[height=0.5,
		rank=80,
		shape=rectangle,
		width=0.78472];
	"n.496" -> "n.498"	[label=Edg844];
	"n.496" -> "n.497"	[label=Edg843];
	"n.503"	[height=0.5,
		rank=102,
		shape=rectangle,
		width=0.78472];
	"n.503" -> "n.504"	[label=Edg854];
	"n.503" -> "n.505"	[label=Edg855];
	"n.508"	[height=0.5,
		rank=160,
		shape=diamond,
		width=1.557];
	"n.508" -> "n.68"	[label=Edg860];
	"n.511"	[height=0.5,
		rank=160,
		shape=diamond,
		width=1.557];
	"n.511" -> "n.69"	[label=Edg864];
	"n.512"	[height=0.5,
		rank=160,
		shape=diamond,
		width=1.557];
	"n.512" -> "n.70"	[label=Edg865];
	"n.513"	[height=0.5,
		rank=38,
		shape=diamond,
		width=1.557];
	"n.513" -> "n.41"	[label=Edg866];
	"n.513" -> "n.297"	[label=Edg867];
	"n.513" -> "n.347"	[label=Edg868];
	"n.515"	[height=0.5,
		rank=152,
		shape=diamond,
		width=1.557];
	"n.515" -> "n.410"	[label=Edg870];
	"n.517"	[height=0.5,
		rank=154,
		shape=diamond,
		width=1.557];
	"n.517" -> "n.112"	[label=Edg873];
	"n.518"	[height=0.5,
		rank=156,
		shape=diamond,
		width=1.557];
	"n.518" -> "n.93"	[label=Edg874];
}