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) -1 -1 -1 0 1 1 1 0 -1 1 0 -1 0 -1 0 <= 0 ( 3) -1 -1 0 0 0 1 0 0 0 0 0 0 0 0 0 <= 0 END