C: [ 103] colours: 50 maxSize: 0 nodes: 0 new incumbent: 17 at node: 17 new incumbent: 19 at node: 30 new incumbent: 20 at node: 21624 new incumbent: 21 at node: 2247737 C: [ 27] colours: 46 maxSize: 21 nodes: 11565396 C: [ 108] colours: 46 maxSize: 21 nodes: 16642996 C: [ 115] colours: 46 maxSize: 21 nodes: 19404925 C: [ 3] colours: 44 maxSize: 21 nodes: 22338659 C: [ 32] colours: 45 maxSize: 21 nodes: 24417853 C: [ 160] colours: 44 maxSize: 21 nodes: 27109220 C: [ 20] colours: 45 maxSize: 21 nodes: 28988127 C: [ 22] colours: 43 maxSize: 21 nodes: 30362758 C: [ 104] colours: 44 maxSize: 21 nodes: 31612670 C: [ 144] colours: 44 maxSize: 21 nodes: 32916998 C: [ 165] colours: 41 maxSize: 21 nodes: 33952298 C: [ 172] colours: 42 maxSize: 21 nodes: 35327455 C: [ 175] colours: 41 maxSize: 21 nodes: 36103098 C: [ 59] colours: 44 maxSize: 21 nodes: 37012358 C: [ 190] colours: 42 maxSize: 21 nodes: 38161188 C: [ 79] colours: 41 maxSize: 21 nodes: 38638541 C: [ 149] colours: 41 maxSize: 21 nodes: 39047234 C: [ 4] colours: 41 maxSize: 21 nodes: 39674903 C: [ 73] colours: 40 maxSize: 21 nodes: 39964739 C: [ 75] colours: 40 maxSize: 21 nodes: 40232308 C: [ 109] colours: 41 maxSize: 21 nodes: 40563254 C: [ 199] colours: 39 maxSize: 21 nodes: 41013752 C: [ 18] colours: 38 maxSize: 21 nodes: 41314078 C: [ 26] colours: 37 maxSize: 21 nodes: 41452246 C: [ 36] colours: 39 maxSize: 21 nodes: 41571331 C: [ 57] colours: 40 maxSize: 21 nodes: 41791445 C: [ 93] colours: 39 maxSize: 21 nodes: 42030310 C: [ 117] colours: 39 maxSize: 21 nodes: 42156227 C: [ 122] colours: 38 maxSize: 21 nodes: 42248266 C: [ 126] colours: 39 maxSize: 21 nodes: 42372198 C: [ 138] colours: 37 maxSize: 21 nodes: 42486028 C: [ 178] colours: 38 maxSize: 21 nodes: 42565030 C: [ 195] colours: 38 maxSize: 21 nodes: 42693631 C: [ 15] colours: 35 maxSize: 21 nodes: 42773322 C: [ 44] colours: 34 maxSize: 21 nodes: 42822296 C: [ 45] colours: 38 maxSize: 21 nodes: 42863396 C: [ 82] colours: 38 maxSize: 21 nodes: 42947351 C: [ 90] colours: 38 maxSize: 21 nodes: 43026035 C: [ 114] colours: 36 maxSize: 21 nodes: 43071141 C: [ 158] colours: 36 maxSize: 21 nodes: 43122542 C: [ 174] colours: 36 maxSize: 21 nodes: 43168078 C: [ 197] colours: 35 maxSize: 21 nodes: 43217016 C: [ 13] colours: 33 maxSize: 21 nodes: 43252231 C: [ 16] colours: 35 maxSize: 21 nodes: 43271940 C: [ 29] colours: 36 maxSize: 21 nodes: 43296301 C: [ 58] colours: 33 maxSize: 21 nodes: 43328666 C: [ 94] colours: 34 maxSize: 21 nodes: 43345002 C: [ 101] colours: 33 maxSize: 21 nodes: 43361729 C: [ 120] colours: 32 maxSize: 21 nodes: 43374281 C: [ 129] colours: 34 maxSize: 21 nodes: 43385812 C: [ 132] colours: 33 maxSize: 21 nodes: 43394398 C: [ 142] colours: 35 maxSize: 21 nodes: 43404332 C: [ 154] colours: 33 maxSize: 21 nodes: 43418191 C: [ 171] colours: 31 maxSize: 21 nodes: 43427730 C: [ 179] colours: 33 maxSize: 21 nodes: 43432259 C: [ 8] colours: 33 maxSize: 21 nodes: 43440358 C: [ 28] colours: 31 maxSize: 21 nodes: 43449108 C: [ 42] colours: 32 maxSize: 21 nodes: 43453593 C: [ 46] colours: 28 maxSize: 21 nodes: 43461562 C: [ 56] colours: 31 maxSize: 21 nodes: 43463323 C: [ 83] colours: 32 maxSize: 21 nodes: 43468066 C: [ 97] colours: 32 maxSize: 21 nodes: 43473158 C: [ 98] colours: 29 maxSize: 21 nodes: 43481168 C: [ 116] colours: 30 maxSize: 21 nodes: 43483651 C: [ 131] colours: 29 maxSize: 21 nodes: 43485409 C: [ 135] colours: 29 maxSize: 21 nodes: 43486625 C: [ 139] colours: 29 maxSize: 21 nodes: 43489834 C: [ 163] colours: 29 maxSize: 21 nodes: 43491339 C: [ 166] colours: 30 maxSize: 21 nodes: 43492837 C: [ 182] colours: 32 maxSize: 21 nodes: 43495574 C: [ 186] colours: 28 maxSize: 21 nodes: 43500517 C: [ 187] colours: 29 maxSize: 21 nodes: 43501112 C: [ 10] colours: 28 maxSize: 21 nodes: 43502669 C: [ 19] colours: 28 maxSize: 21 nodes: 43503387 C: [ 34] colours: 29 maxSize: 21 nodes: 43504050 C: [ 87] colours: 30 maxSize: 21 nodes: 43504989 C: [ 95] colours: 27 maxSize: 21 nodes: 43505880 C: [ 105] colours: 27 maxSize: 21 nodes: 43506498 C: [ 110] colours: 28 maxSize: 21 nodes: 43507076 C: [ 140] colours: 27 maxSize: 21 nodes: 43508042 C: [ 143] colours: 26 maxSize: 21 nodes: 43508397 C: [ 155] colours: 28 maxSize: 21 nodes: 43508571 C: [ 183] colours: 27 maxSize: 21 nodes: 43509682 C: [ 188] colours: 25 maxSize: 21 nodes: 43510021 C: [ 191] colours: 26 maxSize: 21 nodes: 43510157 C: [ 194] colours: 26 maxSize: 21 nodes: 43510357 C: [ 11] colours: 27 maxSize: 21 nodes: 43510540 C: [ 35] colours: 27 maxSize: 21 nodes: 43510819 C: [ 69] colours: 24 maxSize: 21 nodes: 43511116 C: [ 74] colours: 26 maxSize: 21 nodes: 43511233 C: [ 77] colours: 26 maxSize: 21 nodes: 43511461 C: [ 125] colours: 21 maxSize: 21 nodes: 43511619 C: [ 130] colours: 25 maxSize: 21 nodes: 43511624 C: [ 164] colours: 23 maxSize: 21 nodes: 43511728 C: [ 181] colours: 24 maxSize: 21 nodes: 43511790 C: [ 48] colours: 23 maxSize: 21 nodes: 43511840 C: [ 53] colours: 22 maxSize: 21 nodes: 43511880 C: [ 55] colours: 25 maxSize: 21 nodes: 43511891 C: [ 64] colours: 24 maxSize: 21 nodes: 43512002 C: [ 81] colours: 20 maxSize: 21 nodes: 43512070 C: [ 84] colours: 22 maxSize: 21 nodes: 43512071 C: [ 106] colours: 23 maxSize: 21 nodes: 43512084 C: [ 127] colours: 24 maxSize: 21 nodes: 43512130 C: [ 152] colours: 23 maxSize: 21 nodes: 43512208 C: [ 159] colours: 22 maxSize: 21 nodes: 43512236 C: [ 184] colours: 22 maxSize: 21 nodes: 43512251 C: [ 189] colours: 22 maxSize: 21 nodes: 43512267 C: [ 2] colours: 22 maxSize: 21 nodes: 43512279 C: [ 43] colours: 21 maxSize: 21 nodes: 43512298 C: [ 61] colours: 22 maxSize: 21 nodes: 43512304 C: [ 65] colours: 21 maxSize: 21 nodes: 43512317 C: [ 78] colours: 21 maxSize: 21 nodes: 43512322 C: [ 86] colours: 18 maxSize: 21 nodes: 43512327 C: [ 121] colours: 21 maxSize: 21 nodes: 43512328 C: [ 128] colours: 20 maxSize: 21 nodes: 43512333 C: [ 150] colours: 20 maxSize: 21 nodes: 43512334 C: [ 157] colours: 19 maxSize: 21 nodes: 43512335 C: [ 168] colours: 18 maxSize: 21 nodes: 43512336 C: [ 169] colours: 20 maxSize: 21 nodes: 43512337 C: [ 170] colours: 19 maxSize: 21 nodes: 43512338 C: [ 176] colours: 18 maxSize: 21 nodes: 43512339 C: [ 193] colours: 18 maxSize: 21 nodes: 43512340 C: [ 6] colours: 18 maxSize: 21 nodes: 43512341 C: [ 14] colours: 17 maxSize: 21 nodes: 43512342 C: [ 17] colours: 20 maxSize: 21 nodes: 43512343 C: [ 38] colours: 16 maxSize: 21 nodes: 43512344 C: [ 40] colours: 18 maxSize: 21 nodes: 43512345 C: [ 62] colours: 17 maxSize: 21 nodes: 43512346 C: [ 80] colours: 16 maxSize: 21 nodes: 43512347 C: [ 96] colours: 17 maxSize: 21 nodes: 43512348 C: [ 99] colours: 18 maxSize: 21 nodes: 43512349 C: [ 107] colours: 18 maxSize: 21 nodes: 43512350 C: [ 111] colours: 15 maxSize: 21 nodes: 43512351 C: [ 119] colours: 16 maxSize: 21 nodes: 43512352 C: [ 137] colours: 16 maxSize: 21 nodes: 43512353 C: [ 161] colours: 16 maxSize: 21 nodes: 43512354 C: [ 180] colours: 15 maxSize: 21 nodes: 43512355 C: [ 185] colours: 15 maxSize: 21 nodes: 43512356 C: [ 192] colours: 17 maxSize: 21 nodes: 43512357 C: [ 7] colours: 16 maxSize: 21 nodes: 43512358 C: [ 25] colours: 14 maxSize: 21 nodes: 43512359 C: [ 50] colours: 13 maxSize: 21 nodes: 43512360 C: [ 63] colours: 14 maxSize: 21 nodes: 43512361 C: [ 70] colours: 15 maxSize: 21 nodes: 43512362 C: [ 92] colours: 14 maxSize: 21 nodes: 43512363 C: [ 100] colours: 15 maxSize: 21 nodes: 43512364 C: [ 112] colours: 14 maxSize: 21 nodes: 43512365 C: [ 141] colours: 15 maxSize: 21 nodes: 43512366 C: [ 147] colours: 13 maxSize: 21 nodes: 43512367 C: [ 156] colours: 12 maxSize: 21 nodes: 43512368 C: [ 9] colours: 15 maxSize: 21 nodes: 43512369 C: [ 21] colours: 12 maxSize: 21 nodes: 43512370 C: [ 23] colours: 12 maxSize: 21 nodes: 43512371 C: [ 24] colours: 12 maxSize: 21 nodes: 43512372 C: [ 31] colours: 11 maxSize: 21 nodes: 43512373 C: [ 37] colours: 10 maxSize: 21 nodes: 43512374 C: [ 39] colours: 12 maxSize: 21 nodes: 43512375 C: [ 49] colours: 12 maxSize: 21 nodes: 43512376 C: [ 51] colours: 10 maxSize: 21 nodes: 43512377 C: [ 52] colours: 10 maxSize: 21 nodes: 43512378 C: [ 68] colours: 10 maxSize: 21 nodes: 43512379 C: [ 145] colours: 9 maxSize: 21 nodes: 43512380 C: [ 173] colours: 10 maxSize: 21 nodes: 43512381 C: [ 177] colours: 10 maxSize: 21 nodes: 43512382 C: [ 33] colours: 10 maxSize: 21 nodes: 43512383 C: [ 47] colours: 7 maxSize: 21 nodes: 43512384 C: [ 88] colours: 9 maxSize: 21 nodes: 43512385 C: [ 118] colours: 8 maxSize: 21 nodes: 43512386 C: [ 133] colours: 9 maxSize: 21 nodes: 43512387 C: [ 151] colours: 10 maxSize: 21 nodes: 43512388 C: [ 167] colours: 7 maxSize: 21 nodes: 43512389 C: [ 30] colours: 8 maxSize: 21 nodes: 43512390 C: [ 76] colours: 7 maxSize: 21 nodes: 43512391 C: [ 102] colours: 8 maxSize: 21 nodes: 43512392 C: [ 41] colours: 6 maxSize: 21 nodes: 43512393 C: [ 66] colours: 7 maxSize: 21 nodes: 43512394 C: [ 85] colours: 7 maxSize: 21 nodes: 43512395 C: [ 91] colours: 6 maxSize: 21 nodes: 43512396 C: [ 123] colours: 6 maxSize: 21 nodes: 43512397 C: [ 124] colours: 6 maxSize: 21 nodes: 43512398 C: [ 162] colours: 6 maxSize: 21 nodes: 43512399 C: [ 1] colours: 3 maxSize: 21 nodes: 43512400 C: [ 5] colours: 3 maxSize: 21 nodes: 43512401 C: [ 54] colours: 6 maxSize: 21 nodes: 43512402 C: [ 60] colours: 4 maxSize: 21 nodes: 43512403 C: [ 136] colours: 5 maxSize: 21 nodes: 43512404 C: [ 153] colours: 4 maxSize: 21 nodes: 43512405 C: [ 67] colours: 4 maxSize: 21 nodes: 43512406 C: [ 71] colours: 3 maxSize: 21 nodes: 43512407 C: [ 148] colours: 3 maxSize: 21 nodes: 43512408 C: [ 200] colours: 3 maxSize: 21 nodes: 43512409 C: [ 72] colours: 3 maxSize: 21 nodes: 43512410 C: [ 134] colours: 1 maxSize: 21 nodes: 43512411 C: [ 198] colours: 1 maxSize: 21 nodes: 43512412 C: [ 89] colours: 1 maxSize: 21 nodes: 43512413 C: [ 196] colours: 2 maxSize: 21 nodes: 43512414 C: [ 113] colours: 1 maxSize: 21 nodes: 43512415 C: [ 12] colours: 0 maxSize: 21 nodes: 43512416 C: [ 146] colours: 0 maxSize: 21 nodes: 43512417 21 43512418 32566 4 26 32 41 46 48 83 100 103 104 107 120 122 132 137 138 144 175 180 191 199