strict digraph G {
  1 [ color="black" label="(4,[4, 5],6)" ];
  2 [ color="black" label="(1,[1, 2, 3, 4, 5],0)" ];
  3 [ color="black" label="(1,[0, 2, 3, 4, 5],1)" ];
  4 [ color="black" label="(5,[5],4)" ];
  5 [ color="black" label="(1,[0, 1, 3, 4, 5],2)" ];
  6 [ color="black" label="(0,[0, 1, 2, 3, 4, 5],6)" ];
  7 [ color="black" label="(3,[2, 4, 5],0)" ];
  8 [ color="black" label="(2,[1, 3, 4, 5],6)" ];
  9 [ color="black" label="(3,[0, 4, 5],2)" ];
  10 [ color="black" label="(6,[],6)" ];
  11 [ color="black" label="(2,[0, 2, 4, 5],6)" ];
  7 -> 1 [ color="red" label="2" ];
  6 -> 2 [ label="0" ];
  6 -> 3 [ color="red" label="1" ];
  1 -> 4 [ color="red" label="4" ];
  6 -> 5 [ label="2" ];
  11 -> 7 [ color="red" label="0" ];
  2 -> 8 [ label="2" ];
  11 -> 9 [ label="2" ];
  4 -> 10 [ color="red" label="5" ];
  3 -> 11 [ color="red" label="3" ];
}