Build (method = -2) #dp: 4603351 Step-3' Graph: 132406 vertices and 397211 arcs (1690.37s) Step-4' Graph: 26942 vertices and 186283 arcs (1693.48s) #V4/#V3 = 0.20 #A4/#A3 = 0.47 Ready! (1693.48s) Optimize a model with 27942 rows, 186284 columns and 504972 nonzeros Presolve removed 893 rows and 4742 columns Presolve time: 1.64s Presolved: 27049 rows, 181542 columns, 495457 nonzeros Variable types: 0 continuous, 181542 integer (1594 binary) Found heuristic solution: objective 33624.000000 Optimize a model with 27049 rows, 181542 columns and 495457 nonzeros Presolve removed 81 rows and 168 columns Presolved: 26968 rows, 181374 columns, 495487 nonzeros Root barrier log... Ordering time: 3.45s Barrier statistics: AA' NZ : 3.009e+05 Factor NZ : 2.314e+06 (roughly 100 MBytes of memory) Factor Ops : 5.806e+08 (less than 1 second per iteration) Threads : 1 Objective Residual Iter Primal Dual Primal Dual Compl Time 0 2.43965326e+07 -3.01625150e+08 3.58e+09 4.48e-02 4.31e+04 4s 1 5.41789017e+06 -1.88238645e+08 5.10e+08 2.00e-15 6.48e+03 5s 2 1.28826450e+06 -7.35120620e+07 1.09e+08 9.55e-15 1.44e+03 5s 3 1.72398189e+05 -2.43500349e+07 1.00e+07 9.77e-15 1.77e+02 6s 4 9.05185214e+04 -8.68861478e+06 2.63e+06 7.11e-15 5.11e+01 6s 5 6.84465525e+04 -5.15595343e+06 1.19e+06 1.15e-14 2.60e+01 6s 6 5.90885099e+04 -3.44557949e+06 6.13e+05 2.13e-14 1.54e+01 7s 7 5.77460682e+04 -3.00301608e+06 5.40e+05 2.40e-14 1.34e+01 7s 8 5.60598262e+04 -2.73384168e+06 4.56e+05 2.58e-14 1.18e+01 7s 9 5.14142355e+04 -2.08500380e+06 2.24e+05 2.49e-14 7.84e+00 8s 10 4.92266317e+04 -1.74763249e+06 1.23e+05 1.95e-14 6.01e+00 8s 11 4.86428447e+04 -1.59398195e+06 9.87e+04 1.87e-14 5.36e+00 8s 12 4.76699950e+04 -1.04364438e+06 6.33e+04 1.11e-14 3.52e+00 9s 13 4.71300625e+04 -7.83549042e+05 5.07e+04 7.11e-15 2.67e+00 9s 14 4.60603481e+04 -5.60671310e+05 3.01e+04 5.33e-15 1.88e+00 10s 15 4.45344279e+04 -4.14359965e+05 2.36e+04 4.44e-15 1.41e+00 10s 16 4.19002488e+04 -2.83260070e+05 1.32e+04 2.55e-15 9.70e-01 10s 17 3.93493230e+04 -2.29045610e+05 8.47e+03 2.66e-15 7.83e-01 11s 18 3.76754051e+04 -1.88830777e+05 6.58e+03 2.17e-15 6.56e-01 11s 19 3.57943764e+04 -1.49768157e+05 4.68e+03 2.43e-15 5.32e-01 11s 20 3.26574378e+04 -1.11486733e+05 2.55e+03 2.22e-15 4.07e-01 12s 21 3.14715830e+04 -8.06780626e+04 2.12e+03 2.41e-15 3.16e-01 12s 22 3.10993672e+04 -6.56866524e+04 1.98e+03 2.71e-15 2.73e-01 13s 23 2.95930747e+04 -5.75746639e+04 1.46e+03 2.64e-15 2.44e-01 13s 24 2.81484534e+04 -3.20680593e+04 1.02e+03 2.25e-15 1.68e-01 13s 25 2.69425399e+04 -1.77502543e+04 7.72e+02 2.27e-15 1.25e-01 14s 26 2.64399835e+04 -1.29135747e+04 6.79e+02 2.13e-15 1.10e-01 14s 27 2.56643556e+04 -5.12845052e+03 5.41e+02 2.30e-15 8.57e-02 14s 28 2.48832038e+04 3.27118648e+03 4.04e+02 2.05e-15 6.01e-02 15s 29 2.41051636e+04 7.70005796e+03 2.71e+02 1.86e-15 4.55e-02 15s 30 2.37368050e+04 9.72212655e+03 2.00e+02 2.02e-15 3.88e-02 16s 31 2.35639478e+04 1.04317390e+04 1.69e+02 2.30e-15 3.63e-02 16s 32 2.34120175e+04 1.24290680e+04 1.31e+02 2.46e-15 3.04e-02 16s 33 2.32421262e+04 1.41569485e+04 9.23e+01 2.48e-15 2.51e-02 17s 34 2.31936889e+04 1.56897076e+04 7.46e+01 2.36e-15 2.07e-02 17s 35 2.31568419e+04 1.69073610e+04 5.87e+01 2.66e-15 1.72e-02 17s 36 2.31268134e+04 1.74795877e+04 5.10e+01 2.30e-15 1.56e-02 18s 37 2.31026396e+04 1.87755138e+04 4.23e+01 1.89e-15 1.19e-02 18s 38 2.30499356e+04 1.93540880e+04 2.41e+01 2.15e-15 1.02e-02 19s 39 2.30506915e+04 1.95900919e+04 2.14e+01 2.18e-15 9.54e-03 19s 40 2.30401992e+04 2.01350132e+04 1.04e+01 2.03e-15 8.00e-03 19s 41 2.30257219e+04 2.11043131e+04 6.98e+00 1.86e-15 5.29e-03 20s 42 2.30231842e+04 2.13561498e+04 6.34e+00 1.79e-15 4.59e-03 20s 43 2.30212037e+04 2.14579108e+04 5.69e+00 2.39e-15 4.31e-03 21s 44 2.30178317e+04 2.19445819e+04 4.83e+00 2.07e-15 2.96e-03 21s 45 2.30107291e+04 2.23131881e+04 2.83e+00 1.63e-15 1.92e-03 21s 46 2.30108060e+04 2.24337340e+04 2.63e+00 1.92e-15 1.59e-03 22s 47 2.30085273e+04 2.27069831e+04 1.31e+00 1.49e-15 8.30e-04 22s 48 2.30065722e+04 2.29784423e+04 4.65e-02 1.33e-15 7.74e-05 22s 49 2.30063340e+04 2.30063009e+04 2.38e-05 1.41e-15 9.09e-08 23s 50 2.30063333e+04 2.30063333e+04 1.20e-10 1.33e-15 9.09e-11 23s 51 2.30063333e+04 2.30063333e+04 2.55e-10 1.49e-15 1.82e-15 24s Barrier solved model in 51 iterations and 23.54 seconds Optimal objective 2.30063333e+04 Root crossover log... 4038 DPushes remaining with DInf 0.0000000e+00 24s 0 DPushes remaining with DInf 4.5700618e+00 24s 149226 PPushes remaining with PInf 0.0000000e+00 24s 108239 PPushes remaining with PInf 0.0000000e+00 25s 66310 PPushes remaining with PInf 0.0000000e+00 30s 34922 PPushes remaining with PInf 0.0000000e+00 35s 3935 PPushes remaining with PInf 0.0000000e+00 40s 0 PPushes remaining with PInf 0.0000000e+00 41s Push phase complete: Pinf 0.0000000e+00, Dinf 4.5700618e+00 41s Root simplex log... Iteration Objective Primal Inf. Dual Inf. Time 153266 2.3006333e+04 0.000000e+00 0.000000e+00 41s 153266 2.3006333e+04 0.000000e+00 0.000000e+00 41s Root relaxation: objective 2.300633e+04, 153266 iterations, 40.91 seconds Total elapsed time = 110.66s Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 23006.3333 0 664 33624.0000 23006.3333 31.6% - 139s H 0 0 23007.000000 23006.3333 0.00% - 142s Explored 0 nodes (225432 simplex iterations) in 142.89 seconds Thread count was 1 (of 8 available processors) Optimal solution found (tolerance 0.00e+00) Best objective 2.300700000000e+04, best bound 2.300700000000e+04, gap 0.0% Preprocessing time: 1694.20 seconds Gurobi run time: 142.89 seconds Total run time: 1837.09 seconds Objective: 23007 Solution: 7 x [569] 10 x [336] 71 x [336, 442] 31 x [147] 10 x [104, 147] 97 x [392] 14 x [211] 91 x [459] 2 x [981] 45 x [970] 40 x [38, 280, 970] 30 x [670] 54 x [436, 670] 25 x [707] 5 x [39] 45 x [39, 626] 1 x [87, 809] 1 x [393] 46 x [487, 684] 12 x [84, 458] 21 x [495] 40 x [458, 495] 10 x [87, 829] 21 x [263] 5 x [87, 263, 458] 16 x [425] 11 x [648] 16 x [458, 648] 11 x [87, 648] 28 x [62] 54 x [2] 9 x [2, 311] 49 x [135] 21 x [87, 135] 10 x [987] 15 x [311, 987] 26 x [212, 987] 40 x [42, 987] 2 x [850] 41 x [285, 398] 60 x [754] 11 x [754, 917] 53 x [224, 311] 5 x [187] 64 x [6, 187] 35 x [785] 4 x [960] 60 x [97, 960] 38 x [168, 398] 21 x [753] 53 x [753, 823] 21 x [41, 753] 31 x [243] 23 x [396] 20 x [54, 396] 6 x [212, 736] 60 x [219, 767] 31 x [219, 900] 14 x [398, 900] 51 x [805, 900] 38 x [185, 935] 21 x [199] 51 x [199, 613] 11 x [115, 199] 36 x [723] 19 x [179, 723] 44 x [247, 395, 701] 36 x [760] 27 x [138, 760] 5 x [247, 760, 772] 2 x [760, 772] 51 x [690, 865] 3 x [397] 17 x [181, 865] 22 x [559] 4 x [559, 725] 7 x [90, 718] 25 x [531, 664] 47 x [745, 935] 31 x [718, 745] 7 x [616, 745] 30 x [450] 19 x [450, 865] 13 x [450, 778] 14 x [450, 510] 7 x [450, 524] 60 x [367] 27 x [240] 6 x [352] 24 x [551] 28 x [546, 551] 46 x [551, 687] 4 x [212, 596] 23 x [596, 860] 36 x [592] 53 x [592, 963] 1 x [427] 86 x [148] 24 x [565, 756] 36 x [565, 718] 19 x [271] 46 x [271, 350] 10 x [271, 948] 15 x [271, 716] 8 x [920] 16 x [579, 920] 15 x [756, 920] 7 x [299] 22 x [299, 772] 14 x [299, 395, 772] 33 x [247, 687, 902] 6 x [27] 62 x [27, 702] 5 x [406] 39 x [256, 631] 21 x [64, 256, 948] 6 x [256, 856] 4 x [256, 687] 27 x [290] 71 x [290, 774] 78 x [926] 37 x [950] 5 x [149, 171] 18 x [447] 39 x [447, 914] 4 x [708] 13 x [58, 708] 33 x [524, 708] 40 x [58, 218] 18 x [855] 8 x [893] 2 x [419] 46 x [19, 579] 31 x [19, 521] 2 x [19, 642] 3 x [19, 531] 25 x [314] 33 x [314, 521] 6 x [916] 50 x [113, 791] 41 x [58, 879] 90 x [26, 617] 51 x [320, 938] 11 x [320, 718] 4 x [212, 320] 9 x [796, 983] 15 x [451] 5 x [129, 727] 16 x [129, 510, 687] 49 x [129, 149] 5 x [412] 53 x [54, 412, 826, 856] 45 x [361] 13 x [361, 541] 11 x [87, 361] 51 x [698, 985] 28 x [6, 985] 38 x [961] 27 x [667] 46 x [538, 667] 3 x [87, 667] 10 x [652, 654] 49 x [654, 846] 41 x [539] 3 x [662, 952] 41 x [122, 642] 89 x [738, 923] 3 x [102, 756] 71 x [241] 13 x [598] 17 x [824] 51 x [824, 978] 37 x [252, 642] 37 x [252, 533] 19 x [502, 978] 21 x [962] 20 x [343, 978] 24 x [264, 343] 3 x [237, 846] 52 x [237, 269] 45 x [237, 688] 8 x [718, 752] 21 x [139, 387] 3 x [139, 997] 68 x [797] 16 x [645] 9 x [645, 943] 36 x [645, 796] 9 x [791, 867] 51 x [867, 943] 12 x [142] 14 x [142, 221] 3 x [142, 269] 37 x [117, 142] 2 x [142, 803] 22 x [410, 591] 44 x [410, 956] 17 x [207] 32 x [298, 421] 25 x [36, 952] 5 x [46, 487, 997] 24 x [46, 997] 22 x [780] 14 x [280, 780] 3 x [471] 32 x [471, 711] 55 x [141, 744] 4 x [504] 18 x [231, 578] 36 x [578, 984] 10 x [560, 578] 2 x [578, 782] 26 x [53, 984] 19 x [929] 5 x [693, 978] 14 x [421, 693] 27 x [538, 693] 17 x [538, 693, 702] 56 x [295, 440] 12 x [245, 440] 27 x [77, 877] 48 x [597, 796] 38 x [597, 873] 12 x [264, 964] 17 x [563] 68 x [483, 563] 1 x [141, 563] 18 x [503] 23 x [281, 503] 32 x [524, 777] 72 x [869, 911] 7 x [214] 18 x [214, 786, 884] 22 x [214, 583] 28 x [342, 421] 5 x [575] 1 x [121, 575] 17 x [455] 34 x [570, 713] 13 x [492, 570] 9 x [192, 927] 9 x [192, 713, 786] 28 x [192, 755] 20 x [192, 786] 24 x [192, 803] 9 x [98, 389] 14 x [344] 65 x [37, 344] 8 x [300] 23 x [300, 854] 1 x [175, 300, 854] 9 x [10, 583, 825, 997] 59 x [825, 847] 10 x [825, 847, 923] 18 x [583, 825, 997] 89 x [80, 927] 7 x [80, 877] 2 x [80, 115, 877] 47 x [331, 402] 37 x [331, 462] 25 x [283, 977] 50 x [33, 206, 977] 14 x [124] 64 x [124, 173] 29 x [510, 885] 17 x [51] 26 x [51, 986] 19 x [51, 928, 986] 30 x [51, 301] 15 x [526] 58 x [22] 12 x [759] 29 x [676, 817] 6 x [87, 432] 5 x [378, 620] 1 x [69, 533, 612] 9 x [69, 87, 533] 25 x [13, 887] 41 x [357] 1 x [260, 911] 14 x [245, 260] 56 x [480, 951] 5 x [164] 59 x [86, 164] 42 x [782, 907] 49 x [13, 931] 5 x [873, 931, 997] 69 x [659, 878] 27 x [528, 659] 4 x [34, 190] 29 x [34, 722] 20 x [34, 948, 997] 20 x [67, 245] 25 x [137, 315] 52 x [315, 528] 3 x [55] 55 x [55, 251] 10 x [55, 169] 3 x [55, 345] 21 x [695, 993] 10 x [418, 993] 13 x [112, 194] 50 x [254, 695] 8 x [839] 18 x [560, 994] 2 x [786, 994] 3 x [143, 786, 994] 9 x [381] 38 x [381, 614] 6 x [381, 860] 3 x [682] 3 x [186, 682] 7 x [20, 303] 5 x [119] 19 x [119, 560, 591] 8 x [119, 255] 5 x [542] 24 x [542, 880] 26 x [402, 542] 11 x [87, 402, 542] 7 x [542, 992] 9 x [817, 901] 12 x [89, 901] 4 x [371, 877, 901] 28 x [389, 901] 3 x [438, 674, 803, 847] 42 x [438, 674, 803] 1 x [205] 19 x [159, 657] 34 x [307, 657] 34 x [872] 12 x [212, 385] 40 x [10, 610, 623, 854] 13 x [610, 786] 15 x [188, 430] 17 x [188, 418] 24 x [14, 49, 460, 886] 48 x [604, 827] 9 x [212, 827] 6 x [602] 3 x [24, 602] 4 x [602, 726] 46 x [130, 189, 602] 7 x [602, 706] 24 x [418, 897] 23 x [431, 897] 11 x [106] 64 x [106, 783] 6 x [898] 8 x [332, 786, 898] 35 x [639, 898, 921] 15 x [528, 898] 6 x [528, 711, 898] 6 x [45, 898] 1 x [286, 956] 23 x [167, 484] 16 x [484, 498, 877] 29 x [345, 484, 803, 877] 3 x [230] 7 x [230, 281] 10 x [230, 281, 507] 34 x [189, 230, 854] 7 x [403] 1 x [14, 403] 24 x [239, 678] 7 x [663] 4 x [560, 663] 5 x [14, 663] 5 x [989] 47 x [730, 979] 1 x [836] 24 x [272, 296] 51 x [420, 525] 67 x [292] 53 x [93, 861] 44 x [303, 861] 12 x [593] 37 x [319, 671] 1 x [457, 649] 27 x [93, 649] 2 x [262, 649] 38 x [262, 438, 649] 3 x [936] 23 x [748] 10 x [74, 748] 11 x [318, 748] 51 x [678, 819] 23 x [71, 212, 819] 20 x [468, 819, 891] 6 x [560, 819] 5 x [178, 485] 25 x [485, 741] 39 x [485, 506] 16 x [29, 308] 40 x [194, 494] 15 x [816, 835] 7 x [800] 5 x [507, 800] 8 x [114] 24 x [159, 868] 18 x [269, 868] 54 x [73, 362] 31 x [31, 460, 560] 14 x [14, 31, 726, 912] 4 x [14, 31, 726] 25 x [261, 739] 35 x [261, 506] 22 x [330, 755] 14 x [845] 17 x [262, 452, 845] 2 x [262, 845] 32 x [94] 25 x [94, 111] 24 x [178, 278] 23 x [452, 734, 849] 18 x [194, 572] 13 x [525, 572] 46 x [400, 572] 4 x [467] 17 x [311, 467, 661] 1 x [460, 467] 14 x [50, 678] 50 x [50, 817] 7 x [50, 172] 25 x [33, 50, 172] 28 x [519] 87 x [549] 6 x [614, 644] 28 x [137, 644, 886] 6 x [429, 644, 726] 7 x [332, 945] 5 x [574] 27 x [174, 190, 821] 16 x [418, 821] 5 x [87, 661, 821] 3 x [821, 838] 3 x [87, 821] 15 x [71, 514] 31 x [92, 635, 905] 13 x [798, 883, 905] 25 x [178, 225] 42 x [140, 225, 792] 45 x [810, 871] 53 x [580, 810] 3 x [611] 23 x [600, 611] 27 x [580, 611] 43 x [140, 611] 6 x [608] 7 x [608, 683] 13 x [402, 608, 675] 12 x [235, 608, 886] 1 x [608, 886] 18 x [189, 345, 372, 608] 57 x [68, 81] 33 x [44, 747] 30 x [589, 747] 14 x [525, 747] 9 x [13, 747] 22 x [802] 5 x [289, 802] 11 x [76, 719] 53 x [16, 384] 35 x [133, 384] 9 x [489] 37 x [369, 793] 56 x [671, 793] 28 x [178, 305] 22 x [305, 712] 15 x [130, 376] 1 x [130, 262, 376] 9 x [722, 968] 21 x [172, 722, 968] 17 x [408, 782, 968] 7 x [222] 41 x [175, 222, 826] 7 x [175, 222] 13 x [8, 125, 417] 27 x [8, 417] 5 x [249] 62 x [131, 249] 8 x [140, 249] 3 x [140, 249, 258] 20 x [937] 1 x [828, 937] 29 x [478, 799, 934] 7 x [478, 799] 14 x [616, 737] 5 x [548] 37 x [161, 726] 13 x [161, 307, 400] 33 x [161, 206] 16 x [44, 407] 52 x [272, 407] 54 x [581, 700] 41 x [696, 700] 18 x [353] 19 x [244, 353] 4 x [577] 48 x [577, 586] 32 x [863] 11 x [196, 349] 38 x [196, 600] 34 x [16, 196] 16 x [196, 204] 59 x [527] 6 x [478, 527] 35 x [167, 424, 706] 30 x [424, 609] 6 x [71, 424] 58 x [399, 724] 16 x [198, 724] 8 x [724, 732, 798] 1 x [724, 798] 13 x [724, 835] 59 x [349, 746] 25 x [765, 922] 20 x [922, 972] 16 x [518, 922] 24 x [59, 184] 23 x [184, 765] 2 x [184, 417, 507] 14 x [184, 507] 27 x [349, 874] 33 x [24, 323] 51 x [590, 789] 14 x [590, 635] 13 x [366] 23 x [203, 366] 43 x [366, 892, 934] 16 x [160, 366] 20 x [131, 875] 24 x [553, 875] 2 x [635, 875] 46 x [255, 507, 875] 38 x [369, 915] 74 x [91, 969] 18 x [208, 773] 49 x [284, 773] 1 x [82, 411, 430] 1 x [405] 47 x [310, 405] 28 x [405, 581] 4 x [405, 715] 30 x [338] 63 x [1000] 7 x [401, 665, 892] 42 x [401, 858] 62 x [250, 840] 5 x [765, 840] 22 x [76, 840] 9 x [202] 12 x [202, 949] 13 x [79, 202, 375, 891] 11 x [202, 375, 891] 76 x [386, 415] 2 x [308, 822] 48 x [143, 308, 822] 3 x [71, 822] 17 x [245, 435, 822] 18 x [614, 822] 2 x [15, 820] 10 x [158, 820, 886] 39 x [291, 556] 32 x [82, 478, 556] 4 x [137, 266] 31 x [416, 635, 655] 1 x [128, 388] 72 x [244, 388] 5 x [310, 368] 20 x [368, 694, 951] 63 x [368, 952] 9 x [368, 694] 1 x [607] 50 x [555, 607] 19 x [607, 714] 23 x [698, 790] 1 x [698, 790, 895] 3 x [507, 698, 790] 61 x [828, 918] 30 x [520, 918] 64 x [228, 944] 13 x [228, 969] 9 x [133, 146] 15 x [146, 722, 795] 9 x [146, 326] 13 x [146, 795] 53 x [441, 672] 8 x [441, 472] 9 x [552] 32 x [552, 871, 912] 8 x [35, 552] 22 x [30, 552] 22 x [30, 97, 552] 69 x [128, 585] 27 x [291, 781] 31 x [155, 229] 3 x [831] 34 x [76, 307, 831] 1 x [469, 620, 831] 22 x [375, 469, 620, 831] 51 x [423, 615] 3 x [339, 423, 849] 35 x [423, 892] 2 x [423, 849] 11 x [66] 28 x [66, 998] 41 x [66, 890, 948] 4 x [176, 741] 15 x [176, 469, 741] 44 x [444, 448, 971] 9 x [276, 444, 448] 7 x [991] 7 x [25, 625, 991] 12 x [210, 971] 19 x [210, 889, 971] 12 x [327] 53 x [273, 404] 6 x [404, 547] 9 x [404, 566] 3 x [75, 404, 553] 10 x [686] 12 x [729, 731] 9 x [729, 739] 34 x [190, 729, 808] 2 x [469, 671, 729] 3 x [604, 729] 23 x [469, 729] 7 x [486, 788] 11 x [486, 837] 16 x [703] 31 x [321, 599] 8 x [282, 550] 3 x [180, 550, 694] 40 x [125, 232, 550] 28 x [79, 375, 550] 18 x [258, 550] 15 x [932] 15 x [932, 958] 1 x [685, 932] 28 x [505, 919] 47 x [919, 999] 17 x [656, 919] 71 x [470, 771] 29 x [567, 692] 15 x [692, 771] 26 x [506, 692] 22 x [88, 627, 741] 14 x [627, 655] 9 x [18, 851] 30 x [18, 859] 32 x [770, 788] 26 x [770, 954] 25 x [291, 770] 4 x [591, 665, 669] 34 x [340, 473] 21 x [457, 473, 792] 9 x [40, 337] 10 x [72, 337] 29 x [337, 625] 64 x [118, 529] 24 x [529, 694] 3 x [61, 475] 70 x [475, 501] 1 x [394, 475, 728] 17 x [516, 894] 38 x [656, 894] 10 x [443] 3 x [88, 178, 758] 11 x [758, 853] 53 x [758, 928, 949] 16 x [25, 625, 758] 44 x [749, 844] 33 x [163, 274] 9 x [163, 464] 14 x [193, 464] 4 x [116] 67 x [116, 234] 33 x [531, 594, 604] 45 x [78] 21 x [223, 582] 12 x [268, 582] 41 x [445, 728] 22 x [65, 297, 445] 16 x [302, 844] 38 x [302, 339] 3 x [511] 33 x [511, 588] 16 x [362, 511] 4 x [362, 511, 909] 41 x [522, 557] 43 x [557, 876, 889] 45 x [246, 976] 17 x [227, 965] 11 x [227, 859] 31 x [227, 246] 2 x [227, 941] 29 x [137, 227, 665] 62 x [23, 588] 9 x [23, 295] 46 x [57, 270] 1 x [270, 501] 36 x [270, 629, 889] 6 x [270, 776] 7 x [591, 624] 29 x [223, 841] 34 x [306, 864] 11 x [223, 306] 24 x [284, 532] 2 x [369, 374, 532] 4 x [762] 59 x [377, 762] 12 x [268, 762] 17 x [65, 297, 762] 7 x [815] 18 x [815, 848] 58 x [705, 709] 3 x [12] 5 x [12, 265, 849] 12 x [12, 849] 46 x [160, 220, 276] 9 x [461] 15 x [83, 433] 17 x [287, 536] 29 x [226, 287] 5 x [291, 955] 18 x [5, 965] 68 x [5, 833] 13 x [5, 805] 23 x [939, 967] 25 x [329, 536] 47 x [253, 329] 9 x [236, 571] 27 x [456, 766] 21 x [881, 953] 19 x [453, 953] 17 x [953, 974] 29 x [605, 633, 720] 1 x [275] 5 x [335] 46 x [335, 536] 39 x [335, 705] 28 x [769, 818] 46 x [453, 818] 3 x [720, 818] 20 x [903] 3 x [508] 72 x [83, 126] 25 x [157, 568] 37 x [156, 157] 8 x [9, 913] 49 x [446, 913] 35 x [769, 913] 21 x [144, 769] 26 x [144, 586, 699] 20 x [144, 699] 10 x [390, 732, 946] 3 x [198, 257, 390] 14 x [390, 949] 13 x [390, 878, 949] 19 x [11, 235, 390, 454] 6 x [235, 390, 454] 41 x [4, 680] 5 x [370, 547] 40 x [198, 370] 14 x [3, 370] 7 x [3, 370, 639] 3 x [564, 908] 3 x [428, 908] 55 x [351, 691] 36 x [322, 899] 32 x [355, 710] 20 x [351, 735] 47 x [85, 735] 6 x [636] 31 x [373, 636, 776] 1 x [617, 636] 36 x [395, 497, 795, 828] 26 x [153, 284, 497] 5 x [356, 497, 625] 15 x [123, 245, 497] 1 x [801, 996] 8 x [92, 599, 638] 13 x [92, 638] 19 x [643, 742] 12 x [500, 728, 742] 4 x [101, 479, 742] 1 x [68, 742] 7 x [573] 4 x [573, 677] 7 x [105] 8 x [32, 105] 50 x [96, 522] 33 x [534, 554] 47 x [554, 622] 7 x [554, 571] 39 x [595, 988] 19 x [108, 358, 988] 28 x [534, 653] 23 x [584, 653] 37 x [145, 561] 13 x [757, 806] 37 x [599, 651, 806] 12 x [391, 806] 22 x [145, 154] 31 x [233, 265, 732, 813] 18 x [339, 635, 813] 4 x [65, 478, 813] 23 x [95, 465] 46 x [43, 980] 33 x [491, 980] 3 x [95, 980] 9 x [195, 365, 980] 35 x [127, 151] 3 x [151, 974] 4 x [151, 297, 974] 12 x [151, 478] 47 x [166, 515] 10 x [166, 646] 5 x [166, 317, 647] 5 x [516, 640, 832] 3 x [131, 359, 862] 31 x [530, 553, 740, 883] 13 x [152, 763] 16 x [152, 576] 39 x [152, 757] 19 x [152, 603, 677] 63 x [52, 63] 36 x [52, 750] 19 x [364, 763] 2 x [364, 564] 47 x [304, 509] 38 x [476, 814] 17 x [363, 476, 995] 3 x [363, 394, 476] 24 x [365, 476, 732, 798] 18 x [512, 870] 5 x [182, 512] 27 x [491, 512] 10 x [85, 630, 677] 24 x [434, 630] 12 x [630, 728, 733] 9 x [233, 482, 630] 4 x [233, 630] 26 x [630, 677] 46 x [409, 982] 50 x [409, 924] 4 x [365, 409, 967] 26 x [509, 896] 11 x [109, 183, 896] 5 x [109, 761, 896] 49 x [109, 334, 896] 7 x [109, 647, 896] 23 x [7, 348] 23 x [101, 348, 351] 6 x [348, 658] 57 x [101, 564, 784] 6 x [136] 2 x [136, 668, 680] 18 x [136, 513] 8 x [136, 668] 14 x [136, 186] 53 x [95, 103] 9 x [103, 200, 910] 60 x [279, 449] 9 x [132, 279] 22 x [422, 534] 1 x [422, 621] 34 x [61, 422, 651] 35 x [40, 422] 4 x [975] 6 x [120, 975] 12 x [238, 975] 3 x [313, 426] 32 x [127, 313] 16 x [313, 743] 18 x [313, 814] 24 x [134, 197, 313] 13 x [807, 925] 27 x [493, 807] 85 x [191, 380] 7 x [191, 493] 39 x [248, 491] 2 x [248, 394, 481] 23 x [248, 481, 883] 28 x [248, 277, 365] 17 x [134, 195, 637] 4 x [294, 439] 37 x [439, 477] 23 x [439, 601] 1 x [170, 439] 7 x [170, 439, 704] 20 x [109, 439, 704] 86 x [463, 650] 6 x [108, 463, 967] 16 x [619, 628] 34 x [63, 619] 17 x [60, 619] 25 x [347, 990] 5 x [910, 990] 6 x [517, 650] 31 x [70, 517, 647] 10 x [70, 365, 517] 1 x [857, 906] 2 x [857, 862, 906] 4 x [215, 812] 70 x [215, 558] 23 x [215, 605, 933] 4 x [17] 35 x [679, 689] 24 x [379, 689] 1 x [95, 689] 23 x [481, 689, 862] 40 x [325, 496] 19 x [496, 750] 5 x [56, 394, 496] 24 x [434, 947] 32 x [47, 587, 947] 6 x [673, 940] 13 x [165, 209] 12 x [165, 208, 740, 776] 6 x [165, 208, 776] 9 x [165, 499] 16 x [165, 448, 521] 4 x [110, 325] 17 x [110, 242, 842] 52 x [110, 312] 1 x [99, 699] 14 x [92, 99, 118, 699] 4 x [92, 99, 699] 17 x [540, 601, 704] 36 x [48, 540, 647] 2 x [540, 660] 1 x [540, 704] 27 x [325, 959] 21 x [28, 720, 959] 35 x [775, 940] 47 x [697, 794] 10 x [107, 358, 595] 63 x [100, 107, 490] 20 x [107, 317, 490] 3 x [195, 940] 5 x [195, 242, 681, 940] 1 x [309, 966] 9 x [309, 779] 8 x [309, 779, 944] 1 x [309, 418] 2 x [245, 309, 418] 8 x [347, 647, 866] 4 x [347, 647] 29 x [605, 641, 672, 883] 17 x [213, 641, 668, 677] 34 x [346, 449, 804] 6 x [134, 910, 973] 9 x [108, 924, 930] 33 x [108, 162, 930] 16 x [108, 751, 930] 33 x [317, 358, 930] 2 x [108, 930] 31 x [28, 316, 346] 24 x [242, 316, 328] 20 x [201, 316, 571] 1 x [316, 776, 876] 2 x [316, 776] 21 x [317, 509, 967] 31 x [493] 3 x [150, 448, 656, 720] 27 x [200, 288, 382] 6 x [242, 288, 382] 4 x [242, 288] 10 x [545, 605, 910] 6 x [277, 312, 545] 29 x [293, 668, 750] 11 x [276, 293, 710] 22 x [177, 543, 776] 19 x [177, 666, 668] 19 x [177, 297, 354] 3 x [61, 177] 38 x [571, 876, 904] 17 x [1, 732, 798, 904] 25 x [333, 482, 904] 3 x [101, 276, 402, 904] 6 x [101, 276, 904] 14 x [229, 415, 562] 10 x [516, 562, 795] 4 x [87, 516, 562, 795] 18 x [523, 562, 672] 4 x [360, 562] 29 x [70, 866, 967] 13 x [382, 488, 832] 23 x [132, 558, 832] 2 x [132, 145] 23 x [132, 145, 346] 6 x [132, 832] 7 x [132, 587] 5 x [132, 587, 984] 19 x [488, 764] 63 x [488, 852, 899] 4 x [488, 979] 15 x [162, 490, 646] 15 x [646, 787, 967] 2 x [699, 794] 8 x [622, 651, 942] 53 x [477, 601, 704] 9 x [242, 474, 876, 996] 6 x [383, 474] 3 x [474, 789, 843] 21 x [200, 811, 957] 10 x [811, 832, 890] 24 x [391, 634] 4 x [535, 634, 721] 4 x [830, 942] 11 x [21, 324] 23 x [200, 324, 999] 12 x [200, 324, 362, 721] 4 x [197, 267, 537] 26 x [11, 537, 618] 13 x [267, 543, 999] 27 x [437, 603] 6 x [632, 766] 24 x [197, 267, 766] 6 x [632] 8 x [216, 501, 632] 15 x [482, 857] 1 x [466, 857] 28 x [156, 267, 629, 768] 2 x [267, 629, 768] 2 x [267, 768] 1 x [130, 267] 7 x [223, 882] 55 x [414, 848, 909] 2 x [413, 834] 6 x [201, 413, 834] 7 x [413, 457, 728] 5 x [414, 710] 6 x [274, 618] 16 x [274, 618, 852] 2 x [83, 341] 7 x [83, 108, 568] 28 x [505, 606, 618, 862] 19 x [505, 618, 715, 888] 3 x [72, 217, 618] 2 x [312, 414] 2 x [414, 717, 832] 2 x [259, 536, 544] 2 x [544, 605, 720]