digraph family {
	size="10,10";
