1digraph "g" { 2"dummystateful_demote_0 18node1" -> "dummystateful_stop_0 18node1" [ style = bold] 3"dummystateful_demote_0 18node1" -> "dummystateful_stop_0 18node2" [ style = bold] 4"dummystateful_demote_0 18node1" -> "dummystateful_stop_0 18node3" [ style = bold] 5"dummystateful_demote_0 18node1" [ style=bold color="green" fontcolor="black"] 6"dummystateful_demote_0 18node2" -> "dummystateful_stop_0 18node1" [ style = bold] 7"dummystateful_demote_0 18node2" -> "dummystateful_stop_0 18node2" [ style = bold] 8"dummystateful_demote_0 18node2" -> "dummystateful_stop_0 18node3" [ style = bold] 9"dummystateful_demote_0 18node2" [ style=bold color="green" fontcolor="black"] 10"dummystateful_demote_0 18node3" -> "dummystateful_stop_0 18node1" [ style = bold] 11"dummystateful_demote_0 18node3" -> "dummystateful_stop_0 18node2" [ style = bold] 12"dummystateful_demote_0 18node3" -> "dummystateful_stop_0 18node3" [ style = bold] 13"dummystateful_demote_0 18node3" [ style=bold color="green" fontcolor="black"] 14"dummystateful_start_0 18node3" [ style=bold color="green" fontcolor="black"] 15"dummystateful_stop_0 18node1" -> "dummystateful_start_0 18node3" [ style = bold] 16"dummystateful_stop_0 18node1" [ style=bold color="green" fontcolor="black"] 17"dummystateful_stop_0 18node2" -> "dummystateful_start_0 18node3" [ style = bold] 18"dummystateful_stop_0 18node2" [ style=bold color="green" fontcolor="black"] 19"dummystateful_stop_0 18node3" -> "dummystateful_start_0 18node3" [ style = bold] 20"dummystateful_stop_0 18node3" [ style=bold color="green" fontcolor="black"] 21} 22