Columns read. Rows read. 0 execute 0 X0X1(11,14) X0X2(12,15) X0X3(12,15) X0X4(11,14) X0X5(10,13) X0X6(9,12) X0X7(7,10) X0X8(7,10) X0X9(7,9) X1X0(12,15) X1X1(10,14) X1X2(11,16) X1X3(12,18) X1X4(12,19) X1X5(12,19) X1X6(10,16) X1X7(7,12) X1X8(7,11) X1X9(7,10) X2X0(9,13) X2X1(6,10) X2X2(7,13) X2X3(9,16) X2X4(8,15) X2X5(8,15) X2X6(9,16) X2X7(7,13) X2X8(7,12) X2X9(7,11) X3X0(8,13) X3X1(5,9) X3X2(6,12) X3X3(9,16) X3X4(7,14) X3X5(7,14) X3X6(9,16) X3X7(6,12) X3X8(7,13) X3X9(7,12) X4X0(8,14) X4X1(5,9) X4X2(7,13) X4X3(11,18) X4X4(10,17) X4X5(10,17) X4X6(11,18) X4X7(7,13) X4X8(7,13) X4X9(7,13) X5X0(8,14) X5X1(5,9) X5X2(7,13) X5X3(11,18) X5X4(10,17) X5X5(10,17) X5X6(11,18) X5X7(7,13) X5X8(7,13) X5X9(7,13) X6X0(6,11) X6X1(3,6) X6X2(4,8) X6X3(6,11) X6X4(5,10) X6X5(5,10) X6X6(6,11) X6X7(4,8) X6X8(5,10) X6X9(6,11) X7X0(7,11) X7X1(5,9) X7X2(6,12) X7X3(8,14) X7X4(9,15) X7X5(9,15) X7X6(8,14) X7X7(6,12) X7X8(7,12) X7X9(6,10) X8X0(6,9) X8X1(5,9) X8X2(6,11) X8X3(7,12) X8X4(8,13) X8X5(8,13) X8X6(7,12) X8X7(6,11) X8X8(6,10) X8X9(5,8) X9X0(5,7) X9X1(5,8) X9X2(5,9) X9X3(6,10) X9X4(7,11) X9X5(7,11) X9X6(6,10) X9X7(5,9) X9X8(5,8) X9X9(4,6) c0i0(5,5) c1i0(2,2) c2i0(3,3) c3i0(4,4) c3i1(4,4) c4i0(4,4) c5i0(4,4) c6i0(4,4) c6i1(4,4) c7i0(3,3) c8i0(4,4) c9i0(5,5) r0i0(9,9) r1i0(6,6) r1i1(6,6) r2i0(4,4) r3i0(3,3) r4i0(3,3) r4i1(3,3) r4i2(3,3) r5i0(3,3) r5i1(3,3) r5i2(3,3) r6i0(1,1) r7i0(3,3) r7i1(3,3) r8i0(3,3) r8i1(3,3) r9i0(3,3) r9i1(3,3) branching on r6i0(1) 0 Colselect r6i0 12400 0 execute 582 CBS 1 1 1 terms left at max 1 per for 1 total weight Ignoring 582 r6i0 : r6i0 1 X6X0 2 r6r0 2 X6X1 2 r6r1 2 X6X2 2 r6r2 2 X6X3 2 r6r3 2 X6X4 2 r6r4 2 X6X5 2 r6r5 2 X6X6 2 r6r6 2 X6X7 2 r6r7 2 X6X8 2 r6r8 2 X6X9 2 r6r9 2 (1 of 1) CBS 1 1 L1r6i0 1 X6X0 2 r6r0 2 X6X1 2 r6r1 2 X6X2 2 r6r2 2 X6X3 2 r6r3 2 X6X4 2 r6r4 2 X6X5 2 r6r5 2 X6X6 2 r6r6 2 X6X7 2 r6r7 2 X6X8 2 r6r8 2 X6X9 2 r6r9 2 (1 of 0) 1 adding_row 582 1 r6i0 weight reduced to 0 from 1 1 X6X0 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 2 CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 860 X6X0 : X6X0 1 c0i0 1 X0X0 2 c0c0 2 X1X0 2 c1c0 2 X2X0 2 c2c0 2 X3X0 2 c3c0 2 X4X0 2 c4c0 2 X5X0 2 c5c0 2 c6c0 1 (5 of 5) 1 X6X0 weight reduced to -3 from -1 1 r6r0 weight about to be reduced Covering 29800 r6r0 END Covering 29800 1 r6r0 weight reduced to 0 from 2 1 X6X1 weight about to be reduced CBS -3 2 CBS -3 2 1 X6X1 weight reduced to -3 from -1 1 r6r1 weight about to be reduced Covering 29900 r6r1 END Covering 29900 1 r6r1 weight reduced to 0 from 2 1 X6X2 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 2 1 X6X2 weight reduced to -3 from -1 1 r6r2 weight about to be reduced Covering 30000 r6r2 END Covering 30000 1 r6r2 weight reduced to 0 from 2 1 X6X3 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 2 CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 1080 X6X3 : X6X3 1 c3o1 6 X0X3 1 X1X3 1 c3i0 1 c2c3 1 X2X3 1 X3X3 2 c3c3 2 X4X3 2 c4c3 2 X5X3 2 c5c3 2 c6c3 1 (5 of 5) 1 X6X3 weight reduced to -3 from -1 1 r6r3 weight about to be reduced Covering 30100 r6r3 END Covering 30100 1 r6r3 weight reduced to 0 from 2 1 X6X4 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 2 CBS -3 2 1 X6X4 weight reduced to -3 from -1 1 r6r4 weight about to be reduced Covering 30200 r6r4 END Covering 30200 1 r6r4 weight reduced to 0 from 2 1 X6X5 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 2 CBS -3 2 1 X6X5 weight reduced to -3 from -1 1 r6r5 weight about to be reduced Covering 30300 r6r5 END Covering 30300 1 r6r5 weight reduced to 0 from 2 1 X6X6 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 2 CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 1333 X6X6 : X6X6 1 c6o1 6 X0X6 1 X1X6 1 c6i0 1 c2c6 1 X2X6 1 X3X6 2 c3c6 2 X4X6 2 c4c6 2 X5X6 2 c5c6 2 c6c6 1 (5 of 5) 1 X6X6 weight reduced to -3 from -1 1 r6r6 weight about to be reduced Covering 30400 r6r6 END Covering 30400 1 r6r6 weight reduced to 0 from 2 1 X6X7 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 2 1 X6X7 weight reduced to -3 from -1 1 r6r7 weight about to be reduced Covering 30500 r6r7 END Covering 30500 1 r6r7 weight reduced to 0 from 2 1 X6X8 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 2 CBS -3 2 1 X6X8 weight reduced to -3 from -1 1 r6r8 weight about to be reduced Covering 30600 r6r8 END Covering 30600 1 r6r8 weight reduced to 0 from 2 1 X6X9 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 2 CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 1540 X6X9 : X6X9 1 c9i0 1 X0X9 2 c0c9 2 X1X9 2 c1c9 2 X2X9 2 c2c9 2 X3X9 2 c3c9 2 X4X9 2 c4c9 2 X5X9 2 c5c9 2 c6c9 1 (5 of 5) 1 X6X9 weight reduced to -3 from -1 1 r6r9 weight about to be reduced Covering 30700 r6r9 END Covering 30700 1 r6r9 weight reduced to 0 from 2 1 execute 12400 X0X1(11,14) X0X2(12,15) X0X3(11,15) X0X4(11,14) X0X5(10,13) X0X6(8,12) X0X7(7,10) X0X8(7,10) X0X9(6,9) X1X0(11,15) X1X1(10,14) X1X2(11,16) X1X3(11,18) X1X4(12,19) X1X5(12,19) X1X6(9,16) X1X7(7,12) X1X8(7,11) X1X9(6,10) X2X0(8,13) X2X1(6,10) X2X2(7,13) X2X3(8,16) X2X4(8,15) X2X5(8,15) X2X6(8,16) X2X7(7,13) X2X8(7,12) X2X9(6,11) X3X0(7,13) X3X1(5,9) X3X2(6,12) X3X3(8,16) X3X4(7,14) X3X5(7,14) X3X6(8,16) X3X7(6,12) X3X8(7,13) X3X9(6,12) X4X0(7,14) X4X1(5,9) X4X2(7,13) X4X3(10,18) X4X4(10,17) X4X5(10,17) X4X6(10,18) X4X7(7,13) X4X8(7,13) X4X9(6,13) X5X0(7,14) X5X1(5,9) X5X2(7,13) X5X3(10,18) X5X4(10,17) X5X5(10,17) X5X6(10,18) X5X7(7,13) X5X8(7,13) X5X9(6,13) X6X0(4,9) X6X1(2,4) X6X2(3,6) X6X3(4,9) X6X4(4,8) X6X5(4,8) X6X6(4,9) X6X7(3,6) X6X8(4,8) X6X9(4,9) X7X0(7,11) X7X1(5,9) X7X2(6,12) X7X3(8,14) X7X4(9,15) X7X5(9,15) X7X6(8,14) X7X7(6,12) X7X8(7,12) X7X9(6,10) X8X0(6,9) X8X1(5,9) X8X2(6,11) X8X3(7,12) X8X4(8,13) X8X5(8,13) X8X6(7,12) X8X7(6,11) X8X8(6,10) X8X9(5,8) X9X0(5,7) X9X1(5,8) X9X2(5,9) X9X3(6,10) X9X4(7,11) X9X5(7,11) X9X6(6,10) X9X7(5,9) X9X8(5,8) X9X9(4,6) c0i0(4,5) c1i0(2,2) c2i0(3,3) c3i0(3,4) c3i1(4,4) c4i0(4,4) c5i0(4,4) c6i0(3,4) c6i1(4,4) c7i0(3,3) c8i0(4,4) c9i0(4,5) r0i0(9,9) r1i0(6,6) r1i1(6,6) r2i0(4,4) r3i0(3,3) r4i0(3,3) r4i1(3,3) r4i2(3,3) r5i0(3,3) r5i1(3,3) r5i2(3,3) r7i0(3,3) r7i1(3,3) r8i0(3,3) r8i1(3,3) r9i0(3,3) r9i1(3,3) branching on c1i0(2) 1 Colselect c1i0 10200 1 execute 954 CBS 1 1 2 terms left at max 1 per for 1 total weight Ignoring 954 c1i0 : c1i0 1 c0c1 1 X0X1 1 X1X1 2 c1c1 2 X2X1 2 c2c1 2 X3X1 2 c3c1 2 X4X1 2 c4c1 2 X5X1 2 c5c1 2 X6X1 2 c6c1 2 X7X1 2 c7c1 2 X8X1 2 c8c1 2 X9X1 2 c9c1 2 (1 of 2) CBS 1 1 CBS 0 1 CBS 1 1 Ignoring 933 c1i0 : c1i0 1 X0X1 2 c0c1 2 X1X1 2 c1c1 2 X2X1 2 c2c1 2 X3X1 2 c3c1 2 X4X1 2 c4c1 2 X5X1 2 c5c1 2 X6X1 2 c6c1 2 X7X1 2 c7c1 2 X8X1 2 c8c1 2 c9c1 1 X9X1 1 (2 of 1) 2 adding_row 954 2 c1i0 weight reduced to 0 from 1 2 c0c1 weight about to be reduced 2 c0c1 weight reduced to 1 from 2 2 X0X1 weight about to be reduced CBS -2 2 CBS -1 2 Ignoring 10 X0X1 : X0X1 2 r0r1 2 X0X2 2 r0r2 2 r0r3 1 X0X3 1 r0i0 1 r0r0 1 X0X0 1 (1 of 9) CBS -2 2 CBS -1 2 Ignoring 3 X0X1 : X0X1 2 r0r1 2 r0r2 1 X0X2 1 r0i0 1 X0X0 2 r0r0 2 (2 of 8) CBS -2 1 CBS -2 1 CBS -2 1 CBS -2 1 CBS -2 1 CBS -2 1 CBS -2 1 2 X0X1 weight reduced to -2 from -1 2 X1X1 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 177 X1X1 : X1X1 1 X1X2 2 r1r2 2 X1X3 2 r1r3 2 X1X4 2 r1r4 2 X1X5 2 r1r5 2 r1r6 1 X1X6 1 r1o1 8 r1i1 1 r1r1 1 (3 of 8) CBS -3 1 CBS -1 1 Ignoring 158 X1X1 : X1X1 1 X1X2 1 X1X3 1 r1i0 1 r1r4 1 X1X4 1 X1X5 2 r1r5 2 r1r6 1 X1X6 1 r1o1 6 X1X0 1 (4 of 7) CBS -3 1 CBS -1 1 Ignoring 147 X1X1 : X1X1 1 X1X2 1 r1i0 1 r1r3 1 X1X3 1 X1X4 2 r1r4 2 r1r5 1 X1X5 1 r1o1 5 X1X0 1 (5 of 6) CBS -3 1 CBS -1 1 Ignoring 137 X1X1 : X1X1 1 r1i0 1 r1r2 1 X1X2 1 X1X3 2 r1r3 2 r1r4 1 X1X4 1 r1o1 4 X1X0 1 (6 of 5) CBS -3 1 CBS -1 1 Ignoring 121 X1X1 : X1X1 1 X1X2 2 r1r2 2 r1r3 1 X1X3 1 r1o1 3 X1X0 1 r1i0 1 r1r1 1 (7 of 4) CBS -3 1 CBS -1 1 Ignoring 109 X1X1 : X1X1 1 r1o1 1 r1i0 1 X1X0 2 r1r0 2 r1r1 1 (8 of 3) 2 X1X1 weight reduced to -3 from -1 2 c1c1 weight about to be reduced Covering 14200 c1c1 END Covering 14200 2 c1c1 weight reduced to 0 from 2 2 X2X1 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 317 X2X1 : X2X1 1 r2i0 1 r2r2 1 X2X2 1 X2X3 2 r2r3 2 X2X4 2 r2r4 2 X2X5 2 r2r5 2 X2X6 2 r2r6 2 X2X7 2 r2r7 2 X2X8 2 r2r8 2 X2X9 2 r2r9 2 X2X0 1 (3 of 4) CBS -3 1 CBS -1 1 Ignoring 281 X2X1 : X2X1 1 X2X2 2 r2r2 2 X2X3 2 r2r3 2 X2X4 2 r2r4 2 X2X5 2 r2r5 2 X2X6 2 r2r6 2 X2X7 2 r2r7 2 X2X8 2 r2r8 2 r2r9 1 X2X9 1 X2X0 1 r2i0 1 r2r1 1 (4 of 3) 2 X2X1 weight reduced to -3 from -1 2 c2c1 weight about to be reduced Covering 15200 c2c1 END Covering 15200 2 c2c1 weight reduced to 0 from 2 2 X3X1 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 360 X3X1 : X3X1 1 X3X2 2 r3r2 2 X3X3 2 r3r3 2 X3X4 2 r3r4 2 X3X5 2 r3r5 2 X3X6 2 r3r6 2 X3X7 2 r3r7 2 X3X8 2 r3r8 2 X3X9 2 r3r9 2 X3X0 1 r3i0 1 r3r1 1 (3 of 3) 2 X3X1 weight reduced to -3 from -1 2 c3c1 weight about to be reduced Covering 16200 c3c1 END Covering 16200 2 c3c1 weight reduced to 0 from 2 2 X4X1 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 402 X4X1 : X4X1 1 X4X2 2 r4r2 2 X4X3 2 r4r3 2 X4X4 2 r4r4 2 r4r5 1 X4X5 1 r4o1 5 X4X0 1 r4i0 1 r4r1 1 (3 of 3) 2 X4X1 weight reduced to -3 from -1 2 c4c1 weight about to be reduced Covering 17300 c4c1 END Covering 17300 2 c4c1 weight reduced to 0 from 2 2 X5X1 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 504 X5X1 : X5X1 1 X5X2 2 r5r2 2 X5X3 2 r5r3 2 X5X4 2 r5r4 2 r5r5 1 X5X5 1 r5o1 5 X5X0 1 r5i0 1 r5r1 1 (3 of 3) 2 X5X1 weight reduced to -3 from -1 2 c5c1 weight about to be reduced Covering 18300 c5c1 END Covering 18300 2 c5c1 weight reduced to 0 from 2 2 X6X1 weight about to be reduced 2 X6X1 weight reduced to -3 from -3 2 c6c1 weight about to be reduced Covering 19300 c6c1 END Covering 19300 2 c6c1 weight reduced to 0 from 2 2 X7X1 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 631 X7X1 : X7X1 1 X7X2 2 r7r2 2 X7X3 2 r7r3 2 X7X4 2 r7r4 2 X7X5 2 r7r5 2 r7r6 1 X7X6 1 r7o1 6 X7X0 1 r7i0 1 r7r1 1 (3 of 3) 2 X7X1 weight reduced to -3 from -1 2 c7c1 weight about to be reduced Covering 20400 c7c1 END Covering 20400 2 c7c1 weight reduced to 0 from 2 2 X8X1 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 712 X8X1 : X8X1 1 X8X2 2 r8r2 2 X8X3 2 r8r3 2 X8X4 2 r8r4 2 X8X5 2 r8r5 2 r8r6 1 X8X6 1 r8o1 6 X8X0 1 r8i0 1 r8r1 1 (3 of 3) 2 X8X1 weight reduced to -3 from -1 2 c8c1 weight about to be reduced Covering 21400 c8c1 END Covering 21400 2 c8c1 weight reduced to 0 from 2 2 X9X1 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 793 X9X1 : X9X1 1 X9X2 2 r9r2 2 X9X3 2 r9r3 2 X9X4 2 r9r4 2 X9X5 2 r9r5 2 r9r6 1 X9X6 1 r9o1 6 X9X0 1 r9i0 1 r9r1 1 (3 of 3) 2 X9X1 weight reduced to -3 from -1 2 c9c1 weight about to be reduced Covering 22400 c9c1 END Covering 22400 2 c9c1 weight reduced to 0 from 2 2 execute 933 CBS 0 1 2 row already ignored, skipping 933 2 execute 10200 X0X1(7,13) X0X2(10,15) X0X3(10,15) X0X4(11,14) X0X5(10,13) X0X6(8,12) X0X7(7,10) X0X8(7,10) X0X9(6,9) X1X0(6,15) X1X1(2,12) X1X2(6,16) X1X3(6,18) X1X4(8,19) X1X5(9,19) X1X6(7,16) X1X7(7,12) X1X8(7,11) X1X9(6,10) X2X0(6,13) X2X1(2,8) X2X2(5,13) X2X3(6,16) X2X4(6,15) X2X5(6,15) X2X6(6,16) X2X7(5,13) X2X8(5,12) X2X9(4,11) X3X0(6,13) X3X1(2,7) X3X2(5,12) X3X3(7,16) X3X4(6,14) X3X5(6,14) X3X6(7,16) X3X7(5,12) X3X8(6,13) X3X9(5,12) X4X0(6,14) X4X1(2,7) X4X2(6,13) X4X3(9,18) X4X4(9,17) X4X5(9,17) X4X6(10,18) X4X7(7,13) X4X8(7,13) X4X9(6,13) X5X0(6,14) X5X1(2,7) X5X2(6,13) X5X3(9,18) X5X4(9,17) X5X5(9,17) X5X6(10,18) X5X7(7,13) X5X8(7,13) X5X9(6,13) X6X0(4,9) X6X1(0,4) X6X2(3,6) X6X3(4,9) X6X4(4,8) X6X5(4,8) X6X6(4,9) X6X7(3,6) X6X8(4,8) X6X9(4,9) X7X0(6,11) X7X1(2,7) X7X2(5,12) X7X3(7,14) X7X4(8,15) X7X5(8,15) X7X6(7,14) X7X7(6,12) X7X8(7,12) X7X9(6,10) X8X0(5,9) X8X1(2,7) X8X2(5,11) X8X3(6,12) X8X4(7,13) X8X5(7,13) X8X6(6,12) X8X7(6,11) X8X8(6,10) X8X9(5,8) X9X0(4,7) X9X1(2,6) X9X2(4,9) X9X3(5,10) X9X4(6,11) X9X5(6,11) X9X6(5,10) X9X7(5,9) X9X8(5,8) X9X9(4,6) c0i0(4,5) c2i0(3,3) c3i0(3,4) c3i1(4,4) c4i0(4,4) c5i0(4,4) c6i0(3,4) c6i1(4,4) c7i0(3,3) c8i0(4,4) c9i0(4,5) r0i0(7,9) r1i0(1,6) r1i1(5,6) r2i0(2,4) r3i0(2,3) r4i0(2,3) r4i1(3,3) r4i2(3,3) r5i0(2,3) r5i1(3,3) r5i2(3,3) r7i0(2,3) r7i1(3,3) r8i0(2,3) r8i1(3,3) r9i0(2,3) r9i1(3,3) branching on X6X1(0) 2 Colselect X6X1 6200 2 execute 6200 X0X1(7,13) X0X2(10,15) X0X3(10,15) X0X4(11,14) X0X5(10,13) X0X6(8,12) X0X7(7,10) X0X8(7,10) X0X9(6,9) X1X0(6,15) X1X1(2,12) X1X2(6,16) X1X3(6,18) X1X4(8,19) X1X5(9,19) X1X6(7,16) X1X7(7,12) X1X8(7,11) X1X9(6,10) X2X0(6,13) X2X1(2,8) X2X2(5,13) X2X3(6,16) X2X4(6,15) X2X5(6,15) X2X6(6,16) X2X7(5,13) X2X8(5,12) X2X9(4,11) X3X0(6,13) X3X1(2,7) X3X2(5,12) X3X3(7,16) X3X4(6,14) X3X5(6,14) X3X6(7,16) X3X7(5,12) X3X8(6,13) X3X9(5,12) X4X0(6,14) X4X1(2,7) X4X2(6,13) X4X3(9,18) X4X4(9,17) X4X5(9,17) X4X6(10,18) X4X7(7,13) X4X8(7,13) X4X9(6,13) X5X0(6,14) X5X1(2,7) X5X2(6,13) X5X3(9,18) X5X4(9,17) X5X5(9,17) X5X6(10,18) X5X7(7,13) X5X8(7,13) X5X9(6,13) X6X0(4,9) X6X2(3,6) X6X3(4,9) X6X4(4,8) X6X5(4,8) X6X6(4,9) X6X7(3,6) X6X8(4,8) X6X9(4,9) X7X0(6,11) X7X1(2,7) X7X2(5,12) X7X3(7,14) X7X4(8,15) X7X5(8,15) X7X6(7,14) X7X7(6,12) X7X8(7,12) X7X9(6,10) X8X0(5,9) X8X1(2,7) X8X2(5,11) X8X3(6,12) X8X4(7,13) X8X5(7,13) X8X6(6,12) X8X7(6,11) X8X8(6,10) X8X9(5,8) X9X0(4,7) X9X1(2,6) X9X2(4,9) X9X3(5,10) X9X4(6,11) X9X5(6,11) X9X6(5,10) X9X7(5,9) X9X8(5,8) X9X9(4,6) c0i0(4,5) c2i0(3,3) c3i0(3,4) c3i1(4,4) c4i0(4,4) c5i0(4,4) c6i0(3,4) c6i1(4,4) c7i0(3,3) c8i0(4,4) c9i0(4,5) r0i0(7,9) r1i0(1,6) r1i1(5,6) r2i0(2,4) r3i0(2,3) r4i0(2,3) r4i1(3,3) r4i2(3,3) r5i0(2,3) r5i1(3,3) r5i2(3,3) r7i0(2,3) r7i1(3,3) r8i0(2,3) r8i1(3,3) r9i0(2,3) r9i1(3,3) branching on r1i0(1) 2 Colselect r1i0 11400 2 execute 111 CBS 1 1 1 terms left at max 1 per for 1 total weight Ignoring 111 r1i0 : r1i0 1 r1r0 1 X1X0 1 X1X1 2 r1r1 2 r1r2 1 X1X2 1 r1o1 2 (1 of 1) CBS 1 1 3 adding_row 111 3 r1i0 weight reduced to 0 from 1 3 r1r0 weight about to be reduced CBS 1 1 3 r1r0 weight reduced to 1 from 2 3 X1X0 weight about to be reduced CBS -2 2 CBS -1 2 Ignoring 864 X1X0 : X1X0 2 c1c0 2 X2X0 2 c2c0 2 X3X0 2 c3c0 2 X4X0 2 c4c0 2 X5X0 2 c5c0 2 X6X0 2 c6c0 2 c7c0 1 X7X0 1 c0i0 1 c0c0 1 X0X0 1 (1 of 5) CBS -2 1 CBS -2 1 CBS -2 1 CBS -2 1 3 X1X0 weight reduced to -2 from -1 3 X1X1 weight about to be reduced CBS -3 2 CBS -3 1 CBS -3 1 CBS -3 1 CBS -3 1 CBS -3 1 CBS -3 1 CBS -3 1 CBS -3 1 CBS -3 1 CBS -3 1 CBS -3 1 CBS -3 1 3 X1X1 weight reduced to -3 from -3 3 r1r1 weight about to be reduced Covering 24500 r1r1 CBS 2 2 Ignoring 165 r1r1 : r1r1 2 X1X2 2 r1r2 2 X1X3 2 r1r3 2 X1X4 2 r1r4 2 r1r5 1 X1X5 1 r1o1 9 r1i1 1 r1r0 1 X1X0 1 X1X1 2 (1 of 1) END Covering 24500 3 r1r1 weight reduced to 0 from 2 3 r1r2 weight about to be reduced CBS 1 1 3 r1r2 weight reduced to 1 from 2 3 X1X2 weight about to be reduced CBS -2 2 CBS -1 2 Ignoring 997 X1X2 : X1X2 2 c1c2 2 X2X2 2 c2c2 2 X3X2 2 c3c2 2 X4X2 2 c4c2 2 X5X2 2 c5c2 2 X6X2 2 c6c2 2 X7X2 2 c7c2 2 X8X2 2 c8c2 2 c9c2 1 X9X2 1 c2i0 1 c0c2 1 X0X2 1 (1 of 4) CBS -2 2 CBS -1 2 Ignoring 978 X1X2 : X1X2 2 c1c2 2 X2X2 2 c2c2 2 X3X2 2 c3c2 2 X4X2 2 c4c2 2 X5X2 2 c5c2 2 X6X2 2 c6c2 2 X7X2 2 c7c2 2 c8c2 1 X8X2 1 c2i0 1 X0X2 2 c0c2 2 (2 of 3) CBS -2 1 CBS -2 1 3 X1X2 weight reduced to -2 from -1 3 r1o1 weight about to be reduced CBS 8 7 CBS 8 6 CBS 8 5 CBS 8 4 3 r1o1 weight reduced to 8 from 10 3 execute 11400 X0X1(7,13) X0X2(8,15) X0X3(10,15) X0X4(11,14) X0X5(10,13) X0X6(8,12) X0X7(7,10) X0X8(7,10) X0X9(6,9) X1X0(3,14) X1X1(0,12) X1X2(2,15) X1X3(5,18) X1X4(7,19) X1X5(8,19) X1X6(7,16) X1X7(7,12) X1X8(7,11) X1X9(6,10) X2X0(5,13) X2X1(2,8) X2X2(3,13) X2X3(6,16) X2X4(6,15) X2X5(6,15) X2X6(6,16) X2X7(5,13) X2X8(5,12) X2X9(4,11) X3X0(5,13) X3X1(2,7) X3X2(3,12) X3X3(7,16) X3X4(6,14) X3X5(6,14) X3X6(7,16) X3X7(5,12) X3X8(6,13) X3X9(5,12) X4X0(5,14) X4X1(2,7) X4X2(4,13) X4X3(9,18) X4X4(9,17) X4X5(9,17) X4X6(10,18) X4X7(7,13) X4X8(7,13) X4X9(6,13) X5X0(5,14) X5X1(2,7) X5X2(4,13) X5X3(9,18) X5X4(9,17) X5X5(9,17) X5X6(10,18) X5X7(7,13) X5X8(7,13) X5X9(6,13) X6X0(3,9) X6X2(1,6) X6X3(4,9) X6X4(4,8) X6X5(4,8) X6X6(4,9) X6X7(3,6) X6X8(4,8) X6X9(4,9) X7X0(5,11) X7X1(2,7) X7X2(3,12) X7X3(7,14) X7X4(8,15) X7X5(8,15) X7X6(7,14) X7X7(6,12) X7X8(7,12) X7X9(6,10) X8X0(5,9) X8X1(2,7) X8X2(3,11) X8X3(6,12) X8X4(7,13) X8X5(7,13) X8X6(6,12) X8X7(6,11) X8X8(6,10) X8X9(5,8) X9X0(4,7) X9X1(2,6) X9X2(3,9) X9X3(5,10) X9X4(6,11) X9X5(6,11) X9X6(5,10) X9X7(5,9) X9X8(5,8) X9X9(4,6) c0i0(3,5) c2i0(1,3) c3i0(3,4) c3i1(4,4) c4i0(4,4) c5i0(4,4) c6i0(3,4) c6i1(4,4) c7i0(3,3) c8i0(4,4) c9i0(4,5) r0i0(7,9) r1i1(4,6) r2i0(2,4) r3i0(2,3) r4i0(2,3) r4i1(3,3) r4i2(3,3) r5i0(2,3) r5i1(3,3) r5i2(3,3) r7i0(2,3) r7i1(3,3) r8i0(2,3) r8i1(3,3) r9i0(2,3) r9i1(3,3) branching on X1X1(0) 3 Colselect X1X1 1200 3 execute 177 CBS -3 1 3 row already ignored, skipping 177 3 execute 158 CBS -3 1 3 row already ignored, skipping 158 3 execute 147 CBS -3 1 3 row already ignored, skipping 147 3 execute 137 CBS -3 1 3 row already ignored, skipping 137 3 execute 121 CBS -3 1 3 row already ignored, skipping 121 3 execute 109 CBS -3 1 3 row already ignored, skipping 109 3 execute 1200 X0X1(7,13) X0X2(8,15) X0X3(10,15) X0X4(11,14) X0X5(10,13) X0X6(8,12) X0X7(7,10) X0X8(7,10) X0X9(6,9) X1X0(3,14) X1X2(2,15) X1X3(5,18) X1X4(7,19) X1X5(8,19) X1X6(7,16) X1X7(7,12) X1X8(7,11) X1X9(6,10) X2X0(5,13) X2X1(2,8) X2X2(3,13) X2X3(6,16) X2X4(6,15) X2X5(6,15) X2X6(6,16) X2X7(5,13) X2X8(5,12) X2X9(4,11) X3X0(5,13) X3X1(2,7) X3X2(3,12) X3X3(7,16) X3X4(6,14) X3X5(6,14) X3X6(7,16) X3X7(5,12) X3X8(6,13) X3X9(5,12) X4X0(5,14) X4X1(2,7) X4X2(4,13) X4X3(9,18) X4X4(9,17) X4X5(9,17) X4X6(10,18) X4X7(7,13) X4X8(7,13) X4X9(6,13) X5X0(5,14) X5X1(2,7) X5X2(4,13) X5X3(9,18) X5X4(9,17) X5X5(9,17) X5X6(10,18) X5X7(7,13) X5X8(7,13) X5X9(6,13) X6X0(3,9) X6X2(1,6) X6X3(4,9) X6X4(4,8) X6X5(4,8) X6X6(4,9) X6X7(3,6) X6X8(4,8) X6X9(4,9) X7X0(5,11) X7X1(2,7) X7X2(3,12) X7X3(7,14) X7X4(8,15) X7X5(8,15) X7X6(7,14) X7X7(6,12) X7X8(7,12) X7X9(6,10) X8X0(5,9) X8X1(2,7) X8X2(3,11) X8X3(6,12) X8X4(7,13) X8X5(7,13) X8X6(6,12) X8X7(6,11) X8X8(6,10) X8X9(5,8) X9X0(4,7) X9X1(2,6) X9X2(3,9) X9X3(5,10) X9X4(6,11) X9X5(6,11) X9X6(5,10) X9X7(5,9) X9X8(5,8) X9X9(4,6) c0i0(3,5) c2i0(1,3) c3i0(3,4) c3i1(4,4) c4i0(4,4) c5i0(4,4) c6i0(3,4) c6i1(4,4) c7i0(3,3) c8i0(4,4) c9i0(4,5) r0i0(7,9) r1i1(4,6) r2i0(2,4) r3i0(2,3) r4i0(2,3) r4i1(3,3) r4i2(3,3) r5i0(2,3) r5i1(3,3) r5i2(3,3) r7i0(2,3) r7i1(3,3) r8i0(2,3) r8i1(3,3) r9i0(2,3) r9i1(3,3) branching on c2i0(1) 3 Colselect c2i0 10300 3 execute 1015 CBS 1 1 1 terms left at max 1 per for 1 total weight Ignoring 1015 c2i0 : c2i0 1 c1c2 1 X1X2 1 X2X2 2 c2c2 2 X3X2 2 c3c2 2 X4X2 2 c4c2 2 X5X2 2 c5c2 2 X6X2 2 c6c2 2 X7X2 2 c7c2 2 X8X2 2 c8c2 2 X9X2 2 c9c2 2 X0X2 1 (1 of 1) CBS 1 1 4 adding_row 1015 4 c2i0 weight reduced to 0 from 1 4 c1c2 weight about to be reduced 4 c1c2 weight reduced to 1 from 2 4 X1X2 weight about to be reduced CBS -2 2 CBS -2 2 CBS -2 2 CBS -2 2 CBS -2 1 4 X1X2 weight reduced to -2 from -2 4 X2X2 weight about to be reduced CBS -3 2 CBS -3 2 4 X2X2 weight reduced to -3 from -1 4 c2c2 weight about to be reduced Covering 15300 c2c2 END Covering 15300 4 c2c2 weight reduced to 0 from 2 4 X3X2 weight about to be reduced CBS -3 2 CBS -3 2 4 X3X2 weight reduced to -3 from -1 4 c3c2 weight about to be reduced Covering 16300 c3c2 END Covering 16300 4 c3c2 weight reduced to 0 from 2 4 X4X2 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 415 X4X2 : X4X2 1 X4X3 2 r4r3 2 X4X4 2 r4r4 2 r4r5 1 X4X5 1 r4o1 7 r4o2 5 r4i1 1 r4r2 1 (3 of 3) 4 X4X2 weight reduced to -3 from -1 4 c4c2 weight about to be reduced Covering 17400 c4c2 END Covering 17400 4 c4c2 weight reduced to 0 from 2 4 X5X2 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 517 X5X2 : X5X2 1 X5X3 2 r5r3 2 X5X4 2 r5r4 2 r5r5 1 X5X5 1 r5o1 7 r5o2 5 r5i1 1 r5r2 1 (3 of 3) 4 X5X2 weight reduced to -3 from -1 4 c5c2 weight about to be reduced Covering 18400 c5c2 END Covering 18400 4 c5c2 weight reduced to 0 from 2 4 X6X2 weight about to be reduced 4 X6X2 weight reduced to -3 from -3 4 c6c2 weight about to be reduced Covering 19400 c6c2 END Covering 19400 4 c6c2 weight reduced to 0 from 2 4 X7X2 weight about to be reduced CBS -3 2 CBS -3 2 4 X7X2 weight reduced to -3 from -1 4 c7c2 weight about to be reduced Covering 20500 c7c2 END Covering 20500 4 c7c2 weight reduced to 0 from 2 4 X8X2 weight about to be reduced CBS -3 2 CBS -3 2 4 X8X2 weight reduced to -3 from -1 4 c8c2 weight about to be reduced Covering 21500 c8c2 END Covering 21500 4 c8c2 weight reduced to 0 from 2 4 X9X2 weight about to be reduced CBS -3 2 CBS -3 2 4 X9X2 weight reduced to -3 from -1 4 c9c2 weight about to be reduced Covering 22500 c9c2 END Covering 22500 4 c9c2 weight reduced to 0 from 2 4 X0X2 weight about to be reduced CBS -2 2 CBS -1 2 Ignoring 19 X0X2 : X0X2 2 r0r2 2 X0X3 2 r0r3 2 r0r4 1 X0X4 1 X0X0 1 r0i0 1 r0r1 1 X0X1 1 (1 of 7) CBS -2 1 CBS -2 1 CBS -2 1 CBS -2 1 CBS -2 1 CBS -2 1 4 X0X2 weight reduced to -2 from -1 4 execute 10300 X0X1(6,13) X0X2(6,14) X0X3(9,15) X0X4(10,14) X0X5(10,13) X0X6(8,12) X0X7(7,10) X0X8(7,10) X0X9(6,9) X1X0(3,14) X1X2(1,15) X1X3(5,18) X1X4(7,19) X1X5(8,19) X1X6(7,16) X1X7(7,12) X1X8(7,11) X1X9(6,10) X2X0(5,13) X2X1(2,8) X2X2(2,11) X2X3(6,16) X2X4(6,15) X2X5(6,15) X2X6(6,16) X2X7(5,13) X2X8(5,12) X2X9(4,11) X3X0(5,13) X3X1(2,7) X3X2(2,10) X3X3(7,16) X3X4(6,14) X3X5(6,14) X3X6(7,16) X3X7(5,12) X3X8(6,13) X3X9(5,12) X4X0(5,14) X4X1(2,7) X4X2(2,11) X4X3(8,18) X4X4(8,17) X4X5(8,17) X4X6(10,18) X4X7(7,13) X4X8(7,13) X4X9(6,13) X5X0(5,14) X5X1(2,7) X5X2(2,11) X5X3(8,18) X5X4(8,17) X5X5(8,17) X5X6(10,18) X5X7(7,13) X5X8(7,13) X5X9(6,13) X6X0(3,9) X6X2(0,6) X6X3(4,9) X6X4(4,8) X6X5(4,8) X6X6(4,9) X6X7(3,6) X6X8(4,8) X6X9(4,9) X7X0(5,11) X7X1(2,7) X7X2(2,10) X7X3(7,14) X7X4(8,15) X7X5(8,15) X7X6(7,14) X7X7(6,12) X7X8(7,12) X7X9(6,10) X8X0(5,9) X8X1(2,7) X8X2(2,9) X8X3(6,12) X8X4(7,13) X8X5(7,13) X8X6(6,12) X8X7(6,11) X8X8(6,10) X8X9(5,8) X9X0(4,7) X9X1(2,6) X9X2(2,7) X9X3(5,10) X9X4(6,11) X9X5(6,11) X9X6(5,10) X9X7(5,9) X9X8(5,8) X9X9(4,6) c0i0(3,5) c3i0(3,4) c3i1(4,4) c4i0(4,4) c5i0(4,4) c6i0(3,4) c6i1(4,4) c7i0(3,3) c8i0(4,4) c9i0(4,5) r0i0(6,9) r1i1(4,6) r2i0(2,4) r3i0(2,3) r4i0(2,3) r4i1(2,3) r4i2(3,3) r5i0(2,3) r5i1(2,3) r5i2(3,3) r7i0(2,3) r7i1(3,3) r8i0(2,3) r8i1(3,3) r9i0(2,3) r9i1(3,3) branching on X6X2(0) 4 Colselect X6X2 6300 4 execute 6300 X0X1(6,13) X0X2(6,14) X0X3(9,15) X0X4(10,14) X0X5(10,13) X0X6(8,12) X0X7(7,10) X0X8(7,10) X0X9(6,9) X1X0(3,14) X1X2(1,15) X1X3(5,18) X1X4(7,19) X1X5(8,19) X1X6(7,16) X1X7(7,12) X1X8(7,11) X1X9(6,10) X2X0(5,13) X2X1(2,8) X2X2(2,11) X2X3(6,16) X2X4(6,15) X2X5(6,15) X2X6(6,16) X2X7(5,13) X2X8(5,12) X2X9(4,11) X3X0(5,13) X3X1(2,7) X3X2(2,10) X3X3(7,16) X3X4(6,14) X3X5(6,14) X3X6(7,16) X3X7(5,12) X3X8(6,13) X3X9(5,12) X4X0(5,14) X4X1(2,7) X4X2(2,11) X4X3(8,18) X4X4(8,17) X4X5(8,17) X4X6(10,18) X4X7(7,13) X4X8(7,13) X4X9(6,13) X5X0(5,14) X5X1(2,7) X5X2(2,11) X5X3(8,18) X5X4(8,17) X5X5(8,17) X5X6(10,18) X5X7(7,13) X5X8(7,13) X5X9(6,13) X6X0(3,9) X6X3(4,9) X6X4(4,8) X6X5(4,8) X6X6(4,9) X6X7(3,6) X6X8(4,8) X6X9(4,9) X7X0(5,11) X7X1(2,7) X7X2(2,10) X7X3(7,14) X7X4(8,15) X7X5(8,15) X7X6(7,14) X7X7(6,12) X7X8(7,12) X7X9(6,10) X8X0(5,9) X8X1(2,7) X8X2(2,9) X8X3(6,12) X8X4(7,13) X8X5(7,13) X8X6(6,12) X8X7(6,11) X8X8(6,10) X8X9(5,8) X9X0(4,7) X9X1(2,6) X9X2(2,7) X9X3(5,10) X9X4(6,11) X9X5(6,11) X9X6(5,10) X9X7(5,9) X9X8(5,8) X9X9(4,6) c0i0(3,5) c3i0(3,4) c3i1(4,4) c4i0(4,4) c5i0(4,4) c6i0(3,4) c6i1(4,4) c7i0(3,3) c8i0(4,4) c9i0(4,5) r0i0(6,9) r1i1(4,6) r2i0(2,4) r3i0(2,3) r4i0(2,3) r4i1(2,3) r4i2(3,3) r5i0(2,3) r5i1(2,3) r5i2(3,3) r7i0(2,3) r7i1(3,3) r8i0(2,3) r8i1(3,3) r9i0(2,3) r9i1(3,3) branching on X1X2(1) 4 Colselect X1X2 1300 4 execute 997 CBS -2 2 4 row already ignored, skipping 997 4 execute 978 CBS -2 2 4 row already ignored, skipping 978 4 execute 191 CBS -2 1 Ignoring 191 X1X2 : X1X2 1 X1X3 2 r1r3 2 X1X4 2 r1r4 2 X1X5 2 r1r5 2 X1X6 2 r1r6 2 r1r7 1 X1X7 1 r1o1 7 r1i1 1 r1r2 1 (3 of 1) CBS -2 1 5 adding_row 191 5 X1X2 weight reduced to -2 from -2 5 X1X3 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 1059 X1X3 : X1X3 1 X2X3 2 c2c3 2 X3X3 2 c3c3 2 X4X3 2 c4c3 2 c5c3 1 X5X3 1 c3o1 5 X0X3 1 c3i0 1 c1c3 1 (3 of 4) CBS -3 1 CBS -1 1 Ignoring 205 X1X3 : X1X3 1 X1X4 2 r1r4 2 X1X5 2 r1r5 2 X1X6 2 r1r6 2 X1X7 2 r1r7 2 r1r8 1 X1X8 1 r1o1 6 r1i1 1 r1r3 1 (4 of 3) 5 X1X3 weight reduced to -3 from -1 5 r1r3 weight about to be reduced Covering 24700 r1r3 END Covering 24700 5 r1r3 weight reduced to 0 from 2 5 X1X4 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 1212 X1X4 : X1X4 1 c4i0 1 c2c4 1 X2X4 1 X3X4 2 c3c4 2 X4X4 2 c4c4 2 X5X4 2 c5c4 2 X6X4 2 c6c4 2 X7X4 2 c7c4 2 X8X4 2 c8c4 2 X9X4 2 c9c4 2 X0X4 1 (3 of 5) CBS -3 1 CBS -1 1 Ignoring 1176 X1X4 : X1X4 1 X2X4 2 c2c4 2 X3X4 2 c3c4 2 X4X4 2 c4c4 2 X5X4 2 c5c4 2 X6X4 2 c6c4 2 X7X4 2 c7c4 2 X8X4 2 c8c4 2 c9c4 1 X9X4 1 X0X4 1 c4i0 1 c1c4 1 (4 of 4) CBS -3 1 CBS -1 1 Ignoring 219 X1X4 : X1X4 1 X1X5 2 r1r5 2 X1X6 2 r1r6 2 X1X7 2 r1r7 2 X1X8 2 r1r8 2 r1r9 1 X1X9 1 r1o1 5 r1i1 1 r1r4 1 (5 of 3) 5 X1X4 weight reduced to -3 from -1 5 r1r4 weight about to be reduced Covering 24800 r1r4 END Covering 24800 5 r1r4 weight reduced to 0 from 2 5 X1X5 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 1287 X1X5 : X1X5 1 c5i0 1 c2c5 1 X2X5 1 X3X5 2 c3c5 2 X4X5 2 c4c5 2 X5X5 2 c5c5 2 X6X5 2 c6c5 2 X7X5 2 c7c5 2 X8X5 2 c8c5 2 X9X5 2 c9c5 2 X0X5 1 (3 of 5) CBS -3 1 CBS -1 1 Ignoring 1251 X1X5 : X1X5 1 X2X5 2 c2c5 2 X3X5 2 c3c5 2 X4X5 2 c4c5 2 X5X5 2 c5c5 2 X6X5 2 c6c5 2 X7X5 2 c7c5 2 X8X5 2 c8c5 2 c9c5 1 X9X5 1 X0X5 1 c5i0 1 c1c5 1 (4 of 4) CBS -3 1 CBS -1 1 Ignoring 233 X1X5 : X1X5 1 X1X6 2 r1r6 2 X1X7 2 r1r7 2 X1X8 2 r1r8 2 X1X9 2 r1r9 2 r1o1 4 r1i1 1 r1r5 1 (5 of 3) 5 X1X5 weight reduced to -3 from -1 5 r1r5 weight about to be reduced Covering 24900 r1r5 END Covering 24900 5 r1r5 weight reduced to 0 from 2 5 X1X6 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 1312 X1X6 : X1X6 1 X2X6 2 c2c6 2 X3X6 2 c3c6 2 X4X6 2 c4c6 2 c5c6 1 X5X6 1 c6o1 5 X0X6 1 c6i0 1 c1c6 1 (3 of 3) 5 X1X6 weight reduced to -3 from -1 5 r1r6 weight about to be reduced Covering 25000 r1r6 END Covering 25000 5 r1r6 weight reduced to 0 from 2 5 r1r7 weight about to be reduced 5 r1r7 weight reduced to 1 from 2 5 X1X7 weight about to be reduced CBS -2 2 CBS -1 2 Ignoring 1413 X1X7 : X1X7 2 c1c7 2 X2X7 2 c2c7 2 X3X7 2 c3c7 2 X4X7 2 c4c7 2 X5X7 2 c5c7 2 X6X7 2 c6c7 2 X7X7 2 c7c7 2 X8X7 2 c8c7 2 c9c7 1 X9X7 1 c7i0 1 c0c7 1 X0X7 1 (1 of 3) CBS -2 2 CBS -1 2 Ignoring 1394 X1X7 : X1X7 2 c1c7 2 X2X7 2 c2c7 2 X3X7 2 c3c7 2 X4X7 2 c4c7 2 X5X7 2 c5c7 2 X6X7 2 c6c7 2 X7X7 2 c7c7 2 c8c7 1 X8X7 1 c7i0 1 X0X7 2 c0c7 2 (2 of 2) CBS -2 1 5 X1X7 weight reduced to -2 from -1 5 r1o1 weight about to be reduced 5 r1o1 weight reduced to 1 from 8 5 r1i1 weight about to be reduced Covering 11500 r1i1 END Covering 11500 5 r1i1 weight reduced to 0 from 1 5 r1r2 weight about to be reduced Covering 24600 r1r2 END Covering 24600 5 r1r2 weight reduced to 0 from 1 5 execute 1300 X0X1(6,13) X0X2(6,14) X0X3(8,15) X0X4(8,14) X0X5(8,13) X0X6(7,12) X0X7(5,10) X0X8(7,10) X0X9(6,9) X1X0(3,14) X1X3(2,16) X1X4(2,17) X1X5(2,17) X1X6(2,14) X1X7(1,11) X1X8(4,11) X1X9(4,10) X2X0(5,13) X2X1(2,8) X2X2(2,11) X2X3(5,16) X2X4(4,15) X2X5(4,15) X2X6(5,16) X2X7(3,13) X2X8(5,12) X2X9(4,11) X3X0(5,13) X3X1(2,7) X3X2(2,10) X3X3(6,16) X3X4(4,14) X3X5(4,14) X3X6(6,16) X3X7(3,12) X3X8(6,13) X3X9(5,12) X4X0(5,14) X4X1(2,7) X4X2(2,11) X4X3(7,18) X4X4(6,17) X4X5(6,17) X4X6(9,18) X4X7(5,13) X4X8(7,13) X4X9(6,13) X5X0(5,14) X5X1(2,7) X5X2(2,11) X5X3(7,18) X5X4(6,17) X5X5(6,17) X5X6(9,18) X5X7(5,13) X5X8(7,13) X5X9(6,13) X6X0(3,9) X6X3(4,9) X6X4(2,8) X6X5(2,8) X6X6(4,9) X6X7(1,6) X6X8(4,8) X6X9(4,9) X7X0(5,11) X7X1(2,7) X7X2(2,10) X7X3(7,14) X7X4(6,15) X7X5(6,15) X7X6(7,14) X7X7(4,12) X7X8(7,12) X7X9(6,10) X8X0(5,9) X8X1(2,7) X8X2(2,9) X8X3(6,12) X8X4(5,13) X8X5(5,13) X8X6(6,12) X8X7(4,11) X8X8(6,10) X8X9(5,8) X9X0(4,7) X9X1(2,6) X9X2(2,7) X9X3(5,10) X9X4(4,11) X9X5(4,11) X9X6(5,10) X9X7(4,9) X9X8(5,8) X9X9(4,6) c0i0(3,5) c3i0(2,4) c3i1(4,4) c4i0(2,4) c5i0(2,4) c6i0(2,4) c6i1(4,4) c7i0(1,3) c8i0(4,4) c9i0(4,5) r0i0(6,9) r2i0(2,4) r3i0(2,3) r4i0(2,3) r4i1(2,3) r4i2(3,3) r5i0(2,3) r5i1(2,3) r5i2(3,3) r7i0(2,3) r7i1(3,3) r8i0(2,3) r8i1(3,3) r9i0(2,3) r9i1(3,3) branching on c7i0(1) 5 Colselect c7i0 11000 5 execute 1431 CBS 1 1 1 terms left at max 1 per for 1 total weight Ignoring 1431 c7i0 : c7i0 1 c1c7 1 X1X7 1 X2X7 2 c2c7 2 X3X7 2 c3c7 2 X4X7 2 c4c7 2 X5X7 2 c5c7 2 X6X7 2 c6c7 2 X7X7 2 c7c7 2 X8X7 2 c8c7 2 X9X7 2 c9c7 2 X0X7 1 (1 of 1) CBS 1 1 6 adding_row 1431 6 c7i0 weight reduced to 0 from 1 6 c1c7 weight about to be reduced 6 c1c7 weight reduced to 1 from 2 6 X1X7 weight about to be reduced CBS -2 2 CBS -2 2 CBS -2 2 CBS -2 2 6 X1X7 weight reduced to -2 from -2 6 X2X7 weight about to be reduced CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 259 X2X7 : X2X7 1 r2i0 1 X2X0 2 r2r0 2 X2X1 2 r2r1 2 X2X2 2 r2r2 2 X2X3 2 r2r3 2 X2X4 2 r2r4 2 X2X5 2 r2r5 2 X2X6 2 r2r6 2 r2r7 1 (2 of 2) 6 X2X7 weight reduced to -3 from -1 6 c2c7 weight about to be reduced Covering 15800 c2c7 END Covering 15800 6 c2c7 weight reduced to 0 from 2 6 X3X7 weight about to be reduced CBS -3 2 CBS -3 2 6 X3X7 weight reduced to -3 from -1 6 c3c7 weight about to be reduced Covering 16800 c3c7 END Covering 16800 6 c3c7 weight reduced to 0 from 2 6 X4X7 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 443 X4X7 : X4X7 1 r4o1 5 r4o2 7 r4i1 1 r4r4 1 X4X4 1 X4X5 2 r4r5 2 X4X6 2 r4r6 2 r4r7 1 (4 of 4) 6 X4X7 weight reduced to -3 from -1 6 c4c7 weight about to be reduced Covering 17900 c4c7 END Covering 17900 6 c4c7 weight reduced to 0 from 2 6 X5X7 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 545 X5X7 : X5X7 1 r5o1 5 r5o2 7 r5i1 1 r5r4 1 X5X4 1 X5X5 2 r5r5 2 X5X6 2 r5r6 2 r5r7 1 (4 of 4) 6 X5X7 weight reduced to -3 from -1 6 c5c7 weight about to be reduced Covering 18900 c5c7 END Covering 18900 6 c5c7 weight reduced to 0 from 2 6 X6X7 weight about to be reduced 6 X6X7 weight reduced to -3 from -3 6 c6c7 weight about to be reduced Covering 19900 c6c7 END Covering 19900 6 c6c7 weight reduced to 0 from 2 6 X7X7 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 2 6 X7X7 weight reduced to -3 from -1 6 c7c7 weight about to be reduced Covering 21000 c7c7 END Covering 21000 6 c7c7 weight reduced to 0 from 2 6 X8X7 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 2 6 X8X7 weight reduced to -3 from -1 6 c8c7 weight about to be reduced Covering 22000 c8c7 END Covering 22000 6 c8c7 weight reduced to 0 from 2 6 X9X7 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 2 6 X9X7 weight reduced to -3 from -1 6 c9c7 weight about to be reduced Covering 23000 c9c7 END Covering 23000 6 c9c7 weight reduced to 0 from 2 6 X0X7 weight about to be reduced CBS -2 2 CBS -1 2 Ignoring 79 X0X7 : X0X7 2 r0r7 2 X0X8 2 r0r8 2 r0r9 1 X0X9 1 X0X0 1 X0X1 1 X0X2 1 X0X3 1 X0X4 1 X0X5 1 r0i0 1 r0r6 1 X0X6 1 (1 of 4) CBS -2 2 CBS -1 2 Ignoring 67 X0X7 : X0X7 2 r0r7 2 r0r8 1 X0X8 1 X0X0 1 X0X1 1 X0X2 1 X0X3 1 X0X4 1 r0i0 1 r0r5 1 X0X5 1 X0X6 2 r0r6 2 (2 of 3) CBS -2 1 CBS -2 1 6 X0X7 weight reduced to -2 from -1 6 execute 11000 X0X1(4,13) X0X2(4,14) X0X3(6,15) X0X4(6,14) X0X5(6,13) X0X6(5,12) X0X7(2,9) X0X8(5,10) X0X9(5,9) X1X0(3,14) X1X3(2,16) X1X4(2,17) X1X5(2,17) X1X6(2,14) X1X7(0,11) X1X8(4,11) X1X9(4,10) X2X0(4,13) X2X1(1,8) X2X2(1,11) X2X3(4,16) X2X4(3,15) X2X5(3,15) X2X6(4,16) X2X7(1,11) X2X8(5,12) X2X9(4,11) X3X0(5,13) X3X1(2,7) X3X2(2,10) X3X3(6,16) X3X4(4,14) X3X5(4,14) X3X6(6,16) X3X7(2,10) X3X8(6,13) X3X9(5,12) X4X0(5,14) X4X1(2,7) X4X2(2,11) X4X3(7,18) X4X4(5,17) X4X5(5,17) X4X6(8,18) X4X7(3,11) X4X8(7,13) X4X9(6,13) X5X0(5,14) X5X1(2,7) X5X2(2,11) X5X3(7,18) X5X4(5,17) X5X5(5,17) X5X6(8,18) X5X7(3,11) X5X8(7,13) X5X9(6,13) X6X0(3,9) X6X3(4,9) X6X4(2,8) X6X5(2,8) X6X6(4,9) X6X7(0,6) X6X8(4,8) X6X9(4,9) X7X0(5,11) X7X1(2,7) X7X2(2,10) X7X3(7,14) X7X4(6,15) X7X5(6,15) X7X6(7,14) X7X7(3,10) X7X8(7,12) X7X9(6,10) X8X0(5,9) X8X1(2,7) X8X2(2,9) X8X3(6,12) X8X4(5,13) X8X5(5,13) X8X6(6,12) X8X7(3,9) X8X8(6,10) X8X9(5,8) X9X0(4,7) X9X1(2,6) X9X2(2,7) X9X3(5,10) X9X4(4,11) X9X5(4,11) X9X6(5,10) X9X7(3,7) X9X8(5,8) X9X9(4,6) c0i0(3,5) c3i0(2,4) c3i1(4,4) c4i0(2,4) c5i0(2,4) c6i0(2,4) c6i1(4,4) c8i0(4,4) c9i0(4,5) r0i0(4,9) r2i0(1,4) r3i0(2,3) r4i0(2,3) r4i1(1,3) r4i2(3,3) r5i0(2,3) r5i1(1,3) r5i2(3,3) r7i0(2,3) r7i1(3,3) r8i0(2,3) r8i1(3,3) r9i0(2,3) r9i1(3,3) branching on X6X7(0) 6 Colselect X6X7 6800 6 execute 6800 X0X1(4,13) X0X2(4,14) X0X3(6,15) X0X4(6,14) X0X5(6,13) X0X6(5,12) X0X7(2,9) X0X8(5,10) X0X9(5,9) X1X0(3,14) X1X3(2,16) X1X4(2,17) X1X5(2,17) X1X6(2,14) X1X7(0,11) X1X8(4,11) X1X9(4,10) X2X0(4,13) X2X1(1,8) X2X2(1,11) X2X3(4,16) X2X4(3,15) X2X5(3,15) X2X6(4,16) X2X7(1,11) X2X8(5,12) X2X9(4,11) X3X0(5,13) X3X1(2,7) X3X2(2,10) X3X3(6,16) X3X4(4,14) X3X5(4,14) X3X6(6,16) X3X7(2,10) X3X8(6,13) X3X9(5,12) X4X0(5,14) X4X1(2,7) X4X2(2,11) X4X3(7,18) X4X4(5,17) X4X5(5,17) X4X6(8,18) X4X7(3,11) X4X8(7,13) X4X9(6,13) X5X0(5,14) X5X1(2,7) X5X2(2,11) X5X3(7,18) X5X4(5,17) X5X5(5,17) X5X6(8,18) X5X7(3,11) X5X8(7,13) X5X9(6,13) X6X0(3,9) X6X3(4,9) X6X4(2,8) X6X5(2,8) X6X6(4,9) X6X8(4,8) X6X9(4,9) X7X0(5,11) X7X1(2,7) X7X2(2,10) X7X3(7,14) X7X4(6,15) X7X5(6,15) X7X6(7,14) X7X7(3,10) X7X8(7,12) X7X9(6,10) X8X0(5,9) X8X1(2,7) X8X2(2,9) X8X3(6,12) X8X4(5,13) X8X5(5,13) X8X6(6,12) X8X7(3,9) X8X8(6,10) X8X9(5,8) X9X0(4,7) X9X1(2,6) X9X2(2,7) X9X3(5,10) X9X4(4,11) X9X5(4,11) X9X6(5,10) X9X7(3,7) X9X8(5,8) X9X9(4,6) c0i0(3,5) c3i0(2,4) c3i1(4,4) c4i0(2,4) c5i0(2,4) c6i0(2,4) c6i1(4,4) c8i0(4,4) c9i0(4,5) r0i0(4,9) r2i0(1,4) r3i0(2,3) r4i0(2,3) r4i1(1,3) r4i2(3,3) r5i0(2,3) r5i1(1,3) r5i2(3,3) r7i0(2,3) r7i1(3,3) r8i0(2,3) r8i1(3,3) r9i0(2,3) r9i1(3,3) branching on X1X7(0) 6 Colselect X1X7 1800 6 execute 1413 CBS -2 2 6 row already ignored, skipping 1413 6 execute 1394 CBS -2 2 6 row already ignored, skipping 1394 6 execute 1800 X0X1(4,13) X0X2(4,14) X0X3(6,15) X0X4(6,14) X0X5(6,13) X0X6(5,12) X0X7(2,9) X0X8(5,10) X0X9(5,9) X1X0(3,14) X1X3(2,16) X1X4(2,17) X1X5(2,17) X1X6(2,14) X1X8(4,11) X1X9(4,10) X2X0(4,13) X2X1(1,8) X2X2(1,11) X2X3(4,16) X2X4(3,15) X2X5(3,15) X2X6(4,16) X2X7(1,11) X2X8(5,12) X2X9(4,11) X3X0(5,13) X3X1(2,7) X3X2(2,10) X3X3(6,16) X3X4(4,14) X3X5(4,14) X3X6(6,16) X3X7(2,10) X3X8(6,13) X3X9(5,12) X4X0(5,14) X4X1(2,7) X4X2(2,11) X4X3(7,18) X4X4(5,17) X4X5(5,17) X4X6(8,18) X4X7(3,11) X4X8(7,13) X4X9(6,13) X5X0(5,14) X5X1(2,7) X5X2(2,11) X5X3(7,18) X5X4(5,17) X5X5(5,17) X5X6(8,18) X5X7(3,11) X5X8(7,13) X5X9(6,13) X6X0(3,9) X6X3(4,9) X6X4(2,8) X6X5(2,8) X6X6(4,9) X6X8(4,8) X6X9(4,9) X7X0(5,11) X7X1(2,7) X7X2(2,10) X7X3(7,14) X7X4(6,15) X7X5(6,15) X7X6(7,14) X7X7(3,10) X7X8(7,12) X7X9(6,10) X8X0(5,9) X8X1(2,7) X8X2(2,9) X8X3(6,12) X8X4(5,13) X8X5(5,13) X8X6(6,12) X8X7(3,9) X8X8(6,10) X8X9(5,8) X9X0(4,7) X9X1(2,6) X9X2(2,7) X9X3(5,10) X9X4(4,11) X9X5(4,11) X9X6(5,10) X9X7(3,7) X9X8(5,8) X9X9(4,6) c0i0(3,5) c3i0(2,4) c3i1(4,4) c4i0(2,4) c5i0(2,4) c6i0(2,4) c6i1(4,4) c8i0(4,4) c9i0(4,5) r0i0(4,9) r2i0(1,4) r3i0(2,3) r4i0(2,3) r4i1(1,3) r4i2(3,3) r5i0(2,3) r5i1(1,3) r5i2(3,3) r7i0(2,3) r7i1(3,3) r8i0(2,3) r8i1(3,3) r9i0(2,3) r9i1(3,3) branching on r2i0(1) 6 Colselect r2i0 11600 6 execute 260 CBS 1 1 1 terms left at max 1 per for 1 total weight Ignoring 260 r2i0 : r2i0 1 r2r0 1 X2X0 1 X2X1 2 r2r1 2 X2X2 2 r2r2 2 X2X3 2 r2r3 2 X2X4 2 r2r4 2 X2X5 2 r2r5 2 X2X6 2 r2r6 2 X2X7 2 r2r7 2 r2r8 1 X2X8 1 (1 of 1) CBS 1 1 7 adding_row 260 7 r2i0 weight reduced to 0 from 1 7 r2r0 weight about to be reduced 7 r2r0 weight reduced to 1 from 2 7 X2X0 weight about to be reduced CBS -2 2 CBS -1 2 Ignoring 881 X2X0 : X2X0 2 c2c0 2 X3X0 2 c3c0 2 X4X0 2 c4c0 2 X5X0 2 c5c0 2 X6X0 2 c6c0 2 X7X0 2 c7c0 2 c8c0 1 X8X0 1 X0X0 1 c0i0 1 c1c0 1 X1X0 1 (1 of 3) CBS -2 1 CBS -2 1 7 X2X0 weight reduced to -2 from -1 7 X2X1 weight about to be reduced CBS -3 1 CBS -3 1 CBS -3 1 CBS -3 1 7 X2X1 weight reduced to -3 from -3 7 r2r1 weight about to be reduced Covering 25500 r2r1 END Covering 25500 7 r2r1 weight reduced to 0 from 2 7 X2X2 weight about to be reduced 7 X2X2 weight reduced to -3 from -3 7 r2r2 weight about to be reduced Covering 25600 r2r2 END Covering 25600 7 r2r2 weight reduced to 0 from 2 7 X2X3 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 1086 X2X3 : X2X3 1 X3X3 2 c3c3 2 X4X3 2 c4c3 2 X5X3 2 c5c3 2 X6X3 2 c6c3 2 c7c3 1 X7X3 1 c3o1 7 c3i1 1 c2c3 1 (3 of 3) 7 X2X3 weight reduced to -3 from -1 7 r2r3 weight about to be reduced Covering 25700 r2r3 END Covering 25700 7 r2r3 weight reduced to 0 from 2 7 X2X4 weight about to be reduced CBS -3 2 CBS -3 2 7 X2X4 weight reduced to -3 from -1 7 r2r4 weight about to be reduced Covering 25800 r2r4 END Covering 25800 7 r2r4 weight reduced to 0 from 2 7 X2X5 weight about to be reduced CBS -3 2 CBS -3 2 7 X2X5 weight reduced to -3 from -1 7 r2r5 weight about to be reduced Covering 25900 r2r5 END Covering 25900 7 r2r5 weight reduced to 0 from 2 7 X2X6 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 1339 X2X6 : X2X6 1 X3X6 2 c3c6 2 X4X6 2 c4c6 2 X5X6 2 c5c6 2 X6X6 2 c6c6 2 c7c6 1 X7X6 1 c6o1 7 c6i1 1 c2c6 1 (3 of 3) 7 X2X6 weight reduced to -3 from -1 7 r2r6 weight about to be reduced Covering 26000 r2r6 END Covering 26000 7 r2r6 weight reduced to 0 from 2 7 X2X7 weight about to be reduced CBS -3 1 CBS -3 1 7 X2X7 weight reduced to -3 from -3 7 r2r7 weight about to be reduced Covering 26100 r2r7 END Covering 26100 7 r2r7 weight reduced to 0 from 2 7 r2r8 weight about to be reduced 7 r2r8 weight reduced to 1 from 2 7 X2X8 weight about to be reduced CBS -2 2 CBS -1 2 Ignoring 1490 X2X8 : X2X8 2 c2c8 2 X3X8 2 c3c8 2 X4X8 2 c4c8 2 X5X8 2 c5c8 2 X6X8 2 c6c8 2 X7X8 2 c7c8 2 X8X8 2 c8c8 2 c9c8 1 X9X8 1 X0X8 1 c8i0 1 c1c8 1 X1X8 1 (1 of 4) CBS -2 2 CBS -1 2 Ignoring 1473 X2X8 : X2X8 2 c2c8 2 X3X8 2 c3c8 2 X4X8 2 c4c8 2 X5X8 2 c5c8 2 X6X8 2 c6c8 2 X7X8 2 c7c8 2 c8c8 1 X8X8 1 c8i0 1 c0c8 1 X0X8 1 X1X8 2 c1c8 2 (2 of 3) CBS -2 2 CBS -1 2 Ignoring 1456 X2X8 : X2X8 2 c2c8 2 X3X8 2 c3c8 2 X4X8 2 c4c8 2 X5X8 2 c5c8 2 X6X8 2 c6c8 2 c7c8 1 X7X8 1 c8i0 1 X0X8 2 c0c8 2 X1X8 2 c1c8 2 (3 of 2) CBS -2 1 7 X2X8 weight reduced to -2 from -1 7 execute 11600 X0X1(4,13) X0X2(4,14) X0X3(6,15) X0X4(6,14) X0X5(6,13) X0X6(5,12) X0X7(2,9) X0X8(2,10) X0X9(5,9) X1X0(2,14) X1X3(2,16) X1X4(2,17) X1X5(2,17) X1X6(2,14) X1X8(1,11) X1X9(4,10) X2X0(2,12) X2X1(0,8) X2X2(0,11) X2X3(2,14) X2X4(2,13) X2X5(2,13) X2X6(2,14) X2X7(0,11) X2X8(1,11) X2X9(4,11) X3X0(4,13) X3X1(2,7) X3X2(2,10) X3X3(5,16) X3X4(4,14) X3X5(4,14) X3X6(5,16) X3X7(2,10) X3X8(3,13) X3X9(5,12) X4X0(4,14) X4X1(2,7) X4X2(2,11) X4X3(6,18) X4X4(5,17) X4X5(5,17) X4X6(7,18) X4X7(3,11) X4X8(4,13) X4X9(6,13) X5X0(4,14) X5X1(2,7) X5X2(2,11) X5X3(6,18) X5X4(5,17) X5X5(5,17) X5X6(7,18) X5X7(3,11) X5X8(4,13) X5X9(6,13) X6X0(2,9) X6X3(3,9) X6X4(2,8) X6X5(2,8) X6X6(3,9) X6X8(1,8) X6X9(4,9) X7X0(4,11) X7X1(2,7) X7X2(2,10) X7X3(6,14) X7X4(6,15) X7X5(6,15) X7X6(6,14) X7X7(3,10) X7X8(4,12) X7X9(6,10) X8X0(4,9) X8X1(2,7) X8X2(2,9) X8X3(6,12) X8X4(5,13) X8X5(5,13) X8X6(6,12) X8X7(3,9) X8X8(4,10) X8X9(5,8) X9X0(4,7) X9X1(2,6) X9X2(2,7) X9X3(5,10) X9X4(4,11) X9X5(4,11) X9X6(5,10) X9X7(3,7) X9X8(4,8) X9X9(4,6) c0i0(2,5) c3i0(2,4) c3i1(3,4) c4i0(2,4) c5i0(2,4) c6i0(2,4) c6i1(3,4) c8i0(1,4) c9i0(4,5) r0i0(4,9) r3i0(2,3) r4i0(2,3) r4i1(1,3) r4i2(3,3) r5i0(2,3) r5i1(1,3) r5i2(3,3) r7i0(2,3) r7i1(3,3) r8i0(2,3) r8i1(3,3) r9i0(2,3) r9i1(3,3) branching on X2X1(0) 7 Colselect X2X1 2200 7 execute 317 CBS -3 1 7 row already ignored, skipping 317 7 execute 281 CBS -3 1 7 row already ignored, skipping 281 7 execute 2200 X0X1(4,13) X0X2(4,14) X0X3(6,15) X0X4(6,14) X0X5(6,13) X0X6(5,12) X0X7(2,9) X0X8(2,10) X0X9(5,9) X1X0(2,14) X1X3(2,16) X1X4(2,17) X1X5(2,17) X1X6(2,14) X1X8(1,11) X1X9(4,10) X2X0(2,12) X2X2(0,11) X2X3(2,14) X2X4(2,13) X2X5(2,13) X2X6(2,14) X2X7(0,11) X2X8(1,11) X2X9(4,11) X3X0(4,13) X3X1(2,7) X3X2(2,10) X3X3(5,16) X3X4(4,14) X3X5(4,14) X3X6(5,16) X3X7(2,10) X3X8(3,13) X3X9(5,12) X4X0(4,14) X4X1(2,7) X4X2(2,11) X4X3(6,18) X4X4(5,17) X4X5(5,17) X4X6(7,18) X4X7(3,11) X4X8(4,13) X4X9(6,13) X5X0(4,14) X5X1(2,7) X5X2(2,11) X5X3(6,18) X5X4(5,17) X5X5(5,17) X5X6(7,18) X5X7(3,11) X5X8(4,13) X5X9(6,13) X6X0(2,9) X6X3(3,9) X6X4(2,8) X6X5(2,8) X6X6(3,9) X6X8(1,8) X6X9(4,9) X7X0(4,11) X7X1(2,7) X7X2(2,10) X7X3(6,14) X7X4(6,15) X7X5(6,15) X7X6(6,14) X7X7(3,10) X7X8(4,12) X7X9(6,10) X8X0(4,9) X8X1(2,7) X8X2(2,9) X8X3(6,12) X8X4(5,13) X8X5(5,13) X8X6(6,12) X8X7(3,9) X8X8(4,10) X8X9(5,8) X9X0(4,7) X9X1(2,6) X9X2(2,7) X9X3(5,10) X9X4(4,11) X9X5(4,11) X9X6(5,10) X9X7(3,7) X9X8(4,8) X9X9(4,6) c0i0(2,5) c3i0(2,4) c3i1(3,4) c4i0(2,4) c5i0(2,4) c6i0(2,4) c6i1(3,4) c8i0(1,4) c9i0(4,5) r0i0(4,9) r3i0(2,3) r4i0(2,3) r4i1(1,3) r4i2(3,3) r5i0(2,3) r5i1(1,3) r5i2(3,3) r7i0(2,3) r7i1(3,3) r8i0(2,3) r8i1(3,3) r9i0(2,3) r9i1(3,3) branching on X2X2(0) 7 Colselect X2X2 2300 7 execute 2300 X0X1(4,13) X0X2(4,14) X0X3(6,15) X0X4(6,14) X0X5(6,13) X0X6(5,12) X0X7(2,9) X0X8(2,10) X0X9(5,9) X1X0(2,14) X1X3(2,16) X1X4(2,17) X1X5(2,17) X1X6(2,14) X1X8(1,11) X1X9(4,10) X2X0(2,12) X2X3(2,14) X2X4(2,13) X2X5(2,13) X2X6(2,14) X2X7(0,11) X2X8(1,11) X2X9(4,11) X3X0(4,13) X3X1(2,7) X3X2(2,10) X3X3(5,16) X3X4(4,14) X3X5(4,14) X3X6(5,16) X3X7(2,10) X3X8(3,13) X3X9(5,12) X4X0(4,14) X4X1(2,7) X4X2(2,11) X4X3(6,18) X4X4(5,17) X4X5(5,17) X4X6(7,18) X4X7(3,11) X4X8(4,13) X4X9(6,13) X5X0(4,14) X5X1(2,7) X5X2(2,11) X5X3(6,18) X5X4(5,17) X5X5(5,17) X5X6(7,18) X5X7(3,11) X5X8(4,13) X5X9(6,13) X6X0(2,9) X6X3(3,9) X6X4(2,8) X6X5(2,8) X6X6(3,9) X6X8(1,8) X6X9(4,9) X7X0(4,11) X7X1(2,7) X7X2(2,10) X7X3(6,14) X7X4(6,15) X7X5(6,15) X7X6(6,14) X7X7(3,10) X7X8(4,12) X7X9(6,10) X8X0(4,9) X8X1(2,7) X8X2(2,9) X8X3(6,12) X8X4(5,13) X8X5(5,13) X8X6(6,12) X8X7(3,9) X8X8(4,10) X8X9(5,8) X9X0(4,7) X9X1(2,6) X9X2(2,7) X9X3(5,10) X9X4(4,11) X9X5(4,11) X9X6(5,10) X9X7(3,7) X9X8(4,8) X9X9(4,6) c0i0(2,5) c3i0(2,4) c3i1(3,4) c4i0(2,4) c5i0(2,4) c6i0(2,4) c6i1(3,4) c8i0(1,4) c9i0(4,5) r0i0(4,9) r3i0(2,3) r4i0(2,3) r4i1(1,3) r4i2(3,3) r5i0(2,3) r5i1(1,3) r5i2(3,3) r7i0(2,3) r7i1(3,3) r8i0(2,3) r8i1(3,3) r9i0(2,3) r9i1(3,3) branching on X2X7(0) 7 Colselect X2X7 2800 7 execute 259 CBS -3 1 7 row already ignored, skipping 259 7 execute 2800 X0X1(4,13) X0X2(4,14) X0X3(6,15) X0X4(6,14) X0X5(6,13) X0X6(5,12) X0X7(2,9) X0X8(2,10) X0X9(5,9) X1X0(2,14) X1X3(2,16) X1X4(2,17) X1X5(2,17) X1X6(2,14) X1X8(1,11) X1X9(4,10) X2X0(2,12) X2X3(2,14) X2X4(2,13) X2X5(2,13) X2X6(2,14) X2X8(1,11) X2X9(4,11) X3X0(4,13) X3X1(2,7) X3X2(2,10) X3X3(5,16) X3X4(4,14) X3X5(4,14) X3X6(5,16) X3X7(2,10) X3X8(3,13) X3X9(5,12) X4X0(4,14) X4X1(2,7) X4X2(2,11) X4X3(6,18) X4X4(5,17) X4X5(5,17) X4X6(7,18) X4X7(3,11) X4X8(4,13) X4X9(6,13) X5X0(4,14) X5X1(2,7) X5X2(2,11) X5X3(6,18) X5X4(5,17) X5X5(5,17) X5X6(7,18) X5X7(3,11) X5X8(4,13) X5X9(6,13) X6X0(2,9) X6X3(3,9) X6X4(2,8) X6X5(2,8) X6X6(3,9) X6X8(1,8) X6X9(4,9) X7X0(4,11) X7X1(2,7) X7X2(2,10) X7X3(6,14) X7X4(6,15) X7X5(6,15) X7X6(6,14) X7X7(3,10) X7X8(4,12) X7X9(6,10) X8X0(4,9) X8X1(2,7) X8X2(2,9) X8X3(6,12) X8X4(5,13) X8X5(5,13) X8X6(6,12) X8X7(3,9) X8X8(4,10) X8X9(5,8) X9X0(4,7) X9X1(2,6) X9X2(2,7) X9X3(5,10) X9X4(4,11) X9X5(4,11) X9X6(5,10) X9X7(3,7) X9X8(4,8) X9X9(4,6) c0i0(2,5) c3i0(2,4) c3i1(3,4) c4i0(2,4) c5i0(2,4) c6i0(2,4) c6i1(3,4) c8i0(1,4) c9i0(4,5) r0i0(4,9) r3i0(2,3) r4i0(2,3) r4i1(1,3) r4i2(3,3) r5i0(2,3) r5i1(1,3) r5i2(3,3) r7i0(2,3) r7i1(3,3) r8i0(2,3) r8i1(3,3) r9i0(2,3) r9i1(3,3) branching on c8i0(1) 7 Colselect c8i0 11100 7 execute 1507 CBS 1 1 1 terms left at max 1 per for 1 total weight Ignoring 1507 c8i0 : c8i0 1 c2c8 1 X2X8 1 X3X8 2 c3c8 2 X4X8 2 c4c8 2 X5X8 2 c5c8 2 X6X8 2 c6c8 2 X7X8 2 c7c8 2 X8X8 2 c8c8 2 X9X8 2 c9c8 2 X0X8 1 X1X8 1 (1 of 1) CBS 1 1 8 adding_row 1507 8 c8i0 weight reduced to 0 from 1 8 c2c8 weight about to be reduced 8 c2c8 weight reduced to 1 from 2 8 X2X8 weight about to be reduced CBS -2 2 CBS -2 2 CBS -2 2 CBS -2 2 CBS -2 2 CBS -2 2 8 X2X8 weight reduced to -2 from -2 8 X3X8 weight about to be reduced CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 336 X3X8 : X3X8 1 r3i0 1 X3X0 2 r3r0 2 X3X1 2 r3r1 2 X3X2 2 r3r2 2 X3X3 2 r3r3 2 X3X4 2 r3r4 2 X3X5 2 r3r5 2 X3X6 2 r3r6 2 X3X7 2 r3r7 2 r3r8 1 (2 of 2) 8 X3X8 weight reduced to -3 from -1 8 c3c8 weight about to be reduced Covering 16900 c3c8 END Covering 16900 8 c3c8 weight reduced to 0 from 2 8 X4X8 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 456 X4X8 : X4X8 1 r4o2 5 r4i2 1 r4r4 1 X4X4 1 X4X5 2 r4r5 2 X4X6 2 r4r6 2 X4X7 2 r4r7 2 r4r8 1 (3 of 3) 8 X4X8 weight reduced to -3 from -1 8 c4c8 weight about to be reduced Covering 18000 c4c8 END Covering 18000 8 c4c8 weight reduced to 0 from 2 8 X5X8 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 558 X5X8 : X5X8 1 r5o2 5 r5i2 1 r5r4 1 X5X4 1 X5X5 2 r5r5 2 X5X6 2 r5r6 2 X5X7 2 r5r7 2 r5r8 1 (3 of 3) 8 X5X8 weight reduced to -3 from -1 8 c5c8 weight about to be reduced Covering 19000 c5c8 END Covering 19000 8 c5c8 weight reduced to 0 from 2 8 X6X8 weight about to be reduced 8 X6X8 weight reduced to -3 from -3 8 c6c8 weight about to be reduced Covering 20000 c6c8 END Covering 20000 8 c6c8 weight reduced to 0 from 2 8 X7X8 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 656 X7X8 : X7X8 1 r7o1 6 r7i1 1 r7r3 1 X7X3 1 X7X4 2 r7r4 2 X7X5 2 r7r5 2 X7X6 2 r7r6 2 X7X7 2 r7r7 2 r7r8 1 (3 of 3) 8 X7X8 weight reduced to -3 from -1 8 c7c8 weight about to be reduced Covering 21100 c7c8 END Covering 21100 8 c7c8 weight reduced to 0 from 2 8 X8X8 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 737 X8X8 : X8X8 1 r8o1 6 r8i1 1 r8r3 1 X8X3 1 X8X4 2 r8r4 2 X8X5 2 r8r5 2 X8X6 2 r8r6 2 X8X7 2 r8r7 2 r8r8 1 (3 of 3) 8 X8X8 weight reduced to -3 from -1 8 c8c8 weight about to be reduced Covering 22100 c8c8 END Covering 22100 8 c8c8 weight reduced to 0 from 2 8 X9X8 weight about to be reduced CBS -3 2 CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 818 X9X8 : X9X8 1 r9o1 6 r9i1 1 r9r3 1 X9X3 1 X9X4 2 r9r4 2 X9X5 2 r9r5 2 X9X6 2 r9r6 2 X9X7 2 r9r7 2 r9r8 1 (3 of 3) 8 X9X8 weight reduced to -3 from -1 8 c9c8 weight about to be reduced Covering 23100 c9c8 END Covering 23100 8 c9c8 weight reduced to 0 from 2 8 X0X8 weight about to be reduced CBS -2 2 CBS -1 2 Ignoring 94 X0X8 : X0X8 2 r0r8 2 X0X9 2 r0r9 2 X0X0 1 X0X1 1 X0X2 1 X0X3 1 X0X4 1 X0X5 1 X0X6 1 r0i0 1 r0r7 1 X0X7 1 (1 of 1) 8 X0X8 weight reduced to -2 from -1 8 X1X8 weight about to be reduced 8 X1X8 weight reduced to -2 from -1 8 execute 11100 X0X1(3,13) X0X2(3,14) X0X3(5,15) X0X4(5,14) X0X5(5,13) X0X6(4,12) X0X7(1,9) X0X8(0,9) X0X9(4,9) X1X0(2,14) X1X3(2,16) X1X4(2,17) X1X5(2,17) X1X6(2,14) X1X8(0,10) X1X9(4,10) X2X0(2,12) X2X3(2,14) X2X4(2,13) X2X5(2,13) X2X6(2,14) X2X8(0,11) X2X9(4,11) X3X0(3,13) X3X1(1,7) X3X2(1,10) X3X3(4,16) X3X4(3,14) X3X5(3,14) X3X6(4,16) X3X7(1,10) X3X8(1,11) X3X9(5,12) X4X0(4,14) X4X1(2,7) X4X2(2,11) X4X3(6,18) X4X4(4,17) X4X5(4,17) X4X6(6,18) X4X7(2,11) X4X8(2,11) X4X9(6,13) X5X0(4,14) X5X1(2,7) X5X2(2,11) X5X3(6,18) X5X4(4,17) X5X5(4,17) X5X6(6,18) X5X7(2,11) X5X8(2,11) X5X9(6,13) X6X0(2,9) X6X3(3,9) X6X4(2,8) X6X5(2,8) X6X6(3,9) X6X8(0,8) X6X9(4,9) X7X0(4,11) X7X1(2,7) X7X2(2,10) X7X3(5,14) X7X4(5,15) X7X5(5,15) X7X6(5,14) X7X7(2,10) X7X8(2,10) X7X9(6,10) X8X0(4,9) X8X1(2,7) X8X2(2,9) X8X3(5,12) X8X4(4,13) X8X5(4,13) X8X6(5,12) X8X7(2,9) X8X8(2,8) X8X9(5,8) X9X0(4,7) X9X1(2,6) X9X2(2,7) X9X3(4,10) X9X4(3,11) X9X5(3,11) X9X6(4,10) X9X7(2,7) X9X8(2,6) X9X9(4,6) c0i0(2,5) c3i0(2,4) c3i1(3,4) c4i0(2,4) c5i0(2,4) c6i0(2,4) c6i1(3,4) c9i0(4,5) r0i0(3,9) r3i0(1,3) r4i0(2,3) r4i1(1,3) r4i2(2,3) r5i0(2,3) r5i1(1,3) r5i2(2,3) r7i0(2,3) r7i1(2,3) r8i0(2,3) r8i1(2,3) r9i0(2,3) r9i1(2,3) branching on X6X8(0) 8 Colselect X6X8 6900 8 execute 6900 X0X1(3,13) X0X2(3,14) X0X3(5,15) X0X4(5,14) X0X5(5,13) X0X6(4,12) X0X7(1,9) X0X8(0,9) X0X9(4,9) X1X0(2,14) X1X3(2,16) X1X4(2,17) X1X5(2,17) X1X6(2,14) X1X8(0,10) X1X9(4,10) X2X0(2,12) X2X3(2,14) X2X4(2,13) X2X5(2,13) X2X6(2,14) X2X8(0,11) X2X9(4,11) X3X0(3,13) X3X1(1,7) X3X2(1,10) X3X3(4,16) X3X4(3,14) X3X5(3,14) X3X6(4,16) X3X7(1,10) X3X8(1,11) X3X9(5,12) X4X0(4,14) X4X1(2,7) X4X2(2,11) X4X3(6,18) X4X4(4,17) X4X5(4,17) X4X6(6,18) X4X7(2,11) X4X8(2,11) X4X9(6,13) X5X0(4,14) X5X1(2,7) X5X2(2,11) X5X3(6,18) X5X4(4,17) X5X5(4,17) X5X6(6,18) X5X7(2,11) X5X8(2,11) X5X9(6,13) X6X0(2,9) X6X3(3,9) X6X4(2,8) X6X5(2,8) X6X6(3,9) X6X9(4,9) X7X0(4,11) X7X1(2,7) X7X2(2,10) X7X3(5,14) X7X4(5,15) X7X5(5,15) X7X6(5,14) X7X7(2,10) X7X8(2,10) X7X9(6,10) X8X0(4,9) X8X1(2,7) X8X2(2,9) X8X3(5,12) X8X4(4,13) X8X5(4,13) X8X6(5,12) X8X7(2,9) X8X8(2,8) X8X9(5,8) X9X0(4,7) X9X1(2,6) X9X2(2,7) X9X3(4,10) X9X4(3,11) X9X5(3,11) X9X6(4,10) X9X7(2,7) X9X8(2,6) X9X9(4,6) c0i0(2,5) c3i0(2,4) c3i1(3,4) c4i0(2,4) c5i0(2,4) c6i0(2,4) c6i1(3,4) c9i0(4,5) r0i0(3,9) r3i0(1,3) r4i0(2,3) r4i1(1,3) r4i2(2,3) r5i0(2,3) r5i1(1,3) r5i2(2,3) r7i0(2,3) r7i1(2,3) r8i0(2,3) r8i1(2,3) r9i0(2,3) r9i1(2,3) branching on X0X8(0) 8 Colselect X0X8 900 8 execute 94 CBS -2 2 8 row already ignored, skipping 94 8 execute 900 X0X1(3,13) X0X2(3,14) X0X3(5,15) X0X4(5,14) X0X5(5,13) X0X6(4,12) X0X7(1,9) X0X9(4,9) X1X0(2,14) X1X3(2,16) X1X4(2,17) X1X5(2,17) X1X6(2,14) X1X8(0,10) X1X9(4,10) X2X0(2,12) X2X3(2,14) X2X4(2,13) X2X5(2,13) X2X6(2,14) X2X8(0,11) X2X9(4,11) X3X0(3,13) X3X1(1,7) X3X2(1,10) X3X3(4,16) X3X4(3,14) X3X5(3,14) X3X6(4,16) X3X7(1,10) X3X8(1,11) X3X9(5,12) X4X0(4,14) X4X1(2,7) X4X2(2,11) X4X3(6,18) X4X4(4,17) X4X5(4,17) X4X6(6,18) X4X7(2,11) X4X8(2,11) X4X9(6,13) X5X0(4,14) X5X1(2,7) X5X2(2,11) X5X3(6,18) X5X4(4,17) X5X5(4,17) X5X6(6,18) X5X7(2,11) X5X8(2,11) X5X9(6,13) X6X0(2,9) X6X3(3,9) X6X4(2,8) X6X5(2,8) X6X6(3,9) X6X9(4,9) X7X0(4,11) X7X1(2,7) X7X2(2,10) X7X3(5,14) X7X4(5,15) X7X5(5,15) X7X6(5,14) X7X7(2,10) X7X8(2,10) X7X9(6,10) X8X0(4,9) X8X1(2,7) X8X2(2,9) X8X3(5,12) X8X4(4,13) X8X5(4,13) X8X6(5,12) X8X7(2,9) X8X8(2,8) X8X9(5,8) X9X0(4,7) X9X1(2,6) X9X2(2,7) X9X3(4,10) X9X4(3,11) X9X5(3,11) X9X6(4,10) X9X7(2,7) X9X8(2,6) X9X9(4,6) c0i0(2,5) c3i0(2,4) c3i1(3,4) c4i0(2,4) c5i0(2,4) c6i0(2,4) c6i1(3,4) c9i0(4,5) r0i0(3,9) r3i0(1,3) r4i0(2,3) r4i1(1,3) r4i2(2,3) r5i0(2,3) r5i1(1,3) r5i2(2,3) r7i0(2,3) r7i1(2,3) r8i0(2,3) r8i1(2,3) r9i0(2,3) r9i1(2,3) branching on X1X8(0) 8 Colselect X1X8 1900 8 execute 1900 X0X1(3,13) X0X2(3,14) X0X3(5,15) X0X4(5,14) X0X5(5,13) X0X6(4,12) X0X7(1,9) X0X9(4,9) X1X0(2,14) X1X3(2,16) X1X4(2,17) X1X5(2,17) X1X6(2,14) X1X9(4,10) X2X0(2,12) X2X3(2,14) X2X4(2,13) X2X5(2,13) X2X6(2,14) X2X8(0,11) X2X9(4,11) X3X0(3,13) X3X1(1,7) X3X2(1,10) X3X3(4,16) X3X4(3,14) X3X5(3,14) X3X6(4,16) X3X7(1,10) X3X8(1,11) X3X9(5,12) X4X0(4,14) X4X1(2,7) X4X2(2,11) X4X3(6,18) X4X4(4,17) X4X5(4,17) X4X6(6,18) X4X7(2,11) X4X8(2,11) X4X9(6,13) X5X0(4,14) X5X1(2,7) X5X2(2,11) X5X3(6,18) X5X4(4,17) X5X5(4,17) X5X6(6,18) X5X7(2,11) X5X8(2,11) X5X9(6,13) X6X0(2,9) X6X3(3,9) X6X4(2,8) X6X5(2,8) X6X6(3,9) X6X9(4,9) X7X0(4,11) X7X1(2,7) X7X2(2,10) X7X3(5,14) X7X4(5,15) X7X5(5,15) X7X6(5,14) X7X7(2,10) X7X8(2,10) X7X9(6,10) X8X0(4,9) X8X1(2,7) X8X2(2,9) X8X3(5,12) X8X4(4,13) X8X5(4,13) X8X6(5,12) X8X7(2,9) X8X8(2,8) X8X9(5,8) X9X0(4,7) X9X1(2,6) X9X2(2,7) X9X3(4,10) X9X4(3,11) X9X5(3,11) X9X6(4,10) X9X7(2,7) X9X8(2,6) X9X9(4,6) c0i0(2,5) c3i0(2,4) c3i1(3,4) c4i0(2,4) c5i0(2,4) c6i0(2,4) c6i1(3,4) c9i0(4,5) r0i0(3,9) r3i0(1,3) r4i0(2,3) r4i1(1,3) r4i2(2,3) r5i0(2,3) r5i1(1,3) r5i2(2,3) r7i0(2,3) r7i1(2,3) r8i0(2,3) r8i1(2,3) r9i0(2,3) r9i1(2,3) branching on X2X8(0) 8 Colselect X2X8 2900 8 execute 1490 CBS -2 2 8 row already ignored, skipping 1490 8 execute 1473 CBS -2 2 8 row already ignored, skipping 1473 8 execute 1456 CBS -2 2 8 row already ignored, skipping 1456 8 execute 2900 X0X1(3,13) X0X2(3,14) X0X3(5,15) X0X4(5,14) X0X5(5,13) X0X6(4,12) X0X7(1,9) X0X9(4,9) X1X0(2,14) X1X3(2,16) X1X4(2,17) X1X5(2,17) X1X6(2,14) X1X9(4,10) X2X0(2,12) X2X3(2,14) X2X4(2,13) X2X5(2,13) X2X6(2,14) X2X9(4,11) X3X0(3,13) X3X1(1,7) X3X2(1,10) X3X3(4,16) X3X4(3,14) X3X5(3,14) X3X6(4,16) X3X7(1,10) X3X8(1,11) X3X9(5,12) X4X0(4,14) X4X1(2,7) X4X2(2,11) X4X3(6,18) X4X4(4,17) X4X5(4,17) X4X6(6,18) X4X7(2,11) X4X8(2,11) X4X9(6,13) X5X0(4,14) X5X1(2,7) X5X2(2,11) X5X3(6,18) X5X4(4,17) X5X5(4,17) X5X6(6,18) X5X7(2,11) X5X8(2,11) X5X9(6,13) X6X0(2,9) X6X3(3,9) X6X4(2,8) X6X5(2,8) X6X6(3,9) X6X9(4,9) X7X0(4,11) X7X1(2,7) X7X2(2,10) X7X3(5,14) X7X4(5,15) X7X5(5,15) X7X6(5,14) X7X7(2,10) X7X8(2,10) X7X9(6,10) X8X0(4,9) X8X1(2,7) X8X2(2,9) X8X3(5,12) X8X4(4,13) X8X5(4,13) X8X6(5,12) X8X7(2,9) X8X8(2,8) X8X9(5,8) X9X0(4,7) X9X1(2,6) X9X2(2,7) X9X3(4,10) X9X4(3,11) X9X5(3,11) X9X6(4,10) X9X7(2,7) X9X8(2,6) X9X9(4,6) c0i0(2,5) c3i0(2,4) c3i1(3,4) c4i0(2,4) c5i0(2,4) c6i0(2,4) c6i1(3,4) c9i0(4,5) r0i0(3,9) r3i0(1,3) r4i0(2,3) r4i1(1,3) r4i2(2,3) r5i0(2,3) r5i1(1,3) r5i2(2,3) r7i0(2,3) r7i1(2,3) r8i0(2,3) r8i1(2,3) r9i0(2,3) r9i1(2,3) branching on r3i0(1) 8 Colselect r3i0 11700 8 execute 337 CBS 1 1 1 terms left at max 1 per for 1 total weight Ignoring 337 r3i0 : r3i0 1 r3r0 1 X3X0 1 X3X1 2 r3r1 2 X3X2 2 r3r2 2 X3X3 2 r3r3 2 X3X4 2 r3r4 2 X3X5 2 r3r5 2 X3X6 2 r3r6 2 X3X7 2 r3r7 2 X3X8 2 r3r8 2 r3r9 1 X3X9 1 (1 of 1) CBS 1 1 9 adding_row 337 9 r3i0 weight reduced to 0 from 1 9 r3r0 weight about to be reduced 9 r3r0 weight reduced to 1 from 2 9 X3X0 weight about to be reduced CBS -2 2 CBS -1 2 Ignoring 899 X3X0 : X3X0 2 c3c0 2 X4X0 2 c4c0 2 X5X0 2 c5c0 2 X6X0 2 c6c0 2 X7X0 2 c7c0 2 X8X0 2 c8c0 2 c9c0 1 X9X0 1 X0X0 1 X1X0 1 c0i0 1 c2c0 1 X2X0 1 (1 of 2) CBS -2 1 9 X3X0 weight reduced to -2 from -1 9 X3X1 weight about to be reduced CBS -3 1 CBS -3 1 9 X3X1 weight reduced to -3 from -3 9 r3r1 weight about to be reduced Covering 26500 r3r1 END Covering 26500 9 r3r1 weight reduced to 0 from 2 9 X3X2 weight about to be reduced 9 X3X2 weight reduced to -3 from -3 9 r3r2 weight about to be reduced Covering 26600 r3r2 END Covering 26600 9 r3r2 weight reduced to 0 from 2 9 X3X3 weight about to be reduced CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 1100 X3X3 : X3X3 1 X4X3 2 c4c3 2 X5X3 2 c5c3 2 X6X3 2 c6c3 2 X7X3 2 c7c3 2 c8c3 1 X8X3 1 c3o1 6 c3i1 1 c3c3 1 (2 of 3) CBS -3 1 CBS -1 1 Ignoring 1043 X3X3 : X3X3 1 c3o1 3 c3i0 1 X0X3 2 c0c3 2 X1X3 2 c1c3 2 X2X3 2 c2c3 2 c3c3 1 (3 of 2) 9 X3X3 weight reduced to -3 from -1 9 r3r3 weight about to be reduced Covering 26700 r3r3 END Covering 26700 9 r3r3 weight reduced to 0 from 2 9 X3X4 weight about to be reduced CBS -3 2 CBS -3 2 9 X3X4 weight reduced to -3 from -1 9 r3r4 weight about to be reduced Covering 26800 r3r4 END Covering 26800 9 r3r4 weight reduced to 0 from 2 9 X3X5 weight about to be reduced CBS -3 2 CBS -3 2 9 X3X5 weight reduced to -3 from -1 9 r3r5 weight about to be reduced Covering 26900 r3r5 END Covering 26900 9 r3r5 weight reduced to 0 from 2 9 X3X6 weight about to be reduced CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 1353 X3X6 : X3X6 1 X4X6 2 c4c6 2 X5X6 2 c5c6 2 X6X6 2 c6c6 2 X7X6 2 c7c6 2 c8c6 1 X8X6 1 c6o1 6 c6i1 1 c3c6 1 (2 of 3) CBS -3 1 CBS -1 1 Ignoring 1296 X3X6 : X3X6 1 c6o1 3 c6i0 1 X0X6 2 c0c6 2 X1X6 2 c1c6 2 X2X6 2 c2c6 2 c3c6 1 (3 of 2) 9 X3X6 weight reduced to -3 from -1 9 r3r6 weight about to be reduced Covering 27000 r3r6 END Covering 27000 9 r3r6 weight reduced to 0 from 2 9 X3X7 weight about to be reduced 9 X3X7 weight reduced to -3 from -3 9 r3r7 weight about to be reduced Covering 27100 r3r7 END Covering 27100 9 r3r7 weight reduced to 0 from 2 9 X3X8 weight about to be reduced CBS -3 1 CBS -3 1 9 X3X8 weight reduced to -3 from -3 9 r3r8 weight about to be reduced Covering 27200 r3r8 END Covering 27200 9 r3r8 weight reduced to 0 from 2 9 r3r9 weight about to be reduced 9 r3r9 weight reduced to 1 from 2 9 X3X9 weight about to be reduced CBS -2 2 CBS -1 2 Ignoring 1579 X3X9 : X3X9 2 c3c9 2 X4X9 2 c4c9 2 X5X9 2 c5c9 2 X6X9 2 c6c9 2 X7X9 2 c7c9 2 X8X9 2 c8c9 2 c9c9 1 X9X9 1 X0X9 1 X1X9 1 c9i0 1 c2c9 1 X2X9 1 (1 of 4) CBS -2 2 CBS -1 2 Ignoring 1563 X3X9 : X3X9 2 c3c9 2 X4X9 2 c4c9 2 X5X9 2 c5c9 2 X6X9 2 c6c9 2 X7X9 2 c7c9 2 c8c9 1 X8X9 1 X0X9 1 c9i0 1 c1c9 1 X1X9 1 X2X9 2 c2c9 2 (2 of 3) CBS -2 2 CBS -1 2 Ignoring 1548 X3X9 : X3X9 2 c3c9 2 X4X9 2 c4c9 2 X5X9 2 c5c9 2 X6X9 2 c6c9 2 c7c9 1 X7X9 1 c9i0 1 c0c9 1 X0X9 1 X1X9 2 c1c9 2 X2X9 2 c2c9 2 (3 of 2) CBS -2 1 9 X3X9 weight reduced to -2 from -1 9 execute 11700 X0X1(3,13) X0X2(3,14) X0X3(4,15) X0X4(5,14) X0X5(5,13) X0X6(3,12) X0X7(1,9) X0X9(1,9) X1X0(1,14) X1X3(1,16) X1X4(2,17) X1X5(2,17) X1X6(1,14) X1X9(1,10) X2X0(1,12) X2X3(1,14) X2X4(2,13) X2X5(2,13) X2X6(1,14) X2X9(1,11) X3X0(1,12) X3X1(0,7) X3X2(0,10) X3X3(1,14) X3X4(2,12) X3X5(2,12) X3X6(1,14) X3X7(0,10) X3X8(0,11) X3X9(1,11) X4X0(3,14) X4X1(2,7) X4X2(2,11) X4X3(5,18) X4X4(4,17) X4X5(4,17) X4X6(5,18) X4X7(2,11) X4X8(2,11) X4X9(3,13) X5X0(3,14) X5X1(2,7) X5X2(2,11) X5X3(5,18) X5X4(4,17) X5X5(4,17) X5X6(5,18) X5X7(2,11) X5X8(2,11) X5X9(3,13) X6X0(1,9) X6X3(2,9) X6X4(2,8) X6X5(2,8) X6X6(2,9) X6X9(1,9) X7X0(3,11) X7X1(2,7) X7X2(2,10) X7X3(4,14) X7X4(5,15) X7X5(5,15) X7X6(4,14) X7X7(2,10) X7X8(2,10) X7X9(3,10) X8X0(3,9) X8X1(2,7) X8X2(2,9) X8X3(4,12) X8X4(4,13) X8X5(4,13) X8X6(4,12) X8X7(2,9) X8X8(2,8) X8X9(3,8) X9X0(3,7) X9X1(2,6) X9X2(2,7) X9X3(4,10) X9X4(3,11) X9X5(3,11) X9X6(4,10) X9X7(2,7) X9X8(2,6) X9X9(3,6) c0i0(1,5) c3i0(1,4) c3i1(2,4) c4i0(2,4) c5i0(2,4) c6i0(1,4) c6i1(2,4) c9i0(1,5) r0i0(3,9) r4i0(2,3) r4i1(1,3) r4i2(2,3) r5i0(2,3) r5i1(1,3) r5i2(2,3) r7i0(2,3) r7i1(2,3) r8i0(2,3) r8i1(2,3) r9i0(2,3) r9i1(2,3) branching on X3X1(0) 9 Colselect X3X1 3200 9 execute 360 CBS -3 1 9 row already ignored, skipping 360 9 execute 3200 X0X1(3,13) X0X2(3,14) X0X3(4,15) X0X4(5,14) X0X5(5,13) X0X6(3,12) X0X7(1,9) X0X9(1,9) X1X0(1,14) X1X3(1,16) X1X4(2,17) X1X5(2,17) X1X6(1,14) X1X9(1,10) X2X0(1,12) X2X3(1,14) X2X4(2,13) X2X5(2,13) X2X6(1,14) X2X9(1,11) X3X0(1,12) X3X2(0,10) X3X3(1,14) X3X4(2,12) X3X5(2,12) X3X6(1,14) X3X7(0,10) X3X8(0,11) X3X9(1,11) X4X0(3,14) X4X1(2,7) X4X2(2,11) X4X3(5,18) X4X4(4,17) X4X5(4,17) X4X6(5,18) X4X7(2,11) X4X8(2,11) X4X9(3,13) X5X0(3,14) X5X1(2,7) X5X2(2,11) X5X3(5,18) X5X4(4,17) X5X5(4,17) X5X6(5,18) X5X7(2,11) X5X8(2,11) X5X9(3,13) X6X0(1,9) X6X3(2,9) X6X4(2,8) X6X5(2,8) X6X6(2,9) X6X9(1,9) X7X0(3,11) X7X1(2,7) X7X2(2,10) X7X3(4,14) X7X4(5,15) X7X5(5,15) X7X6(4,14) X7X7(2,10) X7X8(2,10) X7X9(3,10) X8X0(3,9) X8X1(2,7) X8X2(2,9) X8X3(4,12) X8X4(4,13) X8X5(4,13) X8X6(4,12) X8X7(2,9) X8X8(2,8) X8X9(3,8) X9X0(3,7) X9X1(2,6) X9X2(2,7) X9X3(4,10) X9X4(3,11) X9X5(3,11) X9X6(4,10) X9X7(2,7) X9X8(2,6) X9X9(3,6) c0i0(1,5) c3i0(1,4) c3i1(2,4) c4i0(2,4) c5i0(2,4) c6i0(1,4) c6i1(2,4) c9i0(1,5) r0i0(3,9) r4i0(2,3) r4i1(1,3) r4i2(2,3) r5i0(2,3) r5i1(1,3) r5i2(2,3) r7i0(2,3) r7i1(2,3) r8i0(2,3) r8i1(2,3) r9i0(2,3) r9i1(2,3) branching on X3X2(0) 9 Colselect X3X2 3300 9 execute 3300 X0X1(3,13) X0X2(3,14) X0X3(4,15) X0X4(5,14) X0X5(5,13) X0X6(3,12) X0X7(1,9) X0X9(1,9) X1X0(1,14) X1X3(1,16) X1X4(2,17) X1X5(2,17) X1X6(1,14) X1X9(1,10) X2X0(1,12) X2X3(1,14) X2X4(2,13) X2X5(2,13) X2X6(1,14) X2X9(1,11) X3X0(1,12) X3X3(1,14) X3X4(2,12) X3X5(2,12) X3X6(1,14) X3X7(0,10) X3X8(0,11) X3X9(1,11) X4X0(3,14) X4X1(2,7) X4X2(2,11) X4X3(5,18) X4X4(4,17) X4X5(4,17) X4X6(5,18) X4X7(2,11) X4X8(2,11) X4X9(3,13) X5X0(3,14) X5X1(2,7) X5X2(2,11) X5X3(5,18) X5X4(4,17) X5X5(4,17) X5X6(5,18) X5X7(2,11) X5X8(2,11) X5X9(3,13) X6X0(1,9) X6X3(2,9) X6X4(2,8) X6X5(2,8) X6X6(2,9) X6X9(1,9) X7X0(3,11) X7X1(2,7) X7X2(2,10) X7X3(4,14) X7X4(5,15) X7X5(5,15) X7X6(4,14) X7X7(2,10) X7X8(2,10) X7X9(3,10) X8X0(3,9) X8X1(2,7) X8X2(2,9) X8X3(4,12) X8X4(4,13) X8X5(4,13) X8X6(4,12) X8X7(2,9) X8X8(2,8) X8X9(3,8) X9X0(3,7) X9X1(2,6) X9X2(2,7) X9X3(4,10) X9X4(3,11) X9X5(3,11) X9X6(4,10) X9X7(2,7) X9X8(2,6) X9X9(3,6) c0i0(1,5) c3i0(1,4) c3i1(2,4) c4i0(2,4) c5i0(2,4) c6i0(1,4) c6i1(2,4) c9i0(1,5) r0i0(3,9) r4i0(2,3) r4i1(1,3) r4i2(2,3) r5i0(2,3) r5i1(1,3) r5i2(2,3) r7i0(2,3) r7i1(2,3) r8i0(2,3) r8i1(2,3) r9i0(2,3) r9i1(2,3) branching on X3X7(0) 9 Colselect X3X7 3800 9 execute 3800 X0X1(3,13) X0X2(3,14) X0X3(4,15) X0X4(5,14) X0X5(5,13) X0X6(3,12) X0X7(1,9) X0X9(1,9) X1X0(1,14) X1X3(1,16) X1X4(2,17) X1X5(2,17) X1X6(1,14) X1X9(1,10) X2X0(1,12) X2X3(1,14) X2X4(2,13) X2X5(2,13) X2X6(1,14) X2X9(1,11) X3X0(1,12) X3X3(1,14) X3X4(2,12) X3X5(2,12) X3X6(1,14) X3X8(0,11) X3X9(1,11) X4X0(3,14) X4X1(2,7) X4X2(2,11) X4X3(5,18) X4X4(4,17) X4X5(4,17) X4X6(5,18) X4X7(2,11) X4X8(2,11) X4X9(3,13) X5X0(3,14) X5X1(2,7) X5X2(2,11) X5X3(5,18) X5X4(4,17) X5X5(4,17) X5X6(5,18) X5X7(2,11) X5X8(2,11) X5X9(3,13) X6X0(1,9) X6X3(2,9) X6X4(2,8) X6X5(2,8) X6X6(2,9) X6X9(1,9) X7X0(3,11) X7X1(2,7) X7X2(2,10) X7X3(4,14) X7X4(5,15) X7X5(5,15) X7X6(4,14) X7X7(2,10) X7X8(2,10) X7X9(3,10) X8X0(3,9) X8X1(2,7) X8X2(2,9) X8X3(4,12) X8X4(4,13) X8X5(4,13) X8X6(4,12) X8X7(2,9) X8X8(2,8) X8X9(3,8) X9X0(3,7) X9X1(2,6) X9X2(2,7) X9X3(4,10) X9X4(3,11) X9X5(3,11) X9X6(4,10) X9X7(2,7) X9X8(2,6) X9X9(3,6) c0i0(1,5) c3i0(1,4) c3i1(2,4) c4i0(2,4) c5i0(2,4) c6i0(1,4) c6i1(2,4) c9i0(1,5) r0i0(3,9) r4i0(2,3) r4i1(1,3) r4i2(2,3) r5i0(2,3) r5i1(1,3) r5i2(2,3) r7i0(2,3) r7i1(2,3) r8i0(2,3) r8i1(2,3) r9i0(2,3) r9i1(2,3) branching on X3X8(0) 9 Colselect X3X8 3900 9 execute 336 CBS -3 1 9 row already ignored, skipping 336 9 execute 3900 X0X1(3,13) X0X2(3,14) X0X3(4,15) X0X4(5,14) X0X5(5,13) X0X6(3,12) X0X7(1,9) X0X9(1,9) X1X0(1,14) X1X3(1,16) X1X4(2,17) X1X5(2,17) X1X6(1,14) X1X9(1,10) X2X0(1,12) X2X3(1,14) X2X4(2,13) X2X5(2,13) X2X6(1,14) X2X9(1,11) X3X0(1,12) X3X3(1,14) X3X4(2,12) X3X5(2,12) X3X6(1,14) X3X9(1,11) X4X0(3,14) X4X1(2,7) X4X2(2,11) X4X3(5,18) X4X4(4,17) X4X5(4,17) X4X6(5,18) X4X7(2,11) X4X8(2,11) X4X9(3,13) X5X0(3,14) X5X1(2,7) X5X2(2,11) X5X3(5,18) X5X4(4,17) X5X5(4,17) X5X6(5,18) X5X7(2,11) X5X8(2,11) X5X9(3,13) X6X0(1,9) X6X3(2,9) X6X4(2,8) X6X5(2,8) X6X6(2,9) X6X9(1,9) X7X0(3,11) X7X1(2,7) X7X2(2,10) X7X3(4,14) X7X4(5,15) X7X5(5,15) X7X6(4,14) X7X7(2,10) X7X8(2,10) X7X9(3,10) X8X0(3,9) X8X1(2,7) X8X2(2,9) X8X3(4,12) X8X4(4,13) X8X5(4,13) X8X6(4,12) X8X7(2,9) X8X8(2,8) X8X9(3,8) X9X0(3,7) X9X1(2,6) X9X2(2,7) X9X3(4,10) X9X4(3,11) X9X5(3,11) X9X6(4,10) X9X7(2,7) X9X8(2,6) X9X9(3,6) c0i0(1,5) c3i0(1,4) c3i1(2,4) c4i0(2,4) c5i0(2,4) c6i0(1,4) c6i1(2,4) c9i0(1,5) r0i0(3,9) r4i0(2,3) r4i1(1,3) r4i2(2,3) r5i0(2,3) r5i1(1,3) r5i2(2,3) r7i0(2,3) r7i1(2,3) r8i0(2,3) r8i1(2,3) r9i0(2,3) r9i1(2,3) branching on c0i0(1) 9 Colselect c0i0 10100 9 execute 915 CBS 1 1 1 terms left at max 1 per for 1 total weight Ignoring 915 c0i0 : c0i0 1 c3c0 1 X3X0 1 X4X0 2 c4c0 2 X5X0 2 c5c0 2 X6X0 2 c6c0 2 X7X0 2 c7c0 2 X8X0 2 c8c0 2 X9X0 2 c9c0 2 X0X0 1 X1X0 1 X2X0 1 (1 of 1) CBS 1 1 10 adding_row 915 10 c0i0 weight reduced to 0 from 1 10 c3c0 weight about to be reduced 10 c3c0 weight reduced to 1 from 2 10 X3X0 weight about to be reduced CBS -2 2 CBS -2 2 10 X3X0 weight reduced to -2 from -2 10 X4X0 weight about to be reduced CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 390 X4X0 : X4X0 1 X4X1 2 r4r1 2 X4X2 2 r4r2 2 X4X3 2 r4r3 2 r4r4 1 X4X4 1 r4o1 4 r4i0 1 r4r0 1 (2 of 2) 10 X4X0 weight reduced to -3 from -1 10 c4c0 weight about to be reduced Covering 17200 c4c0 END Covering 17200 10 c4c0 weight reduced to 0 from 2 10 X5X0 weight about to be reduced CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 492 X5X0 : X5X0 1 X5X1 2 r5r1 2 X5X2 2 r5r2 2 X5X3 2 r5r3 2 r5r4 1 X5X4 1 r5o1 4 r5i0 1 r5r0 1 (2 of 2) 10 X5X0 weight reduced to -3 from -1 10 c5c0 weight about to be reduced Covering 18200 c5c0 END Covering 18200 10 c5c0 weight reduced to 0 from 2 10 X6X0 weight about to be reduced CBS -3 1 CBS -3 1 10 X6X0 weight reduced to -3 from -3 10 c6c0 weight about to be reduced Covering 19200 c6c0 END Covering 19200 10 c6c0 weight reduced to 0 from 2 10 X7X0 weight about to be reduced CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 617 X7X0 : X7X0 1 X7X1 2 r7r1 2 X7X2 2 r7r2 2 X7X3 2 r7r3 2 X7X4 2 r7r4 2 r7r5 1 X7X5 1 r7o1 5 r7i0 1 r7r0 1 (2 of 2) 10 X7X0 weight reduced to -3 from -1 10 c7c0 weight about to be reduced Covering 20300 c7c0 END Covering 20300 10 c7c0 weight reduced to 0 from 2 10 X8X0 weight about to be reduced CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 698 X8X0 : X8X0 1 X8X1 2 r8r1 2 X8X2 2 r8r2 2 X8X3 2 r8r3 2 X8X4 2 r8r4 2 r8r5 1 X8X5 1 r8o1 5 r8i0 1 r8r0 1 (2 of 2) 10 X8X0 weight reduced to -3 from -1 10 c8c0 weight about to be reduced Covering 21300 c8c0 END Covering 21300 10 c8c0 weight reduced to 0 from 2 10 X9X0 weight about to be reduced CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 779 X9X0 : X9X0 1 X9X1 2 r9r1 2 X9X2 2 r9r2 2 X9X3 2 r9r3 2 X9X4 2 r9r4 2 r9r5 1 X9X5 1 r9o1 5 r9i0 1 r9r0 1 (2 of 2) 10 X9X0 weight reduced to -3 from -1 10 c9c0 weight about to be reduced Covering 22300 c9c0 END Covering 22300 10 c9c0 weight reduced to 0 from 2 10 X0X0 weight about to be reduced CBS -2 1 CBS -2 1 CBS -2 1 10 X0X0 weight reduced to -2 from -1 10 X1X0 weight about to be reduced CBS -2 2 CBS -2 2 10 X1X0 weight reduced to -2 from -2 10 X2X0 weight about to be reduced CBS -2 2 CBS -2 2 10 X2X0 weight reduced to -2 from -2 10 execute 10100 X0X1(3,13) X0X2(3,14) X0X3(4,15) X0X4(5,14) X0X5(5,13) X0X6(3,12) X0X7(1,9) X0X9(1,9) X1X0(0,14) X1X3(1,16) X1X4(2,17) X1X5(2,17) X1X6(1,14) X1X9(1,10) X2X0(0,12) X2X3(1,14) X2X4(2,13) X2X5(2,13) X2X6(1,14) X2X9(1,11) X3X0(0,12) X3X3(1,14) X3X4(2,12) X3X5(2,12) X3X6(1,14) X3X9(1,11) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(4,18) X4X4(3,17) X4X5(4,17) X4X6(5,18) X4X7(2,11) X4X8(2,11) X4X9(3,13) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(3,17) X5X5(4,17) X5X6(5,18) X5X7(2,11) X5X8(2,11) X5X9(3,13) X6X0(0,9) X6X3(2,9) X6X4(2,8) X6X5(2,8) X6X6(2,9) X6X9(1,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(4,15) X7X5(4,15) X7X6(4,14) X7X7(2,10) X7X8(2,10) X7X9(3,10) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(3,13) X8X5(3,13) X8X6(4,12) X8X7(2,9) X8X8(2,8) X8X9(3,8) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(2,11) X9X5(2,11) X9X6(4,10) X9X7(2,7) X9X8(2,6) X9X9(3,6) c3i0(1,4) c3i1(2,4) c4i0(2,4) c5i0(2,4) c6i0(1,4) c6i1(2,4) c9i0(1,5) r0i0(3,9) r4i0(1,3) r4i1(1,3) r4i2(2,3) r5i0(1,3) r5i1(1,3) r5i2(2,3) r7i0(1,3) r7i1(2,3) r8i0(1,3) r8i1(2,3) r9i0(1,3) r9i1(2,3) branching on X6X0(0) 10 Colselect X6X0 6100 10 execute 860 CBS -3 1 10 row already ignored, skipping 860 10 execute 6100 X0X1(3,13) X0X2(3,14) X0X3(4,15) X0X4(5,14) X0X5(5,13) X0X6(3,12) X0X7(1,9) X0X9(1,9) X1X0(0,14) X1X3(1,16) X1X4(2,17) X1X5(2,17) X1X6(1,14) X1X9(1,10) X2X0(0,12) X2X3(1,14) X2X4(2,13) X2X5(2,13) X2X6(1,14) X2X9(1,11) X3X0(0,12) X3X3(1,14) X3X4(2,12) X3X5(2,12) X3X6(1,14) X3X9(1,11) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(4,18) X4X4(3,17) X4X5(4,17) X4X6(5,18) X4X7(2,11) X4X8(2,11) X4X9(3,13) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(3,17) X5X5(4,17) X5X6(5,18) X5X7(2,11) X5X8(2,11) X5X9(3,13) X6X3(2,9) X6X4(2,8) X6X5(2,8) X6X6(2,9) X6X9(1,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(4,15) X7X5(4,15) X7X6(4,14) X7X7(2,10) X7X8(2,10) X7X9(3,10) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(3,13) X8X5(3,13) X8X6(4,12) X8X7(2,9) X8X8(2,8) X8X9(3,8) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(2,11) X9X5(2,11) X9X6(4,10) X9X7(2,7) X9X8(2,6) X9X9(3,6) c3i0(1,4) c3i1(2,4) c4i0(2,4) c5i0(2,4) c6i0(1,4) c6i1(2,4) c9i0(1,5) r0i0(3,9) r4i0(1,3) r4i1(1,3) r4i2(2,3) r5i0(1,3) r5i1(1,3) r5i2(2,3) r7i0(1,3) r7i1(2,3) r8i0(1,3) r8i1(2,3) r9i0(1,3) r9i1(2,3) branching on X2X0(0) 10 Colselect X2X0 2100 10 execute 881 CBS -2 2 10 row already ignored, skipping 881 10 execute 2100 X0X1(3,13) X0X2(3,14) X0X3(4,15) X0X4(5,14) X0X5(5,13) X0X6(3,12) X0X7(1,9) X0X9(1,9) X1X0(0,14) X1X3(1,16) X1X4(2,17) X1X5(2,17) X1X6(1,14) X1X9(1,10) X2X3(1,14) X2X4(2,13) X2X5(2,13) X2X6(1,14) X2X9(1,11) X3X0(0,12) X3X3(1,14) X3X4(2,12) X3X5(2,12) X3X6(1,14) X3X9(1,11) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(4,18) X4X4(3,17) X4X5(4,17) X4X6(5,18) X4X7(2,11) X4X8(2,11) X4X9(3,13) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(3,17) X5X5(4,17) X5X6(5,18) X5X7(2,11) X5X8(2,11) X5X9(3,13) X6X3(2,9) X6X4(2,8) X6X5(2,8) X6X6(2,9) X6X9(1,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(4,15) X7X5(4,15) X7X6(4,14) X7X7(2,10) X7X8(2,10) X7X9(3,10) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(3,13) X8X5(3,13) X8X6(4,12) X8X7(2,9) X8X8(2,8) X8X9(3,8) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(2,11) X9X5(2,11) X9X6(4,10) X9X7(2,7) X9X8(2,6) X9X9(3,6) c3i0(1,4) c3i1(2,4) c4i0(2,4) c5i0(2,4) c6i0(1,4) c6i1(2,4) c9i0(1,5) r0i0(3,9) r4i0(1,3) r4i1(1,3) r4i2(2,3) r5i0(1,3) r5i1(1,3) r5i2(2,3) r7i0(1,3) r7i1(2,3) r8i0(1,3) r8i1(2,3) r9i0(1,3) r9i1(2,3) branching on X3X0(0) 10 Colselect X3X0 3100 10 execute 899 CBS -2 2 10 row already ignored, skipping 899 10 execute 3100 X0X1(3,13) X0X2(3,14) X0X3(4,15) X0X4(5,14) X0X5(5,13) X0X6(3,12) X0X7(1,9) X0X9(1,9) X1X0(0,14) X1X3(1,16) X1X4(2,17) X1X5(2,17) X1X6(1,14) X1X9(1,10) X2X3(1,14) X2X4(2,13) X2X5(2,13) X2X6(1,14) X2X9(1,11) X3X3(1,14) X3X4(2,12) X3X5(2,12) X3X6(1,14) X3X9(1,11) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(4,18) X4X4(3,17) X4X5(4,17) X4X6(5,18) X4X7(2,11) X4X8(2,11) X4X9(3,13) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(3,17) X5X5(4,17) X5X6(5,18) X5X7(2,11) X5X8(2,11) X5X9(3,13) X6X3(2,9) X6X4(2,8) X6X5(2,8) X6X6(2,9) X6X9(1,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(4,15) X7X5(4,15) X7X6(4,14) X7X7(2,10) X7X8(2,10) X7X9(3,10) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(3,13) X8X5(3,13) X8X6(4,12) X8X7(2,9) X8X8(2,8) X8X9(3,8) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(2,11) X9X5(2,11) X9X6(4,10) X9X7(2,7) X9X8(2,6) X9X9(3,6) c3i0(1,4) c3i1(2,4) c4i0(2,4) c5i0(2,4) c6i0(1,4) c6i1(2,4) c9i0(1,5) r0i0(3,9) r4i0(1,3) r4i1(1,3) r4i2(2,3) r5i0(1,3) r5i1(1,3) r5i2(2,3) r7i0(1,3) r7i1(2,3) r8i0(1,3) r8i1(2,3) r9i0(1,3) r9i1(2,3) branching on X1X0(0) 10 Colselect X1X0 1100 10 execute 864 CBS -2 2 10 row already ignored, skipping 864 10 execute 1100 X0X1(3,13) X0X2(3,14) X0X3(4,15) X0X4(5,14) X0X5(5,13) X0X6(3,12) X0X7(1,9) X0X9(1,9) X1X3(1,16) X1X4(2,17) X1X5(2,17) X1X6(1,14) X1X9(1,10) X2X3(1,14) X2X4(2,13) X2X5(2,13) X2X6(1,14) X2X9(1,11) X3X3(1,14) X3X4(2,12) X3X5(2,12) X3X6(1,14) X3X9(1,11) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(4,18) X4X4(3,17) X4X5(4,17) X4X6(5,18) X4X7(2,11) X4X8(2,11) X4X9(3,13) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(3,17) X5X5(4,17) X5X6(5,18) X5X7(2,11) X5X8(2,11) X5X9(3,13) X6X3(2,9) X6X4(2,8) X6X5(2,8) X6X6(2,9) X6X9(1,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(4,15) X7X5(4,15) X7X6(4,14) X7X7(2,10) X7X8(2,10) X7X9(3,10) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(3,13) X8X5(3,13) X8X6(4,12) X8X7(2,9) X8X8(2,8) X8X9(3,8) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(2,11) X9X5(2,11) X9X6(4,10) X9X7(2,7) X9X8(2,6) X9X9(3,6) c3i0(1,4) c3i1(2,4) c4i0(2,4) c5i0(2,4) c6i0(1,4) c6i1(2,4) c9i0(1,5) r0i0(3,9) r4i0(1,3) r4i1(1,3) r4i2(2,3) r5i0(1,3) r5i1(1,3) r5i2(2,3) r7i0(1,3) r7i1(2,3) r8i0(1,3) r8i1(2,3) r9i0(1,3) r9i1(2,3) branching on c9i0(1) 10 Colselect c9i0 11200 10 execute 1595 CBS 1 1 1 terms left at max 1 per for 1 total weight Ignoring 1595 c9i0 : c9i0 1 c3c9 1 X3X9 1 X4X9 2 c4c9 2 X5X9 2 c5c9 2 X6X9 2 c6c9 2 X7X9 2 c7c9 2 X8X9 2 c8c9 2 X9X9 2 c9c9 2 X0X9 1 X1X9 1 X2X9 1 (1 of 1) CBS 1 1 11 adding_row 1595 11 c9i0 weight reduced to 0 from 1 11 c3c9 weight about to be reduced 11 c3c9 weight reduced to 1 from 2 11 X3X9 weight about to be reduced CBS -2 2 CBS -2 2 CBS -2 2 CBS -2 2 CBS -2 2 CBS -2 2 11 X3X9 weight reduced to -2 from -2 11 X4X9 weight about to be reduced CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 468 X4X9 : X4X9 1 r4o2 4 r4i2 1 r4r5 1 X4X5 1 X4X6 2 r4r6 2 X4X7 2 r4r7 2 X4X8 2 r4r8 2 r4r9 1 (2 of 2) 11 X4X9 weight reduced to -3 from -1 11 c4c9 weight about to be reduced Covering 18100 c4c9 END Covering 18100 11 c4c9 weight reduced to 0 from 2 11 X5X9 weight about to be reduced CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 570 X5X9 : X5X9 1 r5o2 4 r5i2 1 r5r5 1 X5X5 1 X5X6 2 r5r6 2 X5X7 2 r5r7 2 X5X8 2 r5r8 2 r5r9 1 (2 of 2) 11 X5X9 weight reduced to -3 from -1 11 c5c9 weight about to be reduced Covering 19100 c5c9 END Covering 19100 11 c5c9 weight reduced to 0 from 2 11 X6X9 weight about to be reduced CBS -3 1 CBS -3 1 11 X6X9 weight reduced to -3 from -3 11 c6c9 weight about to be reduced Covering 20100 c6c9 END Covering 20100 11 c6c9 weight reduced to 0 from 2 11 X7X9 weight about to be reduced CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 670 X7X9 : X7X9 1 r7o1 5 r7i1 1 r7r4 1 X7X4 1 X7X5 2 r7r5 2 X7X6 2 r7r6 2 X7X7 2 r7r7 2 X7X8 2 r7r8 2 r7r9 1 (2 of 2) 11 X7X9 weight reduced to -3 from -1 11 c7c9 weight about to be reduced Covering 21200 c7c9 END Covering 21200 11 c7c9 weight reduced to 0 from 2 11 X8X9 weight about to be reduced CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 751 X8X9 : X8X9 1 r8o1 5 r8i1 1 r8r4 1 X8X4 1 X8X5 2 r8r5 2 X8X6 2 r8r6 2 X8X7 2 r8r7 2 X8X8 2 r8r8 2 r8r9 1 (2 of 2) 11 X8X9 weight reduced to -3 from -1 11 c8c9 weight about to be reduced Covering 22200 c8c9 END Covering 22200 11 c8c9 weight reduced to 0 from 2 11 X9X9 weight about to be reduced CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 832 X9X9 : X9X9 1 r9o1 5 r9i1 1 r9r4 1 X9X4 1 X9X5 2 r9r5 2 X9X6 2 r9r6 2 X9X7 2 r9r7 2 X9X8 2 r9r8 2 r9r9 1 (2 of 2) 11 X9X9 weight reduced to -3 from -1 11 c9c9 weight about to be reduced Covering 23200 c9c9 END Covering 23200 11 c9c9 weight reduced to 0 from 2 11 X0X9 weight about to be reduced 11 X0X9 weight reduced to -2 from -1 11 X1X9 weight about to be reduced 11 X1X9 weight reduced to -2 from -1 11 X2X9 weight about to be reduced 11 X2X9 weight reduced to -2 from -1 11 execute 11200 X0X1(3,13) X0X2(3,14) X0X3(4,15) X0X4(5,14) X0X5(5,13) X0X6(3,12) X0X7(1,9) X0X9(0,8) X1X3(1,16) X1X4(2,17) X1X5(2,17) X1X6(1,14) X1X9(0,9) X2X3(1,14) X2X4(2,13) X2X5(2,13) X2X6(1,14) X2X9(0,10) X3X3(1,14) X3X4(2,12) X3X5(2,12) X3X6(1,14) X3X9(0,11) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(4,18) X4X4(3,17) X4X5(3,17) X4X6(4,18) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(3,17) X5X5(3,17) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X4(2,8) X6X5(2,8) X6X6(2,9) X6X9(0,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(3,15) X7X5(3,15) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(2,13) X8X5(2,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i0(1,4) c3i1(2,4) c4i0(2,4) c5i0(2,4) c6i0(1,4) c6i1(2,4) r0i0(3,9) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X6X9(0) 11 Colselect X6X9 7000 11 execute 1540 CBS -3 1 11 row already ignored, skipping 1540 11 execute 7000 X0X1(3,13) X0X2(3,14) X0X3(4,15) X0X4(5,14) X0X5(5,13) X0X6(3,12) X0X7(1,9) X0X9(0,8) X1X3(1,16) X1X4(2,17) X1X5(2,17) X1X6(1,14) X1X9(0,9) X2X3(1,14) X2X4(2,13) X2X5(2,13) X2X6(1,14) X2X9(0,10) X3X3(1,14) X3X4(2,12) X3X5(2,12) X3X6(1,14) X3X9(0,11) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(4,18) X4X4(3,17) X4X5(3,17) X4X6(4,18) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(3,17) X5X5(3,17) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X4(2,8) X6X5(2,8) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(3,15) X7X5(3,15) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(2,13) X8X5(2,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i0(1,4) c3i1(2,4) c4i0(2,4) c5i0(2,4) c6i0(1,4) c6i1(2,4) r0i0(3,9) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X0X9(0) 11 Colselect X0X9 1000 11 execute 1000 X0X1(3,13) X0X2(3,14) X0X3(4,15) X0X4(5,14) X0X5(5,13) X0X6(3,12) X0X7(1,9) X1X3(1,16) X1X4(2,17) X1X5(2,17) X1X6(1,14) X1X9(0,9) X2X3(1,14) X2X4(2,13) X2X5(2,13) X2X6(1,14) X2X9(0,10) X3X3(1,14) X3X4(2,12) X3X5(2,12) X3X6(1,14) X3X9(0,11) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(4,18) X4X4(3,17) X4X5(3,17) X4X6(4,18) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(3,17) X5X5(3,17) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X4(2,8) X6X5(2,8) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(3,15) X7X5(3,15) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(2,13) X8X5(2,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i0(1,4) c3i1(2,4) c4i0(2,4) c5i0(2,4) c6i0(1,4) c6i1(2,4) r0i0(3,9) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X1X9(0) 11 Colselect X1X9 2000 11 execute 2000 X0X1(3,13) X0X2(3,14) X0X3(4,15) X0X4(5,14) X0X5(5,13) X0X6(3,12) X0X7(1,9) X1X3(1,16) X1X4(2,17) X1X5(2,17) X1X6(1,14) X2X3(1,14) X2X4(2,13) X2X5(2,13) X2X6(1,14) X2X9(0,10) X3X3(1,14) X3X4(2,12) X3X5(2,12) X3X6(1,14) X3X9(0,11) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(4,18) X4X4(3,17) X4X5(3,17) X4X6(4,18) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(3,17) X5X5(3,17) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X4(2,8) X6X5(2,8) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(3,15) X7X5(3,15) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(2,13) X8X5(2,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i0(1,4) c3i1(2,4) c4i0(2,4) c5i0(2,4) c6i0(1,4) c6i1(2,4) r0i0(3,9) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X2X9(0) 11 Colselect X2X9 3000 11 execute 3000 X0X1(3,13) X0X2(3,14) X0X3(4,15) X0X4(5,14) X0X5(5,13) X0X6(3,12) X0X7(1,9) X1X3(1,16) X1X4(2,17) X1X5(2,17) X1X6(1,14) X2X3(1,14) X2X4(2,13) X2X5(2,13) X2X6(1,14) X3X3(1,14) X3X4(2,12) X3X5(2,12) X3X6(1,14) X3X9(0,11) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(4,18) X4X4(3,17) X4X5(3,17) X4X6(4,18) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(3,17) X5X5(3,17) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X4(2,8) X6X5(2,8) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(3,15) X7X5(3,15) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(2,13) X8X5(2,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i0(1,4) c3i1(2,4) c4i0(2,4) c5i0(2,4) c6i0(1,4) c6i1(2,4) r0i0(3,9) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X3X9(0) 11 Colselect X3X9 4000 11 execute 1579 CBS -2 2 11 row already ignored, skipping 1579 11 execute 1563 CBS -2 2 11 row already ignored, skipping 1563 11 execute 1548 CBS -2 2 11 row already ignored, skipping 1548 11 execute 4000 X0X1(3,13) X0X2(3,14) X0X3(4,15) X0X4(5,14) X0X5(5,13) X0X6(3,12) X0X7(1,9) X1X3(1,16) X1X4(2,17) X1X5(2,17) X1X6(1,14) X2X3(1,14) X2X4(2,13) X2X5(2,13) X2X6(1,14) X3X3(1,14) X3X4(2,12) X3X5(2,12) X3X6(1,14) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(4,18) X4X4(3,17) X4X5(3,17) X4X6(4,18) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(3,17) X5X5(3,17) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X4(2,8) X6X5(2,8) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(3,15) X7X5(3,15) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(2,13) X8X5(2,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i0(1,4) c3i1(2,4) c4i0(2,4) c5i0(2,4) c6i0(1,4) c6i1(2,4) r0i0(3,9) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on c3i0(1) 11 Colselect c3i0 10400 11 execute 1045 CBS 1 1 1 terms left at max 1 per for 1 total weight Ignoring 1045 c3i0 : c3i0 1 c0c3 1 X0X3 1 X1X3 2 c1c3 2 X2X3 2 c2c3 2 X3X3 2 c3c3 2 c4c3 1 X4X3 1 c3o1 4 (1 of 1) CBS 1 1 12 adding_row 1045 12 c3i0 weight reduced to 0 from 1 12 c0c3 weight about to be reduced 12 c0c3 weight reduced to 1 from 2 12 X0X3 weight about to be reduced CBS -2 2 CBS -1 2 Ignoring 29 X0X3 : X0X3 2 r0r3 2 X0X4 2 r0r4 2 r0r5 1 X0X5 1 X0X0 1 X0X1 1 r0i0 1 r0r2 1 X0X2 1 (1 of 3) CBS -2 1 CBS -2 1 12 X0X3 weight reduced to -2 from -1 12 X1X3 weight about to be reduced CBS -3 1 CBS -3 1 CBS -3 1 CBS -3 1 12 X1X3 weight reduced to -3 from -3 12 c1c3 weight about to be reduced Covering 14400 c1c3 END Covering 14400 12 c1c3 weight reduced to 0 from 2 12 X2X3 weight about to be reduced CBS -3 1 CBS -3 1 12 X2X3 weight reduced to -3 from -3 12 c2c3 weight about to be reduced Covering 15400 c2c3 END Covering 15400 12 c2c3 weight reduced to 0 from 2 12 X3X3 weight about to be reduced CBS -3 1 CBS -3 1 CBS -3 1 CBS -3 1 12 X3X3 weight reduced to -3 from -3 12 c3c3 weight about to be reduced Covering 16400 c3c3 END Covering 16400 12 c3c3 weight reduced to 0 from 2 12 c4c3 weight about to be reduced CBS 1 1 12 c4c3 weight reduced to 1 from 2 12 X4X3 weight about to be reduced CBS -2 1 CBS -2 1 CBS -2 1 12 X4X3 weight reduced to -2 from -1 12 c3o1 weight about to be reduced CBS 6 5 CBS 6 4 12 c3o1 weight reduced to 6 from 10 12 execute 10400 X0X1(2,13) X0X2(2,14) X0X3(2,14) X0X4(4,14) X0X5(4,13) X0X6(3,12) X0X7(1,9) X1X3(0,16) X1X4(2,17) X1X5(2,17) X1X6(1,14) X2X3(0,14) X2X4(2,13) X2X5(2,13) X2X6(1,14) X3X3(0,14) X3X4(2,12) X3X5(2,12) X3X6(1,14) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(3,17) X4X4(3,17) X4X5(3,17) X4X6(4,18) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(3,17) X5X5(3,17) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X4(2,8) X6X5(2,8) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(3,15) X7X5(3,15) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(2,13) X8X5(2,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c4i0(2,4) c5i0(2,4) c6i0(1,4) c6i1(2,4) r0i0(2,9) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X2X3(0) 12 Colselect X2X3 2400 12 execute 1086 CBS -3 1 12 row already ignored, skipping 1086 12 execute 2400 X0X1(2,13) X0X2(2,14) X0X3(2,14) X0X4(4,14) X0X5(4,13) X0X6(3,12) X0X7(1,9) X1X3(0,16) X1X4(2,17) X1X5(2,17) X1X6(1,14) X2X4(2,13) X2X5(2,13) X2X6(1,14) X3X3(0,14) X3X4(2,12) X3X5(2,12) X3X6(1,14) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(3,17) X4X4(3,17) X4X5(3,17) X4X6(4,18) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(3,17) X5X5(3,17) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X4(2,8) X6X5(2,8) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(3,15) X7X5(3,15) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(2,13) X8X5(2,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c4i0(2,4) c5i0(2,4) c6i0(1,4) c6i1(2,4) r0i0(2,9) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X3X3(0) 12 Colselect X3X3 3400 12 execute 1100 CBS -3 1 12 row already ignored, skipping 1100 12 execute 1043 CBS -3 1 12 row already ignored, skipping 1043 12 execute 3400 X0X1(2,13) X0X2(2,14) X0X3(2,14) X0X4(4,14) X0X5(4,13) X0X6(3,12) X0X7(1,9) X1X3(0,16) X1X4(2,17) X1X5(2,17) X1X6(1,14) X2X4(2,13) X2X5(2,13) X2X6(1,14) X3X4(2,12) X3X5(2,12) X3X6(1,14) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(3,17) X4X4(3,17) X4X5(3,17) X4X6(4,18) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(3,17) X5X5(3,17) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X4(2,8) X6X5(2,8) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(3,15) X7X5(3,15) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(2,13) X8X5(2,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c4i0(2,4) c5i0(2,4) c6i0(1,4) c6i1(2,4) r0i0(2,9) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X1X3(0) 12 Colselect X1X3 1400 12 execute 1059 CBS -3 1 12 row already ignored, skipping 1059 12 execute 205 CBS -3 1 12 row already ignored, skipping 205 12 execute 1400 X0X1(2,13) X0X2(2,14) X0X3(2,14) X0X4(4,14) X0X5(4,13) X0X6(3,12) X0X7(1,9) X1X4(2,17) X1X5(2,17) X1X6(1,14) X2X4(2,13) X2X5(2,13) X2X6(1,14) X3X4(2,12) X3X5(2,12) X3X6(1,14) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(3,17) X4X4(3,17) X4X5(3,17) X4X6(4,18) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(3,17) X5X5(3,17) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X4(2,8) X6X5(2,8) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(3,15) X7X5(3,15) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(2,13) X8X5(2,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c4i0(2,4) c5i0(2,4) c6i0(1,4) c6i1(2,4) r0i0(2,9) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on c6i0(1) 12 Colselect c6i0 10800 12 execute 1298 CBS 1 1 1 terms left at max 1 per for 1 total weight Ignoring 1298 c6i0 : c6i0 1 c0c6 1 X0X6 1 X1X6 2 c1c6 2 X2X6 2 c2c6 2 X3X6 2 c3c6 2 c4c6 1 X4X6 1 c6o1 4 (1 of 1) CBS 1 1 13 adding_row 1298 13 c6i0 weight reduced to 0 from 1 13 c0c6 weight about to be reduced 13 c0c6 weight reduced to 1 from 2 13 X0X6 weight about to be reduced CBS -2 2 CBS -1 2 Ignoring 54 X0X6 : X0X6 2 r0r6 2 r0r7 1 X0X7 1 X0X0 1 X0X1 1 X0X2 1 X0X3 1 r0i0 1 r0r4 1 X0X4 1 X0X5 2 r0r5 2 (1 of 2) CBS -2 1 13 X0X6 weight reduced to -2 from -1 13 X1X6 weight about to be reduced CBS -3 1 CBS -3 1 13 X1X6 weight reduced to -3 from -3 13 c1c6 weight about to be reduced Covering 14700 c1c6 END Covering 14700 13 c1c6 weight reduced to 0 from 2 13 X2X6 weight about to be reduced CBS -3 1 CBS -3 1 13 X2X6 weight reduced to -3 from -3 13 c2c6 weight about to be reduced Covering 15700 c2c6 END Covering 15700 13 c2c6 weight reduced to 0 from 2 13 X3X6 weight about to be reduced CBS -3 1 CBS -3 1 CBS -3 1 CBS -3 1 13 X3X6 weight reduced to -3 from -3 13 c3c6 weight about to be reduced Covering 16700 c3c6 END Covering 16700 13 c3c6 weight reduced to 0 from 2 13 c4c6 weight about to be reduced CBS 1 1 13 c4c6 weight reduced to 1 from 2 13 X4X6 weight about to be reduced CBS -2 1 CBS -2 1 CBS -2 1 13 X4X6 weight reduced to -2 from -1 13 c6o1 weight about to be reduced CBS 6 5 CBS 6 4 13 c6o1 weight reduced to 6 from 10 13 execute 10800 X0X1(1,13) X0X2(1,14) X0X3(1,14) X0X4(3,14) X0X5(3,13) X0X6(1,11) X0X7(0,9) X1X4(2,17) X1X5(2,17) X1X6(0,14) X2X4(2,13) X2X5(2,13) X2X6(0,14) X3X4(2,12) X3X5(2,12) X3X6(0,14) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(3,17) X4X4(3,17) X4X5(3,17) X4X6(3,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(3,17) X5X5(3,17) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X4(2,8) X6X5(2,8) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(3,15) X7X5(3,15) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(2,13) X8X5(2,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c4i0(2,4) c5i0(2,4) c6i1(2,4) r0i0(1,9) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X1X6(0) 13 Colselect X1X6 1700 13 execute 1312 CBS -3 1 13 row already ignored, skipping 1312 13 execute 1700 X0X1(1,13) X0X2(1,14) X0X3(1,14) X0X4(3,14) X0X5(3,13) X0X6(1,11) X0X7(0,9) X1X4(2,17) X1X5(2,17) X2X4(2,13) X2X5(2,13) X2X6(0,14) X3X4(2,12) X3X5(2,12) X3X6(0,14) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(3,17) X4X4(3,17) X4X5(3,17) X4X6(3,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(3,17) X5X5(3,17) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X4(2,8) X6X5(2,8) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(3,15) X7X5(3,15) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(2,13) X8X5(2,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c4i0(2,4) c5i0(2,4) c6i1(2,4) r0i0(1,9) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X2X6(0) 13 Colselect X2X6 2700 13 execute 1339 CBS -3 1 13 row already ignored, skipping 1339 13 execute 2700 X0X1(1,13) X0X2(1,14) X0X3(1,14) X0X4(3,14) X0X5(3,13) X0X6(1,11) X0X7(0,9) X1X4(2,17) X1X5(2,17) X2X4(2,13) X2X5(2,13) X3X4(2,12) X3X5(2,12) X3X6(0,14) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(3,17) X4X4(3,17) X4X5(3,17) X4X6(3,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(3,17) X5X5(3,17) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X4(2,8) X6X5(2,8) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(3,15) X7X5(3,15) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(2,13) X8X5(2,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c4i0(2,4) c5i0(2,4) c6i1(2,4) r0i0(1,9) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X3X6(0) 13 Colselect X3X6 3700 13 execute 1353 CBS -3 1 13 row already ignored, skipping 1353 13 execute 1296 CBS -3 1 13 row already ignored, skipping 1296 13 execute 3700 X0X1(1,13) X0X2(1,14) X0X3(1,14) X0X4(3,14) X0X5(3,13) X0X6(1,11) X0X7(0,9) X1X4(2,17) X1X5(2,17) X2X4(2,13) X2X5(2,13) X3X4(2,12) X3X5(2,12) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(3,17) X4X4(3,17) X4X5(3,17) X4X6(3,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(3,17) X5X5(3,17) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X4(2,8) X6X5(2,8) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(3,15) X7X5(3,15) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(2,13) X8X5(2,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c4i0(2,4) c5i0(2,4) c6i1(2,4) r0i0(1,9) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X0X7(0) 13 Colselect X0X7 800 13 execute 79 CBS -2 2 13 row already ignored, skipping 79 13 execute 67 CBS -2 2 13 row already ignored, skipping 67 13 execute 800 X0X1(1,13) X0X2(1,14) X0X3(1,14) X0X4(3,14) X0X5(3,13) X0X6(1,11) X1X4(2,17) X1X5(2,17) X2X4(2,13) X2X5(2,13) X3X4(2,12) X3X5(2,12) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(3,17) X4X4(3,17) X4X5(3,17) X4X6(3,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(3,17) X5X5(3,17) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X4(2,8) X6X5(2,8) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(3,15) X7X5(3,15) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(2,13) X8X5(2,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c4i0(2,4) c5i0(2,4) c6i1(2,4) r0i0(1,9) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on r0i0(1) 13 Colselect r0i0 11300 13 execute 37 CBS 1 1 1 terms left at max 1 per for 1 total weight Ignoring 37 r0i0 : r0i0 1 r0r3 1 X0X3 1 X0X4 2 r0r4 2 X0X5 2 r0r5 2 r0r6 1 X0X6 1 X0X0 1 X0X1 1 X0X2 1 (1 of 1) CBS 1 1 14 adding_row 37 14 r0i0 weight reduced to 0 from 1 14 r0r3 weight about to be reduced 14 r0r3 weight reduced to 1 from 2 14 X0X3 weight about to be reduced CBS -2 2 CBS -2 2 14 X0X3 weight reduced to -2 from -2 14 X0X4 weight about to be reduced CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 1157 X0X4 : X0X4 1 X1X4 2 c1c4 2 X2X4 2 c2c4 2 X3X4 2 c3c4 2 X4X4 2 c4c4 2 X5X4 2 c5c4 2 X6X4 2 c6c4 2 X7X4 2 c7c4 2 c8c4 1 X8X4 1 c4i0 1 c0c4 1 (2 of 2) 14 X0X4 weight reduced to -3 from -1 14 r0r4 weight about to be reduced Covering 23700 r0r4 END Covering 23700 14 r0r4 weight reduced to 0 from 2 14 X0X5 weight about to be reduced CBS -3 2 CBS -3 1 CBS -1 1 Ignoring 1232 X0X5 : X0X5 1 X1X5 2 c1c5 2 X2X5 2 c2c5 2 X3X5 2 c3c5 2 X4X5 2 c4c5 2 X5X5 2 c5c5 2 X6X5 2 c6c5 2 X7X5 2 c7c5 2 c8c5 1 X8X5 1 c5i0 1 c0c5 1 (2 of 2) 14 X0X5 weight reduced to -3 from -1 14 r0r5 weight about to be reduced Covering 23800 r0r5 END Covering 23800 14 r0r5 weight reduced to 0 from 2 14 r0r6 weight about to be reduced 14 r0r6 weight reduced to 1 from 2 14 X0X6 weight about to be reduced CBS -2 2 CBS -2 2 14 X0X6 weight reduced to -2 from -2 14 X0X0 weight about to be reduced 14 X0X0 weight reduced to -2 from -2 14 X0X1 weight about to be reduced CBS -2 2 CBS -2 2 CBS -2 2 CBS -2 2 14 X0X1 weight reduced to -2 from -2 14 X0X2 weight about to be reduced CBS -2 2 CBS -2 2 14 X0X2 weight reduced to -2 from -2 14 execute 11300 X0X1(0,13) X0X2(0,14) X0X3(0,14) X0X4(1,12) X0X5(1,11) X0X6(0,11) X1X4(1,17) X1X5(1,17) X2X4(1,13) X2X5(1,13) X3X4(1,12) X3X5(1,12) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(3,17) X4X4(2,17) X4X5(2,17) X4X6(3,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(2,17) X5X5(2,17) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X4(1,8) X6X5(1,8) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(2,15) X7X5(2,15) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c4i0(1,4) c5i0(1,4) c6i1(2,4) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X0X6(0) 14 Colselect X0X6 700 14 execute 54 CBS -2 2 14 row already ignored, skipping 54 14 execute 700 X0X1(0,13) X0X2(0,14) X0X3(0,14) X0X4(1,12) X0X5(1,11) X1X4(1,17) X1X5(1,17) X2X4(1,13) X2X5(1,13) X3X4(1,12) X3X5(1,12) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(3,17) X4X4(2,17) X4X5(2,17) X4X6(3,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(2,17) X5X5(2,17) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X4(1,8) X6X5(1,8) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(2,15) X7X5(2,15) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c4i0(1,4) c5i0(1,4) c6i1(2,4) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X0X1(0) 14 Colselect X0X1 200 14 execute 10 CBS -2 2 14 row already ignored, skipping 10 14 execute 3 CBS -2 2 14 row already ignored, skipping 3 14 execute 200 X0X2(0,14) X0X3(0,14) X0X4(1,12) X0X5(1,11) X1X4(1,17) X1X5(1,17) X2X4(1,13) X2X5(1,13) X3X4(1,12) X3X5(1,12) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(3,17) X4X4(2,17) X4X5(2,17) X4X6(3,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(2,17) X5X5(2,17) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X4(1,8) X6X5(1,8) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(2,15) X7X5(2,15) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c4i0(1,4) c5i0(1,4) c6i1(2,4) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X0X2(0) 14 Colselect X0X2 300 14 execute 19 CBS -2 2 14 row already ignored, skipping 19 14 execute 300 X0X3(0,14) X0X4(1,12) X0X5(1,11) X1X4(1,17) X1X5(1,17) X2X4(1,13) X2X5(1,13) X3X4(1,12) X3X5(1,12) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(3,17) X4X4(2,17) X4X5(2,17) X4X6(3,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(2,17) X5X5(2,17) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X4(1,8) X6X5(1,8) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(2,15) X7X5(2,15) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c4i0(1,4) c5i0(1,4) c6i1(2,4) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X0X3(0) 14 Colselect X0X3 400 14 execute 29 CBS -2 2 14 row already ignored, skipping 29 14 execute 400 X0X4(1,12) X0X5(1,11) X1X4(1,17) X1X5(1,17) X2X4(1,13) X2X5(1,13) X3X4(1,12) X3X5(1,12) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(3,17) X4X4(2,17) X4X5(2,17) X4X6(3,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(2,17) X5X5(2,17) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X4(1,8) X6X5(1,8) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(2,15) X7X5(2,15) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c4i0(1,4) c5i0(1,4) c6i1(2,4) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X0X0(0) 14 Colselect X0X0 100 14 execute 100 X0X5(1,11) X1X4(1,17) X1X5(1,17) X2X4(1,13) X2X5(1,13) X3X4(1,12) X3X5(1,12) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(3,17) X4X4(2,17) X4X5(2,17) X4X6(3,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(2,17) X5X5(2,17) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X4(1,8) X6X5(1,8) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(2,15) X7X5(2,15) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c4i0(1,4) c5i0(1,4) c6i1(2,4) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on c4i0(1) 14 Colselect c4i0 10600 14 execute 1138 CBS 1 1 1 terms left at max 1 per for 1 total weight Ignoring 1138 c4i0 : c4i0 1 X0X4 2 c0c4 2 X1X4 2 c1c4 2 X2X4 2 c2c4 2 X3X4 2 c3c4 2 X4X4 2 c4c4 2 X5X4 2 c5c4 2 X6X4 2 c6c4 2 c7c4 1 X7X4 1 (1 of 1) CBS 1 1 15 adding_row 1138 15 c4i0 weight reduced to 0 from 1 15 X0X4 weight about to be reduced CBS -3 1 CBS -3 1 15 X0X4 weight reduced to -3 from -3 15 c0c4 weight about to be reduced Covering 13500 c0c4 END Covering 13500 15 c0c4 weight reduced to 0 from 2 15 X1X4 weight about to be reduced CBS -3 1 CBS -3 1 CBS -3 1 CBS -3 1 CBS -3 1 CBS -3 1 15 X1X4 weight reduced to -3 from -3 15 c1c4 weight about to be reduced Covering 14500 c1c4 END Covering 14500 15 c1c4 weight reduced to 0 from 2 15 X2X4 weight about to be reduced 15 X2X4 weight reduced to -3 from -3 15 c2c4 weight about to be reduced Covering 15500 c2c4 END Covering 15500 15 c2c4 weight reduced to 0 from 2 15 X3X4 weight about to be reduced 15 X3X4 weight reduced to -3 from -3 15 c3c4 weight about to be reduced Covering 16500 c3c4 END Covering 16500 15 c3c4 weight reduced to 0 from 2 15 X4X4 weight about to be reduced CBS -3 2 15 X4X4 weight reduced to -3 from -1 15 c4c4 weight about to be reduced Covering 17600 c4c4 END Covering 17600 15 c4c4 weight reduced to 0 from 2 15 X5X4 weight about to be reduced CBS -3 2 15 X5X4 weight reduced to -3 from -1 15 c5c4 weight about to be reduced Covering 18600 c5c4 END Covering 18600 15 c5c4 weight reduced to 0 from 2 15 X6X4 weight about to be reduced 15 X6X4 weight reduced to -3 from -3 15 c6c4 weight about to be reduced Covering 19600 c6c4 END Covering 19600 15 c6c4 weight reduced to 0 from 2 15 c7c4 weight about to be reduced 15 c7c4 weight reduced to 1 from 2 15 X7X4 weight about to be reduced CBS -2 1 15 X7X4 weight reduced to -2 from -1 15 execute 10600 X0X5(1,11) X1X4(0,17) X1X5(1,17) X2X4(0,13) X2X5(1,13) X3X4(0,12) X3X5(1,12) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(3,17) X4X4(1,15) X4X5(2,17) X4X6(3,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(1,15) X5X5(2,17) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X4(0,8) X6X5(1,8) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(1,14) X7X5(2,15) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c5i0(1,4) c6i1(2,4) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X6X4(0) 15 Colselect X6X4 6500 15 execute 6500 X0X5(1,11) X1X4(0,17) X1X5(1,17) X2X4(0,13) X2X5(1,13) X3X4(0,12) X3X5(1,12) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(3,17) X4X4(1,15) X4X5(2,17) X4X6(3,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(1,15) X5X5(2,17) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X5(1,8) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(1,14) X7X5(2,15) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c5i0(1,4) c6i1(2,4) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X0X4(0) 15 Colselect X0X4 500 15 execute 1157 CBS -3 1 15 row already ignored, skipping 1157 15 execute 500 X1X4(0,17) X1X5(1,17) X2X4(0,13) X2X5(1,13) X3X4(0,12) X3X5(1,12) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(3,17) X4X4(1,15) X4X5(2,17) X4X6(3,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(1,15) X5X5(2,17) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X5(1,8) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(1,14) X7X5(2,15) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c5i0(1,4) c6i1(2,4) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X3X4(0) 15 Colselect X3X4 3500 15 execute 3500 X1X4(0,17) X1X5(1,17) X2X4(0,13) X2X5(1,13) X3X5(1,12) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(3,17) X4X4(1,15) X4X5(2,17) X4X6(3,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(1,15) X5X5(2,17) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X5(1,8) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(1,14) X7X5(2,15) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c5i0(1,4) c6i1(2,4) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X2X4(0) 15 Colselect X2X4 2500 15 execute 2500 X1X4(0,17) X1X5(1,17) X2X5(1,13) X3X5(1,12) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(3,17) X4X4(1,15) X4X5(2,17) X4X6(3,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(1,15) X5X5(2,17) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X5(1,8) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(1,14) X7X5(2,15) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c5i0(1,4) c6i1(2,4) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X1X4(0) 15 Colselect X1X4 1500 15 execute 1212 CBS -3 1 15 row already ignored, skipping 1212 15 execute 1176 CBS -3 1 15 row already ignored, skipping 1176 15 execute 219 CBS -3 1 15 row already ignored, skipping 219 15 execute 1500 X1X5(1,17) X2X5(1,13) X3X5(1,12) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(3,17) X4X4(1,15) X4X5(2,17) X4X6(3,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(1,15) X5X5(2,17) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X5(1,8) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(1,14) X7X5(2,15) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c5i0(1,4) c6i1(2,4) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on c5i0(1) 15 Colselect c5i0 10700 15 execute 1213 CBS 1 1 1 terms left at max 1 per for 1 total weight Ignoring 1213 c5i0 : c5i0 1 X0X5 2 c0c5 2 X1X5 2 c1c5 2 X2X5 2 c2c5 2 X3X5 2 c3c5 2 X4X5 2 c4c5 2 X5X5 2 c5c5 2 X6X5 2 c6c5 2 c7c5 1 X7X5 1 (1 of 1) CBS 1 1 16 adding_row 1213 16 c5i0 weight reduced to 0 from 1 16 X0X5 weight about to be reduced CBS -3 1 CBS -3 1 16 X0X5 weight reduced to -3 from -3 16 c0c5 weight about to be reduced Covering 13600 c0c5 END Covering 13600 16 c0c5 weight reduced to 0 from 2 16 X1X5 weight about to be reduced CBS -3 1 CBS -3 1 CBS -3 1 CBS -3 1 CBS -3 1 CBS -3 1 16 X1X5 weight reduced to -3 from -3 16 c1c5 weight about to be reduced Covering 14600 c1c5 END Covering 14600 16 c1c5 weight reduced to 0 from 2 16 X2X5 weight about to be reduced 16 X2X5 weight reduced to -3 from -3 16 c2c5 weight about to be reduced Covering 15600 c2c5 END Covering 15600 16 c2c5 weight reduced to 0 from 2 16 X3X5 weight about to be reduced 16 X3X5 weight reduced to -3 from -3 16 c3c5 weight about to be reduced Covering 16600 c3c5 END Covering 16600 16 c3c5 weight reduced to 0 from 2 16 X4X5 weight about to be reduced CBS -3 2 16 X4X5 weight reduced to -3 from -1 16 c4c5 weight about to be reduced Covering 17700 c4c5 END Covering 17700 16 c4c5 weight reduced to 0 from 2 16 X5X5 weight about to be reduced CBS -3 2 16 X5X5 weight reduced to -3 from -1 16 c5c5 weight about to be reduced Covering 18700 c5c5 END Covering 18700 16 c5c5 weight reduced to 0 from 2 16 X6X5 weight about to be reduced 16 X6X5 weight reduced to -3 from -3 16 c6c5 weight about to be reduced Covering 19700 c6c5 END Covering 19700 16 c6c5 weight reduced to 0 from 2 16 c7c5 weight about to be reduced 16 c7c5 weight reduced to 1 from 2 16 X7X5 weight about to be reduced CBS -2 1 16 X7X5 weight reduced to -2 from -1 16 execute 10700 X1X5(0,17) X2X5(0,13) X3X5(0,12) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(3,17) X4X4(1,15) X4X5(1,15) X4X6(3,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(1,15) X5X5(1,15) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X5(0,8) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(1,14) X7X5(1,14) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c6i1(2,4) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X6X5(0) 16 Colselect X6X5 6600 16 execute 6600 X1X5(0,17) X2X5(0,13) X3X5(0,12) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(3,17) X4X4(1,15) X4X5(1,15) X4X6(3,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(1,15) X5X5(1,15) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(1,14) X7X5(1,14) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c6i1(2,4) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X0X5(0) 16 Colselect X0X5 600 16 execute 1232 CBS -3 1 16 row already ignored, skipping 1232 16 execute 600 X2X5(0,13) X3X5(0,12) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(3,17) X4X4(1,15) X4X5(1,15) X4X6(3,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(1,15) X5X5(1,15) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(1,14) X7X5(1,14) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c6i1(2,4) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X3X5(0) 16 Colselect X3X5 3600 16 execute 3600 X2X5(0,13) X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(3,17) X4X4(1,15) X4X5(1,15) X4X6(3,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(1,15) X5X5(1,15) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(1,14) X7X5(1,14) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c6i1(2,4) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X2X5(0) 16 Colselect X2X5 2600 16 execute 2600 X4X0(1,12) X4X1(1,7) X4X2(1,11) X4X3(3,17) X4X4(1,15) X4X5(1,15) X4X6(3,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(1,15) X5X5(1,15) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(1,14) X7X5(1,14) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c6i1(2,4) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X1X5(0) 16 Colselect X1X5 1600 16 execute 1287 CBS -3 1 16 row already ignored, skipping 1287 16 execute 1251 CBS -3 1 16 row already ignored, skipping 1251 16 execute 233 CBS -3 1 16 row already ignored, skipping 233 16 execute 1600 X4X1(1,7) X4X2(1,11) X4X3(3,17) X4X4(1,15) X4X5(1,15) X4X6(3,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(1,15) X5X5(1,15) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(1,14) X7X5(1,14) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c6i1(2,4) r4i0(1,3) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on r4i0(1) 16 Colselect r4i0 11800 16 execute 378 CBS 1 1 1 terms left at max 1 per for 1 total weight Ignoring 378 r4i0 : r4i0 1 X4X0 2 r4r0 2 X4X1 2 r4r1 2 X4X2 2 r4r2 2 r4r3 1 X4X3 1 r4o1 3 (1 of 1) CBS 1 1 17 adding_row 378 17 r4i0 weight reduced to 0 from 1 17 X4X0 weight about to be reduced CBS -3 1 CBS -3 1 17 X4X0 weight reduced to -3 from -3 17 r4r0 weight about to be reduced Covering 27600 r4r0 END Covering 27600 17 r4r0 weight reduced to 0 from 2 17 X4X1 weight about to be reduced CBS -3 1 CBS -3 1 17 X4X1 weight reduced to -3 from -3 17 r4r1 weight about to be reduced Covering 27700 r4r1 END Covering 27700 17 r4r1 weight reduced to 0 from 2 17 X4X2 weight about to be reduced CBS -3 1 CBS -3 1 17 X4X2 weight reduced to -3 from -3 17 r4r2 weight about to be reduced Covering 27800 r4r2 END Covering 27800 17 r4r2 weight reduced to 0 from 2 17 r4r3 weight about to be reduced CBS 1 1 17 r4r3 weight reduced to 1 from 2 17 X4X3 weight about to be reduced CBS -2 1 CBS -2 1 17 X4X3 weight reduced to -2 from -2 17 r4o1 weight about to be reduced CBS 7 6 17 r4o1 weight reduced to 7 from 10 17 execute 11800 X4X1(0,7) X4X2(0,11) X4X3(2,17) X4X4(1,15) X4X5(1,15) X4X6(3,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(1,15) X5X5(1,15) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(1,14) X7X5(1,14) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c6i1(2,4) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X4X1(0) 17 Colselect X4X1 4200 17 execute 402 CBS -3 1 17 row already ignored, skipping 402 17 execute 4200 X4X2(0,11) X4X3(2,17) X4X4(1,15) X4X5(1,15) X4X6(3,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(1,15) X5X5(1,15) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(1,14) X7X5(1,14) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c6i1(2,4) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X4X2(0) 17 Colselect X4X2 4300 17 execute 415 CBS -3 1 17 row already ignored, skipping 415 17 execute 4300 X4X3(2,17) X4X4(1,15) X4X5(1,15) X4X6(3,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(1,15) X5X5(1,15) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(1,14) X7X5(1,14) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c6i1(2,4) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X4X0(0) 17 Colselect X4X0 4100 17 execute 390 CBS -3 1 17 row already ignored, skipping 390 17 execute 4100 X4X4(1,15) X4X5(1,15) X4X6(3,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(1,15) X5X5(1,15) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(1,14) X7X5(1,14) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c6i1(2,4) r4i1(1,3) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on r4i1(1) 17 Colselect r4i1 11900 17 execute 424 CBS 1 1 1 terms left at max 1 per for 1 total weight Ignoring 424 r4i1 : r4i1 1 r4r3 1 X4X3 1 X4X4 2 r4r4 2 X4X5 2 r4r5 2 r4r6 1 X4X6 1 r4o1 6 r4o2 6 (1 of 1) CBS 1 1 18 adding_row 424 18 r4i1 weight reduced to 0 from 1 18 r4r3 weight about to be reduced Covering 27900 r4r3 END Covering 27900 18 r4r3 weight reduced to 0 from 1 18 X4X3 weight about to be reduced CBS -2 1 18 X4X3 weight reduced to -2 from -2 18 X4X4 weight about to be reduced 18 X4X4 weight reduced to -3 from -3 18 r4r4 weight about to be reduced Covering 28000 r4r4 END Covering 28000 18 r4r4 weight reduced to 0 from 2 18 X4X5 weight about to be reduced 18 X4X5 weight reduced to -3 from -3 18 r4r5 weight about to be reduced Covering 28100 r4r5 END Covering 28100 18 r4r5 weight reduced to 0 from 2 18 r4r6 weight about to be reduced CBS 1 1 18 r4r6 weight reduced to 1 from 2 18 X4X6 weight about to be reduced CBS -2 1 CBS -2 1 18 X4X6 weight reduced to -2 from -2 18 r4o1 weight about to be reduced 18 r4o1 weight reduced to 1 from 7 18 r4o2 weight about to be reduced CBS 4 3 18 r4o2 weight reduced to 4 from 10 18 execute 11900 X4X4(0,15) X4X5(0,15) X4X6(2,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(1,15) X5X5(1,15) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(1,14) X7X5(1,14) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c6i1(2,4) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X4X4(0) 18 Colselect X4X4 4500 18 execute 4500 X4X5(0,15) X4X6(2,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(1,15) X5X5(1,15) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(1,14) X7X5(1,14) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c6i1(2,4) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X4X5(0) 18 Colselect X4X5 4600 18 execute 4600 X4X6(2,17) X4X7(1,11) X4X8(1,11) X4X9(1,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(1,15) X5X5(1,15) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(1,14) X7X5(1,14) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c6i1(2,4) r4i2(1,3) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on r4i2(1) 18 Colselect r4i2 12000 18 execute 470 CBS 1 1 1 terms left at max 1 per for 1 total weight Ignoring 470 r4i2 : r4i2 1 r4r6 1 X4X6 1 X4X7 2 r4r7 2 X4X8 2 r4r8 2 X4X9 2 r4r9 2 r4o2 3 (1 of 1) CBS 1 1 19 adding_row 470 19 r4i2 weight reduced to 0 from 1 19 r4r6 weight about to be reduced Covering 28200 r4r6 END Covering 28200 19 r4r6 weight reduced to 0 from 1 19 X4X6 weight about to be reduced CBS -2 1 19 X4X6 weight reduced to -2 from -2 19 X4X7 weight about to be reduced CBS -3 1 CBS -3 1 19 X4X7 weight reduced to -3 from -3 19 r4r7 weight about to be reduced Covering 28300 r4r7 END Covering 28300 19 r4r7 weight reduced to 0 from 2 19 X4X8 weight about to be reduced CBS -3 1 CBS -3 1 19 X4X8 weight reduced to -3 from -3 19 r4r8 weight about to be reduced Covering 28400 r4r8 END Covering 28400 19 r4r8 weight reduced to 0 from 2 19 X4X9 weight about to be reduced CBS -3 1 CBS -3 1 19 X4X9 weight reduced to -3 from -3 19 r4r9 weight about to be reduced Covering 28500 r4r9 END Covering 28500 19 r4r9 weight reduced to 0 from 2 19 r4o2 weight about to be reduced 19 r4o2 weight reduced to 1 from 4 19 execute 12000 X4X6(1,17) X4X7(0,11) X4X8(0,11) X4X9(0,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(1,15) X5X5(1,15) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(1,14) X7X5(1,14) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c6i1(2,4) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X4X7(0) 19 Colselect X4X7 4800 19 execute 443 CBS -3 1 19 row already ignored, skipping 443 19 execute 4800 X4X6(1,17) X4X8(0,11) X4X9(0,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(1,15) X5X5(1,15) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(1,14) X7X5(1,14) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c6i1(2,4) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X4X8(0) 19 Colselect X4X8 4900 19 execute 456 CBS -3 1 19 row already ignored, skipping 456 19 execute 4900 X4X6(1,17) X4X9(0,11) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(1,15) X5X5(1,15) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(1,14) X7X5(1,14) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c6i1(2,4) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X4X9(0) 19 Colselect X4X9 5000 19 execute 468 CBS -3 1 19 row already ignored, skipping 468 19 execute 5000 X4X6(1,17) X5X0(1,12) X5X1(1,7) X5X2(1,11) X5X3(4,18) X5X4(1,15) X5X5(1,15) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(2,9) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(3,14) X7X4(1,14) X7X5(1,14) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(3,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(3,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(2,4) c6i1(2,4) r5i0(1,3) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on r5i0(1) 19 Colselect r5i0 12100 19 execute 480 CBS 1 1 1 terms left at max 1 per for 1 total weight Ignoring 480 r5i0 : r5i0 1 X5X0 2 r5r0 2 X5X1 2 r5r1 2 X5X2 2 r5r2 2 r5r3 1 X5X3 1 r5o1 3 (1 of 1) CBS 1 1 20 adding_row 480 20 r5i0 weight reduced to 0 from 1 20 X5X0 weight about to be reduced CBS -3 1 CBS -3 1 20 X5X0 weight reduced to -3 from -3 20 r5r0 weight about to be reduced Covering 28800 r5r0 END Covering 28800 20 r5r0 weight reduced to 0 from 2 20 X5X1 weight about to be reduced CBS -3 1 CBS -3 1 20 X5X1 weight reduced to -3 from -3 20 r5r1 weight about to be reduced Covering 28900 r5r1 END Covering 28900 20 r5r1 weight reduced to 0 from 2 20 X5X2 weight about to be reduced CBS -3 1 CBS -3 1 20 X5X2 weight reduced to -3 from -3 20 r5r2 weight about to be reduced Covering 29000 r5r2 END Covering 29000 20 r5r2 weight reduced to 0 from 2 20 r5r3 weight about to be reduced CBS 1 1 20 r5r3 weight reduced to 1 from 2 20 X5X3 weight about to be reduced CBS -2 2 CBS -1 2 Ignoring 1115 X5X3 : X5X3 2 c5c3 2 X6X3 2 c6c3 2 X7X3 2 c7c3 2 X8X3 2 c8c3 2 c9c3 1 X9X3 1 c3o1 5 c3i1 1 c4c3 1 X4X3 1 (1 of 3) CBS -2 1 CBS -2 1 20 X5X3 weight reduced to -2 from -1 20 r5o1 weight about to be reduced CBS 7 6 20 r5o1 weight reduced to 7 from 10 20 execute 12100 X4X6(1,17) X5X0(0,12) X5X1(0,7) X5X2(0,11) X5X3(2,17) X5X4(1,15) X5X5(1,15) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(1,9) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(2,14) X7X4(1,14) X7X5(1,14) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(2,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(2,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(1,4) c6i1(2,4) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X5X1(0) 20 Colselect X5X1 5200 20 execute 504 CBS -3 1 20 row already ignored, skipping 504 20 execute 5200 X4X6(1,17) X5X0(0,12) X5X2(0,11) X5X3(2,17) X5X4(1,15) X5X5(1,15) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(1,9) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(2,14) X7X4(1,14) X7X5(1,14) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(2,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(2,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(1,4) c6i1(2,4) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X5X2(0) 20 Colselect X5X2 5300 20 execute 517 CBS -3 1 20 row already ignored, skipping 517 20 execute 5300 X4X6(1,17) X5X0(0,12) X5X3(2,17) X5X4(1,15) X5X5(1,15) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(1,9) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(2,14) X7X4(1,14) X7X5(1,14) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(2,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(2,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(1,4) c6i1(2,4) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X5X0(0) 20 Colselect X5X0 5100 20 execute 492 CBS -3 1 20 row already ignored, skipping 492 20 execute 5100 X4X6(1,17) X5X3(2,17) X5X4(1,15) X5X5(1,15) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(1,9) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(2,14) X7X4(1,14) X7X5(1,14) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(2,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(2,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(1,4) c6i1(2,4) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on X4X3(0) 20 Colselect X4X3 4400 20 execute 4400 X5X3(2,17) X5X4(1,15) X5X5(1,15) X5X6(4,18) X5X7(1,11) X5X8(1,11) X5X9(1,11) X6X3(1,9) X6X6(2,9) X7X0(1,9) X7X1(1,7) X7X2(1,10) X7X3(2,14) X7X4(1,14) X7X5(1,14) X7X6(3,14) X7X7(1,10) X7X8(1,10) X7X9(1,8) X8X0(1,7) X8X1(1,7) X8X2(1,9) X8X3(2,12) X8X4(1,13) X8X5(1,13) X8X6(3,12) X8X7(1,9) X8X8(1,8) X8X9(1,6) X9X0(1,5) X9X1(1,6) X9X2(1,7) X9X3(2,10) X9X4(1,11) X9X5(1,11) X9X6(3,10) X9X7(1,7) X9X8(1,6) X9X9(1,4) c3i1(1,4) c6i1(2,4) r5i1(1,3) r5i2(1,3) r7i0(1,3) r7i1(1,3) r8i0(1,3) r8i1(1,3) r9i0(1,3) r9i1(1,3) branching on c3i1(1) 20 Colselect c3i1 10500 20 execute 1126 CBS 1 1 1 terms left at max 1 per for 1 total weight Ignoring 1126 c3i1 : c3i1 1 c5c3 1 X5X3 1 X6X3 2 c6c3 2 X7X3 2 c7c3 2 X8X3 2 c8c3 2 X9X3 2 c9c3 2 c3o1 4 (1 of 1) C