\ Equation counts \ Total E G L N X C B \ 571 520 0 51 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 672 672 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 4170 3146 1024 0 \ Minimize obj: 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 - 10 x130 - 9.5 x131 - 9 x132 - 8.5 x133 - 8 x134 - 7.5 x135 - 7 x136 - 6.5 x137 - 6 x138 - 5.5 x139 - 5 x140 - 4.5 x141 - 4 x142 - 3.5 x143 - 3 x144 - 2.5 x145 - 9 x146 - 8.5 x147 - 8 x148 - 7.5 x149 - 7 x150 - 6.5 x151 - 6 x152 - 5.5 x153 - 5 x154 - 4.5 x155 - 4 x156 - 3.5 x157 - 3 x158 - 2.5 x159 - 2 x160 - 1.5 x161 - 9 x162 - 8.5 x163 - 8 x164 - 7.5 x165 - 7 x166 - 6.5 x167 - 6 x168 - 5.5 x169 - 5 x170 - 4.5 x171 - 4 x172 - 3.5 x173 - 3 x174 - 2.5 x175 - 2 x176 - 1.5 x177 - 8 x178 - 7.5 x179 - 7 x180 - 6.5 x181 - 6 x182 - 5.5 x183 - 5 x184 - 4.5 x185 - 4 x186 - 3.5 x187 - 3 x188 - 2.5 x189 - 2 x190 - 1.5 x191 - x192 - .5 x193 - 8 x194 - 7.5 x195 - 7 x196 - 6.5 x197 - 6 x198 - 5.5 x199 - 5 x200 - 4.5 x201 - 4 x202 - 3.5 x203 - 3 x204 - 2.5 x205 - 2 x206 - 1.5 x207 - x208 - .5 x209 - 8 x210 - 7.5 x211 - 7 x212 - 6.5 x213 - 6 x214 - 5.5 x215 - 5 x216 - 4.5 x217 - 4 x218 - 3.5 x219 - 3 x220 - 2.5 x221 - 2 x222 - 1.5 x223 - x224 - .5 x225 - 7 x226 - 6.5 x227 - 6 x228 - 5.5 x229 - 5 x230 - 4.5 x231 - 4 x232 - 3.5 x233 - 3 x234 - 2.5 x235 - 2 x236 - 1.5 x237 - x238 - .5 x239 + 0 x240 + .5 x241 - 7 x242 - 6.5 x243 - 6 x244 - 5.5 x245 - 5 x246 - 4.5 x247 - 4 x248 - 3.5 x249 - 3 x250 - 2.5 x251 - 2 x252 - 1.5 x253 - x254 - .5 x255 + 0 x256 + .5 x257 - 7 x258 - 6.5 x259 - 6 x260 - 5.5 x261 - 5 x262 - 4.5 x263 - 4 x264 - 3.5 x265 - 3 x266 - 2.5 x267 - 2 x268 - 1.5 x269 - x270 - .5 x271 + 0 x272 + .5 x273 - 7 x274 - 6.5 x275 - 6 x276 - 5.5 x277 - 5 x278 - 4.5 x279 - 4 x280 - 3.5 x281 - 3 x282 - 2.5 x283 - 2 x284 - 1.5 x285 - x286 - .5 x287 + 0 x288 + .5 x289 - 6 x290 - 5.5 x291 - 5 x292 - 4.5 x293 - 4 x294 - 3.5 x295 - 3 x296 - 2.5 x297 - 2 x298 - 1.5 x299 - x300 - .5 x301 + 0 x302 + .5 x303 + x304 + 1.5 x305 - 6 x306 - 5.5 x307 - 5 x308 - 4.5 x309 - 4 x310 - 3.5 x311 - 3 x312 - 2.5 x313 - 2 x314 - 1.5 x315 - x316 - .5 x317 + 0 x318 + .5 x319 + x320 + 1.5 x321 - 6 x322 - 5.5 x323 - 5 x324 - 4.5 x325 - 4 x326 - 3.5 x327 - 3 x328 - 2.5 x329 - 2 x330 - 1.5 x331 - x332 - .5 x333 + 0 x334 + .5 x335 + x336 + 1.5 x337 - 6 x338 - 5.5 x339 - 5 x340 - 4.5 x341 - 4 x342 - 3.5 x343 - 3 x344 - 2.5 x345 - 2 x346 - 1.5 x347 - x348 - .5 x349 + 0 x350 + .5 x351 + x352 + 1.5 x353 - 5 x354 - 4.5 x355 - 4 x356 - 3.5 x357 - 3 x358 - 2.5 x359 - 2 x360 - 1.5 x361 - x362 - .5 x363 + 0 x364 + .5 x365 + x366 + 1.5 x367 + 2 x368 + 2.5 x369 - 5 x370 - 4.5 x371 - 4 x372 - 3.5 x373 - 3 x374 - 2.5 x375 - 2 x376 - 1.5 x377 - x378 - .5 x379 + 0 x380 + .5 x381 + x382 + 1.5 x383 + 2 x384 + 2.5 x385 - 5 x386 - 4.5 x387 - 4 x388 - 3.5 x389 - 3 x390 - 2.5 x391 - 2 x392 - 1.5 x393 - x394 - .5 x395 + 0 x396 + .5 x397 + x398 + 1.5 x399 + 2 x400 + 2.5 x401 - 5 x402 - 4.5 x403 - 4 x404 - 3.5 x405 - 3 x406 - 2.5 x407 - 2 x408 - 1.5 x409 - x410 - .5 x411 + 0 x412 + .5 x413 + x414 + 1.5 x415 + 2 x416 + 2.5 x417 - 4 x418 - 3.5 x419 - 3 x420 - 2.5 x421 - 2 x422 - 1.5 x423 - x424 - .5 x425 + 0 x426 + .5 x427 + x428 + 1.5 x429 + 2 x430 + 2.5 x431 + 3 x432 + 3.5 x433 - 4 x434 - 3.5 x435 - 3 x436 - 2.5 x437 - 2 x438 - 1.5 x439 - x440 - .5 x441 + 0 x442 + .5 x443 + x444 + 1.5 x445 + 2 x446 + 2.5 x447 + 3 x448 + 3.5 x449 - 4 x450 - 3.5 x451 - 3 x452 - 2.5 x453 - 2 x454 - 1.5 x455 - x456 - .5 x457 + 0 x458 + .5 x459 + x460 + 1.5 x461 + 2 x462 + 2.5 x463 + 3 x464 + 3.5 x465 - 4 x466 - 3.5 x467 - 3 x468 - 2.5 x469 - 2 x470 - 1.5 x471 - x472 - .5 x473 + 0 x474 + .5 x475 + x476 + 1.5 x477 + 2 x478 + 2.5 x479 + 3 x480 + 3.5 x481 - 3 x482 - 2.5 x483 - 2 x484 - 1.5 x485 - x486 - .5 x487 + 0 x488 + .5 x489 + x490 + 1.5 x491 + 2 x492 + 2.5 x493 + 3 x494 + 3.5 x495 + 4 x496 + 4.5 x497 - 3 x498 - 2.5 x499 - 2 x500 - 1.5 x501 - x502 - .5 x503 + 0 x504 + .5 x505 + x506 + 1.5 x507 + 2 x508 + 2.5 x509 + 3 x510 + 3.5 x511 + 4 x512 + 4.5 x513 - 3 x514 - 2.5 x515 - 2 x516 - 1.5 x517 - x518 - .5 x519 + 0 x520 + .5 x521 + x522 + 1.5 x523 + 2 x524 + 2.5 x525 + 3 x526 + 3.5 x527 + 4 x528 + 4.5 x529 - 3 x530 - 2.5 x531 - 2 x532 - 1.5 x533 - x534 - .5 x535 + 0 x536 + .5 x537 + x538 + 1.5 x539 + 2 x540 + 2.5 x541 + 3 x542 + 3.5 x543 + 4 x544 + 4.5 x545 - 2 x546 - 1.5 x547 - x548 - .5 x549 + 0 x550 + .5 x551 + x552 + 1.5 x553 + 2 x554 + 2.5 x555 + 3 x556 + 3.5 x557 + 4 x558 + 4.5 x559 + 5 x560 + 5.5 x561 - 2 x562 - 1.5 x563 - x564 - .5 x565 + 0 x566 + .5 x567 + x568 + 1.5 x569 + 2 x570 + 2.5 x571 + 3 x572 + 3.5 x573 + 4 x574 + 4.5 x575 + 5 x576 + 5.5 x577 - 2 x578 - 1.5 x579 - x580 - .5 x581 + 0 x582 + .5 x583 + x584 + 1.5 x585 + 2 x586 + 2.5 x587 + 3 x588 + 3.5 x589 + 4 x590 + 4.5 x591 + 5 x592 + 5.5 x593 - x594 - .5 x595 + 0 x596 + .5 x597 + x598 + 1.5 x599 + 2 x600 + 2.5 x601 + 3 x602 + 3.5 x603 + 4 x604 + 4.5 x605 + 5 x606 + 5.5 x607 + 6 x608 + 6.5 x609 - x610 - .5 x611 + 0 x612 + .5 x613 + x614 + 1.5 x615 + 2 x616 + 2.5 x617 + 3 x618 + 3.5 x619 + 4 x620 + 4.5 x621 + 5 x622 + 5.5 x623 + 6 x624 + 6.5 x625 + 0 x626 + .5 x627 + x628 + 1.5 x629 + 2 x630 + 2.5 x631 + 3 x632 + 3.5 x633 + 4 x634 + 4.5 x635 + 5 x636 + 5.5 x637 + 6 x638 + 6.5 x639 + 7 x640 + 7.5 x641 + 0 x642 + 0 x643 + 0 x644 + 0 x645 + 0 x646 + 0 x647 + 0 x648 + 0 x649 + 0 x650 + 0 x651 + 0 x652 + 0 x653 + 0 x654 + 0 x655 + 0 x656 + 0 x657 + 0 x658 + 0 x659 + 0 x660 + 0 x661 + 0 x662 + 0 x663 + 0 x664 + 0 x665 + 0 x666 + 0 x667 + 0 x668 + 0 x669 + 0 x670 + 0 x671 + 0 x672 + 0 x673 Subject To e2: x130 + x131 + x132 + x133 + x134 + x135 + x136 + x137 + x138 + x139 + x140 + x141 + x142 + x143 + x144 + x145 <= 16 e3: x146 + x147 + x148 + x149 + x150 + x151 + x152 + x153 + x154 + x155 + x156 + x157 + x158 + x159 + x160 + x161 + x162 + x163 + x164 + x165 + x166 + x167 + x168 + x169 + x170 + x171 + x172 + x173 + x174 + x175 + x176 + x177 <= 16 e4: x178 + x179 + x180 + x181 + x182 + x183 + x184 + x185 + x186 + x187 + x188 + x189 + x190 + x191 + x192 + x193 + x194 + x195 + x196 + x197 + x198 + x199 + x200 + x201 + x202 + x203 + x204 + x205 + x206 + x207 + x208 + x209 + x210 + x211 + x212 + x213 + x214 + x215 + x216 + x217 + x218 + x219 + x220 + x221 + x222 + x223 + x224 + x225 <= 16 e5: x226 + x227 + x228 + x229 + x230 + x231 + x232 + x233 + x234 + x235 + x236 + x237 + x238 + x239 + x240 + x241 + x242 + x243 + x244 + x245 + x246 + x247 + x248 + x249 + x250 + x251 + x252 + x253 + x254 + x255 + x256 + x257 + x258 + x259 + x260 + x261 + x262 + x263 + x264 + x265 + x266 + x267 + x268 + x269 + x270 + x271 + x272 + x273 + x274 + x275 + x276 + x277 + x278 + x279 + x280 + x281 + x282 + x283 + x284 + x285 + x286 + x287 + x288 + x289 <= 16 e6: x290 + x291 + x292 + x293 + x294 + x295 + x296 + x297 + x298 + x299 + x300 + x301 + x302 + x303 + x304 + x305 + x306 + x307 + x308 + x309 + x310 + x311 + x312 + x313 + x314 + x315 + x316 + x317 + x318 + x319 + x320 + x321 + x322 + x323 + x324 + x325 + x326 + x327 + x328 + x329 + x330 + x331 + x332 + x333 + x334 + x335 + x336 + x337 + x338 + x339 + x340 + x341 + x342 + x343 + x344 + x345 + x346 + x347 + x348 + x349 + x350 + x351 + x352 + x353 <= 16 e7: x354 + x355 + x356 + x357 + x358 + x359 + x360 + x361 + x362 + x363 + x364 + x365 + x366 + x367 + x368 + x369 + x370 + x371 + x372 + x373 + x374 + x375 + x376 + x377 + x378 + x379 + x380 + x381 + x382 + x383 + x384 + x385 + x386 + x387 + x388 + x389 + x390 + x391 + x392 + x393 + x394 + x395 + x396 + x397 + x398 + x399 + x400 + x401 + x402 + x403 + x404 + x405 + x406 + x407 + x408 + x409 + x410 + x411 + x412 + x413 + x414 + x415 + x416 + x417 <= 16 e8: x418 + x419 + x420 + x421 + x422 + x423 + x424 + x425 + x426 + x427 + x428 + x429 + x430 + x431 + x432 + x433 + x434 + x435 + x436 + x437 + x438 + x439 + x440 + x441 + x442 + x443 + x444 + x445 + x446 + x447 + x448 + x449 + x450 + x451 + x452 + x453 + x454 + x455 + x456 + x457 + x458 + x459 + x460 + x461 + x462 + x463 + x464 + x465 + x466 + x467 + x468 + x469 + x470 + x471 + x472 + x473 + x474 + x475 + x476 + x477 + x478 + x479 + x480 + x481 <= 16 e9: x482 + x483 + x484 + x485 + x486 + x487 + x488 + x489 + x490 + x491 + x492 + x493 + x494 + x495 + x496 + x497 + x498 + x499 + x500 + x501 + x502 + x503 + x504 + x505 + x506 + x507 + x508 + x509 + x510 + x511 + x512 + x513 + x514 + x515 + x516 + x517 + x518 + x519 + x520 + x521 + x522 + x523 + x524 + x525 + x526 + x527 + x528 + x529 + x530 + x531 + x532 + x533 + x534 + x535 + x536 + x537 + x538 + x539 + x540 + x541 + x542 + x543 + x544 + x545 <= 16 e10: x546 + x547 + x548 + x549 + x550 + x551 + x552 + x553 + x554 + x555 + x556 + x557 + x558 + x559 + x560 + x561 + x562 + x563 + x564 + x565 + x566 + x567 + x568 + x569 + x570 + x571 + x572 + x573 + x574 + x575 + x576 + x577 + x578 + x579 + x580 + x581 + x582 + x583 + x584 + x585 + x586 + x587 + x588 + x589 + x590 + x591 + x592 + x593 <= 16 e11: x594 + x595 + x596 + x597 + x598 + x599 + x600 + x601 + x602 + x603 + x604 + x605 + x606 + x607 + x608 + x609 + x610 + x611 + x612 + x613 + x614 + x615 + x616 + x617 + x618 + x619 + x620 + x621 + x622 + x623 + x624 + x625 <= 16 e12: x626 + x627 + x628 + x629 + x630 + x631 + x632 + x633 + x634 + x635 + x636 + x637 + x638 + x639 + x640 + x641 <= 16 e13: x482 + x483 + x484 + x485 + x486 + x487 + x488 + x489 + x490 + x491 + x492 + x493 + x494 + x495 + x496 + x497 + x546 + x547 + x548 + x549 + x550 + x551 + x552 + x553 + x554 + x555 + x556 + x557 + x558 + x559 + x560 + x561 + x594 + x595 + x596 + x597 + x598 + x599 + x600 + x601 + x602 + x603 + x604 + x605 + x606 + x607 + x608 + x609 + x626 + x627 + x628 + x629 + x630 + x631 + x632 + x633 + x634 + x635 + x636 + x637 + x638 + x639 + x640 + x641 <= 16 e14: x418 + x419 + x420 + x421 + x422 + x423 + x424 + x425 + x426 + x427 + x428 + x429 + x430 + x431 + x432 + x433 + x498 + x499 + x500 + x501 + x502 + x503 + x504 + x505 + x506 + x507 + x508 + x509 + x510 + x511 + x512 + x513 + x562 + x563 + x564 + x565 + x566 + x567 + x568 + x569 + x570 + x571 + x572 + x573 + x574 + x575 + x576 + x577 + x610 + x611 + x612 + x613 + x614 + x615 + x616 + x617 + x618 + x619 + x620 + x621 + x622 + x623 + x624 + x625 <= 16 e15: x354 + x355 + x356 + x357 + x358 + x359 + x360 + x361 + x362 + x363 + x364 + x365 + x366 + x367 + x368 + x369 + x434 + x435 + x436 + x437 + x438 + x439 + x440 + x441 + x442 + x443 + x444 + x445 + x446 + x447 + x448 + x449 + x514 + x515 + x516 + x517 + x518 + x519 + x520 + x521 + x522 + x523 + x524 + x525 + x526 + x527 + x528 + x529 + x578 + x579 + x580 + x581 + x582 + x583 + x584 + x585 + x586 + x587 + x588 + x589 + x590 + x591 + x592 + x593 <= 16 e16: x290 + x291 + x292 + x293 + x294 + x295 + x296 + x297 + x298 + x299 + x300 + x301 + x302 + x303 + x304 + x305 + x370 + x371 + x372 + x373 + x374 + x375 + x376 + x377 + x378 + x379 + x380 + x381 + x382 + x383 + x384 + x385 + x450 + x451 + x452 + x453 + x454 + x455 + x456 + x457 + x458 + x459 + x460 + x461 + x462 + x463 + x464 + x465 + x530 + x531 + x532 + x533 + x534 + x535 + x536 + x537 + x538 + x539 + x540 + x541 + x542 + x543 + x544 + x545 <= 16 e17: x226 + x227 + x228 + x229 + x230 + x231 + x232 + x233 + x234 + x235 + x236 + x237 + x238 + x239 + x240 + x241 + x306 + x307 + x308 + x309 + x310 + x311 + x312 + x313 + x314 + x315 + x316 + x317 + x318 + x319 + x320 + x321 + x386 + x387 + x388 + x389 + x390 + x391 + x392 + x393 + x394 + x395 + x396 + x397 + x398 + x399 + x400 + x401 + x466 + x467 + x468 + x469 + x470 + x471 + x472 + x473 + x474 + x475 + x476 + x477 + x478 + x479 + x480 + x481 <= 16 e18: x178 + x179 + x180 + x181 + x182 + x183 + x184 + x185 + x186 + x187 + x188 + x189 + x190 + x191 + x192 + x193 + x242 + x243 + x244 + x245 + x246 + x247 + x248 + x249 + x250 + x251 + x252 + x253 + x254 + x255 + x256 + x257 + x322 + x323 + x324 + x325 + x326 + x327 + x328 + x329 + x330 + x331 + x332 + x333 + x334 + x335 + x336 + x337 + x402 + x403 + x404 + x405 + x406 + x407 + x408 + x409 + x410 + x411 + x412 + x413 + x414 + x415 + x416 + x417 <= 16 e19: x146 + x147 + x148 + x149 + x150 + x151 + x152 + x153 + x154 + x155 + x156 + x157 + x158 + x159 + x160 + x161 + x194 + x195 + x196 + x197 + x198 + x199 + x200 + x201 + x202 + x203 + x204 + x205 + x206 + x207 + x208 + x209 + x258 + x259 + x260 + x261 + x262 + x263 + x264 + x265 + x266 + x267 + x268 + x269 + x270 + x271 + x272 + x273 + x338 + x339 + x340 + x341 + x342 + x343 + x344 + x345 + x346 + x347 + x348 + x349 + x350 + x351 + x352 + x353 <= 16 e20: x130 + x131 + x132 + x133 + x134 + x135 + x136 + x137 + x138 + x139 + x140 + x141 + x142 + x143 + x144 + x145 + x162 + x163 + x164 + x165 + x166 + x167 + x168 + x169 + x170 + x171 + x172 + x173 + x174 + x175 + x176 + x177 + x210 + x211 + x212 + x213 + x214 + x215 + x216 + x217 + x218 + x219 + x220 + x221 + x222 + x223 + x224 + x225 + x274 + x275 + x276 + x277 + x278 + x279 + x280 + x281 + x282 + x283 + x284 + x285 + x286 + x287 + x288 + x289 <= 16 e21: x130 + x146 + x162 + x178 + x194 + x210 + x226 + x242 + x258 + x274 + x290 + x306 + x322 + x338 + x354 + x370 + x386 + x402 + x418 + x434 + x450 + x466 + x482 + x498 + x514 + x530 + x546 + x562 + x578 + x594 + x610 + x626 <= 1 e22: x131 + x147 + x163 + x179 + x195 + x211 + x227 + x243 + x259 + x275 + x291 + x307 + x323 + x339 + x355 + x371 + x387 + x403 + x419 + x435 + x451 + x467 + x483 + x499 + x515 + x531 + x547 + x563 + x579 + x595 + x611 + x627 <= 1 e23: x132 + x148 + x164 + x180 + x196 + x212 + x228 + x244 + x260 + x276 + x292 + x308 + x324 + x340 + x356 + x372 + x388 + x404 + x420 + x436 + x452 + x468 + x484 + x500 + x516 + x532 + x548 + x564 + x580 + x596 + x612 + x628 <= 1 e24: x133 + x149 + x165 + x181 + x197 + x213 + x229 + x245 + x261 + x277 + x293 + x309 + x325 + x341 + x357 + x373 + x389 + x405 + x421 + x437 + x453 + x469 + x485 + x501 + x517 + x533 + x549 + x565 + x581 + x597 + x613 + x629 <= 1 e25: x134 + x150 + x166 + x182 + x198 + x214 + x230 + x246 + x262 + x278 + x294 + x310 + x326 + x342 + x358 + x374 + x390 + x406 + x422 + x438 + x454 + x470 + x486 + x502 + x518 + x534 + x550 + x566 + x582 + x598 + x614 + x630 <= 1 e26: x135 + x151 + x167 + x183 + x199 + x215 + x231 + x247 + x263 + x279 + x295 + x311 + x327 + x343 + x359 + x375 + x391 + x407 + x423 + x439 + x455 + x471 + x487 + x503 + x519 + x535 + x551 + x567 + x583 + x599 + x615 + x631 <= 1 e27: x136 + x152 + x168 + x184 + x200 + x216 + x232 + x248 + x264 + x280 + x296 + x312 + x328 + x344 + x360 + x376 + x392 + x408 + x424 + x440 + x456 + x472 + x488 + x504 + x520 + x536 + x552 + x568 + x584 + x600 + x616 + x632 <= 1 e28: x137 + x153 + x169 + x185 + x201 + x217 + x233 + x249 + x265 + x281 + x297 + x313 + x329 + x345 + x361 + x377 + x393 + x409 + x425 + x441 + x457 + x473 + x489 + x505 + x521 + x537 + x553 + x569 + x585 + x601 + x617 + x633 <= 1 e29: x138 + x154 + x170 + x186 + x202 + x218 + x234 + x250 + x266 + x282 + x298 + x314 + x330 + x346 + x362 + x378 + x394 + x410 + x426 + x442 + x458 + x474 + x490 + x506 + x522 + x538 + x554 + x570 + x586 + x602 + x618 + x634 <= 1 e30: x139 + x155 + x171 + x187 + x203 + x219 + x235 + x251 + x267 + x283 + x299 + x315 + x331 + x347 + x363 + x379 + x395 + x411 + x427 + x443 + x459 + x475 + x491 + x507 + x523 + x539 + x555 + x571 + x587 + x603 + x619 + x635 <= 1 e31: x140 + x156 + x172 + x188 + x204 + x220 + x236 + x252 + x268 + x284 + x300 + x316 + x332 + x348 + x364 + x380 + x396 + x412 + x428 + x444 + x460 + x476 + x492 + x508 + x524 + x540 + x556 + x572 + x588 + x604 + x620 + x636 <= 1 e32: x141 + x157 + x173 + x189 + x205 + x221 + x237 + x253 + x269 + x285 + x301 + x317 + x333 + x349 + x365 + x381 + x397 + x413 + x429 + x445 + x461 + x477 + x493 + x509 + x525 + x541 + x557 + x573 + x589 + x605 + x621 + x637 <= 1 e33: x142 + x158 + x174 + x190 + x206 + x222 + x238 + x254 + x270 + x286 + x302 + x318 + x334 + x350 + x366 + x382 + x398 + x414 + x430 + x446 + x462 + x478 + x494 + x510 + x526 + x542 + x558 + x574 + x590 + x606 + x622 + x638 <= 1 e34: x143 + x159 + x175 + x191 + x207 + x223 + x239 + x255 + x271 + x287 + x303 + x319 + x335 + x351 + x367 + x383 + x399 + x415 + x431 + x447 + x463 + x479 + x495 + x511 + x527 + x543 + x559 + x575 + x591 + x607 + x623 + x639 <= 1 e35: x144 + x160 + x176 + x192 + x208 + x224 + x240 + x256 + x272 + x288 + x304 + x320 + x336 + x352 + x368 + x384 + x400 + x416 + x432 + x448 + x464 + x480 + x496 + x512 + x528 + x544 + x560 + x576 + x592 + x608 + x624 + x640 <= 1 e36: x145 + x161 + x177 + x193 + x209 + x225 + x241 + x257 + x273 + x289 + x305 + x321 + x337 + x353 + x369 + x385 + x401 + x417 + x433 + x449 + x465 + x481 + x497 + x513 + x529 + x545 + x561 + x577 + x593 + x609 + x625 + x641 <= 1 e37: .95 x130 + .85 x146 + .85 x162 + .75 x178 + .75 x194 + .75 x210 + .65 x226 + .65 x242 + .65 x258 + .65 x274 + .55 x290 + .55 x306 + .55 x322 + .55 x338 + .45 x354 + .45 x370 + .45 x386 + .45 x402 + .35 x418 + .35 x434 + .35 x450 + .35 x466 + .25 x482 + .25 x498 + .25 x514 + .25 x530 + .15 x546 + .15 x562 + .15 x578 + 5e-2 x594 + 5e-2 x610 - 5e-2 x626 <= 0 e38: .9 x131 + .8 x147 + .8 x163 + .7 x179 + .7 x195 + .7 x211 + .6 x227 + .6 x243 + .6 x259 + .6 x275 + .5 x291 + .5 x307 + .5 x323 + .5 x339 + .4 x355 + .4 x371 + .4 x387 + .4 x403 + .3 x419 + .3 x435 + .3 x451 + .3 x467 + .2 x483 + .2 x499 + .2 x515 + .2 x531 + 9.99999999999999e-2 x547 + 9.99999999999999e-2 x563 + 9.99999999999999e-2 x579 - .1 x627 <= 0 e39: .85 x132 + .75 x148 + .75 x164 + .65 x180 + .65 x196 + .65 x212 + .55 x228 + .55 x244 + .55 x260 + .55 x276 + .45 x292 + .45 x308 + .45 x324 + .45 x340 + .35 x356 + .35 x372 + .35 x388 + .35 x404 + .25 x420 + .25 x436 + .25 x452 + .25 x468 + .15 x484 + .15 x500 + .15 x516 + .15 x532 + 5e-2 x548 + 5e-2 x564 + 5e-2 x580 - 4.99999999999998e-2 x596 - 4.99999999999998e-2 x612 - .15 x628 <= 0 e40: .8 x133 + .7 x149 + .7 x165 + .6 x181 + .6 x197 + .6 x213 + .5 x229 + .5 x245 + .5 x261 + .5 x277 + .4 x293 + .4 x309 + .4 x325 + .4 x341 + .3 x357 + .3 x373 + .3 x389 + .3 x405 + .2 x421 + .2 x437 + .2 x453 + .2 x469 + .1 x485 + .1 x501 + .1 x517 + .1 x533 - 9.99999999999999e-2 x597 - 9.99999999999999e-2 x613 - .2 x629 <= 0 e41: .75 x134 + .65 x150 + .65 x166 + .55 x182 + .55 x198 + .55 x214 + .45 x230 + .45 x246 + .45 x262 + .45 x278 + .35 x294 + .35 x310 + .35 x326 + .35 x342 + .25 x358 + .25 x374 + .25 x390 + .25 x406 + .15 x422 + .15 x438 + .15 x454 + .15 x470 + 5e-2 x486 + 5e-2 x502 + 5e-2 x518 + 5e-2 x534 - 5e-2 x550 - 5e-2 x566 - 5e-2 x582 - .15 x598 - .15 x614 - .25 x630 <= 0 e42: .7 x135 + .6 x151 + .6 x167 + .5 x183 + .5 x199 + .5 x215 + .4 x231 + .4 x247 + .4 x263 + .4 x279 + .3 x295 + .3 x311 + .3 x327 + .3 x343 + .2 x359 + .2 x375 + .2 x391 + .2 x407 + 9.99999999999999e-2 x423 + 9.99999999999999e-2 x439 + 9.99999999999999e-2 x455 + 9.99999999999999e-2 x471 - .1 x551 - .1 x567 - .1 x583 - .2 x599 - .2 x615 - .3 x631 <= 0 e43: .65 x136 + .55 x152 + .55 x168 + .45 x184 + .45 x200 + .45 x216 + .35 x232 + .35 x248 + .35 x264 + .35 x280 + .25 x296 + .25 x312 + .25 x328 + .25 x344 + .15 x360 + .15 x376 + .15 x392 + .15 x408 + 4.99999999999998e-2 x424 + 4.99999999999998e-2 x440 + 4.99999999999998e-2 x456 + 4.99999999999998e-2 x472 - 5e-2 x488 - 5e-2 x504 - 5e-2 x520 - 5e-2 x536 - .15 x552 - .15 x568 - .15 x584 - .25 x600 - .25 x616 - .35 x632 <= 0 e44: .6 x137 + .5 x153 + .5 x169 + .4 x185 + .4 x201 + .4 x217 + .3 x233 + .3 x249 + .3 x265 + .3 x281 + .2 x297 + .2 x313 + .2 x329 + .2 x345 + .1 x361 + .1 x377 + .1 x393 + .1 x409 - 9.99999999999999e-2 x489 - 9.99999999999999e-2 x505 - 9.99999999999999e-2 x521 - 9.99999999999999e-2 x537 - .2 x553 - .2 x569 - .2 x585 - .3 x601 - .3 x617 - .4 x633 <= 0 e45: .55 x138 + .45 x154 + .45 x170 + .35 x186 + .35 x202 + .35 x218 + .25 x234 + .25 x250 + .25 x266 + .25 x282 + .15 x298 + .15 x314 + .15 x330 + .15 x346 + 5e-2 x362 + 5e-2 x378 + 5e-2 x394 + 5e-2 x410 - 5e-2 x426 - 5e-2 x442 - 5e-2 x458 - 5e-2 x474 - .15 x490 - .15 x506 - .15 x522 - .15 x538 - .25 x554 - .25 x570 - .25 x586 - .35 x602 - .35 x618 - .45 x634 <= 0 e46: .5 x139 + .4 x155 + .4 x171 + .3 x187 + .3 x203 + .3 x219 + .2 x235 + .2 x251 + .2 x267 + .2 x283 + .1 x299 + .1 x315 + .1 x331 + .1 x347 - .1 x427 - .1 x443 - .1 x459 - .1 x475 - .2 x491 - .2 x507 - .2 x523 - .2 x539 - .3 x555 - .3 x571 - .3 x587 - .4 x603 - .4 x619 - .5 x635 <= 0 e47: .45 x140 + .35 x156 + .35 x172 + .25 x188 + .25 x204 + .25 x220 + .15 x236 + .15 x252 + .15 x268 + .15 x284 + 5e-2 x300 + 5e-2 x316 + 5e-2 x332 + 5e-2 x348 - 5e-2 x364 - 5e-2 x380 - 5e-2 x396 - 5e-2 x412 - .15 x428 - .15 x444 - .15 x460 - .15 x476 - .25 x492 - .25 x508 - .25 x524 - .25 x540 - .35 x556 - .35 x572 - .35 x588 - .45 x604 - .45 x620 - .55 x636 <= 0 e48: .4 x141 + .3 x157 + .3 x173 + .2 x189 + .2 x205 + .2 x221 + 9.99999999999999e-2 x237 + 9.99999999999999e-2 x253 + 9.99999999999999e-2 x269 + 9.99999999999999e-2 x285 - .1 x365 - .1 x381 - .1 x397 - .1 x413 - .2 x429 - .2 x445 - .2 x461 - .2 x477 - .3 x493 - .3 x509 - .3 x525 - .3 x541 - .4 x557 - .4 x573 - .4 x589 - .5 x605 - .5 x621 - .6 x637 <= 0 e49: .35 x142 + .25 x158 + .25 x174 + .15 x190 + .15 x206 + .15 x222 + 5e-2 x238 + 5e-2 x254 + 5e-2 x270 + 5e-2 x286 - 4.99999999999998e-2 x302 - 4.99999999999998e-2 x318 - 4.99999999999998e-2 x334 - 4.99999999999998e-2 x350 - .15 x366 - .15 x382 - .15 x398 - .15 x414 - .25 x430 - .25 x446 - .25 x462 - .25 x478 - .35 x494 - .35 x510 - .35 x526 - .35 x542 - .45 x558 - .45 x574 - .45 x590 - .55 x606 - .55 x622 - .65 x638 <= 0 e50: .3 x143 + .2 x159 + .2 x175 + .1 x191 + .1 x207 + .1 x223 - 9.99999999999999e-2 x303 - 9.99999999999999e-2 x319 - 9.99999999999999e-2 x335 - 9.99999999999999e-2 x351 - .2 x367 - .2 x383 - .2 x399 - .2 x415 - .3 x431 - .3 x447 - .3 x463 - .3 x479 - .4 x495 - .4 x511 - .4 x527 - .4 x543 - .5 x559 - .5 x575 - .5 x591 - .6 x607 - .6 x623 - .7 x639 <= 0 e51: .25 x144 + .15 x160 + .15 x176 + 5e-2 x192 + 5e-2 x208 + 5e-2 x224 - 5e-2 x240 - 5e-2 x256 - 5e-2 x272 - 5e-2 x288 - .15 x304 - .15 x320 - .15 x336 - .15 x352 - .25 x368 - .25 x384 - .25 x400 - .25 x416 - .35 x432 - .35 x448 - .35 x464 - .35 x480 - .45 x496 - .45 x512 - .45 x528 - .45 x544 - .55 x560 - .55 x576 - .55 x592 - .65 x608 - .65 x624 - .75 x640 <= 0 e52: .2 x145 + 9.99999999999999e-2 x161 + 9.99999999999999e-2 x177 - .1 x241 - .1 x257 - .1 x273 - .1 x289 - .2 x305 - .2 x321 - .2 x337 - .2 x353 - .3 x369 - .3 x385 - .3 x401 - .3 x417 - .4 x433 - .4 x449 - .4 x465 - .4 x481 - .5 x497 - .5 x513 - .5 x529 - .5 x545 - .6 x561 - .6 x577 - .6 x593 - .7 x609 - .7 x625 - .8 x641 <= 0 e53: x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x13 + x14 + x15 + x16 + x17 = 1 e54: x18 + x19 + x20 + x21 + x22 + x23 + x24 + x25 + x26 + x27 + x28 + x29 + x30 + x31 + x32 + x33 = 1 e55: x34 + x35 + x36 + x37 + x38 + x39 + x40 + x41 + x42 + x43 + x44 + x45 + x46 + x47 + x48 + x49 = 1 e56: x50 + x51 + x52 + x53 + x54 + x55 + x56 + x57 + x58 + x59 + x60 + x61 + x62 + x63 + x64 + x65 = 1 e57: x66 + x67 + x68 + x69 + x70 + x71 + x72 + x73 + x74 + x75 + x76 + x77 + x78 + x79 + x80 + x81 = 1 e58: x82 + x83 + x84 + x85 + x86 + x87 + x88 + x89 + x90 + x91 + x92 + x93 + x94 + x95 + x96 + x97 = 1 e59: x98 + x99 + x100 + x101 + x102 + x103 + x104 + x105 + x106 + x107 + x108 + x109 + x110 + x111 + x112 + x113 = 1 e60: x114 + x115 + x116 + x117 + x118 + x119 + x120 + x121 + x122 + x123 + x124 + x125 + x126 + x127 + x128 + x129 = 1 e61: x130 - x114 x642 = 0 e62: x131 - x115 x642 = 0 e63: x132 - x116 x642 = 0 e64: x133 - x117 x642 = 0 e65: x134 - x118 x642 = 0 e66: x135 - x119 x642 = 0 e67: x136 - x120 x642 = 0 e68: x137 - x121 x642 = 0 e69: x138 - x122 x642 = 0 e70: x139 - x123 x642 = 0 e71: x140 - x124 x642 = 0 e72: x141 - x125 x642 = 0 e73: x142 - x126 x642 = 0 e74: x143 - x127 x642 = 0 e75: x144 - x128 x642 = 0 e76: x145 - x129 x642 = 0 e77: x146 - x98 x643 = 0 e78: x147 - x99 x643 = 0 e79: x148 - x100 x643 = 0 e80: x149 - x101 x643 = 0 e81: x150 - x102 x643 = 0 e82: x151 - x103 x643 = 0 e83: x152 - x104 x643 = 0 e84: x153 - x105 x643 = 0 e85: x154 - x106 x643 = 0 e86: x155 - x107 x643 = 0 e87: x156 - x108 x643 = 0 e88: x157 - x109 x643 = 0 e89: x158 - x110 x643 = 0 e90: x159 - x111 x643 = 0 e91: x160 - x112 x643 = 0 e92: x161 - x113 x643 = 0 e93: x162 - x114 x644 = 0 e94: x163 - x115 x644 = 0 e95: x164 - x116 x644 = 0 e96: x165 - x117 x644 = 0 e97: x166 - x118 x644 = 0 e98: x167 - x119 x644 = 0 e99: x168 - x120 x644 = 0 e100: x169 - x121 x644 = 0 e101: x170 - x122 x644 = 0 e102: x171 - x123 x644 = 0 e103: x172 - x124 x644 = 0 e104: x173 - x125 x644 = 0 e105: x174 - x126 x644 = 0 e106: x175 - x127 x644 = 0 e107: x176 - x128 x644 = 0 e108: x177 - x129 x644 = 0 e109: x178 - x82 x645 = 0 e110: x179 - x83 x645 = 0 e111: x180 - x84 x645 = 0 e112: x181 - x85 x645 = 0 e113: x182 - x86 x645 = 0 e114: x183 - x87 x645 = 0 e115: x184 - x88 x645 = 0 e116: x185 - x89 x645 = 0 e117: x186 - x90 x645 = 0 e118: x187 - x91 x645 = 0 e119: x188 - x92 x645 = 0 e120: x189 - x93 x645 = 0 e121: x190 - x94 x645 = 0 e122: x191 - x95 x645 = 0 e123: x192 - x96 x645 = 0 e124: x193 - x97 x645 = 0 e125: x194 - x98 x646 = 0 e126: x195 - x99 x646 = 0 e127: x196 - x100 x646 = 0 e128: x197 - x101 x646 = 0 e129: x198 - x102 x646 = 0 e130: x199 - x103 x646 = 0 e131: x200 - x104 x646 = 0 e132: x201 - x105 x646 = 0 e133: x202 - x106 x646 = 0 e134: x203 - x107 x646 = 0 e135: x204 - x108 x646 = 0 e136: x205 - x109 x646 = 0 e137: x206 - x110 x646 = 0 e138: x207 - x111 x646 = 0 e139: x208 - x112 x646 = 0 e140: x209 - x113 x646 = 0 e141: x210 - x114 x647 = 0 e142: x211 - x115 x647 = 0 e143: x212 - x116 x647 = 0 e144: x213 - x117 x647 = 0 e145: x214 - x118 x647 = 0 e146: x215 - x119 x647 = 0 e147: x216 - x120 x647 = 0 e148: x217 - x121 x647 = 0 e149: x218 - x122 x647 = 0 e150: x219 - x123 x647 = 0 e151: x220 - x124 x647 = 0 e152: x221 - x125 x647 = 0 e153: x222 - x126 x647 = 0 e154: x223 - x127 x647 = 0 e155: x224 - x128 x647 = 0 e156: x225 - x129 x647 = 0 e157: x226 - x66 x648 = 0 e158: x227 - x67 x648 = 0 e159: x228 - x68 x648 = 0 e160: x229 - x69 x648 = 0 e161: x230 - x70 x648 = 0 e162: x231 - x71 x648 = 0 e163: x232 - x72 x648 = 0 e164: x233 - x73 x648 = 0 e165: x234 - x74 x648 = 0 e166: x235 - x75 x648 = 0 e167: x236 - x76 x648 = 0 e168: x237 - x77 x648 = 0 e169: x238 - x78 x648 = 0 e170: x239 - x79 x648 = 0 e171: x240 - x80 x648 = 0 e172: x241 - x81 x648 = 0 e173: x242 - x82 x649 = 0 e174: x243 - x83 x649 = 0 e175: x244 - x84 x649 = 0 e176: x245 - x85 x649 = 0 e177: x246 - x86 x649 = 0 e178: x247 - x87 x649 = 0 e179: x248 - x88 x649 = 0 e180: x249 - x89 x649 = 0 e181: x250 - x90 x649 = 0 e182: x251 - x91 x649 = 0 e183: x252 - x92 x649 = 0 e184: x253 - x93 x649 = 0 e185: x254 - x94 x649 = 0 e186: x255 - x95 x649 = 0 e187: x256 - x96 x649 = 0 e188: x257 - x97 x649 = 0 e189: x258 - x98 x650 = 0 e190: x259 - x99 x650 = 0 e191: x260 - x100 x650 = 0 e192: x261 - x101 x650 = 0 e193: x262 - x102 x650 = 0 e194: x263 - x103 x650 = 0 e195: x264 - x104 x650 = 0 e196: x265 - x105 x650 = 0 e197: x266 - x106 x650 = 0 e198: x267 - x107 x650 = 0 e199: x268 - x108 x650 = 0 e200: x269 - x109 x650 = 0 e201: x270 - x110 x650 = 0 e202: x271 - x111 x650 = 0 e203: x272 - x112 x650 = 0 e204: x273 - x113 x650 = 0 e205: x274 - x114 x651 = 0 e206: x275 - x115 x651 = 0 e207: x276 - x116 x651 = 0 e208: x277 - x117 x651 = 0 e209: x278 - x118 x651 = 0 e210: x279 - x119 x651 = 0 e211: x280 - x120 x651 = 0 e212: x281 - x121 x651 = 0 e213: x282 - x122 x651 = 0 e214: x283 - x123 x651 = 0 e215: x284 - x124 x651 = 0 e216: x285 - x125 x651 = 0 e217: x286 - x126 x651 = 0 e218: x287 - x127 x651 = 0 e219: x288 - x128 x651 = 0 e220: x289 - x129 x651 = 0 e221: x290 - x50 x652 = 0 e222: x291 - x51 x652 = 0 e223: x292 - x52 x652 = 0 e224: x293 - x53 x652 = 0 e225: x294 - x54 x652 = 0 e226: x295 - x55 x652 = 0 e227: x296 - x56 x652 = 0 e228: x297 - x57 x652 = 0 e229: x298 - x58 x652 = 0 e230: x299 - x59 x652 = 0 e231: x300 - x60 x652 = 0 e232: x301 - x61 x652 = 0 e233: x302 - x62 x652 = 0 e234: x303 - x63 x652 = 0 e235: x304 - x64 x652 = 0 e236: x305 - x65 x652 = 0 e237: x306 - x66 x653 = 0 e238: x307 - x67 x653 = 0 e239: x308 - x68 x653 = 0 e240: x309 - x69 x653 = 0 e241: x310 - x70 x653 = 0 e242: x311 - x71 x653 = 0 e243: x312 - x72 x653 = 0 e244: x313 - x73 x653 = 0 e245: x314 - x74 x653 = 0 e246: x315 - x75 x653 = 0 e247: x316 - x76 x653 = 0 e248: x317 - x77 x653 = 0 e249: x318 - x78 x653 = 0 e250: x319 - x79 x653 = 0 e251: x320 - x80 x653 = 0 e252: x321 - x81 x653 = 0 e253: x322 - x82 x654 = 0 e254: x323 - x83 x654 = 0 e255: x324 - x84 x654 = 0 e256: x325 - x85 x654 = 0 e257: x326 - x86 x654 = 0 e258: x327 - x87 x654 = 0 e259: x328 - x88 x654 = 0 e260: x329 - x89 x654 = 0 e261: x330 - x90 x654 = 0 e262: x331 - x91 x654 = 0 e263: x332 - x92 x654 = 0 e264: x333 - x93 x654 = 0 e265: x334 - x94 x654 = 0 e266: x335 - x95 x654 = 0 e267: x336 - x96 x654 = 0 e268: x337 - x97 x654 = 0 e269: x338 - x98 x655 = 0 e270: x339 - x99 x655 = 0 e271: x340 - x100 x655 = 0 e272: x341 - x101 x655 = 0 e273: x342 - x102 x655 = 0 e274: x343 - x103 x655 = 0 e275: x344 - x104 x655 = 0 e276: x345 - x105 x655 = 0 e277: x346 - x106 x655 = 0 e278: x347 - x107 x655 = 0 e279: x348 - x108 x655 = 0 e280: x349 - x109 x655 = 0 e281: x350 - x110 x655 = 0 e282: x351 - x111 x655 = 0 e283: x352 - x112 x655 = 0 e284: x353 - x113 x655 = 0 e285: x354 - x34 x656 = 0 e286: x355 - x35 x656 = 0 e287: x356 - x36 x656 = 0 e288: x357 - x37 x656 = 0 e289: x358 - x38 x656 = 0 e290: x359 - x39 x656 = 0 e291: x360 - x40 x656 = 0 e292: x361 - x41 x656 = 0 e293: x362 - x42 x656 = 0 e294: x363 - x43 x656 = 0 e295: x364 - x44 x656 = 0 e296: x365 - x45 x656 = 0 e297: x366 - x46 x656 = 0 e298: x367 - x47 x656 = 0 e299: x368 - x48 x656 = 0 e300: x369 - x49 x656 = 0 e301: x370 - x50 x657 = 0 e302: x371 - x51 x657 = 0 e303: x372 - x52 x657 = 0 e304: x373 - x53 x657 = 0 e305: x374 - x54 x657 = 0 e306: x375 - x55 x657 = 0 e307: x376 - x56 x657 = 0 e308: x377 - x57 x657 = 0 e309: x378 - x58 x657 = 0 e310: x379 - x59 x657 = 0 e311: x380 - x60 x657 = 0 e312: x381 - x61 x657 = 0 e313: x382 - x62 x657 = 0 e314: x383 - x63 x657 = 0 e315: x384 - x64 x657 = 0 e316: x385 - x65 x657 = 0 e317: x386 - x66 x658 = 0 e318: x387 - x67 x658 = 0 e319: x388 - x68 x658 = 0 e320: x389 - x69 x658 = 0 e321: x390 - x70 x658 = 0 e322: x391 - x71 x658 = 0 e323: x392 - x72 x658 = 0 e324: x393 - x73 x658 = 0 e325: x394 - x74 x658 = 0 e326: x395 - x75 x658 = 0 e327: x396 - x76 x658 = 0 e328: x397 - x77 x658 = 0 e329: x398 - x78 x658 = 0 e330: x399 - x79 x658 = 0 e331: x400 - x80 x658 = 0 e332: x401 - x81 x658 = 0 e333: x402 - x82 x659 = 0 e334: x403 - x83 x659 = 0 e335: x404 - x84 x659 = 0 e336: x405 - x85 x659 = 0 e337: x406 - x86 x659 = 0 e338: x407 - x87 x659 = 0 e339: x408 - x88 x659 = 0 e340: x409 - x89 x659 = 0 e341: x410 - x90 x659 = 0 e342: x411 - x91 x659 = 0 e343: x412 - x92 x659 = 0 e344: x413 - x93 x659 = 0 e345: x414 - x94 x659 = 0 e346: x415 - x95 x659 = 0 e347: x416 - x96 x659 = 0 e348: x417 - x97 x659 = 0 e349: x418 - x18 x660 = 0 e350: x419 - x19 x660 = 0 e351: x420 - x20 x660 = 0 e352: x421 - x21 x660 = 0 e353: x422 - x22 x660 = 0 e354: x423 - x23 x660 = 0 e355: x424 - x24 x660 = 0 e356: x425 - x25 x660 = 0 e357: x426 - x26 x660 = 0 e358: x427 - x27 x660 = 0 e359: x428 - x28 x660 = 0 e360: x429 - x29 x660 = 0 e361: x430 - x30 x660 = 0 e362: x431 - x31 x660 = 0 e363: x432 - x32 x660 = 0 e364: x433 - x33 x660 = 0 e365: x434 - x34 x661 = 0 e366: x435 - x35 x661 = 0 e367: x436 - x36 x661 = 0 e368: x437 - x37 x661 = 0 e369: x438 - x38 x661 = 0 e370: x439 - x39 x661 = 0 e371: x440 - x40 x661 = 0 e372: x441 - x41 x661 = 0 e373: x442 - x42 x661 = 0 e374: x443 - x43 x661 = 0 e375: x444 - x44 x661 = 0 e376: x445 - x45 x661 = 0 e377: x446 - x46 x661 = 0 e378: x447 - x47 x661 = 0 e379: x448 - x48 x661 = 0 e380: x449 - x49 x661 = 0 e381: x450 - x50 x662 = 0 e382: x451 - x51 x662 = 0 e383: x452 - x52 x662 = 0 e384: x453 - x53 x662 = 0 e385: x454 - x54 x662 = 0 e386: x455 - x55 x662 = 0 e387: x456 - x56 x662 = 0 e388: x457 - x57 x662 = 0 e389: x458 - x58 x662 = 0 e390: x459 - x59 x662 = 0 e391: x460 - x60 x662 = 0 e392: x461 - x61 x662 = 0 e393: x462 - x62 x662 = 0 e394: x463 - x63 x662 = 0 e395: x464 - x64 x662 = 0 e396: x465 - x65 x662 = 0 e397: x466 - x66 x663 = 0 e398: x467 - x67 x663 = 0 e399: x468 - x68 x663 = 0 e400: x469 - x69 x663 = 0 e401: x470 - x70 x663 = 0 e402: x471 - x71 x663 = 0 e403: x472 - x72 x663 = 0 e404: x473 - x73 x663 = 0 e405: x474 - x74 x663 = 0 e406: x475 - x75 x663 = 0 e407: x476 - x76 x663 = 0 e408: x477 - x77 x663 = 0 e409: x478 - x78 x663 = 0 e410: x479 - x79 x663 = 0 e411: x480 - x80 x663 = 0 e412: x481 - x81 x663 = 0 e413: x482 - x2 x664 = 0 e414: x483 - x3 x664 = 0 e415: x484 - x4 x664 = 0 e416: x485 - x5 x664 = 0 e417: x486 - x6 x664 = 0 e418: x487 - x7 x664 = 0 e419: x488 - x8 x664 = 0 e420: x489 - x9 x664 = 0 e421: x490 - x10 x664 = 0 e422: x491 - x11 x664 = 0 e423: x492 - x12 x664 = 0 e424: x493 - x13 x664 = 0 e425: x494 - x14 x664 = 0 e426: x495 - x15 x664 = 0 e427: x496 - x16 x664 = 0 e428: x497 - x17 x664 = 0 e429: x498 - x18 x665 = 0 e430: x499 - x19 x665 = 0 e431: x500 - x20 x665 = 0 e432: x501 - x21 x665 = 0 e433: x502 - x22 x665 = 0 e434: x503 - x23 x665 = 0 e435: x504 - x24 x665 = 0 e436: x505 - x25 x665 = 0 e437: x506 - x26 x665 = 0 e438: x507 - x27 x665 = 0 e439: x508 - x28 x665 = 0 e440: x509 - x29 x665 = 0 e441: x510 - x30 x665 = 0 e442: x511 - x31 x665 = 0 e443: x512 - x32 x665 = 0 e444: x513 - x33 x665 = 0 e445: x514 - x34 x666 = 0 e446: x515 - x35 x666 = 0 e447: x516 - x36 x666 = 0 e448: x517 - x37 x666 = 0 e449: x518 - x38 x666 = 0 e450: x519 - x39 x666 = 0 e451: x520 - x40 x666 = 0 e452: x521 - x41 x666 = 0 e453: x522 - x42 x666 = 0 e454: x523 - x43 x666 = 0 e455: x524 - x44 x666 = 0 e456: x525 - x45 x666 = 0 e457: x526 - x46 x666 = 0 e458: x527 - x47 x666 = 0 e459: x528 - x48 x666 = 0 e460: x529 - x49 x666 = 0 e461: x530 - x50 x667 = 0 e462: x531 - x51 x667 = 0 e463: x532 - x52 x667 = 0 e464: x533 - x53 x667 = 0 e465: x534 - x54 x667 = 0 e466: x535 - x55 x667 = 0 e467: x536 - x56 x667 = 0 e468: x537 - x57 x667 = 0 e469: x538 - x58 x667 = 0 e470: x539 - x59 x667 = 0 e471: x540 - x60 x667 = 0 e472: x541 - x61 x667 = 0 e473: x542 - x62 x667 = 0 e474: x543 - x63 x667 = 0 e475: x544 - x64 x667 = 0 e476: x545 - x65 x667 = 0 e477: x546 - x2 x668 = 0 e478: x547 - x3 x668 = 0 e479: x548 - x4 x668 = 0 e480: x549 - x5 x668 = 0 e481: x550 - x6 x668 = 0 e482: x551 - x7 x668 = 0 e483: x552 - x8 x668 = 0 e484: x553 - x9 x668 = 0 e485: x554 - x10 x668 = 0 e486: x555 - x11 x668 = 0 e487: x556 - x12 x668 = 0 e488: x557 - x13 x668 = 0 e489: x558 - x14 x668 = 0 e490: x559 - x15 x668 = 0 e491: x560 - x16 x668 = 0 e492: x561 - x17 x668 = 0 e493: x562 - x18 x669 = 0 e494: x563 - x19 x669 = 0 e495: x564 - x20 x669 = 0 e496: x565 - x21 x669 = 0 e497: x566 - x22 x669 = 0 e498: x567 - x23 x669 = 0 e499: x568 - x24 x669 = 0 e500: x569 - x25 x669 = 0 e501: x570 - x26 x669 = 0 e502: x571 - x27 x669 = 0 e503: x572 - x28 x669 = 0 e504: x573 - x29 x669 = 0 e505: x574 - x30 x669 = 0 e506: x575 - x31 x669 = 0 e507: x576 - x32 x669 = 0 e508: x577 - x33 x669 = 0 e509: x578 - x34 x670 = 0 e510: x579 - x35 x670 = 0 e511: x580 - x36 x670 = 0 e512: x581 - x37 x670 = 0 e513: x582 - x38 x670 = 0 e514: x583 - x39 x670 = 0 e515: x584 - x40 x670 = 0 e516: x585 - x41 x670 = 0 e517: x586 - x42 x670 = 0 e518: x587 - x43 x670 = 0 e519: x588 - x44 x670 = 0 e520: x589 - x45 x670 = 0 e521: x590 - x46 x670 = 0 e522: x591 - x47 x670 = 0 e523: x592 - x48 x670 = 0 e524: x593 - x49 x670 = 0 e525: x594 - x2 x671 = 0 e526: x595 - x3 x671 = 0 e527: x596 - x4 x671 = 0 e528: x597 - x5 x671 = 0 e529: x598 - x6 x671 = 0 e530: x599 - x7 x671 = 0 e531: x600 - x8 x671 = 0 e532: x601 - x9 x671 = 0 e533: x602 - x10 x671 = 0 e534: x603 - x11 x671 = 0 e535: x604 - x12 x671 = 0 e536: x605 - x13 x671 = 0 e537: x606 - x14 x671 = 0 e538: x607 - x15 x671 = 0 e539: x608 - x16 x671 = 0 e540: x609 - x17 x671 = 0 e541: x610 - x18 x672 = 0 e542: x611 - x19 x672 = 0 e543: x612 - x20 x672 = 0 e544: x613 - x21 x672 = 0 e545: x614 - x22 x672 = 0 e546: x615 - x23 x672 = 0 e547: x616 - x24 x672 = 0 e548: x617 - x25 x672 = 0 e549: x618 - x26 x672 = 0 e550: x619 - x27 x672 = 0 e551: x620 - x28 x672 = 0 e552: x621 - x29 x672 = 0 e553: x622 - x30 x672 = 0 e554: x623 - x31 x672 = 0 e555: x624 - x32 x672 = 0 e556: x625 - x33 x672 = 0 e557: x626 - x2 x673 = 0 e558: x627 - x3 x673 = 0 e559: x628 - x4 x673 = 0 e560: x629 - x5 x673 = 0 e561: x630 - x6 x673 = 0 e562: x631 - x7 x673 = 0 e563: x632 - x8 x673 = 0 e564: x633 - x9 x673 = 0 e565: x634 - x10 x673 = 0 e566: x635 - x11 x673 = 0 e567: x636 - x12 x673 = 0 e568: x637 - x13 x673 = 0 e569: x638 - x14 x673 = 0 e570: x639 - x15 x673 = 0 e571: x640 - x16 x673 = 0 e572: x641 - x17 x673 = 0 Bounds x2 <= 1 x3 <= 1 x4 <= 1 x5 <= 1 x6 <= 1 x7 <= 1 x8 <= 1 x9 <= 1 x10 <= 1 x11 <= 1 x12 <= 1 x13 <= 1 x14 <= 1 x15 <= 1 x16 <= 1 x17 <= 1 x18 <= 1 x19 <= 1 x20 <= 1 x21 <= 1 x22 <= 1 x23 <= 1 x24 <= 1 x25 <= 1 x26 <= 1 x27 <= 1 x28 <= 1 x29 <= 1 x30 <= 1 x31 <= 1 x32 <= 1 x33 <= 1 x34 <= 1 x35 <= 1 x36 <= 1 x37 <= 1 x38 <= 1 x39 <= 1 x40 <= 1 x41 <= 1 x42 <= 1 x43 <= 1 x44 <= 1 x45 <= 1 x46 <= 1 x47 <= 1 x48 <= 1 x49 <= 1 x50 <= 1 x51 <= 1 x52 <= 1 x53 <= 1 x54 <= 1 x55 <= 1 x56 <= 1 x57 <= 1 x58 <= 1 x59 <= 1 x60 <= 1 x61 <= 1 x62 <= 1 x63 <= 1 x64 <= 1 x65 <= 1 x66 <= 1 x67 <= 1 x68 <= 1 x69 <= 1 x70 <= 1 x71 <= 1 x72 <= 1 x73 <= 1 x74 <= 1 x75 <= 1 x76 <= 1 x77 <= 1 x78 <= 1 x79 <= 1 x80 <= 1 x81 <= 1 x82 <= 1 x83 <= 1 x84 <= 1 x85 <= 1 x86 <= 1 x87 <= 1 x88 <= 1 x89 <= 1 x90 <= 1 x91 <= 1 x92 <= 1 x93 <= 1 x94 <= 1 x95 <= 1 x96 <= 1 x97 <= 1 x98 <= 1 x99 <= 1 x100 <= 1 x101 <= 1 x102 <= 1 x103 <= 1 x104 <= 1 x105 <= 1 x106 <= 1 x107 <= 1 x108 <= 1 x109 <= 1 x110 <= 1 x111 <= 1 x112 <= 1 x113 <= 1 x114 <= 1 x115 <= 1 x116 <= 1 x117 <= 1 x118 <= 1 x119 <= 1 x120 <= 1 x121 <= 1 x122 <= 1 x123 <= 1 x124 <= 1 x125 <= 1 x126 <= 1 x127 <= 1 x128 <= 1 x129 <= 1 x130 <= 1 x131 <= 1 x132 <= 1 x133 <= 1 x134 <= 1 x135 <= 1 x136 <= 1 x137 <= 1 x138 <= 1 x139 <= 1 x140 <= 1 x141 <= 1 x142 <= 1 x143 <= 1 x144 <= 1 x145 <= 1 x146 <= 1 x147 <= 1 x148 <= 1 x149 <= 1 x150 <= 1 x151 <= 1 x152 <= 1 x153 <= 1 x154 <= 1 x155 <= 1 x156 <= 1 x157 <= 1 x158 <= 1 x159 <= 1 x160 <= 1 x161 <= 1 x162 <= 1 x163 <= 1 x164 <= 1 x165 <= 1 x166 <= 1 x167 <= 1 x168 <= 1 x169 <= 1 x170 <= 1 x171 <= 1 x172 <= 1 x173 <= 1 x174 <= 1 x175 <= 1 x176 <= 1 x177 <= 1 x178 <= 1 x179 <= 1 x180 <= 1 x181 <= 1 x182 <= 1 x183 <= 1 x184 <= 1 x185 <= 1 x186 <= 1 x187 <= 1 x188 <= 1 x189 <= 1 x190 <= 1 x191 <= 1 x192 <= 1 x193 <= 1 x194 <= 1 x195 <= 1 x196 <= 1 x197 <= 1 x198 <= 1 x199 <= 1 x200 <= 1 x201 <= 1 x202 <= 1 x203 <= 1 x204 <= 1 x205 <= 1 x206 <= 1 x207 <= 1 x208 <= 1 x209 <= 1 x210 <= 1 x211 <= 1 x212 <= 1 x213 <= 1 x214 <= 1 x215 <= 1 x216 <= 1 x217 <= 1 x218 <= 1 x219 <= 1 x220 <= 1 x221 <= 1 x222 <= 1 x223 <= 1 x224 <= 1 x225 <= 1 x226 <= 1 x227 <= 1 x228 <= 1 x229 <= 1 x230 <= 1 x231 <= 1 x232 <= 1 x233 <= 1 x234 <= 1 x235 <= 1 x236 <= 1 x237 <= 1 x238 <= 1 x239 <= 1 x240 <= 1 x241 <= 1 x242 <= 1 x243 <= 1 x244 <= 1 x245 <= 1 x246 <= 1 x247 <= 1 x248 <= 1 x249 <= 1 x250 <= 1 x251 <= 1 x252 <= 1 x253 <= 1 x254 <= 1 x255 <= 1 x256 <= 1 x257 <= 1 x258 <= 1 x259 <= 1 x260 <= 1 x261 <= 1 x262 <= 1 x263 <= 1 x264 <= 1 x265 <= 1 x266 <= 1 x267 <= 1 x268 <= 1 x269 <= 1 x270 <= 1 x271 <= 1 x272 <= 1 x273 <= 1 x274 <= 1 x275 <= 1 x276 <= 1 x277 <= 1 x278 <= 1 x279 <= 1 x280 <= 1 x281 <= 1 x282 <= 1 x283 <= 1 x284 <= 1 x285 <= 1 x286 <= 1 x287 <= 1 x288 <= 1 x289 <= 1 x290 <= 1 x291 <= 1 x292 <= 1 x293 <= 1 x294 <= 1 x295 <= 1 x296 <= 1 x297 <= 1 x298 <= 1 x299 <= 1 x300 <= 1 x301 <= 1 x302 <= 1 x303 <= 1 x304 <= 1 x305 <= 1 x306 <= 1 x307 <= 1 x308 <= 1 x309 <= 1 x310 <= 1 x311 <= 1 x312 <= 1 x313 <= 1 x314 <= 1 x315 <= 1 x316 <= 1 x317 <= 1 x318 <= 1 x319 <= 1 x320 <= 1 x321 <= 1 x322 <= 1 x323 <= 1 x324 <= 1 x325 <= 1 x326 <= 1 x327 <= 1 x328 <= 1 x329 <= 1 x330 <= 1 x331 <= 1 x332 <= 1 x333 <= 1 x334 <= 1 x335 <= 1 x336 <= 1 x337 <= 1 x338 <= 1 x339 <= 1 x340 <= 1 x341 <= 1 x342 <= 1 x343 <= 1 x344 <= 1 x345 <= 1 x346 <= 1 x347 <= 1 x348 <= 1 x349 <= 1 x350 <= 1 x351 <= 1 x352 <= 1 x353 <= 1 x354 <= 1 x355 <= 1 x356 <= 1 x357 <= 1 x358 <= 1 x359 <= 1 x360 <= 1 x361 <= 1 x362 <= 1 x363 <= 1 x364 <= 1 x365 <= 1 x366 <= 1 x367 <= 1 x368 <= 1 x369 <= 1 x370 <= 1 x371 <= 1 x372 <= 1 x373 <= 1 x374 <= 1 x375 <= 1 x376 <= 1 x377 <= 1 x378 <= 1 x379 <= 1 x380 <= 1 x381 <= 1 x382 <= 1 x383 <= 1 x384 <= 1 x385 <= 1 x386 <= 1 x387 <= 1 x388 <= 1 x389 <= 1 x390 <= 1 x391 <= 1 x392 <= 1 x393 <= 1 x394 <= 1 x395 <= 1 x396 <= 1 x397 <= 1 x398 <= 1 x399 <= 1 x400 <= 1 x401 <= 1 x402 <= 1 x403 <= 1 x404 <= 1 x405 <= 1 x406 <= 1 x407 <= 1 x408 <= 1 x409 <= 1 x410 <= 1 x411 <= 1 x412 <= 1 x413 <= 1 x414 <= 1 x415 <= 1 x416 <= 1 x417 <= 1 x418 <= 1 x419 <= 1 x420 <= 1 x421 <= 1 x422 <= 1 x423 <= 1 x424 <= 1 x425 <= 1 x426 <= 1 x427 <= 1 x428 <= 1 x429 <= 1 x430 <= 1 x431 <= 1 x432 <= 1 x433 <= 1 x434 <= 1 x435 <= 1 x436 <= 1 x437 <= 1 x438 <= 1 x439 <= 1 x440 <= 1 x441 <= 1 x442 <= 1 x443 <= 1 x444 <= 1 x445 <= 1 x446 <= 1 x447 <= 1 x448 <= 1 x449 <= 1 x450 <= 1 x451 <= 1 x452 <= 1 x453 <= 1 x454 <= 1 x455 <= 1 x456 <= 1 x457 <= 1 x458 <= 1 x459 <= 1 x460 <= 1 x461 <= 1 x462 <= 1 x463 <= 1 x464 <= 1 x465 <= 1 x466 <= 1 x467 <= 1 x468 <= 1 x469 <= 1 x470 <= 1 x471 <= 1 x472 <= 1 x473 <= 1 x474 <= 1 x475 <= 1 x476 <= 1 x477 <= 1 x478 <= 1 x479 <= 1 x480 <= 1 x481 <= 1 x482 <= 1 x483 <= 1 x484 <= 1 x485 <= 1 x486 <= 1 x487 <= 1 x488 <= 1 x489 <= 1 x490 <= 1 x491 <= 1 x492 <= 1 x493 <= 1 x494 <= 1 x495 <= 1 x496 <= 1 x497 <= 1 x498 <= 1 x499 <= 1 x500 <= 1 x501 <= 1 x502 <= 1 x503 <= 1 x504 <= 1 x505 <= 1 x506 <= 1 x507 <= 1 x508 <= 1 x509 <= 1 x510 <= 1 x511 <= 1 x512 <= 1 x513 <= 1 x514 <= 1 x515 <= 1 x516 <= 1 x517 <= 1 x518 <= 1 x519 <= 1 x520 <= 1 x521 <= 1 x522 <= 1 x523 <= 1 x524 <= 1 x525 <= 1 x526 <= 1 x527 <= 1 x528 <= 1 x529 <= 1 x530 <= 1 x531 <= 1 x532 <= 1 x533 <= 1 x534 <= 1 x535 <= 1 x536 <= 1 x537 <= 1 x538 <= 1 x539 <= 1 x540 <= 1 x541 <= 1 x542 <= 1 x543 <= 1 x544 <= 1 x545 <= 1 x546 <= 1 x547 <= 1 x548 <= 1 x549 <= 1 x550 <= 1 x551 <= 1 x552 <= 1 x553 <= 1 x554 <= 1 x555 <= 1 x556 <= 1 x557 <= 1 x558 <= 1 x559 <= 1 x560 <= 1 x561 <= 1 x562 <= 1 x563 <= 1 x564 <= 1 x565 <= 1 x566 <= 1 x567 <= 1 x568 <= 1 x569 <= 1 x570 <= 1 x571 <= 1 x572 <= 1 x573 <= 1 x574 <= 1 x575 <= 1 x576 <= 1 x577 <= 1 x578 <= 1 x579 <= 1 x580 <= 1 x581 <= 1 x582 <= 1 x583 <= 1 x584 <= 1 x585 <= 1 x586 <= 1 x587 <= 1 x588 <= 1 x589 <= 1 x590 <= 1 x591 <= 1 x592 <= 1 x593 <= 1 x594 <= 1 x595 <= 1 x596 <= 1 x597 <= 1 x598 <= 1 x599 <= 1 x600 <= 1 x601 <= 1 x602 <= 1 x603 <= 1 x604 <= 1 x605 <= 1 x606 <= 1 x607 <= 1 x608 <= 1 x609 <= 1 x610 <= 1 x611 <= 1 x612 <= 1 x613 <= 1 x614 <= 1 x615 <= 1 x616 <= 1 x617 <= 1 x618 <= 1 x619 <= 1 x620 <= 1 x621 <= 1 x622 <= 1 x623 <= 1 x624 <= 1 x625 <= 1 x626 <= 1 x627 <= 1 x628 <= 1 x629 <= 1 x630 <= 1 x631 <= 1 x632 <= 1 x633 <= 1 x634 <= 1 x635 <= 1 x636 <= 1 x637 <= 1 x638 <= 1 x639 <= 1 x640 <= 1 x641 <= 1 x642 <= 16 x643 <= 16 x644 <= 16 x645 <= 16 x646 <= 16 x647 <= 16 x648 <= 16 x649 <= 16 x650 <= 16 x651 <= 16 x652 <= 16 x653 <= 16 x654 <= 16 x655 <= 16 x656 <= 16 x657 <= 16 x658 <= 16 x659 <= 16 x660 <= 16 x661 <= 16 x662 <= 16 x663 <= 16 x664 <= 16 x665 <= 16 x666 <= 16 x667 <= 16 x668 <= 16 x669 <= 16 x670 <= 16 x671 <= 16 x672 <= 16 x673 <= 16 End