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

* File name: ibox200-4.ext
* Randomly generated 200 integral points in [-100..100]^3
V-representation
begin
  200   4   integer
  1     12    -49      2 
  1    -38     25     -3 
  1    -26     39     -7 
  1    -25     28     44 
  1    -20    -41    -31 
  1     49     45     28 
  1    -42     12    -25 
  1     -9    -31    -20 
  1     49      5     33 
  1     15     34     30 
  1    -18     -3     31 
  1     34      8      6 
  1    -19     31     -4 
  1     23    -44    -25 
  1     17    -14    -16 
  1     36    -14    -20 
  1     15     -7     42 
  1     39     33    -39 
  1    -30     33     15 
  1    -46     -1      0 
  1     33     30     47 
  1     14     14      5 
  1    -28     45    -13 
  1     17     18     -7 
  1     41    -13     27 
  1    -24    -27    -36 
  1      5     37      5 
  1     -2     27    -11 
  1      7     47    -28 
  1    -26    -49     20 
  1     24     34      0 
  1     21      0    -35 
  1    -23     20    -39 
  1     13    -12     28 
  1    -44    -20    -35 
  1     33      4    -12 
  1     46    -39    -25 
  1      2      7    -47 
  1     41    -34     49 
  1    -36    -11    -49 
  1     33    -37     34 
  1    -16     34    -15 
  1     -1    -39    -45 
  1      8     23     -8 
  1    -12     29     21 
  1      2     13    -23 
  1     39     10    -13 
  1    -36    -37     43 
  1    -34    -46    -41 
  1    -34    -32     -2 
  1    -33    -49     10 
  1    -48    -15     -5 
  1    -14     33      4 
  1    -10     -7    -21 
  1     31     29    -42 
  1      2    -18     21 
  1     29    -29    -18 
  1    -34    -15     -6 
  1    -41      0     -2 
  1    -32     16     14 
  1     14     32     15 
  1    -25     33    -49 
  1     19    -31     33 
  1    -26      8    -24 
  1      2    -10    -44 
  1      9     42    -12 
  1    -19     21      8 
  1     12     37     43 
  1    -44     45     -6 
  1      3    -36    -40 
  1    -31     27     42 
  1     33    -47     25 
  1     33     21     43 
  1     17     45      1 
  1     43     -2     41 
  1     49    -42     34 
  1    -13    -11      5 
  1     45    -49     -7 
  1     38    -43    -11 
  1    -18     10      2 
  1     -8     28    -19 
  1    -16     12    -17 
  1    -40     -4    -45 
  1    -46    -36    -49 
  1      5    -43     -2 
  1     -3    -44      5 
  1    -18     -7     43 
  1     36    -12     44 
  1    -20    -24    -49 
  1     18      7     10 
  1    -29     48    -10 
  1      0    -17    -48 
  1     33     -8     -2 
  1     37     -4     10 
  1     38    -49     17 
  1    -14     -2     22 
  1     41     28    -35 
  1     35     15      2 
  1     29     44     27 
  1     30     13    -15 
  1     -8     33    -16 
  1     30    -16     15 
  1     31    -32    -42 
  1    -20    -44      3 
  1     39     43      3 
  1      6    -20    -49 
  1    -20    -29     29 
  1     -5    -44     -5 
  1     46     34    -11 
  1     24     15    -48 
  1    -41    -43     35 
  1     -8     37    -30 
  1    -42     19    -13 
  1    -34     48     -8 
  1     18     37    -15 
  1    -27     -5     13 
  1    -27     23     33 
  1    -48    -32     39 
  1     -3    -35     23 
  1     34     38    -10 
  1     36     47     -4 
  1     22    -11    -17 
  1     41     -3    -47 
  1    -22     12    -49 
  1     18    -18     37 
  1    -46      3    -17 
  1     17     26    -44 
  1      1     28    -26 
  1     -9    -25    -11 
  1    -35    -40    -23 
  1      3     46    -26 
  1     49     18     12 
  1    -18      9    -40 
  1    -16     37     21 
  1    -15      5    -46 
  1    -27      9      6 
  1      4    -23    -16 
  1     10     27    -38 
  1     34    -31    -14 
  1    -27    -17     -4 
  1     -1     35     -8 
  1     22     34    -40 
  1    -15    -33     19 
  1     -5      0      6 
  1    -33     34    -37 
  1    -30    -43     21 
  1     26     11     48 
  1    -40    -28     26 
  1    -29    -43     44 
  1      6    -21    -23 
  1    -48     27    -38 
  1     -7      0     46 
  1      2     34    -36 
  1    -28    -21     13 
  1     27     -5     -1 
  1     39     14      5 
  1     11     -9    -33 
  1      9      0    -11 
  1    -14     20     -5 
  1    -20    -22     23 
  1      6    -21      0 
  1     18     21     49 
  1     14    -25     34 
  1     27     -4    -37 
  1     -8    -26      7 
  1     39    -36    -27 
  1     -4     24     13 
  1     11    -15    -36 
  1    -49     20     33 
  1     -4     49    -38 
  1    -31      6    -10 
  1     18    -25    -38 
  1     18     39    -13 
  1      2     17     32 
  1     14    -41    -44 
  1    -27     48    -31 
  1     -5     -6     43 
  1    -42    -44    -22 
  1    -29    -44     48 
  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 
  1    -31    -29    -23 
end