Lines Matching refs:x5
1 R = QQ[x1, x2, x3, x4, x5, x6];
3 -x2^16*x3*x4*x5^2*x6 +
4 x2^16*x3*x4*x5^2 +
5 -x2^16*x3*x4*x5*x6^2 +
6 x2^16*x3*x4*x5*x6 +
9 x2^16*x3*x5^2*x6 +
10 -x2^16*x3*x5^2 +
11 x2^16*x3*x5*x6^2 +
12 -x2^16*x3*x5*x6 +
15 x2^16*x4*x5^2*x6 +
16 -x2^16*x4*x5^2 +
17 x2^16*x4*x5*x6^2 +
18 -x2^16*x4*x5*x6 +
21 -x2^16*x5^2*x6 +
22 x2^16*x5^2 +
23 -x2^16*x5*x6^2 +
24 x2^16*x5*x6 +
27 -x2^14*x3^3*x4*x5*x6 +
28 x2^14*x3^3*x4*x5 +
31 x2^14*x3^3*x5*x6 +
32 -x2^14*x3^3*x5 +
35 -x2^14*x3^2*x4*x5^2*x6 +
36 x2^14*x3^2*x4*x5^2 +
37 -x2^14*x3^2*x4*x5*x6^2 +
38 2*x2^14*x3^2*x4*x5*x6 +
39 -x2^14*x3^2*x4*x5 +
42 x2^14*x3^2*x5^2*x6 +
43 -x2^14*x3^2*x5^2 +
44 x2^14*x3^2*x5*x6^2 +
45 -2*x2^14*x3^2*x5*x6 +
46 x2^14*x3^2*x5 +
49 x2^14*x3*x4*x5^2*x6 +
50 -x2^14*x3*x4*x5^2 +
51 x2^14*x3*x4*x5*x6^2 +
52 -x2^14*x3*x4*x5*x6 +
55 -x2^14*x3*x5^2*x6 +
56 x2^14*x3*x5^2 +
57 -x2^14*x3*x5*x6^2 +
58 x2^14*x3*x5*x6 +
61 -x2^12*x3^5*x4*x5*x6 +
62 x2^12*x3^5*x4*x5 +
65 x2^12*x3^5*x5*x6 +
66 -x2^12*x3^5*x5 +
69 x2^12*x3^3*x4*x5*x6 +
70 -x2^12*x3^3*x4*x5 +
73 -x2^12*x3^3*x5*x6 +
74 x2^12*x3^3*x5 +
77 -x2^11*x3^2*x4*x5^2*x6^2 +
78 x2^11*x3^2*x4*x5^2*x6 +
79 x2^11*x3^2*x4*x5*x6^2 +
80 -x2^11*x3^2*x4*x5*x6 +
81 x2^11*x3^2*x5^2*x6^2 +
82 -x2^11*x3^2*x5^2*x6 +
83 -x2^11*x3^2*x5*x6^2 +
84 x2^11*x3^2*x5*x6 +
85 x2^11*x4*x5^2*x6^2 +
86 -x2^11*x4*x5^2*x6 +
87 -x2^11*x4*x5*x6^2 +
88 x2^11*x4*x5*x6 +
89 -x2^11*x5^2*x6^2 +
90 x2^11*x5^2*x6 +
91 x2^11*x5*x6^2 +
92 -x2^11*x5*x6 +
93 -x2^9*x3^2*x4*x5*x6^3 +
94 x2^9*x3^2*x4*x5*x6^2 +
97 x2^9*x3^2*x5*x6^3 +
98 -x2^9*x3^2*x5*x6^2 +
101 x2^9*x4*x5*x6^3 +
102 -x2^9*x4*x5*x6^2 +
105 -x2^9*x5*x6^3 +
106 x2^9*x5*x6^2 +
109 -x2^8*x3^3*x4^3*x5*x6 +
110 x2^8*x3^3*x4^3*x5 +
113 x2^8*x3^3*x4*x5*x6 +
114 -x2^8*x3^3*x4*x5 +
117 -x2^8*x3^2*x4^3*x5^2*x6 +
118 x2^8*x3^2*x4^3*x5^2 +
119 x2^8*x3^2*x4^3*x5*x6 +
120 -x2^8*x3^2*x4^3*x5 +
121 -x2^8*x3^2*x4^2*x5^2*x6^2 +
122 x2^8*x3^2*x4^2*x5^2*x6 +
123 -x2^8*x3^2*x4^2*x5*x6^3 +
124 x2^8*x3^2*x4^2*x5*x6^2 +
127 x2^8*x3^2*x4*x5^2*x6^2 +
128 -x2^8*x3^2*x4*x5^2 +
129 x2^8*x3^2*x4*x5*x6^3 +
130 -x2^8*x3^2*x4*x5*x6^2 +
131 -x2^8*x3^2*x4*x5*x6 +
132 x2^8*x3^2*x4*x5 +
135 x2^8*x4^3*x5^2*x6 +
136 -x2^8*x4^3*x5^2 +
139 x2^8*x4^2*x5^2*x6^2 +
140 -x2^8*x4^2*x5^2*x6 +
141 x2^8*x4^2*x5*x6^3 +
142 -x2^8*x4^2*x5*x6^2 +
145 -x2^8*x4*x5^2*x6^2 +
146 x2^8*x4*x5^2 +
147 -x2^8*x4*x5*x6^3 +
148 x2^8*x4*x5*x6^2 +
151 -x2^7*x3^2*x4^3*x5^3*x6 +
152 x2^7*x3^2*x4^3*x5^3 +
153 x2^7*x3^2*x4^3*x5^2*x6 +
154 -x2^7*x3^2*x4^3*x5^2 +
155 -x2^7*x3^2*x4^2*x5^3*x6^2 +
156 x2^7*x3^2*x4^2*x5^3*x6 +
157 x2^7*x3^2*x4^2*x5^2*x6^2 +
158 -x2^7*x3^2*x4^2*x5^2*x6 +
159 -x2^7*x3^2*x4^2*x5*x6^4 +
160 x2^7*x3^2*x4^2*x5*x6^3 +
163 -x2^7*x3^2*x4*x5^4*x6^2 +
164 x2^7*x3^2*x4*x5^4 +
165 x2^7*x3^2*x4*x5^3*x6^2 +
166 -x2^7*x3^2*x4*x5^3 +
167 x2^7*x3^2*x5^4*x6^2 +
168 -x2^7*x3^2*x5^4 +
169 -x2^7*x3^2*x5^2*x6^2 +
170 x2^7*x3^2*x5^2 +
171 x2^7*x3^2*x5*x6^4 +
172 -x2^7*x3^2*x5*x6^3 +
175 -x2^7*x3*x4^2*x5^4*x6^2 +
176 x2^7*x3*x4^2*x5^4 +
177 x2^7*x3*x4^2*x5^3*x6^2 +
178 -x2^7*x3*x4^2*x5^3 +
179 x2^7*x3*x4*x5^4*x6^2 +
180 -x2^7*x3*x4*x5^4 +
181 -x2^7*x3*x4*x5^3*x6^2 +
182 x2^7*x3*x4*x5^3 +
183 -x2^7*x3*x4*x5*x6^5 +
184 x2^7*x3*x4*x5*x6^4 +
187 x2^7*x3*x5*x6^5 +
188 -x2^7*x3*x5*x6^4 +
191 x2^7*x4^3*x5^3*x6 +
192 -x2^7*x4^3*x5^3 +
193 -x2^7*x4^3*x5^2*x6 +
194 x2^7*x4^3*x5^2 +
195 x2^7*x4^2*x5^4*x6^2 +
196 -x2^7*x4^2*x5^4 +
197 -x2^7*x4^2*x5^3*x6 +
198 x2^7*x4^2*x5^3 +
199 -x2^7*x4^2*x5^2*x6^2 +
200 x2^7*x4^2*x5^2*x6 +
201 x2^7*x4^2*x5*x6^4 +
202 -x2^7*x4^2*x5*x6^3 +
205 x2^7*x4*x5*x6^5 +
206 -x2^7*x4*x5*x6^4 +
209 -x2^7*x5^4*x6^2 +
210 x2^7*x5^4 +
211 x2^7*x5^2*x6^2 +
212 -x2^7*x5^2 +
213 -x2^7*x5*x6^5 +
214 x2^7*x5*x6^3 +
217 -x2^6*x3^5*x4^2*x5*x6 +
218 x2^6*x3^5*x4^2*x5 +
221 x2^6*x3^5*x4*x5*x6 +
222 -x2^6*x3^5*x4*x5 +
225 -x2^6*x3^4*x4^3*x5*x6 +
226 x2^6*x3^4*x4^3*x5 +
229 x2^6*x3^4*x4^2*x5*x6 +
230 -x2^6*x3^4*x4^2*x5 +
233 x2^6*x3^3*x4^3*x5*x6 +
234 -x2^6*x3^3*x4^3*x5 +
237 -x2^6*x3^3*x4*x5*x6 +
238 x2^6*x3^3*x4*x5 +
241 -x2^6*x3^2*x4^2*x5^2*x6^3 +
242 x2^6*x3^2*x4^2*x5^2*x6^2 +
243 x2^6*x3^2*x4^2*x5*x6^3 +
244 -x2^6*x3^2*x4^2*x5*x6^2 +
245 -x2^6*x3^2*x4*x5^5*x6 +
246 x2^6*x3^2*x4*x5^5 +
247 x2^6*x3^2*x4*x5^4*x6 +
248 -x2^6*x3^2*x4*x5^4 +
249 -x2^6*x3^2*x4*x5^3*x6^3 +
250 x2^6*x3^2*x4*x5^3*x6^2 +
251 x2^6*x3^2*x4*x5^2*x6^3 +
252 -x2^6*x3^2*x4*x5^2*x6^2 +
253 x2^6*x3^2*x5^5*x6 +
254 -x2^6*x3^2*x5^5 +
255 -x2^6*x3^2*x5^4*x6 +
256 x2^6*x3^2*x5^4 +
257 x2^6*x3^2*x5^3*x6^3 +
258 -x2^6*x3^2*x5^3*x6^2 +
259 -x2^6*x3^2*x5*x6^3 +
260 x2^6*x3^2*x5*x6^2 +
261 -x2^6*x3*x4^2*x5^5*x6 +
262 x2^6*x3*x4^2*x5^5 +
263 x2^6*x3*x4^2*x5^4*x6 +
264 -x2^6*x3*x4^2*x5^4 +
265 -x2^6*x3*x4*x5^6*x6 +
266 x2^6*x3*x4*x5^6 +
267 2*x2^6*x3*x4*x5^5*x6 +
268 -2*x2^6*x3*x4*x5^5 +
269 -x2^6*x3*x4*x5^4*x6 +
270 x2^6*x3*x4*x5^4 +
271 x2^6*x3*x5^6*x6 +
272 -x2^6*x3*x5^6 +
273 -x2^6*x3*x5^5*x6 +
274 x2^6*x3*x5^5 +
275 x2^6*x4^2*x5^5*x6 +
276 -x2^6*x4^2*x5^5 +
277 -x2^6*x4^2*x5^4*x6 +
278 x2^6*x4^2*x5^4 +
279 x2^6*x4^2*x5^2*x6^3 +
280 -x2^6*x4^2*x5^2*x6^2 +
281 -x2^6*x4^2*x5*x6^3 +
282 x2^6*x4^2*x5*x6^2 +
283 x2^6*x4*x5^6*x6 +
284 -x2^6*x4*x5^6 +
285 -x2^6*x4*x5^5*x6 +
286 x2^6*x4*x5^5 +
287 x2^6*x4*x5^3*x6^3 +
288 -x2^6*x4*x5^3*x6^2 +
289 -x2^6*x4*x5^2*x6^3 +
290 x2^6*x4*x5^2*x6^2 +
291 -x2^6*x5^6*x6 +
292 x2^6*x5^6 +
293 x2^6*x5^4*x6 +
294 -x2^6*x5^4 +
295 -x2^6*x5^3*x6^3 +
296 x2^6*x5^3*x6^2 +
297 x2^6*x5*x6^3 +
298 -x2^6*x5*x6^2 +
299 -x2^5*x3^4*x4^3*x5^2*x6 +
300 x2^5*x3^4*x4^3*x5^2 +
301 x2^5*x3^4*x4^3*x5*x6 +
302 -x2^5*x3^4*x4^3*x5 +
303 -x2^5*x3^4*x4*x5^3*x6 +
304 x2^5*x3^4*x4*x5^3 +
305 x2^5*x3^4*x4*x5^2*x6 +
306 -x2^5*x3^4*x4*x5^2 +
307 x2^5*x3^4*x5^3*x6 +
308 -x2^5*x3^4*x5^3 +
309 -x2^5*x3^4*x5*x6 +
310 x2^5*x3^4*x5 +
311 x2^5*x3^2*x4^3*x5^2*x6 +
312 -x2^5*x3^2*x4^3*x5^2 +
313 -x2^5*x3^2*x4^3*x5*x6 +
314 x2^5*x3^2*x4^3*x5 +
315 x2^5*x3^2*x4*x5^3*x6 +
316 -x2^5*x3^2*x4*x5^3 +
317 -x2^5*x3^2*x4*x5^2*x6 +
318 x2^5*x3^2*x4*x5^2 +
319 -x2^5*x3^2*x5^3*x6 +
320 x2^5*x3^2*x5^3 +
321 x2^5*x3^2*x5*x6 +
322 -x2^5*x3^2*x5 +
323 -x2^4*x3^6*x4^2*x5*x6 +
324 x2^4*x3^6*x4^2*x5 +
327 x2^4*x3^6*x5*x6 +
328 -x2^4*x3^6*x5 +
331 x2^4*x3^5*x4^2*x5*x6 +
332 -x2^4*x3^5*x4^2*x5 +
335 -x2^4*x3^5*x5*x6 +
336 x2^4*x3^5*x5 +
339 -x2^4*x3^4*x4*x5^4*x6 +
340 x2^4*x3^4*x4*x5^4 +
341 x2^4*x3^4*x4*x5^3*x6 +
342 -x2^4*x3^4*x4*x5^3 +
343 x2^4*x3^4*x5^4*x6 +
344 -x2^4*x3^4*x5^4 +
345 -x2^4*x3^4*x5^3*x6 +
346 x2^4*x3^4*x5^3 +
347 -x2^4*x3^3*x4*x5^5*x6 +
348 x2^4*x3^3*x4*x5^5 +
349 x2^4*x3^3*x4*x5^4*x6 +
350 -x2^4*x3^3*x4*x5^4 +
351 x2^4*x3^3*x5^5*x6 +
352 -x2^4*x3^3*x5^5 +
353 -x2^4*x3^3*x5^4*x6 +
354 x2^4*x3^3*x5^4 +
355 x2^4*x3^2*x4*x5^5*x6 +
356 -x2^4*x3^2*x4*x5^5 +
357 -x2^4*x3^2*x4*x5^3*x6 +
358 x2^4*x3^2*x4*x5^3 +
359 -x2^4*x3^2*x5^5*x6 +
360 x2^4*x3^2*x5^5 +
361 x2^4*x3^2*x5^3*x6 +
362 -x2^4*x3^2*x5^3 +
363 -x2^4*x3*x4^2*x5^6*x6 +
364 x2^4*x3*x4^2*x5^6 +
365 x2^4*x3*x4^2*x5^5*x6 +
366 -x2^4*x3*x4^2*x5^5 +
367 x2^4*x3*x4*x5^6*x6 +
368 -x2^4*x3*x4*x5^6 +
369 -x2^4*x3*x4*x5^5*x6 +
370 x2^4*x3*x4*x5^5 +
371 x2^4*x4^2*x5^6*x6 +
372 -x2^4*x4^2*x5^6 +
373 -x2^4*x4^2*x5^5*x6 +
374 x2^4*x4^2*x5^5 +
375 -x2^4*x4*x5^6*x6 +
376 x2^4*x4*x5^6 +
377 x2^4*x4*x5^5*x6 +
378 -x2^4*x4*x5^5 +
379 -x2^3*x3^2*x4^6*x5*x6 +
380 x2^3*x3^2*x4^6*x5 +
383 -x2^3*x3^2*x4^4*x5^3*x6 +
384 x2^3*x3^2*x4^4*x5^3 +
385 x2^3*x3^2*x4^4*x5*x6 +
386 -x2^3*x3^2*x4^4*x5 +
387 x2^3*x3^2*x4^3*x5^3*x6 +
388 -x2^3*x3^2*x4^3*x5^3 +
391 -x2^3*x3*x4^2*x5*x6^5 +
392 x2^3*x3*x4^2*x5*x6^4 +
395 x2^3*x3*x4*x5*x6^5 +
396 -x2^3*x3*x4*x5*x6^4 +
399 x2^3*x4^6*x5*x6 +
400 -x2^3*x4^6*x5 +
403 x2^3*x4^4*x5^3*x6 +
404 -x2^3*x4^4*x5^3 +
405 -x2^3*x4^4*x5*x6 +
406 x2^3*x4^4*x5 +
407 -x2^3*x4^3*x5^3*x6 +
408 x2^3*x4^3*x5^3 +
411 x2^3*x4^2*x5*x6^5 +
412 -x2^3*x4^2*x5*x6^4 +
415 -x2^3*x4*x5*x6^5 +
416 x2^3*x4*x5*x6^4 +
419 -x2^2*x3^2*x4^7*x5*x6 +
420 x2^2*x3^2*x4^7*x5 +
423 x2^2*x3^2*x4^6*x5*x6 +
424 -x2^2*x3^2*x4^6*x5 +
427 -x2^2*x3^2*x4*x5^5*x6^2 +
428 x2^2*x3^2*x4*x5^5*x6 +
429 x2^2*x3^2*x4*x5^4*x6^2 +
430 -x2^2*x3^2*x4*x5^4*x6 +
431 x2^2*x3^2*x5^5*x6^2 +
432 -x2^2*x3^2*x5^5*x6 +
433 -x2^2*x3^2*x5^4*x6^2 +
434 x2^2*x3^2*x5^4*x6 +
435 -x2^2*x3*x4^2*x5^5*x6^2 +
436 x2^2*x3*x4^2*x5^5*x6 +
437 x2^2*x3*x4^2*x5^4*x6^2 +
438 -x2^2*x3*x4^2*x5^4*x6 +
439 x2^2*x3*x4*x5^5*x6^2 +
440 -x2^2*x3*x4*x5^5*x6 +
441 -x2^2*x3*x4*x5^4*x6^2 +
442 x2^2*x3*x4*x5^4*x6 +
443 x2^2*x4^7*x5*x6 +
444 -x2^2*x4^7*x5 +
447 -x2^2*x4^6*x5*x6 +
448 x2^2*x4^6*x5 +
451 x2^2*x4^2*x5^5*x6^2 +
452 -x2^2*x4^2*x5^5*x6 +
453 -x2^2*x4^2*x5^4*x6^2 +
454 x2^2*x4^2*x5^4*x6 +
455 -x2^2*x5^5*x6^2 +
456 x2^2*x5^5*x6 +
457 x2^2*x5^4*x6^2 +
458 -x2^2*x5^4*x6 +
459 -x2*x3^2*x4^6*x5^2*x6 +
460 x2*x3^2*x4^6*x5^2 +
461 x2*x3^2*x4^6*x5*x6 +
462 -x2*x3^2*x4^6*x5 +
463 -x2*x3^2*x4^5*x5*x6^2 +
464 x2*x3^2*x4^5*x5*x6 +
467 x2*x3^2*x4^4*x5^2*x6 +
468 -x2*x3^2*x4^4*x5^2 +
469 -x2*x3^2*x4^4*x5*x6^3 +
470 x2*x3^2*x4^4*x5*x6^2 +
471 -x2*x3^2*x4^4*x5*x6 +
472 x2*x3^2*x4^4*x5 +
475 -x2*x3^2*x4^3*x5^3*x6^2 +
476 x2*x3^2*x4^3*x5^3*x6 +
477 -x2*x3^2*x4^3*x5^2*x6^3 +
478 x2*x3^2*x4^3*x5^2*x6^2 +
479 -x2*x3^2*x4^3*x5*x6^4 +
480 2*x2*x3^2*x4^3*x5*x6^3 +
481 -x2*x3^2*x4^3*x5*x6 +
484 x2*x3^2*x4^2*x5^3*x6^2 +
485 -x2*x3^2*x4^2*x5^3*x6 +
486 x2*x3^2*x4^2*x5^2*x6^3 +
487 -x2*x3^2*x4^2*x5^2*x6^2 +
488 x2*x3^2*x4^2*x5*x6^4 +
489 -x2*x3^2*x4^2*x5*x6^3 +
492 -x2*x3*x4^5*x5^2*x6^2 +
493 x2*x3*x4^5*x5^2*x6 +
494 -x2*x3*x4^5*x5*x6^3 +
495 2*x2*x3*x4^5*x5*x6^2 +
496 -x2*x3*x4^5*x5*x6 +
499 -x2*x3*x4^4*x5^3*x6^2 +
500 x2*x3*x4^4*x5^3*x6 +
501 -x2*x3*x4^4*x5^2*x6^3 +
502 2*x2*x3*x4^4*x5^2*x6^2 +
503 -x2*x3*x4^4*x5^2*x6 +
504 2*x2*x3*x4^4*x5*x6^3 +
505 -2*x2*x3*x4^4*x5*x6^2 +
508 x2*x3*x4^3*x5^3*x6^2 +
509 -x2*x3*x4^3*x5^3*x6 +
510 x2*x3*x4^3*x5^2*x6^3 +
511 -x2*x3*x4^3*x5^2*x6^2 +
512 -x2*x3*x4^3*x5*x6^3 +
513 x2*x3*x4^3*x5*x6 +
514 x2*x4^6*x5^2*x6 +
515 -x2*x4^6*x5^2 +
516 -x2*x4^6*x5*x6 +
517 x2*x4^6*x5 +
518 x2*x4^5*x5^2*x6^2 +
519 -x2*x4^5*x5^2*x6 +
520 x2*x4^5*x5*x6^3 +
521 -x2*x4^5*x5*x6^2 +
524 x2*x4^4*x5^3*x6^2 +
525 -x2*x4^4*x5^3*x6 +
526 x2*x4^4*x5^2*x6^3 +
527 -2*x2*x4^4*x5^2*x6^2 +
528 x2*x4^4*x5^2 +
529 -x2*x4^4*x5*x6^3 +
530 x2*x4^4*x5*x6^2 +
531 x2*x4^4*x5*x6 +
532 -x2*x4^4*x5 +
533 x2*x4^3*x5*x6^4 +
534 -x2*x4^3*x5*x6^3 +
537 -x2*x4^2*x5^3*x6^2 +
538 x2*x4^2*x5^3*x6 +
539 -x2*x4^2*x5^2*x6^3 +
540 x2*x4^2*x5^2*x6^2 +
541 -x2*x4^2*x5*x6^4 +
542 x2*x4^2*x5*x6^3 +
545 x3^6*x4^2*x5*x6 +
546 -x3^6*x4^2*x5 +
549 -x3^6*x5*x6 +
550 x3^6*x5 +
553 x3^4*x4^3*x5^2*x6 +
554 -x3^4*x4^3*x5^2 +
557 -x3^4*x4^2*x5*x6 +
558 x3^4*x4^2*x5 +
561 x3^4*x4*x5^4*x6 +
562 -x3^4*x4*x5^4 +
563 -x3^4*x4*x5^2*x6 +
564 x3^4*x4*x5^2 +
565 -x3^4*x5^4*x6 +
566 x3^4*x5^4 +
567 x3^4*x5*x6 +
568 -x3^4*x5 +
569 x3^3*x4*x5^5*x6 +
570 -x3^3*x4*x5^5 +
571 -x3^3*x4*x5^4*x6 +
572 x3^3*x4*x5^4 +
573 -x3^3*x5^5*x6 +
574 x3^3*x5^5 +
575 x3^3*x5^4*x6 +
576 -x3^3*x5^4 +
577 x3^2*x4^7*x5*x6 +
578 -x3^2*x4^7*x5 +
581 x3^2*x4^6*x5^2*x6 +
582 -x3^2*x4^6*x5^2 +
583 -x3^2*x4^6*x5*x6 +
584 x3^2*x4^6*x5 +
585 x3^2*x4^5*x5*x6^2 +
586 -x3^2*x4^5*x5*x6 +
589 x3^2*x4^4*x5^3*x6 +
590 -x3^2*x4^4*x5^3 +
591 -x3^2*x4^4*x5^2*x6 +
592 x3^2*x4^4*x5^2 +
593 x3^2*x4^4*x5*x6^3 +
594 -x3^2*x4^4*x5*x6^2 +
597 x3^2*x4^3*x5^3*x6^2 +
598 -x3^2*x4^3*x5^3*x6 +
599 x3^2*x4^3*x5^2*x6^3 +
600 -x3^2*x4^3*x5^2*x6^2 +
601 -x3^2*x4^3*x5^2*x6 +
602 x3^2*x4^3*x5^2 +
603 x3^2*x4^3*x5*x6^4 +
604 -2*x3^2*x4^3*x5*x6^3 +
605 x3^2*x4^3*x5*x6 +
610 x3^2*x4*x5^5*x6^2 +
611 -x3^2*x4*x5^5*x6 +
612 x3^2*x4*x5^3*x6^3 +
613 -2*x3^2*x4*x5^3*x6^2 +
614 x3^2*x4*x5^3 +
615 -x3^2*x4*x5^2*x6^3 +
616 x3^2*x4*x5^2*x6^2 +
617 x3^2*x4*x5^2*x6 +
618 -x3^2*x4*x5^2 +
619 -x3^2*x5^5*x6^2 +
620 x3^2*x5^5*x6 +
621 -x3^2*x5^3*x6^3 +
622 x3^2*x5^3*x6^2 +
623 -x3^2*x5*x6^4 +
624 x3^2*x5*x6^3 +
627 x3*x4^5*x5^2*x6^2 +
628 -x3*x4^5*x5^2*x6 +
629 x3*x4^5*x5*x6^3 +
630 -2*x3*x4^5*x5*x6^2 +
631 x3*x4^5*x5*x6 +
634 x3*x4^4*x5^3*x6^2 +
635 -x3*x4^4*x5^3*x6 +
636 x3*x4^4*x5^2*x6^3 +
637 -2*x3*x4^4*x5^2*x6^2 +
638 x3*x4^4*x5^2*x6 +
639 -2*x3*x4^4*x5*x6^3 +
640 2*x3*x4^4*x5*x6^2 +
643 -x3*x4^3*x5^3*x6^2 +
644 x3*x4^3*x5^3*x6 +
645 -x3*x4^3*x5^2*x6^3 +
646 x3*x4^3*x5^2*x6^2 +
647 x3*x4^3*x5*x6^3 +
648 -x3*x4^3*x5*x6 +
649 x3*x4^2*x5^6*x6 +
650 -x3*x4^2*x5^6 +
651 x3*x4^2*x5^5*x6^2 +
652 -x3*x4^2*x5^5*x6 +
653 -x3*x4^2*x5^3*x6^2 +
654 x3*x4^2*x5^3 +
655 x3*x4^2*x5*x6^5 +
656 -x3*x4^2*x5*x6^4 +
659 -x3*x4*x5^5*x6^2 +
660 x3*x4*x5^5 +
661 x3*x4*x5^3*x6^2 +
662 -x3*x4*x5^3 +
663 -x3*x5^6*x6 +
664 x3*x5^6 +
665 x3*x5^5*x6 +
666 -x3*x5^5 +
667 -x3*x5*x6^5 +
668 x3*x5*x6^4 +
671 -x4^7*x5*x6 +
672 x4^7*x5 +
675 -x4^6*x5^2*x6 +
676 x4^6*x5^2 +
677 x4^6*x5*x6 +
678 -x4^6*x5 +
679 -x4^5*x5^2*x6^2 +
680 x4^5*x5^2*x6 +
681 -x4^5*x5*x6^3 +
682 x4^5*x5*x6^2 +
685 -x4^4*x5^3*x6^2 +
686 x4^4*x5^3 +
687 -x4^4*x5^2*x6^3 +
688 2*x4^4*x5^2*x6^2 +
689 -x4^4*x5^2 +
690 x4^4*x5*x6^3 +
691 -x4^4*x5*x6^2 +
692 -x4^3*x5*x6^4 +
693 x4^3*x5*x6^3 +
696 -x4^2*x5^6*x6 +
697 x4^2*x5^6 +
698 -x4^2*x5^5*x6^2 +
699 x4^2*x5^5*x6 +
700 x4^2*x5^3*x6^2 +
701 -x4^2*x5^3 +
702 -x4^2*x5*x6^5 +
703 x4^2*x5*x6^4 +
706 -x4*x5^3*x6^3 +
707 x4*x5^3*x6^2 +
708 x4*x5^2*x6^3 +
709 -x4*x5^2*x6^2 +
710 x5^6*x6 +
711 -x5^6 +
712 x5^5*x6^2 +
713 -x5^5*x6 +
714 x5^3*x6^3 +
715 -x5^3*x6^2 +
716 x5*x6^5 +
717 -x5*x6^3 +