DIM = 3 VALID 2 1 16 INEQUALITIES_SECTION ( 1) -2x1-4x2-3x3 <= -56 ( 2) -5x1-3x2-4x3 <= -56 ( 3) -6x1-5x2-2x3 <= -49 ( 4) - x1-2x2-5x3 <= -49 ( 5) -3x1-6x2- x3 <= -28 ( 6) -4x1- x2-6x3 <= -28 ( 7) - x1 <= 0 ( 8) - x2 <= 0 ( 9) - x3 <= 0 END strong validity table : \ P | | \ O | | I \ I | | N \ N | 1 6 11 16| # E \ T | | Q \ S | | S \ | | \ | | ----------------------------------- 1 | ....* .*.*. *..*. * : 6 2 | ....* ....* ...*. . : 3 3 | ..... ...*. .*... * : 3 4 | ..... .**.* ..*** . : 6 5 | ...*. ..... **... * : 4 6 | ..... *.... ..*.* . : 3 7 | **.** *..** .**.. . : 9 8 | *.**. .**.. *.... . : 6 9 | .**.. *.*.. ....* . : 5 ......................... # | 22233 33333 33333 3