DIM = 30

INDEX
AB AC AD AE AF BA BC BD BE BF CA CB CD CE CF DA DB DC DE DF EA EB EC ED EF FA FB FC FD FE 

INEQUALITIES_SECTION
(  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 0 1  <= 1 
(  2) 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1  <= 2 
(  3) 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0  <= 7 
(  4) 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 1 1  <= 8 
(  5) 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 1  <= 8 

END