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