\ Equation counts \ Total E G L N X C B \ 0 0 0 0 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 400 0 400 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 400 0 400 0 \ Maximize obj: 36975 b2 - 71441 b3 + 153636 b4 + 6006 b5 - 168081 b6 - 248927 b7 - 114743 b8 - 32594 b9 + 67916 b10 - 118962 b11 - 284859 b12 + 3958 b13 + 121397 b14 - 232326 b15 - 182462 b16 - 102852 b17 - 102871 b18 - 372038 b19 + 105319 b20 + 312113 b21 - 194512 b22 + 134501 b23 + 86758 b24 + 209790 b25 - 176330 b26 - 371090 b27 - 5071 b28 + 64528 b29 + 54864 b30 - 44703 b31 - 6376 b32 - 44675 b33 - 172962 b34 - 377624 b35 - 119031 b36 - 235052 b37 - 47047 b38 + 42386 b39 + 30764 b40 - 69521 b41 + 22613 b42 + 76365 b43 - 99687 b44 + 114701 b45 - 160262 b46 - 538014 b47 - 229175 b48 - 84531 b49 + 255166 b50 + 133099 b51 + 133512 b52 + 204711 b53 - 248212 b54 - 76725 b55 - 72202 b56 - 201298 b57 - 53901 b58 + 136809 b59 - 50955 b60 + 72119 b61 - 195421 b62 + 49643 b63 - 49446 b64 + 254786 b65 + 58852 b66 + 52672 b67 + 266599 b68 + 57768 b69 + 20975 b70 + 106358 b71 + 100996 b72 + 193725 b73 - 77504 b74 + 46522 b75 - 244644 b76 - 213061 b77 - 198120 b78 + 168463 b79 + 335806 b80 - 304485 b81 + 158240 b82 - 34755 b83 + 7581 b84 + 155675 b85 - 189962 b86 - 245198 b87 - 370545 b88 - 408825 b89 - 201401 b90 + 44282 b91 - 39281 b92 - 35742 b93 - 318104 b94 - 129378 b95 - 147052 b96 - 17411 b97 - 2491 b98 - 91436 b99 + 197466 b100 + 93934 b101 + 266023 b102 - 212944 b103 - 205689 b104 - 146078 b105 + 40223 b106 + 29979 b107 + 228138 b108 + 146913 b109 + 174512 b110 - 209880 b111 + 31814 b112 - 31643 b113 - 24859 b114 - 148598 b115 - 339734 b116 + 163626 b117 - 20323 b118 - 101167 b119 - 64489 b120 + 215500 b121 + 194966 b122 - 72566 b123 + 169396 b124 + 163573 b125 - 22719 b126 - 380688 b127 - 191059 b128 - 46291 b129 + 369696 b130 + 213967 b131 + 315728 b132 - 156767 b133 - 246533 b134 - 169955 b135 + 27158 b136 + 336322 b137 + 162624 b138 + 153204 b139 - 95926 b140 + 31886 b141 + 261236 b142 + 4377 b143 + 340956 b144 - 204683 b145 - 153780 b146 - 201182 b147 - 242243 b148 - 338410 b149 + 234048 b150 + 99643 b151 + 2610 b152 - 152028 b153 + 88983 b154 + 60216 b155 + 159323 b156 + 90782 b157 + 134167 b158 + 670 b159 - 173363 b160 + 185523 b161 - 338499 b162 + 8965 b163 - 85068 b164 - 235096 b165 + 45775 b166 - 94168 b167 - 92961 b168 - 302431 b169 + 308967 b170 + 137685 b171 + 777 b172 - 237387 b173 + 164004 b174 + 385611 b175 + 230136 b176 - 193974 b177 - 149864 b178 - 363156 b179 - 81594 b180 - 112309 b181 + 146455 b182 - 19229 b183 - 82206 b184 + 349886 b185 + 184644 b186 + 69523 b187 - 100673 b188 - 249627 b189 - 22179 b190 + 316872 b191 + 73242 b192 - 340636 b193 - 369674 b194 - 31823 b195 - 47769 b196 - 81760 b197 + 49096 b198 + 6390 b199 + 254106 b200 + 219874 b201 - 279111 b202 - 273191 b203 - 301916 b204 + 59494 b205 - 88524 b206 - 13526 b207 + 159411 b208 + 132610 b209 - 123115 b210 - 52174 b211 + 197979 b212 - 48493 b213 - 327732 b214 - 510573 b215 - 91117 b216 + 127771 b217 + 161011 b218 + 170759 b219 - 50331 b220 - 158166 b221 - 52495 b222 + 171150 b223 - 163566 b224 - 386396 b225 - 270160 b226 - 161325 b227 - 91171 b228 - 304403 b229 - 254442 b230 + 65319 b231 + 431096 b232 + 104294 b233 + 85993 b234 - 49686 b235 + 44960 b236 - 359111 b237 - 553060 b238 - 73141 b239 + 79949 b240 - 111536 b241 - 114314 b242 + 59212 b243 - 95981 b244 + 43909 b245 + 96561 b246 - 337233 b247 + 106206 b248 + 137470 b249 - 200621 b250 - 130304 b251 - 121892 b252 + 100475 b253 + 179654 b254 + 313023 b255 - 192877 b256 - 171276 b257 + 69869 b258 - 27506 b259 + 49874 b260 - 310413 b261 + 8205 b262 - 30088 b263 - 188452 b264 - 191933 b265 - 155328 b266 - 282863 b267 + 208727 b268 + 257587 b269 + 30420 b270 + 251633 b271 + 163500 b272 - 186972 b273 + 16280 b274 + 170750 b275 - 128050 b276 + 124723 b277 - 31160 b278 - 269192 b279 + 296336 b280 + 287919 b281 - 462851 b282 - 92879 b283 - 50036 b284 - 30890 b285 + 115465 b286 + 155344 b287 + 167753 b288 - 42903 b289 - 390420 b290 + 2256 b291 + 112797 b292 - 211679 b293 + 118242 b294 + 285106 b295 + 406811 b296 + 256103 b297 + 118470 b298 + 139346 b299 + 148289 b300 - 151289 b301 - 26673 b302 + 36051 b303 - 107418 b304 + 484490 b305 + 151719 b306 + 239231 b307 + 90140 b308 + 293036 b309 + 257848 b310 + 318156 b311 - 4990 b312 - 118883 b313 + 75344 b314 + 301306 b315 + 287450 b316 + 125499 b317 + 60480 b318 + 308471 b319 + 159245 b320 + 6353 b321 - 4471 b322 + 258656 b323 - 108957 b324 + 58546 b325 + 106320 b326 - 44437 b327 - 253243 b328 + 10647 b329 + 273382 b330 + 232556 b331 - 143741 b332 + 135647 b333 + 38153 b334 - 281830 b335 + 28085 b336 + 25316 b337 - 49028 b338 - 414863 b339 + 66089 b340 - 22889 b341 + 38022 b342 + 207851 b343 + 168708 b344 + 117992 b345 + 30827 b346 - 399962 b347 - 174591 b348 + 81786 b349 + 206018 b350 + 202501 b351 - 57099 b352 + 457941 b353 + 210093 b354 - 67439 b355 + 312658 b356 - 135053 b357 + 183260 b358 - 286194 b359 - 11369 b360 - 36124 b361 - 127569 b362 - 26685 b363 + 336108 b364 + 57583 b365 - 136507 b366 - 660630 b367 - 254935 b368 + 54794 b369 - 173657 b370 + 38101 b371 - 296556 b372 + 261056 b373 - 130339 b374 - 191861 b375 - 274843 b376 - 454260 b377 + 274885 b378 - 65182 b379 - 141092 b380 - 458143 b381 + 543005 b382 - 93676 b383 - 121859 b384 - 158119 b385 + 229218 b386 + 72493 b387 + 136925 b388 - 44581 b389 + 34543 b390 + 203557 b391 + 40962 b392 + 487662 b393 + 302960 b394 + 425030 b395 + 29708 b396 - 4281 b397 + 365438 b398 - 68946 b399 + 86971 b400 + 129008 b401 + [ 176616 b2 * b3 - 304288 b2 * b21 + 74276 b2 * b22 - 94504 b2 * b382 + 144648 b3 * b4 - 214032 b3 * b23 + 178532 b3 * b383 - 75704 b4 * b5 - 246380 b4 * b24 - 437108 b4 * b384 + 265768 b5 * b6 - 214232 b5 * b25 + 144 b5 * b385 - 140212 b6 * b7 + 518816 b6 * b26 + 27952 b6 * b386 + 553840 b7 * b8 + 571084 b7 * b27 + 10996 b7 * b387 - 134132 b8 * b9 + 322132 b8 * b28 - 282868 b8 * b388 - 182160 b9 * b10 - 7696 b9 * b29 + 454364 b9 * b389 - 287520 b10 * b11 + 220884 b10 * b30 - 22868 b10 * b390 + 717432 b11 * b12 + 351036 b11 * b31 - 305100 b11 * b391 - 205456 b12 * b13 + 506252 b12 * b32 + 121208 b12 * b392 - 306908 b13 * b14 + 362668 b13 * b33 + 133864 b13 * b393 + 265248 b14 * b15 + 81680 b14 * b34 - 525608 b14 * b394 + 383468 b15 * b16 + 965872 b15 * b35 - 685284 b15 * b395 + 424704 b16 * b17 - 581828 b16 * b36 + 503504 b16 * b396 - 87816 b17 * b18 + 131568 b17 * b37 - 57048 b17 * b397 + 297588 b18 * b19 - 16796 b18 * b38 + 218508 b18 * b398 + 160152 b19 * b20 + 231012 b19 * b39 + 799400 b19 * b399 - 377564 b20 * b21 - 357060 b20 * b40 + 153196 b20 * b400 - 142580 b21 * b41 - 424020 b21 * b401 + 155340 b22 * b23 + 350012 b22 * b41 + 198420 b22 * b42 + 77268 b23 * b24 - 556580 b23 * b43 - 440980 b24 * b25 + 263060 b24 * b44 - 29716 b25 * b26 - 154232 b25 * b45 + 110748 b26 * b27 + 105472 b26 * b46 + 34616 b27 * b28 + 767912 b27 * b47 - 19952 b28 * b29 - 316512 b28 * b48 + 13164 b29 * b30 - 243628 b29 * b49 - 80956 b30 * b31 - 372548 b30 * b50 - 79740 b31 * b32 - 11528 b31 * b51 + 81520 b32 * b33 - 482528 b32 * b52 + 461948 b33 * b34 - 727436 b33 * b53 + 139120 b34 * b35 + 9100 b34 * b54 + 128240 b35 * b36 + 277264 b35 * b55 + 704760 b36 * b37 + 224952 b36 * b56 - 212468 b37 * b38 + 316348 b37 * b57 + 211648 b38 * b39 + 205804 b38 * b58 - 336132 b39 * b40 - 276072 b39 * b59 + 56588 b40 * b41 + 513548 b40 * b60 + 14064 b41 * b61 - 175308 b42 * b43 - 167264 b42 * b61 + 53700 b42 * b62 + 193316 b43 * b44 + 233112 b43 * b63 - 273236 b44 * b45 + 215608 b44 * b64 + 270928 b45 * b46 - 302264 b45 * b65 + 362564 b46 * b47 - 97916 b46 * b66 + 744768 b47 * b48 + 276812 b47 * b67 + 479092 b48 * b49 + 9352 b48 * b68 + 49880 b49 * b50 + 52780 b49 * b69 - 411332 b50 * b51 - 286664 b50 * b70 - 358348 b51 * b52 + 248812 b51 * b71 + 589056 b52 * b53 - 282228 b52 * b72 + 416872 b53 * b54 - 1097336 b53 * b73 - 154000 b54 * b55 + 720876 b54 * b74 - 23108 b55 * b56 + 206744 b55 * b75 + 100672 b56 * b57 - 13708 b56 * b76 + 176780 b57 * b58 + 211392 b57 * b77 - 525692 b58 * b59 + 358712 b58 * b78 + 426060 b59 * b60 - 171532 b59 * b79 - 456348 b60 * b61 - 279440 b60 * b80 + 321072 b61 * b81 - 182696 b62 * b63 + 837120 b62 * b81 + 73560 b62 * b82 - 143348 b63 * b64 - 105640 b63 * b83 - 442824 b64 * b65 + 568348 b64 * b84 - 638020 b65 * b66 + 363964 b65 * b85 + 95728 b66 * b67 + 404800 b66 * b86 - 897060 b67 * b68 + 313832 b67 * b87 - 301172 b68 * b69 + 122484 b68 * b88 - 183096 b69 * b70 + 200416 b69 * b89 - 194592 b70 * b71 + 580452 b70 * b90 - 347820 b71 * b72 - 131832 b71 * b91 + 145736 b72 * b73 + 80328 b72 * b92 - 181080 b73 * b74 + 357780 b73 * b93 - 500324 b74 * b75 + 270544 b74 * b94 + 109620 b75 * b76 - 2128 b75 * b95 + 284052 b76 * b77 + 598612 b76 * b96 + 387168 b77 * b78 - 30368 b77 * b97 - 132020 b78 * b79 + 178620 b78 * b98 - 483080 b79 * b80 + 112780 b79 * b99 - 266076 b80 * b81 - 314628 b80 * b100 + 325824 b81 * b101 - 101376 b82 * b83 - 143320 b82 * b101 - 461824 b82 * b102 + 240624 b83 * b84 + 105412 b83 * b103 - 495540 b84 * b85 - 343756 b84 * b104 + 856 b85 * b86 - 491980 b85 * b105 + 162244 b86 * b87 + 191948 b86 * b106 + 484428 b87 * b88 + 20288 b87 * b107 + 720284 b88 * b89 + 154984 b88 * b108 + 141236 b89 * b90 + 573364 b89 * b109 + 116860 b90 * b91 - 32944 b90 * b110 - 261784 b91 * b92 + 99628 b91 * b111 + 267040 b92 * b93 + 71540 b92 * b112 - 164544 b93 * b94 - 317308 b93 * b113 + 929236 b94 * b95 + 237180 b94 * b114 - 520388 b95 * b96 + 110792 b95 * b115 + 520212 b96 * b97 - 10228 b96 * b116 - 423820 b97 * b98 + 3620 b97 * b117 - 17204 b98 * b99 + 272368 b98 * b118 + 130044 b99 * b100 + 140124 b99 * b119 - 295752 b100 * b101 - 309528 b100 * b120 - 262488 b101 * b121 + 217700 b102 * b103 - 528756 b102 * b121 - 291212 b102 * b122 + 450544 b103 * b104 + 78120 b103 * b123 + 618656 b104 * b105 + 97312 b104 * b124 + 281728 b105 * b106 + 175908 b105 * b125 - 545996 b106 * b107 - 88572 b106 * b126 - 147396 b107 * b108 + 553188 b107 * b127 - 368908 b108 * b109 - 551232 b108 * b128 - 450488 b109 * b110 - 341620 b109 * b129 - 151384 b110 * b111 - 63232 b110 * b130 + 488688 b111 * b112 + 402588 b111 * b131 - 169736 b112 * b113 - 517748 b112 * b132 + 27896 b113 * b114 + 585720 b113 * b133 - 199180 b114 * b115 + 33540 b114 * b134 + 91680 b115 * b116 + 591100 b115 * b135 + 299516 b116 * b117 + 977968 b116 * b136 - 820944 b117 * b118 - 136696 b117 * b137 + 187800 b118 * b119 + 442068 b118 * b138 + 404956 b119 * b120 - 328212 b119 * b139 - 113548 b120 * b121 + 276076 b120 * b140 + 42792 b121 * b141 - 132980 b122 * b123 - 30544 b122 * b141 - 325128 b122 * b142 + 18764 b123 * b124 + 326360 b123 * b143 - 185684 b124 * b125 - 607976 b124 * b144 - 591972 b125 * b126 - 52544 b125 * b145 + 213916 b126 * b127 + 557504 b126 * b146 + 692736 b127 * b128 + 62912 b127 * b147 + 202644 b128 * b129 + 420088 b128 * b148 - 349740 b129 * b130 + 673880 b129 * b149 - 1006612 b130 * b131 - 59200 b130 * b150 - 164900 b131 * b132 - 86944 b131 * b151 - 315776 b132 * b133 - 264488 b132 * b152 - 67424 b133 * b134 + 424548 b133 * b153 + 571656 b134 * b135 + 448360 b134 * b154 - 362196 b135 * b136 - 120740 b135 * b155 - 229944 b136 * b137 - 494460 b136 * b156 - 744892 b137 * b138 - 233756 b137 * b157 + 17952 b138 * b139 - 365624 b138 * b158 + 46440 b139 * b140 - 348996 b139 * b159 - 121400 b140 * b141 + 182588 b140 * b160 - 18392 b141 * b161 - 1840 b142 * b143 - 1161356 b142 * b161 + 443380 b142 * b162 - 287096 b143 * b144 - 54932 b143 * b163 - 102984 b144 * b145 - 365768 b144 * b164 + 261736 b145 * b146 + 712524 b145 * b165 - 112976 b146 * b147 - 91144 b146 * b166 + 759584 b147 * b148 + 95208 b147 * b167 + 291768 b148 * b149 - 502468 b148 * b168 - 90264 b149 * b150 + 478256 b149 * b169 - 467880 b150 * b151 - 318848 b150 * b170 + 79816 b151 * b152 + 76436 b151 * b171 + 187816 b152 * b153 - 13584 b152 * b172 - 458576 b153 * b154 + 454324 b153 * b173 + 95208 b154 * b155 - 440924 b154 * b174 + 273892 b155 * b156 - 489224 b155 * b175 - 32472 b156 * b157 - 384252 b156 * b176 - 256604 b157 * b158 + 159704 b157 * b177 - 458844 b158 * b159 + 544404 b158 * b178 + 200820 b159 * b160 + 604340 b159 * b179 + 158356 b160 * b161 + 151688 b160 * b180 + 279300 b161 * b181 + 315024 b162 * b163 + 675880 b162 * b181 - 80288 b162 * b182 - 20748 b163 * b164 - 275204 b163 * b183 + 350996 b164 * b165 + 375792 b164 * b184 + 70364 b165 * b166 - 193500 b165 * b185 + 178472 b166 * b167 - 340792 b166 * b186 + 33980 b167 * b168 + 69012 b167 * b187 + 563136 b168 * b169 + 277196 b168 * b188 - 112640 b169 * b170 + 280972 b169 * b189 - 286812 b170 * b171 - 517568 b170 * b190 - 427352 b171 * b172 + 86988 b171 * b191 - 224104 b172 * b173 + 661932 b172 * b192 - 458836 b173 * b174 + 1178164 b173 * b193 - 182456 b174 * b175 + 426200 b174 * b194 - 746032 b175 * b176 - 124732 b175 * b195 + 286180 b176 * b177 - 76440 b176 * b196 - 15408 b177 * b178 + 345420 b177 * b197 - 5872 b178 * b179 + 76332 b178 * b198 + 537712 b179 * b180 + 316444 b179 * b199 + 41116 b180 * b181 - 404140 b180 * b200 - 547060 b181 * b201 - 330724 b182 * b183 + 120852 b182 * b201 - 295660 b182 * b202 + 241080 b183 * b184 + 441764 b183 * b203 - 475528 b184 * b185 + 187480 b184 * b204 - 334996 b185 * b186 - 395520 b185 * b205 - 374624 b186 * b187 + 311836 b186 * b206 + 283992 b187 * b188 - 256472 b187 * b207 + 56740 b188 * b189 - 215236 b188 * b208 + 351296 b189 * b190 + 309500 b189 * b209 - 401104 b190 * b191 + 656092 b190 * b210 - 673712 b191 * b192 - 279660 b191 * b211 - 540312 b192 * b193 + 259124 b192 * b212 + 370652 b193 * b194 + 354040 b193 * b213 + 306904 b194 * b195 + 374940 b194 * b214 - 191756 b195 * b196 + 136876 b195 * b215 + 215512 b196 * b197 + 243760 b196 * b216 - 515312 b197 * b198 + 281420 b197 * b217 + 347044 b198 * b199 - 104448 b198 * b218 - 513340 b199 * b200 - 175708 b199 * b219 - 157604 b200 * b201 + 58660 b200 * b220 - 295684 b201 * b221 + 122512 b202 * b203 + 514808 b202 * b221 + 774784 b202 * b222 + 496616 b203 * b204 + 31872 b203 * b223 + 751260 b204 * b205 - 227692 b204 * b224 - 838136 b205 * b206 + 244420 b205 * b225 + 313316 b206 * b207 + 567080 b206 * b226 + 240776 b207 * b208 - 243516 b207 * b227 - 461060 b208 * b209 - 202124 b208 * b228 - 202540 b209 * b210 - 176340 b209 * b229 - 26128 b210 * b211 + 65036 b210 * b230 + 142084 b211 * b212 + 372400 b211 * b231 - 471748 b212 * b213 - 721376 b212 * b232 + 446428 b213 * b214 - 134748 b213 * b233 + 391932 b214 * b215 + 97628 b214 * b234 + 523904 b215 * b216 + 989580 b215 * b235 - 213032 b216 * b217 - 190164 b216 * b236 - 628936 b217 * b218 + 49464 b217 * b237 - 313148 b218 * b219 + 402488 b218 * b238 - 165592 b219 * b220 - 28588 b219 * b239 + 192104 b220 * b221 + 116152 b220 * b240 + 221436 b221 * b241 - 264988 b222 * b223 - 268088 b222 * b241 - 31728 b222 * b242 - 381336 b223 * b224 - 70148 b223 * b243 + 501948 b224 * b225 + 761344 b224 * b244 + 484500 b225 * b226 + 314716 b225 * b245 + 506932 b226 * b227 - 477872 b226 * b246 - 111384 b227 * b228 + 493268 b227 * b247 + 577872 b228 * b229 + 100320 b228 * b248 + 973108 b229 * b230 - 157028 b229 * b249 + 14704 b230 * b231 - 35080 b230 * b250 - 632632 b231 * b232 - 15748 b231 * b251 - 183804 b232 * b233 - 186572 b232 * b252 + 35696 b233 * b234 - 134320 b233 * b253 - 20276 b234 * b235 - 457020 b234 * b254 - 31688 b235 * b236 - 738872 b235 * b255 + 359824 b236 * b237 - 317812 b236 * b256 + 707016 b237 * b238 + 320140 b237 * b257 + 178588 b238 * b239 + 924148 b238 * b258 + 65456 b239 * b240 + 77108 b239 * b259 + 142460 b240 * b241 - 643864 b240 * b260 + 350336 b241 * b261 + 82012 b242 * b243 + 194584 b242 * b261 + 212388 b242 * b262 - 374720 b243 * b244 + 126008 b243 * b263 - 259980 b244 * b245 + 257280 b244 * b264 - 235696 b245 * b246 + 5324 b245 * b265 - 105044 b246 * b247 + 432368 b246 * b266 + 312280 b247 * b248 + 648428 b247 * b267 - 887492 b248 * b249 + 50068 b248 * b268 + 362744 b249 * b250 + 131896 b249 * b269 + 390408 b250 * b251 + 84412 b250 * b270 + 304888 b251 * b252 - 158332 b251 * b271 + 318244 b252 * b253 + 51008 b252 * b272 - 267404 b253 * b254 - 318420 b253 * b273 - 54224 b254 * b255 + 60032 b254 * b274 - 202620 b255 * b256 - 256376 b255 * b275 + 704492 b256 * b257 + 587448 b256 * b276 - 358972 b257 * b258 + 19444 b257 * b277 - 926372 b258 * b259 + 81720 b258 * b278 + 628608 b259 * b260 + 330680 b259 * b279 + 588620 b260 * b261 - 772860 b260 * b280 + 108112 b261 * b281 + 190788 b262 * b263 - 637780 b262 * b281 + 201784 b262 * b282 - 142304 b263 * b264 - 54140 b263 * b283 + 467772 b264 * b265 + 171060 b264 * b284 + 119744 b265 * b266 + 174892 b265 * b285 + 308428 b266 * b267 - 239228 b266 * b286 - 179420 b267 * b268 + 354016 b267 * b287 - 566448 b268 * b269 - 139108 b268 * b288 - 293304 b269 * b270 - 302492 b269 * b289 - 56480 b270 * b271 + 143692 b270 * b290 - 240916 b271 * b272 - 550804 b271 * b291 + 248328 b272 * b273 - 712420 b272 * b292 - 4744 b273 * b274 + 822724 b273 * b293 - 225144 b274 * b275 + 104736 b274 * b294 - 82456 b275 * b276 - 119024 b275 * b295 + 63100 b276 * b277 - 55892 b276 * b296 + 24020 b277 * b278 - 605456 b277 * b297 + 221252 b278 * b279 - 202352 b278 * b298 + 133824 b279 * b280 + 391012 b279 * b299 - 900128 b280 * b281 + 353820 b280 * b300 + 278120 b281 * b301 + 749940 b282 * b283 + 276712 b282 * b301 + 622968 b282 * b302 - 435428 b283 * b284 + 111144 b283 * b303 + 339108 b284 * b285 + 125404 b284 * b304 + 147672 b285 * b286 - 538112 b285 * b305 - 133924 b286 * b287 - 236380 b286 * b306 + 115620 b287 * b288 - 957088 b287 * b307 - 97844 b288 * b289 - 549680 b288 * b308 + 819520 b289 * b290 - 247572 b289 * b309 + 451972 b290 * b291 + 146496 b290 * b310 - 171408 b291 * b292 + 261216 b291 * b311 + 238212 b292 * b293 + 194428 b292 * b312 - 321608 b293 * b294 + 107388 b293 * b313 + 171788 b294 * b295 - 427884 b294 * b314 - 854784 b295 * b296 - 338404 b295 * b315 - 381584 b296 * b297 - 334984 b296 * b316 + 259132 b297 * b298 - 296504 b297 * b317 - 472592 b298 * b299 - 58068 b298 * b318 - 737576 b299 * b300 + 261772 b299 * b319 - 170932 b300 * b301 - 38468 b300 * b320 + 221256 b301 * b321 + 155856 b302 * b303 - 449784 b302 * b321 - 222348 b302 * b322 + 95324 b303 * b304 - 506528 b303 * b323 - 321756 b304 * b305 + 530700 b304 * b324 - 512116 b305 * b306 - 565976 b305 * b325 - 6192 b306 * b307 + 147812 b306 * b326 - 307452 b307 * b308 + 313808 b307 * b327 - 15344 b308 * b309 + 511916 b308 * b328 - 470112 b309 * b310 - 439116 b309 * b329 - 663328 b310 * b311 - 44448 b310 * b330 - 501228 b311 * b312 - 369284 b311 * b331 + 637724 b312 * b313 - 310964 b312 * b332 - 19856 b313 * b314 - 249724 b313 * b333 - 166680 b314 * b315 + 313044 b314 * b334 - 592148 b315 * b316 - 107992 b315 * b335 - 320004 b316 * b317 + 97336 b316 * b336 + 157704 b317 * b318 - 43192 b317 * b337 - 737788 b318 * b319 + 396232 b318 * b338 - 399184 b319 * b320 - 358684 b319 * b339 + 475152 b320 * b321 - 674480 b320 * b340 - 272036 b321 * b341 - 161936 b322 * b323 + 404224 b322 * b341 - 2056 b322 * b342 - 432340 b323 * b324 + 66180 b323 * b343 + 129528 b324 * b325 + 207940 b324 * b344 - 281836 b325 * b326 + 484100 b325 * b345 - 498824 b326 * b327 + 207568 b326 * b346 - 65280 b327 * b328 + 428044 b327 * b347 + 583200 b328 * b329 - 16864 b328 * b348 - 195392 b329 * b330 + 8720 b329 * b349 - 400680 b330 * b331 - 453008 b330 * b350 + 89004 b331 * b332 - 249264 b331 * b351 + 603604 b332 * b333 + 193320 b332 * b352 - 557032 b333 * b334 - 339436 b333 * b353 - 142832 b334 * b335 + 234208 b334 * b354 + 270132 b335 * b336 + 1108012 b335 * b355 + 161284 b336 * b337 - 641092 b336 * b356 - 319196 b337 * b338 + 99840 b337 * b357 + 608164 b338 * b339 - 489088 b338 * b358 + 438320 b339 * b340 + 971652 b339 * b359 - 12252 b340 * b341 - 15944 b340 * b360 - 28380 b341 * b361 - 611636 b342 * b343 + 276404 b342 * b361 + 185200 b342 * b362 - 7096 b343 * b344 - 278852 b343 * b363 + 63068 b344 * b345 - 938744 b344 * b364 - 418244 b345 * b346 - 600892 b345 * b365 + 409504 b346 * b347 - 322136 b346 * b366 - 52392 b347 * b348 + 814692 b347 * b367 + 311544 b348 * b349 + 456076 b348 * b368 - 812636 b349 * b350 + 165228 b349 * b369 + 45340 b350 * b351 + 396232 b350 * b370 + 6452 b351 * b352 - 612532 b351 * b371 - 280848 b352 * b353 + 309472 b352 * b372 - 510328 b353 * b354 - 701152 b353 * b373 - 205716 b354 * b355 - 358536 b354 * b374 - 1001840 b355 * b356 + 369300 b355 * b375 + 47932 b356 * b357 + 344368 b356 * b376 + 10580 b357 * b358 + 381860 b357 * b377 + 260888 b358 * b359 - 515420 b358 * b378 + 37112 b359 * b360 - 124876 b359 * b379 + 125836 b360 * b361 - 101528 b360 * b380 - 229364 b361 * b381 - 338792 b362 * b363 + 1053348 b362 * b381 - 389480 b362 * b382 + 128212 b363 * b364 + 596172 b363 * b383 - 33028 b364 * b365 - 500872 b364 * b384 + 515356 b365 * b366 - 111768 b365 * b385 + 246628 b366 * b367 + 106180 b366 * b386 + 668532 b367 * b368 + 912668 b367 * b387 + 38696 b368 * b369 - 143564 b368 * b388 - 235120 b369 * b370 - 187980 b369 * b389 + 557748 b370 * b371 - 24232 b370 * b390 - 46448 b371 * b372 - 51172 b371 * b391 + 91004 b372 * b373 + 832196 b372 * b392 + 479944 b373 * b374 - 914020 b373 * b393 + 126540 b374 * b375 + 273408 b374 * b394 + 312972 b375 * b376 - 41368 b375 * b395 + 157168 b376 * b377 + 284864 b376 * b396 + 615184 b377 * b378 + 662828 b377 * b397 + 32932 b378 * b379 - 1232236 b378 * b398 + 735648 b379 * b380 - 382976 b379 * b399 + 492900 b380 * b381 - 562652 b380 * b400 + 515688 b381 * b401 - 937704 b382 * b383 - 750332 b382 * b401 + 537704 b383 * b384 + 887712 b384 * b385 - 143612 b385 * b386 - 907392 b386 * b387 - 306244 b387 * b388 + 184976 b388 * b389 - 273036 b389 * b390 + 181964 b390 * b391 - 639920 b391 * b392 - 477332 b392 * b393 - 693160 b393 * b394 - 266480 b394 * b395 - 706988 b395 * b396 - 200212 b396 * b397 - 388444 b397 * b398 - 59580 b398 * b399 - 81060 b399 * b400 + 142632 b400 * b401 ]/2 Subject To Binary b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 b21 b22 b23 b24 b25 b26 b27 b28 b29 b30 b31 b32 b33 b34 b35 b36 b37 b38 b39 b40 b41 b42 b43 b44 b45 b46 b47 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 End