## ams_version=1.0 Model Main_pedigree_sp_top4_300 { Variable objvar; Variable b2 { Range: binary; } Variable b3 { Range: binary; } Variable b4 { Range: binary; } Variable b5 { Range: binary; } Variable b6 { Range: binary; } Variable b7 { Range: binary; } Variable b8 { Range: binary; } Variable b9 { Range: binary; } Variable b10 { Range: binary; } Variable b11 { Range: binary; } Variable b12 { Range: binary; } Variable b13 { Range: binary; } Variable b14 { Range: binary; } Variable b15 { Range: binary; } Variable b16 { Range: binary; } Variable b17 { Range: binary; } Variable b18 { Range: binary; } Variable b19 { Range: binary; } Variable b20 { Range: binary; } Variable b21 { Range: binary; } Variable b22 { Range: binary; } Variable b23 { Range: binary; } Variable b24 { Range: binary; } Variable b25 { Range: binary; } Variable b26 { Range: binary; } Variable b27 { Range: binary; } Variable b28 { Range: binary; } Variable b29 { Range: binary; } Variable b30 { Range: binary; } Variable b31 { Range: binary; } Variable b32 { Range: binary; } Variable b33 { Range: binary; } Variable b34 { Range: binary; } Variable b35 { Range: binary; } Variable b36 { Range: binary; } Variable b37 { Range: binary; } Variable b38 { Range: binary; } Variable b39 { Range: binary; } Variable b40 { Range: binary; } Variable b41 { Range: binary; } Variable b42 { Range: binary; } Variable b43 { Range: binary; } Variable b44 { Range: binary; } Variable b45 { Range: binary; } Variable b46 { Range: binary; } Variable b47 { Range: binary; } Variable b48 { Range: binary; } Variable b49 { Range: binary; } Variable b50 { Range: binary; } Variable b51 { Range: binary; } Variable b52 { Range: binary; } Variable b53 { Range: binary; } Variable b54 { Range: binary; } Variable b55 { Range: binary; } Variable b56 { Range: binary; } Variable b57 { Range: binary; } Variable b58 { Range: binary; } Variable b59 { Range: binary; } Variable b60 { Range: binary; } Variable b61 { Range: binary; } Variable b62 { Range: binary; } Variable b63 { Range: binary; } Variable b64 { Range: binary; } Variable b65 { Range: binary; } Variable b66 { Range: binary; } Variable b67 { Range: binary; } Variable b68 { Range: binary; } Variable b69 { Range: binary; } Variable b70 { Range: binary; } Variable b71 { Range: binary; } Variable b72 { Range: binary; } Variable b73 { Range: binary; } Variable b74 { Range: binary; } Variable b75 { Range: binary; } Variable b76 { Range: binary; } Variable b77 { Range: binary; } Variable b78 { Range: binary; } Variable b79 { Range: binary; } Variable b80 { Range: binary; } Variable b81 { Range: binary; } Variable b82 { Range: binary; } Variable b83 { Range: binary; } Variable b84 { Range: binary; } Variable b85 { Range: binary; } Variable b86 { Range: binary; } Variable b87 { Range: binary; } Variable b88 { Range: binary; } Variable b89 { Range: binary; } Variable b90 { Range: binary; } Variable b91 { Range: binary; } Variable b92 { Range: binary; } Variable b93 { Range: binary; } Variable b94 { Range: binary; } Variable b95 { Range: binary; } Variable b96 { Range: binary; } Variable b97 { Range: binary; } Variable b98 { Range: binary; } Variable b99 { Range: binary; } Variable b100 { Range: binary; } Variable b101 { Range: binary; } Variable b102 { Range: binary; } Variable b103 { Range: binary; } Variable b104 { Range: binary; } Variable b105 { Range: binary; } Variable b106 { Range: binary; } Variable b107 { Range: binary; } Variable b108 { Range: binary; } Variable b109 { Range: binary; } Variable b110 { Range: binary; } Variable b111 { Range: binary; } Variable b112 { Range: binary; } Variable b113 { Range: binary; } Variable b114 { Range: binary; } Variable b115 { Range: binary; } Variable b116 { Range: binary; } Variable b117 { Range: binary; } Variable b118 { Range: binary; } Variable b119 { Range: binary; } Variable b120 { Range: binary; } Variable b121 { Range: binary; } Variable b122 { Range: binary; } Variable b123 { Range: binary; } Variable b124 { Range: binary; } Variable b125 { Range: binary; } Variable b126 { Range: binary; } Variable b127 { Range: binary; } Variable b128 { Range: binary; } Variable b129 { Range: binary; } Variable b130 { Range: binary; } Variable b131 { Range: binary; } Variable b132 { Range: binary; } Variable b133 { Range: binary; } Variable b134 { Range: binary; } Variable b135 { Range: binary; } Variable b136 { Range: binary; } Variable b137 { Range: binary; } Variable b138 { Range: binary; } Variable b139 { Range: binary; } Variable b140 { Range: binary; } Variable b141 { Range: binary; } Variable b142 { Range: binary; } Variable b143 { Range: binary; } Variable b144 { Range: binary; } Variable b145 { Range: binary; } Variable b146 { Range: binary; } Variable b147 { Range: binary; } Variable b148 { Range: binary; } Variable b149 { Range: binary; } Variable b150 { Range: binary; } Variable b151 { Range: binary; } Variable b152 { Range: binary; } Variable b153 { Range: binary; } Variable b154 { Range: binary; } Variable b155 { Range: binary; } Variable b156 { Range: binary; } Variable b157 { Range: binary; } Variable b158 { Range: binary; } Variable b159 { Range: binary; } Variable b160 { Range: binary; } Variable b161 { Range: binary; } Variable b162 { Range: binary; } Variable b163 { Range: binary; } Variable b164 { Range: binary; } Variable b165 { Range: binary; } Variable b166 { Range: binary; } Variable b167 { Range: binary; } Variable b168 { Range: binary; } Variable b169 { Range: binary; } Variable b170 { Range: binary; } Variable b171 { Range: binary; } Variable b172 { Range: binary; } Variable b173 { Range: binary; } Variable b174 { Range: binary; } Variable b175 { Range: binary; } Variable b176 { Range: binary; } Variable b177 { Range: binary; } Variable b178 { Range: binary; } Variable b179 { Range: binary; } Variable b180 { Range: binary; } Variable b181 { Range: binary; } Variable b182 { Range: binary; } Variable b183 { Range: binary; } Variable b184 { Range: binary; } Variable b185 { Range: binary; } Variable b186 { Range: binary; } Variable b187 { Range: binary; } Variable b188 { Range: binary; } Variable b189 { Range: binary; } Variable b190 { Range: binary; } Variable b191 { Range: binary; } Variable b192 { Range: binary; } Variable b193 { Range: binary; } Variable b194 { Range: binary; } Variable b195 { Range: binary; } Variable b196 { Range: binary; } Variable b197 { Range: binary; } Variable b198 { Range: binary; } Variable b199 { Range: binary; } Variable b200 { Range: binary; } Variable b201 { Range: binary; } Variable b202 { Range: binary; } Variable b203 { Range: binary; } Variable b204 { Range: binary; } Variable b205 { Range: binary; } Variable b206 { Range: binary; } Variable b207 { Range: binary; } Variable b208 { Range: binary; } Variable b209 { Range: binary; } Variable b210 { Range: binary; } Variable b211 { Range: binary; } Variable b212 { Range: binary; } Variable b213 { Range: binary; } Variable b214 { Range: binary; } Variable b215 { Range: binary; } Variable b216 { Range: binary; } Variable b217 { Range: binary; } Variable b218 { Range: binary; } Variable b219 { Range: binary; } Variable b220 { Range: binary; } Variable b221 { Range: binary; } Variable b222 { Range: binary; } Variable b223 { Range: binary; } Variable b224 { Range: binary; } Variable b225 { Range: binary; } Variable b226 { Range: binary; } Variable b227 { Range: binary; } Variable b228 { Range: binary; } Variable b229 { Range: binary; } Variable b230 { Range: binary; } Variable b231 { Range: binary; } Variable b232 { Range: binary; } Variable b233 { Range: binary; } Variable b234 { Range: binary; } Variable b235 { Range: binary; } Variable b236 { Range: binary; } Variable b237 { Range: binary; } Variable b238 { Range: binary; } Variable b239 { Range: binary; } Variable b240 { Range: binary; } Variable b241 { Range: binary; } Variable b242 { Range: binary; } Variable b243 { Range: binary; } Variable b244 { Range: binary; } Variable b245 { Range: binary; } Variable b246 { Range: binary; } Variable b247 { Range: binary; } Variable b248 { Range: binary; } Variable b249 { Range: binary; } Variable b250 { Range: binary; } Variable b251 { Range: binary; } Variable b252 { Range: binary; } Variable b253 { Range: binary; } Variable b254 { Range: binary; } Variable b255 { Range: binary; } Variable b256 { Range: binary; } Variable b257 { Range: binary; } Variable b258 { Range: binary; } Variable b259 { Range: binary; } Variable b260 { Range: binary; } Variable b261 { Range: binary; } Variable b262 { Range: binary; } Variable b263 { Range: binary; } Variable b264 { Range: binary; } Variable b265 { Range: binary; } Variable b266 { Range: binary; } Variable b267 { Range: binary; } Variable b268 { Range: binary; } Variable b269 { Range: binary; } Variable b270 { Range: binary; } Variable b271 { Range: binary; } Variable b272 { Range: binary; } Variable b273 { Range: binary; } Variable b274 { Range: binary; } Variable b275 { Range: binary; } Variable b276 { Range: binary; } Variable b277 { Range: binary; } Variable b278 { Range: binary; } Variable b279 { Range: binary; } Variable b280 { Range: binary; } Variable b281 { Range: binary; } Variable b282 { Range: binary; } Variable b283 { Range: binary; } Variable b284 { Range: binary; } Variable b285 { Range: binary; } Variable b286 { Range: binary; } Variable b287 { Range: binary; } Variable b288 { Range: binary; } Variable b289 { Range: binary; } Variable b290 { Range: binary; } Variable b291 { Range: binary; } Variable b292 { Range: binary; } Variable b293 { Range: binary; } Variable b294 { Range: binary; } Variable b295 { Range: binary; } Variable b296 { Range: binary; } Variable b297 { Range: binary; } Variable b298 { Range: binary; } Variable b299 { Range: binary; } Variable b300 { Range: binary; } Variable b301 { Range: binary; } Variable b302 { Range: binary; } Variable b303 { Range: binary; } Variable b304 { Range: binary; } Variable b305 { Range: binary; } Variable b306 { Range: binary; } Variable b307 { Range: binary; } Variable b308 { Range: binary; } Variable b309 { Range: binary; } Variable b310 { Range: binary; } Variable b311 { Range: binary; } Variable b312 { Range: binary; } Variable b313 { Range: binary; } Variable b314 { Range: binary; } Variable b315 { Range: binary; } Variable b316 { Range: binary; } Variable b317 { Range: binary; } Variable b318 { Range: binary; } Variable b319 { Range: binary; } Variable b320 { Range: binary; } Variable b321 { Range: binary; } Variable b322 { Range: binary; } Variable b323 { Range: binary; } Variable b324 { Range: binary; } Variable b325 { Range: binary; } Variable b326 { Range: binary; } Variable b327 { Range: binary; } Variable b328 { Range: binary; } Variable b329 { Range: binary; } Variable b330 { Range: binary; } Variable b331 { Range: binary; } Variable b332 { Range: binary; } Variable b333 { Range: binary; } Variable b334 { Range: binary; } Variable b335 { Range: binary; } Variable b336 { Range: binary; } Variable b337 { Range: binary; } Variable b338 { Range: binary; } Variable b339 { Range: binary; } Variable b340 { Range: binary; } Variable b341 { Range: binary; } Variable b342 { Range: binary; } Variable b343 { Range: binary; } Variable b344 { Range: binary; } Variable b345 { Range: binary; } Variable b346 { Range: binary; } Variable b347 { Range: binary; } Variable b348 { Range: binary; } Variable b349 { Range: binary; } Variable b350 { Range: binary; } Variable b351 { Range: binary; } Variable b352 { Range: binary; } Variable b353 { Range: binary; } Variable b354 { Range: binary; } Variable b355 { Range: binary; } Variable b356 { Range: binary; } Variable b357 { Range: binary; } Variable b358 { Range: binary; } Variable b359 { Range: binary; } Variable b360 { Range: binary; } Variable b361 { Range: binary; } Variable b362 { Range: binary; } Variable b363 { Range: binary; } Variable b364 { Range: binary; } Variable b365 { Range: binary; } Variable b366 { Range: binary; } Variable b367 { Range: binary; } Variable b368 { Range: binary; } Variable b369 { Range: binary; } Variable b370 { Range: binary; } Variable b371 { Range: binary; } Variable b372 { Range: binary; } Variable b373 { Range: binary; } Variable b374 { Range: binary; } Variable b375 { Range: binary; } Variable b376 { Range: binary; } Variable b377 { Range: binary; } Variable b378 { Range: binary; } Variable b379 { Range: binary; } Variable b380 { Range: binary; } Variable b381 { Range: binary; } Variable b382 { Range: binary; } Variable b383 { Range: binary; } Variable b384 { Range: binary; } Variable b385 { Range: binary; } Variable b386 { Range: binary; } Variable b387 { Range: binary; } Variable b388 { Range: binary; } Variable b389 { Range: binary; } Variable b390 { Range: binary; } Variable b391 { Range: binary; } Variable b392 { Range: binary; } Variable b393 { Range: binary; } Variable b394 { Range: binary; } Variable b395 { Range: binary; } Variable b396 { Range: binary; } Variable b397 { Range: binary; } Variable b398 { Range: binary; } Variable b399 { Range: binary; } Variable b400 { Range: binary; } Variable b401 { Range: binary; } Variable b402 { Range: binary; } Variable b403 { Range: binary; } Variable b404 { Range: binary; } Variable b405 { Range: binary; } Variable b406 { Range: binary; } Variable b407 { Range: binary; } Variable b408 { Range: binary; } Variable b409 { Range: binary; } Variable b410 { Range: binary; } Variable b411 { Range: binary; } Variable b412 { Range: binary; } Variable b413 { Range: binary; } Variable b414 { Range: binary; } Variable b415 { Range: binary; } Variable b416 { Range: binary; } Variable b417 { Range: binary; } Variable b418 { Range: binary; } Variable b419 { Range: binary; } Variable b420 { Range: binary; } Variable b421 { Range: binary; } Variable b422 { Range: binary; } Variable b423 { Range: binary; } Variable b424 { Range: binary; } Variable b425 { Range: binary; } Variable b426 { Range: binary; } Variable b427 { Range: binary; } Variable b428 { Range: binary; } Variable b429 { Range: binary; } Variable b430 { Range: binary; } Variable b431 { Range: binary; } Variable b432 { Range: binary; } Variable b433 { Range: binary; } Variable b434 { Range: binary; } Variable b435 { Range: binary; } Variable b436 { Range: binary; } Variable b437 { Range: binary; } Variable b438 { Range: binary; } Variable b439 { Range: binary; } Variable b440 { Range: binary; } Variable b441 { Range: binary; } Variable b442 { Range: binary; } Variable b443 { Range: binary; } Variable b444 { Range: binary; } Variable b445 { Range: binary; } Variable b446 { Range: binary; } Variable b447 { Range: binary; } Variable b448 { Range: binary; } Variable b449 { Range: binary; } Variable b450 { Range: binary; } Variable b451 { Range: binary; } Variable b452 { Range: binary; } Variable b453 { Range: binary; } Variable b454 { Range: binary; } Variable b455 { Range: binary; } Variable b456 { Range: binary; } Variable b457 { Range: binary; } Variable b458 { Range: binary; } Variable b459 { Range: binary; } Variable b460 { Range: binary; } Variable b461 { Range: binary; } Variable b462 { Range: binary; } Variable b463 { Range: binary; } Variable b464 { Range: binary; } Variable b465 { Range: binary; } Variable b466 { Range: binary; } Variable b467 { Range: binary; } Variable b468 { Range: binary; } Variable b469 { Range: binary; } Variable b470 { Range: binary; } Variable b471 { Range: binary; } Variable b472 { Range: binary; } Variable b473 { Range: binary; } Variable b474 { Range: binary; } Variable x475; Variable x476; Variable x477; Variable x478; Variable x479; Variable x480; Variable x481; Variable x482; Variable x483; Variable x484; Variable x485; Variable x486; Variable x487; Variable x488; Variable x489; Variable x490; Variable x491; Variable x492; Variable x493; Variable x494; Variable x495; Variable x496; Variable x497; Variable x498; Variable x499; Variable x500; Variable x501; Variable x502; Variable x503; Variable x504; Variable x505; Variable x506; Variable x507; Variable x508; Variable x509; Variable x510; Variable x511; Variable x512; Variable x513; Variable x514; Variable x515; Variable x516; Variable x517; Variable x518; Variable x519; Variable x520; Variable x521; Variable x522; Variable x523; Variable x524; Variable x525; Variable x526; Variable x527; Variable x528; Variable x529; Variable x530; Variable x531; Variable x532; Variable x533; Variable x534; Variable x535; Variable x536; Variable x537; Variable x538; Variable x539; Variable x540; Variable x541; Variable x542; Variable x543; Variable x544; Variable x545; Variable x546; Variable x547; Variable x548; Variable x549; Variable x550; Variable x551; Variable x552; Variable x553; Variable x554; Variable x555; Variable x556; Variable x557; Variable x558; Variable x559; Variable x560; Variable x561; Variable x562; Variable x563; Variable x564; Variable x565; Variable x566; Variable x567; Variable x568; Variable x569; Variable x570; Variable x571; Variable x572; Variable x573; Variable x574; Variable x575; Variable x576; Variable x577; Variable x578; Variable x579; Variable x580; Variable x581; Variable x582; Variable x583; Variable x584; Variable x585; Variable x586; Variable x587; Variable x588; Variable x589; Variable x590; Variable x591; Variable x592; Variable x593; Variable x594; Variable x595; Variable x596; Variable x597; Variable x598; Variable x599; Variable x600; Variable x601; Variable x602; Variable x603; Variable x604; Variable x605; Variable x606; Constraint e1 { Definition: { objvar + 137.73*b2 + 196.73*b3 + 120.22*b4 + 417.92*b5 + 200.82*b6 + 162.5*b7 + 162.65*b8 + 179.47*b9 + 110.3*b10 + 235.64*b11 + 183.97*b12 + 198.58*b13 + 257.31*b14 + 302.88*b15 + 267.93*b16 + 156.75*b17 + 405.16*b18 + 245.93*b19 + 109.24*b20 + 171.4*b21 + 212.91*b22 + 155.66*b23 + 246.71*b24 + 131.3*b25 + 197.36*b26 + 209.67*b27 + 113.46*b28 + 243.86*b29 + 257.51*b30 + 228.84*b31 + 223.53*b32 + 332.82*b33 + 130.27*b34 + 219.72*b35 + 507.81*b36 + 371.17*b37 + 173.26*b38 + 239.32*b39 + 214.33*b40 + 128.05*b41 + 110.83*b42 + 114.82*b43 + 182.26*b44 + 348.89*b45 + 355.55*b46 + 368.04*b47 + 362.49*b48 + 376.86*b49 + 439.44*b50 + 432.17*b51 + 382.38*b52 + 374.59*b53 + 344.56*b54 + 343.24*b55 + 339.38*b56 + 333.55*b57 + 398.36*b58 + 403.09*b59 + 395.46*b60 + 432.48*b61 + 358.69*b62 + 443.01*b63 + 313.3*b64 + 323.68*b65 + 445.6*b66 + 364.21*b67 + 371.06*b68 + 306.51*b69 + 315.8*b70 + 390.72*b71 + 309.16*b72 + 361.58*b73 + 302.76*b74 + 302.73*b75 + 350.56*b76 + 347.69*b77 + 301.28*b78 + 308.45*b79 + 305.83*b80 + 305.6*b81 + 260.95*b82 + 301.08*b83 + 100.9*b84 + 182.47*b85 + 274.02*b86 + 118.98*b87 + 167.55*b88 + 168.54*b89 + 309.6*b90 + 301.43*b91 + 307.63*b92 + 349*b93 + 345.92*b94 + 307.05*b95 + 336.93*b96 + 312.79*b97 + 344.98*b98 + 352.25*b99 + 353.73*b100 + 409.07*b101 + 413.63*b102 + 346.7*b103 + 383.68*b104 + 311.28*b105 + 214.65*b106 + 256.57*b107 + 672.57*b108 + 211.4*b109 + 204.03*b110 + 324.99*b111 + 336.74*b112 + 112.03*b113 + 369.55*b114 + 153.47*b115 + 166.24*b116 + 381.53*b117 + 265.39*b118 + 379.6*b119 + 424.5*b120 + 320.94*b121 + 225.01*b122 + 308.72*b123 + 176.27*b124 + 194.23*b125 + 488.5*b126 + 229.73*b127 + 184.42*b128 + 370.78*b129 + 247.86*b130 + 280.8*b131 + 112*b132 + 248.56*b133 + 169.26*b134 + 307.74*b135 + 184.55*b136 + 401.86*b137 + 187.16*b138 + 151.9*b139 + 388.77*b140 + 150.5*b141 + 108.65*b142 + 137.42*b143 + 155.21*b144 + 231.09*b145 + 321.79*b146 + 318*b147 + 308.36*b148 + 239.09*b149 + 328.93*b150 + 328.09*b151 + 214.12*b152 + 453.3*b153 + 169.46*b154 + 215.89*b155 + 245.42*b156 + 200.26*b157 + 392.21*b158 + 182.94*b159 + 103.17*b160 + 177.46*b161 + 263.76*b162 + 201.97*b163 + 187.4*b164 + 131.19*b165 + 144.93*b166 + 215.44*b167 + 251.54*b168 + 444.24*b169 + 356.9*b170 + 352.21*b171 + 418.93*b172 + 375.07*b173 + 549.94*b174 + 584.09*b175 + 559.85*b176 + 394.59*b177 + 400.81*b178 + 306.69*b179 + 361.27*b180 + 398.91*b181 + 579.44*b182 + 601.26*b183 + 610.33*b184 + 619.24*b185 + 481.14*b186 + 300.67*b187 + 317.07*b188 + 444.94*b189 + 405.95*b190 + 580.08*b191 + 496.41*b192 + 483.82*b193 + 320.49*b194 + 351.69*b195 + 394.77*b196 + 492.52*b197 + 115.79*b198 + 431.92*b199 + 193.95*b200 + 115.11*b201 + 142.44*b202 + 223.48*b203 + 348.96*b204 + 180.24*b205 + 243.65*b206 + 374.78*b207 + 425.05*b208 + 360.37*b209 + 306.78*b210 + 325.03*b211 + 436.09*b212 + 509.49*b213 + 324.12*b214 + 305.13*b215 + 340.7*b216 + 332.15*b217 + 465.05*b218 + 341.97*b219 + 489.03*b220 + 474.72*b221 + 422.27*b222 + 359.53*b223 + 364.99*b224 + 365.7*b225 + 395.1*b226 + 349*b227 + 428.05*b228 + 448.53*b229 + 327.53*b230 + 333.64*b231 + 397.36*b232 + 490.62*b233 + 340.66*b234 + 379.48*b235 + 323.01*b236 + 338.28*b237 + 364.16*b238 + 348.35*b239 + 488.32*b240 + 453.77*b241 + 354.55*b242 + 373.12*b243 + 328.72*b244 + 474.1*b245 + 662.23*b246 + 492.63*b247 + 318.13*b248 + 372.08*b249 + 407.31*b250 + 459.43*b251 + 441.57*b252 + 479.99*b253 + 400.74*b254 + 432.39*b255 + 348.98*b256 + 475.03*b257 + 478.79*b258 + 383.92*b259 + 379.05*b260 + 423.72*b261 + 351.91*b262 + 311.88*b263 + 495.72*b264 + 484.77*b265 + 305.71*b266 + 314.14*b267 + 330.43*b268 + 456.88*b269 + 364.05*b270 + 391.49*b271 + 314.7*b272 + 476.88*b273 + 317.25*b274 + 328.14*b275 + 372.95*b276 + 372.68*b277 + 333.26*b278 + 364.23*b279 + 398.84*b280 + 379.81*b281 + 491.59*b282 + 315.11*b283 + 337*b284 + 368.84*b285 + 488.66*b286 + 336.95*b287 + 403.8*b288 + 311.72*b289 + 456.84*b290 + 331.36*b291 + 324.9*b292 + 396.26*b293 + 366.13*b294 + 328.25*b295 + 323.43*b296 + 366.93*b297 + 316.24*b298 + 345.88*b299 + 454.67*b300 + 492.69*b301 + 303.81*b302 + 380.62*b303 + 321.81*b304 + 361.14*b305 + 400.94*b306 + 431.67*b307 + 308.83*b308 + 338.58*b309 + 485.82*b310 + 334.32*b311 + 377.12*b312 + 513.12*b313 + 310.17*b314 + 442.11*b315 + 376.98*b316 + 302.65*b317 + 313.59*b318 + 437.34*b319 + 329.52*b320 + 503.56*b321 + 437.4*b322 + 499.5*b323 + 358.66*b324 + 436.24*b325 + 320.38*b326 + 665.54*b327 + 408.61*b328 + 328.94*b329 + 427.48*b330 + 363.95*b331 + 431.52*b332 + 392.5*b333 + 382.22*b334 + 382.61*b335 + 302.18*b336 + 412.39*b337 + 317.75*b338 + 317.1*b339 + 331.44*b340 + 308.88*b341 + 339.81*b342 + 403.39*b343 + 318.05*b344 + 494.89*b345 + 372.98*b346 + 690.72*b347 + 381.65*b348 + 432.01*b349 + 320.39*b350 + 374.54*b351 + 416.54*b352 + 478.42*b353 + 419.81*b354 + 335.65*b355 + 362.02*b356 + 342.39*b357 + 432.8*b358 + 451.98*b359 + 671.27*b360 + 309.18*b361 + 456.3*b362 + 458.44*b363 + 472.43*b364 + 355.62*b365 + 446.1*b366 + 306.48*b367 + 379.63*b368 + 315.68*b369 + 351.32*b370 + 397.86*b371 + 311.99*b372 + 301.82*b373 + 410.62*b374 + 406.71*b375 + 401.51*b376 + 321.49*b377 + 308.25*b378 + 305.34*b379 + 362.93*b380 + 345.16*b381 + 451.24*b382 + 318.72*b383 + 334.38*b384 + 371.67*b385 + 371.63*b386 + 479.78*b387 + 322.74*b388 + 484.64*b389 + 389.16*b390 + 342.39*b391 + 407.79*b392 + 402.71*b393 + 502.19*b394 + 343.03*b395 + 479.58*b396 + 343.14*b397 + 451.75*b398 + 317.41*b399 + 397.92*b400 + 321.17*b401 + 402.02*b402 + 322.88*b403 + 328.65*b404 + 347.65*b405 + 407.95*b406 + 376.75*b407 + 356.23*b408 + 374.55*b409 + 367.01*b410 + 402.29*b411 + 302.19*b412 + 306.09*b413 + 301.83*b414 + 382.65*b415 + 328.9*b416 + 370.96*b417 + 398.59*b418 + 310.35*b419 + 378.73*b420 + 346.23*b421 + 326.77*b422 + 388.04*b423 + 324.37*b424 + 344.19*b425 + 348.78*b426 + 406.7*b427 + 327.68*b428 + 338.01*b429 + 385.06*b430 + 373.67*b431 + 417.14*b432 + 350.65*b433 + 323.46*b434 + 355.05*b435 + 334.17*b436 + 302.29*b437 + 325.03*b438 + 307.37*b439 + 370.75*b440 + 343.57*b441 + 402.75*b442 + 336.58*b443 + 391.06*b444 + 385.86*b445 + 392.96*b446 + 308.35*b447 + 358.2*b448 + 370.73*b449 + 307.42*b450 + 329.42*b451 + 393.31*b452 + 311.16*b453 + 305.26*b454 + 341.14*b455 + 397.72*b456 + 342.96*b457 + 307.27*b458 + 394.57*b459 + 350.1*b460 + 372.91*b461 + 411.47*b462 + 305.14*b463 + 303.02*b464 + 347.26*b465 + 364.02*b466 + 363.57*b467 + 402.76*b468 + 326.49*b469 + 346.26*b470 + 330.35*b471 + 399.96*b472 + 301.24*b473 + 389.3*b474 = 0 } } Constraint e2 { Definition: { b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 + b11 + b12 + b13 + b14 + b15 + b16 + b17 + b18 + b19 + b20 + b21 + b22 + b23 + b24 + b25 + b26 + b27 + b28 + b29 + b30 + b31 + b32 + b33 + b34 + b35 + b36 + b37 + b38 + b39 + b40 + b41 + b42 + b43 + b44 + b45 + b46 + b47 + b48 + b49 + b50 + b51 + b52 + b53 + b54 + b55 + b56 + b57 + b58 + b59 + b60 + b61 + b62 + b63 + b64 + b65 + b66 + b67 + b68 + b69 + b70 + b71 + b72 + b73 + b74 + b75 + b76 + b77 + b78 + b79 + b80 + b81 + b82 + b83 + b84 + b85 + b86 + b87 + b88 + b89 + b90 + b91 + b92 + b93 + b94 + b95 + b96 + b97 + b98 + b99 + b100 + b101 + b102 + b103 + b104 + b105 + b106 + b107 + b108 + b109 + b110 + b111 + b112 + b113 + b114 + b115 + b116 + b117 + b118 + b119 + b120 + b121 + b122 + b123 + b124 + b125 + b126 + b127 + b128 + b129 + b130 + b131 + b132 + b133 + b134 + b135 + b136 + b137 + b138 + b139 + b140 + b141 + b142 + b143 + b144 + b145 + b146 + b147 + b148 + b149 + b150 + b151 + b152 + b153 + b154 + b155 + b156 + b157 + b158 + b159 + b160 + b161 + b162 + b163 + b164 + b165 + b166 + b167 + b168 + b169 + b170 + b171 + b172 + b173 + b174 + b175 + b176 + b177 + b178 + b179 + b180 + b181 + b182 + b183 + b184 + b185 + b186 + b187 + b188 + b189 + b190 + b191 + b192 + b193 + b194 + b195 + b196 + b197 + b198 + b199 + b200 + b201 + b202 + b203 + b204 + b205 + b206 + b207 + b208 + b209 + b210 + b211 + b212 + b213 + b214 + b215 + b216 + b217 + b218 + b219 + b220 + b221 + b222 + b223 + b224 + b225 + b226 + b227 + b228 + b229 + b230 + b231 + b232 + b233 + b234 + b235 + b236 + b237 + b238 + b239 + b240 + b241 + b242 + b243 + b244 + b245 + b246 + b247 + b248 + b249 + b250 + b251 + b252 + b253 + b254 + b255 + b256 + b257 + b258 + b259 + b260 + b261 + b262 + b263 + b264 + b265 + b266 + b267 + b268 + b269 + b270 + b271 + b272 + b273 + b274 + b275 + b276 + b277 + b278 + b279 + b280 + b281 + b282 + b283 + b284 + b285 + b286 + b287 + b288 + b289 + b290 + b291 + b292 + b293 + b294 + b295 + b296 + b297 + b298 + b299 + b300 + b301 + b302 + b303 + b304 + b305 + b306 + b307 + b308 + b309 + b310 + b311 + b312 + b313 + b314 + b315 + b316 + b317 + b318 + b319 + b320 + b321 + b322 + b323 + b324 + b325 + b326 + b327 + b328 + b329 + b330 + b331 + b332 + b333 + b334 + b335 + b336 + b337 + b338 + b339 + b340 + b341 + b342 + b343 + b344 + b345 + b346 + b347 + b348 + b349 + b350 + b351 + b352 + b353 + b354 + b355 + b356 + b357 + b358 + b359 + b360 + b361 + b362 + b363 + b364 + b365 + b366 + b367 + b368 + b369 + b370 + b371 + b372 + b373 + b374 + b375 + b376 + b377 + b378 + b379 + b380 + b381 + b382 + b383 + b384 + b385 + b386 + b387 + b388 + b389 + b390 + b391 + b392 + b393 + b394 + b395 + b396 + b397 + b398 + b399 + b400 + b401 + b402 + b403 + b404 + b405 + b406 + b407 + b408 + b409 + b410 + b411 + b412 + b413 + b414 + b415 + b416 + b417 + b418 + b419 + b420 + b421 + b422 + b423 + b424 + b425 + b426 + b427 + b428 + b429 + b430 + b431 + b432 + b433 + b434 + b435 + b436 + b437 + b438 + b439 + b440 + b441 + b442 + b443 + b444 + b445 + b446 + b447 + b448 + b449 + b450 + b451 + b452 + b453 + b454 + b455 + b456 + b457 + b458 + b459 + b460 + b461 + b462 + b463 + b464 + b465 + b466 + b467 + b468 + b469 + b470 + b471 + b472 + b473 + b474 = 50 } } Constraint e3 { Definition: { sqr(b2) + sqr(b3) + sqr(b4) + sqr(b5) + sqr(b54) + sqr(b55) + sqr(b56) + sqr(b76) + sqr(b77) + sqr(b80) + sqr(b93) + sqr(b95) + sqr(b96) + sqr(b97) + sqr(b98) + sqr(b103) + sqr(b170) + sqr(b171) + sqr(b195) + sqr(b196) + sqr(b220) + sqr(b222) + sqr(b233) + sqr(b240) + sqr(b246) + sqr(b257) + sqr(b259) + sqr(b264) + sqr(b265) + sqr(b310) + sqr(b312) + sqr(b313) + sqr(b327) + sqr(b330) + sqr(b332) + sqr(b335) + sqr(b345) + sqr(b347) + sqr(b348) + sqr(b352) + sqr(b354) + sqr(b358) + sqr(b360) + sqr(b380) + sqr(b385) + sqr(b389) + sqr(b392) + sqr(b394) + sqr(b6) + sqr(b412) + sqr( b414) + sqr(b434) + sqr(b447) + sqr(b451) + sqr(b473) + sqr(b7) + sqr(b8) + sqr(b9) + sqr(b253) + sqr(b262) + sqr(b280) + sqr(b285) + sqr(b288) + sqr(b296) + sqr(b322) + sqr(b340) + sqr(b344) + sqr(b367) + sqr(b372) + sqr(b383) + sqr(b10) + sqr(b11) + sqr(b65) + sqr(b69) + sqr(b70) + sqr( b244) + sqr(b419) + sqr(b458) + sqr(b464) + sqr(b12) + sqr(b209) + sqr( b241) + sqr(b243) + sqr(b254) + sqr(b256) + sqr(b294) + sqr(b300) + sqr( b318) + sqr(b334) + sqr(b337) + sqr(b363) + sqr(b371) + sqr(b375) + sqr( b13) + sqr(b369) + sqr(b14) + sqr(b59) + sqr(b79) + sqr(b81) + sqr(b92) + sqr(b105) + sqr(b169) + sqr(b177) + sqr(b181) + sqr(b15) + sqr(b401) + sqr(b402) + sqr(b417) + sqr(b418) + sqr(b420) + sqr(b423) + sqr(b426) + sqr(b430) + sqr(b431) + sqr(b433) + sqr(b435) + sqr(b437) + sqr(b440) + sqr(b442) + sqr(b443) + sqr(b444) + sqr(b452) + sqr(b453) + sqr(b463) + sqr(b465) + sqr(b16) + sqr(b78) + sqr(b91) + sqr(b17) + sqr(b57) + sqr(b94 ) + sqr(b99) + sqr(b100) + sqr(b18) + sqr(b58) + sqr(b101) + sqr(b102) + sqr(b104) + sqr(b19) + sqr(b20) + sqr(b21) + sqr(b22) + sqr(b179) + sqr( b187) + sqr(b23) + sqr(b211) + sqr(b214) + sqr(b223) + sqr(b342) + sqr( b355) + sqr(b24) + sqr(b221) + sqr(b245) + sqr(b250) + sqr(b251) + sqr( b260) + sqr(b268) + sqr(b271) + sqr(b291) + sqr(b308) + sqr(b309) + sqr( b320) + sqr(b326) + sqr(b364) + sqr(b377) + sqr(b386) + sqr(b25) + sqr( b278) + sqr(b26) + sqr(b27) + sqr(b28) + sqr(b314) + sqr(b350) + sqr(b361) + sqr(b373) + sqr(b399) + sqr(b29) + sqr(b30) + sqr(b180) + sqr(b188) + sqr(b194) + sqr(b31) + sqr(b32) + sqr(b45) + sqr(b46) + sqr(b47) + sqr(b62 ) + sqr(b33) + sqr(b186) + sqr(b192) + sqr(b193) + sqr(b197) + sqr(b34) + sqr(b53) + sqr(b67) + sqr(b173) + sqr(b238) + sqr(b35) + sqr(b48) + sqr( b49) + sqr(b50) + sqr(b51) + sqr(b63) + sqr(b66) + sqr(b68) + sqr(b73) + sqr(b36) + sqr(b52) + sqr(b60) + sqr(b61) + sqr(b64) + sqr(b71) + sqr(b72) + sqr(b74) + sqr(b75) + sqr(b37) + sqr(b38) + sqr(b39) + sqr(b40) + sqr( b41) + sqr(b42) + sqr(b43) + sqr(b44) + sqr(x475) + sqr(x476) + sqr(b82) + sqr(b410) + sqr(b449) + sqr(b466) + sqr(b467) + sqr(b83) + sqr(b408) + sqr(b448) + sqr(b454) + sqr(b460) + sqr(b470) + sqr(b84) + sqr(b85) + sqr( b86) + sqr(b403) + sqr(b404) + sqr(b428) + sqr(b429) + sqr(b87) + sqr(b88) + sqr(b217) + sqr(b225) + sqr(b231) + sqr(b248) + sqr(b263) + sqr(b304) + sqr(b324) + sqr(b329) + sqr(b370) + sqr(b384) + sqr(b89) + sqr(b266) + sqr(b272) + sqr(b283) + sqr(b338) + sqr(b90) + sqr(b174) + sqr(b176) + sqr(b184) + sqr(b191) + sqr(b236) + sqr(b237) + sqr(b276) + sqr(b279) + sqr(b281) + sqr(b303) + sqr(b341) + sqr(b357) + sqr(b381) + sqr(b106) + sqr(b405) + sqr(b416) + sqr(b421) + sqr(b422) + sqr(b425) + sqr(b436) + sqr(b438) + sqr(b441) + sqr(b455) + sqr(b457) + sqr(b469) + sqr(b471) + sqr(b107) + sqr(b108) + sqr(b175) + sqr(b182) + sqr(b183) + sqr(b185) + sqr(b212) + sqr(b229) + sqr(b232) + sqr(b242) + sqr(b252) + sqr(b255) + sqr(b269) + sqr(b270) + sqr(b273) + sqr(b290) + sqr(b293) + sqr(b297) + sqr(b299) + sqr(b301) + sqr(b305) + sqr(b306) + sqr(b307) + sqr(b323) + sqr(b328) + sqr(b343) + sqr(b346) + sqr(b353) + sqr(b359) + sqr(b362) + sqr(b393) + sqr(b396) + sqr(b397) + sqr(b400) + sqr(b109) + sqr(b413) + sqr(b424) + sqr(b439) + sqr(b450) + sqr(b110) + sqr(b111) + sqr(b407) + sqr(b409) + sqr(b415) + sqr(b461) + sqr(b112) + sqr(b406) + sqr(b411) + sqr(b427) + sqr(b432) + sqr(b445) + sqr(b446) + sqr(b456) + sqr(b459) + sqr(b462) + sqr(b468) + sqr(b472) + sqr(b474) + sqr(b113) + sqr(b114) + sqr(b115) + sqr(b249) + sqr(b277) + sqr(b284) + sqr(b289) + sqr(b351) + sqr(b365) + sqr(b368) + sqr(b374) + sqr(b376) + sqr(b390) + sqr(b116) + sqr(b117) + sqr(b118) + sqr(b119) + sqr(b120) + sqr(b172) + sqr(b178) + sqr(b189) + sqr(b190) + sqr(b210) + sqr(b216) + sqr(b226) + sqr(b227) + sqr(b230) + sqr(b234) + sqr(b235) + sqr(b239) + sqr(b275) + sqr(b287) + sqr(b292) + sqr(b295) + sqr(b391) + sqr(b121) + sqr(b258) + sqr(b261) + sqr(b325) + sqr(b349) + sqr(b122) + sqr(b215) + sqr(b228) + sqr(b274) + sqr(b311) + sqr(b316) + sqr(b333) + sqr(b356) + sqr(b123) + sqr(b213) + sqr(b247) + sqr(b286) + sqr(b317) + sqr(b387) + sqr(b388) + sqr(b124) + sqr(b336) + sqr(b339) + sqr(b125) + sqr(b315) + sqr(b319) + sqr(b321) + sqr(b366) + sqr(b126) + sqr(b218) + sqr(b219) + sqr(b224) + sqr(b282) + sqr(b331) + sqr(b382) + sqr(b395) + sqr(b398) + sqr(b127) + sqr(b128) + sqr(b129) + sqr(b267) + sqr(b298) + sqr(b302) + sqr(b378) + sqr(b379) + sqr(b130) + sqr(b131) + sqr(b132) + sqr(b133) + sqr(b134) + sqr(b135) + sqr(b136) + sqr(b137) + sqr(b138) + sqr(b139) + sqr(b140) + sqr(b141) + sqr(b142) + sqr(b143) + sqr(b144) + sqr(b145) + sqr(b146) + sqr(b147) + sqr(b148) + sqr(b149) + sqr(b150) + sqr(b151) + sqr(b152) + sqr(b153) + sqr(b154) + sqr(b155) + sqr(b156) + sqr(b157) + sqr(b158) + sqr(b159) + sqr(b160) + sqr(b161) + sqr(b162) + sqr(b163) + sqr(b164) + sqr(b165) + sqr(b166) + sqr(b167) + sqr(b168) + sqr(b198) + sqr(b199) + sqr(b200) + sqr(b201) + sqr(b202) + sqr(b203) + sqr(b204) + sqr(b205) + sqr(b206) + sqr(b207) + sqr(b208) + sqr(x477) + sqr(x478) + sqr(x479) + sqr(x480) + sqr(x481) + sqr(x482) + sqr(x483) + sqr(x484) + sqr(x485) + sqr(x486) + sqr(x487) + sqr(x488) + sqr(x489) + sqr(x490) + sqr(x491) + sqr(x492) + sqr(x493) + sqr(x494) + sqr(x495) + sqr(x496) + sqr(x497) + sqr(x498) + sqr(x499) + sqr(x500) + sqr(x501) + sqr(x502) + sqr(x503) + sqr(x504) + sqr(x505) + sqr(x506) + sqr(x507) + sqr(x508) + sqr(x509) + sqr(x510) + sqr(x511) + sqr(x512) + sqr(x513) + sqr(x514) + sqr(x515) + sqr(x516) + sqr(x517) + sqr(x518) + sqr(x519) + sqr(x520) + sqr(x521) + sqr(x522) + sqr(x523) + sqr(x524) + sqr(x525) + sqr(x526) + sqr(x527) + sqr(x528) + sqr(x529) + sqr(x530) + sqr(x531) + sqr(x532) + sqr(x533) + sqr(x534) + sqr(x535) + sqr(x536) + sqr(x537) + sqr(x538) + sqr(x539) + sqr(x540) + sqr(x541) + sqr(x542) + sqr(x543) + sqr(x544) + sqr(x545) + sqr(x546) + sqr(x547) + sqr(x548) + sqr(x549) + sqr(x550) + sqr(x551) + sqr(x552) + sqr(x553) + sqr(x554) + sqr(x555) + sqr(x556) + sqr(x557) + sqr(x558) + sqr(x559) + sqr(x560) + sqr(x561) + sqr(x562) + sqr(x563) + sqr(x564) + sqr(x565) + sqr(x566) + sqr(x567) + sqr(x568) + sqr(x569) + sqr(x570) + sqr(x571) + sqr(x572) + sqr(x573) + sqr(x574) + sqr(x575) + sqr(x576) + sqr(x577) + sqr(x578) + sqr(x579) + sqr(x580) + sqr(x581) + sqr(x582) + sqr(x583) + sqr(x584) + sqr(x585) + sqr(x586) + sqr(x587) + sqr(x588) + sqr(x589) + sqr(x590) + sqr(x591) + sqr(x592) + sqr(x593) + sqr(x594) + sqr(x595) + sqr(x596) + sqr(x597) + sqr(x598) + sqr(x599) + sqr(x600) + sqr(x601) + sqr(x602) + sqr(x603) + sqr(x604) + sqr(x605) + sqr(x606) + b5 *b54 + b5*b55 + b5*b56 + b5*b76 + b5*b77 + b5*b80 + b5*b93 + b5*b95 + b5* b96 + b5*b97 + b5*b98 + b5*b103 + b5*b170 + b5*b171 + b5*b195 + b5*b196 + b5*b220 + b5*b222 + b5*b233 + b5*b240 + b5*b246 + b5*b257 + b5*b259 + b5* b264 + b5*b265 + b5*b310 + b5*b312 + b5*b313 + b5*b327 + b5*b330 + b5*b332 + b5*b335 + b5*b345 + b5*b347 + b5*b348 + b5*b352 + b5*b354 + b5*b358 + b5*b360 + b5*b380 + b5*b385 + b5*b389 + b5*b392 + b5*b394 + b6*b412 + b6* b414 + b6*b434 + b6*b447 + b6*b451 + b6*b473 + b9*b170 + b9*b171 + b9*b195 + b9*b196 + b9*b253 + b9*b262 + b9*b280 + b9*b285 + b9*b288 + b9*b296 + b9*b322 + b9*b340 + b9*b344 + b9*b367 + b9*b372 + b9*b383 + b11*b65 + b11* b69 + b11*b70 + b11*b244 + b11*b257 + b11*b332 + b11*b354 + b11*b358 + b11 *b419 + b11*b458 + b11*b464 + b12*b209 + b12*b241 + b12*b243 + b12*b254 + b12*b256 + b12*b294 + b12*b300 + b12*b318 + b12*b334 + b12*b337 + b12*b363 + b12*b371 + b12*b375 + b13*b54 + b13*b77 + b13*b93 + b13*b98 + b13*b369 + b14*b59 + b14*b79 + b14*b81 + b14*b92 + b14*b105 + b14*b169 + b14*b177 + b14*b181 + b15*b401 + b15*b402 + b15*b417 + b15*b418 + b15*b420 + b15* b423 + b15*b426 + b15*b430 + b15*b431 + b15*b433 + b15*b434 + b15*b435 + b15*b437 + b15*b440 + b15*b442 + b15*b443 + b15*b444 + b15*b451 + b15*b452 + b15*b453 + b15*b463 + b15*b465 + b16*b78 + b16*b79 + b16*b81 + b16*b91 + b16*b92 + b16*b105 + b17*b57 + b17*b94 + b17*b99 + b17*b100 + b18*b57 + b18*b58 + b18*b59 + b18*b94 + b18*b99 + b18*b100 + b18*b101 + b18*b102 + b18*b104 + b18*b169 + b18*b177 + b18*b181 + b19*b58 + b19*b78 + b19*b91 + b19*b101 + b19*b102 + b19*b104 + b21*b55 + b21*b76 + b21*b96 + b21*b103 + b22*b179 + b22*b187 + b23*b211 + b23*b214 + b23*b223 + b23*b342 + b23* b355 + b24*b221 + b24*b245 + b24*b250 + b24*b251 + b24*b260 + b24*b268 + b24*b271 + b24*b291 + b24*b308 + b24*b309 + b24*b320 + b24*b326 + b24*b364 + b24*b377 + b24*b386 + b25*b278 + b25*b308 + b28*b314 + b28*b350 + b28* b361 + b28*b373 + b28*b399 + b30*b180 + b30*b188 + b30*b194 + b31*b179 + b31*b187 + b32*b45 + b32*b46 + b32*b47 + b32*b62 + b33*b186 + b33*b192 + b33*b193 + b33*b197 + b34*b53 + b34*b67 + b34*b173 + b34*b238 + b35*b48 + b35*b49 + b35*b50 + b35*b51 + b35*b63 + b35*b66 + b35*b68 + b35*b73 + b36* b50 + b36*b51 + b36*b52 + b36*b60 + b36*b61 + b36*b63 + b36*b64 + b36*b66 + b36*b71 + b36*b72 + b36*b74 + b36*b75 + b36*b186 + b36*b192 + b36*b193 + b36*b197 + b37*b45 + b37*b46 + b37*b47 + b37*b48 + b37*b49 + b37*b53 + b37*b62 + b37*b67 + b37*b68 + b37*b73 + b37*b173 + b37*b238 + b39*b65 + b39*b69 + b39*b70 + b40*b180 + b40*b188 + b40*b194 + b42*b52 + b42*b60 + b42*b61 + b42*b71 + b45*b46 + b45*b47 + 0.5*b45*b48 + 0.5*b45*b49 + 0.5* b45*b53 + b45*b62 + 0.5*b45*b67 + 0.5*b45*b68 + 0.5*b45*b73 + 0.5*b45*b173 + 0.5*b45*b238 + b46*b47 + 0.5*b46*b48 + 0.5*b46*b49 + 0.5*b46*b53 + b46* b62 + 0.5*b46*b67 + 0.5*b46*b68 + 0.5*b46*b73 + 0.5*b46*b173 + 0.5*b46* b238 + 0.5*b47*b48 + 0.5*b47*b49 + 0.5*b47*b53 + b47*b62 + 0.5*b47*b67 + 0.5*b47*b68 + 0.5*b47*b73 + 0.5*b47*b173 + 0.5*b47*b238 + b48*b49 + 0.5* b48*b50 + 0.5*b48*b51 + 0.5*b48*b53 + 0.5*b48*b62 + 0.5*b48*b63 + 0.5*b48* b66 + 0.5*b48*b67 + b48*b68 + b48*b73 + 0.5*b48*b173 + 0.5*b48*b238 + 0.5* b49*b50 + 0.5*b49*b51 + 0.5*b49*b53 + 0.5*b49*b62 + 0.5*b49*b63 + 0.5*b49* b66 + 0.5*b49*b67 + b49*b68 + b49*b73 + 0.5*b49*b173 + 0.5*b49*b238 + b50* b51 + 0.5*b50*b52 + 0.5*b50*b60 + 0.5*b50*b61 + b50*b63 + 0.5*b50*b64 + b50*b66 + 0.5*b50*b68 + 0.5*b50*b71 + 0.5*b50*b72 + 0.5*b50*b73 + 0.5*b50* b74 + 0.5*b50*b75 + 0.5*b50*b186 + 0.5*b50*b192 + 0.5*b50*b193 + 0.5*b50* b197 + 0.5*b51*b52 + 0.5*b51*b60 + 0.5*b51*b61 + b51*b63 + 0.5*b51*b64 + b51*b66 + 0.5*b51*b68 + 0.5*b51*b71 + 0.5*b51*b72 + 0.5*b51*b73 + 0.5*b51* b74 + 0.5*b51*b75 + 0.5*b51*b186 + 0.5*b51*b192 + 0.5*b51*b193 + 0.5*b51* b197 + b52*b60 + b52*b61 + 0.5*b52*b63 + 0.5*b52*b64 + 0.5*b52*b66 + b52* b71 + 0.5*b52*b72 + 0.5*b52*b74 + 0.5*b52*b75 + 0.5*b52*b186 + 0.5*b52* b192 + 0.5*b52*b193 + 0.5*b52*b197 + 0.5*b53*b62 + b53*b67 + 0.5*b53*b68 + 0.5*b53*b73 + b53*b173 + b53*b238 + 0.5*b54*b55 + 0.5*b54*b56 + 0.5*b54 *b76 + b54*b77 + 0.5*b54*b80 + b54*b93 + 0.5*b54*b95 + 0.5*b54*b96 + 0.5* b54*b97 + b54*b98 + 0.5*b54*b103 + 0.5*b54*b170 + 0.5*b54*b171 + 0.5*b54* b195 + 0.5*b54*b196 + 0.5*b54*b220 + 0.5*b54*b222 + 0.5*b54*b233 + 0.5*b54 *b240 + 0.5*b54*b246 + 0.5*b54*b257 + 0.5*b54*b259 + 0.5*b54*b264 + 0.5* b54*b265 + 0.5*b54*b310 + 0.5*b54*b312 + 0.5*b54*b313 + 0.5*b54*b327 + 0.5 *b54*b330 + 0.5*b54*b332 + 0.5*b54*b335 + 0.5*b54*b345 + 0.5*b54*b347 + 0.5*b54*b348 + 0.5*b54*b352 + 0.5*b54*b354 + 0.5*b54*b358 + 0.5*b54*b360 + 0.5*b54*b369 + 0.5*b54*b380 + 0.5*b54*b385 + 0.5*b54*b389 + 0.5*b54* b392 + 0.5*b54*b394 + 0.5*b55*b56 + b55*b76 + 0.5*b55*b77 + 0.5*b55*b80 + 0.5*b55*b93 + 0.5*b55*b95 + b55*b96 + 0.5*b55*b97 + 0.5*b55*b98 + b55*b103 + 0.5*b55*b170 + 0.5*b55*b171 + 0.5*b55*b195 + 0.5*b55*b196 + 0.5*b55* b220 + 0.5*b55*b222 + 0.5*b55*b233 + 0.5*b55*b240 + 0.5*b55*b246 + 0.5*b55 *b257 + 0.5*b55*b259 + 0.5*b55*b264 + 0.5*b55*b265 + 0.5*b55*b310 + 0.5* b55*b312 + 0.5*b55*b313 + 0.5*b55*b327 + 0.5*b55*b330 + 0.5*b55*b332 + 0.5 *b55*b335 + 0.5*b55*b345 + 0.5*b55*b347 + 0.5*b55*b348 + 0.5*b55*b352 + 0.5*b55*b354 + 0.5*b55*b358 + 0.5*b55*b360 + 0.5*b55*b380 + 0.5*b55*b385 + 0.5*b55*b389 + 0.5*b55*b392 + 0.5*b55*b394 + 0.5*b56*b76 + 0.5*b56*b77 + b56*b80 + 0.5*b56*b93 + b56*b95 + 0.5*b56*b96 + b56*b97 + 0.5*b56*b98 + 0.5*b56*b103 + 0.5*b56*b170 + 0.5*b56*b171 + 0.5*b56*b195 + 0.5*b56* b196 + 0.5*b56*b220 + 0.5*b56*b222 + 0.5*b56*b233 + 0.5*b56*b240 + 0.5*b56 *b246 + 0.5*b56*b257 + 0.5*b56*b259 + 0.5*b56*b264 + 0.5*b56*b265 + 0.5* b56*b310 + 0.5*b56*b312 + 0.5*b56*b313 + 0.5*b56*b327 + 0.5*b56*b330 + 0.5 *b56*b332 + 0.5*b56*b335 + 0.5*b56*b345 + 0.5*b56*b347 + 0.5*b56*b348 + 0.5*b56*b352 + 0.5*b56*b354 + 0.5*b56*b358 + 0.5*b56*b360 + 0.5*b56*b380 + 0.5*b56*b385 + 0.5*b56*b389 + 0.5*b56*b392 + 0.5*b56*b394 + b56*x475 + 0.5*b57*b58 + 0.5*b57*b59 + b57*b94 + b57*b99 + b57*b100 + 0.5*b57*b101 + 0.5*b57*b102 + 0.5*b57*b104 + 0.5*b57*b169 + 0.5*b57*b177 + 0.5*b57*b181 + 0.5*b58*b59 + 0.5*b58*b78 + 0.5*b58*b91 + 0.5*b58*b94 + 0.5*b58*b99 + 0.5*b58*b100 + b58*b101 + b58*b102 + b58*b104 + 0.5*b58*b169 + 0.5*b58* b177 + 0.5*b58*b181 + 0.5*b59*b79 + 0.5*b59*b81 + 0.5*b59*b92 + 0.5*b59* b94 + 0.5*b59*b99 + 0.5*b59*b100 + 0.5*b59*b101 + 0.5*b59*b102 + 0.5*b59* b104 + 0.5*b59*b105 + b59*b169 + b59*b177 + b59*b181 + b60*b61 + 0.5*b60* b63 + 0.5*b60*b64 + 0.5*b60*b66 + b60*b71 + 0.5*b60*b72 + 0.5*b60*b74 + 0.5*b60*b75 + 0.5*b60*b186 + 0.5*b60*b192 + 0.5*b60*b193 + 0.5*b60*b197 + 0.5*b61*b63 + 0.5*b61*b64 + 0.5*b61*b66 + b61*b71 + 0.5*b61*b72 + 0.5*b61* b74 + 0.5*b61*b75 + 0.5*b61*b186 + 0.5*b61*b192 + 0.5*b61*b193 + 0.5*b61* b197 + 0.5*b62*b67 + 0.5*b62*b68 + 0.5*b62*b73 + 0.5*b62*b173 + 0.5*b62* b238 + 0.5*b63*b64 + b63*b66 + 0.5*b63*b68 + 0.5*b63*b71 + 0.5*b63*b72 + 0.5*b63*b73 + 0.5*b63*b74 + 0.5*b63*b75 + 0.5*b63*b186 + 0.5*b63*b192 + 0.5*b63*b193 + 0.5*b63*b197 + 0.5*b64*b66 + 0.5*b64*b71 + b64*b72 + b64* b74 + b64*b75 + 0.5*b64*b186 + 0.5*b64*b192 + 0.5*b64*b193 + 0.5*b64*b197 + b64*x476 + b65*b69 + b65*b70 + 0.5*b65*b244 + 0.5*b65*b257 + 0.5*b65* b332 + 0.5*b65*b354 + 0.5*b65*b358 + 0.5*b65*b419 + 0.5*b65*b458 + 0.5*b65 *b464 + 0.5*b66*b68 + 0.5*b66*b71 + 0.5*b66*b72 + 0.5*b66*b73 + 0.5*b66* b74 + 0.5*b66*b75 + 0.5*b66*b186 + 0.5*b66*b192 + 0.5*b66*b193 + 0.5*b66* b197 + 0.5*b67*b68 + 0.5*b67*b73 + b67*b173 + b67*b238 + b68*b73 + 0.5*b68 *b173 + 0.5*b68*b238 + b69*b70 + 0.5*b69*b244 + 0.5*b69*b257 + 0.5*b69* b332 + 0.5*b69*b354 + 0.5*b69*b358 + 0.5*b69*b419 + 0.5*b69*b458 + 0.5*b69 *b464 + 0.5*b70*b244 + 0.5*b70*b257 + 0.5*b70*b332 + 0.5*b70*b354 + 0.5* b70*b358 + 0.5*b70*b419 + 0.5*b70*b458 + 0.5*b70*b464 + 0.5*b71*b72 + 0.5* b71*b74 + 0.5*b71*b75 + 0.5*b71*b186 + 0.5*b71*b192 + 0.5*b71*b193 + 0.5* b71*b197 + b72*b74 + b72*b75 + 0.5*b72*b186 + 0.5*b72*b192 + 0.5*b72*b193 + 0.5*b72*b197 + b72*x476 + 0.5*b73*b173 + 0.5*b73*b238 + b74*b75 + 0.5* b74*b186 + 0.5*b74*b192 + 0.5*b74*b193 + 0.5*b74*b197 + b74*x476 + 0.5*b75 *b186 + 0.5*b75*b192 + 0.5*b75*b193 + 0.5*b75*b197 + b75*x476 + 0.5*b76* b77 + 0.5*b76*b80 + 0.5*b76*b93 + 0.5*b76*b95 + b76*b96 + 0.5*b76*b97 + 0.5*b76*b98 + b76*b103 + 0.5*b76*b170 + 0.5*b76*b171 + 0.5*b76*b195 + 0.5* b76*b196 + 0.5*b76*b220 + 0.5*b76*b222 + 0.5*b76*b233 + 0.5*b76*b240 + 0.5 *b76*b246 + 0.5*b76*b257 + 0.5*b76*b259 + 0.5*b76*b264 + 0.5*b76*b265 + 0.5*b76*b310 + 0.5*b76*b312 + 0.5*b76*b313 + 0.5*b76*b327 + 0.5*b76*b330 + 0.5*b76*b332 + 0.5*b76*b335 + 0.5*b76*b345 + 0.5*b76*b347 + 0.5*b76* b348 + 0.5*b76*b352 + 0.5*b76*b354 + 0.5*b76*b358 + 0.5*b76*b360 + 0.5*b76 *b380 + 0.5*b76*b385 + 0.5*b76*b389 + 0.5*b76*b392 + 0.5*b76*b394 + 0.5* b77*b80 + b77*b93 + 0.5*b77*b95 + 0.5*b77*b96 + 0.5*b77*b97 + b77*b98 + 0.5*b77*b103 + 0.5*b77*b170 + 0.5*b77*b171 + 0.5*b77*b195 + 0.5*b77*b196 + 0.5*b77*b220 + 0.5*b77*b222 + 0.5*b77*b233 + 0.5*b77*b240 + 0.5*b77* b246 + 0.5*b77*b257 + 0.5*b77*b259 + 0.5*b77*b264 + 0.5*b77*b265 + 0.5*b77 *b310 + 0.5*b77*b312 + 0.5*b77*b313 + 0.5*b77*b327 + 0.5*b77*b330 + 0.5* b77*b332 + 0.5*b77*b335 + 0.5*b77*b345 + 0.5*b77*b347 + 0.5*b77*b348 + 0.5 *b77*b352 + 0.5*b77*b354 + 0.5*b77*b358 + 0.5*b77*b360 + 0.5*b77*b369 + 0.5*b77*b380 + 0.5*b77*b385 + 0.5*b77*b389 + 0.5*b77*b392 + 0.5*b77*b394 + 0.5*b78*b79 + 0.5*b78*b81 + b78*b91 + 0.5*b78*b92 + 0.5*b78*b101 + 0.5* b78*b102 + 0.5*b78*b104 + 0.5*b78*b105 + b79*b81 + 0.5*b79*b91 + b79*b92 + b79*b105 + 0.5*b79*b169 + 0.5*b79*b177 + 0.5*b79*b181 + 0.5*b80*b93 + b80*b95 + 0.5*b80*b96 + b80*b97 + 0.5*b80*b98 + 0.5*b80*b103 + 0.5*b80* b170 + 0.5*b80*b171 + 0.5*b80*b195 + 0.5*b80*b196 + 0.5*b80*b220 + 0.5*b80 *b222 + 0.5*b80*b233 + 0.5*b80*b240 + 0.5*b80*b246 + 0.5*b80*b257 + 0.5* b80*b259 + 0.5*b80*b264 + 0.5*b80*b265 + 0.5*b80*b310 + 0.5*b80*b312 + 0.5 *b80*b313 + 0.5*b80*b327 + 0.5*b80*b330 + 0.5*b80*b332 + 0.5*b80*b335 + 0.5*b80*b345 + 0.5*b80*b347 + 0.5*b80*b348 + 0.5*b80*b352 + 0.5*b80*b354 + 0.5*b80*b358 + 0.5*b80*b360 + 0.5*b80*b380 + 0.5*b80*b385 + 0.5*b80* b389 + 0.5*b80*b392 + 0.5*b80*b394 + b80*x475 + 0.5*b81*b91 + b81*b92 + b81*b105 + 0.5*b81*b169 + 0.5*b81*b177 + 0.5*b81*b181 + b82*b410 + b82* b449 + b82*b466 + b82*b467 + b83*b408 + b83*b448 + b83*b454 + b83*b460 + b83*b470 + b86*b403 + b86*b404 + b86*b428 + b86*b429 + b86*b433 + b86*b435 + b86*b443 + b86*b465 + b87*b259 + b87*b335 + b87*b380 + b87*b385 + b88* b217 + b88*b225 + b88*b231 + b88*b248 + b88*b263 + b88*b268 + b88*b304 + b88*b324 + b88*b326 + b88*b329 + b88*b370 + b88*b384 + b89*b266 + b89*b272 + b89*b283 + b89*b338 + b89*b369 + b90*b174 + b90*b176 + b90*b184 + b90* b191 + b90*b209 + b90*b236 + b90*b237 + b90*b256 + b90*b276 + b90*b279 + b90*b281 + b90*b294 + b90*b300 + b90*b303 + b90*b341 + b90*b344 + b90*b357 + b90*b367 + b90*b372 + b90*b381 + b90*b383 + 0.5*b91*b92 + 0.5*b91*b101 + 0.5*b91*b102 + 0.5*b91*b104 + 0.5*b91*b105 + b92*b105 + 0.5*b92*b169 + 0.5*b92*b177 + 0.5*b92*b181 + 0.5*b93*b95 + 0.5*b93*b96 + 0.5*b93*b97 + b93*b98 + 0.5*b93*b103 + 0.5*b93*b170 + 0.5*b93*b171 + 0.5*b93*b195 + 0.5* b93*b196 + 0.5*b93*b220 + 0.5*b93*b222 + 0.5*b93*b233 + 0.5*b93*b240 + 0.5 *b93*b246 + 0.5*b93*b257 + 0.5*b93*b259 + 0.5*b93*b264 + 0.5*b93*b265 + 0.5*b93*b310 + 0.5*b93*b312 + 0.5*b93*b313 + 0.5*b93*b327 + 0.5*b93*b330 + 0.5*b93*b332 + 0.5*b93*b335 + 0.5*b93*b345 + 0.5*b93*b347 + 0.5*b93* b348 + 0.5*b93*b352 + 0.5*b93*b354 + 0.5*b93*b358 + 0.5*b93*b360 + 0.5*b93 *b369 + 0.5*b93*b380 + 0.5*b93*b385 + 0.5*b93*b389 + 0.5*b93*b392 + 0.5* b93*b394 + b94*b99 + b94*b100 + 0.5*b94*b101 + 0.5*b94*b102 + 0.5*b94*b104 + 0.5*b94*b169 + 0.5*b94*b177 + 0.5*b94*b181 + 0.5*b95*b96 + b95*b97 + 0.5*b95*b98 + 0.5*b95*b103 + 0.5*b95*b170 + 0.5*b95*b171 + 0.5*b95*b195 + 0.5*b95*b196 + 0.5*b95*b220 + 0.5*b95*b222 + 0.5*b95*b233 + 0.5*b95*b240 + 0.5*b95*b246 + 0.5*b95*b257 + 0.5*b95*b259 + 0.5*b95*b264 + 0.5*b95* b265 + 0.5*b95*b310 + 0.5*b95*b312 + 0.5*b95*b313 + 0.5*b95*b327 + 0.5*b95 *b330 + 0.5*b95*b332 + 0.5*b95*b335 + 0.5*b95*b345 + 0.5*b95*b347 + 0.5* b95*b348 + 0.5*b95*b352 + 0.5*b95*b354 + 0.5*b95*b358 + 0.5*b95*b360 + 0.5 *b95*b380 + 0.5*b95*b385 + 0.5*b95*b389 + 0.5*b95*b392 + 0.5*b95*b394 + b95*x475 + 0.5*b96*b97 + 0.5*b96*b98 + b96*b103 + 0.5*b96*b170 + 0.5*b96* b171 + 0.5*b96*b195 + 0.5*b96*b196 + 0.5*b96*b220 + 0.5*b96*b222 + 0.5*b96 *b233 + 0.5*b96*b240 + 0.5*b96*b246 + 0.5*b96*b257 + 0.5*b96*b259 + 0.5* b96*b264 + 0.5*b96*b265 + 0.5*b96*b310 + 0.5*b96*b312 + 0.5*b96*b313 + 0.5 *b96*b327 + 0.5*b96*b330 + 0.5*b96*b332 + 0.5*b96*b335 + 0.5*b96*b345 + 0.5*b96*b347 + 0.5*b96*b348 + 0.5*b96*b352 + 0.5*b96*b354 + 0.5*b96*b358 + 0.5*b96*b360 + 0.5*b96*b380 + 0.5*b96*b385 + 0.5*b96*b389 + 0.5*b96* b392 + 0.5*b96*b394 + 0.5*b97*b98 + 0.5*b97*b103 + 0.5*b97*b170 + 0.5*b97* b171 + 0.5*b97*b195 + 0.5*b97*b196 + 0.5*b97*b220 + 0.5*b97*b222 + 0.5*b97 *b233 + 0.5*b97*b240 + 0.5*b97*b246 + 0.5*b97*b257 + 0.5*b97*b259 + 0.5* b97*b264 + 0.5*b97*b265 + 0.5*b97*b310 + 0.5*b97*b312 + 0.5*b97*b313 + 0.5 *b97*b327 + 0.5*b97*b330 + 0.5*b97*b332 + 0.5*b97*b335 + 0.5*b97*b345 + 0.5*b97*b347 + 0.5*b97*b348 + 0.5*b97*b352 + 0.5*b97*b354 + 0.5*b97*b358 + 0.5*b97*b360 + 0.5*b97*b380 + 0.5*b97*b385 + 0.5*b97*b389 + 0.5*b97* b392 + 0.5*b97*b394 + b97*x475 + 0.5*b98*b103 + 0.5*b98*b170 + 0.5*b98* b171 + 0.5*b98*b195 + 0.5*b98*b196 + 0.5*b98*b220 + 0.5*b98*b222 + 0.5*b98 *b233 + 0.5*b98*b240 + 0.5*b98*b246 + 0.5*b98*b257 + 0.5*b98*b259 + 0.5* b98*b264 + 0.5*b98*b265 + 0.5*b98*b310 + 0.5*b98*b312 + 0.5*b98*b313 + 0.5 *b98*b327 + 0.5*b98*b330 + 0.5*b98*b332 + 0.5*b98*b335 + 0.5*b98*b345 + 0.5*b98*b347 + 0.5*b98*b348 + 0.5*b98*b352 + 0.5*b98*b354 + 0.5*b98*b358 + 0.5*b98*b360 + 0.5*b98*b369 + 0.5*b98*b380 + 0.5*b98*b385 + 0.5*b98* b389 + 0.5*b98*b392 + 0.5*b98*b394 + b99*b100 + 0.5*b99*b101 + 0.5*b99* b102 + 0.5*b99*b104 + 0.5*b99*b169 + 0.5*b99*b177 + 0.5*b99*b181 + 0.5* b100*b101 + 0.5*b100*b102 + 0.5*b100*b104 + 0.5*b100*b169 + 0.5*b100*b177 + 0.5*b100*b181 + b101*b102 + b101*b104 + 0.5*b101*b169 + 0.5*b101*b177 + 0.5*b101*b181 + b102*b104 + 0.5*b102*b169 + 0.5*b102*b177 + 0.5*b102* b181 + 0.5*b103*b170 + 0.5*b103*b171 + 0.5*b103*b195 + 0.5*b103*b196 + 0.5 *b103*b220 + 0.5*b103*b222 + 0.5*b103*b233 + 0.5*b103*b240 + 0.5*b103*b246 + 0.5*b103*b257 + 0.5*b103*b259 + 0.5*b103*b264 + 0.5*b103*b265 + 0.5* b103*b310 + 0.5*b103*b312 + 0.5*b103*b313 + 0.5*b103*b327 + 0.5*b103*b330 + 0.5*b103*b332 + 0.5*b103*b335 + 0.5*b103*b345 + 0.5*b103*b347 + 0.5* b103*b348 + 0.5*b103*b352 + 0.5*b103*b354 + 0.5*b103*b358 + 0.5*b103*b360 + 0.5*b103*b380 + 0.5*b103*b385 + 0.5*b103*b389 + 0.5*b103*b392 + 0.5* b103*b394 + 0.5*b104*b169 + 0.5*b104*b177 + 0.5*b104*b181 + 0.5*b105*b169 + 0.5*b105*b177 + 0.5*b105*b181 + b106*b405 + b106*b416 + b106*b421 + b106*b422 + b106*b425 + b106*b436 + b106*b438 + b106*b441 + b106*b454 + b106*b455 + b106*b457 + b106*b469 + b106*b471 + b107*b214 + b107*b266 + b107*b272 + b107*b283 + b107*b338 + b107*b373 + b108*b174 + b108*b175 + b108*b176 + b108*b182 + b108*b183 + b108*b184 + b108*b185 + b108*b191 + b108*b212 + b108*b229 + b108*b232 + b108*b242 + b108*b246 + b108*b252 + b108*b255 + b108*b269 + b108*b270 + b108*b273 + b108*b290 + b108*b293 + b108*b297 + b108*b299 + b108*b301 + b108*b305 + b108*b306 + b108*b307 + b108*b323 + b108*b327 + b108*b328 + b108*b343 + b108*b346 + b108*b347 + b108*b353 + b108*b359 + b108*b360 + b108*b362 + b108*b393 + b108*b396 + b108*b397 + b108*b400 + b109*b401 + b109*b413 + b109*b424 + b109*b437 + b109*b439 + b109*b450 + b109*b453 + b109*b463 + b111*b407 + b111*b409 + b111*b415 + b111*b417 + b111*b426 + b111*b431 + b111*b440 + b111*b461 + b112*b406 + b112*b407 + b112*b408 + b112*b409 + b112*b411 + b112*b412 + b112*b413 + b112*b414 + b112*b415 + b112*b424 + b112*b427 + b112*b432 + b112*b439 + b112*b445 + b112*b446 + b112*b447 + b112*b448 + b112*b450 + b112*b456 + b112*b459 + b112*b460 + b112*b461 + b112*b462 + b112*b468 + b112*b470 + b112*b472 + b112*b473 + b112*b474 + b114*b418 + b114*b420 + b114*b422 + b114*b427 + b114*b430 + b114*b432 + b114*b436 + b114*b438 + b114*b444 + b114*b455 + b114*b468 + b114*b472 + b115*b244 + b115*b249 + b115*b273 + b115*b277 + b115*b284 + b115*b289 + b115*b301 + b115*b323 + b115*b351 + b115*b365 + b115*b368 + b115*b374 + b115*b376 + b115*b390 + b115*b396 + b117*b410 + b117*b411 + b117*b421 + b117*b425 + b117*b441 + b117*b445 + b117*b446 + b117*b449 + b117*b457 + b117*b466 + b117*b467 + b117*b474 + b118*b403 + b118*b404 + b118*b419 + b118*b428 + b118*b429 + b118*b458 + b118*b464 + b119*b402 + b119*b405 + b119*b406 + b119*b416 + b119*b423 + b119*b442 + b119*b452 + b119*b456 + b119*b459 + b119*b462 + b119*b469 + b119*b471 + b120*b172 + b120*b178 + b120*b189 + b120*b190 + b120*b210 + b120*b216 + b120*b220 + b120*b226 + b120*b227 + b120*b230 + b120*b233 + b120*b234 + b120*b235 + b120*b239 + b120*b264 + b120*b265 + b120*b275 + b120*b287 + b120*b292 + b120*b295 + b120*b351 + b120*b368 + b120*b376 + b120*b390 + b120*b391 + b121*b211 + b121*b223 + b121*b250 + b121*b258 + b121*b260 + b121*b261 + b121*b271 + b121*b314 + b121*b325 + b121*b342 + b121*b349 + b121*b350 + b121*b355 + b121*b361 + b121*b386 + b121*b399 + b122*b215 + b122*b228 + b122*b274 + b122*b291 + b122*b309 + b122*b311 + b122*b316 + b122*b320 + b122*b333 + b122*b356 + b122*b377 + b123*b213 + b123*b217 + b123*b228 + b123*b231 + b123*b247 + b123*b258 + b123*b261 + b123*b286 + b123*b316 + b123*b317 + b123*b324 + b123*b325 + b123*b333 + b123*b349 + b123*b356 + b123*b384 + b123*b387 + b123*b388 + b124*b289 + b124*b312 + b124*b318 + b124*b330 + b124*b336 + b124*b339 + b124*b348 + b124*b392 + b125*b215 + b125*b225 + b125*b236 + b125*b237 + b125*b278 + b125*b303 + b125*b304 + b125*b311 + b125*b315 + b125*b319 + b125*b321 + b125*b329 + b125*b357 + b125*b366 + b125*b370 + b126*b213 + b126*b218 + b126*b219 + b126*b221 + b126*b224 + b126*b245 + b126*b247 + b126*b251 + b126*b253 + b126*b254 + b126*b280 + b126*b282 + b126*b286 + b126*b288 + b126*b315 + b126*b319 + b126*b321 + b126*b322 + b126*b331 + b126*b363 + b126*b364 + b126*b366 + b126*b371 + b126*b375 + b126*b382 + b126*b387 + b126*b395 + b126*b398 + b128*b218 + b128*b248 + b128*b263 + b128*b276 + b128*b279 + b128*b281 + b128*b282 + b128*b381 + b128*b382 + b128*b398 + b129*b175 + b129*b182 + b129*b183 + b129*b185 + b129*b241 + b129*b243 + b129*b249 + b129*b267 + b129*b277 + b129*b298 + b129*b302 + b129*b310 + b129*b334 + b129*b337 + b129*b345 + b129*b365 + b129*b374 + b129*b378 + b129*b379 + b129*b389 + b129*b394 + b130*b172 + b130*b178 + b130*b189 + b130*b190 + b130*b222 + b130*b240 + b130*b262 + b130*b284 + b130*b285 + b130*b296 + b130*b313 + b130*b340 + b130*b352 + b169*b177 + b169*b181 + b170*b171 + b170*b195 + b170*b196 + 0.5*b170*b220 + 0.5*b170* b222 + 0.5*b170*b233 + 0.5*b170*b240 + 0.5*b170*b246 + 0.5*b170*b253 + 0.5 *b170*b257 + 0.5*b170*b259 + 0.5*b170*b262 + 0.5*b170*b264 + 0.5*b170*b265 + 0.5*b170*b280 + 0.5*b170*b285 + 0.5*b170*b288 + 0.5*b170*b296 + 0.5* b170*b310 + 0.5*b170*b312 + 0.5*b170*b313 + 0.5*b170*b322 + 0.5*b170*b327 + 0.5*b170*b330 + 0.5*b170*b332 + 0.5*b170*b335 + 0.5*b170*b340 + 0.5* b170*b344 + 0.5*b170*b345 + 0.5*b170*b347 + 0.5*b170*b348 + 0.5*b170*b352 + 0.5*b170*b354 + 0.5*b170*b358 + 0.5*b170*b360 + 0.5*b170*b367 + 0.5* b170*b372 + 0.5*b170*b380 + 0.5*b170*b383 + 0.5*b170*b385 + 0.5*b170*b389 + 0.5*b170*b392 + 0.5*b170*b394 + b171*b195 + b171*b196 + 0.5*b171*b220 + 0.5*b171*b222 + 0.5*b171*b233 + 0.5*b171*b240 + 0.5*b171*b246 + 0.5* b171*b253 + 0.5*b171*b257 + 0.5*b171*b259 + 0.5*b171*b262 + 0.5*b171*b264 + 0.5*b171*b265 + 0.5*b171*b280 + 0.5*b171*b285 + 0.5*b171*b288 + 0.5* b171*b296 + 0.5*b171*b310 + 0.5*b171*b312 + 0.5*b171*b313 + 0.5*b171*b322 + 0.5*b171*b327 + 0.5*b171*b330 + 0.5*b171*b332 + 0.5*b171*b335 + 0.5* b171*b340 + 0.5*b171*b344 + 0.5*b171*b345 + 0.5*b171*b347 + 0.5*b171*b348 + 0.5*b171*b352 + 0.5*b171*b354 + 0.5*b171*b358 + 0.5*b171*b360 + 0.5* b171*b367 + 0.5*b171*b372 + 0.5*b171*b380 + 0.5*b171*b383 + 0.5*b171*b385 + 0.5*b171*b389 + 0.5*b171*b392 + 0.5*b171*b394 + b172*b178 + b172*b189 + b172*b190 + 0.5*b172*b210 + 0.5*b172*b216 + 0.5*b172*b220 + 0.5*b172* b222 + 0.5*b172*b226 + 0.5*b172*b227 + 0.5*b172*b230 + 0.5*b172*b233 + 0.5 *b172*b234 + 0.5*b172*b235 + 0.5*b172*b239 + 0.5*b172*b240 + 0.5*b172*b262 + 0.5*b172*b264 + 0.5*b172*b265 + 0.5*b172*b275 + 0.5*b172*b284 + 0.5* b172*b285 + 0.5*b172*b287 + 0.5*b172*b292 + 0.5*b172*b295 + 0.5*b172*b296 + 0.5*b172*b313 + 0.5*b172*b340 + 0.5*b172*b351 + 0.5*b172*b352 + 0.5* b172*b368 + 0.5*b172*b376 + 0.5*b172*b390 + 0.5*b172*b391 + b173*b238 + 0.5*b174*b175 + b174*b176 + 0.5*b174*b182 + 0.5*b174*b183 + b174*b184 + 0.5*b174*b185 + b174*b191 + 0.5*b174*b209 + 0.5*b174*b212 + 0.5*b174*b229 + 0.5*b174*b232 + 0.5*b174*b236 + 0.5*b174*b237 + 0.5*b174*b242 + 0.5* b174*b246 + 0.5*b174*b252 + 0.5*b174*b255 + 0.5*b174*b256 + 0.5*b174*b269 + 0.5*b174*b270 + 0.5*b174*b273 + 0.5*b174*b276 + 0.5*b174*b279 + 0.5* b174*b281 + 0.5*b174*b290 + 0.5*b174*b293 + 0.5*b174*b294 + 0.5*b174*b297 + 0.5*b174*b299 + 0.5*b174*b300 + 0.5*b174*b301 + 0.5*b174*b303 + 0.5* b174*b305 + 0.5*b174*b306 + 0.5*b174*b307 + 0.5*b174*b323 + 0.5*b174*b327 + 0.5*b174*b328 + 0.5*b174*b341 + 0.5*b174*b343 + 0.5*b174*b344 + 0.5* b174*b346 + 0.5*b174*b347 + 0.5*b174*b353 + 0.5*b174*b357 + 0.5*b174*b359 + 0.5*b174*b360 + 0.5*b174*b362 + 0.5*b174*b367 + 0.5*b174*b372 + 0.5* b174*b381 + 0.5*b174*b383 + 0.5*b174*b393 + 0.5*b174*b396 + 0.5*b174*b397 + 0.5*b174*b400 + 0.5*b175*b176 + b175*b182 + b175*b183 + 0.5*b175*b184 + b175*b185 + 0.5*b175*b191 + 0.5*b175*b212 + 0.5*b175*b229 + 0.5*b175* b232 + 0.5*b175*b241 + 0.5*b175*b242 + 0.5*b175*b243 + 0.5*b175*b246 + 0.5 *b175*b249 + 0.5*b175*b252 + 0.5*b175*b255 + 0.5*b175*b267 + 0.5*b175*b269 + 0.5*b175*b270 + 0.5*b175*b273 + 0.5*b175*b277 + 0.5*b175*b290 + 0.5* b175*b293 + 0.5*b175*b297 + 0.5*b175*b298 + 0.5*b175*b299 + 0.5*b175*b301 + 0.5*b175*b302 + 0.5*b175*b305 + 0.5*b175*b306 + 0.5*b175*b307 + 0.5* b175*b310 + 0.5*b175*b323 + 0.5*b175*b327 + 0.5*b175*b328 + 0.5*b175*b334 + 0.5*b175*b337 + 0.5*b175*b343 + 0.5*b175*b345 + 0.5*b175*b346 + 0.5* b175*b347 + 0.5*b175*b353 + 0.5*b175*b359 + 0.5*b175*b360 + 0.5*b175*b362 + 0.5*b175*b365 + 0.5*b175*b374 + 0.5*b175*b378 + 0.5*b175*b379 + 0.5* b175*b389 + 0.5*b175*b393 + 0.5*b175*b394 + 0.5*b175*b396 + 0.5*b175*b397 + 0.5*b175*b400 + 0.5*b176*b182 + 0.5*b176*b183 + b176*b184 + 0.5*b176* b185 + b176*b191 + 0.5*b176*b209 + 0.5*b176*b212 + 0.5*b176*b229 + 0.5* b176*b232 + 0.5*b176*b236 + 0.5*b176*b237 + 0.5*b176*b242 + 0.5*b176*b246 + 0.5*b176*b252 + 0.5*b176*b255 + 0.5*b176*b256 + 0.5*b176*b269 + 0.5* b176*b270 + 0.5*b176*b273 + 0.5*b176*b276 + 0.5*b176*b279 + 0.5*b176*b281 + 0.5*b176*b290 + 0.5*b176*b293 + 0.5*b176*b294 + 0.5*b176*b297 + 0.5* b176*b299 + 0.5*b176*b300 + 0.5*b176*b301 + 0.5*b176*b303 + 0.5*b176*b305 + 0.5*b176*b306 + 0.5*b176*b307 + 0.5*b176*b323 + 0.5*b176*b327 + 0.5* b176*b328 + 0.5*b176*b341 + 0.5*b176*b343 + 0.5*b176*b344 + 0.5*b176*b346 + 0.5*b176*b347 + 0.5*b176*b353 + 0.5*b176*b357 + 0.5*b176*b359 + 0.5* b176*b360 + 0.5*b176*b362 + 0.5*b176*b367 + 0.5*b176*b372 + 0.5*b176*b381 + 0.5*b176*b383 + 0.5*b176*b393 + 0.5*b176*b396 + 0.5*b176*b397 + 0.5* b176*b400 + b177*b181 + b178*b189 + b178*b190 + 0.5*b178*b210 + 0.5*b178* b216 + 0.5*b178*b220 + 0.5*b178*b222 + 0.5*b178*b226 + 0.5*b178*b227 + 0.5 *b178*b230 + 0.5*b178*b233 + 0.5*b178*b234 + 0.5*b178*b235 + 0.5*b178*b239 + 0.5*b178*b240 + 0.5*b178*b262 + 0.5*b178*b264 + 0.5*b178*b265 + 0.5* b178*b275 + 0.5*b178*b284 + 0.5*b178*b285 + 0.5*b178*b287 + 0.5*b178*b292 + 0.5*b178*b295 + 0.5*b178*b296 + 0.5*b178*b313 + 0.5*b178*b340 + 0.5* b178*b351 + 0.5*b178*b352 + 0.5*b178*b368 + 0.5*b178*b376 + 0.5*b178*b390 + 0.5*b178*b391 + b179*b187 + b180*b188 + b180*b194 + b182*b183 + 0.5* b182*b184 + b182*b185 + 0.5*b182*b191 + 0.5*b182*b212 + 0.5*b182*b229 + 0.5*b182*b232 + 0.5*b182*b241 + 0.5*b182*b242 + 0.5*b182*b243 + 0.5*b182* b246 + 0.5*b182*b249 + 0.5*b182*b252 + 0.5*b182*b255 + 0.5*b182*b267 + 0.5 *b182*b269 + 0.5*b182*b270 + 0.5*b182*b273 + 0.5*b182*b277 + 0.5*b182*b290 + 0.5*b182*b293 + 0.5*b182*b297 + 0.5*b182*b298 + 0.5*b182*b299 + 0.5* b182*b301 + 0.5*b182*b302 + 0.5*b182*b305 + 0.5*b182*b306 + 0.5*b182*b307 + 0.5*b182*b310 + 0.5*b182*b323 + 0.5*b182*b327 + 0.5*b182*b328 + 0.5* b182*b334 + 0.5*b182*b337 + 0.5*b182*b343 + 0.5*b182*b345 + 0.5*b182*b346 + 0.5*b182*b347 + 0.5*b182*b353 + 0.5*b182*b359 + 0.5*b182*b360 + 0.5* b182*b362 + 0.5*b182*b365 + 0.5*b182*b374 + 0.5*b182*b378 + 0.5*b182*b379 + 0.5*b182*b389 + 0.5*b182*b393 + 0.5*b182*b394 + 0.5*b182*b396 + 0.5* b182*b397 + 0.5*b182*b400 + 0.5*b183*b184 + b183*b185 + 0.5*b183*b191 + 0.5*b183*b212 + 0.5*b183*b229 + 0.5*b183*b232 + 0.5*b183*b241 + 0.5*b183* b242 + 0.5*b183*b243 + 0.5*b183*b246 + 0.5*b183*b249 + 0.5*b183*b252 + 0.5 *b183*b255 + 0.5*b183*b267 + 0.5*b183*b269 + 0.5*b183*b270 + 0.5*b183*b273 + 0.5*b183*b277 + 0.5*b183*b290 + 0.5*b183*b293 + 0.5*b183*b297 + 0.5* b183*b298 + 0.5*b183*b299 + 0.5*b183*b301 + 0.5*b183*b302 + 0.5*b183*b305 + 0.5*b183*b306 + 0.5*b183*b307 + 0.5*b183*b310 + 0.5*b183*b323 + 0.5* b183*b327 + 0.5*b183*b328 + 0.5*b183*b334 + 0.5*b183*b337 + 0.5*b183*b343 + 0.5*b183*b345 + 0.5*b183*b346 + 0.5*b183*b347 + 0.5*b183*b353 + 0.5* b183*b359 + 0.5*b183*b360 + 0.5*b183*b362 + 0.5*b183*b365 + 0.5*b183*b374 + 0.5*b183*b378 + 0.5*b183*b379 + 0.5*b183*b389 + 0.5*b183*b393 + 0.5* b183*b394 + 0.5*b183*b396 + 0.5*b183*b397 + 0.5*b183*b400 + 0.5*b184*b185 + b184*b191 + 0.5*b184*b209 + 0.5*b184*b212 + 0.5*b184*b229 + 0.5*b184* b232 + 0.5*b184*b236 + 0.5*b184*b237 + 0.5*b184*b242 + 0.5*b184*b246 + 0.5 *b184*b252 + 0.5*b184*b255 + 0.5*b184*b256 + 0.5*b184*b269 + 0.5*b184*b270 + 0.5*b184*b273 + 0.5*b184*b276 + 0.5*b184*b279 + 0.5*b184*b281 + 0.5* b184*b290 + 0.5*b184*b293 + 0.5*b184*b294 + 0.5*b184*b297 + 0.5*b184*b299 + 0.5*b184*b300 + 0.5*b184*b301 + 0.5*b184*b303 + 0.5*b184*b305 + 0.5* b184*b306 + 0.5*b184*b307 + 0.5*b184*b323 + 0.5*b184*b327 + 0.5*b184*b328 + 0.5*b184*b341 + 0.5*b184*b343 + 0.5*b184*b344 + 0.5*b184*b346 + 0.5* b184*b347 + 0.5*b184*b353 + 0.5*b184*b357 + 0.5*b184*b359 + 0.5*b184*b360 + 0.5*b184*b362 + 0.5*b184*b367 + 0.5*b184*b372 + 0.5*b184*b381 + 0.5* b184*b383 + 0.5*b184*b393 + 0.5*b184*b396 + 0.5*b184*b397 + 0.5*b184*b400 + 0.5*b185*b191 + 0.5*b185*b212 + 0.5*b185*b229 + 0.5*b185*b232 + 0.5* b185*b241 + 0.5*b185*b242 + 0.5*b185*b243 + 0.5*b185*b246 + 0.5*b185*b249 + 0.5*b185*b252 + 0.5*b185*b255 + 0.5*b185*b267 + 0.5*b185*b269 + 0.5* b185*b270 + 0.5*b185*b273 + 0.5*b185*b277 + 0.5*b185*b290 + 0.5*b185*b293 + 0.5*b185*b297 + 0.5*b185*b298 + 0.5*b185*b299 + 0.5*b185*b301 + 0.5* b185*b302 + 0.5*b185*b305 + 0.5*b185*b306 + 0.5*b185*b307 + 0.5*b185*b310 + 0.5*b185*b323 + 0.5*b185*b327 + 0.5*b185*b328 + 0.5*b185*b334 + 0.5* b185*b337 + 0.5*b185*b343 + 0.5*b185*b345 + 0.5*b185*b346 + 0.5*b185*b347 + 0.5*b185*b353 + 0.5*b185*b359 + 0.5*b185*b360 + 0.5*b185*b362 + 0.5* b185*b365 + 0.5*b185*b374 + 0.5*b185*b378 + 0.5*b185*b379 + 0.5*b185*b389 + 0.5*b185*b393 + 0.5*b185*b394 + 0.5*b185*b396 + 0.5*b185*b397 + 0.5* b185*b400 + b186*b192 + b186*b193 + b186*b197 + b188*b194 + b189*b190 + 0.5*b189*b210 + 0.5*b189*b216 + 0.5*b189*b220 + 0.5*b189*b222 + 0.5*b189* b226 + 0.5*b189*b227 + 0.5*b189*b230 + 0.5*b189*b233 + 0.5*b189*b234 + 0.5 *b189*b235 + 0.5*b189*b239 + 0.5*b189*b240 + 0.5*b189*b262 + 0.5*b189*b264 + 0.5*b189*b265 + 0.5*b189*b275 + 0.5*b189*b284 + 0.5*b189*b285 + 0.5* b189*b287 + 0.5*b189*b292 + 0.5*b189*b295 + 0.5*b189*b296 + 0.5*b189*b313 + 0.5*b189*b340 + 0.5*b189*b351 + 0.5*b189*b352 + 0.5*b189*b368 + 0.5* b189*b376 + 0.5*b189*b390 + 0.5*b189*b391 + 0.5*b190*b210 + 0.5*b190*b216 + 0.5*b190*b220 + 0.5*b190*b222 + 0.5*b190*b226 + 0.5*b190*b227 + 0.5* b190*b230 + 0.5*b190*b233 + 0.5*b190*b234 + 0.5*b190*b235 + 0.5*b190*b239 + 0.5*b190*b240 + 0.5*b190*b262 + 0.5*b190*b264 + 0.5*b190*b265 + 0.5* b190*b275 + 0.5*b190*b284 + 0.5*b190*b285 + 0.5*b190*b287 + 0.5*b190*b292 + 0.5*b190*b295 + 0.5*b190*b296 + 0.5*b190*b313 + 0.5*b190*b340 + 0.5* b190*b351 + 0.5*b190*b352 + 0.5*b190*b368 + 0.5*b190*b376 + 0.5*b190*b390 + 0.5*b190*b391 + 0.5*b191*b209 + 0.5*b191*b212 + 0.5*b191*b229 + 0.5* b191*b232 + 0.5*b191*b236 + 0.5*b191*b237 + 0.5*b191*b242 + 0.5*b191*b246 + 0.5*b191*b252 + 0.5*b191*b255 + 0.5*b191*b256 + 0.5*b191*b269 + 0.5* b191*b270 + 0.5*b191*b273 + 0.5*b191*b276 + 0.5*b191*b279 + 0.5*b191*b281 + 0.5*b191*b290 + 0.5*b191*b293 + 0.5*b191*b294 + 0.5*b191*b297 + 0.5* b191*b299 + 0.5*b191*b300 + 0.5*b191*b301 + 0.5*b191*b303 + 0.5*b191*b305 + 0.5*b191*b306 + 0.5*b191*b307 + 0.5*b191*b323 + 0.5*b191*b327 + 0.5* b191*b328 + 0.5*b191*b341 + 0.5*b191*b343 + 0.5*b191*b344 + 0.5*b191*b346 + 0.5*b191*b347 + 0.5*b191*b353 + 0.5*b191*b357 + 0.5*b191*b359 + 0.5* b191*b360 + 0.5*b191*b362 + 0.5*b191*b367 + 0.5*b191*b372 + 0.5*b191*b381 + 0.5*b191*b383 + 0.5*b191*b393 + 0.5*b191*b396 + 0.5*b191*b397 + 0.5* b191*b400 + b192*b193 + b192*b197 + b193*b197 + b195*b196 + 0.5*b195*b220 + 0.5*b195*b222 + 0.5*b195*b233 + 0.5*b195*b240 + 0.5*b195*b246 + 0.5* b195*b253 + 0.5*b195*b257 + 0.5*b195*b259 + 0.5*b195*b262 + 0.5*b195*b264 + 0.5*b195*b265 + 0.5*b195*b280 + 0.5*b195*b285 + 0.5*b195*b288 + 0.5* b195*b296 + 0.5*b195*b310 + 0.5*b195*b312 + 0.5*b195*b313 + 0.5*b195*b322 + 0.5*b195*b327 + 0.5*b195*b330 + 0.5*b195*b332 + 0.5*b195*b335 + 0.5* b195*b340 + 0.5*b195*b344 + 0.5*b195*b345 + 0.5*b195*b347 + 0.5*b195*b348 + 0.5*b195*b352 + 0.5*b195*b354 + 0.5*b195*b358 + 0.5*b195*b360 + 0.5* b195*b367 + 0.5*b195*b372 + 0.5*b195*b380 + 0.5*b195*b383 + 0.5*b195*b385 + 0.5*b195*b389 + 0.5*b195*b392 + 0.5*b195*b394 + 0.5*b196*b220 + 0.5* b196*b222 + 0.5*b196*b233 + 0.5*b196*b240 + 0.5*b196*b246 + 0.5*b196*b253 + 0.5*b196*b257 + 0.5*b196*b259 + 0.5*b196*b262 + 0.5*b196*b264 + 0.5* b196*b265 + 0.5*b196*b280 + 0.5*b196*b285 + 0.5*b196*b288 + 0.5*b196*b296 + 0.5*b196*b310 + 0.5*b196*b312 + 0.5*b196*b313 + 0.5*b196*b322 + 0.5* b196*b327 + 0.5*b196*b330 + 0.5*b196*b332 + 0.5*b196*b335 + 0.5*b196*b340 + 0.5*b196*b344 + 0.5*b196*b345 + 0.5*b196*b347 + 0.5*b196*b348 + 0.5* b196*b352 + 0.5*b196*b354 + 0.5*b196*b358 + 0.5*b196*b360 + 0.5*b196*b367 + 0.5*b196*b372 + 0.5*b196*b380 + 0.5*b196*b383 + 0.5*b196*b385 + 0.5* b196*b389 + 0.5*b196*b392 + 0.5*b196*b394 + 0.5*b209*b236 + 0.5*b209*b237 + 0.5*b209*b241 + 0.5*b209*b243 + 0.5*b209*b254 + b209*b256 + 0.5*b209* b276 + 0.5*b209*b279 + 0.5*b209*b281 + b209*b294 + b209*b300 + 0.5*b209* b303 + 0.5*b209*b318 + 0.5*b209*b334 + 0.5*b209*b337 + 0.5*b209*b341 + 0.5 *b209*b344 + 0.5*b209*b357 + 0.5*b209*b363 + 0.5*b209*b367 + 0.5*b209*b371 + 0.5*b209*b372 + 0.5*b209*b375 + 0.5*b209*b381 + 0.5*b209*b383 + 0.5* b210*b216 + 0.5*b210*b220 + 0.5*b210*b226 + 0.5*b210*b227 + 0.5*b210*b230 + 0.5*b210*b232 + 0.5*b210*b233 + 0.5*b210*b234 + 0.5*b210*b235 + 0.5* b210*b239 + 0.5*b210*b242 + 0.5*b210*b264 + 0.5*b210*b265 + 0.5*b210*b270 + 0.5*b210*b275 + b210*b287 + 0.5*b210*b292 + 0.5*b210*b295 + 0.5*b210* b346 + 0.5*b210*b351 + 0.5*b210*b368 + 0.5*b210*b376 + 0.5*b210*b390 + 0.5 *b210*b391 + b210*x477 + 0.5*b211*b214 + b211*b223 + 0.5*b211*b250 + 0.5* b211*b258 + 0.5*b211*b260 + 0.5*b211*b261 + 0.5*b211*b271 + 0.5*b211*b314 + 0.5*b211*b325 + b211*b342 + 0.5*b211*b349 + 0.5*b211*b350 + b211*b355 + 0.5*b211*b361 + 0.5*b211*b386 + 0.5*b211*b399 + b212*b229 + 0.5*b212* b230 + 0.5*b212*b232 + 0.5*b212*b235 + 0.5*b212*b242 + 0.5*b212*b246 + 0.5 *b212*b252 + b212*b255 + 0.5*b212*b269 + 0.5*b212*b270 + 0.5*b212*b273 + b212*b290 + 0.5*b212*b292 + 0.5*b212*b293 + 0.5*b212*b297 + 0.5*b212*b299 + 0.5*b212*b301 + 0.5*b212*b305 + 0.5*b212*b306 + 0.5*b212*b307 + 0.5* b212*b323 + 0.5*b212*b327 + 0.5*b212*b328 + 0.5*b212*b343 + 0.5*b212*b346 + 0.5*b212*b347 + 0.5*b212*b353 + 0.5*b212*b359 + 0.5*b212*b360 + 0.5* b212*b362 + 0.5*b212*b393 + 0.5*b212*b396 + 0.5*b212*b397 + 0.5*b212*b400 + b212*x478 + 0.5*b213*b217 + 0.5*b213*b218 + 0.5*b213*b219 + 0.5*b213* b221 + 0.5*b213*b224 + 0.5*b213*b228 + 0.5*b213*b231 + 0.5*b213*b245 + b213*b247 + 0.5*b213*b251 + 0.5*b213*b253 + 0.5*b213*b254 + 0.5*b213*b258 + 0.5*b213*b261 + 0.5*b213*b280 + 0.5*b213*b282 + b213*b286 + 0.5*b213* b288 + 0.5*b213*b315 + 0.5*b213*b316 + 0.5*b213*b317 + 0.5*b213*b319 + 0.5 *b213*b321 + 0.5*b213*b322 + 0.5*b213*b324 + 0.5*b213*b325 + 0.5*b213*b331 + 0.5*b213*b333 + 0.5*b213*b349 + 0.5*b213*b356 + 0.5*b213*b363 + 0.5* b213*b364 + 0.5*b213*b366 + 0.5*b213*b371 + 0.5*b213*b375 + 0.5*b213*b382 + 0.5*b213*b384 + b213*b387 + 0.5*b213*b388 + 0.5*b213*b395 + 0.5*b213* b398 + 0.5*b214*b223 + 0.5*b214*b266 + 0.5*b214*b272 + 0.5*b214*b283 + 0.5 *b214*b338 + 0.5*b214*b342 + 0.5*b214*b355 + 0.5*b214*b373 + 0.5*b215*b225 + 0.5*b215*b228 + 0.5*b215*b236 + 0.5*b215*b237 + 0.5*b215*b274 + 0.5* b215*b278 + 0.5*b215*b291 + 0.5*b215*b303 + 0.5*b215*b304 + 0.5*b215*b309 + b215*b311 + 0.5*b215*b315 + 0.5*b215*b316 + 0.5*b215*b319 + 0.5*b215* b320 + 0.5*b215*b321 + 0.5*b215*b329 + 0.5*b215*b333 + 0.5*b215*b356 + 0.5 *b215*b357 + 0.5*b215*b366 + 0.5*b215*b370 + 0.5*b215*b377 + 0.5*b216*b220 + 0.5*b216*b226 + b216*b227 + 0.5*b216*b230 + 0.5*b216*b233 + 0.5*b216* b234 + 0.5*b216*b235 + 0.5*b216*b239 + 0.5*b216*b264 + 0.5*b216*b265 + b216*b275 + 0.5*b216*b287 + 0.5*b216*b292 + b216*b295 + 0.5*b216*b351 + 0.5*b216*b368 + 0.5*b216*b376 + 0.5*b216*b390 + 0.5*b216*b391 + b216*x479 + 0.5*b217*b225 + 0.5*b217*b228 + b217*b231 + 0.5*b217*b247 + 0.5*b217* b248 + 0.5*b217*b258 + 0.5*b217*b261 + 0.5*b217*b263 + 0.5*b217*b268 + 0.5 *b217*b286 + 0.5*b217*b304 + 0.5*b217*b316 + 0.5*b217*b317 + b217*b324 + 0.5*b217*b325 + 0.5*b217*b326 + 0.5*b217*b329 + 0.5*b217*b333 + 0.5*b217* b349 + 0.5*b217*b356 + 0.5*b217*b370 + b217*b384 + 0.5*b217*b387 + 0.5* b217*b388 + 0.5*b218*b219 + 0.5*b218*b221 + 0.5*b218*b224 + 0.5*b218*b245 + 0.5*b218*b247 + 0.5*b218*b248 + 0.5*b218*b251 + 0.5*b218*b253 + 0.5* b218*b254 + 0.5*b218*b263 + 0.5*b218*b276 + 0.5*b218*b279 + 0.5*b218*b280 + 0.5*b218*b281 + b218*b282 + 0.5*b218*b286 + 0.5*b218*b288 + 0.5*b218* b315 + 0.5*b218*b319 + 0.5*b218*b321 + 0.5*b218*b322 + 0.5*b218*b331 + 0.5 *b218*b363 + 0.5*b218*b364 + 0.5*b218*b366 + 0.5*b218*b371 + 0.5*b218*b375 + 0.5*b218*b381 + b218*b382 + 0.5*b218*b387 + 0.5*b218*b395 + b218*b398 + 0.5*b219*b221 + b219*b224 + 0.5*b219*b245 + 0.5*b219*b247 + 0.5*b219* b251 + 0.5*b219*b253 + 0.5*b219*b254 + 0.5*b219*b280 + 0.5*b219*b282 + 0.5 *b219*b286 + 0.5*b219*b288 + 0.5*b219*b315 + 0.5*b219*b319 + 0.5*b219*b321 + 0.5*b219*b322 + b219*b331 + 0.5*b219*b341 + 0.5*b219*b363 + 0.5*b219* b364 + 0.5*b219*b366 + 0.5*b219*b371 + 0.5*b219*b375 + 0.5*b219*b382 + 0.5 *b219*b387 + b219*b395 + 0.5*b219*b398 + b219*x480 + 0.5*b220*b222 + 0.5* b220*b226 + 0.5*b220*b227 + 0.5*b220*b230 + b220*b233 + 0.5*b220*b234 + 0.5*b220*b235 + 0.5*b220*b239 + 0.5*b220*b240 + 0.5*b220*b246 + 0.5*b220* b257 + 0.5*b220*b259 + b220*b264 + b220*b265 + 0.5*b220*b275 + 0.5*b220* b287 + 0.5*b220*b292 + 0.5*b220*b295 + 0.5*b220*b310 + 0.5*b220*b312 + 0.5 *b220*b313 + 0.5*b220*b327 + 0.5*b220*b330 + 0.5*b220*b332 + 0.5*b220*b335 + 0.5*b220*b345 + 0.5*b220*b347 + 0.5*b220*b348 + 0.5*b220*b351 + 0.5* b220*b352 + 0.5*b220*b354 + 0.5*b220*b358 + 0.5*b220*b360 + 0.5*b220*b368 + 0.5*b220*b376 + 0.5*b220*b380 + 0.5*b220*b385 + 0.5*b220*b389 + 0.5* b220*b390 + 0.5*b220*b391 + 0.5*b220*b392 + 0.5*b220*b394 + 0.5*b221*b224 + b221*b245 + 0.5*b221*b247 + 0.5*b221*b250 + b221*b251 + 0.5*b221*b253 + 0.5*b221*b254 + 0.5*b221*b260 + 0.5*b221*b268 + 0.5*b221*b271 + 0.5* b221*b280 + 0.5*b221*b282 + 0.5*b221*b286 + 0.5*b221*b288 + 0.5*b221*b291 + 0.5*b221*b308 + 0.5*b221*b309 + 0.5*b221*b315 + 0.5*b221*b319 + 0.5* b221*b320 + 0.5*b221*b321 + 0.5*b221*b322 + 0.5*b221*b326 + 0.5*b221*b331 + 0.5*b221*b363 + b221*b364 + 0.5*b221*b366 + 0.5*b221*b371 + 0.5*b221* b375 + 0.5*b221*b377 + 0.5*b221*b382 + 0.5*b221*b386 + 0.5*b221*b387 + 0.5 *b221*b395 + 0.5*b221*b398 + 0.5*b222*b233 + b222*b240 + 0.5*b222*b246 + 0.5*b222*b257 + 0.5*b222*b259 + 0.5*b222*b262 + 0.5*b222*b264 + 0.5*b222* b265 + 0.5*b222*b284 + 0.5*b222*b285 + 0.5*b222*b296 + 0.5*b222*b310 + 0.5 *b222*b312 + b222*b313 + 0.5*b222*b327 + 0.5*b222*b330 + 0.5*b222*b332 + 0.5*b222*b335 + 0.5*b222*b340 + 0.5*b222*b345 + 0.5*b222*b347 + 0.5*b222* b348 + b222*b352 + 0.5*b222*b354 + 0.5*b222*b358 + 0.5*b222*b360 + 0.5* b222*b380 + 0.5*b222*b385 + 0.5*b222*b389 + 0.5*b222*b392 + 0.5*b222*b394 + 0.5*b223*b250 + 0.5*b223*b258 + 0.5*b223*b260 + 0.5*b223*b261 + 0.5* b223*b271 + 0.5*b223*b314 + 0.5*b223*b325 + b223*b342 + 0.5*b223*b349 + 0.5*b223*b350 + b223*b355 + 0.5*b223*b361 + 0.5*b223*b386 + 0.5*b223*b399 + 0.5*b224*b245 + 0.5*b224*b247 + 0.5*b224*b251 + 0.5*b224*b253 + 0.5* b224*b254 + 0.5*b224*b280 + 0.5*b224*b282 + 0.5*b224*b286 + 0.5*b224*b288 + 0.5*b224*b315 + 0.5*b224*b319 + 0.5*b224*b321 + 0.5*b224*b322 + b224* b331 + 0.5*b224*b341 + 0.5*b224*b363 + 0.5*b224*b364 + 0.5*b224*b366 + 0.5 *b224*b371 + 0.5*b224*b375 + 0.5*b224*b382 + 0.5*b224*b387 + b224*b395 + 0.5*b224*b398 + b224*x480 + 0.5*b225*b231 + 0.5*b225*b236 + 0.5*b225*b237 + 0.5*b225*b248 + 0.5*b225*b263 + 0.5*b225*b268 + 0.5*b225*b278 + 0.5* b225*b303 + b225*b304 + 0.5*b225*b311 + 0.5*b225*b315 + 0.5*b225*b319 + 0.5*b225*b321 + 0.5*b225*b324 + 0.5*b225*b326 + b225*b329 + 0.5*b225*b357 + 0.5*b225*b366 + b225*b370 + 0.5*b225*b384 + 0.5*b226*b227 + 0.5*b226* b230 + 0.5*b226*b233 + b226*b234 + 0.5*b226*b235 + b226*b239 + 0.5*b226* b264 + 0.5*b226*b265 + 0.5*b226*b267 + 0.5*b226*b269 + 0.5*b226*b275 + 0.5 *b226*b287 + 0.5*b226*b292 + 0.5*b226*b295 + 0.5*b226*b298 + 0.5*b226*b336 + 0.5*b226*b339 + 0.5*b226*b351 + 0.5*b226*b353 + 0.5*b226*b359 + 0.5* b226*b362 + 0.5*b226*b368 + 0.5*b226*b376 + 0.5*b226*b378 + 0.5*b226*b379 + 0.5*b226*b390 + b226*b391 + b226*x481 + 0.5*b227*b230 + 0.5*b227*b233 + 0.5*b227*b234 + 0.5*b227*b235 + 0.5*b227*b239 + 0.5*b227*b264 + 0.5* b227*b265 + b227*b275 + 0.5*b227*b287 + 0.5*b227*b292 + b227*b295 + 0.5* b227*b351 + 0.5*b227*b368 + 0.5*b227*b376 + 0.5*b227*b390 + 0.5*b227*b391 + b227*x479 + 0.5*b228*b231 + 0.5*b228*b247 + 0.5*b228*b258 + 0.5*b228* b261 + 0.5*b228*b274 + 0.5*b228*b286 + 0.5*b228*b291 + 0.5*b228*b309 + 0.5 *b228*b311 + b228*b316 + 0.5*b228*b317 + 0.5*b228*b320 + 0.5*b228*b324 + 0.5*b228*b325 + b228*b333 + 0.5*b228*b349 + b228*b356 + 0.5*b228*b377 + 0.5*b228*b384 + 0.5*b228*b387 + 0.5*b228*b388 + 0.5*b229*b230 + 0.5*b229* b232 + 0.5*b229*b235 + 0.5*b229*b242 + 0.5*b229*b246 + 0.5*b229*b252 + b229*b255 + 0.5*b229*b269 + 0.5*b229*b270 + 0.5*b229*b273 + b229*b290 + 0.5*b229*b292 + 0.5*b229*b293 + 0.5*b229*b297 + 0.5*b229*b299 + 0.5*b229* b301 + 0.5*b229*b305 + 0.5*b229*b306 + 0.5*b229*b307 + 0.5*b229*b323 + 0.5 *b229*b327 + 0.5*b229*b328 + 0.5*b229*b343 + 0.5*b229*b346 + 0.5*b229*b347 + 0.5*b229*b353 + 0.5*b229*b359 + 0.5*b229*b360 + 0.5*b229*b362 + 0.5* b229*b393 + 0.5*b229*b396 + 0.5*b229*b397 + 0.5*b229*b400 + b229*x478 + 0.5*b230*b233 + 0.5*b230*b234 + b230*b235 + 0.5*b230*b239 + 0.5*b230*b255 + 0.5*b230*b264 + 0.5*b230*b265 + 0.5*b230*b275 + 0.5*b230*b287 + 0.5* b230*b290 + b230*b292 + 0.5*b230*b295 + 0.5*b230*b351 + 0.5*b230*b368 + 0.5*b230*b376 + 0.5*b230*b390 + 0.5*b230*b391 + b230*x478 + 0.5*b231*b247 + 0.5*b231*b248 + 0.5*b231*b258 + 0.5*b231*b261 + 0.5*b231*b263 + 0.5* b231*b268 + 0.5*b231*b286 + 0.5*b231*b304 + 0.5*b231*b316 + 0.5*b231*b317 + b231*b324 + 0.5*b231*b325 + 0.5*b231*b326 + 0.5*b231*b329 + 0.5*b231* b333 + 0.5*b231*b349 + 0.5*b231*b356 + 0.5*b231*b370 + b231*b384 + 0.5* b231*b387 + 0.5*b231*b388 + b232*b242 + 0.5*b232*b246 + 0.5*b232*b252 + 0.5*b232*b255 + 0.5*b232*b269 + b232*b270 + 0.5*b232*b273 + 0.5*b232*b287 + 0.5*b232*b290 + 0.5*b232*b293 + 0.5*b232*b297 + 0.5*b232*b299 + 0.5* b232*b301 + 0.5*b232*b305 + 0.5*b232*b306 + 0.5*b232*b307 + 0.5*b232*b323 + 0.5*b232*b327 + 0.5*b232*b328 + 0.5*b232*b343 + b232*b346 + 0.5*b232* b347 + 0.5*b232*b353 + 0.5*b232*b359 + 0.5*b232*b360 + 0.5*b232*b362 + 0.5 *b232*b393 + 0.5*b232*b396 + 0.5*b232*b397 + 0.5*b232*b400 + b232*x477 + 0.5*b233*b234 + 0.5*b233*b235 + 0.5*b233*b239 + 0.5*b233*b240 + 0.5*b233* b246 + 0.5*b233*b257 + 0.5*b233*b259 + b233*b264 + b233*b265 + 0.5*b233* b275 + 0.5*b233*b287 + 0.5*b233*b292 + 0.5*b233*b295 + 0.5*b233*b310 + 0.5 *b233*b312 + 0.5*b233*b313 + 0.5*b233*b327 + 0.5*b233*b330 + 0.5*b233*b332 + 0.5*b233*b335 + 0.5*b233*b345 + 0.5*b233*b347 + 0.5*b233*b348 + 0.5* b233*b351 + 0.5*b233*b352 + 0.5*b233*b354 + 0.5*b233*b358 + 0.5*b233*b360 + 0.5*b233*b368 + 0.5*b233*b376 + 0.5*b233*b380 + 0.5*b233*b385 + 0.5* b233*b389 + 0.5*b233*b390 + 0.5*b233*b391 + 0.5*b233*b392 + 0.5*b233*b394 + 0.5*b234*b235 + b234*b239 + 0.5*b234*b264 + 0.5*b234*b265 + 0.5*b234* b267 + 0.5*b234*b269 + 0.5*b234*b275 + 0.5*b234*b287 + 0.5*b234*b292 + 0.5 *b234*b295 + 0.5*b234*b298 + 0.5*b234*b336 + 0.5*b234*b339 + 0.5*b234*b351 + 0.5*b234*b353 + 0.5*b234*b359 + 0.5*b234*b362 + 0.5*b234*b368 + 0.5* b234*b376 + 0.5*b234*b378 + 0.5*b234*b379 + 0.5*b234*b390 + b234*b391 + b234*x481 + 0.5*b235*b239 + 0.5*b235*b255 + 0.5*b235*b264 + 0.5*b235*b265 + 0.5*b235*b275 + 0.5*b235*b287 + 0.5*b235*b290 + b235*b292 + 0.5*b235* b295 + 0.5*b235*b351 + 0.5*b235*b368 + 0.5*b235*b376 + 0.5*b235*b390 + 0.5 *b235*b391 + b235*x478 + b236*b237 + 0.5*b236*b256 + 0.5*b236*b276 + 0.5* b236*b278 + 0.5*b236*b279 + 0.5*b236*b281 + 0.5*b236*b294 + 0.5*b236*b300 + b236*b303 + 0.5*b236*b304 + 0.5*b236*b311 + 0.5*b236*b315 + 0.5*b236* b319 + 0.5*b236*b321 + 0.5*b236*b329 + 0.5*b236*b341 + 0.5*b236*b344 + b236*b357 + 0.5*b236*b366 + 0.5*b236*b367 + 0.5*b236*b370 + 0.5*b236*b372 + 0.5*b236*b381 + 0.5*b236*b383 + 0.5*b237*b256 + 0.5*b237*b276 + 0.5* b237*b278 + 0.5*b237*b279 + 0.5*b237*b281 + 0.5*b237*b294 + 0.5*b237*b300 + b237*b303 + 0.5*b237*b304 + 0.5*b237*b311 + 0.5*b237*b315 + 0.5*b237* b319 + 0.5*b237*b321 + 0.5*b237*b329 + 0.5*b237*b341 + 0.5*b237*b344 + b237*b357 + 0.5*b237*b366 + 0.5*b237*b367 + 0.5*b237*b370 + 0.5*b237*b372 + 0.5*b237*b381 + 0.5*b237*b383 + 0.5*b239*b264 + 0.5*b239*b265 + 0.5* b239*b267 + 0.5*b239*b269 + 0.5*b239*b275 + 0.5*b239*b287 + 0.5*b239*b292 + 0.5*b239*b295 + 0.5*b239*b298 + 0.5*b239*b336 + 0.5*b239*b339 + 0.5* b239*b351 + 0.5*b239*b353 + 0.5*b239*b359 + 0.5*b239*b362 + 0.5*b239*b368 + 0.5*b239*b376 + 0.5*b239*b378 + 0.5*b239*b379 + 0.5*b239*b390 + b239* b391 + b239*x481 + 0.5*b240*b246 + 0.5*b240*b257 + 0.5*b240*b259 + 0.5* b240*b262 + 0.5*b240*b264 + 0.5*b240*b265 + 0.5*b240*b284 + 0.5*b240*b285 + 0.5*b240*b296 + 0.5*b240*b310 + 0.5*b240*b312 + b240*b313 + 0.5*b240* b327 + 0.5*b240*b330 + 0.5*b240*b332 + 0.5*b240*b335 + 0.5*b240*b340 + 0.5 *b240*b345 + 0.5*b240*b347 + 0.5*b240*b348 + b240*b352 + 0.5*b240*b354 + 0.5*b240*b358 + 0.5*b240*b360 + 0.5*b240*b380 + 0.5*b240*b385 + 0.5*b240* b389 + 0.5*b240*b392 + 0.5*b240*b394 + b241*b243 + 0.5*b241*b249 + 0.5* b241*b254 + 0.5*b241*b256 + 0.5*b241*b267 + 0.5*b241*b277 + 0.5*b241*b294 + 0.5*b241*b298 + 0.5*b241*b300 + 0.5*b241*b302 + 0.5*b241*b310 + 0.5* b241*b318 + b241*b334 + b241*b337 + 0.5*b241*b345 + 0.5*b241*b363 + 0.5* b241*b365 + 0.5*b241*b371 + 0.5*b241*b374 + 0.5*b241*b375 + 0.5*b241*b378 + 0.5*b241*b379 + 0.5*b241*b389 + 0.5*b241*b394 + 0.5*b242*b246 + 0.5* b242*b252 + 0.5*b242*b255 + 0.5*b242*b269 + b242*b270 + 0.5*b242*b273 + 0.5*b242*b287 + 0.5*b242*b290 + 0.5*b242*b293 + 0.5*b242*b297 + 0.5*b242* b299 + 0.5*b242*b301 + 0.5*b242*b305 + 0.5*b242*b306 + 0.5*b242*b307 + 0.5 *b242*b323 + 0.5*b242*b327 + 0.5*b242*b328 + 0.5*b242*b343 + b242*b346 + 0.5*b242*b347 + 0.5*b242*b353 + 0.5*b242*b359 + 0.5*b242*b360 + 0.5*b242* b362 + 0.5*b242*b393 + 0.5*b242*b396 + 0.5*b242*b397 + 0.5*b242*b400 + b242*x477 + 0.5*b243*b249 + 0.5*b243*b254 + 0.5*b243*b256 + 0.5*b243*b267 + 0.5*b243*b277 + 0.5*b243*b294 + 0.5*b243*b298 + 0.5*b243*b300 + 0.5* b243*b302 + 0.5*b243*b310 + 0.5*b243*b318 + b243*b334 + b243*b337 + 0.5* b243*b345 + 0.5*b243*b363 + 0.5*b243*b365 + 0.5*b243*b371 + 0.5*b243*b374 + 0.5*b243*b375 + 0.5*b243*b378 + 0.5*b243*b379 + 0.5*b243*b389 + 0.5* b243*b394 + 0.5*b244*b249 + 0.5*b244*b257 + 0.5*b244*b273 + 0.5*b244*b277 + 0.5*b244*b284 + 0.5*b244*b289 + 0.5*b244*b301 + 0.5*b244*b323 + 0.5* b244*b332 + 0.5*b244*b351 + 0.5*b244*b354 + 0.5*b244*b358 + 0.5*b244*b365 + 0.5*b244*b368 + 0.5*b244*b374 + 0.5*b244*b376 + 0.5*b244*b390 + 0.5* b244*b396 + 0.5*b244*b419 + 0.5*b244*b458 + 0.5*b244*b464 + 0.5*b245*b247 + 0.5*b245*b250 + b245*b251 + 0.5*b245*b253 + 0.5*b245*b254 + 0.5*b245* b260 + 0.5*b245*b268 + 0.5*b245*b271 + 0.5*b245*b280 + 0.5*b245*b282 + 0.5 *b245*b286 + 0.5*b245*b288 + 0.5*b245*b291 + 0.5*b245*b308 + 0.5*b245*b309 + 0.5*b245*b315 + 0.5*b245*b319 + 0.5*b245*b320 + 0.5*b245*b321 + 0.5* b245*b322 + 0.5*b245*b326 + 0.5*b245*b331 + 0.5*b245*b363 + b245*b364 + 0.5*b245*b366 + 0.5*b245*b371 + 0.5*b245*b375 + 0.5*b245*b377 + 0.5*b245* b382 + 0.5*b245*b386 + 0.5*b245*b387 + 0.5*b245*b395 + 0.5*b245*b398 + 0.5 *b246*b252 + 0.5*b246*b255 + 0.5*b246*b257 + 0.5*b246*b259 + 0.5*b246*b264 + 0.5*b246*b265 + 0.5*b246*b269 + 0.5*b246*b270 + 0.5*b246*b273 + 0.5* b246*b290 + 0.5*b246*b293 + 0.5*b246*b297 + 0.5*b246*b299 + 0.5*b246*b301 + 0.5*b246*b305 + 0.5*b246*b306 + 0.5*b246*b307 + 0.5*b246*b310 + 0.5* b246*b312 + 0.5*b246*b313 + 0.5*b246*b323 + b246*b327 + 0.5*b246*b328 + 0.5*b246*b330 + 0.5*b246*b332 + 0.5*b246*b335 + 0.5*b246*b343 + 0.5*b246* b345 + 0.5*b246*b346 + b246*b347 + 0.5*b246*b348 + 0.5*b246*b352 + 0.5* b246*b353 + 0.5*b246*b354 + 0.5*b246*b358 + 0.5*b246*b359 + b246*b360 + 0.5*b246*b362 + 0.5*b246*b380 + 0.5*b246*b385 + 0.5*b246*b389 + 0.5*b246* b392 + 0.5*b246*b393 + 0.5*b246*b394 + 0.5*b246*b396 + 0.5*b246*b397 + 0.5 *b246*b400 + 0.5*b247*b251 + 0.5*b247*b253 + 0.5*b247*b254 + 0.5*b247*b258 + 0.5*b247*b261 + 0.5*b247*b280 + 0.5*b247*b282 + b247*b286 + 0.5*b247* b288 + 0.5*b247*b315 + 0.5*b247*b316 + 0.5*b247*b317 + 0.5*b247*b319 + 0.5 *b247*b321 + 0.5*b247*b322 + 0.5*b247*b324 + 0.5*b247*b325 + 0.5*b247*b331 + 0.5*b247*b333 + 0.5*b247*b349 + 0.5*b247*b356 + 0.5*b247*b363 + 0.5* b247*b364 + 0.5*b247*b366 + 0.5*b247*b371 + 0.5*b247*b375 + 0.5*b247*b382 + 0.5*b247*b384 + b247*b387 + 0.5*b247*b388 + 0.5*b247*b395 + 0.5*b247* b398 + b248*b263 + 0.5*b248*b268 + 0.5*b248*b276 + 0.5*b248*b279 + 0.5* b248*b281 + 0.5*b248*b282 + 0.5*b248*b304 + 0.5*b248*b324 + 0.5*b248*b326 + 0.5*b248*b329 + 0.5*b248*b370 + 0.5*b248*b381 + 0.5*b248*b382 + 0.5* b248*b384 + 0.5*b248*b398 + 0.5*b249*b267 + 0.5*b249*b273 + b249*b277 + 0.5*b249*b284 + 0.5*b249*b289 + 0.5*b249*b298 + 0.5*b249*b301 + 0.5*b249* b302 + 0.5*b249*b310 + 0.5*b249*b323 + 0.5*b249*b334 + 0.5*b249*b337 + 0.5 *b249*b345 + 0.5*b249*b351 + b249*b365 + 0.5*b249*b368 + b249*b374 + 0.5* b249*b376 + 0.5*b249*b378 + 0.5*b249*b379 + 0.5*b249*b389 + 0.5*b249*b390 + 0.5*b249*b394 + 0.5*b249*b396 + 0.5*b250*b251 + 0.5*b250*b258 + b250* b260 + 0.5*b250*b261 + 0.5*b250*b268 + b250*b271 + 0.5*b250*b291 + 0.5* b250*b308 + 0.5*b250*b309 + 0.5*b250*b314 + 0.5*b250*b320 + 0.5*b250*b325 + 0.5*b250*b326 + 0.5*b250*b342 + 0.5*b250*b349 + 0.5*b250*b350 + 0.5* b250*b355 + 0.5*b250*b361 + 0.5*b250*b364 + 0.5*b250*b377 + b250*b386 + 0.5*b250*b399 + 0.5*b251*b253 + 0.5*b251*b254 + 0.5*b251*b260 + 0.5*b251* b268 + 0.5*b251*b271 + 0.5*b251*b280 + 0.5*b251*b282 + 0.5*b251*b286 + 0.5 *b251*b288 + 0.5*b251*b291 + 0.5*b251*b308 + 0.5*b251*b309 + 0.5*b251*b315 + 0.5*b251*b319 + 0.5*b251*b320 + 0.5*b251*b321 + 0.5*b251*b322 + 0.5* b251*b326 + 0.5*b251*b331 + 0.5*b251*b363 + b251*b364 + 0.5*b251*b366 + 0.5*b251*b371 + 0.5*b251*b375 + 0.5*b251*b377 + 0.5*b251*b382 + 0.5*b251* b386 + 0.5*b251*b387 + 0.5*b251*b395 + 0.5*b251*b398 + 0.5*b252*b255 + 0.5 *b252*b269 + 0.5*b252*b270 + 0.5*b252*b273 + 0.5*b252*b290 + b252*b293 + 0.5*b252*b297 + 0.5*b252*b299 + 0.5*b252*b301 + 0.5*b252*b305 + b252*b306 + 0.5*b252*b307 + 0.5*b252*b323 + 0.5*b252*b327 + b252*b328 + 0.5*b252* b343 + 0.5*b252*b346 + 0.5*b252*b347 + 0.5*b252*b353 + 0.5*b252*b359 + 0.5 *b252*b360 + 0.5*b252*b362 + 0.5*b252*b393 + 0.5*b252*b396 + 0.5*b252*b397 + 0.5*b252*b400 + b252*x482 + 0.5*b253*b254 + 0.5*b253*b262 + b253*b280 + 0.5*b253*b282 + 0.5*b253*b285 + 0.5*b253*b286 + b253*b288 + 0.5*b253* b296 + 0.5*b253*b315 + 0.5*b253*b319 + 0.5*b253*b321 + b253*b322 + 0.5* b253*b331 + 0.5*b253*b340 + 0.5*b253*b344 + 0.5*b253*b363 + 0.5*b253*b364 + 0.5*b253*b366 + 0.5*b253*b367 + 0.5*b253*b371 + 0.5*b253*b372 + 0.5* b253*b375 + 0.5*b253*b382 + 0.5*b253*b383 + 0.5*b253*b387 + 0.5*b253*b395 + 0.5*b253*b398 + 0.5*b254*b256 + 0.5*b254*b280 + 0.5*b254*b282 + 0.5* b254*b286 + 0.5*b254*b288 + 0.5*b254*b294 + 0.5*b254*b300 + 0.5*b254*b315 + 0.5*b254*b318 + 0.5*b254*b319 + 0.5*b254*b321 + 0.5*b254*b322 + 0.5* b254*b331 + 0.5*b254*b334 + 0.5*b254*b337 + b254*b363 + 0.5*b254*b364 + 0.5*b254*b366 + b254*b371 + b254*b375 + 0.5*b254*b382 + 0.5*b254*b387 + 0.5*b254*b395 + 0.5*b254*b398 + 0.5*b255*b269 + 0.5*b255*b270 + 0.5*b255* b273 + b255*b290 + 0.5*b255*b292 + 0.5*b255*b293 + 0.5*b255*b297 + 0.5* b255*b299 + 0.5*b255*b301 + 0.5*b255*b305 + 0.5*b255*b306 + 0.5*b255*b307 + 0.5*b255*b323 + 0.5*b255*b327 + 0.5*b255*b328 + 0.5*b255*b343 + 0.5* b255*b346 + 0.5*b255*b347 + 0.5*b255*b353 + 0.5*b255*b359 + 0.5*b255*b360 + 0.5*b255*b362 + 0.5*b255*b393 + 0.5*b255*b396 + 0.5*b255*b397 + 0.5* b255*b400 + b255*x478 + 0.5*b256*b276 + 0.5*b256*b279 + 0.5*b256*b281 + b256*b294 + b256*b300 + 0.5*b256*b303 + 0.5*b256*b318 + 0.5*b256*b334 + 0.5*b256*b337 + 0.5*b256*b341 + 0.5*b256*b344 + 0.5*b256*b357 + 0.5*b256* b363 + 0.5*b256*b367 + 0.5*b256*b371 + 0.5*b256*b372 + 0.5*b256*b375 + 0.5 *b256*b381 + 0.5*b256*b383 + 0.5*b257*b259 + 0.5*b257*b264 + 0.5*b257*b265 + 0.5*b257*b310 + 0.5*b257*b312 + 0.5*b257*b313 + 0.5*b257*b327 + 0.5* b257*b330 + b257*b332 + 0.5*b257*b335 + 0.5*b257*b345 + 0.5*b257*b347 + 0.5*b257*b348 + 0.5*b257*b352 + b257*b354 + b257*b358 + 0.5*b257*b360 + 0.5*b257*b380 + 0.5*b257*b385 + 0.5*b257*b389 + 0.5*b257*b392 + 0.5*b257* b394 + 0.5*b257*b419 + 0.5*b257*b458 + 0.5*b257*b464 + 0.5*b258*b260 + b258*b261 + 0.5*b258*b271 + 0.5*b258*b286 + 0.5*b258*b314 + 0.5*b258*b316 + 0.5*b258*b317 + 0.5*b258*b324 + b258*b325 + 0.5*b258*b333 + 0.5*b258* b342 + b258*b349 + 0.5*b258*b350 + 0.5*b258*b355 + 0.5*b258*b356 + 0.5* b258*b361 + 0.5*b258*b384 + 0.5*b258*b386 + 0.5*b258*b387 + 0.5*b258*b388 + 0.5*b258*b399 + 0.5*b259*b264 + 0.5*b259*b265 + 0.5*b259*b310 + 0.5* b259*b312 + 0.5*b259*b313 + 0.5*b259*b327 + 0.5*b259*b330 + 0.5*b259*b332 + b259*b335 + 0.5*b259*b345 + 0.5*b259*b347 + 0.5*b259*b348 + 0.5*b259* b352 + 0.5*b259*b354 + 0.5*b259*b358 + 0.5*b259*b360 + b259*b380 + b259* b385 + 0.5*b259*b389 + 0.5*b259*b392 + 0.5*b259*b394 + 0.5*b260*b261 + 0.5 *b260*b268 + b260*b271 + 0.5*b260*b291 + 0.5*b260*b308 + 0.5*b260*b309 + 0.5*b260*b314 + 0.5*b260*b320 + 0.5*b260*b325 + 0.5*b260*b326 + 0.5*b260* b342 + 0.5*b260*b349 + 0.5*b260*b350 + 0.5*b260*b355 + 0.5*b260*b361 + 0.5 *b260*b364 + 0.5*b260*b377 + b260*b386 + 0.5*b260*b399 + 0.5*b261*b271 + 0.5*b261*b286 + 0.5*b261*b314 + 0.5*b261*b316 + 0.5*b261*b317 + 0.5*b261* b324 + b261*b325 + 0.5*b261*b333 + 0.5*b261*b342 + b261*b349 + 0.5*b261* b350 + 0.5*b261*b355 + 0.5*b261*b356 + 0.5*b261*b361 + 0.5*b261*b384 + 0.5 *b261*b386 + 0.5*b261*b387 + 0.5*b261*b388 + 0.5*b261*b399 + 0.5*b262*b280 + 0.5*b262*b284 + b262*b285 + 0.5*b262*b288 + b262*b296 + 0.5*b262*b313 + 0.5*b262*b322 + b262*b340 + 0.5*b262*b344 + 0.5*b262*b352 + 0.5*b262* b367 + 0.5*b262*b372 + 0.5*b262*b383 + 0.5*b263*b268 + 0.5*b263*b276 + 0.5 *b263*b279 + 0.5*b263*b281 + 0.5*b263*b282 + 0.5*b263*b304 + 0.5*b263*b324 + 0.5*b263*b326 + 0.5*b263*b329 + 0.5*b263*b370 + 0.5*b263*b381 + 0.5* b263*b382 + 0.5*b263*b384 + 0.5*b263*b398 + b264*b265 + 0.5*b264*b275 + 0.5*b264*b287 + 0.5*b264*b292 + 0.5*b264*b295 + 0.5*b264*b310 + 0.5*b264* b312 + 0.5*b264*b313 + 0.5*b264*b327 + 0.5*b264*b330 + 0.5*b264*b332 + 0.5 *b264*b335 + 0.5*b264*b345 + 0.5*b264*b347 + 0.5*b264*b348 + 0.5*b264*b351 + 0.5*b264*b352 + 0.5*b264*b354 + 0.5*b264*b358 + 0.5*b264*b360 + 0.5* b264*b368 + 0.5*b264*b376 + 0.5*b264*b380 + 0.5*b264*b385 + 0.5*b264*b389 + 0.5*b264*b390 + 0.5*b264*b391 + 0.5*b264*b392 + 0.5*b264*b394 + 0.5* b265*b275 + 0.5*b265*b287 + 0.5*b265*b292 + 0.5*b265*b295 + 0.5*b265*b310 + 0.5*b265*b312 + 0.5*b265*b313 + 0.5*b265*b327 + 0.5*b265*b330 + 0.5* b265*b332 + 0.5*b265*b335 + 0.5*b265*b345 + 0.5*b265*b347 + 0.5*b265*b348 + 0.5*b265*b351 + 0.5*b265*b352 + 0.5*b265*b354 + 0.5*b265*b358 + 0.5* b265*b360 + 0.5*b265*b368 + 0.5*b265*b376 + 0.5*b265*b380 + 0.5*b265*b385 + 0.5*b265*b389 + 0.5*b265*b390 + 0.5*b265*b391 + 0.5*b265*b392 + 0.5* b265*b394 + b266*b272 + b266*b283 + b266*b338 + 0.5*b266*b369 + 0.5*b266* b373 + 0.5*b267*b269 + 0.5*b267*b277 + b267*b298 + 0.5*b267*b302 + 0.5* b267*b310 + 0.5*b267*b334 + 0.5*b267*b336 + 0.5*b267*b337 + 0.5*b267*b339 + 0.5*b267*b345 + 0.5*b267*b353 + 0.5*b267*b359 + 0.5*b267*b362 + 0.5* b267*b365 + 0.5*b267*b374 + b267*b378 + b267*b379 + 0.5*b267*b389 + 0.5* b267*b391 + 0.5*b267*b394 + b267*x481 + 0.5*b268*b271 + 0.5*b268*b291 + 0.5*b268*b304 + 0.5*b268*b308 + 0.5*b268*b309 + 0.5*b268*b320 + 0.5*b268* b324 + b268*b326 + 0.5*b268*b329 + 0.5*b268*b364 + 0.5*b268*b370 + 0.5* b268*b377 + 0.5*b268*b384 + 0.5*b268*b386 + 0.5*b269*b270 + 0.5*b269*b273 + 0.5*b269*b290 + 0.5*b269*b293 + 0.5*b269*b297 + 0.5*b269*b298 + 0.5* b269*b299 + 0.5*b269*b301 + 0.5*b269*b305 + 0.5*b269*b306 + 0.5*b269*b307 + 0.5*b269*b323 + 0.5*b269*b327 + 0.5*b269*b328 + 0.5*b269*b336 + 0.5* b269*b339 + 0.5*b269*b343 + 0.5*b269*b346 + 0.5*b269*b347 + b269*b353 + b269*b359 + 0.5*b269*b360 + b269*b362 + 0.5*b269*b378 + 0.5*b269*b379 + 0.5*b269*b391 + 0.5*b269*b393 + 0.5*b269*b396 + 0.5*b269*b397 + 0.5*b269* b400 + b269*x481 + 0.5*b270*b273 + 0.5*b270*b287 + 0.5*b270*b290 + 0.5* b270*b293 + 0.5*b270*b297 + 0.5*b270*b299 + 0.5*b270*b301 + 0.5*b270*b305 + 0.5*b270*b306 + 0.5*b270*b307 + 0.5*b270*b323 + 0.5*b270*b327 + 0.5* b270*b328 + 0.5*b270*b343 + b270*b346 + 0.5*b270*b347 + 0.5*b270*b353 + 0.5*b270*b359 + 0.5*b270*b360 + 0.5*b270*b362 + 0.5*b270*b393 + 0.5*b270* b396 + 0.5*b270*b397 + 0.5*b270*b400 + b270*x477 + 0.5*b271*b291 + 0.5* b271*b308 + 0.5*b271*b309 + 0.5*b271*b314 + 0.5*b271*b320 + 0.5*b271*b325 + 0.5*b271*b326 + 0.5*b271*b342 + 0.5*b271*b349 + 0.5*b271*b350 + 0.5* b271*b355 + 0.5*b271*b361 + 0.5*b271*b364 + 0.5*b271*b377 + b271*b386 + 0.5*b271*b399 + b272*b283 + b272*b338 + 0.5*b272*b369 + 0.5*b272*b373 + 0.5*b273*b277 + 0.5*b273*b284 + 0.5*b273*b289 + 0.5*b273*b290 + 0.5*b273* b293 + 0.5*b273*b297 + 0.5*b273*b299 + b273*b301 + 0.5*b273*b305 + 0.5* b273*b306 + 0.5*b273*b307 + b273*b323 + 0.5*b273*b327 + 0.5*b273*b328 + 0.5*b273*b343 + 0.5*b273*b346 + 0.5*b273*b347 + 0.5*b273*b351 + 0.5*b273* b353 + 0.5*b273*b359 + 0.5*b273*b360 + 0.5*b273*b362 + 0.5*b273*b365 + 0.5 *b273*b368 + 0.5*b273*b374 + 0.5*b273*b376 + 0.5*b273*b390 + 0.5*b273*b393 + b273*b396 + 0.5*b273*b397 + 0.5*b273*b400 + 0.5*b274*b291 + 0.5*b274* b309 + 0.5*b274*b311 + 0.5*b274*b316 + 0.5*b274*b320 + 0.5*b274*b333 + 0.5 *b274*b356 + 0.5*b274*b377 + b274*x483 + 0.5*b275*b287 + 0.5*b275*b292 + b275*b295 + 0.5*b275*b351 + 0.5*b275*b368 + 0.5*b275*b376 + 0.5*b275*b390 + 0.5*b275*b391 + b275*x479 + b276*b279 + b276*b281 + 0.5*b276*b282 + 0.5 *b276*b294 + 0.5*b276*b300 + 0.5*b276*b303 + 0.5*b276*b341 + 0.5*b276*b344 + 0.5*b276*b357 + 0.5*b276*b367 + 0.5*b276*b372 + b276*b381 + 0.5*b276* b382 + 0.5*b276*b383 + 0.5*b276*b398 + 0.5*b277*b284 + 0.5*b277*b289 + 0.5 *b277*b298 + 0.5*b277*b301 + 0.5*b277*b302 + 0.5*b277*b310 + 0.5*b277*b323 + 0.5*b277*b334 + 0.5*b277*b337 + 0.5*b277*b345 + 0.5*b277*b351 + b277* b365 + 0.5*b277*b368 + b277*b374 + 0.5*b277*b376 + 0.5*b277*b378 + 0.5* b277*b379 + 0.5*b277*b389 + 0.5*b277*b390 + 0.5*b277*b394 + 0.5*b277*b396 + 0.5*b278*b303 + 0.5*b278*b304 + 0.5*b278*b308 + 0.5*b278*b311 + 0.5* b278*b315 + 0.5*b278*b319 + 0.5*b278*b321 + 0.5*b278*b329 + 0.5*b278*b357 + 0.5*b278*b366 + 0.5*b278*b370 + b279*b281 + 0.5*b279*b282 + 0.5*b279* b294 + 0.5*b279*b300 + 0.5*b279*b303 + 0.5*b279*b341 + 0.5*b279*b344 + 0.5 *b279*b357 + 0.5*b279*b367 + 0.5*b279*b372 + b279*b381 + 0.5*b279*b382 + 0.5*b279*b383 + 0.5*b279*b398 + 0.5*b280*b282 + 0.5*b280*b285 + 0.5*b280* b286 + b280*b288 + 0.5*b280*b296 + 0.5*b280*b315 + 0.5*b280*b319 + 0.5* b280*b321 + b280*b322 + 0.5*b280*b331 + 0.5*b280*b340 + 0.5*b280*b344 + 0.5*b280*b363 + 0.5*b280*b364 + 0.5*b280*b366 + 0.5*b280*b367 + 0.5*b280* b371 + 0.5*b280*b372 + 0.5*b280*b375 + 0.5*b280*b382 + 0.5*b280*b383 + 0.5 *b280*b387 + 0.5*b280*b395 + 0.5*b280*b398 + 0.5*b281*b282 + 0.5*b281*b294 + 0.5*b281*b300 + 0.5*b281*b303 + 0.5*b281*b341 + 0.5*b281*b344 + 0.5* b281*b357 + 0.5*b281*b367 + 0.5*b281*b372 + b281*b381 + 0.5*b281*b382 + 0.5*b281*b383 + 0.5*b281*b398 + 0.5*b282*b286 + 0.5*b282*b288 + 0.5*b282* b315 + 0.5*b282*b319 + 0.5*b282*b321 + 0.5*b282*b322 + 0.5*b282*b331 + 0.5 *b282*b363 + 0.5*b282*b364 + 0.5*b282*b366 + 0.5*b282*b371 + 0.5*b282*b375 + 0.5*b282*b381 + b282*b382 + 0.5*b282*b387 + 0.5*b282*b395 + b282*b398 + b283*b338 + 0.5*b283*b369 + 0.5*b283*b373 + 0.5*b284*b285 + 0.5*b284* b289 + 0.5*b284*b296 + 0.5*b284*b301 + 0.5*b284*b313 + 0.5*b284*b323 + 0.5 *b284*b340 + 0.5*b284*b351 + 0.5*b284*b352 + 0.5*b284*b365 + 0.5*b284*b368 + 0.5*b284*b374 + 0.5*b284*b376 + 0.5*b284*b390 + 0.5*b284*b396 + 0.5* b285*b288 + b285*b296 + 0.5*b285*b313 + 0.5*b285*b322 + b285*b340 + 0.5* b285*b344 + 0.5*b285*b352 + 0.5*b285*b367 + 0.5*b285*b372 + 0.5*b285*b383 + 0.5*b286*b288 + 0.5*b286*b315 + 0.5*b286*b316 + 0.5*b286*b317 + 0.5* b286*b319 + 0.5*b286*b321 + 0.5*b286*b322 + 0.5*b286*b324 + 0.5*b286*b325 + 0.5*b286*b331 + 0.5*b286*b333 + 0.5*b286*b349 + 0.5*b286*b356 + 0.5* b286*b363 + 0.5*b286*b364 + 0.5*b286*b366 + 0.5*b286*b371 + 0.5*b286*b375 + 0.5*b286*b382 + 0.5*b286*b384 + b286*b387 + 0.5*b286*b388 + 0.5*b286* b395 + 0.5*b286*b398 + 0.5*b287*b292 + 0.5*b287*b295 + 0.5*b287*b346 + 0.5 *b287*b351 + 0.5*b287*b368 + 0.5*b287*b376 + 0.5*b287*b390 + 0.5*b287*b391 + b287*x477 + 0.5*b288*b296 + 0.5*b288*b315 + 0.5*b288*b319 + 0.5*b288* b321 + b288*b322 + 0.5*b288*b331 + 0.5*b288*b340 + 0.5*b288*b344 + 0.5* b288*b363 + 0.5*b288*b364 + 0.5*b288*b366 + 0.5*b288*b367 + 0.5*b288*b371 + 0.5*b288*b372 + 0.5*b288*b375 + 0.5*b288*b382 + 0.5*b288*b383 + 0.5* b288*b387 + 0.5*b288*b395 + 0.5*b288*b398 + 0.5*b289*b301 + 0.5*b289*b312 + 0.5*b289*b318 + 0.5*b289*b323 + 0.5*b289*b330 + 0.5*b289*b336 + 0.5* b289*b339 + 0.5*b289*b348 + 0.5*b289*b351 + 0.5*b289*b365 + 0.5*b289*b368 + 0.5*b289*b374 + 0.5*b289*b376 + 0.5*b289*b390 + 0.5*b289*b392 + 0.5* b289*b396 + 0.5*b290*b292 + 0.5*b290*b293 + 0.5*b290*b297 + 0.5*b290*b299 + 0.5*b290*b301 + 0.5*b290*b305 + 0.5*b290*b306 + 0.5*b290*b307 + 0.5* b290*b323 + 0.5*b290*b327 + 0.5*b290*b328 + 0.5*b290*b343 + 0.5*b290*b346 + 0.5*b290*b347 + 0.5*b290*b353 + 0.5*b290*b359 + 0.5*b290*b360 + 0.5* b290*b362 + 0.5*b290*b393 + 0.5*b290*b396 + 0.5*b290*b397 + 0.5*b290*b400 + b290*x478 + 0.5*b291*b308 + b291*b309 + 0.5*b291*b311 + 0.5*b291*b316 + b291*b320 + 0.5*b291*b326 + 0.5*b291*b333 + 0.5*b291*b356 + 0.5*b291* b364 + b291*b377 + 0.5*b291*b386 + 0.5*b292*b295 + 0.5*b292*b351 + 0.5* b292*b368 + 0.5*b292*b376 + 0.5*b292*b390 + 0.5*b292*b391 + b292*x478 + 0.5*b293*b297 + 0.5*b293*b299 + 0.5*b293*b301 + 0.5*b293*b305 + b293*b306 + 0.5*b293*b307 + 0.5*b293*b323 + 0.5*b293*b327 + b293*b328 + 0.5*b293* b343 + 0.5*b293*b346 + 0.5*b293*b347 + 0.5*b293*b353 + 0.5*b293*b359 + 0.5 *b293*b360 + 0.5*b293*b362 + 0.5*b293*b393 + 0.5*b293*b396 + 0.5*b293*b397 + 0.5*b293*b400 + b293*x482 + b294*b300 + 0.5*b294*b303 + 0.5*b294*b318 + 0.5*b294*b334 + 0.5*b294*b337 + 0.5*b294*b341 + 0.5*b294*b344 + 0.5* b294*b357 + 0.5*b294*b363 + 0.5*b294*b367 + 0.5*b294*b371 + 0.5*b294*b372 + 0.5*b294*b375 + 0.5*b294*b381 + 0.5*b294*b383 + 0.5*b295*b351 + 0.5* b295*b368 + 0.5*b295*b376 + 0.5*b295*b390 + 0.5*b295*b391 + b295*x479 + 0.5*b296*b313 + 0.5*b296*b322 + b296*b340 + 0.5*b296*b344 + 0.5*b296*b352 + 0.5*b296*b367 + 0.5*b296*b372 + 0.5*b296*b383 + b297*b299 + 0.5*b297* b301 + b297*b305 + 0.5*b297*b306 + 0.5*b297*b307 + 0.5*b297*b323 + 0.5* b297*b327 + 0.5*b297*b328 + 0.5*b297*b343 + 0.5*b297*b346 + 0.5*b297*b347 + 0.5*b297*b353 + 0.5*b297*b359 + 0.5*b297*b360 + 0.5*b297*b362 + 0.5* b297*b393 + 0.5*b297*b396 + b297*b397 + 0.5*b297*b400 + b297*x484 + 0.5* b298*b302 + 0.5*b298*b310 + 0.5*b298*b334 + 0.5*b298*b336 + 0.5*b298*b337 + 0.5*b298*b339 + 0.5*b298*b345 + 0.5*b298*b353 + 0.5*b298*b359 + 0.5* b298*b362 + 0.5*b298*b365 + 0.5*b298*b374 + b298*b378 + b298*b379 + 0.5* b298*b389 + 0.5*b298*b391 + 0.5*b298*b394 + b298*x481 + 0.5*b299*b301 + b299*b305 + 0.5*b299*b306 + 0.5*b299*b307 + 0.5*b299*b323 + 0.5*b299*b327 + 0.5*b299*b328 + 0.5*b299*b343 + 0.5*b299*b346 + 0.5*b299*b347 + 0.5* b299*b353 + 0.5*b299*b359 + 0.5*b299*b360 + 0.5*b299*b362 + 0.5*b299*b393 + 0.5*b299*b396 + b299*b397 + 0.5*b299*b400 + b299*x484 + 0.5*b300*b303 + 0.5*b300*b318 + 0.5*b300*b334 + 0.5*b300*b337 + 0.5*b300*b341 + 0.5* b300*b344 + 0.5*b300*b357 + 0.5*b300*b363 + 0.5*b300*b367 + 0.5*b300*b371 + 0.5*b300*b372 + 0.5*b300*b375 + 0.5*b300*b381 + 0.5*b300*b383 + 0.5* b301*b305 + 0.5*b301*b306 + 0.5*b301*b307 + b301*b323 + 0.5*b301*b327 + 0.5*b301*b328 + 0.5*b301*b343 + 0.5*b301*b346 + 0.5*b301*b347 + 0.5*b301* b351 + 0.5*b301*b353 + 0.5*b301*b359 + 0.5*b301*b360 + 0.5*b301*b362 + 0.5 *b301*b365 + 0.5*b301*b368 + 0.5*b301*b374 + 0.5*b301*b376 + 0.5*b301*b390 + 0.5*b301*b393 + b301*b396 + 0.5*b301*b397 + 0.5*b301*b400 + 0.5*b302* b307 + 0.5*b302*b310 + 0.5*b302*b334 + 0.5*b302*b337 + 0.5*b302*b343 + 0.5 *b302*b345 + 0.5*b302*b365 + 0.5*b302*b374 + 0.5*b302*b378 + 0.5*b302*b379 + 0.5*b302*b389 + 0.5*b302*b393 + 0.5*b302*b394 + 0.5*b302*b400 + b302* x485 + 0.5*b303*b304 + 0.5*b303*b311 + 0.5*b303*b315 + 0.5*b303*b319 + 0.5 *b303*b321 + 0.5*b303*b329 + 0.5*b303*b341 + 0.5*b303*b344 + b303*b357 + 0.5*b303*b366 + 0.5*b303*b367 + 0.5*b303*b370 + 0.5*b303*b372 + 0.5*b303* b381 + 0.5*b303*b383 + 0.5*b304*b311 + 0.5*b304*b315 + 0.5*b304*b319 + 0.5 *b304*b321 + 0.5*b304*b324 + 0.5*b304*b326 + b304*b329 + 0.5*b304*b357 + 0.5*b304*b366 + b304*b370 + 0.5*b304*b384 + 0.5*b305*b306 + 0.5*b305*b307 + 0.5*b305*b323 + 0.5*b305*b327 + 0.5*b305*b328 + 0.5*b305*b343 + 0.5* b305*b346 + 0.5*b305*b347 + 0.5*b305*b353 + 0.5*b305*b359 + 0.5*b305*b360 + 0.5*b305*b362 + 0.5*b305*b393 + 0.5*b305*b396 + b305*b397 + 0.5*b305* b400 + b305*x484 + 0.5*b306*b307 + 0.5*b306*b323 + 0.5*b306*b327 + b306* b328 + 0.5*b306*b343 + 0.5*b306*b346 + 0.5*b306*b347 + 0.5*b306*b353 + 0.5 *b306*b359 + 0.5*b306*b360 + 0.5*b306*b362 + 0.5*b306*b393 + 0.5*b306*b396 + 0.5*b306*b397 + 0.5*b306*b400 + b306*x482 + 0.5*b307*b323 + 0.5*b307* b327 + 0.5*b307*b328 + b307*b343 + 0.5*b307*b346 + 0.5*b307*b347 + 0.5* b307*b353 + 0.5*b307*b359 + 0.5*b307*b360 + 0.5*b307*b362 + b307*b393 + 0.5*b307*b396 + 0.5*b307*b397 + b307*b400 + b307*x485 + 0.5*b308*b309 + 0.5*b308*b320 + 0.5*b308*b326 + 0.5*b308*b364 + 0.5*b308*b377 + 0.5*b308* b386 + 0.5*b309*b311 + 0.5*b309*b316 + b309*b320 + 0.5*b309*b326 + 0.5* b309*b333 + 0.5*b309*b356 + 0.5*b309*b364 + b309*b377 + 0.5*b309*b386 + 0.5*b310*b312 + 0.5*b310*b313 + 0.5*b310*b327 + 0.5*b310*b330 + 0.5*b310* b332 + 0.5*b310*b334 + 0.5*b310*b335 + 0.5*b310*b337 + b310*b345 + 0.5* b310*b347 + 0.5*b310*b348 + 0.5*b310*b352 + 0.5*b310*b354 + 0.5*b310*b358 + 0.5*b310*b360 + 0.5*b310*b365 + 0.5*b310*b374 + 0.5*b310*b378 + 0.5* b310*b379 + 0.5*b310*b380 + 0.5*b310*b385 + b310*b389 + 0.5*b310*b392 + b310*b394 + 0.5*b311*b315 + 0.5*b311*b316 + 0.5*b311*b319 + 0.5*b311*b320 + 0.5*b311*b321 + 0.5*b311*b329 + 0.5*b311*b333 + 0.5*b311*b356 + 0.5* b311*b357 + 0.5*b311*b366 + 0.5*b311*b370 + 0.5*b311*b377 + 0.5*b312*b313 + 0.5*b312*b318 + 0.5*b312*b327 + b312*b330 + 0.5*b312*b332 + 0.5*b312* b335 + 0.5*b312*b336 + 0.5*b312*b339 + 0.5*b312*b345 + 0.5*b312*b347 + b312*b348 + 0.5*b312*b352 + 0.5*b312*b354 + 0.5*b312*b358 + 0.5*b312*b360 + 0.5*b312*b380 + 0.5*b312*b385 + 0.5*b312*b389 + b312*b392 + 0.5*b312* b394 + 0.5*b313*b327 + 0.5*b313*b330 + 0.5*b313*b332 + 0.5*b313*b335 + 0.5 *b313*b340 + 0.5*b313*b345 + 0.5*b313*b347 + 0.5*b313*b348 + b313*b352 + 0.5*b313*b354 + 0.5*b313*b358 + 0.5*b313*b360 + 0.5*b313*b380 + 0.5*b313* b385 + 0.5*b313*b389 + 0.5*b313*b392 + 0.5*b313*b394 + 0.5*b314*b325 + 0.5 *b314*b342 + 0.5*b314*b349 + b314*b350 + 0.5*b314*b355 + b314*b361 + 0.5* b314*b373 + 0.5*b314*b386 + b314*b399 + b315*b319 + b315*b321 + 0.5*b315* b322 + 0.5*b315*b329 + 0.5*b315*b331 + 0.5*b315*b357 + 0.5*b315*b363 + 0.5 *b315*b364 + b315*b366 + 0.5*b315*b370 + 0.5*b315*b371 + 0.5*b315*b375 + 0.5*b315*b382 + 0.5*b315*b387 + 0.5*b315*b395 + 0.5*b315*b398 + 0.5*b316* b317 + 0.5*b316*b320 + 0.5*b316*b324 + 0.5*b316*b325 + b316*b333 + 0.5* b316*b349 + b316*b356 + 0.5*b316*b377 + 0.5*b316*b384 + 0.5*b316*b387 + 0.5*b316*b388 + 0.5*b317*b324 + 0.5*b317*b325 + 0.5*b317*b333 + 0.5*b317* b349 + 0.5*b317*b356 + 0.5*b317*b384 + 0.5*b317*b387 + 0.5*b317*b388 + b317*x486 + 0.5*b318*b330 + 0.5*b318*b334 + 0.5*b318*b336 + 0.5*b318*b337 + 0.5*b318*b339 + 0.5*b318*b348 + 0.5*b318*b363 + 0.5*b318*b371 + 0.5* b318*b375 + 0.5*b318*b392 + b319*b321 + 0.5*b319*b322 + 0.5*b319*b329 + 0.5*b319*b331 + 0.5*b319*b357 + 0.5*b319*b363 + 0.5*b319*b364 + b319*b366 + 0.5*b319*b370 + 0.5*b319*b371 + 0.5*b319*b375 + 0.5*b319*b382 + 0.5* b319*b387 + 0.5*b319*b395 + 0.5*b319*b398 + 0.5*b320*b326 + 0.5*b320*b333 + 0.5*b320*b356 + 0.5*b320*b364 + b320*b377 + 0.5*b320*b386 + 0.5*b321* b322 + 0.5*b321*b329 + 0.5*b321*b331 + 0.5*b321*b357 + 0.5*b321*b363 + 0.5 *b321*b364 + b321*b366 + 0.5*b321*b370 + 0.5*b321*b371 + 0.5*b321*b375 + 0.5*b321*b382 + 0.5*b321*b387 + 0.5*b321*b395 + 0.5*b321*b398 + 0.5*b322* b331 + 0.5*b322*b340 + 0.5*b322*b344 + 0.5*b322*b363 + 0.5*b322*b364 + 0.5 *b322*b366 + 0.5*b322*b367 + 0.5*b322*b371 + 0.5*b322*b372 + 0.5*b322*b375 + 0.5*b322*b382 + 0.5*b322*b383 + 0.5*b322*b387 + 0.5*b322*b395 + 0.5* b322*b398 + 0.5*b323*b327 + 0.5*b323*b328 + 0.5*b323*b343 + 0.5*b323*b346 + 0.5*b323*b347 + 0.5*b323*b351 + 0.5*b323*b353 + 0.5*b323*b359 + 0.5* b323*b360 + 0.5*b323*b362 + 0.5*b323*b365 + 0.5*b323*b368 + 0.5*b323*b374 + 0.5*b323*b376 + 0.5*b323*b390 + 0.5*b323*b393 + b323*b396 + 0.5*b323* b397 + 0.5*b323*b400 + 0.5*b324*b325 + 0.5*b324*b326 + 0.5*b324*b329 + 0.5 *b324*b333 + 0.5*b324*b349 + 0.5*b324*b356 + 0.5*b324*b370 + b324*b384 + 0.5*b324*b387 + 0.5*b324*b388 + 0.5*b325*b333 + 0.5*b325*b342 + b325*b349 + 0.5*b325*b350 + 0.5*b325*b355 + 0.5*b325*b356 + 0.5*b325*b361 + 0.5* b325*b384 + 0.5*b325*b386 + 0.5*b325*b387 + 0.5*b325*b388 + 0.5*b325*b399 + 0.5*b326*b329 + 0.5*b326*b364 + 0.5*b326*b370 + 0.5*b326*b377 + 0.5* b326*b384 + 0.5*b326*b386 + 0.5*b327*b328 + 0.5*b327*b330 + 0.5*b327*b332 + 0.5*b327*b335 + 0.5*b327*b343 + 0.5*b327*b345 + 0.5*b327*b346 + b327* b347 + 0.5*b327*b348 + 0.5*b327*b352 + 0.5*b327*b353 + 0.5*b327*b354 + 0.5 *b327*b358 + 0.5*b327*b359 + b327*b360 + 0.5*b327*b362 + 0.5*b327*b380 + 0.5*b327*b385 + 0.5*b327*b389 + 0.5*b327*b392 + 0.5*b327*b393 + 0.5*b327* b394 + 0.5*b327*b396 + 0.5*b327*b397 + 0.5*b327*b400 + 0.5*b328*b343 + 0.5 *b328*b346 + 0.5*b328*b347 + 0.5*b328*b353 + 0.5*b328*b359 + 0.5*b328*b360 + 0.5*b328*b362 + 0.5*b328*b393 + 0.5*b328*b396 + 0.5*b328*b397 + 0.5* b328*b400 + b328*x482 + 0.5*b329*b357 + 0.5*b329*b366 + b329*b370 + 0.5* b329*b384 + 0.5*b330*b332 + 0.5*b330*b335 + 0.5*b330*b336 + 0.5*b330*b339 + 0.5*b330*b345 + 0.5*b330*b347 + b330*b348 + 0.5*b330*b352 + 0.5*b330* b354 + 0.5*b330*b358 + 0.5*b330*b360 + 0.5*b330*b380 + 0.5*b330*b385 + 0.5 *b330*b389 + b330*b392 + 0.5*b330*b394 + 0.5*b331*b341 + 0.5*b331*b363 + 0.5*b331*b364 + 0.5*b331*b366 + 0.5*b331*b371 + 0.5*b331*b375 + 0.5*b331* b382 + 0.5*b331*b387 + b331*b395 + 0.5*b331*b398 + b331*x480 + 0.5*b332* b335 + 0.5*b332*b345 + 0.5*b332*b347 + 0.5*b332*b348 + 0.5*b332*b352 + b332*b354 + b332*b358 + 0.5*b332*b360 + 0.5*b332*b380 + 0.5*b332*b385 + 0.5*b332*b389 + 0.5*b332*b392 + 0.5*b332*b394 + 0.5*b332*b419 + 0.5*b332* b458 + 0.5*b332*b464 + 0.5*b333*b349 + b333*b356 + 0.5*b333*b377 + 0.5* b333*b384 + 0.5*b333*b387 + 0.5*b333*b388 + b334*b337 + 0.5*b334*b345 + 0.5*b334*b363 + 0.5*b334*b365 + 0.5*b334*b371 + 0.5*b334*b374 + 0.5*b334* b375 + 0.5*b334*b378 + 0.5*b334*b379 + 0.5*b334*b389 + 0.5*b334*b394 + 0.5 *b335*b345 + 0.5*b335*b347 + 0.5*b335*b348 + 0.5*b335*b352 + 0.5*b335*b354 + 0.5*b335*b358 + 0.5*b335*b360 + b335*b380 + b335*b385 + 0.5*b335*b389 + 0.5*b335*b392 + 0.5*b335*b394 + b336*b339 + 0.5*b336*b348 + 0.5*b336* b353 + 0.5*b336*b359 + 0.5*b336*b362 + 0.5*b336*b378 + 0.5*b336*b379 + 0.5 *b336*b391 + 0.5*b336*b392 + b336*x481 + 0.5*b337*b345 + 0.5*b337*b363 + 0.5*b337*b365 + 0.5*b337*b371 + 0.5*b337*b374 + 0.5*b337*b375 + 0.5*b337* b378 + 0.5*b337*b379 + 0.5*b337*b389 + 0.5*b337*b394 + 0.5*b338*b369 + 0.5 *b338*b373 + 0.5*b339*b348 + 0.5*b339*b353 + 0.5*b339*b359 + 0.5*b339*b362 + 0.5*b339*b378 + 0.5*b339*b379 + 0.5*b339*b391 + 0.5*b339*b392 + b339* x481 + 0.5*b340*b344 + 0.5*b340*b352 + 0.5*b340*b367 + 0.5*b340*b372 + 0.5 *b340*b383 + 0.5*b341*b344 + 0.5*b341*b357 + 0.5*b341*b367 + 0.5*b341*b372 + 0.5*b341*b381 + 0.5*b341*b383 + 0.5*b341*b395 + b341*x480 + 0.5*b342* b349 + 0.5*b342*b350 + b342*b355 + 0.5*b342*b361 + 0.5*b342*b386 + 0.5* b342*b399 + 0.5*b343*b346 + 0.5*b343*b347 + 0.5*b343*b353 + 0.5*b343*b359 + 0.5*b343*b360 + 0.5*b343*b362 + b343*b393 + 0.5*b343*b396 + 0.5*b343* b397 + b343*b400 + b343*x485 + 0.5*b344*b357 + b344*b367 + b344*b372 + 0.5 *b344*b381 + b344*b383 + 0.5*b345*b347 + 0.5*b345*b348 + 0.5*b345*b352 + 0.5*b345*b354 + 0.5*b345*b358 + 0.5*b345*b360 + 0.5*b345*b365 + 0.5*b345* b374 + 0.5*b345*b378 + 0.5*b345*b379 + 0.5*b345*b380 + 0.5*b345*b385 + b345*b389 + 0.5*b345*b392 + b345*b394 + 0.5*b346*b347 + 0.5*b346*b353 + 0.5*b346*b359 + 0.5*b346*b360 + 0.5*b346*b362 + 0.5*b346*b393 + 0.5*b346* b396 + 0.5*b346*b397 + 0.5*b346*b400 + b346*x477 + 0.5*b347*b348 + 0.5* b347*b352 + 0.5*b347*b353 + 0.5*b347*b354 + 0.5*b347*b358 + 0.5*b347*b359 + b347*b360 + 0.5*b347*b362 + 0.5*b347*b380 + 0.5*b347*b385 + 0.5*b347* b389 + 0.5*b347*b392 + 0.5*b347*b393 + 0.5*b347*b394 + 0.5*b347*b396 + 0.5 *b347*b397 + 0.5*b347*b400 + 0.5*b348*b352 + 0.5*b348*b354 + 0.5*b348*b358 + 0.5*b348*b360 + 0.5*b348*b380 + 0.5*b348*b385 + 0.5*b348*b389 + b348* b392 + 0.5*b348*b394 + 0.5*b349*b350 + 0.5*b349*b355 + 0.5*b349*b356 + 0.5 *b349*b361 + 0.5*b349*b384 + 0.5*b349*b386 + 0.5*b349*b387 + 0.5*b349*b388 + 0.5*b349*b399 + 0.5*b350*b355 + b350*b361 + 0.5*b350*b373 + 0.5*b350* b386 + b350*b399 + 0.5*b351*b365 + b351*b368 + 0.5*b351*b374 + b351*b376 + b351*b390 + 0.5*b351*b391 + 0.5*b351*b396 + 0.5*b352*b354 + 0.5*b352* b358 + 0.5*b352*b360 + 0.5*b352*b380 + 0.5*b352*b385 + 0.5*b352*b389 + 0.5 *b352*b392 + 0.5*b352*b394 + b353*b359 + 0.5*b353*b360 + b353*b362 + 0.5* b353*b378 + 0.5*b353*b379 + 0.5*b353*b391 + 0.5*b353*b393 + 0.5*b353*b396 + 0.5*b353*b397 + 0.5*b353*b400 + b353*x481 + b354*b358 + 0.5*b354*b360 + 0.5*b354*b380 + 0.5*b354*b385 + 0.5*b354*b389 + 0.5*b354*b392 + 0.5* b354*b394 + 0.5*b354*b419 + 0.5*b354*b458 + 0.5*b354*b464 + 0.5*b355*b361 + 0.5*b355*b386 + 0.5*b355*b399 + 0.5*b356*b377 + 0.5*b356*b384 + 0.5* b356*b387 + 0.5*b356*b388 + 0.5*b357*b366 + 0.5*b357*b367 + 0.5*b357*b370 + 0.5*b357*b372 + 0.5*b357*b381 + 0.5*b357*b383 + 0.5*b358*b360 + 0.5* b358*b380 + 0.5*b358*b385 + 0.5*b358*b389 + 0.5*b358*b392 + 0.5*b358*b394 + 0.5*b358*b419 + 0.5*b358*b458 + 0.5*b358*b464 + 0.5*b359*b360 + b359* b362 + 0.5*b359*b378 + 0.5*b359*b379 + 0.5*b359*b391 + 0.5*b359*b393 + 0.5 *b359*b396 + 0.5*b359*b397 + 0.5*b359*b400 + b359*x481 + 0.5*b360*b362 + 0.5*b360*b380 + 0.5*b360*b385 + 0.5*b360*b389 + 0.5*b360*b392 + 0.5*b360* b393 + 0.5*b360*b394 + 0.5*b360*b396 + 0.5*b360*b397 + 0.5*b360*b400 + 0.5 *b361*b373 + 0.5*b361*b386 + b361*b399 + 0.5*b362*b378 + 0.5*b362*b379 + 0.5*b362*b391 + 0.5*b362*b393 + 0.5*b362*b396 + 0.5*b362*b397 + 0.5*b362* b400 + b362*x481 + 0.5*b363*b364 + 0.5*b363*b366 + b363*b371 + b363*b375 + 0.5*b363*b382 + 0.5*b363*b387 + 0.5*b363*b395 + 0.5*b363*b398 + 0.5* b364*b366 + 0.5*b364*b371 + 0.5*b364*b375 + 0.5*b364*b377 + 0.5*b364*b382 + 0.5*b364*b386 + 0.5*b364*b387 + 0.5*b364*b395 + 0.5*b364*b398 + 0.5* b365*b368 + b365*b374 + 0.5*b365*b376 + 0.5*b365*b378 + 0.5*b365*b379 + 0.5*b365*b389 + 0.5*b365*b390 + 0.5*b365*b394 + 0.5*b365*b396 + 0.5*b366* b370 + 0.5*b366*b371 + 0.5*b366*b375 + 0.5*b366*b382 + 0.5*b366*b387 + 0.5 *b366*b395 + 0.5*b366*b398 + b367*b372 + 0.5*b367*b381 + b367*b383 + 0.5* b368*b374 + b368*b376 + b368*b390 + 0.5*b368*b391 + 0.5*b368*b396 + 0.5* b370*b384 + b371*b375 + 0.5*b371*b382 + 0.5*b371*b387 + 0.5*b371*b395 + 0.5*b371*b398 + 0.5*b372*b381 + b372*b383 + 0.5*b373*b399 + 0.5*b374*b376 + 0.5*b374*b378 + 0.5*b374*b379 + 0.5*b374*b389 + 0.5*b374*b390 + 0.5* b374*b394 + 0.5*b374*b396 + 0.5*b375*b382 + 0.5*b375*b387 + 0.5*b375*b395 + 0.5*b375*b398 + b376*b390 + 0.5*b376*b391 + 0.5*b376*b396 + 0.5*b377* b386 + b378*b379 + 0.5*b378*b389 + 0.5*b378*b391 + 0.5*b378*b394 + b378* x481 + 0.5*b379*b389 + 0.5*b379*b391 + 0.5*b379*b394 + b379*x481 + b380* b385 + 0.5*b380*b389 + 0.5*b380*b392 + 0.5*b380*b394 + 0.5*b381*b382 + 0.5 *b381*b383 + 0.5*b381*b398 + 0.5*b382*b387 + 0.5*b382*b395 + b382*b398 + 0.5*b384*b387 + 0.5*b384*b388 + 0.5*b385*b389 + 0.5*b385*b392 + 0.5*b385* b394 + 0.5*b386*b399 + 0.5*b387*b388 + 0.5*b387*b395 + 0.5*b387*b398 + b388*x487 + 0.5*b389*b392 + b389*b394 + 0.5*b390*b391 + 0.5*b390*b396 + b391*x481 + 0.5*b392*b394 + 0.5*b393*b396 + 0.5*b393*b397 + b393*b400 + b393*x485 + 0.5*b395*b398 + b395*x480 + 0.5*b396*b397 + 0.5*b396*b400 + 0.5*b397*b400 + b397*x484 + b400*x485 + 0.5*b401*b402 + 0.5*b401*b413 + 0.5*b401*b417 + 0.5*b401*b418 + 0.5*b401*b420 + 0.5*b401*b423 + 0.5*b401* b424 + 0.5*b401*b426 + 0.5*b401*b430 + 0.5*b401*b431 + 0.5*b401*b433 + 0.5 *b401*b434 + 0.5*b401*b435 + b401*b437 + 0.5*b401*b439 + 0.5*b401*b440 + 0.5*b401*b442 + 0.5*b401*b443 + 0.5*b401*b444 + 0.5*b401*b450 + 0.5*b401* b451 + 0.5*b401*b452 + b401*b453 + b401*b463 + 0.5*b401*b465 + 0.5*b402* b405 + 0.5*b402*b406 + 0.5*b402*b416 + 0.5*b402*b417 + 0.5*b402*b418 + 0.5 *b402*b420 + b402*b423 + 0.5*b402*b426 + 0.5*b402*b430 + 0.5*b402*b431 + 0.5*b402*b433 + 0.5*b402*b434 + 0.5*b402*b435 + 0.5*b402*b437 + 0.5*b402* b440 + b402*b442 + 0.5*b402*b443 + 0.5*b402*b444 + 0.5*b402*b451 + b402* b452 + 0.5*b402*b453 + 0.5*b402*b456 + 0.5*b402*b459 + 0.5*b402*b462 + 0.5 *b402*b463 + 0.5*b402*b465 + 0.5*b402*b469 + 0.5*b402*b471 + b403*b404 + 0.5*b403*b419 + b403*b428 + b403*b429 + 0.5*b403*b433 + 0.5*b403*b435 + 0.5*b403*b443 + 0.5*b403*b458 + 0.5*b403*b464 + 0.5*b403*b465 + 0.5*b404* b419 + b404*b428 + b404*b429 + 0.5*b404*b433 + 0.5*b404*b435 + 0.5*b404* b443 + 0.5*b404*b458 + 0.5*b404*b464 + 0.5*b404*b465 + 0.5*b405*b406 + b405*b416 + 0.5*b405*b421 + 0.5*b405*b422 + 0.5*b405*b423 + 0.5*b405*b425 + 0.5*b405*b436 + 0.5*b405*b438 + 0.5*b405*b441 + 0.5*b405*b442 + 0.5* b405*b452 + 0.5*b405*b454 + 0.5*b405*b455 + 0.5*b405*b456 + 0.5*b405*b457 + 0.5*b405*b459 + 0.5*b405*b462 + b405*b469 + b405*b471 + 0.5*b406*b407 + 0.5*b406*b408 + 0.5*b406*b409 + 0.5*b406*b411 + 0.5*b406*b412 + 0.5* b406*b413 + 0.5*b406*b414 + 0.5*b406*b415 + 0.5*b406*b416 + 0.5*b406*b423 + 0.5*b406*b424 + 0.5*b406*b427 + 0.5*b406*b432 + 0.5*b406*b439 + 0.5* b406*b442 + 0.5*b406*b445 + 0.5*b406*b446 + 0.5*b406*b447 + 0.5*b406*b448 + 0.5*b406*b450 + 0.5*b406*b452 + b406*b456 + b406*b459 + 0.5*b406*b460 + 0.5*b406*b461 + b406*b462 + 0.5*b406*b468 + 0.5*b406*b469 + 0.5*b406* b470 + 0.5*b406*b471 + 0.5*b406*b472 + 0.5*b406*b473 + 0.5*b406*b474 + 0.5 *b407*b408 + b407*b409 + 0.5*b407*b411 + 0.5*b407*b412 + 0.5*b407*b413 + 0.5*b407*b414 + b407*b415 + 0.5*b407*b417 + 0.5*b407*b424 + 0.5*b407*b426 + 0.5*b407*b427 + 0.5*b407*b431 + 0.5*b407*b432 + 0.5*b407*b439 + 0.5* b407*b440 + 0.5*b407*b445 + 0.5*b407*b446 + 0.5*b407*b447 + 0.5*b407*b448 + 0.5*b407*b450 + 0.5*b407*b456 + 0.5*b407*b459 + 0.5*b407*b460 + b407* b461 + 0.5*b407*b462 + 0.5*b407*b468 + 0.5*b407*b470 + 0.5*b407*b472 + 0.5 *b407*b473 + 0.5*b407*b474 + 0.5*b408*b409 + 0.5*b408*b411 + 0.5*b408*b412 + 0.5*b408*b413 + 0.5*b408*b414 + 0.5*b408*b415 + 0.5*b408*b424 + 0.5* b408*b427 + 0.5*b408*b432 + 0.5*b408*b439 + 0.5*b408*b445 + 0.5*b408*b446 + 0.5*b408*b447 + b408*b448 + 0.5*b408*b450 + 0.5*b408*b454 + 0.5*b408* b456 + 0.5*b408*b459 + b408*b460 + 0.5*b408*b461 + 0.5*b408*b462 + 0.5* b408*b468 + b408*b470 + 0.5*b408*b472 + 0.5*b408*b473 + 0.5*b408*b474 + 0.5*b409*b411 + 0.5*b409*b412 + 0.5*b409*b413 + 0.5*b409*b414 + b409*b415 + 0.5*b409*b417 + 0.5*b409*b424 + 0.5*b409*b426 + 0.5*b409*b427 + 0.5* b409*b431 + 0.5*b409*b432 + 0.5*b409*b439 + 0.5*b409*b440 + 0.5*b409*b445 + 0.5*b409*b446 + 0.5*b409*b447 + 0.5*b409*b448 + 0.5*b409*b450 + 0.5* b409*b456 + 0.5*b409*b459 + 0.5*b409*b460 + b409*b461 + 0.5*b409*b462 + 0.5*b409*b468 + 0.5*b409*b470 + 0.5*b409*b472 + 0.5*b409*b473 + 0.5*b409* b474 + 0.5*b410*b411 + 0.5*b410*b421 + 0.5*b410*b425 + 0.5*b410*b441 + 0.5 *b410*b445 + 0.5*b410*b446 + b410*b449 + 0.5*b410*b457 + b410*b466 + b410* b467 + 0.5*b410*b474 + 0.5*b411*b412 + 0.5*b411*b413 + 0.5*b411*b414 + 0.5 *b411*b415 + 0.5*b411*b421 + 0.5*b411*b424 + 0.5*b411*b425 + 0.5*b411*b427 + 0.5*b411*b432 + 0.5*b411*b439 + 0.5*b411*b441 + b411*b445 + b411*b446 + 0.5*b411*b447 + 0.5*b411*b448 + 0.5*b411*b449 + 0.5*b411*b450 + 0.5* b411*b456 + 0.5*b411*b457 + 0.5*b411*b459 + 0.5*b411*b460 + 0.5*b411*b461 + 0.5*b411*b462 + 0.5*b411*b466 + 0.5*b411*b467 + 0.5*b411*b468 + 0.5* b411*b470 + 0.5*b411*b472 + 0.5*b411*b473 + b411*b474 + 0.5*b412*b413 + b412*b414 + 0.5*b412*b415 + 0.5*b412*b424 + 0.5*b412*b427 + 0.5*b412*b432 + 0.5*b412*b434 + 0.5*b412*b439 + 0.5*b412*b445 + 0.5*b412*b446 + b412* b447 + 0.5*b412*b448 + 0.5*b412*b450 + 0.5*b412*b451 + 0.5*b412*b456 + 0.5 *b412*b459 + 0.5*b412*b460 + 0.5*b412*b461 + 0.5*b412*b462 + 0.5*b412*b468 + 0.5*b412*b470 + 0.5*b412*b472 + b412*b473 + 0.5*b412*b474 + 0.5*b413* b414 + 0.5*b413*b415 + b413*b424 + 0.5*b413*b427 + 0.5*b413*b432 + 0.5* b413*b437 + b413*b439 + 0.5*b413*b445 + 0.5*b413*b446 + 0.5*b413*b447 + 0.5*b413*b448 + b413*b450 + 0.5*b413*b453 + 0.5*b413*b456 + 0.5*b413*b459 + 0.5*b413*b460 + 0.5*b413*b461 + 0.5*b413*b462 + 0.5*b413*b463 + 0.5* b413*b468 + 0.5*b413*b470 + 0.5*b413*b472 + 0.5*b413*b473 + 0.5*b413*b474 + 0.5*b414*b415 + 0.5*b414*b424 + 0.5*b414*b427 + 0.5*b414*b432 + 0.5* b414*b434 + 0.5*b414*b439 + 0.5*b414*b445 + 0.5*b414*b446 + b414*b447 + 0.5*b414*b448 + 0.5*b414*b450 + 0.5*b414*b451 + 0.5*b414*b456 + 0.5*b414* b459 + 0.5*b414*b460 + 0.5*b414*b461 + 0.5*b414*b462 + 0.5*b414*b468 + 0.5 *b414*b470 + 0.5*b414*b472 + b414*b473 + 0.5*b414*b474 + 0.5*b415*b417 + 0.5*b415*b424 + 0.5*b415*b426 + 0.5*b415*b427 + 0.5*b415*b431 + 0.5*b415* b432 + 0.5*b415*b439 + 0.5*b415*b440 + 0.5*b415*b445 + 0.5*b415*b446 + 0.5 *b415*b447 + 0.5*b415*b448 + 0.5*b415*b450 + 0.5*b415*b456 + 0.5*b415*b459 + 0.5*b415*b460 + b415*b461 + 0.5*b415*b462 + 0.5*b415*b468 + 0.5*b415* b470 + 0.5*b415*b472 + 0.5*b415*b473 + 0.5*b415*b474 + 0.5*b416*b421 + 0.5 *b416*b422 + 0.5*b416*b423 + 0.5*b416*b425 + 0.5*b416*b436 + 0.5*b416*b438 + 0.5*b416*b441 + 0.5*b416*b442 + 0.5*b416*b452 + 0.5*b416*b454 + 0.5* b416*b455 + 0.5*b416*b456 + 0.5*b416*b457 + 0.5*b416*b459 + 0.5*b416*b462 + b416*b469 + b416*b471 + 0.5*b417*b418 + 0.5*b417*b420 + 0.5*b417*b423 + b417*b426 + 0.5*b417*b430 + b417*b431 + 0.5*b417*b433 + 0.5*b417*b434 + 0.5*b417*b435 + 0.5*b417*b437 + b417*b440 + 0.5*b417*b442 + 0.5*b417* b443 + 0.5*b417*b444 + 0.5*b417*b451 + 0.5*b417*b452 + 0.5*b417*b453 + 0.5 *b417*b461 + 0.5*b417*b463 + 0.5*b417*b465 + b418*b420 + 0.5*b418*b422 + 0.5*b418*b423 + 0.5*b418*b426 + 0.5*b418*b427 + b418*b430 + 0.5*b418*b431 + 0.5*b418*b432 + 0.5*b418*b433 + 0.5*b418*b434 + 0.5*b418*b435 + 0.5* b418*b436 + 0.5*b418*b437 + 0.5*b418*b438 + 0.5*b418*b440 + 0.5*b418*b442 + 0.5*b418*b443 + b418*b444 + 0.5*b418*b451 + 0.5*b418*b452 + 0.5*b418* b453 + 0.5*b418*b455 + 0.5*b418*b463 + 0.5*b418*b465 + 0.5*b418*b468 + 0.5 *b418*b472 + 0.5*b419*b428 + 0.5*b419*b429 + b419*b458 + b419*b464 + 0.5* b420*b422 + 0.5*b420*b423 + 0.5*b420*b426 + 0.5*b420*b427 + b420*b430 + 0.5*b420*b431 + 0.5*b420*b432 + 0.5*b420*b433 + 0.5*b420*b434 + 0.5*b420* b435 + 0.5*b420*b436 + 0.5*b420*b437 + 0.5*b420*b438 + 0.5*b420*b440 + 0.5 *b420*b442 + 0.5*b420*b443 + b420*b444 + 0.5*b420*b451 + 0.5*b420*b452 + 0.5*b420*b453 + 0.5*b420*b455 + 0.5*b420*b463 + 0.5*b420*b465 + 0.5*b420* b468 + 0.5*b420*b472 + 0.5*b421*b422 + b421*b425 + 0.5*b421*b436 + 0.5* b421*b438 + b421*b441 + 0.5*b421*b445 + 0.5*b421*b446 + 0.5*b421*b449 + 0.5*b421*b454 + 0.5*b421*b455 + b421*b457 + 0.5*b421*b466 + 0.5*b421*b467 + 0.5*b421*b469 + 0.5*b421*b471 + 0.5*b421*b474 + 0.5*b422*b425 + 0.5* b422*b427 + 0.5*b422*b430 + 0.5*b422*b432 + b422*b436 + b422*b438 + 0.5* b422*b441 + 0.5*b422*b444 + 0.5*b422*b454 + b422*b455 + 0.5*b422*b457 + 0.5*b422*b468 + 0.5*b422*b469 + 0.5*b422*b471 + 0.5*b422*b472 + 0.5*b423* b426 + 0.5*b423*b430 + 0.5*b423*b431 + 0.5*b423*b433 + 0.5*b423*b434 + 0.5 *b423*b435 + 0.5*b423*b437 + 0.5*b423*b440 + b423*b442 + 0.5*b423*b443 + 0.5*b423*b444 + 0.5*b423*b451 + b423*b452 + 0.5*b423*b453 + 0.5*b423*b456 + 0.5*b423*b459 + 0.5*b423*b462 + 0.5*b423*b463 + 0.5*b423*b465 + 0.5* b423*b469 + 0.5*b423*b471 + 0.5*b424*b427 + 0.5*b424*b432 + 0.5*b424*b437 + b424*b439 + 0.5*b424*b445 + 0.5*b424*b446 + 0.5*b424*b447 + 0.5*b424* b448 + b424*b450 + 0.5*b424*b453 + 0.5*b424*b456 + 0.5*b424*b459 + 0.5* b424*b460 + 0.5*b424*b461 + 0.5*b424*b462 + 0.5*b424*b463 + 0.5*b424*b468 + 0.5*b424*b470 + 0.5*b424*b472 + 0.5*b424*b473 + 0.5*b424*b474 + 0.5* b425*b436 + 0.5*b425*b438 + b425*b441 + 0.5*b425*b445 + 0.5*b425*b446 + 0.5*b425*b449 + 0.5*b425*b454 + 0.5*b425*b455 + b425*b457 + 0.5*b425*b466 + 0.5*b425*b467 + 0.5*b425*b469 + 0.5*b425*b471 + 0.5*b425*b474 + 0.5* b426*b430 + b426*b431 + 0.5*b426*b433 + 0.5*b426*b434 + 0.5*b426*b435 + 0.5*b426*b437 + b426*b440 + 0.5*b426*b442 + 0.5*b426*b443 + 0.5*b426*b444 + 0.5*b426*b451 + 0.5*b426*b452 + 0.5*b426*b453 + 0.5*b426*b461 + 0.5* b426*b463 + 0.5*b426*b465 + 0.5*b427*b430 + b427*b432 + 0.5*b427*b436 + 0.5*b427*b438 + 0.5*b427*b439 + 0.5*b427*b444 + 0.5*b427*b445 + 0.5*b427* b446 + 0.5*b427*b447 + 0.5*b427*b448 + 0.5*b427*b450 + 0.5*b427*b455 + 0.5 *b427*b456 + 0.5*b427*b459 + 0.5*b427*b460 + 0.5*b427*b461 + 0.5*b427*b462 + b427*b468 + 0.5*b427*b470 + b427*b472 + 0.5*b427*b473 + 0.5*b427*b474 + b428*b429 + 0.5*b428*b433 + 0.5*b428*b435 + 0.5*b428*b443 + 0.5*b428* b458 + 0.5*b428*b464 + 0.5*b428*b465 + 0.5*b429*b433 + 0.5*b429*b435 + 0.5 *b429*b443 + 0.5*b429*b458 + 0.5*b429*b464 + 0.5*b429*b465 + 0.5*b430*b431 + 0.5*b430*b432 + 0.5*b430*b433 + 0.5*b430*b434 + 0.5*b430*b435 + 0.5* b430*b436 + 0.5*b430*b437 + 0.5*b430*b438 + 0.5*b430*b440 + 0.5*b430*b442 + 0.5*b430*b443 + b430*b444 + 0.5*b430*b451 + 0.5*b430*b452 + 0.5*b430* b453 + 0.5*b430*b455 + 0.5*b430*b463 + 0.5*b430*b465 + 0.5*b430*b468 + 0.5 *b430*b472 + 0.5*b431*b433 + 0.5*b431*b434 + 0.5*b431*b435 + 0.5*b431*b437 + b431*b440 + 0.5*b431*b442 + 0.5*b431*b443 + 0.5*b431*b444 + 0.5*b431* b451 + 0.5*b431*b452 + 0.5*b431*b453 + 0.5*b431*b461 + 0.5*b431*b463 + 0.5 *b431*b465 + 0.5*b432*b436 + 0.5*b432*b438 + 0.5*b432*b439 + 0.5*b432*b444 + 0.5*b432*b445 + 0.5*b432*b446 + 0.5*b432*b447 + 0.5*b432*b448 + 0.5* b432*b450 + 0.5*b432*b455 + 0.5*b432*b456 + 0.5*b432*b459 + 0.5*b432*b460 + 0.5*b432*b461 + 0.5*b432*b462 + b432*b468 + 0.5*b432*b470 + b432*b472 + 0.5*b432*b473 + 0.5*b432*b474 + 0.5*b433*b434 + b433*b435 + 0.5*b433* b437 + 0.5*b433*b440 + 0.5*b433*b442 + b433*b443 + 0.5*b433*b444 + 0.5* b433*b451 + 0.5*b433*b452 + 0.5*b433*b453 + 0.5*b433*b463 + b433*b465 + 0.5*b434*b435 + 0.5*b434*b437 + 0.5*b434*b440 + 0.5*b434*b442 + 0.5*b434* b443 + 0.5*b434*b444 + 0.5*b434*b447 + b434*b451 + 0.5*b434*b452 + 0.5* b434*b453 + 0.5*b434*b463 + 0.5*b434*b465 + 0.5*b434*b473 + 0.5*b435*b437 + 0.5*b435*b440 + 0.5*b435*b442 + b435*b443 + 0.5*b435*b444 + 0.5*b435* b451 + 0.5*b435*b452 + 0.5*b435*b453 + 0.5*b435*b463 + b435*b465 + b436* b438 + 0.5*b436*b441 + 0.5*b436*b444 + 0.5*b436*b454 + b436*b455 + 0.5* b436*b457 + 0.5*b436*b468 + 0.5*b436*b469 + 0.5*b436*b471 + 0.5*b436*b472 + 0.5*b437*b439 + 0.5*b437*b440 + 0.5*b437*b442 + 0.5*b437*b443 + 0.5* b437*b444 + 0.5*b437*b450 + 0.5*b437*b451 + 0.5*b437*b452 + b437*b453 + b437*b463 + 0.5*b437*b465 + 0.5*b438*b441 + 0.5*b438*b444 + 0.5*b438*b454 + b438*b455 + 0.5*b438*b457 + 0.5*b438*b468 + 0.5*b438*b469 + 0.5*b438* b471 + 0.5*b438*b472 + 0.5*b439*b445 + 0.5*b439*b446 + 0.5*b439*b447 + 0.5 *b439*b448 + b439*b450 + 0.5*b439*b453 + 0.5*b439*b456 + 0.5*b439*b459 + 0.5*b439*b460 + 0.5*b439*b461 + 0.5*b439*b462 + 0.5*b439*b463 + 0.5*b439* b468 + 0.5*b439*b470 + 0.5*b439*b472 + 0.5*b439*b473 + 0.5*b439*b474 + 0.5 *b440*b442 + 0.5*b440*b443 + 0.5*b440*b444 + 0.5*b440*b451 + 0.5*b440*b452 + 0.5*b440*b453 + 0.5*b440*b461 + 0.5*b440*b463 + 0.5*b440*b465 + 0.5* b441*b445 + 0.5*b441*b446 + 0.5*b441*b449 + 0.5*b441*b454 + 0.5*b441*b455 + b441*b457 + 0.5*b441*b466 + 0.5*b441*b467 + 0.5*b441*b469 + 0.5*b441* b471 + 0.5*b441*b474 + 0.5*b442*b443 + 0.5*b442*b444 + 0.5*b442*b451 + b442*b452 + 0.5*b442*b453 + 0.5*b442*b456 + 0.5*b442*b459 + 0.5*b442*b462 + 0.5*b442*b463 + 0.5*b442*b465 + 0.5*b442*b469 + 0.5*b442*b471 + 0.5* b443*b444 + 0.5*b443*b451 + 0.5*b443*b452 + 0.5*b443*b453 + 0.5*b443*b463 + b443*b465 + 0.5*b444*b451 + 0.5*b444*b452 + 0.5*b444*b453 + 0.5*b444* b455 + 0.5*b444*b463 + 0.5*b444*b465 + 0.5*b444*b468 + 0.5*b444*b472 + b445*b446 + 0.5*b445*b447 + 0.5*b445*b448 + 0.5*b445*b449 + 0.5*b445*b450 + 0.5*b445*b456 + 0.5*b445*b457 + 0.5*b445*b459 + 0.5*b445*b460 + 0.5* b445*b461 + 0.5*b445*b462 + 0.5*b445*b466 + 0.5*b445*b467 + 0.5*b445*b468 + 0.5*b445*b470 + 0.5*b445*b472 + 0.5*b445*b473 + b445*b474 + 0.5*b446* b447 + 0.5*b446*b448 + 0.5*b446*b449 + 0.5*b446*b450 + 0.5*b446*b456 + 0.5 *b446*b457 + 0.5*b446*b459 + 0.5*b446*b460 + 0.5*b446*b461 + 0.5*b446*b462 + 0.5*b446*b466 + 0.5*b446*b467 + 0.5*b446*b468 + 0.5*b446*b470 + 0.5* b446*b472 + 0.5*b446*b473 + b446*b474 + 0.5*b447*b448 + 0.5*b447*b450 + 0.5*b447*b451 + 0.5*b447*b456 + 0.5*b447*b459 + 0.5*b447*b460 + 0.5*b447* b461 + 0.5*b447*b462 + 0.5*b447*b468 + 0.5*b447*b470 + 0.5*b447*b472 + b447*b473 + 0.5*b447*b474 + 0.5*b448*b450 + 0.5*b448*b454 + 0.5*b448*b456 + 0.5*b448*b459 + b448*b460 + 0.5*b448*b461 + 0.5*b448*b462 + 0.5*b448* b468 + b448*b470 + 0.5*b448*b472 + 0.5*b448*b473 + 0.5*b448*b474 + 0.5* b449*b457 + b449*b466 + b449*b467 + 0.5*b449*b474 + 0.5*b450*b453 + 0.5* b450*b456 + 0.5*b450*b459 + 0.5*b450*b460 + 0.5*b450*b461 + 0.5*b450*b462 + 0.5*b450*b463 + 0.5*b450*b468 + 0.5*b450*b470 + 0.5*b450*b472 + 0.5* b450*b473 + 0.5*b450*b474 + 0.5*b451*b452 + 0.5*b451*b453 + 0.5*b451*b463 + 0.5*b451*b465 + 0.5*b451*b473 + 0.5*b452*b453 + 0.5*b452*b456 + 0.5* b452*b459 + 0.5*b452*b462 + 0.5*b452*b463 + 0.5*b452*b465 + 0.5*b452*b469 + 0.5*b452*b471 + b453*b463 + 0.5*b453*b465 + 0.5*b454*b455 + 0.5*b454* b457 + 0.5*b454*b460 + 0.5*b454*b469 + 0.5*b454*b470 + 0.5*b454*b471 + 0.5 *b455*b457 + 0.5*b455*b468 + 0.5*b455*b469 + 0.5*b455*b471 + 0.5*b455*b472 + b456*b459 + 0.5*b456*b460 + 0.5*b456*b461 + b456*b462 + 0.5*b456*b468 + 0.5*b456*b469 + 0.5*b456*b470 + 0.5*b456*b471 + 0.5*b456*b472 + 0.5* b456*b473 + 0.5*b456*b474 + 0.5*b457*b466 + 0.5*b457*b467 + 0.5*b457*b469 + 0.5*b457*b471 + 0.5*b457*b474 + b458*b464 + 0.5*b459*b460 + 0.5*b459* b461 + b459*b462 + 0.5*b459*b468 + 0.5*b459*b469 + 0.5*b459*b470 + 0.5* b459*b471 + 0.5*b459*b472 + 0.5*b459*b473 + 0.5*b459*b474 + 0.5*b460*b461 + 0.5*b460*b462 + 0.5*b460*b468 + b460*b470 + 0.5*b460*b472 + 0.5*b460* b473 + 0.5*b460*b474 + 0.5*b461*b462 + 0.5*b461*b468 + 0.5*b461*b470 + 0.5 *b461*b472 + 0.5*b461*b473 + 0.5*b461*b474 + 0.5*b462*b468 + 0.5*b462*b469 + 0.5*b462*b470 + 0.5*b462*b471 + 0.5*b462*b472 + 0.5*b462*b473 + 0.5* b462*b474 + 0.5*b463*b465 + b466*b467 + 0.5*b466*b474 + 0.5*b467*b474 + 0.5*b468*b470 + b468*b472 + 0.5*b468*b473 + 0.5*b468*b474 + b469*b471 + 0.5*b470*b472 + 0.5*b470*b473 + 0.5*b470*b474 + 0.5*b472*b473 + 0.5*b472* b474 + 0.5*b473*b474 <= 100 } } Constraint e4 { Definition: - b170 + b196 >= 0; } Constraint e5 { Definition: b170 - b171 >= 0; } Constraint e6 { Definition: b171 - b195 >= 0; } Constraint e7 { Definition: b297 - b305 >= 0; } Constraint e8 { Definition: - b299 + b305 >= 0; } Constraint e9 { Definition: b299 - b397 >= 0; } Constraint e10 { Definition: b257 - b358 >= 0; } Constraint e11 { Definition: - b332 + b358 >= 0; } Constraint e12 { Definition: b332 - b354 >= 0; } Constraint e13 { Definition: - b77 + b93 >= 0; } Constraint e14 { Definition: b77 - b98 >= 0; } Constraint e15 { Definition: - b54 + b98 >= 0; } Constraint e16 { Definition: b56 - b97 >= 0; } Constraint e17 { Definition: - b95 + b97 >= 0; } Constraint e18 { Definition: - b80 + b95 >= 0; } Constraint e19 { Definition: - b434 + b451 >= 0; } Constraint e20 { Definition: - b433 + b435 >= 0; } Constraint e21 { Definition: b433 - b465 >= 0; } Constraint e22 { Definition: - b443 + b465 >= 0; } Constraint e23 { Definition: b401 - b453 >= 0; } Constraint e24 { Definition: b453 - b463 >= 0; } Constraint e25 { Definition: - b437 + b463 >= 0; } Constraint e26 { Definition: - b417 + b431 >= 0; } Constraint e27 { Definition: b417 - b440 >= 0; } Constraint e28 { Definition: - b426 + b440 >= 0; } Constraint e29 { Definition: b418 - b444 >= 0; } Constraint e30 { Definition: - b430 + b444 >= 0; } Constraint e31 { Definition: - b420 + b430 >= 0; } Constraint e32 { Definition: - b402 + b442 >= 0; } Constraint e33 { Definition: b402 - b452 >= 0; } Constraint e34 { Definition: - b423 + b452 >= 0; } Constraint e35 { Definition: - b79 + b105 >= 0; } Constraint e36 { Definition: b79 - b92 >= 0; } Constraint e37 { Definition: - b81 + b92 >= 0; } Constraint e38 { Definition: - b78 + b91 >= 0; } Constraint e39 { Definition: - b59 + b169 >= 0; } Constraint e40 { Definition: b59 - b181 >= 0; } Constraint e41 { Definition: - b177 + b181 >= 0; } Constraint e42 { Definition: - b99 + b100 >= 0; } Constraint e43 { Definition: - b94 + b99 >= 0; } Constraint e44 { Definition: - b57 + b94 >= 0; } Constraint e45 { Definition: - b101 + b102 >= 0; } Constraint e46 { Definition: - b58 + b101 >= 0; } Constraint e47 { Definition: b58 - b104 >= 0; } Constraint e48 { Definition: b76 - b103 >= 0; } Constraint e49 { Definition: - b55 + b103 >= 0; } Constraint e50 { Definition: b55 - b96 >= 0; } Constraint e51 { Definition: b179 - b187 >= 0; } Constraint e52 { Definition: b180 - b194 >= 0; } Constraint e53 { Definition: - b188 + b194 >= 0; } Constraint e54 { Definition: b47 - b62 >= 0; } Constraint e55 { Definition: - b46 + b62 >= 0; } Constraint e56 { Definition: - b45 + b46 >= 0; } Constraint e57 { Definition: - b63 + b66 >= 0; } Constraint e58 { Definition: - b50 + b63 >= 0; } Constraint e59 { Definition: b50 - b51 >= 0; } Constraint e60 { Definition: b49 - b68 >= 0; } Constraint e61 { Definition: - b48 + b68 >= 0; } Constraint e62 { Definition: b48 - b73 >= 0; } Constraint e63 { Definition: b192 - b197 >= 0; } Constraint e64 { Definition: - b193 + b197 >= 0; } Constraint e65 { Definition: - b186 + b193 >= 0; } Constraint e66 { Definition: - b60 + b61 >= 0; } Constraint e67 { Definition: b60 - b71 >= 0; } Constraint e68 { Definition: - b52 + b71 >= 0; } Constraint e69 { Definition: - b53 + b173 >= 0; } Constraint e70 { Definition: b53 - b67 >= 0; } Constraint e71 { Definition: b67 - b238 >= 0; } Constraint e72 { Definition: b65 - b70 >= 0; } Constraint e73 { Definition: - b69 + b70 >= 0; } Constraint e74 { Definition: b64 - b72 >= 0; } Constraint e75 { Definition: b72 - b74 >= 0; } Constraint e76 { Definition: b74 - b75 >= 0; } Constraint e77 { Definition: - b410 + b449 >= 0; } Constraint e78 { Definition: b410 - b466 >= 0; } Constraint e79 { Definition: b466 - b467 >= 0; } Constraint e80 { Definition: b259 - b335 >= 0; } Constraint e81 { Definition: b335 - b385 >= 0; } Constraint e82 { Definition: - b380 + b385 >= 0; } Constraint e83 { Definition: b268 - b326 >= 0; } Constraint e84 { Definition: b324 - b384 >= 0; } Constraint e85 { Definition: - b231 + b384 >= 0; } Constraint e86 { Definition: - b217 + b231 >= 0; } Constraint e87 { Definition: b225 - b370 >= 0; } Constraint e88 { Definition: - b329 + b370 >= 0; } Constraint e89 { Definition: - b304 + b329 >= 0; } Constraint e90 { Definition: b248 - b263 >= 0; } Constraint e91 { Definition: - b344 + b383 >= 0; } Constraint e92 { Definition: b344 - b372 >= 0; } Constraint e93 { Definition: - b367 + b372 >= 0; } Constraint e94 { Definition: - b294 + b300 >= 0; } Constraint e95 { Definition: - b209 + b294 >= 0; } Constraint e96 { Definition: b209 - b256 >= 0; } Constraint e97 { Definition: b184 - b191 >= 0; } Constraint e98 { Definition: - b176 + b191 >= 0; } Constraint e99 { Definition: - b174 + b176 >= 0; } Constraint e100 { Definition: b303 - b357 >= 0; } Constraint e101 { Definition: - b237 + b357 >= 0; } Constraint e102 { Definition: - b236 + b237 >= 0; } Constraint e103 { Definition: - b276 + b281 >= 0; } Constraint e104 { Definition: b276 - b279 >= 0; } Constraint e105 { Definition: b279 - b381 >= 0; } Constraint e106 { Definition: - b436 + b455 >= 0; } Constraint e107 { Definition: - b422 + b436 >= 0; } Constraint e108 { Definition: b422 - b438 >= 0; } Constraint e109 { Definition: b421 - b425 >= 0; } Constraint e110 { Definition: b425 - b441 >= 0; } Constraint e111 { Definition: b441 - b457 >= 0; } Constraint e112 { Definition: b405 - b471 >= 0; } Constraint e113 { Definition: - b416 + b471 >= 0; } Constraint e114 { Definition: b416 - b469 >= 0; } Constraint e115 { Definition: - b283 + b338 >= 0; } Constraint e116 { Definition: - b272 + b283 >= 0; } Constraint e117 { Definition: - b266 + b272 >= 0; } Constraint e118 { Definition: b347 - b360 >= 0; } Constraint e119 { Definition: - b327 + b360 >= 0; } Constraint e120 { Definition: - b246 + b327 >= 0; } Constraint e121 { Definition: b307 - b343 >= 0; } Constraint e122 { Definition: b343 - b393 >= 0; } Constraint e123 { Definition: b393 - b400 >= 0; } Constraint e124 { Definition: - b301 + b323 >= 0; } Constraint e125 { Definition: b301 - b396 >= 0; } Constraint e126 { Definition: - b273 + b396 >= 0; } Constraint e127 { Definition: - b269 + b353 >= 0; } Constraint e128 { Definition: b269 - b362 >= 0; } Constraint e129 { Definition: - b359 + b362 >= 0; } Constraint e130 { Definition: b252 - b328 >= 0; } Constraint e131 { Definition: - b306 + b328 >= 0; } Constraint e132 { Definition: - b293 + b306 >= 0; } Constraint e133 { Definition: - b183 + b185 >= 0; } Constraint e134 { Definition: - b175 + b183 >= 0; } Constraint e135 { Definition: b175 - b182 >= 0; } Constraint e136 { Definition: - b412 + b447 >= 0; } Constraint e137 { Definition: b412 - b414 >= 0; } Constraint e138 { Definition: b414 - b473 >= 0; } Constraint e139 { Definition: - b408 + b448 >= 0; } Constraint e140 { Definition: b408 - b460 >= 0; } Constraint e141 { Definition: b460 - b470 >= 0; } Constraint e142 { Definition: b424 - b450 >= 0; } Constraint e143 { Definition: - b439 + b450 >= 0; } Constraint e144 { Definition: - b413 + b439 >= 0; } Constraint e145 { Definition: - b407 + b415 >= 0; } Constraint e146 { Definition: b407 - b409 >= 0; } Constraint e147 { Definition: b409 - b461 >= 0; } Constraint e148 { Definition: - b427 + b432 >= 0; } Constraint e149 { Definition: b427 - b468 >= 0; } Constraint e150 { Definition: b468 - b472 >= 0; } Constraint e151 { Definition: b411 - b446 >= 0; } Constraint e152 { Definition: b446 - b474 >= 0; } Constraint e153 { Definition: - b445 + b474 >= 0; } Constraint e154 { Definition: - b406 + b462 >= 0; } Constraint e155 { Definition: b406 - b456 >= 0; } Constraint e156 { Definition: b456 - b459 >= 0; } Constraint e157 { Definition: - b229 + b290 >= 0; } Constraint e158 { Definition: - b212 + b229 >= 0; } Constraint e159 { Definition: b212 - b255 >= 0; } Constraint e160 { Definition: - b230 + b235 >= 0; } Constraint e161 { Definition: b230 - b292 >= 0; } Constraint e162 { Definition: b232 - b346 >= 0; } Constraint e163 { Definition: - b270 + b346 >= 0; } Constraint e164 { Definition: - b242 + b270 >= 0; } Constraint e165 { Definition: - b210 + b287 >= 0; } Constraint e166 { Definition: - b216 + b227 >= 0; } Constraint e167 { Definition: b216 - b295 >= 0; } Constraint e168 { Definition: - b275 + b295 >= 0; } Constraint e169 { Definition: b419 - b458 >= 0; } Constraint e170 { Definition: b458 - b464 >= 0; } Constraint e171 { Definition: - b404 + b429 >= 0; } Constraint e172 { Definition: b404 - b428 >= 0; } Constraint e173 { Definition: - b403 + b428 >= 0; } Constraint e174 { Definition: - b233 + b264 >= 0; } Constraint e175 { Definition: - b220 + b233 >= 0; } Constraint e176 { Definition: b220 - b265 >= 0; } Constraint e177 { Definition: b376 - b390 >= 0; } Constraint e178 { Definition: - b368 + b390 >= 0; } Constraint e179 { Definition: - b351 + b368 >= 0; } Constraint e180 { Definition: b226 - b239 >= 0; } Constraint e181 { Definition: b239 - b391 >= 0; } Constraint e182 { Definition: - b234 + b391 >= 0; } Constraint e183 { Definition: b223 - b342 >= 0; } Constraint e184 { Definition: b342 - b355 >= 0; } Constraint e185 { Definition: - b211 + b355 >= 0; } Constraint e186 { Definition: b250 - b271 >= 0; } Constraint e187 { Definition: - b260 + b271 >= 0; } Constraint e188 { Definition: b260 - b386 >= 0; } Constraint e189 { Definition: b350 - b399 >= 0; } Constraint e190 { Definition: - b314 + b399 >= 0; } Constraint e191 { Definition: b314 - b361 >= 0; } Constraint e192 { Definition: b258 - b325 >= 0; } Constraint e193 { Definition: b325 - b349 >= 0; } Constraint e194 { Definition: - b261 + b349 >= 0; } Constraint e195 { Definition: - b291 + b309 >= 0; } Constraint e196 { Definition: b291 - b320 >= 0; } Constraint e197 { Definition: b320 - b377 >= 0; } Constraint e198 { Definition: b228 - b333 >= 0; } Constraint e199 { Definition: - b316 + b333 >= 0; } Constraint e200 { Definition: b316 - b356 >= 0; } Constraint e201 { Definition: - b215 + b311 >= 0; } Constraint e202 { Definition: b330 - b392 >= 0; } Constraint e203 { Definition: - b348 + b392 >= 0; } Constraint e204 { Definition: - b312 + b348 >= 0; } Constraint e205 { Definition: - b336 + b339 >= 0; } Constraint e206 { Definition: b253 - b322 >= 0; } Constraint e207 { Definition: - b288 + b322 >= 0; } Constraint e208 { Definition: - b280 + b288 >= 0; } Constraint e209 { Definition: b363 - b375 >= 0; } Constraint e210 { Definition: - b254 + b375 >= 0; } Constraint e211 { Definition: b254 - b371 >= 0; } Constraint e212 { Definition: b221 - b245 >= 0; } Constraint e213 { Definition: b245 - b364 >= 0; } Constraint e214 { Definition: - b251 + b364 >= 0; } Constraint e215 { Definition: b213 - b247 >= 0; } Constraint e216 { Definition: b247 - b286 >= 0; } Constraint e217 { Definition: b286 - b387 >= 0; } Constraint e218 { Definition: b321 - b366 >= 0; } Constraint e219 { Definition: - b315 + b366 >= 0; } Constraint e220 { Definition: b315 - b319 >= 0; } Constraint e221 { Definition: b224 - b331 >= 0; } Constraint e222 { Definition: b331 - b395 >= 0; } Constraint e223 { Definition: - b219 + b395 >= 0; } Constraint e224 { Definition: - b218 + b282 >= 0; } Constraint e225 { Definition: b218 - b398 >= 0; } Constraint e226 { Definition: - b382 + b398 >= 0; } Constraint e227 { Definition: - b345 + b394 >= 0; } Constraint e228 { Definition: - b310 + b345 >= 0; } Constraint e229 { Definition: b310 - b389 >= 0; } Constraint e230 { Definition: b241 - b337 >= 0; } Constraint e231 { Definition: - b334 + b337 >= 0; } Constraint e232 { Definition: - b243 + b334 >= 0; } Constraint e233 { Definition: - b277 + b374 >= 0; } Constraint e234 { Definition: - b249 + b277 >= 0; } Constraint e235 { Definition: b249 - b365 >= 0; } Constraint e236 { Definition: - b267 + b298 >= 0; } Constraint e237 { Definition: b267 - b378 >= 0; } Constraint e238 { Definition: b378 - b379 >= 0; } Constraint e239 { Definition: - b240 + b313 >= 0; } Constraint e240 { Definition: - b222 + b240 >= 0; } Constraint e241 { Definition: b222 - b352 >= 0; } Constraint e242 { Definition: - b262 + b285 >= 0; } Constraint e243 { Definition: b262 - b340 >= 0; } Constraint e244 { Definition: - b296 + b340 >= 0; } Constraint e245 { Definition: - b172 + b189 >= 0; } Constraint e246 { Definition: b172 - b190 >= 0; } Constraint e247 { Definition: - b178 + b190 >= 0; } Procedure MainInitialization { Body: { x475.lower := 0; x475.upper := 0; x476.lower := 0; x476.upper := 0; x477.lower := 0; x477.upper := 0; x478.lower := 0; x478.upper := 0; x479.lower := 0; x479.upper := 0; x480.lower := 0; x480.upper := 0; x481.lower := 0; x481.upper := 0; x482.lower := 0; x482.upper := 0; x483.lower := 0; x483.upper := 0; x484.lower := 0; x484.upper := 0; x485.lower := 0; x485.upper := 0; x486.lower := 0; x486.upper := 0; x487.lower := 0; x487.upper := 0; x488.lower := 0; x488.upper := 0; x489.lower := 0; x489.upper := 0; x490.lower := 0; x490.upper := 0; x491.lower := 0; x491.upper := 0; x492.lower := 0; x492.upper := 0; x493.lower := 0; x493.upper := 0; x494.lower := 0; x494.upper := 0; x495.lower := 0; x495.upper := 0; x496.lower := 0; x496.upper := 0; x497.lower := 0; x497.upper := 0; x498.lower := 0; x498.upper := 0; x499.lower := 0; x499.upper := 0; x500.lower := 0; x500.upper := 0; x501.lower := 0; x501.upper := 0; x502.lower := 0; x502.upper := 0; x503.lower := 0; x503.upper := 0; x504.lower := 0; x504.upper := 0; x505.lower := 0; x505.upper := 0; x506.lower := 0; x506.upper := 0; x507.lower := 0; x507.upper := 0; x508.lower := 0; x508.upper := 0; x509.lower := 0; x509.upper := 0; x510.lower := 0; x510.upper := 0; x511.lower := 0; x511.upper := 0; x512.lower := 0; x512.upper := 0; x513.lower := 0; x513.upper := 0; x514.lower := 0; x514.upper := 0; x515.lower := 0; x515.upper := 0; x516.lower := 0; x516.upper := 0; x517.lower := 0; x517.upper := 0; x518.lower := 0; x518.upper := 0; x519.lower := 0; x519.upper := 0; x520.lower := 0; x520.upper := 0; x521.lower := 0; x521.upper := 0; x522.lower := 0; x522.upper := 0; x523.lower := 0; x523.upper := 0; x524.lower := 0; x524.upper := 0; x525.lower := 0; x525.upper := 0; x526.lower := 0; x526.upper := 0; x527.lower := 0; x527.upper := 0; x528.lower := 0; x528.upper := 0; x529.lower := 0; x529.upper := 0; x530.lower := 0; x530.upper := 0; x531.lower := 0; x531.upper := 0; x532.lower := 0; x532.upper := 0; x533.lower := 0; x533.upper := 0; x534.lower := 0; x534.upper := 0; x535.lower := 0; x535.upper := 0; x536.lower := 0; x536.upper := 0; x537.lower := 0; x537.upper := 0; x538.lower := 0; x538.upper := 0; x539.lower := 0; x539.upper := 0; x540.lower := 0; x540.upper := 0; x541.lower := 0; x541.upper := 0; x542.lower := 0; x542.upper := 0; x543.lower := 0; x543.upper := 0; x544.lower := 0; x544.upper := 0; x545.lower := 0; x545.upper := 0; x546.lower := 0; x546.upper := 0; x547.lower := 0; x547.upper := 0; x548.lower := 0; x548.upper := 0; x549.lower := 0; x549.upper := 0; x550.lower := 0; x550.upper := 0; x551.lower := 0; x551.upper := 0; x552.lower := 0; x552.upper := 0; x553.lower := 0; x553.upper := 0; x554.lower := 0; x554.upper := 0; x555.lower := 0; x555.upper := 0; x556.lower := 0; x556.upper := 0; x557.lower := 0; x557.upper := 0; x558.lower := 0; x558.upper := 0; x559.lower := 0; x559.upper := 0; x560.lower := 0; x560.upper := 0; x561.lower := 0; x561.upper := 0; x562.lower := 0; x562.upper := 0; x563.lower := 0; x563.upper := 0; x564.lower := 0; x564.upper := 0; x565.lower := 0; x565.upper := 0; x566.lower := 0; x566.upper := 0; x567.lower := 0; x567.upper := 0; x568.lower := 0; x568.upper := 0; x569.lower := 0; x569.upper := 0; x570.lower := 0; x570.upper := 0; x571.lower := 0; x571.upper := 0; x572.lower := 0; x572.upper := 0; x573.lower := 0; x573.upper := 0; x574.lower := 0; x574.upper := 0; x575.lower := 0; x575.upper := 0; x576.lower := 0; x576.upper := 0; x577.lower := 0; x577.upper := 0; x578.lower := 0; x578.upper := 0; x579.lower := 0; x579.upper := 0; x580.lower := 0; x580.upper := 0; x581.lower := 0; x581.upper := 0; x582.lower := 0; x582.upper := 0; x583.lower := 0; x583.upper := 0; x584.lower := 0; x584.upper := 0; x585.lower := 0; x585.upper := 0; x586.lower := 0; x586.upper := 0; x587.lower := 0; x587.upper := 0; x588.lower := 0; x588.upper := 0; x589.lower := 0; x589.upper := 0; x590.lower := 0; x590.upper := 0; x591.lower := 0; x591.upper := 0; x592.lower := 0; x592.upper := 0; x593.lower := 0; x593.upper := 0; x594.lower := 0; x594.upper := 0; x595.lower := 0; x595.upper := 0; x596.lower := 0; x596.upper := 0; x597.lower := 0; x597.upper := 0; x598.lower := 0; x598.upper := 0; x599.lower := 0; x599.upper := 0; x600.lower := 0; x600.upper := 0; x601.lower := 0; x601.upper := 0; x602.lower := 0; x602.upper := 0; x603.lower := 0; x603.upper := 0; x604.lower := 0; x604.upper := 0; x605.lower := 0; x605.upper := 0; x606.lower := 0; x606.upper := 0; } } MathematicalProgram pedigree_sp_top4_300 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve pedigree_sp_top4_300; } } Procedure MainTermination { Body: { return 1; } } }