1* File name: ibox200-4.ext 2* Randomly generated 200 integral points in [-100..100]^3 3V-representation 4begin 5 200 4 integer 6 1 12 -49 2 7 1 -38 25 -3 8 1 -26 39 -7 9 1 -25 28 44 10 1 -20 -41 -31 11 1 49 45 28 12 1 -42 12 -25 13 1 -9 -31 -20 14 1 49 5 33 15 1 15 34 30 16 1 -18 -3 31 17 1 34 8 6 18 1 -19 31 -4 19 1 23 -44 -25 20 1 17 -14 -16 21 1 36 -14 -20 22 1 15 -7 42 23 1 39 33 -39 24 1 -30 33 15 25 1 -46 -1 0 26 1 33 30 47 27 1 14 14 5 28 1 -28 45 -13 29 1 17 18 -7 30 1 41 -13 27 31 1 -24 -27 -36 32 1 5 37 5 33 1 -2 27 -11 34 1 7 47 -28 35 1 -26 -49 20 36 1 24 34 0 37 1 21 0 -35 38 1 -23 20 -39 39 1 13 -12 28 40 1 -44 -20 -35 41 1 33 4 -12 42 1 46 -39 -25 43 1 2 7 -47 44 1 41 -34 49 45 1 -36 -11 -49 46 1 33 -37 34 47 1 -16 34 -15 48 1 -1 -39 -45 49 1 8 23 -8 50 1 -12 29 21 51 1 2 13 -23 52 1 39 10 -13 53 1 -36 -37 43 54 1 -34 -46 -41 55 1 -34 -32 -2 56 1 -33 -49 10 57 1 -48 -15 -5 58 1 -14 33 4 59 1 -10 -7 -21 60 1 31 29 -42 61 1 2 -18 21 62 1 29 -29 -18 63 1 -34 -15 -6 64 1 -41 0 -2 65 1 -32 16 14 66 1 14 32 15 67 1 -25 33 -49 68 1 19 -31 33 69 1 -26 8 -24 70 1 2 -10 -44 71 1 9 42 -12 72 1 -19 21 8 73 1 12 37 43 74 1 -44 45 -6 75 1 3 -36 -40 76 1 -31 27 42 77 1 33 -47 25 78 1 33 21 43 79 1 17 45 1 80 1 43 -2 41 81 1 49 -42 34 82 1 -13 -11 5 83 1 45 -49 -7 84 1 38 -43 -11 85 1 -18 10 2 86 1 -8 28 -19 87 1 -16 12 -17 88 1 -40 -4 -45 89 1 -46 -36 -49 90 1 5 -43 -2 91 1 -3 -44 5 92 1 -18 -7 43 93 1 36 -12 44 94 1 -20 -24 -49 95 1 18 7 10 96 1 -29 48 -10 97 1 0 -17 -48 98 1 33 -8 -2 99 1 37 -4 10 100 1 38 -49 17 101 1 -14 -2 22 102 1 41 28 -35 103 1 35 15 2 104 1 29 44 27 105 1 30 13 -15 106 1 -8 33 -16 107 1 30 -16 15 108 1 31 -32 -42 109 1 -20 -44 3 110 1 39 43 3 111 1 6 -20 -49 112 1 -20 -29 29 113 1 -5 -44 -5 114 1 46 34 -11 115 1 24 15 -48 116 1 -41 -43 35 117 1 -8 37 -30 118 1 -42 19 -13 119 1 -34 48 -8 120 1 18 37 -15 121 1 -27 -5 13 122 1 -27 23 33 123 1 -48 -32 39 124 1 -3 -35 23 125 1 34 38 -10 126 1 36 47 -4 127 1 22 -11 -17 128 1 41 -3 -47 129 1 -22 12 -49 130 1 18 -18 37 131 1 -46 3 -17 132 1 17 26 -44 133 1 1 28 -26 134 1 -9 -25 -11 135 1 -35 -40 -23 136 1 3 46 -26 137 1 49 18 12 138 1 -18 9 -40 139 1 -16 37 21 140 1 -15 5 -46 141 1 -27 9 6 142 1 4 -23 -16 143 1 10 27 -38 144 1 34 -31 -14 145 1 -27 -17 -4 146 1 -1 35 -8 147 1 22 34 -40 148 1 -15 -33 19 149 1 -5 0 6 150 1 -33 34 -37 151 1 -30 -43 21 152 1 26 11 48 153 1 -40 -28 26 154 1 -29 -43 44 155 1 6 -21 -23 156 1 -48 27 -38 157 1 -7 0 46 158 1 2 34 -36 159 1 -28 -21 13 160 1 27 -5 -1 161 1 39 14 5 162 1 11 -9 -33 163 1 9 0 -11 164 1 -14 20 -5 165 1 -20 -22 23 166 1 6 -21 0 167 1 18 21 49 168 1 14 -25 34 169 1 27 -4 -37 170 1 -8 -26 7 171 1 39 -36 -27 172 1 -4 24 13 173 1 11 -15 -36 174 1 -49 20 33 175 1 -4 49 -38 176 1 -31 6 -10 177 1 18 -25 -38 178 1 18 39 -13 179 1 2 17 32 180 1 14 -41 -44 181 1 -27 48 -31 182 1 -5 -6 43 183 1 -42 -44 -22 184 1 -29 -44 48 185 1 -45 1 47 186 1 -34 19 4 187 1 5 -11 28 188 1 17 -43 17 189 1 -46 8 -15 190 1 35 -26 -6 191 1 41 -3 -8 192 1 -39 41 34 193 1 -46 49 40 194 1 -18 -29 46 195 1 -20 -25 -2 196 1 -22 -9 -32 197 1 31 46 5 198 1 10 14 11 199 1 -22 17 -29 200 1 12 3 -5 201 1 -44 -5 40 202 1 -2 4 32 203 1 -18 8 31 204 1 -27 40 -48 205 1 -31 -29 -23 206end 207