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