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