DIM = 28

INDEX
     AB AC AD AE AF AG AH BC BD BE BF BG BH CD CE CF CG CH DE DF DG DH EF EG EH FG FH GH 

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

( 1)  0  0  1  1  0  0  0  0  1  1  0  0  0  1  1  0  0  0  0  1  1  1  1  1  1  0  0  0  >=  2  
( 2)  0  1  1  1  0  0  0  1  1  1  0  0  0  0  0  1  1  1  0  1  1  1  1  1  1  0  0  0  >=  2  
( 3)  0  1  1  1  0  1  0  1  1  1  0  1  0  0  0  1  0  1  0  1  0  1  1  0  1  1  0  1  >=  2  
( 4)  0  2  3  3  1  2  0  2  3  3  1  2  0  3  1  3  2  2  2  2  1  3  2  3  3  3  1  2  >=  10  
( 5)  1  1  2  2  2  1  0  2  3  3  1  2  1  3  1  3  2  1  2  2  1  2  2  3  2  3  2  1  >=  10  
( 6)  1  1  2  2  2  1  1  2  3  3  1  2  0  3  1  3  2  2  2  2  1  3  2  3  3  3  1  2  >=  10  
( 7)  1  2  3  2  3  0  1  3  2  3  2  1  0  3  2  1  2  3  1  2  3  2  3  2  3  3  2  1  >=  10  
( 8)  1  2  3  2  3  1  1  3  2  3  2  2  0  3  2  1  1  3  1  2  2  2  3  1  3  2  2  2  >=  10  
( 9)  2  1  2  2  1  1  1  3  2  2  1  3  1  3  1  2  2  2  2  1  1  3  1  3  3  2  2  2  >=  10  
(10)  2  1  2  3  3  0  2  3  2  3  1  2  0  3  2  2  1  3  1  3  2  2  2  3  3  3  1  2  >=  10  
(11)  2  2  3  3  3  1  0  2  3  3  1  3  2  1  1  3  3  2  0  2  2  3  2  2  3  2  3  1  >=  10  
(12)  1  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  >=  0  
(13)  2  2  3  3  1  2  1  2  3  3  1  2  1  3  1  3  2  3  2  2  1  2  2  3  2  3  2  3  >=  12  
(14)  3  2  2  3  2  2  1  3  3  2  1  2  2  3  1  3  2  3  2  2  1  3  3  3  2  3  3  3  >=  13  
(15)  2  2  3  3  3  1  2  4  3  3  1  3  2  3  1  3  3  4  2  2  2  1  4  2  3  4  3  3  >=  14  
(16)  3  2  3  4  5  1  2  5  4  5  2  4  3  3  2  3  1  4  1  4  2  1  3  3  2  4  5  3  >=  16  
(17)  1  3  5  5  2  3  0  4  4  4  1  4  1  6  2  5  4  3  4  3  2  5  3  6  5  5  2  3  >=  18  
(18)  1  3  5  5  2  3  1  4  4  4  1  4  0  6  2  5  4  4  4  3  2  4  3  6  4  5  1  4  >=  18  
(19)  2  2  4  4  3  2  1  4  4  4  1  4  1  6  2  5  4  3  4  3  2  5  3  6  5  5  2  3  >=  18  
(20)  3  2  3  5  5  1  3  5  4  6  2  4  0  5  3  3  1  5  2  6  4  4  4  4  6  4  2  4  >=  18  
(21)  3  3  5  5  2  3  1  4  4  4  1  4  2  6  2  5  4  4  4  3  2  4  3  6  4  5  3  4  >=  20  
(22)  5  3  4  5  3  4  2  4  5  4  2  3  3  5  2  4  3  5  3  3  2  4  4  5  3  5  5  4  >=  22  
(23)  2  4  7  7  3  4  1  6  5  5  1  6  1  9  3  7  6  5  6  4  3  6  4  9  6  7  2  5  >=  26  
(24)  8  6  7  9  8  3  5  6  9  9  6  5  3  9  3  6  9  7  6  3  6  6  9  6  8  9  9  8  >=  38  

END