graph [
version 2
directed 0
node_style [
name "default_node_style"
style [
graphics [
w 16.0
h 16.0
]
LabelGraphics [
]
]
]
edge_style [
name "default_edge_style"
style [
graphics [
]
LabelGraphics [
]
]
]
node [
id 9709
graphics [
x 709.7
y 745.1
]
LabelGraphics [
]
]
node [
id 9712
graphics [
x 556.9
y 309.3
]
LabelGraphics [
]
]
node [
id 9715
graphics [
x 199.2
y 522.6
type "oval"
fill "#00ffff"
outline "#0000ff"
width 2.0
]
LabelGraphics [
]
]
node [
id 9718
graphics [
x 321.0
y 509.3
type "oval"
fill "#ff0000"
]
LabelGraphics [
]
]
node [
id 9721
graphics [
x 308.0
y 593.9
type "oval"
fill "#00ffff"
width 2.0
]
LabelGraphics [
]
]
node [
id 9724
graphics [
x 1186.0
y 585.6
type "oval"
fill "#00ffff"
width 2.0
]
LabelGraphics [
]
]
node [
id 9727
graphics [
x 346.8
y 843.2
type "oval"
fill "#ff0000"
]
LabelGraphics [
]
]
node [
id 9730
graphics [
x 621.7
y 234.4
type "oval"
fill "#00ffff"
outline "#00ffff"
]
LabelGraphics [
]
]
node [
id 9733
graphics [
x 259.4
y 808.2
type "oval"
fill "#00ffff"
outline "#00ffff"
]
LabelGraphics [
]
]
node [
id 9736
graphics [
x 968.8
y 541.2
type "oval"
fill "#00ffff"
outline "#00ffff"
]
LabelGraphics [
]
]
node [
id 9739
graphics [
x 1056.8
y 212.2
type "oval"
fill "#ff0000"
]
LabelGraphics [
]
]
node [
id 9742
graphics [
x 57.1
y 281.9
]
LabelGraphics [
]
]
node [
id 9745
graphics [
x 811.2
y 380.1
]
LabelGraphics [
]
]
node [
id 9748
graphics [
x 653.2
y 42.5
type "oval"
fill "#00ffff"
outline "#0000ff"
width 2.0
]
LabelGraphics [
]
]
node [
id 9751
graphics [
x 595.1
y 766.6
]
LabelGraphics [
]
]
node [
id 9754
graphics [
x 478.2
y 623.2
type "oval"
fill "#ff0000"
]
LabelGraphics [
]
]
node [
id 9757
graphics [
x 561.5
y 755.8
type "oval"
fill "#00ffff"
outline "#00ffff"
]
LabelGraphics [
]
]
node [
id 9760
graphics [
x 373.7
y 462.3
type "oval"
fill "#ff0000"
]
LabelGraphics [
]
]
node [
id 9763
graphics [
x 445.3
y 356.2
]
LabelGraphics [
]
]
node [
id 9766
graphics [
x 425.0
y 334.8
type "oval"
fill "#ff0000"
]
LabelGraphics [
]
]
node [
id 9769
graphics [
x 847.8
y 220.1
type "oval"
fill "#00ffff"
width 2.0
]
LabelGraphics [
]
]
node [
id 9772
graphics [
x 85.8
y 713.9
type "oval"
fill "#ff0000"
]
LabelGraphics [
]
]
node [
id 9775
graphics [
x 277.0
y 818.6
]
LabelGraphics [
]
]
node [
id 9778
graphics [
x 1118.5
y 341.1
]
LabelGraphics [
]
]
node [
id 9781
graphics [
x 41.9
y 698.5
type "oval"
fill "#00ffff"
outline "#0000ff"
width 2.0
]
LabelGraphics [
]
]
node [
id 9784
graphics [
x 1043.5
y 499.2
type "oval"
fill "#ff0000"
]
LabelGraphics [
]
]
node [
id 9787
graphics [
x 665.1
y 608.1
]
LabelGraphics [
]
]
node [
id 9790
graphics [
x 940.4
y 471.3
type "oval"
fill "#00ffff"
outline "#00ffff"
]
LabelGraphics [
]
]
node [
id 9793
graphics [
x 92.8
y 612.9
type "oval"
fill "#00ffff"
outline "#00ffff"
]
LabelGraphics [
]
]
node [
id 9796
graphics [
x 1115.8
y 401.7
]
LabelGraphics [
]
]
node [
id 9799
graphics [
x 1127.1
y 823.1
type "oval"
fill "#00ffff"
outline "#0000ff"
width 2.0
]
LabelGraphics [
]
]
node [
id 9802
graphics [
x 211.7
y 89.3
]
LabelGraphics [
]
]
node [
id 9805
graphics [
x 1011.6
y 786.7
type "oval"
fill "#ff0000"
]
LabelGraphics [
]
]
node [
id 9808
graphics [
x 269.5
y 725.8
type "oval"
fill "#00ffff"
width 2.0
]
LabelGraphics [
]
]
node [
id 9811
graphics [
x 119.4
y 138.1
type "oval"
fill "#00ffff"
width 2.0
]
LabelGraphics [
]
]
node [
id 9814
graphics [
x 45.6
y 144.4
type "oval"
fill "#ff0000"
]
LabelGraphics [
]
]
node [
id 9817
graphics [
x 1005.1
y 650.1
]
LabelGraphics [
]
]
node [
id 9820
graphics [
x 955.6
y 72.7
]
LabelGraphics [
]
]
node [
id 9823
graphics [
x 480.1
y 189.5
type "oval"
fill "#00ffff"
outline "#0000ff"
width 2.0
]
LabelGraphics [
]
]
node [
id 9826
graphics [
x 404.1
y 778.3
type "oval"
fill "#ff0000"
]
LabelGraphics [
]
]
node [
id 9829
graphics [
x 308.7
y 606.1
type "oval"
fill "#ff0000"
]
LabelGraphics [
]
]
node [
id 9832
graphics [
x 309.6
y 155.3
]
LabelGraphics [
]
]
node [
id 9835
graphics [
x 1013.3
y 489.1
type "oval"
fill "#00ffff"
outline "#00ffff"
]
LabelGraphics [
]
]
node [
id 9838
graphics [
x 261.4
y 759.7
type "oval"
fill "#00ffff"
outline "#00ffff"
]
LabelGraphics [
]
]
node [
id 9841
graphics [
x 962.0
y 774.6
type "oval"
fill "#ff0000"
]
LabelGraphics [
]
]
node [
id 9844
graphics [
x 676.8
y 22.9
type "oval"
fill "#ff0000"
]
LabelGraphics [
]
]
node [
id 9847
graphics [
x 565.6
y 119.0
]
LabelGraphics [
]
]
node [
id 9850
graphics [
x 648.5
y 679.2
type "oval"
fill "#00ffff"
outline "#00ffff"
]
LabelGraphics [
]
]
node [
id 9853
graphics [
x 1016.7
y 808.0
type "oval"
fill "#00ffff"
outline "#00ffff"
]
LabelGraphics [
]
]
node [
id 9856
graphics [
x 842.1
y 742.4
type "oval"
fill "#ff0000"
]
LabelGraphics [
]
]
node [
id 9859
graphics [
x 26.2
y 125.5
type "oval"
fill "#ff0000"
]
LabelGraphics [
]
]
node [
id 9862
graphics [
x 733.5
y 572.0
w 8.0
h 8.0
]
LabelGraphics [
]
]
node [
id 9865
graphics [
x 1154.9
y 688.3
w 8.0
h 8.0
]
LabelGraphics [
]
]
node [
id 9868
graphics [
x 407.7
y 490.1
w 8.0
h 8.0
]
LabelGraphics [
]
]
node [
id 9871
graphics [
x 952.8
y 412.3
w 8.0
h 8.0
]
LabelGraphics [
]
]
node [
id 9874
graphics [
x 1033.8
y 30.0
type "oval"
fill "#ff0000"
]
LabelGraphics [
]
]
node [
id 9877
graphics [
x 1043.7
y 126.0
w 8.0
h 8.0
]
LabelGraphics [
]
]
node [
id 9880
graphics [
x 1129.8
y 216.4
w 8.0
h 8.0
]
LabelGraphics [
]
]
node [
id 9883
graphics [
x 48.9
y 173.0
w 8.0
h 8.0
]
LabelGraphics [
]
]
node [
id 9886
graphics [
x 815.0
y 297.5
w 8.0
h 8.0
]
LabelGraphics [
]
]
node [
id 9889
graphics [
x 676.6
y 592.3
type "oval"
fill "#ff0000"
]
LabelGraphics [
]
]
node [
id 9892
graphics [
x 267.0
y 548.5
type "oval"
fill "#ff0000"
]
LabelGraphics [
]
]
node [
id 9895
graphics [
x 883.2
y 635.4
w 8.0
h 8.0
]
LabelGraphics [
]
]
node [
id 9898
graphics [
x 602.0
y 283.5
w 8.0
h 8.0
]
LabelGraphics [
]
]
node [
id 9901
graphics [
x 1051.0
y 724.1
w 8.0
h 8.0
]
LabelGraphics [
]
]
node [
id 9904
graphics [
x 125.4
y 425.5
w 8.0
h 8.0
]
LabelGraphics [
]
]
node [
id 9907
graphics [
x 344.7
y 488.8
type "oval"
fill "#ff0000"
]
LabelGraphics [
]
]
node [
id 9910
graphics [
x 356.8
y 80.2
type "oval"
fill "#ff0000"
]
LabelGraphics [
]
]
node [
id 9913
graphics [
x 1156.2
y 710.6
w 8.0
h 8.0
]
LabelGraphics [
]
]
node [
id 9916
graphics [
x 54.9
y 606.9
w 8.0
h 8.0
]
LabelGraphics [
]
]
node [
id 9919
graphics [
x 898.5
y 596.4
w 8.0
h 8.0
]
LabelGraphics [
]
]
node [
id 9922
graphics [
x 915.3
y 806.4
w 8.0
h 8.0
]
LabelGraphics [
]
]
node [
id 9925
graphics [
x 259.0
y 656.9
type "oval"
fill "#ff0000"
]
LabelGraphics [
]
]
node [
id 9928
graphics [
x 259.9
y 366.8
type "oval"
fill "#ff0000"
]
LabelGraphics [
]
]
node [
id 9931
graphics [
x 56.7
y 285.8
w 8.0
h 8.0
]
LabelGraphics [
]
]
node [
id 9934
graphics [
x 537.2
y 138.8
w 8.0
h 8.0
]
LabelGraphics [
]
]
node [
id 9937
graphics [
x 775.7
y 673.3
w 8.0
h 8.0
]
LabelGraphics [
]
]
node [
id 9940
graphics [
x 1147.4
y 646.1
w 8.0
h 8.0
]
LabelGraphics [
]
]
node [
id 9943
graphics [
x 311.4
y 759.0
type "oval"
fill "#ff0000"
]
LabelGraphics [
]
]
node [
id 9946
graphics [
x 980.9
y 107.6
type "oval"
fill "#ff0000"
]
LabelGraphics [
]
]
edge [
source 9715
target 9709
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9742
target 9736
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9742
target 9727
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9730
target 9751
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9727
target 9751
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9754
target 9745
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9754
target 9748
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9748
target 9715
graphics [
fill "#009999"
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9739
target 9745
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9739
target 9724
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9766
target 9760
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9766
target 9769
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9772
target 9769
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9772
target 9781
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9778
target 9781
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9775
target 9778
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9772
target 9775
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9766
target 9733
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9763
target 9757
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9760
target 9763
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9757
target 9736
graphics [
fill "#009900"
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9730
target 9733
graphics [
fill "#009900"
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9721
target 9724
graphics [
fill "#009999"
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9802
target 9796
graphics [
width 2.0
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9820
target 9823
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9826
target 9814
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9829
target 9820
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9835
target 9829
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9832
target 9835
graphics [
width 2.0
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9832
target 9814
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9838
target 9817
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9838
target 9832
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9829
target 9811
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9808
target 9823
graphics [
fill "#009999"
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9817
target 9820
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9799
target 9811
graphics [
fill "#009999"
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9841
target 9802
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9841
target 9808
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9847
target 9793
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9844
target 9847
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9805
target 9850
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9790
target 9850
graphics [
fill "#00ff00"
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9853
target 9787
graphics [
width 2.0
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9793
target 9853
graphics [
fill "#00ff00"
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9856
target 9721
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9856
target 9784
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9856
target 9709
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9805
target 9844
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9796
target 9799
graphics [
width 2.0
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9790
target 9712
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9784
target 9787
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9784
target 9718
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9784
target 9712
graphics [
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9724
target 9715
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9751
target 9745
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9742
target 9751
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9754
target 9727
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9754
target 9724
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9754
target 9751
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9739
target 9754
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9748
target 9751
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9745
target 9748
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9721
target 9748
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9736
target 9745
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9742
target 9745
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9730
target 9742
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9739
target 9742
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9727
target 9739
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9736
target 9739
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9760
target 9769
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9772
target 9766
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9781
target 9775
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9772
target 9778
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9763
target 9778
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9760
target 9778
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9757
target 9778
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9766
target 9775
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9763
target 9775
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9733
target 9775
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9760
target 9772
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9763
target 9766
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9733
target 9763
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9757
target 9760
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9757
target 9730
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9733
target 9736
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9727
target 9730
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9727
target 9724
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9784
target 9721
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9790
target 9784
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9799
target 9802
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9805
target 9802
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9823
target 9817
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9799
target 9823
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9826
target 9817
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9826
target 9823
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9826
target 9820
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9826
target 9811
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9829
target 9826
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9832
target 9817
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9832
target 9820
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9835
target 9820
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9829
target 9832
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9814
target 9838
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9814
target 9829
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9814
target 9817
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9814
target 9811
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9808
target 9811
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9805
target 9808
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9841
target 9796
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9841
target 9799
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9841
target 9805
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9844
target 9796
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9844
target 9808
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9844
target 9841
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9847
target 9796
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9847
target 9802
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9847
target 9805
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9850
target 9802
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9850
target 9847
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9853
target 9850
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9853
target 9709
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9856
target 9853
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9787
target 9856
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9718
target 9856
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9793
target 9844
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9793
target 9796
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9790
target 9793
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9787
target 9790
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9787
target 9712
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9787
target 9709
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9718
target 9721
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9718
target 9715
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9718
target 9712
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9718
target 9709
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9712
target 9715
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9709
target 9712
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9859
target 9868
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9859
target 9874
graphics [
fill "#ff0000"
width 2.0
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9859
target 9871
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9859
target 9865
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9862
target 9859
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9862
target 9865
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9865
target 9871
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9868
target 9862
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9868
target 9877
graphics [
fill "#00ff00"
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9868
target 9880
graphics [
fill "#00ff00"
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9871
target 9868
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9871
target 9880
graphics [
fill "#00ff00"
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9874
target 9865
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9874
target 9871
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9874
target 9862
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9874
target 9868
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9877
target 9889
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9877
target 9880
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9877
target 9871
graphics [
fill "#00ff00"
width 2.0
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9880
target 9886
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9883
target 9877
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9883
target 9895
graphics [
fill "#00ff00"
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9883
target 9898
graphics [
fill "#00ff00"
width 2.0
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9886
target 9883
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9886
target 9898
graphics [
fill "#00ff00"
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9889
target 9883
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9889
target 9892
graphics [
fill "#ff0000"
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9889
target 9886
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9889
target 9880
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9892
target 9880
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9892
target 9886
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9892
target 9877
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9892
target 9883
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9895
target 9907
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9895
target 9898
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9895
target 9886
graphics [
fill "#00ff00"
width 2.0
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9898
target 9904
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9901
target 9895
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9901
target 9913
graphics [
fill "#00ff00"
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9904
target 9901
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9904
target 9916
graphics [
fill "#00ff00"
width 2.0
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9907
target 9901
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9907
target 9910
graphics [
fill "#ff0000"
width 2.0
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9907
target 9904
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9907
target 9898
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9910
target 9898
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9910
target 9904
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9910
target 9895
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9910
target 9901
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9913
target 9925
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9913
target 9916
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9913
target 9904
graphics [
fill "#00ff00"
width 2.0
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9916
target 9922
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9916
target 9901
graphics [
fill "#00ff00"
width 2.0
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9919
target 9913
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9919
target 9931
graphics [
fill "#00ff00"
width 2.0
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9922
target 9919
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9922
target 9934
graphics [
fill "#00ff00"
width 2.0
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9925
target 9919
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9925
target 9928
graphics [
fill "#ff0000"
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9925
target 9922
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9925
target 9916
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9928
target 9916
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9928
target 9922
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9928
target 9913
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9928
target 9919
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9931
target 9943
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9931
target 9934
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9931
target 9922
graphics [
fill "#00ff00"
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9934
target 9940
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9934
target 9919
graphics [
fill "#00ff00"
width 2.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9937
target 9931
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9940
target 9937
graphics [
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9943
target 9937
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9943
target 9946
graphics [
fill "#ff0000"
width 2.0
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9943
target 9940
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9943
target 9934
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9946
target 9934
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9946
target 9940
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9946
target 9931
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9946
target 9937
graphics [
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9772
target 9859
graphics [
fill "#ff00ff"
width 3.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9760
target 9859
graphics [
fill "#ff00ff"
width 3.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9874
target 9766
graphics [
fill "#ff00ff"
width 3.0
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9889
target 9727
graphics [
fill "#ff00ff"
width 3.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9892
target 9739
graphics [
fill "#ff00ff"
width 3.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9754
target 9892
graphics [
fill "#ff00ff"
width 3.0
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9907
target 9718
graphics [
fill "#ff00ff"
width 3.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9784
target 9910
graphics [
fill "#ff00ff"
width 3.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9907
target 9856
graphics [
fill "#ff00ff"
width 3.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9925
target 9805
graphics [
fill "#ff00ff"
width 3.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9844
target 9928
graphics [
fill "#ff00ff"
width 3.0
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9928
target 9841
graphics [
fill "#ff00ff"
width 3.0
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9943
target 9826
graphics [
fill "#ff00ff"
width 3.0
arrow "last"
]
LabelGraphics [
]
]
edge [
source 9946
target 9829
graphics [
fill "#ff00ff"
width 3.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
edge [
source 9814
target 9943
graphics [
fill "#ff00ff"
width 3.0
arrow "last"
splinesteps 100
]
LabelGraphics [
]
]
]