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