\ Equation counts \ Total E G L N X C B \ 856 192 288 376 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 576 384 192 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 2496 2232 264 0 \ Maximize obj: 0 b1 + 0 b2 + 0 b3 + 0 b4 + 0 b5 + 0 b6 + 0 b7 + 0 b8 + 0 b9 + 0 b10 + 0 b11 + 0 b12 + 0 b13 + 0 b14 + 0 b15 + 0 b16 + 0 b17 + 0 b18 + 0 b19 + 0 b20 + 0 b21 + 0 b22 + 0 b23 + 0 b24 + 0 b25 + 0 b26 + 0 b27 + 0 b28 + 0 b29 + 0 b30 + 0 b31 + 0 b32 + 0 b33 + 0 b34 + 0 b35 + 0 b36 + 0 b37 + 0 b38 + 0 b39 + 0 b40 + 0 b41 + 0 b42 + 0 b43 + 0 b44 + 0 b45 + 0 b46 + 0 b47 + 0 b48 + 0 b49 + 0 b50 + 0 b51 + 0 b52 + 0 b53 + 0 b54 + 0 b55 + 0 b56 + 0 b57 + 0 b58 + 0 b59 + 0 b60 + 0 b61 + 0 b62 + 0 b63 + 0 b64 + 0 b65 + 0 b66 + 0 b67 + 0 b68 + 0 b69 + 0 b70 + 0 b71 + 0 b72 + 0 b73 + 0 b74 + 0 b75 + 0 b76 + 0 b77 + 0 b78 + 0 b79 + 0 b80 + 0 b81 + 0 b82 + 0 b83 + 0 b84 + 0 b85 + 0 b86 + 0 b87 + 0 b88 + 0 b89 + 0 b90 + 0 b91 + 0 b92 + 0 b93 + 0 b94 + 0 b95 + 0 b96 - 470.2 b97 - 470.2 b98 - 470.2 b99 - 470.2 b100 - 470.2 b101 - 470.2 b102 - 470.2 b103 - 470.2 b104 - 470.2 b105 - 470.2 b106 - 470.2 b107 - 470.2 b108 - 470.2 b109 - 470.2 b110 - 470.2 b111 - 470.2 b112 - 470.2 b113 - 470.2 b114 - 470.2 b115 - 470.2 b116 - 470.2 b117 - 470.2 b118 - 470.2 b119 - 470.2 b120 - 592.85 b121 - 592.85 b122 - 592.85 b123 - 592.85 b124 - 592.85 b125 - 592.85 b126 - 592.85 b127 - 592.85 b128 - 592.85 b129 - 592.85 b130 - 592.85 b131 - 592.85 b132 - 592.85 b133 - 592.85 b134 - 592.85 b135 - 592.85 b136 - 592.85 b137 - 592.85 b138 - 592.85 b139 - 592.85 b140 - 592.85 b141 - 592.85 b142 - 592.85 b143 - 592.85 b144 - 1.5e2 b145 - 1.5e2 b146 - 1.5e2 b147 - 1.5e2 b148 - 1.5e2 b149 - 1.5e2 b150 - 1.5e2 b151 - 1.5e2 b152 - 1.5e2 b153 - 1.5e2 b154 - 1.5e2 b155 - 1.5e2 b156 - 1.5e2 b157 - 1.5e2 b158 - 1.5e2 b159 - 1.5e2 b160 - 1.5e2 b161 - 1.5e2 b162 - 1.5e2 b163 - 1.5e2 b164 - 1.5e2 b165 - 1.5e2 b166 - 1.5e2 b167 - 1.5e2 b168 - 464.975 b169 - 464.975 b170 - 464.975 b171 - 464.975 b172 - 464.975 b173 - 464.975 b174 - 464.975 b175 - 464.975 b176 - 464.975 b177 - 464.975 b178 - 464.975 b179 - 464.975 b180 - 464.975 b181 - 464.975 b182 - 464.975 b183 - 464.975 b184 - 464.975 b185 - 464.975 b186 - 464.975 b187 - 464.975 b188 - 464.975 b189 - 464.975 b190 - 464.975 b191 - 464.975 b192 + 50.4 x193 + 46.287 x194 + 44.187 x195 + 44.787 x196 + 45.477 x197 + 47.523 x198 + 58.359 x199 + 68.487 x200 + 87.441 x201 + 91.395 x202 + 93.846 x203 + 94.995 x204 + 86.187 x205 + 92.295 x206 + 93.495 x207 + 92.259 x208 + 93.795 x209 + 103.254 x210 + 103.359 x211 + 100.623 x212 + 95.418 x213 + 92.136 x214 + 82.305 x215 + 68.946 x216 + 50.4 x217 + 46.287 x218 + 44.187 x219 + 44.787 x220 + 45.477 x221 + 47.523 x222 + 58.359 x223 + 68.487 x224 + 87.441 x225 + 91.395 x226 + 93.846 x227 + 94.995 x228 + 86.187 x229 + 92.295 x230 + 93.495 x231 + 92.259 x232 + 93.795 x233 + 103.254 x234 + 103.359 x235 + 100.623 x236 + 95.418 x237 + 92.136 x238 + 82.305 x239 + 68.946 x240 + 50.4 x241 + 46.287 x242 + 44.187 x243 + 44.787 x244 + 45.477 x245 + 47.523 x246 + 58.359 x247 + 68.487 x248 + 87.441 x249 + 91.395 x250 + 93.846 x251 + 94.995 x252 + 86.187 x253 + 92.295 x254 + 93.495 x255 + 92.259 x256 + 93.795 x257 + 103.254 x258 + 103.359 x259 + 100.623 x260 + 95.418 x261 + 92.136 x262 + 82.305 x263 + 68.946 x264 + 50.4 x265 + 46.287 x266 + 44.187 x267 + 44.787 x268 + 45.477 x269 + 47.523 x270 + 58.359 x271 + 68.487 x272 + 87.441 x273 + 91.395 x274 + 93.846 x275 + 94.995 x276 + 86.187 x277 + 92.295 x278 + 93.495 x279 + 92.259 x280 + 93.795 x281 + 103.254 x282 + 103.359 x283 + 100.623 x284 + 95.418 x285 + 92.136 x286 + 82.305 x287 + 68.946 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 x427 + 0 x428 + 0 x429 + 0 x430 + 0 x431 + 0 x432 + 0 x433 + 0 x434 + 0 x435 + 0 x436 + 0 x437 + 0 x438 + 0 x439 + 0 x440 + 0 x441 + 0 x442 + 0 x443 + 0 x444 + 0 x445 + 0 x446 + 0 x447 + 0 x448 + 0 x449 + 0 x450 + 0 x451 + 0 x452 + 0 x453 + 0 x454 + 0 x455 + 0 x456 + 0 x457 + 0 x458 + 0 x459 + 0 x460 + 0 x461 + 0 x462 + 0 x463 + 0 x464 + 0 x465 + 0 x466 + 0 x467 + 0 x468 + 0 x469 + 0 x470 + 0 x471 + 0 x472 + 0 x473 + 0 x474 + 0 x475 + 0 x476 + 0 x477 + 0 x478 + 0 x479 + 0 x480 + 0 x481 + 0 x482 + 0 x483 + 0 x484 + 0 x485 + 0 x486 + 0 x487 + 0 x488 + 0 x489 + 0 x490 + 0 x491 + 0 x492 + 0 x493 + 0 x494 + 0 x495 + 0 x496 + 0 x497 + 0 x498 + 0 x499 + 0 x500 + 0 x501 + 0 x502 + 0 x503 + 0 x504 + 0 x505 + 0 x506 + 0 x507 + 0 x508 + 0 x509 + 0 x510 + 0 x511 + 0 x512 + 0 x513 + 0 x514 + 0 x515 + 0 x516 + 0 x517 + 0 x518 + 0 x519 + 0 x520 + 0 x521 + 0 x522 + 0 x523 + 0 x524 + 0 x525 + 0 x526 + 0 x527 + 0 x528 + 0 x529 + 0 x530 + 0 x531 + 0 x532 + 0 x533 + 0 x534 + 0 x535 + 0 x536 + 0 x537 + 0 x538 + 0 x539 + 0 x540 + 0 x541 + 0 x542 + 0 x543 + 0 x544 + 0 x545 + 0 x546 + 0 x547 + 0 x548 + 0 x549 + 0 x550 + 0 x551 + 0 x552 + 0 x553 + 0 x554 + 0 x555 + 0 x556 + 0 x557 + 0 x558 + 0 x559 + 0 x560 + 0 x561 + 0 x562 + 0 x563 + 0 x564 + 0 x565 + 0 x566 + 0 x567 + 0 x568 + 0 x569 + 0 x570 + 0 x571 + 0 x572 + 0 x573 + 0 x574 + 0 x575 + 0 x576 Subject To e2: x289 + x385 + x481 = 10.4208 e3: x290 + x386 - x481 + x482 = 7.08e-2 e4: x291 + x387 - x482 + x483 = 7.08e-2 e5: x292 + x388 - x483 + x484 = 7.08e-2 e6: x293 + x389 - x484 + x485 = 7.08e-2 e7: x294 + x390 - x485 + x486 = 7.08e-2 e8: x295 + x391 - x486 + x487 = .7374 e9: x296 + x392 - x487 + x488 = .7374 e10: x297 + x393 - x488 + x489 = .7374 e11: x298 + x394 - x489 + x490 = .7374 e12: x299 + x395 - x490 + x491 = .7374 e13: x300 + x396 - x491 + x492 = .7374 e14: x301 + x397 - x492 + x493 = .7374 e15: x302 + x398 - x493 + x494 = .7374 e16: x303 + x399 - x494 + x495 = .7374 e17: x304 + x400 - x495 + x496 = .7374 e18: x305 + x401 - x496 + x497 = .7374 e19: x306 + x402 - x497 + x498 = .7374 e20: x307 + x403 - x498 + x499 = .7374 e21: x308 + x404 - x499 + x500 = .7374 e22: x309 + x405 - x500 + x501 = .7374 e23: x310 + x406 - x501 + x502 = .7374 e24: x311 + x407 - x502 + x503 = .7374 e25: x312 + x408 - x503 + x504 = .7374 e26: - x289 + x313 - x385 + x409 + x505 = 10.7948 e27: - x290 + x314 - x386 + x410 - x505 + x506 = .1548 e28: - x291 + x315 - x387 + x411 - x506 + x507 = .1548 e29: - x292 + x316 - x388 + x412 - x507 + x508 = .1548 e30: - x293 + x317 - x389 + x413 - x508 + x509 = .1548 e31: - x294 + x318 - x390 + x414 - x509 + x510 = .1548 e32: - x295 + x319 - x391 + x415 - x510 + x511 = .1548 e33: - x296 + x320 - x392 + x416 - x511 + x512 = .1548 e34: - x297 + x321 - x393 + x417 - x512 + x513 = .1548 e35: - x298 + x322 - x394 + x418 - x513 + x514 = .1548 e36: - x299 + x323 - x395 + x419 - x514 + x515 = .1548 e37: - x300 + x324 - x396 + x420 - x515 + x516 = .1548 e38: - x301 + x325 - x397 + x421 - x516 + x517 = .1548 e39: - x302 + x326 - x398 + x422 - x517 + x518 = .1548 e40: - x303 + x327 - x399 + x423 - x518 + x519 = .1548 e41: - x304 + x328 - x400 + x424 - x519 + x520 = .1548 e42: - x305 + x329 - x401 + x425 - x520 + x521 = .1548 e43: - x306 + x330 - x402 + x426 - x521 + x522 = .1548 e44: - x307 + x331 - x403 + x427 - x522 + x523 = .1548 e45: - x308 + x332 - x404 + x428 - x523 + x524 = .1548 e46: - x309 + x333 - x405 + x429 - x524 + x525 = .1548 e47: - x310 + x334 - x406 + x430 - x525 + x526 = .1548 e48: - x311 + x335 - x407 + x431 - x526 + x527 = .1548 e49: - x312 + x336 - x408 + x432 - x527 + x528 = .1548 e50: x337 + x433 + x529 = 78.0108 e51: x338 + x434 - x529 + x530 = 1.08e-2 e52: x339 + x435 - x530 + x531 = 1.08e-2 e53: x340 + x436 - x531 + x532 = 1.08e-2 e54: x341 + x437 - x532 + x533 = 1.08e-2 e55: x342 + x438 - x533 + x534 = 1.08e-2 e56: x343 + x439 - x534 + x535 = 1.08e-2 e57: x344 + x440 - x535 + x536 = 1.08e-2 e58: x345 + x441 - x536 + x537 = 1.08e-2 e59: x346 + x442 - x537 + x538 = 1.08e-2 e60: x347 + x443 - x538 + x539 = 1.08e-2 e61: x348 + x444 - x539 + x540 = 1.08e-2 e62: x349 + x445 - x540 + x541 = 1.08e-2 e63: x350 + x446 - x541 + x542 = 1.08e-2 e64: x351 + x447 - x542 + x543 = 1.08e-2 e65: x352 + x448 - x543 + x544 = 1.08e-2 e66: x353 + x449 - x544 + x545 = 1.08e-2 e67: x354 + x450 - x545 + x546 = 1.08e-2 e68: x355 + x451 - x546 + x547 = 1.08e-2 e69: x356 + x452 - x547 + x548 = 1.08e-2 e70: x357 + x453 - x548 + x549 = 1.08e-2 e71: x358 + x454 - x549 + x550 = 1.08e-2 e72: x359 + x455 - x550 + x551 = 1.08e-2 e73: x360 + x456 - x551 + x552 = 1.08e-2 e74: - x313 - x337 + x361 - x409 - x433 + x457 + x553 = 9.7115 e75: - x314 - x338 + x362 - x410 - x434 + x458 - x553 + x554 = .1115 e76: - x315 - x339 + x363 - x411 - x435 + x459 - x554 + x555 = .1115 e77: - x316 - x340 + x364 - x412 - x436 + x460 - x555 + x556 = .1115 e78: - x317 - x341 + x365 - x413 - x437 + x461 - x556 + x557 = .1115 e79: - x318 - x342 + x366 - x414 - x438 + x462 - x557 + x558 = .1115 e80: - x319 - x343 + x367 - x415 - x439 + x463 - x558 + x559 = .1115 e81: - x320 - x344 + x368 - x416 - x440 + x464 - x559 + x560 = .1115 e82: - x321 - x345 + x369 - x417 - x441 + x465 - x560 + x561 = .1115 e83: - x322 - x346 + x370 - x418 - x442 + x466 - x561 + x562 = .1115 e84: - x323 - x347 + x371 - x419 - x443 + x467 - x562 + x563 = .1115 e85: - x324 - x348 + x372 - x420 - x444 + x468 - x563 + x564 = .1115 e86: - x325 - x349 + x373 - x421 - x445 + x469 - x564 + x565 = .1115 e87: - x326 - x350 + x374 - x422 - x446 + x470 - x565 + x566 = .1115 e88: - x327 - x351 + x375 - x423 - x447 + x471 - x566 + x567 = .1115 e89: - x328 - x352 + x376 - x424 - x448 + x472 - x567 + x568 = .1115 e90: - x329 - x353 + x377 - x425 - x449 + x473 - x568 + x569 = .1115 e91: - x330 - x354 + x378 - x426 - x450 + x474 - x569 + x570 = .1115 e92: - x331 - x355 + x379 - x427 - x451 + x475 - x570 + x571 = .1115 e93: - x332 - x356 + x380 - x428 - x452 + x476 - x571 + x572 = .1115 e94: - x333 - x357 + x381 - x429 - x453 + x477 - x572 + x573 = .1115 e95: - x334 - x358 + x382 - x430 - x454 + x478 - x573 + x574 = .1115 e96: - x335 - x359 + x383 - x431 - x455 + x479 - x574 + x575 = .1115 e97: - x336 - x360 + x384 - x432 - x456 + x480 - x575 + x576 = .1115 e98: - 4.1202 b1 + x385 <= 0 e99: - 4.1202 b2 + x386 <= 0 e100: - 4.1202 b3 + x387 <= 0 e101: - 4.1202 b4 + x388 <= 0 e102: - 4.1202 b5 + x389 <= 0 e103: - 4.1202 b6 + x390 <= 0 e104: - 4.1202 b7 + x391 <= 0 e105: - 4.1202 b8 + x392 <= 0 e106: - 4.1202 b9 + x393 <= 0 e107: - 4.1202 b10 + x394 <= 0 e108: - 4.1202 b11 + x395 <= 0 e109: - 4.1202 b12 + x396 <= 0 e110: - 4.1202 b13 + x397 <= 0 e111: - 4.1202 b14 + x398 <= 0 e112: - 4.1202 b15 + x399 <= 0 e113: - 4.1202 b16 + x400 <= 0 e114: - 4.1202 b17 + x401 <= 0 e115: - 4.1202 b18 + x402 <= 0 e116: - 4.1202 b19 + x403 <= 0 e117: - 4.1202 b20 + x404 <= 0 e118: - 4.1202 b21 + x405 <= 0 e119: - 4.1202 b22 + x406 <= 0 e120: - 4.1202 b23 + x407 <= 0 e121: - 4.1202 b24 + x408 <= 0 e122: - 3.888 b25 + x409 <= 0 e123: - 3.888 b26 + x410 <= 0 e124: - 3.888 b27 + x411 <= 0 e125: - 3.888 b28 + x412 <= 0 e126: - 3.888 b29 + x413 <= 0 e127: - 3.888 b30 + x414 <= 0 e128: - 3.888 b31 + x415 <= 0 e129: - 3.888 b32 + x416 <= 0 e130: - 3.888 b33 + x417 <= 0 e131: - 3.888 b34 + x418 <= 0 e132: - 3.888 b35 + x419 <= 0 e133: - 3.888 b36 + x420 <= 0 e134: - 3.888 b37 + x421 <= 0 e135: - 3.888 b38 + x422 <= 0 e136: - 3.888 b39 + x423 <= 0 e137: - 3.888 b40 + x424 <= 0 e138: - 3.888 b41 + x425 <= 0 e139: - 3.888 b42 + x426 <= 0 e140: - 3.888 b43 + x427 <= 0 e141: - 3.888 b44 + x428 <= 0 e142: - 3.888 b45 + x429 <= 0 e143: - 3.888 b46 + x430 <= 0 e144: - 3.888 b47 + x431 <= 0 e145: - 3.888 b48 + x432 <= 0 e146: - 5.904e-2 b49 + x433 <= 0 e147: - 5.904e-2 b50 + x434 <= 0 e148: - 5.904e-2 b51 + x435 <= 0 e149: - 5.904e-2 b52 + x436 <= 0 e150: - 5.904e-2 b53 + x437 <= 0 e151: - 5.904e-2 b54 + x438 <= 0 e152: - 5.904e-2 b55 + x439 <= 0 e153: - 5.904e-2 b56 + x440 <= 0 e154: - 5.904e-2 b57 + x441 <= 0 e155: - 5.904e-2 b58 + x442 <= 0 e156: - 5.904e-2 b59 + x443 <= 0 e157: - 5.904e-2 b60 + x444 <= 0 e158: - 5.904e-2 b61 + x445 <= 0 e159: - 5.904e-2 b62 + x446 <= 0 e160: - 5.904e-2 b63 + x447 <= 0 e161: - 5.904e-2 b64 + x448 <= 0 e162: - 5.904e-2 b65 + x449 <= 0 e163: - 5.904e-2 b66 + x450 <= 0 e164: - 5.904e-2 b67 + x451 <= 0 e165: - 5.904e-2 b68 + x452 <= 0 e166: - 5.904e-2 b69 + x453 <= 0 e167: - 5.904e-2 b70 + x454 <= 0 e168: - 5.904e-2 b71 + x455 <= 0 e169: - 5.904e-2 b72 + x456 <= 0 e170: - 3.24 b73 + x457 <= 0 e171: - 3.24 b74 + x458 <= 0 e172: - 3.24 b75 + x459 <= 0 e173: - 3.24 b76 + x460 <= 0 e174: - 3.24 b77 + x461 <= 0 e175: - 3.24 b78 + x462 <= 0 e176: - 3.24 b79 + x463 <= 0 e177: - 3.24 b80 + x464 <= 0 e178: - 3.24 b81 + x465 <= 0 e179: - 3.24 b82 + x466 <= 0 e180: - 3.24 b83 + x467 <= 0 e181: - 3.24 b84 + x468 <= 0 e182: - 3.24 b85 + x469 <= 0 e183: - 3.24 b86 + x470 <= 0 e184: - 3.24 b87 + x471 <= 0 e185: - 3.24 b88 + x472 <= 0 e186: - 3.24 b89 + x473 <= 0 e187: - 3.24 b90 + x474 <= 0 e188: - 3.24 b91 + x475 <= 0 e189: - 3.24 b92 + x476 <= 0 e190: - 3.24 b93 + x477 <= 0 e191: - 3.24 b94 + x478 <= 0 e192: - 3.24 b95 + x479 <= 0 e193: - 3.24 b96 + x480 <= 0 e194: - .605268 b1 + x385 >= 0 e195: - .605268 b2 + x386 >= 0 e196: - .605268 b3 + x387 >= 0 e197: - .605268 b4 + x388 >= 0 e198: - .605268 b5 + x389 >= 0 e199: - .605268 b6 + x390 >= 0 e200: - .605268 b7 + x391 >= 0 e201: - .605268 b8 + x392 >= 0 e202: - .605268 b9 + x393 >= 0 e203: - .605268 b10 + x394 >= 0 e204: - .605268 b11 + x395 >= 0 e205: - .605268 b12 + x396 >= 0 e206: - .605268 b13 + x397 >= 0 e207: - .605268 b14 + x398 >= 0 e208: - .605268 b15 + x399 >= 0 e209: - .605268 b16 + x400 >= 0 e210: - .605268 b17 + x401 >= 0 e211: - .605268 b18 + x402 >= 0 e212: - .605268 b19 + x403 >= 0 e213: - .605268 b20 + x404 >= 0 e214: - .605268 b21 + x405 >= 0 e215: - .605268 b22 + x406 >= 0 e216: - .605268 b23 + x407 >= 0 e217: - .605268 b24 + x408 >= 0 e218: - .37692 b25 + x409 >= 0 e219: - .37692 b26 + x410 >= 0 e220: - .37692 b27 + x411 >= 0 e221: - .37692 b28 + x412 >= 0 e222: - .37692 b29 + x413 >= 0 e223: - .37692 b30 + x414 >= 0 e224: - .37692 b31 + x415 >= 0 e225: - .37692 b32 + x416 >= 0 e226: - .37692 b33 + x417 >= 0 e227: - .37692 b34 + x418 >= 0 e228: - .37692 b35 + x419 >= 0 e229: - .37692 b36 + x420 >= 0 e230: - .37692 b37 + x421 >= 0 e231: - .37692 b38 + x422 >= 0 e232: - .37692 b39 + x423 >= 0 e233: - .37692 b40 + x424 >= 0 e234: - .37692 b41 + x425 >= 0 e235: - .37692 b42 + x426 >= 0 e236: - .37692 b43 + x427 >= 0 e237: - .37692 b44 + x428 >= 0 e238: - .37692 b45 + x429 >= 0 e239: - .37692 b46 + x430 >= 0 e240: - .37692 b47 + x431 >= 0 e241: - .37692 b48 + x432 >= 0 e242: - 1.08e-2 b49 + x433 >= 0 e243: - 1.08e-2 b50 + x434 >= 0 e244: - 1.08e-2 b51 + x435 >= 0 e245: - 1.08e-2 b52 + x436 >= 0 e246: - 1.08e-2 b53 + x437 >= 0 e247: - 1.08e-2 b54 + x438 >= 0 e248: - 1.08e-2 b55 + x439 >= 0 e249: - 1.08e-2 b56 + x440 >= 0 e250: - 1.08e-2 b57 + x441 >= 0 e251: - 1.08e-2 b58 + x442 >= 0 e252: - 1.08e-2 b59 + x443 >= 0 e253: - 1.08e-2 b60 + x444 >= 0 e254: - 1.08e-2 b61 + x445 >= 0 e255: - 1.08e-2 b62 + x446 >= 0 e256: - 1.08e-2 b63 + x447 >= 0 e257: - 1.08e-2 b64 + x448 >= 0 e258: - 1.08e-2 b65 + x449 >= 0 e259: - 1.08e-2 b66 + x450 >= 0 e260: - 1.08e-2 b67 + x451 >= 0 e261: - 1.08e-2 b68 + x452 >= 0 e262: - 1.08e-2 b69 + x453 >= 0 e263: - 1.08e-2 b70 + x454 >= 0 e264: - 1.08e-2 b71 + x455 >= 0 e265: - 1.08e-2 b72 + x456 >= 0 e266: - .376812 b73 + x457 >= 0 e267: - .376812 b74 + x458 >= 0 e268: - .376812 b75 + x459 >= 0 e269: - .376812 b76 + x460 >= 0 e270: - .376812 b77 + x461 >= 0 e271: - .376812 b78 + x462 >= 0 e272: - .376812 b79 + x463 >= 0 e273: - .376812 b80 + x464 >= 0 e274: - .376812 b81 + x465 >= 0 e275: - .376812 b82 + x466 >= 0 e276: - .376812 b83 + x467 >= 0 e277: - .376812 b84 + x468 >= 0 e278: - .376812 b85 + x469 >= 0 e279: - .376812 b86 + x470 >= 0 e280: - .376812 b87 + x471 >= 0 e281: - .376812 b88 + x472 >= 0 e282: - .376812 b89 + x473 >= 0 e283: - .376812 b90 + x474 >= 0 e284: - .376812 b91 + x475 >= 0 e285: - .376812 b92 + x476 >= 0 e286: - .376812 b93 + x477 >= 0 e287: - .376812 b94 + x478 >= 0 e288: - .376812 b95 + x479 >= 0 e289: - .376812 b96 + x480 >= 0 e290: - 28 b1 + x193 >= 0 e291: - 28 b2 + x194 >= 0 e292: - 28 b3 + x195 >= 0 e293: - 28 b4 + x196 >= 0 e294: - 28 b5 + x197 >= 0 e295: - 28 b6 + x198 >= 0 e296: - 28 b7 + x199 >= 0 e297: - 28 b8 + x200 >= 0 e298: - 28 b9 + x201 >= 0 e299: - 28 b10 + x202 >= 0 e300: - 28 b11 + x203 >= 0 e301: - 28 b12 + x204 >= 0 e302: - 28 b13 + x205 >= 0 e303: - 28 b14 + x206 >= 0 e304: - 28 b15 + x207 >= 0 e305: - 28 b16 + x208 >= 0 e306: - 28 b17 + x209 >= 0 e307: - 28 b18 + x210 >= 0 e308: - 28 b19 + x211 >= 0 e309: - 28 b20 + x212 >= 0 e310: - 28 b21 + x213 >= 0 e311: - 28 b22 + x214 >= 0 e312: - 28 b23 + x215 >= 0 e313: - 28 b24 + x216 >= 0 e314: - 29.99 b25 + x217 >= 0 e315: - 29.99 b26 + x218 >= 0 e316: - 29.99 b27 + x219 >= 0 e317: - 29.99 b28 + x220 >= 0 e318: - 29.99 b29 + x221 >= 0 e319: - 29.99 b30 + x222 >= 0 e320: - 29.99 b31 + x223 >= 0 e321: - 29.99 b32 + x224 >= 0 e322: - 29.99 b33 + x225 >= 0 e323: - 29.99 b34 + x226 >= 0 e324: - 29.99 b35 + x227 >= 0 e325: - 29.99 b36 + x228 >= 0 e326: - 29.99 b37 + x229 >= 0 e327: - 29.99 b38 + x230 >= 0 e328: - 29.99 b39 + x231 >= 0 e329: - 29.99 b40 + x232 >= 0 e330: - 29.99 b41 + x233 >= 0 e331: - 29.99 b42 + x234 >= 0 e332: - 29.99 b43 + x235 >= 0 e333: - 29.99 b44 + x236 >= 0 e334: - 29.99 b45 + x237 >= 0 e335: - 29.99 b46 + x238 >= 0 e336: - 29.99 b47 + x239 >= 0 e337: - 29.99 b48 + x240 >= 0 e338: - 10.67 b49 + x241 >= 0 e339: - 10.67 b50 + x242 >= 0 e340: - 10.67 b51 + x243 >= 0 e341: - 10.67 b52 + x244 >= 0 e342: - 10.67 b53 + x245 >= 0 e343: - 10.67 b54 + x246 >= 0 e344: - 10.67 b55 + x247 >= 0 e345: - 10.67 b56 + x248 >= 0 e346: - 10.67 b57 + x249 >= 0 e347: - 10.67 b58 + x250 >= 0 e348: - 10.67 b59 + x251 >= 0 e349: - 10.67 b60 + x252 >= 0 e350: - 10.67 b61 + x253 >= 0 e351: - 10.67 b62 + x254 >= 0 e352: - 10.67 b63 + x255 >= 0 e353: - 10.67 b64 + x256 >= 0 e354: - 10.67 b65 + x257 >= 0 e355: - 10.67 b66 + x258 >= 0 e356: - 10.67 b67 + x259 >= 0 e357: - 10.67 b68 + x260 >= 0 e358: - 10.67 b69 + x261 >= 0 e359: - 10.67 b70 + x262 >= 0 e360: - 10.67 b71 + x263 >= 0 e361: - 10.67 b72 + x264 >= 0 e362: - 24.99 b73 + x265 >= 0 e363: - 24.99 b74 + x266 >= 0 e364: - 24.99 b75 + x267 >= 0 e365: - 24.99 b76 + x268 >= 0 e366: - 24.99 b77 + x269 >= 0 e367: - 24.99 b78 + x270 >= 0 e368: - 24.99 b79 + x271 >= 0 e369: - 24.99 b80 + x272 >= 0 e370: - 24.99 b81 + x273 >= 0 e371: - 24.99 b82 + x274 >= 0 e372: - 24.99 b83 + x275 >= 0 e373: - 24.99 b84 + x276 >= 0 e374: - 24.99 b85 + x277 >= 0 e375: - 24.99 b86 + x278 >= 0 e376: - 24.99 b87 + x279 >= 0 e377: - 24.99 b88 + x280 >= 0 e378: - 24.99 b89 + x281 >= 0 e379: - 24.99 b90 + x282 >= 0 e380: - 24.99 b91 + x283 >= 0 e381: - 24.99 b92 + x284 >= 0 e382: - 24.99 b93 + x285 >= 0 e383: - 24.99 b94 + x286 >= 0 e384: - 24.99 b95 + x287 >= 0 e385: - 24.99 b96 + x288 >= 0 e386: - 188.08 b1 + x193 <= 0 e387: - 188.08 b2 + x194 <= 0 e388: - 188.08 b3 + x195 <= 0 e389: - 188.08 b4 + x196 <= 0 e390: - 188.08 b5 + x197 <= 0 e391: - 188.08 b6 + x198 <= 0 e392: - 188.08 b7 + x199 <= 0 e393: - 188.08 b8 + x200 <= 0 e394: - 188.08 b9 + x201 <= 0 e395: - 188.08 b10 + x202 <= 0 e396: - 188.08 b11 + x203 <= 0 e397: - 188.08 b12 + x204 <= 0 e398: - 188.08 b13 + x205 <= 0 e399: - 188.08 b14 + x206 <= 0 e400: - 188.08 b15 + x207 <= 0 e401: - 188.08 b16 + x208 <= 0 e402: - 188.08 b17 + x209 <= 0 e403: - 188.08 b18 + x210 <= 0 e404: - 188.08 b19 + x211 <= 0 e405: - 188.08 b20 + x212 <= 0 e406: - 188.08 b21 + x213 <= 0 e407: - 188.08 b22 + x214 <= 0 e408: - 188.08 b23 + x215 <= 0 e409: - 188.08 b24 + x216 <= 0 e410: - 237.14 b25 + x217 <= 0 e411: - 237.14 b26 + x218 <= 0 e412: - 237.14 b27 + x219 <= 0 e413: - 237.14 b28 + x220 <= 0 e414: - 237.14 b29 + x221 <= 0 e415: - 237.14 b30 + x222 <= 0 e416: - 237.14 b31 + x223 <= 0 e417: - 237.14 b32 + x224 <= 0 e418: - 237.14 b33 + x225 <= 0 e419: - 237.14 b34 + x226 <= 0 e420: - 237.14 b35 + x227 <= 0 e421: - 237.14 b36 + x228 <= 0 e422: - 237.14 b37 + x229 <= 0 e423: - 237.14 b38 + x230 <= 0 e424: - 237.14 b39 + x231 <= 0 e425: - 237.14 b40 + x232 <= 0 e426: - 237.14 b41 + x233 <= 0 e427: - 237.14 b42 + x234 <= 0 e428: - 237.14 b43 + x235 <= 0 e429: - 237.14 b44 + x236 <= 0 e430: - 237.14 b45 + x237 <= 0 e431: - 237.14 b46 + x238 <= 0 e432: - 237.14 b47 + x239 <= 0 e433: - 237.14 b48 + x240 <= 0 e434: - 60 b49 + x241 <= 0 e435: - 60 b50 + x242 <= 0 e436: - 60 b51 + x243 <= 0 e437: - 60 b52 + x244 <= 0 e438: - 60 b53 + x245 <= 0 e439: - 60 b54 + x246 <= 0 e440: - 60 b55 + x247 <= 0 e441: - 60 b56 + x248 <= 0 e442: - 60 b57 + x249 <= 0 e443: - 60 b58 + x250 <= 0 e444: - 60 b59 + x251 <= 0 e445: - 60 b60 + x252 <= 0 e446: - 60 b61 + x253 <= 0 e447: - 60 b62 + x254 <= 0 e448: - 60 b63 + x255 <= 0 e449: - 60 b64 + x256 <= 0 e450: - 60 b65 + x257 <= 0 e451: - 60 b66 + x258 <= 0 e452: - 60 b67 + x259 <= 0 e453: - 60 b68 + x260 <= 0 e454: - 60 b69 + x261 <= 0 e455: - 60 b70 + x262 <= 0 e456: - 60 b71 + x263 <= 0 e457: - 60 b72 + x264 <= 0 e458: - 185.99 b73 + x265 <= 0 e459: - 185.99 b74 + x266 <= 0 e460: - 185.99 b75 + x267 <= 0 e461: - 185.99 b76 + x268 <= 0 e462: - 185.99 b77 + x269 <= 0 e463: - 185.99 b78 + x270 <= 0 e464: - 185.99 b79 + x271 <= 0 e465: - 185.99 b80 + x272 <= 0 e466: - 185.99 b81 + x273 <= 0 e467: - 185.99 b82 + x274 <= 0 e468: - 185.99 b83 + x275 <= 0 e469: - 185.99 b84 + x276 <= 0 e470: - 185.99 b85 + x277 <= 0 e471: - 185.99 b86 + x278 <= 0 e472: - 185.99 b87 + x279 <= 0 e473: - 185.99 b88 + x280 <= 0 e474: - 185.99 b89 + x281 <= 0 e475: - 185.99 b90 + x282 <= 0 e476: - 185.99 b91 + x283 <= 0 e477: - 185.99 b92 + x284 <= 0 e478: - 185.99 b93 + x285 <= 0 e479: - 185.99 b94 + x286 <= 0 e480: - 185.99 b95 + x287 <= 0 e481: - 185.99 b96 + x288 <= 0 e482: x385 - x386 <= 2.0601 e483: x386 - x387 <= 2.0601 e484: x387 - x388 <= 2.0601 e485: x388 - x389 <= 2.0601 e486: x389 - x390 <= 2.0601 e487: x390 - x391 <= 2.0601 e488: x391 - x392 <= 2.0601 e489: x392 - x393 <= 2.0601 e490: x393 - x394 <= 2.0601 e491: x394 - x395 <= 2.0601 e492: x395 - x396 <= 2.0601 e493: x396 - x397 <= 2.0601 e494: x397 - x398 <= 2.0601 e495: x398 - x399 <= 2.0601 e496: x399 - x400 <= 2.0601 e497: x400 - x401 <= 2.0601 e498: x401 - x402 <= 2.0601 e499: x402 - x403 <= 2.0601 e500: x403 - x404 <= 2.0601 e501: x404 - x405 <= 2.0601 e502: x405 - x406 <= 2.0601 e503: x406 - x407 <= 2.0601 e504: x407 - x408 <= 2.0601 e505: x409 - x410 <= 1.944 e506: x410 - x411 <= 1.944 e507: x411 - x412 <= 1.944 e508: x412 - x413 <= 1.944 e509: x413 - x414 <= 1.944 e510: x414 - x415 <= 1.944 e511: x415 - x416 <= 1.944 e512: x416 - x417 <= 1.944 e513: x417 - x418 <= 1.944 e514: x418 - x419 <= 1.944 e515: x419 - x420 <= 1.944 e516: x420 - x421 <= 1.944 e517: x421 - x422 <= 1.944 e518: x422 - x423 <= 1.944 e519: x423 - x424 <= 1.944 e520: x424 - x425 <= 1.944 e521: x425 - x426 <= 1.944 e522: x426 - x427 <= 1.944 e523: x427 - x428 <= 1.944 e524: x428 - x429 <= 1.944 e525: x429 - x430 <= 1.944 e526: x430 - x431 <= 1.944 e527: x431 - x432 <= 1.944 e528: x433 - x434 <= 2.952e-2 e529: x434 - x435 <= 2.952e-2 e530: x435 - x436 <= 2.952e-2 e531: x436 - x437 <= 2.952e-2 e532: x437 - x438 <= 2.952e-2 e533: x438 - x439 <= 2.952e-2 e534: x439 - x440 <= 2.952e-2 e535: x440 - x441 <= 2.952e-2 e536: x441 - x442 <= 2.952e-2 e537: x442 - x443 <= 2.952e-2 e538: x443 - x444 <= 2.952e-2 e539: x444 - x445 <= 2.952e-2 e540: x445 - x446 <= 2.952e-2 e541: x446 - x447 <= 2.952e-2 e542: x447 - x448 <= 2.952e-2 e543: x448 - x449 <= 2.952e-2 e544: x449 - x450 <= 2.952e-2 e545: x450 - x451 <= 2.952e-2 e546: x451 - x452 <= 2.952e-2 e547: x452 - x453 <= 2.952e-2 e548: x453 - x454 <= 2.952e-2 e549: x454 - x455 <= 2.952e-2 e550: x455 - x456 <= 2.952e-2 e551: x457 - x458 <= 1.62 e552: x458 - x459 <= 1.62 e553: x459 - x460 <= 1.62 e554: x460 - x461 <= 1.62 e555: x461 - x462 <= 1.62 e556: x462 - x463 <= 1.62 e557: x463 - x464 <= 1.62 e558: x464 - x465 <= 1.62 e559: x465 - x466 <= 1.62 e560: x466 - x467 <= 1.62 e561: x467 - x468 <= 1.62 e562: x468 - x469 <= 1.62 e563: x469 - x470 <= 1.62 e564: x470 - x471 <= 1.62 e565: x471 - x472 <= 1.62 e566: x472 - x473 <= 1.62 e567: x473 - x474 <= 1.62 e568: x474 - x475 <= 1.62 e569: x475 - x476 <= 1.62 e570: x476 - x477 <= 1.62 e571: x477 - x478 <= 1.62 e572: x478 - x479 <= 1.62 e573: x479 - x480 <= 1.62 e574: - x385 + x386 <= 2.0601 e575: - x386 + x387 <= 2.0601 e576: - x387 + x388 <= 2.0601 e577: - x388 + x389 <= 2.0601 e578: - x389 + x390 <= 2.0601 e579: - x390 + x391 <= 2.0601 e580: - x391 + x392 <= 2.0601 e581: - x392 + x393 <= 2.0601 e582: - x393 + x394 <= 2.0601 e583: - x394 + x395 <= 2.0601 e584: - x395 + x396 <= 2.0601 e585: - x396 + x397 <= 2.0601 e586: - x397 + x398 <= 2.0601 e587: - x398 + x399 <= 2.0601 e588: - x399 + x400 <= 2.0601 e589: - x400 + x401 <= 2.0601 e590: - x401 + x402 <= 2.0601 e591: - x402 + x403 <= 2.0601 e592: - x403 + x404 <= 2.0601 e593: - x404 + x405 <= 2.0601 e594: - x405 + x406 <= 2.0601 e595: - x406 + x407 <= 2.0601 e596: - x407 + x408 <= 2.0601 e597: - x409 + x410 <= 1.944 e598: - x410 + x411 <= 1.944 e599: - x411 + x412 <= 1.944 e600: - x412 + x413 <= 1.944 e601: - x413 + x414 <= 1.944 e602: - x414 + x415 <= 1.944 e603: - x415 + x416 <= 1.944 e604: - x416 + x417 <= 1.944 e605: - x417 + x418 <= 1.944 e606: - x418 + x419 <= 1.944 e607: - x419 + x420 <= 1.944 e608: - x420 + x421 <= 1.944 e609: - x421 + x422 <= 1.944 e610: - x422 + x423 <= 1.944 e611: - x423 + x424 <= 1.944 e612: - x424 + x425 <= 1.944 e613: - x425 + x426 <= 1.944 e614: - x426 + x427 <= 1.944 e615: - x427 + x428 <= 1.944 e616: - x428 + x429 <= 1.944 e617: - x429 + x430 <= 1.944 e618: - x430 + x431 <= 1.944 e619: - x431 + x432 <= 1.944 e620: - x433 + x434 <= 2.952e-2 e621: - x434 + x435 <= 2.952e-2 e622: - x435 + x436 <= 2.952e-2 e623: - x436 + x437 <= 2.952e-2 e624: - x437 + x438 <= 2.952e-2 e625: - x438 + x439 <= 2.952e-2 e626: - x439 + x440 <= 2.952e-2 e627: - x440 + x441 <= 2.952e-2 e628: - x441 + x442 <= 2.952e-2 e629: - x442 + x443 <= 2.952e-2 e630: - x443 + x444 <= 2.952e-2 e631: - x444 + x445 <= 2.952e-2 e632: - x445 + x446 <= 2.952e-2 e633: - x446 + x447 <= 2.952e-2 e634: - x447 + x448 <= 2.952e-2 e635: - x448 + x449 <= 2.952e-2 e636: - x449 + x450 <= 2.952e-2 e637: - x450 + x451 <= 2.952e-2 e638: - x451 + x452 <= 2.952e-2 e639: - x452 + x453 <= 2.952e-2 e640: - x453 + x454 <= 2.952e-2 e641: - x454 + x455 <= 2.952e-2 e642: - x455 + x456 <= 2.952e-2 e643: - x457 + x458 <= 1.62 e644: - x458 + x459 <= 1.62 e645: - x459 + x460 <= 1.62 e646: - x460 + x461 <= 1.62 e647: - x461 + x462 <= 1.62 e648: - x462 + x463 <= 1.62 e649: - x463 + x464 <= 1.62 e650: - x464 + x465 <= 1.62 e651: - x465 + x466 <= 1.62 e652: - x466 + x467 <= 1.62 e653: - x467 + x468 <= 1.62 e654: - x468 + x469 <= 1.62 e655: - x469 + x470 <= 1.62 e656: - x470 + x471 <= 1.62 e657: - x471 + x472 <= 1.62 e658: - x472 + x473 <= 1.62 e659: - x473 + x474 <= 1.62 e660: - x474 + x475 <= 1.62 e661: - x475 + x476 <= 1.62 e662: - x476 + x477 <= 1.62 e663: - x477 + x478 <= 1.62 e664: - x478 + x479 <= 1.62 e665: - x479 + x480 <= 1.62 e666: - b1 + b97 >= 0 e667: b1 - b2 + b98 >= 0 e668: b2 - b3 + b99 >= 0 e669: b3 - b4 + b100 >= 0 e670: b4 - b5 + b101 >= 0 e671: b5 - b6 + b102 >= 0 e672: b6 - b7 + b103 >= 0 e673: b7 - b8 + b104 >= 0 e674: b8 - b9 + b105 >= 0 e675: b9 - b10 + b106 >= 0 e676: b10 - b11 + b107 >= 0 e677: b11 - b12 + b108 >= 0 e678: b12 - b13 + b109 >= 0 e679: b13 - b14 + b110 >= 0 e680: b14 - b15 + b111 >= 0 e681: b15 - b16 + b112 >= 0 e682: b16 - b17 + b113 >= 0 e683: b17 - b18 + b114 >= 0 e684: b18 - b19 + b115 >= 0 e685: b19 - b20 + b116 >= 0 e686: b20 - b21 + b117 >= 0 e687: b21 - b22 + b118 >= 0 e688: b22 - b23 + b119 >= 0 e689: b23 - b24 + b120 >= 0 e690: - b25 + b121 >= 0 e691: b25 - b26 + b122 >= 0 e692: b26 - b27 + b123 >= 0 e693: b27 - b28 + b124 >= 0 e694: b28 - b29 + b125 >= 0 e695: b29 - b30 + b126 >= 0 e696: b30 - b31 + b127 >= 0 e697: b31 - b32 + b128 >= 0 e698: b32 - b33 + b129 >= 0 e699: b33 - b34 + b130 >= 0 e700: b34 - b35 + b131 >= 0 e701: b35 - b36 + b132 >= 0 e702: b36 - b37 + b133 >= 0 e703: b37 - b38 + b134 >= 0 e704: b38 - b39 + b135 >= 0 e705: b39 - b40 + b136 >= 0 e706: b40 - b41 + b137 >= 0 e707: b41 - b42 + b138 >= 0 e708: b42 - b43 + b139 >= 0 e709: b43 - b44 + b140 >= 0 e710: b44 - b45 + b141 >= 0 e711: b45 - b46 + b142 >= 0 e712: b46 - b47 + b143 >= 0 e713: b47 - b48 + b144 >= 0 e714: - b49 + b145 >= 0 e715: b49 - b50 + b146 >= 0 e716: b50 - b51 + b147 >= 0 e717: b51 - b52 + b148 >= 0 e718: b52 - b53 + b149 >= 0 e719: b53 - b54 + b150 >= 0 e720: b54 - b55 + b151 >= 0 e721: b55 - b56 + b152 >= 0 e722: b56 - b57 + b153 >= 0 e723: b57 - b58 + b154 >= 0 e724: b58 - b59 + b155 >= 0 e725: b59 - b60 + b156 >= 0 e726: b60 - b61 + b157 >= 0 e727: b61 - b62 + b158 >= 0 e728: b62 - b63 + b159 >= 0 e729: b63 - b64 + b160 >= 0 e730: b64 - b65 + b161 >= 0 e731: b65 - b66 + b162 >= 0 e732: b66 - b67 + b163 >= 0 e733: b67 - b68 + b164 >= 0 e734: b68 - b69 + b165 >= 0 e735: b69 - b70 + b166 >= 0 e736: b70 - b71 + b167 >= 0 e737: b71 - b72 + b168 >= 0 e738: - b73 + b169 >= 0 e739: b73 - b74 + b170 >= 0 e740: b74 - b75 + b171 >= 0 e741: b75 - b76 + b172 >= 0 e742: b76 - b77 + b173 >= 0 e743: b77 - b78 + b174 >= 0 e744: b78 - b79 + b175 >= 0 e745: b79 - b80 + b176 >= 0 e746: b80 - b81 + b177 >= 0 e747: b81 - b82 + b178 >= 0 e748: b82 - b83 + b179 >= 0 e749: b83 - b84 + b180 >= 0 e750: b84 - b85 + b181 >= 0 e751: b85 - b86 + b182 >= 0 e752: b86 - b87 + b183 >= 0 e753: b87 - b88 + b184 >= 0 e754: b88 - b89 + b185 >= 0 e755: b89 - b90 + b186 >= 0 e756: b90 - b91 + b187 >= 0 e757: b91 - b92 + b188 >= 0 e758: b92 - b93 + b189 >= 0 e759: b93 - b94 + b190 >= 0 e760: b94 - b95 + b191 >= 0 e761: b95 - b96 + b192 >= 0 e762: x193 - 50.09702 x385 - .5061084326298 x385 x481 + .5580651303227 x385 x505 = 0 e763: x194 - 50.09702 x386 - .5061084326298 x386 x482 + .5580651303227 x386 x506 = 0 e764: x195 - 50.09702 x387 - .5061084326298 x387 x483 + .5580651303227 x387 x507 = 0 e765: x196 - 50.09702 x388 - .5061084326298 x388 x484 + .5580651303227 x388 x508 = 0 e766: x197 - 50.09702 x389 - .5061084326298 x389 x485 + .5580651303227 x389 x509 = 0 e767: x198 - 50.09702 x390 - .5061084326298 x390 x486 + .5580651303227 x390 x510 = 0 e768: x199 - 50.09702 x391 - .5061084326298 x391 x487 + .5580651303227 x391 x511 = 0 e769: x200 - 50.09702 x392 - .5061084326298 x392 x488 + .5580651303227 x392 x512 = 0 e770: x201 - 50.09702 x393 - .5061084326298 x393 x489 + .5580651303227 x393 x513 = 0 e771: x202 - 50.09702 x394 - .5061084326298 x394 x490 + .5580651303227 x394 x514 = 0 e772: x203 - 50.09702 x395 - .5061084326298 x395 x491 + .5580651303227 x395 x515 = 0 e773: x204 - 50.09702 x396 - .5061084326298 x396 x492 + .5580651303227 x396 x516 = 0 e774: x205 - 50.09702 x397 - .5061084326298 x397 x493 + .5580651303227 x397 x517 = 0 e775: x206 - 50.09702 x398 - .5061084326298 x398 x494 + .5580651303227 x398 x518 = 0 e776: x207 - 50.09702 x399 - .5061084326298 x399 x495 + .5580651303227 x399 x519 = 0 e777: x208 - 50.09702 x400 - .5061084326298 x400 x496 + .5580651303227 x400 x520 = 0 e778: x209 - 50.09702 x401 - .5061084326298 x401 x497 + .5580651303227 x401 x521 = 0 e779: x210 - 50.09702 x402 - .5061084326298 x402 x498 + .5580651303227 x402 x522 = 0 e780: x211 - 50.09702 x403 - .5061084326298 x403 x499 + .5580651303227 x403 x523 = 0 e781: x212 - 50.09702 x404 - .5061084326298 x404 x500 + .5580651303227 x404 x524 = 0 e782: x213 - 50.09702 x405 - .5061084326298 x405 x501 + .5580651303227 x405 x525 = 0 e783: x214 - 50.09702 x406 - .5061084326298 x406 x502 + .5580651303227 x406 x526 = 0 e784: x215 - 50.09702 x407 - .5061084326298 x407 x503 + .5580651303227 x407 x527 = 0 e785: x216 - 50.09702 x408 - .5061084326298 x408 x504 + .5580651303227 x408 x528 = 0 e786: x217 - 78.54163 x409 - .5623466695665 x409 x505 + .5499405370095 x409 x553 = 0 e787: x218 - 78.54163 x410 - .5623466695665 x410 x506 + .5499405370095 x410 x554 = 0 e788: x219 - 78.54163 x411 - .5623466695665 x411 x507 + .5499405370095 x411 x555 = 0 e789: x220 - 78.54163 x412 - .5623466695665 x412 x508 + .5499405370095 x412 x556 = 0 e790: x221 - 78.54163 x413 - .5623466695665 x413 x509 + .5499405370095 x413 x557 = 0 e791: x222 - 78.54163 x414 - .5623466695665 x414 x510 + .5499405370095 x414 x558 = 0 e792: x223 - 78.54163 x415 - .5623466695665 x415 x511 + .5499405370095 x415 x559 = 0 e793: x224 - 78.54163 x416 - .5623466695665 x416 x512 + .5499405370095 x416 x560 = 0 e794: x225 - 78.54163 x417 - .5623466695665 x417 x513 + .5499405370095 x417 x561 = 0 e795: x226 - 78.54163 x418 - .5623466695665 x418 x514 + .5499405370095 x418 x562 = 0 e796: x227 - 78.54163 x419 - .5623466695665 x419 x515 + .5499405370095 x419 x563 = 0 e797: x228 - 78.54163 x420 - .5623466695665 x420 x516 + .5499405370095 x420 x564 = 0 e798: x229 - 78.54163 x421 - .5623466695665 x421 x517 + .5499405370095 x421 x565 = 0 e799: x230 - 78.54163 x422 - .5623466695665 x422 x518 + .5499405370095 x422 x566 = 0 e800: x231 - 78.54163 x423 - .5623466695665 x423 x519 + .5499405370095 x423 x567 = 0 e801: x232 - 78.54163 x424 - .5623466695665 x424 x520 + .5499405370095 x424 x568 = 0 e802: x233 - 78.54163 x425 - .5623466695665 x425 x521 + .5499405370095 x425 x569 = 0 e803: x234 - 78.54163 x426 - .5623466695665 x426 x522 + .5499405370095 x426 x570 = 0 e804: x235 - 78.54163 x427 - .5623466695665 x427 x523 + .5499405370095 x427 x571 = 0 e805: x236 - 78.54163 x428 - .5623466695665 x428 x524 + .5499405370095 x428 x572 = 0 e806: x237 - 78.54163 x429 - .5623466695665 x429 x525 + .5499405370095 x429 x573 = 0 e807: x238 - 78.54163 x430 - .5623466695665 x430 x526 + .5499405370095 x430 x574 = 0 e808: x239 - 78.54163 x431 - .5623466695665 x431 x527 + .5499405370095 x431 x575 = 0 e809: x240 - 78.54163 x432 - .5623466695665 x432 x528 + .5499405370095 x432 x576 = 0 e810: x241 - 989.1982 x433 - 1.0195418832074 x433 x529 + .4602295096966 x433 x553 = 0 e811: x242 - 989.1982 x434 - 1.0195418832074 x434 x530 + .4602295096966 x434 x554 = 0 e812: x243 - 989.1982 x435 - 1.0195418832074 x435 x531 + .4602295096966 x435 x555 = 0 e813: x244 - 989.1982 x436 - 1.0195418832074 x436 x532 + .4602295096966 x436 x556 = 0 e814: x245 - 989.1982 x437 - 1.0195418832074 x437 x533 + .4602295096966 x437 x557 = 0 e815: x246 - 989.1982 x438 - 1.0195418832074 x438 x534 + .4602295096966 x438 x558 = 0 e816: x247 - 989.1982 x439 - 1.0195418832074 x439 x535 + .4602295096966 x439 x559 = 0 e817: x248 - 989.1982 x440 - 1.0195418832074 x440 x536 + .4602295096966 x440 x560 = 0 e818: x249 - 989.1982 x441 - 1.0195418832074 x441 x537 + .4602295096966 x441 x561 = 0 e819: x250 - 989.1982 x442 - 1.0195418832074 x442 x538 + .4602295096966 x442 x562 = 0 e820: x251 - 989.1982 x443 - 1.0195418832074 x443 x539 + .4602295096966 x443 x563 = 0 e821: x252 - 989.1982 x444 - 1.0195418832074 x444 x540 + .4602295096966 x444 x564 = 0 e822: x253 - 989.1982 x445 - 1.0195418832074 x445 x541 + .4602295096966 x445 x565 = 0 e823: x254 - 989.1982 x446 - 1.0195418832074 x446 x542 + .4602295096966 x446 x566 = 0 e824: x255 - 989.1982 x447 - 1.0195418832074 x447 x543 + .4602295096966 x447 x567 = 0 e825: x256 - 989.1982 x448 - 1.0195418832074 x448 x544 + .4602295096966 x448 x568 = 0 e826: x257 - 989.1982 x449 - 1.0195418832074 x449 x545 + .4602295096966 x449 x569 = 0 e827: x258 - 989.1982 x450 - 1.0195418832074 x450 x546 + .4602295096966 x450 x570 = 0 e828: x259 - 989.1982 x451 - 1.0195418832074 x451 x547 + .4602295096966 x451 x571 = 0 e829: x260 - 989.1982 x452 - 1.0195418832074 x452 x548 + .4602295096966 x452 x572 = 0 e830: x261 - 989.1982 x453 - 1.0195418832074 x453 x549 + .4602295096966 x453 x573 = 0 e831: x262 - 989.1982 x454 - 1.0195418832074 x454 x550 + .4602295096966 x454 x574 = 0 e832: x263 - 989.1982 x455 - 1.0195418832074 x455 x551 + .4602295096966 x455 x575 = 0 e833: x264 - 989.1982 x456 - 1.0195418832074 x456 x552 + .4602295096966 x456 x576 = 0 e834: x265 - 67.34698 x457 - .5742413664547 x457 x553 = 0 e835: x266 - 67.34698 x458 - .5742413664547 x458 x554 = 0 e836: x267 - 67.34698 x459 - .5742413664547 x459 x555 = 0 e837: x268 - 67.34698 x460 - .5742413664547 x460 x556 = 0 e838: x269 - 67.34698 x461 - .5742413664547 x461 x557 = 0 e839: x270 - 67.34698 x462 - .5742413664547 x462 x558 = 0 e840: x271 - 67.34698 x463 - .5742413664547 x463 x559 = 0 e841: x272 - 67.34698 x464 - .5742413664547 x464 x560 = 0 e842: x273 - 67.34698 x465 - .5742413664547 x465 x561 = 0 e843: x274 - 67.34698 x466 - .5742413664547 x466 x562 = 0 e844: x275 - 67.34698 x467 - .5742413664547 x467 x563 = 0 e845: x276 - 67.34698 x468 - .5742413664547 x468 x564 = 0 e846: x277 - 67.34698 x469 - .5742413664547 x469 x565 = 0 e847: x278 - 67.34698 x470 - .5742413664547 x470 x566 = 0 e848: x279 - 67.34698 x471 - .5742413664547 x471 x567 = 0 e849: x280 - 67.34698 x472 - .5742413664547 x472 x568 = 0 e850: x281 - 67.34698 x473 - .5742413664547 x473 x569 = 0 e851: x282 - 67.34698 x474 - .5742413664547 x474 x570 = 0 e852: x283 - 67.34698 x475 - .5742413664547 x475 x571 = 0 e853: x284 - 67.34698 x476 - .5742413664547 x476 x572 = 0 e854: x285 - 67.34698 x477 - .5742413664547 x477 x573 = 0 e855: x286 - 67.34698 x478 - .5742413664547 x478 x574 = 0 e856: x287 - 67.34698 x479 - .5742413664547 x479 x575 = 0 e857: x288 - 67.34698 x480 - .5742413664547 x480 x576 = 0 Bounds x193 <= 188.08 x194 <= 188.08 x195 <= 188.08 x196 <= 188.08 x197 <= 188.08 x198 <= 188.08 x199 <= 188.08 x200 <= 188.08 x201 <= 188.08 x202 <= 188.08 x203 <= 188.08 x204 <= 188.08 x205 <= 188.08 x206 <= 188.08 x207 <= 188.08 x208 <= 188.08 x209 <= 188.08 x210 <= 188.08 x211 <= 188.08 x212 <= 188.08 x213 <= 188.08 x214 <= 188.08 x215 <= 188.08 x216 <= 188.08 x217 <= 237.14 x218 <= 237.14 x219 <= 237.14 x220 <= 237.14 x221 <= 237.14 x222 <= 237.14 x223 <= 237.14 x224 <= 237.14 x225 <= 237.14 x226 <= 237.14 x227 <= 237.14 x228 <= 237.14 x229 <= 237.14 x230 <= 237.14 x231 <= 237.14 x232 <= 237.14 x233 <= 237.14 x234 <= 237.14 x235 <= 237.14 x236 <= 237.14 x237 <= 237.14 x238 <= 237.14 x239 <= 237.14 x240 <= 237.14 x241 <= 60 x242 <= 60 x243 <= 60 x244 <= 60 x245 <= 60 x246 <= 60 x247 <= 60 x248 <= 60 x249 <= 60 x250 <= 60 x251 <= 60 x252 <= 60 x253 <= 60 x254 <= 60 x255 <= 60 x256 <= 60 x257 <= 60 x258 <= 60 x259 <= 60 x260 <= 60 x261 <= 60 x262 <= 60 x263 <= 60 x264 <= 60 x265 <= 185.99 x266 <= 185.99 x267 <= 185.99 x268 <= 185.99 x269 <= 185.99 x270 <= 185.99 x271 <= 185.99 x272 <= 185.99 x273 <= 185.99 x274 <= 185.99 x275 <= 185.99 x276 <= 185.99 x277 <= 185.99 x278 <= 185.99 x279 <= 185.99 x280 <= 185.99 x281 <= 185.99 x282 <= 185.99 x283 <= 185.99 x284 <= 185.99 x285 <= 185.99 x286 <= 185.99 x287 <= 185.99 x288 <= 185.99 x385 <= 4.1202 x386 <= 4.1202 x387 <= 4.1202 x388 <= 4.1202 x389 <= 4.1202 x390 <= 4.1202 x391 <= 4.1202 x392 <= 4.1202 x393 <= 4.1202 x394 <= 4.1202 x395 <= 4.1202 x396 <= 4.1202 x397 <= 4.1202 x398 <= 4.1202 x399 <= 4.1202 x400 <= 4.1202 x401 <= 4.1202 x402 <= 4.1202 x403 <= 4.1202 x404 <= 4.1202 x405 <= 4.1202 x406 <= 4.1202 x407 <= 4.1202 x408 <= 4.1202 x409 <= 3.888 x410 <= 3.888 x411 <= 3.888 x412 <= 3.888 x413 <= 3.888 x414 <= 3.888 x415 <= 3.888 x416 <= 3.888 x417 <= 3.888 x418 <= 3.888 x419 <= 3.888 x420 <= 3.888 x421 <= 3.888 x422 <= 3.888 x423 <= 3.888 x424 <= 3.888 x425 <= 3.888 x426 <= 3.888 x427 <= 3.888 x428 <= 3.888 x429 <= 3.888 x430 <= 3.888 x431 <= 3.888 x432 <= 3.888 x433 <= 5.904e-2 x434 <= 5.904e-2 x435 <= 5.904e-2 x436 <= 5.904e-2 x437 <= 5.904e-2 x438 <= 5.904e-2 x439 <= 5.904e-2 x440 <= 5.904e-2 x441 <= 5.904e-2 x442 <= 5.904e-2 x443 <= 5.904e-2 x444 <= 5.904e-2 x445 <= 5.904e-2 x446 <= 5.904e-2 x447 <= 5.904e-2 x448 <= 5.904e-2 x449 <= 5.904e-2 x450 <= 5.904e-2 x451 <= 5.904e-2 x452 <= 5.904e-2 x453 <= 5.904e-2 x454 <= 5.904e-2 x455 <= 5.904e-2 x456 <= 5.904e-2 x457 <= 3.24 x458 <= 3.24 x459 <= 3.24 x460 <= 3.24 x461 <= 3.24 x462 <= 3.24 x463 <= 3.24 x464 <= 3.24 x465 <= 3.24 x466 <= 3.24 x467 <= 3.24 x468 <= 3.24 x469 <= 3.24 x470 <= 3.24 x471 <= 3.24 x472 <= 3.24 x473 <= 3.24 x474 <= 3.24 x475 <= 3.24 x476 <= 3.24 x477 <= 3.24 x478 <= 3.24 x479 <= 3.24 x480 <= 3.24 5.18 <= x481 <= 12.94 5.18 <= x482 <= 12.94 5.18 <= x483 <= 12.94 5.18 <= x484 <= 12.94 5.18 <= x485 <= 12.94 5.18 <= x486 <= 12.94 5.18 <= x487 <= 12.94 5.18 <= x488 <= 12.94 5.18 <= x489 <= 12.94 5.18 <= x490 <= 12.94 5.18 <= x491 <= 12.94 5.18 <= x492 <= 12.94 5.18 <= x493 <= 12.94 5.18 <= x494 <= 12.94 5.18 <= x495 <= 12.94 5.18 <= x496 <= 12.94 5.18 <= x497 <= 12.94 5.18 <= x498 <= 12.94 5.18 <= x499 <= 12.94 5.18 <= x500 <= 12.94 5.18 <= x501 <= 12.94 5.18 <= x502 <= 12.94 5.18 <= x503 <= 12.94 x504 = 10.35 5.32 <= x505 <= 13.3 5.32 <= x506 <= 13.3 5.32 <= x507 <= 13.3 5.32 <= x508 <= 13.3 5.32 <= x509 <= 13.3 5.32 <= x510 <= 13.3 5.32 <= x511 <= 13.3 5.32 <= x512 <= 13.3 5.32 <= x513 <= 13.3 5.32 <= x514 <= 13.3 5.32 <= x515 <= 13.3 5.32 <= x516 <= 13.3 5.32 <= x517 <= 13.3 5.32 <= x518 <= 13.3 5.32 <= x519 <= 13.3 5.32 <= x520 <= 13.3 5.32 <= x521 <= 13.3 5.32 <= x522 <= 13.3 5.32 <= x523 <= 13.3 5.32 <= x524 <= 13.3 5.32 <= x525 <= 13.3 5.32 <= x526 <= 13.3 5.32 <= x527 <= 13.3 x528 = 10.64 39 <= x529 <= 97.5 39 <= x530 <= 97.5 39 <= x531 <= 97.5 39 <= x532 <= 97.5 39 <= x533 <= 97.5 39 <= x534 <= 97.5 39 <= x535 <= 97.5 39 <= x536 <= 97.5 39 <= x537 <= 97.5 39 <= x538 <= 97.5 39 <= x539 <= 97.5 39 <= x540 <= 97.5 39 <= x541 <= 97.5 39 <= x542 <= 97.5 39 <= x543 <= 97.5 39 <= x544 <= 97.5 39 <= x545 <= 97.5 39 <= x546 <= 97.5 39 <= x547 <= 97.5 39 <= x548 <= 97.5 39 <= x549 <= 97.5 39 <= x550 <= 97.5 39 <= x551 <= 97.5 x552 = 78 4.8 <= x553 <= 12 4.8 <= x554 <= 12 4.8 <= x555 <= 12 4.8 <= x556 <= 12 4.8 <= x557 <= 12 4.8 <= x558 <= 12 4.8 <= x559 <= 12 4.8 <= x560 <= 12 4.8 <= x561 <= 12 4.8 <= x562 <= 12 4.8 <= x563 <= 12 4.8 <= x564 <= 12 4.8 <= x565 <= 12 4.8 <= x566 <= 12 4.8 <= x567 <= 12 4.8 <= x568 <= 12 4.8 <= x569 <= 12 4.8 <= x570 <= 12 4.8 <= x571 <= 12 4.8 <= x572 <= 12 4.8 <= x573 <= 12 4.8 <= x574 <= 12 4.8 <= x575 <= 12 x576 = 9.6 Binary b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 b21 b22 b23 b24 b25 b26 b27 b28 b29 b30 b31 b32 b33 b34 b35 b36 b37 b38 b39 b40 b41 b42 b43 b44 b45 b46 b47 b48 b49 b50 b51 b52 b53 b54 b55 b56 b57 b58 b59 b60 b61 b62 b63 b64 b65 b66 b67 b68 b69 b70 b71 b72 b73 b74 b75 b76 b77 b78 b79 b80 b81 b82 b83 b84 b85 b86 b87 b88 b89 b90 b91 b92 b93 b94 b95 b96 b97 b98 b99 b100 b101 b102 b103 b104 b105 b106 b107 b108 b109 b110 b111 b112 b113 b114 b115 b116 b117 b118 b119 b120 b121 b122 b123 b124 b125 b126 b127 b128 b129 b130 b131 b132 b133 b134 b135 b136 b137 b138 b139 b140 b141 b142 b143 b144 b145 b146 b147 b148 b149 b150 b151 b152 b153 b154 b155 b156 b157 b158 b159 b160 b161 b162 b163 b164 b165 b166 b167 b168 b169 b170 b171 b172 b173 b174 b175 b176 b177 b178 b179 b180 b181 b182 b183 b184 b185 b186 b187 b188 b189 b190 b191 b192 End