DIM=21

INDEX
     AB AC AD AE AF AG BC BD BE BF BG CD CE CF CG DE DF DG EF EG FG 

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

( 1)  0  0  1  1  0  0  0  1  1  0  0  1  1  0  0  0  1  1  1  1  0  >=  2
( 2)  0  1  1  0  1  0  1  1  0  1  0  0  1  0  1  1  0  1  1  0  1  >=  2
( 3)  0  3  3  2  2  1  3  3  2  2  1  2  3  1  2  1  3  2  2  3  3  >=  10
( 4)  1  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  >=  0
( 5)  1  2  2  1  1  2  3  3  2  2  1  2  3  1  2  1  3  2  2  3  3  >=  10
( 6)  1  4  4  4  4  1  5  5  3  3  2  4  6  2  3  2  6  3  4  5  5  >=  18

END