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