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