third_party/cddlib/examples-ext/irbox20-4.ext

* File name: irbox20-4.ext
* Randomly generated 20 integral points in [-100..100]^3
V-representation
begin
  20   4   integer
  1    -45      1     47 
  1    -34     19      4 
  1      5    -11     28 
  1     17    -43     17 
  1    -46      8    -15 
  1     35    -26     -6 
  1     41     -3     -8 
  1    -39     41     34 
  1    -46     49     40 
  1    -18    -29     46 
  1    -20    -25     -2 
  1    -22     -9    -32 
  1     31     46      5 
  1     10     14     11 
  1    -22     17    -29 
  1     12      3     -5 
  1    -44     -5     40 
  1     -2      4     32 
  1    -18      8     31 
  1    -27     40    -48 
end