\ Equation counts \ Total E G L N X C B \ 246 1 244 1 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 605 132 473 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 2039 1434 605 0 \ Minimize obj: - 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 x475 + 0 x476 + 0 x477 + 0 x478 + 0 x479 + 0 x480 + 0 x481 + 0 x482 + 0 x483 + 0 x484 + 0 x485 + 0 x486 + 0 x487 + 0 x488 + 0 x489 + 0 x490 + 0 x491 + 0 x492 + 0 x493 + 0 x494 + 0 x495 + 0 x496 + 0 x497 + 0 x498 + 0 x499 + 0 x500 + 0 x501 + 0 x502 + 0 x503 + 0 x504 + 0 x505 + 0 x506 + 0 x507 + 0 x508 + 0 x509 + 0 x510 + 0 x511 + 0 x512 + 0 x513 + 0 x514 + 0 x515 + 0 x516 + 0 x517 + 0 x518 + 0 x519 + 0 x520 + 0 x521 + 0 x522 + 0 x523 + 0 x524 + 0 x525 + 0 x526 + 0 x527 + 0 x528 + 0 x529 + 0 x530 + 0 x531 + 0 x532 + 0 x533 + 0 x534 + 0 x535 + 0 x536 + 0 x537 + 0 x538 + 0 x539 + 0 x540 + 0 x541 + 0 x542 + 0 x543 + 0 x544 + 0 x545 + 0 x546 + 0 x547 + 0 x548 + 0 x549 + 0 x550 + 0 x551 + 0 x552 + 0 x553 + 0 x554 + 0 x555 + 0 x556 + 0 x557 + 0 x558 + 0 x559 + 0 x560 + 0 x561 + 0 x562 + 0 x563 + 0 x564 + 0 x565 + 0 x566 + 0 x567 + 0 x568 + 0 x569 + 0 x570 + 0 x571 + 0 x572 + 0 x573 + 0 x574 + 0 x575 + 0 x576 + 0 x577 + 0 x578 + 0 x579 + 0 x580 + 0 x581 + 0 x582 + 0 x583 + 0 x584 + 0 x585 + 0 x586 + 0 x587 + 0 x588 + 0 x589 + 0 x590 + 0 x591 + 0 x592 + 0 x593 + 0 x594 + 0 x595 + 0 x596 + 0 x597 + 0 x598 + 0 x599 + 0 x600 + 0 x601 + 0 x602 + 0 x603 + 0 x604 + 0 x605 + 0 x606 Subject To e2: 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 e3: [ b2^2 + b3^2 + b4^2 + b5^2 + 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^2 + b6 * b412 + b6 * b414 + b6 * b434 + b6 * b447 + b6 * b451 + b6 * b473 + b7^2 + b8^2 + b9^2 + 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 + b10^2 + b11^2 + b11 * b65 + b11 * b69 + b11 * b70 + b11 * b244 + b11 * b257 + b11 * b332 + b11 * b354 + b11 * b358 + b11 * b419 + b11 * b458 + b11 * b464 + b12^2 + 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^2 + b13 * b54 + b13 * b77 + b13 * b93 + b13 * b98 + b13 * b369 + b14^2 + b14 * b59 + b14 * b79 + b14 * b81 + b14 * b92 + b14 * b105 + b14 * b169 + b14 * b177 + b14 * b181 + b15^2 + 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^2 + b16 * b78 + b16 * b79 + b16 * b81 + b16 * b91 + b16 * b92 + b16 * b105 + b17^2 + b17 * b57 + b17 * b94 + b17 * b99 + b17 * b100 + b18^2 + 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^2 + b19 * b58 + b19 * b78 + b19 * b91 + b19 * b101 + b19 * b102 + b19 * b104 + b20^2 + b21^2 + b21 * b55 + b21 * b76 + b21 * b96 + b21 * b103 + b22^2 + b22 * b179 + b22 * b187 + b23^2 + b23 * b211 + b23 * b214 + b23 * b223 + b23 * b342 + b23 * b355 + b24^2 + 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^2 + b25 * b278 + b25 * b308 + b26^2 + b27^2 + b28^2 + b28 * b314 + b28 * b350 + b28 * b361 + b28 * b373 + b28 * b399 + b29^2 + b30^2 + b30 * b180 + b30 * b188 + b30 * b194 + b31^2 + b31 * b179 + b31 * b187 + b32^2 + b32 * b45 + b32 * b46 + b32 * b47 + b32 * b62 + b33^2 + b33 * b186 + b33 * b192 + b33 * b193 + b33 * b197 + b34^2 + b34 * b53 + b34 * b67 + b34 * b173 + b34 * b238 + b35^2 + b35 * b48 + b35 * b49 + b35 * b50 + b35 * b51 + b35 * b63 + b35 * b66 + b35 * b68 + b35 * b73 + b36^2 + 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^2 + b37 * b45 + b37 * b46 + b37 * b47 + b37 * b48 + b37 * b49 + b37 * b53 + b37 * b62 + b37 * b67 + b37 * b68 + b37 * b73 + b37 * b173 + b37 * b238 + b38^2 + b39^2 + b39 * b65 + b39 * b69 + b39 * b70 + b40^2 + b40 * b180 + b40 * b188 + b40 * b194 + b41^2 + b42^2 + b42 * b52 + b42 * b60 + b42 * b61 + b42 * b71 + b43^2 + b44^2 + b45^2 + b45 * b46 + b45 * b47 + .5 b45 * b48 + .5 b45 * b49 + .5 b45 * b53 + b45 * b62 + .5 b45 * b67 + .5 b45 * b68 + .5 b45 * b73 + .5 b45 * b173 + .5 b45 * b238 + b46^2 + b46 * b47 + .5 b46 * b48 + .5 b46 * b49 + .5 b46 * b53 + b46 * b62 + .5 b46 * b67 + .5 b46 * b68 + .5 b46 * b73 + .5 b46 * b173 + .5 b46 * b238 + b47^2 + .5 b47 * b48 + .5 b47 * b49 + .5 b47 * b53 + b47 * b62 + .5 b47 * b67 + .5 b47 * b68 + .5 b47 * b73 + .5 b47 * b173 + .5 b47 * b238 + b48^2 + b48 * b49 + .5 b48 * b50 + .5 b48 * b51 + .5 b48 * b53 + .5 b48 * b62 + .5 b48 * b63 + .5 b48 * b66 + .5 b48 * b67 + b48 * b68 + b48 * b73 + .5 b48 * b173 + .5 b48 * b238 + b49^2 + .5 b49 * b50 + .5 b49 * b51 + .5 b49 * b53 + .5 b49 * b62 + .5 b49 * b63 + .5 b49 * b66 + .5 b49 * b67 + b49 * b68 + b49 * b73 + .5 b49 * b173 + .5 b49 * b238 + b50^2 + b50 * b51 + .5 b50 * b52 + .5 b50 * b60 + .5 b50 * b61 + b50 * b63 + .5 b50 * b64 + b50 * b66 + .5 b50 * b68 + .5 b50 * b71 + .5 b50 * b72 + .5 b50 * b73 + .5 b50 * b74 + .5 b50 * b75 + .5 b50 * b186 + .5 b50 * b192 + .5 b50 * b193 + .5 b50 * b197 + b51^2 + .5 b51 * b52 + .5 b51 * b60 + .5 b51 * b61 + b51 * b63 + .5 b51 * b64 + b51 * b66 + .5 b51 * b68 + .5 b51 * b71 + .5 b51 * b72 + .5 b51 * b73 + .5 b51 * b74 + .5 b51 * b75 + .5 b51 * b186 + .5 b51 * b192 + .5 b51 * b193 + .5 b51 * b197 + b52^2 + b52 * b60 + b52 * b61 + .5 b52 * b63 + .5 b52 * b64 + .5 b52 * b66 + b52 * b71 + .5 b52 * b72 + .5 b52 * b74 + .5 b52 * b75 + .5 b52 * b186 + .5 b52 * b192 + .5 b52 * b193 + .5 b52 * b197 + b53^2 + .5 b53 * b62 + b53 * b67 + .5 b53 * b68 + .5 b53 * b73 + b53 * b173 + b53 * b238 + b54^2 + .5 b54 * b55 + .5 b54 * b56 + .5 b54 * b76 + b54 * b77 + .5 b54 * b80 + b54 * b93 + .5 b54 * b95 + .5 b54 * b96 + .5 b54 * b97 + b54 * b98 + .5 b54 * b103 + .5 b54 * b170 + .5 b54 * b171 + .5 b54 * b195 + .5 b54 * b196 + .5 b54 * b220 + .5 b54 * b222 + .5 b54 * b233 + .5 b54 * b240 + .5 b54 * b246 + .5 b54 * b257 + .5 b54 * b259 + .5 b54 * b264 + .5 b54 * b265 + .5 b54 * b310 + .5 b54 * b312 + .5 b54 * b313 + .5 b54 * b327 + .5 b54 * b330 + .5 b54 * b332 + .5 b54 * b335 + .5 b54 * b345 + .5 b54 * b347 + .5 b54 * b348 + .5 b54 * b352 + .5 b54 * b354 + .5 b54 * b358 + .5 b54 * b360 + .5 b54 * b369 + .5 b54 * b380 + .5 b54 * b385 + .5 b54 * b389 + .5 b54 * b392 + .5 b54 * b394 + b55^2 + .5 b55 * b56 + b55 * b76 + .5 b55 * b77 + .5 b55 * b80 + .5 b55 * b93 + .5 b55 * b95 + b55 * b96 + .5 b55 * b97 + .5 b55 * b98 + b55 * b103 + .5 b55 * b170 + .5 b55 * b171 + .5 b55 * b195 + .5 b55 * b196 + .5 b55 * b220 + .5 b55 * b222 + .5 b55 * b233 + .5 b55 * b240 + .5 b55 * b246 + .5 b55 * b257 + .5 b55 * b259 + .5 b55 * b264 + .5 b55 * b265 + .5 b55 * b310 + .5 b55 * b312 + .5 b55 * b313 + .5 b55 * b327 + .5 b55 * b330 + .5 b55 * b332 + .5 b55 * b335 + .5 b55 * b345 + .5 b55 * b347 + .5 b55 * b348 + .5 b55 * b352 + .5 b55 * b354 + .5 b55 * b358 + .5 b55 * b360 + .5 b55 * b380 + .5 b55 * b385 + .5 b55 * b389 + .5 b55 * b392 + .5 b55 * b394 + b56^2 + .5 b56 * b76 + .5 b56 * b77 + b56 * b80 + .5 b56 * b93 + b56 * b95 + .5 b56 * b96 + b56 * b97 + .5 b56 * b98 + .5 b56 * b103 + .5 b56 * b170 + .5 b56 * b171 + .5 b56 * b195 + .5 b56 * b196 + .5 b56 * b220 + .5 b56 * b222 + .5 b56 * b233 + .5 b56 * b240 + .5 b56 * b246 + .5 b56 * b257 + .5 b56 * b259 + .5 b56 * b264 + .5 b56 * b265 + .5 b56 * b310 + .5 b56 * b312 + .5 b56 * b313 + .5 b56 * b327 + .5 b56 * b330 + .5 b56 * b332 + .5 b56 * b335 + .5 b56 * b345 + .5 b56 * b347 + .5 b56 * b348 + .5 b56 * b352 + .5 b56 * b354 + .5 b56 * b358 + .5 b56 * b360 + .5 b56 * b380 + .5 b56 * b385 + .5 b56 * b389 + .5 b56 * b392 + .5 b56 * b394 + b56 * x475 + b57^2 + .5 b57 * b58 + .5 b57 * b59 + b57 * b94 + b57 * b99 + b57 * b100 + .5 b57 * b101 + .5 b57 * b102 + .5 b57 * b104 + .5 b57 * b169 + .5 b57 * b177 + .5 b57 * b181 + b58^2 + .5 b58 * b59 + .5 b58 * b78 + .5 b58 * b91 + .5 b58 * b94 + .5 b58 * b99 + .5 b58 * b100 + b58 * b101 + b58 * b102 + b58 * b104 + .5 b58 * b169 + .5 b58 * b177 + .5 b58 * b181 + b59^2 + .5 b59 * b79 + .5 b59 * b81 + .5 b59 * b92 + .5 b59 * b94 + .5 b59 * b99 + .5 b59 * b100 + .5 b59 * b101 + .5 b59 * b102 + .5 b59 * b104 + .5 b59 * b105 + b59 * b169 + b59 * b177 + b59 * b181 + b60^2 + b60 * b61 + .5 b60 * b63 + .5 b60 * b64 + .5 b60 * b66 + b60 * b71 + .5 b60 * b72 + .5 b60 * b74 + .5 b60 * b75 + .5 b60 * b186 + .5 b60 * b192 + .5 b60 * b193 + .5 b60 * b197 + b61^2 + .5 b61 * b63 + .5 b61 * b64 + .5 b61 * b66 + b61 * b71 + .5 b61 * b72 + .5 b61 * b74 + .5 b61 * b75 + .5 b61 * b186 + .5 b61 * b192 + .5 b61 * b193 + .5 b61 * b197 + b62^2 + .5 b62 * b67 + .5 b62 * b68 + .5 b62 * b73 + .5 b62 * b173 + .5 b62 * b238 + b63^2 + .5 b63 * b64 + b63 * b66 + .5 b63 * b68 + .5 b63 * b71 + .5 b63 * b72 + .5 b63 * b73 + .5 b63 * b74 + .5 b63 * b75 + .5 b63 * b186 + .5 b63 * b192 + .5 b63 * b193 + .5 b63 * b197 + b64^2 + .5 b64 * b66 + .5 b64 * b71 + b64 * b72 + b64 * b74 + b64 * b75 + .5 b64 * b186 + .5 b64 * b192 + .5 b64 * b193 + .5 b64 * b197 + b64 * x476 + b65^2 + b65 * b69 + b65 * b70 + .5 b65 * b244 + .5 b65 * b257 + .5 b65 * b332 + .5 b65 * b354 + .5 b65 * b358 + .5 b65 * b419 + .5 b65 * b458 + .5 b65 * b464 + b66^2 + .5 b66 * b68 + .5 b66 * b71 + .5 b66 * b72 + .5 b66 * b73 + .5 b66 * b74 + .5 b66 * b75 + .5 b66 * b186 + .5 b66 * b192 + .5 b66 * b193 + .5 b66 * b197 + b67^2 + .5 b67 * b68 + .5 b67 * b73 + b67 * b173 + b67 * b238 + b68^2 + b68 * b73 + .5 b68 * b173 + .5 b68 * b238 + b69^2 + b69 * b70 + .5 b69 * b244 + .5 b69 * b257 + .5 b69 * b332 + .5 b69 * b354 + .5 b69 * b358 + .5 b69 * b419 + .5 b69 * b458 + .5 b69 * b464 + b70^2 + .5 b70 * b244 + .5 b70 * b257 + .5 b70 * b332 + .5 b70 * b354 + .5 b70 * b358 + .5 b70 * b419 + .5 b70 * b458 + .5 b70 * b464 + b71^2 + .5 b71 * b72 + .5 b71 * b74 + .5 b71 * b75 + .5 b71 * b186 + .5 b71 * b192 + .5 b71 * b193 + .5 b71 * b197 + b72^2 + b72 * b74 + b72 * b75 + .5 b72 * b186 + .5 b72 * b192 + .5 b72 * b193 + .5 b72 * b197 + b72 * x476 + b73^2 + .5 b73 * b173 + .5 b73 * b238 + b74^2 + b74 * b75 + .5 b74 * b186 + .5 b74 * b192 + .5 b74 * b193 + .5 b74 * b197 + b74 * x476 + b75^2 + .5 b75 * b186 + .5 b75 * b192 + .5 b75 * b193 + .5 b75 * b197 + b75 * x476 + b76^2 + .5 b76 * b77 + .5 b76 * b80 + .5 b76 * b93 + .5 b76 * b95 + b76 * b96 + .5 b76 * b97 + .5 b76 * b98 + b76 * b103 + .5 b76 * b170 + .5 b76 * b171 + .5 b76 * b195 + .5 b76 * b196 + .5 b76 * b220 + .5 b76 * b222 + .5 b76 * b233 + .5 b76 * b240 + .5 b76 * b246 + .5 b76 * b257 + .5 b76 * b259 + .5 b76 * b264 + .5 b76 * b265 + .5 b76 * b310 + .5 b76 * b312 + .5 b76 * b313 + .5 b76 * b327 + .5 b76 * b330 + .5 b76 * b332 + .5 b76 * b335 + .5 b76 * b345 + .5 b76 * b347 + .5 b76 * b348 + .5 b76 * b352 + .5 b76 * b354 + .5 b76 * b358 + .5 b76 * b360 + .5 b76 * b380 + .5 b76 * b385 + .5 b76 * b389 + .5 b76 * b392 + .5 b76 * b394 + b77^2 + .5 b77 * b80 + b77 * b93 + .5 b77 * b95 + .5 b77 * b96 + .5 b77 * b97 + b77 * b98 + .5 b77 * b103 + .5 b77 * b170 + .5 b77 * b171 + .5 b77 * b195 + .5 b77 * b196 + .5 b77 * b220 + .5 b77 * b222 + .5 b77 * b233 + .5 b77 * b240 + .5 b77 * b246 + .5 b77 * b257 + .5 b77 * b259 + .5 b77 * b264 + .5 b77 * b265 + .5 b77 * b310 + .5 b77 * b312 + .5 b77 * b313 + .5 b77 * b327 + .5 b77 * b330 + .5 b77 * b332 + .5 b77 * b335 + .5 b77 * b345 + .5 b77 * b347 + .5 b77 * b348 + .5 b77 * b352 + .5 b77 * b354 + .5 b77 * b358 + .5 b77 * b360 + .5 b77 * b369 + .5 b77 * b380 + .5 b77 * b385 + .5 b77 * b389 + .5 b77 * b392 + .5 b77 * b394 + b78^2 + .5 b78 * b79 + .5 b78 * b81 + b78 * b91 + .5 b78 * b92 + .5 b78 * b101 + .5 b78 * b102 + .5 b78 * b104 + .5 b78 * b105 + b79^2 + b79 * b81 + .5 b79 * b91 + b79 * b92 + b79 * b105 + .5 b79 * b169 + .5 b79 * b177 + .5 b79 * b181 + b80^2 + .5 b80 * b93 + b80 * b95 + .5 b80 * b96 + b80 * b97 + .5 b80 * b98 + .5 b80 * b103 + .5 b80 * b170 + .5 b80 * b171 + .5 b80 * b195 + .5 b80 * b196 + .5 b80 * b220 + .5 b80 * b222 + .5 b80 * b233 + .5 b80 * b240 + .5 b80 * b246 + .5 b80 * b257 + .5 b80 * b259 + .5 b80 * b264 + .5 b80 * b265 + .5 b80 * b310 + .5 b80 * b312 + .5 b80 * b313 + .5 b80 * b327 + .5 b80 * b330 + .5 b80 * b332 + .5 b80 * b335 + .5 b80 * b345 + .5 b80 * b347 + .5 b80 * b348 + .5 b80 * b352 + .5 b80 * b354 + .5 b80 * b358 + .5 b80 * b360 + .5 b80 * b380 + .5 b80 * b385 + .5 b80 * b389 + .5 b80 * b392 + .5 b80 * b394 + b80 * x475 + b81^2 + .5 b81 * b91 + b81 * b92 + b81 * b105 + .5 b81 * b169 + .5 b81 * b177 + .5 b81 * b181 + b82^2 + b82 * b410 + b82 * b449 + b82 * b466 + b82 * b467 + b83^2 + b83 * b408 + b83 * b448 + b83 * b454 + b83 * b460 + b83 * b470 + b84^2 + b85^2 + b86^2 + b86 * b403 + b86 * b404 + b86 * b428 + b86 * b429 + b86 * b433 + b86 * b435 + b86 * b443 + b86 * b465 + b87^2 + b87 * b259 + b87 * b335 + b87 * b380 + b87 * b385 + b88^2 + 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^2 + b89 * b266 + b89 * b272 + b89 * b283 + b89 * b338 + b89 * b369 + b90^2 + 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 + b91^2 + .5 b91 * b92 + .5 b91 * b101 + .5 b91 * b102 + .5 b91 * b104 + .5 b91 * b105 + b92^2 + b92 * b105 + .5 b92 * b169 + .5 b92 * b177 + .5 b92 * b181 + b93^2 + .5 b93 * b95 + .5 b93 * b96 + .5 b93 * b97 + b93 * b98 + .5 b93 * b103 + .5 b93 * b170 + .5 b93 * b171 + .5 b93 * b195 + .5 b93 * b196 + .5 b93 * b220 + .5 b93 * b222 + .5 b93 * b233 + .5 b93 * b240 + .5 b93 * b246 + .5 b93 * b257 + .5 b93 * b259 + .5 b93 * b264 + .5 b93 * b265 + .5 b93 * b310 + .5 b93 * b312 + .5 b93 * b313 + .5 b93 * b327 + .5 b93 * b330 + .5 b93 * b332 + .5 b93 * b335 + .5 b93 * b345 + .5 b93 * b347 + .5 b93 * b348 + .5 b93 * b352 + .5 b93 * b354 + .5 b93 * b358 + .5 b93 * b360 + .5 b93 * b369 + .5 b93 * b380 + .5 b93 * b385 + .5 b93 * b389 + .5 b93 * b392 + .5 b93 * b394 + b94^2 + b94 * b99 + b94 * b100 + .5 b94 * b101 + .5 b94 * b102 + .5 b94 * b104 + .5 b94 * b169 + .5 b94 * b177 + .5 b94 * b181 + b95^2 + .5 b95 * b96 + b95 * b97 + .5 b95 * b98 + .5 b95 * b103 + .5 b95 * b170 + .5 b95 * b171 + .5 b95 * b195 + .5 b95 * b196 + .5 b95 * b220 + .5 b95 * b222 + .5 b95 * b233 + .5 b95 * b240 + .5 b95 * b246 + .5 b95 * b257 + .5 b95 * b259 + .5 b95 * b264 + .5 b95 * b265 + .5 b95 * b310 + .5 b95 * b312 + .5 b95 * b313 + .5 b95 * b327 + .5 b95 * b330 + .5 b95 * b332 + .5 b95 * b335 + .5 b95 * b345 + .5 b95 * b347 + .5 b95 * b348 + .5 b95 * b352 + .5 b95 * b354 + .5 b95 * b358 + .5 b95 * b360 + .5 b95 * b380 + .5 b95 * b385 + .5 b95 * b389 + .5 b95 * b392 + .5 b95 * b394 + b95 * x475 + b96^2 + .5 b96 * b97 + .5 b96 * b98 + b96 * b103 + .5 b96 * b170 + .5 b96 * b171 + .5 b96 * b195 + .5 b96 * b196 + .5 b96 * b220 + .5 b96 * b222 + .5 b96 * b233 + .5 b96 * b240 + .5 b96 * b246 + .5 b96 * b257 + .5 b96 * b259 + .5 b96 * b264 + .5 b96 * b265 + .5 b96 * b310 + .5 b96 * b312 + .5 b96 * b313 + .5 b96 * b327 + .5 b96 * b330 + .5 b96 * b332 + .5 b96 * b335 + .5 b96 * b345 + .5 b96 * b347 + .5 b96 * b348 + .5 b96 * b352 + .5 b96 * b354 + .5 b96 * b358 + .5 b96 * b360 + .5 b96 * b380 + .5 b96 * b385 + .5 b96 * b389 + .5 b96 * b392 + .5 b96 * b394 + b97^2 + .5 b97 * b98 + .5 b97 * b103 + .5 b97 * b170 + .5 b97 * b171 + .5 b97 * b195 + .5 b97 * b196 + .5 b97 * b220 + .5 b97 * b222 + .5 b97 * b233 + .5 b97 * b240 + .5 b97 * b246 + .5 b97 * b257 + .5 b97 * b259 + .5 b97 * b264 + .5 b97 * b265 + .5 b97 * b310 + .5 b97 * b312 + .5 b97 * b313 + .5 b97 * b327 + .5 b97 * b330 + .5 b97 * b332 + .5 b97 * b335 + .5 b97 * b345 + .5 b97 * b347 + .5 b97 * b348 + .5 b97 * b352 + .5 b97 * b354 + .5 b97 * b358 + .5 b97 * b360 + .5 b97 * b380 + .5 b97 * b385 + .5 b97 * b389 + .5 b97 * b392 + .5 b97 * b394 + b97 * x475 + b98^2 + .5 b98 * b103 + .5 b98 * b170 + .5 b98 * b171 + .5 b98 * b195 + .5 b98 * b196 + .5 b98 * b220 + .5 b98 * b222 + .5 b98 * b233 + .5 b98 * b240 + .5 b98 * b246 + .5 b98 * b257 + .5 b98 * b259 + .5 b98 * b264 + .5 b98 * b265 + .5 b98 * b310 + .5 b98 * b312 + .5 b98 * b313 + .5 b98 * b327 + .5 b98 * b330 + .5 b98 * b332 + .5 b98 * b335 + .5 b98 * b345 + .5 b98 * b347 + .5 b98 * b348 + .5 b98 * b352 + .5 b98 * b354 + .5 b98 * b358 + .5 b98 * b360 + .5 b98 * b369 + .5 b98 * b380 + .5 b98 * b385 + .5 b98 * b389 + .5 b98 * b392 + .5 b98 * b394 + b99^2 + b99 * b100 + .5 b99 * b101 + .5 b99 * b102 + .5 b99 * b104 + .5 b99 * b169 + .5 b99 * b177 + .5 b99 * b181 + b100^2 + .5 b100 * b101 + .5 b100 * b102 + .5 b100 * b104 + .5 b100 * b169 + .5 b100 * b177 + .5 b100 * b181 + b101^2 + b101 * b102 + b101 * b104 + .5 b101 * b169 + .5 b101 * b177 + .5 b101 * b181 + b102^2 + b102 * b104 + .5 b102 * b169 + .5 b102 * b177 + .5 b102 * b181 + b103^2 + .5 b103 * b170 + .5 b103 * b171 + .5 b103 * b195 + .5 b103 * b196 + .5 b103 * b220 + .5 b103 * b222 + .5 b103 * b233 + .5 b103 * b240 + .5 b103 * b246 + .5 b103 * b257 + .5 b103 * b259 + .5 b103 * b264 + .5 b103 * b265 + .5 b103 * b310 + .5 b103 * b312 + .5 b103 * b313 + .5 b103 * b327 + .5 b103 * b330 + .5 b103 * b332 + .5 b103 * b335 + .5 b103 * b345 + .5 b103 * b347 + .5 b103 * b348 + .5 b103 * b352 + .5 b103 * b354 + .5 b103 * b358 + .5 b103 * b360 + .5 b103 * b380 + .5 b103 * b385 + .5 b103 * b389 + .5 b103 * b392 + .5 b103 * b394 + b104^2 + .5 b104 * b169 + .5 b104 * b177 + .5 b104 * b181 + b105^2 + .5 b105 * b169 + .5 b105 * b177 + .5 b105 * b181 + b106^2 + 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^2 + b107 * b214 + b107 * b266 + b107 * b272 + b107 * b283 + b107 * b338 + b107 * b373 + b108^2 + 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^2 + b109 * b401 + b109 * b413 + b109 * b424 + b109 * b437 + b109 * b439 + b109 * b450 + b109 * b453 + b109 * b463 + b110^2 + b111^2 + b111 * b407 + b111 * b409 + b111 * b415 + b111 * b417 + b111 * b426 + b111 * b431 + b111 * b440 + b111 * b461 + b112^2 + 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 + b113^2 + b114^2 + 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^2 + 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 + b116^2 + b117^2 + 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^2 + b118 * b403 + b118 * b404 + b118 * b419 + b118 * b428 + b118 * b429 + b118 * b458 + b118 * b464 + b119^2 + 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^2 + 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^2 + 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^2 + b122 * b215 + b122 * b228 + b122 * b274 + b122 * b291 + b122 * b309 + b122 * b311 + b122 * b316 + b122 * b320 + b122 * b333 + b122 * b356 + b122 * b377 + b123^2 + 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^2 + b124 * b289 + b124 * b312 + b124 * b318 + b124 * b330 + b124 * b336 + b124 * b339 + b124 * b348 + b124 * b392 + b125^2 + 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^2 + 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 + b127^2 + b128^2 + b128 * b218 + b128 * b248 + b128 * b263 + b128 * b276 + b128 * b279 + b128 * b281 + b128 * b282 + b128 * b381 + b128 * b382 + b128 * b398 + b129^2 + 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^2 + 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 + b131^2 + b132^2 + b133^2 + b134^2 + b135^2 + b136^2 + b137^2 + b138^2 + b139^2 + b140^2 + b141^2 + b142^2 + b143^2 + b144^2 + b145^2 + b146^2 + b147^2 + b148^2 + b149^2 + b150^2 + b151^2 + b152^2 + b153^2 + b154^2 + b155^2 + b156^2 + b157^2 + b158^2 + b159^2 + b160^2 + b161^2 + b162^2 + b163^2 + b164^2 + b165^2 + b166^2 + b167^2 + b168^2 + b169^2 + b169 * b177 + b169 * b181 + b170^2 + b170 * b171 + b170 * b195 + b170 * b196 + .5 b170 * b220 + .5 b170 * b222 + .5 b170 * b233 + .5 b170 * b240 + .5 b170 * b246 + .5 b170 * b253 + .5 b170 * b257 + .5 b170 * b259 + .5 b170 * b262 + .5 b170 * b264 + .5 b170 * b265 + .5 b170 * b280 + .5 b170 * b285 + .5 b170 * b288 + .5 b170 * b296 + .5 b170 * b310 + .5 b170 * b312 + .5 b170 * b313 + .5 b170 * b322 + .5 b170 * b327 + .5 b170 * b330 + .5 b170 * b332 + .5 b170 * b335 + .5 b170 * b340 + .5 b170 * b344 + .5 b170 * b345 + .5 b170 * b347 + .5 b170 * b348 + .5 b170 * b352 + .5 b170 * b354 + .5 b170 * b358 + .5 b170 * b360 + .5 b170 * b367 + .5 b170 * b372 + .5 b170 * b380 + .5 b170 * b383 + .5 b170 * b385 + .5 b170 * b389 + .5 b170 * b392 + .5 b170 * b394 + b171^2 + b171 * b195 + b171 * b196 + .5 b171 * b220 + .5 b171 * b222 + .5 b171 * b233 + .5 b171 * b240 + .5 b171 * b246 + .5 b171 * b253 + .5 b171 * b257 + .5 b171 * b259 + .5 b171 * b262 + .5 b171 * b264 + .5 b171 * b265 + .5 b171 * b280 + .5 b171 * b285 + .5 b171 * b288 + .5 b171 * b296 + .5 b171 * b310 + .5 b171 * b312 + .5 b171 * b313 + .5 b171 * b322 + .5 b171 * b327 + .5 b171 * b330 + .5 b171 * b332 + .5 b171 * b335 + .5 b171 * b340 + .5 b171 * b344 + .5 b171 * b345 + .5 b171 * b347 + .5 b171 * b348 + .5 b171 * b352 + .5 b171 * b354 + .5 b171 * b358 + .5 b171 * b360 + .5 b171 * b367 + .5 b171 * b372 + .5 b171 * b380 + .5 b171 * b383 + .5 b171 * b385 + .5 b171 * b389 + .5 b171 * b392 + .5 b171 * b394 + b172^2 + b172 * b178 + b172 * b189 + b172 * b190 + .5 b172 * b210 + .5 b172 * b216 + .5 b172 * b220 + .5 b172 * b222 + .5 b172 * b226 + .5 b172 * b227 + .5 b172 * b230 + .5 b172 * b233 + .5 b172 * b234 + .5 b172 * b235 + .5 b172 * b239 + .5 b172 * b240 + .5 b172 * b262 + .5 b172 * b264 + .5 b172 * b265 + .5 b172 * b275 + .5 b172 * b284 + .5 b172 * b285 + .5 b172 * b287 + .5 b172 * b292 + .5 b172 * b295 + .5 b172 * b296 + .5 b172 * b313 + .5 b172 * b340 + .5 b172 * b351 + .5 b172 * b352 + .5 b172 * b368 + .5 b172 * b376 + .5 b172 * b390 + .5 b172 * b391 + b173^2 + b173 * b238 + b174^2 + .5 b174 * b175 + b174 * b176 + .5 b174 * b182 + .5 b174 * b183 + b174 * b184 + .5 b174 * b185 + b174 * b191 + .5 b174 * b209 + .5 b174 * b212 + .5 b174 * b229 + .5 b174 * b232 + .5 b174 * b236 + .5 b174 * b237 + .5 b174 * b242 + .5 b174 * b246 + .5 b174 * b252 + .5 b174 * b255 + .5 b174 * b256 + .5 b174 * b269 + .5 b174 * b270 + .5 b174 * b273 + .5 b174 * b276 + .5 b174 * b279 + .5 b174 * b281 + .5 b174 * b290 + .5 b174 * b293 + .5 b174 * b294 + .5 b174 * b297 + .5 b174 * b299 + .5 b174 * b300 + .5 b174 * b301 + .5 b174 * b303 + .5 b174 * b305 + .5 b174 * b306 + .5 b174 * b307 + .5 b174 * b323 + .5 b174 * b327 + .5 b174 * b328 + .5 b174 * b341 + .5 b174 * b343 + .5 b174 * b344 + .5 b174 * b346 + .5 b174 * b347 + .5 b174 * b353 + .5 b174 * b357 + .5 b174 * b359 + .5 b174 * b360 + .5 b174 * b362 + .5 b174 * b367 + .5 b174 * b372 + .5 b174 * b381 + .5 b174 * b383 + .5 b174 * b393 + .5 b174 * b396 + .5 b174 * b397 + .5 b174 * b400 + b175^2 + .5 b175 * b176 + b175 * b182 + b175 * b183 + .5 b175 * b184 + b175 * b185 + .5 b175 * b191 + .5 b175 * b212 + .5 b175 * b229 + .5 b175 * b232 + .5 b175 * b241 + .5 b175 * b242 + .5 b175 * b243 + .5 b175 * b246 + .5 b175 * b249 + .5 b175 * b252 + .5 b175 * b255 + .5 b175 * b267 + .5 b175 * b269 + .5 b175 * b270 + .5 b175 * b273 + .5 b175 * b277 + .5 b175 * b290 + .5 b175 * b293 + .5 b175 * b297 + .5 b175 * b298 + .5 b175 * b299 + .5 b175 * b301 + .5 b175 * b302 + .5 b175 * b305 + .5 b175 * b306 + .5 b175 * b307 + .5 b175 * b310 + .5 b175 * b323 + .5 b175 * b327 + .5 b175 * b328 + .5 b175 * b334 + .5 b175 * b337 + .5 b175 * b343 + .5 b175 * b345 + .5 b175 * b346 + .5 b175 * b347 + .5 b175 * b353 + .5 b175 * b359 + .5 b175 * b360 + .5 b175 * b362 + .5 b175 * b365 + .5 b175 * b374 + .5 b175 * b378 + .5 b175 * b379 + .5 b175 * b389 + .5 b175 * b393 + .5 b175 * b394 + .5 b175 * b396 + .5 b175 * b397 + .5 b175 * b400 + b176^2 + .5 b176 * b182 + .5 b176 * b183 + b176 * b184 + .5 b176 * b185 + b176 * b191 + .5 b176 * b209 + .5 b176 * b212 + .5 b176 * b229 + .5 b176 * b232 + .5 b176 * b236 + .5 b176 * b237 + .5 b176 * b242 + .5 b176 * b246 + .5 b176 * b252 + .5 b176 * b255 + .5 b176 * b256 + .5 b176 * b269 + .5 b176 * b270 + .5 b176 * b273 + .5 b176 * b276 + .5 b176 * b279 + .5 b176 * b281 + .5 b176 * b290 + .5 b176 * b293 + .5 b176 * b294 + .5 b176 * b297 + .5 b176 * b299 + .5 b176 * b300 + .5 b176 * b301 + .5 b176 * b303 + .5 b176 * b305 + .5 b176 * b306 + .5 b176 * b307 + .5 b176 * b323 + .5 b176 * b327 + .5 b176 * b328 + .5 b176 * b341 + .5 b176 * b343 + .5 b176 * b344 + .5 b176 * b346 + .5 b176 * b347 + .5 b176 * b353 + .5 b176 * b357 + .5 b176 * b359 + .5 b176 * b360 + .5 b176 * b362 + .5 b176 * b367 + .5 b176 * b372 + .5 b176 * b381 + .5 b176 * b383 + .5 b176 * b393 + .5 b176 * b396 + .5 b176 * b397 + .5 b176 * b400 + b177^2 + b177 * b181 + b178^2 + b178 * b189 + b178 * b190 + .5 b178 * b210 + .5 b178 * b216 + .5 b178 * b220 + .5 b178 * b222 + .5 b178 * b226 + .5 b178 * b227 + .5 b178 * b230 + .5 b178 * b233 + .5 b178 * b234 + .5 b178 * b235 + .5 b178 * b239 + .5 b178 * b240 + .5 b178 * b262 + .5 b178 * b264 + .5 b178 * b265 + .5 b178 * b275 + .5 b178 * b284 + .5 b178 * b285 + .5 b178 * b287 + .5 b178 * b292 + .5 b178 * b295 + .5 b178 * b296 + .5 b178 * b313 + .5 b178 * b340 + .5 b178 * b351 + .5 b178 * b352 + .5 b178 * b368 + .5 b178 * b376 + .5 b178 * b390 + .5 b178 * b391 + b179^2 + b179 * b187 + b180^2 + b180 * b188 + b180 * b194 + b181^2 + b182^2 + b182 * b183 + .5 b182 * b184 + b182 * b185 + .5 b182 * b191 + .5 b182 * b212 + .5 b182 * b229 + .5 b182 * b232 + .5 b182 * b241 + .5 b182 * b242 + .5 b182 * b243 + .5 b182 * b246 + .5 b182 * b249 + .5 b182 * b252 + .5 b182 * b255 + .5 b182 * b267 + .5 b182 * b269 + .5 b182 * b270 + .5 b182 * b273 + .5 b182 * b277 + .5 b182 * b290 + .5 b182 * b293 + .5 b182 * b297 + .5 b182 * b298 + .5 b182 * b299 + .5 b182 * b301 + .5 b182 * b302 + .5 b182 * b305 + .5 b182 * b306 + .5 b182 * b307 + .5 b182 * b310 + .5 b182 * b323 + .5 b182 * b327 + .5 b182 * b328 + .5 b182 * b334 + .5 b182 * b337 + .5 b182 * b343 + .5 b182 * b345 + .5 b182 * b346 + .5 b182 * b347 + .5 b182 * b353 + .5 b182 * b359 + .5 b182 * b360 + .5 b182 * b362 + .5 b182 * b365 + .5 b182 * b374 + .5 b182 * b378 + .5 b182 * b379 + .5 b182 * b389 + .5 b182 * b393 + .5 b182 * b394 + .5 b182 * b396 + .5 b182 * b397 + .5 b182 * b400 + b183^2 + .5 b183 * b184 + b183 * b185 + .5 b183 * b191 + .5 b183 * b212 + .5 b183 * b229 + .5 b183 * b232 + .5 b183 * b241 + .5 b183 * b242 + .5 b183 * b243 + .5 b183 * b246 + .5 b183 * b249 + .5 b183 * b252 + .5 b183 * b255 + .5 b183 * b267 + .5 b183 * b269 + .5 b183 * b270 + .5 b183 * b273 + .5 b183 * b277 + .5 b183 * b290 + .5 b183 * b293 + .5 b183 * b297 + .5 b183 * b298 + .5 b183 * b299 + .5 b183 * b301 + .5 b183 * b302 + .5 b183 * b305 + .5 b183 * b306 + .5 b183 * b307 + .5 b183 * b310 + .5 b183 * b323 + .5 b183 * b327 + .5 b183 * b328 + .5 b183 * b334 + .5 b183 * b337 + .5 b183 * b343 + .5 b183 * b345 + .5 b183 * b346 + .5 b183 * b347 + .5 b183 * b353 + .5 b183 * b359 + .5 b183 * b360 + .5 b183 * b362 + .5 b183 * b365 + .5 b183 * b374 + .5 b183 * b378 + .5 b183 * b379 + .5 b183 * b389 + .5 b183 * b393 + .5 b183 * b394 + .5 b183 * b396 + .5 b183 * b397 + .5 b183 * b400 + b184^2 + .5 b184 * b185 + b184 * b191 + .5 b184 * b209 + .5 b184 * b212 + .5 b184 * b229 + .5 b184 * b232 + .5 b184 * b236 + .5 b184 * b237 + .5 b184 * b242 + .5 b184 * b246 + .5 b184 * b252 + .5 b184 * b255 + .5 b184 * b256 + .5 b184 * b269 + .5 b184 * b270 + .5 b184 * b273 + .5 b184 * b276 + .5 b184 * b279 + .5 b184 * b281 + .5 b184 * b290 + .5 b184 * b293 + .5 b184 * b294 + .5 b184 * b297 + .5 b184 * b299 + .5 b184 * b300 + .5 b184 * b301 + .5 b184 * b303 + .5 b184 * b305 + .5 b184 * b306 + .5 b184 * b307 + .5 b184 * b323 + .5 b184 * b327 + .5 b184 * b328 + .5 b184 * b341 + .5 b184 * b343 + .5 b184 * b344 + .5 b184 * b346 + .5 b184 * b347 + .5 b184 * b353 + .5 b184 * b357 + .5 b184 * b359 + .5 b184 * b360 + .5 b184 * b362 + .5 b184 * b367 + .5 b184 * b372 + .5 b184 * b381 + .5 b184 * b383 + .5 b184 * b393 + .5 b184 * b396 + .5 b184 * b397 + .5 b184 * b400 + b185^2 + .5 b185 * b191 + .5 b185 * b212 + .5 b185 * b229 + .5 b185 * b232 + .5 b185 * b241 + .5 b185 * b242 + .5 b185 * b243 + .5 b185 * b246 + .5 b185 * b249 + .5 b185 * b252 + .5 b185 * b255 + .5 b185 * b267 + .5 b185 * b269 + .5 b185 * b270 + .5 b185 * b273 + .5 b185 * b277 + .5 b185 * b290 + .5 b185 * b293 + .5 b185 * b297 + .5 b185 * b298 + .5 b185 * b299 + .5 b185 * b301 + .5 b185 * b302 + .5 b185 * b305 + .5 b185 * b306 + .5 b185 * b307 + .5 b185 * b310 + .5 b185 * b323 + .5 b185 * b327 + .5 b185 * b328 + .5 b185 * b334 + .5 b185 * b337 + .5 b185 * b343 + .5 b185 * b345 + .5 b185 * b346 + .5 b185 * b347 + .5 b185 * b353 + .5 b185 * b359 + .5 b185 * b360 + .5 b185 * b362 + .5 b185 * b365 + .5 b185 * b374 + .5 b185 * b378 + .5 b185 * b379 + .5 b185 * b389 + .5 b185 * b393 + .5 b185 * b394 + .5 b185 * b396 + .5 b185 * b397 + .5 b185 * b400 + b186^2 + b186 * b192 + b186 * b193 + b186 * b197 + b187^2 + b188^2 + b188 * b194 + b189^2 + b189 * b190 + .5 b189 * b210 + .5 b189 * b216 + .5 b189 * b220 + .5 b189 * b222 + .5 b189 * b226 + .5 b189 * b227 + .5 b189 * b230 + .5 b189 * b233 + .5 b189 * b234 + .5 b189 * b235 + .5 b189 * b239 + .5 b189 * b240 + .5 b189 * b262 + .5 b189 * b264 + .5 b189 * b265 + .5 b189 * b275 + .5 b189 * b284 + .5 b189 * b285 + .5 b189 * b287 + .5 b189 * b292 + .5 b189 * b295 + .5 b189 * b296 + .5 b189 * b313 + .5 b189 * b340 + .5 b189 * b351 + .5 b189 * b352 + .5 b189 * b368 + .5 b189 * b376 + .5 b189 * b390 + .5 b189 * b391 + b190^2 + .5 b190 * b210 + .5 b190 * b216 + .5 b190 * b220 + .5 b190 * b222 + .5 b190 * b226 + .5 b190 * b227 + .5 b190 * b230 + .5 b190 * b233 + .5 b190 * b234 + .5 b190 * b235 + .5 b190 * b239 + .5 b190 * b240 + .5 b190 * b262 + .5 b190 * b264 + .5 b190 * b265 + .5 b190 * b275 + .5 b190 * b284 + .5 b190 * b285 + .5 b190 * b287 + .5 b190 * b292 + .5 b190 * b295 + .5 b190 * b296 + .5 b190 * b313 + .5 b190 * b340 + .5 b190 * b351 + .5 b190 * b352 + .5 b190 * b368 + .5 b190 * b376 + .5 b190 * b390 + .5 b190 * b391 + b191^2 + .5 b191 * b209 + .5 b191 * b212 + .5 b191 * b229 + .5 b191 * b232 + .5 b191 * b236 + .5 b191 * b237 + .5 b191 * b242 + .5 b191 * b246 + .5 b191 * b252 + .5 b191 * b255 + .5 b191 * b256 + .5 b191 * b269 + .5 b191 * b270 + .5 b191 * b273 + .5 b191 * b276 + .5 b191 * b279 + .5 b191 * b281 + .5 b191 * b290 + .5 b191 * b293 + .5 b191 * b294 + .5 b191 * b297 + .5 b191 * b299 + .5 b191 * b300 + .5 b191 * b301 + .5 b191 * b303 + .5 b191 * b305 + .5 b191 * b306 + .5 b191 * b307 + .5 b191 * b323 + .5 b191 * b327 + .5 b191 * b328 + .5 b191 * b341 + .5 b191 * b343 + .5 b191 * b344 + .5 b191 * b346 + .5 b191 * b347 + .5 b191 * b353 + .5 b191 * b357 + .5 b191 * b359 + .5 b191 * b360 + .5 b191 * b362 + .5 b191 * b367 + .5 b191 * b372 + .5 b191 * b381 + .5 b191 * b383 + .5 b191 * b393 + .5 b191 * b396 + .5 b191 * b397 + .5 b191 * b400 + b192^2 + b192 * b193 + b192 * b197 + b193^2 + b193 * b197 + b194^2 + b195^2 + b195 * b196 + .5 b195 * b220 + .5 b195 * b222 + .5 b195 * b233 + .5 b195 * b240 + .5 b195 * b246 + .5 b195 * b253 + .5 b195 * b257 + .5 b195 * b259 + .5 b195 * b262 + .5 b195 * b264 + .5 b195 * b265 + .5 b195 * b280 + .5 b195 * b285 + .5 b195 * b288 + .5 b195 * b296 + .5 b195 * b310 + .5 b195 * b312 + .5 b195 * b313 + .5 b195 * b322 + .5 b195 * b327 + .5 b195 * b330 + .5 b195 * b332 + .5 b195 * b335 + .5 b195 * b340 + .5 b195 * b344 + .5 b195 * b345 + .5 b195 * b347 + .5 b195 * b348 + .5 b195 * b352 + .5 b195 * b354 + .5 b195 * b358 + .5 b195 * b360 + .5 b195 * b367 + .5 b195 * b372 + .5 b195 * b380 + .5 b195 * b383 + .5 b195 * b385 + .5 b195 * b389 + .5 b195 * b392 + .5 b195 * b394 + b196^2 + .5 b196 * b220 + .5 b196 * b222 + .5 b196 * b233 + .5 b196 * b240 + .5 b196 * b246 + .5 b196 * b253 + .5 b196 * b257 + .5 b196 * b259 + .5 b196 * b262 + .5 b196 * b264 + .5 b196 * b265 + .5 b196 * b280 + .5 b196 * b285 + .5 b196 * b288 + .5 b196 * b296 + .5 b196 * b310 + .5 b196 * b312 + .5 b196 * b313 + .5 b196 * b322 + .5 b196 * b327 + .5 b196 * b330 + .5 b196 * b332 + .5 b196 * b335 + .5 b196 * b340 + .5 b196 * b344 + .5 b196 * b345 + .5 b196 * b347 + .5 b196 * b348 + .5 b196 * b352 + .5 b196 * b354 + .5 b196 * b358 + .5 b196 * b360 + .5 b196 * b367 + .5 b196 * b372 + .5 b196 * b380 + .5 b196 * b383 + .5 b196 * b385 + .5 b196 * b389 + .5 b196 * b392 + .5 b196 * b394 + b197^2 + b198^2 + b199^2 + b200^2 + b201^2 + b202^2 + b203^2 + b204^2 + b205^2 + b206^2 + b207^2 + b208^2 + b209^2 + .5 b209 * b236 + .5 b209 * b237 + .5 b209 * b241 + .5 b209 * b243 + .5 b209 * b254 + b209 * b256 + .5 b209 * b276 + .5 b209 * b279 + .5 b209 * b281 + b209 * b294 + b209 * b300 + .5 b209 * b303 + .5 b209 * b318 + .5 b209 * b334 + .5 b209 * b337 + .5 b209 * b341 + .5 b209 * b344 + .5 b209 * b357 + .5 b209 * b363 + .5 b209 * b367 + .5 b209 * b371 + .5 b209 * b372 + .5 b209 * b375 + .5 b209 * b381 + .5 b209 * b383 + b210^2 + .5 b210 * b216 + .5 b210 * b220 + .5 b210 * b226 + .5 b210 * b227 + .5 b210 * b230 + .5 b210 * b232 + .5 b210 * b233 + .5 b210 * b234 + .5 b210 * b235 + .5 b210 * b239 + .5 b210 * b242 + .5 b210 * b264 + .5 b210 * b265 + .5 b210 * b270 + .5 b210 * b275 + b210 * b287 + .5 b210 * b292 + .5 b210 * b295 + .5 b210 * b346 + .5 b210 * b351 + .5 b210 * b368 + .5 b210 * b376 + .5 b210 * b390 + .5 b210 * b391 + b210 * x477 + b211^2 + .5 b211 * b214 + b211 * b223 + .5 b211 * b250 + .5 b211 * b258 + .5 b211 * b260 + .5 b211 * b261 + .5 b211 * b271 + .5 b211 * b314 + .5 b211 * b325 + b211 * b342 + .5 b211 * b349 + .5 b211 * b350 + b211 * b355 + .5 b211 * b361 + .5 b211 * b386 + .5 b211 * b399 + b212^2 + b212 * b229 + .5 b212 * b230 + .5 b212 * b232 + .5 b212 * b235 + .5 b212 * b242 + .5 b212 * b246 + .5 b212 * b252 + b212 * b255 + .5 b212 * b269 + .5 b212 * b270 + .5 b212 * b273 + b212 * b290 + .5 b212 * b292 + .5 b212 * b293 + .5 b212 * b297 + .5 b212 * b299 + .5 b212 * b301 + .5 b212 * b305 + .5 b212 * b306 + .5 b212 * b307 + .5 b212 * b323 + .5 b212 * b327 + .5 b212 * b328 + .5 b212 * b343 + .5 b212 * b346 + .5 b212 * b347 + .5 b212 * b353 + .5 b212 * b359 + .5 b212 * b360 + .5 b212 * b362 + .5 b212 * b393 + .5 b212 * b396 + .5 b212 * b397 + .5 b212 * b400 + b212 * x478 + b213^2 + .5 b213 * b217 + .5 b213 * b218 + .5 b213 * b219 + .5 b213 * b221 + .5 b213 * b224 + .5 b213 * b228 + .5 b213 * b231 + .5 b213 * b245 + b213 * b247 + .5 b213 * b251 + .5 b213 * b253 + .5 b213 * b254 + .5 b213 * b258 + .5 b213 * b261 + .5 b213 * b280 + .5 b213 * b282 + b213 * b286 + .5 b213 * b288 + .5 b213 * b315 + .5 b213 * b316 + .5 b213 * b317 + .5 b213 * b319 + .5 b213 * b321 + .5 b213 * b322 + .5 b213 * b324 + .5 b213 * b325 + .5 b213 * b331 + .5 b213 * b333 + .5 b213 * b349 + .5 b213 * b356 + .5 b213 * b363 + .5 b213 * b364 + .5 b213 * b366 + .5 b213 * b371 + .5 b213 * b375 + .5 b213 * b382 + .5 b213 * b384 + b213 * b387 + .5 b213 * b388 + .5 b213 * b395 + .5 b213 * b398 + b214^2 + .5 b214 * b223 + .5 b214 * b266 + .5 b214 * b272 + .5 b214 * b283 + .5 b214 * b338 + .5 b214 * b342 + .5 b214 * b355 + .5 b214 * b373 + b215^2 + .5 b215 * b225 + .5 b215 * b228 + .5 b215 * b236 + .5 b215 * b237 + .5 b215 * b274 + .5 b215 * b278 + .5 b215 * b291 + .5 b215 * b303 + .5 b215 * b304 + .5 b215 * b309 + b215 * b311 + .5 b215 * b315 + .5 b215 * b316 + .5 b215 * b319 + .5 b215 * b320 + .5 b215 * b321 + .5 b215 * b329 + .5 b215 * b333 + .5 b215 * b356 + .5 b215 * b357 + .5 b215 * b366 + .5 b215 * b370 + .5 b215 * b377 + b216^2 + .5 b216 * b220 + .5 b216 * b226 + b216 * b227 + .5 b216 * b230 + .5 b216 * b233 + .5 b216 * b234 + .5 b216 * b235 + .5 b216 * b239 + .5 b216 * b264 + .5 b216 * b265 + b216 * b275 + .5 b216 * b287 + .5 b216 * b292 + b216 * b295 + .5 b216 * b351 + .5 b216 * b368 + .5 b216 * b376 + .5 b216 * b390 + .5 b216 * b391 + b216 * x479 + b217^2 + .5 b217 * b225 + .5 b217 * b228 + b217 * b231 + .5 b217 * b247 + .5 b217 * b248 + .5 b217 * b258 + .5 b217 * b261 + .5 b217 * b263 + .5 b217 * b268 + .5 b217 * b286 + .5 b217 * b304 + .5 b217 * b316 + .5 b217 * b317 + b217 * b324 + .5 b217 * b325 + .5 b217 * b326 + .5 b217 * b329 + .5 b217 * b333 + .5 b217 * b349 + .5 b217 * b356 + .5 b217 * b370 + b217 * b384 + .5 b217 * b387 + .5 b217 * b388 + b218^2 + .5 b218 * b219 + .5 b218 * b221 + .5 b218 * b224 + .5 b218 * b245 + .5 b218 * b247 + .5 b218 * b248 + .5 b218 * b251 + .5 b218 * b253 + .5 b218 * b254 + .5 b218 * b263 + .5 b218 * b276 + .5 b218 * b279 + .5 b218 * b280 + .5 b218 * b281 + b218 * b282 + .5 b218 * b286 + .5 b218 * b288 + .5 b218 * b315 + .5 b218 * b319 + .5 b218 * b321 + .5 b218 * b322 + .5 b218 * b331 + .5 b218 * b363 + .5 b218 * b364 + .5 b218 * b366 + .5 b218 * b371 + .5 b218 * b375 + .5 b218 * b381 + b218 * b382 + .5 b218 * b387 + .5 b218 * b395 + b218 * b398 + b219^2 + .5 b219 * b221 + b219 * b224 + .5 b219 * b245 + .5 b219 * b247 + .5 b219 * b251 + .5 b219 * b253 + .5 b219 * b254 + .5 b219 * b280 + .5 b219 * b282 + .5 b219 * b286 + .5 b219 * b288 + .5 b219 * b315 + .5 b219 * b319 + .5 b219 * b321 + .5 b219 * b322 + b219 * b331 + .5 b219 * b341 + .5 b219 * b363 + .5 b219 * b364 + .5 b219 * b366 + .5 b219 * b371 + .5 b219 * b375 + .5 b219 * b382 + .5 b219 * b387 + b219 * b395 + .5 b219 * b398 + b219 * x480 + b220^2 + .5 b220 * b222 + .5 b220 * b226 + .5 b220 * b227 + .5 b220 * b230 + b220 * b233 + .5 b220 * b234 + .5 b220 * b235 + .5 b220 * b239 + .5 b220 * b240 + .5 b220 * b246 + .5 b220 * b257 + .5 b220 * b259 + b220 * b264 + b220 * b265 + .5 b220 * b275 + .5 b220 * b287 + .5 b220 * b292 + .5 b220 * b295 + .5 b220 * b310 + .5 b220 * b312 + .5 b220 * b313 + .5 b220 * b327 + .5 b220 * b330 + .5 b220 * b332 + .5 b220 * b335 + .5 b220 * b345 + .5 b220 * b347 + .5 b220 * b348 + .5 b220 * b351 + .5 b220 * b352 + .5 b220 * b354 + .5 b220 * b358 + .5 b220 * b360 + .5 b220 * b368 + .5 b220 * b376 + .5 b220 * b380 + .5 b220 * b385 + .5 b220 * b389 + .5 b220 * b390 + .5 b220 * b391 + .5 b220 * b392 + .5 b220 * b394 + b221^2 + .5 b221 * b224 + b221 * b245 + .5 b221 * b247 + .5 b221 * b250 + b221 * b251 + .5 b221 * b253 + .5 b221 * b254 + .5 b221 * b260 + .5 b221 * b268 + .5 b221 * b271 + .5 b221 * b280 + .5 b221 * b282 + .5 b221 * b286 + .5 b221 * b288 + .5 b221 * b291 + .5 b221 * b308 + .5 b221 * b309 + .5 b221 * b315 + .5 b221 * b319 + .5 b221 * b320 + .5 b221 * b321 + .5 b221 * b322 + .5 b221 * b326 + .5 b221 * b331 + .5 b221 * b363 + b221 * b364 + .5 b221 * b366 + .5 b221 * b371 + .5 b221 * b375 + .5 b221 * b377 + .5 b221 * b382 + .5 b221 * b386 + .5 b221 * b387 + .5 b221 * b395 + .5 b221 * b398 + b222^2 + .5 b222 * b233 + b222 * b240 + .5 b222 * b246 + .5 b222 * b257 + .5 b222 * b259 + .5 b222 * b262 + .5 b222 * b264 + .5 b222 * b265 + .5 b222 * b284 + .5 b222 * b285 + .5 b222 * b296 + .5 b222 * b310 + .5 b222 * b312 + b222 * b313 + .5 b222 * b327 + .5 b222 * b330 + .5 b222 * b332 + .5 b222 * b335 + .5 b222 * b340 + .5 b222 * b345 + .5 b222 * b347 + .5 b222 * b348 + b222 * b352 + .5 b222 * b354 + .5 b222 * b358 + .5 b222 * b360 + .5 b222 * b380 + .5 b222 * b385 + .5 b222 * b389 + .5 b222 * b392 + .5 b222 * b394 + b223^2 + .5 b223 * b250 + .5 b223 * b258 + .5 b223 * b260 + .5 b223 * b261 + .5 b223 * b271 + .5 b223 * b314 + .5 b223 * b325 + b223 * b342 + .5 b223 * b349 + .5 b223 * b350 + b223 * b355 + .5 b223 * b361 + .5 b223 * b386 + .5 b223 * b399 + b224^2 + .5 b224 * b245 + .5 b224 * b247 + .5 b224 * b251 + .5 b224 * b253 + .5 b224 * b254 + .5 b224 * b280 + .5 b224 * b282 + .5 b224 * b286 + .5 b224 * b288 + .5 b224 * b315 + .5 b224 * b319 + .5 b224 * b321 + .5 b224 * b322 + b224 * b331 + .5 b224 * b341 + .5 b224 * b363 + .5 b224 * b364 + .5 b224 * b366 + .5 b224 * b371 + .5 b224 * b375 + .5 b224 * b382 + .5 b224 * b387 + b224 * b395 + .5 b224 * b398 + b224 * x480 + b225^2 + .5 b225 * b231 + .5 b225 * b236 + .5 b225 * b237 + .5 b225 * b248 + .5 b225 * b263 + .5 b225 * b268 + .5 b225 * b278 + .5 b225 * b303 + b225 * b304 + .5 b225 * b311 + .5 b225 * b315 + .5 b225 * b319 + .5 b225 * b321 + .5 b225 * b324 + .5 b225 * b326 + b225 * b329 + .5 b225 * b357 + .5 b225 * b366 + b225 * b370 + .5 b225 * b384 + b226^2 + .5 b226 * b227 + .5 b226 * b230 + .5 b226 * b233 + b226 * b234 + .5 b226 * b235 + b226 * b239 + .5 b226 * b264 + .5 b226 * b265 + .5 b226 * b267 + .5 b226 * b269 + .5 b226 * b275 + .5 b226 * b287 + .5 b226 * b292 + .5 b226 * b295 + .5 b226 * b298 + .5 b226 * b336 + .5 b226 * b339 + .5 b226 * b351 + .5 b226 * b353 + .5 b226 * b359 + .5 b226 * b362 + .5 b226 * b368 + .5 b226 * b376 + .5 b226 * b378 + .5 b226 * b379 + .5 b226 * b390 + b226 * b391 + b226 * x481 + b227^2 + .5 b227 * b230 + .5 b227 * b233 + .5 b227 * b234 + .5 b227 * b235 + .5 b227 * b239 + .5 b227 * b264 + .5 b227 * b265 + b227 * b275 + .5 b227 * b287 + .5 b227 * b292 + b227 * b295 + .5 b227 * b351 + .5 b227 * b368 + .5 b227 * b376 + .5 b227 * b390 + .5 b227 * b391 + b227 * x479 + b228^2 + .5 b228 * b231 + .5 b228 * b247 + .5 b228 * b258 + .5 b228 * b261 + .5 b228 * b274 + .5 b228 * b286 + .5 b228 * b291 + .5 b228 * b309 + .5 b228 * b311 + b228 * b316 + .5 b228 * b317 + .5 b228 * b320 + .5 b228 * b324 + .5 b228 * b325 + b228 * b333 + .5 b228 * b349 + b228 * b356 + .5 b228 * b377 + .5 b228 * b384 + .5 b228 * b387 + .5 b228 * b388 + b229^2 + .5 b229 * b230 + .5 b229 * b232 + .5 b229 * b235 + .5 b229 * b242 + .5 b229 * b246 + .5 b229 * b252 + b229 * b255 + .5 b229 * b269 + .5 b229 * b270 + .5 b229 * b273 + b229 * b290 + .5 b229 * b292 + .5 b229 * b293 + .5 b229 * b297 + .5 b229 * b299 + .5 b229 * b301 + .5 b229 * b305 + .5 b229 * b306 + .5 b229 * b307 + .5 b229 * b323 + .5 b229 * b327 + .5 b229 * b328 + .5 b229 * b343 + .5 b229 * b346 + .5 b229 * b347 + .5 b229 * b353 + .5 b229 * b359 + .5 b229 * b360 + .5 b229 * b362 + .5 b229 * b393 + .5 b229 * b396 + .5 b229 * b397 + .5 b229 * b400 + b229 * x478 + b230^2 + .5 b230 * b233 + .5 b230 * b234 + b230 * b235 + .5 b230 * b239 + .5 b230 * b255 + .5 b230 * b264 + .5 b230 * b265 + .5 b230 * b275 + .5 b230 * b287 + .5 b230 * b290 + b230 * b292 + .5 b230 * b295 + .5 b230 * b351 + .5 b230 * b368 + .5 b230 * b376 + .5 b230 * b390 + .5 b230 * b391 + b230 * x478 + b231^2 + .5 b231 * b247 + .5 b231 * b248 + .5 b231 * b258 + .5 b231 * b261 + .5 b231 * b263 + .5 b231 * b268 + .5 b231 * b286 + .5 b231 * b304 + .5 b231 * b316 + .5 b231 * b317 + b231 * b324 + .5 b231 * b325 + .5 b231 * b326 + .5 b231 * b329 + .5 b231 * b333 + .5 b231 * b349 + .5 b231 * b356 + .5 b231 * b370 + b231 * b384 + .5 b231 * b387 + .5 b231 * b388 + b232^2 + b232 * b242 + .5 b232 * b246 + .5 b232 * b252 + .5 b232 * b255 + .5 b232 * b269 + b232 * b270 + .5 b232 * b273 + .5 b232 * b287 + .5 b232 * b290 + .5 b232 * b293 + .5 b232 * b297 + .5 b232 * b299 + .5 b232 * b301 + .5 b232 * b305 + .5 b232 * b306 + .5 b232 * b307 + .5 b232 * b323 + .5 b232 * b327 + .5 b232 * b328 + .5 b232 * b343 + b232 * b346 + .5 b232 * b347 + .5 b232 * b353 + .5 b232 * b359 + .5 b232 * b360 + .5 b232 * b362 + .5 b232 * b393 + .5 b232 * b396 + .5 b232 * b397 + .5 b232 * b400 + b232 * x477 + b233^2 + .5 b233 * b234 + .5 b233 * b235 + .5 b233 * b239 + .5 b233 * b240 + .5 b233 * b246 + .5 b233 * b257 + .5 b233 * b259 + b233 * b264 + b233 * b265 + .5 b233 * b275 + .5 b233 * b287 + .5 b233 * b292 + .5 b233 * b295 + .5 b233 * b310 + .5 b233 * b312 + .5 b233 * b313 + .5 b233 * b327 + .5 b233 * b330 + .5 b233 * b332 + .5 b233 * b335 + .5 b233 * b345 + .5 b233 * b347 + .5 b233 * b348 + .5 b233 * b351 + .5 b233 * b352 + .5 b233 * b354 + .5 b233 * b358 + .5 b233 * b360 + .5 b233 * b368 + .5 b233 * b376 + .5 b233 * b380 + .5 b233 * b385 + .5 b233 * b389 + .5 b233 * b390 + .5 b233 * b391 + .5 b233 * b392 + .5 b233 * b394 + b234^2 + .5 b234 * b235 + b234 * b239 + .5 b234 * b264 + .5 b234 * b265 + .5 b234 * b267 + .5 b234 * b269 + .5 b234 * b275 + .5 b234 * b287 + .5 b234 * b292 + .5 b234 * b295 + .5 b234 * b298 + .5 b234 * b336 + .5 b234 * b339 + .5 b234 * b351 + .5 b234 * b353 + .5 b234 * b359 + .5 b234 * b362 + .5 b234 * b368 + .5 b234 * b376 + .5 b234 * b378 + .5 b234 * b379 + .5 b234 * b390 + b234 * b391 + b234 * x481 + b235^2 + .5 b235 * b239 + .5 b235 * b255 + .5 b235 * b264 + .5 b235 * b265 + .5 b235 * b275 + .5 b235 * b287 + .5 b235 * b290 + b235 * b292 + .5 b235 * b295 + .5 b235 * b351 + .5 b235 * b368 + .5 b235 * b376 + .5 b235 * b390 + .5 b235 * b391 + b235 * x478 + b236^2 + b236 * b237 + .5 b236 * b256 + .5 b236 * b276 + .5 b236 * b278 + .5 b236 * b279 + .5 b236 * b281 + .5 b236 * b294 + .5 b236 * b300 + b236 * b303 + .5 b236 * b304 + .5 b236 * b311 + .5 b236 * b315 + .5 b236 * b319 + .5 b236 * b321 + .5 b236 * b329 + .5 b236 * b341 + .5 b236 * b344 + b236 * b357 + .5 b236 * b366 + .5 b236 * b367 + .5 b236 * b370 + .5 b236 * b372 + .5 b236 * b381 + .5 b236 * b383 + b237^2 + .5 b237 * b256 + .5 b237 * b276 + .5 b237 * b278 + .5 b237 * b279 + .5 b237 * b281 + .5 b237 * b294 + .5 b237 * b300 + b237 * b303 + .5 b237 * b304 + .5 b237 * b311 + .5 b237 * b315 + .5 b237 * b319 + .5 b237 * b321 + .5 b237 * b329 + .5 b237 * b341 + .5 b237 * b344 + b237 * b357 + .5 b237 * b366 + .5 b237 * b367 + .5 b237 * b370 + .5 b237 * b372 + .5 b237 * b381 + .5 b237 * b383 + b238^2 + b239^2 + .5 b239 * b264 + .5 b239 * b265 + .5 b239 * b267 + .5 b239 * b269 + .5 b239 * b275 + .5 b239 * b287 + .5 b239 * b292 + .5 b239 * b295 + .5 b239 * b298 + .5 b239 * b336 + .5 b239 * b339 + .5 b239 * b351 + .5 b239 * b353 + .5 b239 * b359 + .5 b239 * b362 + .5 b239 * b368 + .5 b239 * b376 + .5 b239 * b378 + .5 b239 * b379 + .5 b239 * b390 + b239 * b391 + b239 * x481 + b240^2 + .5 b240 * b246 + .5 b240 * b257 + .5 b240 * b259 + .5 b240 * b262 + .5 b240 * b264 + .5 b240 * b265 + .5 b240 * b284 + .5 b240 * b285 + .5 b240 * b296 + .5 b240 * b310 + .5 b240 * b312 + b240 * b313 + .5 b240 * b327 + .5 b240 * b330 + .5 b240 * b332 + .5 b240 * b335 + .5 b240 * b340 + .5 b240 * b345 + .5 b240 * b347 + .5 b240 * b348 + b240 * b352 + .5 b240 * b354 + .5 b240 * b358 + .5 b240 * b360 + .5 b240 * b380 + .5 b240 * b385 + .5 b240 * b389 + .5 b240 * b392 + .5 b240 * b394 + b241^2 + b241 * b243 + .5 b241 * b249 + .5 b241 * b254 + .5 b241 * b256 + .5 b241 * b267 + .5 b241 * b277 + .5 b241 * b294 + .5 b241 * b298 + .5 b241 * b300 + .5 b241 * b302 + .5 b241 * b310 + .5 b241 * b318 + b241 * b334 + b241 * b337 + .5 b241 * b345 + .5 b241 * b363 + .5 b241 * b365 + .5 b241 * b371 + .5 b241 * b374 + .5 b241 * b375 + .5 b241 * b378 + .5 b241 * b379 + .5 b241 * b389 + .5 b241 * b394 + b242^2 + .5 b242 * b246 + .5 b242 * b252 + .5 b242 * b255 + .5 b242 * b269 + b242 * b270 + .5 b242 * b273 + .5 b242 * b287 + .5 b242 * b290 + .5 b242 * b293 + .5 b242 * b297 + .5 b242 * b299 + .5 b242 * b301 + .5 b242 * b305 + .5 b242 * b306 + .5 b242 * b307 + .5 b242 * b323 + .5 b242 * b327 + .5 b242 * b328 + .5 b242 * b343 + b242 * b346 + .5 b242 * b347 + .5 b242 * b353 + .5 b242 * b359 + .5 b242 * b360 + .5 b242 * b362 + .5 b242 * b393 + .5 b242 * b396 + .5 b242 * b397 + .5 b242 * b400 + b242 * x477 + b243^2 + .5 b243 * b249 + .5 b243 * b254 + .5 b243 * b256 + .5 b243 * b267 + .5 b243 * b277 + .5 b243 * b294 + .5 b243 * b298 + .5 b243 * b300 + .5 b243 * b302 + .5 b243 * b310 + .5 b243 * b318 + b243 * b334 + b243 * b337 + .5 b243 * b345 + .5 b243 * b363 + .5 b243 * b365 + .5 b243 * b371 + .5 b243 * b374 + .5 b243 * b375 + .5 b243 * b378 + .5 b243 * b379 + .5 b243 * b389 + .5 b243 * b394 + b244^2 + .5 b244 * b249 + .5 b244 * b257 + .5 b244 * b273 + .5 b244 * b277 + .5 b244 * b284 + .5 b244 * b289 + .5 b244 * b301 + .5 b244 * b323 + .5 b244 * b332 + .5 b244 * b351 + .5 b244 * b354 + .5 b244 * b358 + .5 b244 * b365 + .5 b244 * b368 + .5 b244 * b374 + .5 b244 * b376 + .5 b244 * b390 + .5 b244 * b396 + .5 b244 * b419 + .5 b244 * b458 + .5 b244 * b464 + b245^2 + .5 b245 * b247 + .5 b245 * b250 + b245 * b251 + .5 b245 * b253 + .5 b245 * b254 + .5 b245 * b260 + .5 b245 * b268 + .5 b245 * b271 + .5 b245 * b280 + .5 b245 * b282 + .5 b245 * b286 + .5 b245 * b288 + .5 b245 * b291 + .5 b245 * b308 + .5 b245 * b309 + .5 b245 * b315 + .5 b245 * b319 + .5 b245 * b320 + .5 b245 * b321 + .5 b245 * b322 + .5 b245 * b326 + .5 b245 * b331 + .5 b245 * b363 + b245 * b364 + .5 b245 * b366 + .5 b245 * b371 + .5 b245 * b375 + .5 b245 * b377 + .5 b245 * b382 + .5 b245 * b386 + .5 b245 * b387 + .5 b245 * b395 + .5 b245 * b398 + b246^2 + .5 b246 * b252 + .5 b246 * b255 + .5 b246 * b257 + .5 b246 * b259 + .5 b246 * b264 + .5 b246 * b265 + .5 b246 * b269 + .5 b246 * b270 + .5 b246 * b273 + .5 b246 * b290 + .5 b246 * b293 + .5 b246 * b297 + .5 b246 * b299 + .5 b246 * b301 + .5 b246 * b305 + .5 b246 * b306 + .5 b246 * b307 + .5 b246 * b310 + .5 b246 * b312 + .5 b246 * b313 + .5 b246 * b323 + b246 * b327 + .5 b246 * b328 + .5 b246 * b330 + .5 b246 * b332 + .5 b246 * b335 + .5 b246 * b343 + .5 b246 * b345 + .5 b246 * b346 + b246 * b347 + .5 b246 * b348 + .5 b246 * b352 + .5 b246 * b353 + .5 b246 * b354 + .5 b246 * b358 + .5 b246 * b359 + b246 * b360 + .5 b246 * b362 + .5 b246 * b380 + .5 b246 * b385 + .5 b246 * b389 + .5 b246 * b392 + .5 b246 * b393 + .5 b246 * b394 + .5 b246 * b396 + .5 b246 * b397 + .5 b246 * b400 + b247^2 + .5 b247 * b251 + .5 b247 * b253 + .5 b247 * b254 + .5 b247 * b258 + .5 b247 * b261 + .5 b247 * b280 + .5 b247 * b282 + b247 * b286 + .5 b247 * b288 + .5 b247 * b315 + .5 b247 * b316 + .5 b247 * b317 + .5 b247 * b319 + .5 b247 * b321 + .5 b247 * b322 + .5 b247 * b324 + .5 b247 * b325 + .5 b247 * b331 + .5 b247 * b333 + .5 b247 * b349 + .5 b247 * b356 + .5 b247 * b363 + .5 b247 * b364 + .5 b247 * b366 + .5 b247 * b371 + .5 b247 * b375 + .5 b247 * b382 + .5 b247 * b384 + b247 * b387 + .5 b247 * b388 + .5 b247 * b395 + .5 b247 * b398 + b248^2 + b248 * b263 + .5 b248 * b268 + .5 b248 * b276 + .5 b248 * b279 + .5 b248 * b281 + .5 b248 * b282 + .5 b248 * b304 + .5 b248 * b324 + .5 b248 * b326 + .5 b248 * b329 + .5 b248 * b370 + .5 b248 * b381 + .5 b248 * b382 + .5 b248 * b384 + .5 b248 * b398 + b249^2 + .5 b249 * b267 + .5 b249 * b273 + b249 * b277 + .5 b249 * b284 + .5 b249 * b289 + .5 b249 * b298 + .5 b249 * b301 + .5 b249 * b302 + .5 b249 * b310 + .5 b249 * b323 + .5 b249 * b334 + .5 b249 * b337 + .5 b249 * b345 + .5 b249 * b351 + b249 * b365 + .5 b249 * b368 + b249 * b374 + .5 b249 * b376 + .5 b249 * b378 + .5 b249 * b379 + .5 b249 * b389 + .5 b249 * b390 + .5 b249 * b394 + .5 b249 * b396 + b250^2 + .5 b250 * b251 + .5 b250 * b258 + b250 * b260 + .5 b250 * b261 + .5 b250 * b268 + b250 * b271 + .5 b250 * b291 + .5 b250 * b308 + .5 b250 * b309 + .5 b250 * b314 + .5 b250 * b320 + .5 b250 * b325 + .5 b250 * b326 + .5 b250 * b342 + .5 b250 * b349 + .5 b250 * b350 + .5 b250 * b355 + .5 b250 * b361 + .5 b250 * b364 + .5 b250 * b377 + b250 * b386 + .5 b250 * b399 + b251^2 + .5 b251 * b253 + .5 b251 * b254 + .5 b251 * b260 + .5 b251 * b268 + .5 b251 * b271 + .5 b251 * b280 + .5 b251 * b282 + .5 b251 * b286 + .5 b251 * b288 + .5 b251 * b291 + .5 b251 * b308 + .5 b251 * b309 + .5 b251 * b315 + .5 b251 * b319 + .5 b251 * b320 + .5 b251 * b321 + .5 b251 * b322 + .5 b251 * b326 + .5 b251 * b331 + .5 b251 * b363 + b251 * b364 + .5 b251 * b366 + .5 b251 * b371 + .5 b251 * b375 + .5 b251 * b377 + .5 b251 * b382 + .5 b251 * b386 + .5 b251 * b387 + .5 b251 * b395 + .5 b251 * b398 + b252^2 + .5 b252 * b255 + .5 b252 * b269 + .5 b252 * b270 + .5 b252 * b273 + .5 b252 * b290 + b252 * b293 + .5 b252 * b297 + .5 b252 * b299 + .5 b252 * b301 + .5 b252 * b305 + b252 * b306 + .5 b252 * b307 + .5 b252 * b323 + .5 b252 * b327 + b252 * b328 + .5 b252 * b343 + .5 b252 * b346 + .5 b252 * b347 + .5 b252 * b353 + .5 b252 * b359 + .5 b252 * b360 + .5 b252 * b362 + .5 b252 * b393 + .5 b252 * b396 + .5 b252 * b397 + .5 b252 * b400 + b252 * x482 + b253^2 + .5 b253 * b254 + .5 b253 * b262 + b253 * b280 + .5 b253 * b282 + .5 b253 * b285 + .5 b253 * b286 + b253 * b288 + .5 b253 * b296 + .5 b253 * b315 + .5 b253 * b319 + .5 b253 * b321 + b253 * b322 + .5 b253 * b331 + .5 b253 * b340 + .5 b253 * b344 + .5 b253 * b363 + .5 b253 * b364 + .5 b253 * b366 + .5 b253 * b367 + .5 b253 * b371 + .5 b253 * b372 + .5 b253 * b375 + .5 b253 * b382 + .5 b253 * b383 + .5 b253 * b387 + .5 b253 * b395 + .5 b253 * b398 + b254^2 + .5 b254 * b256 + .5 b254 * b280 + .5 b254 * b282 + .5 b254 * b286 + .5 b254 * b288 + .5 b254 * b294 + .5 b254 * b300 + .5 b254 * b315 + .5 b254 * b318 + .5 b254 * b319 + .5 b254 * b321 + .5 b254 * b322 + .5 b254 * b331 + .5 b254 * b334 + .5 b254 * b337 + b254 * b363 + .5 b254 * b364 + .5 b254 * b366 + b254 * b371 + b254 * b375 + .5 b254 * b382 + .5 b254 * b387 + .5 b254 * b395 + .5 b254 * b398 + b255^2 + .5 b255 * b269 + .5 b255 * b270 + .5 b255 * b273 + b255 * b290 + .5 b255 * b292 + .5 b255 * b293 + .5 b255 * b297 + .5 b255 * b299 + .5 b255 * b301 + .5 b255 * b305 + .5 b255 * b306 + .5 b255 * b307 + .5 b255 * b323 + .5 b255 * b327 + .5 b255 * b328 + .5 b255 * b343 + .5 b255 * b346 + .5 b255 * b347 + .5 b255 * b353 + .5 b255 * b359 + .5 b255 * b360 + .5 b255 * b362 + .5 b255 * b393 + .5 b255 * b396 + .5 b255 * b397 + .5 b255 * b400 + b255 * x478 + b256^2 + .5 b256 * b276 + .5 b256 * b279 + .5 b256 * b281 + b256 * b294 + b256 * b300 + .5 b256 * b303 + .5 b256 * b318 + .5 b256 * b334 + .5 b256 * b337 + .5 b256 * b341 + .5 b256 * b344 + .5 b256 * b357 + .5 b256 * b363 + .5 b256 * b367 + .5 b256 * b371 + .5 b256 * b372 + .5 b256 * b375 + .5 b256 * b381 + .5 b256 * b383 + b257^2 + .5 b257 * b259 + .5 b257 * b264 + .5 b257 * b265 + .5 b257 * b310 + .5 b257 * b312 + .5 b257 * b313 + .5 b257 * b327 + .5 b257 * b330 + b257 * b332 + .5 b257 * b335 + .5 b257 * b345 + .5 b257 * b347 + .5 b257 * b348 + .5 b257 * b352 + b257 * b354 + b257 * b358 + .5 b257 * b360 + .5 b257 * b380 + .5 b257 * b385 + .5 b257 * b389 + .5 b257 * b392 + .5 b257 * b394 + .5 b257 * b419 + .5 b257 * b458 + .5 b257 * b464 + b258^2 + .5 b258 * b260 + b258 * b261 + .5 b258 * b271 + .5 b258 * b286 + .5 b258 * b314 + .5 b258 * b316 + .5 b258 * b317 + .5 b258 * b324 + b258 * b325 + .5 b258 * b333 + .5 b258 * b342 + b258 * b349 + .5 b258 * b350 + .5 b258 * b355 + .5 b258 * b356 + .5 b258 * b361 + .5 b258 * b384 + .5 b258 * b386 + .5 b258 * b387 + .5 b258 * b388 + .5 b258 * b399 + b259^2 + .5 b259 * b264 + .5 b259 * b265 + .5 b259 * b310 + .5 b259 * b312 + .5 b259 * b313 + .5 b259 * b327 + .5 b259 * b330 + .5 b259 * b332 + b259 * b335 + .5 b259 * b345 + .5 b259 * b347 + .5 b259 * b348 + .5 b259 * b352 + .5 b259 * b354 + .5 b259 * b358 + .5 b259 * b360 + b259 * b380 + b259 * b385 + .5 b259 * b389 + .5 b259 * b392 + .5 b259 * b394 + b260^2 + .5 b260 * b261 + .5 b260 * b268 + b260 * b271 + .5 b260 * b291 + .5 b260 * b308 + .5 b260 * b309 + .5 b260 * b314 + .5 b260 * b320 + .5 b260 * b325 + .5 b260 * b326 + .5 b260 * b342 + .5 b260 * b349 + .5 b260 * b350 + .5 b260 * b355 + .5 b260 * b361 + .5 b260 * b364 + .5 b260 * b377 + b260 * b386 + .5 b260 * b399 + b261^2 + .5 b261 * b271 + .5 b261 * b286 + .5 b261 * b314 + .5 b261 * b316 + .5 b261 * b317 + .5 b261 * b324 + b261 * b325 + .5 b261 * b333 + .5 b261 * b342 + b261 * b349 + .5 b261 * b350 + .5 b261 * b355 + .5 b261 * b356 + .5 b261 * b361 + .5 b261 * b384 + .5 b261 * b386 + .5 b261 * b387 + .5 b261 * b388 + .5 b261 * b399 + b262^2 + .5 b262 * b280 + .5 b262 * b284 + b262 * b285 + .5 b262 * b288 + b262 * b296 + .5 b262 * b313 + .5 b262 * b322 + b262 * b340 + .5 b262 * b344 + .5 b262 * b352 + .5 b262 * b367 + .5 b262 * b372 + .5 b262 * b383 + b263^2 + .5 b263 * b268 + .5 b263 * b276 + .5 b263 * b279 + .5 b263 * b281 + .5 b263 * b282 + .5 b263 * b304 + .5 b263 * b324 + .5 b263 * b326 + .5 b263 * b329 + .5 b263 * b370 + .5 b263 * b381 + .5 b263 * b382 + .5 b263 * b384 + .5 b263 * b398 + b264^2 + b264 * b265 + .5 b264 * b275 + .5 b264 * b287 + .5 b264 * b292 + .5 b264 * b295 + .5 b264 * b310 + .5 b264 * b312 + .5 b264 * b313 + .5 b264 * b327 + .5 b264 * b330 + .5 b264 * b332 + .5 b264 * b335 + .5 b264 * b345 + .5 b264 * b347 + .5 b264 * b348 + .5 b264 * b351 + .5 b264 * b352 + .5 b264 * b354 + .5 b264 * b358 + .5 b264 * b360 + .5 b264 * b368 + .5 b264 * b376 + .5 b264 * b380 + .5 b264 * b385 + .5 b264 * b389 + .5 b264 * b390 + .5 b264 * b391 + .5 b264 * b392 + .5 b264 * b394 + b265^2 + .5 b265 * b275 + .5 b265 * b287 + .5 b265 * b292 + .5 b265 * b295 + .5 b265 * b310 + .5 b265 * b312 + .5 b265 * b313 + .5 b265 * b327 + .5 b265 * b330 + .5 b265 * b332 + .5 b265 * b335 + .5 b265 * b345 + .5 b265 * b347 + .5 b265 * b348 + .5 b265 * b351 + .5 b265 * b352 + .5 b265 * b354 + .5 b265 * b358 + .5 b265 * b360 + .5 b265 * b368 + .5 b265 * b376 + .5 b265 * b380 + .5 b265 * b385 + .5 b265 * b389 + .5 b265 * b390 + .5 b265 * b391 + .5 b265 * b392 + .5 b265 * b394 + b266^2 + b266 * b272 + b266 * b283 + b266 * b338 + .5 b266 * b369 + .5 b266 * b373 + b267^2 + .5 b267 * b269 + .5 b267 * b277 + b267 * b298 + .5 b267 * b302 + .5 b267 * b310 + .5 b267 * b334 + .5 b267 * b336 + .5 b267 * b337 + .5 b267 * b339 + .5 b267 * b345 + .5 b267 * b353 + .5 b267 * b359 + .5 b267 * b362 + .5 b267 * b365 + .5 b267 * b374 + b267 * b378 + b267 * b379 + .5 b267 * b389 + .5 b267 * b391 + .5 b267 * b394 + b267 * x481 + b268^2 + .5 b268 * b271 + .5 b268 * b291 + .5 b268 * b304 + .5 b268 * b308 + .5 b268 * b309 + .5 b268 * b320 + .5 b268 * b324 + b268 * b326 + .5 b268 * b329 + .5 b268 * b364 + .5 b268 * b370 + .5 b268 * b377 + .5 b268 * b384 + .5 b268 * b386 + b269^2 + .5 b269 * b270 + .5 b269 * b273 + .5 b269 * b290 + .5 b269 * b293 + .5 b269 * b297 + .5 b269 * b298 + .5 b269 * b299 + .5 b269 * b301 + .5 b269 * b305 + .5 b269 * b306 + .5 b269 * b307 + .5 b269 * b323 + .5 b269 * b327 + .5 b269 * b328 + .5 b269 * b336 + .5 b269 * b339 + .5 b269 * b343 + .5 b269 * b346 + .5 b269 * b347 + b269 * b353 + b269 * b359 + .5 b269 * b360 + b269 * b362 + .5 b269 * b378 + .5 b269 * b379 + .5 b269 * b391 + .5 b269 * b393 + .5 b269 * b396 + .5 b269 * b397 + .5 b269 * b400 + b269 * x481 + b270^2 + .5 b270 * b273 + .5 b270 * b287 + .5 b270 * b290 + .5 b270 * b293 + .5 b270 * b297 + .5 b270 * b299 + .5 b270 * b301 + .5 b270 * b305 + .5 b270 * b306 + .5 b270 * b307 + .5 b270 * b323 + .5 b270 * b327 + .5 b270 * b328 + .5 b270 * b343 + b270 * b346 + .5 b270 * b347 + .5 b270 * b353 + .5 b270 * b359 + .5 b270 * b360 + .5 b270 * b362 + .5 b270 * b393 + .5 b270 * b396 + .5 b270 * b397 + .5 b270 * b400 + b270 * x477 + b271^2 + .5 b271 * b291 + .5 b271 * b308 + .5 b271 * b309 + .5 b271 * b314 + .5 b271 * b320 + .5 b271 * b325 + .5 b271 * b326 + .5 b271 * b342 + .5 b271 * b349 + .5 b271 * b350 + .5 b271 * b355 + .5 b271 * b361 + .5 b271 * b364 + .5 b271 * b377 + b271 * b386 + .5 b271 * b399 + b272^2 + b272 * b283 + b272 * b338 + .5 b272 * b369 + .5 b272 * b373 + b273^2 + .5 b273 * b277 + .5 b273 * b284 + .5 b273 * b289 + .5 b273 * b290 + .5 b273 * b293 + .5 b273 * b297 + .5 b273 * b299 + b273 * b301 + .5 b273 * b305 + .5 b273 * b306 + .5 b273 * b307 + b273 * b323 + .5 b273 * b327 + .5 b273 * b328 + .5 b273 * b343 + .5 b273 * b346 + .5 b273 * b347 + .5 b273 * b351 + .5 b273 * b353 + .5 b273 * b359 + .5 b273 * b360 + .5 b273 * b362 + .5 b273 * b365 + .5 b273 * b368 + .5 b273 * b374 + .5 b273 * b376 + .5 b273 * b390 + .5 b273 * b393 + b273 * b396 + .5 b273 * b397 + .5 b273 * b400 + b274^2 + .5 b274 * b291 + .5 b274 * b309 + .5 b274 * b311 + .5 b274 * b316 + .5 b274 * b320 + .5 b274 * b333 + .5 b274 * b356 + .5 b274 * b377 + b274 * x483 + b275^2 + .5 b275 * b287 + .5 b275 * b292 + b275 * b295 + .5 b275 * b351 + .5 b275 * b368 + .5 b275 * b376 + .5 b275 * b390 + .5 b275 * b391 + b275 * x479 + b276^2 + b276 * b279 + b276 * b281 + .5 b276 * b282 + .5 b276 * b294 + .5 b276 * b300 + .5 b276 * b303 + .5 b276 * b341 + .5 b276 * b344 + .5 b276 * b357 + .5 b276 * b367 + .5 b276 * b372 + b276 * b381 + .5 b276 * b382 + .5 b276 * b383 + .5 b276 * b398 + b277^2 + .5 b277 * b284 + .5 b277 * b289 + .5 b277 * b298 + .5 b277 * b301 + .5 b277 * b302 + .5 b277 * b310 + .5 b277 * b323 + .5 b277 * b334 + .5 b277 * b337 + .5 b277 * b345 + .5 b277 * b351 + b277 * b365 + .5 b277 * b368 + b277 * b374 + .5 b277 * b376 + .5 b277 * b378 + .5 b277 * b379 + .5 b277 * b389 + .5 b277 * b390 + .5 b277 * b394 + .5 b277 * b396 + b278^2 + .5 b278 * b303 + .5 b278 * b304 + .5 b278 * b308 + .5 b278 * b311 + .5 b278 * b315 + .5 b278 * b319 + .5 b278 * b321 + .5 b278 * b329 + .5 b278 * b357 + .5 b278 * b366 + .5 b278 * b370 + b279^2 + b279 * b281 + .5 b279 * b282 + .5 b279 * b294 + .5 b279 * b300 + .5 b279 * b303 + .5 b279 * b341 + .5 b279 * b344 + .5 b279 * b357 + .5 b279 * b367 + .5 b279 * b372 + b279 * b381 + .5 b279 * b382 + .5 b279 * b383 + .5 b279 * b398 + b280^2 + .5 b280 * b282 + .5 b280 * b285 + .5 b280 * b286 + b280 * b288 + .5 b280 * b296 + .5 b280 * b315 + .5 b280 * b319 + .5 b280 * b321 + b280 * b322 + .5 b280 * b331 + .5 b280 * b340 + .5 b280 * b344 + .5 b280 * b363 + .5 b280 * b364 + .5 b280 * b366 + .5 b280 * b367 + .5 b280 * b371 + .5 b280 * b372 + .5 b280 * b375 + .5 b280 * b382 + .5 b280 * b383 + .5 b280 * b387 + .5 b280 * b395 + .5 b280 * b398 + b281^2 + .5 b281 * b282 + .5 b281 * b294 + .5 b281 * b300 + .5 b281 * b303 + .5 b281 * b341 + .5 b281 * b344 + .5 b281 * b357 + .5 b281 * b367 + .5 b281 * b372 + b281 * b381 + .5 b281 * b382 + .5 b281 * b383 + .5 b281 * b398 + b282^2 + .5 b282 * b286 + .5 b282 * b288 + .5 b282 * b315 + .5 b282 * b319 + .5 b282 * b321 + .5 b282 * b322 + .5 b282 * b331 + .5 b282 * b363 + .5 b282 * b364 + .5 b282 * b366 + .5 b282 * b371 + .5 b282 * b375 + .5 b282 * b381 + b282 * b382 + .5 b282 * b387 + .5 b282 * b395 + b282 * b398 + b283^2 + b283 * b338 + .5 b283 * b369 + .5 b283 * b373 + b284^2 + .5 b284 * b285 + .5 b284 * b289 + .5 b284 * b296 + .5 b284 * b301 + .5 b284 * b313 + .5 b284 * b323 + .5 b284 * b340 + .5 b284 * b351 + .5 b284 * b352 + .5 b284 * b365 + .5 b284 * b368 + .5 b284 * b374 + .5 b284 * b376 + .5 b284 * b390 + .5 b284 * b396 + b285^2 + .5 b285 * b288 + b285 * b296 + .5 b285 * b313 + .5 b285 * b322 + b285 * b340 + .5 b285 * b344 + .5 b285 * b352 + .5 b285 * b367 + .5 b285 * b372 + .5 b285 * b383 + b286^2 + .5 b286 * b288 + .5 b286 * b315 + .5 b286 * b316 + .5 b286 * b317 + .5 b286 * b319 + .5 b286 * b321 + .5 b286 * b322 + .5 b286 * b324 + .5 b286 * b325 + .5 b286 * b331 + .5 b286 * b333 + .5 b286 * b349 + .5 b286 * b356 + .5 b286 * b363 + .5 b286 * b364 + .5 b286 * b366 + .5 b286 * b371 + .5 b286 * b375 + .5 b286 * b382 + .5 b286 * b384 + b286 * b387 + .5 b286 * b388 + .5 b286 * b395 + .5 b286 * b398 + b287^2 + .5 b287 * b292 + .5 b287 * b295 + .5 b287 * b346 + .5 b287 * b351 + .5 b287 * b368 + .5 b287 * b376 + .5 b287 * b390 + .5 b287 * b391 + b287 * x477 + b288^2 + .5 b288 * b296 + .5 b288 * b315 + .5 b288 * b319 + .5 b288 * b321 + b288 * b322 + .5 b288 * b331 + .5 b288 * b340 + .5 b288 * b344 + .5 b288 * b363 + .5 b288 * b364 + .5 b288 * b366 + .5 b288 * b367 + .5 b288 * b371 + .5 b288 * b372 + .5 b288 * b375 + .5 b288 * b382 + .5 b288 * b383 + .5 b288 * b387 + .5 b288 * b395 + .5 b288 * b398 + b289^2 + .5 b289 * b301 + .5 b289 * b312 + .5 b289 * b318 + .5 b289 * b323 + .5 b289 * b330 + .5 b289 * b336 + .5 b289 * b339 + .5 b289 * b348 + .5 b289 * b351 + .5 b289 * b365 + .5 b289 * b368 + .5 b289 * b374 + .5 b289 * b376 + .5 b289 * b390 + .5 b289 * b392 + .5 b289 * b396 + b290^2 + .5 b290 * b292 + .5 b290 * b293 + .5 b290 * b297 + .5 b290 * b299 + .5 b290 * b301 + .5 b290 * b305 + .5 b290 * b306 + .5 b290 * b307 + .5 b290 * b323 + .5 b290 * b327 + .5 b290 * b328 + .5 b290 * b343 + .5 b290 * b346 + .5 b290 * b347 + .5 b290 * b353 + .5 b290 * b359 + .5 b290 * b360 + .5 b290 * b362 + .5 b290 * b393 + .5 b290 * b396 + .5 b290 * b397 + .5 b290 * b400 + b290 * x478 + b291^2 + .5 b291 * b308 + b291 * b309 + .5 b291 * b311 + .5 b291 * b316 + b291 * b320 + .5 b291 * b326 + .5 b291 * b333 + .5 b291 * b356 + .5 b291 * b364 + b291 * b377 + .5 b291 * b386 + b292^2 + .5 b292 * b295 + .5 b292 * b351 + .5 b292 * b368 + .5 b292 * b376 + .5 b292 * b390 + .5 b292 * b391 + b292 * x478 + b293^2 + .5 b293 * b297 + .5 b293 * b299 + .5 b293 * b301 + .5 b293 * b305 + b293 * b306 + .5 b293 * b307 + .5 b293 * b323 + .5 b293 * b327 + b293 * b328 + .5 b293 * b343 + .5 b293 * b346 + .5 b293 * b347 + .5 b293 * b353 + .5 b293 * b359 + .5 b293 * b360 + .5 b293 * b362 + .5 b293 * b393 + .5 b293 * b396 + .5 b293 * b397 + .5 b293 * b400 + b293 * x482 + b294^2 + b294 * b300 + .5 b294 * b303 + .5 b294 * b318 + .5 b294 * b334 + .5 b294 * b337 + .5 b294 * b341 + .5 b294 * b344 + .5 b294 * b357 + .5 b294 * b363 + .5 b294 * b367 + .5 b294 * b371 + .5 b294 * b372 + .5 b294 * b375 + .5 b294 * b381 + .5 b294 * b383 + b295^2 + .5 b295 * b351 + .5 b295 * b368 + .5 b295 * b376 + .5 b295 * b390 + .5 b295 * b391 + b295 * x479 + b296^2 + .5 b296 * b313 + .5 b296 * b322 + b296 * b340 + .5 b296 * b344 + .5 b296 * b352 + .5 b296 * b367 + .5 b296 * b372 + .5 b296 * b383 + b297^2 + b297 * b299 + .5 b297 * b301 + b297 * b305 + .5 b297 * b306 + .5 b297 * b307 + .5 b297 * b323 + .5 b297 * b327 + .5 b297 * b328 + .5 b297 * b343 + .5 b297 * b346 + .5 b297 * b347 + .5 b297 * b353 + .5 b297 * b359 + .5 b297 * b360 + .5 b297 * b362 + .5 b297 * b393 + .5 b297 * b396 + b297 * b397 + .5 b297 * b400 + b297 * x484 + b298^2 + .5 b298 * b302 + .5 b298 * b310 + .5 b298 * b334 + .5 b298 * b336 + .5 b298 * b337 + .5 b298 * b339 + .5 b298 * b345 + .5 b298 * b353 + .5 b298 * b359 + .5 b298 * b362 + .5 b298 * b365 + .5 b298 * b374 + b298 * b378 + b298 * b379 + .5 b298 * b389 + .5 b298 * b391 + .5 b298 * b394 + b298 * x481 + b299^2 + .5 b299 * b301 + b299 * b305 + .5 b299 * b306 + .5 b299 * b307 + .5 b299 * b323 + .5 b299 * b327 + .5 b299 * b328 + .5 b299 * b343 + .5 b299 * b346 + .5 b299 * b347 + .5 b299 * b353 + .5 b299 * b359 + .5 b299 * b360 + .5 b299 * b362 + .5 b299 * b393 + .5 b299 * b396 + b299 * b397 + .5 b299 * b400 + b299 * x484 + b300^2 + .5 b300 * b303 + .5 b300 * b318 + .5 b300 * b334 + .5 b300 * b337 + .5 b300 * b341 + .5 b300 * b344 + .5 b300 * b357 + .5 b300 * b363 + .5 b300 * b367 + .5 b300 * b371 + .5 b300 * b372 + .5 b300 * b375 + .5 b300 * b381 + .5 b300 * b383 + b301^2 + .5 b301 * b305 + .5 b301 * b306 + .5 b301 * b307 + b301 * b323 + .5 b301 * b327 + .5 b301 * b328 + .5 b301 * b343 + .5 b301 * b346 + .5 b301 * b347 + .5 b301 * b351 + .5 b301 * b353 + .5 b301 * b359 + .5 b301 * b360 + .5 b301 * b362 + .5 b301 * b365 + .5 b301 * b368 + .5 b301 * b374 + .5 b301 * b376 + .5 b301 * b390 + .5 b301 * b393 + b301 * b396 + .5 b301 * b397 + .5 b301 * b400 + b302^2 + .5 b302 * b307 + .5 b302 * b310 + .5 b302 * b334 + .5 b302 * b337 + .5 b302 * b343 + .5 b302 * b345 + .5 b302 * b365 + .5 b302 * b374 + .5 b302 * b378 + .5 b302 * b379 + .5 b302 * b389 + .5 b302 * b393 + .5 b302 * b394 + .5 b302 * b400 + b302 * x485 + b303^2 + .5 b303 * b304 + .5 b303 * b311 + .5 b303 * b315 + .5 b303 * b319 + .5 b303 * b321 + .5 b303 * b329 + .5 b303 * b341 + .5 b303 * b344 + b303 * b357 + .5 b303 * b366 + .5 b303 * b367 + .5 b303 * b370 + .5 b303 * b372 + .5 b303 * b381 + .5 b303 * b383 + b304^2 + .5 b304 * b311 + .5 b304 * b315 + .5 b304 * b319 + .5 b304 * b321 + .5 b304 * b324 + .5 b304 * b326 + b304 * b329 + .5 b304 * b357 + .5 b304 * b366 + b304 * b370 + .5 b304 * b384 + b305^2 + .5 b305 * b306 + .5 b305 * b307 + .5 b305 * b323 + .5 b305 * b327 + .5 b305 * b328 + .5 b305 * b343 + .5 b305 * b346 + .5 b305 * b347 + .5 b305 * b353 + .5 b305 * b359 + .5 b305 * b360 + .5 b305 * b362 + .5 b305 * b393 + .5 b305 * b396 + b305 * b397 + .5 b305 * b400 + b305 * x484 + b306^2 + .5 b306 * b307 + .5 b306 * b323 + .5 b306 * b327 + b306 * b328 + .5 b306 * b343 + .5 b306 * b346 + .5 b306 * b347 + .5 b306 * b353 + .5 b306 * b359 + .5 b306 * b360 + .5 b306 * b362 + .5 b306 * b393 + .5 b306 * b396 + .5 b306 * b397 + .5 b306 * b400 + b306 * x482 + b307^2 + .5 b307 * b323 + .5 b307 * b327 + .5 b307 * b328 + b307 * b343 + .5 b307 * b346 + .5 b307 * b347 + .5 b307 * b353 + .5 b307 * b359 + .5 b307 * b360 + .5 b307 * b362 + b307 * b393 + .5 b307 * b396 + .5 b307 * b397 + b307 * b400 + b307 * x485 + b308^2 + .5 b308 * b309 + .5 b308 * b320 + .5 b308 * b326 + .5 b308 * b364 + .5 b308 * b377 + .5 b308 * b386 + b309^2 + .5 b309 * b311 + .5 b309 * b316 + b309 * b320 + .5 b309 * b326 + .5 b309 * b333 + .5 b309 * b356 + .5 b309 * b364 + b309 * b377 + .5 b309 * b386 + b310^2 + .5 b310 * b312 + .5 b310 * b313 + .5 b310 * b327 + .5 b310 * b330 + .5 b310 * b332 + .5 b310 * b334 + .5 b310 * b335 + .5 b310 * b337 + b310 * b345 + .5 b310 * b347 + .5 b310 * b348 + .5 b310 * b352 + .5 b310 * b354 + .5 b310 * b358 + .5 b310 * b360 + .5 b310 * b365 + .5 b310 * b374 + .5 b310 * b378 + .5 b310 * b379 + .5 b310 * b380 + .5 b310 * b385 + b310 * b389 + .5 b310 * b392 + b310 * b394 + b311^2 + .5 b311 * b315 + .5 b311 * b316 + .5 b311 * b319 + .5 b311 * b320 + .5 b311 * b321 + .5 b311 * b329 + .5 b311 * b333 + .5 b311 * b356 + .5 b311 * b357 + .5 b311 * b366 + .5 b311 * b370 + .5 b311 * b377 + b312^2 + .5 b312 * b313 + .5 b312 * b318 + .5 b312 * b327 + b312 * b330 + .5 b312 * b332 + .5 b312 * b335 + .5 b312 * b336 + .5 b312 * b339 + .5 b312 * b345 + .5 b312 * b347 + b312 * b348 + .5 b312 * b352 + .5 b312 * b354 + .5 b312 * b358 + .5 b312 * b360 + .5 b312 * b380 + .5 b312 * b385 + .5 b312 * b389 + b312 * b392 + .5 b312 * b394 + b313^2 + .5 b313 * b327 + .5 b313 * b330 + .5 b313 * b332 + .5 b313 * b335 + .5 b313 * b340 + .5 b313 * b345 + .5 b313 * b347 + .5 b313 * b348 + b313 * b352 + .5 b313 * b354 + .5 b313 * b358 + .5 b313 * b360 + .5 b313 * b380 + .5 b313 * b385 + .5 b313 * b389 + .5 b313 * b392 + .5 b313 * b394 + b314^2 + .5 b314 * b325 + .5 b314 * b342 + .5 b314 * b349 + b314 * b350 + .5 b314 * b355 + b314 * b361 + .5 b314 * b373 + .5 b314 * b386 + b314 * b399 + b315^2 + b315 * b319 + b315 * b321 + .5 b315 * b322 + .5 b315 * b329 + .5 b315 * b331 + .5 b315 * b357 + .5 b315 * b363 + .5 b315 * b364 + b315 * b366 + .5 b315 * b370 + .5 b315 * b371 + .5 b315 * b375 + .5 b315 * b382 + .5 b315 * b387 + .5 b315 * b395 + .5 b315 * b398 + b316^2 + .5 b316 * b317 + .5 b316 * b320 + .5 b316 * b324 + .5 b316 * b325 + b316 * b333 + .5 b316 * b349 + b316 * b356 + .5 b316 * b377 + .5 b316 * b384 + .5 b316 * b387 + .5 b316 * b388 + b317^2 + .5 b317 * b324 + .5 b317 * b325 + .5 b317 * b333 + .5 b317 * b349 + .5 b317 * b356 + .5 b317 * b384 + .5 b317 * b387 + .5 b317 * b388 + b317 * x486 + b318^2 + .5 b318 * b330 + .5 b318 * b334 + .5 b318 * b336 + .5 b318 * b337 + .5 b318 * b339 + .5 b318 * b348 + .5 b318 * b363 + .5 b318 * b371 + .5 b318 * b375 + .5 b318 * b392 + b319^2 + b319 * b321 + .5 b319 * b322 + .5 b319 * b329 + .5 b319 * b331 + .5 b319 * b357 + .5 b319 * b363 + .5 b319 * b364 + b319 * b366 + .5 b319 * b370 + .5 b319 * b371 + .5 b319 * b375 + .5 b319 * b382 + .5 b319 * b387 + .5 b319 * b395 + .5 b319 * b398 + b320^2 + .5 b320 * b326 + .5 b320 * b333 + .5 b320 * b356 + .5 b320 * b364 + b320 * b377 + .5 b320 * b386 + b321^2 + .5 b321 * b322 + .5 b321 * b329 + .5 b321 * b331 + .5 b321 * b357 + .5 b321 * b363 + .5 b321 * b364 + b321 * b366 + .5 b321 * b370 + .5 b321 * b371 + .5 b321 * b375 + .5 b321 * b382 + .5 b321 * b387 + .5 b321 * b395 + .5 b321 * b398 + b322^2 + .5 b322 * b331 + .5 b322 * b340 + .5 b322 * b344 + .5 b322 * b363 + .5 b322 * b364 + .5 b322 * b366 + .5 b322 * b367 + .5 b322 * b371 + .5 b322 * b372 + .5 b322 * b375 + .5 b322 * b382 + .5 b322 * b383 + .5 b322 * b387 + .5 b322 * b395 + .5 b322 * b398 + b323^2 + .5 b323 * b327 + .5 b323 * b328 + .5 b323 * b343 + .5 b323 * b346 + .5 b323 * b347 + .5 b323 * b351 + .5 b323 * b353 + .5 b323 * b359 + .5 b323 * b360 + .5 b323 * b362 + .5 b323 * b365 + .5 b323 * b368 + .5 b323 * b374 + .5 b323 * b376 + .5 b323 * b390 + .5 b323 * b393 + b323 * b396 + .5 b323 * b397 + .5 b323 * b400 + b324^2 + .5 b324 * b325 + .5 b324 * b326 + .5 b324 * b329 + .5 b324 * b333 + .5 b324 * b349 + .5 b324 * b356 + .5 b324 * b370 + b324 * b384 + .5 b324 * b387 + .5 b324 * b388 + b325^2 + .5 b325 * b333 + .5 b325 * b342 + b325 * b349 + .5 b325 * b350 + .5 b325 * b355 + .5 b325 * b356 + .5 b325 * b361 + .5 b325 * b384 + .5 b325 * b386 + .5 b325 * b387 + .5 b325 * b388 + .5 b325 * b399 + b326^2 + .5 b326 * b329 + .5 b326 * b364 + .5 b326 * b370 + .5 b326 * b377 + .5 b326 * b384 + .5 b326 * b386 + b327^2 + .5 b327 * b328 + .5 b327 * b330 + .5 b327 * b332 + .5 b327 * b335 + .5 b327 * b343 + .5 b327 * b345 + .5 b327 * b346 + b327 * b347 + .5 b327 * b348 + .5 b327 * b352 + .5 b327 * b353 + .5 b327 * b354 + .5 b327 * b358 + .5 b327 * b359 + b327 * b360 + .5 b327 * b362 + .5 b327 * b380 + .5 b327 * b385 + .5 b327 * b389 + .5 b327 * b392 + .5 b327 * b393 + .5 b327 * b394 + .5 b327 * b396 + .5 b327 * b397 + .5 b327 * b400 + b328^2 + .5 b328 * b343 + .5 b328 * b346 + .5 b328 * b347 + .5 b328 * b353 + .5 b328 * b359 + .5 b328 * b360 + .5 b328 * b362 + .5 b328 * b393 + .5 b328 * b396 + .5 b328 * b397 + .5 b328 * b400 + b328 * x482 + b329^2 + .5 b329 * b357 + .5 b329 * b366 + b329 * b370 + .5 b329 * b384 + b330^2 + .5 b330 * b332 + .5 b330 * b335 + .5 b330 * b336 + .5 b330 * b339 + .5 b330 * b345 + .5 b330 * b347 + b330 * b348 + .5 b330 * b352 + .5 b330 * b354 + .5 b330 * b358 + .5 b330 * b360 + .5 b330 * b380 + .5 b330 * b385 + .5 b330 * b389 + b330 * b392 + .5 b330 * b394 + b331^2 + .5 b331 * b341 + .5 b331 * b363 + .5 b331 * b364 + .5 b331 * b366 + .5 b331 * b371 + .5 b331 * b375 + .5 b331 * b382 + .5 b331 * b387 + b331 * b395 + .5 b331 * b398 + b331 * x480 + b332^2 + .5 b332 * b335 + .5 b332 * b345 + .5 b332 * b347 + .5 b332 * b348 + .5 b332 * b352 + b332 * b354 + b332 * b358 + .5 b332 * b360 + .5 b332 * b380 + .5 b332 * b385 + .5 b332 * b389 + .5 b332 * b392 + .5 b332 * b394 + .5 b332 * b419 + .5 b332 * b458 + .5 b332 * b464 + b333^2 + .5 b333 * b349 + b333 * b356 + .5 b333 * b377 + .5 b333 * b384 + .5 b333 * b387 + .5 b333 * b388 + b334^2 + b334 * b337 + .5 b334 * b345 + .5 b334 * b363 + .5 b334 * b365 + .5 b334 * b371 + .5 b334 * b374 + .5 b334 * b375 + .5 b334 * b378 + .5 b334 * b379 + .5 b334 * b389 + .5 b334 * b394 + b335^2 + .5 b335 * b345 + .5 b335 * b347 + .5 b335 * b348 + .5 b335 * b352 + .5 b335 * b354 + .5 b335 * b358 + .5 b335 * b360 + b335 * b380 + b335 * b385 + .5 b335 * b389 + .5 b335 * b392 + .5 b335 * b394 + b336^2 + b336 * b339 + .5 b336 * b348 + .5 b336 * b353 + .5 b336 * b359 + .5 b336 * b362 + .5 b336 * b378 + .5 b336 * b379 + .5 b336 * b391 + .5 b336 * b392 + b336 * x481 + b337^2 + .5 b337 * b345 + .5 b337 * b363 + .5 b337 * b365 + .5 b337 * b371 + .5 b337 * b374 + .5 b337 * b375 + .5 b337 * b378 + .5 b337 * b379 + .5 b337 * b389 + .5 b337 * b394 + b338^2 + .5 b338 * b369 + .5 b338 * b373 + b339^2 + .5 b339 * b348 + .5 b339 * b353 + .5 b339 * b359 + .5 b339 * b362 + .5 b339 * b378 + .5 b339 * b379 + .5 b339 * b391 + .5 b339 * b392 + b339 * x481 + b340^2 + .5 b340 * b344 + .5 b340 * b352 + .5 b340 * b367 + .5 b340 * b372 + .5 b340 * b383 + b341^2 + .5 b341 * b344 + .5 b341 * b357 + .5 b341 * b367 + .5 b341 * b372 + .5 b341 * b381 + .5 b341 * b383 + .5 b341 * b395 + b341 * x480 + b342^2 + .5 b342 * b349 + .5 b342 * b350 + b342 * b355 + .5 b342 * b361 + .5 b342 * b386 + .5 b342 * b399 + b343^2 + .5 b343 * b346 + .5 b343 * b347 + .5 b343 * b353 + .5 b343 * b359 + .5 b343 * b360 + .5 b343 * b362 + b343 * b393 + .5 b343 * b396 + .5 b343 * b397 + b343 * b400 + b343 * x485 + b344^2 + .5 b344 * b357 + b344 * b367 + b344 * b372 + .5 b344 * b381 + b344 * b383 + b345^2 + .5 b345 * b347 + .5 b345 * b348 + .5 b345 * b352 + .5 b345 * b354 + .5 b345 * b358 + .5 b345 * b360 + .5 b345 * b365 + .5 b345 * b374 + .5 b345 * b378 + .5 b345 * b379 + .5 b345 * b380 + .5 b345 * b385 + b345 * b389 + .5 b345 * b392 + b345 * b394 + b346^2 + .5 b346 * b347 + .5 b346 * b353 + .5 b346 * b359 + .5 b346 * b360 + .5 b346 * b362 + .5 b346 * b393 + .5 b346 * b396 + .5 b346 * b397 + .5 b346 * b400 + b346 * x477 + b347^2 + .5 b347 * b348 + .5 b347 * b352 + .5 b347 * b353 + .5 b347 * b354 + .5 b347 * b358 + .5 b347 * b359 + b347 * b360 + .5 b347 * b362 + .5 b347 * b380 + .5 b347 * b385 + .5 b347 * b389 + .5 b347 * b392 + .5 b347 * b393 + .5 b347 * b394 + .5 b347 * b396 + .5 b347 * b397 + .5 b347 * b400 + b348^2 + .5 b348 * b352 + .5 b348 * b354 + .5 b348 * b358 + .5 b348 * b360 + .5 b348 * b380 + .5 b348 * b385 + .5 b348 * b389 + b348 * b392 + .5 b348 * b394 + b349^2 + .5 b349 * b350 + .5 b349 * b355 + .5 b349 * b356 + .5 b349 * b361 + .5 b349 * b384 + .5 b349 * b386 + .5 b349 * b387 + .5 b349 * b388 + .5 b349 * b399 + b350^2 + .5 b350 * b355 + b350 * b361 + .5 b350 * b373 + .5 b350 * b386 + b350 * b399 + b351^2 + .5 b351 * b365 + b351 * b368 + .5 b351 * b374 + b351 * b376 + b351 * b390 + .5 b351 * b391 + .5 b351 * b396 + b352^2 + .5 b352 * b354 + .5 b352 * b358 + .5 b352 * b360 + .5 b352 * b380 + .5 b352 * b385 + .5 b352 * b389 + .5 b352 * b392 + .5 b352 * b394 + b353^2 + b353 * b359 + .5 b353 * b360 + b353 * b362 + .5 b353 * b378 + .5 b353 * b379 + .5 b353 * b391 + .5 b353 * b393 + .5 b353 * b396 + .5 b353 * b397 + .5 b353 * b400 + b353 * x481 + b354^2 + b354 * b358 + .5 b354 * b360 + .5 b354 * b380 + .5 b354 * b385 + .5 b354 * b389 + .5 b354 * b392 + .5 b354 * b394 + .5 b354 * b419 + .5 b354 * b458 + .5 b354 * b464 + b355^2 + .5 b355 * b361 + .5 b355 * b386 + .5 b355 * b399 + b356^2 + .5 b356 * b377 + .5 b356 * b384 + .5 b356 * b387 + .5 b356 * b388 + b357^2 + .5 b357 * b366 + .5 b357 * b367 + .5 b357 * b370 + .5 b357 * b372 + .5 b357 * b381 + .5 b357 * b383 + b358^2 + .5 b358 * b360 + .5 b358 * b380 + .5 b358 * b385 + .5 b358 * b389 + .5 b358 * b392 + .5 b358 * b394 + .5 b358 * b419 + .5 b358 * b458 + .5 b358 * b464 + b359^2 + .5 b359 * b360 + b359 * b362 + .5 b359 * b378 + .5 b359 * b379 + .5 b359 * b391 + .5 b359 * b393 + .5 b359 * b396 + .5 b359 * b397 + .5 b359 * b400 + b359 * x481 + b360^2 + .5 b360 * b362 + .5 b360 * b380 + .5 b360 * b385 + .5 b360 * b389 + .5 b360 * b392 + .5 b360 * b393 + .5 b360 * b394 + .5 b360 * b396 + .5 b360 * b397 + .5 b360 * b400 + b361^2 + .5 b361 * b373 + .5 b361 * b386 + b361 * b399 + b362^2 + .5 b362 * b378 + .5 b362 * b379 + .5 b362 * b391 + .5 b362 * b393 + .5 b362 * b396 + .5 b362 * b397 + .5 b362 * b400 + b362 * x481 + b363^2 + .5 b363 * b364 + .5 b363 * b366 + b363 * b371 + b363 * b375 + .5 b363 * b382 + .5 b363 * b387 + .5 b363 * b395 + .5 b363 * b398 + b364^2 + .5 b364 * b366 + .5 b364 * b371 + .5 b364 * b375 + .5 b364 * b377 + .5 b364 * b382 + .5 b364 * b386 + .5 b364 * b387 + .5 b364 * b395 + .5 b364 * b398 + b365^2 + .5 b365 * b368 + b365 * b374 + .5 b365 * b376 + .5 b365 * b378 + .5 b365 * b379 + .5 b365 * b389 + .5 b365 * b390 + .5 b365 * b394 + .5 b365 * b396 + b366^2 + .5 b366 * b370 + .5 b366 * b371 + .5 b366 * b375 + .5 b366 * b382 + .5 b366 * b387 + .5 b366 * b395 + .5 b366 * b398 + b367^2 + b367 * b372 + .5 b367 * b381 + b367 * b383 + b368^2 + .5 b368 * b374 + b368 * b376 + b368 * b390 + .5 b368 * b391 + .5 b368 * b396 + b369^2 + b370^2 + .5 b370 * b384 + b371^2 + b371 * b375 + .5 b371 * b382 + .5 b371 * b387 + .5 b371 * b395 + .5 b371 * b398 + b372^2 + .5 b372 * b381 + b372 * b383 + b373^2 + .5 b373 * b399 + b374^2 + .5 b374 * b376 + .5 b374 * b378 + .5 b374 * b379 + .5 b374 * b389 + .5 b374 * b390 + .5 b374 * b394 + .5 b374 * b396 + b375^2 + .5 b375 * b382 + .5 b375 * b387 + .5 b375 * b395 + .5 b375 * b398 + b376^2 + b376 * b390 + .5 b376 * b391 + .5 b376 * b396 + b377^2 + .5 b377 * b386 + b378^2 + b378 * b379 + .5 b378 * b389 + .5 b378 * b391 + .5 b378 * b394 + b378 * x481 + b379^2 + .5 b379 * b389 + .5 b379 * b391 + .5 b379 * b394 + b379 * x481 + b380^2 + b380 * b385 + .5 b380 * b389 + .5 b380 * b392 + .5 b380 * b394 + b381^2 + .5 b381 * b382 + .5 b381 * b383 + .5 b381 * b398 + b382^2 + .5 b382 * b387 + .5 b382 * b395 + b382 * b398 + b383^2 + b384^2 + .5 b384 * b387 + .5 b384 * b388 + b385^2 + .5 b385 * b389 + .5 b385 * b392 + .5 b385 * b394 + b386^2 + .5 b386 * b399 + b387^2 + .5 b387 * b388 + .5 b387 * b395 + .5 b387 * b398 + b388^2 + b388 * x487 + b389^2 + .5 b389 * b392 + b389 * b394 + b390^2 + .5 b390 * b391 + .5 b390 * b396 + b391^2 + b391 * x481 + b392^2 + .5 b392 * b394 + b393^2 + .5 b393 * b396 + .5 b393 * b397 + b393 * b400 + b393 * x485 + b394^2 + b395^2 + .5 b395 * b398 + b395 * x480 + b396^2 + .5 b396 * b397 + .5 b396 * b400 + b397^2 + .5 b397 * b400 + b397 * x484 + b398^2 + b399^2 + b400^2 + b400 * x485 + b401^2 + .5 b401 * b402 + .5 b401 * b413 + .5 b401 * b417 + .5 b401 * b418 + .5 b401 * b420 + .5 b401 * b423 + .5 b401 * b424 + .5 b401 * b426 + .5 b401 * b430 + .5 b401 * b431 + .5 b401 * b433 + .5 b401 * b434 + .5 b401 * b435 + b401 * b437 + .5 b401 * b439 + .5 b401 * b440 + .5 b401 * b442 + .5 b401 * b443 + .5 b401 * b444 + .5 b401 * b450 + .5 b401 * b451 + .5 b401 * b452 + b401 * b453 + b401 * b463 + .5 b401 * b465 + b402^2 + .5 b402 * b405 + .5 b402 * b406 + .5 b402 * b416 + .5 b402 * b417 + .5 b402 * b418 + .5 b402 * b420 + b402 * b423 + .5 b402 * b426 + .5 b402 * b430 + .5 b402 * b431 + .5 b402 * b433 + .5 b402 * b434 + .5 b402 * b435 + .5 b402 * b437 + .5 b402 * b440 + b402 * b442 + .5 b402 * b443 + .5 b402 * b444 + .5 b402 * b451 + b402 * b452 + .5 b402 * b453 + .5 b402 * b456 + .5 b402 * b459 + .5 b402 * b462 + .5 b402 * b463 + .5 b402 * b465 + .5 b402 * b469 + .5 b402 * b471 + b403^2 + b403 * b404 + .5 b403 * b419 + b403 * b428 + b403 * b429 + .5 b403 * b433 + .5 b403 * b435 + .5 b403 * b443 + .5 b403 * b458 + .5 b403 * b464 + .5 b403 * b465 + b404^2 + .5 b404 * b419 + b404 * b428 + b404 * b429 + .5 b404 * b433 + .5 b404 * b435 + .5 b404 * b443 + .5 b404 * b458 + .5 b404 * b464 + .5 b404 * b465 + b405^2 + .5 b405 * b406 + b405 * b416 + .5 b405 * b421 + .5 b405 * b422 + .5 b405 * b423 + .5 b405 * b425 + .5 b405 * b436 + .5 b405 * b438 + .5 b405 * b441 + .5 b405 * b442 + .5 b405 * b452 + .5 b405 * b454 + .5 b405 * b455 + .5 b405 * b456 + .5 b405 * b457 + .5 b405 * b459 + .5 b405 * b462 + b405 * b469 + b405 * b471 + b406^2 + .5 b406 * b407 + .5 b406 * b408 + .5 b406 * b409 + .5 b406 * b411 + .5 b406 * b412 + .5 b406 * b413 + .5 b406 * b414 + .5 b406 * b415 + .5 b406 * b416 + .5 b406 * b423 + .5 b406 * b424 + .5 b406 * b427 + .5 b406 * b432 + .5 b406 * b439 + .5 b406 * b442 + .5 b406 * b445 + .5 b406 * b446 + .5 b406 * b447 + .5 b406 * b448 + .5 b406 * b450 + .5 b406 * b452 + b406 * b456 + b406 * b459 + .5 b406 * b460 + .5 b406 * b461 + b406 * b462 + .5 b406 * b468 + .5 b406 * b469 + .5 b406 * b470 + .5 b406 * b471 + .5 b406 * b472 + .5 b406 * b473 + .5 b406 * b474 + b407^2 + .5 b407 * b408 + b407 * b409 + .5 b407 * b411 + .5 b407 * b412 + .5 b407 * b413 + .5 b407 * b414 + b407 * b415 + .5 b407 * b417 + .5 b407 * b424 + .5 b407 * b426 + .5 b407 * b427 + .5 b407 * b431 + .5 b407 * b432 + .5 b407 * b439 + .5 b407 * b440 + .5 b407 * b445 + .5 b407 * b446 + .5 b407 * b447 + .5 b407 * b448 + .5 b407 * b450 + .5 b407 * b456 + .5 b407 * b459 + .5 b407 * b460 + b407 * b461 + .5 b407 * b462 + .5 b407 * b468 + .5 b407 * b470 + .5 b407 * b472 + .5 b407 * b473 + .5 b407 * b474 + b408^2 + .5 b408 * b409 + .5 b408 * b411 + .5 b408 * b412 + .5 b408 * b413 + .5 b408 * b414 + .5 b408 * b415 + .5 b408 * b424 + .5 b408 * b427 + .5 b408 * b432 + .5 b408 * b439 + .5 b408 * b445 + .5 b408 * b446 + .5 b408 * b447 + b408 * b448 + .5 b408 * b450 + .5 b408 * b454 + .5 b408 * b456 + .5 b408 * b459 + b408 * b460 + .5 b408 * b461 + .5 b408 * b462 + .5 b408 * b468 + b408 * b470 + .5 b408 * b472 + .5 b408 * b473 + .5 b408 * b474 + b409^2 + .5 b409 * b411 + .5 b409 * b412 + .5 b409 * b413 + .5 b409 * b414 + b409 * b415 + .5 b409 * b417 + .5 b409 * b424 + .5 b409 * b426 + .5 b409 * b427 + .5 b409 * b431 + .5 b409 * b432 + .5 b409 * b439 + .5 b409 * b440 + .5 b409 * b445 + .5 b409 * b446 + .5 b409 * b447 + .5 b409 * b448 + .5 b409 * b450 + .5 b409 * b456 + .5 b409 * b459 + .5 b409 * b460 + b409 * b461 + .5 b409 * b462 + .5 b409 * b468 + .5 b409 * b470 + .5 b409 * b472 + .5 b409 * b473 + .5 b409 * b474 + b410^2 + .5 b410 * b411 + .5 b410 * b421 + .5 b410 * b425 + .5 b410 * b441 + .5 b410 * b445 + .5 b410 * b446 + b410 * b449 + .5 b410 * b457 + b410 * b466 + b410 * b467 + .5 b410 * b474 + b411^2 + .5 b411 * b412 + .5 b411 * b413 + .5 b411 * b414 + .5 b411 * b415 + .5 b411 * b421 + .5 b411 * b424 + .5 b411 * b425 + .5 b411 * b427 + .5 b411 * b432 + .5 b411 * b439 + .5 b411 * b441 + b411 * b445 + b411 * b446 + .5 b411 * b447 + .5 b411 * b448 + .5 b411 * b449 + .5 b411 * b450 + .5 b411 * b456 + .5 b411 * b457 + .5 b411 * b459 + .5 b411 * b460 + .5 b411 * b461 + .5 b411 * b462 + .5 b411 * b466 + .5 b411 * b467 + .5 b411 * b468 + .5 b411 * b470 + .5 b411 * b472 + .5 b411 * b473 + b411 * b474 + b412^2 + .5 b412 * b413 + b412 * b414 + .5 b412 * b415 + .5 b412 * b424 + .5 b412 * b427 + .5 b412 * b432 + .5 b412 * b434 + .5 b412 * b439 + .5 b412 * b445 + .5 b412 * b446 + b412 * b447 + .5 b412 * b448 + .5 b412 * b450 + .5 b412 * b451 + .5 b412 * b456 + .5 b412 * b459 + .5 b412 * b460 + .5 b412 * b461 + .5 b412 * b462 + .5 b412 * b468 + .5 b412 * b470 + .5 b412 * b472 + b412 * b473 + .5 b412 * b474 + b413^2 + .5 b413 * b414 + .5 b413 * b415 + b413 * b424 + .5 b413 * b427 + .5 b413 * b432 + .5 b413 * b437 + b413 * b439 + .5 b413 * b445 + .5 b413 * b446 + .5 b413 * b447 + .5 b413 * b448 + b413 * b450 + .5 b413 * b453 + .5 b413 * b456 + .5 b413 * b459 + .5 b413 * b460 + .5 b413 * b461 + .5 b413 * b462 + .5 b413 * b463 + .5 b413 * b468 + .5 b413 * b470 + .5 b413 * b472 + .5 b413 * b473 + .5 b413 * b474 + b414^2 + .5 b414 * b415 + .5 b414 * b424 + .5 b414 * b427 + .5 b414 * b432 + .5 b414 * b434 + .5 b414 * b439 + .5 b414 * b445 + .5 b414 * b446 + b414 * b447 + .5 b414 * b448 + .5 b414 * b450 + .5 b414 * b451 + .5 b414 * b456 + .5 b414 * b459 + .5 b414 * b460 + .5 b414 * b461 + .5 b414 * b462 + .5 b414 * b468 + .5 b414 * b470 + .5 b414 * b472 + b414 * b473 + .5 b414 * b474 + b415^2 + .5 b415 * b417 + .5 b415 * b424 + .5 b415 * b426 + .5 b415 * b427 + .5 b415 * b431 + .5 b415 * b432 + .5 b415 * b439 + .5 b415 * b440 + .5 b415 * b445 + .5 b415 * b446 + .5 b415 * b447 + .5 b415 * b448 + .5 b415 * b450 + .5 b415 * b456 + .5 b415 * b459 + .5 b415 * b460 + b415 * b461 + .5 b415 * b462 + .5 b415 * b468 + .5 b415 * b470 + .5 b415 * b472 + .5 b415 * b473 + .5 b415 * b474 + b416^2 + .5 b416 * b421 + .5 b416 * b422 + .5 b416 * b423 + .5 b416 * b425 + .5 b416 * b436 + .5 b416 * b438 + .5 b416 * b441 + .5 b416 * b442 + .5 b416 * b452 + .5 b416 * b454 + .5 b416 * b455 + .5 b416 * b456 + .5 b416 * b457 + .5 b416 * b459 + .5 b416 * b462 + b416 * b469 + b416 * b471 + b417^2 + .5 b417 * b418 + .5 b417 * b420 + .5 b417 * b423 + b417 * b426 + .5 b417 * b430 + b417 * b431 + .5 b417 * b433 + .5 b417 * b434 + .5 b417 * b435 + .5 b417 * b437 + b417 * b440 + .5 b417 * b442 + .5 b417 * b443 + .5 b417 * b444 + .5 b417 * b451 + .5 b417 * b452 + .5 b417 * b453 + .5 b417 * b461 + .5 b417 * b463 + .5 b417 * b465 + b418^2 + b418 * b420 + .5 b418 * b422 + .5 b418 * b423 + .5 b418 * b426 + .5 b418 * b427 + b418 * b430 + .5 b418 * b431 + .5 b418 * b432 + .5 b418 * b433 + .5 b418 * b434 + .5 b418 * b435 + .5 b418 * b436 + .5 b418 * b437 + .5 b418 * b438 + .5 b418 * b440 + .5 b418 * b442 + .5 b418 * b443 + b418 * b444 + .5 b418 * b451 + .5 b418 * b452 + .5 b418 * b453 + .5 b418 * b455 + .5 b418 * b463 + .5 b418 * b465 + .5 b418 * b468 + .5 b418 * b472 + b419^2 + .5 b419 * b428 + .5 b419 * b429 + b419 * b458 + b419 * b464 + b420^2 + .5 b420 * b422 + .5 b420 * b423 + .5 b420 * b426 + .5 b420 * b427 + b420 * b430 + .5 b420 * b431 + .5 b420 * b432 + .5 b420 * b433 + .5 b420 * b434 + .5 b420 * b435 + .5 b420 * b436 + .5 b420 * b437 + .5 b420 * b438 + .5 b420 * b440 + .5 b420 * b442 + .5 b420 * b443 + b420 * b444 + .5 b420 * b451 + .5 b420 * b452 + .5 b420 * b453 + .5 b420 * b455 + .5 b420 * b463 + .5 b420 * b465 + .5 b420 * b468 + .5 b420 * b472 + b421^2 + .5 b421 * b422 + b421 * b425 + .5 b421 * b436 + .5 b421 * b438 + b421 * b441 + .5 b421 * b445 + .5 b421 * b446 + .5 b421 * b449 + .5 b421 * b454 + .5 b421 * b455 + b421 * b457 + .5 b421 * b466 + .5 b421 * b467 + .5 b421 * b469 + .5 b421 * b471 + .5 b421 * b474 + b422^2 + .5 b422 * b425 + .5 b422 * b427 + .5 b422 * b430 + .5 b422 * b432 + b422 * b436 + b422 * b438 + .5 b422 * b441 + .5 b422 * b444 + .5 b422 * b454 + b422 * b455 + .5 b422 * b457 + .5 b422 * b468 + .5 b422 * b469 + .5 b422 * b471 + .5 b422 * b472 + b423^2 + .5 b423 * b426 + .5 b423 * b430 + .5 b423 * b431 + .5 b423 * b433 + .5 b423 * b434 + .5 b423 * b435 + .5 b423 * b437 + .5 b423 * b440 + b423 * b442 + .5 b423 * b443 + .5 b423 * b444 + .5 b423 * b451 + b423 * b452 + .5 b423 * b453 + .5 b423 * b456 + .5 b423 * b459 + .5 b423 * b462 + .5 b423 * b463 + .5 b423 * b465 + .5 b423 * b469 + .5 b423 * b471 + b424^2 + .5 b424 * b427 + .5 b424 * b432 + .5 b424 * b437 + b424 * b439 + .5 b424 * b445 + .5 b424 * b446 + .5 b424 * b447 + .5 b424 * b448 + b424 * b450 + .5 b424 * b453 + .5 b424 * b456 + .5 b424 * b459 + .5 b424 * b460 + .5 b424 * b461 + .5 b424 * b462 + .5 b424 * b463 + .5 b424 * b468 + .5 b424 * b470 + .5 b424 * b472 + .5 b424 * b473 + .5 b424 * b474 + b425^2 + .5 b425 * b436 + .5 b425 * b438 + b425 * b441 + .5 b425 * b445 + .5 b425 * b446 + .5 b425 * b449 + .5 b425 * b454 + .5 b425 * b455 + b425 * b457 + .5 b425 * b466 + .5 b425 * b467 + .5 b425 * b469 + .5 b425 * b471 + .5 b425 * b474 + b426^2 + .5 b426 * b430 + b426 * b431 + .5 b426 * b433 + .5 b426 * b434 + .5 b426 * b435 + .5 b426 * b437 + b426 * b440 + .5 b426 * b442 + .5 b426 * b443 + .5 b426 * b444 + .5 b426 * b451 + .5 b426 * b452 + .5 b426 * b453 + .5 b426 * b461 + .5 b426 * b463 + .5 b426 * b465 + b427^2 + .5 b427 * b430 + b427 * b432 + .5 b427 * b436 + .5 b427 * b438 + .5 b427 * b439 + .5 b427 * b444 + .5 b427 * b445 + .5 b427 * b446 + .5 b427 * b447 + .5 b427 * b448 + .5 b427 * b450 + .5 b427 * b455 + .5 b427 * b456 + .5 b427 * b459 + .5 b427 * b460 + .5 b427 * b461 + .5 b427 * b462 + b427 * b468 + .5 b427 * b470 + b427 * b472 + .5 b427 * b473 + .5 b427 * b474 + b428^2 + b428 * b429 + .5 b428 * b433 + .5 b428 * b435 + .5 b428 * b443 + .5 b428 * b458 + .5 b428 * b464 + .5 b428 * b465 + b429^2 + .5 b429 * b433 + .5 b429 * b435 + .5 b429 * b443 + .5 b429 * b458 + .5 b429 * b464 + .5 b429 * b465 + b430^2 + .5 b430 * b431 + .5 b430 * b432 + .5 b430 * b433 + .5 b430 * b434 + .5 b430 * b435 + .5 b430 * b436 + .5 b430 * b437 + .5 b430 * b438 + .5 b430 * b440 + .5 b430 * b442 + .5 b430 * b443 + b430 * b444 + .5 b430 * b451 + .5 b430 * b452 + .5 b430 * b453 + .5 b430 * b455 + .5 b430 * b463 + .5 b430 * b465 + .5 b430 * b468 + .5 b430 * b472 + b431^2 + .5 b431 * b433 + .5 b431 * b434 + .5 b431 * b435 + .5 b431 * b437 + b431 * b440 + .5 b431 * b442 + .5 b431 * b443 + .5 b431 * b444 + .5 b431 * b451 + .5 b431 * b452 + .5 b431 * b453 + .5 b431 * b461 + .5 b431 * b463 + .5 b431 * b465 + b432^2 + .5 b432 * b436 + .5 b432 * b438 + .5 b432 * b439 + .5 b432 * b444 + .5 b432 * b445 + .5 b432 * b446 + .5 b432 * b447 + .5 b432 * b448 + .5 b432 * b450 + .5 b432 * b455 + .5 b432 * b456 + .5 b432 * b459 + .5 b432 * b460 + .5 b432 * b461 + .5 b432 * b462 + b432 * b468 + .5 b432 * b470 + b432 * b472 + .5 b432 * b473 + .5 b432 * b474 + b433^2 + .5 b433 * b434 + b433 * b435 + .5 b433 * b437 + .5 b433 * b440 + .5 b433 * b442 + b433 * b443 + .5 b433 * b444 + .5 b433 * b451 + .5 b433 * b452 + .5 b433 * b453 + .5 b433 * b463 + b433 * b465 + b434^2 + .5 b434 * b435 + .5 b434 * b437 + .5 b434 * b440 + .5 b434 * b442 + .5 b434 * b443 + .5 b434 * b444 + .5 b434 * b447 + b434 * b451 + .5 b434 * b452 + .5 b434 * b453 + .5 b434 * b463 + .5 b434 * b465 + .5 b434 * b473 + b435^2 + .5 b435 * b437 + .5 b435 * b440 + .5 b435 * b442 + b435 * b443 + .5 b435 * b444 + .5 b435 * b451 + .5 b435 * b452 + .5 b435 * b453 + .5 b435 * b463 + b435 * b465 + b436^2 + b436 * b438 + .5 b436 * b441 + .5 b436 * b444 + .5 b436 * b454 + b436 * b455 + .5 b436 * b457 + .5 b436 * b468 + .5 b436 * b469 + .5 b436 * b471 + .5 b436 * b472 + b437^2 + .5 b437 * b439 + .5 b437 * b440 + .5 b437 * b442 + .5 b437 * b443 + .5 b437 * b444 + .5 b437 * b450 + .5 b437 * b451 + .5 b437 * b452 + b437 * b453 + b437 * b463 + .5 b437 * b465 + b438^2 + .5 b438 * b441 + .5 b438 * b444 + .5 b438 * b454 + b438 * b455 + .5 b438 * b457 + .5 b438 * b468 + .5 b438 * b469 + .5 b438 * b471 + .5 b438 * b472 + b439^2 + .5 b439 * b445 + .5 b439 * b446 + .5 b439 * b447 + .5 b439 * b448 + b439 * b450 + .5 b439 * b453 + .5 b439 * b456 + .5 b439 * b459 + .5 b439 * b460 + .5 b439 * b461 + .5 b439 * b462 + .5 b439 * b463 + .5 b439 * b468 + .5 b439 * b470 + .5 b439 * b472 + .5 b439 * b473 + .5 b439 * b474 + b440^2 + .5 b440 * b442 + .5 b440 * b443 + .5 b440 * b444 + .5 b440 * b451 + .5 b440 * b452 + .5 b440 * b453 + .5 b440 * b461 + .5 b440 * b463 + .5 b440 * b465 + b441^2 + .5 b441 * b445 + .5 b441 * b446 + .5 b441 * b449 + .5 b441 * b454 + .5 b441 * b455 + b441 * b457 + .5 b441 * b466 + .5 b441 * b467 + .5 b441 * b469 + .5 b441 * b471 + .5 b441 * b474 + b442^2 + .5 b442 * b443 + .5 b442 * b444 + .5 b442 * b451 + b442 * b452 + .5 b442 * b453 + .5 b442 * b456 + .5 b442 * b459 + .5 b442 * b462 + .5 b442 * b463 + .5 b442 * b465 + .5 b442 * b469 + .5 b442 * b471 + b443^2 + .5 b443 * b444 + .5 b443 * b451 + .5 b443 * b452 + .5 b443 * b453 + .5 b443 * b463 + b443 * b465 + b444^2 + .5 b444 * b451 + .5 b444 * b452 + .5 b444 * b453 + .5 b444 * b455 + .5 b444 * b463 + .5 b444 * b465 + .5 b444 * b468 + .5 b444 * b472 + b445^2 + b445 * b446 + .5 b445 * b447 + .5 b445 * b448 + .5 b445 * b449 + .5 b445 * b450 + .5 b445 * b456 + .5 b445 * b457 + .5 b445 * b459 + .5 b445 * b460 + .5 b445 * b461 + .5 b445 * b462 + .5 b445 * b466 + .5 b445 * b467 + .5 b445 * b468 + .5 b445 * b470 + .5 b445 * b472 + .5 b445 * b473 + b445 * b474 + b446^2 + .5 b446 * b447 + .5 b446 * b448 + .5 b446 * b449 + .5 b446 * b450 + .5 b446 * b456 + .5 b446 * b457 + .5 b446 * b459 + .5 b446 * b460 + .5 b446 * b461 + .5 b446 * b462 + .5 b446 * b466 + .5 b446 * b467 + .5 b446 * b468 + .5 b446 * b470 + .5 b446 * b472 + .5 b446 * b473 + b446 * b474 + b447^2 + .5 b447 * b448 + .5 b447 * b450 + .5 b447 * b451 + .5 b447 * b456 + .5 b447 * b459 + .5 b447 * b460 + .5 b447 * b461 + .5 b447 * b462 + .5 b447 * b468 + .5 b447 * b470 + .5 b447 * b472 + b447 * b473 + .5 b447 * b474 + b448^2 + .5 b448 * b450 + .5 b448 * b454 + .5 b448 * b456 + .5 b448 * b459 + b448 * b460 + .5 b448 * b461 + .5 b448 * b462 + .5 b448 * b468 + b448 * b470 + .5 b448 * b472 + .5 b448 * b473 + .5 b448 * b474 + b449^2 + .5 b449 * b457 + b449 * b466 + b449 * b467 + .5 b449 * b474 + b450^2 + .5 b450 * b453 + .5 b450 * b456 + .5 b450 * b459 + .5 b450 * b460 + .5 b450 * b461 + .5 b450 * b462 + .5 b450 * b463 + .5 b450 * b468 + .5 b450 * b470 + .5 b450 * b472 + .5 b450 * b473 + .5 b450 * b474 + b451^2 + .5 b451 * b452 + .5 b451 * b453 + .5 b451 * b463 + .5 b451 * b465 + .5 b451 * b473 + b452^2 + .5 b452 * b453 + .5 b452 * b456 + .5 b452 * b459 + .5 b452 * b462 + .5 b452 * b463 + .5 b452 * b465 + .5 b452 * b469 + .5 b452 * b471 + b453^2 + b453 * b463 + .5 b453 * b465 + b454^2 + .5 b454 * b455 + .5 b454 * b457 + .5 b454 * b460 + .5 b454 * b469 + .5 b454 * b470 + .5 b454 * b471 + b455^2 + .5 b455 * b457 + .5 b455 * b468 + .5 b455 * b469 + .5 b455 * b471 + .5 b455 * b472 + b456^2 + b456 * b459 + .5 b456 * b460 + .5 b456 * b461 + b456 * b462 + .5 b456 * b468 + .5 b456 * b469 + .5 b456 * b470 + .5 b456 * b471 + .5 b456 * b472 + .5 b456 * b473 + .5 b456 * b474 + b457^2 + .5 b457 * b466 + .5 b457 * b467 + .5 b457 * b469 + .5 b457 * b471 + .5 b457 * b474 + b458^2 + b458 * b464 + b459^2 + .5 b459 * b460 + .5 b459 * b461 + b459 * b462 + .5 b459 * b468 + .5 b459 * b469 + .5 b459 * b470 + .5 b459 * b471 + .5 b459 * b472 + .5 b459 * b473 + .5 b459 * b474 + b460^2 + .5 b460 * b461 + .5 b460 * b462 + .5 b460 * b468 + b460 * b470 + .5 b460 * b472 + .5 b460 * b473 + .5 b460 * b474 + b461^2 + .5 b461 * b462 + .5 b461 * b468 + .5 b461 * b470 + .5 b461 * b472 + .5 b461 * b473 + .5 b461 * b474 + b462^2 + .5 b462 * b468 + .5 b462 * b469 + .5 b462 * b470 + .5 b462 * b471 + .5 b462 * b472 + .5 b462 * b473 + .5 b462 * b474 + b463^2 + .5 b463 * b465 + b464^2 + b465^2 + b466^2 + b466 * b467 + .5 b466 * b474 + b467^2 + .5 b467 * b474 + b468^2 + .5 b468 * b470 + b468 * b472 + .5 b468 * b473 + .5 b468 * b474 + b469^2 + b469 * b471 + b470^2 + .5 b470 * b472 + .5 b470 * b473 + .5 b470 * b474 + b471^2 + b472^2 + .5 b472 * b473 + .5 b472 * b474 + b473^2 + .5 b473 * b474 + b474^2 + x475^2 + x476^2 + x477^2 + x478^2 + x479^2 + x480^2 + x481^2 + x482^2 + x483^2 + x484^2 + x485^2 + x486^2 + x487^2 + x488^2 + x489^2 + x490^2 + x491^2 + x492^2 + x493^2 + x494^2 + x495^2 + x496^2 + x497^2 + x498^2 + x499^2 + x500^2 + x501^2 + x502^2 + x503^2 + x504^2 + x505^2 + x506^2 + x507^2 + x508^2 + x509^2 + x510^2 + x511^2 + x512^2 + x513^2 + x514^2 + x515^2 + x516^2 + x517^2 + x518^2 + x519^2 + x520^2 + x521^2 + x522^2 + x523^2 + x524^2 + x525^2 + x526^2 + x527^2 + x528^2 + x529^2 + x530^2 + x531^2 + x532^2 + x533^2 + x534^2 + x535^2 + x536^2 + x537^2 + x538^2 + x539^2 + x540^2 + x541^2 + x542^2 + x543^2 + x544^2 + x545^2 + x546^2 + x547^2 + x548^2 + x549^2 + x550^2 + x551^2 + x552^2 + x553^2 + x554^2 + x555^2 + x556^2 + x557^2 + x558^2 + x559^2 + x560^2 + x561^2 + x562^2 + x563^2 + x564^2 + x565^2 + x566^2 + x567^2 + x568^2 + x569^2 + x570^2 + x571^2 + x572^2 + x573^2 + x574^2 + x575^2 + x576^2 + x577^2 + x578^2 + x579^2 + x580^2 + x581^2 + x582^2 + x583^2 + x584^2 + x585^2 + x586^2 + x587^2 + x588^2 + x589^2 + x590^2 + x591^2 + x592^2 + x593^2 + x594^2 + x595^2 + x596^2 + x597^2 + x598^2 + x599^2 + x600^2 + x601^2 + x602^2 + x603^2 + x604^2 + x605^2 + x606^2 ] <= 100 e4: - b170 + b196 >= 0 e5: b170 - b171 >= 0 e6: b171 - b195 >= 0 e7: b297 - b305 >= 0 e8: - b299 + b305 >= 0 e9: b299 - b397 >= 0 e10: b257 - b358 >= 0 e11: - b332 + b358 >= 0 e12: b332 - b354 >= 0 e13: - b77 + b93 >= 0 e14: b77 - b98 >= 0 e15: - b54 + b98 >= 0 e16: b56 - b97 >= 0 e17: - b95 + b97 >= 0 e18: - b80 + b95 >= 0 e19: - b434 + b451 >= 0 e20: - b433 + b435 >= 0 e21: b433 - b465 >= 0 e22: - b443 + b465 >= 0 e23: b401 - b453 >= 0 e24: b453 - b463 >= 0 e25: - b437 + b463 >= 0 e26: - b417 + b431 >= 0 e27: b417 - b440 >= 0 e28: - b426 + b440 >= 0 e29: b418 - b444 >= 0 e30: - b430 + b444 >= 0 e31: - b420 + b430 >= 0 e32: - b402 + b442 >= 0 e33: b402 - b452 >= 0 e34: - b423 + b452 >= 0 e35: - b79 + b105 >= 0 e36: b79 - b92 >= 0 e37: - b81 + b92 >= 0 e38: - b78 + b91 >= 0 e39: - b59 + b169 >= 0 e40: b59 - b181 >= 0 e41: - b177 + b181 >= 0 e42: - b99 + b100 >= 0 e43: - b94 + b99 >= 0 e44: - b57 + b94 >= 0 e45: - b101 + b102 >= 0 e46: - b58 + b101 >= 0 e47: b58 - b104 >= 0 e48: b76 - b103 >= 0 e49: - b55 + b103 >= 0 e50: b55 - b96 >= 0 e51: b179 - b187 >= 0 e52: b180 - b194 >= 0 e53: - b188 + b194 >= 0 e54: b47 - b62 >= 0 e55: - b46 + b62 >= 0 e56: - b45 + b46 >= 0 e57: - b63 + b66 >= 0 e58: - b50 + b63 >= 0 e59: b50 - b51 >= 0 e60: b49 - b68 >= 0 e61: - b48 + b68 >= 0 e62: b48 - b73 >= 0 e63: b192 - b197 >= 0 e64: - b193 + b197 >= 0 e65: - b186 + b193 >= 0 e66: - b60 + b61 >= 0 e67: b60 - b71 >= 0 e68: - b52 + b71 >= 0 e69: - b53 + b173 >= 0 e70: b53 - b67 >= 0 e71: b67 - b238 >= 0 e72: b65 - b70 >= 0 e73: - b69 + b70 >= 0 e74: b64 - b72 >= 0 e75: b72 - b74 >= 0 e76: b74 - b75 >= 0 e77: - b410 + b449 >= 0 e78: b410 - b466 >= 0 e79: b466 - b467 >= 0 e80: b259 - b335 >= 0 e81: b335 - b385 >= 0 e82: - b380 + b385 >= 0 e83: b268 - b326 >= 0 e84: b324 - b384 >= 0 e85: - b231 + b384 >= 0 e86: - b217 + b231 >= 0 e87: b225 - b370 >= 0 e88: - b329 + b370 >= 0 e89: - b304 + b329 >= 0 e90: b248 - b263 >= 0 e91: - b344 + b383 >= 0 e92: b344 - b372 >= 0 e93: - b367 + b372 >= 0 e94: - b294 + b300 >= 0 e95: - b209 + b294 >= 0 e96: b209 - b256 >= 0 e97: b184 - b191 >= 0 e98: - b176 + b191 >= 0 e99: - b174 + b176 >= 0 e100: b303 - b357 >= 0 e101: - b237 + b357 >= 0 e102: - b236 + b237 >= 0 e103: - b276 + b281 >= 0 e104: b276 - b279 >= 0 e105: b279 - b381 >= 0 e106: - b436 + b455 >= 0 e107: - b422 + b436 >= 0 e108: b422 - b438 >= 0 e109: b421 - b425 >= 0 e110: b425 - b441 >= 0 e111: b441 - b457 >= 0 e112: b405 - b471 >= 0 e113: - b416 + b471 >= 0 e114: b416 - b469 >= 0 e115: - b283 + b338 >= 0 e116: - b272 + b283 >= 0 e117: - b266 + b272 >= 0 e118: b347 - b360 >= 0 e119: - b327 + b360 >= 0 e120: - b246 + b327 >= 0 e121: b307 - b343 >= 0 e122: b343 - b393 >= 0 e123: b393 - b400 >= 0 e124: - b301 + b323 >= 0 e125: b301 - b396 >= 0 e126: - b273 + b396 >= 0 e127: - b269 + b353 >= 0 e128: b269 - b362 >= 0 e129: - b359 + b362 >= 0 e130: b252 - b328 >= 0 e131: - b306 + b328 >= 0 e132: - b293 + b306 >= 0 e133: - b183 + b185 >= 0 e134: - b175 + b183 >= 0 e135: b175 - b182 >= 0 e136: - b412 + b447 >= 0 e137: b412 - b414 >= 0 e138: b414 - b473 >= 0 e139: - b408 + b448 >= 0 e140: b408 - b460 >= 0 e141: b460 - b470 >= 0 e142: b424 - b450 >= 0 e143: - b439 + b450 >= 0 e144: - b413 + b439 >= 0 e145: - b407 + b415 >= 0 e146: b407 - b409 >= 0 e147: b409 - b461 >= 0 e148: - b427 + b432 >= 0 e149: b427 - b468 >= 0 e150: b468 - b472 >= 0 e151: b411 - b446 >= 0 e152: b446 - b474 >= 0 e153: - b445 + b474 >= 0 e154: - b406 + b462 >= 0 e155: b406 - b456 >= 0 e156: b456 - b459 >= 0 e157: - b229 + b290 >= 0 e158: - b212 + b229 >= 0 e159: b212 - b255 >= 0 e160: - b230 + b235 >= 0 e161: b230 - b292 >= 0 e162: b232 - b346 >= 0 e163: - b270 + b346 >= 0 e164: - b242 + b270 >= 0 e165: - b210 + b287 >= 0 e166: - b216 + b227 >= 0 e167: b216 - b295 >= 0 e168: - b275 + b295 >= 0 e169: b419 - b458 >= 0 e170: b458 - b464 >= 0 e171: - b404 + b429 >= 0 e172: b404 - b428 >= 0 e173: - b403 + b428 >= 0 e174: - b233 + b264 >= 0 e175: - b220 + b233 >= 0 e176: b220 - b265 >= 0 e177: b376 - b390 >= 0 e178: - b368 + b390 >= 0 e179: - b351 + b368 >= 0 e180: b226 - b239 >= 0 e181: b239 - b391 >= 0 e182: - b234 + b391 >= 0 e183: b223 - b342 >= 0 e184: b342 - b355 >= 0 e185: - b211 + b355 >= 0 e186: b250 - b271 >= 0 e187: - b260 + b271 >= 0 e188: b260 - b386 >= 0 e189: b350 - b399 >= 0 e190: - b314 + b399 >= 0 e191: b314 - b361 >= 0 e192: b258 - b325 >= 0 e193: b325 - b349 >= 0 e194: - b261 + b349 >= 0 e195: - b291 + b309 >= 0 e196: b291 - b320 >= 0 e197: b320 - b377 >= 0 e198: b228 - b333 >= 0 e199: - b316 + b333 >= 0 e200: b316 - b356 >= 0 e201: - b215 + b311 >= 0 e202: b330 - b392 >= 0 e203: - b348 + b392 >= 0 e204: - b312 + b348 >= 0 e205: - b336 + b339 >= 0 e206: b253 - b322 >= 0 e207: - b288 + b322 >= 0 e208: - b280 + b288 >= 0 e209: b363 - b375 >= 0 e210: - b254 + b375 >= 0 e211: b254 - b371 >= 0 e212: b221 - b245 >= 0 e213: b245 - b364 >= 0 e214: - b251 + b364 >= 0 e215: b213 - b247 >= 0 e216: b247 - b286 >= 0 e217: b286 - b387 >= 0 e218: b321 - b366 >= 0 e219: - b315 + b366 >= 0 e220: b315 - b319 >= 0 e221: b224 - b331 >= 0 e222: b331 - b395 >= 0 e223: - b219 + b395 >= 0 e224: - b218 + b282 >= 0 e225: b218 - b398 >= 0 e226: - b382 + b398 >= 0 e227: - b345 + b394 >= 0 e228: - b310 + b345 >= 0 e229: b310 - b389 >= 0 e230: b241 - b337 >= 0 e231: - b334 + b337 >= 0 e232: - b243 + b334 >= 0 e233: - b277 + b374 >= 0 e234: - b249 + b277 >= 0 e235: b249 - b365 >= 0 e236: - b267 + b298 >= 0 e237: b267 - b378 >= 0 e238: b378 - b379 >= 0 e239: - b240 + b313 >= 0 e240: - b222 + b240 >= 0 e241: b222 - b352 >= 0 e242: - b262 + b285 >= 0 e243: b262 - b340 >= 0 e244: - b296 + b340 >= 0 e245: - b172 + b189 >= 0 e246: b172 - b190 >= 0 e247: - b178 + b190 >= 0 Bounds x475 = 0 x476 = 0 x477 = 0 x478 = 0 x479 = 0 x480 = 0 x481 = 0 x482 = 0 x483 = 0 x484 = 0 x485 = 0 x486 = 0 x487 = 0 x488 = 0 x489 = 0 x490 = 0 x491 = 0 x492 = 0 x493 = 0 x494 = 0 x495 = 0 x496 = 0 x497 = 0 x498 = 0 x499 = 0 x500 = 0 x501 = 0 x502 = 0 x503 = 0 x504 = 0 x505 = 0 x506 = 0 x507 = 0 x508 = 0 x509 = 0 x510 = 0 x511 = 0 x512 = 0 x513 = 0 x514 = 0 x515 = 0 x516 = 0 x517 = 0 x518 = 0 x519 = 0 x520 = 0 x521 = 0 x522 = 0 x523 = 0 x524 = 0 x525 = 0 x526 = 0 x527 = 0 x528 = 0 x529 = 0 x530 = 0 x531 = 0 x532 = 0 x533 = 0 x534 = 0 x535 = 0 x536 = 0 x537 = 0 x538 = 0 x539 = 0 x540 = 0 x541 = 0 x542 = 0 x543 = 0 x544 = 0 x545 = 0 x546 = 0 x547 = 0 x548 = 0 x549 = 0 x550 = 0 x551 = 0 x552 = 0 x553 = 0 x554 = 0 x555 = 0 x556 = 0 x557 = 0 x558 = 0 x559 = 0 x560 = 0 x561 = 0 x562 = 0 x563 = 0 x564 = 0 x565 = 0 x566 = 0 x567 = 0 x568 = 0 x569 = 0 x570 = 0 x571 = 0 x572 = 0 x573 = 0 x574 = 0 x575 = 0 x576 = 0 x577 = 0 x578 = 0 x579 = 0 x580 = 0 x581 = 0 x582 = 0 x583 = 0 x584 = 0 x585 = 0 x586 = 0 x587 = 0 x588 = 0 x589 = 0 x590 = 0 x591 = 0 x592 = 0 x593 = 0 x594 = 0 x595 = 0 x596 = 0 x597 = 0 x598 = 0 x599 = 0 x600 = 0 x601 = 0 x602 = 0 x603 = 0 x604 = 0 x605 = 0 x606 = 0 Binary 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 End