\ Equation counts \ Total E G L N X C B \ 254 169 42 43 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 630 588 42 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 2352 1764 588 0 \ Minimize obj: 0 x1 + 0 x2 + 0 x3 + 0 x4 + 0 x5 + 0 x6 + 0 x7 + 0 x8 + 0 x9 + 0 x10 + 0 x11 + 0 x12 + 0 x13 + 0 x14 + 0 x15 + 0 x16 + 0 x17 + 0 x18 + 0 x19 + 0 x20 + 0 x21 + 0 x22 + 0 x23 + 0 x24 + 0 x25 + 0 x26 + 0 x27 + 0 x28 + 0 x29 + 0 x30 + 0 x31 + 0 x32 + 0 x33 + 0 x34 + 0 x35 + 0 x36 + 0 x37 + 0 x38 + 0 x39 + 0 x40 + 0 x41 + 0 x42 + 0 x43 + 0 x44 + 0 x45 + 0 x46 + 0 x47 + 0 x48 + 0 x49 + 0 x50 + 0 x51 + 0 x52 + 0 x53 + 0 x54 + 0 x55 + 0 x56 + 0 x57 + 0 x58 + 0 x59 + 0 x60 + 0 x61 + 0 x62 + 0 x63 + 0 x64 + 0 x65 + 0 x66 + 0 x67 + 0 x68 + 0 x69 + 0 x70 + 0 x71 + 0 x72 + 0 x73 + 0 x74 + 0 x75 + 0 x76 + 0 x77 + 0 x78 + 0 x79 + 0 x80 + 0 x81 + 0 x82 + 0 x83 + 0 x84 + 0 x85 + 0 x86 + 0 x87 + 0 x88 + 0 x89 + 0 x90 + 0 x91 + 0 x92 + 0 x93 + 0 x94 + 0 x95 + 0 x96 + 0 x97 + 0 x98 + 0 x99 + 0 x100 + 0 x101 + 0 x102 + 0 x103 + 0 x104 + 0 x105 + 0 x106 + 0 x107 + 0 x108 + 0 x109 + 0 x110 + 0 x111 + 0 x112 + 0 x113 + 0 x114 + 0 x115 + 0 x116 + 0 x117 + 0 x118 + 0 x119 + 0 x120 + 0 x121 + 0 x122 + 0 x123 + 0 x124 + 0 x125 + 0 x126 + 0 x127 + 0 x128 + 0 x129 + 0 x130 + 0 x131 + 0 x132 + 0 x133 + 0 x134 + 0 x135 + 0 x136 + 0 x137 + 0 x138 + 0 x139 + 0 x140 + 0 x141 + 0 x142 + 0 x143 + 0 x144 + 0 x145 + 0 x146 + 0 x147 + 0 x148 + 0 x149 + 0 x150 + 0 x151 + 0 x152 + 0 x153 + 0 x154 + 0 x155 + 0 x156 + 0 x157 + 0 x158 + 0 x159 + 0 x160 + 0 x161 + 0 x162 + 0 x163 + 0 x164 + 0 x165 + 0 x166 + 0 x167 + 0 x168 + 0 x169 + 0 x170 + 0 x171 + 0 x172 + 0 x173 + 0 x174 + 0 x175 + 0 x176 + 0 x177 + 0 x178 + 0 x179 + 0 x180 + 0 x181 + 0 x182 + 0 x183 + 0 x184 + 0 x185 + 0 x186 + 0 x187 + 0 x188 + 0 x189 + 0 x190 + 0 x191 + 0 x192 + 0 x193 + 0 x194 + 0 x195 + 0 x196 + 0 x197 + 0 x198 + 0 x199 + 0 x200 + 0 x201 + 0 x202 + 0 x203 + 0 x204 + 0 x205 + 0 x206 + 0 x207 + 0 x208 + 0 x209 + 0 x210 + 0 x211 + 0 x212 + 0 x213 + 0 x214 + 0 x215 + 0 x216 + 0 x217 + 0 x218 + 0 x219 + 0 x220 + 0 x221 + 0 x222 + 0 x223 + 0 x224 + 0 x225 + 0 x226 + 0 x227 + 0 x228 + 0 x229 + 0 x230 + 0 x231 + 0 x232 + 0 x233 + 0 x234 + 0 x235 + 0 x236 + 0 x237 + 0 x238 + 0 x239 + 0 x240 + 0 x241 + 0 x242 + 0 x243 + 0 x244 + 0 x245 + 0 x246 + 0 x247 + 0 x248 + 0 x249 + 0 x250 + 0 x251 + 0 x252 + 0 x253 + 0 x254 + 0 x255 + 0 x256 + 0 x257 + 0 x258 + 0 x259 + 0 x260 + 0 x261 + 0 x262 + 0 x263 + 0 x264 + 0 x265 + 0 x266 + 0 x267 + 0 x268 + 0 x269 + 0 x270 + 0 x271 + 0 x272 + 0 x273 + 0 x274 + 0 x275 + 0 x276 + 0 x277 + 0 x278 + 0 x279 + 0 x280 + 0 x281 + 0 x282 + 0 x283 + 0 x284 + 0 x285 + 0 x286 + 0 x287 + 0 x288 + 0 x289 + 0 x290 + 0 x291 + 0 x292 + 0 x293 + 0 x294 + 0 x295 + 0 x296 + 0 x297 + 0 x298 + 0 x299 + 0 x300 + 0 x301 + 0 x302 + 0 x303 + 0 x304 + 0 x305 + 0 x306 + 0 x307 + 0 x308 + 0 x309 + 0 x310 + 0 x311 + 0 x312 + 0 x313 + 0 x314 + 0 x315 + 0 x316 + 0 x317 + 0 x318 + 0 x319 + 0 x320 + 0 x321 + 0 x322 + 0 x323 + 0 x324 + 0 x325 + 0 x326 + 0 x327 + 0 x328 + 0 x329 + 0 x330 + 0 x331 + 0 x332 + 0 x333 + 0 x334 + 0 x335 + 0 x336 + 0 x337 + 0 x338 + 0 x339 + 0 x340 + 0 x341 + 0 x342 + 0 x343 + 0 x344 + 0 x345 + 0 x346 + 0 x347 + 0 x348 + 0 x349 + 0 x350 + 0 x351 + 0 x352 + 0 x353 + 0 x354 + 0 x355 + 0 x356 + 0 x357 + 0 x358 + 0 x359 + 0 x360 + 0 x361 + 0 x362 + 0 x363 + 0 x364 + 0 x365 + 0 x366 + 0 x367 + 0 x368 + 0 x369 + 0 x370 + 0 x371 + 0 x372 + 0 x373 + 0 x374 + 0 x375 + 0 x376 + 0 x377 + 0 x378 + 0 x379 + 0 x380 + 0 x381 + 0 x382 + 0 x383 + 0 x384 + 0 x385 + 0 x386 + 0 x387 + 0 x388 + 0 x389 + 0 x390 + 0 x391 + 0 x392 + 0 x393 + 0 x394 + 0 x395 + 0 x396 + 0 x397 + 0 x398 + 0 x399 + 0 x400 + 0 x401 + 0 x402 + 0 x403 + 0 x404 + 0 x405 + 0 x406 + 0 x407 + 0 x408 + 0 x409 + 0 x410 + 0 x411 + 0 x412 + 0 x413 + 0 x414 + 0 x415 + 0 x416 + 0 x417 + 0 x418 + 0 x419 + 0 x420 + 0 x421 + 0 x422 + 0 x423 + 0 x424 + 0 x425 + 0 x426 + 0 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 + 1.090016011 b547 + 3.10674202 b548 + 2.475702586 b549 + 1.966733944 b550 + 1.090016011 b551 + 2.019536713 b552 + 3.10674202 b553 + 1.383540955 b554 + 2.087059045 b555 + 3.720443668 b556 + 1.383540955 b557 + 1.794144217 b558 + 3.50653318 b559 + 1.71812596 b560 + 3.834780538 b561 + 2.087059045 b562 + 1.794144217 b563 + 2.239621249 b564 + 2.475702586 b565 + 2.019536713 b566 + 3.720443668 b567 + 3.50653318 b568 + 2.239621249 b569 + 1.098732406 b570 + 1.742557876 b571 + 1.098732406 b572 + 3.606882982 b573 + 1.71812596 b574 + 2.074958698 b575 + 1.966733944 b576 + 2.074958698 b577 + 3.859970515 b578 + 1.742557876 b579 + 3.859970515 b580 + 3.951460459 b581 + 3.834780538 b582 + 3.606882982 b583 + 2.524064089 b584 + 2.524064089 b585 + 3.982701487 b586 + 3.951460459 b587 + 3.982701487 b588 + 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 Subject To e2: - x1 - x14 - x27 - x40 + x53 + x79 + x235 + x378 = -148 e3: - x2 - x15 - x28 - x41 + x54 + x80 + x236 + x379 = 12 e4: - x3 - x16 - x29 - x42 + x55 + x81 + x237 + x380 = 16 e5: - x4 - x17 - x30 - x43 + x56 + x82 + x238 + x381 = 21 e6: - x5 - x18 - x31 - x44 + x57 + x83 + x239 + x382 = 11 e7: - x6 - x19 - x32 - x45 + x58 + x84 + x240 + x383 = 24 e8: - x7 - x20 - x33 - x46 + x59 + x85 + x241 + x384 = 24 e9: - x8 - x21 - x34 - x47 + x60 + x86 + x242 + x385 = 8 e10: - x9 - x22 - x35 - x48 + x61 + x87 + x243 + x386 = 10 e11: - x10 - x23 - x36 - x49 + x62 + x88 + x244 + x387 = 18 e12: - x11 - x24 - x37 - x50 + x63 + x89 + x245 + x388 = 11 e13: - x12 - x25 - x38 - x51 + x64 + x90 + x246 + x389 = 20 e14: - x13 - x26 - x39 - x52 + x65 + x91 + x247 + x390 = 7 e15: x1 - x53 - x66 + x248 = 7 e16: x2 - x54 - x67 + x249 = -175 e17: x3 - x55 - x68 + x250 = 15 e18: x4 - x56 - x69 + x251 = 17 e19: x5 - x57 - x70 + x252 = 20 e20: x6 - x58 - x71 + x253 = 24 e21: x7 - x59 - x72 + x254 = 6 e22: x8 - x60 - x73 + x255 = 19 e23: x9 - x61 - x74 + x256 = 24 e24: x10 - x62 - x75 + x257 = 11 e25: x11 - x63 - x76 + x258 = 15 e26: x12 - x64 - x77 + x259 = 9 e27: x13 - x65 - x78 + x260 = 19 e28: x14 - x79 - x92 - x105 - x118 + x131 + x196 + x261 = 15 e29: x15 - x80 - x93 - x106 - x119 + x132 + x197 + x262 = 13 e30: x16 - x81 - x94 - x107 - x120 + x133 + x198 + x263 = -231 e31: x17 - x82 - x95 - x108 - x121 + x134 + x199 + x264 = 23 e32: x18 - x83 - x96 - x109 - x122 + x135 + x200 + x265 = 18 e33: x19 - x84 - x97 - x110 - x123 + x136 + x201 + x266 = 19 e34: x20 - x85 - x98 - x111 - x124 + x137 + x202 + x267 = 9 e35: x21 - x86 - x99 - x112 - x125 + x138 + x203 + x268 = 8 e36: x22 - x87 - x100 - x113 - x126 + x139 + x204 + x269 = 16 e37: x23 - x88 - x101 - x114 - x127 + x140 + x205 + x270 = 19 e38: x24 - x89 - x102 - x115 - x128 + x141 + x206 + x271 = 19 e39: x25 - x90 - x103 - x116 - x129 + x142 + x207 + x272 = 21 e40: x26 - x91 - x104 - x117 - x130 + x143 + x208 + x273 = 8 e41: x92 - x131 - x144 - x157 - x170 - x183 + x209 + x274 + x352 + x456 = 12 e42: x93 - x132 - x145 - x158 - x171 - x184 + x210 + x275 + x353 + x457 = 20 e43: x94 - x133 - x146 - x159 - x172 - x185 + x211 + x276 + x354 + x458 = 23 e44: x95 - x134 - x147 - x160 - x173 - x186 + x212 + x277 + x355 + x459 = -187 e45: x96 - x135 - x148 - x161 - x174 - x187 + x213 + x278 + x356 + x460 = 21 e46: x97 - x136 - x149 - x162 - x175 - x188 + x214 + x279 + x357 + x461 = 12 e47: x98 - x137 - x150 - x163 - x176 - x189 + x215 + x280 + x358 + x462 = 6 e48: x99 - x138 - x151 - x164 - x177 - x190 + x216 + x281 + x359 + x463 = 11 e49: x100 - x139 - x152 - x165 - x178 - x191 + x217 + x282 + x360 + x464 = 19 e50: x101 - x140 - x153 - x166 - x179 - x192 + x218 + x283 + x361 + x465 = 9 e51: x102 - x141 - x154 - x167 - x180 - x193 + x219 + x284 + x362 + x466 = 17 e52: x103 - x142 - x155 - x168 - x181 - x194 + x220 + x285 + x363 + x467 = 23 e53: x104 - x143 - x156 - x169 - x182 - x195 + x221 + x286 + x364 + x468 = 21 e54: x105 + x144 - x196 - x209 - x222 + x287 = 14 e55: x106 + x145 - x197 - x210 - x223 + x288 = 7 e56: x107 + x146 - x198 - x211 - x224 + x289 = 22 e57: x108 + x147 - x199 - x212 - x225 + x290 = 14 e58: x109 + x148 - x200 - x213 - x226 + x291 = -1.7e2 e59: x110 + x149 - x201 - x214 - x227 + x292 = 12 e60: x111 + x150 - x202 - x215 - x228 + x293 = 13 e61: x112 + x151 - x203 - x216 - x229 + x294 = 10 e62: x113 + x152 - x204 - x217 - x230 + x295 = 15 e63: x114 + x153 - x205 - x218 - x231 + x296 = 9 e64: x115 + x154 - x206 - x219 - x232 + x297 = 14 e65: x116 + x155 - x207 - x220 - x233 + x298 = 16 e66: x117 + x156 - x208 - x221 - x234 + x299 = 8 e67: x27 + x66 + x118 + x157 + x222 - x235 - x248 - x261 - x274 - x287 - x300 - x313 + x326 + x417 = 13 e68: x28 + x67 + x119 + x158 + x223 - x236 - x249 - x262 - x275 - x288 - x301 - x314 + x327 + x418 = 22 e69: x29 + x68 + x120 + x159 + x224 - x237 - x250 - x263 - x276 - x289 - x302 - x315 + x328 + x419 = 23 e70: x30 + x69 + x121 + x160 + x225 - x238 - x251 - x264 - x277 - x290 - x303 - x316 + x329 + x420 = 7 e71: x31 + x70 + x122 + x161 + x226 - x239 - x252 - x265 - x278 - x291 - x304 - x317 + x330 + x421 = 16 e72: x32 + x71 + x123 + x162 + x227 - x240 - x253 - x266 - x279 - x292 - x305 - x318 + x331 + x422 = -169 e73: x33 + x72 + x124 + x163 + x228 - x241 - x254 - x267 - x280 - x293 - x306 - x319 + x332 + x423 = 20 e74: x34 + x73 + x125 + x164 + x229 - x242 - x255 - x268 - x281 - x294 - x307 - x320 + x333 + x424 = 14 e75: x35 + x74 + x126 + x165 + x230 - x243 - x256 - x269 - x282 - x295 - x308 - x321 + x334 + x425 = 11 e76: x36 + x75 + x127 + x166 + x231 - x244 - x257 - x270 - x283 - x296 - x309 - x322 + x335 + x426 = 13 e77: x37 + x76 + x128 + x167 + x232 - x245 - x258 - x271 - x284 - x297 - x310 - x323 + x336 + x427 = 10 e78: x38 + x77 + x129 + x168 + x233 - x246 - x259 - x272 - x285 - x298 - x311 - x324 + x337 + x428 = 13 e79: x39 + x78 + x130 + x169 + x234 - x247 - x260 - x273 - x286 - x299 - x312 - x325 + x338 + x429 = 12 e80: x300 - x326 - x339 + x469 = 6 e81: x301 - x327 - x340 + x470 = 16 e82: x302 - x328 - x341 + x471 = 22 e83: x303 - x329 - x342 + x472 = 9 e84: x304 - x330 - x343 + x473 = 13 e85: x305 - x331 - x344 + x474 = 7 e86: x306 - x332 - x345 + x475 = -156 e87: x307 - x333 - x346 + x476 = 20 e88: x308 - x334 - x347 + x477 = 19 e89: x309 - x335 - x348 + x478 = 24 e90: x310 - x336 - x349 + x479 = 8 e91: x311 - x337 - x350 + x480 = 21 e92: x312 - x338 - x351 + x481 = 6 e93: x170 - x352 - x365 + x391 = 15 e94: x171 - x353 - x366 + x392 = 15 e95: x172 - x354 - x367 + x393 = 23 e96: x173 - x355 - x368 + x394 = 25 e97: x174 - x356 - x369 + x395 = 20 e98: x175 - x357 - x370 + x396 = 7 e99: x176 - x358 - x371 + x397 = 19 e100: x177 - x359 - x372 + x398 = -177 e101: x178 - x360 - x373 + x399 = 7 e102: x179 - x361 - x374 + x400 = 18 e103: x180 - x362 - x375 + x401 = 25 e104: x181 - x363 - x376 + x402 = 20 e105: x182 - x364 - x377 + x403 = 18 e106: x40 + x365 - x378 - x391 - x404 + x430 = 8 e107: x41 + x366 - x379 - x392 - x405 + x431 = 11 e108: x42 + x367 - x380 - x393 - x406 + x432 = 23 e109: x43 + x368 - x381 - x394 - x407 + x433 = 7 e110: x44 + x369 - x382 - x395 - x408 + x434 = 5 e111: x45 + x370 - x383 - x396 - x409 + x435 = 15 e112: x46 + x371 - x384 - x397 - x410 + x436 = 7 e113: x47 + x372 - x385 - x398 - x411 + x437 = 10 e114: x48 + x373 - x386 - x399 - x412 + x438 = -179 e115: x49 + x374 - x387 - x400 - x413 + x439 = 20 e116: x50 + x375 - x388 - x401 - x414 + x440 = 18 e117: x51 + x376 - x389 - x402 - x415 + x441 = 8 e118: x52 + x377 - x390 - x403 - x416 + x442 = 12 e119: x313 + x404 - x417 - x430 - x443 + x521 = 9 e120: x314 + x405 - x418 - x431 - x444 + x522 = 12 e121: x315 + x406 - x419 - x432 - x445 + x523 = 24 e122: x316 + x407 - x420 - x433 - x446 + x524 = 21 e123: x317 + x408 - x421 - x434 - x447 + x525 = 8 e124: x318 + x409 - x422 - x435 - x448 + x526 = 9 e125: x319 + x410 - x423 - x436 - x449 + x527 = 11 e126: x320 + x411 - x424 - x437 - x450 + x528 = 13 e127: x321 + x412 - x425 - x438 - x451 + x529 = 11 e128: x322 + x413 - x426 - x439 - x452 + x530 = -183 e129: x323 + x414 - x427 - x440 - x453 + x531 = 16 e130: x324 + x415 - x428 - x441 - x454 + x532 = 14 e131: x325 + x416 - x429 - x442 - x455 + x533 = 17 e132: x183 + x339 - x456 - x469 - x482 + x495 = 22 e133: x184 + x340 - x457 - x470 - x483 + x496 = 12 e134: x185 + x341 - x458 - x471 - x484 + x497 = 7 e135: x186 + x342 - x459 - x472 - x485 + x498 = 12 e136: x187 + x343 - x460 - x473 - x486 + x499 = 12 e137: x188 + x344 - x461 - x474 - x487 + x500 = 10 e138: x189 + x345 - x462 - x475 - x488 + x501 = 11 e139: x190 + x346 - x463 - x476 - x489 + x502 = 17 e140: x191 + x347 - x464 - x477 - x490 + x503 = 17 e141: x192 + x348 - x465 - x478 - x491 + x504 = 12 e142: x193 + x349 - x466 - x479 - x492 + x505 = -185 e143: x194 + x350 - x467 - x480 - x493 + x506 = 10 e144: x195 + x351 - x468 - x481 - x494 + x507 = 21 e145: x482 - x495 - x508 + x534 = 8 e146: x483 - x496 - x509 + x535 = 20 e147: x484 - x497 - x510 + x536 = 23 e148: x485 - x498 - x511 + x537 = 18 e149: x486 - x499 - x512 + x538 = 15 e150: x487 - x500 - x513 + x539 = 22 e151: x488 - x501 - x514 + x540 = 17 e152: x489 - x502 - x515 + x541 = 24 e153: x490 - x503 - x516 + x542 = 7 e154: x491 - x504 - x517 + x543 = 16 e155: x492 - x505 - x518 + x544 = 24 e156: x493 - x506 - x519 + x545 = -200 e157: x494 - x507 - x520 + x546 = 8 e158: x443 + x508 - x521 - x534 = 19 e159: x444 + x509 - x522 - x535 = 15 e160: x445 + x510 - x523 - x536 = 10 e161: x446 + x511 - x524 - x537 = 13 e162: x447 + x512 - x525 - x538 = 11 e163: x448 + x513 - x526 - x539 = 8 e164: x449 + x514 - x527 - x540 = 13 e165: x450 + x515 - x528 - x541 = 23 e166: x451 + x516 - x529 - x542 = 23 e167: x452 + x517 - x530 - x543 = 14 e168: x453 + x518 - x531 - x544 = 8 e169: x454 + x519 - x532 - x545 = 25 e170: x455 + x520 - x533 - x546 = -157 e171: - 166 x1 - 166 x2 - 166 x3 - 166 x4 - 166 x5 - 166 x6 - 166 x7 - 166 x8 - 166 x9 - 166 x10 - 166 x11 - 166 x12 - 166 x13 + 166 x589 + [ - x1 * x589 - x2 * x589 - x3 * x589 - x4 * x589 - x5 * x589 - x6 * x589 - x7 * x589 - x8 * x589 - x9 * x589 - x10 * x589 - x11 * x589 - x12 * x589 - x13 * x589 ] >= 0 e172: - 463 x14 - 463 x15 - 463 x16 - 463 x17 - 463 x18 - 463 x19 - 463 x20 - 463 x21 - 463 x22 - 463 x23 - 463 x24 - 463 x25 - 463 x26 + 463 x590 + [ - x14 * x590 - x15 * x590 - x16 * x590 - x17 * x590 - x18 * x590 - x19 * x590 - x20 * x590 - x21 * x590 - x22 * x590 - x23 * x590 - x24 * x590 - x25 * x590 - x26 * x590 ] >= 0 e173: - 522 x27 - 522 x28 - 522 x29 - 522 x30 - 522 x31 - 522 x32 - 522 x33 - 522 x34 - 522 x35 - 522 x36 - 522 x37 - 522 x38 - 522 x39 + 522 x591 + [ - x27 * x591 - x28 * x591 - x29 * x591 - x30 * x591 - x31 * x591 - x32 * x591 - x33 * x591 - x34 * x591 - x35 * x591 - x36 * x591 - x37 * x591 - x38 * x591 - x39 * x591 ] >= 0 e174: - 141 x40 - 141 x41 - 141 x42 - 141 x43 - 141 x44 - 141 x45 - 141 x46 - 141 x47 - 141 x48 - 141 x49 - 141 x50 - 141 x51 - 141 x52 + 141 x592 + [ - x40 * x592 - x41 * x592 - x42 * x592 - x43 * x592 - x44 * x592 - x45 * x592 - x46 * x592 - x47 * x592 - x48 * x592 - x49 * x592 - x50 * x592 - x51 * x592 - x52 * x592 ] >= 0 e175: - 166 x53 - 166 x54 - 166 x55 - 166 x56 - 166 x57 - 166 x58 - 166 x59 - 166 x60 - 166 x61 - 166 x62 - 166 x63 - 166 x64 - 166 x65 + 166 x593 + [ - x53 * x593 - x54 * x593 - x55 * x593 - x56 * x593 - x57 * x593 - x58 * x593 - x59 * x593 - x60 * x593 - x61 * x593 - x62 * x593 - x63 * x593 - x64 * x593 - x65 * x593 ] >= 0 e176: - 265 x66 - 265 x67 - 265 x68 - 265 x69 - 265 x70 - 265 x71 - 265 x72 - 265 x73 - 265 x74 - 265 x75 - 265 x76 - 265 x77 - 265 x78 + 265 x594 + [ - x66 * x594 - x67 * x594 - x68 * x594 - x69 * x594 - x70 * x594 - x71 * x594 - x72 * x594 - x73 * x594 - x74 * x594 - x75 * x594 - x76 * x594 - x77 * x594 - x78 * x594 ] >= 0 e177: - 463 x79 - 463 x80 - 463 x81 - 463 x82 - 463 x83 - 463 x84 - 463 x85 - 463 x86 - 463 x87 - 463 x88 - 463 x89 - 463 x90 - 463 x91 + 463 x595 + [ - x79 * x595 - x80 * x595 - x81 * x595 - x82 * x595 - x83 * x595 - x84 * x595 - x85 * x595 - x86 * x595 - x87 * x595 - x88 * x595 - x89 * x595 - x90 * x595 - x91 * x595 ] >= 0 e178: - 456 x92 - 456 x93 - 456 x94 - 456 x95 - 456 x96 - 456 x97 - 456 x98 - 456 x99 - 456 x100 - 456 x101 - 456 x102 - 456 x103 - 456 x104 + 456 x596 + [ - x92 * x596 - x93 * x596 - x94 * x596 - x95 * x596 - x96 * x596 - x97 * x596 - x98 * x596 - x99 * x596 - x100 * x596 - x101 * x596 - x102 * x596 - x103 * x596 - x104 * x596 ] >= 0 e179: - 526 x105 - 526 x106 - 526 x107 - 526 x108 - 526 x109 - 526 x110 - 526 x111 - 526 x112 - 526 x113 - 526 x114 - 526 x115 - 526 x116 - 526 x117 + 526 x597 + [ - x105 * x597 - x106 * x597 - x107 * x597 - x108 * x597 - x109 * x597 - x110 * x597 - x111 * x597 - x112 * x597 - x113 * x597 - x114 * x597 - x115 * x597 - x116 * x597 - x117 * x597 ] >= 0 e180: - 152 x118 - 152 x119 - 152 x120 - 152 x121 - 152 x122 - 152 x123 - 152 x124 - 152 x125 - 152 x126 - 152 x127 - 152 x128 - 152 x129 - 152 x130 + 152 x598 + [ - x118 * x598 - x119 * x598 - x120 * x598 - x121 * x598 - x122 * x598 - x123 * x598 - x124 * x598 - x125 * x598 - x126 * x598 - x127 * x598 - x128 * x598 - x129 * x598 - x130 * x598 ] >= 0 e181: - 456 x131 - 456 x132 - 456 x133 - 456 x134 - 456 x135 - 456 x136 - 456 x137 - 456 x138 - 456 x139 - 456 x140 - 456 x141 - 456 x142 - 456 x143 + 456 x599 + [ - x131 * x599 - x132 * x599 - x133 * x599 - x134 * x599 - x135 * x599 - x136 * x599 - x137 * x599 - x138 * x599 - x139 * x599 - x140 * x599 - x141 * x599 - x142 * x599 - x143 * x599 ] >= 0 e182: - 384 x144 - 384 x145 - 384 x146 - 384 x147 - 384 x148 - 384 x149 - 384 x150 - 384 x151 - 384 x152 - 384 x153 - 384 x154 - 384 x155 - 384 x156 + 384 x600 + [ - x144 * x600 - x145 * x600 - x146 * x600 - x147 * x600 - x148 * x600 - x149 * x600 - x150 * x600 - x151 * x600 - x152 * x600 - x153 * x600 - x154 * x600 - x155 * x600 - x156 * x600 ] >= 0 e183: - 441 x157 - 441 x158 - 441 x159 - 441 x160 - 441 x161 - 441 x162 - 441 x163 - 441 x164 - 441 x165 - 441 x166 - 441 x167 - 441 x168 - 441 x169 + 441 x601 + [ - x157 * x601 - x158 * x601 - x159 * x601 - x160 * x601 - x161 * x601 - x162 * x601 - x163 * x601 - x164 * x601 - x165 * x601 - x166 * x601 - x167 * x601 - x168 * x601 - x169 * x601 ] >= 0 e184: - 309 x170 - 309 x171 - 309 x172 - 309 x173 - 309 x174 - 309 x175 - 309 x176 - 309 x177 - 309 x178 - 309 x179 - 309 x180 - 309 x181 - 309 x182 + 309 x602 + [ - x170 * x602 - x171 * x602 - x172 * x602 - x173 * x602 - x174 * x602 - x175 * x602 - x176 * x602 - x177 * x602 - x178 * x602 - x179 * x602 - x180 * x602 - x181 * x602 - x182 * x602 ] >= 0 e185: - 233 x183 - 233 x184 - 233 x185 - 233 x186 - 233 x187 - 233 x188 - 233 x189 - 233 x190 - 233 x191 - 233 x192 - 233 x193 - 233 x194 - 233 x195 + 233 x603 + [ - x183 * x603 - x184 * x603 - x185 * x603 - x186 * x603 - x187 * x603 - x188 * x603 - x189 * x603 - x190 * x603 - x191 * x603 - x192 * x603 - x193 * x603 - x194 * x603 - x195 * x603 ] >= 0 e186: - 526 x196 - 526 x197 - 526 x198 - 526 x199 - 526 x200 - 526 x201 - 526 x202 - 526 x203 - 526 x204 - 526 x205 - 526 x206 - 526 x207 - 526 x208 + 526 x604 + [ - x196 * x604 - x197 * x604 - x198 * x604 - x199 * x604 - x200 * x604 - x201 * x604 - x202 * x604 - x203 * x604 - x204 * x604 - x205 * x604 - x206 * x604 - x207 * x604 - x208 * x604 ] >= 0 e187: - 384 x209 - 384 x210 - 384 x211 - 384 x212 - 384 x213 - 384 x214 - 384 x215 - 384 x216 - 384 x217 - 384 x218 - 384 x219 - 384 x220 - 384 x221 + 384 x605 + [ - x209 * x605 - x210 * x605 - x211 * x605 - x212 * x605 - x213 * x605 - x214 * x605 - x215 * x605 - x216 * x605 - x217 * x605 - x218 * x605 - x219 * x605 - x220 * x605 - x221 * x605 ] >= 0 e188: - 203 x222 - 203 x223 - 203 x224 - 203 x225 - 203 x226 - 203 x227 - 203 x228 - 203 x229 - 203 x230 - 203 x231 - 203 x232 - 203 x233 - 203 x234 + 203 x606 + [ - x222 * x606 - x223 * x606 - x224 * x606 - x225 * x606 - x226 * x606 - x227 * x606 - x228 * x606 - x229 * x606 - x230 * x606 - x231 * x606 - x232 * x606 - x233 * x606 - x234 * x606 ] >= 0 e189: - 522 x235 - 522 x236 - 522 x237 - 522 x238 - 522 x239 - 522 x240 - 522 x241 - 522 x242 - 522 x243 - 522 x244 - 522 x245 - 522 x246 - 522 x247 + 522 x607 + [ - x235 * x607 - x236 * x607 - x237 * x607 - x238 * x607 - x239 * x607 - x240 * x607 - x241 * x607 - x242 * x607 - x243 * x607 - x244 * x607 - x245 * x607 - x246 * x607 - x247 * x607 ] >= 0 e190: - 265 x248 - 265 x249 - 265 x250 - 265 x251 - 265 x252 - 265 x253 - 265 x254 - 265 x255 - 265 x256 - 265 x257 - 265 x258 - 265 x259 - 265 x260 + 265 x608 + [ - x248 * x608 - x249 * x608 - x250 * x608 - x251 * x608 - x252 * x608 - x253 * x608 - x254 * x608 - x255 * x608 - x256 * x608 - x257 * x608 - x258 * x608 - x259 * x608 - x260 * x608 ] >= 0 e191: - 152 x261 - 152 x262 - 152 x263 - 152 x264 - 152 x265 - 152 x266 - 152 x267 - 152 x268 - 152 x269 - 152 x270 - 152 x271 - 152 x272 - 152 x273 + 152 x609 + [ - x261 * x609 - x262 * x609 - x263 * x609 - x264 * x609 - x265 * x609 - x266 * x609 - x267 * x609 - x268 * x609 - x269 * x609 - x270 * x609 - x271 * x609 - x272 * x609 - x273 * x609 ] >= 0 e192: - 441 x274 - 441 x275 - 441 x276 - 441 x277 - 441 x278 - 441 x279 - 441 x280 - 441 x281 - 441 x282 - 441 x283 - 441 x284 - 441 x285 - 441 x286 + 441 x610 + [ - x274 * x610 - x275 * x610 - x276 * x610 - x277 * x610 - x278 * x610 - x279 * x610 - x280 * x610 - x281 * x610 - x282 * x610 - x283 * x610 - x284 * x610 - x285 * x610 - x286 * x610 ] >= 0 e193: - 203 x287 - 203 x288 - 203 x289 - 203 x290 - 203 x291 - 203 x292 - 203 x293 - 203 x294 - 203 x295 - 203 x296 - 203 x297 - 203 x298 - 203 x299 + 203 x611 + [ - x287 * x611 - x288 * x611 - x289 * x611 - x290 * x611 - x291 * x611 - x292 * x611 - x293 * x611 - x294 * x611 - x295 * x611 - x296 * x611 - x297 * x611 - x298 * x611 - x299 * x611 ] >= 0 e194: - 284 x300 - 284 x301 - 284 x302 - 284 x303 - 284 x304 - 284 x305 - 284 x306 - 284 x307 - 284 x308 - 284 x309 - 284 x310 - 284 x311 - 284 x312 + 284 x612 + [ - x300 * x612 - x301 * x612 - x302 * x612 - x303 * x612 - x304 * x612 - x305 * x612 - x306 * x612 - x307 * x612 - x308 * x612 - x309 * x612 - x310 * x612 - x311 * x612 - x312 * x612 ] >= 0 e195: - 426 x313 - 426 x314 - 426 x315 - 426 x316 - 426 x317 - 426 x318 - 426 x319 - 426 x320 - 426 x321 - 426 x322 - 426 x323 - 426 x324 - 426 x325 + 426 x613 + [ - x313 * x613 - x314 * x613 - x315 * x613 - x316 * x613 - x317 * x613 - x318 * x613 - x319 * x613 - x320 * x613 - x321 * x613 - x322 * x613 - x323 * x613 - x324 * x613 - x325 * x613 ] >= 0 e196: - 284 x326 - 284 x327 - 284 x328 - 284 x329 - 284 x330 - 284 x331 - 284 x332 - 284 x333 - 284 x334 - 284 x335 - 284 x336 - 284 x337 - 284 x338 + 284 x614 + [ - x326 * x614 - x327 * x614 - x328 * x614 - x329 * x614 - x330 * x614 - x331 * x614 - x332 * x614 - x333 * x614 - x334 * x614 - x335 * x614 - x336 * x614 - x337 * x614 - x338 * x614 ] >= 0 e197: - 109 x339 - 109 x340 - 109 x341 - 109 x342 - 109 x343 - 109 x344 - 109 x345 - 109 x346 - 109 x347 - 109 x348 - 109 x349 - 109 x350 - 109 x351 + 109 x615 + [ - x339 * x615 - x340 * x615 - x341 * x615 - x342 * x615 - x343 * x615 - x344 * x615 - x345 * x615 - x346 * x615 - x347 * x615 - x348 * x615 - x349 * x615 - x350 * x615 - x351 * x615 ] >= 0 e198: - 309 x352 - 309 x353 - 309 x354 - 309 x355 - 309 x356 - 309 x357 - 309 x358 - 309 x359 - 309 x360 - 309 x361 - 309 x362 - 309 x363 - 309 x364 + 309 x616 + [ - x352 * x616 - x353 * x616 - x354 * x616 - x355 * x616 - x356 * x616 - x357 * x616 - x358 * x616 - x359 * x616 - x360 * x616 - x361 * x616 - x362 * x616 - x363 * x616 - x364 * x616 ] >= 0 e199: - 434 x365 - 434 x366 - 434 x367 - 434 x368 - 434 x369 - 434 x370 - 434 x371 - 434 x372 - 434 x373 - 434 x374 - 434 x375 - 434 x376 - 434 x377 + 434 x617 + [ - x365 * x617 - x366 * x617 - x367 * x617 - x368 * x617 - x369 * x617 - x370 * x617 - x371 * x617 - x372 * x617 - x373 * x617 - x374 * x617 - x375 * x617 - x376 * x617 - x377 * x617 ] >= 0 e200: - 141 x378 - 141 x379 - 141 x380 - 141 x381 - 141 x382 - 141 x383 - 141 x384 - 141 x385 - 141 x386 - 141 x387 - 141 x388 - 141 x389 - 141 x390 + 141 x618 + [ - x378 * x618 - x379 * x618 - x380 * x618 - x381 * x618 - x382 * x618 - x383 * x618 - x384 * x618 - x385 * x618 - x386 * x618 - x387 * x618 - x388 * x618 - x389 * x618 - x390 * x618 ] >= 0 e201: - 434 x391 - 434 x392 - 434 x393 - 434 x394 - 434 x395 - 434 x396 - 434 x397 - 434 x398 - 434 x399 - 434 x400 - 434 x401 - 434 x402 - 434 x403 + 434 x619 + [ - x391 * x619 - x392 * x619 - x393 * x619 - x394 * x619 - x395 * x619 - x396 * x619 - x397 * x619 - x398 * x619 - x399 * x619 - x400 * x619 - x401 * x619 - x402 * x619 - x403 * x619 ] >= 0 e202: - 403 x404 - 403 x405 - 403 x406 - 403 x407 - 403 x408 - 403 x409 - 403 x410 - 403 x411 - 403 x412 - 403 x413 - 403 x414 - 403 x415 - 403 x416 + 403 x620 + [ - x404 * x620 - x405 * x620 - x406 * x620 - x407 * x620 - x408 * x620 - x409 * x620 - x410 * x620 - x411 * x620 - x412 * x620 - x413 * x620 - x414 * x620 - x415 * x620 - x416 * x620 ] >= 0 e203: - 426 x417 - 426 x418 - 426 x419 - 426 x420 - 426 x421 - 426 x422 - 426 x423 - 426 x424 - 426 x425 - 426 x426 - 426 x427 - 426 x428 - 426 x429 + 426 x621 + [ - x417 * x621 - x418 * x621 - x419 * x621 - x420 * x621 - x421 * x621 - x422 * x621 - x423 * x621 - x424 * x621 - x425 * x621 - x426 * x621 - x427 * x621 - x428 * x621 - x429 * x621 ] >= 0 e204: - 403 x430 - 403 x431 - 403 x432 - 403 x433 - 403 x434 - 403 x435 - 403 x436 - 403 x437 - 403 x438 - 403 x439 - 403 x440 - 403 x441 - 403 x442 + 403 x622 + [ - x430 * x622 - x431 * x622 - x432 * x622 - x433 * x622 - x434 * x622 - x435 * x622 - x436 * x622 - x437 * x622 - x438 * x622 - x439 * x622 - x440 * x622 - x441 * x622 - x442 * x622 ] >= 0 e205: - 151 x443 - 151 x444 - 151 x445 - 151 x446 - 151 x447 - 151 x448 - 151 x449 - 151 x450 - 151 x451 - 151 x452 - 151 x453 - 151 x454 - 151 x455 + 151 x623 + [ - x443 * x623 - x444 * x623 - x445 * x623 - x446 * x623 - x447 * x623 - x448 * x623 - x449 * x623 - x450 * x623 - x451 * x623 - x452 * x623 - x453 * x623 - x454 * x623 - x455 * x623 ] >= 0 e206: - 233 x456 - 233 x457 - 233 x458 - 233 x459 - 233 x460 - 233 x461 - 233 x462 - 233 x463 - 233 x464 - 233 x465 - 233 x466 - 233 x467 - 233 x468 + 233 x624 + [ - x456 * x624 - x457 * x624 - x458 * x624 - x459 * x624 - x460 * x624 - x461 * x624 - x462 * x624 - x463 * x624 - x464 * x624 - x465 * x624 - x466 * x624 - x467 * x624 - x468 * x624 ] >= 0 e207: - 109 x469 - 109 x470 - 109 x471 - 109 x472 - 109 x473 - 109 x474 - 109 x475 - 109 x476 - 109 x477 - 109 x478 - 109 x479 - 109 x480 - 109 x481 + 109 x625 + [ - x469 * x625 - x470 * x625 - x471 * x625 - x472 * x625 - x473 * x625 - x474 * x625 - x475 * x625 - x476 * x625 - x477 * x625 - x478 * x625 - x479 * x625 - x480 * x625 - x481 * x625 ] >= 0 e208: - 367 x482 - 367 x483 - 367 x484 - 367 x485 - 367 x486 - 367 x487 - 367 x488 - 367 x489 - 367 x490 - 367 x491 - 367 x492 - 367 x493 - 367 x494 + 367 x626 + [ - x482 * x626 - x483 * x626 - x484 * x626 - x485 * x626 - x486 * x626 - x487 * x626 - x488 * x626 - x489 * x626 - x490 * x626 - x491 * x626 - x492 * x626 - x493 * x626 - x494 * x626 ] >= 0 e209: - 367 x495 - 367 x496 - 367 x497 - 367 x498 - 367 x499 - 367 x500 - 367 x501 - 367 x502 - 367 x503 - 367 x504 - 367 x505 - 367 x506 - 367 x507 + 367 x627 + [ - x495 * x627 - x496 * x627 - x497 * x627 - x498 * x627 - x499 * x627 - x500 * x627 - x501 * x627 - x502 * x627 - x503 * x627 - x504 * x627 - x505 * x627 - x506 * x627 - x507 * x627 ] >= 0 e210: - 382 x508 - 382 x509 - 382 x510 - 382 x511 - 382 x512 - 382 x513 - 382 x514 - 382 x515 - 382 x516 - 382 x517 - 382 x518 - 382 x519 - 382 x520 + 382 x628 + [ - x508 * x628 - x509 * x628 - x510 * x628 - x511 * x628 - x512 * x628 - x513 * x628 - x514 * x628 - x515 * x628 - x516 * x628 - x517 * x628 - x518 * x628 - x519 * x628 - x520 * x628 ] >= 0 e211: - 151 x521 - 151 x522 - 151 x523 - 151 x524 - 151 x525 - 151 x526 - 151 x527 - 151 x528 - 151 x529 - 151 x530 - 151 x531 - 151 x532 - 151 x533 + 151 x629 + [ - x521 * x629 - x522 * x629 - x523 * x629 - x524 * x629 - x525 * x629 - x526 * x629 - x527 * x629 - x528 * x629 - x529 * x629 - x530 * x629 - x531 * x629 - x532 * x629 - x533 * x629 ] >= 0 e212: - 382 x534 - 382 x535 - 382 x536 - 382 x537 - 382 x538 - 382 x539 - 382 x540 - 382 x541 - 382 x542 - 382 x543 - 382 x544 - 382 x545 - 382 x546 + 382 x630 + [ - x534 * x630 - x535 * x630 - x536 * x630 - x537 * x630 - x538 * x630 - x539 * x630 - x540 * x630 - x541 * x630 - x542 * x630 - x543 * x630 - x544 * x630 - x545 * x630 - x546 * x630 ] >= 0 e213: x589 + x590 + x591 + x592 + x593 + 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 + x626 + x627 + x628 + x629 + x630 <= 18536 e214: x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x13 - 166 b547 <= 0 e215: x14 + x15 + x16 + x17 + x18 + x19 + x20 + x21 + x22 + x23 + x24 + x25 + x26 - 463 b548 <= 0 e216: x27 + x28 + x29 + x30 + x31 + x32 + x33 + x34 + x35 + x36 + x37 + x38 + x39 - 522 b549 <= 0 e217: x40 + x41 + x42 + x43 + x44 + x45 + x46 + x47 + x48 + x49 + x50 + x51 + x52 - 141 b550 <= 0 e218: x53 + x54 + x55 + x56 + x57 + x58 + x59 + x60 + x61 + x62 + x63 + x64 + x65 - 166 b551 <= 0 e219: x66 + x67 + x68 + x69 + x70 + x71 + x72 + x73 + x74 + x75 + x76 + x77 + x78 - 265 b552 <= 0 e220: x79 + x80 + x81 + x82 + x83 + x84 + x85 + x86 + x87 + x88 + x89 + x90 + x91 - 463 b553 <= 0 e221: x92 + x93 + x94 + x95 + x96 + x97 + x98 + x99 + x100 + x101 + x102 + x103 + x104 - 456 b554 <= 0 e222: x105 + x106 + x107 + x108 + x109 + x110 + x111 + x112 + x113 + x114 + x115 + x116 + x117 - 526 b555 <= 0 e223: x118 + x119 + x120 + x121 + x122 + x123 + x124 + x125 + x126 + x127 + x128 + x129 + x130 - 152 b556 <= 0 e224: x131 + x132 + x133 + x134 + x135 + x136 + x137 + x138 + x139 + x140 + x141 + x142 + x143 - 456 b557 <= 0 e225: x144 + x145 + x146 + x147 + x148 + x149 + x150 + x151 + x152 + x153 + x154 + x155 + x156 - 384 b558 <= 0 e226: x157 + x158 + x159 + x160 + x161 + x162 + x163 + x164 + x165 + x166 + x167 + x168 + x169 - 441 b559 <= 0 e227: x170 + x171 + x172 + x173 + x174 + x175 + x176 + x177 + x178 + x179 + x180 + x181 + x182 - 309 b560 <= 0 e228: x183 + x184 + x185 + x186 + x187 + x188 + x189 + x190 + x191 + x192 + x193 + x194 + x195 - 233 b561 <= 0 e229: x196 + x197 + x198 + x199 + x200 + x201 + x202 + x203 + x204 + x205 + x206 + x207 + x208 - 526 b562 <= 0 e230: x209 + x210 + x211 + x212 + x213 + x214 + x215 + x216 + x217 + x218 + x219 + x220 + x221 - 384 b563 <= 0 e231: x222 + x223 + x224 + x225 + x226 + x227 + x228 + x229 + x230 + x231 + x232 + x233 + x234 - 203 b564 <= 0 e232: x235 + x236 + x237 + x238 + x239 + x240 + x241 + x242 + x243 + x244 + x245 + x246 + x247 - 522 b565 <= 0 e233: x248 + x249 + x250 + x251 + x252 + x253 + x254 + x255 + x256 + x257 + x258 + x259 + x260 - 265 b566 <= 0 e234: x261 + x262 + x263 + x264 + x265 + x266 + x267 + x268 + x269 + x270 + x271 + x272 + x273 - 152 b567 <= 0 e235: x274 + x275 + x276 + x277 + x278 + x279 + x280 + x281 + x282 + x283 + x284 + x285 + x286 - 441 b568 <= 0 e236: x287 + x288 + x289 + x290 + x291 + x292 + x293 + x294 + x295 + x296 + x297 + x298 + x299 - 203 b569 <= 0 e237: x300 + x301 + x302 + x303 + x304 + x305 + x306 + x307 + x308 + x309 + x310 + x311 + x312 - 284 b570 <= 0 e238: x313 + x314 + x315 + x316 + x317 + x318 + x319 + x320 + x321 + x322 + x323 + x324 + x325 - 426 b571 <= 0 e239: x326 + x327 + x328 + x329 + x330 + x331 + x332 + x333 + x334 + x335 + x336 + x337 + x338 - 284 b572 <= 0 e240: x339 + x340 + x341 + x342 + x343 + x344 + x345 + x346 + x347 + x348 + x349 + x350 + x351 - 109 b573 <= 0 e241: x352 + x353 + x354 + x355 + x356 + x357 + x358 + x359 + x360 + x361 + x362 + x363 + x364 - 309 b574 <= 0 e242: x365 + x366 + x367 + x368 + x369 + x370 + x371 + x372 + x373 + x374 + x375 + x376 + x377 - 434 b575 <= 0 e243: x378 + x379 + x380 + x381 + x382 + x383 + x384 + x385 + x386 + x387 + x388 + x389 + x390 - 141 b576 <= 0 e244: x391 + x392 + x393 + x394 + x395 + x396 + x397 + x398 + x399 + x400 + x401 + x402 + x403 - 434 b577 <= 0 e245: x404 + x405 + x406 + x407 + x408 + x409 + x410 + x411 + x412 + x413 + x414 + x415 + x416 - 403 b578 <= 0 e246: x417 + x418 + x419 + x420 + x421 + x422 + x423 + x424 + x425 + x426 + x427 + x428 + x429 - 426 b579 <= 0 e247: x430 + x431 + x432 + x433 + x434 + x435 + x436 + x437 + x438 + x439 + x440 + x441 + x442 - 403 b580 <= 0 e248: x443 + x444 + x445 + x446 + x447 + x448 + x449 + x450 + x451 + x452 + x453 + x454 + x455 - 151 b581 <= 0 e249: x456 + x457 + x458 + x459 + x460 + x461 + x462 + x463 + x464 + x465 + x466 + x467 + x468 - 233 b582 <= 0 e250: x469 + x470 + x471 + x472 + x473 + x474 + x475 + x476 + x477 + x478 + x479 + x480 + x481 - 109 b583 <= 0 e251: x482 + x483 + x484 + x485 + x486 + x487 + x488 + x489 + x490 + x491 + x492 + x493 + x494 - 367 b584 <= 0 e252: x495 + x496 + x497 + x498 + x499 + x500 + x501 + x502 + x503 + x504 + x505 + x506 + x507 - 367 b585 <= 0 e253: x508 + x509 + x510 + x511 + x512 + x513 + x514 + x515 + x516 + x517 + x518 + x519 + x520 - 382 b586 <= 0 e254: x521 + x522 + x523 + x524 + x525 + x526 + x527 + x528 + x529 + x530 + x531 + x532 + x533 - 151 b587 <= 0 e255: x534 + x535 + x536 + x537 + x538 + x539 + x540 + x541 + x542 + x543 + x544 + x545 + x546 - 382 b588 <= 0 Binary b547 b548 b549 b550 b551 b552 b553 b554 b555 b556 b557 b558 b559 b560 b561 b562 b563 b564 b565 b566 b567 b568 b569 b570 b571 b572 b573 b574 b575 b576 b577 b578 b579 b580 b581 b582 b583 b584 b585 b586 b587 b588 End