testsets/cc2005/projections/boulet98

   1 21 16
   2 #       <- reg. variables ->    <----- existential variables --------------->   <- param ->
   3 #       i1      i2      j1      j2      j1'     j2'     p1      p2      q1      q2      q1'     q2'     n       m       cst
   4 # C
   5 1       0       0       1       0       0       0       0       0       0       0       0       0       0       0       -1      # 1<= j1
   6 1       0       0       -1      0       0       0       0       0       0       0       0       0       1       0       0       #     j1 <= n
   7 1       0       0       0       1       0       0       0       0       0       0       0       0       0       0       -1      # 1<= j2
   8 1       0       0       0       -1      0       0       0       0       0       0       0       0       0       1       0       #     j2 <= m
   9 0       1       0       -1      0       0       0       0       0       0       0       0       0       0       0       0       # i1 = j1
  10 1       0       1       0       0       0       0       0       0       0       0       0       0       0       0       -1      # 1 <= i2
  11 1       0       -1      0       0       0       0       0       0       0       0       0       0       0       1       0       #      i2 <= m
  12 # S(i1,i2,j1,j2)
  13 0       1       0       0       0       -1      0       0       0       0       0       0       0       0       0       0       # j1' = i1
  14 0       0       0       0       0       0       1       0       0       0       0       0       0       0       0       -1      # j2' = 1
  15 1       0       0       0       0       0       0       1       0       0       0       0       0       0       0       -1      # 1 <= p1
  16 1       0       0       0       0       0       0       -1      0       0       0       0       0       0       0       8       #      p1 <= 8
  17 1       0       0       0       0       0       0       0       1       0       0       0       0       0       0       -1      # 1 <= p2
  18 1       0       0       0       0       0       0       0       -1      0       0       0       0       0       0       8       #      p2 <= 8
  19 0       0       0       1       0       0       0       -1      0       -8      0       0       0       0       0       0       # j1 -1 = 8q1 + p1 -1
  20 0       0       0       0       1       0       0       0       -1      0       -8      0       0       0       0       0       # j2 -1 = 8q2 + p2 -1
  21 1       0       0       0       0       0       0       0       0       1       0       0       0       0       0       0       # q1 >= 0
  22 1       0       0       0       0       0       0       0       0       0       1       0       0       0       0       0       # q2 >= 0
  23 0       0       0       0       0       1       0       -1      0       0       0       -8      0       0       0       0       # j1' -1 = 8q1' +p1 -1
  24 0       0       0       0       0       0       1       0       -1      0       0       0       -8      0       0       0       # j2' -1 = 8q2' + p2 -1
  25 1       0       0       0       0       0       0       0       0       0       0       1       0       0       0       0       # q1' >= 0
  26 1       0       0       0       0       0       0       0       0       0       0       0       1       0       0       0       # q2' >= 0
  27
  28 E 8
  29 P 2
  30 n m