digraph "g" {
"Cancel s0:1_monitor_20000 hex-14" -> "s0:1_demote_0 hex-14" [ style = bold]
"Cancel s0:1_monitor_20000 hex-14" [ style=bold color="green" fontcolor="black"]
"ms0_demote_0" -> "ms0_demoted_0" [ style = bold]
"ms0_demote_0" -> "s0:1_demote_0 hex-14" [ style = bold]
"ms0_demote_0" [ style=bold color="green" fontcolor="orange"]
"ms0_demoted_0" [ style=bold color="green" fontcolor="orange"]
"s0:1_demote_0 hex-14" -> "ms0_demoted_0" [ style = bold]
"s0:1_demote_0 hex-14" -> "s0:1_monitor_21000 hex-14" [ style = bold]
"s0:1_demote_0 hex-14" [ style=bold color="green" fontcolor="black"]
"s0:1_monitor_21000 hex-14" [ style=bold color="green" fontcolor="black"]
}