* 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