Test/ehrhart/g13.out

   1 ---------------------------------------
   2 Domain:
   3          i0 - k0  -1 = 0
   4          j0 - a1  = 0
   5          N - a0  >= 0
   6          N - a1 + 1 >= 0
   7          k0  >= 0
   8          - k0 + a1  -2 >= 0
   9          - k0 + a0  -2 >= 0
  10           1 >= 0
  11
  12 Vertices:
  13 [ k0+1,  a1,  k0 ]
  14
  15 Ehrhart Polynomial:
  16 1