-"}
-edge: { sourcename: "n158" targetname: "n157" class: 2 priority: 2 linestyle: dotted}
-node: {title: "n156" label: "ProjX 0 156" color: yellow info1: "visited: 10
-irg: c
-"}
-edge: {sourcename: "n156" targetname: "n158" label: "0" color: red}
-edge: { sourcename: "n156" targetname: "n157" class: 2 priority: 2 linestyle: dotted}
-node: {title: "n155" label: "Block 155" color: lightyellow info1: "visited: 10
-irg: c
-"}
-edge: {sourcename: "n155" targetname: "n156" label: "0" color: red}
-node: {title: "n164" label: "ProjT 4 164" color: yellow info1: "visited: 10
-irg: c
-"}
-edge: {sourcename: "n164" targetname: "n158" label: "0" }
-edge: { sourcename: "n164" targetname: "n157" class: 2 priority: 2 linestyle: dotted}
-node: {title: "n163" label: "ProjP 0 163" color: yellow info1: "visited: 10
-irg: c
-"}
-edge: {sourcename: "n163" targetname: "n164" label: "0" }
-edge: { sourcename: "n163" targetname: "n155" class: 2 priority: 2 linestyle: dotted}
-node: {title: "n165" label: "ProjM 1 165" color: yellow info1: "visited: 10
-irg: c
-"}
-edge: {sourcename: "n165" targetname: "n158" label: "0" color: blue}
-edge: { sourcename: "n165" targetname: "n157" class: 2 priority: 2 linestyle: dotted}
-node: {title: "n162" label: "Sel a 162" info1: "visited: 10
-irg: c
+"color: blue}
+edge: { sourcename: "n83" targetname: "n82" class:2 priority:50 linestyle:dotted}
+node: {title: "n85" label: "ProjX 0 85" info1: "mode: X
+visited: 13
+irg: PRIMA_c
+arity: 1
+"color: yellow}
+edge: {sourcename: "n85" targetname: "n83" label: "0" class:13 priority:60 color:red}
+edge: { sourcename: "n85" targetname: "n82" class:2 priority:50 linestyle:dotted}
+node: {title: "n91" label: "Block 91" info1: "mode: BB
+visited: 13
+irg: PRIMA_c
+arity: 1 backedges:
+"color: lightyellow}
+edge: {sourcename: "n91" targetname: "n85" label: "0" class:13 priority:60 color:red}
+node: {title: "n89" label: "ProjT 4 89" info1: "mode: T
+visited: 13
+irg: PRIMA_c
+arity: 1
+"color: yellow}
+edge: {sourcename: "n89" targetname: "n83" label: "0" class:1 priority:50}
+edge: { sourcename: "n89" targetname: "n82" class:2 priority:50 linestyle:dotted}
+node: {title: "n92" label: "ProjP 0 92" info1: "mode: P
+visited: 13
+irg: PRIMA_c
+arity: 1
+"color: yellow}
+edge: {sourcename: "n92" targetname: "n89" label: "0" class:16 priority:10}
+edge: { sourcename: "n92" targetname: "n91" class:2 priority:50 linestyle:dotted}
+node: {title: "n88" label: "ProjM 1 88" info1: "mode: M
+visited: 13
+irg: PRIMA_c
+arity: 1
+"color: yellow}
+edge: {sourcename: "n88" targetname: "n83" label: "0" class:17 priority:10 color:blue}
+edge: { sourcename: "n88" targetname: "n82" class:2 priority:50 linestyle:dotted}
+node: {title: "n95" label: "Sel a 95" info1: "mode: P
+visited: 13
+irg: PRIMA_c
+arity: 2