| blob | f87f0d53f87abd79382dc7168fc86456421dae9d |
1 ---------------------------------------
2 Domain :
3 - Q -2R + S >= 0
4 -2R + U >= 0
5 - Q -2R + T >= 0
6 P + Q + 2R + S >= 0
7 - Q - R >= 0
8 -2R - S >= 0
9 P - Q -2R - S >= 0
10 1 >= 0
12 Vertices :
13 [ Q+2R+S, Q+2R+S, Q+2R, Q+2R, Q+2R, 2R, 2R ]
14 [ -P, Q+2R+S, Q+2R, Q+2R, Q+2R, 2R, 2R ]
15 [ -P, -P, Q+2R, Q+2R, Q+2R, 2R, 2R ]
16 [ -P, -P, -P-S, Q+2R, Q+2R, 2R, 2R ]
17 [ -P, -P, -P-S, -P-S, Q+2R, 2R, 2R ]
18 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
19 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
20 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
21 ---------------------------------------
22 Domain :
23 2R - U >= 0
24 - Q + T - U >= 0
25 - Q + R - U >= 0
26 P + Q + S + U >= 0
27 P - Q - S - U >= 0
28 - Q + S - U >= 0
29 - S - U >= 0
30 1 >= 0
32 Vertices :
33 [ Q+S+U, Q+S+U, Q+U, Q+U, Q+U, U, 2R ]
34 [ Q+S+U, Q+S+U, Q+U, Q+U, Q+U, U, U ]
35 [ -P, Q+S+U, Q+U, Q+U, Q+U, U, 2R ]
36 [ -P, Q+S+U, Q+U, Q+U, Q+U, U, U ]
37 [ -P, -P, Q+U, Q+U, Q+U, U, 2R ]
38 [ -P, -P, Q+U, Q+U, Q+U, U, U ]
39 [ -P, -P, -P-S, Q+U, Q+U, U, 2R ]
40 [ -P, -P, -P-S, Q+U, Q+U, U, U ]
41 [ -P, -P, -P-S, -P-S, Q+U, U, 2R ]
42 [ -P, -P, -P-S, -P-S, Q+U, U, U ]
43 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
44 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
45 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
46 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
47 ---------------------------------------
48 Domain :
49 Q + 2R - T >= 0
50 -2R + U >= 0
51 R - T >= 0
52 P + S + T >= 0
53 P - S - T >= 0
54 S - T >= 0
55 Q - S - T >= 0
56 1 >= 0
58 Vertices :
59 [ S+T, S+T, T, T, T, 2R, 2R ]
60 [ S+T, S+T, T, T, T, -Q+T, 2R ]
61 [ S+T, S+T, T, T, T, -Q+T, -Q+T ]
62 [ -P, S+T, T, T, T, 2R, 2R ]
63 [ -P, S+T, T, T, T, -Q+T, 2R ]
64 [ -P, S+T, T, T, T, -Q+T, -Q+T ]
65 [ -P, -P, T, T, T, 2R, 2R ]
66 [ -P, -P, T, T, T, -Q+T, 2R ]
67 [ -P, -P, T, T, T, -Q+T, -Q+T ]
68 [ -P, -P, -P-S, T, T, 2R, 2R ]
69 [ -P, -P, -P-S, T, T, -Q+T, 2R ]
70 [ -P, -P, -P-S, T, T, -Q+T, -Q+T ]
71 [ -P, -P, -P-S, -P-S, T, 2R, 2R ]
72 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
73 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
74 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
75 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
76 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
77 ---------------------------------------
78 Domain :
79 Q - S - T >= 0
80 R - T >= 0
81 P + S + T >= 0
82 P - S - T >= 0
83 S - T >= 0
84 Q - T + U >= 0
85 2R - U >= 0
86 1 >= 0
88 Vertices :
89 [ S+T, S+T, T, T, T, U, 2R ]
90 [ S+T, S+T, T, T, T, U, U ]
91 [ S+T, S+T, T, T, T, -Q+T, 2R ]
92 [ S+T, S+T, T, T, T, -Q+T, -Q+T ]
93 [ -P, S+T, T, T, T, U, 2R ]
94 [ -P, S+T, T, T, T, U, U ]
95 [ -P, S+T, T, T, T, -Q+T, 2R ]
96 [ -P, S+T, T, T, T, -Q+T, -Q+T ]
97 [ -P, -P, T, T, T, U, 2R ]
98 [ -P, -P, T, T, T, U, U ]
99 [ -P, -P, T, T, T, -Q+T, 2R ]
100 [ -P, -P, T, T, T, -Q+T, -Q+T ]
101 [ -P, -P, -P-S, T, T, U, 2R ]
102 [ -P, -P, -P-S, T, T, U, U ]
103 [ -P, -P, -P-S, T, T, -Q+T, 2R ]
104 [ -P, -P, -P-S, T, T, -Q+T, -Q+T ]
105 [ -P, -P, -P-S, -P-S, T, U, 2R ]
106 [ -P, -P, -P-S, -P-S, T, U, U ]
107 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
108 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
109 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
110 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
111 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
112 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
113 ---------------------------------------
114 Domain :
115 P -2S >= 0
116 -2R + U >= 0
117 - Q -2R + T >= 0
118 P + 2S >= 0
119 R - S >= 0
120 Q -2S >= 0
121 Q + 2R - S >= 0
122 1 >= 0
124 Vertices :
125 [ 2S, 2S, S, S, Q+2R, 2R, 2R ]
126 [ 2S, 2S, S, S, S, 2R, 2R ]
127 [ 2S, 2S, S, S, S, -Q+S, 2R ]
128 [ 2S, 2S, S, S, S, -Q+S, -Q+S ]
129 [ -P, 2S, S, S, Q+2R, 2R, 2R ]
130 [ -P, 2S, S, S, S, 2R, 2R ]
131 [ -P, 2S, S, S, S, -Q+S, 2R ]
132 [ -P, 2S, S, S, S, -Q+S, -Q+S ]
133 [ -P, -P, S, S, Q+2R, 2R, 2R ]
134 [ -P, -P, S, S, S, 2R, 2R ]
135 [ -P, -P, S, S, S, -Q+S, 2R ]
136 [ -P, -P, S, S, S, -Q+S, -Q+S ]
137 [ -P, -P, -P-S, S, Q+2R, 2R, 2R ]
138 [ -P, -P, -P-S, S, S, 2R, 2R ]
139 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
140 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
141 [ -P, -P, -P-S, -P-S, Q+2R, 2R, 2R ]
142 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
143 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
144 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
145 ---------------------------------------
146 Domain :
147 2R - U >= 0
148 - Q + T - U >= 0
149 R - S >= 0
150 P + 2S >= 0
151 Q - S + U >= 0
152 P -2S >= 0
153 Q -2S >= 0
154 1 >= 0
156 Vertices :
157 [ 2S, 2S, S, S, Q+U, U, 2R ]
158 [ 2S, 2S, S, S, Q+U, U, U ]
159 [ 2S, 2S, S, S, S, U, 2R ]
160 [ 2S, 2S, S, S, S, U, U ]
161 [ 2S, 2S, S, S, S, -Q+S, 2R ]
162 [ 2S, 2S, S, S, S, -Q+S, -Q+S ]
163 [ -P, 2S, S, S, Q+U, U, 2R ]
164 [ -P, 2S, S, S, Q+U, U, U ]
165 [ -P, 2S, S, S, S, U, 2R ]
166 [ -P, 2S, S, S, S, U, U ]
167 [ -P, 2S, S, S, S, -Q+S, 2R ]
168 [ -P, 2S, S, S, S, -Q+S, -Q+S ]
169 [ -P, -P, S, S, Q+U, U, 2R ]
170 [ -P, -P, S, S, Q+U, U, U ]
171 [ -P, -P, S, S, S, U, 2R ]
172 [ -P, -P, S, S, S, U, U ]
173 [ -P, -P, S, S, S, -Q+S, 2R ]
174 [ -P, -P, S, S, S, -Q+S, -Q+S ]
175 [ -P, -P, -P-S, S, Q+U, U, 2R ]
176 [ -P, -P, -P-S, S, Q+U, U, U ]
177 [ -P, -P, -P-S, S, S, U, 2R ]
178 [ -P, -P, -P-S, S, S, U, U ]
179 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
180 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
181 [ -P, -P, -P-S, -P-S, Q+U, U, 2R ]
182 [ -P, -P, -P-S, -P-S, Q+U, U, U ]
183 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
184 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
185 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
186 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
187 ---------------------------------------
188 Domain :
189 Q + 2R - T >= 0
190 -2R + U >= 0
191 R - S >= 0
192 P + 2S >= 0
193 - S + T >= 0
194 P -2S >= 0
195 Q -2S >= 0
196 1 >= 0
198 Vertices :
199 [ 2S, 2S, S, S, T, 2R, 2R ]
200 [ 2S, 2S, S, S, T, -Q+T, 2R ]
201 [ 2S, 2S, S, S, T, -Q+T, -Q+T ]
202 [ 2S, 2S, S, S, S, 2R, 2R ]
203 [ 2S, 2S, S, S, S, -Q+S, 2R ]
204 [ 2S, 2S, S, S, S, -Q+S, -Q+S ]
205 [ -P, 2S, S, S, T, 2R, 2R ]
206 [ -P, 2S, S, S, T, -Q+T, 2R ]
207 [ -P, 2S, S, S, T, -Q+T, -Q+T ]
208 [ -P, 2S, S, S, S, 2R, 2R ]
209 [ -P, 2S, S, S, S, -Q+S, 2R ]
210 [ -P, 2S, S, S, S, -Q+S, -Q+S ]
211 [ -P, -P, S, S, T, 2R, 2R ]
212 [ -P, -P, S, S, T, -Q+T, 2R ]
213 [ -P, -P, S, S, T, -Q+T, -Q+T ]
214 [ -P, -P, S, S, S, 2R, 2R ]
215 [ -P, -P, S, S, S, -Q+S, 2R ]
216 [ -P, -P, S, S, S, -Q+S, -Q+S ]
217 [ -P, -P, -P-S, S, T, 2R, 2R ]
218 [ -P, -P, -P-S, S, T, -Q+T, 2R ]
219 [ -P, -P, -P-S, S, T, -Q+T, -Q+T ]
220 [ -P, -P, -P-S, S, S, 2R, 2R ]
221 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
222 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
223 [ -P, -P, -P-S, -P-S, T, 2R, 2R ]
224 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
225 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
226 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
227 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
228 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
229 ---------------------------------------
230 Domain :
231 Q -2S >= 0
232 R - S >= 0
233 P + 2S >= 0
234 - S + T >= 0
235 P -2S >= 0
236 Q - T + U >= 0
237 2R - U >= 0
238 1 >= 0
240 Vertices :
241 [ 2S, 2S, S, S, T, U, 2R ]
242 [ 2S, 2S, S, S, T, U, U ]
243 [ 2S, 2S, S, S, T, -Q+T, 2R ]
244 [ 2S, 2S, S, S, T, -Q+T, -Q+T ]
245 [ 2S, 2S, S, S, S, U, 2R ]
246 [ 2S, 2S, S, S, S, U, U ]
247 [ 2S, 2S, S, S, S, -Q+S, 2R ]
248 [ 2S, 2S, S, S, S, -Q+S, -Q+S ]
249 [ -P, 2S, S, S, T, U, 2R ]
250 [ -P, 2S, S, S, T, U, U ]
251 [ -P, 2S, S, S, T, -Q+T, 2R ]
252 [ -P, 2S, S, S, T, -Q+T, -Q+T ]
253 [ -P, 2S, S, S, S, U, 2R ]
254 [ -P, 2S, S, S, S, U, U ]
255 [ -P, 2S, S, S, S, -Q+S, 2R ]
256 [ -P, 2S, S, S, S, -Q+S, -Q+S ]
257 [ -P, -P, S, S, T, U, 2R ]
258 [ -P, -P, S, S, T, U, U ]
259 [ -P, -P, S, S, T, -Q+T, 2R ]
260 [ -P, -P, S, S, T, -Q+T, -Q+T ]
261 [ -P, -P, S, S, S, U, 2R ]
262 [ -P, -P, S, S, S, U, U ]
263 [ -P, -P, S, S, S, -Q+S, 2R ]
264 [ -P, -P, S, S, S, -Q+S, -Q+S ]
265 [ -P, -P, -P-S, S, T, U, 2R ]
266 [ -P, -P, -P-S, S, T, U, U ]
267 [ -P, -P, -P-S, S, T, -Q+T, 2R ]
268 [ -P, -P, -P-S, S, T, -Q+T, -Q+T ]
269 [ -P, -P, -P-S, S, S, U, 2R ]
270 [ -P, -P, -P-S, S, S, U, U ]
271 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
272 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
273 [ -P, -P, -P-S, -P-S, T, U, 2R ]
274 [ -P, -P, -P-S, -P-S, T, U, U ]
275 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
276 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
277 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
278 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
279 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
280 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
281 ---------------------------------------
282 Domain :
283 P + R + S >= 0
284 -2R + U >= 0
285 - Q -2R + T >= 0
286 - Q -2R + S >= 0
287 Q + R >= 0
288 P - R - S >= 0
289 Q - R - S >= 0
290 1 >= 0
292 Vertices :
293 [ R+S, R+S, R, Q+2R, Q+2R, 2R, 2R ]
294 [ R+S, R+S, R, R, Q+2R, 2R, 2R ]
295 [ R+S, R+S, R, R, R, 2R, 2R ]
296 [ R+S, R+S, R, R, R, -Q+R, 2R ]
297 [ R+S, R+S, R, R, R, -Q+R, -Q+R ]
298 [ -P, R+S, R, Q+2R, Q+2R, 2R, 2R ]
299 [ -P, R+S, R, R, Q+2R, 2R, 2R ]
300 [ -P, R+S, R, R, R, 2R, 2R ]
301 [ -P, R+S, R, R, R, -Q+R, 2R ]
302 [ -P, R+S, R, R, R, -Q+R, -Q+R ]
303 [ -P, -P, R, Q+2R, Q+2R, 2R, 2R ]
304 [ -P, -P, R, R, Q+2R, 2R, 2R ]
305 [ -P, -P, R, R, R, 2R, 2R ]
306 [ -P, -P, R, R, R, -Q+R, 2R ]
307 [ -P, -P, R, R, R, -Q+R, -Q+R ]
308 [ -P, -P, -P-S, Q+2R, Q+2R, 2R, 2R ]
309 [ -P, -P, -P-S, -P-S, Q+2R, 2R, 2R ]
310 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
311 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
312 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
313 ---------------------------------------
314 Domain :
315 P + R + S >= 0
316 - Q + T - U >= 0
317 - Q + S - U >= 0
318 Q - R + U >= 0
319 P - R - S >= 0
320 Q - R - S >= 0
321 2R - U >= 0
322 1 >= 0
324 Vertices :
325 [ R+S, R+S, R, Q+U, Q+U, U, 2R ]
326 [ R+S, R+S, R, Q+U, Q+U, U, U ]
327 [ R+S, R+S, R, R, Q+U, U, 2R ]
328 [ R+S, R+S, R, R, Q+U, U, U ]
329 [ R+S, R+S, R, R, R, U, 2R ]
330 [ R+S, R+S, R, R, R, U, U ]
331 [ R+S, R+S, R, R, R, -Q+R, 2R ]
332 [ R+S, R+S, R, R, R, -Q+R, -Q+R ]
333 [ -P, R+S, R, Q+U, Q+U, U, 2R ]
334 [ -P, R+S, R, Q+U, Q+U, U, U ]
335 [ -P, R+S, R, R, Q+U, U, 2R ]
336 [ -P, R+S, R, R, Q+U, U, U ]
337 [ -P, R+S, R, R, R, U, 2R ]
338 [ -P, R+S, R, R, R, U, U ]
339 [ -P, R+S, R, R, R, -Q+R, 2R ]
340 [ -P, R+S, R, R, R, -Q+R, -Q+R ]
341 [ -P, -P, R, Q+U, Q+U, U, 2R ]
342 [ -P, -P, R, Q+U, Q+U, U, U ]
343 [ -P, -P, R, R, Q+U, U, 2R ]
344 [ -P, -P, R, R, Q+U, U, U ]
345 [ -P, -P, R, R, R, U, 2R ]
346 [ -P, -P, R, R, R, U, U ]
347 [ -P, -P, R, R, R, -Q+R, 2R ]
348 [ -P, -P, R, R, R, -Q+R, -Q+R ]
349 [ -P, -P, -P-S, Q+U, Q+U, U, 2R ]
350 [ -P, -P, -P-S, Q+U, Q+U, U, U ]
351 [ -P, -P, -P-S, -P-S, Q+U, U, 2R ]
352 [ -P, -P, -P-S, -P-S, Q+U, U, U ]
353 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
354 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
355 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
356 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
357 ---------------------------------------
358 Domain :
359 P + R + S >= 0
360 -2R + U >= 0
361 S - T >= 0
362 - R + T >= 0
363 P - R - S >= 0
364 Q - R - S >= 0
365 Q + 2R - T >= 0
366 1 >= 0
368 Vertices :
369 [ R+S, R+S, R, T, T, 2R, 2R ]
370 [ R+S, R+S, R, T, T, -Q+T, 2R ]
371 [ R+S, R+S, R, T, T, -Q+T, -Q+T ]
372 [ R+S, R+S, R, R, T, 2R, 2R ]
373 [ R+S, R+S, R, R, T, -Q+T, 2R ]
374 [ R+S, R+S, R, R, T, -Q+T, -Q+T ]
375 [ R+S, R+S, R, R, R, 2R, 2R ]
376 [ R+S, R+S, R, R, R, -Q+R, 2R ]
377 [ R+S, R+S, R, R, R, -Q+R, -Q+R ]
378 [ -P, R+S, R, T, T, 2R, 2R ]
379 [ -P, R+S, R, T, T, -Q+T, 2R ]
380 [ -P, R+S, R, T, T, -Q+T, -Q+T ]
381 [ -P, R+S, R, R, T, 2R, 2R ]
382 [ -P, R+S, R, R, T, -Q+T, 2R ]
383 [ -P, R+S, R, R, T, -Q+T, -Q+T ]
384 [ -P, R+S, R, R, R, 2R, 2R ]
385 [ -P, R+S, R, R, R, -Q+R, 2R ]
386 [ -P, R+S, R, R, R, -Q+R, -Q+R ]
387 [ -P, -P, R, T, T, 2R, 2R ]
388 [ -P, -P, R, T, T, -Q+T, 2R ]
389 [ -P, -P, R, T, T, -Q+T, -Q+T ]
390 [ -P, -P, R, R, T, 2R, 2R ]
391 [ -P, -P, R, R, T, -Q+T, 2R ]
392 [ -P, -P, R, R, T, -Q+T, -Q+T ]
393 [ -P, -P, R, R, R, 2R, 2R ]
394 [ -P, -P, R, R, R, -Q+R, 2R ]
395 [ -P, -P, R, R, R, -Q+R, -Q+R ]
396 [ -P, -P, -P-S, T, T, 2R, 2R ]
397 [ -P, -P, -P-S, T, T, -Q+T, 2R ]
398 [ -P, -P, -P-S, T, T, -Q+T, -Q+T ]
399 [ -P, -P, -P-S, -P-S, T, 2R, 2R ]
400 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
401 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
402 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
403 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
404 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
405 ---------------------------------------
406 Domain :
407 P + R + S >= 0
408 S - T >= 0
409 - R + T >= 0
410 P - R - S >= 0
411 Q - T + U >= 0
412 2R - U >= 0
413 Q - R - S >= 0
414 1 >= 0
416 Vertices :
417 [ R+S, R+S, R, T, T, U, 2R ]
418 [ R+S, R+S, R, T, T, U, U ]
419 [ R+S, R+S, R, T, T, -Q+T, 2R ]
420 [ R+S, R+S, R, T, T, -Q+T, -Q+T ]
421 [ R+S, R+S, R, R, T, U, 2R ]
422 [ R+S, R+S, R, R, T, U, U ]
423 [ R+S, R+S, R, R, T, -Q+T, 2R ]
424 [ R+S, R+S, R, R, T, -Q+T, -Q+T ]
425 [ R+S, R+S, R, R, R, U, 2R ]
426 [ R+S, R+S, R, R, R, U, U ]
427 [ R+S, R+S, R, R, R, -Q+R, 2R ]
428 [ R+S, R+S, R, R, R, -Q+R, -Q+R ]
429 [ -P, R+S, R, T, T, U, 2R ]
430 [ -P, R+S, R, T, T, U, U ]
431 [ -P, R+S, R, T, T, -Q+T, 2R ]
432 [ -P, R+S, R, T, T, -Q+T, -Q+T ]
433 [ -P, R+S, R, R, T, U, 2R ]
434 [ -P, R+S, R, R, T, U, U ]
435 [ -P, R+S, R, R, T, -Q+T, 2R ]
436 [ -P, R+S, R, R, T, -Q+T, -Q+T ]
437 [ -P, R+S, R, R, R, U, 2R ]
438 [ -P, R+S, R, R, R, U, U ]
439 [ -P, R+S, R, R, R, -Q+R, 2R ]
440 [ -P, R+S, R, R, R, -Q+R, -Q+R ]
441 [ -P, -P, R, T, T, U, 2R ]
442 [ -P, -P, R, T, T, U, U ]
443 [ -P, -P, R, T, T, -Q+T, 2R ]
444 [ -P, -P, R, T, T, -Q+T, -Q+T ]
445 [ -P, -P, R, R, T, U, 2R ]
446 [ -P, -P, R, R, T, U, U ]
447 [ -P, -P, R, R, T, -Q+T, 2R ]
448 [ -P, -P, R, R, T, -Q+T, -Q+T ]
449 [ -P, -P, R, R, R, U, 2R ]
450 [ -P, -P, R, R, R, U, U ]
451 [ -P, -P, R, R, R, -Q+R, 2R ]
452 [ -P, -P, R, R, R, -Q+R, -Q+R ]
453 [ -P, -P, -P-S, T, T, U, 2R ]
454 [ -P, -P, -P-S, T, T, U, U ]
455 [ -P, -P, -P-S, T, T, -Q+T, 2R ]
456 [ -P, -P, -P-S, T, T, -Q+T, -Q+T ]
457 [ -P, -P, -P-S, -P-S, T, U, 2R ]
458 [ -P, -P, -P-S, -P-S, T, U, U ]
459 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
460 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
461 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
462 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
463 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
464 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
465 ---------------------------------------
466 Domain :
467 P + R + S >= 0
468 -2R + U >= 0
469 - Q -2R + T >= 0
470 P - R - S >= 0
471 - R + S >= 0
472 Q + 2R - S >= 0
473 Q - R - S >= 0
474 1 >= 0
476 Vertices :
477 [ R+S, R+S, R, S, Q+2R, 2R, 2R ]
478 [ R+S, R+S, R, S, S, 2R, 2R ]
479 [ R+S, R+S, R, S, S, -Q+S, 2R ]
480 [ R+S, R+S, R, S, S, -Q+S, -Q+S ]
481 [ R+S, R+S, R, R, Q+2R, 2R, 2R ]
482 [ R+S, R+S, R, R, R, 2R, 2R ]
483 [ R+S, R+S, R, R, R, -Q+R, 2R ]
484 [ R+S, R+S, R, R, R, -Q+R, -Q+R ]
485 [ -P, R+S, R, S, Q+2R, 2R, 2R ]
486 [ -P, R+S, R, S, S, 2R, 2R ]
487 [ -P, R+S, R, S, S, -Q+S, 2R ]
488 [ -P, R+S, R, S, S, -Q+S, -Q+S ]
489 [ -P, R+S, R, R, Q+2R, 2R, 2R ]
490 [ -P, R+S, R, R, R, 2R, 2R ]
491 [ -P, R+S, R, R, R, -Q+R, 2R ]
492 [ -P, R+S, R, R, R, -Q+R, -Q+R ]
493 [ -P, -P, R, S, Q+2R, 2R, 2R ]
494 [ -P, -P, R, S, S, 2R, 2R ]
495 [ -P, -P, R, S, S, -Q+S, 2R ]
496 [ -P, -P, R, S, S, -Q+S, -Q+S ]
497 [ -P, -P, R, R, Q+2R, 2R, 2R ]
498 [ -P, -P, R, R, R, 2R, 2R ]
499 [ -P, -P, R, R, R, -Q+R, 2R ]
500 [ -P, -P, R, R, R, -Q+R, -Q+R ]
501 [ -P, -P, -P-S, S, Q+2R, 2R, 2R ]
502 [ -P, -P, -P-S, S, S, 2R, 2R ]
503 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
504 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
505 [ -P, -P, -P-S, -P-S, Q+2R, 2R, 2R ]
506 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
507 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
508 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
509 ---------------------------------------
510 Domain :
511 P + R + S >= 0
512 - Q + T - U >= 0
513 P - R - S >= 0
514 - R + S >= 0
515 Q - S + U >= 0
516 Q - R - S >= 0
517 2R - U >= 0
518 1 >= 0
520 Vertices :
521 [ R+S, R+S, R, S, Q+U, U, 2R ]
522 [ R+S, R+S, R, S, Q+U, U, U ]
523 [ R+S, R+S, R, S, S, U, 2R ]
524 [ R+S, R+S, R, S, S, U, U ]
525 [ R+S, R+S, R, S, S, -Q+S, 2R ]
526 [ R+S, R+S, R, S, S, -Q+S, -Q+S ]
527 [ R+S, R+S, R, R, Q+U, U, 2R ]
528 [ R+S, R+S, R, R, Q+U, U, U ]
529 [ R+S, R+S, R, R, R, U, 2R ]
530 [ R+S, R+S, R, R, R, U, U ]
531 [ R+S, R+S, R, R, R, -Q+R, 2R ]
532 [ R+S, R+S, R, R, R, -Q+R, -Q+R ]
533 [ -P, R+S, R, S, Q+U, U, 2R ]
534 [ -P, R+S, R, S, Q+U, U, U ]
535 [ -P, R+S, R, S, S, U, 2R ]
536 [ -P, R+S, R, S, S, U, U ]
537 [ -P, R+S, R, S, S, -Q+S, 2R ]
538 [ -P, R+S, R, S, S, -Q+S, -Q+S ]
539 [ -P, R+S, R, R, Q+U, U, 2R ]
540 [ -P, R+S, R, R, Q+U, U, U ]
541 [ -P, R+S, R, R, R, U, 2R ]
542 [ -P, R+S, R, R, R, U, U ]
543 [ -P, R+S, R, R, R, -Q+R, 2R ]
544 [ -P, R+S, R, R, R, -Q+R, -Q+R ]
545 [ -P, -P, R, S, Q+U, U, 2R ]
546 [ -P, -P, R, S, Q+U, U, U ]
547 [ -P, -P, R, S, S, U, 2R ]
548 [ -P, -P, R, S, S, U, U ]
549 [ -P, -P, R, S, S, -Q+S, 2R ]
550 [ -P, -P, R, S, S, -Q+S, -Q+S ]
551 [ -P, -P, R, R, Q+U, U, 2R ]
552 [ -P, -P, R, R, Q+U, U, U ]
553 [ -P, -P, R, R, R, U, 2R ]
554 [ -P, -P, R, R, R, U, U ]
555 [ -P, -P, R, R, R, -Q+R, 2R ]
556 [ -P, -P, R, R, R, -Q+R, -Q+R ]
557 [ -P, -P, -P-S, S, Q+U, U, 2R ]
558 [ -P, -P, -P-S, S, Q+U, U, U ]
559 [ -P, -P, -P-S, S, S, U, 2R ]
560 [ -P, -P, -P-S, S, S, U, U ]
561 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
562 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
563 [ -P, -P, -P-S, -P-S, Q+U, U, 2R ]
564 [ -P, -P, -P-S, -P-S, Q+U, U, U ]
565 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
566 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
567 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
568 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
569 ---------------------------------------
570 Domain :
571 P + R + S >= 0
572 -2R + U >= 0
573 P - R - S >= 0
574 - R + S >= 0
575 - S + T >= 0
576 Q - R - S >= 0
577 Q + 2R - T >= 0
578 1 >= 0
580 Vertices :
581 [ R+S, R+S, R, S, T, 2R, 2R ]
582 [ R+S, R+S, R, S, T, -Q+T, 2R ]
583 [ R+S, R+S, R, S, T, -Q+T, -Q+T ]
584 [ R+S, R+S, R, S, S, 2R, 2R ]
585 [ R+S, R+S, R, S, S, -Q+S, 2R ]
586 [ R+S, R+S, R, S, S, -Q+S, -Q+S ]
587 [ R+S, R+S, R, R, T, 2R, 2R ]
588 [ R+S, R+S, R, R, T, -Q+T, 2R ]
589 [ R+S, R+S, R, R, T, -Q+T, -Q+T ]
590 [ R+S, R+S, R, R, R, 2R, 2R ]
591 [ R+S, R+S, R, R, R, -Q+R, 2R ]
592 [ R+S, R+S, R, R, R, -Q+R, -Q+R ]
593 [ -P, R+S, R, S, T, 2R, 2R ]
594 [ -P, R+S, R, S, T, -Q+T, 2R ]
595 [ -P, R+S, R, S, T, -Q+T, -Q+T ]
596 [ -P, R+S, R, S, S, 2R, 2R ]
597 [ -P, R+S, R, S, S, -Q+S, 2R ]
598 [ -P, R+S, R, S, S, -Q+S, -Q+S ]
599 [ -P, R+S, R, R, T, 2R, 2R ]
600 [ -P, R+S, R, R, T, -Q+T, 2R ]
601 [ -P, R+S, R, R, T, -Q+T, -Q+T ]
602 [ -P, R+S, R, R, R, 2R, 2R ]
603 [ -P, R+S, R, R, R, -Q+R, 2R ]
604 [ -P, R+S, R, R, R, -Q+R, -Q+R ]
605 [ -P, -P, R, S, T, 2R, 2R ]
606 [ -P, -P, R, S, T, -Q+T, 2R ]
607 [ -P, -P, R, S, T, -Q+T, -Q+T ]
608 [ -P, -P, R, S, S, 2R, 2R ]
609 [ -P, -P, R, S, S, -Q+S, 2R ]
610 [ -P, -P, R, S, S, -Q+S, -Q+S ]
611 [ -P, -P, R, R, T, 2R, 2R ]
612 [ -P, -P, R, R, T, -Q+T, 2R ]
613 [ -P, -P, R, R, T, -Q+T, -Q+T ]
614 [ -P, -P, R, R, R, 2R, 2R ]
615 [ -P, -P, R, R, R, -Q+R, 2R ]
616 [ -P, -P, R, R, R, -Q+R, -Q+R ]
617 [ -P, -P, -P-S, S, T, 2R, 2R ]
618 [ -P, -P, -P-S, S, T, -Q+T, 2R ]
619 [ -P, -P, -P-S, S, T, -Q+T, -Q+T ]
620 [ -P, -P, -P-S, S, S, 2R, 2R ]
621 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
622 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
623 [ -P, -P, -P-S, -P-S, T, 2R, 2R ]
624 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
625 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
626 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
627 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
628 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
629 ---------------------------------------
630 Domain :
631 P + R + S >= 0
632 P - R - S >= 0
633 - R + S >= 0
634 - S + T >= 0
635 Q - T + U >= 0
636 2R - U >= 0
637 Q - R - S >= 0
638 1 >= 0
640 Vertices :
641 [ R+S, R+S, R, S, T, U, 2R ]
642 [ R+S, R+S, R, S, T, U, U ]
643 [ R+S, R+S, R, S, T, -Q+T, 2R ]
644 [ R+S, R+S, R, S, T, -Q+T, -Q+T ]
645 [ R+S, R+S, R, S, S, U, 2R ]
646 [ R+S, R+S, R, S, S, U, U ]
647 [ R+S, R+S, R, S, S, -Q+S, 2R ]
648 [ R+S, R+S, R, S, S, -Q+S, -Q+S ]
649 [ R+S, R+S, R, R, T, U, 2R ]
650 [ R+S, R+S, R, R, T, U, U ]
651 [ R+S, R+S, R, R, T, -Q+T, 2R ]
652 [ R+S, R+S, R, R, T, -Q+T, -Q+T ]
653 [ R+S, R+S, R, R, R, U, 2R ]
654 [ R+S, R+S, R, R, R, U, U ]
655 [ R+S, R+S, R, R, R, -Q+R, 2R ]
656 [ R+S, R+S, R, R, R, -Q+R, -Q+R ]
657 [ -P, R+S, R, S, T, U, 2R ]
658 [ -P, R+S, R, S, T, U, U ]
659 [ -P, R+S, R, S, T, -Q+T, 2R ]
660 [ -P, R+S, R, S, T, -Q+T, -Q+T ]
661 [ -P, R+S, R, S, S, U, 2R ]
662 [ -P, R+S, R, S, S, U, U ]
663 [ -P, R+S, R, S, S, -Q+S, 2R ]
664 [ -P, R+S, R, S, S, -Q+S, -Q+S ]
665 [ -P, R+S, R, R, T, U, 2R ]
666 [ -P, R+S, R, R, T, U, U ]
667 [ -P, R+S, R, R, T, -Q+T, 2R ]
668 [ -P, R+S, R, R, T, -Q+T, -Q+T ]
669 [ -P, R+S, R, R, R, U, 2R ]
670 [ -P, R+S, R, R, R, U, U ]
671 [ -P, R+S, R, R, R, -Q+R, 2R ]
672 [ -P, R+S, R, R, R, -Q+R, -Q+R ]
673 [ -P, -P, R, S, T, U, 2R ]
674 [ -P, -P, R, S, T, U, U ]
675 [ -P, -P, R, S, T, -Q+T, 2R ]
676 [ -P, -P, R, S, T, -Q+T, -Q+T ]
677 [ -P, -P, R, S, S, U, 2R ]
678 [ -P, -P, R, S, S, U, U ]
679 [ -P, -P, R, S, S, -Q+S, 2R ]
680 [ -P, -P, R, S, S, -Q+S, -Q+S ]
681 [ -P, -P, R, R, T, U, 2R ]
682 [ -P, -P, R, R, T, U, U ]
683 [ -P, -P, R, R, T, -Q+T, 2R ]
684 [ -P, -P, R, R, T, -Q+T, -Q+T ]
685 [ -P, -P, R, R, R, U, 2R ]
686 [ -P, -P, R, R, R, U, U ]
687 [ -P, -P, R, R, R, -Q+R, 2R ]
688 [ -P, -P, R, R, R, -Q+R, -Q+R ]
689 [ -P, -P, -P-S, S, T, U, 2R ]
690 [ -P, -P, -P-S, S, T, U, U ]
691 [ -P, -P, -P-S, S, T, -Q+T, 2R ]
692 [ -P, -P, -P-S, S, T, -Q+T, -Q+T ]
693 [ -P, -P, -P-S, S, S, U, 2R ]
694 [ -P, -P, -P-S, S, S, U, U ]
695 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
696 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
697 [ -P, -P, -P-S, -P-S, T, U, 2R ]
698 [ -P, -P, -P-S, -P-S, T, U, U ]
699 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
700 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
701 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
702 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
703 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
704 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
705 ---------------------------------------
706 Domain :
707 - Q -2R + S >= 0
708 -2R + U >= 0
709 - Q -2R + T >= 0
710 P + Q >= 0
711 - Q - R >= 0
712 2R + S >= 0
713 P - Q >= 0
714 1 >= 0
716 Vertices :
717 [ Q, Q, Q+2R, Q+2R, Q+2R, 2R, 2R ]
718 [ Q, Q, Q-S, Q+2R, Q+2R, 2R, 2R ]
719 [ Q, Q, Q-S, Q-S, Q+2R, 2R, 2R ]
720 [ Q, Q, Q-S, Q-S, Q-S, 2R, 2R ]
721 [ Q, Q, Q-S, Q-S, Q-S, -S, 2R ]
722 [ Q, Q, Q-S, Q-S, Q-S, -S, -S ]
723 [ -P, Q, Q+2R, Q+2R, Q+2R, 2R, 2R ]
724 [ -P, Q, Q-S, Q+2R, Q+2R, 2R, 2R ]
725 [ -P, Q, Q-S, Q-S, Q+2R, 2R, 2R ]
726 [ -P, Q, Q-S, Q-S, Q-S, 2R, 2R ]
727 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
728 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
729 [ -P, -P, Q+2R, Q+2R, Q+2R, 2R, 2R ]
730 [ -P, -P, -P-S, Q+2R, Q+2R, 2R, 2R ]
731 [ -P, -P, -P-S, -P-S, Q+2R, 2R, 2R ]
732 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
733 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
734 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
735 ---------------------------------------
736 Domain :
737 2R - U >= 0
738 - Q + T - U >= 0
739 - Q + R - U >= 0
740 P + Q >= 0
741 P - Q >= 0
742 - Q + S - U >= 0
743 S + U >= 0
744 1 >= 0
746 Vertices :
747 [ Q, Q, Q+U, Q+U, Q+U, U, 2R ]
748 [ Q, Q, Q+U, Q+U, Q+U, U, U ]
749 [ Q, Q, Q-S, Q+U, Q+U, U, 2R ]
750 [ Q, Q, Q-S, Q+U, Q+U, U, U ]
751 [ Q, Q, Q-S, Q-S, Q+U, U, 2R ]
752 [ Q, Q, Q-S, Q-S, Q+U, U, U ]
753 [ Q, Q, Q-S, Q-S, Q-S, U, 2R ]
754 [ Q, Q, Q-S, Q-S, Q-S, U, U ]
755 [ Q, Q, Q-S, Q-S, Q-S, -S, 2R ]
756 [ Q, Q, Q-S, Q-S, Q-S, -S, -S ]
757 [ -P, Q, Q+U, Q+U, Q+U, U, 2R ]
758 [ -P, Q, Q+U, Q+U, Q+U, U, U ]
759 [ -P, Q, Q-S, Q+U, Q+U, U, 2R ]
760 [ -P, Q, Q-S, Q+U, Q+U, U, U ]
761 [ -P, Q, Q-S, Q-S, Q+U, U, 2R ]
762 [ -P, Q, Q-S, Q-S, Q+U, U, U ]
763 [ -P, Q, Q-S, Q-S, Q-S, U, 2R ]
764 [ -P, Q, Q-S, Q-S, Q-S, U, U ]
765 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
766 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
767 [ -P, -P, Q+U, Q+U, Q+U, U, 2R ]
768 [ -P, -P, Q+U, Q+U, Q+U, U, U ]
769 [ -P, -P, -P-S, Q+U, Q+U, U, 2R ]
770 [ -P, -P, -P-S, Q+U, Q+U, U, U ]
771 [ -P, -P, -P-S, -P-S, Q+U, U, 2R ]
772 [ -P, -P, -P-S, -P-S, Q+U, U, U ]
773 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
774 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
775 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
776 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
777 ---------------------------------------
778 Domain :
779 Q + 2R - T >= 0
780 -2R + U >= 0
781 R - T >= 0
782 P + Q >= 0
783 P - Q >= 0
784 S - T >= 0
785 - Q + S + T >= 0
786 1 >= 0
788 Vertices :
789 [ Q, Q, T, T, T, 2R, 2R ]
790 [ Q, Q, T, T, T, -Q+T, 2R ]
791 [ Q, Q, T, T, T, -Q+T, -Q+T ]
792 [ Q, Q, Q-S, T, T, 2R, 2R ]
793 [ Q, Q, Q-S, T, T, -Q+T, 2R ]
794 [ Q, Q, Q-S, T, T, -Q+T, -Q+T ]
795 [ Q, Q, Q-S, Q-S, T, 2R, 2R ]
796 [ Q, Q, Q-S, Q-S, T, -Q+T, 2R ]
797 [ Q, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
798 [ Q, Q, Q-S, Q-S, Q-S, 2R, 2R ]
799 [ Q, Q, Q-S, Q-S, Q-S, -S, 2R ]
800 [ Q, Q, Q-S, Q-S, Q-S, -S, -S ]
801 [ -P, Q, T, T, T, 2R, 2R ]
802 [ -P, Q, T, T, T, -Q+T, 2R ]
803 [ -P, Q, T, T, T, -Q+T, -Q+T ]
804 [ -P, Q, Q-S, T, T, 2R, 2R ]
805 [ -P, Q, Q-S, T, T, -Q+T, 2R ]
806 [ -P, Q, Q-S, T, T, -Q+T, -Q+T ]
807 [ -P, Q, Q-S, Q-S, T, 2R, 2R ]
808 [ -P, Q, Q-S, Q-S, T, -Q+T, 2R ]
809 [ -P, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
810 [ -P, Q, Q-S, Q-S, Q-S, 2R, 2R ]
811 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
812 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
813 [ -P, -P, T, T, T, 2R, 2R ]
814 [ -P, -P, T, T, T, -Q+T, 2R ]
815 [ -P, -P, T, T, T, -Q+T, -Q+T ]
816 [ -P, -P, -P-S, T, T, 2R, 2R ]
817 [ -P, -P, -P-S, T, T, -Q+T, 2R ]
818 [ -P, -P, -P-S, T, T, -Q+T, -Q+T ]
819 [ -P, -P, -P-S, -P-S, T, 2R, 2R ]
820 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
821 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
822 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
823 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
824 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
825 ---------------------------------------
826 Domain :
827 - Q + S + T >= 0
828 R - T >= 0
829 P + Q >= 0
830 P - Q >= 0
831 S - T >= 0
832 Q - T + U >= 0
833 2R - U >= 0
834 1 >= 0
836 Vertices :
837 [ Q, Q, T, T, T, U, 2R ]
838 [ Q, Q, T, T, T, U, U ]
839 [ Q, Q, T, T, T, -Q+T, 2R ]
840 [ Q, Q, T, T, T, -Q+T, -Q+T ]
841 [ Q, Q, Q-S, T, T, U, 2R ]
842 [ Q, Q, Q-S, T, T, U, U ]
843 [ Q, Q, Q-S, T, T, -Q+T, 2R ]
844 [ Q, Q, Q-S, T, T, -Q+T, -Q+T ]
845 [ Q, Q, Q-S, Q-S, T, U, 2R ]
846 [ Q, Q, Q-S, Q-S, T, U, U ]
847 [ Q, Q, Q-S, Q-S, T, -Q+T, 2R ]
848 [ Q, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
849 [ Q, Q, Q-S, Q-S, Q-S, U, 2R ]
850 [ Q, Q, Q-S, Q-S, Q-S, U, U ]
851 [ Q, Q, Q-S, Q-S, Q-S, -S, 2R ]
852 [ Q, Q, Q-S, Q-S, Q-S, -S, -S ]
853 [ -P, Q, T, T, T, U, 2R ]
854 [ -P, Q, T, T, T, U, U ]
855 [ -P, Q, T, T, T, -Q+T, 2R ]
856 [ -P, Q, T, T, T, -Q+T, -Q+T ]
857 [ -P, Q, Q-S, T, T, U, 2R ]
858 [ -P, Q, Q-S, T, T, U, U ]
859 [ -P, Q, Q-S, T, T, -Q+T, 2R ]
860 [ -P, Q, Q-S, T, T, -Q+T, -Q+T ]
861 [ -P, Q, Q-S, Q-S, T, U, 2R ]
862 [ -P, Q, Q-S, Q-S, T, U, U ]
863 [ -P, Q, Q-S, Q-S, T, -Q+T, 2R ]
864 [ -P, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
865 [ -P, Q, Q-S, Q-S, Q-S, U, 2R ]
866 [ -P, Q, Q-S, Q-S, Q-S, U, U ]
867 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
868 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
869 [ -P, -P, T, T, T, U, 2R ]
870 [ -P, -P, T, T, T, U, U ]
871 [ -P, -P, T, T, T, -Q+T, 2R ]
872 [ -P, -P, T, T, T, -Q+T, -Q+T ]
873 [ -P, -P, -P-S, T, T, U, 2R ]
874 [ -P, -P, -P-S, T, T, U, U ]
875 [ -P, -P, -P-S, T, T, -Q+T, 2R ]
876 [ -P, -P, -P-S, T, T, -Q+T, -Q+T ]
877 [ -P, -P, -P-S, -P-S, T, U, 2R ]
878 [ -P, -P, -P-S, -P-S, T, U, U ]
879 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
880 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
881 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
882 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
883 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
884 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
885 ---------------------------------------
886 Domain :
887 P - Q >= 0
888 -2R + U >= 0
889 - Q -2R + T >= 0
890 P + Q >= 0
891 R - S >= 0
892 - Q + 2S >= 0
893 Q + 2R - S >= 0
894 1 >= 0
896 Vertices :
897 [ Q, Q, S, S, Q+2R, 2R, 2R ]
898 [ Q, Q, S, S, S, 2R, 2R ]
899 [ Q, Q, S, S, S, -Q+S, 2R ]
900 [ Q, Q, S, S, S, -Q+S, -Q+S ]
901 [ Q, Q, Q-S, S, Q+2R, 2R, 2R ]
902 [ Q, Q, Q-S, S, S, 2R, 2R ]
903 [ Q, Q, Q-S, S, S, -Q+S, 2R ]
904 [ Q, Q, Q-S, S, S, -Q+S, -Q+S ]
905 [ Q, Q, Q-S, Q-S, Q+2R, 2R, 2R ]
906 [ Q, Q, Q-S, Q-S, Q-S, 2R, 2R ]
907 [ Q, Q, Q-S, Q-S, Q-S, -S, 2R ]
908 [ Q, Q, Q-S, Q-S, Q-S, -S, -S ]
909 [ -P, Q, S, S, Q+2R, 2R, 2R ]
910 [ -P, Q, S, S, S, 2R, 2R ]
911 [ -P, Q, S, S, S, -Q+S, 2R ]
912 [ -P, Q, S, S, S, -Q+S, -Q+S ]
913 [ -P, Q, Q-S, S, Q+2R, 2R, 2R ]
914 [ -P, Q, Q-S, S, S, 2R, 2R ]
915 [ -P, Q, Q-S, S, S, -Q+S, 2R ]
916 [ -P, Q, Q-S, S, S, -Q+S, -Q+S ]
917 [ -P, Q, Q-S, Q-S, Q+2R, 2R, 2R ]
918 [ -P, Q, Q-S, Q-S, Q-S, 2R, 2R ]
919 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
920 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
921 [ -P, -P, S, S, Q+2R, 2R, 2R ]
922 [ -P, -P, S, S, S, 2R, 2R ]
923 [ -P, -P, S, S, S, -Q+S, 2R ]
924 [ -P, -P, S, S, S, -Q+S, -Q+S ]
925 [ -P, -P, -P-S, S, Q+2R, 2R, 2R ]
926 [ -P, -P, -P-S, S, S, 2R, 2R ]
927 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
928 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
929 [ -P, -P, -P-S, -P-S, Q+2R, 2R, 2R ]
930 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
931 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
932 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
933 ---------------------------------------
934 Domain :
935 2R - U >= 0
936 - Q + T - U >= 0
937 R - S >= 0
938 P + Q >= 0
939 Q - S + U >= 0
940 P - Q >= 0
941 - Q + 2S >= 0
942 1 >= 0
944 Vertices :
945 [ Q, Q, S, S, Q+U, U, 2R ]
946 [ Q, Q, S, S, Q+U, U, U ]
947 [ Q, Q, S, S, S, U, 2R ]
948 [ Q, Q, S, S, S, U, U ]
949 [ Q, Q, S, S, S, -Q+S, 2R ]
950 [ Q, Q, S, S, S, -Q+S, -Q+S ]
951 [ Q, Q, Q-S, S, Q+U, U, 2R ]
952 [ Q, Q, Q-S, S, Q+U, U, U ]
953 [ Q, Q, Q-S, S, S, U, 2R ]
954 [ Q, Q, Q-S, S, S, U, U ]
955 [ Q, Q, Q-S, S, S, -Q+S, 2R ]
956 [ Q, Q, Q-S, S, S, -Q+S, -Q+S ]
957 [ Q, Q, Q-S, Q-S, Q+U, U, 2R ]
958 [ Q, Q, Q-S, Q-S, Q+U, U, U ]
959 [ Q, Q, Q-S, Q-S, Q-S, U, 2R ]
960 [ Q, Q, Q-S, Q-S, Q-S, U, U ]
961 [ Q, Q, Q-S, Q-S, Q-S, -S, 2R ]
962 [ Q, Q, Q-S, Q-S, Q-S, -S, -S ]
963 [ -P, Q, S, S, Q+U, U, 2R ]
964 [ -P, Q, S, S, Q+U, U, U ]
965 [ -P, Q, S, S, S, U, 2R ]
966 [ -P, Q, S, S, S, U, U ]
967 [ -P, Q, S, S, S, -Q+S, 2R ]
968 [ -P, Q, S, S, S, -Q+S, -Q+S ]
969 [ -P, Q, Q-S, S, Q+U, U, 2R ]
970 [ -P, Q, Q-S, S, Q+U, U, U ]
971 [ -P, Q, Q-S, S, S, U, 2R ]
972 [ -P, Q, Q-S, S, S, U, U ]
973 [ -P, Q, Q-S, S, S, -Q+S, 2R ]
974 [ -P, Q, Q-S, S, S, -Q+S, -Q+S ]
975 [ -P, Q, Q-S, Q-S, Q+U, U, 2R ]
976 [ -P, Q, Q-S, Q-S, Q+U, U, U ]
977 [ -P, Q, Q-S, Q-S, Q-S, U, 2R ]
978 [ -P, Q, Q-S, Q-S, Q-S, U, U ]
979 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
980 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
981 [ -P, -P, S, S, Q+U, U, 2R ]
982 [ -P, -P, S, S, Q+U, U, U ]
983 [ -P, -P, S, S, S, U, 2R ]
984 [ -P, -P, S, S, S, U, U ]
985 [ -P, -P, S, S, S, -Q+S, 2R ]
986 [ -P, -P, S, S, S, -Q+S, -Q+S ]
987 [ -P, -P, -P-S, S, Q+U, U, 2R ]
988 [ -P, -P, -P-S, S, Q+U, U, U ]
989 [ -P, -P, -P-S, S, S, U, 2R ]
990 [ -P, -P, -P-S, S, S, U, U ]
991 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
992 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
993 [ -P, -P, -P-S, -P-S, Q+U, U, 2R ]
994 [ -P, -P, -P-S, -P-S, Q+U, U, U ]
995 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
996 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
997 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
998 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
999 ---------------------------------------
1000 Domain :
1001 Q + 2R - T >= 0
1002 -2R + U >= 0
1003 R - S >= 0
1004 P + Q >= 0
1005 - S + T >= 0
1006 P - Q >= 0
1007 - Q + 2S >= 0
1008 1 >= 0
1010 Vertices :
1011 [ Q, Q, S, S, T, 2R, 2R ]
1012 [ Q, Q, S, S, T, -Q+T, 2R ]
1013 [ Q, Q, S, S, T, -Q+T, -Q+T ]
1014 [ Q, Q, S, S, S, 2R, 2R ]
1015 [ Q, Q, S, S, S, -Q+S, 2R ]
1016 [ Q, Q, S, S, S, -Q+S, -Q+S ]
1017 [ Q, Q, Q-S, S, T, 2R, 2R ]
1018 [ Q, Q, Q-S, S, T, -Q+T, 2R ]
1019 [ Q, Q, Q-S, S, T, -Q+T, -Q+T ]
1020 [ Q, Q, Q-S, S, S, 2R, 2R ]
1021 [ Q, Q, Q-S, S, S, -Q+S, 2R ]
1022 [ Q, Q, Q-S, S, S, -Q+S, -Q+S ]
1023 [ Q, Q, Q-S, Q-S, T, 2R, 2R ]
1024 [ Q, Q, Q-S, Q-S, T, -Q+T, 2R ]
1025 [ Q, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
1026 [ Q, Q, Q-S, Q-S, Q-S, 2R, 2R ]
1027 [ Q, Q, Q-S, Q-S, Q-S, -S, 2R ]
1028 [ Q, Q, Q-S, Q-S, Q-S, -S, -S ]
1029 [ -P, Q, S, S, T, 2R, 2R ]
1030 [ -P, Q, S, S, T, -Q+T, 2R ]
1031 [ -P, Q, S, S, T, -Q+T, -Q+T ]
1032 [ -P, Q, S, S, S, 2R, 2R ]
1033 [ -P, Q, S, S, S, -Q+S, 2R ]
1034 [ -P, Q, S, S, S, -Q+S, -Q+S ]
1035 [ -P, Q, Q-S, S, T, 2R, 2R ]
1036 [ -P, Q, Q-S, S, T, -Q+T, 2R ]
1037 [ -P, Q, Q-S, S, T, -Q+T, -Q+T ]
1038 [ -P, Q, Q-S, S, S, 2R, 2R ]
1039 [ -P, Q, Q-S, S, S, -Q+S, 2R ]
1040 [ -P, Q, Q-S, S, S, -Q+S, -Q+S ]
1041 [ -P, Q, Q-S, Q-S, T, 2R, 2R ]
1042 [ -P, Q, Q-S, Q-S, T, -Q+T, 2R ]
1043 [ -P, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
1044 [ -P, Q, Q-S, Q-S, Q-S, 2R, 2R ]
1045 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
1046 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
1047 [ -P, -P, S, S, T, 2R, 2R ]
1048 [ -P, -P, S, S, T, -Q+T, 2R ]
1049 [ -P, -P, S, S, T, -Q+T, -Q+T ]
1050 [ -P, -P, S, S, S, 2R, 2R ]
1051 [ -P, -P, S, S, S, -Q+S, 2R ]
1052 [ -P, -P, S, S, S, -Q+S, -Q+S ]
1053 [ -P, -P, -P-S, S, T, 2R, 2R ]
1054 [ -P, -P, -P-S, S, T, -Q+T, 2R ]
1055 [ -P, -P, -P-S, S, T, -Q+T, -Q+T ]
1056 [ -P, -P, -P-S, S, S, 2R, 2R ]
1057 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
1058 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
1059 [ -P, -P, -P-S, -P-S, T, 2R, 2R ]
1060 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
1061 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
1062 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
1063 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
1064 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
1065 ---------------------------------------
1066 Domain :
1067 - Q + 2S >= 0
1068 R - S >= 0
1069 P + Q >= 0
1070 - S + T >= 0
1071 P - Q >= 0
1072 Q - T + U >= 0
1073 2R - U >= 0
1074 1 >= 0
1076 Vertices :
1077 [ Q, Q, S, S, T, U, 2R ]
1078 [ Q, Q, S, S, T, U, U ]
1079 [ Q, Q, S, S, T, -Q+T, 2R ]
1080 [ Q, Q, S, S, T, -Q+T, -Q+T ]
1081 [ Q, Q, S, S, S, U, 2R ]
1082 [ Q, Q, S, S, S, U, U ]
1083 [ Q, Q, S, S, S, -Q+S, 2R ]
1084 [ Q, Q, S, S, S, -Q+S, -Q+S ]
1085 [ Q, Q, Q-S, S, T, U, 2R ]
1086 [ Q, Q, Q-S, S, T, U, U ]
1087 [ Q, Q, Q-S, S, T, -Q+T, 2R ]
1088 [ Q, Q, Q-S, S, T, -Q+T, -Q+T ]
1089 [ Q, Q, Q-S, S, S, U, 2R ]
1090 [ Q, Q, Q-S, S, S, U, U ]
1091 [ Q, Q, Q-S, S, S, -Q+S, 2R ]
1092 [ Q, Q, Q-S, S, S, -Q+S, -Q+S ]
1093 [ Q, Q, Q-S, Q-S, T, U, 2R ]
1094 [ Q, Q, Q-S, Q-S, T, U, U ]
1095 [ Q, Q, Q-S, Q-S, T, -Q+T, 2R ]
1096 [ Q, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
1097 [ Q, Q, Q-S, Q-S, Q-S, U, 2R ]
1098 [ Q, Q, Q-S, Q-S, Q-S, U, U ]
1099 [ Q, Q, Q-S, Q-S, Q-S, -S, 2R ]
1100 [ Q, Q, Q-S, Q-S, Q-S, -S, -S ]
1101 [ -P, Q, S, S, T, U, 2R ]
1102 [ -P, Q, S, S, T, U, U ]
1103 [ -P, Q, S, S, T, -Q+T, 2R ]
1104 [ -P, Q, S, S, T, -Q+T, -Q+T ]
1105 [ -P, Q, S, S, S, U, 2R ]
1106 [ -P, Q, S, S, S, U, U ]
1107 [ -P, Q, S, S, S, -Q+S, 2R ]
1108 [ -P, Q, S, S, S, -Q+S, -Q+S ]
1109 [ -P, Q, Q-S, S, T, U, 2R ]
1110 [ -P, Q, Q-S, S, T, U, U ]
1111 [ -P, Q, Q-S, S, T, -Q+T, 2R ]
1112 [ -P, Q, Q-S, S, T, -Q+T, -Q+T ]
1113 [ -P, Q, Q-S, S, S, U, 2R ]
1114 [ -P, Q, Q-S, S, S, U, U ]
1115 [ -P, Q, Q-S, S, S, -Q+S, 2R ]
1116 [ -P, Q, Q-S, S, S, -Q+S, -Q+S ]
1117 [ -P, Q, Q-S, Q-S, T, U, 2R ]
1118 [ -P, Q, Q-S, Q-S, T, U, U ]
1119 [ -P, Q, Q-S, Q-S, T, -Q+T, 2R ]
1120 [ -P, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
1121 [ -P, Q, Q-S, Q-S, Q-S, U, 2R ]
1122 [ -P, Q, Q-S, Q-S, Q-S, U, U ]
1123 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
1124 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
1125 [ -P, -P, S, S, T, U, 2R ]
1126 [ -P, -P, S, S, T, U, U ]
1127 [ -P, -P, S, S, T, -Q+T, 2R ]
1128 [ -P, -P, S, S, T, -Q+T, -Q+T ]
1129 [ -P, -P, S, S, S, U, 2R ]
1130 [ -P, -P, S, S, S, U, U ]
1131 [ -P, -P, S, S, S, -Q+S, 2R ]
1132 [ -P, -P, S, S, S, -Q+S, -Q+S ]
1133 [ -P, -P, -P-S, S, T, U, 2R ]
1134 [ -P, -P, -P-S, S, T, U, U ]
1135 [ -P, -P, -P-S, S, T, -Q+T, 2R ]
1136 [ -P, -P, -P-S, S, T, -Q+T, -Q+T ]
1137 [ -P, -P, -P-S, S, S, U, 2R ]
1138 [ -P, -P, -P-S, S, S, U, U ]
1139 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
1140 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
1141 [ -P, -P, -P-S, -P-S, T, U, 2R ]
1142 [ -P, -P, -P-S, -P-S, T, U, U ]
1143 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
1144 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
1145 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
1146 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
1147 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
1148 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
1149 ---------------------------------------
1150 Domain :
1151 P + Q >= 0
1152 -2R + U >= 0
1153 - Q -2R + T >= 0
1154 - Q -2R + S >= 0
1155 Q + R >= 0
1156 P - Q >= 0
1157 - Q + R + S >= 0
1158 1 >= 0
1160 Vertices :
1161 [ Q, Q, R, Q+2R, Q+2R, 2R, 2R ]
1162 [ Q, Q, R, R, Q+2R, 2R, 2R ]
1163 [ Q, Q, R, R, R, 2R, 2R ]
1164 [ Q, Q, R, R, R, -Q+R, 2R ]
1165 [ Q, Q, R, R, R, -Q+R, -Q+R ]
1166 [ Q, Q, Q-S, Q+2R, Q+2R, 2R, 2R ]
1167 [ Q, Q, Q-S, Q-S, Q+2R, 2R, 2R ]
1168 [ Q, Q, Q-S, Q-S, Q-S, 2R, 2R ]
1169 [ Q, Q, Q-S, Q-S, Q-S, -S, 2R ]
1170 [ Q, Q, Q-S, Q-S, Q-S, -S, -S ]
1171 [ -P, Q, R, Q+2R, Q+2R, 2R, 2R ]
1172 [ -P, Q, R, R, Q+2R, 2R, 2R ]
1173 [ -P, Q, R, R, R, 2R, 2R ]
1174 [ -P, Q, R, R, R, -Q+R, 2R ]
1175 [ -P, Q, R, R, R, -Q+R, -Q+R ]
1176 [ -P, Q, Q-S, Q+2R, Q+2R, 2R, 2R ]
1177 [ -P, Q, Q-S, Q-S, Q+2R, 2R, 2R ]
1178 [ -P, Q, Q-S, Q-S, Q-S, 2R, 2R ]
1179 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
1180 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
1181 [ -P, -P, R, Q+2R, Q+2R, 2R, 2R ]
1182 [ -P, -P, R, R, Q+2R, 2R, 2R ]
1183 [ -P, -P, R, R, R, 2R, 2R ]
1184 [ -P, -P, R, R, R, -Q+R, 2R ]
1185 [ -P, -P, R, R, R, -Q+R, -Q+R ]
1186 [ -P, -P, -P-S, Q+2R, Q+2R, 2R, 2R ]
1187 [ -P, -P, -P-S, -P-S, Q+2R, 2R, 2R ]
1188 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
1189 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
1190 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
1191 ---------------------------------------
1192 Domain :
1193 P + Q >= 0
1194 - Q + T - U >= 0
1195 - Q + S - U >= 0
1196 Q - R + U >= 0
1197 P - Q >= 0
1198 - Q + R + S >= 0
1199 2R - U >= 0
1200 1 >= 0
1202 Vertices :
1203 [ Q, Q, R, Q+U, Q+U, U, 2R ]
1204 [ Q, Q, R, Q+U, Q+U, U, U ]
1205 [ Q, Q, R, R, Q+U, U, 2R ]
1206 [ Q, Q, R, R, Q+U, U, U ]
1207 [ Q, Q, R, R, R, U, 2R ]
1208 [ Q, Q, R, R, R, U, U ]
1209 [ Q, Q, R, R, R, -Q+R, 2R ]
1210 [ Q, Q, R, R, R, -Q+R, -Q+R ]
1211 [ Q, Q, Q-S, Q+U, Q+U, U, 2R ]
1212 [ Q, Q, Q-S, Q+U, Q+U, U, U ]
1213 [ Q, Q, Q-S, Q-S, Q+U, U, 2R ]
1214 [ Q, Q, Q-S, Q-S, Q+U, U, U ]
1215 [ Q, Q, Q-S, Q-S, Q-S, U, 2R ]
1216 [ Q, Q, Q-S, Q-S, Q-S, U, U ]
1217 [ Q, Q, Q-S, Q-S, Q-S, -S, 2R ]
1218 [ Q, Q, Q-S, Q-S, Q-S, -S, -S ]
1219 [ -P, Q, R, Q+U, Q+U, U, 2R ]
1220 [ -P, Q, R, Q+U, Q+U, U, U ]
1221 [ -P, Q, R, R, Q+U, U, 2R ]
1222 [ -P, Q, R, R, Q+U, U, U ]
1223 [ -P, Q, R, R, R, U, 2R ]
1224 [ -P, Q, R, R, R, U, U ]
1225 [ -P, Q, R, R, R, -Q+R, 2R ]
1226 [ -P, Q, R, R, R, -Q+R, -Q+R ]
1227 [ -P, Q, Q-S, Q+U, Q+U, U, 2R ]
1228 [ -P, Q, Q-S, Q+U, Q+U, U, U ]
1229 [ -P, Q, Q-S, Q-S, Q+U, U, 2R ]
1230 [ -P, Q, Q-S, Q-S, Q+U, U, U ]
1231 [ -P, Q, Q-S, Q-S, Q-S, U, 2R ]
1232 [ -P, Q, Q-S, Q-S, Q-S, U, U ]
1233 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
1234 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
1235 [ -P, -P, R, Q+U, Q+U, U, 2R ]
1236 [ -P, -P, R, Q+U, Q+U, U, U ]
1237 [ -P, -P, R, R, Q+U, U, 2R ]
1238 [ -P, -P, R, R, Q+U, U, U ]
1239 [ -P, -P, R, R, R, U, 2R ]
1240 [ -P, -P, R, R, R, U, U ]
1241 [ -P, -P, R, R, R, -Q+R, 2R ]
1242 [ -P, -P, R, R, R, -Q+R, -Q+R ]
1243 [ -P, -P, -P-S, Q+U, Q+U, U, 2R ]
1244 [ -P, -P, -P-S, Q+U, Q+U, U, U ]
1245 [ -P, -P, -P-S, -P-S, Q+U, U, 2R ]
1246 [ -P, -P, -P-S, -P-S, Q+U, U, U ]
1247 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
1248 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
1249 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
1250 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
1251 ---------------------------------------
1252 Domain :
1253 P + Q >= 0
1254 -2R + U >= 0
1255 S - T >= 0
1256 - R + T >= 0
1257 P - Q >= 0
1258 - Q + R + S >= 0
1259 Q + 2R - T >= 0
1260 1 >= 0
1262 Vertices :
1263 [ Q, Q, R, T, T, 2R, 2R ]
1264 [ Q, Q, R, T, T, -Q+T, 2R ]
1265 [ Q, Q, R, T, T, -Q+T, -Q+T ]
1266 [ Q, Q, R, R, T, 2R, 2R ]
1267 [ Q, Q, R, R, T, -Q+T, 2R ]
1268 [ Q, Q, R, R, T, -Q+T, -Q+T ]
1269 [ Q, Q, R, R, R, 2R, 2R ]
1270 [ Q, Q, R, R, R, -Q+R, 2R ]
1271 [ Q, Q, R, R, R, -Q+R, -Q+R ]
1272 [ Q, Q, Q-S, T, T, 2R, 2R ]
1273 [ Q, Q, Q-S, T, T, -Q+T, 2R ]
1274 [ Q, Q, Q-S, T, T, -Q+T, -Q+T ]
1275 [ Q, Q, Q-S, Q-S, T, 2R, 2R ]
1276 [ Q, Q, Q-S, Q-S, T, -Q+T, 2R ]
1277 [ Q, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
1278 [ Q, Q, Q-S, Q-S, Q-S, 2R, 2R ]
1279 [ Q, Q, Q-S, Q-S, Q-S, -S, 2R ]
1280 [ Q, Q, Q-S, Q-S, Q-S, -S, -S ]
1281 [ -P, Q, R, T, T, 2R, 2R ]
1282 [ -P, Q, R, T, T, -Q+T, 2R ]
1283 [ -P, Q, R, T, T, -Q+T, -Q+T ]
1284 [ -P, Q, R, R, T, 2R, 2R ]
1285 [ -P, Q, R, R, T, -Q+T, 2R ]
1286 [ -P, Q, R, R, T, -Q+T, -Q+T ]
1287 [ -P, Q, R, R, R, 2R, 2R ]
1288 [ -P, Q, R, R, R, -Q+R, 2R ]
1289 [ -P, Q, R, R, R, -Q+R, -Q+R ]
1290 [ -P, Q, Q-S, T, T, 2R, 2R ]
1291 [ -P, Q, Q-S, T, T, -Q+T, 2R ]
1292 [ -P, Q, Q-S, T, T, -Q+T, -Q+T ]
1293 [ -P, Q, Q-S, Q-S, T, 2R, 2R ]
1294 [ -P, Q, Q-S, Q-S, T, -Q+T, 2R ]
1295 [ -P, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
1296 [ -P, Q, Q-S, Q-S, Q-S, 2R, 2R ]
1297 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
1298 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
1299 [ -P, -P, R, T, T, 2R, 2R ]
1300 [ -P, -P, R, T, T, -Q+T, 2R ]
1301 [ -P, -P, R, T, T, -Q+T, -Q+T ]
1302 [ -P, -P, R, R, T, 2R, 2R ]
1303 [ -P, -P, R, R, T, -Q+T, 2R ]
1304 [ -P, -P, R, R, T, -Q+T, -Q+T ]
1305 [ -P, -P, R, R, R, 2R, 2R ]
1306 [ -P, -P, R, R, R, -Q+R, 2R ]
1307 [ -P, -P, R, R, R, -Q+R, -Q+R ]
1308 [ -P, -P, -P-S, T, T, 2R, 2R ]
1309 [ -P, -P, -P-S, T, T, -Q+T, 2R ]
1310 [ -P, -P, -P-S, T, T, -Q+T, -Q+T ]
1311 [ -P, -P, -P-S, -P-S, T, 2R, 2R ]
1312 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
1313 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
1314 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
1315 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
1316 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
1317 ---------------------------------------
1318 Domain :
1319 P + Q >= 0
1320 S - T >= 0
1321 - R + T >= 0
1322 P - Q >= 0
1323 Q - T + U >= 0
1324 2R - U >= 0
1325 - Q + R + S >= 0
1326 1 >= 0
1328 Vertices :
1329 [ Q, Q, R, T, T, U, 2R ]
1330 [ Q, Q, R, T, T, U, U ]
1331 [ Q, Q, R, T, T, -Q+T, 2R ]
1332 [ Q, Q, R, T, T, -Q+T, -Q+T ]
1333 [ Q, Q, R, R, T, U, 2R ]
1334 [ Q, Q, R, R, T, U, U ]
1335 [ Q, Q, R, R, T, -Q+T, 2R ]
1336 [ Q, Q, R, R, T, -Q+T, -Q+T ]
1337 [ Q, Q, R, R, R, U, 2R ]
1338 [ Q, Q, R, R, R, U, U ]
1339 [ Q, Q, R, R, R, -Q+R, 2R ]
1340 [ Q, Q, R, R, R, -Q+R, -Q+R ]
1341 [ Q, Q, Q-S, T, T, U, 2R ]
1342 [ Q, Q, Q-S, T, T, U, U ]
1343 [ Q, Q, Q-S, T, T, -Q+T, 2R ]
1344 [ Q, Q, Q-S, T, T, -Q+T, -Q+T ]
1345 [ Q, Q, Q-S, Q-S, T, U, 2R ]
1346 [ Q, Q, Q-S, Q-S, T, U, U ]
1347 [ Q, Q, Q-S, Q-S, T, -Q+T, 2R ]
1348 [ Q, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
1349 [ Q, Q, Q-S, Q-S, Q-S, U, 2R ]
1350 [ Q, Q, Q-S, Q-S, Q-S, U, U ]
1351 [ Q, Q, Q-S, Q-S, Q-S, -S, 2R ]
1352 [ Q, Q, Q-S, Q-S, Q-S, -S, -S ]
1353 [ -P, Q, R, T, T, U, 2R ]
1354 [ -P, Q, R, T, T, U, U ]
1355 [ -P, Q, R, T, T, -Q+T, 2R ]
1356 [ -P, Q, R, T, T, -Q+T, -Q+T ]
1357 [ -P, Q, R, R, T, U, 2R ]
1358 [ -P, Q, R, R, T, U, U ]
1359 [ -P, Q, R, R, T, -Q+T, 2R ]
1360 [ -P, Q, R, R, T, -Q+T, -Q+T ]
1361 [ -P, Q, R, R, R, U, 2R ]
1362 [ -P, Q, R, R, R, U, U ]
1363 [ -P, Q, R, R, R, -Q+R, 2R ]
1364 [ -P, Q, R, R, R, -Q+R, -Q+R ]
1365 [ -P, Q, Q-S, T, T, U, 2R ]
1366 [ -P, Q, Q-S, T, T, U, U ]
1367 [ -P, Q, Q-S, T, T, -Q+T, 2R ]
1368 [ -P, Q, Q-S, T, T, -Q+T, -Q+T ]
1369 [ -P, Q, Q-S, Q-S, T, U, 2R ]
1370 [ -P, Q, Q-S, Q-S, T, U, U ]
1371 [ -P, Q, Q-S, Q-S, T, -Q+T, 2R ]
1372 [ -P, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
1373 [ -P, Q, Q-S, Q-S, Q-S, U, 2R ]
1374 [ -P, Q, Q-S, Q-S, Q-S, U, U ]
1375 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
1376 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
1377 [ -P, -P, R, T, T, U, 2R ]
1378 [ -P, -P, R, T, T, U, U ]
1379 [ -P, -P, R, T, T, -Q+T, 2R ]
1380 [ -P, -P, R, T, T, -Q+T, -Q+T ]
1381 [ -P, -P, R, R, T, U, 2R ]
1382 [ -P, -P, R, R, T, U, U ]
1383 [ -P, -P, R, R, T, -Q+T, 2R ]
1384 [ -P, -P, R, R, T, -Q+T, -Q+T ]
1385 [ -P, -P, R, R, R, U, 2R ]
1386 [ -P, -P, R, R, R, U, U ]
1387 [ -P, -P, R, R, R, -Q+R, 2R ]
1388 [ -P, -P, R, R, R, -Q+R, -Q+R ]
1389 [ -P, -P, -P-S, T, T, U, 2R ]
1390 [ -P, -P, -P-S, T, T, U, U ]
1391 [ -P, -P, -P-S, T, T, -Q+T, 2R ]
1392 [ -P, -P, -P-S, T, T, -Q+T, -Q+T ]
1393 [ -P, -P, -P-S, -P-S, T, U, 2R ]
1394 [ -P, -P, -P-S, -P-S, T, U, U ]
1395 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
1396 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
1397 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
1398 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
1399 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
1400 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
1401 ---------------------------------------
1402 Domain :
1403 P + Q >= 0
1404 -2R + U >= 0
1405 - Q -2R + T >= 0
1406 P - Q >= 0
1407 - R + S >= 0
1408 Q + 2R - S >= 0
1409 - Q + R + S >= 0
1410 1 >= 0
1412 Vertices :
1413 [ Q, Q, R, S, Q+2R, 2R, 2R ]
1414 [ Q, Q, R, S, S, 2R, 2R ]
1415 [ Q, Q, R, S, S, -Q+S, 2R ]
1416 [ Q, Q, R, S, S, -Q+S, -Q+S ]
1417 [ Q, Q, R, R, Q+2R, 2R, 2R ]
1418 [ Q, Q, R, R, R, 2R, 2R ]
1419 [ Q, Q, R, R, R, -Q+R, 2R ]
1420 [ Q, Q, R, R, R, -Q+R, -Q+R ]
1421 [ Q, Q, Q-S, S, Q+2R, 2R, 2R ]
1422 [ Q, Q, Q-S, S, S, 2R, 2R ]
1423 [ Q, Q, Q-S, S, S, -Q+S, 2R ]
1424 [ Q, Q, Q-S, S, S, -Q+S, -Q+S ]
1425 [ Q, Q, Q-S, Q-S, Q+2R, 2R, 2R ]
1426 [ Q, Q, Q-S, Q-S, Q-S, 2R, 2R ]
1427 [ Q, Q, Q-S, Q-S, Q-S, -S, 2R ]
1428 [ Q, Q, Q-S, Q-S, Q-S, -S, -S ]
1429 [ -P, Q, R, S, Q+2R, 2R, 2R ]
1430 [ -P, Q, R, S, S, 2R, 2R ]
1431 [ -P, Q, R, S, S, -Q+S, 2R ]
1432 [ -P, Q, R, S, S, -Q+S, -Q+S ]
1433 [ -P, Q, R, R, Q+2R, 2R, 2R ]
1434 [ -P, Q, R, R, R, 2R, 2R ]
1435 [ -P, Q, R, R, R, -Q+R, 2R ]
1436 [ -P, Q, R, R, R, -Q+R, -Q+R ]
1437 [ -P, Q, Q-S, S, Q+2R, 2R, 2R ]
1438 [ -P, Q, Q-S, S, S, 2R, 2R ]
1439 [ -P, Q, Q-S, S, S, -Q+S, 2R ]
1440 [ -P, Q, Q-S, S, S, -Q+S, -Q+S ]
1441 [ -P, Q, Q-S, Q-S, Q+2R, 2R, 2R ]
1442 [ -P, Q, Q-S, Q-S, Q-S, 2R, 2R ]
1443 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
1444 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
1445 [ -P, -P, R, S, Q+2R, 2R, 2R ]
1446 [ -P, -P, R, S, S, 2R, 2R ]
1447 [ -P, -P, R, S, S, -Q+S, 2R ]
1448 [ -P, -P, R, S, S, -Q+S, -Q+S ]
1449 [ -P, -P, R, R, Q+2R, 2R, 2R ]
1450 [ -P, -P, R, R, R, 2R, 2R ]
1451 [ -P, -P, R, R, R, -Q+R, 2R ]
1452 [ -P, -P, R, R, R, -Q+R, -Q+R ]
1453 [ -P, -P, -P-S, S, Q+2R, 2R, 2R ]
1454 [ -P, -P, -P-S, S, S, 2R, 2R ]
1455 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
1456 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
1457 [ -P, -P, -P-S, -P-S, Q+2R, 2R, 2R ]
1458 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
1459 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
1460 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
1461 ---------------------------------------
1462 Domain :
1463 P + Q >= 0
1464 - Q + T - U >= 0
1465 P - Q >= 0
1466 - R + S >= 0
1467 Q - S + U >= 0
1468 - Q + R + S >= 0
1469 2R - U >= 0
1470 1 >= 0
1472 Vertices :
1473 [ Q, Q, R, S, Q+U, U, 2R ]
1474 [ Q, Q, R, S, Q+U, U, U ]
1475 [ Q, Q, R, S, S, U, 2R ]
1476 [ Q, Q, R, S, S, U, U ]
1477 [ Q, Q, R, S, S, -Q+S, 2R ]
1478 [ Q, Q, R, S, S, -Q+S, -Q+S ]
1479 [ Q, Q, R, R, Q+U, U, 2R ]
1480 [ Q, Q, R, R, Q+U, U, U ]
1481 [ Q, Q, R, R, R, U, 2R ]
1482 [ Q, Q, R, R, R, U, U ]
1483 [ Q, Q, R, R, R, -Q+R, 2R ]
1484 [ Q, Q, R, R, R, -Q+R, -Q+R ]
1485 [ Q, Q, Q-S, S, Q+U, U, 2R ]
1486 [ Q, Q, Q-S, S, Q+U, U, U ]
1487 [ Q, Q, Q-S, S, S, U, 2R ]
1488 [ Q, Q, Q-S, S, S, U, U ]
1489 [ Q, Q, Q-S, S, S, -Q+S, 2R ]
1490 [ Q, Q, Q-S, S, S, -Q+S, -Q+S ]
1491 [ Q, Q, Q-S, Q-S, Q+U, U, 2R ]
1492 [ Q, Q, Q-S, Q-S, Q+U, U, U ]
1493 [ Q, Q, Q-S, Q-S, Q-S, U, 2R ]
1494 [ Q, Q, Q-S, Q-S, Q-S, U, U ]
1495 [ Q, Q, Q-S, Q-S, Q-S, -S, 2R ]
1496 [ Q, Q, Q-S, Q-S, Q-S, -S, -S ]
1497 [ -P, Q, R, S, Q+U, U, 2R ]
1498 [ -P, Q, R, S, Q+U, U, U ]
1499 [ -P, Q, R, S, S, U, 2R ]
1500 [ -P, Q, R, S, S, U, U ]
1501 [ -P, Q, R, S, S, -Q+S, 2R ]
1502 [ -P, Q, R, S, S, -Q+S, -Q+S ]
1503 [ -P, Q, R, R, Q+U, U, 2R ]
1504 [ -P, Q, R, R, Q+U, U, U ]
1505 [ -P, Q, R, R, R, U, 2R ]
1506 [ -P, Q, R, R, R, U, U ]
1507 [ -P, Q, R, R, R, -Q+R, 2R ]
1508 [ -P, Q, R, R, R, -Q+R, -Q+R ]
1509 [ -P, Q, Q-S, S, Q+U, U, 2R ]
1510 [ -P, Q, Q-S, S, Q+U, U, U ]
1511 [ -P, Q, Q-S, S, S, U, 2R ]
1512 [ -P, Q, Q-S, S, S, U, U ]
1513 [ -P, Q, Q-S, S, S, -Q+S, 2R ]
1514 [ -P, Q, Q-S, S, S, -Q+S, -Q+S ]
1515 [ -P, Q, Q-S, Q-S, Q+U, U, 2R ]
1516 [ -P, Q, Q-S, Q-S, Q+U, U, U ]
1517 [ -P, Q, Q-S, Q-S, Q-S, U, 2R ]
1518 [ -P, Q, Q-S, Q-S, Q-S, U, U ]
1519 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
1520 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
1521 [ -P, -P, R, S, Q+U, U, 2R ]
1522 [ -P, -P, R, S, Q+U, U, U ]
1523 [ -P, -P, R, S, S, U, 2R ]
1524 [ -P, -P, R, S, S, U, U ]
1525 [ -P, -P, R, S, S, -Q+S, 2R ]
1526 [ -P, -P, R, S, S, -Q+S, -Q+S ]
1527 [ -P, -P, R, R, Q+U, U, 2R ]
1528 [ -P, -P, R, R, Q+U, U, U ]
1529 [ -P, -P, R, R, R, U, 2R ]
1530 [ -P, -P, R, R, R, U, U ]
1531 [ -P, -P, R, R, R, -Q+R, 2R ]
1532 [ -P, -P, R, R, R, -Q+R, -Q+R ]
1533 [ -P, -P, -P-S, S, Q+U, U, 2R ]
1534 [ -P, -P, -P-S, S, Q+U, U, U ]
1535 [ -P, -P, -P-S, S, S, U, 2R ]
1536 [ -P, -P, -P-S, S, S, U, U ]
1537 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
1538 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
1539 [ -P, -P, -P-S, -P-S, Q+U, U, 2R ]
1540 [ -P, -P, -P-S, -P-S, Q+U, U, U ]
1541 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
1542 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
1543 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
1544 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
1545 ---------------------------------------
1546 Domain :
1547 P + Q >= 0
1548 -2R + U >= 0
1549 P - Q >= 0
1550 - R + S >= 0
1551 - S + T >= 0
1552 - Q + R + S >= 0
1553 Q + 2R - T >= 0
1554 1 >= 0
1556 Vertices :
1557 [ Q, Q, R, S, T, 2R, 2R ]
1558 [ Q, Q, R, S, T, -Q+T, 2R ]
1559 [ Q, Q, R, S, T, -Q+T, -Q+T ]
1560 [ Q, Q, R, S, S, 2R, 2R ]
1561 [ Q, Q, R, S, S, -Q+S, 2R ]
1562 [ Q, Q, R, S, S, -Q+S, -Q+S ]
1563 [ Q, Q, R, R, T, 2R, 2R ]
1564 [ Q, Q, R, R, T, -Q+T, 2R ]
1565 [ Q, Q, R, R, T, -Q+T, -Q+T ]
1566 [ Q, Q, R, R, R, 2R, 2R ]
1567 [ Q, Q, R, R, R, -Q+R, 2R ]
1568 [ Q, Q, R, R, R, -Q+R, -Q+R ]
1569 [ Q, Q, Q-S, S, T, 2R, 2R ]
1570 [ Q, Q, Q-S, S, T, -Q+T, 2R ]
1571 [ Q, Q, Q-S, S, T, -Q+T, -Q+T ]
1572 [ Q, Q, Q-S, S, S, 2R, 2R ]
1573 [ Q, Q, Q-S, S, S, -Q+S, 2R ]
1574 [ Q, Q, Q-S, S, S, -Q+S, -Q+S ]
1575 [ Q, Q, Q-S, Q-S, T, 2R, 2R ]
1576 [ Q, Q, Q-S, Q-S, T, -Q+T, 2R ]
1577 [ Q, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
1578 [ Q, Q, Q-S, Q-S, Q-S, 2R, 2R ]
1579 [ Q, Q, Q-S, Q-S, Q-S, -S, 2R ]
1580 [ Q, Q, Q-S, Q-S, Q-S, -S, -S ]
1581 [ -P, Q, R, S, T, 2R, 2R ]
1582 [ -P, Q, R, S, T, -Q+T, 2R ]
1583 [ -P, Q, R, S, T, -Q+T, -Q+T ]
1584 [ -P, Q, R, S, S, 2R, 2R ]
1585 [ -P, Q, R, S, S, -Q+S, 2R ]
1586 [ -P, Q, R, S, S, -Q+S, -Q+S ]
1587 [ -P, Q, R, R, T, 2R, 2R ]
1588 [ -P, Q, R, R, T, -Q+T, 2R ]
1589 [ -P, Q, R, R, T, -Q+T, -Q+T ]
1590 [ -P, Q, R, R, R, 2R, 2R ]
1591 [ -P, Q, R, R, R, -Q+R, 2R ]
1592 [ -P, Q, R, R, R, -Q+R, -Q+R ]
1593 [ -P, Q, Q-S, S, T, 2R, 2R ]
1594 [ -P, Q, Q-S, S, T, -Q+T, 2R ]
1595 [ -P, Q, Q-S, S, T, -Q+T, -Q+T ]
1596 [ -P, Q, Q-S, S, S, 2R, 2R ]
1597 [ -P, Q, Q-S, S, S, -Q+S, 2R ]
1598 [ -P, Q, Q-S, S, S, -Q+S, -Q+S ]
1599 [ -P, Q, Q-S, Q-S, T, 2R, 2R ]
1600 [ -P, Q, Q-S, Q-S, T, -Q+T, 2R ]
1601 [ -P, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
1602 [ -P, Q, Q-S, Q-S, Q-S, 2R, 2R ]
1603 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
1604 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
1605 [ -P, -P, R, S, T, 2R, 2R ]
1606 [ -P, -P, R, S, T, -Q+T, 2R ]
1607 [ -P, -P, R, S, T, -Q+T, -Q+T ]
1608 [ -P, -P, R, S, S, 2R, 2R ]
1609 [ -P, -P, R, S, S, -Q+S, 2R ]
1610 [ -P, -P, R, S, S, -Q+S, -Q+S ]
1611 [ -P, -P, R, R, T, 2R, 2R ]
1612 [ -P, -P, R, R, T, -Q+T, 2R ]
1613 [ -P, -P, R, R, T, -Q+T, -Q+T ]
1614 [ -P, -P, R, R, R, 2R, 2R ]
1615 [ -P, -P, R, R, R, -Q+R, 2R ]
1616 [ -P, -P, R, R, R, -Q+R, -Q+R ]
1617 [ -P, -P, -P-S, S, T, 2R, 2R ]
1618 [ -P, -P, -P-S, S, T, -Q+T, 2R ]
1619 [ -P, -P, -P-S, S, T, -Q+T, -Q+T ]
1620 [ -P, -P, -P-S, S, S, 2R, 2R ]
1621 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
1622 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
1623 [ -P, -P, -P-S, -P-S, T, 2R, 2R ]
1624 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
1625 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
1626 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
1627 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
1628 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
1629 ---------------------------------------
1630 Domain :
1631 P + Q >= 0
1632 P - Q >= 0
1633 - R + S >= 0
1634 - S + T >= 0
1635 Q - T + U >= 0
1636 2R - U >= 0
1637 - Q + R + S >= 0
1638 1 >= 0
1640 Vertices :
1641 [ Q, Q, R, S, T, U, 2R ]
1642 [ Q, Q, R, S, T, U, U ]
1643 [ Q, Q, R, S, T, -Q+T, 2R ]
1644 [ Q, Q, R, S, T, -Q+T, -Q+T ]
1645 [ Q, Q, R, S, S, U, 2R ]
1646 [ Q, Q, R, S, S, U, U ]
1647 [ Q, Q, R, S, S, -Q+S, 2R ]
1648 [ Q, Q, R, S, S, -Q+S, -Q+S ]
1649 [ Q, Q, R, R, T, U, 2R ]
1650 [ Q, Q, R, R, T, U, U ]
1651 [ Q, Q, R, R, T, -Q+T, 2R ]
1652 [ Q, Q, R, R, T, -Q+T, -Q+T ]
1653 [ Q, Q, R, R, R, U, 2R ]
1654 [ Q, Q, R, R, R, U, U ]
1655 [ Q, Q, R, R, R, -Q+R, 2R ]
1656 [ Q, Q, R, R, R, -Q+R, -Q+R ]
1657 [ Q, Q, Q-S, S, T, U, 2R ]
1658 [ Q, Q, Q-S, S, T, U, U ]
1659 [ Q, Q, Q-S, S, T, -Q+T, 2R ]
1660 [ Q, Q, Q-S, S, T, -Q+T, -Q+T ]
1661 [ Q, Q, Q-S, S, S, U, 2R ]
1662 [ Q, Q, Q-S, S, S, U, U ]
1663 [ Q, Q, Q-S, S, S, -Q+S, 2R ]
1664 [ Q, Q, Q-S, S, S, -Q+S, -Q+S ]
1665 [ Q, Q, Q-S, Q-S, T, U, 2R ]
1666 [ Q, Q, Q-S, Q-S, T, U, U ]
1667 [ Q, Q, Q-S, Q-S, T, -Q+T, 2R ]
1668 [ Q, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
1669 [ Q, Q, Q-S, Q-S, Q-S, U, 2R ]
1670 [ Q, Q, Q-S, Q-S, Q-S, U, U ]
1671 [ Q, Q, Q-S, Q-S, Q-S, -S, 2R ]
1672 [ Q, Q, Q-S, Q-S, Q-S, -S, -S ]
1673 [ -P, Q, R, S, T, U, 2R ]
1674 [ -P, Q, R, S, T, U, U ]
1675 [ -P, Q, R, S, T, -Q+T, 2R ]
1676 [ -P, Q, R, S, T, -Q+T, -Q+T ]
1677 [ -P, Q, R, S, S, U, 2R ]
1678 [ -P, Q, R, S, S, U, U ]
1679 [ -P, Q, R, S, S, -Q+S, 2R ]
1680 [ -P, Q, R, S, S, -Q+S, -Q+S ]
1681 [ -P, Q, R, R, T, U, 2R ]
1682 [ -P, Q, R, R, T, U, U ]
1683 [ -P, Q, R, R, T, -Q+T, 2R ]
1684 [ -P, Q, R, R, T, -Q+T, -Q+T ]
1685 [ -P, Q, R, R, R, U, 2R ]
1686 [ -P, Q, R, R, R, U, U ]
1687 [ -P, Q, R, R, R, -Q+R, 2R ]
1688 [ -P, Q, R, R, R, -Q+R, -Q+R ]
1689 [ -P, Q, Q-S, S, T, U, 2R ]
1690 [ -P, Q, Q-S, S, T, U, U ]
1691 [ -P, Q, Q-S, S, T, -Q+T, 2R ]
1692 [ -P, Q, Q-S, S, T, -Q+T, -Q+T ]
1693 [ -P, Q, Q-S, S, S, U, 2R ]
1694 [ -P, Q, Q-S, S, S, U, U ]
1695 [ -P, Q, Q-S, S, S, -Q+S, 2R ]
1696 [ -P, Q, Q-S, S, S, -Q+S, -Q+S ]
1697 [ -P, Q, Q-S, Q-S, T, U, 2R ]
1698 [ -P, Q, Q-S, Q-S, T, U, U ]
1699 [ -P, Q, Q-S, Q-S, T, -Q+T, 2R ]
1700 [ -P, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
1701 [ -P, Q, Q-S, Q-S, Q-S, U, 2R ]
1702 [ -P, Q, Q-S, Q-S, Q-S, U, U ]
1703 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
1704 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
1705 [ -P, -P, R, S, T, U, 2R ]
1706 [ -P, -P, R, S, T, U, U ]
1707 [ -P, -P, R, S, T, -Q+T, 2R ]
1708 [ -P, -P, R, S, T, -Q+T, -Q+T ]
1709 [ -P, -P, R, S, S, U, 2R ]
1710 [ -P, -P, R, S, S, U, U ]
1711 [ -P, -P, R, S, S, -Q+S, 2R ]
1712 [ -P, -P, R, S, S, -Q+S, -Q+S ]
1713 [ -P, -P, R, R, T, U, 2R ]
1714 [ -P, -P, R, R, T, U, U ]
1715 [ -P, -P, R, R, T, -Q+T, 2R ]
1716 [ -P, -P, R, R, T, -Q+T, -Q+T ]
1717 [ -P, -P, R, R, R, U, 2R ]
1718 [ -P, -P, R, R, R, U, U ]
1719 [ -P, -P, R, R, R, -Q+R, 2R ]
1720 [ -P, -P, R, R, R, -Q+R, -Q+R ]
1721 [ -P, -P, -P-S, S, T, U, 2R ]
1722 [ -P, -P, -P-S, S, T, U, U ]
1723 [ -P, -P, -P-S, S, T, -Q+T, 2R ]
1724 [ -P, -P, -P-S, S, T, -Q+T, -Q+T ]
1725 [ -P, -P, -P-S, S, S, U, 2R ]
1726 [ -P, -P, -P-S, S, S, U, U ]
1727 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
1728 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
1729 [ -P, -P, -P-S, -P-S, T, U, 2R ]
1730 [ -P, -P, -P-S, -P-S, T, U, U ]
1731 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
1732 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
1733 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
1734 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
1735 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
1736 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
1737 ---------------------------------------
1738 Domain :
1739 -2R + U >= 0
1740 -2R - S >= 0
1741 - P + Q + 2R + S >= 0
1742 P >= 0
1743 - Q - R >= 0
1744 - Q -2R + T >= 0
1745 1 >= 0
1747 Vertices :
1748 [ P, Q+2R+S, Q+2R, Q+2R, Q+2R, 2R, 2R ]
1749 [ P, P, Q+2R, Q+2R, Q+2R, 2R, 2R ]
1750 [ P, P, P-S, Q+2R, Q+2R, 2R, 2R ]
1751 [ P, P, P-S, P-S, Q+2R, 2R, 2R ]
1752 [ P, P, P-S, P-S, P-S, 2R, 2R ]
1753 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
1754 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
1755 [ -P, Q+2R+S, Q+2R, Q+2R, Q+2R, 2R, 2R ]
1756 [ -P, -P, Q+2R, Q+2R, Q+2R, 2R, 2R ]
1757 [ -P, -P, -P-S, Q+2R, Q+2R, 2R, 2R ]
1758 [ -P, -P, -P-S, -P-S, Q+2R, 2R, 2R ]
1759 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
1760 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
1761 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
1762 ---------------------------------------
1763 Domain :
1764 - Q + S - U >= 0
1765 - Q + T - U >= 0
1766 P >= 0
1767 - Q + R - U >= 0
1768 - P + Q + S + U >= 0
1769 2R - U >= 0
1770 - S - U >= 0
1771 1 >= 0
1773 Vertices :
1774 [ P, Q+S+U, Q+U, Q+U, Q+U, U, 2R ]
1775 [ P, Q+S+U, Q+U, Q+U, Q+U, U, U ]
1776 [ P, P, Q+U, Q+U, Q+U, U, 2R ]
1777 [ P, P, Q+U, Q+U, Q+U, U, U ]
1778 [ P, P, P-S, Q+U, Q+U, U, 2R ]
1779 [ P, P, P-S, Q+U, Q+U, U, U ]
1780 [ P, P, P-S, P-S, Q+U, U, 2R ]
1781 [ P, P, P-S, P-S, Q+U, U, U ]
1782 [ P, P, P-S, P-S, P-S, U, 2R ]
1783 [ P, P, P-S, P-S, P-S, U, U ]
1784 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
1785 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
1786 [ -P, Q+S+U, Q+U, Q+U, Q+U, U, 2R ]
1787 [ -P, Q+S+U, Q+U, Q+U, Q+U, U, U ]
1788 [ -P, -P, Q+U, Q+U, Q+U, U, 2R ]
1789 [ -P, -P, Q+U, Q+U, Q+U, U, U ]
1790 [ -P, -P, -P-S, Q+U, Q+U, U, 2R ]
1791 [ -P, -P, -P-S, Q+U, Q+U, U, U ]
1792 [ -P, -P, -P-S, -P-S, Q+U, U, 2R ]
1793 [ -P, -P, -P-S, -P-S, Q+U, U, U ]
1794 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
1795 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
1796 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
1797 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
1798 ---------------------------------------
1799 Domain :
1800 S - T >= 0
1801 -2R + U >= 0
1802 P >= 0
1803 R - T >= 0
1804 - P + S + T >= 0
1805 Q + 2R - T >= 0
1806 Q - S - T >= 0
1807 1 >= 0
1809 Vertices :
1810 [ P, S+T, T, T, T, 2R, 2R ]
1811 [ P, S+T, T, T, T, -Q+T, 2R ]
1812 [ P, S+T, T, T, T, -Q+T, -Q+T ]
1813 [ P, P, T, T, T, 2R, 2R ]
1814 [ P, P, T, T, T, -Q+T, 2R ]
1815 [ P, P, T, T, T, -Q+T, -Q+T ]
1816 [ P, P, P-S, T, T, 2R, 2R ]
1817 [ P, P, P-S, T, T, -Q+T, 2R ]
1818 [ P, P, P-S, T, T, -Q+T, -Q+T ]
1819 [ P, P, P-S, P-S, T, 2R, 2R ]
1820 [ P, P, P-S, P-S, T, -Q+T, 2R ]
1821 [ P, P, P-S, P-S, T, -Q+T, -Q+T ]
1822 [ P, P, P-S, P-S, P-S, 2R, 2R ]
1823 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
1824 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
1825 [ -P, S+T, T, T, T, 2R, 2R ]
1826 [ -P, S+T, T, T, T, -Q+T, 2R ]
1827 [ -P, S+T, T, T, T, -Q+T, -Q+T ]
1828 [ -P, -P, T, T, T, 2R, 2R ]
1829 [ -P, -P, T, T, T, -Q+T, 2R ]
1830 [ -P, -P, T, T, T, -Q+T, -Q+T ]
1831 [ -P, -P, -P-S, T, T, 2R, 2R ]
1832 [ -P, -P, -P-S, T, T, -Q+T, 2R ]
1833 [ -P, -P, -P-S, T, T, -Q+T, -Q+T ]
1834 [ -P, -P, -P-S, -P-S, T, 2R, 2R ]
1835 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
1836 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
1837 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
1838 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
1839 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
1840 ---------------------------------------
1841 Domain :
1842 Q - S - T >= 0
1843 R - T >= 0
1844 P >= 0
1845 - P + S + T >= 0
1846 Q - T + U >= 0
1847 S - T >= 0
1848 2R - U >= 0
1849 1 >= 0
1851 Vertices :
1852 [ P, S+T, T, T, T, U, 2R ]
1853 [ P, S+T, T, T, T, U, U ]
1854 [ P, S+T, T, T, T, -Q+T, 2R ]
1855 [ P, S+T, T, T, T, -Q+T, -Q+T ]
1856 [ P, P, T, T, T, U, 2R ]
1857 [ P, P, T, T, T, U, U ]
1858 [ P, P, T, T, T, -Q+T, 2R ]
1859 [ P, P, T, T, T, -Q+T, -Q+T ]
1860 [ P, P, P-S, T, T, U, 2R ]
1861 [ P, P, P-S, T, T, U, U ]
1862 [ P, P, P-S, T, T, -Q+T, 2R ]
1863 [ P, P, P-S, T, T, -Q+T, -Q+T ]
1864 [ P, P, P-S, P-S, T, U, 2R ]
1865 [ P, P, P-S, P-S, T, U, U ]
1866 [ P, P, P-S, P-S, T, -Q+T, 2R ]
1867 [ P, P, P-S, P-S, T, -Q+T, -Q+T ]
1868 [ P, P, P-S, P-S, P-S, U, 2R ]
1869 [ P, P, P-S, P-S, P-S, U, U ]
1870 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
1871 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
1872 [ -P, S+T, T, T, T, U, 2R ]
1873 [ -P, S+T, T, T, T, U, U ]
1874 [ -P, S+T, T, T, T, -Q+T, 2R ]
1875 [ -P, S+T, T, T, T, -Q+T, -Q+T ]
1876 [ -P, -P, T, T, T, U, 2R ]
1877 [ -P, -P, T, T, T, U, U ]
1878 [ -P, -P, T, T, T, -Q+T, 2R ]
1879 [ -P, -P, T, T, T, -Q+T, -Q+T ]
1880 [ -P, -P, -P-S, T, T, U, 2R ]
1881 [ -P, -P, -P-S, T, T, U, U ]
1882 [ -P, -P, -P-S, T, T, -Q+T, 2R ]
1883 [ -P, -P, -P-S, T, T, -Q+T, -Q+T ]
1884 [ -P, -P, -P-S, -P-S, T, U, 2R ]
1885 [ -P, -P, -P-S, -P-S, T, U, U ]
1886 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
1887 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
1888 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
1889 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
1890 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
1891 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
1892 ---------------------------------------
1893 Domain :
1894 -2R + U >= 0
1895 Q -2S >= 0
1896 - P + 2S >= 0
1897 P >= 0
1898 R - S >= 0
1899 - Q -2R + T >= 0
1900 1 >= 0
1902 Vertices :
1903 [ P, 2S, S, S, Q+2R, 2R, 2R ]
1904 [ P, 2S, S, S, S, 2R, 2R ]
1905 [ P, 2S, S, S, S, -Q+S, 2R ]
1906 [ P, 2S, S, S, S, -Q+S, -Q+S ]
1907 [ P, P, S, S, Q+2R, 2R, 2R ]
1908 [ P, P, S, S, S, 2R, 2R ]
1909 [ P, P, S, S, S, -Q+S, 2R ]
1910 [ P, P, S, S, S, -Q+S, -Q+S ]
1911 [ P, P, P-S, S, Q+2R, 2R, 2R ]
1912 [ P, P, P-S, S, S, 2R, 2R ]
1913 [ P, P, P-S, S, S, -Q+S, 2R ]
1914 [ P, P, P-S, S, S, -Q+S, -Q+S ]
1915 [ P, P, P-S, P-S, Q+2R, 2R, 2R ]
1916 [ P, P, P-S, P-S, P-S, 2R, 2R ]
1917 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
1918 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
1919 [ -P, 2S, S, S, Q+2R, 2R, 2R ]
1920 [ -P, 2S, S, S, S, 2R, 2R ]
1921 [ -P, 2S, S, S, S, -Q+S, 2R ]
1922 [ -P, 2S, S, S, S, -Q+S, -Q+S ]
1923 [ -P, -P, S, S, Q+2R, 2R, 2R ]
1924 [ -P, -P, S, S, S, 2R, 2R ]
1925 [ -P, -P, S, S, S, -Q+S, 2R ]
1926 [ -P, -P, S, S, S, -Q+S, -Q+S ]
1927 [ -P, -P, -P-S, S, Q+2R, 2R, 2R ]
1928 [ -P, -P, -P-S, S, S, 2R, 2R ]
1929 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
1930 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
1931 [ -P, -P, -P-S, -P-S, Q+2R, 2R, 2R ]
1932 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
1933 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
1934 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
1935 ---------------------------------------
1936 Domain :
1937 Q - S + U >= 0
1938 - Q + T - U >= 0
1939 P >= 0
1940 R - S >= 0
1941 - P + 2S >= 0
1942 2R - U >= 0
1943 Q -2S >= 0
1944 1 >= 0
1946 Vertices :
1947 [ P, 2S, S, S, Q+U, U, 2R ]
1948 [ P, 2S, S, S, Q+U, U, U ]
1949 [ P, 2S, S, S, S, U, 2R ]
1950 [ P, 2S, S, S, S, U, U ]
1951 [ P, 2S, S, S, S, -Q+S, 2R ]
1952 [ P, 2S, S, S, S, -Q+S, -Q+S ]
1953 [ P, P, S, S, Q+U, U, 2R ]
1954 [ P, P, S, S, Q+U, U, U ]
1955 [ P, P, S, S, S, U, 2R ]
1956 [ P, P, S, S, S, U, U ]
1957 [ P, P, S, S, S, -Q+S, 2R ]
1958 [ P, P, S, S, S, -Q+S, -Q+S ]
1959 [ P, P, P-S, S, Q+U, U, 2R ]
1960 [ P, P, P-S, S, Q+U, U, U ]
1961 [ P, P, P-S, S, S, U, 2R ]
1962 [ P, P, P-S, S, S, U, U ]
1963 [ P, P, P-S, S, S, -Q+S, 2R ]
1964 [ P, P, P-S, S, S, -Q+S, -Q+S ]
1965 [ P, P, P-S, P-S, Q+U, U, 2R ]
1966 [ P, P, P-S, P-S, Q+U, U, U ]
1967 [ P, P, P-S, P-S, P-S, U, 2R ]
1968 [ P, P, P-S, P-S, P-S, U, U ]
1969 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
1970 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
1971 [ -P, 2S, S, S, Q+U, U, 2R ]
1972 [ -P, 2S, S, S, Q+U, U, U ]
1973 [ -P, 2S, S, S, S, U, 2R ]
1974 [ -P, 2S, S, S, S, U, U ]
1975 [ -P, 2S, S, S, S, -Q+S, 2R ]
1976 [ -P, 2S, S, S, S, -Q+S, -Q+S ]
1977 [ -P, -P, S, S, Q+U, U, 2R ]
1978 [ -P, -P, S, S, Q+U, U, U ]
1979 [ -P, -P, S, S, S, U, 2R ]
1980 [ -P, -P, S, S, S, U, U ]
1981 [ -P, -P, S, S, S, -Q+S, 2R ]
1982 [ -P, -P, S, S, S, -Q+S, -Q+S ]
1983 [ -P, -P, -P-S, S, Q+U, U, 2R ]
1984 [ -P, -P, -P-S, S, Q+U, U, U ]
1985 [ -P, -P, -P-S, S, S, U, 2R ]
1986 [ -P, -P, -P-S, S, S, U, U ]
1987 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
1988 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
1989 [ -P, -P, -P-S, -P-S, Q+U, U, 2R ]
1990 [ -P, -P, -P-S, -P-S, Q+U, U, U ]
1991 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
1992 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
1993 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
1994 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
1995 ---------------------------------------
1996 Domain :
1997 - S + T >= 0
1998 -2R + U >= 0
1999 P >= 0
2000 R - S >= 0
2001 - P + 2S >= 0
2002 Q + 2R - T >= 0
2003 Q -2S >= 0
2004 1 >= 0
2006 Vertices :
2007 [ P, 2S, S, S, T, 2R, 2R ]
2008 [ P, 2S, S, S, T, -Q+T, 2R ]
2009 [ P, 2S, S, S, T, -Q+T, -Q+T ]
2010 [ P, 2S, S, S, S, 2R, 2R ]
2011 [ P, 2S, S, S, S, -Q+S, 2R ]
2012 [ P, 2S, S, S, S, -Q+S, -Q+S ]
2013 [ P, P, S, S, T, 2R, 2R ]
2014 [ P, P, S, S, T, -Q+T, 2R ]
2015 [ P, P, S, S, T, -Q+T, -Q+T ]
2016 [ P, P, S, S, S, 2R, 2R ]
2017 [ P, P, S, S, S, -Q+S, 2R ]
2018 [ P, P, S, S, S, -Q+S, -Q+S ]
2019 [ P, P, P-S, S, T, 2R, 2R ]
2020 [ P, P, P-S, S, T, -Q+T, 2R ]
2021 [ P, P, P-S, S, T, -Q+T, -Q+T ]
2022 [ P, P, P-S, S, S, 2R, 2R ]
2023 [ P, P, P-S, S, S, -Q+S, 2R ]
2024 [ P, P, P-S, S, S, -Q+S, -Q+S ]
2025 [ P, P, P-S, P-S, T, 2R, 2R ]
2026 [ P, P, P-S, P-S, T, -Q+T, 2R ]
2027 [ P, P, P-S, P-S, T, -Q+T, -Q+T ]
2028 [ P, P, P-S, P-S, P-S, 2R, 2R ]
2029 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
2030 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
2031 [ -P, 2S, S, S, T, 2R, 2R ]
2032 [ -P, 2S, S, S, T, -Q+T, 2R ]
2033 [ -P, 2S, S, S, T, -Q+T, -Q+T ]
2034 [ -P, 2S, S, S, S, 2R, 2R ]
2035 [ -P, 2S, S, S, S, -Q+S, 2R ]
2036 [ -P, 2S, S, S, S, -Q+S, -Q+S ]
2037 [ -P, -P, S, S, T, 2R, 2R ]
2038 [ -P, -P, S, S, T, -Q+T, 2R ]
2039 [ -P, -P, S, S, T, -Q+T, -Q+T ]
2040 [ -P, -P, S, S, S, 2R, 2R ]
2041 [ -P, -P, S, S, S, -Q+S, 2R ]
2042 [ -P, -P, S, S, S, -Q+S, -Q+S ]
2043 [ -P, -P, -P-S, S, T, 2R, 2R ]
2044 [ -P, -P, -P-S, S, T, -Q+T, 2R ]
2045 [ -P, -P, -P-S, S, T, -Q+T, -Q+T ]
2046 [ -P, -P, -P-S, S, S, 2R, 2R ]
2047 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
2048 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
2049 [ -P, -P, -P-S, -P-S, T, 2R, 2R ]
2050 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
2051 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
2052 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
2053 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
2054 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
2055 ---------------------------------------
2056 Domain :
2057 Q -2S >= 0
2058 R - S >= 0
2059 P >= 0
2060 - P + 2S >= 0
2061 Q - T + U >= 0
2062 - S + T >= 0
2063 2R - U >= 0
2064 1 >= 0
2066 Vertices :
2067 [ P, 2S, S, S, T, U, 2R ]
2068 [ P, 2S, S, S, T, U, U ]
2069 [ P, 2S, S, S, T, -Q+T, 2R ]
2070 [ P, 2S, S, S, T, -Q+T, -Q+T ]
2071 [ P, 2S, S, S, S, U, 2R ]
2072 [ P, 2S, S, S, S, U, U ]
2073 [ P, 2S, S, S, S, -Q+S, 2R ]
2074 [ P, 2S, S, S, S, -Q+S, -Q+S ]
2075 [ P, P, S, S, T, U, 2R ]
2076 [ P, P, S, S, T, U, U ]
2077 [ P, P, S, S, T, -Q+T, 2R ]
2078 [ P, P, S, S, T, -Q+T, -Q+T ]
2079 [ P, P, S, S, S, U, 2R ]
2080 [ P, P, S, S, S, U, U ]
2081 [ P, P, S, S, S, -Q+S, 2R ]
2082 [ P, P, S, S, S, -Q+S, -Q+S ]
2083 [ P, P, P-S, S, T, U, 2R ]
2084 [ P, P, P-S, S, T, U, U ]
2085 [ P, P, P-S, S, T, -Q+T, 2R ]
2086 [ P, P, P-S, S, T, -Q+T, -Q+T ]
2087 [ P, P, P-S, S, S, U, 2R ]
2088 [ P, P, P-S, S, S, U, U ]
2089 [ P, P, P-S, S, S, -Q+S, 2R ]
2090 [ P, P, P-S, S, S, -Q+S, -Q+S ]
2091 [ P, P, P-S, P-S, T, U, 2R ]
2092 [ P, P, P-S, P-S, T, U, U ]
2093 [ P, P, P-S, P-S, T, -Q+T, 2R ]
2094 [ P, P, P-S, P-S, T, -Q+T, -Q+T ]
2095 [ P, P, P-S, P-S, P-S, U, 2R ]
2096 [ P, P, P-S, P-S, P-S, U, U ]
2097 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
2098 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
2099 [ -P, 2S, S, S, T, U, 2R ]
2100 [ -P, 2S, S, S, T, U, U ]
2101 [ -P, 2S, S, S, T, -Q+T, 2R ]
2102 [ -P, 2S, S, S, T, -Q+T, -Q+T ]
2103 [ -P, 2S, S, S, S, U, 2R ]
2104 [ -P, 2S, S, S, S, U, U ]
2105 [ -P, 2S, S, S, S, -Q+S, 2R ]
2106 [ -P, 2S, S, S, S, -Q+S, -Q+S ]
2107 [ -P, -P, S, S, T, U, 2R ]
2108 [ -P, -P, S, S, T, U, U ]
2109 [ -P, -P, S, S, T, -Q+T, 2R ]
2110 [ -P, -P, S, S, T, -Q+T, -Q+T ]
2111 [ -P, -P, S, S, S, U, 2R ]
2112 [ -P, -P, S, S, S, U, U ]
2113 [ -P, -P, S, S, S, -Q+S, 2R ]
2114 [ -P, -P, S, S, S, -Q+S, -Q+S ]
2115 [ -P, -P, -P-S, S, T, U, 2R ]
2116 [ -P, -P, -P-S, S, T, U, U ]
2117 [ -P, -P, -P-S, S, T, -Q+T, 2R ]
2118 [ -P, -P, -P-S, S, T, -Q+T, -Q+T ]
2119 [ -P, -P, -P-S, S, S, U, 2R ]
2120 [ -P, -P, -P-S, S, S, U, U ]
2121 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
2122 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
2123 [ -P, -P, -P-S, -P-S, T, U, 2R ]
2124 [ -P, -P, -P-S, -P-S, T, U, U ]
2125 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
2126 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
2127 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
2128 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
2129 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
2130 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
2131 ---------------------------------------
2132 Domain :
2133 Q + R >= 0
2134 -2R + U >= 0
2135 - Q -2R + T >= 0
2136 - P + R + S >= 0
2137 P >= 0
2138 - Q -2R + S >= 0
2139 Q - R - S >= 0
2140 1 >= 0
2142 Vertices :
2143 [ P, R+S, R, Q+2R, Q+2R, 2R, 2R ]
2144 [ P, R+S, R, R, Q+2R, 2R, 2R ]
2145 [ P, R+S, R, R, R, 2R, 2R ]
2146 [ P, R+S, R, R, R, -Q+R, 2R ]
2147 [ P, R+S, R, R, R, -Q+R, -Q+R ]
2148 [ P, P, R, Q+2R, Q+2R, 2R, 2R ]
2149 [ P, P, R, R, Q+2R, 2R, 2R ]
2150 [ P, P, R, R, R, 2R, 2R ]
2151 [ P, P, R, R, R, -Q+R, 2R ]
2152 [ P, P, R, R, R, -Q+R, -Q+R ]
2153 [ P, P, P-S, Q+2R, Q+2R, 2R, 2R ]
2154 [ P, P, P-S, P-S, Q+2R, 2R, 2R ]
2155 [ P, P, P-S, P-S, P-S, 2R, 2R ]
2156 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
2157 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
2158 [ -P, R+S, R, Q+2R, Q+2R, 2R, 2R ]
2159 [ -P, R+S, R, R, Q+2R, 2R, 2R ]
2160 [ -P, R+S, R, R, R, 2R, 2R ]
2161 [ -P, R+S, R, R, R, -Q+R, 2R ]
2162 [ -P, R+S, R, R, R, -Q+R, -Q+R ]
2163 [ -P, -P, R, Q+2R, Q+2R, 2R, 2R ]
2164 [ -P, -P, R, R, Q+2R, 2R, 2R ]
2165 [ -P, -P, R, R, R, 2R, 2R ]
2166 [ -P, -P, R, R, R, -Q+R, 2R ]
2167 [ -P, -P, R, R, R, -Q+R, -Q+R ]
2168 [ -P, -P, -P-S, Q+2R, Q+2R, 2R, 2R ]
2169 [ -P, -P, -P-S, -P-S, Q+2R, 2R, 2R ]
2170 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
2171 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
2172 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
2173 ---------------------------------------
2174 Domain :
2175 2R - U >= 0
2176 - Q + T - U >= 0
2177 P >= 0
2178 - P + R + S >= 0
2179 - Q + S - U >= 0
2180 Q - R + U >= 0
2181 Q - R - S >= 0
2182 1 >= 0
2184 Vertices :
2185 [ P, R+S, R, Q+U, Q+U, U, 2R ]
2186 [ P, R+S, R, Q+U, Q+U, U, U ]
2187 [ P, R+S, R, R, Q+U, U, 2R ]
2188 [ P, R+S, R, R, Q+U, U, U ]
2189 [ P, R+S, R, R, R, U, 2R ]
2190 [ P, R+S, R, R, R, U, U ]
2191 [ P, R+S, R, R, R, -Q+R, 2R ]
2192 [ P, R+S, R, R, R, -Q+R, -Q+R ]
2193 [ P, P, R, Q+U, Q+U, U, 2R ]
2194 [ P, P, R, Q+U, Q+U, U, U ]
2195 [ P, P, R, R, Q+U, U, 2R ]
2196 [ P, P, R, R, Q+U, U, U ]
2197 [ P, P, R, R, R, U, 2R ]
2198 [ P, P, R, R, R, U, U ]
2199 [ P, P, R, R, R, -Q+R, 2R ]
2200 [ P, P, R, R, R, -Q+R, -Q+R ]
2201 [ P, P, P-S, Q+U, Q+U, U, 2R ]
2202 [ P, P, P-S, Q+U, Q+U, U, U ]
2203 [ P, P, P-S, P-S, Q+U, U, 2R ]
2204 [ P, P, P-S, P-S, Q+U, U, U ]
2205 [ P, P, P-S, P-S, P-S, U, 2R ]
2206 [ P, P, P-S, P-S, P-S, U, U ]
2207 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
2208 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
2209 [ -P, R+S, R, Q+U, Q+U, U, 2R ]
2210 [ -P, R+S, R, Q+U, Q+U, U, U ]
2211 [ -P, R+S, R, R, Q+U, U, 2R ]
2212 [ -P, R+S, R, R, Q+U, U, U ]
2213 [ -P, R+S, R, R, R, U, 2R ]
2214 [ -P, R+S, R, R, R, U, U ]
2215 [ -P, R+S, R, R, R, -Q+R, 2R ]
2216 [ -P, R+S, R, R, R, -Q+R, -Q+R ]
2217 [ -P, -P, R, Q+U, Q+U, U, 2R ]
2218 [ -P, -P, R, Q+U, Q+U, U, U ]
2219 [ -P, -P, R, R, Q+U, U, 2R ]
2220 [ -P, -P, R, R, Q+U, U, U ]
2221 [ -P, -P, R, R, R, U, 2R ]
2222 [ -P, -P, R, R, R, U, U ]
2223 [ -P, -P, R, R, R, -Q+R, 2R ]
2224 [ -P, -P, R, R, R, -Q+R, -Q+R ]
2225 [ -P, -P, -P-S, Q+U, Q+U, U, 2R ]
2226 [ -P, -P, -P-S, Q+U, Q+U, U, U ]
2227 [ -P, -P, -P-S, -P-S, Q+U, U, 2R ]
2228 [ -P, -P, -P-S, -P-S, Q+U, U, U ]
2229 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
2230 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
2231 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
2232 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
2233 ---------------------------------------
2234 Domain :
2235 Q + 2R - T >= 0
2236 -2R + U >= 0
2237 P >= 0
2238 - P + R + S >= 0
2239 S - T >= 0
2240 - R + T >= 0
2241 Q - R - S >= 0
2242 1 >= 0
2244 Vertices :
2245 [ P, R+S, R, T, T, 2R, 2R ]
2246 [ P, R+S, R, T, T, -Q+T, 2R ]
2247 [ P, R+S, R, T, T, -Q+T, -Q+T ]
2248 [ P, R+S, R, R, T, 2R, 2R ]
2249 [ P, R+S, R, R, T, -Q+T, 2R ]
2250 [ P, R+S, R, R, T, -Q+T, -Q+T ]
2251 [ P, R+S, R, R, R, 2R, 2R ]
2252 [ P, R+S, R, R, R, -Q+R, 2R ]
2253 [ P, R+S, R, R, R, -Q+R, -Q+R ]
2254 [ P, P, R, T, T, 2R, 2R ]
2255 [ P, P, R, T, T, -Q+T, 2R ]
2256 [ P, P, R, T, T, -Q+T, -Q+T ]
2257 [ P, P, R, R, T, 2R, 2R ]
2258 [ P, P, R, R, T, -Q+T, 2R ]
2259 [ P, P, R, R, T, -Q+T, -Q+T ]
2260 [ P, P, R, R, R, 2R, 2R ]
2261 [ P, P, R, R, R, -Q+R, 2R ]
2262 [ P, P, R, R, R, -Q+R, -Q+R ]
2263 [ P, P, P-S, T, T, 2R, 2R ]
2264 [ P, P, P-S, T, T, -Q+T, 2R ]
2265 [ P, P, P-S, T, T, -Q+T, -Q+T ]
2266 [ P, P, P-S, P-S, T, 2R, 2R ]
2267 [ P, P, P-S, P-S, T, -Q+T, 2R ]
2268 [ P, P, P-S, P-S, T, -Q+T, -Q+T ]
2269 [ P, P, P-S, P-S, P-S, 2R, 2R ]
2270 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
2271 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
2272 [ -P, R+S, R, T, T, 2R, 2R ]
2273 [ -P, R+S, R, T, T, -Q+T, 2R ]
2274 [ -P, R+S, R, T, T, -Q+T, -Q+T ]
2275 [ -P, R+S, R, R, T, 2R, 2R ]
2276 [ -P, R+S, R, R, T, -Q+T, 2R ]
2277 [ -P, R+S, R, R, T, -Q+T, -Q+T ]
2278 [ -P, R+S, R, R, R, 2R, 2R ]
2279 [ -P, R+S, R, R, R, -Q+R, 2R ]
2280 [ -P, R+S, R, R, R, -Q+R, -Q+R ]
2281 [ -P, -P, R, T, T, 2R, 2R ]
2282 [ -P, -P, R, T, T, -Q+T, 2R ]
2283 [ -P, -P, R, T, T, -Q+T, -Q+T ]
2284 [ -P, -P, R, R, T, 2R, 2R ]
2285 [ -P, -P, R, R, T, -Q+T, 2R ]
2286 [ -P, -P, R, R, T, -Q+T, -Q+T ]
2287 [ -P, -P, R, R, R, 2R, 2R ]
2288 [ -P, -P, R, R, R, -Q+R, 2R ]
2289 [ -P, -P, R, R, R, -Q+R, -Q+R ]
2290 [ -P, -P, -P-S, T, T, 2R, 2R ]
2291 [ -P, -P, -P-S, T, T, -Q+T, 2R ]
2292 [ -P, -P, -P-S, T, T, -Q+T, -Q+T ]
2293 [ -P, -P, -P-S, -P-S, T, 2R, 2R ]
2294 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
2295 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
2296 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
2297 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
2298 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
2299 ---------------------------------------
2300 Domain :
2301 Q - R - S >= 0
2302 P >= 0
2303 - P + R + S >= 0
2304 S - T >= 0
2305 - R + T >= 0
2306 Q - T + U >= 0
2307 2R - U >= 0
2308 1 >= 0
2310 Vertices :
2311 [ P, R+S, R, T, T, U, 2R ]
2312 [ P, R+S, R, T, T, U, U ]
2313 [ P, R+S, R, T, T, -Q+T, 2R ]
2314 [ P, R+S, R, T, T, -Q+T, -Q+T ]
2315 [ P, R+S, R, R, T, U, 2R ]
2316 [ P, R+S, R, R, T, U, U ]
2317 [ P, R+S, R, R, T, -Q+T, 2R ]
2318 [ P, R+S, R, R, T, -Q+T, -Q+T ]
2319 [ P, R+S, R, R, R, U, 2R ]
2320 [ P, R+S, R, R, R, U, U ]
2321 [ P, R+S, R, R, R, -Q+R, 2R ]
2322 [ P, R+S, R, R, R, -Q+R, -Q+R ]
2323 [ P, P, R, T, T, U, 2R ]
2324 [ P, P, R, T, T, U, U ]
2325 [ P, P, R, T, T, -Q+T, 2R ]
2326 [ P, P, R, T, T, -Q+T, -Q+T ]
2327 [ P, P, R, R, T, U, 2R ]
2328 [ P, P, R, R, T, U, U ]
2329 [ P, P, R, R, T, -Q+T, 2R ]
2330 [ P, P, R, R, T, -Q+T, -Q+T ]
2331 [ P, P, R, R, R, U, 2R ]
2332 [ P, P, R, R, R, U, U ]
2333 [ P, P, R, R, R, -Q+R, 2R ]
2334 [ P, P, R, R, R, -Q+R, -Q+R ]
2335 [ P, P, P-S, T, T, U, 2R ]
2336 [ P, P, P-S, T, T, U, U ]
2337 [ P, P, P-S, T, T, -Q+T, 2R ]
2338 [ P, P, P-S, T, T, -Q+T, -Q+T ]
2339 [ P, P, P-S, P-S, T, U, 2R ]
2340 [ P, P, P-S, P-S, T, U, U ]
2341 [ P, P, P-S, P-S, T, -Q+T, 2R ]
2342 [ P, P, P-S, P-S, T, -Q+T, -Q+T ]
2343 [ P, P, P-S, P-S, P-S, U, 2R ]
2344 [ P, P, P-S, P-S, P-S, U, U ]
2345 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
2346 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
2347 [ -P, R+S, R, T, T, U, 2R ]
2348 [ -P, R+S, R, T, T, U, U ]
2349 [ -P, R+S, R, T, T, -Q+T, 2R ]
2350 [ -P, R+S, R, T, T, -Q+T, -Q+T ]
2351 [ -P, R+S, R, R, T, U, 2R ]
2352 [ -P, R+S, R, R, T, U, U ]
2353 [ -P, R+S, R, R, T, -Q+T, 2R ]
2354 [ -P, R+S, R, R, T, -Q+T, -Q+T ]
2355 [ -P, R+S, R, R, R, U, 2R ]
2356 [ -P, R+S, R, R, R, U, U ]
2357 [ -P, R+S, R, R, R, -Q+R, 2R ]
2358 [ -P, R+S, R, R, R, -Q+R, -Q+R ]
2359 [ -P, -P, R, T, T, U, 2R ]
2360 [ -P, -P, R, T, T, U, U ]
2361 [ -P, -P, R, T, T, -Q+T, 2R ]
2362 [ -P, -P, R, T, T, -Q+T, -Q+T ]
2363 [ -P, -P, R, R, T, U, 2R ]
2364 [ -P, -P, R, R, T, U, U ]
2365 [ -P, -P, R, R, T, -Q+T, 2R ]
2366 [ -P, -P, R, R, T, -Q+T, -Q+T ]
2367 [ -P, -P, R, R, R, U, 2R ]
2368 [ -P, -P, R, R, R, U, U ]
2369 [ -P, -P, R, R, R, -Q+R, 2R ]
2370 [ -P, -P, R, R, R, -Q+R, -Q+R ]
2371 [ -P, -P, -P-S, T, T, U, 2R ]
2372 [ -P, -P, -P-S, T, T, U, U ]
2373 [ -P, -P, -P-S, T, T, -Q+T, 2R ]
2374 [ -P, -P, -P-S, T, T, -Q+T, -Q+T ]
2375 [ -P, -P, -P-S, -P-S, T, U, 2R ]
2376 [ -P, -P, -P-S, -P-S, T, U, U ]
2377 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
2378 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
2379 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
2380 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
2381 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
2382 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
2383 ---------------------------------------
2384 Domain :
2385 - R + S >= 0
2386 -2R + U >= 0
2387 - Q -2R + T >= 0
2388 - P + R + S >= 0
2389 P >= 0
2390 Q + 2R - S >= 0
2391 Q - R - S >= 0
2392 1 >= 0
2394 Vertices :
2395 [ P, R+S, R, S, Q+2R, 2R, 2R ]
2396 [ P, R+S, R, S, S, 2R, 2R ]
2397 [ P, R+S, R, S, S, -Q+S, 2R ]
2398 [ P, R+S, R, S, S, -Q+S, -Q+S ]
2399 [ P, R+S, R, R, Q+2R, 2R, 2R ]
2400 [ P, R+S, R, R, R, 2R, 2R ]
2401 [ P, R+S, R, R, R, -Q+R, 2R ]
2402 [ P, R+S, R, R, R, -Q+R, -Q+R ]
2403 [ P, P, R, S, Q+2R, 2R, 2R ]
2404 [ P, P, R, S, S, 2R, 2R ]
2405 [ P, P, R, S, S, -Q+S, 2R ]
2406 [ P, P, R, S, S, -Q+S, -Q+S ]
2407 [ P, P, R, R, Q+2R, 2R, 2R ]
2408 [ P, P, R, R, R, 2R, 2R ]
2409 [ P, P, R, R, R, -Q+R, 2R ]
2410 [ P, P, R, R, R, -Q+R, -Q+R ]
2411 [ P, P, P-S, S, Q+2R, 2R, 2R ]
2412 [ P, P, P-S, S, S, 2R, 2R ]
2413 [ P, P, P-S, S, S, -Q+S, 2R ]
2414 [ P, P, P-S, S, S, -Q+S, -Q+S ]
2415 [ P, P, P-S, P-S, Q+2R, 2R, 2R ]
2416 [ P, P, P-S, P-S, P-S, 2R, 2R ]
2417 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
2418 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
2419 [ -P, R+S, R, S, Q+2R, 2R, 2R ]
2420 [ -P, R+S, R, S, S, 2R, 2R ]
2421 [ -P, R+S, R, S, S, -Q+S, 2R ]
2422 [ -P, R+S, R, S, S, -Q+S, -Q+S ]
2423 [ -P, R+S, R, R, Q+2R, 2R, 2R ]
2424 [ -P, R+S, R, R, R, 2R, 2R ]
2425 [ -P, R+S, R, R, R, -Q+R, 2R ]
2426 [ -P, R+S, R, R, R, -Q+R, -Q+R ]
2427 [ -P, -P, R, S, Q+2R, 2R, 2R ]
2428 [ -P, -P, R, S, S, 2R, 2R ]
2429 [ -P, -P, R, S, S, -Q+S, 2R ]
2430 [ -P, -P, R, S, S, -Q+S, -Q+S ]
2431 [ -P, -P, R, R, Q+2R, 2R, 2R ]
2432 [ -P, -P, R, R, R, 2R, 2R ]
2433 [ -P, -P, R, R, R, -Q+R, 2R ]
2434 [ -P, -P, R, R, R, -Q+R, -Q+R ]
2435 [ -P, -P, -P-S, S, Q+2R, 2R, 2R ]
2436 [ -P, -P, -P-S, S, S, 2R, 2R ]
2437 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
2438 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
2439 [ -P, -P, -P-S, -P-S, Q+2R, 2R, 2R ]
2440 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
2441 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
2442 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
2443 ---------------------------------------
2444 Domain :
2445 2R - U >= 0
2446 - Q + T - U >= 0
2447 P >= 0
2448 - P + R + S >= 0
2449 Q - S + U >= 0
2450 - R + S >= 0
2451 Q - R - S >= 0
2452 1 >= 0
2454 Vertices :
2455 [ P, R+S, R, S, Q+U, U, 2R ]
2456 [ P, R+S, R, S, Q+U, U, U ]
2457 [ P, R+S, R, S, S, U, 2R ]
2458 [ P, R+S, R, S, S, U, U ]
2459 [ P, R+S, R, S, S, -Q+S, 2R ]
2460 [ P, R+S, R, S, S, -Q+S, -Q+S ]
2461 [ P, R+S, R, R, Q+U, U, 2R ]
2462 [ P, R+S, R, R, Q+U, U, U ]
2463 [ P, R+S, R, R, R, U, 2R ]
2464 [ P, R+S, R, R, R, U, U ]
2465 [ P, R+S, R, R, R, -Q+R, 2R ]
2466 [ P, R+S, R, R, R, -Q+R, -Q+R ]
2467 [ P, P, R, S, Q+U, U, 2R ]
2468 [ P, P, R, S, Q+U, U, U ]
2469 [ P, P, R, S, S, U, 2R ]
2470 [ P, P, R, S, S, U, U ]
2471 [ P, P, R, S, S, -Q+S, 2R ]
2472 [ P, P, R, S, S, -Q+S, -Q+S ]
2473 [ P, P, R, R, Q+U, U, 2R ]
2474 [ P, P, R, R, Q+U, U, U ]
2475 [ P, P, R, R, R, U, 2R ]
2476 [ P, P, R, R, R, U, U ]
2477 [ P, P, R, R, R, -Q+R, 2R ]
2478 [ P, P, R, R, R, -Q+R, -Q+R ]
2479 [ P, P, P-S, S, Q+U, U, 2R ]
2480 [ P, P, P-S, S, Q+U, U, U ]
2481 [ P, P, P-S, S, S, U, 2R ]
2482 [ P, P, P-S, S, S, U, U ]
2483 [ P, P, P-S, S, S, -Q+S, 2R ]
2484 [ P, P, P-S, S, S, -Q+S, -Q+S ]
2485 [ P, P, P-S, P-S, Q+U, U, 2R ]
2486 [ P, P, P-S, P-S, Q+U, U, U ]
2487 [ P, P, P-S, P-S, P-S, U, 2R ]
2488 [ P, P, P-S, P-S, P-S, U, U ]
2489 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
2490 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
2491 [ -P, R+S, R, S, Q+U, U, 2R ]
2492 [ -P, R+S, R, S, Q+U, U, U ]
2493 [ -P, R+S, R, S, S, U, 2R ]
2494 [ -P, R+S, R, S, S, U, U ]
2495 [ -P, R+S, R, S, S, -Q+S, 2R ]
2496 [ -P, R+S, R, S, S, -Q+S, -Q+S ]
2497 [ -P, R+S, R, R, Q+U, U, 2R ]
2498 [ -P, R+S, R, R, Q+U, U, U ]
2499 [ -P, R+S, R, R, R, U, 2R ]
2500 [ -P, R+S, R, R, R, U, U ]
2501 [ -P, R+S, R, R, R, -Q+R, 2R ]
2502 [ -P, R+S, R, R, R, -Q+R, -Q+R ]
2503 [ -P, -P, R, S, Q+U, U, 2R ]
2504 [ -P, -P, R, S, Q+U, U, U ]
2505 [ -P, -P, R, S, S, U, 2R ]
2506 [ -P, -P, R, S, S, U, U ]
2507 [ -P, -P, R, S, S, -Q+S, 2R ]
2508 [ -P, -P, R, S, S, -Q+S, -Q+S ]
2509 [ -P, -P, R, R, Q+U, U, 2R ]
2510 [ -P, -P, R, R, Q+U, U, U ]
2511 [ -P, -P, R, R, R, U, 2R ]
2512 [ -P, -P, R, R, R, U, U ]
2513 [ -P, -P, R, R, R, -Q+R, 2R ]
2514 [ -P, -P, R, R, R, -Q+R, -Q+R ]
2515 [ -P, -P, -P-S, S, Q+U, U, 2R ]
2516 [ -P, -P, -P-S, S, Q+U, U, U ]
2517 [ -P, -P, -P-S, S, S, U, 2R ]
2518 [ -P, -P, -P-S, S, S, U, U ]
2519 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
2520 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
2521 [ -P, -P, -P-S, -P-S, Q+U, U, 2R ]
2522 [ -P, -P, -P-S, -P-S, Q+U, U, U ]
2523 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
2524 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
2525 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
2526 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
2527 ---------------------------------------
2528 Domain :
2529 Q + 2R - T >= 0
2530 -2R + U >= 0
2531 P >= 0
2532 - P + R + S >= 0
2533 - S + T >= 0
2534 - R + S >= 0
2535 Q - R - S >= 0
2536 1 >= 0
2538 Vertices :
2539 [ P, R+S, R, S, T, 2R, 2R ]
2540 [ P, R+S, R, S, T, -Q+T, 2R ]
2541 [ P, R+S, R, S, T, -Q+T, -Q+T ]
2542 [ P, R+S, R, S, S, 2R, 2R ]
2543 [ P, R+S, R, S, S, -Q+S, 2R ]
2544 [ P, R+S, R, S, S, -Q+S, -Q+S ]
2545 [ P, R+S, R, R, T, 2R, 2R ]
2546 [ P, R+S, R, R, T, -Q+T, 2R ]
2547 [ P, R+S, R, R, T, -Q+T, -Q+T ]
2548 [ P, R+S, R, R, R, 2R, 2R ]
2549 [ P, R+S, R, R, R, -Q+R, 2R ]
2550 [ P, R+S, R, R, R, -Q+R, -Q+R ]
2551 [ P, P, R, S, T, 2R, 2R ]
2552 [ P, P, R, S, T, -Q+T, 2R ]
2553 [ P, P, R, S, T, -Q+T, -Q+T ]
2554 [ P, P, R, S, S, 2R, 2R ]
2555 [ P, P, R, S, S, -Q+S, 2R ]
2556 [ P, P, R, S, S, -Q+S, -Q+S ]
2557 [ P, P, R, R, T, 2R, 2R ]
2558 [ P, P, R, R, T, -Q+T, 2R ]
2559 [ P, P, R, R, T, -Q+T, -Q+T ]
2560 [ P, P, R, R, R, 2R, 2R ]
2561 [ P, P, R, R, R, -Q+R, 2R ]
2562 [ P, P, R, R, R, -Q+R, -Q+R ]
2563 [ P, P, P-S, S, T, 2R, 2R ]
2564 [ P, P, P-S, S, T, -Q+T, 2R ]
2565 [ P, P, P-S, S, T, -Q+T, -Q+T ]
2566 [ P, P, P-S, S, S, 2R, 2R ]
2567 [ P, P, P-S, S, S, -Q+S, 2R ]
2568 [ P, P, P-S, S, S, -Q+S, -Q+S ]
2569 [ P, P, P-S, P-S, T, 2R, 2R ]
2570 [ P, P, P-S, P-S, T, -Q+T, 2R ]
2571 [ P, P, P-S, P-S, T, -Q+T, -Q+T ]
2572 [ P, P, P-S, P-S, P-S, 2R, 2R ]
2573 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
2574 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
2575 [ -P, R+S, R, S, T, 2R, 2R ]
2576 [ -P, R+S, R, S, T, -Q+T, 2R ]
2577 [ -P, R+S, R, S, T, -Q+T, -Q+T ]
2578 [ -P, R+S, R, S, S, 2R, 2R ]
2579 [ -P, R+S, R, S, S, -Q+S, 2R ]
2580 [ -P, R+S, R, S, S, -Q+S, -Q+S ]
2581 [ -P, R+S, R, R, T, 2R, 2R ]
2582 [ -P, R+S, R, R, T, -Q+T, 2R ]
2583 [ -P, R+S, R, R, T, -Q+T, -Q+T ]
2584 [ -P, R+S, R, R, R, 2R, 2R ]
2585 [ -P, R+S, R, R, R, -Q+R, 2R ]
2586 [ -P, R+S, R, R, R, -Q+R, -Q+R ]
2587 [ -P, -P, R, S, T, 2R, 2R ]
2588 [ -P, -P, R, S, T, -Q+T, 2R ]
2589 [ -P, -P, R, S, T, -Q+T, -Q+T ]
2590 [ -P, -P, R, S, S, 2R, 2R ]
2591 [ -P, -P, R, S, S, -Q+S, 2R ]
2592 [ -P, -P, R, S, S, -Q+S, -Q+S ]
2593 [ -P, -P, R, R, T, 2R, 2R ]
2594 [ -P, -P, R, R, T, -Q+T, 2R ]
2595 [ -P, -P, R, R, T, -Q+T, -Q+T ]
2596 [ -P, -P, R, R, R, 2R, 2R ]
2597 [ -P, -P, R, R, R, -Q+R, 2R ]
2598 [ -P, -P, R, R, R, -Q+R, -Q+R ]
2599 [ -P, -P, -P-S, S, T, 2R, 2R ]
2600 [ -P, -P, -P-S, S, T, -Q+T, 2R ]
2601 [ -P, -P, -P-S, S, T, -Q+T, -Q+T ]
2602 [ -P, -P, -P-S, S, S, 2R, 2R ]
2603 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
2604 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
2605 [ -P, -P, -P-S, -P-S, T, 2R, 2R ]
2606 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
2607 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
2608 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
2609 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
2610 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
2611 ---------------------------------------
2612 Domain :
2613 Q - R - S >= 0
2614 P >= 0
2615 - P + R + S >= 0
2616 - S + T >= 0
2617 - R + S >= 0
2618 Q - T + U >= 0
2619 2R - U >= 0
2620 1 >= 0
2622 Vertices :
2623 [ P, R+S, R, S, T, U, 2R ]
2624 [ P, R+S, R, S, T, U, U ]
2625 [ P, R+S, R, S, T, -Q+T, 2R ]
2626 [ P, R+S, R, S, T, -Q+T, -Q+T ]
2627 [ P, R+S, R, S, S, U, 2R ]
2628 [ P, R+S, R, S, S, U, U ]
2629 [ P, R+S, R, S, S, -Q+S, 2R ]
2630 [ P, R+S, R, S, S, -Q+S, -Q+S ]
2631 [ P, R+S, R, R, T, U, 2R ]
2632 [ P, R+S, R, R, T, U, U ]
2633 [ P, R+S, R, R, T, -Q+T, 2R ]
2634 [ P, R+S, R, R, T, -Q+T, -Q+T ]
2635 [ P, R+S, R, R, R, U, 2R ]
2636 [ P, R+S, R, R, R, U, U ]
2637 [ P, R+S, R, R, R, -Q+R, 2R ]
2638 [ P, R+S, R, R, R, -Q+R, -Q+R ]
2639 [ P, P, R, S, T, U, 2R ]
2640 [ P, P, R, S, T, U, U ]
2641 [ P, P, R, S, T, -Q+T, 2R ]
2642 [ P, P, R, S, T, -Q+T, -Q+T ]
2643 [ P, P, R, S, S, U, 2R ]
2644 [ P, P, R, S, S, U, U ]
2645 [ P, P, R, S, S, -Q+S, 2R ]
2646 [ P, P, R, S, S, -Q+S, -Q+S ]
2647 [ P, P, R, R, T, U, 2R ]
2648 [ P, P, R, R, T, U, U ]
2649 [ P, P, R, R, T, -Q+T, 2R ]
2650 [ P, P, R, R, T, -Q+T, -Q+T ]
2651 [ P, P, R, R, R, U, 2R ]
2652 [ P, P, R, R, R, U, U ]
2653 [ P, P, R, R, R, -Q+R, 2R ]
2654 [ P, P, R, R, R, -Q+R, -Q+R ]
2655 [ P, P, P-S, S, T, U, 2R ]
2656 [ P, P, P-S, S, T, U, U ]
2657 [ P, P, P-S, S, T, -Q+T, 2R ]
2658 [ P, P, P-S, S, T, -Q+T, -Q+T ]
2659 [ P, P, P-S, S, S, U, 2R ]
2660 [ P, P, P-S, S, S, U, U ]
2661 [ P, P, P-S, S, S, -Q+S, 2R ]
2662 [ P, P, P-S, S, S, -Q+S, -Q+S ]
2663 [ P, P, P-S, P-S, T, U, 2R ]
2664 [ P, P, P-S, P-S, T, U, U ]
2665 [ P, P, P-S, P-S, T, -Q+T, 2R ]
2666 [ P, P, P-S, P-S, T, -Q+T, -Q+T ]
2667 [ P, P, P-S, P-S, P-S, U, 2R ]
2668 [ P, P, P-S, P-S, P-S, U, U ]
2669 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
2670 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
2671 [ -P, R+S, R, S, T, U, 2R ]
2672 [ -P, R+S, R, S, T, U, U ]
2673 [ -P, R+S, R, S, T, -Q+T, 2R ]
2674 [ -P, R+S, R, S, T, -Q+T, -Q+T ]
2675 [ -P, R+S, R, S, S, U, 2R ]
2676 [ -P, R+S, R, S, S, U, U ]
2677 [ -P, R+S, R, S, S, -Q+S, 2R ]
2678 [ -P, R+S, R, S, S, -Q+S, -Q+S ]
2679 [ -P, R+S, R, R, T, U, 2R ]
2680 [ -P, R+S, R, R, T, U, U ]
2681 [ -P, R+S, R, R, T, -Q+T, 2R ]
2682 [ -P, R+S, R, R, T, -Q+T, -Q+T ]
2683 [ -P, R+S, R, R, R, U, 2R ]
2684 [ -P, R+S, R, R, R, U, U ]
2685 [ -P, R+S, R, R, R, -Q+R, 2R ]
2686 [ -P, R+S, R, R, R, -Q+R, -Q+R ]
2687 [ -P, -P, R, S, T, U, 2R ]
2688 [ -P, -P, R, S, T, U, U ]
2689 [ -P, -P, R, S, T, -Q+T, 2R ]
2690 [ -P, -P, R, S, T, -Q+T, -Q+T ]
2691 [ -P, -P, R, S, S, U, 2R ]
2692 [ -P, -P, R, S, S, U, U ]
2693 [ -P, -P, R, S, S, -Q+S, 2R ]
2694 [ -P, -P, R, S, S, -Q+S, -Q+S ]
2695 [ -P, -P, R, R, T, U, 2R ]
2696 [ -P, -P, R, R, T, U, U ]
2697 [ -P, -P, R, R, T, -Q+T, 2R ]
2698 [ -P, -P, R, R, T, -Q+T, -Q+T ]
2699 [ -P, -P, R, R, R, U, 2R ]
2700 [ -P, -P, R, R, R, U, U ]
2701 [ -P, -P, R, R, R, -Q+R, 2R ]
2702 [ -P, -P, R, R, R, -Q+R, -Q+R ]
2703 [ -P, -P, -P-S, S, T, U, 2R ]
2704 [ -P, -P, -P-S, S, T, U, U ]
2705 [ -P, -P, -P-S, S, T, -Q+T, 2R ]
2706 [ -P, -P, -P-S, S, T, -Q+T, -Q+T ]
2707 [ -P, -P, -P-S, S, S, U, 2R ]
2708 [ -P, -P, -P-S, S, S, U, U ]
2709 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
2710 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
2711 [ -P, -P, -P-S, -P-S, T, U, 2R ]
2712 [ -P, -P, -P-S, -P-S, T, U, U ]
2713 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
2714 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
2715 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
2716 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
2717 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
2718 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
2719 ---------------------------------------
2720 Domain :
2721 -2R + U >= 0
2722 2R + S >= 0
2723 - P + Q >= 0
2724 P >= 0
2725 - Q - R >= 0
2726 - Q -2R + T >= 0
2727 1 >= 0
2729 Vertices :
2730 [ P, Q, Q+2R, Q+2R, Q+2R, 2R, 2R ]
2731 [ P, Q, Q-S, Q+2R, Q+2R, 2R, 2R ]
2732 [ P, Q, Q-S, Q-S, Q+2R, 2R, 2R ]
2733 [ P, Q, Q-S, Q-S, Q-S, 2R, 2R ]
2734 [ P, Q, Q-S, Q-S, Q-S, -S, 2R ]
2735 [ P, Q, Q-S, Q-S, Q-S, -S, -S ]
2736 [ P, P, Q+2R, Q+2R, Q+2R, 2R, 2R ]
2737 [ P, P, P-S, Q+2R, Q+2R, 2R, 2R ]
2738 [ P, P, P-S, P-S, Q+2R, 2R, 2R ]
2739 [ P, P, P-S, P-S, P-S, 2R, 2R ]
2740 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
2741 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
2742 [ -P, Q, Q+2R, Q+2R, Q+2R, 2R, 2R ]
2743 [ -P, Q, Q-S, Q+2R, Q+2R, 2R, 2R ]
2744 [ -P, Q, Q-S, Q-S, Q+2R, 2R, 2R ]
2745 [ -P, Q, Q-S, Q-S, Q-S, 2R, 2R ]
2746 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
2747 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
2748 [ -P, -P, Q+2R, Q+2R, Q+2R, 2R, 2R ]
2749 [ -P, -P, -P-S, Q+2R, Q+2R, 2R, 2R ]
2750 [ -P, -P, -P-S, -P-S, Q+2R, 2R, 2R ]
2751 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
2752 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
2753 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
2754 ---------------------------------------
2755 Domain :
2756 - Q + S - U >= 0
2757 - Q + T - U >= 0
2758 P >= 0
2759 - Q + R - U >= 0
2760 - P + Q >= 0
2761 2R - U >= 0
2762 S + U >= 0
2763 1 >= 0
2765 Vertices :
2766 [ P, Q, Q+U, Q+U, Q+U, U, 2R ]
2767 [ P, Q, Q+U, Q+U, Q+U, U, U ]
2768 [ P, Q, Q-S, Q+U, Q+U, U, 2R ]
2769 [ P, Q, Q-S, Q+U, Q+U, U, U ]
2770 [ P, Q, Q-S, Q-S, Q+U, U, 2R ]
2771 [ P, Q, Q-S, Q-S, Q+U, U, U ]
2772 [ P, Q, Q-S, Q-S, Q-S, U, 2R ]
2773 [ P, Q, Q-S, Q-S, Q-S, U, U ]
2774 [ P, Q, Q-S, Q-S, Q-S, -S, 2R ]
2775 [ P, Q, Q-S, Q-S, Q-S, -S, -S ]
2776 [ P, P, Q+U, Q+U, Q+U, U, 2R ]
2777 [ P, P, Q+U, Q+U, Q+U, U, U ]
2778 [ P, P, P-S, Q+U, Q+U, U, 2R ]
2779 [ P, P, P-S, Q+U, Q+U, U, U ]
2780 [ P, P, P-S, P-S, Q+U, U, 2R ]
2781 [ P, P, P-S, P-S, Q+U, U, U ]
2782 [ P, P, P-S, P-S, P-S, U, 2R ]
2783 [ P, P, P-S, P-S, P-S, U, U ]
2784 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
2785 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
2786 [ -P, Q, Q+U, Q+U, Q+U, U, 2R ]
2787 [ -P, Q, Q+U, Q+U, Q+U, U, U ]
2788 [ -P, Q, Q-S, Q+U, Q+U, U, 2R ]
2789 [ -P, Q, Q-S, Q+U, Q+U, U, U ]
2790 [ -P, Q, Q-S, Q-S, Q+U, U, 2R ]
2791 [ -P, Q, Q-S, Q-S, Q+U, U, U ]
2792 [ -P, Q, Q-S, Q-S, Q-S, U, 2R ]
2793 [ -P, Q, Q-S, Q-S, Q-S, U, U ]
2794 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
2795 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
2796 [ -P, -P, Q+U, Q+U, Q+U, U, 2R ]
2797 [ -P, -P, Q+U, Q+U, Q+U, U, U ]
2798 [ -P, -P, -P-S, Q+U, Q+U, U, 2R ]
2799 [ -P, -P, -P-S, Q+U, Q+U, U, U ]
2800 [ -P, -P, -P-S, -P-S, Q+U, U, 2R ]
2801 [ -P, -P, -P-S, -P-S, Q+U, U, U ]
2802 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
2803 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
2804 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
2805 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
2806 ---------------------------------------
2807 Domain :
2808 S - T >= 0
2809 -2R + U >= 0
2810 P >= 0
2811 R - T >= 0
2812 - P + Q >= 0
2813 Q + 2R - T >= 0
2814 - Q + S + T >= 0
2815 1 >= 0
2817 Vertices :
2818 [ P, Q, T, T, T, 2R, 2R ]
2819 [ P, Q, T, T, T, -Q+T, 2R ]
2820 [ P, Q, T, T, T, -Q+T, -Q+T ]
2821 [ P, Q, Q-S, T, T, 2R, 2R ]
2822 [ P, Q, Q-S, T, T, -Q+T, 2R ]
2823 [ P, Q, Q-S, T, T, -Q+T, -Q+T ]
2824 [ P, Q, Q-S, Q-S, T, 2R, 2R ]
2825 [ P, Q, Q-S, Q-S, T, -Q+T, 2R ]
2826 [ P, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
2827 [ P, Q, Q-S, Q-S, Q-S, 2R, 2R ]
2828 [ P, Q, Q-S, Q-S, Q-S, -S, 2R ]
2829 [ P, Q, Q-S, Q-S, Q-S, -S, -S ]
2830 [ P, P, T, T, T, 2R, 2R ]
2831 [ P, P, T, T, T, -Q+T, 2R ]
2832 [ P, P, T, T, T, -Q+T, -Q+T ]
2833 [ P, P, P-S, T, T, 2R, 2R ]
2834 [ P, P, P-S, T, T, -Q+T, 2R ]
2835 [ P, P, P-S, T, T, -Q+T, -Q+T ]
2836 [ P, P, P-S, P-S, T, 2R, 2R ]
2837 [ P, P, P-S, P-S, T, -Q+T, 2R ]
2838 [ P, P, P-S, P-S, T, -Q+T, -Q+T ]
2839 [ P, P, P-S, P-S, P-S, 2R, 2R ]
2840 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
2841 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
2842 [ -P, Q, T, T, T, 2R, 2R ]
2843 [ -P, Q, T, T, T, -Q+T, 2R ]
2844 [ -P, Q, T, T, T, -Q+T, -Q+T ]
2845 [ -P, Q, Q-S, T, T, 2R, 2R ]
2846 [ -P, Q, Q-S, T, T, -Q+T, 2R ]
2847 [ -P, Q, Q-S, T, T, -Q+T, -Q+T ]
2848 [ -P, Q, Q-S, Q-S, T, 2R, 2R ]
2849 [ -P, Q, Q-S, Q-S, T, -Q+T, 2R ]
2850 [ -P, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
2851 [ -P, Q, Q-S, Q-S, Q-S, 2R, 2R ]
2852 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
2853 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
2854 [ -P, -P, T, T, T, 2R, 2R ]
2855 [ -P, -P, T, T, T, -Q+T, 2R ]
2856 [ -P, -P, T, T, T, -Q+T, -Q+T ]
2857 [ -P, -P, -P-S, T, T, 2R, 2R ]
2858 [ -P, -P, -P-S, T, T, -Q+T, 2R ]
2859 [ -P, -P, -P-S, T, T, -Q+T, -Q+T ]
2860 [ -P, -P, -P-S, -P-S, T, 2R, 2R ]
2861 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
2862 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
2863 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
2864 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
2865 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
2866 ---------------------------------------
2867 Domain :
2868 - Q + S + T >= 0
2869 R - T >= 0
2870 P >= 0
2871 - P + Q >= 0
2872 Q - T + U >= 0
2873 S - T >= 0
2874 2R - U >= 0
2875 1 >= 0
2877 Vertices :
2878 [ P, Q, T, T, T, U, 2R ]
2879 [ P, Q, T, T, T, U, U ]
2880 [ P, Q, T, T, T, -Q+T, 2R ]
2881 [ P, Q, T, T, T, -Q+T, -Q+T ]
2882 [ P, Q, Q-S, T, T, U, 2R ]
2883 [ P, Q, Q-S, T, T, U, U ]
2884 [ P, Q, Q-S, T, T, -Q+T, 2R ]
2885 [ P, Q, Q-S, T, T, -Q+T, -Q+T ]
2886 [ P, Q, Q-S, Q-S, T, U, 2R ]
2887 [ P, Q, Q-S, Q-S, T, U, U ]
2888 [ P, Q, Q-S, Q-S, T, -Q+T, 2R ]
2889 [ P, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
2890 [ P, Q, Q-S, Q-S, Q-S, U, 2R ]
2891 [ P, Q, Q-S, Q-S, Q-S, U, U ]
2892 [ P, Q, Q-S, Q-S, Q-S, -S, 2R ]
2893 [ P, Q, Q-S, Q-S, Q-S, -S, -S ]
2894 [ P, P, T, T, T, U, 2R ]
2895 [ P, P, T, T, T, U, U ]
2896 [ P, P, T, T, T, -Q+T, 2R ]
2897 [ P, P, T, T, T, -Q+T, -Q+T ]
2898 [ P, P, P-S, T, T, U, 2R ]
2899 [ P, P, P-S, T, T, U, U ]
2900 [ P, P, P-S, T, T, -Q+T, 2R ]
2901 [ P, P, P-S, T, T, -Q+T, -Q+T ]
2902 [ P, P, P-S, P-S, T, U, 2R ]
2903 [ P, P, P-S, P-S, T, U, U ]
2904 [ P, P, P-S, P-S, T, -Q+T, 2R ]
2905 [ P, P, P-S, P-S, T, -Q+T, -Q+T ]
2906 [ P, P, P-S, P-S, P-S, U, 2R ]
2907 [ P, P, P-S, P-S, P-S, U, U ]
2908 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
2909 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
2910 [ -P, Q, T, T, T, U, 2R ]
2911 [ -P, Q, T, T, T, U, U ]
2912 [ -P, Q, T, T, T, -Q+T, 2R ]
2913 [ -P, Q, T, T, T, -Q+T, -Q+T ]
2914 [ -P, Q, Q-S, T, T, U, 2R ]
2915 [ -P, Q, Q-S, T, T, U, U ]
2916 [ -P, Q, Q-S, T, T, -Q+T, 2R ]
2917 [ -P, Q, Q-S, T, T, -Q+T, -Q+T ]
2918 [ -P, Q, Q-S, Q-S, T, U, 2R ]
2919 [ -P, Q, Q-S, Q-S, T, U, U ]
2920 [ -P, Q, Q-S, Q-S, T, -Q+T, 2R ]
2921 [ -P, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
2922 [ -P, Q, Q-S, Q-S, Q-S, U, 2R ]
2923 [ -P, Q, Q-S, Q-S, Q-S, U, U ]
2924 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
2925 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
2926 [ -P, -P, T, T, T, U, 2R ]
2927 [ -P, -P, T, T, T, U, U ]
2928 [ -P, -P, T, T, T, -Q+T, 2R ]
2929 [ -P, -P, T, T, T, -Q+T, -Q+T ]
2930 [ -P, -P, -P-S, T, T, U, 2R ]
2931 [ -P, -P, -P-S, T, T, U, U ]
2932 [ -P, -P, -P-S, T, T, -Q+T, 2R ]
2933 [ -P, -P, -P-S, T, T, -Q+T, -Q+T ]
2934 [ -P, -P, -P-S, -P-S, T, U, 2R ]
2935 [ -P, -P, -P-S, -P-S, T, U, U ]
2936 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
2937 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
2938 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
2939 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
2940 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
2941 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
2942 ---------------------------------------
2943 Domain :
2944 -2R + U >= 0
2945 - Q + 2S >= 0
2946 - P + Q >= 0
2947 P >= 0
2948 R - S >= 0
2949 - Q -2R + T >= 0
2950 1 >= 0
2952 Vertices :
2953 [ P, Q, S, S, Q+2R, 2R, 2R ]
2954 [ P, Q, S, S, S, 2R, 2R ]
2955 [ P, Q, S, S, S, -Q+S, 2R ]
2956 [ P, Q, S, S, S, -Q+S, -Q+S ]
2957 [ P, Q, Q-S, S, Q+2R, 2R, 2R ]
2958 [ P, Q, Q-S, S, S, 2R, 2R ]
2959 [ P, Q, Q-S, S, S, -Q+S, 2R ]
2960 [ P, Q, Q-S, S, S, -Q+S, -Q+S ]
2961 [ P, Q, Q-S, Q-S, Q+2R, 2R, 2R ]
2962 [ P, Q, Q-S, Q-S, Q-S, 2R, 2R ]
2963 [ P, Q, Q-S, Q-S, Q-S, -S, 2R ]
2964 [ P, Q, Q-S, Q-S, Q-S, -S, -S ]
2965 [ P, P, S, S, Q+2R, 2R, 2R ]
2966 [ P, P, S, S, S, 2R, 2R ]
2967 [ P, P, S, S, S, -Q+S, 2R ]
2968 [ P, P, S, S, S, -Q+S, -Q+S ]
2969 [ P, P, P-S, S, Q+2R, 2R, 2R ]
2970 [ P, P, P-S, S, S, 2R, 2R ]
2971 [ P, P, P-S, S, S, -Q+S, 2R ]
2972 [ P, P, P-S, S, S, -Q+S, -Q+S ]
2973 [ P, P, P-S, P-S, Q+2R, 2R, 2R ]
2974 [ P, P, P-S, P-S, P-S, 2R, 2R ]
2975 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
2976 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
2977 [ -P, Q, S, S, Q+2R, 2R, 2R ]
2978 [ -P, Q, S, S, S, 2R, 2R ]
2979 [ -P, Q, S, S, S, -Q+S, 2R ]
2980 [ -P, Q, S, S, S, -Q+S, -Q+S ]
2981 [ -P, Q, Q-S, S, Q+2R, 2R, 2R ]
2982 [ -P, Q, Q-S, S, S, 2R, 2R ]
2983 [ -P, Q, Q-S, S, S, -Q+S, 2R ]
2984 [ -P, Q, Q-S, S, S, -Q+S, -Q+S ]
2985 [ -P, Q, Q-S, Q-S, Q+2R, 2R, 2R ]
2986 [ -P, Q, Q-S, Q-S, Q-S, 2R, 2R ]
2987 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
2988 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
2989 [ -P, -P, S, S, Q+2R, 2R, 2R ]
2990 [ -P, -P, S, S, S, 2R, 2R ]
2991 [ -P, -P, S, S, S, -Q+S, 2R ]
2992 [ -P, -P, S, S, S, -Q+S, -Q+S ]
2993 [ -P, -P, -P-S, S, Q+2R, 2R, 2R ]
2994 [ -P, -P, -P-S, S, S, 2R, 2R ]
2995 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
2996 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
2997 [ -P, -P, -P-S, -P-S, Q+2R, 2R, 2R ]
2998 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
2999 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
3000 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
3001 ---------------------------------------
3002 Domain :
3003 Q - S + U >= 0
3004 - Q + T - U >= 0
3005 P >= 0
3006 R - S >= 0
3007 - P + Q >= 0
3008 2R - U >= 0
3009 - Q + 2S >= 0
3010 1 >= 0
3012 Vertices :
3013 [ P, Q, S, S, Q+U, U, 2R ]
3014 [ P, Q, S, S, Q+U, U, U ]
3015 [ P, Q, S, S, S, U, 2R ]
3016 [ P, Q, S, S, S, U, U ]
3017 [ P, Q, S, S, S, -Q+S, 2R ]
3018 [ P, Q, S, S, S, -Q+S, -Q+S ]
3019 [ P, Q, Q-S, S, Q+U, U, 2R ]
3020 [ P, Q, Q-S, S, Q+U, U, U ]
3021 [ P, Q, Q-S, S, S, U, 2R ]
3022 [ P, Q, Q-S, S, S, U, U ]
3023 [ P, Q, Q-S, S, S, -Q+S, 2R ]
3024 [ P, Q, Q-S, S, S, -Q+S, -Q+S ]
3025 [ P, Q, Q-S, Q-S, Q+U, U, 2R ]
3026 [ P, Q, Q-S, Q-S, Q+U, U, U ]
3027 [ P, Q, Q-S, Q-S, Q-S, U, 2R ]
3028 [ P, Q, Q-S, Q-S, Q-S, U, U ]
3029 [ P, Q, Q-S, Q-S, Q-S, -S, 2R ]
3030 [ P, Q, Q-S, Q-S, Q-S, -S, -S ]
3031 [ P, P, S, S, Q+U, U, 2R ]
3032 [ P, P, S, S, Q+U, U, U ]
3033 [ P, P, S, S, S, U, 2R ]
3034 [ P, P, S, S, S, U, U ]
3035 [ P, P, S, S, S, -Q+S, 2R ]
3036 [ P, P, S, S, S, -Q+S, -Q+S ]
3037 [ P, P, P-S, S, Q+U, U, 2R ]
3038 [ P, P, P-S, S, Q+U, U, U ]
3039 [ P, P, P-S, S, S, U, 2R ]
3040 [ P, P, P-S, S, S, U, U ]
3041 [ P, P, P-S, S, S, -Q+S, 2R ]
3042 [ P, P, P-S, S, S, -Q+S, -Q+S ]
3043 [ P, P, P-S, P-S, Q+U, U, 2R ]
3044 [ P, P, P-S, P-S, Q+U, U, U ]
3045 [ P, P, P-S, P-S, P-S, U, 2R ]
3046 [ P, P, P-S, P-S, P-S, U, U ]
3047 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
3048 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
3049 [ -P, Q, S, S, Q+U, U, 2R ]
3050 [ -P, Q, S, S, Q+U, U, U ]
3051 [ -P, Q, S, S, S, U, 2R ]
3052 [ -P, Q, S, S, S, U, U ]
3053 [ -P, Q, S, S, S, -Q+S, 2R ]
3054 [ -P, Q, S, S, S, -Q+S, -Q+S ]
3055 [ -P, Q, Q-S, S, Q+U, U, 2R ]
3056 [ -P, Q, Q-S, S, Q+U, U, U ]
3057 [ -P, Q, Q-S, S, S, U, 2R ]
3058 [ -P, Q, Q-S, S, S, U, U ]
3059 [ -P, Q, Q-S, S, S, -Q+S, 2R ]
3060 [ -P, Q, Q-S, S, S, -Q+S, -Q+S ]
3061 [ -P, Q, Q-S, Q-S, Q+U, U, 2R ]
3062 [ -P, Q, Q-S, Q-S, Q+U, U, U ]
3063 [ -P, Q, Q-S, Q-S, Q-S, U, 2R ]
3064 [ -P, Q, Q-S, Q-S, Q-S, U, U ]
3065 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
3066 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
3067 [ -P, -P, S, S, Q+U, U, 2R ]
3068 [ -P, -P, S, S, Q+U, U, U ]
3069 [ -P, -P, S, S, S, U, 2R ]
3070 [ -P, -P, S, S, S, U, U ]
3071 [ -P, -P, S, S, S, -Q+S, 2R ]
3072 [ -P, -P, S, S, S, -Q+S, -Q+S ]
3073 [ -P, -P, -P-S, S, Q+U, U, 2R ]
3074 [ -P, -P, -P-S, S, Q+U, U, U ]
3075 [ -P, -P, -P-S, S, S, U, 2R ]
3076 [ -P, -P, -P-S, S, S, U, U ]
3077 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
3078 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
3079 [ -P, -P, -P-S, -P-S, Q+U, U, 2R ]
3080 [ -P, -P, -P-S, -P-S, Q+U, U, U ]
3081 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
3082 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
3083 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
3084 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
3085 ---------------------------------------
3086 Domain :
3087 - S + T >= 0
3088 -2R + U >= 0
3089 P >= 0
3090 R - S >= 0
3091 - P + Q >= 0
3092 Q + 2R - T >= 0
3093 - Q + 2S >= 0
3094 1 >= 0
3096 Vertices :
3097 [ P, Q, S, S, T, 2R, 2R ]
3098 [ P, Q, S, S, T, -Q+T, 2R ]
3099 [ P, Q, S, S, T, -Q+T, -Q+T ]
3100 [ P, Q, S, S, S, 2R, 2R ]
3101 [ P, Q, S, S, S, -Q+S, 2R ]
3102 [ P, Q, S, S, S, -Q+S, -Q+S ]
3103 [ P, Q, Q-S, S, T, 2R, 2R ]
3104 [ P, Q, Q-S, S, T, -Q+T, 2R ]
3105 [ P, Q, Q-S, S, T, -Q+T, -Q+T ]
3106 [ P, Q, Q-S, S, S, 2R, 2R ]
3107 [ P, Q, Q-S, S, S, -Q+S, 2R ]
3108 [ P, Q, Q-S, S, S, -Q+S, -Q+S ]
3109 [ P, Q, Q-S, Q-S, T, 2R, 2R ]
3110 [ P, Q, Q-S, Q-S, T, -Q+T, 2R ]
3111 [ P, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
3112 [ P, Q, Q-S, Q-S, Q-S, 2R, 2R ]
3113 [ P, Q, Q-S, Q-S, Q-S, -S, 2R ]
3114 [ P, Q, Q-S, Q-S, Q-S, -S, -S ]
3115 [ P, P, S, S, T, 2R, 2R ]
3116 [ P, P, S, S, T, -Q+T, 2R ]
3117 [ P, P, S, S, T, -Q+T, -Q+T ]
3118 [ P, P, S, S, S, 2R, 2R ]
3119 [ P, P, S, S, S, -Q+S, 2R ]
3120 [ P, P, S, S, S, -Q+S, -Q+S ]
3121 [ P, P, P-S, S, T, 2R, 2R ]
3122 [ P, P, P-S, S, T, -Q+T, 2R ]
3123 [ P, P, P-S, S, T, -Q+T, -Q+T ]
3124 [ P, P, P-S, S, S, 2R, 2R ]
3125 [ P, P, P-S, S, S, -Q+S, 2R ]
3126 [ P, P, P-S, S, S, -Q+S, -Q+S ]
3127 [ P, P, P-S, P-S, T, 2R, 2R ]
3128 [ P, P, P-S, P-S, T, -Q+T, 2R ]
3129 [ P, P, P-S, P-S, T, -Q+T, -Q+T ]
3130 [ P, P, P-S, P-S, P-S, 2R, 2R ]
3131 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
3132 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
3133 [ -P, Q, S, S, T, 2R, 2R ]
3134 [ -P, Q, S, S, T, -Q+T, 2R ]
3135 [ -P, Q, S, S, T, -Q+T, -Q+T ]
3136 [ -P, Q, S, S, S, 2R, 2R ]
3137 [ -P, Q, S, S, S, -Q+S, 2R ]
3138 [ -P, Q, S, S, S, -Q+S, -Q+S ]
3139 [ -P, Q, Q-S, S, T, 2R, 2R ]
3140 [ -P, Q, Q-S, S, T, -Q+T, 2R ]
3141 [ -P, Q, Q-S, S, T, -Q+T, -Q+T ]
3142 [ -P, Q, Q-S, S, S, 2R, 2R ]
3143 [ -P, Q, Q-S, S, S, -Q+S, 2R ]
3144 [ -P, Q, Q-S, S, S, -Q+S, -Q+S ]
3145 [ -P, Q, Q-S, Q-S, T, 2R, 2R ]
3146 [ -P, Q, Q-S, Q-S, T, -Q+T, 2R ]
3147 [ -P, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
3148 [ -P, Q, Q-S, Q-S, Q-S, 2R, 2R ]
3149 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
3150 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
3151 [ -P, -P, S, S, T, 2R, 2R ]
3152 [ -P, -P, S, S, T, -Q+T, 2R ]
3153 [ -P, -P, S, S, T, -Q+T, -Q+T ]
3154 [ -P, -P, S, S, S, 2R, 2R ]
3155 [ -P, -P, S, S, S, -Q+S, 2R ]
3156 [ -P, -P, S, S, S, -Q+S, -Q+S ]
3157 [ -P, -P, -P-S, S, T, 2R, 2R ]
3158 [ -P, -P, -P-S, S, T, -Q+T, 2R ]
3159 [ -P, -P, -P-S, S, T, -Q+T, -Q+T ]
3160 [ -P, -P, -P-S, S, S, 2R, 2R ]
3161 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
3162 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
3163 [ -P, -P, -P-S, -P-S, T, 2R, 2R ]
3164 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
3165 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
3166 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
3167 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
3168 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
3169 ---------------------------------------
3170 Domain :
3171 - Q + 2S >= 0
3172 R - S >= 0
3173 P >= 0
3174 - P + Q >= 0
3175 Q - T + U >= 0
3176 - S + T >= 0
3177 2R - U >= 0
3178 1 >= 0
3180 Vertices :
3181 [ P, Q, S, S, T, U, 2R ]
3182 [ P, Q, S, S, T, U, U ]
3183 [ P, Q, S, S, T, -Q+T, 2R ]
3184 [ P, Q, S, S, T, -Q+T, -Q+T ]
3185 [ P, Q, S, S, S, U, 2R ]
3186 [ P, Q, S, S, S, U, U ]
3187 [ P, Q, S, S, S, -Q+S, 2R ]
3188 [ P, Q, S, S, S, -Q+S, -Q+S ]
3189 [ P, Q, Q-S, S, T, U, 2R ]
3190 [ P, Q, Q-S, S, T, U, U ]
3191 [ P, Q, Q-S, S, T, -Q+T, 2R ]
3192 [ P, Q, Q-S, S, T, -Q+T, -Q+T ]
3193 [ P, Q, Q-S, S, S, U, 2R ]
3194 [ P, Q, Q-S, S, S, U, U ]
3195 [ P, Q, Q-S, S, S, -Q+S, 2R ]
3196 [ P, Q, Q-S, S, S, -Q+S, -Q+S ]
3197 [ P, Q, Q-S, Q-S, T, U, 2R ]
3198 [ P, Q, Q-S, Q-S, T, U, U ]
3199 [ P, Q, Q-S, Q-S, T, -Q+T, 2R ]
3200 [ P, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
3201 [ P, Q, Q-S, Q-S, Q-S, U, 2R ]
3202 [ P, Q, Q-S, Q-S, Q-S, U, U ]
3203 [ P, Q, Q-S, Q-S, Q-S, -S, 2R ]
3204 [ P, Q, Q-S, Q-S, Q-S, -S, -S ]
3205 [ P, P, S, S, T, U, 2R ]
3206 [ P, P, S, S, T, U, U ]
3207 [ P, P, S, S, T, -Q+T, 2R ]
3208 [ P, P, S, S, T, -Q+T, -Q+T ]
3209 [ P, P, S, S, S, U, 2R ]
3210 [ P, P, S, S, S, U, U ]
3211 [ P, P, S, S, S, -Q+S, 2R ]
3212 [ P, P, S, S, S, -Q+S, -Q+S ]
3213 [ P, P, P-S, S, T, U, 2R ]
3214 [ P, P, P-S, S, T, U, U ]
3215 [ P, P, P-S, S, T, -Q+T, 2R ]
3216 [ P, P, P-S, S, T, -Q+T, -Q+T ]
3217 [ P, P, P-S, S, S, U, 2R ]
3218 [ P, P, P-S, S, S, U, U ]
3219 [ P, P, P-S, S, S, -Q+S, 2R ]
3220 [ P, P, P-S, S, S, -Q+S, -Q+S ]
3221 [ P, P, P-S, P-S, T, U, 2R ]
3222 [ P, P, P-S, P-S, T, U, U ]
3223 [ P, P, P-S, P-S, T, -Q+T, 2R ]
3224 [ P, P, P-S, P-S, T, -Q+T, -Q+T ]
3225 [ P, P, P-S, P-S, P-S, U, 2R ]
3226 [ P, P, P-S, P-S, P-S, U, U ]
3227 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
3228 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
3229 [ -P, Q, S, S, T, U, 2R ]
3230 [ -P, Q, S, S, T, U, U ]
3231 [ -P, Q, S, S, T, -Q+T, 2R ]
3232 [ -P, Q, S, S, T, -Q+T, -Q+T ]
3233 [ -P, Q, S, S, S, U, 2R ]
3234 [ -P, Q, S, S, S, U, U ]
3235 [ -P, Q, S, S, S, -Q+S, 2R ]
3236 [ -P, Q, S, S, S, -Q+S, -Q+S ]
3237 [ -P, Q, Q-S, S, T, U, 2R ]
3238 [ -P, Q, Q-S, S, T, U, U ]
3239 [ -P, Q, Q-S, S, T, -Q+T, 2R ]
3240 [ -P, Q, Q-S, S, T, -Q+T, -Q+T ]
3241 [ -P, Q, Q-S, S, S, U, 2R ]
3242 [ -P, Q, Q-S, S, S, U, U ]
3243 [ -P, Q, Q-S, S, S, -Q+S, 2R ]
3244 [ -P, Q, Q-S, S, S, -Q+S, -Q+S ]
3245 [ -P, Q, Q-S, Q-S, T, U, 2R ]
3246 [ -P, Q, Q-S, Q-S, T, U, U ]
3247 [ -P, Q, Q-S, Q-S, T, -Q+T, 2R ]
3248 [ -P, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
3249 [ -P, Q, Q-S, Q-S, Q-S, U, 2R ]
3250 [ -P, Q, Q-S, Q-S, Q-S, U, U ]
3251 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
3252 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
3253 [ -P, -P, S, S, T, U, 2R ]
3254 [ -P, -P, S, S, T, U, U ]
3255 [ -P, -P, S, S, T, -Q+T, 2R ]
3256 [ -P, -P, S, S, T, -Q+T, -Q+T ]
3257 [ -P, -P, S, S, S, U, 2R ]
3258 [ -P, -P, S, S, S, U, U ]
3259 [ -P, -P, S, S, S, -Q+S, 2R ]
3260 [ -P, -P, S, S, S, -Q+S, -Q+S ]
3261 [ -P, -P, -P-S, S, T, U, 2R ]
3262 [ -P, -P, -P-S, S, T, U, U ]
3263 [ -P, -P, -P-S, S, T, -Q+T, 2R ]
3264 [ -P, -P, -P-S, S, T, -Q+T, -Q+T ]
3265 [ -P, -P, -P-S, S, S, U, 2R ]
3266 [ -P, -P, -P-S, S, S, U, U ]
3267 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
3268 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
3269 [ -P, -P, -P-S, -P-S, T, U, 2R ]
3270 [ -P, -P, -P-S, -P-S, T, U, U ]
3271 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
3272 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
3273 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
3274 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
3275 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
3276 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
3277 ---------------------------------------
3278 Domain :
3279 Q + R >= 0
3280 -2R + U >= 0
3281 - Q -2R + T >= 0
3282 - P + Q >= 0
3283 P >= 0
3284 - Q -2R + S >= 0
3285 - Q + R + S >= 0
3286 1 >= 0
3288 Vertices :
3289 [ P, Q, R, Q+2R, Q+2R, 2R, 2R ]
3290 [ P, Q, R, R, Q+2R, 2R, 2R ]
3291 [ P, Q, R, R, R, 2R, 2R ]
3292 [ P, Q, R, R, R, -Q+R, 2R ]
3293 [ P, Q, R, R, R, -Q+R, -Q+R ]
3294 [ P, Q, Q-S, Q+2R, Q+2R, 2R, 2R ]
3295 [ P, Q, Q-S, Q-S, Q+2R, 2R, 2R ]
3296 [ P, Q, Q-S, Q-S, Q-S, 2R, 2R ]
3297 [ P, Q, Q-S, Q-S, Q-S, -S, 2R ]
3298 [ P, Q, Q-S, Q-S, Q-S, -S, -S ]
3299 [ P, P, R, Q+2R, Q+2R, 2R, 2R ]
3300 [ P, P, R, R, Q+2R, 2R, 2R ]
3301 [ P, P, R, R, R, 2R, 2R ]
3302 [ P, P, R, R, R, -Q+R, 2R ]
3303 [ P, P, R, R, R, -Q+R, -Q+R ]
3304 [ P, P, P-S, Q+2R, Q+2R, 2R, 2R ]
3305 [ P, P, P-S, P-S, Q+2R, 2R, 2R ]
3306 [ P, P, P-S, P-S, P-S, 2R, 2R ]
3307 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
3308 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
3309 [ -P, Q, R, Q+2R, Q+2R, 2R, 2R ]
3310 [ -P, Q, R, R, Q+2R, 2R, 2R ]
3311 [ -P, Q, R, R, R, 2R, 2R ]
3312 [ -P, Q, R, R, R, -Q+R, 2R ]
3313 [ -P, Q, R, R, R, -Q+R, -Q+R ]
3314 [ -P, Q, Q-S, Q+2R, Q+2R, 2R, 2R ]
3315 [ -P, Q, Q-S, Q-S, Q+2R, 2R, 2R ]
3316 [ -P, Q, Q-S, Q-S, Q-S, 2R, 2R ]
3317 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
3318 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
3319 [ -P, -P, R, Q+2R, Q+2R, 2R, 2R ]
3320 [ -P, -P, R, R, Q+2R, 2R, 2R ]
3321 [ -P, -P, R, R, R, 2R, 2R ]
3322 [ -P, -P, R, R, R, -Q+R, 2R ]
3323 [ -P, -P, R, R, R, -Q+R, -Q+R ]
3324 [ -P, -P, -P-S, Q+2R, Q+2R, 2R, 2R ]
3325 [ -P, -P, -P-S, -P-S, Q+2R, 2R, 2R ]
3326 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
3327 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
3328 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
3329 ---------------------------------------
3330 Domain :
3331 2R - U >= 0
3332 - Q + T - U >= 0
3333 P >= 0
3334 - P + Q >= 0
3335 - Q + S - U >= 0
3336 Q - R + U >= 0
3337 - Q + R + S >= 0
3338 1 >= 0
3340 Vertices :
3341 [ P, Q, R, Q+U, Q+U, U, 2R ]
3342 [ P, Q, R, Q+U, Q+U, U, U ]
3343 [ P, Q, R, R, Q+U, U, 2R ]
3344 [ P, Q, R, R, Q+U, U, U ]
3345 [ P, Q, R, R, R, U, 2R ]
3346 [ P, Q, R, R, R, U, U ]
3347 [ P, Q, R, R, R, -Q+R, 2R ]
3348 [ P, Q, R, R, R, -Q+R, -Q+R ]
3349 [ P, Q, Q-S, Q+U, Q+U, U, 2R ]
3350 [ P, Q, Q-S, Q+U, Q+U, U, U ]
3351 [ P, Q, Q-S, Q-S, Q+U, U, 2R ]
3352 [ P, Q, Q-S, Q-S, Q+U, U, U ]
3353 [ P, Q, Q-S, Q-S, Q-S, U, 2R ]
3354 [ P, Q, Q-S, Q-S, Q-S, U, U ]
3355 [ P, Q, Q-S, Q-S, Q-S, -S, 2R ]
3356 [ P, Q, Q-S, Q-S, Q-S, -S, -S ]
3357 [ P, P, R, Q+U, Q+U, U, 2R ]
3358 [ P, P, R, Q+U, Q+U, U, U ]
3359 [ P, P, R, R, Q+U, U, 2R ]
3360 [ P, P, R, R, Q+U, U, U ]
3361 [ P, P, R, R, R, U, 2R ]
3362 [ P, P, R, R, R, U, U ]
3363 [ P, P, R, R, R, -Q+R, 2R ]
3364 [ P, P, R, R, R, -Q+R, -Q+R ]
3365 [ P, P, P-S, Q+U, Q+U, U, 2R ]
3366 [ P, P, P-S, Q+U, Q+U, U, U ]
3367 [ P, P, P-S, P-S, Q+U, U, 2R ]
3368 [ P, P, P-S, P-S, Q+U, U, U ]
3369 [ P, P, P-S, P-S, P-S, U, 2R ]
3370 [ P, P, P-S, P-S, P-S, U, U ]
3371 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
3372 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
3373 [ -P, Q, R, Q+U, Q+U, U, 2R ]
3374 [ -P, Q, R, Q+U, Q+U, U, U ]
3375 [ -P, Q, R, R, Q+U, U, 2R ]
3376 [ -P, Q, R, R, Q+U, U, U ]
3377 [ -P, Q, R, R, R, U, 2R ]
3378 [ -P, Q, R, R, R, U, U ]
3379 [ -P, Q, R, R, R, -Q+R, 2R ]
3380 [ -P, Q, R, R, R, -Q+R, -Q+R ]
3381 [ -P, Q, Q-S, Q+U, Q+U, U, 2R ]
3382 [ -P, Q, Q-S, Q+U, Q+U, U, U ]
3383 [ -P, Q, Q-S, Q-S, Q+U, U, 2R ]
3384 [ -P, Q, Q-S, Q-S, Q+U, U, U ]
3385 [ -P, Q, Q-S, Q-S, Q-S, U, 2R ]
3386 [ -P, Q, Q-S, Q-S, Q-S, U, U ]
3387 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
3388 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
3389 [ -P, -P, R, Q+U, Q+U, U, 2R ]
3390 [ -P, -P, R, Q+U, Q+U, U, U ]
3391 [ -P, -P, R, R, Q+U, U, 2R ]
3392 [ -P, -P, R, R, Q+U, U, U ]
3393 [ -P, -P, R, R, R, U, 2R ]
3394 [ -P, -P, R, R, R, U, U ]
3395 [ -P, -P, R, R, R, -Q+R, 2R ]
3396 [ -P, -P, R, R, R, -Q+R, -Q+R ]
3397 [ -P, -P, -P-S, Q+U, Q+U, U, 2R ]
3398 [ -P, -P, -P-S, Q+U, Q+U, U, U ]
3399 [ -P, -P, -P-S, -P-S, Q+U, U, 2R ]
3400 [ -P, -P, -P-S, -P-S, Q+U, U, U ]
3401 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
3402 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
3403 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
3404 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
3405 ---------------------------------------
3406 Domain :
3407 Q + 2R - T >= 0
3408 -2R + U >= 0
3409 P >= 0
3410 - P + Q >= 0
3411 S - T >= 0
3412 - R + T >= 0
3413 - Q + R + S >= 0
3414 1 >= 0
3416 Vertices :
3417 [ P, Q, R, T, T, 2R, 2R ]
3418 [ P, Q, R, T, T, -Q+T, 2R ]
3419 [ P, Q, R, T, T, -Q+T, -Q+T ]
3420 [ P, Q, R, R, T, 2R, 2R ]
3421 [ P, Q, R, R, T, -Q+T, 2R ]
3422 [ P, Q, R, R, T, -Q+T, -Q+T ]
3423 [ P, Q, R, R, R, 2R, 2R ]
3424 [ P, Q, R, R, R, -Q+R, 2R ]
3425 [ P, Q, R, R, R, -Q+R, -Q+R ]
3426 [ P, Q, Q-S, T, T, 2R, 2R ]
3427 [ P, Q, Q-S, T, T, -Q+T, 2R ]
3428 [ P, Q, Q-S, T, T, -Q+T, -Q+T ]
3429 [ P, Q, Q-S, Q-S, T, 2R, 2R ]
3430 [ P, Q, Q-S, Q-S, T, -Q+T, 2R ]
3431 [ P, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
3432 [ P, Q, Q-S, Q-S, Q-S, 2R, 2R ]
3433 [ P, Q, Q-S, Q-S, Q-S, -S, 2R ]
3434 [ P, Q, Q-S, Q-S, Q-S, -S, -S ]
3435 [ P, P, R, T, T, 2R, 2R ]
3436 [ P, P, R, T, T, -Q+T, 2R ]
3437 [ P, P, R, T, T, -Q+T, -Q+T ]
3438 [ P, P, R, R, T, 2R, 2R ]
3439 [ P, P, R, R, T, -Q+T, 2R ]
3440 [ P, P, R, R, T, -Q+T, -Q+T ]
3441 [ P, P, R, R, R, 2R, 2R ]
3442 [ P, P, R, R, R, -Q+R, 2R ]
3443 [ P, P, R, R, R, -Q+R, -Q+R ]
3444 [ P, P, P-S, T, T, 2R, 2R ]
3445 [ P, P, P-S, T, T, -Q+T, 2R ]
3446 [ P, P, P-S, T, T, -Q+T, -Q+T ]
3447 [ P, P, P-S, P-S, T, 2R, 2R ]
3448 [ P, P, P-S, P-S, T, -Q+T, 2R ]
3449 [ P, P, P-S, P-S, T, -Q+T, -Q+T ]
3450 [ P, P, P-S, P-S, P-S, 2R, 2R ]
3451 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
3452 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
3453 [ -P, Q, R, T, T, 2R, 2R ]
3454 [ -P, Q, R, T, T, -Q+T, 2R ]
3455 [ -P, Q, R, T, T, -Q+T, -Q+T ]
3456 [ -P, Q, R, R, T, 2R, 2R ]
3457 [ -P, Q, R, R, T, -Q+T, 2R ]
3458 [ -P, Q, R, R, T, -Q+T, -Q+T ]
3459 [ -P, Q, R, R, R, 2R, 2R ]
3460 [ -P, Q, R, R, R, -Q+R, 2R ]
3461 [ -P, Q, R, R, R, -Q+R, -Q+R ]
3462 [ -P, Q, Q-S, T, T, 2R, 2R ]
3463 [ -P, Q, Q-S, T, T, -Q+T, 2R ]
3464 [ -P, Q, Q-S, T, T, -Q+T, -Q+T ]
3465 [ -P, Q, Q-S, Q-S, T, 2R, 2R ]
3466 [ -P, Q, Q-S, Q-S, T, -Q+T, 2R ]
3467 [ -P, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
3468 [ -P, Q, Q-S, Q-S, Q-S, 2R, 2R ]
3469 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
3470 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
3471 [ -P, -P, R, T, T, 2R, 2R ]
3472 [ -P, -P, R, T, T, -Q+T, 2R ]
3473 [ -P, -P, R, T, T, -Q+T, -Q+T ]
3474 [ -P, -P, R, R, T, 2R, 2R ]
3475 [ -P, -P, R, R, T, -Q+T, 2R ]
3476 [ -P, -P, R, R, T, -Q+T, -Q+T ]
3477 [ -P, -P, R, R, R, 2R, 2R ]
3478 [ -P, -P, R, R, R, -Q+R, 2R ]
3479 [ -P, -P, R, R, R, -Q+R, -Q+R ]
3480 [ -P, -P, -P-S, T, T, 2R, 2R ]
3481 [ -P, -P, -P-S, T, T, -Q+T, 2R ]
3482 [ -P, -P, -P-S, T, T, -Q+T, -Q+T ]
3483 [ -P, -P, -P-S, -P-S, T, 2R, 2R ]
3484 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
3485 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
3486 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
3487 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
3488 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
3489 ---------------------------------------
3490 Domain :
3491 - Q + R + S >= 0
3492 P >= 0
3493 - P + Q >= 0
3494 S - T >= 0
3495 - R + T >= 0
3496 Q - T + U >= 0
3497 2R - U >= 0
3498 1 >= 0
3500 Vertices :
3501 [ P, Q, R, T, T, U, 2R ]
3502 [ P, Q, R, T, T, U, U ]
3503 [ P, Q, R, T, T, -Q+T, 2R ]
3504 [ P, Q, R, T, T, -Q+T, -Q+T ]
3505 [ P, Q, R, R, T, U, 2R ]
3506 [ P, Q, R, R, T, U, U ]
3507 [ P, Q, R, R, T, -Q+T, 2R ]
3508 [ P, Q, R, R, T, -Q+T, -Q+T ]
3509 [ P, Q, R, R, R, U, 2R ]
3510 [ P, Q, R, R, R, U, U ]
3511 [ P, Q, R, R, R, -Q+R, 2R ]
3512 [ P, Q, R, R, R, -Q+R, -Q+R ]
3513 [ P, Q, Q-S, T, T, U, 2R ]
3514 [ P, Q, Q-S, T, T, U, U ]
3515 [ P, Q, Q-S, T, T, -Q+T, 2R ]
3516 [ P, Q, Q-S, T, T, -Q+T, -Q+T ]
3517 [ P, Q, Q-S, Q-S, T, U, 2R ]
3518 [ P, Q, Q-S, Q-S, T, U, U ]
3519 [ P, Q, Q-S, Q-S, T, -Q+T, 2R ]
3520 [ P, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
3521 [ P, Q, Q-S, Q-S, Q-S, U, 2R ]
3522 [ P, Q, Q-S, Q-S, Q-S, U, U ]
3523 [ P, Q, Q-S, Q-S, Q-S, -S, 2R ]
3524 [ P, Q, Q-S, Q-S, Q-S, -S, -S ]
3525 [ P, P, R, T, T, U, 2R ]
3526 [ P, P, R, T, T, U, U ]
3527 [ P, P, R, T, T, -Q+T, 2R ]
3528 [ P, P, R, T, T, -Q+T, -Q+T ]
3529 [ P, P, R, R, T, U, 2R ]
3530 [ P, P, R, R, T, U, U ]
3531 [ P, P, R, R, T, -Q+T, 2R ]
3532 [ P, P, R, R, T, -Q+T, -Q+T ]
3533 [ P, P, R, R, R, U, 2R ]
3534 [ P, P, R, R, R, U, U ]
3535 [ P, P, R, R, R, -Q+R, 2R ]
3536 [ P, P, R, R, R, -Q+R, -Q+R ]
3537 [ P, P, P-S, T, T, U, 2R ]
3538 [ P, P, P-S, T, T, U, U ]
3539 [ P, P, P-S, T, T, -Q+T, 2R ]
3540 [ P, P, P-S, T, T, -Q+T, -Q+T ]
3541 [ P, P, P-S, P-S, T, U, 2R ]
3542 [ P, P, P-S, P-S, T, U, U ]
3543 [ P, P, P-S, P-S, T, -Q+T, 2R ]
3544 [ P, P, P-S, P-S, T, -Q+T, -Q+T ]
3545 [ P, P, P-S, P-S, P-S, U, 2R ]
3546 [ P, P, P-S, P-S, P-S, U, U ]
3547 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
3548 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
3549 [ -P, Q, R, T, T, U, 2R ]
3550 [ -P, Q, R, T, T, U, U ]
3551 [ -P, Q, R, T, T, -Q+T, 2R ]
3552 [ -P, Q, R, T, T, -Q+T, -Q+T ]
3553 [ -P, Q, R, R, T, U, 2R ]
3554 [ -P, Q, R, R, T, U, U ]
3555 [ -P, Q, R, R, T, -Q+T, 2R ]
3556 [ -P, Q, R, R, T, -Q+T, -Q+T ]
3557 [ -P, Q, R, R, R, U, 2R ]
3558 [ -P, Q, R, R, R, U, U ]
3559 [ -P, Q, R, R, R, -Q+R, 2R ]
3560 [ -P, Q, R, R, R, -Q+R, -Q+R ]
3561 [ -P, Q, Q-S, T, T, U, 2R ]
3562 [ -P, Q, Q-S, T, T, U, U ]
3563 [ -P, Q, Q-S, T, T, -Q+T, 2R ]
3564 [ -P, Q, Q-S, T, T, -Q+T, -Q+T ]
3565 [ -P, Q, Q-S, Q-S, T, U, 2R ]
3566 [ -P, Q, Q-S, Q-S, T, U, U ]
3567 [ -P, Q, Q-S, Q-S, T, -Q+T, 2R ]
3568 [ -P, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
3569 [ -P, Q, Q-S, Q-S, Q-S, U, 2R ]
3570 [ -P, Q, Q-S, Q-S, Q-S, U, U ]
3571 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
3572 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
3573 [ -P, -P, R, T, T, U, 2R ]
3574 [ -P, -P, R, T, T, U, U ]
3575 [ -P, -P, R, T, T, -Q+T, 2R ]
3576 [ -P, -P, R, T, T, -Q+T, -Q+T ]
3577 [ -P, -P, R, R, T, U, 2R ]
3578 [ -P, -P, R, R, T, U, U ]
3579 [ -P, -P, R, R, T, -Q+T, 2R ]
3580 [ -P, -P, R, R, T, -Q+T, -Q+T ]
3581 [ -P, -P, R, R, R, U, 2R ]
3582 [ -P, -P, R, R, R, U, U ]
3583 [ -P, -P, R, R, R, -Q+R, 2R ]
3584 [ -P, -P, R, R, R, -Q+R, -Q+R ]
3585 [ -P, -P, -P-S, T, T, U, 2R ]
3586 [ -P, -P, -P-S, T, T, U, U ]
3587 [ -P, -P, -P-S, T, T, -Q+T, 2R ]
3588 [ -P, -P, -P-S, T, T, -Q+T, -Q+T ]
3589 [ -P, -P, -P-S, -P-S, T, U, 2R ]
3590 [ -P, -P, -P-S, -P-S, T, U, U ]
3591 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
3592 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
3593 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
3594 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
3595 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
3596 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
3597 ---------------------------------------
3598 Domain :
3599 - R + S >= 0
3600 -2R + U >= 0
3601 - Q -2R + T >= 0
3602 - P + Q >= 0
3603 P >= 0
3604 Q + 2R - S >= 0
3605 - Q + R + S >= 0
3606 1 >= 0
3608 Vertices :
3609 [ P, Q, R, S, Q+2R, 2R, 2R ]
3610 [ P, Q, R, S, S, 2R, 2R ]
3611 [ P, Q, R, S, S, -Q+S, 2R ]
3612 [ P, Q, R, S, S, -Q+S, -Q+S ]
3613 [ P, Q, R, R, Q+2R, 2R, 2R ]
3614 [ P, Q, R, R, R, 2R, 2R ]
3615 [ P, Q, R, R, R, -Q+R, 2R ]
3616 [ P, Q, R, R, R, -Q+R, -Q+R ]
3617 [ P, Q, Q-S, S, Q+2R, 2R, 2R ]
3618 [ P, Q, Q-S, S, S, 2R, 2R ]
3619 [ P, Q, Q-S, S, S, -Q+S, 2R ]
3620 [ P, Q, Q-S, S, S, -Q+S, -Q+S ]
3621 [ P, Q, Q-S, Q-S, Q+2R, 2R, 2R ]
3622 [ P, Q, Q-S, Q-S, Q-S, 2R, 2R ]
3623 [ P, Q, Q-S, Q-S, Q-S, -S, 2R ]
3624 [ P, Q, Q-S, Q-S, Q-S, -S, -S ]
3625 [ P, P, R, S, Q+2R, 2R, 2R ]
3626 [ P, P, R, S, S, 2R, 2R ]
3627 [ P, P, R, S, S, -Q+S, 2R ]
3628 [ P, P, R, S, S, -Q+S, -Q+S ]
3629 [ P, P, R, R, Q+2R, 2R, 2R ]
3630 [ P, P, R, R, R, 2R, 2R ]
3631 [ P, P, R, R, R, -Q+R, 2R ]
3632 [ P, P, R, R, R, -Q+R, -Q+R ]
3633 [ P, P, P-S, S, Q+2R, 2R, 2R ]
3634 [ P, P, P-S, S, S, 2R, 2R ]
3635 [ P, P, P-S, S, S, -Q+S, 2R ]
3636 [ P, P, P-S, S, S, -Q+S, -Q+S ]
3637 [ P, P, P-S, P-S, Q+2R, 2R, 2R ]
3638 [ P, P, P-S, P-S, P-S, 2R, 2R ]
3639 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
3640 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
3641 [ -P, Q, R, S, Q+2R, 2R, 2R ]
3642 [ -P, Q, R, S, S, 2R, 2R ]
3643 [ -P, Q, R, S, S, -Q+S, 2R ]
3644 [ -P, Q, R, S, S, -Q+S, -Q+S ]
3645 [ -P, Q, R, R, Q+2R, 2R, 2R ]
3646 [ -P, Q, R, R, R, 2R, 2R ]
3647 [ -P, Q, R, R, R, -Q+R, 2R ]
3648 [ -P, Q, R, R, R, -Q+R, -Q+R ]
3649 [ -P, Q, Q-S, S, Q+2R, 2R, 2R ]
3650 [ -P, Q, Q-S, S, S, 2R, 2R ]
3651 [ -P, Q, Q-S, S, S, -Q+S, 2R ]
3652 [ -P, Q, Q-S, S, S, -Q+S, -Q+S ]
3653 [ -P, Q, Q-S, Q-S, Q+2R, 2R, 2R ]
3654 [ -P, Q, Q-S, Q-S, Q-S, 2R, 2R ]
3655 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
3656 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
3657 [ -P, -P, R, S, Q+2R, 2R, 2R ]
3658 [ -P, -P, R, S, S, 2R, 2R ]
3659 [ -P, -P, R, S, S, -Q+S, 2R ]
3660 [ -P, -P, R, S, S, -Q+S, -Q+S ]
3661 [ -P, -P, R, R, Q+2R, 2R, 2R ]
3662 [ -P, -P, R, R, R, 2R, 2R ]
3663 [ -P, -P, R, R, R, -Q+R, 2R ]
3664 [ -P, -P, R, R, R, -Q+R, -Q+R ]
3665 [ -P, -P, -P-S, S, Q+2R, 2R, 2R ]
3666 [ -P, -P, -P-S, S, S, 2R, 2R ]
3667 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
3668 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
3669 [ -P, -P, -P-S, -P-S, Q+2R, 2R, 2R ]
3670 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
3671 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
3672 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
3673 ---------------------------------------
3674 Domain :
3675 2R - U >= 0
3676 - Q + T - U >= 0
3677 P >= 0
3678 - P + Q >= 0
3679 Q - S + U >= 0
3680 - R + S >= 0
3681 - Q + R + S >= 0
3682 1 >= 0
3684 Vertices :
3685 [ P, Q, R, S, Q+U, U, 2R ]
3686 [ P, Q, R, S, Q+U, U, U ]
3687 [ P, Q, R, S, S, U, 2R ]
3688 [ P, Q, R, S, S, U, U ]
3689 [ P, Q, R, S, S, -Q+S, 2R ]
3690 [ P, Q, R, S, S, -Q+S, -Q+S ]
3691 [ P, Q, R, R, Q+U, U, 2R ]
3692 [ P, Q, R, R, Q+U, U, U ]
3693 [ P, Q, R, R, R, U, 2R ]
3694 [ P, Q, R, R, R, U, U ]
3695 [ P, Q, R, R, R, -Q+R, 2R ]
3696 [ P, Q, R, R, R, -Q+R, -Q+R ]
3697 [ P, Q, Q-S, S, Q+U, U, 2R ]
3698 [ P, Q, Q-S, S, Q+U, U, U ]
3699 [ P, Q, Q-S, S, S, U, 2R ]
3700 [ P, Q, Q-S, S, S, U, U ]
3701 [ P, Q, Q-S, S, S, -Q+S, 2R ]
3702 [ P, Q, Q-S, S, S, -Q+S, -Q+S ]
3703 [ P, Q, Q-S, Q-S, Q+U, U, 2R ]
3704 [ P, Q, Q-S, Q-S, Q+U, U, U ]
3705 [ P, Q, Q-S, Q-S, Q-S, U, 2R ]
3706 [ P, Q, Q-S, Q-S, Q-S, U, U ]
3707 [ P, Q, Q-S, Q-S, Q-S, -S, 2R ]
3708 [ P, Q, Q-S, Q-S, Q-S, -S, -S ]
3709 [ P, P, R, S, Q+U, U, 2R ]
3710 [ P, P, R, S, Q+U, U, U ]
3711 [ P, P, R, S, S, U, 2R ]
3712 [ P, P, R, S, S, U, U ]
3713 [ P, P, R, S, S, -Q+S, 2R ]
3714 [ P, P, R, S, S, -Q+S, -Q+S ]
3715 [ P, P, R, R, Q+U, U, 2R ]
3716 [ P, P, R, R, Q+U, U, U ]
3717 [ P, P, R, R, R, U, 2R ]
3718 [ P, P, R, R, R, U, U ]
3719 [ P, P, R, R, R, -Q+R, 2R ]
3720 [ P, P, R, R, R, -Q+R, -Q+R ]
3721 [ P, P, P-S, S, Q+U, U, 2R ]
3722 [ P, P, P-S, S, Q+U, U, U ]
3723 [ P, P, P-S, S, S, U, 2R ]
3724 [ P, P, P-S, S, S, U, U ]
3725 [ P, P, P-S, S, S, -Q+S, 2R ]
3726 [ P, P, P-S, S, S, -Q+S, -Q+S ]
3727 [ P, P, P-S, P-S, Q+U, U, 2R ]
3728 [ P, P, P-S, P-S, Q+U, U, U ]
3729 [ P, P, P-S, P-S, P-S, U, 2R ]
3730 [ P, P, P-S, P-S, P-S, U, U ]
3731 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
3732 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
3733 [ -P, Q, R, S, Q+U, U, 2R ]
3734 [ -P, Q, R, S, Q+U, U, U ]
3735 [ -P, Q, R, S, S, U, 2R ]
3736 [ -P, Q, R, S, S, U, U ]
3737 [ -P, Q, R, S, S, -Q+S, 2R ]
3738 [ -P, Q, R, S, S, -Q+S, -Q+S ]
3739 [ -P, Q, R, R, Q+U, U, 2R ]
3740 [ -P, Q, R, R, Q+U, U, U ]
3741 [ -P, Q, R, R, R, U, 2R ]
3742 [ -P, Q, R, R, R, U, U ]
3743 [ -P, Q, R, R, R, -Q+R, 2R ]
3744 [ -P, Q, R, R, R, -Q+R, -Q+R ]
3745 [ -P, Q, Q-S, S, Q+U, U, 2R ]
3746 [ -P, Q, Q-S, S, Q+U, U, U ]
3747 [ -P, Q, Q-S, S, S, U, 2R ]
3748 [ -P, Q, Q-S, S, S, U, U ]
3749 [ -P, Q, Q-S, S, S, -Q+S, 2R ]
3750 [ -P, Q, Q-S, S, S, -Q+S, -Q+S ]
3751 [ -P, Q, Q-S, Q-S, Q+U, U, 2R ]
3752 [ -P, Q, Q-S, Q-S, Q+U, U, U ]
3753 [ -P, Q, Q-S, Q-S, Q-S, U, 2R ]
3754 [ -P, Q, Q-S, Q-S, Q-S, U, U ]
3755 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
3756 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
3757 [ -P, -P, R, S, Q+U, U, 2R ]
3758 [ -P, -P, R, S, Q+U, U, U ]
3759 [ -P, -P, R, S, S, U, 2R ]
3760 [ -P, -P, R, S, S, U, U ]
3761 [ -P, -P, R, S, S, -Q+S, 2R ]
3762 [ -P, -P, R, S, S, -Q+S, -Q+S ]
3763 [ -P, -P, R, R, Q+U, U, 2R ]
3764 [ -P, -P, R, R, Q+U, U, U ]
3765 [ -P, -P, R, R, R, U, 2R ]
3766 [ -P, -P, R, R, R, U, U ]
3767 [ -P, -P, R, R, R, -Q+R, 2R ]
3768 [ -P, -P, R, R, R, -Q+R, -Q+R ]
3769 [ -P, -P, -P-S, S, Q+U, U, 2R ]
3770 [ -P, -P, -P-S, S, Q+U, U, U ]
3771 [ -P, -P, -P-S, S, S, U, 2R ]
3772 [ -P, -P, -P-S, S, S, U, U ]
3773 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
3774 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
3775 [ -P, -P, -P-S, -P-S, Q+U, U, 2R ]
3776 [ -P, -P, -P-S, -P-S, Q+U, U, U ]
3777 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
3778 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
3779 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
3780 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
3781 ---------------------------------------
3782 Domain :
3783 Q + 2R - T >= 0
3784 -2R + U >= 0
3785 P >= 0
3786 - P + Q >= 0
3787 - S + T >= 0
3788 - R + S >= 0
3789 - Q + R + S >= 0
3790 1 >= 0
3792 Vertices :
3793 [ P, Q, R, S, T, 2R, 2R ]
3794 [ P, Q, R, S, T, -Q+T, 2R ]
3795 [ P, Q, R, S, T, -Q+T, -Q+T ]
3796 [ P, Q, R, S, S, 2R, 2R ]
3797 [ P, Q, R, S, S, -Q+S, 2R ]
3798 [ P, Q, R, S, S, -Q+S, -Q+S ]
3799 [ P, Q, R, R, T, 2R, 2R ]
3800 [ P, Q, R, R, T, -Q+T, 2R ]
3801 [ P, Q, R, R, T, -Q+T, -Q+T ]
3802 [ P, Q, R, R, R, 2R, 2R ]
3803 [ P, Q, R, R, R, -Q+R, 2R ]
3804 [ P, Q, R, R, R, -Q+R, -Q+R ]
3805 [ P, Q, Q-S, S, T, 2R, 2R ]
3806 [ P, Q, Q-S, S, T, -Q+T, 2R ]
3807 [ P, Q, Q-S, S, T, -Q+T, -Q+T ]
3808 [ P, Q, Q-S, S, S, 2R, 2R ]
3809 [ P, Q, Q-S, S, S, -Q+S, 2R ]
3810 [ P, Q, Q-S, S, S, -Q+S, -Q+S ]
3811 [ P, Q, Q-S, Q-S, T, 2R, 2R ]
3812 [ P, Q, Q-S, Q-S, T, -Q+T, 2R ]
3813 [ P, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
3814 [ P, Q, Q-S, Q-S, Q-S, 2R, 2R ]
3815 [ P, Q, Q-S, Q-S, Q-S, -S, 2R ]
3816 [ P, Q, Q-S, Q-S, Q-S, -S, -S ]
3817 [ P, P, R, S, T, 2R, 2R ]
3818 [ P, P, R, S, T, -Q+T, 2R ]
3819 [ P, P, R, S, T, -Q+T, -Q+T ]
3820 [ P, P, R, S, S, 2R, 2R ]
3821 [ P, P, R, S, S, -Q+S, 2R ]
3822 [ P, P, R, S, S, -Q+S, -Q+S ]
3823 [ P, P, R, R, T, 2R, 2R ]
3824 [ P, P, R, R, T, -Q+T, 2R ]
3825 [ P, P, R, R, T, -Q+T, -Q+T ]
3826 [ P, P, R, R, R, 2R, 2R ]
3827 [ P, P, R, R, R, -Q+R, 2R ]
3828 [ P, P, R, R, R, -Q+R, -Q+R ]
3829 [ P, P, P-S, S, T, 2R, 2R ]
3830 [ P, P, P-S, S, T, -Q+T, 2R ]
3831 [ P, P, P-S, S, T, -Q+T, -Q+T ]
3832 [ P, P, P-S, S, S, 2R, 2R ]
3833 [ P, P, P-S, S, S, -Q+S, 2R ]
3834 [ P, P, P-S, S, S, -Q+S, -Q+S ]
3835 [ P, P, P-S, P-S, T, 2R, 2R ]
3836 [ P, P, P-S, P-S, T, -Q+T, 2R ]
3837 [ P, P, P-S, P-S, T, -Q+T, -Q+T ]
3838 [ P, P, P-S, P-S, P-S, 2R, 2R ]
3839 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
3840 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
3841 [ -P, Q, R, S, T, 2R, 2R ]
3842 [ -P, Q, R, S, T, -Q+T, 2R ]
3843 [ -P, Q, R, S, T, -Q+T, -Q+T ]
3844 [ -P, Q, R, S, S, 2R, 2R ]
3845 [ -P, Q, R, S, S, -Q+S, 2R ]
3846 [ -P, Q, R, S, S, -Q+S, -Q+S ]
3847 [ -P, Q, R, R, T, 2R, 2R ]
3848 [ -P, Q, R, R, T, -Q+T, 2R ]
3849 [ -P, Q, R, R, T, -Q+T, -Q+T ]
3850 [ -P, Q, R, R, R, 2R, 2R ]
3851 [ -P, Q, R, R, R, -Q+R, 2R ]
3852 [ -P, Q, R, R, R, -Q+R, -Q+R ]
3853 [ -P, Q, Q-S, S, T, 2R, 2R ]
3854 [ -P, Q, Q-S, S, T, -Q+T, 2R ]
3855 [ -P, Q, Q-S, S, T, -Q+T, -Q+T ]
3856 [ -P, Q, Q-S, S, S, 2R, 2R ]
3857 [ -P, Q, Q-S, S, S, -Q+S, 2R ]
3858 [ -P, Q, Q-S, S, S, -Q+S, -Q+S ]
3859 [ -P, Q, Q-S, Q-S, T, 2R, 2R ]
3860 [ -P, Q, Q-S, Q-S, T, -Q+T, 2R ]
3861 [ -P, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
3862 [ -P, Q, Q-S, Q-S, Q-S, 2R, 2R ]
3863 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
3864 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
3865 [ -P, -P, R, S, T, 2R, 2R ]
3866 [ -P, -P, R, S, T, -Q+T, 2R ]
3867 [ -P, -P, R, S, T, -Q+T, -Q+T ]
3868 [ -P, -P, R, S, S, 2R, 2R ]
3869 [ -P, -P, R, S, S, -Q+S, 2R ]
3870 [ -P, -P, R, S, S, -Q+S, -Q+S ]
3871 [ -P, -P, R, R, T, 2R, 2R ]
3872 [ -P, -P, R, R, T, -Q+T, 2R ]
3873 [ -P, -P, R, R, T, -Q+T, -Q+T ]
3874 [ -P, -P, R, R, R, 2R, 2R ]
3875 [ -P, -P, R, R, R, -Q+R, 2R ]
3876 [ -P, -P, R, R, R, -Q+R, -Q+R ]
3877 [ -P, -P, -P-S, S, T, 2R, 2R ]
3878 [ -P, -P, -P-S, S, T, -Q+T, 2R ]
3879 [ -P, -P, -P-S, S, T, -Q+T, -Q+T ]
3880 [ -P, -P, -P-S, S, S, 2R, 2R ]
3881 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
3882 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
3883 [ -P, -P, -P-S, -P-S, T, 2R, 2R ]
3884 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
3885 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
3886 [ -P, -P, -P-S, -P-S, -P-S, 2R, 2R ]
3887 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
3888 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]
3889 ---------------------------------------
3890 Domain :
3891 - Q + R + S >= 0
3892 P >= 0
3893 - P + Q >= 0
3894 - S + T >= 0
3895 - R + S >= 0
3896 Q - T + U >= 0
3897 2R - U >= 0
3898 1 >= 0
3900 Vertices :
3901 [ P, Q, R, S, T, U, 2R ]
3902 [ P, Q, R, S, T, U, U ]
3903 [ P, Q, R, S, T, -Q+T, 2R ]
3904 [ P, Q, R, S, T, -Q+T, -Q+T ]
3905 [ P, Q, R, S, S, U, 2R ]
3906 [ P, Q, R, S, S, U, U ]
3907 [ P, Q, R, S, S, -Q+S, 2R ]
3908 [ P, Q, R, S, S, -Q+S, -Q+S ]
3909 [ P, Q, R, R, T, U, 2R ]
3910 [ P, Q, R, R, T, U, U ]
3911 [ P, Q, R, R, T, -Q+T, 2R ]
3912 [ P, Q, R, R, T, -Q+T, -Q+T ]
3913 [ P, Q, R, R, R, U, 2R ]
3914 [ P, Q, R, R, R, U, U ]
3915 [ P, Q, R, R, R, -Q+R, 2R ]
3916 [ P, Q, R, R, R, -Q+R, -Q+R ]
3917 [ P, Q, Q-S, S, T, U, 2R ]
3918 [ P, Q, Q-S, S, T, U, U ]
3919 [ P, Q, Q-S, S, T, -Q+T, 2R ]
3920 [ P, Q, Q-S, S, T, -Q+T, -Q+T ]
3921 [ P, Q, Q-S, S, S, U, 2R ]
3922 [ P, Q, Q-S, S, S, U, U ]
3923 [ P, Q, Q-S, S, S, -Q+S, 2R ]
3924 [ P, Q, Q-S, S, S, -Q+S, -Q+S ]
3925 [ P, Q, Q-S, Q-S, T, U, 2R ]
3926 [ P, Q, Q-S, Q-S, T, U, U ]
3927 [ P, Q, Q-S, Q-S, T, -Q+T, 2R ]
3928 [ P, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
3929 [ P, Q, Q-S, Q-S, Q-S, U, 2R ]
3930 [ P, Q, Q-S, Q-S, Q-S, U, U ]
3931 [ P, Q, Q-S, Q-S, Q-S, -S, 2R ]
3932 [ P, Q, Q-S, Q-S, Q-S, -S, -S ]
3933 [ P, P, R, S, T, U, 2R ]
3934 [ P, P, R, S, T, U, U ]
3935 [ P, P, R, S, T, -Q+T, 2R ]
3936 [ P, P, R, S, T, -Q+T, -Q+T ]
3937 [ P, P, R, S, S, U, 2R ]
3938 [ P, P, R, S, S, U, U ]
3939 [ P, P, R, S, S, -Q+S, 2R ]
3940 [ P, P, R, S, S, -Q+S, -Q+S ]
3941 [ P, P, R, R, T, U, 2R ]
3942 [ P, P, R, R, T, U, U ]
3943 [ P, P, R, R, T, -Q+T, 2R ]
3944 [ P, P, R, R, T, -Q+T, -Q+T ]
3945 [ P, P, R, R, R, U, 2R ]
3946 [ P, P, R, R, R, U, U ]
3947 [ P, P, R, R, R, -Q+R, 2R ]
3948 [ P, P, R, R, R, -Q+R, -Q+R ]
3949 [ P, P, P-S, S, T, U, 2R ]
3950 [ P, P, P-S, S, T, U, U ]
3951 [ P, P, P-S, S, T, -Q+T, 2R ]
3952 [ P, P, P-S, S, T, -Q+T, -Q+T ]
3953 [ P, P, P-S, S, S, U, 2R ]
3954 [ P, P, P-S, S, S, U, U ]
3955 [ P, P, P-S, S, S, -Q+S, 2R ]
3956 [ P, P, P-S, S, S, -Q+S, -Q+S ]
3957 [ P, P, P-S, P-S, T, U, 2R ]
3958 [ P, P, P-S, P-S, T, U, U ]
3959 [ P, P, P-S, P-S, T, -Q+T, 2R ]
3960 [ P, P, P-S, P-S, T, -Q+T, -Q+T ]
3961 [ P, P, P-S, P-S, P-S, U, 2R ]
3962 [ P, P, P-S, P-S, P-S, U, U ]
3963 [ P, P, P-S, P-S, P-S, P-Q-S, 2R ]
3964 [ P, P, P-S, P-S, P-S, P-Q-S, P-Q-S ]
3965 [ -P, Q, R, S, T, U, 2R ]
3966 [ -P, Q, R, S, T, U, U ]
3967 [ -P, Q, R, S, T, -Q+T, 2R ]
3968 [ -P, Q, R, S, T, -Q+T, -Q+T ]
3969 [ -P, Q, R, S, S, U, 2R ]
3970 [ -P, Q, R, S, S, U, U ]
3971 [ -P, Q, R, S, S, -Q+S, 2R ]
3972 [ -P, Q, R, S, S, -Q+S, -Q+S ]
3973 [ -P, Q, R, R, T, U, 2R ]
3974 [ -P, Q, R, R, T, U, U ]
3975 [ -P, Q, R, R, T, -Q+T, 2R ]
3976 [ -P, Q, R, R, T, -Q+T, -Q+T ]
3977 [ -P, Q, R, R, R, U, 2R ]
3978 [ -P, Q, R, R, R, U, U ]
3979 [ -P, Q, R, R, R, -Q+R, 2R ]
3980 [ -P, Q, R, R, R, -Q+R, -Q+R ]
3981 [ -P, Q, Q-S, S, T, U, 2R ]
3982 [ -P, Q, Q-S, S, T, U, U ]
3983 [ -P, Q, Q-S, S, T, -Q+T, 2R ]
3984 [ -P, Q, Q-S, S, T, -Q+T, -Q+T ]
3985 [ -P, Q, Q-S, S, S, U, 2R ]
3986 [ -P, Q, Q-S, S, S, U, U ]
3987 [ -P, Q, Q-S, S, S, -Q+S, 2R ]
3988 [ -P, Q, Q-S, S, S, -Q+S, -Q+S ]
3989 [ -P, Q, Q-S, Q-S, T, U, 2R ]
3990 [ -P, Q, Q-S, Q-S, T, U, U ]
3991 [ -P, Q, Q-S, Q-S, T, -Q+T, 2R ]
3992 [ -P, Q, Q-S, Q-S, T, -Q+T, -Q+T ]
3993 [ -P, Q, Q-S, Q-S, Q-S, U, 2R ]
3994 [ -P, Q, Q-S, Q-S, Q-S, U, U ]
3995 [ -P, Q, Q-S, Q-S, Q-S, -S, 2R ]
3996 [ -P, Q, Q-S, Q-S, Q-S, -S, -S ]
3997 [ -P, -P, R, S, T, U, 2R ]
3998 [ -P, -P, R, S, T, U, U ]
3999 [ -P, -P, R, S, T, -Q+T, 2R ]
4000 [ -P, -P, R, S, T, -Q+T, -Q+T ]
4001 [ -P, -P, R, S, S, U, 2R ]
4002 [ -P, -P, R, S, S, U, U ]
4003 [ -P, -P, R, S, S, -Q+S, 2R ]
4004 [ -P, -P, R, S, S, -Q+S, -Q+S ]
4005 [ -P, -P, R, R, T, U, 2R ]
4006 [ -P, -P, R, R, T, U, U ]
4007 [ -P, -P, R, R, T, -Q+T, 2R ]
4008 [ -P, -P, R, R, T, -Q+T, -Q+T ]
4009 [ -P, -P, R, R, R, U, 2R ]
4010 [ -P, -P, R, R, R, U, U ]
4011 [ -P, -P, R, R, R, -Q+R, 2R ]
4012 [ -P, -P, R, R, R, -Q+R, -Q+R ]
4013 [ -P, -P, -P-S, S, T, U, 2R ]
4014 [ -P, -P, -P-S, S, T, U, U ]
4015 [ -P, -P, -P-S, S, T, -Q+T, 2R ]
4016 [ -P, -P, -P-S, S, T, -Q+T, -Q+T ]
4017 [ -P, -P, -P-S, S, S, U, 2R ]
4018 [ -P, -P, -P-S, S, S, U, U ]
4019 [ -P, -P, -P-S, S, S, -Q+S, 2R ]
4020 [ -P, -P, -P-S, S, S, -Q+S, -Q+S ]
4021 [ -P, -P, -P-S, -P-S, T, U, 2R ]
4022 [ -P, -P, -P-S, -P-S, T, U, U ]
4023 [ -P, -P, -P-S, -P-S, T, -Q+T, 2R ]
4024 [ -P, -P, -P-S, -P-S, T, -Q+T, -Q+T ]
4025 [ -P, -P, -P-S, -P-S, -P-S, U, 2R ]
4026 [ -P, -P, -P-S, -P-S, -P-S, U, U ]
4027 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, 2R ]
4028 [ -P, -P, -P-S, -P-S, -P-S, -P-Q-S, -P-Q-S ]