digraph {
	fake [style=invisible]
	0 [root=true]
	1
	2 [shape=doublecircle]
	fake -> 0 [style=bold]
	0 -> 1 [label="{C}"]
	0 -> 1 [label="{B, A}"]
	0 -> 1 [label="{C, B}"]
	0 -> 1 [label="{C, B, A}"]
	0 -> 1 [label="{}"]
	0 -> 1 [label="{B}"]
	0 -> 1 [label="{C, A}"]
	0 -> 1 [label="{A}"]
	1 -> 2 [label="{B, A}"]
	1 -> 2 [label="{A}"]
	1 -> 2 [label="{C, B, A}"]
	1 -> 2 [label="{C, A}"]
	2 -> 2 [label="{C}"]
	2 -> 2 [label="{B, A}"]
	2 -> 2 [label="{C, B}"]
	2 -> 2 [label="{C, B, A}"]
	2 -> 2 [label="{}"]
	2 -> 2 [label="{B}"]
	2 -> 2 [label="{C, A}"]
	2 -> 2 [label="{A}"]
	label="next
X A"
	fontsize=20
}
