#  MINLP written by GAMS Convert at 11/15/19 09:53:29
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#          1        1        0        0        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        965        1      964        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#        965        1      964        0
# 
#  Reformulation has removed 1 variable and 1 equation


var b1 binary >= 0, <= 1;
var b2 binary >= 0, <= 1;
var b3 binary >= 0, <= 1;
var b4 binary >= 0, <= 1;
var b5 binary >= 0, <= 1;
var b6 binary >= 0, <= 1;
var b7 binary >= 0, <= 1;
var b8 binary >= 0, <= 1;
var b9 binary >= 0, <= 1;
var b10 binary >= 0, <= 1;
var b11 binary >= 0, <= 1;
var b12 binary >= 0, <= 1;
var b13 binary >= 0, <= 1;
var b14 binary >= 0, <= 1;
var b15 binary >= 0, <= 1;
var b16 binary >= 0, <= 1;
var b17 binary >= 0, <= 1;
var b18 binary >= 0, <= 1;
var b19 binary >= 0, <= 1;
var b20 binary >= 0, <= 1;
var b21 binary >= 0, <= 1;
var b22 binary >= 0, <= 1;
var b23 binary >= 0, <= 1;
var b24 binary >= 0, <= 1;
var b25 binary >= 0, <= 1;
var b26 binary >= 0, <= 1;
var b27 binary >= 0, <= 1;
var b28 binary >= 0, <= 1;
var b29 binary >= 0, <= 1;
var b30 binary >= 0, <= 1;
var b31 binary >= 0, <= 1;
var b32 binary >= 0, <= 1;
var b33 binary >= 0, <= 1;
var b34 binary >= 0, <= 1;
var b35 binary >= 0, <= 1;
var b36 binary >= 0, <= 1;
var b37 binary >= 0, <= 1;
var b38 binary >= 0, <= 1;
var b39 binary >= 0, <= 1;
var b40 binary >= 0, <= 1;
var b41 binary >= 0, <= 1;
var b42 binary >= 0, <= 1;
var b43 binary >= 0, <= 1;
var b44 binary >= 0, <= 1;
var b45 binary >= 0, <= 1;
var b46 binary >= 0, <= 1;
var b47 binary >= 0, <= 1;
var b48 binary >= 0, <= 1;
var b49 binary >= 0, <= 1;
var b50 binary >= 0, <= 1;
var b51 binary >= 0, <= 1;
var b52 binary >= 0, <= 1;
var b53 binary >= 0, <= 1;
var b54 binary >= 0, <= 1;
var b55 binary >= 0, <= 1;
var b56 binary >= 0, <= 1;
var b57 binary >= 0, <= 1;
var b58 binary >= 0, <= 1;
var b59 binary >= 0, <= 1;
var b60 binary >= 0, <= 1;
var b61 binary >= 0, <= 1;
var b62 binary >= 0, <= 1;
var b63 binary >= 0, <= 1;
var b64 binary >= 0, <= 1;
var b65 binary >= 0, <= 1;
var b66 binary >= 0, <= 1;
var b67 binary >= 0, <= 1;
var b68 binary >= 0, <= 1;
var b69 binary >= 0, <= 1;
var b70 binary >= 0, <= 1;
var b71 binary >= 0, <= 1;
var b72 binary >= 0, <= 1;
var b73 binary >= 0, <= 1;
var b74 binary >= 0, <= 1;
var b75 binary >= 0, <= 1;
var b76 binary >= 0, <= 1;
var b77 binary >= 0, <= 1;
var b78 binary >= 0, <= 1;
var b79 binary >= 0, <= 1;
var b80 binary >= 0, <= 1;
var b81 binary >= 0, <= 1;
var b82 binary >= 0, <= 1;
var b83 binary >= 0, <= 1;
var b84 binary >= 0, <= 1;
var b85 binary >= 0, <= 1;
var b86 binary >= 0, <= 1;
var b87 binary >= 0, <= 1;
var b88 binary >= 0, <= 1;
var b89 binary >= 0, <= 1;
var b90 binary >= 0, <= 1;
var b91 binary >= 0, <= 1;
var b92 binary >= 0, <= 1;
var b93 binary >= 0, <= 1;
var b94 binary >= 0, <= 1;
var b95 binary >= 0, <= 1;
var b96 binary >= 0, <= 1;
var b97 binary >= 0, <= 1;
var b98 binary >= 0, <= 1;
var b99 binary >= 0, <= 1;
var b100 binary >= 0, <= 1;
var b101 binary >= 0, <= 1;
var b102 binary >= 0, <= 1;
var b103 binary >= 0, <= 1;
var b104 binary >= 0, <= 1;
var b105 binary >= 0, <= 1;
var b106 binary >= 0, <= 1;
var b107 binary >= 0, <= 1;
var b108 binary >= 0, <= 1;
var b109 binary >= 0, <= 1;
var b110 binary >= 0, <= 1;
var b111 binary >= 0, <= 1;
var b112 binary >= 0, <= 1;
var b113 binary >= 0, <= 1;
var b114 binary >= 0, <= 1;
var b115 binary >= 0, <= 1;
var b116 binary >= 0, <= 1;
var b117 binary >= 0, <= 1;
var b118 binary >= 0, <= 1;
var b119 binary >= 0, <= 1;
var b120 binary >= 0, <= 1;
var b121 binary >= 0, <= 1;
var b122 binary >= 0, <= 1;
var b123 binary >= 0, <= 1;
var b124 binary >= 0, <= 1;
var b125 binary >= 0, <= 1;
var b126 binary >= 0, <= 1;
var b127 binary >= 0, <= 1;
var b128 binary >= 0, <= 1;
var b129 binary >= 0, <= 1;
var b130 binary >= 0, <= 1;
var b131 binary >= 0, <= 1;
var b132 binary >= 0, <= 1;
var b133 binary >= 0, <= 1;
var b134 binary >= 0, <= 1;
var b135 binary >= 0, <= 1;
var b136 binary >= 0, <= 1;
var b137 binary >= 0, <= 1;
var b138 binary >= 0, <= 1;
var b139 binary >= 0, <= 1;
var b140 binary >= 0, <= 1;
var b141 binary >= 0, <= 1;
var b142 binary >= 0, <= 1;
var b143 binary >= 0, <= 1;
var b144 binary >= 0, <= 1;
var b145 binary >= 0, <= 1;
var b146 binary >= 0, <= 1;
var b147 binary >= 0, <= 1;
var b148 binary >= 0, <= 1;
var b149 binary >= 0, <= 1;
var b150 binary >= 0, <= 1;
var b151 binary >= 0, <= 1;
var b152 binary >= 0, <= 1;
var b153 binary >= 0, <= 1;
var b154 binary >= 0, <= 1;
var b155 binary >= 0, <= 1;
var b156 binary >= 0, <= 1;
var b157 binary >= 0, <= 1;
var b158 binary >= 0, <= 1;
var b159 binary >= 0, <= 1;
var b160 binary >= 0, <= 1;
var b161 binary >= 0, <= 1;
var b162 binary >= 0, <= 1;
var b163 binary >= 0, <= 1;
var b164 binary >= 0, <= 1;
var b165 binary >= 0, <= 1;
var b166 binary >= 0, <= 1;
var b167 binary >= 0, <= 1;
var b168 binary >= 0, <= 1;
var b169 binary >= 0, <= 1;
var b170 binary >= 0, <= 1;
var b171 binary >= 0, <= 1;
var b172 binary >= 0, <= 1;
var b173 binary >= 0, <= 1;
var b174 binary >= 0, <= 1;
var b175 binary >= 0, <= 1;
var b176 binary >= 0, <= 1;
var b177 binary >= 0, <= 1;
var b178 binary >= 0, <= 1;
var b179 binary >= 0, <= 1;
var b180 binary >= 0, <= 1;
var b181 binary >= 0, <= 1;
var b182 binary >= 0, <= 1;
var b183 binary >= 0, <= 1;
var b184 binary >= 0, <= 1;
var b185 binary >= 0, <= 1;
var b186 binary >= 0, <= 1;
var b187 binary >= 0, <= 1;
var b188 binary >= 0, <= 1;
var b189 binary >= 0, <= 1;
var b190 binary >= 0, <= 1;
var b191 binary >= 0, <= 1;
var b192 binary >= 0, <= 1;
var b193 binary >= 0, <= 1;
var b194 binary >= 0, <= 1;
var b195 binary >= 0, <= 1;
var b196 binary >= 0, <= 1;
var b197 binary >= 0, <= 1;
var b198 binary >= 0, <= 1;
var b199 binary >= 0, <= 1;
var b200 binary >= 0, <= 1;
var b201 binary >= 0, <= 1;
var b202 binary >= 0, <= 1;
var b203 binary >= 0, <= 1;
var b204 binary >= 0, <= 1;
var b205 binary >= 0, <= 1;
var b206 binary >= 0, <= 1;
var b207 binary >= 0, <= 1;
var b208 binary >= 0, <= 1;
var b209 binary >= 0, <= 1;
var b210 binary >= 0, <= 1;
var b211 binary >= 0, <= 1;
var b212 binary >= 0, <= 1;
var b213 binary >= 0, <= 1;
var b214 binary >= 0, <= 1;
var b215 binary >= 0, <= 1;
var b216 binary >= 0, <= 1;
var b217 binary >= 0, <= 1;
var b218 binary >= 0, <= 1;
var b219 binary >= 0, <= 1;
var b220 binary >= 0, <= 1;
var b221 binary >= 0, <= 1;
var b222 binary >= 0, <= 1;
var b223 binary >= 0, <= 1;
var b224 binary >= 0, <= 1;
var b225 binary >= 0, <= 1;
var b226 binary >= 0, <= 1;
var b227 binary >= 0, <= 1;
var b228 binary >= 0, <= 1;
var b229 binary >= 0, <= 1;
var b230 binary >= 0, <= 1;
var b231 binary >= 0, <= 1;
var b232 binary >= 0, <= 1;
var b233 binary >= 0, <= 1;
var b234 binary >= 0, <= 1;
var b235 binary >= 0, <= 1;
var b236 binary >= 0, <= 1;
var b237 binary >= 0, <= 1;
var b238 binary >= 0, <= 1;
var b239 binary >= 0, <= 1;
var b240 binary >= 0, <= 1;
var b241 binary >= 0, <= 1;
var b242 binary >= 0, <= 1;
var b243 binary >= 0, <= 1;
var b244 binary >= 0, <= 1;
var b245 binary >= 0, <= 1;
var b246 binary >= 0, <= 1;
var b247 binary >= 0, <= 1;
var b248 binary >= 0, <= 1;
var b249 binary >= 0, <= 1;
var b250 binary >= 0, <= 1;
var b251 binary >= 0, <= 1;
var b252 binary >= 0, <= 1;
var b253 binary >= 0, <= 1;
var b254 binary >= 0, <= 1;
var b255 binary >= 0, <= 1;
var b256 binary >= 0, <= 1;
var b257 binary >= 0, <= 1;
var b258 binary >= 0, <= 1;
var b259 binary >= 0, <= 1;
var b260 binary >= 0, <= 1;
var b261 binary >= 0, <= 1;
var b262 binary >= 0, <= 1;
var b263 binary >= 0, <= 1;
var b264 binary >= 0, <= 1;
var b265 binary >= 0, <= 1;
var b266 binary >= 0, <= 1;
var b267 binary >= 0, <= 1;
var b268 binary >= 0, <= 1;
var b269 binary >= 0, <= 1;
var b270 binary >= 0, <= 1;
var b271 binary >= 0, <= 1;
var b272 binary >= 0, <= 1;
var b273 binary >= 0, <= 1;
var b274 binary >= 0, <= 1;
var b275 binary >= 0, <= 1;
var b276 binary >= 0, <= 1;
var b277 binary >= 0, <= 1;
var b278 binary >= 0, <= 1;
var b279 binary >= 0, <= 1;
var b280 binary >= 0, <= 1;
var b281 binary >= 0, <= 1;
var b282 binary >= 0, <= 1;
var b283 binary >= 0, <= 1;
var b284 binary >= 0, <= 1;
var b285 binary >= 0, <= 1;
var b286 binary >= 0, <= 1;
var b287 binary >= 0, <= 1;
var b288 binary >= 0, <= 1;
var b289 binary >= 0, <= 1;
var b290 binary >= 0, <= 1;
var b291 binary >= 0, <= 1;
var b292 binary >= 0, <= 1;
var b293 binary >= 0, <= 1;
var b294 binary >= 0, <= 1;
var b295 binary >= 0, <= 1;
var b296 binary >= 0, <= 1;
var b297 binary >= 0, <= 1;
var b298 binary >= 0, <= 1;
var b299 binary >= 0, <= 1;
var b300 binary >= 0, <= 1;
var b301 binary >= 0, <= 1;
var b302 binary >= 0, <= 1;
var b303 binary >= 0, <= 1;
var b304 binary >= 0, <= 1;
var b305 binary >= 0, <= 1;
var b306 binary >= 0, <= 1;
var b307 binary >= 0, <= 1;
var b308 binary >= 0, <= 1;
var b309 binary >= 0, <= 1;
var b310 binary >= 0, <= 1;
var b311 binary >= 0, <= 1;
var b312 binary >= 0, <= 1;
var b313 binary >= 0, <= 1;
var b314 binary >= 0, <= 1;
var b315 binary >= 0, <= 1;
var b316 binary >= 0, <= 1;
var b317 binary >= 0, <= 1;
var b318 binary >= 0, <= 1;
var b319 binary >= 0, <= 1;
var b320 binary >= 0, <= 1;
var b321 binary >= 0, <= 1;
var b322 binary >= 0, <= 1;
var b323 binary >= 0, <= 1;
var b324 binary >= 0, <= 1;
var b325 binary >= 0, <= 1;
var b326 binary >= 0, <= 1;
var b327 binary >= 0, <= 1;
var b328 binary >= 0, <= 1;
var b329 binary >= 0, <= 1;
var b330 binary >= 0, <= 1;
var b331 binary >= 0, <= 1;
var b332 binary >= 0, <= 1;
var b333 binary >= 0, <= 1;
var b334 binary >= 0, <= 1;
var b335 binary >= 0, <= 1;
var b336 binary >= 0, <= 1;
var b337 binary >= 0, <= 1;
var b338 binary >= 0, <= 1;
var b339 binary >= 0, <= 1;
var b340 binary >= 0, <= 1;
var b341 binary >= 0, <= 1;
var b342 binary >= 0, <= 1;
var b343 binary >= 0, <= 1;
var b344 binary >= 0, <= 1;
var b345 binary >= 0, <= 1;
var b346 binary >= 0, <= 1;
var b347 binary >= 0, <= 1;
var b348 binary >= 0, <= 1;
var b349 binary >= 0, <= 1;
var b350 binary >= 0, <= 1;
var b351 binary >= 0, <= 1;
var b352 binary >= 0, <= 1;
var b353 binary >= 0, <= 1;
var b354 binary >= 0, <= 1;
var b355 binary >= 0, <= 1;
var b356 binary >= 0, <= 1;
var b357 binary >= 0, <= 1;
var b358 binary >= 0, <= 1;
var b359 binary >= 0, <= 1;
var b360 binary >= 0, <= 1;
var b361 binary >= 0, <= 1;
var b362 binary >= 0, <= 1;
var b363 binary >= 0, <= 1;
var b364 binary >= 0, <= 1;
var b365 binary >= 0, <= 1;
var b366 binary >= 0, <= 1;
var b367 binary >= 0, <= 1;
var b368 binary >= 0, <= 1;
var b369 binary >= 0, <= 1;
var b370 binary >= 0, <= 1;
var b371 binary >= 0, <= 1;
var b372 binary >= 0, <= 1;
var b373 binary >= 0, <= 1;
var b374 binary >= 0, <= 1;
var b375 binary >= 0, <= 1;
var b376 binary >= 0, <= 1;
var b377 binary >= 0, <= 1;
var b378 binary >= 0, <= 1;
var b379 binary >= 0, <= 1;
var b380 binary >= 0, <= 1;
var b381 binary >= 0, <= 1;
var b382 binary >= 0, <= 1;
var b383 binary >= 0, <= 1;
var b384 binary >= 0, <= 1;
var b385 binary >= 0, <= 1;
var b386 binary >= 0, <= 1;
var b387 binary >= 0, <= 1;
var b388 binary >= 0, <= 1;
var b389 binary >= 0, <= 1;
var b390 binary >= 0, <= 1;
var b391 binary >= 0, <= 1;
var b392 binary >= 0, <= 1;
var b393 binary >= 0, <= 1;
var b394 binary >= 0, <= 1;
var b395 binary >= 0, <= 1;
var b396 binary >= 0, <= 1;
var b397 binary >= 0, <= 1;
var b398 binary >= 0, <= 1;
var b399 binary >= 0, <= 1;
var b400 binary >= 0, <= 1;
var b401 binary >= 0, <= 1;
var b402 binary >= 0, <= 1;
var b403 binary >= 0, <= 1;
var b404 binary >= 0, <= 1;
var b405 binary >= 0, <= 1;
var b406 binary >= 0, <= 1;
var b407 binary >= 0, <= 1;
var b408 binary >= 0, <= 1;
var b409 binary >= 0, <= 1;
var b410 binary >= 0, <= 1;
var b411 binary >= 0, <= 1;
var b412 binary >= 0, <= 1;
var b413 binary >= 0, <= 1;
var b414 binary >= 0, <= 1;
var b415 binary >= 0, <= 1;
var b416 binary >= 0, <= 1;
var b417 binary >= 0, <= 1;
var b418 binary >= 0, <= 1;
var b419 binary >= 0, <= 1;
var b420 binary >= 0, <= 1;
var b421 binary >= 0, <= 1;
var b422 binary >= 0, <= 1;
var b423 binary >= 0, <= 1;
var b424 binary >= 0, <= 1;
var b425 binary >= 0, <= 1;
var b426 binary >= 0, <= 1;
var b427 binary >= 0, <= 1;
var b428 binary >= 0, <= 1;
var b429 binary >= 0, <= 1;
var b430 binary >= 0, <= 1;
var b431 binary >= 0, <= 1;
var b432 binary >= 0, <= 1;
var b433 binary >= 0, <= 1;
var b434 binary >= 0, <= 1;
var b435 binary >= 0, <= 1;
var b436 binary >= 0, <= 1;
var b437 binary >= 0, <= 1;
var b438 binary >= 0, <= 1;
var b439 binary >= 0, <= 1;
var b440 binary >= 0, <= 1;
var b441 binary >= 0, <= 1;
var b442 binary >= 0, <= 1;
var b443 binary >= 0, <= 1;
var b444 binary >= 0, <= 1;
var b445 binary >= 0, <= 1;
var b446 binary >= 0, <= 1;
var b447 binary >= 0, <= 1;
var b448 binary >= 0, <= 1;
var b449 binary >= 0, <= 1;
var b450 binary >= 0, <= 1;
var b451 binary >= 0, <= 1;
var b452 binary >= 0, <= 1;
var b453 binary >= 0, <= 1;
var b454 binary >= 0, <= 1;
var b455 binary >= 0, <= 1;
var b456 binary >= 0, <= 1;
var b457 binary >= 0, <= 1;
var b458 binary >= 0, <= 1;
var b459 binary >= 0, <= 1;
var b460 binary >= 0, <= 1;
var b461 binary >= 0, <= 1;
var b462 binary >= 0, <= 1;
var b463 binary >= 0, <= 1;
var b464 binary >= 0, <= 1;
var b465 binary >= 0, <= 1;
var b466 binary >= 0, <= 1;
var b467 binary >= 0, <= 1;
var b468 binary >= 0, <= 1;
var b469 binary >= 0, <= 1;
var b470 binary >= 0, <= 1;
var b471 binary >= 0, <= 1;
var b472 binary >= 0, <= 1;
var b473 binary >= 0, <= 1;
var b474 binary >= 0, <= 1;
var b475 binary >= 0, <= 1;
var b476 binary >= 0, <= 1;
var b477 binary >= 0, <= 1;
var b478 binary >= 0, <= 1;
var b479 binary >= 0, <= 1;
var b480 binary >= 0, <= 1;
var b481 binary >= 0, <= 1;
var b482 binary >= 0, <= 1;
var b483 binary >= 0, <= 1;
var b484 binary >= 0, <= 1;
var b485 binary >= 0, <= 1;
var b486 binary >= 0, <= 1;
var b487 binary >= 0, <= 1;
var b488 binary >= 0, <= 1;
var b489 binary >= 0, <= 1;
var b490 binary >= 0, <= 1;
var b491 binary >= 0, <= 1;
var b492 binary >= 0, <= 1;
var b493 binary >= 0, <= 1;
var b494 binary >= 0, <= 1;
var b495 binary >= 0, <= 1;
var b496 binary >= 0, <= 1;
var b497 binary >= 0, <= 1;
var b498 binary >= 0, <= 1;
var b499 binary >= 0, <= 1;
var b500 binary >= 0, <= 1;
var b501 binary >= 0, <= 1;
var b502 binary >= 0, <= 1;
var b503 binary >= 0, <= 1;
var b504 binary >= 0, <= 1;
var b505 binary >= 0, <= 1;
var b506 binary >= 0, <= 1;
var b507 binary >= 0, <= 1;
var b508 binary >= 0, <= 1;
var b509 binary >= 0, <= 1;
var b510 binary >= 0, <= 1;
var b511 binary >= 0, <= 1;
var b512 binary >= 0, <= 1;
var b513 binary >= 0, <= 1;
var b514 binary >= 0, <= 1;
var b515 binary >= 0, <= 1;
var b516 binary >= 0, <= 1;
var b517 binary >= 0, <= 1;
var b518 binary >= 0, <= 1;
var b519 binary >= 0, <= 1;
var b520 binary >= 0, <= 1;
var b521 binary >= 0, <= 1;
var b522 binary >= 0, <= 1;
var b523 binary >= 0, <= 1;
var b524 binary >= 0, <= 1;
var b525 binary >= 0, <= 1;
var b526 binary >= 0, <= 1;
var b527 binary >= 0, <= 1;
var b528 binary >= 0, <= 1;
var b529 binary >= 0, <= 1;
var b530 binary >= 0, <= 1;
var b531 binary >= 0, <= 1;
var b532 binary >= 0, <= 1;
var b533 binary >= 0, <= 1;
var b534 binary >= 0, <= 1;
var b535 binary >= 0, <= 1;
var b536 binary >= 0, <= 1;
var b537 binary >= 0, <= 1;
var b538 binary >= 0, <= 1;
var b539 binary >= 0, <= 1;
var b540 binary >= 0, <= 1;
var b541 binary >= 0, <= 1;
var b542 binary >= 0, <= 1;
var b543 binary >= 0, <= 1;
var b544 binary >= 0, <= 1;
var b545 binary >= 0, <= 1;
var b546 binary >= 0, <= 1;
var b547 binary >= 0, <= 1;
var b548 binary >= 0, <= 1;
var b549 binary >= 0, <= 1;
var b550 binary >= 0, <= 1;
var b551 binary >= 0, <= 1;
var b552 binary >= 0, <= 1;
var b553 binary >= 0, <= 1;
var b554 binary >= 0, <= 1;
var b555 binary >= 0, <= 1;
var b556 binary >= 0, <= 1;
var b557 binary >= 0, <= 1;
var b558 binary >= 0, <= 1;
var b559 binary >= 0, <= 1;
var b560 binary >= 0, <= 1;
var b561 binary >= 0, <= 1;
var b562 binary >= 0, <= 1;
var b563 binary >= 0, <= 1;
var b564 binary >= 0, <= 1;
var b565 binary >= 0, <= 1;
var b566 binary >= 0, <= 1;
var b567 binary >= 0, <= 1;
var b568 binary >= 0, <= 1;
var b569 binary >= 0, <= 1;
var b570 binary >= 0, <= 1;
var b571 binary >= 0, <= 1;
var b572 binary >= 0, <= 1;
var b573 binary >= 0, <= 1;
var b574 binary >= 0, <= 1;
var b575 binary >= 0, <= 1;
var b576 binary >= 0, <= 1;
var b577 binary >= 0, <= 1;
var b578 binary >= 0, <= 1;
var b579 binary >= 0, <= 1;
var b580 binary >= 0, <= 1;
var b581 binary >= 0, <= 1;
var b582 binary >= 0, <= 1;
var b583 binary >= 0, <= 1;
var b584 binary >= 0, <= 1;
var b585 binary >= 0, <= 1;
var b586 binary >= 0, <= 1;
var b587 binary >= 0, <= 1;
var b588 binary >= 0, <= 1;
var b589 binary >= 0, <= 1;
var b590 binary >= 0, <= 1;
var b591 binary >= 0, <= 1;
var b592 binary >= 0, <= 1;
var b593 binary >= 0, <= 1;
var b594 binary >= 0, <= 1;
var b595 binary >= 0, <= 1;
var b596 binary >= 0, <= 1;
var b597 binary >= 0, <= 1;
var b598 binary >= 0, <= 1;
var b599 binary >= 0, <= 1;
var b600 binary >= 0, <= 1;
var b601 binary >= 0, <= 1;
var b602 binary >= 0, <= 1;
var b603 binary >= 0, <= 1;
var b604 binary >= 0, <= 1;
var b605 binary >= 0, <= 1;
var b606 binary >= 0, <= 1;
var b607 binary >= 0, <= 1;
var b608 binary >= 0, <= 1;
var b609 binary >= 0, <= 1;
var b610 binary >= 0, <= 1;
var b611 binary >= 0, <= 1;
var b612 binary >= 0, <= 1;
var b613 binary >= 0, <= 1;
var b614 binary >= 0, <= 1;
var b615 binary >= 0, <= 1;
var b616 binary >= 0, <= 1;
var b617 binary >= 0, <= 1;
var b618 binary >= 0, <= 1;
var b619 binary >= 0, <= 1;
var b620 binary >= 0, <= 1;
var b621 binary >= 0, <= 1;
var b622 binary >= 0, <= 1;
var b623 binary >= 0, <= 1;
var b624 binary >= 0, <= 1;
var b625 binary >= 0, <= 1;
var b626 binary >= 0, <= 1;
var b627 binary >= 0, <= 1;
var b628 binary >= 0, <= 1;
var b629 binary >= 0, <= 1;
var b630 binary >= 0, <= 1;
var b631 binary >= 0, <= 1;
var b632 binary >= 0, <= 1;
var b633 binary >= 0, <= 1;
var b634 binary >= 0, <= 1;
var b635 binary >= 0, <= 1;
var b636 binary >= 0, <= 1;
var b637 binary >= 0, <= 1;
var b638 binary >= 0, <= 1;
var b639 binary >= 0, <= 1;
var b640 binary >= 0, <= 1;
var b641 binary >= 0, <= 1;
var b642 binary >= 0, <= 1;
var b643 binary >= 0, <= 1;
var b644 binary >= 0, <= 1;
var b645 binary >= 0, <= 1;
var b646 binary >= 0, <= 1;
var b647 binary >= 0, <= 1;
var b648 binary >= 0, <= 1;
var b649 binary >= 0, <= 1;
var b650 binary >= 0, <= 1;
var b651 binary >= 0, <= 1;
var b652 binary >= 0, <= 1;
var b653 binary >= 0, <= 1;
var b654 binary >= 0, <= 1;
var b655 binary >= 0, <= 1;
var b656 binary >= 0, <= 1;
var b657 binary >= 0, <= 1;
var b658 binary >= 0, <= 1;
var b659 binary >= 0, <= 1;
var b660 binary >= 0, <= 1;
var b661 binary >= 0, <= 1;
var b662 binary >= 0, <= 1;
var b663 binary >= 0, <= 1;
var b664 binary >= 0, <= 1;
var b665 binary >= 0, <= 1;
var b666 binary >= 0, <= 1;
var b667 binary >= 0, <= 1;
var b668 binary >= 0, <= 1;
var b669 binary >= 0, <= 1;
var b670 binary >= 0, <= 1;
var b671 binary >= 0, <= 1;
var b672 binary >= 0, <= 1;
var b673 binary >= 0, <= 1;
var b674 binary >= 0, <= 1;
var b675 binary >= 0, <= 1;
var b676 binary >= 0, <= 1;
var b677 binary >= 0, <= 1;
var b678 binary >= 0, <= 1;
var b679 binary >= 0, <= 1;
var b680 binary >= 0, <= 1;
var b681 binary >= 0, <= 1;
var b682 binary >= 0, <= 1;
var b683 binary >= 0, <= 1;
var b684 binary >= 0, <= 1;
var b685 binary >= 0, <= 1;
var b686 binary >= 0, <= 1;
var b687 binary >= 0, <= 1;
var b688 binary >= 0, <= 1;
var b689 binary >= 0, <= 1;
var b690 binary >= 0, <= 1;
var b691 binary >= 0, <= 1;
var b692 binary >= 0, <= 1;
var b693 binary >= 0, <= 1;
var b694 binary >= 0, <= 1;
var b695 binary >= 0, <= 1;
var b696 binary >= 0, <= 1;
var b697 binary >= 0, <= 1;
var b698 binary >= 0, <= 1;
var b699 binary >= 0, <= 1;
var b700 binary >= 0, <= 1;
var b701 binary >= 0, <= 1;
var b702 binary >= 0, <= 1;
var b703 binary >= 0, <= 1;
var b704 binary >= 0, <= 1;
var b705 binary >= 0, <= 1;
var b706 binary >= 0, <= 1;
var b707 binary >= 0, <= 1;
var b708 binary >= 0, <= 1;
var b709 binary >= 0, <= 1;
var b710 binary >= 0, <= 1;
var b711 binary >= 0, <= 1;
var b712 binary >= 0, <= 1;
var b713 binary >= 0, <= 1;
var b714 binary >= 0, <= 1;
var b715 binary >= 0, <= 1;
var b716 binary >= 0, <= 1;
var b717 binary >= 0, <= 1;
var b718 binary >= 0, <= 1;
var b719 binary >= 0, <= 1;
var b720 binary >= 0, <= 1;
var b721 binary >= 0, <= 1;
var b722 binary >= 0, <= 1;
var b723 binary >= 0, <= 1;
var b724 binary >= 0, <= 1;
var b725 binary >= 0, <= 1;
var b726 binary >= 0, <= 1;
var b727 binary >= 0, <= 1;
var b728 binary >= 0, <= 1;
var b729 binary >= 0, <= 1;
var b730 binary >= 0, <= 1;
var b731 binary >= 0, <= 1;
var b732 binary >= 0, <= 1;
var b733 binary >= 0, <= 1;
var b734 binary >= 0, <= 1;
var b735 binary >= 0, <= 1;
var b736 binary >= 0, <= 1;
var b737 binary >= 0, <= 1;
var b738 binary >= 0, <= 1;
var b739 binary >= 0, <= 1;
var b740 binary >= 0, <= 1;
var b741 binary >= 0, <= 1;
var b742 binary >= 0, <= 1;
var b743 binary >= 0, <= 1;
var b744 binary >= 0, <= 1;
var b745 binary >= 0, <= 1;
var b746 binary >= 0, <= 1;
var b747 binary >= 0, <= 1;
var b748 binary >= 0, <= 1;
var b749 binary >= 0, <= 1;
var b750 binary >= 0, <= 1;
var b751 binary >= 0, <= 1;
var b752 binary >= 0, <= 1;
var b753 binary >= 0, <= 1;
var b754 binary >= 0, <= 1;
var b755 binary >= 0, <= 1;
var b756 binary >= 0, <= 1;
var b757 binary >= 0, <= 1;
var b758 binary >= 0, <= 1;
var b759 binary >= 0, <= 1;
var b760 binary >= 0, <= 1;
var b761 binary >= 0, <= 1;
var b762 binary >= 0, <= 1;
var b763 binary >= 0, <= 1;
var b764 binary >= 0, <= 1;
var b765 binary >= 0, <= 1;
var b766 binary >= 0, <= 1;
var b767 binary >= 0, <= 1;
var b768 binary >= 0, <= 1;
var b769 binary >= 0, <= 1;
var b770 binary >= 0, <= 1;
var b771 binary >= 0, <= 1;
var b772 binary >= 0, <= 1;
var b773 binary >= 0, <= 1;
var b774 binary >= 0, <= 1;
var b775 binary >= 0, <= 1;
var b776 binary >= 0, <= 1;
var b777 binary >= 0, <= 1;
var b778 binary >= 0, <= 1;
var b779 binary >= 0, <= 1;
var b780 binary >= 0, <= 1;
var b781 binary >= 0, <= 1;
var b782 binary >= 0, <= 1;
var b783 binary >= 0, <= 1;
var b784 binary >= 0, <= 1;
var b785 binary >= 0, <= 1;
var b786 binary >= 0, <= 1;
var b787 binary >= 0, <= 1;
var b788 binary >= 0, <= 1;
var b789 binary >= 0, <= 1;
var b790 binary >= 0, <= 1;
var b791 binary >= 0, <= 1;
var b792 binary >= 0, <= 1;
var b793 binary >= 0, <= 1;
var b794 binary >= 0, <= 1;
var b795 binary >= 0, <= 1;
var b796 binary >= 0, <= 1;
var b797 binary >= 0, <= 1;
var b798 binary >= 0, <= 1;
var b799 binary >= 0, <= 1;
var b800 binary >= 0, <= 1;
var b801 binary >= 0, <= 1;
var b802 binary >= 0, <= 1;
var b803 binary >= 0, <= 1;
var b804 binary >= 0, <= 1;
var b805 binary >= 0, <= 1;
var b806 binary >= 0, <= 1;
var b807 binary >= 0, <= 1;
var b808 binary >= 0, <= 1;
var b809 binary >= 0, <= 1;
var b810 binary >= 0, <= 1;
var b811 binary >= 0, <= 1;
var b812 binary >= 0, <= 1;
var b813 binary >= 0, <= 1;
var b814 binary >= 0, <= 1;
var b815 binary >= 0, <= 1;
var b816 binary >= 0, <= 1;
var b817 binary >= 0, <= 1;
var b818 binary >= 0, <= 1;
var b819 binary >= 0, <= 1;
var b820 binary >= 0, <= 1;
var b821 binary >= 0, <= 1;
var b822 binary >= 0, <= 1;
var b823 binary >= 0, <= 1;
var b824 binary >= 0, <= 1;
var b825 binary >= 0, <= 1;
var b826 binary >= 0, <= 1;
var b827 binary >= 0, <= 1;
var b828 binary >= 0, <= 1;
var b829 binary >= 0, <= 1;
var b830 binary >= 0, <= 1;
var b831 binary >= 0, <= 1;
var b832 binary >= 0, <= 1;
var b833 binary >= 0, <= 1;
var b834 binary >= 0, <= 1;
var b835 binary >= 0, <= 1;
var b836 binary >= 0, <= 1;
var b837 binary >= 0, <= 1;
var b838 binary >= 0, <= 1;
var b839 binary >= 0, <= 1;
var b840 binary >= 0, <= 1;
var b841 binary >= 0, <= 1;
var b842 binary >= 0, <= 1;
var b843 binary >= 0, <= 1;
var b844 binary >= 0, <= 1;
var b845 binary >= 0, <= 1;
var b846 binary >= 0, <= 1;
var b847 binary >= 0, <= 1;
var b848 binary >= 0, <= 1;
var b849 binary >= 0, <= 1;
var b850 binary >= 0, <= 1;
var b851 binary >= 0, <= 1;
var b852 binary >= 0, <= 1;
var b853 binary >= 0, <= 1;
var b854 binary >= 0, <= 1;
var b855 binary >= 0, <= 1;
var b856 binary >= 0, <= 1;
var b857 binary >= 0, <= 1;
var b858 binary >= 0, <= 1;
var b859 binary >= 0, <= 1;
var b860 binary >= 0, <= 1;
var b861 binary >= 0, <= 1;
var b862 binary >= 0, <= 1;
var b863 binary >= 0, <= 1;
var b864 binary >= 0, <= 1;
var b865 binary >= 0, <= 1;
var b866 binary >= 0, <= 1;
var b867 binary >= 0, <= 1;
var b868 binary >= 0, <= 1;
var b869 binary >= 0, <= 1;
var b870 binary >= 0, <= 1;
var b871 binary >= 0, <= 1;
var b872 binary >= 0, <= 1;
var b873 binary >= 0, <= 1;
var b874 binary >= 0, <= 1;
var b875 binary >= 0, <= 1;
var b876 binary >= 0, <= 1;
var b877 binary >= 0, <= 1;
var b878 binary >= 0, <= 1;
var b879 binary >= 0, <= 1;
var b880 binary >= 0, <= 1;
var b881 binary >= 0, <= 1;
var b882 binary >= 0, <= 1;
var b883 binary >= 0, <= 1;
var b884 binary >= 0, <= 1;
var b885 binary >= 0, <= 1;
var b886 binary >= 0, <= 1;
var b887 binary >= 0, <= 1;
var b888 binary >= 0, <= 1;
var b889 binary >= 0, <= 1;
var b890 binary >= 0, <= 1;
var b891 binary >= 0, <= 1;
var b892 binary >= 0, <= 1;
var b893 binary >= 0, <= 1;
var b894 binary >= 0, <= 1;
var b895 binary >= 0, <= 1;
var b896 binary >= 0, <= 1;
var b897 binary >= 0, <= 1;
var b898 binary >= 0, <= 1;
var b899 binary >= 0, <= 1;
var b900 binary >= 0, <= 1;
var b901 binary >= 0, <= 1;
var b902 binary >= 0, <= 1;
var b903 binary >= 0, <= 1;
var b904 binary >= 0, <= 1;
var b905 binary >= 0, <= 1;
var b906 binary >= 0, <= 1;
var b907 binary >= 0, <= 1;
var b908 binary >= 0, <= 1;
var b909 binary >= 0, <= 1;
var b910 binary >= 0, <= 1;
var b911 binary >= 0, <= 1;
var b912 binary >= 0, <= 1;
var b913 binary >= 0, <= 1;
var b914 binary >= 0, <= 1;
var b915 binary >= 0, <= 1;
var b916 binary >= 0, <= 1;
var b917 binary >= 0, <= 1;
var b918 binary >= 0, <= 1;
var b919 binary >= 0, <= 1;
var b920 binary >= 0, <= 1;
var b921 binary >= 0, <= 1;
var b922 binary >= 0, <= 1;
var b923 binary >= 0, <= 1;
var b924 binary >= 0, <= 1;
var b925 binary >= 0, <= 1;
var b926 binary >= 0, <= 1;
var b927 binary >= 0, <= 1;
var b928 binary >= 0, <= 1;
var b929 binary >= 0, <= 1;
var b930 binary >= 0, <= 1;
var b931 binary >= 0, <= 1;
var b932 binary >= 0, <= 1;
var b933 binary >= 0, <= 1;
var b934 binary >= 0, <= 1;
var b935 binary >= 0, <= 1;
var b936 binary >= 0, <= 1;
var b937 binary >= 0, <= 1;
var b938 binary >= 0, <= 1;
var b939 binary >= 0, <= 1;
var b940 binary >= 0, <= 1;
var b941 binary >= 0, <= 1;
var b942 binary >= 0, <= 1;
var b943 binary >= 0, <= 1;
var b944 binary >= 0, <= 1;
var b945 binary >= 0, <= 1;
var b946 binary >= 0, <= 1;
var b947 binary >= 0, <= 1;
var b948 binary >= 0, <= 1;
var b949 binary >= 0, <= 1;
var b950 binary >= 0, <= 1;
var b951 binary >= 0, <= 1;
var b952 binary >= 0, <= 1;
var b953 binary >= 0, <= 1;
var b954 binary >= 0, <= 1;
var b955 binary >= 0, <= 1;
var b956 binary >= 0, <= 1;
var b957 binary >= 0, <= 1;
var b958 binary >= 0, <= 1;
var b959 binary >= 0, <= 1;
var b960 binary >= 0, <= 1;
var b961 binary >= 0, <= 1;
var b962 binary >= 0, <= 1;
var b963 binary >= 0, <= 1;
var b964 binary >= 0, <= 1;

maximize obj: 0.1*b1*(1 - b4) - b1*(1 - b3) - b1*(1 - b56) + 0.1*b1*(1 - b964)
     + 0.1*b2*(1 - b3) - b2*(1 - b4) - b2*(1 - b57) + 0.1*b2*(1 - b964) - b3*(1
     - b1) + 0.1*b3*(1 - b2) - b3*(1 - b5) + 0.1*b3*(1 - b964) + 0.1*b4*(1 - b1
    ) - b4*(1 - b2) - b4*(1 - b6) + 0.1*b4*(1 - b964) - b5*(1 - b3) - b5*(1 - 
    b9) + 0.1*b5*(1 - b964) - b6*(1 - b4) - b6*(1 - b10) + 0.1*b6*(1 - b964) - 
    b7*(1 - b8) + 0.1*b7*(1 - b9) - b7*(1 - b10) + 0.1*b7*(1 - b964) - b8*(1 - 
    b7) + 0.1*b8*(1 - b11) + 0.1*b8*(1 - b964) - b9*(1 - b5) + 0.1*b9*(1 - b7)
     - b9*(1 - b12) + 0.1*b9*(1 - b964) - b10*(1 - b6) - b10*(1 - b7) + 0.1*b10
    *(1 - b13) + 0.1*b10*(1 - b964) + 0.1*b11*(1 - b8) - b11*(1 - b14) + 0.1*
    b11*(1 - b964) - b12*(1 - b9) - b12*(1 - b15) + 0.1*b12*(1 - b964) + 0.1*
    b13*(1 - b10) - b13*(1 - b16) + 0.1*b13*(1 - b964) - b14*(1 - b11) - b14*(1
     - b17) + 0.1*b14*(1 - b964) - b15*(1 - b12) - b15*(1 - b18) + 0.1*b15*(1
     - b964) - b16*(1 - b13) - b16*(1 - b19) + 0.1*b16*(1 - b964) - b17*(1 - 
    b14) - b17*(1 - b22) + 0.1*b17*(1 - b964) - b18*(1 - b15) - b18*(1 - b23)
     + 0.1*b18*(1 - b964) - b19*(1 - b16) - b19*(1 - b24) + 0.1*b19*(1 - b964)
     + 0.1*b20*(1 - b24) - b20*(1 - b74) + 0.1*b20*(1 - b964) + 0.1*b21*(1 - 
    b23) - b21*(1 - b75) + 0.1*b21*(1 - b964) - b22*(1 - b17) - b22*(1 - b28)
     + 0.1*b22*(1 - b964) - b23*(1 - b18) + 0.1*b23*(1 - b21) - b23*(1 - b29)
     + 0.1*b23*(1 - b964) - b24*(1 - b19) + 0.1*b24*(1 - b20) - b24*(1 - b30)
     + 0.1*b24*(1 - b964) + 0.1*b25*(1 - b27) + 0.2*b25*(1 - b28) - b25*(1 - 
    b79) + 0.1*b25*(1 - b964) - b26*(1 - b27) + 0.1*b26*(1 - b28) + 0.1*b26*(1
     - b30) - b26*(1 - b81) + 0.1*b26*(1 - b964) + 0.1*b27*(1 - b25) - b27*(1
     - b26) - b27*(1 - b32) + 0.1*b27*(1 - b964) - b28*(1 - b22) + 0.2*b28*(1
     - b25) + 0.1*b28*(1 - b26) - b28*(1 - b33) + 0.1*b28*(1 - b964) - b29*(1
     - b23) - b29*(1 - b34) + 0.1*b29*(1 - b964) - b30*(1 - b24) + 0.1*b30*(1
     - b26) - b30*(1 - b35) + 0.1*b30*(1 - b964) + 0.1*b31*(1 - b32) + 0.2*b31*
    (1 - b33) - b31*(1 - b85) + 0.1*b31*(1 - b964) - b32*(1 - b27) + 0.1*b32*(1
     - b31) - b32*(1 - b38) + 0.1*b32*(1 - b964) - b33*(1 - b28) + 0.2*b33*(1
     - b31) - b33*(1 - b39) + 0.1*b33*(1 - b964) - b34*(1 - b29) - b34*(1 - b40
    ) + 0.1*b34*(1 - b964) - b35*(1 - b30) - b35*(1 - b41) + 0.1*b35*(1 - b964)
     + 0.1*b36*(1 - b38) + 0.1*b36*(1 - b39) + 0.1*b36*(1 - b40) - b36*(1 - b92
    ) + 0.1*b36*(1 - b964) + 0.1*b37*(1 - b38) + 0.1*b37*(1 - b39) + 0.1*b37*(1
     - b40) + 0.1*b37*(1 - b41) - b37*(1 - b93) + 0.1*b37*(1 - b964) - b38*(1
     - b32) + 0.1*b38*(1 - b36) + 0.1*b38*(1 - b37) - b38*(1 - b46) + 0.1*b38*(
    1 - b964) - b39*(1 - b33) + 0.1*b39*(1 - b36) + 0.1*b39*(1 - b37) - b39*(1
     - b47) + 0.1*b39*(1 - b964) - b40*(1 - b34) + 0.1*b40*(1 - b36) + 0.1*b40*
    (1 - b37) + 0.1*b40*(1 - b48) + 0.1*b40*(1 - b964) - b41*(1 - b35) + 0.1*
    b41*(1 - b37) - b41*(1 - b49) + 0.1*b41*(1 - b964) - b42*(1 - b46) + 0.1*
    b42*(1 - b47) + 0.1*b42*(1 - b48) + 0.1*b42*(1 - b49) + 0.1*b42*(1 - b100)
     + 0.1*b42*(1 - b964) + 0.1*b43*(1 - b46) - b43*(1 - b48) + 0.1*b43*(1 - 
    b49) - b43*(1 - b101) + 0.1*b43*(1 - b964) + 0.1*b44*(1 - b46) + 0.1*b44*(1
     - b47) + 0.1*b44*(1 - b48) - b44*(1 - b49) - b44*(1 - b102) + 0.1*b44*(1
     - b964) + 0.1*b45*(1 - b46) - b45*(1 - b47) + 0.1*b45*(1 - b49) - b45*(1
     - b103) + 0.1*b45*(1 - b964) - b46*(1 - b38) - b46*(1 - b42) + 0.1*b46*(1
     - b43) + 0.1*b46*(1 - b44) + 0.1*b46*(1 - b45) + 0.1*b46*(1 - b964) - b47*
    (1 - b39) + 0.1*b47*(1 - b42) + 0.1*b47*(1 - b44) - b47*(1 - b45) + 0.1*b47
    *(1 - b964) + 0.1*b48*(1 - b40) + 0.1*b48*(1 - b42) - b48*(1 - b43) + 0.1*
    b48*(1 - b44) + 0.1*b48*(1 - b964) - b49*(1 - b41) + 0.1*b49*(1 - b42) + 
    0.1*b49*(1 - b43) - b49*(1 - b44) + 0.1*b49*(1 - b45) + 0.1*b49*(1 - b964)
     - b50*(1 - b51) - b50*(1 - b106) + 0.1*b50*(1 - b964) - b51*(1 - b50) - 
    b51*(1 - b52) + 0.1*b51*(1 - b964) - b52*(1 - b51) - b52*(1 - b54) + 0.1*
    b52*(1 - b964) - b53*(1 - b54) + 0.1*b53*(1 - b121) + 0.1*b53*(1 - b964) - 
    b54*(1 - b52) - b54*(1 - b53) - b54*(1 - b58) + 0.1*b54*(1 - b964) - b55*(1
     - b59) - b55*(1 - b129) + 0.1*b55*(1 - b964) - b56*(1 - b1) + 0.1*b56*(1
     - b59) - b56*(1 - b130) + 0.1*b56*(1 - b964) - b57*(1 - b2) + 0.1*b57*(1
     - b59) - b57*(1 - b131) + 0.1*b57*(1 - b964) - b58*(1 - b54) - b58*(1 - 
    b60) + 0.1*b58*(1 - b964) - b59*(1 - b55) + 0.1*b59*(1 - b56) + 0.1*b59*(1
     - b57) - b59*(1 - b61) + 0.1*b59*(1 - b964) - b60*(1 - b58) - b60*(1 - b62
    ) + 0.1*b60*(1 - b964) - b61*(1 - b59) - b61*(1 - b63) + 0.1*b61*(1 - b964)
     - b62*(1 - b60) - b62*(1 - b64) + 0.1*b62*(1 - b964) - b63*(1 - b61) - b63
    *(1 - b65) + 0.1*b63*(1 - b964) - b64*(1 - b62) - b64*(1 - b69) + 0.1*b64*(
    1 - b964) - b65*(1 - b63) - b65*(1 - b70) + 0.1*b65*(1 - b964) - b66*(1 - 
    b68) - b66*(1 - b147) + 0.1*b66*(1 - b964) + 0.1*b67*(1 - b68) - b67*(1 - 
    b148) + 0.1*b67*(1 - b964) - b68*(1 - b66) + 0.1*b68*(1 - b67) - b68*(1 - 
    b71) + 0.1*b68*(1 - b964) - b69*(1 - b64) + 0.1*b69*(1 - b72) + 0.1*b69*(1
     - b964) - b70*(1 - b65) - b70*(1 - b73) + 0.1*b70*(1 - b964) - b71*(1 - 
    b68) - b71*(1 - b76) + 0.1*b71*(1 - b964) + 0.1*b72*(1 - b69) - b72*(1 - 
    b77) + 0.1*b72*(1 - b964) - b73*(1 - b70) - b73*(1 - b78) + 0.1*b73*(1 - 
    b964) - b74*(1 - b20) + 0.1*b74*(1 - b76) - b74*(1 - b159) + 0.1*b74*(1 - 
    b964) - b75*(1 - b21) - b75*(1 - b77) - b75*(1 - b160) + 0.1*b75*(1 - b964)
     - b76*(1 - b71) + 0.1*b76*(1 - b74) - b76*(1 - b82) + 0.1*b76*(1 - b964)
     - b77*(1 - b72) - b77*(1 - b75) + 0.1*b77*(1 - b83) + 0.1*b77*(1 - b964)
     - b78*(1 - b73) - b78*(1 - b84) + 0.1*b78*(1 - b964) - b79*(1 - b25) + 0.1
    *b79*(1 - b82) + 0.1*b79*(1 - b83) - b79*(1 - b168) + 0.1*b79*(1 - b964) + 
    0.1*b80*(1 - b82) - b80*(1 - b83) + 0.1*b80*(1 - b169) + 0.1*b80*(1 - b964)
     - b81*(1 - b26) + 0.1*b81*(1 - b82) + 0.1*b81*(1 - b83) - b81*(1 - b170)
     + 0.1*b81*(1 - b964) - b82*(1 - b76) + 0.1*b82*(1 - b79) + 0.1*b82*(1 - 
    b80) + 0.1*b82*(1 - b81) - b82*(1 - b88) + 0.1*b82*(1 - b964) + 0.1*b83*(1
     - b77) + 0.1*b83*(1 - b79) - b83*(1 - b80) + 0.1*b83*(1 - b81) - b83*(1 - 
    b89) + 0.1*b83*(1 - b964) - b84*(1 - b78) - b84*(1 - b91) + 0.1*b84*(1 - 
    b964) - b85*(1 - b31) + 0.1*b85*(1 - b89) + 0.1*b85*(1 - b90) + 0.1*b85*(1
     - b91) - b85*(1 - b176) + 0.1*b85*(1 - b964) + 0.1*b86*(1 - b90) - b86*(1
     - b91) + 0.1*b86*(1 - b177) + 0.1*b86*(1 - b964) + 0.1*b87*(1 - b88) + 0.1
    *b87*(1 - b89) + 0.1*b87*(1 - b90) - b87*(1 - b178) + 0.1*b87*(1 - b964) - 
    b88*(1 - b82) + 0.1*b88*(1 - b87) - b88*(1 - b96) + 0.1*b88*(1 - b964) - 
    b89*(1 - b83) + 0.1*b89*(1 - b85) + 0.1*b89*(1 - b87) - b89*(1 - b97) + 0.1
    *b89*(1 - b964) + 0.1*b90*(1 - b85) + 0.1*b90*(1 - b86) + 0.1*b90*(1 - b87)
     - b90*(1 - b98) + 0.1*b90*(1 - b964) - b91*(1 - b84) + 0.1*b91*(1 - b85)
     - b91*(1 - b86) + 0.1*b91*(1 - b99) + 0.1*b91*(1 - b964) - b92*(1 - b36)
     + 0.1*b92*(1 - b97) + 0.1*b92*(1 - b99) - b92*(1 - b183) + 0.1*b92*(1 - 
    b964) - b93*(1 - b37) + 0.1*b93*(1 - b96) - b93*(1 - b97) + 0.1*b93*(1 - 
    b98) + 0.1*b93*(1 - b99) - b93*(1 - b184) + 0.1*b93*(1 - b964) + 0.1*b94*(1
     - b96) + 0.1*b94*(1 - b97) + 0.1*b94*(1 - b98) - b94*(1 - b99) - b94*(1 - 
    b185) + 0.2*b94*(1 - b964) + 0.1*b95*(1 - b96) + 0.1*b95*(1 - b97) - b95*(1
     - b98) + 0.1*b95*(1 - b99) - b95*(1 - b186) + 0.1*b95*(1 - b964) - b96*(1
     - b88) + 0.1*b96*(1 - b93) + 0.1*b96*(1 - b94) + 0.1*b96*(1 - b95) - b96*(
    1 - b104) + 0.1*b96*(1 - b964) - b97*(1 - b89) + 0.1*b97*(1 - b92) - b97*(1
     - b93) + 0.1*b97*(1 - b94) + 0.1*b97*(1 - b95) + 0.1*b97*(1 - b105) + 0.1*
    b97*(1 - b964) - b98*(1 - b90) + 0.1*b98*(1 - b93) + 0.1*b98*(1 - b94) - 
    b98*(1 - b95) + 0.1*b98*(1 - b964) + 0.1*b99*(1 - b91) + 0.1*b99*(1 - b92)
     + 0.1*b99*(1 - b93) - b99*(1 - b94) + 0.1*b99*(1 - b95) + 0.2*b99*(1 - 
    b964) + 0.1*b100*(1 - b42) - b100*(1 - b104) + 0.1*b100*(1 - b105) - b100*(
    1 - b191) + 0.1*b100*(1 - b964) - b101*(1 - b43) + 0.1*b101*(1 - b104) - 
    b101*(1 - b105) - b101*(1 - b192) + 0.1*b101*(1 - b964) - b102*(1 - b44) + 
    0.1*b102*(1 - b104) + 0.1*b102*(1 - b105) - b102*(1 - b193) + 0.1*b102*(1
     - b964) - b103*(1 - b45) - b103*(1 - b194) + 0.1*b103*(1 - b964) - b104*(1
     - b96) - b104*(1 - b100) + 0.1*b104*(1 - b101) + 0.1*b104*(1 - b102) + 0.1
    *b104*(1 - b964) + 0.1*b105*(1 - b97) + 0.1*b105*(1 - b100) - b105*(1 - 
    b101) + 0.1*b105*(1 - b102) + 0.1*b105*(1 - b964) - b106*(1 - b50) - b106*(
    1 - b199) + 0.1*b106*(1 - b964) - b107*(1 - b110) + 0.1*b107*(1 - b111) + 
    0.1*b107*(1 - b112) - b107*(1 - b200) + 0.1*b107*(1 - b964) + 0.1*b108*(1
     - b110) + 0.1*b108*(1 - b111) + 0.1*b108*(1 - b112) - b108*(1 - b201) + 
    0.1*b108*(1 - b964) + 0.1*b109*(1 - b110) + 0.1*b109*(1 - b111) + 0.1*b109*
    (1 - b112) - b109*(1 - b202) + 0.2*b109*(1 - b964) - b110*(1 - b107) + 0.1*
    b110*(1 - b108) + 0.1*b110*(1 - b109) - b110*(1 - b117) + 0.1*b110*(1 - 
    b964) + 0.1*b111*(1 - b107) + 0.1*b111*(1 - b108) + 0.1*b111*(1 - b109) - 
    b111*(1 - b118) + 0.1*b111*(1 - b964) + 0.1*b112*(1 - b107) + 0.1*b112*(1
     - b108) + 0.1*b112*(1 - b109) - b112*(1 - b119) + 0.2*b112*(1 - b964) + 
    0.1*b113*(1 - b117) + 0.1*b113*(1 - b118) + 0.1*b113*(1 - b119) + 0.1*b113*
    (1 - b120) - b113*(1 - b206) + 0.1*b113*(1 - b964) - b114*(1 - b117) + 0.1*
    b114*(1 - b118) + 0.1*b114*(1 - b119) + 0.1*b114*(1 - b120) + 0.1*b114*(1
     - b207) + 0.1*b114*(1 - b964) + 0.1*b115*(1 - b117) + 0.1*b115*(1 - b118)
     + 0.1*b115*(1 - b119) - b115*(1 - b120) - b115*(1 - b208) + 0.1*b115*(1 - 
    b964) + 0.1*b116*(1 - b117) + 0.1*b116*(1 - b118) - b116*(1 - b119) + 0.1*
    b116*(1 - b120) - b116*(1 - b209) + 0.2*b116*(1 - b964) - b117*(1 - b110)
     + 0.1*b117*(1 - b113) - b117*(1 - b114) + 0.1*b117*(1 - b115) + 0.1*b117*(
    1 - b116) - b117*(1 - b125) + 0.1*b117*(1 - b964) - b118*(1 - b111) + 0.1*
    b118*(1 - b113) + 0.1*b118*(1 - b114) + 0.1*b118*(1 - b115) + 0.1*b118*(1
     - b116) - b118*(1 - b126) + 0.1*b118*(1 - b964) - b119*(1 - b112) + 0.1*
    b119*(1 - b113) + 0.1*b119*(1 - b114) + 0.1*b119*(1 - b115) - b119*(1 - 
    b116) - b119*(1 - b127) + 0.2*b119*(1 - b964) + 0.1*b120*(1 - b113) + 0.1*
    b120*(1 - b114) - b120*(1 - b115) + 0.1*b120*(1 - b116) - b120*(1 - b128)
     + 0.1*b120*(1 - b964) + 0.1*b121*(1 - b53) + 0.1*b121*(1 - b125) + 0.1*
    b121*(1 - b126) + 0.1*b121*(1 - b127) + 0.1*b121*(1 - b128) - b121*(1 - 
    b213) + 0.1*b121*(1 - b964) + 0.1*b122*(1 - b125) + 0.1*b122*(1 - b126) + 
    0.1*b122*(1 - b127) + 0.1*b122*(1 - b128) - b122*(1 - b214) + 0.1*b122*(1
     - b964) + 0.2*b123*(1 - b125) + 0.2*b123*(1 - b126) + 0.2*b123*(1 - b127)
     + 0.1*b123*(1 - b128) - b123*(1 - b215) + 0.2*b123*(1 - b964) + 0.1*b124*(
    1 - b125) - b124*(1 - b126) + 0.1*b124*(1 - b127) + 0.1*b124*(1 - b128) - 
    b124*(1 - b216) + 0.1*b124*(1 - b964) - b125*(1 - b117) + 0.1*b125*(1 - 
    b121) + 0.1*b125*(1 - b122) + 0.2*b125*(1 - b123) + 0.1*b125*(1 - b124) + 
    0.1*b125*(1 - b964) - b126*(1 - b118) + 0.1*b126*(1 - b121) + 0.1*b126*(1
     - b122) + 0.2*b126*(1 - b123) - b126*(1 - b124) + 0.1*b126*(1 - b964) - 
    b127*(1 - b119) + 0.1*b127*(1 - b121) + 0.1*b127*(1 - b122) + 0.2*b127*(1
     - b123) + 0.1*b127*(1 - b124) + 0.2*b127*(1 - b964) - b128*(1 - b120) + 
    0.1*b128*(1 - b121) + 0.1*b128*(1 - b122) + 0.1*b128*(1 - b123) + 0.1*b128*
    (1 - b124) - b128*(1 - b132) + 0.1*b128*(1 - b964) - b129*(1 - b55) + 0.1*
    b129*(1 - b132) - b129*(1 - b221) + 0.1*b129*(1 - b964) - b130*(1 - b56) + 
    0.1*b130*(1 - b132) - b130*(1 - b222) + 0.1*b130*(1 - b964) - b131*(1 - b57
    ) + 0.1*b131*(1 - b132) - b131*(1 - b223) + 0.1*b131*(1 - b964) - b132*(1
     - b128) + 0.1*b132*(1 - b129) + 0.1*b132*(1 - b130) + 0.1*b132*(1 - b131)
     + 0.1*b132*(1 - b964) + 0.1*b133*(1 - b135) - b133*(1 - b136) + 0.1*b133*(
    1 - b137) - b133*(1 - b227) + 0.1*b133*(1 - b964) + 0.1*b134*(1 - b135) + 
    0.1*b134*(1 - b137) - b134*(1 - b228) + 0.1*b134*(1 - b964) + 0.1*b135*(1
     - b133) + 0.1*b135*(1 - b134) - b135*(1 - b138) + 0.1*b135*(1 - b964) - 
    b136*(1 - b133) - b136*(1 - b139) + 0.1*b136*(1 - b964) + 0.1*b137*(1 - 
    b133) + 0.1*b137*(1 - b134) - b137*(1 - b140) + 0.1*b137*(1 - b964) - b138*
    (1 - b135) - b138*(1 - b143) + 0.1*b138*(1 - b964) - b139*(1 - b136) - b139
    *(1 - b144) + 0.1*b139*(1 - b964) - b140*(1 - b137) - b140*(1 - b145) + 0.1
    *b140*(1 - b964) + 0.1*b141*(1 - b143) + 0.1*b141*(1 - b145) - b141*(1 - 
    b233) + 0.1*b141*(1 - b964) + 0.1*b142*(1 - b143) + 0.1*b142*(1 - b144) + 
    0.1*b142*(1 - b145) - b142*(1 - b146) - b142*(1 - b234) + 0.1*b142*(1 - 
    b964) - b143*(1 - b138) + 0.1*b143*(1 - b141) + 0.1*b143*(1 - b142) - b143*
    (1 - b150) + 0.1*b143*(1 - b964) - b144*(1 - b139) + 0.1*b144*(1 - b142) - 
    b144*(1 - b151) + 0.1*b144*(1 - b964) - b145*(1 - b140) + 0.1*b145*(1 - 
    b141) + 0.1*b145*(1 - b142) - b145*(1 - b152) + 0.1*b145*(1 - b964) - b146*
    (1 - b142) - b146*(1 - b153) + 0.1*b146*(1 - b964) - b147*(1 - b66) + 0.1*
    b147*(1 - b150) + 0.1*b147*(1 - b153) - b147*(1 - b239) + 0.1*b147*(1 - 
    b964) - b148*(1 - b67) - b148*(1 - b240) + 0.1*b148*(1 - b964) + 0.1*b149*(
    1 - b151) + 0.1*b149*(1 - b153) - b149*(1 - b242) + 0.1*b149*(1 - b964) - 
    b150*(1 - b143) + 0.1*b150*(1 - b147) - b150*(1 - b155) + 0.1*b150*(1 - 
    b964) - b151*(1 - b144) + 0.1*b151*(1 - b149) - b151*(1 - b156) + 0.1*b151*
    (1 - b964) - b152*(1 - b145) - b152*(1 - b157) + 0.1*b152*(1 - b964) - b153
    *(1 - b146) + 0.1*b153*(1 - b147) + 0.1*b153*(1 - b149) - b153*(1 - b158)
     + 0.1*b153*(1 - b964) + 0.1*b154*(1 - b155) + 0.1*b154*(1 - b157) - b154*(
    1 - b246) + 0.1*b154*(1 - b964) - b155*(1 - b150) + 0.1*b155*(1 - b154) - 
    b155*(1 - b163) + 0.1*b155*(1 - b964) - b156*(1 - b151) - b156*(1 - b164)
     + 0.1*b156*(1 - b964) - b157*(1 - b152) + 0.1*b157*(1 - b154) - b157*(1 - 
    b165) + 0.1*b157*(1 - b964) - b158*(1 - b153) - b158*(1 - b166) + 0.1*b158*
    (1 - b964) - b159*(1 - b74) + 0.1*b159*(1 - b163) + 0.1*b159*(1 - b165) + 
    0.1*b159*(1 - b166) - b159*(1 - b249) + 0.1*b159*(1 - b964) - b160*(1 - b75
    ) - b160*(1 - b250) + 0.1*b160*(1 - b964) + 0.2*b161*(1 - b163) + 0.1*b161*
    (1 - b164) + 0.1*b161*(1 - b165) + 0.2*b161*(1 - b166) - b161*(1 - b251) + 
    0.1*b161*(1 - b964) + 0.1*b162*(1 - b163) + 0.1*b162*(1 - b164) - b162*(1
     - b165) + 0.1*b162*(1 - b166) + 0.1*b162*(1 - b964) - b163*(1 - b155) + 
    0.1*b163*(1 - b159) + 0.2*b163*(1 - b161) + 0.1*b163*(1 - b162) - b163*(1
     - b171) + 0.1*b163*(1 - b964) - b164*(1 - b156) + 0.1*b164*(1 - b161) + 
    0.1*b164*(1 - b162) - b164*(1 - b172) + 0.1*b164*(1 - b964) - b165*(1 - 
    b157) + 0.1*b165*(1 - b159) + 0.1*b165*(1 - b161) - b165*(1 - b162) - b165*
    (1 - b173) + 0.1*b165*(1 - b964) - b166*(1 - b158) + 0.1*b166*(1 - b159) + 
    0.2*b166*(1 - b161) + 0.1*b166*(1 - b162) - b166*(1 - b174) + 0.1*b166*(1
     - b964) + 0.1*b167*(1 - b172) + 0.1*b167*(1 - b174) - b167*(1 - b255) + 
    0.1*b167*(1 - b964) - b168*(1 - b79) + 0.1*b168*(1 - b171) + 0.2*b168*(1 - 
    b172) + 0.2*b168*(1 - b173) + 0.1*b168*(1 - b174) - b168*(1 - b256) + 0.1*
    b168*(1 - b964) + 0.1*b169*(1 - b80) + 0.1*b169*(1 - b171) - b169*(1 - b172
    ) + 0.1*b169*(1 - b173) + 0.1*b169*(1 - b174) - b169*(1 - b257) + 0.1*b169*
    (1 - b964) - b170*(1 - b81) + 0.2*b170*(1 - b171) + 0.1*b170*(1 - b172) + 
    0.1*b170*(1 - b173) + 0.2*b170*(1 - b174) - b170*(1 - b258) + 0.1*b170*(1
     - b964) - b171*(1 - b163) + 0.1*b171*(1 - b168) + 0.1*b171*(1 - b169) + 
    0.2*b171*(1 - b170) - b171*(1 - b179) + 0.1*b171*(1 - b964) - b172*(1 - 
    b164) + 0.1*b172*(1 - b167) + 0.2*b172*(1 - b168) - b172*(1 - b169) + 0.1*
    b172*(1 - b170) - b172*(1 - b180) + 0.1*b172*(1 - b964) - b173*(1 - b165)
     + 0.2*b173*(1 - b168) + 0.1*b173*(1 - b169) + 0.1*b173*(1 - b170) - b173*(
    1 - b181) + 0.1*b173*(1 - b964) - b174*(1 - b166) + 0.1*b174*(1 - b167) + 
    0.1*b174*(1 - b168) + 0.1*b174*(1 - b169) + 0.2*b174*(1 - b170) - b174*(1
     - b182) + 0.1*b174*(1 - b964) + 0.1*b175*(1 - b179) + 0.1*b175*(1 - b180)
     + 0.1*b175*(1 - b181) - b175*(1 - b182) + 0.1*b175*(1 - b964) - b176*(1 - 
    b85) + 0.1*b176*(1 - b179) + 0.1*b176*(1 - b180) + 0.2*b176*(1 - b181) + 
    0.1*b176*(1 - b182) - b176*(1 - b263) + 0.1*b176*(1 - b964) + 0.1*b177*(1
     - b86) - b177*(1 - b264) + 0.1*b177*(1 - b964) - b178*(1 - b87) + 0.1*b178
    *(1 - b179) + 0.1*b178*(1 - b180) + 0.1*b178*(1 - b182) - b178*(1 - b265)
     + 0.1*b178*(1 - b964) - b179*(1 - b171) + 0.1*b179*(1 - b175) + 0.1*b179*(
    1 - b176) + 0.1*b179*(1 - b178) - b179*(1 - b187) + 0.1*b179*(1 - b964) - 
    b180*(1 - b172) + 0.1*b180*(1 - b175) + 0.1*b180*(1 - b176) + 0.1*b180*(1
     - b178) + 0.2*b180*(1 - b188) + 0.1*b180*(1 - b964) - b181*(1 - b173) + 
    0.1*b181*(1 - b175) + 0.2*b181*(1 - b176) - b181*(1 - b189) + 0.1*b181*(1
     - b964) - b182*(1 - b174) - b182*(1 - b175) + 0.1*b182*(1 - b176) + 0.1*
    b182*(1 - b178) - b182*(1 - b190) + 0.1*b182*(1 - b964) - b183*(1 - b92) + 
    0.1*b183*(1 - b187) + 0.1*b183*(1 - b188) + 0.2*b183*(1 - b189) + 0.1*b183*
    (1 - b190) - b183*(1 - b269) + 0.1*b183*(1 - b964) - b184*(1 - b93) + 0.2*
    b184*(1 - b187) + 0.1*b184*(1 - b188) + 0.1*b184*(1 - b189) + 0.2*b184*(1
     - b190) - b184*(1 - b270) + 0.1*b184*(1 - b964) - b185*(1 - b94) + 0.2*
    b185*(1 - b187) + 0.1*b185*(1 - b188) + 0.1*b185*(1 - b189) + 0.2*b185*(1
     - b190) - b185*(1 - b271) + 0.2*b185*(1 - b964) - b186*(1 - b95) + 0.1*
    b186*(1 - b187) + 0.1*b186*(1 - b190) - b186*(1 - b272) + 0.1*b186*(1 - 
    b964) - b187*(1 - b179) + 0.1*b187*(1 - b183) + 0.2*b187*(1 - b184) + 0.2*
    b187*(1 - b185) + 0.1*b187*(1 - b186) - b187*(1 - b195) + 0.1*b187*(1 - 
    b964) + 0.2*b188*(1 - b180) + 0.1*b188*(1 - b183) + 0.1*b188*(1 - b184) + 
    0.1*b188*(1 - b185) - b188*(1 - b196) + 0.1*b188*(1 - b964) - b189*(1 - 
    b181) + 0.2*b189*(1 - b183) + 0.1*b189*(1 - b184) + 0.1*b189*(1 - b185) - 
    b189*(1 - b197) + 0.1*b189*(1 - b964) - b190*(1 - b182) + 0.1*b190*(1 - 
    b183) + 0.2*b190*(1 - b184) + 0.2*b190*(1 - b185) + 0.1*b190*(1 - b186) - 
    b190*(1 - b198) + 0.1*b190*(1 - b964) - b191*(1 - b100) + 0.1*b191*(1 - 
    b195) + 0.1*b191*(1 - b198) - b191*(1 - b277) + 0.1*b191*(1 - b964) - b192*
    (1 - b101) + 0.1*b192*(1 - b195) + 0.1*b192*(1 - b198) - b192*(1 - b278) + 
    0.1*b192*(1 - b964) - b193*(1 - b102) + 0.1*b193*(1 - b195) + 0.1*b193*(1
     - b196) + 0.1*b193*(1 - b198) - b193*(1 - b279) + 0.1*b193*(1 - b964) - 
    b194*(1 - b103) + 0.1*b194*(1 - b195) - b194*(1 - b196) + 0.2*b194*(1 - 
    b197) + 0.1*b194*(1 - b198) - b194*(1 - b280) + 0.1*b194*(1 - b964) - b195*
    (1 - b187) + 0.1*b195*(1 - b191) + 0.1*b195*(1 - b192) + 0.1*b195*(1 - b193
    ) + 0.1*b195*(1 - b194) + 0.1*b195*(1 - b964) - b196*(1 - b188) + 0.1*b196*
    (1 - b193) - b196*(1 - b194) + 0.1*b196*(1 - b964) - b197*(1 - b189) + 0.2*
    b197*(1 - b194) + 0.1*b197*(1 - b964) - b198*(1 - b190) + 0.1*b198*(1 - 
    b191) + 0.1*b198*(1 - b192) + 0.1*b198*(1 - b193) + 0.1*b198*(1 - b194) + 
    0.1*b198*(1 - b964) - b199*(1 - b106) + 0.1*b199*(1 - b205) - b199*(1 - 
    b285) + 0.1*b199*(1 - b964) - b200*(1 - b107) + 0.1*b200*(1 - b203) + 0.2*
    b200*(1 - b204) + 0.1*b200*(1 - b205) + 0.1*b200*(1 - b964) - b201*(1 - 
    b108) + 0.1*b201*(1 - b203) + 0.1*b201*(1 - b204) + 0.1*b201*(1 - b205) - 
    b201*(1 - b287) + 0.1*b201*(1 - b964) - b202*(1 - b109) - b202*(1 - b203)
     + 0.2*b202*(1 - b204) + 0.1*b202*(1 - b205) + 0.1*b202*(1 - b288) + 0.2*
    b202*(1 - b964) + 0.1*b203*(1 - b200) + 0.1*b203*(1 - b201) - b203*(1 - 
    b202) - b203*(1 - b210) + 0.2*b203*(1 - b964) + 0.2*b204*(1 - b200) + 0.1*
    b204*(1 - b201) + 0.2*b204*(1 - b202) - b204*(1 - b211) + 0.2*b204*(1 - 
    b964) + 0.1*b205*(1 - b199) + 0.1*b205*(1 - b200) + 0.1*b205*(1 - b201) + 
    0.1*b205*(1 - b202) - b205*(1 - b212) + 0.1*b205*(1 - b964) - b206*(1 - 
    b113) + 0.1*b206*(1 - b210) + 0.1*b206*(1 - b211) + 0.1*b206*(1 - b212) - 
    b206*(1 - b293) + 0.1*b206*(1 - b964) + 0.1*b207*(1 - b114) + 0.1*b207*(1
     - b210) + 0.1*b207*(1 - b211) + 0.1*b207*(1 - b212) - b207*(1 - b294) + 
    0.1*b207*(1 - b964) - b208*(1 - b115) + 0.1*b208*(1 - b210) + 0.1*b208*(1
     - b211) + 0.1*b208*(1 - b212) - b208*(1 - b295) + 0.1*b208*(1 - b964) - 
    b209*(1 - b116) + 0.1*b209*(1 - b210) + 0.2*b209*(1 - b211) + 0.1*b209*(1
     - b212) + 0.1*b209*(1 - b296) + 0.2*b209*(1 - b964) - b210*(1 - b203) + 
    0.1*b210*(1 - b206) + 0.1*b210*(1 - b207) + 0.1*b210*(1 - b208) + 0.1*b210*
    (1 - b209) - b210*(1 - b218) + 0.2*b210*(1 - b964) - b211*(1 - b204) + 0.1*
    b211*(1 - b206) + 0.1*b211*(1 - b207) + 0.1*b211*(1 - b208) + 0.2*b211*(1
     - b209) - b211*(1 - b219) + 0.2*b211*(1 - b964) - b212*(1 - b205) + 0.1*
    b212*(1 - b206) + 0.1*b212*(1 - b207) + 0.1*b212*(1 - b208) + 0.1*b212*(1
     - b209) - b212*(1 - b220) + 0.1*b212*(1 - b964) - b213*(1 - b121) + 0.1*
    b213*(1 - b217) + 0.1*b213*(1 - b218) + 0.1*b213*(1 - b219) - b213*(1 - 
    b220) - b213*(1 - b301) + 0.1*b213*(1 - b964) - b214*(1 - b122) - b214*(1
     - b217) + 0.1*b214*(1 - b218) + 0.1*b214*(1 - b219) + 0.1*b214*(1 - b220)
     - b214*(1 - b302) + 0.1*b214*(1 - b964) - b215*(1 - b123) + 0.1*b215*(1 - 
    b217) + 0.2*b215*(1 - b218) + 0.2*b215*(1 - b219) + 0.1*b215*(1 - b220) - 
    b215*(1 - b303) + 0.2*b215*(1 - b964) - b216*(1 - b124) + 0.1*b216*(1 - 
    b217) + 0.1*b216*(1 - b218) + 0.2*b216*(1 - b219) + 0.1*b216*(1 - b220) - 
    b216*(1 - b304) + 0.1*b216*(1 - b964) + 0.1*b217*(1 - b213) - b217*(1 - 
    b214) + 0.1*b217*(1 - b215) + 0.1*b217*(1 - b216) - b217*(1 - b224) + 0.1*
    b217*(1 - b964) - b218*(1 - b210) + 0.1*b218*(1 - b213) + 0.1*b218*(1 - 
    b214) + 0.2*b218*(1 - b215) + 0.1*b218*(1 - b216) + 0.2*b218*(1 - b964) - 
    b219*(1 - b211) + 0.1*b219*(1 - b213) + 0.1*b219*(1 - b214) + 0.2*b219*(1
     - b215) + 0.2*b219*(1 - b216) + 0.2*b219*(1 - b964) - b220*(1 - b212) - 
    b220*(1 - b213) + 0.1*b220*(1 - b214) + 0.1*b220*(1 - b215) + 0.1*b220*(1
     - b216) - b220*(1 - b226) + 0.1*b220*(1 - b964) - b221*(1 - b129) + 0.1*
    b221*(1 - b224) - b221*(1 - b225) + 0.1*b221*(1 - b226) - b221*(1 - b309)
     + 0.1*b221*(1 - b964) - b222*(1 - b130) + 0.1*b222*(1 - b224) + 0.1*b222*(
    1 - b225) + 0.1*b222*(1 - b226) - b222*(1 - b310) + 0.1*b222*(1 - b964) - 
    b223*(1 - b131) + 0.1*b223*(1 - b224) + 0.1*b223*(1 - b225) + 0.1*b223*(1
     - b226) - b223*(1 - b311) + 0.1*b223*(1 - b964) - b224*(1 - b217) + 0.1*
    b224*(1 - b221) + 0.1*b224*(1 - b222) + 0.1*b224*(1 - b223) - b224*(1 - 
    b229) + 0.1*b224*(1 - b964) - b225*(1 - b221) + 0.1*b225*(1 - b222) + 0.1*
    b225*(1 - b223) - b225*(1 - b230) + 0.1*b225*(1 - b964) - b226*(1 - b220)
     + 0.1*b226*(1 - b221) + 0.1*b226*(1 - b222) + 0.1*b226*(1 - b223) + 0.1*
    b226*(1 - b231) + 0.1*b226*(1 - b964) - b227*(1 - b133) - b227*(1 - b317)
     + 0.1*b227*(1 - b964) - b228*(1 - b134) + 0.1*b228*(1 - b229) + 0.1*b228*(
    1 - b230) - b228*(1 - b231) - b228*(1 - b318) + 0.1*b228*(1 - b964) - b229*
    (1 - b224) + 0.1*b229*(1 - b228) + 0.1*b229*(1 - b964) - b230*(1 - b225) + 
    0.1*b230*(1 - b228) - b230*(1 - b232) + 0.1*b230*(1 - b964) + 0.1*b231*(1
     - b226) - b231*(1 - b228) + 0.1*b231*(1 - b964) - b232*(1 - b230) - b232*(
    1 - b238) + 0.1*b232*(1 - b964) - b233*(1 - b141) + 0.1*b233*(1 - b237) - 
    b233*(1 - b327) + 0.1*b233*(1 - b964) - b234*(1 - b142) - b234*(1 - b328)
     + 0.1*b234*(1 - b964) - b235*(1 - b237) + 0.1*b235*(1 - b238) - b235*(1 - 
    b329) + 0.1*b235*(1 - b964) + 0.1*b236*(1 - b237) + 0.1*b236*(1 - b238) - 
    b236*(1 - b330) + 0.1*b236*(1 - b964) + 0.1*b237*(1 - b233) - b237*(1 - 
    b235) + 0.1*b237*(1 - b236) - b237*(1 - b244) + 0.1*b237*(1 - b964) - b238*
    (1 - b232) + 0.1*b238*(1 - b235) + 0.1*b238*(1 - b236) + 0.1*b238*(1 - b964
    ) - b239*(1 - b147) - b239*(1 - b243) + 0.1*b239*(1 - b334) + 0.1*b239*(1
     - b964) - b240*(1 - b148) + 0.1*b240*(1 - b243) - b240*(1 - b335) + 0.1*
    b240*(1 - b964) - b241*(1 - b243) + 0.1*b241*(1 - b336) + 0.1*b241*(1 - 
    b964) - b242*(1 - b149) + 0.1*b242*(1 - b244) - b242*(1 - b337) + 0.1*b242*
    (1 - b964) - b243*(1 - b239) + 0.1*b243*(1 - b240) - b243*(1 - b241) + 0.1*
    b243*(1 - b964) - b244*(1 - b237) + 0.1*b244*(1 - b242) - b244*(1 - b248)
     + 0.1*b244*(1 - b964) - b245*(1 - b247) + 0.1*b245*(1 - b248) + 0.1*b245*(
    1 - b964) - b246*(1 - b154) - b246*(1 - b344) + 0.1*b246*(1 - b964) - b247*
    (1 - b245) - b247*(1 - b252) + 0.1*b247*(1 - b964) - b248*(1 - b244) + 0.1*
    b248*(1 - b245) + 0.1*b248*(1 - b253) + 0.1*b248*(1 - b964) - b249*(1 - 
    b159) + 0.1*b249*(1 - b253) - b249*(1 - b349) + 0.1*b249*(1 - b964) - b250*
    (1 - b160) - b250*(1 - b254) - b250*(1 - b350) + 0.1*b250*(1 - b964) - b251
    *(1 - b161) + 0.1*b251*(1 - b252) + 0.2*b251*(1 - b253) - b251*(1 - b351)
     + 0.1*b251*(1 - b964) - b252*(1 - b247) + 0.1*b252*(1 - b251) - b252*(1 - 
    b259) + 0.1*b252*(1 - b964) + 0.1*b253*(1 - b248) + 0.1*b253*(1 - b249) + 
    0.2*b253*(1 - b251) - b253*(1 - b260) + 0.2*b253*(1 - b964) - b254*(1 - 
    b250) + 0.1*b254*(1 - b261) + 0.1*b254*(1 - b964) - b255*(1 - b167) - b255*
    (1 - b357) + 0.1*b255*(1 - b964) - b256*(1 - b168) + 0.2*b256*(1 - b259) + 
    0.1*b256*(1 - b260) + 0.2*b256*(1 - b261) + 0.1*b256*(1 - b262) - b256*(1
     - b358) + 0.1*b256*(1 - b964) - b257*(1 - b169) + 0.1*b257*(1 - b259) + 
    0.1*b257*(1 - b260) + 0.2*b257*(1 - b261) + 0.1*b257*(1 - b262) + 0.1*b257*
    (1 - b359) + 0.1*b257*(1 - b964) - b258*(1 - b170) + 0.1*b258*(1 - b259) + 
    0.2*b258*(1 - b260) + 0.1*b258*(1 - b261) - b258*(1 - b262) - b258*(1 - 
    b360) + 0.1*b258*(1 - b964) - b259*(1 - b252) + 0.2*b259*(1 - b256) + 0.1*
    b259*(1 - b257) + 0.1*b259*(1 - b258) - b259*(1 - b266) + 0.1*b259*(1 - 
    b964) - b260*(1 - b253) + 0.1*b260*(1 - b256) + 0.1*b260*(1 - b257) + 0.2*
    b260*(1 - b258) - b260*(1 - b267) + 0.2*b260*(1 - b964) + 0.1*b261*(1 - 
    b254) + 0.2*b261*(1 - b256) + 0.2*b261*(1 - b257) + 0.1*b261*(1 - b258) - 
    b261*(1 - b268) + 0.1*b261*(1 - b964) + 0.1*b262*(1 - b256) + 0.1*b262*(1
     - b257) - b262*(1 - b258) + 0.1*b262*(1 - b964) - b263*(1 - b176) - b263*(
    1 - b266) + 0.1*b263*(1 - b267) + 0.2*b263*(1 - b268) + 0.1*b263*(1 - b964)
     - b264*(1 - b177) + 0.1*b264*(1 - b266) + 0.1*b264*(1 - b267) - b264*(1 - 
    b367) + 0.1*b264*(1 - b964) - b265*(1 - b178) + 0.1*b265*(1 - b267) - b265*
    (1 - b368) + 0.1*b265*(1 - b964) - b266*(1 - b259) - b266*(1 - b263) + 0.1*
    b266*(1 - b264) + 0.1*b266*(1 - b964) - b267*(1 - b260) + 0.1*b267*(1 - 
    b263) + 0.1*b267*(1 - b264) + 0.1*b267*(1 - b265) - b267*(1 - b274) + 0.2*
    b267*(1 - b964) - b268*(1 - b261) + 0.2*b268*(1 - b263) - b268*(1 - b275)
     + 0.1*b268*(1 - b964) - b269*(1 - b183) + 0.1*b269*(1 - b274) - b269*(1 - 
    b275) - b269*(1 - b373) + 0.1*b269*(1 - b964) - b270*(1 - b184) + 0.1*b270*
    (1 - b273) + 0.1*b270*(1 - b274) + 0.1*b270*(1 - b275) + 0.1*b270*(1 - b276
    ) - b270*(1 - b374) + 0.1*b270*(1 - b964) - b271*(1 - b185) + 0.1*b271*(1
     - b273) - b271*(1 - b274) + 0.1*b271*(1 - b275) + 0.1*b271*(1 - b276) + 
    0.2*b271*(1 - b964) - b272*(1 - b186) + 0.1*b272*(1 - b273) + 0.1*b272*(1
     - b274) + 0.1*b272*(1 - b276) - b272*(1 - b376) + 0.1*b272*(1 - b964) + 
    0.1*b273*(1 - b270) + 0.1*b273*(1 - b271) + 0.1*b273*(1 - b272) - b273*(1
     - b281) + 0.1*b273*(1 - b964) - b274*(1 - b267) + 0.1*b274*(1 - b269) + 
    0.1*b274*(1 - b270) - b274*(1 - b271) + 0.1*b274*(1 - b272) - b274*(1 - 
    b282) + 0.2*b274*(1 - b964) - b275*(1 - b268) - b275*(1 - b269) + 0.1*b275*
    (1 - b270) + 0.1*b275*(1 - b271) - b275*(1 - b283) + 0.1*b275*(1 - b964) + 
    0.1*b276*(1 - b270) + 0.1*b276*(1 - b271) + 0.1*b276*(1 - b272) - b276*(1
     - b284) + 0.1*b276*(1 - b964) - b277*(1 - b191) - b277*(1 - b281) + 0.1*
    b277*(1 - b282) + 0.1*b277*(1 - b284) - b277*(1 - b381) + 0.1*b277*(1 - 
    b964) - b278*(1 - b192) + 0.1*b278*(1 - b281) + 0.1*b278*(1 - b282) + 0.1*
    b278*(1 - b283) + 0.1*b278*(1 - b284) - b278*(1 - b382) + 0.1*b278*(1 - 
    b964) - b279*(1 - b193) + 0.1*b279*(1 - b281) + 0.1*b279*(1 - b282) - b279*
    (1 - b284) - b279*(1 - b383) + 0.1*b279*(1 - b964) - b280*(1 - b194) + 0.1*
    b280*(1 - b282) + 0.1*b280*(1 - b283) + 0.1*b280*(1 - b284) - b280*(1 - 
    b384) + 0.1*b280*(1 - b964) - b281*(1 - b273) - b281*(1 - b277) + 0.1*b281*
    (1 - b278) + 0.1*b281*(1 - b279) + 0.1*b281*(1 - b964) - b282*(1 - b274) + 
    0.1*b282*(1 - b277) + 0.1*b282*(1 - b278) + 0.1*b282*(1 - b279) + 0.1*b282*
    (1 - b280) + 0.2*b282*(1 - b964) - b283*(1 - b275) + 0.1*b283*(1 - b278) + 
    0.1*b283*(1 - b280) + 0.1*b283*(1 - b964) - b284*(1 - b276) + 0.1*b284*(1
     - b277) + 0.1*b284*(1 - b278) - b284*(1 - b279) + 0.1*b284*(1 - b280) + 
    0.1*b284*(1 - b964) - b285*(1 - b199) + 0.1*b285*(1 - b289) + 0.1*b285*(1
     - b291) + 0.1*b285*(1 - b292) - b285*(1 - b390) + 0.1*b285*(1 - b964) + 
    0.1*b286*(1 - b289) + 0.1*b286*(1 - b291) + 0.1*b286*(1 - b292) - b286*(1
     - b391) + 0.1*b286*(1 - b964) - b287*(1 - b201) + 0.1*b287*(1 - b289) + 
    0.1*b287*(1 - b290) + 0.1*b287*(1 - b291) + 0.1*b287*(1 - b292) - b287*(1
     - b392) + 0.1*b287*(1 - b964) + 0.1*b288*(1 - b202) + 0.1*b288*(1 - b289)
     + 0.1*b288*(1 - b290) - b288*(1 - b291) + 0.1*b288*(1 - b292) - b288*(1 - 
    b393) + 0.1*b288*(1 - b964) + 0.1*b289*(1 - b285) + 0.1*b289*(1 - b286) + 
    0.1*b289*(1 - b287) + 0.1*b289*(1 - b288) - b289*(1 - b297) + 0.1*b289*(1
     - b964) + 0.1*b290*(1 - b287) + 0.1*b290*(1 - b288) - b290*(1 - b298) + 
    0.1*b290*(1 - b964) + 0.1*b291*(1 - b285) + 0.1*b291*(1 - b286) + 0.1*b291*
    (1 - b287) - b291*(1 - b288) - b291*(1 - b299) + 0.1*b291*(1 - b964) + 0.1*
    b292*(1 - b285) + 0.1*b292*(1 - b286) + 0.1*b292*(1 - b287) + 0.1*b292*(1
     - b288) - b292*(1 - b300) + 0.1*b292*(1 - b964) - b293*(1 - b206) + 0.1*
    b293*(1 - b297) + 0.1*b293*(1 - b298) + 0.1*b293*(1 - b299) - b293*(1 - 
    b300) - b293*(1 - b398) + 0.1*b293*(1 - b964) - b294*(1 - b207) + 0.1*b294*
    (1 - b297) + 0.1*b294*(1 - b298) - b294*(1 - b299) + 0.1*b294*(1 - b300) - 
    b294*(1 - b399) + 0.1*b294*(1 - b964) - b295*(1 - b208) - b295*(1 - b297)
     + 0.1*b295*(1 - b298) + 0.1*b295*(1 - b299) + 0.1*b295*(1 - b300) - b295*(
    1 - b400) + 0.1*b295*(1 - b964) + 0.1*b296*(1 - b209) + 0.1*b296*(1 - b297)
     + 0.1*b296*(1 - b298) - b296*(1 - b299) + 0.1*b296*(1 - b300) + 0.1*b296*(
    1 - b401) + 0.1*b296*(1 - b964) - b297*(1 - b289) + 0.1*b297*(1 - b293) + 
    0.1*b297*(1 - b294) - b297*(1 - b295) + 0.1*b297*(1 - b296) - b297*(1 - 
    b305) + 0.1*b297*(1 - b964) - b298*(1 - b290) + 0.1*b298*(1 - b293) + 0.1*
    b298*(1 - b294) + 0.1*b298*(1 - b295) + 0.1*b298*(1 - b296) - b298*(1 - 
    b306) + 0.1*b298*(1 - b964) - b299*(1 - b291) + 0.1*b299*(1 - b293) - b299*
    (1 - b294) + 0.1*b299*(1 - b295) - b299*(1 - b296) - b299*(1 - b307) + 0.1*
    b299*(1 - b964) - b300*(1 - b292) - b300*(1 - b293) + 0.1*b300*(1 - b294)
     + 0.1*b300*(1 - b295) + 0.1*b300*(1 - b296) - b300*(1 - b308) + 0.1*b300*(
    1 - b964) - b301*(1 - b213) + 0.1*b301*(1 - b305) + 0.1*b301*(1 - b306) + 
    0.1*b301*(1 - b307) + 0.1*b301*(1 - b308) - b301*(1 - b406) + 0.1*b301*(1
     - b964) - b302*(1 - b214) + 0.1*b302*(1 - b305) + 0.1*b302*(1 - b306) + 
    0.1*b302*(1 - b307) + 0.1*b302*(1 - b308) - b302*(1 - b407) + 0.1*b302*(1
     - b964) - b303*(1 - b215) + 0.1*b303*(1 - b305) + 0.1*b303*(1 - b307) + 
    0.1*b303*(1 - b308) - b303*(1 - b408) + 0.2*b303*(1 - b964) - b304*(1 - 
    b216) + 0.1*b304*(1 - b305) + 0.1*b304*(1 - b307) + 0.1*b304*(1 - b308) + 
    0.1*b304*(1 - b409) + 0.1*b304*(1 - b964) - b305*(1 - b297) + 0.1*b305*(1
     - b301) + 0.1*b305*(1 - b302) + 0.1*b305*(1 - b303) + 0.1*b305*(1 - b304)
     + 0.1*b305*(1 - b313) + 0.1*b305*(1 - b964) - b306*(1 - b298) + 0.1*b306*(
    1 - b301) + 0.1*b306*(1 - b302) - b306*(1 - b314) + 0.1*b306*(1 - b964) - 
    b307*(1 - b299) + 0.1*b307*(1 - b301) + 0.1*b307*(1 - b302) + 0.1*b307*(1
     - b303) + 0.1*b307*(1 - b304) - b307*(1 - b315) + 0.1*b307*(1 - b964) - 
    b308*(1 - b300) + 0.1*b308*(1 - b301) + 0.1*b308*(1 - b302) + 0.1*b308*(1
     - b303) + 0.1*b308*(1 - b304) - b308*(1 - b316) + 0.1*b308*(1 - b964) - 
    b309*(1 - b221) - b309*(1 - b313) + 0.1*b309*(1 - b314) + 0.1*b309*(1 - 
    b315) + 0.1*b309*(1 - b316) - b309*(1 - b414) + 0.1*b309*(1 - b964) - b310*
    (1 - b222) + 0.1*b310*(1 - b313) + 0.1*b310*(1 - b314) + 0.1*b310*(1 - b315
    ) + 0.1*b310*(1 - b316) - b310*(1 - b415) + 0.1*b310*(1 - b964) - b311*(1
     - b223) + 0.1*b311*(1 - b313) + 0.1*b311*(1 - b314) + 0.1*b311*(1 - b315)
     + 0.1*b311*(1 - b316) - b311*(1 - b416) + 0.1*b311*(1 - b964) + 0.1*b312*(
    1 - b313) + 0.1*b312*(1 - b314) + 0.1*b312*(1 - b315) + 0.1*b312*(1 - b316)
     - b312*(1 - b417) + 0.1*b312*(1 - b964) + 0.1*b313*(1 - b305) - b313*(1 - 
    b309) + 0.1*b313*(1 - b310) + 0.1*b313*(1 - b311) + 0.1*b313*(1 - b312) + 
    0.1*b313*(1 - b964) - b314*(1 - b306) + 0.1*b314*(1 - b309) + 0.1*b314*(1
     - b310) + 0.1*b314*(1 - b311) + 0.1*b314*(1 - b312) - b314*(1 - b320) + 
    0.1*b314*(1 - b964) - b315*(1 - b307) + 0.1*b315*(1 - b309) + 0.1*b315*(1
     - b310) + 0.1*b315*(1 - b311) + 0.1*b315*(1 - b312) + 0.1*b315*(1 - b321)
     + 0.1*b315*(1 - b964) - b316*(1 - b308) + 0.1*b316*(1 - b309) + 0.1*b316*(
    1 - b310) + 0.1*b316*(1 - b311) + 0.1*b316*(1 - b312) + 0.1*b316*(1 - b322)
     + 0.1*b316*(1 - b964) - b317*(1 - b227) + 0.1*b317*(1 - b422) + 0.1*b317*(
    1 - b964) - b318*(1 - b228) + 0.1*b318*(1 - b319) - b318*(1 - b320) - b318*
    (1 - b321) - b318*(1 - b322) - b318*(1 - b423) + 0.1*b318*(1 - b964) + 0.1*
    b319*(1 - b318) - b319*(1 - b324) + 0.1*b319*(1 - b964) - b320*(1 - b314)
     - b320*(1 - b318) + 0.1*b320*(1 - b964) + 0.1*b321*(1 - b315) - b321*(1 - 
    b318) - b321*(1 - b325) + 0.1*b321*(1 - b964) + 0.1*b322*(1 - b316) - b322*
    (1 - b318) + 0.1*b322*(1 - b326) + 0.1*b322*(1 - b964) + 0.1*b323*(1 - b324
    ) + 0.1*b323*(1 - b325) - b323*(1 - b326) - b323*(1 - b427) + 0.1*b323*(1
     - b964) - b324*(1 - b319) + 0.1*b324*(1 - b323) - b324*(1 - b331) + 0.1*
    b324*(1 - b964) - b325*(1 - b321) + 0.1*b325*(1 - b323) - b325*(1 - b332)
     + 0.1*b325*(1 - b964) + 0.1*b326*(1 - b322) - b326*(1 - b323) - b326*(1 - 
    b333) + 0.1*b326*(1 - b964) - b327*(1 - b233) + 0.1*b327*(1 - b331) + 0.1*
    b327*(1 - b332) + 0.1*b327*(1 - b333) - b327*(1 - b433) + 0.1*b327*(1 - 
    b964) - b328*(1 - b234) + 0.1*b328*(1 - b331) - b328*(1 - b434) + 0.1*b328*
    (1 - b964) - b329*(1 - b235) - b329*(1 - b435) + 0.1*b329*(1 - b964) - b330
    *(1 - b236) + 0.1*b330*(1 - b332) + 0.1*b330*(1 - b333) - b330*(1 - b436)
     + 0.1*b330*(1 - b964) - b331*(1 - b324) + 0.1*b331*(1 - b327) + 0.1*b331*(
    1 - b328) - b331*(1 - b338) + 0.1*b331*(1 - b964) - b332*(1 - b325) + 0.1*
    b332*(1 - b327) + 0.1*b332*(1 - b330) + 0.1*b332*(1 - b964) - b333*(1 - 
    b326) + 0.1*b333*(1 - b327) + 0.1*b333*(1 - b330) - b333*(1 - b340) + 0.1*
    b333*(1 - b964) + 0.1*b334*(1 - b239) + 0.1*b334*(1 - b339) - b334*(1 - 
    b439) + 0.1*b334*(1 - b964) - b335*(1 - b240) + 0.1*b335*(1 - b339) + 0.1*
    b335*(1 - b340) - b335*(1 - b440) + 0.1*b335*(1 - b964) + 0.1*b336*(1 - 
    b241) + 0.1*b336*(1 - b339) - b336*(1 - b441) + 0.1*b336*(1 - b964) - b337*
    (1 - b242) - b337*(1 - b442) + 0.1*b337*(1 - b964) - b338*(1 - b331) - b338
    *(1 - b345) + 0.1*b338*(1 - b964) + 0.1*b339*(1 - b334) + 0.1*b339*(1 - 
    b335) + 0.1*b339*(1 - b336) - b339*(1 - b347) + 0.1*b339*(1 - b964) - b340*
    (1 - b333) + 0.1*b340*(1 - b335) - b340*(1 - b348) + 0.1*b340*(1 - b964) + 
    0.1*b341*(1 - b345) + 0.1*b341*(1 - b346) - b341*(1 - b348) - b341*(1 - 
    b446) + 0.1*b341*(1 - b964) + 0.1*b342*(1 - b345) + 0.1*b342*(1 - b346) - 
    b342*(1 - b348) + 0.1*b342*(1 - b447) + 0.1*b342*(1 - b964) + 0.1*b343*(1
     - b345) - b343*(1 - b346) + 0.1*b343*(1 - b348) - b343*(1 - b448) + 0.1*
    b343*(1 - b964) - b344*(1 - b246) + 0.1*b344*(1 - b345) + 0.1*b344*(1 - 
    b346) - b344*(1 - b348) + 0.1*b344*(1 - b449) + 0.1*b344*(1 - b964) - b345*
    (1 - b338) + 0.1*b345*(1 - b341) + 0.1*b345*(1 - b342) + 0.1*b345*(1 - b343
    ) + 0.1*b345*(1 - b344) - b345*(1 - b353) + 0.1*b345*(1 - b964) + 0.1*b346*
    (1 - b341) + 0.1*b346*(1 - b342) - b346*(1 - b343) + 0.1*b346*(1 - b344) - 
    b346*(1 - b354) + 0.1*b346*(1 - b964) - b347*(1 - b339) - b347*(1 - b355)
     + 0.1*b347*(1 - b964) - b348*(1 - b340) - b348*(1 - b341) - b348*(1 - b342
    ) + 0.1*b348*(1 - b343) - b348*(1 - b344) - b348*(1 - b356) + 0.1*b348*(1
     - b964) - b349*(1 - b249) - b349*(1 - b353) + 0.1*b349*(1 - b354) + 0.1*
    b349*(1 - b355) + 0.1*b349*(1 - b356) - b349*(1 - b453) + 0.1*b349*(1 - 
    b964) - b350*(1 - b250) + 0.1*b350*(1 - b354) + 0.2*b350*(1 - b356) - b350*
    (1 - b454) + 0.1*b350*(1 - b964) - b351*(1 - b251) + 0.1*b351*(1 - b353) - 
    b351*(1 - b355) + 0.1*b351*(1 - b455) + 0.1*b351*(1 - b964) + 0.1*b352*(1
     - b353) + 0.1*b352*(1 - b354) + 0.1*b352*(1 - b356) - b352*(1 - b456) + 
    0.1*b352*(1 - b964) - b353*(1 - b345) - b353*(1 - b349) + 0.1*b353*(1 - 
    b351) + 0.1*b353*(1 - b352) - b353*(1 - b361) + 0.1*b353*(1 - b964) - b354*
    (1 - b346) + 0.1*b354*(1 - b349) + 0.1*b354*(1 - b350) + 0.1*b354*(1 - b352
    ) - b354*(1 - b362) + 0.1*b354*(1 - b964) - b355*(1 - b347) + 0.1*b355*(1
     - b349) - b355*(1 - b351) - b355*(1 - b363) + 0.1*b355*(1 - b964) - b356*(
    1 - b348) + 0.1*b356*(1 - b349) + 0.2*b356*(1 - b350) + 0.1*b356*(1 - b352)
     - b356*(1 - b364) + 0.1*b356*(1 - b964) - b357*(1 - b255) + 0.1*b357*(1 - 
    b362) + 0.1*b357*(1 - b364) - b357*(1 - b460) + 0.1*b357*(1 - b964) - b358*
    (1 - b256) + 0.1*b358*(1 - b363) - b358*(1 - b461) + 0.1*b358*(1 - b964) + 
    0.1*b359*(1 - b257) + 0.1*b359*(1 - b361) - b359*(1 - b363) + 0.1*b359*(1
     - b462) + 0.1*b359*(1 - b964) - b360*(1 - b258) + 0.1*b360*(1 - b361) + 
    0.2*b360*(1 - b363) - b360*(1 - b463) + 0.1*b360*(1 - b964) - b361*(1 - 
    b353) + 0.1*b361*(1 - b359) + 0.1*b361*(1 - b360) - b361*(1 - b369) + 0.1*
    b361*(1 - b964) - b362*(1 - b354) + 0.1*b362*(1 - b357) - b362*(1 - b370)
     + 0.1*b362*(1 - b964) - b363*(1 - b355) + 0.1*b363*(1 - b358) - b363*(1 - 
    b359) + 0.2*b363*(1 - b360) - b363*(1 - b371) + 0.1*b363*(1 - b964) - b364*
    (1 - b356) + 0.1*b364*(1 - b357) - b364*(1 - b372) + 0.1*b364*(1 - b964) + 
    0.1*b365*(1 - b369) + 0.1*b365*(1 - b370) + 0.1*b365*(1 - b372) - b365*(1
     - b467) + 0.1*b365*(1 - b964) + 0.1*b366*(1 - b369) - b366*(1 - b370) + 
    0.1*b366*(1 - b372) - b366*(1 - b468) + 0.1*b366*(1 - b964) - b367*(1 - 
    b264) + 0.1*b367*(1 - b370) + 0.2*b367*(1 - b372) - b367*(1 - b469) + 0.1*
    b367*(1 - b964) - b368*(1 - b265) + 0.1*b368*(1 - b369) + 0.1*b368*(1 - 
    b370) + 0.1*b368*(1 - b371) - b368*(1 - b470) + 0.1*b368*(1 - b964) - b369*
    (1 - b361) + 0.1*b369*(1 - b365) + 0.1*b369*(1 - b366) + 0.1*b369*(1 - b368
    ) - b369*(1 - b377) + 0.1*b369*(1 - b964) - b370*(1 - b362) + 0.1*b370*(1
     - b365) - b370*(1 - b366) + 0.1*b370*(1 - b367) + 0.1*b370*(1 - b368) - 
    b370*(1 - b378) + 0.1*b370*(1 - b964) - b371*(1 - b363) + 0.1*b371*(1 - 
    b368) - b371*(1 - b379) + 0.1*b371*(1 - b964) - b372*(1 - b364) + 0.1*b372*
    (1 - b365) + 0.1*b372*(1 - b366) + 0.2*b372*(1 - b367) - b372*(1 - b380) + 
    0.1*b372*(1 - b964) - b373*(1 - b269) + 0.1*b373*(1 - b379) + 0.1*b373*(1
     - b475) + 0.1*b373*(1 - b964) - b374*(1 - b270) + 0.1*b374*(1 - b377) + 
    0.2*b374*(1 - b379) - b374*(1 - b476) + 0.1*b374*(1 - b964) + 0.1*b375*(1
     - b377) + 0.2*b375*(1 - b378) + 0.1*b375*(1 - b380) - b375*(1 - b477) + 
    0.1*b375*(1 - b964) - b376*(1 - b272) + 0.2*b376*(1 - b377) + 0.1*b376*(1
     - b378) + 0.1*b376*(1 - b379) - b376*(1 - b478) + 0.1*b376*(1 - b964) - 
    b377*(1 - b369) + 0.1*b377*(1 - b374) + 0.1*b377*(1 - b375) + 0.2*b377*(1
     - b376) - b377*(1 - b385) + 0.1*b377*(1 - b964) - b378*(1 - b370) + 0.2*
    b378*(1 - b375) + 0.1*b378*(1 - b376) - b378*(1 - b386) + 0.1*b378*(1 - 
    b964) - b379*(1 - b371) + 0.1*b379*(1 - b373) + 0.2*b379*(1 - b374) + 0.1*
    b379*(1 - b376) - b379*(1 - b387) + 0.1*b379*(1 - b964) - b380*(1 - b372)
     + 0.1*b380*(1 - b375) + 0.1*b380*(1 - b964) - b381*(1 - b277) + 0.1*b381*(
    1 - b385) + 0.1*b381*(1 - b386) + 0.1*b381*(1 - b387) - b381*(1 - b483) + 
    0.1*b381*(1 - b964) - b382*(1 - b278) + 0.2*b382*(1 - b385) + 0.1*b382*(1
     - b386) + 0.1*b382*(1 - b387) - b382*(1 - b484) + 0.1*b382*(1 - b964) - 
    b383*(1 - b279) + 0.1*b383*(1 - b385) + 0.1*b383*(1 - b386) + 0.1*b383*(1
     - b387) - b383*(1 - b485) + 0.1*b383*(1 - b964) - b384*(1 - b280) + 0.1*
    b384*(1 - b387) - b384*(1 - b486) + 0.1*b384*(1 - b964) - b385*(1 - b377)
     + 0.1*b385*(1 - b381) + 0.2*b385*(1 - b382) + 0.1*b385*(1 - b383) + 0.1*
    b385*(1 - b964) - b386*(1 - b378) + 0.1*b386*(1 - b381) + 0.1*b386*(1 - 
    b382) + 0.1*b386*(1 - b383) + 0.1*b386*(1 - b964) - b387*(1 - b379) + 0.1*
    b387*(1 - b381) + 0.1*b387*(1 - b382) + 0.1*b387*(1 - b383) + 0.1*b387*(1
     - b384) + 0.1*b387*(1 - b964) - b388*(1 - b389) - b388*(1 - b491) + 0.1*
    b388*(1 - b964) - b389*(1 - b388) - b389*(1 - b395) + 0.1*b389*(1 - b964)
     - b390*(1 - b285) + 0.1*b390*(1 - b394) + 0.2*b390*(1 - b395) + 0.1*b390*(
    1 - b396) + 0.1*b390*(1 - b397) - b390*(1 - b494) + 0.1*b390*(1 - b964) - 
    b391*(1 - b286) + 0.1*b391*(1 - b394) + 0.2*b391*(1 - b395) + 0.1*b391*(1
     - b396) - b391*(1 - b397) - b391*(1 - b495) + 0.1*b391*(1 - b964) - b392*(
    1 - b287) + 0.1*b392*(1 - b394) + 0.1*b392*(1 - b395) - b392*(1 - b396) + 
    0.1*b392*(1 - b397) - b392*(1 - b496) + 0.1*b392*(1 - b964) - b393*(1 - 
    b288) + 0.1*b393*(1 - b394) + 0.1*b393*(1 - b395) + 0.1*b393*(1 - b396) + 
    0.1*b393*(1 - b397) - b393*(1 - b497) + 0.1*b393*(1 - b964) + 0.1*b394*(1
     - b390) + 0.1*b394*(1 - b391) + 0.1*b394*(1 - b392) + 0.1*b394*(1 - b393)
     - b394*(1 - b402) + 0.1*b394*(1 - b964) - b395*(1 - b389) + 0.2*b395*(1 - 
    b390) + 0.2*b395*(1 - b391) + 0.1*b395*(1 - b392) + 0.1*b395*(1 - b393) - 
    b395*(1 - b403) + 0.1*b395*(1 - b964) + 0.1*b396*(1 - b390) + 0.1*b396*(1
     - b391) - b396*(1 - b392) + 0.1*b396*(1 - b393) - b396*(1 - b404) + 0.1*
    b396*(1 - b964) + 0.1*b397*(1 - b390) - b397*(1 - b391) + 0.1*b397*(1 - 
    b392) + 0.1*b397*(1 - b393) + 0.1*b397*(1 - b405) + 0.1*b397*(1 - b964) - 
    b398*(1 - b293) + 0.1*b398*(1 - b402) + 0.1*b398*(1 - b403) + 0.1*b398*(1
     - b404) + 0.1*b398*(1 - b405) - b398*(1 - b502) + 0.1*b398*(1 - b964) - 
    b399*(1 - b294) + 0.1*b399*(1 - b402) + 0.1*b399*(1 - b403) + 0.1*b399*(1
     - b404) + 0.1*b399*(1 - b405) + 0.1*b399*(1 - b503) + 0.1*b399*(1 - b964)
     - b400*(1 - b295) + 0.1*b400*(1 - b402) + 0.1*b400*(1 - b403) + 0.1*b400*(
    1 - b404) + 0.1*b400*(1 - b405) - b400*(1 - b504) + 0.1*b400*(1 - b964) + 
    0.1*b401*(1 - b296) + 0.1*b401*(1 - b402) + 0.2*b401*(1 - b403) + 0.1*b401*
    (1 - b404) - b401*(1 - b405) - b401*(1 - b505) + 0.1*b401*(1 - b964) - b402
    *(1 - b394) + 0.1*b402*(1 - b398) + 0.1*b402*(1 - b399) + 0.1*b402*(1 - 
    b400) + 0.1*b402*(1 - b401) - b402*(1 - b410) + 0.1*b402*(1 - b964) - b403*
    (1 - b395) + 0.1*b403*(1 - b398) + 0.1*b403*(1 - b399) + 0.1*b403*(1 - b400
    ) + 0.2*b403*(1 - b401) - b403*(1 - b411) + 0.1*b403*(1 - b964) - b404*(1
     - b396) + 0.1*b404*(1 - b398) + 0.1*b404*(1 - b399) + 0.1*b404*(1 - b400)
     + 0.1*b404*(1 - b401) - b404*(1 - b412) + 0.1*b404*(1 - b964) + 0.1*b405*(
    1 - b397) + 0.1*b405*(1 - b398) + 0.1*b405*(1 - b399) + 0.1*b405*(1 - b400)
     - b405*(1 - b401) + 0.1*b405*(1 - b413) + 0.1*b405*(1 - b964) - b406*(1 - 
    b301) + 0.1*b406*(1 - b410) + 0.1*b406*(1 - b411) + 0.1*b406*(1 - b412) - 
    b406*(1 - b413) - b406*(1 - b510) + 0.1*b406*(1 - b964) - b407*(1 - b302)
     - b407*(1 - b410) + 0.1*b407*(1 - b411) + 0.1*b407*(1 - b412) + 0.1*b407*(
    1 - b413) - b407*(1 - b511) + 0.1*b407*(1 - b964) - b408*(1 - b303) + 0.1*
    b408*(1 - b410) + 0.1*b408*(1 - b412) + 0.1*b408*(1 - b413) + 0.2*b408*(1
     - b964) + 0.1*b409*(1 - b304) + 0.1*b409*(1 - b410) + 0.1*b409*(1 - b411)
     + 0.1*b409*(1 - b412) - b409*(1 - b413) - b409*(1 - b513) + 0.1*b409*(1 - 
    b964) - b410*(1 - b402) + 0.1*b410*(1 - b406) - b410*(1 - b407) + 0.1*b410*
    (1 - b408) + 0.1*b410*(1 - b409) + 0.1*b410*(1 - b418) + 0.1*b410*(1 - b964
    ) - b411*(1 - b403) + 0.1*b411*(1 - b406) + 0.1*b411*(1 - b407) + 0.1*b411*
    (1 - b409) - b411*(1 - b419) + 0.1*b411*(1 - b964) - b412*(1 - b404) + 0.1*
    b412*(1 - b406) + 0.1*b412*(1 - b407) + 0.1*b412*(1 - b408) + 0.1*b412*(1
     - b409) - b412*(1 - b420) + 0.1*b412*(1 - b964) + 0.1*b413*(1 - b405) - 
    b413*(1 - b406) + 0.1*b413*(1 - b407) + 0.1*b413*(1 - b408) - b413*(1 - 
    b409) + 0.1*b413*(1 - b421) + 0.1*b413*(1 - b964) - b414*(1 - b309) + 0.1*
    b414*(1 - b418) + 0.1*b414*(1 - b420) + 0.1*b414*(1 - b421) - b414*(1 - 
    b517) + 0.1*b414*(1 - b964) - b415*(1 - b310) - b415*(1 - b418) + 0.1*b415*
    (1 - b420) + 0.1*b415*(1 - b421) - b415*(1 - b518) + 0.1*b415*(1 - b964) - 
    b416*(1 - b311) + 0.1*b416*(1 - b418) + 0.1*b416*(1 - b420) - b416*(1 - 
    b421) - b416*(1 - b519) + 0.1*b416*(1 - b964) - b417*(1 - b312) + 0.1*b417*
    (1 - b418) + 0.1*b417*(1 - b420) + 0.1*b417*(1 - b421) - b417*(1 - b520) + 
    0.1*b417*(1 - b964) + 0.1*b418*(1 - b410) + 0.1*b418*(1 - b414) - b418*(1
     - b415) + 0.1*b418*(1 - b416) + 0.1*b418*(1 - b417) - b418*(1 - b424) + 
    0.1*b418*(1 - b964) - b419*(1 - b411) + 0.1*b419*(1 - b425) + 0.1*b419*(1
     - b964) - b420*(1 - b412) + 0.1*b420*(1 - b414) + 0.1*b420*(1 - b415) + 
    0.1*b420*(1 - b416) + 0.1*b420*(1 - b417) + 0.1*b420*(1 - b964) + 0.1*b421*
    (1 - b413) + 0.1*b421*(1 - b414) + 0.1*b421*(1 - b415) - b421*(1 - b416) + 
    0.1*b421*(1 - b417) - b421*(1 - b426) + 0.1*b421*(1 - b964) + 0.1*b422*(1
     - b317) + 0.1*b422*(1 - b424) + 0.1*b422*(1 - b426) - b422*(1 - b525) + 
    0.1*b422*(1 - b964) - b423*(1 - b318) + 0.1*b423*(1 - b424) + 0.1*b423*(1
     - b426) - b423*(1 - b527) + 0.1*b423*(1 - b964) - b424*(1 - b418) + 0.1*
    b424*(1 - b422) + 0.1*b424*(1 - b423) + 0.1*b424*(1 - b964) + 0.1*b425*(1
     - b419) - b425*(1 - b431) + 0.1*b425*(1 - b964) - b426*(1 - b421) + 0.1*
    b426*(1 - b422) + 0.1*b426*(1 - b423) - b426*(1 - b432) + 0.1*b426*(1 - 
    b964) - b427*(1 - b323) + 0.1*b427*(1 - b431) - b427*(1 - b531) + 0.1*b427*
    (1 - b964) - b428*(1 - b431) - b428*(1 - b532) + 0.1*b428*(1 - b964) - b429
    *(1 - b431) - b429*(1 - b533) + 0.1*b429*(1 - b964) - b430*(1 - b431) + 0.1
    *b430*(1 - b534) + 0.1*b430*(1 - b964) - b431*(1 - b425) + 0.1*b431*(1 - 
    b427) - b431*(1 - b428) - b431*(1 - b429) - b431*(1 - b430) - b431*(1 - 
    b437) + 0.1*b431*(1 - b964) - b432*(1 - b426) - b432*(1 - b438) + 0.1*b432*
    (1 - b964) - b433*(1 - b327) - b433*(1 - b539) + 0.1*b433*(1 - b964) - b434
    *(1 - b328) + 0.1*b434*(1 - b540) + 0.1*b434*(1 - b964) - b435*(1 - b329)
     - b435*(1 - b541) + 0.1*b435*(1 - b964) - b436*(1 - b330) + 0.1*b436*(1 - 
    b437) + 0.1*b436*(1 - b438) - b436*(1 - b542) + 0.1*b436*(1 - b964) - b437*
    (1 - b431) + 0.1*b437*(1 - b436) - b437*(1 - b444) + 0.1*b437*(1 - b964) - 
    b438*(1 - b432) + 0.1*b438*(1 - b436) + 0.1*b438*(1 - b445) + 0.1*b438*(1
     - b964) - b439*(1 - b334) + 0.1*b439*(1 - b443) + 0.1*b439*(1 - b444) - 
    b439*(1 - b547) + 0.1*b439*(1 - b964) - b440*(1 - b335) + 0.1*b440*(1 - 
    b443) - b440*(1 - b444) + 0.1*b440*(1 - b964) - b441*(1 - b336) + 0.1*b441*
    (1 - b443) + 0.1*b441*(1 - b444) - b441*(1 - b549) + 0.1*b441*(1 - b964) - 
    b442*(1 - b337) - b442*(1 - b550) + 0.1*b442*(1 - b964) + 0.1*b443*(1 - 
    b439) + 0.1*b443*(1 - b440) + 0.1*b443*(1 - b441) - b443*(1 - b450) + 0.1*
    b443*(1 - b964) - b444*(1 - b437) + 0.1*b444*(1 - b439) - b444*(1 - b440)
     + 0.1*b444*(1 - b441) - b444*(1 - b451) + 0.1*b444*(1 - b964) + 0.1*b445*(
    1 - b438) - b445*(1 - b452) + 0.1*b445*(1 - b964) - b446*(1 - b341) + 0.1*
    b446*(1 - b451) - b446*(1 - b555) + 0.1*b446*(1 - b964) + 0.1*b447*(1 - 
    b342) + 0.1*b447*(1 - b450) - b447*(1 - b451) - b447*(1 - b556) + 0.1*b447*
    (1 - b964) - b448*(1 - b343) + 0.1*b448*(1 - b451) - b448*(1 - b557) + 0.1*
    b448*(1 - b964) + 0.1*b449*(1 - b344) + 0.1*b449*(1 - b451) - b449*(1 - 
    b558) + 0.1*b449*(1 - b964) - b450*(1 - b443) + 0.1*b450*(1 - b447) - b450*
    (1 - b457) + 0.1*b450*(1 - b964) - b451*(1 - b444) + 0.1*b451*(1 - b446) - 
    b451*(1 - b447) + 0.1*b451*(1 - b448) + 0.1*b451*(1 - b449) - b451*(1 - 
    b458) + 0.1*b451*(1 - b964) - b452*(1 - b445) - b452*(1 - b459) + 0.1*b452*
    (1 - b964) - b453*(1 - b349) + 0.1*b453*(1 - b459) - b453*(1 - b563) + 0.1*
    b453*(1 - b964) - b454*(1 - b350) + 0.2*b454*(1 - b458) - b454*(1 - b564)
     + 0.1*b454*(1 - b964) + 0.1*b455*(1 - b351) + 0.1*b455*(1 - b457) - b455*(
    1 - b458) + 0.1*b455*(1 - b565) + 0.1*b455*(1 - b964) - b456*(1 - b352) + 
    0.1*b456*(1 - b458) - b456*(1 - b566) + 0.1*b456*(1 - b964) - b457*(1 - 
    b450) + 0.1*b457*(1 - b455) - b457*(1 - b464) + 0.1*b457*(1 - b964) - b458*
    (1 - b451) + 0.2*b458*(1 - b454) - b458*(1 - b455) + 0.1*b458*(1 - b456) - 
    b458*(1 - b465) + 0.1*b458*(1 - b964) - b459*(1 - b452) + 0.1*b459*(1 - 
    b453) - b459*(1 - b466) + 0.1*b459*(1 - b964) - b460*(1 - b357) + 0.1*b460*
    (1 - b465) - b460*(1 - b571) + 0.1*b460*(1 - b964) - b461*(1 - b358) - b461
    *(1 - b464) + 0.1*b461*(1 - b465) + 0.1*b461*(1 - b466) + 0.1*b461*(1 - 
    b964) + 0.1*b462*(1 - b359) + 0.1*b462*(1 - b464) - b462*(1 - b465) + 0.2*
    b462*(1 - b573) + 0.1*b462*(1 - b964) - b463*(1 - b360) + 0.1*b463*(1 - 
    b464) - b463*(1 - b466) - b463*(1 - b574) + 0.1*b463*(1 - b964) - b464*(1
     - b457) - b464*(1 - b461) + 0.1*b464*(1 - b462) + 0.1*b464*(1 - b463) + 
    0.1*b464*(1 - b964) - b465*(1 - b458) + 0.1*b465*(1 - b460) + 0.1*b465*(1
     - b461) - b465*(1 - b462) - b465*(1 - b472) + 0.1*b465*(1 - b964) - b466*(
    1 - b459) + 0.1*b466*(1 - b461) - b466*(1 - b463) - b466*(1 - b474) + 0.1*
    b466*(1 - b964) - b467*(1 - b365) + 0.1*b467*(1 - b471) + 0.1*b467*(1 - 
    b472) - b467*(1 - b473) - b467*(1 - b579) + 0.1*b467*(1 - b964) - b468*(1
     - b366) + 0.1*b468*(1 - b471) + 0.1*b468*(1 - b472) + 0.1*b468*(1 - b473)
     + 0.1*b468*(1 - b580) + 0.1*b468*(1 - b964) - b469*(1 - b367) + 0.2*b469*(
    1 - b472) + 0.1*b469*(1 - b473) - b469*(1 - b581) + 0.1*b469*(1 - b964) - 
    b470*(1 - b368) - b470*(1 - b471) + 0.1*b470*(1 - b473) + 0.1*b470*(1 - 
    b474) - b470*(1 - b582) + 0.1*b470*(1 - b964) + 0.1*b471*(1 - b467) + 0.1*
    b471*(1 - b468) - b471*(1 - b470) - b471*(1 - b479) + 0.1*b471*(1 - b964)
     - b472*(1 - b465) + 0.1*b472*(1 - b467) + 0.1*b472*(1 - b468) + 0.2*b472*(
    1 - b469) + 0.1*b472*(1 - b480) + 0.1*b472*(1 - b964) - b473*(1 - b467) + 
    0.1*b473*(1 - b468) + 0.1*b473*(1 - b469) + 0.1*b473*(1 - b470) - b473*(1
     - b481) + 0.1*b473*(1 - b964) - b474*(1 - b466) + 0.1*b474*(1 - b470) + 
    0.1*b474*(1 - b482) + 0.1*b474*(1 - b964) + 0.1*b475*(1 - b373) + 0.1*b475*
    (1 - b482) - b475*(1 - b587) + 0.1*b475*(1 - b964) - b476*(1 - b374) + 0.1*
    b476*(1 - b479) + 0.1*b476*(1 - b482) - b476*(1 - b588) + 0.1*b476*(1 - 
    b964) - b477*(1 - b375) + 0.1*b477*(1 - b479) - b477*(1 - b480) + 0.1*b477*
    (1 - b481) + 0.1*b477*(1 - b482) - b477*(1 - b589) + 0.1*b477*(1 - b964) - 
    b478*(1 - b376) + 0.1*b478*(1 - b479) + 0.1*b478*(1 - b480) + 0.1*b478*(1
     - b481) + 0.2*b478*(1 - b482) - b478*(1 - b590) + 0.1*b478*(1 - b964) - 
    b479*(1 - b471) + 0.1*b479*(1 - b476) + 0.1*b479*(1 - b477) + 0.1*b479*(1
     - b478) - b479*(1 - b487) + 0.1*b479*(1 - b964) + 0.1*b480*(1 - b472) - 
    b480*(1 - b477) + 0.1*b480*(1 - b478) + 0.1*b480*(1 - b488) + 0.1*b480*(1
     - b964) - b481*(1 - b473) + 0.1*b481*(1 - b477) + 0.1*b481*(1 - b478) - 
    b481*(1 - b489) + 0.1*b481*(1 - b964) + 0.1*b482*(1 - b474) + 0.1*b482*(1
     - b475) + 0.1*b482*(1 - b476) + 0.1*b482*(1 - b477) + 0.2*b482*(1 - b478)
     - b482*(1 - b490) + 0.1*b482*(1 - b964) - b483*(1 - b381) + 0.1*b483*(1 - 
    b487) + 0.1*b483*(1 - b488) + 0.1*b483*(1 - b489) + 0.1*b483*(1 - b490) - 
    b483*(1 - b595) + 0.1*b483*(1 - b964) - b484*(1 - b382) + 0.2*b484*(1 - 
    b487) - b484*(1 - b488) + 0.1*b484*(1 - b489) - b484*(1 - b490) - b484*(1
     - b596) + 0.1*b484*(1 - b964) - b485*(1 - b383) + 0.1*b485*(1 - b487) + 
    0.1*b485*(1 - b488) + 0.1*b485*(1 - b489) + 0.1*b485*(1 - b490) - b485*(1
     - b597) + 0.1*b485*(1 - b964) - b486*(1 - b384) - b486*(1 - b598) + 0.1*
    b486*(1 - b964) - b487*(1 - b479) + 0.1*b487*(1 - b483) + 0.2*b487*(1 - 
    b484) + 0.1*b487*(1 - b485) + 0.1*b487*(1 - b964) + 0.1*b488*(1 - b480) + 
    0.1*b488*(1 - b483) - b488*(1 - b484) + 0.1*b488*(1 - b485) + 0.1*b488*(1
     - b964) - b489*(1 - b481) + 0.1*b489*(1 - b483) + 0.1*b489*(1 - b484) + 
    0.1*b489*(1 - b485) + 0.1*b489*(1 - b964) - b490*(1 - b482) + 0.1*b490*(1
     - b483) - b490*(1 - b484) + 0.1*b490*(1 - b485) + 0.1*b490*(1 - b964) - 
    b491*(1 - b388) + 0.2*b491*(1 - b492) + 0.2*b491*(1 - b493) + 0.1*b491*(1
     - b964) + 0.2*b492*(1 - b491) - b492*(1 - b499) + 0.1*b492*(1 - b964) + 
    0.2*b493*(1 - b491) - b493*(1 - b500) + 0.1*b493*(1 - b964) - b494*(1 - 
    b390) + 0.1*b494*(1 - b499) + 0.2*b494*(1 - b500) - b494*(1 - b501) + 0.1*
    b494*(1 - b964) - b495*(1 - b391) + 0.1*b495*(1 - b499) + 0.1*b495*(1 - 
    b500) + 0.1*b495*(1 - b501) - b495*(1 - b603) + 0.1*b495*(1 - b964) - b496*
    (1 - b392) + 0.1*b496*(1 - b498) + 0.1*b496*(1 - b499) + 0.1*b496*(1 - b500
    ) + 0.1*b496*(1 - b501) + 0.1*b496*(1 - b604) + 0.1*b496*(1 - b964) - b497*
    (1 - b393) + 0.1*b497*(1 - b498) + 0.1*b497*(1 - b499) + 0.1*b497*(1 - b500
    ) + 0.1*b497*(1 - b501) + 0.1*b497*(1 - b605) + 0.1*b497*(1 - b964) + 0.1*
    b498*(1 - b496) + 0.1*b498*(1 - b497) - b498*(1 - b506) + 0.1*b498*(1 - 
    b964) - b499*(1 - b492) + 0.1*b499*(1 - b494) + 0.1*b499*(1 - b495) + 0.1*
    b499*(1 - b496) + 0.1*b499*(1 - b497) - b499*(1 - b507) + 0.1*b499*(1 - 
    b964) - b500*(1 - b493) + 0.2*b500*(1 - b494) + 0.1*b500*(1 - b495) + 0.1*
    b500*(1 - b496) + 0.1*b500*(1 - b497) - b500*(1 - b508) + 0.1*b500*(1 - 
    b964) - b501*(1 - b494) + 0.1*b501*(1 - b495) + 0.1*b501*(1 - b496) + 0.1*
    b501*(1 - b497) - b501*(1 - b509) + 0.1*b501*(1 - b964) - b502*(1 - b398)
     + 0.1*b502*(1 - b506) + 0.1*b502*(1 - b507) + 0.1*b502*(1 - b508) + 0.1*
    b502*(1 - b509) - b502*(1 - b607) + 0.1*b502*(1 - b964) + 0.1*b503*(1 - 
    b399) - b503*(1 - b507) + 0.1*b503*(1 - b508) + 0.1*b503*(1 - b509) - b503*
    (1 - b608) + 0.1*b503*(1 - b964) - b504*(1 - b400) + 0.1*b504*(1 - b506) + 
    0.1*b504*(1 - b507) + 0.1*b504*(1 - b508) + 0.1*b504*(1 - b509) + 0.1*b504*
    (1 - b609) + 0.1*b504*(1 - b964) - b505*(1 - b401) + 0.1*b505*(1 - b507) + 
    0.2*b505*(1 - b508) + 0.2*b505*(1 - b509) - b505*(1 - b610) + 0.1*b505*(1
     - b964) - b506*(1 - b498) + 0.1*b506*(1 - b502) + 0.1*b506*(1 - b504) - 
    b506*(1 - b514) + 0.1*b506*(1 - b964) - b507*(1 - b499) + 0.1*b507*(1 - 
    b502) - b507*(1 - b503) + 0.1*b507*(1 - b504) + 0.1*b507*(1 - b505) - b507*
    (1 - b515) + 0.1*b507*(1 - b964) - b508*(1 - b500) + 0.1*b508*(1 - b502) + 
    0.1*b508*(1 - b503) + 0.1*b508*(1 - b504) + 0.2*b508*(1 - b505) - b508*(1
     - b516) + 0.1*b508*(1 - b964) - b509*(1 - b501) + 0.1*b509*(1 - b502) + 
    0.1*b509*(1 - b503) + 0.1*b509*(1 - b504) + 0.2*b509*(1 - b505) + 0.1*b509*
    (1 - b964) - b510*(1 - b406) + 0.1*b510*(1 - b514) + 0.1*b510*(1 - b515) + 
    0.1*b510*(1 - b516) + 0.1*b510*(1 - b612) + 0.1*b510*(1 - b964) - b511*(1
     - b407) + 0.1*b511*(1 - b514) + 0.1*b511*(1 - b515) + 0.1*b511*(1 - b516)
     - b511*(1 - b613) + 0.1*b511*(1 - b964) + 0.1*b512*(1 - b515) - b512*(1 - 
    b516) - b512*(1 - b614) + 0.1*b512*(1 - b964) - b513*(1 - b409) + 0.1*b513*
    (1 - b514) + 0.1*b513*(1 - b515) + 0.1*b513*(1 - b516) - b513*(1 - b615) + 
    0.1*b513*(1 - b964) - b514*(1 - b506) + 0.1*b514*(1 - b510) + 0.1*b514*(1
     - b511) + 0.1*b514*(1 - b513) - b514*(1 - b521) + 0.1*b514*(1 - b964) - 
    b515*(1 - b507) + 0.1*b515*(1 - b510) + 0.1*b515*(1 - b511) + 0.1*b515*(1
     - b512) + 0.1*b515*(1 - b513) + 0.1*b515*(1 - b964) - b516*(1 - b508) + 
    0.1*b516*(1 - b510) + 0.1*b516*(1 - b511) - b516*(1 - b512) + 0.1*b516*(1
     - b513) + 0.1*b516*(1 - b964) - b517*(1 - b414) + 0.1*b517*(1 - b521) + 
    0.1*b517*(1 - b522) + 0.1*b517*(1 - b523) + 0.1*b517*(1 - b524) - b517*(1
     - b618) + 0.1*b517*(1 - b964) - b518*(1 - b415) + 0.1*b518*(1 - b521) + 
    0.1*b518*(1 - b522) + 0.1*b518*(1 - b523) + 0.1*b518*(1 - b524) - b518*(1
     - b619) + 0.1*b518*(1 - b964) - b519*(1 - b416) + 0.1*b519*(1 - b521) + 
    0.1*b519*(1 - b522) + 0.1*b519*(1 - b523) + 0.1*b519*(1 - b524) - b519*(1
     - b620) + 0.1*b519*(1 - b964) - b520*(1 - b417) - b520*(1 - b521) - b520*(
    1 - b522) + 0.1*b520*(1 - b523) + 0.1*b520*(1 - b524) - b520*(1 - b621) + 
    0.1*b520*(1 - b964) - b521*(1 - b514) + 0.1*b521*(1 - b517) + 0.1*b521*(1
     - b518) + 0.1*b521*(1 - b519) - b521*(1 - b520) + 0.1*b521*(1 - b964) + 
    0.1*b522*(1 - b517) + 0.1*b522*(1 - b518) + 0.1*b522*(1 - b519) - b522*(1
     - b520) - b522*(1 - b528) + 0.1*b522*(1 - b964) + 0.1*b523*(1 - b517) + 
    0.1*b523*(1 - b518) + 0.1*b523*(1 - b519) + 0.1*b523*(1 - b520) - b523*(1
     - b529) + 0.1*b523*(1 - b964) + 0.1*b524*(1 - b517) + 0.1*b524*(1 - b518)
     + 0.1*b524*(1 - b519) + 0.1*b524*(1 - b520) - b524*(1 - b530) + 0.1*b524*(
    1 - b964) - b525*(1 - b422) + 0.1*b525*(1 - b528) + 0.1*b525*(1 - b529) + 
    0.1*b525*(1 - b530) - b525*(1 - b625) + 0.1*b525*(1 - b964) + 0.1*b526*(1
     - b528) - b526*(1 - b529) + 0.1*b526*(1 - b530) - b526*(1 - b626) + 0.1*
    b526*(1 - b964) - b527*(1 - b423) + 0.1*b527*(1 - b528) + 0.1*b527*(1 - 
    b529) + 0.1*b527*(1 - b530) - b527*(1 - b627) + 0.1*b527*(1 - b964) - b528*
    (1 - b522) + 0.1*b528*(1 - b525) + 0.1*b528*(1 - b526) + 0.1*b528*(1 - b527
    ) - b528*(1 - b536) + 0.1*b528*(1 - b964) - b529*(1 - b523) + 0.1*b529*(1
     - b525) - b529*(1 - b526) + 0.1*b529*(1 - b527) - b529*(1 - b537) + 0.1*
    b529*(1 - b964) - b530*(1 - b524) + 0.1*b530*(1 - b525) + 0.1*b530*(1 - 
    b526) + 0.1*b530*(1 - b527) - b530*(1 - b538) + 0.1*b530*(1 - b964) - b531*
    (1 - b427) + 0.1*b531*(1 - b535) + 0.1*b531*(1 - b537) + 0.1*b531*(1 - b538
    ) - b531*(1 - b631) + 0.1*b531*(1 - b964) - b532*(1 - b428) + 0.1*b532*(1
     - b535) + 0.1*b532*(1 - b536) + 0.1*b532*(1 - b537) + 0.1*b532*(1 - b538)
     + 0.1*b532*(1 - b632) + 0.1*b532*(1 - b964) - b533*(1 - b429) + 0.1*b533*(
    1 - b535) + 0.1*b533*(1 - b536) + 0.1*b533*(1 - b537) + 0.1*b533*(1 - b538)
     + 0.1*b533*(1 - b633) + 0.1*b533*(1 - b964) + 0.1*b534*(1 - b430) + 0.1*
    b534*(1 - b535) + 0.1*b534*(1 - b536) + 0.1*b534*(1 - b537) - b534*(1 - 
    b538) - b534*(1 - b634) + 0.1*b534*(1 - b964) + 0.1*b535*(1 - b531) + 0.1*
    b535*(1 - b532) + 0.1*b535*(1 - b533) + 0.1*b535*(1 - b534) - b535*(1 - 
    b543) + 0.1*b535*(1 - b964) - b536*(1 - b528) + 0.1*b536*(1 - b532) + 0.1*
    b536*(1 - b533) + 0.1*b536*(1 - b534) - b536*(1 - b544) + 0.1*b536*(1 - 
    b964) - b537*(1 - b529) + 0.1*b537*(1 - b531) + 0.1*b537*(1 - b532) + 0.1*
    b537*(1 - b533) + 0.1*b537*(1 - b534) - b537*(1 - b545) + 0.1*b537*(1 - 
    b964) - b538*(1 - b530) + 0.1*b538*(1 - b531) + 0.1*b538*(1 - b532) + 0.1*
    b538*(1 - b533) - b538*(1 - b534) + 0.1*b538*(1 - b964) - b539*(1 - b433)
     + 0.1*b539*(1 - b545) - b539*(1 - b638) + 0.1*b539*(1 - b964) + 0.1*b540*(
    1 - b434) + 0.1*b540*(1 - b544) + 0.1*b540*(1 - b545) + 0.1*b540*(1 - b546)
     - b540*(1 - b639) + 0.1*b540*(1 - b964) - b541*(1 - b435) + 0.1*b541*(1 - 
    b545) - b541*(1 - b640) + 0.1*b541*(1 - b964) - b542*(1 - b436) + 0.1*b542*
    (1 - b544) + 0.1*b542*(1 - b545) - b542*(1 - b641) + 0.1*b542*(1 - b964) - 
    b543*(1 - b535) - b543*(1 - b551) + 0.1*b543*(1 - b964) - b544*(1 - b536)
     + 0.1*b544*(1 - b540) + 0.1*b544*(1 - b542) - b544*(1 - b552) + 0.1*b544*(
    1 - b964) - b545*(1 - b537) + 0.1*b545*(1 - b539) + 0.1*b545*(1 - b540) + 
    0.1*b545*(1 - b541) + 0.1*b545*(1 - b542) - b545*(1 - b553) + 0.1*b545*(1
     - b964) + 0.1*b546*(1 - b540) - b546*(1 - b554) + 0.1*b546*(1 - b964) - 
    b547*(1 - b439) - b547*(1 - b552) + 0.1*b547*(1 - b553) + 0.1*b547*(1 - 
    b964) + 0.1*b548*(1 - b551) - b548*(1 - b647) + 0.1*b548*(1 - b964) - b549*
    (1 - b441) + 0.1*b549*(1 - b552) + 0.1*b549*(1 - b553) - b549*(1 - b648) + 
    0.1*b549*(1 - b964) - b550*(1 - b442) + 0.1*b550*(1 - b553) + 0.1*b550*(1
     - b554) - b550*(1 - b649) + 0.1*b550*(1 - b964) - b551*(1 - b543) + 0.1*
    b551*(1 - b548) - b551*(1 - b559) + 0.1*b551*(1 - b964) - b552*(1 - b544)
     - b552*(1 - b547) + 0.1*b552*(1 - b549) + 0.1*b552*(1 - b964) - b553*(1 - 
    b545) + 0.1*b553*(1 - b547) + 0.1*b553*(1 - b549) + 0.1*b553*(1 - b550) - 
    b553*(1 - b561) + 0.1*b553*(1 - b964) - b554*(1 - b546) + 0.1*b554*(1 - 
    b550) - b554*(1 - b562) + 0.1*b554*(1 - b964) - b555*(1 - b446) + 0.1*b555*
    (1 - b559) + 0.1*b555*(1 - b560) + 0.1*b555*(1 - b561) + 0.1*b555*(1 - b654
    ) + 0.1*b555*(1 - b964) - b556*(1 - b447) + 0.1*b556*(1 - b559) + 0.1*b556*
    (1 - b560) + 0.1*b556*(1 - b561) + 0.1*b556*(1 - b655) + 0.1*b556*(1 - b964
    ) - b557*(1 - b448) + 0.2*b557*(1 - b559) + 0.1*b557*(1 - b560) + 0.1*b557*
    (1 - b562) - b557*(1 - b656) + 0.1*b557*(1 - b964) - b558*(1 - b449) + 0.1*
    b558*(1 - b560) - b558*(1 - b561) - b558*(1 - b657) + 0.1*b558*(1 - b964)
     - b559*(1 - b551) + 0.1*b559*(1 - b555) + 0.1*b559*(1 - b556) + 0.2*b559*(
    1 - b557) - b559*(1 - b567) + 0.1*b559*(1 - b964) + 0.1*b560*(1 - b555) + 
    0.1*b560*(1 - b556) + 0.1*b560*(1 - b557) + 0.1*b560*(1 - b558) - b560*(1
     - b568) + 0.1*b560*(1 - b964) - b561*(1 - b553) + 0.1*b561*(1 - b555) + 
    0.1*b561*(1 - b556) - b561*(1 - b558) + 0.1*b561*(1 - b964) - b562*(1 - 
    b554) + 0.1*b562*(1 - b557) - b562*(1 - b570) + 0.1*b562*(1 - b964) - b563*
    (1 - b453) + 0.1*b563*(1 - b567) + 0.1*b563*(1 - b568) + 0.1*b563*(1 - b569
    ) + 0.1*b563*(1 - b570) + 0.1*b563*(1 - b964) - b564*(1 - b454) + 0.1*b564*
    (1 - b567) + 0.1*b564*(1 - b568) + 0.1*b564*(1 - b569) - b564*(1 - b662) + 
    0.1*b564*(1 - b964) + 0.1*b565*(1 - b455) + 0.1*b565*(1 - b569) - b565*(1
     - b663) + 0.1*b565*(1 - b964) - b566*(1 - b456) + 0.1*b566*(1 - b567) + 
    0.1*b566*(1 - b568) - b566*(1 - b569) + 0.1*b566*(1 - b570) - b566*(1 - 
    b664) + 0.1*b566*(1 - b964) - b567*(1 - b559) + 0.1*b567*(1 - b563) + 0.1*
    b567*(1 - b564) + 0.1*b567*(1 - b566) - b567*(1 - b575) + 0.1*b567*(1 - 
    b964) - b568*(1 - b560) + 0.1*b568*(1 - b563) + 0.1*b568*(1 - b564) + 0.1*
    b568*(1 - b566) - b568*(1 - b576) + 0.1*b568*(1 - b964) + 0.1*b569*(1 - 
    b563) + 0.1*b569*(1 - b564) + 0.1*b569*(1 - b565) - b569*(1 - b566) - b569*
    (1 - b577) + 0.1*b569*(1 - b964) - b570*(1 - b562) + 0.1*b570*(1 - b563) + 
    0.1*b570*(1 - b566) - b570*(1 - b578) + 0.1*b570*(1 - b964) - b571*(1 - 
    b460) + 0.1*b571*(1 - b575) + 0.1*b571*(1 - b576) + 0.1*b571*(1 - b577) + 
    0.1*b571*(1 - b578) - b571*(1 - b669) + 0.1*b571*(1 - b964) - b572*(1 - 
    b575) + 0.1*b572*(1 - b576) + 0.1*b572*(1 - b577) + 0.1*b572*(1 - b578) + 
    0.1*b572*(1 - b670) + 0.1*b572*(1 - b964) + 0.2*b573*(1 - b462) + 0.1*b573*
    (1 - b575) + 0.1*b573*(1 - b576) + 0.1*b573*(1 - b577) - b573*(1 - b671) + 
    0.1*b573*(1 - b964) - b574*(1 - b463) + 0.1*b574*(1 - b578) - b574*(1 - 
    b672) + 0.1*b574*(1 - b964) - b575*(1 - b567) + 0.1*b575*(1 - b571) - b575*
    (1 - b572) + 0.1*b575*(1 - b573) - b575*(1 - b583) + 0.1*b575*(1 - b964) - 
    b576*(1 - b568) + 0.1*b576*(1 - b571) + 0.1*b576*(1 - b572) + 0.1*b576*(1
     - b573) - b576*(1 - b584) + 0.1*b576*(1 - b964) - b577*(1 - b569) + 0.1*
    b577*(1 - b571) + 0.1*b577*(1 - b572) + 0.1*b577*(1 - b573) - b577*(1 - 
    b585) + 0.1*b577*(1 - b964) - b578*(1 - b570) + 0.1*b578*(1 - b571) + 0.1*
    b578*(1 - b572) + 0.1*b578*(1 - b574) - b578*(1 - b586) + 0.1*b578*(1 - 
    b964) - b579*(1 - b467) + 0.2*b579*(1 - b583) + 0.2*b579*(1 - b584) + 0.2*
    b579*(1 - b585) + 0.1*b579*(1 - b586) - b579*(1 - b677) + 0.1*b579*(1 - 
    b964) + 0.1*b580*(1 - b468) + 0.1*b580*(1 - b583) - b580*(1 - b584) + 0.1*
    b580*(1 - b585) + 0.1*b580*(1 - b586) - b580*(1 - b678) + 0.1*b580*(1 - 
    b964) - b581*(1 - b469) + 0.1*b581*(1 - b583) + 0.1*b581*(1 - b584) + 0.1*
    b581*(1 - b585) - b581*(1 - b679) + 0.1*b581*(1 - b964) - b582*(1 - b470)
     + 0.1*b582*(1 - b583) + 0.1*b582*(1 - b584) + 0.1*b582*(1 - b585) - b582*(
    1 - b586) + 0.1*b582*(1 - b680) + 0.1*b582*(1 - b964) - b583*(1 - b575) + 
    0.2*b583*(1 - b579) + 0.1*b583*(1 - b580) + 0.1*b583*(1 - b581) + 0.1*b583*
    (1 - b582) - b583*(1 - b591) + 0.1*b583*(1 - b964) - b584*(1 - b576) + 0.2*
    b584*(1 - b579) - b584*(1 - b580) + 0.1*b584*(1 - b581) + 0.1*b584*(1 - 
    b582) - b584*(1 - b592) + 0.1*b584*(1 - b964) - b585*(1 - b577) + 0.2*b585*
    (1 - b579) + 0.1*b585*(1 - b580) + 0.1*b585*(1 - b581) + 0.1*b585*(1 - b582
    ) - b585*(1 - b593) + 0.1*b585*(1 - b964) - b586*(1 - b578) + 0.1*b586*(1
     - b579) + 0.1*b586*(1 - b580) - b586*(1 - b582) + 0.1*b586*(1 - b594) + 
    0.1*b586*(1 - b964) - b587*(1 - b475) - b587*(1 - b685) + 0.1*b587*(1 - 
    b964) - b588*(1 - b476) + 0.1*b588*(1 - b686) + 0.1*b588*(1 - b964) - b589*
    (1 - b477) + 0.2*b589*(1 - b591) + 0.1*b589*(1 - b592) + 0.2*b589*(1 - b593
    ) - b589*(1 - b594) - b589*(1 - b687) + 0.1*b589*(1 - b964) - b590*(1 - 
    b478) + 0.1*b590*(1 - b591) + 0.1*b590*(1 - b592) + 0.1*b590*(1 - b593) + 
    0.1*b590*(1 - b594) - b590*(1 - b688) + 0.1*b590*(1 - b964) - b591*(1 - 
    b583) + 0.2*b591*(1 - b589) + 0.1*b591*(1 - b590) - b591*(1 - b599) + 0.1*
    b591*(1 - b964) - b592*(1 - b584) + 0.1*b592*(1 - b589) + 0.1*b592*(1 - 
    b590) - b592*(1 - b600) + 0.1*b592*(1 - b964) - b593*(1 - b585) + 0.2*b593*
    (1 - b589) + 0.1*b593*(1 - b590) - b593*(1 - b601) + 0.1*b593*(1 - b964) + 
    0.1*b594*(1 - b586) - b594*(1 - b589) + 0.1*b594*(1 - b590) - b594*(1 - 
    b602) + 0.1*b594*(1 - b964) - b595*(1 - b483) + 0.1*b595*(1 - b599) + 0.1*
    b595*(1 - b600) + 0.1*b595*(1 - b601) + 0.1*b595*(1 - b602) + 0.1*b595*(1
     - b964) - b596*(1 - b484) + 0.1*b596*(1 - b599) + 0.1*b596*(1 - b600) + 
    0.1*b596*(1 - b601) + 0.1*b596*(1 - b602) + 0.1*b596*(1 - b693) + 0.1*b596*
    (1 - b964) - b597*(1 - b485) + 0.1*b597*(1 - b599) + 0.1*b597*(1 - b600) + 
    0.1*b597*(1 - b601) + 0.1*b597*(1 - b602) - b597*(1 - b694) + 0.1*b597*(1
     - b964) - b598*(1 - b486) - b598*(1 - b695) + 0.1*b598*(1 - b964) - b599*(
    1 - b591) + 0.1*b599*(1 - b595) + 0.1*b599*(1 - b596) + 0.1*b599*(1 - b597)
     + 0.1*b599*(1 - b964) - b600*(1 - b592) + 0.1*b600*(1 - b595) + 0.1*b600*(
    1 - b596) + 0.1*b600*(1 - b597) + 0.1*b600*(1 - b964) - b601*(1 - b593) + 
    0.1*b601*(1 - b595) + 0.1*b601*(1 - b596) + 0.1*b601*(1 - b597) + 0.1*b601*
    (1 - b964) - b602*(1 - b594) + 0.1*b602*(1 - b595) + 0.1*b602*(1 - b596) + 
    0.1*b602*(1 - b597) + 0.1*b602*(1 - b964) - b603*(1 - b495) - b603*(1 - 
    b698) + 0.1*b603*(1 - b964) + 0.1*b604*(1 - b496) - b604*(1 - b606) + 0.1*
    b604*(1 - b964) + 0.1*b605*(1 - b497) - b605*(1 - b606) + 0.1*b605*(1 - 
    b964) - b606*(1 - b604) - b606*(1 - b605) - b606*(1 - b611) + 0.1*b606*(1
     - b964) - b607*(1 - b502) + 0.1*b607*(1 - b611) + 0.1*b607*(1 - b964) - 
    b608*(1 - b503) - b608*(1 - b700) + 0.1*b608*(1 - b964) + 0.1*b609*(1 - 
    b504) - b609*(1 - b611) + 0.1*b609*(1 - b964) - b610*(1 - b505) - b610*(1
     - b701) + 0.1*b610*(1 - b964) - b611*(1 - b606) + 0.1*b611*(1 - b607) - 
    b611*(1 - b609) - b611*(1 - b617) + 0.1*b611*(1 - b964) + 0.1*b612*(1 - 
    b510) + 0.1*b612*(1 - b616) - b612*(1 - b704) + 0.1*b612*(1 - b964) - b613*
    (1 - b511) + 0.1*b613*(1 - b616) + 0.1*b613*(1 - b617) + 0.1*b613*(1 - b964
    ) - b614*(1 - b512) - b614*(1 - b616) + 0.1*b614*(1 - b964) - b615*(1 - 
    b513) + 0.1*b615*(1 - b616) + 0.1*b615*(1 - b617) + 0.1*b615*(1 - b964) + 
    0.1*b616*(1 - b612) + 0.1*b616*(1 - b613) - b616*(1 - b614) + 0.1*b616*(1
     - b615) - b616*(1 - b622) + 0.1*b616*(1 - b964) - b617*(1 - b611) + 0.1*
    b617*(1 - b613) + 0.1*b617*(1 - b615) - b617*(1 - b623) + 0.1*b617*(1 - 
    b964) - b618*(1 - b517) + 0.2*b618*(1 - b623) - b618*(1 - b707) + 0.1*b618*
    (1 - b964) - b619*(1 - b518) + 0.1*b619*(1 - b623) - b619*(1 - b708) + 0.1*
    b619*(1 - b964) - b620*(1 - b519) + 0.1*b620*(1 - b623) - b620*(1 - b709)
     + 0.1*b620*(1 - b964) - b621*(1 - b520) + 0.1*b621*(1 - b623) - b621*(1 - 
    b710) + 0.1*b621*(1 - b964) - b622*(1 - b616) - b622*(1 - b628) + 0.1*b622*
    (1 - b964) - b623*(1 - b617) + 0.2*b623*(1 - b618) + 0.1*b623*(1 - b619) + 
    0.1*b623*(1 - b620) + 0.1*b623*(1 - b621) - b623*(1 - b629) + 0.1*b623*(1
     - b964) - b624*(1 - b630) - b624*(1 - b715) + 0.1*b624*(1 - b964) - b625*(
    1 - b525) - b625*(1 - b629) + 0.1*b625*(1 - b716) + 0.1*b625*(1 - b964) - 
    b626*(1 - b526) + 0.1*b626*(1 - b629) - b626*(1 - b717) + 0.1*b626*(1 - 
    b964) - b627*(1 - b527) + 0.2*b627*(1 - b629) - b627*(1 - b718) + 0.1*b627*
    (1 - b964) - b628*(1 - b622) + 0.1*b628*(1 - b635) + 0.1*b628*(1 - b964) - 
    b629*(1 - b623) - b629*(1 - b625) + 0.1*b629*(1 - b626) + 0.2*b629*(1 - 
    b627) - b629*(1 - b636) + 0.1*b629*(1 - b964) - b630*(1 - b624) - b630*(1
     - b637) + 0.1*b630*(1 - b964) - b631*(1 - b531) - b631*(1 - b635) - b631*(
    1 - b723) + 0.1*b631*(1 - b964) + 0.1*b632*(1 - b532) + 0.1*b632*(1 - b635)
     + 0.1*b632*(1 - b636) - b632*(1 - b724) + 0.1*b632*(1 - b964) + 0.1*b633*(
    1 - b533) + 0.1*b633*(1 - b635) + 0.1*b633*(1 - b636) - b633*(1 - b725) + 
    0.1*b633*(1 - b964) - b634*(1 - b534) + 0.1*b634*(1 - b635) + 0.1*b634*(1
     - b636) + 0.1*b634*(1 - b637) - b634*(1 - b726) + 0.1*b634*(1 - b964) + 
    0.1*b635*(1 - b628) - b635*(1 - b631) + 0.1*b635*(1 - b632) + 0.1*b635*(1
     - b633) + 0.1*b635*(1 - b634) + 0.1*b635*(1 - b964) - b636*(1 - b629) + 
    0.1*b636*(1 - b632) + 0.1*b636*(1 - b633) + 0.1*b636*(1 - b634) - b636*(1
     - b643) + 0.1*b636*(1 - b964) - b637*(1 - b630) + 0.1*b637*(1 - b634) - 
    b637*(1 - b644) + 0.1*b637*(1 - b964) - b638*(1 - b539) + 0.1*b638*(1 - 
    b644) + 0.1*b638*(1 - b645) - b638*(1 - b731) + 0.1*b638*(1 - b964) - b639*
    (1 - b540) - b639*(1 - b642) - b639*(1 - b643) + 0.1*b639*(1 - b732) + 0.1*
    b639*(1 - b964) - b640*(1 - b541) + 0.1*b640*(1 - b644) - b640*(1 - b645)
     - b640*(1 - b733) + 0.1*b640*(1 - b964) - b641*(1 - b542) + 0.1*b641*(1 - 
    b642) + 0.1*b641*(1 - b643) + 0.1*b641*(1 - b645) - b641*(1 - b734) + 0.1*
    b641*(1 - b964) - b642*(1 - b639) + 0.1*b642*(1 - b641) - b642*(1 - b650)
     + 0.1*b642*(1 - b964) - b643*(1 - b636) - b643*(1 - b639) + 0.1*b643*(1 - 
    b641) + 0.1*b643*(1 - b964) - b644*(1 - b637) + 0.1*b644*(1 - b638) + 0.1*
    b644*(1 - b640) - b644*(1 - b652) + 0.1*b644*(1 - b964) + 0.1*b645*(1 - 
    b638) - b645*(1 - b640) + 0.1*b645*(1 - b641) - b645*(1 - b653) + 0.1*b645*
    (1 - b964) - b646*(1 - b651) + 0.1*b646*(1 - b652) + 0.1*b646*(1 - b653) - 
    b646*(1 - b739) + 0.2*b646*(1 - b964) - b647*(1 - b548) + 0.1*b647*(1 - 
    b651) - b647*(1 - b652) + 0.1*b647*(1 - b653) - b647*(1 - b740) + 0.1*b647*
    (1 - b964) - b648*(1 - b549) + 0.1*b648*(1 - b651) + 0.1*b648*(1 - b652) + 
    0.2*b648*(1 - b653) - b648*(1 - b741) + 0.1*b648*(1 - b964) - b649*(1 - 
    b550) + 0.1*b649*(1 - b650) + 0.1*b649*(1 - b651) + 0.1*b649*(1 - b652) + 
    0.1*b649*(1 - b653) - b649*(1 - b742) + 0.1*b649*(1 - b964) - b650*(1 - 
    b642) + 0.1*b650*(1 - b649) + 0.1*b650*(1 - b658) + 0.1*b650*(1 - b964) - 
    b651*(1 - b646) + 0.1*b651*(1 - b647) + 0.1*b651*(1 - b648) + 0.1*b651*(1
     - b649) + 0.1*b651*(1 - b659) + 0.2*b651*(1 - b964) - b652*(1 - b644) + 
    0.1*b652*(1 - b646) - b652*(1 - b647) + 0.1*b652*(1 - b648) + 0.1*b652*(1
     - b649) + 0.1*b652*(1 - b964) - b653*(1 - b645) + 0.1*b653*(1 - b646) + 
    0.1*b653*(1 - b647) + 0.2*b653*(1 - b648) + 0.1*b653*(1 - b649) + 0.1*b653*
    (1 - b661) + 0.1*b653*(1 - b964) + 0.1*b654*(1 - b555) + 0.1*b654*(1 - b658
    ) - b654*(1 - b660) - b654*(1 - b747) + 0.1*b654*(1 - b964) + 0.1*b655*(1
     - b556) - b655*(1 - b658) + 0.1*b655*(1 - b659) + 0.1*b655*(1 - b660) - 
    b655*(1 - b748) + 0.1*b655*(1 - b964) - b656*(1 - b557) + 0.1*b656*(1 - 
    b658) + 0.1*b656*(1 - b659) + 0.1*b656*(1 - b661) - b656*(1 - b749) + 0.1*
    b656*(1 - b964) - b657*(1 - b558) + 0.1*b657*(1 - b658) - b657*(1 - b660)
     + 0.1*b657*(1 - b964) + 0.1*b658*(1 - b650) + 0.1*b658*(1 - b654) - b658*(
    1 - b655) + 0.1*b658*(1 - b656) + 0.1*b658*(1 - b657) + 0.1*b658*(1 - b665)
     + 0.1*b658*(1 - b964) + 0.1*b659*(1 - b651) + 0.1*b659*(1 - b655) + 0.1*
    b659*(1 - b656) - b659*(1 - b666) + 0.1*b659*(1 - b964) - b660*(1 - b654)
     + 0.1*b660*(1 - b655) - b660*(1 - b657) + 0.1*b660*(1 - b667) + 0.1*b660*(
    1 - b964) + 0.1*b661*(1 - b653) + 0.1*b661*(1 - b656) - b661*(1 - b668) + 
    0.1*b661*(1 - b964) - b662*(1 - b564) - b662*(1 - b665) + 0.1*b662*(1 - 
    b666) - b662*(1 - b667) - b662*(1 - b755) + 0.1*b662*(1 - b964) - b663*(1
     - b565) + 0.1*b663*(1 - b665) + 0.1*b663*(1 - b666) + 0.1*b663*(1 - b667)
     - b663*(1 - b756) + 0.1*b663*(1 - b964) - b664*(1 - b566) + 0.1*b664*(1 - 
    b665) - b664*(1 - b666) + 0.1*b664*(1 - b667) + 0.1*b664*(1 - b668) + 0.1*
    b664*(1 - b964) + 0.1*b665*(1 - b658) - b665*(1 - b662) + 0.1*b665*(1 - 
    b663) + 0.1*b665*(1 - b664) + 0.1*b665*(1 - b673) + 0.1*b665*(1 - b964) - 
    b666*(1 - b659) + 0.1*b666*(1 - b662) + 0.1*b666*(1 - b663) - b666*(1 - 
    b664) + 0.1*b666*(1 - b674) + 0.1*b666*(1 - b964) + 0.1*b667*(1 - b660) - 
    b667*(1 - b662) + 0.1*b667*(1 - b663) + 0.1*b667*(1 - b664) - b667*(1 - 
    b675) + 0.1*b667*(1 - b964) - b668*(1 - b661) + 0.1*b668*(1 - b664) - b668*
    (1 - b676) + 0.1*b668*(1 - b964) - b669*(1 - b571) + 0.1*b669*(1 - b673) + 
    0.1*b669*(1 - b675) - b669*(1 - b761) + 0.1*b669*(1 - b964) + 0.1*b670*(1
     - b572) - b670*(1 - b674) - b670*(1 - b676) + 0.1*b670*(1 - b964) - b671*(
    1 - b573) - b671*(1 - b673) + 0.1*b671*(1 - b675) - b671*(1 - b762) + 0.1*
    b671*(1 - b964) - b672*(1 - b574) + 0.1*b672*(1 - b673) + 0.1*b672*(1 - 
    b674) + 0.1*b672*(1 - b676) - b672*(1 - b763) + 0.1*b672*(1 - b964) + 0.1*
    b673*(1 - b665) + 0.1*b673*(1 - b669) - b673*(1 - b671) + 0.1*b673*(1 - 
    b672) - b673*(1 - b681) + 0.1*b673*(1 - b964) + 0.1*b674*(1 - b666) - b674*
    (1 - b670) + 0.1*b674*(1 - b672) - b674*(1 - b682) + 0.1*b674*(1 - b964) - 
    b675*(1 - b667) + 0.1*b675*(1 - b669) + 0.1*b675*(1 - b671) - b675*(1 - 
    b683) + 0.1*b675*(1 - b964) - b676*(1 - b668) - b676*(1 - b670) + 0.1*b676*
    (1 - b672) + 0.1*b676*(1 - b684) + 0.1*b676*(1 - b964) - b677*(1 - b579) + 
    0.1*b677*(1 - b681) + 0.1*b677*(1 - b682) + 0.1*b677*(1 - b683) + 0.1*b677*
    (1 - b684) - b677*(1 - b767) + 0.1*b677*(1 - b964) - b678*(1 - b580) + 0.1*
    b678*(1 - b681) + 0.1*b678*(1 - b682) + 0.1*b678*(1 - b683) + 0.1*b678*(1
     - b684) - b678*(1 - b768) + 0.1*b678*(1 - b964) - b679*(1 - b581) + 0.1*
    b679*(1 - b681) + 0.1*b679*(1 - b682) + 0.1*b679*(1 - b683) - b679*(1 - 
    b769) + 0.1*b679*(1 - b964) + 0.1*b680*(1 - b582) + 0.1*b680*(1 - b681) + 
    0.1*b680*(1 - b682) - b680*(1 - b684) + 0.1*b680*(1 - b770) + 0.1*b680*(1
     - b964) - b681*(1 - b673) + 0.1*b681*(1 - b677) + 0.1*b681*(1 - b678) + 
    0.1*b681*(1 - b679) + 0.1*b681*(1 - b680) + 0.1*b681*(1 - b964) - b682*(1
     - b674) + 0.1*b682*(1 - b677) + 0.1*b682*(1 - b678) + 0.1*b682*(1 - b679)
     + 0.1*b682*(1 - b680) - b682*(1 - b690) + 0.1*b682*(1 - b964) - b683*(1 - 
    b675) + 0.1*b683*(1 - b677) + 0.1*b683*(1 - b678) + 0.1*b683*(1 - b679) - 
    b683*(1 - b691) + 0.1*b683*(1 - b964) + 0.1*b684*(1 - b676) + 0.1*b684*(1
     - b677) + 0.1*b684*(1 - b678) - b684*(1 - b680) - b684*(1 - b692) + 0.1*
    b684*(1 - b964) - b685*(1 - b587) - b685*(1 - b689) + 0.1*b685*(1 - b691)
     - b685*(1 - b775) + 0.1*b685*(1 - b964) + 0.1*b686*(1 - b588) - b686*(1 - 
    b689) + 0.1*b686*(1 - b691) + 0.1*b686*(1 - b964) - b687*(1 - b589) + 0.1*
    b687*(1 - b690) + 0.1*b687*(1 - b691) + 0.1*b687*(1 - b692) - b687*(1 - 
    b776) + 0.1*b687*(1 - b964) - b688*(1 - b590) - b688*(1 - b690) + 0.1*b688*
    (1 - b692) + 0.1*b688*(1 - b964) - b689*(1 - b685) - b689*(1 - b686) + 0.1*
    b689*(1 - b964) - b690*(1 - b682) + 0.1*b690*(1 - b687) - b690*(1 - b688)
     + 0.1*b690*(1 - b964) - b691*(1 - b683) + 0.1*b691*(1 - b685) + 0.1*b691*(
    1 - b686) + 0.1*b691*(1 - b687) - b691*(1 - b696) + 0.1*b691*(1 - b964) - 
    b692*(1 - b684) + 0.1*b692*(1 - b687) + 0.1*b692*(1 - b688) - b692*(1 - 
    b697) + 0.1*b692*(1 - b964) + 0.1*b693*(1 - b596) - b693*(1 - b696) + 0.1*
    b693*(1 - b964) - b694*(1 - b597) - b694*(1 - b697) + 0.1*b694*(1 - b964)
     - b695*(1 - b598) + 0.1*b695*(1 - b697) - b695*(1 - b780) + 0.1*b695*(1 - 
    b964) - b696*(1 - b691) - b696*(1 - b693) + 0.1*b696*(1 - b964) - b697*(1
     - b692) - b697*(1 - b694) + 0.1*b697*(1 - b695) + 0.1*b697*(1 - b964) - 
    b698*(1 - b603) - b698*(1 - b699) + 0.1*b698*(1 - b964) - b699*(1 - b698)
     - b699*(1 - b702) + 0.1*b699*(1 - b964) - b700*(1 - b608) + 0.1*b700*(1 - 
    b702) - b700*(1 - b703) + 0.1*b700*(1 - b964) - b701*(1 - b610) + 0.1*b701*
    (1 - b702) + 0.1*b701*(1 - b703) - b701*(1 - b782) + 0.1*b701*(1 - b964) - 
    b702*(1 - b699) + 0.1*b702*(1 - b700) + 0.1*b702*(1 - b701) - b702*(1 - 
    b705) + 0.1*b702*(1 - b964) - b703*(1 - b700) + 0.1*b703*(1 - b701) - b703*
    (1 - b706) + 0.1*b703*(1 - b964) - b704*(1 - b612) - b704*(1 - b705) + 0.1*
    b704*(1 - b706) + 0.1*b704*(1 - b964) - b705*(1 - b702) - b705*(1 - b704)
     - b705*(1 - b711) + 0.1*b705*(1 - b964) - b706*(1 - b703) + 0.1*b706*(1 - 
    b704) + 0.1*b706*(1 - b714) + 0.1*b706*(1 - b964) - b707*(1 - b618) + 0.1*
    b707*(1 - b712) + 0.1*b707*(1 - b713) + 0.1*b707*(1 - b783) + 0.1*b707*(1
     - b964) - b708*(1 - b619) + 0.1*b708*(1 - b712) + 0.1*b708*(1 - b713) - 
    b708*(1 - b784) + 0.1*b708*(1 - b964) - b709*(1 - b620) + 0.1*b709*(1 - 
    b712) + 0.1*b709*(1 - b713) + 0.1*b709*(1 - b714) - b709*(1 - b785) + 0.1*
    b709*(1 - b964) - b710*(1 - b621) + 0.1*b710*(1 - b712) + 0.1*b710*(1 - 
    b713) - b710*(1 - b786) + 0.1*b710*(1 - b964) - b711*(1 - b705) - b711*(1
     - b719) + 0.1*b711*(1 - b964) + 0.1*b712*(1 - b707) + 0.1*b712*(1 - b708)
     + 0.1*b712*(1 - b709) + 0.1*b712*(1 - b710) - b712*(1 - b720) + 0.1*b712*(
    1 - b964) + 0.1*b713*(1 - b707) + 0.1*b713*(1 - b708) + 0.1*b713*(1 - b709)
     + 0.1*b713*(1 - b710) - b713*(1 - b721) + 0.1*b713*(1 - b964) + 0.1*b714*(
    1 - b706) + 0.1*b714*(1 - b709) - b714*(1 - b722) + 0.1*b714*(1 - b964) - 
    b715*(1 - b624) - b715*(1 - b790) + 0.1*b715*(1 - b964) + 0.1*b716*(1 - 
    b625) + 0.1*b716*(1 - b720) - b716*(1 - b721) + 0.1*b716*(1 - b722) + 0.1*
    b716*(1 - b964) - b717*(1 - b626) + 0.1*b717*(1 - b720) + 0.1*b717*(1 - 
    b721) + 0.1*b717*(1 - b722) - b717*(1 - b791) + 0.1*b717*(1 - b964) - b718*
    (1 - b627) + 0.1*b718*(1 - b720) + 0.1*b718*(1 - b721) + 0.1*b718*(1 - b792
    ) + 0.1*b718*(1 - b964) - b719*(1 - b711) + 0.1*b719*(1 - b727) + 0.1*b719*
    (1 - b964) - b720*(1 - b712) + 0.1*b720*(1 - b716) + 0.1*b720*(1 - b717) + 
    0.1*b720*(1 - b718) - b720*(1 - b728) + 0.1*b720*(1 - b964) - b721*(1 - 
    b713) - b721*(1 - b716) + 0.1*b721*(1 - b717) + 0.1*b721*(1 - b718) - b721*
    (1 - b729) + 0.1*b721*(1 - b964) - b722*(1 - b714) + 0.1*b722*(1 - b716) + 
    0.1*b722*(1 - b717) - b722*(1 - b730) + 0.1*b722*(1 - b964) - b723*(1 - 
    b631) + 0.1*b723*(1 - b727) + 0.1*b723*(1 - b728) + 0.1*b723*(1 - b729) + 
    0.2*b723*(1 - b730) + 0.1*b723*(1 - b796) + 0.1*b723*(1 - b964) - b724*(1
     - b632) + 0.1*b724*(1 - b727) - b724*(1 - b728) + 0.1*b724*(1 - b729) + 
    0.1*b724*(1 - b730) - b724*(1 - b797) + 0.1*b724*(1 - b964) - b725*(1 - 
    b633) + 0.1*b725*(1 - b727) + 0.1*b725*(1 - b728) + 0.1*b725*(1 - b729) + 
    0.1*b725*(1 - b730) - b725*(1 - b798) + 0.1*b725*(1 - b964) - b726*(1 - 
    b634) + 0.1*b726*(1 - b727) + 0.1*b726*(1 - b728) + 0.1*b726*(1 - b729) + 
    0.1*b726*(1 - b730) - b726*(1 - b799) + 0.1*b726*(1 - b964) + 0.1*b727*(1
     - b719) + 0.1*b727*(1 - b723) + 0.1*b727*(1 - b724) + 0.1*b727*(1 - b725)
     + 0.1*b727*(1 - b726) - b727*(1 - b735) + 0.1*b727*(1 - b964) - b728*(1 - 
    b720) + 0.1*b728*(1 - b723) - b728*(1 - b724) + 0.1*b728*(1 - b725) + 0.1*
    b728*(1 - b726) - b728*(1 - b736) + 0.1*b728*(1 - b964) - b729*(1 - b721)
     + 0.1*b729*(1 - b723) + 0.1*b729*(1 - b724) + 0.1*b729*(1 - b725) + 0.1*
    b729*(1 - b726) - b729*(1 - b737) + 0.1*b729*(1 - b964) - b730*(1 - b722)
     + 0.2*b730*(1 - b723) + 0.1*b730*(1 - b724) + 0.1*b730*(1 - b725) + 0.1*
    b730*(1 - b726) - b730*(1 - b738) + 0.1*b730*(1 - b964) - b731*(1 - b638)
     + 0.1*b731*(1 - b736) + 0.1*b731*(1 - b737) - b731*(1 - b803) + 0.1*b731*(
    1 - b964) + 0.1*b732*(1 - b639) + 0.1*b732*(1 - b735) + 0.1*b732*(1 - b736)
     - b732*(1 - b737) + 0.1*b732*(1 - b738) - b732*(1 - b804) + 0.1*b732*(1 - 
    b964) - b733*(1 - b640) + 0.1*b733*(1 - b736) + 0.1*b733*(1 - b737) - b733*
    (1 - b805) + 0.1*b733*(1 - b964) - b734*(1 - b641) + 0.1*b734*(1 - b735) + 
    0.1*b734*(1 - b736) + 0.1*b734*(1 - b737) + 0.1*b734*(1 - b738) - b734*(1
     - b806) + 0.1*b734*(1 - b964) - b735*(1 - b727) + 0.1*b735*(1 - b732) + 
    0.1*b735*(1 - b734) - b735*(1 - b743) + 0.1*b735*(1 - b964) - b736*(1 - 
    b728) + 0.1*b736*(1 - b731) + 0.1*b736*(1 - b732) + 0.1*b736*(1 - b733) + 
    0.1*b736*(1 - b734) - b736*(1 - b744) + 0.1*b736*(1 - b964) - b737*(1 - 
    b729) + 0.1*b737*(1 - b731) - b737*(1 - b732) + 0.1*b737*(1 - b733) + 0.1*
    b737*(1 - b734) - b737*(1 - b745) + 0.1*b737*(1 - b964) - b738*(1 - b730)
     + 0.1*b738*(1 - b732) + 0.1*b738*(1 - b734) - b738*(1 - b746) + 0.1*b738*(
    1 - b964) - b739*(1 - b646) + 0.1*b739*(1 - b745) - b739*(1 - b810) + 0.2*
    b739*(1 - b964) - b740*(1 - b647) - b740*(1 - b811) + 0.1*b740*(1 - b964)
     - b741*(1 - b648) + 0.1*b741*(1 - b744) + 0.1*b741*(1 - b745) - b741*(1 - 
    b812) + 0.1*b741*(1 - b964) - b742*(1 - b649) + 0.1*b742*(1 - b743) + 0.1*
    b742*(1 - b744) + 0.1*b742*(1 - b745) - b742*(1 - b813) + 0.1*b742*(1 - 
    b964) - b743*(1 - b735) + 0.1*b743*(1 - b742) - b743*(1 - b750) + 0.1*b743*
    (1 - b964) - b744*(1 - b736) + 0.1*b744*(1 - b741) + 0.1*b744*(1 - b742) - 
    b744*(1 - b751) + 0.1*b744*(1 - b964) - b745*(1 - b737) + 0.1*b745*(1 - 
    b739) + 0.1*b745*(1 - b741) + 0.1*b745*(1 - b742) - b745*(1 - b752) + 0.1*
    b745*(1 - b964) - b746*(1 - b738) - b746*(1 - b753) + 0.1*b746*(1 - b964)
     - b747*(1 - b654) + 0.1*b747*(1 - b750) + 0.1*b747*(1 - b751) + 0.1*b747*(
    1 - b752) + 0.1*b747*(1 - b753) + 0.1*b747*(1 - b964) - b748*(1 - b655) - 
    b748*(1 - b750) + 0.1*b748*(1 - b751) + 0.1*b748*(1 - b752) + 0.1*b748*(1
     - b753) + 0.1*b748*(1 - b964) - b749*(1 - b656) + 0.1*b749*(1 - b750) + 
    0.1*b749*(1 - b751) + 0.1*b749*(1 - b753) + 0.1*b749*(1 - b820) + 0.1*b749*
    (1 - b964) - b750*(1 - b743) + 0.1*b750*(1 - b747) - b750*(1 - b748) + 0.1*
    b750*(1 - b749) - b750*(1 - b757) + 0.1*b750*(1 - b964) - b751*(1 - b744)
     + 0.1*b751*(1 - b747) + 0.1*b751*(1 - b748) + 0.1*b751*(1 - b749) + 0.1*
    b751*(1 - b758) + 0.1*b751*(1 - b964) - b752*(1 - b745) + 0.1*b752*(1 - 
    b747) + 0.1*b752*(1 - b748) - b752*(1 - b759) + 0.1*b752*(1 - b964) - b753*
    (1 - b746) + 0.1*b753*(1 - b747) + 0.1*b753*(1 - b748) + 0.1*b753*(1 - b749
    ) - b753*(1 - b760) + 0.1*b753*(1 - b964) - b754*(1 - b757) + 0.1*b754*(1
     - b758) + 0.1*b754*(1 - b759) + 0.1*b754*(1 - b760) - b754*(1 - b825) + 
    0.1*b754*(1 - b964) - b755*(1 - b662) + 0.1*b755*(1 - b757) - b755*(1 - 
    b758) + 0.1*b755*(1 - b759) + 0.1*b755*(1 - b760) - b755*(1 - b826) + 0.1*
    b755*(1 - b964) - b756*(1 - b663) + 0.1*b756*(1 - b757) + 0.1*b756*(1 - 
    b758) - b756*(1 - b759) + 0.1*b756*(1 - b760) + 0.1*b756*(1 - b964) - b757*
    (1 - b750) - b757*(1 - b754) + 0.1*b757*(1 - b755) + 0.1*b757*(1 - b756) - 
    b757*(1 - b764) + 0.1*b757*(1 - b964) + 0.1*b758*(1 - b751) + 0.1*b758*(1
     - b754) - b758*(1 - b755) + 0.1*b758*(1 - b756) + 0.1*b758*(1 - b964) - 
    b759*(1 - b752) + 0.1*b759*(1 - b754) + 0.1*b759*(1 - b755) - b759*(1 - 
    b756) - b759*(1 - b765) + 0.1*b759*(1 - b964) - b760*(1 - b753) + 0.1*b760*
    (1 - b754) + 0.1*b760*(1 - b755) + 0.1*b760*(1 - b756) - b760*(1 - b766) + 
    0.1*b760*(1 - b964) - b761*(1 - b669) - b761*(1 - b764) + 0.1*b761*(1 - 
    b765) + 0.1*b761*(1 - b766) + 0.1*b761*(1 - b829) + 0.1*b761*(1 - b964) - 
    b762*(1 - b671) + 0.1*b762*(1 - b764) + 0.1*b762*(1 - b765) - b762*(1 - 
    b766) + 0.1*b762*(1 - b964) - b763*(1 - b672) + 0.1*b763*(1 - b766) + 0.1*
    b763*(1 - b830) + 0.1*b763*(1 - b964) - b764*(1 - b757) - b764*(1 - b761)
     + 0.1*b764*(1 - b762) - b764*(1 - b771) + 0.1*b764*(1 - b964) - b765*(1 - 
    b759) + 0.1*b765*(1 - b761) + 0.1*b765*(1 - b762) - b765*(1 - b773) + 0.1*
    b765*(1 - b964) - b766*(1 - b760) + 0.1*b766*(1 - b761) - b766*(1 - b762)
     + 0.1*b766*(1 - b763) - b766*(1 - b774) + 0.1*b766*(1 - b964) - b767*(1 - 
    b677) + 0.1*b767*(1 - b771) + 0.1*b767*(1 - b772) + 0.1*b767*(1 - b774) - 
    b767*(1 - b833) + 0.1*b767*(1 - b964) - b768*(1 - b678) + 0.1*b768*(1 - 
    b771) + 0.1*b768*(1 - b772) + 0.1*b768*(1 - b774) - b768*(1 - b834) + 0.1*
    b768*(1 - b964) - b769*(1 - b679) + 0.2*b769*(1 - b771) - b769*(1 - b772)
     + 0.1*b769*(1 - b773) + 0.1*b769*(1 - b774) - b769*(1 - b835) + 0.1*b769*(
    1 - b964) + 0.1*b770*(1 - b680) + 0.1*b770*(1 - b773) + 0.1*b770*(1 - b774)
     - b770*(1 - b836) + 0.1*b770*(1 - b964) - b771*(1 - b764) + 0.1*b771*(1 - 
    b767) + 0.1*b771*(1 - b768) + 0.2*b771*(1 - b769) + 0.1*b771*(1 - b777) + 
    0.1*b771*(1 - b964) + 0.1*b772*(1 - b767) + 0.1*b772*(1 - b768) - b772*(1
     - b769) + 0.1*b772*(1 - b778) + 0.1*b772*(1 - b964) - b773*(1 - b765) + 
    0.1*b773*(1 - b769) + 0.1*b773*(1 - b770) + 0.1*b773*(1 - b964) - b774*(1
     - b766) + 0.1*b774*(1 - b767) + 0.1*b774*(1 - b768) + 0.1*b774*(1 - b769)
     + 0.1*b774*(1 - b770) - b774*(1 - b779) + 0.1*b774*(1 - b964) - b775*(1 - 
    b685) - b775*(1 - b838) + 0.1*b775*(1 - b964) - b776*(1 - b687) - b776*(1
     - b777) - b776*(1 - b778) + 0.1*b776*(1 - b779) - b776*(1 - b839) + 0.1*
    b776*(1 - b964) + 0.1*b777*(1 - b771) - b777*(1 - b776) + 0.1*b777*(1 - 
    b964) + 0.1*b778*(1 - b772) - b778*(1 - b776) + 0.1*b778*(1 - b964) - b779*
    (1 - b774) + 0.1*b779*(1 - b776) - b779*(1 - b781) + 0.1*b779*(1 - b964) - 
    b780*(1 - b695) + 0.1*b780*(1 - b781) + 0.1*b780*(1 - b841) + 0.1*b780*(1
     - b964) - b781*(1 - b779) + 0.1*b781*(1 - b780) + 0.1*b781*(1 - b964) - 
    b782*(1 - b701) + 0.1*b782*(1 - b843) + 0.1*b782*(1 - b964) + 0.1*b783*(1
     - b707) - b783*(1 - b787) + 0.1*b783*(1 - b788) + 0.1*b783*(1 - b789) - 
    b783*(1 - b846) + 0.1*b783*(1 - b964) - b784*(1 - b708) + 0.1*b784*(1 - 
    b787) + 0.1*b784*(1 - b788) + 0.1*b784*(1 - b789) + 0.1*b784*(1 - b847) + 
    0.1*b784*(1 - b964) - b785*(1 - b709) + 0.1*b785*(1 - b787) + 0.1*b785*(1
     - b788) + 0.1*b785*(1 - b789) - b785*(1 - b848) + 0.1*b785*(1 - b964) - 
    b786*(1 - b710) + 0.1*b786*(1 - b787) + 0.1*b786*(1 - b788) + 0.1*b786*(1
     - b789) + 0.1*b786*(1 - b964) - b787*(1 - b783) + 0.1*b787*(1 - b784) + 
    0.1*b787*(1 - b785) + 0.1*b787*(1 - b786) - b787*(1 - b793) + 0.1*b787*(1
     - b964) + 0.1*b788*(1 - b783) + 0.1*b788*(1 - b784) + 0.1*b788*(1 - b785)
     + 0.1*b788*(1 - b786) - b788*(1 - b794) + 0.1*b788*(1 - b964) + 0.1*b789*(
    1 - b783) + 0.1*b789*(1 - b784) + 0.1*b789*(1 - b785) + 0.1*b789*(1 - b786)
     - b789*(1 - b795) + 0.1*b789*(1 - b964) - b790*(1 - b715) + 0.1*b790*(1 - 
    b794) - b790*(1 - b851) + 0.1*b790*(1 - b964) - b791*(1 - b717) + 0.1*b791*
    (1 - b793) + 0.1*b791*(1 - b794) + 0.1*b791*(1 - b795) - b791*(1 - b852) + 
    0.1*b791*(1 - b964) + 0.1*b792*(1 - b718) - b792*(1 - b793) + 0.1*b792*(1
     - b794) + 0.1*b792*(1 - b795) + 0.1*b792*(1 - b964) - b793*(1 - b787) + 
    0.1*b793*(1 - b791) - b793*(1 - b792) + 0.1*b793*(1 - b964) - b794*(1 - 
    b788) + 0.1*b794*(1 - b790) + 0.1*b794*(1 - b791) + 0.1*b794*(1 - b792) - 
    b794*(1 - b800) + 0.1*b794*(1 - b964) - b795*(1 - b789) + 0.1*b795*(1 - 
    b791) + 0.1*b795*(1 - b792) - b795*(1 - b802) + 0.1*b795*(1 - b964) + 0.1*
    b796*(1 - b723) + 0.1*b796*(1 - b800) - b796*(1 - b802) - b796*(1 - b857)
     + 0.1*b796*(1 - b964) - b797*(1 - b724) + 0.1*b797*(1 - b800) + 0.1*b797*(
    1 - b801) + 0.1*b797*(1 - b802) - b797*(1 - b858) + 0.1*b797*(1 - b964) - 
    b798*(1 - b725) + 0.1*b798*(1 - b800) + 0.1*b798*(1 - b802) - b798*(1 - 
    b859) + 0.1*b798*(1 - b964) - b799*(1 - b726) - b799*(1 - b800) + 0.1*b799*
    (1 - b802) - b799*(1 - b860) + 0.1*b799*(1 - b964) - b800*(1 - b794) + 0.1*
    b800*(1 - b796) + 0.1*b800*(1 - b797) + 0.1*b800*(1 - b798) - b800*(1 - 
    b799) - b800*(1 - b807) + 0.1*b800*(1 - b964) + 0.1*b801*(1 - b797) - b801*
    (1 - b808) + 0.1*b801*(1 - b964) - b802*(1 - b795) - b802*(1 - b796) + 0.1*
    b802*(1 - b797) + 0.1*b802*(1 - b798) + 0.1*b802*(1 - b799) + 0.1*b802*(1
     - b809) + 0.1*b802*(1 - b964) - b803*(1 - b731) + 0.1*b803*(1 - b807) + 
    0.1*b803*(1 - b808) + 0.1*b803*(1 - b809) - b803*(1 - b865) + 0.1*b803*(1
     - b964) - b804*(1 - b732) + 0.1*b804*(1 - b807) - b804*(1 - b866) + 0.1*
    b804*(1 - b964) - b805*(1 - b733) + 0.1*b805*(1 - b807) + 0.1*b805*(1 - 
    b808) + 0.1*b805*(1 - b809) - b805*(1 - b867) + 0.1*b805*(1 - b964) - b806*
    (1 - b734) + 0.1*b806*(1 - b807) + 0.1*b806*(1 - b809) - b806*(1 - b868) + 
    0.1*b806*(1 - b964) - b807*(1 - b800) + 0.1*b807*(1 - b803) + 0.1*b807*(1
     - b804) + 0.1*b807*(1 - b805) + 0.1*b807*(1 - b806) - b807*(1 - b815) + 
    0.1*b807*(1 - b964) - b808*(1 - b801) + 0.1*b808*(1 - b803) + 0.1*b808*(1
     - b805) - b808*(1 - b816) + 0.1*b808*(1 - b964) + 0.1*b809*(1 - b802) + 
    0.1*b809*(1 - b803) + 0.1*b809*(1 - b805) + 0.1*b809*(1 - b806) - b809*(1
     - b817) + 0.1*b809*(1 - b964) - b810*(1 - b739) + 0.1*b810*(1 - b814) + 
    0.2*b810*(1 - b816) + 0.2*b810*(1 - b817) - b810*(1 - b873) + 0.2*b810*(1
     - b964) - b811*(1 - b740) + 0.1*b811*(1 - b814) + 0.1*b811*(1 - b815) + 
    0.2*b811*(1 - b816) + 0.2*b811*(1 - b817) - b811*(1 - b874) + 0.1*b811*(1
     - b964) - b812*(1 - b741) + 0.2*b812*(1 - b814) + 0.1*b812*(1 - b815) + 
    0.1*b812*(1 - b816) + 0.1*b812*(1 - b817) - b812*(1 - b875) + 0.1*b812*(1
     - b964) - b813*(1 - b742) - b813*(1 - b814) + 0.1*b813*(1 - b815) + 0.1*
    b813*(1 - b816) + 0.1*b813*(1 - b817) - b813*(1 - b876) + 0.1*b813*(1 - 
    b964) + 0.1*b814*(1 - b810) + 0.1*b814*(1 - b811) + 0.2*b814*(1 - b812) - 
    b814*(1 - b813) + 0.1*b814*(1 - b964) - b815*(1 - b807) + 0.1*b815*(1 - 
    b811) + 0.1*b815*(1 - b812) + 0.1*b815*(1 - b813) - b815*(1 - b822) + 0.1*
    b815*(1 - b964) - b816*(1 - b808) + 0.2*b816*(1 - b810) + 0.2*b816*(1 - 
    b811) + 0.1*b816*(1 - b812) + 0.1*b816*(1 - b813) - b816*(1 - b823) + 0.1*
    b816*(1 - b964) - b817*(1 - b809) + 0.2*b817*(1 - b810) + 0.2*b817*(1 - 
    b811) + 0.1*b817*(1 - b812) + 0.1*b817*(1 - b813) - b817*(1 - b824) + 0.1*
    b817*(1 - b964) - b818*(1 - b823) + 0.1*b818*(1 - b824) - b818*(1 - b881)
     + 0.1*b818*(1 - b964) + 0.1*b819*(1 - b823) - b819*(1 - b824) - b819*(1 - 
    b882) + 0.1*b819*(1 - b964) + 0.1*b820*(1 - b749) - b820*(1 - b823) + 0.1*
    b820*(1 - b824) - b820*(1 - b883) + 0.1*b820*(1 - b964) + 0.1*b821*(1 - 
    b823) + 0.1*b821*(1 - b824) - b821*(1 - b884) + 0.1*b821*(1 - b964) - b822*
    (1 - b815) - b822*(1 - b827) + 0.1*b822*(1 - b964) - b823*(1 - b816) - b823
    *(1 - b818) + 0.1*b823*(1 - b819) - b823*(1 - b820) + 0.1*b823*(1 - b821)
     + 0.1*b823*(1 - b964) - b824*(1 - b817) + 0.1*b824*(1 - b818) - b824*(1 - 
    b819) + 0.1*b824*(1 - b820) + 0.1*b824*(1 - b821) - b824*(1 - b828) + 0.1*
    b824*(1 - b964) - b825*(1 - b754) + 0.1*b825*(1 - b827) + 0.1*b825*(1 - 
    b964) - b826*(1 - b755) + 0.1*b826*(1 - b827) - b826*(1 - b888) + 0.1*b826*
    (1 - b964) - b827*(1 - b822) + 0.1*b827*(1 - b825) + 0.1*b827*(1 - b826) + 
    0.1*b827*(1 - b964) - b828*(1 - b824) - b828*(1 - b832) + 0.1*b828*(1 - 
    b964) + 0.1*b829*(1 - b761) + 0.1*b829*(1 - b832) - b829*(1 - b892) + 0.1*
    b829*(1 - b964) + 0.1*b830*(1 - b763) - b830*(1 - b831) + 0.1*b830*(1 - 
    b832) + 0.1*b830*(1 - b964) - b831*(1 - b830) - b831*(1 - b837) + 0.1*b831*
    (1 - b964) - b832*(1 - b828) + 0.1*b832*(1 - b829) + 0.1*b832*(1 - b830) + 
    0.1*b832*(1 - b964) - b833*(1 - b767) - b833*(1 - b896) + 0.1*b833*(1 - 
    b964) - b834*(1 - b768) - b834*(1 - b897) + 0.1*b834*(1 - b964) - b835*(1
     - b769) - b835*(1 - b898) + 0.1*b835*(1 - b964) - b836*(1 - b770) - b836*(
    1 - b837) - b836*(1 - b899) + 0.1*b836*(1 - b964) - b837*(1 - b831) - b837*
    (1 - b836) - b837*(1 - b840) + 0.1*b837*(1 - b964) - b838*(1 - b775) + 0.1*
    b838*(1 - b840) - b838*(1 - b903) + 0.1*b838*(1 - b964) - b839*(1 - b776)
     - b839*(1 - b904) + 0.1*b839*(1 - b964) - b840*(1 - b837) + 0.1*b840*(1 - 
    b838) - b840*(1 - b842) + 0.1*b840*(1 - b964) + 0.1*b841*(1 - b780) - b841*
    (1 - b842) + 0.1*b841*(1 - b964) - b842*(1 - b840) - b842*(1 - b841) + 0.1*
    b842*(1 - b964) + 0.1*b843*(1 - b782) - b843*(1 - b844) + 0.1*b843*(1 - 
    b964) - b844*(1 - b843) - b844*(1 - b845) + 0.1*b844*(1 - b964) - b845*(1
     - b844) - b845*(1 - b850) + 0.1*b845*(1 - b964) - b846*(1 - b783) - b846*(
    1 - b849) + 0.1*b846*(1 - b850) + 0.1*b846*(1 - b964) + 0.1*b847*(1 - b784)
     + 0.1*b847*(1 - b849) - b847*(1 - b906) + 0.1*b847*(1 - b964) - b848*(1 - 
    b785) + 0.1*b848*(1 - b849) - b848*(1 - b907) + 0.1*b848*(1 - b964) - b849*
    (1 - b846) + 0.1*b849*(1 - b847) + 0.1*b849*(1 - b848) - b849*(1 - b853) + 
    0.1*b849*(1 - b964) - b850*(1 - b845) + 0.1*b850*(1 - b846) - b850*(1 - 
    b855) + 0.1*b850*(1 - b964) - b851*(1 - b790) - b851*(1 - b910) + 0.1*b851*
    (1 - b964) - b852*(1 - b791) + 0.1*b852*(1 - b853) + 0.1*b852*(1 - b854) + 
    0.1*b852*(1 - b855) - b852*(1 - b856) - b852*(1 - b911) + 0.1*b852*(1 - 
    b964) - b853*(1 - b849) + 0.1*b853*(1 - b852) - b853*(1 - b861) + 0.1*b853*
    (1 - b964) + 0.1*b854*(1 - b852) - b854*(1 - b862) + 0.1*b854*(1 - b964) - 
    b855*(1 - b850) + 0.1*b855*(1 - b852) - b855*(1 - b863) + 0.1*b855*(1 - 
    b964) - b856*(1 - b852) - b856*(1 - b864) + 0.1*b856*(1 - b964) - b857*(1
     - b796) + 0.1*b857*(1 - b861) - b857*(1 - b862) + 0.1*b857*(1 - b863) + 
    0.1*b857*(1 - b864) + 0.1*b857*(1 - b964) - b858*(1 - b797) + 0.1*b858*(1
     - b861) + 0.1*b858*(1 - b862) + 0.1*b858*(1 - b863) + 0.1*b858*(1 - b864)
     - b858*(1 - b916) + 0.1*b858*(1 - b964) - b859*(1 - b798) - b859*(1 - b861
    ) + 0.1*b859*(1 - b862) + 0.1*b859*(1 - b863) + 0.1*b859*(1 - b864) - b859*
    (1 - b917) + 0.1*b859*(1 - b964) - b860*(1 - b799) + 0.1*b860*(1 - b861) + 
    0.1*b860*(1 - b862) + 0.1*b860*(1 - b863) + 0.1*b860*(1 - b864) - b860*(1
     - b918) + 0.1*b860*(1 - b964) - b861*(1 - b853) + 0.1*b861*(1 - b857) + 
    0.1*b861*(1 - b858) - b861*(1 - b859) + 0.1*b861*(1 - b860) - b861*(1 - 
    b869) + 0.1*b861*(1 - b964) - b862*(1 - b854) - b862*(1 - b857) + 0.1*b862*
    (1 - b858) + 0.1*b862*(1 - b859) + 0.1*b862*(1 - b860) - b862*(1 - b870) + 
    0.1*b862*(1 - b964) - b863*(1 - b855) + 0.1*b863*(1 - b857) + 0.1*b863*(1
     - b858) + 0.1*b863*(1 - b859) + 0.1*b863*(1 - b860) - b863*(1 - b871) + 
    0.1*b863*(1 - b964) - b864*(1 - b856) + 0.1*b864*(1 - b857) + 0.1*b864*(1
     - b858) + 0.1*b864*(1 - b859) + 0.1*b864*(1 - b860) + 0.1*b864*(1 - b872)
     + 0.1*b864*(1 - b964) - b865*(1 - b803) + 0.1*b865*(1 - b869) + 0.1*b865*(
    1 - b870) - b865*(1 - b872) - b865*(1 - b923) + 0.1*b865*(1 - b964) - b866*
    (1 - b804) + 0.1*b866*(1 - b869) + 0.1*b866*(1 - b870) + 0.1*b866*(1 - b871
    ) + 0.1*b866*(1 - b872) - b866*(1 - b924) + 0.1*b866*(1 - b964) - b867*(1
     - b805) + 0.1*b867*(1 - b869) + 0.1*b867*(1 - b870) + 0.1*b867*(1 - b871)
     + 0.1*b867*(1 - b872) - b867*(1 - b925) + 0.1*b867*(1 - b964) - b868*(1 - 
    b806) + 0.1*b868*(1 - b869) - b868*(1 - b870) + 0.1*b868*(1 - b871) + 0.1*
    b868*(1 - b872) - b868*(1 - b926) + 0.1*b868*(1 - b964) - b869*(1 - b861)
     + 0.1*b869*(1 - b865) + 0.1*b869*(1 - b866) + 0.1*b869*(1 - b867) + 0.1*
    b869*(1 - b868) - b869*(1 - b877) + 0.1*b869*(1 - b964) - b870*(1 - b862)
     + 0.1*b870*(1 - b865) + 0.1*b870*(1 - b866) + 0.1*b870*(1 - b867) - b870*(
    1 - b868) - b870*(1 - b878) + 0.1*b870*(1 - b964) - b871*(1 - b863) + 0.1*
    b871*(1 - b866) + 0.1*b871*(1 - b867) + 0.1*b871*(1 - b868) - b871*(1 - 
    b879) + 0.1*b871*(1 - b964) + 0.1*b872*(1 - b864) - b872*(1 - b865) + 0.1*
    b872*(1 - b866) + 0.1*b872*(1 - b867) + 0.1*b872*(1 - b868) - b872*(1 - 
    b880) + 0.1*b872*(1 - b964) - b873*(1 - b810) + 0.1*b873*(1 - b880) - b873*
    (1 - b931) + 0.2*b873*(1 - b964) - b874*(1 - b811) + 0.1*b874*(1 - b880) + 
    0.1*b874*(1 - b932) + 0.1*b874*(1 - b964) - b875*(1 - b812) + 0.1*b875*(1
     - b877) + 0.1*b875*(1 - b878) + 0.2*b875*(1 - b880) - b875*(1 - b933) + 
    0.1*b875*(1 - b964) - b876*(1 - b813) + 0.1*b876*(1 - b877) + 0.1*b876*(1
     - b878) + 0.2*b876*(1 - b880) - b876*(1 - b934) + 0.1*b876*(1 - b964) - 
    b877*(1 - b869) + 0.1*b877*(1 - b875) + 0.1*b877*(1 - b876) - b877*(1 - 
    b885) + 0.1*b877*(1 - b964) - b878*(1 - b870) + 0.1*b878*(1 - b875) + 0.1*
    b878*(1 - b876) - b878*(1 - b886) + 0.1*b878*(1 - b964) - b879*(1 - b871)
     - b879*(1 - b887) + 0.1*b879*(1 - b964) - b880*(1 - b872) + 0.1*b880*(1 - 
    b873) + 0.1*b880*(1 - b874) + 0.2*b880*(1 - b875) + 0.2*b880*(1 - b876) + 
    0.1*b880*(1 - b964) - b881*(1 - b818) + 0.1*b881*(1 - b939) + 0.1*b881*(1
     - b964) - b882*(1 - b819) + 0.1*b882*(1 - b886) - b882*(1 - b940) + 0.1*
    b882*(1 - b964) - b883*(1 - b820) - b883*(1 - b941) + 0.1*b883*(1 - b964)
     - b884*(1 - b821) + 0.1*b884*(1 - b885) - b884*(1 - b942) + 0.1*b884*(1 - 
    b964) - b885*(1 - b877) + 0.1*b885*(1 - b884) - b885*(1 - b889) + 0.1*b885*
    (1 - b964) - b886*(1 - b878) + 0.1*b886*(1 - b882) - b886*(1 - b890) + 0.1*
    b886*(1 - b964) - b887*(1 - b879) - b887*(1 - b891) + 0.1*b887*(1 - b964)
     - b888*(1 - b826) + 0.1*b888*(1 - b889) + 0.1*b888*(1 - b890) + 0.1*b888*(
    1 - b891) + 0.1*b888*(1 - b964) - b889*(1 - b885) + 0.1*b889*(1 - b888) - 
    b889*(1 - b893) + 0.1*b889*(1 - b964) - b890*(1 - b886) + 0.1*b890*(1 - 
    b888) + 0.1*b890*(1 - b894) + 0.1*b890*(1 - b964) - b891*(1 - b887) + 0.1*
    b891*(1 - b888) - b891*(1 - b895) + 0.1*b891*(1 - b964) - b892*(1 - b829)
     - b892*(1 - b894) + 0.1*b892*(1 - b895) + 0.1*b892*(1 - b964) - b893*(1 - 
    b889) - b893*(1 - b900) + 0.1*b893*(1 - b964) + 0.1*b894*(1 - b890) - b894*
    (1 - b892) - b894*(1 - b901) + 0.1*b894*(1 - b964) - b895*(1 - b891) + 0.1*
    b895*(1 - b892) - b895*(1 - b902) + 0.1*b895*(1 - b964) - b896*(1 - b833)
     + 0.1*b896*(1 - b900) + 0.1*b896*(1 - b901) + 0.1*b896*(1 - b902) + 0.1*
    b896*(1 - b955) + 0.1*b896*(1 - b964) - b897*(1 - b834) + 0.1*b897*(1 - 
    b901) + 0.1*b897*(1 - b902) - b897*(1 - b956) + 0.1*b897*(1 - b964) - b898*
    (1 - b835) + 0.1*b898*(1 - b900) + 0.1*b898*(1 - b901) - b898*(1 - b902) + 
    0.1*b898*(1 - b964) - b899*(1 - b836) + 0.1*b899*(1 - b900) - b899*(1 - 
    b957) + 0.1*b899*(1 - b964) - b900*(1 - b893) + 0.1*b900*(1 - b896) + 0.1*
    b900*(1 - b898) + 0.1*b900*(1 - b899) + 0.1*b900*(1 - b964) - b901*(1 - 
    b894) + 0.1*b901*(1 - b896) + 0.1*b901*(1 - b897) + 0.1*b901*(1 - b898) - 
    b901*(1 - b905) + 0.1*b901*(1 - b964) - b902*(1 - b895) + 0.1*b902*(1 - 
    b896) + 0.1*b902*(1 - b897) - b902*(1 - b898) + 0.1*b902*(1 - b964) - b903*
    (1 - b838) - b903*(1 - b962) + 0.1*b903*(1 - b964) - b904*(1 - b839) - b904
    *(1 - b905) + 0.1*b904*(1 - b964) - b905*(1 - b901) - b905*(1 - b904) + 0.1
    *b905*(1 - b964) - b906*(1 - b847) - b906*(1 - b908) + 0.1*b906*(1 - b964)
     - b907*(1 - b848) - b907*(1 - b909) + 0.1*b907*(1 - b964) - b908*(1 - b906
    ) - b908*(1 - b912) + 0.1*b908*(1 - b964) - b909*(1 - b907) + 0.1*b909*(1
     - b915) + 0.1*b909*(1 - b964) - b910*(1 - b851) + 0.1*b910*(1 - b912) + 
    0.2*b910*(1 - b913) + 0.2*b910*(1 - b914) + 0.1*b910*(1 - b915) + 0.1*b910*
    (1 - b964) - b911*(1 - b852) + 0.1*b911*(1 - b912) + 0.1*b911*(1 - b913) + 
    0.1*b911*(1 - b915) + 0.1*b911*(1 - b964) - b912*(1 - b908) + 0.1*b912*(1
     - b910) + 0.1*b912*(1 - b911) - b912*(1 - b919) + 0.1*b912*(1 - b964) + 
    0.2*b913*(1 - b910) + 0.1*b913*(1 - b911) - b913*(1 - b920) + 0.2*b913*(1
     - b964) + 0.2*b914*(1 - b910) - b914*(1 - b921) + 0.1*b914*(1 - b964) + 
    0.1*b915*(1 - b909) + 0.1*b915*(1 - b910) + 0.1*b915*(1 - b911) - b915*(1
     - b922) + 0.1*b915*(1 - b964) - b916*(1 - b858) + 0.1*b916*(1 - b919) + 
    0.1*b916*(1 - b922) + 0.1*b916*(1 - b964) - b917*(1 - b859) + 0.1*b917*(1
     - b919) + 0.1*b917*(1 - b921) + 0.1*b917*(1 - b922) + 0.1*b917*(1 - b964)
     - b918*(1 - b860) + 0.1*b918*(1 - b919) + 0.1*b918*(1 - b922) + 0.1*b918*(
    1 - b964) - b919*(1 - b912) + 0.1*b919*(1 - b916) + 0.1*b919*(1 - b917) + 
    0.1*b919*(1 - b918) - b919*(1 - b927) + 0.1*b919*(1 - b964) - b920*(1 - 
    b913) - b920*(1 - b928) + 0.2*b920*(1 - b964) - b921*(1 - b914) + 0.1*b921*
    (1 - b917) - b921*(1 - b929) + 0.1*b921*(1 - b964) - b922*(1 - b915) + 0.1*
    b922*(1 - b916) + 0.1*b922*(1 - b917) + 0.1*b922*(1 - b918) - b922*(1 - 
    b930) + 0.1*b922*(1 - b964) - b923*(1 - b865) + 0.2*b923*(1 - b927) + 0.1*
    b923*(1 - b928) + 0.1*b923*(1 - b929) + 0.2*b923*(1 - b930) + 0.1*b923*(1
     - b964) - b924*(1 - b866) + 0.1*b924*(1 - b927) + 0.1*b924*(1 - b930) + 
    0.1*b924*(1 - b964) - b925*(1 - b867) + 0.2*b925*(1 - b927) + 0.1*b925*(1
     - b928) + 0.1*b925*(1 - b929) + 0.2*b925*(1 - b930) + 0.1*b925*(1 - b964)
     - b926*(1 - b868) + 0.1*b926*(1 - b927) + 0.1*b926*(1 - b930) + 0.1*b926*(
    1 - b964) - b927*(1 - b919) + 0.2*b927*(1 - b923) + 0.1*b927*(1 - b924) + 
    0.2*b927*(1 - b925) + 0.1*b927*(1 - b926) - b927*(1 - b935) + 0.1*b927*(1
     - b964) - b928*(1 - b920) + 0.1*b928*(1 - b923) + 0.1*b928*(1 - b925) - 
    b928*(1 - b936) + 0.2*b928*(1 - b964) - b929*(1 - b921) + 0.1*b929*(1 - 
    b923) + 0.1*b929*(1 - b925) - b929*(1 - b937) + 0.1*b929*(1 - b964) - b930*
    (1 - b922) + 0.2*b930*(1 - b923) + 0.1*b930*(1 - b924) + 0.2*b930*(1 - b925
    ) + 0.1*b930*(1 - b926) - b930*(1 - b938) + 0.1*b930*(1 - b964) - b931*(1
     - b873) + 0.1*b931*(1 - b935) + 0.2*b931*(1 - b936) + 0.2*b931*(1 - b937)
     + 0.1*b931*(1 - b938) + 0.2*b931*(1 - b964) + 0.1*b932*(1 - b874) - b932*(
    1 - b935) + 0.1*b932*(1 - b936) + 0.1*b932*(1 - b937) + 0.1*b932*(1 - b938)
     + 0.1*b932*(1 - b964) - b933*(1 - b875) + 0.2*b933*(1 - b935) + 0.1*b933*(
    1 - b936) + 0.1*b933*(1 - b937) + 0.2*b933*(1 - b938) + 0.1*b933*(1 - b964)
     - b934*(1 - b876) + 0.2*b934*(1 - b935) + 0.1*b934*(1 - b936) + 0.1*b934*(
    1 - b937) + 0.2*b934*(1 - b938) + 0.1*b934*(1 - b964) - b935*(1 - b927) + 
    0.1*b935*(1 - b931) - b935*(1 - b932) + 0.2*b935*(1 - b933) + 0.2*b935*(1
     - b934) - b935*(1 - b943) + 0.1*b935*(1 - b964) - b936*(1 - b928) + 0.2*
    b936*(1 - b931) + 0.1*b936*(1 - b932) + 0.1*b936*(1 - b933) + 0.1*b936*(1
     - b934) - b936*(1 - b944) + 0.2*b936*(1 - b964) - b937*(1 - b929) + 0.2*
    b937*(1 - b931) + 0.1*b937*(1 - b932) + 0.1*b937*(1 - b933) + 0.1*b937*(1
     - b934) - b937*(1 - b945) + 0.1*b937*(1 - b964) - b938*(1 - b930) + 0.1*
    b938*(1 - b931) + 0.1*b938*(1 - b932) + 0.2*b938*(1 - b933) + 0.2*b938*(1
     - b934) - b938*(1 - b946) + 0.1*b938*(1 - b964) + 0.1*b939*(1 - b881) + 
    0.1*b939*(1 - b943) + 0.1*b939*(1 - b944) + 0.1*b939*(1 - b945) - b939*(1
     - b946) + 0.1*b939*(1 - b964) - b940*(1 - b882) + 0.1*b940*(1 - b943) + 
    0.2*b940*(1 - b944) + 0.1*b940*(1 - b945) + 0.1*b940*(1 - b946) + 0.1*b940*
    (1 - b964) - b941*(1 - b883) + 0.1*b941*(1 - b943) + 0.2*b941*(1 - b944) + 
    0.1*b941*(1 - b945) + 0.1*b941*(1 - b946) + 0.1*b941*(1 - b964) - b942*(1
     - b884) + 0.1*b942*(1 - b943) + 0.2*b942*(1 - b944) - b942*(1 - b945) + 
    0.1*b942*(1 - b946) + 0.1*b942*(1 - b964) - b943*(1 - b935) + 0.1*b943*(1
     - b939) + 0.1*b943*(1 - b940) + 0.1*b943*(1 - b941) + 0.1*b943*(1 - b942)
     - b943*(1 - b947) + 0.1*b943*(1 - b964) - b944*(1 - b936) + 0.1*b944*(1 - 
    b939) + 0.2*b944*(1 - b940) + 0.2*b944*(1 - b941) + 0.2*b944*(1 - b942) + 
    0.1*b944*(1 - b948) + 0.2*b944*(1 - b964) - b945*(1 - b937) + 0.1*b945*(1
     - b939) + 0.1*b945*(1 - b940) + 0.1*b945*(1 - b941) - b945*(1 - b942) - 
    b945*(1 - b949) + 0.1*b945*(1 - b964) - b946*(1 - b938) - b946*(1 - b939)
     + 0.1*b946*(1 - b940) + 0.1*b946*(1 - b941) + 0.1*b946*(1 - b942) - b946*(
    1 - b950) + 0.1*b946*(1 - b964) - b947*(1 - b943) - b947*(1 - b951) + 0.1*
    b947*(1 - b964) + 0.1*b948*(1 - b944) - b948*(1 - b952) + 0.1*b948*(1 - 
    b964) - b949*(1 - b945) - b949*(1 - b953) + 0.1*b949*(1 - b964) - b950*(1
     - b946) - b950*(1 - b954) + 0.1*b950*(1 - b964) - b951*(1 - b947) - b951*(
    1 - b958) + 0.1*b951*(1 - b964) - b952*(1 - b948) - b952*(1 - b959) + 0.1*
    b952*(1 - b964) - b953*(1 - b949) - b953*(1 - b960) + 0.1*b953*(1 - b964)
     - b954*(1 - b950) - b954*(1 - b961) + 0.1*b954*(1 - b964) + 0.1*b955*(1 - 
    b896) + 0.1*b955*(1 - b958) - b955*(1 - b960) + 0.1*b955*(1 - b961) + 0.1*
    b955*(1 - b964) - b956*(1 - b897) - b956*(1 - b959) + 0.1*b956*(1 - b964)
     - b957*(1 - b899) + 0.1*b957*(1 - b958) + 0.1*b957*(1 - b960) - b957*(1 - 
    b961) + 0.1*b957*(1 - b964) - b958*(1 - b951) + 0.1*b958*(1 - b955) + 0.1*
    b958*(1 - b957) - b958*(1 - b963) + 0.1*b958*(1 - b964) - b959*(1 - b952)
     - b959*(1 - b956) + 0.1*b959*(1 - b964) - b960*(1 - b953) - b960*(1 - b955
    ) + 0.1*b960*(1 - b957) + 0.1*b960*(1 - b964) - b961*(1 - b954) + 0.1*b961*
    (1 - b955) - b961*(1 - b957) + 0.1*b961*(1 - b964) - b962*(1 - b903) - b962
    *(1 - b963) + 0.1*b962*(1 - b964) - b963*(1 - b958) - b963*(1 - b962) + 0.1
    *b963*(1 - b964) + 0.1*b964*(1 - b1) + 0.1*b964*(1 - b2) + 0.1*b964*(1 - b3
    ) + 0.1*b964*(1 - b4) + 0.1*b964*(1 - b5) + 0.1*b964*(1 - b6) + 0.1*b964*(1
     - b7) + 0.1*b964*(1 - b8) + 0.1*b964*(1 - b9) + 0.1*b964*(1 - b10) + 0.1*
    b964*(1 - b11) + 0.1*b964*(1 - b12) + 0.1*b964*(1 - b13) + 0.1*b964*(1 - 
    b14) + 0.1*b964*(1 - b15) + 0.1*b964*(1 - b16) + 0.1*b964*(1 - b17) + 0.1*
    b964*(1 - b18) + 0.1*b964*(1 - b19) + 0.1*b964*(1 - b20) + 0.1*b964*(1 - 
    b21) + 0.1*b964*(1 - b22) + 0.1*b964*(1 - b23) + 0.1*b964*(1 - b24) + 0.1*
    b964*(1 - b25) + 0.1*b964*(1 - b26) + 0.1*b964*(1 - b27) + 0.1*b964*(1 - 
    b28) + 0.1*b964*(1 - b29) + 0.1*b964*(1 - b30) + 0.1*b964*(1 - b31) + 0.1*
    b964*(1 - b32) + 0.1*b964*(1 - b33) + 0.1*b964*(1 - b34) + 0.1*b964*(1 - 
    b35) + 0.1*b964*(1 - b36) + 0.1*b964*(1 - b37) + 0.1*b964*(1 - b38) + 0.1*
    b964*(1 - b39) + 0.1*b964*(1 - b40) + 0.1*b964*(1 - b41) + 0.1*b964*(1 - 
    b42) + 0.1*b964*(1 - b43) + 0.1*b964*(1 - b44) + 0.1*b964*(1 - b45) + 0.1*
    b964*(1 - b46) + 0.1*b964*(1 - b47) + 0.1*b964*(1 - b48) + 0.1*b964*(1 - 
    b49) + 0.1*b964*(1 - b50) + 0.1*b964*(1 - b51) + 0.1*b964*(1 - b52) + 0.1*
    b964*(1 - b53) + 0.1*b964*(1 - b54) + 0.1*b964*(1 - b55) + 0.1*b964*(1 - 
    b56) + 0.1*b964*(1 - b57) + 0.1*b964*(1 - b58) + 0.1*b964*(1 - b59) + 0.1*
    b964*(1 - b60) + 0.1*b964*(1 - b61) + 0.1*b964*(1 - b62) + 0.1*b964*(1 - 
    b63) + 0.1*b964*(1 - b64) + 0.1*b964*(1 - b65) + 0.1*b964*(1 - b66) + 0.1*
    b964*(1 - b67) + 0.1*b964*(1 - b68) + 0.1*b964*(1 - b69) + 0.1*b964*(1 - 
    b70) + 0.1*b964*(1 - b71) + 0.1*b964*(1 - b72) + 0.1*b964*(1 - b73) + 0.1*
    b964*(1 - b74) + 0.1*b964*(1 - b75) + 0.1*b964*(1 - b76) + 0.1*b964*(1 - 
    b77) + 0.1*b964*(1 - b78) + 0.1*b964*(1 - b79) + 0.1*b964*(1 - b80) + 0.1*
    b964*(1 - b81) + 0.1*b964*(1 - b82) + 0.1*b964*(1 - b83) + 0.1*b964*(1 - 
    b84) + 0.1*b964*(1 - b85) + 0.1*b964*(1 - b86) + 0.1*b964*(1 - b87) + 0.1*
    b964*(1 - b88) + 0.1*b964*(1 - b89) + 0.1*b964*(1 - b90) + 0.1*b964*(1 - 
    b91) + 0.1*b964*(1 - b92) + 0.1*b964*(1 - b93) + 0.2*b964*(1 - b94) + 0.1*
    b964*(1 - b95) + 0.1*b964*(1 - b96) + 0.1*b964*(1 - b97) + 0.1*b964*(1 - 
    b98) + 0.2*b964*(1 - b99) + 0.1*b964*(1 - b100) + 0.1*b964*(1 - b101) + 0.1
    *b964*(1 - b102) + 0.1*b964*(1 - b103) + 0.1*b964*(1 - b104) + 0.1*b964*(1
     - b105) + 0.1*b964*(1 - b106) + 0.1*b964*(1 - b107) + 0.1*b964*(1 - b108)
     + 0.2*b964*(1 - b109) + 0.1*b964*(1 - b110) + 0.1*b964*(1 - b111) + 0.2*
    b964*(1 - b112) + 0.1*b964*(1 - b113) + 0.1*b964*(1 - b114) + 0.1*b964*(1
     - b115) + 0.2*b964*(1 - b116) + 0.1*b964*(1 - b117) + 0.1*b964*(1 - b118)
     + 0.2*b964*(1 - b119) + 0.1*b964*(1 - b120) + 0.1*b964*(1 - b121) + 0.1*
    b964*(1 - b122) + 0.2*b964*(1 - b123) + 0.1*b964*(1 - b124) + 0.1*b964*(1
     - b125) + 0.1*b964*(1 - b126) + 0.2*b964*(1 - b127) + 0.1*b964*(1 - b128)
     + 0.1*b964*(1 - b129) + 0.1*b964*(1 - b130) + 0.1*b964*(1 - b131) + 0.1*
    b964*(1 - b132) + 0.1*b964*(1 - b133) + 0.1*b964*(1 - b134) + 0.1*b964*(1
     - b135) + 0.1*b964*(1 - b136) + 0.1*b964*(1 - b137) + 0.1*b964*(1 - b138)
     + 0.1*b964*(1 - b139) + 0.1*b964*(1 - b140) + 0.1*b964*(1 - b141) + 0.1*
    b964*(1 - b142) + 0.1*b964*(1 - b143) + 0.1*b964*(1 - b144) + 0.1*b964*(1
     - b145) + 0.1*b964*(1 - b146) + 0.1*b964*(1 - b147) + 0.1*b964*(1 - b148)
     + 0.1*b964*(1 - b149) + 0.1*b964*(1 - b150) + 0.1*b964*(1 - b151) + 0.1*
    b964*(1 - b152) + 0.1*b964*(1 - b153) + 0.1*b964*(1 - b154) + 0.1*b964*(1
     - b155) + 0.1*b964*(1 - b156) + 0.1*b964*(1 - b157) + 0.1*b964*(1 - b158)
     + 0.1*b964*(1 - b159) + 0.1*b964*(1 - b160) + 0.1*b964*(1 - b161) + 0.1*
    b964*(1 - b162) + 0.1*b964*(1 - b163) + 0.1*b964*(1 - b164) + 0.1*b964*(1
     - b165) + 0.1*b964*(1 - b166) + 0.1*b964*(1 - b167) + 0.1*b964*(1 - b168)
     + 0.1*b964*(1 - b169) + 0.1*b964*(1 - b170) + 0.1*b964*(1 - b171) + 0.1*
    b964*(1 - b172) + 0.1*b964*(1 - b173) + 0.1*b964*(1 - b174) + 0.1*b964*(1
     - b175) + 0.1*b964*(1 - b176) + 0.1*b964*(1 - b177) + 0.1*b964*(1 - b178)
     + 0.1*b964*(1 - b179) + 0.1*b964*(1 - b180) + 0.1*b964*(1 - b181) + 0.1*
    b964*(1 - b182) + 0.1*b964*(1 - b183) + 0.1*b964*(1 - b184) + 0.2*b964*(1
     - b185) + 0.1*b964*(1 - b186) + 0.1*b964*(1 - b187) + 0.1*b964*(1 - b188)
     + 0.1*b964*(1 - b189) + 0.1*b964*(1 - b190) + 0.1*b964*(1 - b191) + 0.1*
    b964*(1 - b192) + 0.1*b964*(1 - b193) + 0.1*b964*(1 - b194) + 0.1*b964*(1
     - b195) + 0.1*b964*(1 - b196) + 0.1*b964*(1 - b197) + 0.1*b964*(1 - b198)
     + 0.1*b964*(1 - b199) + 0.1*b964*(1 - b200) + 0.1*b964*(1 - b201) + 0.2*
    b964*(1 - b202) + 0.2*b964*(1 - b203) + 0.2*b964*(1 - b204) + 0.1*b964*(1
     - b205) + 0.1*b964*(1 - b206) + 0.1*b964*(1 - b207) + 0.1*b964*(1 - b208)
     + 0.2*b964*(1 - b209) + 0.2*b964*(1 - b210) + 0.2*b964*(1 - b211) + 0.1*
    b964*(1 - b212) + 0.1*b964*(1 - b213) + 0.1*b964*(1 - b214) + 0.2*b964*(1
     - b215) + 0.1*b964*(1 - b216) + 0.1*b964*(1 - b217) + 0.2*b964*(1 - b218)
     + 0.2*b964*(1 - b219) + 0.1*b964*(1 - b220) + 0.1*b964*(1 - b221) + 0.1*
    b964*(1 - b222) + 0.1*b964*(1 - b223) + 0.1*b964*(1 - b224) + 0.1*b964*(1
     - b225) + 0.1*b964*(1 - b226) + 0.1*b964*(1 - b227) + 0.1*b964*(1 - b228)
     + 0.1*b964*(1 - b229) + 0.1*b964*(1 - b230) + 0.1*b964*(1 - b231) + 0.1*
    b964*(1 - b232) + 0.1*b964*(1 - b233) + 0.1*b964*(1 - b234) + 0.1*b964*(1
     - b235) + 0.1*b964*(1 - b236) + 0.1*b964*(1 - b237) + 0.1*b964*(1 - b238)
     + 0.1*b964*(1 - b239) + 0.1*b964*(1 - b240) + 0.1*b964*(1 - b241) + 0.1*
    b964*(1 - b242) + 0.1*b964*(1 - b243) + 0.1*b964*(1 - b244) + 0.1*b964*(1
     - b245) + 0.1*b964*(1 - b246) + 0.1*b964*(1 - b247) + 0.1*b964*(1 - b248)
     + 0.1*b964*(1 - b249) + 0.1*b964*(1 - b250) + 0.1*b964*(1 - b251) + 0.1*
    b964*(1 - b252) + 0.2*b964*(1 - b253) + 0.1*b964*(1 - b254) + 0.1*b964*(1
     - b255) + 0.1*b964*(1 - b256) + 0.1*b964*(1 - b257) + 0.1*b964*(1 - b258)
     + 0.1*b964*(1 - b259) + 0.2*b964*(1 - b260) + 0.1*b964*(1 - b261) + 0.1*
    b964*(1 - b262) + 0.1*b964*(1 - b263) + 0.1*b964*(1 - b264) + 0.1*b964*(1
     - b265) + 0.1*b964*(1 - b266) + 0.2*b964*(1 - b267) + 0.1*b964*(1 - b268)
     + 0.1*b964*(1 - b269) + 0.1*b964*(1 - b270) + 0.2*b964*(1 - b271) + 0.1*
    b964*(1 - b272) + 0.1*b964*(1 - b273) + 0.2*b964*(1 - b274) + 0.1*b964*(1
     - b275) + 0.1*b964*(1 - b276) + 0.1*b964*(1 - b277) + 0.1*b964*(1 - b278)
     + 0.1*b964*(1 - b279) + 0.1*b964*(1 - b280) + 0.1*b964*(1 - b281) + 0.2*
    b964*(1 - b282) + 0.1*b964*(1 - b283) + 0.1*b964*(1 - b284) + 0.1*b964*(1
     - b285) + 0.1*b964*(1 - b286) + 0.1*b964*(1 - b287) + 0.1*b964*(1 - b288)
     + 0.1*b964*(1 - b289) + 0.1*b964*(1 - b290) + 0.1*b964*(1 - b291) + 0.1*
    b964*(1 - b292) + 0.1*b964*(1 - b293) + 0.1*b964*(1 - b294) + 0.1*b964*(1
     - b295) + 0.1*b964*(1 - b296) + 0.1*b964*(1 - b297) + 0.1*b964*(1 - b298)
     + 0.1*b964*(1 - b299) + 0.1*b964*(1 - b300) + 0.1*b964*(1 - b301) + 0.1*
    b964*(1 - b302) + 0.2*b964*(1 - b303) + 0.1*b964*(1 - b304) + 0.1*b964*(1
     - b305) + 0.1*b964*(1 - b306) + 0.1*b964*(1 - b307) + 0.1*b964*(1 - b308)
     + 0.1*b964*(1 - b309) + 0.1*b964*(1 - b310) + 0.1*b964*(1 - b311) + 0.1*
    b964*(1 - b312) + 0.1*b964*(1 - b313) + 0.1*b964*(1 - b314) + 0.1*b964*(1
     - b315) + 0.1*b964*(1 - b316) + 0.1*b964*(1 - b317) + 0.1*b964*(1 - b318)
     + 0.1*b964*(1 - b319) + 0.1*b964*(1 - b320) + 0.1*b964*(1 - b321) + 0.1*
    b964*(1 - b322) + 0.1*b964*(1 - b323) + 0.1*b964*(1 - b324) + 0.1*b964*(1
     - b325) + 0.1*b964*(1 - b326) + 0.1*b964*(1 - b327) + 0.1*b964*(1 - b328)
     + 0.1*b964*(1 - b329) + 0.1*b964*(1 - b330) + 0.1*b964*(1 - b331) + 0.1*
    b964*(1 - b332) + 0.1*b964*(1 - b333) + 0.1*b964*(1 - b334) + 0.1*b964*(1
     - b335) + 0.1*b964*(1 - b336) + 0.1*b964*(1 - b337) + 0.1*b964*(1 - b338)
     + 0.1*b964*(1 - b339) + 0.1*b964*(1 - b340) + 0.1*b964*(1 - b341) + 0.1*
    b964*(1 - b342) + 0.1*b964*(1 - b343) + 0.1*b964*(1 - b344) + 0.1*b964*(1
     - b345) + 0.1*b964*(1 - b346) + 0.1*b964*(1 - b347) + 0.1*b964*(1 - b348)
     + 0.1*b964*(1 - b349) + 0.1*b964*(1 - b350) + 0.1*b964*(1 - b351) + 0.1*
    b964*(1 - b352) + 0.1*b964*(1 - b353) + 0.1*b964*(1 - b354) + 0.1*b964*(1
     - b355) + 0.1*b964*(1 - b356) + 0.1*b964*(1 - b357) + 0.1*b964*(1 - b358)
     + 0.1*b964*(1 - b359) + 0.1*b964*(1 - b360) + 0.1*b964*(1 - b361) + 0.1*
    b964*(1 - b362) + 0.1*b964*(1 - b363) + 0.1*b964*(1 - b364) + 0.1*b964*(1
     - b365) + 0.1*b964*(1 - b366) + 0.1*b964*(1 - b367) + 0.1*b964*(1 - b368)
     + 0.1*b964*(1 - b369) + 0.1*b964*(1 - b370) + 0.1*b964*(1 - b371) + 0.1*
    b964*(1 - b372) + 0.1*b964*(1 - b373) + 0.1*b964*(1 - b374) + 0.1*b964*(1
     - b375) + 0.1*b964*(1 - b376) + 0.1*b964*(1 - b377) + 0.1*b964*(1 - b378)
     + 0.1*b964*(1 - b379) + 0.1*b964*(1 - b380) + 0.1*b964*(1 - b381) + 0.1*
    b964*(1 - b382) + 0.1*b964*(1 - b383) + 0.1*b964*(1 - b384) + 0.1*b964*(1
     - b385) + 0.1*b964*(1 - b386) + 0.1*b964*(1 - b387) + 0.1*b964*(1 - b388)
     + 0.1*b964*(1 - b389) + 0.1*b964*(1 - b390) + 0.1*b964*(1 - b391) + 0.1*
    b964*(1 - b392) + 0.1*b964*(1 - b393) + 0.1*b964*(1 - b394) + 0.1*b964*(1
     - b395) + 0.1*b964*(1 - b396) + 0.1*b964*(1 - b397) + 0.1*b964*(1 - b398)
     + 0.1*b964*(1 - b399) + 0.1*b964*(1 - b400) + 0.1*b964*(1 - b401) + 0.1*
    b964*(1 - b402) + 0.1*b964*(1 - b403) + 0.1*b964*(1 - b404) + 0.1*b964*(1
     - b405) + 0.1*b964*(1 - b406) + 0.1*b964*(1 - b407) + 0.2*b964*(1 - b408)
     + 0.1*b964*(1 - b409) + 0.1*b964*(1 - b410) + 0.1*b964*(1 - b411) + 0.1*
    b964*(1 - b412) + 0.1*b964*(1 - b413) + 0.1*b964*(1 - b414) + 0.1*b964*(1
     - b415) + 0.1*b964*(1 - b416) + 0.1*b964*(1 - b417) + 0.1*b964*(1 - b418)
     + 0.1*b964*(1 - b419) + 0.1*b964*(1 - b420) + 0.1*b964*(1 - b421) + 0.1*
    b964*(1 - b422) + 0.1*b964*(1 - b423) + 0.1*b964*(1 - b424) + 0.1*b964*(1
     - b425) + 0.1*b964*(1 - b426) + 0.1*b964*(1 - b427) + 0.1*b964*(1 - b428)
     + 0.1*b964*(1 - b429) + 0.1*b964*(1 - b430) + 0.1*b964*(1 - b431) + 0.1*
    b964*(1 - b432) + 0.1*b964*(1 - b433) + 0.1*b964*(1 - b434) + 0.1*b964*(1
     - b435) + 0.1*b964*(1 - b436) + 0.1*b964*(1 - b437) + 0.1*b964*(1 - b438)
     + 0.1*b964*(1 - b439) + 0.1*b964*(1 - b440) + 0.1*b964*(1 - b441) + 0.1*
    b964*(1 - b442) + 0.1*b964*(1 - b443) + 0.1*b964*(1 - b444) + 0.1*b964*(1
     - b445) + 0.1*b964*(1 - b446) + 0.1*b964*(1 - b447) + 0.1*b964*(1 - b448)
     + 0.1*b964*(1 - b449) + 0.1*b964*(1 - b450) + 0.1*b964*(1 - b451) + 0.1*
    b964*(1 - b452) + 0.1*b964*(1 - b453) + 0.1*b964*(1 - b454) + 0.1*b964*(1
     - b455) + 0.1*b964*(1 - b456) + 0.1*b964*(1 - b457) + 0.1*b964*(1 - b458)
     + 0.1*b964*(1 - b459) + 0.1*b964*(1 - b460) + 0.1*b964*(1 - b461) + 0.1*
    b964*(1 - b462) + 0.1*b964*(1 - b463) + 0.1*b964*(1 - b464) + 0.1*b964*(1
     - b465) + 0.1*b964*(1 - b466) + 0.1*b964*(1 - b467) + 0.1*b964*(1 - b468)
     + 0.1*b964*(1 - b469) + 0.1*b964*(1 - b470) + 0.1*b964*(1 - b471) + 0.1*
    b964*(1 - b472) + 0.1*b964*(1 - b473) + 0.1*b964*(1 - b474) + 0.1*b964*(1
     - b475) + 0.1*b964*(1 - b476) + 0.1*b964*(1 - b477) + 0.1*b964*(1 - b478)
     + 0.1*b964*(1 - b479) + 0.1*b964*(1 - b480) + 0.1*b964*(1 - b481) + 0.1*
    b964*(1 - b482) + 0.1*b964*(1 - b483) + 0.1*b964*(1 - b484) + 0.1*b964*(1
     - b485) + 0.1*b964*(1 - b486) + 0.1*b964*(1 - b487) + 0.1*b964*(1 - b488)
     + 0.1*b964*(1 - b489) + 0.1*b964*(1 - b490) + 0.1*b964*(1 - b491) + 0.1*
    b964*(1 - b492) + 0.1*b964*(1 - b493) + 0.1*b964*(1 - b494) + 0.1*b964*(1
     - b495) + 0.1*b964*(1 - b496) + 0.1*b964*(1 - b497) + 0.1*b964*(1 - b498)
     + 0.1*b964*(1 - b499) + 0.1*b964*(1 - b500) + 0.1*b964*(1 - b501) + 0.1*
    b964*(1 - b502) + 0.1*b964*(1 - b503) + 0.1*b964*(1 - b504) + 0.1*b964*(1
     - b505) + 0.1*b964*(1 - b506) + 0.1*b964*(1 - b507) + 0.1*b964*(1 - b508)
     + 0.1*b964*(1 - b509) + 0.1*b964*(1 - b510) + 0.1*b964*(1 - b511) + 0.1*
    b964*(1 - b512) + 0.1*b964*(1 - b513) + 0.1*b964*(1 - b514) + 0.1*b964*(1
     - b515) + 0.1*b964*(1 - b516) + 0.1*b964*(1 - b517) + 0.1*b964*(1 - b518)
     + 0.1*b964*(1 - b519) + 0.1*b964*(1 - b520) + 0.1*b964*(1 - b521) + 0.1*
    b964*(1 - b522) + 0.1*b964*(1 - b523) + 0.1*b964*(1 - b524) + 0.1*b964*(1
     - b525) + 0.1*b964*(1 - b526) + 0.1*b964*(1 - b527) + 0.1*b964*(1 - b528)
     + 0.1*b964*(1 - b529) + 0.1*b964*(1 - b530) + 0.1*b964*(1 - b531) + 0.1*
    b964*(1 - b532) + 0.1*b964*(1 - b533) + 0.1*b964*(1 - b534) + 0.1*b964*(1
     - b535) + 0.1*b964*(1 - b536) + 0.1*b964*(1 - b537) + 0.1*b964*(1 - b538)
     + 0.1*b964*(1 - b539) + 0.1*b964*(1 - b540) + 0.1*b964*(1 - b541) + 0.1*
    b964*(1 - b542) + 0.1*b964*(1 - b543) + 0.1*b964*(1 - b544) + 0.1*b964*(1
     - b545) + 0.1*b964*(1 - b546) + 0.1*b964*(1 - b547) + 0.1*b964*(1 - b548)
     + 0.1*b964*(1 - b549) + 0.1*b964*(1 - b550) + 0.1*b964*(1 - b551) + 0.1*
    b964*(1 - b552) + 0.1*b964*(1 - b553) + 0.1*b964*(1 - b554) + 0.1*b964*(1
     - b555) + 0.1*b964*(1 - b556) + 0.1*b964*(1 - b557) + 0.1*b964*(1 - b558)
     + 0.1*b964*(1 - b559) + 0.1*b964*(1 - b560) + 0.1*b964*(1 - b561) + 0.1*
    b964*(1 - b562) + 0.1*b964*(1 - b563) + 0.1*b964*(1 - b564) + 0.1*b964*(1
     - b565) + 0.1*b964*(1 - b566) + 0.1*b964*(1 - b567) + 0.1*b964*(1 - b568)
     + 0.1*b964*(1 - b569) + 0.1*b964*(1 - b570) + 0.1*b964*(1 - b571) + 0.1*
    b964*(1 - b572) + 0.1*b964*(1 - b573) + 0.1*b964*(1 - b574) + 0.1*b964*(1
     - b575) + 0.1*b964*(1 - b576) + 0.1*b964*(1 - b577) + 0.1*b964*(1 - b578)
     + 0.1*b964*(1 - b579) + 0.1*b964*(1 - b580) + 0.1*b964*(1 - b581) + 0.1*
    b964*(1 - b582) + 0.1*b964*(1 - b583) + 0.1*b964*(1 - b584) + 0.1*b964*(1
     - b585) + 0.1*b964*(1 - b586) + 0.1*b964*(1 - b587) + 0.1*b964*(1 - b588)
     + 0.1*b964*(1 - b589) + 0.1*b964*(1 - b590) + 0.1*b964*(1 - b591) + 0.1*
    b964*(1 - b592) + 0.1*b964*(1 - b593) + 0.1*b964*(1 - b594) + 0.1*b964*(1
     - b595) + 0.1*b964*(1 - b596) + 0.1*b964*(1 - b597) + 0.1*b964*(1 - b598)
     + 0.1*b964*(1 - b599) + 0.1*b964*(1 - b600) + 0.1*b964*(1 - b601) + 0.1*
    b964*(1 - b602) + 0.1*b964*(1 - b603) + 0.1*b964*(1 - b604) + 0.1*b964*(1
     - b605) + 0.1*b964*(1 - b606) + 0.1*b964*(1 - b607) + 0.1*b964*(1 - b608)
     + 0.1*b964*(1 - b609) + 0.1*b964*(1 - b610) + 0.1*b964*(1 - b611) + 0.1*
    b964*(1 - b612) + 0.1*b964*(1 - b613) + 0.1*b964*(1 - b614) + 0.1*b964*(1
     - b615) + 0.1*b964*(1 - b616) + 0.1*b964*(1 - b617) + 0.1*b964*(1 - b618)
     + 0.1*b964*(1 - b619) + 0.1*b964*(1 - b620) + 0.1*b964*(1 - b621) + 0.1*
    b964*(1 - b622) + 0.1*b964*(1 - b623) + 0.1*b964*(1 - b624) + 0.1*b964*(1
     - b625) + 0.1*b964*(1 - b626) + 0.1*b964*(1 - b627) + 0.1*b964*(1 - b628)
     + 0.1*b964*(1 - b629) + 0.1*b964*(1 - b630) + 0.1*b964*(1 - b631) + 0.1*
    b964*(1 - b632) + 0.1*b964*(1 - b633) + 0.1*b964*(1 - b634) + 0.1*b964*(1
     - b635) + 0.1*b964*(1 - b636) + 0.1*b964*(1 - b637) + 0.1*b964*(1 - b638)
     + 0.1*b964*(1 - b639) + 0.1*b964*(1 - b640) + 0.1*b964*(1 - b641) + 0.1*
    b964*(1 - b642) + 0.1*b964*(1 - b643) + 0.1*b964*(1 - b644) + 0.1*b964*(1
     - b645) + 0.2*b964*(1 - b646) + 0.1*b964*(1 - b647) + 0.1*b964*(1 - b648)
     + 0.1*b964*(1 - b649) + 0.1*b964*(1 - b650) + 0.2*b964*(1 - b651) + 0.1*
    b964*(1 - b652) + 0.1*b964*(1 - b653) + 0.1*b964*(1 - b654) + 0.1*b964*(1
     - b655) + 0.1*b964*(1 - b656) + 0.1*b964*(1 - b657) + 0.1*b964*(1 - b658)
     + 0.1*b964*(1 - b659) + 0.1*b964*(1 - b660) + 0.1*b964*(1 - b661) + 0.1*
    b964*(1 - b662) + 0.1*b964*(1 - b663) + 0.1*b964*(1 - b664) + 0.1*b964*(1
     - b665) + 0.1*b964*(1 - b666) + 0.1*b964*(1 - b667) + 0.1*b964*(1 - b668)
     + 0.1*b964*(1 - b669) + 0.1*b964*(1 - b670) + 0.1*b964*(1 - b671) + 0.1*
    b964*(1 - b672) + 0.1*b964*(1 - b673) + 0.1*b964*(1 - b674) + 0.1*b964*(1
     - b675) + 0.1*b964*(1 - b676) + 0.1*b964*(1 - b677) + 0.1*b964*(1 - b678)
     + 0.1*b964*(1 - b679) + 0.1*b964*(1 - b680) + 0.1*b964*(1 - b681) + 0.1*
    b964*(1 - b682) + 0.1*b964*(1 - b683) + 0.1*b964*(1 - b684) + 0.1*b964*(1
     - b685) + 0.1*b964*(1 - b686) + 0.1*b964*(1 - b687) + 0.1*b964*(1 - b688)
     + 0.1*b964*(1 - b689) + 0.1*b964*(1 - b690) + 0.1*b964*(1 - b691) + 0.1*
    b964*(1 - b692) + 0.1*b964*(1 - b693) + 0.1*b964*(1 - b694) + 0.1*b964*(1
     - b695) + 0.1*b964*(1 - b696) + 0.1*b964*(1 - b697) + 0.1*b964*(1 - b698)
     + 0.1*b964*(1 - b699) + 0.1*b964*(1 - b700) + 0.1*b964*(1 - b701) + 0.1*
    b964*(1 - b702) + 0.1*b964*(1 - b703) + 0.1*b964*(1 - b704) + 0.1*b964*(1
     - b705) + 0.1*b964*(1 - b706) + 0.1*b964*(1 - b707) + 0.1*b964*(1 - b708)
     + 0.1*b964*(1 - b709) + 0.1*b964*(1 - b710) + 0.1*b964*(1 - b711) + 0.1*
    b964*(1 - b712) + 0.1*b964*(1 - b713) + 0.1*b964*(1 - b714) + 0.1*b964*(1
     - b715) + 0.1*b964*(1 - b716) + 0.1*b964*(1 - b717) + 0.1*b964*(1 - b718)
     + 0.1*b964*(1 - b719) + 0.1*b964*(1 - b720) + 0.1*b964*(1 - b721) + 0.1*
    b964*(1 - b722) + 0.1*b964*(1 - b723) + 0.1*b964*(1 - b724) + 0.1*b964*(1
     - b725) + 0.1*b964*(1 - b726) + 0.1*b964*(1 - b727) + 0.1*b964*(1 - b728)
     + 0.1*b964*(1 - b729) + 0.1*b964*(1 - b730) + 0.1*b964*(1 - b731) + 0.1*
    b964*(1 - b732) + 0.1*b964*(1 - b733) + 0.1*b964*(1 - b734) + 0.1*b964*(1
     - b735) + 0.1*b964*(1 - b736) + 0.1*b964*(1 - b737) + 0.1*b964*(1 - b738)
     + 0.2*b964*(1 - b739) + 0.1*b964*(1 - b740) + 0.1*b964*(1 - b741) + 0.1*
    b964*(1 - b742) + 0.1*b964*(1 - b743) + 0.1*b964*(1 - b744) + 0.1*b964*(1
     - b745) + 0.1*b964*(1 - b746) + 0.1*b964*(1 - b747) + 0.1*b964*(1 - b748)
     + 0.1*b964*(1 - b749) + 0.1*b964*(1 - b750) + 0.1*b964*(1 - b751) + 0.1*
    b964*(1 - b752) + 0.1*b964*(1 - b753) + 0.1*b964*(1 - b754) + 0.1*b964*(1
     - b755) + 0.1*b964*(1 - b756) + 0.1*b964*(1 - b757) + 0.1*b964*(1 - b758)
     + 0.1*b964*(1 - b759) + 0.1*b964*(1 - b760) + 0.1*b964*(1 - b761) + 0.1*
    b964*(1 - b762) + 0.1*b964*(1 - b763) + 0.1*b964*(1 - b764) + 0.1*b964*(1
     - b765) + 0.1*b964*(1 - b766) + 0.1*b964*(1 - b767) + 0.1*b964*(1 - b768)
     + 0.1*b964*(1 - b769) + 0.1*b964*(1 - b770) + 0.1*b964*(1 - b771) + 0.1*
    b964*(1 - b772) + 0.1*b964*(1 - b773) + 0.1*b964*(1 - b774) + 0.1*b964*(1
     - b775) + 0.1*b964*(1 - b776) + 0.1*b964*(1 - b777) + 0.1*b964*(1 - b778)
     + 0.1*b964*(1 - b779) + 0.1*b964*(1 - b780) + 0.1*b964*(1 - b781) + 0.1*
    b964*(1 - b782) + 0.1*b964*(1 - b783) + 0.1*b964*(1 - b784) + 0.1*b964*(1
     - b785) + 0.1*b964*(1 - b786) + 0.1*b964*(1 - b787) + 0.1*b964*(1 - b788)
     + 0.1*b964*(1 - b789) + 0.1*b964*(1 - b790) + 0.1*b964*(1 - b791) + 0.1*
    b964*(1 - b792) + 0.1*b964*(1 - b793) + 0.1*b964*(1 - b794) + 0.1*b964*(1
     - b795) + 0.1*b964*(1 - b796) + 0.1*b964*(1 - b797) + 0.1*b964*(1 - b798)
     + 0.1*b964*(1 - b799) + 0.1*b964*(1 - b800) + 0.1*b964*(1 - b801) + 0.1*
    b964*(1 - b802) + 0.1*b964*(1 - b803) + 0.1*b964*(1 - b804) + 0.1*b964*(1
     - b805) + 0.1*b964*(1 - b806) + 0.1*b964*(1 - b807) + 0.1*b964*(1 - b808)
     + 0.1*b964*(1 - b809) + 0.2*b964*(1 - b810) + 0.1*b964*(1 - b811) + 0.1*
    b964*(1 - b812) + 0.1*b964*(1 - b813) + 0.1*b964*(1 - b814) + 0.1*b964*(1
     - b815) + 0.1*b964*(1 - b816) + 0.1*b964*(1 - b817) + 0.1*b964*(1 - b818)
     + 0.1*b964*(1 - b819) + 0.1*b964*(1 - b820) + 0.1*b964*(1 - b821) + 0.1*
    b964*(1 - b822) + 0.1*b964*(1 - b823) + 0.1*b964*(1 - b824) + 0.1*b964*(1
     - b825) + 0.1*b964*(1 - b826) + 0.1*b964*(1 - b827) + 0.1*b964*(1 - b828)
     + 0.1*b964*(1 - b829) + 0.1*b964*(1 - b830) + 0.1*b964*(1 - b831) + 0.1*
    b964*(1 - b832) + 0.1*b964*(1 - b833) + 0.1*b964*(1 - b834) + 0.1*b964*(1
     - b835) + 0.1*b964*(1 - b836) + 0.1*b964*(1 - b837) + 0.1*b964*(1 - b838)
     + 0.1*b964*(1 - b839) + 0.1*b964*(1 - b840) + 0.1*b964*(1 - b841) + 0.1*
    b964*(1 - b842) + 0.1*b964*(1 - b843) + 0.1*b964*(1 - b844) + 0.1*b964*(1
     - b845) + 0.1*b964*(1 - b846) + 0.1*b964*(1 - b847) + 0.1*b964*(1 - b848)
     + 0.1*b964*(1 - b849) + 0.1*b964*(1 - b850) + 0.1*b964*(1 - b851) + 0.1*
    b964*(1 - b852) + 0.1*b964*(1 - b853) + 0.1*b964*(1 - b854) + 0.1*b964*(1
     - b855) + 0.1*b964*(1 - b856) + 0.1*b964*(1 - b857) + 0.1*b964*(1 - b858)
     + 0.1*b964*(1 - b859) + 0.1*b964*(1 - b860) + 0.1*b964*(1 - b861) + 0.1*
    b964*(1 - b862) + 0.1*b964*(1 - b863) + 0.1*b964*(1 - b864) + 0.1*b964*(1
     - b865) + 0.1*b964*(1 - b866) + 0.1*b964*(1 - b867) + 0.1*b964*(1 - b868)
     + 0.1*b964*(1 - b869) + 0.1*b964*(1 - b870) + 0.1*b964*(1 - b871) + 0.1*
    b964*(1 - b872) + 0.2*b964*(1 - b873) + 0.1*b964*(1 - b874) + 0.1*b964*(1
     - b875) + 0.1*b964*(1 - b876) + 0.1*b964*(1 - b877) + 0.1*b964*(1 - b878)
     + 0.1*b964*(1 - b879) + 0.1*b964*(1 - b880) + 0.1*b964*(1 - b881) + 0.1*
    b964*(1 - b882) + 0.1*b964*(1 - b883) + 0.1*b964*(1 - b884) + 0.1*b964*(1
     - b885) + 0.1*b964*(1 - b886) + 0.1*b964*(1 - b887) + 0.1*b964*(1 - b888)
     + 0.1*b964*(1 - b889) + 0.1*b964*(1 - b890) + 0.1*b964*(1 - b891) + 0.1*
    b964*(1 - b892) + 0.1*b964*(1 - b893) + 0.1*b964*(1 - b894) + 0.1*b964*(1
     - b895) + 0.1*b964*(1 - b896) + 0.1*b964*(1 - b897) + 0.1*b964*(1 - b898)
     + 0.1*b964*(1 - b899) + 0.1*b964*(1 - b900) + 0.1*b964*(1 - b901) + 0.1*
    b964*(1 - b902) + 0.1*b964*(1 - b903) + 0.1*b964*(1 - b904) + 0.1*b964*(1
     - b905) + 0.1*b964*(1 - b906) + 0.1*b964*(1 - b907) + 0.1*b964*(1 - b908)
     + 0.1*b964*(1 - b909) + 0.1*b964*(1 - b910) + 0.1*b964*(1 - b911) + 0.1*
    b964*(1 - b912) + 0.2*b964*(1 - b913) + 0.1*b964*(1 - b914) + 0.1*b964*(1
     - b915) + 0.1*b964*(1 - b916) + 0.1*b964*(1 - b917) + 0.1*b964*(1 - b918)
     + 0.1*b964*(1 - b919) + 0.2*b964*(1 - b920) + 0.1*b964*(1 - b921) + 0.1*
    b964*(1 - b922) + 0.1*b964*(1 - b923) + 0.1*b964*(1 - b924) + 0.1*b964*(1
     - b925) + 0.1*b964*(1 - b926) + 0.1*b964*(1 - b927) + 0.2*b964*(1 - b928)
     + 0.1*b964*(1 - b929) + 0.1*b964*(1 - b930) + 0.2*b964*(1 - b931) + 0.1*
    b964*(1 - b932) + 0.1*b964*(1 - b933) + 0.1*b964*(1 - b934) + 0.1*b964*(1
     - b935) + 0.2*b964*(1 - b936) + 0.1*b964*(1 - b937) + 0.1*b964*(1 - b938)
     + 0.1*b964*(1 - b939) + 0.1*b964*(1 - b940) + 0.1*b964*(1 - b941) + 0.1*
    b964*(1 - b942) + 0.1*b964*(1 - b943) + 0.2*b964*(1 - b944) + 0.1*b964*(1
     - b945) + 0.1*b964*(1 - b946) + 0.1*b964*(1 - b947) + 0.1*b964*(1 - b948)
     + 0.1*b964*(1 - b949) + 0.1*b964*(1 - b950) + 0.1*b964*(1 - b951) + 0.1*
    b964*(1 - b952) + 0.1*b964*(1 - b953) + 0.1*b964*(1 - b954) + 0.1*b964*(1
     - b955) + 0.1*b964*(1 - b956) + 0.1*b964*(1 - b957) + 0.1*b964*(1 - b958)
     + 0.1*b964*(1 - b959) + 0.1*b964*(1 - b960) + 0.1*b964*(1 - b961) + 0.1*
    b964*(1 - b962) + 0.1*b964*(1 - b963);