1R = QQ[x1, x2, x3, x4, x5, x6, x7, x8, x9];
2p =
3 x2^10*x3^3*x4*x5*x6*x7*x8*x9 +
4 -x2^10*x3^3*x4*x5*x6*x7*x8 +
5 -x2^10*x3^3*x4*x5*x6*x7*x9 +
6 x2^10*x3^3*x4*x5*x6*x7 +
7 -x2^10*x3^3*x4*x5*x6*x8*x9 +
8 x2^10*x3^3*x4*x5*x6*x8 +
9 x2^10*x3^3*x4*x5*x6*x9 +
10 -x2^10*x3^3*x4*x5*x6 +
11 -x2^10*x3^3*x4*x5*x7*x8*x9 +
12 x2^10*x3^3*x4*x5*x7*x8 +
13 x2^10*x3^3*x4*x5*x7*x9 +
14 -x2^10*x3^3*x4*x5*x7 +
15 x2^10*x3^3*x4*x5*x8*x9 +
16 -x2^10*x3^3*x4*x5*x8 +
17 -x2^10*x3^3*x4*x5*x9 +
18 x2^10*x3^3*x4*x5 +
19 -x2^10*x3^3*x4*x6*x7*x8*x9 +
20 x2^10*x3^3*x4*x6*x7*x8 +
21 x2^10*x3^3*x4*x6*x7*x9 +
22 -x2^10*x3^3*x4*x6*x7 +
23 x2^10*x3^3*x4*x6*x8*x9 +
24 -x2^10*x3^3*x4*x6*x8 +
25 -x2^10*x3^3*x4*x6*x9 +
26 x2^10*x3^3*x4*x6 +
27 x2^10*x3^3*x4*x7*x8*x9 +
28 -x2^10*x3^3*x4*x7*x8 +
29 -x2^10*x3^3*x4*x7*x9 +
30 x2^10*x3^3*x4*x7 +
31 -x2^10*x3^3*x4*x8*x9 +
32 x2^10*x3^3*x4*x8 +
33 x2^10*x3^3*x4*x9 +
34 -x2^10*x3^3*x4 +
35 -x2^10*x3^3*x5*x6*x7*x8*x9 +
36 x2^10*x3^3*x5*x6*x7*x8 +
37 x2^10*x3^3*x5*x6*x7*x9 +
38 -x2^10*x3^3*x5*x6*x7 +
39 x2^10*x3^3*x5*x6*x8*x9 +
40 -x2^10*x3^3*x5*x6*x8 +
41 -x2^10*x3^3*x5*x6*x9 +
42 x2^10*x3^3*x5*x6 +
43 x2^10*x3^3*x5*x7*x8*x9 +
44 -x2^10*x3^3*x5*x7*x8 +
45 -x2^10*x3^3*x5*x7*x9 +
46 x2^10*x3^3*x5*x7 +
47 -x2^10*x3^3*x5*x8*x9 +
48 x2^10*x3^3*x5*x8 +
49 x2^10*x3^3*x5*x9 +
50 -x2^10*x3^3*x5 +
51 x2^10*x3^3*x6*x7*x8*x9 +
52 -x2^10*x3^3*x6*x7*x8 +
53 -x2^10*x3^3*x6*x7*x9 +
54 x2^10*x3^3*x6*x7 +
55 -x2^10*x3^3*x6*x8*x9 +
56 x2^10*x3^3*x6*x8 +
57 x2^10*x3^3*x6*x9 +
58 -x2^10*x3^3*x6 +
59 -x2^10*x3^3*x7*x8*x9 +
60 x2^10*x3^3*x7*x8 +
61 x2^10*x3^3*x7*x9 +
62 -x2^10*x3^3*x7 +
63 x2^10*x3^3*x8*x9 +
64 -x2^10*x3^3*x8 +
65 -x2^10*x3^3*x9 +
66 x2^10*x3^3 +
67 -x2^10*x4*x5*x6*x7*x8*x9 +
68 x2^10*x4*x5*x6*x7*x8 +
69 x2^10*x4*x5*x6*x7*x9 +
70 -x2^10*x4*x5*x6*x7 +
71 x2^10*x4*x5*x6*x8*x9 +
72 -x2^10*x4*x5*x6*x8 +
73 -x2^10*x4*x5*x6*x9 +
74 x2^10*x4*x5*x6 +
75 x2^10*x4*x5*x7*x8*x9 +
76 -x2^10*x4*x5*x7*x8 +
77 -x2^10*x4*x5*x7*x9 +
78 x2^10*x4*x5*x7 +
79 -x2^10*x4*x5*x8*x9 +
80 x2^10*x4*x5*x8 +
81 x2^10*x4*x5*x9 +
82 -x2^10*x4*x5 +
83 x2^10*x4*x6*x7*x8*x9 +
84 -x2^10*x4*x6*x7*x8 +
85 -x2^10*x4*x6*x7*x9 +
86 x2^10*x4*x6*x7 +
87 -x2^10*x4*x6*x8*x9 +
88 x2^10*x4*x6*x8 +
89 x2^10*x4*x6*x9 +
90 -x2^10*x4*x6 +
91 -x2^10*x4*x7*x8*x9 +
92 x2^10*x4*x7*x8 +
93 x2^10*x4*x7*x9 +
94 -x2^10*x4*x7 +
95 x2^10*x4*x8*x9 +
96 -x2^10*x4*x8 +
97 -x2^10*x4*x9 +
98 x2^10*x4 +
99 x2^10*x5*x6*x7*x8*x9 +
100 -x2^10*x5*x6*x7*x8 +
101 -x2^10*x5*x6*x7*x9 +
102 x2^10*x5*x6*x7 +
103 -x2^10*x5*x6*x8*x9 +
104 x2^10*x5*x6*x8 +
105 x2^10*x5*x6*x9 +
106 -x2^10*x5*x6 +
107 -x2^10*x5*x7*x8*x9 +
108 x2^10*x5*x7*x8 +
109 x2^10*x5*x7*x9 +
110 -x2^10*x5*x7 +
111 x2^10*x5*x8*x9 +
112 -x2^10*x5*x8 +
113 -x2^10*x5*x9 +
114 x2^10*x5 +
115 -x2^10*x6*x7*x8*x9 +
116 x2^10*x6*x7*x8 +
117 x2^10*x6*x7*x9 +
118 -x2^10*x6*x7 +
119 x2^10*x6*x8*x9 +
120 -x2^10*x6*x8 +
121 -x2^10*x6*x9 +
122 x2^10*x6 +
123 x2^10*x7*x8*x9 +
124 -x2^10*x7*x8 +
125 -x2^10*x7*x9 +
126 x2^10*x7 +
127 -x2^10*x8*x9 +
128 x2^10*x8 +
129 x2^10*x9 +
130 -x2^10 +
131 x2^7*x3^4*x4*x5*x6*x7*x8*x9 +
132 -x2^7*x3^4*x4*x5*x6*x7*x8 +
133 -x2^7*x3^4*x4*x5*x6*x7*x9 +
134 x2^7*x3^4*x4*x5*x6*x7 +
135 -x2^7*x3^4*x4*x5*x6*x8*x9 +
136 x2^7*x3^4*x4*x5*x6*x8 +
137 x2^7*x3^4*x4*x5*x6*x9 +
138 -x2^7*x3^4*x4*x5*x6 +
139 -x2^7*x3^4*x4*x5*x7*x8*x9 +
140 x2^7*x3^4*x4*x5*x7*x8 +
141 x2^7*x3^4*x4*x5*x7*x9 +
142 -x2^7*x3^4*x4*x5*x7 +
143 x2^7*x3^4*x4*x5*x8*x9 +
144 -x2^7*x3^4*x4*x5*x8 +
145 -x2^7*x3^4*x4*x5*x9 +
146 x2^7*x3^4*x4*x5 +
147 -x2^7*x3^4*x4*x6*x7*x8*x9 +
148 x2^7*x3^4*x4*x6*x7*x8 +
149 x2^7*x3^4*x4*x6*x7*x9 +
150 -x2^7*x3^4*x4*x6*x7 +
151 x2^7*x3^4*x4*x6*x8*x9 +
152 -x2^7*x3^4*x4*x6*x8 +
153 -x2^7*x3^4*x4*x6*x9 +
154 x2^7*x3^4*x4*x6 +
155 x2^7*x3^4*x4*x7*x8*x9 +
156 -x2^7*x3^4*x4*x7*x8 +
157 -x2^7*x3^4*x4*x7*x9 +
158 x2^7*x3^4*x4*x7 +
159 -x2^7*x3^4*x4*x8*x9 +
160 x2^7*x3^4*x4*x8 +
161 x2^7*x3^4*x4*x9 +
162 -x2^7*x3^4*x4 +
163 -x2^7*x3^4*x5*x6*x7*x8*x9 +
164 x2^7*x3^4*x5*x6*x7*x8 +
165 x2^7*x3^4*x5*x6*x7*x9 +
166 -x2^7*x3^4*x5*x6*x7 +
167 x2^7*x3^4*x5*x6*x8*x9 +
168 -x2^7*x3^4*x5*x6*x8 +
169 -x2^7*x3^4*x5*x6*x9 +
170 x2^7*x3^4*x5*x6 +
171 x2^7*x3^4*x5*x7*x8*x9 +
172 -x2^7*x3^4*x5*x7*x8 +
173 -x2^7*x3^4*x5*x7*x9 +
174 x2^7*x3^4*x5*x7 +
175 -x2^7*x3^4*x5*x8*x9 +
176 x2^7*x3^4*x5*x8 +
177 x2^7*x3^4*x5*x9 +
178 -x2^7*x3^4*x5 +
179 x2^7*x3^4*x6*x7*x8*x9 +
180 -x2^7*x3^4*x6*x7*x8 +
181 -x2^7*x3^4*x6*x7*x9 +
182 x2^7*x3^4*x6*x7 +
183 -x2^7*x3^4*x6*x8*x9 +
184 x2^7*x3^4*x6*x8 +
185 x2^7*x3^4*x6*x9 +
186 -x2^7*x3^4*x6 +
187 -x2^7*x3^4*x7*x8*x9 +
188 x2^7*x3^4*x7*x8 +
189 x2^7*x3^4*x7*x9 +
190 -x2^7*x3^4*x7 +
191 x2^7*x3^4*x8*x9 +
192 -x2^7*x3^4*x8 +
193 -x2^7*x3^4*x9 +
194 x2^7*x3^4 +
195 -x2^7*x3^3*x4*x5*x6*x7*x8*x9 +
196 x2^7*x3^3*x4*x5*x6*x7*x8 +
197 x2^7*x3^3*x4*x5*x6*x7*x9 +
198 -x2^7*x3^3*x4*x5*x6*x7 +
199 x2^7*x3^3*x4*x5*x6*x8*x9 +
200 -x2^7*x3^3*x4*x5*x6*x8 +
201 -x2^7*x3^3*x4*x5*x6*x9 +
202 x2^7*x3^3*x4*x5*x6 +
203 x2^7*x3^3*x4*x5*x7*x8*x9 +
204 -x2^7*x3^3*x4*x5*x7*x8 +
205 -x2^7*x3^3*x4*x5*x7*x9 +
206 x2^7*x3^3*x4*x5*x7 +
207 -x2^7*x3^3*x4*x5*x8*x9 +
208 x2^7*x3^3*x4*x5*x8 +
209 x2^7*x3^3*x4*x5*x9 +
210 -x2^7*x3^3*x4*x5 +
211 x2^7*x3^3*x4*x6*x7*x8*x9 +
212 -x2^7*x3^3*x4*x6*x7*x8 +
213 -x2^7*x3^3*x4*x6*x7*x9 +
214 x2^7*x3^3*x4*x6*x7 +
215 -x2^7*x3^3*x4*x6*x8*x9 +
216 x2^7*x3^3*x4*x6*x8 +
217 x2^7*x3^3*x4*x6*x9 +
218 -x2^7*x3^3*x4*x6 +
219 -x2^7*x3^3*x4*x7*x8*x9 +
220 x2^7*x3^3*x4*x7*x8 +
221 x2^7*x3^3*x4*x7*x9 +
222 -x2^7*x3^3*x4*x7 +
223 x2^7*x3^3*x4*x8*x9 +
224 -x2^7*x3^3*x4*x8 +
225 -x2^7*x3^3*x4*x9 +
226 x2^7*x3^3*x4 +
227 x2^7*x3^3*x5*x6*x7*x8*x9 +
228 -x2^7*x3^3*x5*x6*x7*x8 +
229 -x2^7*x3^3*x5*x6*x7*x9 +
230 x2^7*x3^3*x5*x6*x7 +
231 -x2^7*x3^3*x5*x6*x8*x9 +
232 x2^7*x3^3*x5*x6*x8 +
233 x2^7*x3^3*x5*x6*x9 +
234 -x2^7*x3^3*x5*x6 +
235 -x2^7*x3^3*x5*x7*x8*x9 +
236 x2^7*x3^3*x5*x7*x8 +
237 x2^7*x3^3*x5*x7*x9 +
238 -x2^7*x3^3*x5*x7 +
239 x2^7*x3^3*x5*x8*x9 +
240 -x2^7*x3^3*x5*x8 +
241 -x2^7*x3^3*x5*x9 +
242 x2^7*x3^3*x5 +
243 -x2^7*x3^3*x6*x7*x8*x9 +
244 x2^7*x3^3*x6*x7*x8 +
245 x2^7*x3^3*x6*x7*x9 +
246 -x2^7*x3^3*x6*x7 +
247 x2^7*x3^3*x6*x8*x9 +
248 -x2^7*x3^3*x6*x8 +
249 -x2^7*x3^3*x6*x9 +
250 x2^7*x3^3*x6 +
251 x2^7*x3^3*x7*x8*x9 +
252 -x2^7*x3^3*x7*x8 +
253 -x2^7*x3^3*x7*x9 +
254 x2^7*x3^3*x7 +
255 -x2^7*x3^3*x8*x9 +
256 x2^7*x3^3*x8 +
257 x2^7*x3^3*x9 +
258 -x2^7*x3^3 +
259 x2^7*x3*x4^3*x5*x6*x7*x8*x9 +
260 -x2^7*x3*x4^3*x5*x6*x7*x8 +
261 -x2^7*x3*x4^3*x5*x6*x7*x9 +
262 x2^7*x3*x4^3*x5*x6*x7 +
263 -x2^7*x3*x4^3*x5*x6*x8*x9 +
264 x2^7*x3*x4^3*x5*x6*x8 +
265 x2^7*x3*x4^3*x5*x6*x9 +
266 -x2^7*x3*x4^3*x5*x6 +
267 -x2^7*x3*x4^3*x5*x7*x8*x9 +
268 x2^7*x3*x4^3*x5*x7*x8 +
269 x2^7*x3*x4^3*x5*x7*x9 +
270 -x2^7*x3*x4^3*x5*x7 +
271 x2^7*x3*x4^3*x5*x8*x9 +
272 -x2^7*x3*x4^3*x5*x8 +
273 -x2^7*x3*x4^3*x5*x9 +
274 x2^7*x3*x4^3*x5 +
275 -x2^7*x3*x4^3*x6*x7*x8*x9 +
276 x2^7*x3*x4^3*x6*x7*x8 +
277 x2^7*x3*x4^3*x6*x7*x9 +
278 -x2^7*x3*x4^3*x6*x7 +
279 x2^7*x3*x4^3*x6*x8*x9 +
280 -x2^7*x3*x4^3*x6*x8 +
281 -x2^7*x3*x4^3*x6*x9 +
282 x2^7*x3*x4^3*x6 +
283 x2^7*x3*x4^3*x7*x8*x9 +
284 -x2^7*x3*x4^3*x7*x8 +
285 -x2^7*x3*x4^3*x7*x9 +
286 x2^7*x3*x4^3*x7 +
287 -x2^7*x3*x4^3*x8*x9 +
288 x2^7*x3*x4^3*x8 +
289 x2^7*x3*x4^3*x9 +
290 -x2^7*x3*x4^3 +
291 -x2^7*x3*x4*x5*x6*x7*x8*x9 +
292 x2^7*x3*x4*x5*x6*x7*x8 +
293 x2^7*x3*x4*x5*x6*x7*x9 +
294 -x2^7*x3*x4*x5*x6*x7 +
295 x2^7*x3*x4*x5*x6*x8*x9 +
296 -x2^7*x3*x4*x5*x6*x8 +
297 -x2^7*x3*x4*x5*x6*x9 +
298 x2^7*x3*x4*x5*x6 +
299 x2^7*x3*x4*x5*x7*x8*x9 +
300 -x2^7*x3*x4*x5*x7*x8 +
301 -x2^7*x3*x4*x5*x7*x9 +
302 x2^7*x3*x4*x5*x7 +
303 -x2^7*x3*x4*x5*x8*x9 +
304 x2^7*x3*x4*x5*x8 +
305 x2^7*x3*x4*x5*x9 +
306 -x2^7*x3*x4*x5 +
307 x2^7*x3*x4*x6*x7*x8*x9 +
308 -x2^7*x3*x4*x6*x7*x8 +
309 -x2^7*x3*x4*x6*x7*x9 +
310 x2^7*x3*x4*x6*x7 +
311 -x2^7*x3*x4*x6*x8*x9 +
312 x2^7*x3*x4*x6*x8 +
313 x2^7*x3*x4*x6*x9 +
314 -x2^7*x3*x4*x6 +
315 -x2^7*x3*x4*x7*x8*x9 +
316 x2^7*x3*x4*x7*x8 +
317 x2^7*x3*x4*x7*x9 +
318 -x2^7*x3*x4*x7 +
319 x2^7*x3*x4*x8*x9 +
320 -x2^7*x3*x4*x8 +
321 -x2^7*x3*x4*x9 +
322 x2^7*x3*x4 +
323 -x2^7*x4^3*x5*x6*x7*x8*x9 +
324 x2^7*x4^3*x5*x6*x7*x8 +
325 x2^7*x4^3*x5*x6*x7*x9 +
326 -x2^7*x4^3*x5*x6*x7 +
327 x2^7*x4^3*x5*x6*x8*x9 +
328 -x2^7*x4^3*x5*x6*x8 +
329 -x2^7*x4^3*x5*x6*x9 +
330 x2^7*x4^3*x5*x6 +
331 x2^7*x4^3*x5*x7*x8*x9 +
332 -x2^7*x4^3*x5*x7*x8 +
333 -x2^7*x4^3*x5*x7*x9 +
334 x2^7*x4^3*x5*x7 +
335 -x2^7*x4^3*x5*x8*x9 +
336 x2^7*x4^3*x5*x8 +
337 x2^7*x4^3*x5*x9 +
338 -x2^7*x4^3*x5 +
339 x2^7*x4^3*x6*x7*x8*x9 +
340 -x2^7*x4^3*x6*x7*x8 +
341 -x2^7*x4^3*x6*x7*x9 +
342 x2^7*x4^3*x6*x7 +
343 -x2^7*x4^3*x6*x8*x9 +
344 x2^7*x4^3*x6*x8 +
345 x2^7*x4^3*x6*x9 +
346 -x2^7*x4^3*x6 +
347 -x2^7*x4^3*x7*x8*x9 +
348 x2^7*x4^3*x7*x8 +
349 x2^7*x4^3*x7*x9 +
350 -x2^7*x4^3*x7 +
351 x2^7*x4^3*x8*x9 +
352 -x2^7*x4^3*x8 +
353 -x2^7*x4^3*x9 +
354 x2^7*x4^3 +
355 x2^7*x4*x5*x6*x7*x8*x9 +
356 -x2^7*x4*x5*x6*x7*x8 +
357 -x2^7*x4*x5*x6*x7*x9 +
358 x2^7*x4*x5*x6*x7 +
359 -x2^7*x4*x5*x6*x8*x9 +
360 x2^7*x4*x5*x6*x8 +
361 x2^7*x4*x5*x6*x9 +
362 -x2^7*x4*x5*x6 +
363 -x2^7*x4*x5*x7*x8*x9 +
364 x2^7*x4*x5*x7*x8 +
365 x2^7*x4*x5*x7*x9 +
366 -x2^7*x4*x5*x7 +
367 x2^7*x4*x5*x8*x9 +
368 -x2^7*x4*x5*x8 +
369 -x2^7*x4*x5*x9 +
370 x2^7*x4*x5 +
371 -x2^7*x4*x6*x7*x8*x9 +
372 x2^7*x4*x6*x7*x8 +
373 x2^7*x4*x6*x7*x9 +
374 -x2^7*x4*x6*x7 +
375 x2^7*x4*x6*x8*x9 +
376 -x2^7*x4*x6*x8 +
377 -x2^7*x4*x6*x9 +
378 x2^7*x4*x6 +
379 x2^7*x4*x7*x8*x9 +
380 -x2^7*x4*x7*x8 +
381 -x2^7*x4*x7*x9 +
382 x2^7*x4*x7 +
383 -x2^7*x4*x8*x9 +
384 x2^7*x4*x8 +
385 x2^7*x4*x9 +
386 -x2^7*x4 +
387 x2^5*x3^3*x4^3*x5*x6*x7*x8*x9 +
388 -x2^5*x3^3*x4^3*x5*x6*x7*x8 +
389 -x2^5*x3^3*x4^3*x5*x6*x7*x9 +
390 x2^5*x3^3*x4^3*x5*x6*x7 +
391 -x2^5*x3^3*x4^3*x5*x6*x8*x9 +
392 x2^5*x3^3*x4^3*x5*x6*x8 +
393 x2^5*x3^3*x4^3*x5*x6*x9 +
394 -x2^5*x3^3*x4^3*x5*x6 +
395 -x2^5*x3^3*x4^3*x5*x7*x8*x9 +
396 x2^5*x3^3*x4^3*x5*x7*x8 +
397 x2^5*x3^3*x4^3*x5*x7*x9 +
398 -x2^5*x3^3*x4^3*x5*x7 +
399 x2^5*x3^3*x4^3*x5*x8*x9 +
400 -x2^5*x3^3*x4^3*x5*x8 +
401 -x2^5*x3^3*x4^3*x5*x9 +
402 x2^5*x3^3*x4^3*x5 +
403 -x2^5*x3^3*x4^3*x6*x7*x8*x9 +
404 x2^5*x3^3*x4^3*x6*x7*x8 +
405 x2^5*x3^3*x4^3*x6*x7*x9 +
406 -x2^5*x3^3*x4^3*x6*x7 +
407 x2^5*x3^3*x4^3*x6*x8*x9 +
408 -x2^5*x3^3*x4^3*x6*x8 +
409 -x2^5*x3^3*x4^3*x6*x9 +
410 x2^5*x3^3*x4^3*x6 +
411 x2^5*x3^3*x4^3*x7*x8*x9 +
412 -x2^5*x3^3*x4^3*x7*x8 +
413 -x2^5*x3^3*x4^3*x7*x9 +
414 x2^5*x3^3*x4^3*x7 +
415 -x2^5*x3^3*x4^3*x8*x9 +
416 x2^5*x3^3*x4^3*x8 +
417 x2^5*x3^3*x4^3*x9 +
418 -x2^5*x3^3*x4^3 +
419 -x2^5*x3^3*x4*x5*x6*x7*x8*x9 +
420 x2^5*x3^3*x4*x5*x6*x7*x8 +
421 x2^5*x3^3*x4*x5*x6*x7*x9 +
422 -x2^5*x3^3*x4*x5*x6*x7 +
423 x2^5*x3^3*x4*x5*x6*x8*x9 +
424 -x2^5*x3^3*x4*x5*x6*x8 +
425 -x2^5*x3^3*x4*x5*x6*x9 +
426 x2^5*x3^3*x4*x5*x6 +
427 x2^5*x3^3*x4*x5*x7*x8*x9 +
428 -x2^5*x3^3*x4*x5*x7*x8 +
429 -x2^5*x3^3*x4*x5*x7*x9 +
430 x2^5*x3^3*x4*x5*x7 +
431 -x2^5*x3^3*x4*x5*x8*x9 +
432 x2^5*x3^3*x4*x5*x8 +
433 x2^5*x3^3*x4*x5*x9 +
434 -x2^5*x3^3*x4*x5 +
435 x2^5*x3^3*x4*x6*x7*x8*x9 +
436 -x2^5*x3^3*x4*x6*x7*x8 +
437 -x2^5*x3^3*x4*x6*x7*x9 +
438 x2^5*x3^3*x4*x6*x7 +
439 -x2^5*x3^3*x4*x6*x8*x9 +
440 x2^5*x3^3*x4*x6*x8 +
441 x2^5*x3^3*x4*x6*x9 +
442 -x2^5*x3^3*x4*x6 +
443 -x2^5*x3^3*x4*x7*x8*x9 +
444 x2^5*x3^3*x4*x7*x8 +
445 x2^5*x3^3*x4*x7*x9 +
446 -x2^5*x3^3*x4*x7 +
447 x2^5*x3^3*x4*x8*x9 +
448 -x2^5*x3^3*x4*x8 +
449 -x2^5*x3^3*x4*x9 +
450 x2^5*x3^3*x4 +
451 -x2^5*x3*x4^3*x5*x6*x7*x8*x9 +
452 x2^5*x3*x4^3*x5*x6*x7*x8 +
453 x2^5*x3*x4^3*x5*x6*x7*x9 +
454 -x2^5*x3*x4^3*x5*x6*x7 +
455 x2^5*x3*x4^3*x5*x6*x8*x9 +
456 -x2^5*x3*x4^3*x5*x6*x8 +
457 -x2^5*x3*x4^3*x5*x6*x9 +
458 x2^5*x3*x4^3*x5*x6 +
459 x2^5*x3*x4^3*x5*x7*x8*x9 +
460 -x2^5*x3*x4^3*x5*x7*x8 +
461 -x2^5*x3*x4^3*x5*x7*x9 +
462 x2^5*x3*x4^3*x5*x7 +
463 -x2^5*x3*x4^3*x5*x8*x9 +
464 x2^5*x3*x4^3*x5*x8 +
465 x2^5*x3*x4^3*x5*x9 +
466 -x2^5*x3*x4^3*x5 +
467 x2^5*x3*x4^3*x6*x7*x8*x9 +
468 -x2^5*x3*x4^3*x6*x7*x8 +
469 -x2^5*x3*x4^3*x6*x7*x9 +
470 x2^5*x3*x4^3*x6*x7 +
471 -x2^5*x3*x4^3*x6*x8*x9 +
472 x2^5*x3*x4^3*x6*x8 +
473 x2^5*x3*x4^3*x6*x9 +
474 -x2^5*x3*x4^3*x6 +
475 -x2^5*x3*x4^3*x7*x8*x9 +
476 x2^5*x3*x4^3*x7*x8 +
477 x2^5*x3*x4^3*x7*x9 +
478 -x2^5*x3*x4^3*x7 +
479 x2^5*x3*x4^3*x8*x9 +
480 -x2^5*x3*x4^3*x8 +
481 -x2^5*x3*x4^3*x9 +
482 x2^5*x3*x4^3 +
483 x2^5*x3*x4*x5*x6*x7*x8*x9 +
484 -x2^5*x3*x4*x5*x6*x7*x8 +
485 -x2^5*x3*x4*x5*x6*x7*x9 +
486 x2^5*x3*x4*x5*x6*x7 +
487 -x2^5*x3*x4*x5*x6*x8*x9 +
488 x2^5*x3*x4*x5*x6*x8 +
489 x2^5*x3*x4*x5*x6*x9 +
490 -x2^5*x3*x4*x5*x6 +
491 -x2^5*x3*x4*x5*x7*x8*x9 +
492 x2^5*x3*x4*x5*x7*x8 +
493 x2^5*x3*x4*x5*x7*x9 +
494 -x2^5*x3*x4*x5*x7 +
495 x2^5*x3*x4*x5*x8*x9 +
496 -x2^5*x3*x4*x5*x8 +
497 -x2^5*x3*x4*x5*x9 +
498 x2^5*x3*x4*x5 +
499 -x2^5*x3*x4*x6*x7*x8*x9 +
500 x2^5*x3*x4*x6*x7*x8 +
501 x2^5*x3*x4*x6*x7*x9 +
502 -x2^5*x3*x4*x6*x7 +
503 x2^5*x3*x4*x6*x8*x9 +
504 -x2^5*x3*x4*x6*x8 +
505 -x2^5*x3*x4*x6*x9 +
506 x2^5*x3*x4*x6 +
507 x2^5*x3*x4*x7*x8*x9 +
508 -x2^5*x3*x4*x7*x8 +
509 -x2^5*x3*x4*x7*x9 +
510 x2^5*x3*x4*x7 +
511 -x2^5*x3*x4*x8*x9 +
512 x2^5*x3*x4*x8 +
513 x2^5*x3*x4*x9 +
514 -x2^5*x3*x4 +
515 x2^3*x3^4*x4^3*x5*x6*x7*x8*x9 +
516 -x2^3*x3^4*x4^3*x5*x6*x7*x8 +
517 -x2^3*x3^4*x4^3*x5*x6*x7*x9 +
518 x2^3*x3^4*x4^3*x5*x6*x7 +
519 -x2^3*x3^4*x4^3*x5*x6*x8*x9 +
520 x2^3*x3^4*x4^3*x5*x6*x8 +
521 x2^3*x3^4*x4^3*x5*x6*x9 +
522 -x2^3*x3^4*x4^3*x5*x6 +
523 -x2^3*x3^4*x4^3*x5*x7*x8*x9 +
524 x2^3*x3^4*x4^3*x5*x7*x8 +
525 x2^3*x3^4*x4^3*x5*x7*x9 +
526 -x2^3*x3^4*x4^3*x5*x7 +
527 x2^3*x3^4*x4^3*x5*x8*x9 +
528 -x2^3*x3^4*x4^3*x5*x8 +
529 -x2^3*x3^4*x4^3*x5*x9 +
530 x2^3*x3^4*x4^3*x5 +
531 -x2^3*x3^4*x4^3*x6*x7*x8*x9 +
532 x2^3*x3^4*x4^3*x6*x7*x8 +
533 x2^3*x3^4*x4^3*x6*x7*x9 +
534 -x2^3*x3^4*x4^3*x6*x7 +
535 x2^3*x3^4*x4^3*x6*x8*x9 +
536 -x2^3*x3^4*x4^3*x6*x8 +
537 -x2^3*x3^4*x4^3*x6*x9 +
538 x2^3*x3^4*x4^3*x6 +
539 x2^3*x3^4*x4^3*x7*x8*x9 +
540 -x2^3*x3^4*x4^3*x7*x8 +
541 -x2^3*x3^4*x4^3*x7*x9 +
542 x2^3*x3^4*x4^3*x7 +
543 -x2^3*x3^4*x4^3*x8*x9 +
544 x2^3*x3^4*x4^3*x8 +
545 x2^3*x3^4*x4^3*x9 +
546 -x2^3*x3^4*x4^3 +
547 -x2^3*x3^4*x4*x5*x6*x7*x8*x9 +
548 x2^3*x3^4*x4*x5*x6*x7*x8 +
549 x2^3*x3^4*x4*x5*x6*x7*x9 +
550 -x2^3*x3^4*x4*x5*x6*x7 +
551 x2^3*x3^4*x4*x5*x6*x8*x9 +
552 -x2^3*x3^4*x4*x5*x6*x8 +
553 -x2^3*x3^4*x4*x5*x6*x9 +
554 x2^3*x3^4*x4*x5*x6 +
555 x2^3*x3^4*x4*x5*x7*x8*x9 +
556 -x2^3*x3^4*x4*x5*x7*x8 +
557 -x2^3*x3^4*x4*x5*x7*x9 +
558 x2^3*x3^4*x4*x5*x7 +
559 -x2^3*x3^4*x4*x5*x8*x9 +
560 x2^3*x3^4*x4*x5*x8 +
561 x2^3*x3^4*x4*x5*x9 +
562 -x2^3*x3^4*x4*x5 +
563 x2^3*x3^4*x4*x6*x7*x8*x9 +
564 -x2^3*x3^4*x4*x6*x7*x8 +
565 -x2^3*x3^4*x4*x6*x7*x9 +
566 x2^3*x3^4*x4*x6*x7 +
567 -x2^3*x3^4*x4*x6*x8*x9 +
568 x2^3*x3^4*x4*x6*x8 +
569 x2^3*x3^4*x4*x6*x9 +
570 -x2^3*x3^4*x4*x6 +
571 -x2^3*x3^4*x4*x7*x8*x9 +
572 x2^3*x3^4*x4*x7*x8 +
573 x2^3*x3^4*x4*x7*x9 +
574 -x2^3*x3^4*x4*x7 +
575 x2^3*x3^4*x4*x8*x9 +
576 -x2^3*x3^4*x4*x8 +
577 -x2^3*x3^4*x4*x9 +
578 x2^3*x3^4*x4 +
579 -x2^3*x3^3*x4^3*x5*x6*x7*x8*x9 +
580 x2^3*x3^3*x4^3*x5*x6*x7*x8 +
581 x2^3*x3^3*x4^3*x5*x6*x7*x9 +
582 -x2^3*x3^3*x4^3*x5*x6*x7 +
583 x2^3*x3^3*x4^3*x5*x6*x8*x9 +
584 -x2^3*x3^3*x4^3*x5*x6*x8 +
585 -x2^3*x3^3*x4^3*x5*x6*x9 +
586 x2^3*x3^3*x4^3*x5*x6 +
587 x2^3*x3^3*x4^3*x5*x7*x8*x9 +
588 -x2^3*x3^3*x4^3*x5*x7*x8 +
589 -x2^3*x3^3*x4^3*x5*x7*x9 +
590 x2^3*x3^3*x4^3*x5*x7 +
591 -x2^3*x3^3*x4^3*x5*x8*x9 +
592 x2^3*x3^3*x4^3*x5*x8 +
593 x2^3*x3^3*x4^3*x5*x9 +
594 -x2^3*x3^3*x4^3*x5 +
595 x2^3*x3^3*x4^3*x6*x7*x8*x9 +
596 -x2^3*x3^3*x4^3*x6*x7*x8 +
597 -x2^3*x3^3*x4^3*x6*x7*x9 +
598 x2^3*x3^3*x4^3*x6*x7 +
599 -x2^3*x3^3*x4^3*x6*x8*x9 +
600 x2^3*x3^3*x4^3*x6*x8 +
601 x2^3*x3^3*x4^3*x6*x9 +
602 -x2^3*x3^3*x4^3*x6 +
603 -x2^3*x3^3*x4^3*x7*x8*x9 +
604 x2^3*x3^3*x4^3*x7*x8 +
605 x2^3*x3^3*x4^3*x7*x9 +
606 -x2^3*x3^3*x4^3*x7 +
607 x2^3*x3^3*x4^3*x8*x9 +
608 -x2^3*x3^3*x4^3*x8 +
609 -x2^3*x3^3*x4^3*x9 +
610 x2^3*x3^3*x4^3 +
611 x2^3*x3^3*x4*x5*x6*x7*x8*x9 +
612 -x2^3*x3^3*x4*x5*x6*x7*x8 +
613 -x2^3*x3^3*x4*x5*x6*x7*x9 +
614 x2^3*x3^3*x4*x5*x6*x7 +
615 -x2^3*x3^3*x4*x5*x6*x8*x9 +
616 x2^3*x3^3*x4*x5*x6*x8 +
617 x2^3*x3^3*x4*x5*x6*x9 +
618 -x2^3*x3^3*x4*x5*x6 +
619 -x2^3*x3^3*x4*x5*x7*x8*x9 +
620 x2^3*x3^3*x4*x5*x7*x8 +
621 x2^3*x3^3*x4*x5*x7*x9 +
622 -x2^3*x3^3*x4*x5*x7 +
623 x2^3*x3^3*x4*x5*x8*x9 +
624 -x2^3*x3^3*x4*x5*x8 +
625 -x2^3*x3^3*x4*x5*x9 +
626 x2^3*x3^3*x4*x5 +
627 -x2^3*x3^3*x4*x6*x7*x8*x9 +
628 x2^3*x3^3*x4*x6*x7*x8 +
629 x2^3*x3^3*x4*x6*x7*x9 +
630 -x2^3*x3^3*x4*x6*x7 +
631 x2^3*x3^3*x4*x6*x8*x9 +
632 -x2^3*x3^3*x4*x6*x8 +
633 -x2^3*x3^3*x4*x6*x9 +
634 x2^3*x3^3*x4*x6 +
635 x2^3*x3^3*x4*x7*x8*x9 +
636 -x2^3*x3^3*x4*x7*x8 +
637 -x2^3*x3^3*x4*x7*x9 +
638 x2^3*x3^3*x4*x7 +
639 -x2^3*x3^3*x4*x8*x9 +
640 x2^3*x3^3*x4*x8 +
641 x2^3*x3^3*x4*x9 +
642 -x2^3*x3^3*x4 +
643 x2^3*x3^2*x4^4*x5*x6*x7*x8*x9 +
644 -x2^3*x3^2*x4^4*x5*x6*x7*x8 +
645 -x2^3*x3^2*x4^4*x5*x6*x7*x9 +
646 x2^3*x3^2*x4^4*x5*x6*x7 +
647 -x2^3*x3^2*x4^4*x5*x6*x8*x9 +
648 x2^3*x3^2*x4^4*x5*x6*x8 +
649 x2^3*x3^2*x4^4*x5*x6*x9 +
650 -x2^3*x3^2*x4^4*x5*x6 +
651 -x2^3*x3^2*x4^4*x5*x7*x8*x9 +
652 x2^3*x3^2*x4^4*x5*x7*x8 +
653 x2^3*x3^2*x4^4*x5*x7*x9 +
654 -x2^3*x3^2*x4^4*x5*x7 +
655 x2^3*x3^2*x4^4*x5*x8*x9 +
656 -x2^3*x3^2*x4^4*x5*x8 +
657 -x2^3*x3^2*x4^4*x5*x9 +
658 x2^3*x3^2*x4^4*x5 +
659 -x2^3*x3^2*x4^4*x6*x7*x8*x9 +
660 x2^3*x3^2*x4^4*x6*x7*x8 +
661 x2^3*x3^2*x4^4*x6*x7*x9 +
662 -x2^3*x3^2*x4^4*x6*x7 +
663 x2^3*x3^2*x4^4*x6*x8*x9 +
664 -x2^3*x3^2*x4^4*x6*x8 +
665 -x2^3*x3^2*x4^4*x6*x9 +
666 x2^3*x3^2*x4^4*x6 +
667 x2^3*x3^2*x4^4*x7*x8*x9 +
668 -x2^3*x3^2*x4^4*x7*x8 +
669 -x2^3*x3^2*x4^4*x7*x9 +
670 x2^3*x3^2*x4^4*x7 +
671 -x2^3*x3^2*x4^4*x8*x9 +
672 x2^3*x3^2*x4^4*x8 +
673 x2^3*x3^2*x4^4*x9 +
674 -x2^3*x3^2*x4^4 +
675 -x2^3*x3^2*x4^3*x5*x6*x7*x8*x9 +
676 x2^3*x3^2*x4^3*x5*x6*x7*x8 +
677 x2^3*x3^2*x4^3*x5*x6*x7*x9 +
678 -x2^3*x3^2*x4^3*x5*x6*x7 +
679 x2^3*x3^2*x4^3*x5*x6*x8*x9 +
680 -x2^3*x3^2*x4^3*x5*x6*x8 +
681 -x2^3*x3^2*x4^3*x5*x6*x9 +
682 x2^3*x3^2*x4^3*x5*x6 +
683 x2^3*x3^2*x4^3*x5*x7*x8*x9 +
684 -x2^3*x3^2*x4^3*x5*x7*x8 +
685 -x2^3*x3^2*x4^3*x5*x7*x9 +
686 x2^3*x3^2*x4^3*x5*x7 +
687 -x2^3*x3^2*x4^3*x5*x8*x9 +
688 x2^3*x3^2*x4^3*x5*x8 +
689 x2^3*x3^2*x4^3*x5*x9 +
690 -x2^3*x3^2*x4^3*x5 +
691 x2^3*x3^2*x4^3*x6*x7*x8*x9 +
692 -x2^3*x3^2*x4^3*x6*x7*x8 +
693 -x2^3*x3^2*x4^3*x6*x7*x9 +
694 x2^3*x3^2*x4^3*x6*x7 +
695 -x2^3*x3^2*x4^3*x6*x8*x9 +
696 x2^3*x3^2*x4^3*x6*x8 +
697 x2^3*x3^2*x4^3*x6*x9 +
698 -x2^3*x3^2*x4^3*x6 +
699 -x2^3*x3^2*x4^3*x7*x8*x9 +
700 x2^3*x3^2*x4^3*x7*x8 +
701 x2^3*x3^2*x4^3*x7*x9 +
702 -x2^3*x3^2*x4^3*x7 +
703 x2^3*x3^2*x4^3*x8*x9 +
704 -x2^3*x3^2*x4^3*x8 +
705 -x2^3*x3^2*x4^3*x9 +
706 x2^3*x3^2*x4^3 +
707 x2^3*x3*x4^5*x5*x6*x7*x8*x9 +
708 -x2^3*x3*x4^5*x5*x6*x7*x8 +
709 -x2^3*x3*x4^5*x5*x6*x7*x9 +
710 x2^3*x3*x4^5*x5*x6*x7 +
711 -x2^3*x3*x4^5*x5*x6*x8*x9 +
712 x2^3*x3*x4^5*x5*x6*x8 +
713 x2^3*x3*x4^5*x5*x6*x9 +
714 -x2^3*x3*x4^5*x5*x6 +
715 -x2^3*x3*x4^5*x5*x7*x8*x9 +
716 x2^3*x3*x4^5*x5*x7*x8 +
717 x2^3*x3*x4^5*x5*x7*x9 +
718 -x2^3*x3*x4^5*x5*x7 +
719 x2^3*x3*x4^5*x5*x8*x9 +
720 -x2^3*x3*x4^5*x5*x8 +
721 -x2^3*x3*x4^5*x5*x9 +
722 x2^3*x3*x4^5*x5 +
723 -x2^3*x3*x4^5*x6*x7*x8*x9 +
724 x2^3*x3*x4^5*x6*x7*x8 +
725 x2^3*x3*x4^5*x6*x7*x9 +
726 -x2^3*x3*x4^5*x6*x7 +
727 x2^3*x3*x4^5*x6*x8*x9 +
728 -x2^3*x3*x4^5*x6*x8 +
729 -x2^3*x3*x4^5*x6*x9 +
730 x2^3*x3*x4^5*x6 +
731 x2^3*x3*x4^5*x7*x8*x9 +
732 -x2^3*x3*x4^5*x7*x8 +
733 -x2^3*x3*x4^5*x7*x9 +
734 x2^3*x3*x4^5*x7 +
735 -x2^3*x3*x4^5*x8*x9 +
736 x2^3*x3*x4^5*x8 +
737 x2^3*x3*x4^5*x9 +
738 -x2^3*x3*x4^5 +
739 -x2^3*x3*x4^4*x5*x6*x7*x8*x9 +
740 x2^3*x3*x4^4*x5*x6*x7*x8 +
741 x2^3*x3*x4^4*x5*x6*x7*x9 +
742 -x2^3*x3*x4^4*x5*x6*x7 +
743 x2^3*x3*x4^4*x5*x6*x8*x9 +
744 -x2^3*x3*x4^4*x5*x6*x8 +
745 -x2^3*x3*x4^4*x5*x6*x9 +
746 x2^3*x3*x4^4*x5*x6 +
747 x2^3*x3*x4^4*x5*x7*x8*x9 +
748 -x2^3*x3*x4^4*x5*x7*x8 +
749 -x2^3*x3*x4^4*x5*x7*x9 +
750 x2^3*x3*x4^4*x5*x7 +
751 -x2^3*x3*x4^4*x5*x8*x9 +
752 x2^3*x3*x4^4*x5*x8 +
753 x2^3*x3*x4^4*x5*x9 +
754 -x2^3*x3*x4^4*x5 +
755 x2^3*x3*x4^4*x6*x7*x8*x9 +
756 -x2^3*x3*x4^4*x6*x7*x8 +
757 -x2^3*x3*x4^4*x6*x7*x9 +
758 x2^3*x3*x4^4*x6*x7 +
759 -x2^3*x3*x4^4*x6*x8*x9 +
760 x2^3*x3*x4^4*x6*x8 +
761 x2^3*x3*x4^4*x6*x9 +
762 -x2^3*x3*x4^4*x6 +
763 -x2^3*x3*x4^4*x7*x8*x9 +
764 x2^3*x3*x4^4*x7*x8 +
765 x2^3*x3*x4^4*x7*x9 +
766 -x2^3*x3*x4^4*x7 +
767 x2^3*x3*x4^4*x8*x9 +
768 -x2^3*x3*x4^4*x8 +
769 -x2^3*x3*x4^4*x9 +
770 x2^3*x3*x4^4 +
771 -x2^3*x4^5*x5*x6*x7*x8*x9 +
772 x2^3*x4^5*x5*x6*x7*x8 +
773 x2^3*x4^5*x5*x6*x7*x9 +
774 -x2^3*x4^5*x5*x6*x7 +
775 x2^3*x4^5*x5*x6*x8*x9 +
776 -x2^3*x4^5*x5*x6*x8 +
777 -x2^3*x4^5*x5*x6*x9 +
778 x2^3*x4^5*x5*x6 +
779 x2^3*x4^5*x5*x7*x8*x9 +
780 -x2^3*x4^5*x5*x7*x8 +
781 -x2^3*x4^5*x5*x7*x9 +
782 x2^3*x4^5*x5*x7 +
783 -x2^3*x4^5*x5*x8*x9 +
784 x2^3*x4^5*x5*x8 +
785 x2^3*x4^5*x5*x9 +
786 -x2^3*x4^5*x5 +
787 x2^3*x4^5*x6*x7*x8*x9 +
788 -x2^3*x4^5*x6*x7*x8 +
789 -x2^3*x4^5*x6*x7*x9 +
790 x2^3*x4^5*x6*x7 +
791 -x2^3*x4^5*x6*x8*x9 +
792 x2^3*x4^5*x6*x8 +
793 x2^3*x4^5*x6*x9 +
794 -x2^3*x4^5*x6 +
795 -x2^3*x4^5*x7*x8*x9 +
796 x2^3*x4^5*x7*x8 +
797 x2^3*x4^5*x7*x9 +
798 -x2^3*x4^5*x7 +
799 x2^3*x4^5*x8*x9 +
800 -x2^3*x4^5*x8 +
801 -x2^3*x4^5*x9 +
802 x2^3*x4^5 +
803 x2^3*x4^3*x5*x6*x7*x8*x9 +
804 -x2^3*x4^3*x5*x6*x7*x8 +
805 -x2^3*x4^3*x5*x6*x7*x9 +
806 x2^3*x4^3*x5*x6*x7 +
807 -x2^3*x4^3*x5*x6*x8*x9 +
808 x2^3*x4^3*x5*x6*x8 +
809 x2^3*x4^3*x5*x6*x9 +
810 -x2^3*x4^3*x5*x6 +
811 -x2^3*x4^3*x5*x7*x8*x9 +
812 x2^3*x4^3*x5*x7*x8 +
813 x2^3*x4^3*x5*x7*x9 +
814 -x2^3*x4^3*x5*x7 +
815 x2^3*x4^3*x5*x8*x9 +
816 -x2^3*x4^3*x5*x8 +
817 -x2^3*x4^3*x5*x9 +
818 x2^3*x4^3*x5 +
819 -x2^3*x4^3*x6*x7*x8*x9 +
820 x2^3*x4^3*x6*x7*x8 +
821 x2^3*x4^3*x6*x7*x9 +
822 -x2^3*x4^3*x6*x7 +
823 x2^3*x4^3*x6*x8*x9 +
824 -x2^3*x4^3*x6*x8 +
825 -x2^3*x4^3*x6*x9 +
826 x2^3*x4^3*x6 +
827 x2^3*x4^3*x7*x8*x9 +
828 -x2^3*x4^3*x7*x8 +
829 -x2^3*x4^3*x7*x9 +
830 x2^3*x4^3*x7 +
831 -x2^3*x4^3*x8*x9 +
832 x2^3*x4^3*x8 +
833 x2^3*x4^3*x9 +
834 -x2^3*x4^3 +
835 x2^2*x3*x4^2*x5^3*x6*x7*x8*x9 +
836 -x2^2*x3*x4^2*x5^3*x6*x7*x8 +
837 -x2^2*x3*x4^2*x5^3*x6*x7*x9 +
838 x2^2*x3*x4^2*x5^3*x6*x7 +
839 -x2^2*x3*x4^2*x5^3*x6*x8*x9 +
840 x2^2*x3*x4^2*x5^3*x6*x8 +
841 x2^2*x3*x4^2*x5^3*x6*x9 +
842 -x2^2*x3*x4^2*x5^3*x6 +
843 -x2^2*x3*x4^2*x5^3*x7*x8*x9 +
844 x2^2*x3*x4^2*x5^3*x7*x8 +
845 x2^2*x3*x4^2*x5^3*x7*x9 +
846 -x2^2*x3*x4^2*x5^3*x7 +
847 x2^2*x3*x4^2*x5^3*x8*x9 +
848 -x2^2*x3*x4^2*x5^3*x8 +
849 -x2^2*x3*x4^2*x5^3*x9 +
850 x2^2*x3*x4^2*x5^3 +
851 -x2^2*x3*x4^2*x5*x6*x7*x8*x9 +
852 x2^2*x3*x4^2*x5*x6*x7*x8 +
853 x2^2*x3*x4^2*x5*x6*x7*x9 +
854 -x2^2*x3*x4^2*x5*x6*x7 +
855 x2^2*x3*x4^2*x5*x6*x8*x9 +
856 -x2^2*x3*x4^2*x5*x6*x8 +
857 -x2^2*x3*x4^2*x5*x6*x9 +
858 x2^2*x3*x4^2*x5*x6 +
859 x2^2*x3*x4^2*x5*x7*x8*x9 +
860 -x2^2*x3*x4^2*x5*x7*x8 +
861 -x2^2*x3*x4^2*x5*x7*x9 +
862 x2^2*x3*x4^2*x5*x7 +
863 -x2^2*x3*x4^2*x5*x8*x9 +
864 x2^2*x3*x4^2*x5*x8 +
865 x2^2*x3*x4^2*x5*x9 +
866 -x2^2*x3*x4^2*x5 +
867 -x2^2*x3*x5^3*x6*x7*x8*x9 +
868 x2^2*x3*x5^3*x6*x7*x8 +
869 x2^2*x3*x5^3*x6*x7*x9 +
870 -x2^2*x3*x5^3*x6*x7 +
871 x2^2*x3*x5^3*x6*x8*x9 +
872 -x2^2*x3*x5^3*x6*x8 +
873 -x2^2*x3*x5^3*x6*x9 +
874 x2^2*x3*x5^3*x6 +
875 x2^2*x3*x5^3*x7*x8*x9 +
876 -x2^2*x3*x5^3*x7*x8 +
877 -x2^2*x3*x5^3*x7*x9 +
878 x2^2*x3*x5^3*x7 +
879 -x2^2*x3*x5^3*x8*x9 +
880 x2^2*x3*x5^3*x8 +
881 x2^2*x3*x5^3*x9 +
882 -x2^2*x3*x5^3 +
883 x2^2*x3*x5*x6*x7*x8*x9 +
884 -x2^2*x3*x5*x6*x7*x8 +
885 -x2^2*x3*x5*x6*x7*x9 +
886 x2^2*x3*x5*x6*x7 +
887 -x2^2*x3*x5*x6*x8*x9 +
888 x2^2*x3*x5*x6*x8 +
889 x2^2*x3*x5*x6*x9 +
890 -x2^2*x3*x5*x6 +
891 -x2^2*x3*x5*x7*x8*x9 +
892 x2^2*x3*x5*x7*x8 +
893 x2^2*x3*x5*x7*x9 +
894 -x2^2*x3*x5*x7 +
895 x2^2*x3*x5*x8*x9 +
896 -x2^2*x3*x5*x8 +
897 -x2^2*x3*x5*x9 +
898 x2^2*x3*x5 +
899 -x2^2*x4^2*x5^3*x6*x7*x8*x9 +
900 x2^2*x4^2*x5^3*x6*x7*x8 +
901 x2^2*x4^2*x5^3*x6*x7*x9 +
902 -x2^2*x4^2*x5^3*x6*x7 +
903 x2^2*x4^2*x5^3*x6*x8*x9 +
904 -x2^2*x4^2*x5^3*x6*x8 +
905 -x2^2*x4^2*x5^3*x6*x9 +
906 x2^2*x4^2*x5^3*x6 +
907 x2^2*x4^2*x5^3*x7*x8*x9 +
908 -x2^2*x4^2*x5^3*x7*x8 +
909 -x2^2*x4^2*x5^3*x7*x9 +
910 x2^2*x4^2*x5^3*x7 +
911 -x2^2*x4^2*x5^3*x8*x9 +
912 x2^2*x4^2*x5^3*x8 +
913 x2^2*x4^2*x5^3*x9 +
914 -x2^2*x4^2*x5^3 +
915 x2^2*x4^2*x5*x6*x7*x8*x9 +
916 -x2^2*x4^2*x5*x6*x7*x8 +
917 -x2^2*x4^2*x5*x6*x7*x9 +
918 x2^2*x4^2*x5*x6*x7 +
919 -x2^2*x4^2*x5*x6*x8*x9 +
920 x2^2*x4^2*x5*x6*x8 +
921 x2^2*x4^2*x5*x6*x9 +
922 -x2^2*x4^2*x5*x6 +
923 -x2^2*x4^2*x5*x7*x8*x9 +
924 x2^2*x4^2*x5*x7*x8 +
925 x2^2*x4^2*x5*x7*x9 +
926 -x2^2*x4^2*x5*x7 +
927 x2^2*x4^2*x5*x8*x9 +
928 -x2^2*x4^2*x5*x8 +
929 -x2^2*x4^2*x5*x9 +
930 x2^2*x4^2*x5 +
931 x2^2*x5^3*x6*x7*x8*x9 +
932 -x2^2*x5^3*x6*x7*x8 +
933 -x2^2*x5^3*x6*x7*x9 +
934 x2^2*x5^3*x6*x7 +
935 -x2^2*x5^3*x6*x8*x9 +
936 x2^2*x5^3*x6*x8 +
937 x2^2*x5^3*x6*x9 +
938 -x2^2*x5^3*x6 +
939 -x2^2*x5^3*x7*x8*x9 +
940 x2^2*x5^3*x7*x8 +
941 x2^2*x5^3*x7*x9 +
942 -x2^2*x5^3*x7 +
943 x2^2*x5^3*x8*x9 +
944 -x2^2*x5^3*x8 +
945 -x2^2*x5^3*x9 +
946 x2^2*x5^3 +
947 -x2^2*x5*x6*x7*x8*x9 +
948 x2^2*x5*x6*x7*x8 +
949 x2^2*x5*x6*x7*x9 +
950 -x2^2*x5*x6*x7 +
951 x2^2*x5*x6*x8*x9 +
952 -x2^2*x5*x6*x8 +
953 -x2^2*x5*x6*x9 +
954 x2^2*x5*x6 +
955 x2^2*x5*x7*x8*x9 +
956 -x2^2*x5*x7*x8 +
957 -x2^2*x5*x7*x9 +
958 x2^2*x5*x7 +
959 -x2^2*x5*x8*x9 +
960 x2^2*x5*x8 +
961 x2^2*x5*x9 +
962 -x2^2*x5 +
963 x2*x3^4*x4^3*x5^2*x6*x7*x8*x9 +
964 -x2*x3^4*x4^3*x5^2*x6*x7*x8 +
965 -x2*x3^4*x4^3*x5^2*x6*x7*x9 +
966 x2*x3^4*x4^3*x5^2*x6*x7 +
967 -x2*x3^4*x4^3*x5^2*x6*x8*x9 +
968 x2*x3^4*x4^3*x5^2*x6*x8 +
969 x2*x3^4*x4^3*x5^2*x6*x9 +
970 -x2*x3^4*x4^3*x5^2*x6 +
971 -x2*x3^4*x4^3*x5^2*x7*x8*x9 +
972 x2*x3^4*x4^3*x5^2*x7*x8 +
973 x2*x3^4*x4^3*x5^2*x7*x9 +
974 -x2*x3^4*x4^3*x5^2*x7 +
975 x2*x3^4*x4^3*x5^2*x8*x9 +
976 -x2*x3^4*x4^3*x5^2*x8 +
977 -x2*x3^4*x4^3*x5^2*x9 +
978 x2*x3^4*x4^3*x5^2 +
979 -x2*x3^4*x4^3*x5*x6*x7*x8*x9 +
980 x2*x3^4*x4^3*x5*x6*x7*x8 +
981 x2*x3^4*x4^3*x5*x6*x7*x9 +
982 -x2*x3^4*x4^3*x5*x6*x7 +
983 x2*x3^4*x4^3*x5*x6*x8*x9 +
984 -x2*x3^4*x4^3*x5*x6*x8 +
985 -x2*x3^4*x4^3*x5*x6*x9 +
986 x2*x3^4*x4^3*x5*x6 +
987 x2*x3^4*x4^3*x5*x7*x8*x9 +
988 -x2*x3^4*x4^3*x5*x7*x8 +
989 -x2*x3^4*x4^3*x5*x7*x9 +
990 x2*x3^4*x4^3*x5*x7 +
991 -x2*x3^4*x4^3*x5*x8*x9 +
992 x2*x3^4*x4^3*x5*x8 +
993 x2*x3^4*x4^3*x5*x9 +
994 -x2*x3^4*x4^3*x5 +
995 x2*x3^4*x4*x5^2*x6^2*x7*x8*x9 +
996 -x2*x3^4*x4*x5^2*x6^2*x7*x8 +
997 -x2*x3^4*x4*x5^2*x6^2*x7*x9 +
998 x2*x3^4*x4*x5^2*x6^2*x7 +
999 -x2*x3^4*x4*x5^2*x6^2*x8*x9 +
1000 x2*x3^4*x4*x5^2*x6^2*x8 +
1001 x2*x3^4*x4*x5^2*x6^2*x9 +
1002 -x2*x3^4*x4*x5^2*x6^2 +
1003 -x2*x3^4*x4*x5^2*x6*x7*x8*x9 +
1004 x2*x3^4*x4*x5^2*x6*x7*x8 +
1005 x2*x3^4*x4*x5^2*x6*x7*x9 +
1006 -x2*x3^4*x4*x5^2*x6*x7 +
1007 x2*x3^4*x4*x5^2*x6*x8*x9 +
1008 -x2*x3^4*x4*x5^2*x6*x8 +
1009 -x2*x3^4*x4*x5^2*x6*x9 +
1010 x2*x3^4*x4*x5^2*x6 +
1011 -x2*x3^4*x4*x6^2*x7*x8*x9 +
1012 x2*x3^4*x4*x6^2*x7*x8 +
1013 x2*x3^4*x4*x6^2*x7*x9 +
1014 -x2*x3^4*x4*x6^2*x7 +
1015 x2*x3^4*x4*x6^2*x8*x9 +
1016 -x2*x3^4*x4*x6^2*x8 +
1017 -x2*x3^4*x4*x6^2*x9 +
1018 x2*x3^4*x4*x6^2 +
1019 x2*x3^4*x4*x6*x7*x8*x9 +
1020 -x2*x3^4*x4*x6*x7*x8 +
1021 -x2*x3^4*x4*x6*x7*x9 +
1022 x2*x3^4*x4*x6*x7 +
1023 -x2*x3^4*x4*x6*x8*x9 +
1024 x2*x3^4*x4*x6*x8 +
1025 x2*x3^4*x4*x6*x9 +
1026 -x2*x3^4*x4*x6 +
1027 -x2*x3^4*x5^2*x6^2*x7*x8*x9 +
1028 x2*x3^4*x5^2*x6^2*x7*x8 +
1029 x2*x3^4*x5^2*x6^2*x7*x9 +
1030 -x2*x3^4*x5^2*x6^2*x7 +
1031 x2*x3^4*x5^2*x6^2*x8*x9 +
1032 -x2*x3^4*x5^2*x6^2*x8 +
1033 -x2*x3^4*x5^2*x6^2*x9 +
1034 x2*x3^4*x5^2*x6^2 +
1035 x2*x3^4*x5^2*x7*x8*x9 +
1036 -x2*x3^4*x5^2*x7*x8 +
1037 -x2*x3^4*x5^2*x7*x9 +
1038 x2*x3^4*x5^2*x7 +
1039 -x2*x3^4*x5^2*x8*x9 +
1040 x2*x3^4*x5^2*x8 +
1041 x2*x3^4*x5^2*x9 +
1042 -x2*x3^4*x5^2 +
1043 x2*x3^4*x5*x6*x7*x8*x9 +
1044 -x2*x3^4*x5*x6*x7*x8 +
1045 -x2*x3^4*x5*x6*x7*x9 +
1046 x2*x3^4*x5*x6*x7 +
1047 -x2*x3^4*x5*x6*x8*x9 +
1048 x2*x3^4*x5*x6*x8 +
1049 x2*x3^4*x5*x6*x9 +
1050 -x2*x3^4*x5*x6 +
1051 -x2*x3^4*x5*x7*x8*x9 +
1052 x2*x3^4*x5*x7*x8 +
1053 x2*x3^4*x5*x7*x9 +
1054 -x2*x3^4*x5*x7 +
1055 x2*x3^4*x5*x8*x9 +
1056 -x2*x3^4*x5*x8 +
1057 -x2*x3^4*x5*x9 +
1058 x2*x3^4*x5 +
1059 x2*x3^4*x6^2*x7*x8*x9 +
1060 -x2*x3^4*x6^2*x7*x8 +
1061 -x2*x3^4*x6^2*x7*x9 +
1062 x2*x3^4*x6^2*x7 +
1063 -x2*x3^4*x6^2*x8*x9 +
1064 x2*x3^4*x6^2*x8 +
1065 x2*x3^4*x6^2*x9 +
1066 -x2*x3^4*x6^2 +
1067 -x2*x3^4*x6*x7*x8*x9 +
1068 x2*x3^4*x6*x7*x8 +
1069 x2*x3^4*x6*x7*x9 +
1070 -x2*x3^4*x6*x7 +
1071 x2*x3^4*x6*x8*x9 +
1072 -x2*x3^4*x6*x8 +
1073 -x2*x3^4*x6*x9 +
1074 x2*x3^4*x6 +
1075 x2*x3^3*x4^3*x5*x6^2*x7*x8*x9 +
1076 -x2*x3^3*x4^3*x5*x6^2*x7*x8 +
1077 -x2*x3^3*x4^3*x5*x6^2*x7*x9 +
1078 x2*x3^3*x4^3*x5*x6^2*x7 +
1079 -x2*x3^3*x4^3*x5*x6^2*x8*x9 +
1080 x2*x3^3*x4^3*x5*x6^2*x8 +
1081 x2*x3^3*x4^3*x5*x6^2*x9 +
1082 -x2*x3^3*x4^3*x5*x6^2 +
1083 -x2*x3^3*x4^3*x5*x6*x7*x8*x9 +
1084 x2*x3^3*x4^3*x5*x6*x7*x8 +
1085 x2*x3^3*x4^3*x5*x6*x7*x9 +
1086 -x2*x3^3*x4^3*x5*x6*x7 +
1087 x2*x3^3*x4^3*x5*x6*x8*x9 +
1088 -x2*x3^3*x4^3*x5*x6*x8 +
1089 -x2*x3^3*x4^3*x5*x6*x9 +
1090 x2*x3^3*x4^3*x5*x6 +
1091 -x2*x3^3*x4^3*x6^2*x7*x8*x9 +
1092 x2*x3^3*x4^3*x6^2*x7*x8 +
1093 x2*x3^3*x4^3*x6^2*x7*x9 +
1094 -x2*x3^3*x4^3*x6^2*x7 +
1095 x2*x3^3*x4^3*x6^2*x8*x9 +
1096 -x2*x3^3*x4^3*x6^2*x8 +
1097 -x2*x3^3*x4^3*x6^2*x9 +
1098 x2*x3^3*x4^3*x6^2 +
1099 x2*x3^3*x4^3*x6*x7*x8*x9 +
1100 -x2*x3^3*x4^3*x6*x7*x8 +
1101 -x2*x3^3*x4^3*x6*x7*x9 +
1102 x2*x3^3*x4^3*x6*x7 +
1103 -x2*x3^3*x4^3*x6*x8*x9 +
1104 x2*x3^3*x4^3*x6*x8 +
1105 x2*x3^3*x4^3*x6*x9 +
1106 -x2*x3^3*x4^3*x6 +
1107 x2*x3^3*x4*x5^3*x6*x7*x8*x9 +
1108 -x2*x3^3*x4*x5^3*x6*x7*x8 +
1109 -x2*x3^3*x4*x5^3*x6*x7*x9 +
1110 x2*x3^3*x4*x5^3*x6*x7 +
1111 -x2*x3^3*x4*x5^3*x6*x8*x9 +
1112 x2*x3^3*x4*x5^3*x6*x8 +
1113 x2*x3^3*x4*x5^3*x6*x9 +
1114 -x2*x3^3*x4*x5^3*x6 +
1115 -x2*x3^3*x4*x5^3*x7*x8*x9 +
1116 x2*x3^3*x4*x5^3*x7*x8 +
1117 x2*x3^3*x4*x5^3*x7*x9 +
1118 -x2*x3^3*x4*x5^3*x7 +
1119 x2*x3^3*x4*x5^3*x8*x9 +
1120 -x2*x3^3*x4*x5^3*x8 +
1121 -x2*x3^3*x4*x5^3*x9 +
1122 x2*x3^3*x4*x5^3 +
1123 -x2*x3^3*x4*x5^2*x6*x7*x8*x9 +
1124 x2*x3^3*x4*x5^2*x6*x7*x8 +
1125 x2*x3^3*x4*x5^2*x6*x7*x9 +
1126 -x2*x3^3*x4*x5^2*x6*x7 +
1127 x2*x3^3*x4*x5^2*x6*x8*x9 +
1128 -x2*x3^3*x4*x5^2*x6*x8 +
1129 -x2*x3^3*x4*x5^2*x6*x9 +
1130 x2*x3^3*x4*x5^2*x6 +
1131 x2*x3^3*x4*x5^2*x7*x8*x9 +
1132 -x2*x3^3*x4*x5^2*x7*x8 +
1133 -x2*x3^3*x4*x5^2*x7*x9 +
1134 x2*x3^3*x4*x5^2*x7 +
1135 -x2*x3^3*x4*x5^2*x8*x9 +
1136 x2*x3^3*x4*x5^2*x8 +
1137 x2*x3^3*x4*x5^2*x9 +
1138 -x2*x3^3*x4*x5^2 +
1139 -x2*x3^3*x4*x5*x6^2*x7*x8*x9 +
1140 x2*x3^3*x4*x5*x6^2*x7*x8 +
1141 x2*x3^3*x4*x5*x6^2*x7*x9 +
1142 -x2*x3^3*x4*x5*x6^2*x7 +
1143 x2*x3^3*x4*x5*x6^2*x8*x9 +
1144 -x2*x3^3*x4*x5*x6^2*x8 +
1145 -x2*x3^3*x4*x5*x6^2*x9 +
1146 x2*x3^3*x4*x5*x6^2 +
1147 x2*x3^3*x4*x5*x6*x7*x8*x9 +
1148 -x2*x3^3*x4*x5*x6*x7*x8 +
1149 -x2*x3^3*x4*x5*x6*x7*x9 +
1150 x2*x3^3*x4*x5*x6*x7 +
1151 -x2*x3^3*x4*x5*x6*x8*x9 +
1152 x2*x3^3*x4*x5*x6*x8 +
1153 x2*x3^3*x4*x5*x6*x9 +
1154 -x2*x3^3*x4*x5*x6 +
1155 x2*x3^3*x4*x6^2*x7*x8*x9 +
1156 -x2*x3^3*x4*x6^2*x7*x8 +
1157 -x2*x3^3*x4*x6^2*x7*x9 +
1158 x2*x3^3*x4*x6^2*x7 +
1159 -x2*x3^3*x4*x6^2*x8*x9 +
1160 x2*x3^3*x4*x6^2*x8 +
1161 x2*x3^3*x4*x6^2*x9 +
1162 -x2*x3^3*x4*x6^2 +
1163 -x2*x3^3*x4*x6*x7*x8*x9 +
1164 x2*x3^3*x4*x6*x7*x8 +
1165 x2*x3^3*x4*x6*x7*x9 +
1166 -x2*x3^3*x4*x6*x7 +
1167 x2*x3^3*x4*x6*x8*x9 +
1168 -x2*x3^3*x4*x6*x8 +
1169 -x2*x3^3*x4*x6*x9 +
1170 x2*x3^3*x4*x6 +
1171 -x2*x3^3*x5^3*x6*x7*x8*x9 +
1172 x2*x3^3*x5^3*x6*x7*x8 +
1173 x2*x3^3*x5^3*x6*x7*x9 +
1174 -x2*x3^3*x5^3*x6*x7 +
1175 x2*x3^3*x5^3*x6*x8*x9 +
1176 -x2*x3^3*x5^3*x6*x8 +
1177 -x2*x3^3*x5^3*x6*x9 +
1178 x2*x3^3*x5^3*x6 +
1179 x2*x3^3*x5^3*x7*x8*x9 +
1180 -x2*x3^3*x5^3*x7*x8 +
1181 -x2*x3^3*x5^3*x7*x9 +
1182 x2*x3^3*x5^3*x7 +
1183 -x2*x3^3*x5^3*x8*x9 +
1184 x2*x3^3*x5^3*x8 +
1185 x2*x3^3*x5^3*x9 +
1186 -x2*x3^3*x5^3 +
1187 x2*x3^3*x5^2*x6*x7*x8*x9 +
1188 -x2*x3^3*x5^2*x6*x7*x8 +
1189 -x2*x3^3*x5^2*x6*x7*x9 +
1190 x2*x3^3*x5^2*x6*x7 +
1191 -x2*x3^3*x5^2*x6*x8*x9 +
1192 x2*x3^3*x5^2*x6*x8 +
1193 x2*x3^3*x5^2*x6*x9 +
1194 -x2*x3^3*x5^2*x6 +
1195 -x2*x3^3*x5^2*x7*x8*x9 +
1196 x2*x3^3*x5^2*x7*x8 +
1197 x2*x3^3*x5^2*x7*x9 +
1198 -x2*x3^3*x5^2*x7 +
1199 x2*x3^3*x5^2*x8*x9 +
1200 -x2*x3^3*x5^2*x8 +
1201 -x2*x3^3*x5^2*x9 +
1202 x2*x3^3*x5^2 +
1203 x2*x3^2*x4^5*x5*x6*x7*x8*x9 +
1204 -x2*x3^2*x4^5*x5*x6*x7*x8 +
1205 -x2*x3^2*x4^5*x5*x6*x7*x9 +
1206 x2*x3^2*x4^5*x5*x6*x7 +
1207 -x2*x3^2*x4^5*x5*x6*x8*x9 +
1208 x2*x3^2*x4^5*x5*x6*x8 +
1209 x2*x3^2*x4^5*x5*x6*x9 +
1210 -x2*x3^2*x4^5*x5*x6 +
1211 -x2*x3^2*x4^5*x5*x7*x8*x9 +
1212 x2*x3^2*x4^5*x5*x7*x8 +
1213 x2*x3^2*x4^5*x5*x7*x9 +
1214 -x2*x3^2*x4^5*x5*x7 +
1215 x2*x3^2*x4^5*x5*x8*x9 +
1216 -x2*x3^2*x4^5*x5*x8 +
1217 -x2*x3^2*x4^5*x5*x9 +
1218 x2*x3^2*x4^5*x5 +
1219 -x2*x3^2*x4^5*x6*x7*x8*x9 +
1220 x2*x3^2*x4^5*x6*x7*x8 +
1221 x2*x3^2*x4^5*x6*x7*x9 +
1222 -x2*x3^2*x4^5*x6*x7 +
1223 x2*x3^2*x4^5*x6*x8*x9 +
1224 -x2*x3^2*x4^5*x6*x8 +
1225 -x2*x3^2*x4^5*x6*x9 +
1226 x2*x3^2*x4^5*x6 +
1227 x2*x3^2*x4^5*x7*x8*x9 +
1228 -x2*x3^2*x4^5*x7*x8 +
1229 -x2*x3^2*x4^5*x7*x9 +
1230 x2*x3^2*x4^5*x7 +
1231 -x2*x3^2*x4^5*x8*x9 +
1232 x2*x3^2*x4^5*x8 +
1233 x2*x3^2*x4^5*x9 +
1234 -x2*x3^2*x4^5 +
1235 -x2*x3^2*x4^4*x5*x6*x7*x8*x9 +
1236 x2*x3^2*x4^4*x5*x6*x7*x8 +
1237 x2*x3^2*x4^4*x5*x6*x7*x9 +
1238 -x2*x3^2*x4^4*x5*x6*x7 +
1239 x2*x3^2*x4^4*x5*x6*x8*x9 +
1240 -x2*x3^2*x4^4*x5*x6*x8 +
1241 -x2*x3^2*x4^4*x5*x6*x9 +
1242 x2*x3^2*x4^4*x5*x6 +
1243 x2*x3^2*x4^4*x5*x7*x8*x9 +
1244 -x2*x3^2*x4^4*x5*x7*x8 +
1245 -x2*x3^2*x4^4*x5*x7*x9 +
1246 x2*x3^2*x4^4*x5*x7 +
1247 -x2*x3^2*x4^4*x5*x8*x9 +
1248 x2*x3^2*x4^4*x5*x8 +
1249 x2*x3^2*x4^4*x5*x9 +
1250 -x2*x3^2*x4^4*x5 +
1251 x2*x3^2*x4^4*x6*x7*x8*x9 +
1252 -x2*x3^2*x4^4*x6*x7*x8 +
1253 -x2*x3^2*x4^4*x6*x7*x9 +
1254 x2*x3^2*x4^4*x6*x7 +
1255 -x2*x3^2*x4^4*x6*x8*x9 +
1256 x2*x3^2*x4^4*x6*x8 +
1257 x2*x3^2*x4^4*x6*x9 +
1258 -x2*x3^2*x4^4*x6 +
1259 -x2*x3^2*x4^4*x7*x8*x9 +
1260 x2*x3^2*x4^4*x7*x8 +
1261 x2*x3^2*x4^4*x7*x9 +
1262 -x2*x3^2*x4^4*x7 +
1263 x2*x3^2*x4^4*x8*x9 +
1264 -x2*x3^2*x4^4*x8 +
1265 -x2*x3^2*x4^4*x9 +
1266 x2*x3^2*x4^4 +
1267 x2*x3^2*x4^2*x5^3*x6*x7*x8*x9 +
1268 -x2*x3^2*x4^2*x5^3*x6*x7*x8 +
1269 -x2*x3^2*x4^2*x5^3*x6*x7*x9 +
1270 x2*x3^2*x4^2*x5^3*x6*x7 +
1271 -x2*x3^2*x4^2*x5^3*x6*x8*x9 +
1272 x2*x3^2*x4^2*x5^3*x6*x8 +
1273 x2*x3^2*x4^2*x5^3*x6*x9 +
1274 -x2*x3^2*x4^2*x5^3*x6 +
1275 -x2*x3^2*x4^2*x5^3*x7*x8*x9 +
1276 x2*x3^2*x4^2*x5^3*x7*x8 +
1277 x2*x3^2*x4^2*x5^3*x7*x9 +
1278 -x2*x3^2*x4^2*x5^3*x7 +
1279 x2*x3^2*x4^2*x5^3*x8*x9 +
1280 -x2*x3^2*x4^2*x5^3*x8 +
1281 -x2*x3^2*x4^2*x5^3*x9 +
1282 x2*x3^2*x4^2*x5^3 +
1283 -x2*x3^2*x4^2*x5^2*x6*x7*x8*x9 +
1284 x2*x3^2*x4^2*x5^2*x6*x7*x8 +
1285 x2*x3^2*x4^2*x5^2*x6*x7*x9 +
1286 -x2*x3^2*x4^2*x5^2*x6*x7 +
1287 x2*x3^2*x4^2*x5^2*x6*x8*x9 +
1288 -x2*x3^2*x4^2*x5^2*x6*x8 +
1289 -x2*x3^2*x4^2*x5^2*x6*x9 +
1290 x2*x3^2*x4^2*x5^2*x6 +
1291 x2*x3^2*x4^2*x5^2*x7*x8*x9 +
1292 -x2*x3^2*x4^2*x5^2*x7*x8 +
1293 -x2*x3^2*x4^2*x5^2*x7*x9 +
1294 x2*x3^2*x4^2*x5^2*x7 +
1295 -x2*x3^2*x4^2*x5^2*x8*x9 +
1296 x2*x3^2*x4^2*x5^2*x8 +
1297 x2*x3^2*x4^2*x5^2*x9 +
1298 -x2*x3^2*x4^2*x5^2 +
1299 -x2*x3^2*x4*x5^3*x6*x7*x8*x9 +
1300 x2*x3^2*x4*x5^3*x6*x7*x8 +
1301 x2*x3^2*x4*x5^3*x6*x7*x9 +
1302 -x2*x3^2*x4*x5^3*x6*x7 +
1303 x2*x3^2*x4*x5^3*x6*x8*x9 +
1304 -x2*x3^2*x4*x5^3*x6*x8 +
1305 -x2*x3^2*x4*x5^3*x6*x9 +
1306 x2*x3^2*x4*x5^3*x6 +
1307 x2*x3^2*x4*x5^3*x7*x8*x9 +
1308 -x2*x3^2*x4*x5^3*x7*x8 +
1309 -x2*x3^2*x4*x5^3*x7*x9 +
1310 x2*x3^2*x4*x5^3*x7 +
1311 -x2*x3^2*x4*x5^3*x8*x9 +
1312 x2*x3^2*x4*x5^3*x8 +
1313 x2*x3^2*x4*x5^3*x9 +
1314 -x2*x3^2*x4*x5^3 +
1315 x2*x3^2*x4*x5^2*x6*x7*x8*x9 +
1316 -x2*x3^2*x4*x5^2*x6*x7*x8 +
1317 -x2*x3^2*x4*x5^2*x6*x7*x9 +
1318 x2*x3^2*x4*x5^2*x6*x7 +
1319 -x2*x3^2*x4*x5^2*x6*x8*x9 +
1320 x2*x3^2*x4*x5^2*x6*x8 +
1321 x2*x3^2*x4*x5^2*x6*x9 +
1322 -x2*x3^2*x4*x5^2*x6 +
1323 -x2*x3^2*x4*x5^2*x7*x8*x9 +
1324 x2*x3^2*x4*x5^2*x7*x8 +
1325 x2*x3^2*x4*x5^2*x7*x9 +
1326 -x2*x3^2*x4*x5^2*x7 +
1327 x2*x3^2*x4*x5^2*x8*x9 +
1328 -x2*x3^2*x4*x5^2*x8 +
1329 -x2*x3^2*x4*x5^2*x9 +
1330 x2*x3^2*x4*x5^2 +
1331 -x2*x3*x4^5*x5*x6*x7*x8*x9 +
1332 x2*x3*x4^5*x5*x6*x7*x8 +
1333 x2*x3*x4^5*x5*x6*x7*x9 +
1334 -x2*x3*x4^5*x5*x6*x7 +
1335 x2*x3*x4^5*x5*x6*x8*x9 +
1336 -x2*x3*x4^5*x5*x6*x8 +
1337 -x2*x3*x4^5*x5*x6*x9 +
1338 x2*x3*x4^5*x5*x6 +
1339 x2*x3*x4^5*x5*x7*x8*x9 +
1340 -x2*x3*x4^5*x5*x7*x8 +
1341 -x2*x3*x4^5*x5*x7*x9 +
1342 x2*x3*x4^5*x5*x7 +
1343 -x2*x3*x4^5*x5*x8*x9 +
1344 x2*x3*x4^5*x5*x8 +
1345 x2*x3*x4^5*x5*x9 +
1346 -x2*x3*x4^5*x5 +
1347 x2*x3*x4^5*x6*x7*x8*x9 +
1348 -x2*x3*x4^5*x6*x7*x8 +
1349 -x2*x3*x4^5*x6*x7*x9 +
1350 x2*x3*x4^5*x6*x7 +
1351 -x2*x3*x4^5*x6*x8*x9 +
1352 x2*x3*x4^5*x6*x8 +
1353 x2*x3*x4^5*x6*x9 +
1354 -x2*x3*x4^5*x6 +
1355 -x2*x3*x4^5*x7*x8*x9 +
1356 x2*x3*x4^5*x7*x8 +
1357 x2*x3*x4^5*x7*x9 +
1358 -x2*x3*x4^5*x7 +
1359 x2*x3*x4^5*x8*x9 +
1360 -x2*x3*x4^5*x8 +
1361 -x2*x3*x4^5*x9 +
1362 x2*x3*x4^5 +
1363 x2*x3*x4^4*x5*x6*x7*x8*x9 +
1364 -x2*x3*x4^4*x5*x6*x7*x8 +
1365 -x2*x3*x4^4*x5*x6*x7*x9 +
1366 x2*x3*x4^4*x5*x6*x7 +
1367 -x2*x3*x4^4*x5*x6*x8*x9 +
1368 x2*x3*x4^4*x5*x6*x8 +
1369 x2*x3*x4^4*x5*x6*x9 +
1370 -x2*x3*x4^4*x5*x6 +
1371 -x2*x3*x4^4*x5*x7*x8*x9 +
1372 x2*x3*x4^4*x5*x7*x8 +
1373 x2*x3*x4^4*x5*x7*x9 +
1374 -x2*x3*x4^4*x5*x7 +
1375 x2*x3*x4^4*x5*x8*x9 +
1376 -x2*x3*x4^4*x5*x8 +
1377 -x2*x3*x4^4*x5*x9 +
1378 x2*x3*x4^4*x5 +
1379 -x2*x3*x4^4*x6*x7*x8*x9 +
1380 x2*x3*x4^4*x6*x7*x8 +
1381 x2*x3*x4^4*x6*x7*x9 +
1382 -x2*x3*x4^4*x6*x7 +
1383 x2*x3*x4^4*x6*x8*x9 +
1384 -x2*x3*x4^4*x6*x8 +
1385 -x2*x3*x4^4*x6*x9 +
1386 x2*x3*x4^4*x6 +
1387 x2*x3*x4^4*x7*x8*x9 +
1388 -x2*x3*x4^4*x7*x8 +
1389 -x2*x3*x4^4*x7*x9 +
1390 x2*x3*x4^4*x7 +
1391 -x2*x3*x4^4*x8*x9 +
1392 x2*x3*x4^4*x8 +
1393 x2*x3*x4^4*x9 +
1394 -x2*x3*x4^4 +
1395 x2*x3*x4^3*x5^2*x6^2*x7*x8*x9 +
1396 -x2*x3*x4^3*x5^2*x6^2*x7*x8 +
1397 -x2*x3*x4^3*x5^2*x6^2*x7*x9 +
1398 x2*x3*x4^3*x5^2*x6^2*x7 +
1399 -x2*x3*x4^3*x5^2*x6^2*x8*x9 +
1400 x2*x3*x4^3*x5^2*x6^2*x8 +
1401 x2*x3*x4^3*x5^2*x6^2*x9 +
1402 -x2*x3*x4^3*x5^2*x6^2 +
1403 -x2*x3*x4^3*x5^2*x6*x7*x8*x9 +
1404 x2*x3*x4^3*x5^2*x6*x7*x8 +
1405 x2*x3*x4^3*x5^2*x6*x7*x9 +
1406 -x2*x3*x4^3*x5^2*x6*x7 +
1407 x2*x3*x4^3*x5^2*x6*x8*x9 +
1408 -x2*x3*x4^3*x5^2*x6*x8 +
1409 -x2*x3*x4^3*x5^2*x6*x9 +
1410 x2*x3*x4^3*x5^2*x6 +
1411 -x2*x3*x4^3*x5*x6^2*x7*x8*x9 +
1412 x2*x3*x4^3*x5*x6^2*x7*x8 +
1413 x2*x3*x4^3*x5*x6^2*x7*x9 +
1414 -x2*x3*x4^3*x5*x6^2*x7 +
1415 x2*x3*x4^3*x5*x6^2*x8*x9 +
1416 -x2*x3*x4^3*x5*x6^2*x8 +
1417 -x2*x3*x4^3*x5*x6^2*x9 +
1418 x2*x3*x4^3*x5*x6^2 +
1419 x2*x3*x4^3*x5*x6*x7*x8*x9 +
1420 -x2*x3*x4^3*x5*x6*x7*x8 +
1421 -x2*x3*x4^3*x5*x6*x7*x9 +
1422 x2*x3*x4^3*x5*x6*x7 +
1423 -x2*x3*x4^3*x5*x6*x8*x9 +
1424 x2*x3*x4^3*x5*x6*x8 +
1425 x2*x3*x4^3*x5*x6*x9 +
1426 -x2*x3*x4^3*x5*x6 +
1427 -x2*x3*x4^2*x5^3*x6*x7*x8*x9 +
1428 x2*x3*x4^2*x5^3*x6*x7*x8 +
1429 x2*x3*x4^2*x5^3*x6*x7*x9 +
1430 -x2*x3*x4^2*x5^3*x6*x7 +
1431 x2*x3*x4^2*x5^3*x6*x8*x9 +
1432 -x2*x3*x4^2*x5^3*x6*x8 +
1433 -x2*x3*x4^2*x5^3*x6*x9 +
1434 x2*x3*x4^2*x5^3*x6 +
1435 x2*x3*x4^2*x5^3*x7*x8*x9 +
1436 -x2*x3*x4^2*x5^3*x7*x8 +
1437 -x2*x3*x4^2*x5^3*x7*x9 +
1438 x2*x3*x4^2*x5^3*x7 +
1439 -x2*x3*x4^2*x5^3*x8*x9 +
1440 x2*x3*x4^2*x5^3*x8 +
1441 x2*x3*x4^2*x5^3*x9 +
1442 -x2*x3*x4^2*x5^3 +
1443 x2*x3*x4^2*x5*x6*x7*x8*x9 +
1444 -x2*x3*x4^2*x5*x6*x7*x8 +
1445 -x2*x3*x4^2*x5*x6*x7*x9 +
1446 x2*x3*x4^2*x5*x6*x7 +
1447 -x2*x3*x4^2*x5*x6*x8*x9 +
1448 x2*x3*x4^2*x5*x6*x8 +
1449 x2*x3*x4^2*x5*x6*x9 +
1450 -x2*x3*x4^2*x5*x6 +
1451 -x2*x3*x4^2*x5*x7*x8*x9 +
1452 x2*x3*x4^2*x5*x7*x8 +
1453 x2*x3*x4^2*x5*x7*x9 +
1454 -x2*x3*x4^2*x5*x7 +
1455 x2*x3*x4^2*x5*x8*x9 +
1456 -x2*x3*x4^2*x5*x8 +
1457 -x2*x3*x4^2*x5*x9 +
1458 x2*x3*x4^2*x5 +
1459 -x2*x3*x4*x5^2*x6^2*x7*x8*x9 +
1460 x2*x3*x4*x5^2*x6^2*x7*x8 +
1461 x2*x3*x4*x5^2*x6^2*x7*x9 +
1462 -x2*x3*x4*x5^2*x6^2*x7 +
1463 x2*x3*x4*x5^2*x6^2*x8*x9 +
1464 -x2*x3*x4*x5^2*x6^2*x8 +
1465 -x2*x3*x4*x5^2*x6^2*x9 +
1466 x2*x3*x4*x5^2*x6^2 +
1467 x2*x3*x4*x5^2*x6*x7*x8*x9 +
1468 -x2*x3*x4*x5^2*x6*x7*x8 +
1469 -x2*x3*x4*x5^2*x6*x7*x9 +
1470 x2*x3*x4*x5^2*x6*x7 +
1471 -x2*x3*x4*x5^2*x6*x8*x9 +
1472 x2*x3*x4*x5^2*x6*x8 +
1473 x2*x3*x4*x5^2*x6*x9 +
1474 -x2*x3*x4*x5^2*x6 +
1475 x2*x3*x4*x5*x6^2*x7*x8*x9 +
1476 -x2*x3*x4*x5*x6^2*x7*x8 +
1477 -x2*x3*x4*x5*x6^2*x7*x9 +
1478 x2*x3*x4*x5*x6^2*x7 +
1479 -x2*x3*x4*x5*x6^2*x8*x9 +
1480 x2*x3*x4*x5*x6^2*x8 +
1481 x2*x3*x4*x5*x6^2*x9 +
1482 -x2*x3*x4*x5*x6^2 +
1483 -x2*x3*x4*x5*x6*x7*x8*x9 +
1484 x2*x3*x4*x5*x6*x7*x8 +
1485 x2*x3*x4*x5*x6*x7*x9 +
1486 -x2*x3*x4*x5*x6*x7 +
1487 x2*x3*x4*x5*x6*x8*x9 +
1488 -x2*x3*x4*x5*x6*x8 +
1489 -x2*x3*x4*x5*x6*x9 +
1490 x2*x3*x4*x5*x6 +
1491 x2*x3*x5^3*x6*x7*x8*x9 +
1492 -x2*x3*x5^3*x6*x7*x8 +
1493 -x2*x3*x5^3*x6*x7*x9 +
1494 x2*x3*x5^3*x6*x7 +
1495 -x2*x3*x5^3*x6*x8*x9 +
1496 x2*x3*x5^3*x6*x8 +
1497 x2*x3*x5^3*x6*x9 +
1498 -x2*x3*x5^3*x6 +
1499 -x2*x3*x5^3*x7*x8*x9 +
1500 x2*x3*x5^3*x7*x8 +
1501 x2*x3*x5^3*x7*x9 +
1502 -x2*x3*x5^3*x7 +
1503 x2*x3*x5^3*x8*x9 +
1504 -x2*x3*x5^3*x8 +
1505 -x2*x3*x5^3*x9 +
1506 x2*x3*x5^3 +
1507 -x2*x3*x5*x6*x7*x8*x9 +
1508 x2*x3*x5*x6*x7*x8 +
1509 x2*x3*x5*x6*x7*x9 +
1510 -x2*x3*x5*x6*x7 +
1511 x2*x3*x5*x6*x8*x9 +
1512 -x2*x3*x5*x6*x8 +
1513 -x2*x3*x5*x6*x9 +
1514 x2*x3*x5*x6 +
1515 x2*x3*x5*x7*x8*x9 +
1516 -x2*x3*x5*x7*x8 +
1517 -x2*x3*x5*x7*x9 +
1518 x2*x3*x5*x7 +
1519 -x2*x3*x5*x8*x9 +
1520 x2*x3*x5*x8 +
1521 x2*x3*x5*x9 +
1522 -x2*x3*x5 +
1523 -x2*x4^3*x5^2*x6^2*x7*x8*x9 +
1524 x2*x4^3*x5^2*x6^2*x7*x8 +
1525 x2*x4^3*x5^2*x6^2*x7*x9 +
1526 -x2*x4^3*x5^2*x6^2*x7 +
1527 x2*x4^3*x5^2*x6^2*x8*x9 +
1528 -x2*x4^3*x5^2*x6^2*x8 +
1529 -x2*x4^3*x5^2*x6^2*x9 +
1530 x2*x4^3*x5^2*x6^2 +
1531 x2*x4^3*x5^2*x7*x8*x9 +
1532 -x2*x4^3*x5^2*x7*x8 +
1533 -x2*x4^3*x5^2*x7*x9 +
1534 x2*x4^3*x5^2*x7 +
1535 -x2*x4^3*x5^2*x8*x9 +
1536 x2*x4^3*x5^2*x8 +
1537 x2*x4^3*x5^2*x9 +
1538 -x2*x4^3*x5^2 +
1539 x2*x4^3*x5*x6*x7*x8*x9 +
1540 -x2*x4^3*x5*x6*x7*x8 +
1541 -x2*x4^3*x5*x6*x7*x9 +
1542 x2*x4^3*x5*x6*x7 +
1543 -x2*x4^3*x5*x6*x8*x9 +
1544 x2*x4^3*x5*x6*x8 +
1545 x2*x4^3*x5*x6*x9 +
1546 -x2*x4^3*x5*x6 +
1547 -x2*x4^3*x5*x7*x8*x9 +
1548 x2*x4^3*x5*x7*x8 +
1549 x2*x4^3*x5*x7*x9 +
1550 -x2*x4^3*x5*x7 +
1551 x2*x4^3*x5*x8*x9 +
1552 -x2*x4^3*x5*x8 +
1553 -x2*x4^3*x5*x9 +
1554 x2*x4^3*x5 +
1555 x2*x4^3*x6^2*x7*x8*x9 +
1556 -x2*x4^3*x6^2*x7*x8 +
1557 -x2*x4^3*x6^2*x7*x9 +
1558 x2*x4^3*x6^2*x7 +
1559 -x2*x4^3*x6^2*x8*x9 +
1560 x2*x4^3*x6^2*x8 +
1561 x2*x4^3*x6^2*x9 +
1562 -x2*x4^3*x6^2 +
1563 -x2*x4^3*x6*x7*x8*x9 +
1564 x2*x4^3*x6*x7*x8 +
1565 x2*x4^3*x6*x7*x9 +
1566 -x2*x4^3*x6*x7 +
1567 x2*x4^3*x6*x8*x9 +
1568 -x2*x4^3*x6*x8 +
1569 -x2*x4^3*x6*x9 +
1570 x2*x4^3*x6 +
1571 x2*x4^2*x5^2*x6*x7*x8*x9 +
1572 -x2*x4^2*x5^2*x6*x7*x8 +
1573 -x2*x4^2*x5^2*x6*x7*x9 +
1574 x2*x4^2*x5^2*x6*x7 +
1575 -x2*x4^2*x5^2*x6*x8*x9 +
1576 x2*x4^2*x5^2*x6*x8 +
1577 x2*x4^2*x5^2*x6*x9 +
1578 -x2*x4^2*x5^2*x6 +
1579 -x2*x4^2*x5^2*x7*x8*x9 +
1580 x2*x4^2*x5^2*x7*x8 +
1581 x2*x4^2*x5^2*x7*x9 +
1582 -x2*x4^2*x5^2*x7 +
1583 x2*x4^2*x5^2*x8*x9 +
1584 -x2*x4^2*x5^2*x8 +
1585 -x2*x4^2*x5^2*x9 +
1586 x2*x4^2*x5^2 +
1587 -x2*x4^2*x5*x6*x7*x8*x9 +
1588 x2*x4^2*x5*x6*x7*x8 +
1589 x2*x4^2*x5*x6*x7*x9 +
1590 -x2*x4^2*x5*x6*x7 +
1591 x2*x4^2*x5*x6*x8*x9 +
1592 -x2*x4^2*x5*x6*x8 +
1593 -x2*x4^2*x5*x6*x9 +
1594 x2*x4^2*x5*x6 +
1595 x2*x4^2*x5*x7*x8*x9 +
1596 -x2*x4^2*x5*x7*x8 +
1597 -x2*x4^2*x5*x7*x9 +
1598 x2*x4^2*x5*x7 +
1599 -x2*x4^2*x5*x8*x9 +
1600 x2*x4^2*x5*x8 +
1601 x2*x4^2*x5*x9 +
1602 -x2*x4^2*x5 +
1603 x2*x5^2*x6^2*x7*x8*x9 +
1604 -x2*x5^2*x6^2*x7*x8 +
1605 -x2*x5^2*x6^2*x7*x9 +
1606 x2*x5^2*x6^2*x7 +
1607 -x2*x5^2*x6^2*x8*x9 +
1608 x2*x5^2*x6^2*x8 +
1609 x2*x5^2*x6^2*x9 +
1610 -x2*x5^2*x6^2 +
1611 -x2*x5^2*x6*x7*x8*x9 +
1612 x2*x5^2*x6*x7*x8 +
1613 x2*x5^2*x6*x7*x9 +
1614 -x2*x5^2*x6*x7 +
1615 x2*x5^2*x6*x8*x9 +
1616 -x2*x5^2*x6*x8 +
1617 -x2*x5^2*x6*x9 +
1618 x2*x5^2*x6 +
1619 -x2*x6^2*x7*x8*x9 +
1620 x2*x6^2*x7*x8 +
1621 x2*x6^2*x7*x9 +
1622 -x2*x6^2*x7 +
1623 x2*x6^2*x8*x9 +
1624 -x2*x6^2*x8 +
1625 -x2*x6^2*x9 +
1626 x2*x6^2 +
1627 x2*x6*x7*x8*x9 +
1628 -x2*x6*x7*x8 +
1629 -x2*x6*x7*x9 +
1630 x2*x6*x7 +
1631 -x2*x6*x8*x9 +
1632 x2*x6*x8 +
1633 x2*x6*x9 +
1634 -x2*x6 +
1635 -x3^4*x4^3*x5^2*x6*x7*x8*x9 +
1636 x3^4*x4^3*x5^2*x6*x7*x8 +
1637 x3^4*x4^3*x5^2*x6*x7*x9 +
1638 -x3^4*x4^3*x5^2*x6*x7 +
1639 x3^4*x4^3*x5^2*x6*x8*x9 +
1640 -x3^4*x4^3*x5^2*x6*x8 +
1641 -x3^4*x4^3*x5^2*x6*x9 +
1642 x3^4*x4^3*x5^2*x6 +
1643 x3^4*x4^3*x5^2*x7*x8*x9 +
1644 -x3^4*x4^3*x5^2*x7*x8 +
1645 -x3^4*x4^3*x5^2*x7*x9 +
1646 x3^4*x4^3*x5^2*x7 +
1647 -x3^4*x4^3*x5^2*x8*x9 +
1648 x3^4*x4^3*x5^2*x8 +
1649 x3^4*x4^3*x5^2*x9 +
1650 -x3^4*x4^3*x5^2 +
1651 x3^4*x4^3*x6*x7*x8*x9 +
1652 -x3^4*x4^3*x6*x7*x8 +
1653 -x3^4*x4^3*x6*x7*x9 +
1654 x3^4*x4^3*x6*x7 +
1655 -x3^4*x4^3*x6*x8*x9 +
1656 x3^4*x4^3*x6*x8 +
1657 x3^4*x4^3*x6*x9 +
1658 -x3^4*x4^3*x6 +
1659 -x3^4*x4^3*x7*x8*x9 +
1660 x3^4*x4^3*x7*x8 +
1661 x3^4*x4^3*x7*x9 +
1662 -x3^4*x4^3*x7 +
1663 x3^4*x4^3*x8*x9 +
1664 -x3^4*x4^3*x8 +
1665 -x3^4*x4^3*x9 +
1666 x3^4*x4^3 +
1667 -x3^4*x4*x5^2*x6^2*x7*x8*x9 +
1668 x3^4*x4*x5^2*x6^2*x7*x8 +
1669 x3^4*x4*x5^2*x6^2*x7*x9 +
1670 -x3^4*x4*x5^2*x6^2*x7 +
1671 x3^4*x4*x5^2*x6^2*x8*x9 +
1672 -x3^4*x4*x5^2*x6^2*x8 +
1673 -x3^4*x4*x5^2*x6^2*x9 +
1674 x3^4*x4*x5^2*x6^2 +
1675 x3^4*x4*x5^2*x6*x7*x8*x9 +
1676 -x3^4*x4*x5^2*x6*x7*x8 +
1677 -x3^4*x4*x5^2*x6*x7*x9 +
1678 x3^4*x4*x5^2*x6*x7 +
1679 -x3^4*x4*x5^2*x6*x8*x9 +
1680 x3^4*x4*x5^2*x6*x8 +
1681 x3^4*x4*x5^2*x6*x9 +
1682 -x3^4*x4*x5^2*x6 +
1683 x3^4*x4*x6^2*x7*x8*x9 +
1684 -x3^4*x4*x6^2*x7*x8 +
1685 -x3^4*x4*x6^2*x7*x9 +
1686 x3^4*x4*x6^2*x7 +
1687 -x3^4*x4*x6^2*x8*x9 +
1688 x3^4*x4*x6^2*x8 +
1689 x3^4*x4*x6^2*x9 +
1690 -x3^4*x4*x6^2 +
1691 -x3^4*x4*x6*x7*x8*x9 +
1692 x3^4*x4*x6*x7*x8 +
1693 x3^4*x4*x6*x7*x9 +
1694 -x3^4*x4*x6*x7 +
1695 x3^4*x4*x6*x8*x9 +
1696 -x3^4*x4*x6*x8 +
1697 -x3^4*x4*x6*x9 +
1698 x3^4*x4*x6 +
1699 x3^4*x5^2*x6^2*x7*x8*x9 +
1700 -x3^4*x5^2*x6^2*x7*x8 +
1701 -x3^4*x5^2*x6^2*x7*x9 +
1702 x3^4*x5^2*x6^2*x7 +
1703 -x3^4*x5^2*x6^2*x8*x9 +
1704 x3^4*x5^2*x6^2*x8 +
1705 x3^4*x5^2*x6^2*x9 +
1706 -x3^4*x5^2*x6^2 +
1707 -x3^4*x5^2*x7*x8*x9 +
1708 x3^4*x5^2*x7*x8 +
1709 x3^4*x5^2*x7*x9 +
1710 -x3^4*x5^2*x7 +
1711 x3^4*x5^2*x8*x9 +
1712 -x3^4*x5^2*x8 +
1713 -x3^4*x5^2*x9 +
1714 x3^4*x5^2 +
1715 -x3^4*x6^2*x7*x8*x9 +
1716 x3^4*x6^2*x7*x8 +
1717 x3^4*x6^2*x7*x9 +
1718 -x3^4*x6^2*x7 +
1719 x3^4*x6^2*x8*x9 +
1720 -x3^4*x6^2*x8 +
1721 -x3^4*x6^2*x9 +
1722 x3^4*x6^2 +
1723 x3^4*x7*x8*x9 +
1724 -x3^4*x7*x8 +
1725 -x3^4*x7*x9 +
1726 x3^4*x7 +
1727 -x3^4*x8*x9 +
1728 x3^4*x8 +
1729 x3^4*x9 +
1730 -x3^4 +
1731 -x3^3*x4^3*x5*x6^2*x7*x8*x9 +
1732 x3^3*x4^3*x5*x6^2*x7*x8 +
1733 x3^3*x4^3*x5*x6^2*x7*x9 +
1734 -x3^3*x4^3*x5*x6^2*x7 +
1735 x3^3*x4^3*x5*x6^2*x8*x9 +
1736 -x3^3*x4^3*x5*x6^2*x8 +
1737 -x3^3*x4^3*x5*x6^2*x9 +
1738 x3^3*x4^3*x5*x6^2 +
1739 x3^3*x4^3*x5*x6*x7*x8*x9 +
1740 -x3^3*x4^3*x5*x6*x7*x8 +
1741 -x3^3*x4^3*x5*x6*x7*x9 +
1742 x3^3*x4^3*x5*x6*x7 +
1743 -x3^3*x4^3*x5*x6*x8*x9 +
1744 x3^3*x4^3*x5*x6*x8 +
1745 x3^3*x4^3*x5*x6*x9 +
1746 -x3^3*x4^3*x5*x6 +
1747 x3^3*x4^3*x6^2*x7*x8*x9 +
1748 -x3^3*x4^3*x6^2*x7*x8 +
1749 -x3^3*x4^3*x6^2*x7*x9 +
1750 x3^3*x4^3*x6^2*x7 +
1751 -x3^3*x4^3*x6^2*x8*x9 +
1752 x3^3*x4^3*x6^2*x8 +
1753 x3^3*x4^3*x6^2*x9 +
1754 -x3^3*x4^3*x6^2 +
1755 -x3^3*x4^3*x6*x7*x8*x9 +
1756 x3^3*x4^3*x6*x7*x8 +
1757 x3^3*x4^3*x6*x7*x9 +
1758 -x3^3*x4^3*x6*x7 +
1759 x3^3*x4^3*x6*x8*x9 +
1760 -x3^3*x4^3*x6*x8 +
1761 -x3^3*x4^3*x6*x9 +
1762 x3^3*x4^3*x6 +
1763 -x3^3*x4*x5^3*x6*x7*x8*x9 +
1764 x3^3*x4*x5^3*x6*x7*x8 +
1765 x3^3*x4*x5^3*x6*x7*x9 +
1766 -x3^3*x4*x5^3*x6*x7 +
1767 x3^3*x4*x5^3*x6*x8*x9 +
1768 -x3^3*x4*x5^3*x6*x8 +
1769 -x3^3*x4*x5^3*x6*x9 +
1770 x3^3*x4*x5^3*x6 +
1771 x3^3*x4*x5^3*x7*x8*x9 +
1772 -x3^3*x4*x5^3*x7*x8 +
1773 -x3^3*x4*x5^3*x7*x9 +
1774 x3^3*x4*x5^3*x7 +
1775 -x3^3*x4*x5^3*x8*x9 +
1776 x3^3*x4*x5^3*x8 +
1777 x3^3*x4*x5^3*x9 +
1778 -x3^3*x4*x5^3 +
1779 x3^3*x4*x5^2*x6*x7*x8*x9 +
1780 -x3^3*x4*x5^2*x6*x7*x8 +
1781 -x3^3*x4*x5^2*x6*x7*x9 +
1782 x3^3*x4*x5^2*x6*x7 +
1783 -x3^3*x4*x5^2*x6*x8*x9 +
1784 x3^3*x4*x5^2*x6*x8 +
1785 x3^3*x4*x5^2*x6*x9 +
1786 -x3^3*x4*x5^2*x6 +
1787 -x3^3*x4*x5^2*x7*x8*x9 +
1788 x3^3*x4*x5^2*x7*x8 +
1789 x3^3*x4*x5^2*x7*x9 +
1790 -x3^3*x4*x5^2*x7 +
1791 x3^3*x4*x5^2*x8*x9 +
1792 -x3^3*x4*x5^2*x8 +
1793 -x3^3*x4*x5^2*x9 +
1794 x3^3*x4*x5^2 +
1795 x3^3*x4*x5*x6^2*x7*x8*x9 +
1796 -x3^3*x4*x5*x6^2*x7*x8 +
1797 -x3^3*x4*x5*x6^2*x7*x9 +
1798 x3^3*x4*x5*x6^2*x7 +
1799 -x3^3*x4*x5*x6^2*x8*x9 +
1800 x3^3*x4*x5*x6^2*x8 +
1801 x3^3*x4*x5*x6^2*x9 +
1802 -x3^3*x4*x5*x6^2 +
1803 -x3^3*x4*x5*x6*x7*x8*x9 +
1804 x3^3*x4*x5*x6*x7*x8 +
1805 x3^3*x4*x5*x6*x7*x9 +
1806 -x3^3*x4*x5*x6*x7 +
1807 x3^3*x4*x5*x6*x8*x9 +
1808 -x3^3*x4*x5*x6*x8 +
1809 -x3^3*x4*x5*x6*x9 +
1810 x3^3*x4*x5*x6 +
1811 -x3^3*x4*x6^2*x7*x8*x9 +
1812 x3^3*x4*x6^2*x7*x8 +
1813 x3^3*x4*x6^2*x7*x9 +
1814 -x3^3*x4*x6^2*x7 +
1815 x3^3*x4*x6^2*x8*x9 +
1816 -x3^3*x4*x6^2*x8 +
1817 -x3^3*x4*x6^2*x9 +
1818 x3^3*x4*x6^2 +
1819 x3^3*x4*x6*x7*x8*x9 +
1820 -x3^3*x4*x6*x7*x8 +
1821 -x3^3*x4*x6*x7*x9 +
1822 x3^3*x4*x6*x7 +
1823 -x3^3*x4*x6*x8*x9 +
1824 x3^3*x4*x6*x8 +
1825 x3^3*x4*x6*x9 +
1826 -x3^3*x4*x6 +
1827 x3^3*x5^3*x6*x7*x8*x9 +
1828 -x3^3*x5^3*x6*x7*x8 +
1829 -x3^3*x5^3*x6*x7*x9 +
1830 x3^3*x5^3*x6*x7 +
1831 -x3^3*x5^3*x6*x8*x9 +
1832 x3^3*x5^3*x6*x8 +
1833 x3^3*x5^3*x6*x9 +
1834 -x3^3*x5^3*x6 +
1835 -x3^3*x5^3*x7*x8*x9 +
1836 x3^3*x5^3*x7*x8 +
1837 x3^3*x5^3*x7*x9 +
1838 -x3^3*x5^3*x7 +
1839 x3^3*x5^3*x8*x9 +
1840 -x3^3*x5^3*x8 +
1841 -x3^3*x5^3*x9 +
1842 x3^3*x5^3 +
1843 -x3^3*x5^2*x6*x7*x8*x9 +
1844 x3^3*x5^2*x6*x7*x8 +
1845 x3^3*x5^2*x6*x7*x9 +
1846 -x3^3*x5^2*x6*x7 +
1847 x3^3*x5^2*x6*x8*x9 +
1848 -x3^3*x5^2*x6*x8 +
1849 -x3^3*x5^2*x6*x9 +
1850 x3^3*x5^2*x6 +
1851 x3^3*x5^2*x7*x8*x9 +
1852 -x3^3*x5^2*x7*x8 +
1853 -x3^3*x5^2*x7*x9 +
1854 x3^3*x5^2*x7 +
1855 -x3^3*x5^2*x8*x9 +
1856 x3^3*x5^2*x8 +
1857 x3^3*x5^2*x9 +
1858 -x3^3*x5^2 +
1859 -x3^2*x4^5*x5*x6*x7*x8*x9 +
1860 x3^2*x4^5*x5*x6*x7*x8 +
1861 x3^2*x4^5*x5*x6*x7*x9 +
1862 -x3^2*x4^5*x5*x6*x7 +
1863 x3^2*x4^5*x5*x6*x8*x9 +
1864 -x3^2*x4^5*x5*x6*x8 +
1865 -x3^2*x4^5*x5*x6*x9 +
1866 x3^2*x4^5*x5*x6 +
1867 x3^2*x4^5*x5*x7*x8*x9 +
1868 -x3^2*x4^5*x5*x7*x8 +
1869 -x3^2*x4^5*x5*x7*x9 +
1870 x3^2*x4^5*x5*x7 +
1871 -x3^2*x4^5*x5*x8*x9 +
1872 x3^2*x4^5*x5*x8 +
1873 x3^2*x4^5*x5*x9 +
1874 -x3^2*x4^5*x5 +
1875 x3^2*x4^5*x6*x7*x8*x9 +
1876 -x3^2*x4^5*x6*x7*x8 +
1877 -x3^2*x4^5*x6*x7*x9 +
1878 x3^2*x4^5*x6*x7 +
1879 -x3^2*x4^5*x6*x8*x9 +
1880 x3^2*x4^5*x6*x8 +
1881 x3^2*x4^5*x6*x9 +
1882 -x3^2*x4^5*x6 +
1883 -x3^2*x4^5*x7*x8*x9 +
1884 x3^2*x4^5*x7*x8 +
1885 x3^2*x4^5*x7*x9 +
1886 -x3^2*x4^5*x7 +
1887 x3^2*x4^5*x8*x9 +
1888 -x3^2*x4^5*x8 +
1889 -x3^2*x4^5*x9 +
1890 x3^2*x4^5 +
1891 x3^2*x4^3*x5*x6*x7*x8*x9 +
1892 -x3^2*x4^3*x5*x6*x7*x8 +
1893 -x3^2*x4^3*x5*x6*x7*x9 +
1894 x3^2*x4^3*x5*x6*x7 +
1895 -x3^2*x4^3*x5*x6*x8*x9 +
1896 x3^2*x4^3*x5*x6*x8 +
1897 x3^2*x4^3*x5*x6*x9 +
1898 -x3^2*x4^3*x5*x6 +
1899 -x3^2*x4^3*x5*x7*x8*x9 +
1900 x3^2*x4^3*x5*x7*x8 +
1901 x3^2*x4^3*x5*x7*x9 +
1902 -x3^2*x4^3*x5*x7 +
1903 x3^2*x4^3*x5*x8*x9 +
1904 -x3^2*x4^3*x5*x8 +
1905 -x3^2*x4^3*x5*x9 +
1906 x3^2*x4^3*x5 +
1907 -x3^2*x4^3*x6*x7*x8*x9 +
1908 x3^2*x4^3*x6*x7*x8 +
1909 x3^2*x4^3*x6*x7*x9 +
1910 -x3^2*x4^3*x6*x7 +
1911 x3^2*x4^3*x6*x8*x9 +
1912 -x3^2*x4^3*x6*x8 +
1913 -x3^2*x4^3*x6*x9 +
1914 x3^2*x4^3*x6 +
1915 x3^2*x4^3*x7*x8*x9 +
1916 -x3^2*x4^3*x7*x8 +
1917 -x3^2*x4^3*x7*x9 +
1918 x3^2*x4^3*x7 +
1919 -x3^2*x4^3*x8*x9 +
1920 x3^2*x4^3*x8 +
1921 x3^2*x4^3*x9 +
1922 -x3^2*x4^3 +
1923 -x3^2*x4^2*x5^3*x6*x7*x8*x9 +
1924 x3^2*x4^2*x5^3*x6*x7*x8 +
1925 x3^2*x4^2*x5^3*x6*x7*x9 +
1926 -x3^2*x4^2*x5^3*x6*x7 +
1927 x3^2*x4^2*x5^3*x6*x8*x9 +
1928 -x3^2*x4^2*x5^3*x6*x8 +
1929 -x3^2*x4^2*x5^3*x6*x9 +
1930 x3^2*x4^2*x5^3*x6 +
1931 x3^2*x4^2*x5^3*x7*x8*x9 +
1932 -x3^2*x4^2*x5^3*x7*x8 +
1933 -x3^2*x4^2*x5^3*x7*x9 +
1934 x3^2*x4^2*x5^3*x7 +
1935 -x3^2*x4^2*x5^3*x8*x9 +
1936 x3^2*x4^2*x5^3*x8 +
1937 x3^2*x4^2*x5^3*x9 +
1938 -x3^2*x4^2*x5^3 +
1939 x3^2*x4^2*x5^2*x6*x7*x8*x9 +
1940 -x3^2*x4^2*x5^2*x6*x7*x8 +
1941 -x3^2*x4^2*x5^2*x6*x7*x9 +
1942 x3^2*x4^2*x5^2*x6*x7 +
1943 -x3^2*x4^2*x5^2*x6*x8*x9 +
1944 x3^2*x4^2*x5^2*x6*x8 +
1945 x3^2*x4^2*x5^2*x6*x9 +
1946 -x3^2*x4^2*x5^2*x6 +
1947 -x3^2*x4^2*x5^2*x7*x8*x9 +
1948 x3^2*x4^2*x5^2*x7*x8 +
1949 x3^2*x4^2*x5^2*x7*x9 +
1950 -x3^2*x4^2*x5^2*x7 +
1951 x3^2*x4^2*x5^2*x8*x9 +
1952 -x3^2*x4^2*x5^2*x8 +
1953 -x3^2*x4^2*x5^2*x9 +
1954 x3^2*x4^2*x5^2 +
1955 x3^2*x4*x5^3*x6*x7*x8*x9 +
1956 -x3^2*x4*x5^3*x6*x7*x8 +
1957 -x3^2*x4*x5^3*x6*x7*x9 +
1958 x3^2*x4*x5^3*x6*x7 +
1959 -x3^2*x4*x5^3*x6*x8*x9 +
1960 x3^2*x4*x5^3*x6*x8 +
1961 x3^2*x4*x5^3*x6*x9 +
1962 -x3^2*x4*x5^3*x6 +
1963 -x3^2*x4*x5^3*x7*x8*x9 +
1964 x3^2*x4*x5^3*x7*x8 +
1965 x3^2*x4*x5^3*x7*x9 +
1966 -x3^2*x4*x5^3*x7 +
1967 x3^2*x4*x5^3*x8*x9 +
1968 -x3^2*x4*x5^3*x8 +
1969 -x3^2*x4*x5^3*x9 +
1970 x3^2*x4*x5^3 +
1971 -x3^2*x4*x5^2*x6*x7*x8*x9 +
1972 x3^2*x4*x5^2*x6*x7*x8 +
1973 x3^2*x4*x5^2*x6*x7*x9 +
1974 -x3^2*x4*x5^2*x6*x7 +
1975 x3^2*x4*x5^2*x6*x8*x9 +
1976 -x3^2*x4*x5^2*x6*x8 +
1977 -x3^2*x4*x5^2*x6*x9 +
1978 x3^2*x4*x5^2*x6 +
1979 x3^2*x4*x5^2*x7*x8*x9 +
1980 -x3^2*x4*x5^2*x7*x8 +
1981 -x3^2*x4*x5^2*x7*x9 +
1982 x3^2*x4*x5^2*x7 +
1983 -x3^2*x4*x5^2*x8*x9 +
1984 x3^2*x4*x5^2*x8 +
1985 x3^2*x4*x5^2*x9 +
1986 -x3^2*x4*x5^2 +
1987 -x3*x4^3*x5^2*x6^2*x7*x8*x9 +
1988 x3*x4^3*x5^2*x6^2*x7*x8 +
1989 x3*x4^3*x5^2*x6^2*x7*x9 +
1990 -x3*x4^3*x5^2*x6^2*x7 +
1991 x3*x4^3*x5^2*x6^2*x8*x9 +
1992 -x3*x4^3*x5^2*x6^2*x8 +
1993 -x3*x4^3*x5^2*x6^2*x9 +
1994 x3*x4^3*x5^2*x6^2 +
1995 x3*x4^3*x5^2*x6*x7*x8*x9 +
1996 -x3*x4^3*x5^2*x6*x7*x8 +
1997 -x3*x4^3*x5^2*x6*x7*x9 +
1998 x3*x4^3*x5^2*x6*x7 +
1999 -x3*x4^3*x5^2*x6*x8*x9 +
2000 x3*x4^3*x5^2*x6*x8 +
2001 x3*x4^3*x5^2*x6*x9 +
2002 -x3*x4^3*x5^2*x6 +
2003 x3*x4^3*x5*x6^2*x7*x8*x9 +
2004 -x3*x4^3*x5*x6^2*x7*x8 +
2005 -x3*x4^3*x5*x6^2*x7*x9 +
2006 x3*x4^3*x5*x6^2*x7 +
2007 -x3*x4^3*x5*x6^2*x8*x9 +
2008 x3*x4^3*x5*x6^2*x8 +
2009 x3*x4^3*x5*x6^2*x9 +
2010 -x3*x4^3*x5*x6^2 +
2011 -x3*x4^3*x5*x6*x7*x8*x9 +
2012 x3*x4^3*x5*x6*x7*x8 +
2013 x3*x4^3*x5*x6*x7*x9 +
2014 -x3*x4^3*x5*x6*x7 +
2015 x3*x4^3*x5*x6*x8*x9 +
2016 -x3*x4^3*x5*x6*x8 +
2017 -x3*x4^3*x5*x6*x9 +
2018 x3*x4^3*x5*x6 +
2019 x3*x4*x5^2*x6^2*x7*x8*x9 +
2020 -x3*x4*x5^2*x6^2*x7*x8 +
2021 -x3*x4*x5^2*x6^2*x7*x9 +
2022 x3*x4*x5^2*x6^2*x7 +
2023 -x3*x4*x5^2*x6^2*x8*x9 +
2024 x3*x4*x5^2*x6^2*x8 +
2025 x3*x4*x5^2*x6^2*x9 +
2026 -x3*x4*x5^2*x6^2 +
2027 -x3*x4*x5^2*x6*x7*x8*x9 +
2028 x3*x4*x5^2*x6*x7*x8 +
2029 x3*x4*x5^2*x6*x7*x9 +
2030 -x3*x4*x5^2*x6*x7 +
2031 x3*x4*x5^2*x6*x8*x9 +
2032 -x3*x4*x5^2*x6*x8 +
2033 -x3*x4*x5^2*x6*x9 +
2034 x3*x4*x5^2*x6 +
2035 -x3*x4*x5*x6^2*x7*x8*x9 +
2036 x3*x4*x5*x6^2*x7*x8 +
2037 x3*x4*x5*x6^2*x7*x9 +
2038 -x3*x4*x5*x6^2*x7 +
2039 x3*x4*x5*x6^2*x8*x9 +
2040 -x3*x4*x5*x6^2*x8 +
2041 -x3*x4*x5*x6^2*x9 +
2042 x3*x4*x5*x6^2 +
2043 x3*x4*x5*x6*x7*x8*x9 +
2044 -x3*x4*x5*x6*x7*x8 +
2045 -x3*x4*x5*x6*x7*x9 +
2046 x3*x4*x5*x6*x7 +
2047 -x3*x4*x5*x6*x8*x9 +
2048 x3*x4*x5*x6*x8 +
2049 x3*x4*x5*x6*x9 +
2050 -x3*x4*x5*x6 +
2051 x4^5*x5*x6*x7*x8*x9 +
2052 -x4^5*x5*x6*x7*x8 +
2053 -x4^5*x5*x6*x7*x9 +
2054 x4^5*x5*x6*x7 +
2055 -x4^5*x5*x6*x8*x9 +
2056 x4^5*x5*x6*x8 +
2057 x4^5*x5*x6*x9 +
2058 -x4^5*x5*x6 +
2059 -x4^5*x5*x7*x8*x9 +
2060 x4^5*x5*x7*x8 +
2061 x4^5*x5*x7*x9 +
2062 -x4^5*x5*x7 +
2063 x4^5*x5*x8*x9 +
2064 -x4^5*x5*x8 +
2065 -x4^5*x5*x9 +
2066 x4^5*x5 +
2067 -x4^5*x6*x7*x8*x9 +
2068 x4^5*x6*x7*x8 +
2069 x4^5*x6*x7*x9 +
2070 -x4^5*x6*x7 +
2071 x4^5*x6*x8*x9 +
2072 -x4^5*x6*x8 +
2073 -x4^5*x6*x9 +
2074 x4^5*x6 +
2075 x4^5*x7*x8*x9 +
2076 -x4^5*x7*x8 +
2077 -x4^5*x7*x9 +
2078 x4^5*x7 +
2079 -x4^5*x8*x9 +
2080 x4^5*x8 +
2081 x4^5*x9 +
2082 -x4^5 +
2083 x4^3*x5^2*x6^2*x7*x8*x9 +
2084 -x4^3*x5^2*x6^2*x7*x8 +
2085 -x4^3*x5^2*x6^2*x7*x9 +
2086 x4^3*x5^2*x6^2*x7 +
2087 -x4^3*x5^2*x6^2*x8*x9 +
2088 x4^3*x5^2*x6^2*x8 +
2089 x4^3*x5^2*x6^2*x9 +
2090 -x4^3*x5^2*x6^2 +
2091 -x4^3*x5^2*x7*x8*x9 +
2092 x4^3*x5^2*x7*x8 +
2093 x4^3*x5^2*x7*x9 +
2094 -x4^3*x5^2*x7 +
2095 x4^3*x5^2*x8*x9 +
2096 -x4^3*x5^2*x8 +
2097 -x4^3*x5^2*x9 +
2098 x4^3*x5^2 +
2099 -x4^3*x5*x6*x7*x8*x9 +
2100 x4^3*x5*x6*x7*x8 +
2101 x4^3*x5*x6*x7*x9 +
2102 -x4^3*x5*x6*x7 +
2103 x4^3*x5*x6*x8*x9 +
2104 -x4^3*x5*x6*x8 +
2105 -x4^3*x5*x6*x9 +
2106 x4^3*x5*x6 +
2107 x4^3*x5*x7*x8*x9 +
2108 -x4^3*x5*x7*x8 +
2109 -x4^3*x5*x7*x9 +
2110 x4^3*x5*x7 +
2111 -x4^3*x5*x8*x9 +
2112 x4^3*x5*x8 +
2113 x4^3*x5*x9 +
2114 -x4^3*x5 +
2115 -x4^3*x6^2*x7*x8*x9 +
2116 x4^3*x6^2*x7*x8 +
2117 x4^3*x6^2*x7*x9 +
2118 -x4^3*x6^2*x7 +
2119 x4^3*x6^2*x8*x9 +
2120 -x4^3*x6^2*x8 +
2121 -x4^3*x6^2*x9 +
2122 x4^3*x6^2 +
2123 x4^3*x6*x7*x8*x9 +
2124 -x4^3*x6*x7*x8 +
2125 -x4^3*x6*x7*x9 +
2126 x4^3*x6*x7 +
2127 -x4^3*x6*x8*x9 +
2128 x4^3*x6*x8 +
2129 x4^3*x6*x9 +
2130 -x4^3*x6 +
2131 x4^2*x5^3*x6*x7*x8*x9 +
2132 -x4^2*x5^3*x6*x7*x8 +
2133 -x4^2*x5^3*x6*x7*x9 +
2134 x4^2*x5^3*x6*x7 +
2135 -x4^2*x5^3*x6*x8*x9 +
2136 x4^2*x5^3*x6*x8 +
2137 x4^2*x5^3*x6*x9 +
2138 -x4^2*x5^3*x6 +
2139 -x4^2*x5^3*x7*x8*x9 +
2140 x4^2*x5^3*x7*x8 +
2141 x4^2*x5^3*x7*x9 +
2142 -x4^2*x5^3*x7 +
2143 x4^2*x5^3*x8*x9 +
2144 -x4^2*x5^3*x8 +
2145 -x4^2*x5^3*x9 +
2146 x4^2*x5^3 +
2147 -x4^2*x5^2*x6*x7*x8*x9 +
2148 x4^2*x5^2*x6*x7*x8 +
2149 x4^2*x5^2*x6*x7*x9 +
2150 -x4^2*x5^2*x6*x7 +
2151 x4^2*x5^2*x6*x8*x9 +
2152 -x4^2*x5^2*x6*x8 +
2153 -x4^2*x5^2*x6*x9 +
2154 x4^2*x5^2*x6 +
2155 x4^2*x5^2*x7*x8*x9 +
2156 -x4^2*x5^2*x7*x8 +
2157 -x4^2*x5^2*x7*x9 +
2158 x4^2*x5^2*x7 +
2159 -x4^2*x5^2*x8*x9 +
2160 x4^2*x5^2*x8 +
2161 x4^2*x5^2*x9 +
2162 -x4^2*x5^2 +
2163 -x5^3*x6*x7*x8*x9 +
2164 x5^3*x6*x7*x8 +
2165 x5^3*x6*x7*x9 +
2166 -x5^3*x6*x7 +
2167 x5^3*x6*x8*x9 +
2168 -x5^3*x6*x8 +
2169 -x5^3*x6*x9 +
2170 x5^3*x6 +
2171 x5^3*x7*x8*x9 +
2172 -x5^3*x7*x8 +
2173 -x5^3*x7*x9 +
2174 x5^3*x7 +
2175 -x5^3*x8*x9 +
2176 x5^3*x8 +
2177 x5^3*x9 +
2178 -x5^3 +
2179 -x5^2*x6^2*x7*x8*x9 +
2180 x5^2*x6^2*x7*x8 +
2181 x5^2*x6^2*x7*x9 +
2182 -x5^2*x6^2*x7 +
2183 x5^2*x6^2*x8*x9 +
2184 -x5^2*x6^2*x8 +
2185 -x5^2*x6^2*x9 +
2186 x5^2*x6^2 +
2187 x5^2*x6*x7*x8*x9 +
2188 -x5^2*x6*x7*x8 +
2189 -x5^2*x6*x7*x9 +
2190 x5^2*x6*x7 +
2191 -x5^2*x6*x8*x9 +
2192 x5^2*x6*x8 +
2193 x5^2*x6*x9 +
2194 -x5^2*x6 +
2195 x6^2*x7*x8*x9 +
2196 -x6^2*x7*x8 +
2197 -x6^2*x7*x9 +
2198 x6^2*x7 +
2199 -x6^2*x8*x9 +
2200 x6^2*x8 +
2201 x6^2*x9 +
2202 -x6^2 +
2203 -x7*x8*x9 +
2204 x7*x8 +
2205 x7*x9 +
2206 -x7 +
2207 x8*x9 +
2208 -x8 +
2209 -x9 +
2210 1;
2211