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