Build (method = -2) #dp: 5990771 Step-3' Graph: 142775 vertices and 428318 arcs (2387.75s) Step-4' Graph: 28211 vertices and 199190 arcs (2391.33s) #V4/#V3 = 0.20 #A4/#A3 = 0.47 Ready! (2391.33s) Optimize a model with 29211 rows, 199191 columns and 541155 nonzeros Presolve removed 753 rows and 3597 columns Presolve time: 1.81s Presolved: 28458 rows, 195594 columns, 534657 nonzeros Variable types: 0 continuous, 195594 integer (2101 binary) Optimize a model with 28458 rows, 195594 columns and 534657 nonzeros Presolve removed 66 rows and 66 columns Presolved: 28392 rows, 195528 columns, 534808 nonzeros Root barrier log... Ordering time: 2.73s Barrier statistics: AA' NZ : 3.201e+05 Factor NZ : 2.208e+06 (roughly 100 MBytes of memory) Factor Ops : 5.362e+08 (less than 1 second per iteration) Threads : 1 Objective Residual Iter Primal Dual Primal Dual Compl Time 0 2.49388813e+08 -4.78531730e+08 3.74e+10 2.23e-01 4.15e+05 4s 1 3.85507651e+07 -3.87424662e+08 3.89e+09 1.29e-03 4.41e+04 4s 2 9.40681297e+06 -2.38942984e+08 9.19e+08 4.33e-14 1.09e+04 5s 3 9.17092327e+05 -8.98973145e+07 7.58e+07 3.55e-15 1.08e+03 5s 4 1.36342974e+05 -2.67763525e+07 6.23e+06 3.11e-15 1.35e+02 5s 5 9.83805061e+04 -1.19494605e+07 2.82e+06 7.99e-15 5.89e+01 6s 6 8.68111200e+04 -7.15274509e+06 1.95e+06 2.93e-14 3.72e+01 6s 7 7.90277987e+04 -5.65268101e+06 1.46e+06 3.29e-14 2.83e+01 7s 8 7.42685918e+04 -4.87747278e+06 1.15e+06 2.75e-14 2.33e+01 7s 9 7.23943166e+04 -4.66501820e+06 1.03e+06 2.40e-14 2.16e+01 7s 10 7.18811865e+04 -3.13485521e+06 9.97e+05 4.26e-14 1.70e+01 8s 11 6.94384388e+04 -2.94299647e+06 8.57e+05 4.44e-14 1.52e+01 8s 12 6.55062330e+04 -2.59088821e+06 6.82e+05 3.46e-14 1.27e+01 8s 13 6.18094912e+04 -2.33853855e+06 5.16e+05 3.20e-14 1.05e+01 9s 14 5.70585244e+04 -1.53199307e+06 3.27e+05 3.20e-14 6.69e+00 9s 15 5.46469584e+04 -1.38069006e+06 2.32e+05 3.02e-14 5.50e+00 10s 16 5.30203913e+04 -1.22640697e+06 1.74e+05 2.75e-14 4.61e+00 10s 17 5.14266209e+04 -8.78478173e+05 1.25e+05 2.84e-14 3.29e+00 10s 18 5.05613729e+04 -6.25246978e+05 1.02e+05 2.31e-14 2.42e+00 11s 19 5.00462870e+04 -5.19152841e+05 8.86e+04 1.91e-14 2.04e+00 11s 20 4.76376970e+04 -3.26355882e+05 5.33e+04 1.11e-14 1.27e+00 12s 21 4.41877767e+04 -2.40183079e+05 2.26e+04 7.99e-15 8.50e-01 12s 22 4.23981624e+04 -1.87459781e+05 1.71e+04 6.33e-15 6.72e-01 12s 23 4.10059764e+04 -1.48392758e+05 1.36e+04 5.00e-15 5.46e-01 13s 24 3.92164153e+04 -1.33527397e+05 1.05e+04 4.55e-15 4.87e-01 13s 25 3.60167316e+04 -1.05428303e+05 6.18e+03 3.66e-15 3.86e-01 13s 26 3.37196399e+04 -7.79767064e+04 4.44e+03 2.89e-15 3.01e-01 14s 27 3.14936863e+04 -5.64038113e+04 3.21e+03 2.30e-15 2.35e-01 14s 28 3.09465725e+04 -4.64323815e+04 2.97e+03 1.97e-15 2.07e-01 15s 29 2.86375356e+04 -3.16615431e+04 1.91e+03 1.53e-15 1.59e-01 15s 30 2.78486989e+04 -1.90990009e+04 1.68e+03 1.12e-15 1.24e-01 15s 31 2.62662533e+04 -1.25535861e+04 1.23e+03 9.99e-16 1.02e-01 16s 32 2.55890803e+04 -7.23997375e+03 1.04e+03 9.30e-16 8.59e-02 16s 33 2.44844130e+04 -1.87624453e+03 7.38e+02 7.63e-16 6.87e-02 17s 34 2.38823886e+04 2.28965772e+03 6.03e+02 7.60e-16 5.61e-02 17s 35 2.31250773e+04 5.10095293e+03 4.49e+02 6.84e-16 4.67e-02 17s 36 2.27567663e+04 7.37180859e+03 3.77e+02 6.29e-16 3.98e-02 18s 37 2.26068034e+04 8.79585451e+03 3.49e+02 7.30e-16 3.57e-02 18s 38 2.22893441e+04 1.03695605e+04 2.88e+02 8.02e-16 3.08e-02 18s 39 2.17866809e+04 1.29185208e+04 1.88e+02 7.22e-16 2.28e-02 19s 40 2.16633250e+04 1.42708283e+04 1.60e+02 6.78e-16 1.90e-02 19s 41 2.15728704e+04 1.45351236e+04 1.43e+02 8.43e-16 1.81e-02 20s 42 2.14633232e+04 1.56168869e+04 1.15e+02 8.26e-16 1.50e-02 20s 43 2.13570379e+04 1.69533992e+04 8.90e+01 7.45e-16 1.13e-02 20s 44 2.13180836e+04 1.76661338e+04 7.90e+01 6.78e-16 9.37e-03 21s 45 2.12905413e+04 1.79528763e+04 6.79e+01 6.80e-16 8.56e-03 21s 46 2.12623251e+04 1.84279362e+04 5.63e+01 6.67e-16 7.27e-03 22s 47 2.12517014e+04 1.85426011e+04 5.25e+01 6.92e-16 6.94e-03 22s 48 2.12295494e+04 1.90722313e+04 4.29e+01 6.68e-16 5.53e-03 22s 49 2.12110644e+04 1.93970079e+04 3.49e+01 6.79e-16 4.64e-03 23s 50 2.12053649e+04 1.98452674e+04 2.99e+01 6.24e-16 3.48e-03 23s 51 2.11912388e+04 2.02620386e+04 1.86e+01 5.57e-16 2.38e-03 24s 52 2.11781381e+04 2.07081502e+04 8.18e+00 4.44e-16 1.20e-03 24s 53 2.11775883e+04 2.09054410e+04 7.59e+00 4.43e-16 6.96e-04 24s 54 2.11733622e+04 2.10204731e+04 3.62e+00 4.44e-16 3.91e-04 25s 55 2.11711194e+04 2.11609997e+04 5.98e-02 5.55e-16 2.58e-05 25s 56 2.11710006e+04 2.11709169e+04 4.86e-05 6.66e-16 2.14e-07 25s 57 2.11710000e+04 2.11709999e+04 1.77e-09 5.55e-16 2.14e-10 26s 58 2.11710000e+04 2.11710000e+04 4.77e-10 5.55e-16 2.14e-13 26s Barrier solved model in 58 iterations and 26.25 seconds Optimal objective 2.11710000e+04 Root crossover log... 3334 DPushes remaining with DInf 0.0000000e+00 26s 0 DPushes remaining with DInf 1.4633114e+00 26s 163696 PPushes remaining with PInf 0.0000000e+00 26s 113136 PPushes remaining with PInf 0.0000000e+00 30s 82921 PPushes remaining with PInf 0.0000000e+00 35s 59892 PPushes remaining with PInf 0.0000000e+00 40s 38505 PPushes remaining with PInf 0.0000000e+00 45s 19205 PPushes remaining with PInf 0.0000000e+00 50s 0 PPushes remaining with PInf 0.0000000e+00 55s Push phase complete: Pinf 0.0000000e+00, Dinf 1.4633114e+00 55s Root simplex log... Iteration Objective Primal Inf. Dual Inf. Time 167032 2.1171000e+04 0.000000e+00 0.000000e+00 55s 167032 2.1171000e+04 0.000000e+00 0.000000e+00 55s Root relaxation: objective 2.117100e+04, 167032 iterations, 54.87 seconds Total elapsed time = 163.18s Total elapsed time = 198.27s Total elapsed time = 214.39s Total elapsed time = 308.56s Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 21171.0000 0 618 - 21171.0000 - - 397s H 0 0 21171.000000 21171.0000 0.0% - 1207s Explored 0 nodes (362459 simplex iterations) in 1207.71 seconds Thread count was 1 (of 8 available processors) Optimal solution found (tolerance 0.00e+00) Best objective 2.117100000000e+04, best bound 2.117100000000e+04, gap 0.0% Preprocessing time: 2392.11 seconds Gurobi run time: 1207.71 seconds Total run time: 3599.81 seconds Objective: 21171 Solution: 67 x [72, 271] 25 x [838, 883] 3 x [87, 173] 13 x [92, 734] 35 x [92, 798] 1 x [92, 949] 5 x [92, 777] 40 x [92, 892] 3 x [451, 667] 3 x [657] 23 x [657, 960] 19 x [748, 935] 79 x [593, 748] 2 x [748, 752] 73 x [157, 730] 59 x [786, 862] 32 x [862, 935] 37 x [80, 235] 4 x [170, 445] 49 x [445, 630] 9 x [445, 795] 43 x [568, 952] 25 x [38, 204] 40 x [38, 896] 48 x [204, 371] 7 x [378, 422] 43 x [24, 878] 34 x [878, 930] 4 x [299, 943] 18 x [139, 242] 11 x [93, 224] 80 x [224, 634] 1 x [586, 742] 68 x [586, 637] 8 x [628, 779] 58 x [336, 779] 17 x [185, 942] 42 x [235, 869] 16 x [869, 930] 27 x [869, 942] 6 x [49, 399] 57 x [284, 523] 28 x [433, 523] 28 x [121, 532] 32 x [682, 920] 9 x [566, 920, 943] 39 x [438, 609] 27 x [609, 648] 13 x [187, 659] 26 x [659, 676] 1 x [451, 659] 49 x [121, 389] 73 x [215, 780] 2 x [93, 94, 897] 4 x [94, 752, 897] 11 x [752, 754, 897] 5 x [28, 108, 153] 4 x [28, 108, 891] 19 x [28, 794, 891] 11 x [28, 930, 943] 11 x [28, 29, 942] 6 x [28, 575, 942] 28 x [2, 28, 966] 1 x [28, 111] 41 x [653, 917] 4 x [18, 653] 42 x [653, 715] 21 x [441, 688] 81 x [873, 948] 17 x [688, 948] 61 x [233, 978] 73 x [18, 122] 11 x [221, 662, 681] 3 x [221, 662, 942] 9 x [130, 242] 17 x [130, 444, 966] 2 x [29, 130, 754] 17 x [43, 130, 566] 13 x [130, 566, 598] 3 x [130, 566, 754] 16 x [130, 566, 838] 4 x [498, 599] 48 x [237, 599] 2 x [264, 599] 64 x [571, 870] 15 x [800, 980] 22 x [482, 800] 19 x [78, 718, 800] 20 x [190, 604] 34 x [24, 604] 3 x [2, 11, 232] 2 x [11, 232, 246] 24 x [203] 1 x [153, 203] 50 x [203, 567] 4 x [153, 837] 49 x [105, 108] 1 x [270, 747] 7 x [270, 448] 68 x [270, 486] 4 x [35, 246, 662] 10 x [35, 246, 893] 75 x [351, 759] 81 x [94, 713] 33 x [2, 311] 22 x [311, 571] 3 x [4, 137, 943] 29 x [93, 137, 285] 7 x [93, 137, 662] 6 x [628, 861] 27 x [861, 991] 49 x [83, 273] 23 x [273, 319] 30 x [671, 942, 956] 15 x [43, 671, 759] 29 x [4, 29, 671] 6 x [444, 507, 671] 6 x [671, 943, 966] 6 x [117, 814] 3 x [117, 873] 2 x [117, 187] 12 x [117, 242] 5 x [117, 978] 63 x [155, 167] 5 x [167, 543] 6 x [56, 167] 8 x [167, 736] 9 x [767, 822] 6 x [283, 822] 1 x [451, 822] 24 x [168, 890] 33 x [168, 237] 3 x [143, 232, 356] 26 x [232, 356, 422] 1 x [356, 681, 750] 2 x [4, 356, 922] 21 x [518, 580] 22 x [220, 527] 66 x [527, 628] 17 x [413, 915] 8 x [305, 413] 48 x [814, 910] 27 x [174, 730] 57 x [174, 754] 12 x [518, 594] 86 x [475, 594] 10 x [684, 922] 50 x [684, 864] 44 x [802, 882] 44 x [802, 949] 4 x [802, 935] 26 x [16, 421, 993] 38 x [57, 98, 993] 23 x [57, 786, 993] 64 x [142, 967] 30 x [468, 574] 9 x [89, 462, 988] 69 x [206, 384] 13 x [142, 384] 59 x [605, 644] 35 x [145, 605] 2 x [605, 809] 21 x [34, 68] 18 x [34, 978] 10 x [34, 482] 75 x [132, 706] 2 x [54, 89, 785] 32 x [16, 89, 785] 24 x [89, 492, 785] 8 x [629, 750, 785] 6 x [94, 785, 914] 44 x [554, 916] 49 x [554, 864] 5 x [409, 428] 4 x [78, 409] 45 x [213, 448] 59 x [856, 912] 7 x [912, 943] 53 x [45, 681] 24 x [858, 915] 8 x [858, 892] 47 x [711, 843] 30 x [625, 783] 17 x [625, 982] 6 x [435, 625] 5 x [625, 715] 4 x [625, 843] 16 x [89, 359, 535] 6 x [89, 359, 606] 18 x [359, 615, 772] 18 x [359, 399, 812] 2 x [359, 399, 893] 20 x [165, 468] 31 x [165, 964] 6 x [165, 736] 14 x [290, 571] 71 x [22, 513, 698] 24 x [22, 243, 518] 5 x [22, 593, 943] 65 x [190, 495] 3 x [495, 747] 22 x [372, 724] 56 x [724, 882] 9 x [271, 724] 15 x [54, 954] 49 x [243, 377] 7 x [242, 326] 15 x [771, 961] 14 x [391, 961] 50 x [468, 961] 26 x [438, 449] 4 x [399, 494, 518] 1 x [399, 494, 758] 5 x [78, 138, 540] 23 x [138, 204, 540] 61 x [138, 263, 540] 10 x [540, 572, 893] 1 x [540, 759, 930] 59 x [472, 662] 51 x [238, 411] 10 x [191, 500] 63 x [191, 783] 21 x [125, 510] 3 x [125, 747] 19 x [541, 572] 58 x [466, 535] 48 x [335, 338, 727] 11 x [219, 338, 727] 8 x [572, 727, 787] 65 x [341, 462] 20 x [259, 979] 17 x [79, 259] 35 x [126, 259] 13 x [259, 742] 44 x [729, 835] 36 x [201, 835] 42 x [893, 984] 52 x [898, 965] 38 x [43, 965] 31 x [53, 246, 907] 5 x [487, 849] 24 x [98, 737] 21 x [210, 737] 23 x [215, 737] 13 x [536, 865] 46 x [536, 572] 60 x [286, 645] 41 x [642, 719, 940] 24 x [492, 642, 940] 33 x [391, 422, 642] 8 x [202, 805] 3 x [238, 805] 25 x [391, 805] 27 x [154, 701] 11 x [53, 397] 14 x [397, 647] 7 x [397, 966] 27 x [53, 747, 918] 4 x [132, 747, 918] 7 x [319, 444, 918] 27 x [319, 918, 927] 11 x [787, 799, 829] 21 x [370, 877] 19 x [482, 877] 2 x [68, 833] 21 x [84, 387] 22 x [84, 632] 31 x [84, 703] 5 x [297, 721] 31 x [240, 357] 17 x [240, 329, 500] 2 x [54, 239, 240] 13 x [54, 99, 698] 8 x [53, 99, 518] 16 x [99, 399, 771] 3 x [13, 535, 787] 29 x [13, 787, 969] 2 x [13, 142, 914] 3 x [13, 142, 942] 42 x [374, 729] 42 x [374, 814] 13 x [31, 488] 22 x [343, 564] 9 x [564, 742] 15 x [633, 853, 865] 14 x [142, 633, 865] 14 x [391, 633, 809] 57 x [74, 946] 32 x [394, 946] 64 x [428, 857] 6 x [387, 850] 5 x [373, 881] 62 x [177, 373] 49 x [496, 832] 6 x [451, 832] 1 x [508, 957] 23 x [394, 508] 5 x [91, 96, 590] 28 x [148, 581] 42 x [615, 694] 38 x [478, 645] 49 x [219, 396, 478] 52 x [217, 275, 282] 11 x [217, 492, 852] 22 x [148, 529] 12 x [68, 529] 16 x [121, 529] 11 x [177, 717] 6 x [27, 843] 19 x [6, 93] 24 x [6, 507] 2 x [164, 408, 913] 24 x [261, 408, 913] 16 x [408, 747, 771] 2 x [12, 282, 408] 4 x [282, 408, 606] 2 x [164, 408, 795] 6 x [408, 771, 795] 48 x [272, 291] 47 x [116, 766] 3 x [766, 911] 50 x [266, 766] 2 x [148, 868] 34 x [438, 868] 55 x [739, 868] 90 x [197, 757] 61 x [86, 986] 22 x [86, 849] 16 x [303, 939] 13 x [319, 939] 6 x [846, 939] 26 x [150, 381] 3 x [47, 164, 462] 37 x [47, 164, 219] 20 x [47, 606, 771] 14 x [54, 225, 787] 8 x [285, 689] 24 x [546, 558] 6 x [668, 743] 2 x [339, 668] 6 x [412, 668] 49 x [44, 119] 16 x [8, 119, 849] 4 x [119, 204, 610] 21 x [366, 847] 25 x [108, 695] 30 x [44, 95] 70 x [227, 716] 4 x [366, 714] 43 x [511, 558] 6 x [177, 363] 1 x [614, 652, 762] 23 x [442, 614, 712] 18 x [188, 272, 950] 13 x [134, 188, 992] 40 x [188, 551, 590] 19 x [188, 500, 950] 1 x [188, 264, 992] 8 x [3, 551] 45 x [222, 563] 22 x [281, 880] 21 x [268, 497] 22 x [281, 497] 42 x [285, 497] 7 x [222, 316, 391] 23 x [54, 316, 665] 3 x [254, 407] 16 x [254, 504] 1 x [254, 867] 37 x [254, 345] 36 x [214, 254] 1 x [136, 649] 2 x [136, 227] 17 x [136, 911] 9 x [432, 558] 65 x [31, 432] 10 x [1, 262, 500] 1 x [1, 262, 428] 44 x [443, 561] 15 x [394, 443] 12 x [272, 306, 590] 8 x [366, 697] 9 x [262, 551, 697] 1 x [20, 134, 396] 7 x [20, 262, 749] 4 x [20, 262, 412] 11 x [20, 54, 590] 33 x [20, 890, 992] 29 x [393, 551, 665] 22 x [8, 393, 428] 27 x [393, 803, 905] 66 x [128, 661] 30 x [652, 661, 944] 56 x [669, 813] 18 x [156, 669] 5 x [131, 591] 22 x [205, 347] 30 x [347, 938] 29 x [347, 358] 32 x [849, 972] 8 x [8, 272, 304] 72 x [919, 979] 23 x [629, 919] 12 x [251, 476] 18 x [476, 505] 8 x [476, 591] 28 x [340, 547] 1 x [8, 134, 977] 6 x [8, 394, 977] 8 x [177, 446, 977] 16 x [96, 294, 429] 8 x [51, 173, 429] 7 x [108, 294, 429] 9 x [294, 429, 617] 33 x [294, 429, 629] 10 x [63, 446, 874] 4 x [63, 317, 446] 37 x [15, 329, 824] 5 x [69, 458] 15 x [69, 227] 15 x [583, 637] 45 x [334, 901] 26 x [172, 410] 8 x [366, 410] 56 x [392, 410, 796] 1 x [410, 884] 40 x [236, 996] 54 x [673, 996] 9 x [118, 591, 992] 27 x [118, 874, 911] 51 x [118, 763] 30 x [533, 693, 709] 9 x [380, 500, 533] 13 x [51, 533, 629] 75 x [23, 589] 16 x [70, 276, 677] 33 x [418, 624] 9 x [364, 418] 42 x [418, 809] 4 x [236, 731] 51 x [156, 731] 8 x [361, 731, 884, 990] 5 x [361, 731, 884] 19 x [456, 921] 66 x [407, 456] 61 x [365, 768] 18 x [365, 458] 10 x [156, 344, 693] 4 x [149, 340, 344] 12 x [8, 340, 344] 2 x [149, 222, 344] 20 x [222, 344, 784] 14 x [149, 344, 433] 56 x [709, 738] 20 x [30, 96] 3 x [30, 181, 521] 26 x [180, 854] 1 x [334, 854] 28 x [705, 854] 44 x [205, 854] 22 x [67, 295] 42 x [579, 702] 31 x [350, 380, 702] 1 x [404, 562, 702] 2 x [60, 392, 601, 702] 17 x [172, 683] 15 x [834, 887] 3 x [679, 887] 28 x [705, 887] 20 x [611, 931] 22 x [611, 921] 57 x [110, 654] 3 x [110, 651] 3 x [110, 849] 60 x [453, 778, 926] 4 x [243, 310, 778] 19 x [60, 243, 354, 778] 72 x [78, 289] 47 x [264, 886] 41 x [528, 937] 30 x [67, 528] 71 x [622, 931] 38 x [170, 519, 525] 24 x [325, 692, 745] 14 x [591, 745, 970] 3 x [591, 745, 992] 11 x [350, 745, 929] 13 x [325, 615, 745] 5 x [325, 745] 21 x [416, 629, 926] 16 x [324, 493, 585] 27 x [314, 723] 23 x [314, 388] 28 x [152, 301] 64 x [152, 624] 50 x [173, 317, 958] 38 x [433, 525, 958] 1 x [184, 317, 558] 1 x [71, 179, 184] 9 x [71, 184, 926] 1 x [71, 184, 525] 12 x [24, 65, 184] 3 x [24, 184, 525] 14 x [275, 525, 544] 40 x [60, 399, 415, 544] 2 x [525, 544] 42 x [223, 267] 34 x [192, 223] 14 x [223, 375] 33 x [658, 793] 21 x [658, 975] 37 x [459, 514] 9 x [113, 975] 2 x [603, 741] 32 x [169, 549, 576, 603] 9 x [19, 419] 5 x [419, 677, 820] 1 x [276, 419, 677] 1 x [380, 419, 677] 25 x [159, 928] 10 x [159, 375] 9 x [437, 704] 2 x [67, 437] 63 x [437, 825, 963] 29 x [19, 842] 65 x [842, 927] 53 x [955, 997] 9 x [514, 955] 44 x [879, 903] 36 x [791, 879] 46 x [65, 364, 450] 46 x [179, 450, 952] 38 x [181, 555, 756] 5 x [635, 774] 13 x [423, 635] 18 x [635, 928] 24 x [324, 635] 37 x [503, 804] 2 x [493, 502, 503] 32 x [161, 321, 649, 904] 32 x [321, 440, 446, 895] 5 x [251, 325, 452] 28 x [64, 452, 505] 27 x [276, 452, 505] 1 x [452, 477, 562] 26 x [244, 452, 651] 20 x [760, 922] 34 x [260, 281, 522, 895] 37 x [229, 364, 577] 7 x [229, 551, 577] 27 x [562, 577, 794] 68 x [534, 623] 15 x [623, 975] 4 x [375, 386, 493] 67 x [196, 612] 30 x [196, 251] 43 x [189, 651] 46 x [194, 404, 549] 26 x [569, 975] 11 x [608, 975] 95 x [12, 460] 3 x [256, 402] 16 x [212, 376] 16 x [376, 380, 807] 1 x [61, 376, 493] 26 x [154, 376] 14 x [162, 467, 995] 1 x [458, 995] 9 x [195, 493, 512, 718] 5 x [262, 514, 596] 34 x [302, 596, 765, 872] 5 x [60, 324, 545, 619] 1 x [619, 652, 707] 46 x [109, 279] 47 x [175, 827] 47 x [741, 827] 42 x [226, 823] 57 x [548, 823] 29 x [251, 974] 9 x [693, 725, 953] 53 x [15, 144, 436, 953] 9 x [434, 436, 660, 953] 4 x [512, 720, 953] 17 x [489, 491] 30 x [491, 906] 1 x [241, 491, 693] 2 x [241, 262, 491] 2 x [115, 353] 87 x [115, 463] 65 x [100, 114, 123] 21 x [123, 434, 660] 12 x [514, 924] 56 x [395, 426] 13 x [395, 997] 3 x [395, 903] 8 x [708, 900] 13 x [296, 708] 20 x [256, 708] 6 x [708, 975] 23 x [589, 708] 2 x [75, 353] 22 x [75, 489] 4 x [675, 983] 17 x [489, 983] 35 x [67, 983] 11 x [269, 693, 725] 49 x [269, 477, 999] 5 x [520, 693, 725] 32 x [477, 502, 520] 56 x [166, 740] 38 x [388, 582, 929] 23 x [244, 582, 591] 7 x [177, 345, 582] 1 x [150, 186, 582] 9 x [158, 421, 582, 991] 76 x [390, 720] 56 x [699, 871] 5 x [473, 502, 656] 24 x [499, 576, 707, 1000] 4 x [60, 415, 499, 1000] 24 x [455, 499, 530] 6 x [455, 499, 512, 718] 25 x [37, 499, 856, 990] 18 x [146, 434, 660] 40 x [186, 349, 521, 792] 68 x [274, 309] 4 x [674, 826, 936] 5 x [471, 674, 826] 14 x [570, 674, 936] 7 x [471, 674, 936] 24 x [241, 515, 674] 21 x [162, 674, 825] 2 x [592, 726] 14 x [17, 128, 707] 34 x [55, 90] 2 x [55, 725] 19 x [552, 753] 23 x [39, 171, 728, 753] 49 x [62, 102] 49 x [62, 600] 41 x [588, 851] 33 x [592, 851] 11 x [485, 553] 17 x [553, 600] 22 x [548, 553] 47 x [193, 330] 61 x [214, 310, 490] 16 x [297, 320, 490, 502] 33 x [144, 504, 512, 962] 22 x [312, 338, 358, 660] 3 x [312, 690, 828] 44 x [257, 293] 3 x [257, 612] 27 x [109, 257, 793] 15 x [257, 793, 963] 17 x [592, 987] 24 x [550, 751, 987] 7 x [26, 293] 40 x [293, 885] 45 x [129, 516] 24 x [163, 516] 8 x [181, 602, 725] 1 x [349, 425, 602, 841] 15 x [425, 602, 841] 45 x [266, 602, 756] 2 x [112, 539, 618, 670] 6 x [112, 161, 252, 539] 28 x [112, 401, 656, 770] 47 x [183, 638, 976] 20 x [324, 350, 638] 20 x [147, 332, 638, 990] 6 x [202, 298, 512, 638] 50 x [124, 725] 56 x [587, 840] 26 x [280, 818, 863, 944] 33 x [169, 245, 502, 531] 6 x [158, 245, 287, 421] 2 x [169, 245, 287, 652] 36 x [39, 192, 872, 909] 28 x [424, 821] 4 x [424, 740] 10 x [424, 725] 1 x [646, 911] 15 x [154, 646] 23 x [193, 646] 1 x [502, 646, 656] 1 x [211, 465, 584, 655] 4 x [211, 258, 584, 790] 1 x [107] 2 x [107, 552] 16 x [107, 183] 11 x [65, 107, 144, 248] 63 x [107, 414] 4 x [457, 587] 14 x [600, 797] 9 x [331, 797] 23 x [414, 483, 514] 12 x [276, 483, 514] 23 x [181, 367, 483] 4 x [301, 324, 483] 2 x [211, 301, 483] 7 x [310, 483, 733, 934] 1 x [46, 483, 934] 2 x [181, 483, 685] 5 x [181, 250, 483, 685] 19 x [81, 175] 39 x [81, 817] 1 x [81, 696] 4 x [40, 81] 2 x [77, 81] 2 x [81, 600] 13 x [346, 509] 4 x [129, 346] 14 x [106, 776] 4 x [133, 902] 9 x [77, 133] 12 x [405, 552] 35 x [135, 405, 465, 686] 28 x [186, 349, 405, 929] 14 x [338, 501, 660] 4 x [141, 209, 469, 521] 1 x [141, 521, 770] 16 x [253, 474] 5 x [5, 616] 11 x [5, 427, 816] 24 x [32, 678] 7 x [32, 600] 9 x [207, 331, 515] 3 x [207, 262, 331] 4 x [82, 253] 9 x [82, 587] 5 x [82, 103, 859] 2 x [192, 348, 804] 6 x [42, 348, 470, 728] 80 x [42, 643] 5 x [42, 252, 844] 3 x [42, 258, 806, 844] 48 x [101, 680] 6 x [680, 889] 8 x [21, 680] 47 x [255, 461] 16 x [65, 147, 255, 718] 57 x [398, 971] 18 x [21, 971] 49 x [687, 875] 62 x [315, 788] 17 x [262, 315, 331] 57 x [801, 934] 29 x [573, 836] 1 x [401, 470, 493, 761] 3 x [899, 994] 39 x [627, 994] 8 x [722, 959, 994] 1 x [7, 816, 994] 5 x [7, 578, 994] 10 x [427, 431, 994] 82 x [526, 845] 1 x [526, 808] 2 x [526, 811, 815] 50 x [97, 875] 22 x [97, 333] 40 x [209, 258, 985] 13 x [106, 735] 1 x [333, 479] 38 x [253, 479] 18 x [181, 479, 592] 51 x [147, 484, 631, 750] 7 x [147, 310, 631, 718] 1 x [310, 631, 718] 13 x [400, 672, 959] 73 x [328, 400, 427] 20 x [50, 109, 260, 618, 666] 1 x [65, 114, 666, 819] 3 x [65, 666, 712, 819] 23 x [309, 655, 666, 677, 933] 9 x [106, 746] 49 x [362, 746] 3 x [15, 329, 557, 819] 1 x [65, 114, 557, 819] 16 x [154, 186, 425, 557] 59 x [36, 104] 34 x [104, 550, 621] 53 x [292, 951] 4 x [292, 517, 710] 3 x [241, 292, 517] 10 x [292, 324, 517] 13 x [230, 616, 936] 11 x [103, 230, 947] 40 x [230, 859, 947] 4 x [369, 559] 24 x [369, 782] 13 x [369, 524] 17 x [288, 337] 26 x [208, 337, 894, 944] 36 x [417, 811, 959] 25 x [59, 417, 672] 5 x [7, 88, 417] 16 x [556, 860] 31 x [298, 308, 512, 556] 1 x [323, 383, 556, 663] 5 x [323, 383, 556, 781] 22 x [234, 556, 613, 733] 13 x [48, 578, 925] 23 x [176, 537] 9 x [61, 318, 537] 54 x [103, 198, 537] 16 x [200, 831] 8 x [200, 342] 2 x [200, 769] 16 x [439, 755] 40 x [209, 258, 461, 650] 17 x [135, 620, 650] 5 x [176, 249] 10 x [178, 249] 35 x [249, 300] 27 x [278, 664] 7 x [127, 278, 826] 22 x [327, 808, 959] 1 x [327, 431, 808] 34 x [265, 691] 6 x [25, 578, 691] 10 x [691, 859, 932] 39 x [61, 277, 860] 28 x [277, 332, 938, 990] 25 x [103, 616, 866] 49 x [231, 607] 15 x [454, 607] 7 x [480, 607, 707, 863] 3 x [480, 607, 618, 700] 26 x [52, 607, 762, 894] 7 x [151, 406] 68 x [151, 379, 816] 83 x [403, 848] 19 x [25, 431, 447] 96 x [352, 560] 30 x [636, 876] 20 x [538, 636] 8 x [597, 636] 2 x [318, 352, 550] 8 x [61, 573, 640] 17 x [106, 640, 807] 58 x [307, 640] 1 x [848] 30 x [247, 345, 469, 770] 8 x [209, 247, 425, 796] 4 x [209, 247, 796] 59 x [66, 454] 6 x [66, 423, 660, 663] 23 x [228, 597] 8 x [59, 228, 616] 7 x [7, 228, 626] 6 x [228, 517, 626] 6 x [228, 427, 431, 959] 34 x [288, 471, 773] 7 x [300, 550, 595] 7 x [322, 769, 815] 70 x [10, 322, 626] 7 x [199, 626, 947] 39 x [439, 815, 831] 15 x [439, 831, 973] 6 x [439, 550, 831] 3 x [464, 808, 981] 36 x [722, 808, 981] 2 x [808, 830, 981] 7 x [208, 782, 968] 7 x [467, 732, 782] 9 x [176, 406, 815] 60 x [176, 578, 639] 9 x [385, 463, 538] 32 x [182, 353, 469, 700] 14 x [58, 573, 764] 41 x [58, 573, 807] 4 x [58, 280, 889] 17 x [58, 493, 889] 4 x [58, 162, 252, 465, 825] 1 x [58, 169, 825, 894] 62 x [41, 839] 25 x [382, 679, 712, 839] 14 x [664, 679, 762, 863] 8 x [7, 48, 406] 31 x [76, 406, 621] 20 x [36, 59, 597] 1 x [597, 888] 4 x [103, 597, 888] 15 x [7, 48, 597] 14 x [597, 621, 947] 12 x [420, 524, 976] 1 x [313, 420, 613, 733] 1 x [430, 613, 679, 733] 18 x [46, 430, 679, 810] 67 x [481, 774] 2 x [128, 216, 489, 707] 17 x [208, 524, 641] 30 x [524, 570, 732] 30 x [267, 354, 506, 998] 74 x [33, 180] 23 x [85, 383, 542, 675] 76 x [9, 85] 17 x [300, 565, 911] 21 x [140, 300, 565, 656] 1 x [198, 616, 775] 18 x [163, 621, 831] 8 x [360, 467, 573] 4 x [328, 342, 769] 1 x [14, 88, 342] 8 x [48, 218, 342] 31 x [48, 76, 342] 7 x [379, 769, 811] 34 x [355, 670, 728, 921] 11 x [310, 355, 368, 733] 28 x [106, 360, 423] 2 x [458, 613, 733, 968] 9 x [120, 253, 592] 71 x [120, 855] 62 x [25, 265, 932] 10 x [73, 253, 592] 45 x [73, 828, 834] 30 x [712, 732, 789, 941] 28 x [208, 470, 570, 732, 998] 71 x [908, 923] 3 x [718, 923, 937, 941] 12 x [318, 383, 663, 699] 12 x [318, 353, 894, 944] 26 x [318, 613, 733, 744] 12 x [318, 470, 550, 826, 872] 25 x [160, 613, 733, 945] 16 x [127, 331, 587] 73 x [127, 989] 26 x [385, 762, 894, 945]