digraph G { 0; 2; 5; 17; 2->17 [label=2]; 5->17 [label=0]; 0->5 [label=2]; 0->2 [label=0]; }