digraph G {ratio=auto;
margin="0.1,0.1";
}