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