strict digraph G {
  1 [ color="black" label="(3,[0, 2, 4, 5, 7, 8, 9],1)" ];
  2 [ color="black" label="(2,[0, 2, 4, 5, 6, 7, 8, 9],10)" ];
  3 [ color="black" label="(2,[0, 1, 3, 5, 6, 7, 8, 9],10)" ];
  4 [ color="black" label="(9,[8],7)" ];
  5 [ color="black" label="(2,[0, 2, 3, 4, 5, 6, 7, 8],10)" ];
  6 [ color="black" label="(5,[1, 4, 7, 8, 9],2)" ];
  7 [ color="black" label="(5,[1, 2, 7, 8, 9],4)" ];
  8 [ color="black" label="(4,[1, 2, 4, 7, 8, 9],10)" ];
  9 [ color="black" label="(7,[4, 8, 9],2)" ];
  10 [ color="black" label="(10,[],10)" ];
  11 [ color="black" label="(1,[0, 2, 3, 4, 5, 6, 7, 8, 9],1)" ];
  12 [ color="black" label="(7,[4, 7, 8],2)" ];
  13 [ color="black" label="(6,[1, 7, 8, 9],10)" ];
  14 [ color="black" label="(7,[2, 8, 9],4)" ];
  15 [ color="black" label="(6,[2, 4, 8, 9],10)" ];
  16 [ color="black" label="(1,[0, 1, 2, 4, 5, 6, 7, 8, 9],3)" ];
  17 [ color="black" label="(7,[2, 7, 8],4)" ];
  18 [ color="black" label="(6,[2, 4, 7, 8],10)" ];
  19 [ color="black" label="(3,[1, 2, 4, 5, 7, 8, 9],0)" ];
  20 [ color="black" label="(8,[8, 9],10)" ];
  21 [ color="black" label="(3,[0, 1, 4, 5, 7, 8, 9],2)" ];
  22 [ color="black" label="(8,[7, 8],10)" ];
  23 [ color="black" label="(2,[1, 2, 3, 4, 6, 7, 8, 9],10)" ];
  24 [ color="black" label="(2,[0, 2, 3, 4, 5, 7, 8, 9],10)" ];
  25 [ color="black" label="(3,[0, 1, 2, 5, 7, 8, 9],4)" ];
  26 [ color="black" label="(2,[0, 1, 2, 4, 5, 7, 8, 9],10)" ];
  27 [ color="black" label="(5,[2, 4, 7, 8, 9],1)" ];
  28 [ color="black" label="(9,[9],8)" ];
  29 [ color="black" label="(2,[0, 1, 2, 4, 5, 6, 7, 9],10)" ];
  30 [ color="black" label="(4,[0, 1, 5, 7, 8, 9],10)" ];
  31 [ color="black" label="(4,[0, 2, 4, 5, 8, 9],10)" ];
  32 [ color="black" label="(1,[1, 2, 3, 4, 5, 6, 7, 8, 9],0)" ];
  33 [ color="black" label="(4,[0, 2, 4, 5, 7, 8],10)" ];
  34 [ color="black" label="(1,[0, 1, 3, 4, 5, 6, 7, 8, 9],2)" ];
  35 [ color="black" label="(1,[0, 1, 2, 3, 5, 6, 7, 8, 9],4)" ];
  36 [ color="black" label="(0,[0, 1, 2, 3, 4, 5, 6, 7, 8, 9],10)" ];
  26 -> 1 [ label="1" ];
  11 -> 2 [ label="3" ];
  34 -> 3 [ label="4" ];
  22 -> 4 [ label="7" ];
  11 -> 5 [ label="9" ];
  8 -> 6 [ label="2" ];
  8 -> 7 [ label="4" ];
  19 -> 8 [ color="red" label="5" ];
  15 -> 9 [ color="red" label="2" ];
  28 -> 10 [ color="red" label="9" ];
  36 -> 11 [ label="1" ];
  18 -> 12 [ label="2" ];
  6 -> 13 [ label="4" ];
  15 -> 14 [ label="4" ];
  27 -> 15 [ color="red" label="7" ];
  36 -> 16 [ color="red" label="3" ];
  18 -> 17 [ label="4" ];
  27 -> 18 [ label="9" ];
  26 -> 19 [ color="red" label="0" ];
  9 -> 20 [ color="red" label="4" ];
  26 -> 21 [ label="2" ];
  12 -> 22 [ label="4" ];
  32 -> 23 [ label="5" ];
  11 -> 24 [ label="6" ];
  26 -> 25 [ label="4" ];
  16 -> 26 [ color="red" label="6" ];
  8 -> 27 [ color="red" label="1" ];
  20 -> 28 [ color="red" label="8" ];
  16 -> 29 [ label="8" ];
  21 -> 30 [ label="4" ];
  1 -> 31 [ label="7" ];
  36 -> 32 [ label="0" ];
  1 -> 33 [ label="9" ];
  36 -> 34 [ label="2" ];
  36 -> 35 [ label="4" ];
}