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