Build (method = -2) #dp: 5415329 Step-3' Graph: 128905 vertices and 386708 arcs (2152.02s) Step-4' Graph: 23439 vertices and 175776 arcs (2155.24s) #V4/#V3 = 0.18 #A4/#A3 = 0.45 Ready! (2155.25s) Optimize a model with 24439 rows, 175777 columns and 480457 nonzeros Presolve removed 526 rows and 2245 columns Presolve time: 1.71s Presolved: 23913 rows, 173532 columns, 476328 nonzeros Variable types: 0 continuous, 173532 integer (2933 binary) Optimize a model with 23913 rows, 173532 columns and 476328 nonzeros Presolve removed 34 rows and 34 columns Presolved: 23879 rows, 173498 columns, 476388 nonzeros Root barrier log... Ordering time: 1.58s Barrier statistics: AA' NZ : 2.810e+05 Factor NZ : 1.887e+06 (roughly 100 MBytes of memory) Factor Ops : 5.914e+08 (less than 1 second per iteration) Threads : 1 Objective Residual Iter Primal Dual Primal Dual Compl Time 0 4.73418156e+08 -5.32242998e+08 5.35e+10 6.27e-02 6.80e+05 2s 1 7.31393417e+07 -4.33492154e+08 5.60e+09 8.59e-03 7.26e+04 3s 2 3.04664961e+07 -3.08808027e+08 2.33e+09 2.35e-14 3.05e+04 3s 3 2.21652109e+06 -1.84635649e+08 1.50e+08 3.23e-12 2.49e+03 4s 4 2.27222261e+05 -4.33405068e+07 1.08e+07 1.62e-12 2.58e+02 4s 5 1.06192394e+05 -1.61347830e+07 2.91e+06 1.51e-12 8.04e+01 4s 6 8.57970606e+04 -6.04732870e+06 1.68e+06 1.71e-12 3.65e+01 5s 7 7.75830444e+04 -3.64843571e+06 1.23e+06 1.80e-12 2.41e+01 5s 8 7.01287823e+04 -2.78496292e+06 8.53e+05 1.72e-12 1.73e+01 5s 9 6.61767832e+04 -2.16678436e+06 6.62e+05 1.92e-12 1.33e+01 6s 10 6.19510493e+04 -1.56456030e+06 4.90e+05 1.93e-12 9.54e+00 6s 11 5.43586397e+04 -1.43441997e+06 1.99e+05 2.36e-12 6.23e+00 6s 12 5.11607783e+04 -9.89651743e+05 1.04e+05 2.05e-12 3.96e+00 7s 13 4.97631570e+04 -7.33474864e+05 7.23e+04 2.24e-12 2.89e+00 7s 14 4.94267017e+04 -6.61791745e+05 6.39e+04 2.31e-12 2.59e+00 7s 15 4.75180257e+04 -4.63236537e+05 3.48e+04 2.26e-12 1.74e+00 8s 16 4.50605479e+04 -3.00571567e+05 1.63e+04 2.01e-12 1.11e+00 8s 17 4.27106542e+04 -2.04211806e+05 8.97e+03 2.06e-12 7.65e-01 8s 18 4.11301918e+04 -1.62785484e+05 7.48e+03 2.21e-12 6.28e-01 9s 19 3.63463003e+04 -1.21268425e+05 3.60e+03 2.44e-12 4.71e-01 9s 20 3.27188802e+04 -7.93350640e+04 2.03e+03 2.15e-12 3.31e-01 9s 21 2.97128521e+04 -5.48662662e+04 1.18e+03 2.12e-12 2.48e-01 10s 22 2.84513891e+04 -3.19299188e+04 9.17e+02 1.99e-12 1.77e-01 10s 23 2.72367319e+04 -1.99429385e+04 7.19e+02 2.34e-12 1.38e-01 10s 24 2.49770047e+04 -9.04855839e+03 4.52e+02 2.23e-12 9.90e-02 11s 25 2.35353366e+04 6.08033786e+02 3.02e+02 1.85e-12 6.66e-02 11s 26 2.28181679e+04 4.92759842e+03 2.29e+02 2.03e-12 5.19e-02 12s 27 2.19493305e+04 8.92213579e+03 1.37e+02 2.39e-12 3.77e-02 12s 28 2.14495379e+04 1.59754777e+04 7.52e+01 1.91e-12 1.58e-02 12s 29 2.12252583e+04 1.78712363e+04 5.03e+01 1.75e-12 9.69e-03 13s 30 2.11051292e+04 1.85672498e+04 3.81e+01 1.87e-12 7.33e-03 13s 31 2.10068826e+04 1.88176879e+04 2.82e+01 2.30e-12 6.32e-03 13s 32 2.09194398e+04 1.93617616e+04 1.88e+01 2.23e-12 4.49e-03 14s 33 2.08673090e+04 1.97876780e+04 1.31e+01 2.28e-12 3.11e-03 14s 34 2.08322485e+04 1.99438323e+04 9.27e+00 2.39e-12 2.56e-03 14s 35 2.07839712e+04 2.02823427e+04 4.57e+00 1.86e-12 1.45e-03 15s 36 2.07602306e+04 2.04468373e+04 2.24e+00 1.81e-12 9.03e-04 15s 37 2.07582040e+04 2.04629485e+04 2.07e+00 2.34e-12 8.50e-04 15s 38 2.07515787e+04 2.05001634e+04 1.60e+00 2.37e-12 7.24e-04 16s 39 2.07475236e+04 2.05523502e+04 1.34e+00 2.47e-12 5.62e-04 16s 40 2.07422257e+04 2.05937542e+04 9.48e-01 2.27e-12 4.27e-04 16s 41 2.07406504e+04 2.06006915e+04 8.30e-01 2.71e-12 4.03e-04 17s 42 2.07374076e+04 2.06221234e+04 6.07e-01 2.61e-12 3.32e-04 17s 43 2.07355633e+04 2.06453804e+04 4.98e-01 2.79e-12 2.60e-04 17s 44 2.07351839e+04 2.06609546e+04 4.78e-01 2.44e-12 2.14e-04 18s 45 2.07305134e+04 2.06762937e+04 1.76e-01 2.33e-12 1.56e-04 18s 46 2.07294665e+04 2.06872711e+04 1.35e-01 2.27e-12 1.21e-04 19s 47 2.07284480e+04 2.06975863e+04 1.00e-01 2.36e-12 8.88e-05 19s 48 2.07282868e+04 2.06989617e+04 9.34e-02 2.75e-12 8.44e-05 19s 49 2.07279087e+04 2.07019747e+04 8.17e-02 2.90e-12 7.46e-05 20s 50 2.07274955e+04 2.07030294e+04 6.96e-02 3.06e-12 7.04e-05 20s 51 2.07271768e+04 2.07065340e+04 6.00e-02 3.04e-12 5.94e-05 20s 52 2.07270293e+04 2.07105956e+04 5.62e-02 2.81e-12 4.73e-05 21s 53 2.07262993e+04 2.07157731e+04 3.26e-02 2.19e-12 3.03e-05 21s 54 2.07262029e+04 2.07191894e+04 2.96e-02 2.16e-12 2.02e-05 21s 55 2.07260252e+04 2.07247298e+04 2.93e-03 1.47e-12 3.73e-06 22s 56 2.07257179e+04 2.07256375e+04 6.25e-05 1.53e-12 2.32e-07 22s 57 2.07257133e+04 2.07257133e+04 6.80e-08 1.82e-12 3.74e-11 22s Barrier solved model in 57 iterations and 22.24 seconds Optimal objective 2.07257133e+04 Root crossover log... 5428 DPushes remaining with DInf 0.0000000e+00 22s 0 DPushes remaining with DInf 6.3902700e+03 23s 72130 PPushes remaining with PInf 0.0000000e+00 23s 60820 PPushes remaining with PInf 0.0000000e+00 25s 42747 PPushes remaining with PInf 0.0000000e+00 30s 29242 PPushes remaining with PInf 0.0000000e+00 35s 16970 PPushes remaining with PInf 0.0000000e+00 40s 4461 PPushes remaining with PInf 0.0000000e+00 45s 0 PPushes remaining with PInf 0.0000000e+00 47s Push phase complete: Pinf 0.0000000e+00, Dinf 6.3902700e+03 47s Root simplex log... Iteration Objective Primal Inf. Dual Inf. Time 77560 2.0725713e+04 0.000000e+00 0.000000e+00 47s 77560 2.0725713e+04 0.000000e+00 0.000000e+00 47s Root relaxation: objective 2.072571e+04, 77560 iterations, 46.81 seconds Total elapsed time = 94.36s Total elapsed time = 143.01s Total elapsed time = 171.62s Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 20725.7133 0 1021 - 20725.7133 - - 194s H 0 0 20728.000000 20725.7133 0.01% - 251s 0 0 20725.7133 0 1152 20728.0000 20725.7133 0.01% - 335s H 0 0 20727.000000 20725.7133 0.01% - 373s 0 0 20725.7133 0 1195 20727.0000 20725.7133 0.01% - 374s 0 0 20725.7133 0 1311 20727.0000 20725.7133 0.01% - 398s 0 0 20725.7133 0 1312 20727.0000 20725.7133 0.01% - 416s 0 0 20725.7133 0 992 20727.0000 20725.7133 0.01% - 652s 0 0 20725.7133 0 1135 20727.0000 20725.7133 0.01% - 1092s 0 0 20725.7133 0 1310 20727.0000 20725.7133 0.01% - 1123s 0 0 20725.7133 0 1543 20727.0000 20725.7133 0.01% - 1135s H 0 0 20726.000000 20725.7133 0.00% - 1146s Cutting planes: Gomory: 2 Zero half: 1 Explored 0 nodes (452121 simplex iterations) in 1146.77 seconds Thread count was 1 (of 8 available processors) Optimal solution found (tolerance 0.00e+00) Best objective 2.072600000000e+04, best bound 2.072600000000e+04, gap 0.0% Preprocessing time: 2155.92 seconds Gurobi run time: 1146.77 seconds Total run time: 3302.69 seconds Objective: 20726 Solution: 22 x [312, 600] 13 x [330, 533, 551] 6 x [352, 408] 83 x [352, 564] 27 x [667, 740] 21 x [740, 748] 39 x [740, 953] 26 x [21, 809] 58 x [195, 809] 26 x [79, 171] 5 x [157, 171] 12 x [276, 697, 817] 2 x [38, 576, 638] 5 x [197, 576, 638] 19 x [323, 638, 642] 1 x [57, 166, 465] 11 x [465, 576, 817] 22 x [157, 465, 753] 41 x [411, 465, 496] 16 x [465, 518, 848] 2 x [16, 88, 465] 14 x [687, 725] 17 x [120, 324] 72 x [120, 383] 33 x [107, 355] 22 x [355, 953] 42 x [355, 787, 858] 2 x [872, 943] 4 x [232, 246, 518] 8 x [246, 503, 972] 14 x [119, 859] 34 x [859, 882] 17 x [220, 859, 991] 2 x [44, 277, 594] 70 x [898, 994] 19 x [277, 960] 53 x [866, 960] 1 x [885, 960] 4 x [95, 694] 1 x [156, 808] 5 x [412, 452, 979] 1 x [447, 452, 979] 12 x [503, 683, 979] 13 x [456, 542, 979] 35 x [447, 768, 979] 33 x [28, 221] 33 x [221, 844] 2 x [239, 418, 491] 5 x [239, 491, 967] 18 x [305, 491, 516] 2 x [372, 491, 691] 25 x [46, 147, 456] 21 x [46, 691, 825] 31 x [46, 159, 825] 6 x [46, 190, 974] 7 x [46, 238, 691] 3 x [46, 384, 974] 27 x [87, 280] 50 x [87, 945] 8 x [404, 576, 900] 30 x [104, 325] 15 x [325, 610] 11 x [20, 434, 576] 5 x [434, 576, 941] 47 x [88, 103, 434] 4 x [88, 434, 666] 10 x [88, 434, 897] 1 x [807, 817, 972] 21 x [396, 963] 14 x [882, 963] 47 x [197, 811] 46 x [74, 219, 412] 47 x [74, 388, 594] 25 x [346, 913] 7 x [98, 456, 649] 27 x [412, 479, 649] 27 x [447, 649, 775] 4 x [649, 838, 936] 8 x [13, 649, 964] 20 x [409, 826] 18 x [345, 965] 11 x [190, 327] 38 x [13, 53, 572] 21 x [53, 387, 972] 1 x [533, 852, 969] 6 x [852, 899, 969] 37 x [172, 418] 9 x [619, 942] 52 x [190, 942] 13 x [314, 554, 574] 9 x [554, 574, 981] 1 x [554, 946, 981] 43 x [2, 882] 22 x [2, 57, 268] 24 x [40, 111] 38 x [75, 111] 2 x [111, 442] 9 x [111, 699] 4 x [111, 551, 891] 1 x [111, 140, 991] 17 x [275, 456, 850] 61 x [227, 815, 850] 17 x [301, 447, 624] 2 x [227, 624, 826] 4 x [57, 324, 624] 20 x [57, 624, 880] 33 x [624, 709, 778] 29 x [454, 965] 49 x [95, 454] 13 x [177, 480] 26 x [320, 480] 28 x [480, 780] 1 x [88, 480, 753] 23 x [45, 251] 25 x [251, 421] 6 x [591, 873] 65 x [739, 873] 49 x [206, 333] 38 x [653, 711] 8 x [653, 855] 7 x [582, 823] 41 x [426, 790] 3 x [212, 426] 29 x [426, 898] 5 x [855, 928] 6 x [8, 775] 94 x [8, 830] 1 x [217, 372] 14 x [217, 536] 4 x [512, 925] 44 x [29, 210] 13 x [29, 965] 9 x [592, 739] 69 x [35, 705] 1 x [20, 893] 23 x [154, 215] 42 x [215, 913] 12 x [215, 623, 992] 4 x [215, 753, 933] 8 x [102, 215, 411] 5 x [32, 215, 891] 5 x [215, 232, 753] 65 x [184, 386] 1 x [184, 848] 43 x [40, 660] 74 x [94, 425, 605] 2 x [40, 783] 16 x [428, 783] 42 x [502, 783] 61 x [735, 951] 35 x [925, 951] 1 x [687, 722] 43 x [234, 681] 14 x [86, 100] 16 x [86, 808] 47 x [86, 912] 14 x [611, 876] 55 x [628, 876] 16 x [876, 982] 8 x [118, 130] 46 x [118, 374] 44 x [118, 742] 35 x [99, 354] 13 x [158, 354] 37 x [354, 687] 12 x [280, 414] 38 x [332, 414] 25 x [414, 877] 22 x [646, 655] 6 x [797, 810] 38 x [729, 797] 2 x [748, 797] 28 x [351, 734] 69 x [6, 351] 18 x [101, 438, 907] 15 x [191, 220, 907] 25 x [220, 239, 907] 2 x [220, 551, 907] 3 x [669, 933, 952] 4 x [278, 595, 613] 41 x [262, 613, 858] 2 x [194, 607, 613] 6 x [160, 384, 974] 20 x [140, 391, 470] 2 x [140, 157, 470] 59 x [362, 438, 708] 10 x [201, 708, 975] 2 x [708, 858, 975] 7 x [417, 708, 891] 4 x [28, 708, 992] 15 x [342, 708, 817] 6 x [580, 856] 80 x [328, 430, 580] 52 x [112, 210] 24 x [50, 201, 962] 1 x [50, 422, 946] 11 x [50, 422, 986] 47 x [388, 422, 574] 3 x [54, 543, 886] 32 x [371, 981] 61 x [49, 378] 1 x [54, 677, 891] 11 x [206, 677, 891] 9 x [362, 677, 891] 6 x [82, 529, 677] 10 x [677, 891, 984] 36 x [50, 677, 989] 37 x [208, 326] 14 x [208, 693] 50 x [870, 879] 21 x [43, 98, 140] 7 x [43, 104, 989] 1 x [43, 104, 370] 8 x [92, 115, 831] 3 x [175, 314, 831] 17 x [314, 831, 864] 41 x [242, 831, 946] 15 x [574, 778, 831] 63 x [569, 716] 17 x [11, 77, 756] 23 x [77, 361, 773] 27 x [77, 268, 314] 7 x [77, 314, 375] 1 x [416, 605, 845] 27 x [175, 416, 791] 3 x [416, 788, 817] 7 x [416, 683, 817] 75 x [289, 489] 2 x [466, 560, 889] 14 x [140, 466, 715] 9 x [131, 466, 992] 17 x [82, 466, 496] 26 x [304, 978] 31 x [51, 304] 31 x [363, 957] 52 x [216, 358] 2 x [358, 513] 40 x [59, 431] 1 x [59, 104] 1 x [59, 610] 90 x [730, 999] 2 x [387, 620, 730] 62 x [91, 961] 24 x [838, 961] 31 x [324, 764, 992] 5 x [756, 764, 773] 1 x [98, 552, 764] 3 x [193, 252, 764, 803] 16 x [578, 901] 23 x [877, 901] 18 x [243, 317, 901] 2 x [387, 620, 901] 18 x [153, 378] 53 x [543, 849, 857] 13 x [220, 551, 849] 7 x [138, 549] 46 x [135, 529] 1 x [765, 785] 51 x [570, 765] 83 x [163, 241] 78 x [584, 762] 26 x [189, 271, 448] 13 x [248, 496, 720] 34 x [218, 404, 432] 10 x [239, 476, 966] 2 x [370, 476, 966] 20 x [239, 778, 966] 71 x [407, 862] 1 x [273, 584] 58 x [273, 527] 30 x [234, 273] 18 x [432, 650, 716] 5 x [432, 647, 650] 2 x [597, 883, 889] 31 x [318, 404, 883] 8 x [197, 883, 992] 18 x [61, 116, 883] 23 x [781, 903] 12 x [198, 863] 24 x [198, 500] 56 x [224, 780] 52 x [183, 460] 10 x [693, 868] 3 x [779, 868] 32 x [110, 562] 22 x [162, 432, 773] 10 x [78, 840] 18 x [30, 444] 53 x [30, 408] 19 x [238, 281, 367] 2 x [238, 281, 516] 38 x [238, 281, 874] 26 x [64, 281, 688] 4 x [281, 688, 896] 4 x [17, 431, 686] 3 x [17, 749, 992] 18 x [17, 189, 896] 10 x [237, 464, 702] 47 x [54, 464, 509] 7 x [219, 464, 753] 45 x [31, 41] 20 x [444, 987] 18 x [152, 173, 686] 73 x [148, 173, 266] 62 x [83, 663] 26 x [292, 431] 2 x [104, 292] 65 x [292, 799] 22 x [89, 662] 11 x [89, 862] 13 x [142, 705] 4 x [142, 337] 13 x [560, 608] 57 x [608, 997] 68 x [473, 845] 19 x [446, 473] 38 x [279, 297] 14 x [279, 456, 685] 1 x [279, 456, 841] 33 x [726, 775] 28 x [41, 364] 46 x [134, 737, 826] 52 x [61, 642, 822] 67 x [316, 984] 13 x [397, 458, 662] 53 x [155, 179] 10 x [275, 328, 498] 55 x [498, 533, 697] 10 x [41, 137] 12 x [123, 527] 1 x [115, 468, 984] 8 x [219, 468, 633] 1 x [57, 219, 468] 8 x [468, 715, 803] 1 x [262, 361, 468, 623] 4 x [380, 468, 483, 933] 22 x [675, 958] 25 x [267, 678] 21 x [231, 678] 18 x [398, 678] 5 x [609, 678] 53 x [92, 563, 607] 4 x [563, 737, 778] 10 x [6, 448, 563] 2 x [61, 563, 662] 1 x [575, 856] 2 x [275, 456, 575] 1 x [575, 683, 841] 37 x [47, 917] 17 x [790, 917] 20 x [675, 887] 55 x [556, 812] 6 x [257, 675, 869] 36 x [167, 257, 373] 1 x [257, 373, 382] 10 x [179, 474] 15 x [67, 68] 41 x [67, 216] 7 x [609, 674] 30 x [674, 949] 34 x [733, 995] 17 x [463, 508, 995] 31 x [547, 995] 7 x [663, 995] 3 x [440, 640] 56 x [334, 398] 2 x [4, 688] 45 x [131, 285] 17 x [166, 313] 23 x [54, 307, 633] 2 x [307, 378, 992] 27 x [307, 509, 776] 1 x [307, 826, 992] 17 x [307, 509, 840] 1 x [307, 840, 993] 30 x [203, 863] 1 x [88, 203, 702] 9 x [203, 368, 702] 44 x [222, 998] 46 x [419, 463, 998] 4 x [70, 614, 736] 13 x [104, 401, 614] 16 x [506, 614, 723] 34 x [369, 614, 964] 1 x [614, 952, 974] 85 x [62, 738] 39 x [385, 940] 19 x [481, 940] 33 x [742, 940] 11 x [444, 835] 17 x [51, 568] 13 x [568, 627] 7 x [435, 560, 927] 13 x [560, 905, 927] 2 x [186, 948] 40 x [186, 444] 7 x [186, 872] 1 x [186, 200, 720] 46 x [264, 303] 4 x [308, 321, 675, 768] 14 x [3, 321, 675, 731] 36 x [114, 640] 40 x [114, 687] 12 x [114, 368, 572] 55 x [562, 633, 769] 19 x [399, 400, 769] 21 x [194, 262, 605, 769] 7 x [56, 183] 6 x [56, 697, 959] 4 x [56, 533, 959] 82 x [56, 70, 930] 30 x [247, 413] 23 x [27, 806, 813] 2 x [27, 881, 954] 2 x [179, 555] 19 x [164, 555] 11 x [179, 612, 905] 37 x [170, 869, 896] 4 x [170, 373, 896] 11 x [170, 619, 974] 36 x [320, 976] 3 x [389, 727, 760, 768] 15 x [389, 392, 483, 727] 55 x [369, 389, 819, 884] 25 x [689, 714] 6 x [98, 800] 70 x [146, 437] 10 x [38, 253, 315] 1 x [38, 315, 936] 11 x [68, 315, 753] 2 x [315, 664, 933] 13 x [205, 627] 12 x [267, 990] 28 x [311, 905, 990] 28 x [347, 727, 990] 12 x [11, 789] 7 x [438, 493, 861] 3 x [493, 858, 861] 1 x [405, 651, 861] 15 x [538, 686, 861] 2 x [562, 594, 861] 11 x [342, 778, 861] 1 x [754, 778, 861] 14 x [55, 753, 861] 95 x [9, 42] 22 x [625, 630] 75 x [71, 593] 69 x [202, 467] 17 x [202, 496] 27 x [12, 566] 9 x [284, 566] 1 x [336, 566] 1 x [272, 287, 651] 17 x [287, 373, 869] 35 x [68, 287, 702] 20 x [104, 287, 905] 4 x [190, 287, 661] 1 x [698, 980] 35 x [944, 980] 24 x [525, 926] 11 x [443, 743, 803] 40 x [108, 506, 743] 35 x [458, 702, 743] 18 x [136, 303] 21 x [136, 865] 47 x [260, 860] 19 x [786, 860] 82 x [245, 272, 833] 64 x [750, 871] 29 x [267, 750] 75 x [36, 823] 1 x [36, 918] 6 x [420, 821] 38 x [1, 821] 1 x [1, 492] 50 x [492, 611] 40 x [169, 477] 79 x [48, 308, 801, 915] 13 x [48, 266, 483, 801] 1 x [106, 490, 754] 24 x [106, 339, 753] 22 x [72, 106, 390] 2 x [106, 767, 905] 39 x [106, 559] 2 x [106, 663] 15 x [368, 572, 746] 1 x [113, 665] 12 x [113, 865] 45 x [113, 904] 62 x [587, 665] 1 x [541, 814, 971] 4 x [9, 541] 14 x [541, 770] 29 x [60, 784] 51 x [252, 401, 459, 679] 21 x [84, 263, 741] 10 x [84, 400, 773] 18 x [393, 645] 31 x [265, 744] 49 x [254, 1000] 25 x [11, 1000] 38 x [382, 721] 21 x [150, 299] 2 x [150, 174] 6 x [150, 192] 5 x [150, 544] 15 x [150, 571] 95 x [33, 310] 90 x [255, 290, 967] 46 x [45, 606] 15 x [606, 779] 36 x [182, 269] 34 x [22, 165, 311, 602] 13 x [429, 634, 839] 27 x [634, 703, 839, 991] 3 x [622, 634, 837] 3 x [634, 714, 837] 2 x [634, 837, 918] 1 x [311, 583, 634] 52 x [510, 668] 57 x [475, 656] 27 x [482, 724] 14 x [558, 724] 13 x [124, 793] 12 x [11, 124] 40 x [124, 282] 28 x [124, 356] 32 x [105, 471] 14 x [471, 796] 23 x [639, 795, 834] 19 x [5, 268, 795, 837] 20 x [686, 736, 847] 5 x [390, 524, 679, 847] 18 x [382, 561, 837] 6 x [90, 561, 971] 55 x [243, 561, 890] 13 x [387, 561, 620] 10 x [47, 774] 1 x [10, 851] 4 x [700, 851] 2 x [846, 851] 2 x [745, 749, 946] 1 x [58, 272, 511, 745] 11 x [463, 545, 728] 9 x [508, 562, 728] 5 x [197, 720, 728] 3 x [151, 601] 14 x [151, 360] 26 x [226, 670] 2 x [645, 670] 9 x [670, 682] 31 x [670, 919] 43 x [493, 617, 983] 5 x [244, 617, 736] 10 x [175, 237, 617] 1 x [98, 617, 972] 19 x [617, 686, 838] 15 x [404, 457, 534] 44 x [622, 648] 13 x [439, 700] 35 x [439, 749] 54 x [39, 557] 19 x [39, 950] 67 x [486, 700] 1 x [658, 794] 47 x [185, 236] 1 x [277, 370, 843] 1 x [41, 599] 4 x [599, 659] 19 x [405, 457, 599] 1 x [599, 936] 2 x [37, 127, 576] 18 x [37, 263, 576] 45 x [455, 657] 13 x [455, 978] 34 x [14, 577, 816] 48 x [23, 816] 2 x [19, 696, 931] 2 x [19, 339, 696] 18 x [487, 618, 696] 19 x [73, 932] 1 x [213, 390, 453] 3 x [213, 585, 905] 3 x [588, 794, 930] 1 x [588, 972, 985] 1 x [311, 588, 950] 5 x [104, 588, 702] 2 x [13, 104, 588] 7 x [189, 255, 588] 2 x [255, 588, 804] 4 x [448, 588, 804] 36 x [448, 588, 842] 1 x [61, 588, 967] 1 x [193, 588, 967] 25 x [296, 526, 709, 968] 15 x [199, 233] 69 x [132, 919] 63 x [161, 497, 631] 49 x [348, 747] 20 x [81, 747] 27 x [261, 419, 794] 1 x [261, 794, 993] 1 x [261, 415, 538] 5 x [261, 538, 741] 8 x [161, 261, 262, 415] 1 x [161, 244, 261, 686] 5 x [261, 508, 950] 10 x [168, 261, 631] 2 x [261, 540, 801] 1 x [261, 631, 801] 39 x [196, 528] 16 x [528, 637] 1 x [527, 546] 7 x [546, 690] 59 x [546, 711] 59 x [537, 895] 6 x [583, 717] 40 x [143, 410] 11 x [26, 469, 757] 15 x [390, 749, 757] 34 x [415, 591, 757] 26 x [418, 757, 933] 7 x [360, 973] 29 x [359, 450] 19 x [143, 379] 61 x [379, 635] 63 x [244, 309, 794] 3 x [309, 819, 985] 3 x [309, 399, 803] 1 x [309, 803, 838] 42 x [139, 225, 604] 29 x [139, 225, 931] 7 x [187, 225, 302] 9 x [14, 225, 577] 2 x [180, 632, 946] 7 x [240, 632, 977] 33 x [115, 632, 803, 968] 7 x [259, 632, 930, 968] 4 x [144, 576, 632, 968] 2 x [72, 308, 632, 768] 45 x [81, 934] 34 x [92, 230, 490] 3 x [92, 230, 788] 8 x [10, 230, 250] 33 x [293, 347, 423] 1 x [423, 732, 803] 13 x [347, 423, 493] 5 x [390, 423, 793] 7 x [423, 603, 803] 35 x [423, 760, 768, 839] 6 x [423, 719, 828, 924] 2 x [209, 793] 4 x [199, 209] 9 x [236, 463, 920] 46 x [521, 920, 985] 35 x [508, 651, 920] 7 x [179, 521, 920] 2 x [320, 524, 920] 77 x [65, 365] 15 x [65, 343] 36 x [340, 916] 12 x [349, 916, 947] 3 x [108, 519, 916] 47 x [250, 258, 551, 755] 22 x [24, 401, 494] 1 x [24, 419, 690] 1 x [7, 24, 516] 21 x [24, 483, 706, 971] 28 x [501, 616] 52 x [644, 751] 62 x [145, 363] 7 x [163, 929] 14 x [751, 878] 20 x [695, 751, 983] 5 x [348, 793] 25 x [34, 188, 695] 10 x [14, 188, 519] 5 x [133, 449, 508] 1 x [449, 772, 947] 12 x [395, 449, 824] 12 x [436, 449, 824] 8 x [90, 449, 495] 22 x [449, 487, 618] 1 x [131, 771] 5 x [501, 771] 22 x [360, 499] 7 x [535, 935] 8 x [450, 935] 23 x [72, 85, 867] 1 x [85, 867, 891] 18 x [298, 867, 985] 1 x [420, 552, 867] 5 x [347, 715, 867] 20 x [55, 347, 867] 14 x [488, 565] 1 x [149, 250, 981] 2 x [108, 211, 601] 9 x [211, 579, 680] 61 x [211, 680, 906] 2 x [179, 211, 250] 8 x [181, 294] 13 x [143, 573] 23 x [180, 488] 8 x [249, 552, 820] 17 x [665, 820] 49 x [636, 878] 83 x [429, 462] 5 x [937, 955, 996] 15 x [646, 827] 43 x [270, 827] 57 x [15, 341] 34 x [15, 690] 47 x [415, 523, 529] 29 x [457, 523, 600] 81 x [350, 485, 511] 9 x [485, 626, 914] 56 x [73, 504] 41 x [394, 506, 524, 713] 15 x [54, 394, 456] 1 x [394, 753, 791] 1 x [394, 441, 679, 768] 12 x [266, 380, 394, 679] 4 x [350, 353, 777] 30 x [353, 618, 793] 2 x [353, 626, 777] 14 x [236, 343] 1 x [54, 376] 1 x [323, 376, 451] 3 x [375, 376, 602, 834] 24 x [376, 458, 952] 19 x [368, 376, 418] 20 x [368, 376, 589] 27 x [253, 567, 615] 13 x [437, 487, 567] 3 x [487, 567, 814, 971] 14 x [487, 567, 635] 7 x [567, 654, 772] 11 x [339, 537, 567] 1 x [339, 567, 981] 1 x [244, 567, 713, 801] 1 x [85, 552, 818] 10 x [818, 914, 938] 26 x [109, 433, 532, 818] 5 x [72, 818, 981] 4 x [180, 302, 505] 18 x [505, 782, 833, 889] 4 x [505, 629, 782, 891] 14 x [505, 782, 892] 2 x [161, 320, 505] 3 x [431, 505, 803] 3 x [311, 505, 532, 602] 14 x [311, 505, 768, 836] 5 x [451, 505, 508] 58 x [3, 344, 772, 924] 16 x [133, 360, 977] 12 x [133, 165, 508, 832] 58 x [180, 187, 914] 6 x [199, 250, 357] 22 x [695, 772, 985] 2 x [103, 311, 695] 72 x [259, 672, 936] 11 x [581, 918] 3 x [405, 921, 985] 15 x [540, 643, 921] 66 x [19, 366, 909] 10 x [19, 366, 579] 97 x [128, 692] 3 x [453, 601, 905] 44 x [265, 601] 3 x [85, 453, 607] 11 x [85, 229, 803] 13 x [85, 507] 86 x [52, 461] 1 x [436, 938, 947] 6 x [453, 671, 938] 30 x [229, 519, 938] 43 x [643, 910, 938] 54 x [718, 759] 40 x [484, 892] 41 x [101, 228, 798] 1 x [109, 947, 950] 3 x [595, 772, 792, 947] 1 x [370, 643, 794] 4 x [229, 453, 519, 891] 1 x [453, 576, 985] 2 x [453, 515, 643] 2 x [429, 445, 453] 5 x [445, 453, 787, 936] 1 x [453, 736, 889] 1 x [291, 453, 532, 604] 1 x [283, 453, 604, 731] 69 x [514, 707] 4 x [52, 288] 51 x [13, 229, 291, 436] 13 x [294, 714] 63 x [294, 808] 6 x [109, 772, 824, 905] 28 x [109, 824, 829] 12 x [436, 792, 806, 824] 40 x [206, 207] 14 x [126, 291, 519, 970] 1 x [519, 532, 602, 970] 4 x [71, 763, 977] 3 x [469, 763, 977] 54 x [335, 349, 684] 1 x [395, 585, 985] 10 x [390, 395, 651] 1 x [63, 165, 395, 508] 8 x [331, 713, 803] 1 x [108, 494, 641] 10 x [103, 641, 977] 13 x [103, 524, 641] 32 x [97, 204] 60 x [34, 286, 495] 45 x [274, 894] 40 x [552, 651, 671] 1 x [654, 671, 680] 1 x [516, 538, 671] 4 x [14, 585, 760, 768] 27 x [14, 214, 585, 954] 51 x [535, 758] 32 x [66, 518, 712] 1 x [66, 595, 792] 1 x [66, 719, 731] 34 x [445, 595, 643, 792] 62 x [167, 782, 926] 4 x [109, 680, 926] 1 x [382, 926, 971] 7 x [58, 517, 585, 977] 7 x [335, 585, 977] 4 x [487, 514, 625] 3 x [382, 487, 625] 3 x [311, 673, 936] 10 x [21, 673] 35 x [337, 625] 44 x [174, 952] 70 x [295, 802] 1 x [802, 903] 90 x [178, 530] 11 x [109, 427, 436] 46 x [399, 427] 63 x [469, 515] 12 x [121, 690] 99 x [424, 586] 3 x [204, 805] 1 x [1, 805] 4 x [759, 805] 34 x [192, 478] 3 x [510, 520] 62 x [288, 413] 63 x [450, 766] 35 x [125, 652, 989] 2 x [277, 370, 652] 5 x [88, 572, 652] 5 x [193, 595, 652] 15 x [10, 256] 7 x [163, 420] 6 x [103, 510] 52 x [141, 752] 17 x [138, 176] 28 x [176, 786] 70 x [682, 829] 22 x [535, 537] 8 x [223, 879] 26 x [879, 988] 5 x [33, 235] 1 x [131, 235] 9 x [527, 918] 44 x [598, 981] 32 x [501, 550] 6 x [25, 103] 71 x [538, 779] 82 x [93, 544] 3 x [128, 531] 1 x [141, 531] 25 x [531, 570] 33 x [47, 501] 5 x [60, 937, 954] 27 x [60, 483, 922] 1 x [306, 524, 679] 39 x [193, 232, 911] 19 x [193, 595, 911] 15 x [169, 742] 1 x [382, 742] 48 x [260, 372] 5 x [260, 688] 65 x [284, 377] 22 x [274, 402] 1 x [402, 424] 2 x [490, 623, 731, 755] 4 x [663, 773] 13 x [417, 659] 39 x [381, 417, 902] 12 x [714, 855] 23 x [338, 888] 43 x [338, 787, 986] 24 x [472, 698] 27 x [183, 522] 51 x [522, 854, 899] 73 x [329, 539] 9 x [539, 676] 7 x [539, 888] 3 x [539, 753, 986] 25 x [558, 676] 46 x [558, 701] 3 x [38, 72, 914] 1 x [72, 244, 262, 401] 33 x [28, 704] 14 x [122, 704] 2 x [122, 710] 21 x [166, 300] 11 x [166, 710] 59 x [300, 647] 1 x [41, 791] 1 x [753, 791, 834] 13 x [182, 791] 59 x [710, 875] 49 x [306, 923] 88 x [76, 846] 26 x [117, 798, 996] 2 x [117, 937, 996] 3 x [274, 553] 13 x [475, 548] 33 x [504, 548] 14 x [475, 590] 9 x [796, 939] 76 x [322, 451] 1 x [451, 631] 2 x [369, 621, 679, 834] 69 x [129, 157] 14 x [596, 602, 709] 29 x [583, 749] 19 x [71, 965] 82 x [406, 761] 2 x [556, 761] 1 x [68, 801, 914] 10 x [38, 403] 5 x [403, 642] 1 x [69, 556] 8 x [69, 925] 25 x [591, 925] 31 x [7, 68] 14 x [7, 540] 27 x [320, 950] 1 x [623, 936, 950] 1 x [262, 756, 950] 1 x [68, 631] 18 x [18, 731, 755] 5 x [96, 101, 881] 73 x [96, 719, 956] 8 x [283, 319, 731] 88 x [283, 319, 908] 1 x [373, 382, 971] 1 x [238, 382, 933] 54 x [80, 277, 853] 18 x [80, 277, 885] 1 x [572, 853, 885] 8 x [317, 853, 885] 37 x [620, 853, 885] 6 x [115, 232, 262, 991] 2 x [232, 262, 381, 936] 1 x [268, 552, 753, 768]