digraph G { 0; 1; 4; 7; 1->7 [label=1]; 4->7 [label=0]; 0->4 [label=1]; 0->1 [label=0]; }