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