1digraph "g" {
2"A_monitor_0 fc16-builder" -> "A_start_0 fc16-builder" [ style = dashed]
3"A_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
4"A_start_0 fc16-builder" -> "E_start_0 fc16-builder" [ style = dashed]
5"A_start_0 fc16-builder" [ style=dashed color="red" fontcolor="black"]
6"B_monitor_0 fc16-builder" -> "B_start_0 fc16-builder" [ style = bold]
7"B_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
8"B_start_0 fc16-builder" -> "A_start_0 fc16-builder" [ style = dashed]
9"B_start_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
10"C_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
11"D_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
12"E_monitor_0 fc16-builder" -> "E_start_0 fc16-builder" [ style = dashed]
13"E_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
14"E_start_0 fc16-builder" -> "F_start_0 fc16-builder" [ style = dashed]
15"E_start_0 fc16-builder" [ style=dashed color="red" fontcolor="black"]
16"F_monitor_0 fc16-builder" -> "F_start_0 fc16-builder" [ style = dashed]
17"F_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
18"F_start_0 fc16-builder" [ style=dashed color="red" fontcolor="black"]
19}
20