Build (method = -2) #dp: 5071818 Step-3' Graph: 129793 vertices and 389372 arcs (1821.13s) Step-4' Graph: 25107 vertices and 180000 arcs (1824.31s) #V4/#V3 = 0.19 #A4/#A3 = 0.46 Ready! (1824.31s) Optimize a model with 26107 rows, 180001 columns and 489793 nonzeros Presolve removed 690 rows and 3294 columns Presolve time: 1.65s Presolved: 25417 rows, 176707 columns, 483562 nonzeros Variable types: 0 continuous, 176707 integer (2695 binary) Optimize a model with 25417 rows, 176707 columns and 483562 nonzeros Presolve removed 54 rows and 54 columns Presolved: 25363 rows, 176653 columns, 483636 nonzeros Root barrier log... Ordering time: 2.34s Barrier statistics: AA' NZ : 2.879e+05 Factor NZ : 2.025e+06 (roughly 100 MBytes of memory) Factor Ops : 5.171e+08 (less than 1 second per iteration) Threads : 1 Objective Residual Iter Primal Dual Primal Dual Compl Time 0 2.70381569e+08 -3.93295246e+08 3.73e+10 3.21e-01 4.54e+05 3s 1 4.29098730e+07 -3.32426499e+08 3.96e+09 1.73e-03 4.93e+04 4s 2 8.75275396e+06 -2.19771366e+08 7.89e+08 2.04e-14 1.04e+04 4s 3 9.51800318e+05 -8.75628055e+07 7.42e+07 4.88e-15 1.17e+03 4s 4 1.36875726e+05 -2.51885699e+07 5.85e+06 4.22e-15 1.40e+02 5s 5 1.00295680e+05 -9.46194579e+06 2.81e+06 7.11e-15 5.88e+01 5s 6 7.76194819e+04 -4.83549219e+06 1.22e+06 3.91e-14 2.73e+01 6s 7 7.14025523e+04 -4.02322733e+06 8.81e+05 3.38e-14 2.10e+01 6s 8 6.97057738e+04 -3.52201228e+06 7.98e+05 3.20e-14 1.85e+01 6s 9 6.50146157e+04 -2.88290480e+06 5.75e+05 3.38e-14 1.42e+01 7s 10 6.41147865e+04 -2.65167040e+06 5.32e+05 2.84e-14 1.31e+01 7s 11 5.92260643e+04 -2.37765622e+06 3.22e+05 2.31e-14 1.01e+01 7s 12 5.67531217e+04 -1.94667321e+06 2.39e+05 2.13e-14 7.97e+00 8s 13 5.37495942e+04 -1.60764057e+06 1.48e+05 2.04e-14 6.09e+00 8s 14 5.22617236e+04 -1.28503817e+06 1.06e+05 1.69e-14 4.73e+00 8s 15 5.14392185e+04 -9.17109596e+05 8.08e+04 1.24e-14 3.42e+00 9s 16 4.94411272e+04 -6.18116067e+05 3.87e+04 9.77e-15 2.18e+00 9s 17 4.68826765e+04 -3.74418967e+05 1.65e+04 6.44e-15 1.30e+00 9s 18 4.45422544e+04 -2.51720198e+05 1.27e+04 5.11e-15 9.09e-01 10s 19 4.28527402e+04 -1.92840342e+05 1.02e+04 3.89e-15 7.17e-01 10s 20 4.13301551e+04 -1.76511031e+05 8.00e+03 4.70e-15 6.55e-01 10s 21 3.97736611e+04 -1.29784196e+05 6.92e+03 4.88e-15 5.09e-01 11s 22 3.56650656e+04 -1.04660187e+05 4.23e+03 5.16e-15 4.13e-01 11s 23 3.41467221e+04 -9.16576156e+04 3.47e+03 5.04e-15 3.69e-01 11s 24 3.19941037e+04 -6.40125190e+04 2.45e+03 4.92e-15 2.79e-01 12s 25 2.98716000e+04 -3.45134581e+04 1.81e+03 4.62e-15 1.87e-01 12s 26 2.78291157e+04 -2.65765903e+04 1.22e+03 5.11e-15 1.57e-01 12s 27 2.71198559e+04 -1.82682139e+04 1.05e+03 4.88e-15 1.31e-01 13s 28 2.56549439e+04 -8.66988056e+03 7.09e+02 4.58e-15 9.85e-02 13s 29 2.44398580e+04 -8.71663480e+02 4.94e+02 4.12e-15 7.24e-02 14s 30 2.37336253e+04 5.22611051e+03 3.79e+02 4.06e-15 5.29e-02 14s 31 2.33956510e+04 6.82725295e+03 3.24e+02 4.76e-15 4.73e-02 14s 32 2.29720399e+04 9.83148443e+03 2.56e+02 4.89e-15 3.75e-02 15s 33 2.24878188e+04 1.21676672e+04 1.77e+02 4.57e-15 2.94e-02 15s 34 2.21957476e+04 1.40518822e+04 1.32e+02 4.60e-15 2.31e-02 15s 35 2.21474535e+04 1.53310024e+04 1.23e+02 4.56e-15 1.94e-02 16s 36 2.19554435e+04 1.61334572e+04 9.20e+01 5.59e-15 1.65e-02 16s 37 2.17885792e+04 1.66110737e+04 6.14e+01 5.58e-15 1.47e-02 16s 38 2.17223603e+04 1.77826708e+04 4.38e+01 4.91e-15 1.12e-02 17s 39 2.16812696e+04 1.86592041e+04 2.92e+01 4.74e-15 8.56e-03 17s 40 2.16580467e+04 1.88812210e+04 2.31e+01 5.87e-15 7.86e-03 17s 41 2.16253884e+04 1.98158990e+04 8.28e+00 4.59e-15 5.12e-03 18s 42 2.16188952e+04 2.10355918e+04 4.78e+00 3.15e-15 1.65e-03 18s 43 2.16108295e+04 2.13624463e+04 5.70e-01 3.11e-15 7.02e-04 18s 44 2.16100718e+04 2.14197668e+04 2.49e-01 3.54e-15 5.38e-04 19s 45 2.16090772e+04 2.16061584e+04 4.77e-04 3.04e-15 8.25e-06 19s 46 2.16090001e+04 2.16089972e+04 1.43e-09 3.69e-15 8.25e-09 19s 47 2.16090000e+04 2.16090000e+04 5.53e-10 3.17e-15 8.25e-12 20s Barrier solved model in 47 iterations and 19.80 seconds Optimal objective 2.16090000e+04 Root crossover log... 3683 DPushes remaining with DInf 0.0000000e+00 20s 0 DPushes remaining with DInf 9.5679002e+00 20s 136542 PPushes remaining with PInf 0.0000000e+00 20s 122747 PPushes remaining with PInf 0.0000000e+00 20s 83398 PPushes remaining with PInf 0.0000000e+00 25s 57241 PPushes remaining with PInf 0.0000000e+00 30s 36947 PPushes remaining with PInf 0.0000000e+00 35s 17153 PPushes remaining with PInf 0.0000000e+00 40s 0 PPushes remaining with PInf 0.0000000e+00 44s Push phase complete: Pinf 0.0000000e+00, Dinf 9.5679002e+00 44s Root simplex log... Iteration Objective Primal Inf. Dual Inf. Time 140227 2.1609000e+04 0.000000e+00 0.000000e+00 44s 140227 2.1609000e+04 0.000000e+00 0.000000e+00 45s Root relaxation: objective 2.160900e+04, 140227 iterations, 44.55 seconds Total elapsed time = 109.65s Total elapsed time = 146.55s Total elapsed time = 190.79s Total elapsed time = 255.61s Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 21609.0000 0 687 - 21609.0000 - - 337s H 0 0 21618.000000 21609.0000 0.04% - 993s 0 0 21609.0000 0 673 21618.0000 21609.0000 0.04% - 1016s H 0 0 21611.000000 21609.0000 0.01% - 1038s H 0 0 21609.000000 21609.0000 0.0% - 1070s Cutting planes: Gomory: 3 Zero half: 1 Explored 0 nodes (377064 simplex iterations) in 1070.16 seconds Thread count was 1 (of 8 available processors) Optimal solution found (tolerance 0.00e+00) Best objective 2.160900000000e+04, best bound 2.160900000000e+04, gap 0.0% Preprocessing time: 1825.01 seconds Gurobi run time: 1070.16 seconds Total run time: 2895.17 seconds Objective: 21609 Solution: 70 x [312, 545] 21 x [330, 335] 38 x [330, 904] 20 x [212, 330] 9 x [330, 553] 29 x [61, 283, 352] 1 x [352, 731] 37 x [740, 953] 64 x [704, 809] 13 x [661, 809] 32 x [79, 171] 25 x [171, 496] 27 x [171, 448, 956] 31 x [640, 725] 40 x [363, 725] 57 x [120, 383] 36 x [564, 943] 16 x [80, 881, 943] 1 x [731, 943] 33 x [148, 638, 982] 3 x [243, 300, 638] 9 x [190, 638, 953] 13 x [238, 638, 953] 4 x [392, 638, 936, 956] 1 x [128, 276, 815] 3 x [276, 570, 815] 7 x [430, 465, 923] 24 x [144, 465, 501] 3 x [380, 392, 465, 483] 37 x [44, 262, 798] 4 x [44, 448, 798] 12 x [44, 448, 881] 4 x [355, 953] 77 x [853, 960] 21 x [297, 960] 27 x [288, 994] 58 x [156, 912] 10 x [156, 190] 15 x [156, 688] 30 x [396, 859] 16 x [182, 859] 6 x [502, 694] 24 x [694, 759] 11 x [398, 979] 49 x [9, 979] 7 x [553, 979] 54 x [154, 246] 1 x [80, 246, 992] 1 x [246, 992] 73 x [221, 844] 2 x [46, 243, 547] 10 x [87, 877] 43 x [87, 383] 1 x [87, 297] 2 x [61, 87, 297] 4 x [80, 87, 243] 1 x [963] 69 x [481, 491] 3 x [325, 723] 1 x [325, 925] 2 x [325, 579, 889] 44 x [469, 811] 25 x [275, 570, 900] 41 x [33, 900, 936] 4 x [404, 900, 936] 59 x [242, 401, 807] 4 x [7, 243, 807] 2 x [275, 381, 753, 807] 14 x [74, 275, 324] 4 x [74, 275, 773] 7 x [74, 844, 992] 52 x [61, 74, 780] 7 x [74, 164, 243] 12 x [430, 434, 776] 1 x [434, 815, 840] 43 x [434, 902, 945] 5 x [70, 338, 434] 4 x [144, 166, 434] 1 x [243, 346, 756] 56 x [346, 387, 756] 38 x [346, 890, 992] 14 x [345, 982] 53 x [193, 345, 986] 17 x [286, 409] 62 x [332, 409] 57 x [529, 649] 13 x [195, 243, 649] 5 x [61, 649, 967] 24 x [243, 270, 649] 23 x [238, 327] 10 x [53, 642] 54 x [53, 441, 516] 6 x [53, 191] 74 x [119, 172] 60 x [297, 969] 27 x [111, 275, 832] 11 x [111, 858, 974] 23 x [516, 554, 611] 5 x [661, 942] 6 x [61, 480, 992] 6 x [2, 396] 2 x [243, 850] 14 x [317, 850] 45 x [620, 850] 23 x [446, 624, 992] 12 x [20, 430, 624] 23 x [275, 282, 624] 11 x [560, 624, 815] 30 x [193, 454, 986] 1 x [448, 454, 986] 27 x [259, 392, 454] 26 x [165, 454, 991] 3 x [144, 454] 9 x [333, 600] 28 x [482, 653] 3 x [70, 594, 653, 753] 2 x [430, 653, 753, 815] 1 x [90, 873, 902] 1 x [90, 873, 936] 9 x [380, 392, 873] 19 x [283, 873, 922] 44 x [369, 873, 991] 46 x [251, 259, 881] 7 x [556, 864, 928] 23 x [8, 479] 14 x [191, 259, 512] 22 x [512, 798, 881] 41 x [308, 441, 512] 47 x [547, 582] 59 x [217, 536] 15 x [240, 426] 18 x [288, 426] 12 x [426, 553] 42 x [35, 941] 14 x [29, 428] 31 x [29, 502] 24 x [20, 893] 39 x [592, 780] 37 x [722, 981] 55 x [40, 660] 13 x [502, 660] 28 x [611, 660] 14 x [184, 848] 26 x [157, 184] 43 x [148, 184, 874] 13 x [556, 951] 47 x [57, 712, 951] 10 x [215, 913] 77 x [16, 215] 10 x [118, 219] 63 x [681, 690] 13 x [243, 262, 681] 48 x [86, 918] 14 x [86, 190] 2 x [502, 783] 22 x [583, 783] 93 x [425, 892] 34 x [655, 704] 57 x [759, 876] 49 x [354, 687] 2 x [354, 640] 30 x [192, 354] 44 x [351, 475] 47 x [351, 553] 28 x [107, 797] 40 x [688, 797] 1 x [169, 797] 19 x [212, 907] 41 x [11, 414] 27 x [356, 414] 19 x [414, 941] 18 x [613, 949] 19 x [335, 613] 8 x [504, 613] 5 x [517, 613] 14 x [337, 669] 9 x [600, 669] 2 x [125, 547, 669] 28 x [160, 362] 11 x [160, 984] 46 x [580, 896] 67 x [75, 112] 1 x [112, 502] 17 x [112, 864, 896] 13 x [191, 239, 380, 708] 2 x [392, 708, 956] 10 x [380, 392, 708] 28 x [125, 396, 962] 60 x [371, 537] 1 x [356, 470, 543] 31 x [50, 470, 685] 2 x [57, 470, 981] 7 x [470, 685, 981] 1 x [274, 323, 470] 12 x [197, 470, 803] 1 x [470, 803] 13 x [57, 141, 422] 7 x [422, 537, 683] 39 x [422, 683, 981] 10 x [57, 192, 422] 11 x [422, 429, 547] 2 x [57, 422] 3 x [289, 367] 23 x [49, 324] 19 x [43, 543, 844] 15 x [43, 328, 544] 5 x [43, 553] 29 x [43, 262, 448, 543] 5 x [38, 886] 4 x [300, 886] 16 x [191, 239, 380, 886] 30 x [197, 870] 28 x [54, 831] 12 x [274, 328, 831] 26 x [189, 831, 885] 12 x [90, 831, 967] 1 x [262, 814, 831] 69 x [166, 569] 84 x [208, 693] 7 x [208, 982] 11 x [457, 481, 677] 1 x [677, 846, 896] 13 x [677, 846, 974] 15 x [452, 476, 677] 26 x [476, 677, 803] 11 x [77, 685, 786] 6 x [77, 323, 945] 13 x [77, 411, 570] 13 x [77, 666, 832] 7 x [77, 476, 803] 11 x [77, 501, 803] 27 x [77, 536, 556] 6 x [77, 556, 579] 11 x [304, 479] 29 x [51, 304] 44 x [103, 304] 3 x [304, 516] 16 x [571, 957] 40 x [544, 957] 17 x [59, 964] 80 x [59, 610] 2 x [730, 999] 37 x [560, 730] 21 x [358, 964] 35 x [358, 556] 10 x [338, 416, 889] 14 x [280, 466, 814] 41 x [418, 849] 33 x [227, 764, 984] 10 x [666, 764, 832] 3 x [103, 764, 832] 2 x [901, 999] 28 x [666, 961] 33 x [153, 356] 4 x [135, 984] 41 x [241, 846] 68 x [549, 877] 39 x [407, 865] 38 x [206, 271] 48 x [338, 762] 14 x [90, 460] 21 x [460, 698] 23 x [460, 944] 2 x [781, 903] 60 x [1, 781] 7 x [781, 982] 17 x [544, 765] 26 x [141, 218, 899] 37 x [141, 218, 683] 16 x [219, 650, 858] 1 x [650, 786] 27 x [286, 650, 864] 31 x [342, 548, 650] 7 x [457, 590, 650] 6 x [216, 224] 3 x [177, 224] 8 x [224, 557] 63 x [198, 216] 5 x [622, 868] 4 x [32, 868] 54 x [421, 868] 35 x [248, 501, 803] 2 x [126, 248] 20 x [70, 248, 381, 753, 972] 24 x [273, 338] 68 x [273, 472] 5 x [110, 778] 30 x [110, 242] 23 x [404, 517, 883] 26 x [38, 243, 966] 60 x [162, 342, 640] 28 x [30, 775] 33 x [30, 846] 7 x [78, 219] 14 x [78, 826] 47 x [31, 300] 18 x [292, 442] 36 x [292, 799] 35 x [292, 964] 69 x [89, 862] 2 x [89, 892] 10 x [89, 194, 517] 7 x [408, 987] 72 x [872, 987] 20 x [830, 987] 17 x [173, 682] 42 x [173, 177] 1 x [173, 913] 19 x [173, 277, 841] 12 x [173, 841, 885] 6 x [173, 841] 66 x [281, 600] 49 x [17, 374] 16 x [17, 975] 35 x [17, 82, 103] 2 x [464, 880] 19 x [464, 786, 891] 5 x [342, 464, 786] 2 x [457, 464, 786] 33 x [192, 464, 908] 9 x [262, 448, 464] 73 x [83, 748] 2 x [608, 880] 11 x [726, 846] 41 x [91, 726] 17 x [194, 719, 726] 6 x [194, 726, 755] 78 x [138, 142] 2 x [142, 190, 518] 52 x [446, 473] 9 x [166, 473] 28 x [280, 316] 12 x [316, 975] 5 x [69, 316, 703] 4 x [201, 316, 456, 547] 1 x [123, 539] 1 x [397, 553] 23 x [134, 411, 817] 72 x [128, 134, 813] 8 x [155, 326] 18 x [155, 255] 5 x [155, 367] 7 x [82, 822, 880] 7 x [262, 448, 822] 4 x [262, 411, 448, 822] 5 x [388, 563, 703] 12 x [99, 517, 563] 5 x [537, 563, 703] 4 x [563, 709, 813] 20 x [232, 279] 31 x [279, 368] 37 x [99, 411, 468] 10 x [82, 468, 791] 8 x [468, 537, 813] 60 x [364, 710] 12 x [364, 906] 5 x [364, 382] 1 x [364, 888] 19 x [257, 539] 56 x [206, 257] 3 x [257, 600] 11 x [137, 384] 16 x [137, 906] 37 x [137, 663] 1 x [137, 808] 7 x [99, 440] 92 x [314, 440] 5 x [313, 388] 36 x [90, 182, 614] 68 x [498, 602] 19 x [498, 768] 41 x [382, 958] 6 x [866, 958] 28 x [898, 917] 34 x [882, 917] 37 x [18, 812] 19 x [82, 125, 307, 884] 4 x [80, 307] 32 x [575, 768] 1 x [678, 703, 832] 47 x [678, 814, 874] 11 x [131, 769, 841] 3 x [479, 769, 993] 15 x [769, 830, 993] 94 x [866, 887] 57 x [711, 940] 5 x [378, 940] 22 x [260, 940] 12 x [940, 999] 30 x [274, 857, 927] 21 x [857, 927, 939] 7 x [13, 165, 927, 936, 972] 6 x [13, 532, 902, 927, 972] 2 x [13, 927, 936, 972] 21 x [165, 532, 927, 936, 972] 2 x [259, 381, 753, 927, 972] 1 x [381, 753, 927, 972] 74 x [607, 674] 3 x [674, 703, 832] 21 x [285, 562] 24 x [319, 474] 82 x [67, 540] 6 x [67, 216] 19 x [4, 372] 1 x [4, 906] 29 x [885, 995] 57 x [661, 995] 8 x [748, 995] 73 x [691, 998] 46 x [321, 539, 760] 39 x [131, 321, 954] 20 x [220, 334, 768] 31 x [334, 770] 48 x [334, 836, 854] 20 x [389, 841, 880] 9 x [389, 999] 3 x [389, 421] 5 x [389, 547, 576] 77 x [203, 919] 40 x [667, 738] 57 x [612, 742] 11 x [612, 749, 841] 17 x [367, 418, 612] 9 x [568, 700] 21 x [551, 568, 713] 5 x [264, 898] 70 x [700, 835] 2 x [38, 186] 59 x [56, 305] 13 x [56, 701] 12 x [666, 719, 861] 35 x [590, 861, 993] 1 x [854, 861] 11 x [712, 854, 861] 14 x [99, 114] 71 x [114, 158] 3 x [114, 537] 26 x [247, 274] 20 x [170, 997] 29 x [45, 555] 38 x [326, 555] 6 x [27, 913] 5 x [27, 754, 792] 1 x [68, 976] 71 x [301, 315] 9 x [212, 315] 12 x [90, 315, 748] 30 x [6, 990] 18 x [662, 990] 32 x [609, 990] 11 x [701, 990] 82 x [146, 635] 17 x [146, 842] 39 x [559, 689] 54 x [789, 855] 24 x [789, 997] 10 x [205, 266, 924] 44 x [205, 370] 24 x [205, 551, 996] 3 x [800, 897] 4 x [700, 800] 58 x [10, 800] 35 x [71, 593] 18 x [38, 593] 41 x [42, 898] 57 x [42, 105] 28 x [167, 630] 5 x [572, 630] 1 x [630, 691] 45 x [159, 630] 15 x [200, 630] 18 x [55, 202] 25 x [202, 627] 21 x [202, 386] 17 x [566, 589] 65 x [566, 741, 959] 33 x [631, 743] 22 x [743, 950] 2 x [220, 667, 743] 31 x [226, 743] 4 x [220, 743] 31 x [676, 980] 14 x [825, 980] 2 x [287] 6 x [244, 287, 836] 1 x [244, 287] 30 x [212, 287, 915] 38 x [418, 750] 5 x [628, 821] 25 x [552, 821, 852] 3 x [152, 821, 930] 4 x [821, 930] 36 x [522, 860] 31 x [305, 525] 22 x [116, 136] 32 x [136, 804] 49 x [245, 659] 24 x [245, 804] 15 x [245, 530] 58 x [255, 746] 61 x [36, 373] 21 x [36, 825] 76 x [477, 623] 5 x [301, 459, 930] 4 x [459, 481] 4 x [459, 481, 533] 3 x [220, 459, 545] 10 x [220, 459, 600] 2 x [190, 459, 841] 10 x [200, 492, 946] 3 x [492, 989] 18 x [492, 741, 989] 3 x [492, 552, 930] 27 x [48, 274, 533] 23 x [113, 790] 3 x [113, 676] 11 x [113, 458, 517] 32 x [113, 140, 959] 4 x [113, 517] 42 x [587, 952] 17 x [587, 646] 2 x [587, 676] 1 x [62, 587] 27 x [438, 458, 587] 9 x [140, 587, 787] 1 x [106, 559] 17 x [84, 755, 808, 854] 2 x [541, 825] 8 x [541, 898] 22 x [526, 856, 1000] 25 x [150, 602, 754] 8 x [393, 919] 16 x [68, 393] 31 x [200, 375, 393] 2 x [32, 744] 45 x [194, 244, 744] 22 x [719, 744, 755] 19 x [744, 755, 954] 1 x [115, 744, 967] 26 x [310, 562] 1 x [131, 310] 8 x [101, 201, 310, 447] 49 x [784, 965] 64 x [721, 833] 17 x [623, 721] 79 x [290, 796] 5 x [634, 705] 1 x [634, 919] 48 x [634, 714] 4 x [628, 634] 13 x [622, 634] 38 x [22, 63, 770] 7 x [578, 795, 930] 22 x [361, 647, 795] 55 x [576, 647, 795] 4 x [274, 795] 7 x [368, 795, 964] 31 x [306, 656] 5 x [656, 720, 814] 14 x [326, 606] 58 x [124, 875] 8 x [124, 201, 447, 856] 33 x [382, 542, 561] 24 x [269, 559] 11 x [269, 810] 6 x [269, 823] 31 x [558, 724] 31 x [745, 804, 915] 45 x [589, 745] 5 x [201, 456, 668, 946] 63 x [319, 847] 7 x [621, 847, 925] 26 x [471, 701] 54 x [151, 734] 5 x [151, 720, 788] 52 x [214, 851] 21 x [439, 596] 1 x [415, 439, 810] 14 x [415, 439, 667] 24 x [214, 439, 996] 10 x [433, 617, 735] 14 x [18, 239, 617] 46 x [406, 617] 32 x [542, 682, 728] 18 x [645, 728, 884] 26 x [88, 442, 534] 33 x [175, 774, 914] 10 x [318, 720, 774] 28 x [268, 432, 774] 5 x [185, 239, 663] 10 x [185, 239] 19 x [619, 648] 69 x [648, 810] 51 x [451, 670] 42 x [210, 670] 5 x [201, 405, 456, 670] 48 x [39, 431] 27 x [486, 749] 23 x [210, 658] 9 x [658, 965] 35 x [268, 458, 658] 14 x [399, 658] 12 x [658, 838] 17 x [417, 843] 74 x [41, 599] 17 x [63, 588, 796] 1 x [284, 588, 996] 38 x [336, 433, 588] 29 x [12, 588, 754] 8 x [542, 553, 588] 7 x [37, 98, 201, 447] 31 x [37, 706, 830] 4 x [503, 605, 889, 932] 10 x [368, 884, 932] 1 x [816, 909] 46 x [514, 816] 64 x [497, 665] 6 x [189, 497] 59 x [455, 978] 27 x [455, 458, 552] 20 x [194, 296, 506, 713] 4 x [296, 361] 8 x [119, 296, 361] 22 x [129, 261, 621] 15 x [261, 421] 15 x [252, 261, 904] 15 x [76, 696] 3 x [213, 431] 59 x [199, 233] 13 x [233, 997] 23 x [234, 546] 45 x [522, 546] 6 x [546, 602] 38 x [747, 869] 19 x [747, 909] 29 x [675, 747] 8 x [132, 431] 32 x [528, 679] 53 x [528, 727] 6 x [201, 412, 664, 757] 4 x [90, 190, 757] 3 x [90, 748, 757] 31 x [377, 895] 9 x [424, 895] 15 x [268, 667, 895] 25 x [518, 895, 933] 3 x [102, 201, 227, 895] 1 x [102, 201, 447, 895] 30 x [231, 717] 13 x [410, 437] 4 x [24, 543, 605, 761] 10 x [24, 739, 915] 58 x [24, 69] 15 x [24, 239, 591] 38 x [291, 423, 557] 57 x [96, 309] 3 x [225, 909] 34 x [291, 645, 920] 21 x [379, 437] 47 x [402, 973] 3 x [359, 911] 55 x [359, 450] 34 x [632, 705] 8 x [632, 729, 825] 5 x [305, 632, 825] 20 x [909, 934] 69 x [819, 934] 10 x [65, 837] 18 x [230, 403] 29 x [230, 754, 779] 32 x [209, 237] 37 x [209, 527] 29 x [199, 209] 26 x [92, 644] 13 x [28, 644] 6 x [122, 644] 10 x [163, 929] 76 x [348, 584] 10 x [348, 558] 18 x [152, 258, 326] 16 x [258, 862, 884] 4 x [183, 751] 5 x [272, 751] 1 x [616] 15 x [616, 715] 44 x [145, 766] 15 x [863, 916] 9 x [149, 595, 729, 946] 61 x [149, 574, 729] 23 x [149, 621, 667, 946] 3 x [598, 935] 46 x [220, 715, 867] 3 x [100, 810, 867] 13 x [415, 700, 867] 7 x [415, 749, 867] 12 x [415, 867, 937] 23 x [499, 550] 33 x [499, 531] 3 x [25, 449] 11 x [60, 449] 8 x [267, 449] 33 x [117, 449] 32 x [188, 510] 17 x [25, 188] 45 x [47, 188] 10 x [444, 771] 5 x [163, 771] 35 x [329, 636] 56 x [183, 636] 21 x [130, 196] 2 x [211, 418, 605, 889] 42 x [462, 911] 19 x [183, 462] 71 x [303, 820] 9 x [550, 820] 11 x [303, 565] 17 x [181, 845] 33 x [827, 911] 42 x [827, 968] 2 x [3, 201, 232, 456, 523] 4 x [3, 201, 456, 523] 1 x [433, 523, 806] 50 x [73, 752] 18 x [73, 93] 22 x [143, 805] 25 x [143, 520] 25 x [236, 521] 18 x [163, 488] 32 x [485, 875, 930] 18 x [485, 682] 44 x [485, 513] 60 x [863, 955] 46 x [353, 415, 417] 6 x [64, 201, 353, 456, 946] 3 x [353, 903] 34 x [353, 513, 686] 17 x [267, 737, 878] 41 x [15, 716] 26 x [15, 413] 21 x [15, 845] 6 x [15, 76, 737] 7 x [201, 456, 557, 818] 8 x [301, 394, 930] 80 x [147, 394] 10 x [394, 469] 10 x [180, 752] 15 x [573, 752] 17 x [567, 884, 903] 1 x [88, 295, 567] 3 x [403, 567] 55 x [652, 672] 16 x [672, 733] 6 x [293, 419, 983] 1 x [505, 770] 37 x [179, 340] 19 x [340, 420] 30 x [365, 705] 60 x [365, 578] 4 x [210, 365, 509] 22 x [278, 376, 538] 2 x [163, 175, 376] 76 x [21, 376] 1 x [133, 814, 845] 22 x [133, 318, 785] 4 x [133, 814, 875] 6 x [133, 201, 456, 768, 788] 37 x [133, 433, 503, 788] 33 x [88, 96, 344] 5 x [201, 344, 456, 925] 44 x [121, 581] 35 x [222, 581] 18 x [521, 581] 19 x [637, 654, 737] 61 x [175, 695, 785] 4 x [318, 695, 785] 72 x [109, 127] 12 x [127, 339, 834] 22 x [81, 341] 38 x [81, 997] 2 x [81, 253] 34 x [478, 615] 2 x [550, 615] 44 x [152, 357, 391] 23 x [152, 357, 715] 7 x [161, 254, 983] 95 x [139, 320] 4 x [139, 557, 605, 864] 8 x [85, 420] 22 x [278, 343, 500] 36 x [130, 343] 12 x [343, 633, 654] 3 x [231, 343, 509] 4 x [267, 343, 509] 3 x [253, 343, 431] 9 x [41, 343, 777] 1 x [343, 777] 4 x [343, 509] 30 x [222, 299] 9 x [93, 299] 12 x [366, 489, 514] 37 x [586, 657] 29 x [318, 603, 921] 16 x [788, 879, 921] 14 x [509, 654, 921] 30 x [76, 702, 921] 8 x [210, 509, 921] 6 x [360, 732] 5 x [524, 732, 983] 2 x [463, 524, 732] 39 x [272, 531, 601] 1 x [467, 692] 37 x [420, 718] 30 x [235, 718] 7 x [3, 187, 201, 456] 42 x [187, 197] 19 x [187, 469, 884] 12 x [427, 938] 28 x [515, 938] 58 x [256, 938] 22 x [639, 977] 25 x [639, 772] 53 x [302, 639, 834] 17 x [263, 782] 5 x [263, 618, 633] 19 x [253, 263, 931] 17 x [26, 263, 347] 20 x [263, 490, 834] 4 x [263, 339, 834] 3 x [484, 586] 31 x [93, 484] 21 x [484, 767, 839] 2 x [347, 484, 839] 60 x [228, 626] 57 x [178, 461] 5 x [253, 461, 531] 17 x [487, 707] 72 x [427, 794] 17 x [420, 794] 11 x [52, 680] 28 x [52, 436, 983] 38 x [52, 311, 419] 32 x [250, 294, 347] 56 x [161, 294, 463] 29 x [176, 350, 983] 12 x [249, 268, 558] 7 x [249, 322] 21 x [249, 852, 865] 45 x [32, 249, 836] 4 x [249, 361] 3 x [80, 249, 438, 832] 4 x [82, 125, 249] 12 x [19, 467] 67 x [19, 253, 829] 14 x [19, 489, 514] 4 x [445, 493] 40 x [5, 925, 947] 33 x [385, 684] 5 x [272, 453, 736] 16 x [272, 453, 520] 16 x [435, 437, 453] 48 x [437, 453, 905] 8 x [463, 758, 772] 12 x [26, 400, 758] 19 x [339, 758, 801] 9 x [298, 339, 758] 22 x [331, 626] 5 x [97, 161, 311] 36 x [625, 793] 31 x [487, 793] 15 x [445, 793] 66 x [3, 94, 641] 4 x [265, 772, 834] 1 x [250, 265, 400] 10 x [265, 339, 443] 2 x [108, 265, 339] 2 x [3, 201, 456, 720, 763] 84 x [295, 519] 7 x [229, 633, 766] 4 x [229, 633, 785] 21 x [229, 417, 737] 12 x [229, 231, 833] 33 x [88, 95, 229] 21 x [115, 229, 787, 967] 18 x [802, 894] 13 x [23, 983, 985] 31 x [176, 390, 985] 16 x [508, 828, 985] 19 x [168, 828, 985] 3 x [801, 828, 985] 39 x [390, 772, 948] 19 x [250, 400, 948] 35 x [250, 509, 948] 5 x [633, 766, 824] 2 x [92, 633, 824] 1 x [58, 223, 824] 2 x [223, 824, 833] 64 x [204, 572, 824] 12 x [58, 824, 988] 7 x [174, 207] 16 x [495, 597, 720] 8 x [100, 431, 495] 2 x [444, 671, 720] 2 x [94, 163, 671] 4 x [3, 76, 318, 671] 41 x [76, 182, 671] 10 x [3, 201, 328, 671, 971] 1 x [671, 720] 6 x [349, 467, 814] 12 x [349, 435, 507] 7 x [395, 629, 863] 4 x [395, 500, 629] 8 x [58, 231, 395] 10 x [395, 402, 489] 16 x [14, 267, 489] 8 x [66, 626] 5 x [66, 72, 521] 50 x [66, 801, 839] 1 x [66, 524] 64 x [673, 684] 25 x [651, 926] 47 x [174, 625] 9 x [174, 298, 604] 18 x [802, 926] 5 x [500, 643, 777] 14 x [500, 511, 643] 16 x [489, 643, 988] 8 x [272, 494, 910] 26 x [278, 494, 910] 28 x [777, 871, 910] 34 x [231, 777, 910] 6 x [625, 802] 38 x [618, 727, 802] 7 x [802, 837, 931] 12 x [339, 802, 837] 31 x [494, 585, 737] 1 x [47, 679, 684] 13 x [435, 736, 970] 51 x [697, 806, 970] 3 x [806, 852, 970] 9 x [239, 806, 852, 970] 13 x [5, 699, 970] 18 x [163, 572, 577] 3 x [34, 298, 736] 16 x [34, 267, 675] 2 x [34, 253] 8 x [34, 804] 33 x [34, 104, 526] 8 x [34, 610, 996] 60 x [360, 436, 524] 5 x [161, 360, 524] 20 x [26, 586, 752] 19 x [26, 586, 598] 8 x [26, 531, 586] 5 x [419, 478, 535] 48 x [419, 478, 598] 19 x [176, 222, 521] 13 x [161, 598, 733] 3 x [161, 176, 550] 39 x [93, 550, 618]