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