1digraph "g" {
2"A_monitor_0 fc16-builder" -> "A_start_0 fc16-builder" [ style = bold]
3"A_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
4"A_start_0 fc16-builder" -> "B_start_0 fc16-builder" [ style = bold]
5"A_start_0 fc16-builder" -> "C_start_0 fc16-builder" [ style = bold]
6"A_start_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
7"B_monitor_0 fc16-builder" -> "B_start_0 fc16-builder" [ style = bold]
8"B_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
9"B_start_0 fc16-builder" -> "one-or-more:require-all-set-1" [ style = bold]
10"B_start_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
11"C_monitor_0 fc16-builder" -> "C_start_0 fc16-builder" [ style = bold]
12"C_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
13"C_start_0 fc16-builder" -> "one-or-more:require-all-set-1" [ style = bold]
14"C_start_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
15"D_monitor_0 fc16-builder" -> "D_start_0 fc16-builder" [ style = bold]
16"D_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
17"D_start_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
18"one-or-more:require-all-set-1" -> "D_start_0 fc16-builder" [ style = bold]
19"one-or-more:require-all-set-1" [ style=bold color="green" fontcolor="orange"]
20}
21