Build (method = -2) #dp: 2423151 Step-3' Graph: 34472 vertices and 103409 arcs (1214.29s) Step-4' Graph: 13517 vertices and 61499 arcs (1215.37s) #V4/#V3 = 0.39 #A4/#A3 = 0.59 Ready! (1215.37s) Optimize a model with 14517 rows, 61500 columns and 157470 nonzeros Presolve removed 328 rows and 334 columns Presolve time: 0.56s Presolved: 14189 rows, 61166 columns, 156476 nonzeros Variable types: 0 continuous, 61166 integer (539 binary) Optimize a model with 14189 rows, 61166 columns and 156476 nonzeros Presolved: 14189 rows, 61166 columns, 156476 nonzeros Root barrier log... Ordering time: 0.09s Barrier statistics: AA' NZ : 1.013e+05 Factor NZ : 4.455e+05 (roughly 30 MBytes of memory) Factor Ops : 3.807e+07 (less than 1 second per iteration) Threads : 1 Objective Residual Iter Primal Dual Primal Dual Compl Time 0 2.35115846e+08 -3.66151910e+08 7.97e+09 1.34e-01 3.35e+05 0s 1 4.17061949e+07 -2.65728537e+08 1.03e+09 1.67e-15 4.49e+04 0s 2 3.61688950e+06 -1.59251815e+08 8.03e+07 3.11e-15 4.48e+03 0s 3 5.84236946e+05 -4.13974668e+07 1.12e+07 1.95e-14 7.33e+02 0s 4 1.19959326e+05 -7.01463957e+06 1.33e+06 2.66e-14 9.86e+01 1s 5 7.88586343e+04 -2.49182025e+06 5.05e+05 2.22e-14 3.50e+01 1s 6 6.27787038e+04 -1.39425669e+06 2.13e+05 3.11e-14 1.75e+01 1s 7 5.52913758e+04 -7.92063986e+05 9.26e+04 2.26e-14 9.13e+00 1s 8 5.13345056e+04 -5.13693861e+05 3.34e+04 1.51e-14 5.29e+00 1s 9 4.94530362e+04 -2.34208652e+05 1.50e+04 6.88e-15 2.52e+00 1s 10 4.69429346e+04 -1.54015700e+05 5.96e+03 5.55e-15 1.70e+00 1s 11 4.20414779e+04 -1.00749154e+05 2.43e+03 3.89e-15 1.18e+00 1s 12 3.78684007e+04 -7.53022551e+04 1.79e+03 3.11e-15 9.35e-01 1s 13 3.41613760e+04 -4.00395048e+04 1.26e+03 2.00e-15 6.12e-01 1s 14 3.18946250e+04 -1.90095589e+04 9.82e+02 1.61e-15 4.19e-01 1s 15 2.77136160e+04 -1.11580177e+04 5.00e+02 1.84e-15 3.18e-01 1s 16 2.41797544e+04 1.89170410e+03 2.21e+02 1.75e-15 1.82e-01 1s 17 2.26791492e+04 1.26470491e+04 1.41e+02 1.23e-15 8.20e-02 1s 18 2.16714586e+04 1.51823146e+04 8.93e+01 1.55e-15 5.30e-02 1s 19 2.10271794e+04 1.72524710e+04 5.40e+01 1.46e-15 3.08e-02 1s 20 2.07201340e+04 1.83250206e+04 3.52e+01 1.77e-15 1.96e-02 1s 21 2.04246325e+04 1.90259816e+04 1.77e+01 1.48e-15 1.14e-02 2s 22 2.02611156e+04 1.96442086e+04 5.28e+00 1.32e-15 5.03e-03 2s 23 2.02327312e+04 2.00450687e+04 3.04e+00 1.42e-15 1.53e-03 2s 24 2.02086477e+04 2.00993457e+04 1.17e+00 1.77e-15 8.91e-04 2s 25 2.02067912e+04 2.01169727e+04 1.04e+00 1.96e-15 7.33e-04 2s 26 2.01974549e+04 2.01613572e+04 2.82e-01 1.84e-15 2.94e-04 2s 27 2.01942868e+04 2.01885199e+04 1.72e-02 1.46e-15 4.69e-05 2s 28 2.01937311e+04 2.01936250e+04 2.58e-04 1.42e-15 8.63e-07 2s 29 2.01937200e+04 2.01937199e+04 1.03e-08 1.46e-15 8.63e-10 2s 30 2.01937200e+04 2.01937200e+04 3.31e-10 1.53e-15 8.63e-13 2s Barrier solved model in 30 iterations and 2.13 seconds Optimal objective 2.01937200e+04 Root crossover log... 0 PPushes remaining with PInf 0.0000000e+00 9s Push phase complete: Pinf 0.0000000e+00, Dinf 4.3394401e+00 9s Root simplex log... Iteration Objective Primal Inf. Dual Inf. Time 22399 2.0193720e+04 0.000000e+00 0.000000e+00 9s 22399 2.0193720e+04 0.000000e+00 0.000000e+00 9s Root relaxation: objective 2.019372e+04, 22399 iterations, 9.08 seconds Total elapsed time = 19.38s Total elapsed time = 20.41s Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 20193.7200 0 1168 - 20193.7200 - - 29s H 0 0 20196.000000 20193.7200 0.01% - 36s 0 0 20193.7200 0 1596 20196.0000 20193.7200 0.01% - 46s H 0 0 20194.000000 20193.7200 0.00% - 48s Cutting planes: Gomory: 1 Zero half: 2 Explored 0 nodes (40034 simplex iterations) in 48.30 seconds Thread count was 1 (of 8 available processors) Optimal solution found (tolerance 0.00e+00) Best objective 2.019400000000e+04, best bound 2.019400000000e+04, gap 0.0% Preprocessing time: 1215.61 seconds Gurobi run time: 48.30 seconds Total run time: 1263.91 seconds Objective: 20194 Solution: 19 x [2, 378] 3 x [219, 261] 12 x [219, 932] 30 x [300, 718] 8 x [260, 472] 3 x [472, 653] 79 x [527, 932] 82 x [538, 706] 93 x [547, 653] 57 x [378, 572] 46 x [687, 718] 3 x [706, 805] 1 x [378, 845] 2 x [706, 845] 62 x [203, 879] 14 x [203, 981] 1 x [261, 981] 1 x [653, 981] 56 x [17, 283] 7 x [63, 724] 94 x [67, 807] 75 x [111, 596] 46 x [237, 319] 1 x [513, 724] 66 x [513, 887] 2 x [283, 636] 12 x [462, 642] 2 x [596, 656] 68 x [383, 664] 1 x [664, 724] 6 x [664, 807] 2 x [596, 674] 40 x [724, 757] 17 x [319, 815] 5 x [462, 815] 1 x [724, 815] 4 x [50, 79] 47 x [79, 334] 18 x [50, 125] 79 x [125, 851] 1 x [50, 290] 68 x [290, 785] 42 x [628, 865] 6 x [50, 856] 9 x [50, 913] 90 x [130, 913] 33 x [38, 782] 1 x [162, 398] 6 x [100, 162, 546] 5 x [178, 493] 79 x [178, 649] 2 x [178, 370, 686] 31 x [209, 925] 48 x [120, 339] 87 x [160, 358] 12 x [295, 358] 4 x [120, 535] 1 x [535, 782] 28 x [559, 686, 914] 1 x [295, 619] 2 x [509, 619] 6 x [199, 589, 619] 87 x [68, 619, 816] 1 x [68, 540, 619] 12 x [509, 728] 74 x [140, 728, 943] 11 x [101, 199, 765] 20 x [810, 925] 24 x [382, 910] 1 x [686, 910, 914] 38 x [398, 915] 29 x [398, 998] 5 x [61, 825] 89 x [141, 235] 1 x [141, 402] 44 x [213, 563] 12 x [213, 825] 43 x [149, 600] 6 x [402, 600] 1 x [402, 646] 4 x [646, 825] 58 x [720, 938] 58 x [285, 729] 9 x [729, 825] 63 x [118, 778] 27 x [402, 778] 17 x [21, 270] 20 x [80, 780] 10 x [99, 221] 66 x [132, 466] 2 x [166, 221] 84 x [166, 884] 3 x [159, 266] 1 x [266, 500] 26 x [266, 848] 11 x [16, 315] 3 x [16, 364] 35 x [243, 364] 2 x [270, 364] 10 x [379, 500] 9 x [395, 873] 20 x [486, 864] 52 x [569, 907] 69 x [500, 590] 55 x [98, 751] 62 x [754, 864] 2 x [579, 766] 24 x [766, 907] 91 x [414, 774] 2 x [774, 873] 43 x [417, 933] 1 x [466, 933] 1 x [579, 933] 5 x [49, 609, 639] 57 x [49, 208, 671] 5 x [156, 639, 916] 1 x [312, 593, 891] 57 x [211, 312, 580] 47 x [59, 380, 814] 15 x [496, 552, 874] 81 x [611, 618, 787] 28 x [146, 648, 700] 7 x [648, 747, 905] 2 x [593, 669, 776] 52 x [442, 669, 804] 81 x [557, 740, 916] 5 x [800, 874, 916] 27 x [599, 800, 967] 16 x [301, 338, 949] 1 x [624, 891, 951] 10 x [623, 914, 951] 72 x [9, 354] 17 x [40, 325, 841] 67 x [89, 381] 1 x [33, 174] 56 x [174, 863] 8 x [84, 174, 841] 52 x [194, 314] 1 x [194, 479] 4 x [194, 625, 826] 47 x [33, 230] 26 x [272, 747, 914] 75 x [232, 293] 11 x [293, 758, 798] 51 x [318, 903] 12 x [372, 686, 826] 1 x [530, 677] 94 x [530, 684] 4 x [530, 758, 849] 82 x [491, 583] 6 x [583, 747, 796] 73 x [411, 622] 1 x [622, 677] 71 x [762, 994] 37 x [479, 775] 2 x [381, 813] 8 x [753, 813] 1 x [813, 994] 34 x [753, 867] 42 x [44, 86] 21 x [44, 267] 54 x [70, 403] 20 x [70, 988] 86 x [115, 919] 1 x [262, 508] 6 x [262, 919] 53 x [262, 980] 13 x [262, 988] 1 x [508, 516] 78 x [516, 604] 3 x [516, 878] 21 x [461, 584] 45 x [584, 871] 8 x [267, 621] 34 x [508, 651] 100 x [242, 744] 87 x [862, 878] 37 x [180, 945] 12 x [461, 945] 8 x [878, 945] 63 x [26, 918] 4 x [26, 109, 401] 48 x [189, 478, 507] 3 x [186, 189, 890] 1 x [189, 347, 693] 68 x [253, 464] 7 x [244, 268] 29 x [145, 356, 406] 15 x [406, 553, 776] 48 x [39, 470] 1 x [313, 470, 678] 4 x [126, 470, 503] 2 x [452, 470, 671] 8 x [248, 473] 58 x [186, 473, 612] 18 x [244, 495] 31 x [464, 495] 68 x [594, 822] 8 x [148, 668] 28 x [668, 822] 1 x [553, 668, 891] 55 x [241, 755] 11 x [546, 755, 895] 51 x [71, 769] 4 x [4, 769, 895] 1 x [546, 769, 895] 82 x [248, 896] 18 x [401, 620, 906] 30 x [215, 890, 906] 72 x [64, 419] 52 x [153, 226] 17 x [240, 885] 59 x [252, 885] 41 x [437, 893] 1 x [437, 776, 883] 19 x [286, 487, 977] 5 x [85, 492, 944] 90 x [307, 515] 10 x [515, 614] 69 x [121, 537] 45 x [655, 676, 732] 5 x [226, 731] 35 x [531, 731] 1 x [731, 776, 977] 2 x [121, 741] 89 x [644, 741] 6 x [249, 732, 741] 83 x [10, 783] 3 x [3, 783, 883] 50 x [246, 888, 944] 29 x [663, 732, 999] 1 x [7, 409] 6 x [4, 7, 110] 15 x [13, 880] 11 x [137, 376, 546] 14 x [83, 205, 468] 57 x [291, 363] 33 x [291, 431] 93 x [96, 361] 1 x [361, 880] 5 x [18, 361, 546] 74 x [595, 797] 19 x [184, 468, 595] 1 x [376, 468, 595] 23 x [409, 750] 76 x [483, 827] 22 x [54, 184, 827] 6 x [431, 860] 51 x [860, 975] 2 x [54, 83, 860] 2 x [676, 840, 860] 29 x [18, 331, 954] 23 x [422, 840, 978] 25 x [144, 620, 690, 846] 46 x [167, 447] 20 x [196, 698] 2 x [196, 746] 2 x [196, 539, 546, 953] 37 x [303, 853] 43 x [310, 359, 539, 546] 56 x [346, 387] 9 x [408, 447] 65 x [332, 347, 408] 80 x [440, 698] 2 x [605, 853] 17 x [605, 662, 690, 704] 2 x [605, 721, 877, 953] 5 x [346, 834] 1 x [690, 834, 877, 953] 5 x [447, 926] 1 x [690, 904, 926, 953] 63 x [637, 941] 46 x [620, 721, 904, 973] 31 x [188, 704, 904, 979] 11 x [30, 809] 44 x [30, 592, 823] 95 x [51, 396] 1 x [51, 397, 812] 8 x [28, 65] 87 x [65, 220] 68 x [214, 734] 54 x [173, 375, 485] 4 x [197, 352, 375] 20 x [385, 475, 507] 7 x [385, 575, 592] 12 x [616, 734] 39 x [592, 616, 881] 2 x [28, 629] 66 x [629, 685] 4 x [142, 683] 2 x [385, 507, 683] 21 x [794, 809] 26 x [142, 992] 94 x [23, 42] 14 x [34, 126, 353] 83 x [45, 309] 38 x [55, 652] 5 x [48, 55, 331] 74 x [54, 56, 455] 5 x [42, 91] 17 x [91, 309] 3 x [91, 662, 908] 2 x [131, 987] 60 x [85, 131, 966] 48 x [93, 308] 13 x [308, 362] 19 x [326, 739] 13 x [326, 889, 953] 69 x [418, 501] 22 x [565, 647] 11 x [397, 647, 838] 1 x [501, 820] 1 x [54, 455, 820] 44 x [833, 987] 76 x [362, 843] 6 x [371, 876] 1 x [136, 838, 876] 1 x [592, 876, 900] 3 x [126, 353, 876] 17 x [25, 606] 6 x [25, 74, 140] 88 x [122, 450] 77 x [193, 548] 19 x [202, 548] 12 x [202, 216, 540] 73 x [223, 582] 74 x [259, 606] 55 x [113, 278, 528] 65 x [74, 289, 370] 5 x [217, 296] 1 x [296, 983] 14 x [458, 714] 29 x [113, 458, 540] 5 x [401, 458, 798] 5 x [450, 617] 15 x [481, 617] 1 x [617, 983] 7 x [407, 682] 22 x [165, 276, 682] 3 x [276, 682, 798] 52 x [216, 796, 818] 51 x [276, 844, 849] 8 x [377, 852] 2 x [451, 852] 1 x [216, 796, 852] 50 x [469, 946] 77 x [19, 129] 8 x [1, 19, 511] 15 x [147, 163] 11 x [274, 281] 57 x [274, 789] 11 x [281, 333] 39 x [333, 857] 99 x [343, 350] 50 x [155, 386] 3 x [386, 422, 777] 66 x [236, 441] 9 x [441, 776, 908] 6 x [281, 497] 82 x [424, 497] 2 x [497, 859] 15 x [168, 654] 59 x [654, 735] 12 x [168, 737] 85 x [269, 737] 25 x [62, 803] 3 x [163, 855] 4 x [168, 855] 1 x [350, 855] 11 x [859, 993] 54 x [773, 777, 993] 15 x [31, 186, 801] 3 x [94, 158] 1 x [94, 374] 87 x [94, 930] 76 x [102, 288] 12 x [102, 374] 90 x [124, 768] 5 x [124, 164, 554] 6 x [195, 282] 87 x [195, 519] 2 x [195, 485, 801] 51 x [324, 435] 12 x [151, 324, 749] 17 x [421, 430, 554] 92 x [446, 587] 3 x [329, 446, 829] 1 x [421, 446, 631] 27 x [273, 568, 586] 23 x [158, 578] 16 x [597, 854] 57 x [597, 829, 963] 34 x [134, 601] 42 x [282, 726] 79 x [781, 788] 1 x [114, 749, 781] 9 x [173, 428, 781] 49 x [489, 858] 11 x [485, 801, 858] 10 x [819, 958] 1 x [151, 801, 958] 1 x [143, 157] 15 x [143, 824] 5 x [143, 955] 9 x [183, 955] 27 x [183, 961] 27 x [190, 247] 10 x [247, 585] 44 x [294, 955] 81 x [298, 585] 67 x [330, 591] 1 x [157, 630] 14 x [233, 630] 21 x [351, 630] 88 x [128, 705] 77 x [725, 821] 3 x [128, 886] 5 x [591, 886] 17 x [821, 886] 56 x [251, 316, 423] 26 x [36, 279] 10 x [279, 341] 47 x [425, 505, 761] 32 x [482, 703] 3 x [482, 935] 7 x [177, 423, 482] 11 x [182, 534] 28 x [224, 505, 534] 63 x [598, 935] 6 x [341, 608] 81 x [88, 177, 608] 4 x [608, 635, 761] 1 x [182, 875] 25 x [421, 847, 875] 1 x [432, 761, 875] 75 x [882, 928] 5 x [423, 506, 882] 10 x [271, 581] 41 x [52, 305] 5 x [11, 390] 22 x [135, 390] 2 x [390, 581] 21 x [46, 602] 4 x [52, 602] 1 x [615, 640] 30 x [615, 989] 34 x [11, 657] 65 x [710, 760] 46 x [477, 742] 2 x [581, 742] 15 x [742, 760] 10 x [640, 968] 14 x [154, 711] 2 x [154, 716] 54 x [254, 335] 5 x [254, 716] 8 x [322, 709] 18 x [336, 711] 1 x [366, 709] 29 x [465, 709] 86 x [429, 526] 4 x [526, 716] 39 x [191, 560] 1 x [560, 716] 81 x [15, 830] 6 x [679, 830] 46 x [6, 692] 1 x [6, 24, 504] 5 x [6, 352, 678] 69 x [92, 831] 37 x [369, 529] 3 x [369, 831] 77 x [499, 899, 937] 2 x [8, 504, 551] 61 x [24, 551, 795] 4 x [352, 551, 898] 15 x [555, 661] 10 x [661, 934] 4 x [658, 661, 899] 39 x [169, 745] 8 x [24, 352, 745] 80 x [8, 866, 898] 34 x [564, 927] 86 x [588, 950] 1 x [8, 523, 950] 7 x [352, 542, 950] 55 x [292, 972] 3 x [292, 982] 38 x [532, 982] 1 x [667, 899, 982] 10 x [53, 506, 696] 54 x [53, 638, 770] 75 x [73, 404] 22 x [73, 231, 401] 62 x [100, 133, 520] 12 x [133, 250, 696] 57 x [22, 227] 8 x [100, 227, 405] 1 x [227, 391, 474] 18 x [264, 570, 761] 25 x [344, 996] 72 x [192, 365] 16 x [365, 996] 39 x [373, 793] 49 x [416, 506, 518] 2 x [100, 567, 786] 42 x [257, 273, 567] 1 x [659, 793] 1 x [490, 659, 761] 6 x [391, 659, 696] 1 x [100, 385, 707] 1 x [275, 667, 707] 8 x [275, 707, 937] 89 x [327, 658, 707] 73 x [323, 917] 20 x [638, 917, 923] 21 x [401, 506, 929] 77 x [391, 779, 929] 1 x [353, 786, 952] 1 x [250, 401, 952] 4 x [316, 518, 952] 86 x [688, 985] 13 x [224, 696, 985] 59 x [20, 76] 15 x [76, 152] 1 x [76, 510] 61 x [82, 607] 27 x [48, 82, 480] 8 x [175, 665] 1 x [175, 401, 505] 84 x [179, 463] 1 x [179, 480, 897] 5 x [179, 401, 923] 23 x [181, 712, 971] 87 x [212, 256] 4 x [256, 956] 1 x [256, 480, 897] 29 x [265, 712, 971] 35 x [152, 277] 60 x [207, 321] 1 x [321, 480, 897] 15 x [321, 356, 756] 18 x [206, 345] 21 x [368, 480, 897] 68 x [368, 723, 756] 7 x [48, 452, 543] 1 x [480, 543, 897] 52 x [641, 730] 79 x [348, 713] 11 x [95, 480, 713] 17 x [510, 790] 73 x [790, 894] 33 x [206, 911] 12 x [37, 47] 20 x [47, 117] 8 x [117, 576] 70 x [117, 892] 7 x [287, 870] 49 x [287, 991] 62 x [576, 870] 94 x [110, 561, 679] 74 x [545, 632, 736] 3 x [352, 455, 912] 1 x [455, 912, 971] 23 x [667, 835, 976] 1 x [455, 632, 976] 6 x [455, 672, 976] 25 x [523, 545, 976] 61 x [72, 743, 924] 5 x [72, 297, 376] 19 x [72, 297, 920] 27 x [135, 172, 376] 13 x [135, 376, 920] 42 x [172, 681, 763] 4 x [376, 763, 920] 2 x [105, 523, 817] 32 x [105, 672, 837] 1 x [105, 632, 868] 2 x [105, 908, 960] 1 x [198, 756, 908] 14 x [198, 802, 908] 59 x [388, 772, 817] 18 x [351, 801, 960] 20 x [351, 868, 890] 26 x [351, 868, 924] 1 x [351, 385, 786] 57 x [107, 643, 806] 2 x [456, 643, 990] 17 x [643, 806, 990] 17 x [889, 921, 990] 16 x [86, 229, 701] 21 x [86, 229, 921] 52 x [5, 32, 255] 28 x [32, 60, 299] 1 x [32, 393, 840] 13 x [32, 840, 942] 1 x [32, 355, 936] 61 x [75, 201, 306] 1 x [60, 201, 393] 5 x [201, 436, 840] 63 x [245, 393, 436] 20 x [355, 393, 936] 14 x [433, 840, 909] 4 x [334, 433, 936] 1 x [43, 433, 749] 23 x [691, 840, 909] 57 x [931, 942, 974] 3 x [235, 376, 931] 9 x [334, 936, 957] 36 x [689, 936, 957] 22 x [836, 936, 957] 7 x [16, 173, 235] 24 x [16, 218, 836] 2 x [16, 456, 836] 37 x [104, 228, 701] 40 x [104, 334, 701] 1 x [150, 228, 701] 27 x [14, 108, 150] 5 x [14, 150, 229] 22 x [81, 161, 367, 528] 16 x [81, 370, 453, 566] 22 x [1, 355, 454, 708] 2 x [1, 325, 355, 940] 4 x [301, 355, 457, 787] 2 x [126, 316, 353, 355] 6 x [126, 353, 355, 631] 75 x [367, 399, 427, 533] 3 x [185, 367, 426, 697] 39 x [328, 426, 457, 759] 2 x [66, 426, 488, 517] 4 x [161, 426, 849, 900] 3 x [103, 171, 448, 771] 1 x [171, 394, 448, 693] 33 x [12, 428, 448, 634] 5 x [66, 448, 533, 634] 64 x [103, 349, 484, 826] 56 x [1, 452, 603, 869] 13 x [48, 90, 114, 624] 72 x [90, 239, 360, 503] 8 x [90, 188, 340, 397, 890] 7 x [234, 620, 704, 877, 890] 14 x [126, 234, 353, 505] 4 x [78, 392, 467, 787] 38 x [78, 280, 467, 626] 1 x [123, 204, 467, 503] 1 x [347, 452, 541, 890] 20 x [541, 546, 562, 571, 890] 2 x [68, 123, 284, 596] 63 x [3, 123, 624, 828] 34 x [48, 443, 969, 997] 8 x [78, 185, 502, 997] 3 x [222, 337, 556, 747] 46 x [138, 222, 512, 792] 62 x [112, 261, 525, 965] 1 x [261, 284, 434, 914] 66 x [127, 225, 304, 702] 45 x [29, 459, 695, 747] 1 x [59, 434, 459, 796] 25 x [84, 127, 784, 791] 10 x [673, 702, 791, 808] 2 x [609, 701, 791, 874] 29 x [112, 410, 645, 861] 11 x [66, 434, 702, 861] 1 x [558, 673, 702, 861] 6 x [112, 263, 599, 984] 5 x [58, 127, 413, 984] 50 x [337, 471, 666, 984] 5 x [41, 43, 138, 618] 34 x [43, 69, 170, 439] 10 x [43, 320, 550, 849] 1 x [69, 119, 126, 338] 54 x [119, 384, 400, 708] 1 x [119, 738, 749, 905] 65 x [101, 311, 415, 962] 68 x [165, 284, 317, 749] 20 x [200, 353, 613, 764] 18 x [126, 210, 613, 804] 2 x [238, 613, 965, 1000] 81 x [392, 494, 574, 627] 59 x [41, 577, 699, 832] 2 x [494, 699, 874, 916] 1 x [101, 126, 550, 699] 74 x [66, 238, 722, 771] 5 x [69, 452, 811, 905] 18 x [427, 449, 759, 811] 4 x [400, 580, 663, 850] 14 x [503, 643, 850, 969] 59 x [200, 338, 752, 939] 3 x [200, 574, 792, 939] 60 x [14, 145, 187, 842] 3 x [14, 187, 787, 922] 5 x [14, 146, 573, 962] 2 x [57, 229, 593, 776] 22 x [3, 57, 229, 631] 17 x [302, 517, 959, 964] 2 x [357, 460, 965, 1000] 70 x [139, 357, 650, 808] 11 x [357, 556, 719, 748] 1 x [420, 444, 609, 1000] 82 x [444, 476, 498, 502] 7 x [444, 476, 645, 715] 30 x [35, 249, 514, 536] 8 x [342, 521, 536, 702] 2 x [536, 717, 965, 1000] 28 x [544, 670, 680, 715] 10 x [106, 544, 670, 872] 8 x [35, 549, 556, 738] 65 x [313, 412, 549, 610] 95 x [58, 77, 413, 660] 11 x [171, 573, 727, 759] 2 x [727, 959, 965, 1000] 66 x [106, 599, 727, 995] 34 x [521, 524, 558, 799] 1 x [471, 676, 748, 799] 12 x [557, 799, 872, 965] 5 x [77, 313, 471, 901] 43 x [445, 693, 717, 901] 1 x [353, 577, 872, 901] 19 x [27, 87, 197, 626] 71 x [27, 199, 258, 625] 14 x [87, 258, 412, 1000] 14 x [87, 263, 438, 708] 1 x [87, 522, 593, 891] 43 x [389, 438, 522, 767] 1 x [126, 353, 401, 438] 10 x [176, 332, 743, 902] 1 x [571, 633, 690, 743, 902] 3 x [704, 743, 846, 902, 953] 55 x [188, 633, 690, 902, 970] 8 x [421, 586, 895, 902] 19 x [164, 678, 902, 971] 46 x [397, 468, 571, 675, 948] 39 x [97, 786, 947, 948] 1 x [421, 554, 895, 948] 2 x [250, 635, 678, 948] 2 x [340, 397, 743, 953, 986] 5 x [126, 353, 947, 986] 52 x [359, 694, 733, 839, 908] 2 x [332, 452, 889, 908] 14 x [662, 704, 839, 889, 908] 1 x [733, 877, 889, 908, 953] 1 x [18, 421, 554, 970] 13 x [18, 273, 631, 970] 1 x [423, 761, 895, 970] 6 x [356, 840, 895, 960] 3 x [66, 109, 171, 620, 759, 849] 1 x [109, 116, 759, 849, 964]