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