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