strict digraph G {
  1 [ color="black" label="(4,[0, 2, 4, 5],8)" ];
  2 [ color="black" label="(7,[5],0)" ];
  3 [ color="black" label="(1,[1, 2, 3, 4, 5, 6, 7],0)" ];
  4 [ color="black" label="(6,[1, 7],8)" ];
  5 [ color="black" label="(1,[0, 2, 3, 4, 5, 6, 7],1)" ];
  6 [ color="black" label="(1,[0, 1, 3, 4, 5, 6, 7],2)" ];
  7 [ color="black" label="(6,[0, 5],8)" ];
  8 [ color="black" label="(1,[0, 1, 2, 4, 5, 6, 7],3)" ];
  9 [ color="black" label="(0,[0, 1, 2, 3, 4, 5, 6, 7],8)" ];
  10 [ color="black" label="(2,[1, 3, 4, 5, 6, 7],8)" ];
  11 [ color="black" label="(3,[1, 2, 4, 5, 7],0)" ];
  12 [ color="black" label="(8,[],8)" ];
  13 [ color="black" label="(2,[0, 2, 4, 5, 6, 7],8)" ];
  14 [ color="black" label="(3,[0, 2, 4, 5, 7],1)" ];
  15 [ color="black" label="(2,[0, 1, 3, 5, 6, 7],8)" ];
  16 [ color="black" label="(3,[0, 1, 4, 5, 7],2)" ];
  17 [ color="black" label="(2,[0, 2, 3, 4, 5, 7],8)" ];
  18 [ color="black" label="(2,[0, 1, 2, 4, 5, 7],8)" ];
  19 [ color="black" label="(5,[1, 5, 7],0)" ];
  20 [ color="black" label="(5,[0, 5, 7],1)" ];
  21 [ color="black" label="(4,[1, 4, 5, 7],8)" ];
  22 [ color="black" label="(4,[1, 2, 4, 7],8)" ];
  23 [ color="black" label="(4,[0, 1, 5, 7],8)" ];
  14 -> 1 [ label="7" ];
  7 -> 2 [ color="red" label="0" ];
  9 -> 3 [ label="0" ];
  19 -> 4 [ label="5" ];
  9 -> 5 [ label="1" ];
  9 -> 6 [ label="2" ];
  20 -> 7 [ color="red" label="7" ];
  9 -> 8 [ color="red" label="3" ];
  6 -> 10 [ label="0" ];
  18 -> 11 [ label="0" ];
  2 -> 12 [ color="red" label="5" ];
  8 -> 13 [ label="1" ];
  18 -> 14 [ label="1" ];
  6 -> 15 [ label="4" ];
  18 -> 16 [ color="red" label="2" ];
  5 -> 17 [ label="6" ];
  8 -> 18 [ color="red" label="6" ];
  23 -> 19 [ label="0" ];
  23 -> 20 [ color="red" label="1" ];
  16 -> 21 [ label="0" ];
  11 -> 22 [ label="5" ];
  16 -> 23 [ color="red" label="4" ];
}