test-062/porta/mit.ine.ieq

DIM = 8
INEQUALITIES_SECTION
+4x3+4x4+2x5<=72
+2x1+2x2+10x3+12x4+6x5<=216
+4x1+2x2+8x3+8x4+8x5<=192
+12x1-6x2-8x3+16x4+8x5<=288
+4x1-2x2+4x4+4x5<=96
+5x1-1x2+4x3+6x4+6x5<=144
+8x1+2x2+10x3+12x4+12x5<=288
+4x1-2x2+4x3+2x4+4x5<=96
+7x1+1x2+10x3+8x4+10x5<=240
+8x1+2x2+12x3+8x4+12x5<=288
+8x1+2x2+8x3+16x4+8x5<=288
+4x1-2x2+8x3<=96
-6x2+8x3-4x4-8x5<=0
-4x1-6x2+8x3-8x5<=0
-2x1-2x2+4x3+2x4-2x5<=24
+24x1+6x2+40x3+16x4+32x5<=864
+2x3+2x4-2x5<=24
-4x1-10x2+16x3-24x5<=0
-1x1-1x2+4x3-12x5<=0
-6x2+16x3-8x4-40x5<=0
+4x1-2x2+16x3-16x4-32x5<=96
+8x1+2x2+16x3<=288
+4x1-2x2-8x3+8x4-8x5<=96
+8x1+2x2-8x3+24x4-24x5<=288
-2x2+8x3-8x4-24x5<=0
+1x1+1x2+4x3+8x4-8x5<=96
+12x1+6x2+16x3+40x4-16x5<=576
+4x1+2x2+16x4-16x5<=192
+8x1+6x2+24x3+32x4+16x5<=576
+12x1+6x2+20x3+32x4+16x5<=576
+16x1+10x2+40x3+56x4+16x5<=960
+7x3+7x4+6x5+1x6+1x8<=160
+4x1+4x2+21x3+21x4+18x5+1x6+3x8<=480
+4x1+4x2+12x3+4x4+8x5-4x6-2x7+4x8<=192
+16x1+8x2+28x3+28x4+24x5-4x6-2x7+4x8<=640
+8x1+6x2+28x3+28x4+24x5+4x8<=640
+8x1+8x3+8x4+8x5-4x6-2x7<=192
+12x1+4x2+16x3+16x4+16x5-4x6-2x7<=384
+20x1+12x2+42x3+42x4+36x5-4x6-2x7+6x8<=960
+9x1+1x2+11x3+9x4+10x5-3x6-2x7+1x8<=240
-2x1-2x2-4x3+4x6+2x7<=0
+22x1+4x2+24x3+28x4+24x5-8x6-4x7+4x8<=640
+60x1+20x2+76x3+84x4+72x5-20x6-10x7+12x8<=1920
+32x1+22x2+84x3+84x4+72x5-4x6-2x7+12x8<=1920
+28x1+10x2+44x3+36x4+40x5-8x6-4x7+4x8<=960
+36x1+12x2+52x3+44x4+48x5-12x6-6x7+4x8<=1152
+23x1+7x2+33x3+27x4+30x5-7x6-4x7+3x8<=720
+48x1+24x2+88x3+72x4+80x5-12x6-6x7+8x8<=1920
+96x1+40x2+160x3+128x4+144x5-28x6-14x7+16x8<=3456
+15x1+7x2+26x3+20x4+24x5-4x6-2x7+4x8<=576
+12x1+4x2+20x3+12x4+16x5-4x6-2x7<=384
+11x1+3x2+17x3+11x4+14x5-3x6-2x7+1x8<=336
+8x1+12x3+4x4+8x5-4x6-2x7<=192
+4x3-4x4-4x6-2x7<=0
-2x2+8x3-8x4-8x6-4x7+2x8<=0
+12x1-12x2+28x3-12x4+8x5-20x6-10x7+4x8<=192
+12x1-12x2+20x3-4x4+8x5-12x6-6x7+2x8<=192
+48x1+24x2+92x3+60x4+80x5-12x6-6x7+4x8<=1920
+15x1+7x2+28x3+18x4+24x5-4x6-2x7+2x8<=576
+42x1+18x2+76x3+40x4+64x5-12x6-6x7+8x8<=1536
+12x1+4x2+20x3-4x4+16x5-4x6-2x7+4x8<=384
+60x1+20x2+102x3-18x4+76x5-14x6-10x7+18x8<=1920
+60x1+20x2+102x3+46x4+76x5-14x6-10x7+2x8<=1920
+22x1+6x2+37x3+17x4+26x5-5x6-4x7+1x8<=672
+22x1+4x2+36x3+16x4+24x5-4x6-4x7<=640
+40x1+64x3+16x4+32x5-8x6-10x7<=960
+4x1-4x2+8x3-2x7<=64
-8x2+6x3-2x4-4x5+2x6-2x7<=0
-8x1-18x2+8x3-8x5+8x6-2x7<=0
-36x1-60x2+28x3+4x4-24x5+28x6-6x7+4x8<=64
-28x1-36x2+20x3+12x4-8x5+20x6-2x7+4x8<=192
-4x1-4x2+5x3+5x4+2x5+3x6+1x8<=96
-4x1-6x2+4x3+4x4+4x6<=64
+5x3+5x4+2x5+1x6+1x8<=96
+1x3+1x4<=16
+6x1+8x3-12x4+8x5+4x8<=192
+6x1+8x3+4x4+8x5<=192
+30x1+8x2+48x3+20x4+40x5-8x6-4x7+4x8<=960
+32x1+8x2+52x3+20x4+40x5-12x6-6x7+4x8<=960
+32x1+8x2+52x3-44x4+40x5-12x6-6x7+20x8<=960
+30x1+8x2+48x3-12x4+40x5-8x6-4x7+12x8<=960
+16x1+6x2+28x3+12x4+24x5-4x6-2x7+4x8<=576
+8x1+8x3+8x4+8x5-4x6-2x7+2x8<=208
+7x1-1x2+5x3+7x4+6x5-3x6-2x7+1x8<=160
+12x1-12x2+8x4+8x5-8x6-6x7<=192
+9x1-7x2+1x3+7x4+6x5-5x6-4x7+1x8<=160
+20x1+4x2+20x3+28x4+24x5-4x6-2x7+4x8<=640
+5x1-3x2+2x3+4x4+4x5-2x6-2x7<=96
+6x1+4x3+8x4+8x5<=192
+18x1+2x2+17x3+21x4+18x5-7x6-4x7+3x8<=480
+19x1+3x2+20x3+22x4+20x5-8x6-4x7+4x8<=528
+30x1+4x2+32x3+36x4+40x5-4x6-2x7+4x8<=960
+36x1+4x2+32x3+40x4+48x5-2x7+8x8<=1152
+36x1+12x2+48x3+40x4+48x5-8x6-6x7+8x8<=1152
+8x1+4x3+4x4+8x5-4x6-2x7+4x8<=192
+6x1+4x4+8x5+4x8<=192
+12x1+4x2+8x3+8x4+16x5-4x6-2x7+8x8<=384
+48x1+24x2+48x3+40x4+80x5-12x6-6x7+40x8<=1920
+16x1-2x2+20x3+12x4+16x5-4x6-4x7<=384
+24x1+32x3+16x4+24x5-8x6-6x7<=576
+17x1+1x2+23x3+13x4+18x5-5x6-4x7+1x8<=432
+28x1-12x2+36x3+12x4+24x5-12x6-10x7+4x8<=576
+52x1-36x2+92x3-12x4+40x5-52x6-26x7+12x8<=960
-4x2+14x3-10x4-4x5-6x6-6x7+2x8<=0
+72x1+32x2+120x3+104x4+112x5-16x6-10x7+8x8<=2688
-8x2+20x3-12x4-56x5+12x6-2x7+4x8<=0
+4x1-4x2+16x3-8x4-24x5+4x6-2x7<=64
+8x1+16x3-2x7<=192
-8x1-16x2+20x3+4x4-24x5+12x6-2x7+4x8<=64
-2x1-4x2+4x3-8x5+4x6<=0
+13x1-3x2+12x3+10x4+12x5-6x6-4x7+2x8<=288
+14x1-2x2+15x3+11x4+14x5-7x6-4x7+3x8<=336
-3x1-1x2+8x3+6x4-4x5+2x8<=96
-12x1+20x3+12x4-8x5-4x6-2x7+4x8<=192
-4x1-8x2+6x3-2x4-4x5+2x6-2x7+2x8<=0
+12x1-12x2+28x3-28x4+8x5-20x6-10x7+12x8<=192
+4x3-16x4-4x6-2x7+6x8<=0
+4x3-40x4-4x6-2x7+12x8<=0
+8x1+12x3-44x4+8x5-4x6-2x7+12x8<=192
-2x2-32x4+8x8<=0
+12x1-12x2+20x3-300x4+8x5-12x6-6x7+76x8<=192
+40x1+64x3-208x4+32x5-8x6-10x7+56x8<=960
+72x1+16x2+120x3-120x4+80x5-16x6-14x7+48x8<=2112
+16x1+4x2+26x3-6x4+20x5-2x6-2x7+6x8<=512
+16x1+4x2+26x3+10x4+20x5-2x6-2x7+2x8<=512
+16x1+24x3+8x4+16x5-2x7<=448
-24x1-8x2+68x3+20x4-56x5-12x6-6x7+20x8<=448
-8x1-2x2+24x3+8x4-16x5-4x6-2x7+8x8<=192
-16x1+36x3+4x4-24x5-12x6-6x7+12x8<=192
+13x1+5x2+23x3+13x4+18x5-3x6-2x7+1x8<=448
+2x1+4x3<=64
-2x1+2x2+4x3-4x4-4x6-2x7+2x8<=0
+22x3-22x4-4x5-14x6-10x7<=0
+22x3-82x4-4x5-14x6-10x7+30x8<=0
-4x2+14x3-34x4-4x5-6x6-6x7+14x8<=0
+21x1-3x2+20x3+18x4+20x5-8x6-6x7+2x8<=480
+19x1-1x2+16x3+18x4+20x5-4x6-4x7+2x8<=480
+52x1+44x3+52x4+56x5-12x6-10x7+4x8<=1344
+22x1+12x3+24x4+24x5-4x6-4x7<=576
+28x1+4x2+24x3+32x4+32x5-8x6-6x7<=768
+28x1+4x2-40x3+32x4+32x5+8x6-6x7<=768
+22x1-20x3+24x4+24x5+4x6-4x7<=576
+12x1-10x3+14x4+12x5+2x6-2x7+2x8<=320
+7x1-1x2-3x3+7x4+6x5-1x6-2x7+1x8<=160
-2x1-2x2+12x3-8x4-16x5-4x6-2x7+4x8<=0
-22x1-14x2+52x3-16x4-80x5-12x6-6x7+16x8<=0
-32x1-16x2+68x3+4x4-88x5-12x6-6x7+20x8<=192
-18x1-10x2+36x3+8x4-48x5-4x6-2x7+8x8<=128
-8x1-8x2+20x3+4x4-24x5+4x6-2x7+4x8<=64
-4x1-2x2+4x3-4x4-8x5+4x8<=0
-4x1-8x2+14x3-2x4-20x5+4x6-2x7+2x8<=0
-1x1-7x2+11x3-3x4-14x5+3x6-2x7+1x8<=0
-8x2+12x3-4x4-16x5+4x6-2x7<=0
-4x1-12x2+20x3-4x4-32x5+8x6-2x7<=0
-24x2+44x3-20x4-64x5+16x6-6x7<=0
-4x2+10x3-6x4-12x5+2x6-2x7+2x8<=0
-14x1-22x2+44x3-8x4-64x5+12x6-6x7+8x8<=0
-6x1-10x2+18x3-2x4-28x5+6x6-2x7+2x8<=0
-28x1-36x2+52x3+12x4-72x5+36x6-2x7+12x8<=192
-3x1-3x2+8x3+6x4-4x5+4x6+2x8<=96
-1x1-1x2+2x3-4x5<=0
-12x2+10x3-6x4-12x5+6x6-2x7+2x8<=0
+3x3+3x4-2x5+1x6+1x8<=48
-16x1-24x2+44x3+12x4-72x5+28x6-2x7+12x8<=192
-4x1-12x2+14x3-2x4-20x5+8x6-2x7+2x8<=0
-1x1-9x2+11x3-3x4-14x5+5x6-2x7+1x8<=0
-32x1-40x2+68x3+4x4-88x5+36x6-6x7+20x8<=192
-1x1-1x2+3x3+1x4-6x5+1x6+1x8<=16
-4x1-6x2+12x3+4x4-24x5+8x6+4x8<=64
-4x1-12x2+20x3-4x4-40x5+12x6-2x7+4x8<=0
-10x2+16x3-8x4-24x5+8x6-2x7<=0
+12x1-12x2+40x3-16x4-32x5+8x6-6x7<=192
-24x2+34x3-14x4-44x5+14x6-6x7+2x8<=0
+4x1-4x2+16x3-8x4-16x5-2x7<=64
-8x2+20x3-12x4-32x5-2x7<=0
-4x2+14x3-10x4-20x5-2x6-2x7+2x8<=0
-2x2+2x3-2x4-4x5+2x6<=0
-24x2+44x3-20x4-72x5+20x6-6x7+4x8<=0
-24x2+60x3-36x4-104x5+4x6-6x7+4x8<=0
-6x1-10x2+16x3-4x4-24x5+8x6-2x7+4x8<=0
-1x1-1x2+1x3-1x4-2x5+1x6+1x8<=0
-6x1-18x2+16x3-4x4-24x5+12x6-2x7+4x8<=0
+2x2+20x3+20x4+8x5+4x8<=384
+12x1+4x2+12x3+20x4+8x5-4x6-2x7+4x8<=384
+16x1+8x2+20x3+36x4+8x5-4x6-2x7+4x8<=640
+20x1+12x2+32x3+56x4+8x5-4x6-2x7+4x8<=960
+1x1+1x2+4x3+6x4<=96
+6x1+14x2+60x3+80x4+4x6-2x7<=1280
+2x1+10x2+52x3+64x4+4x6-2x7<=1024
+12x1+12x2+48x3+56x4+16x5-2x7+8x8<=1024
-8x1+4x2+24x3+24x4-2x7<=384
-4x1+4x2+16x3+16x4-2x6-2x7<=256
+16x2+56x3+56x4+16x5-8x6-6x7+8x8<=1024
+16x2+52x3+52x4+16x5-12x6-6x7+8x8<=960
+96x1+72x2+280x3+280x4+240x5-8x6-6x7+40x8<=6400
+16x1+12x2+42x3+42x4+36x5-2x6-2x7+6x8<=960
+48x1+40x2+168x3+168x4+144x5-2x7+24x8<=3840
+72x1+48x2+178x3+178x4+148x5-10x6-6x7+26x8<=4032
+20x1+14x2+52x3+52x4+40x5-4x6-2x7+8x8<=1152
-2x1+2x2-2x6-2x7<=0
+6x1-12x3+8x4+8x5+4x6<=192
+4x1+4x2+8x3+8x4+8x5-4x6-2x7<=192
+176x1+88x2+288x3+288x4+288x5-40x6-26x7<=6912
+48x1+24x2+80x3+80x4+80x5-10x6-6x7<=1920
+12x1+10x2+24x3+24x4+24x5-6x6-4x7<=576
+168x1+64x2+264x3+216x4+240x5-48x6-26x7+24x8<=5760
+48x1-24x2+36x3+36x4+40x5-20x6-18x7+4x8<=960
+44x1-12x2+28x3+36x4+40x5-12x6-14x7+4x8<=960
+12x1-12x2-4x3+4x4+8x5-4x6-6x7+4x8<=192
+56x1-48x2+20x3+36x4+40x5-28x6-26x7+4x8<=960
+20x1+4x3+28x4+24x5+2x6+4x8<=640
+24x1+28x3+12x4+24x5-4x6-6x7+4x8<=576
-4x3-8x4+2x6+4x8<=0
+6x1+4x3-12x4+8x5+4x6+6x8<=192
+30x1+32x3+12x4+40x5+8x6+6x8<=960
+32x1+36x3+20x4+40x5+4x6-2x7+4x8<=960
+20x1+28x3+4x4+24x5+4x6+2x8<=640
-20x2+4x3-12x4-8x5+12x6+2x8<=0
+1x3+1x4-6x5+1x6+1x8<=16
+23x1+3x2+25x3+27x4+30x5-3x6-2x7+3x8<=720
+21x1+1x2+27x3+17x4+26x5-1x6-2x7+1x8<=624
+26x1+32x3+20x4+32x5-2x7<=768
+62x1+80x3+44x4+64x5-16x6-14x7<=1536
+42x1+12x2+64x3+44x4+56x5-12x6-6x7+4x8<=1344
+90x1+28x2+128x3+108x4+120x5-28x6-14x7+12x8<=2880
+30x1+12x3+32x4+40x5+6x6+8x8<=960
+30x1+24x3+28x4+32x5-6x6-6x7+4x8<=768
+24x1+20x3+20x4+24x5-8x6-6x7+4x8<=576
+24x1+15x3+23x4+22x5-9x6-6x7+5x8<=576
+8x1-12x3+4x4+8x5+4x6-2x7+4x8<=192
-2x2+4x3-4x4-8x5<=0
+8x3-8x4-8x5-4x6-2x7<=0
+12x1-12x2+76x3-76x4-88x5-20x6-10x7+12x8<=192
-6x2+28x3-28x4-40x5-8x6-4x7+6x8<=0
+15x1+7x2+29x3+15x4+22x5-3x6-2x7+1x8<=576
+13x1+5x2+25x3+7x4+14x5-3x6-2x7+1x8<=448
+14x1+6x2+26x3+14x4+20x5-4x6-2x7+2x8<=512
+13x1+5x2+23x3+5x4+18x5-3x6-2x7+3x8<=448
+6x1+4x2+16x3+20x4+8x5+4x8<=384
-6x1-8x2+16x3-4x4-40x5+4x6+4x8<=0
-8x1-8x2+24x3-8x4-48x5-2x7+8x8<=0
+1x1+1x2+6x4-36x5+4x6+6x8<=96
+4x1+4x2-12x3+12x4-72x5+4x6-2x7+12x8<=192
+6x3-6x4-4x5-2x6-2x7<=0
+12x1+4x2+22x3+6x4+12x5-2x6-2x7<=384
+31x1+15x2+59x3+37x4+50x5-7x6-4x7+3x8<=1216
+20x1+16x2+42x3+42x4+36x5-10x6-6x7+6x8<=960
+72x1+20x2+112x3+64x4+96x5-16x6-10x7+8x8<=2304
+42x1+12x2+64x3+36x4+56x5-8x6-6x7+6x8<=1344
+36x1+12x2+56x3+32x4+48x5-8x6-6x7+4x8<=1152
+12x1+4x2+16x3+8x4+16x5-2x7<=384
+6x1+4x3+8x5+4x6<=192
+26x1+10x2+43x3+31x4+38x5-5x6-4x7+1x8<=912
+27x1+11x2+46x3+32x4+40x5-6x6-4x7+2x8<=960
+39x1+15x2+66x3+44x4+56x5-10x6-6x7+4x8<=1344
+120x1+48x2+200x3+152x4+176x5-32x6-18x7+16x8<=4224
+132x1+60x2+240x3+168x4+208x5-32x6-18x7+16x8<=4992
+96x1+40x2+168x3+104x4+144x5-24x6-14x7+16x8<=3456
+76x1+28x2+128x3+72x4+112x5-16x6-10x7+16x8<=2688
+29x1+9x2+46x3+28x4+40x5-6x6-4x7+4x8<=960
-2x1+2x2-12x3+4x6-2x7<=0
+20x1+20x2-134x3+42x4+36x5+38x6-10x7+6x8<=960
+60x1+20x2-148x3+84x4+72x5+36x6-10x7+12x8<=1920
+68x1+12x2-100x3+84x4+72x5+20x6-14x7+12x8<=1920
+12x1+6x3+14x4+12x5-2x6-2x7+2x8<=320
+40x1+26x3+42x4+36x5-18x6-10x7+6x8<=960
+12x1+8x2+22x3+30x4+12x5-2x6-2x7+6x8<=576
+12x1+10x2+8x3+24x4+24x5+2x6-4x7<=576
+56x1+32x2+80x3+96x4+96x5-8x6-10x7<=2304
+20x1+20x2+38x3+42x4+36x5-20x6-10x7+6x8<=960
+6x1+4x3+4x4+8x5+2x6+2x8<=192
-1x3-1x4-2x5+1x6+1x8<=0
+8x1+4x3-28x4+8x5+4x6-2x7+12x8<=192
+8x1+4x3-60x4+8x5+4x6-2x7+20x8<=192
-2x2+4x3-4x4-16x5+4x6<=0
+28x1+20x2+80x3+88x4+48x5-2x7+16x8<=1792
+3x1+3x2+18x3+20x4+8x5+2x6+4x8<=384
+204x1+100x2+384x3+264x4+336x5-48x6-26x7+24x8<=8064
+48x1+24x2+88x3+56x4+80x5-8x6-6x7+8x8<=1920
+12x1+4x2+16x3-8x4+16x5-2x7+8x8<=384
+12x1-12x2+12x3+4x4+8x5-4x6-6x7<=192
+12x1-12x2+12x3-12x4+8x5-4x6-6x7+8x8<=192
+12x1-12x2-4x3-60x4+8x5+12x6-6x7+28x8<=192
+8x3-8x4-16x5-2x7<=0
+4x1+2x2+4x3+4x4+8x5+4x8<=192
+4x1+4x2-16x3+12x4+4x6-2x7<=192
+20x1+12x2-40x3+48x4+8x6-6x7<=768
+14x1+6x2-20x3+32x4+4x6-2x7<=512
+2x1+4x4<=64
+60x1-12x2+68x3+44x4+56x5-20x6-18x7+4x8<=1344
+92x1-12x2+116x3+60x4+88x5-28x6-26x7+4x8<=2112
+44x1-12x2+52x3+28x4+40x5-12x6-14x7<=960
+48x1+24x2+72x3+56x4+80x5-8x6-6x7+24x8<=1920
+5x1-3x2+4x3+2x4+4x5-2x7<=96
-2x2+8x3-24x4-8x6-4x7+10x8<=0
-4x1-4x2+16x3-8x4-112x5+16x6-2x7+8x8<=0
+12x1+4x2+24x3-2x7<=384
-2x1+2x2+4x3-16x4-4x6-2x7+8x8<=0
+4x1-4x2+20x3-20x4-24x5-4x6-2x7+2x8<=64
+6x1-2x2+20x3-16x4-16x5-4x6-2x7+2x8<=128
+8x1+20x3-12x4-8x5-4x6-2x7<=192
+4x1+14x3-10x4-8x5-4x6-2x7+2x8<=96
+20x1-4x2+76x3-60x4-56x5-20x6-10x7+12x8<=448
+4x1+2x2+4x3+12x4-8x5+4x8<=192
+12x1+4x2+24x4-16x5-4x6-2x7+8x8<=384
+8x1-4x3+12x4-8x5-4x6-2x7+4x8<=192
-12x1-20x2+20x3+12x4-8x5+12x6-2x7+4x8<=192
-12x1-4x2+20x3+12x4-8x5+4x6-2x7+4x8<=192
-76x1-20x2+84x3+12x4-72x5+4x6-18x7+12x8<=192
-20x1-12x2+28x3+4x4-24x5+4x6-6x7+4x8<=64
-20x1-44x2+28x3+4x4-24x5+20x6-6x7+4x8<=64
-12x1-36x2+22x3-2x4-20x5+14x6-6x7+2x8<=0
-4x1-10x2+8x3-8x5+4x6-2x7<=0
-4x1-6x2+8x3-8x5+2x6-2x7<=0
-4x1+6x3-2x4-4x5-2x6-2x7+2x8<=0
-4x2+6x3-2x4-4x5-2x7<=0
-4x1-2x2+12x3+12x4+4x6<=192
-8x1-8x2+16x3-24x5+4x6-2x7<=0
-20x1-4x2+28x3+4x4-24x5-4x6-6x7+4x8<=64
-20x1-4x2+24x3-24x5-4x6-6x7<=0
-8x1+8x3-8x5-4x6-2x7<=0
-5x1+1x2+6x3-2x4-4x5-4x6-2x7+2x8<=0
-24x1+28x3+4x4-24x5-12x6-6x7+4x8<=64
-46x1+10x2+42x3+6x4-36x5-18x6-14x7+6x8<=96
-18x1+6x2+14x3+2x4-12x5-10x6-6x7+2x8<=32
-112x1+40x2+84x3+12x4-72x5-76x6-38x7+12x8<=192
-6x1+2x2+4x3-4x5-4x6-2x7<=0
-16x4-2x7+8x8<=0
+12x1-12x2-4x3-28x4+8x5-4x6-6x7+20x8<=192
+40x1-38x3+42x4+36x5-2x6-10x7+6x8<=960
+40x1-8x2+20x3+36x4+40x5-4x6-10x7+4x8<=960
+8x1-2x2+8x4+8x5-2x7<=192
+18x1-6x2+4x3+16x4+16x5-4x6-6x7<=384
+8x1-8x3+8x4+8x5-2x7<=192
+20x1-20x2-10x3+14x4+12x5-14x6-10x7+2x8<=320
+8x1+6x2+20x3+36x4-24x5+4x6+12x8<=576
+1x1+1x2+4x3+6x4-4x5+2x8<=96
-16x1+8x2+20x3+12x4-8x5-12x6-6x7+4x8<=192
-12x1+20x2+60x3+52x4+8x5-20x6-10x7+12x8<=960
+12x1+8x2+26x3+26x4+20x5-4x6-2x7+4x8<=576
+48x1+24x2+68x3+100x4+40x5-12x6-6x7+20x8<=1920
+16x1+8x2+32x3+16x4+24x5-4x6-2x7<=640
+12x1+4x2+24x3+8x5-4x6-2x7<=384
+8x1+36x3-44x4-24x5-12x6-6x7+12x8<=192
+8x1+36x3-76x4-24x5-12x6-6x7+20x8<=192
+6x1-2x2+20x3-40x4-16x5-4x6-2x7+8x8<=128
+4x1-4x2+20x3-60x4-24x5-4x6-2x7+12x8<=64
-2x2+4x3-20x4-8x5+4x8<=0
+21x1+5x2+34x3+16x4+24x5-4x6-4x7<=624
+12x1+4x2+20x3+12x4+16x5-2x6-2x7<=400
-1x1+1x2+10x3+12x4+2x6<=192
+16x1+8x2+8x3+40x4-48x5-2x7+16x8<=640
+48x1+24x2+24x3+120x4-80x5-8x6-6x7+40x8<=1920
-8x1-8x2+22x3+6x4-36x5+10x6-2x7+6x8<=96
-8x1-8x2+16x3-32x5+8x6-2x7<=0
+72x1+16x2+120x3+40x4+80x5-16x6-14x7+8x8<=2112
+100x1+36x2+160x3+120x4+144x5-24x6-14x7+16x8<=3456
+36x1+12x2+59x3+27x4+46x5-7x6-6x7+3x8<=1152
+48x1+24x2+96x3+32x4+64x5-8x6-6x7<=1920
+16x1+8x2+32x3-2x7<=640
+2x1+2x2+11x3+15x4-10x5+3x6+5x8<=240
+20x1+12x2+32x3+56x4-16x5-2x7+16x8<=960
+48x1+24x2-216x3+80x4+80x5+64x6-6x7<=1920
+12x1+4x2-32x3+16x4+16x5+8x6-2x7<=384
+10x1-18x3+14x4+12x5+6x6+2x8<=320
+6x1-20x3+4x4+8x5+8x6+4x8<=192
+10x1+14x3-18x4+12x5+2x6+6x8<=320
+1x1-1x2+4x3-6x4-20x5+4x6+2x8<=32
+8x1+16x3-32x4-2x7+8x8<=192
+8x1+20x3-28x4-8x5-4x6-2x7+4x8<=192
+8x3-28x4-8x5-4x6-2x7+8x8<=0
+6x3-34x4-4x5-2x6-2x7+10x8<=0
+12x1+4x2+22x3-2x4+12x5-2x6-2x7+2x8<=384
+12x1-12x2-28x3+12x4-8x5-12x6-6x7+4x8<=192
+24x1+8x3+24x4+16x5-8x6-6x7+8x8<=576
+8x1+2x3+10x4+4x5-4x6-2x7+2x8<=192
+8x2+40x3+40x4+16x5-2x7+8x8<=768
+56x2+200x3+200x4+80x5-24x6-18x7+40x8<=3840
+6x2+20x3+20x4+8x5-4x6-2x7+4x8<=384
+12x1+10x2+36x3+36x4+24x5-4x6-2x7+6x8<=768
+8x1+20x3-28x4-88x5+12x6-2x7+4x8<=192
+4x1-4x2+20x3-52x4-200x5+28x6-2x7+12x8<=64
-8x2+24x3-72x4-336x5+48x6-2x7+24x8<=0
-1x1-1x2+2x3-4x4-40x5+6x6+4x8<=0
-2x2+4x3-12x4-48x5+8x6+4x8<=0
+4x1+20x2+88x3+112x4+8x6-6x7<=1792
-4x1+12x2+40x3+48x4-6x7<=768
+4x2+10x3+10x4+4x5-2x6-2x7+2x8<=192
+5x1-3x2-1x3+5x4+2x5-3x6-2x7+1x8<=96
-6x1+2x2+10x3+6x4-4x5-2x6-2x7+2x8<=96
-9x1+11x2+35x3+29x4+2x5-9x6-6x7+7x8<=528
-38x1+18x2+50x3+30x4-20x5-22x6-14x7+10x8<=480
-12x1+12x2+40x3+40x4-8x6-6x7<=640
+3x1-3x2+14x3-8x4-24x5+4x6-2x7<=48
-2x1+6x2+20x3+24x4-144x5-4x6-2x7+24x8<=384
+4x1+2x2+6x3+10x4+4x5+2x8<=192
+24x1+16x2+56x3+72x4+16x5-2x7+16x8<=1344
+60x1+36x2+112x3+152x4+56x5-12x6-6x7+28x8<=2880
+24x1+16x2+56x3+72x4+24x5-4x6-2x7+12x8<=1344
+6x1+6x2+12x3+24x4-2x7<=384
+4x1-4x2-4x3+4x4-4x6-2x7<=64
+12x1+4x2-48x3+8x4+16x5+16x6-2x7+8x8<=384
+6x1-12x3+4x4+8x5+6x6+4x8<=192
+18x1+23x3+3x4+22x5+5x6+3x8<=576
+22x3-194x4-4x5-14x6-10x7+58x8<=0
+4x1-4x2+8x3-96x4-2x7+24x8<=64
-10x2+2x3-154x4-4x5+6x6+38x8<=0
+12x1+4x2-16x3+24x4-80x5-2x7+16x8<=384
+2x1-8x3+4x4-24x5+4x8<=64
+12x1+4x2-48x3+24x4-144x5-2x7+24x8<=384
+8x1-4x3+12x4-4x6-2x7<=192
+12x1+4x2-16x3+24x4-16x5-2x7+8x8<=384
-6x2-1x3-9x4-2x5+5x6+3x8<=0
-2x2-4x3-16x4+4x6+6x8<=0
+56x1-8x2+60x3+44x4+56x5-12x6-14x7+4x8<=1344
+4x1+2x2-32x3+4x4+8x5+12x6+4x8<=192
+48x1+24x2-296x3+40x4+80x5+104x6-6x7+40x8<=1920
+4x1+2x2-24x3+8x4+8x5+8x6<=192
+20x1+10x2-114x3+42x4+36x5+38x6+6x8<=960
+16x1+8x2-68x3+28x4+24x5+20x6-2x7+4x8<=640
-10x1-2x2+12x3-160x5+20x6-2x7<=0
-3x1+1x2+6x3-4x4-40x5+2x6-2x7+4x8<=0
-8x1+8x2+24x3-24x4-80x5-8x6-10x7+8x8<=0
-116x1+36x2+80x3-80x5-64x6-38x7<=0
-136x1+56x2+120x3-40x4-80x5-104x6-58x7+40x8<=0
-14x1+6x2+12x3-4x4-8x5-12x6-6x7+4x8<=0
-10x1+6x2+12x3-8x4-16x5-12x6-6x7+8x8<=0
-8x1+8x2+20x3+4x4-88x5-12x6-6x7+20x8<=192
+16x2+52x3+52x4-248x5-12x6-6x7+52x8<=960
-2x2+4x3-20x4-80x5+12x6+4x8<=0
+2x1+4x3-8x4-24x5+4x6<=64
+40x1+20x2+68x3+84x4+72x5+2x6+12x8<=1920
+12x1+6x2+19x3+23x4+22x5+1x6+5x8<=576
+48x1+24x2+72x3+72x4+80x5-4x6-6x7+8x8<=1920
+4x1+4x2-4x3+4x4+8x5+4x6-2x7+4x8<=192
+68x1+12x2+60x3+84x4+72x5-20x6-14x7+12x8<=1920
-1x1-1x2+2x3-4x4-24x5+4x6+4x8<=0
-2x2+4x3-12x4-32x5+6x6+4x8<=0
+4x1-4x2+20x3-52x4-72x5+12x6-2x7+12x8<=64
+8x1+20x3-28x4-24x5+4x6-2x7+4x8<=192
+16x1+36x3-28x4-56x5+12x6-2x7+4x8<=448
+8x1+4x2+2x3+18x4-12x5-2x6-2x7+6x8<=288
+4x1+4x2-12x3+12x4-8x5+4x6-2x7+4x8<=192
+12x1-12x2-14x3+10x4+4x5-10x6-6x7+2x8<=192
+8x1-36x3+12x4-72x5-4x6-2x7+12x8<=192
+24x1+16x2+36x3+84x4-120x5+12x6-2x7+36x8<=1344
+20x1+12x2+20x3+60x4-72x5+4x6-2x7+24x8<=960
+16x1+8x2+20x3+36x4-4x6-2x7+8x8<=640
+12x1+8x2+18x3+34x4+4x5-2x6-2x7+2x8<=576
+4x1+4x2+4x3+12x4-4x6-2x7<=192
+4x1+4x2+6x3+10x4+4x5-4x6-2x7+2x8<=192
+4x1+4x2-36x3+4x4+8x5+12x6-2x7+4x8<=192
+4x1+4x2-28x3+8x4+8x5+8x6-2x7<=192
+4x1+4x2-4x3+8x4+8x5+2x6-2x7<=192
+20x1+20x2-22x3+42x4+36x5+10x6-10x7+6x8<=960
+12x1+4x2-16x3+8x4+16x5+8x6-2x7+8x8<=384
+12x1+6x2+16x4+24x5+10x6+8x8<=576
+48x1+24x2+24x3+56x4+80x5+16x6-6x7+24x8<=1920
+48x1+24x2-72x3+40x4+80x5+48x6-6x7+40x8<=1920
+4x1+2x2-8x3+4x4+8x5+6x6+4x8<=192
+12x1+6x2+15x3+23x4+22x5+3x6+5x8<=576
+8x3-24x4-80x5+8x6-2x7+8x8<=0
+4x1-4x2+20x3-20x4-72x5+12x6-2x7+4x8<=64
+8x1+20x3-12x4-24x5+4x6-2x7<=192
+6x1+12x3-8x4-8x5+4x6<=192
+8x3-24x4-16x5-2x7+8x8<=0
-2x2+4x3-20x4-16x5+4x6+4x8<=0
-2x2+4x3-12x4-24x5+4x6+4x8<=0
+4x1+14x3-10x4-20x5+2x6-2x7+2x8<=96
+4x1-4x2+20x3-52x4-40x5+4x6-2x7+12x8<=64
+12x1-12x2+60x3-188x4-152x5+28x6-6x7+36x8<=192
+4x1+2x2+4x3+12x4<=192
-16x1-24x2+52x3-12x4-120x5+12x6-2x7+12x8<=0
-14x2+18x3-6x4-20x5+6x6-4x7<=0
+8x1+8x2+20x3+36x4-24x5+4x6-2x7+12x8<=576
+16x1+8x2-24x3+40x4-48x5+8x6-2x7+16x8<=640
+6x1-8x3+12x4-8x5+4x8<=192
+20x1+4x2-16x3+40x4-48x5-2x7+16x8<=640
+20x1+12x2+4x3+60x4-168x5+12x6-2x7+36x8<=960
+16x1+8x2-24x3+40x4-176x5+8x6-2x7+32x8<=640
+16x1+8x2-56x3+40x4-240x5+8x6-2x7+40x8<=640
+20x1+12x2-28x3+60x4-296x5+20x6-2x7+52x8<=960
+4x1+2x2-12x3+12x4-72x5+4x6+12x8<=192
+48x1+24x2-156x3+100x4+40x5+44x6-6x7+20x8<=1920
+12x1+4x2-20x3+20x4+8x5+4x6-2x7+4x8<=384
+8x1-6x3+10x4+4x5-2x6-2x7+2x8<=192
-8x3-4x4+4x6+2x8<=0
+12x1-12x2-4x3-12x4+8x5+12x6-6x7+4x8<=192
+8x1+4x3-4x4+8x5+4x6-2x7<=192
+6x1+4x3-20x4+8x5+4x6+8x8<=192
-3x1-11x2+9x3-1x4-10x5+5x6-2x7+1x8<=0
+12x1+6x2+16x3+16x4+24x5+2x6+8x8<=576
+48x1+24x2+48x3+112x4-32x5-8x6-6x7+32x8<=1920
+16x1+8x2+8x3+40x4-16x5-2x7+8x8<=640
+12x1+12x2+52x3+60x4+24x5+4x6-2x7+12x8<=1152
+60x1+36x2+112x3+152x4+48x5-8x6-6x7+32x8<=2880
-8x1-16x2+36x3-12x4-120x5+28x6-2x7+12x8<=0
-2x1-4x2+8x3-4x4-40x5+8x6+4x8<=0
-4x2+16x3-16x4-48x5+8x6-2x7+4x8<=0
-4x1-4x2+16x3-8x4-48x5+8x6-2x7+8x8<=0
+6x1-2x2+2x3+6x4+4x5-2x6-2x7<=128
+7x1-1x2-1x3+9x4+2x5-3x6-2x7+1x8<=160
+8x1+4x2+2x3+18x4-2x6-2x7<=288
+20x1+12x2-8x3+48x4-6x7<=768
-8x1-96x5+16x6-2x7<=0
-4x1+4x2-12x3+12x4-72x5+20x6-2x7+12x8<=192
-6x1+2x2-12x3-48x5+12x6-2x7<=0
-12x1+4x2+8x3-96x5+8x6-6x7<=0
-16x1+16x2+12x3+12x4-72x5-4x6-14x7+12x8<=192
-14x1+10x2+4x3-48x5-4x6-10x7<=0
+16x1+8x2-32x3+40x4+8x6-2x7<=640
+48x1+24x2-104x3+120x4-80x5+24x6-6x7+40x8<=1920
+48x1+24x2-116x3+108x4-8x5+36x6-6x7+28x8<=1920
+16x1+8x2-24x3+40x4-16x5+8x6-2x7+8x8<=640
+4x1+2x2-12x3+12x4-8x5+4x6+4x8<=192
+4x1+2x2-13x3+11x4-2x5+5x6+3x8<=192
+12x1+6x2-28x3+36x4-16x5+12x6+8x8<=576
+4x1+2x2-12x3+12x4+4x6<=192
+4x1+2x2-18x3+10x4+4x5+6x6+2x8<=192
+12x1+4x2-16x3+24x4-2x7<=384
+12x1+4x2+24x4-4x6-2x7<=384
+48x1+24x2+56x3+56x4+80x5+8x6-6x7+8x8<=1920
-20x1-4x2+24x3-288x5+40x6-6x7<=0
-2x1-4x3-8x5+4x6<=0
-10x1+6x2+4x3-16x5-4x6-6x7<=0
-14x1+6x2+8x3-8x5-8x6-6x7<=0
-20x1+4x2+16x3-16x5-8x6-6x7<=0
-8x1-2x2+8x3-8x5-2x7<=0
-32x1+32x3-32x5-8x6-10x7<=0
-19x1+1x2+21x3+3x4-18x5-5x6-6x7+3x8<=48
+18x1+14x2+50x3+62x4+20x5-2x6-2x7+10x8<=1152
-2x1+2x2+2x3-2x4-4x5-2x6-2x7+2x8<=0
+4x1+2x2-4x3+12x4-40x5+4x6+8x8<=192
+4x1+2x2-4x3+12x4-24x5+4x6+6x8<=192
+3x1+1x2-2x3+8x4-16x5+2x6+4x8<=128
+4x1-4x2+20x3-20x4-40x5+4x6-2x7+4x8<=64
+12x1-12x2+52x3-36x4-104x5+20x6-6x7+4x8<=192
-6x2+12x3-20x4-40x5+8x6+4x8<=0
+12x1+4x2+24x3-32x4-64x5+8x6-2x7<=384
+6x3-18x4-4x5-2x6-2x7+6x8<=0
+8x3-20x4-8x5-4x6-2x7+6x8<=0
-8x2+24x3-40x4-208x5+32x6-2x7+16x8<=0
-8x2+24x3-40x4-144x5+24x6-2x7+16x8<=0
-8x2+24x3-40x4-112x5+16x6-2x7+16x8<=0
+8x1+20x3-60x4-152x5+20x6-2x7+4x8<=192
+4x1-4x2+20x3-84x4-264x5+36x6-2x7+12x8<=64
+16x1+12x2+26x3+42x4+36x5+6x6-2x7+6x8<=960
+20x1+12x2+34x3+42x4+36x5-2x7+6x8<=960
+20x1+16x2+18x3+42x4+36x5+2x6-6x7+6x8<=960
+8x1+8x2+20x3+36x4-88x5+4x6-2x7+20x8<=576
-132x1+60x2+84x3+12x4-72x5-76x6-58x7+12x8<=192
-20x1+12x2+20x3+12x4-8x5-12x6-10x7+4x8<=192
-3x1+3x2+6x3+6x4-2x6-2x7<=96
-16x1+16x2+48x3+48x4-8x6-10x7<=768
+1x1+1x2+6x4-20x5+4x6+4x8<=96
-3x1-5x2+10x3-8x4-72x5+14x6+8x8<=0
-4x1-12x2+32x3-24x4-176x5+32x6-2x7+16x8<=0
+12x1-12x2+60x3-60x4-152x5+28x6-6x7+4x8<=192
+12x1-12x2+76x3-76x4-184x5+28x6-10x7+12x8<=192
-48x4-2x7+16x8<=0
+12x1+8x2+12x3+36x4-24x5-2x7+12x8<=576
+4x1+4x2+4x3+12x4-8x5-4x6-2x7+4x8<=192
-12x2+32x3-32x4-96x5+16x6-2x7+8x8<=0
-24x1+8x2+24x3-8x4-16x5-16x6-10x7+8x8<=0
-52x1+28x2+64x3-40x4-80x5-48x6-30x7+40x8<=0
+12x1-12x2-20x3-156x4+8x5+28x6-6x7+60x8<=192
+12x1-12x2-20x3-380x4+8x5+28x6-6x7+116x8<=192
-2x2-4x3-40x4+4x6+12x8<=0
-6x2-8x3-24x4+8x6+10x8<=0
-8x2+36x3-28x4-152x5+20x6-6x7+4x8<=0
+2x1-2x2+12x3-8x4-32x5+4x6-2x7<=32
-2x2-4x3-4x4+4x6<=0
-6x2-8x3-8x4+8x6+2x8<=0
-6x2-1x3-5x4-2x5+5x6+1x8<=0
+16x1+12x2+48x3+48x4+32x5-4x6-2x7+8x8<=1024
+23x1+15x2+55x3+57x4+42x5-3x6-2x7+9x8<=1248
+24x1+16x2+58x3+66x4+36x5-2x6-2x7+12x8<=1344
+21x1+13x2+45x3+51x4+30x5-3x6-2x7+9x8<=1056
+20x1+12x2+40x3+48x4+24x5-4x6-2x7+8x8<=960
-8x2+24x3-24x4-112x5+20x6-2x7+8x8<=0
-4x1-12x2+32x3-24x4-144x5+24x6-2x7+16x8<=0
-8x2+24x3-24x4-80x5+12x6-2x7+8x8<=0
-8x1+8x3-24x4-80x5+8x6-2x7+24x8<=0
-6x1+2x2+4x3-16x4-48x5-4x6-2x7+16x8<=0
-14x1+10x2+20x3-16x4-48x5-20x6-10x7+16x8<=0
-20x1+12x2+32x3-24x4-80x5-16x6-14x7+24x8<=0
-14x1+2x2+20x3-8x4-16x5-12x6-6x7+8x8<=0
-12x1+4x2+16x3-8x4-16x5-8x6-6x7+8x8<=0
-2x1-4x4-8x5+4x8<=0
-4x1+4x2+12x3+4x4-88x5-4x6-2x7+20x8<=192
-1x1+3x2+4x3+6x4-36x5-2x7+6x8<=96
-4x1+12x2+4x3+12x4-72x5-12x6-10x7+12x8<=192
+4x1+4x2-22x3+10x4+4x5+6x6-2x7+2x8<=192
+28x1+16x2+54x3+62x4+44x5-2x6-2x7+10x8<=1344
+36x1+28x2+120x3+144x4+32x5+8x6-2x7+32x8<=2688
+8x1+6x2+28x3+36x4+4x6+8x8<=640
+1x1+1x2+5x3+7x4-2x5+1x6+1x8<=112
-2x1-2x2+7x3+3x4-18x5+5x6+3x8<=48
-1x1-1x2+2x3-8x5+2x6<=0
-12x1-20x2+48x3-24x4-240x5+48x6-2x7+24x8<=0
+80x1+56x2+216x3+216x4+176x5-8x6-6x7+32x8<=4864
+32x1+24x2+104x3+104x4+80x5-2x7+16x8<=2304
+24x1+14x2+44x3+60x4+24x5-4x6-2x7+12x8<=1152
+6x1+4x2+12x3+24x4-24x5+4x6+8x8<=384
+28x1+20x2+64x3+104x4-48x5+8x6-2x7+32x8<=1728
+24x1+16x2+36x3+84x4-88x5+12x6-2x7+28x8<=1344
-8x1+8x2+12x3+12x4-8x5-4x6-6x7+4x8<=192
-48x1+32x2+28x3+12x4-72x5-20x6-30x7+12x8<=192
+48x1+24x2+44x3+108x4-8x5-4x6-6x7+28x8<=1920
+20x1+12x2+20x3+60x4-40x5+4x6-2x7+16x8<=960
+28x1+16x2+28x3+84x4-40x5+4x6-2x7+20x8<=1344
+14x1+8x2+20x3+48x4-24x5+4x6+12x8<=768
+32x1+24x2+68x3+132x4-152x5+20x6-2x7+52x8<=2112
+4x1+2x2+3x3+11x4-2x5+1x6+3x8<=192
+12x1+6x2+4x3+36x4-16x5+4x6+8x8<=576
+4x1+2x2-4x3+12x4-16x5+4x6+4x8<=192
+36x1+18x2+59x3+75x4+62x5+3x6+13x8<=1728
-4x1+4x2+12x3+12x4-4x6-2x7<=192
+1x1+1x2+3x3+5x4+2x5+1x6+1x8<=96
+2x2+4x3+12x4+4x6<=192
+36x1+28x2+96x3+152x4-16x5+8x6-2x7+16x8<=2496
+12x1+12x2+36x3+60x4-8x5+4x6-2x7+4x8<=960
+18x1+26x2+76x3+120x4+4x6-6x7<=1920
+42x1+34x2+116x3+144x4+48x5-4x6-6x7+24x8<=2688
+17x1+11x2+37x3+43x4+22x5-3x6-2x7+7x8<=864
+60x1+36x2+118x3+142x4+76x5-10x6-6x7+26x8<=2880
+6x1+10x3-10x4+4x5+2x6+2x8<=192
+6x1+10x3-2x4+4x5+2x6<=192
-2x2+2x3-26x4-4x5+2x6+6x8<=0
+12x1-12x2+40x3-240x4-32x5+8x6-6x7+56x8<=192
+7x1+5x2+12x3+30x4-52x5+8x6+14x8<=480
-4x2+16x3-16x4-80x5+12x6-2x7+4x8<=0
-4x1-6x2+12x3-4x4-48x5+12x6+4x8<=0
+36x1+12x2+60x3+20x4+40x5-4x6-6x7+4x8<=1152
-2x1-8x2+16x3-12x4-56x5+12x6+4x8<=0
-10x1-16x2+32x3-12x4-120x5+28x6+12x8<=0
-9x1+1x2-16x3+6x4-36x5+20x6+6x8<=96
-1x1+1x2+6x4-4x5+4x6+2x8<=96
+10x1+6x2+12x3+24x4-16x5-4x6-2x7+8x8<=416
+4x1+4x2-6x3+10x4+4x5+2x6-2x7+2x8<=192
+4x1+4x2-8x3+12x4+2x6-2x7<=192
-4x1+2x2+3x3-1x4-2x5-3x6-2x7+1x8<=0
+12x1+12x2+44x3+52x4+16x5-4x6-2x7+8x8<=960
+8x1+8x2+28x3+28x4+16x5-4x6-2x7+4x8<=576
-3x1-5x2+9x3-1x4-10x5+1x6-2x7+1x8<=0
-3x1-7x2+9x3-1x4-10x5+3x6-2x7+1x8<=0
+16x1+24x2+88x3+88x4+48x5-8x6-6x7+16x8<=1792
+15x1+11x2+39x3+41x4+26x5-3x6-2x7+7x8<=864
+11x1+9x2+31x3+33x4+18x5-3x6-2x7+5x8<=672
+16x1+12x2+42x3+50x4+20x5-2x6-2x7+8x8<=960
+80x1+40x2+154x3+90x4+132x5-18x6-10x7+6x8<=3200
+48x1+24x2+94x3+46x4+76x5-10x6-6x7+2x8<=1920
+12x1+12x2+50x3+58x4+4x5+2x6-2x7+14x8<=1056
+12x1+12x2+44x3+52x4+8x5-4x6-2x7+12x8<=960
-6x2+20x3-20x4-56x5+8x6-2x7+6x8<=0
-8x1-8x2+24x3+8x4-16x5+8x6-2x7+8x8<=192
-3x1-1x2+2x3-4x4-8x5+2x6+4x8<=0
-11x1-1x2+2x3-20x4-40x5+6x6+20x8<=0
-18x2+3x3-13x4-10x5+13x6+3x8<=0
+6x1+4x2+16x3+20x4+8x5+2x6+4x8<=400
+64x1+40x2+144x3+176x4+96x5+8x6-2x7+32x8<=3648
+8x1+6x2+26x3+34x4+4x5+4x6+8x8<=624
+6x2+28x3+36x4+4x6-2x7<=576
+60x1+52x2+200x3+240x4+96x5+8x6-6x7+48x8<=4608
+18x1+14x2+48x3+60x4+24x5-2x7+12x8<=1152
+34x1+22x2+80x3+92x4+56x5-2x7+16x8<=1920
+36x1+22x2+74x3+82x4+52x5-8x6-4x7+14x8<=1728
+28x1+20x2+40x3+80x4-96x5-8x6-6x7+32x8<=1344
+12x1+8x2+12x3+36x4-56x5-2x7+16x8<=576
+13x1+7x2+16x3+30x4-4x5-4x6-2x7+8x8<=528
+12x1-12x2+48x3-40x4-80x5+16x6-6x7+8x8<=192
+12x1-12x2+48x3-200x4-80x5+16x6-6x7+48x8<=192
-6x2+12x3-52x4-40x5+8x6+12x8<=0
-2x2+3x3-21x4-10x5+3x6+5x8<=0
+8x1+12x3-12x4+8x5+2x6+4x8<=256
+6x1+7x3-13x4+6x5+3x6+5x8<=192
+16x1+24x3+16x5+4x6+2x8<=512
+14x1+6x2+4x3+32x4-2x6-2x7<=512
+16x1+8x2+8x3+40x4-2x6-2x7<=640
+20x1+14x2+20x3+60x4-2x6-4x7<=960
+20x1+12x2+4x3+60x4-72x5+12x6-2x7+20x8<=960
+20x1+12x2+4x3+60x4-104x5+12x6-2x7+28x8<=960
+12x1-12x2-20x3-36x4+8x5+28x6-6x7<=192
-2x2+3x3-5x4-10x5+3x6+1x8<=0
-28x1+4x2+44x3+4x4-24x5-20x6-10x7+12x8<=192
-8x1+12x3+4x4-8x5-4x6-2x7+2x8<=64
-14x1-6x2+36x3+16x4-32x5-4x6-2x7+8x8<=256
-4x1-6x2+10x3+2x4-20x5+8x6+4x8<=48
-2x1-4x2+4x3-8x5+4x6+2x8<=16
-12x1-36x2+28x3-12x4-56x5+28x6-2x7+12x8<=0
-4x1-4x2+8x3-8x5-2x7<=0
-4x1-8x2+12x3+4x4-8x5+4x6-2x7<=64
-12x1-12x2+36x3+28x4-8x5+12x6-2x7+4x8<=448
+10x1+8x2+28x3+48x4-8x5+4x6+4x8<=768
+22x1+16x2+52x3+96x4-56x5+12x6+28x8<=1536
+16x1+16x2+88x3+88x4+48x5-2x7+16x8<=1792
-6x1+10x2+20x3+24x4-4x6-6x7<=384
+12x1+28x2+104x3+144x4+8x6-6x7<=2304
+48x1+40x2+168x3+200x4+80x5+8x6-2x7+40x8<=3840
-8x2+6x3-10x4-4x5+2x6-2x7+4x8<=0
-4x1-8x2+6x3-18x4-4x5+2x6-2x7+10x8<=0
+16x1+10x2+16x3+48x4-24x5+2x6-2x7+12x8<=768
+56x1+32x2+32x3+144x4-96x5-8x6-10x7+48x8<=2304
+48x1+24x2+16x3+112x4-8x6-10x7<=1792
+56x1+32x2+32x3+144x4-8x6-10x7<=2304
+6x1+7x3-5x4+6x5+3x6+3x8<=192
+14x1+19x3-1x4+14x5+5x6+3x8<=448
+18x1+24x3-4x4+16x5+8x6+4x8<=576
+60x1+36x2+96x3+168x4+16x5-8x6-6x7+16x8<=2880
+6x1-10x3+10x4+4x5+2x6+2x8<=192
+8x1-12x3+12x4+8x5+4x6+2x8<=256
+16x1+24x4+16x5+2x6+4x8<=512
+6x1-2x3+10x4+4x5+2x8<=192
+18x1-4x3+24x4+16x5+4x6+8x8<=576
+14x1-1x3+19x4+14x5+3x6+5x8<=448
+18x1+3x3+23x4+22x5+3x6+5x8<=576
+6x1-5x3+7x4+6x5+3x6+3x8<=192
+6x1-13x3+7x4+6x5+5x6+3x8<=192
+4x1-4x2-20x3+4x4-24x5-4x6-2x7+4x8<=64
+56x1+32x2+96x3+96x4+96x5-16x6-10x7<=2304
+30x1+32x3+28x4+32x5-8x6-6x7<=768
-1x1<=0
-1x2<=0
-1x3<=0
-1x4<=0
-1x5<=0
-1x6<=0
-1x7<=0
-1x8<=0
END