## ams_version=1.0 Model Main_color_lab3_4x0 { Variable objvar; Variable b2 { Range: binary; } Variable b3 { Range: binary; } Variable b4 { Range: binary; } Variable b5 { Range: binary; } Variable b6 { Range: binary; } Variable b7 { Range: binary; } Variable b8 { Range: binary; } Variable b9 { Range: binary; } Variable b10 { Range: binary; } Variable b11 { Range: binary; } Variable b12 { Range: binary; } Variable b13 { Range: binary; } Variable b14 { Range: binary; } Variable b15 { Range: binary; } Variable b16 { Range: binary; } Variable b17 { Range: binary; } Variable b18 { Range: binary; } Variable b19 { Range: binary; } Variable b20 { Range: binary; } Variable b21 { Range: binary; } Variable b22 { Range: binary; } Variable b23 { Range: binary; } Variable b24 { Range: binary; } Variable b25 { Range: binary; } Variable b26 { Range: binary; } Variable b27 { Range: binary; } Variable b28 { Range: binary; } Variable b29 { Range: binary; } Variable b30 { Range: binary; } Variable b31 { Range: binary; } Variable b32 { Range: binary; } Variable b33 { Range: binary; } Variable b34 { Range: binary; } Variable b35 { Range: binary; } Variable b36 { Range: binary; } Variable b37 { Range: binary; } Variable b38 { Range: binary; } Variable b39 { Range: binary; } Variable b40 { Range: binary; } Variable b41 { Range: binary; } Variable b42 { Range: binary; } Variable b43 { Range: binary; } Variable b44 { Range: binary; } Variable b45 { Range: binary; } Variable b46 { Range: binary; } Variable b47 { Range: binary; } Variable b48 { Range: binary; } Variable b49 { Range: binary; } Variable b50 { Range: binary; } Variable b51 { Range: binary; } Variable b52 { Range: binary; } Variable b53 { Range: binary; } Variable b54 { Range: binary; } Variable b55 { Range: binary; } Variable b56 { Range: binary; } Variable b57 { Range: binary; } Variable b58 { Range: binary; } Variable b59 { Range: binary; } Variable b60 { Range: binary; } Variable b61 { Range: binary; } Variable b62 { Range: binary; } Variable b63 { Range: binary; } Variable b64 { Range: binary; } Variable b65 { Range: binary; } Variable b66 { Range: binary; } Variable b67 { Range: binary; } Variable b68 { Range: binary; } Variable b69 { Range: binary; } Variable b70 { Range: binary; } Variable b71 { Range: binary; } Variable b72 { Range: binary; } Variable b73 { Range: binary; } Variable b74 { Range: binary; } Variable b75 { Range: binary; } Variable b76 { Range: binary; } Variable b77 { Range: binary; } Variable b78 { Range: binary; } Variable b79 { Range: binary; } Variable b80 { Range: binary; } Variable b81 { Range: binary; } Variable b82 { Range: binary; } Variable b83 { Range: binary; } Variable b84 { Range: binary; } Variable b85 { Range: binary; } Variable b86 { Range: binary; } Variable b87 { Range: binary; } Variable b88 { Range: binary; } Variable b89 { Range: binary; } Variable b90 { Range: binary; } Variable b91 { Range: binary; } Variable b92 { Range: binary; } Variable b93 { Range: binary; } Variable b94 { Range: binary; } Variable b95 { Range: binary; } Variable b96 { Range: binary; } Variable b97 { Range: binary; } Variable b98 { Range: binary; } Variable b99 { Range: binary; } Variable b100 { Range: binary; } Variable b101 { Range: binary; } Variable b102 { Range: binary; } Variable b103 { Range: binary; } Variable b104 { Range: binary; } Variable b105 { Range: binary; } Variable b106 { Range: binary; } Variable b107 { Range: binary; } Variable b108 { Range: binary; } Variable b109 { Range: binary; } Variable b110 { Range: binary; } Variable b111 { Range: binary; } Variable b112 { Range: binary; } Variable b113 { Range: binary; } Variable b114 { Range: binary; } Variable b115 { Range: binary; } Variable b116 { Range: binary; } Variable b117 { Range: binary; } Variable b118 { Range: binary; } Variable b119 { Range: binary; } Variable b120 { Range: binary; } Variable b121 { Range: binary; } Variable b122 { Range: binary; } Variable b123 { Range: binary; } Variable b124 { Range: binary; } Variable b125 { Range: binary; } Variable b126 { Range: binary; } Variable b127 { Range: binary; } Variable b128 { Range: binary; } Variable b129 { Range: binary; } Variable b130 { Range: binary; } Variable b131 { Range: binary; } Variable b132 { Range: binary; } Variable b133 { Range: binary; } Variable b134 { Range: binary; } Variable b135 { Range: binary; } Variable b136 { Range: binary; } Variable b137 { Range: binary; } Variable b138 { Range: binary; } Variable b139 { Range: binary; } Variable b140 { Range: binary; } Variable b141 { Range: binary; } Variable b142 { Range: binary; } Variable b143 { Range: binary; } Variable b144 { Range: binary; } Variable b145 { Range: binary; } Variable b146 { Range: binary; } Variable b147 { Range: binary; } Variable b148 { Range: binary; } Variable b149 { Range: binary; } Variable b150 { Range: binary; } Variable b151 { Range: binary; } Variable b152 { Range: binary; } Variable b153 { Range: binary; } Variable b154 { Range: binary; } Variable b155 { Range: binary; } Variable b156 { Range: binary; } Variable b157 { Range: binary; } Variable b158 { Range: binary; } Variable b159 { Range: binary; } Variable b160 { Range: binary; } Variable b161 { Range: binary; } Variable b162 { Range: binary; } Variable b163 { Range: binary; } Variable b164 { Range: binary; } Variable b165 { Range: binary; } Variable b166 { Range: binary; } Variable b167 { Range: binary; } Variable b168 { Range: binary; } Variable b169 { Range: binary; } Variable b170 { Range: binary; } Variable b171 { Range: binary; } Variable b172 { Range: binary; } Variable b173 { Range: binary; } Variable b174 { Range: binary; } Variable b175 { Range: binary; } Variable b176 { Range: binary; } Variable b177 { Range: binary; } Variable b178 { Range: binary; } Variable b179 { Range: binary; } Variable b180 { Range: binary; } Variable b181 { Range: binary; } Variable b182 { Range: binary; } Variable b183 { Range: binary; } Variable b184 { Range: binary; } Variable b185 { Range: binary; } Variable b186 { Range: binary; } Variable b187 { Range: binary; } Variable b188 { Range: binary; } Variable b189 { Range: binary; } Variable b190 { Range: binary; } Variable b191 { Range: binary; } Variable b192 { Range: binary; } Variable b193 { Range: binary; } Variable b194 { Range: binary; } Variable b195 { Range: binary; } Variable b196 { Range: binary; } Variable b197 { Range: binary; } Variable b198 { Range: binary; } Variable b199 { Range: binary; } Variable b200 { Range: binary; } Variable b201 { Range: binary; } Variable b202 { Range: binary; } Variable b203 { Range: binary; } Variable b204 { Range: binary; } Variable b205 { Range: binary; } Variable b206 { Range: binary; } Variable b207 { Range: binary; } Variable b208 { Range: binary; } Variable b209 { Range: binary; } Variable b210 { Range: binary; } Variable b211 { Range: binary; } Variable b212 { Range: binary; } Variable b213 { Range: binary; } Variable b214 { Range: binary; } Variable b215 { Range: binary; } Variable b216 { Range: binary; } Variable b217 { Range: binary; } Variable b218 { Range: binary; } Variable b219 { Range: binary; } Variable b220 { Range: binary; } Variable b221 { Range: binary; } Variable b222 { Range: binary; } Variable b223 { Range: binary; } Variable b224 { Range: binary; } Variable b225 { Range: binary; } Variable b226 { Range: binary; } Variable b227 { Range: binary; } Variable b228 { Range: binary; } Variable b229 { Range: binary; } Variable b230 { Range: binary; } Variable b231 { Range: binary; } Variable b232 { Range: binary; } Variable b233 { Range: binary; } Variable b234 { Range: binary; } Variable b235 { Range: binary; } Variable b236 { Range: binary; } Variable b237 { Range: binary; } Variable b238 { Range: binary; } Variable b239 { Range: binary; } Variable b240 { Range: binary; } Variable b241 { Range: binary; } Variable b242 { Range: binary; } Variable b243 { Range: binary; } Variable b244 { Range: binary; } Variable b245 { Range: binary; } Variable b246 { Range: binary; } Variable b247 { Range: binary; } Variable b248 { Range: binary; } Variable b249 { Range: binary; } Variable b250 { Range: binary; } Variable b251 { Range: binary; } Variable b252 { Range: binary; } Variable b253 { Range: binary; } Variable b254 { Range: binary; } Variable b255 { Range: binary; } Variable b256 { Range: binary; } Variable b257 { Range: binary; } Variable b258 { Range: binary; } Variable b259 { Range: binary; } Variable b260 { Range: binary; } Variable b261 { Range: binary; } Variable b262 { Range: binary; } Variable b263 { Range: binary; } Variable b264 { Range: binary; } Variable b265 { Range: binary; } Variable b266 { Range: binary; } Variable b267 { Range: binary; } Variable b268 { Range: binary; } Variable b269 { Range: binary; } Variable b270 { Range: binary; } Variable b271 { Range: binary; } Variable b272 { Range: binary; } Variable b273 { Range: binary; } Variable b274 { Range: binary; } Variable b275 { Range: binary; } Variable b276 { Range: binary; } Variable b277 { Range: binary; } Variable b278 { Range: binary; } Variable b279 { Range: binary; } Variable b280 { Range: binary; } Variable b281 { Range: binary; } Variable b282 { Range: binary; } Variable b283 { Range: binary; } Variable b284 { Range: binary; } Variable b285 { Range: binary; } Variable b286 { Range: binary; } Variable b287 { Range: binary; } Variable b288 { Range: binary; } Variable b289 { Range: binary; } Variable b290 { Range: binary; } Variable b291 { Range: binary; } Variable b292 { Range: binary; } Variable b293 { Range: binary; } Variable b294 { Range: binary; } Variable b295 { Range: binary; } Variable b296 { Range: binary; } Variable b297 { Range: binary; } Variable b298 { Range: binary; } Variable b299 { Range: binary; } Variable b300 { Range: binary; } Variable b301 { Range: binary; } Variable b302 { Range: binary; } Variable b303 { Range: binary; } Variable b304 { Range: binary; } Variable b305 { Range: binary; } Variable b306 { Range: binary; } Variable b307 { Range: binary; } Variable b308 { Range: binary; } Variable b309 { Range: binary; } Variable b310 { Range: binary; } Variable b311 { Range: binary; } Variable b312 { Range: binary; } Variable b313 { Range: binary; } Variable b314 { Range: binary; } Variable b315 { Range: binary; } Variable b316 { Range: binary; } Variable b317 { Range: binary; } Variable b318 { Range: binary; } Variable b319 { Range: binary; } Variable b320 { Range: binary; } Variable b321 { Range: binary; } Variable b322 { Range: binary; } Variable b323 { Range: binary; } Variable b324 { Range: binary; } Variable b325 { Range: binary; } Variable b326 { Range: binary; } Variable b327 { Range: binary; } Variable b328 { Range: binary; } Variable b329 { Range: binary; } Variable b330 { Range: binary; } Variable b331 { Range: binary; } Variable b332 { Range: binary; } Variable b333 { Range: binary; } Variable b334 { Range: binary; } Variable b335 { Range: binary; } Variable b336 { Range: binary; } Variable b337 { Range: binary; } Variable b338 { Range: binary; } Variable b339 { Range: binary; } Variable b340 { Range: binary; } Variable b341 { Range: binary; } Variable b342 { Range: binary; } Variable b343 { Range: binary; } Variable b344 { Range: binary; } Variable b345 { Range: binary; } Variable b346 { Range: binary; } Variable b347 { Range: binary; } Variable b348 { Range: binary; } Variable b349 { Range: binary; } Variable b350 { Range: binary; } Variable b351 { Range: binary; } Variable b352 { Range: binary; } Variable b353 { Range: binary; } Variable b354 { Range: binary; } Variable b355 { Range: binary; } Variable b356 { Range: binary; } Variable b357 { Range: binary; } Variable b358 { Range: binary; } Variable b359 { Range: binary; } Variable b360 { Range: binary; } Variable b361 { Range: binary; } Variable b362 { Range: binary; } Variable b363 { Range: binary; } Variable b364 { Range: binary; } Variable b365 { Range: binary; } Variable b366 { Range: binary; } Variable b367 { Range: binary; } Variable b368 { Range: binary; } Variable b369 { Range: binary; } Variable b370 { Range: binary; } Variable b371 { Range: binary; } Variable b372 { Range: binary; } Variable b373 { Range: binary; } Variable b374 { Range: binary; } Variable b375 { Range: binary; } Variable b376 { Range: binary; } Variable b377 { Range: binary; } Variable b378 { Range: binary; } Variable b379 { Range: binary; } Variable b380 { Range: binary; } Variable b381 { Range: binary; } Variable b382 { Range: binary; } Variable b383 { Range: binary; } Variable b384 { Range: binary; } Variable b385 { Range: binary; } Variable b386 { Range: binary; } Variable b387 { Range: binary; } Variable b388 { Range: binary; } Variable b389 { Range: binary; } Variable b390 { Range: binary; } Variable b391 { Range: binary; } Variable b392 { Range: binary; } Variable b393 { Range: binary; } Variable b394 { Range: binary; } Variable b395 { Range: binary; } Variable b396 { Range: binary; } Constraint e1 { Definition: { 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 - objvar = 0 } } Constraint e2 { Definition: b2 + b23 + b24 + b25 + b318 = 1; } Constraint e3 { Definition: b3 + b4 + b5 + b6 + b319 = 1; } Constraint e4 { Definition: b7 + b8 + b9 + b10 + b320 = 1; } Constraint e5 { Definition: b26 + b27 + b28 + b29 + b321 = 1; } Constraint e6 { Definition: b11 + b12 + b13 + b14 + b322 = 1; } Constraint e7 { Definition: b15 + b16 + b17 + b18 + b323 = 1; } Constraint e8 { Definition: b30 + b31 + b32 + b33 + b324 = 1; } Constraint e9 { Definition: b34 + b35 + b36 + b37 + b325 = 1; } Constraint e10 { Definition: b38 + b39 + b40 + b41 + b326 = 1; } Constraint e11 { Definition: b42 + b43 + b44 + b45 + b327 = 1; } Constraint e12 { Definition: b74 + b75 + b76 + b77 + b328 = 1; } Constraint e13 { Definition: b50 + b51 + b52 + b53 + b329 = 1; } Constraint e14 { Definition: b78 + b79 + b80 + b81 + b330 = 1; } Constraint e15 { Definition: b82 + b83 + b84 + b85 + b331 = 1; } Constraint e16 { Definition: b90 + b91 + b92 + b93 + b332 = 1; } Constraint e17 { Definition: b102 + b103 + b104 + b105 + b333 = 1; } Constraint e18 { Definition: b138 + b139 + b140 + b141 + b334 = 1; } Constraint e19 { Definition: b126 + b127 + b128 + b129 + b335 = 1; } Constraint e20 { Definition: b154 + b155 + b156 + b157 + b336 = 1; } Constraint e21 { Definition: b158 + b159 + b160 + b161 + b337 = 1; } Constraint e22 { Definition: b214 + b215 + b216 + b217 + b338 = 1; } Constraint e23 { Definition: b174 + b175 + b176 + b177 + b339 = 1; } Constraint e24 { Definition: b190 + b191 + b192 + b193 + b340 = 1; } Constraint e25 { Definition: b186 + b187 + b188 + b189 + b341 = 1; } Constraint e26 { Definition: b198 + b199 + b200 + b201 + b342 = 1; } Constraint e27 { Definition: b178 + b179 + b180 + b181 + b343 = 1; } Constraint e28 { Definition: b226 + b227 + b228 + b229 + b344 = 1; } Constraint e29 { Definition: b218 + b219 + b220 + b221 + b345 = 1; } Constraint e30 { Definition: b222 + b223 + b224 + b225 + b346 = 1; } Constraint e31 { Definition: b238 + b239 + b240 + b241 + b347 = 1; } Constraint e32 { Definition: b266 + b275 + b276 + b277 + b348 = 1; } Constraint e33 { Definition: b267 + b268 + b269 + b270 + b349 = 1; } Constraint e34 { Definition: b271 + b272 + b273 + b274 + b350 = 1; } Constraint e35 { Definition: b278 + b279 + b280 + b281 + b351 = 1; } Constraint e36 { Definition: b282 + b283 + b284 + b285 + b352 = 1; } Constraint e37 { Definition: b286 + b287 + b288 + b289 + b353 = 1; } Constraint e38 { Definition: b290 + b291 + b292 + b293 + b354 = 1; } Constraint e39 { Definition: b294 + b295 + b296 + b297 + b355 = 1; } Constraint e40 { Definition: b298 + b299 + b300 + b301 + b356 = 1; } Constraint e41 { Definition: b302 + b303 + b304 + b305 + b357 = 1; } Constraint e42 { Definition: b306 + b307 + b308 + b309 + b358 = 1; } Constraint e43 { Definition: b310 + b311 + b312 + b313 + b359 = 1; } Constraint e44 { Definition: b314 + b315 + b316 + b317 + b360 = 1; } Constraint e45 { Definition: b106 + b111 + b112 + b113 + b361 = 1; } Constraint e46 { Definition: b107 + b108 + b109 + b110 + b362 = 1; } Constraint e47 { Definition: b54 + b55 + b56 + b57 + b363 = 1; } Constraint e48 { Definition: b62 + b63 + b64 + b65 + b364 = 1; } Constraint e49 { Definition: b114 + b115 + b116 + b117 + b365 = 1; } Constraint e50 { Definition: b58 + b59 + b60 + b61 + b366 = 1; } Constraint e51 { Definition: b66 + b67 + b68 + b69 + b367 = 1; } Constraint e52 { Definition: b19 + b20 + b21 + b22 + b368 = 1; } Constraint e53 { Definition: b118 + b119 + b120 + b121 + b369 = 1; } Constraint e54 { Definition: b94 + b95 + b96 + b97 + b370 = 1; } Constraint e55 { Definition: b70 + b71 + b72 + b73 + b371 = 1; } Constraint e56 { Definition: b46 + b47 + b48 + b49 + b372 = 1; } Constraint e57 { Definition: b142 + b143 + b144 + b145 + b373 = 1; } Constraint e58 { Definition: b122 + b123 + b124 + b125 + b374 = 1; } Constraint e59 { Definition: b98 + b99 + b100 + b101 + b375 = 1; } Constraint e60 { Definition: b86 + b87 + b88 + b89 + b376 = 1; } Constraint e61 { Definition: b150 + b151 + b152 + b153 + b377 = 1; } Constraint e62 { Definition: b146 + b147 + b148 + b149 + b378 = 1; } Constraint e63 { Definition: b134 + b135 + b136 + b137 + b379 = 1; } Constraint e64 { Definition: b130 + b131 + b132 + b133 + b380 = 1; } Constraint e65 { Definition: b182 + b183 + b184 + b185 + b381 = 1; } Constraint e66 { Definition: b170 + b171 + b172 + b173 + b382 = 1; } Constraint e67 { Definition: b166 + b167 + b168 + b169 + b383 = 1; } Constraint e68 { Definition: b162 + b163 + b164 + b165 + b384 = 1; } Constraint e69 { Definition: b210 + b211 + b212 + b213 + b385 = 1; } Constraint e70 { Definition: b206 + b207 + b208 + b209 + b386 = 1; } Constraint e71 { Definition: b202 + b203 + b204 + b205 + b387 = 1; } Constraint e72 { Definition: b194 + b195 + b196 + b197 + b388 = 1; } Constraint e73 { Definition: b246 + b247 + b248 + b249 + b389 = 1; } Constraint e74 { Definition: b242 + b243 + b244 + b245 + b390 = 1; } Constraint e75 { Definition: b234 + b235 + b236 + b237 + b391 = 1; } Constraint e76 { Definition: b230 + b231 + b232 + b233 + b392 = 1; } Constraint e77 { Definition: b262 + b263 + b264 + b265 + b393 = 1; } Constraint e78 { Definition: b258 + b259 + b260 + b261 + b394 = 1; } Constraint e79 { Definition: b254 + b255 + b256 + b257 + b395 = 1; } Constraint e80 { Definition: b250 + b251 + b252 + b253 + b396 = 1; } Constraint e81 { Definition: { 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 } } Procedure MainInitialization; MathematicalProgram color_lab3_4x0 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve color_lab3_4x0; } } Procedure MainTermination { Body: { return 1; } } }