DIM = 15

INDEX
AB AC AD AE AF BC BD BE BF CD CE CF DE DF EF 

INEQUALITIES_SECTION
(  1) -2 -2 -2 -2  2 1  1  1 -1  1  1 -1  1 -1 -1  <=  0 
(  2) -2 -2 -2  2  2 1  1 -1 -1  1 -1 -1 -1 -1  1  <=  0 
(  3) -1 -1 -1  0  1 1  1  0 -1  1  0 -1  0 -1  0  <=  0 
(  4) -1 -1  0  0  0 1  0  0  0  0  0  0  0  0  0  <=  0 
(  5) -2 -2 -2 -2 -2 1  1  1  1  1  1  1  1  1  1  <=  2 
(  6) -2 -2  2  2  2 1 -1 -1 -1 -1 -1 -1  1  1  1  <=  2 
(  7) -1 -1 -1 -1  0 1  1  1  0  1  1  0  1  0  0  <=  2 
(  8)  0  0  0  0  0 0  0  0  0  0  0  0  1  1  1  <=  2 
(  9) -2 -1 -1 -1 -1 2  2  2  2  1  1  1  1  1  1  <=  6 
( 10)  0  0  0  0  0 1  1  1  1  1  1  1  1  1  1  <=  6 
( 11)  1  1  1  1  2 1  1  1  2  1  1  2  1  2  2  <= 12 

END