digraph {
	0
	1
	2
	3
	0 -> 2
	1 -> 3
	3 -> 2
	3 -> 0
}
