digraph {
	"fake{WX(A)}" [style=invisible]
	"{WX(A)}" [root=true shape=doublecircle]
	"{(false R false)}" [shape=doublecircle]
	"{A}"
	"{}" [shape=doublecircle]
	"fake{WX(A)}" -> "{WX(A)}" [style=bold]
	"{WX(A)}" -> "{(false R false)}" [label="{B, A}"]
	"{WX(A)}" -> "{A}" [label="{B, A}"]
	"{WX(A)}" -> "{(false R false)}" [label="{C, B}"]
	"{WX(A)}" -> "{A}" [label="{C, B}"]
	"{WX(A)}" -> "{(false R false)}" [label="{A}"]
	"{WX(A)}" -> "{A}" [label="{A}"]
	"{WX(A)}" -> "{(false R false)}" [label="{C, A}"]
	"{WX(A)}" -> "{A}" [label="{C, A}"]
	"{WX(A)}" -> "{(false R false)}" [label="{C, B, A}"]
	"{WX(A)}" -> "{A}" [label="{C, B, A}"]
	"{WX(A)}" -> "{(false R false)}" [label="{B}"]
	"{WX(A)}" -> "{A}" [label="{B}"]
	"{WX(A)}" -> "{A}" [label="{}"]
	"{WX(A)}" -> "{(false R false)}" [label="{}"]
	"{WX(A)}" -> "{A}" [label="{C}"]
	"{WX(A)}" -> "{(false R false)}" [label="{C}"]
	"{A}" -> "{}" [label="{B, A}"]
	"{A}" -> "{}" [label="{A}"]
	"{A}" -> "{}" [label="{C, A}"]
	"{A}" -> "{}" [label="{C, B, A}"]
	"{}" -> "{}" [label="{B, A}"]
	"{}" -> "{}" [label="{C, B}"]
	"{}" -> "{}" [label="{A}"]
	"{}" -> "{}" [label="{C, A}"]
	"{}" -> "{}" [label="{C, B, A}"]
	"{}" -> "{}" [label="{B}"]
	"{}" -> "{}" [label="{}"]
	"{}" -> "{}" [label="{C}"]
	label="weak_next
WX A"
	fontsize=20
}
