strict digraph G {
  1 [ color="black" label="(3, [0, 3, 4], [10, 7, 6, 10, 10], -2)" ];
  2 [ color="black" label="(6, [0, 2, 4], [10, 7, 10, 5, 10], -2)" ];
  3 [ color="black" label="(6, [0, 2], [10, 7, 10, 5, 2], -4)" ];
  4 [ color="black" label="(9, [4], [5, 2, 5, 5, 10], -6)" ];
  5 [ color="black" label="(10, [1, 3, 4], [3, 10, 5, 10, 10], 0)" ];
  6 [ color="black" label="(9, [], [5, 2, 5, 5, 2], -8)" ];
  7 [ color="black" label="(10, [1, 3], [3, 10, 5, 10, 2], -2)" ];
  8 [ color="black" label="(10, [4], [5, 2, 4, 5, 10], -3)" ];
  9 [ color="black" label="(9, [0, 2], [10, 2, 10, 5, 2], -5)" ];
  10 [ color="black" label="(10, [], [5, 2, 4, 5, 2], -5)" ];
  11 [ color="black" label="(9, [0, 2, 4], [10, 2, 10, 5, 10], -3)" ];
  12 [ color="black" label="(2, [1, 2, 3, 4], [5, 10, 10, 10, 10], -1)" ];
  13 [ color="black" label="(6, [], [5, 7, 5, 5, 2], -7)" ];
  14 [ color="black" label="(6, [4], [5, 7, 5, 5, 10], -5)" ];
  15 [ color="black" label="(10, [2], [3, 2, 10, 5, 2], -3)" ];
  16 [ color="black" label="(10, [2, 4], [3, 2, 10, 5, 10], -1)" ];
  17 [ color="black" label="(6, [0, 1, 2, 3, 4], [10, 10, 10, 10, 10], 0)" ];
  18 [ color="black" label="(6, [0, 1, 2, 3], [10, 10, 10, 10, 2], -2)" ];
  19 [ color="black" label="(6, [1, 3, 4], [5, 10, 5, 10, 10], -3)" ];
  20 [ color="black" label="(6, [1, 3], [5, 10, 5, 10, 2], -5)" ];
  21 [ color="black" label="(5, [4], [5, 7, 5, 5, 10], -5)" ];
  22 [ color="black" label="(8, [0, 3, 4], [10, 2, 5, 10, 10], -3)" ];
  23 [ color="black" label="(8, [0, 3], [10, 2, 5, 10, 2], -5)" ];
  24 [ color="black" label="(9, [0, 3, 4], [10, 2, 4, 10, 10], 0)" ];
  25 [ color="black" label="(9, [0, 3], [10, 2, 4, 10, 2], -2)" ];
  26 [ color="black" label="(8, [1, 2, 4], [5, 10, 10, 5, 10], -3)" ];
  27 [ color="black" label="(10, [0, 1, 3], [10, 10, 5, 10, 2], -4)" ];
  28 [ color="black" label="(10, [0, 1, 3, 4], [10, 10, 5, 10, 10], -2)" ];
  29 [ color="black" label="(10, [0, 4], [10, 0, 4, 5, 10], 0)" ];
  30 [ color="black" label="(8, [1, 2], [5, 10, 10, 5, 2], -5)" ];
  31 [ color="black" label="(10, [0], [10, 0, 4, 5, 2], -2)" ];
  32 [ color="black" label="(9, [], [3, 7, 6, 5, 2], -4)" ];
  33 [ color="black" label="(10, [], [3, 7, 5, 5, 2], -4)" ];
  34 [ color="black" label="(9, [4], [3, 7, 6, 5, 10], -2)" ];
  35 [ color="black" label="(10, [4], [3, 7, 5, 5, 10], -2)" ];
  36 [ color="black" label="(7, [2, 3, 4], [5, 7, 10, 10, 10], -1)" ];
  37 [ color="black" label="(7, [2, 3], [5, 7, 10, 10, 2], -3)" ];
  38 [ color="black" label="(5, [0, 2, 4], [10, 7, 10, 5, 10], -2)" ];
  39 [ color="black" label="(10, [0], [10, 7, 4, 5, 2], -3)" ];
  40 [ color="black" label="(10, [0, 4], [10, 7, 4, 5, 10], -1)" ];
  41 [ color="black" label="(8, [0], [10, 7, 6, 5, 2], -6)" ];
  42 [ color="black" label="(9, [0], [10, 7, 5, 5, 2], -6)" ];
  43 [ color="black" label="(8, [0, 4], [10, 7, 6, 5, 10], -4)" ];
  44 [ color="black" label="(9, [0, 4], [10, 7, 5, 5, 10], -4)" ];
  45 [ color="black" label="(10, [4], [5, 2, 5, 5, 10], -6)" ];
  46 [ color="black" label="(10, [0, 2], [10, 2, 10, 5, 2], -5)" ];
  47 [ color="black" label="(10, [3], [3, 2, 4, 10, 2], 0)" ];
  48 [ color="black" label="(10, [], [5, 2, 5, 5, 2], -8)" ];
  49 [ color="black" label="(5, [0, 1, 4], [10, 10, 5, 5, 10], -4)" ];
  50 [ color="black" label="(10, [3, 4], [3, 2, 4, 10, 10], 2)" ];
  51 [ color="black" label="(3, [1, 3, 4], [5, 10, 6, 10, 10], -3)" ];
  52 [ color="black" label="(9, [3], [3, 2, 5, 10, 2], -3)" ];
  53 [ color="black" label="(9, [3, 4], [3, 2, 5, 10, 10], -1)" ];
  54 [ color="black" label="(10, [0, 2, 4], [10, 2, 10, 5, 10], -3)" ];
  55 [ color="black" label="(3, [1, 2, 3, 4], [5, 10, 10, 10, 10], -1)" ];
  56 [ color="black" label="(6, [2, 3, 4], [5, 7, 10, 10, 10], -1)" ];
  57 [ color="black" label="(6, [2, 3], [5, 7, 10, 10, 2], -3)" ];
  58 [ color="black" label="(10, [0, 4], [10, 7, 6, 5, 10], -4)" ];
  59 [ color="black" label="(10, [0], [10, 7, 6, 5, 2], -6)" ];
  60 [ color="black" label="(8, [0, 1, 3, 4], [10, 10, 5, 10, 10], -2)" ];
  61 [ color="black" label="(9, [0, 1, 3, 4], [10, 10, 4, 10, 10], 1)" ];
  62 [ color="black" label="(8, [0, 1, 3], [10, 10, 5, 10, 2], -4)" ];
  63 [ color="black" label="(9, [0, 1, 3], [10, 10, 4, 10, 2], -1)" ];
  64 [ color="black" label="(7, [1, 3, 4], [5, 10, 5, 10, 10], -3)" ];
  65 [ color="black" label="(10, [3], [3, 2, 5, 10, 2], -3)" ];
  66 [ color="black" label="(10, [3, 4], [3, 2, 5, 10, 10], -1)" ];
  67 [ color="black" label="(10, [3, 4], [5, 7, 5, 10, 10], -3)" ];
  68 [ color="black" label="(7, [1, 3], [5, 10, 5, 10, 2], -5)" ];
  69 [ color="black" label="(10, [0, 1, 2, 4], [10, 10, 10, 5, 10], -2)" ];
  70 [ color="black" label="(10, [3], [5, 7, 5, 10, 2], -5)" ];
  71 [ color="black" label="(10, [0, 1, 2], [10, 10, 10, 5, 2], -4)" ];
  72 [ color="black" label="(9, [0, 3], [10, 2, 5, 10, 2], -5)" ];
  73 [ color="black" label="(10, [0, 3, 4], [10, 2, 4, 10, 10], 0)" ];
  74 [ color="black" label="(7, [0, 2, 4], [10, 7, 10, 5, 10], -2)" ];
  75 [ color="black" label="(10, [0, 3], [10, 2, 4, 10, 2], -2)" ];
  76 [ color="black" label="(7, [0, 2], [10, 7, 10, 5, 2], -4)" ];
  77 [ color="black" label="(9, [1, 2], [5, 10, 10, 5, 2], -5)" ];
  78 [ color="black" label="(9, [1, 2, 4], [5, 10, 10, 5, 10], -3)" ];
  79 [ color="black" label="(9, [0, 3, 4], [10, 2, 5, 10, 10], -3)" ];
  80 [ color="black" label="(8, [2], [3, 7, 10, 5, 2], -2)" ];
  81 [ color="black" label="(8, [4], [5, 2, 5, 5, 10], -6)" ];
  82 [ color="black" label="(9, [1, 3, 4], [3, 10, 5, 10, 10], 0)" ];
  83 [ color="black" label="(8, [2, 4], [3, 7, 10, 5, 10], 0)" ];
  84 [ color="black" label="(8, [], [5, 2, 5, 5, 2], -8)" ];
  85 [ color="black" label="(9, [1, 3], [3, 10, 5, 10, 2], -2)" ];
  86 [ color="black" label="(9, [4], [5, 2, 4, 5, 10], -3)" ];
  87 [ color="black" label="(10, [1, 3, 4], [3, 10, 4, 10, 10], 3)" ];
  88 [ color="black" label="(9, [], [5, 2, 4, 5, 2], -5)" ];
  89 [ color="black" label="(10, [1, 3], [3, 10, 4, 10, 2], 1)" ];
  90 [ color="black" label="(10, [2, 3], [5, 2, 10, 10, 2], -4)" ];
  91 [ color="black" label="(10, [2, 3, 4], [5, 2, 10, 10, 10], -2)" ];
  92 [ color="black" label="(10, [3], [5, 7, 4, 10, 2], -2)" ];
  93 [ color="black" label="(10, [3, 4], [5, 7, 4, 10, 10], 0)" ];
  94 [ color="black" label="(9, [3], [5, 7, 5, 10, 2], -5)" ];
  95 [ color="black" label="(9, [3, 4], [5, 7, 5, 10, 10], -3)" ];
  96 [ color="black" label="(5, [0, 1, 2, 3, 4], [10, 10, 10, 10, 10], 0)" ];
  97 [ color="black" label="(2, [1, 3, 4], [5, 10, 6, 10, 10], -3)" ];
  98 [ color="black" label="(4, [1, 2, 3, 4], [5, 10, 10, 10, 10], -1)" ];
  99 [ color="black" label="(4, [0, 3, 4], [10, 7, 6, 10, 10], -2)" ];
  100 [ color="black" label="(5, [0, 3, 4], [10, 7, 5, 10, 10], -2)" ];
  101 [ color="black" label="(9, [0, 4], [10, 7, 6, 5, 10], -4)" ];
  102 [ color="black" label="(10, [0, 4], [10, 7, 5, 5, 10], -4)" ];
  103 [ color="black" label="(9, [0], [10, 7, 6, 5, 2], -6)" ];
  104 [ color="black" label="(10, [0], [10, 7, 5, 5, 2], -6)" ];
  105 [ color="black" label="(9, [0, 1, 3], [10, 10, 5, 10, 2], -4)" ];
  106 [ color="black" label="(9, [0, 1, 3, 4], [10, 10, 5, 10, 10], -2)" ];
  107 [ color="black" label="(10, [0, 1, 3], [10, 10, 4, 10, 2], -1)" ];
  108 [ color="black" label="(10, [0, 1, 3, 4], [10, 10, 4, 10, 10], 1)" ];
  109 [ color="black" label="(10, [], [3, 7, 6, 5, 2], -4)" ];
  110 [ color="black" label="(10, [4], [3, 7, 6, 5, 10], -2)" ];
  111 [ color="black" label="(8, [1, 3, 4], [5, 10, 5, 10, 10], -3)" ];
  112 [ color="black" label="(8, [2, 3, 4], [5, 2, 10, 10, 10], -2)" ];
  113 [ color="black" label="(9, [1, 3, 4], [5, 10, 4, 10, 10], 0)" ];
  114 [ color="black" label="(8, [1, 3], [5, 10, 5, 10, 2], -5)" ];
  115 [ color="black" label="(9, [1, 3], [5, 10, 4, 10, 2], -2)" ];
  116 [ color="black" label="(3, [0, 2, 3, 4], [10, 7, 10, 10, 10], 0)" ];
  117 [ color="black" label="(8, [2, 3], [5, 2, 10, 10, 2], -4)" ];
  118 [ color="black" label="(10, [0, 3], [10, 2, 5, 10, 2], -5)" ];
  119 [ color="black" label="(8, [3, 4], [3, 7, 5, 10, 10], 0)" ];
  120 [ color="black" label="(10, [2], [5, 7, 10, 5, 2], -5)" ];
  121 [ color="black" label="(10, [1, 2, 4], [5, 10, 10, 5, 10], -3)" ];
  122 [ color="black" label="(10, [2, 4], [5, 7, 10, 5, 10], -3)" ];
  123 [ color="black" label="(10, [1, 2], [5, 10, 10, 5, 2], -5)" ];
  124 [ color="black" label="(10, [0, 3, 4], [10, 2, 5, 10, 10], -3)" ];
  125 [ color="black" label="(9, [1, 2, 3], [3, 10, 10, 10, 2], 0)" ];
  126 [ color="black" label="(9, [1, 2, 3, 4], [3, 10, 10, 10, 10], 2)" ];
  127 [ color="black" label="(5, [2, 3, 4], [5, 7, 10, 10, 10], -1)" ];
  128 [ color="black" label="(6, [0, 3], [10, 7, 6, 10, 2], -4)" ];
  129 [ color="black" label="(7, [0, 3], [10, 7, 5, 10, 2], -4)" ];
  130 [ color="black" label="(6, [0, 3, 4], [10, 7, 6, 10, 10], -2)" ];
  131 [ color="black" label="(7, [0, 3, 4], [10, 7, 5, 10, 10], -2)" ];
  132 [ color="black" label="(9, [1], [3, 10, 4, 5, 2], -1)" ];
  133 [ color="black" label="(9, [1, 4], [3, 10, 4, 5, 10], 1)" ];
  134 [ color="black" label="(8, [1], [3, 10, 5, 5, 2], -4)" ];
  135 [ color="black" label="(8, [1, 4], [3, 10, 5, 5, 10], -2)" ];
  136 [ color="black" label="(10, [2, 4], [5, 0, 10, 5, 10], -2)" ];
  137 [ color="black" label="(7, [0, 1, 4], [10, 10, 5, 5, 10], -4)" ];
  138 [ color="black" label="(7, [0, 1], [10, 10, 5, 5, 2], -6)" ];
  139 [ color="black" label="(10, [2], [5, 0, 10, 5, 2], -4)" ];
  140 [ color="black" label="(5, [1, 2, 3, 4], [5, 10, 10, 10, 10], -1)" ];
  141 [ color="black" label="(9, [2, 4], [3, 7, 10, 5, 10], 0)" ];
  142 [ color="black" label="(6, [0, 3], [10, 7, 5, 10, 2], -4)" ];
  143 [ color="black" label="(9, [2], [3, 7, 10, 5, 2], -2)" ];
  144 [ color="black" label="(5, [0, 3, 4], [10, 7, 6, 10, 10], -2)" ];
  145 [ color="black" label="(6, [0, 3, 4], [10, 7, 5, 10, 10], -2)" ];
  146 [ color="black" label="(7, [0, 2, 3], [10, 2, 10, 10, 2], -3)" ];
  147 [ color="black" label="(4, [2, 3, 4], [5, 7, 10, 10, 10], -1)" ];
  148 [ color="black" label="(8, [0, 2, 4], [10, 7, 10, 5, 10], -2)" ];
  149 [ color="black" label="(7, [0, 2, 3, 4], [10, 2, 10, 10, 10], -1)" ];
  150 [ color="black" label="(8, [0, 2], [10, 7, 10, 5, 2], -4)" ];
  151 [ color="black" label="(10, [3, 4], [3, 0, 4, 10, 10], 4)" ];
  152 [ color="black" label="(9, [0, 1, 2, 3, 4], [10, 10, 10, 10, 10], 0)" ];
  153 [ color="black" label="(9, [0, 1, 2, 3], [10, 10, 10, 10, 2], -2)" ];
  154 [ color="black" label="(10, [3], [3, 0, 4, 10, 2], 2)" ];
  155 [ color="black" label="(7, [4], [5, 2, 5, 5, 10], -6)" ];
  156 [ color="black" label="(7, [], [5, 2, 5, 5, 2], -8)" ];
  157 [ color="black" label="(9, [1, 3], [5, 10, 5, 10, 2], -5)" ];
  158 [ color="black" label="(9, [1, 3, 4], [5, 10, 5, 10, 10], -3)" ];
  159 [ color="black" label="(9, [2, 3, 4], [5, 2, 10, 10, 10], -2)" ];
  160 [ color="black" label="(10, [1, 3, 4], [5, 10, 4, 10, 10], 0)" ];
  161 [ color="black" label="(10, [1, 3], [5, 10, 4, 10, 2], -2)" ];
  162 [ color="black" label="(9, [2, 3], [5, 2, 10, 10, 2], -4)" ];
  163 [ color="black" label="(9, [3], [5, 7, 4, 10, 2], -2)" ];
  164 [ color="black" label="(9, [3, 4], [5, 7, 4, 10, 10], 0)" ];
  165 [ color="black" label="(8, [3], [5, 7, 5, 10, 2], -5)" ];
  166 [ color="black" label="(8, [3, 4], [5, 7, 5, 10, 10], -3)" ];
  167 [ color="black" label="(8, [2, 3, 4], [3, 2, 10, 10, 10], 1)" ];
  168 [ color="black" label="(8, [2, 3], [3, 2, 10, 10, 2], -1)" ];
  169 [ color="black" label="(4, [0, 1, 2, 4], [10, 10, 10, 5, 10], -2)" ];
  170 [ color="black" label="(10, [1, 2, 3], [3, 10, 10, 10, 2], 0)" ];
  171 [ color="black" label="(10, [1, 2, 3, 4], [3, 10, 10, 10, 10], 2)" ];
  172 [ color="black" label="(10, [3], [5, 0, 5, 10, 2], -4)" ];
  173 [ color="black" label="(9, [0, 3], [10, 7, 4, 10, 2], -1)" ];
  174 [ color="black" label="(9, [0, 3, 4], [10, 7, 4, 10, 10], 1)" ];
  175 [ color="black" label="(7, [0, 3], [10, 7, 6, 10, 2], -4)" ];
  176 [ color="black" label="(10, [3, 4], [5, 0, 5, 10, 10], -2)" ];
  177 [ color="black" label="(8, [0, 3], [10, 7, 5, 10, 2], -4)" ];
  178 [ color="black" label="(7, [0, 3, 4], [10, 7, 6, 10, 10], -2)" ];
  179 [ color="black" label="(8, [0, 3, 4], [10, 7, 5, 10, 10], -2)" ];
  180 [ color="black" label="(10, [0, 2], [10, 7, 10, 5, 2], -4)" ];
  181 [ color="black" label="(7, [3], [5, 7, 5, 10, 2], -5)" ];
  182 [ color="black" label="(10, [0, 2, 4], [10, 7, 10, 5, 10], -2)" ];
  183 [ color="black" label="(8, [3], [3, 7, 6, 10, 2], -2)" ];
  184 [ color="black" label="(7, [3, 4], [5, 7, 5, 10, 10], -3)" ];
  185 [ color="black" label="(9, [3], [3, 7, 5, 10, 2], -2)" ];
  186 [ color="black" label="(10, [3], [3, 7, 4, 10, 2], 1)" ];
  187 [ color="black" label="(10, [3, 4], [3, 7, 4, 10, 10], 3)" ];
  188 [ color="black" label="(9, [2, 3], [3, 2, 10, 10, 2], -1)" ];
  189 [ color="black" label="(7, [0, 1, 2, 3, 4], [10, 10, 10, 10, 10], 0)" ];
  190 [ color="black" label="(7, [0, 1, 2, 3], [10, 10, 10, 10, 2], -2)" ];
  191 [ color="black" label="(6, [1, 2, 3, 4], [5, 10, 10, 10, 10], -1)" ];
  192 [ color="black" label="(9, [2, 3, 4], [3, 2, 10, 10, 10], 1)" ];
  193 [ color="black" label="(6, [1, 2, 3], [5, 10, 10, 10, 2], -3)" ];
  194 [ color="black" label="(7, [2, 3], [5, 2, 10, 10, 2], -4)" ];
  195 [ color="black" label="(7, [2, 3, 4], [5, 2, 10, 10, 10], -2)" ];
  196 [ color="black" label="(9, [2], [5, 7, 10, 5, 2], -5)" ];
  197 [ color="black" label="(8, [0, 2, 3], [10, 2, 10, 10, 2], -3)" ];
  198 [ color="black" label="(8, [3, 4], [3, 7, 6, 10, 10], 0)" ];
  199 [ color="black" label="(9, [3, 4], [3, 7, 5, 10, 10], 0)" ];
  200 [ color="black" label="(10, [3], [3, 0, 5, 10, 2], -1)" ];
  201 [ color="black" label="(8, [0, 2, 3, 4], [10, 2, 10, 10, 10], -1)" ];
  202 [ color="black" label="(9, [2, 4], [5, 7, 10, 5, 10], -3)" ];
  203 [ color="black" label="(8, [1, 2, 3, 4], [3, 10, 10, 10, 10], 2)" ];
  204 [ color="black" label="(10, [1, 3], [5, 10, 5, 10, 2], -5)" ];
  205 [ color="black" label="(10, [3, 4], [3, 0, 5, 10, 10], 1)" ];
  206 [ color="black" label="(10, [1, 3, 4], [5, 10, 5, 10, 10], -3)" ];
  207 [ color="black" label="(8, [1, 2, 3], [3, 10, 10, 10, 2], 0)" ];
  208 [ color="black" label="(8, [2], [5, 7, 10, 5, 2], -5)" ];
  209 [ color="black" label="(8, [4], [3, 2, 5, 5, 10], -3)" ];
  210 [ color="black" label="(9, [], [3, 2, 4, 5, 2], -2)" ];
  211 [ color="black" label="(9, [4], [3, 2, 4, 5, 10], 0)" ];
  212 [ color="black" label="(8, [2, 4], [5, 7, 10, 5, 10], -3)" ];
  213 [ color="black" label="(5, [1, 4], [5, 10, 5, 5, 10], -5)" ];
  214 [ color="black" label="(8, [], [3, 2, 5, 5, 2], -5)" ];
  215 [ color="black" label="(6, [0, 1, 4], [10, 10, 5, 5, 10], -4)" ];
  216 [ color="black" label="(6, [0, 1], [10, 10, 5, 5, 2], -6)" ];
  217 [ color="black" label="(10, [2, 4], [3, 7, 10, 5, 10], 0)" ];
  218 [ color="black" label="(10, [3, 4], [5, 0, 4, 10, 10], 1)" ];
  219 [ color="black" label="(10, [2], [3, 7, 10, 5, 2], -2)" ];
  220 [ color="black" label="(4, [0, 2, 3, 4], [10, 7, 10, 10, 10], 0)" ];
  221 [ color="black" label="(9, [0, 2, 4], [10, 7, 10, 5, 10], -2)" ];
  222 [ color="black" label="(3, [2, 3, 4], [5, 7, 10, 10, 10], -1)" ];
  223 [ color="black" label="(9, [3], [3, 7, 4, 10, 2], 1)" ];
  224 [ color="black" label="(8, [3], [3, 7, 5, 10, 2], -2)" ];
  225 [ color="black" label="(10, [3], [5, 0, 4, 10, 2], -1)" ];
  226 [ color="black" label="(10, [0, 3], [10, 0, 5, 10, 2], -3)" ];
  227 [ color="black" label="(9, [0, 2], [10, 7, 10, 5, 2], -4)" ];
  228 [ color="black" label="(9, [3, 4], [3, 7, 4, 10, 10], 3)" ];
  229 [ color="black" label="(7, [0], [10, 2, 5, 5, 2], -7)" ];
  230 [ color="black" label="(10, [0, 3, 4], [10, 0, 5, 10, 10], -1)" ];
  231 [ color="black" label="(8, [0, 1, 2, 3, 4], [10, 10, 10, 10, 10], 0)" ];
  232 [ color="black" label="(8, [0, 1, 2, 3], [10, 10, 10, 10, 2], -2)" ];
  233 [ color="black" label="(7, [1, 2, 3, 4], [5, 10, 10, 10, 10], -1)" ];
  234 [ color="black" label="(7, [0, 4], [10, 2, 5, 5, 10], -5)" ];
  235 [ color="black" label="(9, [3, 4], [5, 2, 5, 10, 10], -4)" ];
  236 [ color="black" label="(7, [1, 2, 3], [5, 10, 10, 10, 2], -3)" ];
  237 [ color="black" label="(9, [3], [5, 2, 5, 10, 2], -6)" ];
  238 [ color="black" label="(10, [3, 4], [5, 2, 4, 10, 10], -1)" ];
  239 [ color="black" label="(0, [0, 1, 2, 3, 4], [10, 10, 10, 10, 10], 0)" ];
  240 [ color="black" label="(10, [3], [5, 2, 4, 10, 2], -3)" ];
  241 [ color="black" label="(9, [0, 2, 3], [10, 2, 10, 10, 2], -3)" ];
  242 [ color="black" label="(9, [0, 2, 3, 4], [10, 2, 10, 10, 10], -1)" ];
  243 [ color="black" label="(6, [0, 2, 3, 4], [10, 7, 10, 10, 10], 0)" ];
  244 [ color="black" label="(3, [0, 1, 3, 4], [10, 10, 6, 10, 10], -2)" ];
  245 [ color="black" label="(6, [0, 2, 3], [10, 7, 10, 10, 2], -2)" ];
  246 [ color="black" label="(6, [3], [5, 7, 5, 10, 2], -5)" ];
  247 [ color="black" label="(6, [3, 4], [5, 7, 5, 10, 10], -3)" ];
  248 [ color="black" label="(10, [2, 3], [3, 2, 10, 10, 2], -1)" ];
  249 [ color="black" label="(6, [1, 4], [5, 10, 5, 5, 10], -5)" ];
  250 [ color="black" label="(6, [1], [5, 10, 5, 5, 2], -7)" ];
  251 [ color="black" label="(6, [0, 1, 2], [10, 10, 10, 5, 2], -4)" ];
  252 [ color="black" label="(6, [0, 1, 2, 4], [10, 10, 10, 5, 10], -2)" ];
  253 [ color="black" label="(10, [2, 3, 4], [3, 2, 10, 10, 10], 1)" ];
  254 [ color="black" label="(10, [0, 1, 4], [10, 10, 5, 5, 10], -4)" ];
  255 [ color="black" label="(5, [3, 4], [5, 7, 5, 10, 10], -3)" ];
  256 [ color="black" label="(10, [0, 3], [10, 0, 4, 10, 2], 0)" ];
  257 [ color="black" label="(10, [0, 3, 4], [10, 0, 4, 10, 10], 2)" ];
  258 [ color="black" label="(8, [0], [10, 2, 5, 5, 2], -7)" ];
  259 [ color="black" label="(9, [3], [3, 7, 6, 10, 2], -2)" ];
  260 [ color="black" label="(10, [3], [3, 7, 5, 10, 2], -2)" ];
  261 [ color="black" label="(9, [0, 4], [10, 2, 4, 5, 10], -2)" ];
  262 [ color="black" label="(9, [3, 4], [3, 7, 6, 10, 10], 0)" ];
  263 [ color="black" label="(10, [3, 4], [3, 7, 5, 10, 10], 0)" ];
  264 [ color="black" label="(9, [0], [10, 2, 4, 5, 2], -4)" ];
  265 [ color="black" label="(10, [0, 1], [10, 10, 5, 5, 2], -6)" ];
  266 [ color="black" label="(8, [1, 2, 3], [5, 10, 10, 10, 2], -3)" ];
  267 [ color="black" label="(8, [1, 2, 3, 4], [5, 10, 10, 10, 10], -1)" ];
  268 [ color="black" label="(8, [0, 4], [10, 2, 5, 5, 10], -5)" ];
  269 [ color="black" label="(10, [3, 4], [5, 2, 5, 10, 10], -4)" ];
  270 [ color="black" label="(10, [3], [5, 2, 5, 10, 2], -6)" ];
  271 [ color="black" label="(10, [0, 3], [10, 7, 4, 10, 2], -1)" ];
  272 [ color="black" label="(10, [0, 3, 4], [10, 7, 4, 10, 10], 1)" ];
  273 [ color="black" label="(1, [0, 1, 2, 3, 4], [10, 10, 10, 10, 10], 0)" ];
  274 [ color="black" label="(8, [0, 3], [10, 7, 6, 10, 2], -4)" ];
  275 [ color="black" label="(7, [2, 4], [5, 7, 10, 5, 10], -3)" ];
  276 [ color="black" label="(9, [0, 3], [10, 7, 5, 10, 2], -4)" ];
  277 [ color="black" label="(9, [4], [3, 2, 5, 5, 10], -3)" ];
  278 [ color="black" label="(8, [0, 3, 4], [10, 7, 6, 10, 10], -2)" ];
  279 [ color="black" label="(7, [2], [5, 7, 10, 5, 2], -5)" ];
  280 [ color="black" label="(9, [0, 3, 4], [10, 7, 5, 10, 10], -2)" ];
  281 [ color="black" label="(10, [0, 2, 3, 4], [10, 2, 10, 10, 10], -1)" ];
  282 [ color="black" label="(10, [0, 2, 3], [10, 2, 10, 10, 2], -3)" ];
  283 [ color="black" label="(10, [], [3, 2, 4, 5, 2], -2)" ];
  284 [ color="black" label="(5, [0, 1, 3, 4], [10, 10, 5, 10, 10], -2)" ];
  285 [ color="black" label="(10, [4], [3, 2, 4, 5, 10], 0)" ];
  286 [ color="black" label="(9, [], [3, 2, 5, 5, 2], -5)" ];
  287 [ color="black" label="(5, [0, 2, 3, 4], [10, 7, 10, 10, 10], 0)" ];
  288 [ color="black" label="(9, [1, 4], [3, 10, 5, 5, 10], -2)" ];
  289 [ color="black" label="(9, [1], [3, 10, 5, 5, 2], -4)" ];
  290 [ color="black" label="(10, [1, 4], [3, 10, 4, 5, 10], 1)" ];
  291 [ color="black" label="(10, [1], [3, 10, 4, 5, 2], -1)" ];
  292 [ color="black" label="(10, [], [3, 2, 5, 5, 2], -5)" ];
  293 [ color="black" label="(6, [2, 4], [5, 7, 10, 5, 10], -3)" ];
  294 [ color="black" label="(10, [4], [3, 2, 5, 5, 10], -3)" ];
  295 [ color="black" label="(6, [2], [5, 7, 10, 5, 2], -5)" ];
  296 [ color="black" label="(8, [2, 3], [3, 7, 10, 10, 2], 0)" ];
  297 [ color="black" label="(10, [0, 3, 4], [10, 7, 6, 10, 10], -2)" ];
  298 [ color="black" label="(10, [0, 3], [10, 7, 6, 10, 2], -4)" ];
  299 [ color="black" label="(7, [1, 4], [5, 10, 5, 5, 10], -5)" ];
  300 [ color="black" label="(7, [1], [5, 10, 5, 5, 2], -7)" ];
  301 [ color="black" label="(8, [0, 1, 4], [10, 10, 5, 5, 10], -4)" ];
  302 [ color="black" label="(9, [0, 1, 4], [10, 10, 4, 5, 10], -1)" ];
  303 [ color="black" label="(10, [0, 2], [10, 0, 10, 5, 2], -3)" ];
  304 [ color="black" label="(8, [0, 1], [10, 10, 5, 5, 2], -6)" ];
  305 [ color="black" label="(9, [0, 1], [10, 10, 4, 5, 2], -3)" ];
  306 [ color="black" label="(10, [0, 2, 4], [10, 0, 10, 5, 10], -1)" ];
  307 [ color="black" label="(8, [3, 4], [5, 2, 5, 10, 10], -4)" ];
  308 [ color="black" label="(8, [3], [5, 2, 5, 10, 2], -6)" ];
  309 [ color="black" label="(10, [], [5, 7, 5, 5, 2], -7)" ];
  310 [ color="black" label="(9, [3, 4], [5, 2, 4, 10, 10], -1)" ];
  311 [ color="black" label="(9, [3], [5, 2, 4, 10, 2], -3)" ];
  312 [ color="black" label="(8, [2, 3, 4], [3, 7, 10, 10, 10], 2)" ];
  313 [ color="black" label="(10, [0, 4], [10, 2, 4, 5, 10], -2)" ];
  314 [ color="black" label="(10, [0], [10, 2, 4, 5, 2], -4)" ];
  315 [ color="black" label="(10, [0, 1, 2, 3], [10, 10, 10, 10, 2], -2)" ];
  316 [ color="black" label="(10, [4], [5, 7, 5, 5, 10], -5)" ];
  317 [ color="black" label="(7, [0, 2, 3, 4], [10, 7, 10, 10, 10], 0)" ];
  318 [ color="black" label="(2, [0, 1, 3, 4], [10, 10, 6, 10, 10], -2)" ];
  319 [ color="black" label="(9, [1, 2, 3, 4], [5, 10, 10, 10, 10], -1)" ];
  320 [ color="black" label="(7, [0, 2, 3], [10, 7, 10, 10, 2], -2)" ];
  321 [ color="black" label="(9, [1, 2, 3], [5, 10, 10, 10, 2], -3)" ];
  322 [ color="black" label="(10, [0, 1, 2, 3, 4], [10, 10, 10, 10, 10], 0)" ];
  323 [ color="black" label="(9, [0, 4], [10, 2, 5, 5, 10], -5)" ];
  324 [ color="black" label="(9, [0], [10, 2, 5, 5, 2], -7)" ];
  325 [ color="black" label="(10, [], [5, 7, 4, 5, 2], -4)" ];
  326 [ color="black" label="(10, [4], [5, 7, 4, 5, 10], -2)" ];
  327 [ color="black" label="(9, [], [5, 7, 5, 5, 2], -7)" ];
  328 [ color="black" label="(10, [2, 4], [5, 2, 10, 5, 10], -4)" ];
  329 [ color="black" label="(4, [1, 2, 4], [5, 10, 10, 5, 10], -3)" ];
  330 [ color="black" label="(9, [4], [5, 7, 5, 5, 10], -5)" ];
  331 [ color="black" label="(5, [0, 1, 2, 4], [10, 10, 10, 5, 10], -2)" ];
  332 [ color="black" label="(10, [2], [5, 2, 10, 5, 2], -6)" ];
  333 [ color="black" label="(10, [1], [3, 10, 5, 5, 2], -4)" ];
  334 [ color="black" label="(9, [0, 1, 4], [10, 10, 5, 5, 10], -4)" ];
  335 [ color="black" label="(3, [3, 4], [5, 7, 6, 10, 10], -3)" ];
  336 [ color="black" label="(10, [1, 4], [3, 10, 5, 5, 10], -2)" ];
  337 [ color="black" label="(10, [3], [3, 7, 6, 10, 2], -2)" ];
  338 [ color="black" label="(4, [0, 4], [10, 7, 6, 5, 10], -4)" ];
  339 [ color="black" label="(5, [0, 4], [10, 7, 5, 5, 10], -4)" ];
  340 [ color="black" label="(10, [3, 4], [3, 7, 6, 10, 10], 0)" ];
  341 [ color="black" label="(9, [0, 3, 4], [10, 7, 6, 10, 10], -2)" ];
  342 [ color="black" label="(10, [0, 3, 4], [10, 7, 5, 10, 10], -2)" ];
  343 [ color="black" label="(8, [1, 4], [5, 10, 5, 5, 10], -5)" ];
  344 [ color="black" label="(9, [0, 3], [10, 7, 6, 10, 2], -4)" ];
  345 [ color="black" label="(9, [1, 4], [5, 10, 4, 5, 10], -2)" ];
  346 [ color="black" label="(10, [0, 3], [10, 7, 5, 10, 2], -4)" ];
  347 [ color="black" label="(8, [1], [5, 10, 5, 5, 2], -7)" ];
  348 [ color="black" label="(9, [1], [5, 10, 4, 5, 2], -4)" ];
  349 [ color="black" label="(10, [0, 1, 4], [10, 10, 4, 5, 10], -1)" ];
  350 [ color="black" label="(9, [0, 1], [10, 10, 5, 5, 2], -6)" ];
  351 [ color="black" label="(10, [0, 1], [10, 10, 4, 5, 2], -3)" ];
  352 [ color="black" label="(10, [2, 3], [5, 7, 10, 10, 2], -3)" ];
  353 [ color="black" label="(10, [2, 3, 4], [5, 7, 10, 10, 10], -1)" ];
  354 [ color="black" label="(9, [4], [3, 7, 4, 5, 10], 1)" ];
  355 [ color="black" label="(10, [2, 3], [3, 0, 10, 10, 2], 1)" ];
  356 [ color="black" label="(3, [0, 1, 2, 3, 4], [10, 10, 10, 10, 10], 0)" ];
  357 [ color="black" label="(9, [], [3, 7, 4, 5, 2], -1)" ];
  358 [ color="black" label="(8, [4], [3, 7, 5, 5, 10], -2)" ];
  359 [ color="black" label="(10, [2, 3, 4], [3, 0, 10, 10, 10], 3)" ];
  360 [ color="black" label="(8, [2], [5, 2, 10, 5, 2], -6)" ];
  361 [ color="black" label="(10, [1, 2, 3], [5, 10, 10, 10, 2], -3)" ];
  362 [ color="black" label="(8, [], [3, 7, 5, 5, 2], -4)" ];
  363 [ color="black" label="(8, [2, 4], [5, 2, 10, 5, 10], -4)" ];
  364 [ color="black" label="(10, [0, 4], [10, 2, 5, 5, 10], -5)" ];
  365 [ color="black" label="(10, [1, 2, 3, 4], [5, 10, 10, 10, 10], -1)" ];
  366 [ color="black" label="(10, [0], [10, 2, 5, 5, 2], -7)" ];
  367 [ color="black" label="(10, [2, 3], [5, 0, 10, 10, 2], -2)" ];
  368 [ color="black" label="(10, [2, 3, 4], [5, 0, 10, 10, 10], 0)" ];
  369 [ color="black" label="(5, [2, 4], [5, 7, 10, 5, 10], -3)" ];
  370 [ color="black" label="(6, [0], [10, 7, 6, 5, 2], -6)" ];
  371 [ color="black" label="(7, [0], [10, 7, 5, 5, 2], -6)" ];
  372 [ color="black" label="(7, [0, 1, 3, 4], [10, 10, 5, 10, 10], -2)" ];
  373 [ color="black" label="(6, [0, 4], [10, 7, 6, 5, 10], -4)" ];
  374 [ color="black" label="(7, [0, 4], [10, 7, 5, 5, 10], -4)" ];
  375 [ color="black" label="(5, [1, 2, 4], [5, 10, 10, 5, 10], -3)" ];
  376 [ color="black" label="(7, [0, 1, 3], [10, 10, 5, 10, 2], -4)" ];
  377 [ color="black" label="(9, [0, 1, 2, 4], [10, 10, 10, 5, 10], -2)" ];
  378 [ color="black" label="(4, [2, 4], [5, 7, 10, 5, 10], -3)" ];
  379 [ color="black" label="(7, [3, 4], [5, 2, 5, 10, 10], -4)" ];
  380 [ color="black" label="(7, [3], [5, 2, 5, 10, 2], -6)" ];
  381 [ color="black" label="(9, [2, 3, 4], [3, 7, 10, 10, 10], 2)" ];
  382 [ color="black" label="(6, [0], [10, 7, 5, 5, 2], -6)" ];
  383 [ color="black" label="(9, [2, 3], [3, 7, 10, 10, 2], 0)" ];
  384 [ color="black" label="(5, [0, 4], [10, 7, 6, 5, 10], -4)" ];
  385 [ color="black" label="(6, [0, 4], [10, 7, 5, 5, 10], -4)" ];
  386 [ color="black" label="(9, [1, 3, 4], [3, 10, 4, 10, 10], 3)" ];
  387 [ color="black" label="(9, [1, 4], [5, 10, 5, 5, 10], -5)" ];
  388 [ color="black" label="(8, [1, 3], [3, 10, 5, 10, 2], -2)" ];
  389 [ color="black" label="(7, [0, 2], [10, 2, 10, 5, 2], -5)" ];
  390 [ color="black" label="(9, [1], [5, 10, 5, 5, 2], -7)" ];
  391 [ color="black" label="(8, [0, 2, 3, 4], [10, 7, 10, 10, 10], 0)" ];
  392 [ color="black" label="(8, [1, 3, 4], [3, 10, 5, 10, 10], 0)" ];
  393 [ color="black" label="(8, [0, 2, 3], [10, 7, 10, 10, 2], -2)" ];
  394 [ color="black" label="(10, [1, 4], [5, 10, 4, 5, 10], -2)" ];
  395 [ color="black" label="(10, [], [3, 0, 4, 5, 2], 0)" ];
  396 [ color="black" label="(10, [1], [5, 10, 4, 5, 2], -4)" ];
  397 [ color="black" label="(10, [4], [3, 0, 4, 5, 10], 2)" ];
  398 [ color="black" label="(7, [0, 2, 4], [10, 2, 10, 5, 10], -3)" ];
  399 [ color="black" label="(9, [0, 1, 2], [10, 10, 10, 5, 2], -4)" ];
  400 [ color="black" label="(9, [1, 3], [3, 10, 4, 10, 2], 1)" ];
  401 [ color="black" label="(9, [], [5, 7, 4, 5, 2], -4)" ];
  402 [ color="black" label="(9, [4], [5, 7, 4, 5, 10], -2)" ];
  403 [ color="black" label="(8, [], [5, 7, 5, 5, 2], -7)" ];
  404 [ color="black" label="(8, [4], [5, 7, 5, 5, 10], -5)" ];
  405 [ color="black" label="(8, [2, 4], [3, 2, 10, 5, 10], -1)" ];
  406 [ color="black" label="(10, [0, 2, 3, 4], [10, 0, 10, 10, 10], 1)" ];
  407 [ color="black" label="(10, [0, 2, 3], [10, 0, 10, 10, 2], -1)" ];
  408 [ color="black" label="(4, [0, 1, 2, 3, 4], [10, 10, 10, 10, 10], 0)" ];
  409 [ color="black" label="(9, [2], [5, 2, 10, 5, 2], -6)" ];
  410 [ color="black" label="(8, [2], [3, 2, 10, 5, 2], -3)" ];
  411 [ color="black" label="(9, [2, 4], [5, 2, 10, 5, 10], -4)" ];
  412 [ color="black" label="(8, [1, 2, 4], [3, 10, 10, 5, 10], 0)" ];
  413 [ color="black" label="(8, [1, 2], [3, 10, 10, 5, 2], -2)" ];
  414 [ color="black" label="(9, [2, 4], [3, 2, 10, 5, 10], -1)" ];
  415 [ color="black" label="(7, [], [5, 7, 5, 5, 2], -7)" ];
  416 [ color="black" label="(9, [2], [3, 2, 10, 5, 2], -3)" ];
  417 [ color="black" label="(7, [4], [5, 7, 5, 5, 10], -5)" ];
  418 [ color="black" label="(9, [0], [10, 7, 4, 5, 2], -3)" ];
  419 [ color="black" label="(9, [0, 4], [10, 7, 4, 5, 10], -1)" ];
  420 [ color="black" label="(7, [0], [10, 7, 6, 5, 2], -6)" ];
  421 [ color="black" label="(8, [0], [10, 7, 5, 5, 2], -6)" ];
  422 [ color="black" label="(10, [0, 2, 3, 4], [10, 7, 10, 10, 10], 0)" ];
  423 [ color="black" label="(7, [0, 4], [10, 7, 6, 5, 10], -4)" ];
  424 [ color="black" label="(8, [0, 4], [10, 7, 5, 5, 10], -4)" ];
  425 [ color="black" label="(6, [1, 2], [5, 10, 10, 5, 2], -5)" ];
  426 [ color="black" label="(6, [1, 2, 4], [5, 10, 10, 5, 10], -3)" ];
  427 [ color="black" label="(10, [0, 2, 3], [10, 7, 10, 10, 2], -2)" ];
  428 [ color="black" label="(7, [0, 1, 2], [10, 10, 10, 5, 2], -4)" ];
  429 [ color="black" label="(7, [0, 1, 2, 4], [10, 10, 10, 5, 10], -2)" ];
  430 [ color="black" label="(10, [4], [5, 0, 5, 5, 10], -4)" ];
  431 [ color="black" label="(10, [], [5, 0, 5, 5, 2], -6)" ];
  432 [ color="black" label="(9, [2, 3, 4], [5, 7, 10, 10, 10], -1)" ];
  433 [ color="black" label="(9, [2, 3], [5, 7, 10, 10, 2], -3)" ];
  434 [ color="black" label="(10, [], [3, 0, 5, 5, 2], -3)" ];
  435 [ color="black" label="(10, [4], [3, 0, 5, 5, 10], -1)" ];
  436 [ color="black" label="(10, [1, 4], [5, 10, 5, 5, 10], -5)" ];
  437 [ color="black" label="(10, [], [3, 7, 4, 5, 2], -1)" ];
  438 [ color="black" label="(2, [0, 1, 2, 3, 4], [10, 10, 10, 10, 10], 0)" ];
  439 [ color="black" label="(10, [1], [5, 10, 5, 5, 2], -7)" ];
  440 [ color="black" label="(7, [2, 4], [5, 2, 10, 5, 10], -4)" ];
  441 [ color="black" label="(8, [4], [3, 7, 6, 5, 10], -2)" ];
  442 [ color="black" label="(9, [4], [3, 7, 5, 5, 10], -2)" ];
  443 [ color="black" label="(10, [4], [3, 7, 4, 5, 10], 1)" ];
  444 [ color="black" label="(8, [], [3, 7, 6, 5, 2], -4)" ];
  445 [ color="black" label="(9, [], [3, 7, 5, 5, 2], -4)" ];
  446 [ color="black" label="(8, [0, 2], [10, 2, 10, 5, 2], -5)" ];
  447 [ color="black" label="(7, [2], [5, 2, 10, 5, 2], -6)" ];
  448 [ color="black" label="(8, [0, 2, 4], [10, 2, 10, 5, 10], -3)" ];
  449 [ color="black" label="(8, [2, 3, 4], [5, 7, 10, 10, 10], -1)" ];
  450 [ color="black" label="(8, [2, 3], [5, 7, 10, 10, 2], -3)" ];
  451 [ color="black" label="(1, [1, 2, 3, 4], [5, 10, 10, 10, 10], -1)" ];
  452 [ color="black" label="(6, [0, 1, 3, 4], [10, 10, 5, 10, 10], -2)" ];
  453 [ color="black" label="(6, [0, 1, 3], [10, 10, 5, 10, 2], -4)" ];
  454 [ color="black" label="(9, [3], [3, 2, 4, 10, 2], 0)" ];
  455 [ color="black" label="(9, [3, 4], [3, 2, 4, 10, 10], 2)" ];
  456 [ color="black" label="(8, [3], [3, 2, 5, 10, 2], -3)" ];
  457 [ color="black" label="(8, [3, 4], [3, 2, 5, 10, 10], -1)" ];
  458 [ color="black" label="(5, [1, 3, 4], [5, 10, 5, 10, 10], -3)" ];
  459 [ color="black" label="(9, [1, 2], [3, 10, 10, 5, 2], -2)" ];
  460 [ color="black" label="(8, [0, 1, 2, 4], [10, 10, 10, 5, 10], -2)" ];
  461 [ color="black" label="(7, [0, 3, 4], [10, 2, 5, 10, 10], -3)" ];
  462 [ color="black" label="(7, [0, 3], [10, 2, 5, 10, 2], -5)" ];
  463 [ color="black" label="(10, [2, 3, 4], [3, 7, 10, 10, 10], 2)" ];
  464 [ color="black" label="(9, [1, 2, 4], [3, 10, 10, 5, 10], 0)" ];
  465 [ color="black" label="(10, [2, 3], [3, 7, 10, 10, 2], 0)" ];
  466 [ color="black" label="(4, [0, 2, 4], [10, 7, 10, 5, 10], -2)" ];
  467 [ color="black" label="(9, [0, 2, 3], [10, 7, 10, 10, 2], -2)" ];
  468 [ color="black" label="(7, [1, 2], [5, 10, 10, 5, 2], -5)" ];
  469 [ color="black" label="(9, [0, 2, 3, 4], [10, 7, 10, 10, 10], 0)" ];
  470 [ color="black" label="(7, [1, 2, 4], [5, 10, 10, 5, 10], -3)" ];
  471 [ color="black" label="(10, [4], [5, 0, 4, 5, 10], -1)" ];
  472 [ color="black" label="(10, [0, 4], [10, 0, 5, 5, 10], -3)" ];
  473 [ color="black" label="(10, [], [5, 0, 4, 5, 2], -3)" ];
  474 [ color="black" label="(8, [0, 1, 2], [10, 10, 10, 5, 2], -4)" ];
  475 [ color="black" label="(10, [0], [10, 0, 5, 5, 2], -5)" ];
  318 -> 1 [ label="1" ];
  38 -> 2 [ label="0" ];
  38 -> 3 [ label="1" ];
  81 -> 4 [ label="0" ];
  82 -> 5 [ label="0" ];
  84 -> 6 [ label="0" ];
  85 -> 7 [ label="0" ];
  86 -> 8 [ label="0" ];
  446 -> 9 [ label="0" ];
  88 -> 10 [ label="0" ];
  448 -> 11 [ label="0" ];
  451 -> 12 [ label="0" ];
  21 -> 13 [ label="1" ];
  21 -> 14 [ label="0" ];
  416 -> 15 [ label="0" ];
  414 -> 16 [ label="0" ];
  96 -> 17 [ label="0" ];
  96 -> 18 [ label="1" ];
  458 -> 19 [ label="0" ];
  458 -> 20 [ label="1" ];
  378 -> 21 [ label="1" ];
  461 -> 22 [ label="0" ];
  462 -> 23 [ label="0" ];
  201 -> 24 [ label="1" ];
  197 -> 25 [ label="1" ];
  470 -> 26 [ label="0" ];
  105 -> 27 [ label="0" ];
  106 -> 28 [ label="0" ];
  302 -> 29 [ label="1" ];
  468 -> 30 [ label="0" ];
  305 -> 31 [ label="1" ];
  444 -> 32 [ label="0" ];
  445 -> 33 [ label="0" ];
  441 -> 34 [ label="0" ];
  442 -> 35 [ label="0" ];
  56 -> 36 [ label="0" ];
  57 -> 37 [ label="0" ];
  466 -> 38 [ label="0" ];
  418 -> 39 [ label="0" ];
  419 -> 40 [ label="0" ];
  420 -> 41 [ label="0" ];
  421 -> 42 [ label="0" ];
  423 -> 43 [ label="0" ];
  424 -> 44 [ label="0" ];
  4 -> 45 [ label="0" ];
  9 -> 46 [ label="0" ];
  454 -> 47 [ label="0" ];
  6 -> 48 [ label="0" ];
  169 -> 49 [ label="1" ];
  455 -> 50 [ label="0" ];
  97 -> 51 [ label="0" ];
  456 -> 52 [ label="0" ];
  457 -> 53 [ label="0" ];
  11 -> 54 [ label="0" ];
  12 -> 55 [ label="0" ];
  127 -> 56 [ label="0" ];
  127 -> 57 [ label="1" ];
  101 -> 58 [ label="0" ];
  103 -> 59 [ label="0" ];
  372 -> 60 [ label="0" ];
  231 -> 61 [ label="1" ];
  376 -> 62 [ label="0" ];
  232 -> 63 [ label="1" ];
  19 -> 64 [ label="0" ];
  52 -> 65 [ label="0" ];
  53 -> 66 [ label="0" ];
  95 -> 67 [ label="0" ];
  20 -> 68 [ label="0" ];
  377 -> 69 [ label="0" ];
  94 -> 70 [ label="0" ];
  399 -> 71 [ label="0" ];
  23 -> 72 [ label="0" ];
  24 -> 73 [ label="0" ];
  2 -> 74 [ label="0" ];
  25 -> 75 [ label="0" ];
  3 -> 76 [ label="0" ];
  30 -> 77 [ label="0" ];
  26 -> 78 [ label="0" ];
  22 -> 79 [ label="0" ];
  76 -> 80 [ label="1" ];
  155 -> 81 [ label="0" ];
  392 -> 82 [ label="0" ];
  74 -> 83 [ label="1" ];
  156 -> 84 [ label="0" ];
  388 -> 85 [ label="0" ];
  363 -> 86 [ label="1" ];
  386 -> 87 [ label="0" ];
  360 -> 88 [ label="1" ];
  400 -> 89 [ label="0" ];
  162 -> 90 [ label="0" ];
  159 -> 91 [ label="0" ];
  163 -> 92 [ label="0" ];
  164 -> 93 [ label="0" ];
  165 -> 94 [ label="0" ];
  166 -> 95 [ label="0" ];
  408 -> 96 [ label="0" ];
  451 -> 97 [ label="1" ];
  55 -> 98 [ label="0" ];
  1 -> 99 [ label="0" ];
  220 -> 100 [ label="1" ];
  43 -> 101 [ label="0" ];
  44 -> 102 [ label="0" ];
  41 -> 103 [ label="0" ];
  42 -> 104 [ label="0" ];
  62 -> 105 [ label="0" ];
  60 -> 106 [ label="0" ];
  63 -> 107 [ label="0" ];
  61 -> 108 [ label="0" ];
  32 -> 109 [ label="0" ];
  34 -> 110 [ label="0" ];
  64 -> 111 [ label="0" ];
  195 -> 112 [ label="0" ];
  267 -> 113 [ label="1" ];
  68 -> 114 [ label="0" ];
  266 -> 115 [ label="1" ];
  438 -> 116 [ label="1" ];
  194 -> 117 [ label="0" ];
  72 -> 118 [ label="0" ];
  131 -> 119 [ label="1" ];
  196 -> 120 [ label="0" ];
  78 -> 121 [ label="0" ];
  202 -> 122 [ label="0" ];
  77 -> 123 [ label="0" ];
  79 -> 124 [ label="0" ];
  207 -> 125 [ label="0" ];
  203 -> 126 [ label="0" ];
  147 -> 127 [ label="0" ];
  144 -> 128 [ label="1" ];
  142 -> 129 [ label="0" ];
  144 -> 130 [ label="0" ];
  145 -> 131 [ label="0" ];
  413 -> 132 [ color="red" label="1" ];
  412 -> 133 [ label="1" ];
  138 -> 134 [ label="1" ];
  137 -> 135 [ label="1" ];
  78 -> 136 [ label="1" ];
  215 -> 137 [ label="0" ];
  216 -> 138 [ label="0" ];
  77 -> 139 [ label="1" ];
  98 -> 140 [ label="0" ];
  83 -> 141 [ label="0" ];
  100 -> 142 [ label="1" ];
  80 -> 143 [ label="0" ];
  99 -> 144 [ label="0" ];
  100 -> 145 [ label="0" ];
  18 -> 146 [ label="1" ];
  222 -> 147 [ label="0" ];
  74 -> 148 [ label="0" ];
  17 -> 149 [ label="1" ];
  76 -> 150 [ label="0" ];
  386 -> 151 [ label="1" ];
  231 -> 152 [ label="0" ];
  232 -> 153 [ label="0" ];
  400 -> 154 [ label="1" ];
  249 -> 155 [ label="1" ];
  250 -> 156 [ label="1" ];
  114 -> 157 [ label="0" ];
  111 -> 158 [ label="0" ];
  112 -> 159 [ label="0" ];
  113 -> 160 [ label="0" ];
  115 -> 161 [ label="0" ];
  117 -> 162 [ label="0" ];
  450 -> 163 [ label="1" ];
  449 -> 164 [ label="1" ];
  181 -> 165 [ label="0" ];
  184 -> 166 [ label="0" ];
  149 -> 167 [ label="1" ];
  146 -> 168 [ label="1" ];
  356 -> 169 [ color="red" label="1" ];
  125 -> 170 [ label="0" ];
  126 -> 171 [ label="0" ];
  157 -> 172 [ label="1" ];
  393 -> 173 [ label="1" ];
  391 -> 174 [ label="1" ];
  128 -> 175 [ label="0" ];
  158 -> 176 [ label="1" ];
  129 -> 177 [ label="0" ];
  130 -> 178 [ label="0" ];
  131 -> 179 [ label="0" ];
  227 -> 180 [ label="0" ];
  246 -> 181 [ label="0" ];
  221 -> 182 [ label="0" ];
  175 -> 183 [ label="1" ];
  247 -> 184 [ label="0" ];
  224 -> 185 [ label="0" ];
  223 -> 186 [ label="0" ];
  228 -> 187 [ label="0" ];
  168 -> 188 [ label="0" ];
  17 -> 189 [ label="0" ];
  18 -> 190 [ label="0" ];
  140 -> 191 [ label="0" ];
  167 -> 192 [ label="0" ];
  140 -> 193 [ label="1" ];
  193 -> 194 [ label="1" ];
  191 -> 195 [ label="1" ];
  208 -> 196 [ label="0" ];
  146 -> 197 [ label="0" ];
  178 -> 198 [ label="1" ];
  119 -> 199 [ label="0" ];
  85 -> 200 [ label="1" ];
  149 -> 201 [ label="0" ];
  212 -> 202 [ label="0" ];
  189 -> 203 [ label="1" ];
  157 -> 204 [ label="0" ];
  82 -> 205 [ label="1" ];
  158 -> 206 [ label="0" ];
  190 -> 207 [ label="1" ];
  279 -> 208 [ label="0" ];
  234 -> 209 [ label="1" ];
  410 -> 210 [ label="1" ];
  405 -> 211 [ label="1" ];
  275 -> 212 [ label="0" ];
  329 -> 213 [ label="1" ];
  229 -> 214 [ label="1" ];
  49 -> 215 [ label="0" ];
  49 -> 216 [ label="1" ];
  141 -> 217 [ label="0" ];
  113 -> 218 [ label="1" ];
  143 -> 219 [ label="0" ];
  116 -> 220 [ label="0" ];
  148 -> 221 [ label="0" ];
  12 -> 222 [ label="1" ];
  296 -> 223 [ label="1" ];
  129 -> 224 [ label="1" ];
  115 -> 225 [ label="1" ];
  105 -> 226 [ label="1" ];
  150 -> 227 [ label="0" ];
  312 -> 228 [ label="1" ];
  216 -> 229 [ label="1" ];
  106 -> 230 [ label="1" ];
  189 -> 231 [ label="0" ];
  190 -> 232 [ label="0" ];
  191 -> 233 [ label="0" ];
  215 -> 234 [ label="1" ];
  307 -> 235 [ label="0" ];
  193 -> 236 [ label="0" ];
  308 -> 237 [ label="0" ];
  310 -> 238 [ label="0" ];
  311 -> 240 [ label="0" ];
  197 -> 241 [ label="0" ];
  201 -> 242 [ label="0" ];
  287 -> 243 [ label="0" ];
  318 -> 244 [ label="0" ];
  287 -> 245 [ label="1" ];
  255 -> 246 [ label="1" ];
  255 -> 247 [ label="0" ];
  188 -> 248 [ label="0" ];
  213 -> 249 [ label="0" ];
  213 -> 250 [ label="1" ];
  331 -> 251 [ color="red" label="1" ];
  331 -> 252 [ label="0" ];
  192 -> 253 [ label="0" ];
  334 -> 254 [ label="0" ];
  147 -> 255 [ label="1" ];
  63 -> 256 [ label="1" ];
  61 -> 257 [ label="1" ];
  229 -> 258 [ label="0" ];
  183 -> 259 [ label="0" ];
  185 -> 260 [ label="0" ];
  448 -> 261 [ label="1" ];
  198 -> 262 [ label="0" ];
  199 -> 263 [ label="0" ];
  446 -> 264 [ label="1" ];
  350 -> 265 [ label="0" ];
  236 -> 266 [ label="0" ];
  233 -> 267 [ label="0" ];
  234 -> 268 [ label="0" ];
  235 -> 269 [ label="0" ];
  237 -> 270 [ label="0" ];
  173 -> 271 [ label="0" ];
  174 -> 272 [ label="0" ];
  239 -> 273 [ color="red" label="0" ];
  175 -> 274 [ label="0" ];
  293 -> 275 [ label="0" ];
  177 -> 276 [ label="0" ];
  209 -> 277 [ label="0" ];
  178 -> 278 [ label="0" ];
  295 -> 279 [ label="0" ];
  179 -> 280 [ label="0" ];
  242 -> 281 [ label="0" ];
  241 -> 282 [ label="0" ];
  210 -> 283 [ label="0" ];
  408 -> 284 [ label="1" ];
  211 -> 285 [ label="0" ];
  214 -> 286 [ label="0" ];
  220 -> 287 [ label="0" ];
  135 -> 288 [ label="0" ];
  134 -> 289 [ label="0" ];
  133 -> 290 [ label="0" ];
  132 -> 291 [ label="0" ];
  286 -> 292 [ label="0" ];
  369 -> 293 [ label="0" ];
  277 -> 294 [ label="0" ];
  369 -> 295 [ label="1" ];
  320 -> 296 [ label="1" ];
  341 -> 297 [ label="0" ];
  344 -> 298 [ label="0" ];
  249 -> 299 [ label="0" ];
  250 -> 300 [ label="0" ];
  137 -> 301 [ label="0" ];
  460 -> 302 [ label="1" ];
  399 -> 303 [ label="1" ];
  138 -> 304 [ label="0" ];
  474 -> 305 [ label="1" ];
  377 -> 306 [ label="1" ];
  379 -> 307 [ label="0" ];
  380 -> 308 [ label="0" ];
  327 -> 309 [ label="0" ];
  112 -> 310 [ label="1" ];
  117 -> 311 [ label="1" ];
  317 -> 312 [ label="1" ];
  261 -> 313 [ label="0" ];
  264 -> 314 [ label="0" ];
  153 -> 315 [ label="0" ];
  330 -> 316 [ label="0" ];
  243 -> 317 [ label="0" ];
  273 -> 318 [ label="1" ];
  267 -> 319 [ label="0" ];
  245 -> 320 [ label="0" ];
  266 -> 321 [ label="0" ];
  152 -> 322 [ label="0" ];
  268 -> 323 [ label="0" ];
  258 -> 324 [ label="0" ];
  401 -> 325 [ label="0" ];
  402 -> 326 [ label="0" ];
  403 -> 327 [ label="0" ];
  411 -> 328 [ label="0" ];
  55 -> 329 [ label="1" ];
  404 -> 330 [ label="0" ];
  169 -> 331 [ color="red" label="0" ];
  409 -> 332 [ label="0" ];
  289 -> 333 [ label="0" ];
  301 -> 334 [ label="0" ];
  97 -> 335 [ label="1" ];
  288 -> 336 [ label="0" ];
  259 -> 337 [ label="0" ];
  1 -> 338 [ label="1" ];
  466 -> 339 [ label="1" ];
  262 -> 340 [ label="0" ];
  278 -> 341 [ label="0" ];
  280 -> 342 [ label="0" ];
  299 -> 343 [ label="0" ];
  274 -> 344 [ label="0" ];
  26 -> 345 [ label="1" ];
  276 -> 346 [ label="0" ];
  300 -> 347 [ label="0" ];
  30 -> 348 [ label="1" ];
  302 -> 349 [ label="0" ];
  304 -> 350 [ label="0" ];
  305 -> 351 [ label="0" ];
  433 -> 352 [ label="0" ];
  432 -> 353 [ label="0" ];
  83 -> 354 [ label="1" ];
  125 -> 355 [ label="1" ];
  438 -> 356 [ color="red" label="0" ];
  80 -> 357 [ label="1" ];
  374 -> 358 [ label="1" ];
  126 -> 359 [ label="1" ];
  447 -> 360 [ label="0" ];
  321 -> 361 [ label="0" ];
  371 -> 362 [ label="1" ];
  440 -> 363 [ label="0" ];
  323 -> 364 [ label="0" ];
  319 -> 365 [ label="0" ];
  324 -> 366 [ label="0" ];
  321 -> 367 [ label="1" ];
  319 -> 368 [ label="1" ];
  378 -> 369 [ label="0" ];
  384 -> 370 [ label="1" ];
  382 -> 371 [ label="0" ];
  452 -> 372 [ label="0" ];
  384 -> 373 [ label="0" ];
  385 -> 374 [ label="0" ];
  329 -> 375 [ label="0" ];
  453 -> 376 [ label="0" ];
  460 -> 377 [ label="0" ];
  222 -> 378 [ label="1" ];
  19 -> 379 [ label="1" ];
  20 -> 380 [ label="1" ];
  312 -> 381 [ label="0" ];
  339 -> 382 [ label="1" ];
  296 -> 383 [ label="0" ];
  338 -> 384 [ label="0" ];
  339 -> 385 [ label="0" ];
  203 -> 386 [ label="1" ];
  343 -> 387 [ label="0" ];
  376 -> 388 [ label="1" ];
  251 -> 389 [ label="1" ];
  347 -> 390 [ label="0" ];
  317 -> 391 [ label="0" ];
  372 -> 392 [ label="1" ];
  320 -> 393 [ label="0" ];
  345 -> 394 [ label="0" ];
  132 -> 395 [ color="red" label="1" ];
  348 -> 396 [ label="0" ];
  133 -> 397 [ label="1" ];
  252 -> 398 [ label="1" ];
  474 -> 399 [ label="0" ];
  207 -> 400 [ label="1" ];
  208 -> 401 [ label="1" ];
  212 -> 402 [ label="1" ];
  415 -> 403 [ label="0" ];
  417 -> 404 [ label="0" ];
  398 -> 405 [ label="1" ];
  152 -> 406 [ label="1" ];
  153 -> 407 [ label="1" ];
  356 -> 408 [ label="0" ];
  360 -> 409 [ label="0" ];
  389 -> 410 [ label="1" ];
  363 -> 411 [ label="0" ];
  429 -> 412 [ label="1" ];
  428 -> 413 [ color="red" label="1" ];
  405 -> 414 [ label="0" ];
  13 -> 415 [ label="0" ];
  410 -> 416 [ label="0" ];
  14 -> 417 [ label="0" ];
  150 -> 418 [ label="1" ];
  148 -> 419 [ label="1" ];
  370 -> 420 [ label="0" ];
  371 -> 421 [ label="0" ];
  469 -> 422 [ label="0" ];
  373 -> 423 [ label="0" ];
  374 -> 424 [ label="0" ];
  375 -> 425 [ label="1" ];
  375 -> 426 [ label="0" ];
  467 -> 427 [ label="0" ];
  251 -> 428 [ color="red" label="0" ];
  252 -> 429 [ label="0" ];
  387 -> 430 [ label="1" ];
  390 -> 431 [ label="1" ];
  449 -> 432 [ label="0" ];
  450 -> 433 [ label="0" ];
  289 -> 434 [ label="1" ];
  288 -> 435 [ label="1" ];
  387 -> 436 [ label="0" ];
  357 -> 437 [ label="0" ];
  273 -> 438 [ color="red" label="0" ];
  390 -> 439 [ label="0" ];
  426 -> 440 [ label="1" ];
  423 -> 441 [ label="1" ];
  358 -> 442 [ label="0" ];
  354 -> 443 [ label="0" ];
  420 -> 444 [ label="1" ];
  362 -> 445 [ label="0" ];
  389 -> 446 [ label="0" ];
  425 -> 447 [ label="1" ];
  398 -> 448 [ label="0" ];
  36 -> 449 [ label="0" ];
  37 -> 450 [ label="0" ];
  239 -> 451 [ label="1" ];
  284 -> 452 [ label="0" ];
  284 -> 453 [ label="1" ];
  168 -> 454 [ label="1" ];
  167 -> 455 [ label="1" ];
  462 -> 456 [ label="1" ];
  461 -> 457 [ label="1" ];
  98 -> 458 [ label="1" ];
  413 -> 459 [ label="0" ];
  429 -> 460 [ label="0" ];
  452 -> 461 [ label="1" ];
  453 -> 462 [ label="1" ];
  381 -> 463 [ label="0" ];
  412 -> 464 [ label="0" ];
  383 -> 465 [ label="0" ];
  116 -> 466 [ label="1" ];
  393 -> 467 [ label="0" ];
  425 -> 468 [ label="0" ];
  391 -> 469 [ label="0" ];
  426 -> 470 [ label="0" ];
  345 -> 471 [ label="1" ];
  334 -> 472 [ label="1" ];
  348 -> 473 [ label="1" ];
  428 -> 474 [ label="0" ];
  350 -> 475 [ label="1" ];
}