\ 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 \ 562 1 561 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 563 2 561 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 + objvar Subject To e1: - 2 b1 + 2 b2 - 2 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 - 4 b33 - 2 b34 - 2 b35 - 2 b36 - 2 b37 + 2 b38 - 2 b39 - 2 b40 - 4 b41 - 4 b42 - 2 b43 - 2 b44 - 2 b45 - 2 b46 - 2 b47 - 2 b48 - 2 b49 - 4 b50 + 2 b51 - 4 b52 - 4 b53 - 4 b54 - 4 b55 - 2 b56 + 2 b57 - 2 b58 - 2 b59 - 4 b60 - 2 b61 - 2 b62 + 2 b63 - 4 b64 - 2 b65 - 2 b66 - 2 b67 - 2 b68 - 4 b69 - 2 b70 - 2 b71 - 4 b72 - 4 b73 + 2 b74 - 4 b75 - 2 b76 - 4 b77 - 2 b78 - 2 b79 + 2 b80 - 4 b81 - 2 b82 - 4 b83 - 2 b84 - 2 b85 - 4 b86 - 2 b87 - 4 b88 - 2 b89 - 2 b90 - 4 b91 - 2 b92 - 4 b93 - 4 b94 - 4 b95 - 2 b96 - 2 b97 - 2 b98 - 2 b99 - 2 b100 + 4 b101 - 4 b102 - 2 b103 - 2 b104 - 4 b105 - 2 b106 + 2 b107 + 2 b108 - 4 b109 - 2 b110 - 4 b111 - 4 b112 - 4 b113 - 4 b114 - 2 b115 - 2 b116 - 2 b117 + 4 b118 + 2 b119 - 2 b120 - 4 b121 - 4 b122 - 4 b123 - 2 b124 - 2 b125 - 2 b126 + 4 b127 + 2 b128 - 4 b129 - 2 b130 - 4 b131 - 4 b132 - 4 b133 + 2 b134 - 4 b135 - 2 b136 - 4 b137 + 2 b138 - 4 b139 - 2 b140 - 2 b141 - 2 b142 - 2 b143 - 2 b144 + 4 b145 + 2 b146 - 4 b147 - 4 b148 - 4 b149 - 2 b150 - 2 b151 - 2 b152 - 4 b153 - 2 b154 - 2 b155 + 4 b156 + 2 b157 - 2 b158 - 4 b159 - 2 b160 - 4 b161 - 2 b162 - 4 b163 + 2 b164 - 2 b165 - 4 b166 - 4 b167 - 2 b168 - 2 b169 - 2 b170 - 2 b171 - 2 b172 - 2 b173 + 4 b174 - 4 b175 - 4 b176 - 4 b177 - 2 b178 - 2 b179 - 2 b180 + 2 b181 - 2 b182 - 2 b183 - 2 b184 + 4 b185 - 4 b186 - 4 b187 - 4 b188 - 4 b189 - 4 b190 - 2 b191 - 4 b192 + 2 b193 + 2 b194 - 2 b195 - 4 b196 - 2 b197 - 2 b198 - 2 b199 - 2 b200 - 4 b201 - 2 b202 - 4 b203 - 2 b204 - 4 b205 - 2 b206 + 2 b207 - 4 b208 - 2 b209 - 2 b210 - 2 b211 + 2 b212 - 2 b213 - 2 b214 - 2 b215 - 2 b216 + 2 b217 + 4 b218 - 2 b219 - 4 b220 - 4 b221 - 4 b222 - 4 b223 - 4 b224 - 4 b225 + 2 b226 + 2 b227 - 2 b228 - 2 b229 - 4 b230 - 2 b231 - 2 b232 - 2 b233 - 2 b234 - 4 b235 - 2 b236 - 2 b237 - 2 b238 + 4 b239 - 4 b240 + 2 b241 + 2 b242 - 2 b243 + 2 b244 + 2 b245 - 4 b246 + 2 b247 - 2 b248 - 2 b249 - 2 b250 - 2 b251 - 2 b252 + 2 b253 + 2 b254 - 2 b255 + 2 b256 - 4 b257 - 2 b258 - 2 b259 - 4 b260 - 2 b261 + 2 b262 - 2 b263 - 2 b264 - 2 b265 - 4 b266 - 4 b267 - 4 b268 - 2 b269 - 2 b270 - 2 b271 - 2 b272 - 2 b273 - 2 b274 - 4 b275 - 2 b276 - 2 b277 - 4 b278 + 2 b279 - 4 b280 + 2 b281 - 2 b282 + 2 b283 - 4 b284 + 2 b285 - 4 b286 + 4 b287 - 4 b288 + 2 b289 - 2 b290 - 2 b291 + 2 b292 - 2 b293 + 2 b294 - 2 b295 + 2 b296 - 4 b297 - 2 b298 - 2 b299 - 2 b300 - 4 b301 - 4 b302 - 4 b303 - 4 b304 - 4 b305 - 2 b306 - 2 b307 - 2 b308 - 4 b309 - 2 b310 - 2 b311 - 2 b312 - 2 b313 - 2 b314 - 4 b315 - 2 b316 + 2 b317 - 2 b318 + 2 b319 - 4 b320 + 2 b321 - 4 b322 + 2 b323 - 2 b324 + 2 b325 - 4 b326 - 2 b327 - 2 b328 - 4 b329 + 2 b330 - 4 b331 + 2 b332 - 2 b333 + 2 b334 - 2 b335 - 2 b336 - 2 b337 + 2 b338 - 4 b339 - 2 b340 - 2 b341 - 2 b342 - 2 b343 - 4 b344 - 4 b345 - 4 b346 - 2 b347 - 4 b348 - 2 b349 - 2 b350 - 2 b351 - 4 b352 + 2 b353 + objvar - 2 b1 b227 + 2 b1 b265 + 2 b1 b360 + 2 b1 b373 - 2 b2 b38 - 2 b2 b314 - 2 b2 b361 + 2 b2 b419 + 2 b3 b362 + 2 b3 b406 - 2 b4 b32 - 2 b4 b274 - 2 b4 b358 + 2 b4 b429 + 2 b5 b65 + 2 b5 b371 - 2 b5 b409 + 2 b5 b410 + 2 b6 b271 + 2 b6 b359 + 2 b7 b66 + 2 b7 b366 - 2 b7 b415 + 2 b7 b416 + 2 b8 b62 + 2 b8 b311 + 2 b9 b100 + 2 b9 b361 - 2 b9 b396 + 2 b9 b397 + 2 b10 b85 + 2 b10 b367 + 2 b10 b379 - 2 b10 b423 + 2 b11 b48 + 2 b11 b362 + 2 b12 b106 - 2 b12 b245 + 2 b12 b371 + 2 b12 b372 + 2 b13 b184 - 2 b13 b247 + 2 b13 b288 + 2 b13 b402 + 2 b14 b124 - 2 b14 b285 + 2 b14 b366 + 2 b14 b380 + 2 b15 b154 - 2 b15 b287 + 2 b15 b331 + 2 b15 b334 + 2 b16 b89 - 2 b16 b338 + 2 b16 b446 + 2 b16 b447 + 2 b17 b25 + 2 b17 b268 + 2 b18 b109 - 2 b18 b456 + 2 b18 b457 + 2 b18 b458 + 2 b19 b243 + 2 b19 b327 + 2 b19 b415 - 2 b19 b453 + 2 b20 b71 + 2 b20 b129 + 2 b20 b158 - 2 b20 b463 + 2 b21 b36 + 2 b21 b465 - 2 b22 b242 + 2 b22 b284 + 2 b22 b285 + 2 b22 b409 + 2 b23 b89 + 2 b23 b159 + 2 b23 b186 - 2 b23 b469 - 2 b24 b71 + 2 b24 b73 + 2 b24 b159 + 2 b24 b470 + 2 b25 b26 - 2 b25 b59 + 2 b25 b113 + 2 b26 b46 + 2 b27 b245 - 2 b27 b283 + 2 b27 b326 + 2 b27 b400 + 2 b28 b109 + 2 b28 b187 + 2 b28 b220 - 2 b28 b476 + 2 b29 b43 + 2 b29 b91 + 2 b29 b187 - 2 b29 b458 + 2 b30 b31 - 2 b30 b45 + 2 b30 b139 + 2 b30 b478 + 2 b31 b60 + 2 b32 b63 - 2 b32 b118 - 2 b32 b316 + 2 b33 b129 + 2 b33 b221 + 2 b33 b257 + 2 b33 b476 + 2 b34 b55 + 2 b34 b111 + 2 b34 b221 - 2 b34 b447 - 2 b35 b36 + 2 b35 b58 + 2 b35 b77 + 2 b35 b493 + 2 b36 b37 + 2 b36 b167 + 2 b37 b77 - 2 b38 b145 - 2 b38 b276 + 2 b38 b387 + 2 b39 b40 + 2 b39 b67 + 2 b39 b153 - 2 b39 b411 + 2 b40 b68 + 2 b40 b444 - 2 b40 b512 + 2 b41 b159 + 2 b41 b258 + 2 b41 b297 + 2 b41 b469 + 2 b42 b73 + 2 b42 b131 + 2 b42 b258 + 2 b42 b447 + 2 b43 b301 + 2 b43 b459 - 2 b43 b477 + 2 b44 b45 - 2 b44 b57 + 2 b44 b495 + 2 b44 b503 + 2 b45 b75 + 2 b45 b95 + 2 b46 b47 + 2 b46 b351 - 2 b46 b495 + 2 b47 b95 + 2 b48 b361 + 2 b48 b460 - 2 b48 b516 + 2 b49 b398 + 2 b49 b419 + 2 b49 b511 - 2 b49 b518 + 2 b50 b52 + 2 b50 b401 + 2 b50 b418 + 2 b50 b506 + 2 b51 b88 - 2 b51 b294 - 2 b51 b296 - 2 b51 b354 + 2 b52 b296 + 2 b52 b354 + 2 b52 b444 + 2 b53 b187 + 2 b53 b299 + 2 b53 b339 + 2 b53 b463 + 2 b54 b91 + 2 b54 b161 + 2 b54 b299 + 2 b54 b458 + 2 b55 b132 + 2 b55 b448 + 2 b55 b471 - 2 b56 b57 + 2 b56 b355 + 2 b56 b360 + 2 b56 b472 + 2 b57 b93 - 2 b57 b520 + 2 b58 b59 + 2 b58 b136 - 2 b58 b508 + 2 b59 b93 + 2 b59 b114 + 2 b60 b61 + 2 b60 b308 + 2 b60 b495 + 2 b61 b114 + 2 b62 b358 + 2 b62 b449 - 2 b62 b521 - 2 b63 b317 - 2 b63 b375 - 2 b63 b504 + 2 b64 b203 + 2 b64 b408 + 2 b64 b429 + 2 b64 b504 + 2 b65 b123 + 2 b65 b489 - 2 b65 b525 + 2 b66 b500 - 2 b66 b524 + 2 b66 b525 + 2 b67 b69 + 2 b67 b154 - 2 b67 b185 + 2 b68 b392 + 2 b68 b412 - 2 b68 b513 + 2 b69 b425 + 2 b69 b502 + 2 b69 b513 + 2 b70 b221 + 2 b70 b341 - 2 b70 b354 + 2 b70 b456 + 2 b71 b72 + 2 b71 b435 + 2 b72 b111 + 2 b72 b190 + 2 b72 b341 + 2 b73 b437 + 2 b73 b477 + 2 b74 b112 - 2 b74 b405 - 2 b74 b493 - 2 b74 b529 + 2 b75 b76 + 2 b75 b165 + 2 b75 b508 + 2 b76 b112 + 2 b76 b140 - 2 b76 b465 + 2 b77 b78 + 2 b77 b266 + 2 b78 b140 + 2 b79 b117 - 2 b79 b143 + 2 b79 b235 + 2 b79 b272 - 2 b80 b386 + 2 b80 b397 - 2 b80 b497 - 2 b80 b498 + 2 b81 b413 + 2 b81 b439 + 2 b81 b498 + 2 b81 b518 + 2 b82 b104 + 2 b82 b147 + 2 b82 b369 - 2 b82 b461 + 2 b83 b85 + 2 b83 b368 + 2 b83 b391 + 2 b83 b501 + 2 b84 b105 - 2 b84 b150 + 2 b84 b399 + 2 b84 b480 + 2 b85 b150 - 2 b85 b532 + 2 b86 b150 + 2 b86 b152 + 2 b86 b247 + 2 b86 b390 + 2 b87 b88 + 2 b87 b126 - 2 b87 b218 + 2 b87 b402 + 2 b88 b492 + 2 b88 b507 + 2 b89 b90 - 2 b89 b471 + 2 b90 b131 + 2 b90 b223 - 2 b90 b342 + 2 b91 b428 + 2 b91 b472 + 2 b92 b132 + 2 b92 b227 + 2 b92 b346 - 2 b92 b494 + 2 b93 b94 + 2 b93 b195 + 2 b94 b137 + 2 b94 b168 + 2 b94 b465 + 2 b95 b96 + 2 b95 b309 + 2 b96 b168 + 2 b97 b98 + 2 b97 b394 + 2 b98 b170 + 2 b98 b200 - 2 b98 b516 - 2 b99 b116 + 2 b99 b275 + 2 b99 b312 + 2 b99 b509 + 2 b100 b102 - 2 b100 b144 + 2 b100 b450 - 2 b101 b397 - 2 b101 b398 - 2 b101 b486 - 2 b101 b487 + 2 b102 b420 + 2 b102 b487 + 2 b102 b510 + 2 b103 b175 + 2 b103 b364 - 2 b103 b466 + 2 b103 b467 - 2 b104 b242 + 2 b104 b363 + 2 b104 b414 + 2 b105 b106 + 2 b105 b376 + 2 b105 b490 + 2 b106 b179 - 2 b106 b536 - 2 b107 b108 - 2 b107 b381 + 2 b107 b393 - 2 b107 b502 + 2 b108 b446 - 2 b108 b463 - 2 b108 b538 + 2 b109 b110 + 2 b109 b301 + 2 b110 b161 + 2 b110 b260 - 2 b110 b300 + 2 b111 b162 + 2 b111 b464 + 2 b112 b113 + 2 b112 b228 + 2 b113 b166 + 2 b113 b197 + 2 b114 b115 + 2 b114 b352 + 2 b115 b197 + 2 b116 b198 + 2 b116 b233 + 2 b116 b530 + 2 b117 b203 - 2 b117 b317 + 2 b117 b485 - 2 b118 b119 - 2 b118 b204 - 2 b118 b408 + 2 b119 b120 - 2 b119 b461 - 2 b119 b540 - 2 b120 b375 + 2 b120 b451 + 2 b120 b535 + 2 b121 b122 + 2 b121 b208 + 2 b121 b466 + 2 b121 b474 + 2 b122 b368 + 2 b122 b453 + 2 b122 b535 + 2 b123 b124 + 2 b123 b388 + 2 b123 b481 + 2 b124 b210 - 2 b124 b244 + 2 b125 b181 + 2 b125 b210 - 2 b125 b330 + 2 b125 b525 + 2 b126 b183 - 2 b126 b292 + 2 b126 b434 - 2 b127 b128 - 2 b127 b392 - 2 b127 b393 - 2 b127 b492 + 2 b128 b457 - 2 b128 b469 - 2 b128 b542 + 2 b129 b130 + 2 b129 b471 + 2 b130 b190 - 2 b130 b259 + 2 b130 b303 + 2 b131 b133 + 2 b131 b459 + 2 b132 b135 + 2 b132 b304 + 2 b133 b135 + 2 b133 b262 + 2 b133 b303 - 2 b134 b136 + 2 b134 b261 - 2 b134 b357 - 2 b134 b472 + 2 b135 b136 + 2 b135 b357 + 2 b136 b196 + 2 b137 b139 + 2 b137 b263 + 2 b137 b494 - 2 b138 b168 + 2 b138 b230 - 2 b138 b350 - 2 b138 b356 + 2 b139 b196 + 2 b139 b230 + 2 b140 b141 - 2 b140 b373 + 2 b141 b230 + 2 b142 b143 + 2 b142 b522 + 2 b143 b231 + 2 b143 b273 + 2 b144 b273 + 2 b144 b497 + 2 b144 b521 - 2 b145 b146 - 2 b145 b237 - 2 b145 b413 + 2 b146 b147 - 2 b146 b466 - 2 b146 b543 + 2 b147 b386 + 2 b147 b531 + 2 b148 b149 + 2 b148 b240 + 2 b148 b461 + 2 b148 b479 + 2 b149 b376 + 2 b149 b443 + 2 b149 b531 + 2 b150 b151 + 2 b151 b433 - 2 b151 b482 + 2 b151 b544 + 2 b152 b153 - 2 b152 b211 + 2 b152 b249 + 2 b153 b155 + 2 b153 b433 + 2 b154 b214 - 2 b154 b253 + 2 b155 b253 + 2 b155 b333 - 2 b155 b506 - 2 b156 b157 - 2 b156 b401 - 2 b156 b403 - 2 b156 b483 + 2 b157 b158 - 2 b157 b476 - 2 b157 b545 - 2 b158 b393 + 2 b158 b546 + 2 b159 b160 + 2 b160 b223 + 2 b160 b345 - 2 b160 b547 + 2 b161 b163 + 2 b161 b448 + 2 b162 b260 + 2 b162 b427 - 2 b162 b539 + 2 b163 b226 + 2 b163 b345 + 2 b163 b539 - 2 b164 b165 + 2 b164 b225 - 2 b164 b383 - 2 b164 b464 + 2 b165 b229 + 2 b165 b539 + 2 b166 b167 + 2 b166 b306 + 2 b166 b503 + 2 b167 b229 + 2 b167 b267 + 2 b168 b169 + 2 b169 b267 + 2 b170 b171 + 2 b171 b270 + 2 b171 b313 - 2 b171 b496 + 2 b172 b173 + 2 b172 b235 - 2 b172 b359 + 2 b172 b522 + 2 b173 b313 - 2 b173 b439 + 2 b173 b486 - 2 b174 b277 - 2 b174 b419 - 2 b174 b420 - 2 b174 b473 + 2 b175 b398 + 2 b175 b473 + 2 b175 b523 + 2 b176 b177 + 2 b176 b280 + 2 b176 b452 + 2 b176 b488 + 2 b177 b178 + 2 b177 b388 + 2 b177 b523 - 2 b178 b432 + 2 b178 b479 + 2 b178 b549 + 2 b179 b180 - 2 b179 b391 + 2 b179 b526 + 2 b180 b182 - 2 b180 b491 + 2 b180 b550 - 2 b181 b366 - 2 b181 b417 - 2 b181 b541 - 2 b182 b379 + 2 b182 b424 + 2 b182 b541 + 2 b183 b378 + 2 b183 b482 - 2 b183 b512 - 2 b184 b217 + 2 b184 b249 + 2 b184 b401 - 2 b185 b292 - 2 b185 b412 - 2 b185 b484 + 2 b186 b298 + 2 b186 b393 + 2 b186 b484 + 2 b187 b189 + 2 b188 b189 + 2 b188 b298 + 2 b188 b301 + 2 b188 b426 + 2 b189 b191 + 2 b189 b260 + 2 b190 b192 + 2 b190 b437 + 2 b191 b192 + 2 b191 b302 - 2 b191 b355 + 2 b192 b193 + 2 b192 b534 - 2 b193 b195 - 2 b193 b227 - 2 b193 b459 - 2 b194 b226 - 2 b194 b264 - 2 b194 b356 + 2 b194 b405 + 2 b195 b264 + 2 b195 b534 + 2 b196 b348 + 2 b196 b351 - 2 b197 b265 + 2 b197 b553 + 2 b198 b199 + 2 b199 b310 + 2 b199 b396 - 2 b199 b485 + 2 b200 b202 + 2 b200 b275 - 2 b200 b362 + 2 b201 b203 + 2 b201 b204 + 2 b201 b496 + 2 b201 b521 + 2 b202 b204 + 2 b202 b396 - 2 b202 b429 + 2 b203 b205 + 2 b204 b205 + 2 b205 b206 + 2 b205 b375 + 2 b206 b208 - 2 b206 b319 + 2 b206 b461 - 2 b207 b323 - 2 b207 b413 - 2 b207 b414 + 2 b207 b511 + 2 b208 b323 + 2 b208 b408 + 2 b209 b244 + 2 b209 b442 + 2 b209 b488 - 2 b209 b555 + 2 b210 b211 - 2 b210 b400 + 2 b211 b213 + 2 b211 b556 - 2 b212 b367 - 2 b212 b411 + 2 b212 b526 - 2 b212 b537 - 2 b213 b416 + 2 b213 b417 + 2 b213 b537 - 2 b214 b216 + 2 b214 b370 + 2 b214 b491 + 2 b215 b289 + 2 b215 b392 + 2 b215 b411 - 2 b215 b455 + 2 b216 b455 + 2 b216 b506 + 2 b216 b537 - 2 b217 b254 + 2 b217 b512 - 2 b217 b552 - 2 b218 b219 - 2 b218 b253 - 2 b218 b418 + 2 b219 b220 + 2 b219 b469 + 2 b219 b552 + 2 b220 b340 + 2 b220 b403 + 2 b221 b222 + 2 b222 b224 + 2 b222 b303 + 2 b222 b547 + 2 b223 b225 + 2 b223 b428 + 2 b224 b225 + 2 b224 b344 + 2 b224 b355 + 2 b225 b529 - 2 b226 b228 - 2 b226 b448 - 2 b227 b307 + 2 b228 b307 + 2 b228 b529 + 2 b229 b308 - 2 b229 b360 + 2 b230 b558 + 2 b231 b232 + 2 b232 b234 - 2 b232 b460 + 2 b232 b496 + 2 b233 b236 - 2 b233 b311 + 2 b233 b315 + 2 b234 b236 - 2 b234 b385 + 2 b234 b406 + 2 b235 b237 + 2 b235 b518 + 2 b236 b237 - 2 b236 b419 + 2 b237 b548 + 2 b238 b240 - 2 b238 b450 + 2 b238 b452 + 2 b238 b548 - 2 b239 b281 - 2 b239 b420 - 2 b239 b421 - 2 b239 b511 + 2 b240 b281 + 2 b240 b413 + 2 b241 b243 - 2 b241 b414 - 2 b241 b499 - 2 b241 b501 + 2 b242 b364 - 2 b242 b536 + 2 b243 b536 - 2 b243 b559 - 2 b244 b453 - 2 b244 b557 - 2 b245 b432 - 2 b245 b468 + 2 b246 b248 + 2 b246 b468 + 2 b246 b491 + 2 b246 b544 - 2 b247 b250 - 2 b247 b372 + 2 b248 b250 - 2 b248 b410 + 2 b248 b411 - 2 b249 b252 + 2 b249 b365 + 2 b250 b252 + 2 b250 b533 + 2 b251 b332 + 2 b251 b381 + 2 b251 b417 - 2 b251 b445 + 2 b252 b445 + 2 b252 b502 - 2 b253 b545 - 2 b254 b255 + 2 b254 b336 - 2 b254 b425 + 2 b255 b257 + 2 b255 b463 + 2 b255 b545 - 2 b256 b425 - 2 b256 b426 + 2 b256 b513 - 2 b256 b528 + 2 b257 b412 + 2 b257 b528 + 2 b258 b343 - 2 b258 b514 + 2 b259 b343 + 2 b259 b528 + 2 b259 b546 + 2 b260 b261 + 2 b261 b520 - 2 b261 b560 - 2 b262 b263 - 2 b262 b360 - 2 b262 b437 + 2 b263 b349 + 2 b263 b520 + 2 b264 b266 + 2 b264 b351 + 2 b265 b268 + 2 b265 b356 + 2 b266 b268 + 2 b266 b349 + 2 b267 b269 + 2 b267 b373 + 2 b268 b269 + 2 b270 b272 - 2 b271 b273 + 2 b271 b274 + 2 b271 b407 + 2 b272 b274 - 2 b272 b449 + 2 b273 b276 + 2 b274 b276 + 2 b275 b277 + 2 b275 b510 + 2 b276 b277 + 2 b277 b543 + 2 b278 b280 + 2 b278 b321 + 2 b278 b450 + 2 b278 b543 + 2 b279 b320 - 2 b279 b430 - 2 b279 b504 - 2 b279 b505 + 2 b280 b420 + 2 b280 b505 - 2 b281 b324 - 2 b281 b559 + 2 b282 b284 + 2 b282 b421 + 2 b282 b501 - 2 b282 b505 + 2 b283 b369 - 2 b283 b467 - 2 b283 b532 + 2 b284 b532 + 2 b284 b559 - 2 b285 b442 - 2 b285 b462 + 2 b286 b288 + 2 b286 b462 + 2 b286 b482 + 2 b286 b550 - 2 b287 b290 - 2 b287 b380 - 2 b287 b526 + 2 b288 b290 + 2 b288 b410 - 2 b289 b291 - 2 b289 b365 - 2 b289 b491 + 2 b290 b291 + 2 b290 b527 + 2 b291 b293 + 2 b291 b492 + 2 b292 b527 - 2 b292 b542 + 2 b293 b294 - 2 b293 b382 + 2 b293 b542 - 2 b294 b295 - 2 b294 b455 + 2 b295 b297 + 2 b295 b456 + 2 b295 b542 - 2 b296 b435 - 2 b296 b519 + 2 b297 b418 + 2 b297 b519 + 2 b298 b300 - 2 b298 b446 + 2 b299 b302 - 2 b299 b519 + 2 b300 b302 + 2 b300 b519 + 2 b301 b304 + 2 b302 b304 + 2 b303 b305 + 2 b304 b305 + 2 b305 b384 + 2 b305 b515 + 2 b306 b374 - 2 b306 b427 + 2 b306 b515 + 2 b307 b308 + 2 b307 b309 - 2 b308 b353 + 2 b309 b353 + 2 b309 b374 + 2 b310 b312 + 2 b311 b314 + 2 b311 b395 + 2 b312 b314 - 2 b312 b438 + 2 b313 b316 - 2 b313 b406 + 2 b314 b316 + 2 b315 b317 + 2 b315 b318 + 2 b315 b516 + 2 b316 b318 - 2 b317 b540 - 2 b318 b319 + 2 b318 b540 + 2 b319 b320 - 2 b319 b429 + 2 b320 b322 + 2 b320 b540 - 2 b321 b440 - 2 b321 b498 - 2 b321 b499 + 2 b322 b375 + 2 b322 b414 + 2 b322 b499 - 2 b323 b389 - 2 b323 b555 + 2 b324 b326 + 2 b324 b430 + 2 b324 b490 + 2 b325 b377 - 2 b325 b474 - 2 b325 b475 - 2 b325 b524 + 2 b326 b524 + 2 b326 b555 + 2 b327 b390 + 2 b327 b432 - 2 b327 b454 + 2 b328 b454 + 2 b328 b524 - 2 b328 b544 + 2 b328 b549 + 2 b329 b330 + 2 b329 b331 + 2 b329 b454 + 2 b329 b556 - 2 b330 b333 - 2 b330 b434 + 2 b331 b333 + 2 b331 b416 - 2 b332 b335 - 2 b332 b370 - 2 b332 b482 + 2 b333 b335 - 2 b334 b336 - 2 b334 b392 - 2 b334 b424 + 2 b335 b336 + 2 b335 b483 + 2 b336 b538 + 2 b337 b338 + 2 b337 b339 - 2 b337 b444 + 2 b337 b538 - 2 b338 b513 - 2 b338 b514 + 2 b339 b425 + 2 b339 b514 + 2 b340 b342 - 2 b340 b436 + 2 b340 b547 + 2 b341 b344 - 2 b341 b528 + 2 b342 b344 + 2 b342 b514 + 2 b343 b345 - 2 b343 b560 + 2 b344 b560 + 2 b345 b346 + 2 b346 b347 + 2 b346 b560 + 2 b347 b348 - 2 b347 b464 + 2 b347 b508 + 2 b348 b350 + 2 b348 b427 + 2 b349 b352 - 2 b349 b383 + 2 b350 b352 + 2 b350 b383 - 2 b351 b554 + 2 b352 b554 - 2 b353 b558 - 2 b353 b561 + 2 b354 b426 - 2 b355 b405 + 2 b356 b357 - 2 b357 b374 - 2 b358 b359 + 2 b358 b385 + 2 b359 b438 - 2 b361 b362 - 2 b363 b364 + 2 b363 b432 - 2 b363 b500 - 2 b364 b535 - 2 b365 b366 + 2 b365 b367 - 2 b367 b454 - 2 b368 b369 - 2 b368 b489 - 2 b369 b531 - 2 b370 b371 + 2 b370 b372 - 2 b371 b433 - 2 b372 b462 - 2 b373 b374 - 2 b376 b377 - 2 b376 b480 + 2 b377 b451 - 2 b377 b523 - 2 b378 b379 + 2 b378 b380 - 2 b378 b434 + 2 b379 b399 - 2 b380 b468 - 2 b381 b382 + 2 b381 b404 + 2 b382 b424 + 2 b382 b434 + 2 b383 b384 - 2 b384 b477 - 2 b384 b503 - 2 b385 b397 + 2 b385 b439 + 2 b386 b387 - 2 b386 b441 - 2 b387 b510 - 2 b387 b511 - 2 b388 b389 - 2 b388 b475 + 2 b389 b440 + 2 b389 b481 - 2 b390 b391 - 2 b390 b416 + 2 b391 b475 - 2 b394 b395 - 2 b394 b396 + 2 b394 b485 - 2 b398 b431 - 2 b399 b400 - 2 b399 b410 + 2 b400 b500 - 2 b401 b402 - 2 b402 b417 + 2 b403 b404 - 2 b403 b457 - 2 b404 b506 - 2 b404 b507 + 2 b405 b477 - 2 b406 b407 - 2 b408 b422 + 2 b409 b489 - 2 b409 b544 - 2 b412 b446 + 2 b415 b480 - 2 b415 b550 - 2 b418 b436 + 2 b421 b422 - 2 b421 b488 + 2 b422 b504 - 2 b422 b523 + 2 b423 b442 + 2 b423 b475 - 2 b423 b556 - 2 b424 b433 - 2 b426 b458 - 2 b427 b428 - 2 b428 b534 + 2 b430 b431 - 2 b430 b479 + 2 b431 b498 - 2 b431 b531 + 2 b435 b436 - 2 b435 b447 + 2 b436 b507 - 2 b437 b529 - 2 b439 b450 + 2 b440 b441 - 2 b440 b474 + 2 b441 b487 - 2 b441 b535 - 2 b442 b443 + 2 b443 b474 - 2 b443 b549 - 2 b444 b445 + 2 b445 b545 - 2 b448 b520 - 2 b451 b452 - 2 b451 b467 - 2 b452 b487 + 2 b453 b467 + 2 b455 b552 - 2 b456 b507 - 2 b457 b546 - 2 b459 b515 + 2 b462 b551 + 2 b464 b470 - 2 b465 b478 + 2 b466 b473 + 2 b468 b557 - 2 b470 b471 - 2 b470 b472 - 2 b473 b548 + 2 b476 b484 - 2 b479 b481 - 2 b480 b481 + 2 b483 b533 - 2 b483 b538 - 2 b484 b552 - 2 b485 b517 + 2 b486 b517 - 2 b486 b548 - 2 b488 b490 - 2 b489 b490 - 2 b492 b533 + 2 b493 b494 - 2 b493 b495 - 2 b494 b534 - 2 b496 b509 + 2 b497 b509 - 2 b497 b543 + 2 b499 b555 - 2 b500 b501 - 2 b502 b527 - 2 b503 b539 + 2 b505 b559 - 2 b508 b515 - 2 b509 b510 + 2 b512 b541 + 2 b516 b517 - 2 b517 b518 - 2 b521 b522 - 2 b522 b530 - 2 b525 b526 - 2 b527 b541 + 2 b532 b551 - 2 b533 b537 + 2 b536 b557 - 2 b546 b547 - 2 b549 b551 - 2 b550 b551 - 2 b553 b554 + 2 b554 b561 - 2 b556 b557 <= 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 End