1R = QQ[x1, x2, x3, x4, x5, x6, x7, x8, x9];
2p =
3 x2^4*x3*x4*x5*x6*x7*x8*x9 +
4 -x2^4*x3*x4*x5*x6*x7*x8 +
5 -x2^4*x3*x4*x5*x6*x7*x9 +
6 x2^4*x3*x4*x5*x6*x7 +
7 -x2^4*x3*x4*x5*x6*x8*x9 +
8 x2^4*x3*x4*x5*x6*x8 +
9 x2^4*x3*x4*x5*x6*x9 +
10 -x2^4*x3*x4*x5*x6 +
11 -x2^4*x3*x4*x5*x7*x8*x9 +
12 x2^4*x3*x4*x5*x7*x8 +
13 x2^4*x3*x4*x5*x7*x9 +
14 -x2^4*x3*x4*x5*x7 +
15 x2^4*x3*x4*x5*x8*x9 +
16 -x2^4*x3*x4*x5*x8 +
17 -x2^4*x3*x4*x5*x9 +
18 x2^4*x3*x4*x5 +
19 -x2^4*x3*x4*x6*x7*x8*x9 +
20 x2^4*x3*x4*x6*x7*x8 +
21 x2^4*x3*x4*x6*x7*x9 +
22 -x2^4*x3*x4*x6*x7 +
23 x2^4*x3*x4*x6*x8*x9 +
24 -x2^4*x3*x4*x6*x8 +
25 -x2^4*x3*x4*x6*x9 +
26 x2^4*x3*x4*x6 +
27 x2^4*x3*x4*x7*x8*x9 +
28 -x2^4*x3*x4*x7*x8 +
29 -x2^4*x3*x4*x7*x9 +
30 x2^4*x3*x4*x7 +
31 -x2^4*x3*x4*x8*x9 +
32 x2^4*x3*x4*x8 +
33 x2^4*x3*x4*x9 +
34 -x2^4*x3*x4 +
35 -x2^4*x3*x5*x6*x7*x8*x9 +
36 x2^4*x3*x5*x6*x7*x8 +
37 x2^4*x3*x5*x6*x7*x9 +
38 -x2^4*x3*x5*x6*x7 +
39 x2^4*x3*x5*x6*x8*x9 +
40 -x2^4*x3*x5*x6*x8 +
41 -x2^4*x3*x5*x6*x9 +
42 x2^4*x3*x5*x6 +
43 x2^4*x3*x5*x7*x8*x9 +
44 -x2^4*x3*x5*x7*x8 +
45 -x2^4*x3*x5*x7*x9 +
46 x2^4*x3*x5*x7 +
47 -x2^4*x3*x5*x8*x9 +
48 x2^4*x3*x5*x8 +
49 x2^4*x3*x5*x9 +
50 -x2^4*x3*x5 +
51 x2^4*x3*x6*x7*x8*x9 +
52 -x2^4*x3*x6*x7*x8 +
53 -x2^4*x3*x6*x7*x9 +
54 x2^4*x3*x6*x7 +
55 -x2^4*x3*x6*x8*x9 +
56 x2^4*x3*x6*x8 +
57 x2^4*x3*x6*x9 +
58 -x2^4*x3*x6 +
59 -x2^4*x3*x7*x8*x9 +
60 x2^4*x3*x7*x8 +
61 x2^4*x3*x7*x9 +
62 -x2^4*x3*x7 +
63 x2^4*x3*x8*x9 +
64 -x2^4*x3*x8 +
65 -x2^4*x3*x9 +
66 x2^4*x3 +
67 -x2^4*x4*x5*x6*x7*x8*x9 +
68 x2^4*x4*x5*x6*x7*x8 +
69 x2^4*x4*x5*x6*x7*x9 +
70 -x2^4*x4*x5*x6*x7 +
71 x2^4*x4*x5*x6*x8*x9 +
72 -x2^4*x4*x5*x6*x8 +
73 -x2^4*x4*x5*x6*x9 +
74 x2^4*x4*x5*x6 +
75 x2^4*x4*x5*x7*x8*x9 +
76 -x2^4*x4*x5*x7*x8 +
77 -x2^4*x4*x5*x7*x9 +
78 x2^4*x4*x5*x7 +
79 -x2^4*x4*x5*x8*x9 +
80 x2^4*x4*x5*x8 +
81 x2^4*x4*x5*x9 +
82 -x2^4*x4*x5 +
83 x2^4*x4*x6*x7*x8*x9 +
84 -x2^4*x4*x6*x7*x8 +
85 -x2^4*x4*x6*x7*x9 +
86 x2^4*x4*x6*x7 +
87 -x2^4*x4*x6*x8*x9 +
88 x2^4*x4*x6*x8 +
89 x2^4*x4*x6*x9 +
90 -x2^4*x4*x6 +
91 -x2^4*x4*x7*x8*x9 +
92 x2^4*x4*x7*x8 +
93 x2^4*x4*x7*x9 +
94 -x2^4*x4*x7 +
95 x2^4*x4*x8*x9 +
96 -x2^4*x4*x8 +
97 -x2^4*x4*x9 +
98 x2^4*x4 +
99 x2^4*x5*x6*x7*x8*x9 +
100 -x2^4*x5*x6*x7*x8 +
101 -x2^4*x5*x6*x7*x9 +
102 x2^4*x5*x6*x7 +
103 -x2^4*x5*x6*x8*x9 +
104 x2^4*x5*x6*x8 +
105 x2^4*x5*x6*x9 +
106 -x2^4*x5*x6 +
107 -x2^4*x5*x7*x8*x9 +
108 x2^4*x5*x7*x8 +
109 x2^4*x5*x7*x9 +
110 -x2^4*x5*x7 +
111 x2^4*x5*x8*x9 +
112 -x2^4*x5*x8 +
113 -x2^4*x5*x9 +
114 x2^4*x5 +
115 -x2^4*x6*x7*x8*x9 +
116 x2^4*x6*x7*x8 +
117 x2^4*x6*x7*x9 +
118 -x2^4*x6*x7 +
119 x2^4*x6*x8*x9 +
120 -x2^4*x6*x8 +
121 -x2^4*x6*x9 +
122 x2^4*x6 +
123 x2^4*x7*x8*x9 +
124 -x2^4*x7*x8 +
125 -x2^4*x7*x9 +
126 x2^4*x7 +
127 -x2^4*x8*x9 +
128 x2^4*x8 +
129 x2^4*x9 +
130 -x2^4 +
131 x2^3*x3^3*x4*x5*x6*x7*x8*x9 +
132 -x2^3*x3^3*x4*x5*x6*x7*x8 +
133 -x2^3*x3^3*x4*x5*x6*x7*x9 +
134 x2^3*x3^3*x4*x5*x6*x7 +
135 -x2^3*x3^3*x4*x5*x6*x8*x9 +
136 x2^3*x3^3*x4*x5*x6*x8 +
137 x2^3*x3^3*x4*x5*x6*x9 +
138 -x2^3*x3^3*x4*x5*x6 +
139 -x2^3*x3^3*x4*x5*x7*x8*x9 +
140 x2^3*x3^3*x4*x5*x7*x8 +
141 x2^3*x3^3*x4*x5*x7*x9 +
142 -x2^3*x3^3*x4*x5*x7 +
143 x2^3*x3^3*x4*x5*x8*x9 +
144 -x2^3*x3^3*x4*x5*x8 +
145 -x2^3*x3^3*x4*x5*x9 +
146 x2^3*x3^3*x4*x5 +
147 -x2^3*x3^3*x4*x6*x7*x8*x9 +
148 x2^3*x3^3*x4*x6*x7*x8 +
149 x2^3*x3^3*x4*x6*x7*x9 +
150 -x2^3*x3^3*x4*x6*x7 +
151 x2^3*x3^3*x4*x6*x8*x9 +
152 -x2^3*x3^3*x4*x6*x8 +
153 -x2^3*x3^3*x4*x6*x9 +
154 x2^3*x3^3*x4*x6 +
155 x2^3*x3^3*x4*x7*x8*x9 +
156 -x2^3*x3^3*x4*x7*x8 +
157 -x2^3*x3^3*x4*x7*x9 +
158 x2^3*x3^3*x4*x7 +
159 -x2^3*x3^3*x4*x8*x9 +
160 x2^3*x3^3*x4*x8 +
161 x2^3*x3^3*x4*x9 +
162 -x2^3*x3^3*x4 +
163 -x2^3*x3^3*x5*x6*x7*x8*x9 +
164 x2^3*x3^3*x5*x6*x7*x8 +
165 x2^3*x3^3*x5*x6*x7*x9 +
166 -x2^3*x3^3*x5*x6*x7 +
167 x2^3*x3^3*x5*x6*x8*x9 +
168 -x2^3*x3^3*x5*x6*x8 +
169 -x2^3*x3^3*x5*x6*x9 +
170 x2^3*x3^3*x5*x6 +
171 x2^3*x3^3*x5*x7*x8*x9 +
172 -x2^3*x3^3*x5*x7*x8 +
173 -x2^3*x3^3*x5*x7*x9 +
174 x2^3*x3^3*x5*x7 +
175 -x2^3*x3^3*x5*x8*x9 +
176 x2^3*x3^3*x5*x8 +
177 x2^3*x3^3*x5*x9 +
178 -x2^3*x3^3*x5 +
179 x2^3*x3^3*x6*x7*x8*x9 +
180 -x2^3*x3^3*x6*x7*x8 +
181 -x2^3*x3^3*x6*x7*x9 +
182 x2^3*x3^3*x6*x7 +
183 -x2^3*x3^3*x6*x8*x9 +
184 x2^3*x3^3*x6*x8 +
185 x2^3*x3^3*x6*x9 +
186 -x2^3*x3^3*x6 +
187 -x2^3*x3^3*x7*x8*x9 +
188 x2^3*x3^3*x7*x8 +
189 x2^3*x3^3*x7*x9 +
190 -x2^3*x3^3*x7 +
191 x2^3*x3^3*x8*x9 +
192 -x2^3*x3^3*x8 +
193 -x2^3*x3^3*x9 +
194 x2^3*x3^3 +
195 -x2^3*x3*x4*x5*x6*x7*x8*x9 +
196 x2^3*x3*x4*x5*x6*x7*x8 +
197 x2^3*x3*x4*x5*x6*x7*x9 +
198 -x2^3*x3*x4*x5*x6*x7 +
199 x2^3*x3*x4*x5*x6*x8*x9 +
200 -x2^3*x3*x4*x5*x6*x8 +
201 -x2^3*x3*x4*x5*x6*x9 +
202 x2^3*x3*x4*x5*x6 +
203 x2^3*x3*x4*x5*x7*x8*x9 +
204 -x2^3*x3*x4*x5*x7*x8 +
205 -x2^3*x3*x4*x5*x7*x9 +
206 x2^3*x3*x4*x5*x7 +
207 -x2^3*x3*x4*x5*x8*x9 +
208 x2^3*x3*x4*x5*x8 +
209 x2^3*x3*x4*x5*x9 +
210 -x2^3*x3*x4*x5 +
211 x2^3*x3*x4*x6*x7*x8*x9 +
212 -x2^3*x3*x4*x6*x7*x8 +
213 -x2^3*x3*x4*x6*x7*x9 +
214 x2^3*x3*x4*x6*x7 +
215 -x2^3*x3*x4*x6*x8*x9 +
216 x2^3*x3*x4*x6*x8 +
217 x2^3*x3*x4*x6*x9 +
218 -x2^3*x3*x4*x6 +
219 -x2^3*x3*x4*x7*x8*x9 +
220 x2^3*x3*x4*x7*x8 +
221 x2^3*x3*x4*x7*x9 +
222 -x2^3*x3*x4*x7 +
223 x2^3*x3*x4*x8*x9 +
224 -x2^3*x3*x4*x8 +
225 -x2^3*x3*x4*x9 +
226 x2^3*x3*x4 +
227 x2^3*x3*x5*x6*x7*x8*x9 +
228 -x2^3*x3*x5*x6*x7*x8 +
229 -x2^3*x3*x5*x6*x7*x9 +
230 x2^3*x3*x5*x6*x7 +
231 -x2^3*x3*x5*x6*x8*x9 +
232 x2^3*x3*x5*x6*x8 +
233 x2^3*x3*x5*x6*x9 +
234 -x2^3*x3*x5*x6 +
235 -x2^3*x3*x5*x7*x8*x9 +
236 x2^3*x3*x5*x7*x8 +
237 x2^3*x3*x5*x7*x9 +
238 -x2^3*x3*x5*x7 +
239 x2^3*x3*x5*x8*x9 +
240 -x2^3*x3*x5*x8 +
241 -x2^3*x3*x5*x9 +
242 x2^3*x3*x5 +
243 -x2^3*x3*x6*x7*x8*x9 +
244 x2^3*x3*x6*x7*x8 +
245 x2^3*x3*x6*x7*x9 +
246 -x2^3*x3*x6*x7 +
247 x2^3*x3*x6*x8*x9 +
248 -x2^3*x3*x6*x8 +
249 -x2^3*x3*x6*x9 +
250 x2^3*x3*x6 +
251 x2^3*x3*x7*x8*x9 +
252 -x2^3*x3*x7*x8 +
253 -x2^3*x3*x7*x9 +
254 x2^3*x3*x7 +
255 -x2^3*x3*x8*x9 +
256 x2^3*x3*x8 +
257 x2^3*x3*x9 +
258 -x2^3*x3 +
259 x2^2*x3^3*x4*x5*x6^2*x7*x8*x9 +
260 -x2^2*x3^3*x4*x5*x6^2*x7*x8 +
261 -x2^2*x3^3*x4*x5*x6^2*x7*x9 +
262 x2^2*x3^3*x4*x5*x6^2*x7 +
263 -x2^2*x3^3*x4*x5*x6^2*x8*x9 +
264 x2^2*x3^3*x4*x5*x6^2*x8 +
265 x2^2*x3^3*x4*x5*x6^2*x9 +
266 -x2^2*x3^3*x4*x5*x6^2 +
267 -x2^2*x3^3*x4*x5*x6*x7*x8*x9 +
268 x2^2*x3^3*x4*x5*x6*x7*x8 +
269 x2^2*x3^3*x4*x5*x6*x7*x9 +
270 -x2^2*x3^3*x4*x5*x6*x7 +
271 x2^2*x3^3*x4*x5*x6*x8*x9 +
272 -x2^2*x3^3*x4*x5*x6*x8 +
273 -x2^2*x3^3*x4*x5*x6*x9 +
274 x2^2*x3^3*x4*x5*x6 +
275 -x2^2*x3^3*x4*x6^2*x7*x8*x9 +
276 x2^2*x3^3*x4*x6^2*x7*x8 +
277 x2^2*x3^3*x4*x6^2*x7*x9 +
278 -x2^2*x3^3*x4*x6^2*x7 +
279 x2^2*x3^3*x4*x6^2*x8*x9 +
280 -x2^2*x3^3*x4*x6^2*x8 +
281 -x2^2*x3^3*x4*x6^2*x9 +
282 x2^2*x3^3*x4*x6^2 +
283 x2^2*x3^3*x4*x6*x7*x8*x9 +
284 -x2^2*x3^3*x4*x6*x7*x8 +
285 -x2^2*x3^3*x4*x6*x7*x9 +
286 x2^2*x3^3*x4*x6*x7 +
287 -x2^2*x3^3*x4*x6*x8*x9 +
288 x2^2*x3^3*x4*x6*x8 +
289 x2^2*x3^3*x4*x6*x9 +
290 -x2^2*x3^3*x4*x6 +
291 -x2^2*x3^3*x5*x6^2*x7*x8*x9 +
292 x2^2*x3^3*x5*x6^2*x7*x8 +
293 x2^2*x3^3*x5*x6^2*x7*x9 +
294 -x2^2*x3^3*x5*x6^2*x7 +
295 x2^2*x3^3*x5*x6^2*x8*x9 +
296 -x2^2*x3^3*x5*x6^2*x8 +
297 -x2^2*x3^3*x5*x6^2*x9 +
298 x2^2*x3^3*x5*x6^2 +
299 x2^2*x3^3*x5*x6*x7*x8*x9 +
300 -x2^2*x3^3*x5*x6*x7*x8 +
301 -x2^2*x3^3*x5*x6*x7*x9 +
302 x2^2*x3^3*x5*x6*x7 +
303 -x2^2*x3^3*x5*x6*x8*x9 +
304 x2^2*x3^3*x5*x6*x8 +
305 x2^2*x3^3*x5*x6*x9 +
306 -x2^2*x3^3*x5*x6 +
307 x2^2*x3^3*x6^2*x7*x8*x9 +
308 -x2^2*x3^3*x6^2*x7*x8 +
309 -x2^2*x3^3*x6^2*x7*x9 +
310 x2^2*x3^3*x6^2*x7 +
311 -x2^2*x3^3*x6^2*x8*x9 +
312 x2^2*x3^3*x6^2*x8 +
313 x2^2*x3^3*x6^2*x9 +
314 -x2^2*x3^3*x6^2 +
315 -x2^2*x3^3*x6*x7*x8*x9 +
316 x2^2*x3^3*x6*x7*x8 +
317 x2^2*x3^3*x6*x7*x9 +
318 -x2^2*x3^3*x6*x7 +
319 x2^2*x3^3*x6*x8*x9 +
320 -x2^2*x3^3*x6*x8 +
321 -x2^2*x3^3*x6*x9 +
322 x2^2*x3^3*x6 +
323 x2^2*x3^2*x4*x5*x6*x7^2*x8*x9 +
324 -x2^2*x3^2*x4*x5*x6*x7^2*x8 +
325 -x2^2*x3^2*x4*x5*x6*x7^2*x9 +
326 x2^2*x3^2*x4*x5*x6*x7^2 +
327 -x2^2*x3^2*x4*x5*x6*x7*x8*x9 +
328 x2^2*x3^2*x4*x5*x6*x7*x8 +
329 x2^2*x3^2*x4*x5*x6*x7*x9 +
330 -x2^2*x3^2*x4*x5*x6*x7 +
331 -x2^2*x3^2*x4*x5*x7^2*x8*x9 +
332 x2^2*x3^2*x4*x5*x7^2*x8 +
333 x2^2*x3^2*x4*x5*x7^2*x9 +
334 -x2^2*x3^2*x4*x5*x7^2 +
335 x2^2*x3^2*x4*x5*x7*x8*x9 +
336 -x2^2*x3^2*x4*x5*x7*x8 +
337 -x2^2*x3^2*x4*x5*x7*x9 +
338 x2^2*x3^2*x4*x5*x7 +
339 -x2^2*x3^2*x4*x6*x7^2*x8*x9 +
340 x2^2*x3^2*x4*x6*x7^2*x8 +
341 x2^2*x3^2*x4*x6*x7^2*x9 +
342 -x2^2*x3^2*x4*x6*x7^2 +
343 x2^2*x3^2*x4*x6*x7*x8*x9 +
344 -x2^2*x3^2*x4*x6*x7*x8 +
345 -x2^2*x3^2*x4*x6*x7*x9 +
346 x2^2*x3^2*x4*x6*x7 +
347 x2^2*x3^2*x4*x7^2*x8*x9 +
348 -x2^2*x3^2*x4*x7^2*x8 +
349 -x2^2*x3^2*x4*x7^2*x9 +
350 x2^2*x3^2*x4*x7^2 +
351 -x2^2*x3^2*x4*x7*x8*x9 +
352 x2^2*x3^2*x4*x7*x8 +
353 x2^2*x3^2*x4*x7*x9 +
354 -x2^2*x3^2*x4*x7 +
355 -x2^2*x3^2*x5*x6*x7^2*x8*x9 +
356 x2^2*x3^2*x5*x6*x7^2*x8 +
357 x2^2*x3^2*x5*x6*x7^2*x9 +
358 -x2^2*x3^2*x5*x6*x7^2 +
359 x2^2*x3^2*x5*x6*x7*x8*x9 +
360 -x2^2*x3^2*x5*x6*x7*x8 +
361 -x2^2*x3^2*x5*x6*x7*x9 +
362 x2^2*x3^2*x5*x6*x7 +
363 x2^2*x3^2*x5*x7^2*x8*x9 +
364 -x2^2*x3^2*x5*x7^2*x8 +
365 -x2^2*x3^2*x5*x7^2*x9 +
366 x2^2*x3^2*x5*x7^2 +
367 -x2^2*x3^2*x5*x7*x8*x9 +
368 x2^2*x3^2*x5*x7*x8 +
369 x2^2*x3^2*x5*x7*x9 +
370 -x2^2*x3^2*x5*x7 +
371 x2^2*x3^2*x6*x7^2*x8*x9 +
372 -x2^2*x3^2*x6*x7^2*x8 +
373 -x2^2*x3^2*x6*x7^2*x9 +
374 x2^2*x3^2*x6*x7^2 +
375 -x2^2*x3^2*x6*x7*x8*x9 +
376 x2^2*x3^2*x6*x7*x8 +
377 x2^2*x3^2*x6*x7*x9 +
378 -x2^2*x3^2*x6*x7 +
379 -x2^2*x3^2*x7^2*x8*x9 +
380 x2^2*x3^2*x7^2*x8 +
381 x2^2*x3^2*x7^2*x9 +
382 -x2^2*x3^2*x7^2 +
383 x2^2*x3^2*x7*x8*x9 +
384 -x2^2*x3^2*x7*x8 +
385 -x2^2*x3^2*x7*x9 +
386 x2^2*x3^2*x7 +
387 x2^2*x3*x4*x5*x6^2*x7*x8*x9^2 +
388 -x2^2*x3*x4*x5*x6^2*x7*x8*x9 +
389 -x2^2*x3*x4*x5*x6^2*x7*x9^2 +
390 x2^2*x3*x4*x5*x6^2*x7*x9 +
391 -x2^2*x3*x4*x5*x6^2*x8*x9^2 +
392 x2^2*x3*x4*x5*x6^2*x8*x9 +
393 x2^2*x3*x4*x5*x6^2*x9^2 +
394 -x2^2*x3*x4*x5*x6^2*x9 +
395 x2^2*x3*x4*x5*x6*x7^2*x8*x9^2 +
396 -x2^2*x3*x4*x5*x6*x7^2*x8*x9 +
397 -x2^2*x3*x4*x5*x6*x7^2*x9^2 +
398 x2^2*x3*x4*x5*x6*x7^2*x9 +
399 x2^2*x3*x4*x5*x6*x7*x8^2*x9 +
400 -x2^2*x3*x4*x5*x6*x7*x8^2 +
401 -x2^2*x3*x4*x5*x6*x7*x8*x9^2 +
402 x2^2*x3*x4*x5*x6*x7*x8 +
403 x2^2*x3*x4*x5*x6*x7*x9^2 +
404 -x2^2*x3*x4*x5*x6*x7*x9 +
405 -x2^2*x3*x4*x5*x6*x8^2*x9 +
406 x2^2*x3*x4*x5*x6*x8^2 +
407 x2^2*x3*x4*x5*x6*x8*x9 +
408 -x2^2*x3*x4*x5*x6*x8 +
409 -x2^2*x3*x4*x5*x7^2*x8*x9^2 +
410 x2^2*x3*x4*x5*x7^2*x8*x9 +
411 x2^2*x3*x4*x5*x7^2*x9^2 +
412 -x2^2*x3*x4*x5*x7^2*x9 +
413 -x2^2*x3*x4*x5*x7*x8^2*x9 +
414 x2^2*x3*x4*x5*x7*x8^2 +
415 x2^2*x3*x4*x5*x7*x8*x9 +
416 -x2^2*x3*x4*x5*x7*x8 +
417 x2^2*x3*x4*x5*x8^2*x9 +
418 -x2^2*x3*x4*x5*x8^2 +
419 x2^2*x3*x4*x5*x8*x9^2 +
420 -2*x2^2*x3*x4*x5*x8*x9 +
421 x2^2*x3*x4*x5*x8 +
422 -x2^2*x3*x4*x5*x9^2 +
423 x2^2*x3*x4*x5*x9 +
424 -x2^2*x3*x4*x6^2*x7*x8*x9^2 +
425 x2^2*x3*x4*x6^2*x7*x8*x9 +
426 x2^2*x3*x4*x6^2*x7*x9^2 +
427 -x2^2*x3*x4*x6^2*x7*x9 +
428 x2^2*x3*x4*x6^2*x8*x9^2 +
429 -x2^2*x3*x4*x6^2*x8*x9 +
430 -x2^2*x3*x4*x6^2*x9^2 +
431 x2^2*x3*x4*x6^2*x9 +
432 -x2^2*x3*x4*x6*x7^2*x8*x9^2 +
433 x2^2*x3*x4*x6*x7^2*x8*x9 +
434 x2^2*x3*x4*x6*x7^2*x9^2 +
435 -x2^2*x3*x4*x6*x7^2*x9 +
436 -x2^2*x3*x4*x6*x7*x8^2*x9 +
437 x2^2*x3*x4*x6*x7*x8^2 +
438 x2^2*x3*x4*x6*x7*x8*x9^2 +
439 -x2^2*x3*x4*x6*x7*x8 +
440 -x2^2*x3*x4*x6*x7*x9^2 +
441 x2^2*x3*x4*x6*x7*x9 +
442 x2^2*x3*x4*x6*x8^2*x9 +
443 -x2^2*x3*x4*x6*x8^2 +
444 -x2^2*x3*x4*x6*x8*x9 +
445 x2^2*x3*x4*x6*x8 +
446 x2^2*x3*x4*x7^2*x8*x9^2 +
447 -x2^2*x3*x4*x7^2*x8*x9 +
448 -x2^2*x3*x4*x7^2*x9^2 +
449 x2^2*x3*x4*x7^2*x9 +
450 x2^2*x3*x4*x7*x8^2*x9 +
451 -x2^2*x3*x4*x7*x8^2 +
452 -x2^2*x3*x4*x7*x8*x9 +
453 x2^2*x3*x4*x7*x8 +
454 -x2^2*x3*x4*x8^2*x9 +
455 x2^2*x3*x4*x8^2 +
456 -x2^2*x3*x4*x8*x9^2 +
457 2*x2^2*x3*x4*x8*x9 +
458 -x2^2*x3*x4*x8 +
459 x2^2*x3*x4*x9^2 +
460 -x2^2*x3*x4*x9 +
461 -x2^2*x3*x5*x6^2*x7*x8*x9^2 +
462 x2^2*x3*x5*x6^2*x7*x8*x9 +
463 x2^2*x3*x5*x6^2*x7*x9^2 +
464 -x2^2*x3*x5*x6^2*x7*x9 +
465 x2^2*x3*x5*x6^2*x8*x9^2 +
466 -x2^2*x3*x5*x6^2*x8*x9 +
467 -x2^2*x3*x5*x6^2*x9^2 +
468 x2^2*x3*x5*x6^2*x9 +
469 -x2^2*x3*x5*x6*x7^2*x8*x9^2 +
470 x2^2*x3*x5*x6*x7^2*x8*x9 +
471 x2^2*x3*x5*x6*x7^2*x9^2 +
472 -x2^2*x3*x5*x6*x7^2*x9 +
473 -x2^2*x3*x5*x6*x7*x8^2*x9 +
474 x2^2*x3*x5*x6*x7*x8^2 +
475 x2^2*x3*x5*x6*x7*x8*x9^2 +
476 -x2^2*x3*x5*x6*x7*x8 +
477 -x2^2*x3*x5*x6*x7*x9^2 +
478 x2^2*x3*x5*x6*x7*x9 +
479 x2^2*x3*x5*x6*x8^2*x9 +
480 -x2^2*x3*x5*x6*x8^2 +
481 -x2^2*x3*x5*x6*x8*x9 +
482 x2^2*x3*x5*x6*x8 +
483 x2^2*x3*x5*x7^2*x8*x9^2 +
484 -x2^2*x3*x5*x7^2*x8*x9 +
485 -x2^2*x3*x5*x7^2*x9^2 +
486 x2^2*x3*x5*x7^2*x9 +
487 x2^2*x3*x5*x7*x8^2*x9 +
488 -x2^2*x3*x5*x7*x8^2 +
489 -x2^2*x3*x5*x7*x8*x9 +
490 x2^2*x3*x5*x7*x8 +
491 -x2^2*x3*x5*x8^2*x9 +
492 x2^2*x3*x5*x8^2 +
493 -x2^2*x3*x5*x8*x9^2 +
494 2*x2^2*x3*x5*x8*x9 +
495 -x2^2*x3*x5*x8 +
496 x2^2*x3*x5*x9^2 +
497 -x2^2*x3*x5*x9 +
498 x2^2*x3*x6^2*x7*x8*x9^2 +
499 -x2^2*x3*x6^2*x7*x8*x9 +
500 -x2^2*x3*x6^2*x7*x9^2 +
501 x2^2*x3*x6^2*x7*x9 +
502 -x2^2*x3*x6^2*x8*x9^2 +
503 x2^2*x3*x6^2*x8*x9 +
504 x2^2*x3*x6^2*x9^2 +
505 -x2^2*x3*x6^2*x9 +
506 x2^2*x3*x6*x7^2*x8*x9^2 +
507 -x2^2*x3*x6*x7^2*x8*x9 +
508 -x2^2*x3*x6*x7^2*x9^2 +
509 x2^2*x3*x6*x7^2*x9 +
510 x2^2*x3*x6*x7*x8^2*x9 +
511 -x2^2*x3*x6*x7*x8^2 +
512 -x2^2*x3*x6*x7*x8*x9^2 +
513 x2^2*x3*x6*x7*x8 +
514 x2^2*x3*x6*x7*x9^2 +
515 -x2^2*x3*x6*x7*x9 +
516 -x2^2*x3*x6*x8^2*x9 +
517 x2^2*x3*x6*x8^2 +
518 x2^2*x3*x6*x8*x9 +
519 -x2^2*x3*x6*x8 +
520 -x2^2*x3*x7^2*x8*x9^2 +
521 x2^2*x3*x7^2*x8*x9 +
522 x2^2*x3*x7^2*x9^2 +
523 -x2^2*x3*x7^2*x9 +
524 -x2^2*x3*x7*x8^2*x9 +
525 x2^2*x3*x7*x8^2 +
526 x2^2*x3*x7*x8*x9 +
527 -x2^2*x3*x7*x8 +
528 x2^2*x3*x8^2*x9 +
529 -x2^2*x3*x8^2 +
530 x2^2*x3*x8*x9^2 +
531 -2*x2^2*x3*x8*x9 +
532 x2^2*x3*x8 +
533 -x2^2*x3*x9^2 +
534 x2^2*x3*x9 +
535 -x2^2*x4*x5*x6^2*x7*x8*x9^2 +
536 x2^2*x4*x5*x6^2*x7*x8 +
537 x2^2*x4*x5*x6^2*x7*x9^2 +
538 -x2^2*x4*x5*x6^2*x7 +
539 x2^2*x4*x5*x6^2*x8*x9^2 +
540 -x2^2*x4*x5*x6^2*x8 +
541 -x2^2*x4*x5*x6^2*x9^2 +
542 x2^2*x4*x5*x6^2 +
543 -x2^2*x4*x5*x6*x7^2*x8*x9^2 +
544 x2^2*x4*x5*x6*x7^2*x8 +
545 x2^2*x4*x5*x6*x7^2*x9^2 +
546 -x2^2*x4*x5*x6*x7^2 +
547 -x2^2*x4*x5*x6*x7*x8^2*x9 +
548 x2^2*x4*x5*x6*x7*x8^2 +
549 x2^2*x4*x5*x6*x7*x8*x9^2 +
550 2*x2^2*x4*x5*x6*x7*x8*x9 +
551 -3*x2^2*x4*x5*x6*x7*x8 +
552 -x2^2*x4*x5*x6*x7*x9^2 +
553 -x2^2*x4*x5*x6*x7*x9 +
554 2*x2^2*x4*x5*x6*x7 +
555 x2^2*x4*x5*x6*x8^2*x9 +
556 -x2^2*x4*x5*x6*x8^2 +
557 -2*x2^2*x4*x5*x6*x8*x9 +
558 2*x2^2*x4*x5*x6*x8 +
559 x2^2*x4*x5*x6*x9 +
560 -x2^2*x4*x5*x6 +
561 x2^2*x4*x5*x7^2*x8*x9^2 +
562 -x2^2*x4*x5*x7^2*x8 +
563 -x2^2*x4*x5*x7^2*x9^2 +
564 x2^2*x4*x5*x7^2 +
565 x2^2*x4*x5*x7*x8^2*x9 +
566 -x2^2*x4*x5*x7*x8^2 +
567 -2*x2^2*x4*x5*x7*x8*x9 +
568 2*x2^2*x4*x5*x7*x8 +
569 x2^2*x4*x5*x7*x9 +
570 -x2^2*x4*x5*x7 +
571 -x2^2*x4*x5*x8^2*x9 +
572 x2^2*x4*x5*x8^2 +
573 -x2^2*x4*x5*x8*x9^2 +
574 2*x2^2*x4*x5*x8*x9 +
575 -x2^2*x4*x5*x8 +
576 x2^2*x4*x5*x9^2 +
577 -x2^2*x4*x5*x9 +
578 x2^2*x4*x6^2*x7*x8*x9^2 +
579 -x2^2*x4*x6^2*x7*x8 +
580 -x2^2*x4*x6^2*x7*x9^2 +
581 x2^2*x4*x6^2*x7 +
582 -x2^2*x4*x6^2*x8*x9^2 +
583 x2^2*x4*x6^2*x8 +
584 x2^2*x4*x6^2*x9^2 +
585 -x2^2*x4*x6^2 +
586 x2^2*x4*x6*x7^2*x8*x9^2 +
587 -x2^2*x4*x6*x7^2*x8 +
588 -x2^2*x4*x6*x7^2*x9^2 +
589 x2^2*x4*x6*x7^2 +
590 x2^2*x4*x6*x7*x8^2*x9 +
591 -x2^2*x4*x6*x7*x8^2 +
592 -x2^2*x4*x6*x7*x8*x9^2 +
593 -2*x2^2*x4*x6*x7*x8*x9 +
594 3*x2^2*x4*x6*x7*x8 +
595 x2^2*x4*x6*x7*x9^2 +
596 x2^2*x4*x6*x7*x9 +
597 -2*x2^2*x4*x6*x7 +
598 -x2^2*x4*x6*x8^2*x9 +
599 x2^2*x4*x6*x8^2 +
600 2*x2^2*x4*x6*x8*x9 +
601 -2*x2^2*x4*x6*x8 +
602 -x2^2*x4*x6*x9 +
603 x2^2*x4*x6 +
604 -x2^2*x4*x7^2*x8*x9^2 +
605 x2^2*x4*x7^2*x8 +
606 x2^2*x4*x7^2*x9^2 +
607 -x2^2*x4*x7^2 +
608 -x2^2*x4*x7*x8^2*x9 +
609 x2^2*x4*x7*x8^2 +
610 2*x2^2*x4*x7*x8*x9 +
611 -2*x2^2*x4*x7*x8 +
612 -x2^2*x4*x7*x9 +
613 x2^2*x4*x7 +
614 x2^2*x4*x8^2*x9 +
615 -x2^2*x4*x8^2 +
616 x2^2*x4*x8*x9^2 +
617 -2*x2^2*x4*x8*x9 +
618 x2^2*x4*x8 +
619 -x2^2*x4*x9^2 +
620 x2^2*x4*x9 +
621 x2^2*x5*x6^2*x7*x8*x9^2 +
622 -x2^2*x5*x6^2*x7*x8 +
623 -x2^2*x5*x6^2*x7*x9^2 +
624 x2^2*x5*x6^2*x7 +
625 -x2^2*x5*x6^2*x8*x9^2 +
626 x2^2*x5*x6^2*x8 +
627 x2^2*x5*x6^2*x9^2 +
628 -x2^2*x5*x6^2 +
629 x2^2*x5*x6*x7^2*x8*x9^2 +
630 -x2^2*x5*x6*x7^2*x8 +
631 -x2^2*x5*x6*x7^2*x9^2 +
632 x2^2*x5*x6*x7^2 +
633 x2^2*x5*x6*x7*x8^2*x9 +
634 -x2^2*x5*x6*x7*x8^2 +
635 -x2^2*x5*x6*x7*x8*x9^2 +
636 -2*x2^2*x5*x6*x7*x8*x9 +
637 3*x2^2*x5*x6*x7*x8 +
638 x2^2*x5*x6*x7*x9^2 +
639 x2^2*x5*x6*x7*x9 +
640 -2*x2^2*x5*x6*x7 +
641 -x2^2*x5*x6*x8^2*x9 +
642 x2^2*x5*x6*x8^2 +
643 2*x2^2*x5*x6*x8*x9 +
644 -2*x2^2*x5*x6*x8 +
645 -x2^2*x5*x6*x9 +
646 x2^2*x5*x6 +
647 -x2^2*x5*x7^2*x8*x9^2 +
648 x2^2*x5*x7^2*x8 +
649 x2^2*x5*x7^2*x9^2 +
650 -x2^2*x5*x7^2 +
651 -x2^2*x5*x7*x8^2*x9 +
652 x2^2*x5*x7*x8^2 +
653 2*x2^2*x5*x7*x8*x9 +
654 -2*x2^2*x5*x7*x8 +
655 -x2^2*x5*x7*x9 +
656 x2^2*x5*x7 +
657 x2^2*x5*x8^2*x9 +
658 -x2^2*x5*x8^2 +
659 x2^2*x5*x8*x9^2 +
660 -2*x2^2*x5*x8*x9 +
661 x2^2*x5*x8 +
662 -x2^2*x5*x9^2 +
663 x2^2*x5*x9 +
664 -x2^2*x6^2*x7*x8*x9^2 +
665 x2^2*x6^2*x7*x8 +
666 x2^2*x6^2*x7*x9^2 +
667 -x2^2*x6^2*x7 +
668 x2^2*x6^2*x8*x9^2 +
669 -x2^2*x6^2*x8 +
670 -x2^2*x6^2*x9^2 +
671 x2^2*x6^2 +
672 -x2^2*x6*x7^2*x8*x9^2 +
673 x2^2*x6*x7^2*x8 +
674 x2^2*x6*x7^2*x9^2 +
675 -x2^2*x6*x7^2 +
676 -x2^2*x6*x7*x8^2*x9 +
677 x2^2*x6*x7*x8^2 +
678 x2^2*x6*x7*x8*x9^2 +
679 2*x2^2*x6*x7*x8*x9 +
680 -3*x2^2*x6*x7*x8 +
681 -x2^2*x6*x7*x9^2 +
682 -x2^2*x6*x7*x9 +
683 2*x2^2*x6*x7 +
684 x2^2*x6*x8^2*x9 +
685 -x2^2*x6*x8^2 +
686 -2*x2^2*x6*x8*x9 +
687 2*x2^2*x6*x8 +
688 x2^2*x6*x9 +
689 -x2^2*x6 +
690 x2^2*x7^2*x8*x9^2 +
691 -x2^2*x7^2*x8 +
692 -x2^2*x7^2*x9^2 +
693 x2^2*x7^2 +
694 x2^2*x7*x8^2*x9 +
695 -x2^2*x7*x8^2 +
696 -2*x2^2*x7*x8*x9 +
697 2*x2^2*x7*x8 +
698 x2^2*x7*x9 +
699 -x2^2*x7 +
700 -x2^2*x8^2*x9 +
701 x2^2*x8^2 +
702 -x2^2*x8*x9^2 +
703 2*x2^2*x8*x9 +
704 -x2^2*x8 +
705 x2^2*x9^2 +
706 -x2^2*x9 +
707 x2*x3^4*x4*x5*x6*x7*x8*x9 +
708 -x2*x3^4*x4*x5*x6*x7*x8 +
709 -x2*x3^4*x4*x5*x6*x7*x9 +
710 x2*x3^4*x4*x5*x6*x7 +
711 -x2*x3^4*x4*x5*x6*x8*x9 +
712 x2*x3^4*x4*x5*x6*x8 +
713 x2*x3^4*x4*x5*x6*x9 +
714 -x2*x3^4*x4*x5*x6 +
715 -x2*x3^4*x4*x5*x7*x8*x9 +
716 x2*x3^4*x4*x5*x7*x8 +
717 x2*x3^4*x4*x5*x7*x9 +
718 -x2*x3^4*x4*x5*x7 +
719 x2*x3^4*x4*x5*x8*x9 +
720 -x2*x3^4*x4*x5*x8 +
721 -x2*x3^4*x4*x5*x9 +
722 x2*x3^4*x4*x5 +
723 -x2*x3^4*x4*x6*x7*x8*x9 +
724 x2*x3^4*x4*x6*x7*x8 +
725 x2*x3^4*x4*x6*x7*x9 +
726 -x2*x3^4*x4*x6*x7 +
727 x2*x3^4*x4*x6*x8*x9 +
728 -x2*x3^4*x4*x6*x8 +
729 -x2*x3^4*x4*x6*x9 +
730 x2*x3^4*x4*x6 +
731 x2*x3^4*x4*x7*x8*x9 +
732 -x2*x3^4*x4*x7*x8 +
733 -x2*x3^4*x4*x7*x9 +
734 x2*x3^4*x4*x7 +
735 -x2*x3^4*x4*x8*x9 +
736 x2*x3^4*x4*x8 +
737 x2*x3^4*x4*x9 +
738 -x2*x3^4*x4 +
739 -x2*x3^4*x5*x6*x7*x8*x9 +
740 x2*x3^4*x5*x6*x7*x8 +
741 x2*x3^4*x5*x6*x7*x9 +
742 -x2*x3^4*x5*x6*x7 +
743 x2*x3^4*x5*x6*x8*x9 +
744 -x2*x3^4*x5*x6*x8 +
745 -x2*x3^4*x5*x6*x9 +
746 x2*x3^4*x5*x6 +
747 x2*x3^4*x5*x7*x8*x9 +
748 -x2*x3^4*x5*x7*x8 +
749 -x2*x3^4*x5*x7*x9 +
750 x2*x3^4*x5*x7 +
751 -x2*x3^4*x5*x8*x9 +
752 x2*x3^4*x5*x8 +
753 x2*x3^4*x5*x9 +
754 -x2*x3^4*x5 +
755 x2*x3^4*x6*x7*x8*x9 +
756 -x2*x3^4*x6*x7*x8 +
757 -x2*x3^4*x6*x7*x9 +
758 x2*x3^4*x6*x7 +
759 -x2*x3^4*x6*x8*x9 +
760 x2*x3^4*x6*x8 +
761 x2*x3^4*x6*x9 +
762 -x2*x3^4*x6 +
763 -x2*x3^4*x7*x8*x9 +
764 x2*x3^4*x7*x8 +
765 x2*x3^4*x7*x9 +
766 -x2*x3^4*x7 +
767 x2*x3^4*x8*x9 +
768 -x2*x3^4*x8 +
769 -x2*x3^4*x9 +
770 x2*x3^4 +
771 x2*x3^3*x4^2*x5*x6*x7*x8*x9 +
772 -x2*x3^3*x4^2*x5*x6*x7*x8 +
773 -x2*x3^3*x4^2*x5*x6*x7*x9 +
774 x2*x3^3*x4^2*x5*x6*x7 +
775 -x2*x3^3*x4^2*x5*x6*x8*x9 +
776 x2*x3^3*x4^2*x5*x6*x8 +
777 x2*x3^3*x4^2*x5*x6*x9 +
778 -x2*x3^3*x4^2*x5*x6 +
779 -x2*x3^3*x4^2*x5*x7*x8*x9 +
780 x2*x3^3*x4^2*x5*x7*x8 +
781 x2*x3^3*x4^2*x5*x7*x9 +
782 -x2*x3^3*x4^2*x5*x7 +
783 x2*x3^3*x4^2*x5*x8*x9 +
784 -x2*x3^3*x4^2*x5*x8 +
785 -x2*x3^3*x4^2*x5*x9 +
786 x2*x3^3*x4^2*x5 +
787 -x2*x3^3*x4^2*x6*x7*x8*x9 +
788 x2*x3^3*x4^2*x6*x7*x8 +
789 x2*x3^3*x4^2*x6*x7*x9 +
790 -x2*x3^3*x4^2*x6*x7 +
791 x2*x3^3*x4^2*x6*x8*x9 +
792 -x2*x3^3*x4^2*x6*x8 +
793 -x2*x3^3*x4^2*x6*x9 +
794 x2*x3^3*x4^2*x6 +
795 x2*x3^3*x4^2*x7*x8*x9 +
796 -x2*x3^3*x4^2*x7*x8 +
797 -x2*x3^3*x4^2*x7*x9 +
798 x2*x3^3*x4^2*x7 +
799 -x2*x3^3*x4^2*x8*x9 +
800 x2*x3^3*x4^2*x8 +
801 x2*x3^3*x4^2*x9 +
802 -x2*x3^3*x4^2 +
803 x2*x3^3*x4*x5^2*x6*x7*x8*x9 +
804 -x2*x3^3*x4*x5^2*x6*x7*x8 +
805 -x2*x3^3*x4*x5^2*x6*x7*x9 +
806 x2*x3^3*x4*x5^2*x6*x7 +
807 -x2*x3^3*x4*x5^2*x6*x8*x9 +
808 x2*x3^3*x4*x5^2*x6*x8 +
809 x2*x3^3*x4*x5^2*x6*x9 +
810 -x2*x3^3*x4*x5^2*x6 +
811 -x2*x3^3*x4*x5^2*x7*x8*x9 +
812 x2*x3^3*x4*x5^2*x7*x8 +
813 x2*x3^3*x4*x5^2*x7*x9 +
814 -x2*x3^3*x4*x5^2*x7 +
815 x2*x3^3*x4*x5^2*x8*x9 +
816 -x2*x3^3*x4*x5^2*x8 +
817 -x2*x3^3*x4*x5^2*x9 +
818 x2*x3^3*x4*x5^2 +
819 -3*x2*x3^3*x4*x5*x6*x7*x8*x9 +
820 3*x2*x3^3*x4*x5*x6*x7*x8 +
821 3*x2*x3^3*x4*x5*x6*x7*x9 +
822 -3*x2*x3^3*x4*x5*x6*x7 +
823 3*x2*x3^3*x4*x5*x6*x8*x9 +
824 -3*x2*x3^3*x4*x5*x6*x8 +
825 -3*x2*x3^3*x4*x5*x6*x9 +
826 3*x2*x3^3*x4*x5*x6 +
827 3*x2*x3^3*x4*x5*x7*x8*x9 +
828 -3*x2*x3^3*x4*x5*x7*x8 +
829 -3*x2*x3^3*x4*x5*x7*x9 +
830 3*x2*x3^3*x4*x5*x7 +
831 -3*x2*x3^3*x4*x5*x8*x9 +
832 3*x2*x3^3*x4*x5*x8 +
833 3*x2*x3^3*x4*x5*x9 +
834 -3*x2*x3^3*x4*x5 +
835 2*x2*x3^3*x4*x6*x7*x8*x9 +
836 -2*x2*x3^3*x4*x6*x7*x8 +
837 -2*x2*x3^3*x4*x6*x7*x9 +
838 2*x2*x3^3*x4*x6*x7 +
839 -2*x2*x3^3*x4*x6*x8*x9 +
840 2*x2*x3^3*x4*x6*x8 +
841 2*x2*x3^3*x4*x6*x9 +
842 -2*x2*x3^3*x4*x6 +
843 -2*x2*x3^3*x4*x7*x8*x9 +
844 2*x2*x3^3*x4*x7*x8 +
845 2*x2*x3^3*x4*x7*x9 +
846 -2*x2*x3^3*x4*x7 +
847 2*x2*x3^3*x4*x8*x9 +
848 -2*x2*x3^3*x4*x8 +
849 -2*x2*x3^3*x4*x9 +
850 2*x2*x3^3*x4 +
851 -x2*x3^3*x5^2*x6*x7*x8*x9 +
852 x2*x3^3*x5^2*x6*x7*x8 +
853 x2*x3^3*x5^2*x6*x7*x9 +
854 -x2*x3^3*x5^2*x6*x7 +
855 x2*x3^3*x5^2*x6*x8*x9 +
856 -x2*x3^3*x5^2*x6*x8 +
857 -x2*x3^3*x5^2*x6*x9 +
858 x2*x3^3*x5^2*x6 +
859 x2*x3^3*x5^2*x7*x8*x9 +
860 -x2*x3^3*x5^2*x7*x8 +
861 -x2*x3^3*x5^2*x7*x9 +
862 x2*x3^3*x5^2*x7 +
863 -x2*x3^3*x5^2*x8*x9 +
864 x2*x3^3*x5^2*x8 +
865 x2*x3^3*x5^2*x9 +
866 -x2*x3^3*x5^2 +
867 2*x2*x3^3*x5*x6*x7*x8*x9 +
868 -2*x2*x3^3*x5*x6*x7*x8 +
869 -2*x2*x3^3*x5*x6*x7*x9 +
870 2*x2*x3^3*x5*x6*x7 +
871 -2*x2*x3^3*x5*x6*x8*x9 +
872 2*x2*x3^3*x5*x6*x8 +
873 2*x2*x3^3*x5*x6*x9 +
874 -2*x2*x3^3*x5*x6 +
875 -2*x2*x3^3*x5*x7*x8*x9 +
876 2*x2*x3^3*x5*x7*x8 +
877 2*x2*x3^3*x5*x7*x9 +
878 -2*x2*x3^3*x5*x7 +
879 2*x2*x3^3*x5*x8*x9 +
880 -2*x2*x3^3*x5*x8 +
881 -2*x2*x3^3*x5*x9 +
882 2*x2*x3^3*x5 +
883 -x2*x3^3*x6*x7*x8*x9 +
884 x2*x3^3*x6*x7*x8 +
885 x2*x3^3*x6*x7*x9 +
886 -x2*x3^3*x6*x7 +
887 x2*x3^3*x6*x8*x9 +
888 -x2*x3^3*x6*x8 +
889 -x2*x3^3*x6*x9 +
890 x2*x3^3*x6 +
891 x2*x3^3*x7*x8*x9 +
892 -x2*x3^3*x7*x8 +
893 -x2*x3^3*x7*x9 +
894 x2*x3^3*x7 +
895 -x2*x3^3*x8*x9 +
896 x2*x3^3*x8 +
897 x2*x3^3*x9 +
898 -x2*x3^3 +
899 x2*x3^2*x4^2*x5*x6^2*x7*x8*x9 +
900 -x2*x3^2*x4^2*x5*x6^2*x7*x8 +
901 -x2*x3^2*x4^2*x5*x6^2*x7*x9 +
902 x2*x3^2*x4^2*x5*x6^2*x7 +
903 -x2*x3^2*x4^2*x5*x6^2*x8*x9 +
904 x2*x3^2*x4^2*x5*x6^2*x8 +
905 x2*x3^2*x4^2*x5*x6^2*x9 +
906 -x2*x3^2*x4^2*x5*x6^2 +
907 x2*x3^2*x4^2*x5*x6*x7^2*x8*x9 +
908 -x2*x3^2*x4^2*x5*x6*x7^2*x8 +
909 -x2*x3^2*x4^2*x5*x6*x7^2*x9 +
910 x2*x3^2*x4^2*x5*x6*x7^2 +
911 -2*x2*x3^2*x4^2*x5*x6*x7*x8*x9 +
912 2*x2*x3^2*x4^2*x5*x6*x7*x8 +
913 2*x2*x3^2*x4^2*x5*x6*x7*x9 +
914 -2*x2*x3^2*x4^2*x5*x6*x7 +
915 x2*x3^2*x4^2*x5*x6*x8*x9 +
916 -x2*x3^2*x4^2*x5*x6*x8 +
917 -x2*x3^2*x4^2*x5*x6*x9 +
918 x2*x3^2*x4^2*x5*x6 +
919 -x2*x3^2*x4^2*x5*x7^2*x8*x9 +
920 x2*x3^2*x4^2*x5*x7^2*x8 +
921 x2*x3^2*x4^2*x5*x7^2*x9 +
922 -x2*x3^2*x4^2*x5*x7^2 +
923 x2*x3^2*x4^2*x5*x7*x8*x9 +
924 -x2*x3^2*x4^2*x5*x7*x8 +
925 -x2*x3^2*x4^2*x5*x7*x9 +
926 x2*x3^2*x4^2*x5*x7 +
927 -x2*x3^2*x4^2*x6^2*x7*x8*x9 +
928 x2*x3^2*x4^2*x6^2*x7*x8 +
929 x2*x3^2*x4^2*x6^2*x7*x9 +
930 -x2*x3^2*x4^2*x6^2*x7 +
931 x2*x3^2*x4^2*x6^2*x8*x9 +
932 -x2*x3^2*x4^2*x6^2*x8 +
933 -x2*x3^2*x4^2*x6^2*x9 +
934 x2*x3^2*x4^2*x6^2 +
935 -x2*x3^2*x4^2*x6*x7^2*x8*x9 +
936 x2*x3^2*x4^2*x6*x7^2*x8 +
937 x2*x3^2*x4^2*x6*x7^2*x9 +
938 -x2*x3^2*x4^2*x6*x7^2 +
939 2*x2*x3^2*x4^2*x6*x7*x8*x9 +
940 -2*x2*x3^2*x4^2*x6*x7*x8 +
941 -2*x2*x3^2*x4^2*x6*x7*x9 +
942 2*x2*x3^2*x4^2*x6*x7 +
943 -x2*x3^2*x4^2*x6*x8*x9 +
944 x2*x3^2*x4^2*x6*x8 +
945 x2*x3^2*x4^2*x6*x9 +
946 -x2*x3^2*x4^2*x6 +
947 x2*x3^2*x4^2*x7^2*x8*x9 +
948 -x2*x3^2*x4^2*x7^2*x8 +
949 -x2*x3^2*x4^2*x7^2*x9 +
950 x2*x3^2*x4^2*x7^2 +
951 -x2*x3^2*x4^2*x7*x8*x9 +
952 x2*x3^2*x4^2*x7*x8 +
953 x2*x3^2*x4^2*x7*x9 +
954 -x2*x3^2*x4^2*x7 +
955 x2*x3^2*x4*x5^2*x6^2*x7*x8*x9 +
956 -x2*x3^2*x4*x5^2*x6^2*x7*x8 +
957 -x2*x3^2*x4*x5^2*x6^2*x7*x9 +
958 x2*x3^2*x4*x5^2*x6^2*x7 +
959 -x2*x3^2*x4*x5^2*x6^2*x8*x9 +
960 x2*x3^2*x4*x5^2*x6^2*x8 +
961 x2*x3^2*x4*x5^2*x6^2*x9 +
962 -x2*x3^2*x4*x5^2*x6^2 +
963 -x2*x3^2*x4*x5^2*x6*x7*x8*x9 +
964 x2*x3^2*x4*x5^2*x6*x7*x8 +
965 x2*x3^2*x4*x5^2*x6*x7*x9 +
966 -x2*x3^2*x4*x5^2*x6*x7 +
967 x2*x3^2*x4*x5^2*x6*x8*x9 +
968 -x2*x3^2*x4*x5^2*x6*x8 +
969 -x2*x3^2*x4*x5^2*x6*x9 +
970 x2*x3^2*x4*x5^2*x6 +
971 -2*x2*x3^2*x4*x5*x6^2*x7*x8*x9 +
972 2*x2*x3^2*x4*x5*x6^2*x7*x8 +
973 2*x2*x3^2*x4*x5*x6^2*x7*x9 +
974 -2*x2*x3^2*x4*x5*x6^2*x7 +
975 2*x2*x3^2*x4*x5*x6^2*x8*x9 +
976 -2*x2*x3^2*x4*x5*x6^2*x8 +
977 -2*x2*x3^2*x4*x5*x6^2*x9 +
978 2*x2*x3^2*x4*x5*x6^2 +
979 x2*x3^2*x4*x5*x6*x7^3*x8*x9 +
980 -x2*x3^2*x4*x5*x6*x7^3*x8 +
981 -x2*x3^2*x4*x5*x6*x7^3*x9 +
982 x2*x3^2*x4*x5*x6*x7^3 +
983 -2*x2*x3^2*x4*x5*x6*x7^2*x8*x9 +
984 2*x2*x3^2*x4*x5*x6*x7^2*x8 +
985 2*x2*x3^2*x4*x5*x6*x7^2*x9 +
986 -2*x2*x3^2*x4*x5*x6*x7^2 +
987 3*x2*x3^2*x4*x5*x6*x7*x8*x9 +
988 -3*x2*x3^2*x4*x5*x6*x7*x8 +
989 -3*x2*x3^2*x4*x5*x6*x7*x9 +
990 3*x2*x3^2*x4*x5*x6*x7 +
991 -2*x2*x3^2*x4*x5*x6*x8*x9 +
992 2*x2*x3^2*x4*x5*x6*x8 +
993 2*x2*x3^2*x4*x5*x6*x9 +
994 -2*x2*x3^2*x4*x5*x6 +
995 -x2*x3^2*x4*x5*x7^3*x8*x9 +
996 x2*x3^2*x4*x5*x7^3*x8 +
997 x2*x3^2*x4*x5*x7^3*x9 +
998 -x2*x3^2*x4*x5*x7^3 +
999 2*x2*x3^2*x4*x5*x7^2*x8*x9 +
1000 -2*x2*x3^2*x4*x5*x7^2*x8 +
1001 -2*x2*x3^2*x4*x5*x7^2*x9 +
1002 2*x2*x3^2*x4*x5*x7^2 +
1003 -x2*x3^2*x4*x5*x7*x8*x9 +
1004 x2*x3^2*x4*x5*x7*x8 +
1005 x2*x3^2*x4*x5*x7*x9 +
1006 -x2*x3^2*x4*x5*x7 +
1007 x2*x3^2*x4*x6^2*x7*x8*x9 +
1008 -x2*x3^2*x4*x6^2*x7*x8 +
1009 -x2*x3^2*x4*x6^2*x7*x9 +
1010 x2*x3^2*x4*x6^2*x7 +
1011 -x2*x3^2*x4*x6^2*x8*x9 +
1012 x2*x3^2*x4*x6^2*x8 +
1013 x2*x3^2*x4*x6^2*x9 +
1014 -x2*x3^2*x4*x6^2 +
1015 -x2*x3^2*x4*x6*x7^3*x8*x9 +
1016 x2*x3^2*x4*x6*x7^3*x8 +
1017 x2*x3^2*x4*x6*x7^3*x9 +
1018 -x2*x3^2*x4*x6*x7^3 +
1019 2*x2*x3^2*x4*x6*x7^2*x8*x9 +
1020 -2*x2*x3^2*x4*x6*x7^2*x8 +
1021 -2*x2*x3^2*x4*x6*x7^2*x9 +
1022 2*x2*x3^2*x4*x6*x7^2 +
1023 -2*x2*x3^2*x4*x6*x7*x8*x9 +
1024 2*x2*x3^2*x4*x6*x7*x8 +
1025 2*x2*x3^2*x4*x6*x7*x9 +
1026 -2*x2*x3^2*x4*x6*x7 +
1027 x2*x3^2*x4*x6*x8*x9 +
1028 -x2*x3^2*x4*x6*x8 +
1029 -x2*x3^2*x4*x6*x9 +
1030 x2*x3^2*x4*x6 +
1031 x2*x3^2*x4*x7^3*x8*x9 +
1032 -x2*x3^2*x4*x7^3*x8 +
1033 -x2*x3^2*x4*x7^3*x9 +
1034 x2*x3^2*x4*x7^3 +
1035 -2*x2*x3^2*x4*x7^2*x8*x9 +
1036 2*x2*x3^2*x4*x7^2*x8 +
1037 2*x2*x3^2*x4*x7^2*x9 +
1038 -2*x2*x3^2*x4*x7^2 +
1039 x2*x3^2*x4*x7*x8*x9 +
1040 -x2*x3^2*x4*x7*x8 +
1041 -x2*x3^2*x4*x7*x9 +
1042 x2*x3^2*x4*x7 +
1043 -x2*x3^2*x5^2*x6^2*x7*x8*x9 +
1044 x2*x3^2*x5^2*x6^2*x7*x8 +
1045 x2*x3^2*x5^2*x6^2*x7*x9 +
1046 -x2*x3^2*x5^2*x6^2*x7 +
1047 x2*x3^2*x5^2*x6^2*x8*x9 +
1048 -x2*x3^2*x5^2*x6^2*x8 +
1049 -x2*x3^2*x5^2*x6^2*x9 +
1050 x2*x3^2*x5^2*x6^2 +
1051 x2*x3^2*x5^2*x6*x7*x8*x9 +
1052 -x2*x3^2*x5^2*x6*x7*x8 +
1053 -x2*x3^2*x5^2*x6*x7*x9 +
1054 x2*x3^2*x5^2*x6*x7 +
1055 -x2*x3^2*x5^2*x6*x8*x9 +
1056 x2*x3^2*x5^2*x6*x8 +
1057 x2*x3^2*x5^2*x6*x9 +
1058 -x2*x3^2*x5^2*x6 +
1059 x2*x3^2*x5*x6^2*x7*x8*x9 +
1060 -x2*x3^2*x5*x6^2*x7*x8 +
1061 -x2*x3^2*x5*x6^2*x7*x9 +
1062 x2*x3^2*x5*x6^2*x7 +
1063 -x2*x3^2*x5*x6^2*x8*x9 +
1064 x2*x3^2*x5*x6^2*x8 +
1065 x2*x3^2*x5*x6^2*x9 +
1066 -x2*x3^2*x5*x6^2 +
1067 -x2*x3^2*x5*x6*x7^3*x8*x9 +
1068 x2*x3^2*x5*x6*x7^3*x8 +
1069 x2*x3^2*x5*x6*x7^3*x9 +
1070 -x2*x3^2*x5*x6*x7^3 +
1071 x2*x3^2*x5*x6*x7^2*x8*x9 +
1072 -x2*x3^2*x5*x6*x7^2*x8 +
1073 -x2*x3^2*x5*x6*x7^2*x9 +
1074 x2*x3^2*x5*x6*x7^2 +
1075 -x2*x3^2*x5*x6*x7*x8*x9 +
1076 x2*x3^2*x5*x6*x7*x8 +
1077 x2*x3^2*x5*x6*x7*x9 +
1078 -x2*x3^2*x5*x6*x7 +
1079 x2*x3^2*x5*x6*x8*x9 +
1080 -x2*x3^2*x5*x6*x8 +
1081 -x2*x3^2*x5*x6*x9 +
1082 x2*x3^2*x5*x6 +
1083 x2*x3^2*x5*x7^3*x8*x9 +
1084 -x2*x3^2*x5*x7^3*x8 +
1085 -x2*x3^2*x5*x7^3*x9 +
1086 x2*x3^2*x5*x7^3 +
1087 -x2*x3^2*x5*x7^2*x8*x9 +
1088 x2*x3^2*x5*x7^2*x8 +
1089 x2*x3^2*x5*x7^2*x9 +
1090 -x2*x3^2*x5*x7^2 +
1091 x2*x3^2*x6*x7^3*x8*x9 +
1092 -x2*x3^2*x6*x7^3*x8 +
1093 -x2*x3^2*x6*x7^3*x9 +
1094 x2*x3^2*x6*x7^3 +
1095 -x2*x3^2*x6*x7^2*x8*x9 +
1096 x2*x3^2*x6*x7^2*x8 +
1097 x2*x3^2*x6*x7^2*x9 +
1098 -x2*x3^2*x6*x7^2 +
1099 -x2*x3^2*x7^3*x8*x9 +
1100 x2*x3^2*x7^3*x8 +
1101 x2*x3^2*x7^3*x9 +
1102 -x2*x3^2*x7^3 +
1103 x2*x3^2*x7^2*x8*x9 +
1104 -x2*x3^2*x7^2*x8 +
1105 -x2*x3^2*x7^2*x9 +
1106 x2*x3^2*x7^2 +
1107 x2*x3*x4^2*x5*x6^2*x7*x8*x9^2 +
1108 -x2*x3*x4^2*x5*x6^2*x7*x8*x9 +
1109 -x2*x3*x4^2*x5*x6^2*x7*x9^2 +
1110 x2*x3*x4^2*x5*x6^2*x7*x9 +
1111 -x2*x3*x4^2*x5*x6^2*x8*x9^2 +
1112 x2*x3*x4^2*x5*x6^2*x8*x9 +
1113 x2*x3*x4^2*x5*x6^2*x9^2 +
1114 -x2*x3*x4^2*x5*x6^2*x9 +
1115 x2*x3*x4^2*x5*x6*x7*x8^2*x9 +
1116 -x2*x3*x4^2*x5*x6*x7*x8^2 +
1117 -x2*x3*x4^2*x5*x6*x7*x8*x9 +
1118 x2*x3*x4^2*x5*x6*x7*x8 +
1119 -x2*x3*x4^2*x5*x6*x8^2*x9 +
1120 x2*x3*x4^2*x5*x6*x8^2 +
1121 x2*x3*x4^2*x5*x6*x8*x9 +
1122 -x2*x3*x4^2*x5*x6*x8 +
1123 -x2*x3*x4^2*x5*x7*x8^2*x9 +
1124 x2*x3*x4^2*x5*x7*x8^2 +
1125 -x2*x3*x4^2*x5*x7*x8*x9^2 +
1126 2*x2*x3*x4^2*x5*x7*x8*x9 +
1127 -x2*x3*x4^2*x5*x7*x8 +
1128 x2*x3*x4^2*x5*x7*x9^2 +
1129 -x2*x3*x4^2*x5*x7*x9 +
1130 x2*x3*x4^2*x5*x8^2*x9 +
1131 -x2*x3*x4^2*x5*x8^2 +
1132 x2*x3*x4^2*x5*x8*x9^2 +
1133 -2*x2*x3*x4^2*x5*x8*x9 +
1134 x2*x3*x4^2*x5*x8 +
1135 -x2*x3*x4^2*x5*x9^2 +
1136 x2*x3*x4^2*x5*x9 +
1137 -x2*x3*x4^2*x6^2*x7*x8*x9^2 +
1138 x2*x3*x4^2*x6^2*x7*x8*x9 +
1139 x2*x3*x4^2*x6^2*x7*x9^2 +
1140 -x2*x3*x4^2*x6^2*x7*x9 +
1141 x2*x3*x4^2*x6^2*x8*x9^2 +
1142 -x2*x3*x4^2*x6^2*x8*x9 +
1143 -x2*x3*x4^2*x6^2*x9^2 +
1144 x2*x3*x4^2*x6^2*x9 +
1145 -x2*x3*x4^2*x6*x7*x8^2*x9 +
1146 x2*x3*x4^2*x6*x7*x8^2 +
1147 x2*x3*x4^2*x6*x7*x8*x9 +
1148 -x2*x3*x4^2*x6*x7*x8 +
1149 x2*x3*x4^2*x6*x8^2*x9 +
1150 -x2*x3*x4^2*x6*x8^2 +
1151 -x2*x3*x4^2*x6*x8*x9 +
1152 x2*x3*x4^2*x6*x8 +
1153 x2*x3*x4^2*x7*x8^2*x9 +
1154 -x2*x3*x4^2*x7*x8^2 +
1155 x2*x3*x4^2*x7*x8*x9^2 +
1156 -2*x2*x3*x4^2*x7*x8*x9 +
1157 x2*x3*x4^2*x7*x8 +
1158 -x2*x3*x4^2*x7*x9^2 +
1159 x2*x3*x4^2*x7*x9 +
1160 -x2*x3*x4^2*x8^2*x9 +
1161 x2*x3*x4^2*x8^2 +
1162 -x2*x3*x4^2*x8*x9^2 +
1163 2*x2*x3*x4^2*x8*x9 +
1164 -x2*x3*x4^2*x8 +
1165 x2*x3*x4^2*x9^2 +
1166 -x2*x3*x4^2*x9 +
1167 x2*x3*x4*x5^2*x6*x7*x8*x9^2 +
1168 -x2*x3*x4*x5^2*x6*x7*x8*x9 +
1169 -x2*x3*x4*x5^2*x6*x7*x9^2 +
1170 x2*x3*x4*x5^2*x6*x7*x9 +
1171 -x2*x3*x4*x5^2*x6*x8*x9^2 +
1172 x2*x3*x4*x5^2*x6*x8*x9 +
1173 x2*x3*x4*x5^2*x6*x9^2 +
1174 -x2*x3*x4*x5^2*x6*x9 +
1175 -x2*x3*x4*x5^2*x7*x8*x9^2 +
1176 x2*x3*x4*x5^2*x7*x8*x9 +
1177 x2*x3*x4*x5^2*x7*x9^2 +
1178 -x2*x3*x4*x5^2*x7*x9 +
1179 x2*x3*x4*x5^2*x8*x9^2 +
1180 -x2*x3*x4*x5^2*x8*x9 +
1181 -x2*x3*x4*x5^2*x9^2 +
1182 x2*x3*x4*x5^2*x9 +
1183 -x2*x3*x4*x5*x6^2*x7*x8*x9^2 +
1184 x2*x3*x4*x5*x6^2*x7*x8*x9 +
1185 x2*x3*x4*x5*x6^2*x7*x9^2 +
1186 -x2*x3*x4*x5*x6^2*x7*x9 +
1187 x2*x3*x4*x5*x6^2*x8*x9^2 +
1188 -x2*x3*x4*x5*x6^2*x8*x9 +
1189 -x2*x3*x4*x5*x6^2*x9^2 +
1190 x2*x3*x4*x5*x6^2*x9 +
1191 -x2*x3*x4*x5*x6*x7*x8^2*x9 +
1192 x2*x3*x4*x5*x6*x7*x8^2 +
1193 -x2*x3*x4*x5*x6*x7*x8*x9^2 +
1194 2*x2*x3*x4*x5*x6*x7*x8*x9 +
1195 -x2*x3*x4*x5*x6*x7*x8 +
1196 x2*x3*x4*x5*x6*x7*x9^2 +
1197 -x2*x3*x4*x5*x6*x7*x9 +
1198 x2*x3*x4*x5*x6*x8^2*x9 +
1199 -x2*x3*x4*x5*x6*x8^2 +
1200 x2*x3*x4*x5*x6*x8*x9^2 +
1201 -2*x2*x3*x4*x5*x6*x8*x9 +
1202 x2*x3*x4*x5*x6*x8 +
1203 -x2*x3*x4*x5*x6*x9^2 +
1204 x2*x3*x4*x5*x6*x9 +
1205 x2*x3*x4*x5*x7*x8^2*x9 +
1206 -x2*x3*x4*x5*x7*x8^2 +
1207 2*x2*x3*x4*x5*x7*x8*x9^2 +
1208 -3*x2*x3*x4*x5*x7*x8*x9 +
1209 x2*x3*x4*x5*x7*x8 +
1210 -2*x2*x3*x4*x5*x7*x9^2 +
1211 2*x2*x3*x4*x5*x7*x9 +
1212 -x2*x3*x4*x5*x8^2*x9 +
1213 x2*x3*x4*x5*x8^2 +
1214 -2*x2*x3*x4*x5*x8*x9^2 +
1215 3*x2*x3*x4*x5*x8*x9 +
1216 -x2*x3*x4*x5*x8 +
1217 2*x2*x3*x4*x5*x9^2 +
1218 -2*x2*x3*x4*x5*x9 +
1219 x2*x3*x4*x6^2*x7*x8*x9^2 +
1220 -x2*x3*x4*x6^2*x7*x8*x9 +
1221 -x2*x3*x4*x6^2*x7*x9^2 +
1222 x2*x3*x4*x6^2*x7*x9 +
1223 -x2*x3*x4*x6^2*x8*x9^2 +
1224 x2*x3*x4*x6^2*x8*x9 +
1225 x2*x3*x4*x6^2*x9^2 +
1226 -x2*x3*x4*x6^2*x9 +
1227 x2*x3*x4*x6*x7*x8^2*x9 +
1228 -x2*x3*x4*x6*x7*x8^2 +
1229 -x2*x3*x4*x6*x7*x8*x9 +
1230 x2*x3*x4*x6*x7*x8 +
1231 -x2*x3*x4*x6*x8^2*x9 +
1232 x2*x3*x4*x6*x8^2 +
1233 x2*x3*x4*x6*x8*x9 +
1234 -x2*x3*x4*x6*x8 +
1235 -x2*x3*x4*x7*x8^2*x9 +
1236 x2*x3*x4*x7*x8^2 +
1237 -x2*x3*x4*x7*x8*x9^2 +
1238 2*x2*x3*x4*x7*x8*x9 +
1239 -x2*x3*x4*x7*x8 +
1240 x2*x3*x4*x7*x9^2 +
1241 -x2*x3*x4*x7*x9 +
1242 x2*x3*x4*x8^2*x9 +
1243 -x2*x3*x4*x8^2 +
1244 x2*x3*x4*x8*x9^2 +
1245 -2*x2*x3*x4*x8*x9 +
1246 x2*x3*x4*x8 +
1247 -x2*x3*x4*x9^2 +
1248 x2*x3*x4*x9 +
1249 -x2*x3*x5^2*x6*x7*x8*x9^2 +
1250 x2*x3*x5^2*x6*x7*x8*x9 +
1251 x2*x3*x5^2*x6*x7*x9^2 +
1252 -x2*x3*x5^2*x6*x7*x9 +
1253 x2*x3*x5^2*x6*x8*x9^2 +
1254 -x2*x3*x5^2*x6*x8*x9 +
1255 -x2*x3*x5^2*x6*x9^2 +
1256 x2*x3*x5^2*x6*x9 +
1257 x2*x3*x5^2*x7*x8*x9^2 +
1258 -x2*x3*x5^2*x7*x8*x9 +
1259 -x2*x3*x5^2*x7*x9^2 +
1260 x2*x3*x5^2*x7*x9 +
1261 -x2*x3*x5^2*x8*x9^2 +
1262 x2*x3*x5^2*x8*x9 +
1263 x2*x3*x5^2*x9^2 +
1264 -x2*x3*x5^2*x9 +
1265 x2*x3*x5*x6*x7*x8*x9^2 +
1266 -x2*x3*x5*x6*x7*x8*x9 +
1267 -x2*x3*x5*x6*x7*x9^2 +
1268 x2*x3*x5*x6*x7*x9 +
1269 -x2*x3*x5*x6*x8*x9^2 +
1270 x2*x3*x5*x6*x8*x9 +
1271 x2*x3*x5*x6*x9^2 +
1272 -x2*x3*x5*x6*x9 +
1273 -x2*x3*x5*x7*x8*x9^2 +
1274 x2*x3*x5*x7*x8*x9 +
1275 x2*x3*x5*x7*x9^2 +
1276 -x2*x3*x5*x7*x9 +
1277 x2*x3*x5*x8*x9^2 +
1278 -x2*x3*x5*x8*x9 +
1279 -x2*x3*x5*x9^2 +
1280 x2*x3*x5*x9 +
1281 -x2*x4^2*x5*x6^2*x7*x8*x9^2 +
1282 x2*x4^2*x5*x6^2*x7*x8 +
1283 x2*x4^2*x5*x6^2*x7*x9^2 +
1284 -x2*x4^2*x5*x6^2*x7 +
1285 x2*x4^2*x5*x6^2*x8*x9^2 +
1286 -x2*x4^2*x5*x6^2*x8 +
1287 -x2*x4^2*x5*x6^2*x9^2 +
1288 x2*x4^2*x5*x6^2 +
1289 -x2*x4^2*x5*x6*x7^2*x8*x9 +
1290 x2*x4^2*x5*x6*x7^2*x8 +
1291 x2*x4^2*x5*x6*x7^2*x9 +
1292 -x2*x4^2*x5*x6*x7^2 +
1293 -x2*x4^2*x5*x6*x7*x8^2*x9 +
1294 x2*x4^2*x5*x6*x7*x8^2 +
1295 2*x2*x4^2*x5*x6*x7*x8*x9 +
1296 -2*x2*x4^2*x5*x6*x7*x8 +
1297 -x2*x4^2*x5*x6*x7*x9 +
1298 x2*x4^2*x5*x6*x7 +
1299 x2*x4^2*x5*x6*x8^2*x9 +
1300 -x2*x4^2*x5*x6*x8^2 +
1301 -x2*x4^2*x5*x6*x8*x9 +
1302 x2*x4^2*x5*x6*x8 +
1303 x2*x4^2*x5*x7^2*x8*x9 +
1304 -x2*x4^2*x5*x7^2*x8 +
1305 -x2*x4^2*x5*x7^2*x9 +
1306 x2*x4^2*x5*x7^2 +
1307 x2*x4^2*x5*x7*x8^2*x9 +
1308 -x2*x4^2*x5*x7*x8^2 +
1309 x2*x4^2*x5*x7*x8*x9^2 +
1310 -2*x2*x4^2*x5*x7*x8*x9 +
1311 x2*x4^2*x5*x7*x8 +
1312 -x2*x4^2*x5*x7*x9^2 +
1313 x2*x4^2*x5*x7*x9 +
1314 -x2*x4^2*x5*x8^2*x9 +
1315 x2*x4^2*x5*x8^2 +
1316 -x2*x4^2*x5*x8*x9^2 +
1317 x2*x4^2*x5*x8*x9 +
1318 x2*x4^2*x5*x9^2 +
1319 -x2*x4^2*x5 +
1320 x2*x4^2*x6^2*x7*x8*x9^2 +
1321 -x2*x4^2*x6^2*x7*x8 +
1322 -x2*x4^2*x6^2*x7*x9^2 +
1323 x2*x4^2*x6^2*x7 +
1324 -x2*x4^2*x6^2*x8*x9^2 +
1325 x2*x4^2*x6^2*x8 +
1326 x2*x4^2*x6^2*x9^2 +
1327 -x2*x4^2*x6^2 +
1328 x2*x4^2*x6*x7^2*x8*x9 +
1329 -x2*x4^2*x6*x7^2*x8 +
1330 -x2*x4^2*x6*x7^2*x9 +
1331 x2*x4^2*x6*x7^2 +
1332 x2*x4^2*x6*x7*x8^2*x9 +
1333 -x2*x4^2*x6*x7*x8^2 +
1334 -2*x2*x4^2*x6*x7*x8*x9 +
1335 2*x2*x4^2*x6*x7*x8 +
1336 x2*x4^2*x6*x7*x9 +
1337 -x2*x4^2*x6*x7 +
1338 -x2*x4^2*x6*x8^2*x9 +
1339 x2*x4^2*x6*x8^2 +
1340 x2*x4^2*x6*x8*x9 +
1341 -x2*x4^2*x6*x8 +
1342 -x2*x4^2*x7^2*x8*x9 +
1343 x2*x4^2*x7^2*x8 +
1344 x2*x4^2*x7^2*x9 +
1345 -x2*x4^2*x7^2 +
1346 -x2*x4^2*x7*x8^2*x9 +
1347 x2*x4^2*x7*x8^2 +
1348 -x2*x4^2*x7*x8*x9^2 +
1349 2*x2*x4^2*x7*x8*x9 +
1350 -x2*x4^2*x7*x8 +
1351 x2*x4^2*x7*x9^2 +
1352 -x2*x4^2*x7*x9 +
1353 x2*x4^2*x8^2*x9 +
1354 -x2*x4^2*x8^2 +
1355 x2*x4^2*x8*x9^2 +
1356 -x2*x4^2*x8*x9 +
1357 -x2*x4^2*x9^2 +
1358 x2*x4^2 +
1359 -x2*x4*x5^2*x6^2*x7*x8*x9 +
1360 x2*x4*x5^2*x6^2*x7*x8 +
1361 x2*x4*x5^2*x6^2*x7*x9 +
1362 -x2*x4*x5^2*x6^2*x7 +
1363 x2*x4*x5^2*x6^2*x8*x9 +
1364 -x2*x4*x5^2*x6^2*x8 +
1365 -x2*x4*x5^2*x6^2*x9 +
1366 x2*x4*x5^2*x6^2 +
1367 -x2*x4*x5^2*x6*x7*x8*x9^2 +
1368 x2*x4*x5^2*x6*x7*x8*x9 +
1369 x2*x4*x5^2*x6*x7*x9^2 +
1370 -x2*x4*x5^2*x6*x7*x9 +
1371 x2*x4*x5^2*x6*x8*x9^2 +
1372 -x2*x4*x5^2*x6*x8*x9 +
1373 -x2*x4*x5^2*x6*x9^2 +
1374 x2*x4*x5^2*x6*x9 +
1375 x2*x4*x5^2*x7*x8*x9^2 +
1376 -x2*x4*x5^2*x7*x8 +
1377 -x2*x4*x5^2*x7*x9^2 +
1378 x2*x4*x5^2*x7 +
1379 -x2*x4*x5^2*x8*x9^2 +
1380 x2*x4*x5^2*x8 +
1381 x2*x4*x5^2*x9^2 +
1382 -x2*x4*x5^2 +
1383 x2*x4*x5*x6^2*x7*x8*x9^2 +
1384 x2*x4*x5*x6^2*x7*x8*x9 +
1385 -2*x2*x4*x5*x6^2*x7*x8 +
1386 -x2*x4*x5*x6^2*x7*x9^2 +
1387 -x2*x4*x5*x6^2*x7*x9 +
1388 2*x2*x4*x5*x6^2*x7 +
1389 -x2*x4*x5*x6^2*x8*x9^2 +
1390 -x2*x4*x5*x6^2*x8*x9 +
1391 2*x2*x4*x5*x6^2*x8 +
1392 x2*x4*x5*x6^2*x9^2 +
1393 x2*x4*x5*x6^2*x9 +
1394 -2*x2*x4*x5*x6^2 +
1395 -x2*x4*x5*x6*x7^3*x8*x9 +
1396 x2*x4*x5*x6*x7^3*x8 +
1397 x2*x4*x5*x6*x7^3*x9 +
1398 -x2*x4*x5*x6*x7^3 +
1399 2*x2*x4*x5*x6*x7^2*x8*x9 +
1400 -2*x2*x4*x5*x6*x7^2*x8 +
1401 -2*x2*x4*x5*x6*x7^2*x9 +
1402 2*x2*x4*x5*x6*x7^2 +
1403 x2*x4*x5*x6*x7*x8^2*x9 +
1404 -x2*x4*x5*x6*x7*x8^2 +
1405 x2*x4*x5*x6*x7*x8*x9^2 +
1406 -3*x2*x4*x5*x6*x7*x8*x9 +
1407 2*x2*x4*x5*x6*x7*x8 +
1408 -x2*x4*x5*x6*x7*x9^2 +
1409 2*x2*x4*x5*x6*x7*x9 +
1410 -x2*x4*x5*x6*x7 +
1411 -x2*x4*x5*x6*x8^2*x9 +
1412 x2*x4*x5*x6*x8^2 +
1413 -x2*x4*x5*x6*x8*x9^2 +
1414 2*x2*x4*x5*x6*x8*x9 +
1415 -x2*x4*x5*x6*x8 +
1416 x2*x4*x5*x6*x9^2 +
1417 -x2*x4*x5*x6*x9 +
1418 x2*x4*x5*x7^3*x8*x9 +
1419 -x2*x4*x5*x7^3*x8 +
1420 -x2*x4*x5*x7^3*x9 +
1421 x2*x4*x5*x7^3 +
1422 -2*x2*x4*x5*x7^2*x8*x9 +
1423 2*x2*x4*x5*x7^2*x8 +
1424 2*x2*x4*x5*x7^2*x9 +
1425 -2*x2*x4*x5*x7^2 +
1426 -x2*x4*x5*x7*x8^2*x9 +
1427 x2*x4*x5*x7*x8^2 +
1428 -2*x2*x4*x5*x7*x8*x9^2 +
1429 2*x2*x4*x5*x7*x8*x9 +
1430 2*x2*x4*x5*x7*x9^2 +
1431 -x2*x4*x5*x7*x9 +
1432 -x2*x4*x5*x7 +
1433 x2*x4*x5*x8^2*x9 +
1434 -x2*x4*x5*x8^2 +
1435 2*x2*x4*x5*x8*x9^2 +
1436 -x2*x4*x5*x8*x9 +
1437 -x2*x4*x5*x8 +
1438 -2*x2*x4*x5*x9^2 +
1439 2*x2*x4*x5 +
1440 -x2*x4*x6^2*x7*x8*x9^2 +
1441 x2*x4*x6^2*x7*x8 +
1442 x2*x4*x6^2*x7*x9^2 +
1443 -x2*x4*x6^2*x7 +
1444 x2*x4*x6^2*x8*x9^2 +
1445 -x2*x4*x6^2*x8 +
1446 -x2*x4*x6^2*x9^2 +
1447 x2*x4*x6^2 +
1448 x2*x4*x6*x7^3*x8*x9 +
1449 -x2*x4*x6*x7^3*x8 +
1450 -x2*x4*x6*x7^3*x9 +
1451 x2*x4*x6*x7^3 +
1452 -2*x2*x4*x6*x7^2*x8*x9 +
1453 2*x2*x4*x6*x7^2*x8 +
1454 2*x2*x4*x6*x7^2*x9 +
1455 -2*x2*x4*x6*x7^2 +
1456 -x2*x4*x6*x7*x8^2*x9 +
1457 x2*x4*x6*x7*x8^2 +
1458 2*x2*x4*x6*x7*x8*x9 +
1459 -2*x2*x4*x6*x7*x8 +
1460 -x2*x4*x6*x7*x9 +
1461 x2*x4*x6*x7 +
1462 x2*x4*x6*x8^2*x9 +
1463 -x2*x4*x6*x8^2 +
1464 -x2*x4*x6*x8*x9 +
1465 x2*x4*x6*x8 +
1466 -x2*x4*x7^3*x8*x9 +
1467 x2*x4*x7^3*x8 +
1468 x2*x4*x7^3*x9 +
1469 -x2*x4*x7^3 +
1470 2*x2*x4*x7^2*x8*x9 +
1471 -2*x2*x4*x7^2*x8 +
1472 -2*x2*x4*x7^2*x9 +
1473 2*x2*x4*x7^2 +
1474 x2*x4*x7*x8^2*x9 +
1475 -x2*x4*x7*x8^2 +
1476 x2*x4*x7*x8*x9^2 +
1477 -2*x2*x4*x7*x8*x9 +
1478 x2*x4*x7*x8 +
1479 -x2*x4*x7*x9^2 +
1480 x2*x4*x7*x9 +
1481 -x2*x4*x8^2*x9 +
1482 x2*x4*x8^2 +
1483 -x2*x4*x8*x9^2 +
1484 x2*x4*x8*x9 +
1485 x2*x4*x9^2 +
1486 -x2*x4 +
1487 x2*x5^2*x6^2*x7*x8*x9 +
1488 -x2*x5^2*x6^2*x7*x8 +
1489 -x2*x5^2*x6^2*x7*x9 +
1490 x2*x5^2*x6^2*x7 +
1491 -x2*x5^2*x6^2*x8*x9 +
1492 x2*x5^2*x6^2*x8 +
1493 x2*x5^2*x6^2*x9 +
1494 -x2*x5^2*x6^2 +
1495 x2*x5^2*x6*x7*x8*x9^2 +
1496 -x2*x5^2*x6*x7*x8*x9 +
1497 -x2*x5^2*x6*x7*x9^2 +
1498 x2*x5^2*x6*x7*x9 +
1499 -x2*x5^2*x6*x8*x9^2 +
1500 x2*x5^2*x6*x8*x9 +
1501 x2*x5^2*x6*x9^2 +
1502 -x2*x5^2*x6*x9 +
1503 -x2*x5^2*x7*x8*x9^2 +
1504 x2*x5^2*x7*x8 +
1505 x2*x5^2*x7*x9^2 +
1506 -x2*x5^2*x7 +
1507 x2*x5^2*x8*x9^2 +
1508 -x2*x5^2*x8 +
1509 -x2*x5^2*x9^2 +
1510 x2*x5^2 +
1511 -x2*x5*x6^2*x7*x8*x9 +
1512 x2*x5*x6^2*x7*x8 +
1513 x2*x5*x6^2*x7*x9 +
1514 -x2*x5*x6^2*x7 +
1515 x2*x5*x6^2*x8*x9 +
1516 -x2*x5*x6^2*x8 +
1517 -x2*x5*x6^2*x9 +
1518 x2*x5*x6^2 +
1519 x2*x5*x6*x7^3*x8*x9 +
1520 -x2*x5*x6*x7^3*x8 +
1521 -x2*x5*x6*x7^3*x9 +
1522 x2*x5*x6*x7^3 +
1523 -x2*x5*x6*x7^2*x8*x9 +
1524 x2*x5*x6*x7^2*x8 +
1525 x2*x5*x6*x7^2*x9 +
1526 -x2*x5*x6*x7^2 +
1527 -x2*x5*x6*x7*x8*x9^2 +
1528 x2*x5*x6*x7*x8*x9 +
1529 x2*x5*x6*x7*x9^2 +
1530 -x2*x5*x6*x7*x9 +
1531 x2*x5*x6*x8*x9^2 +
1532 -x2*x5*x6*x8*x9 +
1533 -x2*x5*x6*x9^2 +
1534 x2*x5*x6*x9 +
1535 -x2*x5*x7^3*x8*x9 +
1536 x2*x5*x7^3*x8 +
1537 x2*x5*x7^3*x9 +
1538 -x2*x5*x7^3 +
1539 x2*x5*x7^2*x8*x9 +
1540 -x2*x5*x7^2*x8 +
1541 -x2*x5*x7^2*x9 +
1542 x2*x5*x7^2 +
1543 x2*x5*x7*x8*x9^2 +
1544 -x2*x5*x7*x8 +
1545 -x2*x5*x7*x9^2 +
1546 x2*x5*x7 +
1547 -x2*x5*x8*x9^2 +
1548 x2*x5*x8 +
1549 x2*x5*x9^2 +
1550 -x2*x5 +
1551 -x2*x6*x7^3*x8*x9 +
1552 x2*x6*x7^3*x8 +
1553 x2*x6*x7^3*x9 +
1554 -x2*x6*x7^3 +
1555 x2*x6*x7^2*x8*x9 +
1556 -x2*x6*x7^2*x8 +
1557 -x2*x6*x7^2*x9 +
1558 x2*x6*x7^2 +
1559 x2*x7^3*x8*x9 +
1560 -x2*x7^3*x8 +
1561 -x2*x7^3*x9 +
1562 x2*x7^3 +
1563 -x2*x7^2*x8*x9 +
1564 x2*x7^2*x8 +
1565 x2*x7^2*x9 +
1566 -x2*x7^2 +
1567 -x3^4*x4*x5*x6*x7*x8*x9 +
1568 x3^4*x4*x5*x6*x7*x8 +
1569 x3^4*x4*x5*x6*x7*x9 +
1570 -x3^4*x4*x5*x6*x7 +
1571 x3^4*x4*x5*x6*x8*x9 +
1572 -x3^4*x4*x5*x6*x8 +
1573 -x3^4*x4*x5*x6*x9 +
1574 x3^4*x4*x5*x6 +
1575 x3^4*x4*x5*x7*x8*x9 +
1576 -x3^4*x4*x5*x7*x8 +
1577 -x3^4*x4*x5*x7*x9 +
1578 x3^4*x4*x5*x7 +
1579 -x3^4*x4*x5*x8*x9 +
1580 x3^4*x4*x5*x8 +
1581 x3^4*x4*x5*x9 +
1582 -x3^4*x4*x5 +
1583 x3^4*x4*x6*x7*x8*x9 +
1584 -x3^4*x4*x6*x7*x8 +
1585 -x3^4*x4*x6*x7*x9 +
1586 x3^4*x4*x6*x7 +
1587 -x3^4*x4*x6*x8*x9 +
1588 x3^4*x4*x6*x8 +
1589 x3^4*x4*x6*x9 +
1590 -x3^4*x4*x6 +
1591 -x3^4*x4*x7*x8*x9 +
1592 x3^4*x4*x7*x8 +
1593 x3^4*x4*x7*x9 +
1594 -x3^4*x4*x7 +
1595 x3^4*x4*x8*x9 +
1596 -x3^4*x4*x8 +
1597 -x3^4*x4*x9 +
1598 x3^4*x4 +
1599 x3^4*x5*x6*x7*x8*x9 +
1600 -x3^4*x5*x6*x7*x8 +
1601 -x3^4*x5*x6*x7*x9 +
1602 x3^4*x5*x6*x7 +
1603 -x3^4*x5*x6*x8*x9 +
1604 x3^4*x5*x6*x8 +
1605 x3^4*x5*x6*x9 +
1606 -x3^4*x5*x6 +
1607 -x3^4*x5*x7*x8*x9 +
1608 x3^4*x5*x7*x8 +
1609 x3^4*x5*x7*x9 +
1610 -x3^4*x5*x7 +
1611 x3^4*x5*x8*x9 +
1612 -x3^4*x5*x8 +
1613 -x3^4*x5*x9 +
1614 x3^4*x5 +
1615 -x3^4*x6*x7*x8*x9 +
1616 x3^4*x6*x7*x8 +
1617 x3^4*x6*x7*x9 +
1618 -x3^4*x6*x7 +
1619 x3^4*x6*x8*x9 +
1620 -x3^4*x6*x8 +
1621 -x3^4*x6*x9 +
1622 x3^4*x6 +
1623 x3^4*x7*x8*x9 +
1624 -x3^4*x7*x8 +
1625 -x3^4*x7*x9 +
1626 x3^4*x7 +
1627 -x3^4*x8*x9 +
1628 x3^4*x8 +
1629 x3^4*x9 +
1630 -x3^4 +
1631 -x3^3*x4^2*x5*x6*x7*x8*x9 +
1632 x3^3*x4^2*x5*x6*x7*x8 +
1633 x3^3*x4^2*x5*x6*x7*x9 +
1634 -x3^3*x4^2*x5*x6*x7 +
1635 x3^3*x4^2*x5*x6*x8*x9 +
1636 -x3^3*x4^2*x5*x6*x8 +
1637 -x3^3*x4^2*x5*x6*x9 +
1638 x3^3*x4^2*x5*x6 +
1639 x3^3*x4^2*x5*x7*x8*x9 +
1640 -x3^3*x4^2*x5*x7*x8 +
1641 -x3^3*x4^2*x5*x7*x9 +
1642 x3^3*x4^2*x5*x7 +
1643 -x3^3*x4^2*x5*x8*x9 +
1644 x3^3*x4^2*x5*x8 +
1645 x3^3*x4^2*x5*x9 +
1646 -x3^3*x4^2*x5 +
1647 x3^3*x4^2*x6*x7*x8*x9 +
1648 -x3^3*x4^2*x6*x7*x8 +
1649 -x3^3*x4^2*x6*x7*x9 +
1650 x3^3*x4^2*x6*x7 +
1651 -x3^3*x4^2*x6*x8*x9 +
1652 x3^3*x4^2*x6*x8 +
1653 x3^3*x4^2*x6*x9 +
1654 -x3^3*x4^2*x6 +
1655 -x3^3*x4^2*x7*x8*x9 +
1656 x3^3*x4^2*x7*x8 +
1657 x3^3*x4^2*x7*x9 +
1658 -x3^3*x4^2*x7 +
1659 x3^3*x4^2*x8*x9 +
1660 -x3^3*x4^2*x8 +
1661 -x3^3*x4^2*x9 +
1662 x3^3*x4^2 +
1663 -x3^3*x4*x5^2*x6*x7*x8*x9 +
1664 x3^3*x4*x5^2*x6*x7*x8 +
1665 x3^3*x4*x5^2*x6*x7*x9 +
1666 -x3^3*x4*x5^2*x6*x7 +
1667 x3^3*x4*x5^2*x6*x8*x9 +
1668 -x3^3*x4*x5^2*x6*x8 +
1669 -x3^3*x4*x5^2*x6*x9 +
1670 x3^3*x4*x5^2*x6 +
1671 x3^3*x4*x5^2*x7*x8*x9 +
1672 -x3^3*x4*x5^2*x7*x8 +
1673 -x3^3*x4*x5^2*x7*x9 +
1674 x3^3*x4*x5^2*x7 +
1675 -x3^3*x4*x5^2*x8*x9 +
1676 x3^3*x4*x5^2*x8 +
1677 x3^3*x4*x5^2*x9 +
1678 -x3^3*x4*x5^2 +
1679 -x3^3*x4*x5*x6^2*x7*x8*x9 +
1680 x3^3*x4*x5*x6^2*x7*x8 +
1681 x3^3*x4*x5*x6^2*x7*x9 +
1682 -x3^3*x4*x5*x6^2*x7 +
1683 x3^3*x4*x5*x6^2*x8*x9 +
1684 -x3^3*x4*x5*x6^2*x8 +
1685 -x3^3*x4*x5*x6^2*x9 +
1686 x3^3*x4*x5*x6^2 +
1687 3*x3^3*x4*x5*x6*x7*x8*x9 +
1688 -3*x3^3*x4*x5*x6*x7*x8 +
1689 -3*x3^3*x4*x5*x6*x7*x9 +
1690 3*x3^3*x4*x5*x6*x7 +
1691 -3*x3^3*x4*x5*x6*x8*x9 +
1692 3*x3^3*x4*x5*x6*x8 +
1693 3*x3^3*x4*x5*x6*x9 +
1694 -3*x3^3*x4*x5*x6 +
1695 -2*x3^3*x4*x5*x7*x8*x9 +
1696 2*x3^3*x4*x5*x7*x8 +
1697 2*x3^3*x4*x5*x7*x9 +
1698 -2*x3^3*x4*x5*x7 +
1699 2*x3^3*x4*x5*x8*x9 +
1700 -2*x3^3*x4*x5*x8 +
1701 -2*x3^3*x4*x5*x9 +
1702 2*x3^3*x4*x5 +
1703 x3^3*x4*x6^2*x7*x8*x9 +
1704 -x3^3*x4*x6^2*x7*x8 +
1705 -x3^3*x4*x6^2*x7*x9 +
1706 x3^3*x4*x6^2*x7 +
1707 -x3^3*x4*x6^2*x8*x9 +
1708 x3^3*x4*x6^2*x8 +
1709 x3^3*x4*x6^2*x9 +
1710 -x3^3*x4*x6^2 +
1711 -2*x3^3*x4*x6*x7*x8*x9 +
1712 2*x3^3*x4*x6*x7*x8 +
1713 2*x3^3*x4*x6*x7*x9 +
1714 -2*x3^3*x4*x6*x7 +
1715 2*x3^3*x4*x6*x8*x9 +
1716 -2*x3^3*x4*x6*x8 +
1717 -2*x3^3*x4*x6*x9 +
1718 2*x3^3*x4*x6 +
1719 x3^3*x4*x7*x8*x9 +
1720 -x3^3*x4*x7*x8 +
1721 -x3^3*x4*x7*x9 +
1722 x3^3*x4*x7 +
1723 -x3^3*x4*x8*x9 +
1724 x3^3*x4*x8 +
1725 x3^3*x4*x9 +
1726 -x3^3*x4 +
1727 x3^3*x5^2*x6*x7*x8*x9 +
1728 -x3^3*x5^2*x6*x7*x8 +
1729 -x3^3*x5^2*x6*x7*x9 +
1730 x3^3*x5^2*x6*x7 +
1731 -x3^3*x5^2*x6*x8*x9 +
1732 x3^3*x5^2*x6*x8 +
1733 x3^3*x5^2*x6*x9 +
1734 -x3^3*x5^2*x6 +
1735 -x3^3*x5^2*x7*x8*x9 +
1736 x3^3*x5^2*x7*x8 +
1737 x3^3*x5^2*x7*x9 +
1738 -x3^3*x5^2*x7 +
1739 x3^3*x5^2*x8*x9 +
1740 -x3^3*x5^2*x8 +
1741 -x3^3*x5^2*x9 +
1742 x3^3*x5^2 +
1743 x3^3*x5*x6^2*x7*x8*x9 +
1744 -x3^3*x5*x6^2*x7*x8 +
1745 -x3^3*x5*x6^2*x7*x9 +
1746 x3^3*x5*x6^2*x7 +
1747 -x3^3*x5*x6^2*x8*x9 +
1748 x3^3*x5*x6^2*x8 +
1749 x3^3*x5*x6^2*x9 +
1750 -x3^3*x5*x6^2 +
1751 -2*x3^3*x5*x6*x7*x8*x9 +
1752 2*x3^3*x5*x6*x7*x8 +
1753 2*x3^3*x5*x6*x7*x9 +
1754 -2*x3^3*x5*x6*x7 +
1755 2*x3^3*x5*x6*x8*x9 +
1756 -2*x3^3*x5*x6*x8 +
1757 -2*x3^3*x5*x6*x9 +
1758 2*x3^3*x5*x6 +
1759 x3^3*x5*x7*x8*x9 +
1760 -x3^3*x5*x7*x8 +
1761 -x3^3*x5*x7*x9 +
1762 x3^3*x5*x7 +
1763 -x3^3*x5*x8*x9 +
1764 x3^3*x5*x8 +
1765 x3^3*x5*x9 +
1766 -x3^3*x5 +
1767 -x3^3*x6^2*x7*x8*x9 +
1768 x3^3*x6^2*x7*x8 +
1769 x3^3*x6^2*x7*x9 +
1770 -x3^3*x6^2*x7 +
1771 x3^3*x6^2*x8*x9 +
1772 -x3^3*x6^2*x8 +
1773 -x3^3*x6^2*x9 +
1774 x3^3*x6^2 +
1775 x3^3*x6*x7*x8*x9 +
1776 -x3^3*x6*x7*x8 +
1777 -x3^3*x6*x7*x9 +
1778 x3^3*x6*x7 +
1779 -x3^3*x6*x8*x9 +
1780 x3^3*x6*x8 +
1781 x3^3*x6*x9 +
1782 -x3^3*x6 +
1783 -x3^2*x4^2*x5*x6^2*x7*x8*x9 +
1784 x3^2*x4^2*x5*x6^2*x7*x8 +
1785 x3^2*x4^2*x5*x6^2*x7*x9 +
1786 -x3^2*x4^2*x5*x6^2*x7 +
1787 x3^2*x4^2*x5*x6^2*x8*x9 +
1788 -x3^2*x4^2*x5*x6^2*x8 +
1789 -x3^2*x4^2*x5*x6^2*x9 +
1790 x3^2*x4^2*x5*x6^2 +
1791 -x3^2*x4^2*x5*x6*x7^2*x8*x9 +
1792 x3^2*x4^2*x5*x6*x7^2*x8 +
1793 x3^2*x4^2*x5*x6*x7^2*x9 +
1794 -x3^2*x4^2*x5*x6*x7^2 +
1795 2*x3^2*x4^2*x5*x6*x7*x8*x9 +
1796 -2*x3^2*x4^2*x5*x6*x7*x8 +
1797 -2*x3^2*x4^2*x5*x6*x7*x9 +
1798 2*x3^2*x4^2*x5*x6*x7 +
1799 -x3^2*x4^2*x5*x6*x8*x9 +
1800 x3^2*x4^2*x5*x6*x8 +
1801 x3^2*x4^2*x5*x6*x9 +
1802 -x3^2*x4^2*x5*x6 +
1803 x3^2*x4^2*x5*x7^2*x8*x9 +
1804 -x3^2*x4^2*x5*x7^2*x8 +
1805 -x3^2*x4^2*x5*x7^2*x9 +
1806 x3^2*x4^2*x5*x7^2 +
1807 -x3^2*x4^2*x5*x7*x8*x9 +
1808 x3^2*x4^2*x5*x7*x8 +
1809 x3^2*x4^2*x5*x7*x9 +
1810 -x3^2*x4^2*x5*x7 +
1811 x3^2*x4^2*x6^2*x7*x8*x9 +
1812 -x3^2*x4^2*x6^2*x7*x8 +
1813 -x3^2*x4^2*x6^2*x7*x9 +
1814 x3^2*x4^2*x6^2*x7 +
1815 -x3^2*x4^2*x6^2*x8*x9 +
1816 x3^2*x4^2*x6^2*x8 +
1817 x3^2*x4^2*x6^2*x9 +
1818 -x3^2*x4^2*x6^2 +
1819 x3^2*x4^2*x6*x7^2*x8*x9 +
1820 -x3^2*x4^2*x6*x7^2*x8 +
1821 -x3^2*x4^2*x6*x7^2*x9 +
1822 x3^2*x4^2*x6*x7^2 +
1823 -2*x3^2*x4^2*x6*x7*x8*x9 +
1824 2*x3^2*x4^2*x6*x7*x8 +
1825 2*x3^2*x4^2*x6*x7*x9 +
1826 -2*x3^2*x4^2*x6*x7 +
1827 x3^2*x4^2*x6*x8*x9 +
1828 -x3^2*x4^2*x6*x8 +
1829 -x3^2*x4^2*x6*x9 +
1830 x3^2*x4^2*x6 +
1831 -x3^2*x4^2*x7^2*x8*x9 +
1832 x3^2*x4^2*x7^2*x8 +
1833 x3^2*x4^2*x7^2*x9 +
1834 -x3^2*x4^2*x7^2 +
1835 x3^2*x4^2*x7*x8*x9 +
1836 -x3^2*x4^2*x7*x8 +
1837 -x3^2*x4^2*x7*x9 +
1838 x3^2*x4^2*x7 +
1839 -x3^2*x4*x5^2*x6^2*x7*x8*x9 +
1840 x3^2*x4*x5^2*x6^2*x7*x8 +
1841 x3^2*x4*x5^2*x6^2*x7*x9 +
1842 -x3^2*x4*x5^2*x6^2*x7 +
1843 x3^2*x4*x5^2*x6^2*x8*x9 +
1844 -x3^2*x4*x5^2*x6^2*x8 +
1845 -x3^2*x4*x5^2*x6^2*x9 +
1846 x3^2*x4*x5^2*x6^2 +
1847 x3^2*x4*x5^2*x6*x7*x8*x9 +
1848 -x3^2*x4*x5^2*x6*x7*x8 +
1849 -x3^2*x4*x5^2*x6*x7*x9 +
1850 x3^2*x4*x5^2*x6*x7 +
1851 -x3^2*x4*x5^2*x6*x8*x9 +
1852 x3^2*x4*x5^2*x6*x8 +
1853 x3^2*x4*x5^2*x6*x9 +
1854 -x3^2*x4*x5^2*x6 +
1855 2*x3^2*x4*x5*x6^2*x7*x8*x9 +
1856 -2*x3^2*x4*x5*x6^2*x7*x8 +
1857 -2*x3^2*x4*x5*x6^2*x7*x9 +
1858 2*x3^2*x4*x5*x6^2*x7 +
1859 -2*x3^2*x4*x5*x6^2*x8*x9 +
1860 2*x3^2*x4*x5*x6^2*x8 +
1861 2*x3^2*x4*x5*x6^2*x9 +
1862 -2*x3^2*x4*x5*x6^2 +
1863 -x3^2*x4*x5*x6*x7^3*x8*x9 +
1864 x3^2*x4*x5*x6*x7^3*x8 +
1865 x3^2*x4*x5*x6*x7^3*x9 +
1866 -x3^2*x4*x5*x6*x7^3 +
1867 x3^2*x4*x5*x6*x7^2*x8*x9 +
1868 -x3^2*x4*x5*x6*x7^2*x8 +
1869 -x3^2*x4*x5*x6*x7^2*x9 +
1870 x3^2*x4*x5*x6*x7^2 +
1871 -2*x3^2*x4*x5*x6*x7*x8*x9 +
1872 2*x3^2*x4*x5*x6*x7*x8 +
1873 2*x3^2*x4*x5*x6*x7*x9 +
1874 -2*x3^2*x4*x5*x6*x7 +
1875 2*x3^2*x4*x5*x6*x8*x9 +
1876 -2*x3^2*x4*x5*x6*x8 +
1877 -2*x3^2*x4*x5*x6*x9 +
1878 2*x3^2*x4*x5*x6 +
1879 x3^2*x4*x5*x7^3*x8*x9 +
1880 -x3^2*x4*x5*x7^3*x8 +
1881 -x3^2*x4*x5*x7^3*x9 +
1882 x3^2*x4*x5*x7^3 +
1883 -x3^2*x4*x5*x7^2*x8*x9 +
1884 x3^2*x4*x5*x7^2*x8 +
1885 x3^2*x4*x5*x7^2*x9 +
1886 -x3^2*x4*x5*x7^2 +
1887 -x3^2*x4*x6^2*x7*x8*x9 +
1888 x3^2*x4*x6^2*x7*x8 +
1889 x3^2*x4*x6^2*x7*x9 +
1890 -x3^2*x4*x6^2*x7 +
1891 x3^2*x4*x6^2*x8*x9 +
1892 -x3^2*x4*x6^2*x8 +
1893 -x3^2*x4*x6^2*x9 +
1894 x3^2*x4*x6^2 +
1895 x3^2*x4*x6*x7^3*x8*x9 +
1896 -x3^2*x4*x6*x7^3*x8 +
1897 -x3^2*x4*x6*x7^3*x9 +
1898 x3^2*x4*x6*x7^3 +
1899 -x3^2*x4*x6*x7^2*x8*x9 +
1900 x3^2*x4*x6*x7^2*x8 +
1901 x3^2*x4*x6*x7^2*x9 +
1902 -x3^2*x4*x6*x7^2 +
1903 x3^2*x4*x6*x7*x8*x9 +
1904 -x3^2*x4*x6*x7*x8 +
1905 -x3^2*x4*x6*x7*x9 +
1906 x3^2*x4*x6*x7 +
1907 -x3^2*x4*x6*x8*x9 +
1908 x3^2*x4*x6*x8 +
1909 x3^2*x4*x6*x9 +
1910 -x3^2*x4*x6 +
1911 -x3^2*x4*x7^3*x8*x9 +
1912 x3^2*x4*x7^3*x8 +
1913 x3^2*x4*x7^3*x9 +
1914 -x3^2*x4*x7^3 +
1915 x3^2*x4*x7^2*x8*x9 +
1916 -x3^2*x4*x7^2*x8 +
1917 -x3^2*x4*x7^2*x9 +
1918 x3^2*x4*x7^2 +
1919 x3^2*x5^2*x6^2*x7*x8*x9 +
1920 -x3^2*x5^2*x6^2*x7*x8 +
1921 -x3^2*x5^2*x6^2*x7*x9 +
1922 x3^2*x5^2*x6^2*x7 +
1923 -x3^2*x5^2*x6^2*x8*x9 +
1924 x3^2*x5^2*x6^2*x8 +
1925 x3^2*x5^2*x6^2*x9 +
1926 -x3^2*x5^2*x6^2 +
1927 -x3^2*x5^2*x6*x7*x8*x9 +
1928 x3^2*x5^2*x6*x7*x8 +
1929 x3^2*x5^2*x6*x7*x9 +
1930 -x3^2*x5^2*x6*x7 +
1931 x3^2*x5^2*x6*x8*x9 +
1932 -x3^2*x5^2*x6*x8 +
1933 -x3^2*x5^2*x6*x9 +
1934 x3^2*x5^2*x6 +
1935 -x3^2*x5*x6^2*x7*x8*x9 +
1936 x3^2*x5*x6^2*x7*x8 +
1937 x3^2*x5*x6^2*x7*x9 +
1938 -x3^2*x5*x6^2*x7 +
1939 x3^2*x5*x6^2*x8*x9 +
1940 -x3^2*x5*x6^2*x8 +
1941 -x3^2*x5*x6^2*x9 +
1942 x3^2*x5*x6^2 +
1943 x3^2*x5*x6*x7^3*x8*x9 +
1944 -x3^2*x5*x6*x7^3*x8 +
1945 -x3^2*x5*x6*x7^3*x9 +
1946 x3^2*x5*x6*x7^3 +
1947 -x3^2*x5*x6*x8*x9 +
1948 x3^2*x5*x6*x8 +
1949 x3^2*x5*x6*x9 +
1950 -x3^2*x5*x6 +
1951 -x3^2*x5*x7^3*x8*x9 +
1952 x3^2*x5*x7^3*x8 +
1953 x3^2*x5*x7^3*x9 +
1954 -x3^2*x5*x7^3 +
1955 x3^2*x5*x7*x8*x9 +
1956 -x3^2*x5*x7*x8 +
1957 -x3^2*x5*x7*x9 +
1958 x3^2*x5*x7 +
1959 -x3^2*x6*x7^3*x8*x9 +
1960 x3^2*x6*x7^3*x8 +
1961 x3^2*x6*x7^3*x9 +
1962 -x3^2*x6*x7^3 +
1963 x3^2*x6*x7*x8*x9 +
1964 -x3^2*x6*x7*x8 +
1965 -x3^2*x6*x7*x9 +
1966 x3^2*x6*x7 +
1967 x3^2*x7^3*x8*x9 +
1968 -x3^2*x7^3*x8 +
1969 -x3^2*x7^3*x9 +
1970 x3^2*x7^3 +
1971 -x3^2*x7*x8*x9 +
1972 x3^2*x7*x8 +
1973 x3^2*x7*x9 +
1974 -x3^2*x7 +
1975 -x3*x4^2*x5*x6^2*x7*x8*x9^2 +
1976 x3*x4^2*x5*x6^2*x7*x8*x9 +
1977 x3*x4^2*x5*x6^2*x7*x9^2 +
1978 -x3*x4^2*x5*x6^2*x7*x9 +
1979 x3*x4^2*x5*x6^2*x8*x9^2 +
1980 -x3*x4^2*x5*x6^2*x8*x9 +
1981 -x3*x4^2*x5*x6^2*x9^2 +
1982 x3*x4^2*x5*x6^2*x9 +
1983 -x3*x4^2*x5*x6*x7*x8^2*x9 +
1984 x3*x4^2*x5*x6*x7*x8^2 +
1985 x3*x4^2*x5*x6*x7*x8*x9 +
1986 -x3*x4^2*x5*x6*x7*x8 +
1987 x3*x4^2*x5*x6*x8^2*x9 +
1988 -x3*x4^2*x5*x6*x8^2 +
1989 -x3*x4^2*x5*x6*x8*x9 +
1990 x3*x4^2*x5*x6*x8 +
1991 x3*x4^2*x5*x7*x8^2*x9 +
1992 -x3*x4^2*x5*x7*x8^2 +
1993 x3*x4^2*x5*x7*x8*x9^2 +
1994 -2*x3*x4^2*x5*x7*x8*x9 +
1995 x3*x4^2*x5*x7*x8 +
1996 -x3*x4^2*x5*x7*x9^2 +
1997 x3*x4^2*x5*x7*x9 +
1998 -x3*x4^2*x5*x8^2*x9 +
1999 x3*x4^2*x5*x8^2 +
2000 -x3*x4^2*x5*x8*x9^2 +
2001 2*x3*x4^2*x5*x8*x9 +
2002 -x3*x4^2*x5*x8 +
2003 x3*x4^2*x5*x9^2 +
2004 -x3*x4^2*x5*x9 +
2005 x3*x4^2*x6^2*x7*x8*x9^2 +
2006 -x3*x4^2*x6^2*x7*x8*x9 +
2007 -x3*x4^2*x6^2*x7*x9^2 +
2008 x3*x4^2*x6^2*x7*x9 +
2009 -x3*x4^2*x6^2*x8*x9^2 +
2010 x3*x4^2*x6^2*x8*x9 +
2011 x3*x4^2*x6^2*x9^2 +
2012 -x3*x4^2*x6^2*x9 +
2013 x3*x4^2*x6*x7*x8^2*x9 +
2014 -x3*x4^2*x6*x7*x8^2 +
2015 -x3*x4^2*x6*x7*x8*x9 +
2016 x3*x4^2*x6*x7*x8 +
2017 -x3*x4^2*x6*x8^2*x9 +
2018 x3*x4^2*x6*x8^2 +
2019 x3*x4^2*x6*x8*x9 +
2020 -x3*x4^2*x6*x8 +
2021 -x3*x4^2*x7*x8^2*x9 +
2022 x3*x4^2*x7*x8^2 +
2023 -x3*x4^2*x7*x8*x9^2 +
2024 2*x3*x4^2*x7*x8*x9 +
2025 -x3*x4^2*x7*x8 +
2026 x3*x4^2*x7*x9^2 +
2027 -x3*x4^2*x7*x9 +
2028 x3*x4^2*x8^2*x9 +
2029 -x3*x4^2*x8^2 +
2030 x3*x4^2*x8*x9^2 +
2031 -2*x3*x4^2*x8*x9 +
2032 x3*x4^2*x8 +
2033 -x3*x4^2*x9^2 +
2034 x3*x4^2*x9 +
2035 -x3*x4*x5^2*x6*x7*x8*x9^2 +
2036 x3*x4*x5^2*x6*x7*x8*x9 +
2037 x3*x4*x5^2*x6*x7*x9^2 +
2038 -x3*x4*x5^2*x6*x7*x9 +
2039 x3*x4*x5^2*x6*x8*x9^2 +
2040 -x3*x4*x5^2*x6*x8*x9 +
2041 -x3*x4*x5^2*x6*x9^2 +
2042 x3*x4*x5^2*x6*x9 +
2043 x3*x4*x5^2*x7*x8*x9^2 +
2044 -x3*x4*x5^2*x7*x8*x9 +
2045 -x3*x4*x5^2*x7*x9^2 +
2046 x3*x4*x5^2*x7*x9 +
2047 -x3*x4*x5^2*x8*x9^2 +
2048 x3*x4*x5^2*x8*x9 +
2049 x3*x4*x5^2*x9^2 +
2050 -x3*x4*x5^2*x9 +
2051 -x3*x4*x5*x6*x7^2*x8*x9^2 +
2052 x3*x4*x5*x6*x7^2*x8*x9 +
2053 x3*x4*x5*x6*x7^2*x9^2 +
2054 -x3*x4*x5*x6*x7^2*x9 +
2055 2*x3*x4*x5*x6*x7*x8*x9^2 +
2056 -2*x3*x4*x5*x6*x7*x8*x9 +
2057 -2*x3*x4*x5*x6*x7*x9^2 +
2058 2*x3*x4*x5*x6*x7*x9 +
2059 -x3*x4*x5*x6*x8*x9^2 +
2060 x3*x4*x5*x6*x8*x9 +
2061 x3*x4*x5*x6*x9^2 +
2062 -x3*x4*x5*x6*x9 +
2063 x3*x4*x5*x7^2*x8*x9^2 +
2064 -x3*x4*x5*x7^2*x8*x9 +
2065 -x3*x4*x5*x7^2*x9^2 +
2066 x3*x4*x5*x7^2*x9 +
2067 -2*x3*x4*x5*x7*x8*x9^2 +
2068 2*x3*x4*x5*x7*x8*x9 +
2069 2*x3*x4*x5*x7*x9^2 +
2070 -2*x3*x4*x5*x7*x9 +
2071 x3*x4*x5*x8*x9^2 +
2072 -x3*x4*x5*x8*x9 +
2073 -x3*x4*x5*x9^2 +
2074 x3*x4*x5*x9 +
2075 x3*x4*x6*x7^2*x8*x9^2 +
2076 -x3*x4*x6*x7^2*x8*x9 +
2077 -x3*x4*x6*x7^2*x9^2 +
2078 x3*x4*x6*x7^2*x9 +
2079 -x3*x4*x6*x7*x8*x9^2 +
2080 x3*x4*x6*x7*x8*x9 +
2081 x3*x4*x6*x7*x9^2 +
2082 -x3*x4*x6*x7*x9 +
2083 -x3*x4*x7^2*x8*x9^2 +
2084 x3*x4*x7^2*x8*x9 +
2085 x3*x4*x7^2*x9^2 +
2086 -x3*x4*x7^2*x9 +
2087 x3*x4*x7*x8*x9^2 +
2088 -x3*x4*x7*x8*x9 +
2089 -x3*x4*x7*x9^2 +
2090 x3*x4*x7*x9 +
2091 x3*x5^2*x6*x7*x8*x9^2 +
2092 -x3*x5^2*x6*x7*x8*x9 +
2093 -x3*x5^2*x6*x7*x9^2 +
2094 x3*x5^2*x6*x7*x9 +
2095 -x3*x5^2*x6*x8*x9^2 +
2096 x3*x5^2*x6*x8*x9 +
2097 x3*x5^2*x6*x9^2 +
2098 -x3*x5^2*x6*x9 +
2099 -x3*x5^2*x7*x8*x9^2 +
2100 x3*x5^2*x7*x8*x9 +
2101 x3*x5^2*x7*x9^2 +
2102 -x3*x5^2*x7*x9 +
2103 x3*x5^2*x8*x9^2 +
2104 -x3*x5^2*x8*x9 +
2105 -x3*x5^2*x9^2 +
2106 x3*x5^2*x9 +
2107 x3*x5*x6^2*x7*x8*x9^2 +
2108 -x3*x5*x6^2*x7*x8*x9 +
2109 -x3*x5*x6^2*x7*x9^2 +
2110 x3*x5*x6^2*x7*x9 +
2111 -x3*x5*x6^2*x8*x9^2 +
2112 x3*x5*x6^2*x8*x9 +
2113 x3*x5*x6^2*x9^2 +
2114 -x3*x5*x6^2*x9 +
2115 x3*x5*x6*x7^2*x8*x9^2 +
2116 -x3*x5*x6*x7^2*x8*x9 +
2117 -x3*x5*x6*x7^2*x9^2 +
2118 x3*x5*x6*x7^2*x9 +
2119 x3*x5*x6*x7*x8^2*x9 +
2120 -x3*x5*x6*x7*x8^2 +
2121 -2*x3*x5*x6*x7*x8*x9^2 +
2122 x3*x5*x6*x7*x8*x9 +
2123 x3*x5*x6*x7*x8 +
2124 2*x3*x5*x6*x7*x9^2 +
2125 -2*x3*x5*x6*x7*x9 +
2126 -x3*x5*x6*x8^2*x9 +
2127 x3*x5*x6*x8^2 +
2128 x3*x5*x6*x8*x9^2 +
2129 -x3*x5*x6*x8 +
2130 -x3*x5*x6*x9^2 +
2131 x3*x5*x6*x9 +
2132 -x3*x5*x7^2*x8*x9^2 +
2133 x3*x5*x7^2*x8*x9 +
2134 x3*x5*x7^2*x9^2 +
2135 -x3*x5*x7^2*x9 +
2136 -x3*x5*x7*x8^2*x9 +
2137 x3*x5*x7*x8^2 +
2138 x3*x5*x7*x8*x9^2 +
2139 -x3*x5*x7*x8 +
2140 -x3*x5*x7*x9^2 +
2141 x3*x5*x7*x9 +
2142 x3*x5*x8^2*x9 +
2143 -x3*x5*x8^2 +
2144 -x3*x5*x8*x9 +
2145 x3*x5*x8 +
2146 -x3*x6^2*x7*x8*x9^2 +
2147 x3*x6^2*x7*x8*x9 +
2148 x3*x6^2*x7*x9^2 +
2149 -x3*x6^2*x7*x9 +
2150 x3*x6^2*x8*x9^2 +
2151 -x3*x6^2*x8*x9 +
2152 -x3*x6^2*x9^2 +
2153 x3*x6^2*x9 +
2154 -x3*x6*x7^2*x8*x9^2 +
2155 x3*x6*x7^2*x8*x9 +
2156 x3*x6*x7^2*x9^2 +
2157 -x3*x6*x7^2*x9 +
2158 -x3*x6*x7*x8^2*x9 +
2159 x3*x6*x7*x8^2 +
2160 x3*x6*x7*x8*x9^2 +
2161 -x3*x6*x7*x8 +
2162 -x3*x6*x7*x9^2 +
2163 x3*x6*x7*x9 +
2164 x3*x6*x8^2*x9 +
2165 -x3*x6*x8^2 +
2166 -x3*x6*x8*x9 +
2167 x3*x6*x8 +
2168 x3*x7^2*x8*x9^2 +
2169 -x3*x7^2*x8*x9 +
2170 -x3*x7^2*x9^2 +
2171 x3*x7^2*x9 +
2172 x3*x7*x8^2*x9 +
2173 -x3*x7*x8^2 +
2174 -x3*x7*x8*x9 +
2175 x3*x7*x8 +
2176 -x3*x8^2*x9 +
2177 x3*x8^2 +
2178 -x3*x8*x9^2 +
2179 2*x3*x8*x9 +
2180 -x3*x8 +
2181 x3*x9^2 +
2182 -x3*x9 +
2183 x4^2*x5*x6^2*x7*x8*x9^2 +
2184 -x4^2*x5*x6^2*x7*x8 +
2185 -x4^2*x5*x6^2*x7*x9^2 +
2186 x4^2*x5*x6^2*x7 +
2187 -x4^2*x5*x6^2*x8*x9^2 +
2188 x4^2*x5*x6^2*x8 +
2189 x4^2*x5*x6^2*x9^2 +
2190 -x4^2*x5*x6^2 +
2191 x4^2*x5*x6*x7^2*x8*x9 +
2192 -x4^2*x5*x6*x7^2*x8 +
2193 -x4^2*x5*x6*x7^2*x9 +
2194 x4^2*x5*x6*x7^2 +
2195 x4^2*x5*x6*x7*x8^2*x9 +
2196 -x4^2*x5*x6*x7*x8^2 +
2197 -2*x4^2*x5*x6*x7*x8*x9 +
2198 2*x4^2*x5*x6*x7*x8 +
2199 x4^2*x5*x6*x7*x9 +
2200 -x4^2*x5*x6*x7 +
2201 -x4^2*x5*x6*x8^2*x9 +
2202 x4^2*x5*x6*x8^2 +
2203 x4^2*x5*x6*x8*x9 +
2204 -x4^2*x5*x6*x8 +
2205 -x4^2*x5*x7^2*x8*x9 +
2206 x4^2*x5*x7^2*x8 +
2207 x4^2*x5*x7^2*x9 +
2208 -x4^2*x5*x7^2 +
2209 -x4^2*x5*x7*x8^2*x9 +
2210 x4^2*x5*x7*x8^2 +
2211 -x4^2*x5*x7*x8*x9^2 +
2212 2*x4^2*x5*x7*x8*x9 +
2213 -x4^2*x5*x7*x8 +
2214 x4^2*x5*x7*x9^2 +
2215 -x4^2*x5*x7*x9 +
2216 x4^2*x5*x8^2*x9 +
2217 -x4^2*x5*x8^2 +
2218 x4^2*x5*x8*x9^2 +
2219 -x4^2*x5*x8*x9 +
2220 -x4^2*x5*x9^2 +
2221 x4^2*x5 +
2222 -x4^2*x6^2*x7*x8*x9^2 +
2223 x4^2*x6^2*x7*x8 +
2224 x4^2*x6^2*x7*x9^2 +
2225 -x4^2*x6^2*x7 +
2226 x4^2*x6^2*x8*x9^2 +
2227 -x4^2*x6^2*x8 +
2228 -x4^2*x6^2*x9^2 +
2229 x4^2*x6^2 +
2230 -x4^2*x6*x7^2*x8*x9 +
2231 x4^2*x6*x7^2*x8 +
2232 x4^2*x6*x7^2*x9 +
2233 -x4^2*x6*x7^2 +
2234 -x4^2*x6*x7*x8^2*x9 +
2235 x4^2*x6*x7*x8^2 +
2236 2*x4^2*x6*x7*x8*x9 +
2237 -2*x4^2*x6*x7*x8 +
2238 -x4^2*x6*x7*x9 +
2239 x4^2*x6*x7 +
2240 x4^2*x6*x8^2*x9 +
2241 -x4^2*x6*x8^2 +
2242 -x4^2*x6*x8*x9 +
2243 x4^2*x6*x8 +
2244 x4^2*x7^2*x8*x9 +
2245 -x4^2*x7^2*x8 +
2246 -x4^2*x7^2*x9 +
2247 x4^2*x7^2 +
2248 x4^2*x7*x8^2*x9 +
2249 -x4^2*x7*x8^2 +
2250 x4^2*x7*x8*x9^2 +
2251 -2*x4^2*x7*x8*x9 +
2252 x4^2*x7*x8 +
2253 -x4^2*x7*x9^2 +
2254 x4^2*x7*x9 +
2255 -x4^2*x8^2*x9 +
2256 x4^2*x8^2 +
2257 -x4^2*x8*x9^2 +
2258 x4^2*x8*x9 +
2259 x4^2*x9^2 +
2260 -x4^2 +
2261 x4*x5^2*x6^2*x7*x8*x9 +
2262 -x4*x5^2*x6^2*x7*x8 +
2263 -x4*x5^2*x6^2*x7*x9 +
2264 x4*x5^2*x6^2*x7 +
2265 -x4*x5^2*x6^2*x8*x9 +
2266 x4*x5^2*x6^2*x8 +
2267 x4*x5^2*x6^2*x9 +
2268 -x4*x5^2*x6^2 +
2269 x4*x5^2*x6*x7*x8*x9^2 +
2270 -x4*x5^2*x6*x7*x8*x9 +
2271 -x4*x5^2*x6*x7*x9^2 +
2272 x4*x5^2*x6*x7*x9 +
2273 -x4*x5^2*x6*x8*x9^2 +
2274 x4*x5^2*x6*x8*x9 +
2275 x4*x5^2*x6*x9^2 +
2276 -x4*x5^2*x6*x9 +
2277 -x4*x5^2*x7*x8*x9^2 +
2278 x4*x5^2*x7*x8 +
2279 x4*x5^2*x7*x9^2 +
2280 -x4*x5^2*x7 +
2281 x4*x5^2*x8*x9^2 +
2282 -x4*x5^2*x8 +
2283 -x4*x5^2*x9^2 +
2284 x4*x5^2 +
2285 -x4*x5*x6^2*x7*x8*x9 +
2286 x4*x5*x6^2*x7*x8 +
2287 x4*x5*x6^2*x7*x9 +
2288 -x4*x5*x6^2*x7 +
2289 x4*x5*x6^2*x8*x9 +
2290 -x4*x5*x6^2*x8 +
2291 -x4*x5*x6^2*x9 +
2292 x4*x5*x6^2 +
2293 x4*x5*x6*x7^3*x8*x9 +
2294 -x4*x5*x6*x7^3*x8 +
2295 -x4*x5*x6*x7^3*x9 +
2296 x4*x5*x6*x7^3 +
2297 x4*x5*x6*x7^2*x8*x9^2 +
2298 -2*x4*x5*x6*x7^2*x8*x9 +
2299 x4*x5*x6*x7^2*x8 +
2300 -x4*x5*x6*x7^2*x9^2 +
2301 2*x4*x5*x6*x7^2*x9 +
2302 -x4*x5*x6*x7^2 +
2303 -2*x4*x5*x6*x7*x8*x9^2 +
2304 2*x4*x5*x6*x7*x8*x9 +
2305 2*x4*x5*x6*x7*x9^2 +
2306 -2*x4*x5*x6*x7*x9 +
2307 x4*x5*x6*x8*x9^2 +
2308 -x4*x5*x6*x8*x9 +
2309 -x4*x5*x6*x9^2 +
2310 x4*x5*x6*x9 +
2311 -x4*x5*x7^3*x8*x9 +
2312 x4*x5*x7^3*x8 +
2313 x4*x5*x7^3*x9 +
2314 -x4*x5*x7^3 +
2315 -x4*x5*x7^2*x8*x9^2 +
2316 2*x4*x5*x7^2*x8*x9 +
2317 -x4*x5*x7^2*x8 +
2318 x4*x5*x7^2*x9^2 +
2319 -2*x4*x5*x7^2*x9 +
2320 x4*x5*x7^2 +
2321 2*x4*x5*x7*x8*x9^2 +
2322 -x4*x5*x7*x8*x9 +
2323 -x4*x5*x7*x8 +
2324 -2*x4*x5*x7*x9^2 +
2325 x4*x5*x7*x9 +
2326 x4*x5*x7 +
2327 -x4*x5*x8*x9^2 +
2328 x4*x5*x8 +
2329 x4*x5*x9^2 +
2330 -x4*x5 +
2331 -x4*x6*x7^3*x8*x9 +
2332 x4*x6*x7^3*x8 +
2333 x4*x6*x7^3*x9 +
2334 -x4*x6*x7^3 +
2335 -x4*x6*x7^2*x8*x9^2 +
2336 2*x4*x6*x7^2*x8*x9 +
2337 -x4*x6*x7^2*x8 +
2338 x4*x6*x7^2*x9^2 +
2339 -2*x4*x6*x7^2*x9 +
2340 x4*x6*x7^2 +
2341 x4*x6*x7*x8*x9^2 +
2342 -x4*x6*x7*x8*x9 +
2343 -x4*x6*x7*x9^2 +
2344 x4*x6*x7*x9 +
2345 x4*x7^3*x8*x9 +
2346 -x4*x7^3*x8 +
2347 -x4*x7^3*x9 +
2348 x4*x7^3 +
2349 x4*x7^2*x8*x9^2 +
2350 -2*x4*x7^2*x8*x9 +
2351 x4*x7^2*x8 +
2352 -x4*x7^2*x9^2 +
2353 2*x4*x7^2*x9 +
2354 -x4*x7^2 +
2355 -x4*x7*x8*x9^2 +
2356 x4*x7*x8*x9 +
2357 x4*x7*x9^2 +
2358 -x4*x7*x9 +
2359 -x5^2*x6^2*x7*x8*x9 +
2360 x5^2*x6^2*x7*x8 +
2361 x5^2*x6^2*x7*x9 +
2362 -x5^2*x6^2*x7 +
2363 x5^2*x6^2*x8*x9 +
2364 -x5^2*x6^2*x8 +
2365 -x5^2*x6^2*x9 +
2366 x5^2*x6^2 +
2367 -x5^2*x6*x7*x8*x9^2 +
2368 x5^2*x6*x7*x8*x9 +
2369 x5^2*x6*x7*x9^2 +
2370 -x5^2*x6*x7*x9 +
2371 x5^2*x6*x8*x9^2 +
2372 -x5^2*x6*x8*x9 +
2373 -x5^2*x6*x9^2 +
2374 x5^2*x6*x9 +
2375 x5^2*x7*x8*x9^2 +
2376 -x5^2*x7*x8 +
2377 -x5^2*x7*x9^2 +
2378 x5^2*x7 +
2379 -x5^2*x8*x9^2 +
2380 x5^2*x8 +
2381 x5^2*x9^2 +
2382 -x5^2 +
2383 -x5*x6^2*x7*x8*x9^2 +
2384 x5*x6^2*x7*x8*x9 +
2385 x5*x6^2*x7*x9^2 +
2386 -x5*x6^2*x7*x9 +
2387 x5*x6^2*x8*x9^2 +
2388 -x5*x6^2*x8*x9 +
2389 -x5*x6^2*x9^2 +
2390 x5*x6^2*x9 +
2391 -x5*x6*x7^3*x8*x9 +
2392 x5*x6*x7^3*x8 +
2393 x5*x6*x7^3*x9 +
2394 -x5*x6*x7^3 +
2395 -x5*x6*x7^2*x8*x9^2 +
2396 x5*x6*x7^2*x8*x9 +
2397 x5*x6*x7^2*x9^2 +
2398 -x5*x6*x7^2*x9 +
2399 -x5*x6*x7*x8^2*x9 +
2400 x5*x6*x7*x8^2 +
2401 2*x5*x6*x7*x8*x9^2 +
2402 -2*x5*x6*x7*x8 +
2403 -2*x5*x6*x7*x9^2 +
2404 x5*x6*x7*x9 +
2405 x5*x6*x7 +
2406 x5*x6*x8^2*x9 +
2407 -x5*x6*x8^2 +
2408 -x5*x6*x8*x9^2 +
2409 x5*x6*x8 +
2410 x5*x6*x9^2 +
2411 -x5*x6*x9 +
2412 x5*x7^3*x8*x9 +
2413 -x5*x7^3*x8 +
2414 -x5*x7^3*x9 +
2415 x5*x7^3 +
2416 x5*x7^2*x8*x9^2 +
2417 -x5*x7^2*x8*x9 +
2418 -x5*x7^2*x9^2 +
2419 x5*x7^2*x9 +
2420 x5*x7*x8^2*x9 +
2421 -x5*x7*x8^2 +
2422 -x5*x7*x8*x9^2 +
2423 -x5*x7*x8*x9 +
2424 2*x5*x7*x8 +
2425 x5*x7*x9^2 +
2426 -x5*x7 +
2427 -x5*x8^2*x9 +
2428 x5*x8^2 +
2429 x5*x8*x9 +
2430 -x5*x8 +
2431 x6^2*x7*x8*x9^2 +
2432 -x6^2*x7*x8 +
2433 -x6^2*x7*x9^2 +
2434 x6^2*x7 +
2435 -x6^2*x8*x9^2 +
2436 x6^2*x8 +
2437 x6^2*x9^2 +
2438 -x6^2 +
2439 x6*x7^3*x8*x9 +
2440 -x6*x7^3*x8 +
2441 -x6*x7^3*x9 +
2442 x6*x7^3 +
2443 x6*x7^2*x8*x9^2 +
2444 -x6*x7^2*x8*x9 +
2445 -x6*x7^2*x9^2 +
2446 x6*x7^2*x9 +
2447 x6*x7*x8^2*x9 +
2448 -x6*x7*x8^2 +
2449 -x6*x7*x8*x9^2 +
2450 -x6*x7*x8*x9 +
2451 2*x6*x7*x8 +
2452 x6*x7*x9^2 +
2453 -x6*x7 +
2454 -x6*x8^2*x9 +
2455 x6*x8^2 +
2456 x6*x8*x9 +
2457 -x6*x8 +
2458 -x7^3*x8*x9 +
2459 x7^3*x8 +
2460 x7^3*x9 +
2461 -x7^3 +
2462 -x7^2*x8*x9^2 +
2463 x7^2*x8*x9 +
2464 x7^2*x9^2 +
2465 -x7^2*x9 +
2466 -x7*x8^2*x9 +
2467 x7*x8^2 +
2468 x7*x8*x9 +
2469 -x7*x8 +
2470 x8^2*x9 +
2471 -x8^2 +
2472 x8*x9^2 +
2473 -x8*x9 +
2474 -x9^2 +
2475 1;
2476