gml4gtk/data/S4Routing.gml

Creator "staticCodeAnalysis"
Version "1.0"
graph [
directed 1
label ""
node [
id 0
label "P"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#ffc800"
 outline "#000000"
]
]
node [
id 1
label "M2(5,1)"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#00ff00"
 outline "#000000"
]
]
node [
id 2
label "H2(5,1)"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#00ff00"
 outline "#000000"
]
]
node [
id 3
label "D0(5,1)"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#00ff00"
 outline "#000000"
]
]
node [
id 4
label "M6(5,1)"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#00ff00"
 outline "#000000"
]
]
node [
id 5
label "F3(5,1)"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#00ff00"
 outline "#000000"
]
]
node [
id 6
label "M1(5,1)"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#00ff00"
 outline "#000000"
]
]
node [
id 7
label "D2(5,1)"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#00ff00"
 outline "#000000"
]
]
node [
id 8
label "H6(5,1)"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#00ff00"
 outline "#000000"
]
]
node [
id 9
label "F1(5,1)"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#00ff00"
 outline "#000000"
]
]
node [
id 10
label "M3(5,1)"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#00ff00"
 outline "#000000"
]
]
node [
id 11
label "M4(5,1)"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#00ff00"
 outline "#000000"
]
]
node [
id 12
label "M5(5,1)"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#00ff00"
 outline "#000000"
]
]
node [
id 13
label "H1(5,1)"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#00ff00"
 outline "#000000"
]
]
node [
id 14
label "F6(5,1)"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#00ff00"
 outline "#000000"
]
]
node [
id 15
label "M0(5,1)"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#00ff00"
 outline "#000000"
]
]
node [
id 16
label "bif0"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#0000ff"
 outline "#000000"
]
]
node [
id 17
label "bif2"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#0000ff"
 outline "#000000"
]
]
node [
id 18
label "bif3"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#0000ff"
 outline "#000000"
]
]
node [
id 19
label "bif1"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#0000ff"
 outline "#000000"
]
]
node [
id 20
label "bif5"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#0000ff"
 outline "#000000"
]
]
node [
id 21
label "bif4"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#0000ff"
 outline "#000000"
]
]
node [
id 22
label "bif6"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#0000ff"
 outline "#000000"
]
]
node [
id 23
label "bif7"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#0000ff"
 outline "#000000"
]
]
node [
id 24
label "merger0"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#ff0000"
 outline "#000000"
]
]
node [
id 25
label "merger1"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#ff0000"
 outline "#000000"
]
]
node [
id 26
label "merger2"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#ff0000"
 outline "#000000"
]
]
node [
id 27
label "merger4"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#ff0000"
 outline "#000000"
]
]
node [
id 28
label "merger6"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#ff0000"
 outline "#000000"
]
]
node [
id 29
label "merger3"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#ff0000"
 outline "#000000"
]
]
node [
id 30
label "merger5"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#ff0000"
 outline "#000000"
]
]
node [
id 31
label "merger7"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#ff0000"
 outline "#000000"
]
]
node [
id 32
label "merger8"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#ff0000"
 outline "#000000"
]
]
node [
id 33
label "merger9"
graphics
[
 x 0.0 
 y 0.0 
 w 30.0 
 h 30.0 
 type "rectangle" 
 fill "#ff0000"
 outline "#000000"
]
]
edge [
source 0
target 1
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 0
target 2
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 0
target 3
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 0
target 24
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 0
target 25
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 1
target 16
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 2
target 17
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 3
target 18
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 24
target 4
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 25
target 5
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 16
target 24
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 16
target 26
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 17
target 24
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 17
target 25
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 18
target 6
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 18
target 27
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 4
target 19
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 5
target 24
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 26
target 7
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 6
target 28
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 27
target 8
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 19
target 29
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 19
target 27
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 7
target 30
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 28
target 9
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 8
target 20
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 29
target 10
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 30
target 11
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 9
target 31
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 20
target 29
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 20
target 28
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 10
target 21
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 11
target 22
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 31
target 12
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 21
target 26
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 21
target 31
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 22
target 13
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 22
target 32
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 12
target 23
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 13
target 33
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 32
target 14
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 23
target 30
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 23
target 32
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "3, 3"]
edge [
source 33
target 15
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 14
target 33
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]
edge [
source 15
target 0
graphics
[
 fill "#ff0000"
targetArrow "standard"
]
label "1, 1"]

]