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