New test suite

diff --git a/rtest/graphs/arrows.dot b/rtest/graphs/arrows.dot
new file mode 100644 (file)
index 0000000..49416d6
--- /dev/null
+++ b/rtest/graphs/arrows.dot
@@ -0,0 +1,57 @@
+digraph G {
+  // leave some space for the head/taillabels
+  graph [ranksep=1.5 splines=true overlap=false]
+
+  // to avoid confusion, remember this:
+  // it's spelt tail/head, but it's read start/end
+
+  // emphasize theatrically
+  // show only explicitly given head/tails
+  // put head/tail labels farther from the node
+//  edge [arrowsize=2 dir=none labeldistance=3]
+  edge [dir=none labeldistance=3]
+
+  // not interested in node labels
+  node [shape=circle width=0.5 label=""]
+
+  {
+    edge [samehead=ahead samearrowhead=1]
+    a->Z [arrowtail=none taillabel=none]
+    b->Z [arrowtail=normal taillabel=normal]
+    c->Z [arrowtail=inv taillabel=inv]
+    d->Z [arrowtail=dot taillabel=dot]
+    e->Z [arrowtail=odot taillabel=odot]
+    f->Z [arrowtail=invdot taillabel=invdot]
+    g->Z [arrowtail=invodot taillabel=invodot]
+    h->Z [arrowtail=open taillabel=open]
+    i->Z [arrowtail=halfopen taillabel=halfopen arrowhead=inv headlabel=samehead]
+    j->Z [arrowtail=empty taillabel=empty]
+    k->Z [arrowtail=invempty taillabel=invempty]
+    l->Z [arrowtail=diamond taillabel=diamond]
+    m->Z [arrowtail=odiamond taillabel=odiamond]
+    n->Z [arrowtail=box taillabel=box]
+    o->Z [arrowtail=obox taillabel=obox]
+    p->Z [arrowtail=tee taillabel=tee]
+    q->Z [arrowtail=crow taillabel=crow]
+  }
+  {
+    edge [sametail=atail samearrowtail=1]
+    Z->A [arrowhead=none headlabel=none]
+    Z->B [arrowhead=normal headlabel=normal]
+    Z->C [arrowhead=inv headlabel=inv]
+    Z->D [arrowhead=dot headlabel=dot]
+    Z->E [arrowhead=odot headlabel=odot]
+    Z->F [arrowhead=invdot headlabel=invdot]
+    Z->G [arrowhead=invodot headlabel=invodot]
+    Z->H [arrowhead=open headlabel=open]
+    Z->I [arrowhead=halfopen headlabel=halfopen arrowtail=inv taillabel=sametail]
+    Z->J [arrowhead=empty headlabel=empty]
+    Z->K [arrowhead=invempty headlabel=invempty]
+    Z->L [arrowhead=diamond headlabel=diamond]
+    Z->M [arrowhead=odiamond headlabel=odiamond]
+    Z->N [arrowhead=box headlabel=box]
+    Z->O [arrowhead=obox headlabel=obox]
+    Z->P [arrowhead=tee headlabel=tee]
+    Z->Q [arrowhead=crow headlabel=crow]
+  }
+}

diff --git a/rtest/graphs/arrowsize.dot b/rtest/graphs/arrowsize.dot
new file mode 100644 (file)
index 0000000..975b732
--- /dev/null
+++ b/rtest/graphs/arrowsize.dot
@@ -0,0 +1,56 @@
+digraph G {
+  // leave some space for the head/taillabels
+  graph [ranksep=1.5 splines=true overlap=false]
+
+  // to avoid confusion, remember this:
+  // it's spelt tail/head, but it's read start/end
+
+  // emphasize theatrically
+  // show only explicitly given head/tails
+  // put head/tail labels farther from the node
+  edge [dir=none labeldistance=3]
+
+  // not interested in node labels
+  node [shape=circle width=0.5 label=""]
+
+  {
+    edge [arrowsize=2 samehead=ahead samearrowhead=1]
+    a->Z [arrowtail=none taillabel=none]
+    b->Z [arrowtail=normal taillabel=normal]
+    c->Z [arrowtail=inv taillabel=inv]
+    d->Z [arrowtail=dot taillabel=dot]
+    e->Z [arrowtail=odot taillabel=odot]
+    f->Z [arrowtail=invdot taillabel=invdot]
+    g->Z [arrowtail=invodot taillabel=invodot]
+    h->Z [arrowtail=open taillabel=open]
+    i->Z [arrowtail=halfopen taillabel=halfopen arrowhead=inv headlabel=samehead]
+    j->Z [arrowtail=empty taillabel=empty]
+    k->Z [arrowtail=invempty taillabel=invempty]
+    l->Z [arrowtail=diamond taillabel=diamond]
+    m->Z [arrowtail=odiamond taillabel=odiamond]
+    n->Z [arrowtail=box taillabel=box]
+    o->Z [arrowtail=obox taillabel=obox]
+    p->Z [arrowtail=tee taillabel=tee]
+    q->Z [arrowtail=crow taillabel=crow]
+  }
+  {
+    edge [arrowsize=4 sametail=atail samearrowtail=1]
+    Z->A [arrowhead=none headlabel=none]
+    Z->B [arrowhead=normal headlabel=normal]
+    Z->C [arrowhead=inv headlabel=inv]
+    Z->D [arrowhead=dot headlabel=dot]
+    Z->E [arrowhead=odot headlabel=odot]
+    Z->F [arrowhead=invdot headlabel=invdot]
+    Z->G [arrowhead=invodot headlabel=invodot]
+    Z->H [arrowhead=open headlabel=open]
+    Z->I [arrowhead=halfopen headlabel=halfopen arrowtail=inv taillabel=sametail]
+    Z->J [arrowhead=empty headlabel=empty]
+    Z->K [arrowhead=invempty headlabel=invempty]
+    Z->L [arrowhead=diamond headlabel=diamond]
+    Z->M [arrowhead=odiamond headlabel=odiamond]
+    Z->N [arrowhead=box headlabel=box]
+    Z->O [arrowhead=obox headlabel=obox]
+    Z->P [arrowhead=tee headlabel=tee]
+    Z->Q [arrowhead=crow headlabel=crow]
+  }
+}

diff --git a/rtest/graphs/cairo.dot b/rtest/graphs/cairo.dot
new file mode 100644 (file)
index 0000000..75ec099
--- /dev/null
+++ b/rtest/graphs/cairo.dot
@@ -0,0 +1,94 @@
+digraph G {\r
+graph [\r
+fontsize = "14"\r
+fontname = "Times-Roman"\r
+fontcolor = "black"\r
+color = "black"\r
+];\r
+node [\r
+fontsize = "14"\r
+fontname = "Times-Roman"\r
+fontcolor = "black"\r
+shape = "box"\r
+/* color = "black" */\r
+width = "0.5"\r
+style = "filled"\r
+];\r
+edge [\r
+fontsize = "14"\r
+fontname = "Times-Roman"\r
+fontcolor = "black"\r
+color = "black"\r
+];\r
+"ПРЕЗИДЕНТ РФ [1888]" -> "ВЛАДИМИР ПУТИН [2645]" [label="834"];\r
+"ПРЕЗИДЕНТ РФ [1888]" -> "ИРАК [2665]" [label="157"];\r
+"ПРЕЗИДЕНТ РФ [1888]" -> "ВОЙНА [1616]" [label="36"];\r
+"ПРЕЗИДЕНТ РФ [1888]" -> "ТЕКСТ [2064]" [label="343"];\r
+"ПРЕЗИДЕНТ РФ [1888]" -> "МОСКВА [3539]" [label="208"];\r
+"ПРЕЗИДЕНТ РФ [1888]" -> "ЯПОНИЯ [781]" [label="82"];\r
+"ПРЕЗИДЕНТ РФ [1888]" -> "УКРАИНА [1103]" [label="54"];\r
+"ПРЕЗИДЕНТ РФ [1888]" -> "ПОЛИТИКА [2170]" [label="64"];\r
+"ПРЕЗИДЕНТ РФ [1888]" -> "ПЕРЕПИСЬ [832]" [label="47"];\r
+"ПРЕЗИДЕНТ РФ [1888]" -> "РЕСПУБЛИКА [1191]" [label="52"];\r
+"ПРЕЗИДЕНТ РФ [1888]" -> "СОЕДИНЕННЫЕ ШТАТЫ АМЕРИКИ [1284]" [label="23"];\r
+"ПРЕЗИДЕНТ РФ [1888]" -> "ОРГАНИЗАЦИЯ ОБЪЕДИНЕННЫХ НАЦИЙ [935]" [label="74"];\r
+"ПРЕЗИДЕНТ РФ [1888]" -> "БЛЭР [1120]" [label="140"];\r
+"ВЛАДИМИР ПУТИН [2645]" -> "ИРАК [2665]" [label="275"];\r
+"ВЛАДИМИР ПУТИН [2645]" -> "ВОЙНА [1616]" [label="45"];\r
+"ВЛАДИМИР ПУТИН [2645]" -> "ТЕКСТ [2064]" [label="598"];\r
+"ВЛАДИМИР ПУТИН [2645]" -> "МОСКВА [3539]" [label="362"];\r
+"ВЛАДИМИР ПУТИН [2645]" -> "ЯПОНИЯ [781]" [label="143"];\r
+"ВЛАДИМИР ПУТИН [2645]" -> "УКРАИНА [1103]" [label="70"];\r
+"ВЛАДИМИР ПУТИН [2645]" -> "ПОЛИТИКА [2170]" [label="101"];\r
+"ВЛАДИМИР ПУТИН [2645]" -> "ПЕРЕПИСЬ [832]" [label="59"];\r
+"ВЛАДИМИР ПУТИН [2645]" -> "РЕСПУБЛИКА [1191]" [label="51"];\r
+"ВЛАДИМИР ПУТИН [2645]" -> "СОЕДИНЕННЫЕ ШТАТЫ АМЕРИКИ [1284]" [label="24"];\r
+"ВЛАДИМИР ПУТИН [2645]" -> "ОРГАНИЗАЦИЯ ОБЪЕДИНЕННЫХ НАЦИЙ [935]" [label="112"];\r
+"ВЛАДИМИР ПУТИН [2645]" -> "БЛЭР [1120]" [label="290"];\r
+"ИРАК [2665]" -> "ВОЙНА [1616]" [label="389"];\r
+"ИРАК [2665]" -> "ТЕКСТ [2064]" [label="197"];\r
+"ИРАК [2665]" -> "МОСКВА [3539]" [label="273"];\r
+"ИРАК [2665]" -> "УКРАИНА [1103]" [label="36"];\r
+"ИРАК [2665]" -> "ПОЛИТИКА [2170]" [label="68"];\r
+"ИРАК [2665]" -> "СОЕДИНЕННЫЕ ШТАТЫ АМЕРИКИ [1284]" [label="365"];\r
+"ИРАК [2665]" -> "ОРГАНИЗАЦИЯ ОБЪЕДИНЕННЫХ НАЦИЙ [935]" [label="556"];\r
+"ИРАК [2665]" -> "БЛЭР [1120]" [label="337"];\r
+"ВОЙНА [1616]" -> "ТЕКСТ [2064]" [label="73"];\r
+"ВОЙНА [1616]" -> "МОСКВА [3539]" [label="93"];\r
+"ВОЙНА [1616]" -> "ЯПОНИЯ [781]" [label="10"];\r
+"ВОЙНА [1616]" -> "УКРАИНА [1103]" [label="19"];\r
+"ВОЙНА [1616]" -> "ПОЛИТИКА [2170]" [label="74"];\r
+"ВОЙНА [1616]" -> "РЕСПУБЛИКА [1191]" [label="37"];\r
+"ВОЙНА [1616]" -> "СОЕДИНЕННЫЕ ШТАТЫ АМЕРИКИ [1284]" [label="216"];\r
+"ВОЙНА [1616]" -> "ОРГАНИЗАЦИЯ ОБЪЕДИНЕННЫХ НАЦИЙ [935]" [label="96"];\r
+"ВОЙНА [1616]" -> "БЛЭР [1120]" [label="62"];\r
+"ТЕКСТ [2064]" -> "МОСКВА [3539]" [label="633"];\r
+"ТЕКСТ [2064]" -> "ЯПОНИЯ [781]" [label="88"];\r
+"ТЕКСТ [2064]" -> "УКРАИНА [1103]" [label="58"];\r
+"ТЕКСТ [2064]" -> "ПОЛИТИКА [2170]" [label="120"];\r
+"ТЕКСТ [2064]" -> "ПЕРЕПИСЬ [832]" [label="68"];\r
+"ТЕКСТ [2064]" -> "РЕСПУБЛИКА [1191]" [label="47"];\r
+"ТЕКСТ [2064]" -> "СОЕДИНЕННЫЕ ШТАТЫ АМЕРИКИ [1284]" [label="51"];\r
+"ТЕКСТ [2064]" -> "ОРГАНИЗАЦИЯ ОБЪЕДИНЕННЫХ НАЦИЙ [935]" [label="78"];\r
+"ТЕКСТ [2064]" -> "БЛЭР [1120]" [label="143"];\r
+"МОСКВА [3539]" -> "ЯПОНИЯ [781]" [label="159"];\r
+"МОСКВА [3539]" -> "УКРАИНА [1103]" [label="46"];\r
+"МОСКВА [3539]" -> "ПОЛИТИКА [2170]" [label="126"];\r
+"МОСКВА [3539]" -> "ПЕРЕПИСЬ [832]" [label="42"];\r
+"МОСКВА [3539]" -> "РЕСПУБЛИКА [1191]" [label="53"];\r
+"МОСКВА [3539]" -> "СОЕДИНЕННЫЕ ШТАТЫ АМЕРИКИ [1284]" [label="55"];\r
+"МОСКВА [3539]" -> "ОРГАНИЗАЦИЯ ОБЪЕДИНЕННЫХ НАЦИЙ [935]" [label="99"];\r
+"МОСКВА [3539]" -> "БЛЭР [1120]" [label="241"];\r
+"ЯПОНИЯ [781]" -> "СОЕДИНЕННЫЕ ШТАТЫ АМЕРИКИ [1284]" [label="29"];\r
+"УКРАИНА [1103]" -> "ПОЛИТИКА [2170]" [label="59"];\r
+"УКРАИНА [1103]" -> "СОЕДИНЕННЫЕ ШТАТЫ АМЕРИКИ [1284]" [label="46"];\r
+"ПОЛИТИКА [2170]" -> "РЕСПУБЛИКА [1191]" [label="60"];\r
+"ПОЛИТИКА [2170]" -> "СОЕДИНЕННЫЕ ШТАТЫ АМЕРИКИ [1284]" [label="66"];\r
+"ПОЛИТИКА [2170]" -> "ОРГАНИЗАЦИЯ ОБЪЕДИНЕННЫХ НАЦИЙ [935]" [label="18"];\r
+"ПОЛИТИКА [2170]" -> "БЛЭР [1120]" [label="43"];\r
+"ПЕРЕПИСЬ [832]" -> "РЕСПУБЛИКА [1191]" [label="30"];\r
+"РЕСПУБЛИКА [1191]" -> "СОЕДИНЕННЫЕ ШТАТЫ АМЕРИКИ [1284]" [label="12"];\r
+"СОЕДИНЕННЫЕ ШТАТЫ АМЕРИКИ [1284]" -> "ОРГАНИЗАЦИЯ ОБЪЕДИНЕННЫХ НАЦИЙ [935]" [label="89"];\r
+"СОЕДИНЕННЫЕ ШТАТЫ АМЕРИКИ [1284]" -> "БЛЭР [1120]" [label="41"];\r
+"ОРГАНИЗАЦИЯ ОБЪЕДИНЕННЫХ НАЦИЙ [935]" -> "БЛЭР [1120]" [label="123"];\r
+}\r

diff --git a/rtest/graphs/center.dot b/rtest/graphs/center.dot
new file mode 100644 (file)
index 0000000..a8dbd36
--- /dev/null
+++ b/rtest/graphs/center.dot
@@ -0,0 +1,4 @@
+digraph G {
+  center=true
+  a -> { b c}
+}

diff --git a/rtest/graphs/clustlabel.dot b/rtest/graphs/clustlabel.dot
new file mode 100644 (file)
index 0000000..73f19f8
--- /dev/null
+++ b/rtest/graphs/clustlabel.dot
@@ -0,0 +1,6 @@
+digraph G {
+  subgraph cluster0 {
+    a->{c b};
+    label = "cluster0";
+  }
+}

diff --git a/rtest/graphs/color.dot b/rtest/graphs/color.dot
new file mode 100644 (file)
index 0000000..cc97cea
--- /dev/null
+++ b/rtest/graphs/color.dot
@@ -0,0 +1,10 @@
+digraph G {
+  node [style=filled]
+  abc [color=green]
+  def [color="0.2,0.8,0.8"]
+  ghi [color="#FF0000"]
+  kl [color="#FF00007F"]
+  mno [color=yellow, fontcolor="#FF00007F"]
+  pqr [label=mno, color=yellow, fontcolor="#FF0000"]
+  abc -> def [color="red:blue:#00FF00"]
+}

diff --git a/rtest/graphs/colors.dot b/rtest/graphs/colors.dot
new file mode 100644 (file)
index 0000000..0047db2
--- /dev/null
+++ b/rtest/graphs/colors.dot
@@ -0,0 +1,13 @@
+digraph G {
+
+  node [style=filled, shape=box]
+  ddddddd [fontcolor=yellow, fillcolor=blue, color=orange]
+  subgraph clusterA {
+    style=filled
+    fillcolor=lightgray
+    pencolor=blue
+    eeeee [peripheries=3, fontcolor=red, color=yellow]
+    eeeee -> ee
+  }
+  ddddddd -> eeeee [labelfontcolor=chocolate, headlabel=headlabel, label=flue, fontcolor=green, color=lightblue]
+}

diff --git a/rtest/graphs/colorscheme.dot b/rtest/graphs/colorscheme.dot
new file mode 100644 (file)
index 0000000..45359b4
--- /dev/null
+++ b/rtest/graphs/colorscheme.dot
@@ -0,0 +1,19 @@
+digraph G {
+
+  node [shape=box, style=filled]
+
+  subgraph {
+    node [colorscheme=spectral11]
+    1 [color=1]
+    4 [color=4]
+    8 [color=8]
+    11 [color="//11"]
+  }
+
+  ylgn7 [color="/ylgn7/5"]
+  X11 [color="/X11/thistle"]
+  indigo [color="/X11/indigo"]
+  magenta [color="magenta"]
+  
+
+}

diff --git a/rtest/graphs/compound.dot b/rtest/graphs/compound.dot
new file mode 100644 (file)
index 0000000..5361ca8
--- /dev/null
+++ b/rtest/graphs/compound.dot
@@ -0,0 +1,18 @@
+digraph G {
+  compound=true
+
+  subgraph clusterA {
+    a1 -> a2 -> a3
+  }
+  subgraph clusterB {
+    subgraph clusterC {
+      c1 -> c2
+    }
+    b1 -> b2
+    b1 -> b3
+    b1 -> c2
+  }
+  a1 -> b2 [lhead=clusterB]
+  c2 -> a3 [ltail=clusterC]
+  b3 -> a3 [ltail=clusterB, lhead=clusterA]
+}

diff --git a/rtest/graphs/crazy.dot b/rtest/graphs/crazy.dot
index b51d4987f906dd7312577384abbe20093618eaf4..8fd8fddf1f5726933256514cb8eb4d484e6791be 100644 (file)
--- a/rtest/graphs/crazy.dot
+++ b/rtest/graphs/crazy.dot
@@ -1,5 +1,5 @@
 digraph "unix" {
-       graph [ fontname = "Helvetica-Oblique",
+       graph [ fontname = "Helvetica",
                fontsize = 36,
                label = "\n\n\n\nObject Oriented Graphs\nStephen North, 3/19/93",
                size = "6,6" ];
@@ -10,7 +10,7 @@ digraph "unix" {
                skew = "0.0",
                color = white,
                style = filled,
-               fontname = "Helvetica-Outline" ];
+               fontname = "Helvetica" ];
        "5th Edition" [sides=9, distortion="0.936354", orientation=28, skew="-0.126818", color=salmon2];
        "6th Edition" [sides=5, distortion="0.238792", orientation=11, skew="0.995935", color=deepskyblue];
        "PWB 1.0" [sides=8, distortion="0.019636", orientation=79, skew="-0.440424", color=goldenrod2];

diff --git a/rtest/graphs/decorate.dot b/rtest/graphs/decorate.dot
new file mode 100644 (file)
index 0000000..b01dde0
--- /dev/null
+++ b/rtest/graphs/decorate.dot
@@ -0,0 +1,57 @@
+digraph states { 
+    compound=true;
+    labelloc=t;
+    fontname=Arial;
+    fontsize=9;
+    nodesep="0.4";
+    ranksep="0.4";
+    node [fontname=Arial, fontsize=9, shape=box];
+    subgraph clustere3ffa58211d69e3db000538bf02fa1d0 { 
+        label = "DriveCom Z";
+        Ie3ffa58211d69e3db000538bf02fa1d0 [label="", shape=circle, style=filled, color=black, width=.2];
+        Se3ffa4bf11d69e3db000538bf02fa1d0 [label="Idle"];
+        Se3ffa7b011d69e3db000538bf02fa1d0 [label="Disabled"];
+        subgraph clustere3ffa77611d69e3db000538bf02fa1d0 { 
+            label = "Active";
+            Ie3ffa77611d69e3db000538bf02fa1d0 [label="", shape=circle, style=filled, color=black, width=.2];
+            Se3ffa84b11d69e3db000538bf02fa1d0 [label="Undefined"];
+            Se3ffa60811d69e3db000538bf02fa1d0 [label="Wait Switch On Inhibit"];
+            Se3ffa87211d69e3db000538bf02fa1d0 [label="Switch On Inhibit"];
+            Se3ffa65611d69e3db000538bf02fa1d0 [label="Wait Ready To Switch On"];
+            Se3ffa61c11d69e3db000538bf02fa1d0 [label="Ready To Switch On"];
+            Se3ffa53211d69e3db000538bf02fa1d0 [label="Wait Switched On"];
+            Se3ffa8ac11d69e3db000538bf02fa1d0 [label="Switched On"];
+            Se3ffa83711d69e3db000538bf02fa1d0 [label="Wait Operation Enabled"];
+            Se3ffa81011d69e3db000538bf02fa1d0 [label="Operation Enabled"];
+            Se3ffa8d311d69e3db000538bf02fa1d0 [label="Quick Stop Active"];
+         } 
+        Se3ffa90d11d69e3db000538bf02fa1d0 [label="Malfunction"];
+     } 
+    Ie3ffa58211d69e3db000538bf02fa1d0 -> Se3ffa4bf11d69e3db000538bf02fa1d0 [label="Out_RFGInhibit=true;\nOut_SwitchOn = false;\nOut_DisableVoltage = false;\nOut_QuickStop = false;\nOut_EnableOperation = false;", fontname=Arial, fontsize=9, decorate=true];
+    Se3ffa4bf11d69e3db000538bf02fa1d0 -> Ie3ffa77611d69e3db000538bf02fa1d0 [lhead=clustere3ffa77611d69e3db000538bf02fa1d0] [label="sig_Cmd_Init.isAvailable() || Cmd_Enable\nsig_Cmd_Init.get();", fontname=Arial, fontsize=9, decorate=true];
+    Se3ffa4bf11d69e3db000538bf02fa1d0 -> Se3ffa7b011d69e3db000538bf02fa1d0 [label="!In_QuickStop &&\n!In_ReadyToSwitchOn &&\n!In_SwitchedOn &&\n!In_OperationEnabled\n\nServo_Res_Disable = true;", fontname=Arial, fontsize=9, decorate=true];
+    Se3ffa7b011d69e3db000538bf02fa1d0 -> Ie3ffa77611d69e3db000538bf02fa1d0 [lhead=clustere3ffa77611d69e3db000538bf02fa1d0] [label="sig_Cmd_Init.isAvailable() || Cmd_Enable\nsig_Cmd_Init.get();\nServo_Res_Disable = true;", fontname=Arial, fontsize=9, decorate=true];
+    Se3ffa7b011d69e3db000538bf02fa1d0 -> Se3ffa4bf11d69e3db000538bf02fa1d0 [label="In_QuickStop ||\nIn_ReadyToSwitchOn ||\nIn_SwitchedOn ||\nIn_OperationEnabled\n\nServo_Res_Disable = false;", fontname=Arial, fontsize=9, decorate=true];
+    Ie3ffa77611d69e3db000538bf02fa1d0 -> Se3ffa84b11d69e3db000538bf02fa1d0 [label="", fontname=Arial, fontsize=9, decorate=true];
+    Se3ffa84b11d69e3db000538bf02fa1d0 -> Se3ffa60811d69e3db000538bf02fa1d0 [label="Out_QuickStop = true;", fontname=Arial, fontsize=9, decorate=true];
+    Se3ffa60811d69e3db000538bf02fa1d0 -> Se3ffa87211d69e3db000538bf02fa1d0 [label="In_QuickStop\nServo_Res_Disable = true;", fontname=Arial, fontsize=9, decorate=true];
+    Se3ffa60811d69e3db000538bf02fa1d0 -> Se3ffa60811d69e3db000538bf02fa1d0 [label="After(timeout_Response)\nLogError(L'Servo response timeout');\nmessage = L'Servo response timeout';", fontname=Arial, fontsize=9, decorate=true];
+    Se3ffa87211d69e3db000538bf02fa1d0 -> Se3ffa65611d69e3db000538bf02fa1d0 [label="sig_Cmd_Init.isAvailable() || Cmd_Enable\nsig_Cmd_Init.get();\nOut_DisableVoltage = true;\nOut_QuickStop = true;\nServo_Res_Disable = false;", fontname=Arial, fontsize=9, decorate=true];
+    Se3ffa65611d69e3db000538bf02fa1d0 -> Se3ffa61c11d69e3db000538bf02fa1d0 [label="In_ReadyToSwitchOn", fontname=Arial, fontsize=9, decorate=true];
+    Se3ffa65611d69e3db000538bf02fa1d0 -> Se3ffa65611d69e3db000538bf02fa1d0 [label="After(timeout_Response)\nLogError(L'Servo response timeout');\nmessage = L'Servo response timeout';", fontname=Arial, fontsize=9, decorate=true];
+    Se3ffa61c11d69e3db000538bf02fa1d0 -> Se3ffa53211d69e3db000538bf02fa1d0 [label="sig_Cmd_Init.isAvailable() || Cmd_Enable\nsig_Cmd_Init.get();\nOut_SwitchOn = true;", fontname=Arial, fontsize=9, decorate=true];
+    Se3ffa53211d69e3db000538bf02fa1d0 -> Se3ffa8ac11d69e3db000538bf02fa1d0 [label="In_SwitchedOn", fontname=Arial, fontsize=9, decorate=true];
+    Se3ffa53211d69e3db000538bf02fa1d0 -> Se3ffa53211d69e3db000538bf02fa1d0 [label="After(timeout_Response)\nLogError(L'Servo response timeout');\nmessage = L'Servo response timeout';", fontname=Arial, fontsize=9, decorate=true];
+    Se3ffa8ac11d69e3db000538bf02fa1d0 -> Se3ffa83711d69e3db000538bf02fa1d0 [label="sig_Cmd_Init.isAvailable() || Cmd_Enable\nsig_Cmd_Init.get();\nOut_EnableOperation = true;", fontname=Arial, fontsize=9, decorate=true];
+    Se3ffa83711d69e3db000538bf02fa1d0 -> Se3ffa81011d69e3db000538bf02fa1d0 [label="In_OperationEnabled\nServo_Res_Enable = true;", fontname=Arial, fontsize=9, decorate=true];
+    Se3ffa83711d69e3db000538bf02fa1d0 -> Se3ffa83711d69e3db000538bf02fa1d0 [label="After(timeout_Response)\nLogError(L'Servo response timeout');\nmessage = L'Servo response timeout';", fontname=Arial, fontsize=9, decorate=true];
+    Se3ffa81011d69e3db000538bf02fa1d0 -> Se3ffa8d311d69e3db000538bf02fa1d0 [label="!In_QuickStop\nServo_Res_Enable = false;", fontname=Arial, fontsize=9, decorate=true];
+    Se3ffa81011d69e3db000538bf02fa1d0 -> Se3ffa81011d69e3db000538bf02fa1d0 [label="sig_Cmd_QuickStop.isAvailable()\nsig_Cmd_QuickStop.get();\nOut_QuickStop = false;", fontname=Arial, fontsize=9, decorate=true];
+    Se3ffa81011d69e3db000538bf02fa1d0 -> Se3ffa4bf11d69e3db000538bf02fa1d0 [label="!In_OperationEnabled\nServo_Res_Enable = false;", fontname=Arial, fontsize=9, decorate=true];
+    Se3ffa81011d69e3db000538bf02fa1d0 -> Se3ffa81011d69e3db000538bf02fa1d0 [label="!Cmd_Enable && Servo_Res_Enable\nServo_Res_Enable = false;\nOut_SwitchOn = false;\nOut_DisableVoltage = false;\nOut_QuickStop = false;\nOut_EnableOperation = false;", fontname=Arial, fontsize=9, decorate=true];
+    Se3ffa8d311d69e3db000538bf02fa1d0 -> Se3ffa4bf11d69e3db000538bf02fa1d0 [label="!In_ReadyToSwitchOn &&\n!In_SwitchedOn &&\n!In_OperationEnabled", fontname=Arial, fontsize=9, decorate=true];
+    Se3ffa8d311d69e3db000538bf02fa1d0 -> Se3ffa4bf11d69e3db000538bf02fa1d0 [label="sig_Cmd_Init.isAvailable() || !Cmd_Enable\nsig_Cmd_Init.get();\nOut_SwitchOn = false;\nOut_DisableVoltage = false;\nOut_QuickStop = false;\nOut_EnableOperation = false;", fontname=Arial, fontsize=9, decorate=true];
+    Ie3ffa77611d69e3db000538bf02fa1d0 -> Se3ffa90d11d69e3db000538bf02fa1d0 [ltail=clustere3ffa77611d69e3db000538bf02fa1d0] [label="In_Malfunction\n/*1state_SwitchOnInhibit = false;\n1state_ReadyToSwitchOn = false;\n1state_SwitchedOn = false;\n1state_OperationEnabled = false;\n1state_QuickStopActive = false;*/", fontname=Arial, fontsize=9, decorate=true];
+    Se3ffa90d11d69e3db000538bf02fa1d0 -> Ie3ffa77611d69e3db000538bf02fa1d0 [lhead=clustere3ffa77611d69e3db000538bf02fa1d0] [label="!In_Malfunction\nOut_ResetMalfunction = false;", fontname=Arial, fontsize=9, decorate=true];
+    Se3ffa90d11d69e3db000538bf02fa1d0 -> Se3ffa90d11d69e3db000538bf02fa1d0 [label="sig_Cmd_ResetMalfunction.isAvailable()\nsig_Cmd_ResetMalfunction.get();\nOut_ResetMalfunction = true;\nOut_SwitchOn = false;\nOut_DisableVoltage = false;\nOut_EnableOperation = false;\nOut_QuickStop = false;", fontname=Arial, fontsize=9, decorate=true];
+ }

diff --git a/rtest/graphs/dir.dot b/rtest/graphs/dir.dot
new file mode 100644 (file)
index 0000000..61e2964
--- /dev/null
+++ b/rtest/graphs/dir.dot
@@ -0,0 +1,8 @@
+digraph G {
+
+   a -> b 
+   a -> c [dir=forward]
+   a -> d [dir=back]
+   a -> e [dir=both]
+   a -> f [dir=none]
+}

diff --git a/rtest/graphs/edgeclip.dot b/rtest/graphs/edgeclip.dot
new file mode 100644 (file)
index 0000000..a26a182
--- /dev/null
+++ b/rtest/graphs/edgeclip.dot
@@ -0,0 +1,6 @@
+digraph G {
+   ab -> cd
+   ab -> CD [tailclip=false]
+   AB -> CD [headclip=false]
+   AB -> cd [tailclip=false, headclip=false]
+}

diff --git a/rtest/graphs/html.dot b/rtest/graphs/html.dot
new file mode 100644 (file)
index 0000000..71c6990
--- /dev/null
+++ b/rtest/graphs/html.dot
@@ -0,0 +1,29 @@
+digraph structs {
+    node [shape=plaintext]
+    struct1 [label=<
+<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+  <TR><TD>left</TD><TD PORT="f1">mid dle</TD><TD PORT="f2">right</TD></TR>
+</TABLE>>];
+    struct2 [label=<
+<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+  <TR><TD PORT="f0">one</TD><TD>two</TD></TR>
+</TABLE>>];
+    struct3 [label=<
+<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
+  <TR> 
+    <TD ROWSPAN="3">hello<BR/>world</TD>
+    <TD COLSPAN="3">b</TD>
+    <TD ROWSPAN="3">g</TD>
+    <TD ROWSPAN="3">h</TD>
+  </TR>
+  <TR>
+    <TD>c</TD><TD PORT="here">d</TD><TD>e</TD>
+  </TR>
+  <TR>
+    <TD COLSPAN="3">f</TD>
+  </TR>
+</TABLE>>];
+    struct1:f1 -> struct2:f0;
+    struct1:f2 -> struct3:here;
+}
+

diff --git a/rtest/graphs/html2.dot b/rtest/graphs/html2.dot
new file mode 100644 (file)
index 0000000..04cf676
--- /dev/null
+++ b/rtest/graphs/html2.dot
@@ -0,0 +1,46 @@
+digraph G {
+  rankdir=LR
+  node [shape=plaintext]
+  a [
+     label=<
+<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
+  <TR><TD ROWSPAN="3" BGCOLOR="yellow">class</TD></TR>
+  <TR><TD PORT="here" BGCOLOR="lightblue">qualifier</TD></TR>
+</TABLE>>
+  ]
+    b [shape=ellipse style=filled
+  label=<
+<TABLE BGCOLOR="bisque">
+  <TR><TD COLSPAN="3">elephant</TD> 
+      <TD ROWSPAN="2" BGCOLOR="chartreuse" 
+          VALIGN="bottom" ALIGN="right">two</TD> </TR>
+  <TR><TD COLSPAN="2" ROWSPAN="2">
+        <TABLE BGCOLOR="grey">
+          <TR> <TD>corn</TD> </TR> 
+          <TR> <TD BGCOLOR="yellow">c</TD> </TR> 
+          <TR> <TD>f</TD> </TR> 
+        </TABLE> </TD>
+      <TD BGCOLOR="white">penguin</TD> 
+  </TR> 
+  <TR> <TD COLSPAN="2" BORDER="4" ALIGN="right" PORT="there">4</TD> </TR>
+</TABLE>>
+  ]
+  c [ 
+  label=<long line 1<BR/>line 2<BR ALIGN="LEFT"/>line 3<BR ALIGN="RIGHT"/>>
+  ]
+
+  subgraph { rank=same b c }
+  a:here -> b:there [arrowtail = diamond]
+  c -> b
+  d [shape=triangle]
+  d -> c [label=<
+<TABLE>
+  <TR><TD BGCOLOR="red" WIDTH="10"> </TD>
+      <TD>Edge labels<BR/>also</TD>
+      <TD BGCOLOR="blue" WIDTH="10"> </TD>
+  </TR>
+</TABLE>>
+  ]
+ 
+}
+

diff --git a/rtest/graphs/layers.dot b/rtest/graphs/layers.dot
new file mode 100644 (file)
index 0000000..d52ae10
--- /dev/null
+++ b/rtest/graphs/layers.dot
@@ -0,0 +1,9 @@
+digraph G {
+       layers="local:pvt:test:new:ofc";
+
+       node1  [layer="pvt"];
+       node2  [layer="all"];
+       node3  [layer="pvt:ofc"];               /* pvt, test, new, and ofc */
+       node2 -> node3  [layer="pvt:all"];      /* same as pvt:ofc */
+       node2 -> node4 [layer=3];               /* same as test */
+}

diff --git a/rtest/graphs/mode.dot b/rtest/graphs/mode.dot
new file mode 100644 (file)
index 0000000..ce4ec85
--- /dev/null
+++ b/rtest/graphs/mode.dot
@@ -0,0 +1,374 @@
+digraph G  {
+       node[width=.25,height=.375,fontsize=9]
+       fcfpr1_1_2t_17 -> 341411;
+       fcfpr1_1t_1 -> 341411;
+       rdlfpr2_0_rdlt_4 -> 341411;
+       fpfpr1_0_1t_1 -> 341411;
+       fpfpr1_1_2t_11 -> 341411;
+       rtafpr1_1_2t_28 -> 341411;
+       rtafpr1_1_3t_6 -> 341411;
+       rdlfpr1_1t_1 -> 358866;
+       rtafpr1_1_3t_6 -> 358866;
+       tmfpr1_1_3t_5 -> 358930;
+       fcfpr1_1_3t_9 -> 358930;
+       pcfpr1_1_3t_7 -> 358930;
+       fpfpr1_1_3g_1 -> 358930;
+       fpfpr1_1_3t_1 -> 358930;
+       aufpr1_1_3t_1 -> 358930;
+       rtafpr1_0_3g_1 -> 358930;
+       rtafpr1_1_3t_6 -> 358930;
+       msgfpr1_1_1g_12 -> 371943;
+       rtafpr1_1_1g_8 -> 371943;
+       rtafpr1_1_1t_35 -> 371943;
+       rtafpr1_1_1t_45 -> 371943;
+       rtafpr1_1_3t_6 -> 371943;
+       tlfpr2_0_rdlg_2 -> 374300;
+       fcfpr1_1_3t_8 -> 374300;
+       fcfpr1_1_3t_9 -> 374300;
+       rtafpr1_1_3t_6 -> 374300;
+       fcfpr1_0_5g_1 -> 371942;
+       fcfpr1_1_1t_19 -> 371942;
+       fcfpr1_1_3t_9 -> 371942;
+       fcfpr1_1_3t_9 -> 374700;
+       tymsgfpr1_1_3t_3 -> 374700;
+       fpfpr1_1_3t_1 -> 374700;
+       rtafpr1_1_3t_7 -> 374700;
+       fcfpr1_1_3g_2 -> 374741;
+       fcfpr1_1_3t_9 -> 374741;
+       fpfpr1_1_3t_1 -> 374741;
+       rtafpr1_1_3t_7 -> 374741;
+       fcfpr1_1_1t_18 -> 374886;
+       fcfpr1_1_3t_9 -> 374886;
+       fpfpr1_1_3t_1 -> 374886;
+       rtafpr1_1_3t_7 -> 374886;
+       fcfpr1_1_3t_9 -> 375039;
+       fpfpr1_1_3t_1 -> 375039;
+       fcfpr1_1_3t_42 -> 375507;
+       fcfpr1_1_3t_9 -> 375507;
+       rdlfpr2_0_rdlt_158 -> 375507;
+       rtafpr1_1_3t_7 -> 375507;
+       rtafpr1_1_3t_71 -> 375507;
+       dbfpr1_1_3t_2 -> 375507;
+       fcfpr1_1_3t_9 -> 375508;
+       rdlfpr1_1g_13 -> 375508;
+       rtafpr1_1_3t_7 -> 375508;
+       rtafpr2_1_rdlg_1 -> 375508;
+       dbfpr1_1_3t_2 -> 375508;
+       fcfpr1_1_3t_9 -> 375519;
+       fpfpr1_1_3g_1 -> 375519;
+       fpfpr1_1_3t_1 -> 375519;
+       fcfpr1_1_3t_9 -> 377380;
+       rdlfpr1_1g_16 -> 377380;
+       rdlfpr1_1t_100 -> 377380;
+       fcfpr1_0_2g_1 -> 377719;
+       fcfpr1_1_3t_10 -> 377719;
+       fcfpr1_1_3t_7 -> 377719;
+       fcfpr1_1_3t_9 -> 377719;
+       rdlfpr2_0_rdlg_12 -> 377719;
+       rdlfpr2_0_rdlt_108 -> 377719;
+       rdlfpr2_0_rdlt_27 -> 377719;
+       rdlfpr2_0_rdlt_30 -> 377719;
+       fcfpr1_1_3t_9 -> 377763;
+       fcfpr1_1_3t_9 -> 379848;
+       fpfpr1_1_3t_1 -> 379848;
+       fcfpr1_1_3t_9 -> 380571;
+       fcfpr1_1_3t_9 -> 380604;
+       fpfpr1_1_3t_1 -> 380604;
+       fcfpr1_1_3t_9 -> 381211;
+       fpfpr1_1_3t_1 -> 381211;
+       fcfpr1_1_3t_9 -> 381835;
+       fcfpr1_1_3t_9 -> 381897;
+       fcfpr1_1_3t_9 -> 381901;
+       fpfpr1_1_3t_1 -> 381901;
+       fcfpr1_1_3t_9 -> 382103;
+       rtafpr1_1_3t_7 -> 382103;
+       fcfpr1_1_3t_9 -> 382161;
+       fcfpr1_1_3t_9 -> 383174;
+       fpfpr1_1_3t_1 -> 383174;
+       rtafpr1_1_3t_7 -> 383174;
+       fpfpr1_1_3g_1 -> 352010;
+       fpfpr1_1_3t_1 -> 352010;
+       fpfpr1_1_3t_1 -> 382409;
+       fpfpr1_1_3t_1 -> 382827;
+       fpfpr1_1_3t_1 -> 382928;
+       rtafpr1_1_3t_7 -> 382928;
+       tlfpr1_1_1t_5 -> 358224;
+       tymsgfpr1_1_1t_23 -> 358224;
+       tymsgfpr1_1_3t_3 -> 358224;
+       rcfpr0_0_1t_9 -> 358224;
+       rcfpr1_1_1t_5 -> 358224;
+       odfpr0_0_1t_8 -> 358224;
+       odfpr1_1_1t_6 -> 358224;
+       ecdsgfpr1_1_1t_4 -> 358224;
+       tymsgfpr1_1_1t_18 -> 358900;
+       tymsgfpr1_1_3t_3 -> 358900;
+       rcfpr1_1_1t_100 -> 358900;
+       rcfpr1_1_1t_22 -> 358900;
+       rcfpr1_1_1t_37 -> 358900;
+       odfpr1_1_1t_21 -> 358900;
+       tymsgfpr1_1_3t_3 -> 372568;
+       rcfpr1_1_1t_30 -> 372568;
+       odfpr1_1_1t_31 -> 372568;
+       tlfpr1_1_1t_20 -> 375557;
+       tymsgfpr1_1_1t_24 -> 375557;
+       tymsgfpr1_1_3t_3 -> 375557;
+       rcfpr1_1_1t_11 -> 375557;
+       odfpr1_1_1t_9 -> 375557;
+       ecdsgfpr1_1_1t_19 -> 375557;
+       rtafpr1_1_1g_14 -> 376956;
+       rtafpr1_1_1t_64 -> 376956;
+       rtafpr1_1_2t_18 -> 376956;
+       rtafpr1_1_3t_30 -> 376956;
+       rtafpr1_1_3t_7 -> 376956;
+       rtafpr1_1_3t_7 -> 379339;
+       rtafpr1_1_1t_14 -> 379422;
+       rtafpr1_1_1t_20 -> 379422;
+       rtafpr1_1_3t_7 -> 379422;
+       rtafpr1_1_3t_7 -> 383039;
+       fcfpr1_1_1t_18 -> 359471;
+       fcfpr2_0_1t_1 -> 359471;
+       fcfpr2_0_1t_2 -> 359471;
+       ccsfpr2_0_1t_99 -> 359471;
+       fcfpr1_1_3t_42 -> 384096;
+       rtafpr1_1_3t_71 -> 384096;
+       tlfpr1_0_4g_4 -> 354290;
+       rcfpr0_0_1t_9 -> 354290;
+       odfpr0_0_1t_8 -> 354290;
+       pagfpr1_1_1t_23 -> 354290;
+       rcfpr1_1_1t_5 -> 379864;
+       rcfpr1_1_1t_100 -> 382574;
+       rcfpr1_1_1t_22 -> 382574;
+       rcfpr1_1_1t_37 -> 382574;
+       rcfpr1_1_1t_30 -> 370706;
+       rcfpr1_1_1t_30 -> 377908;
+       rcfpr1_1_1t_30 -> 377924;
+       rcfpr1_1_1t_30 -> 377971;
+       rcfpr1_1_1t_30 -> 377980;
+       odfpr1_1_1t_31 -> 377980;
+       rcfpr1_1_1t_30 -> 378362;
+       rcfpr1_1_1t_30 -> 378656;
+       rcfpr1_1_1t_30 -> 378666;
+       rcfpr1_1_1t_30 -> 379169;
+       odfpr1_1_1t_31 -> 379169;
+       rcfpr1_1_1t_110 -> 379341;
+       rcfpr1_1_1t_30 -> 379341;
+       rcfpr1_1_1t_62 -> 379341;
+       odfpr1_1_1t_31 -> 379341;
+       rcfpr1_1_1t_30 -> 379972;
+       rcfpr1_1_1t_30 -> 380298;
+       rcfpr1_1_1t_30 -> 380448;
+       rcfpr1_1_1t_30 -> 380475;
+       odfpr1_1_1t_31 -> 380475;
+       rcfpr1_1_1t_30 -> 380526;
+       odfpr1_1_1t_31 -> 357430;
+       rcfpr1_1_1t_11 -> 379968;
+       odfpr1_1_1t_9 -> 379968;
+       ccsfpr2_0_1t_99 -> 359100;
+       ccsfpr2_0_1t_99 -> 376529;
+       ccsfpr2_0_1t_99 -> 377801;
+       ccsfpr2_0_1t_99 -> 379126;
+       ccsfpr2_0_1t_99 -> 379212;
+       ccsfpr2_0_1t_99 -> 380285;
+       ccsfpr2_0_1t_99 -> 380963;
+       ccsfpr2_0_1t_99 -> 384909;
+       tlfpr1_0_4g_4 -> 358471;
+       odfpr0_0_1t_7 -> 358471;
+       odfpr1_0_1t_36 -> 358471;
+       odfpr1_0_3t_18 -> 358471;
+       odfpr1_0_3t_21 -> 358471;
+       tlfpr1_0_4g_4 -> 375024;
+       tlfpr1_0_4g_4 -> 375027;
+       rcfpr1_1_1t_110 -> 381710;
+       rcfpr1_1_1t_62 -> 381710;
+       rcfpr1_1_1t_110 -> 381775;
+       rcfpr1_1_1t_62 -> 381775;
+       rcfpr1_1_1t_110 -> 382436;
+       fcfpr1_1_3t_34 -> 382528;
+       rcfpr1_1_1t_110 -> 382528;
+       rtafpr1_1_3t_48 -> 382528;
+       rcfpr1_1_1t_110 -> 382566;
+       rcfpr1_1_1t_110 -> 382572;
+       odfpr0_0_1t_7 -> 353506;
+       rcfpr1_0_1t_35 -> 370509;
+       odfpr0_0_1t_7 -> 370509;
+       odfpr0_0_1t_7 -> 370510;
+       odfpr1_0_1t_38 -> 370510;
+       tlfpr1_0_4g_5 -> 354546;
+       rcfpr1_1_1t_61 -> 354546;
+       odfpr1_0_3t_18 -> 354546;
+       odfpr1_0_3t_20 -> 354546;
+       odfpr1_0_3t_18 -> 354757;
+       odfpr1_0_3t_20 -> 354757;
+       odfpr1_0_3t_18 -> 354766;
+       odfpr1_0_3t_20 -> 354766;
+       odfpr1_0_3t_18 -> 354771;
+       odfpr1_0_3t_20 -> 354771;
+       odfpr1_0_3t_18 -> 354785;
+       odfpr1_0_3t_23 -> 354785;
+       odfpr1_0_3t_24 -> 354785;
+       odfpr1_0_3t_18 -> 354878;
+       odfpr1_0_3t_23 -> 354878;
+       odfpr1_0_3t_24 -> 354878;
+       odfpr1_0_3t_18 -> 355080;
+       odfpr1_0_3t_23 -> 355080;
+       odfpr1_0_3t_24 -> 355080;
+       odfpr1_0_3t_18 -> 355288;
+       odfpr1_0_3t_23 -> 355288;
+       odfpr1_0_3t_24 -> 355288;
+       odfpr2_0_03t_13 -> 355288;
+       odfpr1_0_3t_18 -> 355800;
+       odfpr1_0_3t_21 -> 355800;
+       odfpr1_0_3t_18 -> 356116;
+       odfpr1_0_3t_21 -> 356116;
+       odfpr1_0_3t_18 -> 356741;
+       odfpr1_0_3t_21 -> 356741;
+       odfpr1_0_3t_18 -> 357340;
+       odfpr1_0_3t_21 -> 357340;
+       odfpr1_0_3t_18 -> 357538;
+       odfpr1_0_3t_21 -> 357538;
+       odfpr1_0_3t_18 -> 357769;
+       odfpr1_0_3t_21 -> 357769;
+       odfpr1_0_3t_18 -> 357793;
+       odfpr1_0_3t_21 -> 357793;
+       odfpr1_0_3t_18 -> 358155;
+       odfpr1_0_3t_21 -> 358155;
+       odfpr1_0_3t_18 -> 358157;
+       odfpr1_0_3t_21 -> 358157;
+       odfpr1_0_3t_18 -> 358159;
+       odfpr1_0_3t_21 -> 358159;
+       odfpr1_0_3t_18 -> 358584;
+       odfpr1_0_3t_21 -> 358584;
+       odfpr1_0_3t_18 -> 360104;
+       odfpr1_0_3t_21 -> 360104;
+       odfpr1_0_3t_18 -> 360144;
+       odfpr1_0_3t_21 -> 360144;
+       odfpr1_0_3t_18 -> 360672;
+       odfpr1_0_3t_21 -> 360672;
+       odfpr1_0_3t_5 -> 360672;
+       odfpr1_0_3t_18 -> 360839;
+       odfpr1_0_3t_21 -> 360839;
+       odfpr1_0_3t_18 -> 371187;
+       tlfpr1_0_3g_5 -> 373300;
+       odfpr1_0_3t_12 -> 373300;
+       odfpr1_0_3t_18 -> 373300;
+       odfpr1_0_3t_18 -> 375134;
+       odfpr1_0_5t_18 -> 375134;
+       rcfpr0_0_1t_10 -> 375319;
+       odfpr1_0_3t_18 -> 375319;
+       odfpr1_0_3t_36 -> 375319;
+       odfpr1_0_5t_17 -> 375319;
+       odfpr1_0_5t_19 -> 375319;
+       odfpr1_0_3t_18 -> 375499;
+       odfpr1_0_3t_18 -> 377220;
+       odfpr1_0_5t_21 -> 377220;
+       tlfpr1_0_3g_7 -> 377562;
+       tlfpr1_1_1t_3 -> 377562;
+       odfpr1_0_3t_18 -> 377562;
+       odfpr1_0_3t_36 -> 377562;
+       odfpr1_0_5t_20 -> 377562;
+       odfpr1_0_3t_18 -> 378108;
+       odfpr1_0_3t_6 -> 378108;
+       odfpr1_0_5t_20 -> 354221;
+
+       odfpr0_0_1t_7 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       tlfpr1_0_3g_5 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       odfpr0_0_1t_8 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rcfpr1_1_1t_61 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       fcfpr1_1t_1 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       odfpr1_0_3t_18 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       tlfpr1_0_3g_7 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rcfpr1_1_1t_62 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       ccsfpr2_0_1t_99 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       tymsgfpr1_1_3t_3 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rcfpr0_0_1t_9 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rtafpr1_1_1t_14 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rtafpr1_1_3t_30 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rcfpr1_1_1t_110 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       dbfpr1_1_3t_2 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rtafpr1_1_1g_8 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rcfpr1_1_1t_30 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       tlfpr1_1_1t_20 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rtafpr1_1_1t_64 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       tlfpr2_0_rdlg_2 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rtafpr1_1_2t_28 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       tlfpr1_1_1t_3 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       odfpr1_1_1t_6 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       fpfpr1_1_3t_1 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       aufpr1_1_3t_1 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       fcfpr1_1_3t_34 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rcfpr1_1_1t_5 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       fcfpr1_1_1t_18 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       odfpr1_0_3t_36 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       tlfpr1_1_1t_5 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       fcfpr1_1_1t_19 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       odfpr1_1_1t_9 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       fcfpr1_1_3t_7 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rcfpr1_1_1t_37 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       fcfpr1_1_3t_8 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       odfpr1_1_1t_21 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       fcfpr1_1_3t_9 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rdlfpr2_0_rdlt_27 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       fcfpr1_1_3g_2 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rtafpr1_1_1t_35 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       odfpr1_0_5t_20 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       fpfpr1_1_3g_1 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       odfpr1_0_5t_21 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       fpfpr1_1_2t_11 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       ecdsgfpr1_1_1t_19 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       odfpr1_0_1t_36 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rtafpr1_1_1g_14 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       tymsgfpr1_1_1t_23 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       tymsgfpr1_1_1t_24 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       odfpr1_0_1t_38 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       fcfpr1_0_2g_1 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rdlfpr1_1t_1 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rcfpr0_0_1t_10 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rcfpr1_1_1t_100 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rdlfpr2_0_rdlt_108 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       pcfpr1_1_3t_7 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       odfpr1_0_3t_20 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       ecdsgfpr1_1_1t_4 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       tmfpr1_1_3t_5 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       odfpr1_0_3t_21 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       fpfpr1_0_1t_1 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       odfpr1_0_3t_23 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rcfpr1_1_1t_22 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       pagfpr1_1_1t_23 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rtafpr1_1_3t_71 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rtafpr1_1_2t_18 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rdlfpr2_0_rdlt_158 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rtafpr1_1_3t_6 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       odfpr1_0_3t_24 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rtafpr1_1_3t_7 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rtafpr1_0_3g_1 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rtafpr1_1_1t_20 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rdlfpr1_1g_13 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rcfpr1_0_1t_35 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       fcfpr1_1_2t_17 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rtafpr2_1_rdlg_1 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rdlfpr2_0_rdlt_4 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rdlfpr1_1g_16 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       fcfpr2_0_1t_1 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       fcfpr2_0_1t_2 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rdlfpr1_1t_100 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       msgfpr1_1_1g_12 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rdlfpr2_0_rdlt_30 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       odfpr1_0_3t_5 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       tlfpr1_0_4g_4 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       fcfpr1_1_3t_42 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       odfpr1_0_3t_6 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       tlfpr1_0_4g_5 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rtafpr1_1_3t_48 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       odfpr1_0_5t_17 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       odfpr1_0_5t_18 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       tymsgfpr1_1_1t_18 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       odfpr1_0_5t_19 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       fcfpr1_1_3t_10 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       fcfpr1_0_5g_1 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       odfpr1_0_3t_12 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       odfpr2_0_03t_13 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rcfpr1_1_1t_11 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       odfpr1_1_1t_31 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rdlfpr2_0_rdlg_12 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+       rtafpr1_1_1t_45 [label="",shape=circle,height=0.12,width=0.12,fontsize=1];
+}

diff --git a/rtest/graphs/nojustify.dot b/rtest/graphs/nojustify.dot
new file mode 100644 (file)
index 0000000..9a9c25b
--- /dev/null
+++ b/rtest/graphs/nojustify.dot
@@ -0,0 +1,9 @@
+digraph G{
+  node [shape=box, label="aaaaaaaaaaaaaa\nddd\l"]
+  n [width=3]
+  m [width=3, nojustify=true]
+  n -> m 
+  l -> p
+  l [shape=record, label="{aaaaaaaaaaaaaa\n | bbbbbb\nddd\l}"]
+  p [nojustify=true, shape=record, label="{aaaaaaaaaaaaaa\n | bbbbbb\nddd\l}"]
+}

diff --git a/rtest/graphs/ordering.dot b/rtest/graphs/ordering.dot
new file mode 100644 (file)
index 0000000..a476de2
--- /dev/null
+++ b/rtest/graphs/ordering.dot
@@ -0,0 +1,18 @@
+digraph G {
+  0 -> 1
+  0 -> 2
+  1 -> 3
+  1 -> 5
+  1 -> 7
+  2 -> 4
+  2 -> 5
+  2 -> 6
+  2 -> 8
+  3 -> 9
+  5 -> 9
+  6 -> 9
+  7 -> 9
+  4 -> 10
+  8 -> 10
+  6 -> 10
+}

diff --git a/rtest/graphs/overlap.dot b/rtest/graphs/overlap.dot
new file mode 100644 (file)
index 0000000..43dde96
--- /dev/null
+++ b/rtest/graphs/overlap.dot
@@ -0,0 +1,110 @@
+graph G {
+       Marden--ldt;
+       Marden--kg;
+       Marden--hg;
+       Cannon--ldt;
+       Cannon--kg;
+       Cannon--ggt;
+       Epstein--kg;
+       Epstein--ldt;
+       Epstein--ggt;
+       Epstein--hg;
+       Conway--ggt;
+       Conway--kt;
+       Conway--hg;
+       Conway--lat;
+       Conway--vd;
+       Taylor--crys;
+       Taylor--vd;
+       Taylor--gcv;
+       Taylor--fd;
+       Almgren--crys;
+       Almgren--vd;
+       Almgren--gcv;
+       Almgren--fd;
+       Freedman--gcv;
+       Freedman--ldt;
+       Freedman--ds;
+       Milnor--ldt;
+       Milnor--cd;
+       Milnor--ds;
+       Milnor--hg;
+       Milnor--kt;
+       Douady--cd;
+       Douady--ds;
+       Douady--kg;
+       Hubard--ds;
+       Hubard--cd;
+       Hubard--kg;
+       Hubard--fg;
+       Mandelbrot--cd;
+       Mandelbrot--fg;
+       Mandelbrot--kg;
+       Wilks--sg;
+       Wilks--gv;
+       Wilks--cd;
+       Wilks--cg;
+       Dobkin--gv;
+       Dobkin--vd;
+       Dobkin--cg;
+       Chazelle--cg;
+       Chazelle--gv;
+       Chazelle--vd;
+       Peskin--fd;
+       Peskin--gcv;
+       Peskin--gv;
+       Tarjan--cg;
+       Tarjan--hg;
+       Mumford--kg;
+       Mumford--cg;
+       Mumford--cv;
+       Mumford--gcv;
+       Mumford--crys;
+       Thurston--ggt;
+       Thurston--vd;
+       Thurston--cg;
+       Thurston--gv;
+       Thurston--kg;
+       Thurston--cd;
+       Thurston--ldt;
+       Thurston--kt;
+       ldt--ds;
+       ldt--ggt;
+       ldt--hg;
+       ldt--kt;
+       ldt--cd;
+       ds--ggt;
+       ds--cd;
+       ds--fg;
+       ds--sg;
+       kt--hg;
+       kt--kg;
+       cd--fg;
+       cd--kg;
+       fg--kg;
+       fg--sg;
+       ggt--lat;
+       ggt--hg;
+       hg--lat;
+       hg--vd;
+       hg--cg;
+       hg--kg;
+       kg--vd;
+       sg--dv;
+       sg--gv;
+       sg--cv;
+       lat--crys;
+       lat--vd;
+       vd--crys;
+       vd--gcv;
+       vd--cv;
+       cv--vd;
+       cv--gcv;
+       cv--cg;
+       cv--gv;
+       crys--fd;
+       crys--gcv;
+       gcv--fd;
+       gcv--cg;
+       cg--fd;
+}

diff --git a/rtest/graphs/pack.dot b/rtest/graphs/pack.dot
new file mode 100644 (file)
index 0000000..ad389cd
--- /dev/null
+++ b/rtest/graphs/pack.dot
@@ -0,0 +1,9 @@
+graph G {
+  1 -- { 2 3 4 5 6}
+  2 -- { 8 9 10}
+  3 -- 11 -- 12 -- 13
+  a1 -- { a2 a3 a4 a5 a6}
+  a2 -- { a8 a9 a10}
+  A -- B
+  C
+}

diff --git a/rtest/graphs/ports.dot b/rtest/graphs/ports.dot
new file mode 100644 (file)
index 0000000..c0ea1f1
--- /dev/null
+++ b/rtest/graphs/ports.dot
@@ -0,0 +1,26 @@
+digraph G {
+  node [shape=box]
+  TOP -> {rank=same a b c d e f } -> BOTTOM
+  b [shape=record, label="<left>left |{<up>up | <middle>middle | <down>down } | right"]
+  d [shape=none 
+    label=<<TABLE BORDER="0" CELLPADDING="0" CELLSPACING="0" CELLBORDER="1">
+    <TR>
+    <TD PORT="htmlleft">LEFT</TD>
+    <TD>MIDDLE</TD>
+    <TD BORDER="0">
+      <TABLE PORT="inner" BORDER="0" CELLPADDING="0" CELLSPACING="0" CELLBORDER="1">
+        <TR><TD>RIGHTTOP</TD></TR>
+        <TR><TD>RIGHTBOTTOM</TD></TR>
+      </TABLE>
+    </TD>
+    </TR>
+  </TABLE>> ]
+  A:s -> a:n
+  a:w ->f:e
+  f:n -> d:htmlleft
+  a:ne -> d:inner:n
+  a:s ->b:down:se
+  a:w -> B:e
+  D -> b:left
+  C -> b:middle:e
+}

diff --git a/rtest/graphs/pslib.dot b/rtest/graphs/pslib.dot
new file mode 100644 (file)
index 0000000..99bf6ae
--- /dev/null
+++ b/rtest/graphs/pslib.dot
@@ -0,0 +1,78 @@
+digraph test
+{
+        sdl_task [shape=sdl_task, color=red, fillcolor=cyan, style=filled, peripheries=0];
+        sdl_task2 [shape=sdl_task, label="sdl_task", peripheries=0];
+        sdl_task -> sdl_task2;
+        sdl_input_from_right [shape=sdl_input_from_right, color=red, fillcolor=cyan, style=filled, peripheries=0];
+        sdl_input_from_right2 [shape=sdl_input_from_right, label="sdl_input_from_right    ", peripheries=0];
+        sdl_input_from_right -> sdl_input_from_right2;
+        sdl_input_from_left [shape=sdl_input_from_left, color=red, fillcolor=cyan, style=filled, peripheries=0];
+        sdl_input_from_left2 [shape=sdl_input_from_left, label="    sdl_input_from_left", peripheries=0];
+        sdl_input_from_left -> sdl_input_from_left2;
+        sdl_priority_input_from_right [shape=sdl_priority_input_from_right, color=red, fillcolor=cyan, style=filled, peripheries=0];
+        sdl_priority_input_from_right2 [shape=sdl_priority_input_from_right, label="sdl_priority_input_from_right     ", peripheries=0];
+        sdl_priority_input_from_right -> sdl_priority_input_from_right2;
+        sdl_priority_input_from_left [shape=sdl_priority_input_from_left, color=red, fillcolor=cyan, style=filled, peripheries=0];
+        sdl_priority_input_from_left2 [shape=sdl_priority_input_from_left, label="     sdl_priority_input_from_left", peripheries=0];
+        sdl_priority_input_from_left -> sdl_priority_input_from_left2;
+        sdl_start [shape=sdl_start, color=red, fillcolor=cyan, style=filled, peripheries=0];
+        sdl_start2 [shape=sdl_start, label="                ", peripheries=0];
+        sdl_start -> sdl_start2;
+        sdl_procedure_start [shape=sdl_procedure_start, color=red, fillcolor=cyan, style=filled, peripheries=0];
+        sdl_procedure_start2 [shape=sdl_procedure_start, label="                ", peripheries=0];
+        sdl_procedure_start -> sdl_procedure_start2;
+        sdl_state [shape=sdl_state, color=red, fillcolor=cyan, style=filled, peripheries=0];
+        sdl_state2 [shape=sdl_state, peripheries=0];
+        sdl_state -> sdl_state2;
+        sdl_output_to_right [shape=sdl_output_to_right, color=red, fillcolor=cyan, style=filled, peripheries=0];
+        sdl_output_to_right2 [shape=sdl_output_to_right, label="sdl_output_to_right  ", peripheries=0];
+        sdl_output_to_right -> sdl_output_to_right2;
+        sdl_output_to_left [shape=sdl_output_to_left, color=red, fillcolor=cyan, style=filled, peripheries=0];
+        sdl_output_to_left2 [shape=sdl_output_to_left, label="  sdl_output_to_left", peripheries=0];
+        sdl_output_to_left -> sdl_output_to_left2;
+        sdl_condition [shape=sdl_condition, color=red, fillcolor=cyan, style=filled, peripheries=0];
+        sdl_condition2 [shape=sdl_condition, label="  sdl_condition  ", peripheries=0];
+        sdl_condition -> sdl_condition2;
+        sdl_save [shape=sdl_save, color=red, fillcolor=cyan, style=filled, peripheries=0];
+        sdl_save2 [shape=sdl_save, label="  sdl_save  ", peripheries=0];
+        sdl_save -> sdl_save2;
+        sdl_stop [shape=sdl_stop, peripheries=0];
+        sdl_stop2 [shape=sdl_stop, label="", peripheries=0];
+        sdl_stop -> sdl_stop2 [arrowhead=none, headclip=false];
+        sdl_return [shape=sdl_return, color=red, fillcolor=cyan, style=filled, peripheries=0];
+        sdl_return2 [shape=sdl_return, label="", peripheries=0];
+        sdl_return -> sdl_return2;
+        sdl_create [shape=sdl_create, color=red, fillcolor=cyan, style=filled, peripheries=0];
+        sdl_create2 [shape=sdl_create, peripheries=0];
+        sdl_create -> sdl_create2;
+        sdl_call [shape=sdl_call, color=red, fillcolor=cyan, style=filled, peripheries=0];
+        sdl_call2 [shape=sdl_call, label="  sdl_call  ", peripheries=0];
+        sdl_call -> sdl_call2;
+        sdl_text [shape=sdl_text, color=red, fillcolor=cyan, style=filled, peripheries=0];
+        sdl_text2 [shape=sdl_text, peripheries=0];
+        sdl_text -> sdl_text2;
+        sdl_text_extension_from_left [shape=sdl_text_extension_from_left, color=red, fillcolor=cyan, style=filled, peripheries=0];
+        sdl_text_extension_from_left2 [shape=sdl_text_extension_from_left, peripheries=0];
+        sdl_text_extension_from_left -> sdl_text_extension_from_left2;
+        sdl_text_extension_from_right [shape=sdl_text_extension_from_right, color=red, fillcolor=cyan, style=filled, peripheries=0];
+        sdl_text_extension_from_right2 [shape=sdl_text_extension_from_right, peripheries=0];
+        sdl_text_extension_from_right -> sdl_text_extension_from_right2;
+        sdl_comment_from_left [shape=sdl_comment_from_left, color=red, fillcolor=cyan, style=filled, peripheries=0];
+        sdl_comment_from_left2 [shape=sdl_comment_from_left, style=dashed, peripheries=0];
+        sdl_comment_from_left -> sdl_comment_from_left2;
+        sdl_comment_from_right [shape=sdl_comment_from_right, color=red, fillcolor=cyan, style=filled, peripheries=0];
+        sdl_comment_from_right2 [shape=sdl_comment_from_right, style=dashed, peripheries=0];
+        sdl_comment_from_right -> sdl_comment_from_right2;
+        sdl_connector [shape=sdl_connector, color=red, fillcolor=cyan, style=filled, peripheries=0];
+        sdl_connector2 [shape=sdl_connector, peripheries=0];
+        sdl_connector -> sdl_connector2;
+        sdl_set [shape=sdl_set, color=red, fillcolor=cyan, style=filled, peripheries=0];
+        sdl_set2 [shape=sdl_set, label="    sdl_set2", peripheries=0];
+        sdl_set -> sdl_set2;
+        sdl_reset [shape=sdl_reset, color=red, fillcolor=cyan, style=filled, peripheries=0];
+        sdl_reset2 [shape=sdl_reset, label="    sdl_reset2", peripheries=0];
+        sdl_reset -> sdl_reset2;
+        sdl_export [shape=sdl_export, color=red, fillcolor=cyan, style=filled, peripheries=0];
+        sdl_export2 [shape=sdl_export, label="    sdl_export", peripheries=0];
+        sdl_export -> sdl_export2;
+}
\ No newline at end of file

diff --git a/rtest/graphs/record.dot b/rtest/graphs/record.dot
new file mode 100644 (file)
index 0000000..cf58f43
--- /dev/null
+++ b/rtest/graphs/record.dot
@@ -0,0 +1,32 @@
+digraph Alf {
+size = "6,9";
+node [ shape = record ];
+Decl [ label = "\n\nDecl|{name|access|decl_flags|extern_c_linkage}"];
+Nontype_decl [ label = "Nontype_decl|{type}"];
+Defined_decl [ label = "Defined_decl|{linkage}"];
+Data_decl [ label = "Data_decl|{storage_class}"];
+Function_decl [ label = "Function_decl|{formals|defaults}"];
+Data [ label = "Data|{initializer}"];
+Function [ label = "Function|{body}"];
+Constructor [ label = "Constructor|{member_initializers}"];
+Aggregate ->  Type_decl ;
+Class -> Aggregate;
+Union -> Aggregate;
+Data -> Data_decl;
+Data -> Defn;
+Data_decl -> Defined_decl;
+Data_member ->  Nontype_decl ;
+Defined_decl -> Nontype_decl;
+Defn -> Defined_decl;
+Enum ->  Type_decl ;
+Enumerator ->  Nontype_decl ;
+Function -> Defn;
+Function -> Function_decl;
+Constructor -> Function;
+Destructor -> Function;
+Function_decl -> Defined_decl;
+Nontype_decl ->  Decl ;
+Template_type_arg ->  Type_decl ;
+Type_decl ->  Decl ;
+Typedef ->  Type_decl ;
+}

diff --git a/rtest/graphs/root.dot b/rtest/graphs/root.dot
new file mode 100644 (file)
index 0000000..cff55dd
--- /dev/null
+++ b/rtest/graphs/root.dot
@@ -0,0 +1,2140 @@
+digraph G_component_0 {
+       graph [ranksep=3, root="189E"];
+       1 [label="02f5daf56e299b8a8ecea892", shape=hexagon, style=filled, color=green];
+       "189E" [label=ca5af2, shape=box, style=filled, color=blue];
+       "790E" [label=b4dfef6, shape=box, style=filled, color=grey];
+       2 [label="171192dc1f8e6ea551548a910c00", shape=hexagon, style=filled, color=green];
+       "191E" [label="629e42", shape=box, style=filled, color=grey];
+       3 [label="6bce02baf91781a831e1b95", shape=hexagon, style=filled, color=green];
+       "193E" [label="1c08373", shape=box, style=filled, color=grey];
+       4 [label="6236a67933a619a6a3d48", shape=hexagon, style=filled, color=green];
+       "195E" [label=be8f4199f, shape=box, style=filled, color=grey];
+       5 [label="50962c93b4cb293f5beb59eb", shape=hexagon, style=filled, color=green];
+       "197E" [label=be8f4199f, shape=box, style=filled, color=grey];
+       6 [label="05d4b1ed6a6135eec3abd3f2", shape=hexagon, style=filled, color=green];
+       "199E" [shape=box, style=filled, color=grey];
+       7 [label="08769f73d31c1a99be2d9363f", shape=hexagon, style=filled, color=green];
+       "201E" [label="629e42", shape=box, style=filled, color=grey];
+       8 [label=a6a196a504c3a7657d1fa41, shape=hexagon, style=filled, color=green];
+       "203E" [label=cd856f, shape=box, style=filled, color=grey];
+       9 [label="837ebf4bde22e1f1535cb662", shape=hexagon, style=filled, color=green];
+       "725E" [label=d0eb84, shape=box, style=filled, color=grey];
+       "785E" [label=dd2ba36, shape=box, style=filled, color=grey];
+       10 [label="5f865c374cb3fe976dd376b8", shape=hexagon, style=filled, color=green];
+       "205E" [label="23ad1", shape=box, style=filled, color=grey];
+       11 [label="8be752bc95d436a90493bec9", shape=hexagon, style=filled, color=green];
+       "207E" [label=ee91c97828, shape=box, style=filled, color=grey];
+       12 [label="969a58db14386cb9d2f51ec", shape=hexagon, style=filled, color=green];
+       "209E" [label="7c7c", shape=box, style=filled, color=grey];
+       13 [label=da24f74aad2ff519009d1f38c, shape=hexagon, style=filled, color=green];
+       "211E" [label="460aed10cc9", shape=box, style=filled, color=grey];
+       14 [label="3124d3a6ed3381a6341c6", shape=hexagon, style=filled, color=green];
+       "213E" [label=bbe0a8f93dc1, shape=box, style=filled, color=grey];
+       15 [label="71512ec7d43f958f2b6da", shape=hexagon, style=filled, color=green];
+       "215E" [label="3f0a2b4eb62f", shape=box, style=filled, color=grey];
+       16 [label="3828a2c682419423cf", shape=hexagon, style=filled, color=green];
+       "727E" [label=2, shape=box, style=filled, color=grey];
+       "784E" [shape=box, style=filled, color=grey];
+       17 [label=aa868f65c34cdb64f1fad19a, shape=hexagon, style=filled, color=green];
+       "217E" [label="3089106e3b", shape=box, style=filled, color=grey];
+       "787E" [label="1aaaab063", shape=box, style=filled, color=grey];
+       18 [label=dca32af03698c988b22, shape=hexagon, style=filled, color=green];
+       "219E" [label=eb8, shape=box, style=filled, color=grey];
+       19 [label=d8f4a9e463a1e89217f, shape=hexagon, style=filled, color=green];
+       "221E" [label="4c6c8c", shape=box, style=filled, color=grey];
+       20 [label=c96782ef56711c5d6a3f69, shape=hexagon, style=filled, color=green];
+       "223E" [label="6a8f5bafb1", shape=box, style=filled, color=grey];
+       21 [label="4f04c39708f", shape=hexagon, style=filled, color=green];
+       "225E" [label=a49284e9, shape=box, style=filled, color=grey];
+       22 [label="97284d4c3a5d499853f0e", shape=hexagon, style=filled, color=green];
+       "227E" [label="53069e384a2", shape=box, style=filled, color=grey];
+       "792E" [label="79b69c612", shape=box, style=filled, color=grey];
+       23 [label=c4d32527b670afb370d643, shape=hexagon, style=filled, color=green];
+       "231E" [label=e851f5ddd920, shape=box, style=filled, color=grey];
+       24 [label="5e9156098c064", shape=hexagon, style=filled, color=green];
+       "233E" [shape=box, style=filled, color=grey];
+       25 [label="3d475ea3aeca51b60212dd", shape=hexagon, style=filled, color=green];
+       "235E" [label="4280833ef80172", shape=box, style=filled, color=grey];
+       26 [label="966d271c22e75c7538", shape=hexagon, style=filled, color=green];
+       "237E" [label=cab04b7c14a, shape=box, style=filled, color=grey];
+       27 [label=b630e1af6ae1997f0e8ba750, shape=hexagon, style=filled, color=green];
+       "239E" [label=bb828f1a326, shape=box, style=filled, color=grey];
+       "783E" [label="499f6985db294c", shape=box, style=filled, color=grey];
+       28 [label=ebd8ffc2ac3a90efb8af9, shape=hexagon, style=filled, color=green];
+       "241E" [label="1ebeec", shape=box, style=filled, color=grey];
+       "791E" [label=c0b727, shape=box, style=filled, color=grey];
+       29 [label="69fdd1a1f4768c5efe7", shape=hexagon, style=filled, color=green];
+       "243E" [label="35b8742610", shape=box, style=filled, color=grey];
+       30 [label=d93a80739fc1edb41a11b7294, shape=hexagon, style=filled, color=green];
+       "245E" [label=e03b8bc0435a, shape=box, style=filled, color=grey];
+       31 [label=bf65cfddeb00ff847feae0c, shape=hexagon, style=filled, color=green];
+       "247E" [label="8df", shape=box, style=filled, color=grey];
+       32 [label="916c686a1e82dba72524a", shape=hexagon, style=filled, color=green];
+       "249E" [label=a849f9d352e, shape=box, style=filled, color=grey];
+       33 [label=f496bcf0889b301d77819c, shape=hexagon, style=filled, color=green];
+       "251E" [label=f29dfb9, shape=box, style=filled, color=grey];
+       34 [label="76889f7d35e", shape=hexagon, style=filled, color=green];
+       "253E" [label=e7ef998, shape=box, style=filled, color=grey];
+       35 [label="668d636002", shape=hexagon, style=filled, color=green];
+       "255E" [label="4379b5ed", shape=box, style=filled, color=grey];
+       36 [label=e1e4c23db39d8bd633c3a, shape=hexagon, style=filled, color=green];
+       "257E" [label="1ed5d7f63b8c6", shape=box, style=filled, color=grey];
+       37 [label="842bc5775657c1e0d67", shape=hexagon, style=filled, color=green];
+       "259E" [label=a387210a27b, shape=box, style=filled, color=grey];
+       38 [label=e4e2f4e6d, shape=hexagon, style=filled, color=green];
+       "261E" [label="1f4f0fdf", shape=box, style=filled, color=grey];
+       39 [label="04390dec6f1779353c07f5", shape=hexagon, style=filled, color=green];
+       "263E" [label=bac77c3f414a, shape=box, style=filled, color=grey];
+       40 [label="69f2611acc42c36ed7cc", shape=hexagon, style=filled, color=green];
+       "265E" [label=cab04b7c14a, shape=box, style=filled, color=grey];
+       41 [label="1562abef0d8241", shape=hexagon, style=filled, color=green];
+       "267E" [label="6a8f5bafb1", shape=box, style=filled, color=grey];
+       42 [label=e49aaa5cc4e44355d6a0, shape=hexagon, style=filled, color=green];
+       "269E" [label=cc3f63d, shape=box, style=filled, color=grey];
+       43 [label=e8ebe1bf5f421c1223, shape=hexagon, style=filled, color=green];
+       "271E" [label="96325ea", shape=box, style=filled, color=grey];
+       44 [label="2759e82e30d6d", shape=hexagon, style=filled, color=green];
+       "273E" [label=ca5af2, shape=box, style=filled, color=grey];
+       45 [label="23c1ec53358d237c1", shape=hexagon, style=filled, color=green];
+       "275E" [label=cab04b7c14a, shape=box, style=filled, color=grey];
+       46 [label="5838586c293d455", shape=hexagon, style=filled, color=green];
+       "277E" [label="83c397b8bf7f", shape=box, style=filled, color=grey];
+       47 [label=f841118350a27b7ea29a9c9d, shape=hexagon, style=filled, color=green];
+       "279E" [label="69f4ecb77d", shape=box, style=filled, color=grey];
+       48 [label="658d208447d8ec5d6de8", shape=hexagon, style=filled, color=green];
+       "281E" [label=f7b22b9640, shape=box, style=filled, color=grey];
+       49 [label="11180ae7706510211bc4", shape=hexagon, style=filled, color=green];
+       "283E" [label="052bb6e3", shape=box, style=filled, color=grey];
+       50 [label="5807acd8d58e006f43", shape=hexagon, style=filled, color=green];
+       "285E" [shape=box, style=filled, color=grey];
+       51 [label=fe4e848cb5291ee59a2, shape=hexagon, style=filled, color=green];
+       "287E" [label=e3aefac763, shape=box, style=filled, color=grey];
+       52 [label=c4f31ea3844e12da27ad47c6, shape=hexagon, style=filled, color=green];
+       "289E" [label=fb16636aae, shape=box, style=filled, color=grey];
+       53 [label="00cbeb87c182ca0785f", shape=hexagon, style=filled, color=green];
+       "291E" [label="3089106e3b", shape=box, style=filled, color=grey];
+       54 [label="11f088bfd8", shape=hexagon, style=filled, color=green];
+       "293E" [label="6a80cbe", shape=box, style=filled, color=grey];
+       56 [label="3c2a62e0e5e9f7", shape=hexagon, style=filled, color=green];
+       "295E" [label=ae32701, shape=box, style=filled, color=grey];
+       57 [label=dd84fe6a65cfac7bca03ebd, shape=hexagon, style=filled, color=green];
+       "297E" [shape=box, style=filled, color=grey];
+       58 [label=b06bbfa920aa95dd, shape=hexagon, style=filled, color=green];
+       "299E" [label=07, shape=box, style=filled, color=grey];
+       59 [label="6b5aaa4bdf44b2c898854", shape=hexagon, style=filled, color=green];
+       "301E" [label="4c6c8c", shape=box, style=filled, color=grey];
+       "789E" [label="3a0ff0", shape=box, style=filled, color=grey];
+       60 [label="855d26296eda4eb7", shape=hexagon, style=filled, color=green];
+       "303E" [label="53069e384a2", shape=box, style=filled, color=grey];
+       61 [label=e82f47b8d4949ba4af69b38cbc19, shape=hexagon, style=filled, color=green];
+       "305E" [label=b62cd1d0a0, shape=box, style=filled, color=grey];
+       62 [label="86569bffb49adf6b3d0ebac", shape=hexagon, style=filled, color=green];
+       "307E" [label="660ffeb76fc59", shape=box, style=filled, color=grey];
+       63 [label=a96e47ff37983425a3e452095, shape=hexagon, style=filled, color=green];
+       "309E" [label=cab04b7c14a, shape=box, style=filled, color=grey];
+       64 [label="71a48d11b2e7e56b1df128bd", shape=hexagon, style=filled, color=green];
+       "311E" [label=be8f4199f, shape=box, style=filled, color=grey];
+       65 [label=a0befe6dd1ca7b165786835, shape=hexagon, style=filled, color=green];
+       "313E" [label="3cfae", shape=box, style=filled, color=grey];
+       66 [label=f33ec11db496f7bfcb024f, shape=hexagon, style=filled, color=green];
+       "315E" [label="71e6b", shape=box, style=filled, color=grey];
+       67 [label=fe6be3206549f5b5564acde84783, shape=hexagon, style=filled, color=green];
+       "317E" [shape=box, style=filled, color=grey];
+       68 [label=e4dba079d5fcb1f165920a3bf, shape=hexagon, style=filled, color=green];
+       "319E" [shape=box, style=filled, color=grey];
+       70 [label="16c508ab98483d430bbe", shape=hexagon, style=filled, color=green];
+       "321E" [label=cab04b7c14a, shape=box, style=filled, color=grey];
+       71 [label="9c9e2e0f2da8758e436c", shape=hexagon, style=filled, color=green];
+       "327E" [label=cd0d985a366cad7e, shape=box, style=filled, color=grey];
+       72 [label=fb039d7a2a9fe73b5f468eba9, shape=hexagon, style=filled, color=green];
+       "329E" [label="81dabfaba8", shape=box, style=filled, color=grey];
+       73 [label="2ef949c4a39b", shape=hexagon, style=filled, color=green];
+       "331E" [label="617809d979f", shape=box, style=filled, color=grey];
+       74 [label=a9497e0757b0969bde707ed5, shape=hexagon, style=filled, color=green];
+       "333E" [label="541ab86a2e", shape=box, style=filled, color=grey];
+       75 [label="230cc6bbc66b24eae94fa03d", shape=hexagon, style=filled, color=green];
+       "335E" [shape=box, style=filled, color=grey];
+       76 [label="1d163eac141def176461c", shape=hexagon, style=filled, color=green];
+       "337E" [label="0acc5bb8ca4", shape=box, style=filled, color=grey];
+       77 [label="32979f8cf86", shape=hexagon, style=filled, color=green];
+       "339E" [label=a7e89580, shape=box, style=filled, color=grey];
+       78 [label="37d80ae421dba4a70730338860", shape=hexagon, style=filled, color=green];
+       "341E" [shape=box, style=filled, color=grey];
+       79 [label=fbba7215e7c13173a60206, shape=hexagon, style=filled, color=green];
+       "343E" [label="617809d979f", shape=box, style=filled, color=grey];
+       80 [label="2dd8cc4d693415f93c0f8fc", shape=hexagon, style=filled, color=green];
+       "345E" [label="94da691e20e3", shape=box, style=filled, color=grey];
+       81 [label="00880e6f50c765ebc1f85d3e9", shape=hexagon, style=filled, color=green];
+       "347E" [label=e7ef998, shape=box, style=filled, color=grey];
+       82 [label=ef13d45b1277ac9a0444adb, shape=hexagon, style=filled, color=green];
+       "349E" [label=a7fe7, shape=box, style=filled, color=grey];
+       83 [label="2573e1bf51f1b307f4640", shape=hexagon, style=filled, color=green];
+       "351E" [label="84e4ede82074", shape=box, style=filled, color=grey];
+       84 [label="162d8039483d8", shape=hexagon, style=filled, color=green];
+       "353E" [label=a8e9, shape=box, style=filled, color=grey];
+       85 [label=f490de272a7f6e4af346d40, shape=hexagon, style=filled, color=green];
+       "355E" [label="460aed10cc9", shape=box, style=filled, color=grey];
+       "788E" [label="391256c872", shape=box, style=filled, color=grey];
+       86 [label="678bf739c344b9ad41da1", shape=hexagon, style=filled, color=green];
+       "357E" [label="396b16a892fe", shape=box, style=filled, color=grey];
+       87 [label="876d120b38b0e88817", shape=hexagon, style=filled, color=green];
+       "359E" [label=e5, shape=box, style=filled, color=grey];
+       88 [label="503737b64d432c60d6ac557e0e6", shape=hexagon, style=filled, color=green];
+       "361E" [label="9937ccba1469", shape=box, style=filled, color=grey];
+       89 [label=b36e0be6f67fc25286127456, shape=hexagon, style=filled, color=green];
+       "363E" [label="87a7e69a72412", shape=box, style=filled, color=grey];
+       90 [label="4cc20a0b7651e486", shape=hexagon, style=filled, color=green];
+       "365E" [label=e079d2c, shape=box, style=filled, color=grey];
+       91 [label="08dade990b2282", shape=hexagon, style=filled, color=green];
+       "367E" [label="45827dbdd8", shape=box, style=filled, color=grey];
+       92 [label=f8128d574c356631b8a9, shape=hexagon, style=filled, color=green];
+       "369E" [shape=box, style=filled, color=grey];
+       93 [label="88a4f0337c2189c3fc7b31", shape=hexagon, style=filled, color=green];
+       "729E" [label=da0d7bbcf30, shape=box, style=filled, color=grey];
+       94 [label="1b13908a9f0763c0ae54af9062080", shape=hexagon, style=filled, color=green];
+       "371E" [label="8b06a67a", shape=box, style=filled, color=grey];
+       95 [label=e2a5d11499b7e, shape=hexagon, style=filled, color=green];
+       "373E" [label="66abc181ac4", shape=box, style=filled, color=grey];
+       96 [label="90cc275011c2013c61eb11", shape=hexagon, style=filled, color=green];
+       "375E" [shape=box, style=filled, color=grey];
+       98 [label="1927c743a0d440a5a0", shape=hexagon, style=filled, color=green];
+       "377E" [label=b12441ecff15fa12c, shape=box, style=filled, color=grey];
+       99 [label="155d892827c33ed3cae3", shape=hexagon, style=filled, color=green];
+       "379E" [label="71e6b", shape=box, style=filled, color=grey];
+       100 [label="9f24ba80192c339a64c0", shape=hexagon, style=filled, color=green];
+       "381E" [shape=box, style=filled, color=grey];
+       101 [label="3e814305b42beb41b8c706", shape=hexagon, style=filled, color=green];
+       "383E" [label="1c08373", shape=box, style=filled, color=grey];
+       102 [label=eccfe5ff0af70fe9fbec8b2360f90, shape=hexagon, style=filled, color=green];
+       "385E" [label=be8f4199f, shape=box, style=filled, color=grey];
+       103 [label="8fa622d9f842c5572a545ed72982", shape=hexagon, style=filled, color=green];
+       "387E" [label="4dccb", shape=box, style=filled, color=grey];
+       104 [label=ad9142a65f5eab78b4ca5e, shape=hexagon, style=filled, color=green];
+       "389E" [label=f36cce089, shape=box, style=filled, color=grey];
+       105 [label="20f234fdcd0e1fc50261ce8", shape=hexagon, style=filled, color=green];
+       "391E" [label="67219ef689f0146b544", shape=box, style=filled, color=grey];
+       106 [label=e06cc38155ff6781cf944d745, shape=hexagon, style=filled, color=green];
+       "393E" [label="87a7e69a72412", shape=box, style=filled, color=grey];
+       107 [label=cfdf1932665dcb4cd3c, shape=hexagon, style=filled, color=green];
+       "395E" [label="964b86fc1bba0e", shape=box, style=filled, color=grey];
+       108 [label="6d4a4a5a5af91b895272c30", shape=hexagon, style=filled, color=green];
+       "397E" [label=b5e86c73d1198f, shape=box, style=filled, color=grey];
+       109 [label=e0ad365c2fb444358201, shape=hexagon, style=filled, color=green];
+       "399E" [label=bb5e89c8963, shape=box, style=filled, color=grey];
+       110 [label=b07bbdc8cca5985d4c4, shape=hexagon, style=filled, color=green];
+       "401E" [label="50023f6f88", shape=box, style=filled, color=grey];
+       111 [label=df5dba74c75b228de48c, shape=hexagon, style=filled, color=green];
+       "403E" [label="7e493ee44b28", shape=box, style=filled, color=grey];
+       112 [label="0b8694c9ef9b27b9c3d8", shape=hexagon, style=filled, color=green];
+       "405E" [label="2342b759c03", shape=box, style=filled, color=grey];
+       113 [label="81e20155999fa64e0ae6fd", shape=hexagon, style=filled, color=green];
+       "407E" [label="4280833ef80172", shape=box, style=filled, color=grey];
+       114 [label="3ef07ae75d29a707", shape=hexagon, style=filled, color=green];
+       "409E" [label="4280833ef80172", shape=box, style=filled, color=grey];
+       115 [label="4a36db80f1ab1e97", shape=hexagon, style=filled, color=green];
+       "411E" [label="460aed10cc9", shape=box, style=filled, color=grey];
+       116 [label="16da5f1301b36df4df0f", shape=hexagon, style=filled, color=green];
+       "413E" [label="460aed10cc9", shape=box, style=filled, color=grey];
+       117 [label="6b3f3fa236bb90592d23a", shape=hexagon, style=filled, color=green];
+       "415E" [label="83c397b8bf7f", shape=box, style=filled, color=grey];
+       118 [label=f2a57e4d4f0cec516891e3, shape=hexagon, style=filled, color=green];
+       "417E" [label=bd2484, shape=box, style=filled, color=grey];
+       119 [label=deb3089920548bf1ecb23f0d, shape=hexagon, style=filled, color=green];
+       "419E" [label="87a7e69a72412", shape=box, style=filled, color=grey];
+       120 [label=bf01c8a262, shape=hexagon, style=filled, color=green];
+       "421E" [label=01, shape=box, style=filled, color=grey];
+       121 [label="23dc3a52fed9c119610b5e8", shape=hexagon, style=filled, color=green];
+       "423E" [label="71e6b", shape=box, style=filled, color=grey];
+       123 [label="78cc16f965adc5f712ea2372c6", shape=hexagon, style=filled, color=green];
+       "425E" [label="23ad1", shape=box, style=filled, color=grey];
+       124 [label="5be631dff7b97697be7dc0a2f07f2", shape=hexagon, style=filled, color=green];
+       "427E" [shape=box, style=filled, color=grey];
+       "786E" [label=421, shape=box, style=filled, color=grey];
+       125 [label="48398d080dfcccced48da1980", shape=hexagon, style=filled, color=green];
+       "431E" [label="866808df", shape=box, style=filled, color=grey];
+       126 [label="03716a2c341e5edaa31", shape=hexagon, style=filled, color=green];
+       "433E" [label="21407f8a6d7", shape=box, style=filled, color=grey];
+       127 [label=ddfeabe456a9de5f5784, shape=hexagon, style=filled, color=green];
+       "435E" [label=aac615ae78, shape=box, style=filled, color=grey];
+       128 [label=d550a7f392c787661aadd48, shape=hexagon, style=filled, color=green];
+       "437E" [label=e3aefac763, shape=box, style=filled, color=grey];
+       129 [label="4c82921f4ad3f07066540", shape=hexagon, style=filled, color=green];
+       "439E" [label=a7fe7, shape=box, style=filled, color=grey];
+       130 [label="0bc7f8f513e0e74b270", shape=hexagon, style=filled, color=green];
+       "441E" [label=a849f9d352e, shape=box, style=filled, color=grey];
+       131 [label="3b1563a23eb9", shape=hexagon, style=filled, color=green];
+       "443E" [label=a8e9, shape=box, style=filled, color=grey];
+       132 [label=be233fafa38d931d894, shape=hexagon, style=filled, color=green];
+       "445E" [label=a849f9d352e, shape=box, style=filled, color=grey];
+       134 [label=e7a887d88c2318beba51, shape=hexagon, style=filled, color=green];
+       "447E" [label="9d8988c0945d6", shape=box, style=filled, color=grey];
+       135 [label=be6b73bd46a7a5183e8c91a, shape=hexagon, style=filled, color=green];
+       "449E" [label=ee91c97828, shape=box, style=filled, color=grey];
+       "769E" [label="444189d179b5db71fe", shape=box, style=filled, color=grey];
+       "770E" [label="1e1fbbe14ac24e0518", shape=box, style=filled, color=grey];
+       136 [label="644f112bb0aa452ee7040a", shape=hexagon, style=filled, color=green];
+       "451E" [label="52f247fc3b", shape=box, style=filled, color=grey];
+       137 [label="010957669f3770aac", shape=hexagon, style=filled, color=green];
+       "453E" [label=78, shape=box, style=filled, color=grey];
+       138 [label="0a185946ee443342b07d8e1", shape=hexagon, style=filled, color=green];
+       "455E" [label="87a7e69a72412", shape=box, style=filled, color=grey];
+       139 [label=f66fe4df3d189e69ce10c9c, shape=hexagon, style=filled, color=green];
+       "457E" [label="21407f8a6d7", shape=box, style=filled, color=grey];
+       140 [label="247e407f45b353f8", shape=hexagon, style=filled, color=green];
+       "459E" [shape=box, style=filled, color=grey];
+       141 [label="84907547f36d0ff7", shape=hexagon, style=filled, color=green];
+       "461E" [label=e920b915087, shape=box, style=filled, color=grey];
+       142 [label="805004328dad9d315d", shape=hexagon, style=filled, color=green];
+       "463E" [label="4280833ef80172", shape=box, style=filled, color=grey];
+       143 [label="4f0cbd3fbf0cb1e8c", shape=hexagon, style=filled, color=green];
+       "465E" [label=403126, shape=box, style=filled, color=grey];
+       144 [label="4869e993f2bb10f", shape=hexagon, style=filled, color=green];
+       "467E" [label=ff, shape=box, style=filled, color=grey];
+       145 [label="665b76844ff78fc2cf66ca2", shape=hexagon, style=filled, color=green];
+       "469E" [label=af0268dddd, shape=box, style=filled, color=grey];
+       146 [label="3f16509139c7dad5163b91799", shape=hexagon, style=filled, color=green];
+       "471E" [label="3089106e3b", shape=box, style=filled, color=grey];
+       147 [label="01db23a60422ba93a68611cc0", shape=hexagon, style=filled, color=green];
+       "473E" [shape=box, style=filled, color=grey];
+       148 [label="46125fcc583c0f494a3a1d3", shape=hexagon, style=filled, color=green];
+       "475E" [label=db6c4213a717bc, shape=box, style=filled, color=grey];
+       149 [label="731857fe189fb398e80a0594", shape=hexagon, style=filled, color=green];
+       "477E" [label="3089106e3b", shape=box, style=filled, color=grey];
+       150 [label="6fb7a84e370ef70feac5cb", shape=hexagon, style=filled, color=green];
+       "479E" [label="396b16a892fe", shape=box, style=filled, color=grey];
+       151 [label=e343cea291b79a2ed4e, shape=hexagon, style=filled, color=green];
+       "481E" [label="88d8b220746882d", shape=box, style=filled, color=grey];
+       152 [label="5f2592b20f13356b7fc8b42", shape=hexagon, style=filled, color=green];
+       "483E" [shape=box, style=filled, color=grey];
+       153 [label="275a0407e33e9b8aa9cdd051", shape=hexagon, style=filled, color=green];
+       "731E" [shape=box, style=filled, color=grey];
+       155 [label="173fd00917644f0f1f3e3", shape=hexagon, style=filled, color=green];
+       "485E" [label="0acc5bb8ca4", shape=box, style=filled, color=grey];
+       156 [label=c72df69b40156a3254, shape=hexagon, style=filled, color=green];
+       "487E" [label=fff03efcd, shape=box, style=filled, color=grey];
+       157 [label="6c632ad9c42228bb337", shape=hexagon, style=filled, color=green];
+       "489E" [label=eb8, shape=box, style=filled, color=grey];
+       158 [label=bbb13dc62adf2de2a42b6, shape=hexagon, style=filled, color=green];
+       "491E" [label="69ce90c9b2", shape=box, style=filled, color=grey];
+       159 [label="6282bc21f6", shape=hexagon, style=filled, color=green];
+       "495E" [label=de34214b4c258c9333ec3, shape=box, style=filled, color=grey];
+       160 [label="71cf45dd4e91bcca945137b40e", shape=hexagon, style=filled, color=green];
+       "499E" [label="65fd8495", shape=box, style=filled, color=grey];
+       161 [label=a3b6df27179b175c88fa4c9cf9f, shape=hexagon, style=filled, color=green];
+       "501E" [label=6577, shape=box, style=filled, color=grey];
+       162 [label="284f14a259991806654e74", shape=hexagon, style=filled, color=green];
+       "503E" [label="4280833ef80172", shape=box, style=filled, color=grey];
+       163 [label=a7c99ccf6ddf6f5ebbe, shape=hexagon, style=filled, color=green];
+       "505E" [label=c4fd8, shape=box, style=filled, color=grey];
+       164 [label=c32d2697e8, shape=hexagon, style=filled, color=green];
+       "507E" [label="52f247fc3b", shape=box, style=filled, color=grey];
+       165 [label=d12bd75c24b110ef90cdd35d3, shape=hexagon, style=filled, color=green];
+       "509E" [label=0668, shape=box, style=filled, color=grey];
+       166 [label="1c07453d584f3d14b1876fdb", shape=hexagon, style=filled, color=green];
+       "511E" [label="460aed10cc9", shape=box, style=filled, color=grey];
+       167 [label=f713a8b311ffa05ce3683ad10, shape=hexagon, style=filled, color=green];
+       "513E" [label="30d6138b63eb", shape=box, style=filled, color=grey];
+       168 [label="3cdc90c57243373efaba65a", shape=hexagon, style=filled, color=green];
+       "515E" [label=fa2afbd869, shape=box, style=filled, color=grey];
+       169 [label=e3bdbca0e2256fffa8a59018, shape=hexagon, style=filled, color=green];
+       "517E" [label="81dabfaba8", shape=box, style=filled, color=grey];
+       170 [label="75ba8d840070942eb4e737849", shape=hexagon, style=filled, color=green];
+       "519E" [label="81dabfaba8", shape=box, style=filled, color=grey];
+       171 [label=fbdc3ca37406f66635c8b226e, shape=hexagon, style=filled, color=green];
+       "521E" [label="8cbcf5cb5", shape=box, style=filled, color=grey];
+       172 [label="40b49a5a9bb256c7a3286e56", shape=hexagon, style=filled, color=green];
+       "523E" [label=f72564578be, shape=box, style=filled, color=grey];
+       173 [label="3b2f08d52e4bca3f9ca7bbbd6", shape=hexagon, style=filled, color=green];
+       "525E" [label="81dabfaba8", shape=box, style=filled, color=grey];
+       174 [label="4a38abc630c82b0c48dfbf5271", shape=hexagon, style=filled, color=green];
+       "527E" [label=f0bd1521, shape=box, style=filled, color=grey];
+       175 [label="2d7b7fb6c9ad6821752651f7", shape=hexagon, style=filled, color=green];
+       "529E" [label="47b2da3d", shape=box, style=filled, color=grey];
+       176 [label="910b00285f11bb90d0a15641", shape=hexagon, style=filled, color=green];
+       "531E" [label="81dabfaba8", shape=box, style=filled, color=grey];
+       177 [label="24431c3eb075102f07cc2c1be", shape=hexagon, style=filled, color=green];
+       "533E" [shape=box, style=filled, color=grey];
+       178 [label="07f8a9e55a16beddb3c9153b0", shape=hexagon, style=filled, color=green];
+       "535E" [label="81dabfaba8", shape=box, style=filled, color=grey];
+       179 [label=c1c30f30d40c4f1f84924622f, shape=hexagon, style=filled, color=green];
+       "537E" [label=c5d5be3942, shape=box, style=filled, color=grey];
+       180 [label="86276bb1e23f2c7ffcbe82a0", shape=hexagon, style=filled, color=green];
+       "539E" [label="0f940646", shape=box, style=filled, color=grey];
+       181 [label=f78e145a127014eb43345a0c, shape=hexagon, style=filled, color=green];
+       "541E" [label=d370c12dbc, shape=box, style=filled, color=grey];
+       182 [label=a27037332d9fa5c43bcfe94c0, shape=hexagon, style=filled, color=green];
+       "543E" [label="80874aa8", shape=box, style=filled, color=grey];
+       183 [label=c29ce10bb8d19b498355aa04, shape=hexagon, style=filled, color=green];
+       "545E" [label="1c08373", shape=box, style=filled, color=grey];
+       184 [label="4f8c642b53c349c687534bda35db", shape=hexagon, style=filled, color=green];
+       "547E" [label="46969c4", shape=box, style=filled, color=grey];
+       185 [label="30cc206b1878485", shape=hexagon, style=filled, color=green];
+       "549E" [label="23ad1", shape=box, style=filled, color=grey];
+       186 [label="5d69639a5e3bdd3d", shape=hexagon, style=filled, color=green];
+       "551E" [label="6139fa6adc88d", shape=box, style=filled, color=grey];
+       187 [label=b656f0ed2202b8e46eb, shape=hexagon, style=filled, color=green];
+       "553E" [label=f6e6236b48bc3, shape=box, style=filled, color=grey];
+       188 [label="3b566eaa70ed401479d43a9", shape=hexagon, style=filled, color=green];
+       "555E" [label="4c6c8c", shape=box, style=filled, color=grey];
+       189 [label=d6125ef42bd9958, shape=hexagon, style=filled, color=green];
+       "557E" [label="4c6c8c", shape=box, style=filled, color=grey];
+       190 [label=dd12f26f8d9bb55, shape=hexagon, style=filled, color=green];
+       "559E" [label="83c397b8bf7f", shape=box, style=filled, color=grey];
+       191 [label=ea890ccca2f7c2107351, shape=hexagon, style=filled, color=green];
+       "561E" [label=eb8, shape=box, style=filled, color=grey];
+       192 [label="84e4f1c582427a98d7b", shape=hexagon, style=filled, color=green];
+       "563E" [label=eb8, shape=box, style=filled, color=grey];
+       193 [label=d378760b814eaecb6efe636e0efc4, shape=hexagon, style=filled, color=green];
+       "565E" [label="81bcc35f82891", shape=box, style=filled, color=grey];
+       194 [label=f722890f70a32dce3baff371a, shape=hexagon, style=filled, color=green];
+       "567E" [label="84e4ede82074", shape=box, style=filled, color=grey];
+       195 [label="666f11bb45c3a8dcf26e1ed79", shape=hexagon, style=filled, color=green];
+       "569E" [label=c90f755c8b6612d, shape=box, style=filled, color=grey];
+       196 [label="91ecbe29a71f00ed5a3", shape=hexagon, style=filled, color=green];
+       "571E" [label="0a963fef9", shape=box, style=filled, color=grey];
+       197 [label="30c3f3bf8463d3843dc57d8e98", shape=hexagon, style=filled, color=green];
+       "573E" [label="3089106e3b", shape=box, style=filled, color=grey];
+       198 [label="8ea965ab6ee8dedb6c3333e9", shape=hexagon, style=filled, color=green];
+       "575E" [label="84e4ede82074", shape=box, style=filled, color=grey];
+       199 [label="3eecb304bab2136a76deda", shape=hexagon, style=filled, color=green];
+       "577E" [label="8df", shape=box, style=filled, color=grey];
+       200 [label=d886e4b76537a99bc71b8a9331c94, shape=hexagon, style=filled, color=green];
+       "579E" [label="1172dca23", shape=box, style=filled, color=grey];
+       201 [label=dcc5d5e9d6c4e, shape=hexagon, style=filled, color=green];
+       "581E" [label=a8e9, shape=box, style=filled, color=grey];
+       202 [label="8292af691429f8d9ed481ff71ffd", shape=hexagon, style=filled, color=green];
+       "583E" [label="212af4", shape=box, style=filled, color=grey];
+       203 [label="12fcb26b3de00ef98719c2ca", shape=hexagon, style=filled, color=green];
+       "585E" [shape=box, style=filled, color=grey];
+       204 [label=a141a557a60912051f3c135, shape=hexagon, style=filled, color=green];
+       "587E" [shape=box, style=filled, color=grey];
+       206 [label=f5d636e14a6cd716362158d, shape=hexagon, style=filled, color=green];
+       "589E" [label="32c958c9997", shape=box, style=filled, color=grey];
+       208 [label="52a6c2063bccd83110c32", shape=hexagon, style=filled, color=green];
+       "597E" [shape=box, style=filled, color=grey];
+       209 [label="46f754ea06f070dbc023e571a876", shape=hexagon, style=filled, color=green];
+       "599E" [label=ffccaa9e3, shape=box, style=filled, color=grey];
+       210 [label=c10cb9baf4dcb43e24, shape=hexagon, style=filled, color=green];
+       "601E" [label=ac6e99186, shape=box, style=filled, color=grey];
+       211 [label="3dafe1619016463f521f", shape=hexagon, style=filled, color=green];
+       "603E" [label=b9, shape=box, style=filled, color=grey];
+       212 [label="0f5db6ce12751ddcc64e", shape=hexagon, style=filled, color=green];
+       "605E" [label=bb828f1a326, shape=box, style=filled, color=grey];
+       213 [label="34c8c8dc0f6e41c7e7b2", shape=hexagon, style=filled, color=green];
+       "607E" [label="2832ed5cea6", shape=box, style=filled, color=grey];
+       214 [label="0a49c95f107c0aa57c9b5748", shape=hexagon, style=filled, color=green];
+       "609E" [shape=box, style=filled, color=grey];
+       215 [label="3b4fdad8e0429d112", shape=hexagon, style=filled, color=green];
+       "611E" [label=cab04b7c14a, shape=box, style=filled, color=grey];
+       216 [label="17dafa5ebaafd48440e3", shape=hexagon, style=filled, color=green];
+       "613E" [label=b5f038f79a3, shape=box, style=filled, color=grey];
+       217 [label=f4c69e5e212f89348122e8, shape=hexagon, style=filled, color=green];
+       "615E" [label="396b16a892fe", shape=box, style=filled, color=grey];
+       218 [label="4f2e020854dfacce46a12", shape=hexagon, style=filled, color=green];
+       "617E" [label=e079d2c, shape=box, style=filled, color=grey];
+       219 [label="6448451ac2ceade90715378b", shape=hexagon, style=filled, color=green];
+       "619E" [shape=box, style=filled, color=grey];
+       221 [label=d7c27cc6f7b02a31eb64d, shape=hexagon, style=filled, color=green];
+       "623E" [label="87a7e69a72412", shape=box, style=filled, color=grey];
+       223 [label=eccf7c722ddf, shape=hexagon, style=filled, color=green];
+       "625E" [label=df61d5f5fc, shape=box, style=filled, color=grey];
+       224 [label="86633c26be93ada8b", shape=hexagon, style=filled, color=green];
+       "627E" [label="08500a6044", shape=box, style=filled, color=grey];
+       225 [label="3f9ddf1ffbc0d38b", shape=hexagon, style=filled, color=green];
+       "629E" [label=07, shape=box, style=filled, color=grey];
+       226 [label=e33792703, shape=hexagon, style=filled, color=green];
+       "631E" [label="6a8f5bafb1", shape=box, style=filled, color=grey];
+       227 [label="293a225dc56dd1e0564e6bb", shape=hexagon, style=filled, color=green];
+       "633E" [label=e3aefac763, shape=box, style=filled, color=grey];
+       228 [label="57c77c341f94afddef07e6", shape=hexagon, style=filled, color=green];
+       "635E" [label="5e80f85274", shape=box, style=filled, color=grey];
+       229 [label="3bbfc7bfdbbb1ba1bfad7517", shape=hexagon, style=filled, color=green];
+       "637E" [shape=box, style=filled, color=grey];
+       230 [label=a7167d5eb5408b3839903, shape=hexagon, style=filled, color=green];
+       "639E" [label="8c8b5bde6", shape=box, style=filled, color=grey];
+       231 [label="34d7bb6af4fcd8d630de72500c8", shape=hexagon, style=filled, color=green];
+       "641E" [label="32fe7eee5283", shape=box, style=filled, color=grey];
+       232 [label="8e69341faa4489", shape=hexagon, style=filled, color=green];
+       "643E" [label=cab04b7c14a, shape=box, style=filled, color=grey];
+       233 [label="459236f07c73814faf5", shape=hexagon, style=filled, color=green];
+       "645E" [label="18083a711d", shape=box, style=filled, color=grey];
+       234 [label=c71aa521578164debd0c5, shape=hexagon, style=filled, color=green];
+       "647E" [label=78, shape=box, style=filled, color=grey];
+       235 [label=a5520019b8a73bc141b5fd416a, shape=hexagon, style=filled, color=green];
+       "649E" [label="3219b6b71443", shape=box, style=filled, color=grey];
+       236 [label="6c89dc59ee7aaebbbd6bb64", shape=hexagon, style=filled, color=green];
+       "651E" [label="8c8b5bde6", shape=box, style=filled, color=grey];
+       237 [label=a9a36ef02f, shape=hexagon, style=filled, color=green];
+       "653E" [label="6a80cbe", shape=box, style=filled, color=grey];
+       238 [label="3db761b596844f133c", shape=hexagon, style=filled, color=green];
+       "655E" [label=e920b915087, shape=box, style=filled, color=grey];
+       239 [label="383db224d7508ef072bea21d0", shape=hexagon, style=filled, color=green];
+       "657E" [label="975fedfb64df", shape=box, style=filled, color=grey];
+       240 [label="8e307415fb435445ced7", shape=hexagon, style=filled, color=green];
+       "659E" [label="21dff35936370ae5f", shape=box, style=filled, color=grey];
+       241 [label=aff6d7896e0e142bbc3e78, shape=hexagon, style=filled, color=green];
+       "661E" [label=d2498, shape=box, style=filled, color=grey];
+       242 [label=e153c6e676c7369b285b4e9033a, shape=hexagon, style=filled, color=green];
+       "663E" [shape=box, style=filled, color=grey];
+       243 [label=f3c4311de0e931f08c232b, shape=hexagon, style=filled, color=green];
+       "665E" [label=a849f9d352e, shape=box, style=filled, color=grey];
+       244 [label="0c72a426929600000f5", shape=hexagon, style=filled, color=green];
+       "667E" [label="45827dbdd8", shape=box, style=filled, color=grey];
+       245 [label="38fa61352f5086d2cb51", shape=hexagon, style=filled, color=green];
+       "669E" [label=af0268dddd, shape=box, style=filled, color=grey];
+       246 [label=ad1dd724f1c3e, shape=hexagon, style=filled, color=green];
+       "671E" [label=cab04b7c14a, shape=box, style=filled, color=grey];
+       247 [label="11bb8ed3ae227d3acefc", shape=hexagon, style=filled, color=green];
+       "673E" [label=eb8, shape=box, style=filled, color=grey];
+       248 [label=f2c7b3bb4d44f977d0ab8a42351, shape=hexagon, style=filled, color=green];
+       "675E" [shape=box, style=filled, color=grey];
+       249 [label="51e045ca826077ae765", shape=hexagon, style=filled, color=green];
+       "679E" [label=e842, shape=box, style=filled, color=grey];
+       251 [label="3b6b2c549de670d7bf5fc0ee", shape=hexagon, style=filled, color=green];
+       "681E" [shape=box, style=filled, color=grey];
+       252 [label="5eea496cc301b2a9721", shape=hexagon, style=filled, color=green];
+       "683E" [shape=box, style=filled, color=grey];
+       253 [label=bfc6564cbdeeffac00a141, shape=hexagon, style=filled, color=green];
+       "685E" [label="3b0a8a1c2e5050bd", shape=box, style=filled, color=grey];
+       254 [label=c360aaeb167487c9578a8f, shape=hexagon, style=filled, color=green];
+       "687E" [label=d, shape=box, style=filled, color=grey];
+       255 [label="39d025b265f9790490781cb201", shape=hexagon, style=filled, color=green];
+       "689E" [label="5e80f85274", shape=box, style=filled, color=grey];
+       256 [label=b4ce21e0a3df1d097277d6, shape=hexagon, style=filled, color=green];
+       "691E" [label=a849f9d352e, shape=box, style=filled, color=grey];
+       257 [label="8bdb6a91c6dee925b557c705b3", shape=hexagon, style=filled, color=green];
+       "693E" [label="53069e384a2", shape=box, style=filled, color=grey];
+       258 [label=ac487676a04e4, shape=hexagon, style=filled, color=green];
+       "695E" [label=a8e9, shape=box, style=filled, color=grey];
+       259 [label="18115fa32ff1cb99", shape=hexagon, style=filled, color=green];
+       "697E" [label="45827dbdd8", shape=box, style=filled, color=grey];
+       260 [label=b7b899dc8bc6a32b28cb098fa16, shape=hexagon, style=filled, color=green];
+       "699E" [label="32fe7eee5283", shape=box, style=filled, color=grey];
+       261 [label=b69e426d974e1907e88, shape=hexagon, style=filled, color=green];
+       "703E" [label=e842, shape=box, style=filled, color=grey];
+       262 [label="60d0128bdb61ae40e98638bd1391", shape=hexagon, style=filled, color=green];
+       "705E" [label="23ad1", shape=box, style=filled, color=grey];
+       264 [label="8fb60d769e4c387", shape=hexagon, style=filled, color=green];
+       "709E" [label="6a8f5bafb1", shape=box, style=filled, color=grey];
+       265 [label=e1fa7f549e5a0893bb42da5, shape=hexagon, style=filled, color=green];
+       "711E" [label="6a3c6921b0aeceda3", shape=box, style=filled, color=grey];
+       266 [label=a77622f2ff77ffeeb2, shape=hexagon, style=filled, color=green];
+       "713E" [label="21dff35936370ae5f", shape=box, style=filled, color=grey];
+       267 [label="30d9d350943c0e3ff7594b50", shape=hexagon, style=filled, color=green];
+       "715E" [label=b5e86c73d1198f, shape=box, style=filled, color=grey];
+       268 [label="89ced1a7906d58d687d5a04", shape=hexagon, style=filled, color=green];
+       "717E" [label=c0174bbe7ae8, shape=box, style=filled, color=grey];
+       269 [label="1de26f6b12b0d292f94184", shape=hexagon, style=filled, color=green];
+       "719E" [label="65fd8495", shape=box, style=filled, color=grey];
+       270 [label="26fa7360ab81be9d4434a", shape=hexagon, style=filled, color=green];
+       "721E" [label=af0268dddd, shape=box, style=filled, color=grey];
+       272 [label="4a9d79c960b8d33e39251e5f66", shape=hexagon];
+       "34E" [label="330342f283ef2", shape=box, style=filled, color=grey];
+       "252E" [label="3dafb9a29c00", shape=box, style=filled, color=grey];
+       "436E" [label="8d5137b16a", shape=box, style=filled, color=grey];
+       274 [label="10a7d61c201c67a5e78542807cd", shape=hexagon];
+       "59E" [label=ef6361295eba07, shape=box, style=filled, color=grey];
+       "500E" [label=a8f0fe2eb7bc1471, shape=box, style=filled, color=grey];
+       "720E" [label=cfff3acd8e9d, shape=box, style=filled, color=grey];
+       275 [label=f8ff39eab120851f143bf19, shape=hexagon];
+       "98E" [label="4e3cfd27a", shape=box, style=filled, color=grey];
+       278 [label="4995c71223c9f6067324d387a2", shape=hexagon];
+       "35E" [label="57948adb5dead", shape=box, style=filled, color=grey];
+       "488E" [label=a738ba39, shape=box, style=filled, color=grey];
+       "598E" [label=be7d637c50c, shape=box, style=filled, color=grey];
+       "604E" [label="8d52f183ec", shape=box, style=filled, color=grey];
+       "628E" [label=cef12b6, shape=box, style=filled, color=grey];
+       279 [label=b9ae94e6935503603341ecf4, shape=hexagon];
+       "99E" [label="14a3c17f3d", shape=box, style=filled, color=grey];
+       280 [label=fd28c194a46fde909b019c52f, shape=hexagon];
+       "242E" [label="9fe65061641", shape=box, style=filled, color=grey];
+       "270E" [label="34d06d1ed6", shape=box, style=filled, color=grey];
+       "272E" [label="713db1c1", shape=box, style=filled, color=grey];
+       "284E" [label="90dccb18c0", shape=box, style=filled, color=grey];
+       "286E" [label=e17fea65, shape=box, style=filled, color=grey];
+       "288E" [label=aebb7b91b, shape=box, style=filled, color=grey];
+       "586E" [label="4348f3abcb7716", shape=box, style=filled, color=grey];
+       "763E" [label=b082f7a5ff, shape=box, style=filled, color=grey];
+       281 [label="7c0ab977f5a3c4ab6d625f5033", shape=hexagon];
+       "45E" [label="20949455f573f", shape=box, style=filled, color=grey];
+       "470E" [label=c338481d79773, shape=box, style=filled, color=grey];
+       "670E" [label=e1d01ef89f, shape=box, style=filled, color=grey];
+       "722E" [label=c4507c22d19, shape=box, style=filled, color=grey];
+       282 [label="7e0b91491c8c8566892cd9a0889", shape=hexagon];
+       "103E" [label=de9efa12873949, shape=box, style=filled, color=grey];
+       283 [label=d58478d9c273ad4f4b2e091324, shape=hexagon];
+       "165E" [label="1a220eb692c", shape=box, style=filled, color=grey];
+       284 [label="8be0efdd94a6383e87fbfded4f", shape=hexagon];
+       "39E" [label=c8a6c26d4fd9f, shape=box, style=filled, color=grey];
+       "224E" [label="8cbae42a3900", shape=box, style=filled, color=grey];
+       "268E" [label=fc73, shape=box, style=filled, color=grey];
+       "632E" [shape=box, style=filled, color=grey];
+       "710E" [label="102f1", shape=box, style=filled, color=grey];
+       285 [label="3aeb78ea51020a44f2d2615436dae", shape=hexagon];
+       "53E" [label="96deede0c6b44119", shape=box, style=filled, color=grey];
+       286 [label="6bbd5b422edb8e358dcc20eecf9", shape=hexagon];
+       "38E" [label="4f2de229621272", shape=box, style=filled, color=grey];
+       "166E" [label=d495de0b35f6, shape=box, style=filled, color=grey];
+       288 [label="4856000a6802ddfc121ef40432297", shape=hexagon, style=filled, color="#ff0000"];
+       "40E" [label="04904a458422a5b9", shape=box, style=filled, color=grey];
+       "218E" [label="8cd4d", shape=box, style=filled, color=grey];
+       "244E" [shape=box, style=filled, color=grey];
+       "246E" [label="9be88247", shape=box, style=filled, color=grey];
+       "258E" [label="4f05b", shape=box, style=filled, color=grey];
+       "290E" [label="8b092", shape=box, style=filled, color=grey];
+       "292E" [label=c3bbf4, shape=box, style=filled, color=grey];
+       "308E" [label="6331b3f", shape=box, style=filled, color=grey];
+       "318E" [shape=box, style=filled, color=grey];
+       "388E" [label=3711, shape=box, style=filled, color=grey];
+       "472E" [label=c5255d, shape=box, style=filled, color=grey];
+       "478E" [label="5c6a2", shape=box, style=filled, color=grey];
+       "566E" [label="51ec95518d1b3", shape=box, style=filled, color=grey];
+       "570E" [label="82a65ed4b69", shape=box, style=filled, color=grey];
+       "574E" [label="05fed5e", shape=box, style=filled, color=grey];
+       "608E" [label=bf, shape=box, style=filled, color=grey];
+       "614E" [label=ce, shape=box, style=filled, color=grey];
+       "658E" [label="1a830d9f", shape=box, style=filled, color=grey];
+       "664E" [shape=box, style=filled, color=grey];
+       "682E" [shape=box, style=filled, color=grey];
+       289 [label="2e31175cbd52fcd08360fe86d20", shape=hexagon];
+       "41E" [label="4ad5d68f07981a", shape=box, style=filled, color=grey];
+       "636E" [label="51192117f9b4", shape=box, style=filled, color=grey];
+       "642E" [label="6bf214d9e7fa5f2df", shape=box, style=filled, color=grey];
+       "690E" [label="558d8534f92fddfe", shape=box, style=filled, color=grey];
+       "700E" [label="6819fd5a6cdd280dd", shape=box, style=filled, color=grey];
+       290 [label="3aa0ce5efcf79bc3ecced1886e89", shape=hexagon];
+       "56E" [label=ff9d64ddf49a20f, shape=box, style=filled, color=grey];
+       "264E" [label="6c93f24516f01d", shape=box, style=filled, color=grey];
+       "510E" [label="32b98f11f3d01d6", shape=box, style=filled, color=grey];
+       "718E" [label="8f7c875500073", shape=box, style=filled, color=grey];
+       291 [label="7c1767485953d9c2", shape=hexagon];
+       "66E" [label=086, shape=box, style=filled, color=grey];
+       "76E" [shape=box, style=filled, color=grey];
+       "610E" [label="450d3a2d49cbfd", shape=box, style=filled, color=grey];
+       292 [label="9c1305d59c37e9be9f13d7d049c", shape=hexagon];
+       "73E" [label=817, shape=box, style=filled, color=grey];
+       293 [label=efe092824916a5637ee35d439589, shape=hexagon];
+       "49E" [shape=box, style=filled, color=grey];
+       "214E" [shape=box, style=filled, color=grey];
+       "216E" [shape=box, style=filled, color=grey];
+       "236E" [shape=box, style=filled, color=grey];
+       "278E" [shape=box, style=filled, color=grey];
+       "358E" [shape=box, style=filled, color=grey];
+       "398E" [shape=box, style=filled, color=grey];
+       "400E" [shape=box, style=filled, color=grey];
+       "402E" [shape=box, style=filled, color=grey];
+       "404E" [shape=box, style=filled, color=grey];
+       "406E" [shape=box, style=filled, color=grey];
+       "408E" [shape=box, style=filled, color=grey];
+       "412E" [shape=box, style=filled, color=grey];
+       "438E" [shape=box, style=filled, color=grey];
+       "448E" [shape=box, style=filled, color=grey];
+       "476E" [shape=box, style=filled, color=grey];
+       "504E" [shape=box, style=filled, color=grey];
+       "552E" [shape=box, style=filled, color=grey];
+       "634E" [shape=box, style=filled, color=grey];
+       "768E" [shape=box, style=filled, color=grey];
+       295 [label="70815f0352b43dc1562133ab6eb", shape=hexagon, style=filled, color="#A52A2A"];
+       "44E" [label=ef2d4636934472, shape=box, style=filled, color=grey];
+       "92E" [label="22bd92e302816", shape=box, style=filled, color=grey];
+       "250E" [label="74e86", shape=box, style=filled, color=grey];
+       "316E" [shape=box, style=filled, color=grey];
+       "380E" [shape=box, style=filled, color=grey];
+       "424E" [label=c, shape=box, style=filled, color=grey];
+       "442E" [label=a5a, shape=box, style=filled, color=grey];
+       "446E" [label=bce, shape=box, style=filled, color=grey];
+       "454E" [shape=box, style=filled, color=grey];
+       "460E" [shape=box, style=filled, color=grey];
+       "462E" [shape=box, style=filled, color=grey];
+       "648E" [shape=box, style=filled, color=grey];
+       "656E" [label=e9, shape=box, style=filled, color=grey];
+       "666E" [label=b701e7, shape=box, style=filled, color=grey];
+       "692E" [label=f2e7cc, shape=box, style=filled, color=grey];
+       "712E" [label="8a9eb2806b0aa", shape=box, style=filled, color=grey];
+       296 [label=e287d497450664a4c0f4efc338, shape=hexagon, style=filled, color="#ff0000"];
+       "47E" [label="06eff1db45cdf", shape=box, style=filled, color=grey];
+       "330E" [label=c0f34a600, shape=box, style=filled, color=grey];
+       "514E" [label=bd7aca295ca, shape=box, style=filled, color=grey];
+       "516E" [label="0da9135", shape=box, style=filled, color=grey];
+       "518E" [label=fe821bce, shape=box, style=filled, color=grey];
+       "520E" [label=e64f22a31, shape=box, style=filled, color=grey];
+       "522E" [label="46e412a3", shape=box, style=filled, color=grey];
+       "526E" [label="99da1f8a5", shape=box, style=filled, color=grey];
+       "528E" [label="0f167280", shape=box, style=filled, color=grey];
+       "530E" [label="82d201", shape=box, style=filled, color=grey];
+       "532E" [label="1d529eb4", shape=box, style=filled, color=grey];
+       "534E" [shape=box, style=filled, color=grey];
+       "536E" [label=bf141dbce, shape=box, style=filled, color=grey];
+       "538E" [label=e3fd0c7b3, shape=box, style=filled, color=grey];
+       "540E" [label=c96cb3, shape=box, style=filled, color=grey];
+       "542E" [label="0fabab47", shape=box, style=filled, color=grey];
+       "544E" [label="1b82200", shape=box, style=filled, color=grey];
+       297 [label="2ced414a91575a48f2dd29a", shape=hexagon];
+       "46E" [label="85221d5e9e", shape=box, style=filled, color=grey];
+       "93E" [label="97a7eea3f", shape=box, style=filled, color=grey];
+       "206E" [label="4d22e1", shape=box, style=filled, color=grey];
+       "426E" [label=e65185ca, shape=box, style=filled, color=grey];
+       "550E" [shape=box, style=filled, color=grey];
+       "706E" [label=a9012b7bb5, shape=box, style=filled, color=grey];
+       298 [label="38f162cf917ce7298663a1f1c607", shape=hexagon];
+       "36E" [label=a031c9192ae8e75, shape=box, style=filled, color=grey];
+       "95E" [label="062fc905b9eb35", shape=box, style=filled, color=grey];
+       "364E" [label=c8fc17180bea86, shape=box, style=filled, color=grey];
+       "394E" [label="09e64744536c5e1", shape=box, style=filled, color=grey];
+       "420E" [label=af4a1fac3e2076, shape=box, style=filled, color=grey];
+       "456E" [label="238805e2194c3", shape=box, style=filled, color=grey];
+       "624E" [label="73e6ed83012", shape=box, style=filled, color=grey];
+       299 [label="549fa15d68f0b3bee6192f888cd8", shape=hexagon];
+       "48E" [label=d17f8f4eeb8e63d, shape=box, style=filled, color=grey];
+       "168E" [label=cca7040e47789, shape=box, style=filled, color=grey];
+       "260E" [label="47ebc3f17", shape=box, style=filled, color=grey];
+       "282E" [label=cf5a6049ad, shape=box, style=filled, color=grey];
+       "554E" [label="2a47a6a27", shape=box, style=filled, color=grey];
+       "590E" [label=eff3468631dd4, shape=box, style=filled, color=grey];
+       "767E" [label=efb52b499303115c33fd, shape=box, style=filled, color=grey];
+       300 [label="8593dcf973b110d00cecdc1e756", shape=hexagon, style=filled, color="#ff7f00"];
+       "62E" [label="472a156cf2b55f", shape=box, style=filled, color=grey];
+       "190E" [label=647, shape=box, style=filled, color=grey];
+       "226E" [shape=box, style=filled, color=grey];
+       "238E" [label="8a", shape=box, style=filled, color=grey];
+       "254E" [shape=box, style=filled, color=grey];
+       "256E" [shape=box, style=filled, color=grey];
+       "262E" [shape=box, style=filled, color=grey];
+       "266E" [label=e8b, shape=box, style=filled, color=grey];
+       "274E" [shape=box, style=filled, color=grey];
+       "276E" [label=f, shape=box, style=filled, color=grey];
+       "294E" [shape=box, style=filled, color=grey];
+       "296E" [shape=box, style=filled, color=grey];
+       "310E" [label="1b34fb150", shape=box, style=filled, color=grey];
+       "320E" [shape=box, style=filled, color=grey];
+       "322E" [label=a7d2, shape=box, style=filled, color=grey];
+       "332E" [shape=box, style=filled, color=grey];
+       "340E" [shape=box, style=filled, color=grey];
+       "344E" [label=f55670, shape=box, style=filled, color=grey];
+       "346E" [label="1ed67841", shape=box, style=filled, color=grey];
+       "348E" [label=07283, shape=box, style=filled, color=grey];
+       "374E" [label="73ba1714ee", shape=box, style=filled, color=grey];
+       "378E" [label=27709106, shape=box, style=filled, color=grey];
+       "452E" [label="93ea0", shape=box, style=filled, color=grey];
+       "508E" [shape=box, style=filled, color=grey];
+       "524E" [label="1d792d81", shape=box, style=filled, color=grey];
+       "612E" [label=a, shape=box, style=filled, color=grey];
+       "626E" [shape=box, style=filled, color=grey];
+       "638E" [shape=box, style=filled, color=grey];
+       "644E" [shape=box, style=filled, color=grey];
+       "654E" [shape=box, style=filled, color=grey];
+       "672E" [shape=box, style=filled, color=grey];
+       302 [label="23f94655294d3ff537f2915fa", shape=hexagon];
+       "797E" [shape=box, style=filled, color=grey];
+       "798E" [label=a2eab7c9fa641e5f, shape=box, style=filled, color=grey];
+       303 [label=a9058241db5b6b6c25569acdf5, shape=hexagon];
+       "52E" [label=b2babf3244213, shape=box, style=filled, color=grey];
+       "650E" [label=b354cd9e9dbb0bfa, shape=box, style=filled, color=grey];
+       304 [label=bdbdb31bd777fb65dd6dd2d0e7, shape=hexagon];
+       "50E" [label="3bec1c012b498", shape=box, style=filled, color=grey];
+       "640E" [label=c54f0fc1e05, shape=box, style=filled, color=grey];
+       "646E" [label="9ab6c66dc", shape=box, style=filled, color=grey];
+       "652E" [label="699e3db878047", shape=box, style=filled, color=grey];
+       306 [label="1d4ea80c7194689d69f9592186", shape=hexagon];
+       "55E" [label="8066f87a88f4e", shape=box, style=filled, color=grey];
+       "220E" [label="3a8173d6c", shape=box, style=filled, color=grey];
+       "338E" [label="24dfe1a997a", shape=box, style=filled, color=grey];
+       "368E" [label="65a1", shape=box, style=filled, color=grey];
+       "486E" [label="59a8b435ccd", shape=box, style=filled, color=grey];
+       "490E" [label="86e9b0428", shape=box, style=filled, color=grey];
+       "562E" [label="5a7a610a8a", shape=box, style=filled, color=grey];
+       "564E" [label="8f143077e", shape=box, style=filled, color=grey];
+       "600E" [label="6472c2861e0e0dd681", shape=box, style=filled, color=grey];
+       "668E" [label=f0f45e707, shape=box, style=filled, color=grey];
+       "674E" [label="95e93c4a13", shape=box, style=filled, color=grey];
+       "698E" [label="33e1de", shape=box, style=filled, color=grey];
+       307 [label="7204950f6233bf9c9e1f00d4a870", shape=hexagon];
+       "107E" [label=ccceeef40edda78, shape=box, style=filled, color=grey];
+       308 [label=a2c4b1d72e2da483a86ae0c62e5, shape=hexagon];
+       "108E" [label=eedc819a68add6, shape=box, style=filled, color=grey];
+       309 [label=f603819d560c5603259aa05dca, shape=hexagon];
+       "109E" [label=acacfc83af504, shape=box, style=filled, color=grey];
+       310 [label="2f43cba12702078b4e0d3bfdae2bc", shape=hexagon];
+       "110E" [label="3c1edc8de4795936", shape=box, style=filled, color=grey];
+       311 [label="8f9cdc26798117dd3e9ee4a8770", shape=hexagon];
+       "58E" [label="881d373", shape=box, style=filled, color=grey];
+       "234E" [shape=box, style=filled, color=grey];
+       "300E" [shape=box, style=filled, color=grey];
+       "306E" [label="8c7cd9b93b1cbe48e1", shape=box, style=filled, color=grey];
+       "314E" [label="616d8a7b", shape=box, style=filled, color=grey];
+       "342E" [shape=box, style=filled, color=grey];
+       "354E" [shape=box, style=filled, color=grey];
+       "370E" [shape=box, style=filled, color=grey];
+       "382E" [shape=box, style=filled, color=grey];
+       "422E" [shape=box, style=filled, color=grey];
+       "444E" [shape=box, style=filled, color=grey];
+       "582E" [shape=box, style=filled, color=grey];
+       "620E" [shape=box, style=filled, color=grey];
+       "630E" [shape=box, style=filled, color=grey];
+       "684E" [shape=box, style=filled, color=grey];
+       "696E" [shape=box, style=filled, color=grey];
+       "801E" [shape=box, style=filled, color=grey];
+       312 [label="97c9d726e27304311901a52ce", shape=hexagon, style=filled, color="#ff0000"];
+       "42E" [label="1112164c2f7a", shape=box, style=filled, color=grey];
+       "192E" [label="5c609b12c", shape=box, style=filled, color=grey];
+       "194E" [label=00265, shape=box, style=filled, color=grey];
+       "196E" [label=04767, shape=box, style=filled, color=grey];
+       "198E" [label=f0d99f16, shape=box, style=filled, color=grey];
+       "200E" [shape=box, style=filled, color=grey];
+       "202E" [label="6e186b", shape=box, style=filled, color=grey];
+       "204E" [label=d382, shape=box, style=filled, color=grey];
+       "312E" [label=c6b5321a, shape=box, style=filled, color=grey];
+       "336E" [shape=box, style=filled, color=grey];
+       "376E" [shape=box, style=filled, color=grey];
+       "384E" [label=aeb8, shape=box, style=filled, color=grey];
+       "386E" [label="2e53009d4a375", shape=box, style=filled, color=grey];
+       "428E" [shape=box, style=filled, color=grey];
+       "474E" [shape=box, style=filled, color=grey];
+       "484E" [shape=box, style=filled, color=grey];
+       "546E" [label=dea1d1, shape=box, style=filled, color=grey];
+       "548E" [label="5a0b4b906a", shape=box, style=filled, color=grey];
+       314 [label="1727041c622518c9dd24f7c211", shape=hexagon];
+       "113E" [label="49704867bee95", shape=box, style=filled, color=grey];
+       315 [label="31f2f9aef958979f9f3532b9b", shape=hexagon, style=filled, color="#ff0000"];
+       "43E" [label="47cd70f", shape=box, style=filled, color=grey];
+       "240E" [label="248df40dae", shape=box, style=filled, color=grey];
+       "298E" [shape=box, style=filled, color=grey];
+       "334E" [label="9dd5bf47f", shape=box, style=filled, color=grey];
+       "360E" [shape=box, style=filled, color=grey];
+       "390E" [label="28533c", shape=box, style=filled, color=grey];
+       "418E" [shape=box, style=filled, color=grey];
+       "492E" [label=a4c7d0, shape=box, style=filled, color=grey];
+       "502E" [label="4f6f7f", shape=box, style=filled, color=grey];
+       "584E" [label="7ab64a969", shape=box, style=filled, color=grey];
+       "588E" [shape=box, style=filled, color=grey];
+       "602E" [label=69, shape=box, style=filled, color=grey];
+       "606E" [label="67513d", shape=box, style=filled, color=grey];
+       "662E" [label=cf, shape=box, style=filled, color=grey];
+       316 [label=a54092a3033f7d5e41e0a76c1, shape=hexagon];
+       "51E" [label="1467f017b74e", shape=box, style=filled, color=grey];
+       317 [label="2043b477ac0393676a4309514d0", shape=hexagon];
+       "116E" [label=bdec8c86db51b9, shape=box, style=filled, color=grey];
+       318 [label=ab48d1f65812bc0f8ab6941c3b5, shape=hexagon];
+       "74E" [label=81, shape=box, style=filled, color=grey];
+       319 [label=ca3d67754cf62fdafbf0a1e0, shape=hexagon];
+       "57E" [label="75b14f1719d", shape=box, style=filled, color=grey];
+       "94E" [label="62f36ea98a", shape=box, style=filled, color=grey];
+       "350E" [label=e3a76d31ca59a, shape=box, style=filled, color=grey];
+       "440E" [label=b3cadc253f7, shape=box, style=filled, color=grey];
+       "466E" [label=fb58e11, shape=box, style=filled, color=grey];
+       "676E" [label="8606837526d81cdec", shape=box, style=filled, color=grey];
+       320 [label=a7a7f3681dad1250b01cf80bc17, shape=hexagon];
+       "60E" [label="2c514b0cd8f7d3", shape=box, style=filled, color=grey];
+       "366E" [label="7e494b", shape=box, style=filled, color=grey];
+       "434E" [label="15d44ab97", shape=box, style=filled, color=grey];
+       "458E" [label="78b2d75d00166", shape=box, style=filled, color=grey];
+       "618E" [label="761e0f72f95", shape=box, style=filled, color=grey];
+       321 [label="275afb2b215b966d9fac51b96b9", shape=hexagon];
+       "72E" [label=ac284d73563, shape=box, style=filled, color=grey];
+       "362E" [label="7e74e1587f3a4d208", shape=box, style=filled, color=grey];
+       "372E" [label=ffd1b1af3b6864078f3, shape=box, style=filled, color=grey];
+       "572E" [label=b38049e00, shape=box, style=filled, color=grey];
+       322 [label=c3c93c700edc0cb4f95f03c04, shape=hexagon];
+       "54E" [label="99237fce1358", shape=box, style=filled, color=grey];
+       "222E" [label="3dcf8f454", shape=box, style=filled, color=grey];
+       "302E" [label=c5acd20cad2, shape=box, style=filled, color=grey];
+       "556E" [label="6c998bf2a5edd", shape=box, style=filled, color=grey];
+       "558E" [label="4b683", shape=box, style=filled, color=grey];
+       323 [label="63a3d4fb9d38a0182be6e39e76", shape=hexagon];
+       "37E" [label=bba6e6e194ccf, shape=box, style=filled, color=grey];
+       "208E" [label=01938827, shape=box, style=filled, color=grey];
+       "210E" [label=9, shape=box, style=filled, color=grey];
+       "352E" [label="64ef1d545", shape=box, style=filled, color=grey];
+       "450E" [label=b473716, shape=box, style=filled, color=grey];
+       "568E" [label="7c13bf753da", shape=box, style=filled, color=grey];
+       "576E" [label="4e4a79111d", shape=box, style=filled, color=grey];
+       "686E" [label=af4abb0d6a99, shape=box, style=filled, color=grey];
+       324 [label="4399cf78123dedd0dfe9776104", shape=hexagon];
+       "228E" [label=af9c489df53, shape=box, style=filled, color=grey];
+       "248E" [label="3703059dbc5a8", shape=box, style=filled, color=grey];
+       "304E" [label="8a46e6", shape=box, style=filled, color=grey];
+       "468E" [label=f9d09, shape=box, style=filled, color=grey];
+       "578E" [label=cd1e9af3dec2, shape=box, style=filled, color=grey];
+       "660E" [label="9e650e89bb", shape=box, style=filled, color=grey];
+       "688E" [label=f62b136b2171, shape=box, style=filled, color=grey];
+       "694E" [label="4727c415d06bcbef", shape=box, style=filled, color=grey];
+       "714E" [label="38b3b0d9", shape=box, style=filled, color=grey];
+       "766E" [label=a153512d982, shape=box, style=filled, color=grey];
+       325 [label="40f253cd228f7ac2d0aee", shape=hexagon];
+       "97E" [label=a3ff993, shape=box, style=filled, color=grey];
+       "506E" [label="7528dd86b", shape=box, style=filled, color=grey];
+       326 [label="89a2505da6179a80202d4a6c3", shape=hexagon];
+       "61E" [label="75eea05672a5", shape=box, style=filled, color=grey];
+       "175E" [label="3b0c08dd2ca", shape=box, style=filled, color=grey];
+       "482E" [label=a3781072b, shape=box, style=filled, color=grey];
+       328 [label="2601085bde1b2450d64509f36", shape=hexagon];
+       "75E" [label="0efbd", shape=box, style=filled, color=grey];
+       "580E" [label=bb92d1da1f38d52f8ff, shape=box, style=filled, color=grey];
+       329 [label="5c81103c751345d0ee0f4bd", shape=hexagon];
+       "96E" [label=b23526044, shape=box, style=filled, color=grey];
+       330 [label=fcbd9ad14139718bc6fcc8b4, shape=hexagon];
+       "100E" [label="73ca543bf1", shape=box, style=filled, color=grey];
+       "170E" [label=c2f32e2cf9, shape=box, style=filled, color=grey];
+       333 [label="44cbb41a9cfc15497eacd294", shape=doubleoctagon, style=filled, color=yellow];
+       "63E" [label="6a91", shape=box, style=filled, color=grey];
+       "67E" [label=b074e, shape=box, style=filled, color=grey];
+       "68E" [label=06209, shape=box, style=filled, color=grey];
+       "69E" [label="58e3dcc618", shape=box, style=filled, color=grey];
+       "70E" [label=eee44624da, shape=box, style=filled, color=grey];
+       "71E" [label="6a91", shape=box, style=filled, color=grey];
+       "802E" [label=e1e8c, shape=box, style=filled, color=grey];
+       "793E" [shape=box, style=filled, color=grey];
+       334 [label=b46b0756dba915943839e90a55, shape=doubleoctagon, style=filled, color=yellow];
+       "64E" [label="5fdf", shape=box, style=filled, color=grey];
+       "81E" [label="3eca1f94dc181", shape=box, style=filled, color=grey];
+       "82E" [label="6b1bb9b0e", shape=box, style=filled, color=grey];
+       "83E" [label=a54d477232, shape=box, style=filled, color=grey];
+       "84E" [label=a164d9f60fbbdd, shape=box, style=filled, color=grey];
+       "85E" [label="78c8463ea", shape=box, style=filled, color=grey];
+       "86E" [label=c110ba7, shape=box, style=filled, color=grey];
+       "87E" [label="3b63cdc0f", shape=box, style=filled, color=grey];
+       "88E" [label="6f578c5128", shape=box, style=filled, color=grey];
+       "89E" [label="3e048573fd", shape=box, style=filled, color=grey];
+       336 [label="825c7994d5da13afe519861818", shape=tripleoctagon, style=filled, color="#ff0000", URL="tes hi", area=test];
+       "1E" [label=f4bef37b6a94bfd00, shape=box, style=filled, color=grey];
+       "2E" [label=d2647f8b6d8661d08, shape=box, style=filled, color=grey];
+       "3E" [label="964cb56d8f69ff058", shape=box, style=filled, color=grey];
+       "4E" [label="4f35e206816c3bd22", shape=box, style=filled, color=grey];
+       "5E" [label=affb2d716803a2d3e, shape=box, style=filled, color=grey];
+       "6E" [label=e4ae306d9bd669c70, shape=box, style=filled, color=grey];
+       "7E" [label="4dbf4395236fb03ed", shape=box, style=filled, color=grey];
+       "8E" [label="15b3ad672cd2f713a", shape=box, style=filled, color=grey];
+       "9E" [label="8d6e6e0cd9b842a47", shape=box, style=filled, color=grey];
+       "10E" [label="00d0dd018fe879f96", shape=box, style=filled, color=grey];
+       "11E" [label=f28b78d4803c, shape=box, style=filled, color=grey];
+       "12E" [label="2d886da042b5384b4", shape=box, style=filled, color=grey];
+       "13E" [label="548c0081a62132b44", shape=box, style=filled, color=grey];
+       "14E" [label="52126553e52385d16", shape=box, style=filled, color=grey];
+       "15E" [label="9fe716e738eaea34e", shape=box, style=filled, color=grey];
+       "16E" [label="5782807b5f575e0a8", shape=box, style=filled, color=grey];
+       "17E" [label="792fd6f9df1fa1e33", shape=box, style=filled, color=grey];
+       "18E" [label=c471b6fdbfb852661, shape=box, style=filled, color=grey];
+       "19E" [label=a84844dfd0052b3b5, shape=box, style=filled, color=grey];
+       "20E" [label="724dabdce9744d061", shape=box, style=filled, color=grey];
+       "21E" [label="57f7fd2eecec93c8b", shape=box, style=filled, color=grey];
+       "22E" [label=baba65f670ee34a88, shape=box, style=filled, color=grey];
+       "23E" [label=ac34ec0f0488b17ec, shape=box, style=filled, color=grey];
+       "24E" [label="51e74bec5513083bb", shape=box, style=filled, color=grey];
+       "25E" [label="8e2d970b2f820ee35", shape=box, style=filled, color=grey];
+       "26E" [label="19398d3cd6b9c674f", shape=box, style=filled, color=grey];
+       "27E" [label="6505e29f4a11d9530", shape=box, style=filled, color=grey];
+       "28E" [label=bc4824f07a9d2bba6, shape=box, style=filled, color=grey];
+       "29E" [label="3acbf8a1537e4e1a1", shape=box, style=filled, color=grey];
+       "30E" [label="536264e787cf70469", shape=box, style=filled, color=grey];
+       "31E" [label=d, shape=box, style=filled, color=grey];
+       "65E" [label=d4b2, shape=box, style=filled, color=grey];
+       "119E" [label="2a9caef7", shape=box, style=filled, color=grey];
+       "150E" [label="73d12", shape=box, style=filled, color=grey];
+       "176E" [label="8896166adc0", shape=box, style=filled, color=grey];
+       "743E" [label="9f", shape=box, style=filled, color=grey];
+       "744E" [label="2e1313c", shape=box, style=filled, color=grey];
+       "764E" [label=cd6, shape=box, style=filled, color=grey];
+       337 [label="8304a439f91fc90b3fe8dd35be8", shape=doubleoctagon, style=filled, color=yellow];
+       "120E" [label="345d26b3f821fe", shape=box, style=filled, color=grey];
+       "121E" [label="357679fea1e2f", shape=box, style=filled, color=grey];
+       "122E" [label=c71043819b6a79, shape=box, style=filled, color=grey];
+       "123E" [label=f9df653b86fb8df, shape=box, style=filled, color=grey];
+       "124E" [label="020df871874cd", shape=box, style=filled, color=grey];
+       "125E" [label="4c52fdd8e396692", shape=box, style=filled, color=grey];
+       "126E" [label="8b98c3ddbe0b336", shape=box, style=filled, color=grey];
+       "127E" [label=d9f4abac731a9e, shape=box, style=filled, color=grey];
+       "128E" [label="50f4d9b97aefe", shape=box, style=filled, color=grey];
+       "129E" [label=ea920d9f5b295119, shape=box, style=filled, color=grey];
+       "130E" [label=ff5c9b242337c, shape=box, style=filled, color=grey];
+       "131E" [label="4e12f7ff0918", shape=box, style=filled, color=grey];
+       "132E" [label=ee3b6be71d59b, shape=box, style=filled, color=grey];
+       "133E" [label="615cd6b5e3d21c", shape=box, style=filled, color=grey];
+       "134E" [label="6d52dd1b198bb", shape=box, style=filled, color=grey];
+       "135E" [label="8c932e1e502dca", shape=box, style=filled, color=grey];
+       "136E" [label=e84330eef281284a, shape=box, style=filled, color=grey];
+       "137E" [label="85fc23f1c88b4", shape=box, style=filled, color=grey];
+       "138E" [label="5997cb0c083422", shape=box, style=filled, color=grey];
+       339 [label=b1ffbabb24d71f67d1e0ce23c51, shape=doubleoctagon, style=filled, color=yellow];
+       "151E" [shape=box, style=filled, color=grey];
+       "153E" [label="41a8b095c7fd3", shape=box, style=filled, color=grey];
+       "154E" [label="151bcc2a8de7ea634", shape=box, style=filled, color=grey];
+       "155E" [label="6c541cad8de1b15", shape=box, style=filled, color=grey];
+       "156E" [label=c935c7f4d1090ac, shape=box, style=filled, color=grey];
+       "157E" [label="5ce1fcfb042b", shape=box, style=filled, color=grey];
+       "158E" [label=531806429433, shape=box, style=filled, color=grey];
+       "159E" [label=d285240b89cb, shape=box, style=filled, color=grey];
+       "160E" [label=f22c27c0f0a54e, shape=box, style=filled, color=grey];
+       "161E" [label="8d0d8314d211d80", shape=box, style=filled, color=grey];
+       "162E" [shape=box, style=filled, color=grey];
+       347 [label="9652ab8b55fdb2a36d1f3fe020", shape=hexagon];
+       "139E" [label=ef8b68bb5772f3, shape=box, style=filled, color=grey];
+       "795E" [label="16c3ae29c0bc713", shape=box, style=filled, color=grey];
+       348 [label="676bbe7d1c1fb71742df534ce8", shape=hexagon];
+       "799E" [label=a78eb40ae56aaa9, shape=box, style=filled, color=grey];
+       "800E" [label="6aae8d25951", shape=box, style=filled, color=grey];
+       349 [label="66c0220688a999aaf7f1702d1", shape=hexagon];
+       "141E" [label="67b6a4dca3a6d", shape=box, style=filled, color=grey];
+       350 [label="1322fb0818783e6f9a4f173d47c52", shape=hexagon];
+       "142E" [label="9696c0950295d8cb5", shape=box, style=filled, color=grey];
+       "678E" [label=b5c747cc9, shape=box, style=filled, color=grey];
+       351 [label=ff07977fca5513098d220d1eb3a, shape=hexagon];
+       "143E" [label="89a36b13f8c344b", shape=box, style=filled, color=grey];
+       "232E" [label="56292d076643", shape=box, style=filled, color=grey];
+       "680E" [label=b5c747cc9, shape=box, style=filled, color=grey];
+       "704E" [label="431430c49", shape=box, style=filled, color=grey];
+       352 [label=a97ef281eafc34b1630d450a1df, shape=hexagon];
+       "144E" [label="4ff4e275c710c3b", shape=box, style=filled, color=grey];
+       "432E" [label=d13da6273c9b4da, shape=box, style=filled, color=grey];
+       353 [label="72cbb37db85ed3c6eda5dcf8", shape=hexagon];
+       "145E" [label="33ff9e43d5ab", shape=box, style=filled, color=grey];
+       354 [label="0f6784e49852c0be0da23b16", shape=hexagon];
+       "146E" [label=d4f958b03a98, shape=box, style=filled, color=grey];
+       "396E" [label="8e24e9b4e", shape=box, style=filled, color=grey];
+       355 [label="383f5c65cc6c25aa0a0e6dbb", shape=hexagon];
+       "147E" [label="1ff8ff951ee9", shape=box, style=filled, color=grey];
+       356 [label=f52a45620969f0df4e6ae1dcd7, shape=hexagon];
+       "148E" [label="5256925081c812", shape=box, style=filled, color=grey];
+       357 [label="1f5df34ad75a55a76ef4afa0a47", shape=hexagon];
+       "149E" [label="26a185dde9a93dd", shape=box, style=filled, color=grey];
+       358 [label="45ba4d4c61c9601a26d59e47e0260", shape=hexagon];
+       "167E" [label="99bd3e7feeb710", shape=box, style=filled, color=grey];
+       359 [label=f95344b0ae31693f3a2746597d4, shape=hexagon];
+       "169E" [label="4e8259973f1f", shape=box, style=filled, color=grey];
+       360 [label=b79798b186d6b82288e8be4017d, shape=hexagon];
+       "171E" [label="63b079bd5847", shape=box, style=filled, color=grey];
+       361 [label="47e0067f4d853afd2012f04daa8", shape=hexagon];
+       "172E" [label="92fb5d4a0805", shape=box, style=filled, color=grey];
+       362 [label=f2b6201774de40a29b504b1f716, shape=hexagon];
+       "173E" [label=d7203571944b, shape=box, style=filled, color=grey];
+       363 [label="800422ab81d804eef3e7b91dfba91", shape=hexagon];
+       "174E" [label="952316a1a5a785", shape=box, style=filled, color=grey];
+       364 [label="35b941379e1af658078cffb83a2", shape=hexagon];
+       "101E" [label="331675c046693f", shape=box, style=filled, color=grey];
+       365 [label=d4f7b7fba7afcf7a72397353ec, shape=hexagon];
+       "102E" [label="32c4684b55361", shape=box, style=filled, color=grey];
+       367 [label=e4b45b7a2f884d3734bfd5985656, shape=hexagon];
+       "104E" [label="1333074979f2d0b", shape=box, style=filled, color=grey];
+       368 [label="02c2ba83680ab57f236a33d702", shape=hexagon];
+       "105E" [label="084d4bfa5853e", shape=box, style=filled, color=grey];
+       369 [label="9ccd974150a18260b207b6584caa", shape=hexagon];
+       "106E" [label="28f7bfc40c88e6a", shape=box, style=filled, color=grey];
+       374 [label="653ae44d45dcadeb481b53027d", shape=hexagon];
+       "111E" [label="8f95518f48528", shape=box, style=filled, color=grey];
+       375 [label=d66f542ef1ce4d02c59bec65e, shape=hexagon];
+       "112E" [label="2ef209509e2a", shape=box, style=filled, color=grey];
+       377 [label=a2984b7a11e49440420058c1d80, shape=hexagon];
+       "114E" [label=ef42184297591d, shape=box, style=filled, color=grey];
+       378 [label="31055116421c96b37f72a262bb", shape=hexagon];
+       "115E" [label=be9c5958196ed, shape=box, style=filled, color=grey];
+       380 [label="8462bb2eec1a62d19a15865e57c92", shape=hexagon];
+       "117E" [label="16a795a1d63f30df", shape=box, style=filled, color=grey];
+       "392E" [label="85a34bc9616ff", shape=box, style=filled, color=grey];
+       381 [label=c21eb96fe100a1efaa128181b7, shape=hexagon];
+       "118E" [label=f1b0d754353a6, shape=box, style=filled, color=grey];
+       382 [label=e3e284d0cc803d98d674f9c3f6d, shape=doubleoctagon, style=filled, color=yellow];
+       "177E" [label="30417faf916", shape=box, style=filled, color=grey];
+       "178E" [label=e618df70814a, shape=box, style=filled, color=grey];
+       "179E" [label=fa90ddf10bd574, shape=box, style=filled, color=grey];
+       "180E" [label="815cc0b83d733", shape=box, style=filled, color=grey];
+       "181E" [label=f787d827958c, shape=box, style=filled, color=grey];
+       "182E" [label=f20f7f513e, shape=box, style=filled, color=grey];
+       "183E" [label="290907417e13", shape=box, style=filled, color=grey];
+       "184E" [label=e8386a8e1c8a, shape=box, style=filled, color=grey];
+       "185E" [label="319bc900218b", shape=box, style=filled, color=grey];
+       "186E" [label="3ba7afb0e48ae1", shape=box, style=filled, color=grey];
+       "187E" [label="6ba0776fc8e", shape=box, style=filled, color=grey];
+       "188E" [label="09847696ae", shape=box, style=filled, color=grey];
+       383 [label="908f9ad506eae9ab6ada185e3", shape=doubleoctagon, style=filled, color=yellow];
+       "730E" [label="65694ca6d575", shape=box, style=filled, color=grey];
+       "732E" [label="37f57e81ebed95", shape=box, style=filled, color=grey];
+       "741E" [label="9b6c", shape=box, style=filled, color=grey];
+       "765E" [label="88ebe2e8782c", shape=box, style=filled, color=grey];
+       "796E" [label="901b2105a902ee7791", shape=box, style=filled, color=grey];
+       384 [label="593caebf2037317648bb451aa79", shape=doubleoctagon, style=filled, color=yellow];
+       "726E" [label="351dd0aefe480c", shape=box, style=filled, color=grey];
+       "728E" [label="56e1a896", shape=box, style=filled, color=grey];
+       "742E" [label="5ba4693031", shape=box, style=filled, color=grey];
+       1 -> "189E" [label=" ", color=blue, arrowhead=dot];
+       1 -> "790E" [label=" ", color=blue, arrowhead=dot];
+       2 -> "191E" [label=" ", color=blue, arrowhead=dot];
+       3 -> "193E" [label=" ", color=blue, arrowhead=dot];
+       4 -> "195E" [label=" ", color=blue, arrowhead=dot];
+       5 -> "197E" [label=" ", color=blue, arrowhead=dot];
+       6 -> "199E" [label=" ", color=blue, arrowhead=dot];
+       7 -> "201E" [label=" ", color=blue, arrowhead=dot];
+       8 -> "203E" [label=" ", color=blue, arrowhead=dot];
+       9 -> "725E" [label=" ", color=blue, arrowhead=dot];
+       9 -> "785E" [label=" ", color=blue, arrowhead=dot];
+       10 -> "205E" [label=" ", color=blue, arrowhead=dot];
+       11 -> "207E" [label=" ", color=blue, arrowhead=dot];
+       12 -> "209E" [label=" ", color=blue, arrowhead=dot];
+       13 -> "211E" [label=" ", color=blue, arrowhead=dot];
+       14 -> "213E" [label=" ", color=blue, arrowhead=dot];
+       15 -> "215E" [label=" ", color=blue, arrowhead=dot];
+       16 -> "727E" [label=" ", color=blue, arrowhead=dot];
+       16 -> "784E" [label=" ", color=blue, arrowhead=dot];
+       17 -> "217E" [label=" ", color=blue, arrowhead=dot];
+       17 -> "787E" [label=" ", color=blue, arrowhead=dot];
+       18 -> "219E" [label=" ", color=blue, arrowhead=dot];
+       19 -> "221E" [label=" ", color=blue, arrowhead=dot];
+       20 -> "223E" [label=" ", color=blue, arrowhead=dot];
+       21 -> "225E" [label=" ", color=blue, arrowhead=dot];
+       22 -> "227E" [label=" ", color=blue, arrowhead=dot];
+       22 -> "792E" [label=" ", color=blue, arrowhead=dot];
+       23 -> "231E" [label=" ", color=blue, arrowhead=dot];
+       24 -> "233E" [label=" ", color=blue, arrowhead=dot];
+       25 -> "235E" [label=" ", color=blue, arrowhead=dot];
+       26 -> "237E" [label=" ", color=blue, arrowhead=dot];
+       27 -> "239E" [label=" ", color=blue, arrowhead=dot];
+       27 -> "783E" [label=" ", color=blue, arrowhead=dot];
+       28 -> "241E" [label=" ", color=blue, arrowhead=dot];
+       28 -> "791E" [label=" ", color=blue, arrowhead=dot];
+       29 -> "243E" [label=" ", color=blue, arrowhead=dot];
+       30 -> "245E" [label=" ", color=blue, arrowhead=dot];
+       31 -> "247E" [label=" ", color=blue, arrowhead=dot];
+       32 -> "249E" [label=" ", color=blue, arrowhead=dot];
+       33 -> "251E" [label=" ", color=blue, arrowhead=dot];
+       34 -> "253E" [label=" ", color=blue, arrowhead=dot];
+       35 -> "255E" [label=" ", color=blue, arrowhead=dot];
+       36 -> "257E" [label=" ", color=blue, arrowhead=dot];
+       37 -> "259E" [label=" ", color=blue, arrowhead=dot];
+       38 -> "261E" [label=" ", color=blue, arrowhead=dot];
+       39 -> "263E" [label=" ", color=blue, arrowhead=dot];
+       40 -> "265E" [label=" ", color=blue, arrowhead=dot];
+       41 -> "267E" [label=" ", color=blue, arrowhead=dot];
+       42 -> "269E" [label=" ", color=blue, arrowhead=dot];
+       43 -> "271E" [label=" ", color=blue, arrowhead=dot];
+       44 -> "273E" [label=" ", color=blue, arrowhead=dot];
+       45 -> "275E" [label=" ", color=blue, arrowhead=dot];
+       46 -> "277E" [label=" ", color=blue, arrowhead=dot];
+       47 -> "279E" [label=" ", color=blue, arrowhead=dot];
+       48 -> "281E" [label=" ", color=blue, arrowhead=dot];
+       49 -> "283E" [label=" ", color=blue, arrowhead=dot];
+       50 -> "285E" [label=" ", color=blue, arrowhead=dot];
+       51 -> "287E" [label=" ", color=blue, arrowhead=dot];
+       52 -> "289E" [label=" ", color=blue, arrowhead=dot];
+       53 -> "291E" [label=" ", color=blue, arrowhead=dot];
+       54 -> "293E" [label=" ", color=blue, arrowhead=dot];
+       56 -> "295E" [label=" ", color=blue, arrowhead=dot];
+       57 -> "297E" [label=" ", color=blue, arrowhead=dot];
+       58 -> "299E" [label=" ", color=blue, arrowhead=dot];
+       59 -> "301E" [label=" ", color=blue, arrowhead=dot];
+       59 -> "789E" [label=" ", color=blue, arrowhead=dot];
+       60 -> "303E" [label=" ", color=blue, arrowhead=dot];
+       61 -> "305E" [label=" ", color=blue, arrowhead=dot];
+       62 -> "307E" [label=" ", color=blue, arrowhead=dot];
+       63 -> "309E" [label=" ", color=blue, arrowhead=dot];
+       64 -> "311E" [label=" ", color=blue, arrowhead=dot];
+       65 -> "313E" [label=" ", color=blue, arrowhead=dot];
+       66 -> "315E" [label=" ", color=blue, arrowhead=dot];
+       67 -> "317E" [label=" ", color=blue, arrowhead=dot];
+       68 -> "319E" [label=" ", color=blue, arrowhead=dot];
+       70 -> "321E" [label=" ", color=blue, arrowhead=dot];
+       71 -> "327E" [label=" ", color=blue, arrowhead=dot];
+       72 -> "329E" [label=" ", color=blue, arrowhead=dot];
+       73 -> "331E" [label=" ", color=blue, arrowhead=dot];
+       74 -> "333E" [label=" ", color=blue, arrowhead=dot];
+       75 -> "335E" [label=" ", color=blue, arrowhead=dot];
+       76 -> "337E" [label=" ", color=blue, arrowhead=dot];
+       77 -> "339E" [label=" ", color=blue, arrowhead=dot];
+       78 -> "341E" [label=" ", color=blue, arrowhead=dot];
+       79 -> "343E" [label=" ", color=blue, arrowhead=dot];
+       80 -> "345E" [label=" ", color=blue, arrowhead=dot];
+       81 -> "347E" [label=" ", color=blue, arrowhead=dot];
+       82 -> "349E" [label=" ", color=blue, arrowhead=dot];
+       83 -> "351E" [label=" ", color=blue, arrowhead=dot];
+       84 -> "353E" [label=" ", color=blue, arrowhead=dot];
+       85 -> "355E" [label=" ", color=blue, arrowhead=dot];
+       85 -> "788E" [label=" ", color=blue, arrowhead=dot];
+       86 -> "357E" [label=" ", color=blue, arrowhead=dot];
+       87 -> "359E" [label=" ", color=blue, arrowhead=dot];
+       88 -> "361E" [label=" ", color=blue, arrowhead=dot];
+       89 -> "363E" [label=" ", color=blue, arrowhead=dot];
+       90 -> "365E" [label=" ", color=blue, arrowhead=dot];
+       91 -> "367E" [label=" ", color=blue, arrowhead=dot];
+       92 -> "369E" [label=" ", color=blue, arrowhead=dot];
+       93 -> "729E" [label=" ", color=blue, arrowhead=dot];
+       94 -> "371E" [label=" ", color=blue, arrowhead=dot];
+       95 -> "373E" [label=" ", color=blue, arrowhead=dot];
+       96 -> "375E" [label=" ", color=blue, arrowhead=dot];
+       98 -> "377E" [label=" ", color=blue, arrowhead=dot];
+       99 -> "379E" [label=" ", color=blue, arrowhead=dot];
+       100 -> "381E" [label=" ", color=blue, arrowhead=dot];
+       101 -> "383E" [label=" ", color=blue, arrowhead=dot];
+       102 -> "385E" [label=" ", color=blue, arrowhead=dot];
+       103 -> "387E" [label=" ", color=blue, arrowhead=dot];
+       104 -> "389E" [label=" ", color=blue, arrowhead=dot];
+       105 -> "391E" [label=" ", color=blue, arrowhead=dot];
+       106 -> "393E" [label=" ", color=blue, arrowhead=dot];
+       107 -> "395E" [label=" ", color=blue, arrowhead=dot];
+       108 -> "397E" [label=" ", color=blue, arrowhead=dot];
+       109 -> "399E" [label=" ", color=blue, arrowhead=dot];
+       110 -> "401E" [label=" ", color=blue, arrowhead=dot];
+       111 -> "403E" [label=" ", color=blue, arrowhead=dot];
+       112 -> "405E" [label=" ", color=blue, arrowhead=dot];
+       113 -> "407E" [label=" ", color=blue, arrowhead=dot];
+       114 -> "409E" [label=" ", color=blue, arrowhead=dot];
+       115 -> "411E" [label=" ", color=blue, arrowhead=dot];
+       116 -> "413E" [label=" ", color=blue, arrowhead=dot];
+       117 -> "415E" [label=" ", color=blue, arrowhead=dot];
+       118 -> "417E" [label=" ", color=blue, arrowhead=dot];
+       119 -> "419E" [label=" ", color=blue, arrowhead=dot];
+       120 -> "421E" [label=" ", color=blue, arrowhead=dot];
+       121 -> "423E" [label=" ", color=blue, arrowhead=dot];
+       123 -> "425E" [label=" ", color=blue, arrowhead=dot];
+       124 -> "427E" [label=" ", color=blue, arrowhead=dot];
+       124 -> "786E" [label=" ", color=blue, arrowhead=dot];
+       125 -> "431E" [label=" ", color=blue, arrowhead=dot];
+       126 -> "433E" [label=" ", color=blue, arrowhead=dot];
+       127 -> "435E" [label=" ", color=blue, arrowhead=dot];
+       128 -> "437E" [label=" ", color=blue, arrowhead=dot];
+       129 -> "439E" [label=" ", color=blue, arrowhead=dot];
+       130 -> "441E" [label=" ", color=blue, arrowhead=dot];
+       131 -> "443E" [label=" ", color=blue, arrowhead=dot];
+       132 -> "445E" [label=" ", color=blue, arrowhead=dot];
+       134 -> "447E" [label=" ", color=blue, arrowhead=dot];
+       135 -> "449E" [label=" ", color=blue, arrowhead=dot];
+       135 -> "769E" [label=" ", color=blue, arrowhead=dot];
+       135 -> "770E" [label=" ", color=blue, arrowhead=dot];
+       136 -> "451E" [label=" ", color=blue, arrowhead=dot];
+       137 -> "453E" [label=" ", color=blue, arrowhead=dot];
+       138 -> "455E" [label=" ", color=blue, arrowhead=dot];
+       139 -> "457E" [label=" ", color=blue, arrowhead=dot];
+       140 -> "459E" [label=" ", color=blue, arrowhead=dot];
+       141 -> "461E" [label=" ", color=blue, arrowhead=dot];
+       142 -> "463E" [label=" ", color=blue, arrowhead=dot];
+       143 -> "465E" [label=" ", color=blue, arrowhead=dot];
+       144 -> "467E" [label=" ", color=blue, arrowhead=dot];
+       145 -> "469E" [label=" ", color=blue, arrowhead=dot];
+       146 -> "471E" [label=" ", color=blue, arrowhead=dot];
+       147 -> "473E" [label=" ", color=blue, arrowhead=dot];
+       148 -> "475E" [label=" ", color=blue, arrowhead=dot];
+       149 -> "477E" [label=" ", color=blue, arrowhead=dot];
+       150 -> "479E" [label=" ", color=blue, arrowhead=dot];
+       151 -> "481E" [label=" ", color=blue, arrowhead=dot];
+       152 -> "483E" [label=" ", color=blue, arrowhead=dot];
+       153 -> "731E" [label=" ", color=blue, arrowhead=dot];
+       155 -> "485E" [label=" ", color=blue, arrowhead=dot];
+       156 -> "487E" [label=" ", color=blue, arrowhead=dot];
+       157 -> "489E" [label=" ", color=blue, arrowhead=dot];
+       158 -> "491E" [label=" ", color=blue, arrowhead=dot];
+       159 -> "495E" [label=" ", color=blue, arrowhead=dot];
+       160 -> "499E" [label=" ", color=blue, arrowhead=dot];
+       161 -> "501E" [label=" ", color=blue, arrowhead=dot];
+       162 -> "503E" [label=" ", color=blue, arrowhead=dot];
+       163 -> "505E" [label=" ", color=blue, arrowhead=dot];
+       164 -> "507E" [label=" ", color=blue, arrowhead=dot];
+       165 -> "509E" [label=" ", color=blue, arrowhead=dot];
+       166 -> "511E" [label=" ", color=blue, arrowhead=dot];
+       167 -> "513E" [label=" ", color=blue, arrowhead=dot];
+       168 -> "515E" [label=" ", color=blue, arrowhead=dot];
+       169 -> "517E" [label=" ", color=blue, arrowhead=dot];
+       170 -> "519E" [label=" ", color=blue, arrowhead=dot];
+       171 -> "521E" [label=" ", color=blue, arrowhead=dot];
+       172 -> "523E" [label=" ", color=blue, arrowhead=dot];
+       173 -> "525E" [label=" ", color=blue, arrowhead=dot];
+       174 -> "527E" [label=" ", color=blue, arrowhead=dot];
+       175 -> "529E" [label=" ", color=blue, arrowhead=dot];
+       176 -> "531E" [label=" ", color=blue, arrowhead=dot];
+       177 -> "533E" [label=" ", color=blue, arrowhead=dot];
+       178 -> "535E" [label=" ", color=blue, arrowhead=dot];
+       179 -> "537E" [label=" ", color=blue, arrowhead=dot];
+       180 -> "539E" [label=" ", color=blue, arrowhead=dot];
+       181 -> "541E" [label=" ", color=blue, arrowhead=dot];
+       182 -> "543E" [label=" ", color=blue, arrowhead=dot];
+       183 -> "545E" [label=" ", color=blue, arrowhead=dot];
+       184 -> "547E" [label=" ", color=blue, arrowhead=dot];
+       185 -> "549E" [label=" ", color=blue, arrowhead=dot];
+       186 -> "551E" [label=" ", color=blue, arrowhead=dot];
+       187 -> "553E" [label=" ", color=blue, arrowhead=dot];
+       188 -> "555E" [label=" ", color=blue, arrowhead=dot];
+       189 -> "557E" [label=" ", color=blue, arrowhead=dot];
+       190 -> "559E" [label=" ", color=blue, arrowhead=dot];
+       191 -> "561E" [label=" ", color=blue, arrowhead=dot];
+       192 -> "563E" [label=" ", color=blue, arrowhead=dot];
+       193 -> "565E" [label=" ", color=blue, arrowhead=dot];
+       194 -> "567E" [label=" ", color=blue, arrowhead=dot];
+       195 -> "569E" [label=" ", color=blue, arrowhead=dot];
+       196 -> "571E" [label=" ", color=blue, arrowhead=dot];
+       197 -> "573E" [label=" ", color=blue, arrowhead=dot];
+       198 -> "575E" [label=" ", color=blue, arrowhead=dot];
+       199 -> "577E" [label=" ", color=blue, arrowhead=dot];
+       200 -> "579E" [label=" ", color=blue, arrowhead=dot];
+       201 -> "581E" [label=" ", color=blue, arrowhead=dot];
+       202 -> "583E" [label=" ", color=blue, arrowhead=dot];
+       203 -> "585E" [label=" ", color=blue, arrowhead=dot];
+       204 -> "587E" [label=" ", color=blue, arrowhead=dot];
+       206 -> "589E" [label=" ", color=blue, arrowhead=dot];
+       208 -> "597E" [label=" ", color=blue, arrowhead=dot];
+       209 -> "599E" [label=" ", color=blue, arrowhead=dot];
+       210 -> "601E" [label=" ", color=blue, arrowhead=dot];
+       211 -> "603E" [label=" ", color=blue, arrowhead=dot];
+       212 -> "605E" [label=" ", color=blue, arrowhead=dot];
+       213 -> "607E" [label=" ", color=blue, arrowhead=dot];
+       214 -> "609E" [label=" ", color=blue, arrowhead=dot];
+       215 -> "611E" [label=" ", color=blue, arrowhead=dot];
+       216 -> "613E" [label=" ", color=blue, arrowhead=dot];
+       217 -> "615E" [label=" ", color=blue, arrowhead=dot];
+       218 -> "617E" [label=" ", color=blue, arrowhead=dot];
+       219 -> "619E" [label=" ", color=blue, arrowhead=dot];
+       221 -> "623E" [label=" ", color=blue, arrowhead=dot];
+       223 -> "625E" [label=" ", color=blue, arrowhead=dot];
+       224 -> "627E" [label=" ", color=blue, arrowhead=dot];
+       225 -> "629E" [label=" ", color=blue, arrowhead=dot];
+       226 -> "631E" [label=" ", color=blue, arrowhead=dot];
+       227 -> "633E" [label=" ", color=blue, arrowhead=dot];
+       228 -> "635E" [label=" ", color=blue, arrowhead=dot];
+       229 -> "637E" [label=" ", color=blue, arrowhead=dot];
+       230 -> "639E" [label=" ", color=blue, arrowhead=dot];
+       231 -> "641E" [label=" ", color=blue, arrowhead=dot];
+       232 -> "643E" [label=" ", color=blue, arrowhead=dot];
+       233 -> "645E" [label=" ", color=blue, arrowhead=dot];
+       234 -> "647E" [label=" ", color=blue, arrowhead=dot];
+       235 -> "649E" [label=" ", color=blue, arrowhead=dot];
+       236 -> "651E" [label=" ", color=blue, arrowhead=dot];
+       237 -> "653E" [label=" ", color=blue, arrowhead=dot];
+       238 -> "655E" [label=" ", color=blue, arrowhead=dot];
+       239 -> "657E" [label=" ", color=blue, arrowhead=dot];
+       240 -> "659E" [label=" ", color=blue, arrowhead=dot];
+       241 -> "661E" [label=" ", color=blue, arrowhead=dot];
+       242 -> "663E" [label=" ", color=blue, arrowhead=dot];
+       243 -> "665E" [label=" ", color=blue, arrowhead=dot];
+       244 -> "667E" [label=" ", color=blue, arrowhead=dot];
+       245 -> "669E" [label=" ", color=blue, arrowhead=dot];
+       246 -> "671E" [label=" ", color=blue, arrowhead=dot];
+       247 -> "673E" [label=" ", color=blue, arrowhead=dot];
+       248 -> "675E" [label=" ", color=blue, arrowhead=dot];
+       249 -> "679E" [label=" ", color=blue, arrowhead=dot];
+       251 -> "681E" [label=" ", color=blue, arrowhead=dot];
+       252 -> "683E" [label=" ", color=blue, arrowhead=dot];
+       253 -> "685E" [label=" ", color=blue, arrowhead=dot];
+       254 -> "687E" [label=" ", color=blue, arrowhead=dot];
+       255 -> "689E" [label=" ", color=blue, arrowhead=dot];
+       256 -> "691E" [label=" ", color=blue, arrowhead=dot];
+       257 -> "693E" [label=" ", color=blue, arrowhead=dot];
+       258 -> "695E" [label=" ", color=blue, arrowhead=dot];
+       259 -> "697E" [label=" ", color=blue, arrowhead=dot];
+       260 -> "699E" [label=" ", color=blue, arrowhead=dot];
+       261 -> "703E" [label=" ", color=blue, arrowhead=dot];
+       262 -> "705E" [label=" ", color=blue, arrowhead=dot];
+       264 -> "709E" [label=" ", color=blue, arrowhead=dot];
+       265 -> "711E" [label=" ", color=blue, arrowhead=dot];
+       266 -> "713E" [label=" ", color=blue, arrowhead=dot];
+       267 -> "715E" [label=" ", color=blue, arrowhead=dot];
+       268 -> "717E" [label=" ", color=blue, arrowhead=dot];
+       269 -> "719E" [label=" ", color=blue, arrowhead=dot];
+       270 -> "721E" [label=" ", color=blue, arrowhead=dot];
+       272 -> "34E" [label=" ", color=blue, arrowhead=dot];
+       272 -> "252E" [label=" ", color=blue, arrowhead=dot];
+       272 -> "436E" [label=" ", color=blue, arrowhead=dot];
+       274 -> "59E" [label=" ", color=blue, arrowhead=dot];
+       274 -> "500E" [label=" ", color=blue, arrowhead=dot];
+       274 -> "720E" [label=" ", color=blue, arrowhead=dot];
+       275 -> "98E" [label=" ", color=blue, arrowhead=dot];
+       278 -> "35E" [label=" ", color=blue, arrowhead=dot];
+       278 -> "488E" [label=" ", color=blue, arrowhead=dot];
+       278 -> "598E" [label=" ", color=blue, arrowhead=dot];
+       278 -> "604E" [label=" ", color=blue, arrowhead=dot];
+       278 -> "628E" [label=" ", color=blue, arrowhead=dot];
+       279 -> "99E" [label=" ", color=blue, arrowhead=dot];
+       280 -> "242E" [label=" ", color=blue, arrowhead=dot];
+       280 -> "270E" [label=" ", color=blue, arrowhead=dot];
+       280 -> "272E" [label=" ", color=blue, arrowhead=dot];
+       280 -> "284E" [label=" ", color=blue, arrowhead=dot];
+       280 -> "286E" [label=" ", color=blue, arrowhead=dot];
+       280 -> "288E" [label=" ", color=blue, arrowhead=dot];
+       280 -> "586E" [label=" ", color=blue, arrowhead=dot];
+       280 -> "763E" [label=" ", color=blue, arrowhead=dot];
+       281 -> "45E" [label=" ", color=blue, arrowhead=dot];
+       281 -> "470E" [label=" ", color=blue, arrowhead=dot];
+       281 -> "670E" [label=" ", color=blue, arrowhead=dot];
+       281 -> "722E" [label=" ", color=blue, arrowhead=dot];
+       282 -> "103E" [label=" ", color=blue, arrowhead=dot];
+       283 -> "165E" [label=" ", color=blue, arrowhead=dot];
+       284 -> "39E" [label=" ", color=blue, arrowhead=dot];
+       284 -> "224E" [label=" ", color=blue, arrowhead=dot];
+       284 -> "268E" [label=" ", color=blue, arrowhead=dot];
+       284 -> "632E" [label=" ", color=blue, arrowhead=dot];
+       284 -> "710E" [label=" ", color=blue, arrowhead=dot];
+       285 -> "53E" [label=" ", color=blue, arrowhead=dot];
+       286 -> "38E" [label=" ", color=blue, arrowhead=dot];
+       286 -> "166E" [label=" ", color=blue, arrowhead=dot];
+       288 -> "40E" [label=" ", color=blue, arrowhead=dot];
+       288 -> "218E" [label=" ", color=blue, arrowhead=dot];
+       288 -> "244E" [label=" ", color=blue, arrowhead=dot];
+       288 -> "246E" [label=" ", color=blue, arrowhead=dot];
+       288 -> "258E" [label=" ", color=blue, arrowhead=dot];
+       288 -> "290E" [label=" ", color=blue, arrowhead=dot];
+       288 -> "292E" [label=" ", color=blue, arrowhead=dot];
+       288 -> "308E" [label=" ", color=blue, arrowhead=dot];
+       288 -> "318E" [label=" ", color=blue, arrowhead=dot];
+       288 -> "388E" [label=" ", color=blue, arrowhead=dot];
+       288 -> "472E" [label=" ", color=blue, arrowhead=dot];
+       288 -> "478E" [label=" ", color=blue, arrowhead=dot];
+       288 -> "566E" [label=" ", color=blue, arrowhead=dot];
+       288 -> "570E" [label=" ", color=blue, arrowhead=dot];
+       288 -> "574E" [label=" ", color=blue, arrowhead=dot];
+       288 -> "608E" [label=" ", color=blue, arrowhead=dot];
+       288 -> "614E" [label=" ", color=blue, arrowhead=dot];
+       288 -> "658E" [label=" ", color=blue, arrowhead=dot];
+       288 -> "664E" [label=" ", color=blue, arrowhead=dot];
+       288 -> "682E" [label=" ", color=blue, arrowhead=dot];
+       289 -> "41E" [label=" ", color=blue, arrowhead=dot];
+       289 -> "636E" [label=" ", color=blue, arrowhead=dot];
+       289 -> "642E" [label=" ", color=blue, arrowhead=dot];
+       289 -> "690E" [label=" ", color=blue, arrowhead=dot];
+       289 -> "700E" [label=" ", color=blue, arrowhead=dot];
+       290 -> "56E" [label=" ", color=blue, arrowhead=dot];
+       290 -> "264E" [label=" ", color=blue, arrowhead=dot];
+       290 -> "510E" [label=" ", color=blue, arrowhead=dot];
+       290 -> "718E" [label=" ", color=blue, arrowhead=dot];
+       291 -> "66E" [label=" ", color=blue, arrowhead=dot];
+       291 -> "76E" [label=" ", color=blue, arrowhead=dot];
+       291 -> "610E" [label=" ", color=blue, arrowhead=dot];
+       292 -> "73E" [label=" ", color=blue, arrowhead=dot];
+       293 -> "49E" [label=" ", color=blue, arrowhead=dot];
+       293 -> "214E" [label=" ", color=blue, arrowhead=dot];
+       293 -> "216E" [label=" ", color=blue, arrowhead=dot];
+       293 -> "236E" [label=" ", color=blue, arrowhead=dot];
+       293 -> "278E" [label=" ", color=blue, arrowhead=dot];
+       293 -> "358E" [label=" ", color=blue, arrowhead=dot];
+       293 -> "398E" [label=" ", color=blue, arrowhead=dot];
+       293 -> "400E" [label=" ", color=blue, arrowhead=dot];
+       293 -> "402E" [label=" ", color=blue, arrowhead=dot];
+       293 -> "404E" [label=" ", color=blue, arrowhead=dot];
+       293 -> "406E" [label=" ", color=blue, arrowhead=dot];
+       293 -> "408E" [label=" ", color=blue, arrowhead=dot];
+       293 -> "412E" [label=" ", color=blue, arrowhead=dot];
+       293 -> "438E" [label=" ", color=blue, arrowhead=dot];
+       293 -> "448E" [label=" ", color=blue, arrowhead=dot];
+       293 -> "476E" [label=" ", color=blue, arrowhead=dot];
+       293 -> "504E" [label=" ", color=blue, arrowhead=dot];
+       293 -> "552E" [label=" ", color=blue, arrowhead=dot];
+       293 -> "634E" [label=" ", color=blue, arrowhead=dot];
+       293 -> "768E" [label=" ", color=blue, arrowhead=dot];
+       295 -> "44E" [label=" ", color=blue, arrowhead=dot];
+       295 -> "92E" [label=" ", color=blue, arrowhead=dot];
+       295 -> "250E" [label=" ", color=blue, arrowhead=dot];
+       295 -> "316E" [label=" ", color=blue, arrowhead=dot];
+       295 -> "380E" [label=" ", color=blue, arrowhead=dot];
+       295 -> "424E" [label=" ", color=blue, arrowhead=dot];
+       295 -> "442E" [label=" ", color=blue, arrowhead=dot];
+       295 -> "446E" [label=" ", color=blue, arrowhead=dot];
+       295 -> "454E" [label=" ", color=blue, arrowhead=dot];
+       295 -> "460E" [label=" ", color=blue, arrowhead=dot];
+       295 -> "462E" [label=" ", color=blue, arrowhead=dot];
+       295 -> "648E" [label=" ", color=blue, arrowhead=dot];
+       295 -> "656E" [label=" ", color=blue, arrowhead=dot];
+       295 -> "666E" [label=" ", color=blue, arrowhead=dot];
+       295 -> "692E" [label=" ", color=blue, arrowhead=dot];
+       295 -> "712E" [label=" ", color=blue, arrowhead=dot];
+       296 -> "47E" [label=" ", color=blue, arrowhead=dot];
+       296 -> "330E" [label=" ", color=blue, arrowhead=dot];
+       296 -> "514E" [label=" ", color=blue, arrowhead=dot];
+       296 -> "516E" [label=" ", color=blue, arrowhead=dot];
+       296 -> "518E" [label=" ", color=blue, arrowhead=dot];
+       296 -> "520E" [label=" ", color=blue, arrowhead=dot];
+       296 -> "522E" [label=" ", color=blue, arrowhead=dot];
+       296 -> "526E" [label=" ", color=blue, arrowhead=dot];
+       296 -> "528E" [label=" ", color=blue, arrowhead=dot];
+       296 -> "530E" [label=" ", color=blue, arrowhead=dot];
+       296 -> "532E" [label=" ", color=blue, arrowhead=dot];
+       296 -> "534E" [label=" ", color=blue, arrowhead=dot];
+       296 -> "536E" [label=" ", color=blue, arrowhead=dot];
+       296 -> "538E" [label=" ", color=blue, arrowhead=dot];
+       296 -> "540E" [label=" ", color=blue, arrowhead=dot];
+       296 -> "542E" [label=" ", color=blue, arrowhead=dot];
+       296 -> "544E" [label=" ", color=blue, arrowhead=dot];
+       297 -> "46E" [label=" ", color=blue, arrowhead=dot];
+       297 -> "93E" [label=" ", color=blue, arrowhead=dot];
+       297 -> "206E" [label=" ", color=blue, arrowhead=dot];
+       297 -> "426E" [label=" ", color=blue, arrowhead=dot];
+       297 -> "550E" [label=" ", color=blue, arrowhead=dot];
+       297 -> "706E" [label=" ", color=blue, arrowhead=dot];
+       298 -> "36E" [label=" ", color=blue, arrowhead=dot];
+       298 -> "95E" [label=" ", color=blue, arrowhead=dot];
+       298 -> "364E" [label=" ", color=blue, arrowhead=dot];
+       298 -> "394E" [label=" ", color=blue, arrowhead=dot];
+       298 -> "420E" [label=" ", color=blue, arrowhead=dot];
+       298 -> "456E" [label=" ", color=blue, arrowhead=dot];
+       298 -> "624E" [label=" ", color=blue, arrowhead=dot];
+       299 -> "48E" [label=" ", color=blue, arrowhead=dot];
+       299 -> "168E" [label=" ", color=blue, arrowhead=dot];
+       299 -> "260E" [label=" ", color=blue, arrowhead=dot];
+       299 -> "282E" [label=" ", color=blue, arrowhead=dot];
+       299 -> "554E" [label=" ", color=blue, arrowhead=dot];
+       299 -> "590E" [label=" ", color=blue, arrowhead=dot];
+       299 -> "767E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "62E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "190E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "226E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "238E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "254E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "256E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "262E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "266E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "274E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "276E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "294E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "296E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "310E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "320E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "322E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "332E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "340E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "344E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "346E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "348E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "374E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "378E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "452E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "508E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "524E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "612E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "626E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "638E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "644E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "654E" [label=" ", color=blue, arrowhead=dot];
+       300 -> "672E" [label=" ", color=blue, arrowhead=dot];
+       302 -> "797E" [label=" ", color=blue, arrowhead=dot];
+       302 -> "798E" [label=" ", color=blue, arrowhead=dot];
+       303 -> "52E" [label=" ", color=blue, arrowhead=dot];
+       303 -> "650E" [label=" ", color=blue, arrowhead=dot];
+       304 -> "50E" [label=" ", color=blue, arrowhead=dot];
+       304 -> "640E" [label=" ", color=blue, arrowhead=dot];
+       304 -> "646E" [label=" ", color=blue, arrowhead=dot];
+       304 -> "652E" [label=" ", color=blue, arrowhead=dot];
+       306 -> "55E" [label=" ", color=blue, arrowhead=dot];
+       306 -> "220E" [label=" ", color=blue, arrowhead=dot];
+       306 -> "338E" [label=" ", color=blue, arrowhead=dot];
+       306 -> "368E" [label=" ", color=blue, arrowhead=dot];
+       306 -> "486E" [label=" ", color=blue, arrowhead=dot];
+       306 -> "490E" [label=" ", color=blue, arrowhead=dot];
+       306 -> "562E" [label=" ", color=blue, arrowhead=dot];
+       306 -> "564E" [label=" ", color=blue, arrowhead=dot];
+       306 -> "600E" [label=" ", color=blue, arrowhead=dot];
+       306 -> "668E" [label=" ", color=blue, arrowhead=dot];
+       306 -> "674E" [label=" ", color=blue, arrowhead=dot];
+       306 -> "698E" [label=" ", color=blue, arrowhead=dot];
+       307 -> "107E" [label=" ", color=blue, arrowhead=dot];
+       308 -> "108E" [label=" ", color=blue, arrowhead=dot];
+       309 -> "109E" [label=" ", color=blue, arrowhead=dot];
+       310 -> "110E" [label=" ", color=blue, arrowhead=dot];
+       311 -> "58E" [label=" ", color=blue, arrowhead=dot];
+       311 -> "234E" [label=" ", color=blue, arrowhead=dot];
+       311 -> "300E" [label=" ", color=blue, arrowhead=dot];
+       311 -> "306E" [label=" ", color=blue, arrowhead=dot];
+       311 -> "314E" [label=" ", color=blue, arrowhead=dot];
+       311 -> "342E" [label=" ", color=blue, arrowhead=dot];
+       311 -> "354E" [label=" ", color=blue, arrowhead=dot];
+       311 -> "370E" [label=" ", color=blue, arrowhead=dot];
+       311 -> "382E" [label=" ", color=blue, arrowhead=dot];
+       311 -> "422E" [label=" ", color=blue, arrowhead=dot];
+       311 -> "444E" [label=" ", color=blue, arrowhead=dot];
+       311 -> "582E" [label=" ", color=blue, arrowhead=dot];
+       311 -> "620E" [label=" ", color=blue, arrowhead=dot];
+       311 -> "630E" [label=" ", color=blue, arrowhead=dot];
+       311 -> "684E" [label=" ", color=blue, arrowhead=dot];
+       311 -> "696E" [label=" ", color=blue, arrowhead=dot];
+       311 -> "801E" [label=" ", color=blue, arrowhead=dot];
+       312 -> "42E" [label=" ", color=blue, arrowhead=dot];
+       312 -> "192E" [label=" ", color=blue, arrowhead=dot];
+       312 -> "194E" [label=" ", color=blue, arrowhead=dot];
+       312 -> "196E" [label=" ", color=blue, arrowhead=dot];
+       312 -> "198E" [label=" ", color=blue, arrowhead=dot];
+       312 -> "200E" [label=" ", color=blue, arrowhead=dot];
+       312 -> "202E" [label=" ", color=blue, arrowhead=dot];
+       312 -> "204E" [label=" ", color=blue, arrowhead=dot];
+       312 -> "312E" [label=" ", color=blue, arrowhead=dot];
+       312 -> "336E" [label=" ", color=blue, arrowhead=dot];
+       312 -> "376E" [label=" ", color=blue, arrowhead=dot];
+       312 -> "384E" [label=" ", color=blue, arrowhead=dot];
+       312 -> "386E" [label=" ", color=blue, arrowhead=dot];
+       312 -> "428E" [label=" ", color=blue, arrowhead=dot];
+       312 -> "474E" [label=" ", color=blue, arrowhead=dot];
+       312 -> "484E" [label=" ", color=blue, arrowhead=dot];
+       312 -> "546E" [label=" ", color=blue, arrowhead=dot];
+       312 -> "548E" [label=" ", color=blue, arrowhead=dot];
+       314 -> "113E" [label=" ", color=blue, arrowhead=dot];
+       315 -> "43E" [label=" ", color=blue, arrowhead=dot];
+       315 -> "240E" [label=" ", color=blue, arrowhead=dot];
+       315 -> "298E" [label=" ", color=blue, arrowhead=dot];
+       315 -> "334E" [label=" ", color=blue, arrowhead=dot];
+       315 -> "360E" [label=" ", color=blue, arrowhead=dot];
+       315 -> "390E" [label=" ", color=blue, arrowhead=dot];
+       315 -> "418E" [label=" ", color=blue, arrowhead=dot];
+       315 -> "492E" [label=" ", color=blue, arrowhead=dot];
+       315 -> "502E" [label=" ", color=blue, arrowhead=dot];
+       315 -> "584E" [label=" ", color=blue, arrowhead=dot];
+       315 -> "588E" [label=" ", color=blue, arrowhead=dot];
+       315 -> "602E" [label=" ", color=blue, arrowhead=dot];
+       315 -> "606E" [label=" ", color=blue, arrowhead=dot];
+       315 -> "662E" [label=" ", color=blue, arrowhead=dot];
+       316 -> "51E" [label=" ", color=blue, arrowhead=dot];
+       317 -> "116E" [label=" ", color=blue, arrowhead=dot];
+       318 -> "74E" [label=" ", color=blue, arrowhead=dot];
+       319 -> "57E" [label=" ", color=blue, arrowhead=dot];
+       319 -> "94E" [label=" ", color=blue, arrowhead=dot];
+       319 -> "350E" [label=" ", color=blue, arrowhead=dot];
+       319 -> "440E" [label=" ", color=blue, arrowhead=dot];
+       319 -> "466E" [label=" ", color=blue, arrowhead=dot];
+       319 -> "676E" [label=" ", color=blue, arrowhead=dot];
+       320 -> "60E" [label=" ", color=blue, arrowhead=dot];
+       320 -> "366E" [label=" ", color=blue, arrowhead=dot];
+       320 -> "434E" [label=" ", color=blue, arrowhead=dot];
+       320 -> "458E" [label=" ", color=blue, arrowhead=dot];
+       320 -> "618E" [label=" ", color=blue, arrowhead=dot];
+       321 -> "72E" [label=" ", color=blue, arrowhead=dot];
+       321 -> "362E" [label=" ", color=blue, arrowhead=dot];
+       321 -> "372E" [label=" ", color=blue, arrowhead=dot];
+       321 -> "572E" [label=" ", color=blue, arrowhead=dot];
+       322 -> "54E" [label=" ", color=blue, arrowhead=dot];
+       322 -> "222E" [label=" ", color=blue, arrowhead=dot];
+       322 -> "302E" [label=" ", color=blue, arrowhead=dot];
+       322 -> "556E" [label=" ", color=blue, arrowhead=dot];
+       322 -> "558E" [label=" ", color=blue, arrowhead=dot];
+       323 -> "37E" [label=" ", color=blue, arrowhead=dot];
+       323 -> "208E" [label=" ", color=blue, arrowhead=dot];
+       323 -> "210E" [label=" ", color=blue, arrowhead=dot];
+       323 -> "352E" [label=" ", color=blue, arrowhead=dot];
+       323 -> "450E" [label=" ", color=blue, arrowhead=dot];
+       323 -> "568E" [label=" ", color=blue, arrowhead=dot];
+       323 -> "576E" [label=" ", color=blue, arrowhead=dot];
+       323 -> "686E" [label=" ", color=blue, arrowhead=dot];
+       324 -> "228E" [label=" ", color=blue, arrowhead=dot];
+       324 -> "248E" [label=" ", color=blue, arrowhead=dot];
+       324 -> "304E" [label=" ", color=blue, arrowhead=dot];
+       324 -> "468E" [label=" ", color=blue, arrowhead=dot];
+       324 -> "578E" [label=" ", color=blue, arrowhead=dot];
+       324 -> "660E" [label=" ", color=blue, arrowhead=dot];
+       324 -> "688E" [label=" ", color=blue, arrowhead=dot];
+       324 -> "694E" [label=" ", color=blue, arrowhead=dot];
+       324 -> "714E" [label=" ", color=blue, arrowhead=dot];
+       324 -> "766E" [label=" ", color=blue, arrowhead=dot];
+       325 -> "97E" [label=" ", color=blue, arrowhead=dot];
+       325 -> "506E" [label=" ", color=blue, arrowhead=dot];
+       326 -> "61E" [label=" ", color=blue, arrowhead=dot];
+       326 -> "175E" [label=" ", color=blue, arrowhead=dot];
+       326 -> "482E" [label=" ", color=blue, arrowhead=dot];
+       328 -> "75E" [label=" ", color=blue, arrowhead=dot];
+       328 -> "580E" [label=" ", color=blue, arrowhead=dot];
+       329 -> "96E" [label=" ", color=blue, arrowhead=dot];
+       330 -> "100E" [label=" ", color=blue, arrowhead=dot];
+       330 -> "170E" [label=" ", color=blue, arrowhead=dot];
+       333 -> "63E" [label=" ", color=blue, arrowhead=dot];
+       333 -> "67E" [label=" ", color=blue, arrowhead=dot];
+       333 -> "68E" [label=" ", color=blue, arrowhead=dot];
+       333 -> "69E" [label=" ", color=blue, arrowhead=dot];
+       333 -> "70E" [label=" ", color=blue, arrowhead=dot];
+       333 -> "71E" [label=" ", color=blue, arrowhead=dot];
+       333 -> "802E" [label=" ", color=blue, arrowhead=dot];
+       333 -> "793E" [label=" ", color=blue, arrowhead=dot];
+       334 -> "64E" [label=" ", color=blue, arrowhead=dot];
+       334 -> "81E" [label=" ", color=blue, arrowhead=dot];
+       334 -> "82E" [label=" ", color=blue, arrowhead=dot];
+       334 -> "83E" [label=" ", color=blue, arrowhead=dot];
+       334 -> "84E" [label=" ", color=blue, arrowhead=dot];
+       334 -> "85E" [label=" ", color=blue, arrowhead=dot];
+       334 -> "86E" [label=" ", color=blue, arrowhead=dot];
+       334 -> "87E" [label=" ", color=blue, arrowhead=dot];
+       334 -> "88E" [label=" ", color=blue, arrowhead=dot];
+       334 -> "89E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "1E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "2E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "3E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "4E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "5E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "6E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "7E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "8E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "9E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "10E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "11E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "12E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "13E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "14E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "15E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "16E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "17E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "18E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "19E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "20E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "21E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "22E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "23E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "24E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "25E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "26E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "27E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "28E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "29E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "30E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "31E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "65E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "119E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "150E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "176E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "743E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "744E" [label=" ", color=blue, arrowhead=dot];
+       336 -> "764E" [label=" ", color=blue, arrowhead=dot];
+       337 -> "120E" [label=" ", color=blue, arrowhead=dot];
+       337 -> "121E" [label=" ", color=blue, arrowhead=dot];
+       337 -> "122E" [label=" ", color=blue, arrowhead=dot];
+       337 -> "123E" [label=" ", color=blue, arrowhead=dot];
+       337 -> "124E" [label=" ", color=blue, arrowhead=dot];
+       337 -> "125E" [label=" ", color=blue, arrowhead=dot];
+       337 -> "126E" [label=" ", color=blue, arrowhead=dot];
+       337 -> "127E" [label=" ", color=blue, arrowhead=dot];
+       337 -> "128E" [label=" ", color=blue, arrowhead=dot];
+       337 -> "129E" [label=" ", color=blue, arrowhead=dot];
+       337 -> "130E" [label=" ", color=blue, arrowhead=dot];
+       337 -> "131E" [label=" ", color=blue, arrowhead=dot];
+       337 -> "132E" [label=" ", color=blue, arrowhead=dot];
+       337 -> "133E" [label=" ", color=blue, arrowhead=dot];
+       337 -> "134E" [label=" ", color=blue, arrowhead=dot];
+       337 -> "135E" [label=" ", color=blue, arrowhead=dot];
+       337 -> "136E" [label=" ", color=blue, arrowhead=dot];
+       337 -> "137E" [label=" ", color=blue, arrowhead=dot];
+       337 -> "138E" [label=" ", color=blue, arrowhead=dot];
+       339 -> "151E" [label=" ", color=blue, arrowhead=dot];
+       339 -> "153E" [label=" ", color=blue, arrowhead=dot];
+       339 -> "154E" [label=" ", color=blue, arrowhead=dot];
+       339 -> "155E" [label=" ", color=blue, arrowhead=dot];
+       339 -> "156E" [label=" ", color=blue, arrowhead=dot];
+       339 -> "157E" [label=" ", color=blue, arrowhead=dot];
+       339 -> "158E" [label=" ", color=blue, arrowhead=dot];
+       339 -> "159E" [label=" ", color=blue, arrowhead=dot];
+       339 -> "160E" [label=" ", color=blue, arrowhead=dot];
+       339 -> "161E" [label=" ", color=blue, arrowhead=dot];
+       339 -> "162E" [label=" ", color=blue, arrowhead=dot];
+       347 -> "139E" [label=" ", color=blue, arrowhead=dot];
+       347 -> "795E" [label=" ", color=blue, arrowhead=dot];
+       348 -> "799E" [label=" ", color=blue, arrowhead=dot];
+       348 -> "800E" [label=" ", color=blue, arrowhead=dot];
+       349 -> "141E" [label=" ", color=blue, arrowhead=dot];
+       350 -> "142E" [label=" ", color=blue, arrowhead=dot];
+       350 -> "678E" [label=" ", color=blue, arrowhead=dot];
+       351 -> "143E" [label=" ", color=blue, arrowhead=dot];
+       351 -> "232E" [label=" ", color=blue, arrowhead=dot];
+       351 -> "680E" [label=" ", color=blue, arrowhead=dot];
+       351 -> "704E" [label=" ", color=blue, arrowhead=dot];
+       352 -> "144E" [label=" ", color=blue, arrowhead=dot];
+       352 -> "432E" [label=" ", color=blue, arrowhead=dot];
+       353 -> "145E" [label=" ", color=blue, arrowhead=dot];
+       354 -> "146E" [label=" ", color=blue, arrowhead=dot];
+       354 -> "396E" [label=" ", color=blue, arrowhead=dot];
+       355 -> "147E" [label=" ", color=blue, arrowhead=dot];
+       356 -> "148E" [label=" ", color=blue, arrowhead=dot];
+       357 -> "149E" [label=" ", color=blue, arrowhead=dot];
+       358 -> "167E" [label=" ", color=blue, arrowhead=dot];
+       359 -> "169E" [label=" ", color=blue, arrowhead=dot];
+       360 -> "171E" [label=" ", color=blue, arrowhead=dot];
+       361 -> "172E" [label=" ", color=blue, arrowhead=dot];
+       362 -> "173E" [label=" ", color=blue, arrowhead=dot];
+       363 -> "174E" [label=" ", color=blue, arrowhead=dot];
+       364 -> "101E" [label=" ", color=blue, arrowhead=dot];
+       365 -> "102E" [label=" ", color=blue, arrowhead=dot];
+       367 -> "104E" [label=" ", color=blue, arrowhead=dot];
+       368 -> "105E" [label=" ", color=blue, arrowhead=dot];
+       369 -> "106E" [label=" ", color=blue, arrowhead=dot];
+       374 -> "111E" [label=" ", color=blue, arrowhead=dot];
+       375 -> "112E" [label=" ", color=blue, arrowhead=dot];
+       377 -> "114E" [label=" ", color=blue, arrowhead=dot];
+       378 -> "115E" [label=" ", color=blue, arrowhead=dot];
+       380 -> "117E" [label=" ", color=blue, arrowhead=dot];
+       380 -> "392E" [label=" ", color=blue, arrowhead=dot];
+       381 -> "118E" [label=" ", color=blue, arrowhead=dot];
+       382 -> "177E" [label=" ", color=blue, arrowhead=dot];
+       382 -> "178E" [label=" ", color=blue, arrowhead=dot];
+       382 -> "179E" [label=" ", color=blue, arrowhead=dot];
+       382 -> "180E" [label=" ", color=blue, arrowhead=dot];
+       382 -> "181E" [label=" ", color=blue, arrowhead=dot];
+       382 -> "182E" [label=" ", color=blue, arrowhead=dot];
+       382 -> "183E" [label=" ", color=blue, arrowhead=dot];
+       382 -> "184E" [label=" ", color=blue, arrowhead=dot];
+       382 -> "185E" [label=" ", color=blue, arrowhead=dot];
+       382 -> "186E" [label=" ", color=blue, arrowhead=dot];
+       382 -> "187E" [label=" ", color=blue, arrowhead=dot];
+       382 -> "188E" [label=" ", color=blue, arrowhead=dot];
+       383 -> "730E" [label=" ", color=blue, arrowhead=dot];
+       383 -> "732E" [label=" ", color=blue, arrowhead=dot];
+       383 -> "741E" [label=" ", color=blue, arrowhead=dot];
+       383 -> "765E" [label=" ", color=blue, arrowhead=dot];
+       383 -> "796E" [label=" ", color=blue, arrowhead=dot];
+       384 -> "726E" [label=" ", color=blue, arrowhead=dot];
+       384 -> "728E" [label=" ", color=blue, arrowhead=dot];
+       384 -> "742E" [label=" ", color=blue, arrowhead=dot];
+       "1E" -> "34E" [color=purple, arrowhead=none];
+       "2E" -> "35E" [color=purple, arrowhead=none];
+       "3E" -> "36E" [color=purple, arrowhead=none];
+       "4E" -> "37E" [color=purple, arrowhead=none];
+       "5E" -> "38E" [color=purple, arrowhead=none];
+       "6E" -> "39E" [color=purple, arrowhead=none];
+       "7E" -> "40E" [color=purple, arrowhead=none];
+       "9E" -> "41E" [color=purple, arrowhead=none];
+       "10E" -> "42E" [color=purple, arrowhead=none];
+       "11E" -> "43E" [color=purple, arrowhead=none];
+       "12E" -> "44E" [color=purple, arrowhead=none];
+       "13E" -> "45E" [color=purple, arrowhead=none];
+       "14E" -> "46E" [color=purple, arrowhead=none];
+       "15E" -> "47E" [color=purple, arrowhead=none];
+       "16E" -> "48E" [color=purple, arrowhead=none];
+       "49E" -> "17E" [color=purple, arrowhead=none];
+       "18E" -> "50E" [color=purple, arrowhead=none];
+       "19E" -> "51E" [color=purple, arrowhead=none];
+       "20E" -> "52E" [color=purple, arrowhead=none];
+       "21E" -> "53E" [color=purple, arrowhead=none];
+       "22E" -> "54E" [color=purple, arrowhead=none];
+       "23E" -> "55E" [color=purple, arrowhead=none];
+       "24E" -> "56E" [color=purple, arrowhead=none];
+       "25E" -> "57E" [color=purple, arrowhead=none];
+       "26E" -> "58E" [color=purple, arrowhead=none];
+       "27E" -> "59E" [color=purple, arrowhead=none];
+       "28E" -> "60E" [color=purple, arrowhead=none];
+       "29E" -> "61E" [color=purple, arrowhead=none];
+       "30E" -> "62E" [color=purple, arrowhead=none];
+       "31E" -> "63E" [color=purple, arrowhead=none];
+       "64E" -> "65E" [color=purple, arrowhead=none];
+       "66E" -> "8E" [color=purple, arrowhead=none];
+       "71E" -> "76E" [color=purple, arrowhead=none];
+       "67E" -> "72E" [color=purple, arrowhead=none];
+       "68E" -> "73E" [color=purple, arrowhead=none];
+       "69E" -> "74E" [color=purple, arrowhead=none];
+       "70E" -> "75E" [color=purple, arrowhead=none];
+       "81E" -> "92E" [color=purple, arrowhead=none];
+       "82E" -> "93E" [color=purple, arrowhead=none];
+       "83E" -> "94E" [color=purple, arrowhead=none];
+       "84E" -> "95E" [color=purple, arrowhead=none];
+       "85E" -> "96E" [color=purple, arrowhead=none];
+       "86E" -> "97E" [color=purple, arrowhead=none];
+       "87E" -> "98E" [color=purple, arrowhead=none];
+       "88E" -> "99E" [color=purple, arrowhead=none];
+       "89E" -> "100E" [color=purple, arrowhead=none];
+       "101E" -> "120E" [color=purple, arrowhead=none];
+       "102E" -> "121E" [color=purple, arrowhead=none];
+       "103E" -> "122E" [color=purple, arrowhead=none];
+       "104E" -> "123E" [color=purple, arrowhead=none];
+       "105E" -> "124E" [color=purple, arrowhead=none];
+       "106E" -> "125E" [color=purple, arrowhead=none];
+       "107E" -> "126E" [color=purple, arrowhead=none];
+       "108E" -> "127E" [color=purple, arrowhead=none];
+       "109E" -> "128E" [color=purple, arrowhead=none];
+       "110E" -> "129E" [color=purple, arrowhead=none];
+       "111E" -> "130E" [color=purple, arrowhead=none];
+       "112E" -> "131E" [color=purple, arrowhead=none];
+       "113E" -> "132E" [color=purple, arrowhead=none];
+       "114E" -> "133E" [color=purple, arrowhead=none];
+       "115E" -> "134E" [color=purple, arrowhead=none];
+       "116E" -> "135E" [color=purple, arrowhead=none];
+       "117E" -> "136E" [color=purple, arrowhead=none];
+       "118E" -> "137E" [color=purple, arrowhead=none];
+       "119E" -> "138E" [color=purple, arrowhead=none];
+       "139E" -> "151E" [color=purple, arrowhead=none];
+       "141E" -> "153E" [color=purple, arrowhead=none];
+       "142E" -> "154E" [color=purple, arrowhead=none];
+       "143E" -> "155E" [color=purple, arrowhead=none];
+       "144E" -> "156E" [color=purple, arrowhead=none];
+       "145E" -> "157E" [color=purple, arrowhead=none];
+       "146E" -> "158E" [color=purple, arrowhead=none];
+       "147E" -> "159E" [color=purple, arrowhead=none];
+       "148E" -> "160E" [color=purple, arrowhead=none];
+       "149E" -> "161E" [color=purple, arrowhead=none];
+       "150E" -> "162E" [color=purple, arrowhead=none];
+       "165E" -> "177E" [color=purple, arrowhead=none];
+       "166E" -> "178E" [color=purple, arrowhead=none];
+       "167E" -> "179E" [color=purple, arrowhead=none];
+       "168E" -> "180E" [color=purple, arrowhead=none];
+       "169E" -> "181E" [color=purple, arrowhead=none];
+       "170E" -> "182E" [color=purple, arrowhead=none];
+       "171E" -> "183E" [color=purple, arrowhead=none];
+       "172E" -> "184E" [color=purple, arrowhead=none];
+       "173E" -> "185E" [color=purple, arrowhead=none];
+       "174E" -> "186E" [color=purple, arrowhead=none];
+       "175E" -> "187E" [color=purple, arrowhead=none];
+       "176E" -> "188E" [color=purple, arrowhead=none];
+       "189E" -> "190E" [color=purple, arrowhead=none];
+       "191E" -> "192E" [color=purple, arrowhead=none];
+       "193E" -> "194E" [color=purple, arrowhead=none];
+       "195E" -> "196E" [color=purple, arrowhead=none];
+       "197E" -> "198E" [color=purple, arrowhead=none];
+       "199E" -> "200E" [color=purple, arrowhead=none];
+       "201E" -> "202E" [color=purple, arrowhead=none];
+       "203E" -> "204E" [color=purple, arrowhead=none];
+       "205E" -> "206E" [color=purple, arrowhead=none];
+       "207E" -> "208E" [color=purple, arrowhead=none];
+       "209E" -> "210E" [color=purple, arrowhead=none];
+       "412E" -> "211E" [color=purple, arrowhead=none];
+       "214E" -> "213E" [color=purple, arrowhead=none];
+       "216E" -> "215E" [color=purple, arrowhead=none];
+       "217E" -> "218E" [color=purple, arrowhead=none];
+       "219E" -> "220E" [color=purple, arrowhead=none];
+       "221E" -> "222E" [color=purple, arrowhead=none];
+       "223E" -> "224E" [color=purple, arrowhead=none];
+       "225E" -> "226E" [color=purple, arrowhead=none];
+       "227E" -> "228E" [color=purple, arrowhead=none];
+       "231E" -> "232E" [color=purple, arrowhead=none];
+       "233E" -> "234E" [color=purple, arrowhead=none];
+       "236E" -> "235E" [color=purple, arrowhead=none];
+       "237E" -> "238E" [color=purple, arrowhead=none];
+       "239E" -> "240E" [color=purple, arrowhead=none];
+       "241E" -> "242E" [color=purple, arrowhead=none];
+       "243E" -> "244E" [color=purple, arrowhead=none];
+       "245E" -> "246E" [color=purple, arrowhead=none];
+       "247E" -> "248E" [color=purple, arrowhead=none];
+       "249E" -> "250E" [color=purple, arrowhead=none];
+       "251E" -> "252E" [color=purple, arrowhead=none];
+       "253E" -> "254E" [color=purple, arrowhead=none];
+       "255E" -> "256E" [color=purple, arrowhead=none];
+       "257E" -> "258E" [color=purple, arrowhead=none];
+       "259E" -> "260E" [color=purple, arrowhead=none];
+       "261E" -> "262E" [color=purple, arrowhead=none];
+       "263E" -> "264E" [color=purple, arrowhead=none];
+       "265E" -> "266E" [color=purple, arrowhead=none];
+       "267E" -> "268E" [color=purple, arrowhead=none];
+       "269E" -> "270E" [color=purple, arrowhead=none];
+       "271E" -> "272E" [color=purple, arrowhead=none];
+       "273E" -> "274E" [color=purple, arrowhead=none];
+       "275E" -> "276E" [color=purple, arrowhead=none];
+       "278E" -> "277E" [color=purple, arrowhead=none];
+       "279E" -> "767E" [color=purple, arrowhead=none];
+       "281E" -> "282E" [color=purple, arrowhead=none];
+       "283E" -> "284E" [color=purple, arrowhead=none];
+       "285E" -> "286E" [color=purple, arrowhead=none];
+       "768E" -> "287E" [color=purple, arrowhead=none];
+       "289E" -> "290E" [color=purple, arrowhead=none];
+       "291E" -> "292E" [color=purple, arrowhead=none];
+       "293E" -> "294E" [color=purple, arrowhead=none];
+       "295E" -> "296E" [color=purple, arrowhead=none];
+       "297E" -> "298E" [color=purple, arrowhead=none];
+       "299E" -> "300E" [color=purple, arrowhead=none];
+       "301E" -> "302E" [color=purple, arrowhead=none];
+       "303E" -> "304E" [color=purple, arrowhead=none];
+       "305E" -> "306E" [color=purple, arrowhead=none];
+       "307E" -> "308E" [color=purple, arrowhead=none];
+       "309E" -> "310E" [color=purple, arrowhead=none];
+       "311E" -> "312E" [color=purple, arrowhead=none];
+       "313E" -> "314E" [color=purple, arrowhead=none];
+       "315E" -> "316E" [color=purple, arrowhead=none];
+       "317E" -> "318E" [color=purple, arrowhead=none];
+       "319E" -> "320E" [color=purple, arrowhead=none];
+       "321E" -> "322E" [color=purple, arrowhead=none];
+       "327E" -> "800E" [color=purple, arrowhead=none];
+       "329E" -> "330E" [color=purple, arrowhead=none];
+       "331E" -> "332E" [color=purple, arrowhead=none];
+       "333E" -> "334E" [color=purple, arrowhead=none];
+       "335E" -> "336E" [color=purple, arrowhead=none];
+       "337E" -> "338E" [color=purple, arrowhead=none];
+       "339E" -> "340E" [color=purple, arrowhead=none];
+       "341E" -> "342E" [color=purple, arrowhead=none];
+       "343E" -> "344E" [color=purple, arrowhead=none];
+       "345E" -> "346E" [color=purple, arrowhead=none];
+       "347E" -> "348E" [color=purple, arrowhead=none];
+       "349E" -> "350E" [color=purple, arrowhead=none];
+       "351E" -> "352E" [color=purple, arrowhead=none];
+       "353E" -> "354E" [color=purple, arrowhead=none];
+       "412E" -> "355E" [color=purple, arrowhead=none];
+       "357E" -> "358E" [color=purple, arrowhead=none];
+       "359E" -> "360E" [color=purple, arrowhead=none];
+       "361E" -> "362E" [color=purple, arrowhead=none];
+       "363E" -> "364E" [color=purple, arrowhead=none];
+       "365E" -> "366E" [color=purple, arrowhead=none];
+       "367E" -> "368E" [color=purple, arrowhead=none];
+       "369E" -> "370E" [color=purple, arrowhead=none];
+       "371E" -> "372E" [color=purple, arrowhead=none];
+       "373E" -> "374E" [color=purple, arrowhead=none];
+       "375E" -> "376E" [color=purple, arrowhead=none];
+       "377E" -> "378E" [color=purple, arrowhead=none];
+       "379E" -> "380E" [color=purple, arrowhead=none];
+       "381E" -> "382E" [color=purple, arrowhead=none];
+       "383E" -> "384E" [color=purple, arrowhead=none];
+       "385E" -> "386E" [color=purple, arrowhead=none];
+       "387E" -> "388E" [color=purple, arrowhead=none];
+       "389E" -> "390E" [color=purple, arrowhead=none];
+       "391E" -> "392E" [color=purple, arrowhead=none];
+       "393E" -> "394E" [color=purple, arrowhead=none];
+       "395E" -> "396E" [color=purple, arrowhead=none];
+       "397E" -> "398E" [color=purple, arrowhead=none];
+       "399E" -> "400E" [color=purple, arrowhead=none];
+       "402E" -> "401E" [color=purple, arrowhead=none];
+       "404E" -> "403E" [color=purple, arrowhead=none];
+       "406E" -> "405E" [color=purple, arrowhead=none];
+       "408E" -> "407E" [color=purple, arrowhead=none];
+       "236E" -> "409E" [color=purple, arrowhead=none];
+       "412E" -> "411E" [color=purple, arrowhead=none];
+       "412E" -> "413E" [color=purple, arrowhead=none];
+       "278E" -> "415E" [color=purple, arrowhead=none];
+       "417E" -> "418E" [color=purple, arrowhead=none];
+       "419E" -> "420E" [color=purple, arrowhead=none];
+       "421E" -> "422E" [color=purple, arrowhead=none];
+       "423E" -> "424E" [color=purple, arrowhead=none];
+       "425E" -> "426E" [color=purple, arrowhead=none];
+       "427E" -> "428E" [color=purple, arrowhead=none];
+       "431E" -> "432E" [color=purple, arrowhead=none];
+       "433E" -> "434E" [color=purple, arrowhead=none];
+       "435E" -> "436E" [color=purple, arrowhead=none];
+       "438E" -> "437E" [color=purple, arrowhead=none];
+       "439E" -> "440E" [color=purple, arrowhead=none];
+       "441E" -> "442E" [color=purple, arrowhead=none];
+       "443E" -> "444E" [color=purple, arrowhead=none];
+       "445E" -> "446E" [color=purple, arrowhead=none];
+       "448E" -> "447E" [color=purple, arrowhead=none];
+       "449E" -> "450E" [color=purple, arrowhead=none];
+       "451E" -> "452E" [color=purple, arrowhead=none];
+       "453E" -> "454E" [color=purple, arrowhead=none];
+       "455E" -> "456E" [color=purple, arrowhead=none];
+       "457E" -> "458E" [color=purple, arrowhead=none];
+       "459E" -> "460E" [color=purple, arrowhead=none];
+       "461E" -> "462E" [color=purple, arrowhead=none];
+       "236E" -> "463E" [color=purple, arrowhead=none];
+       "465E" -> "466E" [color=purple, arrowhead=none];
+       "467E" -> "468E" [color=purple, arrowhead=none];
+       "469E" -> "470E" [color=purple, arrowhead=none];
+       "471E" -> "472E" [color=purple, arrowhead=none];
+       "473E" -> "474E" [color=purple, arrowhead=none];
+       "476E" -> "475E" [color=purple, arrowhead=none];
+       "477E" -> "478E" [color=purple, arrowhead=none];
+       "479E" -> "358E" [color=purple, arrowhead=none];
+       "481E" -> "482E" [color=purple, arrowhead=none];
+       "483E" -> "484E" [color=purple, arrowhead=none];
+       "485E" -> "486E" [color=purple, arrowhead=none];
+       "487E" -> "488E" [color=purple, arrowhead=none];
+       "489E" -> "490E" [color=purple, arrowhead=none];
+       "491E" -> "492E" [color=purple, arrowhead=none];
+       "495E" -> "795E" [color=purple, arrowhead=none];
+       "499E" -> "500E" [color=purple, arrowhead=none];
+       "501E" -> "502E" [color=purple, arrowhead=none];
+       "504E" -> "503E" [color=purple, arrowhead=none];
+       "505E" -> "506E" [color=purple, arrowhead=none];
+       "507E" -> "508E" [color=purple, arrowhead=none];
+       "509E" -> "510E" [color=purple, arrowhead=none];
+       "412E" -> "511E" [color=purple, arrowhead=none];
+       "513E" -> "514E" [color=purple, arrowhead=none];
+       "515E" -> "516E" [color=purple, arrowhead=none];
+       "517E" -> "518E" [color=purple, arrowhead=none];
+       "519E" -> "520E" [color=purple, arrowhead=none];
+       "521E" -> "522E" [color=purple, arrowhead=none];
+       "523E" -> "524E" [color=purple, arrowhead=none];
+       "525E" -> "526E" [color=purple, arrowhead=none];
+       "527E" -> "528E" [color=purple, arrowhead=none];
+       "529E" -> "530E" [color=purple, arrowhead=none];
+       "531E" -> "532E" [color=purple, arrowhead=none];
+       "533E" -> "534E" [color=purple, arrowhead=none];
+       "535E" -> "536E" [color=purple, arrowhead=none];
+       "537E" -> "538E" [color=purple, arrowhead=none];
+       "539E" -> "540E" [color=purple, arrowhead=none];
+       "541E" -> "542E" [color=purple, arrowhead=none];
+       "543E" -> "544E" [color=purple, arrowhead=none];
+       "545E" -> "546E" [color=purple, arrowhead=none];
+       "547E" -> "548E" [color=purple, arrowhead=none];
+       "549E" -> "550E" [color=purple, arrowhead=none];
+       "551E" -> "552E" [color=purple, arrowhead=none];
+       "553E" -> "554E" [color=purple, arrowhead=none];
+       "555E" -> "556E" [color=purple, arrowhead=none];
+       "557E" -> "558E" [color=purple, arrowhead=none];
+       "278E" -> "559E" [color=purple, arrowhead=none];
+       "561E" -> "562E" [color=purple, arrowhead=none];
+       "563E" -> "564E" [color=purple, arrowhead=none];
+       "565E" -> "566E" [color=purple, arrowhead=none];
+       "567E" -> "568E" [color=purple, arrowhead=none];
+       "569E" -> "570E" [color=purple, arrowhead=none];
+       "571E" -> "572E" [color=purple, arrowhead=none];
+       "573E" -> "574E" [color=purple, arrowhead=none];
+       "575E" -> "576E" [color=purple, arrowhead=none];
+       "577E" -> "578E" [color=purple, arrowhead=none];
+       "579E" -> "580E" [color=purple, arrowhead=none];
+       "581E" -> "582E" [color=purple, arrowhead=none];
+       "583E" -> "584E" [color=purple, arrowhead=none];
+       "585E" -> "586E" [color=purple, arrowhead=none];
+       "587E" -> "588E" [color=purple, arrowhead=none];
+       "589E" -> "590E" [color=purple, arrowhead=none];
+       "597E" -> "598E" [color=purple, arrowhead=none];
+       "599E" -> "600E" [color=purple, arrowhead=none];
+       "601E" -> "602E" [color=purple, arrowhead=none];
+       "603E" -> "604E" [color=purple, arrowhead=none];
+       "605E" -> "606E" [color=purple, arrowhead=none];
+       "607E" -> "608E" [color=purple, arrowhead=none];
+       "609E" -> "610E" [color=purple, arrowhead=none];
+       "611E" -> "612E" [color=purple, arrowhead=none];
+       "613E" -> "614E" [color=purple, arrowhead=none];
+       "615E" -> "358E" [color=purple, arrowhead=none];
+       "617E" -> "618E" [color=purple, arrowhead=none];
+       "619E" -> "620E" [color=purple, arrowhead=none];
+       "623E" -> "624E" [color=purple, arrowhead=none];
+       "625E" -> "626E" [color=purple, arrowhead=none];
+       "627E" -> "628E" [color=purple, arrowhead=none];
+       "629E" -> "630E" [color=purple, arrowhead=none];
+       "631E" -> "632E" [color=purple, arrowhead=none];
+       "634E" -> "633E" [color=purple, arrowhead=none];
+       "635E" -> "636E" [color=purple, arrowhead=none];
+       "637E" -> "638E" [color=purple, arrowhead=none];
+       "639E" -> "640E" [color=purple, arrowhead=none];
+       "641E" -> "642E" [color=purple, arrowhead=none];
+       "643E" -> "644E" [color=purple, arrowhead=none];
+       "645E" -> "646E" [color=purple, arrowhead=none];
+       "647E" -> "648E" [color=purple, arrowhead=none];
+       "649E" -> "650E" [color=purple, arrowhead=none];
+       "651E" -> "652E" [color=purple, arrowhead=none];
+       "653E" -> "654E" [color=purple, arrowhead=none];
+       "655E" -> "656E" [color=purple, arrowhead=none];
+       "657E" -> "658E" [color=purple, arrowhead=none];
+       "659E" -> "660E" [color=purple, arrowhead=none];
+       "661E" -> "662E" [color=purple, arrowhead=none];
+       "663E" -> "664E" [color=purple, arrowhead=none];
+       "665E" -> "666E" [color=purple, arrowhead=none];
+       "667E" -> "668E" [color=purple, arrowhead=none];
+       "669E" -> "670E" [color=purple, arrowhead=none];
+       "671E" -> "672E" [color=purple, arrowhead=none];
+       "673E" -> "674E" [color=purple, arrowhead=none];
+       "675E" -> "676E" [color=purple, arrowhead=none];
+       "679E" -> "680E" [color=purple, arrowhead=none];
+       "681E" -> "682E" [color=purple, arrowhead=none];
+       "683E" -> "684E" [color=purple, arrowhead=none];
+       "685E" -> "686E" [color=purple, arrowhead=none];
+       "687E" -> "688E" [color=purple, arrowhead=none];
+       "689E" -> "690E" [color=purple, arrowhead=none];
+       "691E" -> "692E" [color=purple, arrowhead=none];
+       "693E" -> "694E" [color=purple, arrowhead=none];
+       "695E" -> "696E" [color=purple, arrowhead=none];
+       "697E" -> "698E" [color=purple, arrowhead=none];
+       "699E" -> "700E" [color=purple, arrowhead=none];
+       "703E" -> "704E" [color=purple, arrowhead=none];
+       "705E" -> "706E" [color=purple, arrowhead=none];
+       "709E" -> "710E" [color=purple, arrowhead=none];
+       "711E" -> "712E" [color=purple, arrowhead=none];
+       "713E" -> "714E" [color=purple, arrowhead=none];
+       "715E" -> "398E" [color=purple, arrowhead=none];
+       "717E" -> "718E" [color=purple, arrowhead=none];
+       "719E" -> "720E" [color=purple, arrowhead=none];
+       "721E" -> "722E" [color=purple, arrowhead=none];
+       "725E" -> "726E" [color=purple, arrowhead=none];
+       "727E" -> "728E" [color=purple, arrowhead=none];
+       "729E" -> "730E" [color=purple, arrowhead=none];
+       "731E" -> "732E" [color=purple, arrowhead=none];
+       "741E" -> "743E" [color=purple, arrowhead=none];
+       "742E" -> "744E" [color=purple, arrowhead=none];
+       "763E" -> "764E" [color=purple, arrowhead=none];
+       "765E" -> "766E" [color=purple, arrowhead=none];
+       "770E" -> "783E" [color=purple, arrowhead=none];
+       "770E" -> "784E" [color=purple, arrowhead=none];
+       "769E" -> "785E" [color=purple, arrowhead=none];
+       "769E" -> "786E" [color=purple, arrowhead=none];
+       "769E" -> "787E" [color=purple, arrowhead=none];
+       "770E" -> "788E" [color=purple, arrowhead=none];
+       "770E" -> "789E" [color=purple, arrowhead=none];
+       "769E" -> "790E" [color=purple, arrowhead=none];
+       "770E" -> "791E" [color=purple, arrowhead=none];
+       "769E" -> "792E" [color=purple, arrowhead=none];
+       "793E" -> "769E" [color=purple, arrowhead=none];
+       "769E" -> "784E" [color=purple, arrowhead=none];
+       "770E" -> "785E" [color=purple, arrowhead=none];
+       "788E" -> "787E" [color=purple, arrowhead=none];
+       "770E" -> "792E" [color=purple, arrowhead=none];
+       "798E" -> "799E" [color=purple, arrowhead=none];
+       "796E" -> "797E" [color=purple, arrowhead=none];
+       "793E" -> "789E" [color=purple, arrowhead=none];
+       "783E" -> "787E" [color=purple, arrowhead=none];
+       "784E" -> "792E" [color=purple, arrowhead=none];
+       "787E" -> "789E" [color=purple, arrowhead=none];
+       "769E" -> "791E" [color=purple, arrowhead=none];
+       "802E" -> "801E" [color=purple, arrowhead=none];
+}

diff --git a/rtest/graphs/rootlabel.dot b/rtest/graphs/rootlabel.dot
new file mode 100644 (file)
index 0000000..7385285
--- /dev/null
+++ b/rtest/graphs/rootlabel.dot
@@ -0,0 +1,17 @@
+digraph G {
+  label = "label demo";
+  subgraph cluster0 {
+    a;
+    b;
+    a->b;
+    label = "cluster0";
+    labelloc="bottom"
+  }
+  subgraph cluster1 {
+    c;
+    d;
+    c->d;
+    label = "cluster1";
+    labelloc="top"
+  }
+}

diff --git a/rtest/graphs/rowcolsep.dot b/rtest/graphs/rowcolsep.dot
new file mode 100644 (file)
index 0000000..91e1c01
--- /dev/null
+++ b/rtest/graphs/rowcolsep.dot
@@ -0,0 +1,8 @@
+digraph G {
+  node [shape=box]
+
+  aaa -> bbb
+  aaa -> BBB
+  AAA -> BBB
+  AAA -> bbb
+}