Test/pp/c6.out

   1 ---------------------------------------
   2 Domain :
   3          P - S - T  >= 0
   4          T  >= 0
   5          S - T  >= 0
   6          R - T  >= 0
   7          Q - S - T  >= 0
   8           1 >= 0
   9
  10 Vertices :
  11 [ S+T,  S+T,  T,  T,  T,  0 ]
  12 [ S+T,  S+T,  T,  T,  T,  -Q+T ]
  13 [ 0,  S+T,  T,  T,  T,  0 ]
  14 [ 0,  S+T,  T,  T,  T,  -Q+T ]
  15 [ 0,  0,  T,  T,  T,  0 ]
  16 [ 0,  0,  T,  T,  T,  -Q+T ]
  17 [ 0,  0,  -S,  T,  T,  0 ]
  18 [ 0,  0,  -S,  T,  T,  -Q+T ]
  19 [ 0,  0,  -S,  -S,  T,  0 ]
  20 [ 0,  0,  -S,  -S,  T,  -Q+T ]
  21 [ 0,  0,  -S,  -S,  -S,  0 ]
  22 [ 0,  0,  -S,  -S,  -S,  -Q-S ]
  23 ---------------------------------------
  24 Domain :
  25          P -2S  >= 0
  26          - Q + T  >= 0
  27          Q -2S  >= 0
  28          S  >= 0
  29          R - S  >= 0
  30           1 >= 0
  31
  32 Vertices :
  33 [ 2S,  2S,  S,  S,  Q,  0 ]
  34 [ 2S,  2S,  S,  S,  S,  0 ]
  35 [ 2S,  2S,  S,  S,  S,  -Q+S ]
  36 [ 0,  2S,  S,  S,  Q,  0 ]
  37 [ 0,  2S,  S,  S,  S,  0 ]
  38 [ 0,  2S,  S,  S,  S,  -Q+S ]
  39 [ 0,  0,  S,  S,  Q,  0 ]
  40 [ 0,  0,  S,  S,  S,  0 ]
  41 [ 0,  0,  S,  S,  S,  -Q+S ]
  42 [ 0,  0,  -S,  S,  Q,  0 ]
  43 [ 0,  0,  -S,  S,  S,  0 ]
  44 [ 0,  0,  -S,  S,  S,  -Q+S ]
  45 [ 0,  0,  -S,  -S,  Q,  0 ]
  46 [ 0,  0,  -S,  -S,  -S,  0 ]
  47 [ 0,  0,  -S,  -S,  -S,  -Q-S ]
  48 ---------------------------------------
  49 Domain :
  50          - S + T  >= 0
  51          P -2S  >= 0
  52          R - S  >= 0
  53          S  >= 0
  54          Q - T  >= 0
  55          Q -2S  >= 0
  56           1 >= 0
  57
  58 Vertices :
  59 [ 2S,  2S,  S,  S,  T,  0 ]
  60 [ 2S,  2S,  S,  S,  T,  -Q+T ]
  61 [ 2S,  2S,  S,  S,  S,  0 ]
  62 [ 2S,  2S,  S,  S,  S,  -Q+S ]
  63 [ 0,  2S,  S,  S,  T,  0 ]
  64 [ 0,  2S,  S,  S,  T,  -Q+T ]
  65 [ 0,  2S,  S,  S,  S,  0 ]
  66 [ 0,  2S,  S,  S,  S,  -Q+S ]
  67 [ 0,  0,  S,  S,  T,  0 ]
  68 [ 0,  0,  S,  S,  T,  -Q+T ]
  69 [ 0,  0,  S,  S,  S,  0 ]
  70 [ 0,  0,  S,  S,  S,  -Q+S ]
  71 [ 0,  0,  -S,  S,  T,  0 ]
  72 [ 0,  0,  -S,  S,  T,  -Q+T ]
  73 [ 0,  0,  -S,  S,  S,  0 ]
  74 [ 0,  0,  -S,  S,  S,  -Q+S ]
  75 [ 0,  0,  -S,  -S,  T,  0 ]
  76 [ 0,  0,  -S,  -S,  T,  -Q+T ]
  77 [ 0,  0,  -S,  -S,  -S,  0 ]
  78 [ 0,  0,  -S,  -S,  -S,  -Q-S ]
  79 ---------------------------------------
  80 Domain :
  81          P - R - S  >= 0
  82          R  >= 0
  83          - R + T  >= 0
  84          S - T  >= 0
  85          Q - R - S  >= 0
  86           1 >= 0
  87
  88 Vertices :
  89 [ R+S,  R+S,  R,  T,  T,  0 ]
  90 [ R+S,  R+S,  R,  T,  T,  -Q+T ]
  91 [ R+S,  R+S,  R,  R,  T,  0 ]
  92 [ R+S,  R+S,  R,  R,  T,  -Q+T ]
  93 [ R+S,  R+S,  R,  R,  R,  0 ]
  94 [ R+S,  R+S,  R,  R,  R,  -Q+R ]
  95 [ 0,  R+S,  R,  T,  T,  0 ]
  96 [ 0,  R+S,  R,  T,  T,  -Q+T ]
  97 [ 0,  R+S,  R,  R,  T,  0 ]
  98 [ 0,  R+S,  R,  R,  T,  -Q+T ]
  99 [ 0,  R+S,  R,  R,  R,  0 ]
 100 [ 0,  R+S,  R,  R,  R,  -Q+R ]
 101 [ 0,  0,  R,  T,  T,  0 ]
 102 [ 0,  0,  R,  T,  T,  -Q+T ]
 103 [ 0,  0,  R,  R,  T,  0 ]
 104 [ 0,  0,  R,  R,  T,  -Q+T ]
 105 [ 0,  0,  R,  R,  R,  0 ]
 106 [ 0,  0,  R,  R,  R,  -Q+R ]
 107 [ 0,  0,  -S,  T,  T,  0 ]
 108 [ 0,  0,  -S,  T,  T,  -Q+T ]
 109 [ 0,  0,  -S,  -S,  T,  0 ]
 110 [ 0,  0,  -S,  -S,  T,  -Q+T ]
 111 [ 0,  0,  -S,  -S,  -S,  0 ]
 112 [ 0,  0,  -S,  -S,  -S,  -Q-S ]
 113 ---------------------------------------
 114 Domain :
 115          P - R - S  >= 0
 116          - R + S  >= 0
 117          - Q + T  >= 0
 118          Q - R - S  >= 0
 119          R  >= 0
 120           1 >= 0
 121
 122 Vertices :
 123 [ R+S,  R+S,  R,  S,  Q,  0 ]
 124 [ R+S,  R+S,  R,  S,  S,  0 ]
 125 [ R+S,  R+S,  R,  S,  S,  -Q+S ]
 126 [ R+S,  R+S,  R,  R,  Q,  0 ]
 127 [ R+S,  R+S,  R,  R,  R,  0 ]
 128 [ R+S,  R+S,  R,  R,  R,  -Q+R ]
 129 [ 0,  R+S,  R,  S,  Q,  0 ]
 130 [ 0,  R+S,  R,  S,  S,  0 ]
 131 [ 0,  R+S,  R,  S,  S,  -Q+S ]
 132 [ 0,  R+S,  R,  R,  Q,  0 ]
 133 [ 0,  R+S,  R,  R,  R,  0 ]
 134 [ 0,  R+S,  R,  R,  R,  -Q+R ]
 135 [ 0,  0,  R,  S,  Q,  0 ]
 136 [ 0,  0,  R,  S,  S,  0 ]
 137 [ 0,  0,  R,  S,  S,  -Q+S ]
 138 [ 0,  0,  R,  R,  Q,  0 ]
 139 [ 0,  0,  R,  R,  R,  0 ]
 140 [ 0,  0,  R,  R,  R,  -Q+R ]
 141 [ 0,  0,  -S,  S,  Q,  0 ]
 142 [ 0,  0,  -S,  S,  S,  0 ]
 143 [ 0,  0,  -S,  S,  S,  -Q+S ]
 144 [ 0,  0,  -S,  -S,  Q,  0 ]
 145 [ 0,  0,  -S,  -S,  -S,  0 ]
 146 [ 0,  0,  -S,  -S,  -S,  -Q-S ]
 147 ---------------------------------------
 148 Domain :
 149          - S + T  >= 0
 150          - R + S  >= 0
 151          P - R - S  >= 0
 152          R  >= 0
 153          Q - T  >= 0
 154          Q - R - S  >= 0
 155           1 >= 0
 156
 157 Vertices :
 158 [ R+S,  R+S,  R,  S,  T,  0 ]
 159 [ R+S,  R+S,  R,  S,  T,  -Q+T ]
 160 [ R+S,  R+S,  R,  S,  S,  0 ]
 161 [ R+S,  R+S,  R,  S,  S,  -Q+S ]
 162 [ R+S,  R+S,  R,  R,  T,  0 ]
 163 [ R+S,  R+S,  R,  R,  T,  -Q+T ]
 164 [ R+S,  R+S,  R,  R,  R,  0 ]
 165 [ R+S,  R+S,  R,  R,  R,  -Q+R ]
 166 [ 0,  R+S,  R,  S,  T,  0 ]
 167 [ 0,  R+S,  R,  S,  T,  -Q+T ]
 168 [ 0,  R+S,  R,  S,  S,  0 ]
 169 [ 0,  R+S,  R,  S,  S,  -Q+S ]
 170 [ 0,  R+S,  R,  R,  T,  0 ]
 171 [ 0,  R+S,  R,  R,  T,  -Q+T ]
 172 [ 0,  R+S,  R,  R,  R,  0 ]
 173 [ 0,  R+S,  R,  R,  R,  -Q+R ]
 174 [ 0,  0,  R,  S,  T,  0 ]
 175 [ 0,  0,  R,  S,  T,  -Q+T ]
 176 [ 0,  0,  R,  S,  S,  0 ]
 177 [ 0,  0,  R,  S,  S,  -Q+S ]
 178 [ 0,  0,  R,  R,  T,  0 ]
 179 [ 0,  0,  R,  R,  T,  -Q+T ]
 180 [ 0,  0,  R,  R,  R,  0 ]
 181 [ 0,  0,  R,  R,  R,  -Q+R ]
 182 [ 0,  0,  -S,  S,  T,  0 ]
 183 [ 0,  0,  -S,  S,  T,  -Q+T ]
 184 [ 0,  0,  -S,  S,  S,  0 ]
 185 [ 0,  0,  -S,  S,  S,  -Q+S ]
 186 [ 0,  0,  -S,  -S,  T,  0 ]
 187 [ 0,  0,  -S,  -S,  T,  -Q+T ]
 188 [ 0,  0,  -S,  -S,  -S,  0 ]
 189 [ 0,  0,  -S,  -S,  -S,  -Q-S ]
 190 ---------------------------------------
 191 Domain :
 192          P - Q  >= 0
 193          - Q + T  >= 0
 194          Q  >= 0
 195          - Q + S  >= 0
 196          - Q + R  >= 0
 197           1 >= 0
 198
 199 Vertices :
 200 [ Q,  Q,  Q,  Q,  Q,  0 ]
 201 [ Q,  Q,  Q-S,  Q,  Q,  0 ]
 202 [ Q,  Q,  Q-S,  Q-S,  Q,  0 ]
 203 [ Q,  Q,  Q-S,  Q-S,  Q-S,  0 ]
 204 [ Q,  Q,  Q-S,  Q-S,  Q-S,  -S ]
 205 [ 0,  Q,  Q,  Q,  Q,  0 ]
 206 [ 0,  Q,  Q-S,  Q,  Q,  0 ]
 207 [ 0,  Q,  Q-S,  Q-S,  Q,  0 ]
 208 [ 0,  Q,  Q-S,  Q-S,  Q-S,  0 ]
 209 [ 0,  Q,  Q-S,  Q-S,  Q-S,  -S ]
 210 [ 0,  0,  Q,  Q,  Q,  0 ]
 211 [ 0,  0,  -S,  Q,  Q,  0 ]
 212 [ 0,  0,  -S,  -S,  Q,  0 ]
 213 [ 0,  0,  -S,  -S,  -S,  0 ]
 214 [ 0,  0,  -S,  -S,  -S,  -Q-S ]
 215 ---------------------------------------
 216 Domain :
 217          - Q + S + T  >= 0
 218          P - Q  >= 0
 219          R - T  >= 0
 220          T  >= 0
 221          Q - T  >= 0
 222          S - T  >= 0
 223           1 >= 0
 224
 225 Vertices :
 226 [ Q,  Q,  T,  T,  T,  0 ]
 227 [ Q,  Q,  T,  T,  T,  -Q+T ]
 228 [ Q,  Q,  Q-S,  T,  T,  0 ]
 229 [ Q,  Q,  Q-S,  T,  T,  -Q+T ]
 230 [ Q,  Q,  Q-S,  Q-S,  T,  0 ]
 231 [ Q,  Q,  Q-S,  Q-S,  T,  -Q+T ]
 232 [ Q,  Q,  Q-S,  Q-S,  Q-S,  0 ]
 233 [ Q,  Q,  Q-S,  Q-S,  Q-S,  -S ]
 234 [ 0,  Q,  T,  T,  T,  0 ]
 235 [ 0,  Q,  T,  T,  T,  -Q+T ]
 236 [ 0,  Q,  Q-S,  T,  T,  0 ]
 237 [ 0,  Q,  Q-S,  T,  T,  -Q+T ]
 238 [ 0,  Q,  Q-S,  Q-S,  T,  0 ]
 239 [ 0,  Q,  Q-S,  Q-S,  T,  -Q+T ]
 240 [ 0,  Q,  Q-S,  Q-S,  Q-S,  0 ]
 241 [ 0,  Q,  Q-S,  Q-S,  Q-S,  -S ]
 242 [ 0,  0,  T,  T,  T,  0 ]
 243 [ 0,  0,  T,  T,  T,  -Q+T ]
 244 [ 0,  0,  -S,  T,  T,  0 ]
 245 [ 0,  0,  -S,  T,  T,  -Q+T ]
 246 [ 0,  0,  -S,  -S,  T,  0 ]
 247 [ 0,  0,  -S,  -S,  T,  -Q+T ]
 248 [ 0,  0,  -S,  -S,  -S,  0 ]
 249 [ 0,  0,  -S,  -S,  -S,  -Q-S ]
 250 ---------------------------------------
 251 Domain :
 252          P - Q  >= 0
 253          - Q + T  >= 0
 254          - Q + 2S  >= 0
 255          Q - S  >= 0
 256          R - S  >= 0
 257           1 >= 0
 258
 259 Vertices :
 260 [ Q,  Q,  S,  S,  Q,  0 ]
 261 [ Q,  Q,  S,  S,  S,  0 ]
 262 [ Q,  Q,  S,  S,  S,  -Q+S ]
 263 [ Q,  Q,  Q-S,  S,  Q,  0 ]
 264 [ Q,  Q,  Q-S,  S,  S,  0 ]
 265 [ Q,  Q,  Q-S,  S,  S,  -Q+S ]
 266 [ Q,  Q,  Q-S,  Q-S,  Q,  0 ]
 267 [ Q,  Q,  Q-S,  Q-S,  Q-S,  0 ]
 268 [ Q,  Q,  Q-S,  Q-S,  Q-S,  -S ]
 269 [ 0,  Q,  S,  S,  Q,  0 ]
 270 [ 0,  Q,  S,  S,  S,  0 ]
 271 [ 0,  Q,  S,  S,  S,  -Q+S ]
 272 [ 0,  Q,  Q-S,  S,  Q,  0 ]
 273 [ 0,  Q,  Q-S,  S,  S,  0 ]
 274 [ 0,  Q,  Q-S,  S,  S,  -Q+S ]
 275 [ 0,  Q,  Q-S,  Q-S,  Q,  0 ]
 276 [ 0,  Q,  Q-S,  Q-S,  Q-S,  0 ]
 277 [ 0,  Q,  Q-S,  Q-S,  Q-S,  -S ]
 278 [ 0,  0,  S,  S,  Q,  0 ]
 279 [ 0,  0,  S,  S,  S,  0 ]
 280 [ 0,  0,  S,  S,  S,  -Q+S ]
 281 [ 0,  0,  -S,  S,  Q,  0 ]
 282 [ 0,  0,  -S,  S,  S,  0 ]
 283 [ 0,  0,  -S,  S,  S,  -Q+S ]
 284 [ 0,  0,  -S,  -S,  Q,  0 ]
 285 [ 0,  0,  -S,  -S,  -S,  0 ]
 286 [ 0,  0,  -S,  -S,  -S,  -Q-S ]
 287 ---------------------------------------
 288 Domain :
 289          P - Q  >= 0
 290          Q - T  >= 0
 291          - Q + 2S  >= 0
 292          - S + T  >= 0
 293          R - S  >= 0
 294           1 >= 0
 295
 296 Vertices :
 297 [ Q,  Q,  S,  S,  T,  0 ]
 298 [ Q,  Q,  S,  S,  T,  -Q+T ]
 299 [ Q,  Q,  S,  S,  S,  0 ]
 300 [ Q,  Q,  S,  S,  S,  -Q+S ]
 301 [ Q,  Q,  Q-S,  S,  T,  0 ]
 302 [ Q,  Q,  Q-S,  S,  T,  -Q+T ]
 303 [ Q,  Q,  Q-S,  S,  S,  0 ]
 304 [ Q,  Q,  Q-S,  S,  S,  -Q+S ]
 305 [ Q,  Q,  Q-S,  Q-S,  T,  0 ]
 306 [ Q,  Q,  Q-S,  Q-S,  T,  -Q+T ]
 307 [ Q,  Q,  Q-S,  Q-S,  Q-S,  0 ]
 308 [ Q,  Q,  Q-S,  Q-S,  Q-S,  -S ]
 309 [ 0,  Q,  S,  S,  T,  0 ]
 310 [ 0,  Q,  S,  S,  T,  -Q+T ]
 311 [ 0,  Q,  S,  S,  S,  0 ]
 312 [ 0,  Q,  S,  S,  S,  -Q+S ]
 313 [ 0,  Q,  Q-S,  S,  T,  0 ]
 314 [ 0,  Q,  Q-S,  S,  T,  -Q+T ]
 315 [ 0,  Q,  Q-S,  S,  S,  0 ]
 316 [ 0,  Q,  Q-S,  S,  S,  -Q+S ]
 317 [ 0,  Q,  Q-S,  Q-S,  T,  0 ]
 318 [ 0,  Q,  Q-S,  Q-S,  T,  -Q+T ]
 319 [ 0,  Q,  Q-S,  Q-S,  Q-S,  0 ]
 320 [ 0,  Q,  Q-S,  Q-S,  Q-S,  -S ]
 321 [ 0,  0,  S,  S,  T,  0 ]
 322 [ 0,  0,  S,  S,  T,  -Q+T ]
 323 [ 0,  0,  S,  S,  S,  0 ]
 324 [ 0,  0,  S,  S,  S,  -Q+S ]
 325 [ 0,  0,  -S,  S,  T,  0 ]
 326 [ 0,  0,  -S,  S,  T,  -Q+T ]
 327 [ 0,  0,  -S,  S,  S,  0 ]
 328 [ 0,  0,  -S,  S,  S,  -Q+S ]
 329 [ 0,  0,  -S,  -S,  T,  0 ]
 330 [ 0,  0,  -S,  -S,  T,  -Q+T ]
 331 [ 0,  0,  -S,  -S,  -S,  0 ]
 332 [ 0,  0,  -S,  -S,  -S,  -Q-S ]
 333 ---------------------------------------
 334 Domain :
 335          P - Q  >= 0
 336          Q - R  >= 0
 337          - Q + T  >= 0
 338          R  >= 0
 339          - Q + S  >= 0
 340           1 >= 0
 341
 342 Vertices :
 343 [ Q,  Q,  R,  Q,  Q,  0 ]
 344 [ Q,  Q,  R,  R,  Q,  0 ]
 345 [ Q,  Q,  R,  R,  R,  0 ]
 346 [ Q,  Q,  R,  R,  R,  -Q+R ]
 347 [ Q,  Q,  Q-S,  Q,  Q,  0 ]
 348 [ Q,  Q,  Q-S,  Q-S,  Q,  0 ]
 349 [ Q,  Q,  Q-S,  Q-S,  Q-S,  0 ]
 350 [ Q,  Q,  Q-S,  Q-S,  Q-S,  -S ]
 351 [ 0,  Q,  R,  Q,  Q,  0 ]
 352 [ 0,  Q,  R,  R,  Q,  0 ]
 353 [ 0,  Q,  R,  R,  R,  0 ]
 354 [ 0,  Q,  R,  R,  R,  -Q+R ]
 355 [ 0,  Q,  Q-S,  Q,  Q,  0 ]
 356 [ 0,  Q,  Q-S,  Q-S,  Q,  0 ]
 357 [ 0,  Q,  Q-S,  Q-S,  Q-S,  0 ]
 358 [ 0,  Q,  Q-S,  Q-S,  Q-S,  -S ]
 359 [ 0,  0,  R,  Q,  Q,  0 ]
 360 [ 0,  0,  R,  R,  Q,  0 ]
 361 [ 0,  0,  R,  R,  R,  0 ]
 362 [ 0,  0,  R,  R,  R,  -Q+R ]
 363 [ 0,  0,  -S,  Q,  Q,  0 ]
 364 [ 0,  0,  -S,  -S,  Q,  0 ]
 365 [ 0,  0,  -S,  -S,  -S,  0 ]
 366 [ 0,  0,  -S,  -S,  -S,  -Q-S ]
 367 ---------------------------------------
 368 Domain :
 369          S - T  >= 0
 370          - R + T  >= 0
 371          P - Q  >= 0
 372          Q - T  >= 0
 373          R  >= 0
 374          - Q + R + S  >= 0
 375           1 >= 0
 376
 377 Vertices :
 378 [ Q,  Q,  R,  T,  T,  0 ]
 379 [ Q,  Q,  R,  T,  T,  -Q+T ]
 380 [ Q,  Q,  R,  R,  T,  0 ]
 381 [ Q,  Q,  R,  R,  T,  -Q+T ]
 382 [ Q,  Q,  R,  R,  R,  0 ]
 383 [ Q,  Q,  R,  R,  R,  -Q+R ]
 384 [ Q,  Q,  Q-S,  T,  T,  0 ]
 385 [ Q,  Q,  Q-S,  T,  T,  -Q+T ]
 386 [ Q,  Q,  Q-S,  Q-S,  T,  0 ]
 387 [ Q,  Q,  Q-S,  Q-S,  T,  -Q+T ]
 388 [ Q,  Q,  Q-S,  Q-S,  Q-S,  0 ]
 389 [ Q,  Q,  Q-S,  Q-S,  Q-S,  -S ]
 390 [ 0,  Q,  R,  T,  T,  0 ]
 391 [ 0,  Q,  R,  T,  T,  -Q+T ]
 392 [ 0,  Q,  R,  R,  T,  0 ]
 393 [ 0,  Q,  R,  R,  T,  -Q+T ]
 394 [ 0,  Q,  R,  R,  R,  0 ]
 395 [ 0,  Q,  R,  R,  R,  -Q+R ]
 396 [ 0,  Q,  Q-S,  T,  T,  0 ]
 397 [ 0,  Q,  Q-S,  T,  T,  -Q+T ]
 398 [ 0,  Q,  Q-S,  Q-S,  T,  0 ]
 399 [ 0,  Q,  Q-S,  Q-S,  T,  -Q+T ]
 400 [ 0,  Q,  Q-S,  Q-S,  Q-S,  0 ]
 401 [ 0,  Q,  Q-S,  Q-S,  Q-S,  -S ]
 402 [ 0,  0,  R,  T,  T,  0 ]
 403 [ 0,  0,  R,  T,  T,  -Q+T ]
 404 [ 0,  0,  R,  R,  T,  0 ]
 405 [ 0,  0,  R,  R,  T,  -Q+T ]
 406 [ 0,  0,  R,  R,  R,  0 ]
 407 [ 0,  0,  R,  R,  R,  -Q+R ]
 408 [ 0,  0,  -S,  T,  T,  0 ]
 409 [ 0,  0,  -S,  T,  T,  -Q+T ]
 410 [ 0,  0,  -S,  -S,  T,  0 ]
 411 [ 0,  0,  -S,  -S,  T,  -Q+T ]
 412 [ 0,  0,  -S,  -S,  -S,  0 ]
 413 [ 0,  0,  -S,  -S,  -S,  -Q-S ]
 414 ---------------------------------------
 415 Domain :
 416          P - Q  >= 0
 417          - R + S  >= 0
 418          - Q + T  >= 0
 419          - Q + R + S  >= 0
 420          Q - S  >= 0
 421           1 >= 0
 422
 423 Vertices :
 424 [ Q,  Q,  R,  S,  Q,  0 ]
 425 [ Q,  Q,  R,  S,  S,  0 ]
 426 [ Q,  Q,  R,  S,  S,  -Q+S ]
 427 [ Q,  Q,  R,  R,  Q,  0 ]
 428 [ Q,  Q,  R,  R,  R,  0 ]
 429 [ Q,  Q,  R,  R,  R,  -Q+R ]
 430 [ Q,  Q,  Q-S,  S,  Q,  0 ]
 431 [ Q,  Q,  Q-S,  S,  S,  0 ]
 432 [ Q,  Q,  Q-S,  S,  S,  -Q+S ]
 433 [ Q,  Q,  Q-S,  Q-S,  Q,  0 ]
 434 [ Q,  Q,  Q-S,  Q-S,  Q-S,  0 ]
 435 [ Q,  Q,  Q-S,  Q-S,  Q-S,  -S ]
 436 [ 0,  Q,  R,  S,  Q,  0 ]
 437 [ 0,  Q,  R,  S,  S,  0 ]
 438 [ 0,  Q,  R,  S,  S,  -Q+S ]
 439 [ 0,  Q,  R,  R,  Q,  0 ]
 440 [ 0,  Q,  R,  R,  R,  0 ]
 441 [ 0,  Q,  R,  R,  R,  -Q+R ]
 442 [ 0,  Q,  Q-S,  S,  Q,  0 ]
 443 [ 0,  Q,  Q-S,  S,  S,  0 ]
 444 [ 0,  Q,  Q-S,  S,  S,  -Q+S ]
 445 [ 0,  Q,  Q-S,  Q-S,  Q,  0 ]
 446 [ 0,  Q,  Q-S,  Q-S,  Q-S,  0 ]
 447 [ 0,  Q,  Q-S,  Q-S,  Q-S,  -S ]
 448 [ 0,  0,  R,  S,  Q,  0 ]
 449 [ 0,  0,  R,  S,  S,  0 ]
 450 [ 0,  0,  R,  S,  S,  -Q+S ]
 451 [ 0,  0,  R,  R,  Q,  0 ]
 452 [ 0,  0,  R,  R,  R,  0 ]
 453 [ 0,  0,  R,  R,  R,  -Q+R ]
 454 [ 0,  0,  -S,  S,  Q,  0 ]
 455 [ 0,  0,  -S,  S,  S,  0 ]
 456 [ 0,  0,  -S,  S,  S,  -Q+S ]
 457 [ 0,  0,  -S,  -S,  Q,  0 ]
 458 [ 0,  0,  -S,  -S,  -S,  0 ]
 459 [ 0,  0,  -S,  -S,  -S,  -Q-S ]
 460 ---------------------------------------
 461 Domain :
 462          P - Q  >= 0
 463          Q - T  >= 0
 464          - R + S  >= 0
 465          - Q + R + S  >= 0
 466          - S + T  >= 0
 467           1 >= 0
 468
 469 Vertices :
 470 [ Q,  Q,  R,  S,  T,  0 ]
 471 [ Q,  Q,  R,  S,  T,  -Q+T ]
 472 [ Q,  Q,  R,  S,  S,  0 ]
 473 [ Q,  Q,  R,  S,  S,  -Q+S ]
 474 [ Q,  Q,  R,  R,  T,  0 ]
 475 [ Q,  Q,  R,  R,  T,  -Q+T ]
 476 [ Q,  Q,  R,  R,  R,  0 ]
 477 [ Q,  Q,  R,  R,  R,  -Q+R ]
 478 [ Q,  Q,  Q-S,  S,  T,  0 ]
 479 [ Q,  Q,  Q-S,  S,  T,  -Q+T ]
 480 [ Q,  Q,  Q-S,  S,  S,  0 ]
 481 [ Q,  Q,  Q-S,  S,  S,  -Q+S ]
 482 [ Q,  Q,  Q-S,  Q-S,  T,  0 ]
 483 [ Q,  Q,  Q-S,  Q-S,  T,  -Q+T ]
 484 [ Q,  Q,  Q-S,  Q-S,  Q-S,  0 ]
 485 [ Q,  Q,  Q-S,  Q-S,  Q-S,  -S ]
 486 [ 0,  Q,  R,  S,  T,  0 ]
 487 [ 0,  Q,  R,  S,  T,  -Q+T ]
 488 [ 0,  Q,  R,  S,  S,  0 ]
 489 [ 0,  Q,  R,  S,  S,  -Q+S ]
 490 [ 0,  Q,  R,  R,  T,  0 ]
 491 [ 0,  Q,  R,  R,  T,  -Q+T ]
 492 [ 0,  Q,  R,  R,  R,  0 ]
 493 [ 0,  Q,  R,  R,  R,  -Q+R ]
 494 [ 0,  Q,  Q-S,  S,  T,  0 ]
 495 [ 0,  Q,  Q-S,  S,  T,  -Q+T ]
 496 [ 0,  Q,  Q-S,  S,  S,  0 ]
 497 [ 0,  Q,  Q-S,  S,  S,  -Q+S ]
 498 [ 0,  Q,  Q-S,  Q-S,  T,  0 ]
 499 [ 0,  Q,  Q-S,  Q-S,  T,  -Q+T ]
 500 [ 0,  Q,  Q-S,  Q-S,  Q-S,  0 ]
 501 [ 0,  Q,  Q-S,  Q-S,  Q-S,  -S ]
 502 [ 0,  0,  R,  S,  T,  0 ]
 503 [ 0,  0,  R,  S,  T,  -Q+T ]
 504 [ 0,  0,  R,  S,  S,  0 ]
 505 [ 0,  0,  R,  S,  S,  -Q+S ]
 506 [ 0,  0,  R,  R,  T,  0 ]
 507 [ 0,  0,  R,  R,  T,  -Q+T ]
 508 [ 0,  0,  R,  R,  R,  0 ]
 509 [ 0,  0,  R,  R,  R,  -Q+R ]
 510 [ 0,  0,  -S,  S,  T,  0 ]
 511 [ 0,  0,  -S,  S,  T,  -Q+T ]
 512 [ 0,  0,  -S,  S,  S,  0 ]
 513 [ 0,  0,  -S,  S,  S,  -Q+S ]
 514 [ 0,  0,  -S,  -S,  T,  0 ]
 515 [ 0,  0,  -S,  -S,  T,  -Q+T ]
 516 [ 0,  0,  -S,  -S,  -S,  0 ]
 517 [ 0,  0,  -S,  -S,  -S,  -Q-S ]
 518 ---------------------------------------
 519 Domain :
 520          - P + S + T  >= 0
 521          Q - S - T  >= 0
 522          R - T  >= 0
 523          T  >= 0
 524          P  >= 0
 525          S - T  >= 0
 526           1 >= 0
 527
 528 Vertices :
 529 [ P,  S+T,  T,  T,  T,  0 ]
 530 [ P,  S+T,  T,  T,  T,  -Q+T ]
 531 [ P,  P,  T,  T,  T,  0 ]
 532 [ P,  P,  T,  T,  T,  -Q+T ]
 533 [ P,  P,  P-S,  T,  T,  0 ]
 534 [ P,  P,  P-S,  T,  T,  -Q+T ]
 535 [ P,  P,  P-S,  P-S,  T,  0 ]
 536 [ P,  P,  P-S,  P-S,  T,  -Q+T ]
 537 [ P,  P,  P-S,  P-S,  P-S,  0 ]
 538 [ P,  P,  P-S,  P-S,  P-S,  P-Q-S ]
 539 [ 0,  S+T,  T,  T,  T,  0 ]
 540 [ 0,  S+T,  T,  T,  T,  -Q+T ]
 541 [ 0,  0,  T,  T,  T,  0 ]
 542 [ 0,  0,  T,  T,  T,  -Q+T ]
 543 [ 0,  0,  -S,  T,  T,  0 ]
 544 [ 0,  0,  -S,  T,  T,  -Q+T ]
 545 [ 0,  0,  -S,  -S,  T,  0 ]
 546 [ 0,  0,  -S,  -S,  T,  -Q+T ]
 547 [ 0,  0,  -S,  -S,  -S,  0 ]
 548 [ 0,  0,  -S,  -S,  -S,  -Q-S ]
 549 ---------------------------------------
 550 Domain :
 551          R - S  >= 0
 552          - Q + T  >= 0
 553          - P + 2S  >= 0
 554          Q -2S  >= 0
 555          P  >= 0
 556           1 >= 0
 557
 558 Vertices :
 559 [ P,  2S,  S,  S,  Q,  0 ]
 560 [ P,  2S,  S,  S,  S,  0 ]
 561 [ P,  2S,  S,  S,  S,  -Q+S ]
 562 [ P,  P,  S,  S,  Q,  0 ]
 563 [ P,  P,  S,  S,  S,  0 ]
 564 [ P,  P,  S,  S,  S,  -Q+S ]
 565 [ P,  P,  P-S,  S,  Q,  0 ]
 566 [ P,  P,  P-S,  S,  S,  0 ]
 567 [ P,  P,  P-S,  S,  S,  -Q+S ]
 568 [ P,  P,  P-S,  P-S,  Q,  0 ]
 569 [ P,  P,  P-S,  P-S,  P-S,  0 ]
 570 [ P,  P,  P-S,  P-S,  P-S,  P-Q-S ]
 571 [ 0,  2S,  S,  S,  Q,  0 ]
 572 [ 0,  2S,  S,  S,  S,  0 ]
 573 [ 0,  2S,  S,  S,  S,  -Q+S ]
 574 [ 0,  0,  S,  S,  Q,  0 ]
 575 [ 0,  0,  S,  S,  S,  0 ]
 576 [ 0,  0,  S,  S,  S,  -Q+S ]
 577 [ 0,  0,  -S,  S,  Q,  0 ]
 578 [ 0,  0,  -S,  S,  S,  0 ]
 579 [ 0,  0,  -S,  S,  S,  -Q+S ]
 580 [ 0,  0,  -S,  -S,  Q,  0 ]
 581 [ 0,  0,  -S,  -S,  -S,  0 ]
 582 [ 0,  0,  -S,  -S,  -S,  -Q-S ]
 583 ---------------------------------------
 584 Domain :
 585          - S + T  >= 0
 586          R - S  >= 0
 587          - P + 2S  >= 0
 588          Q -2S  >= 0
 589          Q - T  >= 0
 590          P  >= 0
 591           1 >= 0
 592
 593 Vertices :
 594 [ P,  2S,  S,  S,  T,  0 ]
 595 [ P,  2S,  S,  S,  T,  -Q+T ]
 596 [ P,  2S,  S,  S,  S,  0 ]
 597 [ P,  2S,  S,  S,  S,  -Q+S ]
 598 [ P,  P,  S,  S,  T,  0 ]
 599 [ P,  P,  S,  S,  T,  -Q+T ]
 600 [ P,  P,  S,  S,  S,  0 ]
 601 [ P,  P,  S,  S,  S,  -Q+S ]
 602 [ P,  P,  P-S,  S,  T,  0 ]
 603 [ P,  P,  P-S,  S,  T,  -Q+T ]
 604 [ P,  P,  P-S,  S,  S,  0 ]
 605 [ P,  P,  P-S,  S,  S,  -Q+S ]
 606 [ P,  P,  P-S,  P-S,  T,  0 ]
 607 [ P,  P,  P-S,  P-S,  T,  -Q+T ]
 608 [ P,  P,  P-S,  P-S,  P-S,  0 ]
 609 [ P,  P,  P-S,  P-S,  P-S,  P-Q-S ]
 610 [ 0,  2S,  S,  S,  T,  0 ]
 611 [ 0,  2S,  S,  S,  T,  -Q+T ]
 612 [ 0,  2S,  S,  S,  S,  0 ]
 613 [ 0,  2S,  S,  S,  S,  -Q+S ]
 614 [ 0,  0,  S,  S,  T,  0 ]
 615 [ 0,  0,  S,  S,  T,  -Q+T ]
 616 [ 0,  0,  S,  S,  S,  0 ]
 617 [ 0,  0,  S,  S,  S,  -Q+S ]
 618 [ 0,  0,  -S,  S,  T,  0 ]
 619 [ 0,  0,  -S,  S,  T,  -Q+T ]
 620 [ 0,  0,  -S,  S,  S,  0 ]
 621 [ 0,  0,  -S,  S,  S,  -Q+S ]
 622 [ 0,  0,  -S,  -S,  T,  0 ]
 623 [ 0,  0,  -S,  -S,  T,  -Q+T ]
 624 [ 0,  0,  -S,  -S,  -S,  0 ]
 625 [ 0,  0,  -S,  -S,  -S,  -Q-S ]
 626 ---------------------------------------
 627 Domain :
 628          - P + R + S  >= 0
 629          Q - R - S  >= 0
 630          - R + T  >= 0
 631          S - T  >= 0
 632          P  >= 0
 633          R  >= 0
 634           1 >= 0
 635
 636 Vertices :
 637 [ P,  R+S,  R,  T,  T,  0 ]
 638 [ P,  R+S,  R,  T,  T,  -Q+T ]
 639 [ P,  R+S,  R,  R,  T,  0 ]
 640 [ P,  R+S,  R,  R,  T,  -Q+T ]
 641 [ P,  R+S,  R,  R,  R,  0 ]
 642 [ P,  R+S,  R,  R,  R,  -Q+R ]
 643 [ P,  P,  R,  T,  T,  0 ]
 644 [ P,  P,  R,  T,  T,  -Q+T ]
 645 [ P,  P,  R,  R,  T,  0 ]
 646 [ P,  P,  R,  R,  T,  -Q+T ]
 647 [ P,  P,  R,  R,  R,  0 ]
 648 [ P,  P,  R,  R,  R,  -Q+R ]
 649 [ P,  P,  P-S,  T,  T,  0 ]
 650 [ P,  P,  P-S,  T,  T,  -Q+T ]
 651 [ P,  P,  P-S,  P-S,  T,  0 ]
 652 [ P,  P,  P-S,  P-S,  T,  -Q+T ]
 653 [ P,  P,  P-S,  P-S,  P-S,  0 ]
 654 [ P,  P,  P-S,  P-S,  P-S,  P-Q-S ]
 655 [ 0,  R+S,  R,  T,  T,  0 ]
 656 [ 0,  R+S,  R,  T,  T,  -Q+T ]
 657 [ 0,  R+S,  R,  R,  T,  0 ]
 658 [ 0,  R+S,  R,  R,  T,  -Q+T ]
 659 [ 0,  R+S,  R,  R,  R,  0 ]
 660 [ 0,  R+S,  R,  R,  R,  -Q+R ]
 661 [ 0,  0,  R,  T,  T,  0 ]
 662 [ 0,  0,  R,  T,  T,  -Q+T ]
 663 [ 0,  0,  R,  R,  T,  0 ]
 664 [ 0,  0,  R,  R,  T,  -Q+T ]
 665 [ 0,  0,  R,  R,  R,  0 ]
 666 [ 0,  0,  R,  R,  R,  -Q+R ]
 667 [ 0,  0,  -S,  T,  T,  0 ]
 668 [ 0,  0,  -S,  T,  T,  -Q+T ]
 669 [ 0,  0,  -S,  -S,  T,  0 ]
 670 [ 0,  0,  -S,  -S,  T,  -Q+T ]
 671 [ 0,  0,  -S,  -S,  -S,  0 ]
 672 [ 0,  0,  -S,  -S,  -S,  -Q-S ]
 673 ---------------------------------------
 674 Domain :
 675          R  >= 0
 676          - Q + T  >= 0
 677          Q - R - S  >= 0
 678          - P + R + S  >= 0
 679          - R + S  >= 0
 680          P  >= 0
 681           1 >= 0
 682
 683 Vertices :
 684 [ P,  R+S,  R,  S,  Q,  0 ]
 685 [ P,  R+S,  R,  S,  S,  0 ]
 686 [ P,  R+S,  R,  S,  S,  -Q+S ]
 687 [ P,  R+S,  R,  R,  Q,  0 ]
 688 [ P,  R+S,  R,  R,  R,  0 ]
 689 [ P,  R+S,  R,  R,  R,  -Q+R ]
 690 [ P,  P,  R,  S,  Q,  0 ]
 691 [ P,  P,  R,  S,  S,  0 ]
 692 [ P,  P,  R,  S,  S,  -Q+S ]
 693 [ P,  P,  R,  R,  Q,  0 ]
 694 [ P,  P,  R,  R,  R,  0 ]
 695 [ P,  P,  R,  R,  R,  -Q+R ]
 696 [ P,  P,  P-S,  S,  Q,  0 ]
 697 [ P,  P,  P-S,  S,  S,  0 ]
 698 [ P,  P,  P-S,  S,  S,  -Q+S ]
 699 [ P,  P,  P-S,  P-S,  Q,  0 ]
 700 [ P,  P,  P-S,  P-S,  P-S,  0 ]
 701 [ P,  P,  P-S,  P-S,  P-S,  P-Q-S ]
 702 [ 0,  R+S,  R,  S,  Q,  0 ]
 703 [ 0,  R+S,  R,  S,  S,  0 ]
 704 [ 0,  R+S,  R,  S,  S,  -Q+S ]
 705 [ 0,  R+S,  R,  R,  Q,  0 ]
 706 [ 0,  R+S,  R,  R,  R,  0 ]
 707 [ 0,  R+S,  R,  R,  R,  -Q+R ]
 708 [ 0,  0,  R,  S,  Q,  0 ]
 709 [ 0,  0,  R,  S,  S,  0 ]
 710 [ 0,  0,  R,  S,  S,  -Q+S ]
 711 [ 0,  0,  R,  R,  Q,  0 ]
 712 [ 0,  0,  R,  R,  R,  0 ]
 713 [ 0,  0,  R,  R,  R,  -Q+R ]
 714 [ 0,  0,  -S,  S,  Q,  0 ]
 715 [ 0,  0,  -S,  S,  S,  0 ]
 716 [ 0,  0,  -S,  S,  S,  -Q+S ]
 717 [ 0,  0,  -S,  -S,  Q,  0 ]
 718 [ 0,  0,  -S,  -S,  -S,  0 ]
 719 [ 0,  0,  -S,  -S,  -S,  -Q-S ]
 720 ---------------------------------------
 721 Domain :
 722          P  >= 0
 723          Q - R - S  >= 0
 724          - R + S  >= 0
 725          - P + R + S  >= 0
 726          - S + T  >= 0
 727          R  >= 0
 728          Q - T  >= 0
 729           1 >= 0
 730
 731 Vertices :
 732 [ P,  R+S,  R,  S,  T,  0 ]
 733 [ P,  R+S,  R,  S,  T,  -Q+T ]
 734 [ P,  R+S,  R,  S,  S,  0 ]
 735 [ P,  R+S,  R,  S,  S,  -Q+S ]
 736 [ P,  R+S,  R,  R,  T,  0 ]
 737 [ P,  R+S,  R,  R,  T,  -Q+T ]
 738 [ P,  R+S,  R,  R,  R,  0 ]
 739 [ P,  R+S,  R,  R,  R,  -Q+R ]
 740 [ P,  P,  R,  S,  T,  0 ]
 741 [ P,  P,  R,  S,  T,  -Q+T ]
 742 [ P,  P,  R,  S,  S,  0 ]
 743 [ P,  P,  R,  S,  S,  -Q+S ]
 744 [ P,  P,  R,  R,  T,  0 ]
 745 [ P,  P,  R,  R,  T,  -Q+T ]
 746 [ P,  P,  R,  R,  R,  0 ]
 747 [ P,  P,  R,  R,  R,  -Q+R ]
 748 [ P,  P,  P-S,  S,  T,  0 ]
 749 [ P,  P,  P-S,  S,  T,  -Q+T ]
 750 [ P,  P,  P-S,  S,  S,  0 ]
 751 [ P,  P,  P-S,  S,  S,  -Q+S ]
 752 [ P,  P,  P-S,  P-S,  T,  0 ]
 753 [ P,  P,  P-S,  P-S,  T,  -Q+T ]
 754 [ P,  P,  P-S,  P-S,  P-S,  0 ]
 755 [ P,  P,  P-S,  P-S,  P-S,  P-Q-S ]
 756 [ 0,  R+S,  R,  S,  T,  0 ]
 757 [ 0,  R+S,  R,  S,  T,  -Q+T ]
 758 [ 0,  R+S,  R,  S,  S,  0 ]
 759 [ 0,  R+S,  R,  S,  S,  -Q+S ]
 760 [ 0,  R+S,  R,  R,  T,  0 ]
 761 [ 0,  R+S,  R,  R,  T,  -Q+T ]
 762 [ 0,  R+S,  R,  R,  R,  0 ]
 763 [ 0,  R+S,  R,  R,  R,  -Q+R ]
 764 [ 0,  0,  R,  S,  T,  0 ]
 765 [ 0,  0,  R,  S,  T,  -Q+T ]
 766 [ 0,  0,  R,  S,  S,  0 ]
 767 [ 0,  0,  R,  S,  S,  -Q+S ]
 768 [ 0,  0,  R,  R,  T,  0 ]
 769 [ 0,  0,  R,  R,  T,  -Q+T ]
 770 [ 0,  0,  R,  R,  R,  0 ]
 771 [ 0,  0,  R,  R,  R,  -Q+R ]
 772 [ 0,  0,  -S,  S,  T,  0 ]
 773 [ 0,  0,  -S,  S,  T,  -Q+T ]
 774 [ 0,  0,  -S,  S,  S,  0 ]
 775 [ 0,  0,  -S,  S,  S,  -Q+S ]
 776 [ 0,  0,  -S,  -S,  T,  0 ]
 777 [ 0,  0,  -S,  -S,  T,  -Q+T ]
 778 [ 0,  0,  -S,  -S,  -S,  0 ]
 779 [ 0,  0,  -S,  -S,  -S,  -Q-S ]
 780 ---------------------------------------
 781 Domain :
 782          - Q + R  >= 0
 783          - Q + T  >= 0
 784          P  >= 0
 785          - P + Q  >= 0
 786          - Q + S  >= 0
 787           1 >= 0
 788
 789 Vertices :
 790 [ P,  Q,  Q,  Q,  Q,  0 ]
 791 [ P,  Q,  Q-S,  Q,  Q,  0 ]
 792 [ P,  Q,  Q-S,  Q-S,  Q,  0 ]
 793 [ P,  Q,  Q-S,  Q-S,  Q-S,  0 ]
 794 [ P,  Q,  Q-S,  Q-S,  Q-S,  -S ]
 795 [ P,  P,  Q,  Q,  Q,  0 ]
 796 [ P,  P,  P-S,  Q,  Q,  0 ]
 797 [ P,  P,  P-S,  P-S,  Q,  0 ]
 798 [ P,  P,  P-S,  P-S,  P-S,  0 ]
 799 [ P,  P,  P-S,  P-S,  P-S,  P-Q-S ]
 800 [ 0,  Q,  Q,  Q,  Q,  0 ]
 801 [ 0,  Q,  Q-S,  Q,  Q,  0 ]
 802 [ 0,  Q,  Q-S,  Q-S,  Q,  0 ]
 803 [ 0,  Q,  Q-S,  Q-S,  Q-S,  0 ]
 804 [ 0,  Q,  Q-S,  Q-S,  Q-S,  -S ]
 805 [ 0,  0,  Q,  Q,  Q,  0 ]
 806 [ 0,  0,  -S,  Q,  Q,  0 ]
 807 [ 0,  0,  -S,  -S,  Q,  0 ]
 808 [ 0,  0,  -S,  -S,  -S,  0 ]
 809 [ 0,  0,  -S,  -S,  -S,  -Q-S ]
 810 ---------------------------------------
 811 Domain :
 812          T  >= 0
 813          R - T  >= 0
 814          - Q + S + T  >= 0
 815          - P + Q  >= 0
 816          S - T  >= 0
 817          P  >= 0
 818          Q - T  >= 0
 819           1 >= 0
 820
 821 Vertices :
 822 [ P,  Q,  T,  T,  T,  0 ]
 823 [ P,  Q,  T,  T,  T,  -Q+T ]
 824 [ P,  Q,  Q-S,  T,  T,  0 ]
 825 [ P,  Q,  Q-S,  T,  T,  -Q+T ]
 826 [ P,  Q,  Q-S,  Q-S,  T,  0 ]
 827 [ P,  Q,  Q-S,  Q-S,  T,  -Q+T ]
 828 [ P,  Q,  Q-S,  Q-S,  Q-S,  0 ]
 829 [ P,  Q,  Q-S,  Q-S,  Q-S,  -S ]
 830 [ P,  P,  T,  T,  T,  0 ]
 831 [ P,  P,  T,  T,  T,  -Q+T ]
 832 [ P,  P,  P-S,  T,  T,  0 ]
 833 [ P,  P,  P-S,  T,  T,  -Q+T ]
 834 [ P,  P,  P-S,  P-S,  T,  0 ]
 835 [ P,  P,  P-S,  P-S,  T,  -Q+T ]
 836 [ P,  P,  P-S,  P-S,  P-S,  0 ]
 837 [ P,  P,  P-S,  P-S,  P-S,  P-Q-S ]
 838 [ 0,  Q,  T,  T,  T,  0 ]
 839 [ 0,  Q,  T,  T,  T,  -Q+T ]
 840 [ 0,  Q,  Q-S,  T,  T,  0 ]
 841 [ 0,  Q,  Q-S,  T,  T,  -Q+T ]
 842 [ 0,  Q,  Q-S,  Q-S,  T,  0 ]
 843 [ 0,  Q,  Q-S,  Q-S,  T,  -Q+T ]
 844 [ 0,  Q,  Q-S,  Q-S,  Q-S,  0 ]
 845 [ 0,  Q,  Q-S,  Q-S,  Q-S,  -S ]
 846 [ 0,  0,  T,  T,  T,  0 ]
 847 [ 0,  0,  T,  T,  T,  -Q+T ]
 848 [ 0,  0,  -S,  T,  T,  0 ]
 849 [ 0,  0,  -S,  T,  T,  -Q+T ]
 850 [ 0,  0,  -S,  -S,  T,  0 ]
 851 [ 0,  0,  -S,  -S,  T,  -Q+T ]
 852 [ 0,  0,  -S,  -S,  -S,  0 ]
 853 [ 0,  0,  -S,  -S,  -S,  -Q-S ]
 854 ---------------------------------------
 855 Domain :
 856          - P + Q  >= 0
 857          - Q + T  >= 0
 858          R - S  >= 0
 859          - Q + 2S  >= 0
 860          P  >= 0
 861          Q - S  >= 0
 862           1 >= 0
 863
 864 Vertices :
 865 [ P,  Q,  S,  S,  Q,  0 ]
 866 [ P,  Q,  S,  S,  S,  0 ]
 867 [ P,  Q,  S,  S,  S,  -Q+S ]
 868 [ P,  Q,  Q-S,  S,  Q,  0 ]
 869 [ P,  Q,  Q-S,  S,  S,  0 ]
 870 [ P,  Q,  Q-S,  S,  S,  -Q+S ]
 871 [ P,  Q,  Q-S,  Q-S,  Q,  0 ]
 872 [ P,  Q,  Q-S,  Q-S,  Q-S,  0 ]
 873 [ P,  Q,  Q-S,  Q-S,  Q-S,  -S ]
 874 [ P,  P,  S,  S,  Q,  0 ]
 875 [ P,  P,  S,  S,  S,  0 ]
 876 [ P,  P,  S,  S,  S,  -Q+S ]
 877 [ P,  P,  P-S,  S,  Q,  0 ]
 878 [ P,  P,  P-S,  S,  S,  0 ]
 879 [ P,  P,  P-S,  S,  S,  -Q+S ]
 880 [ P,  P,  P-S,  P-S,  Q,  0 ]
 881 [ P,  P,  P-S,  P-S,  P-S,  0 ]
 882 [ P,  P,  P-S,  P-S,  P-S,  P-Q-S ]
 883 [ 0,  Q,  S,  S,  Q,  0 ]
 884 [ 0,  Q,  S,  S,  S,  0 ]
 885 [ 0,  Q,  S,  S,  S,  -Q+S ]
 886 [ 0,  Q,  Q-S,  S,  Q,  0 ]
 887 [ 0,  Q,  Q-S,  S,  S,  0 ]
 888 [ 0,  Q,  Q-S,  S,  S,  -Q+S ]
 889 [ 0,  Q,  Q-S,  Q-S,  Q,  0 ]
 890 [ 0,  Q,  Q-S,  Q-S,  Q-S,  0 ]
 891 [ 0,  Q,  Q-S,  Q-S,  Q-S,  -S ]
 892 [ 0,  0,  S,  S,  Q,  0 ]
 893 [ 0,  0,  S,  S,  S,  0 ]
 894 [ 0,  0,  S,  S,  S,  -Q+S ]
 895 [ 0,  0,  -S,  S,  Q,  0 ]
 896 [ 0,  0,  -S,  S,  S,  0 ]
 897 [ 0,  0,  -S,  S,  S,  -Q+S ]
 898 [ 0,  0,  -S,  -S,  Q,  0 ]
 899 [ 0,  0,  -S,  -S,  -S,  0 ]
 900 [ 0,  0,  -S,  -S,  -S,  -Q-S ]
 901 ---------------------------------------
 902 Domain :
 903          - P + Q  >= 0
 904          R - S  >= 0
 905          - Q + 2S  >= 0
 906          - S + T  >= 0
 907          P  >= 0
 908          Q - T  >= 0
 909           1 >= 0
 910
 911 Vertices :
 912 [ P,  Q,  S,  S,  T,  0 ]
 913 [ P,  Q,  S,  S,  T,  -Q+T ]
 914 [ P,  Q,  S,  S,  S,  0 ]
 915 [ P,  Q,  S,  S,  S,  -Q+S ]
 916 [ P,  Q,  Q-S,  S,  T,  0 ]
 917 [ P,  Q,  Q-S,  S,  T,  -Q+T ]
 918 [ P,  Q,  Q-S,  S,  S,  0 ]
 919 [ P,  Q,  Q-S,  S,  S,  -Q+S ]
 920 [ P,  Q,  Q-S,  Q-S,  T,  0 ]
 921 [ P,  Q,  Q-S,  Q-S,  T,  -Q+T ]
 922 [ P,  Q,  Q-S,  Q-S,  Q-S,  0 ]
 923 [ P,  Q,  Q-S,  Q-S,  Q-S,  -S ]
 924 [ P,  P,  S,  S,  T,  0 ]
 925 [ P,  P,  S,  S,  T,  -Q+T ]
 926 [ P,  P,  S,  S,  S,  0 ]
 927 [ P,  P,  S,  S,  S,  -Q+S ]
 928 [ P,  P,  P-S,  S,  T,  0 ]
 929 [ P,  P,  P-S,  S,  T,  -Q+T ]
 930 [ P,  P,  P-S,  S,  S,  0 ]
 931 [ P,  P,  P-S,  S,  S,  -Q+S ]
 932 [ P,  P,  P-S,  P-S,  T,  0 ]
 933 [ P,  P,  P-S,  P-S,  T,  -Q+T ]
 934 [ P,  P,  P-S,  P-S,  P-S,  0 ]
 935 [ P,  P,  P-S,  P-S,  P-S,  P-Q-S ]
 936 [ 0,  Q,  S,  S,  T,  0 ]
 937 [ 0,  Q,  S,  S,  T,  -Q+T ]
 938 [ 0,  Q,  S,  S,  S,  0 ]
 939 [ 0,  Q,  S,  S,  S,  -Q+S ]
 940 [ 0,  Q,  Q-S,  S,  T,  0 ]
 941 [ 0,  Q,  Q-S,  S,  T,  -Q+T ]
 942 [ 0,  Q,  Q-S,  S,  S,  0 ]
 943 [ 0,  Q,  Q-S,  S,  S,  -Q+S ]
 944 [ 0,  Q,  Q-S,  Q-S,  T,  0 ]
 945 [ 0,  Q,  Q-S,  Q-S,  T,  -Q+T ]
 946 [ 0,  Q,  Q-S,  Q-S,  Q-S,  0 ]
 947 [ 0,  Q,  Q-S,  Q-S,  Q-S,  -S ]
 948 [ 0,  0,  S,  S,  T,  0 ]
 949 [ 0,  0,  S,  S,  T,  -Q+T ]
 950 [ 0,  0,  S,  S,  S,  0 ]
 951 [ 0,  0,  S,  S,  S,  -Q+S ]
 952 [ 0,  0,  -S,  S,  T,  0 ]
 953 [ 0,  0,  -S,  S,  T,  -Q+T ]
 954 [ 0,  0,  -S,  S,  S,  0 ]
 955 [ 0,  0,  -S,  S,  S,  -Q+S ]
 956 [ 0,  0,  -S,  -S,  T,  0 ]
 957 [ 0,  0,  -S,  -S,  T,  -Q+T ]
 958 [ 0,  0,  -S,  -S,  -S,  0 ]
 959 [ 0,  0,  -S,  -S,  -S,  -Q-S ]
 960 ---------------------------------------
 961 Domain :
 962          P  >= 0
 963          - Q + T  >= 0
 964          - Q + S  >= 0
 965          Q - R  >= 0
 966          - P + Q  >= 0
 967          R  >= 0
 968           1 >= 0
 969
 970 Vertices :
 971 [ P,  Q,  R,  Q,  Q,  0 ]
 972 [ P,  Q,  R,  R,  Q,  0 ]
 973 [ P,  Q,  R,  R,  R,  0 ]
 974 [ P,  Q,  R,  R,  R,  -Q+R ]
 975 [ P,  Q,  Q-S,  Q,  Q,  0 ]
 976 [ P,  Q,  Q-S,  Q-S,  Q,  0 ]
 977 [ P,  Q,  Q-S,  Q-S,  Q-S,  0 ]
 978 [ P,  Q,  Q-S,  Q-S,  Q-S,  -S ]
 979 [ P,  P,  R,  Q,  Q,  0 ]
 980 [ P,  P,  R,  R,  Q,  0 ]
 981 [ P,  P,  R,  R,  R,  0 ]
 982 [ P,  P,  R,  R,  R,  -Q+R ]
 983 [ P,  P,  P-S,  Q,  Q,  0 ]
 984 [ P,  P,  P-S,  P-S,  Q,  0 ]
 985 [ P,  P,  P-S,  P-S,  P-S,  0 ]
 986 [ P,  P,  P-S,  P-S,  P-S,  P-Q-S ]
 987 [ 0,  Q,  R,  Q,  Q,  0 ]
 988 [ 0,  Q,  R,  R,  Q,  0 ]
 989 [ 0,  Q,  R,  R,  R,  0 ]
 990 [ 0,  Q,  R,  R,  R,  -Q+R ]
 991 [ 0,  Q,  Q-S,  Q,  Q,  0 ]
 992 [ 0,  Q,  Q-S,  Q-S,  Q,  0 ]
 993 [ 0,  Q,  Q-S,  Q-S,  Q-S,  0 ]
 994 [ 0,  Q,  Q-S,  Q-S,  Q-S,  -S ]
 995 [ 0,  0,  R,  Q,  Q,  0 ]
 996 [ 0,  0,  R,  R,  Q,  0 ]
 997 [ 0,  0,  R,  R,  R,  0 ]
 998 [ 0,  0,  R,  R,  R,  -Q+R ]
 999 [ 0,  0,  -S,  Q,  Q,  0 ]
1000 [ 0,  0,  -S,  -S,  Q,  0 ]
1001 [ 0,  0,  -S,  -S,  -S,  0 ]
1002 [ 0,  0,  -S,  -S,  -S,  -Q-S ]
1003 ---------------------------------------
1004 Domain :
1005          R  >= 0
1006          - Q + R + S  >= 0
1007          S - T  >= 0
1008          - P + Q  >= 0
1009          - R + T  >= 0
1010          P  >= 0
1011          Q - T  >= 0
1012           1 >= 0
1013
1014 Vertices :
1015 [ P,  Q,  R,  T,  T,  0 ]
1016 [ P,  Q,  R,  T,  T,  -Q+T ]
1017 [ P,  Q,  R,  R,  T,  0 ]
1018 [ P,  Q,  R,  R,  T,  -Q+T ]
1019 [ P,  Q,  R,  R,  R,  0 ]
1020 [ P,  Q,  R,  R,  R,  -Q+R ]
1021 [ P,  Q,  Q-S,  T,  T,  0 ]
1022 [ P,  Q,  Q-S,  T,  T,  -Q+T ]
1023 [ P,  Q,  Q-S,  Q-S,  T,  0 ]
1024 [ P,  Q,  Q-S,  Q-S,  T,  -Q+T ]
1025 [ P,  Q,  Q-S,  Q-S,  Q-S,  0 ]
1026 [ P,  Q,  Q-S,  Q-S,  Q-S,  -S ]
1027 [ P,  P,  R,  T,  T,  0 ]
1028 [ P,  P,  R,  T,  T,  -Q+T ]
1029 [ P,  P,  R,  R,  T,  0 ]
1030 [ P,  P,  R,  R,  T,  -Q+T ]
1031 [ P,  P,  R,  R,  R,  0 ]
1032 [ P,  P,  R,  R,  R,  -Q+R ]
1033 [ P,  P,  P-S,  T,  T,  0 ]
1034 [ P,  P,  P-S,  T,  T,  -Q+T ]
1035 [ P,  P,  P-S,  P-S,  T,  0 ]
1036 [ P,  P,  P-S,  P-S,  T,  -Q+T ]
1037 [ P,  P,  P-S,  P-S,  P-S,  0 ]
1038 [ P,  P,  P-S,  P-S,  P-S,  P-Q-S ]
1039 [ 0,  Q,  R,  T,  T,  0 ]
1040 [ 0,  Q,  R,  T,  T,  -Q+T ]
1041 [ 0,  Q,  R,  R,  T,  0 ]
1042 [ 0,  Q,  R,  R,  T,  -Q+T ]
1043 [ 0,  Q,  R,  R,  R,  0 ]
1044 [ 0,  Q,  R,  R,  R,  -Q+R ]
1045 [ 0,  Q,  Q-S,  T,  T,  0 ]
1046 [ 0,  Q,  Q-S,  T,  T,  -Q+T ]
1047 [ 0,  Q,  Q-S,  Q-S,  T,  0 ]
1048 [ 0,  Q,  Q-S,  Q-S,  T,  -Q+T ]
1049 [ 0,  Q,  Q-S,  Q-S,  Q-S,  0 ]
1050 [ 0,  Q,  Q-S,  Q-S,  Q-S,  -S ]
1051 [ 0,  0,  R,  T,  T,  0 ]
1052 [ 0,  0,  R,  T,  T,  -Q+T ]
1053 [ 0,  0,  R,  R,  T,  0 ]
1054 [ 0,  0,  R,  R,  T,  -Q+T ]
1055 [ 0,  0,  R,  R,  R,  0 ]
1056 [ 0,  0,  R,  R,  R,  -Q+R ]
1057 [ 0,  0,  -S,  T,  T,  0 ]
1058 [ 0,  0,  -S,  T,  T,  -Q+T ]
1059 [ 0,  0,  -S,  -S,  T,  0 ]
1060 [ 0,  0,  -S,  -S,  T,  -Q+T ]
1061 [ 0,  0,  -S,  -S,  -S,  0 ]
1062 [ 0,  0,  -S,  -S,  -S,  -Q-S ]
1063 ---------------------------------------
1064 Domain :
1065          P  >= 0
1066          - Q + T  >= 0
1067          Q - S  >= 0
1068          - Q + R + S  >= 0
1069          - R + S  >= 0
1070          - P + Q  >= 0
1071           1 >= 0
1072
1073 Vertices :
1074 [ P,  Q,  R,  S,  Q,  0 ]
1075 [ P,  Q,  R,  S,  S,  0 ]
1076 [ P,  Q,  R,  S,  S,  -Q+S ]
1077 [ P,  Q,  R,  R,  Q,  0 ]
1078 [ P,  Q,  R,  R,  R,  0 ]
1079 [ P,  Q,  R,  R,  R,  -Q+R ]
1080 [ P,  Q,  Q-S,  S,  Q,  0 ]
1081 [ P,  Q,  Q-S,  S,  S,  0 ]
1082 [ P,  Q,  Q-S,  S,  S,  -Q+S ]
1083 [ P,  Q,  Q-S,  Q-S,  Q,  0 ]
1084 [ P,  Q,  Q-S,  Q-S,  Q-S,  0 ]
1085 [ P,  Q,  Q-S,  Q-S,  Q-S,  -S ]
1086 [ P,  P,  R,  S,  Q,  0 ]
1087 [ P,  P,  R,  S,  S,  0 ]
1088 [ P,  P,  R,  S,  S,  -Q+S ]
1089 [ P,  P,  R,  R,  Q,  0 ]
1090 [ P,  P,  R,  R,  R,  0 ]
1091 [ P,  P,  R,  R,  R,  -Q+R ]
1092 [ P,  P,  P-S,  S,  Q,  0 ]
1093 [ P,  P,  P-S,  S,  S,  0 ]
1094 [ P,  P,  P-S,  S,  S,  -Q+S ]
1095 [ P,  P,  P-S,  P-S,  Q,  0 ]
1096 [ P,  P,  P-S,  P-S,  P-S,  0 ]
1097 [ P,  P,  P-S,  P-S,  P-S,  P-Q-S ]
1098 [ 0,  Q,  R,  S,  Q,  0 ]
1099 [ 0,  Q,  R,  S,  S,  0 ]
1100 [ 0,  Q,  R,  S,  S,  -Q+S ]
1101 [ 0,  Q,  R,  R,  Q,  0 ]
1102 [ 0,  Q,  R,  R,  R,  0 ]
1103 [ 0,  Q,  R,  R,  R,  -Q+R ]
1104 [ 0,  Q,  Q-S,  S,  Q,  0 ]
1105 [ 0,  Q,  Q-S,  S,  S,  0 ]
1106 [ 0,  Q,  Q-S,  S,  S,  -Q+S ]
1107 [ 0,  Q,  Q-S,  Q-S,  Q,  0 ]
1108 [ 0,  Q,  Q-S,  Q-S,  Q-S,  0 ]
1109 [ 0,  Q,  Q-S,  Q-S,  Q-S,  -S ]
1110 [ 0,  0,  R,  S,  Q,  0 ]
1111 [ 0,  0,  R,  S,  S,  0 ]
1112 [ 0,  0,  R,  S,  S,  -Q+S ]
1113 [ 0,  0,  R,  R,  Q,  0 ]
1114 [ 0,  0,  R,  R,  R,  0 ]
1115 [ 0,  0,  R,  R,  R,  -Q+R ]
1116 [ 0,  0,  -S,  S,  Q,  0 ]
1117 [ 0,  0,  -S,  S,  S,  0 ]
1118 [ 0,  0,  -S,  S,  S,  -Q+S ]
1119 [ 0,  0,  -S,  -S,  Q,  0 ]
1120 [ 0,  0,  -S,  -S,  -S,  0 ]
1121 [ 0,  0,  -S,  -S,  -S,  -Q-S ]
1122 ---------------------------------------
1123 Domain :
1124          - P + Q  >= 0
1125          - S + T  >= 0
1126          - Q + R + S  >= 0
1127          - R + S  >= 0
1128          Q - T  >= 0
1129          P  >= 0
1130           1 >= 0
1131
1132 Vertices :
1133 [ P,  Q,  R,  S,  T,  0 ]
1134 [ P,  Q,  R,  S,  T,  -Q+T ]
1135 [ P,  Q,  R,  S,  S,  0 ]
1136 [ P,  Q,  R,  S,  S,  -Q+S ]
1137 [ P,  Q,  R,  R,  T,  0 ]
1138 [ P,  Q,  R,  R,  T,  -Q+T ]
1139 [ P,  Q,  R,  R,  R,  0 ]
1140 [ P,  Q,  R,  R,  R,  -Q+R ]
1141 [ P,  Q,  Q-S,  S,  T,  0 ]
1142 [ P,  Q,  Q-S,  S,  T,  -Q+T ]
1143 [ P,  Q,  Q-S,  S,  S,  0 ]
1144 [ P,  Q,  Q-S,  S,  S,  -Q+S ]
1145 [ P,  Q,  Q-S,  Q-S,  T,  0 ]
1146 [ P,  Q,  Q-S,  Q-S,  T,  -Q+T ]
1147 [ P,  Q,  Q-S,  Q-S,  Q-S,  0 ]
1148 [ P,  Q,  Q-S,  Q-S,  Q-S,  -S ]
1149 [ P,  P,  R,  S,  T,  0 ]
1150 [ P,  P,  R,  S,  T,  -Q+T ]
1151 [ P,  P,  R,  S,  S,  0 ]
1152 [ P,  P,  R,  S,  S,  -Q+S ]
1153 [ P,  P,  R,  R,  T,  0 ]
1154 [ P,  P,  R,  R,  T,  -Q+T ]
1155 [ P,  P,  R,  R,  R,  0 ]
1156 [ P,  P,  R,  R,  R,  -Q+R ]
1157 [ P,  P,  P-S,  S,  T,  0 ]
1158 [ P,  P,  P-S,  S,  T,  -Q+T ]
1159 [ P,  P,  P-S,  S,  S,  0 ]
1160 [ P,  P,  P-S,  S,  S,  -Q+S ]
1161 [ P,  P,  P-S,  P-S,  T,  0 ]
1162 [ P,  P,  P-S,  P-S,  T,  -Q+T ]
1163 [ P,  P,  P-S,  P-S,  P-S,  0 ]
1164 [ P,  P,  P-S,  P-S,  P-S,  P-Q-S ]
1165 [ 0,  Q,  R,  S,  T,  0 ]
1166 [ 0,  Q,  R,  S,  T,  -Q+T ]
1167 [ 0,  Q,  R,  S,  S,  0 ]
1168 [ 0,  Q,  R,  S,  S,  -Q+S ]
1169 [ 0,  Q,  R,  R,  T,  0 ]
1170 [ 0,  Q,  R,  R,  T,  -Q+T ]
1171 [ 0,  Q,  R,  R,  R,  0 ]
1172 [ 0,  Q,  R,  R,  R,  -Q+R ]
1173 [ 0,  Q,  Q-S,  S,  T,  0 ]
1174 [ 0,  Q,  Q-S,  S,  T,  -Q+T ]
1175 [ 0,  Q,  Q-S,  S,  S,  0 ]
1176 [ 0,  Q,  Q-S,  S,  S,  -Q+S ]
1177 [ 0,  Q,  Q-S,  Q-S,  T,  0 ]
1178 [ 0,  Q,  Q-S,  Q-S,  T,  -Q+T ]
1179 [ 0,  Q,  Q-S,  Q-S,  Q-S,  0 ]
1180 [ 0,  Q,  Q-S,  Q-S,  Q-S,  -S ]
1181 [ 0,  0,  R,  S,  T,  0 ]
1182 [ 0,  0,  R,  S,  T,  -Q+T ]
1183 [ 0,  0,  R,  S,  S,  0 ]
1184 [ 0,  0,  R,  S,  S,  -Q+S ]
1185 [ 0,  0,  R,  R,  T,  0 ]
1186 [ 0,  0,  R,  R,  T,  -Q+T ]
1187 [ 0,  0,  R,  R,  R,  0 ]
1188 [ 0,  0,  R,  R,  R,  -Q+R ]
1189 [ 0,  0,  -S,  S,  T,  0 ]
1190 [ 0,  0,  -S,  S,  T,  -Q+T ]
1191 [ 0,  0,  -S,  S,  S,  0 ]
1192 [ 0,  0,  -S,  S,  S,  -Q+S ]
1193 [ 0,  0,  -S,  -S,  T,  0 ]
1194 [ 0,  0,  -S,  -S,  T,  -Q+T ]
1195 [ 0,  0,  -S,  -S,  -S,  0 ]
1196 [ 0,  0,  -S,  -S,  -S,  -Q-S ]