Build (method = -2) #dp: 1909780 Step-3' Graph: 32492 vertices and 97469 arcs (853.94s) Step-4' Graph: 11976 vertices and 56437 arcs (854.91s) #V4/#V3 = 0.37 #A4/#A3 = 0.58 Ready! (854.91s) Optimize a model with 12976 rows, 56438 columns and 145366 nonzeros Presolve removed 334 rows and 340 columns Presolve time: 0.52s Presolved: 12642 rows, 56098 columns, 144356 nonzeros Variable types: 0 continuous, 56098 integer (184 binary) Optimize a model with 12642 rows, 56098 columns and 144356 nonzeros Presolved: 12642 rows, 56098 columns, 144356 nonzeros Root barrier log... Ordering time: 0.08s Barrier statistics: AA' NZ : 9.240e+04 Factor NZ : 3.960e+05 (roughly 30 MBytes of memory) Factor Ops : 3.305e+07 (less than 1 second per iteration) Threads : 1 Objective Residual Iter Primal Dual Primal Dual Compl Time 0 1.37092326e+08 -2.68307540e+08 4.39e+09 1.28e-01 1.96e+05 0s 1 2.51250571e+07 -1.83081356e+08 5.74e+08 2.55e-15 2.69e+04 0s 2 3.11852135e+06 -1.09495381e+08 6.45e+07 1.75e-14 3.67e+03 0s 3 3.35945004e+05 -2.99872040e+07 5.49e+06 6.66e-15 4.71e+02 0s 4 1.00635197e+05 -5.41532691e+06 8.77e+05 1.11e-14 7.70e+01 0s 5 7.06186778e+04 -2.19830335e+06 3.36e+05 1.33e-14 3.02e+01 1s 6 5.83590799e+04 -1.08395945e+06 1.33e+05 1.11e-14 1.39e+01 1s 7 5.34873720e+04 -4.28316845e+05 6.07e+04 1.15e-14 5.66e+00 1s 8 5.14363297e+04 -2.73213424e+05 3.60e+04 7.99e-15 3.56e+00 1s 9 4.92760965e+04 -1.72941440e+05 1.92e+04 4.55e-15 2.26e+00 1s 10 4.59739833e+04 -9.45027290e+04 7.22e+03 3.44e-15 1.32e+00 1s 11 4.22170935e+04 -7.43048363e+04 4.39e+03 3.11e-15 1.08e+00 1s 12 3.67558275e+04 -5.95795555e+04 2.58e+03 2.22e-15 8.77e-01 1s 13 3.41960764e+04 -3.65316220e+04 2.02e+03 1.95e-15 6.42e-01 1s 14 3.23134225e+04 -1.54279353e+04 1.57e+03 1.83e-15 4.32e-01 1s 15 2.88758289e+04 -5.17460636e+03 7.97e+02 2.03e-15 3.06e-01 1s 16 2.50941255e+04 9.69258563e+03 3.30e+02 1.77e-15 1.38e-01 1s 17 2.35867583e+04 1.51681675e+04 2.09e+02 1.64e-15 7.53e-02 1s 18 2.27843090e+04 1.68768519e+04 1.44e+02 1.80e-15 5.28e-02 1s 19 2.22109892e+04 1.88611878e+04 9.55e+01 1.86e-15 2.99e-02 1s 20 2.17892636e+04 1.95832854e+04 5.82e+01 1.94e-15 1.97e-02 1s 21 2.15668643e+04 2.00071932e+04 3.69e+01 2.12e-15 1.39e-02 1s 22 2.14682200e+04 2.02567923e+04 2.65e+01 2.08e-15 1.08e-02 1s 23 2.13574168e+04 2.05834723e+04 1.42e+01 2.16e-15 6.89e-03 2s 24 2.13087452e+04 2.08229513e+04 9.01e+00 2.17e-15 4.33e-03 2s 25 2.12723978e+04 2.09129407e+04 5.18e+00 2.14e-15 3.20e-03 2s 26 2.12650478e+04 2.09850262e+04 4.41e+00 1.90e-15 2.49e-03 2s 27 2.12568703e+04 2.10593000e+04 3.43e+00 2.07e-15 1.76e-03 2s 28 2.12448965e+04 2.11027036e+04 2.10e+00 2.08e-15 1.26e-03 2s 29 2.12374651e+04 2.11568365e+04 1.23e+00 1.99e-15 7.17e-04 2s 30 2.12357350e+04 2.11712777e+04 1.11e+00 2.17e-15 5.74e-04 2s 31 2.12322435e+04 2.11955383e+04 7.18e-01 1.87e-15 3.27e-04 2s 32 2.12319095e+04 2.11999234e+04 6.78e-01 2.04e-15 2.85e-04 2s 33 2.12278442e+04 2.12052568e+04 3.02e-01 2.22e-15 2.01e-04 2s 34 2.12267516e+04 2.12140603e+04 2.29e-01 1.91e-15 1.13e-04 2s 35 2.12268573e+04 2.12195870e+04 1.59e-01 1.67e-15 6.48e-05 2s 36 2.12249647e+04 2.12242100e+04 9.35e-04 1.58e-15 6.69e-06 2s 37 2.12248935e+04 2.12248914e+04 7.28e-08 1.53e-15 1.79e-08 2s 38 2.12248933e+04 2.12248933e+04 9.64e-09 1.63e-15 2.22e-14 2s Barrier solved model in 38 iterations and 2.35 seconds Optimal objective 2.12248933e+04 Root crossover log... 0 PPushes remaining with PInf 0.0000000e+00 7s Push phase complete: Pinf 0.0000000e+00, Dinf 4.3478201e+00 7s Root simplex log... Iteration Objective Primal Inf. Dual Inf. Time 20868 2.1224893e+04 0.000000e+00 0.000000e+00 7s 20868 2.1224893e+04 0.000000e+00 0.000000e+00 7s Root relaxation: objective 2.122489e+04, 20868 iterations, 6.88 seconds Total elapsed time = 16.95s Total elapsed time = 23.49s Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 21224.8933 0 345 - 21224.8933 - - 28s H 0 0 21226.000000 21224.8933 0.01% - 36s 0 0 21224.8933 0 389 21226.0000 21224.8933 0.01% - 61s 0 0 21224.8933 0 574 21226.0000 21224.8933 0.01% - 99s H 0 0 21225.000000 21224.8933 0.00% - 100s Explored 0 nodes (113653 simplex iterations) in 100.21 seconds Thread count was 1 (of 8 available processors) Optimal solution found (tolerance 0.00e+00) Best objective 2.122500000000e+04, best bound 2.122500000000e+04, gap 0.0% Preprocessing time: 855.14 seconds Gurobi run time: 100.21 seconds Total run time: 955.34 seconds Objective: 21225 Solution: 41 x [54, 856] 47 x [65, 333] 39 x [127, 489] 1 x [206, 207] 10 x [206, 343] 13 x [206, 347, 432] 78 x [236, 365] 79 x [263, 316] 85 x [207, 279] 30 x [289, 576, 605] 5 x [207, 362] 23 x [362, 523, 576] 12 x [26, 498, 966] 14 x [149, 498, 604] 62 x [185, 529] 1 x [365, 529] 4 x [253, 529, 966] 73 x [312, 545] 3 x [545, 741, 864] 86 x [135, 575] 54 x [253, 339, 580] 1 x [365, 600] 3 x [600, 856] 68 x [297, 850] 2 x [135, 969] 63 x [222, 969] 3 x [333, 969] 46 x [302, 931, 975] 81 x [149, 220, 984] 1 x [302, 966, 998] 85 x [130, 169] 4 x [130, 637] 1 x [130, 853] 12 x [118, 337] 52 x [337, 625] 18 x [277, 374] 71 x [196, 385] 6 x [385, 624, 864] 14 x [277, 477] 40 x [248, 419, 477] 51 x [35, 481] 10 x [481, 624, 864] 2 x [382, 528] 1 x [528, 866] 36 x [528, 940] 5 x [125, 630] 1 x [630, 866] 89 x [84, 361, 630] 64 x [167, 705] 7 x [705, 853] 39 x [90, 707] 9 x [514, 707] 1 x [624, 707, 864] 79 x [125, 721] 96 x [742, 885] 12 x [866, 887] 37 x [74, 278, 887] 21 x [118, 958] 3 x [142, 960] 88 x [675, 960] 1 x [624, 864, 960] 11 x [4, 372] 43 x [138, 536] 12 x [217, 372] 31 x [217, 906] 46 x [176, 260] 25 x [260, 579] 2 x [536, 786] 2 x [579, 786] 80 x [688, 786] 67 x [219, 394, 936] 95 x [225, 272, 381] 43 x [286, 309, 927] 15 x [293, 344, 927] 3 x [34, 293, 889] 4 x [301, 309, 983] 14 x [301, 434, 685] 83 x [14, 355, 577] 4 x [309, 355, 983] 1 x [14, 378, 927] 87 x [34, 378, 543] 1 x [378, 841, 902] 7 x [259, 493, 495] 79 x [434, 493, 834] 56 x [523, 639, 754] 3 x [400, 677, 740] 23 x [227, 740, 993] 65 x [259, 318, 776] 1 x [400, 797, 983] 29 x [405, 605, 797] 1 x [490, 797, 992] 11 x [815, 816, 902] 1 x [792, 826, 983] 1 x [175, 342, 826] 63 x [617, 677, 840] 67 x [280, 680] 32 x [280, 926] 58 x [190, 327] 16 x [327, 730] 54 x [332, 384] 35 x [373, 525] 29 x [578, 869] 34 x [661, 877] 20 x [561, 942] 61 x [825, 942] 2 x [373, 945] 6 x [561, 945] 6 x [730, 945] 67 x [901, 945] 1 x [926, 945] 2 x [384, 999] 5 x [661, 999] 8 x [11, 278, 847] 35 x [11, 605, 947] 30 x [20, 81] 98 x [83, 733] 2 x [83, 229, 889] 3 x [106, 1000] 94 x [124, 199] 3 x [199, 229, 889] 15 x [237, 671, 847] 4 x [165, 254, 889] 33 x [254, 375, 889] 39 x [233, 282] 17 x [282, 344, 607] 60 x [324, 663] 8 x [126, 324, 438] 46 x [120, 356] 12 x [13, 356, 464] 39 x [383, 608] 5 x [13, 383, 858] 69 x [560, 1000] 59 x [348, 747] 1 x [559, 747] 1 x [115, 747, 847] 80 x [165, 201, 773] 6 x [229, 773, 858] 55 x [789, 793] 5 x [126, 793, 858] 74 x [209, 880] 5 x [229, 880, 889] 89 x [547, 934] 7 x [229, 318, 934] 10 x [126, 463, 941] 80 x [893, 995] 12 x [13, 517, 995] 73 x [559, 997] 3 x [36, 273] 8 x [36, 546] 32 x [36, 928] 66 x [86, 273] 86 x [156, 912] 97 x [181, 234] 1 x [234, 273] 1 x [234, 622] 95 x [294, 653] 1 x [341, 714] 6 x [341, 912] 3 x [527, 681] 64 x [581, 622] 90 x [100, 582] 30 x [584, 714] 60 x [648, 681] 79 x [689, 918] 93 x [690, 808] 20 x [15, 711] 36 x [121, 711] 3 x [711, 918] 36 x [823, 855] 12 x [855, 918] 71 x [56, 724] 6 x [338, 698] 2 x [338, 701] 73 x [460, 701] 95 x [472, 676] 71 x [482, 944] 79 x [522, 698] 42 x [329, 539] 22 x [539, 701] 1 x [558, 701] 6 x [558, 724] 28 x [558, 944] 9 x [183, 980] 5 x [676, 980] 2 x [888, 980] 40 x [230, 858, 980] 42 x [28, 300] 8 x [31, 300] 56 x [31, 313] 2 x [31, 569] 1 x [122, 182] 57 x [41, 137] 7 x [137, 473] 3 x [137, 704] 79 x [166, 221] 2 x [3, 166, 983] 18 x [269, 704] 39 x [364, 644] 31 x [62, 446] 53 x [306, 636] 13 x [569, 647] 40 x [182, 716] 4 x [644, 738] 94 x [710, 738] 4 x [3, 751, 767] 1 x [62, 791] 1 x [644, 791] 6 x [791, 878] 40 x [473, 844] 25 x [704, 845] 12 x [875, 878] 24 x [878, 923] 64 x [99, 114] 17 x [99, 354] 11 x [158, 354] 42 x [195, 417] 5 x [417, 746] 1 x [270, 462] 2 x [462, 652] 10 x [599, 746] 53 x [599, 911] 8 x [640, 646] 1 x [354, 655] 14 x [672, 746] 19 x [270, 673] 62 x [429, 673] 51 x [440, 687] 6 x [687, 725] 40 x [652, 809] 12 x [270, 827] 71 x [827, 843] 55 x [2, 48, 296] 9 x [2, 401, 966] 14 x [50, 347, 991] 79 x [92, 371] 14 x [92, 133, 864] 34 x [218, 314, 618] 51 x [359, 450] 8 x [175, 283, 359] 71 x [363, 882] 7 x [84, 283, 388] 49 x [347, 388, 803] 46 x [145, 537] 9 x [537, 966, 991] 91 x [535, 758] 1 x [401, 758, 966] 6 x [218, 641, 758] 66 x [396, 766] 3 x [3, 671, 766] 1 x [766, 966, 991] 82 x [598, 817] 15 x [339, 369, 817] 6 x [283, 357, 859] 30 x [119, 935] 2 x [882, 935] 1 x [895, 935] 1 x [37, 133, 935] 45 x [895, 963] 61 x [957, 981] 5 x [220, 369, 981] 30 x [128, 150] 7 x [141, 418] 1 x [141, 478] 84 x [141, 752] 29 x [172, 478] 40 x [174, 664] 5 x [174, 952] 9 x [192, 531] 6 x [192, 765] 41 x [192, 804] 27 x [299, 531] 7 x [544, 842] 2 x [478, 570] 16 x [570, 589] 67 x [189, 571] 22 x [571, 952] 23 x [692, 785] 53 x [785, 967] 75 x [52, 105] 4 x [52, 796] 88 x [73, 284] 65 x [12, 274] 5 x [240, 274] 15 x [377, 586] 29 x [402, 413] 8 x [413, 586] 24 x [288, 424] 1 x [240, 471] 2 x [284, 471] 39 x [471, 504] 93 x [240, 548] 9 x [284, 566] 55 x [590, 796] 85 x [116, 656] 1 x [586, 656] 44 x [461, 939] 4 x [796, 939] 38 x [33, 110] 1 x [33, 898] 94 x [131, 235] 64 x [242, 550] 4 x [235, 404] 87 x [43, 275, 404] 1 x [235, 426] 12 x [426, 456, 962] 1 x [426, 436, 986] 45 x [476, 616] 46 x [285, 501] 45 x [436, 562, 986] 16 x [212, 597] 10 x [597, 790] 1 x [550, 651] 1 x [328, 651, 922] 30 x [651, 683, 922] 1 x [412, 774, 922] 10 x [43, 778, 815] 76 x [47, 849] 9 x [604, 849, 989] 86 x [771, 907] 61 x [310, 917] 3 x [898, 917] 6 x [285, 994] 12 x [616, 994] 3 x [641, 922, 994] 4 x [55, 77, 831] 17 x [79, 709, 891] 48 x [79, 423, 824] 9 x [113, 162, 937] 82 x [113, 554, 728] 77 x [136, 187, 563] 1 x [136, 756, 905] 3 x [136, 532, 818] 5 x [157, 563, 815] 80 x [157, 415, 881] 47 x [264, 741, 798] 17 x [264, 756, 905] 37 x [386, 629, 920] 3 x [386, 756, 836] 1 x [386, 920, 970] 40 x [391, 624, 760] 5 x [139, 391, 824] 1 x [391, 824, 920] 1 x [162, 298, 467] 64 x [467, 708, 801] 4 x [140, 467, 709] 1 x [323, 494, 937] 5 x [494, 534, 728] 79 x [494, 753, 959] 8 x [496, 708, 970] 1 x [394, 587, 695] 1 x [615, 633, 831] 12 x [615, 900, 992] 56 x [140, 615, 702] 9 x [695, 715, 841] 91 x [139, 470, 715] 2 x [719, 820, 841] 37 x [323, 416, 820] 7 x [323, 848, 937] 89 x [643, 848, 972] 1 x [42, 335] 58 x [42, 530] 9 x [42, 490, 884] 3 x [51, 304] 85 x [51, 641, 777] 79 x [143, 146] 49 x [178, 205] 11 x [178, 339, 632] 62 x [245, 455] 11 x [245, 632, 966] 2 x [143, 330] 5 x [330, 568] 86 x [330, 635] 27 x [335, 379] 8 x [9, 410] 58 x [410, 892] 1 x [296, 410, 632] 24 x [296, 425, 632] 2 x [437, 484] 23 x [447, 541, 910] 13 x [9, 573] 92 x [627, 770] 2 x [627, 632, 966] 6 x [618, 627, 910] 42 x [437, 657] 79 x [568, 978] 14 x [89, 744] 28 x [89, 835] 4 x [151, 744] 47 x [151, 412, 883] 72 x [265, 360] 70 x [351, 788, 996] 78 x [352, 407] 22 x [407, 734] 67 x [408, 862] 3 x [444, 744] 39 x [444, 987] 1 x [307, 444, 996] 2 x [499, 662] 2 x [499, 862] 63 x [499, 943] 53 x [186, 564] 5 x [564, 662] 7 x [601, 872] 59 x [30, 948] 5 x [734, 948] 77 x [6, 973] 13 x [307, 973, 996] 35 x [8, 98] 1 x [98, 488] 11 x [98, 949] 31 x [180, 800] 11 x [267, 334] 2 x [334, 763, 857] 36 x [334, 533, 954] 74 x [479, 488] 87 x [398, 565] 4 x [565, 763, 828] 17 x [231, 603] 46 x [603, 697, 839] 72 x [613, 857, 946] 7 x [674, 852, 883] 18 x [296, 433, 678] 96 x [609, 732] 2 x [732, 822, 883] 14 x [339, 433, 750] 37 x [720, 750, 822] 46 x [211, 604, 775] 8 x [775, 828, 899] 3 x [775, 857, 986] 1 x [800, 830] 70 x [830, 871] 68 x [726, 979] 1 x [220, 433, 979] 2 x [697, 883, 979] 74 x [828, 852, 990] 7 x [97, 295] 75 x [97, 420] 39 x [163, 241] 7 x [163, 295] 13 x [53, 492] 87 x [492, 628] 2 x [295, 718] 48 x [718, 929] 1 x [718, 982] 58 x [53, 781] 28 x [802, 903] 7 x [802, 982] 37 x [44, 805] 8 x [204, 805] 54 x [821, 982] 4 x [204, 876] 83 x [759, 876] 1 x [10, 76] 1 x [10, 583] 87 x [10, 693] 2 x [10, 851] 36 x [76, 208] 75 x [251, 779] 13 x [486, 538] 21 x [606, 851] 28 x [583, 700] 22 x [717, 851] 33 x [486, 749] 7 x [421, 846] 4 x [486, 846] 1 x [779, 846] 76 x [421, 868] 73 x [40, 91] 21 x [91, 699] 99 x [25, 103] 3 x [111, 502] 12 x [111, 988] 1 x [188, 510] 52 x [188, 961] 10 x [188, 283, 465] 97 x [399, 510] 58 x [427, 520] 35 x [276, 422, 520] 24 x [223, 660] 9 x [650, 660, 706] 53 x [276, 435, 660] 46 x [442, 666] 17 x [502, 666] 1 x [258, 650, 668] 11 x [308, 441, 668] 2 x [699, 736] 38 x [298, 375, 736] 52 x [75, 783] 34 x [658, 783] 16 x [283, 794, 854] 45 x [161, 168, 794] 2 x [168, 422, 838] 94 x [870, 879] 3 x [168, 441, 879] 44 x [428, 897] 2 x [168, 441, 897] 84 x [29, 737, 921] 9 x [38, 515] 43 x [38, 57, 933] 2 x [71, 262, 737] 94 x [71, 459, 837] 3 x [71, 633, 837] 59 x [85, 210] 3 x [85, 255, 822] 13 x [112, 281, 864] 86 x [112, 160, 490] 29 x [95, 147] 8 x [19, 115, 147] 71 x [197, 403] 5 x [345, 507] 74 x [345, 965] 2 x [19, 345, 864] 66 x [454, 593] 5 x [281, 469, 523] 1 x [262, 469, 946] 22 x [469, 524, 986] 68 x [507, 642] 94 x [694, 811] 4 x [61, 694, 737] 1 x [694, 712, 946] 1 x [57, 694, 782] 10 x [61, 574, 938] 1 x [921, 938, 986] 4 x [69, 955] 36 x [350, 925] 7 x [117, 449] 12 x [512, 556] 86 x [512, 873] 24 x [173, 591] 1 x [556, 591] 1 x [591, 925] 32 x [626, 955] 11 x [556, 696] 59 x [596, 696] 29 x [331, 739] 20 x [66, 761] 62 x [96, 761] 3 x [66, 784] 37 x [319, 784] 13 x [406, 812] 46 x [592, 812] 26 x [228, 951] 66 x [735, 951] 1 x [951, 955] 4 x [59, 246] 2 x [59, 723] 32 x [154, 215] 1 x [155, 179] 1 x [155, 198] 69 x [155, 799] 9 x [179, 292] 61 x [292, 743] 52 x [164, 325] 18 x [198, 325] 49 x [104, 340] 17 x [340, 723] 11 x [203, 474] 3 x [203, 500] 1 x [215, 500] 16 x [555, 723] 7 x [723, 863] 37 x [179, 913] 100 x [7, 132] 60 x [67, 216] 1 x [213, 216] 15 x [213, 654] 52 x [226, 513] 9 x [68, 358] 7 x [216, 358] 15 x [358, 393] 2 x [322, 451] 93 x [451, 540] 74 x [645, 654] 1 x [322, 682] 9 x [513, 682] 23 x [631, 682] 41 x [68, 919] 2 x [16, 480] 37 x [39, 320] 1 x [39, 480] 19 x [39, 780] 13 x [177, 480] 23 x [177, 557] 58 x [224, 557] 28 x [780, 950] 49 x [780, 976] 1 x [950, 976] 16 x [214, 393, 614] 33 x [214, 370, 670] 2 x [214, 551, 670] 1 x [214, 614, 670] 10 x [218, 614, 670] 18 x [214, 551, 829] 12 x [246, 505, 506] 5 x [244, 246, 731] 55 x [246, 567, 908] 1 x [246, 769, 908] 2 x [346, 505, 769] 1 x [283, 346, 772] 1 x [331, 431] 4 x [431, 924, 991] 59 x [369, 551, 610] 15 x [369, 610, 924] 3 x [610, 686, 924] 9 x [610, 686, 956] 33 x [686, 916, 924] 3 x [519, 731, 964] 27 x [395, 706, 964] 88 x [506, 956, 985] 9 x [18, 519, 914] 54 x [18, 395, 443] 14 x [18, 392, 483] 17 x [18, 392, 706] 42 x [27, 244, 914] 1 x [60, 392, 922] 15 x [60, 706, 772] 9 x [60, 706, 922] 5 x [331, 392, 585] 1 x [331, 395, 891] 2 x [45, 108, 152] 4 x [22, 45, 684] 37 x [76, 108, 397] 11 x [76, 191, 621] 1 x [152, 191, 256] 6 x [191, 256, 261] 69 x [239, 256, 910] 17 x [108, 261, 326] 76 x [17, 152, 439] 72 x [1, 552, 713] 5 x [53, 552, 884] 7 x [53, 684, 884] 13 x [611, 684, 713] 25 x [611, 867, 884] 1 x [129, 266, 874] 10 x [129, 621, 933] 1 x [129, 713, 933] 40 x [129, 511, 971] 38 x [170, 171, 483] 1 x [171, 266, 516] 7 x [171, 392, 516] 47 x [22, 171, 193] 21 x [184, 258, 367] 2 x [184, 266, 516] 3 x [202, 252, 933] 1 x [148, 303, 367] 12 x [271, 303, 458] 2 x [148, 367, 665] 30 x [497, 595, 665] 13 x [266, 516, 865] 1 x [108, 904, 977] 25 x [621, 806, 904] 22 x [64, 247, 380] 1 x [247, 252, 874] 6 x [247, 291, 315] 1 x [247, 272, 311, 422] 8 x [64, 148, 336] 78 x [46, 252, 336] 1 x [475, 684, 874] 68 x [101, 448, 475] 1 x [291, 475, 602] 90 x [291, 553, 727] 76 x [376, 586, 612] 50 x [497, 874, 894] 13 x [252, 874, 932] 28 x [93, 159, 191] 5 x [159, 239, 418] 8 x [349, 418, 933] 2 x [418, 602, 933] 1 x [3, 21, 23] 2 x [21, 23, 395] 45 x [21, 193, 782] 22 x [21, 679, 782] 14 x [3, 23, 354] 3 x [23, 395, 659] 4 x [23, 395, 722] 34 x [170, 722, 745] 18 x [712, 722, 782] 2 x [15, 107, 884] 1 x [107, 123, 497] 11 x [107, 123, 511] 4 x [107, 152, 762] 2 x [107, 497, 762] 8 x [87, 373, 612] 7 x [87, 159, 516] 28 x [32, 64, 238] 27 x [32, 159, 305] 25 x [159, 414, 516] 19 x [32, 64, 619] 3 x [64, 516, 619] 31 x [23, 78, 433] 1 x [23, 78, 727] 3 x [23, 107, 526] 10 x [23, 107, 745] 6 x [23, 409, 669] 1 x [5, 23, 464, 465] 21 x [49, 409, 602] 1 x [78, 409, 727] 14 x [153, 409, 526] 40 x [349, 667, 729] 16 x [58, 430, 432, 667] 7 x [63, 328, 667, 993] 1 x [5, 463, 465, 729] 16 x [58, 411, 438, 729] 2 x [729, 787, 861, 947] 4 x [58, 748, 754, 864] 30 x [58, 633, 748, 936] 4 x [456, 810, 833, 992] 35 x [63, 685, 930, 953] 2 x [220, 432, 788, 953, 966] 20 x [194, 250, 372, 983] 3 x [72, 194, 372, 966] 15 x [257, 372, 485, 864] 70 x [144, 257, 357, 549] 1 x [194, 495, 518, 860] 5 x [14, 232, 814, 860] 5 x [257, 259, 860, 889] 49 x [102, 307, 909, 992] 11 x [232, 468, 685, 909] 1 x [159, 317, 518, 858] 1 x [159, 317, 468, 841] 14 x [281, 387, 854, 858] 2 x [281, 572, 617, 983] 43 x [366, 411, 495, 890] 45 x [72, 387, 453, 966] 6 x [14, 491, 623, 983] 1 x [491, 517, 518, 890] 14 x [353, 487, 634, 864] 2 x [572, 634, 650, 864] 76 x [70, 80, 249, 691] 2 x [144, 620, 691, 864] 14 x [623, 691, 741, 852] 10 x [243, 342, 864, 896] 82 x [321, 518, 572, 896] 7 x [487, 594, 703, 968] 35 x [134, 390, 620, 968] 26 x [243, 795, 807, 974] 63 x [311, 463, 521, 974] 2 x [389, 519, 798, 974] 1 x [194, 684, 753, 861] 2 x [194, 650, 713, 813] 1 x [194, 713, 787, 861] 9 x [200, 757, 886, 970] 5 x [287, 432, 757, 991] 1 x [72, 466, 612, 757] 43 x [200, 465, 819, 861] 25 x [140, 287, 508, 819] 14 x [509, 612, 832, 970] 8 x [632, 643, 709, 832] 1 x [686, 769, 832, 861] 6 x [109, 719, 807, 833] 64 x [109, 441, 509, 833] 10 x [445, 624, 833, 905] 2 x [152, 788, 833, 910] 16 x [77, 88, 94, 755] 49 x [88, 94, 457, 937] 1 x [88, 503, 728, 900] 16 x [88, 162, 768, 881] 1 x [271, 503, 508, 818] 31 x [230, 271, 389, 638] 13 x [271, 283, 815, 915] 39 x [290, 503, 650, 947] 13 x [290, 588, 755, 815] 6 x [368, 542, 831, 841] 65 x [82, 268, 368, 542] 1 x [140, 368, 508, 588] 7 x [452, 458, 787, 854] 2 x [452, 503, 886, 970] 1 x [82, 452, 466, 588] 20 x [452, 649, 709, 818] 4 x [24, 458, 638, 991] 70 x [458, 649, 764, 831] 2 x [389, 458, 881, 915] 1 x [148, 283, 684, 861] 9 x [422, 441, 585, 684] 1 x [276, 441, 684, 772]