1R = QQ[x1, x2, x3, x4, x5, x6, x7];
2p =
3 x2^5*x3^4*x4*x5*x6*x7 +
4 -x2^5*x3^4*x4*x5*x6 +
5 -x2^5*x3^4*x4*x5*x7 +
6 x2^5*x3^4*x4*x5 +
7 -x2^5*x3^4*x4*x6*x7 +
8 x2^5*x3^4*x4*x6 +
9 x2^5*x3^4*x4*x7 +
10 -x2^5*x3^4*x4 +
11 -x2^5*x3^4*x5*x6*x7 +
12 x2^5*x3^4*x5*x6 +
13 x2^5*x3^4*x5*x7 +
14 -x2^5*x3^4*x5 +
15 x2^5*x3^4*x6*x7 +
16 -x2^5*x3^4*x6 +
17 -x2^5*x3^4*x7 +
18 x2^5*x3^4 +
19 x2^5*x3^2*x4*x5*x6*x7^2 +
20 -x2^5*x3^2*x4*x5*x6*x7 +
21 -x2^5*x3^2*x4*x5*x7^2 +
22 x2^5*x3^2*x4*x5*x7 +
23 -x2^5*x3^2*x4*x6*x7^2 +
24 x2^5*x3^2*x4*x6*x7 +
25 x2^5*x3^2*x4*x7^2 +
26 -x2^5*x3^2*x4*x7 +
27 -x2^5*x3^2*x5*x6*x7^2 +
28 x2^5*x3^2*x5*x6*x7 +
29 x2^5*x3^2*x5*x7^2 +
30 -x2^5*x3^2*x5*x7 +
31 x2^5*x3^2*x6*x7^2 +
32 -x2^5*x3^2*x6*x7 +
33 -x2^5*x3^2*x7^2 +
34 x2^5*x3^2*x7 +
35 x2^5*x3*x4^2*x5*x6*x7^2 +
36 -x2^5*x3*x4^2*x5*x6 +
37 -x2^5*x3*x4^2*x5*x7^2 +
38 x2^5*x3*x4^2*x5 +
39 -x2^5*x3*x4^2*x6*x7^2 +
40 x2^5*x3*x4^2*x6 +
41 x2^5*x3*x4^2*x7^2 +
42 -x2^5*x3*x4^2 +
43 x2^5*x3*x4*x5^2*x6*x7 +
44 -x2^5*x3*x4*x5^2*x6 +
45 -x2^5*x3*x4*x5^2*x7 +
46 x2^5*x3*x4*x5^2 +
47 -x2^5*x3*x4*x5*x6*x7^2 +
48 -x2^5*x3*x4*x5*x6*x7 +
49 2*x2^5*x3*x4*x5*x6 +
50 x2^5*x3*x4*x5*x7^2 +
51 x2^5*x3*x4*x5*x7 +
52 -2*x2^5*x3*x4*x5 +
53 x2^5*x3*x4*x6*x7^2 +
54 -x2^5*x3*x4*x6 +
55 -x2^5*x3*x4*x7^2 +
56 x2^5*x3*x4 +
57 -x2^5*x3*x5^2*x6*x7 +
58 x2^5*x3*x5^2*x6 +
59 x2^5*x3*x5^2*x7 +
60 -x2^5*x3*x5^2 +
61 x2^5*x3*x5*x6*x7 +
62 -x2^5*x3*x5*x6 +
63 -x2^5*x3*x5*x7 +
64 x2^5*x3*x5 +
65 -x2^5*x4^2*x5*x6*x7^2 +
66 x2^5*x4^2*x5*x6 +
67 x2^5*x4^2*x5*x7^2 +
68 -x2^5*x4^2*x5 +
69 x2^5*x4^2*x6*x7^2 +
70 -x2^5*x4^2*x6 +
71 -x2^5*x4^2*x7^2 +
72 x2^5*x4^2 +
73 -x2^5*x4*x5^2*x6*x7 +
74 x2^5*x4*x5^2*x6 +
75 x2^5*x4*x5^2*x7 +
76 -x2^5*x4*x5^2 +
77 x2^5*x4*x5*x6*x7 +
78 -x2^5*x4*x5*x6 +
79 -x2^5*x4*x5*x7 +
80 x2^5*x4*x5 +
81 x2^5*x5^2*x6*x7 +
82 -x2^5*x5^2*x6 +
83 -x2^5*x5^2*x7 +
84 x2^5*x5^2 +
85 x2^5*x5*x6*x7^2 +
86 -x2^5*x5*x6*x7 +
87 -x2^5*x5*x7^2 +
88 x2^5*x5*x7 +
89 -x2^5*x6*x7^2 +
90 x2^5*x6 +
91 x2^5*x7^2 +
92 -x2^5 +
93 x2^4*x3^4*x4*x5*x6*x7^2 +
94 -x2^4*x3^4*x4*x5*x6*x7 +
95 -x2^4*x3^4*x4*x5*x7^2 +
96 x2^4*x3^4*x4*x5*x7 +
97 -x2^4*x3^4*x4*x6*x7^2 +
98 x2^4*x3^4*x4*x6*x7 +
99 x2^4*x3^4*x4*x7^2 +
100 -x2^4*x3^4*x4*x7 +
101 -x2^4*x3^4*x5*x6*x7^2 +
102 x2^4*x3^4*x5*x6*x7 +
103 x2^4*x3^4*x5*x7^2 +
104 -x2^4*x3^4*x5*x7 +
105 x2^4*x3^4*x6*x7^2 +
106 -x2^4*x3^4*x6*x7 +
107 -x2^4*x3^4*x7^2 +
108 x2^4*x3^4*x7 +
109 -x2^4*x3^2*x4*x5*x6*x7^2 +
110 x2^4*x3^2*x4*x5*x6*x7 +
111 x2^4*x3^2*x4*x5*x7^2 +
112 -x2^4*x3^2*x4*x5*x7 +
113 x2^4*x3^2*x4*x6*x7^2 +
114 -x2^4*x3^2*x4*x6*x7 +
115 -x2^4*x3^2*x4*x7^2 +
116 x2^4*x3^2*x4*x7 +
117 x2^4*x3^2*x5*x6*x7^2 +
118 -x2^4*x3^2*x5*x6*x7 +
119 -x2^4*x3^2*x5*x7^2 +
120 x2^4*x3^2*x5*x7 +
121 -x2^4*x3^2*x6*x7^2 +
122 x2^4*x3^2*x6*x7 +
123 x2^4*x3^2*x7^2 +
124 -x2^4*x3^2*x7 +
125 x2^4*x3*x4*x5^2*x6*x7^2 +
126 -x2^4*x3*x4*x5^2*x6*x7 +
127 -x2^4*x3*x4*x5^2*x7^2 +
128 x2^4*x3*x4*x5^2*x7 +
129 x2^4*x3*x4*x5*x6^2*x7^2 +
130 -x2^4*x3*x4*x5*x6^2 +
131 -2*x2^4*x3*x4*x5*x6*x7^2 +
132 x2^4*x3*x4*x5*x6*x7 +
133 x2^4*x3*x4*x5*x6 +
134 x2^4*x3*x4*x5*x7^2 +
135 -x2^4*x3*x4*x5*x7 +
136 -x2^4*x3*x4*x6^2*x7^2 +
137 x2^4*x3*x4*x6^2 +
138 x2^4*x3*x4*x6*x7^2 +
139 -x2^4*x3*x4*x6 +
140 -x2^4*x3*x5^2*x6*x7^2 +
141 x2^4*x3*x5^2*x6*x7 +
142 x2^4*x3*x5^2*x7^2 +
143 -x2^4*x3*x5^2*x7 +
144 -x2^4*x3*x5*x6^2*x7^2 +
145 x2^4*x3*x5*x6^2 +
146 2*x2^4*x3*x5*x6*x7^2 +
147 -x2^4*x3*x5*x6*x7 +
148 -x2^4*x3*x5*x6 +
149 -x2^4*x3*x5*x7^2 +
150 x2^4*x3*x5*x7 +
151 x2^4*x3*x6^2*x7^2 +
152 -x2^4*x3*x6^2 +
153 -x2^4*x3*x6*x7^2 +
154 x2^4*x3*x6 +
155 -x2^4*x4*x5^2*x6*x7^2 +
156 x2^4*x4*x5^2*x6*x7 +
157 x2^4*x4*x5^2*x7^2 +
158 -x2^4*x4*x5^2*x7 +
159 -x2^4*x4*x5*x6^2*x7^2 +
160 x2^4*x4*x5*x6^2 +
161 2*x2^4*x4*x5*x6*x7^2 +
162 -x2^4*x4*x5*x6*x7 +
163 -x2^4*x4*x5*x6 +
164 -x2^4*x4*x5*x7^2 +
165 x2^4*x4*x5*x7 +
166 x2^4*x4*x6^2*x7^2 +
167 -x2^4*x4*x6^2 +
168 -x2^4*x4*x6*x7^2 +
169 x2^4*x4*x6 +
170 x2^4*x5^2*x6*x7^2 +
171 -x2^4*x5^2*x6*x7 +
172 -x2^4*x5^2*x7^2 +
173 x2^4*x5^2*x7 +
174 x2^4*x5*x6^2*x7^2 +
175 -x2^4*x5*x6^2 +
176 -2*x2^4*x5*x6*x7^2 +
177 x2^4*x5*x6*x7 +
178 x2^4*x5*x6 +
179 x2^4*x5*x7^2 +
180 -x2^4*x5*x7 +
181 -x2^4*x6^2*x7^2 +
182 x2^4*x6^2 +
183 x2^4*x6*x7^2 +
184 -x2^4*x6 +
185 x2^3*x3^3*x4*x5*x6*x7^3 +
186 -x2^3*x3^3*x4*x5*x6*x7^2 +
187 -x2^3*x3^3*x4*x5*x7^3 +
188 x2^3*x3^3*x4*x5*x7^2 +
189 -x2^3*x3^3*x4*x6*x7^3 +
190 x2^3*x3^3*x4*x6*x7^2 +
191 x2^3*x3^3*x4*x7^3 +
192 -x2^3*x3^3*x4*x7^2 +
193 -x2^3*x3^3*x5*x6*x7^3 +
194 x2^3*x3^3*x5*x6*x7^2 +
195 x2^3*x3^3*x5*x7^3 +
196 -x2^3*x3^3*x5*x7^2 +
197 x2^3*x3^3*x6*x7^3 +
198 -x2^3*x3^3*x6*x7^2 +
199 -x2^3*x3^3*x7^3 +
200 x2^3*x3^3*x7^2 +
201 x2^3*x3^2*x4^2*x5*x6*x7 +
202 -x2^3*x3^2*x4^2*x5*x6 +
203 -x2^3*x3^2*x4^2*x5*x7 +
204 x2^3*x3^2*x4^2*x5 +
205 -x2^3*x3^2*x4^2*x6*x7 +
206 x2^3*x3^2*x4^2*x6 +
207 x2^3*x3^2*x4^2*x7 +
208 -x2^3*x3^2*x4^2 +
209 x2^3*x3^2*x4*x5*x6^2*x7^2 +
210 -x2^3*x3^2*x4*x5*x6^2 +
211 -x2^3*x3^2*x4*x5*x6*x7^2 +
212 -x2^3*x3^2*x4*x5*x6*x7 +
213 2*x2^3*x3^2*x4*x5*x6 +
214 x2^3*x3^2*x4*x5*x7 +
215 -x2^3*x3^2*x4*x5 +
216 -x2^3*x3^2*x4*x6^2*x7^2 +
217 x2^3*x3^2*x4*x6^2 +
218 x2^3*x3^2*x4*x6*x7^2 +
219 x2^3*x3^2*x4*x6*x7 +
220 -2*x2^3*x3^2*x4*x6 +
221 -x2^3*x3^2*x4*x7 +
222 x2^3*x3^2*x4 +
223 -x2^3*x3^2*x5*x6^2*x7^2 +
224 x2^3*x3^2*x5*x6^2 +
225 x2^3*x3^2*x5*x6*x7^2 +
226 -x2^3*x3^2*x5*x6 +
227 x2^3*x3^2*x6^2*x7^2 +
228 -x2^3*x3^2*x6^2 +
229 -x2^3*x3^2*x6*x7^2 +
230 x2^3*x3^2*x6 +
231 x2^3*x3*x4^2*x5*x6*x7^3 +
232 -x2^3*x3*x4^2*x5*x6*x7^2 +
233 -x2^3*x3*x4^2*x5*x6*x7 +
234 x2^3*x3*x4^2*x5*x6 +
235 -x2^3*x3*x4^2*x5*x7^3 +
236 x2^3*x3*x4^2*x5*x7^2 +
237 x2^3*x3*x4^2*x5*x7 +
238 -x2^3*x3*x4^2*x5 +
239 -x2^3*x3*x4^2*x6*x7^3 +
240 x2^3*x3*x4^2*x6*x7^2 +
241 x2^3*x3*x4^2*x6*x7 +
242 -x2^3*x3*x4^2*x6 +
243 x2^3*x3*x4^2*x7^3 +
244 -x2^3*x3*x4^2*x7^2 +
245 -x2^3*x3*x4^2*x7 +
246 x2^3*x3*x4^2 +
247 -x2^3*x3*x4*x5*x6^2*x7^2 +
248 x2^3*x3*x4*x5*x6^2 +
249 -x2^3*x3*x4*x5*x6*x7^3 +
250 2*x2^3*x3*x4*x5*x6*x7^2 +
251 x2^3*x3*x4*x5*x6*x7 +
252 -2*x2^3*x3*x4*x5*x6 +
253 x2^3*x3*x4*x5*x7^3 +
254 -x2^3*x3*x4*x5*x7^2 +
255 -x2^3*x3*x4*x5*x7 +
256 x2^3*x3*x4*x5 +
257 x2^3*x3*x4*x6^2*x7^2 +
258 -x2^3*x3*x4*x6^2 +
259 x2^3*x3*x4*x6*x7^3 +
260 -2*x2^3*x3*x4*x6*x7^2 +
261 -x2^3*x3*x4*x6*x7 +
262 2*x2^3*x3*x4*x6 +
263 -x2^3*x3*x4*x7^3 +
264 x2^3*x3*x4*x7^2 +
265 x2^3*x3*x4*x7 +
266 -x2^3*x3*x4 +
267 x2^3*x3*x5*x6^2*x7^2 +
268 -x2^3*x3*x5*x6^2 +
269 -x2^3*x3*x5*x6*x7^2 +
270 x2^3*x3*x5*x6 +
271 -x2^3*x3*x6^2*x7^2 +
272 x2^3*x3*x6^2 +
273 x2^3*x3*x6*x7^2 +
274 -x2^3*x3*x6 +
275 -x2^3*x4^2*x5*x6*x7^3 +
276 x2^3*x4^2*x5*x6*x7^2 +
277 x2^3*x4^2*x5*x7^3 +
278 -x2^3*x4^2*x5*x7^2 +
279 x2^3*x4^2*x6*x7^3 +
280 -x2^3*x4^2*x6*x7^2 +
281 -x2^3*x4^2*x7^3 +
282 x2^3*x4^2*x7^2 +
283 x2^3*x5*x6*x7^3 +
284 -x2^3*x5*x6*x7^2 +
285 -x2^3*x5*x7^3 +
286 x2^3*x5*x7^2 +
287 -x2^3*x6*x7^3 +
288 x2^3*x6*x7^2 +
289 x2^3*x7^3 +
290 -x2^3*x7^2 +
291 x2^2*x3^4*x4^3*x5*x6*x7 +
292 -x2^2*x3^4*x4^3*x5*x6 +
293 -x2^2*x3^4*x4^3*x5*x7 +
294 x2^2*x3^4*x4^3*x5 +
295 -x2^2*x3^4*x4^3*x6*x7 +
296 x2^2*x3^4*x4^3*x6 +
297 x2^2*x3^4*x4^3*x7 +
298 -x2^2*x3^4*x4^3 +
299 x2^2*x3^4*x4*x5*x6*x7^3 +
300 -x2^2*x3^4*x4*x5*x6*x7^2 +
301 -x2^2*x3^4*x4*x5*x6*x7 +
302 x2^2*x3^4*x4*x5*x6 +
303 -x2^2*x3^4*x4*x5*x7^3 +
304 x2^2*x3^4*x4*x5*x7^2 +
305 x2^2*x3^4*x4*x5*x7 +
306 -x2^2*x3^4*x4*x5 +
307 -x2^2*x3^4*x4*x6*x7^3 +
308 x2^2*x3^4*x4*x6*x7^2 +
309 x2^2*x3^4*x4*x6*x7 +
310 -x2^2*x3^4*x4*x6 +
311 x2^2*x3^4*x4*x7^3 +
312 -x2^2*x3^4*x4*x7^2 +
313 -x2^2*x3^4*x4*x7 +
314 x2^2*x3^4*x4 +
315 -x2^2*x3^4*x5*x6*x7^3 +
316 x2^2*x3^4*x5*x6*x7^2 +
317 x2^2*x3^4*x5*x7^3 +
318 -x2^2*x3^4*x5*x7^2 +
319 x2^2*x3^4*x6*x7^3 +
320 -x2^2*x3^4*x6*x7^2 +
321 -x2^2*x3^4*x7^3 +
322 x2^2*x3^4*x7^2 +
323 x2^2*x3^3*x4^5*x5*x6*x7 +
324 -x2^2*x3^3*x4^5*x5*x6 +
325 -x2^2*x3^3*x4^5*x5*x7 +
326 x2^2*x3^3*x4^5*x5 +
327 -x2^2*x3^3*x4^5*x6*x7 +
328 x2^2*x3^3*x4^5*x6 +
329 x2^2*x3^3*x4^5*x7 +
330 -x2^2*x3^3*x4^5 +
331 -x2^2*x3^3*x4^3*x5*x6*x7 +
332 x2^2*x3^3*x4^3*x5*x6 +
333 x2^2*x3^3*x4^3*x5*x7 +
334 -x2^2*x3^3*x4^3*x5 +
335 x2^2*x3^3*x4^3*x6*x7 +
336 -x2^2*x3^3*x4^3*x6 +
337 -x2^2*x3^3*x4^3*x7 +
338 x2^2*x3^3*x4^3 +
339 -x2^2*x3^3*x4*x5*x6*x7^3 +
340 x2^2*x3^3*x4*x5*x6*x7^2 +
341 x2^2*x3^3*x4*x5*x7^3 +
342 -x2^2*x3^3*x4*x5*x7^2 +
343 x2^2*x3^3*x4*x6*x7^3 +
344 -x2^2*x3^3*x4*x6*x7^2 +
345 -x2^2*x3^3*x4*x7^3 +
346 x2^2*x3^3*x4*x7^2 +
347 x2^2*x3^3*x5*x6*x7^3 +
348 -x2^2*x3^3*x5*x6*x7^2 +
349 -x2^2*x3^3*x5*x7^3 +
350 x2^2*x3^3*x5*x7^2 +
351 -x2^2*x3^3*x6*x7^3 +
352 x2^2*x3^3*x6*x7^2 +
353 x2^2*x3^3*x7^3 +
354 -x2^2*x3^3*x7^2 +
355 x2^2*x3^2*x4^4*x5*x6^2*x7 +
356 -x2^2*x3^2*x4^4*x5*x6^2 +
357 -x2^2*x3^2*x4^4*x5*x6*x7 +
358 x2^2*x3^2*x4^4*x5*x6 +
359 -x2^2*x3^2*x4^4*x6^2*x7 +
360 x2^2*x3^2*x4^4*x6^2 +
361 x2^2*x3^2*x4^4*x6*x7 +
362 -x2^2*x3^2*x4^4*x6 +
363 -x2^2*x3^2*x4^2*x5*x6*x7 +
364 x2^2*x3^2*x4^2*x5*x6 +
365 x2^2*x3^2*x4^2*x5*x7 +
366 -x2^2*x3^2*x4^2*x5 +
367 x2^2*x3^2*x4^2*x6*x7 +
368 -x2^2*x3^2*x4^2*x6 +
369 -x2^2*x3^2*x4^2*x7 +
370 x2^2*x3^2*x4^2 +
371 -x2^2*x3^2*x4*x5*x6^2*x7 +
372 x2^2*x3^2*x4*x5*x6^2 +
373 2*x2^2*x3^2*x4*x5*x6*x7 +
374 -2*x2^2*x3^2*x4*x5*x6 +
375 -x2^2*x3^2*x4*x5*x7 +
376 x2^2*x3^2*x4*x5 +
377 x2^2*x3^2*x4*x6^2*x7 +
378 -x2^2*x3^2*x4*x6^2 +
379 -2*x2^2*x3^2*x4*x6*x7 +
380 2*x2^2*x3^2*x4*x6 +
381 x2^2*x3^2*x4*x7 +
382 -x2^2*x3^2*x4 +
383 x2^2*x3*x4^6*x5*x6*x7 +
384 -x2^2*x3*x4^6*x5*x6 +
385 -x2^2*x3*x4^6*x5*x7 +
386 x2^2*x3*x4^6*x5 +
387 -x2^2*x3*x4^6*x6*x7 +
388 x2^2*x3*x4^6*x6 +
389 x2^2*x3*x4^6*x7 +
390 -x2^2*x3*x4^6 +
391 -x2^2*x3*x4^5*x5*x6*x7 +
392 x2^2*x3*x4^5*x5*x6 +
393 x2^2*x3*x4^5*x5*x7 +
394 -x2^2*x3*x4^5*x5 +
395 x2^2*x3*x4^5*x6*x7 +
396 -x2^2*x3*x4^5*x6 +
397 -x2^2*x3*x4^5*x7 +
398 x2^2*x3*x4^5 +
399 x2^2*x3*x4^3*x5*x6*x7^3 +
400 -x2^2*x3*x4^3*x5*x6*x7 +
401 -x2^2*x3*x4^3*x5*x7^3 +
402 x2^2*x3*x4^3*x5*x7 +
403 -x2^2*x3*x4^3*x6*x7^3 +
404 x2^2*x3*x4^3*x6*x7 +
405 x2^2*x3*x4^3*x7^3 +
406 -x2^2*x3*x4^3*x7 +
407 -x2^2*x3*x4^2*x5*x6*x7^3 +
408 x2^2*x3*x4^2*x5*x6*x7 +
409 x2^2*x3*x4^2*x5*x7^3 +
410 -x2^2*x3*x4^2*x5*x7 +
411 x2^2*x3*x4^2*x6*x7^3 +
412 -x2^2*x3*x4^2*x6*x7 +
413 -x2^2*x3*x4^2*x7^3 +
414 x2^2*x3*x4^2*x7 +
415 x2^2*x3*x4*x5^2*x6*x7^3 +
416 -x2^2*x3*x4*x5^2*x6*x7^2 +
417 -x2^2*x3*x4*x5^2*x7^3 +
418 x2^2*x3*x4*x5^2*x7^2 +
419 -x2^2*x3*x4*x5*x6*x7^3 +
420 x2^2*x3*x4*x5*x6*x7^2 +
421 x2^2*x3*x4*x5*x7^3 +
422 -x2^2*x3*x4*x5*x7^2 +
423 -x2^2*x3*x5^2*x6*x7^3 +
424 x2^2*x3*x5^2*x6*x7^2 +
425 x2^2*x3*x5^2*x7^3 +
426 -x2^2*x3*x5^2*x7^2 +
427 x2^2*x3*x5*x6*x7^3 +
428 -x2^2*x3*x5*x6*x7^2 +
429 -x2^2*x3*x5*x7^3 +
430 x2^2*x3*x5*x7^2 +
431 -x2^2*x4^6*x5*x6*x7 +
432 x2^2*x4^6*x5*x6 +
433 x2^2*x4^6*x5*x7 +
434 -x2^2*x4^6*x5 +
435 x2^2*x4^6*x6*x7 +
436 -x2^2*x4^6*x6 +
437 -x2^2*x4^6*x7 +
438 x2^2*x4^6 +
439 -x2^2*x4^4*x5*x6^2*x7 +
440 x2^2*x4^4*x5*x6^2 +
441 x2^2*x4^4*x5*x6*x7 +
442 -x2^2*x4^4*x5*x6 +
443 x2^2*x4^4*x6^2*x7 +
444 -x2^2*x4^4*x6^2 +
445 -x2^2*x4^4*x6*x7 +
446 x2^2*x4^4*x6 +
447 -x2^2*x4^3*x5*x6*x7^3 +
448 x2^2*x4^3*x5*x6*x7 +
449 x2^2*x4^3*x5*x7^3 +
450 -x2^2*x4^3*x5*x7 +
451 x2^2*x4^3*x6*x7^3 +
452 -x2^2*x4^3*x6*x7 +
453 -x2^2*x4^3*x7^3 +
454 x2^2*x4^3*x7 +
455 x2^2*x4^2*x5*x6*x7^3 +
456 -x2^2*x4^2*x5*x6 +
457 -x2^2*x4^2*x5*x7^3 +
458 x2^2*x4^2*x5 +
459 -x2^2*x4^2*x6*x7^3 +
460 x2^2*x4^2*x6 +
461 x2^2*x4^2*x7^3 +
462 -x2^2*x4^2 +
463 -x2^2*x4*x5^2*x6*x7^3 +
464 x2^2*x4*x5^2*x6*x7^2 +
465 x2^2*x4*x5^2*x7^3 +
466 -x2^2*x4*x5^2*x7^2 +
467 x2^2*x4*x5*x6^2*x7 +
468 -x2^2*x4*x5*x6^2 +
469 x2^2*x4*x5*x6*x7^3 +
470 -x2^2*x4*x5*x6*x7^2 +
471 -x2^2*x4*x5*x6*x7 +
472 x2^2*x4*x5*x6 +
473 -x2^2*x4*x5*x7^3 +
474 x2^2*x4*x5*x7^2 +
475 -x2^2*x4*x6^2*x7 +
476 x2^2*x4*x6^2 +
477 x2^2*x4*x6*x7 +
478 -x2^2*x4*x6 +
479 x2^2*x5^2*x6*x7^3 +
480 -x2^2*x5^2*x6*x7^2 +
481 -x2^2*x5^2*x7^3 +
482 x2^2*x5^2*x7^2 +
483 -x2^2*x5*x6*x7^3 +
484 x2^2*x5*x6*x7^2 +
485 x2^2*x5*x7^3 +
486 -x2^2*x5*x7^2 +
487 x2*x3^5*x4^3*x5*x6*x7 +
488 -x2*x3^5*x4^3*x5*x6 +
489 -x2*x3^5*x4^3*x5*x7 +
490 x2*x3^5*x4^3*x5 +
491 -x2*x3^5*x4^3*x6*x7 +
492 x2*x3^5*x4^3*x6 +
493 x2*x3^5*x4^3*x7 +
494 -x2*x3^5*x4^3 +
495 x2*x3^5*x4*x5*x6^2*x7 +
496 -x2*x3^5*x4*x5*x6^2 +
497 -x2*x3^5*x4*x5*x6*x7 +
498 x2*x3^5*x4*x5*x6 +
499 -x2*x3^5*x4*x6^2*x7 +
500 x2*x3^5*x4*x6^2 +
501 x2*x3^5*x4*x6*x7 +
502 -x2*x3^5*x4*x6 +
503 -x2*x3^5*x5*x6^2*x7 +
504 x2*x3^5*x5*x6^2 +
505 x2*x3^5*x5*x7 +
506 -x2*x3^5*x5 +
507 x2*x3^5*x6^2*x7 +
508 -x2*x3^5*x6^2 +
509 -x2*x3^5*x7 +
510 x2*x3^5 +
511 x2*x3^4*x4^3*x5*x6^2*x7 +
512 -x2*x3^4*x4^3*x5*x6^2 +
513 -2*x2*x3^4*x4^3*x5*x6*x7 +
514 2*x2*x3^4*x4^3*x5*x6 +
515 x2*x3^4*x4^3*x5*x7 +
516 -x2*x3^4*x4^3*x5 +
517 -x2*x3^4*x4^3*x6^2*x7 +
518 x2*x3^4*x4^3*x6^2 +
519 2*x2*x3^4*x4^3*x6*x7 +
520 -2*x2*x3^4*x4^3*x6 +
521 -x2*x3^4*x4^3*x7 +
522 x2*x3^4*x4^3 +
523 -x2*x3^4*x4*x5*x6^2*x7 +
524 x2*x3^4*x4*x5*x6^2 +
525 x2*x3^4*x4*x5*x6*x7 +
526 -x2*x3^4*x4*x5*x6 +
527 x2*x3^4*x4*x6^2*x7 +
528 -x2*x3^4*x4*x6^2 +
529 -x2*x3^4*x4*x6*x7 +
530 x2*x3^4*x4*x6 +
531 x2*x3^4*x5*x6*x7 +
532 -x2*x3^4*x5*x6 +
533 -x2*x3^4*x5*x7 +
534 x2*x3^4*x5 +
535 -x2*x3^4*x6*x7 +
536 x2*x3^4*x6 +
537 x2*x3^4*x7 +
538 -x2*x3^4 +
539 x2*x3^2*x4^7*x5*x6*x7 +
540 -x2*x3^2*x4^7*x5*x6 +
541 -x2*x3^2*x4^7*x5*x7 +
542 x2*x3^2*x4^7*x5 +
543 -x2*x3^2*x4^7*x6*x7 +
544 x2*x3^2*x4^7*x6 +
545 x2*x3^2*x4^7*x7 +
546 -x2*x3^2*x4^7 +
547 -x2*x3^2*x4^5*x5*x6*x7 +
548 x2*x3^2*x4^5*x5*x6 +
549 x2*x3^2*x4^5*x5*x7 +
550 -x2*x3^2*x4^5*x5 +
551 x2*x3^2*x4^5*x6*x7 +
552 -x2*x3^2*x4^5*x6 +
553 -x2*x3^2*x4^5*x7 +
554 x2*x3^2*x4^5 +
555 -x2*x3^2*x4^3*x5*x6^2*x7 +
556 x2*x3^2*x4^3*x5*x6^2 +
557 x2*x3^2*x4^3*x5*x6*x7 +
558 -x2*x3^2*x4^3*x5*x6 +
559 x2*x3^2*x4^3*x6^2*x7 +
560 -x2*x3^2*x4^3*x6^2 +
561 -x2*x3^2*x4^3*x6*x7 +
562 x2*x3^2*x4^3*x6 +
563 x2*x3^2*x4*x5^2*x6^2*x7 +
564 -x2*x3^2*x4*x5^2*x6^2 +
565 x2*x3^2*x4*x5^2*x6*x7^3 +
566 -x2*x3^2*x4*x5^2*x6*x7 +
567 -x2*x3^2*x4*x5^2*x7^3 +
568 x2*x3^2*x4*x5^2 +
569 x2*x3^2*x4*x5*x6^2*x7^3 +
570 -x2*x3^2*x4*x5*x6^2*x7^2 +
571 -x2*x3^2*x4*x5*x6^2*x7 +
572 x2*x3^2*x4*x5*x6^2 +
573 -2*x2*x3^2*x4*x5*x6*x7^3 +
574 x2*x3^2*x4*x5*x6*x7^2 +
575 x2*x3^2*x4*x5*x6*x7 +
576 x2*x3^2*x4*x5*x7^3 +
577 -x2*x3^2*x4*x5 +
578 -x2*x3^2*x4*x6^2*x7^3 +
579 x2*x3^2*x4*x6^2*x7^2 +
580 x2*x3^2*x4*x6*x7^3 +
581 -x2*x3^2*x4*x6*x7^2 +
582 -x2*x3^2*x5^2*x6^2*x7 +
583 x2*x3^2*x5^2*x6^2 +
584 -x2*x3^2*x5^2*x6*x7^3 +
585 x2*x3^2*x5^2*x6*x7 +
586 x2*x3^2*x5^2*x7^3 +
587 -x2*x3^2*x5^2 +
588 -x2*x3^2*x5*x6^2*x7^3 +
589 x2*x3^2*x5*x6^2*x7^2 +
590 2*x2*x3^2*x5*x6^2*x7 +
591 -2*x2*x3^2*x5*x6^2 +
592 2*x2*x3^2*x5*x6*x7^3 +
593 -x2*x3^2*x5*x6*x7^2 +
594 -2*x2*x3^2*x5*x6*x7 +
595 x2*x3^2*x5*x6 +
596 -x2*x3^2*x5*x7^3 +
597 x2*x3^2*x5 +
598 x2*x3^2*x6^2*x7^3 +
599 -x2*x3^2*x6^2*x7^2 +
600 -x2*x3^2*x6^2*x7 +
601 x2*x3^2*x6^2 +
602 -x2*x3^2*x6*x7^3 +
603 x2*x3^2*x6*x7^2 +
604 x2*x3^2*x6*x7 +
605 -x2*x3^2*x6 +
606 -x2*x3*x4^6*x5*x6*x7 +
607 x2*x3*x4^6*x5*x6 +
608 x2*x3*x4^6*x5*x7 +
609 -x2*x3*x4^6*x5 +
610 x2*x3*x4^6*x6*x7 +
611 -x2*x3*x4^6*x6 +
612 -x2*x3*x4^6*x7 +
613 x2*x3*x4^6 +
614 x2*x3*x4^5*x5*x6*x7 +
615 -x2*x3*x4^5*x5*x6 +
616 -x2*x3*x4^5*x5*x7 +
617 x2*x3*x4^5*x5 +
618 -x2*x3*x4^5*x6*x7 +
619 x2*x3*x4^5*x6 +
620 x2*x3*x4^5*x7 +
621 -x2*x3*x4^5 +
622 -x2*x3*x4*x5^2*x6*x7^3 +
623 x2*x3*x4*x5^2*x6 +
624 x2*x3*x4*x5^2*x7^3 +
625 -x2*x3*x4*x5^2 +
626 x2*x3*x4*x5*x6*x7^3 +
627 -x2*x3*x4*x5*x6 +
628 -x2*x3*x4*x5*x7^3 +
629 x2*x3*x4*x5 +
630 x2*x3*x5^2*x6*x7^3 +
631 -x2*x3*x5^2*x6 +
632 -x2*x3*x5^2*x7^3 +
633 x2*x3*x5^2 +
634 -x2*x3*x5*x6*x7^3 +
635 x2*x3*x5*x6 +
636 x2*x3*x5*x7^3 +
637 -x2*x3*x5 +
638 -x2*x4^7*x5*x6*x7 +
639 x2*x4^7*x5*x6 +
640 x2*x4^7*x5*x7 +
641 -x2*x4^7*x5 +
642 x2*x4^7*x6*x7 +
643 -x2*x4^7*x6 +
644 -x2*x4^7*x7 +
645 x2*x4^7 +
646 x2*x4^6*x5*x6*x7 +
647 -x2*x4^6*x5*x6 +
648 -x2*x4^6*x5*x7 +
649 x2*x4^6*x5 +
650 -x2*x4^6*x6*x7 +
651 x2*x4^6*x6 +
652 x2*x4^6*x7 +
653 -x2*x4^6 +
654 -x2*x4*x5^2*x6^2*x7 +
655 x2*x4*x5^2*x6^2 +
656 x2*x4*x5^2*x6*x7 +
657 -x2*x4*x5^2*x6 +
658 -x2*x4*x5*x6^2*x7^3 +
659 x2*x4*x5*x6^2*x7^2 +
660 x2*x4*x5*x6^2*x7 +
661 -x2*x4*x5*x6^2 +
662 x2*x4*x5*x6*x7^3 +
663 -x2*x4*x5*x6*x7^2 +
664 -x2*x4*x5*x6*x7 +
665 x2*x4*x5*x6 +
666 x2*x4*x6^2*x7^3 +
667 -x2*x4*x6^2*x7^2 +
668 -x2*x4*x6*x7^3 +
669 x2*x4*x6*x7^2 +
670 x2*x5^2*x6^2*x7 +
671 -x2*x5^2*x6^2 +
672 -x2*x5^2*x6*x7 +
673 x2*x5^2*x6 +
674 x2*x5*x6^2*x7^3 +
675 -x2*x5*x6^2*x7^2 +
676 -x2*x5*x6^2*x7 +
677 x2*x5*x6^2 +
678 -x2*x5*x6*x7^3 +
679 x2*x5*x6*x7^2 +
680 x2*x5*x6*x7 +
681 -x2*x5*x6 +
682 -x2*x6^2*x7^3 +
683 x2*x6^2*x7^2 +
684 x2*x6*x7^3 +
685 -x2*x6*x7^2 +
686 -x3^5*x4^3*x5*x6*x7 +
687 x3^5*x4^3*x5*x6 +
688 x3^5*x4^3*x5*x7 +
689 -x3^5*x4^3*x5 +
690 x3^5*x4^3*x6*x7 +
691 -x3^5*x4^3*x6 +
692 -x3^5*x4^3*x7 +
693 x3^5*x4^3 +
694 -x3^5*x4*x5*x6^2*x7 +
695 x3^5*x4*x5*x6^2 +
696 x3^5*x4*x5*x6*x7 +
697 -x3^5*x4*x5*x6 +
698 x3^5*x4*x6^2*x7 +
699 -x3^5*x4*x6^2 +
700 -x3^5*x4*x6*x7 +
701 x3^5*x4*x6 +
702 x3^5*x5*x6^2*x7 +
703 -x3^5*x5*x6^2 +
704 -x3^5*x5*x7 +
705 x3^5*x5 +
706 -x3^5*x6^2*x7 +
707 x3^5*x6^2 +
708 x3^5*x7 +
709 -x3^5 +
710 -x3^4*x4^3*x5*x6^2*x7 +
711 x3^4*x4^3*x5*x6^2 +
712 x3^4*x4^3*x5*x6*x7 +
713 -x3^4*x4^3*x5*x6 +
714 x3^4*x4^3*x6^2*x7 +
715 -x3^4*x4^3*x6^2 +
716 -x3^4*x4^3*x6*x7 +
717 x3^4*x4^3*x6 +
718 x3^4*x4*x5*x6^2*x7 +
719 -x3^4*x4*x5*x6^2 +
720 -x3^4*x4*x5*x6*x7^3 +
721 x3^4*x4*x5*x6 +
722 x3^4*x4*x5*x7^3 +
723 -x3^4*x4*x5*x7 +
724 -x3^4*x4*x6^2*x7 +
725 x3^4*x4*x6^2 +
726 x3^4*x4*x6*x7^3 +
727 -x3^4*x4*x6 +
728 -x3^4*x4*x7^3 +
729 x3^4*x4*x7 +
730 x3^4*x5*x6*x7^3 +
731 -x3^4*x5*x6*x7 +
732 -x3^4*x5*x7^3 +
733 x3^4*x5*x7 +
734 -x3^4*x6*x7^3 +
735 x3^4*x6*x7 +
736 x3^4*x7^3 +
737 -x3^4*x7 +
738 -x3^3*x4^5*x5*x6*x7 +
739 x3^3*x4^5*x5*x6 +
740 x3^3*x4^5*x5*x7 +
741 -x3^3*x4^5*x5 +
742 x3^3*x4^5*x6*x7 +
743 -x3^3*x4^5*x6 +
744 -x3^3*x4^5*x7 +
745 x3^3*x4^5 +
746 x3^3*x4^3*x5*x6*x7 +
747 -x3^3*x4^3*x5*x6 +
748 -x3^3*x4^3*x5*x7 +
749 x3^3*x4^3*x5 +
750 -x3^3*x4^3*x6*x7 +
751 x3^3*x4^3*x6 +
752 x3^3*x4^3*x7 +
753 -x3^3*x4^3 +
754 -x3^2*x4^7*x5*x6*x7 +
755 x3^2*x4^7*x5*x6 +
756 x3^2*x4^7*x5*x7 +
757 -x3^2*x4^7*x5 +
758 x3^2*x4^7*x6*x7 +
759 -x3^2*x4^7*x6 +
760 -x3^2*x4^7*x7 +
761 x3^2*x4^7 +
762 x3^2*x4^5*x5*x6*x7 +
763 -x3^2*x4^5*x5*x6 +
764 -x3^2*x4^5*x5*x7 +
765 x3^2*x4^5*x5 +
766 -x3^2*x4^5*x6*x7 +
767 x3^2*x4^5*x6 +
768 x3^2*x4^5*x7 +
769 -x3^2*x4^5 +
770 -x3^2*x4^4*x5*x6^2*x7 +
771 x3^2*x4^4*x5*x6^2 +
772 x3^2*x4^4*x5*x6*x7 +
773 -x3^2*x4^4*x5*x6 +
774 x3^2*x4^4*x6^2*x7 +
775 -x3^2*x4^4*x6^2 +
776 -x3^2*x4^4*x6*x7 +
777 x3^2*x4^4*x6 +
778 x3^2*x4^3*x5*x6^2*x7 +
779 -x3^2*x4^3*x5*x6^2 +
780 -x3^2*x4^3*x5*x6*x7 +
781 x3^2*x4^3*x5*x6 +
782 -x3^2*x4^3*x6^2*x7 +
783 x3^2*x4^3*x6^2 +
784 x3^2*x4^3*x6*x7 +
785 -x3^2*x4^3*x6 +
786 -x3^2*x4*x5^2*x6^2*x7 +
787 x3^2*x4*x5^2*x6^2 +
788 -x3^2*x4*x5^2*x6*x7^3 +
789 x3^2*x4*x5^2*x6*x7 +
790 x3^2*x4*x5^2*x7^3 +
791 -x3^2*x4*x5^2 +
792 -x3^2*x4*x5*x6^2*x7^3 +
793 2*x3^2*x4*x5*x6^2*x7 +
794 -x3^2*x4*x5*x6^2 +
795 2*x3^2*x4*x5*x6*x7^3 +
796 -2*x3^2*x4*x5*x6*x7 +
797 -x3^2*x4*x5*x7^3 +
798 x3^2*x4*x5 +
799 x3^2*x4*x6^2*x7^3 +
800 -x3^2*x4*x6^2*x7 +
801 -x3^2*x4*x6*x7^3 +
802 x3^2*x4*x6*x7 +
803 x3^2*x5^2*x6^2*x7 +
804 -x3^2*x5^2*x6^2 +
805 x3^2*x5^2*x6*x7^3 +
806 -x3^2*x5^2*x6*x7 +
807 -x3^2*x5^2*x7^3 +
808 x3^2*x5^2 +
809 x3^2*x5*x6^2*x7^3 +
810 -2*x3^2*x5*x6^2*x7 +
811 x3^2*x5*x6^2 +
812 -2*x3^2*x5*x6*x7^3 +
813 2*x3^2*x5*x6*x7 +
814 x3^2*x5*x7^3 +
815 -x3^2*x5 +
816 -x3^2*x6^2*x7^3 +
817 x3^2*x6^2*x7 +
818 x3^2*x6*x7^3 +
819 -x3^2*x6*x7 +
820 -x3*x4^3*x5*x6*x7^3 +
821 x3*x4^3*x5*x6*x7 +
822 x3*x4^3*x5*x7^3 +
823 -x3*x4^3*x5*x7 +
824 x3*x4^3*x6*x7^3 +
825 -x3*x4^3*x6*x7 +
826 -x3*x4^3*x7^3 +
827 x3*x4^3*x7 +
828 x3*x4*x5*x6*x7^3 +
829 -x3*x4*x5*x6*x7 +
830 -x3*x4*x5*x7^3 +
831 x3*x4*x5*x7 +
832 -x3*x4*x6*x7^3 +
833 x3*x4*x6*x7 +
834 x3*x4*x7^3 +
835 -x3*x4*x7 +
836 x4^7*x5*x6*x7 +
837 -x4^7*x5*x6 +
838 -x4^7*x5*x7 +
839 x4^7*x5 +
840 -x4^7*x6*x7 +
841 x4^7*x6 +
842 x4^7*x7 +
843 -x4^7 +
844 x4^4*x5*x6^2*x7 +
845 -x4^4*x5*x6^2 +
846 -x4^4*x5*x6*x7 +
847 x4^4*x5*x6 +
848 -x4^4*x6^2*x7 +
849 x4^4*x6^2 +
850 x4^4*x6*x7 +
851 -x4^4*x6 +
852 x4^3*x5*x6*x7^3 +
853 -x4^3*x5*x6*x7 +
854 -x4^3*x5*x7^3 +
855 x4^3*x5*x7 +
856 -x4^3*x6*x7^3 +
857 x4^3*x6*x7 +
858 x4^3*x7^3 +
859 -x4^3*x7 +
860 x4*x5^2*x6^2*x7 +
861 -x4*x5^2*x6^2 +
862 x4*x5^2*x6*x7^3 +
863 -x4*x5^2*x6*x7 +
864 -x4*x5^2*x7^3 +
865 x4*x5^2 +
866 x4*x5*x6^2*x7^3 +
867 -2*x4*x5*x6^2*x7 +
868 x4*x5*x6^2 +
869 -2*x4*x5*x6*x7^3 +
870 2*x4*x5*x6*x7 +
871 x4*x5*x7^3 +
872 -x4*x5 +
873 -x4*x6^2*x7^3 +
874 x4*x6^2*x7 +
875 x4*x6*x7^3 +
876 -x4*x6*x7 +
877 -x5^2*x6^2*x7 +
878 x5^2*x6^2 +
879 -x5^2*x6*x7^3 +
880 x5^2*x6*x7 +
881 x5^2*x7^3 +
882 -x5^2 +
883 -x5*x6^2*x7^3 +
884 x5*x6^2*x7 +
885 x5*x6*x7^3 +
886 -x5*x6*x7 +
887 x6^2*x7^3 +
888 -x6^2 +
889 -x7^3 +
890 1;
891