1digraph "g" {
2"Cancel s0:1_monitor_20000 hex-14" -> "s0:1_demote_0 hex-14" [ style = bold]
3"Cancel s0:1_monitor_20000 hex-14" [ style=bold color="green" fontcolor="black" ]
4"ms0_demote_0" -> "ms0_demoted_0" [ style = bold]
5"ms0_demote_0" -> "s0:1_demote_0 hex-14" [ style = bold]
6"ms0_demote_0" [ style=bold color="green" fontcolor="orange" ]
7"ms0_demoted_0" [ style=bold color="green" fontcolor="orange" ]
8"s0:1_demote_0 hex-14" -> "ms0_demoted_0" [ style = bold]
9"s0:1_demote_0 hex-14" -> "s0:1_monitor_21000 hex-14" [ style = bold]
10"s0:1_demote_0 hex-14" [ style=bold color="green" fontcolor="black" ]
11"s0:1_monitor_21000 hex-14" [ style=bold color="green" fontcolor="black" ]
12}
13