Build (method = -2) #dp: 2895936 Step-3' Graph: 100700 vertices and 302093 arcs (1114.82s) Step-4' Graph: 23002 vertices and 146697 arcs (1117.38s) #V4/#V3 = 0.23 #A4/#A3 = 0.49 Ready! (1117.38s) Optimize a model with 24002 rows, 146698 columns and 394094 nonzeros Presolve removed 976 rows and 4437 columns Presolve time: 1.35s Presolved: 23026 rows, 142261 columns, 385177 nonzeros Variable types: 0 continuous, 142261 integer (561 binary) Optimize a model with 23026 rows, 142261 columns and 385177 nonzeros Presolve removed 125 rows and 125 columns Presolved: 22901 rows, 142136 columns, 385587 nonzeros Root barrier log... Ordering time: 2.71s Barrier statistics: AA' NZ : 2.345e+05 Factor NZ : 1.966e+06 (roughly 80 MBytes of memory) Factor Ops : 5.028e+08 (less than 1 second per iteration) Threads : 1 Objective Residual Iter Primal Dual Primal Dual Compl Time 0 8.65990022e+07 -2.24453993e+08 1.31e+10 4.29e-02 1.98e+05 4s 1 1.41922204e+07 -1.88837309e+08 1.42e+09 1.20e-01 2.20e+04 4s 2 2.28645393e+06 -1.00700582e+08 1.97e+08 9.09e-03 3.27e+03 4s 3 3.74150080e+05 -3.95608133e+07 2.66e+07 1.40e-03 5.16e+02 4s 4 9.25600480e+04 -1.44394315e+07 3.28e+06 1.17e-04 9.50e+01 5s 5 6.78341110e+04 -5.51031382e+06 1.34e+06 1.33e-14 3.73e+01 5s 6 5.44797653e+04 -3.11151793e+06 3.31e+05 7.19e-14 1.53e+01 6s 7 5.20224543e+04 -2.27974718e+06 1.51e+05 6.39e-14 1.00e+01 6s 8 5.09900157e+04 -1.88650740e+06 8.17e+04 4.88e-14 7.77e+00 6s 9 5.03622780e+04 -1.44697303e+06 4.85e+04 3.73e-14 5.82e+00 6s 10 4.97851776e+04 -1.07337899e+06 2.83e+04 2.75e-14 4.27e+00 7s 11 4.90499671e+04 -6.19754652e+05 1.17e+04 1.60e-14 2.46e+00 7s 12 4.78747274e+04 -3.69850683e+05 2.20e+03 9.66e-15 1.48e+00 7s 13 4.68052653e+04 -2.68088228e+05 1.33e+03 7.33e-15 1.12e+00 8s 14 4.57486932e+04 -2.41636900e+05 1.06e+03 6.66e-15 1.02e+00 8s 15 4.37244653e+04 -1.66016122e+05 5.89e+02 4.88e-15 7.40e-01 8s 16 4.21315095e+04 -1.32017572e+05 4.22e+02 4.11e-15 6.14e-01 8s 17 4.02467840e+04 -9.41945133e+04 2.56e+02 3.11e-15 4.73e-01 9s 18 3.81891941e+04 -6.62023383e+04 1.51e+02 2.44e-15 3.67e-01 9s 19 3.75077346e+04 -5.23521747e+04 1.31e+02 2.22e-15 3.16e-01 9s 20 3.68341354e+04 -3.37744104e+04 1.13e+02 1.67e-15 2.48e-01 10s 21 3.55712306e+04 -2.93786618e+04 8.38e+01 1.80e-15 2.28e-01 10s 22 3.43888340e+04 -1.38556319e+04 6.36e+01 1.78e-15 1.70e-01 10s 23 3.37256283e+04 -1.12767061e+04 5.33e+01 1.84e-15 1.58e-01 11s 24 3.30629753e+04 -4.80773227e+03 4.26e+01 1.53e-15 1.33e-01 11s 25 3.22590931e+04 4.89759023e+03 3.01e+01 1.43e-15 9.62e-02 11s 26 3.18898232e+04 1.09628510e+04 2.45e+01 8.15e-16 7.36e-02 12s 27 3.12369339e+04 1.42777162e+04 1.53e+01 9.92e-16 5.96e-02 12s 28 3.11065779e+04 1.76351099e+04 1.33e+01 9.85e-16 4.73e-02 12s 29 3.08627049e+04 1.94258517e+04 9.08e+00 1.04e-15 4.02e-02 12s 30 3.07631670e+04 2.17000819e+04 6.91e+00 9.59e-16 3.18e-02 13s 31 3.07248849e+04 2.34853962e+04 6.18e+00 5.88e-16 2.54e-02 13s 32 3.06890714e+04 2.36258659e+04 5.38e+00 7.30e-16 2.48e-02 13s 33 3.06210295e+04 2.58013198e+04 3.30e+00 5.08e-16 1.69e-02 14s 34 3.05653520e+04 2.68582607e+04 1.57e+00 4.46e-16 1.30e-02 14s 35 3.05447490e+04 2.86087473e+04 8.51e-01 3.50e-16 6.80e-03 14s 36 3.05342687e+04 2.94093381e+04 4.88e-01 3.42e-16 3.95e-03 15s 37 3.05227248e+04 2.96607566e+04 1.53e-01 3.64e-16 3.03e-03 15s 38 3.05203830e+04 3.02230347e+04 7.79e-02 4.27e-16 1.04e-03 15s 39 3.05175642e+04 3.04216318e+04 1.85e-02 3.99e-16 3.37e-04 15s 40 3.05167266e+04 3.05054984e+04 1.74e-03 4.91e-16 3.94e-05 16s 41 3.05165003e+04 3.05164887e+04 3.09e-10 4.75e-16 4.08e-08 16s 42 3.05165000e+04 3.05165000e+04 5.09e-10 4.44e-16 4.08e-11 16s Barrier solved model in 42 iterations and 16.36 seconds Optimal objective 3.05165000e+04 Root crossover log... 4379 DPushes remaining with DInf 0.0000000e+00 16s 0 DPushes remaining with DInf 6.4318299e-01 17s 103113 PPushes remaining with PInf 0.0000000e+00 17s 37196 PPushes remaining with PInf 0.0000000e+00 20s 0 PPushes remaining with PInf 0.0000000e+00 23s Push phase complete: Pinf 0.0000000e+00, Dinf 6.4318299e-01 23s Root simplex log... Iteration Objective Primal Inf. Dual Inf. Time 107494 3.0516500e+04 0.000000e+00 0.000000e+00 23s 107494 3.0516500e+04 0.000000e+00 0.000000e+00 23s Root relaxation: objective 3.051650e+04, 107494 iterations, 23.10 seconds Total elapsed time = 36.72s Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 30516.5000 0 20 - 30516.5000 - - 39s H 0 0 30712.000000 30516.5000 0.64% - 40s H 0 0 30518.000000 30516.5000 0.00% - 68s H 0 0 30517.000000 30516.5000 0.00% - 447s Explored 0 nodes (132279 simplex iterations) in 447.76 seconds Thread count was 1 (of 8 available processors) Optimal solution found (tolerance 0.00e+00) Best objective 3.051700000000e+04, best bound 3.051700000000e+04, gap 0.0% Preprocessing time: 1117.98 seconds Gurobi run time: 447.76 seconds Total run time: 1565.74 seconds Objective: 30517 Solution: 48 x [547] 65 x [845] 48 x [111] 51 x [38] 3 x [178] 35 x [559] 32 x [765] 13 x [910] 68 x [998] 61 x [720] 81 x [778] 58 x [266] 19 x [569] 53 x [754] 82 x [933] 56 x [669] 13 x [272] 35 x [496] 75 x [44] 6 x [495] 15 x [668] 5 x [64] 3 x [492] 14 x [655] 99 x [741] 23 x [888] 32 x [205] 72 x [291] 16 x [361] 15 x [144] 11 x [310] 97 x [387] 13 x [408] 66 x [834] 50 x [973] 56 x [979] 5 x [65] 35 x [214] 51 x [375] 59 x [794] 38 x [131] 100 x [308] 31 x [820] 50 x [843] 22 x [122] 61 x [278] 95 x [289] 75 x [296] 3 x [147] 34 x [274] 5 x [737] 71 x [446] 81 x [568] 28 x [601] 87 x [958] 16 x [143] 91 x [705] 19 x [251] 45 x [882] 49 x [390] 35 x [742] 67 x [968] 81 x [154] 46 x [336] 31 x [268] 50 x [268, 962] 67 x [6] 56 x [661] 28 x [927] 41 x [946] 13 x [250, 946] 67 x [365] 8 x [659] 47 x [929] 32 x [315] 5 x [298] 60 x [250, 298] 8 x [181] 51 x [368] 96 x [790] 47 x [576] 6 x [991] 50 x [20] 46 x [152] 86 x [212] 3 x [730] 79 x [380] 95 x [532] 36 x [917] 68 x [709] 38 x [711] 80 x [716] 10 x [736] 30 x [976] 83 x [11] 90 x [52] 51 x [135] 44 x [640] 1 x [760] 98 x [763] 19 x [989] 33 x [202] 2 x [527] 58 x [128] 17 x [157] 20 x [788] 31 x [854] 73 x [407] 81 x [450] 28 x [196] 56 x [196, 623] 86 x [28] 83 x [565] 19 x [403, 978] 57 x [797] 72 x [121] 71 x [893] 32 x [584] 38 x [39] 65 x [713] 13 x [562, 713] 63 x [988] 52 x [232] 74 x [314] 49 x [753] 83 x [32] 100 x [931] 8 x [942] 61 x [955] 50 x [209] 90 x [159] 43 x [848] 16 x [698] 74 x [698, 779] 63 x [189] 61 x [118] 50 x [149] 16 x [235] 73 x [230] 38 x [295] 24 x [50] 17 x [130] 38 x [355] 87 x [426] 54 x [689] 23 x [462] 15 x [467] 46 x [596] 55 x [724] 29 x [261] 7 x [486] 46 x [486, 869] 26 x [789] 5 x [76, 789] 21 x [43] 72 x [722] 42 x [605] 2 x [302] 38 x [35] 98 x [187] 60 x [717] 17 x [515] 2 x [515, 696] 13 x [210] 34 x [238] 88 x [837] 19 x [611] 31 x [301, 611] 16 x [84, 611] 68 x [512] 74 x [673] 28 x [701] 2 x [455] 21 x [456] 19 x [675] 68 x [897] 72 x [970] 70 x [457] 87 x [900] 3 x [859] 6 x [636] 57 x [636, 699] 84 x [133] 85 x [173] 40 x [405] 42 x [520] 60 x [110] 9 x [172] 26 x [401] 66 x [561] 48 x [479] 51 x [60] 90 x [638] 74 x [974] 63 x [612] 19 x [732] 96 x [802] 49 x [890] 34 x [924] 67 x [352] 29 x [504] 73 x [632] 60 x [672] 23 x [132] 13 x [810] 10 x [284, 810] 44 x [764, 810] 53 x [870] 43 x [505] 92 x [658] 10 x [245] 11 x [245, 751] 2 x [345] 59 x [593] 45 x [51] 20 x [51, 963] 19 x [872] 45 x [524, 872] 71 x [164] 53 x [412] 37 x [471] 68 x [89] 33 x [431, 465] 97 x [700] 67 x [792] 73 x [922] 34 x [652] 31 x [76, 652] 51 x [2] 65 x [347] 74 x [738] 5 x [747] 5 x [850] 34 x [360] 78 x [59] 38 x [320] 5 x [566] 19 x [284, 406] 5 x [10] 35 x [10, 696] 23 x [191, 287] 22 x [191, 918] 45 x [191, 898] 86 x [342] 53 x [626] 19 x [171] 71 x [185] 37 x [208] 15 x [533] 74 x [940] 52 x [964] 5 x [371] 44 x [225, 371, 453] 32 x [246, 371, 696, 904] 6 x [104] 13 x [104, 367, 402] 17 x [104, 160] 27 x [104, 367] 17 x [777] 10 x [755, 777] 10 x [729] 40 x [517, 729] 58 x [139] 74 x [280] 62 x [329] 13 x [649] 16 x [151, 649] 79 x [68] 97 x [370] 1 x [796] 17 x [682] 45 x [377, 682] 19 x [682, 878] 11 x [404] 21 x [287, 404] 95 x [556] 27 x [905] 28 x [138] 13 x [835] 13 x [798, 835] 6 x [657] 50 x [519, 657] 48 x [116, 516, 523] 11 x [516, 758] 6 x [560] 18 x [301, 560] 9 x [170] 31 x [639] 4 x [1000] 37 x [769] 14 x [301, 769] 59 x [428] 34 x [501] 8 x [501, 607] 56 x [501, 960] 40 x [114] 27 x [31] 48 x [31, 853] 100 x [54] 6 x [331] 49 x [340] 98 x [633] 24 x [690] 1 x [862] 7 x [359] 28 x [252, 980] 34 x [252, 903] 26 x [252, 631] 31 x [818] 44 x [581] 23 x [273] 36 x [273, 751] 18 x [432] 10 x [432, 779] 4 x [151, 432, 562] 5 x [248] 15 x [8] 5 x [644] 37 x [644, 926] 20 x [644, 696] 65 x [123, 463] 28 x [463, 772] 44 x [353] 2 x [353, 617] 4 x [436] 14 x [436, 866] 48 x [851] 48 x [728, 851] 38 x [865] 27 x [814, 865] 55 x [57] 38 x [197] 29 x [197, 369] 5 x [197, 749] 8 x [134] 9 x [134, 247] 28 x [134, 385] 28 x [134, 453] 7 x [671] 33 x [671, 755] 11 x [641, 671] 6 x [117, 671] 5 x [822, 885] 19 x [943] 22 x [369, 943] 9 x [944] 3 x [562, 755, 944] 10 x [182, 944] 19 x [246, 944] 2 x [562, 944] 28 x [420, 833] 20 x [880] 8 x [610] 57 x [770] 6 x [167, 770] 9 x [703, 770] 14 x [391, 770] 38 x [107, 475] 20 x [489] 7 x [911] 70 x [421] 41 x [842] 46 x [595] 36 x [464, 595] 17 x [595, 807] 29 x [145] 26 x [145, 167] 1 x [215] 14 x [215, 755] 53 x [167, 215] 5 x [76, 215] 5 x [518] 20 x [403, 518] 52 x [555, 665] 42 x [53, 555] 45 x [806] 33 x [513, 806] 3 x [431, 806] 5 x [938] 32 x [782, 938] 2 x [687] 1 x [687, 816] 16 x [959] 15 x [904, 959] 62 x [227, 477] 22 x [667] 55 x [217, 803] 42 x [217, 654] 68 x [179, 956] 5 x [727] 5 x [856] 23 x [459, 856] 35 x [550, 856] 31 x [764, 856] 53 x [166] 50 x [847] 3 x [519, 847] 17 x [822, 847] 18 x [562, 847] 25 x [27, 815] 70 x [96, 482] 18 x [96, 523, 704, 758] 30 x [12] 48 x [12, 219] 28 x [759] 28 x [76, 246, 759] 2 x [254] 3 x [254, 540] 41 x [472, 801] 10 x [801, 815] 42 x [651] 10 x [651, 962] 47 x [87, 293] 25 x [24, 293] 20 x [13] 52 x [13, 957] 16 x [13, 643] 1 x [13, 186] 10 x [630] 47 x [269, 630] 27 x [468, 630] 38 x [19, 62] 14 x [62, 482] 1 x [735] 22 x [608, 735] 5 x [482, 735] 28 x [598] 15 x [483, 598] 33 x [598, 903] 12 x [767] 1 x [767, 898] 54 x [105, 972] 21 x [616] 12 x [150, 616] 6 x [616, 631, 704] 2 x [616, 695] 2 x [616, 704] 25 x [422] 45 x [67, 422] 12 x [422, 855] 13 x [422, 614] 13 x [480] 43 x [258, 480] 31 x [115] 33 x [115, 319] 16 x [646, 932] 20 x [771, 878] 5 x [420, 771, 878] 42 x [101] 6 x [628] 64 x [628, 932] 29 x [628, 869] 72 x [137] 18 x [424, 597] 10 x [73, 424] 43 x [424, 692] 1 x [424, 635] 15 x [325, 424, 635] 40 x [40, 299] 5 x [466] 14 x [24, 385, 466] 27 x [213] 25 x [539] 1 x [539, 809] 14 x [403, 539, 809] 16 x [176, 539] 17 x [284, 540, 811] 4 x [766] 12 x [766, 807] 1 x [766, 804] 30 x [199, 766, 804] 13 x [356, 377] 23 x [356, 483] 21 x [356, 889] 5 x [301, 356] 27 x [356, 384] 6 x [313] 21 x [313, 739] 5 x [313, 660] 10 x [715] 66 x [715, 945] 6 x [337] 35 x [337, 815] 57 x [337, 358] 19 x [237] 9 x [237, 453] 16 x [977] 9 x [734] 1 x [326, 734] 25 x [635, 734] 19 x [186, 204, 622] 1 x [100, 622] 31 x [822, 952] 5 x [410] 16 x [410, 519] 6 x [367, 410, 519] 16 x [180, 410] 51 x [259] 15 x [259, 666] 18 x [97, 259, 666] 6 x [239] 19 x [239, 377] 40 x [97, 239] 21 x [642] 6 x [376] 9 x [376, 815] 32 x [305] 43 x [305, 603] 56 x [265, 429] 51 x [440] 22 x [87, 440] 8 x [193, 483] 38 x [193, 332] 38 x [585, 615] 10 x [591, 615] 33 x [981, 984] 22 x [838] 10 x [654, 838] 6 x [53, 186, 838] 23 x [186, 838] 6 x [474] 38 x [358, 474] 29 x [420, 474, 540] 5 x [284, 474, 758] 19 x [793] 4 x [37, 793] 4 x [493] 18 x [413, 614] 16 x [226] 37 x [226, 326] 2 x [824] 14 x [294, 824] 41 x [37, 824] 6 x [824, 972] 32 x [265, 824] 2 x [277] 36 x [72, 277] 2 x [113, 277] 51 x [506] 34 x [506, 654] 34 x [29, 981] 44 x [29, 983] 49 x [685, 876] 20 x [49] 58 x [18, 49] 15 x [49, 761] 36 x [395, 873] 34 x [260, 395] 56 x [281, 324] 37 x [324, 819] 4 x [309, 324] 24 x [452] 17 x [363, 452] 21 x [169, 982] 56 x [821, 982] 53 x [36, 875] 21 x [22, 36] 69 x [80, 460] 23 x [80, 785] 4 x [80, 136] 25 x [535] 3 x [535, 883] 59 x [88, 535] 5 x [915] 29 x [81, 915] 31 x [678, 915] 16 x [558, 915] 5 x [221, 374, 914] 37 x [25, 71] 4 x [303] 37 x [303, 349, 697] 5 x [552, 614] 58 x [402, 552, 963] 20 x [827] 18 x [522, 827] 14 x [442, 704, 827] 25 x [704, 827] 6 x [45] 25 x [45, 799] 2 x [244] 32 x [26, 244] 2 x [150, 244] 22 x [95, 244, 643] 15 x [545, 913] 37 x [162, 545] 18 x [558, 858] 26 x [366, 821] 32 x [366, 585] 6 x [498, 999] 62 x [637, 647] 43 x [262, 327] 2 x [116, 262, 327] 17 x [454] 19 x [454, 945] 22 x [454, 903] 6 x [328, 454] 4 x [34, 637] 21 x [34, 544] 28 x [34, 761, 773] 6 x [381, 744] 20 x [40, 381] 24 x [192, 385, 502] 40 x [502, 758] 3 x [886] 9 x [634, 886] 26 x [589, 886] 12 x [635, 886] 18 x [186, 227, 702] 17 x [72, 420, 702] 9 x [702, 881, 934] 14 x [420, 702] 11 x [523, 702] 2 x [417] 49 x [372, 417] 45 x [417, 907] 2 x [177, 417] 15 x [551] 13 x [5, 551] 16 x [334] 15 x [530] 10 x [795] 5 x [102] 29 x [102, 168] 13 x [102, 819] 33 x [141, 234] 46 x [99, 234] 4 x [94] 19 x [674] 32 x [674, 712] 56 x [330, 714] 35 x [578, 714] 9 x [990] 30 x [876, 990] 16 x [330, 990] 5 x [840] 56 x [840, 879] 29 x [822, 840] 18 x [46] 33 x [46, 140] 10 x [783] 12 x [461, 783] 24 x [218, 783] 16 x [485, 783] 9 x [339] 9 x [23] 37 x [23, 461] 23 x [23, 536] 17 x [590] 2 x [16, 590] 10 x [774] 8 x [69, 774] 38 x [85, 136, 774] 2 x [599, 704] 3 x [831] 30 x [543, 831] 45 x [831, 996] 39 x [270, 800] 10 x [265, 270] 73 x [120, 813] 20 x [813, 966] 11 x [392, 896] 22 x [397, 896, 914] 12 x [902] 29 x [879, 902] 55 x [141, 902] 30 x [126, 262] 9 x [126, 179] 30 x [48, 126] 26 x [216] 4 x [141, 216] 4 x [73, 216] 31 x [4, 73, 216] 2 x [216, 699] 54 x [99, 394] 6 x [394, 981] 26 x [394, 541] 9 x [66, 262] 51 x [66, 374] 5 x [66, 889] 20 x [710] 75 x [710, 935] 57 x [292, 543] 36 x [292, 686] 37 x [317, 664] 15 x [614, 746] 13 x [740] 29 x [306, 740] 14 x [109, 697, 740] 24 x [740, 782] 20 x [653, 937] 73 x [83, 775] 8 x [397, 697, 775] 35 x [48, 146, 325, 699] 10 x [174, 306] 50 x [174, 719, 874] 6 x [174, 397, 697] 3 x [473] 6 x [392, 473] 39 x [325, 473, 546] 19 x [40, 758, 849] 38 x [53, 177, 849] 13 x [288, 849] 4 x [808] 5 x [591, 808] 43 x [579, 949] 32 x [194, 579] 25 x [79] 2 x [762] 7 x [184, 762] 7 x [351] 10 x [351, 817] 20 x [70] 8 x [70, 243] 24 x [70, 184] 8 x [70, 316, 397] 37 x [222, 300] 18 x [300, 718] 11 x [300, 627] 31 x [300, 921] 5 x [733] 18 x [418, 447] 43 x [447, 498] 41 x [511] 19 x [269, 511] 35 x [346, 993] 51 x [780, 993] 33 x [312, 317] 25 x [312, 748] 19 x [526, 528] 4 x [830] 58 x [388, 830] 14 x [528, 830] 2 x [434, 957] 39 x [142, 223] 18 x [223, 346] 39 x [183, 587] 20 x [183, 768] 1 x [491] 57 x [470, 491] 13 x [285, 600] 9 x [87, 965] 8 x [95, 554] 25 x [95, 554, 662] 2 x [554, 889] 15 x [199, 523, 554] 11 x [285, 951] 4 x [430] 29 x [430, 606] 5 x [86, 430] 12 x [430, 916] 3 x [430, 558] 3 x [25, 224] 18 x [224, 692] 62 x [224, 861, 994] 2 x [1] 1 x [1, 949] 32 x [1, 364] 57 x [538, 936] 24 x [936, 949] 52 x [90, 860] 41 x [90, 913] 10 x [425] 25 x [85, 425] 4 x [382] 2 x [826] 14 x [348, 826] 8 x [826, 994] 32 x [435, 826] 15 x [107, 635, 826] 1 x [826, 914] 7 x [909] 44 x [487, 909] 25 x [304, 656] 24 x [488, 656] 43 x [78, 656] 13 x [389, 807, 957] 2 x [389, 624] 3 x [107, 322] 14 x [322, 397, 773] 74 x [341, 950] 15 x [564, 950] 8 x [275] 31 x [275, 648] 5 x [275, 330] 48 x [275, 464, 829] 8 x [899] 13 x [522, 899] 2 x [522, 643, 899] 30 x [868, 949] 51 x [521, 807, 868] 37 x [451, 578] 27 x [233, 534] 65 x [233, 892] 28 x [497, 548] 32 x [276, 418] 27 x [276, 372] 19 x [276, 819] 17 x [276, 819, 960] 1 x [379, 509] 8 x [396] 1 x [103, 153] 60 x [103, 158, 645] 23 x [852, 864] 21 x [522, 864] 59 x [307, 954] 25 x [449, 954] 70 x [163, 781] 44 x [572, 706] 6 x [297, 572] 17 x [498, 997] 8 x [229, 805] 19 x [415, 805] 21 x [201, 621] 12 x [509, 621] 33 x [162, 476] 1 x [476, 513] 29 x [468, 476, 513] 35 x [207, 688] 24 x [348, 688] 7 x [201, 941] 20 x [228, 941] 22 x [282, 499] 35 x [282, 972] 61 x [148, 343] 38 x [100, 199, 784, 871] 9 x [24, 784] 27 x [460, 484, 761] 60 x [124, 155] 25 x [124, 548] 28 x [350] 15 x [350, 781] 12 x [343, 350] 13 x [602, 816] 14 x [708] 12 x [335, 708] 6 x [335, 521, 708] 4 x [704, 708, 782] 19 x [48, 708] 6 x [240, 508] 16 x [236, 508] 22 x [30, 531] 41 x [195, 531] 10 x [528, 531] 37 x [863, 867] 19 x [852, 863] 25 x [201, 386] 47 x [393, 629] 4 x [510] 12 x [47, 510] 62 x [175, 510] 15 x [920] 65 x [63, 920] 37 x [757, 901] 14 x [33] 26 x [30, 33] 11 x [33, 487] 15 x [150, 514] 45 x [150, 514, 541] 1 x [7, 825] 29 x [7, 828] 9 x [7, 108] 37 x [604, 731] 48 x [240, 604] 10 x [604, 629] 31 x [975, 992] 10 x [267, 992] 7 x [98, 992] 30 x [509, 992] 15 x [338, 586, 992] 12 x [694] 54 x [153, 694] 4 x [301, 694] 9 x [161] 21 x [161, 348, 631] 40 x [113, 161, 853] 8 x [113, 161] 51 x [253, 706] 4 x [253, 490, 620] 19 x [253, 507, 756] 8 x [77, 594] 1 x [490, 594, 620] 6 x [594, 756] 29 x [439, 594, 839] 8 x [91, 500] 31 x [91, 108] 3 x [712, 928] 26 x [663, 744] 34 x [264, 459, 663] 13 x [663, 957] 4 x [87, 663] 18 x [87, 663, 704] 23 x [575, 825] 21 x [257, 525, 575] 27 x [575, 586, 680] 2 x [338, 575, 680] 9 x [691] 1 x [677, 691] 9 x [670] 12 x [22, 631, 670] 27 x [670, 817] 22 x [14, 17] 23 x [279, 857] 1 x [279, 509] 9 x [573] 26 x [119, 125] 32 x [119, 260] 1 x [156, 311] 86 x [156, 939] 46 x [416, 679] 68 x [458, 469] 19 x [458, 488, 525] 15 x [129, 441] 23 x [441, 469] 38 x [338, 441, 488] 56 x [985, 987] 3 x [844, 987] 22 x [55, 836] 2 x [583, 836] 11 x [613, 799, 836] 12 x [684] 33 x [41, 195] 33 x [56, 84, 553] 12 x [330, 553] 13 x [553, 799] 37 x [264, 319, 592] 4 x [961] 20 x [725, 961] 10 x [912, 961] 17 x [186, 445, 744] 22 x [418, 445] 4 x [158, 445, 773] 29 x [283, 445, 925] 13 x [445, 878, 908] 29 x [242, 906] 1 x [241, 906] 33 x [21, 399] 47 x [333, 414] 4 x [414, 874, 934] 3 x [414, 874] 10 x [743] 24 x [30, 620, 743] 31 x [384, 392, 743, 914] 22 x [290, 438] 39 x [290, 887] 5 x [290, 383] 21 x [318, 887] 32 x [92, 582] 48 x [333, 582] 51 x [494, 619] 19 x [61, 494] 26 x [240, 494] 26 x [363, 609, 752] 5 x [231, 609] 6 x [231, 349, 609] 5 x [363, 609] 4 x [247, 812] 5 x [400] 2 x [400, 619] 7 x [400, 564] 66 x [220, 400, 966] 61 x [242, 437] 32 x [383, 437] 3 x [333, 481] 66 x [373, 481] 71 x [549, 750] 39 x [271, 930] 1 x [271, 439, 756] 3 x [112, 271, 839] 40 x [78, 271, 839] 16 x [271, 427, 823] 33 x [21, 995] 13 x [21, 832, 874] 22 x [363, 681, 761] 54 x [442, 643, 681, 752] 48 x [15, 42] 5 x [142, 645, 995] 21 x [16, 995] 18 x [9, 438] 18 x [444, 873] 17 x [106, 443, 619] 32 x [47, 241] 19 x [55, 887] 21 x [75, 323] 11 x [75, 316, 883] 54 x [3, 203, 567] 2 x [203, 874, 985] 29 x [3, 203, 985] 6 x [203, 587] 4 x [203, 321, 397] 11 x [344, 676, 901] 8 x [344, 357] 24 x [249, 344, 357] 24 x [344, 712, 923] 4 x [433] 6 x [433, 537] 6 x [78, 469, 488] 27 x [108, 586, 930] 18 x [108, 841, 930] 36 x [198, 383] 4 x [571, 875] 32 x [169, 571] 12 x [571, 773] 24 x [509, 679, 839] 11 x [683, 877] 35 x [92, 378, 397] 64 x [725, 895] 2 x [693] 16 x [693, 884, 932] 13 x [693, 723, 817] 16 x [693, 925] 1 x [693, 846, 925] 3 x [693, 846] 5 x [155, 354] 18 x [155, 354, 776] 13 x [263] 14 x [263, 852] 3 x [263, 726] 16 x [263, 468, 726] 42 x [127, 263, 459] 20 x [15, 228, 574] 10 x [256, 448] 10 x [175, 378, 577] 34 x [14, 567, 577] 15 x [14, 184, 580, 969] 14 x [14, 577] 37 x [307, 398, 542] 55 x [249, 398, 894] 4 x [398, 542] 30 x [311, 676, 707] 6 x [707, 895, 969] 30 x [625, 707, 748] 18 x [448, 620, 745] 12 x [448, 542] 13 x [357, 529, 969] 63 x [74, 529, 570] 30 x [311, 317, 627] 5 x [179, 311, 676] 34 x [255, 629, 787] 17 x [588, 787] 5 x [151, 204, 246, 787] 12 x [151, 787] 14 x [731, 953] 21 x [106, 637] 10 x [106, 883] 18 x [106, 384, 883] 34 x [557, 892, 904] 7 x [127, 557] 17 x [100, 557] 7 x [206, 947, 969] 8 x [558, 947, 966] 18 x [285, 901] 2 x [260, 791, 901] 3 x [478, 676, 901] 2 x [260, 901] 12 x [357] 5 x [357, 919, 921] 17 x [357, 919] 41 x [852, 883, 891] 2 x [891, 916] 20 x [817, 891, 916] 2 x [704, 817, 891, 916] 4 x [704, 891, 916] 2 x [392, 891] 8 x [392, 804, 891] 29 x [190, 786] 11 x [206, 823, 923] 24 x [74, 912] 8 x [93, 200, 895] 7 x [198, 625, 986] 37 x [548, 786, 921] 4 x [548, 967] 6 x [316, 323, 721] 2 x [721, 966] 14 x [721, 980] 21 x [503, 614] 21 x [419, 650, 786] 11 x [409, 786] 11 x [953] 10 x [82, 925, 953] 1 x [423, 620, 892, 953] 11 x [319, 411, 953] 22 x [423, 620, 953] 1 x [108, 338, 525, 828] 5 x [201, 509, 618] 23 x [201, 228, 574] 3 x [74, 200] 10 x [228, 415, 509] 1 x [108, 338] 13 x [69, 247, 877] 10 x [76, 319, 877] 10 x [285, 832] 8 x [832, 971] 19 x [58, 832] 5 x [832, 874] 11 x [40, 211] 36 x [676, 791, 923] 8 x [362, 923, 948] 14 x [58, 288, 625] 26 x [107, 563, 967] 28 x [542, 650, 967] 51 x [286, 650, 823, 969] 32 x [165, 286, 472] 8 x [286, 948] 2 x [188] 5 x [188, 748] 26 x [309, 776, 967] 4 x [286, 653, 823]