C: [ 193] colours: 44 maxSize: 0 nodes: 0 new incumbent: 14 at node: 14 new incumbent: 15 at node: 164 new incumbent: 16 at node: 682 new incumbent: 17 at node: 1540 new incumbent: 18 at node: 6443 new incumbent: 19 at node: 6857 new incumbent: 20 at node: 446810 C: [ 190] colours: 44 maxSize: 20 nodes: 3776450 C: [ 189] colours: 45 maxSize: 20 nodes: 9587816 C: [ 180] colours: 45 maxSize: 20 nodes: 12824795 new incumbent: 21 at node: 13360127 C: [ 175] colours: 45 maxSize: 21 nodes: 14563192 C: [ 172] colours: 46 maxSize: 21 nodes: 17792255 C: [ 165] colours: 48 maxSize: 21 nodes: 19974380 C: [ 164] colours: 42 maxSize: 21 nodes: 22934002 C: [ 159] colours: 43 maxSize: 21 nodes: 23763825 C: [ 152] colours: 41 maxSize: 21 nodes: 24492755 C: [ 149] colours: 44 maxSize: 21 nodes: 25159506 C: [ 116] colours: 42 maxSize: 21 nodes: 26330213 C: [ 83] colours: 43 maxSize: 21 nodes: 27040713 C: [ 50] colours: 39 maxSize: 21 nodes: 28043814 C: [ 27] colours: 45 maxSize: 21 nodes: 28282864 C: [ 4] colours: 43 maxSize: 21 nodes: 29452669 C: [ 129] colours: 43 maxSize: 21 nodes: 30207127 C: [ 115] colours: 44 maxSize: 21 nodes: 30663560 C: [ 100] colours: 40 maxSize: 21 nodes: 31383644 C: [ 79] colours: 42 maxSize: 21 nodes: 31659831 C: [ 20] colours: 40 maxSize: 21 nodes: 32133144 C: [ 82] colours: 43 maxSize: 21 nodes: 32513039 C: [ 73] colours: 42 maxSize: 21 nodes: 32923022 C: [ 34] colours: 37 maxSize: 21 nodes: 33287937 C: [ 32] colours: 40 maxSize: 21 nodes: 33472445 C: [ 8] colours: 40 maxSize: 21 nodes: 34246315 C: [ 139] colours: 42 maxSize: 21 nodes: 34540931 C: [ 114] colours: 39 maxSize: 21 nodes: 34875137 C: [ 101] colours: 37 maxSize: 21 nodes: 35073821 C: [ 48] colours: 35 maxSize: 21 nodes: 35173031 C: [ 15] colours: 40 maxSize: 21 nodes: 35248852 C: [ 103] colours: 40 maxSize: 21 nodes: 35392961 C: [ 59] colours: 40 maxSize: 21 nodes: 35914507 C: [ 42] colours: 38 maxSize: 21 nodes: 36125647 C: [ 156] colours: 36 maxSize: 21 nodes: 36230725 C: [ 144] colours: 40 maxSize: 21 nodes: 36286948 C: [ 138] colours: 38 maxSize: 21 nodes: 36421677 C: [ 137] colours: 35 maxSize: 21 nodes: 36547962 C: [ 107] colours: 35 maxSize: 21 nodes: 36582247 C: [ 132] colours: 37 maxSize: 21 nodes: 36624761 C: [ 36] colours: 36 maxSize: 21 nodes: 36694213 C: [ 3] colours: 40 maxSize: 21 nodes: 36757286 C: [ 126] colours: 37 maxSize: 21 nodes: 36878066 C: [ 122] colours: 38 maxSize: 21 nodes: 36953195 C: [ 70] colours: 33 maxSize: 21 nodes: 37010431 C: [ 197] colours: 37 maxSize: 21 nodes: 37027639 C: [ 195] colours: 37 maxSize: 21 nodes: 37078782 C: [ 143] colours: 34 maxSize: 21 nodes: 37133130 C: [ 120] colours: 34 maxSize: 21 nodes: 37157265 C: [ 108] colours: 36 maxSize: 21 nodes: 37186381 C: [ 96] colours: 33 maxSize: 21 nodes: 37252038 C: [ 188] colours: 33 maxSize: 21 nodes: 37273571 C: [ 131] colours: 33 maxSize: 21 nodes: 37291218 C: [ 104] colours: 36 maxSize: 21 nodes: 37309491 C: [ 94] colours: 34 maxSize: 21 nodes: 37368312 C: [ 194] colours: 33 maxSize: 21 nodes: 37388489 C: [ 191] colours: 34 maxSize: 21 nodes: 37407513 C: [ 97] colours: 35 maxSize: 21 nodes: 37419844 C: [ 16] colours: 33 maxSize: 21 nodes: 37437523 C: [ 13] colours: 33 maxSize: 21 nodes: 37450586 C: [ 111] colours: 32 maxSize: 21 nodes: 37463220 C: [ 53] colours: 28 maxSize: 21 nodes: 37471454 C: [ 26] colours: 34 maxSize: 21 nodes: 37475452 C: [ 58] colours: 32 maxSize: 21 nodes: 37486429 C: [ 46] colours: 32 maxSize: 21 nodes: 37495945 C: [ 199] colours: 34 maxSize: 21 nodes: 37506306 C: [ 181] colours: 33 maxSize: 21 nodes: 37516346 C: [ 49] colours: 31 maxSize: 21 nodes: 37524181 C: [ 186] colours: 29 maxSize: 21 nodes: 37527159 C: [ 171] colours: 31 maxSize: 21 nodes: 37534453 C: [ 109] colours: 34 maxSize: 21 nodes: 37541303 C: [ 163] colours: 32 maxSize: 21 nodes: 37555386 C: [ 162] colours: 29 maxSize: 21 nodes: 37560268 C: [ 157] colours: 33 maxSize: 21 nodes: 37562529 C: [ 128] colours: 31 maxSize: 21 nodes: 37567127 C: [ 87] colours: 30 maxSize: 21 nodes: 37571672 C: [ 22] colours: 32 maxSize: 21 nodes: 37574711 C: [ 179] colours: 31 maxSize: 21 nodes: 37581759 C: [ 178] colours: 29 maxSize: 21 nodes: 37585332 C: [ 44] colours: 30 maxSize: 21 nodes: 37588032 C: [ 7] colours: 28 maxSize: 21 nodes: 37589644 C: [ 160] colours: 32 maxSize: 21 nodes: 37590233 C: [ 119] colours: 28 maxSize: 21 nodes: 37596031 C: [ 84] colours: 30 maxSize: 21 nodes: 37596522 C: [ 45] colours: 28 maxSize: 21 nodes: 37598249 C: [ 158] colours: 27 maxSize: 21 nodes: 37598972 C: [ 80] colours: 28 maxSize: 21 nodes: 37600333 C: [ 77] colours: 27 maxSize: 21 nodes: 37600891 C: [ 168] colours: 26 maxSize: 21 nodes: 37601544 C: [ 124] colours: 27 maxSize: 21 nodes: 37601884 C: [ 95] colours: 27 maxSize: 21 nodes: 37602103 C: [ 75] colours: 30 maxSize: 21 nodes: 37602615 C: [ 117] colours: 27 maxSize: 21 nodes: 37604493 C: [ 78] colours: 27 maxSize: 21 nodes: 37605182 C: [ 57] colours: 27 maxSize: 21 nodes: 37605512 C: [ 29] colours: 27 maxSize: 21 nodes: 37606207 C: [ 18] colours: 26 maxSize: 21 nodes: 37606590 C: [ 99] colours: 26 maxSize: 21 nodes: 37607010 C: [ 19] colours: 27 maxSize: 21 nodes: 37607229 C: [ 125] colours: 25 maxSize: 21 nodes: 37607540 C: [ 105] colours: 25 maxSize: 21 nodes: 37607661 C: [ 69] colours: 25 maxSize: 21 nodes: 37607863 C: [ 174] colours: 27 maxSize: 21 nodes: 37607960 C: [ 185] colours: 25 maxSize: 21 nodes: 37608279 C: [ 62] colours: 24 maxSize: 21 nodes: 37608385 C: [ 43] colours: 23 maxSize: 21 nodes: 37608444 C: [ 11] colours: 23 maxSize: 21 nodes: 37608469 C: [ 161] colours: 22 maxSize: 21 nodes: 37608502 C: [ 98] colours: 25 maxSize: 21 nodes: 37608518 C: [ 81] colours: 24 maxSize: 21 nodes: 37608575 C: [ 10] colours: 23 maxSize: 21 nodes: 37608637 C: [ 38] colours: 22 maxSize: 21 nodes: 37608698 C: [ 28] colours: 23 maxSize: 21 nodes: 37608709 C: [ 170] colours: 22 maxSize: 21 nodes: 37608743 C: [ 127] colours: 24 maxSize: 21 nodes: 37608756 C: [ 55] colours: 23 maxSize: 21 nodes: 37608817 C: [ 182] colours: 23 maxSize: 21 nodes: 37608841 C: [ 65] colours: 22 maxSize: 21 nodes: 37608867 C: [ 24] colours: 21 maxSize: 21 nodes: 37608885 C: [ 140] colours: 23 maxSize: 21 nodes: 37608890 C: [ 86] colours: 22 maxSize: 21 nodes: 37608913 C: [ 56] colours: 21 maxSize: 21 nodes: 37608933 C: [ 155] colours: 19 maxSize: 21 nodes: 37608938 C: [ 154] colours: 23 maxSize: 21 nodes: 37608939 C: [ 93] colours: 22 maxSize: 21 nodes: 37608968 C: [ 51] colours: 19 maxSize: 21 nodes: 37608991 C: [ 2] colours: 20 maxSize: 21 nodes: 37608992 C: [ 130] colours: 21 maxSize: 21 nodes: 37608993 C: [ 90] colours: 20 maxSize: 21 nodes: 37608998 C: [ 25] colours: 20 maxSize: 21 nodes: 37608999 C: [ 142] colours: 20 maxSize: 21 nodes: 37609000 C: [ 187] colours: 22 maxSize: 21 nodes: 37609001 C: [ 110] colours: 19 maxSize: 21 nodes: 37609014 C: [ 74] colours: 22 maxSize: 21 nodes: 37609015 C: [ 14] colours: 18 maxSize: 21 nodes: 37609030 C: [ 192] colours: 19 maxSize: 21 nodes: 37609031 C: [ 166] colours: 22 maxSize: 21 nodes: 37609032 C: [ 64] colours: 18 maxSize: 21 nodes: 37609043 C: [ 37] colours: 18 maxSize: 21 nodes: 37609044 C: [ 183] colours: 18 maxSize: 21 nodes: 37609045 C: [ 135] colours: 19 maxSize: 21 nodes: 37609046 C: [ 118] colours: 13 maxSize: 21 nodes: 37609047 C: [ 40] colours: 16 maxSize: 21 nodes: 37609048 C: [ 147] colours: 18 maxSize: 21 nodes: 37609049 C: [ 35] colours: 19 maxSize: 21 nodes: 37609050 C: [ 177] colours: 16 maxSize: 21 nodes: 37609051 C: [ 121] colours: 17 maxSize: 21 nodes: 37609052 C: [ 106] colours: 17 maxSize: 21 nodes: 37609053 C: [ 5] colours: 13 maxSize: 21 nodes: 37609054 C: [ 141] colours: 15 maxSize: 21 nodes: 37609055 C: [ 112] colours: 15 maxSize: 21 nodes: 37609056 C: [ 63] colours: 14 maxSize: 21 nodes: 37609057 C: [ 6] colours: 15 maxSize: 21 nodes: 37609058 C: [ 169] colours: 14 maxSize: 21 nodes: 37609059 C: [ 23] colours: 15 maxSize: 21 nodes: 37609060 C: [ 184] colours: 16 maxSize: 21 nodes: 37609061 C: [ 176] colours: 15 maxSize: 21 nodes: 37609062 C: [ 47] colours: 11 maxSize: 21 nodes: 37609063 C: [ 21] colours: 15 maxSize: 21 nodes: 37609064 C: [ 200] colours: 12 maxSize: 21 nodes: 37609065 C: [ 167] colours: 11 maxSize: 21 nodes: 37609066 C: [ 145] colours: 12 maxSize: 21 nodes: 37609067 C: [ 31] colours: 12 maxSize: 21 nodes: 37609068 C: [ 92] colours: 12 maxSize: 21 nodes: 37609069 C: [ 61] colours: 12 maxSize: 21 nodes: 37609070 C: [ 52] colours: 11 maxSize: 21 nodes: 37609071 C: [ 173] colours: 11 maxSize: 21 nodes: 37609072 C: [ 17] colours: 13 maxSize: 21 nodes: 37609073 C: [ 153] colours: 9 maxSize: 21 nodes: 37609074 C: [ 150] colours: 11 maxSize: 21 nodes: 37609075 C: [ 68] colours: 12 maxSize: 21 nodes: 37609076 C: [ 33] colours: 10 maxSize: 21 nodes: 37609077 C: [ 133] colours: 10 maxSize: 21 nodes: 37609078 C: [ 88] colours: 9 maxSize: 21 nodes: 37609079 C: [ 91] colours: 7 maxSize: 21 nodes: 37609080 C: [ 9] colours: 10 maxSize: 21 nodes: 37609081 C: [ 1] colours: 7 maxSize: 21 nodes: 37609082 C: [ 102] colours: 7 maxSize: 21 nodes: 37609083 C: [ 60] colours: 8 maxSize: 21 nodes: 37609084 C: [ 39] colours: 7 maxSize: 21 nodes: 37609085 C: [ 76] colours: 6 maxSize: 21 nodes: 37609086 C: [ 30] colours: 6 maxSize: 21 nodes: 37609087 C: [ 85] colours: 5 maxSize: 21 nodes: 37609088 C: [ 151] colours: 6 maxSize: 21 nodes: 37609089 C: [ 136] colours: 6 maxSize: 21 nodes: 37609090 C: [ 66] colours: 5 maxSize: 21 nodes: 37609091 C: [ 41] colours: 5 maxSize: 21 nodes: 37609092 C: [ 67] colours: 4 maxSize: 21 nodes: 37609093 C: [ 198] colours: 3 maxSize: 21 nodes: 37609094 C: [ 123] colours: 4 maxSize: 21 nodes: 37609095 C: [ 148] colours: 4 maxSize: 21 nodes: 37609096 C: [ 71] colours: 4 maxSize: 21 nodes: 37609097 C: [ 54] colours: 4 maxSize: 21 nodes: 37609098 C: [ 134] colours: 2 maxSize: 21 nodes: 37609099 C: [ 89] colours: 2 maxSize: 21 nodes: 37609100 C: [ 196] colours: 3 maxSize: 21 nodes: 37609101 C: [ 72] colours: 2 maxSize: 21 nodes: 37609102 C: [ 113] colours: 1 maxSize: 21 nodes: 37609103 C: [ 12] colours: 0 maxSize: 21 nodes: 37609104 C: [ 146] colours: 0 maxSize: 21 nodes: 37609105 21 37609106 26346 4 26 32 41 46 48 83 100 103 104 107 120 122 132 137 138 144 175 180 191 199