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