\ Equation counts \ Total E G L N X C B \ 296 169 42 85 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 672 630 42 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 2478 2352 126 0 \ Minimize obj: 1.090016011 b2 + 3.10674202 b3 + 2.475702586 b4 + 1.966733944 b5 + 1.090016011 b6 + 2.019536713 b7 + 3.10674202 b8 + 1.383540955 b9 + 2.087059045 b10 + 3.720443668 b11 + 1.383540955 b12 + 1.794144217 b13 + 3.50653318 b14 + 1.71812596 b15 + 3.834780538 b16 + 2.087059045 b17 + 1.794144217 b18 + 2.239621249 b19 + 2.475702586 b20 + 2.019536713 b21 + 3.720443668 b22 + 3.50653318 b23 + 2.239621249 b24 + 1.098732406 b25 + 1.742557876 b26 + 1.098732406 b27 + 3.606882982 b28 + 1.71812596 b29 + 2.074958698 b30 + 1.966733944 b31 + 2.074958698 b32 + 3.859970515 b33 + 1.742557876 b34 + 3.859970515 b35 + 3.951460459 b36 + 3.834780538 b37 + 3.606882982 b38 + 2.524064089 b39 + 2.524064089 b40 + 3.982701487 b41 + 3.951460459 b42 + 3.982701487 b43 + 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 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 + 0 x577 + 0 x578 + 0 x579 + 0 x580 + 0 x581 + 0 x582 + 0 x583 + 0 x584 + 0 x585 + 0 x586 + 0 x587 + 0 x588 + 0 x589 + 0 x590 + 0 x591 + 0 x592 + 0 x593 + 0 x594 + 0 x595 + 0 x596 + 0 x597 + 0 x598 + 0 x599 + 0 x600 + 0 x601 + 0 x602 + 0 x603 + 0 x604 + 0 x605 + 0 x606 + 0 x607 + 0 x608 + 0 x609 + 0 x610 + 0 x611 + 0 x612 + 0 x613 + 0 x614 + 0 x615 + 0 x616 + 0 x617 + 0 x618 + 0 x619 + 0 x620 + 0 x621 + 0 x622 + 0 x623 + 0 x624 + 0 x625 + 0 x626 + 0 x627 + 0 x628 + 0 x629 + 0 x630 + 0 x631 + 0 x632 + 0 x633 + 0 x634 + 0 x635 + 0 x636 + 0 x637 + 0 x638 + 0 x639 + 0 x640 + 0 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: - x44 - x45 - x46 - x47 + x48 + x49 + x50 + x51 = -148 e3: - x52 - x53 - x54 - x55 + x56 + x57 + x58 + x59 = 12 e4: - x60 - x61 - x62 - x63 + x64 + x65 + x66 + x67 = 16 e5: - x68 - x69 - x70 - x71 + x72 + x73 + x74 + x75 = 21 e6: - x76 - x77 - x78 - x79 + x80 + x81 + x82 + x83 = 11 e7: - x84 - x85 - x86 - x87 + x88 + x89 + x90 + x91 = 24 e8: - x92 - x93 - x94 - x95 + x96 + x97 + x98 + x99 = 24 e9: - x100 - x101 - x102 - x103 + x104 + x105 + x106 + x107 = 8 e10: - x108 - x109 - x110 - x111 + x112 + x113 + x114 + x115 = 10 e11: - x116 - x117 - x118 - x119 + x120 + x121 + x122 + x123 = 18 e12: - x124 - x125 - x126 - x127 + x128 + x129 + x130 + x131 = 11 e13: - x132 - x133 - x134 - x135 + x136 + x137 + x138 + x139 = 20 e14: - x140 - x141 - x142 - x143 + x144 + x145 + x146 + x147 = 7 e15: x44 - x48 - x148 + x149 = 7 e16: x52 - x56 - x150 + x151 = -175 e17: x60 - x64 - x152 + x153 = 15 e18: x68 - x72 - x154 + x155 = 17 e19: x76 - x80 - x156 + x157 = 20 e20: x84 - x88 - x158 + x159 = 24 e21: x92 - x96 - x160 + x161 = 6 e22: x100 - x104 - x162 + x163 = 19 e23: x108 - x112 - x164 + x165 = 24 e24: x116 - x120 - x166 + x167 = 11 e25: x124 - x128 - x168 + x169 = 15 e26: x132 - x136 - x170 + x171 = 9 e27: x140 - x144 - x172 + x173 = 19 e28: x45 - x49 - x174 - x175 - x176 + x177 + x178 + x179 = 15 e29: x53 - x57 - x180 - x181 - x182 + x183 + x184 + x185 = 13 e30: x61 - x65 - x186 - x187 - x188 + x189 + x190 + x191 = -231 e31: x69 - x73 - x192 - x193 - x194 + x195 + x196 + x197 = 23 e32: x77 - x81 - x198 - x199 - x200 + x201 + x202 + x203 = 18 e33: x85 - x89 - x204 - x205 - x206 + x207 + x208 + x209 = 19 e34: x93 - x97 - x210 - x211 - x212 + x213 + x214 + x215 = 9 e35: x101 - x105 - x216 - x217 - x218 + x219 + x220 + x221 = 8 e36: x109 - x113 - x222 - x223 - x224 + x225 + x226 + x227 = 16 e37: x117 - x121 - x228 - x229 - x230 + x231 + x232 + x233 = 19 e38: x125 - x129 - x234 - x235 - x236 + x237 + x238 + x239 = 19 e39: x133 - x137 - x240 - x241 - x242 + x243 + x244 + x245 = 21 e40: x141 - x145 - x246 - x247 - x248 + x249 + x250 + x251 = 8 e41: x174 - x177 - x252 - x253 - x254 - x255 + x256 + x257 + x258 + x259 = 12 e42: x180 - x183 - x260 - x261 - x262 - x263 + x264 + x265 + x266 + x267 = 20 e43: x186 - x189 - x268 - x269 - x270 - x271 + x272 + x273 + x274 + x275 = 23 e44: x192 - x195 - x276 - x277 - x278 - x279 + x280 + x281 + x282 + x283 = -187 e45: x198 - x201 - x284 - x285 - x286 - x287 + x288 + x289 + x290 + x291 = 21 e46: x204 - x207 - x292 - x293 - x294 - x295 + x296 + x297 + x298 + x299 = 12 e47: x210 - x213 - x300 - x301 - x302 - x303 + x304 + x305 + x306 + x307 = 6 e48: x216 - x219 - x308 - x309 - x310 - x311 + x312 + x313 + x314 + x315 = 11 e49: x222 - x225 - x316 - x317 - x318 - x319 + x320 + x321 + x322 + x323 = 19 e50: x228 - x231 - x324 - x325 - x326 - x327 + x328 + x329 + x330 + x331 = 9 e51: x234 - x237 - x332 - x333 - x334 - x335 + x336 + x337 + x338 + x339 = 17 e52: x240 - x243 - x340 - x341 - x342 - x343 + x344 + x345 + x346 + x347 = 23 e53: x246 - x249 - x348 - x349 - x350 - x351 + x352 + x353 + x354 + x355 = 21 e54: x175 - x178 + x252 - x256 - x356 + x357 = 14 e55: x181 - x184 + x260 - x264 - x358 + x359 = 7 e56: x187 - x190 + x268 - x272 - x360 + x361 = 22 e57: x193 - x196 + x276 - x280 - x362 + x363 = 14 e58: x199 - x202 + x284 - x288 - x364 + x365 = -170 e59: x205 - x208 + x292 - x296 - x366 + x367 = 12 e60: x211 - x214 + x300 - x304 - x368 + x369 = 13 e61: x217 - x220 + x308 - x312 - x370 + x371 = 10 e62: x223 - x226 + x316 - x320 - x372 + x373 = 15 e63: x229 - x232 + x324 - x328 - x374 + x375 = 9 e64: x235 - x238 + x332 - x336 - x376 + x377 = 14 e65: x241 - x244 + x340 - x344 - x378 + x379 = 16 e66: x247 - x250 + x348 - x352 - x380 + x381 = 8 e67: x46 - x50 + x148 - x149 + x176 - x179 + x253 - x257 + x356 - x357 - x382 - x383 + x384 + x385 = 13 e68: x54 - x58 + x150 - x151 + x182 - x185 + x261 - x265 + x358 - x359 - x386 - x387 + x388 + x389 = 22 e69: x62 - x66 + x152 - x153 + x188 - x191 + x269 - x273 + x360 - x361 - x390 - x391 + x392 + x393 = 23 e70: x70 - x74 + x154 - x155 + x194 - x197 + x277 - x281 + x362 - x363 - x394 - x395 + x396 + x397 = 7 e71: x78 - x82 + x156 - x157 + x200 - x203 + x285 - x289 + x364 - x365 - x398 - x399 + x400 + x401 = 16 e72: x86 - x90 + x158 - x159 + x206 - x209 + x293 - x297 + x366 - x367 - x402 - x403 + x404 + x405 = -169 e73: x94 - x98 + x160 - x161 + x212 - x215 + x301 - x305 + x368 - x369 - x406 - x407 + x408 + x409 = 20 e74: x102 - x106 + x162 - x163 + x218 - x221 + x309 - x313 + x370 - x371 - x410 - x411 + x412 + x413 = 14 e75: x110 - x114 + x164 - x165 + x224 - x227 + x317 - x321 + x372 - x373 - x414 - x415 + x416 + x417 = 11 e76: x118 - x122 + x166 - x167 + x230 - x233 + x325 - x329 + x374 - x375 - x418 - x419 + x420 + x421 = 13 e77: x126 - x130 + x168 - x169 + x236 - x239 + x333 - x337 + x376 - x377 - x422 - x423 + x424 + x425 = 10 e78: x134 - x138 + x170 - x171 + x242 - x245 + x341 - x345 + x378 - x379 - x426 - x427 + x428 + x429 = 13 e79: x142 - x146 + x172 - x173 + x248 - x251 + x349 - x353 + x380 - x381 - x430 - x431 + x432 + x433 = 12 e80: x382 - x384 - x434 + x435 = 6 e81: x386 - x388 - x436 + x437 = 16 e82: x390 - x392 - x438 + x439 = 22 e83: x394 - x396 - x440 + x441 = 9 e84: x398 - x400 - x442 + x443 = 13 e85: x402 - x404 - x444 + x445 = 7 e86: x406 - x408 - x446 + x447 = -156 e87: x410 - x412 - x448 + x449 = 20 e88: x414 - x416 - x450 + x451 = 19 e89: x418 - x420 - x452 + x453 = 24 e90: x422 - x424 - x454 + x455 = 8 e91: x426 - x428 - x456 + x457 = 21 e92: x430 - x432 - x458 + x459 = 6 e93: x254 - x258 - x460 + x461 = 15 e94: x262 - x266 - x462 + x463 = 15 e95: x270 - x274 - x464 + x465 = 23 e96: x278 - x282 - x466 + x467 = 25 e97: x286 - x290 - x468 + x469 = 20 e98: x294 - x298 - x470 + x471 = 7 e99: x302 - x306 - x472 + x473 = 19 e100: x310 - x314 - x474 + x475 = -177 e101: x318 - x322 - x476 + x477 = 7 e102: x326 - x330 - x478 + x479 = 18 e103: x334 - x338 - x480 + x481 = 25 e104: x342 - x346 - x482 + x483 = 20 e105: x350 - x354 - x484 + x485 = 18 e106: x47 - x51 + x460 - x461 - x486 + x487 = 8 e107: x55 - x59 + x462 - x463 - x488 + x489 = 11 e108: x63 - x67 + x464 - x465 - x490 + x491 = 23 e109: x71 - x75 + x466 - x467 - x492 + x493 = 7 e110: x79 - x83 + x468 - x469 - x494 + x495 = 5 e111: x87 - x91 + x470 - x471 - x496 + x497 = 15 e112: x95 - x99 + x472 - x473 - x498 + x499 = 7 e113: x103 - x107 + x474 - x475 - x500 + x501 = 10 e114: x111 - x115 + x476 - x477 - x502 + x503 = -179 e115: x119 - x123 + x478 - x479 - x504 + x505 = 20 e116: x127 - x131 + x480 - x481 - x506 + x507 = 18 e117: x135 - x139 + x482 - x483 - x508 + x509 = 8 e118: x143 - x147 + x484 - x485 - x510 + x511 = 12 e119: x383 - x385 + x486 - x487 - x512 + x513 = 9 e120: x387 - x389 + x488 - x489 - x514 + x515 = 12 e121: x391 - x393 + x490 - x491 - x516 + x517 = 24 e122: x395 - x397 + x492 - x493 - x518 + x519 = 21 e123: x399 - x401 + x494 - x495 - x520 + x521 = 8 e124: x403 - x405 + x496 - x497 - x522 + x523 = 9 e125: x407 - x409 + x498 - x499 - x524 + x525 = 11 e126: x411 - x413 + x500 - x501 - x526 + x527 = 13 e127: x415 - x417 + x502 - x503 - x528 + x529 = 11 e128: x419 - x421 + x504 - x505 - x530 + x531 = -183 e129: x423 - x425 + x506 - x507 - x532 + x533 = 16 e130: x427 - x429 + x508 - x509 - x534 + x535 = 14 e131: x431 - x433 + x510 - x511 - x536 + x537 = 17 e132: x255 - x259 + x434 - x435 - x538 + x539 = 22 e133: x263 - x267 + x436 - x437 - x540 + x541 = 12 e134: x271 - x275 + x438 - x439 - x542 + x543 = 7 e135: x279 - x283 + x440 - x441 - x544 + x545 = 12 e136: x287 - x291 + x442 - x443 - x546 + x547 = 12 e137: x295 - x299 + x444 - x445 - x548 + x549 = 10 e138: x303 - x307 + x446 - x447 - x550 + x551 = 11 e139: x311 - x315 + x448 - x449 - x552 + x553 = 17 e140: x319 - x323 + x450 - x451 - x554 + x555 = 17 e141: x327 - x331 + x452 - x453 - x556 + x557 = 12 e142: x335 - x339 + x454 - x455 - x558 + x559 = -185 e143: x343 - x347 + x456 - x457 - x560 + x561 = 10 e144: x351 - x355 + x458 - x459 - x562 + x563 = 21 e145: x538 - x539 - x564 + x565 = 8 e146: x540 - x541 - x566 + x567 = 20 e147: x542 - x543 - x568 + x569 = 23 e148: x544 - x545 - x570 + x571 = 18 e149: x546 - x547 - x572 + x573 = 15 e150: x548 - x549 - x574 + x575 = 22 e151: x550 - x551 - x576 + x577 = 17 e152: x552 - x553 - x578 + x579 = 24 e153: x554 - x555 - x580 + x581 = 7 e154: x556 - x557 - x582 + x583 = 16 e155: x558 - x559 - x584 + x585 = 24 e156: x560 - x561 - x586 + x587 = -200 e157: x562 - x563 - x588 + x589 = 8 e158: x512 - x513 + x564 - x565 = 19 e159: x514 - x515 + x566 - x567 = 15 e160: x516 - x517 + x568 - x569 = 10 e161: x518 - x519 + x570 - x571 = 13 e162: x520 - x521 + x572 - x573 = 11 e163: x522 - x523 + x574 - x575 = 8 e164: x524 - x525 + x576 - x577 = 13 e165: x526 - x527 + x578 - x579 = 23 e166: x528 - x529 + x580 - x581 = 23 e167: x530 - x531 + x582 - x583 = 14 e168: x532 - x533 + x584 - x585 = 8 e169: x534 - x535 + x586 - x587 = 25 e170: x536 - x537 + x588 - x589 = -157 e171: - x44 - x52 - x60 - x68 - x76 - x84 - x92 - x100 - x108 - x116 - x124 - x132 - x140 + x590 >= 0 e172: - x45 - x53 - x61 - x69 - x77 - x85 - x93 - x101 - x109 - x117 - x125 - x133 - x141 + x591 >= 0 e173: - x46 - x54 - x62 - x70 - x78 - x86 - x94 - x102 - x110 - x118 - x126 - x134 - x142 + x592 >= 0 e174: - x47 - x55 - x63 - x71 - x79 - x87 - x95 - x103 - x111 - x119 - x127 - x135 - x143 + x593 >= 0 e175: - x48 - x56 - x64 - x72 - x80 - x88 - x96 - x104 - x112 - x120 - x128 - x136 - x144 + x594 >= 0 e176: - x148 - x150 - x152 - x154 - x156 - x158 - x160 - x162 - x164 - x166 - x168 - x170 - x172 + x595 >= 0 e177: - x49 - x57 - x65 - x73 - x81 - x89 - x97 - x105 - x113 - x121 - x129 - x137 - x145 + x596 >= 0 e178: - x174 - x180 - x186 - x192 - x198 - x204 - x210 - x216 - x222 - x228 - x234 - x240 - x246 + x597 >= 0 e179: - x175 - x181 - x187 - x193 - x199 - x205 - x211 - x217 - x223 - x229 - x235 - x241 - x247 + x598 >= 0 e180: - x176 - x182 - x188 - x194 - x200 - x206 - x212 - x218 - x224 - x230 - x236 - x242 - x248 + x599 >= 0 e181: - x177 - x183 - x189 - x195 - x201 - x207 - x213 - x219 - x225 - x231 - x237 - x243 - x249 + x600 >= 0 e182: - x252 - x260 - x268 - x276 - x284 - x292 - x300 - x308 - x316 - x324 - x332 - x340 - x348 + x601 >= 0 e183: - x253 - x261 - x269 - x277 - x285 - x293 - x301 - x309 - x317 - x325 - x333 - x341 - x349 + x602 >= 0 e184: - x254 - x262 - x270 - x278 - x286 - x294 - x302 - x310 - x318 - x326 - x334 - x342 - x350 + x603 >= 0 e185: - x255 - x263 - x271 - x279 - x287 - x295 - x303 - x311 - x319 - x327 - x335 - x343 - x351 + x604 >= 0 e186: - x178 - x184 - x190 - x196 - x202 - x208 - x214 - x220 - x226 - x232 - x238 - x244 - x250 + x605 >= 0 e187: - x256 - x264 - x272 - x280 - x288 - x296 - x304 - x312 - x320 - x328 - x336 - x344 - x352 + x606 >= 0 e188: - x356 - x358 - x360 - x362 - x364 - x366 - x368 - x370 - x372 - x374 - x376 - x378 - x380 + x607 >= 0 e189: - x50 - x58 - x66 - x74 - x82 - x90 - x98 - x106 - x114 - x122 - x130 - x138 - x146 + x608 >= 0 e190: - x149 - x151 - x153 - x155 - x157 - x159 - x161 - x163 - x165 - x167 - x169 - x171 - x173 + x609 >= 0 e191: - x179 - x185 - x191 - x197 - x203 - x209 - x215 - x221 - x227 - x233 - x239 - x245 - x251 + x610 >= 0 e192: - x257 - x265 - x273 - x281 - x289 - x297 - x305 - x313 - x321 - x329 - x337 - x345 - x353 + x611 >= 0 e193: - x357 - x359 - x361 - x363 - x365 - x367 - x369 - x371 - x373 - x375 - x377 - x379 - x381 + x612 >= 0 e194: - x382 - x386 - x390 - x394 - x398 - x402 - x406 - x410 - x414 - x418 - x422 - x426 - x430 + x613 >= 0 e195: - x383 - x387 - x391 - x395 - x399 - x403 - x407 - x411 - x415 - x419 - x423 - x427 - x431 + x614 >= 0 e196: - x384 - x388 - x392 - x396 - x400 - x404 - x408 - x412 - x416 - x420 - x424 - x428 - x432 + x615 >= 0 e197: - x434 - x436 - x438 - x440 - x442 - x444 - x446 - x448 - x450 - x452 - x454 - x456 - x458 + x616 >= 0 e198: - x258 - x266 - x274 - x282 - x290 - x298 - x306 - x314 - x322 - x330 - x338 - x346 - x354 + x617 >= 0 e199: - x460 - x462 - x464 - x466 - x468 - x470 - x472 - x474 - x476 - x478 - x480 - x482 - x484 + x618 >= 0 e200: - x51 - x59 - x67 - x75 - x83 - x91 - x99 - x107 - x115 - x123 - x131 - x139 - x147 + x619 >= 0 e201: - x461 - x463 - x465 - x467 - x469 - x471 - x473 - x475 - x477 - x479 - x481 - x483 - x485 + x620 >= 0 e202: - x486 - x488 - x490 - x492 - x494 - x496 - x498 - x500 - x502 - x504 - x506 - x508 - x510 + x621 >= 0 e203: - x385 - x389 - x393 - x397 - x401 - x405 - x409 - x413 - x417 - x421 - x425 - x429 - x433 + x622 >= 0 e204: - x487 - x489 - x491 - x493 - x495 - x497 - x499 - x501 - x503 - x505 - x507 - x509 - x511 + x623 >= 0 e205: - x512 - x514 - x516 - x518 - x520 - x522 - x524 - x526 - x528 - x530 - x532 - x534 - x536 + x624 >= 0 e206: - x259 - x267 - x275 - x283 - x291 - x299 - x307 - x315 - x323 - x331 - x339 - x347 - x355 + x625 >= 0 e207: - x435 - x437 - x439 - x441 - x443 - x445 - x447 - x449 - x451 - x453 - x455 - x457 - x459 + x626 >= 0 e208: - x538 - x540 - x542 - x544 - x546 - x548 - x550 - x552 - x554 - x556 - x558 - x560 - x562 + x627 >= 0 e209: - x539 - x541 - x543 - x545 - x547 - x549 - x551 - x553 - x555 - x557 - x559 - x561 - x563 + x628 >= 0 e210: - x564 - x566 - x568 - x570 - x572 - x574 - x576 - x578 - x580 - x582 - x584 - x586 - x588 + x629 >= 0 e211: - x513 - x515 - x517 - x519 - x521 - x523 - x525 - x527 - x529 - x531 - x533 - x535 - x537 + x630 >= 0 e212: - x565 - x567 - x569 - x571 - x573 - x575 - x577 - x579 - x581 - x583 - x585 - x587 - x589 + x631 >= 0 e213: x632 + x633 + x634 + x635 + x636 + x637 + x638 + x639 + x640 + x641 + x642 + x643 + x644 + x645 + x646 + x647 + x648 + x649 + x650 + x651 + x652 + x653 + x654 + x655 + x656 + x657 + x658 + x659 + x660 + x661 + x662 + x663 + x664 + x665 + x666 + x667 + x668 + x669 + x670 + x671 + x672 + x673 <= 18536 e214: - 166 b2 + x44 + x52 + x60 + x68 + x76 + x84 + x92 + x100 + x108 + x116 + x124 + x132 + x140 <= 0 e215: - 463 b3 + x45 + x53 + x61 + x69 + x77 + x85 + x93 + x101 + x109 + x117 + x125 + x133 + x141 <= 0 e216: - 522 b4 + x46 + x54 + x62 + x70 + x78 + x86 + x94 + x102 + x110 + x118 + x126 + x134 + x142 <= 0 e217: - 141 b5 + x47 + x55 + x63 + x71 + x79 + x87 + x95 + x103 + x111 + x119 + x127 + x135 + x143 <= 0 e218: - 166 b6 + x48 + x56 + x64 + x72 + x80 + x88 + x96 + x104 + x112 + x120 + x128 + x136 + x144 <= 0 e219: - 265 b7 + x148 + x150 + x152 + x154 + x156 + x158 + x160 + x162 + x164 + x166 + x168 + x170 + x172 <= 0 e220: - 463 b8 + x49 + x57 + x65 + x73 + x81 + x89 + x97 + x105 + x113 + x121 + x129 + x137 + x145 <= 0 e221: - 456 b9 + x174 + x180 + x186 + x192 + x198 + x204 + x210 + x216 + x222 + x228 + x234 + x240 + x246 <= 0 e222: - 526 b10 + x175 + x181 + x187 + x193 + x199 + x205 + x211 + x217 + x223 + x229 + x235 + x241 + x247 <= 0 e223: - 152 b11 + x176 + x182 + x188 + x194 + x200 + x206 + x212 + x218 + x224 + x230 + x236 + x242 + x248 <= 0 e224: - 456 b12 + x177 + x183 + x189 + x195 + x201 + x207 + x213 + x219 + x225 + x231 + x237 + x243 + x249 <= 0 e225: - 384 b13 + x252 + x260 + x268 + x276 + x284 + x292 + x300 + x308 + x316 + x324 + x332 + x340 + x348 <= 0 e226: - 441 b14 + x253 + x261 + x269 + x277 + x285 + x293 + x301 + x309 + x317 + x325 + x333 + x341 + x349 <= 0 e227: - 309 b15 + x254 + x262 + x270 + x278 + x286 + x294 + x302 + x310 + x318 + x326 + x334 + x342 + x350 <= 0 e228: - 233 b16 + x255 + x263 + x271 + x279 + x287 + x295 + x303 + x311 + x319 + x327 + x335 + x343 + x351 <= 0 e229: - 526 b17 + x178 + x184 + x190 + x196 + x202 + x208 + x214 + x220 + x226 + x232 + x238 + x244 + x250 <= 0 e230: - 384 b18 + x256 + x264 + x272 + x280 + x288 + x296 + x304 + x312 + x320 + x328 + x336 + x344 + x352 <= 0 e231: - 203 b19 + x356 + x358 + x360 + x362 + x364 + x366 + x368 + x370 + x372 + x374 + x376 + x378 + x380 <= 0 e232: - 522 b20 + x50 + x58 + x66 + x74 + x82 + x90 + x98 + x106 + x114 + x122 + x130 + x138 + x146 <= 0 e233: - 265 b21 + x149 + x151 + x153 + x155 + x157 + x159 + x161 + x163 + x165 + x167 + x169 + x171 + x173 <= 0 e234: - 152 b22 + x179 + x185 + x191 + x197 + x203 + x209 + x215 + x221 + x227 + x233 + x239 + x245 + x251 <= 0 e235: - 441 b23 + x257 + x265 + x273 + x281 + x289 + x297 + x305 + x313 + x321 + x329 + x337 + x345 + x353 <= 0 e236: - 203 b24 + x357 + x359 + x361 + x363 + x365 + x367 + x369 + x371 + x373 + x375 + x377 + x379 + x381 <= 0 e237: - 284 b25 + x382 + x386 + x390 + x394 + x398 + x402 + x406 + x410 + x414 + x418 + x422 + x426 + x430 <= 0 e238: - 426 b26 + x383 + x387 + x391 + x395 + x399 + x403 + x407 + x411 + x415 + x419 + x423 + x427 + x431 <= 0 e239: - 284 b27 + x384 + x388 + x392 + x396 + x400 + x404 + x408 + x412 + x416 + x420 + x424 + x428 + x432 <= 0 e240: - 109 b28 + x434 + x436 + x438 + x440 + x442 + x444 + x446 + x448 + x450 + x452 + x454 + x456 + x458 <= 0 e241: - 309 b29 + x258 + x266 + x274 + x282 + x290 + x298 + x306 + x314 + x322 + x330 + x338 + x346 + x354 <= 0 e242: - 434 b30 + x460 + x462 + x464 + x466 + x468 + x470 + x472 + x474 + x476 + x478 + x480 + x482 + x484 <= 0 e243: - 141 b31 + x51 + x59 + x67 + x75 + x83 + x91 + x99 + x107 + x115 + x123 + x131 + x139 + x147 <= 0 e244: - 434 b32 + x461 + x463 + x465 + x467 + x469 + x471 + x473 + x475 + x477 + x479 + x481 + x483 + x485 <= 0 e245: - 403 b33 + x486 + x488 + x490 + x492 + x494 + x496 + x498 + x500 + x502 + x504 + x506 + x508 + x510 <= 0 e246: - 426 b34 + x385 + x389 + x393 + x397 + x401 + x405 + x409 + x413 + x417 + x421 + x425 + x429 + x433 <= 0 e247: - 403 b35 + x487 + x489 + x491 + x493 + x495 + x497 + x499 + x501 + x503 + x505 + x507 + x509 + x511 <= 0 e248: - 151 b36 + x512 + x514 + x516 + x518 + x520 + x522 + x524 + x526 + x528 + x530 + x532 + x534 + x536 <= 0 e249: - 233 b37 + x259 + x267 + x275 + x283 + x291 + x299 + x307 + x315 + x323 + x331 + x339 + x347 + x355 <= 0 e250: - 109 b38 + x435 + x437 + x439 + x441 + x443 + x445 + x447 + x449 + x451 + x453 + x455 + x457 + x459 <= 0 e251: - 367 b39 + x538 + x540 + x542 + x544 + x546 + x548 + x550 + x552 + x554 + x556 + x558 + x560 + x562 <= 0 e252: - 367 b40 + x539 + x541 + x543 + x545 + x547 + x549 + x551 + x553 + x555 + x557 + x559 + x561 + x563 <= 0 e253: - 382 b41 + x564 + x566 + x568 + x570 + x572 + x574 + x576 + x578 + x580 + x582 + x584 + x586 + x588 <= 0 e254: - 151 b42 + x513 + x515 + x517 + x519 + x521 + x523 + x525 + x527 + x529 + x531 + x533 + x535 + x537 <= 0 e255: - 382 b43 + x565 + x567 + x569 + x571 + x573 + x575 + x577 + x579 + x581 + x583 + x585 + x587 + x589 <= 0 e256: [ 166 b2 * x590 - 166 b2 * x632 + x590 * x632 ] <= 0 e257: [ 463 b3 * x591 - 463 b3 * x633 + x591 * x633 ] <= 0 e258: [ 522 b4 * x592 - 522 b4 * x634 + x592 * x634 ] <= 0 e259: [ 141 b5 * x593 - 141 b5 * x635 + x593 * x635 ] <= 0 e260: [ 166 b6 * x594 - 166 b6 * x636 + x594 * x636 ] <= 0 e261: [ 265 b7 * x595 - 265 b7 * x637 + x595 * x637 ] <= 0 e262: [ 463 b8 * x596 - 463 b8 * x638 + x596 * x638 ] <= 0 e263: [ 456 b9 * x597 - 456 b9 * x639 + x597 * x639 ] <= 0 e264: [ 526 b10 * x598 - 526 b10 * x640 + x598 * x640 ] <= 0 e265: [ 152 b11 * x599 - 152 b11 * x641 + x599 * x641 ] <= 0 e266: [ 456 b12 * x600 - 456 b12 * x642 + x600 * x642 ] <= 0 e267: [ 384 b13 * x601 - 384 b13 * x643 + x601 * x643 ] <= 0 e268: [ 441 b14 * x602 - 441 b14 * x644 + x602 * x644 ] <= 0 e269: [ 309 b15 * x603 - 309 b15 * x645 + x603 * x645 ] <= 0 e270: [ 233 b16 * x604 - 233 b16 * x646 + x604 * x646 ] <= 0 e271: [ 526 b17 * x605 - 526 b17 * x647 + x605 * x647 ] <= 0 e272: [ 384 b18 * x606 - 384 b18 * x648 + x606 * x648 ] <= 0 e273: [ 203 b19 * x607 - 203 b19 * x649 + x607 * x649 ] <= 0 e274: [ 522 b20 * x608 - 522 b20 * x650 + x608 * x650 ] <= 0 e275: [ 265 b21 * x609 - 265 b21 * x651 + x609 * x651 ] <= 0 e276: [ 152 b22 * x610 - 152 b22 * x652 + x610 * x652 ] <= 0 e277: [ 441 b23 * x611 - 441 b23 * x653 + x611 * x653 ] <= 0 e278: [ 203 b24 * x612 - 203 b24 * x654 + x612 * x654 ] <= 0 e279: [ 284 b25 * x613 - 284 b25 * x655 + x613 * x655 ] <= 0 e280: [ 426 b26 * x614 - 426 b26 * x656 + x614 * x656 ] <= 0 e281: [ 284 b27 * x615 - 284 b27 * x657 + x615 * x657 ] <= 0 e282: [ 109 b28 * x616 - 109 b28 * x658 + x616 * x658 ] <= 0 e283: [ 309 b29 * x617 - 309 b29 * x659 + x617 * x659 ] <= 0 e284: [ 434 b30 * x618 - 434 b30 * x660 + x618 * x660 ] <= 0 e285: [ 141 b31 * x619 - 141 b31 * x661 + x619 * x661 ] <= 0 e286: [ 434 b32 * x620 - 434 b32 * x662 + x620 * x662 ] <= 0 e287: [ 403 b33 * x621 - 403 b33 * x663 + x621 * x663 ] <= 0 e288: [ 426 b34 * x622 - 426 b34 * x664 + x622 * x664 ] <= 0 e289: [ 403 b35 * x623 - 403 b35 * x665 + x623 * x665 ] <= 0 e290: [ 151 b36 * x624 - 151 b36 * x666 + x624 * x666 ] <= 0 e291: [ 233 b37 * x625 - 233 b37 * x667 + x625 * x667 ] <= 0 e292: [ 109 b38 * x626 - 109 b38 * x668 + x626 * x668 ] <= 0 e293: [ 367 b39 * x627 - 367 b39 * x669 + x627 * x669 ] <= 0 e294: [ 367 b40 * x628 - 367 b40 * x670 + x628 * x670 ] <= 0 e295: [ 382 b41 * x629 - 382 b41 * x671 + x629 * x671 ] <= 0 e296: [ 151 b42 * x630 - 151 b42 * x672 + x630 * x672 ] <= 0 e297: [ 382 b43 * x631 - 382 b43 * x673 + x631 * x673 ] <= 0 Binary 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 End