Build (method = -2) #dp: 6893294 Step-3' Graph: 146115 vertices and 438338 arcs (3240.88s) Step-4' Graph: 30928 vertices and 207964 arcs (3244.81s) #V4/#V3 = 0.21 #A4/#A3 = 0.47 Ready! (3244.81s) Optimize a model with 31928 rows, 207965 columns and 562043 nonzeros Presolve removed 359 rows and 1423 columns Presolve time: 1.96s Presolved: 31569 rows, 206542 columns, 559446 nonzeros Variable types: 0 continuous, 206542 integer (527 binary) Optimize a model with 31569 rows, 206542 columns and 559446 nonzeros Presolve removed 26 rows and 26 columns Presolved: 31543 rows, 206516 columns, 559484 nonzeros Root barrier log... Ordering time: 1.70s Barrier statistics: AA' NZ : 3.335e+05 Factor NZ : 2.134e+06 (roughly 110 MBytes of memory) Factor Ops : 7.817e+08 (less than 1 second per iteration) Threads : 1 Objective Residual Iter Primal Dual Primal Dual Compl Time 0 6.55576428e+08 -9.48279990e+08 3.68e+10 5.87e-02 8.35e+05 3s 1 1.00090843e+08 -7.07968936e+08 4.01e+09 1.55e-15 9.25e+04 3s 2 1.10682253e+07 -4.64674964e+08 4.18e+08 7.99e-15 1.04e+04 3s 3 1.28203545e+06 -1.43723892e+08 4.14e+07 4.00e-15 1.24e+03 4s 4 2.04099215e+05 -4.53459960e+07 4.72e+06 4.44e-15 2.06e+02 4s 5 1.09381690e+05 -1.66780974e+07 1.62e+06 8.88e-15 7.17e+01 5s 6 8.90805761e+04 -8.44597581e+06 1.04e+06 3.46e-14 4.00e+01 5s 7 8.47860980e+04 -5.50168449e+06 9.16e+05 4.53e-14 3.01e+01 6s 8 8.33197795e+04 -4.79687707e+06 8.62e+05 4.44e-14 2.73e+01 6s 9 7.27091515e+04 -3.20547940e+06 5.74e+05 5.95e-14 1.79e+01 7s 10 6.88526966e+04 -2.43063578e+06 4.70e+05 4.62e-14 1.40e+01 7s 11 6.51244677e+04 -1.81268294e+06 3.70e+05 4.35e-14 1.05e+01 7s 12 5.98634762e+04 -1.29787623e+06 2.31e+05 4.09e-14 6.87e+00 8s 13 5.89079543e+04 -1.24788907e+06 2.08e+05 4.00e-14 6.36e+00 8s 14 5.64631256e+04 -1.07128581e+06 1.52e+05 3.73e-14 5.02e+00 9s 15 5.36223158e+04 -6.67627658e+05 9.51e+04 3.46e-14 3.08e+00 9s 16 5.00110057e+04 -4.77975035e+05 4.12e+04 2.31e-14 1.83e+00 9s 17 4.90303458e+04 -4.19852685e+05 3.21e+04 2.18e-14 1.56e+00 10s 18 4.66556046e+04 -3.04525689e+05 1.41e+04 1.51e-14 1.02e+00 10s 19 4.47880227e+04 -2.38550483e+05 9.80e+03 1.22e-14 8.00e-01 11s 20 4.27568011e+04 -2.16839658e+05 7.07e+03 1.13e-14 7.09e-01 11s 21 4.22655180e+04 -1.97028524e+05 6.59e+03 1.02e-14 6.52e-01 11s 22 4.08023392e+04 -1.40996580e+05 5.88e+03 7.99e-15 5.00e-01 12s 23 3.56337907e+04 -1.01934910e+05 3.10e+03 6.00e-15 3.62e-01 12s 24 3.28592736e+04 -7.65217099e+04 2.18e+03 4.44e-15 2.83e-01 13s 25 3.21738021e+04 -6.09111359e+04 1.98e+03 3.44e-15 2.41e-01 13s 26 2.93542247e+04 -4.34484864e+04 1.24e+03 2.89e-15 1.85e-01 13s 27 2.74120483e+04 -2.50126267e+04 9.34e+02 2.00e-15 1.33e-01 14s 28 2.54006430e+04 -1.52131094e+04 6.70e+02 1.78e-15 1.02e-01 14s 29 2.46356635e+04 -8.93435806e+03 5.69e+02 1.42e-15 8.41e-02 15s 30 2.34742640e+04 -1.63780409e+03 4.22e+02 1.37e-15 6.26e-02 15s 31 2.25780346e+04 4.81951316e+03 3.07e+02 1.05e-15 4.41e-02 15s 32 2.19640373e+04 1.18130798e+04 2.30e+02 1.33e-15 2.52e-02 16s 33 2.11963162e+04 1.54114219e+04 1.21e+02 9.97e-16 1.43e-02 16s 34 2.08782223e+04 1.71078365e+04 7.36e+01 9.23e-16 9.27e-03 17s 35 2.07984204e+04 1.75814024e+04 6.19e+01 8.04e-16 7.90e-03 17s 36 2.05466035e+04 1.85201412e+04 2.55e+01 8.36e-16 4.94e-03 17s 37 2.04409453e+04 1.92994162e+04 1.21e+01 4.83e-16 2.77e-03 18s 38 2.03888367e+04 1.97634509e+04 6.27e+00 4.44e-16 1.52e-03 18s 39 2.03682876e+04 2.00119546e+04 4.17e+00 4.44e-16 8.65e-04 19s 40 2.03441196e+04 2.01374741e+04 1.89e+00 4.65e-16 5.01e-04 19s 41 2.03381178e+04 2.02059799e+04 1.37e+00 4.44e-16 3.21e-04 20s 42 2.03267910e+04 2.02865994e+04 2.99e-01 4.44e-16 9.74e-05 20s 43 2.03249840e+04 2.03088336e+04 1.53e-01 4.44e-16 3.92e-05 20s 44 2.03232379e+04 2.03205645e+04 3.23e-02 5.55e-16 6.49e-06 21s 45 2.03226765e+04 2.03226441e+04 2.33e-09 5.55e-16 7.82e-08 21s 46 2.03226733e+04 2.03226733e+04 2.94e-09 4.44e-16 7.82e-11 22s Barrier solved model in 46 iterations and 21.53 seconds Optimal objective 2.03226733e+04 Root crossover log... 3089 DPushes remaining with DInf 0.0000000e+00 22s 0 DPushes remaining with DInf 2.3624127e+00 22s 85048 PPushes remaining with PInf 0.0000000e+00 22s 74794 PPushes remaining with PInf 0.0000000e+00 25s 61114 PPushes remaining with PInf 0.0000000e+00 30s 47597 PPushes remaining with PInf 0.0000000e+00 35s 34753 PPushes remaining with PInf 0.0000000e+00 40s 22211 PPushes remaining with PInf 0.0000000e+00 45s 10983 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 2.3624127e+00 55s Root simplex log... Iteration Objective Primal Inf. Dual Inf. Time 88139 2.0322673e+04 0.000000e+00 0.000000e+00 55s 88139 2.0322673e+04 0.000000e+00 0.000000e+00 55s Root relaxation: objective 2.032267e+04, 88139 iterations, 55.00 seconds Total elapsed time = 110.15s Total elapsed time = 133.13s Total elapsed time = 223.48s Total elapsed time = 264.51s Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 20322.6733 0 1080 - 20322.6733 - - 349s H 0 0 20325.000000 20322.6733 0.01% - 421s H 0 0 20324.000000 20322.6733 0.01% - 494s 0 0 20322.6733 0 1369 20324.0000 20322.6733 0.01% - 528s 0 0 20322.6733 0 1407 20324.0000 20322.6733 0.01% - 579s 0 0 20322.6733 0 1253 20324.0000 20322.6733 0.01% - 600s 0 0 20322.6733 0 1468 20324.0000 20322.6733 0.01% - 622s H 0 0 20323.000000 20322.6733 0.00% - 624s Cutting planes: Gomory: 1 Zero half: 4 Explored 0 nodes (237926 simplex iterations) in 624.44 seconds Thread count was 1 (of 8 available processors) Optimal solution found (tolerance 0.00e+00) Best objective 2.032300000000e+04, best bound 2.032300000000e+04, gap 0.0% Preprocessing time: 3245.60 seconds Gurobi run time: 624.44 seconds Total run time: 3870.04 seconds Objective: 20323 Solution: 68 x [183, 447] 12 x [211, 447] 4 x [447, 454, 796] 52 x [32, 878] 2 x [619, 796, 878] 27 x [735, 878, 910] 16 x [796, 878, 910] 14 x [84, 718, 726] 26 x [406, 921, 972] 16 x [288, 402, 676] 4 x [2, 342] 20 x [2, 989] 21 x [605, 673] 1 x [242, 673, 687] 1 x [288, 673, 687] 35 x [673, 687, 801] 1 x [84, 472, 522] 36 x [472, 492, 522] 26 x [472, 522, 885] 2 x [83, 472, 567] 34 x [196, 472, 567] 17 x [173, 242, 647] 2 x [173, 242, 655] 64 x [173, 242, 829] 23 x [112, 315, 979] 58 x [142, 172, 248] 29 x [480, 865] 15 x [52, 480] 73 x [368, 663] 11 x [663, 777] 12 x [612, 663, 912] 10 x [201, 478] 28 x [201, 491] 18 x [201, 703] 72 x [217, 442, 682] 24 x [105, 406, 682] 4 x [105, 406, 775] 21 x [93, 709, 782] 68 x [162, 650] 3 x [355, 650] 23 x [355, 666] 16 x [355, 803] 25 x [355, 837] 5 x [114, 991] 21 x [991, 994] 11 x [113, 267] 68 x [267, 413] 2 x [372, 431, 613] 3 x [372, 561, 613] 39 x [561, 613, 885] 35 x [160, 836] 63 x [836, 896] 2 x [394, 554] 5 x [394, 909] 38 x [79, 330] 22 x [330, 437] 5 x [330, 852] 64 x [399, 688] 56 x [1, 321] 18 x [1, 860] 45 x [708, 971] 15 x [34, 248, 458] 16 x [34, 133, 931] 7 x [68, 931, 973] 21 x [292, 801, 973] 3 x [386, 736, 973] 4 x [736, 801, 973] 42 x [109, 269, 433] 1 x [269, 867, 906] 5 x [68, 231, 867] 46 x [231, 693, 867] 9 x [801, 865, 867] 6 x [211, 253] 4 x [216, 249] 25 x [57, 219] 34 x [57, 341] 29 x [103, 419, 674] 5 x [419, 775, 842] 3 x [419, 487, 931] 2 x [419, 775, 931] 24 x [134, 514, 801] 38 x [386, 514, 527] 20 x [813, 997] 21 x [20, 77] 53 x [77, 601] 37 x [159, 680] 2 x [93, 263, 687] 12 x [263, 496, 687] 3 x [263, 551, 687] 28 x [263, 704, 866] 4 x [67, 206, 316] 38 x [73, 206, 316] 7 x [206, 407, 458] 14 x [206, 555, 713] 27 x [206, 265, 978] 29 x [814, 956] 63 x [805, 956] 40 x [461, 745] 41 x [619, 745] 54 x [338, 347, 652] 5 x [347, 444, 619] 33 x [90, 597] 66 x [258, 469, 762] 4 x [103, 298, 762] 16 x [315, 491, 591] 4 x [354, 491, 591] 22 x [354, 591, 827] 23 x [354, 591, 831] 19 x [67, 145, 591] 1 x [33, 463, 591] 43 x [414, 501] 26 x [167, 698] 56 x [232, 430] 28 x [372, 430] 6 x [597, 844] 3 x [628, 844] 97 x [445, 446] 3 x [446, 755] 25 x [61, 169] 11 x [625, 765, 827] 18 x [571, 789] 64 x [116, 789] 2 x [505, 789] 10 x [132, 146] 13 x [132, 839] 41 x [29, 122] 48 x [93, 198, 386] 27 x [198, 431, 619] 6 x [268, 911] 14 x [375, 630, 955, 958] 23 x [188, 314] 35 x [188, 466] 9 x [188, 727] 28 x [134, 431, 672] 8 x [80, 190, 672] 10 x [179, 431, 672] 1 x [672, 674, 857, 930] 26 x [9, 197, 743] 42 x [197, 463, 718] 9 x [197, 463, 743] 5 x [197, 463, 846] 27 x [358, 896] 62 x [235, 462, 606] 68 x [19, 994] 22 x [421, 590] 12 x [9, 192, 495] 2 x [92, 495, 905] 3 x [192, 495, 680] 2 x [192, 495, 946] 22 x [38, 495, 526] 15 x [495, 526, 687] 4 x [110, 495, 551] 4 x [495, 687, 790] 59 x [88, 590] 1 x [9, 357, 769] 14 x [316, 357, 713] 66 x [568, 643, 816] 1 x [534, 944] 89 x [744, 953] 6 x [51, 84, 426] 33 x [150, 426, 476, 725, 933] 6 x [578, 766] 2 x [418, 521, 709] 30 x [99, 891] 12 x [327, 603] 30 x [327, 648] 47 x [229, 327, 437] 12 x [290, 366, 453] 25 x [290, 366, 707] 32 x [366, 772] 1 x [277, 366, 774] 3 x [225, 527, 906] 36 x [225, 484, 921] 21 x [293, 509, 559] 41 x [375, 509, 831] 34 x [509, 549, 769, 943] 26 x [60, 690] 17 x [367, 590] 41 x [367, 915] 23 x [367, 727, 920] 6 x [23, 118, 492] 22 x [559, 635, 827] 19 x [348, 406, 487] 27 x [348, 487, 667] 8 x [348, 482, 730] 54 x [223, 607, 733] 2 x [9, 733, 859] 1 x [9, 733, 884] 4 x [321, 733, 921] 6 x [586, 701, 733] 33 x [192, 316, 733] 1 x [611, 824] 6 x [55, 437, 692] 6 x [354, 519, 996] 15 x [214, 996] 51 x [353, 996] 35 x [290, 373, 766] 53 x [66, 75, 373] 8 x [66, 373, 555] 2 x [335, 338, 362, 373] 3 x [192, 301, 356] 16 x [356, 465, 631] 20 x [11, 356, 652] 1 x [30, 356, 429] 3 x [51, 356, 835] 16 x [51, 356, 954] 1 x [356, 520, 530, 614] 39 x [31, 356, 542, 984] 48 x [696, 815] 2 x [17, 205, 855, 1000] 24 x [205, 222, 474, 855] 27 x [326, 559, 758] 3 x [692, 758, 885] 11 x [229, 296, 729, 758] 2 x [37, 418, 729, 758] 12 x [131, 552] 32 x [552, 977] 25 x [405, 464, 940] 36 x [405, 457, 464] 20 x [16, 75] 43 x [16, 902] 13 x [260, 370] 59 x [260, 562, 754, 981] 9 x [370, 533] 35 x [91, 145, 432] 5 x [91, 145, 547] 12 x [91, 250, 617] 10 x [91, 617, 883] 10 x [91, 484, 649] 9 x [91, 649, 680] 3 x [51, 91, 316] 2 x [91, 600, 632, 817] 8 x [91, 128, 520, 632] 7 x [119, 550, 618] 8 x [119, 606, 618] 14 x [119, 618, 680] 11 x [768, 771] 8 x [85, 961] 28 x [121, 961] 15 x [199, 961] 11 x [841, 961] 4 x [467, 947] 45 x [309, 947] 4 x [938, 947] 36 x [137, 679, 947, 976] 14 x [97, 350] 7 x [350, 968] 74 x [26, 350, 443, 817] 34 x [706, 954] 51 x [814, 876] 20 x [398, 614, 644, 649] 2 x [106, 246, 644, 649, 750] 1 x [39, 129] 58 x [39, 917] 38 x [108, 236, 615] 37 x [108, 539, 852] 24 x [108, 255, 931] 2 x [255, 292, 752] 7 x [292, 581, 752] 22 x [236, 727, 752] 42 x [37, 165, 729, 752] 46 x [131, 272] 7 x [95, 305, 570] 41 x [293, 305, 906] 28 x [712, 777] 30 x [334, 585] 9 x [387, 484, 609] 31 x [193, 515, 609, 795] 20 x [694, 830] 26 x [331, 694] 2 x [75, 694] 44 x [506, 694] 62 x [345, 490] 20 x [12, 275] 4 x [12, 815] 27 x [300, 753] 91 x [171, 913] 2 x [129, 677] 84 x [580, 677] 41 x [794, 964] 5 x [794, 853] 18 x [145, 390] 46 x [390, 455] 14 x [74, 284] 58 x [284, 532] 24 x [337, 544] 38 x [244, 439] 18 x [59, 651, 848] 18 x [59, 372, 539] 16 x [813, 983] 8 x [215, 570, 778] 1 x [61, 155, 215, 868] 1 x [61, 155, 215] 7 x [576, 634] 42 x [576, 751] 10 x [45, 627] 2 x [45, 654, 920] 9 x [45, 469, 654] 7 x [45, 541, 618] 70 x [45, 847] 89 x [40, 849] 2 x [40, 386, 906] 9 x [349, 676, 686] 15 x [103, 349, 778] 15 x [349, 414, 581] 15 x [349, 724, 766] 2 x [129, 174] 73 x [174, 502] 8 x [248, 730, 919] 75 x [335, 365, 919, 969] 1 x [87, 602] 53 x [36, 570] 27 x [21, 256] 13 x [256, 413] 57 x [256, 479] 5 x [297, 449] 14 x [325, 449] 24 x [449, 683] 42 x [449, 600, 679, 942] 1 x [6, 248, 270] 2 x [248, 270, 569] 4 x [37, 165, 262, 649] 17 x [262, 633, 649, 817] 22 x [208, 301] 51 x [111, 283, 739, 820] 3 x [111, 279, 691, 713] 17 x [111, 200, 207, 279, 559] 7 x [434, 519, 783] 16 x [83, 434, 454] 18 x [190, 434, 454] 96 x [27, 824] 10 x [519, 569, 740] 1 x [617, 722, 740] 4 x [732, 781, 861] 1 x [730, 732, 781] 69 x [222, 659, 781, 868] 64 x [604, 629, 886, 986] 48 x [324, 499, 819] 8 x [307, 318, 499, 884] 1 x [223, 318, 499, 546] 1 x [11, 318, 499, 880] 6 x [202, 362, 499, 873] 2 x [338, 362, 499, 604] 25 x [25, 655, 774] 5 x [25, 401, 454] 32 x [25, 460, 567] 37 x [212, 439] 27 x [106, 151, 369, 750, 925] 11 x [151, 665, 851, 859] 1 x [151, 296, 665, 769] 35 x [50, 151, 633, 838] 6 x [93, 151, 711, 959] 2 x [93, 151, 850, 976] 4 x [175, 683] 29 x [519, 626, 798, 939] 10 x [186, 684] 19 x [186, 907] 71 x [410, 783] 36 x [127, 280, 405, 423, 893] 11 x [200, 274, 280, 388, 765] 1 x [226, 280, 332, 380] 1 x [280, 448, 674, 702] 12 x [170, 280, 448, 630, 825] 6 x [11, 41, 156, 818] 1 x [41, 639, 651, 818, 906] 25 x [41, 103, 319] 21 x [41, 49, 194, 810] 4 x [41, 148, 194, 976] 82 x [425, 670] 18 x [425, 786] 1 x [233, 408] 9 x [233, 802] 65 x [233, 287] 8 x [519, 607, 741] 21 x [548, 646] 9 x [155, 180, 302, 875] 2 x [155, 354, 375, 560, 875] 6 x [167, 187, 875] 1 x [17, 167, 875] 1 x [167, 354, 875] 31 x [277, 407, 875] 30 x [277, 444, 875] 2 x [23, 487, 711, 875] 35 x [428, 511] 4 x [428, 599] 1 x [428, 898] 4 x [453, 636, 689, 892] 17 x [636, 826, 892, 990] 24 x [205, 459, 883] 26 x [219, 299, 459] 1 x [454, 459, 460] 46 x [456, 459, 565] 1 x [459, 497, 927] 15 x [56, 411, 517, 589] 3 x [56, 106, 150, 517, 750] 55 x [58, 189, 377] 2 x [377, 473] 1 x [271, 387, 686] 15 x [271, 686, 765] 60 x [271, 516, 713, 833] 7 x [285, 441] 2 x [54, 385, 872] 1 x [54, 854, 892] 49 x [54, 92, 438] 14 x [54, 393] 3 x [54, 131] 2 x [141, 328] 65 x [141, 723] 9 x [141, 951] 16 x [141, 163, 573, 689] 4 x [141, 573, 600, 942] 8 x [345, 395] 18 x [395, 666] 20 x [940, 957] 36 x [564, 572] 23 x [564, 675] 84 x [177, 616] 12 x [721, 914] 73 x [874, 914] 54 x [640, 802] 39 x [322, 382, 707] 16 x [165, 382, 631] 80 x [191, 344] 38 x [86, 333, 546, 884] 44 x [86, 128, 809, 904] 2 x [624, 937] 21 x [320, 988] 3 x [26, 176, 662, 932] 16 x [176, 639, 765, 932, 966] 2 x [413, 821] 44 x [598, 720, 821, 985] 16 x [469, 727, 856] 3 x [856, 909, 920] 1 x [689, 856, 873, 986] 28 x [15, 315, 967, 1000] 3 x [283, 311, 649, 967] 15 x [149, 649, 754, 967] 37 x [351, 851, 884, 998] 20 x [100, 273] 48 x [100, 595] 22 x [78, 100] 13 x [103, 800] 10 x [406, 800] 1 x [264, 397, 854] 27 x [143, 264, 318, 369, 750] 60 x [264, 451, 631, 761] 1 x [470, 746, 883] 42 x [470, 746, 993] 27 x [276, 375, 470, 630, 750] 1 x [143, 369, 435, 470, 843] 1 x [732, 793, 798, 884] 1 x [451, 629, 732, 793] 7 x [24, 435, 630, 732, 793] 57 x [343, 477] 24 x [220, 400] 5 x [400, 488] 1 x [400, 889] 35 x [569, 903, 941] 17 x [58, 858, 903] 22 x [722, 900, 903] 38 x [452, 586, 594, 982] 14 x [285, 538] 49 x [285, 755] 4 x [384, 719, 746] 54 x [317, 384] 3 x [384, 471] 1 x [384, 634] 1 x [384, 988] 1 x [62, 354, 375, 630, 746] 3 x [140, 622, 980] 25 x [82, 140, 622] 9 x [245, 517, 656] 43 x [653, 656, 861] 72 x [82, 507, 749] 3 x [216, 624] 47 x [65, 624] 21 x [624, 763] 37 x [374, 565] 8 x [14, 140, 872] 11 x [140, 376, 872] 2 x [140, 658, 872] 2 x [140, 746, 783] 1 x [140, 746, 963] 1 x [289, 639, 765, 906, 982] 27 x [289, 536, 854] 62 x [69, 485] 8 x [69, 412] 4 x [58, 536, 592] 1 x [536, 592, 730] 31 x [8, 664, 819] 2 x [7, 543] 2 x [543, 695] 9 x [543, 742] 8 x [156, 365, 510, 642] 3 x [127, 388, 510, 642, 765] 74 x [296, 312, 642, 711] 65 x [535, 621] 28 x [397, 531, 854] 29 x [558, 658, 872] 66 x [71, 558, 895] 90 x [101, 180, 403, 935] 5 x [226, 530, 583, 935] 2 x [127, 375, 530, 669, 935] 4 x [326, 945] 1 x [748, 945] 3 x [334, 848] 2 x [396, 507, 895] 8 x [92, 396, 507] 35 x [396, 476, 627, 639, 966] 16 x [396, 652, 719] 17 x [396, 547, 831] 1 x [396, 774, 852] 73 x [136, 901] 13 x [661, 901] 56 x [401, 928] 32 x [383, 767] 69 x [185, 275] 52 x [6, 653, 941] 10 x [308, 783, 863] 3 x [343, 588, 863] 3 x [406, 588, 863] 25 x [343, 828, 863] 1 x [53, 516, 818, 863] 15 x [35, 669, 765, 818, 863] 1 x [127, 476, 818, 863, 893] 33 x [245, 250, 498] 20 x [245, 250, 934] 25 x [245, 448, 685] 1 x [245, 619, 774] 75 x [332, 379, 593, 700] 13 x [593, 852, 879] 27 x [308, 785] 26 x [135, 153, 380, 882] 1 x [205, 241, 784] 49 x [176, 241, 722] 2 x [241, 785] 8 x [241, 639, 765, 933, 986] 3 x [507, 588, 895] 34 x [301, 588, 920] 15 x [112, 588, 685] 35 x [372, 588, 685] 6 x [47, 211] 69 x [47, 360] 7 x [227, 408] 37 x [227, 416] 5 x [439, 952] 23 x [952, 984] 68 x [513, 832] 1 x [513, 883] 6 x [513, 913] 4 x [546, 843, 872, 921] 18 x [154, 662, 843, 872] 18 x [323, 701] 22 x [78, 940] 1 x [473, 664] 6 x [664, 681] 67 x [123, 230] 2 x [123, 658] 4 x [351, 452, 541, 921] 16 x [351, 424, 541, 959] 30 x [422, 661] 14 x [221, 283, 697, 985] 3 x [143, 221, 369, 697, 750] 85 x [252, 286] 16 x [203, 629, 731] 91 x [342, 481] 2 x [211, 408] 2 x [408, 661] 23 x [408, 791] 21 x [303, 450, 654, 921] 3 x [303, 542, 654, 769] 5 x [97, 306] 8 x [97, 953] 12 x [602, 999] 25 x [257, 523] 45 x [22, 257] 27 x [89, 257] 39 x [3, 450, 586, 746] 67 x [387, 686, 732] 1 x [102, 686] 3 x [675, 686] 77 x [370, 599] 27 x [641, 791] 26 x [182, 310] 62 x [310, 804] 8 x [49, 104, 976, 982] 3 x [104, 127, 765, 893, 982] 71 x [49, 436, 541, 970] 57 x [251, 553] 40 x [98, 221, 321] 1 x [98, 221, 575] 3 x [221, 575, 819] 6 x [98, 221, 845] 5 x [221, 279, 403, 873] 1 x [221, 279, 332, 795] 11 x [404, 538] 23 x [96, 202, 224, 905] 3 x [96, 311, 392, 905] 97 x [363, 678] 3 x [678, 760] 11 x [131, 992] 75 x [773, 992] 65 x [738, 891] 44 x [454, 779] 3 x [779, 891] 3 x [779, 975] 42 x [334, 786] 55 x [536, 811] 39 x [243, 324] 9 x [223, 324, 659, 737] 2 x [324, 354, 375, 630, 737] 4 x [454, 497, 904] 28 x [440, 497] 85 x [158, 512] 55 x [460, 603] 11 x [158, 894] 2 x [497, 894] 12 x [565, 894] 51 x [497, 918] 5 x [312, 451, 493, 754] 3 x [312, 411, 493, 711] 2 x [205, 369, 435, 493, 560] 6 x [205, 388, 493, 651, 893] 64 x [303, 524] 26 x [525, 770] 30 x [337, 528] 4 x [303, 623] 1 x [364, 623] 5 x [623, 770] 4 x [623, 787] 18 x [657, 770] 94 x [787, 797] 62 x [364, 908] 43 x [415, 963] 23 x [723, 975] 75 x [313, 566] 2 x [566, 646] 7 x [74, 545] 1 x [538, 545] 18 x [70, 81] 5 x [81, 896] 65 x [70, 139] 76 x [304, 987] 63 x [240, 457] 23 x [537, 987] 4 x [537, 896] 1 x [75, 582] 16 x [231, 582] 83 x [582, 788] 35 x [157, 768] 2 x [258, 768] 2 x [258, 847] 3 x [258, 994] 72 x [478, 579] 9 x [478, 768] 90 x [660, 916] 6 x [191, 830] 2 x [473, 830] 22 x [830, 881] 31 x [830, 890] 52 x [18, 389] 67 x [46, 714] 75 x [237, 278] 3 x [237, 646] 7 x [237, 714] 68 x [306, 605] 5 x [234, 806] 24 x [61, 813] 60 x [72, 146] 84 x [4, 44] 98 x [266, 638] 8 x [254, 475] 1 x [475, 638] 50 x [645, 747] 2 x [427, 684] 1 x [684, 747] 31 x [684, 864] 38 x [534, 728] 43 x [822, 864] 8 x [4, 922] 10 x [251, 922] 2 x [815, 922] 25 x [427, 974] 13 x [607, 618, 784] 4 x [401, 454, 784] 37 x [72, 938] 14 x [380, 938] 41 x [279, 540] 96 x [898, 899] 14 x [279, 950] 3 x [610, 950] 1 x [898, 950] 88 x [281, 681] 98 x [359, 695] 61 x [168, 529] 8 x [556, 897] 4 x [7, 556] 11 x [556, 557] 48 x [574, 757] 85 x [124, 596] 1 x [168, 596] 3 x [596, 757] 65 x [620, 742] 38 x [780, 897] 4 x [764, 869] 2 x [631, 731, 869] 85 x [161, 178, 869] 64 x [247, 949] 94 x [429, 760] 44 x [602, 812] 27 x [621, 929] 2 x [929, 949] 5 x [949, 960] 82 x [346, 392, 563] 40 x [129, 243] 2 x [295, 814] 72 x [295, 584] 1 x [668, 814] 56 x [28, 668] 4 x [438, 539, 555] 5 x [438, 555, 912] 5 x [85, 439] 22 x [113, 336] 4 x [113, 439] 6 x [210, 763] 9 x [210, 870] 42 x [154, 193, 662, 840] 94 x [48, 64, 583] 41 x [144, 282, 302] 49 x [53, 164, 691] 34 x [150, 181, 560, 955] 33 x [246, 483, 560, 955] 46 x [298, 508, 880] 72 x [265, 702, 923] 24 x [102, 409] 42 x [391, 409, 589] 14 x [134, 988] 46 x [184, 412] 17 x [107, 339] 11 x [339, 383] 1 x [339, 889] 8 x [252, 755] 16 x [340, 755] 3 x [755, 889] 94 x [488, 926] 42 x [20, 142, 489] 13 x [20, 76, 161] 9 x [42, 228, 489] 48 x [42, 163, 378] 54 x [115, 795, 934] 12 x [115, 202, 735] 20 x [120, 764] 1 x [126, 228, 873] 8 x [76, 126, 735] 78 x [33, 238, 424] 58 x [43, 637] 10 x [202, 568, 637] 68 x [166, 577, 671] 1 x [228, 671, 873] 3 x [381, 577, 671] 77 x [453, 734, 808] 15 x [213, 888] 6 x [753, 995] 20 x [94, 518] 11 x [94, 307, 795] 47 x [259, 468] 2 x [259, 299, 547] 89 x [294, 705] 3 x [209, 294, 820] 16 x [209, 346, 500] 6 x [48, 307, 500] 3 x [307, 500, 820] 8 x [710, 811] 2 x [386, 710, 906] 33 x [226, 291, 710] 92 x [699, 715] 4 x [135, 209, 715] 64 x [95, 612, 759] 13 x [299, 763, 906] 27 x [218, 862] 3 x [63, 676, 862] 7 x [147, 735, 862] 13 x [371, 494] 46 x [494, 948] 34 x [587, 853] 86 x [634, 834] 80 x [471, 965] 85 x [13, 505] 4 x [13, 871] 5 x [117, 214] 93 x [117, 776] 16 x [152, 204] 35 x [204, 717] 2 x [204, 871] 66 x [214, 268] 1 x [214, 550] 22 x [239, 550] 37 x [503, 550] 1 x [550, 871] 1 x [337, 772] 5 x [89, 417] 23 x [89, 608] 5 x [261, 417] 39 x [261, 756] 11 x [361, 417] 44 x [417, 608] 8 x [688, 756] 2 x [688, 807] 38 x [716, 756] 6 x [51, 690, 734] 2 x [51, 690, 799] 4 x [51, 799, 889] 21 x [30, 877, 889] 8 x [420, 775, 889] 56 x [775, 887, 889] 82 x [10, 130, 924] 6 x [10, 775, 924] 2 x [682, 775, 924] 20 x [5, 51, 962] 3 x [52, 418, 709] 11 x [33, 52, 166] 49 x [138, 195, 709] 1 x [23, 352, 866] 15 x [352, 398, 866] 1 x [352, 418, 687] 24 x [352, 418, 857] 60 x [30, 504, 962] 59 x [486, 792, 857] 84 x [23, 823, 930] 1 x [486, 709, 823] 19 x [486, 687, 936] 25 x [418, 846, 936] 14 x [125, 279, 329, 850] 2 x [125, 279, 850, 970] 6 x [23, 655, 829] 18 x [235, 655, 829] 14 x [299, 861, 910] 8 x [63, 299, 864] 8 x [866, 930, 975]