digraph "g" {
"A_monitor_0 fc16-builder" -> "A_start_0 fc16-builder" [ style = bold]
"A_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
"A_start_0 fc16-builder" -> "E_start_0 fc16-builder" [ style = bold]
"A_start_0 fc16-builder" [ style=bold color="green" 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" -> "one-or-more:require-all-set-1" [ style = bold]
"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 = bold]
"E_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
"E_start_0 fc16-builder" -> "one-or-more:require-all-set-3" [ style = bold]
"E_start_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
"F_monitor_0 fc16-builder" -> "F_start_0 fc16-builder" [ style = bold]
"F_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
"F_start_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
"one-or-more:require-all-set-1" -> "A_start_0 fc16-builder" [ style = bold]
"one-or-more:require-all-set-1" [ style=bold color="green" fontcolor="orange"]
"one-or-more:require-all-set-3" -> "F_start_0 fc16-builder" [ style = bold]
"one-or-more:require-all-set-3" [ style=bold color="green" fontcolor="orange"]
}