Lines Matching refs:x5
1 R = QQ[x1, x2, x3, x4, x5, x6, x7, x8, x9];
3 x2^3*x3*x4*x5*x6^2*x7*x8*x9 +
4 -x2^3*x3*x4*x5*x6^2*x7*x8 +
5 -x2^3*x3*x4*x5*x6^2*x7*x9 +
6 x2^3*x3*x4*x5*x6^2*x7 +
7 -x2^3*x3*x4*x5*x6^2*x8*x9 +
8 x2^3*x3*x4*x5*x6^2*x8 +
9 x2^3*x3*x4*x5*x6^2*x9 +
10 -x2^3*x3*x4*x5*x6^2 +
11 -x2^3*x3*x4*x5*x7*x8*x9 +
12 x2^3*x3*x4*x5*x7*x8 +
13 x2^3*x3*x4*x5*x7*x9 +
14 -x2^3*x3*x4*x5*x7 +
15 x2^3*x3*x4*x5*x8*x9 +
16 -x2^3*x3*x4*x5*x8 +
17 -x2^3*x3*x4*x5*x9 +
18 x2^3*x3*x4*x5 +
35 -x2^3*x3*x5*x6^2*x7*x8*x9 +
36 x2^3*x3*x5*x6^2*x7*x8 +
37 x2^3*x3*x5*x6^2*x7*x9 +
38 -x2^3*x3*x5*x6^2*x7 +
39 x2^3*x3*x5*x6^2*x8*x9 +
40 -x2^3*x3*x5*x6^2*x8 +
41 -x2^3*x3*x5*x6^2*x9 +
42 x2^3*x3*x5*x6^2 +
43 x2^3*x3*x5*x7*x8*x9 +
44 -x2^3*x3*x5*x7*x8 +
45 -x2^3*x3*x5*x7*x9 +
46 x2^3*x3*x5*x7 +
47 -x2^3*x3*x5*x8*x9 +
48 x2^3*x3*x5*x8 +
49 x2^3*x3*x5*x9 +
50 -x2^3*x3*x5 +
67 -x2^3*x4*x5*x6^2*x7*x8*x9 +
68 x2^3*x4*x5*x6^2*x7*x8 +
69 x2^3*x4*x5*x6^2*x7*x9 +
70 -x2^3*x4*x5*x6^2*x7 +
71 x2^3*x4*x5*x6^2*x8*x9 +
72 -x2^3*x4*x5*x6^2*x8 +
73 -x2^3*x4*x5*x6^2*x9 +
74 x2^3*x4*x5*x6^2 +
75 x2^3*x4*x5*x7*x8*x9 +
76 -x2^3*x4*x5*x7*x8 +
77 -x2^3*x4*x5*x7*x9 +
78 x2^3*x4*x5*x7 +
79 -x2^3*x4*x5*x8*x9 +
80 x2^3*x4*x5*x8 +
81 x2^3*x4*x5*x9 +
82 -x2^3*x4*x5 +
99 x2^3*x5*x6^2*x7*x8*x9 +
100 -x2^3*x5*x6^2*x7*x8 +
101 -x2^3*x5*x6^2*x7*x9 +
102 x2^3*x5*x6^2*x7 +
103 -x2^3*x5*x6^2*x8*x9 +
104 x2^3*x5*x6^2*x8 +
105 x2^3*x5*x6^2*x9 +
106 -x2^3*x5*x6^2 +
107 -x2^3*x5*x7*x8*x9 +
108 x2^3*x5*x7*x8 +
109 x2^3*x5*x7*x9 +
110 -x2^3*x5*x7 +
111 x2^3*x5*x8*x9 +
112 -x2^3*x5*x8 +
113 -x2^3*x5*x9 +
114 x2^3*x5 +
131 x2^2*x3*x4*x5^2*x6^2*x7*x8*x9 +
132 -x2^2*x3*x4*x5^2*x6^2*x7*x8 +
133 -x2^2*x3*x4*x5^2*x6^2*x7*x9 +
134 x2^2*x3*x4*x5^2*x6^2*x7 +
135 -x2^2*x3*x4*x5^2*x6^2*x8*x9 +
136 x2^2*x3*x4*x5^2*x6^2*x8 +
137 x2^2*x3*x4*x5^2*x6^2*x9 +
138 -x2^2*x3*x4*x5^2*x6^2 +
139 -x2^2*x3*x4*x5^2*x7*x8*x9 +
140 x2^2*x3*x4*x5^2*x7*x8 +
141 x2^2*x3*x4*x5^2*x7*x9 +
142 -x2^2*x3*x4*x5^2*x7 +
143 x2^2*x3*x4*x5^2*x8*x9 +
144 -x2^2*x3*x4*x5^2*x8 +
145 -x2^2*x3*x4*x5^2*x9 +
146 x2^2*x3*x4*x5^2 +
147 x2^2*x3*x4*x5*x6^3*x7*x8*x9 +
148 -x2^2*x3*x4*x5*x6^3*x7*x8 +
149 -x2^2*x3*x4*x5*x6^3*x7*x9 +
150 x2^2*x3*x4*x5*x6^3*x7 +
151 -x2^2*x3*x4*x5*x6^3*x8*x9 +
152 x2^2*x3*x4*x5*x6^3*x8 +
153 x2^2*x3*x4*x5*x6^3*x9 +
154 -x2^2*x3*x4*x5*x6^3 +
155 -2*x2^2*x3*x4*x5*x6^2*x7*x8*x9 +
156 2*x2^2*x3*x4*x5*x6^2*x7*x8 +
157 2*x2^2*x3*x4*x5*x6^2*x7*x9 +
158 -2*x2^2*x3*x4*x5*x6^2*x7 +
159 2*x2^2*x3*x4*x5*x6^2*x8*x9 +
160 -2*x2^2*x3*x4*x5*x6^2*x8 +
161 -2*x2^2*x3*x4*x5*x6^2*x9 +
162 2*x2^2*x3*x4*x5*x6^2 +
163 x2^2*x3*x4*x5*x7*x8*x9 +
164 -x2^2*x3*x4*x5*x7*x8 +
165 -x2^2*x3*x4*x5*x7*x9 +
166 x2^2*x3*x4*x5*x7 +
167 -x2^2*x3*x4*x5*x8*x9 +
168 x2^2*x3*x4*x5*x8 +
169 x2^2*x3*x4*x5*x9 +
170 -x2^2*x3*x4*x5 +
187 -x2^2*x3*x5^2*x6^2*x7*x8*x9 +
188 x2^2*x3*x5^2*x6^2*x7*x8 +
189 x2^2*x3*x5^2*x6^2*x7*x9 +
190 -x2^2*x3*x5^2*x6^2*x7 +
191 x2^2*x3*x5^2*x6^2*x8*x9 +
192 -x2^2*x3*x5^2*x6^2*x8 +
193 -x2^2*x3*x5^2*x6^2*x9 +
194 x2^2*x3*x5^2*x6^2 +
195 x2^2*x3*x5^2*x7*x8*x9 +
196 -x2^2*x3*x5^2*x7*x8 +
197 -x2^2*x3*x5^2*x7*x9 +
198 x2^2*x3*x5^2*x7 +
199 -x2^2*x3*x5^2*x8*x9 +
200 x2^2*x3*x5^2*x8 +
201 x2^2*x3*x5^2*x9 +
202 -x2^2*x3*x5^2 +
203 -x2^2*x3*x5*x6^3*x7*x8*x9 +
204 x2^2*x3*x5*x6^3*x7*x8 +
205 x2^2*x3*x5*x6^3*x7*x9 +
206 -x2^2*x3*x5*x6^3*x7 +
207 x2^2*x3*x5*x6^3*x8*x9 +
208 -x2^2*x3*x5*x6^3*x8 +
209 -x2^2*x3*x5*x6^3*x9 +
210 x2^2*x3*x5*x6^3 +
211 2*x2^2*x3*x5*x6^2*x7*x8*x9 +
212 -2*x2^2*x3*x5*x6^2*x7*x8 +
213 -2*x2^2*x3*x5*x6^2*x7*x9 +
214 2*x2^2*x3*x5*x6^2*x7 +
215 -2*x2^2*x3*x5*x6^2*x8*x9 +
216 2*x2^2*x3*x5*x6^2*x8 +
217 2*x2^2*x3*x5*x6^2*x9 +
218 -2*x2^2*x3*x5*x6^2 +
219 -x2^2*x3*x5*x7*x8*x9 +
220 x2^2*x3*x5*x7*x8 +
221 x2^2*x3*x5*x7*x9 +
222 -x2^2*x3*x5*x7 +
223 x2^2*x3*x5*x8*x9 +
224 -x2^2*x3*x5*x8 +
225 -x2^2*x3*x5*x9 +
226 x2^2*x3*x5 +
243 -x2^2*x4*x5^2*x6^2*x7*x8*x9 +
244 x2^2*x4*x5^2*x6^2*x7*x8 +
245 x2^2*x4*x5^2*x6^2*x7*x9 +
246 -x2^2*x4*x5^2*x6^2*x7 +
247 x2^2*x4*x5^2*x6^2*x8*x9 +
248 -x2^2*x4*x5^2*x6^2*x8 +
249 -x2^2*x4*x5^2*x6^2*x9 +
250 x2^2*x4*x5^2*x6^2 +
251 x2^2*x4*x5^2*x7*x8*x9 +
252 -x2^2*x4*x5^2*x7*x8 +
253 -x2^2*x4*x5^2*x7*x9 +
254 x2^2*x4*x5^2*x7 +
255 -x2^2*x4*x5^2*x8*x9 +
256 x2^2*x4*x5^2*x8 +
257 x2^2*x4*x5^2*x9 +
258 -x2^2*x4*x5^2 +
259 -x2^2*x4*x5*x6^3*x7*x8*x9 +
260 x2^2*x4*x5*x6^3*x7*x8 +
261 x2^2*x4*x5*x6^3*x7*x9 +
262 -x2^2*x4*x5*x6^3*x7 +
263 x2^2*x4*x5*x6^3*x8*x9 +
264 -x2^2*x4*x5*x6^3*x8 +
265 -x2^2*x4*x5*x6^3*x9 +
266 x2^2*x4*x5*x6^3 +
267 2*x2^2*x4*x5*x6^2*x7*x8*x9 +
268 -2*x2^2*x4*x5*x6^2*x7*x8 +
269 -2*x2^2*x4*x5*x6^2*x7*x9 +
270 2*x2^2*x4*x5*x6^2*x7 +
271 -2*x2^2*x4*x5*x6^2*x8*x9 +
272 2*x2^2*x4*x5*x6^2*x8 +
273 2*x2^2*x4*x5*x6^2*x9 +
274 -2*x2^2*x4*x5*x6^2 +
275 -x2^2*x4*x5*x7*x8*x9 +
276 x2^2*x4*x5*x7*x8 +
277 x2^2*x4*x5*x7*x9 +
278 -x2^2*x4*x5*x7 +
279 x2^2*x4*x5*x8*x9 +
280 -x2^2*x4*x5*x8 +
281 -x2^2*x4*x5*x9 +
282 x2^2*x4*x5 +
299 x2^2*x5^2*x6^2*x7*x8*x9 +
300 -x2^2*x5^2*x6^2*x7*x8 +
301 -x2^2*x5^2*x6^2*x7*x9 +
302 x2^2*x5^2*x6^2*x7 +
303 -x2^2*x5^2*x6^2*x8*x9 +
304 x2^2*x5^2*x6^2*x8 +
305 x2^2*x5^2*x6^2*x9 +
306 -x2^2*x5^2*x6^2 +
307 -x2^2*x5^2*x7*x8*x9 +
308 x2^2*x5^2*x7*x8 +
309 x2^2*x5^2*x7*x9 +
310 -x2^2*x5^2*x7 +
311 x2^2*x5^2*x8*x9 +
312 -x2^2*x5^2*x8 +
313 -x2^2*x5^2*x9 +
314 x2^2*x5^2 +
315 x2^2*x5*x6^3*x7*x8*x9 +
316 -x2^2*x5*x6^3*x7*x8 +
317 -x2^2*x5*x6^3*x7*x9 +
318 x2^2*x5*x6^3*x7 +
319 -x2^2*x5*x6^3*x8*x9 +
320 x2^2*x5*x6^3*x8 +
321 x2^2*x5*x6^3*x9 +
322 -x2^2*x5*x6^3 +
323 -2*x2^2*x5*x6^2*x7*x8*x9 +
324 2*x2^2*x5*x6^2*x7*x8 +
325 2*x2^2*x5*x6^2*x7*x9 +
326 -2*x2^2*x5*x6^2*x7 +
327 2*x2^2*x5*x6^2*x8*x9 +
328 -2*x2^2*x5*x6^2*x8 +
329 -2*x2^2*x5*x6^2*x9 +
330 2*x2^2*x5*x6^2 +
331 x2^2*x5*x7*x8*x9 +
332 -x2^2*x5*x7*x8 +
333 -x2^2*x5*x7*x9 +
334 x2^2*x5*x7 +
335 -x2^2*x5*x8*x9 +
336 x2^2*x5*x8 +
337 x2^2*x5*x9 +
338 -x2^2*x5 +
355 x2*x3*x4^3*x5*x6^2*x7*x8*x9 +
356 -x2*x3*x4^3*x5*x6^2*x7*x8 +
357 -x2*x3*x4^3*x5*x6^2*x7*x9 +
358 x2*x3*x4^3*x5*x6^2*x7 +
359 -x2*x3*x4^3*x5*x6^2*x8*x9 +
360 x2*x3*x4^3*x5*x6^2*x8 +
361 x2*x3*x4^3*x5*x6^2*x9 +
362 -x2*x3*x4^3*x5*x6^2 +
363 -x2*x3*x4^3*x5*x7*x8*x9 +
364 x2*x3*x4^3*x5*x7*x8 +
365 x2*x3*x4^3*x5*x7*x9 +
366 -x2*x3*x4^3*x5*x7 +
367 x2*x3*x4^3*x5*x8*x9 +
368 -x2*x3*x4^3*x5*x8 +
369 -x2*x3*x4^3*x5*x9 +
370 x2*x3*x4^3*x5 +
387 x2*x3*x4^2*x5^3*x6*x7*x8*x9 +
388 -x2*x3*x4^2*x5^3*x6*x7*x8 +
389 -x2*x3*x4^2*x5^3*x6*x7*x9 +
390 x2*x3*x4^2*x5^3*x6*x7 +
391 -x2*x3*x4^2*x5^3*x6*x8*x9 +
392 x2*x3*x4^2*x5^3*x6*x8 +
393 x2*x3*x4^2*x5^3*x6*x9 +
394 -x2*x3*x4^2*x5^3*x6 +
395 -x2*x3*x4^2*x5^3*x7*x8*x9 +
396 x2*x3*x4^2*x5^3*x7*x8 +
397 x2*x3*x4^2*x5^3*x7*x9 +
398 -x2*x3*x4^2*x5^3*x7 +
399 x2*x3*x4^2*x5^3*x8*x9 +
400 -x2*x3*x4^2*x5^3*x8 +
401 -x2*x3*x4^2*x5^3*x9 +
402 x2*x3*x4^2*x5^3 +
403 x2*x3*x4^2*x5*x6^3*x7*x8*x9 +
404 -x2*x3*x4^2*x5*x6^3*x7*x8 +
405 -x2*x3*x4^2*x5*x6^3*x7*x9 +
406 x2*x3*x4^2*x5*x6^3*x7 +
407 -x2*x3*x4^2*x5*x6^3*x8*x9 +
408 x2*x3*x4^2*x5*x6^3*x8 +
409 x2*x3*x4^2*x5*x6^3*x9 +
410 -x2*x3*x4^2*x5*x6^3 +
411 -x2*x3*x4^2*x5*x6^2*x7*x8*x9 +
412 x2*x3*x4^2*x5*x6^2*x7*x8 +
413 x2*x3*x4^2*x5*x6^2*x7*x9 +
414 -x2*x3*x4^2*x5*x6^2*x7 +
415 x2*x3*x4^2*x5*x6^2*x8*x9 +
416 -x2*x3*x4^2*x5*x6^2*x8 +
417 -x2*x3*x4^2*x5*x6^2*x9 +
418 x2*x3*x4^2*x5*x6^2 +
419 -x2*x3*x4^2*x5*x6*x7*x8*x9 +
420 x2*x3*x4^2*x5*x6*x7*x8 +
421 x2*x3*x4^2*x5*x6*x7*x9 +
422 -x2*x3*x4^2*x5*x6*x7 +
423 x2*x3*x4^2*x5*x6*x8*x9 +
424 -x2*x3*x4^2*x5*x6*x8 +
425 -x2*x3*x4^2*x5*x6*x9 +
426 x2*x3*x4^2*x5*x6 +
427 x2*x3*x4^2*x5*x7*x8*x9 +
428 -x2*x3*x4^2*x5*x7*x8 +
429 -x2*x3*x4^2*x5*x7*x9 +
430 x2*x3*x4^2*x5*x7 +
431 -x2*x3*x4^2*x5*x8*x9 +
432 x2*x3*x4^2*x5*x8 +
433 x2*x3*x4^2*x5*x9 +
434 -x2*x3*x4^2*x5 +
451 x2*x3*x4*x5^2*x6^3*x7*x8*x9 +
452 -x2*x3*x4*x5^2*x6^3*x7*x8 +
453 -x2*x3*x4*x5^2*x6^3*x7*x9 +
454 x2*x3*x4*x5^2*x6^3*x7 +
455 -x2*x3*x4*x5^2*x6^3*x8*x9 +
456 x2*x3*x4*x5^2*x6^3*x8 +
457 x2*x3*x4*x5^2*x6^3*x9 +
458 -x2*x3*x4*x5^2*x6^3 +
459 -x2*x3*x4*x5^2*x6^2*x7*x8*x9 +
460 x2*x3*x4*x5^2*x6^2*x7*x8 +
461 x2*x3*x4*x5^2*x6^2*x7*x9 +
462 -x2*x3*x4*x5^2*x6^2*x7 +
463 x2*x3*x4*x5^2*x6^2*x8*x9 +
464 -x2*x3*x4*x5^2*x6^2*x8 +
465 -x2*x3*x4*x5^2*x6^2*x9 +
466 x2*x3*x4*x5^2*x6^2 +
467 -x2*x3*x4*x5^2*x6*x7*x8*x9 +
468 x2*x3*x4*x5^2*x6*x7*x8 +
469 x2*x3*x4*x5^2*x6*x7*x9 +
470 -x2*x3*x4*x5^2*x6*x7 +
471 x2*x3*x4*x5^2*x6*x8*x9 +
472 -x2*x3*x4*x5^2*x6*x8 +
473 -x2*x3*x4*x5^2*x6*x9 +
474 x2*x3*x4*x5^2*x6 +
475 x2*x3*x4*x5^2*x7*x8*x9 +
476 -x2*x3*x4*x5^2*x7*x8 +
477 -x2*x3*x4*x5^2*x7*x9 +
478 x2*x3*x4*x5^2*x7 +
479 -x2*x3*x4*x5^2*x8*x9 +
480 x2*x3*x4*x5^2*x8 +
481 x2*x3*x4*x5^2*x9 +
482 -x2*x3*x4*x5^2 +
483 -2*x2*x3*x4*x5*x6^3*x7*x8*x9 +
484 2*x2*x3*x4*x5*x6^3*x7*x8 +
485 2*x2*x3*x4*x5*x6^3*x7*x9 +
486 -2*x2*x3*x4*x5*x6^3*x7 +
487 2*x2*x3*x4*x5*x6^3*x8*x9 +
488 -2*x2*x3*x4*x5*x6^3*x8 +
489 -2*x2*x3*x4*x5*x6^3*x9 +
490 2*x2*x3*x4*x5*x6^3 +
491 x2*x3*x4*x5*x6^2*x7*x8*x9 +
492 -x2*x3*x4*x5*x6^2*x7*x8 +
493 -x2*x3*x4*x5*x6^2*x7*x9 +
494 x2*x3*x4*x5*x6^2*x7 +
495 -x2*x3*x4*x5*x6^2*x8*x9 +
496 x2*x3*x4*x5*x6^2*x8 +
497 x2*x3*x4*x5*x6^2*x9 +
498 -x2*x3*x4*x5*x6^2 +
499 x2*x3*x4*x5*x6*x7^2*x8*x9 +
500 -x2*x3*x4*x5*x6*x7^2*x8 +
501 -x2*x3*x4*x5*x6*x7^2*x9 +
502 x2*x3*x4*x5*x6*x7^2 +
503 x2*x3*x4*x5*x6*x7*x8^2*x9 +
504 -x2*x3*x4*x5*x6*x7*x8^2 +
505 -x2*x3*x4*x5*x6*x7*x8*x9 +
506 x2*x3*x4*x5*x6*x7*x8 +
507 -x2*x3*x4*x5*x6*x8^2*x9 +
508 x2*x3*x4*x5*x6*x8^2 +
509 x2*x3*x4*x5*x6*x9 +
510 -x2*x3*x4*x5*x6 +
511 -x2*x3*x4*x5*x7^2*x8*x9 +
512 x2*x3*x4*x5*x7^2*x8 +
513 x2*x3*x4*x5*x7^2*x9 +
514 -x2*x3*x4*x5*x7^2 +
515 -x2*x3*x4*x5*x7*x8^2*x9 +
516 x2*x3*x4*x5*x7*x8^2 +
517 2*x2*x3*x4*x5*x7*x8*x9 +
518 -2*x2*x3*x4*x5*x7*x8 +
519 -x2*x3*x4*x5*x7*x9 +
520 x2*x3*x4*x5*x7 +
521 x2*x3*x4*x5*x8^2*x9 +
522 -x2*x3*x4*x5*x8^2 +
523 -x2*x3*x4*x5*x8*x9 +
524 x2*x3*x4*x5*x8 +
563 -x2*x3*x5^3*x6*x7*x8*x9 +
564 x2*x3*x5^3*x6*x7*x8 +
565 x2*x3*x5^3*x6*x7*x9 +
566 -x2*x3*x5^3*x6*x7 +
567 x2*x3*x5^3*x6*x8*x9 +
568 -x2*x3*x5^3*x6*x8 +
569 -x2*x3*x5^3*x6*x9 +
570 x2*x3*x5^3*x6 +
571 x2*x3*x5^3*x7*x8*x9 +
572 -x2*x3*x5^3*x7*x8 +
573 -x2*x3*x5^3*x7*x9 +
574 x2*x3*x5^3*x7 +
575 -x2*x3*x5^3*x8*x9 +
576 x2*x3*x5^3*x8 +
577 x2*x3*x5^3*x9 +
578 -x2*x3*x5^3 +
579 -x2*x3*x5^2*x6^3*x7*x8*x9 +
580 x2*x3*x5^2*x6^3*x7*x8 +
581 x2*x3*x5^2*x6^3*x7*x9 +
582 -x2*x3*x5^2*x6^3*x7 +
583 x2*x3*x5^2*x6^3*x8*x9 +
584 -x2*x3*x5^2*x6^3*x8 +
585 -x2*x3*x5^2*x6^3*x9 +
586 x2*x3*x5^2*x6^3 +
587 x2*x3*x5^2*x6^2*x7*x8*x9 +
588 -x2*x3*x5^2*x6^2*x7*x8 +
589 -x2*x3*x5^2*x6^2*x7*x9 +
590 x2*x3*x5^2*x6^2*x7 +
591 -x2*x3*x5^2*x6^2*x8*x9 +
592 x2*x3*x5^2*x6^2*x8 +
593 x2*x3*x5^2*x6^2*x9 +
594 -x2*x3*x5^2*x6^2 +
595 x2*x3*x5^2*x6*x7*x8*x9 +
596 -x2*x3*x5^2*x6*x7*x8 +
597 -x2*x3*x5^2*x6*x7*x9 +
598 x2*x3*x5^2*x6*x7 +
599 -x2*x3*x5^2*x6*x8*x9 +
600 x2*x3*x5^2*x6*x8 +
601 x2*x3*x5^2*x6*x9 +
602 -x2*x3*x5^2*x6 +
603 -x2*x3*x5^2*x7*x8*x9 +
604 x2*x3*x5^2*x7*x8 +
605 x2*x3*x5^2*x7*x9 +
606 -x2*x3*x5^2*x7 +
607 x2*x3*x5^2*x8*x9 +
608 -x2*x3*x5^2*x8 +
609 -x2*x3*x5^2*x9 +
610 x2*x3*x5^2 +
611 x2*x3*x5*x6^3*x7*x8*x9 +
612 -x2*x3*x5*x6^3*x7*x8 +
613 -x2*x3*x5*x6^3*x7*x9 +
614 x2*x3*x5*x6^3*x7 +
615 -x2*x3*x5*x6^3*x8*x9 +
616 x2*x3*x5*x6^3*x8 +
617 x2*x3*x5*x6^3*x9 +
618 -x2*x3*x5*x6^3 +
619 -x2*x3*x5*x6^2*x7*x8*x9 +
620 x2*x3*x5*x6^2*x7*x8 +
621 x2*x3*x5*x6^2*x7*x9 +
622 -x2*x3*x5*x6^2*x7 +
623 x2*x3*x5*x6^2*x8*x9 +
624 -x2*x3*x5*x6^2*x8 +
625 -x2*x3*x5*x6^2*x9 +
626 x2*x3*x5*x6^2 +
627 -x2*x3*x5*x6*x7^2*x8*x9 +
628 x2*x3*x5*x6*x7^2*x8 +
629 x2*x3*x5*x6*x7^2*x9 +
630 -x2*x3*x5*x6*x7^2 +
631 -x2*x3*x5*x6*x7*x8^2*x9 +
632 x2*x3*x5*x6*x7*x8^2 +
633 2*x2*x3*x5*x6*x7*x8*x9 +
634 -2*x2*x3*x5*x6*x7*x8 +
635 -x2*x3*x5*x6*x7*x9 +
636 x2*x3*x5*x6*x7 +
637 x2*x3*x5*x6*x8^2*x9 +
638 -x2*x3*x5*x6*x8^2 +
639 -x2*x3*x5*x6*x8*x9 +
640 x2*x3*x5*x6*x8 +
641 x2*x3*x5*x7^2*x8*x9 +
642 -x2*x3*x5*x7^2*x8 +
643 -x2*x3*x5*x7^2*x9 +
644 x2*x3*x5*x7^2 +
645 x2*x3*x5*x7*x8^2*x9 +
646 -x2*x3*x5*x7*x8^2 +
647 -2*x2*x3*x5*x7*x8*x9 +
648 2*x2*x3*x5*x7*x8 +
649 x2*x3*x5*x7*x9 +
650 -x2*x3*x5*x7 +
651 -x2*x3*x5*x8^2*x9 +
652 x2*x3*x5*x8^2 +
653 x2*x3*x5*x8*x9 +
654 -x2*x3*x5*x8 +
683 -x2*x4^3*x5*x6^2*x7*x8*x9 +
684 x2*x4^3*x5*x6^2*x7*x8 +
685 x2*x4^3*x5*x6^2*x7*x9 +
686 -x2*x4^3*x5*x6^2*x7 +
687 x2*x4^3*x5*x6^2*x8*x9 +
688 -x2*x4^3*x5*x6^2*x8 +
689 -x2*x4^3*x5*x6^2*x9 +
690 x2*x4^3*x5*x6^2 +
691 x2*x4^3*x5*x7*x8*x9 +
692 -x2*x4^3*x5*x7*x8 +
693 -x2*x4^3*x5*x7*x9 +
694 x2*x4^3*x5*x7 +
695 -x2*x4^3*x5*x8*x9 +
696 x2*x4^3*x5*x8 +
697 x2*x4^3*x5*x9 +
698 -x2*x4^3*x5 +
715 -x2*x4^2*x5^3*x6*x7*x8*x9 +
716 x2*x4^2*x5^3*x6*x7*x8 +
717 x2*x4^2*x5^3*x6*x7*x9 +
718 -x2*x4^2*x5^3*x6*x7 +
719 x2*x4^2*x5^3*x6*x8*x9 +
720 -x2*x4^2*x5^3*x6*x8 +
721 -x2*x4^2*x5^3*x6*x9 +
722 x2*x4^2*x5^3*x6 +
723 x2*x4^2*x5^3*x7*x8*x9 +
724 -x2*x4^2*x5^3*x7*x8 +
725 -x2*x4^2*x5^3*x7*x9 +
726 x2*x4^2*x5^3*x7 +
727 -x2*x4^2*x5^3*x8*x9 +
728 x2*x4^2*x5^3*x8 +
729 x2*x4^2*x5^3*x9 +
730 -x2*x4^2*x5^3 +
731 -x2*x4^2*x5*x6^3*x7*x8*x9 +
732 x2*x4^2*x5*x6^3*x7*x8 +
733 x2*x4^2*x5*x6^3*x7*x9 +
734 -x2*x4^2*x5*x6^3*x7 +
735 x2*x4^2*x5*x6^3*x8*x9 +
736 -x2*x4^2*x5*x6^3*x8 +
737 -x2*x4^2*x5*x6^3*x9 +
738 x2*x4^2*x5*x6^3 +
739 x2*x4^2*x5*x6^2*x7*x8*x9 +
740 -x2*x4^2*x5*x6^2*x7*x8 +
741 -x2*x4^2*x5*x6^2*x7*x9 +
742 x2*x4^2*x5*x6^2*x7 +
743 -x2*x4^2*x5*x6^2*x8*x9 +
744 x2*x4^2*x5*x6^2*x8 +
745 x2*x4^2*x5*x6^2*x9 +
746 -x2*x4^2*x5*x6^2 +
747 x2*x4^2*x5*x6*x7*x8*x9 +
748 -x2*x4^2*x5*x6*x7*x8 +
749 -x2*x4^2*x5*x6*x7*x9 +
750 x2*x4^2*x5*x6*x7 +
751 -x2*x4^2*x5*x6*x8*x9 +
752 x2*x4^2*x5*x6*x8 +
753 x2*x4^2*x5*x6*x9 +
754 -x2*x4^2*x5*x6 +
755 -x2*x4^2*x5*x7*x8*x9 +
756 x2*x4^2*x5*x7*x8 +
757 x2*x4^2*x5*x7*x9 +
758 -x2*x4^2*x5*x7 +
759 x2*x4^2*x5*x8*x9 +
760 -x2*x4^2*x5*x8 +
761 -x2*x4^2*x5*x9 +
762 x2*x4^2*x5 +
779 -x2*x4*x5^2*x6^3*x7*x8*x9 +
780 x2*x4*x5^2*x6^3*x7*x8 +
781 x2*x4*x5^2*x6^3*x7*x9 +
782 -x2*x4*x5^2*x6^3*x7 +
783 x2*x4*x5^2*x6^3*x8*x9 +
784 -x2*x4*x5^2*x6^3*x8 +
785 -x2*x4*x5^2*x6^3*x9 +
786 x2*x4*x5^2*x6^3 +
787 x2*x4*x5^2*x6^2*x7*x8*x9 +
788 -x2*x4*x5^2*x6^2*x7*x8 +
789 -x2*x4*x5^2*x6^2*x7*x9 +
790 x2*x4*x5^2*x6^2*x7 +
791 -x2*x4*x5^2*x6^2*x8*x9 +
792 x2*x4*x5^2*x6^2*x8 +
793 x2*x4*x5^2*x6^2*x9 +
794 -x2*x4*x5^2*x6^2 +
795 x2*x4*x5^2*x6*x7*x8*x9 +
796 -x2*x4*x5^2*x6*x7*x8 +
797 -x2*x4*x5^2*x6*x7*x9 +
798 x2*x4*x5^2*x6*x7 +
799 -x2*x4*x5^2*x6*x8*x9 +
800 x2*x4*x5^2*x6*x8 +
801 x2*x4*x5^2*x6*x9 +
802 -x2*x4*x5^2*x6 +
803 -x2*x4*x5^2*x7*x8*x9 +
804 x2*x4*x5^2*x7*x8 +
805 x2*x4*x5^2*x7*x9 +
806 -x2*x4*x5^2*x7 +
807 x2*x4*x5^2*x8*x9 +
808 -x2*x4*x5^2*x8 +
809 -x2*x4*x5^2*x9 +
810 x2*x4*x5^2 +
811 2*x2*x4*x5*x6^3*x7*x8*x9 +
812 -2*x2*x4*x5*x6^3*x7*x8 +
813 -2*x2*x4*x5*x6^3*x7*x9 +
814 2*x2*x4*x5*x6^3*x7 +
815 -2*x2*x4*x5*x6^3*x8*x9 +
816 2*x2*x4*x5*x6^3*x8 +
817 2*x2*x4*x5*x6^3*x9 +
818 -2*x2*x4*x5*x6^3 +
819 -x2*x4*x5*x6^2*x7*x8*x9 +
820 x2*x4*x5*x6^2*x7*x8 +
821 x2*x4*x5*x6^2*x7*x9 +
822 -x2*x4*x5*x6^2*x7 +
823 x2*x4*x5*x6^2*x8*x9 +
824 -x2*x4*x5*x6^2*x8 +
825 -x2*x4*x5*x6^2*x9 +
826 x2*x4*x5*x6^2 +
827 -x2*x4*x5*x6*x7^2*x8*x9 +
828 x2*x4*x5*x6*x7^2*x8 +
829 x2*x4*x5*x6*x7^2*x9 +
830 -x2*x4*x5*x6*x7^2 +
831 -x2*x4*x5*x6*x7*x8^2*x9 +
832 x2*x4*x5*x6*x7*x8^2 +
833 x2*x4*x5*x6*x7*x8*x9 +
834 -x2*x4*x5*x6*x7*x8 +
835 x2*x4*x5*x6*x8^2*x9 +
836 -x2*x4*x5*x6*x8^2 +
837 -x2*x4*x5*x6*x9 +
838 x2*x4*x5*x6 +
839 x2*x4*x5*x7^2*x8*x9 +
840 -x2*x4*x5*x7^2*x8 +
841 -x2*x4*x5*x7^2*x9 +
842 x2*x4*x5*x7^2 +
843 x2*x4*x5*x7*x8^2*x9 +
844 -x2*x4*x5*x7*x8^2 +
845 -2*x2*x4*x5*x7*x8*x9 +
846 2*x2*x4*x5*x7*x8 +
847 x2*x4*x5*x7*x9 +
848 -x2*x4*x5*x7 +
849 -x2*x4*x5*x8^2*x9 +
850 x2*x4*x5*x8^2 +
851 x2*x4*x5*x8*x9 +
852 -x2*x4*x5*x8 +
891 x2*x5^3*x6*x7*x8*x9 +
892 -x2*x5^3*x6*x7*x8 +
893 -x2*x5^3*x6*x7*x9 +
894 x2*x5^3*x6*x7 +
895 -x2*x5^3*x6*x8*x9 +
896 x2*x5^3*x6*x8 +
897 x2*x5^3*x6*x9 +
898 -x2*x5^3*x6 +
899 -x2*x5^3*x7*x8*x9 +
900 x2*x5^3*x7*x8 +
901 x2*x5^3*x7*x9 +
902 -x2*x5^3*x7 +
903 x2*x5^3*x8*x9 +
904 -x2*x5^3*x8 +
905 -x2*x5^3*x9 +
906 x2*x5^3 +
907 x2*x5^2*x6^3*x7*x8*x9 +
908 -x2*x5^2*x6^3*x7*x8 +
909 -x2*x5^2*x6^3*x7*x9 +
910 x2*x5^2*x6^3*x7 +
911 -x2*x5^2*x6^3*x8*x9 +
912 x2*x5^2*x6^3*x8 +
913 x2*x5^2*x6^3*x9 +
914 -x2*x5^2*x6^3 +
915 -x2*x5^2*x6^2*x7*x8*x9 +
916 x2*x5^2*x6^2*x7*x8 +
917 x2*x5^2*x6^2*x7*x9 +
918 -x2*x5^2*x6^2*x7 +
919 x2*x5^2*x6^2*x8*x9 +
920 -x2*x5^2*x6^2*x8 +
921 -x2*x5^2*x6^2*x9 +
922 x2*x5^2*x6^2 +
923 -x2*x5^2*x6*x7*x8*x9 +
924 x2*x5^2*x6*x7*x8 +
925 x2*x5^2*x6*x7*x9 +
926 -x2*x5^2*x6*x7 +
927 x2*x5^2*x6*x8*x9 +
928 -x2*x5^2*x6*x8 +
929 -x2*x5^2*x6*x9 +
930 x2*x5^2*x6 +
931 x2*x5^2*x7*x8*x9 +
932 -x2*x5^2*x7*x8 +
933 -x2*x5^2*x7*x9 +
934 x2*x5^2*x7 +
935 -x2*x5^2*x8*x9 +
936 x2*x5^2*x8 +
937 x2*x5^2*x9 +
938 -x2*x5^2 +
939 -x2*x5*x6^3*x7*x8*x9 +
940 x2*x5*x6^3*x7*x8 +
941 x2*x5*x6^3*x7*x9 +
942 -x2*x5*x6^3*x7 +
943 x2*x5*x6^3*x8*x9 +
944 -x2*x5*x6^3*x8 +
945 -x2*x5*x6^3*x9 +
946 x2*x5*x6^3 +
947 x2*x5*x6^2*x7*x8*x9 +
948 -x2*x5*x6^2*x7*x8 +
949 -x2*x5*x6^2*x7*x9 +
950 x2*x5*x6^2*x7 +
951 -x2*x5*x6^2*x8*x9 +
952 x2*x5*x6^2*x8 +
953 x2*x5*x6^2*x9 +
954 -x2*x5*x6^2 +
955 x2*x5*x6*x7^2*x8*x9 +
956 -x2*x5*x6*x7^2*x8 +
957 -x2*x5*x6*x7^2*x9 +
958 x2*x5*x6*x7^2 +
959 x2*x5*x6*x7*x8^2*x9 +
960 -x2*x5*x6*x7*x8^2 +
961 -2*x2*x5*x6*x7*x8*x9 +
962 2*x2*x5*x6*x7*x8 +
963 x2*x5*x6*x7*x9 +
964 -x2*x5*x6*x7 +
965 -x2*x5*x6*x8^2*x9 +
966 x2*x5*x6*x8^2 +
967 x2*x5*x6*x8*x9 +
968 -x2*x5*x6*x8 +
969 -x2*x5*x7^2*x8*x9 +
970 x2*x5*x7^2*x8 +
971 x2*x5*x7^2*x9 +
972 -x2*x5*x7^2 +
973 -x2*x5*x7*x8^2*x9 +
974 x2*x5*x7*x8^2 +
975 2*x2*x5*x7*x8*x9 +
976 -2*x2*x5*x7*x8 +
977 -x2*x5*x7*x9 +
978 x2*x5*x7 +
979 x2*x5*x8^2*x9 +
980 -x2*x5*x8^2 +
981 -x2*x5*x8*x9 +
982 x2*x5*x8 +
1011 -x3*x4^3*x5*x6^2*x7*x8*x9 +
1012 x3*x4^3*x5*x6^2*x7*x8 +
1013 x3*x4^3*x5*x6^2*x7*x9 +
1014 -x3*x4^3*x5*x6^2*x7 +
1015 x3*x4^3*x5*x6^2*x8*x9 +
1016 -x3*x4^3*x5*x6^2*x8 +
1017 -x3*x4^3*x5*x6^2*x9 +
1018 x3*x4^3*x5*x6^2 +
1019 x3*x4^3*x5*x7*x8*x9 +
1020 -x3*x4^3*x5*x7*x8 +
1021 -x3*x4^3*x5*x7*x9 +
1022 x3*x4^3*x5*x7 +
1023 -x3*x4^3*x5*x8*x9 +
1024 x3*x4^3*x5*x8 +
1025 x3*x4^3*x5*x9 +
1026 -x3*x4^3*x5 +
1043 -x3*x4^2*x5^3*x6*x7*x8*x9 +
1044 x3*x4^2*x5^3*x6*x7*x8 +
1045 x3*x4^2*x5^3*x6*x7*x9 +
1046 -x3*x4^2*x5^3*x6*x7 +
1047 x3*x4^2*x5^3*x6*x8*x9 +
1048 -x3*x4^2*x5^3*x6*x8 +
1049 -x3*x4^2*x5^3*x6*x9 +
1050 x3*x4^2*x5^3*x6 +
1051 x3*x4^2*x5^3*x7*x8*x9 +
1052 -x3*x4^2*x5^3*x7*x8 +
1053 -x3*x4^2*x5^3*x7*x9 +
1054 x3*x4^2*x5^3*x7 +
1055 -x3*x4^2*x5^3*x8*x9 +
1056 x3*x4^2*x5^3*x8 +
1057 x3*x4^2*x5^3*x9 +
1058 -x3*x4^2*x5^3 +
1059 -x3*x4^2*x5*x6^3*x7*x8*x9 +
1060 x3*x4^2*x5*x6^3*x7*x8 +
1061 x3*x4^2*x5*x6^3*x7*x9 +
1062 -x3*x4^2*x5*x6^3*x7 +
1063 x3*x4^2*x5*x6^3*x8*x9 +
1064 -x3*x4^2*x5*x6^3*x8 +
1065 -x3*x4^2*x5*x6^3*x9 +
1066 x3*x4^2*x5*x6^3 +
1067 x3*x4^2*x5*x6^2*x7*x8*x9 +
1068 -x3*x4^2*x5*x6^2*x7*x8 +
1069 -x3*x4^2*x5*x6^2*x7*x9 +
1070 x3*x4^2*x5*x6^2*x7 +
1071 -x3*x4^2*x5*x6^2*x8*x9 +
1072 x3*x4^2*x5*x6^2*x8 +
1073 x3*x4^2*x5*x6^2*x9 +
1074 -x3*x4^2*x5*x6^2 +
1075 x3*x4^2*x5*x6*x7*x8*x9 +
1076 -x3*x4^2*x5*x6*x7*x8 +
1077 -x3*x4^2*x5*x6*x7*x9 +
1078 x3*x4^2*x5*x6*x7 +
1079 -x3*x4^2*x5*x6*x8*x9 +
1080 x3*x4^2*x5*x6*x8 +
1081 x3*x4^2*x5*x6*x9 +
1082 -x3*x4^2*x5*x6 +
1083 -x3*x4^2*x5*x7*x8*x9 +
1084 x3*x4^2*x5*x7*x8 +
1085 x3*x4^2*x5*x7*x9 +
1086 -x3*x4^2*x5*x7 +
1087 x3*x4^2*x5*x8*x9 +
1088 -x3*x4^2*x5*x8 +
1089 -x3*x4^2*x5*x9 +
1090 x3*x4^2*x5 +
1107 -x3*x4*x5^2*x6^3*x7*x8*x9 +
1108 x3*x4*x5^2*x6^3*x7*x8 +
1109 x3*x4*x5^2*x6^3*x7*x9 +
1110 -x3*x4*x5^2*x6^3*x7 +
1111 x3*x4*x5^2*x6^3*x8*x9 +
1112 -x3*x4*x5^2*x6^3*x8 +
1113 -x3*x4*x5^2*x6^3*x9 +
1114 x3*x4*x5^2*x6^3 +
1115 x3*x4*x5^2*x6*x7*x8*x9 +
1116 -x3*x4*x5^2*x6*x7*x8 +
1117 -x3*x4*x5^2*x6*x7*x9 +
1118 x3*x4*x5^2*x6*x7 +
1119 -x3*x4*x5^2*x6*x8*x9 +
1120 x3*x4*x5^2*x6*x8 +
1121 x3*x4*x5^2*x6*x9 +
1122 -x3*x4*x5^2*x6 +
1123 x3*x4*x5*x6^3*x7*x8*x9 +
1124 -x3*x4*x5*x6^3*x7*x8 +
1125 -x3*x4*x5*x6^3*x7*x9 +
1126 x3*x4*x5*x6^3*x7 +
1127 -x3*x4*x5*x6^3*x8*x9 +
1128 x3*x4*x5*x6^3*x8 +
1129 x3*x4*x5*x6^3*x9 +
1130 -x3*x4*x5*x6^3 +
1131 -x3*x4*x5*x6*x7^2*x8*x9 +
1132 x3*x4*x5*x6*x7^2*x8 +
1133 x3*x4*x5*x6*x7^2*x9 +
1134 -x3*x4*x5*x6*x7^2 +
1135 -x3*x4*x5*x6*x7*x8^2*x9 +
1136 x3*x4*x5*x6*x7*x8^2 +
1137 x3*x4*x5*x6*x7*x8*x9 +
1138 -x3*x4*x5*x6*x7*x8 +
1139 x3*x4*x5*x6*x8^2*x9 +
1140 -x3*x4*x5*x6*x8^2 +
1141 -x3*x4*x5*x6*x9 +
1142 x3*x4*x5*x6 +
1143 x3*x4*x5*x7^2*x8*x9 +
1144 -x3*x4*x5*x7^2*x8 +
1145 -x3*x4*x5*x7^2*x9 +
1146 x3*x4*x5*x7^2 +
1147 x3*x4*x5*x7*x8^2*x9 +
1148 -x3*x4*x5*x7*x8^2 +
1149 -2*x3*x4*x5*x7*x8*x9 +
1150 2*x3*x4*x5*x7*x8 +
1151 x3*x4*x5*x7*x9 +
1152 -x3*x4*x5*x7 +
1153 -x3*x4*x5*x8^2*x9 +
1154 x3*x4*x5*x8^2 +
1155 x3*x4*x5*x8*x9 +
1156 -x3*x4*x5*x8 +
1185 x3*x5^3*x6*x7*x8*x9 +
1186 -x3*x5^3*x6*x7*x8 +
1187 -x3*x5^3*x6*x7*x9 +
1188 x3*x5^3*x6*x7 +
1189 -x3*x5^3*x6*x8*x9 +
1190 x3*x5^3*x6*x8 +
1191 x3*x5^3*x6*x9 +
1192 -x3*x5^3*x6 +
1193 -x3*x5^3*x7*x8*x9 +
1194 x3*x5^3*x7*x8 +
1195 x3*x5^3*x7*x9 +
1196 -x3*x5^3*x7 +
1197 x3*x5^3*x8*x9 +
1198 -x3*x5^3*x8 +
1199 -x3*x5^3*x9 +
1200 x3*x5^3 +
1201 x3*x5^2*x6^3*x7*x8*x9 +
1202 -x3*x5^2*x6^3*x7*x8 +
1203 -x3*x5^2*x6^3*x7*x9 +
1204 x3*x5^2*x6^3*x7 +
1205 -x3*x5^2*x6^3*x8*x9 +
1206 x3*x5^2*x6^3*x8 +
1207 x3*x5^2*x6^3*x9 +
1208 -x3*x5^2*x6^3 +
1209 -x3*x5^2*x6*x7*x8*x9 +
1210 x3*x5^2*x6*x7*x8 +
1211 x3*x5^2*x6*x7*x9 +
1212 -x3*x5^2*x6*x7 +
1213 x3*x5^2*x6*x8*x9 +
1214 -x3*x5^2*x6*x8 +
1215 -x3*x5^2*x6*x9 +
1216 x3*x5^2*x6 +
1217 x3*x5*x6*x7^2*x8*x9 +
1218 -x3*x5*x6*x7^2*x8 +
1219 -x3*x5*x6*x7^2*x9 +
1220 x3*x5*x6*x7^2 +
1221 x3*x5*x6*x7*x8^2*x9 +
1222 -x3*x5*x6*x7*x8^2 +
1223 -2*x3*x5*x6*x7*x8*x9 +
1224 2*x3*x5*x6*x7*x8 +
1225 x3*x5*x6*x7*x9 +
1226 -x3*x5*x6*x7 +
1227 -x3*x5*x6*x8^2*x9 +
1228 x3*x5*x6*x8^2 +
1229 x3*x5*x6*x8*x9 +
1230 -x3*x5*x6*x8 +
1231 -x3*x5*x7^2*x8*x9 +
1232 x3*x5*x7^2*x8 +
1233 x3*x5*x7^2*x9 +
1234 -x3*x5*x7^2 +
1235 -x3*x5*x7*x8^2*x9 +
1236 x3*x5*x7*x8^2 +
1237 2*x3*x5*x7*x8*x9 +
1238 -2*x3*x5*x7*x8 +
1239 -x3*x5*x7*x9 +
1240 x3*x5*x7 +
1241 x3*x5*x8^2*x9 +
1242 -x3*x5*x8^2 +
1243 -x3*x5*x8*x9 +
1244 x3*x5*x8 +
1279 x4^3*x5*x6^2*x7*x8*x9 +
1280 -x4^3*x5*x6^2*x7*x8 +
1281 -x4^3*x5*x6^2*x7*x9 +
1282 x4^3*x5*x6^2*x7 +
1283 -x4^3*x5*x6^2*x8*x9 +
1284 x4^3*x5*x6^2*x8 +
1285 x4^3*x5*x6^2*x9 +
1286 -x4^3*x5*x6^2 +
1287 -x4^3*x5*x7*x8*x9 +
1288 x4^3*x5*x7*x8 +
1289 x4^3*x5*x7*x9 +
1290 -x4^3*x5*x7 +
1291 x4^3*x5*x8*x9 +
1292 -x4^3*x5*x8 +
1293 -x4^3*x5*x9 +
1294 x4^3*x5 +
1311 x4^2*x5^3*x6*x7*x8*x9 +
1312 -x4^2*x5^3*x6*x7*x8 +
1313 -x4^2*x5^3*x6*x7*x9 +
1314 x4^2*x5^3*x6*x7 +
1315 -x4^2*x5^3*x6*x8*x9 +
1316 x4^2*x5^3*x6*x8 +
1317 x4^2*x5^3*x6*x9 +
1318 -x4^2*x5^3*x6 +
1319 -x4^2*x5^3*x7*x8*x9 +
1320 x4^2*x5^3*x7*x8 +
1321 x4^2*x5^3*x7*x9 +
1322 -x4^2*x5^3*x7 +
1323 x4^2*x5^3*x8*x9 +
1324 -x4^2*x5^3*x8 +
1325 -x4^2*x5^3*x9 +
1326 x4^2*x5^3 +
1327 x4^2*x5*x6^3*x7*x8*x9 +
1328 -x4^2*x5*x6^3*x7*x8 +
1329 -x4^2*x5*x6^3*x7*x9 +
1330 x4^2*x5*x6^3*x7 +
1331 -x4^2*x5*x6^3*x8*x9 +
1332 x4^2*x5*x6^3*x8 +
1333 x4^2*x5*x6^3*x9 +
1334 -x4^2*x5*x6^3 +
1335 -x4^2*x5*x6^2*x7*x8*x9 +
1336 x4^2*x5*x6^2*x7*x8 +
1337 x4^2*x5*x6^2*x7*x9 +
1338 -x4^2*x5*x6^2*x7 +
1339 x4^2*x5*x6^2*x8*x9 +
1340 -x4^2*x5*x6^2*x8 +
1341 -x4^2*x5*x6^2*x9 +
1342 x4^2*x5*x6^2 +
1343 -x4^2*x5*x6*x7*x8*x9 +
1344 x4^2*x5*x6*x7*x8 +
1345 x4^2*x5*x6*x7*x9 +
1346 -x4^2*x5*x6*x7 +
1347 x4^2*x5*x6*x8*x9 +
1348 -x4^2*x5*x6*x8 +
1349 -x4^2*x5*x6*x9 +
1350 x4^2*x5*x6 +
1351 x4^2*x5*x7*x8*x9 +
1352 -x4^2*x5*x7*x8 +
1353 -x4^2*x5*x7*x9 +
1354 x4^2*x5*x7 +
1355 -x4^2*x5*x8*x9 +
1356 x4^2*x5*x8 +
1357 x4^2*x5*x9 +
1358 -x4^2*x5 +
1375 x4*x5^2*x6^3*x7*x8*x9 +
1376 -x4*x5^2*x6^3*x7*x8 +
1377 -x4*x5^2*x6^3*x7*x9 +
1378 x4*x5^2*x6^3*x7 +
1379 -x4*x5^2*x6^3*x8*x9 +
1380 x4*x5^2*x6^3*x8 +
1381 x4*x5^2*x6^3*x9 +
1382 -x4*x5^2*x6^3 +
1383 -x4*x5^2*x6*x7*x8*x9 +
1384 x4*x5^2*x6*x7*x8 +
1385 x4*x5^2*x6*x7*x9 +
1386 -x4*x5^2*x6*x7 +
1387 x4*x5^2*x6*x8*x9 +
1388 -x4*x5^2*x6*x8 +
1389 -x4*x5^2*x6*x9 +
1390 x4*x5^2*x6 +
1391 -x4*x5*x6^3*x7*x8*x9 +
1392 x4*x5*x6^3*x7*x8 +
1393 x4*x5*x6^3*x7*x9 +
1394 -x4*x5*x6^3*x7 +
1395 x4*x5*x6^3*x8*x9 +
1396 -x4*x5*x6^3*x8 +
1397 -x4*x5*x6^3*x9 +
1398 x4*x5*x6^3 +
1399 x4*x5*x6*x7^2*x8*x9 +
1400 -x4*x5*x6*x7^2*x8 +
1401 -x4*x5*x6*x7^2*x9 +
1402 x4*x5*x6*x7^2 +
1403 x4*x5*x6*x7*x8^2*x9 +
1404 -x4*x5*x6*x7*x8^2 +
1405 -x4*x5*x6*x7*x8*x9 +
1406 x4*x5*x6*x7*x8 +
1407 -x4*x5*x6*x8^2*x9 +
1408 x4*x5*x6*x8^2 +
1409 x4*x5*x6*x9 +
1410 -x4*x5*x6 +
1411 -x4*x5*x7^2*x8*x9 +
1412 x4*x5*x7^2*x8 +
1413 x4*x5*x7^2*x9 +
1414 -x4*x5*x7^2 +
1415 -x4*x5*x7*x8^2*x9 +
1416 x4*x5*x7*x8^2 +
1417 2*x4*x5*x7*x8*x9 +
1418 -2*x4*x5*x7*x8 +
1419 -x4*x5*x7*x9 +
1420 x4*x5*x7 +
1421 x4*x5*x8^2*x9 +
1422 -x4*x5*x8^2 +
1423 -x4*x5*x8*x9 +
1424 x4*x5*x8 +
1453 -x5^3*x6*x7*x8*x9 +
1454 x5^3*x6*x7*x8 +
1455 x5^3*x6*x7*x9 +
1456 -x5^3*x6*x7 +
1457 x5^3*x6*x8*x9 +
1458 -x5^3*x6*x8 +
1459 -x5^3*x6*x9 +
1460 x5^3*x6 +
1461 x5^3*x7*x8*x9 +
1462 -x5^3*x7*x8 +
1463 -x5^3*x7*x9 +
1464 x5^3*x7 +
1465 -x5^3*x8*x9 +
1466 x5^3*x8 +
1467 x5^3*x9 +
1468 -x5^3 +
1469 -x5^2*x6^3*x7*x8*x9 +
1470 x5^2*x6^3*x7*x8 +
1471 x5^2*x6^3*x7*x9 +
1472 -x5^2*x6^3*x7 +
1473 x5^2*x6^3*x8*x9 +
1474 -x5^2*x6^3*x8 +
1475 -x5^2*x6^3*x9 +
1476 x5^2*x6^3 +
1477 x5^2*x6*x7*x8*x9 +
1478 -x5^2*x6*x7*x8 +
1479 -x5^2*x6*x7*x9 +
1480 x5^2*x6*x7 +
1481 -x5^2*x6*x8*x9 +
1482 x5^2*x6*x8 +
1483 x5^2*x6*x9 +
1484 -x5^2*x6 +
1485 -x5*x6*x7^2*x8*x9 +
1486 x5*x6*x7^2*x8 +
1487 x5*x6*x7^2*x9 +
1488 -x5*x6*x7^2 +
1489 -x5*x6*x7*x8^2*x9 +
1490 x5*x6*x7*x8^2 +
1491 2*x5*x6*x7*x8*x9 +
1492 -2*x5*x6*x7*x8 +
1493 -x5*x6*x7*x9 +
1494 x5*x6*x7 +
1495 x5*x6*x8^2*x9 +
1496 -x5*x6*x8^2 +
1497 -x5*x6*x8*x9 +
1498 x5*x6*x8 +
1499 x5*x7^2*x8*x9 +
1500 -x5*x7^2*x8 +
1501 -x5*x7^2*x9 +
1502 x5*x7^2 +
1503 x5*x7*x8^2*x9 +
1504 -x5*x7*x8^2 +
1505 -2*x5*x7*x8*x9 +
1506 2*x5*x7*x8 +
1507 x5*x7*x9 +
1508 -x5*x7 +
1509 -x5*x8^2*x9 +
1510 x5*x8^2 +
1511 x5*x8*x9 +
1512 -x5*x8 +