DIM = 15

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

INEQUALITIES_SECTION
(  0)  1  1  1  1  1  0  0  0  0  0  0  0  0  0  0  ==  2

(  1)  0  0  0  1  1  0  0  1  1  0  1  1  1  1  0  >=  2 
(  2)  0  0  1  1  1  0  1  1  1  1  1  1  0  0  0  >=  2 
(  3)  1  0  0  0  0  0  0  0  0  0  0  0  0  0  0  >=  0
(  4)  1  2  2  3  3  3  3  2  2  2  1  3  3  1  2  >=  10 
END