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