digraph G {
0 -> 1 [label="00 "];
0 -> 2 [label="01 10 11 "];
1 -> 2 [label="01 10 11 "];
1 -> 3 [label="00 "];
2 -> 2 [label="00 01 10 11 "];
3 -> 3 [label="00 "];
3 -> 4 [label="01 "];
3 -> 5 [label="10 11 "];
4 -> 4 [label="00 01 "];
4 -> 5 [label="10 11 "];
5 -> 4 [label="01 "];
5 -> 5 [label="00 11 "];
5 -> 6 [label="10 "];
6 -> 5 [label="00 01 "];
6 -> 6 [label="10 11 "];
4[peripheries=2];
0[shape=diamond];
}
xy