Lines Matching refs:x5
1 R = QQ[x1, x2, x3, x4, x5, x6, x7, x8, x9];
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +
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 +