1 digraph "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" [ style=bold color="green" fontcolor="black"] 5"S_A_monitor_0 fc16-builder" -> "S_A_start_0 fc16-builder" [ style = bold] 6"S_A_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"] 7"S_A_start_0 fc16-builder" [ style=bold color="green" fontcolor="black"] 8"S_B_monitor_0 fc16-builder" -> "S_B_start_0 fc16-builder" [ style = bold] 9"S_B_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"] 10"S_B_start_0 fc16-builder" -> "S_A_start_0 fc16-builder" [ style = bold] 11"S_B_start_0 fc16-builder" [ style=bold color="green" fontcolor="black"] 12} 13