strict digraph DiskGraph {
edge [colorscheme="paired12"]
nodesep=0.35;
subgraph cluster_graph {
color="white";
609737673425276830 [style = filled] [label="/\\ b = FALSE
/\\ x = 0"]
6816998822487979083 [style = filled] [label="/\\ b = TRUE
/\\ x = 0"]
3365478001808954030 [style = filled] [label="/\\ b = FALSE
/\\ x = 1"]
8671809759910816123 [style = filled] [label="/\\ b = TRUE
/\\ x = 1"]
5040481953810085374 [style = filled] [label="/\\ b = FALSE
/\\ x = 2"]
1377963776297717291 [style = filled] [label="/\\ b = TRUE
/\\ x = 2"]
7147721571019581646 [style = filled] [label="/\\ b = FALSE
/\\ x = 3"]
3881310712274735899 [style = filled] [label="/\\ b = TRUE
/\\ x = 3"]
609737673425276830 -> 8671809759910816123 [label="B" color="2" fontcolor="2"];
609737673425276830 -> 609737673425276830 [style="dashed"];
609737673425276830 [label="/\\ b = FALSE
/\\ x = 0"];
6816998822487979083 -> 609737673425276830 [label="A" color="3" fontcolor="3"];
6816998822487979083 -> 6816998822487979083 [style="dashed"];
6816998822487979083 [label="/\\ b = TRUE
/\\ x = 0"];
3365478001808954030 -> 1377963776297717291 [label="B" color="2" fontcolor="2"];
3365478001808954030 -> 3365478001808954030 [style="dashed"];
3365478001808954030 [label="/\\ b = FALSE
/\\ x = 1"];
8671809759910816123 -> 3365478001808954030 [label="A" color="3" fontcolor="3"];
8671809759910816123 -> 8671809759910816123 [style="dashed"];
8671809759910816123 [label="/\\ b = TRUE
/\\ x = 1"];
5040481953810085374 -> 3881310712274735899 [label="B" color="2" fontcolor="2"];
5040481953810085374 -> 5040481953810085374 [style="dashed"];
5040481953810085374 [label="/\\ b = FALSE
/\\ x = 2"];
1377963776297717291 -> 5040481953810085374 [label="A" color="3" fontcolor="3"];
1377963776297717291 -> 1377963776297717291 [style="dashed"];
1377963776297717291 [label="/\\ b = TRUE
/\\ x = 2"];
7147721571019581646 -> -4210745456684007285 [label="B" color="2" fontcolor="2"];
-4210745456684007285 [label="/\\ b = TRUE
/\\ x = 4"];
7147721571019581646 -> 7147721571019581646 [style="dashed"];
7147721571019581646 [label="/\\ b = FALSE
/\\ x = 3"];
3881310712274735899 -> 7147721571019581646 [label="A" color="3" fontcolor="3"];
3881310712274735899 -> 3881310712274735899 [style="dashed"];
3881310712274735899 [label="/\\ b = TRUE
/\\ x = 3"];
-4210745456684007285 -> -7819220713745958050 [label="A" color="3" fontcolor="3"];
-7819220713745958050 [label="/\\ b = FALSE
/\\ x = 4"];
-4210745456684007285 -> -4210745456684007285 [style="dashed"];
-4210745456684007285 [label="/\\ b = TRUE
/\\ x = 4"];
-7819220713745958050 -> -2066378075513578053 [label="B" color="2" fontcolor="2"];
-2066378075513578053 [label="/\\ b = TRUE
/\\ x = 5"];
-7819220713745958050 -> -7819220713745958050 [style="dashed"];
-7819220713745958050 [label="/\\ b = FALSE
/\\ x = 4"];
-2066378075513578053 -> -2066378075513578053 [style="dashed"];
-2066378075513578053 [label="/\\ b = TRUE
/\\ x = 5"];
{rank = same; 1377963776297717291;5040481953810085374;8671809759910816123;3365478001808954030;6816998822487979083;609737673425276830;3881310712274735899;7147721571019581646;}
{rank = same; -4210745456684007285;}
{rank = same; -7819220713745958050;}
{rank = same; -2066378075513578053;}
}
subgraph cluster_legend {graph[style=bold];label = "Next State Actions" style="solid"
node [ labeljust="l" colorscheme="paired12" style=filled shape=record ]
A [label="A" fillcolor=3]
B [label="B" fillcolor=2]
}}