\ Equation counts \ Total E G L N X C B \ 1 0 0 1 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 781 1 780 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 782 2 780 0 \ Maximize obj: 0 b1 + 0 b2 + 0 b3 + 0 b4 + 0 b5 + 0 b6 + 0 b7 + 0 b8 + 0 b9 + 0 b10 + 0 b11 + 0 b12 + 0 b13 + 0 b14 + 0 b15 + 0 b16 + 0 b17 + 0 b18 + 0 b19 + 0 b20 + 0 b21 + 0 b22 + 0 b23 + 0 b24 + 0 b25 + 0 b26 + 0 b27 + 0 b28 + 0 b29 + 0 b30 + 0 b31 + 0 b32 + 0 b33 + 0 b34 + 0 b35 + 0 b36 + 0 b37 + 0 b38 + 0 b39 + 0 b40 + 0 b41 + 0 b42 + 0 b43 + 0 b44 + 0 b45 + 0 b46 + 0 b47 + 0 b48 + 0 b49 + 0 b50 + 0 b51 + 0 b52 + 0 b53 + 0 b54 + 0 b55 + 0 b56 + 0 b57 + 0 b58 + 0 b59 + 0 b60 + 0 b61 + 0 b62 + 0 b63 + 0 b64 + 0 b65 + 0 b66 + 0 b67 + 0 b68 + 0 b69 + 0 b70 + 0 b71 + 0 b72 + 0 b73 + 0 b74 + 0 b75 + 0 b76 + 0 b77 + 0 b78 + 0 b79 + 0 b80 + 0 b81 + 0 b82 + 0 b83 + 0 b84 + 0 b85 + 0 b86 + 0 b87 + 0 b88 + 0 b89 + 0 b90 + 0 b91 + 0 b92 + 0 b93 + 0 b94 + 0 b95 + 0 b96 + 0 b97 + 0 b98 + 0 b99 + 0 b100 + 0 b101 + 0 b102 + 0 b103 + 0 b104 + 0 b105 + 0 b106 + 0 b107 + 0 b108 + 0 b109 + 0 b110 + 0 b111 + 0 b112 + 0 b113 + 0 b114 + 0 b115 + 0 b116 + 0 b117 + 0 b118 + 0 b119 + 0 b120 + 0 b121 + 0 b122 + 0 b123 + 0 b124 + 0 b125 + 0 b126 + 0 b127 + 0 b128 + 0 b129 + 0 b130 + 0 b131 + 0 b132 + 0 b133 + 0 b134 + 0 b135 + 0 b136 + 0 b137 + 0 b138 + 0 b139 + 0 b140 + 0 b141 + 0 b142 + 0 b143 + 0 b144 + 0 b145 + 0 b146 + 0 b147 + 0 b148 + 0 b149 + 0 b150 + 0 b151 + 0 b152 + 0 b153 + 0 b154 + 0 b155 + 0 b156 + 0 b157 + 0 b158 + 0 b159 + 0 b160 + 0 b161 + 0 b162 + 0 b163 + 0 b164 + 0 b165 + 0 b166 + 0 b167 + 0 b168 + 0 b169 + 0 b170 + 0 b171 + 0 b172 + 0 b173 + 0 b174 + 0 b175 + 0 b176 + 0 b177 + 0 b178 + 0 b179 + 0 b180 + 0 b181 + 0 b182 + 0 b183 + 0 b184 + 0 b185 + 0 b186 + 0 b187 + 0 b188 + 0 b189 + 0 b190 + 0 b191 + 0 b192 + 0 b193 + 0 b194 + 0 b195 + 0 b196 + 0 b197 + 0 b198 + 0 b199 + 0 b200 + 0 b201 + 0 b202 + 0 b203 + 0 b204 + 0 b205 + 0 b206 + 0 b207 + 0 b208 + 0 b209 + 0 b210 + 0 b211 + 0 b212 + 0 b213 + 0 b214 + 0 b215 + 0 b216 + 0 b217 + 0 b218 + 0 b219 + 0 b220 + 0 b221 + 0 b222 + 0 b223 + 0 b224 + 0 b225 + 0 b226 + 0 b227 + 0 b228 + 0 b229 + 0 b230 + 0 b231 + 0 b232 + 0 b233 + 0 b234 + 0 b235 + 0 b236 + 0 b237 + 0 b238 + 0 b239 + 0 b240 + 0 b241 + 0 b242 + 0 b243 + 0 b244 + 0 b245 + 0 b246 + 0 b247 + 0 b248 + 0 b249 + 0 b250 + 0 b251 + 0 b252 + 0 b253 + 0 b254 + 0 b255 + 0 b256 + 0 b257 + 0 b258 + 0 b259 + 0 b260 + 0 b261 + 0 b262 + 0 b263 + 0 b264 + 0 b265 + 0 b266 + 0 b267 + 0 b268 + 0 b269 + 0 b270 + 0 b271 + 0 b272 + 0 b273 + 0 b274 + 0 b275 + 0 b276 + 0 b277 + 0 b278 + 0 b279 + 0 b280 + 0 b281 + 0 b282 + 0 b283 + 0 b284 + 0 b285 + 0 b286 + 0 b287 + 0 b288 + 0 b289 + 0 b290 + 0 b291 + 0 b292 + 0 b293 + 0 b294 + 0 b295 + 0 b296 + 0 b297 + 0 b298 + 0 b299 + 0 b300 + 0 b301 + 0 b302 + 0 b303 + 0 b304 + 0 b305 + 0 b306 + 0 b307 + 0 b308 + 0 b309 + 0 b310 + 0 b311 + 0 b312 + 0 b313 + 0 b314 + 0 b315 + 0 b316 + 0 b317 + 0 b318 + 0 b319 + 0 b320 + 0 b321 + 0 b322 + 0 b323 + 0 b324 + 0 b325 + 0 b326 + 0 b327 + 0 b328 + 0 b329 + 0 b330 + 0 b331 + 0 b332 + 0 b333 + 0 b334 + 0 b335 + 0 b336 + 0 b337 + 0 b338 + 0 b339 + 0 b340 + 0 b341 + 0 b342 + 0 b343 + 0 b344 + 0 b345 + 0 b346 + 0 b347 + 0 b348 + 0 b349 + 0 b350 + 0 b351 + 0 b352 + 0 b353 + 0 b354 + 0 b355 + 0 b356 + 0 b357 + 0 b358 + 0 b359 + 0 b360 + 0 b361 + 0 b362 + 0 b363 + 0 b364 + 0 b365 + 0 b366 + 0 b367 + 0 b368 + 0 b369 + 0 b370 + 0 b371 + 0 b372 + 0 b373 + 0 b374 + 0 b375 + 0 b376 + 0 b377 + 0 b378 + 0 b379 + 0 b380 + 0 b381 + 0 b382 + 0 b383 + 0 b384 + 0 b385 + 0 b386 + 0 b387 + 0 b388 + 0 b389 + 0 b390 + 0 b391 + 0 b392 + 0 b393 + 0 b394 + 0 b395 + 0 b396 + 0 b397 + 0 b398 + 0 b399 + 0 b400 + 0 b401 + 0 b402 + 0 b403 + 0 b404 + 0 b405 + 0 b406 + 0 b407 + 0 b408 + 0 b409 + 0 b410 + 0 b411 + 0 b412 + 0 b413 + 0 b414 + 0 b415 + 0 b416 + 0 b417 + 0 b418 + 0 b419 + 0 b420 + 0 b421 + 0 b422 + 0 b423 + 0 b424 + 0 b425 + 0 b426 + 0 b427 + 0 b428 + 0 b429 + 0 b430 + 0 b431 + 0 b432 + 0 b433 + 0 b434 + 0 b435 + 0 b436 + 0 b437 + 0 b438 + 0 b439 + 0 b440 + 0 b441 + 0 b442 + 0 b443 + 0 b444 + 0 b445 + 0 b446 + 0 b447 + 0 b448 + 0 b449 + 0 b450 + 0 b451 + 0 b452 + 0 b453 + 0 b454 + 0 b455 + 0 b456 + 0 b457 + 0 b458 + 0 b459 + 0 b460 + 0 b461 + 0 b462 + 0 b463 + 0 b464 + 0 b465 + 0 b466 + 0 b467 + 0 b468 + 0 b469 + 0 b470 + 0 b471 + 0 b472 + 0 b473 + 0 b474 + 0 b475 + 0 b476 + 0 b477 + 0 b478 + 0 b479 + 0 b480 + 0 b481 + 0 b482 + 0 b483 + 0 b484 + 0 b485 + 0 b486 + 0 b487 + 0 b488 + 0 b489 + 0 b490 + 0 b491 + 0 b492 + 0 b493 + 0 b494 + 0 b495 + 0 b496 + 0 b497 + 0 b498 + 0 b499 + 0 b500 + 0 b501 + 0 b502 + 0 b503 + 0 b504 + 0 b505 + 0 b506 + 0 b507 + 0 b508 + 0 b509 + 0 b510 + 0 b511 + 0 b512 + 0 b513 + 0 b514 + 0 b515 + 0 b516 + 0 b517 + 0 b518 + 0 b519 + 0 b520 + 0 b521 + 0 b522 + 0 b523 + 0 b524 + 0 b525 + 0 b526 + 0 b527 + 0 b528 + 0 b529 + 0 b530 + 0 b531 + 0 b532 + 0 b533 + 0 b534 + 0 b535 + 0 b536 + 0 b537 + 0 b538 + 0 b539 + 0 b540 + 0 b541 + 0 b542 + 0 b543 + 0 b544 + 0 b545 + 0 b546 + 0 b547 + 0 b548 + 0 b549 + 0 b550 + 0 b551 + 0 b552 + 0 b553 + 0 b554 + 0 b555 + 0 b556 + 0 b557 + 0 b558 + 0 b559 + 0 b560 + 0 b561 + 0 b562 + 0 b563 + 0 b564 + 0 b565 + 0 b566 + 0 b567 + 0 b568 + 0 b569 + 0 b570 + 0 b571 + 0 b572 + 0 b573 + 0 b574 + 0 b575 + 0 b576 + 0 b577 + 0 b578 + 0 b579 + 0 b580 + 0 b581 + 0 b582 + 0 b583 + 0 b584 + 0 b585 + 0 b586 + 0 b587 + 0 b588 + 0 b589 + 0 b590 + 0 b591 + 0 b592 + 0 b593 + 0 b594 + 0 b595 + 0 b596 + 0 b597 + 0 b598 + 0 b599 + 0 b600 + 0 b601 + 0 b602 + 0 b603 + 0 b604 + 0 b605 + 0 b606 + 0 b607 + 0 b608 + 0 b609 + 0 b610 + 0 b611 + 0 b612 + 0 b613 + 0 b614 + 0 b615 + 0 b616 + 0 b617 + 0 b618 + 0 b619 + 0 b620 + 0 b621 + 0 b622 + 0 b623 + 0 b624 + 0 b625 + 0 b626 + 0 b627 + 0 b628 + 0 b629 + 0 b630 + 0 b631 + 0 b632 + 0 b633 + 0 b634 + 0 b635 + 0 b636 + 0 b637 + 0 b638 + 0 b639 + 0 b640 + 0 b641 + 0 b642 + 0 b643 + 0 b644 + 0 b645 + 0 b646 + 0 b647 + 0 b648 + 0 b649 + 0 b650 + 0 b651 + 0 b652 + 0 b653 + 0 b654 + 0 b655 + 0 b656 + 0 b657 + 0 b658 + 0 b659 + 0 b660 + 0 b661 + 0 b662 + 0 b663 + 0 b664 + 0 b665 + 0 b666 + 0 b667 + 0 b668 + 0 b669 + 0 b670 + 0 b671 + 0 b672 + 0 b673 + 0 b674 + 0 b675 + 0 b676 + 0 b677 + 0 b678 + 0 b679 + 0 b680 + 0 b681 + 0 b682 + 0 b683 + 0 b684 + 0 b685 + 0 b686 + 0 b687 + 0 b688 + 0 b689 + 0 b690 + 0 b691 + 0 b692 + 0 b693 + 0 b694 + 0 b695 + 0 b696 + 0 b697 + 0 b698 + 0 b699 + 0 b700 + 0 b701 + 0 b702 + 0 b703 + 0 b704 + 0 b705 + 0 b706 + 0 b707 + 0 b708 + 0 b709 + 0 b710 + 0 b711 + 0 b712 + 0 b713 + 0 b714 + 0 b715 + 0 b716 + 0 b717 + 0 b718 + 0 b719 + 0 b720 + 0 b721 + 0 b722 + 0 b723 + 0 b724 + 0 b725 + 0 b726 + 0 b727 + 0 b728 + 0 b729 + 0 b730 + 0 b731 + 0 b732 + 0 b733 + 0 b734 + 0 b735 + 0 b736 + 0 b737 + 0 b738 + 0 b739 + 0 b740 + 0 b741 + 0 b742 + 0 b743 + 0 b744 + 0 b745 + 0 b746 + 0 b747 + 0 b748 + 0 b749 + 0 b750 + 0 b751 + 0 b752 + 0 b753 + 0 b754 + 0 b755 + 0 b756 + 0 b757 + 0 b758 + 0 b759 + 0 b760 + 0 b761 + 0 b762 + 0 b763 + 0 b764 + 0 b765 + 0 b766 + 0 b767 + 0 b768 + 0 b769 + 0 b770 + 0 b771 + 0 b772 + 0 b773 + 0 b774 + 0 b775 + 0 b776 + 0 b777 + 0 b778 + 0 b779 + 0 b780 + objvar Subject To e1: - 2 b1 - 2 b2 - 4 b3 - 2 b4 - 2 b5 - 2 b6 - 2 b7 - 2 b8 - 2 b9 - 2 b10 - 2 b11 - 2 b12 - 2 b13 - 2 b14 - 2 b15 - 2 b16 - 2 b17 - 2 b18 - 2 b19 - 2 b20 - 2 b21 - 2 b22 - 2 b23 - 2 b24 - 2 b25 - 2 b26 - 2 b27 - 2 b28 - 2 b29 - 2 b30 - 2 b31 - 2 b32 - 2 b33 - 2 b34 - 4 b35 - 2 b36 - 2 b37 - 2 b38 + 2 b39 - 2 b40 + 2 b41 - 4 b42 - 2 b43 - 2 b44 - 2 b45 - 2 b46 - 2 b47 - 2 b48 + 2 b49 + 2 b50 + 2 b51 - 2 b52 - 2 b53 - 4 b54 - 2 b55 - 2 b56 - 4 b57 - 4 b58 - 4 b59 - 2 b60 - 2 b61 - 2 b62 - 2 b63 - 2 b64 + 2 b65 + 2 b66 + 2 b67 - 4 b68 - 2 b69 - 4 b70 - 4 b71 - 4 b72 - 4 b73 - 2 b74 - 4 b75 - 2 b76 - 4 b77 - 2 b78 - 2 b79 + 4 b80 - 4 b81 - 4 b82 - 2 b83 - 2 b84 - 2 b85 - 2 b86 - 4 b87 - 4 b88 - 2 b89 - 2 b90 - 4 b91 - 4 b92 - 4 b93 - 2 b94 - 4 b95 - 2 b96 - 2 b97 + 2 b98 + 4 b99 - 4 b100 + 2 b101 - 2 b102 - 2 b103 - 2 b104 - 4 b105 - 2 b106 - 2 b107 - 4 b108 - 2 b109 - 2 b110 - 4 b111 - 4 b112 - 2 b113 - 4 b114 - 2 b115 - 2 b116 + 2 b117 - 4 b118 - 2 b119 + 2 b120 - 2 b121 + 4 b122 - 4 b123 - 2 b124 - 4 b125 + 2 b126 - 2 b127 - 2 b128 - 2 b129 - 2 b130 + 2 b131 - 2 b132 - 2 b133 - 4 b134 - 4 b135 - 4 b136 - 4 b137 - 2 b138 + 2 b139 + 2 b140 - 2 b141 + 2 b142 - 2 b143 - 2 b144 + 4 b145 + 2 b146 - 2 b147 - 4 b148 - 4 b149 - 2 b150 - 4 b151 - 2 b152 - 2 b153 - 2 b154 + 2 b155 - 4 b156 - 2 b157 - 4 b158 - 4 b159 - 4 b160 + 2 b161 - 4 b162 - 2 b163 - 4 b164 - 4 b165 - 2 b166 - 2 b167 - 2 b168 + 2 b169 - 4 b170 + 2 b171 - 2 b172 - 2 b173 + 2 b174 - 2 b175 - 2 b176 + 2 b177 - 4 b178 - 4 b179 - 2 b180 - 2 b181 - 2 b182 - 2 b183 + 2 b184 - 4 b185 - 2 b186 - 4 b187 - 4 b188 + 2 b189 - 2 b190 - 4 b191 - 4 b192 - 2 b193 - 2 b194 - 4 b195 + 2 b196 + 2 b197 - 2 b198 - 2 b199 - 2 b200 - 4 b201 - 2 b202 - 4 b203 + 2 b204 - 4 b205 - 2 b206 - 2 b207 - 2 b208 - 2 b209 - 4 b210 - 2 b211 - 2 b212 + 2 b213 + 2 b214 - 4 b215 - 4 b216 - 2 b217 - 4 b218 - 4 b219 + 2 b220 - 2 b221 - 4 b222 - 4 b223 - 2 b224 - 2 b225 - 2 b226 - 4 b227 + 2 b228 + 2 b229 + 4 b230 - 4 b231 - 2 b232 - 2 b233 - 4 b234 - 2 b235 + 2 b236 - 2 b237 - 2 b238 - 2 b239 - 2 b240 - 2 b241 + 2 b242 - 2 b243 - 2 b244 + 2 b245 + 2 b246 - 4 b247 - 4 b248 - 4 b249 - 4 b250 - 4 b251 - 4 b252 + 2 b253 - 2 b254 - 4 b255 - 4 b256 - 2 b257 - 2 b258 - 2 b259 - 4 b260 + 2 b261 + 2 b262 + 4 b263 - 4 b264 - 2 b265 - 2 b266 - 2 b267 - 4 b268 - 2 b269 - 2 b270 - 4 b271 - 2 b272 - 4 b273 + 2 b274 - 2 b275 - 2 b276 - 2 b277 - 4 b278 + 2 b279 - 2 b280 - 2 b281 - 2 b282 + 2 b283 + 4 b284 - 4 b285 - 4 b286 - 4 b287 - 4 b288 - 2 b289 - 4 b290 + 2 b291 - 2 b292 - 4 b293 - 4 b294 - 2 b295 - 4 b296 + 2 b297 + 2 b298 - 2 b299 + 4 b300 - 4 b301 + 2 b302 - 2 b303 - 2 b304 - 2 b305 - 4 b306 + 4 b307 - 4 b308 - 2 b309 - 2 b310 - 2 b311 - 4 b312 + 2 b313 - 2 b314 - 2 b315 - 2 b316 - 2 b317 - 2 b318 + 2 b319 + 4 b320 - 2 b321 - 4 b322 - 4 b323 - 2 b324 - 4 b325 - 4 b326 - 4 b327 - 4 b328 - 2 b329 - 4 b330 - 4 b331 - 2 b332 - 4 b333 + 2 b334 + 2 b335 - 2 b336 + 4 b337 - 4 b338 + 2 b339 - 2 b340 - 4 b341 - 2 b342 + 2 b343 - 4 b344 + 4 b345 + 2 b346 - 2 b347 - 2 b348 - 4 b349 + 2 b350 + 2 b351 - 4 b352 - 2 b353 - 2 b354 - 2 b355 - 2 b356 + 2 b357 + 4 b358 - 2 b359 + 2 b360 - 4 b361 - 2 b362 - 2 b363 - 2 b364 - 4 b365 - 2 b366 - 2 b367 - 4 b368 - 2 b369 - 4 b370 - 4 b371 - 4 b372 - 2 b373 - 2 b374 + 4 b375 - 4 b376 + 2 b377 - 2 b378 + 2 b379 - 2 b380 + 4 b381 - 4 b382 - 2 b383 + 2 b384 - 2 b385 - 4 b386 - 2 b387 - 2 b388 + 2 b389 + 4 b390 - 4 b391 + 2 b392 + 4 b393 - 2 b394 - 4 b395 + 2 b396 - 2 b397 - 4 b398 + 2 b399 - 2 b400 - 2 b401 - 2 b402 + 2 b403 - 2 b404 + 4 b405 - 2 b406 + 4 b407 - 4 b408 - 2 b409 - 2 b410 - 2 b411 - 4 b412 - 4 b413 - 4 b414 - 4 b415 - 4 b416 - 2 b417 + 2 b418 - 4 b419 - 2 b420 - 2 b421 - 4 b422 - 2 b423 + 2 b424 - 4 b425 + 2 b426 - 2 b427 - 4 b428 + 4 b429 - 4 b430 - 2 b431 + 2 b432 - 4 b433 - 4 b434 - 4 b435 + 2 b436 - 4 b437 + 2 b438 + 4 b439 - 4 b440 + 2 b441 + 4 b442 - 4 b443 - 4 b444 - 2 b445 - 2 b446 - 2 b447 - 4 b448 + 2 b449 - 4 b450 + 2 b451 - 2 b452 + 2 b453 - 2 b454 + 2 b455 - 2 b456 + 2 b457 - 2 b458 - 2 b459 + 4 b460 - 4 b461 - 2 b462 - 2 b463 - 2 b464 - 2 b465 - 4 b466 - 4 b467 + 2 b468 - 4 b469 - 2 b470 + 2 b471 - 4 b472 - 2 b473 - 2 b474 - 4 b475 + 2 b476 + objvar + 2 b1 b3 - 2 b1 b161 + 2 b1 b162 + 2 b1 b484 + 2 b2 b369 - 2 b2 b471 + 2 b2 b488 + 2 b2 b501 + 2 b3 b492 + 2 b3 b493 + 2 b3 b511 + 2 b4 b23 + 2 b4 b119 + 2 b4 b524 - 2 b4 b551 + 2 b5 b103 + 2 b5 b498 - 2 b5 b538 + 2 b5 b539 + 2 b6 b83 + 2 b6 b351 + 2 b6 b491 - 2 b6 b547 + 2 b7 b84 + 2 b7 b207 + 2 b7 b506 - 2 b7 b555 + 2 b8 b233 - 2 b8 b263 + 2 b8 b301 + 2 b8 b533 + 2 b9 b104 + 2 b9 b498 + 2 b9 b499 - 2 b9 b568 + 2 b10 b267 - 2 b10 b300 + 2 b10 b338 + 2 b10 b543 + 2 b11 b129 - 2 b11 b350 + 2 b11 b491 + 2 b11 b507 - 2 b12 b279 + 2 b12 b282 + 2 b12 b400 + 2 b12 b541 + 2 b13 b152 + 2 b13 b207 - 2 b13 b396 + 2 b13 b519 + 2 b14 b243 - 2 b14 b313 + 2 b14 b450 + 2 b14 b453 + 2 b15 b109 - 2 b15 b460 + 2 b15 b600 + 2 b15 b601 - 2 b16 b41 + 2 b16 b132 + 2 b16 b613 + 2 b16 b614 + 2 b17 b27 + 2 b17 b372 - 2 b18 b69 + 2 b18 b310 + 2 b18 b445 + 2 b18 b555 + 2 b19 b90 + 2 b19 b156 - 2 b19 b623 + 2 b19 b624 + 2 b20 b276 + 2 b20 b396 + 2 b20 b547 - 2 b20 b620 + 2 b21 b109 + 2 b21 b185 + 2 b21 b215 - 2 b21 b634 + 2 b22 b37 + 2 b22 b636 + 2 b23 b118 + 2 b23 b265 - 2 b23 b380 + 2 b24 b238 + 2 b24 b350 + 2 b24 b538 - 2 b24 b631 + 2 b25 b132 + 2 b25 b216 + 2 b25 b247 - 2 b25 b642 + 2 b26 b73 - 2 b26 b109 + 2 b26 b216 + 2 b26 b643 + 2 b27 b28 - 2 b27 b94 + 2 b27 b165 + 2 b28 b46 + 2 b29 b239 + 2 b29 b529 + 2 b29 b568 - 2 b29 b640 + 2 b30 b156 + 2 b30 b248 + 2 b30 b285 - 2 b30 b649 + 2 b31 b44 - 2 b31 b90 + 2 b31 b92 + 2 b31 b248 + 2 b32 b33 - 2 b32 b76 + 2 b32 b192 + 2 b32 b651 + 2 b33 b62 + 2 b34 b277 + 2 b34 b517 + 2 b34 b555 - 2 b34 b648 + 2 b35 b185 + 2 b35 b286 + 2 b35 b322 + 2 b35 b649 + 2 b36 b59 + 2 b36 b111 + 2 b36 b286 - 2 b36 b614 + 2 b37 b38 - 2 b37 b61 + 2 b37 b223 + 2 b38 b77 + 2 b39 b51 - 2 b39 b99 - 2 b39 b495 - 2 b39 b526 + 2 b40 b128 + 2 b40 b311 + 2 b40 b547 - 2 b40 b657 + 2 b41 b89 - 2 b41 b155 - 2 b41 b478 + 2 b42 b216 + 2 b42 b323 + 2 b42 b361 + 2 b42 b642 + 2 b43 b73 + 2 b43 b134 + 2 b43 b323 - 2 b43 b601 + 2 b44 b412 + 2 b44 b625 - 2 b44 b650 - 2 b45 b46 + 2 b45 b75 + 2 b45 b95 + 2 b45 b673 + 2 b46 b47 + 2 b46 b256 + 2 b47 b95 - 2 b48 b297 + 2 b48 b376 + 2 b48 b532 + 2 b48 b590 - 2 b49 b337 - 2 b49 b481 + 2 b49 b513 - 2 b49 b627 + 2 b50 b52 - 2 b50 b122 - 2 b50 b489 - 2 b50 b535 - 2 b51 b496 - 2 b51 b692 - 2 b51 b693 + 2 b52 b504 + 2 b52 b693 - 2 b52 b704 + 2 b53 b149 + 2 b53 b479 + 2 b53 b537 - 2 b53 b620 + 2 b54 b103 + 2 b54 b349 + 2 b54 b538 + 2 b54 b657 + 2 b55 b56 + 2 b55 b85 + 2 b55 b210 - 2 b55 b548 + 2 b56 b86 + 2 b56 b130 - 2 b56 b705 + 2 b57 b248 + 2 b57 b363 + 2 b57 b408 + 2 b57 b634 + 2 b58 b92 + 2 b58 b158 + 2 b58 b363 + 2 b58 b601 + 2 b59 b159 + 2 b59 b615 + 2 b59 b644 + 2 b60 b61 + 2 b60 b676 - 2 b60 b684 + 2 b60 b685 + 2 b61 b93 + 2 b61 b114 + 2 b62 b63 + 2 b62 b474 - 2 b62 b676 + 2 b63 b114 + 2 b64 b333 - 2 b64 b334 + 2 b64 b523 + 2 b64 b603 - 2 b65 b300 - 2 b65 b485 + 2 b65 b503 - 2 b65 b618 + 2 b66 b68 - 2 b66 b145 - 2 b66 b270 - 2 b66 b487 - 2 b67 b504 + 2 b67 b514 - 2 b67 b680 - 2 b67 b681 + 2 b68 b271 + 2 b68 b515 + 2 b68 b681 + 2 b69 b151 + 2 b69 b309 + 2 b69 b630 + 2 b70 b83 + 2 b70 b395 + 2 b70 b529 + 2 b70 b648 + 2 b71 b286 + 2 b71 b410 + 2 b71 b461 + 2 b71 b623 + 2 b72 b111 + 2 b72 b187 + 2 b72 b410 + 2 b72 b614 + 2 b73 b602 + 2 b73 b650 + 2 b74 b480 + 2 b74 b492 + 2 b74 b650 - 2 b74 b675 + 2 b75 b76 + 2 b75 b684 + 2 b75 b696 + 2 b76 b112 + 2 b76 b137 + 2 b77 b78 + 2 b77 b421 + 2 b77 b676 + 2 b78 b137 + 2 b79 b296 - 2 b79 b377 + 2 b79 b513 + 2 b79 b616 - 2 b80 b436 - 2 b80 b514 - 2 b80 b515 - 2 b80 b669 + 2 b81 b527 + 2 b81 b553 + 2 b81 b669 + 2 b81 b704 + 2 b82 b84 + 2 b82 b444 + 2 b82 b517 + 2 b82 b640 + 2 b83 b151 - 2 b83 b724 - 2 b84 b723 + 2 b84 b724 + 2 b85 b87 + 2 b85 b183 - 2 b85 b358 + 2 b86 b88 + 2 b86 b458 - 2 b86 b599 + 2 b87 b88 + 2 b87 b458 + 2 b87 b683 + 2 b88 b360 + 2 b88 b477 + 2 b89 b323 + 2 b89 b463 - 2 b89 b477 + 2 b90 b91 + 2 b90 b587 + 2 b91 b134 + 2 b91 b218 + 2 b91 b463 + 2 b92 b468 + 2 b92 b589 + 2 b93 b94 + 2 b93 b674 + 2 b93 b708 + 2 b94 b135 + 2 b94 b166 + 2 b95 b96 + 2 b95 b370 + 2 b96 b166 + 2 b97 b260 - 2 b97 b426 + 2 b97 b503 + 2 b97 b626 - 2 b98 b267 - 2 b98 b269 + 2 b98 b341 - 2 b98 b638 - 2 b99 b527 - 2 b99 b661 - 2 b99 b662 + 2 b100 b536 + 2 b100 b565 + 2 b100 b662 + 2 b100 b692 - 2 b101 b578 + 2 b101 b582 - 2 b101 b647 - 2 b101 b648 + 2 b102 b104 + 2 b102 b128 - 2 b102 b483 + 2 b102 b631 + 2 b103 b127 - 2 b103 b181 + 2 b104 b181 - 2 b104 b733 + 2 b105 b181 + 2 b105 b209 + 2 b105 b516 + 2 b105 b641 + 2 b106 b108 + 2 b106 b154 - 2 b106 b405 + 2 b106 b541 + 2 b107 b540 + 2 b107 b585 + 2 b107 b694 - 2 b107 b715 + 2 b108 b478 + 2 b108 b672 + 2 b108 b715 + 2 b109 b110 + 2 b110 b158 + 2 b110 b251 - 2 b110 b464 + 2 b111 b573 + 2 b111 b635 + 2 b112 b113 + 2 b112 b163 + 2 b112 b675 + 2 b113 b164 + 2 b113 b193 - 2 b113 b636 + 2 b114 b115 + 2 b114 b422 + 2 b115 b193 - 2 b116 b117 + 2 b116 b227 + 2 b116 b494 + 2 b116 b637 + 2 b117 b118 - 2 b117 b486 - 2 b117 b737 + 2 b118 b197 + 2 b118 b687 + 2 b119 b121 + 2 b119 b552 - 2 b119 b678 - 2 b120 b233 - 2 b120 b384 + 2 b120 b386 - 2 b120 b703 + 2 b121 b386 - 2 b121 b495 + 2 b121 b713 - 2 b122 b536 - 2 b122 b654 - 2 b122 b655 + 2 b123 b545 + 2 b123 b577 + 2 b123 b655 + 2 b123 b680 + 2 b124 b515 + 2 b124 b608 + 2 b124 b662 - 2 b124 b732 + 2 b125 b149 + 2 b125 b527 + 2 b125 b655 + 2 b125 b732 + 2 b126 b348 - 2 b126 b566 - 2 b126 b656 - 2 b126 b657 + 2 b127 b129 - 2 b127 b479 + 2 b127 b620 - 2 b128 b206 + 2 b128 b528 + 2 b129 b206 - 2 b129 b739 - 2 b130 b131 + 2 b130 b530 + 2 b130 b570 - 2 b131 b460 + 2 b131 b600 - 2 b131 b741 + 2 b132 b133 - 2 b132 b644 + 2 b133 b187 + 2 b133 b288 - 2 b133 b411 + 2 b134 b560 + 2 b134 b625 + 2 b135 b136 + 2 b135 b190 + 2 b135 b685 + 2 b136 b191 + 2 b136 b224 + 2 b136 b636 + 2 b137 b138 + 2 b137 b475 + 2 b138 b224 - 2 b139 b140 + 2 b139 b195 - 2 b139 b494 - 2 b139 b637 - 2 b140 b482 + 2 b140 b730 - 2 b140 b744 + 2 b141 b143 + 2 b141 b544 + 2 b141 b564 - 2 b141 b667 - 2 b142 b199 - 2 b142 b432 + 2 b142 b434 - 2 b142 b691 + 2 b143 b434 - 2 b143 b489 + 2 b143 b702 + 2 b144 b271 - 2 b144 b436 + 2 b144 b628 + 2 b144 b667 - 2 b145 b146 - 2 b145 b545 - 2 b145 b646 + 2 b146 b148 - 2 b146 b441 - 2 b146 b746 + 2 b147 b504 + 2 b147 b593 + 2 b147 b669 - 2 b147 b722 + 2 b148 b179 + 2 b148 b536 + 2 b148 b722 + 2 b149 b150 + 2 b149 b609 + 2 b150 b310 - 2 b150 b483 + 2 b150 b722 + 2 b151 b152 + 2 b151 b483 + 2 b152 b240 - 2 b152 b747 + 2 b153 b240 + 2 b153 b279 - 2 b153 b449 + 2 b153 b724 + 2 b154 b281 - 2 b154 b403 + 2 b154 b611 - 2 b155 b558 + 2 b155 b613 - 2 b155 b749 + 2 b156 b157 + 2 b156 b412 + 2 b157 b218 + 2 b157 b326 - 2 b157 b364 + 2 b158 b160 + 2 b158 b615 + 2 b159 b162 + 2 b159 b415 + 2 b159 b522 + 2 b160 b162 + 2 b160 b326 + 2 b160 b559 - 2 b161 b163 + 2 b161 b366 - 2 b161 b635 + 2 b162 b163 + 2 b163 b222 + 2 b164 b165 + 2 b164 b221 + 2 b164 b696 + 2 b165 b222 + 2 b165 b257 + 2 b166 b167 - 2 b166 b511 + 2 b167 b257 + 2 b168 b169 + 2 b168 b170 + 2 b168 b652 - 2 b168 b750 - 2 b169 b503 - 2 b169 b626 - 2 b169 b627 + 2 b170 b425 + 2 b170 b627 + 2 b170 b687 - 2 b171 b298 - 2 b171 b544 + 2 b171 b730 - 2 b171 b745 - 2 b172 b174 + 2 b172 b175 + 2 b172 b339 + 2 b172 b534 + 2 b173 b175 + 2 b173 b383 - 2 b173 b690 + 2 b173 b745 + 2 b174 b176 - 2 b174 b660 - 2 b174 b679 + 2 b175 b176 - 2 b175 b487 - 2 b176 b577 + 2 b176 b661 + 2 b177 b178 - 2 b177 b438 - 2 b177 b579 - 2 b177 b751 + 2 b178 b203 + 2 b178 b545 + 2 b178 b714 + 2 b179 b180 + 2 b179 b594 + 2 b179 b630 + 2 b180 b276 - 2 b180 b479 + 2 b180 b714 + 2 b181 b182 + 2 b182 b242 - 2 b182 b665 + 2 b182 b752 + 2 b183 b315 - 2 b183 b357 + 2 b183 b598 - 2 b184 b550 - 2 b184 b623 + 2 b184 b624 - 2 b184 b754 + 2 b185 b186 + 2 b185 b644 + 2 b186 b251 - 2 b186 b324 + 2 b186 b365 + 2 b187 b188 + 2 b187 b602 + 2 b188 b365 + 2 b188 b572 + 2 b188 b742 - 2 b189 b190 + 2 b189 b328 - 2 b189 b471 - 2 b189 b625 + 2 b190 b255 + 2 b190 b742 + 2 b191 b192 + 2 b191 b254 + 2 b191 b708 + 2 b192 b255 + 2 b192 b294 + 2 b193 b194 - 2 b193 b501 + 2 b194 b294 + 2 b195 b645 + 2 b195 b743 + 2 b195 b744 - 2 b196 b513 - 2 b196 b616 + 2 b196 b617 - 2 b196 b618 - 2 b197 b335 - 2 b197 b534 - 2 b197 b738 - 2 b198 b229 + 2 b198 b544 + 2 b198 b711 + 2 b198 b738 + 2 b199 b201 + 2 b199 b302 + 2 b199 b525 + 2 b200 b201 + 2 b200 b431 - 2 b200 b678 + 2 b200 b738 + 2 b201 b202 + 2 b201 b487 - 2 b202 b565 + 2 b202 b654 + 2 b202 b667 + 2 b203 b205 + 2 b203 b579 + 2 b203 b639 + 2 b204 b205 - 2 b204 b275 - 2 b204 b567 - 2 b204 b756 + 2 b205 b238 + 2 b205 b483 + 2 b206 b208 + 2 b206 b725 + 2 b207 b490 - 2 b207 b597 + 2 b208 b597 - 2 b208 b671 + 2 b208 b757 + 2 b209 b210 - 2 b209 b241 + 2 b209 b354 + 2 b210 b212 + 2 b210 b597 - 2 b211 b319 + 2 b211 b354 + 2 b211 b540 + 2 b211 b584 + 2 b212 b319 + 2 b212 b401 - 2 b212 b683 - 2 b213 b214 - 2 b213 b508 + 2 b213 b542 - 2 b213 b672 + 2 b214 b215 - 2 b214 b634 - 2 b214 b758 + 2 b215 b531 + 2 b215 b759 + 2 b216 b217 + 2 b217 b288 + 2 b217 b414 - 2 b217 b760 + 2 b218 b219 + 2 b218 b589 + 2 b219 b291 + 2 b219 b414 + 2 b219 b735 - 2 b220 b221 + 2 b220 b290 - 2 b220 b418 - 2 b220 b615 + 2 b221 b293 + 2 b221 b735 + 2 b222 b223 + 2 b222 b292 + 2 b223 b293 + 2 b223 b331 + 2 b224 b225 - 2 b224 b493 + 2 b225 b331 + 2 b226 b227 + 2 b226 b637 + 2 b227 b736 + 2 b227 b737 - 2 b228 b523 - 2 b228 b603 + 2 b228 b604 - 2 b228 b606 + 2 b229 b231 - 2 b229 b427 - 2 b229 b532 - 2 b230 b379 - 2 b230 b525 - 2 b230 b730 - 2 b230 b731 + 2 b231 b534 + 2 b231 b700 + 2 b231 b731 + 2 b232 b267 + 2 b232 b485 + 2 b232 b653 - 2 b232 b668 + 2 b233 b234 + 2 b233 b265 + 2 b234 b235 + 2 b234 b489 + 2 b234 b668 - 2 b235 b553 + 2 b235 b646 + 2 b235 b678 - 2 b236 b442 - 2 b236 b515 + 2 b236 b554 - 2 b236 b693 + 2 b237 b239 - 2 b237 b442 + 2 b237 b546 + 2 b237 b631 + 2 b238 b682 - 2 b238 b764 - 2 b239 b763 + 2 b239 b764 + 2 b240 b241 - 2 b240 b517 + 2 b241 b583 + 2 b241 b765 - 2 b242 b499 - 2 b242 b548 - 2 b242 b753 - 2 b243 b283 + 2 b243 b530 + 2 b243 b633 + 2 b244 b283 + 2 b244 b452 - 2 b244 b694 + 2 b244 b753 - 2 b245 b246 - 2 b245 b455 - 2 b245 b520 + 2 b245 b531 + 2 b246 b247 - 2 b246 b642 - 2 b246 b767 + 2 b247 b362 + 2 b247 b542 + 2 b248 b250 + 2 b249 b250 + 2 b249 b362 + 2 b249 b412 + 2 b249 b571 + 2 b250 b326 + 2 b250 b467 + 2 b251 b252 + 2 b251 b573 + 2 b252 b253 + 2 b252 b467 + 2 b252 b727 - 2 b253 b254 - 2 b253 b488 - 2 b253 b602 + 2 b254 b330 + 2 b254 b727 + 2 b255 b256 + 2 b255 b329 + 2 b256 b330 + 2 b256 b371 + 2 b257 b258 - 2 b257 b369 + 2 b258 b371 + 2 b259 b260 + 2 b259 b626 + 2 b260 b728 + 2 b260 b729 - 2 b261 b532 - 2 b261 b590 + 2 b261 b591 - 2 b261 b592 + 2 b262 b264 - 2 b262 b378 - 2 b262 b523 - 2 b262 b551 - 2 b263 b266 - 2 b263 b605 - 2 b263 b720 + 2 b264 b266 + 2 b264 b525 + 2 b264 b689 + 2 b265 b481 - 2 b265 b660 + 2 b266 b660 + 2 b266 b721 + 2 b267 b268 + 2 b268 b270 + 2 b268 b495 + 2 b268 b660 + 2 b269 b271 + 2 b269 b272 + 2 b269 b712 + 2 b270 b272 + 2 b270 b690 + 2 b271 b273 + 2 b272 b273 - 2 b272 b438 + 2 b273 b496 + 2 b273 b619 - 2 b274 b393 - 2 b274 b527 + 2 b274 b546 - 2 b274 b681 + 2 b275 b277 + 2 b275 b554 + 2 b275 b620 + 2 b276 b670 - 2 b276 b770 - 2 b277 b769 + 2 b277 b770 + 2 b278 b280 + 2 b278 b671 + 2 b278 b752 + 2 b278 b771 - 2 b279 b507 - 2 b279 b748 - 2 b280 b498 + 2 b280 b569 + 2 b280 b748 + 2 b281 b518 + 2 b281 b665 - 2 b281 b705 + 2 b282 b451 + 2 b282 b520 - 2 b282 b622 - 2 b283 b405 - 2 b283 b767 - 2 b284 b403 - 2 b284 b530 - 2 b284 b531 - 2 b284 b658 + 2 b285 b409 + 2 b285 b549 + 2 b285 b658 + 2 b286 b287 + 2 b287 b289 + 2 b287 b365 + 2 b287 b760 + 2 b288 b290 + 2 b288 b560 + 2 b289 b290 + 2 b289 b413 - 2 b289 b480 + 2 b290 b717 - 2 b291 b292 - 2 b291 b492 - 2 b291 b589 + 2 b292 b368 + 2 b292 b717 + 2 b293 b367 + 2 b293 b474 + 2 b294 b493 + 2 b294 b773 + 2 b295 b296 + 2 b295 b616 + 2 b296 b718 + 2 b296 b719 + 2 b297 b299 - 2 b297 b699 - 2 b297 b700 + 2 b298 b301 - 2 b298 b513 - 2 b298 b563 + 2 b299 b301 - 2 b299 b429 + 2 b299 b576 - 2 b300 b303 - 2 b300 b711 + 2 b301 b303 - 2 b302 b432 - 2 b302 b481 - 2 b302 b653 + 2 b303 b432 + 2 b303 b713 + 2 b304 b305 + 2 b304 b385 - 2 b304 b628 + 2 b304 b704 - 2 b305 b389 + 2 b305 b535 + 2 b305 b761 + 2 b306 b308 + 2 b306 b594 + 2 b306 b607 + 2 b306 b761 - 2 b307 b346 - 2 b307 b536 - 2 b307 b537 - 2 b307 b669 + 2 b308 b346 + 2 b308 b496 + 2 b308 b537 + 2 b309 b311 + 2 b309 b566 - 2 b309 b714 + 2 b310 b663 - 2 b310 b747 + 2 b311 b747 - 2 b311 b776 + 2 b312 b314 + 2 b312 b447 + 2 b312 b665 + 2 b312 b757 - 2 b313 b316 - 2 b313 b519 + 2 b313 b725 + 2 b314 b316 - 2 b314 b506 + 2 b314 b556 - 2 b315 b318 + 2 b315 b505 + 2 b315 b671 + 2 b316 b318 + 2 b316 b740 + 2 b317 b508 + 2 b317 b548 + 2 b317 b611 - 2 b317 b612 + 2 b318 b612 + 2 b318 b694 - 2 b319 b358 - 2 b319 b758 - 2 b320 b321 - 2 b320 b357 - 2 b320 b540 - 2 b320 b542 + 2 b321 b322 + 2 b321 b649 + 2 b321 b758 + 2 b322 b462 + 2 b322 b557 + 2 b323 b325 + 2 b324 b325 + 2 b324 b462 + 2 b324 b759 + 2 b325 b327 + 2 b325 b414 + 2 b326 b328 + 2 b327 b328 + 2 b327 b466 + 2 b327 b480 + 2 b328 b707 + 2 b329 b420 - 2 b329 b572 + 2 b329 b707 + 2 b330 b419 + 2 b330 b421 + 2 b331 b501 + 2 b331 b777 + 2 b332 b333 + 2 b332 b603 + 2 b333 b709 + 2 b333 b710 + 2 b334 b336 - 2 b334 b710 - 2 b334 b711 + 2 b335 b338 - 2 b335 b503 - 2 b335 b576 + 2 b336 b338 + 2 b336 b563 - 2 b336 b653 - 2 b337 b340 - 2 b337 b552 - 2 b337 b700 + 2 b338 b340 - 2 b339 b384 - 2 b339 b429 - 2 b339 b485 + 2 b340 b384 + 2 b340 b702 + 2 b341 b342 + 2 b341 b433 + 2 b341 b692 - 2 b342 b343 + 2 b342 b526 + 2 b342 b755 + 2 b343 b344 - 2 b343 b390 - 2 b343 b577 + 2 b344 b579 + 2 b344 b755 + 2 b344 b768 - 2 b345 b545 - 2 b345 b546 - 2 b345 b662 - 2 b345 b664 - 2 b346 b670 - 2 b346 b776 + 2 b347 b349 + 2 b347 b578 + 2 b347 b596 - 2 b347 b722 + 2 b348 b443 + 2 b348 b595 - 2 b348 b739 + 2 b349 b739 + 2 b349 b776 - 2 b350 b581 - 2 b350 b632 - 2 b351 b353 - 2 b351 b516 - 2 b351 b518 + 2 b352 b353 + 2 b352 b449 + 2 b352 b632 + 2 b352 b765 + 2 b353 b355 + 2 b353 b548 - 2 b354 b356 + 2 b354 b497 + 2 b355 b356 - 2 b355 b641 + 2 b355 b734 + 2 b356 b599 + 2 b356 b683 + 2 b357 b734 - 2 b357 b754 - 2 b358 b359 - 2 b358 b549 + 2 b359 b361 + 2 b359 b642 + 2 b359 b754 - 2 b360 b570 - 2 b360 b571 - 2 b360 b726 + 2 b361 b570 + 2 b361 b726 + 2 b362 b364 - 2 b362 b613 + 2 b363 b465 - 2 b363 b706 + 2 b364 b465 + 2 b364 b726 + 2 b365 b366 + 2 b366 b695 - 2 b366 b779 + 2 b367 b473 - 2 b367 b559 + 2 b367 b695 + 2 b368 b370 + 2 b368 b472 + 2 b368 b474 + 2 b369 b372 + 2 b369 b484 + 2 b370 b372 + 2 b370 b473 + 2 b371 b373 + 2 b371 b511 + 2 b372 b373 + 2 b374 b376 + 2 b374 b590 - 2 b375 b561 - 2 b375 b697 - 2 b375 b698 - 2 b375 b699 + 2 b376 b697 + 2 b376 b699 + 2 b377 b380 - 2 b377 b719 - 2 b377 b720 + 2 b378 b380 + 2 b378 b561 + 2 b378 b699 + 2 b379 b382 - 2 b379 b494 - 2 b379 b592 + 2 b380 b382 - 2 b381 b383 - 2 b381 b482 - 2 b381 b564 - 2 b381 b689 + 2 b382 b383 + 2 b382 b552 + 2 b383 b638 - 2 b384 b778 + 2 b385 b387 + 2 b385 b533 - 2 b385 b721 + 2 b386 b388 + 2 b386 b680 + 2 b387 b388 - 2 b387 b514 + 2 b387 b778 - 2 b388 b607 + 2 b388 b751 + 2 b389 b391 - 2 b389 b439 - 2 b389 b565 - 2 b390 b609 - 2 b390 b761 - 2 b390 b762 + 2 b391 b441 + 2 b391 b751 + 2 b391 b762 + 2 b392 b440 - 2 b392 b554 - 2 b392 b655 - 2 b392 b656 - 2 b393 b682 - 2 b393 b768 - 2 b393 b769 + 2 b394 b395 + 2 b394 b582 + 2 b394 b593 - 2 b394 b732 + 2 b395 b733 + 2 b395 b769 - 2 b396 b595 - 2 b396 b621 + 2 b397 b621 + 2 b397 b733 - 2 b397 b757 + 2 b397 b764 + 2 b398 b399 + 2 b398 b400 + 2 b398 b621 + 2 b398 b771 - 2 b399 b401 - 2 b399 b598 - 2 b399 b725 + 2 b400 b401 - 2 b400 b539 + 2 b401 b402 + 2 b402 b404 - 2 b402 b633 + 2 b402 b672 + 2 b403 b740 - 2 b403 b749 - 2 b404 b521 + 2 b404 b586 + 2 b404 b749 - 2 b405 b406 - 2 b405 b557 + 2 b406 b408 + 2 b406 b634 + 2 b406 b749 - 2 b407 b585 - 2 b407 b587 - 2 b407 b715 - 2 b407 b716 + 2 b408 b585 + 2 b408 b716 + 2 b409 b411 - 2 b409 b600 + 2 b409 b760 + 2 b410 b413 - 2 b410 b716 + 2 b411 b413 + 2 b411 b716 + 2 b412 b415 + 2 b413 b415 + 2 b414 b416 + 2 b415 b416 + 2 b416 b417 + 2 b416 b500 + 2 b417 b419 - 2 b417 b635 + 2 b417 b684 - 2 b418 b484 + 2 b418 b510 - 2 b418 b512 + 2 b419 b512 + 2 b419 b559 + 2 b420 b421 + 2 b420 b422 - 2 b420 b492 - 2 b421 b476 + 2 b422 b476 + 2 b422 b512 + 2 b423 b424 + 2 b423 b425 - 2 b424 b574 - 2 b424 b686 - 2 b424 b688 + 2 b425 b688 + 2 b425 b750 + 2 b426 b428 - 2 b426 b729 - 2 b426 b730 + 2 b427 b428 + 2 b427 b574 + 2 b427 b688 + 2 b428 b430 + 2 b428 b653 - 2 b429 b431 - 2 b429 b486 + 2 b430 b431 + 2 b430 b564 + 2 b430 b605 + 2 b431 b629 - 2 b432 b775 + 2 b433 b435 + 2 b433 b543 + 2 b433 b721 + 2 b434 b436 + 2 b434 b437 + 2 b435 b437 + 2 b435 b514 + 2 b435 b775 - 2 b436 b746 + 2 b437 b607 + 2 b437 b746 + 2 b438 b440 - 2 b438 b553 - 2 b439 b594 - 2 b439 b755 - 2 b439 b756 + 2 b440 b746 + 2 b440 b756 - 2 b441 b566 - 2 b441 b647 - 2 b442 b762 - 2 b442 b763 + 2 b443 b444 + 2 b443 b608 + 2 b443 b732 + 2 b444 b723 + 2 b444 b763 + 2 b445 b516 + 2 b445 b581 - 2 b445 b610 + 2 b446 b610 + 2 b446 b723 - 2 b446 b752 + 2 b446 b770 + 2 b447 b448 - 2 b447 b568 + 2 b447 b772 + 2 b448 b450 + 2 b448 b610 + 2 b448 b641 - 2 b449 b452 - 2 b449 b611 + 2 b450 b452 + 2 b450 b539 - 2 b451 b454 - 2 b451 b490 - 2 b451 b665 + 2 b452 b454 - 2 b453 b456 - 2 b453 b530 - 2 b453 b569 + 2 b454 b455 + 2 b454 b456 - 2 b455 b740 - 2 b455 b741 + 2 b456 b457 + 2 b456 b741 - 2 b457 b459 - 2 b457 b570 - 2 b457 b622 - 2 b458 b460 + 2 b458 b461 + 2 b459 b461 + 2 b459 b623 + 2 b459 b741 - 2 b460 b706 + 2 b461 b706 + 2 b462 b464 - 2 b462 b588 + 2 b463 b466 - 2 b463 b726 + 2 b464 b466 + 2 b464 b706 + 2 b465 b467 - 2 b465 b779 + 2 b466 b779 + 2 b467 b469 - 2 b468 b470 - 2 b468 b500 - 2 b468 b643 + 2 b469 b470 + 2 b469 b510 + 2 b469 b779 + 2 b470 b472 + 2 b470 b674 + 2 b471 b500 - 2 b471 b502 + 2 b472 b502 + 2 b472 b572 + 2 b473 b475 - 2 b473 b488 - 2 b474 b774 + 2 b475 b502 + 2 b475 b774 - 2 b476 b777 - 2 b476 b780 - 2 b477 b478 + 2 b477 b571 + 2 b478 b586 + 2 b479 b581 - 2 b480 b522 + 2 b481 b482 + 2 b482 b523 - 2 b484 b493 + 2 b485 b486 + 2 b486 b532 + 2 b487 b553 + 2 b488 b522 + 2 b489 b565 - 2 b490 b491 + 2 b490 b633 - 2 b491 b583 + 2 b494 b605 + 2 b495 b577 - 2 b496 b580 - 2 b497 b498 + 2 b497 b499 - 2 b497 b611 - 2 b499 b610 - 2 b500 b708 - 2 b501 b502 - 2 b504 b567 - 2 b505 b506 + 2 b505 b507 - 2 b505 b598 + 2 b506 b528 - 2 b507 b621 - 2 b508 b509 + 2 b508 b550 + 2 b509 b556 + 2 b509 b598 - 2 b509 b599 - 2 b510 b650 - 2 b510 b696 - 2 b511 b512 - 2 b516 b517 + 2 b518 b519 - 2 b518 b584 - 2 b519 b632 - 2 b520 b521 + 2 b520 b558 + 2 b521 b569 + 2 b521 b584 - 2 b522 b685 - 2 b524 b525 + 2 b524 b628 - 2 b524 b712 + 2 b526 b712 - 2 b526 b778 - 2 b528 b529 - 2 b528 b539 - 2 b529 b752 - 2 b531 b624 - 2 b533 b534 - 2 b533 b701 + 2 b535 b701 - 2 b535 b775 - 2 b537 b682 - 2 b538 b757 - 2 b540 b541 - 2 b541 b556 - 2 b542 b613 - 2 b543 b544 - 2 b543 b690 - 2 b546 b670 - 2 b547 b765 + 2 b549 b550 - 2 b549 b600 - 2 b550 b683 + 2 b551 b720 + 2 b551 b745 - 2 b552 b629 - 2 b554 b663 - 2 b555 b771 - 2 b556 b597 + 2 b557 b558 - 2 b557 b588 - 2 b558 b694 - 2 b559 b560 - 2 b560 b742 + 2 b561 b562 - 2 b561 b563 + 2 b562 b698 - 2 b562 b709 - 2 b562 b710 + 2 b563 b710 - 2 b564 b638 + 2 b566 b567 + 2 b567 b693 + 2 b568 b595 - 2 b569 b583 - 2 b571 b614 - 2 b572 b573 - 2 b573 b735 + 2 b574 b575 - 2 b574 b576 + 2 b575 b686 - 2 b575 b718 - 2 b575 b719 + 2 b576 b719 - 2 b578 b579 + 2 b578 b580 + 2 b580 b681 - 2 b580 b714 - 2 b581 b582 - 2 b582 b733 + 2 b583 b753 - 2 b584 b641 - 2 b585 b586 - 2 b586 b612 + 2 b587 b588 - 2 b587 b601 + 2 b588 b715 - 2 b589 b727 - 2 b590 b677 + 2 b591 b677 - 2 b591 b728 - 2 b591 b729 + 2 b592 b689 + 2 b592 b729 - 2 b593 b594 - 2 b593 b639 - 2 b595 b596 + 2 b596 b639 - 2 b596 b723 + 2 b599 b754 - 2 b602 b717 - 2 b603 b666 + 2 b604 b666 - 2 b604 b736 - 2 b604 b737 - 2 b605 b606 + 2 b606 b700 + 2 b606 b737 - 2 b607 b619 - 2 b608 b609 - 2 b608 b630 + 2 b609 b619 + 2 b612 b758 - 2 b615 b707 - 2 b616 b659 + 2 b617 b659 - 2 b617 b743 - 2 b617 b744 + 2 b618 b711 + 2 b618 b744 - 2 b619 b768 + 2 b622 b705 + 2 b622 b767 - 2 b624 b759 - 2 b625 b695 - 2 b626 b652 + 2 b627 b720 - 2 b628 b629 + 2 b629 b775 - 2 b630 b631 + 2 b632 b766 - 2 b633 b671 + 2 b635 b643 - 2 b636 b651 - 2 b637 b645 + 2 b638 b778 - 2 b639 b640 + 2 b640 b682 - 2 b643 b644 + 2 b646 b703 - 2 b646 b761 + 2 b647 b756 + 2 b647 b763 + 2 b648 b670 - 2 b649 b658 + 2 b654 b691 - 2 b654 b755 + 2 b656 b762 + 2 b656 b769 + 2 b657 b663 + 2 b658 b767 + 2 b661 b679 - 2 b661 b751 - 2 b663 b664 + 2 b664 b768 + 2 b664 b776 - 2 b667 b668 + 2 b668 b731 - 2 b672 b734 - 2 b673 b674 + 2 b673 b675 - 2 b673 b676 - 2 b674 b707 - 2 b675 b717 + 2 b678 b679 - 2 b679 b680 - 2 b684 b695 - 2 b685 b727 - 2 b687 b688 - 2 b687 b689 + 2 b690 b691 - 2 b691 b692 - 2 b696 b735 - 2 b701 b702 + 2 b701 b703 - 2 b702 b745 - 2 b703 b704 + 2 b705 b748 - 2 b708 b742 - 2 b712 b713 - 2 b713 b738 - 2 b721 b731 - 2 b724 b725 - 2 b734 b753 + 2 b739 b766 - 2 b740 b748 + 2 b747 b772 - 2 b759 b760 - 2 b764 b766 - 2 b765 b766 - 2 b770 b772 - 2 b771 b772 - 2 b773 b774 + 2 b774 b780 <= 0 Bounds objvar Free Binary b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 b21 b22 b23 b24 b25 b26 b27 b28 b29 b30 b31 b32 b33 b34 b35 b36 b37 b38 b39 b40 b41 b42 b43 b44 b45 b46 b47 b48 b49 b50 b51 b52 b53 b54 b55 b56 b57 b58 b59 b60 b61 b62 b63 b64 b65 b66 b67 b68 b69 b70 b71 b72 b73 b74 b75 b76 b77 b78 b79 b80 b81 b82 b83 b84 b85 b86 b87 b88 b89 b90 b91 b92 b93 b94 b95 b96 b97 b98 b99 b100 b101 b102 b103 b104 b105 b106 b107 b108 b109 b110 b111 b112 b113 b114 b115 b116 b117 b118 b119 b120 b121 b122 b123 b124 b125 b126 b127 b128 b129 b130 b131 b132 b133 b134 b135 b136 b137 b138 b139 b140 b141 b142 b143 b144 b145 b146 b147 b148 b149 b150 b151 b152 b153 b154 b155 b156 b157 b158 b159 b160 b161 b162 b163 b164 b165 b166 b167 b168 b169 b170 b171 b172 b173 b174 b175 b176 b177 b178 b179 b180 b181 b182 b183 b184 b185 b186 b187 b188 b189 b190 b191 b192 b193 b194 b195 b196 b197 b198 b199 b200 b201 b202 b203 b204 b205 b206 b207 b208 b209 b210 b211 b212 b213 b214 b215 b216 b217 b218 b219 b220 b221 b222 b223 b224 b225 b226 b227 b228 b229 b230 b231 b232 b233 b234 b235 b236 b237 b238 b239 b240 b241 b242 b243 b244 b245 b246 b247 b248 b249 b250 b251 b252 b253 b254 b255 b256 b257 b258 b259 b260 b261 b262 b263 b264 b265 b266 b267 b268 b269 b270 b271 b272 b273 b274 b275 b276 b277 b278 b279 b280 b281 b282 b283 b284 b285 b286 b287 b288 b289 b290 b291 b292 b293 b294 b295 b296 b297 b298 b299 b300 b301 b302 b303 b304 b305 b306 b307 b308 b309 b310 b311 b312 b313 b314 b315 b316 b317 b318 b319 b320 b321 b322 b323 b324 b325 b326 b327 b328 b329 b330 b331 b332 b333 b334 b335 b336 b337 b338 b339 b340 b341 b342 b343 b344 b345 b346 b347 b348 b349 b350 b351 b352 b353 b354 b355 b356 b357 b358 b359 b360 b361 b362 b363 b364 b365 b366 b367 b368 b369 b370 b371 b372 b373 b374 b375 b376 b377 b378 b379 b380 b381 b382 b383 b384 b385 b386 b387 b388 b389 b390 b391 b392 b393 b394 b395 b396 b397 b398 b399 b400 b401 b402 b403 b404 b405 b406 b407 b408 b409 b410 b411 b412 b413 b414 b415 b416 b417 b418 b419 b420 b421 b422 b423 b424 b425 b426 b427 b428 b429 b430 b431 b432 b433 b434 b435 b436 b437 b438 b439 b440 b441 b442 b443 b444 b445 b446 b447 b448 b449 b450 b451 b452 b453 b454 b455 b456 b457 b458 b459 b460 b461 b462 b463 b464 b465 b466 b467 b468 b469 b470 b471 b472 b473 b474 b475 b476 b477 b478 b479 b480 b481 b482 b483 b484 b485 b486 b487 b488 b489 b490 b491 b492 b493 b494 b495 b496 b497 b498 b499 b500 b501 b502 b503 b504 b505 b506 b507 b508 b509 b510 b511 b512 b513 b514 b515 b516 b517 b518 b519 b520 b521 b522 b523 b524 b525 b526 b527 b528 b529 b530 b531 b532 b533 b534 b535 b536 b537 b538 b539 b540 b541 b542 b543 b544 b545 b546 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 b589 b590 b591 b592 b593 b594 b595 b596 b597 b598 b599 b600 b601 b602 b603 b604 b605 b606 b607 b608 b609 b610 b611 b612 b613 b614 b615 b616 b617 b618 b619 b620 b621 b622 b623 b624 b625 b626 b627 b628 b629 b630 b631 b632 b633 b634 b635 b636 b637 b638 b639 b640 b641 b642 b643 b644 b645 b646 b647 b648 b649 b650 b651 b652 b653 b654 b655 b656 b657 b658 b659 b660 b661 b662 b663 b664 b665 b666 b667 b668 b669 b670 b671 b672 b673 b674 b675 b676 b677 b678 b679 b680 b681 b682 b683 b684 b685 b686 b687 b688 b689 b690 b691 b692 b693 b694 b695 b696 b697 b698 b699 b700 b701 b702 b703 b704 b705 b706 b707 b708 b709 b710 b711 b712 b713 b714 b715 b716 b717 b718 b719 b720 b721 b722 b723 b724 b725 b726 b727 b728 b729 b730 b731 b732 b733 b734 b735 b736 b737 b738 b739 b740 b741 b742 b743 b744 b745 b746 b747 b748 b749 b750 b751 b752 b753 b754 b755 b756 b757 b758 b759 b760 b761 b762 b763 b764 b765 b766 b767 b768 b769 b770 b771 b772 b773 b774 b775 b776 b777 b778 b779 b780 End