digraph "g" {
"Cancel stateful-1:1_monitor_20000 dl380g5a" -> "stateful-1:1_promote_0 dl380g5a" [ style = bold]
"Cancel stateful-1:1_monitor_20000 dl380g5a" [ style=bold color="green" fontcolor="black"]
"Cancel stateful-2:1_monitor_20000 dl380g5a" -> "stateful-2:1_promote_0 dl380g5a" [ style = bold]
"Cancel stateful-2:1_monitor_20000 dl380g5a" [ style=bold color="green" fontcolor="black"]
"group:0_stop_0" -> "group:0_stopped_0" [ style = bold]
"group:0_stop_0" -> "stateful-1:0_stop_0 dl380g5b" [ style = bold]
"group:0_stop_0" [ style=bold color="green" fontcolor="orange"]
"group:0_stopped_0" -> "ms-sf_stopped_0" [ style = bold]
"group:0_stopped_0" [ style=bold color="green" fontcolor="orange"]
"group:1_promote_0" -> "stateful-1:1_promote_0 dl380g5a" [ style = bold]
"group:1_promote_0" -> "stateful-2:1_promote_0 dl380g5a" [ style = bold]
"group:1_promote_0" [ style=bold color="green" fontcolor="orange"]
"group:1_promoted_0" -> "ms-sf_promoted_0" [ style = bold]
"group:1_promoted_0" [ style=bold color="green" fontcolor="orange"]
"ms-sf_confirmed-post_notify_promoted_0" -> "stateful-1:1_monitor_10000 dl380g5a" [ style = bold]
"ms-sf_confirmed-post_notify_promoted_0" -> "stateful-2:1_monitor_10000 dl380g5a" [ style = bold]
"ms-sf_confirmed-post_notify_promoted_0" [ style=bold color="green" fontcolor="orange"]
"ms-sf_confirmed-post_notify_stopped_0" -> "ms-sf_pre_notify_promote_0" [ style = bold]
"ms-sf_confirmed-post_notify_stopped_0" -> "stateful-1:1_monitor_10000 dl380g5a" [ style = bold]
"ms-sf_confirmed-post_notify_stopped_0" -> "stateful-2:1_monitor_10000 dl380g5a" [ style = bold]
"ms-sf_confirmed-post_notify_stopped_0" [ style=bold color="green" fontcolor="orange"]
"ms-sf_confirmed-pre_notify_promote_0" -> "ms-sf_post_notify_promoted_0" [ style = bold]
"ms-sf_confirmed-pre_notify_promote_0" -> "ms-sf_promote_0" [ style = bold]
"ms-sf_confirmed-pre_notify_promote_0" [ style=bold color="green" fontcolor="orange"]
"ms-sf_confirmed-pre_notify_stop_0" -> "ms-sf_post_notify_stopped_0" [ style = bold]
"ms-sf_confirmed-pre_notify_stop_0" -> "ms-sf_stop_0" [ style = bold]
"ms-sf_confirmed-pre_notify_stop_0" [ style=bold color="green" fontcolor="orange"]
"ms-sf_post_notify_promoted_0" -> "ms-sf_confirmed-post_notify_promoted_0" [ style = bold]
"ms-sf_post_notify_promoted_0" -> "stateful-1:1_post_notify_promote_0 dl380g5a" [ style = bold]
"ms-sf_post_notify_promoted_0" -> "stateful-2:1_post_notify_promote_0 dl380g5a" [ style = bold]
"ms-sf_post_notify_promoted_0" [ style=bold color="green" fontcolor="orange"]
"ms-sf_post_notify_stopped_0" -> "ms-sf_confirmed-post_notify_stopped_0" [ style = bold]
"ms-sf_post_notify_stopped_0" -> "stateful-1:1_post_notify_stop_0 dl380g5a" [ style = bold]
"ms-sf_post_notify_stopped_0" -> "stateful-2:1_post_notify_stop_0 dl380g5a" [ style = bold]
"ms-sf_post_notify_stopped_0" [ style=bold color="green" fontcolor="orange"]
"ms-sf_pre_notify_promote_0" -> "ms-sf_confirmed-pre_notify_promote_0" [ style = bold]
"ms-sf_pre_notify_promote_0" -> "stateful-1:1_pre_notify_promote_0 dl380g5a" [ style = bold]
"ms-sf_pre_notify_promote_0" -> "stateful-2:1_pre_notify_promote_0 dl380g5a" [ style = bold]
"ms-sf_pre_notify_promote_0" [ style=bold color="green" fontcolor="orange"]
"ms-sf_pre_notify_stop_0" -> "ms-sf_confirmed-pre_notify_stop_0" [ style = bold]
"ms-sf_pre_notify_stop_0" -> "stateful-1:0_pre_notify_stop_0 dl380g5b" [ style = bold]
"ms-sf_pre_notify_stop_0" -> "stateful-1:1_pre_notify_stop_0 dl380g5a" [ style = bold]
"ms-sf_pre_notify_stop_0" -> "stateful-2:1_pre_notify_stop_0 dl380g5a" [ style = bold]
"ms-sf_pre_notify_stop_0" [ style=bold color="green" fontcolor="orange"]
"ms-sf_promote_0" -> "group:1_promote_0" [ style = bold]
"ms-sf_promote_0" [ style=bold color="green" fontcolor="orange"]
"ms-sf_promoted_0" -> "ms-sf_post_notify_promoted_0" [ style = bold]
"ms-sf_promoted_0" [ style=bold color="green" fontcolor="orange"]
"ms-sf_stop_0" -> "group:0_stop_0" [ style = bold]
"ms-sf_stop_0" -> "ms-sf_stopped_0" [ style = bold]
"ms-sf_stop_0" [ style=bold color="green" fontcolor="orange"]
"ms-sf_stopped_0" -> "ms-sf_post_notify_stopped_0" [ style = bold]
"ms-sf_stopped_0" -> "ms-sf_promote_0" [ style = bold]
"ms-sf_stopped_0" [ style=bold color="green" fontcolor="orange"]
"stateful-1:0_pre_notify_stop_0 dl380g5b" -> "ms-sf_confirmed-pre_notify_stop_0" [ style = bold]
"stateful-1:0_pre_notify_stop_0 dl380g5b" [ style=bold color="green" fontcolor="black"]
"stateful-1:0_stop_0 dl380g5b" -> "group:0_stopped_0" [ style = bold]
"stateful-1:0_stop_0 dl380g5b" [ style=bold color="green" fontcolor="black"]
"stateful-1:1_monitor_10000 dl380g5a" [ style=bold color="green" fontcolor="black"]
"stateful-1:1_post_notify_promote_0 dl380g5a" -> "ms-sf_confirmed-post_notify_promoted_0" [ style = bold]
"stateful-1:1_post_notify_promote_0 dl380g5a" [ style=bold color="green" fontcolor="black"]
"stateful-1:1_post_notify_stop_0 dl380g5a" -> "ms-sf_confirmed-post_notify_stopped_0" [ style = bold]
"stateful-1:1_post_notify_stop_0 dl380g5a" [ style=bold color="green" fontcolor="black"]
"stateful-1:1_pre_notify_promote_0 dl380g5a" -> "ms-sf_confirmed-pre_notify_promote_0" [ style = bold]
"stateful-1:1_pre_notify_promote_0 dl380g5a" [ style=bold color="green" fontcolor="black"]
"stateful-1:1_pre_notify_stop_0 dl380g5a" -> "ms-sf_confirmed-pre_notify_stop_0" [ style = bold]
"stateful-1:1_pre_notify_stop_0 dl380g5a" [ style=bold color="green" fontcolor="black"]
"stateful-1:1_promote_0 dl380g5a" -> "group:1_promoted_0" [ style = bold]
"stateful-1:1_promote_0 dl380g5a" -> "stateful-1:1_monitor_10000 dl380g5a" [ style = bold]
"stateful-1:1_promote_0 dl380g5a" -> "stateful-2:1_promote_0 dl380g5a" [ style = bold]
"stateful-1:1_promote_0 dl380g5a" [ style=bold color="green" fontcolor="black"]
"stateful-2:1_monitor_10000 dl380g5a" [ style=bold color="green" fontcolor="black"]
"stateful-2:1_post_notify_promote_0 dl380g5a" -> "ms-sf_confirmed-post_notify_promoted_0" [ style = bold]
"stateful-2:1_post_notify_promote_0 dl380g5a" [ style=bold color="green" fontcolor="black"]
"stateful-2:1_post_notify_stop_0 dl380g5a" -> "ms-sf_confirmed-post_notify_stopped_0" [ style = bold]
"stateful-2:1_post_notify_stop_0 dl380g5a" [ style=bold color="green" fontcolor="black"]
"stateful-2:1_pre_notify_promote_0 dl380g5a" -> "ms-sf_confirmed-pre_notify_promote_0" [ style = bold]
"stateful-2:1_pre_notify_promote_0 dl380g5a" [ style=bold color="green" fontcolor="black"]
"stateful-2:1_pre_notify_stop_0 dl380g5a" -> "ms-sf_confirmed-pre_notify_stop_0" [ style = bold]
"stateful-2:1_pre_notify_stop_0 dl380g5a" [ style=bold color="green" fontcolor="black"]
"stateful-2:1_promote_0 dl380g5a" -> "group:1_promoted_0" [ style = bold]
"stateful-2:1_promote_0 dl380g5a" -> "stateful-2:1_monitor_10000 dl380g5a" [ style = bold]
"stateful-2:1_promote_0 dl380g5a" [ style=bold color="green" fontcolor="black"]
}