1R = QQ[x1, x2, x3, x4, x5, x6, x7, x8]; 2I = monomialIdeal( 3 x1^10*x2^10*x3^7*x6^8*x7^7, 4 x1^10*x2^10*x3^7*x6^7*x7^8, 5 x1^10*x2^10*x3^5*x6^7*x7^10*x8^9, 6 x1^10*x2^10*x3^5*x6^7*x7^9, 7 x1^10*x2^10*x3^5*x6^6*x8^9, 8 x1^10*x2^10*x3^4*x6^7*x7^10, 9 x1^10*x2^10*x3^4*x6^6, 10 x1^10*x2^7*x4^7*x5^6*x7^7*x8^9, 11 x1^10*x2^7*x5^3*x6^7*x7^10*x8^8, 12 x1^10*x2^7*x5^3*x6^6*x8^8, 13 x1^10*x2^7*x5^3*x7^7*x8^8, 14 x1^10*x2^6*x3^8*x5^3*x6^10*x7^8, 15 x1^10*x2^6*x3^7*x5^6*x6^9*x7^8*x8^9, 16 x1^10*x2^6*x3^7*x5^5*x6^10*x7^8*x8^9, 17 x1^10*x2^6*x3^7*x6^8*x7^8, 18 x1^10*x2^6*x3^6*x4^8*x5^6*x7^10*x8^9, 19 x1^10*x2^6*x3^6*x5^5*x6^8*x7^10, 20 x1^10*x2^6*x3^6*x5^5*x7^10*x8^9, 21 x1^10*x2^6*x3^6*x5^3*x7^10, 22 x1^10*x2^6*x3^5*x5^6*x6^9*x7^10*x8^9, 23 x1^10*x2^6*x3^5*x6^8*x7^10, 24 x1^10*x2^6*x3^5*x6^6, 25 x1^10*x2^6*x3^4*x4^8*x5^6*x7^10, 26 x1^10*x2^6*x3^4*x5^6*x6^9*x7^10, 27 x1^10*x2^6*x3^4*x5^5*x7^10, 28 x1^10*x2^6*x4, 29 x1^10*x2^6*x5^3*x6^10*x7^8*x8^8, 30 x1^10*x2^5*x3^6*x4^8*x5^6*x8^9, 31 x1^10*x2^5*x3^6*x5^5*x8^9, 32 x1^10*x2^5*x3^6*x5^3, 33 x1^10*x2^5*x3^4*x4^8*x5^6, 34 x1^10*x2^5*x3^4*x5^5, 35 x1^10*x2^3*x5^3*x7^7, 36 x1^10*x2^2*x4^8*x5^6*x7^7*x8^9, 37 x1^10*x2^2*x5^6*x7^5*x8^9, 38 x1^10*x2^2*x5^5*x7^7*x8^9, 39 x1^10*x3^9*x4^7*x5^6*x7^7*x8^9, 40 x1^10*x3^9*x5^3*x6^7*x7^10*x8^8, 41 x1^10*x3^9*x5^3*x6^6*x8^8, 42 x1^10*x3^9*x5^3*x7^7*x8^8, 43 x1^10*x3^8*x5^3*x6^7*x7^10, 44 x1^10*x3^8*x5^3*x6^6, 45 x1^10*x3^8*x5^3*x7^7, 46 x1^10*x3^7*x4^8*x5^6*x7^7*x8^9, 47 x1^10*x3^7*x5^7*x6^8*x7^7, 48 x1^10*x3^7*x5^7*x6^7*x7^8, 49 x1^10*x3^7*x5^6*x6^9*x7^7*x8^9, 50 x1^10*x3^7*x5^6*x7^5*x8^9, 51 x1^10*x3^7*x5^5*x6^7*x7^10, 52 x1^10*x3^7*x5^5*x6^6, 53 x1^10*x3^7*x5^5*x7^7*x8^9, 54 x1^10*x3^6*x4^5*x5^6*x7^10*x8^9, 55 x1^10*x3^6*x4^5*x5^3*x7^10, 56 x1^10*x3^6*x4^3*x5^6*x8^9, 57 x1^10*x3^6*x4^3*x5^3, 58 x1^10*x3^6*x4^2*x8^9, 59 x1^10*x3^5*x5^7*x6^7*x7^10*x8^9, 60 x1^10*x3^5*x5^7*x6^7*x7^9, 61 x1^10*x3^5*x5^7*x6^6*x8^9, 62 x1^10*x3^4*x4^8*x5^6*x7^7, 63 x1^10*x3^4*x4^5*x5^6*x7^10, 64 x1^10*x3^4*x4^3*x5^6, 65 x1^10*x3^4*x4^2, 66 x1^10*x3^4*x5^7*x6^7*x7^10, 67 x1^10*x3^4*x5^7*x6^6, 68 x1^10*x3^4*x5^6*x6^9*x7^7, 69 x1^10*x3^4*x5^6*x7^5, 70 x1^10*x3^4*x5^5*x7^7, 71 x1^10*x4^10*x5^3*x7^7*x8^8, 72 x1^10*x4^9*x5^3*x7^7, 73 x1^10*x4^7*x5^6*x7^7*x8^7, 74 x1^10*x4^6*x5^6*x7^7*x8^9, 75 x1^10*x4^3*x5^6*x7^8*x8^9, 76 x1^10*x4^3*x5^3*x7^8, 77 x1^10*x4^2*x7^8*x8^9, 78 x1^10*x4*x5^5, 79 x1^10*x4*x7^9, 80 x1^10*x4*x8^9, 81 x1^8*x2^10*x3^7*x4^8*x6^8*x7^10*x8^5, 82 x1^8*x2^10*x3^7*x6^8*x7^8, 83 x1^8*x2^10*x3^6*x4^8*x6^8*x7^10*x8^9, 84 x1^8*x2^10*x3^6*x4^8*x6^8*x7^9, 85 x1^8*x2^10*x3^5*x6^8*x7^10*x8^9, 86 x1^8*x2^10*x3^5*x6^8*x7^9, 87 x1^8*x2^10*x3^4*x6^8*x7^10, 88 x1^8*x2^10*x4^7*x6^8*x7^10*x8^5, 89 x1^8*x2^10*x4^7*x6^8*x7^8, 90 x1^8*x2^9*x3^6*x4^8*x5^6*x7^10*x8^9, 91 x1^8*x2^9*x3^6*x5^5*x7^10*x8^9, 92 x1^8*x2^9*x3^5*x5^6*x7^10*x8^9, 93 x1^8*x2^7*x5^3*x6^10*x7^8, 94 x1^8*x2^7*x5^3*x6^7*x7^10, 95 x1^8*x2^7*x5^3*x6^6, 96 x1^8*x2^7*x5^3*x7^7, 97 x1^8*x2^7*x5^2*x6^7, 98 x1^8*x2^5*x3^5*x5^6*x8^9, 99 x1^8*x2^5*x3^4*x5^6, 100 x1^8*x2^5*x5^3*x6^7, 101 x1^8*x2^3*x3^7*x5^6*x8^5, 102 x1^8*x2^3*x3^6*x5^6*x8^9, 103 x1^8*x2^2*x5^6*x6^10*x7^8*x8^9, 104 x1^8*x2^2*x5^6*x7^7*x8^9, 105 x1^8*x2^2*x5^6*x8^5, 106 x1^8*x3^9*x5^3*x6^10*x7^8, 107 x1^8*x3^9*x5^3*x6^7*x7^10, 108 x1^8*x3^9*x5^3*x6^6, 109 x1^8*x3^9*x5^3*x7^7, 110 x1^8*x3^9*x5^2*x6^7, 111 x1^8*x3^7*x4^8*x5^7*x6^8*x7^10*x8^5, 112 x1^8*x3^7*x4^8*x5^6*x7^10*x8^5, 113 x1^8*x3^7*x5^7*x6^8*x7^8, 114 x1^8*x3^7*x5^6*x6^10*x7^8*x8^9, 115 x1^8*x3^7*x5^6*x7^8*x8^5, 116 x1^8*x3^7*x5^6*x7^7*x8^9, 117 x1^8*x3^7*x5^5*x7^10*x8^5, 118 x1^8*x3^6*x4^8*x5^7*x6^8*x7^10*x8^9, 119 x1^8*x3^6*x4^8*x5^7*x6^8*x7^9, 120 x1^8*x3^6*x4^8*x5^6*x7^10*x8^6, 121 x1^8*x3^6*x4^6*x5^6*x7^10*x8^9, 122 x1^8*x3^6*x4^6*x6^8*x7^10*x8^9, 123 x1^8*x3^6*x4^6*x6^8*x7^9, 124 x1^8*x3^6*x5^6*x7^8*x8^9, 125 x1^8*x3^6*x5^5*x6^8*x7^10, 126 x1^8*x3^6*x5^5*x7^10*x8^6, 127 x1^8*x3^6*x5^4*x7^10*x8^9, 128 x1^8*x3^6*x5^3*x7^10, 129 x1^8*x3^6*x5^2, 130 x1^8*x3^5*x5^7*x6^8*x7^10*x8^9, 131 x1^8*x3^5*x5^7*x6^8*x7^9, 132 x1^8*x3^5*x5^6*x7^10*x8^6, 133 x1^8*x3^4*x4^6*x6^8*x7^10, 134 x1^8*x3^4*x5^7*x6^8*x7^10, 135 x1^8*x3^4*x5^6*x7^10, 136 x1^8*x4^10*x5^3*x6^10*x7^8, 137 x1^8*x4^10*x5^3*x6^7*x7^10, 138 x1^8*x4^10*x5^3*x6^6, 139 x1^8*x4^10*x5^3*x7^7, 140 x1^8*x4^10*x5^2*x6^7, 141 x1^8*x4^7*x5^7*x6^8*x7^10*x8^5, 142 x1^8*x4^7*x5^7*x6^8*x7^8, 143 x1^8*x4^7*x5^6*x6^10*x7^8*x8^9, 144 x1^8*x4^7*x5^6*x7^10*x8^5, 145 x1^8*x4^6*x6^8*x7^10*x8^5, 146 x1^8*x4^6*x6^8*x7^8, 147 x1^8*x5^3*x6^5, 148 x1^8*x5^3*x7^10*x8^5, 149 x1^8*x5^2*x8^5, 150 x1^7*x2^10*x3^7*x4^8*x6^7*x7^10, 151 x1^7*x2^10*x3^7*x4^8*x6^6, 152 x1^7*x2^10*x3^6*x4^8*x6^8*x7^10, 153 x1^7*x2^10*x3^5*x6^8*x7^10, 154 x1^7*x2^10*x3^5*x6^6, 155 x1^7*x2^10*x4^7*x6^7*x7^10, 156 x1^7*x2^10*x4^7*x6^6, 157 x1^7*x2^9*x3^6*x4^8*x5^6*x7^10, 158 x1^7*x2^9*x3^6*x5^5*x7^10, 159 x1^7*x2^9*x3^5*x5^6*x7^10, 160 x1^7*x2^7*x4^7*x5^6*x7^7, 161 x1^7*x2^7*x4^7*x7, 162 x1^7*x2^5*x3^6*x4^8*x5^6, 163 x1^7*x2^5*x3^6*x5^5, 164 x1^7*x2^5*x3^5*x5^6, 165 x1^7*x2^3*x3^6*x5^6, 166 x1^7*x2^2*x5^6*x6^10*x7^8, 167 x1^7*x2^2*x5^6*x7^7, 168 x1^7*x2^2*x7, 169 x1^7*x3^9*x4^7*x5^6*x7^7, 170 x1^7*x3^9*x4^7*x7, 171 x1^7*x3^7*x4^8*x5^7*x6^7*x7^10, 172 x1^7*x3^7*x4^8*x5^7*x6^6, 173 x1^7*x3^7*x5^6*x6^10*x7^8, 174 x1^7*x3^7*x5^6*x7^7, 175 x1^7*x3^7*x7, 176 x1^7*x3^6*x4^8*x5^7*x6^8*x7^10, 177 x1^7*x3^6*x4^6*x5^6*x7^10, 178 x1^7*x3^6*x4^6*x6^8*x7^10, 179 x1^7*x3^6*x4^3*x5^6, 180 x1^7*x3^6*x4^3*x6^8, 181 x1^7*x3^6*x4^2, 182 x1^7*x3^6*x5^6*x7^8, 183 x1^7*x3^6*x5^4*x7^10, 184 x1^7*x3^5*x5^7*x6^8*x7^10, 185 x1^7*x3^5*x5^7*x6^6, 186 x1^7*x4^7*x5^7*x6^7*x7^10, 187 x1^7*x4^7*x5^7*x6^6, 188 x1^7*x4^7*x5^6*x6^10*x7^8, 189 x1^7*x4^7*x6^10*x7, 190 x1^7*x4^6*x5^6*x7^7, 191 x1^7*x4^6*x6^7*x7^10, 192 x1^7*x4^6*x6^6, 193 x1^7*x4^6*x7, 194 x1^7*x4^3*x5^6*x7^8, 195 x1^7*x4^3*x6^7, 196 x1^7*x4^2*x7^8, 197 x1^7*x4, 198 x1^6*x2^9*x3^6*x4^8*x5^6, 199 x1^6*x2^9*x3^6*x5^5, 200 x1^6*x2^9*x3^5*x5^6, 201 x1^6*x2^7*x4^7*x5^6*x7^8, 202 x1^6*x2^7*x5^3*x6^7, 203 x1^6*x2^7*x5^3*x7^8, 204 x1^6*x2^2*x5^6*x7^8, 205 x1^6*x2*x4^8*x7^8, 206 x1^6*x2*x5^8*x7^8, 207 x1^6*x2*x7^8*x8^9, 208 x1^6*x3^9*x4^7*x5^6*x7^8, 209 x1^6*x3^9*x5^3*x6^7, 210 x1^6*x3^9*x5^3*x7^8, 211 x1^6*x3^7*x4^8*x5^6*x8^5, 212 x1^6*x3^7*x4^8*x6^8*x8^5, 213 x1^6*x3^7*x4^8*x6^7, 214 x1^6*x3^7*x5^6*x7^8, 215 x1^6*x3^7*x5^5*x6^7, 216 x1^6*x3^7*x5^5*x8^5, 217 x1^6*x3^7*x6^8*x7^8, 218 x1^6*x3^6*x4^8*x5^6*x8^6, 219 x1^6*x3^6*x4^8*x6^8, 220 x1^6*x3^6*x4^6*x5^6, 221 x1^6*x3^6*x5^5*x6^8, 222 x1^6*x3^6*x5^5*x8^6, 223 x1^6*x3^6*x5^4, 224 x1^6*x3^5*x5^6*x8^6, 225 x1^6*x3^5*x6^8, 226 x1^6*x3^5*x8, 227 x1^6*x3^4*x5^6, 228 x1^6*x4^10*x5^3*x6^7, 229 x1^6*x4^10*x5^3*x7^8, 230 x1^6*x4^8*x5^6*x8^4, 231 x1^6*x4^8*x6^8*x8^4, 232 x1^6*x4^8*x8, 233 x1^6*x4^7*x5^6*x7^8*x8^7, 234 x1^6*x4^7*x5^6*x8^5, 235 x1^6*x4^7*x6^8*x7^8, 236 x1^6*x4^7*x6^8*x8^5, 237 x1^6*x4^7*x6^7, 238 x1^6*x4^6*x5^6*x7^8, 239 x1^6*x5^5*x8^4, 240 x1^6*x5^3*x8^5, 241 x1^6*x6^8*x7^8*x8^4, 242 x1^5*x2^7*x5^6*x7^8, 243 x1^5*x2^7*x7, 244 x1^5*x2^3*x5^6*x8^5, 245 x1^5*x2^3*x6^8*x8^5, 246 x1^5*x2^3*x6^7, 247 x1^5*x3^9*x5^6*x7^8, 248 x1^5*x3^9*x7, 249 x1^5*x4^8*x5^6*x8^5, 250 x1^5*x4^8*x6^8*x8^5, 251 x1^5*x4^8*x6^7, 252 x1^5*x5^6*x6^10*x7^8, 253 x1^5*x5^6*x7^8*x8^7, 254 x1^5*x5^5*x6^7, 255 x1^5*x5^5*x8^5, 256 x1^5*x5^3*x7^8, 257 x1^5*x6^10*x7, 258 x1^5*x6^8*x7^8, 259 x1^5*x6^5, 260 x1^5*x7*x8^7, 261 x1^4*x2^9*x3^6*x5^6, 262 x1^4*x3^6*x5^6*x8^6, 263 x1^4*x3^6*x6^8, 264 x1^4*x5^7*x6^7, 265 x1^4*x5^6*x8^5, 266 x1^4*x6^8*x8^5, 267 x1^4*x6^7*x8^10, 268 x1^4*x6^6, 269 x1^4*x8, 270 x1^3*x2^7*x4^8, 271 x1^3*x2^7*x5^8*x7^8, 272 x1^3*x2^7*x5^8*x8^10, 273 x1^3*x2^7*x5^7, 274 x1^3*x2^7*x7^6, 275 x1^3*x2^7*x8^9, 276 x1^3*x2^3*x5^8, 277 x1^3*x2^3*x6^10, 278 x1^3*x3^9*x4^8, 279 x1^3*x3^9*x5^8*x7^8, 280 x1^3*x3^9*x5^8*x8^10, 281 x1^3*x3^9*x5^7, 282 x1^3*x3^9*x7^6, 283 x1^3*x3^9*x8^9, 284 x1^3*x3^6*x5^8, 285 x1^3*x3^6*x6^10, 286 x1^3*x3^3, 287 x1^3*x4^8*x6^10, 288 x1^3*x4^6, 289 x1^3*x5^7*x6^10, 290 x1^3*x5^3, 291 x1^3*x6^10*x7^8, 292 x1^3*x6^10*x8^10, 293 x1^3*x8^7, 294 x1^2*x2^7*x7^8, 295 x1^2*x2^7*x8^10, 296 x1^2*x2^3, 297 x1^2*x3^9*x7^8, 298 x1^2*x3^9*x8^10, 299 x1^2*x3^6, 300 x1, 301 x2^10*x3^7*x4^10*x6^8*x7^7, 302 x2^10*x3^7*x4^10*x6^7*x7^8, 303 x2^10*x3^7*x4^8*x6^7*x7^10*x8^9, 304 x2^10*x3^7*x4^8*x6^7*x7^9, 305 x2^10*x3^7*x4^8*x6^6*x8^9, 306 x2^10*x3^7*x6^8*x7^7*x8^5, 307 x2^10*x3^7*x6^8*x7^4, 308 x2^10*x3^7*x6^7*x7^8*x8^5, 309 x2^10*x3^5*x4^10*x6^7*x7^10*x8^9, 310 x2^10*x3^5*x4^10*x6^7*x7^9, 311 x2^10*x3^5*x4^10*x6^6*x8^9, 312 x2^10*x3^5*x6^8*x7^10*x8^4, 313 x2^10*x3^5*x6^7*x7^10*x8^5, 314 x2^10*x3^5*x6^6*x8^5, 315 x2^10*x3^4*x4^10*x6^7*x7^10, 316 x2^10*x3^4*x4^10*x6^6, 317 x2^10*x3^3*x6^8, 318 x2^10*x4^8*x6^8*x7^10*x8^4, 319 x2^10*x4^8*x6^6*x8^4, 320 x2^10*x4^7*x6^8*x7^7, 321 x2^10*x4^7*x6^7*x7^10*x8^9, 322 x2^10*x4^7*x6^7*x7^9, 323 x2^10*x4^7*x6^6*x8^9, 324 x2^10*x6^8*x7^8*x8^4, 325 x2^7*x4^7*x5^6*x7^3*x8^9, 326 x2^7*x4^7*x7*x8^9, 327 x2^7*x5^3*x6^10*x7^4*x8^8, 328 x2^7*x5^3*x7^3*x8^8, 329 x2^7*x5^3*x7^2, 330 x2^7*x5^2*x6^7*x8^8, 331 x2^7*x5^2*x7^7*x8^8, 332 x2^7*x5*x6^7, 333 x2^7*x5*x7^8, 334 x2^6*x3^8*x4^10*x5^3*x6^10*x7^8, 335 x2^6*x3^8*x5^2*x6^10*x7^8, 336 x2^6*x3^7*x4^10*x5^6*x6^9*x7^8*x8^9, 337 x2^6*x3^7*x4^10*x5^5*x6^10*x7^8*x8^9, 338 x2^6*x3^7*x4^10*x6^8*x7^8, 339 x2^6*x3^7*x4^8*x5^6*x6^10*x7^8*x8^9, 340 x2^6*x3^7*x4^8*x5^6*x7^10*x8^5, 341 x2^6*x3^7*x4^8*x6^8*x7^10*x8^5, 342 x2^6*x3^7*x4^8*x6^7*x7^10, 343 x2^6*x3^7*x4^8*x6^6, 344 x2^6*x3^7*x5^6*x6^9*x7^8*x8^5, 345 x2^6*x3^7*x5^5*x7^10*x8^5, 346 x2^6*x3^7*x6^8*x7^8*x8^5, 347 x2^6*x3^6*x4^10*x5^5*x6^10*x7^10*x8^9, 348 x2^6*x3^6*x4^10*x5^5*x6^8*x7^10, 349 x2^6*x3^6*x4^10*x5^3*x6^10*x7^10, 350 x2^6*x3^6*x4^8*x5^6*x6^10*x7^10*x8^9, 351 x2^6*x3^6*x4^8*x6^8*x7^10, 352 x2^6*x3^6*x4^3*x6^8, 353 x2^6*x3^6*x5^2, 354 x2^6*x3^5*x4^10*x5^6*x6^9*x7^10*x8^9, 355 x2^6*x3^5*x4^10*x6^8*x7^10, 356 x2^6*x3^5*x4^10*x6^6, 357 x2^6*x3^5*x5^6*x6^9*x7^10*x8^5, 358 x2^6*x3^5*x6^8*x7^10*x8^5, 359 x2^6*x3^4*x4^10*x5^6*x6^9*x7^10, 360 x2^6*x3^4*x4^10*x5^5*x6^10*x7^10, 361 x2^6*x3^4*x4^8*x5^6*x6^10*x7^10, 362 x2^6*x4^10*x5^3*x6^10*x7^8*x8^8, 363 x2^6*x4^9*x5^3*x6^10*x7^8, 364 x2^6*x4^7*x5^6*x6^10*x7^8*x8^9, 365 x2^6*x4^7*x5^6*x7^10*x8^5, 366 x2^6*x4^7*x6^8*x7^10*x8^5, 367 x2^6*x4^7*x6^8*x7^8, 368 x2^6*x4^7*x6^7*x7^10, 369 x2^6*x4^7*x6^6, 370 x2^6*x4^3*x6^7, 371 x2^6*x4*x6^10, 372 x2^6*x5^3*x7^10*x8^5, 373 x2^6*x5^2*x6^10*x7^8*x8^8, 374 x2^6*x5^2*x8^5, 375 x2^5*x3^8*x5^3*x6^10*x7^8, 376 x2^5*x3^8*x5^3*x6^7, 377 x2^5*x3^7*x4^8*x5^6*x8^5, 378 x2^5*x3^7*x4^8*x6^8*x8^5, 379 x2^5*x3^7*x4^8*x6^7, 380 x2^5*x3^7*x5^6*x6^10*x7^5*x8^9, 381 x2^5*x3^7*x5^6*x6^9*x7^8*x8^9, 382 x2^5*x3^7*x5^5*x6^10*x7^8*x8^9, 383 x2^5*x3^7*x5^5*x6^7, 384 x2^5*x3^7*x5^5*x8^5, 385 x2^5*x3^7*x6^8*x7^8, 386 x2^5*x3^6*x4^8*x5^6*x6^10*x8^9, 387 x2^5*x3^6*x4^8*x6^8, 388 x2^5*x3^6*x5^5*x6^10*x8^9, 389 x2^5*x3^6*x5^5*x6^8, 390 x2^5*x3^6*x5^3*x6^10, 391 x2^5*x3^5*x5^6*x6^9*x8^9, 392 x2^5*x3^5*x5^6*x8^4, 393 x2^5*x3^5*x6^8, 394 x2^5*x3^5*x8, 395 x2^5*x3^4*x4^8*x5^6*x6^10, 396 x2^5*x3^4*x5^6*x6^10*x7^5, 397 x2^5*x3^4*x5^6*x6^9, 398 x2^5*x3^4*x5^5*x6^10, 399 x2^5*x4^9*x5^3*x6^7, 400 x2^5*x4^8*x5^6*x8^4, 401 x2^5*x4^8*x6^8*x8^4, 402 x2^5*x4^8*x8, 403 x2^5*x4^7*x5^6*x8^5, 404 x2^5*x4^7*x6^8*x8^5, 405 x2^5*x4^7*x6^7, 406 x2^5*x5^5*x8^4, 407 x2^5*x5^3*x6^10*x7^8*x8^8, 408 x2^5*x5^3*x6^7*x8^8, 409 x2^5*x5^3*x8^5, 410 x2^3*x3^7*x5^6*x6^9*x8^5, 411 x2^3*x3^7*x6^8*x8^5, 412 x2^3*x3^7*x6^7, 413 x2^3*x3^6*x5^6*x6^9*x8^9, 414 x2^3*x3^6*x6^8, 415 x2^3*x5^6*x8^4, 416 x2^3*x5^3*x6^10*x7^8, 417 x2^3*x5^3*x6^7, 418 x2^3*x5^3*x7^3, 419 x2^3*x5^2*x7^7, 420 x2^3*x6^8*x8^4, 421 x2^3*x8, 422 x2^2*x3, 423 x2^2*x4^8*x5^6*x6^10*x7^8*x8^9, 424 x2^2*x4^8*x5^6*x8^5, 425 x2^2*x5^6*x6^10*x7^5*x8^9, 426 x2^2*x5^6*x6^9*x7^8*x8^9, 427 x2^2*x5^6*x6^9*x8^5, 428 x2^2*x5^6*x7^5*x8^5, 429 x2^2*x5^6*x7^3*x8^9, 430 x2^2*x5^5*x6^10*x7^8*x8^9, 431 x2^2*x5^5*x8^5, 432 x2^2*x6^8*x7^8, 433 x2^2*x6^8*x8^5, 434 x2^2*x6^7, 435 x2^2*x7*x8^9, 436 x2*x3^6*x4^8, 437 x2*x3^6*x5^8, 438 x2*x3^6*x6^10, 439 x2*x3^6*x8^9, 440 x2*x3^3, 441 x2*x4^8*x7^7, 442 x2*x4^3*x7^8, 443 x2*x4, 444 x2*x5^8*x7^7, 445 x2*x6^10*x7^8, 446 x2*x7^7*x8^9, 447 x2*x7^6, 448 x2*x8^5, 449 x3^9*x4^7*x5^6*x7^3*x8^9, 450 x3^9*x4^7*x7*x8^9, 451 x3^9*x5^3*x6^10*x7^4*x8^8, 452 x3^9*x5^3*x7^3*x8^8, 453 x3^9*x5^3*x7^2, 454 x3^9*x5^2*x6^7*x8^8, 455 x3^9*x5^2*x7^7*x8^8, 456 x3^9*x5*x6^7, 457 x3^9*x5*x7^8, 458 x3^8*x4^10*x5^3*x6^10*x7^7, 459 x3^8*x4^10*x5^3*x6^7*x7^10, 460 x3^8*x4^10*x5^3*x6^6, 461 x3^8*x5^3*x6^10*x7^4, 462 x3^8*x5^3*x6^5, 463 x3^8*x5^3*x7^3, 464 x3^8*x5^2*x6^7, 465 x3^8*x5^2*x7^7, 466 x3^7*x4^10*x5^7*x6^8*x7^7, 467 x3^7*x4^10*x5^7*x6^7*x7^8, 468 x3^7*x4^10*x5^6*x6^10*x7^5*x8^9, 469 x3^7*x4^10*x5^6*x6^9*x7^7*x8^9, 470 x3^7*x4^10*x5^5*x6^10*x7^7*x8^9, 471 x3^7*x4^10*x5^5*x6^7*x7^10, 472 x3^7*x4^10*x5^5*x6^6, 473 x3^7*x4^8*x5^7*x6^7*x7^10*x8^9, 474 x3^7*x4^8*x5^7*x6^7*x7^9, 475 x3^7*x4^8*x5^7*x6^6*x8^9, 476 x3^7*x4^8*x5^6*x6^10*x7^7*x8^9, 477 x3^7*x4^8*x5^6*x7^7*x8^5, 478 x3^7*x5^7*x6^8*x7^7*x8^5, 479 x3^7*x5^7*x6^8*x7^4, 480 x3^7*x5^7*x6^7*x7^8*x8^5, 481 x3^7*x5^6*x6^10*x7^4*x8^9, 482 x3^7*x5^6*x6^9*x7^7*x8^5, 483 x3^7*x5^6*x7^5*x8^5, 484 x3^7*x5^6*x7^3*x8^9, 485 x3^7*x5^5*x6^7*x7^10*x8^5, 486 x3^7*x5^5*x6^6*x8^5, 487 x3^7*x5^5*x7^7*x8^5, 488 x3^7*x6^8*x7^2, 489 x3^7*x6^5, 490 x3^7*x7*x8^9, 491 x3^6*x4^5*x5^6*x6^10*x7^10*x8^9, 492 x3^6*x4^5*x5^5*x6^8*x7^10, 493 x3^6*x4^5*x5^3*x6^10*x7^10, 494 x3^6*x4^5*x5^2, 495 x3^6*x4^5*x6^8*x7^10*x8^9, 496 x3^6*x4^5*x6^8*x7^9, 497 x3^6*x4^3*x5^6*x6^10*x8^9, 498 x3^6*x4^3*x5^5*x6^8, 499 x3^6*x4^3*x5^3*x6^10, 500 x3^6*x4^3*x6^8*x8^9, 501 x3^6*x4^2*x6^10*x8^9, 502 x3^6*x5, 503 x3^5*x4^10*x5^7*x6^7*x7^10*x8^9, 504 x3^5*x4^10*x5^7*x6^7*x7^9, 505 x3^5*x4^10*x5^7*x6^6*x8^9, 506 x3^5*x5^7*x6^8*x7^10*x8^4, 507 x3^5*x5^7*x6^7*x7^10*x8^5, 508 x3^5*x5^7*x6^6*x8^5, 509 x3^5*x5^6*x7^10*x8^4, 510 x3^5*x6^6*x8, 511 x3^5*x7^10*x8, 512 x3^4*x4^10*x5^7*x6^7*x7^10, 513 x3^4*x4^10*x5^7*x6^6, 514 x3^4*x4^10*x5^6*x6^10*x7^5, 515 x3^4*x4^10*x5^6*x6^9*x7^7, 516 x3^4*x4^10*x5^5*x6^10*x7^7, 517 x3^4*x4^8*x5^6*x6^10*x7^7, 518 x3^4*x4^6*x6^7*x7^10, 519 x3^4*x4^6*x6^6, 520 x3^4*x4^5*x5^6*x6^10*x7^10, 521 x3^4*x4^5*x6^8*x7^10, 522 x3^4*x4^3*x5^6*x6^10, 523 x3^4*x4^3*x6^8, 524 x3^4*x4^2*x6^10, 525 x3^4*x4^2*x7^3, 526 x3^4*x5^6*x6^10*x7^4, 527 x3^4*x5^6*x7^3, 528 x3^4*x7, 529 x3^3*x4^6*x6^8, 530 x3^3*x4^2, 531 x3^3*x5^7*x6^8, 532 x3^3*x5^6, 533 x3^3*x8, 534 x3^2*x6^8, 535 x3*x4^7, 536 x3*x5^7, 537 x3*x6^9, 538 x3*x7^10, 539 x3*x8^9, 540 x4^10*x5^3*x6^10*x7^7*x8^8, 541 x4^10*x5^3*x6^7*x7^10*x8^8, 542 x4^10*x5^3*x6^6*x8^8, 543 x4^10*x5^3*x7^3*x8^8, 544 x4^10*x5^3*x7^2, 545 x4^10*x5^2*x6^7*x8^8, 546 x4^10*x5^2*x7^7*x8^8, 547 x4^10*x5*x6^7, 548 x4^10*x5*x7^8, 549 x4^9*x5^3*x6^10*x7^7, 550 x4^9*x5^3*x6^7*x7^10, 551 x4^9*x5^3*x6^6, 552 x4^9*x5^3*x7^3, 553 x4^9*x5^2*x6^7, 554 x4^9*x5^2*x7^7, 555 x4^8*x5^7*x6^8*x7^10*x8^4, 556 x4^8*x5^7*x6^6*x8^4, 557 x4^8*x5^6*x7^10*x8^4, 558 x4^8*x6^6*x8, 559 x4^8*x7^10*x8, 560 x4^7*x5^7*x6^8*x7^7, 561 x4^7*x5^7*x6^7*x7^10*x8^9, 562 x4^7*x5^7*x6^7*x7^9, 563 x4^7*x5^7*x6^6*x8^9, 564 x4^7*x5^6*x6^10*x7^7*x8^9, 565 x4^7*x5^6*x7^7*x8^5, 566 x4^7*x5^6*x7^3*x8^7, 567 x4^7*x5^5*x6^7*x7^10, 568 x4^7*x5^5*x6^6, 569 x4^7*x6^10*x7*x8^9, 570 x4^7*x6^8*x7^2, 571 x4^7*x6^5, 572 x4^7*x7*x8^7, 573 x4^6*x5^6*x7^3*x8^9, 574 x4^6*x6^8*x7^10*x8^4, 575 x4^6*x6^8*x7^7, 576 x4^6*x6^7*x7^10*x8^9, 577 x4^6*x6^7*x7^9, 578 x4^6*x6^6*x8^9, 579 x4^6*x7*x8^9, 580 x4^5*x5^6*x6^10*x7^8*x8^9, 581 x4^5*x5^6*x7^10*x8^5, 582 x4^5*x5^3*x6^10*x7^8, 583 x4^5*x5^2*x8^5, 584 x4^5*x6^8*x7^10*x8^5, 585 x4^5*x6^8*x7^8, 586 x4^3*x5^6*x8^5, 587 x4^3*x5^5*x6^7, 588 x4^3*x5^2*x7^8, 589 x4^3*x6^8*x8^5, 590 x4^3*x6^7*x8^9, 591 x4^3*x8, 592 x4^2*x6^10*x7^8*x8^9, 593 x4^2*x7^3*x8^9, 594 x4^2*x8^5, 595 x4*x5^5*x6^10, 596 x4*x5^2, 597 x4*x6^10*x7^9, 598 x4*x6^10*x8^9, 599 x4*x7^3, 600 x5^7*x6^8*x7^8*x8^4, 601 x5^6*x7^8*x8^4, 602 x5^5*x6^6*x8^4, 603 x5^5*x7^10*x8^4, 604 x5^3*x6^7*x7^10*x8^5, 605 x5^3*x6^6*x8^5, 606 x5^3*x6^5*x7^2, 607 x5^3*x6^5*x8^8, 608 x5^3*x7^7*x8^5, 609 x5^3*x7, 610 x5^2*x6^7*x8^5, 611 x5^2*x8^4, 612 x5*x6^5, 613 x5*x8^5, 614 x6^8*x7^2*x8^4, 615 x6^5*x8^4, 616 x6^2, 617 x7^8*x8, 618 x7*x8^4 619); 620