\ Equation counts \ Total E G L N X C B \ 725 427 71 227 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 518 440 78 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 2774 667 2107 0 \ Minimize obj: 0 x1 + 0 x2 + 0 x3 + 0 x4 + 0 x5 + 0 x6 + 0 x7 + 0 x8 + 0 x9 + 0 x10 + 0 x11 + 0 x12 + 0 x13 + 0 x14 + 0 x15 + 0 x16 + 0 x17 + 0 x18 + 0 x19 + 0 x20 + 0 x21 + 0 x22 + 0 x23 + 0 x24 + 0 x25 + 0 x26 + 0 x27 + 0 x28 + 0 x29 + 0 x30 + 0 x31 + 0 x32 + 0 x33 + 0 x34 + 0 x35 + 0 x36 + 0 x37 + 0 x38 + 0 x39 + 0 x40 + 0 x41 + 0 x42 + 0 x43 + 0 x44 + 0 x45 + 0 x46 + 0 x47 + 0 x48 + 0 x49 + 0 x50 + 0 x51 + 0 x52 + 0 x53 + 0 x54 + 0 x55 + 0 x56 + 0 x57 + 0 x58 + 0 x59 + 0 x60 + 0 x61 + 0 x62 + 0 x63 + 0 x64 + 0 x65 + 0 x66 + 0 x67 + 0 x68 + 0 x69 + 0 x70 + 0 x71 + 0 x72 + 0 x73 + 0 x74 + 0 x75 + 0 x76 + 0 x77 + 0 x78 + 0 x79 + 0 x80 + 0 x81 + 0 x82 + 0 x83 + 0 x84 + 0 x85 + 0 x86 + 0 x87 + 0 x88 + 0 x89 + 0 x90 + 0 x91 + 0 x92 + 0 x93 + 0 x94 + 0 x95 + 0 x96 + 0 x97 + 0 x98 + 0 x99 + 0 x100 + 0 x101 + 0 x102 + 0 x103 + 0 x104 + 0 x105 + 0 x106 + 0 x107 + 0 x108 + 0 x109 + 0 x110 + 0 x111 + 0 x112 + 0 x113 + 0 x114 + 0 x115 + 0 x116 + 0 x117 + 0 x118 + 0 x119 + 0 x120 + 0 x121 + 0 x122 + 0 x123 + 0 x124 + 0 x125 + 0 x126 + 0 x127 + 0 x128 + 0 x129 + 0 x130 + 0 x131 + 0 x132 + 0 x133 + 0 x134 + 0 x135 + 0 x136 + 0 x137 + 0 x138 + 0 x139 + 0 x140 + 0 x141 + 0 x142 + 0 x143 + 0 x144 + 0 x145 + 0 x146 + 0 x147 + 0 x148 + 0 x149 + 0 x150 + 0 x151 + 0 x152 + 0 x153 + 0 x154 + 0 x155 + 0 x156 + 0 x157 + 0 x158 + 0 x159 + 0 x160 + 0 x161 + 0 x162 + 0 x163 + 0 x164 + 0 x165 + 0 x166 + 0 x167 + 0 x168 + 0 x169 + 0 x170 + 0 x171 + 0 x172 + 0 x173 + 0 x174 + 0 x175 + 0 x176 + 0 x177 + 0 x178 + 0 x179 + 0 x180 + 0 x181 + 0 x182 + 0 x183 + 0 x184 + 0 x185 + 0 x186 + 0 x187 + 0 x188 + 0 x189 + 0 x190 + 0 x191 + 0 x192 + 0 x193 + 0 x194 + 0 x195 + 0 x196 + 0 x197 + 0 x198 + 0 x199 + 0 x200 + 0 x201 + 0 x202 + 0 x203 + 0 x204 + 0 x205 + 0 x206 + 0 x207 + 0 x208 + 0 x209 + 0 x210 + 0 x211 + 0 x212 + 0 x213 + 0 x214 + 0 x215 + 0 x216 + 0 x217 + 0 x218 + 0 x219 + 0 x220 + 0 x221 + 0 x222 + 0 x223 + 0 x224 + 0 x225 + 0 x226 + 0 x227 + 0 x228 + 0 x229 + 0 x230 + 0 x231 + 0 x232 + 0 x233 + 0 x234 + 0 x235 + 0 x236 + 0 x237 + 0 x238 + 0 x239 + 0 x240 + 0 x241 + 0 x242 + 0 x243 + 0 x244 + 0 x245 + 0 x246 + 0 x247 + 0 x248 + 0 x249 + 0 x250 + 0 x251 + 0 x252 + 0 x253 + 0 x254 + 0 x255 + 0 x256 + 0 x257 + 0 x258 + 0 x259 + 0 x260 + 0 x261 + 0 x262 + 0 x263 + 0 x264 + 0 x265 + 0 x266 + 0 x267 + 0 x268 + 0 x269 + 0 x270 + 0 x271 + 0 x272 + 0 x273 + 0 x274 + 0 x275 + 0 x276 + 0 x277 + 0 x278 + 0 x279 + 0 x280 + 0 x281 + 0 x282 + 0 x283 + 0 x284 + 0 x285 + 0 x286 + 0 x287 + 0 x288 + 0 x289 + 0 x290 + 0 x291 + 0 x292 + 0 x293 + 0 x294 + 0 x295 + 0 x296 + 0 x297 + 0 x298 + 0 x299 + 0 x300 + 0 x301 + 0 x302 + 0 x303 + 0 x304 + 0 x305 + 0 x306 + 0 x307 + 0 x308 + 0 x309 + 0 x310 + 0 x311 + 0 x312 + 0 x313 + 0 x314 + 0 x315 + 0 x316 + 0 x317 + 0 x318 + 0 x319 + 0 x320 + 0 x321 + 0 x322 + 0 x323 + 0 x324 + 0 x325 + 0 x326 + 0 x327 + 0 x328 + 0 x329 + 0 x330 + 0 x331 + 0 x332 + 0 x333 + 0 x334 + 0 x335 + 0 x336 + 0 x337 + 0 x338 + 0 x339 + 0 x340 + 0 x341 + 0 x342 + 0 x343 + 0 x344 + 0 x345 + 0 x346 + 0 x347 + 0 x348 + 0 x349 + 0 x350 + 0 x351 + 0 x352 + 0 x353 + 0 x354 + 0 x355 + 0 x356 + 0 x357 + 0 x358 + 0 x359 + 0 x360 + 0 x361 + 0 x362 + 0 x363 + 0 x364 + 0 x365 + 0 x366 + 0 x367 + 0 x368 + 0 x369 + 0 x370 + 0 x371 + 0 x372 + 0 x373 + 0 x374 + 0 x375 + 0 x376 + 0 x377 + 0 x378 + 0 x379 + 0 x380 + 0 x381 + 0 x382 + 0 x383 + 0 x384 + 0 x385 + 0 x386 + 0 x387 + 0 x388 + 0 x389 + 0 x390 + 0 x391 + 0 x392 + 0 x393 + 0 x394 + 0 x395 + 0 x396 + 0 x397 + 0 x398 + 0 x399 + 0 x400 + 0 x401 + 0 x402 + 0 x403 + 0 x404 + 0 x405 + 0 x406 + 0 x407 + 0 x408 + 0 x409 + 0 x410 + 0 x411 + 0 x412 + 0 x413 + 0 x414 + 0 x415 + 0 x416 + 0 x417 + 0 x418 + 0 x419 + 0 x420 + 0 x421 + 0 x422 + 0 x423 + 0 x424 + 0 x425 + 0 x426 + 0 b427 + 0 b428 + 0 b429 + 0 b430 + 0 b431 + 0 b432 + 0 b433 + 0 b434 + 0 b435 + 0 b436 + 0 b437 + 0 b438 + 0 b439 + 0 b440 + 0 b441 + 0 b442 + 0 b443 + 0 b444 + 0 b445 + 0 b446 + 0 b447 + 0 b448 + 0 b449 + 0 b450 + 0 b451 + 0 b452 + 0 b453 + 0 b454 + 0 b455 + 0 b456 + 0 b457 + 0 b458 + 0 b459 + 0 b460 + 0 b461 + 0 b462 + 0 b463 + 0 b464 + 0 b465 + 0 b466 + 0 b467 + 0 b468 + 0 b469 + 0 b470 + 0 b471 + 0 b472 + 0 b473 + 0 b474 + 0 b475 + 0 b476 + 0 b477 + 0 b478 + 0 b479 + 0 b480 + 0 b481 + 0 b482 + 0 b483 + 0 b484 + 0 b485 + 0 b486 + 0 b487 + 0 b488 + 0 b489 + 0 b490 + 0 b491 + 0 b492 + 0 b493 + 0 b494 + 0 b495 + 0 b496 + 0 b497 + 0 b498 + 0 b499 + 0 b500 + 0 b501 + 0 b502 + 0 b503 + 0 b504 + 2e3 x505 + 4e3 x506 + 2e3 x507 + 4e3 x508 + 2e3 x509 + 4e3 x510 + 2e3 x511 + 0 x512 + 0 x513 + 0 x514 + 0 x515 + 0 x516 + 0 x517 + 0 x518 + 775.795 x505^2 + 100 x506^2 + 2.5e3 x507^2 + 100 x508^2 + 222.222 x509^2 + 100 x510^2 + 322.581 x511^2 Subject To e2: x1 - 1.94596433161849 x313^2 b427 + 1.94596433161849 x313 x329 b427 + 8.83042637877296 x329 x370 b427 - 1.94596433161849 x370^2 b427 - 8.83042637877296 x313 x386 b427 + 1.94596433161849 x370 x386 b427 = 0 e3: x2 + 1.94596433161849 x313 x329 b427 - 1.94596433161849 x329^2 b427 - 8.83042637877296 x329 x370 b427 + 8.83042637877296 x313 x386 b427 + 1.94596433161849 x370 x386 b427 - 1.94596433161849 x386^2 b427 = 0 e4: x3 - 4.83585268579998 x324^2 b428 + 4.83585268579998 x324 x325 b428 + 15.7572727964269 x325 x381 b428 - 4.83585268579998 x381^2 b428 - 15.7572727964269 x324 x382 b428 + 4.83585268579998 x381 x382 b428 = 0 e5: x4 + 4.83585268579998 x324 x325 b428 - 4.83585268579998 x325^2 b428 - 15.7572727964269 x325 x381 b428 + 15.7572727964269 x324 x382 b428 + 4.83585268579998 x381 x382 b428 - 4.83585268579998 x382^2 b428 = 0 e6: x5 + 8.29875518672199 x367 x378 b429 - 8.29875518672199 x321 x424 b429 = 0 e7: x6 - 8.29875518672199 x367 x378 b429 + 8.29875518672199 x321 x424 b429 = 0 e8: x7 - 3.22991397248362 x356^2 b430 + 3.22991397248362 x356 x357 b430 + 6.4287710798472 x357 x413 b430 - 3.22991397248362 x413^2 b430 - 6.4287710798472 x356 x414 b430 + 3.22991397248362 x413 x414 b430 = 0 e9: x8 + 3.22991397248362 x356 x357 b430 - 3.22991397248362 x357^2 b430 - 6.4287710798472 x357 x413 b430 + 6.4287710798472 x356 x414 b430 + 3.22991397248362 x413 x414 b430 - 3.22991397248362 x414^2 b430 = 0 e10: x9 + 15.4320987654321 x341 x376 b431 - 15.4320987654321 x319 x398 b431 = 0 e11: x10 - 15.4320987654321 x341 x376 b431 + 15.4320987654321 x319 x398 b431 = 0 e12: x11 - 3.67309910958161 x314^2 b432 + 3.67309910958161 x314 x315 b432 + 10.4769605474643 x315 x371 b432 - 3.67309910958161 x371^2 b432 - 10.4769605474643 x314 x372 b432 + 3.67309910958161 x371 x372 b432 = 0 e13: x12 + 3.67309910958161 x314 x315 b432 - 3.67309910958161 x315^2 b432 - 10.4769605474643 x315 x371 b432 + 10.4769605474643 x314 x372 b432 + 3.67309910958161 x371 x372 b432 - 3.67309910958161 x372^2 b432 = 0 e14: x13 + 21.1416490486258 x338 x393 b433 - 21.1416490486258 x336 x395 b433 = 0 e15: x14 - 21.1416490486258 x338 x393 b433 + 21.1416490486258 x336 x395 b433 = 0 e16: x15 - 1.85116623472788 x318^2 b434 + 1.85116623472788 x318 x319 b434 + 9.44094779711218 x319 x375 b434 - 1.85116623472788 x375^2 b434 - 9.44094779711218 x318 x376 b434 + 1.85116623472788 x375 x376 b434 = 0 e17: x16 + 1.85116623472788 x318 x319 b434 - 1.85116623472788 x319^2 b434 - 9.44094779711218 x319 x375 b434 + 9.44094779711218 x318 x376 b434 + 1.85116623472788 x375 x376 b434 - 1.85116623472788 x376^2 b434 = 0 e18: x17 - 2.58596077947529 x341^2 b435 + 2.58596077947529 x341 x364 b435 + 3.35349976256504 x364 x398 b435 - 2.58596077947529 x398^2 b435 - 3.35349976256504 x341 x421 b435 + 2.58596077947529 x398 x421 b435 = 0 e19: x18 + 2.58596077947529 x341 x364 b435 - 2.58596077947529 x364^2 b435 - 3.35349976256504 x364 x398 b435 + 3.35349976256504 x341 x421 b435 + 2.58596077947529 x398 x421 b435 - 2.58596077947529 x421^2 b435 = 0 e20: x19 - 5.27439897898054 x315^2 b436 + 5.27439897898054 x315 x327 b436 + 17.2557497460475 x327 x372 b436 - 5.27439897898054 x372^2 b436 - 17.2557497460475 x315 x384 b436 + 5.27439897898054 x372 x384 b436 = 0 e21: x20 + 5.27439897898054 x315 x327 b436 - 5.27439897898054 x327^2 b436 - 17.2557497460475 x327 x372 b436 + 17.2557497460475 x315 x384 b436 + 5.27439897898054 x372 x384 b436 - 5.27439897898054 x384^2 b436 = 0 e22: x21 + .738007380073801 x369 x408 b437 - .738007380073801 x351 x426 b437 = 0 e23: x22 - .738007380073801 x369 x408 b437 + .738007380073801 x351 x426 b437 = 0 e24: x23 - 4.46341936735882 x358^2 b438 + 4.46341936735882 x358 x359 b438 + 13.1961963904522 x359 x415 b438 - 4.46341936735882 x415^2 b438 - 13.1961963904522 x358 x416 b438 + 4.46341936735882 x415 x416 b438 = 0 e25: x24 + 4.46341936735882 x358 x359 b438 - 4.46341936735882 x359^2 b438 - 13.1961963904522 x359 x415 b438 + 13.1961963904522 x358 x416 b438 + 4.46341936735882 x415 x416 b438 - 4.46341936735882 x416^2 b438 = 0 e26: x25 + 2.42718446601942 x355 x410 b439 - 2.42718446601942 x353 x412 b439 = 0 e27: x26 - 2.42718446601942 x355 x410 b439 + 2.42718446601942 x353 x412 b439 = 0 e28: x27 - 1.79854154630972 x338^2 b440 + 1.79854154630972 x338 x339 b440 + 2.76866395613739 x339 x395 b440 - 1.79854154630972 x395^2 b440 - 2.76866395613739 x338 x396 b440 + 1.79854154630972 x395 x396 b440 = 0 e29: x28 + 1.79854154630972 x338 x339 b440 - 1.79854154630972 x339^2 b440 - 2.76866395613739 x339 x395 b440 + 2.76866395613739 x338 x396 b440 + 1.79854154630972 x395 x396 b440 - 1.79854154630972 x396^2 b440 = 0 e30: x29 - 3.53441349078001 x360^2 b441 + 3.53441349078001 x360 x361 b441 + 5.46689856487556 x361 x417 b441 - 3.53441349078001 x417^2 b441 - 5.46689856487556 x360 x418 b441 + 3.53441349078001 x417 x418 b441 = 0 e31: x30 + 3.53441349078001 x360 x361 b441 - 3.53441349078001 x361^2 b441 - 5.46689856487556 x361 x417 b441 + 5.46689856487556 x360 x418 b441 + 3.53441349078001 x417 x418 b441 - 3.53441349078001 x418^2 b441 = 0 e32: x31 - 4.78313364911303 x339^2 b442 + 4.78313364911303 x339 x340 b442 + 7.38367233212594 x340 x396 b442 - 4.78313364911303 x396^2 b442 - 7.38367233212594 x339 x397 b442 + 4.78313364911303 x396 x397 b442 = 0 e33: x32 + 4.78313364911303 x339 x340 b442 - 4.78313364911303 x340^2 b442 - 7.38367233212594 x340 x396 b442 + 7.38367233212594 x339 x397 b442 + 4.78313364911303 x396 x397 b442 - 4.78313364911303 x397^2 b442 = 0 e34: x33 + 1.77775961420573 x368 x369 b443 - 1.77775961420573 x369^2 b443 - 2.65642241203155 x369 x425 b443 + 2.65642241203155 x368 x426 b443 + 1.77775961420573 x425 x426 b443 - 1.77775961420573 x426^2 b443 = 0 e35: x34 - 1.77775961420573 x368^2 b443 + 1.77775961420573 x368 x369 b443 + 2.65642241203155 x369 x425 b443 - 1.77775961420573 x425^2 b443 - 2.65642241203155 x368 x426 b443 + 1.77775961420573 x425 x426 b443 = 0 e36: x35 - 9.73161837986141 x313^2 b444 + 9.73161837986141 x313 x314 b444 + 32.8295559802554 x314 x370 b444 - 9.73161837986141 x370^2 b444 - 32.8295559802554 x313 x371 b444 + 9.73161837986141 x370 x371 b444 = 0 e37: x36 + 9.73161837986141 x313 x314 b444 - 9.73161837986141 x314^2 b444 - 32.8295559802554 x314 x370 b444 + 32.8295559802554 x313 x371 b444 + 9.73161837986141 x370 x371 b444 - 9.73161837986141 x371^2 b444 = 0 e38: x37 - 3.28382981106523 x321^2 b445 + 3.28382981106523 x321 x323 b445 + 10.7933630999353 x323 x378 b445 - 3.28382981106523 x378^2 b445 - 10.7933630999353 x321 x380 b445 + 3.28382981106523 x378 x380 b445 = 0 e39: x38 + 3.28382981106523 x321 x323 b445 - 3.28382981106523 x323^2 b445 - 10.7933630999353 x323 x378 b445 + 10.7933630999353 x321 x380 b445 + 3.28382981106523 x378 x380 b445 - 3.28382981106523 x380^2 b445 = 0 e40: x39 - 5.91715976331361 x346^2 b446 + 5.91715976331361 x346 x347 b446 + 8.87573964497041 x347 x403 b446 - 5.91715976331361 x403^2 b446 - 8.87573964497041 x346 x404 b446 + 5.91715976331361 x403 x404 b446 = 0 e41: x40 + 5.91715976331361 x346 x347 b446 - 5.91715976331361 x347^2 b446 - 8.87573964497041 x347 x403 b446 + 8.87573964497041 x346 x404 b446 + 5.91715976331361 x403 x404 b446 - 5.91715976331361 x404^2 b446 = 0 e42: x41 - 7.64505119453925 x315^2 b447 + 7.64505119453925 x315 x316 b447 + 24.9829351535836 x316 x372 b447 - 7.64505119453925 x372^2 b447 - 24.9829351535836 x315 x373 b447 + 7.64505119453925 x372 x373 b447 = 0 e43: x42 + 7.64505119453925 x315 x316 b447 - 7.64505119453925 x316^2 b447 - 24.9829351535836 x316 x372 b447 + 24.9829351535836 x315 x373 b447 + 7.64505119453925 x372 x373 b447 - 7.64505119453925 x373^2 b447 = 0 e44: x43 - 1.02028983422762 x313^2 b448 + 1.02028983422762 x313 x328 b448 + 4.62950893944692 x328 x370 b448 - 1.02028983422762 x370^2 b448 - 4.62950893944692 x313 x385 b448 + 1.02028983422762 x370 x385 b448 = 0 e45: x44 + 1.02028983422762 x313 x328 b448 - 1.02028983422762 x328^2 b448 - 4.62950893944692 x328 x370 b448 + 4.62950893944692 x313 x385 b448 + 1.02028983422762 x370 x385 b448 - 1.02028983422762 x385^2 b448 = 0 e46: x45 + 1.65903181874417 x337 x393 b449 - 1.65903181874417 x336 x394 b449 = 0 e47: x46 - 1.65903181874417 x337 x393 b449 + 1.65903181874417 x336 x394 b449 = 0 e48: x47 - 11.9046433089927 x349^2 b450 + 11.9046433089927 x349 x351 b450 + 18.8780745360178 x351 x406 b450 - 11.9046433089927 x406^2 b450 - 18.8780745360178 x349 x408 b450 + 11.9046433089927 x406 x408 b450 = 0 e49: x48 + 11.9046433089927 x349 x351 b450 - 11.9046433089927 x351^2 b450 - 18.8780745360178 x351 x406 b450 + 18.8780745360178 x349 x408 b450 + 11.9046433089927 x406 x408 b450 - 11.9046433089927 x408^2 b450 = 0 e50: x49 - 2.9301109926044 x316^2 b451 + 2.9301109926044 x316 x317 b451 + 6.18839441638049 x317 x373 b451 - 2.9301109926044 x373^2 b451 - 6.18839441638049 x316 x374 b451 + 2.9301109926044 x373 x374 b451 = 0 e51: x50 + 2.9301109926044 x316 x317 b451 - 2.9301109926044 x317^2 b451 - 6.18839441638049 x317 x373 b451 + 6.18839441638049 x316 x374 b451 + 2.9301109926044 x373 x374 b451 - 2.9301109926044 x374^2 b451 = 0 e52: x51 - 2.287011468939 x337^2 b452 + 2.287011468939 x337 x342 b452 + 3.42204679056057 x342 x394 b452 - 2.287011468939 x394^2 b452 - 3.42204679056057 x337 x399 b452 + 2.287011468939 x394 x399 b452 = 0 e53: x52 + 2.287011468939 x337 x342 b452 - 2.287011468939 x342^2 b452 - 3.42204679056057 x342 x394 b452 + 3.42204679056057 x337 x399 b452 + 2.287011468939 x394 x399 b452 - 2.287011468939 x399^2 b452 = 0 e54: x53 - 1.78318222833326 x335^2 b453 + 1.78318222833326 x335 x336 b453 + 2.74996777381515 x336 x392 b453 - 1.78318222833326 x392^2 b453 - 2.74996777381515 x335 x393 b453 + 1.78318222833326 x392 x393 b453 = 0 e55: x54 + 1.78318222833326 x335 x336 b453 - 1.78318222833326 x336^2 b453 - 2.74996777381515 x336 x392 b453 + 2.74996777381515 x335 x393 b453 + 1.78318222833326 x392 x393 b453 - 1.78318222833326 x393^2 b453 = 0 e56: x55 - 13.8386805241753 x344^2 b454 + 13.8386805241753 x344 x345 b454 + 12.7089923181202 x345 x401 b454 - 13.8386805241753 x401^2 b454 - 12.7089923181202 x344 x402 b454 + 13.8386805241753 x401 x402 b454 = 0 e57: x56 + 13.8386805241753 x344 x345 b454 - 13.8386805241753 x345^2 b454 - 12.7089923181202 x345 x401 b454 + 12.7089923181202 x344 x402 b454 + 13.8386805241753 x401 x402 b454 - 13.8386805241753 x402^2 b454 = 0 e58: x57 - 8.0494056341988 x340^2 b455 + 8.0494056341988 x340 x341 b455 + 11.3038304001787 x341 x397 b455 - 8.0494056341988 x397^2 b455 - 11.3038304001787 x340 x398 b455 + 8.0494056341988 x397 x398 b455 = 0 e59: x58 + 8.0494056341988 x340 x341 b455 - 8.0494056341988 x341^2 b455 - 11.3038304001787 x341 x397 b455 + 11.3038304001787 x340 x398 b455 + 8.0494056341988 x397 x398 b455 - 8.0494056341988 x398^2 b455 = 0 e60: x59 + 1.24653719300355 x354 x368 b456 - 1.24653719300355 x368^2 b456 - 2.07658431210945 x368 x411 b456 + 2.07658431210945 x354 x425 b456 + 1.24653719300355 x411 x425 b456 - 1.24653719300355 x425^2 b456 = 0 e61: x60 - 1.24653719300355 x354^2 b456 + 1.24653719300355 x354 x368 b456 + 2.07658431210945 x368 x411 b456 - 1.24653719300355 x411^2 b456 - 2.07658431210945 x354 x425 b456 + 1.24653719300355 x411 x425 b456 = 0 e62: x61 - 3.73830364088118 x320^2 b457 + 3.73830364088118 x320 x321 b457 + 19.0691246327777 x321 x377 b457 - 3.73830364088118 x377^2 b457 - 19.0691246327777 x320 x378 b457 + 3.73830364088118 x377 x378 b457 = 0 e63: x62 + 3.73830364088118 x320 x321 b457 - 3.73830364088118 x321^2 b457 - 19.0691246327777 x321 x377 b457 + 19.0691246327777 x320 x378 b457 + 3.73830364088118 x377 x378 b457 - 3.73830364088118 x378^2 b457 = 0 e64: x63 - 15.4977439482117 x334^2 b458 + 15.4977439482117 x334 x350 b458 + 23.8116378370961 x350 x391 b458 - 15.4977439482117 x391^2 b458 - 23.8116378370961 x334 x407 b458 + 15.4977439482117 x391 x407 b458 = 0 e65: x64 + 15.4977439482117 x334 x350 b458 - 15.4977439482117 x350^2 b458 - 23.8116378370961 x350 x391 b458 + 23.8116378370961 x334 x407 b458 + 15.4977439482117 x391 x407 b458 - 15.4977439482117 x407^2 b458 = 0 e66: x65 - 1.28749839062701 x333 x389 b459 + 1.28749839062701 x332 x390 b459 = 0 e67: x66 + 1.28749839062701 x333 x389 b459 - 1.28749839062701 x332 x390 b459 = 0 e68: x67 + 9.59692898272553 x357 x384 b460 - 9.59692898272553 x327 x414 b460 = 0 e69: x68 - 9.59692898272553 x357 x384 b460 + 9.59692898272553 x327 x414 b460 = 0 e70: x69 - 4.91962037575053 x364^2 b461 + 4.91962037575053 x364 x365 b461 + 6.3528956033314 x365 x421 b461 - 4.91962037575053 x421^2 b461 - 6.3528956033314 x364 x422 b461 + 4.91962037575053 x421 x422 b461 = 0 e71: x70 + 4.91962037575053 x364 x365 b461 - 4.91962037575053 x365^2 b461 - 6.3528956033314 x365 x421 b461 + 6.3528956033314 x364 x422 b461 + 4.91962037575053 x421 x422 b461 - 4.91962037575053 x422^2 b461 = 0 e72: x71 - 1.04931794333683 x346 x401 b462 + 1.04931794333683 x344 x403 b462 = 0 e73: x72 + 1.04931794333683 x346 x401 b462 - 1.04931794333683 x344 x403 b462 = 0 e74: x73 - 1.2486456086589 x321^2 b463 + 1.2486456086589 x321 x322 b463 + 5.6815067125699 x322 x378 b463 - 1.2486456086589 x378^2 b463 - 5.6815067125699 x321 x379 b463 + 1.2486456086589 x378 x379 b463 = 0 e75: x74 + 1.2486456086589 x321 x322 b463 - 1.2486456086589 x322^2 b463 - 5.6815067125699 x322 x378 b463 + 5.6815067125699 x321 x379 b463 + 1.2486456086589 x378 x379 b463 - 1.2486456086589 x379^2 b463 = 0 e76: x75 + .910722814182902 x353 x368 b464 - .910722814182902 x368^2 b464 - .904135307389536 x368 x410 b464 + .904135307389536 x353 x425 b464 + .910722814182902 x410 x425 b464 - .910722814182902 x425^2 b464 = 0 e77: x76 - .910722814182902 x353^2 b464 + .910722814182902 x353 x368 b464 + .904135307389536 x368 x410 b464 - .910722814182902 x410^2 b464 - .904135307389536 x353 x425 b464 + .910722814182902 x410 x425 b464 = 0 e78: x77 - 3.25066886439273 x325^2 b465 + 3.25066886439273 x325 x327 b465 + 10.5012313872018 x327 x382 b465 - 3.25066886439273 x382^2 b465 - 10.5012313872018 x325 x384 b465 + 3.25066886439273 x382 x384 b465 = 0 e79: x78 + 3.25066886439273 x325 x327 b465 - 3.25066886439273 x327^2 b465 - 10.5012313872018 x327 x382 b465 + 10.5012313872018 x325 x384 b465 + 3.25066886439273 x382 x384 b465 - 3.25066886439273 x384^2 b465 = 0 e80: x79 - .613004398639058 x343^2 b466 + .613004398639058 x343 x344 b466 + .912856648860924 x344 x400 b466 - .613004398639058 x400^2 b466 - .912856648860924 x343 x401 b466 + .613004398639058 x400 x401 b466 = 0 e81: x80 + .613004398639058 x343 x344 b466 - .613004398639058 x344^2 b466 - .912856648860924 x344 x400 b466 + .912856648860924 x343 x401 b466 + .613004398639058 x400 x401 b466 - .613004398639058 x401^2 b466 = 0 e82: x81 - 1.09079641330694 x318^2 b467 + 1.09079641330694 x318 x320 b467 + 5.56660116525373 x320 x375 b467 - 1.09079641330694 x375^2 b467 - 5.56660116525373 x318 x377 b467 + 1.09079641330694 x375 x377 b467 = 0 e83: x82 + 1.09079641330694 x318 x320 b467 - 1.09079641330694 x320^2 b467 - 5.56660116525373 x320 x375 b467 + 5.56660116525373 x318 x377 b467 + 1.09079641330694 x375 x377 b467 - 1.09079641330694 x377^2 b467 = 0 e84: x83 + 13.6054421768707 x358 x383 b468 - 13.6054421768707 x326 x415 b468 = 0 e85: x84 - 13.6054421768707 x358 x383 b468 + 13.6054421768707 x326 x415 b468 = 0 e86: x85 - 2.58113749607218 x350^2 b469 + 2.58113749607218 x350 x361 b469 + 3.97270727656327 x361 x407 b469 - 2.58113749607218 x407^2 b469 - 3.97270727656327 x350 x418 b469 + 2.58113749607218 x407 x418 b469 = 0 e87: x86 + 2.58113749607218 x350 x361 b469 - 2.58113749607218 x361^2 b469 - 3.97270727656327 x361 x407 b469 + 3.97270727656327 x350 x418 b469 + 2.58113749607218 x407 x418 b469 - 2.58113749607218 x418^2 b469 = 0 e88: x87 - 1.659305619535 x322^2 b470 + 1.659305619535 x322 x324 b470 + 7.55972451932552 x324 x379 b470 - 1.659305619535 x379^2 b470 - 7.55972451932552 x322 x381 b470 + 1.659305619535 x379 x381 b470 = 0 e89: x88 + 1.659305619535 x322 x324 b470 - 1.659305619535 x324^2 b470 - 7.55972451932552 x324 x379 b470 + 7.55972451932552 x322 x381 b470 + 1.659305619535 x379 x381 b470 - 1.659305619535 x381^2 b470 = 0 e90: x89 - 9.46406687940595 x350^2 b471 + 9.46406687940595 x350 x360 b471 + 14.6207699867746 x360 x407 b471 - 9.46406687940595 x407^2 b471 - 14.6207699867746 x350 x417 b471 + 9.46406687940595 x407 x417 b471 = 0 e91: x90 + 9.46406687940595 x350 x360 b471 - 9.46406687940595 x360^2 b471 - 14.6207699867746 x360 x407 b471 + 14.6207699867746 x350 x417 b471 + 9.46406687940595 x407 x417 b471 - 9.46406687940595 x417^2 b471 = 0 e92: x91 - 2.07028742102668 x313^2 b472 + 2.07028742102668 x313 x327 b472 + 10.5840536692937 x327 x370 b472 - 2.07028742102668 x370^2 b472 - 10.5840536692937 x313 x384 b472 + 2.07028742102668 x370 x384 b472 = 0 e93: x92 + 2.07028742102668 x313 x327 b472 - 2.07028742102668 x327^2 b472 - 10.5840536692937 x327 x370 b472 + 10.5840536692937 x313 x384 b472 + 2.07028742102668 x370 x384 b472 - 2.07028742102668 x384^2 b472 = 0 e94: x93 - 3.85220109327142 x333^2 b473 + 3.85220109327142 x333 x334 b473 + 6.12374358577114 x334 x390 b473 - 3.85220109327142 x390^2 b473 - 6.12374358577114 x333 x391 b473 + 3.85220109327142 x390 x391 b473 = 0 e95: x94 + 3.85220109327142 x333 x334 b473 - 3.85220109327142 x334^2 b473 - 6.12374358577114 x334 x390 b473 + 6.12374358577114 x333 x391 b473 + 3.85220109327142 x390 x391 b473 - 3.85220109327142 x391^2 b473 = 0 e96: x95 - 1.81029764661306 x316^2 b474 + 1.81029764661306 x316 x318 b474 + 6.23079189997053 x318 x373 b474 - 1.81029764661306 x373^2 b474 - 6.23079189997053 x316 x375 b474 + 1.81029764661306 x373 x375 b474 = 0 e97: x96 + 1.81029764661306 x316 x318 b474 - 1.81029764661306 x318^2 b474 - 6.23079189997053 x318 x373 b474 + 6.23079189997053 x316 x375 b474 + 1.81029764661306 x373 x375 b474 - 1.81029764661306 x375^2 b474 = 0 e98: x97 - 6.01491779280401 x317^2 b475 + 6.01491779280401 x317 x318 b475 + 12.7667625999582 x318 x374 b475 - 6.01491779280401 x374^2 b475 - 12.7667625999582 x317 x375 b475 + 6.01491779280401 x374 x375 b475 = 0 e99: x98 + 6.01491779280401 x317 x318 b475 - 6.01491779280401 x318^2 b475 - 12.7667625999582 x318 x374 b475 + 12.7667625999582 x317 x375 b475 + 6.01491779280401 x374 x375 b475 - 6.01491779280401 x375^2 b475 = 0 e100: x99 - 9.08574193534755 x347^2 b476 + 9.08574193534755 x347 x348 b476 + 11.3466126029805 x348 x404 b476 - 9.08574193534755 x404^2 b476 - 11.3466126029805 x347 x405 b476 + 9.08574193534755 x404 x405 b476 = 0 e101: x100 + 9.08574193534755 x347 x348 b476 - 9.08574193534755 x348^2 b476 - 11.3466126029805 x348 x404 b476 + 11.3466126029805 x347 x405 b476 + 9.08574193534755 x404 x405 b476 - 9.08574193534755 x405^2 b476 = 0 e102: x101 - 2.04999381747896 x362^2 b477 + 2.04999381747896 x362 x363 b477 + 3.2539584404428 x363 x419 b477 - 2.04999381747896 x419^2 b477 - 3.2539584404428 x362 x420 b477 + 2.04999381747896 x419 x420 b477 = 0 e103: x102 + 2.04999381747896 x362 x363 b477 - 2.04999381747896 x363^2 b477 - 3.2539584404428 x363 x419 b477 + 3.2539584404428 x362 x420 b477 + 2.04999381747896 x419 x420 b477 - 2.04999381747896 x420^2 b477 = 0 e104: x103 + 4.1273831971573 x330 x373 b478 - 4.1273831971573 x316 x387 b478 = 0 e105: x104 - 4.1273831971573 x330 x373 b478 + 4.1273831971573 x316 x387 b478 = 0 e106: x105 - 1.76335096806502 x321^2 b479 + 1.76335096806502 x321 x325 b479 + 5.79229631921565 x325 x378 b479 - 1.76335096806502 x378^2 b479 - 5.79229631921565 x321 x382 b479 + 1.76335096806502 x378 x382 b479 = 0 e107: x106 + 1.76335096806502 x321 x325 b479 - 1.76335096806502 x325^2 b479 - 5.79229631921565 x325 x378 b479 + 5.79229631921565 x321 x382 b479 + 1.76335096806502 x378 x382 b479 - 1.76335096806502 x382^2 b479 = 0 e108: x107 + 14.0449438202247 x363 x379 b480 - 14.0449438202247 x322 x420 b480 = 0 e109: x108 - 14.0449438202247 x363 x379 b480 + 14.0449438202247 x322 x420 b480 = 0 e110: x109 - 2.59602030087875 x324^2 b481 + 2.59602030087875 x324 x328 b481 + 11.725358358969 x328 x381 b481 - 2.59602030087875 x381^2 b481 - 11.725358358969 x324 x385 b481 + 2.59602030087875 x381 x385 b481 = 0 e111: x110 + 2.59602030087875 x324 x328 b481 - 2.59602030087875 x328^2 b481 - 11.725358358969 x328 x381 b481 + 11.725358358969 x324 x385 b481 + 2.59602030087875 x381 x385 b481 - 2.59602030087875 x385^2 b481 = 0 e112: x111 - 6.41461755272621 x325^2 b482 + 6.41461755272621 x325 x326 b482 + 21.0904849839635 x326 x382 b482 - 6.41461755272621 x382^2 b482 - 21.0904849839635 x325 x383 b482 + 6.41461755272621 x382 x383 b482 = 0 e113: x112 + 6.41461755272621 x325 x326 b482 - 6.41461755272621 x326^2 b482 - 21.0904849839635 x326 x382 b482 + 21.0904849839635 x325 x383 b482 + 6.41461755272621 x382 x383 b482 - 6.41461755272621 x383^2 b482 = 0 e114: x113 - 20.8207017262879 x359^2 b483 + 20.8207017262879 x359 x360 b483 + 26.6550741880498 x360 x416 b483 - 20.8207017262879 x416^2 b483 - 26.6550741880498 x359 x417 b483 + 20.8207017262879 x416 x417 b483 = 0 e115: x114 + 20.8207017262879 x359 x360 b483 - 20.8207017262879 x360^2 b483 - 26.6550741880498 x360 x416 b483 + 26.6550741880498 x359 x417 b483 + 20.8207017262879 x416 x417 b483 - 20.8207017262879 x417^2 b483 = 0 e116: x115 - .922767737096112 x342^2 b484 + .922767737096112 x342 x343 b484 + 1.40679621268947 x343 x399 b484 - .922767737096112 x399^2 b484 - 1.40679621268947 x342 x400 b484 + .922767737096112 x399 x400 b484 = 0 e117: x116 + .922767737096112 x342 x343 b484 - .922767737096112 x343^2 b484 - 1.40679621268947 x343 x399 b484 + 1.40679621268947 x342 x400 b484 + .922767737096112 x399 x400 b484 - .922767737096112 x400^2 b484 = 0 e118: x117 - 1.24135697708587 x353^2 b485 + 1.24135697708587 x353 x354 b485 + 2.11090655040689 x354 x410 b485 - 1.24135697708587 x410^2 b485 - 2.11090655040689 x353 x411 b485 + 1.24135697708587 x410 x411 b485 = 0 e119: x118 + 1.24135697708587 x353 x354 b485 - 1.24135697708587 x354^2 b485 - 2.11090655040689 x354 x410 b485 + 2.11090655040689 x353 x411 b485 + 1.24135697708587 x410 x411 b485 - 1.24135697708587 x411^2 b485 = 0 e120: x119 - 2.64125488109603 x319^2 b486 + 2.64125488109603 x319 x320 b486 + 13.5293055779883 x320 x376 b486 - 2.64125488109603 x376^2 b486 - 13.5293055779883 x319 x377 b486 + 2.64125488109603 x376 x377 b486 = 0 e121: x120 + 2.64125488109603 x319 x320 b486 - 2.64125488109603 x320^2 b486 - 13.5293055779883 x320 x376 b486 + 13.5293055779883 x319 x377 b486 + 2.64125488109603 x376 x377 b486 - 2.64125488109603 x377^2 b486 = 0 e122: x121 - 30.0866129767513 x334^2 b487 + 30.0866129767513 x334 x335 b487 + 46.1935876006686 x335 x391 b487 - 30.0866129767513 x391^2 b487 - 46.1935876006686 x334 x392 b487 + 30.0866129767513 x391 x392 b487 = 0 e123: x122 + 30.0866129767513 x334 x335 b487 - 30.0866129767513 x335^2 b487 - 46.1935876006686 x335 x391 b487 + 46.1935876006686 x334 x392 b487 + 30.0866129767513 x391 x392 b487 - 30.0866129767513 x392^2 b487 = 0 e124: x123 + 1.33511348464619 x353 x380 b488 - 1.33511348464619 x323 x410 b488 = 0 e125: x124 - 1.33511348464619 x353 x380 b488 + 1.33511348464619 x323 x410 b488 = 0 e126: x125 - 5.20627188308723 x326^2 b489 + 5.20627188308723 x326 x327 b489 + 16.6539808189983 x327 x383 b489 - 5.20627188308723 x383^2 b489 - 16.6539808189983 x326 x384 b489 + 5.20627188308723 x383 x384 b489 = 0 e127: x126 + 5.20627188308723 x326 x327 b489 - 5.20627188308723 x327^2 b489 - 16.6539808189983 x327 x383 b489 + 16.6539808189983 x326 x384 b489 + 5.20627188308723 x383 x384 b489 - 5.20627188308723 x384^2 b489 = 0 e128: x127 - 3.51315635387879 x361^2 b490 + 3.51315635387879 x361 x362 b490 + 5.61403262542429 x362 x418 b490 - 3.51315635387879 x418^2 b490 - 5.61403262542429 x361 x419 b490 + 3.51315635387879 x418 x419 b490 = 0 e129: x128 + 3.51315635387879 x361 x362 b490 - 3.51315635387879 x362^2 b490 - 5.61403262542429 x362 x418 b490 + 5.61403262542429 x361 x419 b490 + 3.51315635387879 x418 x419 b490 - 3.51315635387879 x419^2 b490 = 0 e130: x129 + 6.5359477124183 x355 x380 b491 - 6.5359477124183 x323 x412 b491 = 0 e131: x130 - 6.5359477124183 x355 x380 b491 + 6.5359477124183 x323 x412 b491 = 0 e132: x131 - .676204920894292 x330^2 b492 + .676204920894292 x330 x331 b492 + 1.00477303863902 x331 x387 b492 - .676204920894292 x387^2 b492 - 1.00477303863902 x330 x388 b492 + .676204920894292 x387 x388 b492 = 0 e133: x132 + .676204920894292 x330 x331 b492 - .676204920894292 x331^2 b492 - 1.00477303863902 x331 x387 b492 + 1.00477303863902 x330 x388 b492 + .676204920894292 x387 x388 b492 - .676204920894292 x388^2 b492 = 0 e134: x133 - 3.80836576706122 x323^2 b493 + 3.80836576706122 x323 x325 b493 + 12.5010033250619 x325 x380 b493 - 3.80836576706122 x380^2 b493 - 12.5010033250619 x323 x382 b493 + 3.80836576706122 x380 x382 b493 = 0 e135: x134 + 3.80836576706122 x323 x325 b493 - 3.80836576706122 x325^2 b493 - 12.5010033250619 x325 x380 b493 + 12.5010033250619 x323 x382 b493 + 3.80836576706122 x380 x382 b493 - 3.80836576706122 x382^2 b493 = 0 e136: x135 - 9.76702392269726 x348^2 b494 + 9.76702392269726 x348 x352 b494 + 15.1714438265897 x352 x405 b494 - 9.76702392269726 x405^2 b494 - 15.1714438265897 x348 x409 b494 + 9.76702392269726 x405 x409 b494 = 0 e137: x136 + 9.76702392269726 x348 x352 b494 - 9.76702392269726 x352^2 b494 - 15.1714438265897 x352 x405 b494 + 15.1714438265897 x348 x409 b494 + 9.76702392269726 x405 x409 b494 - 9.76702392269726 x409^2 b494 = 0 e138: x137 - .710339072902274 x321^2 b495 + .710339072902274 x321 x324 b495 + 3.23379670534214 x324 x378 b495 - .710339072902274 x378^2 b495 - 3.23379670534214 x321 x381 b495 + .710339072902274 x378 x381 b495 = 0 e139: x138 + .710339072902274 x321 x324 b495 - .710339072902274 x324^2 b495 - 3.23379670534214 x324 x378 b495 + 3.23379670534214 x321 x381 b495 + .710339072902274 x378 x381 b495 - .710339072902274 x381^2 b495 = 0 e140: x139 - 4.51493256729746 x349^2 b496 + 4.51493256729746 x349 x350 b496 + 6.99779871029668 x350 x406 b496 - 4.51493256729746 x406^2 b496 - 6.99779871029668 x349 x407 b496 + 4.51493256729746 x406 x407 b496 = 0 e141: x140 + 4.51493256729746 x349 x350 b496 - 4.51493256729746 x350^2 b496 - 6.99779871029668 x350 x406 b496 + 6.99779871029668 x349 x407 b496 + 4.51493256729746 x406 x407 b496 - 4.51493256729746 x407^2 b496 = 0 e142: x141 - 1.18094695287427 x324^2 b497 + 1.18094695287427 x324 x329 b497 + 5.32467265905526 x329 x381 b497 - 1.18094695287427 x381^2 b497 - 5.32467265905526 x324 x386 b497 + 1.18094695287427 x381 x386 b497 = 0 e143: x142 + 1.18094695287427 x324 x329 b497 - 1.18094695287427 x329^2 b497 - 5.32467265905526 x329 x381 b497 + 5.32467265905526 x324 x386 b497 + 1.18094695287427 x381 x386 b497 - 1.18094695287427 x386^2 b497 = 0 e144: x143 - 13.2993359503981 x348^2 b498 + 13.2993359503981 x348 x349 b498 + 16.7846791649851 x349 x405 b498 - 13.2993359503981 x405^2 b498 - 16.7846791649851 x348 x406 b498 + 13.2993359503981 x405 x406 b498 = 0 e145: x144 + 13.2993359503981 x348 x349 b498 - 13.2993359503981 x349^2 b498 - 16.7846791649851 x349 x405 b498 + 16.7846791649851 x348 x406 b498 + 13.2993359503981 x405 x406 b498 - 13.2993359503981 x406^2 b498 = 0 e146: x145 - 2.1079134978748 x365^2 b499 + 2.1079134978748 x365 x366 b499 + 2.60402519439273 x366 x422 b499 - 2.1079134978748 x422^2 b499 - 2.60402519439273 x365 x423 b499 + 2.1079134978748 x422 x423 b499 = 0 e147: x146 + 2.1079134978748 x365 x366 b499 - 2.1079134978748 x366^2 b499 - 2.60402519439273 x366 x422 b499 + 2.60402519439273 x365 x423 b499 + 2.1079134978748 x422 x423 b499 - 2.1079134978748 x423^2 b499 = 0 e148: x147 + .836820083682008 x368 x409 b500 - .836820083682008 x352 x425 b500 = 0 e149: x148 - .836820083682008 x368 x409 b500 + .836820083682008 x352 x425 b500 = 0 e150: x149 - 1.05421967255862 x331^2 b501 + 1.05421967255862 x331 x332 b501 + 1.6167185084468 x332 x388 b501 - 1.05421967255862 x388^2 b501 - 1.6167185084468 x331 x389 b501 + 1.05421967255862 x388 x389 b501 = 0 e151: x150 + 1.05421967255862 x331 x332 b501 - 1.05421967255862 x332^2 b501 - 1.6167185084468 x332 x388 b501 + 1.6167185084468 x331 x389 b501 + 1.05421967255862 x388 x389 b501 - 1.05421967255862 x389^2 b501 = 0 e152: x151 + 5.23560209424084 x361 x382 b502 - 5.23560209424084 x325 x418 b502 = 0 e153: x152 - 5.23560209424084 x361 x382 b502 + 5.23560209424084 x325 x418 b502 = 0 e154: x153 - 6.78808491447952 x350^2 b503 + 6.78808491447952 x350 x356 b503 + 13.7405871106246 x356 x407 b503 - 6.78808491447952 x407^2 b503 - 13.7405871106246 x350 x413 b503 + 6.78808491447952 x407 x413 b503 = 0 e155: x154 + 6.78808491447952 x350 x356 b503 - 6.78808491447952 x356^2 b503 - 13.7405871106246 x356 x407 b503 + 13.7405871106246 x350 x413 b503 + 6.78808491447952 x407 x413 b503 - 6.78808491447952 x413^2 b503 = 0 e156: x155 - 2.13036846395391 x366^2 b504 + 2.13036846395391 x366 x367 b504 + 2.78596106862333 x367 x423 b504 - 2.13036846395391 x423^2 b504 - 2.78596106862333 x366 x424 b504 + 2.13036846395391 x423 x424 b504 = 0 e157: x156 + 2.13036846395391 x366 x367 b504 - 2.13036846395391 x367^2 b504 - 2.78596106862333 x367 x423 b504 + 2.78596106862333 x366 x424 b504 + 2.13036846395391 x423 x424 b504 - 2.13036846395391 x424^2 b504 = 0 e158: x157 - 8.81612637877296 x313^2 b427 + 8.83042637877296 x313 x329 b427 - 1.94596433161849 x329 x370 b427 - 8.81612637877296 x370^2 b427 + 1.94596433161849 x313 x386 b427 + 8.83042637877296 x370 x386 b427 = 0 e159: x158 + 8.83042637877296 x313 x329 b427 - 8.81612637877296 x329^2 b427 + 1.94596433161849 x329 x370 b427 - 1.94596433161849 x313 x386 b427 + 8.83042637877296 x370 x386 b427 - 8.81612637877296 x386^2 b427 = 0 e160: x159 - 15.7270727964269 x324^2 b428 + 15.7572727964269 x324 x325 b428 - 4.83585268579998 x325 x381 b428 - 15.7270727964269 x381^2 b428 + 4.83585268579998 x324 x382 b428 + 15.7572727964269 x381 x382 b428 = 0 e161: x160 + 15.7572727964269 x324 x325 b428 - 15.7270727964269 x325^2 b428 + 4.83585268579998 x325 x381 b428 - 4.83585268579998 x324 x382 b428 + 15.7572727964269 x381 x382 b428 - 15.7270727964269 x382^2 b428 = 0 e162: x161 - 8.29875518672199 x321^2 b429 + 8.29875518672199 x321 x367 b429 - 8.29875518672199 x378^2 b429 + 8.29875518672199 x378 x424 b429 = 0 e163: x162 + 8.29875518672199 x321 x367 b429 - 8.29875518672199 x367^2 b429 + 8.29875518672199 x378 x424 b429 - 8.29875518672199 x424^2 b429 = 0 e164: x163 - 6.4267710798472 x356^2 b430 + 6.4287710798472 x356 x357 b430 - 3.22991397248362 x357 x413 b430 - 6.4267710798472 x413^2 b430 + 3.22991397248362 x356 x414 b430 + 6.4287710798472 x413 x414 b430 = 0 e165: x164 + 6.4287710798472 x356 x357 b430 - 6.4267710798472 x357^2 b430 + 3.22991397248362 x357 x413 b430 - 3.22991397248362 x356 x414 b430 + 6.4287710798472 x413 x414 b430 - 6.4267710798472 x414^2 b430 = 0 e166: x165 - 15.4320987654321 x319^2 b431 + 15.4320987654321 x319 x341 b431 - 15.4320987654321 x376^2 b431 + 15.4320987654321 x376 x398 b431 = 0 e167: x166 + 15.4320987654321 x319 x341 b431 - 15.4320987654321 x341^2 b431 + 15.4320987654321 x376 x398 b431 - 15.4320987654321 x398^2 b431 = 0 e168: x167 - 10.4360605474643 x314^2 b432 + 10.4769605474643 x314 x315 b432 - 3.67309910958161 x315 x371 b432 - 10.4360605474643 x371^2 b432 + 3.67309910958161 x314 x372 b432 + 10.4769605474643 x371 x372 b432 = 0 e169: x168 + 10.4769605474643 x314 x315 b432 - 10.4360605474643 x315^2 b432 + 3.67309910958161 x315 x371 b432 - 3.67309910958161 x314 x372 b432 + 10.4769605474643 x371 x372 b432 - 10.4360605474643 x372^2 b432 = 0 e170: x169 - 21.1416490486258 x336^2 b433 + 21.1416490486258 x336 x338 b433 - 21.1416490486258 x393^2 b433 + 21.1416490486258 x393 x395 b433 = 0 e171: x170 + 21.1416490486258 x336 x338 b433 - 21.1416490486258 x338^2 b433 + 21.1416490486258 x393 x395 b433 - 21.1416490486258 x395^2 b433 = 0 e172: x171 - 9.42714779711218 x318^2 b434 + 9.44094779711218 x318 x319 b434 - 1.85116623472788 x319 x375 b434 - 9.42714779711218 x375^2 b434 + 1.85116623472788 x318 x376 b434 + 9.44094779711218 x375 x376 b434 = 0 e173: x172 + 9.44094779711218 x318 x319 b434 - 9.42714779711218 x319^2 b434 + 1.85116623472788 x319 x375 b434 - 1.85116623472788 x318 x376 b434 + 9.44094779711218 x375 x376 b434 - 9.42714779711218 x376^2 b434 = 0 e174: x173 - 3.35349976256504 x341^2 b435 + 3.35349976256504 x341 x364 b435 - 2.58596077947529 x364 x398 b435 - 3.35349976256504 x398^2 b435 + 2.58596077947529 x341 x421 b435 + 3.35349976256504 x398 x421 b435 = 0 e175: x174 + 3.35349976256504 x341 x364 b435 - 3.35349976256504 x364^2 b435 + 2.58596077947529 x364 x398 b435 - 2.58596077947529 x341 x421 b435 + 3.35349976256504 x398 x421 b435 - 3.35349976256504 x421^2 b435 = 0 e176: x175 - 17.2285497460475 x315^2 b436 + 17.2557497460475 x315 x327 b436 - 5.27439897898054 x327 x372 b436 - 17.2285497460475 x372^2 b436 + 5.27439897898054 x315 x384 b436 + 17.2557497460475 x372 x384 b436 = 0 e177: x176 + 17.2557497460475 x315 x327 b436 - 17.2285497460475 x327^2 b436 + 5.27439897898054 x327 x372 b436 - 5.27439897898054 x315 x384 b436 + 17.2557497460475 x372 x384 b436 - 17.2285497460475 x384^2 b436 = 0 e178: x177 - .738007380073801 x351^2 b437 + .738007380073801 x351 x369 b437 - .738007380073801 x408^2 b437 + .738007380073801 x408 x426 b437 = 0 e179: x178 + .738007380073801 x351 x369 b437 - .738007380073801 x369^2 b437 + .738007380073801 x408 x426 b437 - .738007380073801 x426^2 b437 = 0 e180: x179 - 13.1945963904522 x358^2 b438 + 13.1961963904522 x358 x359 b438 - 4.46341936735882 x359 x415 b438 - 13.1945963904522 x415^2 b438 + 4.46341936735882 x358 x416 b438 + 13.1961963904522 x415 x416 b438 = 0 e181: x180 + 13.1961963904522 x358 x359 b438 - 13.1945963904522 x359^2 b438 + 4.46341936735882 x359 x415 b438 - 4.46341936735882 x358 x416 b438 + 13.1961963904522 x415 x416 b438 - 13.1945963904522 x416^2 b438 = 0 e182: x181 - 2.42718446601942 x353^2 b439 + 2.42718446601942 x353 x355 b439 - 2.42718446601942 x410^2 b439 + 2.42718446601942 x410 x412 b439 = 0 e183: x182 + 2.42718446601942 x353 x355 b439 - 2.42718446601942 x355^2 b439 + 2.42718446601942 x410 x412 b439 - 2.42718446601942 x412^2 b439 = 0 e184: x183 - 2.76866395613739 x338^2 b440 + 2.76866395613739 x338 x339 b440 - 1.79854154630972 x339 x395 b440 - 2.76866395613739 x395^2 b440 + 1.79854154630972 x338 x396 b440 + 2.76866395613739 x395 x396 b440 = 0 e185: x184 + 2.76866395613739 x338 x339 b440 - 2.76866395613739 x339^2 b440 + 1.79854154630972 x339 x395 b440 - 1.79854154630972 x338 x396 b440 + 2.76866395613739 x395 x396 b440 - 2.76866395613739 x396^2 b440 = 0 e186: x185 - 5.46449856487556 x360^2 b441 + 5.46689856487556 x360 x361 b441 - 3.53441349078001 x361 x417 b441 - 5.46449856487556 x417^2 b441 + 3.53441349078001 x360 x418 b441 + 5.46689856487556 x417 x418 b441 = 0 e187: x186 + 5.46689856487556 x360 x361 b441 - 5.46449856487556 x361^2 b441 + 3.53441349078001 x361 x417 b441 - 3.53441349078001 x360 x418 b441 + 5.46689856487556 x417 x418 b441 - 5.46449856487556 x418^2 b441 = 0 e188: x187 - 7.38367233212594 x339^2 b442 + 7.38367233212594 x339 x340 b442 - 4.78313364911303 x340 x396 b442 - 7.38367233212594 x396^2 b442 + 4.78313364911303 x339 x397 b442 + 7.38367233212594 x396 x397 b442 = 0 e189: x188 + 7.38367233212594 x339 x340 b442 - 7.38367233212594 x340^2 b442 + 4.78313364911303 x340 x396 b442 - 4.78313364911303 x339 x397 b442 + 7.38367233212594 x396 x397 b442 - 7.38367233212594 x397^2 b442 = 0 e190: x189 + 2.65642241203155 x368 x369 b443 - 2.65642241203155 x369^2 b443 + 1.77775961420573 x369 x425 b443 - 1.77775961420573 x368 x426 b443 + 2.65642241203155 x425 x426 b443 - 2.65642241203155 x426^2 b443 = 0 e191: x190 - 2.65642241203155 x368^2 b443 + 2.65642241203155 x368 x369 b443 - 1.77775961420573 x369 x425 b443 - 2.65642241203155 x425^2 b443 + 1.77775961420573 x368 x426 b443 + 2.65642241203155 x425 x426 b443 = 0 e192: x191 - 32.7650559802554 x313^2 b444 + 32.8295559802554 x313 x314 b444 - 9.73161837986141 x314 x370 b444 - 32.7650559802554 x370^2 b444 + 9.73161837986141 x313 x371 b444 + 32.8295559802554 x370 x371 b444 = 0 e193: x192 + 32.8295559802554 x313 x314 b444 - 32.7650559802554 x314^2 b444 + 9.73161837986141 x314 x370 b444 - 9.73161837986141 x313 x371 b444 + 32.8295559802554 x370 x371 b444 - 32.7650559802554 x371^2 b444 = 0 e194: x193 - 10.7824630999353 x321^2 b445 + 10.7933630999353 x321 x323 b445 - 3.28382981106523 x323 x378 b445 - 10.7824630999353 x378^2 b445 + 3.28382981106523 x321 x380 b445 + 10.7933630999353 x378 x380 b445 = 0 e195: x194 + 10.7933630999353 x321 x323 b445 - 10.7824630999353 x323^2 b445 + 3.28382981106523 x323 x378 b445 - 3.28382981106523 x321 x380 b445 + 10.7933630999353 x378 x380 b445 - 10.7824630999353 x380^2 b445 = 0 e196: x195 - 8.87413964497041 x346^2 b446 + 8.87573964497041 x346 x347 b446 - 5.91715976331361 x347 x403 b446 - 8.87413964497041 x403^2 b446 + 5.91715976331361 x346 x404 b446 + 8.87573964497041 x403 x404 b446 = 0 e197: x196 + 8.87573964497041 x346 x347 b446 - 8.87413964497041 x347^2 b446 + 5.91715976331361 x347 x403 b446 - 5.91715976331361 x346 x404 b446 + 8.87573964497041 x403 x404 b446 - 8.87413964497041 x404^2 b446 = 0 e198: x197 - 24.9639351535836 x315^2 b447 + 24.9829351535836 x315 x316 b447 - 7.64505119453925 x316 x372 b447 - 24.9639351535836 x372^2 b447 + 7.64505119453925 x315 x373 b447 + 24.9829351535836 x372 x373 b447 = 0 e199: x198 + 24.9829351535836 x315 x316 b447 - 24.9639351535836 x316^2 b447 + 7.64505119453925 x316 x372 b447 - 7.64505119453925 x315 x373 b447 + 24.9829351535836 x372 x373 b447 - 24.9639351535836 x373^2 b447 = 0 e200: x199 - 4.60220893944692 x313^2 b448 + 4.62950893944692 x313 x328 b448 - 1.02028983422762 x328 x370 b448 - 4.60220893944692 x370^2 b448 + 1.02028983422762 x313 x385 b448 + 4.62950893944692 x370 x385 b448 = 0 e201: x200 + 4.62950893944692 x313 x328 b448 - 4.60220893944692 x328^2 b448 + 1.02028983422762 x328 x370 b448 - 1.02028983422762 x313 x385 b448 + 4.62950893944692 x370 x385 b448 - 4.60220893944692 x385^2 b448 = 0 e202: x201 - 1.65903181874417 x336^2 b449 + 1.65903181874417 x336 x337 b449 - 1.65903181874417 x393^2 b449 + 1.65903181874417 x393 x394 b449 = 0 e203: x202 + 1.65903181874417 x336 x337 b449 - 1.65903181874417 x337^2 b449 + 1.65903181874417 x393 x394 b449 - 1.65903181874417 x394^2 b449 = 0 e204: x203 - 18.8780745360178 x349^2 b450 + 18.8780745360178 x349 x351 b450 - 11.9046433089927 x351 x406 b450 - 18.8780745360178 x406^2 b450 + 11.9046433089927 x349 x408 b450 + 18.8780745360178 x406 x408 b450 = 0 e205: x204 + 18.8780745360178 x349 x351 b450 - 18.8780745360178 x351^2 b450 + 11.9046433089927 x351 x406 b450 - 11.9046433089927 x349 x408 b450 + 18.8780745360178 x406 x408 b450 - 18.8780745360178 x408^2 b450 = 0 e206: x205 - 6.17549441638049 x316^2 b451 + 6.18839441638049 x316 x317 b451 - 2.9301109926044 x317 x373 b451 - 6.17549441638049 x373^2 b451 + 2.9301109926044 x316 x374 b451 + 6.18839441638049 x373 x374 b451 = 0 e207: x206 + 6.18839441638049 x316 x317 b451 - 6.17549441638049 x317^2 b451 + 2.9301109926044 x317 x373 b451 - 2.9301109926044 x316 x374 b451 + 6.18839441638049 x373 x374 b451 - 6.17549441638049 x374^2 b451 = 0 e208: x207 - 3.42204679056057 x337^2 b452 + 3.42204679056057 x337 x342 b452 - 2.287011468939 x342 x394 b452 - 3.42204679056057 x394^2 b452 + 2.287011468939 x337 x399 b452 + 3.42204679056057 x394 x399 b452 = 0 e209: x208 + 3.42204679056057 x337 x342 b452 - 3.42204679056057 x342^2 b452 + 2.287011468939 x342 x394 b452 - 2.287011468939 x337 x399 b452 + 3.42204679056057 x394 x399 b452 - 3.42204679056057 x399^2 b452 = 0 e210: x209 - 2.74576777381515 x335^2 b453 + 2.74996777381515 x335 x336 b453 - 1.78318222833326 x336 x392 b453 - 2.74576777381515 x392^2 b453 + 1.78318222833326 x335 x393 b453 + 2.74996777381515 x392 x393 b453 = 0 e211: x210 + 2.74996777381515 x335 x336 b453 - 2.74576777381515 x336^2 b453 + 1.78318222833326 x336 x392 b453 - 1.78318222833326 x335 x393 b453 + 2.74996777381515 x392 x393 b453 - 2.74576777381515 x393^2 b453 = 0 e212: x211 - 12.7089923181202 x344^2 b454 + 12.7089923181202 x344 x345 b454 - 13.8386805241753 x345 x401 b454 - 12.7089923181202 x401^2 b454 + 13.8386805241753 x344 x402 b454 + 12.7089923181202 x401 x402 b454 = 0 e213: x212 + 12.7089923181202 x344 x345 b454 - 12.7089923181202 x345^2 b454 + 13.8386805241753 x345 x401 b454 - 13.8386805241753 x344 x402 b454 + 12.7089923181202 x401 x402 b454 - 12.7089923181202 x402^2 b454 = 0 e214: x213 - 11.3038304001787 x340^2 b455 + 11.3038304001787 x340 x341 b455 - 8.0494056341988 x341 x397 b455 - 11.3038304001787 x397^2 b455 + 8.0494056341988 x340 x398 b455 + 11.3038304001787 x397 x398 b455 = 0 e215: x214 + 11.3038304001787 x340 x341 b455 - 11.3038304001787 x341^2 b455 + 8.0494056341988 x341 x397 b455 - 8.0494056341988 x340 x398 b455 + 11.3038304001787 x397 x398 b455 - 11.3038304001787 x398^2 b455 = 0 e216: x215 + 2.07658431210945 x354 x368 b456 - 2.07658431210945 x368^2 b456 + 1.24653719300355 x368 x411 b456 - 1.24653719300355 x354 x425 b456 + 2.07658431210945 x411 x425 b456 - 2.07658431210945 x425^2 b456 = 0 e217: x216 - 2.07658431210945 x354^2 b456 + 2.07658431210945 x354 x368 b456 - 1.24653719300355 x368 x411 b456 - 2.07658431210945 x411^2 b456 + 1.24653719300355 x354 x425 b456 + 2.07658431210945 x411 x425 b456 = 0 e218: x217 - 19.0417246327777 x320^2 b457 + 19.0691246327777 x320 x321 b457 - 3.73830364088118 x321 x377 b457 - 19.0417246327777 x377^2 b457 + 3.73830364088118 x320 x378 b457 + 19.0691246327777 x377 x378 b457 = 0 e219: x218 + 19.0691246327777 x320 x321 b457 - 19.0417246327777 x321^2 b457 + 3.73830364088118 x321 x377 b457 - 3.73830364088118 x320 x378 b457 + 19.0691246327777 x377 x378 b457 - 19.0417246327777 x378^2 b457 = 0 e220: x219 - 23.8116378370961 x334^2 b458 + 23.8116378370961 x334 x350 b458 - 15.4977439482117 x350 x391 b458 - 23.8116378370961 x391^2 b458 + 15.4977439482117 x334 x407 b458 + 23.8116378370961 x391 x407 b458 = 0 e221: x220 + 23.8116378370961 x334 x350 b458 - 23.8116378370961 x350^2 b458 + 15.4977439482117 x350 x391 b458 - 15.4977439482117 x334 x407 b458 + 23.8116378370961 x391 x407 b458 - 23.8116378370961 x407^2 b458 = 0 e222: x221 + 1.28749839062701 x332 x333 b459 - 1.28749839062701 x333^2 b459 + 1.28749839062701 x389 x390 b459 - 1.28749839062701 x390^2 b459 = 0 e223: x222 - 1.28749839062701 x332^2 b459 + 1.28749839062701 x332 x333 b459 - 1.28749839062701 x389^2 b459 + 1.28749839062701 x389 x390 b459 = 0 e224: x223 - 9.59692898272553 x327^2 b460 + 9.59692898272553 x327 x357 b460 - 9.59692898272553 x384^2 b460 + 9.59692898272553 x384 x414 b460 = 0 e225: x224 + 9.59692898272553 x327 x357 b460 - 9.59692898272553 x357^2 b460 + 9.59692898272553 x384 x414 b460 - 9.59692898272553 x414^2 b460 = 0 e226: x225 - 6.3528956033314 x364^2 b461 + 6.3528956033314 x364 x365 b461 - 4.91962037575053 x365 x421 b461 - 6.3528956033314 x421^2 b461 + 4.91962037575053 x364 x422 b461 + 6.3528956033314 x421 x422 b461 = 0 e227: x226 + 6.3528956033314 x364 x365 b461 - 6.3528956033314 x365^2 b461 + 4.91962037575053 x365 x421 b461 - 4.91962037575053 x364 x422 b461 + 6.3528956033314 x421 x422 b461 - 6.3528956033314 x422^2 b461 = 0 e228: x227 + 1.04931794333683 x344 x346 b462 - 1.04931794333683 x346^2 b462 + 1.04931794333683 x401 x403 b462 - 1.04931794333683 x403^2 b462 = 0 e229: x228 - 1.04931794333683 x344^2 b462 + 1.04931794333683 x344 x346 b462 - 1.04931794333683 x401^2 b462 + 1.04931794333683 x401 x403 b462 = 0 e230: x229 - 5.6595067125699 x321^2 b463 + 5.6815067125699 x321 x322 b463 - 1.2486456086589 x322 x378 b463 - 5.6595067125699 x378^2 b463 + 1.2486456086589 x321 x379 b463 + 5.6815067125699 x378 x379 b463 = 0 e231: x230 + 5.6815067125699 x321 x322 b463 - 5.6595067125699 x322^2 b463 + 1.2486456086589 x322 x378 b463 - 1.2486456086589 x321 x379 b463 + 5.6815067125699 x378 x379 b463 - 5.6595067125699 x379^2 b463 = 0 e232: x231 + .904135307389536 x353 x368 b464 - .904135307389536 x368^2 b464 + .910722814182902 x368 x410 b464 - .910722814182902 x353 x425 b464 + .904135307389536 x410 x425 b464 - .904135307389536 x425^2 b464 = 0 e233: x232 - .904135307389536 x353^2 b464 + .904135307389536 x353 x368 b464 - .910722814182902 x368 x410 b464 - .904135307389536 x410^2 b464 + .910722814182902 x353 x425 b464 + .904135307389536 x410 x425 b464 = 0 e234: x233 - 10.4897313872018 x325^2 b465 + 10.5012313872018 x325 x327 b465 - 3.25066886439273 x327 x382 b465 - 10.4897313872018 x382^2 b465 + 3.25066886439273 x325 x384 b465 + 10.5012313872018 x382 x384 b465 = 0 e235: x234 + 10.5012313872018 x325 x327 b465 - 10.4897313872018 x327^2 b465 + 3.25066886439273 x327 x382 b465 - 3.25066886439273 x325 x384 b465 + 10.5012313872018 x382 x384 b465 - 10.4897313872018 x384^2 b465 = 0 e236: x235 - .912856648860924 x343^2 b466 + .912856648860924 x343 x344 b466 - .613004398639058 x344 x400 b466 - .912856648860924 x400^2 b466 + .613004398639058 x343 x401 b466 + .912856648860924 x400 x401 b466 = 0 e237: x236 + .912856648860924 x343 x344 b466 - .912856648860924 x344^2 b466 + .613004398639058 x344 x400 b466 - .613004398639058 x343 x401 b466 + .912856648860924 x400 x401 b466 - .912856648860924 x401^2 b466 = 0 e238: x237 - 5.54310116525373 x318^2 b467 + 5.56660116525373 x318 x320 b467 - 1.09079641330694 x320 x375 b467 - 5.54310116525373 x375^2 b467 + 1.09079641330694 x318 x377 b467 + 5.56660116525373 x375 x377 b467 = 0 e239: x238 + 5.56660116525373 x318 x320 b467 - 5.54310116525373 x320^2 b467 + 1.09079641330694 x320 x375 b467 - 1.09079641330694 x318 x377 b467 + 5.56660116525373 x375 x377 b467 - 5.54310116525373 x377^2 b467 = 0 e240: x239 - 13.6054421768707 x326^2 b468 + 13.6054421768707 x326 x358 b468 - 13.6054421768707 x383^2 b468 + 13.6054421768707 x383 x415 b468 = 0 e241: x240 + 13.6054421768707 x326 x358 b468 - 13.6054421768707 x358^2 b468 + 13.6054421768707 x383 x415 b468 - 13.6054421768707 x415^2 b468 = 0 e242: x241 - 3.97120727656327 x350^2 b469 + 3.97270727656327 x350 x361 b469 - 2.58113749607218 x361 x407 b469 - 3.97120727656327 x407^2 b469 + 2.58113749607218 x350 x418 b469 + 3.97270727656327 x407 x418 b469 = 0 e243: x242 + 3.97270727656327 x350 x361 b469 - 3.97120727656327 x361^2 b469 + 2.58113749607218 x361 x407 b469 - 2.58113749607218 x350 x418 b469 + 3.97270727656327 x407 x418 b469 - 3.97120727656327 x418^2 b469 = 0 e244: x243 - 7.54332451932552 x322^2 b470 + 7.55972451932552 x322 x324 b470 - 1.659305619535 x324 x379 b470 - 7.54332451932552 x379^2 b470 + 1.659305619535 x322 x381 b470 + 7.55972451932552 x379 x381 b470 = 0 e245: x244 + 7.55972451932552 x322 x324 b470 - 7.54332451932552 x324^2 b470 + 1.659305619535 x324 x379 b470 - 1.659305619535 x322 x381 b470 + 7.55972451932552 x379 x381 b470 - 7.54332451932552 x381^2 b470 = 0 e246: x245 - 14.6207699867746 x350^2 b471 + 14.6207699867746 x350 x360 b471 - 9.46406687940595 x360 x407 b471 - 14.6207699867746 x407^2 b471 + 9.46406687940595 x350 x417 b471 + 14.6207699867746 x407 x417 b471 = 0 e247: x246 + 14.6207699867746 x350 x360 b471 - 14.6207699867746 x360^2 b471 + 9.46406687940595 x360 x407 b471 - 9.46406687940595 x350 x417 b471 + 14.6207699867746 x407 x417 b471 - 14.6207699867746 x417^2 b471 = 0 e248: x247 - 10.5346536692937 x313^2 b472 + 10.5840536692937 x313 x327 b472 - 2.07028742102668 x327 x370 b472 - 10.5346536692937 x370^2 b472 + 2.07028742102668 x313 x384 b472 + 10.5840536692937 x370 x384 b472 = 0 e249: x248 + 10.5840536692937 x313 x327 b472 - 10.5346536692937 x327^2 b472 + 2.07028742102668 x327 x370 b472 - 2.07028742102668 x313 x384 b472 + 10.5840536692937 x370 x384 b472 - 10.5346536692937 x384^2 b472 = 0 e250: x249 - 6.12374358577114 x333^2 b473 + 6.12374358577114 x333 x334 b473 - 3.85220109327142 x334 x390 b473 - 6.12374358577114 x390^2 b473 + 3.85220109327142 x333 x391 b473 + 6.12374358577114 x390 x391 b473 = 0 e251: x250 + 6.12374358577114 x333 x334 b473 - 6.12374358577114 x334^2 b473 + 3.85220109327142 x334 x390 b473 - 3.85220109327142 x333 x391 b473 + 6.12374358577114 x390 x391 b473 - 6.12374358577114 x391^2 b473 = 0 e252: x251 - 6.21339189997053 x316^2 b474 + 6.23079189997053 x316 x318 b474 - 1.81029764661306 x318 x373 b474 - 6.21339189997053 x373^2 b474 + 1.81029764661306 x316 x375 b474 + 6.23079189997053 x373 x375 b474 = 0 e253: x252 + 6.23079189997053 x316 x318 b474 - 6.21339189997053 x318^2 b474 + 1.81029764661306 x318 x373 b474 - 1.81029764661306 x316 x375 b474 + 6.23079189997053 x373 x375 b474 - 6.21339189997053 x375^2 b474 = 0 e254: x253 - 12.7605625999582 x317^2 b475 + 12.7667625999582 x317 x318 b475 - 6.01491779280401 x318 x374 b475 - 12.7605625999582 x374^2 b475 + 6.01491779280401 x317 x375 b475 + 12.7667625999582 x374 x375 b475 = 0 e255: x254 + 12.7667625999582 x317 x318 b475 - 12.7605625999582 x318^2 b475 + 6.01491779280401 x318 x374 b475 - 6.01491779280401 x317 x375 b475 + 12.7667625999582 x374 x375 b475 - 12.7605625999582 x375^2 b475 = 0 e256: x255 - 11.3458126029805 x347^2 b476 + 11.3466126029805 x347 x348 b476 - 9.08574193534755 x348 x404 b476 - 11.3458126029805 x404^2 b476 + 9.08574193534755 x347 x405 b476 + 11.3466126029805 x404 x405 b476 = 0 e257: x256 + 11.3466126029805 x347 x348 b476 - 11.3458126029805 x348^2 b476 + 9.08574193534755 x348 x404 b476 - 9.08574193534755 x347 x405 b476 + 11.3466126029805 x404 x405 b476 - 11.3458126029805 x405^2 b476 = 0 e258: x257 - 3.2539584404428 x362^2 b477 + 3.2539584404428 x362 x363 b477 - 2.04999381747896 x363 x419 b477 - 3.2539584404428 x419^2 b477 + 2.04999381747896 x362 x420 b477 + 3.2539584404428 x419 x420 b477 = 0 e259: x258 + 3.2539584404428 x362 x363 b477 - 3.2539584404428 x363^2 b477 + 2.04999381747896 x363 x419 b477 - 2.04999381747896 x362 x420 b477 + 3.2539584404428 x419 x420 b477 - 3.2539584404428 x420^2 b477 = 0 e260: x259 - 4.1273831971573 x316^2 b478 + 4.1273831971573 x316 x330 b478 - 4.1273831971573 x373^2 b478 + 4.1273831971573 x373 x387 b478 = 0 e261: x260 + 4.1273831971573 x316 x330 b478 - 4.1273831971573 x330^2 b478 + 4.1273831971573 x373 x387 b478 - 4.1273831971573 x387^2 b478 = 0 e262: x261 - 5.77199631921565 x321^2 b479 + 5.79229631921565 x321 x325 b479 - 1.76335096806502 x325 x378 b479 - 5.77199631921565 x378^2 b479 + 1.76335096806502 x321 x382 b479 + 5.79229631921565 x378 x382 b479 = 0 e263: x262 + 5.79229631921565 x321 x325 b479 - 5.77199631921565 x325^2 b479 + 1.76335096806502 x325 x378 b479 - 1.76335096806502 x321 x382 b479 + 5.79229631921565 x378 x382 b479 - 5.77199631921565 x382^2 b479 = 0 e264: x263 - 14.0449438202247 x322^2 b480 + 14.0449438202247 x322 x363 b480 - 14.0449438202247 x379^2 b480 + 14.0449438202247 x379 x420 b480 = 0 e265: x264 + 14.0449438202247 x322 x363 b480 - 14.0449438202247 x363^2 b480 + 14.0449438202247 x379 x420 b480 - 14.0449438202247 x420^2 b480 = 0 e266: x265 - 11.714558358969 x324^2 b481 + 11.725358358969 x324 x328 b481 - 2.59602030087875 x328 x381 b481 - 11.714558358969 x381^2 b481 + 2.59602030087875 x324 x385 b481 + 11.725358358969 x381 x385 b481 = 0 e267: x266 + 11.725358358969 x324 x328 b481 - 11.714558358969 x328^2 b481 + 2.59602030087875 x328 x381 b481 - 2.59602030087875 x324 x385 b481 + 11.725358358969 x381 x385 b481 - 11.714558358969 x385^2 b481 = 0 e268: x267 - 21.0849849839635 x325^2 b482 + 21.0904849839635 x325 x326 b482 - 6.41461755272621 x326 x382 b482 - 21.0849849839635 x382^2 b482 + 6.41461755272621 x325 x383 b482 + 21.0904849839635 x382 x383 b482 = 0 e269: x268 + 21.0904849839635 x325 x326 b482 - 21.0849849839635 x326^2 b482 + 6.41461755272621 x326 x382 b482 - 6.41461755272621 x325 x383 b482 + 21.0904849839635 x382 x383 b482 - 21.0849849839635 x383^2 b482 = 0 e270: x269 - 26.6550741880498 x359^2 b483 + 26.6550741880498 x359 x360 b483 - 20.8207017262879 x360 x416 b483 - 26.6550741880498 x416^2 b483 + 20.8207017262879 x359 x417 b483 + 26.6550741880498 x416 x417 b483 = 0 e271: x270 + 26.6550741880498 x359 x360 b483 - 26.6550741880498 x360^2 b483 + 20.8207017262879 x360 x416 b483 - 20.8207017262879 x359 x417 b483 + 26.6550741880498 x416 x417 b483 - 26.6550741880498 x417^2 b483 = 0 e272: x271 - 1.40679621268947 x342^2 b484 + 1.40679621268947 x342 x343 b484 - .922767737096112 x343 x399 b484 - 1.40679621268947 x399^2 b484 + .922767737096112 x342 x400 b484 + 1.40679621268947 x399 x400 b484 = 0 e273: x272 + 1.40679621268947 x342 x343 b484 - 1.40679621268947 x343^2 b484 + .922767737096112 x343 x399 b484 - .922767737096112 x342 x400 b484 + 1.40679621268947 x399 x400 b484 - 1.40679621268947 x400^2 b484 = 0 e274: x273 - 2.11090655040689 x353^2 b485 + 2.11090655040689 x353 x354 b485 - 1.24135697708587 x354 x410 b485 - 2.11090655040689 x410^2 b485 + 1.24135697708587 x353 x411 b485 + 2.11090655040689 x410 x411 b485 = 0 e275: x274 + 2.11090655040689 x353 x354 b485 - 2.11090655040689 x354^2 b485 + 1.24135697708587 x354 x410 b485 - 1.24135697708587 x353 x411 b485 + 2.11090655040689 x410 x411 b485 - 2.11090655040689 x411^2 b485 = 0 e276: x275 - 13.5196055779883 x319^2 b486 + 13.5293055779883 x319 x320 b486 - 2.64125488109603 x320 x376 b486 - 13.5196055779883 x376^2 b486 + 2.64125488109603 x319 x377 b486 + 13.5293055779883 x376 x377 b486 = 0 e277: x276 + 13.5293055779883 x319 x320 b486 - 13.5196055779883 x320^2 b486 + 2.64125488109603 x320 x376 b486 - 2.64125488109603 x319 x377 b486 + 13.5293055779883 x376 x377 b486 - 13.5196055779883 x377^2 b486 = 0 e278: x277 - 46.1935876006686 x334^2 b487 + 46.1935876006686 x334 x335 b487 - 30.0866129767513 x335 x391 b487 - 46.1935876006686 x391^2 b487 + 30.0866129767513 x334 x392 b487 + 46.1935876006686 x391 x392 b487 = 0 e279: x278 + 46.1935876006686 x334 x335 b487 - 46.1935876006686 x335^2 b487 + 30.0866129767513 x335 x391 b487 - 30.0866129767513 x334 x392 b487 + 46.1935876006686 x391 x392 b487 - 46.1935876006686 x392^2 b487 = 0 e280: x279 - 1.33511348464619 x323^2 b488 + 1.33511348464619 x323 x353 b488 - 1.33511348464619 x380^2 b488 + 1.33511348464619 x380 x410 b488 = 0 e281: x280 + 1.33511348464619 x323 x353 b488 - 1.33511348464619 x353^2 b488 + 1.33511348464619 x380 x410 b488 - 1.33511348464619 x410^2 b488 = 0 e282: x281 - 16.6465808189983 x326^2 b489 + 16.6539808189983 x326 x327 b489 - 5.20627188308723 x327 x383 b489 - 16.6465808189983 x383^2 b489 + 5.20627188308723 x326 x384 b489 + 16.6539808189983 x383 x384 b489 = 0 e283: x282 + 16.6539808189983 x326 x327 b489 - 16.6465808189983 x327^2 b489 + 5.20627188308723 x327 x383 b489 - 5.20627188308723 x326 x384 b489 + 16.6539808189983 x383 x384 b489 - 16.6465808189983 x384^2 b489 = 0 e284: x283 - 5.61403262542429 x361^2 b490 + 5.61403262542429 x361 x362 b490 - 3.51315635387879 x362 x418 b490 - 5.61403262542429 x418^2 b490 + 3.51315635387879 x361 x419 b490 + 5.61403262542429 x418 x419 b490 = 0 e285: x284 + 5.61403262542429 x361 x362 b490 - 5.61403262542429 x362^2 b490 + 3.51315635387879 x362 x418 b490 - 3.51315635387879 x361 x419 b490 + 5.61403262542429 x418 x419 b490 - 5.61403262542429 x419^2 b490 = 0 e286: x285 - 6.5359477124183 x323^2 b491 + 6.5359477124183 x323 x355 b491 - 6.5359477124183 x380^2 b491 + 6.5359477124183 x380 x412 b491 = 0 e287: x286 + 6.5359477124183 x323 x355 b491 - 6.5359477124183 x355^2 b491 + 6.5359477124183 x380 x412 b491 - 6.5359477124183 x412^2 b491 = 0 e288: x287 - 1.00477303863902 x330^2 b492 + 1.00477303863902 x330 x331 b492 - .676204920894292 x331 x387 b492 - 1.00477303863902 x387^2 b492 + .676204920894292 x330 x388 b492 + 1.00477303863902 x387 x388 b492 = 0 e289: x288 + 1.00477303863902 x330 x331 b492 - 1.00477303863902 x331^2 b492 + .676204920894292 x331 x387 b492 - .676204920894292 x330 x388 b492 + 1.00477303863902 x387 x388 b492 - 1.00477303863902 x388^2 b492 = 0 e290: x289 - 12.491603325062 x323^2 b493 + 12.5010033250619 x323 x325 b493 - 3.80836576706122 x325 x380 b493 - 12.491603325062 x380^2 b493 + 3.80836576706122 x323 x382 b493 + 12.5010033250619 x380 x382 b493 = 0 e291: x290 + 12.5010033250619 x323 x325 b493 - 12.491603325062 x325^2 b493 + 3.80836576706122 x325 x380 b493 - 3.80836576706122 x323 x382 b493 + 12.5010033250619 x380 x382 b493 - 12.491603325062 x382^2 b493 = 0 e292: x291 - 15.1714438265897 x348^2 b494 + 15.1714438265897 x348 x352 b494 - 9.76702392269726 x352 x405 b494 - 15.1714438265897 x405^2 b494 + 9.76702392269726 x348 x409 b494 + 15.1714438265897 x405 x409 b494 = 0 e293: x292 + 15.1714438265897 x348 x352 b494 - 15.1714438265897 x352^2 b494 + 9.76702392269726 x352 x405 b494 - 9.76702392269726 x348 x409 b494 + 15.1714438265897 x405 x409 b494 - 15.1714438265897 x409^2 b494 = 0 e294: x293 - 3.19519670534214 x321^2 b495 + 3.23379670534214 x321 x324 b495 - .710339072902274 x324 x378 b495 - 3.19519670534214 x378^2 b495 + .710339072902274 x321 x381 b495 + 3.23379670534214 x378 x381 b495 = 0 e295: x294 + 3.23379670534214 x321 x324 b495 - 3.19519670534214 x324^2 b495 + .710339072902274 x324 x378 b495 - .710339072902274 x321 x381 b495 + 3.23379670534214 x378 x381 b495 - 3.19519670534214 x381^2 b495 = 0 e296: x295 - 6.99679871029668 x349^2 b496 + 6.99779871029668 x349 x350 b496 - 4.51493256729746 x350 x406 b496 - 6.99679871029668 x406^2 b496 + 4.51493256729746 x349 x407 b496 + 6.99779871029668 x406 x407 b496 = 0 e297: x296 + 6.99779871029668 x349 x350 b496 - 6.99679871029668 x350^2 b496 + 4.51493256729746 x350 x406 b496 - 4.51493256729746 x349 x407 b496 + 6.99779871029668 x406 x407 b496 - 6.99679871029668 x407^2 b496 = 0 e298: x297 - 5.30087265905526 x324^2 b497 + 5.32467265905526 x324 x329 b497 - 1.18094695287427 x329 x381 b497 - 5.30087265905526 x381^2 b497 + 1.18094695287427 x324 x386 b497 + 5.32467265905526 x381 x386 b497 = 0 e299: x298 + 5.32467265905526 x324 x329 b497 - 5.30087265905526 x329^2 b497 + 1.18094695287427 x329 x381 b497 - 1.18094695287427 x324 x386 b497 + 5.32467265905526 x381 x386 b497 - 5.30087265905526 x386^2 b497 = 0 e300: x299 - 16.7846791649851 x348^2 b498 + 16.7846791649851 x348 x349 b498 - 13.2993359503981 x349 x405 b498 - 16.7846791649851 x405^2 b498 + 13.2993359503981 x348 x406 b498 + 16.7846791649851 x405 x406 b498 = 0 e301: x300 + 16.7846791649851 x348 x349 b498 - 16.7846791649851 x349^2 b498 + 13.2993359503981 x349 x405 b498 - 13.2993359503981 x348 x406 b498 + 16.7846791649851 x405 x406 b498 - 16.7846791649851 x406^2 b498 = 0 e302: x301 - 2.60402519439273 x365^2 b499 + 2.60402519439273 x365 x366 b499 - 2.1079134978748 x366 x422 b499 - 2.60402519439273 x422^2 b499 + 2.1079134978748 x365 x423 b499 + 2.60402519439273 x422 x423 b499 = 0 e303: x302 + 2.60402519439273 x365 x366 b499 - 2.60402519439273 x366^2 b499 + 2.1079134978748 x366 x422 b499 - 2.1079134978748 x365 x423 b499 + 2.60402519439273 x422 x423 b499 - 2.60402519439273 x423^2 b499 = 0 e304: x303 - .836820083682008 x352^2 b500 + .836820083682008 x352 x368 b500 - .836820083682008 x409^2 b500 + .836820083682008 x409 x425 b500 = 0 e305: x304 + .836820083682008 x352 x368 b500 - .836820083682008 x368^2 b500 + .836820083682008 x409 x425 b500 - .836820083682008 x425^2 b500 = 0 e306: x305 - 1.6167185084468 x331^2 b501 + 1.6167185084468 x331 x332 b501 - 1.05421967255862 x332 x388 b501 - 1.6167185084468 x388^2 b501 + 1.05421967255862 x331 x389 b501 + 1.6167185084468 x388 x389 b501 = 0 e307: x306 + 1.6167185084468 x331 x332 b501 - 1.6167185084468 x332^2 b501 + 1.05421967255862 x332 x388 b501 - 1.05421967255862 x331 x389 b501 + 1.6167185084468 x388 x389 b501 - 1.6167185084468 x389^2 b501 = 0 e308: x307 - 5.23560209424084 x325^2 b502 + 5.23560209424084 x325 x361 b502 - 5.23560209424084 x382^2 b502 + 5.23560209424084 x382 x418 b502 = 0 e309: x308 + 5.23560209424084 x325 x361 b502 - 5.23560209424084 x361^2 b502 + 5.23560209424084 x382 x418 b502 - 5.23560209424084 x418^2 b502 = 0 e310: x309 - 13.7395871106246 x350^2 b503 + 13.7405871106246 x350 x356 b503 - 6.78808491447952 x356 x407 b503 - 13.7395871106246 x407^2 b503 + 6.78808491447952 x350 x413 b503 + 13.7405871106246 x407 x413 b503 = 0 e311: x310 + 13.7405871106246 x350 x356 b503 - 13.7395871106246 x356^2 b503 + 6.78808491447952 x356 x407 b503 - 6.78808491447952 x350 x413 b503 + 13.7405871106246 x407 x413 b503 - 13.7395871106246 x413^2 b503 = 0 e312: x311 - 2.78596106862333 x366^2 b504 + 2.78596106862333 x366 x367 b504 - 2.13036846395391 x367 x423 b504 - 2.78596106862333 x423^2 b504 + 2.13036846395391 x366 x424 b504 + 2.78596106862333 x423 x424 b504 = 0 e313: x312 + 2.78596106862333 x366 x367 b504 - 2.78596106862333 x367^2 b504 + 2.13036846395391 x367 x423 b504 - 2.13036846395391 x366 x424 b504 + 2.78596106862333 x423 x424 b504 - 2.78596106862333 x424^2 b504 = 0 e314: x1^2 + x157^2 <= 9801 e315: x2^2 + x158^2 <= 9801 e316: x3^2 + x159^2 <= 9801 e317: x4^2 + x160^2 <= 9801 e318: x5^2 + x161^2 <= 9801 e319: x6^2 + x162^2 <= 9801 e320: x7^2 + x163^2 <= 9801 e321: x8^2 + x164^2 <= 9801 e322: x9^2 + x165^2 <= 9801 e323: x10^2 + x166^2 <= 9801 e324: x11^2 + x167^2 <= 9801 e325: x12^2 + x168^2 <= 9801 e326: x13^2 + x169^2 <= 9801 e327: x14^2 + x170^2 <= 9801 e328: x15^2 + x171^2 <= 9801 e329: x16^2 + x172^2 <= 9801 e330: x17^2 + x173^2 <= 9801 e331: x18^2 + x174^2 <= 9801 e332: x19^2 + x175^2 <= 9801 e333: x20^2 + x176^2 <= 9801 e334: x21^2 + x177^2 <= 9801 e335: x22^2 + x178^2 <= 9801 e336: x23^2 + x179^2 <= 9801 e337: x24^2 + x180^2 <= 9801 e338: x25^2 + x181^2 <= 9801 e339: x26^2 + x182^2 <= 9801 e340: x27^2 + x183^2 <= 9801 e341: x28^2 + x184^2 <= 9801 e342: x29^2 + x185^2 <= 9801 e343: x30^2 + x186^2 <= 9801 e344: x31^2 + x187^2 <= 9801 e345: x32^2 + x188^2 <= 9801 e346: x33^2 + x189^2 <= 9801 e347: x34^2 + x190^2 <= 9801 e348: x35^2 + x191^2 <= 9801 e349: x36^2 + x192^2 <= 9801 e350: x37^2 + x193^2 <= 9801 e351: x38^2 + x194^2 <= 9801 e352: x39^2 + x195^2 <= 9801 e353: x40^2 + x196^2 <= 9801 e354: x41^2 + x197^2 <= 9801 e355: x42^2 + x198^2 <= 9801 e356: x43^2 + x199^2 <= 9801 e357: x44^2 + x200^2 <= 9801 e358: x45^2 + x201^2 <= 9801 e359: x46^2 + x202^2 <= 9801 e360: x47^2 + x203^2 <= 9801 e361: x48^2 + x204^2 <= 9801 e362: x49^2 + x205^2 <= 9801 e363: x50^2 + x206^2 <= 9801 e364: x51^2 + x207^2 <= 9801 e365: x52^2 + x208^2 <= 9801 e366: x53^2 + x209^2 <= 9801 e367: x54^2 + x210^2 <= 9801 e368: x55^2 + x211^2 <= 9801 e369: x56^2 + x212^2 <= 9801 e370: x57^2 + x213^2 <= 9801 e371: x58^2 + x214^2 <= 9801 e372: x59^2 + x215^2 <= 9801 e373: x60^2 + x216^2 <= 9801 e374: x61^2 + x217^2 <= 9801 e375: x62^2 + x218^2 <= 9801 e376: x63^2 + x219^2 <= 9801 e377: x64^2 + x220^2 <= 9801 e378: x65^2 + x221^2 <= 9801 e379: x66^2 + x222^2 <= 9801 e380: x67^2 + x223^2 <= 9801 e381: x68^2 + x224^2 <= 9801 e382: x69^2 + x225^2 <= 9801 e383: x70^2 + x226^2 <= 9801 e384: x71^2 + x227^2 <= 9801 e385: x72^2 + x228^2 <= 9801 e386: x73^2 + x229^2 <= 9801 e387: x74^2 + x230^2 <= 9801 e388: x75^2 + x231^2 <= 9801 e389: x76^2 + x232^2 <= 9801 e390: x77^2 + x233^2 <= 9801 e391: x78^2 + x234^2 <= 9801 e392: x79^2 + x235^2 <= 9801 e393: x80^2 + x236^2 <= 9801 e394: x81^2 + x237^2 <= 9801 e395: x82^2 + x238^2 <= 9801 e396: x83^2 + x239^2 <= 9801 e397: x84^2 + x240^2 <= 9801 e398: x85^2 + x241^2 <= 9801 e399: x86^2 + x242^2 <= 9801 e400: x87^2 + x243^2 <= 9801 e401: x88^2 + x244^2 <= 9801 e402: x89^2 + x245^2 <= 9801 e403: x90^2 + x246^2 <= 9801 e404: x91^2 + x247^2 <= 9801 e405: x92^2 + x248^2 <= 9801 e406: x93^2 + x249^2 <= 9801 e407: x94^2 + x250^2 <= 9801 e408: x95^2 + x251^2 <= 9801 e409: x96^2 + x252^2 <= 9801 e410: x97^2 + x253^2 <= 9801 e411: x98^2 + x254^2 <= 9801 e412: x99^2 + x255^2 <= 9801 e413: x100^2 + x256^2 <= 9801 e414: x101^2 + x257^2 <= 9801 e415: x102^2 + x258^2 <= 9801 e416: x103^2 + x259^2 <= 9801 e417: x104^2 + x260^2 <= 9801 e418: x105^2 + x261^2 <= 9801 e419: x106^2 + x262^2 <= 9801 e420: x107^2 + x263^2 <= 9801 e421: x108^2 + x264^2 <= 9801 e422: x109^2 + x265^2 <= 9801 e423: x110^2 + x266^2 <= 9801 e424: x111^2 + x267^2 <= 9801 e425: x112^2 + x268^2 <= 9801 e426: x113^2 + x269^2 <= 9801 e427: x114^2 + x270^2 <= 9801 e428: x115^2 + x271^2 <= 9801 e429: x116^2 + x272^2 <= 9801 e430: x117^2 + x273^2 <= 9801 e431: x118^2 + x274^2 <= 9801 e432: x119^2 + x275^2 <= 9801 e433: x120^2 + x276^2 <= 9801 e434: x121^2 + x277^2 <= 9801 e435: x122^2 + x278^2 <= 9801 e436: x123^2 + x279^2 <= 9801 e437: x124^2 + x280^2 <= 9801 e438: x125^2 + x281^2 <= 9801 e439: x126^2 + x282^2 <= 9801 e440: x127^2 + x283^2 <= 9801 e441: x128^2 + x284^2 <= 9801 e442: x129^2 + x285^2 <= 9801 e443: x130^2 + x286^2 <= 9801 e444: x131^2 + x287^2 <= 9801 e445: x132^2 + x288^2 <= 9801 e446: x133^2 + x289^2 <= 9801 e447: x134^2 + x290^2 <= 9801 e448: x135^2 + x291^2 <= 9801 e449: x136^2 + x292^2 <= 9801 e450: x137^2 + x293^2 <= 9801 e451: x138^2 + x294^2 <= 9801 e452: x139^2 + x295^2 <= 9801 e453: x140^2 + x296^2 <= 9801 e454: x141^2 + x297^2 <= 9801 e455: x142^2 + x298^2 <= 9801 e456: x143^2 + x299^2 <= 9801 e457: x144^2 + x300^2 <= 9801 e458: x145^2 + x301^2 <= 9801 e459: x146^2 + x302^2 <= 9801 e460: x147^2 + x303^2 <= 9801 e461: x148^2 + x304^2 <= 9801 e462: x149^2 + x305^2 <= 9801 e463: x150^2 + x306^2 <= 9801 e464: x151^2 + x307^2 <= 9801 e465: x152^2 + x308^2 <= 9801 e466: x153^2 + x309^2 <= 9801 e467: x154^2 + x310^2 <= 9801 e468: x155^2 + x311^2 <= 9801 e469: x156^2 + x312^2 <= 9801 e470: x313^2 + x370^2 <= 1.1236 e471: x314^2 + x371^2 <= 1.1236 e472: x315^2 + x372^2 <= 1.1236 e473: x316^2 + x373^2 <= 1.1236 e474: x317^2 + x374^2 <= 1.1236 e475: x318^2 + x375^2 <= 1.1236 e476: x319^2 + x376^2 <= 1.1236 e477: x320^2 + x377^2 <= 1.1236 e478: x321^2 + x378^2 <= 1.1236 e479: x322^2 + x379^2 <= 1.1236 e480: x323^2 + x380^2 <= 1.1236 e481: x324^2 + x381^2 <= 1.1236 e482: x325^2 + x382^2 <= 1.1236 e483: x326^2 + x383^2 <= 1.1236 e484: x327^2 + x384^2 <= 1.1236 e485: x328^2 + x385^2 <= 1.1236 e486: x329^2 + x386^2 <= 1.1236 e487: x330^2 + x387^2 <= 1.1236 e488: x331^2 + x388^2 <= 1.1236 e489: x332^2 + x389^2 <= 1.1236 e490: x333^2 + x390^2 <= 1.1236 e491: x334^2 + x391^2 <= 1.1236 e492: x335^2 + x392^2 <= 1.1236 e493: x336^2 + x393^2 <= 1.1236 e494: x337^2 + x394^2 <= 1.1236 e495: x338^2 + x395^2 <= 1.1236 e496: x339^2 + x396^2 <= 1.1236 e497: x340^2 + x397^2 <= 1.1236 e498: x341^2 + x398^2 <= 1.1236 e499: x342^2 + x399^2 <= 1.1236 e500: x343^2 + x400^2 <= 1.1236 e501: x344^2 + x401^2 <= 1.1236 e502: x345^2 + x402^2 <= 1.1236 e503: x346^2 + x403^2 <= 1.1236 e504: x347^2 + x404^2 <= 1.1236 e505: x348^2 + x405^2 <= 1.1236 e506: x349^2 + x406^2 <= 1.1236 e507: x350^2 + x407^2 <= 1.1236 e508: x351^2 + x408^2 <= 1.1236 e509: x352^2 + x409^2 <= 1.1236 e510: x353^2 + x410^2 <= 1.1236 e511: x354^2 + x411^2 <= 1.1236 e512: x355^2 + x412^2 <= 1.1236 e513: x356^2 + x413^2 <= 1.1236 e514: x357^2 + x414^2 <= 1.1236 e515: x358^2 + x415^2 <= 1.1236 e516: x359^2 + x416^2 <= 1.1236 e517: x360^2 + x417^2 <= 1.1236 e518: x361^2 + x418^2 <= 1.1236 e519: x362^2 + x419^2 <= 1.1236 e520: x363^2 + x420^2 <= 1.1236 e521: x364^2 + x421^2 <= 1.1236 e522: x365^2 + x422^2 <= 1.1236 e523: x366^2 + x423^2 <= 1.1236 e524: x367^2 + x424^2 <= 1.1236 e525: x368^2 + x425^2 <= 1.1236 e526: x369^2 + x426^2 <= 1.1236 e527: x313^2 + x370^2 >= .8836 e528: x314^2 + x371^2 >= .8836 e529: x315^2 + x372^2 >= .8836 e530: x316^2 + x373^2 >= .8836 e531: x317^2 + x374^2 >= .8836 e532: x318^2 + x375^2 >= .8836 e533: x319^2 + x376^2 >= .8836 e534: x320^2 + x377^2 >= .8836 e535: x321^2 + x378^2 >= .8836 e536: x322^2 + x379^2 >= .8836 e537: x323^2 + x380^2 >= .8836 e538: x324^2 + x381^2 >= .8836 e539: x325^2 + x382^2 >= .8836 e540: x326^2 + x383^2 >= .8836 e541: x327^2 + x384^2 >= .8836 e542: x328^2 + x385^2 >= .8836 e543: x329^2 + x386^2 >= .8836 e544: x330^2 + x387^2 >= .8836 e545: x331^2 + x388^2 >= .8836 e546: x332^2 + x389^2 >= .8836 e547: x333^2 + x390^2 >= .8836 e548: x334^2 + x391^2 >= .8836 e549: x335^2 + x392^2 >= .8836 e550: x336^2 + x393^2 >= .8836 e551: x337^2 + x394^2 >= .8836 e552: x338^2 + x395^2 >= .8836 e553: x339^2 + x396^2 >= .8836 e554: x340^2 + x397^2 >= .8836 e555: x341^2 + x398^2 >= .8836 e556: x342^2 + x399^2 >= .8836 e557: x343^2 + x400^2 >= .8836 e558: x344^2 + x401^2 >= .8836 e559: x345^2 + x402^2 >= .8836 e560: x346^2 + x403^2 >= .8836 e561: x347^2 + x404^2 >= .8836 e562: x348^2 + x405^2 >= .8836 e563: x349^2 + x406^2 >= .8836 e564: x350^2 + x407^2 >= .8836 e565: x351^2 + x408^2 >= .8836 e566: x352^2 + x409^2 >= .8836 e567: x353^2 + x410^2 >= .8836 e568: x354^2 + x411^2 >= .8836 e569: x355^2 + x412^2 >= .8836 e570: x356^2 + x413^2 >= .8836 e571: x357^2 + x414^2 >= .8836 e572: x358^2 + x415^2 >= .8836 e573: x359^2 + x416^2 >= .8836 e574: x360^2 + x417^2 >= .8836 e575: x361^2 + x418^2 >= .8836 e576: x362^2 + x419^2 >= .8836 e577: x363^2 + x420^2 >= .8836 e578: x364^2 + x421^2 >= .8836 e579: x365^2 + x422^2 >= .8836 e580: x366^2 + x423^2 >= .8836 e581: x367^2 + x424^2 >= .8836 e582: x368^2 + x425^2 >= .8836 e583: x369^2 + x426^2 >= .8836 e584: x505 <= 5.7588 e585: x506 <= 1 e586: x507 <= 1.4 e587: x508 <= 1 e588: x509 <= 5.5 e589: x510 <= 1 e590: x511 <= 4.1 e591: x505 >= 0 e592: x506 >= 0 e593: x507 >= 0 e594: x508 >= 0 e595: x509 >= 0 e596: x510 >= 0 e597: x511 >= 0 e598: x512 <= 2 e599: x513 <= .5 e600: x514 <= .6 e601: x515 <= .25 e602: x516 <= 2 e603: x517 <= 9e-2 e604: x518 <= 1.55 e605: x512 >= -1.4 e606: x513 >= -.17 e607: x514 >= -.1 e608: x515 >= -8e-2 e609: x516 >= -1.4 e610: x517 >= -3e-2 e611: x518 >= -1.5 e612: x370 = 0 e613: x1 + x35 + x43 + x91 - x505 = -.55 e614: x11 + x36 - x506 = -3e-2 e615: x12 + x19 + x41 - x507 = -.41 e616: x15 + x81 + x96 + x98 - x508 = -.75 e617: x61 + x82 + x120 - x509 = -1.5 e618: x5 + x37 + x62 + x73 + x105 + x137 - x510 = -1.21 e619: x3 + x88 + x109 + x138 + x141 - x511 = -3.77 e620: x157 + x191 + x199 + x247 - x512 = -.17 e621: x167 + x192 - x513 = -.88 e622: x168 + x175 + x197 - x514 = -.21 e623: x171 + x237 + x252 + x254 - x515 = -2e-2 e624: x217 + x238 + x276 - x516 = -.22 e625: x161 + x193 + x218 + x229 + x261 + x293 - x517 = -.26 e626: x159 + x244 + x265 + x294 + x297 - x518 = -.24 e627: x42 + x49 + x95 + x103 = 0 e628: x50 + x97 = -.13 e629: x9 + x16 + x119 = 0 e630: x74 + x87 + x107 = -5e-2 e631: x38 + x123 + x129 + x133 = 0 e632: x4 + x77 + x106 + x111 + x134 + x151 = -.18 e633: x83 + x112 + x125 = -.105 e634: x20 + x67 + x78 + x92 + x126 = -.22 e635: x44 + x110 = -.43 e636: x2 + x142 = -.42 e637: x104 + x131 = -.272 e638: x132 + x149 = -3.3e-2 e639: x66 + x150 = -2.3e-2 e640: x65 + x93 = 0 e641: x63 + x94 + x121 = 0 e642: x53 + x122 = -6.3e-2 e643: x13 + x45 + x54 = 0 e644: x46 + x51 = -6.3e-2 e645: x14 + x27 = 0 e646: x28 + x31 = -9.3e-2 e647: x32 + x57 = -4.6e-2 e648: x10 + x17 + x58 = -.17 e649: x52 + x115 = -3.6e-2 e650: x79 + x116 = -5.8e-2 e651: x55 + x72 + x80 = -1.6e-2 e652: x56 = -3.8e-2 e653: x39 + x71 = 0 e654: x40 + x99 = -6e-2 e655: x100 + x135 + x143 = 0 e656: x47 + x139 + x144 = 0 e657: x64 + x85 + x89 + x140 + x153 = -.14 e658: x21 + x48 = 0 e659: x136 + x147 = 0 e660: x25 + x76 + x117 + x124 = -6.3e-2 e661: x60 + x118 = -7.1e-2 e662: x26 + x130 = -2e-2 e663: x7 + x154 = -.12 e664: x8 + x68 = 0 e665: x23 + x84 = 0 e666: x24 + x113 = -.297 e667: x29 + x90 + x114 = 0 e668: x30 + x86 + x127 + x152 = -.18 e669: x101 + x128 = -.21 e670: x102 + x108 = -.18 e671: x18 + x69 = -4.9e-2 e672: x70 + x145 = -.2 e673: x146 + x155 = -4.1e-2 e674: x6 + x156 = -6.8e-2 e675: x34 + x59 + x75 + x148 = -7.6e-2 e676: x22 + x33 = -6.7e-2 e677: x198 + x205 + x251 + x259 = 0 e678: x206 + x253 = -4e-2 e679: x165 + x172 + x275 = 0 e680: x230 + x243 + x263 = -2e-2 e681: x194 + x279 + x285 + x289 = 0 e682: x160 + x233 + x262 + x267 + x290 + x307 = -2.3e-2 e683: x239 + x268 + x281 = -5.3e-2 e684: x176 + x223 + x234 + x248 + x282 = -5e-2 e685: x200 + x266 = -3e-2 e686: x158 + x298 = -8e-2 e687: x260 + x287 = -9.8e-2 e688: x288 + x305 = -6e-3 e689: x222 + x306 = -1e-2 e690: x221 + x249 = 0 e691: x219 + x250 + x277 = 0 e692: x209 + x278 = -2.1e-2 e693: x169 + x201 + x210 = 0 e694: x202 + x207 = -3.2e-2 e695: x170 + x183 = 0 e696: x184 + x187 = -5e-3 e697: x188 + x213 = -2.3e-2 e698: x166 + x173 + x214 = -2.6e-2 e699: x208 + x271 = -1.8e-2 e700: x235 + x272 = -2.9e-2 e701: x211 + x228 + x236 = -8e-3 e702: x212 = -1.9e-2 e703: x195 + x227 = 0 e704: x196 + x255 = -3e-2 e705: x256 + x291 + x299 = 0 e706: x203 + x295 + x300 = 0 e707: x220 + x241 + x245 + x296 + x309 = -7e-2 e708: x177 + x204 = 0 e709: x292 + x303 = 0 e710: x181 + x232 + x273 + x280 = -3e-2 e711: x216 + x274 = -4.4e-2 e712: x182 + x286 = -1e-2 e713: x163 + x310 = -1.8e-2 e714: x164 + x224 = 0 e715: x179 + x240 = 0 e716: x180 + x269 = -.116 e717: x185 + x246 + x270 = 0 e718: x186 + x242 + x283 + x308 = -8.5e-2 e719: x257 + x284 = -.105 e720: x258 + x264 = -5.3e-2 e721: x174 + x225 = -2.2e-2 e722: x226 + x301 = -.1 e723: x302 + x311 = -1.4e-2 e724: x162 + x312 = -3.4e-2 e725: x190 + x215 + x231 + x304 = -2.2e-2 e726: x178 + x189 = -2e-2 Bounds x1 Free x2 Free x3 Free x4 Free x5 Free x6 Free x7 Free x8 Free x9 Free x10 Free x11 Free x12 Free x13 Free x14 Free x15 Free x16 Free x17 Free x18 Free x19 Free x20 Free x21 Free x22 Free x23 Free x24 Free x25 Free x26 Free x27 Free x28 Free x29 Free x30 Free x31 Free x32 Free x33 Free x34 Free x35 Free x36 Free x37 Free x38 Free x39 Free x40 Free x41 Free x42 Free x43 Free x44 Free x45 Free x46 Free x47 Free x48 Free x49 Free x50 Free x51 Free x52 Free x53 Free x54 Free x55 Free x56 Free x57 Free x58 Free x59 Free x60 Free x61 Free x62 Free x63 Free x64 Free x65 Free x66 Free x67 Free x68 Free x69 Free x70 Free x71 Free x72 Free x73 Free x74 Free x75 Free x76 Free x77 Free x78 Free x79 Free x80 Free x81 Free x82 Free x83 Free x84 Free x85 Free x86 Free x87 Free x88 Free x89 Free x90 Free x91 Free x92 Free x93 Free x94 Free x95 Free x96 Free x97 Free x98 Free x99 Free x100 Free x101 Free x102 Free x103 Free x104 Free x105 Free x106 Free x107 Free x108 Free x109 Free x110 Free x111 Free x112 Free x113 Free x114 Free x115 Free x116 Free x117 Free x118 Free x119 Free x120 Free x121 Free x122 Free x123 Free x124 Free x125 Free x126 Free x127 Free x128 Free x129 Free x130 Free x131 Free x132 Free x133 Free x134 Free x135 Free x136 Free x137 Free x138 Free x139 Free x140 Free x141 Free x142 Free x143 Free x144 Free x145 Free x146 Free x147 Free x148 Free x149 Free x150 Free x151 Free x152 Free x153 Free x154 Free x155 Free x156 Free x157 Free x158 Free x159 Free x160 Free x161 Free x162 Free x163 Free x164 Free x165 Free x166 Free x167 Free x168 Free x169 Free x170 Free x171 Free x172 Free x173 Free x174 Free x175 Free x176 Free x177 Free x178 Free x179 Free x180 Free x181 Free x182 Free x183 Free x184 Free x185 Free x186 Free x187 Free x188 Free x189 Free x190 Free x191 Free x192 Free x193 Free x194 Free x195 Free x196 Free x197 Free x198 Free x199 Free x200 Free x201 Free x202 Free x203 Free x204 Free x205 Free x206 Free x207 Free x208 Free x209 Free x210 Free x211 Free x212 Free x213 Free x214 Free x215 Free x216 Free x217 Free x218 Free x219 Free x220 Free x221 Free x222 Free x223 Free x224 Free x225 Free x226 Free x227 Free x228 Free x229 Free x230 Free x231 Free x232 Free x233 Free x234 Free x235 Free x236 Free x237 Free x238 Free x239 Free x240 Free x241 Free x242 Free x243 Free x244 Free x245 Free x246 Free x247 Free x248 Free x249 Free x250 Free x251 Free x252 Free x253 Free x254 Free x255 Free x256 Free x257 Free x258 Free x259 Free x260 Free x261 Free x262 Free x263 Free x264 Free x265 Free x266 Free x267 Free x268 Free x269 Free x270 Free x271 Free x272 Free x273 Free x274 Free x275 Free x276 Free x277 Free x278 Free x279 Free x280 Free x281 Free x282 Free x283 Free x284 Free x285 Free x286 Free x287 Free x288 Free x289 Free x290 Free x291 Free x292 Free x293 Free x294 Free x295 Free x296 Free x297 Free x298 Free x299 Free x300 Free x301 Free x302 Free x303 Free x304 Free x305 Free x306 Free x307 Free x308 Free x309 Free x310 Free x311 Free x312 Free x313 Free x314 Free x315 Free x316 Free x317 Free x318 Free x319 Free x320 Free x321 Free x322 Free x323 Free x324 Free x325 Free x326 Free x327 Free x328 Free x329 Free x330 Free x331 Free x332 Free x333 Free x334 Free x335 Free x336 Free x337 Free x338 Free x339 Free x340 Free x341 Free x342 Free x343 Free x344 Free x345 Free x346 Free x347 Free x348 Free x349 Free x350 Free x351 Free x352 Free x353 Free x354 Free x355 Free x356 Free x357 Free x358 Free x359 Free x360 Free x361 Free x362 Free x363 Free x364 Free x365 Free x366 Free x367 Free x368 Free x369 Free x370 Free x371 Free x372 Free x373 Free x374 Free x375 Free x376 Free x377 Free x378 Free x379 Free x380 Free x381 Free x382 Free x383 Free x384 Free x385 Free x386 Free x387 Free x388 Free x389 Free x390 Free x391 Free x392 Free x393 Free x394 Free x395 Free x396 Free x397 Free x398 Free x399 Free x400 Free x401 Free x402 Free x403 Free x404 Free x405 Free x406 Free x407 Free x408 Free x409 Free x410 Free x411 Free x412 Free x413 Free x414 Free x415 Free x416 Free x417 Free x418 Free x419 Free x420 Free x421 Free x422 Free x423 Free x424 Free x425 Free x426 Free x505 Free x506 Free x507 Free x508 Free x509 Free x510 Free x511 Free x512 Free x513 Free x514 Free x515 Free x516 Free x517 Free x518 Free Binary b427 b428 b429 b430 b431 b432 b433 b434 b435 b436 b437 b438 b439 b440 b441 b442 b443 b444 b445 b446 b447 b448 b449 b450 b451 b452 b453 b454 b455 b456 b457 b458 b459 b460 b461 b462 b463 b464 b465 b466 b467 b468 b469 b470 b471 b472 b473 b474 b475 b476 b477 b478 b479 b480 b481 b482 b483 b484 b485 b486 b487 b488 b489 b490 b491 b492 b493 b494 b495 b496 b497 b498 b499 b500 b501 b502 b503 b504 End