DIM = 4

VALID
2 2 2 2 

INEQUALITIES_SECTION
(  1) -x1          <= 0
(  2)    -x2       <= 0
(  3)       -x3    <= 0
(  4)          -x4 <= 0
(  5)          +x4 <= 2
(  6)       +x3    <= 2
(  7)    +x2       <= 2
(  8) +x1          <= 2

END

strong validity table : 
\ P      |                     |
 \ O     |                     |
I \ I    |                     |
 N \ N   | 1     6     11    16| #
  E \ T  |                     |
   Q \ S |                     |
    S \  |                     |
       \ |                     |
-----------------------------------
1        | ****. ***.. .*... . :  8
2        | ***.* *..** ..*.. . :  8
3        | **.** .*.*. *..*. . :  8
4        | *.*** ..*.* *...* . :  8
5        | .*... **.*. .***. * :  8
6        | ..*.. *.*.* .**.* * :  8
7        | ...*. .**.. **.** * :  8
8        | ....* ...** *.*** * :  8
          .........................
#        | 44444 44444 44444 4