DIM = 6 INDEX AB AC AD BC BD CD INEQUALITIES_SECTION (0) 0 0 0 0 0 -1 <= 0 (1) 0 0 0 0 0 1 <= 1 (2) 0 0 0 1 1 1 <= 2 END