DIM = 3 VALID 3 1 9 INEQUALITIES_SECTION ( 1) -6x1-4x2-3x3 <= -42 ( 2) - x1-3x2-4x3 <= -42 ( 3) -3x1-2x2-5x3 <= -35 ( 4) -4x1-5x2-2x3 <= -35 ( 5) -2x1-6x2- x3 <= -21 ( 6) -5x1- x2-6x3 <= -21 ( 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 | ....* ...*. ....* . : 3 2 | ....* .**.* *...* * : 7 3 | ..... ....* *.**. . : 4 4 | ..... ...*. .*..* * : 4 5 | ...*. .*... .*... * : 4 6 | ..... *.... ..**. . : 3 7 | **.** *..** .**.. . : 9 8 | *.**. .**.. ..... . : 5 9 | .**.. *.*.. *..*. . : 6 ......................... # | 22233 33333 33333 3