digraph {
	0 [pos="0,0!"];
	1 [pos="2,0!"];
	2 [pos="3.5,-1!"];
	3 [pos="3.5,1!"];
	0 -> 1 [headlabel=0 labeldistance=4.75 labelangle=-10];
	1 -> 0 [headlabel=1 labeldistance=4.75 labelangle=-10];
	1 -> 2 [headlabel=2 labeldistance=4.75 labelangle=-10];
	1 -> 3 [headlabel=3 labeldistance=4.75 labelangle=-10];
	2 -> 1 [headlabel=4 labeldistance=4.75 labelangle=-10];
	2 -> 3 [headlabel=5 labeldistance=5.5 labelangle=-7];
	3 -> 1 [headlabel=6 labeldistance=4.25 labelangle=-10];
	3 -> 2 [headlabel=7 labeldistance=5.5 labelangle=-7];
}
