1R = QQ[x1, x2, x3, x4, x5, x6, x7];
2p =
3 x2^24*x3*x4*x5*x6*x7 +
4 -x2^24*x3*x4*x5*x6 +
5 -x2^24*x3*x4*x5*x7 +
6 x2^24*x3*x4*x5 +
7 -x2^24*x3*x4*x6*x7 +
8 x2^24*x3*x4*x6 +
9 x2^24*x3*x4*x7 +
10 -x2^24*x3*x4 +
11 -x2^24*x3*x5*x6*x7 +
12 x2^24*x3*x5*x6 +
13 x2^24*x3*x5*x7 +
14 -x2^24*x3*x5 +
15 x2^24*x3*x6*x7 +
16 -x2^24*x3*x6 +
17 -x2^24*x3*x7 +
18 x2^24*x3 +
19 -x2^24*x4*x5*x6*x7 +
20 x2^24*x4*x5*x6 +
21 x2^24*x4*x5*x7 +
22 -x2^24*x4*x5 +
23 x2^24*x4*x6*x7 +
24 -x2^24*x4*x6 +
25 -x2^24*x4*x7 +
26 x2^24*x4 +
27 x2^24*x5*x6*x7 +
28 -x2^24*x5*x6 +
29 -x2^24*x5*x7 +
30 x2^24*x5 +
31 -x2^24*x6*x7 +
32 x2^24*x6 +
33 x2^24*x7 +
34 -x2^24 +
35 x2^14*x3^4*x4*x5*x6*x7 +
36 -x2^14*x3^4*x4*x5*x6 +
37 -x2^14*x3^4*x4*x5*x7 +
38 x2^14*x3^4*x4*x5 +
39 -x2^14*x3^4*x4*x6*x7 +
40 x2^14*x3^4*x4*x6 +
41 x2^14*x3^4*x4*x7 +
42 -x2^14*x3^4*x4 +
43 -x2^14*x3^4*x5*x6*x7 +
44 x2^14*x3^4*x5*x6 +
45 x2^14*x3^4*x5*x7 +
46 -x2^14*x3^4*x5 +
47 x2^14*x3^4*x6*x7 +
48 -x2^14*x3^4*x6 +
49 -x2^14*x3^4*x7 +
50 x2^14*x3^4 +
51 x2^14*x3^2*x4^2*x5*x6*x7 +
52 -x2^14*x3^2*x4^2*x5*x6 +
53 -x2^14*x3^2*x4^2*x5*x7 +
54 x2^14*x3^2*x4^2*x5 +
55 -x2^14*x3^2*x4^2*x6*x7 +
56 x2^14*x3^2*x4^2*x6 +
57 x2^14*x3^2*x4^2*x7 +
58 -x2^14*x3^2*x4^2 +
59 -x2^14*x3^2*x4*x5*x6*x7 +
60 x2^14*x3^2*x4*x5*x6 +
61 x2^14*x3^2*x4*x5*x7 +
62 -x2^14*x3^2*x4*x5 +
63 x2^14*x3^2*x4*x6*x7 +
64 -x2^14*x3^2*x4*x6 +
65 -x2^14*x3^2*x4*x7 +
66 x2^14*x3^2*x4 +
67 -x2^14*x3*x4*x5*x6*x7 +
68 x2^14*x3*x4*x5*x6 +
69 x2^14*x3*x4*x5*x7 +
70 -x2^14*x3*x4*x5 +
71 x2^14*x3*x4*x6*x7 +
72 -x2^14*x3*x4*x6 +
73 -x2^14*x3*x4*x7 +
74 x2^14*x3*x4 +
75 x2^14*x3*x5*x6*x7 +
76 -x2^14*x3*x5*x6 +
77 -x2^14*x3*x5*x7 +
78 x2^14*x3*x5 +
79 -x2^14*x3*x6*x7 +
80 x2^14*x3*x6 +
81 x2^14*x3*x7 +
82 -x2^14*x3 +
83 -x2^14*x4^2*x5*x6*x7 +
84 x2^14*x4^2*x5*x6 +
85 x2^14*x4^2*x5*x7 +
86 -x2^14*x4^2*x5 +
87 x2^14*x4^2*x6*x7 +
88 -x2^14*x4^2*x6 +
89 -x2^14*x4^2*x7 +
90 x2^14*x4^2 +
91 x2^14*x4*x5*x6*x7 +
92 -x2^14*x4*x5*x6 +
93 -x2^14*x4*x5*x7 +
94 x2^14*x4*x5 +
95 -x2^14*x4*x6*x7 +
96 x2^14*x4*x6 +
97 x2^14*x4*x7 +
98 -x2^14*x4 +
99 x2^12*x3^6*x4*x5*x6*x7 +
100 -x2^12*x3^6*x4*x5*x6 +
101 -x2^12*x3^6*x4*x5*x7 +
102 x2^12*x3^6*x4*x5 +
103 -x2^12*x3^6*x4*x6*x7 +
104 x2^12*x3^6*x4*x6 +
105 x2^12*x3^6*x4*x7 +
106 -x2^12*x3^6*x4 +
107 -x2^12*x3^6*x5*x6*x7 +
108 x2^12*x3^6*x5*x6 +
109 x2^12*x3^6*x5*x7 +
110 -x2^12*x3^6*x5 +
111 x2^12*x3^6*x6*x7 +
112 -x2^12*x3^6*x6 +
113 -x2^12*x3^6*x7 +
114 x2^12*x3^6 +
115 -x2^12*x3^4*x4*x5*x6*x7 +
116 x2^12*x3^4*x4*x5*x6 +
117 x2^12*x3^4*x4*x5*x7 +
118 -x2^12*x3^4*x4*x5 +
119 x2^12*x3^4*x4*x6*x7 +
120 -x2^12*x3^4*x4*x6 +
121 -x2^12*x3^4*x4*x7 +
122 x2^12*x3^4*x4 +
123 x2^12*x3^4*x5*x6*x7 +
124 -x2^12*x3^4*x5*x6 +
125 -x2^12*x3^4*x5*x7 +
126 x2^12*x3^4*x5 +
127 -x2^12*x3^4*x6*x7 +
128 x2^12*x3^4*x6 +
129 x2^12*x3^4*x7 +
130 -x2^12*x3^4 +
131 x2^7*x3^5*x4^2*x5*x6*x7 +
132 -x2^7*x3^5*x4^2*x5*x6 +
133 -x2^7*x3^5*x4^2*x5*x7 +
134 x2^7*x3^5*x4^2*x5 +
135 -x2^7*x3^5*x4^2*x6*x7 +
136 x2^7*x3^5*x4^2*x6 +
137 x2^7*x3^5*x4^2*x7 +
138 -x2^7*x3^5*x4^2 +
139 -x2^7*x3^5*x4*x5*x6*x7 +
140 x2^7*x3^5*x4*x5*x6 +
141 x2^7*x3^5*x4*x5*x7 +
142 -x2^7*x3^5*x4*x5 +
143 x2^7*x3^5*x4*x6*x7 +
144 -x2^7*x3^5*x4*x6 +
145 -x2^7*x3^5*x4*x7 +
146 x2^7*x3^5*x4 +
147 -x2^7*x3^2*x4^2*x5*x6*x7 +
148 x2^7*x3^2*x4^2*x5*x6 +
149 x2^7*x3^2*x4^2*x5*x7 +
150 -x2^7*x3^2*x4^2*x5 +
151 x2^7*x3^2*x4^2*x6*x7 +
152 -x2^7*x3^2*x4^2*x6 +
153 -x2^7*x3^2*x4^2*x7 +
154 x2^7*x3^2*x4^2 +
155 x2^7*x3^2*x4*x5*x6*x7^2 +
156 -x2^7*x3^2*x4*x5*x6 +
157 -x2^7*x3^2*x4*x5*x7^2 +
158 x2^7*x3^2*x4*x5 +
159 -x2^7*x3^2*x4*x6*x7^2 +
160 x2^7*x3^2*x4*x6 +
161 x2^7*x3^2*x4*x7^2 +
162 -x2^7*x3^2*x4 +
163 -x2^7*x3^2*x5*x6*x7^2 +
164 x2^7*x3^2*x5*x6*x7 +
165 x2^7*x3^2*x5*x7^2 +
166 -x2^7*x3^2*x5*x7 +
167 x2^7*x3^2*x6*x7^2 +
168 -x2^7*x3^2*x6*x7 +
169 -x2^7*x3^2*x7^2 +
170 x2^7*x3^2*x7 +
171 -x2^7*x4*x5*x6*x7^2 +
172 x2^7*x4*x5*x6*x7 +
173 x2^7*x4*x5*x7^2 +
174 -x2^7*x4*x5*x7 +
175 x2^7*x4*x6*x7^2 +
176 -x2^7*x4*x6*x7 +
177 -x2^7*x4*x7^2 +
178 x2^7*x4*x7 +
179 x2^7*x5*x6*x7^2 +
180 -x2^7*x5*x6*x7 +
181 -x2^7*x5*x7^2 +
182 x2^7*x5*x7 +
183 -x2^7*x6*x7^2 +
184 x2^7*x6*x7 +
185 x2^7*x7^2 +
186 -x2^7*x7 +
187 x2^5*x3^3*x4*x5*x6*x7^2 +
188 -x2^5*x3^3*x4*x5*x6*x7 +
189 -x2^5*x3^3*x4*x5*x7^2 +
190 x2^5*x3^3*x4*x5*x7 +
191 -x2^5*x3^3*x4*x6*x7^2 +
192 x2^5*x3^3*x4*x6*x7 +
193 x2^5*x3^3*x4*x7^2 +
194 -x2^5*x3^3*x4*x7 +
195 -x2^5*x3^3*x5*x6*x7^2 +
196 x2^5*x3^3*x5*x6*x7 +
197 x2^5*x3^3*x5*x7^2 +
198 -x2^5*x3^3*x5*x7 +
199 x2^5*x3^3*x6*x7^2 +
200 -x2^5*x3^3*x6*x7 +
201 -x2^5*x3^3*x7^2 +
202 x2^5*x3^3*x7 +
203 -x2^5*x3^2*x4*x5*x6*x7^2 +
204 x2^5*x3^2*x4*x5*x6*x7 +
205 x2^5*x3^2*x4*x5*x7^2 +
206 -x2^5*x3^2*x4*x5*x7 +
207 x2^5*x3^2*x4*x6*x7^2 +
208 -x2^5*x3^2*x4*x6*x7 +
209 -x2^5*x3^2*x4*x7^2 +
210 x2^5*x3^2*x4*x7 +
211 x2^5*x3^2*x5*x6*x7^2 +
212 -x2^5*x3^2*x5*x6*x7 +
213 -x2^5*x3^2*x5*x7^2 +
214 x2^5*x3^2*x5*x7 +
215 -x2^5*x3^2*x6*x7^2 +
216 x2^5*x3^2*x6*x7 +
217 x2^5*x3^2*x7^2 +
218 -x2^5*x3^2*x7 +
219 x2^2*x3^9*x4*x5*x6*x7 +
220 -x2^2*x3^9*x4*x5*x6 +
221 -x2^2*x3^9*x4*x5*x7 +
222 x2^2*x3^9*x4*x5 +
223 -x2^2*x3^9*x4*x6*x7 +
224 x2^2*x3^9*x4*x6 +
225 x2^2*x3^9*x4*x7 +
226 -x2^2*x3^9*x4 +
227 -x2^2*x3^9*x5*x6*x7 +
228 x2^2*x3^9*x5*x6 +
229 x2^2*x3^9*x5*x7 +
230 -x2^2*x3^9*x5 +
231 x2^2*x3^9*x6*x7 +
232 -x2^2*x3^9*x6 +
233 -x2^2*x3^9*x7 +
234 x2^2*x3^9 +
235 -x2^2*x3^6*x4*x5*x6*x7 +
236 x2^2*x3^6*x4*x5*x6 +
237 x2^2*x3^6*x4*x5*x7 +
238 -x2^2*x3^6*x4*x5 +
239 x2^2*x3^6*x4*x6*x7 +
240 -x2^2*x3^6*x4*x6 +
241 -x2^2*x3^6*x4*x7 +
242 x2^2*x3^6*x4 +
243 x2^2*x3^6*x5*x6*x7 +
244 -x2^2*x3^6*x5*x6 +
245 -x2^2*x3^6*x5*x7 +
246 x2^2*x3^6*x5 +
247 -x2^2*x3^6*x6*x7 +
248 x2^2*x3^6*x6 +
249 x2^2*x3^6*x7 +
250 -x2^2*x3^6 +
251 x2^2*x3^5*x4^3*x5*x6*x7 +
252 -x2^2*x3^5*x4^3*x5*x6 +
253 -x2^2*x3^5*x4^3*x5*x7 +
254 x2^2*x3^5*x4^3*x5 +
255 -x2^2*x3^5*x4^3*x6*x7 +
256 x2^2*x3^5*x4^3*x6 +
257 x2^2*x3^5*x4^3*x7 +
258 -x2^2*x3^5*x4^3 +
259 -x2^2*x3^5*x4^2*x5*x6*x7 +
260 x2^2*x3^5*x4^2*x5*x6 +
261 x2^2*x3^5*x4^2*x5*x7 +
262 -x2^2*x3^5*x4^2*x5 +
263 x2^2*x3^5*x4^2*x6*x7 +
264 -x2^2*x3^5*x4^2*x6 +
265 -x2^2*x3^5*x4^2*x7 +
266 x2^2*x3^5*x4^2 +
267 x2^2*x3^2*x4^5*x5*x6*x7 +
268 -x2^2*x3^2*x4^5*x5*x6 +
269 -x2^2*x3^2*x4^5*x5*x7 +
270 x2^2*x3^2*x4^5*x5 +
271 -x2^2*x3^2*x4^5*x6*x7 +
272 x2^2*x3^2*x4^5*x6 +
273 x2^2*x3^2*x4^5*x7 +
274 -x2^2*x3^2*x4^5 +
275 -x2^2*x3^2*x4^3*x5*x6*x7 +
276 x2^2*x3^2*x4^3*x5*x6 +
277 x2^2*x3^2*x4^3*x5*x7 +
278 -x2^2*x3^2*x4^3*x5 +
279 x2^2*x3^2*x4^3*x6*x7 +
280 -x2^2*x3^2*x4^3*x6 +
281 -x2^2*x3^2*x4^3*x7 +
282 x2^2*x3^2*x4^3 +
283 -x2^2*x4^5*x5*x6*x7 +
284 x2^2*x4^5*x5*x6 +
285 x2^2*x4^5*x5*x7 +
286 -x2^2*x4^5*x5 +
287 x2^2*x4^5*x6*x7 +
288 -x2^2*x4^5*x6 +
289 -x2^2*x4^5*x7 +
290 x2^2*x4^5 +
291 x2^2*x4^2*x5*x6*x7 +
292 -x2^2*x4^2*x5*x6 +
293 -x2^2*x4^2*x5*x7 +
294 x2^2*x4^2*x5 +
295 -x2^2*x4^2*x6*x7 +
296 x2^2*x4^2*x6 +
297 x2^2*x4^2*x7 +
298 -x2^2*x4^2 +
299 -x3^9*x4*x5*x6*x7 +
300 x3^9*x4*x5*x6 +
301 x3^9*x4*x5*x7 +
302 -x3^9*x4*x5 +
303 x3^9*x4*x6*x7 +
304 -x3^9*x4*x6 +
305 -x3^9*x4*x7 +
306 x3^9*x4 +
307 x3^9*x5*x6*x7 +
308 -x3^9*x5*x6 +
309 -x3^9*x5*x7 +
310 x3^9*x5 +
311 -x3^9*x6*x7 +
312 x3^9*x6 +
313 x3^9*x7 +
314 -x3^9 +
315 -x3^5*x4^3*x5*x6*x7 +
316 x3^5*x4^3*x5*x6 +
317 x3^5*x4^3*x5*x7 +
318 -x3^5*x4^3*x5 +
319 x3^5*x4^3*x6*x7 +
320 -x3^5*x4^3*x6 +
321 -x3^5*x4^3*x7 +
322 x3^5*x4^3 +
323 x3^5*x4*x5*x6*x7 +
324 -x3^5*x4*x5*x6 +
325 -x3^5*x4*x5*x7 +
326 x3^5*x4*x5 +
327 -x3^5*x4*x6*x7 +
328 x3^5*x4*x6 +
329 x3^5*x4*x7 +
330 -x3^5*x4 +
331 -x3^3*x4*x5*x6*x7^2 +
332 x3^3*x4*x5*x6*x7 +
333 x3^3*x4*x5*x7^2 +
334 -x3^3*x4*x5*x7 +
335 x3^3*x4*x6*x7^2 +
336 -x3^3*x4*x6*x7 +
337 -x3^3*x4*x7^2 +
338 x3^3*x4*x7 +
339 x3^3*x5*x6*x7^2 +
340 -x3^3*x5*x6*x7 +
341 -x3^3*x5*x7^2 +
342 x3^3*x5*x7 +
343 -x3^3*x6*x7^2 +
344 x3^3*x6*x7 +
345 x3^3*x7^2 +
346 -x3^3*x7 +
347 -x3^2*x4^5*x5*x6*x7 +
348 x3^2*x4^5*x5*x6 +
349 x3^2*x4^5*x5*x7 +
350 -x3^2*x4^5*x5 +
351 x3^2*x4^5*x6*x7 +
352 -x3^2*x4^5*x6 +
353 -x3^2*x4^5*x7 +
354 x3^2*x4^5 +
355 x3^2*x4^3*x5*x6*x7 +
356 -x3^2*x4^3*x5*x6 +
357 -x3^2*x4^3*x5*x7 +
358 x3^2*x4^3*x5 +
359 -x3^2*x4^3*x6*x7 +
360 x3^2*x4^3*x6 +
361 x3^2*x4^3*x7 +
362 -x3^2*x4^3 +
363 x4^5*x5*x6*x7 +
364 -x4^5*x5*x6 +
365 -x4^5*x5*x7 +
366 x4^5*x5 +
367 -x4^5*x6*x7 +
368 x4^5*x6 +
369 x4^5*x7 +
370 -x4^5 +
371 x4*x5*x6*x7^2 +
372 -x4*x5*x6*x7 +
373 -x4*x5*x7^2 +
374 x4*x5*x7 +
375 -x4*x6*x7^2 +
376 x4*x6*x7 +
377 x4*x7^2 +
378 -x4*x7 +
379 -x5*x6*x7^2 +
380 x5*x6 +
381 x5*x7^2 +
382 -x5 +
383 x6*x7^2 +
384 -x6 +
385 -x7^2 +
386 1;
387