digraph "g" {
"A_monitor_0 fc16-builder" -> "A_start_0 fc16-builder" [ style = dashed]
"A_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
"A_start_0 fc16-builder" -> "E_start_0 fc16-builder" [ style = dashed]
"A_start_0 fc16-builder" [ style=dashed color="red" fontcolor="black"]
"B_monitor_0 fc16-builder" -> "B_start_0 fc16-builder" [ style = bold]
"B_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
"B_start_0 fc16-builder" -> "A_start_0 fc16-builder" [ style = dashed]
"B_start_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
"C_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
"D_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
"E_monitor_0 fc16-builder" -> "E_start_0 fc16-builder" [ style = dashed]
"E_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
"E_start_0 fc16-builder" -> "F_start_0 fc16-builder" [ style = dashed]
"E_start_0 fc16-builder" [ style=dashed color="red" fontcolor="black"]
"F_monitor_0 fc16-builder" -> "F_start_0 fc16-builder" [ style = dashed]
"F_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
"F_start_0 fc16-builder" [ style=dashed color="red" fontcolor="black"]
}