\ 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 \ 1129 1 1128 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 1130 2 1128 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 + 0 b862 + 0 b863 + 0 b864 + 0 b865 + 0 b866 + 0 b867 + 0 b868 + 0 b869 + 0 b870 + 0 b871 + 0 b872 + 0 b873 + 0 b874 + 0 b875 + 0 b876 + 0 b877 + 0 b878 + 0 b879 + 0 b880 + 0 b881 + 0 b882 + 0 b883 + 0 b884 + 0 b885 + 0 b886 + 0 b887 + 0 b888 + 0 b889 + 0 b890 + 0 b891 + 0 b892 + 0 b893 + 0 b894 + 0 b895 + 0 b896 + 0 b897 + 0 b898 + 0 b899 + 0 b900 + 0 b901 + 0 b902 + 0 b903 + 0 b904 + 0 b905 + 0 b906 + 0 b907 + 0 b908 + 0 b909 + 0 b910 + 0 b911 + 0 b912 + 0 b913 + 0 b914 + 0 b915 + 0 b916 + 0 b917 + 0 b918 + 0 b919 + 0 b920 + 0 b921 + 0 b922 + 0 b923 + 0 b924 + 0 b925 + 0 b926 + 0 b927 + 0 b928 + 0 b929 + 0 b930 + 0 b931 + 0 b932 + 0 b933 + 0 b934 + 0 b935 + 0 b936 + 0 b937 + 0 b938 + 0 b939 + 0 b940 + 0 b941 + 0 b942 + 0 b943 + 0 b944 + 0 b945 + 0 b946 + 0 b947 + 0 b948 + 0 b949 + 0 b950 + 0 b951 + 0 b952 + 0 b953 + 0 b954 + 0 b955 + 0 b956 + 0 b957 + 0 b958 + 0 b959 + 0 b960 + 0 b961 + 0 b962 + 0 b963 + 0 b964 + 0 b965 + 0 b966 + 0 b967 + 0 b968 + 0 b969 + 0 b970 + 0 b971 + 0 b972 + 0 b973 + 0 b974 + 0 b975 + 0 b976 + 0 b977 + 0 b978 + 0 b979 + 0 b980 + 0 b981 + 0 b982 + 0 b983 + 0 b984 + 0 b985 + 0 b986 + 0 b987 + 0 b988 + 0 b989 + 0 b990 + 0 b991 + 0 b992 + 0 b993 + 0 b994 + 0 b995 + 0 b996 + 0 b997 + 0 b998 + 0 b999 + 0 b1000 + 0 b1001 + 0 b1002 + 0 b1003 + 0 b1004 + 0 b1005 + 0 b1006 + 0 b1007 + 0 b1008 + 0 b1009 + 0 b1010 + 0 b1011 + 0 b1012 + 0 b1013 + 0 b1014 + 0 b1015 + 0 b1016 + 0 b1017 + 0 b1018 + 0 b1019 + 0 b1020 + 0 b1021 + 0 b1022 + 0 b1023 + 0 b1024 + 0 b1025 + 0 b1026 + 0 b1027 + 0 b1028 + 0 b1029 + 0 b1030 + 0 b1031 + 0 b1032 + 0 b1033 + 0 b1034 + 0 b1035 + 0 b1036 + 0 b1037 + 0 b1038 + 0 b1039 + 0 b1040 + 0 b1041 + 0 b1042 + 0 b1043 + 0 b1044 + 0 b1045 + 0 b1046 + 0 b1047 + 0 b1048 + 0 b1049 + 0 b1050 + 0 b1051 + 0 b1052 + 0 b1053 + 0 b1054 + 0 b1055 + 0 b1056 + 0 b1057 + 0 b1058 + 0 b1059 + 0 b1060 + 0 b1061 + 0 b1062 + 0 b1063 + 0 b1064 + 0 b1065 + 0 b1066 + 0 b1067 + 0 b1068 + 0 b1069 + 0 b1070 + 0 b1071 + 0 b1072 + 0 b1073 + 0 b1074 + 0 b1075 + 0 b1076 + 0 b1077 + 0 b1078 + 0 b1079 + 0 b1080 + 0 b1081 + 0 b1082 + 0 b1083 + 0 b1084 + 0 b1085 + 0 b1086 + 0 b1087 + 0 b1088 + 0 b1089 + 0 b1090 + 0 b1091 + 0 b1092 + 0 b1093 + 0 b1094 + 0 b1095 + 0 b1096 + 0 b1097 + 0 b1098 + 0 b1099 + 0 b1100 + 0 b1101 + 0 b1102 + 0 b1103 + 0 b1104 + 0 b1105 + 0 b1106 + 0 b1107 + 0 b1108 + 0 b1109 + 0 b1110 + 0 b1111 + 0 b1112 + 0 b1113 + 0 b1114 + 0 b1115 + 0 b1116 + 0 b1117 + 0 b1118 + 0 b1119 + 0 b1120 + 0 b1121 + 0 b1122 + 0 b1123 + 0 b1124 + 0 b1125 + 0 b1126 + 0 b1127 + 0 b1128 + objvar Subject To e1: - 2 b1 - 2 b2 - 2 b3 - 2 b4 - 2 b5 - 2 b6 - 2 b7 - 2 b8 - 4 b9 - 2 b10 - 4 b11 - 2 b12 - 4 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 - 2 b36 - 2 b37 - 2 b38 - 2 b39 - 2 b40 - 4 b41 - 2 b42 - 2 b43 - 4 b44 - 4 b45 - 2 b46 - 2 b47 - 2 b48 - 2 b49 - 4 b50 - 2 b51 - 2 b52 - 2 b53 - 2 b54 - 2 b55 - 4 b56 - 2 b57 - 2 b58 - 2 b59 - 2 b60 - 2 b61 - 2 b62 - 2 b63 - 2 b64 - 2 b65 - 4 b66 - 2 b67 - 2 b68 + 2 b69 - 2 b70 - 4 b71 - 2 b72 - 2 b73 - 2 b74 - 2 b75 - 2 b76 - 2 b77 - 4 b78 - 2 b79 - 2 b80 - 4 b81 + 2 b82 - 2 b83 - 2 b84 - 4 b85 - 2 b86 - 4 b87 - 2 b88 - 2 b89 - 2 b90 - 2 b91 - 2 b92 - 4 b93 - 2 b94 - 2 b95 + 2 b96 + 2 b97 - 2 b98 - 2 b99 - 2 b100 - 2 b101 - 2 b102 - 4 b103 - 4 b104 - 4 b105 - 2 b106 + 2 b107 - 2 b108 - 2 b109 - 2 b110 - 2 b111 - 2 b112 - 4 b113 - 2 b114 - 2 b115 - 2 b116 - 2 b117 + 2 b118 + 2 b119 - 2 b120 - 4 b121 - 2 b122 - 2 b123 - 2 b124 - 4 b125 - 4 b126 + 2 b127 - 4 b128 - 2 b129 - 2 b130 - 2 b131 - 2 b132 - 4 b133 - 2 b134 - 2 b135 + 2 b136 - 2 b137 - 4 b138 - 2 b139 - 2 b140 - 4 b141 - 2 b142 - 4 b143 - 2 b144 - 2 b145 - 4 b146 - 4 b147 - 2 b148 - 4 b149 - 2 b150 - 4 b151 - 2 b152 - 2 b153 - 4 b154 - 2 b155 - 2 b156 - 2 b157 + 2 b158 - 4 b159 - 2 b160 - 2 b161 - 2 b162 - 2 b163 - 4 b164 + 2 b165 - 4 b166 - 2 b167 - 4 b168 - 4 b169 - 2 b170 - 4 b171 - 2 b172 - 4 b173 - 2 b174 - 2 b175 - 4 b176 - 2 b177 - 2 b178 - 2 b179 - 2 b180 - 2 b181 - 2 b182 - 2 b183 + 4 b184 - 4 b185 - 4 b186 - 2 b187 - 4 b188 - 2 b189 - 2 b190 - 4 b191 + 2 b192 - 2 b193 - 2 b194 - 4 b195 - 4 b196 - 4 b197 - 4 b198 - 2 b199 - 2 b200 - 4 b201 - 2 b202 - 2 b203 - 4 b204 - 2 b205 - 4 b206 - 2 b207 - 2 b208 + 2 b209 - 2 b210 - 2 b211 - 2 b212 + 4 b213 - 4 b214 - 2 b215 - 4 b216 - 2 b217 + 2 b218 - 2 b219 - 2 b220 - 4 b221 + 2 b222 - 4 b223 - 4 b224 - 4 b225 - 2 b226 - 2 b227 - 4 b228 - 4 b229 - 4 b230 - 4 b231 - 2 b232 - 2 b233 + 2 b234 - 4 b235 - 2 b236 - 2 b237 + 2 b238 - 2 b239 - 2 b240 + 4 b241 + 2 b242 - 4 b243 - 4 b244 + 2 b245 - 2 b246 - 2 b247 - 2 b248 + 2 b249 - 4 b250 - 2 b251 - 4 b252 + 2 b253 - 4 b254 - 4 b255 - 4 b256 - 2 b257 - 4 b258 - 2 b259 - 2 b260 - 2 b261 - 2 b262 - 2 b263 - 4 b264 + 2 b265 - 2 b266 - 4 b267 + 2 b268 - 2 b269 - 4 b270 - 2 b271 - 2 b272 + 2 b273 - 4 b274 - 2 b275 + 2 b276 - 4 b277 - 2 b278 - 4 b279 - 2 b280 - 2 b281 - 2 b282 - 2 b283 + 2 b284 + 2 b285 - 4 b286 - 2 b287 - 4 b288 - 4 b289 - 4 b290 + 2 b291 - 4 b292 - 2 b293 - 4 b294 - 4 b295 - 4 b296 - 2 b297 - 2 b298 - 2 b299 + 2 b300 - 2 b301 - 2 b302 - 4 b303 + 2 b304 - 2 b305 - 4 b306 + 2 b307 - 4 b308 - 4 b309 - 2 b310 - 2 b311 + 2 b312 - 4 b313 - 2 b314 + 2 b315 - 4 b316 - 2 b317 - 2 b318 - 4 b319 - 2 b320 - 2 b321 - 2 b322 - 2 b323 - 4 b324 - 2 b325 - 2 b326 + 2 b327 + 2 b328 - 4 b329 - 2 b330 - 4 b331 - 2 b332 - 4 b333 + 2 b334 - 2 b335 - 4 b336 - 4 b337 - 2 b338 - 2 b339 - 2 b340 - 2 b341 + 2 b342 - 2 b343 - 2 b344 - 4 b345 - 2 b346 - 2 b347 + 2 b348 - 4 b349 - 2 b350 - 4 b351 + 2 b352 - 4 b353 - 4 b354 - 2 b355 - 2 b356 + 2 b357 - 4 b358 - 2 b359 - 2 b360 + 2 b361 - 4 b362 - 2 b363 - 2 b364 - 2 b365 - 2 b366 - 2 b367 + 2 b368 - 2 b369 - 2 b370 + 4 b371 + 2 b372 - 2 b373 - 4 b374 - 2 b375 - 4 b376 - 2 b377 - 4 b378 + 2 b379 - 2 b380 - 4 b381 - 4 b382 - 2 b383 - 2 b384 - 2 b385 - 2 b386 + 2 b387 - 2 b388 - 2 b389 - 2 b390 - 2 b391 - 2 b392 + 2 b393 - 2 b394 - 4 b395 - 4 b396 - 4 b397 - 2 b398 - 4 b399 - 2 b400 + 2 b401 - 4 b402 - 2 b403 + 4 b404 - 4 b405 + 2 b406 - 2 b407 - 4 b408 - 2 b409 - 2 b410 + 2 b411 - 2 b412 - 2 b413 + 4 b414 - 2 b415 - 4 b416 - 4 b417 - 4 b418 - 4 b419 - 4 b420 + 2 b421 - 2 b422 - 4 b423 - 2 b424 - 2 b425 - 2 b426 + 2 b427 - 2 b428 - 2 b429 - 2 b430 - 2 b431 - 2 b432 + 2 b433 - 4 b434 - 4 b435 - 2 b436 - 4 b437 - 4 b438 - 2 b439 - 2 b440 - 4 b441 - 2 b442 - 4 b443 - 2 b444 + 2 b445 - 4 b446 + 2 b447 - 2 b448 - 4 b449 + 2 b450 - 2 b451 - 4 b452 + 2 b453 - 2 b454 - 2 b455 - 2 b456 + 2 b457 + 4 b458 - 2 b459 - 4 b460 - 4 b461 - 4 b462 - 4 b463 - 4 b464 - 2 b465 - 4 b466 - 2 b467 - 2 b468 - 2 b469 - 4 b470 - 2 b471 - 2 b472 - 2 b473 - 2 b474 + 2 b475 - 2 b476 - 2 b477 - 2 b478 + 2 b479 - 4 b480 - 4 b481 - 2 b482 - 4 b483 - 4 b484 - 2 b485 - 2 b486 - 2 b487 + 2 b488 + 2 b489 + 2 b490 - 2 b491 + 2 b492 - 4 b493 + 2 b494 - 4 b495 - 2 b496 - 2 b497 - 2 b498 - 2 b499 - 2 b500 + 2 b501 + 4 b502 - 2 b503 - 4 b504 - 4 b505 - 2 b506 - 4 b507 - 4 b508 - 2 b509 - 4 b510 - 2 b511 - 4 b512 - 4 b513 - 2 b514 - 2 b515 - 2 b516 - 2 b517 - 2 b518 - 2 b519 - 2 b520 + 2 b521 - 4 b522 - 2 b523 - 2 b524 - 4 b525 - 4 b526 - 2 b527 - 2 b528 - 2 b529 + 2 b530 - 2 b531 + 2 b532 + 2 b533 - 2 b534 - 4 b535 + 2 b536 + 2 b537 - 4 b538 + 2 b539 - 2 b540 - 2 b541 - 2 b542 - 2 b543 + 2 b544 + 4 b545 - 2 b546 + 2 b547 - 4 b548 - 2 b549 - 4 b550 - 2 b551 - 4 b552 - 4 b553 - 4 b554 - 4 b555 + 2 b556 - 2 b557 - 2 b558 - 2 b559 - 4 b560 - 4 b561 - 4 b562 - 2 b563 - 2 b564 - 2 b565 - 2 b566 - 2 b567 - 2 b568 + 2 b569 - 2 b570 - 2 b571 + 2 b572 - 4 b573 - 2 b574 - 2 b575 - 2 b576 - 4 b577 - 4 b578 - 2 b579 - 2 b580 + 2 b581 - 2 b582 + 2 b583 - 2 b584 + 2 b585 - 4 b586 + 2 b587 - 4 b588 - 2 b589 + 2 b590 - 4 b591 + 2 b592 + 2 b593 + 2 b594 - 4 b595 + 2 b596 - 2 b597 - 2 b598 - 2 b599 + 2 b600 - 2 b601 + 2 b602 - 2 b603 + 2 b604 - 4 b605 - 2 b606 - 2 b607 - 2 b608 - 4 b609 - 2 b610 + 2 b611 - 4 b612 - 2 b613 - 2 b614 - 4 b615 - 4 b616 - 2 b617 - 2 b618 - 2 b619 - 2 b620 - 2 b621 + 2 b622 - 2 b623 + 2 b624 - 2 b625 - 2 b626 + 4 b627 - 4 b628 - 2 b629 - 2 b630 - 2 b631 - 4 b632 - 2 b633 - 4 b634 - 2 b635 - 2 b636 - 4 b637 + 2 b638 - 2 b639 - 2 b640 + 2 b641 - 2 b642 - 2 b643 - 4 b644 + 2 b645 - 2 b646 + 2 b647 - 2 b648 - 4 b649 + 2 b650 - 2 b651 - 2 b652 + 2 b653 - 4 b654 + 2 b655 + 2 b656 - 4 b657 + 2 b658 - 2 b659 - 2 b660 - 2 b661 + 2 b662 - 2 b663 + 2 b664 - 2 b665 + 2 b666 - 4 b667 - 2 b668 - 2 b669 - 2 b670 - 4 b671 - 4 b672 - 4 b673 - 4 b674 - 4 b675 + 2 b676 - 4 b677 - 2 b678 - 2 b679 - 4 b680 - 2 b681 - 2 b682 - 2 b683 - 2 b684 + 2 b685 - 2 b686 + 2 b687 - 2 b688 - 2 b689 - 2 b690 + 4 b691 - 4 b692 - 2 b693 + 2 b694 - 2 b695 - 2 b696 - 4 b697 - 2 b698 - 4 b699 - 2 b700 - 2 b701 - 4 b702 + 2 b703 - 2 b704 - 2 b705 + 2 b706 - 2 b707 - 2 b708 - 4 b709 + 2 b710 - 2 b711 + 2 b712 - 2 b713 - 4 b714 + 2 b715 - 2 b716 - 2 b717 + 2 b718 - 4 b719 + 2 b720 - 2 b721 - 2 b722 - 4 b723 + 2 b724 - 4 b725 - 2 b726 + 2 b727 - 2 b728 + 2 b729 - 2 b730 + 2 b731 - 2 b732 + 2 b733 - 4 b734 - 2 b735 - 2 b736 - 2 b737 - 2 b738 - 4 b739 - 4 b740 - 4 b741 - 2 b742 - 4 b743 - 2 b744 - 2 b745 - 4 b746 + 2 b747 + objvar + 2 b1 b116 - 2 b1 b757 + 2 b1 b758 + 2 b1 b767 + 2 b2 b559 - 2 b2 b611 + 2 b2 b759 + 2 b2 b771 - 2 b3 b676 + 2 b3 b763 + 2 b3 b764 + 2 b3 b779 + 2 b4 b46 + 2 b4 b346 + 2 b4 b572 - 2 b4 b691 + 2 b5 b51 + 2 b5 b521 - 2 b5 b799 + 2 b5 b800 + 2 b6 b46 + 2 b6 b57 + 2 b6 b475 - 2 b6 b811 + 2 b7 b51 + 2 b7 b67 - 2 b7 b823 + 2 b7 b824 + 2 b8 b30 + 2 b8 b157 + 2 b8 b813 - 2 b8 b855 + 2 b9 b57 + 2 b9 b79 + 2 b9 b823 + 2 b9 b841 + 2 b10 b788 - 2 b10 b832 + 2 b10 b833 + 2 b10 b834 + 2 b11 b67 + 2 b11 b811 + 2 b11 b854 + 2 b11 b872 + 2 b12 b594 + 2 b12 b777 - 2 b12 b848 + 2 b12 b849 + 2 b13 b79 + 2 b13 b115 + 2 b13 b799 + 2 b13 b863 + 2 b14 b161 + 2 b14 b770 + 2 b14 b795 - 2 b14 b859 + 2 b15 b271 + 2 b15 b826 - 2 b15 b898 + 2 b15 b899 + 2 b16 b187 + 2 b16 b366 - 2 b16 b450 + 2 b16 b788 + 2 b17 b310 + 2 b17 b842 - 2 b17 b913 + 2 b17 b914 + 2 b18 b217 + 2 b18 b321 - 2 b18 b494 + 2 b18 b777 + 2 b19 b499 + 2 b19 b659 + 2 b19 b836 - 2 b19 b919 + 2 b20 b157 + 2 b20 b355 - 2 b20 b926 + 2 b20 b927 + 2 b21 b246 - 2 b21 b537 + 2 b21 b770 + 2 b21 b789 - 2 b22 b368 + 2 b22 b455 + 2 b22 b725 + 2 b22 b727 + 2 b23 b24 + 2 b23 b65 + 2 b23 b912 - 2 b23 b925 + 2 b24 b28 + 2 b24 b471 - 2 b24 b622 + 2 b25 b180 + 2 b25 b399 - 2 b25 b939 + 2 b25 b940 + 2 b26 b280 + 2 b26 b366 - 2 b26 b593 + 2 b26 b796 + 2 b27 b167 - 2 b27 b666 + 2 b27 b907 + 2 b27 b908 + 2 b28 b29 + 2 b28 b77 - 2 b28 b938 + 2 b29 b33 + 2 b29 b426 - 2 b29 b685 + 2 b30 b81 - 2 b30 b269 + 2 b30 b704 + 2 b31 b319 + 2 b31 b321 - 2 b31 b656 + 2 b31 b805 + 2 b32 b193 - 2 b32 b733 + 2 b32 b922 + 2 b32 b923 + 2 b33 b34 + 2 b33 b92 - 2 b33 b949 + 2 b34 b37 + 2 b34 b386 - 2 b34 b810 + 2 b35 b145 + 2 b35 b219 - 2 b35 b935 + 2 b35 b936 + 2 b36 b63 + 2 b36 b562 + 2 b37 b38 + 2 b37 b112 - 2 b37 b959 + 2 b38 b41 + 2 b38 b341 - 2 b38 b822 + 2 b39 b388 - 2 b39 b691 + 2 b39 b782 + 2 b39 b863 + 2 b40 b167 + 2 b40 b250 + 2 b40 b373 - 2 b40 b946 + 2 b41 b42 + 2 b41 b132 + 2 b41 b959 + 2 b42 b44 + 2 b42 b299 - 2 b42 b839 + 2 b43 b193 + 2 b43 b286 + 2 b43 b415 - 2 b43 b957 + 2 b44 b45 + 2 b44 b153 + 2 b44 b949 + 2 b45 b50 + 2 b45 b261 + 2 b45 b839 - 2 b46 b393 + 2 b46 b576 + 2 b47 b219 + 2 b47 b329 + 2 b47 b460 - 2 b47 b966 + 2 b48 b105 - 2 b48 b193 + 2 b48 b329 + 2 b48 b967 + 2 b49 b110 + 2 b49 b948 + 2 b50 b175 + 2 b50 b683 + 2 b50 b938 - 2 b51 b348 + 2 b51 b631 + 2 b52 b122 + 2 b52 b215 + 2 b52 b448 - 2 b52 b587 + 2 b53 b250 + 2 b53 b374 + 2 b53 b504 - 2 b53 b975 + 2 b54 b73 + 2 b54 b126 - 2 b54 b167 + 2 b54 b374 + 2 b55 b130 + 2 b55 b958 + 2 b56 b200 + 2 b56 b620 + 2 b56 b683 + 2 b56 b925 - 2 b57 b304 + 2 b57 b696 + 2 b58 b135 + 2 b58 b349 + 2 b58 b576 - 2 b58 b996 + 2 b59 b243 + 2 b59 b491 - 2 b59 b650 + 2 b59 b901 + 2 b60 b286 + 2 b60 b416 + 2 b60 b548 - 2 b60 b981 + 2 b61 b87 - 2 b61 b145 + 2 b61 b147 + 2 b61 b416 + 2 b62 b106 + 2 b62 b147 - 2 b62 b253 + 2 b62 b967 + 2 b63 b64 - 2 b63 b129 + 2 b63 b255 + 2 b64 b151 + 2 b65 b78 + 2 b66 b227 + 2 b66 b566 + 2 b66 b620 + 2 b66 b911 - 2 b67 b265 + 2 b67 b757 + 2 b68 b135 + 2 b68 b178 + 2 b68 b631 - 2 b68 b978 + 2 b69 b119 - 2 b69 b241 - 2 b69 b784 - 2 b69 b844 + 2 b70 b277 + 2 b70 b534 - 2 b70 b715 + 2 b70 b916 + 2 b71 b329 + 2 b71 b461 + 2 b71 b605 + 2 b71 b981 + 2 b72 b105 + 2 b72 b169 + 2 b72 b461 - 2 b72 b923 + 2 b73 b671 + 2 b73 b947 - 2 b73 b976 + 2 b74 b108 - 2 b74 b110 + 2 b74 b173 + 2 b74 b992 + 2 b75 b76 - 2 b75 b109 + 2 b75 b295 + 2 b75 b977 + 2 b76 b173 + 2 b77 b93 + 2 b78 b516 + 2 b78 b566 + 2 b78 b1003 - 2 b79 b234 + 2 b79 b753 + 2 b80 b206 - 2 b80 b479 + 2 b80 b696 + 2 b80 b996 + 2 b81 b135 + 2 b81 b206 + 2 b81 b855 + 2 b82 b97 - 2 b82 b712 - 2 b82 b774 - 2 b82 b856 + 2 b83 b316 + 2 b83 b589 - 2 b83 b929 + 2 b83 b930 + 2 b84 b245 + 2 b84 b317 + 2 b84 b721 - 2 b84 b931 + 2 b85 b374 + 2 b85 b505 + 2 b85 b667 + 2 b85 b975 + 2 b86 b126 + 2 b86 b195 + 2 b86 b505 - 2 b86 b908 + 2 b87 b289 + 2 b87 b937 + 2 b87 b968 + 2 b88 b89 - 2 b88 b107 + 2 b88 b994 + 2 b88 b1002 - 2 b89 b90 + 2 b89 b128 + 2 b89 b198 + 2 b90 b91 + 2 b90 b337 + 2 b90 b982 + 2 b91 b198 + 2 b92 b113 + 2 b93 b469 + 2 b93 b516 + 2 b93 b1015 + 2 b94 b134 + 2 b94 b752 + 2 b94 b872 - 2 b94 b1030 + 2 b95 b178 + 2 b95 b235 - 2 b95 b433 + 2 b95 b757 + 2 b96 b98 - 2 b96 b403 - 2 b96 b647 - 2 b96 b768 - 2 b97 b645 - 2 b97 b775 - 2 b97 b1021 - 2 b98 b710 + 2 b98 b786 + 2 b98 b1021 + 2 b99 b362 + 2 b99 b651 - 2 b99 b941 + 2 b99 b942 + 2 b100 b364 + 2 b100 b656 + 2 b100 b819 - 2 b100 b943 + 2 b101 b102 + 2 b101 b162 + 2 b101 b324 - 2 b101 b850 + 2 b102 b140 + 2 b102 b190 - 2 b102 b456 + 2 b103 b416 + 2 b103 b550 + 2 b103 b734 + 2 b103 b966 + 2 b104 b147 + 2 b104 b221 + 2 b104 b550 + 2 b104 b908 + 2 b105 b924 + 2 b105 b976 - 2 b106 b107 + 2 b106 b751 + 2 b106 b763 + 2 b107 b149 - 2 b107 b1035 + 2 b108 b109 - 2 b108 b1013 + 2 b108 b1014 + 2 b109 b149 + 2 b109 b225 + 2 b110 b111 + 2 b110 b382 + 2 b111 b225 + 2 b112 b133 + 2 b113 b425 + 2 b113 b469 + 2 b113 b1027 + 2 b114 b230 - 2 b114 b427 + 2 b114 b689 + 2 b114 b760 + 2 b115 b116 - 2 b115 b885 + 2 b115 b886 + 2 b116 b155 - 2 b116 b694 + 2 b117 b206 + 2 b117 b267 - 2 b117 b393 + 2 b117 b753 + 2 b118 b120 - 2 b118 b360 - 2 b118 b585 - 2 b118 b762 - 2 b119 b583 - 2 b119 b786 - 2 b119 b1010 + 2 b120 b793 + 2 b120 b1010 - 2 b120 b1042 + 2 b121 b405 + 2 b121 b716 + 2 b121 b941 + 2 b121 b953 - 2 b122 b590 + 2 b122 b748 + 2 b122 b831 + 2 b123 b408 + 2 b123 b593 + 2 b123 b833 - 2 b123 b954 + 2 b124 b461 + 2 b124 b607 - 2 b124 b754 + 2 b124 b957 + 2 b125 b169 + 2 b125 b252 + 2 b125 b607 + 2 b125 b923 + 2 b126 b909 + 2 b126 b969 + 2 b127 b171 - 2 b127 b809 - 2 b127 b992 - 2 b127 b1046 + 2 b128 b129 + 2 b128 b1013 + 2 b128 b1026 + 2 b129 b171 + 2 b129 b256 + 2 b130 b131 + 2 b130 b745 - 2 b130 b994 + 2 b131 b256 + 2 b132 b154 + 2 b133 b385 + 2 b133 b425 + 2 b133 b1037 + 2 b134 b235 + 2 b134 b306 - 2 b134 b348 - 2 b135 b988 - 2 b136 b530 - 2 b136 b793 + 2 b136 b828 - 2 b136 b999 + 2 b137 b802 + 2 b137 b889 + 2 b137 b999 - 2 b137 b1053 + 2 b138 b278 + 2 b138 b446 + 2 b138 b749 + 2 b138 b929 + 2 b139 b449 + 2 b139 b537 + 2 b139 b849 - 2 b139 b963 + 2 b140 b142 + 2 b140 b143 - 2 b140 b906 + 2 b141 b143 + 2 b141 b192 + 2 b141 b835 + 2 b141 b1012 + 2 b142 b191 - 2 b142 b666 + 2 b142 b754 + 2 b143 b666 + 2 b143 b750 + 2 b144 b505 + 2 b144 b669 - 2 b144 b750 + 2 b144 b946 + 2 b145 b146 + 2 b145 b894 + 2 b146 b195 + 2 b146 b288 + 2 b146 b669 + 2 b147 b897 + 2 b148 b556 + 2 b148 b741 + 2 b148 b976 - 2 b148 b993 + 2 b149 b150 + 2 b149 b1036 + 2 b150 b196 + 2 b150 b296 - 2 b150 b958 + 2 b151 b152 + 2 b151 b679 + 2 b151 b994 + 2 b152 b296 + 2 b153 b176 + 2 b154 b340 + 2 b154 b385 + 2 b154 b1047 + 2 b155 b267 - 2 b155 b304 + 2 b155 b351 + 2 b156 b351 - 2 b156 b898 + 2 b156 b899 + 2 b156 b996 + 2 b157 b785 - 2 b157 b998 - 2 b158 b802 + 2 b158 b815 - 2 b158 b989 - 2 b158 b990 + 2 b159 b441 + 2 b159 b816 + 2 b159 b900 + 2 b159 b990 + 2 b160 b161 + 2 b160 b493 + 2 b160 b494 - 2 b160 b974 - 2 b161 b536 + 2 b161 b1061 + 2 b162 b164 + 2 b162 b283 - 2 b162 b502 + 2 b163 b820 + 2 b163 b868 + 2 b163 b1024 - 2 b163 b1044 + 2 b164 b165 + 2 b164 b1001 + 2 b164 b1044 - 2 b165 b604 - 2 b165 b731 - 2 b165 b750 + 2 b166 b550 + 2 b166 b736 + 2 b166 b754 + 2 b166 b935 + 2 b167 b168 + 2 b168 b221 + 2 b168 b331 + 2 b168 b736 + 2 b169 b884 + 2 b169 b947 + 2 b170 b289 + 2 b170 b611 + 2 b170 b675 - 2 b170 b1002 + 2 b171 b172 + 2 b171 b293 + 2 b172 b223 + 2 b172 b338 - 2 b172 b948 + 2 b173 b174 + 2 b173 b614 + 2 b174 b338 + 2 b175 b201 + 2 b176 b298 + 2 b176 b340 + 2 b176 b468 + 2 b177 b430 + 2 b177 b694 + 2 b177 b1018 - 2 b177 b1048 + 2 b178 b179 - 2 b178 b1007 + 2 b179 b395 - 2 b179 b913 + 2 b179 b914 + 2 b180 b182 - 2 b180 b401 + 2 b180 b843 + 2 b181 b359 + 2 b181 b399 - 2 b181 b708 + 2 b181 b813 + 2 b182 b708 - 2 b182 b774 + 2 b182 b1060 + 2 b183 b185 - 2 b183 b240 + 2 b183 b774 + 2 b183 b915 - 2 b184 b442 - 2 b184 b815 - 2 b184 b816 - 2 b184 b984 + 2 b185 b830 + 2 b185 b984 + 2 b185 b1053 + 2 b186 b187 + 2 b186 b450 + 2 b186 b535 + 2 b186 b974 + 2 b187 b281 - 2 b187 b592 + 2 b188 b281 + 2 b188 b323 + 2 b188 b803 + 2 b188 b964 + 2 b189 b191 + 2 b189 b248 - 2 b189 b545 + 2 b189 b836 + 2 b190 b806 + 2 b190 b861 - 2 b190 b1034 + 2 b191 b991 + 2 b191 b1034 - 2 b192 b547 - 2 b192 b664 - 2 b192 b754 + 2 b193 b194 + 2 b194 b252 + 2 b194 b376 - 2 b194 b737 + 2 b195 b870 + 2 b195 b937 + 2 b196 b197 + 2 b196 b335 + 2 b196 b993 + 2 b197 b254 + 2 b197 b383 + 2 b197 b948 + 2 b198 b199 + 2 b198 b560 + 2 b199 b383 + 2 b200 b228 + 2 b201 b259 + 2 b201 b298 + 2 b201 b514 + 2 b202 b203 + 2 b202 b623 + 2 b202 b1004 - 2 b202 b1071 + 2 b203 b204 + 2 b203 b474 - 2 b203 b824 + 2 b204 b264 + 2 b204 b760 + 2 b204 b783 + 2 b205 b476 + 2 b205 b1006 + 2 b205 b1030 - 2 b205 b1057 + 2 b206 b207 + 2 b207 b435 - 2 b207 b926 + 2 b207 b927 + 2 b208 b210 - 2 b208 b357 + 2 b208 b704 + 2 b208 b827 + 2 b209 b211 - 2 b209 b355 - 2 b209 b643 - 2 b209 b951 + 2 b210 b211 - 2 b210 b768 + 2 b210 b1051 - 2 b211 b212 + 2 b211 b1042 + 2 b212 b214 + 2 b212 b784 + 2 b212 b928 - 2 b213 b487 - 2 b213 b828 - 2 b213 b830 - 2 b213 b979 + 2 b214 b845 + 2 b214 b979 + 2 b214 b1042 - 2 b215 b775 + 2 b215 b979 + 2 b215 b1074 + 2 b216 b217 + 2 b216 b591 + 2 b216 b859 + 2 b216 b963 + 2 b217 b320 - 2 b217 b655 - 2 b218 b852 + 2 b218 b895 - 2 b218 b946 - 2 b218 b1077 + 2 b219 b220 - 2 b219 b968 + 2 b220 b288 + 2 b220 b419 - 2 b220 b670 + 2 b221 b377 + 2 b221 b924 + 2 b222 b555 - 2 b222 b756 - 2 b222 b969 - 2 b222 b1026 + 2 b223 b224 + 2 b223 b380 + 2 b223 b1002 + 2 b224 b294 + 2 b224 b424 + 2 b224 b958 + 2 b225 b226 + 2 b225 b615 + 2 b226 b424 + 2 b227 b258 + 2 b228 b229 + 2 b228 b259 + 2 b228 b564 + 2 b229 b230 + 2 b229 b258 + 2 b229 b299 + 2 b230 b231 + 2 b230 b470 + 2 b231 b232 + 2 b231 b686 + 2 b231 b1016 - 2 b232 b475 + 2 b232 b520 + 2 b232 b1065 + 2 b233 b522 + 2 b233 b995 + 2 b233 b1018 - 2 b233 b1065 + 2 b234 b305 - 2 b234 b695 - 2 b234 b1058 + 2 b235 b236 + 2 b235 b1007 + 2 b236 b481 - 2 b236 b939 + 2 b236 b940 + 2 b237 b239 - 2 b237 b312 + 2 b237 b639 + 2 b237 b814 + 2 b238 b240 - 2 b238 b310 - 2 b238 b961 - 2 b238 b1052 + 2 b239 b240 - 2 b239 b762 + 2 b239 b1040 + 2 b240 b710 - 2 b241 b242 - 2 b241 b531 - 2 b241 b845 + 2 b242 b243 - 2 b242 b715 - 2 b242 b1081 + 2 b243 b786 + 2 b243 b1082 + 2 b244 b246 + 2 b244 b654 + 2 b244 b848 + 2 b244 b954 - 2 b245 b365 - 2 b245 b803 - 2 b245 b1023 + 2 b246 b365 - 2 b246 b720 + 2 b247 b365 + 2 b247 b411 - 2 b247 b596 + 2 b247 b1061 + 2 b248 b497 - 2 b248 b662 + 2 b248 b933 - 2 b249 b838 + 2 b249 b907 - 2 b249 b957 - 2 b249 b1085 + 2 b250 b251 + 2 b250 b671 + 2 b251 b331 + 2 b251 b463 - 2 b251 b608 + 2 b252 b332 + 2 b252 b909 + 2 b253 b510 - 2 b253 b676 - 2 b253 b1036 + 2 b254 b255 + 2 b254 b422 + 2 b254 b1014 + 2 b255 b336 + 2 b255 b467 + 2 b256 b257 + 2 b256 b680 + 2 b257 b467 + 2 b258 b260 + 2 b258 b618 + 2 b259 b341 - 2 b259 b1071 + 2 b260 b261 + 2 b260 b1071 - 2 b260 b1087 - 2 b261 b262 + 2 b261 b388 + 2 b262 b263 + 2 b262 b1028 + 2 b262 b1071 - 2 b263 b521 + 2 b263 b570 + 2 b263 b1057 + 2 b264 b573 + 2 b264 b987 + 2 b264 b1006 + 2 b265 b350 - 2 b265 b630 - 2 b265 b1049 + 2 b266 b435 + 2 b266 b526 + 2 b266 b886 - 2 b266 b1072 + 2 b267 b269 + 2 b267 b997 + 2 b268 b270 - 2 b268 b700 - 2 b268 b767 - 2 b268 b940 + 2 b269 b270 + 2 b269 b526 + 2 b270 b704 + 2 b270 b1080 - 2 b271 b273 + 2 b271 b274 + 2 b271 b580 + 2 b272 b274 - 2 b272 b1031 + 2 b272 b1080 + 2 b272 b1089 + 2 b273 b275 - 2 b273 b971 - 2 b273 b1041 + 2 b274 b275 + 2 b274 b762 + 2 b275 b645 - 2 b275 b900 + 2 b276 b277 - 2 b276 b712 - 2 b276 b929 - 2 b276 b1090 + 2 b277 b489 + 2 b277 b793 + 2 b278 b846 + 2 b278 b918 - 2 b278 b963 + 2 b279 b280 + 2 b279 b719 + 2 b279 b832 + 2 b279 b943 + 2 b280 b409 - 2 b280 b1092 + 2 b281 b282 - 2 b281 b833 + 2 b282 b368 + 2 b282 b409 - 2 b282 b658 + 2 b283 b541 - 2 b283 b600 + 2 b283 b920 - 2 b284 b285 - 2 b284 b790 + 2 b284 b821 - 2 b284 b1001 + 2 b285 b922 - 2 b285 b966 - 2 b285 b1094 + 2 b286 b287 + 2 b286 b968 + 2 b287 b376 + 2 b287 b508 - 2 b287 b551 + 2 b288 b290 + 2 b288 b897 + 2 b289 b292 + 2 b289 b674 + 2 b290 b292 + 2 b290 b508 + 2 b290 b896 - 2 b291 b293 + 2 b291 b464 - 2 b291 b611 - 2 b291 b947 + 2 b292 b293 + 2 b292 b756 + 2 b293 b381 + 2 b294 b295 + 2 b294 b465 + 2 b294 b1026 + 2 b295 b381 + 2 b295 b513 + 2 b296 b297 + 2 b296 b746 + 2 b297 b513 - 2 b298 b300 + 2 b298 b386 - 2 b299 b301 + 2 b299 b428 + 2 b300 b301 - 2 b300 b684 - 2 b300 b1005 + 2 b301 b302 + 2 b301 b689 - 2 b302 b572 + 2 b302 b625 + 2 b302 b1048 + 2 b303 b628 + 2 b303 b983 + 2 b303 b995 + 2 b303 b1065 + 2 b304 b394 - 2 b304 b575 + 2 b305 b481 + 2 b305 b578 - 2 b305 b1079 + 2 b306 b308 + 2 b306 b988 + 2 b306 b1049 + 2 b307 b309 - 2 b307 b635 - 2 b307 b761 - 2 b307 b927 + 2 b308 b309 + 2 b308 b578 + 2 b308 b939 + 2 b309 b639 + 2 b309 b1073 + 2 b310 b313 + 2 b310 b529 + 2 b311 b313 - 2 b311 b1019 + 2 b311 b1073 + 2 b311 b1096 + 2 b312 b314 - 2 b312 b581 - 2 b312 b1032 + 2 b313 b314 + 2 b313 b768 + 2 b314 b583 - 2 b314 b889 + 2 b315 b316 - 2 b315 b647 - 2 b315 b941 - 2 b315 b1097 + 2 b316 b447 + 2 b316 b802 + 2 b317 b972 + 2 b317 b1092 - 2 b317 b1098 + 2 b318 b319 - 2 b318 b748 + 2 b318 b818 + 2 b318 b931 + 2 b319 b451 + 2 b319 b1092 + 2 b320 b322 - 2 b320 b819 + 2 b320 b1062 + 2 b321 b776 - 2 b321 b919 + 2 b322 b451 - 2 b322 b724 + 2 b322 b919 + 2 b323 b324 - 2 b323 b410 + 2 b323 b541 + 2 b324 b326 + 2 b324 b919 - 2 b325 b544 + 2 b325 b835 + 2 b325 b905 + 2 b325 b965 + 2 b326 b542 + 2 b326 b544 - 2 b326 b1001 - 2 b327 b328 - 2 b327 b797 + 2 b327 b808 - 2 b327 b991 + 2 b328 b936 - 2 b328 b975 - 2 b328 b1099 + 2 b329 b330 + 2 b330 b419 - 2 b330 b506 + 2 b330 b553 + 2 b331 b333 + 2 b331 b884 + 2 b332 b463 + 2 b332 b883 - 2 b332 b1086 + 2 b333 b421 + 2 b333 b553 + 2 b333 b1086 - 2 b334 b335 + 2 b334 b420 - 2 b334 b556 - 2 b334 b937 + 2 b335 b423 + 2 b335 b1086 + 2 b336 b337 + 2 b336 b511 + 2 b336 b1036 + 2 b337 b423 + 2 b337 b561 + 2 b338 b339 - 2 b338 b779 + 2 b339 b561 - 2 b340 b342 + 2 b340 b426 - 2 b341 b343 + 2 b341 b473 + 2 b342 b343 - 2 b342 b621 - 2 b342 b1017 + 2 b343 b344 + 2 b343 b970 - 2 b344 b627 + 2 b344 b688 + 2 b344 b1039 + 2 b345 b347 + 2 b345 b692 + 2 b345 b987 + 2 b345 b1057 + 2 b346 b349 - 2 b346 b479 + 2 b346 b783 + 2 b347 b349 + 2 b347 b431 - 2 b347 b978 + 2 b348 b434 - 2 b348 b524 + 2 b349 b434 + 2 b350 b526 + 2 b350 b634 - 2 b350 b1088 + 2 b351 b353 + 2 b351 b1058 + 2 b352 b354 - 2 b352 b579 - 2 b352 b758 - 2 b352 b914 + 2 b353 b354 + 2 b353 b634 + 2 b353 b926 + 2 b354 b580 + 2 b354 b1068 + 2 b355 b358 + 2 b355 b485 + 2 b356 b358 + 2 b356 b640 - 2 b356 b1008 + 2 b356 b1068 + 2 b357 b360 - 2 b357 b641 - 2 b357 b1020 + 2 b358 b360 + 2 b358 b774 + 2 b359 b441 - 2 b359 b530 + 2 b359 b998 + 2 b360 b530 - 2 b361 b406 - 2 b361 b830 - 2 b361 b831 + 2 b361 b1021 + 2 b362 b406 + 2 b362 b816 + 2 b362 b952 + 2 b363 b364 + 2 b363 b864 + 2 b363 b974 - 2 b363 b980 + 2 b364 b720 - 2 b364 b1101 + 2 b365 b367 + 2 b366 b769 - 2 b366 b904 + 2 b367 b904 - 2 b367 b1000 + 2 b367 b1102 - 2 b368 b789 - 2 b368 b1093 - 2 b369 b501 + 2 b369 b820 + 2 b369 b893 + 2 b369 b956 + 2 b370 b501 + 2 b370 b598 - 2 b370 b1012 + 2 b370 b1093 - 2 b371 b372 - 2 b371 b729 - 2 b371 b806 - 2 b371 b808 + 2 b372 b373 - 2 b372 b981 - 2 b372 b1104 - 2 b373 b821 + 2 b373 b1105 + 2 b374 b375 + 2 b375 b463 + 2 b375 b609 - 2 b375 b1106 + 2 b376 b378 + 2 b376 b870 + 2 b377 b419 + 2 b377 b869 - 2 b377 b1078 + 2 b378 b379 + 2 b378 b609 + 2 b378 b1078 - 2 b379 b380 - 2 b379 b759 - 2 b379 b924 + 2 b380 b466 + 2 b380 b1078 + 2 b381 b382 + 2 b381 b557 + 2 b382 b466 + 2 b382 b616 + 2 b383 b384 - 2 b383 b771 + 2 b384 b616 - 2 b385 b387 + 2 b385 b471 - 2 b386 b389 + 2 b386 b766 + 2 b387 b389 - 2 b387 b567 - 2 b387 b1029 + 2 b388 b810 - 2 b388 b871 + 2 b389 b871 + 2 b389 b960 + 2 b390 b477 + 2 b390 b871 - 2 b390 b1028 + 2 b390 b1038 + 2 b391 b392 - 2 b391 b863 + 2 b391 b983 + 2 b391 b1048 + 2 b392 b477 - 2 b392 b479 + 2 b392 b1095 - 2 b393 b478 + 2 b393 b480 + 2 b394 b578 + 2 b394 b699 - 2 b394 b1095 + 2 b395 b396 + 2 b395 b1049 + 2 b395 b1066 + 2 b396 b397 + 2 b396 b699 + 2 b396 b913 + 2 b397 b398 + 2 b397 b529 + 2 b397 b801 + 2 b398 b400 - 2 b398 b899 + 2 b398 b1060 + 2 b399 b402 + 2 b399 b439 + 2 b400 b402 + 2 b400 b705 - 2 b400 b998 + 2 b401 b403 - 2 b401 b706 - 2 b401 b1009 + 2 b402 b403 + 2 b402 b784 + 2 b403 b989 - 2 b404 b845 - 2 b404 b846 - 2 b404 b1021 - 2 b404 b1022 + 2 b405 b830 + 2 b405 b962 + 2 b405 b1022 - 2 b406 b651 - 2 b406 b1101 + 2 b407 b408 + 2 b407 b875 + 2 b407 b963 - 2 b407 b985 + 2 b408 b655 + 2 b408 b1101 + 2 b409 b410 - 2 b409 b818 + 2 b410 b892 + 2 b410 b1108 - 2 b411 b796 - 2 b411 b881 - 2 b411 b1084 - 2 b412 b457 + 2 b412 b806 + 2 b412 b881 + 2 b412 b945 + 2 b413 b457 + 2 b413 b660 - 2 b413 b1024 + 2 b413 b1084 - 2 b414 b662 - 2 b414 b820 - 2 b414 b821 - 2 b414 b986 + 2 b415 b549 - 2 b415 b808 + 2 b415 b986 + 2 b416 b418 + 2 b417 b418 + 2 b417 b549 + 2 b417 b671 + 2 b417 b882 + 2 b418 b508 + 2 b418 b673 + 2 b419 b420 + 2 b420 b673 + 2 b420 b1070 - 2 b421 b422 - 2 b421 b763 - 2 b421 b909 + 2 b422 b512 + 2 b422 b1070 + 2 b423 b612 + 2 b423 b745 - 2 b424 b764 + 2 b424 b1111 - 2 b425 b427 + 2 b425 b518 - 2 b426 b429 + 2 b426 b569 + 2 b427 b429 - 2 b427 b517 + 2 b428 b781 + 2 b428 b822 - 2 b428 b862 + 2 b429 b862 + 2 b429 b950 + 2 b430 b523 + 2 b430 b862 - 2 b430 b1016 + 2 b431 b432 - 2 b431 b854 + 2 b431 b1039 - 2 b432 b433 + 2 b432 b523 + 2 b432 b1088 + 2 b433 b525 - 2 b433 b800 + 2 b434 b436 + 2 b434 b634 + 2 b435 b437 + 2 b435 b1058 + 2 b436 b437 + 2 b436 b525 - 2 b436 b825 + 2 b437 b438 + 2 b437 b898 + 2 b438 b440 + 2 b438 b485 + 2 b438 b812 + 2 b439 b484 - 2 b439 b706 + 2 b439 b887 + 2 b440 b706 - 2 b440 b888 + 2 b440 b1051 + 2 b441 b443 + 2 b441 b643 + 2 b442 b443 + 2 b442 b856 + 2 b442 b1020 + 2 b443 b444 + 2 b443 b775 + 2 b444 b446 + 2 b444 b715 - 2 b444 b915 + 2 b445 b714 - 2 b445 b857 - 2 b445 b1010 - 2 b445 b1011 + 2 b446 b845 + 2 b446 b1011 - 2 b447 b716 - 2 b447 b847 - 2 b447 b1098 + 2 b448 b449 - 2 b448 b533 + 2 b448 b954 + 2 b449 b592 + 2 b449 b1098 - 2 b450 b866 - 2 b450 b1114 + 2 b451 b452 - 2 b451 b832 + 2 b452 b880 + 2 b452 b1000 + 2 b452 b1114 - 2 b453 b454 - 2 b453 b805 - 2 b453 b893 + 2 b453 b1062 + 2 b454 b456 + 2 b454 b880 + 2 b454 b1076 + 2 b455 b797 + 2 b455 b933 - 2 b455 b934 + 2 b456 b726 + 2 b456 b934 - 2 b457 b602 - 2 b457 b1110 - 2 b458 b459 - 2 b458 b600 - 2 b458 b835 - 2 b458 b837 + 2 b459 b460 + 2 b459 b975 + 2 b459 b1110 + 2 b460 b606 + 2 b460 b808 + 2 b461 b462 + 2 b462 b553 + 2 b462 b740 + 2 b462 b1106 + 2 b463 b464 + 2 b464 b740 + 2 b464 b1064 + 2 b465 b558 - 2 b465 b896 + 2 b465 b1064 + 2 b466 b677 + 2 b466 b679 - 2 b467 b559 + 2 b467 b1116 + 2 b468 b515 - 2 b469 b472 + 2 b469 b792 + 2 b470 b472 + 2 b470 b515 + 2 b470 b910 - 2 b471 b474 + 2 b471 b624 + 2 b472 b474 + 2 b472 b1029 + 2 b473 b773 + 2 b473 b839 - 2 b473 b853 + 2 b474 b853 - 2 b475 b574 - 2 b475 b760 + 2 b476 b574 + 2 b476 b853 - 2 b476 b1004 + 2 b477 b478 - 2 b477 b841 + 2 b478 b574 + 2 b478 b1079 + 2 b479 b577 + 2 b480 b482 + 2 b480 b699 + 2 b480 b1095 + 2 b481 b483 + 2 b481 b1066 + 2 b482 b483 + 2 b482 b577 - 2 b482 b812 + 2 b483 b484 + 2 b483 b887 + 2 b484 b486 + 2 b484 b825 - 2 b485 b641 + 2 b485 b898 + 2 b486 b641 - 2 b486 b874 + 2 b486 b1040 + 2 b487 b844 + 2 b487 b1032 + 2 b487 b1107 - 2 b488 b490 + 2 b488 b649 - 2 b488 b864 - 2 b488 b999 - 2 b489 b749 - 2 b489 b858 - 2 b489 b1091 - 2 b490 b491 + 2 b490 b1091 - 2 b490 b1118 + 2 b491 b493 + 2 b491 b943 - 2 b492 b536 - 2 b492 b717 - 2 b492 b866 + 2 b492 b916 + 2 b493 b536 + 2 b493 b1091 - 2 b494 b877 - 2 b494 b1119 + 2 b495 b496 + 2 b495 b724 + 2 b495 b1102 + 2 b495 b1119 + 2 b496 b498 - 2 b496 b788 + 2 b496 b867 - 2 b497 b500 + 2 b497 b804 + 2 b497 b1000 + 2 b498 b500 - 2 b498 b964 + 2 b498 b1069 + 2 b499 b790 + 2 b499 b920 - 2 b499 b921 + 2 b500 b921 + 2 b500 b1024 - 2 b501 b545 - 2 b501 b1104 - 2 b502 b503 - 2 b502 b544 - 2 b502 b851 + 2 b503 b504 + 2 b503 b966 + 2 b503 b1104 + 2 b504 b668 + 2 b504 b821 + 2 b505 b507 + 2 b506 b507 + 2 b506 b668 + 2 b506 b1105 + 2 b507 b509 + 2 b507 b609 + 2 b508 b510 + 2 b509 b510 + 2 b509 b672 - 2 b509 b751 + 2 b510 b1056 + 2 b511 b613 - 2 b511 b883 + 2 b511 b1056 + 2 b512 b614 + 2 b512 b743 + 2 b512 b745 + 2 b513 b764 + 2 b513 b1121 + 2 b514 b565 + 2 b515 b517 - 2 b515 b1047 - 2 b516 b519 + 2 b516 b622 + 2 b517 b519 + 2 b517 b565 - 2 b518 b520 + 2 b518 b687 + 2 b518 b912 + 2 b519 b520 + 2 b519 b1017 + 2 b520 b840 - 2 b521 b629 - 2 b521 b765 + 2 b522 b629 + 2 b522 b840 + 2 b522 b1004 + 2 b523 b524 - 2 b523 b824 + 2 b524 b629 + 2 b524 b1072 + 2 b525 b527 + 2 b525 b1088 + 2 b526 b701 + 2 b527 b632 + 2 b527 b701 - 2 b527 b801 + 2 b528 b702 + 2 b528 b843 + 2 b528 b1007 - 2 b528 b1089 - 2 b529 b581 + 2 b529 b913 - 2 b530 b1100 + 2 b531 b829 + 2 b531 b1041 + 2 b531 b1100 - 2 b532 b533 + 2 b532 b586 - 2 b532 b875 - 2 b532 b990 + 2 b533 b1083 - 2 b533 b1125 + 2 b534 b535 + 2 b534 b931 - 2 b534 b1011 + 2 b535 b1054 + 2 b535 b1083 - 2 b536 b1120 - 2 b537 b722 - 2 b537 b890 + 2 b538 b540 + 2 b538 b658 + 2 b538 b722 + 2 b538 b1108 - 2 b539 b542 + 2 b539 b657 - 2 b539 b920 - 2 b539 b1062 + 2 b540 b542 - 2 b540 b795 + 2 b540 b860 - 2 b541 b543 + 2 b541 b794 + 2 b542 b543 + 2 b543 b906 + 2 b543 b1012 - 2 b544 b1099 - 2 b545 b546 - 2 b545 b861 + 2 b546 b548 + 2 b546 b957 + 2 b546 b1099 - 2 b547 b735 - 2 b547 b882 + 2 b547 b1034 + 2 b548 b735 + 2 b548 b837 + 2 b549 b551 - 2 b549 b922 + 2 b550 b552 + 2 b551 b552 + 2 b551 b735 + 2 b552 b554 + 2 b552 b673 + 2 b553 b555 + 2 b554 b555 + 2 b554 b739 + 2 b554 b751 + 2 b555 b1046 - 2 b556 b678 - 2 b556 b755 + 2 b557 b678 - 2 b557 b869 + 2 b557 b1046 + 2 b558 b560 + 2 b558 b679 - 2 b558 b763 + 2 b559 b562 + 2 b559 b755 + 2 b560 b562 + 2 b560 b678 + 2 b561 b563 + 2 b561 b771 + 2 b562 b563 + 2 b564 b619 + 2 b565 b567 - 2 b565 b1037 - 2 b566 b568 + 2 b566 b685 + 2 b567 b568 + 2 b567 b619 + 2 b568 b570 + 2 b568 b1005 - 2 b569 b571 - 2 b569 b760 - 2 b569 b822 + 2 b570 b571 - 2 b570 b792 + 2 b571 b573 + 2 b571 b823 - 2 b572 b693 - 2 b572 b773 + 2 b573 b693 + 2 b573 b1016 + 2 b574 b575 + 2 b575 b693 + 2 b575 b1067 + 2 b576 b697 - 2 b576 b983 + 2 b577 b579 + 2 b577 b1079 + 2 b578 b636 + 2 b579 b636 + 2 b579 b697 + 2 b580 b926 - 2 b580 b971 + 2 b581 b1089 - 2 b581 b1124 + 2 b582 b584 - 2 b582 b815 + 2 b582 b1031 + 2 b582 b1124 - 2 b583 b1009 - 2 b583 b1097 - 2 b584 b712 + 2 b584 b1052 + 2 b584 b1097 + 2 b585 b586 - 2 b585 b711 - 2 b585 b952 + 2 b586 b588 + 2 b586 b1097 + 2 b587 b648 - 2 b587 b984 - 2 b587 b985 + 2 b588 b775 + 2 b588 b831 + 2 b588 b985 + 2 b589 b591 + 2 b589 b718 - 2 b589 b1022 + 2 b590 b716 - 2 b590 b890 - 2 b590 b1043 + 2 b591 b1043 + 2 b591 b1075 - 2 b592 b879 - 2 b592 b1115 - 2 b593 b902 - 2 b593 b955 - 2 b594 b597 - 2 b594 b803 - 2 b594 b804 + 2 b595 b596 + 2 b595 b597 + 2 b595 b955 + 2 b595 b1114 - 2 b596 b598 - 2 b596 b933 + 2 b597 b598 + 2 b597 b850 + 2 b598 b599 + 2 b599 b601 - 2 b599 b965 + 2 b599 b1001 + 2 b600 b1069 - 2 b600 b1094 + 2 b601 b731 - 2 b601 b798 + 2 b601 b1094 - 2 b602 b603 + 2 b602 b730 - 2 b602 b868 + 2 b603 b605 + 2 b603 b946 + 2 b603 b1094 - 2 b604 b894 + 2 b604 b1044 - 2 b604 b1063 + 2 b605 b851 + 2 b605 b1063 + 2 b606 b608 - 2 b606 b907 + 2 b606 b1106 + 2 b607 b738 - 2 b607 b1045 + 2 b608 b738 + 2 b608 b1063 + 2 b609 b610 + 2 b610 b778 + 2 b610 b1035 - 2 b610 b1127 - 2 b611 b744 + 2 b612 b744 + 2 b612 b869 + 2 b612 b1035 + 2 b613 b614 + 2 b613 b615 - 2 b613 b759 - 2 b614 b1122 + 2 b615 b744 + 2 b615 b1122 + 2 b616 b617 + 2 b616 b779 + 2 b617 b1122 + 2 b618 b682 + 2 b619 b621 - 2 b619 b1027 - 2 b620 b623 + 2 b620 b810 + 2 b621 b623 + 2 b621 b682 - 2 b622 b625 - 2 b622 b782 + 2 b623 b625 - 2 b624 b626 - 2 b624 b765 - 2 b624 b810 + 2 b625 b626 + 2 b626 b628 + 2 b626 b811 - 2 b627 b781 - 2 b627 b783 - 2 b627 b885 + 2 b628 b885 + 2 b628 b1028 + 2 b629 b630 + 2 b630 b885 + 2 b630 b1059 + 2 b631 b633 - 2 b631 b987 + 2 b632 b635 + 2 b632 b978 + 2 b632 b1072 + 2 b633 b635 - 2 b633 b767 + 2 b633 b1059 + 2 b634 b637 + 2 b635 b637 + 2 b636 b638 - 2 b636 b1126 + 2 b637 b855 + 2 b637 b1126 - 2 b638 b640 - 2 b638 b843 - 2 b638 b1007 + 2 b639 b939 - 2 b639 b961 + 2 b640 b961 + 2 b640 b1126 - 2 b641 b1117 + 2 b642 b644 + 2 b642 b826 - 2 b642 b1040 + 2 b642 b1041 + 2 b643 b646 + 2 b643 b785 + 2 b644 b646 + 2 b644 b815 + 2 b644 b1117 - 2 b645 b1020 - 2 b645 b1090 - 2 b646 b647 + 2 b646 b1090 + 2 b647 b649 + 2 b648 b928 + 2 b648 b1100 - 2 b648 b1125 + 2 b649 b1090 + 2 b649 b1125 + 2 b650 b713 - 2 b650 b979 - 2 b650 b980 + 2 b651 b653 + 2 b651 b654 + 2 b652 b654 - 2 b652 b879 + 2 b652 b980 + 2 b652 b1074 - 2 b653 b901 - 2 b653 b902 - 2 b653 b1033 + 2 b654 b1033 - 2 b655 b891 - 2 b655 b1109 - 2 b656 b917 - 2 b656 b944 + 2 b657 b659 + 2 b657 b944 + 2 b657 b1119 - 2 b658 b660 - 2 b658 b945 + 2 b659 b660 - 2 b659 b834 + 2 b660 b661 + 2 b661 b663 - 2 b661 b956 + 2 b661 b991 + 2 b662 b1076 - 2 b662 b1085 + 2 b663 b664 - 2 b663 b807 + 2 b663 b1085 - 2 b664 b665 - 2 b664 b934 + 2 b665 b667 + 2 b665 b935 + 2 b665 b1085 - 2 b666 b1055 + 2 b667 b861 + 2 b667 b1055 + 2 b668 b670 - 2 b668 b895 + 2 b669 b672 - 2 b669 b1055 + 2 b670 b672 + 2 b670 b1055 + 2 b671 b674 + 2 b672 b674 + 2 b673 b675 + 2 b674 b675 + 2 b675 b1025 + 2 b676 b778 - 2 b676 b780 + 2 b677 b780 + 2 b677 b883 + 2 b677 b1025 + 2 b678 b680 - 2 b679 b747 + 2 b680 b747 + 2 b680 b780 + 2 b681 b910 + 2 b681 b1087 + 2 b682 b684 - 2 b682 b1015 - 2 b683 b686 + 2 b683 b822 + 2 b684 b686 + 2 b684 b1087 - 2 b685 b687 - 2 b685 b688 + 2 b686 b688 - 2 b687 b690 - 2 b687 b773 + 2 b688 b690 + 2 b689 b692 - 2 b689 b1039 + 2 b690 b692 + 2 b690 b799 - 2 b691 b871 - 2 b691 b873 + 2 b692 b873 + 2 b693 b695 - 2 b694 b1038 - 2 b694 b1050 + 2 b695 b873 + 2 b695 b1050 + 2 b696 b698 - 2 b696 b995 + 2 b697 b700 + 2 b697 b1067 + 2 b698 b700 - 2 b698 b761 + 2 b698 b1050 + 2 b699 b702 + 2 b700 b702 + 2 b701 b703 - 2 b701 b1123 + 2 b702 b1123 - 2 b703 b705 - 2 b703 b827 - 2 b703 b997 - 2 b704 b951 + 2 b705 b951 + 2 b705 b1123 - 2 b706 b1113 + 2 b707 b709 + 2 b707 b842 - 2 b707 b1051 + 2 b707 b1052 + 2 b708 b711 + 2 b708 b1053 + 2 b709 b711 + 2 b709 b828 + 2 b709 b1113 - 2 b710 b1032 - 2 b710 b1081 + 2 b711 b1081 + 2 b712 b714 + 2 b713 b915 + 2 b713 b1107 - 2 b713 b1118 + 2 b714 b1081 + 2 b714 b1118 - 2 b715 b973 + 2 b716 b719 + 2 b717 b719 + 2 b717 b973 + 2 b717 b1082 - 2 b718 b916 - 2 b718 b917 - 2 b718 b1023 + 2 b719 b1023 - 2 b720 b903 - 2 b720 b1103 + 2 b721 b803 + 2 b721 b866 - 2 b721 b932 + 2 b722 b723 + 2 b722 b1120 + 2 b723 b725 + 2 b723 b932 + 2 b723 b964 - 2 b724 b726 - 2 b724 b956 + 2 b725 b726 + 2 b725 b834 + 2 b726 b728 - 2 b727 b730 - 2 b727 b820 - 2 b727 b867 + 2 b728 b729 + 2 b728 b730 - 2 b728 b945 - 2 b729 b1076 - 2 b729 b1077 + 2 b730 b1077 - 2 b731 b732 - 2 b731 b921 + 2 b732 b733 + 2 b732 b734 + 2 b732 b1077 - 2 b733 b1044 - 2 b733 b1045 + 2 b734 b868 + 2 b734 b1045 + 2 b735 b737 + 2 b736 b739 - 2 b736 b1063 + 2 b737 b739 + 2 b737 b1045 + 2 b738 b740 - 2 b738 b1127 + 2 b739 b1127 + 2 b740 b741 + 2 b741 b742 + 2 b741 b1127 + 2 b742 b743 - 2 b742 b947 + 2 b742 b1013 + 2 b743 b772 + 2 b743 b896 + 2 b744 b746 - 2 b745 b1112 + 2 b746 b772 + 2 b746 b1112 - 2 b747 b1116 - 2 b747 b1128 - 2 b748 b749 + 2 b748 b866 + 2 b749 b878 + 2 b750 b882 - 2 b751 b809 - 2 b752 b753 - 2 b752 b758 + 2 b752 b761 - 2 b753 b1018 + 2 b755 b756 - 2 b755 b764 - 2 b756 b772 - 2 b757 b1006 + 2 b758 b801 + 2 b759 b809 + 2 b761 b812 + 2 b762 b889 + 2 b765 b766 + 2 b765 b824 - 2 b766 b839 - 2 b766 b840 + 2 b767 b825 + 2 b768 b900 - 2 b769 b770 - 2 b769 b933 + 2 b769 b945 - 2 b770 b892 - 2 b771 b772 + 2 b773 b841 - 2 b776 b777 - 2 b776 b920 + 2 b776 b956 - 2 b777 b880 - 2 b778 b976 - 2 b778 b1014 - 2 b779 b780 - 2 b781 b782 + 2 b781 b854 + 2 b782 b792 - 2 b783 b800 - 2 b784 b785 - 2 b785 b1060 - 2 b786 b876 - 2 b787 b788 + 2 b787 b789 - 2 b787 b905 + 2 b787 b965 - 2 b789 b932 - 2 b790 b791 + 2 b790 b838 + 2 b791 b850 + 2 b791 b905 - 2 b791 b906 - 2 b792 b912 - 2 b793 b865 - 2 b794 b795 + 2 b794 b796 - 2 b794 b893 + 2 b795 b817 - 2 b796 b944 - 2 b797 b798 + 2 b797 b852 + 2 b798 b860 + 2 b798 b893 - 2 b799 b862 + 2 b800 b978 - 2 b801 b899 - 2 b802 b858 + 2 b804 b805 - 2 b804 b881 - 2 b805 b955 - 2 b806 b807 + 2 b807 b867 + 2 b807 b881 + 2 b809 b969 - 2 b811 b853 - 2 b812 b888 - 2 b813 b814 - 2 b813 b1031 - 2 b814 b887 + 2 b814 b888 - 2 b816 b847 - 2 b817 b818 + 2 b817 b819 - 2 b817 b834 + 2 b818 b917 - 2 b819 b1033 - 2 b823 b840 - 2 b825 b874 - 2 b826 b827 - 2 b826 b1019 + 2 b827 b874 - 2 b828 b829 + 2 b829 b1019 - 2 b829 b1124 - 2 b831 b953 + 2 b832 b902 - 2 b833 b1043 - 2 b835 b836 - 2 b836 b860 + 2 b837 b838 - 2 b837 b936 - 2 b838 b1012 - 2 b841 b950 - 2 b842 b843 - 2 b842 b1008 + 2 b844 b1008 - 2 b844 b1117 + 2 b846 b847 - 2 b846 b942 + 2 b847 b1010 + 2 b848 b890 - 2 b848 b1102 - 2 b849 b1054 - 2 b849 b1061 - 2 b850 b904 + 2 b851 b852 - 2 b851 b922 - 2 b852 b1024 - 2 b854 b960 - 2 b855 b1096 + 2 b856 b998 - 2 b856 b1113 + 2 b857 b858 - 2 b857 b930 + 2 b857 b972 + 2 b858 b999 + 2 b859 b877 - 2 b859 b1108 - 2 b860 b892 - 2 b861 b907 - 2 b863 b970 + 2 b864 b865 - 2 b864 b916 + 2 b865 b990 - 2 b865 b1082 - 2 b867 b880 - 2 b868 b895 - 2 b869 b870 - 2 b870 b1070 - 2 b872 b873 - 2 b872 b886 + 2 b874 b997 + 2 b875 b876 - 2 b875 b901 + 2 b876 b984 - 2 b876 b1074 - 2 b877 b878 + 2 b877 b879 + 2 b878 b901 - 2 b878 b1054 + 2 b879 b930 - 2 b882 b923 - 2 b883 b884 - 2 b884 b1064 - 2 b886 b1066 - 2 b887 b988 + 2 b888 b988 - 2 b889 b928 + 2 b890 b891 + 2 b891 b942 - 2 b891 b1075 + 2 b892 b1084 + 2 b894 b895 - 2 b894 b908 - 2 b896 b897 - 2 b897 b1056 - 2 b900 b915 + 2 b902 b903 + 2 b903 b953 - 2 b903 b1083 + 2 b904 b1093 - 2 b905 b964 + 2 b906 b1099 - 2 b909 b1046 - 2 b910 b911 - 2 b910 b912 - 2 b914 b1068 + 2 b917 b918 - 2 b918 b1091 - 2 b918 b1092 + 2 b921 b1104 - 2 b924 b1035 - 2 b927 b1073 - 2 b928 b962 + 2 b929 b962 - 2 b930 b931 + 2 b932 b1103 + 2 b934 b1110 - 2 b935 b1034 - 2 b936 b1105 - 2 b937 b1025 - 2 b940 b1080 + 2 b941 b952 - 2 b942 b943 + 2 b944 b1109 - 2 b948 b982 + 2 b950 b1005 - 2 b950 b1065 + 2 b951 b1113 - 2 b952 b1100 - 2 b953 b954 + 2 b955 b1115 - 2 b958 b977 + 2 b960 b1017 - 2 b960 b1057 + 2 b961 b1117 - 2 b962 b1107 - 2 b965 b1000 - 2 b967 b968 - 2 b967 b969 + 2 b970 b1029 - 2 b970 b1048 + 2 b971 b1096 + 2 b971 b1124 - 2 b972 b973 - 2 b972 b974 + 2 b973 b1118 + 2 b980 b1125 + 2 b981 b986 - 2 b983 b1095 + 2 b985 b1075 - 2 b986 b1110 - 2 b987 b1088 + 2 b989 b1009 - 2 b989 b1107 - 2 b991 b1069 + 2 b992 b993 - 2 b992 b994 - 2 b993 b1056 - 2 b995 b1079 - 2 b996 b997 - 2 b1002 b1064 - 2 b1003 b1087 - 2 b1004 b1005 - 2 b1006 b1072 + 2 b1008 b1009 + 2 b1011 b1098 - 2 b1013 b1025 - 2 b1014 b1070 - 2 b1016 b1017 - 2 b1018 b1067 + 2 b1019 b1020 + 2 b1022 b1101 + 2 b1023 b1103 - 2 b1026 b1078 - 2 b1028 b1029 + 2 b1030 b1038 - 2 b1030 b1059 + 2 b1031 b1032 + 2 b1033 b1109 - 2 b1036 b1086 - 2 b1038 b1039 - 2 b1040 b1080 - 2 b1041 b1042 + 2 b1043 b1115 - 2 b1049 b1050 - 2 b1051 b1073 - 2 b1052 b1053 + 2 b1054 b1120 - 2 b1058 b1059 - 2 b1060 b1068 - 2 b1061 b1062 - 2 b1066 b1067 - 2 b1069 b1093 - 2 b1074 b1075 - 2 b1076 b1084 - 2 b1082 b1083 - 2 b1089 b1123 - 2 b1096 b1126 - 2 b1102 b1103 - 2 b1105 b1106 - 2 b1108 b1109 - 2 b1111 b1112 + 2 b1112 b1128 - 2 b1114 b1115 - 2 b1119 b1120 - 2 b1121 b1122 <= 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 b862 b863 b864 b865 b866 b867 b868 b869 b870 b871 b872 b873 b874 b875 b876 b877 b878 b879 b880 b881 b882 b883 b884 b885 b886 b887 b888 b889 b890 b891 b892 b893 b894 b895 b896 b897 b898 b899 b900 b901 b902 b903 b904 b905 b906 b907 b908 b909 b910 b911 b912 b913 b914 b915 b916 b917 b918 b919 b920 b921 b922 b923 b924 b925 b926 b927 b928 b929 b930 b931 b932 b933 b934 b935 b936 b937 b938 b939 b940 b941 b942 b943 b944 b945 b946 b947 b948 b949 b950 b951 b952 b953 b954 b955 b956 b957 b958 b959 b960 b961 b962 b963 b964 b965 b966 b967 b968 b969 b970 b971 b972 b973 b974 b975 b976 b977 b978 b979 b980 b981 b982 b983 b984 b985 b986 b987 b988 b989 b990 b991 b992 b993 b994 b995 b996 b997 b998 b999 b1000 b1001 b1002 b1003 b1004 b1005 b1006 b1007 b1008 b1009 b1010 b1011 b1012 b1013 b1014 b1015 b1016 b1017 b1018 b1019 b1020 b1021 b1022 b1023 b1024 b1025 b1026 b1027 b1028 b1029 b1030 b1031 b1032 b1033 b1034 b1035 b1036 b1037 b1038 b1039 b1040 b1041 b1042 b1043 b1044 b1045 b1046 b1047 b1048 b1049 b1050 b1051 b1052 b1053 b1054 b1055 b1056 b1057 b1058 b1059 b1060 b1061 b1062 b1063 b1064 b1065 b1066 b1067 b1068 b1069 b1070 b1071 b1072 b1073 b1074 b1075 b1076 b1077 b1078 b1079 b1080 b1081 b1082 b1083 b1084 b1085 b1086 b1087 b1088 b1089 b1090 b1091 b1092 b1093 b1094 b1095 b1096 b1097 b1098 b1099 b1100 b1101 b1102 b1103 b1104 b1105 b1106 b1107 b1108 b1109 b1110 b1111 b1112 b1113 b1114 b1115 b1116 b1117 b1118 b1119 b1120 b1121 b1122 b1123 b1124 b1125 b1126 b1127 b1128 End