#  MINLP written by GAMS Convert at 08/19/18 15:46:25
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#         81       81        0        0        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        396        1      395        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#        791      475      316        0
# 
#  Reformulation has removed 1 variable and 1 equation


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;

minimize obj: b2*b3 + 0.25*b2*b4 + 0.5*b2*b5 + 0.75*b2*b6 + 0.5*b2*b7 + 0.125*
    b2*b8 + 0.25*b2*b9 + 0.375*b2*b10 + 0.8*b2*b11 + 0.2*b2*b12 + 0.4*b2*b13 + 
    0.6*b2*b14 + 0.8*b2*b15 + 0.2*b2*b16 + 0.4*b2*b17 + 0.6*b2*b18 + 0.3*b2*b19
     + 0.075*b2*b20 + 0.15*b2*b21 + 0.225*b2*b22 + b3*b7 + 0.25*b3*b8 + 0.5*b3*
    b9 + 0.75*b3*b10 + 0.8*b3*b11 + 0.2*b3*b12 + 0.4*b3*b13 + 0.6*b3*b14 + 0.8*
    b3*b15 + 0.2*b3*b16 + 0.4*b3*b17 + 0.6*b3*b18 + 0.25*b3*b23 + 0.5*b3*b24 + 
    0.75*b3*b25 + 0.5*b3*b26 + 0.125*b3*b27 + 0.25*b3*b28 + 0.375*b3*b29 + 0.8*
    b3*b30 + 0.2*b3*b31 + 0.4*b3*b32 + 0.6*b3*b33 + 0.25*b4*b7 + b4*b8 + 0.25*
    b4*b9 + 0.5*b4*b10 + 0.2*b4*b11 + 0.8*b4*b12 + 0.2*b4*b13 + 0.4*b4*b14 + 
    0.2*b4*b15 + 0.8*b4*b16 + 0.2*b4*b17 + 0.4*b4*b18 + b4*b23 + 0.25*b4*b24 + 
    0.5*b4*b25 + 0.125*b4*b26 + 0.5*b4*b27 + 0.125*b4*b28 + 0.25*b4*b29 + 0.2*
    b4*b30 + 0.8*b4*b31 + 0.2*b4*b32 + 0.4*b4*b33 + 0.5*b5*b7 + 0.25*b5*b8 + b5
    *b9 + 0.25*b5*b10 + 0.4*b5*b11 + 0.2*b5*b12 + 0.8*b5*b13 + 0.2*b5*b14 + 0.4
    *b5*b15 + 0.2*b5*b16 + 0.8*b5*b17 + 0.2*b5*b18 + 0.25*b5*b23 + b5*b24 + 
    0.25*b5*b25 + 0.25*b5*b26 + 0.125*b5*b27 + 0.5*b5*b28 + 0.125*b5*b29 + 0.4*
    b5*b30 + 0.2*b5*b31 + 0.8*b5*b32 + 0.2*b5*b33 + 0.75*b6*b7 + 0.5*b6*b8 + 
    0.25*b6*b9 + b6*b10 + 0.6*b6*b11 + 0.4*b6*b12 + 0.2*b6*b13 + 0.8*b6*b14 + 
    0.6*b6*b15 + 0.4*b6*b16 + 0.2*b6*b17 + 0.8*b6*b18 + 0.5*b6*b23 + 0.25*b6*
    b24 + b6*b25 + 0.375*b6*b26 + 0.25*b6*b27 + 0.125*b6*b28 + 0.5*b6*b29 + 0.6
    *b6*b30 + 0.4*b6*b31 + 0.2*b6*b32 + 0.8*b6*b33 + 0.8*b7*b15 + 0.2*b7*b16 + 
    0.4*b7*b17 + 0.6*b7*b18 + 0.125*b7*b23 + 0.25*b7*b24 + 0.375*b7*b25 + b7*
    b26 + 0.25*b7*b27 + 0.5*b7*b28 + 0.75*b7*b29 + 0.8*b7*b30 + 0.2*b7*b31 + 
    0.4*b7*b32 + 0.6*b7*b33 + 0.8*b7*b34 + 0.2*b7*b35 + 0.4*b7*b36 + 0.6*b7*b37
     + 0.2*b8*b15 + 0.8*b8*b16 + 0.2*b8*b17 + 0.4*b8*b18 + 0.5*b8*b23 + 0.125*
    b8*b24 + 0.25*b8*b25 + 0.25*b8*b26 + b8*b27 + 0.25*b8*b28 + 0.5*b8*b29 + 
    0.2*b8*b30 + 0.8*b8*b31 + 0.2*b8*b32 + 0.4*b8*b33 + 0.2*b8*b34 + 0.8*b8*b35
     + 0.2*b8*b36 + 0.4*b8*b37 + 0.4*b9*b15 + 0.2*b9*b16 + 0.8*b9*b17 + 0.2*b9*
    b18 + 0.125*b9*b23 + 0.5*b9*b24 + 0.125*b9*b25 + 0.5*b9*b26 + 0.25*b9*b27
     + b9*b28 + 0.25*b9*b29 + 0.4*b9*b30 + 0.2*b9*b31 + 0.8*b9*b32 + 0.2*b9*b33
     + 0.4*b9*b34 + 0.2*b9*b35 + 0.8*b9*b36 + 0.2*b9*b37 + 0.6*b10*b15 + 0.4*
    b10*b16 + 0.2*b10*b17 + 0.8*b10*b18 + 0.25*b10*b23 + 0.125*b10*b24 + 0.5*
    b10*b25 + 0.75*b10*b26 + 0.5*b10*b27 + 0.25*b10*b28 + b10*b29 + 0.6*b10*b30
     + 0.4*b10*b31 + 0.2*b10*b32 + 0.8*b10*b33 + 0.6*b10*b34 + 0.4*b10*b35 + 
    0.2*b10*b36 + 0.8*b10*b37 + b11*b15 + 0.25*b11*b16 + 0.5*b11*b17 + 0.75*b11
    *b18 + 0.2*b11*b23 + 0.4*b11*b24 + 0.6*b11*b25 + 0.5*b11*b30 + 0.125*b11*
    b31 + 0.25*b11*b32 + 0.375*b11*b33 + 0.3*b11*b38 + 0.075*b11*b39 + 0.15*b11
    *b40 + 0.225*b11*b41 + 0.3*b11*b42 + 0.075*b11*b43 + 0.15*b11*b44 + 0.225*
    b11*b45 + 0.3*b11*b46 + 0.075*b11*b47 + 0.15*b11*b48 + 0.225*b11*b49 + 0.25
    *b12*b15 + b12*b16 + 0.25*b12*b17 + 0.5*b12*b18 + 0.8*b12*b23 + 0.2*b12*b24
     + 0.4*b12*b25 + 0.125*b12*b30 + 0.5*b12*b31 + 0.125*b12*b32 + 0.25*b12*b33
     + 0.075*b12*b38 + 0.3*b12*b39 + 0.075*b12*b40 + 0.15*b12*b41 + 0.075*b12*
    b42 + 0.3*b12*b43 + 0.075*b12*b44 + 0.15*b12*b45 + 0.075*b12*b46 + 0.3*b12*
    b47 + 0.075*b12*b48 + 0.15*b12*b49 + 0.5*b13*b15 + 0.25*b13*b16 + b13*b17
     + 0.25*b13*b18 + 0.2*b13*b23 + 0.8*b13*b24 + 0.2*b13*b25 + 0.25*b13*b30 + 
    0.125*b13*b31 + 0.5*b13*b32 + 0.125*b13*b33 + 0.15*b13*b38 + 0.075*b13*b39
     + 0.3*b13*b40 + 0.075*b13*b41 + 0.15*b13*b42 + 0.075*b13*b43 + 0.3*b13*b44
     + 0.075*b13*b45 + 0.15*b13*b46 + 0.075*b13*b47 + 0.3*b13*b48 + 0.075*b13*
    b49 + 0.75*b14*b15 + 0.5*b14*b16 + 0.25*b14*b17 + b14*b18 + 0.4*b14*b23 + 
    0.2*b14*b24 + 0.8*b14*b25 + 0.375*b14*b30 + 0.25*b14*b31 + 0.125*b14*b32 + 
    0.5*b14*b33 + 0.225*b14*b38 + 0.15*b14*b39 + 0.075*b14*b40 + 0.3*b14*b41 + 
    0.225*b14*b42 + 0.15*b14*b43 + 0.075*b14*b44 + 0.3*b14*b45 + 0.225*b14*b46
     + 0.15*b14*b47 + 0.075*b14*b48 + 0.3*b14*b49 + 0.2*b15*b23 + 0.4*b15*b24
     + 0.6*b15*b25 + b15*b30 + 0.25*b15*b31 + 0.5*b15*b32 + 0.75*b15*b33 + 0.5*
    b15*b34 + 0.125*b15*b35 + 0.25*b15*b36 + 0.375*b15*b37 + 0.3*b15*b38 + 
    0.075*b15*b39 + 0.15*b15*b40 + 0.225*b15*b41 + 0.3*b15*b42 + 0.075*b15*b43
     + 0.15*b15*b44 + 0.225*b15*b45 + 0.3*b15*b50 + 0.075*b15*b51 + 0.15*b15*
    b52 + 0.225*b15*b53 + 0.8*b16*b23 + 0.2*b16*b24 + 0.4*b16*b25 + 0.25*b16*
    b30 + b16*b31 + 0.25*b16*b32 + 0.5*b16*b33 + 0.125*b16*b34 + 0.5*b16*b35 + 
    0.125*b16*b36 + 0.25*b16*b37 + 0.075*b16*b38 + 0.3*b16*b39 + 0.075*b16*b40
     + 0.15*b16*b41 + 0.075*b16*b42 + 0.3*b16*b43 + 0.075*b16*b44 + 0.15*b16*
    b45 + 0.075*b16*b50 + 0.3*b16*b51 + 0.075*b16*b52 + 0.15*b16*b53 + 0.2*b17*
    b23 + 0.8*b17*b24 + 0.2*b17*b25 + 0.5*b17*b30 + 0.25*b17*b31 + b17*b32 + 
    0.25*b17*b33 + 0.25*b17*b34 + 0.125*b17*b35 + 0.5*b17*b36 + 0.125*b17*b37
     + 0.15*b17*b38 + 0.075*b17*b39 + 0.3*b17*b40 + 0.075*b17*b41 + 0.15*b17*
    b42 + 0.075*b17*b43 + 0.3*b17*b44 + 0.075*b17*b45 + 0.15*b17*b50 + 0.075*
    b17*b51 + 0.3*b17*b52 + 0.075*b17*b53 + 0.4*b18*b23 + 0.2*b18*b24 + 0.8*b18
    *b25 + 0.75*b18*b30 + 0.5*b18*b31 + 0.25*b18*b32 + b18*b33 + 0.375*b18*b34
     + 0.25*b18*b35 + 0.125*b18*b36 + 0.5*b18*b37 + 0.225*b18*b38 + 0.15*b18*
    b39 + 0.075*b18*b40 + 0.3*b18*b41 + 0.225*b18*b42 + 0.15*b18*b43 + 0.075*
    b18*b44 + 0.3*b18*b45 + 0.225*b18*b50 + 0.15*b18*b51 + 0.075*b18*b52 + 0.3*
    b18*b53 + 0.075*b19*b23 + 0.15*b19*b24 + 0.225*b19*b25 + 0.8*b19*b46 + 0.2*
    b19*b47 + 0.4*b19*b48 + 0.6*b19*b49 + 0.3*b19*b54 + 0.075*b19*b55 + 0.15*
    b19*b56 + 0.225*b19*b57 + 0.5*b19*b58 + 0.125*b19*b59 + 0.25*b19*b60 + 
    0.375*b19*b61 + 0.3*b19*b62 + 0.075*b19*b63 + 0.15*b19*b64 + 0.225*b19*b65
     + b19*b66 + 0.25*b19*b67 + 0.5*b19*b68 + 0.75*b19*b69 + 0.8*b19*b70 + 0.2*
    b19*b71 + 0.4*b19*b72 + 0.6*b19*b73 + 0.3*b20*b23 + 0.075*b20*b24 + 0.15*
    b20*b25 + 0.2*b20*b46 + 0.8*b20*b47 + 0.2*b20*b48 + 0.4*b20*b49 + 0.075*b20
    *b54 + 0.3*b20*b55 + 0.075*b20*b56 + 0.15*b20*b57 + 0.125*b20*b58 + 0.5*b20
    *b59 + 0.125*b20*b60 + 0.25*b20*b61 + 0.075*b20*b62 + 0.3*b20*b63 + 0.075*
    b20*b64 + 0.15*b20*b65 + 0.25*b20*b66 + b20*b67 + 0.25*b20*b68 + 0.5*b20*
    b69 + 0.2*b20*b70 + 0.8*b20*b71 + 0.2*b20*b72 + 0.4*b20*b73 + 0.075*b21*b23
     + 0.3*b21*b24 + 0.075*b21*b25 + 0.4*b21*b46 + 0.2*b21*b47 + 0.8*b21*b48 + 
    0.2*b21*b49 + 0.15*b21*b54 + 0.075*b21*b55 + 0.3*b21*b56 + 0.075*b21*b57 + 
    0.25*b21*b58 + 0.125*b21*b59 + 0.5*b21*b60 + 0.125*b21*b61 + 0.15*b21*b62
     + 0.075*b21*b63 + 0.3*b21*b64 + 0.075*b21*b65 + 0.5*b21*b66 + 0.25*b21*b67
     + b21*b68 + 0.25*b21*b69 + 0.4*b21*b70 + 0.2*b21*b71 + 0.8*b21*b72 + 0.2*
    b21*b73 + 0.15*b22*b23 + 0.075*b22*b24 + 0.3*b22*b25 + 0.6*b22*b46 + 0.4*
    b22*b47 + 0.2*b22*b48 + 0.8*b22*b49 + 0.225*b22*b54 + 0.15*b22*b55 + 0.075*
    b22*b56 + 0.3*b22*b57 + 0.375*b22*b58 + 0.25*b22*b59 + 0.125*b22*b60 + 0.5*
    b22*b61 + 0.225*b22*b62 + 0.15*b22*b63 + 0.075*b22*b64 + 0.3*b22*b65 + 0.75
    *b22*b66 + 0.5*b22*b67 + 0.25*b22*b68 + b22*b69 + 0.6*b22*b70 + 0.4*b22*b71
     + 0.2*b22*b72 + 0.8*b22*b73 + 0.8*b26*b30 + 0.2*b26*b31 + 0.4*b26*b32 + 
    0.6*b26*b33 + 0.8*b26*b34 + 0.2*b26*b35 + 0.4*b26*b36 + 0.6*b26*b37 + 0.2*
    b27*b30 + 0.8*b27*b31 + 0.2*b27*b32 + 0.4*b27*b33 + 0.2*b27*b34 + 0.8*b27*
    b35 + 0.2*b27*b36 + 0.4*b27*b37 + 0.4*b28*b30 + 0.2*b28*b31 + 0.8*b28*b32
     + 0.2*b28*b33 + 0.4*b28*b34 + 0.2*b28*b35 + 0.8*b28*b36 + 0.2*b28*b37 + 
    0.6*b29*b30 + 0.4*b29*b31 + 0.2*b29*b32 + 0.8*b29*b33 + 0.6*b29*b34 + 0.4*
    b29*b35 + 0.2*b29*b36 + 0.8*b29*b37 + b30*b34 + 0.25*b30*b35 + 0.5*b30*b36
     + 0.75*b30*b37 + 0.3*b30*b42 + 0.075*b30*b43 + 0.15*b30*b44 + 0.225*b30*
    b45 + 0.3*b30*b50 + 0.075*b30*b51 + 0.15*b30*b52 + 0.225*b30*b53 + 0.3*b30*
    b74 + 0.075*b30*b75 + 0.15*b30*b76 + 0.225*b30*b77 + 0.25*b31*b34 + b31*b35
     + 0.25*b31*b36 + 0.5*b31*b37 + 0.075*b31*b42 + 0.3*b31*b43 + 0.075*b31*b44
     + 0.15*b31*b45 + 0.075*b31*b50 + 0.3*b31*b51 + 0.075*b31*b52 + 0.15*b31*
    b53 + 0.075*b31*b74 + 0.3*b31*b75 + 0.075*b31*b76 + 0.15*b31*b77 + 0.5*b32*
    b34 + 0.25*b32*b35 + b32*b36 + 0.25*b32*b37 + 0.15*b32*b42 + 0.075*b32*b43
     + 0.3*b32*b44 + 0.075*b32*b45 + 0.15*b32*b50 + 0.075*b32*b51 + 0.3*b32*b52
     + 0.075*b32*b53 + 0.15*b32*b74 + 0.075*b32*b75 + 0.3*b32*b76 + 0.075*b32*
    b77 + 0.75*b33*b34 + 0.5*b33*b35 + 0.25*b33*b36 + b33*b37 + 0.225*b33*b42
     + 0.15*b33*b43 + 0.075*b33*b44 + 0.3*b33*b45 + 0.225*b33*b50 + 0.15*b33*
    b51 + 0.075*b33*b52 + 0.3*b33*b53 + 0.225*b33*b74 + 0.15*b33*b75 + 0.075*
    b33*b76 + 0.3*b33*b77 + 0.3*b34*b50 + 0.075*b34*b51 + 0.15*b34*b52 + 0.225*
    b34*b53 + 0.3*b34*b74 + 0.075*b34*b75 + 0.15*b34*b76 + 0.225*b34*b77 + 
    0.075*b35*b50 + 0.3*b35*b51 + 0.075*b35*b52 + 0.15*b35*b53 + 0.075*b35*b74
     + 0.3*b35*b75 + 0.075*b35*b76 + 0.15*b35*b77 + 0.15*b36*b50 + 0.075*b36*
    b51 + 0.3*b36*b52 + 0.075*b36*b53 + 0.15*b36*b74 + 0.075*b36*b75 + 0.3*b36*
    b76 + 0.075*b36*b77 + 0.225*b37*b50 + 0.15*b37*b51 + 0.075*b37*b52 + 0.3*
    b37*b53 + 0.225*b37*b74 + 0.15*b37*b75 + 0.075*b37*b76 + 0.3*b37*b77 + b38*
    b42 + 0.25*b38*b43 + 0.5*b38*b44 + 0.75*b38*b45 + 0.5*b38*b50 + 0.125*b38*
    b51 + 0.25*b38*b52 + 0.375*b38*b53 + 0.8*b38*b78 + 0.2*b38*b79 + 0.4*b38*
    b80 + 0.6*b38*b81 + 0.8*b38*b82 + 0.2*b38*b83 + 0.4*b38*b84 + 0.6*b38*b85
     + 0.3*b38*b86 + 0.075*b38*b87 + 0.15*b38*b88 + 0.225*b38*b89 + 0.25*b39*
    b42 + b39*b43 + 0.25*b39*b44 + 0.5*b39*b45 + 0.125*b39*b50 + 0.5*b39*b51 + 
    0.125*b39*b52 + 0.25*b39*b53 + 0.2*b39*b78 + 0.8*b39*b79 + 0.2*b39*b80 + 
    0.4*b39*b81 + 0.2*b39*b82 + 0.8*b39*b83 + 0.2*b39*b84 + 0.4*b39*b85 + 0.075
    *b39*b86 + 0.3*b39*b87 + 0.075*b39*b88 + 0.15*b39*b89 + 0.5*b40*b42 + 0.25*
    b40*b43 + b40*b44 + 0.25*b40*b45 + 0.25*b40*b50 + 0.125*b40*b51 + 0.5*b40*
    b52 + 0.125*b40*b53 + 0.4*b40*b78 + 0.2*b40*b79 + 0.8*b40*b80 + 0.2*b40*b81
     + 0.4*b40*b82 + 0.2*b40*b83 + 0.8*b40*b84 + 0.2*b40*b85 + 0.15*b40*b86 + 
    0.075*b40*b87 + 0.3*b40*b88 + 0.075*b40*b89 + 0.75*b41*b42 + 0.5*b41*b43 + 
    0.25*b41*b44 + b41*b45 + 0.375*b41*b50 + 0.25*b41*b51 + 0.125*b41*b52 + 0.5
    *b41*b53 + 0.6*b41*b78 + 0.4*b41*b79 + 0.2*b41*b80 + 0.8*b41*b81 + 0.6*b41*
    b82 + 0.4*b41*b83 + 0.2*b41*b84 + 0.8*b41*b85 + 0.225*b41*b86 + 0.15*b41*
    b87 + 0.075*b41*b88 + 0.3*b41*b89 + b42*b50 + 0.25*b42*b51 + 0.5*b42*b52 + 
    0.75*b42*b53 + 0.5*b42*b74 + 0.125*b42*b75 + 0.25*b42*b76 + 0.375*b42*b77
     + 0.8*b42*b78 + 0.2*b42*b79 + 0.4*b42*b80 + 0.6*b42*b81 + 0.8*b42*b82 + 
    0.2*b42*b83 + 0.4*b42*b84 + 0.6*b42*b85 + 0.8*b42*b90 + 0.2*b42*b91 + 0.4*
    b42*b92 + 0.6*b42*b93 + 0.25*b43*b50 + b43*b51 + 0.25*b43*b52 + 0.5*b43*b53
     + 0.125*b43*b74 + 0.5*b43*b75 + 0.125*b43*b76 + 0.25*b43*b77 + 0.2*b43*b78
     + 0.8*b43*b79 + 0.2*b43*b80 + 0.4*b43*b81 + 0.2*b43*b82 + 0.8*b43*b83 + 
    0.2*b43*b84 + 0.4*b43*b85 + 0.2*b43*b90 + 0.8*b43*b91 + 0.2*b43*b92 + 0.4*
    b43*b93 + 0.5*b44*b50 + 0.25*b44*b51 + b44*b52 + 0.25*b44*b53 + 0.25*b44*
    b74 + 0.125*b44*b75 + 0.5*b44*b76 + 0.125*b44*b77 + 0.4*b44*b78 + 0.2*b44*
    b79 + 0.8*b44*b80 + 0.2*b44*b81 + 0.4*b44*b82 + 0.2*b44*b83 + 0.8*b44*b84
     + 0.2*b44*b85 + 0.4*b44*b90 + 0.2*b44*b91 + 0.8*b44*b92 + 0.2*b44*b93 + 
    0.75*b45*b50 + 0.5*b45*b51 + 0.25*b45*b52 + b45*b53 + 0.375*b45*b74 + 0.25*
    b45*b75 + 0.125*b45*b76 + 0.5*b45*b77 + 0.6*b45*b78 + 0.4*b45*b79 + 0.2*b45
    *b80 + 0.8*b45*b81 + 0.6*b45*b82 + 0.4*b45*b83 + 0.2*b45*b84 + 0.8*b45*b85
     + 0.6*b45*b90 + 0.4*b45*b91 + 0.2*b45*b92 + 0.8*b45*b93 + 0.8*b46*b66 + 
    0.2*b46*b67 + 0.4*b46*b68 + 0.6*b46*b69 + b46*b70 + 0.25*b46*b71 + 0.5*b46*
    b72 + 0.75*b46*b73 + 0.3*b46*b86 + 0.075*b46*b87 + 0.15*b46*b88 + 0.225*b46
    *b89 + 0.5*b46*b94 + 0.125*b46*b95 + 0.25*b46*b96 + 0.375*b46*b97 + 0.3*b46
    *b98 + 0.075*b46*b99 + 0.15*b46*b100 + 0.225*b46*b101 + 0.2*b47*b66 + 0.8*
    b47*b67 + 0.2*b47*b68 + 0.4*b47*b69 + 0.25*b47*b70 + b47*b71 + 0.25*b47*b72
     + 0.5*b47*b73 + 0.075*b47*b86 + 0.3*b47*b87 + 0.075*b47*b88 + 0.15*b47*b89
     + 0.125*b47*b94 + 0.5*b47*b95 + 0.125*b47*b96 + 0.25*b47*b97 + 0.075*b47*
    b98 + 0.3*b47*b99 + 0.075*b47*b100 + 0.15*b47*b101 + 0.4*b48*b66 + 0.2*b48*
    b67 + 0.8*b48*b68 + 0.2*b48*b69 + 0.5*b48*b70 + 0.25*b48*b71 + b48*b72 + 
    0.25*b48*b73 + 0.15*b48*b86 + 0.075*b48*b87 + 0.3*b48*b88 + 0.075*b48*b89
     + 0.25*b48*b94 + 0.125*b48*b95 + 0.5*b48*b96 + 0.125*b48*b97 + 0.15*b48*
    b98 + 0.075*b48*b99 + 0.3*b48*b100 + 0.075*b48*b101 + 0.6*b49*b66 + 0.4*b49
    *b67 + 0.2*b49*b68 + 0.8*b49*b69 + 0.75*b49*b70 + 0.5*b49*b71 + 0.25*b49*
    b72 + b49*b73 + 0.225*b49*b86 + 0.15*b49*b87 + 0.075*b49*b88 + 0.3*b49*b89
     + 0.375*b49*b94 + 0.25*b49*b95 + 0.125*b49*b96 + 0.5*b49*b97 + 0.225*b49*
    b98 + 0.15*b49*b99 + 0.075*b49*b100 + 0.3*b49*b101 + b50*b74 + 0.25*b50*b75
     + 0.5*b50*b76 + 0.75*b50*b77 + 0.8*b50*b82 + 0.2*b50*b83 + 0.4*b50*b84 + 
    0.6*b50*b85 + 0.8*b50*b90 + 0.2*b50*b91 + 0.4*b50*b92 + 0.6*b50*b93 + 0.8*
    b50*b102 + 0.2*b50*b103 + 0.4*b50*b104 + 0.6*b50*b105 + 0.25*b51*b74 + b51*
    b75 + 0.25*b51*b76 + 0.5*b51*b77 + 0.2*b51*b82 + 0.8*b51*b83 + 0.2*b51*b84
     + 0.4*b51*b85 + 0.2*b51*b90 + 0.8*b51*b91 + 0.2*b51*b92 + 0.4*b51*b93 + 
    0.2*b51*b102 + 0.8*b51*b103 + 0.2*b51*b104 + 0.4*b51*b105 + 0.5*b52*b74 + 
    0.25*b52*b75 + b52*b76 + 0.25*b52*b77 + 0.4*b52*b82 + 0.2*b52*b83 + 0.8*b52
    *b84 + 0.2*b52*b85 + 0.4*b52*b90 + 0.2*b52*b91 + 0.8*b52*b92 + 0.2*b52*b93
     + 0.4*b52*b102 + 0.2*b52*b103 + 0.8*b52*b104 + 0.2*b52*b105 + 0.75*b53*b74
     + 0.5*b53*b75 + 0.25*b53*b76 + b53*b77 + 0.6*b53*b82 + 0.4*b53*b83 + 0.2*
    b53*b84 + 0.8*b53*b85 + 0.6*b53*b90 + 0.4*b53*b91 + 0.2*b53*b92 + 0.8*b53*
    b93 + 0.6*b53*b102 + 0.4*b53*b103 + 0.2*b53*b104 + 0.8*b53*b105 + 0.3*b54*
    b58 + 0.075*b54*b59 + 0.15*b54*b60 + 0.225*b54*b61 + b54*b62 + 0.25*b54*b63
     + 0.5*b54*b64 + 0.75*b54*b65 + 0.3*b54*b66 + 0.075*b54*b67 + 0.15*b54*b68
     + 0.225*b54*b69 + 0.5*b54*b106 + b54*b107 + 0.25*b54*b108 + 0.5*b54*b109
     + 0.75*b54*b110 + 0.125*b54*b111 + 0.25*b54*b112 + 0.375*b54*b113 + 0.075*
    b55*b58 + 0.3*b55*b59 + 0.075*b55*b60 + 0.15*b55*b61 + 0.25*b55*b62 + b55*
    b63 + 0.25*b55*b64 + 0.5*b55*b65 + 0.075*b55*b66 + 0.3*b55*b67 + 0.075*b55*
    b68 + 0.15*b55*b69 + 0.125*b55*b106 + 0.25*b55*b107 + b55*b108 + 0.25*b55*
    b109 + 0.5*b55*b110 + 0.5*b55*b111 + 0.125*b55*b112 + 0.25*b55*b113 + 0.15*
    b56*b58 + 0.075*b56*b59 + 0.3*b56*b60 + 0.075*b56*b61 + 0.5*b56*b62 + 0.25*
    b56*b63 + b56*b64 + 0.25*b56*b65 + 0.15*b56*b66 + 0.075*b56*b67 + 0.3*b56*
    b68 + 0.075*b56*b69 + 0.25*b56*b106 + 0.5*b56*b107 + 0.25*b56*b108 + b56*
    b109 + 0.25*b56*b110 + 0.125*b56*b111 + 0.5*b56*b112 + 0.125*b56*b113 + 
    0.225*b57*b58 + 0.15*b57*b59 + 0.075*b57*b60 + 0.3*b57*b61 + 0.75*b57*b62
     + 0.5*b57*b63 + 0.25*b57*b64 + b57*b65 + 0.225*b57*b66 + 0.15*b57*b67 + 
    0.075*b57*b68 + 0.3*b57*b69 + 0.375*b57*b106 + 0.75*b57*b107 + 0.5*b57*b108
     + 0.25*b57*b109 + b57*b110 + 0.25*b57*b111 + 0.125*b57*b112 + 0.5*b57*b113
     + b58*b66 + 0.25*b58*b67 + 0.5*b58*b68 + 0.75*b58*b69 + 0.8*b58*b70 + 0.2*
    b58*b71 + 0.4*b58*b72 + 0.6*b58*b73 + 0.8*b58*b94 + 0.2*b58*b95 + 0.4*b58*
    b96 + 0.6*b58*b97 + 0.3*b58*b106 + 0.3*b58*b107 + 0.075*b58*b108 + 0.15*b58
    *b109 + 0.225*b58*b110 + 0.075*b58*b111 + 0.15*b58*b112 + 0.225*b58*b113 + 
    b58*b114 + 0.25*b58*b115 + 0.5*b58*b116 + 0.75*b58*b117 + 0.8*b58*b118 + 
    0.2*b58*b119 + 0.4*b58*b120 + 0.6*b58*b121 + 0.25*b59*b66 + b59*b67 + 0.25*
    b59*b68 + 0.5*b59*b69 + 0.2*b59*b70 + 0.8*b59*b71 + 0.2*b59*b72 + 0.4*b59*
    b73 + 0.2*b59*b94 + 0.8*b59*b95 + 0.2*b59*b96 + 0.4*b59*b97 + 0.075*b59*
    b106 + 0.075*b59*b107 + 0.3*b59*b108 + 0.075*b59*b109 + 0.15*b59*b110 + 0.3
    *b59*b111 + 0.075*b59*b112 + 0.15*b59*b113 + 0.25*b59*b114 + b59*b115 + 
    0.25*b59*b116 + 0.5*b59*b117 + 0.2*b59*b118 + 0.8*b59*b119 + 0.2*b59*b120
     + 0.4*b59*b121 + 0.5*b60*b66 + 0.25*b60*b67 + b60*b68 + 0.25*b60*b69 + 0.4
    *b60*b70 + 0.2*b60*b71 + 0.8*b60*b72 + 0.2*b60*b73 + 0.4*b60*b94 + 0.2*b60*
    b95 + 0.8*b60*b96 + 0.2*b60*b97 + 0.15*b60*b106 + 0.15*b60*b107 + 0.075*b60
    *b108 + 0.3*b60*b109 + 0.075*b60*b110 + 0.075*b60*b111 + 0.3*b60*b112 + 
    0.075*b60*b113 + 0.5*b60*b114 + 0.25*b60*b115 + b60*b116 + 0.25*b60*b117 + 
    0.4*b60*b118 + 0.2*b60*b119 + 0.8*b60*b120 + 0.2*b60*b121 + 0.75*b61*b66 + 
    0.5*b61*b67 + 0.25*b61*b68 + b61*b69 + 0.6*b61*b70 + 0.4*b61*b71 + 0.2*b61*
    b72 + 0.8*b61*b73 + 0.6*b61*b94 + 0.4*b61*b95 + 0.2*b61*b96 + 0.8*b61*b97
     + 0.225*b61*b106 + 0.225*b61*b107 + 0.15*b61*b108 + 0.075*b61*b109 + 0.3*
    b61*b110 + 0.15*b61*b111 + 0.075*b61*b112 + 0.3*b61*b113 + 0.75*b61*b114 + 
    0.5*b61*b115 + 0.25*b61*b116 + b61*b117 + 0.6*b61*b118 + 0.4*b61*b119 + 0.2
    *b61*b120 + 0.8*b61*b121 + 0.3*b62*b66 + 0.075*b62*b67 + 0.15*b62*b68 + 
    0.225*b62*b69 + 0.5*b62*b107 + 0.125*b62*b108 + 0.25*b62*b109 + 0.375*b62*
    b110 + 0.075*b63*b66 + 0.3*b63*b67 + 0.075*b63*b68 + 0.15*b63*b69 + 0.125*
    b63*b107 + 0.5*b63*b108 + 0.125*b63*b109 + 0.25*b63*b110 + 0.15*b64*b66 + 
    0.075*b64*b67 + 0.3*b64*b68 + 0.075*b64*b69 + 0.25*b64*b107 + 0.125*b64*
    b108 + 0.5*b64*b109 + 0.125*b64*b110 + 0.225*b65*b66 + 0.15*b65*b67 + 0.075
    *b65*b68 + 0.3*b65*b69 + 0.375*b65*b107 + 0.25*b65*b108 + 0.125*b65*b109 + 
    0.5*b65*b110 + 0.8*b66*b70 + 0.2*b66*b71 + 0.4*b66*b72 + 0.6*b66*b73 + 0.8*
    b66*b94 + 0.2*b66*b95 + 0.4*b66*b96 + 0.6*b66*b97 + 0.3*b66*b107 + 0.075*
    b66*b108 + 0.15*b66*b109 + 0.225*b66*b110 + 0.5*b66*b114 + 0.125*b66*b115
     + 0.25*b66*b116 + 0.375*b66*b117 + 0.2*b67*b70 + 0.8*b67*b71 + 0.2*b67*b72
     + 0.4*b67*b73 + 0.2*b67*b94 + 0.8*b67*b95 + 0.2*b67*b96 + 0.4*b67*b97 + 
    0.075*b67*b107 + 0.3*b67*b108 + 0.075*b67*b109 + 0.15*b67*b110 + 0.125*b67*
    b114 + 0.5*b67*b115 + 0.125*b67*b116 + 0.25*b67*b117 + 0.4*b68*b70 + 0.2*
    b68*b71 + 0.8*b68*b72 + 0.2*b68*b73 + 0.4*b68*b94 + 0.2*b68*b95 + 0.8*b68*
    b96 + 0.2*b68*b97 + 0.15*b68*b107 + 0.075*b68*b108 + 0.3*b68*b109 + 0.075*
    b68*b110 + 0.25*b68*b114 + 0.125*b68*b115 + 0.5*b68*b116 + 0.125*b68*b117
     + 0.6*b69*b70 + 0.4*b69*b71 + 0.2*b69*b72 + 0.8*b69*b73 + 0.6*b69*b94 + 
    0.4*b69*b95 + 0.2*b69*b96 + 0.8*b69*b97 + 0.225*b69*b107 + 0.15*b69*b108 + 
    0.075*b69*b109 + 0.3*b69*b110 + 0.375*b69*b114 + 0.25*b69*b115 + 0.125*b69*
    b116 + 0.5*b69*b117 + 0.3*b70*b86 + 0.075*b70*b87 + 0.15*b70*b88 + 0.225*
    b70*b89 + b70*b94 + 0.25*b70*b95 + 0.5*b70*b96 + 0.75*b70*b97 + 0.3*b70*b98
     + 0.075*b70*b99 + 0.15*b70*b100 + 0.225*b70*b101 + 0.5*b70*b118 + 0.125*
    b70*b119 + 0.25*b70*b120 + 0.375*b70*b121 + 0.3*b70*b122 + 0.075*b70*b123
     + 0.15*b70*b124 + 0.225*b70*b125 + 0.075*b71*b86 + 0.3*b71*b87 + 0.075*b71
    *b88 + 0.15*b71*b89 + 0.25*b71*b94 + b71*b95 + 0.25*b71*b96 + 0.5*b71*b97
     + 0.075*b71*b98 + 0.3*b71*b99 + 0.075*b71*b100 + 0.15*b71*b101 + 0.125*b71
    *b118 + 0.5*b71*b119 + 0.125*b71*b120 + 0.25*b71*b121 + 0.075*b71*b122 + 
    0.3*b71*b123 + 0.075*b71*b124 + 0.15*b71*b125 + 0.15*b72*b86 + 0.075*b72*
    b87 + 0.3*b72*b88 + 0.075*b72*b89 + 0.5*b72*b94 + 0.25*b72*b95 + b72*b96 + 
    0.25*b72*b97 + 0.15*b72*b98 + 0.075*b72*b99 + 0.3*b72*b100 + 0.075*b72*b101
     + 0.25*b72*b118 + 0.125*b72*b119 + 0.5*b72*b120 + 0.125*b72*b121 + 0.15*
    b72*b122 + 0.075*b72*b123 + 0.3*b72*b124 + 0.075*b72*b125 + 0.225*b73*b86
     + 0.15*b73*b87 + 0.075*b73*b88 + 0.3*b73*b89 + 0.75*b73*b94 + 0.5*b73*b95
     + 0.25*b73*b96 + b73*b97 + 0.225*b73*b98 + 0.15*b73*b99 + 0.075*b73*b100
     + 0.3*b73*b101 + 0.375*b73*b118 + 0.25*b73*b119 + 0.125*b73*b120 + 0.5*b73
    *b121 + 0.225*b73*b122 + 0.15*b73*b123 + 0.075*b73*b124 + 0.3*b73*b125 + 
    0.8*b74*b90 + 0.2*b74*b91 + 0.4*b74*b92 + 0.6*b74*b93 + 0.8*b74*b102 + 0.2*
    b74*b103 + 0.4*b74*b104 + 0.6*b74*b105 + 0.2*b75*b90 + 0.8*b75*b91 + 0.2*
    b75*b92 + 0.4*b75*b93 + 0.2*b75*b102 + 0.8*b75*b103 + 0.2*b75*b104 + 0.4*
    b75*b105 + 0.4*b76*b90 + 0.2*b76*b91 + 0.8*b76*b92 + 0.2*b76*b93 + 0.4*b76*
    b102 + 0.2*b76*b103 + 0.8*b76*b104 + 0.2*b76*b105 + 0.6*b77*b90 + 0.4*b77*
    b91 + 0.2*b77*b92 + 0.8*b77*b93 + 0.6*b77*b102 + 0.4*b77*b103 + 0.2*b77*
    b104 + 0.8*b77*b105 + b78*b82 + 0.25*b78*b83 + 0.5*b78*b84 + 0.75*b78*b85
     + 0.5*b78*b90 + 0.125*b78*b91 + 0.25*b78*b92 + 0.375*b78*b93 + 0.3*b78*
    b126 + 0.075*b78*b127 + 0.15*b78*b128 + 0.225*b78*b129 + 0.3*b78*b130 + 
    0.075*b78*b131 + 0.15*b78*b132 + 0.225*b78*b133 + 0.25*b79*b82 + b79*b83 + 
    0.25*b79*b84 + 0.5*b79*b85 + 0.125*b79*b90 + 0.5*b79*b91 + 0.125*b79*b92 + 
    0.25*b79*b93 + 0.075*b79*b126 + 0.3*b79*b127 + 0.075*b79*b128 + 0.15*b79*
    b129 + 0.075*b79*b130 + 0.3*b79*b131 + 0.075*b79*b132 + 0.15*b79*b133 + 0.5
    *b80*b82 + 0.25*b80*b83 + b80*b84 + 0.25*b80*b85 + 0.25*b80*b90 + 0.125*b80
    *b91 + 0.5*b80*b92 + 0.125*b80*b93 + 0.15*b80*b126 + 0.075*b80*b127 + 0.3*
    b80*b128 + 0.075*b80*b129 + 0.15*b80*b130 + 0.075*b80*b131 + 0.3*b80*b132
     + 0.075*b80*b133 + 0.75*b81*b82 + 0.5*b81*b83 + 0.25*b81*b84 + b81*b85 + 
    0.375*b81*b90 + 0.25*b81*b91 + 0.125*b81*b92 + 0.5*b81*b93 + 0.225*b81*b126
     + 0.15*b81*b127 + 0.075*b81*b128 + 0.3*b81*b129 + 0.225*b81*b130 + 0.15*
    b81*b131 + 0.075*b81*b132 + 0.3*b81*b133 + b82*b90 + 0.25*b82*b91 + 0.5*b82
    *b92 + 0.75*b82*b93 + 0.5*b82*b102 + 0.125*b82*b103 + 0.25*b82*b104 + 0.375
    *b82*b105 + 0.3*b82*b126 + 0.075*b82*b127 + 0.15*b82*b128 + 0.225*b82*b129
     + 0.25*b83*b90 + b83*b91 + 0.25*b83*b92 + 0.5*b83*b93 + 0.125*b83*b102 + 
    0.5*b83*b103 + 0.125*b83*b104 + 0.25*b83*b105 + 0.075*b83*b126 + 0.3*b83*
    b127 + 0.075*b83*b128 + 0.15*b83*b129 + 0.5*b84*b90 + 0.25*b84*b91 + b84*
    b92 + 0.25*b84*b93 + 0.25*b84*b102 + 0.125*b84*b103 + 0.5*b84*b104 + 0.125*
    b84*b105 + 0.15*b84*b126 + 0.075*b84*b127 + 0.3*b84*b128 + 0.075*b84*b129
     + 0.75*b85*b90 + 0.5*b85*b91 + 0.25*b85*b92 + b85*b93 + 0.375*b85*b102 + 
    0.25*b85*b103 + 0.125*b85*b104 + 0.5*b85*b105 + 0.225*b85*b126 + 0.15*b85*
    b127 + 0.075*b85*b128 + 0.3*b85*b129 + b86*b98 + 0.25*b86*b99 + 0.5*b86*
    b100 + 0.75*b86*b101 + 0.5*b86*b122 + 0.125*b86*b123 + 0.25*b86*b124 + 
    0.375*b86*b125 + 0.8*b86*b130 + 0.2*b86*b131 + 0.4*b86*b132 + 0.6*b86*b133
     + 0.8*b86*b134 + 0.2*b86*b135 + 0.4*b86*b136 + 0.6*b86*b137 + 0.25*b87*b98
     + b87*b99 + 0.25*b87*b100 + 0.5*b87*b101 + 0.125*b87*b122 + 0.5*b87*b123
     + 0.125*b87*b124 + 0.25*b87*b125 + 0.2*b87*b130 + 0.8*b87*b131 + 0.2*b87*
    b132 + 0.4*b87*b133 + 0.2*b87*b134 + 0.8*b87*b135 + 0.2*b87*b136 + 0.4*b87*
    b137 + 0.5*b88*b98 + 0.25*b88*b99 + b88*b100 + 0.25*b88*b101 + 0.25*b88*
    b122 + 0.125*b88*b123 + 0.5*b88*b124 + 0.125*b88*b125 + 0.4*b88*b130 + 0.2*
    b88*b131 + 0.8*b88*b132 + 0.2*b88*b133 + 0.4*b88*b134 + 0.2*b88*b135 + 0.8*
    b88*b136 + 0.2*b88*b137 + 0.75*b89*b98 + 0.5*b89*b99 + 0.25*b89*b100 + b89*
    b101 + 0.375*b89*b122 + 0.25*b89*b123 + 0.125*b89*b124 + 0.5*b89*b125 + 0.6
    *b89*b130 + 0.4*b89*b131 + 0.2*b89*b132 + 0.8*b89*b133 + 0.6*b89*b134 + 0.4
    *b89*b135 + 0.2*b89*b136 + 0.8*b89*b137 + b90*b102 + 0.25*b90*b103 + 0.5*
    b90*b104 + 0.75*b90*b105 + 0.3*b90*b138 + 0.075*b90*b139 + 0.15*b90*b140 + 
    0.225*b90*b141 + 0.25*b91*b102 + b91*b103 + 0.25*b91*b104 + 0.5*b91*b105 + 
    0.075*b91*b138 + 0.3*b91*b139 + 0.075*b91*b140 + 0.15*b91*b141 + 0.5*b92*
    b102 + 0.25*b92*b103 + b92*b104 + 0.25*b92*b105 + 0.15*b92*b138 + 0.075*b92
    *b139 + 0.3*b92*b140 + 0.075*b92*b141 + 0.75*b93*b102 + 0.5*b93*b103 + 0.25
    *b93*b104 + b93*b105 + 0.225*b93*b138 + 0.15*b93*b139 + 0.075*b93*b140 + 
    0.3*b93*b141 + 0.3*b94*b98 + 0.075*b94*b99 + 0.15*b94*b100 + 0.225*b94*b101
     + 0.8*b94*b114 + 0.2*b94*b115 + 0.4*b94*b116 + 0.6*b94*b117 + b94*b118 + 
    0.25*b94*b119 + 0.5*b94*b120 + 0.75*b94*b121 + 0.3*b94*b122 + 0.075*b94*
    b123 + 0.15*b94*b124 + 0.225*b94*b125 + 0.3*b94*b142 + 0.075*b94*b143 + 
    0.15*b94*b144 + 0.225*b94*b145 + 0.075*b95*b98 + 0.3*b95*b99 + 0.075*b95*
    b100 + 0.15*b95*b101 + 0.2*b95*b114 + 0.8*b95*b115 + 0.2*b95*b116 + 0.4*b95
    *b117 + 0.25*b95*b118 + b95*b119 + 0.25*b95*b120 + 0.5*b95*b121 + 0.075*b95
    *b122 + 0.3*b95*b123 + 0.075*b95*b124 + 0.15*b95*b125 + 0.075*b95*b142 + 
    0.3*b95*b143 + 0.075*b95*b144 + 0.15*b95*b145 + 0.15*b96*b98 + 0.075*b96*
    b99 + 0.3*b96*b100 + 0.075*b96*b101 + 0.4*b96*b114 + 0.2*b96*b115 + 0.8*b96
    *b116 + 0.2*b96*b117 + 0.5*b96*b118 + 0.25*b96*b119 + b96*b120 + 0.25*b96*
    b121 + 0.15*b96*b122 + 0.075*b96*b123 + 0.3*b96*b124 + 0.075*b96*b125 + 
    0.15*b96*b142 + 0.075*b96*b143 + 0.3*b96*b144 + 0.075*b96*b145 + 0.225*b97*
    b98 + 0.15*b97*b99 + 0.075*b97*b100 + 0.3*b97*b101 + 0.6*b97*b114 + 0.4*b97
    *b115 + 0.2*b97*b116 + 0.8*b97*b117 + 0.75*b97*b118 + 0.5*b97*b119 + 0.25*
    b97*b120 + b97*b121 + 0.225*b97*b122 + 0.15*b97*b123 + 0.075*b97*b124 + 0.3
    *b97*b125 + 0.225*b97*b142 + 0.15*b97*b143 + 0.075*b97*b144 + 0.3*b97*b145
     + b98*b122 + 0.25*b98*b123 + 0.5*b98*b124 + 0.75*b98*b125 + 0.8*b98*b130
     + 0.2*b98*b131 + 0.4*b98*b132 + 0.6*b98*b133 + 0.8*b98*b134 + 0.2*b98*b135
     + 0.4*b98*b136 + 0.6*b98*b137 + 0.5*b98*b142 + 0.125*b98*b143 + 0.25*b98*
    b144 + 0.375*b98*b145 + 0.8*b98*b146 + 0.2*b98*b147 + 0.4*b98*b148 + 0.6*
    b98*b149 + 0.25*b99*b122 + b99*b123 + 0.25*b99*b124 + 0.5*b99*b125 + 0.2*
    b99*b130 + 0.8*b99*b131 + 0.2*b99*b132 + 0.4*b99*b133 + 0.2*b99*b134 + 0.8*
    b99*b135 + 0.2*b99*b136 + 0.4*b99*b137 + 0.125*b99*b142 + 0.5*b99*b143 + 
    0.125*b99*b144 + 0.25*b99*b145 + 0.2*b99*b146 + 0.8*b99*b147 + 0.2*b99*b148
     + 0.4*b99*b149 + 0.5*b100*b122 + 0.25*b100*b123 + b100*b124 + 0.25*b100*
    b125 + 0.4*b100*b130 + 0.2*b100*b131 + 0.8*b100*b132 + 0.2*b100*b133 + 0.4*
    b100*b134 + 0.2*b100*b135 + 0.8*b100*b136 + 0.2*b100*b137 + 0.25*b100*b142
     + 0.125*b100*b143 + 0.5*b100*b144 + 0.125*b100*b145 + 0.4*b100*b146 + 0.2*
    b100*b147 + 0.8*b100*b148 + 0.2*b100*b149 + 0.75*b101*b122 + 0.5*b101*b123
     + 0.25*b101*b124 + b101*b125 + 0.6*b101*b130 + 0.4*b101*b131 + 0.2*b101*
    b132 + 0.8*b101*b133 + 0.6*b101*b134 + 0.4*b101*b135 + 0.2*b101*b136 + 0.8*
    b101*b137 + 0.375*b101*b142 + 0.25*b101*b143 + 0.125*b101*b144 + 0.5*b101*
    b145 + 0.6*b101*b146 + 0.4*b101*b147 + 0.2*b101*b148 + 0.8*b101*b149 + 0.3*
    b102*b138 + 0.075*b102*b139 + 0.15*b102*b140 + 0.225*b102*b141 + 0.075*b103
    *b138 + 0.3*b103*b139 + 0.075*b103*b140 + 0.15*b103*b141 + 0.15*b104*b138
     + 0.075*b104*b139 + 0.3*b104*b140 + 0.075*b104*b141 + 0.225*b105*b138 + 
    0.15*b105*b139 + 0.075*b105*b140 + 0.3*b105*b141 + b106*b107 + 0.25*b106*
    b108 + 0.5*b106*b109 + 0.75*b106*b110 + 0.3*b106*b114 + 0.075*b106*b115 + 
    0.15*b106*b116 + 0.225*b106*b117 + 0.25*b107*b111 + 0.5*b107*b112 + 0.75*
    b107*b113 + 0.3*b107*b114 + 0.075*b107*b115 + 0.15*b107*b116 + 0.225*b107*
    b117 + b108*b111 + 0.25*b108*b112 + 0.5*b108*b113 + 0.075*b108*b114 + 0.3*
    b108*b115 + 0.075*b108*b116 + 0.15*b108*b117 + 0.25*b109*b111 + b109*b112
     + 0.25*b109*b113 + 0.15*b109*b114 + 0.075*b109*b115 + 0.3*b109*b116 + 
    0.075*b109*b117 + 0.5*b110*b111 + 0.25*b110*b112 + b110*b113 + 0.225*b110*
    b114 + 0.15*b110*b115 + 0.075*b110*b116 + 0.3*b110*b117 + 0.075*b111*b114
     + 0.3*b111*b115 + 0.075*b111*b116 + 0.15*b111*b117 + 0.15*b112*b114 + 
    0.075*b112*b115 + 0.3*b112*b116 + 0.075*b112*b117 + 0.225*b113*b114 + 0.15*
    b113*b115 + 0.075*b113*b116 + 0.3*b113*b117 + 0.8*b114*b118 + 0.2*b114*b119
     + 0.4*b114*b120 + 0.6*b114*b121 + 0.2*b115*b118 + 0.8*b115*b119 + 0.2*b115
    *b120 + 0.4*b115*b121 + 0.4*b116*b118 + 0.2*b116*b119 + 0.8*b116*b120 + 0.2
    *b116*b121 + 0.6*b117*b118 + 0.4*b117*b119 + 0.2*b117*b120 + 0.8*b117*b121
     + 0.3*b118*b122 + 0.075*b118*b123 + 0.15*b118*b124 + 0.225*b118*b125 + 0.3
    *b118*b142 + 0.075*b118*b143 + 0.15*b118*b144 + 0.225*b118*b145 + 0.075*
    b119*b122 + 0.3*b119*b123 + 0.075*b119*b124 + 0.15*b119*b125 + 0.075*b119*
    b142 + 0.3*b119*b143 + 0.075*b119*b144 + 0.15*b119*b145 + 0.15*b120*b122 + 
    0.075*b120*b123 + 0.3*b120*b124 + 0.075*b120*b125 + 0.15*b120*b142 + 0.075*
    b120*b143 + 0.3*b120*b144 + 0.075*b120*b145 + 0.225*b121*b122 + 0.15*b121*
    b123 + 0.075*b121*b124 + 0.3*b121*b125 + 0.225*b121*b142 + 0.15*b121*b143
     + 0.075*b121*b144 + 0.3*b121*b145 + 0.8*b122*b134 + 0.2*b122*b135 + 0.4*
    b122*b136 + 0.6*b122*b137 + b122*b142 + 0.25*b122*b143 + 0.5*b122*b144 + 
    0.75*b122*b145 + 0.8*b122*b146 + 0.2*b122*b147 + 0.4*b122*b148 + 0.6*b122*
    b149 + 0.8*b122*b150 + 0.2*b122*b151 + 0.4*b122*b152 + 0.6*b122*b153 + 0.2*
    b123*b134 + 0.8*b123*b135 + 0.2*b123*b136 + 0.4*b123*b137 + 0.25*b123*b142
     + b123*b143 + 0.25*b123*b144 + 0.5*b123*b145 + 0.2*b123*b146 + 0.8*b123*
    b147 + 0.2*b123*b148 + 0.4*b123*b149 + 0.2*b123*b150 + 0.8*b123*b151 + 0.2*
    b123*b152 + 0.4*b123*b153 + 0.4*b124*b134 + 0.2*b124*b135 + 0.8*b124*b136
     + 0.2*b124*b137 + 0.5*b124*b142 + 0.25*b124*b143 + b124*b144 + 0.25*b124*
    b145 + 0.4*b124*b146 + 0.2*b124*b147 + 0.8*b124*b148 + 0.2*b124*b149 + 0.4*
    b124*b150 + 0.2*b124*b151 + 0.8*b124*b152 + 0.2*b124*b153 + 0.6*b125*b134
     + 0.4*b125*b135 + 0.2*b125*b136 + 0.8*b125*b137 + 0.75*b125*b142 + 0.5*
    b125*b143 + 0.25*b125*b144 + b125*b145 + 0.6*b125*b146 + 0.4*b125*b147 + 
    0.2*b125*b148 + 0.8*b125*b149 + 0.6*b125*b150 + 0.4*b125*b151 + 0.2*b125*
    b152 + 0.8*b125*b153 + 0.8*b126*b154 + 0.2*b126*b155 + 0.4*b126*b156 + 0.6*
    b126*b157 + 0.8*b126*b158 + 0.2*b126*b159 + 0.4*b126*b160 + 0.6*b126*b161
     + 0.3*b126*b162 + 0.075*b126*b163 + 0.15*b126*b164 + 0.225*b126*b165 + 0.2
    *b127*b154 + 0.8*b127*b155 + 0.2*b127*b156 + 0.4*b127*b157 + 0.2*b127*b158
     + 0.8*b127*b159 + 0.2*b127*b160 + 0.4*b127*b161 + 0.075*b127*b162 + 0.3*
    b127*b163 + 0.075*b127*b164 + 0.15*b127*b165 + 0.4*b128*b154 + 0.2*b128*
    b155 + 0.8*b128*b156 + 0.2*b128*b157 + 0.4*b128*b158 + 0.2*b128*b159 + 0.8*
    b128*b160 + 0.2*b128*b161 + 0.15*b128*b162 + 0.075*b128*b163 + 0.3*b128*
    b164 + 0.075*b128*b165 + 0.6*b129*b154 + 0.4*b129*b155 + 0.2*b129*b156 + 
    0.8*b129*b157 + 0.6*b129*b158 + 0.4*b129*b159 + 0.2*b129*b160 + 0.8*b129*
    b161 + 0.225*b129*b162 + 0.15*b129*b163 + 0.075*b129*b164 + 0.3*b129*b165
     + b130*b134 + 0.25*b130*b135 + 0.5*b130*b136 + 0.75*b130*b137 + 0.5*b130*
    b146 + 0.125*b130*b147 + 0.25*b130*b148 + 0.375*b130*b149 + 0.3*b130*b162
     + 0.075*b130*b163 + 0.15*b130*b164 + 0.225*b130*b165 + 0.3*b130*b166 + 
    0.075*b130*b167 + 0.15*b130*b168 + 0.225*b130*b169 + 0.25*b131*b134 + b131*
    b135 + 0.25*b131*b136 + 0.5*b131*b137 + 0.125*b131*b146 + 0.5*b131*b147 + 
    0.125*b131*b148 + 0.25*b131*b149 + 0.075*b131*b162 + 0.3*b131*b163 + 0.075*
    b131*b164 + 0.15*b131*b165 + 0.075*b131*b166 + 0.3*b131*b167 + 0.075*b131*
    b168 + 0.15*b131*b169 + 0.5*b132*b134 + 0.25*b132*b135 + b132*b136 + 0.25*
    b132*b137 + 0.25*b132*b146 + 0.125*b132*b147 + 0.5*b132*b148 + 0.125*b132*
    b149 + 0.15*b132*b162 + 0.075*b132*b163 + 0.3*b132*b164 + 0.075*b132*b165
     + 0.15*b132*b166 + 0.075*b132*b167 + 0.3*b132*b168 + 0.075*b132*b169 + 
    0.75*b133*b134 + 0.5*b133*b135 + 0.25*b133*b136 + b133*b137 + 0.375*b133*
    b146 + 0.25*b133*b147 + 0.125*b133*b148 + 0.5*b133*b149 + 0.225*b133*b162
     + 0.15*b133*b163 + 0.075*b133*b164 + 0.3*b133*b165 + 0.225*b133*b166 + 
    0.15*b133*b167 + 0.075*b133*b168 + 0.3*b133*b169 + b134*b146 + 0.25*b134*
    b147 + 0.5*b134*b148 + 0.75*b134*b149 + 0.5*b134*b150 + 0.125*b134*b151 + 
    0.25*b134*b152 + 0.375*b134*b153 + 0.3*b134*b162 + 0.075*b134*b163 + 0.15*
    b134*b164 + 0.225*b134*b165 + 0.3*b134*b166 + 0.075*b134*b167 + 0.15*b134*
    b168 + 0.225*b134*b169 + 0.3*b134*b170 + 0.075*b134*b171 + 0.15*b134*b172
     + 0.225*b134*b173 + 0.25*b135*b146 + b135*b147 + 0.25*b135*b148 + 0.5*b135
    *b149 + 0.125*b135*b150 + 0.5*b135*b151 + 0.125*b135*b152 + 0.25*b135*b153
     + 0.075*b135*b162 + 0.3*b135*b163 + 0.075*b135*b164 + 0.15*b135*b165 + 
    0.075*b135*b166 + 0.3*b135*b167 + 0.075*b135*b168 + 0.15*b135*b169 + 0.075*
    b135*b170 + 0.3*b135*b171 + 0.075*b135*b172 + 0.15*b135*b173 + 0.5*b136*
    b146 + 0.25*b136*b147 + b136*b148 + 0.25*b136*b149 + 0.25*b136*b150 + 0.125
    *b136*b151 + 0.5*b136*b152 + 0.125*b136*b153 + 0.15*b136*b162 + 0.075*b136*
    b163 + 0.3*b136*b164 + 0.075*b136*b165 + 0.15*b136*b166 + 0.075*b136*b167
     + 0.3*b136*b168 + 0.075*b136*b169 + 0.15*b136*b170 + 0.075*b136*b171 + 0.3
    *b136*b172 + 0.075*b136*b173 + 0.75*b137*b146 + 0.5*b137*b147 + 0.25*b137*
    b148 + b137*b149 + 0.375*b137*b150 + 0.25*b137*b151 + 0.125*b137*b152 + 0.5
    *b137*b153 + 0.225*b137*b162 + 0.15*b137*b163 + 0.075*b137*b164 + 0.3*b137*
    b165 + 0.225*b137*b166 + 0.15*b137*b167 + 0.075*b137*b168 + 0.3*b137*b169
     + 0.225*b137*b170 + 0.15*b137*b171 + 0.075*b137*b172 + 0.3*b137*b173 + 0.8
    *b138*b174 + 0.2*b138*b175 + 0.4*b138*b176 + 0.6*b138*b177 + 0.8*b138*b178
     + 0.2*b138*b179 + 0.4*b138*b180 + 0.6*b138*b181 + 0.2*b139*b174 + 0.8*b139
    *b175 + 0.2*b139*b176 + 0.4*b139*b177 + 0.2*b139*b178 + 0.8*b139*b179 + 0.2
    *b139*b180 + 0.4*b139*b181 + 0.4*b140*b174 + 0.2*b140*b175 + 0.8*b140*b176
     + 0.2*b140*b177 + 0.4*b140*b178 + 0.2*b140*b179 + 0.8*b140*b180 + 0.2*b140
    *b181 + 0.6*b141*b174 + 0.4*b141*b175 + 0.2*b141*b176 + 0.8*b141*b177 + 0.6
    *b141*b178 + 0.4*b141*b179 + 0.2*b141*b180 + 0.8*b141*b181 + 0.8*b142*b146
     + 0.2*b142*b147 + 0.4*b142*b148 + 0.6*b142*b149 + 0.8*b142*b150 + 0.2*b142
    *b151 + 0.4*b142*b152 + 0.6*b142*b153 + 0.2*b143*b146 + 0.8*b143*b147 + 0.2
    *b143*b148 + 0.4*b143*b149 + 0.2*b143*b150 + 0.8*b143*b151 + 0.2*b143*b152
     + 0.4*b143*b153 + 0.4*b144*b146 + 0.2*b144*b147 + 0.8*b144*b148 + 0.2*b144
    *b149 + 0.4*b144*b150 + 0.2*b144*b151 + 0.8*b144*b152 + 0.2*b144*b153 + 0.6
    *b145*b146 + 0.4*b145*b147 + 0.2*b145*b148 + 0.8*b145*b149 + 0.6*b145*b150
     + 0.4*b145*b151 + 0.2*b145*b152 + 0.8*b145*b153 + b146*b150 + 0.25*b146*
    b151 + 0.5*b146*b152 + 0.75*b146*b153 + 0.3*b146*b166 + 0.075*b146*b167 + 
    0.15*b146*b168 + 0.225*b146*b169 + 0.3*b146*b170 + 0.075*b146*b171 + 0.15*
    b146*b172 + 0.225*b146*b173 + 0.3*b146*b182 + 0.075*b146*b183 + 0.15*b146*
    b184 + 0.225*b146*b185 + 0.25*b147*b150 + b147*b151 + 0.25*b147*b152 + 0.5*
    b147*b153 + 0.075*b147*b166 + 0.3*b147*b167 + 0.075*b147*b168 + 0.15*b147*
    b169 + 0.075*b147*b170 + 0.3*b147*b171 + 0.075*b147*b172 + 0.15*b147*b173
     + 0.075*b147*b182 + 0.3*b147*b183 + 0.075*b147*b184 + 0.15*b147*b185 + 0.5
    *b148*b150 + 0.25*b148*b151 + b148*b152 + 0.25*b148*b153 + 0.15*b148*b166
     + 0.075*b148*b167 + 0.3*b148*b168 + 0.075*b148*b169 + 0.15*b148*b170 + 
    0.075*b148*b171 + 0.3*b148*b172 + 0.075*b148*b173 + 0.15*b148*b182 + 0.075*
    b148*b183 + 0.3*b148*b184 + 0.075*b148*b185 + 0.75*b149*b150 + 0.5*b149*
    b151 + 0.25*b149*b152 + b149*b153 + 0.225*b149*b166 + 0.15*b149*b167 + 
    0.075*b149*b168 + 0.3*b149*b169 + 0.225*b149*b170 + 0.15*b149*b171 + 0.075*
    b149*b172 + 0.3*b149*b173 + 0.225*b149*b182 + 0.15*b149*b183 + 0.075*b149*
    b184 + 0.3*b149*b185 + 0.3*b150*b170 + 0.075*b150*b171 + 0.15*b150*b172 + 
    0.225*b150*b173 + 0.3*b150*b182 + 0.075*b150*b183 + 0.15*b150*b184 + 0.225*
    b150*b185 + 0.075*b151*b170 + 0.3*b151*b171 + 0.075*b151*b172 + 0.15*b151*
    b173 + 0.075*b151*b182 + 0.3*b151*b183 + 0.075*b151*b184 + 0.15*b151*b185
     + 0.15*b152*b170 + 0.075*b152*b171 + 0.3*b152*b172 + 0.075*b152*b173 + 
    0.15*b152*b182 + 0.075*b152*b183 + 0.3*b152*b184 + 0.075*b152*b185 + 0.225*
    b153*b170 + 0.15*b153*b171 + 0.075*b153*b172 + 0.3*b153*b173 + 0.225*b153*
    b182 + 0.15*b153*b183 + 0.075*b153*b184 + 0.3*b153*b185 + b154*b158 + 0.25*
    b154*b159 + 0.5*b154*b160 + 0.75*b154*b161 + 0.5*b154*b178 + 0.125*b154*
    b179 + 0.25*b154*b180 + 0.375*b154*b181 + 0.3*b154*b186 + 0.075*b154*b187
     + 0.15*b154*b188 + 0.225*b154*b189 + 0.3*b154*b190 + 0.075*b154*b191 + 
    0.15*b154*b192 + 0.225*b154*b193 + 0.3*b154*b194 + 0.075*b154*b195 + 0.15*
    b154*b196 + 0.225*b154*b197 + 0.25*b155*b158 + b155*b159 + 0.25*b155*b160
     + 0.5*b155*b161 + 0.125*b155*b178 + 0.5*b155*b179 + 0.125*b155*b180 + 0.25
    *b155*b181 + 0.075*b155*b186 + 0.3*b155*b187 + 0.075*b155*b188 + 0.15*b155*
    b189 + 0.075*b155*b190 + 0.3*b155*b191 + 0.075*b155*b192 + 0.15*b155*b193
     + 0.075*b155*b194 + 0.3*b155*b195 + 0.075*b155*b196 + 0.15*b155*b197 + 0.5
    *b156*b158 + 0.25*b156*b159 + b156*b160 + 0.25*b156*b161 + 0.25*b156*b178
     + 0.125*b156*b179 + 0.5*b156*b180 + 0.125*b156*b181 + 0.15*b156*b186 + 
    0.075*b156*b187 + 0.3*b156*b188 + 0.075*b156*b189 + 0.15*b156*b190 + 0.075*
    b156*b191 + 0.3*b156*b192 + 0.075*b156*b193 + 0.15*b156*b194 + 0.075*b156*
    b195 + 0.3*b156*b196 + 0.075*b156*b197 + 0.75*b157*b158 + 0.5*b157*b159 + 
    0.25*b157*b160 + b157*b161 + 0.375*b157*b178 + 0.25*b157*b179 + 0.125*b157*
    b180 + 0.5*b157*b181 + 0.225*b157*b186 + 0.15*b157*b187 + 0.075*b157*b188
     + 0.3*b157*b189 + 0.225*b157*b190 + 0.15*b157*b191 + 0.075*b157*b192 + 0.3
    *b157*b193 + 0.225*b157*b194 + 0.15*b157*b195 + 0.075*b157*b196 + 0.3*b157*
    b197 + 0.5*b158*b174 + 0.125*b158*b175 + 0.25*b158*b176 + 0.375*b158*b177
     + b158*b178 + 0.25*b158*b179 + 0.5*b158*b180 + 0.75*b158*b181 + 0.3*b158*
    b186 + 0.075*b158*b187 + 0.15*b158*b188 + 0.225*b158*b189 + 0.3*b158*b190
     + 0.075*b158*b191 + 0.15*b158*b192 + 0.225*b158*b193 + 0.3*b158*b198 + 
    0.075*b158*b199 + 0.15*b158*b200 + 0.225*b158*b201 + 0.125*b159*b174 + 0.5*
    b159*b175 + 0.125*b159*b176 + 0.25*b159*b177 + 0.25*b159*b178 + b159*b179
     + 0.25*b159*b180 + 0.5*b159*b181 + 0.075*b159*b186 + 0.3*b159*b187 + 0.075
    *b159*b188 + 0.15*b159*b189 + 0.075*b159*b190 + 0.3*b159*b191 + 0.075*b159*
    b192 + 0.15*b159*b193 + 0.075*b159*b198 + 0.3*b159*b199 + 0.075*b159*b200
     + 0.15*b159*b201 + 0.25*b160*b174 + 0.125*b160*b175 + 0.5*b160*b176 + 
    0.125*b160*b177 + 0.5*b160*b178 + 0.25*b160*b179 + b160*b180 + 0.25*b160*
    b181 + 0.15*b160*b186 + 0.075*b160*b187 + 0.3*b160*b188 + 0.075*b160*b189
     + 0.15*b160*b190 + 0.075*b160*b191 + 0.3*b160*b192 + 0.075*b160*b193 + 
    0.15*b160*b198 + 0.075*b160*b199 + 0.3*b160*b200 + 0.075*b160*b201 + 0.375*
    b161*b174 + 0.25*b161*b175 + 0.125*b161*b176 + 0.5*b161*b177 + 0.75*b161*
    b178 + 0.5*b161*b179 + 0.25*b161*b180 + b161*b181 + 0.225*b161*b186 + 0.15*
    b161*b187 + 0.075*b161*b188 + 0.3*b161*b189 + 0.225*b161*b190 + 0.15*b161*
    b191 + 0.075*b161*b192 + 0.3*b161*b193 + 0.225*b161*b198 + 0.15*b161*b199
     + 0.075*b161*b200 + 0.3*b161*b201 + b162*b166 + 0.25*b162*b167 + 0.5*b162*
    b168 + 0.75*b162*b169 + 0.5*b162*b170 + 0.125*b162*b171 + 0.25*b162*b172 + 
    0.375*b162*b173 + 0.8*b162*b194 + 0.2*b162*b195 + 0.4*b162*b196 + 0.6*b162*
    b197 + 0.8*b162*b202 + 0.2*b162*b203 + 0.4*b162*b204 + 0.6*b162*b205 + 0.25
    *b163*b166 + b163*b167 + 0.25*b163*b168 + 0.5*b163*b169 + 0.125*b163*b170
     + 0.5*b163*b171 + 0.125*b163*b172 + 0.25*b163*b173 + 0.2*b163*b194 + 0.8*
    b163*b195 + 0.2*b163*b196 + 0.4*b163*b197 + 0.2*b163*b202 + 0.8*b163*b203
     + 0.2*b163*b204 + 0.4*b163*b205 + 0.5*b164*b166 + 0.25*b164*b167 + b164*
    b168 + 0.25*b164*b169 + 0.25*b164*b170 + 0.125*b164*b171 + 0.5*b164*b172 + 
    0.125*b164*b173 + 0.4*b164*b194 + 0.2*b164*b195 + 0.8*b164*b196 + 0.2*b164*
    b197 + 0.4*b164*b202 + 0.2*b164*b203 + 0.8*b164*b204 + 0.2*b164*b205 + 0.75
    *b165*b166 + 0.5*b165*b167 + 0.25*b165*b168 + b165*b169 + 0.375*b165*b170
     + 0.25*b165*b171 + 0.125*b165*b172 + 0.5*b165*b173 + 0.6*b165*b194 + 0.4*
    b165*b195 + 0.2*b165*b196 + 0.8*b165*b197 + 0.6*b165*b202 + 0.4*b165*b203
     + 0.2*b165*b204 + 0.8*b165*b205 + b166*b170 + 0.25*b166*b171 + 0.5*b166*
    b172 + 0.75*b166*b173 + 0.5*b166*b182 + 0.125*b166*b183 + 0.25*b166*b184 + 
    0.375*b166*b185 + 0.8*b166*b194 + 0.2*b166*b195 + 0.4*b166*b196 + 0.6*b166*
    b197 + 0.8*b166*b202 + 0.2*b166*b203 + 0.4*b166*b204 + 0.6*b166*b205 + 0.8*
    b166*b206 + 0.2*b166*b207 + 0.4*b166*b208 + 0.6*b166*b209 + 0.25*b167*b170
     + b167*b171 + 0.25*b167*b172 + 0.5*b167*b173 + 0.125*b167*b182 + 0.5*b167*
    b183 + 0.125*b167*b184 + 0.25*b167*b185 + 0.2*b167*b194 + 0.8*b167*b195 + 
    0.2*b167*b196 + 0.4*b167*b197 + 0.2*b167*b202 + 0.8*b167*b203 + 0.2*b167*
    b204 + 0.4*b167*b205 + 0.2*b167*b206 + 0.8*b167*b207 + 0.2*b167*b208 + 0.4*
    b167*b209 + 0.5*b168*b170 + 0.25*b168*b171 + b168*b172 + 0.25*b168*b173 + 
    0.25*b168*b182 + 0.125*b168*b183 + 0.5*b168*b184 + 0.125*b168*b185 + 0.4*
    b168*b194 + 0.2*b168*b195 + 0.8*b168*b196 + 0.2*b168*b197 + 0.4*b168*b202
     + 0.2*b168*b203 + 0.8*b168*b204 + 0.2*b168*b205 + 0.4*b168*b206 + 0.2*b168
    *b207 + 0.8*b168*b208 + 0.2*b168*b209 + 0.75*b169*b170 + 0.5*b169*b171 + 
    0.25*b169*b172 + b169*b173 + 0.375*b169*b182 + 0.25*b169*b183 + 0.125*b169*
    b184 + 0.5*b169*b185 + 0.6*b169*b194 + 0.4*b169*b195 + 0.2*b169*b196 + 0.8*
    b169*b197 + 0.6*b169*b202 + 0.4*b169*b203 + 0.2*b169*b204 + 0.8*b169*b205
     + 0.6*b169*b206 + 0.4*b169*b207 + 0.2*b169*b208 + 0.8*b169*b209 + b170*
    b182 + 0.25*b170*b183 + 0.5*b170*b184 + 0.75*b170*b185 + 0.8*b170*b202 + 
    0.2*b170*b203 + 0.4*b170*b204 + 0.6*b170*b205 + 0.8*b170*b206 + 0.2*b170*
    b207 + 0.4*b170*b208 + 0.6*b170*b209 + 0.8*b170*b210 + 0.2*b170*b211 + 0.4*
    b170*b212 + 0.6*b170*b213 + 0.25*b171*b182 + b171*b183 + 0.25*b171*b184 + 
    0.5*b171*b185 + 0.2*b171*b202 + 0.8*b171*b203 + 0.2*b171*b204 + 0.4*b171*
    b205 + 0.2*b171*b206 + 0.8*b171*b207 + 0.2*b171*b208 + 0.4*b171*b209 + 0.2*
    b171*b210 + 0.8*b171*b211 + 0.2*b171*b212 + 0.4*b171*b213 + 0.5*b172*b182
     + 0.25*b172*b183 + b172*b184 + 0.25*b172*b185 + 0.4*b172*b202 + 0.2*b172*
    b203 + 0.8*b172*b204 + 0.2*b172*b205 + 0.4*b172*b206 + 0.2*b172*b207 + 0.8*
    b172*b208 + 0.2*b172*b209 + 0.4*b172*b210 + 0.2*b172*b211 + 0.8*b172*b212
     + 0.2*b172*b213 + 0.75*b173*b182 + 0.5*b173*b183 + 0.25*b173*b184 + b173*
    b185 + 0.6*b173*b202 + 0.4*b173*b203 + 0.2*b173*b204 + 0.8*b173*b205 + 0.6*
    b173*b206 + 0.4*b173*b207 + 0.2*b173*b208 + 0.8*b173*b209 + 0.6*b173*b210
     + 0.4*b173*b211 + 0.2*b173*b212 + 0.8*b173*b213 + b174*b178 + 0.25*b174*
    b179 + 0.5*b174*b180 + 0.75*b174*b181 + 0.3*b174*b198 + 0.075*b174*b199 + 
    0.15*b174*b200 + 0.225*b174*b201 + 0.3*b174*b214 + 0.075*b174*b215 + 0.15*
    b174*b216 + 0.225*b174*b217 + 0.25*b175*b178 + b175*b179 + 0.25*b175*b180
     + 0.5*b175*b181 + 0.075*b175*b198 + 0.3*b175*b199 + 0.075*b175*b200 + 0.15
    *b175*b201 + 0.075*b175*b214 + 0.3*b175*b215 + 0.075*b175*b216 + 0.15*b175*
    b217 + 0.5*b176*b178 + 0.25*b176*b179 + b176*b180 + 0.25*b176*b181 + 0.15*
    b176*b198 + 0.075*b176*b199 + 0.3*b176*b200 + 0.075*b176*b201 + 0.15*b176*
    b214 + 0.075*b176*b215 + 0.3*b176*b216 + 0.075*b176*b217 + 0.75*b177*b178
     + 0.5*b177*b179 + 0.25*b177*b180 + b177*b181 + 0.225*b177*b198 + 0.15*b177
    *b199 + 0.075*b177*b200 + 0.3*b177*b201 + 0.225*b177*b214 + 0.15*b177*b215
     + 0.075*b177*b216 + 0.3*b177*b217 + 0.3*b178*b186 + 0.075*b178*b187 + 0.15
    *b178*b188 + 0.225*b178*b189 + 0.3*b178*b198 + 0.075*b178*b199 + 0.15*b178*
    b200 + 0.225*b178*b201 + 0.3*b178*b214 + 0.075*b178*b215 + 0.15*b178*b216
     + 0.225*b178*b217 + 0.075*b179*b186 + 0.3*b179*b187 + 0.075*b179*b188 + 
    0.15*b179*b189 + 0.075*b179*b198 + 0.3*b179*b199 + 0.075*b179*b200 + 0.15*
    b179*b201 + 0.075*b179*b214 + 0.3*b179*b215 + 0.075*b179*b216 + 0.15*b179*
    b217 + 0.15*b180*b186 + 0.075*b180*b187 + 0.3*b180*b188 + 0.075*b180*b189
     + 0.15*b180*b198 + 0.075*b180*b199 + 0.3*b180*b200 + 0.075*b180*b201 + 
    0.15*b180*b214 + 0.075*b180*b215 + 0.3*b180*b216 + 0.075*b180*b217 + 0.225*
    b181*b186 + 0.15*b181*b187 + 0.075*b181*b188 + 0.3*b181*b189 + 0.225*b181*
    b198 + 0.15*b181*b199 + 0.075*b181*b200 + 0.3*b181*b201 + 0.225*b181*b214
     + 0.15*b181*b215 + 0.075*b181*b216 + 0.3*b181*b217 + 0.8*b182*b206 + 0.2*
    b182*b207 + 0.4*b182*b208 + 0.6*b182*b209 + 0.8*b182*b210 + 0.2*b182*b211
     + 0.4*b182*b212 + 0.6*b182*b213 + 0.2*b183*b206 + 0.8*b183*b207 + 0.2*b183
    *b208 + 0.4*b183*b209 + 0.2*b183*b210 + 0.8*b183*b211 + 0.2*b183*b212 + 0.4
    *b183*b213 + 0.4*b184*b206 + 0.2*b184*b207 + 0.8*b184*b208 + 0.2*b184*b209
     + 0.4*b184*b210 + 0.2*b184*b211 + 0.8*b184*b212 + 0.2*b184*b213 + 0.6*b185
    *b206 + 0.4*b185*b207 + 0.2*b185*b208 + 0.8*b185*b209 + 0.6*b185*b210 + 0.4
    *b185*b211 + 0.2*b185*b212 + 0.8*b185*b213 + b186*b190 + 0.25*b186*b191 + 
    0.5*b186*b192 + 0.75*b186*b193 + b186*b198 + 0.25*b186*b199 + 0.5*b186*b200
     + 0.75*b186*b201 + 0.5*b186*b214 + 0.125*b186*b215 + 0.25*b186*b216 + 
    0.375*b186*b217 + 0.8*b186*b218 + 0.2*b186*b219 + 0.4*b186*b220 + 0.6*b186*
    b221 + 0.8*b186*b222 + 0.2*b186*b223 + 0.4*b186*b224 + 0.6*b186*b225 + 0.8*
    b186*b226 + 0.2*b186*b227 + 0.4*b186*b228 + 0.6*b186*b229 + 0.25*b187*b190
     + b187*b191 + 0.25*b187*b192 + 0.5*b187*b193 + 0.25*b187*b198 + b187*b199
     + 0.25*b187*b200 + 0.5*b187*b201 + 0.125*b187*b214 + 0.5*b187*b215 + 0.125
    *b187*b216 + 0.25*b187*b217 + 0.2*b187*b218 + 0.8*b187*b219 + 0.2*b187*b220
     + 0.4*b187*b221 + 0.2*b187*b222 + 0.8*b187*b223 + 0.2*b187*b224 + 0.4*b187
    *b225 + 0.2*b187*b226 + 0.8*b187*b227 + 0.2*b187*b228 + 0.4*b187*b229 + 0.5
    *b188*b190 + 0.25*b188*b191 + b188*b192 + 0.25*b188*b193 + 0.5*b188*b198 + 
    0.25*b188*b199 + b188*b200 + 0.25*b188*b201 + 0.25*b188*b214 + 0.125*b188*
    b215 + 0.5*b188*b216 + 0.125*b188*b217 + 0.4*b188*b218 + 0.2*b188*b219 + 
    0.8*b188*b220 + 0.2*b188*b221 + 0.4*b188*b222 + 0.2*b188*b223 + 0.8*b188*
    b224 + 0.2*b188*b225 + 0.4*b188*b226 + 0.2*b188*b227 + 0.8*b188*b228 + 0.2*
    b188*b229 + 0.75*b189*b190 + 0.5*b189*b191 + 0.25*b189*b192 + b189*b193 + 
    0.75*b189*b198 + 0.5*b189*b199 + 0.25*b189*b200 + b189*b201 + 0.375*b189*
    b214 + 0.25*b189*b215 + 0.125*b189*b216 + 0.5*b189*b217 + 0.6*b189*b218 + 
    0.4*b189*b219 + 0.2*b189*b220 + 0.8*b189*b221 + 0.6*b189*b222 + 0.4*b189*
    b223 + 0.2*b189*b224 + 0.8*b189*b225 + 0.6*b189*b226 + 0.4*b189*b227 + 0.2*
    b189*b228 + 0.8*b189*b229 + 0.5*b190*b198 + 0.125*b190*b199 + 0.25*b190*
    b200 + 0.375*b190*b201 + 0.8*b190*b218 + 0.2*b190*b219 + 0.4*b190*b220 + 
    0.6*b190*b221 + 0.8*b190*b226 + 0.2*b190*b227 + 0.4*b190*b228 + 0.6*b190*
    b229 + 0.3*b190*b230 + 0.075*b190*b231 + 0.15*b190*b232 + 0.225*b190*b233
     + 0.125*b191*b198 + 0.5*b191*b199 + 0.125*b191*b200 + 0.25*b191*b201 + 0.2
    *b191*b218 + 0.8*b191*b219 + 0.2*b191*b220 + 0.4*b191*b221 + 0.2*b191*b226
     + 0.8*b191*b227 + 0.2*b191*b228 + 0.4*b191*b229 + 0.075*b191*b230 + 0.3*
    b191*b231 + 0.075*b191*b232 + 0.15*b191*b233 + 0.25*b192*b198 + 0.125*b192*
    b199 + 0.5*b192*b200 + 0.125*b192*b201 + 0.4*b192*b218 + 0.2*b192*b219 + 
    0.8*b192*b220 + 0.2*b192*b221 + 0.4*b192*b226 + 0.2*b192*b227 + 0.8*b192*
    b228 + 0.2*b192*b229 + 0.15*b192*b230 + 0.075*b192*b231 + 0.3*b192*b232 + 
    0.075*b192*b233 + 0.375*b193*b198 + 0.25*b193*b199 + 0.125*b193*b200 + 0.5*
    b193*b201 + 0.6*b193*b218 + 0.4*b193*b219 + 0.2*b193*b220 + 0.8*b193*b221
     + 0.6*b193*b226 + 0.4*b193*b227 + 0.2*b193*b228 + 0.8*b193*b229 + 0.225*
    b193*b230 + 0.15*b193*b231 + 0.075*b193*b232 + 0.3*b193*b233 + b194*b202 + 
    0.25*b194*b203 + 0.5*b194*b204 + 0.75*b194*b205 + 0.5*b194*b206 + 0.125*
    b194*b207 + 0.25*b194*b208 + 0.375*b194*b209 + 0.3*b194*b230 + 0.075*b194*
    b231 + 0.15*b194*b232 + 0.225*b194*b233 + 0.3*b194*b234 + 0.075*b194*b235
     + 0.15*b194*b236 + 0.225*b194*b237 + 0.25*b195*b202 + b195*b203 + 0.25*
    b195*b204 + 0.5*b195*b205 + 0.125*b195*b206 + 0.5*b195*b207 + 0.125*b195*
    b208 + 0.25*b195*b209 + 0.075*b195*b230 + 0.3*b195*b231 + 0.075*b195*b232
     + 0.15*b195*b233 + 0.075*b195*b234 + 0.3*b195*b235 + 0.075*b195*b236 + 
    0.15*b195*b237 + 0.5*b196*b202 + 0.25*b196*b203 + b196*b204 + 0.25*b196*
    b205 + 0.25*b196*b206 + 0.125*b196*b207 + 0.5*b196*b208 + 0.125*b196*b209
     + 0.15*b196*b230 + 0.075*b196*b231 + 0.3*b196*b232 + 0.075*b196*b233 + 
    0.15*b196*b234 + 0.075*b196*b235 + 0.3*b196*b236 + 0.075*b196*b237 + 0.75*
    b197*b202 + 0.5*b197*b203 + 0.25*b197*b204 + b197*b205 + 0.375*b197*b206 + 
    0.25*b197*b207 + 0.125*b197*b208 + 0.5*b197*b209 + 0.225*b197*b230 + 0.15*
    b197*b231 + 0.075*b197*b232 + 0.3*b197*b233 + 0.225*b197*b234 + 0.15*b197*
    b235 + 0.075*b197*b236 + 0.3*b197*b237 + b198*b214 + 0.25*b198*b215 + 0.5*
    b198*b216 + 0.75*b198*b217 + 0.8*b198*b218 + 0.2*b198*b219 + 0.4*b198*b220
     + 0.6*b198*b221 + 0.8*b198*b222 + 0.2*b198*b223 + 0.4*b198*b224 + 0.6*b198
    *b225 + 0.8*b198*b238 + 0.2*b198*b239 + 0.4*b198*b240 + 0.6*b198*b241 + 
    0.25*b199*b214 + b199*b215 + 0.25*b199*b216 + 0.5*b199*b217 + 0.2*b199*b218
     + 0.8*b199*b219 + 0.2*b199*b220 + 0.4*b199*b221 + 0.2*b199*b222 + 0.8*b199
    *b223 + 0.2*b199*b224 + 0.4*b199*b225 + 0.2*b199*b238 + 0.8*b199*b239 + 0.2
    *b199*b240 + 0.4*b199*b241 + 0.5*b200*b214 + 0.25*b200*b215 + b200*b216 + 
    0.25*b200*b217 + 0.4*b200*b218 + 0.2*b200*b219 + 0.8*b200*b220 + 0.2*b200*
    b221 + 0.4*b200*b222 + 0.2*b200*b223 + 0.8*b200*b224 + 0.2*b200*b225 + 0.4*
    b200*b238 + 0.2*b200*b239 + 0.8*b200*b240 + 0.2*b200*b241 + 0.75*b201*b214
     + 0.5*b201*b215 + 0.25*b201*b216 + b201*b217 + 0.6*b201*b218 + 0.4*b201*
    b219 + 0.2*b201*b220 + 0.8*b201*b221 + 0.6*b201*b222 + 0.4*b201*b223 + 0.2*
    b201*b224 + 0.8*b201*b225 + 0.6*b201*b238 + 0.4*b201*b239 + 0.2*b201*b240
     + 0.8*b201*b241 + b202*b206 + 0.25*b202*b207 + 0.5*b202*b208 + 0.75*b202*
    b209 + 0.5*b202*b210 + 0.125*b202*b211 + 0.25*b202*b212 + 0.375*b202*b213
     + 0.3*b202*b230 + 0.075*b202*b231 + 0.15*b202*b232 + 0.225*b202*b233 + 0.3
    *b202*b234 + 0.075*b202*b235 + 0.15*b202*b236 + 0.225*b202*b237 + 0.3*b202*
    b242 + 0.075*b202*b243 + 0.15*b202*b244 + 0.225*b202*b245 + 0.25*b203*b206
     + b203*b207 + 0.25*b203*b208 + 0.5*b203*b209 + 0.125*b203*b210 + 0.5*b203*
    b211 + 0.125*b203*b212 + 0.25*b203*b213 + 0.075*b203*b230 + 0.3*b203*b231
     + 0.075*b203*b232 + 0.15*b203*b233 + 0.075*b203*b234 + 0.3*b203*b235 + 
    0.075*b203*b236 + 0.15*b203*b237 + 0.075*b203*b242 + 0.3*b203*b243 + 0.075*
    b203*b244 + 0.15*b203*b245 + 0.5*b204*b206 + 0.25*b204*b207 + b204*b208 + 
    0.25*b204*b209 + 0.25*b204*b210 + 0.125*b204*b211 + 0.5*b204*b212 + 0.125*
    b204*b213 + 0.15*b204*b230 + 0.075*b204*b231 + 0.3*b204*b232 + 0.075*b204*
    b233 + 0.15*b204*b234 + 0.075*b204*b235 + 0.3*b204*b236 + 0.075*b204*b237
     + 0.15*b204*b242 + 0.075*b204*b243 + 0.3*b204*b244 + 0.075*b204*b245 + 
    0.75*b205*b206 + 0.5*b205*b207 + 0.25*b205*b208 + b205*b209 + 0.375*b205*
    b210 + 0.25*b205*b211 + 0.125*b205*b212 + 0.5*b205*b213 + 0.225*b205*b230
     + 0.15*b205*b231 + 0.075*b205*b232 + 0.3*b205*b233 + 0.225*b205*b234 + 
    0.15*b205*b235 + 0.075*b205*b236 + 0.3*b205*b237 + 0.225*b205*b242 + 0.15*
    b205*b243 + 0.075*b205*b244 + 0.3*b205*b245 + b206*b210 + 0.25*b206*b211 + 
    0.5*b206*b212 + 0.75*b206*b213 + 0.3*b206*b234 + 0.075*b206*b235 + 0.15*
    b206*b236 + 0.225*b206*b237 + 0.3*b206*b242 + 0.075*b206*b243 + 0.15*b206*
    b244 + 0.225*b206*b245 + 0.3*b206*b246 + 0.075*b206*b247 + 0.15*b206*b248
     + 0.225*b206*b249 + 0.25*b207*b210 + b207*b211 + 0.25*b207*b212 + 0.5*b207
    *b213 + 0.075*b207*b234 + 0.3*b207*b235 + 0.075*b207*b236 + 0.15*b207*b237
     + 0.075*b207*b242 + 0.3*b207*b243 + 0.075*b207*b244 + 0.15*b207*b245 + 
    0.075*b207*b246 + 0.3*b207*b247 + 0.075*b207*b248 + 0.15*b207*b249 + 0.5*
    b208*b210 + 0.25*b208*b211 + b208*b212 + 0.25*b208*b213 + 0.15*b208*b234 + 
    0.075*b208*b235 + 0.3*b208*b236 + 0.075*b208*b237 + 0.15*b208*b242 + 0.075*
    b208*b243 + 0.3*b208*b244 + 0.075*b208*b245 + 0.15*b208*b246 + 0.075*b208*
    b247 + 0.3*b208*b248 + 0.075*b208*b249 + 0.75*b209*b210 + 0.5*b209*b211 + 
    0.25*b209*b212 + b209*b213 + 0.225*b209*b234 + 0.15*b209*b235 + 0.075*b209*
    b236 + 0.3*b209*b237 + 0.225*b209*b242 + 0.15*b209*b243 + 0.075*b209*b244
     + 0.3*b209*b245 + 0.225*b209*b246 + 0.15*b209*b247 + 0.075*b209*b248 + 0.3
    *b209*b249 + 0.3*b210*b242 + 0.075*b210*b243 + 0.15*b210*b244 + 0.225*b210*
    b245 + 0.3*b210*b246 + 0.075*b210*b247 + 0.15*b210*b248 + 0.225*b210*b249
     + 0.075*b211*b242 + 0.3*b211*b243 + 0.075*b211*b244 + 0.15*b211*b245 + 
    0.075*b211*b246 + 0.3*b211*b247 + 0.075*b211*b248 + 0.15*b211*b249 + 0.15*
    b212*b242 + 0.075*b212*b243 + 0.3*b212*b244 + 0.075*b212*b245 + 0.15*b212*
    b246 + 0.075*b212*b247 + 0.3*b212*b248 + 0.075*b212*b249 + 0.225*b213*b242
     + 0.15*b213*b243 + 0.075*b213*b244 + 0.3*b213*b245 + 0.225*b213*b246 + 
    0.15*b213*b247 + 0.075*b213*b248 + 0.3*b213*b249 + 0.8*b214*b222 + 0.2*b214
    *b223 + 0.4*b214*b224 + 0.6*b214*b225 + 0.8*b214*b238 + 0.2*b214*b239 + 0.4
    *b214*b240 + 0.6*b214*b241 + 0.2*b215*b222 + 0.8*b215*b223 + 0.2*b215*b224
     + 0.4*b215*b225 + 0.2*b215*b238 + 0.8*b215*b239 + 0.2*b215*b240 + 0.4*b215
    *b241 + 0.4*b216*b222 + 0.2*b216*b223 + 0.8*b216*b224 + 0.2*b216*b225 + 0.4
    *b216*b238 + 0.2*b216*b239 + 0.8*b216*b240 + 0.2*b216*b241 + 0.6*b217*b222
     + 0.4*b217*b223 + 0.2*b217*b224 + 0.8*b217*b225 + 0.6*b217*b238 + 0.4*b217
    *b239 + 0.2*b217*b240 + 0.8*b217*b241 + b218*b222 + 0.25*b218*b223 + 0.5*
    b218*b224 + 0.75*b218*b225 + b218*b226 + 0.25*b218*b227 + 0.5*b218*b228 + 
    0.75*b218*b229 + 0.5*b218*b238 + 0.125*b218*b239 + 0.25*b218*b240 + 0.375*
    b218*b241 + 0.25*b219*b222 + b219*b223 + 0.25*b219*b224 + 0.5*b219*b225 + 
    0.25*b219*b226 + b219*b227 + 0.25*b219*b228 + 0.5*b219*b229 + 0.125*b219*
    b238 + 0.5*b219*b239 + 0.125*b219*b240 + 0.25*b219*b241 + 0.5*b220*b222 + 
    0.25*b220*b223 + b220*b224 + 0.25*b220*b225 + 0.5*b220*b226 + 0.25*b220*
    b227 + b220*b228 + 0.25*b220*b229 + 0.25*b220*b238 + 0.125*b220*b239 + 0.5*
    b220*b240 + 0.125*b220*b241 + 0.75*b221*b222 + 0.5*b221*b223 + 0.25*b221*
    b224 + b221*b225 + 0.75*b221*b226 + 0.5*b221*b227 + 0.25*b221*b228 + b221*
    b229 + 0.375*b221*b238 + 0.25*b221*b239 + 0.125*b221*b240 + 0.5*b221*b241
     + 0.5*b222*b226 + 0.125*b222*b227 + 0.25*b222*b228 + 0.375*b222*b229 + 
    b222*b238 + 0.25*b222*b239 + 0.5*b222*b240 + 0.75*b222*b241 + 0.125*b223*
    b226 + 0.5*b223*b227 + 0.125*b223*b228 + 0.25*b223*b229 + 0.25*b223*b238 + 
    b223*b239 + 0.25*b223*b240 + 0.5*b223*b241 + 0.25*b224*b226 + 0.125*b224*
    b227 + 0.5*b224*b228 + 0.125*b224*b229 + 0.5*b224*b238 + 0.25*b224*b239 + 
    b224*b240 + 0.25*b224*b241 + 0.375*b225*b226 + 0.25*b225*b227 + 0.125*b225*
    b228 + 0.5*b225*b229 + 0.75*b225*b238 + 0.5*b225*b239 + 0.25*b225*b240 + 
    b225*b241 + 0.3*b226*b250 + 0.075*b226*b251 + 0.15*b226*b252 + 0.225*b226*
    b253 + 0.075*b227*b250 + 0.3*b227*b251 + 0.075*b227*b252 + 0.15*b227*b253
     + 0.15*b228*b250 + 0.075*b228*b251 + 0.3*b228*b252 + 0.075*b228*b253 + 
    0.225*b229*b250 + 0.15*b229*b251 + 0.075*b229*b252 + 0.3*b229*b253 + b230*
    b234 + 0.25*b230*b235 + 0.5*b230*b236 + 0.75*b230*b237 + 0.5*b230*b242 + 
    0.125*b230*b243 + 0.25*b230*b244 + 0.375*b230*b245 + 0.8*b230*b250 + 0.2*
    b230*b251 + 0.4*b230*b252 + 0.6*b230*b253 + 0.8*b230*b254 + 0.2*b230*b255
     + 0.4*b230*b256 + 0.6*b230*b257 + 0.25*b231*b234 + b231*b235 + 0.25*b231*
    b236 + 0.5*b231*b237 + 0.125*b231*b242 + 0.5*b231*b243 + 0.125*b231*b244 + 
    0.25*b231*b245 + 0.2*b231*b250 + 0.8*b231*b251 + 0.2*b231*b252 + 0.4*b231*
    b253 + 0.2*b231*b254 + 0.8*b231*b255 + 0.2*b231*b256 + 0.4*b231*b257 + 0.5*
    b232*b234 + 0.25*b232*b235 + b232*b236 + 0.25*b232*b237 + 0.25*b232*b242 + 
    0.125*b232*b243 + 0.5*b232*b244 + 0.125*b232*b245 + 0.4*b232*b250 + 0.2*
    b232*b251 + 0.8*b232*b252 + 0.2*b232*b253 + 0.4*b232*b254 + 0.2*b232*b255
     + 0.8*b232*b256 + 0.2*b232*b257 + 0.75*b233*b234 + 0.5*b233*b235 + 0.25*
    b233*b236 + b233*b237 + 0.375*b233*b242 + 0.25*b233*b243 + 0.125*b233*b244
     + 0.5*b233*b245 + 0.6*b233*b250 + 0.4*b233*b251 + 0.2*b233*b252 + 0.8*b233
    *b253 + 0.6*b233*b254 + 0.4*b233*b255 + 0.2*b233*b256 + 0.8*b233*b257 + 
    b234*b242 + 0.25*b234*b243 + 0.5*b234*b244 + 0.75*b234*b245 + 0.5*b234*b246
     + 0.125*b234*b247 + 0.25*b234*b248 + 0.375*b234*b249 + 0.8*b234*b250 + 0.2
    *b234*b251 + 0.4*b234*b252 + 0.6*b234*b253 + 0.8*b234*b254 + 0.2*b234*b255
     + 0.4*b234*b256 + 0.6*b234*b257 + 0.8*b234*b258 + 0.2*b234*b259 + 0.4*b234
    *b260 + 0.6*b234*b261 + 0.25*b235*b242 + b235*b243 + 0.25*b235*b244 + 0.5*
    b235*b245 + 0.125*b235*b246 + 0.5*b235*b247 + 0.125*b235*b248 + 0.25*b235*
    b249 + 0.2*b235*b250 + 0.8*b235*b251 + 0.2*b235*b252 + 0.4*b235*b253 + 0.2*
    b235*b254 + 0.8*b235*b255 + 0.2*b235*b256 + 0.4*b235*b257 + 0.2*b235*b258
     + 0.8*b235*b259 + 0.2*b235*b260 + 0.4*b235*b261 + 0.5*b236*b242 + 0.25*
    b236*b243 + b236*b244 + 0.25*b236*b245 + 0.25*b236*b246 + 0.125*b236*b247
     + 0.5*b236*b248 + 0.125*b236*b249 + 0.4*b236*b250 + 0.2*b236*b251 + 0.8*
    b236*b252 + 0.2*b236*b253 + 0.4*b236*b254 + 0.2*b236*b255 + 0.8*b236*b256
     + 0.2*b236*b257 + 0.4*b236*b258 + 0.2*b236*b259 + 0.8*b236*b260 + 0.2*b236
    *b261 + 0.75*b237*b242 + 0.5*b237*b243 + 0.25*b237*b244 + b237*b245 + 0.375
    *b237*b246 + 0.25*b237*b247 + 0.125*b237*b248 + 0.5*b237*b249 + 0.6*b237*
    b250 + 0.4*b237*b251 + 0.2*b237*b252 + 0.8*b237*b253 + 0.6*b237*b254 + 0.4*
    b237*b255 + 0.2*b237*b256 + 0.8*b237*b257 + 0.6*b237*b258 + 0.4*b237*b259
     + 0.2*b237*b260 + 0.8*b237*b261 + b242*b246 + 0.25*b242*b247 + 0.5*b242*
    b248 + 0.75*b242*b249 + 0.8*b242*b254 + 0.2*b242*b255 + 0.4*b242*b256 + 0.6
    *b242*b257 + 0.8*b242*b258 + 0.2*b242*b259 + 0.4*b242*b260 + 0.6*b242*b261
     + 0.8*b242*b262 + 0.2*b242*b263 + 0.4*b242*b264 + 0.6*b242*b265 + 0.25*
    b243*b246 + b243*b247 + 0.25*b243*b248 + 0.5*b243*b249 + 0.2*b243*b254 + 
    0.8*b243*b255 + 0.2*b243*b256 + 0.4*b243*b257 + 0.2*b243*b258 + 0.8*b243*
    b259 + 0.2*b243*b260 + 0.4*b243*b261 + 0.2*b243*b262 + 0.8*b243*b263 + 0.2*
    b243*b264 + 0.4*b243*b265 + 0.5*b244*b246 + 0.25*b244*b247 + b244*b248 + 
    0.25*b244*b249 + 0.4*b244*b254 + 0.2*b244*b255 + 0.8*b244*b256 + 0.2*b244*
    b257 + 0.4*b244*b258 + 0.2*b244*b259 + 0.8*b244*b260 + 0.2*b244*b261 + 0.4*
    b244*b262 + 0.2*b244*b263 + 0.8*b244*b264 + 0.2*b244*b265 + 0.75*b245*b246
     + 0.5*b245*b247 + 0.25*b245*b248 + b245*b249 + 0.6*b245*b254 + 0.4*b245*
    b255 + 0.2*b245*b256 + 0.8*b245*b257 + 0.6*b245*b258 + 0.4*b245*b259 + 0.2*
    b245*b260 + 0.8*b245*b261 + 0.6*b245*b262 + 0.4*b245*b263 + 0.2*b245*b264
     + 0.8*b245*b265 + 0.8*b246*b258 + 0.2*b246*b259 + 0.4*b246*b260 + 0.6*b246
    *b261 + 0.8*b246*b262 + 0.2*b246*b263 + 0.4*b246*b264 + 0.6*b246*b265 + 0.2
    *b247*b258 + 0.8*b247*b259 + 0.2*b247*b260 + 0.4*b247*b261 + 0.2*b247*b262
     + 0.8*b247*b263 + 0.2*b247*b264 + 0.4*b247*b265 + 0.4*b248*b258 + 0.2*b248
    *b259 + 0.8*b248*b260 + 0.2*b248*b261 + 0.4*b248*b262 + 0.2*b248*b263 + 0.8
    *b248*b264 + 0.2*b248*b265 + 0.6*b249*b258 + 0.4*b249*b259 + 0.2*b249*b260
     + 0.8*b249*b261 + 0.6*b249*b262 + 0.4*b249*b263 + 0.2*b249*b264 + 0.8*b249
    *b265 + b250*b254 + 0.25*b250*b255 + 0.5*b250*b256 + 0.75*b250*b257 + 0.5*
    b250*b258 + 0.125*b250*b259 + 0.25*b250*b260 + 0.375*b250*b261 + 0.25*b251*
    b254 + b251*b255 + 0.25*b251*b256 + 0.5*b251*b257 + 0.125*b251*b258 + 0.5*
    b251*b259 + 0.125*b251*b260 + 0.25*b251*b261 + 0.5*b252*b254 + 0.25*b252*
    b255 + b252*b256 + 0.25*b252*b257 + 0.25*b252*b258 + 0.125*b252*b259 + 0.5*
    b252*b260 + 0.125*b252*b261 + 0.75*b253*b254 + 0.5*b253*b255 + 0.25*b253*
    b256 + b253*b257 + 0.375*b253*b258 + 0.25*b253*b259 + 0.125*b253*b260 + 0.5
    *b253*b261 + b254*b258 + 0.25*b254*b259 + 0.5*b254*b260 + 0.75*b254*b261 + 
    0.5*b254*b262 + 0.125*b254*b263 + 0.25*b254*b264 + 0.375*b254*b265 + 0.25*
    b255*b258 + b255*b259 + 0.25*b255*b260 + 0.5*b255*b261 + 0.125*b255*b262 + 
    0.5*b255*b263 + 0.125*b255*b264 + 0.25*b255*b265 + 0.5*b256*b258 + 0.25*
    b256*b259 + b256*b260 + 0.25*b256*b261 + 0.25*b256*b262 + 0.125*b256*b263
     + 0.5*b256*b264 + 0.125*b256*b265 + 0.75*b257*b258 + 0.5*b257*b259 + 0.25*
    b257*b260 + b257*b261 + 0.375*b257*b262 + 0.25*b257*b263 + 0.125*b257*b264
     + 0.5*b257*b265 + b258*b262 + 0.25*b258*b263 + 0.5*b258*b264 + 0.75*b258*
    b265 + 0.25*b259*b262 + b259*b263 + 0.25*b259*b264 + 0.5*b259*b265 + 0.5*
    b260*b262 + 0.25*b260*b263 + b260*b264 + 0.25*b260*b265 + 0.75*b261*b262 + 
    0.5*b261*b263 + 0.25*b261*b264 + b261*b265 + b266*b267 + 0.25*b266*b268 + 
    0.5*b266*b269 + 0.75*b266*b270 + 0.85*b266*b271 + 0.2125*b266*b272 + 0.425*
    b266*b273 + 0.6375*b266*b274 + b267*b271 + 0.25*b267*b272 + 0.5*b267*b273
     + 0.75*b267*b274 + 0.25*b267*b275 + 0.5*b267*b276 + 0.75*b267*b277 + 0.85*
    b267*b278 + 0.2125*b267*b279 + 0.425*b267*b280 + 0.6375*b267*b281 + 0.25*
    b268*b271 + b268*b272 + 0.25*b268*b273 + 0.5*b268*b274 + b268*b275 + 0.25*
    b268*b276 + 0.5*b268*b277 + 0.2125*b268*b278 + 0.85*b268*b279 + 0.2125*b268
    *b280 + 0.425*b268*b281 + 0.5*b269*b271 + 0.25*b269*b272 + b269*b273 + 0.25
    *b269*b274 + 0.25*b269*b275 + b269*b276 + 0.25*b269*b277 + 0.425*b269*b278
     + 0.2125*b269*b279 + 0.85*b269*b280 + 0.2125*b269*b281 + 0.75*b270*b271 + 
    0.5*b270*b272 + 0.25*b270*b273 + b270*b274 + 0.5*b270*b275 + 0.25*b270*b276
     + b270*b277 + 0.6375*b270*b278 + 0.425*b270*b279 + 0.2125*b270*b280 + 0.85
    *b270*b281 + 0.2125*b271*b275 + 0.425*b271*b276 + 0.6375*b271*b277 + b271*
    b278 + 0.25*b271*b279 + 0.5*b271*b280 + 0.75*b271*b281 + 0.85*b271*b282 + 
    0.2125*b271*b283 + 0.425*b271*b284 + 0.6375*b271*b285 + 0.85*b272*b275 + 
    0.2125*b272*b276 + 0.425*b272*b277 + 0.25*b272*b278 + b272*b279 + 0.25*b272
    *b280 + 0.5*b272*b281 + 0.2125*b272*b282 + 0.85*b272*b283 + 0.2125*b272*
    b284 + 0.425*b272*b285 + 0.2125*b273*b275 + 0.85*b273*b276 + 0.2125*b273*
    b277 + 0.5*b273*b278 + 0.25*b273*b279 + b273*b280 + 0.25*b273*b281 + 0.425*
    b273*b282 + 0.2125*b273*b283 + 0.85*b273*b284 + 0.2125*b273*b285 + 0.425*
    b274*b275 + 0.2125*b274*b276 + 0.85*b274*b277 + 0.75*b274*b278 + 0.5*b274*
    b279 + 0.25*b274*b280 + b274*b281 + 0.6375*b274*b282 + 0.425*b274*b283 + 
    0.2125*b274*b284 + 0.85*b274*b285 + b278*b282 + 0.25*b278*b283 + 0.5*b278*
    b284 + 0.75*b278*b285 + 0.85*b278*b286 + 0.2125*b278*b287 + 0.425*b278*b288
     + 0.6375*b278*b289 + 0.25*b279*b282 + b279*b283 + 0.25*b279*b284 + 0.5*
    b279*b285 + 0.2125*b279*b286 + 0.85*b279*b287 + 0.2125*b279*b288 + 0.425*
    b279*b289 + 0.5*b280*b282 + 0.25*b280*b283 + b280*b284 + 0.25*b280*b285 + 
    0.425*b280*b286 + 0.2125*b280*b287 + 0.85*b280*b288 + 0.2125*b280*b289 + 
    0.75*b281*b282 + 0.5*b281*b283 + 0.25*b281*b284 + b281*b285 + 0.6375*b281*
    b286 + 0.425*b281*b287 + 0.2125*b281*b288 + 0.85*b281*b289 + b282*b286 + 
    0.25*b282*b287 + 0.5*b282*b288 + 0.75*b282*b289 + 0.85*b282*b290 + 0.2125*
    b282*b291 + 0.425*b282*b292 + 0.6375*b282*b293 + 0.25*b283*b286 + b283*b287
     + 0.25*b283*b288 + 0.5*b283*b289 + 0.2125*b283*b290 + 0.85*b283*b291 + 
    0.2125*b283*b292 + 0.425*b283*b293 + 0.5*b284*b286 + 0.25*b284*b287 + b284*
    b288 + 0.25*b284*b289 + 0.425*b284*b290 + 0.2125*b284*b291 + 0.85*b284*b292
     + 0.2125*b284*b293 + 0.75*b285*b286 + 0.5*b285*b287 + 0.25*b285*b288 + 
    b285*b289 + 0.6375*b285*b290 + 0.425*b285*b291 + 0.2125*b285*b292 + 0.85*
    b285*b293 + b286*b290 + 0.25*b286*b291 + 0.5*b286*b292 + 0.75*b286*b293 + 
    0.85*b286*b294 + 0.2125*b286*b295 + 0.425*b286*b296 + 0.6375*b286*b297 + 
    0.25*b287*b290 + b287*b291 + 0.25*b287*b292 + 0.5*b287*b293 + 0.2125*b287*
    b294 + 0.85*b287*b295 + 0.2125*b287*b296 + 0.425*b287*b297 + 0.5*b288*b290
     + 0.25*b288*b291 + b288*b292 + 0.25*b288*b293 + 0.425*b288*b294 + 0.2125*
    b288*b295 + 0.85*b288*b296 + 0.2125*b288*b297 + 0.75*b289*b290 + 0.5*b289*
    b291 + 0.25*b289*b292 + b289*b293 + 0.6375*b289*b294 + 0.425*b289*b295 + 
    0.2125*b289*b296 + 0.85*b289*b297 + b290*b294 + 0.25*b290*b295 + 0.5*b290*
    b296 + 0.75*b290*b297 + 0.85*b290*b298 + 0.2125*b290*b299 + 0.425*b290*b300
     + 0.6375*b290*b301 + 0.25*b291*b294 + b291*b295 + 0.25*b291*b296 + 0.5*
    b291*b297 + 0.2125*b291*b298 + 0.85*b291*b299 + 0.2125*b291*b300 + 0.425*
    b291*b301 + 0.5*b292*b294 + 0.25*b292*b295 + b292*b296 + 0.25*b292*b297 + 
    0.425*b292*b298 + 0.2125*b292*b299 + 0.85*b292*b300 + 0.2125*b292*b301 + 
    0.75*b293*b294 + 0.5*b293*b295 + 0.25*b293*b296 + b293*b297 + 0.6375*b293*
    b298 + 0.425*b293*b299 + 0.2125*b293*b300 + 0.85*b293*b301 + b294*b298 + 
    0.25*b294*b299 + 0.5*b294*b300 + 0.75*b294*b301 + 0.85*b294*b302 + 0.2125*
    b294*b303 + 0.425*b294*b304 + 0.6375*b294*b305 + 0.25*b295*b298 + b295*b299
     + 0.25*b295*b300 + 0.5*b295*b301 + 0.2125*b295*b302 + 0.85*b295*b303 + 
    0.2125*b295*b304 + 0.425*b295*b305 + 0.5*b296*b298 + 0.25*b296*b299 + b296*
    b300 + 0.25*b296*b301 + 0.425*b296*b302 + 0.2125*b296*b303 + 0.85*b296*b304
     + 0.2125*b296*b305 + 0.75*b297*b298 + 0.5*b297*b299 + 0.25*b297*b300 + 
    b297*b301 + 0.6375*b297*b302 + 0.425*b297*b303 + 0.2125*b297*b304 + 0.85*
    b297*b305 + b298*b302 + 0.25*b298*b303 + 0.5*b298*b304 + 0.75*b298*b305 + 
    0.85*b298*b306 + 0.2125*b298*b307 + 0.425*b298*b308 + 0.6375*b298*b309 + 
    0.25*b299*b302 + b299*b303 + 0.25*b299*b304 + 0.5*b299*b305 + 0.2125*b299*
    b306 + 0.85*b299*b307 + 0.2125*b299*b308 + 0.425*b299*b309 + 0.5*b300*b302
     + 0.25*b300*b303 + b300*b304 + 0.25*b300*b305 + 0.425*b300*b306 + 0.2125*
    b300*b307 + 0.85*b300*b308 + 0.2125*b300*b309 + 0.75*b301*b302 + 0.5*b301*
    b303 + 0.25*b301*b304 + b301*b305 + 0.6375*b301*b306 + 0.425*b301*b307 + 
    0.2125*b301*b308 + 0.85*b301*b309 + b302*b306 + 0.25*b302*b307 + 0.5*b302*
    b308 + 0.75*b302*b309 + 0.85*b302*b310 + 0.2125*b302*b311 + 0.425*b302*b312
     + 0.6375*b302*b313 + 0.25*b303*b306 + b303*b307 + 0.25*b303*b308 + 0.5*
    b303*b309 + 0.2125*b303*b310 + 0.85*b303*b311 + 0.2125*b303*b312 + 0.425*
    b303*b313 + 0.5*b304*b306 + 0.25*b304*b307 + b304*b308 + 0.25*b304*b309 + 
    0.425*b304*b310 + 0.2125*b304*b311 + 0.85*b304*b312 + 0.2125*b304*b313 + 
    0.75*b305*b306 + 0.5*b305*b307 + 0.25*b305*b308 + b305*b309 + 0.6375*b305*
    b310 + 0.425*b305*b311 + 0.2125*b305*b312 + 0.85*b305*b313 + b306*b310 + 
    0.25*b306*b311 + 0.5*b306*b312 + 0.75*b306*b313 + 0.85*b306*b314 + 0.2125*
    b306*b315 + 0.425*b306*b316 + 0.6375*b306*b317 + 0.25*b307*b310 + b307*b311
     + 0.25*b307*b312 + 0.5*b307*b313 + 0.2125*b307*b314 + 0.85*b307*b315 + 
    0.2125*b307*b316 + 0.425*b307*b317 + 0.5*b308*b310 + 0.25*b308*b311 + b308*
    b312 + 0.25*b308*b313 + 0.425*b308*b314 + 0.2125*b308*b315 + 0.85*b308*b316
     + 0.2125*b308*b317 + 0.75*b309*b310 + 0.5*b309*b311 + 0.25*b309*b312 + 
    b309*b313 + 0.6375*b309*b314 + 0.425*b309*b315 + 0.2125*b309*b316 + 0.85*
    b309*b317 + b310*b314 + 0.25*b310*b315 + 0.5*b310*b316 + 0.75*b310*b317 + 
    0.25*b311*b314 + b311*b315 + 0.25*b311*b316 + 0.5*b311*b317 + 0.5*b312*b314
     + 0.25*b312*b315 + b312*b316 + 0.25*b312*b317 + 0.75*b313*b314 + 0.5*b313*
    b315 + 0.25*b313*b316 + b313*b317;

subject to

e2:    b2 + b23 + b24 + b25 + b318 = 1;

e3:    b3 + b4 + b5 + b6 + b319 = 1;

e4:    b7 + b8 + b9 + b10 + b320 = 1;

e5:    b26 + b27 + b28 + b29 + b321 = 1;

e6:    b11 + b12 + b13 + b14 + b322 = 1;

e7:    b15 + b16 + b17 + b18 + b323 = 1;

e8:    b30 + b31 + b32 + b33 + b324 = 1;

e9:    b34 + b35 + b36 + b37 + b325 = 1;

e10:    b38 + b39 + b40 + b41 + b326 = 1;

e11:    b42 + b43 + b44 + b45 + b327 = 1;

e12:    b74 + b75 + b76 + b77 + b328 = 1;

e13:    b50 + b51 + b52 + b53 + b329 = 1;

e14:    b78 + b79 + b80 + b81 + b330 = 1;

e15:    b82 + b83 + b84 + b85 + b331 = 1;

e16:    b90 + b91 + b92 + b93 + b332 = 1;

e17:    b102 + b103 + b104 + b105 + b333 = 1;

e18:    b138 + b139 + b140 + b141 + b334 = 1;

e19:    b126 + b127 + b128 + b129 + b335 = 1;

e20:    b154 + b155 + b156 + b157 + b336 = 1;

e21:    b158 + b159 + b160 + b161 + b337 = 1;

e22:    b214 + b215 + b216 + b217 + b338 = 1;

e23:    b174 + b175 + b176 + b177 + b339 = 1;

e24:    b190 + b191 + b192 + b193 + b340 = 1;

e25:    b186 + b187 + b188 + b189 + b341 = 1;

e26:    b198 + b199 + b200 + b201 + b342 = 1;

e27:    b178 + b179 + b180 + b181 + b343 = 1;

e28:    b226 + b227 + b228 + b229 + b344 = 1;

e29:    b218 + b219 + b220 + b221 + b345 = 1;

e30:    b222 + b223 + b224 + b225 + b346 = 1;

e31:    b238 + b239 + b240 + b241 + b347 = 1;

e32:    b266 + b275 + b276 + b277 + b348 = 1;

e33:    b267 + b268 + b269 + b270 + b349 = 1;

e34:    b271 + b272 + b273 + b274 + b350 = 1;

e35:    b278 + b279 + b280 + b281 + b351 = 1;

e36:    b282 + b283 + b284 + b285 + b352 = 1;

e37:    b286 + b287 + b288 + b289 + b353 = 1;

e38:    b290 + b291 + b292 + b293 + b354 = 1;

e39:    b294 + b295 + b296 + b297 + b355 = 1;

e40:    b298 + b299 + b300 + b301 + b356 = 1;

e41:    b302 + b303 + b304 + b305 + b357 = 1;

e42:    b306 + b307 + b308 + b309 + b358 = 1;

e43:    b310 + b311 + b312 + b313 + b359 = 1;

e44:    b314 + b315 + b316 + b317 + b360 = 1;

e45:    b106 + b111 + b112 + b113 + b361 = 1;

e46:    b107 + b108 + b109 + b110 + b362 = 1;

e47:    b54 + b55 + b56 + b57 + b363 = 1;

e48:    b62 + b63 + b64 + b65 + b364 = 1;

e49:    b114 + b115 + b116 + b117 + b365 = 1;

e50:    b58 + b59 + b60 + b61 + b366 = 1;

e51:    b66 + b67 + b68 + b69 + b367 = 1;

e52:    b19 + b20 + b21 + b22 + b368 = 1;

e53:    b118 + b119 + b120 + b121 + b369 = 1;

e54:    b94 + b95 + b96 + b97 + b370 = 1;

e55:    b70 + b71 + b72 + b73 + b371 = 1;

e56:    b46 + b47 + b48 + b49 + b372 = 1;

e57:    b142 + b143 + b144 + b145 + b373 = 1;

e58:    b122 + b123 + b124 + b125 + b374 = 1;

e59:    b98 + b99 + b100 + b101 + b375 = 1;

e60:    b86 + b87 + b88 + b89 + b376 = 1;

e61:    b150 + b151 + b152 + b153 + b377 = 1;

e62:    b146 + b147 + b148 + b149 + b378 = 1;

e63:    b134 + b135 + b136 + b137 + b379 = 1;

e64:    b130 + b131 + b132 + b133 + b380 = 1;

e65:    b182 + b183 + b184 + b185 + b381 = 1;

e66:    b170 + b171 + b172 + b173 + b382 = 1;

e67:    b166 + b167 + b168 + b169 + b383 = 1;

e68:    b162 + b163 + b164 + b165 + b384 = 1;

e69:    b210 + b211 + b212 + b213 + b385 = 1;

e70:    b206 + b207 + b208 + b209 + b386 = 1;

e71:    b202 + b203 + b204 + b205 + b387 = 1;

e72:    b194 + b195 + b196 + b197 + b388 = 1;

e73:    b246 + b247 + b248 + b249 + b389 = 1;

e74:    b242 + b243 + b244 + b245 + b390 = 1;

e75:    b234 + b235 + b236 + b237 + b391 = 1;

e76:    b230 + b231 + b232 + b233 + b392 = 1;

e77:    b262 + b263 + b264 + b265 + b393 = 1;

e78:    b258 + b259 + b260 + b261 + b394 = 1;

e79:    b254 + b255 + b256 + b257 + b395 = 1;

e80:    b250 + b251 + b252 + b253 + b396 = 1;

e81:    b318 + b319 + b320 + b321 + b322 + b323 + b324 + b325 + b326 + b327
      + b328 + b329 + b330 + b331 + b332 + b333 + b334 + b335 + b336 + b337
      + b338 + b339 + b340 + b341 + b342 + b343 + b344 + b345 + b346 + b347
      + b348 + b349 + b350 + b351 + b352 + b353 + b354 + b355 + b356 + b357
      + b358 + b359 + b360 + b361 + b362 + b363 + b364 + b365 + b366 + b367
      + b368 + b369 + b370 + b371 + b372 + b373 + b374 + b375 + b376 + b377
      + b378 + b379 + b380 + b381 + b382 + b383 + b384 + b385 + b386 + b387
      + b388 + b389 + b390 + b391 + b392 + b393 + b394 + b395 + b396 = 0;