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