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