Build (method = -2) #dp: 7255265 Step-3' Graph: 155545 vertices and 466628 arcs (3257.42s) Step-4' Graph: 32079 vertices and 219696 arcs (3261.56s) #V4/#V3 = 0.21 #A4/#A3 = 0.47 Ready! (3261.56s) Optimize a model with 33079 rows, 219697 columns and 594937 nonzeros Presolve removed 533 rows and 2346 columns Presolve time: 2.03s Presolved: 32546 rows, 217351 columns, 590653 nonzeros Variable types: 0 continuous, 217351 integer (4245 binary) Optimize a model with 32546 rows, 217351 columns and 590653 nonzeros Presolve removed 45 rows and 45 columns Presolved: 32501 rows, 217306 columns, 590756 nonzeros Root barrier log... Ordering time: 2.34s Barrier statistics: AA' NZ : 3.515e+05 Factor NZ : 2.373e+06 (roughly 120 MBytes of memory) Factor Ops : 7.305e+08 (less than 1 second per iteration) Threads : 1 Objective Residual Iter Primal Dual Primal Dual Compl Time 0 9.12741741e+08 -7.69638799e+08 1.25e+11 3.98e-01 1.30e+06 3s 1 1.70181179e+08 -6.20134762e+08 1.79e+10 2.22e-15 1.90e+05 4s 2 1.42587413e+07 -4.46217761e+08 1.41e+09 3.11e-15 1.57e+04 4s 3 2.12920842e+06 -1.84311884e+08 1.76e+08 3.11e-15 2.23e+03 5s 4 2.53371507e+05 -5.55077435e+07 1.53e+07 3.55e-15 2.76e+02 5s 5 1.16060683e+05 -2.06122335e+07 3.92e+06 6.22e-15 8.26e+01 6s 6 9.21738162e+04 -8.40416199e+06 1.89e+06 1.87e-14 3.58e+01 6s 7 8.25890752e+04 -6.34367694e+06 1.34e+06 2.31e-14 2.62e+01 7s 8 7.66038987e+04 -4.49617075e+06 1.02e+06 2.66e-14 1.90e+01 7s 9 7.14946384e+04 -3.96306571e+06 8.12e+05 2.75e-14 1.60e+01 7s 10 6.62347910e+04 -3.15968545e+06 6.20e+05 3.91e-14 1.24e+01 8s 11 6.10752860e+04 -1.99740758e+06 4.32e+05 3.20e-14 8.06e+00 8s 12 5.57352989e+04 -1.47055195e+06 2.44e+05 2.84e-14 5.31e+00 9s 13 5.26576549e+04 -1.07573310e+06 1.56e+05 2.49e-14 3.70e+00 9s 14 5.06939952e+04 -8.63964471e+05 1.06e+05 2.00e-14 2.83e+00 10s 15 4.83075193e+04 -6.34462345e+05 5.87e+04 1.47e-14 1.96e+00 10s 16 4.67389132e+04 -3.82008258e+05 4.13e+04 7.55e-15 1.23e+00 11s 17 4.47527293e+04 -2.83121915e+05 2.60e+04 5.33e-15 8.98e-01 11s 18 4.32696545e+04 -2.34185362e+05 2.00e+04 5.11e-15 7.43e-01 11s 19 3.93747968e+04 -1.81106180e+05 1.07e+04 4.00e-15 5.59e-01 12s 20 3.50162191e+04 -1.28288985e+05 4.99e+03 2.89e-15 3.97e-01 12s 21 3.27343994e+04 -9.79778678e+04 3.59e+03 2.22e-15 3.15e-01 13s 22 3.14141019e+04 -8.41065479e+04 2.99e+03 2.50e-15 2.77e-01 13s 23 2.94987453e+04 -5.45655571e+04 2.32e+03 2.22e-15 2.01e-01 14s 24 2.73731200e+04 -3.56479249e+04 1.67e+03 2.39e-15 1.50e-01 14s 25 2.51808226e+04 -2.05741851e+04 1.06e+03 2.24e-15 1.08e-01 15s 26 2.44228261e+04 -1.32981935e+04 9.03e+02 2.13e-15 8.87e-02 15s 27 2.32847536e+04 -2.32096089e+03 6.68e+02 2.03e-15 6.01e-02 15s 28 2.23104702e+04 5.02676869e+03 4.86e+02 1.76e-15 4.05e-02 16s 29 2.19075169e+04 7.03290611e+03 4.10e+02 2.08e-15 3.48e-02 16s 30 2.13613368e+04 1.13498220e+04 3.03e+02 2.00e-15 2.34e-02 17s 31 2.07851426e+04 1.51945375e+04 1.81e+02 1.77e-15 1.30e-02 17s 32 2.03473806e+04 1.72170934e+04 8.17e+01 1.92e-15 7.26e-03 18s 33 2.02371682e+04 1.77714882e+04 6.06e+01 1.69e-15 5.71e-03 18s 34 2.01556135e+04 1.83874325e+04 4.35e+01 1.78e-15 4.09e-03 18s 35 2.01129800e+04 1.88737453e+04 3.52e+01 1.76e-15 2.87e-03 19s 36 2.00163992e+04 1.92902962e+04 1.57e+01 1.74e-15 1.68e-03 19s 37 1.99994413e+04 1.95065821e+04 1.24e+01 1.57e-15 1.14e-03 20s 38 1.99877003e+04 1.95705398e+04 1.04e+01 1.72e-15 9.63e-04 20s 39 1.99637026e+04 1.96971826e+04 5.86e+00 1.74e-15 6.15e-04 21s 40 1.99555057e+04 1.97328953e+04 4.53e+00 1.82e-15 5.13e-04 21s 41 1.99504550e+04 1.97572974e+04 3.72e+00 2.26e-15 4.45e-04 22s 42 1.99466195e+04 1.97923178e+04 3.11e+00 1.92e-15 3.56e-04 22s 43 1.99442928e+04 1.98397189e+04 2.73e+00 1.79e-15 2.41e-04 22s 44 1.99395578e+04 1.98588842e+04 1.98e+00 1.80e-15 1.86e-04 23s 45 1.99306970e+04 1.99134374e+04 3.54e-01 1.44e-15 3.98e-05 23s 46 1.99284142e+04 1.99253721e+04 3.20e-02 1.41e-15 7.00e-06 24s 47 1.99281174e+04 1.99279306e+04 8.57e-05 1.47e-15 4.29e-07 24s 48 1.99281001e+04 1.99280986e+04 6.91e-09 1.60e-15 3.49e-09 25s 49 1.99281000e+04 1.99281000e+04 1.41e-09 1.41e-15 3.49e-12 25s Barrier solved model in 49 iterations and 25.04 seconds Optimal objective 1.99281000e+04 Root crossover log... 3034 DPushes remaining with DInf 0.0000000e+00 25s 0 DPushes remaining with DInf 4.2708685e+00 25s 87941 PPushes remaining with PInf 0.0000000e+00 25s 76382 PPushes remaining with PInf 0.0000000e+00 30s 66881 PPushes remaining with PInf 0.0000000e+00 35s 57697 PPushes remaining with PInf 0.0000000e+00 40s 49070 PPushes remaining with PInf 0.0000000e+00 45s 40652 PPushes remaining with PInf 0.0000000e+00 50s 32642 PPushes remaining with PInf 0.0000000e+00 55s 24753 PPushes remaining with PInf 0.0000000e+00 60s 17220 PPushes remaining with PInf 0.0000000e+00 65s 9371 PPushes remaining with PInf 0.0000000e+00 70s 1356 PPushes remaining with PInf 0.0000000e+00 75s 0 PPushes remaining with PInf 0.0000000e+00 76s Push phase complete: Pinf 0.0000000e+00, Dinf 4.2708685e+00 76s Root simplex log... Iteration Objective Primal Inf. Dual Inf. Time 90977 1.9928100e+04 0.000000e+00 0.000000e+00 76s 90977 1.9928100e+04 0.000000e+00 0.000000e+00 76s Root relaxation: objective 1.992810e+04, 90977 iterations, 75.88 seconds Total elapsed time = 166.88s Total elapsed time = 187.13s Total elapsed time = 329.18s Total elapsed time = 422.61s Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 19928.1000 0 1067 - 19928.1000 - - 517s H 0 0 19932.000000 19928.1000 0.02% - 597s 0 0 19928.1000 0 1080 19932.0000 19928.1000 0.02% - 707s H 0 0 19930.000000 19928.1000 0.01% - 729s 0 0 19928.1000 0 1228 19930.0000 19928.1000 0.01% - 746s 0 0 19928.1000 0 1197 19930.0000 19928.1000 0.01% - 769s 0 0 19928.1000 0 1289 19930.0000 19928.1000 0.01% - 796s 0 0 19928.1000 0 996 19930.0000 19928.1000 0.01% - 1266s H 0 0 19929.000000 19928.1000 0.00% - 1284s Explored 0 nodes (452630 simplex iterations) in 1284.99 seconds Thread count was 1 (of 8 available processors) Optimal solution found (tolerance 0.00e+00) Best objective 1.992900000000e+04, best bound 1.992900000000e+04, gap 0.0% Preprocessing time: 3262.41 seconds Gurobi run time: 1284.99 seconds Total run time: 4547.40 seconds Objective: 19929 Solution: 12 x [84, 352, 575] 48 x [754, 780] 25 x [754, 884] 6 x [99, 848] 62 x [751, 848] 29 x [205, 409] 26 x [205, 431] 14 x [87, 736, 752] 4 x [177, 736, 948] 32 x [316, 736, 948] 8 x [177, 736, 986] 27 x [478, 488, 736] 4 x [569, 873] 23 x [569, 884] 50 x [569, 907] 41 x [201, 722, 749] 8 x [258, 285, 722] 39 x [285, 522, 722] 11 x [162, 331, 752] 18 x [331, 728, 752] 1 x [5, 238, 317] 18 x [5, 238, 699] 32 x [201, 238, 699] 10 x [238, 443, 524, 589, 686] 28 x [288, 958] 14 x [450, 458] 6 x [450, 844] 6 x [374, 601] 15 x [601, 768] 54 x [601, 930] 14 x [198, 882] 14 x [317, 457, 822] 8 x [317, 457, 918] 12 x [150, 285, 457] 6 x [84, 325, 443, 457, 686] 4 x [457, 524, 686, 816, 963] 29 x [58, 567, 717] 5 x [58, 717, 985] 4 x [84, 717, 985] 8 x [220, 375] 32 x [375, 809] 4 x [140, 375, 756] 34 x [194, 680, 792] 26 x [752, 792, 876] 10 x [478, 792, 875] 1 x [317, 355, 613] 21 x [355, 613, 627] 14 x [355, 627, 699] 27 x [17, 114, 199] 1 x [17, 114, 204] 4 x [114, 204, 757] 53 x [114, 218, 844] 5 x [340, 728, 752] 13 x [99, 177, 340] 3 x [91, 218, 340] 21 x [167, 589, 638] 12 x [577, 638, 926] 14 x [30, 384, 638] 23 x [55, 528, 638] 15 x [28, 992] 25 x [181, 665] 12 x [495, 918] 24 x [38, 160] 49 x [38, 509] 13 x [38, 427, 869] 16 x [507, 536, 742] 42 x [151, 544, 742] 7 x [485, 660, 742] 28 x [449, 742, 869] 4 x [643, 695, 742] 32 x [330, 695, 970] 20 x [544, 918, 970] 1 x [799, 918, 970] 1 x [443, 686, 798, 963, 970] 12 x [140, 524, 686, 963, 970] 35 x [60, 680, 992] 50 x [60, 418, 528] 54 x [597, 788] 5 x [142, 214] 22 x [214, 478, 914] 52 x [214, 349, 960] 2 x [59, 156, 914] 10 x [59, 648, 914] 8 x [59, 540, 949] 18 x [58, 59, 867] 18 x [513, 633, 841] 3 x [528, 629, 802] 3 x [100, 802, 875] 4 x [187, 449, 918] 1 x [86, 187, 498] 8 x [187, 201, 536] 45 x [187, 317, 884] 13 x [100, 153, 185] 18 x [100, 185, 437] 1 x [185, 227] 2 x [185, 227, 449] 22 x [415, 586, 716] 63 x [415, 631, 716] 47 x [121, 437] 53 x [121, 731] 14 x [11, 332, 627] 39 x [11, 250, 460] 24 x [11, 231, 650] 5 x [7, 349, 658] 40 x [540, 658, 860] 33 x [427, 658, 683] 2 x [328, 658, 683] 8 x [517, 658, 683] 1 x [3, 127, 658, 699] 10 x [658, 758, 799, 971] 21 x [120, 998] 51 x [160, 998] 24 x [782, 998] 2 x [925, 998] 19 x [107, 834] 6 x [346, 834] 68 x [834, 853] 22 x [705, 961] 41 x [190, 705] 22 x [585, 705] 1 x [705, 821] 49 x [3, 456, 852] 5 x [378, 845] 37 x [222, 845] 1 x [260, 845] 5 x [791, 845] 46 x [845, 932] 1 x [68, 240, 586] 20 x [68, 240, 624] 21 x [68, 73, 522] 8 x [68, 522, 707] 1 x [68, 231, 719, 918] 5 x [138, 264, 613] 7 x [231, 318, 639] 1 x [294, 639, 749] 21 x [77, 608, 639] 7 x [77, 639, 875] 1 x [231, 346, 639, 758] 12 x [17, 54, 623] 10 x [54, 67, 841] 1 x [54, 513, 623] 34 x [54, 253, 883] 1 x [54, 77, 726] 12 x [505, 528, 750] 1 x [408, 623, 832] 79 x [328, 408, 624] 8 x [309, 820] 3 x [435, 568] 13 x [568, 819] 10 x [419, 888] 5 x [448, 697, 760] 7 x [311, 758, 760] 40 x [760, 798, 825] 20 x [176, 627, 760] 2 x [6, 588] 59 x [6, 934] 20 x [212, 265] 21 x [623, 832, 973] 64 x [753, 867] 12 x [318, 471, 764] 50 x [471, 755, 814] 65 x [154, 335] 12 x [154, 679] 32 x [373, 749, 964] 42 x [373, 817, 964] 42 x [467, 757] 18 x [125, 426] 15 x [426, 613, 627] 17 x [32, 156] 21 x [32, 800] 46 x [37, 576] 26 x [47, 576] 8 x [117, 576] 12 x [152, 265] 63 x [162, 295] 87 x [247, 574, 701] 3 x [797, 860] 9 x [747, 758, 941] 17 x [194, 747, 814] 4 x [346, 979] 61 x [637, 979] 37 x [290, 689] 20 x [153, 893] 45 x [487, 893] 16 x [537, 893] 2 x [556, 758, 951] 29 x [17, 349, 556] 23 x [162, 517, 556] 1 x [328, 556, 619] 1 x [556, 619, 697] 8 x [156, 332, 556] 32 x [129, 737] 65 x [442, 796, 945] 7 x [15, 336] 49 x [336, 679] 24 x [67, 280, 589] 14 x [280, 470, 618] 61 x [402, 778] 73 x [289, 548] 13 x [294, 632, 962] 35 x [580, 632, 875] 8 x [294, 732, 758] 48 x [344, 523, 732] 13 x [697, 852, 924] 4 x [294, 758, 924] 26 x [131, 987] 49 x [131, 362] 45 x [164, 645, 750] 22 x [164, 697, 750] 12 x [30, 164, 841] 5 x [439, 504, 875] 2 x [504, 580, 875] 4 x [504, 875, 916] 34 x [306, 669] 19 x [50, 79] 29 x [50, 125] 45 x [50, 913] 2 x [613, 640, 758] 19 x [329, 656, 804] 35 x [63, 329, 577] 6 x [301, 329, 470] 5 x [329, 594, 618] 1 x [329, 392, 594] 20 x [329, 906, 962] 7 x [329, 391, 860] 30 x [72, 968] 43 x [85, 444, 968] 17 x [14, 485, 968] 74 x [159, 774] 21 x [99, 159] 75 x [203, 547] 15 x [547, 791] 11 x [117, 991] 25 x [338, 626, 728] 9 x [231, 626, 992] 64 x [361, 363] 23 x [361, 483] 43 x [266, 414] 20 x [266, 500] 6 x [144, 832, 841] 3 x [294, 338, 512] 29 x [82, 512, 623] 29 x [265, 512, 623] 7 x [442, 738, 992] 32 x [392, 575, 738] 10 x [274, 350] 15 x [155, 274] 22 x [232, 813] 27 x [174, 232] 18 x [194, 232] 7 x [172, 418, 804] 34 x [3, 390, 901] 35 x [365, 688] 4 x [873, 933] 33 x [223, 485, 897] 10 x [510, 790] 10 x [206, 790] 64 x [607, 790] 9 x [790, 894] 8 x [139, 664, 804] 38 x [139, 284, 775] 23 x [139, 575, 898] 41 x [709, 830] 13 x [398, 910] 11 x [160, 910] 4 x [85, 124, 837] 10 x [285, 837, 887] 24 x [402, 837, 887] 1 x [825, 837, 887] 6 x [602, 763] 3 x [122, 377] 56 x [122, 983] 2 x [294, 758, 890] 29 x [875, 890, 962] 11 x [825, 890, 918] 18 x [302, 383, 887] 4 x [150, 302, 901] 22 x [302, 563, 901] 1 x [150, 302, 357] 2 x [302, 357, 825] 49 x [229, 302, 563] 12 x [110, 167, 507] 21 x [91, 110, 589] 52 x [235, 600] 25 x [61, 235] 14 x [307, 492] 59 x [492, 614] 68 x [76, 730] 24 x [256, 730] 9 x [561, 804, 992] 54 x [128, 294] 21 x [128, 385, 823] 57 x [625, 700, 896] 5 x [700, 719, 992] 9 x [30, 700, 758] 14 x [332, 629, 700] 1 x [91, 700, 962] 1 x [435, 700, 887] 36 x [147, 163] 1 x [147, 168] 29 x [147, 236] 8 x [147, 857] 3 x [150, 285, 900] 63 x [24, 612, 707] 58 x [158, 446] 14 x [178, 609, 662] 74 x [178, 398] 36 x [33, 272] 6 x [272, 411] 13 x [272, 677] 26 x [111, 541] 21 x [44, 267] 12 x [150, 261, 995] 12 x [261, 311, 383] 39 x [261, 383, 939] 3 x [261, 362, 542] 1 x [261, 362, 678] 3 x [261, 362, 772] 30 x [279, 412, 772] 3 x [412, 534, 971] 20 x [412, 608, 898] 40 x [241, 668] 7 x [182, 251] 16 x [198, 251] 30 x [251, 388] 82 x [64, 307] 57 x [52, 602] 87 x [296, 469] 21 x [42, 308] 26 x [93, 308] 1 x [308, 309] 7 x [223, 342, 772] 7 x [25, 342, 971] 17 x [342, 617, 898] 35 x [342, 772, 844] 9 x [342, 542, 852] 1 x [674, 690, 841] 32 x [210, 430, 507] 16 x [210, 507, 597] 18 x [210, 306, 939] 12 x [210, 419, 550] 1 x [210, 415, 614] 4 x [210, 550, 614] 10 x [75, 291, 666] 39 x [291, 483] 6 x [116, 291, 947] 15 x [310, 447] 58 x [382, 765] 3 x [659, 688] 10 x [20, 256] 54 x [20, 321] 15 x [20, 641] 12 x [70, 988] 7 x [262, 988] 53 x [744, 988] 15 x [945, 988] 82 x [396, 794] 13 x [740, 931] 76 x [648, 931] 35 x [740, 942] 50 x [312, 942] 19 x [531, 655] 2 x [23, 468, 675] 2 x [23, 675, 846] 1 x [55, 675, 839] 1 x [4, 55, 675] 2 x [55, 562, 675] 35 x [433, 675, 887] 1 x [48, 553, 989] 1 x [78, 553, 989] 9 x [95, 553, 989] 12 x [123, 553, 989] 40 x [150, 720] 18 x [407, 852] 56 x [529, 927] 2 x [65, 396] 18 x [65, 445, 635] 31 x [370, 523, 941] 25 x [167, 370, 898] 1 x [370, 416, 438] 1 x [123, 370, 884, 914] 5 x [127, 370, 498, 761] 44 x [368, 510] 37 x [314, 318] 9 x [278, 582] 26 x [278, 481] 1 x [278, 469] 2 x [278, 377] 22 x [143, 351] 50 x [531, 741] 29 x [102, 854] 25 x [430, 854] 43 x [195, 854] 44 x [67, 596] 48 x [366, 976] 17 x [135, 602] 34 x [41, 88, 135] 13 x [135, 271] 66 x [93, 843] 15 x [688, 929] 47 x [192, 929] 59 x [433, 455, 807] 20 x [346, 455, 550] 53 x [79, 130] 15 x [119, 130, 311] 28 x [130, 438, 828] 27 x [382, 559] 15 x [387, 990] 5 x [366, 711] 18 x [118, 600] 7 x [149, 600] 26 x [141, 149] 2 x [41, 149, 319] 2 x [41, 149, 828] 74 x [496, 691] 8 x [87, 347, 799, 804] 22 x [112, 127, 332, 347] 60 x [347, 723, 823, 881] 9 x [642, 724] 2 x [157, 886] 6 x [157, 247] 4 x [157, 294] 46 x [157, 725] 1 x [263, 520, 531, 577] 2 x [311, 520, 531] 35 x [242, 283, 520] 9 x [242, 319, 520] 4 x [30, 208, 923] 16 x [208, 227, 494] 28 x [78, 117, 922] 4 x [661, 692] 5 x [478, 494, 948, 1000] 1 x [18, 494, 966, 1000] 37 x [257, 400, 634, 1000] 17 x [83, 400, 966, 1000] 24 x [26, 39] 33 x [39, 594] 19 x [532, 982] 4 x [532, 551] 37 x [244, 268] 3 x [188, 405, 827] 28 x [123, 350, 405] 34 x [246, 405, 629] 5 x [242, 405, 828] 6 x [30, 533, 635] 1 x [41, 416, 533] 21 x [227, 533, 550] 43 x [533, 550, 985] 2 x [173, 878, 887] 15 x [476, 899, 946] 85 x [582, 946] 35 x [298, 824] 28 x [123, 227, 320] 63 x [315, 417] 14 x [315, 579] 1 x [119, 401, 447] 3 x [88, 401, 641] 6 x [401, 423, 641] 21 x [311, 346, 401] 46 x [401, 448, 464] 44 x [380, 909] 34 x [380, 393] 8 x [380, 691] 17 x [507, 527, 693] 78 x [527, 718] 1 x [35, 448, 836] 4 x [35, 399, 448] 36 x [35, 81, 399] 15 x [35, 399, 785] 5 x [793, 917] 82 x [917, 996] 7 x [202, 469] 15 x [202, 548] 58 x [202, 606] 11 x [264, 423, 974] 5 x [220, 311, 974] 1 x [112, 127, 171, 761] 29 x [112, 171, 761, 908] 36 x [171, 761, 889, 908] 8 x [171, 391, 908, 921] 72 x [23, 565] 3 x [196, 990] 18 x [196, 746] 44 x [196, 447] 30 x [196, 216, 666] 56 x [468, 681, 978] 1 x [431, 978] 1 x [975, 978] 1 x [116, 947, 978] 2 x [23, 113, 905] 3 x [23, 779, 905] 10 x [188, 213, 593] 7 x [53, 490, 593] 45 x [73, 570, 593] 43 x [170, 303, 696] 13 x [74, 170, 941] 9 x [170, 570, 941] 27 x [113, 170, 926] 82 x [180, 584] 3 x [584, 878] 56 x [43, 119, 785] 52 x [71, 189] 2 x [388, 566, 807] 31 x [75, 297, 453, 566] 15 x [75, 297, 488, 566] 1 x [18, 75, 566, 966] 19 x [544, 566, 660, 804] 5 x [462, 642] 4 x [45, 359, 694] 9 x [359, 553, 813] 13 x [359, 553, 775] 6 x [359, 470, 696] 40 x [886, 955] 30 x [183, 955] 41 x [510, 713] 2 x [46, 672, 694] 51 x [440, 698] 4 x [303, 698] 1 x [230, 381] 4 x [570, 858, 940] 2 x [696, 858, 940] 10 x [94, 113, 940] 14 x [209, 493] 60 x [209, 662, 965] 1 x [209, 764, 784] 5 x [209, 263, 445] 26 x [146, 327, 605] 44 x [605, 746] 62 x [386, 789] 17 x [333, 789] 1 x [45, 620, 673] 32 x [86, 549, 673] 15 x [549, 673, 980] 1 x [241, 673] 63 x [16, 486] 53 x [22, 133] 18 x [224, 263, 680, 859] 27 x [497, 859] 2 x [784, 859, 873] 1 x [333, 859] 24 x [226, 515] 44 x [299, 611] 5 x [611, 691] 10 x [234, 636] 6 x [636, 997] 2 x [479, 813] 46 x [126, 545, 870] 7 x [334, 676, 870] 7 x [109, 579, 870] 33 x [403, 573, 872] 2 x [573, 872, 980] 21 x [228, 836, 872] 33 x [16, 132] 1 x [132, 500] 3 x [360, 366, 476] 12 x [45, 360, 562] 24 x [34, 360, 397] 8 x [23, 360, 846] 54 x [46, 103, 245] 17 x [233, 245, 434] 32 x [51, 734] 30 x [10, 999] 54 x [45, 652] 3 x [382, 810] 31 x [249, 810, 826] 2 x [764, 784, 810] 55 x [89, 491] 3 x [104, 213] 3 x [71, 406] 46 x [244, 406] 4 x [216, 406, 620] 36 x [345, 956] 28 x [371, 647] 42 x [2, 459] 39 x [358, 649] 33 x [649, 728] 23 x [211, 465, 625, 733] 68 x [234, 850, 861] 1 x [90, 106, 680, 850] 2 x [119, 484, 850] 1 x [119, 448, 850] 2 x [459, 476, 777, 784] 30 x [30, 188, 777] 10 x [55, 136, 777] 1 x [55, 777, 904] 28 x [56, 562, 777] 38 x [97, 480, 729] 2 x [729, 771, 849] 20 x [413, 454, 729] 35 x [97, 452, 729] 9 x [217, 682] 56 x [682, 714] 14 x [191, 366] 15 x [477, 657] 21 x [106, 560, 733, 869] 6 x [213, 428, 445] 1 x [45, 275, 428] 15 x [69, 420, 428, 916] 1 x [112, 391, 420, 428] 1 x [127, 420, 428, 761] 13 x [200, 428, 521, 916] 3 x [112, 391, 428, 521] 5 x [127, 391, 428, 650] 54 x [69, 428, 748, 916] 3 x [45, 109, 835] 28 x [225, 721, 835, 909] 23 x [404, 952] 65 x [516, 878] 8 x [71, 769] 78 x [148, 769] 65 x [248, 473] 47 x [31, 489] 23 x [213, 273, 468] 56 x [463, 911] 11 x [277, 463] 29 x [501, 833] 66 x [34, 501] 30 x [252, 644] 31 x [226, 252] 1 x [49, 397, 432] 5 x [49, 432, 704] 6 x [151, 174, 432] 16 x [97, 432, 621] 1 x [186, 432, 522, 573] 30 x [264, 432, 895] 24 x [432, 570, 641] 8 x [306, 432, 918] 58 x [305, 581] 3 x [452, 581, 811] 36 x [581, 710] 19 x [862, 871] 41 x [862, 919] 19 x [8, 530, 562] 17 x [8, 704, 775] 8 x [4, 8, 40] 2 x [8, 41, 935] 1 x [8, 41, 123, 914] 16 x [8, 373, 553] 2 x [8, 158, 438] 26 x [8, 86, 306] 12 x [217, 818] 10 x [628, 851] 4 x [79, 851] 25 x [856, 865] 2 x [79, 865] 3 x [13, 663, 944] 11 x [13, 525, 944] 16 x [937, 944, 952] 20 x [839, 896, 944] 21 x [106, 447, 944, 967] 52 x [57, 255, 424] 27 x [57, 461, 573] 33 x [644, 999] 21 x [644, 783] 12 x [153, 644] 8 x [13, 197, 554] 15 x [13, 197, 224] 3 x [18, 197, 488, 786] 11 x [83, 197, 634, 786] 55 x [127, 197, 231, 449] 41 x [134, 858] 1 x [106, 384, 434, 436] 1 x [434, 436, 706] 9 x [211, 434, 436, 625] 5 x [353, 529, 573] 15 x [642, 671, 874] 23 x [49, 476, 671] 1 x [671, 674, 676] 19 x [671, 674, 773] 28 x [17, 666, 671] 17 x [770, 840, 952] 32 x [174, 592, 770] 9 x [174, 246, 770] 21 x [106, 451, 770, 967] 7 x [277, 438, 943] 26 x [1, 425, 943] 7 x [276, 333, 943] 5 x [416, 573, 943] 27 x [123, 490, 786, 943] 4 x [783, 885] 1 x [350, 610, 840] 4 x [461, 573, 610] 74 x [603, 610, 836] 5 x [216, 445, 776, 880] 3 x [880, 954] 34 x [213, 421, 562] 38 x [284, 424, 571, 842] 6 x [126, 767, 833] 1 x [687, 984] 30 x [204, 687, 877] 10 x [475, 685] 47 x [324, 489] 46 x [323, 327, 518] 6 x [216, 518, 529] 40 x [49, 136, 667] 18 x [145, 293, 937] 47 x [145, 530, 937] 1 x [145, 448, 641] 1 x [145, 723, 948, 995] 8 x [145, 297, 367, 995] 1 x [108, 145, 442, 536] 8 x [145, 392, 544, 660] 8 x [13, 215, 216] 9 x [215, 228, 641] 4 x [108, 215, 536, 962] 9 x [213, 938] 31 x [12, 595, 599] 30 x [423, 555, 743] 52 x [166, 500] 29 x [146, 324, 806] 33 x [146, 806, 858] 3 x [102, 146, 806] 10 x [430, 511, 806] 1 x [91, 546, 806] 10 x [477, 615] 13 x [477, 710] 10 x [477, 812, 840] 22 x [12, 13, 599] 16 x [12, 642, 846] 10 x [12, 75, 394, 920] 1 x [12, 394, 743, 923] 2 x [12, 286, 434, 693, 849] 8 x [12, 284, 434, 849, 953] 34 x [249, 674, 759] 24 x [759, 883, 993] 40 x [849, 883, 920, 959] 76 x [193, 217] 25 x [508, 651] 1 x [651, 871] 35 x [277, 956] 39 x [511, 727, 808, 811] 12 x [313, 599, 646] 53 x [27, 592, 708, 984] 1 x [27, 452, 529] 2 x [27, 452, 564] 62 x [115, 980] 31 x [552, 588, 801] 5 x [552, 692, 801] 55 x [98, 663, 702, 801] 7 x [106, 579, 801, 967] 6 x [137, 255, 422] 91 x [137, 422, 712] 1 x [255, 422, 827] 1 x [422, 827, 883] 5 x [539, 616, 812] 15 x [616, 734] 4 x [616, 685] 41 x [96, 954] 11 x [213, 313, 599] 27 x [630, 824] 51 x [351, 630] 3 x [233, 630] 20 x [246, 254, 693, 733] 8 x [303, 847, 849] 13 x [45, 502, 847] 40 x [88, 743, 795, 847] 6 x [500, 766] 26 x [105, 598] 7 x [452, 598, 977] 3 x [36, 598] 2 x [598, 599, 840] 24 x [598, 928] 87 x [237, 997] 4 x [381, 622] 42 x [491, 622] 56 x [62, 993] 5 x [735, 993] 2 x [101, 522, 536, 758] 42 x [101, 301, 460, 536] 20 x [69, 101, 439, 536] 14 x [101, 332, 522, 660] 76 x [259, 313, 812] 7 x [259, 714] 78 x [169, 715, 767] 8 x [529, 715, 767] 25 x [327, 473, 539] 10 x [539, 902, 993] 7 x [539, 557, 625, 830] 1 x [322, 539, 841, 953] 18 x [46, 480, 811] 7 x [303, 480, 599] 5 x [226, 356, 784, 804] 1 x [226, 356, 708, 776] 1 x [356, 676, 999] 9 x [356, 369, 937] 2 x [88, 356, 743, 937] 85 x [21, 466] 27 x [734, 811, 977] 1 x [66, 97, 503, 506, 977] 35 x [506, 745, 977] 1 x [506, 972, 977] 5 x [552, 830, 977] 1 x [29, 66, 263, 771, 869] 14 x [29, 98, 663, 771] 65 x [337, 410, 866] 16 x [66, 225, 337, 502, 721] 1 x [226, 376, 445, 776] 1 x [66, 126, 263, 376, 695] 24 x [119, 126, 376, 784] 1 x [376, 476, 708, 776, 784] 1 x [41, 376, 445, 553] 23 x [429, 830] 49 x [429, 526] 18 x [239, 838, 972] 6 x [239, 545, 866] 3 x [126, 204, 216, 239, 721] 5 x [1, 239, 706, 808] 13 x [239, 445, 776, 808, 936] 29 x [239, 255, 430] 11 x [239, 333, 899] 27 x [564, 982] 3 x [249, 413, 476, 503, 545] 1 x [126, 216, 413, 693, 776] 1 x [249, 413, 476, 503] 1 x [98, 395] 12 x [243, 395] 57 x [474, 552, 972] 21 x [389, 535, 784] 2 x [535, 574, 784] 5 x [514, 620, 915] 87 x [286, 670, 915] 21 x [80, 243] 14 x [328, 366, 733, 891] 1 x [366, 912] 7 x [204, 221, 868, 877] 13 x [21, 221] 6 x [221, 751] 54 x [233, 886] 9 x [174, 381] 17 x [381, 762] 98 x [590, 864] 2 x [590, 873] 26 x [161, 339, 874] 6 x [263, 339, 445] 3 x [831, 950] 96 x [92, 831] 2 x [270, 503, 676, 868] 3 x [270, 379] 38 x [270, 364] 45 x [364, 579] 20 x [292, 499] 14 x [300, 693, 776] 2 x [126, 233, 653] 35 x [90, 815] 30 x [219, 653] 15 x [472, 693, 776] 70 x [304, 538] 2 x [538, 861] 45 x [572, 706] 11 x [445, 776, 805] 78 x [140, 787, 805] 20 x [503, 874, 879] 2 x [106, 869, 981] 74 x [260, 981] 11 x [604, 621] 3 x [621, 871] 17 x [364, 873] 64 x [124, 282] 64 x [9, 684] 4 x [40, 863] 85 x [40, 903] 3 x [318, 411] 47 x [372, 994] 1 x [583, 863] 10 x [583, 684] 15 x [354, 583] 2 x [411, 583] 16 x [583, 994] 19 x [333, 350] 67 x [262, 604] 21 x [91, 739] 1 x [309, 326] 39 x [326, 362] 3 x [326, 739] 50 x [19, 281] 51 x [155, 343] 1 x [155, 441] 25 x [281, 441] 6 x [269, 654] 10 x [155, 803] 12 x [129, 855] 1 x [155, 855] 9 x [236, 855] 15 x [578, 587] 3 x [438, 662, 726] 1 x [158, 726] 67 x [519, 726] 1 x [158, 781] 19 x [288, 781] 80 x [374, 781] 54 x [341, 482] 21 x [482, 703] 7 x [482, 935] 19 x [192, 227] 5 x [227, 323] 28 x [22, 264] 1 x [264, 996] 13 x [323, 707] 6 x [175, 348] 78 x [179, 348] 68 x [207, 543] 2 x [207, 641] 1 x [348, 641] 12 x [641, 665] 1 x [641, 894] 6 x [47, 117] 3 x [117, 287] 40 x [117, 892] 7 x [83, 190, 966] 17 x [591, 723, 948] 41 x [184, 591, 634] 39 x [591, 829, 966] 63 x [87, 258, 957] 30 x [325, 443, 524, 686, 966] 1 x [165, 645, 686, 697, 823] 20 x [645, 686, 697, 881, 914] 7 x [58, 204, 225, 969, 971] 28 x [58, 225, 558, 969, 971]