Build (method = -2) #dp: 2016569 Step-3' Graph: 32608 vertices and 97817 arcs (958.08s) Step-4' Graph: 11964 vertices and 56529 arcs (959.06s) #V4/#V3 = 0.37 #A4/#A3 = 0.58 Ready! (959.06s) Optimize a model with 12964 rows, 56530 columns and 145666 nonzeros Presolve removed 312 rows and 323 columns Presolve time: 0.60s Presolved: 12652 rows, 56207 columns, 144692 nonzeros Variable types: 0 continuous, 56207 integer (159 binary) Optimize a model with 12652 rows, 56207 columns and 144692 nonzeros Presolved: 12652 rows, 56207 columns, 144692 nonzeros Root barrier log... Ordering time: 0.08s Barrier statistics: AA' NZ : 9.250e+04 Factor NZ : 3.936e+05 (roughly 30 MBytes of memory) Factor Ops : 3.191e+07 (less than 1 second per iteration) Threads : 1 Objective Residual Iter Primal Dual Primal Dual Compl Time 0 1.78866584e+08 -2.90722192e+08 2.77e+09 9.16e-02 2.48e+05 0s 1 3.11158450e+07 -1.97366171e+08 3.44e+08 1.11e-15 3.18e+04 0s 2 2.75569588e+06 -1.16880552e+08 2.70e+07 1.31e-14 3.29e+03 0s 3 3.25242327e+05 -2.86040709e+07 2.62e+06 8.53e-14 4.46e+02 0s 4 1.00886331e+05 -4.94684880e+06 4.45e+05 1.24e-14 7.30e+01 0s 5 7.01037906e+04 -2.09985666e+06 1.70e+05 1.07e-14 2.93e+01 1s 6 5.91204592e+04 -1.14070678e+06 7.84e+04 1.20e-14 1.50e+01 1s 7 5.30564668e+04 -4.41024094e+05 3.26e+04 1.49e-14 5.86e+00 1s 8 5.01912809e+04 -2.58065589e+05 1.34e+04 8.88e-15 3.20e+00 1s 9 4.77144488e+04 -1.57262128e+05 3.38e+03 5.44e-15 1.90e+00 1s 10 4.36615552e+04 -1.02836411e+05 9.57e+02 3.77e-15 1.32e+00 1s 11 3.89976049e+04 -7.95660206e+04 5.84e+02 3.11e-15 1.06e+00 1s 12 3.50588300e+04 -4.69785761e+04 3.98e+02 2.08e-15 7.32e-01 1s 13 3.27657378e+04 -2.60256175e+04 3.05e+02 1.97e-15 5.24e-01 1s 14 2.94144315e+04 -1.20053066e+04 1.97e+02 2.11e-15 3.68e-01 1s 15 2.60464292e+04 -5.97827216e+02 9.49e+01 1.95e-15 2.36e-01 1s 16 2.44641018e+04 5.16419295e+03 6.73e+01 2.03e-15 1.71e-01 1s 17 2.34064270e+04 1.18467748e+04 4.91e+01 1.97e-15 1.03e-01 1s 18 2.18175460e+04 1.70191338e+04 2.14e+01 1.78e-15 4.26e-02 1s 19 2.12955554e+04 1.89861532e+04 1.21e+01 1.65e-15 2.05e-02 1s 20 2.10403315e+04 1.95564313e+04 7.58e+00 1.76e-15 1.32e-02 1s 21 2.09422566e+04 1.99278986e+04 5.73e+00 1.62e-15 9.00e-03 1s 22 2.08135614e+04 2.01410860e+04 3.36e+00 1.80e-15 5.96e-03 1s 23 2.07138514e+04 2.03576528e+04 1.22e+00 1.89e-15 3.16e-03 1s 24 2.06975606e+04 2.04626989e+04 9.16e-01 1.78e-15 2.08e-03 2s 25 2.06793866e+04 2.05320592e+04 4.99e-01 1.67e-15 1.30e-03 2s 26 2.06721691e+04 2.05710026e+04 3.51e-01 1.82e-15 8.96e-04 2s 27 2.06602485e+04 2.06014039e+04 1.52e-01 1.73e-15 5.21e-04 2s 28 2.06570034e+04 2.06074783e+04 1.12e-01 2.03e-15 4.38e-04 2s 29 2.06531169e+04 2.06225027e+04 7.34e-02 1.80e-15 2.71e-04 2s 30 2.06526868e+04 2.06280657e+04 6.87e-02 2.07e-15 2.18e-04 2s 31 2.06514514e+04 2.06400965e+04 3.04e-02 1.96e-15 1.01e-04 2s 32 2.06500832e+04 2.06479827e+04 5.60e-03 1.57e-15 1.86e-05 2s 33 2.06496350e+04 2.06496206e+04 1.30e-05 1.62e-15 1.28e-07 2s 34 2.06496333e+04 2.06496333e+04 1.36e-08 1.22e-14 2.43e-13 2s Barrier solved model in 34 iterations and 2.09 seconds Optimal objective 2.06496333e+04 Root crossover log... 0 PPushes remaining with PInf 0.0000000e+00 6s Push phase complete: Pinf 0.0000000e+00, Dinf 9.7588019e+00 6s Root simplex log... Iteration Objective Primal Inf. Dual Inf. Time 20783 2.0649633e+04 0.000000e+00 0.000000e+00 6s 20783 2.0649633e+04 0.000000e+00 0.000000e+00 6s Root relaxation: objective 2.064963e+04, 20783 iterations, 6.17 seconds Total elapsed time = 17.62s Total elapsed time = 20.57s Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 20649.6333 0 129 - 20649.6333 - - 27s H 0 0 20651.000000 20649.6333 0.01% - 33s 0 0 20649.6333 0 116 20651.0000 20649.6333 0.01% - 41s 0 0 20649.6667 0 29 20651.0000 20649.6667 0.01% - 46s 0 0 20649.6667 0 362 20651.0000 20649.6667 0.01% - 48s 0 0 20649.6667 0 387 20651.0000 20649.6667 0.01% - 49s 0 0 20649.6667 0 29 20651.0000 20649.6667 0.01% - 84s H 0 0 20650.000000 20649.6667 0.00% - 86s Cutting planes: Gomory: 1 Explored 0 nodes (90673 simplex iterations) in 86.51 seconds Thread count was 1 (of 8 available processors) Optimal solution found (tolerance 0.00e+00) Best objective 2.065000000000e+04, best bound 2.065000000000e+04, gap 0.0% Preprocessing time: 959.28 seconds Gurobi run time: 86.51 seconds Total run time: 1045.79 seconds Objective: 20650 Solution: 71 x [98, 204] 13 x [14, 98, 394] 47 x [39, 144] 6 x [144, 187, 888] 9 x [14, 165, 854] 70 x [106, 165, 811] 2 x [165, 187, 671] 22 x [79, 260, 519] 43 x [268, 980] 33 x [187, 283, 888] 29 x [285, 297] 1 x [285, 506] 56 x [288, 699] 67 x [309, 513] 2 x [79, 309, 880] 8 x [309, 778, 942] 64 x [346, 565] 4 x [23, 187, 346] 95 x [108, 404, 484] 2 x [425, 778, 882] 91 x [448, 506] 7 x [454, 663] 2 x [454, 699] 1 x [454, 980] 4 x [79, 131, 701] 65 x [153, 701, 854] 45 x [705, 773] 4 x [337, 773, 778] 17 x [818, 838] 3 x [822, 838] 59 x [294, 822, 971] 1 x [108, 822, 888] 13 x [778, 830, 977] 75 x [45, 304, 830] 3 x [15, 709] 19 x [15, 993] 31 x [27, 709] 100 x [196, 970] 49 x [433, 635] 26 x [348, 518] 68 x [348, 647] 21 x [169, 739] 2 x [709, 739] 40 x [910, 993] 16 x [635, 987] 1 x [58, 279] 26 x [58, 361] 3 x [58, 941] 51 x [174, 941] 5 x [305, 333] 42 x [333, 531] 1 x [305, 360] 97 x [329, 360] 68 x [279, 396] 91 x [434, 574] 95 x [482, 745] 25 x [330, 551] 28 x [74, 666] 1 x [322, 666] 4 x [666, 743] 13 x [676, 784] 19 x [322, 726] 53 x [758, 896] 72 x [289, 807] 9 x [784, 807] 2 x [807, 997] 31 x [430, 819] 13 x [819, 896] 86 x [906, 997] 8 x [109, 320] 19 x [109, 877] 4 x [115, 320] 17 x [115, 976] 1 x [115, 180, 427] 47 x [167, 877] 82 x [61, 171, 427] 1 x [171, 180, 594] 6 x [171, 180, 934] 38 x [183, 804] 1 x [183, 977, 996] 40 x [180, 229, 245] 33 x [296, 880, 996] 77 x [194, 410] 5 x [410, 869] 1 x [410, 977, 996] 69 x [483, 922] 71 x [711, 869] 1 x [29, 344] 20 x [29, 94, 462] 8 x [62, 67, 763] 59 x [67, 89, 157] 15 x [66, 69, 230] 25 x [69, 500, 594] 76 x [76, 598] 10 x [21, 188] 2 x [188, 502, 864] 24 x [32, 188, 763] 71 x [41, 62, 257] 77 x [344, 374] 22 x [378, 600] 1 x [414, 502, 796] 80 x [90, 277, 444] 4 x [277, 444, 920] 10 x [498, 968] 47 x [95, 223, 498] 22 x [208, 550] 5 x [223, 550, 554] 15 x [502, 864, 927] 80 x [400, 927, 934] 94 x [585, 950] 5 x [230, 920, 950] 87 x [83, 832] 4 x [147, 265] 54 x [147, 963] 7 x [13, 168] 1 x [168, 718] 38 x [168, 940] 4 x [252, 718] 83 x [252, 823] 93 x [13, 292] 40 x [332, 529] 7 x [332, 575] 1 x [332, 718] 22 x [401, 575] 57 x [228, 449] 9 x [449, 832] 34 x [461, 782] 55 x [465, 788] 3 x [465, 832] 1 x [465, 663] 71 x [265, 878] 41 x [492, 899] 15 x [718, 899] 2 x [40, 965] 12 x [202, 677] 29 x [202, 708] 1 x [202, 965] 52 x [134, 981] 33 x [34, 134, 746] 1 x [134, 345, 977] 92 x [156, 873] 4 x [127, 156, 429] 6 x [214, 861] 93 x [214, 862] 2 x [308, 368] 33 x [1, 308, 746] 48 x [68, 131, 308] 68 x [459, 655] 22 x [240, 345, 459] 36 x [475, 481] 2 x [475, 510, 796] 3 x [429, 480, 747] 11 x [480, 616, 909] 43 x [497, 672] 1 x [370, 510, 542] 9 x [350, 542, 723] 2 x [561, 605, 864] 34 x [33, 561, 859] 39 x [368, 688] 1 x [605, 691, 747] 42 x [270, 691, 856] 17 x [198, 510, 696] 46 x [63, 364, 696] 16 x [116, 616, 769] 47 x [457, 775] 21 x [605, 747, 775] 75 x [340, 821] 12 x [821, 928] 4 x [277, 605, 821] 52 x [176, 494, 921] 33 x [36, 880, 921] 3 x [3, 56] 1 x [3, 248] 79 x [3, 685] 9 x [3, 969] 27 x [93, 248] 57 x [93, 463, 829] 17 x [186, 431] 42 x [186, 734] 41 x [124, 269] 2 x [269, 431] 21 x [56, 381] 67 x [381, 462, 714] 2 x [479, 490, 671] 14 x [490, 837, 888] 6 x [253, 897] 4 x [613, 897] 1 x [490, 829, 897] 84 x [25, 80] 4 x [321, 451] 4 x [384, 892] 36 x [391, 411] 14 x [516, 850] 90 x [451, 583] 1 x [620, 697] 51 x [697, 810] 80 x [834, 892] 2 x [451, 948] 65 x [754, 948] 7 x [850, 948] 59 x [28, 978] 13 x [850, 978] 11 x [20, 538, 680] 78 x [20, 538, 938] 9 x [53, 956] 23 x [53, 564, 757] 67 x [79, 197, 932] 3 x [197, 422, 757] 76 x [178, 377] 1 x [377, 422, 885] 2 x [377, 894, 979] 83 x [86, 390] 13 x [390, 894, 979] 57 x [525, 562, 661] 1 x [680, 695, 719] 44 x [564, 590, 695] 36 x [226, 629, 733] 44 x [466, 826] 2 x [79, 680, 826] 1 x [680, 719, 826] 22 x [428, 866] 10 x [607, 866] 29 x [328, 885, 901] 6 x [894, 901, 960] 18 x [493, 903] 5 x [661, 719, 903] 1 x [680, 903, 954] 62 x [6, 994] 22 x [209, 679] 2 x [276, 280] 88 x [280, 591] 1 x [276, 315] 9 x [315, 994] 45 x [366, 503] 6 x [503, 679] 4 x [503, 694] 67 x [566, 694] 72 x [247, 596] 12 x [603, 694] 3 x [35, 651] 57 x [651, 658] 1 x [546, 710] 40 x [276, 715] 17 x [679, 732] 12 x [755, 994] 77 x [35, 791] 36 x [546, 844] 5 x [247, 881] 45 x [476, 881] 21 x [4, 94, 193] 29 x [18, 338] 3 x [114, 200] 11 x [200, 213, 909] 2 x [176, 200, 218] 71 x [101, 255, 864] 21 x [116, 213, 255] 40 x [412, 453] 63 x [113, 370, 547] 21 x [218, 547, 747] 6 x [338, 581] 14 x [581, 650] 65 x [581, 586, 909] 30 x [114, 588] 99 x [464, 683] 90 x [471, 736] 6 x [33, 636, 736] 1 x [441, 753] 5 x [738, 753] 10 x [193, 753, 909] 80 x [230, 532, 753] 73 x [347, 760] 22 x [24, 201, 760] 52 x [441, 761] 2 x [241, 762] 1 x [464, 762] 55 x [592, 636, 762] 27 x [738, 840] 24 x [241, 884] 71 x [256, 884] 2 x [207, 949] 1 x [412, 949] 60 x [610, 949] 8 x [915, 949] 1 x [198, 636, 949] 36 x [915, 966] 8 x [158, 203, 408] 94 x [150, 224, 284] 69 x [246, 637] 5 x [246, 477, 870] 7 x [179, 398, 419] 74 x [398, 477, 857] 22 x [304, 473, 995] 1 x [234, 419, 473] 4 x [357, 473, 527] 14 x [509, 730] 53 x [73, 357, 509] 35 x [149, 664] 17 x [664, 671, 984] 6 x [150, 393, 664] 40 x [524, 673] 17 x [179, 397, 673] 8 x [408, 527, 673] 95 x [713, 865] 1 x [527, 713, 870] 8 x [720, 811, 995] 26 x [148, 750, 995] 9 x [179, 236, 750] 26 x [420, 846] 25 x [558, 846] 7 x [38, 846, 900] 5 x [839, 858] 1 x [671, 858, 900] 2 x [7, 983, 995] 69 x [633, 926, 983] 5 x [8, 219] 2 x [8, 624] 6 x [8, 505, 616] 62 x [160, 217] 24 x [217, 563, 616] 1 x [231, 418] 14 x [231, 833] 75 x [231, 855] 55 x [251, 622, 674] 2 x [251, 777, 853] 13 x [251, 563, 982] 82 x [242, 278] 16 x [278, 624] 18 x [219, 354] 79 x [354, 853, 905] 29 x [418, 717] 56 x [504, 717, 777] 51 x [795, 841, 871] 14 x [30, 836] 3 x [30, 240, 595] 82 x [30, 166, 835] 27 x [55, 787] 68 x [55, 959] 30 x [10, 216] 1 x [298, 653] 12 x [298, 403, 977] 1 x [163, 310, 977] 2 x [10, 386] 98 x [386, 848] 26 x [300, 625, 942] 13 x [175, 640] 3 x [595, 640, 722] 11 x [724, 772] 1 x [595, 724, 977] 4 x [10, 771] 15 x [220, 746, 771] 29 x [653, 793] 62 x [759, 793] 30 x [254, 847] 60 x [806, 847] 29 x [220, 880, 890] 9 x [254, 990] 48 x [700, 990] 17 x [300, 942, 990] 14 x [904, 992] 47 x [177, 337, 992] 3 x [595, 880, 992] 1 x [164, 206] 41 x [206, 737] 81 x [392, 678] 4 x [392, 953] 16 x [426, 918] 7 x [460, 533] 52 x [496, 533] 7 x [533, 918] 1 x [533, 953] 18 x [164, 612] 1 x [49, 112] 3 x [49, 135] 51 x [49, 435, 996] 34 x [125, 495, 912] 1 x [125, 641, 813] 7 x [125, 817, 973] 1 x [161, 641, 813] 82 x [161, 520, 660] 71 x [281, 751, 875] 62 x [122, 306, 608] 44 x [350, 383, 628] 1 x [383, 641, 973] 64 x [112, 417] 45 x [273, 573] 3 x [573, 608, 721] 1 x [577, 641, 973] 54 x [421, 554, 577] 3 x [577, 615, 805] 44 x [526, 626, 648] 5 x [112, 767] 85 x [552, 614, 767] 12 x [135, 845] 2 x [350, 602, 945] 35 x [842, 923, 945] 7 x [468, 554, 945] 48 x [195, 646] 80 x [88, 222] 4 x [222, 786] 40 x [266, 786] 1 x [264, 470] 4 x [470, 560] 17 x [470, 646] 1 x [264, 487] 5 x [487, 728] 82 x [487, 998] 46 x [528, 728] 28 x [539, 786] 3 x [611, 634] 14 x [634, 698] 59 x [611, 693] 73 x [560, 742] 95 x [264, 800] 2 x [107, 120] 15 x [120, 210] 54 x [182, 440] 9 x [105, 319] 40 x [272, 319] 81 x [107, 335] 56 x [244, 369] 4 x [440, 442] 3 x [105, 489] 13 x [489, 925] 26 x [521, 925] 5 x [132, 576] 92 x [576, 638] 28 x [244, 652] 20 x [440, 665] 1 x [132, 933] 62 x [9, 749] 6 x [9, 512, 774] 74 x [238, 515] 1 x [51, 324, 746] 68 x [324, 645, 774] 2 x [327, 376] 37 x [376, 958] 54 x [52, 536] 3 x [450, 536] 4 x [649, 740] 1 x [51, 740, 882] 15 x [237, 816] 8 x [450, 816] 16 x [515, 907] 15 x [770, 907] 2 x [474, 774, 907] 3 x [458, 939] 43 x [549, 939] 75 x [237, 943] 24 x [102, 409] 18 x [118, 159] 2 x [118, 682] 1 x [258, 930] 1 x [258, 962] 50 x [140, 262] 26 x [295, 682] 46 x [409, 601] 3 x [110, 621] 4 x [110, 741] 19 x [436, 741] 51 x [110, 798] 74 x [159, 814] 18 x [140, 887] 4 x [682, 887] 70 x [57, 84, 578] 3 x [84, 389, 567] 1 x [60, 84, 779] 32 x [111, 780] 2 x [152, 589] 68 x [152, 851] 6 x [91, 239, 512] 58 x [59, 239, 389] 1 x [239, 413, 681] 9 x [31, 282] 55 x [282, 692] 1 x [312, 512, 911] 77 x [60, 126, 314] 32 x [379, 380, 467] 51 x [359, 768] 1 x [57, 236, 768] 4 x [380, 512, 768] 54 x [189, 233, 808] 8 x [60, 548, 808] 3 x [142, 849, 870] 22 x [220, 729, 849] 4 x [275, 779, 849] 39 x [351, 886] 12 x [91, 372, 886] 88 x [567, 895, 911] 11 x [57, 357, 908] 1 x [31, 967] 52 x [103, 967] 6 x [780, 967] 1 x [189, 484, 967] 47 x [78, 387] 13 x [85, 656] 1 x [85, 972] 23 x [173, 456] 6 x [249, 318] 66 x [92, 311] 3 x [311, 972] 2 x [318, 423] 11 x [387, 423] 98 x [501, 914] 42 x [540, 656] 9 x [26, 765] 73 x [286, 765] 27 x [794, 852] 3 x [835, 852, 954] 21 x [478, 902] 1 x [129, 835, 902] 5 x [719, 835, 952] 44 x [478, 955] 98 x [445, 974] 2 x [226, 835, 974] 90 x [81, 556] 14 x [64, 97] 2 x [97, 587] 11 x [99, 469] 21 x [99, 706] 1 x [104, 130] 17 x [130, 447] 12 x [130, 639] 94 x [154, 301] 48 x [307, 587] 61 x [336, 469] 1 x [301, 416] 81 x [416, 662] 80 x [302, 446] 2 x [446, 604] 69 x [104, 517] 36 x [146, 668] 47 x [706, 860] 34 x [639, 931] 85 x [137, 961] 3 x [146, 961] 1 x [556, 961] 30 x [54, 227] 31 x [54, 303] 61 x [303, 919] 65 x [334, 432] 34 x [349, 407] 13 x [349, 432] 8 x [399, 432] 1 x [407, 627] 48 x [407, 785] 10 x [407, 827] 22 x [535, 919] 29 x [543, 827] 3 x [609, 919] 11 x [5, 413, 609] 1 x [617, 627] 89 x [617, 957] 2 x [138, 145, 824] 30 x [82, 145, 571] 1 x [128, 145, 571] 17 x [12, 145, 690] 3 x [145, 328, 991] 48 x [141, 274, 781] 23 x [274, 781, 824] 1 x [128, 172, 274] 3 x [12, 274, 719] 7 x [138, 353, 534] 64 x [358, 534, 883] 14 x [316, 495, 534] 14 x [395, 604, 824] 81 x [604, 960, 991] 1 x [316, 382, 604] 13 x [170, 882, 989] 72 x [44, 548, 989] 11 x [889, 991, 999] 28 x [629, 874, 999] 46 x [133, 139, 172] 1 x [133, 263, 885] 2 x [44, 133, 363] 6 x [133, 243, 629] 8 x [75, 133, 975] 4 x [263, 293, 313] 14 x [293, 876, 889] 3 x [243, 363, 436] 59 x [382, 436, 937] 15 x [382, 436, 951] 19 x [126, 443, 993] 56 x [2, 443, 508] 29 x [263, 313, 486] 70 x [75, 486, 748] 21 x [44, 184, 511] 62 x [363, 569, 735] 23 x [16, 508, 569] 52 x [495, 684, 744] 4 x [16, 452, 744] 13 x [16, 595, 744] 8 x [172, 776, 993] 1 x [362, 776, 874] 1 x [16, 452, 776] 60 x [522, 779, 913] 24 x [328, 876, 913] 6 x [66, 874, 946] 3 x [362, 946, 975] 66 x [119, 121, 339] 1 x [121, 259, 424] 20 x [12, 75, 121] 1 x [121, 267, 365] 46 x [132, 397, 606] 26 x [132, 267, 568] 21 x [259, 339, 406] 2 x [406, 704, 757] 61 x [375, 406, 582] 85 x [77, 365, 415] 7 x [71, 113, 415] 1 x [382, 415] 5 x [155, 226, 712] 28 x [523, 568, 712] 1 x [712, 802, 912] 54 x [305, 719, 766] 24 x [675, 766, 802] 2 x [313, 424, 790] 14 x [632, 790, 912] 73 x [507, 790, 975] 93 x [19, 812, 917] 3 x [568, 802, 812] 23 x [129, 155, 815] 32 x [212, 815, 954] 43 x [631, 828, 870] 17 x [704, 828, 889] 7 x [19, 912, 988] 8 x [675, 975, 988] 29 x [582, 669, 988] 26 x [181, 299, 364] 11 x [287, 299, 619] 25 x [299, 512, 654] 61 x [201, 205, 385] 2 x [201, 385, 619] 16 x [261, 385, 474] 3 x [136, 213, 385] 2 x [213, 385, 405] 44 x [276, 438, 698] 26 x [593, 698, 882] 12 x [136, 213, 698] 1 x [485, 505, 879] 45 x [225, 485, 965] 5 x [143, 228, 485] 2 x [485, 597, 779] 36 x [323, 402, 485] 4 x [170, 172, 557] 5 x [71, 557, 595] 1 x [557, 595, 669] 15 x [143, 228, 657] 42 x [117, 136, 657] 9 x [72, 633, 843] 5 x [505, 843, 965] 71 x [355, 872, 879] 18 x [96, 595, 872] 3 x [353, 879, 893] 1 x [96, 323, 893] 27 x [323, 893, 900] 43 x [37, 595, 893] 25 x [28, 714, 964] 3 x [72, 100, 964] 3 x [87, 270, 833] 16 x [87, 166, 707] 17 x [11, 87, 799] 40 x [87, 405, 452] 4 x [87, 532, 559] 15 x [659, 731, 803] 17 x [722, 731, 1000] 5 x [117, 199, 731] 2 x [193, 213, 731] 39 x [659, 702, 737] 12 x [193, 213, 737] 7 x [438, 730, 831] 1 x [659, 730, 831] 38 x [405, 831, 898] 46 x [199, 541, 831] 33 x [42, 659, 867] 1 x [11, 730, 867] 8 x [199, 437, 867] 9 x [160, 215, 427] 4 x [41, 439, 624] 11 x [89, 439, 624] 2 x [294, 439, 624] 18 x [245, 624, 689] 1 x [427, 624, 689] 31 x [594, 783, 833] 80 x [46, 343, 916] 11 x [12, 46, 373] 1 x [48, 545, 986] 15 x [48, 291, 727] 2 x [221, 235, 572] 70 x [123, 235, 352] 8 x [123, 235, 644] 39 x [261, 316, 876] 1 x [261, 545, 986] 6 x [261, 727, 764] 2 x [123, 261, 325] 7 x [317, 499, 986] 2 x [317, 544, 764] 10 x [326, 545, 572] 47 x [43, 326, 643] 16 x [341, 499, 986] 54 x [291, 341, 472] 5 x [342, 343, 764] 30 x [331, 342, 514] 3 x [331, 342, 935] 2 x [232, 488, 544] 80 x [192, 325, 488] 13 x [290, 488, 935] 10 x [388, 491, 545] 67 x [232, 491, 681] 20 x [51, 455, 553] 12 x [162, 455, 580] 1 x [455, 580, 986] 87 x [580, 667, 764] 5 x [43, 51, 606] 2 x [12, 325, 606] 29 x [331, 371, 606] 37 x [5, 545, 752] 1 x [316, 752, 986] 1 x [43, 820, 986] 79 x [544, 820, 951] 3 x [352, 686, 820] 16 x [221, 388, 965] 19 x [12, 155, 522] 35 x [155, 263, 271] 2 x [12, 190, 522] 26 x [190, 191, 271] 48 x [190, 395, 555] 8 x [190, 781, 986] 28 x [47, 65, 139] 1 x [139, 424, 584] 64 x [530, 618, 687] 3 x [65, 618, 704] 8 x [530, 618, 704] 19 x [584, 670, 704] 2 x [193, 567, 622, 944] 1 x [579, 777, 871, 944] 5 x [467, 579, 795, 944] 1 x [567, 622, 716, 944] 40 x [616, 716, 868, 944] 1 x [117, 211, 777, 871] 16 x [117, 153, 211, 982] 15 x [16, 537, 703, 973] 73 x [151, 537, 570, 809] 17 x [623, 642, 703, 863] 1 x [17, 468, 623, 789] 2 x [22, 122, 623, 789] 66 x [22, 623, 789, 985] 11 x [70, 520, 703, 789] 5 x [17, 599, 801, 891] 6 x [614, 809, 863, 891] 21 x [703, 721, 805, 947] 7 x [24, 526, 725, 973] 2 x [50, 350, 520, 725] 1 x [16, 24, 756, 813] 8 x [50, 570, 756, 842] 59 x [250, 641, 756, 813] 31 x [356, 367, 756, 792] 21 x [367, 602, 817, 825] 10 x [199, 875, 924, 929] 1 x [367, 801, 863, 929] 2 x [797, 805, 863, 929] 11 x [24, 615, 792, 936] 58 x [185, 630, 936, 973] 4 x [16, 797, 936, 973]