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