Build (method = -2) #dp: 4683061 Step-3' Graph: 125678 vertices and 377027 arcs (1717.70s) Step-4' Graph: 26108 vertices and 177887 arcs (1720.85s) #V4/#V3 = 0.21 #A4/#A3 = 0.47 Ready! (1720.85s) Optimize a model with 27108 rows, 177888 columns and 481452 nonzeros Presolve removed 932 rows and 4479 columns Presolve time: 1.62s Presolved: 26176 rows, 173409 columns, 473536 nonzeros Variable types: 0 continuous, 173409 integer (4088 binary) Optimize a model with 26176 rows, 173409 columns and 473536 nonzeros Presolve removed 85 rows and 85 columns Presolved: 26091 rows, 173324 columns, 473778 nonzeros Root barrier log... Ordering time: 3.13s Barrier statistics: AA' NZ : 2.873e+05 Factor NZ : 2.136e+06 (roughly 100 MBytes of memory) Factor Ops : 5.109e+08 (less than 1 second per iteration) Threads : 1 Objective Residual Iter Primal Dual Primal Dual Compl Time 0 1.49015819e+08 -3.11937634e+08 2.29e+10 1.11e-01 2.82e+05 4s 1 2.43016830e+07 -2.73030158e+08 2.41e+09 2.89e-15 3.06e+04 4s 2 4.55868881e+06 -1.55037823e+08 4.26e+08 1.82e-14 5.78e+03 5s 3 8.78869449e+05 -5.83596924e+07 7.36e+07 7.33e-15 1.06e+03 5s 4 1.38010418e+05 -1.62575360e+07 6.04e+06 6.44e-15 1.17e+02 6s 5 1.00856962e+05 -8.36815936e+06 2.47e+06 7.33e-15 5.08e+01 6s 6 7.82804423e+04 -4.96672495e+06 1.08e+06 2.31e-14 2.55e+01 6s 7 7.07655544e+04 -3.64066962e+06 7.21e+05 2.31e-14 1.78e+01 7s 8 6.48225630e+04 -2.59763792e+06 5.01e+05 3.02e-14 1.24e+01 7s 9 6.26894585e+04 -2.42983723e+06 4.25e+05 2.84e-14 1.12e+01 7s 10 6.04786724e+04 -1.96980001e+06 3.55e+05 2.66e-14 9.10e+00 8s 11 5.66268427e+04 -1.57598329e+06 2.54e+05 2.98e-14 6.95e+00 8s 12 5.24440652e+04 -1.06794495e+06 1.24e+05 2.22e-14 4.27e+00 8s 13 5.01112616e+04 -7.76317834e+05 6.62e+04 1.67e-14 2.91e+00 9s 14 4.91000277e+04 -5.40831269e+05 4.57e+04 1.38e-14 2.03e+00 9s 15 4.81886091e+04 -4.54521521e+05 3.38e+04 1.35e-14 1.68e+00 9s 16 4.55817567e+04 -3.42387407e+05 1.50e+04 9.96e-15 1.21e+00 10s 17 4.32341235e+04 -2.20547889e+05 1.06e+04 9.27e-15 8.16e-01 10s 18 4.07629836e+04 -1.69175212e+05 7.00e+03 8.94e-15 6.38e-01 10s 19 3.91639596e+04 -1.37946398e+05 5.26e+03 1.01e-14 5.33e-01 11s 20 3.68779911e+04 -1.03930906e+05 3.54e+03 1.05e-14 4.20e-01 11s 21 3.43747387e+04 -7.55719153e+04 2.31e+03 1.02e-14 3.25e-01 11s 22 3.26619860e+04 -6.37756292e+04 1.72e+03 1.13e-14 2.83e-01 12s 23 3.19262035e+04 -4.88037894e+04 1.50e+03 1.25e-14 2.37e-01 12s 24 3.06933827e+04 -4.09255354e+04 1.11e+03 1.11e-14 2.09e-01 12s 25 2.95454951e+04 -2.81957604e+04 7.76e+02 1.12e-14 1.68e-01 13s 26 2.86932061e+04 -2.01972613e+04 5.81e+02 1.20e-14 1.42e-01 13s 27 2.84339667e+04 -1.19072405e+04 5.34e+02 1.15e-14 1.17e-01 13s 28 2.75558478e+04 -4.48978937e+03 4.14e+02 1.16e-14 9.31e-02 14s 29 2.67627136e+04 3.26420208e+03 2.89e+02 1.05e-14 6.82e-02 14s 30 2.64112102e+04 9.18329460e+03 2.33e+02 9.70e-15 4.99e-02 14s 31 2.61786029e+04 1.02472410e+04 1.97e+02 1.04e-14 4.62e-02 15s 32 2.59641200e+04 1.32800383e+04 1.57e+02 1.06e-14 3.67e-02 15s 33 2.57257030e+04 1.72923149e+04 1.10e+02 8.56e-15 2.44e-02 15s 34 2.55774316e+04 1.83751843e+04 7.67e+01 9.70e-15 2.08e-02 16s 35 2.55702888e+04 1.89234265e+04 6.92e+01 1.04e-14 1.92e-02 16s 36 2.55583228e+04 1.95967395e+04 5.72e+01 1.15e-14 1.72e-02 16s 37 2.55531491e+04 2.35649003e+04 9.47e+00 7.01e-15 5.73e-03 17s 38 2.55152311e+04 2.45098201e+04 4.06e+00 7.22e-15 2.90e-03 17s 39 2.54955645e+04 2.50658469e+04 3.04e-01 6.76e-15 1.24e-03 17s 40 2.54932681e+04 2.54878304e+04 3.63e-02 8.05e-15 1.57e-05 18s 41 2.54930003e+04 2.54929948e+04 1.63e-10 6.20e-15 1.57e-08 18s 42 2.54930000e+04 2.54930000e+04 2.40e-10 6.23e-15 1.57e-11 18s Barrier solved model in 42 iterations and 18.44 seconds Optimal objective 2.54930000e+04 Root crossover log... 3725 DPushes remaining with DInf 0.0000000e+00 19s 0 DPushes remaining with DInf 1.7907229e+01 19s 143378 PPushes remaining with PInf 0.0000000e+00 19s 109568 PPushes remaining with PInf 0.0000000e+00 20s 62133 PPushes remaining with PInf 0.0000000e+00 25s 22346 PPushes remaining with PInf 0.0000000e+00 30s 0 PPushes remaining with PInf 0.0000000e+00 33s Push phase complete: Pinf 0.0000000e+00, Dinf 1.7907229e+01 33s Root simplex log... Iteration Objective Primal Inf. Dual Inf. Time 147105 2.5493000e+04 0.000000e+00 0.000000e+00 33s 147105 2.5493000e+04 0.000000e+00 0.000000e+00 33s Root relaxation: objective 2.549300e+04, 147105 iterations, 32.93 seconds Total elapsed time = 77.80s Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 25493.0000 0 90 - 25493.0000 - - 113s H 0 0 25551.000000 25493.0000 0.23% - 114s H 0 0 25493.000000 25493.0000 0.0% - 127s Explored 0 nodes (202596 simplex iterations) in 127.74 seconds Thread count was 1 (of 8 available processors) Optimal solution found (tolerance 0.00e+00) Best objective 2.549300000000e+04, best bound 2.549300000000e+04, gap 0.0% Preprocessing time: 1721.55 seconds Gurobi run time: 127.74 seconds Total run time: 1849.28 seconds Objective: 25493 Solution: 42 x [447] 23 x [878] 70 x [726] 25 x [448, 726] 5 x [448, 726, 750] 22 x [402] 23 x [972] 9 x [835, 972] 78 x [673, 835] 60 x [173, 908] 28 x [472] 15 x [472, 532] 5 x [2] 4 x [979] 16 x [922, 979] 6 x [772, 979] 23 x [172] 50 x [480] 25 x [663] 3 x [162] 1 x [355] 19 x [355, 375] 32 x [201] 45 x [442] 1 x [442, 888] 23 x [442, 959] 30 x [432, 991] 30 x [603, 782] 21 x [782, 898] 29 x [546, 782, 970] 16 x [105, 603] 34 x [394] 78 x [267] 39 x [330] 51 x [330, 750] 44 x [836] 29 x [708] 5 x [708, 813] 61 x [675, 708] 2 x [432, 708] 20 x [613] 31 x [399] 8 x [34] 8 x [34, 603] 30 x [34, 670] 20 x [34, 375] 22 x [1] 29 x [1, 659] 12 x [253, 791] 55 x [102, 253] 4 x [249] 48 x [249, 866] 11 x [249, 838] 22 x [492, 997] 51 x [57] 12 x [867] 11 x [213, 867] 29 x [599, 867] 29 x [973] 17 x [866, 973] 20 x [109] 58 x [77] 11 x [159] 43 x [147, 159] 2 x [147, 159, 302] 24 x [419] 23 x [514] 27 x [432, 514, 629] 39 x [263] 44 x [98, 263] 27 x [206] 11 x [80, 206] 33 x [206, 898] 2 x [206, 559, 898] 39 x [956] 39 x [90] 67 x [745] 19 x [37, 745] 20 x [501] 22 x [430] 24 x [430, 717] 41 x [844] 14 x [128, 844] 57 x [762] 1 x [601, 762] 18 x [147, 762] 11 x [591] 2 x [591, 860] 27 x [213, 591] 4 x [591, 984] 12 x [335, 591] 33 x [335, 347, 772] 52 x [698] 4 x [698, 717] 8 x [169] 5 x [446, 601] 15 x [789] 23 x [625] 31 x [625, 720, 978] 30 x [599, 625, 898] 29 x [122] 26 x [122, 335] 23 x [132] 44 x [132, 243] 28 x [98, 132] 40 x [911] 71 x [358] 62 x [19] 23 x [198] 38 x [198, 717, 880] 9 x [50, 198] 73 x [958] 10 x [188] 60 x [188, 448] 33 x [421] 15 x [421, 637] 39 x [421, 965] 37 x [944] 9 x [462, 888] 1 x [462, 579] 44 x [495] 14 x [495, 960] 25 x [412, 495] 14 x [672] 4 x [128, 672] 86 x [744] 94 x [99] 63 x [578] 3 x [197, 243] 29 x [197, 601] 6 x [88, 213] 5 x [357] 19 x [343, 357] 11 x [816] 9 x [502, 816] 12 x [52, 816] 5 x [98, 335, 816] 23 x [411, 816] 19 x [335, 816] 21 x [366, 756] 35 x [366, 931] 19 x [366, 437] 27 x [60] 8 x [60, 107] 36 x [49, 60] 12 x [521] 38 x [426] 1 x [46, 426] 22 x [426, 502] 13 x [367] 28 x [38, 367] 33 x [509] 45 x [46, 509] 41 x [611] 26 x [696] 52 x [614, 696] 10 x [327] 35 x [225, 927] 14 x [46, 733] 26 x [996] 4 x [348, 791] 33 x [118] 8 x [46, 118] 9 x [118, 931] 23 x [107, 118] 27 x [118, 599] 6 x [552] 23 x [437, 552] 12 x [552, 882] 40 x [552, 850] 2 x [552, 720] 7 x [635] 57 x [635, 684] 1 x [375, 635, 931] 27 x [855] 46 x [637, 855] 20 x [437, 855] 5 x [855, 1000] 22 x [373] 4 x [373, 965] 9 x [373, 931] 14 x [55] 6 x [55, 988] 6 x [55, 602] 14 x [55, 70] 9 x [55, 236] 15 x [11, 55] 13 x [758] 13 x [107, 758] 10 x [504, 758] 36 x [580, 758] 1 x [16] 28 x [464] 49 x [464, 965] 9 x [437, 464] 14 x [260] 34 x [259, 260] 5 x [260, 994] 36 x [49, 260] 18 x [533] 28 x [533, 780] 47 x [533, 590] 1 x [533, 994] 4 x [356] 10 x [213, 356] 38 x [91] 8 x [11, 91, 204] 20 x [119] 37 x [119, 525] 23 x [119, 720, 994] 54 x [771] 34 x [961] 13 x [191, 961] 9 x [562, 961] 4 x [947] 52 x [683, 947] 21 x [947, 950] 12 x [272] 7 x [272, 842] 48 x [152, 272] 6 x [706] 23 x [259, 706] 63 x [680, 706] 4 x [350] 26 x [350, 988] 43 x [644, 951] 38 x [876] 32 x [389, 876] 17 x [375, 876] 1 x [630, 876] 12 x [585] 73 x [585, 626] 24 x [39] 34 x [39, 427] 36 x [39, 207] 18 x [752] 7 x [712] 11 x [295, 712] 28 x [590, 712] 14 x [12] 12 x [12, 770] 39 x [12, 850] 88 x [490] 14 x [694] 19 x [67, 108] 13 x [305] 19 x [305, 717] 11 x [236, 305] 38 x [609, 839] 15 x [609, 938] 1 x [300] 29 x [300, 823] 7 x [236, 300] 14 x [171, 502] 32 x [794] 16 x [371, 794] 17 x [390, 842] 28 x [390, 788] 29 x [390, 547] 48 x [544] 42 x [544, 775] 6 x [677] 31 x [677, 760] 17 x [405, 677] 24 x [974, 983] 21 x [774, 976, 983] 36 x [284] 43 x [284, 463] 74 x [244] 16 x [59, 112] 29 x [59, 770] 6 x [576] 15 x [349, 537] 56 x [76, 349] 6 x [349, 976] 16 x [215] 9 x [215, 371] 4 x [215, 371, 720] 6 x [112, 215] 6 x [215, 936] 35 x [215, 236, 866] 32 x [40] 37 x [40, 43] 6 x [40, 691] 28 x [45] 56 x [45, 963] 65 x [174] 20 x [174, 254] 5 x [174, 626] 1 x [174, 630] 55 x [256, 755] 22 x [256, 661] 9 x [87] 15 x [87, 389] 4 x [36, 590] 2 x [107, 919] 35 x [770, 919] 21 x [449, 839] 29 x [449, 655] 4 x [270] 21 x [270, 994] 7 x [53, 270] 46 x [550, 781] 6 x [770, 781] 13 x [111] 2 x [262, 537] 47 x [262, 540] 2 x [740] 31 x [295, 740] 29 x [740, 792] 14 x [539, 740, 809] 1 x [208, 888] 10 x [213, 886] 23 x [434, 537] 40 x [434, 601] 6 x [434, 539] 4 x [151] 4 x [151, 551] 33 x [53, 151, 551] 13 x [151, 412] 27 x [27, 61] 37 x [25, 931] 1 x [186, 574] 5 x [186, 974] 41 x [186, 484] 4 x [499] 13 x [499, 974] 24 x [499, 994] 30 x [175, 574] 3 x [175, 839] 17 x [175, 211] 24 x [175, 492] 20 x [280] 10 x [425] 47 x [425, 537] 38 x [425, 839] 22 x [741] 1 x [741, 951] 56 x [371, 741] 12 x [236, 741] 15 x [875] 26 x [875, 950] 2 x [212, 913] 15 x [130, 212] 20 x [922, 939] 39 x [250, 939] 9 x [41, 721] 61 x [41, 562] 1 x [636, 772] 11 x [459, 842] 14 x [233, 735] 20 x [222, 233] 21 x [271] 19 x [271, 655] 13 x [51, 271, 994] 12 x [410] 11 x [56, 309] 56 x [56, 929] 68 x [141, 309] 30 x [141, 951] 35 x [548] 14 x [48, 548, 626] 15 x [957] 28 x [377] 62 x [377, 575] 4 x [914] 31 x [914, 929] 28 x [791, 914] 2 x [427, 914] 38 x [54, 615] 31 x [428] 6 x [428, 547] 97 x [395] 11 x [932] 1 x [620, 932] 20 x [86, 667] 7 x [86, 427, 520] 15 x [86, 775, 796] 10 x [441] 32 x [441, 735] 13 x [424, 441] 4 x [616] 32 x [458, 616] 9 x [998] 17 x [842, 998] 29 x [720, 842, 998] 33 x [805, 998] 6 x [102, 998] 7 x [382] 46 x [340, 382] 42 x [382, 504] 40 x [564] 42 x [564, 993] 4 x [564, 913] 28 x [483, 821] 9 x [184, 856] 29 x [344, 353] 20 x [344, 615] 10 x [640] 11 x [967] 52 x [100] 20 x [470, 615, 796] 36 x [470, 788] 7 x [49, 470, 788] 4 x [228, 403, 470] 9 x [470, 796] 10 x [320] 17 x [195, 320, 458] 33 x [903, 908] 8 x [937] 35 x [484, 594, 796] 31 x [496, 594] 22 x [250, 594, 655] 22 x [793, 974] 8 x [264, 550] 24 x [264, 913] 25 x [264, 403, 760] 6 x [264, 403] 28 x [273, 874] 14 x [237, 273] 24 x [273, 837] 40 x [400] 4 x [62, 960] 2 x [749] 35 x [299, 749] 9 x [374] 26 x [374, 769] 1 x [61, 254, 289] 4 x [289, 898] 9 x [800] 6 x [384] 15 x [288, 384, 547] 26 x [543] 17 x [229, 543] 53 x [302, 543] 39 x [259, 539, 592] 1 x [254, 592, 650] 27 x [69] 27 x [5, 69] 42 x [69, 993] 2 x [477] 21 x [248, 477] 5 x [656] 19 x [84, 656] 8 x [530, 656] 40 x [535] 45 x [535, 949] 47 x [297, 666] 17 x [92, 622, 857] 28 x [285, 870] 41 x [285, 527] 25 x [285, 339] 31 x [624] 51 x [140, 670] 11 x [8, 463] 10 x [8, 299, 936] 4 x [8, 427] 2 x [8, 770] 18 x [935] 7 x [871, 935] 56 x [43, 935] 13 x [655, 935] 4 x [898, 935] 60 x [767] 8 x [488, 767] 28 x [5, 767] 18 x [787, 848] 11 x [734, 848] 46 x [848, 1000] 13 x [185, 534] 5 x [185, 345] 45 x [185, 242] 4 x [531] 13 x [531, 805] 19 x [531, 823] 31 x [389, 531, 539] 4 x [452, 531] 12 x [84, 941] 16 x [89, 941] 41 x [89, 901] 40 x [558] 29 x [223, 354, 558] 4 x [642] 47 x [314, 642] 32 x [452, 496, 642] 8 x [288, 642] 7 x [452, 642] 1 x [326, 945] 30 x [860, 945] 2 x [396] 47 x [288, 396, 913] 24 x [396, 689, 966] 30 x [47, 403] 64 x [928] 1 x [799, 928] 36 x [308, 432] 7 x [593] 26 x [144, 241] 48 x [153, 704, 989] 30 x [92, 153] 4 x [153, 338] 28 x [278, 325] 2 x [227, 534] 3 x [952] 22 x [883, 952] 21 x [226, 952] 18 x [664, 760] 7 x [507, 705] 49 x [353, 507] 35 x [70, 507] 25 x [223, 254, 863, 985] 15 x [67, 254, 863] 7 x [754, 863] 11 x [422, 701] 7 x [422, 885] 58 x [422, 776] 20 x [82, 229, 422] 37 x [570, 896] 19 x [323, 946] 34 x [323, 963] 32 x [237, 245] 3 x [71] 4 x [588] 34 x [588, 813] 1 x [43, 588] 8 x [513, 658] 15 x [351, 429] 29 x [326, 351] 27 x [351, 871] 10 x [653, 871] 6 x [61, 653] 29 x [653, 989] 30 x [467] 22 x [278, 467] 38 x [113, 832] 10 x [363, 832] 12 x [322, 940] 2 x [697] 27 x [48, 697] 4 x [627] 24 x [627, 968] 41 x [11, 627] 9 x [385] 2 x [385, 842] 31 x [254, 345, 385] 21 x [385, 526, 702] 49 x [408, 710] 25 x [152, 408] 9 x [293] 33 x [293, 561] 13 x [481] 2 x [203, 787] 18 x [123] 32 x [123, 879] 24 x [220, 286] 32 x [84, 257] 11 x [61, 982] 11 x [641, 710] 59 x [641, 701] 17 x [641, 870] 39 x [97] 39 x [97, 278] 2 x [746] 8 x [746, 913] 50 x [21] 20 x [21, 917] 15 x [14, 21] 45 x [17, 872] 7 x [720, 872] 67 x [999] 31 x [234, 999] 2 x [276] 14 x [139, 276] 15 x [276, 340] 52 x [657, 843] 33 x [340, 843] 36 x [333, 968] 29 x [183, 333] 22 x [138, 686] 9 x [370] 18 x [326, 828] 16 x [288, 557, 828] 43 x [397] 17 x [113, 397] 4 x [144, 397] 32 x [397, 862] 10 x [654, 929] 35 x [364, 654, 970] 2 x [133, 654] 9 x [379, 628] 15 x [189, 237] 38 x [92, 189, 336] 17 x [137, 189] 20 x [3, 84] 37 x [3, 75, 474] 7 x [3, 364] 37 x [258, 595] 30 x [595, 874] 11 x [345, 595, 801] 6 x [547, 595] 52 x [553] 27 x [553, 975] 7 x [310, 345] 24 x [238, 404] 2 x [404, 759] 23 x [404, 711] 39 x [678, 742] 7 x [95, 165, 678] 4 x [226, 674, 678] 2 x [833] 2 x [361, 833] 13 x [496, 833] 15 x [833, 975] 9 x [474, 833] 10 x [427, 833] 19 x [541, 575] 18 x [6, 242, 541] 4 x [61, 541] 13 x [80, 541] 16 x [418, 738] 3 x [892] 1 x [84, 892] 5 x [666, 892] 7 x [892, 975] 60 x [195, 892] 31 x [688, 858] 59 x [79, 858] 6 x [510] 7 x [483, 510] 34 x [427, 510, 819] 46 x [510, 873, 888] 32 x [301, 930] 34 x [73, 301] 29 x [139, 493] 33 x [296, 493, 787] 1 x [493, 551] 16 x [221, 317] 16 x [221, 615] 30 x [139, 334] 53 x [334, 518, 707] 7 x [517] 15 x [84, 517] 28 x [137, 517] 1 x [15, 317] 50 x [779] 13 x [534, 992] 27 x [536] 47 x [292, 536] 11 x [10, 536] 1 x [10, 536, 707] 6 x [78] 18 x [18, 78] 41 x [78, 612] 3 x [78, 801] 13 x [78, 82] 3 x [818] 31 x [258, 818] 20 x [818, 907] 31 x [661, 818] 7 x [768, 818] 44 x [18, 904] 52 x [398, 904] 5 x [104, 575] 38 x [104, 204] 4 x [802, 862] 2 x [727, 802] 12 x [103, 829] 4 x [96] 44 x [96, 605] 15 x [96, 766] 27 x [96, 128, 424] 12 x [566] 7 x [303] 20 x [303, 938] 8 x [94, 287] 62 x [287, 759] 19 x [287, 450] 17 x [523, 608] 5 x [22, 523] 11 x [523, 688] 65 x [523, 804] 24 x [582, 804] 2 x [238, 545] 3 x [567, 784] 66 x [29, 511] 23 x [29, 815] 9 x [573] 28 x [527, 573] 36 x [82, 573] 26 x [112, 573] 1 x [112, 573, 630] 16 x [324, 668] 33 x [196, 524] 10 x [524, 877] 32 x [418, 524] 34 x [764, 869] 10 x [28, 869] 55 x [705, 830] 17 x [311, 381, 830] 16 x [269] 2 x [146] 70 x [146, 747] 23 x [146, 815] 11 x [281, 530] 5 x [416, 842] 11 x [283, 971] 12 x [312, 554] 29 x [248, 312] 16 x [202, 312] 41 x [312, 790] 31 x [176, 359] 21 x [165, 176, 936] 19 x [107, 176] 5 x [176, 222] 8 x [176, 547] 3 x [571] 14 x [22, 571] 5 x [319, 946] 1 x [319, 827] 19 x [319, 497, 567] 43 x [28, 216] 24 x [216, 450, 820] 29 x [623] 34 x [623, 687] 19 x [623, 682] 15 x [900] 28 x [182, 900] 32 x [900, 955] 18 x [563] 4 x [607] 3 x [732] 4 x [238, 732] 1 x [732, 787] 24 x [82, 732] 24 x [732, 819] 11 x [732, 820] 20 x [232, 393] 18 x [182, 393] 20 x [393, 424] 45 x [457] 7 x [318] 43 x [318, 736] 3 x [318, 803] 26 x [318, 454] 2 x [318, 398, 450] 8 x [339, 737, 879] 2 x [115, 737] 26 x [376, 737] 5 x [371, 709, 737] 21 x [461, 709, 737] 53 x [438, 885] 22 x [114, 266] 85 x [304, 519] 7 x [519, 547, 946] 5 x [617] 28 x [617, 660] 54 x [617, 643] 2 x [617, 946] 42 x [210, 494] 2 x [494, 849] 56 x [134, 751] 23 x [134, 634] 41 x [155, 525] 50 x [155, 695] 2 x [155, 336, 819] 3 x [155, 458] 18 x [465, 783] 15 x [806] 27 x [964] 29 x [822, 840] 37 x [668, 840] 32 x [840, 968] 18 x [9, 634] 2 x [897] 5 x [450, 897] 52 x [331, 634] 59 x [181, 414] 18 x [414, 710] 7 x [95, 905] 33 x [95, 905, 906] 42 x [485, 949] 16 x [290, 450, 799] 16 x [7, 596] 75 x [168, 596] 1 x [598] 26 x [598, 946] 21 x [179, 345, 598] 2 x [5, 551, 598] 17 x [145, 621] 10 x [145, 168] 40 x [508, 584] 27 x [274, 508] 32 x [423] 11 x [17, 423] 22 x [44, 783] 15 x [44, 460] 9 x [44, 329] 29 x [187, 554] 19 x [187, 275, 805] 17 x [187, 988] 17 x [218, 294] 2 x [240] 36 x [240, 247] 12 x [240, 291, 674] 11 x [190, 723] 22 x [117, 218] 2 x [117, 751] 29 x [117, 568, 877] 17 x [925] 18 x [217, 925] 24 x [247, 925] 34 x [181, 925] 14 x [776, 801, 868] 6 x [567, 868] 21 x [923] 15 x [439, 923] 3 x [923, 970] 1 x [785] 8 x [568, 785] 67 x [65, 811] 3 x [205] 3 x [205, 437] 23 x [205, 338, 437] 2 x [167, 725] 19 x [516, 554, 725] 2 x [10, 725] 17 x [10, 95, 725, 810] 32 x [274, 486, 943] 53 x [561, 943] 72 x [64, 436] 9 x [822, 969] 2 x [364, 969] 14 x [53, 364, 969] 41 x [67, 364, 969] 4 x [194, 518] 22 x [569, 918] 62 x [730, 918] 63 x [261, 372] 14 x [261, 859, 930] 2 x [417] 3 x [417, 930] 38 x [417, 704] 21 x [440, 569] 28 x [569, 894] 53 x [265, 894] 14 x [739] 2 x [10, 739] 2 x [981] 4 x [753, 981] 19 x [220, 322, 981] 22 x [202, 883, 981] 25 x [202, 975, 981] 1 x [235, 296, 774, 981] 19 x [235, 774, 981] 20 x [665] 12 x [64, 665] 23 x [10, 695, 761] 16 x [165, 649, 666] 1 x [165, 649, 666, 826] 1 x [700, 728, 859] 1 x [226, 450, 715] 9 x [450, 715, 820] 21 x [190, 899] 52 x [783, 899] 7 x [161, 899] 15 x [161, 282, 899] 35 x [606] 18 x [136, 865] 20 x [131, 909] 23 x [131, 747] 41 x [316, 681] 4 x [316, 890] 28 x [316, 917] 30 x [688, 814] 16 x [277] 18 x [236, 277, 799] 9 x [26, 277, 799] 7 x [556] 28 x [7, 556] 29 x [431, 556] 11 x [268, 506] 48 x [268, 597] 26 x [268, 751] 25 x [157, 569] 45 x [512, 724] 25 x [128, 568, 724] 31 x [255, 797] 40 x [549, 797] 7 x [443, 881] 3 x [79, 322, 443] 5 x [443, 902] 13 x [443, 774, 902] 7 x [443, 896] 42 x [164, 283, 443] 21 x [512, 632] 17 x [235, 632] 2 x [222, 235, 632] 30 x [445, 572] 16 x [445, 597] 33 x [479, 679] 15 x [674, 679] 6 x [345, 389, 679] 7 x [765, 986] 3 x [729, 742] 25 x [282, 360, 795] 2 x [93, 193, 202] 18 x [193, 252, 381] 34 x [193, 283, 756] 30 x [94, 125] 8 x [125, 667] 7 x [125, 278] 21 x [74, 572] 11 x [156, 478] 23 x [478, 631, 651] 3 x [915] 8 x [332, 915] 3 x [332, 651, 915] 25 x [420, 651, 915] 15 x [135, 161, 915] 16 x [568, 915] 27 x [873, 915] 2 x [618, 759] 1 x [138, 618] 26 x [618, 736] 14 x [376, 618, 787] 43 x [165, 618, 799] 5 x [362, 537] 14 x [527, 861] 2 x [391] 39 x [391, 538, 600] 13 x [391, 494, 713] 15 x [391, 516, 628] 10 x [381, 391, 847] 6 x [391, 486, 505] 11 x [391, 989] 21 x [199] 18 x [101, 199] 19 x [199, 893] 15 x [101, 413] 66 x [413, 439] 34 x [475, 953] 28 x [475, 549] 3 x [538, 895] 2 x [887, 895] 81 x [148, 895] 4 x [538, 980] 15 x [388, 538, 980] 23 x [494, 600, 980] 34 x [138, 166, 980] 23 x [987] 12 x [703, 987] 27 x [136, 987] 25 x [126, 383] 15 x [126, 129] 22 x [482] 14 x [471, 482] 28 x [383, 482] 13 x [482, 699] 82 x [337, 786] 7 x [160, 786] 29 x [116, 239] 15 x [116, 292] 32 x [455, 864] 11 x [487, 516] 36 x [926] 22 x [160, 645] 63 x [555, 807] 45 x [20, 690] 16 x [406] 19 x [406, 730] 9 x [28, 73, 692] 4 x [209, 466] 11 x [498, 528] 15 x [852, 977] 23 x [407, 852] 17 x [555, 852] 56 x [342, 528] 29 x [160, 529] 15 x [529, 825] 35 x [230, 473] 41 x [136, 230] 4 x [65, 230] 16 x [230, 369] 2 x [230, 369, 702] 2 x [158, 968] 1 x [638, 710] 6 x [192] 2 x [182, 192] 14 x [28, 192] 2 x [192, 646] 17 x [192, 381, 550] 13 x [23, 66, 336] 51 x [352, 995] 10 x [120, 352] 42 x [68] 17 x [68, 528] 20 x [68, 707, 742, 906] 3 x [68, 707, 742] 52 x [32, 824] 17 x [773, 824] 14 x [378, 757] 6 x [610, 719] 13 x [314, 534, 719] 1 x [10, 565, 719] 54 x [321, 853] 22 x [451, 648] 3 x [451, 812] 5 x [451, 619] 25 x [46, 388, 451] 5 x [916] 66 x [748, 916] 9 x [32, 916] 2 x [154, 916] 38 x [401, 491] 17 x [491, 912] 36 x [693] 13 x [328, 693] 27 x [648, 693] 23 x [584, 693, 774] 1 x [693, 896] 43 x [332, 453, 841] 44 x [170, 841] 4 x [251, 890] 10 x [83, 831] 56 x [328, 934] 5 x [136, 934] 1 x [136, 154, 934] 7 x [136, 224, 934] 1 x [136, 600, 934] 65 x [177, 763] 13 x [143, 424, 763] 71 x [341, 777] 26 x [121, 341] 2 x [387] 12 x [387, 468, 962] 2 x [387, 742] 10 x [138, 387, 646] 9 x [321, 889] 30 x [231, 889] 25 x [95, 577, 648] 13 x [577, 764] 26 x [577, 808] 35 x [401, 954] 15 x [63, 600, 776] 30 x [306, 409] 13 x [110, 652] 53 x [81, 110] 3 x [652, 743] 9 x [415, 743] 19 x [282, 608, 743] 65 x [415, 731] 25 x [418, 731, 909] 7 x [120, 380] 21 x [380, 420, 542] 17 x [83, 777] 14 x [282, 751, 846] 3 x [13, 516, 825] 14 x [13, 170, 460] 28 x [255, 503, 700] 7 x [180, 255, 503] 30 x [143, 332, 503, 651] 26 x [83, 209] 18 x [10, 83, 209] 8 x [81, 912] 15 x [81, 456] 5 x [608, 920] 1 x [283, 608, 920] 41 x [5, 166, 388, 920] 2 x [226, 790, 920] 10 x [30, 114, 142] 26 x [589, 671, 877] 27 x [321, 516, 825] 25 x [177, 834] 12 x [433, 864, 924] 11 x [307, 924] 12 x [307, 604, 924] 5 x [307, 329, 924] 42 x [42, 178, 859] 10 x [85, 178] 7 x [168, 178, 209] 32 x [178, 224, 662, 718] 18 x [329, 392, 834] 57 x [392, 515, 834] 21 x [306, 682, 722] 3 x [127, 500] 12 x [298, 942, 995] 15 x [346, 942, 995] 10 x [137, 182, 469] 18 x [28, 469, 857] 13 x [469, 646, 742] 18 x [120, 392, 516] 45 x [58, 120, 200] 14 x [120, 200, 722] 5 x [120, 589, 877] 2 x [401, 420] 8 x [401, 683] 26 x [231, 398, 631] 12 x [231, 825] 3 x [95, 135, 231, 825] 23 x [170, 231, 669] 17 x [633, 977] 2 x [398, 633, 977] 17 x [42, 365, 662] 28 x [209, 365, 890] 12 x [365, 619, 829] 16 x [23, 365] 23 x [586, 700, 748] 29 x [58, 714, 912] 2 x [196, 912] 28 x [687, 912] 4 x [58, 163, 845] 3 x [106, 368] 6 x [690, 825] 22 x [24, 30, 407] 5 x [127, 407] 12 x [127, 407, 975] 20 x [214, 633, 682] 8 x [149, 587] 45 x [149, 773] 2 x [149, 219] 19 x [149, 219, 619] 24 x [138, 149, 196] 2 x [149, 646, 854] 51 x [23, 218, 522] 2 x [522, 714] 38 x [226, 522, 820, 883] 2 x [583] 30 x [154, 583, 681] 30 x [160, 161, 597] 26 x [135, 953, 970] 30 x [72, 265, 864] 5 x [72, 307, 568, 669] 9 x [639, 657, 795] 52 x [639, 823, 893] 1 x [30, 246, 506] 4 x [101, 124, 127] 1 x [106, 538, 798] 6 x [106, 619, 647] 22 x [106, 166, 378, 877] 31 x [106, 662] 21 x [33, 89, 921] 39 x [489, 921] 18 x [489, 560, 921] 19 x [795, 921] 27 x [372, 453, 722] 3 x [200, 716, 783] 10 x [255, 386] 18 x [255, 660] 2 x [315] 18 x [315, 909] 2 x [315, 460] 25 x [315, 488, 685] 13 x [190, 298] 12 x [190, 298, 880] 2 x [58, 180, 346] 29 x [346, 420, 948] 8 x [282, 336, 346, 600] 13 x [139, 476, 568] 15 x [621, 730, 884] 1 x [282, 730, 795, 817] 2 x [156, 279, 730] 4 x [435, 460, 687, 933] 2 x [307, 581] 21 x [307, 433, 584, 676] 7 x [307, 433, 435, 584] 3 x [150, 307, 433, 584] 10 x [163, 282, 420, 460] 20 x [163, 234, 460] 23 x [163, 179, 942] 13 x [658, 707, 817] 8 x [200, 742, 910] 19 x [114, 200, 313] 2 x [200, 687] 12 x [468, 633, 990] 2 x [246, 460] 1 x [30, 246, 444] 21 x [581, 700, 825, 891] 10 x [581, 825] 26 x [143, 329, 668] 6 x [4, 7, 143] 26 x [4, 150, 589, 722] 26 x [24, 150, 431] 2 x [168, 586] 5 x [420, 586] 39 x [429, 515, 586] 5 x [161, 453, 990] 2 x [24, 398, 990] 8 x [24, 184, 435] 9 x [24, 150, 184, 435] 2 x [24, 95, 184, 435] 2 x [127, 584] 3 x [121, 161, 778] 2 x [127, 990] 11 x [127, 161, 435, 902] 1 x [143, 851, 871] 10 x [135, 881, 884] 19 x [35, 292, 460] 7 x [114, 170] 2 x [170, 515] 8 x [31, 143, 332] 2 x [143, 150, 859]