Optimize a model with 31 rows, 465 columns and 930 nonzeros
Presolve time: 0.00s
Presolved: 31 rows, 465 columns, 930 nonzeros
Variable types: 0 continuous, 465 integer (435 binary)
adding cut for [(20, 24), (20, 25), (21, 23), (21, 25), (22, 23), (22, 24)]
adding cut for [(15, 30), (15, 31), (14, 30), (14, 31)]
adding cut for [(16, 28), (16, 29), (17, 28), (17, 29)]
adding cut for [(19, 27), (19, 26), (18, 27), (18, 26)]

Root relaxation: objective 5.070000e+02, 48 iterations, 0.00 seconds
adding cut for [(2, 7), (2, 18), (3, 9), (3, 27), (4, 15), (4, 29), (5, 18), (5, 19), (6, 15), (6, 19), (7, 23), (8, 13), (8, 28), (9, 23), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(4, 15), (4, 20), (5, 18), (5, 19), (6, 15), (6, 19), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(3, 9), (3, 27), (7, 21), (7, 23), (9, 23)]

    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time

     0     0  521.50000    0   12          -  521.50000     -      -    0s
adding cut for [(8, 13), (8, 31), (10, 14), (10, 29), (12, 13), (12, 14), (27, 30), (27, 31), (28, 29), (28, 30)]
     0     0  521.50000    0   12          -  521.50000     -      -    0s
adding cut for [(2, 18), (3, 9), (5, 18), (5, 21), (7, 21), (7, 23), (9, 23)]
adding cut for [(8, 13), (8, 31), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(3, 9), (3, 27), (8, 13), (8, 31), (9, 29), (10, 14), (10, 29), (12, 13), (12, 14)]
     0     2  521.50000    0   12          -  521.50000     -      -    0s
adding cut for [(8, 13), (8, 28), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(3, 9), (4, 19), (4, 20), (6, 15), (6, 19), (9, 15)]
adding cut for [(4, 15), (4, 19), (5, 18), (5, 27), (6, 15), (6, 18), (8, 13), (8, 28), (13, 19)]
adding cut for [(4, 15), (4, 19), (6, 15), (6, 17), (8, 13), (8, 28), (13, 19)]
adding cut for [(5, 18), (5, 27), (10, 14), (10, 29), (12, 14), (12, 18), (16, 29)]
adding cut for [(4, 15), (4, 19), (6, 15), (6, 27), (8, 13), (8, 28), (13, 19)]
adding cut for [(5, 17), (5, 18), (10, 14), (10, 29), (12, 14), (12, 18), (16, 29)]
adding cut for [(5, 18), (5, 27), (8, 13), (8, 28), (12, 13), (12, 18)]
adding cut for [(4, 19), (4, 15), (6, 19), (6, 15)]
adding cut for [(3, 9), (4, 15), (4, 19), (5, 18), (5, 21), (6, 15), (6, 18), (7, 21), (7, 23), (8, 13), (8, 28), (9, 23), (13, 19)]
adding cut for [(2, 18), (4, 12), (4, 15), (5, 18), (5, 19), (6, 15), (6, 19), (8, 13), (8, 28), (12, 13)]
adding cut for [(2, 18), (4, 12), (4, 15), (5, 18), (5, 19), (6, 15), (6, 19), (10, 14), (10, 29), (12, 14), (16, 29)]
adding cut for [(4, 12), (4, 15), (6, 15), (6, 19), (8, 13), (8, 28), (10, 14), (10, 29), (12, 14), (13, 19), (16, 29)]
adding cut for [(4, 12), (4, 19), (8, 13), (8, 28), (10, 14), (10, 29), (12, 14), (13, 19), (16, 29)]
adding cut for [(2, 18), (4, 12), (4, 15), (6, 15), (6, 18), (10, 14), (10, 29), (12, 14), (16, 29)]
adding cut for [(2, 15), (4, 12), (4, 15), (10, 14), (10, 29), (12, 14), (16, 29)]
adding cut for [(5, 17), (5, 18), (6, 18), (6, 19), (8, 13), (8, 28), (13, 19)]
adding cut for [(2, 18), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(4, 15), (4, 19), (5, 17), (5, 19), (6, 15), (6, 28)]
adding cut for [(6, 18), (6, 28), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(4, 15), (4, 19), (6, 15), (6, 18), (8, 13), (8, 28), (10, 14), (10, 29), (12, 14), (12, 18), (13, 19), (16, 29)]
adding cut for [(2, 18), (4, 15), (4, 19), (5, 17), (5, 19), (6, 15), (6, 18)]
adding cut for [(4, 12), (4, 20), (10, 14), (10, 29), (12, 14), (16, 29)]
adding cut for [(5, 17), (5, 19), (8, 13), (8, 28), (10, 14), (10, 29), (12, 14), (12, 17), (13, 19), (16, 29)]
adding cut for [(3, 9), (3, 18), (7, 21), (7, 23), (8, 13), (8, 28), (9, 23), (12, 13), (12, 18)]
adding cut for [(4, 15), (4, 20), (5, 17), (5, 19), (6, 15), (6, 19)]
adding cut for [(2, 15), (6, 15), (6, 18), (8, 13), (8, 28), (12, 13), (12, 18)]
adding cut for [(5, 17), (5, 19), (6, 18), (6, 19), (8, 13), (8, 28), (12, 13), (12, 18)]
*   32    29              22     558.0000000  523.00000  6.27%   3.8    0s
adding cut for [(4, 15), (4, 20), (6, 15), (6, 19), (8, 13), (8, 28), (13, 19)]
adding cut for [(5, 18), (5, 27), (10, 14), (10, 29), (12, 14), (12, 18), (29, 30)]
adding cut for [(4, 15), (4, 20), (5, 18), (5, 23), (6, 15), (6, 19), (7, 21), (7, 23), (8, 13), (8, 18), (13, 19)]
adding cut for [(3, 9), (3, 27), (9, 29), (10, 14), (10, 29), (12, 14), (12, 17)]
adding cut for [(3, 9), (3, 16), (7, 21), (7, 23), (8, 13), (8, 23), (9, 29), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(2, 18), (4, 15), (4, 20), (5, 18), (5, 19), (6, 15), (6, 19)]
adding cut for [(3, 9), (9, 29), (10, 14), (10, 29), (12, 14), (12, 17)]
adding cut for [(4, 19), (4, 20), (8, 13), (8, 28), (13, 19)]
adding cut for [(3, 9), (3, 16), (4, 15), (4, 20), (6, 15), (6, 18), (9, 29), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(5, 19), (5, 23), (7, 21), (7, 23), (8, 13), (8, 28), (13, 19)]
adding cut for [(3, 9), (3, 16), (8, 13), (8, 28), (9, 29), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(4, 19), (4, 20), (5, 18), (5, 23), (6, 15), (6, 18), (7, 21), (7, 23), (15, 19)]
adding cut for [(3, 9), (3, 16), (4, 19), (4, 20), (6, 15), (6, 19), (7, 15), (7, 23), (9, 23)]
adding cut for [(8, 13), (8, 28), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(4, 15), (4, 20), (5, 18), (5, 19), (6, 15), (6, 19), (8, 13), (8, 28), (12, 13), (12, 18)]
adding cut for [(4, 15), (4, 20), (5, 18), (5, 19), (6, 15), (6, 19), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(2, 18), (3, 9), (3, 16), (5, 18), (5, 19), (6, 15), (6, 19), (7, 15), (7, 23), (9, 23)]
adding cut for [(4, 15), (4, 20), (5, 18), (5, 19), (6, 15), (6, 19), (12, 17), (12, 18)]
adding cut for [(8, 13), (8, 28), (10, 14), (10, 29), (13, 14)]
adding cut for [(2, 15), (5, 18), (5, 19), (6, 15), (6, 19), (10, 14), (10, 29), (14, 18)]
adding cut for [(4, 15), (4, 20), (5, 18), (5, 19), (6, 15), (6, 19), (10, 14), (10, 29), (14, 18)]
adding cut for [(4, 15), (4, 20), (5, 18), (5, 19), (6, 15), (6, 19), (10, 18), (10, 29)]
adding cut for [(4, 20), (4, 29), (5, 18), (5, 23), (7, 21), (7, 23), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(3, 9), (3, 27), (6, 15), (6, 19), (8, 13), (8, 31), (9, 15), (13, 19)]
adding cut for [(2, 15), (5, 18), (5, 23), (6, 15), (6, 19), (7, 21), (7, 23), (8, 13), (8, 18), (13, 19)]
adding cut for [(3, 9), (3, 31), (4, 12), (4, 20), (9, 29), (10, 14), (10, 29), (12, 14)]
adding cut for [(2, 7), (4, 19), (4, 20), (5, 18), (5, 23), (6, 15), (6, 19), (7, 23), (8, 13), (8, 15), (12, 13), (12, 18)]
adding cut for [(3, 9), (3, 31), (9, 29), (10, 14), (10, 29), (14, 26)]
adding cut for [(2, 7), (3, 9), (3, 31), (5, 18), (5, 23), (7, 23), (9, 29), (10, 18), (10, 29)]
adding cut for [(4, 19), (4, 20), (6, 15), (6, 19), (8, 13), (8, 15), (12, 13), (12, 14), (14, 17)]
adding cut for [(4, 19), (4, 20), (5, 18), (5, 23), (6, 15), (6, 19), (7, 21), (7, 23), (8, 13), (8, 15), (10, 14), (10, 18), (12, 13), (12, 14)]
adding cut for [(9, 29), (3, 9), (3, 31), (28, 29)]
adding cut for [(4, 19), (4, 20), (6, 15), (6, 19), (7, 21), (7, 23), (8, 13), (8, 15), (9, 23), (9, 29), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(3, 18), (3, 31), (5, 18), (5, 28)]
adding cut for [(4, 15), (4, 20), (5, 18), (5, 23), (7, 21), (7, 23), (9, 15), (9, 29), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(6, 19), (6, 27), (8, 13), (8, 28), (13, 19)]
adding cut for [(4, 15), (4, 20), (7, 15), (7, 23), (9, 23), (9, 29), (10, 14), (10, 29), (12, 14), (12, 17)]
adding cut for [(5, 18), (5, 27), (6, 18), (6, 19), (8, 13), (8, 28), (13, 19)]
adding cut for [(3, 9), (3, 27), (5, 18), (5, 23), (7, 21), (7, 23), (9, 29), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(4, 15), (4, 20), (6, 15), (6, 19), (8, 13), (8, 26), (13, 19)]
adding cut for [(4, 15), (4, 20), (5, 18), (5, 19), (6, 15), (6, 18), (8, 13), (8, 28), (13, 19)]
adding cut for [(10, 14), (10, 29), (12, 14), (12, 17), (27, 29)]
adding cut for [(5, 18), (5, 19), (6, 15), (6, 18), (8, 13), (8, 28), (13, 19), (15, 26)]
adding cut for [(4, 12), (4, 20), (10, 14), (10, 29), (12, 14), (27, 29)]
adding cut for [(4, 15), (4, 20), (6, 15), (6, 18), (10, 14), (10, 29), (12, 14), (12, 18), (27, 29)]
adding cut for [(5, 19), (5, 26), (8, 13), (8, 28), (13, 19)]
adding cut for [(3, 9), (3, 18), (4, 15), (4, 20), (5, 18), (5, 19), (6, 15), (6, 19), (7, 23), (7, 26), (9, 23)]
adding cut for [(8, 13), (8, 21), (10, 14), (10, 29), (12, 13), (12, 14), (27, 29)]
adding cut for [(2, 18), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14), (27, 29)]
adding cut for [(4, 15), (4, 20), (5, 19), (5, 26), (6, 15), (6, 19)]
adding cut for [(2, 18), (4, 15), (4, 19), (5, 18), (5, 19), (6, 15), (6, 27)]
adding cut for [(8, 13), (8, 26), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(2, 18), (5, 18), (5, 19), (8, 13), (8, 21), (13, 19)]
adding cut for [(3, 9), (6, 15), (6, 27), (7, 15), (7, 23), (9, 23)]
adding cut for [(10, 29), (10, 14), (12, 29), (12, 14)]
adding cut for [(4, 19), (4, 20), (5, 18), (5, 19), (8, 13), (8, 21), (12, 13), (12, 18)]
adding cut for [(3, 9), (6, 15), (6, 28), (7, 15), (7, 23), (9, 23)]
adding cut for [(10, 29), (10, 14), (27, 29), (14, 26)]
adding cut for [(3, 9), (3, 20), (5, 18), (5, 19), (6, 15), (6, 18), (7, 15), (7, 23), (8, 13), (8, 26), (9, 23), (13, 19)]
adding cut for [(4, 12), (4, 25), (10, 14), (10, 29), (12, 14), (27, 29)]
adding cut for [(5, 18), (5, 19), (6, 18), (6, 28), (8, 13), (8, 26), (13, 19)]
adding cut for [(3, 9), (4, 15), (4, 20), (7, 15), (7, 23), (9, 23)]
adding cut for [(10, 14), (10, 29), (12, 14), (12, 22), (27, 29)]
adding cut for [(4, 12), (4, 15), (6, 15), (6, 28), (10, 14), (10, 29), (12, 14), (27, 29)]
adding cut for [(5, 18), (5, 19), (8, 13), (8, 26), (13, 19)]
adding cut for [(8, 13), (8, 16), (10, 14), (10, 29), (12, 13), (12, 14), (27, 29)]
adding cut for [(3, 9), (6, 15), (6, 18), (7, 15), (7, 23), (8, 13), (8, 26), (9, 23), (12, 13), (12, 18)]
adding cut for [(4, 20), (4, 19), (5, 19), (5, 28)]
adding cut for [(10, 29), (10, 14), (27, 29), (14, 17)]
adding cut for [(2, 18), (4, 15), (4, 29), (5, 18), (5, 19), (6, 15), (6, 19), (8, 13), (8, 31), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(4, 12), (4, 15), (5, 18), (5, 19), (6, 15), (6, 18), (8, 13), (8, 28), (10, 14), (10, 29), (12, 14), (13, 19), (29, 30)]
adding cut for [(3, 9), (3, 31), (7, 23), (7, 26), (9, 23)]
adding cut for [(3, 9), (3, 31), (5, 18), (5, 19), (6, 15), (6, 18), (7, 15), (7, 23), (8, 13), (8, 28), (9, 23), (13, 19)]
adding cut for [(4, 15), (4, 29), (5, 18), (5, 19), (6, 15), (6, 18), (8, 13), (8, 21), (10, 14), (10, 29), (12, 14), (12, 17), (13, 19)]
adding cut for [(2, 7), (3, 9), (3, 31), (7, 23), (9, 23)]
adding cut for [(4, 19), (4, 29), (5, 18), (5, 23), (7, 21), (7, 23), (8, 13), (8, 28), (10, 14), (10, 29), (12, 14), (12, 18), (13, 19)]
adding cut for [(3, 9), (3, 31), (6, 15), (6, 17), (9, 15)]
adding cut for [(4, 15), (4, 19), (5, 18), (5, 23), (6, 15), (6, 18), (7, 21), (7, 23), (8, 13), (8, 31), (13, 19)]
adding cut for [(3, 9), (3, 16), (9, 29), (10, 14), (10, 29), (12, 14), (12, 22)]
adding cut for [(3, 9), (3, 16), (5, 18), (5, 23), (7, 23), (7, 26), (9, 29), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(4, 15), (4, 19), (6, 15), (6, 28), (8, 13), (8, 31), (13, 19)]
adding cut for [(3, 9), (3, 16), (4, 12), (4, 19), (8, 13), (8, 31), (9, 29), (10, 14), (10, 29), (12, 14), (13, 19)]
adding cut for [(2, 7), (5, 18), (5, 23), (6, 15), (6, 18), (7, 23), (15, 26)]
adding cut for [(2, 18), (3, 9), (3, 18), (4, 12), (4, 15), (6, 15), (6, 17), (9, 29), (10, 14), (10, 29), (12, 14)]
adding cut for [(5, 19), (5, 23), (7, 21), (7, 23), (8, 13), (8, 31), (13, 19)]
adding cut for [(2, 15), (3, 9), (6, 15), (6, 18), (9, 29), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(4, 19), (4, 25), (8, 13), (8, 31), (13, 19)]
adding cut for [(2, 18), (3, 9), (3, 18), (4, 12), (4, 25), (9, 29), (10, 14), (10, 29), (12, 14)]
adding cut for [(5, 21), (5, 23), (6, 15), (6, 19), (7, 15), (7, 23), (8, 13), (8, 31), (13, 19)]
adding cut for [(3, 9), (3, 16), (4, 12), (4, 15), (6, 15), (6, 19), (7, 23), (7, 31), (8, 13), (8, 23), (9, 29), (10, 14), (10, 29), (12, 14), (13, 19)]
adding cut for [(2, 7), (2, 15), (4, 15), (4, 26), (5, 18), (5, 23), (6, 18), (6, 19), (7, 23), (8, 13), (8, 31), (13, 19)]
adding cut for [(3, 9), (9, 29), (10, 14), (10, 29), (12, 14), (12, 22)]
adding cut for [(2, 15), (3, 9), (3, 18), (4, 12), (4, 15), (6, 18), (6, 19), (8, 13), (8, 31), (9, 29), (10, 14), (10, 29), (12, 14), (13, 19)]
adding cut for [(7, 26), (7, 23), (5, 30), (5, 23)]
adding cut for [(3, 9), (4, 15), (4, 26), (5, 18), (5, 23), (7, 15), (7, 23), (9, 29), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(6, 17), (6, 19), (8, 13), (8, 31), (13, 19)]
adding cut for [(5, 18), (5, 27), (6, 18), (6, 19), (8, 13), (8, 31), (13, 19)]
adding cut for [(4, 20), (4, 29), (10, 14), (10, 29), (12, 14), (12, 17)]
adding cut for [(4, 20), (4, 29), (8, 13), (8, 31), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(6, 19), (6, 27), (7, 15), (7, 21), (15, 19)]
adding cut for [(9, 23), (3, 9), (3, 18), (5, 18), (5, 23)]
adding cut for [(3, 9), (3, 20), (4, 19), (4, 29), (5, 18), (5, 23), (6, 15), (6, 19), (7, 15), (7, 21), (9, 23), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(8, 13), (8, 31), (13, 27)]
adding cut for [(3, 9), (4, 19), (4, 29), (5, 18), (5, 23), (8, 13), (8, 31), (9, 23), (10, 14), (10, 29), (12, 14), (12, 18), (13, 19)]
adding cut for [(2, 18), (4, 20), (4, 29), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(6, 15), (6, 19), (7, 15), (7, 31), (8, 13), (8, 28), (13, 19)]
adding cut for [(9, 23), (3, 9), (5, 26), (5, 23)]
adding cut for [(3, 9), (3, 20), (4, 15), (4, 29), (5, 18), (5, 23), (6, 18), (6, 19), (8, 13), (8, 15), (9, 23), (10, 14), (10, 29), (12, 14), (12, 22), (13, 19)]
adding cut for [(2, 7), (7, 31)]
adding cut for [(2, 18), (5, 18), (5, 19), (8, 13), (8, 28), (13, 19)]
adding cut for [(4, 20), (4, 15), (6, 27), (6, 15)]
adding cut for [(5, 19), (5, 27), (8, 13), (8, 28), (13, 19)]
adding cut for [(5, 18), (5, 19), (8, 13), (8, 28), (10, 14), (10, 29), (12, 14), (12, 18), (13, 19)]
adding cut for [(2, 15), (6, 27), (6, 15)]
adding cut for [(2, 15), (5, 18), (5, 19), (6, 15), (6, 18), (8, 13), (8, 28), (13, 19)]
adding cut for [(10, 29), (10, 14), (27, 29), (12, 14)]
adding cut for [(4, 12), (4, 15), (5, 18), (5, 19), (6, 15), (6, 27), (8, 13), (8, 28), (12, 18), (13, 19)]
adding cut for [(5, 18), (5, 19), (6, 15), (6, 27), (8, 13), (8, 28), (13, 19), (15, 18)]
adding cut for [(4, 15), (4, 20), (5, 15), (5, 19), (8, 13), (8, 28), (13, 19)]
adding cut for [(5, 15), (5, 19), (6, 15), (6, 27), (8, 13), (8, 28), (13, 19)]
adding cut for [(2, 18), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(4, 15), (4, 20), (5, 18), (5, 19), (6, 15), (6, 17), (8, 13), (8, 28), (12, 14), (12, 18), (13, 19), (14, 17)]
adding cut for [(10, 29), (27, 29)]
adding cut for [(2, 7), (3, 9), (5, 18), (5, 23), (6, 15), (6, 18), (7, 23), (9, 15)]
adding cut for [(4, 19), (4, 20), (8, 13), (8, 31), (13, 19)]
adding cut for [(2, 7), (5, 18), (5, 23), (6, 18), (6, 19), (7, 23), (10, 14), (10, 29), (12, 13), (12, 14), (13, 19), (16, 29)]
adding cut for [(8, 28), (8, 31)]
adding cut for [(2, 7), (4, 15), (4, 20), (5, 18), (5, 23), (6, 15), (6, 18), (7, 23)]
adding cut for [(3, 9), (8, 13), (8, 31), (9, 19), (13, 19)]
adding cut for [(2, 7), (5, 18), (5, 23), (7, 23), (10, 14), (10, 29), (12, 14), (12, 18), (16, 29)]
adding cut for [(6, 19), (6, 26), (8, 13), (8, 31), (13, 19)]
adding cut for [(5, 18), (5, 23), (7, 23), (7, 28), (10, 14), (10, 29), (12, 14), (12, 18), (16, 29)]
adding cut for [(6, 19), (6, 21), (8, 13), (8, 31), (13, 19)]
adding cut for [(5, 18), (5, 23), (6, 19), (6, 23), (8, 13), (8, 31), (10, 14), (10, 29), (12, 14), (12, 18), (13, 19), (16, 29)]
adding cut for [(4, 20), (4, 29), (5, 18), (5, 26), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(2, 15), (6, 15), (6, 19), (8, 13), (8, 28), (13, 19)]
adding cut for [(3, 9), (3, 18), (4, 15), (4, 29), (6, 17), (6, 18), (7, 15), (7, 23), (9, 23), (10, 14), (10, 29), (12, 14), (12, 17)]
adding cut for [(5, 19), (5, 30), (8, 13), (8, 28), (13, 19)]
adding cut for [(3, 9), (3, 18), (4, 15), (4, 29), (6, 15), (6, 18), (7, 23), (7, 26), (9, 23), (10, 14), (10, 29), (12, 14), (12, 22)]
adding cut for [(2, 7), (2, 18), (3, 9), (5, 18), (5, 27), (7, 23), (9, 23)]
adding cut for [(8, 13), (8, 31), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(4, 19), (4, 25), (6, 15), (6, 19), (15, 26)]
adding cut for [(5, 18), (5, 23), (7, 21), (7, 23), (10, 14), (10, 29), (12, 14), (12, 18), (28, 29)]
adding cut for [(3, 9), (4, 15), (4, 19), (6, 19), (6, 27), (9, 15)]
adding cut for [(8, 13), (8, 31), (13, 26)]
adding cut for [(4, 12), (4, 19), (5, 18), (5, 27), (6, 15), (6, 18), (10, 14), (10, 29), (12, 14), (15, 19), (28, 29)]
adding cut for [(8, 13), (8, 31), (13, 17)]
adding cut for [(2, 15), (4, 12), (4, 19), (6, 15), (6, 19), (8, 13), (8, 31), (12, 13)]
adding cut for [(10, 29), (10, 14), (28, 29), (14, 17)]
adding cut for [(2, 7), (3, 9), (5, 18), (5, 23), (7, 23), (9, 29), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(6, 15), (6, 19), (8, 13), (8, 28), (13, 19), (15, 26)]
adding cut for [(3, 9), (3, 16), (6, 15), (6, 19), (8, 13), (8, 28), (9, 15), (13, 19)]
adding cut for [(4, 12), (4, 20), (10, 14), (10, 29), (12, 14)]
adding cut for [(3, 9), (5, 18), (5, 23), (6, 15), (6, 19), (7, 15), (7, 23), (8, 13), (8, 28), (9, 29), (10, 14), (10, 29), (12, 14), (12, 18), (13, 19)]
adding cut for [(3, 9), (6, 18), (6, 19), (8, 13), (8, 28), (9, 29), (10, 14), (10, 29), (12, 14), (12, 18), (13, 19)]
adding cut for [(2, 7), (5, 23), (5, 30), (7, 23)]
adding cut for [(3, 9), (4, 15), (4, 20), (6, 15), (6, 19), (9, 29), (10, 14), (10, 29), (12, 13), (12, 14), (13, 19)]
adding cut for [(2, 18), (5, 18), (5, 30)]
adding cut for [(3, 9), (3, 27), (4, 19), (4, 20), (5, 18), (5, 19), (6, 15), (6, 18), (9, 15)]
adding cut for [(7, 21), (7, 23), (8, 13), (8, 23), (10, 14), (10, 29), (12, 13), (12, 14), (29, 30)]
adding cut for [(6, 15), (6, 27), (8, 13), (8, 15), (10, 14), (10, 29), (12, 13), (12, 14), (29, 30)]
adding cut for [(2, 18), (4, 19), (4, 20), (5, 18), (5, 19)]
adding cut for [(2, 18), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14), (29, 30)]
adding cut for [(4, 15), (4, 20), (5, 19), (5, 27), (6, 15), (6, 19)]
adding cut for [(2, 15), (5, 18), (5, 19), (6, 15), (6, 19), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14), (29, 30)]
adding cut for [(4, 15), (4, 26), (5, 18), (5, 19), (6, 15), (6, 18), (8, 13), (8, 28), (13, 19)]
adding cut for [(2, 18), (5, 18), (5, 19), (7, 21), (7, 23), (8, 13), (8, 23), (13, 19)]
adding cut for [(4, 12), (4, 15), (6, 15), (6, 27), (10, 14), (10, 29), (12, 14), (16, 29)]
adding cut for [(9, 30), (3, 9)]
adding cut for [(3, 9), (5, 18), (5, 19), (7, 21), (7, 23), (8, 13), (8, 21), (9, 23), (10, 14), (10, 29), (12, 14), (12, 18), (13, 19), (16, 29)]
adding cut for [(4, 26), (4, 15), (6, 27), (6, 15)]
adding cut for [(3, 9), (3, 27), (5, 18), (5, 23), (6, 15), (6, 18), (7, 21), (7, 23), (9, 15)]
adding cut for [(4, 12), (4, 19), (8, 13), (8, 26), (10, 14), (10, 29), (12, 14), (13, 19), (16, 29)]
adding cut for [(3, 9), (3, 27), (5, 19), (5, 27), (7, 23), (7, 26), (8, 13), (8, 21), (9, 23), (13, 19)]
adding cut for [(4, 12), (4, 15), (6, 15), (6, 18), (10, 14), (10, 29), (12, 14), (16, 29)]
adding cut for [(3, 9), (3, 27), (4, 12), (4, 15), (7, 15), (7, 23), (9, 23), (10, 14), (10, 29), (12, 14), (16, 29)]
adding cut for [(5, 18), (5, 19), (6, 18), (6, 26), (8, 13), (8, 21), (13, 19)]
adding cut for [(3, 9), (4, 12), (4, 15), (5, 19), (5, 23), (7, 15), (7, 21), (8, 13), (8, 21), (9, 23), (10, 14), (10, 29), (12, 14), (13, 19), (16, 29)]
adding cut for [(3, 9), (3, 18), (6, 15), (6, 18), (7, 15), (7, 23), (9, 23)]
adding cut for [(4, 12), (4, 24), (10, 14), (10, 29), (12, 14), (16, 29)]
adding cut for [(5, 19), (5, 27), (8, 13), (8, 21), (13, 19)]
adding cut for [(2, 7), (5, 19), (5, 23), (7, 23), (8, 13), (8, 21), (13, 19)]
adding cut for [(6, 18), (6, 27), (10, 14), (10, 29), (12, 14), (12, 18), (16, 29)]
adding cut for [(9, 15), (3, 9), (4, 26), (4, 15)]
adding cut for [(3, 9), (5, 18), (5, 19), (6, 15), (6, 18), (7, 15), (7, 23), (8, 13), (8, 21), (9, 23), (13, 19)]
adding cut for [(4, 12), (4, 26), (10, 14), (10, 29), (12, 14), (16, 29)]
adding cut for [(5, 18), (5, 19), (6, 18), (6, 27), (10, 14), (10, 29), (12, 13), (12, 14), (13, 19), (16, 29)]
adding cut for [(3, 9), (4, 15), (4, 26), (7, 15), (7, 23), (9, 23)]
adding cut for [(3, 9), (6, 15), (6, 19), (8, 13), (8, 28), (9, 15), (13, 19)]
adding cut for [(4, 15), (4, 25), (5, 18), (5, 19), (6, 15), (6, 18), (8, 13), (8, 28), (13, 19)]
adding cut for [(2, 7), (2, 18), (3, 9), (4, 15), (4, 25), (6, 15), (6, 18), (7, 23), (9, 23)]
adding cut for [(5, 19), (5, 21), (8, 13), (8, 28), (13, 19)]
adding cut for [(5, 12), (5, 19), (8, 13), (8, 28), (10, 14), (10, 29), (12, 14), (13, 19), (16, 29)]
adding cut for [(3, 9), (3, 27), (6, 17), (6, 18), (9, 29), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(4, 15), (4, 20), (5, 19), (5, 23), (7, 23), (7, 31), (8, 13), (8, 15), (13, 19)]
adding cut for [(3, 9), (5, 18), (5, 21), (7, 21), (7, 23), (8, 13), (8, 18), (9, 23), (10, 14), (10, 29), (12, 13), (12, 14), (29, 30)]
adding cut for [(2, 15), (4, 15), (4, 19), (6, 19), (6, 27)]
adding cut for [(4, 19), (4, 25), (6, 18), (6, 19), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14), (29, 30)]
adding cut for [(3, 9), (3, 27), (5, 15), (5, 23), (7, 21), (7, 23), (9, 15)]
adding cut for [(5, 18), (5, 26), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14), (29, 30)]
adding cut for [(2, 7), (3, 9), (3, 27), (7, 23), (9, 23)]
adding cut for [(4, 15), (4, 19), (6, 15), (6, 18), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14), (29, 30)]
adding cut for [(3, 9), (3, 27), (5, 21), (5, 23), (9, 23)]
adding cut for [(2, 18), (3, 9), (3, 18), (8, 13), (8, 21), (9, 29), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(4, 15), (4, 20), (5, 19), (5, 23), (6, 17), (6, 19), (7, 15), (7, 23)]
adding cut for [(3, 9), (3, 18), (5, 18), (5, 19), (8, 13), (8, 21), (9, 29), (10, 14), (10, 29), (12, 13), (12, 14), (17, 19)]
adding cut for [(2, 15), (4, 19), (4, 20), (5, 18), (5, 23), (6, 18), (6, 19), (7, 15), (7, 23)]
adding cut for [(3, 9), (3, 16), (8, 13), (8, 21), (9, 29), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(3, 9), (6, 15), (6, 28), (8, 13), (8, 15), (9, 29), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(2, 7), (3, 9), (3, 16), (5, 18), (5, 23), (6, 15), (6, 18), (7, 23), (8, 13), (8, 15), (9, 29), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(3, 9), (5, 18), (5, 23), (6, 15), (6, 18), (7, 21), (7, 23), (8, 13), (8, 15), (9, 29), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(3, 9), (4, 19), (4, 20), (8, 13), (8, 15), (9, 29), (10, 14), (10, 29), (12, 13), (12, 14), (15, 19)]
adding cut for [(3, 9), (9, 29), (10, 14), (10, 29), (14, 17)]
adding cut for [(2, 15), (5, 18), (5, 19), (6, 15), (6, 19), (8, 13), (8, 28), (12, 13), (12, 18)]
adding cut for [(4, 20), (4, 29), (10, 14), (10, 29), (14, 26)]
adding cut for [(2, 18), (4, 15), (4, 29), (5, 18), (5, 19), (6, 15), (6, 19), (10, 14), (10, 29), (14, 26)]
adding cut for [(5, 18), (5, 19), (6, 15), (6, 19), (8, 13), (8, 28), (12, 13), (12, 18), (15, 26)]
adding cut for [(4, 20), (4, 29), (10, 14), (10, 29), (14, 17)]
adding cut for [(4, 20), (4, 29), (8, 13), (8, 28), (10, 14), (10, 29), (12, 13), (12, 18), (14, 18)]
adding cut for [(3, 9), (3, 27), (5, 18), (5, 23), (7, 15), (7, 23), (8, 13), (8, 18), (9, 15), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(3, 9), (3, 27), (4, 15), (4, 19), (5, 19), (5, 23), (7, 23), (7, 26), (9, 15)]
adding cut for [(6, 17), (6, 18), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(3, 9), (3, 27), (4, 12), (4, 19), (5, 19), (5, 23), (6, 15), (6, 18), (7, 21), (7, 23), (8, 13), (8, 18), (9, 15), (12, 13)]
adding cut for [(3, 9), (3, 27), (6, 15), (6, 18), (8, 13), (8, 18), (9, 15), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(4, 17), (4, 19), (5, 19), (5, 23), (7, 23), (7, 31)]
adding cut for [(3, 9), (3, 27), (4, 15), (4, 19), (5, 19), (5, 23), (6, 15), (6, 18), (8, 13), (8, 18), (9, 23)]
adding cut for [(2, 7), (2, 18), (3, 9), (4, 15), (4, 25), (5, 18), (5, 19), (6, 15), (6, 19), (7, 23), (9, 23)]
adding cut for [(8, 13), (8, 21), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(6, 15), (6, 28), (8, 13), (8, 15), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(4, 15), (4, 25), (8, 13), (8, 15), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(2, 18), (5, 18), (5, 19), (6, 19), (6, 28)]
adding cut for [(3, 9), (3, 25), (4, 12), (4, 19), (5, 18), (5, 19), (6, 15), (6, 18), (7, 15), (7, 23), (9, 23), (10, 14), (10, 29), (12, 14), (16, 29)]
adding cut for [(3, 9), (6, 15), (6, 18), (8, 13), (8, 28), (9, 15), (12, 13), (12, 18)]
adding cut for [(16, 29), (10, 29), (10, 14), (14, 31)]
adding cut for [(2, 15), (6, 15), (6, 18), (10, 14), (10, 29), (12, 14), (12, 18), (16, 29)]
adding cut for [(4, 19), (4, 25), (5, 18), (5, 19), (10, 14), (10, 29), (12, 14), (12, 18), (16, 29)]
adding cut for [(4, 19), (4, 25), (5, 18), (5, 19), (6, 15), (6, 18), (8, 15), (8, 28)]
adding cut for [(10, 14), (10, 29), (12, 13), (12, 14), (13, 26), (16, 29)]
adding cut for [(3, 9), (6, 15), (6, 18), (9, 15), (10, 14), (10, 29), (14, 18), (16, 29)]
adding cut for [(5, 18), (5, 27), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(2, 15), (4, 19), (4, 20), (6, 15), (6, 19)]
adding cut for [(4, 15), (4, 20), (8, 13), (8, 15), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(2, 18), (5, 18), (5, 19), (6, 19), (6, 27)]
adding cut for [(2, 18), (6, 15), (6, 18), (8, 13), (8, 15), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(4, 20), (4, 19), (5, 27), (5, 19)]
adding cut for [(2, 15), (8, 13), (8, 15), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(4, 19), (4, 20), (5, 18), (5, 19), (6, 18), (6, 27)]
adding cut for [(5, 19), (5, 27), (8, 13), (8, 19), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(2, 18), (5, 18), (5, 19), (8, 13), (8, 19), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(5, 19), (5, 27), (6, 15), (6, 19), (8, 13), (8, 15), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(3, 9), (7, 21), (7, 23), (8, 13), (8, 23), (9, 29), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(17, 19), (5, 19), (5, 27)]
adding cut for [(4, 19), (4, 20), (5, 18), (5, 19), (10, 14), (10, 29), (14, 18), (28, 29)]
adding cut for [(6, 15), (6, 27), (8, 13), (8, 15), (12, 13), (12, 22)]
adding cut for [(3, 9), (3, 27), (9, 29), (10, 14), (10, 29), (12, 14)]
adding cut for [(2, 18), (4, 15), (4, 25), (5, 18), (5, 19), (6, 15), (6, 19)]
adding cut for [(2, 18), (4, 15), (4, 29), (6, 15), (6, 18), (10, 14), (10, 29), (12, 14), (12, 17)]
adding cut for [(5, 19), (5, 27), (8, 13), (8, 16), (13, 19)]
adding cut for [(3, 9), (8, 13), (8, 15), (9, 15), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(4, 25), (4, 19), (6, 27), (6, 19)]
adding cut for [(3, 9), (5, 18), (5, 27), (6, 15), (6, 18), (7, 15), (7, 23), (9, 23)]
adding cut for [(3, 9), (5, 18), (5, 23), (6, 18), (6, 27), (7, 15), (7, 23), (9, 15)]
adding cut for [(2, 18), (3, 9), (6, 15), (6, 18), (9, 15)]
adding cut for [(4, 15), (4, 29), (6, 15), (6, 28), (10, 14), (10, 29), (12, 14), (12, 17)]
adding cut for [(4, 12), (4, 15), (10, 14), (10, 29), (12, 14), (15, 26), (16, 29)]
adding cut for [(5, 18), (5, 19), (6, 18), (6, 21), (8, 13), (8, 28), (13, 19)]
adding cut for [(3, 9), (3, 16), (5, 18), (5, 19), (6, 7), (6, 18), (7, 23), (8, 13), (8, 28), (9, 23), (13, 19)]
adding cut for [(4, 15), (4, 29), (10, 14), (10, 29), (12, 14), (12, 17), (15, 26)]
adding cut for [(4, 15), (4, 29), (5, 18), (5, 19), (6, 15), (6, 18), (8, 13), (8, 28), (10, 14), (10, 29), (13, 19), (14, 31)]
adding cut for [(5, 18), (5, 19), (6, 18), (6, 23), (7, 21), (7, 23), (8, 13), (8, 28), (13, 19)]
adding cut for [(2, 7), (5, 18), (5, 19), (6, 18), (6, 23), (7, 23), (8, 13), (8, 28), (13, 19)]
adding cut for [(5, 18), (5, 19), (6, 15), (6, 17), (8, 13), (8, 28), (13, 19), (15, 18)]
adding cut for [(3, 9), (5, 18), (5, 19), (6, 7), (6, 18), (7, 23), (8, 13), (8, 28), (9, 23), (13, 19)]
adding cut for [(4, 15), (4, 20), (5, 18), (5, 19), (6, 15), (6, 19), (8, 13), (8, 21), (12, 13), (12, 18)]
adding cut for [(10, 29), (10, 14), (28, 29), (14, 26)]
adding cut for [(2, 18), (3, 9), (3, 20), (5, 18), (5, 19), (6, 15), (6, 19), (7, 15), (7, 23), (9, 23)]
adding cut for [(4, 25), (4, 29), (8, 13), (8, 21), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(2, 18), (3, 9), (5, 18), (5, 19), (6, 15), (6, 19), (7, 15), (7, 23), (9, 23)]
adding cut for [(3, 9), (4, 19), (4, 20), (6, 15), (6, 19), (7, 15), (7, 23), (9, 23)]
adding cut for [(2, 7), (2, 18), (3, 9), (5, 18), (5, 28), (7, 23), (9, 23)]
adding cut for [(8, 13), (8, 21), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(4, 19), (4, 20), (6, 15), (6, 19), (15, 26)]
adding cut for [(3, 9), (3, 27), (4, 15), (4, 29), (7, 15), (7, 23), (9, 23), (10, 14), (10, 29), (14, 26)]
adding cut for [(5, 19), (5, 30), (6, 18), (6, 19), (8, 13), (8, 31), (12, 13), (12, 18)]
adding cut for [(3, 9), (5, 19), (5, 27), (6, 15), (6, 19), (7, 15), (7, 23), (9, 23)]
adding cut for [(2, 18), (8, 13), (8, 31), (12, 13), (12, 18)]
adding cut for [(4, 25), (4, 29), (10, 14), (10, 29), (14, 26)]
adding cut for [(2, 18), (3, 9), (6, 15), (6, 18), (7, 15), (7, 23), (9, 23)]
adding cut for [(4, 12), (4, 19), (5, 19), (5, 27), (8, 13), (8, 31), (12, 13)]
adding cut for [(10, 29), (10, 14), (29, 30), (14, 26)]
adding cut for [(2, 7), (4, 15), (4, 19), (6, 18), (6, 19), (7, 15), (8, 13), (8, 31), (12, 13), (12, 18)]
adding cut for [(9, 23), (3, 9), (5, 27), (5, 23)]
adding cut for [(16, 29), (10, 29), (10, 14), (14, 26)]
adding cut for [(4, 15), (4, 20), (5, 18), (5, 23), (6, 18), (6, 27), (7, 15), (7, 23)]
adding cut for [(3, 9), (8, 13), (8, 28), (9, 19), (13, 19)]
adding cut for [(4, 15), (4, 20), (5, 18), (5, 23), (6, 18), (6, 19), (7, 15), (7, 23), (8, 13), (8, 28), (13, 19)]
adding cut for [(9, 27), (3, 9)]
adding cut for [(4, 12), (4, 19), (8, 13), (8, 21), (10, 14), (10, 29), (12, 14), (13, 19), (16, 29)]
adding cut for [(2, 15), (5, 18), (5, 27), (6, 15), (6, 18)]
adding cut for [(5, 18), (5, 27), (6, 15), (6, 19), (8, 13), (8, 21), (13, 19), (15, 18)]
adding cut for [(4, 15), (4, 19), (6, 15), (6, 27), (8, 13), (8, 21), (13, 19)]
adding cut for [(5, 11), (5, 18), (10, 14), (10, 29), (12, 14), (12, 18), (16, 29)]
adding cut for [(4, 12), (4, 15), (6, 15), (6, 26), (10, 14), (10, 29), (12, 14), (16, 29)]
adding cut for [(2, 18), (5, 19), (5, 27), (8, 13), (8, 18), (13, 19)]
adding cut for [(4, 12), (4, 15), (8, 13), (8, 21), (10, 14), (10, 29), (12, 14), (13, 19), (15, 19), (16, 29)]
adding cut for [(6, 27), (6, 18), (5, 18), (5, 30)]
adding cut for [(4, 19), (4, 29), (6, 15), (6, 19), (8, 13), (8, 15), (10, 14), (10, 29), (12, 14), (12, 17), (13, 26)]
adding cut for [(4, 19), (4, 20), (6, 15), (6, 19), (8, 13), (8, 15), (10, 14), (12, 13), (12, 14)]
adding cut for [(16, 29), (29, 30)]
adding cut for [(4, 15), (4, 19), (6, 19), (6, 27), (8, 13), (8, 15), (10, 14), (10, 29), (11, 29), (12, 13), (12, 14)]
adding cut for [(4, 19), (4, 29), (5, 18), (5, 26), (6, 19), (6, 27), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(4, 19), (4, 29), (6, 15), (6, 19), (8, 13), (8, 15), (10, 14), (10, 29), (12, 14), (12, 22), (13, 22)]
adding cut for [(2, 15), (6, 15), (6, 19), (8, 13), (8, 19), (12, 13), (12, 17)]
adding cut for [(4, 25), (4, 29), (5, 18), (5, 27), (10, 14), (10, 29), (14, 18)]
adding cut for [(4, 19), (4, 29), (8, 13), (8, 28), (10, 14), (10, 29), (12, 14), (12, 17), (13, 19)]
adding cut for [(3, 9), (5, 21), (5, 23), (6, 15), (6, 27), (7, 15), (7, 21), (9, 23)]
adding cut for [(3, 9), (5, 19), (5, 23), (8, 13), (8, 28), (9, 23), (13, 19)]
adding cut for [(6, 15), (6, 19), (7, 15), (7, 21), (8, 13), (8, 28), (13, 19)]
adding cut for [(4, 25), (4, 29), (6, 17), (6, 19), (8, 13), (8, 28), (10, 14), (10, 29), (12, 14), (12, 17), (13, 19)]
adding cut for [(3, 9), (6, 15), (6, 19), (7, 15), (7, 23), (8, 13), (8, 28), (9, 23), (13, 19)]
adding cut for [(3, 9), (4, 15), (4, 29), (7, 15), (7, 23), (9, 23), (10, 14), (10, 29), (12, 14), (12, 17)]
adding cut for [(6, 18), (6, 19), (8, 13), (8, 28), (13, 19)]
adding cut for [(4, 25), (4, 29), (6, 17), (6, 19), (8, 13), (8, 28), (10, 14), (10, 29), (12, 14), (12, 17), (13, 19)]
adding cut for [(4, 19), (4, 20), (5, 18), (5, 27), (6, 15), (6, 19), (8, 15), (8, 18)]
adding cut for [(10, 14), (10, 29), (12, 13), (12, 14), (13, 26), (28, 29)]
adding cut for [(2, 15), (4, 19), (4, 29), (6, 15), (6, 19), (10, 14), (10, 29), (12, 14), (12, 17)]
adding cut for [(8, 18), (8, 13), (5, 18), (5, 27)]
adding cut for [(2, 18), (8, 13), (8, 18), (9, 29), (9, 30), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(4, 15), (4, 20), (5, 19), (5, 23), (6, 15), (6, 19), (7, 21), (7, 23)]
adding cut for [(4, 19), (4, 20), (6, 15), (6, 19), (9, 15), (9, 29), (10, 14), (10, 29), (14, 26)]
adding cut for [(7, 23), (7, 26), (8, 13), (8, 23), (9, 29), (9, 30), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(4, 15), (4, 19), (5, 18), (5, 19), (6, 15), (6, 18)]
adding cut for [(4, 15), (4, 25), (7, 21), (7, 23), (8, 13), (8, 23), (9, 15), (9, 29), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(5, 18), (5, 19), (6, 18), (6, 19)]
adding cut for [(5, 18), (5, 23), (7, 21), (7, 23), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(4, 20), (4, 19), (6, 27), (6, 19)]
adding cut for [(5, 18), (5, 23), (7, 21), (7, 23), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(4, 20), (4, 19), (6, 27), (6, 19)]
adding cut for [(5, 18), (5, 21), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(4, 15), (4, 19), (6, 19), (6, 27), (15, 26)]
adding cut for [(5, 17), (5, 18), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(4, 15), (4, 25), (6, 15), (6, 19), (19, 27)]
adding cut for [(4, 19), (4, 20), (6, 15), (6, 27), (8, 13), (8, 15), (13, 19)]
adding cut for [(5, 18), (5, 26), (10, 14), (10, 29), (12, 14), (12, 18), (28, 29)]
adding cut for [(4, 19), (4, 20), (10, 14), (10, 29), (12, 13), (12, 14), (13, 19), (28, 29)]
adding cut for [(5, 18), (5, 27), (6, 15), (6, 18), (8, 15), (8, 26)]
adding cut for [(4, 19), (4, 29), (6, 15), (6, 27), (8, 13), (8, 15), (10, 14), (10, 29), (13, 19), (14, 26)]
adding cut for [(4, 15), (4, 20), (6, 15), (6, 19), (8, 13), (8, 18), (13, 19)]
adding cut for [(10, 14), (10, 29), (12, 14), (12, 17), (28, 29)]
adding cut for [(3, 9), (4, 15), (4, 20), (6, 15), (6, 19), (8, 13), (8, 23), (9, 23), (13, 19)]
adding cut for [(10, 14), (10, 29), (12, 14), (12, 18), (28, 29)]
adding cut for [(2, 15), (4, 12), (4, 19), (6, 15), (6, 19), (10, 14), (10, 29), (12, 14), (28, 29)]
adding cut for [(3, 9), (5, 18), (5, 21), (7, 23), (7, 26), (8, 13), (8, 18), (9, 23), (13, 26)]
adding cut for [(2, 15), (4, 15), (4, 19), (8, 13), (8, 19), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(5, 18), (5, 23), (6, 18), (6, 27), (7, 21), (7, 23)]
adding cut for [(4, 19), (4, 25), (8, 13), (8, 19), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(5, 18), (5, 23), (6, 18), (6, 27), (7, 21), (7, 23)]
adding cut for [(7, 21), (7, 23), (8, 13), (8, 23), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(3, 9), (4, 15), (4, 19), (9, 19), (15, 26)]
adding cut for [(5, 18), (5, 27), (6, 18), (6, 28)]
adding cut for [(5, 23), (5, 27), (8, 13), (8, 23), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(3, 9), (4, 19), (4, 25), (6, 15), (6, 19), (9, 15)]
adding cut for [(2, 7), (7, 23), (8, 13), (8, 23), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(5, 18), (5, 27), (6, 15), (6, 18), (15, 26)]
adding cut for [(7, 23), (7, 26), (8, 13), (8, 23), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(2, 15), (5, 18), (5, 27), (6, 15), (6, 18)]
adding cut for [(7, 21), (7, 23), (8, 13), (8, 23), (10, 14), (10, 29), (13, 14), (16, 29)]
adding cut for [(3, 9), (4, 15), (4, 19), (6, 19), (6, 28), (9, 15)]
adding cut for [(3, 9), (4, 15), (4, 19), (6, 17), (6, 19), (9, 15), (10, 14), (10, 29), (14, 17), (16, 29)]
adding cut for [(2, 7), (5, 18), (5, 27), (7, 23), (8, 13), (8, 23), (12, 13), (12, 18)]
adding cut for [(7, 23), (7, 28), (8, 13), (8, 23), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(3, 9), (5, 18), (5, 27), (6, 15), (6, 18), (9, 15)]
adding cut for [(4, 19), (4, 20), (5, 18), (5, 19), (6, 15), (6, 18), (7, 15), (7, 23), (9, 23), (9, 29), (10, 14), (10, 29), (14, 26)]
adding cut for [(3, 9), (3, 18), (7, 16), (7, 23), (8, 13), (8, 28), (9, 23), (12, 13), (12, 18)]
adding cut for [(4, 15), (4, 29), (5, 19), (5, 21), (6, 15), (6, 19), (10, 14), (10, 29), (14, 26)]
adding cut for [(3, 9), (3, 18), (5, 17), (5, 19), (6, 15), (6, 18), (7, 21), (7, 23), (9, 23), (15, 19)]
adding cut for [(4, 12), (4, 29), (8, 13), (8, 28), (10, 14), (10, 29), (12, 13), (14, 26)]
adding cut for [(3, 9), (3, 18), (7, 21), (7, 23), (9, 23), (10, 14), (10, 29), (14, 26), (18, 29)]
adding cut for [(4, 12), (4, 15), (5, 17), (5, 19), (6, 15), (6, 19), (8, 13), (8, 28), (12, 13)]
adding cut for [(2, 15), (5, 18), (5, 27), (6, 15), (6, 19), (8, 13), (8, 19), (12, 13), (12, 18)]
adding cut for [(4, 22), (4, 29), (10, 14), (10, 29), (14, 26)]
adding cut for [(5, 18), (5, 23), (7, 21), (7, 23), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(4, 19), (4, 25), (6, 15), (6, 19), (8, 13), (8, 15), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(6, 19), (6, 28), (8, 13), (8, 19), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(3, 9), (6, 15), (6, 19), (8, 13), (8, 15), (9, 19), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(4, 15), (4, 19), (6, 19), (6, 24), (8, 13), (8, 15), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(2, 7), (2, 18), (4, 15), (4, 19), (5, 18), (5, 23), (6, 19), (6, 23), (7, 21), (8, 13), (8, 15), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(2, 15), (4, 25), (4, 29), (5, 18), (5, 19), (6, 15), (6, 19), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(2, 15), (4, 25), (4, 29), (5, 18), (5, 19), (6, 15), (6, 19), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(2, 15), (4, 19), (4, 29), (5, 18), (5, 21), (6, 15), (6, 19), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(3, 9), (7, 23), (7, 26), (8, 13), (8, 28), (9, 23), (13, 26)]
adding cut for [(2, 15), (4, 15), (4, 29), (5, 18), (5, 19), (6, 17), (6, 19), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(2, 15), (4, 19), (4, 29), (5, 11), (5, 18), (6, 15), (6, 19), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(7, 15), (7, 26), (8, 13), (8, 15), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(3, 9), (4, 19), (4, 20), (5, 19), (5, 23), (9, 23)]
adding cut for [(3, 9), (5, 19), (5, 23), (8, 13), (8, 19), (9, 23), (10, 14), (10, 29), (12, 13), (12, 14), (29, 30)]
adding cut for [(3, 9), (8, 13), (8, 23), (9, 23), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(4, 25), (4, 19), (5, 27), (5, 19)]
adding cut for [(2, 18), (3, 9), (3, 18), (8, 13), (8, 23), (9, 23), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(5, 26), (5, 19), (6, 27), (6, 19)]
adding cut for [(3, 9), (3, 18), (5, 19), (5, 27), (6, 18), (6, 19), (8, 13), (8, 23), (9, 23), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(2, 15), (2, 18), (4, 19), (4, 20), (5, 19), (5, 21), (6, 18), (6, 27), (7, 15), (7, 21)]
adding cut for [(3, 9), (8, 13), (8, 23), (9, 23), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(2, 7), (2, 29), (3, 9), (4, 15), (4, 20), (6, 15), (6, 17), (7, 23), (9, 23), (10, 14), (10, 29), (12, 14), (12, 17)]
adding cut for [(5, 18), (5, 19), (8, 13), (8, 28), (13, 19)]
adding cut for [(2, 29), (4, 19), (4, 20), (10, 14), (10, 29), (12, 13), (12, 14), (13, 19)]
adding cut for [(5, 18), (5, 26), (6, 15), (6, 18), (8, 15), (8, 28)]
adding cut for [(2, 29), (5, 18), (5, 26), (6, 18), (6, 19), (10, 14), (10, 29), (12, 13), (12, 14), (13, 19)]
adding cut for [(4, 15), (4, 19), (5, 18), (5, 19), (6, 18), (6, 27), (15, 26)]
adding cut for [(8, 13), (8, 16), (10, 14), (10, 29), (12, 13), (12, 14), (29, 30)]
adding cut for [(8, 13), (8, 15), (10, 14), (10, 29), (12, 13), (12, 14), (15, 26)]
adding cut for [(4, 19), (4, 20), (8, 13), (8, 19), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(6, 19), (6, 28), (8, 13), (8, 19), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(6, 19), (6, 28), (8, 13), (8, 19), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(6, 19), (6, 28), (8, 13), (8, 19), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(6, 19), (6, 28), (8, 13), (8, 19), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(6, 19), (6, 28), (8, 13), (8, 19), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(6, 19), (6, 28), (8, 13), (8, 19), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(6, 19), (6, 27), (8, 13), (8, 19), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(6, 19), (6, 27), (8, 13), (8, 19), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(6, 19), (6, 28), (8, 13), (8, 19), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(6, 19), (6, 28), (8, 13), (8, 19), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(2, 18), (6, 18), (6, 19), (8, 13), (8, 19), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(2, 18), (4, 14), (4, 19), (5, 18), (5, 19), (10, 14), (10, 29), (16, 29)]
adding cut for [(9, 15), (3, 9), (6, 27), (6, 15)]
adding cut for [(4, 12), (4, 25), (10, 14), (10, 29), (12, 14), (28, 29)]
adding cut for [(8, 13), (8, 15), (13, 19), (6, 19), (6, 15)]
adding cut for [(3, 9), (4, 12), (4, 26), (7, 23), (7, 26), (9, 23), (10, 14), (10, 29), (12, 14), (28, 29)]
adding cut for [(8, 19), (8, 13), (13, 19)]
adding cut for [(4, 19), (4, 20), (6, 18), (6, 19), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(9, 15), (3, 9), (15, 26)]
adding cut for [(5, 18), (5, 23), (7, 23), (7, 26), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(4, 25), (4, 19), (6, 27), (6, 19)]
adding cut for [(5, 18), (5, 23), (7, 23), (7, 31), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(4, 26), (4, 19), (6, 27), (6, 19)]
adding cut for [(4, 14), (4, 19), (6, 19), (6, 27), (10, 14), (10, 29), (16, 29)]
adding cut for [(3, 9), (4, 15), (4, 29), (9, 15), (10, 14), (10, 29), (12, 14), (12, 17)]
adding cut for [(6, 19), (6, 24), (8, 13), (8, 28), (13, 19)]
adding cut for [(4, 25), (4, 29), (5, 18), (5, 26), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(6, 19), (6, 23), (7, 21), (7, 23), (8, 13), (8, 28), (13, 19)]
adding cut for [(5, 18), (5, 28), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(2, 15), (4, 12), (4, 19), (5, 18), (5, 19), (6, 15), (6, 18), (8, 13), (8, 26), (12, 13)]
adding cut for [(3, 9), (3, 18), (4, 12), (4, 15), (5, 18), (5, 19), (6, 19), (6, 28), (7, 15), (7, 23), (8, 13), (8, 26), (9, 23), (12, 13)]
adding cut for [(5, 18), (5, 19), (6, 19), (6, 28), (10, 14), (10, 29), (14, 18), (16, 29)]
adding cut for [(2, 15), (4, 12), (4, 15), (8, 13), (8, 26), (12, 13)]
adding cut for [(2, 15), (4, 12), (4, 19), (6, 15), (6, 19), (8, 13), (8, 26), (12, 13)]
adding cut for [(5, 18), (5, 28), (10, 14), (10, 29), (14, 18), (16, 29)]
adding cut for [(4, 12), (4, 15), (5, 19), (5, 28), (6, 15), (6, 19), (8, 13), (8, 26), (12, 13)]
adding cut for [(2, 18), (10, 14), (10, 29), (14, 18), (16, 29)]
adding cut for [(2, 15), (4, 12), (4, 15), (5, 18), (5, 19), (6, 19), (6, 28), (12, 18)]
adding cut for [(8, 13), (8, 26), (10, 14), (10, 29), (13, 14), (16, 29)]
adding cut for [(2, 7), (3, 9), (3, 18), (7, 23), (9, 23), (10, 14), (10, 29), (14, 18), (16, 29)]
adding cut for [(4, 12), (4, 15), (5, 19), (5, 21), (6, 15), (6, 19), (8, 13), (8, 26), (12, 13)]
adding cut for [(5, 18), (5, 19), (6, 19), (6, 28), (8, 13), (8, 26), (12, 13), (12, 18)]
adding cut for [(2, 15), (4, 14), (4, 15), (10, 14), (10, 29), (16, 29)]
adding cut for [(2, 15), (4, 14), (4, 19), (6, 15), (6, 19), (10, 14), (10, 29), (16, 29)]
adding cut for [(5, 18), (5, 28), (8, 13), (8, 26), (12, 13), (12, 18)]
adding cut for [(4, 25), (4, 29), (8, 13), (8, 19), (10, 14), (10, 29), (12, 13), (12, 14), (17, 19)]
adding cut for [(2, 15), (5, 18), (5, 27), (6, 15), (6, 18)]
adding cut for [(2, 15), (6, 15), (6, 18), (8, 13), (8, 26), (12, 13), (12, 18)]
adding cut for [(4, 19), (4, 29), (5, 19), (5, 27), (10, 14), (10, 29), (14, 17)]
adding cut for [(2, 15), (6, 15), (6, 18), (8, 13), (8, 26), (12, 13), (12, 18)]
adding cut for [(4, 19), (4, 29), (5, 19), (5, 27), (10, 14), (10, 29), (14, 17)]
adding cut for [(4, 19), (4, 29), (5, 19), (5, 27), (8, 13), (8, 26), (10, 14), (10, 29), (13, 14)]
adding cut for [(3, 9), (6, 15), (6, 19), (7, 21), (7, 23), (8, 13), (8, 23), (9, 15), (13, 19)]
adding cut for [(4, 15), (4, 29), (6, 15), (6, 19), (7, 21), (7, 23), (8, 13), (8, 23), (10, 14), (10, 29), (12, 14), (12, 17), (13, 19)]
adding cut for [(4, 15), (4, 29), (6, 15), (6, 19), (7, 21), (7, 23), (8, 13), (8, 23), (10, 14), (10, 29), (12, 14), (12, 17), (13, 19)]
adding cut for [(4, 15), (4, 29), (6, 15), (6, 19), (7, 21), (7, 23), (8, 13), (8, 23), (10, 14), (10, 29), (12, 14), (12, 17), (13, 19)]
adding cut for [(4, 15), (4, 29), (6, 15), (6, 27), (10, 14), (10, 29), (12, 14), (12, 17)]
adding cut for [(3, 9), (7, 23), (7, 26), (8, 13), (8, 23), (9, 19), (13, 19)]
adding cut for [(4, 19), (4, 29), (7, 21), (7, 23), (8, 13), (8, 23), (10, 14), (10, 29), (12, 14), (12, 17), (13, 19)]
adding cut for [(4, 15), (4, 29), (6, 15), (6, 27), (10, 14), (10, 29), (12, 14), (12, 22)]
adding cut for [(3, 9), (7, 21), (7, 23), (8, 13), (8, 23), (9, 19), (13, 19)]
adding cut for [(4, 19), (4, 29), (7, 23), (7, 26), (8, 13), (8, 23), (10, 14), (10, 29), (12, 14), (12, 22), (13, 19)]
adding cut for [(3, 9), (5, 18), (5, 21), (6, 15), (6, 18), (9, 15)]
adding cut for [(4, 19), (4, 29), (7, 21), (7, 23), (8, 13), (8, 23), (10, 14), (10, 29), (12, 14), (12, 22), (13, 19)]
adding cut for [(3, 9), (5, 17), (5, 18), (6, 15), (6, 18), (9, 15)]
* 1430   430              28     551.0000000  534.57895  2.98%   6.3    1s
adding cut for [(2, 7), (5, 19), (5, 23), (7, 23), (8, 13), (8, 28), (13, 19)]
adding cut for [(3, 9), (9, 29), (10, 14), (10, 29), (12, 14), (12, 16)]
adding cut for [(3, 9), (7, 15), (7, 23), (8, 13), (8, 15), (9, 23), (10, 14), (10, 29), (12, 13), (12, 14), (29, 30)]
adding cut for [(5, 18), (5, 19), (6, 19), (6, 28), (8, 13), (8, 18), (10, 14), (10, 29), (11, 29), (12, 13), (12, 14)]
adding cut for [(4, 19), (4, 25), (8, 13), (8, 19), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(2, 15), (5, 18), (5, 27), (6, 15), (6, 18)]
adding cut for [(3, 9), (4, 15), (4, 19), (8, 13), (8, 21), (9, 15), (13, 19)]
adding cut for [(6, 17), (6, 18), (10, 14), (10, 29), (12, 14), (12, 18), (16, 29)]
adding cut for [(4, 19), (4, 20), (5, 18), (5, 23), (6, 18), (6, 19), (8, 13), (8, 23), (10, 14), (10, 29), (12, 13), (12, 14), (29, 30)]
adding cut for [(2, 7), (2, 18), (5, 18), (5, 23), (7, 21), (8, 13), (8, 23), (10, 14), (10, 29), (12, 13), (12, 14), (29, 30)]
adding cut for [(3, 9), (4, 19), (4, 26), (6, 15), (6, 19), (9, 15)]
adding cut for [(3, 9), (4, 12), (4, 15), (9, 15), (10, 14), (10, 29), (12, 14), (29, 30)]
adding cut for [(6, 19), (6, 27), (8, 13), (8, 26), (13, 19)]
adding cut for [(4, 15), (4, 19), (5, 18), (5, 23), (6, 18), (6, 27), (7, 15), (7, 23), (8, 13), (8, 28), (13, 19)]
adding cut for [(10, 14), (10, 29), (12, 14), (12, 17), (29, 30)]
adding cut for [(2, 7), (3, 9), (5, 19), (5, 23), (7, 23), (8, 13), (8, 15), (9, 15), (13, 19)]
adding cut for [(6, 18), (6, 27), (10, 14), (10, 29), (12, 14), (12, 18), (29, 30)]
adding cut for [(4, 19), (4, 25), (6, 15), (6, 27), (8, 13), (8, 15), (13, 19)]
adding cut for [(5, 18), (5, 21), (10, 14), (10, 29), (12, 14), (12, 18), (16, 29)]
adding cut for [(5, 18), (5, 23), (7, 21), (7, 23), (10, 14), (10, 29), (12, 14), (12, 18), (16, 29)]
adding cut for [(3, 9), (4, 19), (4, 25), (8, 13), (8, 15), (9, 15), (13, 19)]
adding cut for [(9, 15), (3, 9), (6, 27), (6, 15)]
adding cut for [(9, 15), (3, 9), (6, 27), (6, 15)]
adding cut for [(3, 9), (3, 16), (6, 15), (6, 18), (9, 15), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(3, 9), (4, 15), (4, 19), (8, 13), (8, 28), (9, 15), (13, 19)]
adding cut for [(6, 17), (6, 27), (10, 14), (10, 29), (12, 14), (12, 17)]
adding cut for [(6, 15), (6, 28), (8, 13), (8, 15), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(4, 19), (4, 25), (6, 15), (6, 19), (8, 13), (8, 15), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(5, 18), (5, 23), (7, 21), (7, 23), (10, 14), (10, 29), (12, 14), (12, 18), (16, 29)]
adding cut for [(6, 18), (6, 27), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(2, 15), (4, 15), (4, 19), (5, 19), (5, 26)]
adding cut for [(6, 18), (6, 26), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(2, 15), (4, 15), (4, 19), (5, 19), (5, 27)]
adding cut for [(4, 15), (4, 25), (6, 15), (6, 18), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(19, 22), (5, 19), (5, 27)]
adding cut for [(3, 9), (6, 15), (6, 19), (7, 15), (7, 23), (8, 13), (8, 28), (9, 23), (13, 19)]
adding cut for [(4, 12), (4, 25), (10, 14), (10, 29), (12, 14), (29, 30)]
adding cut for [(4, 12), (4, 19), (8, 13), (8, 28), (10, 14), (10, 29), (12, 14), (13, 19), (29, 30)]
adding cut for [(4, 15), (4, 20), (5, 18), (5, 19), (6, 15), (6, 18), (8, 13), (8, 21), (13, 19)]
adding cut for [(10, 14), (10, 29), (12, 14), (12, 22), (29, 30)]
adding cut for [(4, 15), (4, 25), (5, 18), (5, 19), (6, 15), (6, 18), (8, 13), (8, 21), (13, 19)]
adding cut for [(10, 14), (10, 29), (12, 14), (12, 20), (29, 30)]
adding cut for [(4, 15), (4, 19), (8, 13), (8, 19), (10, 14), (10, 29), (12, 13), (12, 14), (15, 26), (16, 29)]
adding cut for [(5, 18), (5, 21), (6, 18), (6, 27)]
adding cut for [(4, 19), (4, 20), (6, 18), (6, 19), (10, 14), (10, 29), (12, 14), (12, 18), (16, 29)]
adding cut for [(3, 9), (5, 23), (5, 27), (7, 15), (7, 23), (9, 15)]
adding cut for [(5, 18), (5, 23), (6, 15), (6, 27), (7, 15), (7, 23), (10, 14), (10, 29), (12, 14), (12, 18), (16, 29)]
adding cut for [(9, 19), (3, 9), (4, 19), (4, 20)]
adding cut for [(4, 19), (4, 29), (8, 13), (8, 21), (10, 14), (10, 29), (12, 14), (12, 17), (13, 19)]
adding cut for [(5, 18), (5, 23), (6, 18), (6, 27), (7, 23), (7, 26)]
adding cut for [(2, 15), (4, 15), (4, 29), (10, 14), (10, 29), (14, 26)]
adding cut for [(5, 19), (5, 27), (6, 19), (6, 17)]
adding cut for [(8, 18), (8, 13), (12, 18), (12, 13)]
adding cut for [(6, 18), (6, 27), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14), (29, 30)]
adding cut for [(4, 19), (4, 29), (8, 13), (8, 28), (10, 14), (10, 29), (12, 14), (12, 17), (13, 19)]
adding cut for [(3, 9), (7, 15), (7, 23), (9, 23), (15, 26)]
adding cut for [(5, 18), (5, 21), (6, 18), (6, 27)]
* 1792   453              25     550.0000000  536.00000  2.55%   6.2    1s
adding cut for [(2, 18), (5, 18), (5, 19), (6, 15), (6, 19), (7, 15), (7, 23), (8, 13), (8, 23), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(6, 15), (6, 19), (7, 15), (7, 21), (8, 13), (8, 28), (13, 19)]
adding cut for [(4, 12), (4, 15), (7, 15), (7, 21), (10, 14), (10, 29), (12, 14), (16, 29)]
adding cut for [(6, 15), (6, 19), (7, 15), (7, 21), (8, 13), (8, 28), (13, 19)]
adding cut for [(3, 9), (5, 18), (5, 26), (6, 15), (6, 18), (7, 15), (7, 23), (9, 23)]
adding cut for [(2, 7), (4, 15), (4, 19), (7, 15), (8, 13), (8, 28), (13, 19)]
adding cut for [(3, 9), (5, 18), (5, 23), (9, 23), (10, 14), (10, 29), (12, 14), (12, 18), (16, 29)]
adding cut for [(6, 15), (6, 19), (7, 15), (7, 26), (8, 13), (8, 28), (13, 19)]
adding cut for [(4, 12), (4, 15), (7, 15), (7, 21), (10, 14), (10, 29), (12, 14), (16, 29)]
adding cut for [(2, 18), (4, 15), (4, 29), (5, 18), (5, 21), (7, 15), (7, 21), (10, 14), (10, 29), (12, 14), (12, 17)]
adding cut for [(3, 9), (6, 19), (6, 27), (8, 13), (8, 23), (9, 23), (13, 19)]
adding cut for [(2, 18), (6, 15), (6, 19), (7, 15), (7, 21), (8, 13), (8, 18), (13, 19)]
adding cut for [(9, 23), (3, 9), (5, 27), (5, 23)]
adding cut for [(6, 19), (6, 27), (7, 15), (7, 21), (8, 13), (8, 15), (13, 19)]
adding cut for [(3, 9), (4, 15), (4, 29), (5, 21), (5, 23), (7, 15), (7, 21), (9, 23), (10, 14), (10, 29), (12, 14), (12, 17)]
adding cut for [(2, 18), (6, 19), (6, 27), (8, 13), (8, 18), (13, 19)]
adding cut for [(3, 9), (4, 19), (4, 29), (8, 13), (8, 23), (9, 23), (10, 14), (10, 29), (12, 14), (12, 17), (13, 19)]
adding cut for [(2, 18), (5, 21), (5, 27), (6, 15), (6, 18), (7, 15), (7, 21)]
adding cut for [(4, 15), (4, 29), (7, 15), (7, 21), (10, 14), (10, 29), (12, 14), (12, 17)]
adding cut for [(6, 19), (6, 27), (8, 13), (8, 16), (13, 19)]
adding cut for [(3, 9), (9, 29), (10, 14), (10, 29), (12, 14), (12, 20)]
adding cut for [(5, 18), (5, 27), (6, 17), (6, 18), (10, 14), (10, 29), (12, 14), (12, 17)]
adding cut for [(2, 15), (4, 15), (4, 19), (8, 13), (8, 28), (13, 19)]
adding cut for [(4, 12), (4, 19), (6, 15), (6, 19), (7, 15), (7, 21), (8, 13), (8, 28), (12, 13)]
adding cut for [(3, 9), (6, 15), (6, 17), (7, 15), (7, 23), (9, 23), (10, 14), (10, 29), (14, 17), (16, 29)]
adding cut for [(2, 18), (4, 12), (4, 19), (5, 18), (5, 19), (8, 13), (8, 28), (12, 13)]
adding cut for [(2, 18), (3, 9), (5, 18), (5, 19), (6, 15), (6, 19), (7, 15), (7, 23), (9, 23)]
adding cut for [(4, 12), (4, 19), (5, 18), (5, 21), (6, 18), (6, 19), (8, 13), (8, 28), (12, 13)]
adding cut for [(2, 18), (5, 18), (5, 19), (6, 17), (6, 19), (10, 14), (10, 29), (14, 17), (16, 29)]
adding cut for [(3, 9), (4, 12), (4, 15), (7, 15), (7, 23), (8, 13), (8, 28), (9, 23), (12, 13)]
adding cut for [(2, 18), (3, 9), (6, 15), (6, 18), (7, 15), (7, 23), (9, 23)]
adding cut for [(4, 12), (4, 19), (5, 19), (5, 21), (8, 13), (8, 28), (12, 13)]
adding cut for [(4, 19), (4, 20), (6, 18), (6, 19), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(2, 15), (4, 19), (4, 29), (6, 15), (6, 19), (10, 14), (10, 29), (14, 17)]
adding cut for [(5, 18), (5, 27), (8, 13), (8, 16), (12, 13), (12, 18)]
adding cut for [(3, 9), (5, 18), (5, 23), (6, 15), (6, 18), (7, 23), (7, 26), (9, 15)]
adding cut for [(2, 7), (4, 19), (4, 25), (5, 18), (5, 23), (7, 23), (8, 13), (8, 18), (13, 19)]
adding cut for [(9, 15), (3, 9), (6, 28), (6, 15)]
adding cut for [(7, 15), (7, 21), (8, 13), (8, 15), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(6, 19), (6, 28), (8, 13), (8, 19), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(6, 17), (6, 19), (8, 13), (8, 19), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(3, 9), (5, 7), (5, 19), (7, 23), (8, 13), (8, 28), (9, 23), (13, 19)]
adding cut for [(3, 9), (5, 18), (5, 30), (6, 15), (6, 18), (7, 15), (7, 23), (9, 23)]
adding cut for [(10, 14), (10, 29), (12, 14), (12, 20), (16, 29)]
adding cut for [(5, 18), (5, 28), (6, 18), (6, 19), (8, 13), (8, 19), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(5, 18), (5, 26), (6, 18), (6, 19), (8, 13), (8, 19), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(2, 18), (5, 15), (5, 18), (8, 13), (8, 15), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(3, 9), (4, 15), (4, 19), (7, 15), (7, 23), (8, 13), (8, 21), (9, 23), (13, 19)]
adding cut for [(5, 18), (5, 26), (6, 27), (6, 18)]
adding cut for [(2, 18), (4, 15), (4, 29), (6, 15), (6, 27), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(2, 15), (5, 18), (5, 27), (6, 15), (6, 18)]
adding cut for [(2, 15), (6, 15), (6, 18), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(5, 26), (5, 27)]
adding cut for [(2, 18), (3, 9), (5, 18), (5, 19), (6, 15), (6, 19), (9, 15)]
adding cut for [(4, 20), (4, 29), (7, 21), (7, 23), (10, 23), (10, 29)]
adding cut for [(3, 9), (3, 16), (4, 12), (4, 19), (6, 15), (6, 19), (8, 13), (8, 28), (9, 15), (12, 13)]
adding cut for [(10, 29), (10, 14), (14, 26)]
adding cut for [(3, 9), (5, 19), (5, 23), (6, 15), (6, 19), (7, 21), (7, 23), (9, 15)]
adding cut for [(2, 18), (4, 20), (4, 29), (10, 18), (10, 29)]
adding cut for [(3, 9), (6, 15), (6, 18), (9, 15), (10, 18), (10, 29), (16, 29)]
adding cut for [(2, 7), (4, 19), (4, 20), (5, 19), (5, 23), (7, 23)]
adding cut for [(3, 9), (3, 16), (4, 19), (4, 29), (6, 15), (6, 19), (9, 15), (10, 29)]
adding cut for [(3, 9), (4, 19), (4, 29), (5, 19), (5, 23), (9, 23), (10, 14), (10, 29), (12, 14), (12, 17)]
adding cut for [(3, 9), (5, 18), (5, 23), (7, 23), (7, 28), (9, 29), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(3, 9), (5, 23), (5, 27), (6, 15), (6, 18), (7, 23), (7, 26), (9, 29), (10, 14), (10, 29), (12, 14), (12, 18), (15, 26)]
adding cut for [(4, 25), (4, 29), (8, 13), (8, 16), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(2, 18), (5, 18), (5, 19), (6, 15), (6, 28), (15, 19)]
adding cut for [(4, 15), (4, 29), (6, 15), (6, 27), (10, 14), (10, 29), (12, 14), (12, 17)]
adding cut for [(4, 15), (4, 20), (6, 15), (6, 19), (8, 13), (8, 16), (13, 19)]
adding cut for [(4, 15), (4, 29), (6, 15), (6, 27), (10, 14), (10, 29), (12, 14), (12, 17)]
adding cut for [(4, 12), (4, 15), (6, 15), (6, 27), (10, 14), (10, 29), (12, 14)]
adding cut for [(2, 15), (4, 15), (4, 29), (8, 13), (8, 16), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(5, 18), (5, 19), (6, 27), (6, 19)]
adding cut for [(4, 15), (4, 29), (5, 19), (5, 27), (6, 15), (6, 19), (10, 14), (10, 29), (14, 17)]
adding cut for [(5, 18), (5, 19), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29), (17, 19)]
adding cut for [(5, 18), (5, 19), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29), (19, 22)]
adding cut for [(4, 15), (4, 25), (5, 18), (5, 19), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14), (15, 19), (16, 29)]
adding cut for [(2, 18), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(4, 15), (4, 19), (5, 19), (5, 26), (6, 15), (6, 28)]
adding cut for [(2, 7), (5, 18), (5, 23), (6, 18), (6, 19), (7, 23), (8, 13), (8, 21), (13, 19)]
adding cut for [(2, 7), (4, 19), (4, 20), (7, 23), (8, 13), (8, 23), (13, 19)]
adding cut for [(3, 9), (5, 18), (5, 28), (6, 15), (6, 18), (9, 15)]
adding cut for [(2, 7), (3, 9), (5, 18), (5, 23), (7, 23), (8, 13), (8, 18), (9, 19), (13, 19)]
adding cut for [(2, 7), (5, 18), (5, 19), (6, 18), (6, 28), (7, 23), (8, 13), (8, 23), (13, 19)]
adding cut for [(2, 7), (5, 18), (5, 19), (7, 23), (8, 13), (8, 23), (10, 14), (10, 29), (12, 14), (12, 18), (13, 19), (16, 29)]
adding cut for [(3, 9), (6, 15), (6, 17), (9, 15), (10, 14), (10, 29), (12, 14), (12, 17), (16, 29)]
adding cut for [(4, 19), (4, 20), (5, 18), (5, 23), (7, 21), (7, 23), (8, 13), (8, 18), (13, 19)]
adding cut for [(4, 19), (4, 20), (8, 13), (8, 18), (10, 14), (10, 29), (12, 14), (12, 18), (13, 19), (16, 29)]
adding cut for [(5, 18), (5, 19), (6, 18), (6, 28), (7, 23), (7, 26), (8, 13), (8, 23), (13, 19)]
adding cut for [(5, 18), (5, 28), (10, 14), (10, 29), (12, 14), (12, 18), (16, 29)]
adding cut for [(4, 19), (4, 20), (7, 21), (7, 23), (8, 13), (8, 23), (13, 19)]
adding cut for [(3, 9), (5, 18), (5, 26), (6, 15), (6, 18), (9, 15)]
adding cut for [(2, 7), (5, 18), (5, 30), (6, 18), (6, 19), (7, 23), (8, 13), (8, 23), (13, 19)]
adding cut for [(2, 15), (4, 15), (4, 29), (5, 17), (5, 18), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(6, 19), (6, 26), (8, 13), (8, 28), (13, 19)]
adding cut for [(4, 20), (4, 29), (8, 13), (8, 18), (10, 14), (10, 29), (12, 17), (12, 18), (13, 14)]
adding cut for [(2, 15), (5, 19), (5, 27), (6, 15), (6, 19)]
adding cut for [(8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14), (29, 30)]
adding cut for [(5, 19), (5, 27), (6, 19), (6, 28)]
adding cut for [(6, 15), (6, 17), (8, 13), (8, 15), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(6, 15), (6, 26), (8, 13), (8, 15), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(3, 9), (4, 12), (4, 19), (6, 15), (6, 19), (8, 13), (8, 28), (9, 15), (12, 13)]
adding cut for [(3, 9), (4, 12), (4, 19), (6, 15), (6, 19), (9, 15), (10, 14), (10, 29), (12, 14), (16, 29)]
adding cut for [(3, 9), (4, 12), (4, 19), (6, 15), (6, 19), (9, 15), (10, 14), (10, 29), (12, 14), (16, 29)]
adding cut for [(2, 7), (3, 9), (4, 15), (4, 19), (5, 18), (5, 23), (6, 18), (6, 19), (7, 23), (9, 15)]
adding cut for [(8, 13), (8, 28), (10, 14), (10, 29), (12, 13), (12, 17), (14, 17), (16, 29)]
adding cut for [(3, 9), (4, 14), (4, 19), (6, 15), (6, 19), (9, 15), (10, 14), (10, 29), (16, 29)]
adding cut for [(2, 15), (4, 15), (4, 19), (5, 18), (5, 23), (6, 18), (6, 19), (7, 21), (7, 23)]
adding cut for [(3, 9), (9, 14), (10, 14), (10, 29), (16, 29)]
adding cut for [(2, 7), (2, 15), (3, 9), (4, 15), (4, 20), (7, 23), (9, 23)]
adding cut for [(8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(5, 19), (5, 21), (6, 27), (6, 19)]
adding cut for [(4, 15), (4, 25), (5, 18), (5, 19), (6, 15), (6, 19), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(4, 15), (4, 25), (5, 18), (5, 19), (6, 15), (6, 19), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(5, 19), (5, 21), (8, 13), (8, 19), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(4, 15), (4, 19), (5, 18), (5, 19), (6, 15), (6, 17), (10, 18), (10, 29), (16, 29)]
adding cut for [(2, 18), (3, 9), (5, 18), (5, 23), (7, 15), (7, 23), (9, 15)]
adding cut for [(6, 19), (6, 27), (8, 13), (8, 21), (13, 19)]
adding cut for [(4, 15), (4, 20), (6, 15), (6, 19), (8, 13), (8, 21), (13, 19)]
adding cut for [(3, 9), (4, 25), (4, 29), (6, 15), (6, 18), (9, 15), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(3, 9), (4, 12), (4, 25), (9, 29), (10, 14), (10, 29), (12, 14)]
adding cut for [(3, 9), (4, 12), (4, 26), (9, 29), (10, 14), (10, 29), (12, 14)]
adding cut for [(6, 15), (6, 19), (7, 15), (7, 21), (8, 13), (8, 28), (13, 19)]
adding cut for [(6, 15), (6, 19), (7, 15), (7, 21), (8, 13), (8, 28), (13, 19)]
adding cut for [(6, 15), (6, 19), (7, 15), (7, 16), (8, 13), (8, 28), (13, 19)]
adding cut for [(5, 19), (5, 23), (6, 18), (6, 19), (7, 21), (7, 23), (8, 13), (8, 28), (12, 13), (12, 18)]
adding cut for [(3, 9), (3, 16), (4, 15), (4, 29), (9, 15), (10, 14), (10, 29), (14, 17)]
adding cut for [(2, 18), (5, 19), (5, 23), (6, 18), (6, 19), (7, 21), (7, 23)]
adding cut for [(3, 9), (4, 15), (4, 29), (9, 15), (10, 14), (10, 29), (14, 17)]
adding cut for [(4, 15), (4, 19), (5, 18), (5, 19), (6, 15), (6, 17), (10, 14), (10, 29), (12, 14), (12, 18), (16, 29)]
adding cut for [(4, 15), (4, 19), (5, 18), (5, 19), (6, 15), (6, 21), (10, 14), (10, 29), (12, 14), (12, 18), (16, 29)]
adding cut for [(2, 18), (5, 18), (5, 23), (8, 13), (8, 23), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(5, 23), (5, 28), (8, 13), (8, 23), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(2, 18), (4, 19), (4, 20), (6, 18), (6, 19)]
adding cut for [(4, 25), (4, 29), (5, 18), (5, 23), (7, 21), (7, 23), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(3, 9), (6, 15), (6, 19), (8, 13), (8, 26), (9, 15), (13, 19)]
adding cut for [(2, 15), (5, 18), (5, 21), (6, 15), (6, 19), (8, 13), (8, 18), (13, 19)]
adding cut for [(2, 15), (5, 17), (5, 18), (6, 15), (6, 19), (8, 13), (8, 18), (13, 19)]
adding cut for [(3, 9), (5, 18), (5, 23), (9, 23), (10, 14), (10, 29), (14, 18), (16, 29)]
adding cut for [(2, 7), (4, 19), (4, 20), (6, 15), (6, 19), (7, 15)]
adding cut for [(5, 18), (5, 19), (6, 17), (6, 19), (10, 14), (10, 29), (14, 18), (16, 29)]
adding cut for [(6, 17), (6, 19), (8, 13), (8, 19), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(2, 15), (2, 18), (4, 15), (4, 20), (5, 18), (5, 27)]
adding cut for [(3, 9), (4, 15), (4, 25), (8, 13), (8, 15), (9, 29), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(19, 22), (6, 19), (6, 27)]
adding cut for [(2, 18), (4, 12), (4, 19), (5, 18), (5, 19), (10, 14), (10, 29), (12, 14), (16, 29)]
adding cut for [(6, 15), (6, 27), (8, 13), (8, 15), (13, 17)]
adding cut for [(6, 15), (6, 27), (8, 13), (8, 15), (10, 14), (10, 29), (13, 14), (16, 29)]
adding cut for [(4, 12), (4, 19), (5, 19), (5, 27), (10, 14), (10, 29), (12, 14), (16, 29)]
adding cut for [(4, 19), (4, 20), (8, 13), (8, 19), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(2, 15), (5, 18), (5, 23), (6, 18), (6, 27), (7, 15), (7, 23)]
adding cut for [(4, 15), (4, 22), (8, 13), (8, 15), (10, 14), (10, 29), (12, 13), (12, 14), (16, 29)]
adding cut for [(3, 9), (8, 13), (8, 16), (9, 29), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(4, 19), (4, 20), (5, 18), (5, 23), (6, 18), (6, 19), (7, 21), (7, 23)]
adding cut for [(4, 12), (4, 15), (5, 19), (5, 27), (6, 15), (6, 19), (10, 14), (10, 29), (12, 14), (16, 29)]
adding cut for [(2, 15), (3, 9), (3, 18), (5, 18), (5, 19), (6, 15), (6, 19), (7, 21), (7, 23), (9, 23)]
adding cut for [(10, 29), (4, 20), (4, 29)]
adding cut for [(4, 15), (4, 20), (5, 19), (5, 28), (6, 15), (6, 19)]
adding cut for [(8, 13), (8, 16), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(4, 12), (4, 19), (6, 15), (6, 19), (7, 15), (7, 21), (10, 14), (10, 29), (12, 14), (16, 29)]
adding cut for [(4, 12), (4, 19), (5, 18), (5, 21), (6, 18), (6, 19), (10, 14), (10, 29), (12, 14), (16, 29)]
adding cut for [(4, 12), (4, 19), (5, 18), (5, 19), (6, 15), (6, 18), (10, 14), (10, 29), (12, 14), (15, 26), (16, 29)]
adding cut for [(3, 9), (4, 12), (4, 19), (5, 18), (5, 23), (6, 18), (6, 19), (9, 23), (10, 14), (10, 29), (12, 14), (16, 29)]
adding cut for [(2, 7), (3, 9), (3, 18), (4, 12), (4, 20), (5, 18), (5, 19), (6, 15), (6, 19), (7, 23), (8, 13), (8, 15), (9, 23), (12, 13)]
adding cut for [(10, 29), (10, 14), (29, 30), (14, 17)]
adding cut for [(5, 18), (5, 19), (6, 19), (6, 28), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 29), (14, 17)]
adding cut for [(2, 18), (5, 19), (5, 26), (6, 15), (6, 18), (8, 13), (8, 15), (13, 19)]
adding cut for [(7, 15), (7, 21), (8, 13), (8, 15), (10, 14), (10, 29), (12, 13), (12, 14), (29, 30)]
adding cut for [(2, 7), (4, 19), (4, 20), (7, 15), (8, 13), (8, 15), (13, 19)]
adding cut for [(3, 9), (5, 18), (5, 23), (6, 18), (6, 28), (9, 23)]
adding cut for [(3, 9), (5, 18), (5, 19), (6, 18), (6, 28), (8, 13), (8, 23), (9, 23), (13, 19)]
adding cut for [(3, 9), (4, 19), (4, 20), (7, 15), (7, 23), (8, 13), (8, 15), (9, 23), (13, 19)]
adding cut for [(5, 18), (5, 26), (6, 18), (6, 28)]
adding cut for [(3, 9), (6, 15), (6, 18), (8, 13), (8, 18), (9, 29), (10, 14), (10, 29), (12, 13), (12, 14), (15, 26)]
adding cut for [(5, 18), (5, 23), (7, 21), (7, 23), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(4, 20), (4, 19), (6, 27), (6, 19)]
adding cut for [(2, 18), (4, 15), (4, 29), (5, 18), (5, 19), (8, 13), (8, 15), (10, 14), (10, 29), (12, 14), (12, 22), (13, 19)]
adding cut for [(4, 25), (4, 29), (6, 17), (6, 18), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(2, 15), (5, 19), (5, 27), (8, 13), (8, 15), (13, 19)]
adding cut for [(5, 18), (5, 23), (7, 21), (7, 23), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(3, 9), (3, 31), (4, 15), (4, 20), (9, 15)]
adding cut for [(2, 18), (4, 15), (4, 20), (5, 18), (5, 19), (8, 13), (8, 15), (13, 19)]
adding cut for [(2, 18), (5, 19), (5, 27), (8, 13), (8, 18), (13, 19)]
adding cut for [(4, 15), (4, 25), (6, 15), (6, 19), (7, 21), (7, 23), (8, 13), (8, 23), (13, 19)]
adding cut for [(3, 9), (5, 18), (5, 26), (9, 29), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(4, 15), (4, 25), (6, 15), (6, 19), (7, 23), (7, 26), (8, 13), (8, 23), (13, 19)]
adding cut for [(3, 9), (5, 18), (5, 21), (9, 29), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(3, 9), (6, 15), (6, 19), (7, 15), (7, 23), (8, 13), (8, 26), (9, 23), (13, 19)]
adding cut for [(2, 18), (4, 15), (4, 29), (5, 18), (5, 19), (6, 15), (6, 19), (10, 29)]
adding cut for [(3, 9), (4, 19), (4, 29), (6, 15), (6, 19), (7, 15), (7, 23), (9, 23), (10, 14), (10, 29), (14, 17)]
adding cut for [(4, 19), (4, 20), (5, 18), (5, 27), (8, 13), (8, 18), (13, 19)]
adding cut for [(4, 25), (4, 29), (5, 18), (5, 23), (7, 16), (7, 23), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(3, 9), (4, 15), (4, 19), (5, 18), (5, 19), (7, 15), (7, 23), (9, 23), (10, 14), (10, 29), (12, 14), (12, 18), (16, 29)]
adding cut for [(3, 9), (4, 19), (4, 25), (6, 15), (6, 19), (7, 15), (7, 23), (9, 23)]
adding cut for [(5, 18), (5, 27), (10, 14), (10, 29), (14, 18), (16, 29)]
adding cut for [(3, 9), (6, 15), (6, 18), (9, 15), (10, 14), (10, 29), (12, 14), (12, 18), (16, 29)]
adding cut for [(4, 25), (4, 29), (5, 18), (5, 21), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(2, 15), (6, 19), (6, 27), (8, 13), (8, 15), (13, 19)]
adding cut for [(2, 18), (5, 18), (5, 23), (6, 15), (6, 19), (7, 15), (7, 23), (8, 13), (8, 28), (13, 19)]
adding cut for [(4, 19), (4, 29), (8, 13), (8, 16), (10, 14), (10, 29), (12, 14), (12, 17), (13, 19)]
adding cut for [(3, 9), (5, 18), (5, 23), (6, 15), (6, 18), (7, 21), (7, 23), (9, 15)]
adding cut for [(3, 9), (5, 19), (5, 23), (7, 21), (7, 23), (8, 13), (8, 15), (9, 15), (13, 19)]
adding cut for [(4, 25), (4, 29), (7, 15), (7, 21), (8, 13), (8, 15), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(2, 18), (3, 9), (3, 20), (5, 19), (5, 23), (6, 18), (6, 19), (9, 23)]
adding cut for [(4, 25), (4, 29), (7, 15), (7, 21), (8, 13), (8, 15), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(2, 18), (3, 9), (3, 20), (5, 19), (5, 23), (6, 18), (6, 19), (9, 23)]
adding cut for [(3, 9), (4, 19), (4, 20), (6, 15), (6, 19), (7, 15), (7, 23), (9, 23)]
adding cut for [(5, 18), (5, 27), (10, 18), (10, 29), (16, 29)]
adding cut for [(3, 9), (4, 19), (4, 20), (6, 15), (6, 19), (7, 15), (7, 23), (9, 23)]
adding cut for [(3, 9), (4, 15), (4, 19), (6, 19), (6, 27), (7, 15), (7, 23), (9, 23)]
adding cut for [(5, 18), (5, 21), (10, 18), (10, 29), (16, 29)]
adding cut for [(3, 9), (5, 18), (5, 23), (9, 23), (10, 18), (10, 29), (16, 29)]
adding cut for [(4, 15), (4, 19), (6, 19), (6, 27), (7, 15), (7, 21)]
adding cut for [(3, 9), (5, 18), (5, 23), (8, 13), (8, 28), (9, 23), (12, 13), (12, 18)]
adding cut for [(4, 19), (4, 20), (6, 15), (6, 19), (7, 15), (7, 21)]
adding cut for [(3, 9), (5, 18), (5, 23), (7, 21), (7, 23), (9, 29), (10, 14), (10, 29), (14, 18)]
adding cut for [(3, 9), (5, 18), (5, 23), (9, 23), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(3, 9), (5, 18), (5, 23), (7, 21), (7, 23), (9, 29), (10, 18), (10, 29)]
adding cut for [(3, 9), (4, 15), (4, 19), (5, 19), (5, 23), (7, 21), (7, 23), (9, 15)]
adding cut for [(6, 18), (6, 27), (10, 18), (10, 29), (16, 29)]
adding cut for [(2, 18), (3, 9), (4, 15), (4, 19), (6, 18), (6, 19), (9, 15)]
adding cut for [(5, 19), (5, 27), (7, 21), (7, 23), (8, 13), (8, 23), (13, 19)]
adding cut for [(2, 18), (3, 9), (6, 15), (6, 18), (9, 15)]
adding cut for [(4, 12), (4, 19), (6, 15), (6, 27), (8, 13), (8, 15), (10, 14), (10, 29), (12, 14), (13, 19), (16, 29)]
adding cut for [(4, 12), (4, 19), (5, 18), (5, 23), (6, 18), (6, 19), (7, 21), (7, 23), (8, 13), (8, 28), (12, 13)]
adding cut for [(3, 9), (4, 12), (4, 19), (8, 13), (8, 28), (9, 19), (12, 13)]
adding cut for [(2, 18), (4, 12), (4, 15), (6, 15), (6, 18), (8, 13), (8, 28), (12, 13)]
adding cut for [(3, 9), (5, 19), (5, 23), (7, 21), (7, 23), (9, 19)]
adding cut for [(3, 9), (5, 18), (5, 23), (6, 18), (6, 19), (7, 21), (7, 23), (9, 19)]
adding cut for [(3, 9), (4, 12), (4, 19), (6, 15), (6, 19), (9, 15), (10, 14), (10, 29), (12, 14), (16, 29)]
adding cut for [(3, 9), (4, 12), (4, 19), (6, 15), (6, 19), (9, 15), (10, 14), (10, 29), (12, 14), (16, 29)]
adding cut for [(3, 9), (4, 12), (4, 19), (6, 15), (6, 19), (9, 15), (10, 14), (10, 29), (12, 14), (16, 29)]
adding cut for [(2, 7), (5, 18), (5, 23), (6, 18), (6, 19), (7, 23), (8, 13), (8, 26), (13, 19)]
adding cut for [(10, 14), (10, 29), (12, 14), (12, 22), (28, 29)]
adding cut for [(4, 15), (4, 25), (5, 18), (5, 30), (6, 15), (6, 19), (8, 13), (8, 18), (13, 19)]
adding cut for [(4, 19), (4, 25), (5, 18), (5, 26), (6, 15), (6, 18), (8, 13), (8, 15), (13, 19)]
adding cut for [(4, 15), (4, 19), (5, 18), (5, 19), (6, 15), (6, 17), (8, 13), (8, 28), (10, 14), (10, 18), (12, 13), (12, 14)]
adding cut for [(16, 29), (27, 29)]
adding cut for [(4, 12), (4, 19), (7, 21), (7, 23), (8, 13), (8, 23), (10, 14), (10, 29), (12, 14), (13, 19), (16, 29)]
adding cut for [(2, 7), (2, 18), (4, 15), (4, 29), (6, 15), (6, 18), (7, 21), (10, 14), (10, 29), (12, 14), (12, 22)]
adding cut for [(3, 9), (5, 19), (5, 23), (8, 13), (8, 26), (9, 23), (13, 19)]
adding cut for [(3, 9), (6, 15), (6, 18), (7, 15), (7, 23), (8, 13), (8, 28), (9, 23), (12, 13), (12, 18)]
adding cut for [(4, 19), (4, 20), (10, 14), (10, 29), (12, 13), (12, 14), (13, 19), (16, 29)]
adding cut for [(8, 18), (8, 28), (5, 18), (5, 27)]
adding cut for [(3, 9), (5, 19), (5, 27), (8, 13), (8, 23), (9, 23), (13, 19)]
adding cut for [(6, 15), (6, 18), (7, 15), (7, 21), (10, 14), (10, 29), (12, 14), (12, 18), (16, 29)]
adding cut for [(3, 9), (4, 19), (4, 20), (8, 13), (8, 23), (9, 23), (13, 19)]
adding cut for [(3, 9), (4, 15), (4, 19), (7, 21), (7, 23), (8, 13), (8, 23), (9, 15), (13, 19)]
adding cut for [(5, 18), (5, 26), (10, 14), (10, 29), (12, 14), (12, 18), (16, 29)]
adding cut for [(4, 12), (4, 15), (6, 15), (6, 17), (10, 14), (10, 29), (12, 14), (16, 29)]
adding cut for [(3, 9), (5, 18), (5, 23), (6, 18), (6, 19), (7, 21), (7, 26), (8, 13), (8, 26), (9, 23), (13, 19)]
adding cut for [(2, 15), (4, 12), (4, 15), (10, 14), (10, 29), (12, 14), (28, 29)]
adding cut for [(2, 18), (4, 15), (4, 29), (5, 18), (5, 19), (6, 15), (6, 19), (16, 29)]
adding cut for [(4, 25), (4, 29), (5, 18), (5, 21), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(3, 9), (5, 18), (5, 28), (9, 29), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(4, 15), (4, 29), (7, 15), (7, 23), (8, 13), (8, 23), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(9, 26), (3, 9), (3, 20)]
adding cut for [(4, 25), (4, 29), (7, 21), (7, 23), (8, 13), (8, 23), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(3, 9), (6, 15), (6, 19), (9, 19), (15, 26)]
adding cut for [(7, 21), (7, 23), (8, 13), (8, 23), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(4, 19), (4, 20), (5, 18), (5, 19), (6, 18), (6, 28)]
adding cut for [(3, 9), (4, 12), (4, 19), (6, 15), (6, 19), (9, 29), (10, 14), (10, 29), (12, 14), (15, 26)]
adding cut for [(4, 15), (4, 29), (5, 19), (5, 26), (8, 13), (8, 15), (10, 14), (10, 29), (12, 14), (12, 17), (13, 19)]
adding cut for [(3, 9), (6, 15), (6, 19), (8, 13), (8, 19), (9, 29), (10, 14), (10, 29), (12, 13), (12, 14), (15, 26)]
adding cut for [(2, 15), (5, 18), (5, 19), (6, 15), (6, 18), (8, 13), (8, 16), (13, 19)]
adding cut for [(2, 15), (5, 18), (5, 19), (6, 15), (6, 18), (8, 13), (8, 16), (13, 19)]
adding cut for [(2, 15), (4, 12), (4, 19), (6, 15), (6, 19), (10, 14), (10, 29), (12, 14), (16, 29)]
adding cut for [(5, 18), (5, 28), (8, 13), (8, 18), (13, 26)]
adding cut for [(4, 19), (4, 29), (5, 18), (5, 23), (6, 18), (6, 19), (7, 21), (7, 23), (10, 14), (10, 29), (14, 17)]
adding cut for [(4, 19), (4, 29), (5, 18), (5, 23), (6, 18), (6, 19), (7, 21), (7, 23), (10, 14), (10, 29), (12, 14), (12, 17)]
adding cut for [(4, 19), (4, 29), (5, 18), (5, 23), (6, 18), (6, 19), (7, 21), (7, 23), (10, 14), (10, 29), (12, 14), (12, 22)]
adding cut for [(4, 19), (4, 29), (5, 18), (5, 23), (6, 18), (6, 19), (7, 21), (7, 23), (10, 14), (10, 29), (12, 14), (12, 22)]
adding cut for [(3, 9), (4, 19), (4, 29), (9, 19), (10, 14), (10, 29), (12, 14), (12, 17)]
adding cut for [(4, 25), (4, 29), (5, 18), (5, 28), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(2, 15), (6, 15), (6, 19), (8, 13), (8, 26), (13, 19)]
adding cut for [(2, 15), (4, 15), (4, 29), (5, 18), (5, 28), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(4, 26), (4, 29), (5, 18), (5, 28), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(2, 15), (6, 15), (6, 19), (8, 13), (8, 16), (13, 19)]
adding cut for [(4, 15), (4, 20), (5, 18), (5, 19), (6, 15), (6, 19), (8, 13), (8, 18), (12, 13), (12, 14), (14, 26)]
adding cut for [(2, 7), (3, 9), (3, 16), (7, 23), (9, 29), (10, 23), (10, 29)]
adding cut for [(3, 9), (4, 19), (4, 20), (6, 15), (6, 19), (7, 15), (7, 23), (9, 29), (10, 23), (10, 29)]
adding cut for [(2, 18), (4, 12), (4, 15), (5, 15), (5, 18), (10, 14), (10, 29), (12, 14), (16, 29)]
adding cut for [(2, 7), (5, 18), (5, 23), (7, 23), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(3, 9), (3, 31), (4, 15), (4, 20), (9, 15)]
adding cut for [(2, 15), (3, 9), (6, 15), (6, 18), (9, 29), (10, 18), (10, 29)]
adding cut for [(4, 15), (4, 20), (5, 19), (5, 23), (6, 15), (6, 19), (7, 16), (7, 23)]
adding cut for [(2, 18), (3, 9), (9, 29), (10, 18), (10, 29)]
adding cut for [(3, 9), (5, 19), (5, 23), (7, 21), (7, 23), (9, 29), (10, 19), (10, 29)]
adding cut for [(4, 19), (4, 20), (6, 15), (6, 19), (8, 13), (8, 15), (12, 13), (12, 14), (14, 26)]
adding cut for [(5, 18), (5, 27), (10, 18), (10, 29), (28, 29)]
adding cut for [(4, 19), (4, 20), (5, 18), (5, 19), (10, 18), (10, 29), (28, 29)]
adding cut for [(6, 15), (6, 27), (8, 13), (8, 15), (12, 13), (12, 14), (14, 26)]
adding cut for [(5, 18), (5, 19), (6, 15), (6, 19), (8, 13), (8, 28), (10, 14), (10, 18), (12, 13), (12, 14), (15, 26)]
adding cut for [(27, 29), (4, 20), (4, 29)]
adding cut for [(5, 18), (5, 28), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(4, 15), (4, 25), (5, 18), (5, 19), (6, 15), (6, 19), (10, 18), (10, 29), (16, 29)]
adding cut for [(4, 12), (4, 15), (6, 15), (6, 19), (7, 21), (7, 26), (8, 13), (8, 21), (10, 14), (10, 29), (12, 14), (13, 19), (28, 29)]
adding cut for [(2, 7), (4, 15), (4, 25), (6, 15), (6, 19), (7, 21), (8, 13), (8, 21), (13, 19)]
adding cut for [(3, 9), (5, 18), (5, 23), (9, 23), (10, 14), (10, 29), (12, 14), (12, 18), (28, 29)]
adding cut for [(3, 9), (4, 19), (4, 20), (9, 29), (10, 19), (10, 29)]
adding cut for [(3, 9), (4, 19), (4, 29), (5, 19), (5, 23), (9, 23), (10, 14), (10, 29), (12, 14), (12, 17)]
adding cut for [(4, 19), (4, 29), (5, 18), (5, 21), (6, 18), (6, 19), (10, 14), (10, 29), (12, 14), (12, 17)]
adding cut for [(5, 19), (5, 23), (6, 18), (6, 19), (7, 21), (7, 23), (8, 13), (8, 28), (12, 13), (12, 18)]
adding cut for [(5, 19), (5, 23), (6, 18), (6, 19), (7, 21), (7, 23), (8, 13), (8, 28), (12, 13), (12, 18)]
adding cut for [(3, 9), (4, 19), (4, 20), (5, 19), (5, 23), (7, 15), (7, 23), (9, 15)]
adding cut for [(6, 18), (6, 27), (8, 13), (8, 28), (12, 13), (12, 18)]
adding cut for [(2, 7), (3, 9), (3, 16), (5, 18), (5, 19), (6, 15), (6, 18), (7, 23), (8, 13), (8, 23), (9, 15), (13, 19)]
adding cut for [(4, 12), (4, 15), (5, 18), (5, 23), (6, 15), (6, 18), (7, 21), (7, 23), (10, 14), (10, 29), (12, 14), (28, 29)]
adding cut for [(3, 9), (3, 16), (8, 13), (8, 26), (9, 19), (13, 19)]
adding cut for [(4, 19), (4, 29), (8, 13), (8, 26), (10, 14), (10, 29), (12, 14), (12, 17), (13, 19)]
adding cut for [(5, 19), (5, 23), (7, 23), (7, 26), (8, 13), (8, 28), (13, 19)]
adding cut for [(2, 18), (3, 9), (6, 15), (6, 18), (9, 15)]
adding cut for [(3, 9), (6, 19), (6, 27), (7, 15), (7, 23), (8, 13), (8, 15), (9, 23), (13, 19)]
adding cut for [(3, 9), (8, 13), (8, 19), (9, 29), (10, 14), (10, 29), (12, 13), (12, 14), (17, 19)]
adding cut for [(2, 7), (2, 15), (4, 15), (4, 29), (7, 21), (10, 14), (10, 29), (12, 14), (12, 22)]
adding cut for [(3, 9), (5, 18), (5, 23), (6, 18), (6, 19), (8, 13), (8, 26), (9, 23), (13, 19)]
adding cut for [(4, 15), (4, 29), (7, 15), (7, 21), (10, 14), (10, 29), (12, 14), (12, 22)]
adding cut for [(3, 9), (3, 20), (6, 15), (6, 18), (9, 15), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(2, 15), (3, 9), (6, 15), (6, 18), (9, 29), (10, 14), (10, 29), (14, 18)]
adding cut for [(4, 15), (4, 20), (5, 19), (5, 23), (6, 15), (6, 19), (7, 23), (7, 26)]
adding cut for [(2, 18), (3, 9), (9, 29), (10, 14), (10, 29), (14, 18)]
adding cut for [(3, 9), (5, 18), (5, 23), (6, 15), (6, 18), (7, 21), (7, 23), (9, 15)]
adding cut for [(4, 19), (4, 20), (8, 13), (8, 26), (13, 19)]
adding cut for [(4, 25), (4, 29), (5, 17), (5, 18), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(6, 15), (6, 27), (8, 13), (8, 28), (13, 19), (15, 19)]
adding cut for [(4, 15), (4, 20), (5, 18), (5, 27), (6, 15), (6, 18)]
adding cut for [(4, 19), (4, 29), (5, 19), (5, 23), (7, 21), (7, 23), (10, 14), (10, 29), (12, 14), (12, 17)]
adding cut for [(2, 18), (3, 9), (6, 15), (6, 18), (9, 15)]
adding cut for [(3, 9), (4, 12), (4, 19), (5, 19), (5, 23), (8, 13), (8, 28), (9, 23), (12, 13)]
adding cut for [(2, 18), (3, 9), (5, 19), (5, 23), (6, 18), (6, 19), (9, 23)]
adding cut for [(3, 9), (5, 18), (5, 23), (6, 18), (6, 19), (8, 13), (8, 21), (9, 23), (13, 19)]
adding cut for [(2, 18), (3, 9), (6, 15), (6, 19), (7, 15), (7, 23), (8, 13), (8, 18), (9, 23), (13, 19)]
adding cut for [(4, 15), (4, 20), (5, 19), (5, 23), (6, 15), (6, 19), (7, 21), (7, 23)]
adding cut for [(16, 29), (9, 29), (3, 9)]
adding cut for [(2, 7), (3, 9), (4, 15), (4, 19), (5, 18), (5, 23), (7, 23), (8, 13), (8, 18), (9, 15), (13, 19)]
adding cut for [(6, 17), (6, 28), (10, 14), (10, 29), (12, 14), (12, 17), (16, 29)]
adding cut for [(2, 7), (3, 9), (4, 15), (4, 19), (5, 18), (5, 23), (7, 23), (8, 13), (8, 18), (9, 15), (13, 19)]
adding cut for [(6, 17), (6, 28), (10, 14), (10, 29), (12, 14), (12, 17), (16, 29)]
adding cut for [(2, 15), (6, 15), (6, 19), (7, 21), (7, 23), (8, 13), (8, 23), (13, 19)]
adding cut for [(3, 9), (5, 17), (5, 18), (9, 29), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(5, 18), (5, 19), (6, 19), (6, 28), (8, 13), (8, 18), (10, 14), (10, 29), (12, 13), (12, 14)]
adding cut for [(3, 9), (5, 18), (5, 19), (6, 19), (6, 28), (9, 29), (10, 14), (10, 29), (12, 14), (12, 18)]
adding cut for [(2, 7), (2, 15), (3, 9), (4, 15), (4, 29), (7, 23), (9, 23), (10, 14), (10, 29), (12, 14), (12, 17)]
adding cut for [(5, 18), (5, 30), (6, 18), (6, 19), (8, 13), (8, 16), (13, 19)]
adding cut for [(2, 7), (3, 9), (7, 23), (8, 13), (8, 23), (9, 19), (13, 19)]
adding cut for [(4, 15), (4, 20), (5, 18), (5, 28), (6, 15), (6, 18)]

Cutting planes:
  Gomory: 6
  Zero half: 5

Explored 4817 nodes (28894 simplex iterations) in 4.02 seconds
Thread count was 1 (of 16 available processors)

Optimal solution found (tolerance 1.00e-04)
Best objective 5.500000000000e+02, best bound 5.500000000000e+02, gap 0.0%

Gurobi 5.0.1 (linux64) logging started Fri Dec  7 08:20:32 2012