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