\ Equation counts \ Total E G L N X C B \ 296 1 294 1 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 485 59 426 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 1925 1440 485 0 \ Minimize obj: - 417.92 b2 - 405.16 b3 - 332.82 b4 - 507.81 b5 - 371.17 b6 - 672.57 b7 - 324.99 b8 - 336.74 b9 - 369.55 b10 - 381.53 b11 - 379.6 b12 - 424.5 b13 - 320.94 b14 - 338.61 b15 - 488.5 b16 - 370.78 b17 - 334.61 b18 - 401.86 b19 - 343.41 b20 - 328.32 b21 - 336.1 b22 - 358.41 b23 - 388.77 b24 - 323.27 b25 - 350.02 b26 - 328.83 b27 - 358.66 b28 - 321.79 b29 - 328.93 b30 - 328.09 b31 - 453.3 b32 - 392.21 b33 - 431.92 b34 - 348.96 b35 - 374.78 b36 - 425.05 b37 - 329.03 b38 - 348.89 b39 - 355.55 b40 - 368.04 b41 - 362.49 b42 - 376.86 b43 - 439.44 b44 - 432.17 b45 - 382.38 b46 - 333.04 b47 - 330.51 b48 - 327.69 b49 - 337.84 b50 - 340.49 b51 - 339.86 b52 - 429.08 b53 - 374.59 b54 - 344.56 b55 - 343.24 b56 - 339.38 b57 - 333.55 b58 - 398.36 b59 - 403.09 b60 - 410.6 b61 - 400.3 b62 - 334.55 b63 - 327.73 b64 - 324.69 b65 - 334.67 b66 - 332.78 b67 - 394.2 b68 - 340.78 b69 - 323.53 b70 - 398.63 b71 - 395.46 b72 - 359.61 b73 - 362.79 b74 - 432.48 b75 - 358.69 b76 - 430.79 b77 - 443.01 b78 - 323.68 b79 - 445.6 b80 - 382.07 b81 - 364.21 b82 - 371.06 b83 - 390.72 b84 - 361.58 b85 - 348.16 b86 - 328.44 b87 - 334.48 b88 - 322.2 b89 - 331.19 b90 - 322.28 b91 - 329.42 b92 - 329.28 b93 - 354.92 b94 - 329.63 b95 - 334.32 b96 - 325.65 b97 - 353.47 b98 - 350.56 b99 - 347.69 b100 - 333.16 b101 - 349.8 b102 - 349 b103 - 345.92 b104 - 336.93 b105 - 329.54 b106 - 344.98 b107 - 352.25 b108 - 353.73 b109 - 409.07 b110 - 413.63 b111 - 346.7 b112 - 383.68 b113 - 378.78 b114 - 544.15 b115 - 444.24 b116 - 418.93 b117 - 375.07 b118 - 549.94 b119 - 584.09 b120 - 559.85 b121 - 396.38 b122 - 394.59 b123 - 400.81 b124 - 361.27 b125 - 398.91 b126 - 579.44 b127 - 601.26 b128 - 610.33 b129 - 619.24 b130 - 481.14 b131 - 392.81 b132 - 444.94 b133 - 405.95 b134 - 476.68 b135 - 580.08 b136 - 496.41 b137 - 483.82 b138 - 394.77 b139 - 567.67 b140 - 492.52 b141 - 328.77 b142 - 419.35 b143 - 360.37 b144 - 325.03 b145 - 436.09 b146 - 509.49 b147 - 324.12 b148 - 340.7 b149 - 332.15 b150 - 465.05 b151 - 341.97 b152 - 489.03 b153 - 474.72 b154 - 422.27 b155 - 359.53 b156 - 364.99 b157 - 365.7 b158 - 395.1 b159 - 349 b160 - 336.84 b161 - 428.05 b162 - 448.53 b163 - 327.53 b164 - 333.64 b165 - 397.36 b166 - 396.05 b167 - 490.62 b168 - 340.66 b169 - 361.16 b170 - 379.48 b171 - 345.98 b172 - 323.01 b173 - 338.28 b174 - 364.16 b175 - 348.35 b176 - 430.88 b177 - 318.82 b178 - 488.32 b179 - 354.55 b180 - 465.55 b181 - 437.12 b182 - 328.72 b183 - 474.1 b184 - 662.23 b185 - 492.63 b186 - 318.13 b187 - 372.08 b188 - 407.31 b189 - 343.76 b190 - 459.43 b191 - 441.57 b192 - 479.99 b193 - 400.74 b194 - 432.39 b195 - 348.98 b196 - 475.03 b197 - 478.79 b198 - 383.92 b199 - 379.05 b200 - 423.72 b201 - 351.91 b202 - 495.72 b203 - 484.77 b204 - 330.43 b205 - 456.88 b206 - 364.05 b207 - 319.14 b208 - 391.49 b209 - 476.88 b210 - 328.14 b211 - 372.95 b212 - 372.68 b213 - 333.26 b214 - 364.23 b215 - 398.84 b216 - 379.81 b217 - 491.59 b218 - 337 b219 - 321.57 b220 - 368.84 b221 - 471.71 b222 - 488.66 b223 - 336.95 b224 - 403.8 b225 - 338.43 b226 - 456.84 b227 - 331.36 b228 - 453.6 b229 - 324.9 b230 - 396.26 b231 - 366.13 b232 - 328.25 b233 - 323.43 b234 - 366.93 b235 - 345.88 b236 - 454.67 b237 - 492.69 b238 - 380.62 b239 - 321.81 b240 - 361.14 b241 - 400.94 b242 - 431.67 b243 - 338.58 b244 - 450.7 b245 - 485.82 b246 - 334.32 b247 - 377.12 b248 - 513.12 b249 - 442.11 b250 - 376.98 b251 - 437.34 b252 - 329.52 b253 - 503.56 b254 - 437.4 b255 - 364.97 b256 - 499.5 b257 - 358.66 b258 - 436.24 b259 - 320.38 b260 - 665.54 b261 - 408.61 b262 - 328.94 b263 - 427.48 b264 - 363.95 b265 - 410.55 b266 - 431.52 b267 - 392.5 b268 - 382.61 b269 - 338.12 b270 - 652.75 b271 - 331.44 b272 - 339.81 b273 - 403.39 b274 - 494.89 b275 - 372.98 b276 - 341.95 b277 - 343.11 b278 - 690.72 b279 - 381.65 b280 - 412.7 b281 - 432.01 b282 - 320.39 b283 - 354.55 b284 - 374.54 b285 - 416.54 b286 - 357.01 b287 - 478.42 b288 - 393.81 b289 - 419.81 b290 - 335.65 b291 - 362.02 b292 - 342.39 b293 - 432.8 b294 - 451.98 b295 - 671.27 b296 - 456.3 b297 - 458.44 b298 - 472.43 b299 - 355.62 b300 - 348.84 b301 - 446.1 b302 - 379.63 b303 - 351.32 b304 - 397.86 b305 - 374.25 b306 - 381.2 b307 - 344.28 b308 - 410.62 b309 - 448.87 b310 - 406.71 b311 - 401.51 b312 - 321.49 b313 - 362.93 b314 - 345.16 b315 - 451.24 b316 - 481.29 b317 - 318.72 b318 - 471.72 b319 - 334.38 b320 - 371.67 b321 - 371.63 b322 - 479.78 b323 - 349.1 b324 - 322.74 b325 - 484.64 b326 - 389.16 b327 - 371.79 b328 - 342.39 b329 - 407.79 b330 - 402.71 b331 - 502.19 b332 - 343.03 b333 - 479.58 b334 - 353.9 b335 - 343.14 b336 - 388.83 b337 - 451.75 b338 - 397.92 b339 - 381.16 b340 - 368.29 b341 - 364.07 b342 - 403.89 b343 - 321.17 b344 - 402.02 b345 - 322.88 b346 - 328.65 b347 - 347.65 b348 - 407.95 b349 - 376.75 b350 - 356.23 b351 - 374.55 b352 - 374.73 b353 - 324.6 b354 - 367.01 b355 - 402.29 b356 - 382.65 b357 - 328.9 b358 - 370.96 b359 - 398.59 b360 - 378.73 b361 - 346.23 b362 - 326.77 b363 - 388.04 b364 - 397.71 b365 - 324.37 b366 - 344.19 b367 - 348.78 b368 - 406.7 b369 - 327.68 b370 - 338.01 b371 - 385.06 b372 - 373.67 b373 - 417.14 b374 - 350.65 b375 - 323.46 b376 - 355.05 b377 - 334.17 b378 - 325.03 b379 - 380.33 b380 - 370.75 b381 - 343.57 b382 - 402.75 b383 - 336.58 b384 - 391.06 b385 - 330.96 b386 - 385.86 b387 - 392.96 b388 - 358.2 b389 - 370.73 b390 - 329.42 b391 - 393.31 b392 - 362.69 b393 - 341.14 b394 - 368.05 b395 - 344.76 b396 - 397.72 b397 - 342.96 b398 - 394.57 b399 - 350.1 b400 - 393.08 b401 - 372.91 b402 - 322.38 b403 - 411.47 b404 - 319.54 b405 - 385.19 b406 - 347.26 b407 - 364.02 b408 - 363.57 b409 - 402.76 b410 - 346.68 b411 - 326.49 b412 - 346.26 b413 - 330.35 b414 - 399.96 b415 - 333.16 b416 - 389.3 b417 - 353.45 b418 - 338.91 b419 - 346.83 b420 - 349.81 b421 - 346.32 b422 - 336.43 b423 - 342.45 b424 - 360.25 b425 - 331.98 b426 - 346.17 b427 + 0 x428 + 0 x429 + 0 x430 + 0 x431 + 0 x432 + 0 x433 + 0 x434 + 0 x435 + 0 x436 + 0 x437 + 0 x438 + 0 x439 + 0 x440 + 0 x441 + 0 x442 + 0 x443 + 0 x444 + 0 x445 + 0 x446 + 0 x447 + 0 x448 + 0 x449 + 0 x450 + 0 x451 + 0 x452 + 0 x453 + 0 x454 + 0 x455 + 0 x456 + 0 x457 + 0 x458 + 0 x459 + 0 x460 + 0 x461 + 0 x462 + 0 x463 + 0 x464 + 0 x465 + 0 x466 + 0 x467 + 0 x468 + 0 x469 + 0 x470 + 0 x471 + 0 x472 + 0 x473 + 0 x474 + 0 x475 + 0 x476 + 0 x477 + 0 x478 + 0 x479 + 0 x480 + 0 x481 + 0 x482 + 0 x483 + 0 x484 + 0 x485 + 0 x486 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 = 50 e3: [ b2^2 + b2 * b55 + b2 * b56 + b2 * b57 + b2 * b99 + b2 * b100 + b2 * b102 + b2 * b103 + b2 * b105 + b2 * b106 + b2 * b107 + b2 * b112 + b2 * b139 + b2 * b143 + b2 * b153 + b2 * b155 + b2 * b168 + b2 * b179 + b2 * b185 + b2 * b197 + b2 * b199 + b2 * b203 + b2 * b204 + b2 * b246 + b2 * b248 + b2 * b249 + b2 * b261 + b2 * b264 + b2 * b266 + b2 * b267 + b2 * b269 + b2 * b271 + b2 * b275 + b2 * b279 + b2 * b280 + b2 * b286 + b2 * b287 + b2 * b290 + b2 * b294 + b2 * b296 + b2 * b314 + b2 * b317 + b2 * b319 + b2 * b321 + b2 * b326 + b2 * b328 + b2 * b330 + b2 * b332 + b2 * b340 + b2 * b341 + b2 * b342 + b2 * b343 + b3^2 + b3 * b58 + b3 * b59 + b3 * b60 + b3 * b101 + b3 * b104 + b3 * b108 + b3 * b109 + b3 * b110 + b3 * b111 + b3 * b113 + b3 * b114 + b3 * b116 + b3 * b123 + b3 * b126 + b3 * b132 + b4^2 + b4 * b131 + b4 * b135 + b4 * b137 + b4 * b138 + b4 * b141 + b5^2 + b5 * b44 + b5 * b45 + b5 * b46 + b5 * b51 + b5 * b52 + b5 * b53 + b5 * b61 + b5 * b62 + b5 * b63 + b5 * b64 + b5 * b65 + b5 * b66 + b5 * b67 + b5 * b68 + b5 * b69 + b5 * b70 + b5 * b71 + b5 * b72 + b5 * b75 + b5 * b77 + b5 * b78 + b5 * b80 + b5 * b81 + b5 * b84 + b5 * b131 + b5 * b135 + b5 * b137 + b5 * b138 + b5 * b141 + b6^2 + b6 * b39 + b6 * b40 + b6 * b41 + b6 * b42 + b6 * b43 + b6 * b54 + b6 * b73 + b6 * b74 + b6 * b76 + b6 * b82 + b6 * b83 + b6 * b85 + b6 * b86 + b6 * b118 + b6 * b175 + b7^2 + b7 * b115 + b7 * b119 + b7 * b120 + b7 * b121 + b7 * b127 + b7 * b128 + b7 * b129 + b7 * b130 + b7 * b136 + b7 * b140 + b7 * b146 + b7 * b163 + b7 * b166 + b7 * b177 + b7 * b180 + b7 * b185 + b7 * b192 + b7 * b195 + b7 * b206 + b7 * b207 + b7 * b210 + b7 * b222 + b7 * b227 + b7 * b231 + b7 * b235 + b7 * b236 + b7 * b238 + b7 * b241 + b7 * b242 + b7 * b243 + b7 * b257 + b7 * b261 + b7 * b262 + b7 * b271 + b7 * b274 + b7 * b276 + b7 * b277 + b7 * b279 + b7 * b288 + b7 * b295 + b7 * b296 + b7 * b297 + b7 * b307 + b7 * b310 + b7 * b331 + b7 * b334 + b7 * b335 + b7 * b336 + b7 * b337 + b7 * b339 + b8^2 + b8 * b350 + b8 * b352 + b8 * b357 + b8 * b359 + b8 * b368 + b8 * b373 + b8 * b381 + b8 * b395 + b8 * b402 + b8 * b411 + b9^2 + b9 * b349 + b9 * b350 + b9 * b351 + b9 * b352 + b9 * b356 + b9 * b357 + b9 * b365 + b9 * b366 + b9 * b369 + b9 * b374 + b9 * b387 + b9 * b388 + b9 * b389 + b9 * b395 + b9 * b396 + b9 * b397 + b9 * b399 + b9 * b400 + b9 * b401 + b9 * b402 + b9 * b404 + b9 * b406 + b9 * b410 + b9 * b413 + b9 * b415 + b9 * b417 + b10^2 + b10 * b353 + b10 * b360 + b10 * b361 + b10 * b363 + b10 * b365 + b10 * b369 + b10 * b372 + b10 * b374 + b10 * b378 + b10 * b379 + b10 * b385 + b10 * b394 + b10 * b403 + b10 * b410 + b10 * b415 + b11^2 + b11 * b355 + b11 * b356 + b11 * b362 + b11 * b367 + b11 * b382 + b11 * b387 + b11 * b388 + b11 * b390 + b11 * b393 + b11 * b398 + b11 * b406 + b11 * b408 + b11 * b409 + b11 * b416 + b11 * b417 + b12^2 + b12 * b345 + b12 * b348 + b12 * b349 + b12 * b354 + b12 * b358 + b12 * b364 + b12 * b380 + b12 * b383 + b12 * b392 + b12 * b397 + b12 * b399 + b12 * b401 + b12 * b404 + b12 * b412 + b12 * b414 + b13^2 + b13 * b117 + b13 * b122 + b13 * b124 + b13 * b133 + b13 * b134 + b13 * b149 + b13 * b153 + b13 * b159 + b13 * b160 + b13 * b164 + b13 * b168 + b13 * b169 + b13 * b171 + b13 * b176 + b13 * b203 + b13 * b204 + b13 * b211 + b13 * b224 + b13 * b230 + b13 * b233 + b13 * b270 + b13 * b285 + b13 * b303 + b13 * b306 + b13 * b312 + b13 * b317 + b13 * b327 + b13 * b329 + b14^2 + b14 * b145 + b14 * b156 + b14 * b189 + b14 * b198 + b14 * b200 + b14 * b201 + b14 * b209 + b14 * b220 + b14 * b256 + b14 * b259 + b14 * b273 + b14 * b281 + b14 * b282 + b14 * b283 + b14 * b291 + b14 * b322 + b15^2 + b16^2 + b16 * b147 + b16 * b151 + b16 * b152 + b16 * b154 + b16 * b157 + b16 * b167 + b16 * b181 + b16 * b182 + b16 * b184 + b16 * b186 + b16 * b191 + b16 * b193 + b16 * b194 + b16 * b216 + b16 * b218 + b16 * b223 + b16 * b225 + b16 * b226 + b16 * b229 + b16 * b245 + b16 * b250 + b16 * b252 + b16 * b254 + b16 * b255 + b16 * b265 + b16 * b289 + b16 * b298 + b16 * b299 + b16 * b302 + b16 * b305 + b16 * b311 + b16 * b316 + b16 * b323 + b16 * b333 + b16 * b338 + b17^2 + b17 * b120 + b17 * b127 + b17 * b128 + b17 * b130 + b17 * b140 + b17 * b161 + b17 * b172 + b17 * b188 + b17 * b213 + b17 * b246 + b17 * b275 + b17 * b278 + b17 * b284 + b17 * b300 + b17 * b301 + b17 * b309 + b17 * b319 + b17 * b324 + b17 * b326 + b17 * b332 + b18^2 + b19^2 + b20^2 + b21^2 + b22^2 + b23^2 + b24^2 + b25^2 + b26^2 + b27^2 + b28^2 + b29^2 + b30^2 + b31^2 + b32^2 + b33^2 + b34^2 + b35^2 + b36^2 + b37^2 + b38^2 + b39^2 + b39 * b40 + b39 * b41 + .5 b39 * b42 + .5 b39 * b43 + .5 b39 * b54 + .5 b39 * b73 + .5 b39 * b74 + b39 * b76 + .5 b39 * b82 + .5 b39 * b83 + .5 b39 * b85 + b39 * b86 + .5 b39 * b118 + .5 b39 * b175 + b39 * x428 + b40^2 + b40 * b41 + .5 b40 * b42 + .5 b40 * b43 + .5 b40 * b54 + .5 b40 * b73 + .5 b40 * b74 + b40 * b76 + .5 b40 * b82 + .5 b40 * b83 + .5 b40 * b85 + b40 * b86 + .5 b40 * b118 + .5 b40 * b175 + b40 * x428 + b41^2 + .5 b41 * b42 + .5 b41 * b43 + .5 b41 * b54 + .5 b41 * b73 + .5 b41 * b74 + b41 * b76 + .5 b41 * b82 + .5 b41 * b83 + .5 b41 * b85 + b41 * b86 + .5 b41 * b118 + .5 b41 * b175 + b41 * x428 + b42^2 + b42 * b43 + .5 b42 * b44 + .5 b42 * b45 + .5 b42 * b54 + b42 * b73 + .5 b42 * b74 + .5 b42 * b76 + .5 b42 * b77 + .5 b42 * b78 + .5 b42 * b80 + .5 b42 * b82 + b42 * b83 + b42 * b85 + .5 b42 * b86 + .5 b42 * b118 + .5 b42 * b175 + b42 * x429 + b43^2 + .5 b43 * b44 + .5 b43 * b45 + .5 b43 * b54 + b43 * b73 + .5 b43 * b74 + .5 b43 * b76 + .5 b43 * b77 + .5 b43 * b78 + .5 b43 * b80 + .5 b43 * b82 + b43 * b83 + b43 * b85 + .5 b43 * b86 + .5 b43 * b118 + .5 b43 * b175 + b43 * x429 + b44^2 + b44 * b45 + .5 b44 * b46 + .5 b44 * b51 + .5 b44 * b52 + .5 b44 * b53 + .5 b44 * b61 + .5 b44 * b62 + .5 b44 * b63 + .5 b44 * b64 + .5 b44 * b65 + .5 b44 * b66 + .5 b44 * b67 + .5 b44 * b68 + .5 b44 * b69 + .5 b44 * b70 + .5 b44 * b71 + .5 b44 * b72 + .5 b44 * b73 + .5 b44 * b75 + b44 * b77 + b44 * b78 + b44 * b80 + .5 b44 * b81 + .5 b44 * b83 + .5 b44 * b84 + .5 b44 * b85 + .5 b44 * b131 + .5 b44 * b135 + .5 b44 * b137 + .5 b44 * b138 + .5 b44 * b141 + b44 * x429 + b45^2 + .5 b45 * b46 + .5 b45 * b51 + .5 b45 * b52 + .5 b45 * b53 + .5 b45 * b61 + .5 b45 * b62 + .5 b45 * b63 + .5 b45 * b64 + .5 b45 * b65 + .5 b45 * b66 + .5 b45 * b67 + .5 b45 * b68 + .5 b45 * b69 + .5 b45 * b70 + .5 b45 * b71 + .5 b45 * b72 + .5 b45 * b73 + .5 b45 * b75 + b45 * b77 + b45 * b78 + b45 * b80 + .5 b45 * b81 + .5 b45 * b83 + .5 b45 * b84 + .5 b45 * b85 + .5 b45 * b131 + .5 b45 * b135 + .5 b45 * b137 + .5 b45 * b138 + .5 b45 * b141 + b45 * x429 + b46^2 + .5 b46 * b51 + .5 b46 * b52 + .5 b46 * b53 + .5 b46 * b61 + .5 b46 * b62 + .5 b46 * b63 + .5 b46 * b64 + .5 b46 * b65 + .5 b46 * b66 + .5 b46 * b67 + .5 b46 * b68 + .5 b46 * b69 + .5 b46 * b70 + .5 b46 * b71 + b46 * b72 + b46 * b75 + .5 b46 * b77 + .5 b46 * b78 + .5 b46 * b80 + b46 * b81 + b46 * b84 + .5 b46 * b131 + .5 b46 * b135 + .5 b46 * b137 + .5 b46 * b138 + .5 b46 * b141 + b46 * x430 + b47^2 + .5 b47 * b48 + .5 b47 * b59 + .5 b47 * b87 + b47 * b90 + .5 b47 * b91 + .5 b47 * b92 + .5 b47 * b93 + b47 * b96 + .5 b47 * b110 + .5 b47 * b111 + .5 b47 * b113 + .5 b47 * b114 + b47 * x431 + b47 * x432 + b48^2 + .5 b48 * b59 + b48 * b87 + .5 b48 * b90 + b48 * b91 + b48 * b92 + b48 * b93 + .5 b48 * b95 + .5 b48 * b96 + .5 b48 * b98 + .5 b48 * b110 + .5 b48 * b111 + .5 b48 * b113 + .5 b48 * b114 + b48 * x431 + b48 * x433 + b49^2 + b49 * b50 + b49 * b88 + b49 * b89 + .5 b49 * b94 + .5 b49 * b97 + b49 * b125 + b49 * x434 + b49 * x435 + b50^2 + b50 * b88 + b50 * b89 + .5 b50 * b94 + .5 b50 * b97 + b50 * b125 + b50 * x434 + b50 * x435 + b51^2 + .5 b51 * b52 + .5 b51 * b53 + .5 b51 * b61 + .5 b51 * b62 + .5 b51 * b63 + b51 * b64 + b51 * b65 + .5 b51 * b66 + .5 b51 * b67 + .5 b51 * b68 + .5 b51 * b69 + .5 b51 * b70 + .5 b51 * b71 + .5 b51 * b72 + .5 b51 * b75 + .5 b51 * b77 + .5 b51 * b78 + .5 b51 * b80 + .5 b51 * b81 + .5 b51 * b84 + .5 b51 * b131 + .5 b51 * b135 + .5 b51 * b137 + .5 b51 * b138 + .5 b51 * b141 + b51 * x436 + b52^2 + .5 b52 * b53 + .5 b52 * b61 + .5 b52 * b62 + b52 * b63 + .5 b52 * b64 + .5 b52 * b65 + b52 * b66 + b52 * b67 + .5 b52 * b68 + b52 * b69 + .5 b52 * b70 + .5 b52 * b71 + .5 b52 * b72 + .5 b52 * b75 + .5 b52 * b77 + .5 b52 * b78 + .5 b52 * b80 + .5 b52 * b81 + .5 b52 * b84 + .5 b52 * b131 + .5 b52 * b135 + .5 b52 * b137 + .5 b52 * b138 + .5 b52 * b141 + b52 * x437 + b53^2 + .5 b53 * b54 + b53 * b61 + b53 * b62 + .5 b53 * b63 + .5 b53 * b64 + .5 b53 * b65 + .5 b53 * b66 + .5 b53 * b67 + b53 * b68 + .5 b53 * b69 + .5 b53 * b70 + b53 * b71 + .5 b53 * b72 + .5 b53 * b74 + .5 b53 * b75 + .5 b53 * b77 + .5 b53 * b78 + .5 b53 * b80 + .5 b53 * b81 + .5 b53 * b82 + .5 b53 * b84 + .5 b53 * b118 + .5 b53 * b131 + .5 b53 * b135 + .5 b53 * b137 + .5 b53 * b138 + .5 b53 * b141 + .5 b53 * b175 + b53 * x438 + b54^2 + .5 b54 * b61 + .5 b54 * b62 + .5 b54 * b68 + .5 b54 * b71 + .5 b54 * b73 + b54 * b74 + .5 b54 * b76 + b54 * b82 + .5 b54 * b83 + .5 b54 * b85 + .5 b54 * b86 + b54 * b118 + b54 * b175 + b54 * x438 + b55^2 + .5 b55 * b56 + .5 b55 * b57 + .5 b55 * b99 + b55 * b100 + b55 * b102 + b55 * b103 + .5 b55 * b105 + .5 b55 * b106 + b55 * b107 + .5 b55 * b112 + .5 b55 * b139 + .5 b55 * b143 + .5 b55 * b153 + .5 b55 * b155 + .5 b55 * b168 + .5 b55 * b179 + .5 b55 * b185 + .5 b55 * b197 + .5 b55 * b199 + .5 b55 * b203 + .5 b55 * b204 + .5 b55 * b246 + .5 b55 * b248 + .5 b55 * b249 + .5 b55 * b261 + .5 b55 * b264 + .5 b55 * b266 + .5 b55 * b267 + .5 b55 * b269 + .5 b55 * b271 + .5 b55 * b275 + .5 b55 * b279 + .5 b55 * b280 + .5 b55 * b286 + .5 b55 * b287 + .5 b55 * b290 + .5 b55 * b294 + .5 b55 * b296 + .5 b55 * b314 + .5 b55 * b317 + .5 b55 * b319 + .5 b55 * b321 + .5 b55 * b326 + .5 b55 * b328 + .5 b55 * b330 + .5 b55 * b332 + .5 b55 * b340 + .5 b55 * b341 + .5 b55 * b342 + .5 b55 * b343 + b55 * x439 + b56^2 + .5 b56 * b57 + b56 * b99 + .5 b56 * b100 + .5 b56 * b102 + .5 b56 * b103 + b56 * b105 + b56 * b106 + .5 b56 * b107 + b56 * b112 + .5 b56 * b139 + .5 b56 * b143 + .5 b56 * b153 + .5 b56 * b155 + .5 b56 * b168 + .5 b56 * b179 + .5 b56 * b185 + .5 b56 * b197 + .5 b56 * b199 + .5 b56 * b203 + .5 b56 * b204 + .5 b56 * b246 + .5 b56 * b248 + .5 b56 * b249 + .5 b56 * b261 + .5 b56 * b264 + .5 b56 * b266 + .5 b56 * b267 + .5 b56 * b269 + .5 b56 * b271 + .5 b56 * b275 + .5 b56 * b279 + .5 b56 * b280 + .5 b56 * b286 + .5 b56 * b287 + .5 b56 * b290 + .5 b56 * b294 + .5 b56 * b296 + .5 b56 * b314 + .5 b56 * b317 + .5 b56 * b319 + .5 b56 * b321 + .5 b56 * b326 + .5 b56 * b328 + .5 b56 * b330 + .5 b56 * b332 + .5 b56 * b340 + .5 b56 * b341 + .5 b56 * b342 + .5 b56 * b343 + b56 * x440 + b57^2 + .5 b57 * b99 + .5 b57 * b100 + .5 b57 * b102 + .5 b57 * b103 + .5 b57 * b105 + .5 b57 * b106 + .5 b57 * b107 + .5 b57 * b112 + .5 b57 * b139 + .5 b57 * b143 + .5 b57 * b153 + .5 b57 * b155 + .5 b57 * b168 + .5 b57 * b179 + .5 b57 * b185 + .5 b57 * b197 + .5 b57 * b199 + .5 b57 * b203 + .5 b57 * b204 + .5 b57 * b246 + .5 b57 * b248 + .5 b57 * b249 + .5 b57 * b261 + .5 b57 * b264 + .5 b57 * b266 + .5 b57 * b267 + .5 b57 * b269 + .5 b57 * b271 + .5 b57 * b275 + .5 b57 * b279 + .5 b57 * b280 + .5 b57 * b286 + .5 b57 * b287 + .5 b57 * b290 + .5 b57 * b294 + .5 b57 * b296 + .5 b57 * b314 + .5 b57 * b317 + .5 b57 * b319 + .5 b57 * b321 + .5 b57 * b326 + .5 b57 * b328 + .5 b57 * b330 + .5 b57 * b332 + .5 b57 * b340 + .5 b57 * b341 + .5 b57 * b342 + .5 b57 * b343 + b57 * x441 + b58^2 + .5 b58 * b59 + .5 b58 * b60 + b58 * b101 + b58 * b104 + b58 * b108 + b58 * b109 + .5 b58 * b110 + .5 b58 * b111 + .5 b58 * b113 + .5 b58 * b114 + .5 b58 * b116 + .5 b58 * b123 + .5 b58 * b126 + .5 b58 * b132 + b58 * x442 + b59^2 + .5 b59 * b60 + .5 b59 * b87 + .5 b59 * b90 + .5 b59 * b91 + .5 b59 * b92 + .5 b59 * b93 + .5 b59 * b96 + .5 b59 * b101 + .5 b59 * b104 + .5 b59 * b108 + .5 b59 * b109 + b59 * b110 + b59 * b111 + b59 * b113 + b59 * b114 + .5 b59 * b116 + .5 b59 * b123 + .5 b59 * b126 + .5 b59 * b132 + b59 * x431 + b60^2 + .5 b60 * b101 + .5 b60 * b104 + .5 b60 * b108 + .5 b60 * b109 + .5 b60 * b110 + .5 b60 * b111 + .5 b60 * b113 + .5 b60 * b114 + b60 * b116 + b60 * b123 + b60 * b126 + b60 * b132 + b60 * x443 + b61^2 + b61 * b62 + .5 b61 * b63 + .5 b61 * b64 + .5 b61 * b65 + .5 b61 * b66 + .5 b61 * b67 + b61 * b68 + .5 b61 * b69 + .5 b61 * b70 + b61 * b71 + .5 b61 * b72 + .5 b61 * b74 + .5 b61 * b75 + .5 b61 * b77 + .5 b61 * b78 + .5 b61 * b80 + .5 b61 * b81 + .5 b61 * b82 + .5 b61 * b84 + .5 b61 * b118 + .5 b61 * b131 + .5 b61 * b135 + .5 b61 * b137 + .5 b61 * b138 + .5 b61 * b141 + .5 b61 * b175 + b61 * x438 + b62^2 + .5 b62 * b63 + .5 b62 * b64 + .5 b62 * b65 + .5 b62 * b66 + .5 b62 * b67 + b62 * b68 + .5 b62 * b69 + .5 b62 * b70 + b62 * b71 + .5 b62 * b72 + .5 b62 * b74 + .5 b62 * b75 + .5 b62 * b77 + .5 b62 * b78 + .5 b62 * b80 + .5 b62 * b81 + .5 b62 * b82 + .5 b62 * b84 + .5 b62 * b118 + .5 b62 * b131 + .5 b62 * b135 + .5 b62 * b137 + .5 b62 * b138 + .5 b62 * b141 + .5 b62 * b175 + b62 * x438 + b63^2 + .5 b63 * b64 + .5 b63 * b65 + b63 * b66 + b63 * b67 + .5 b63 * b68 + b63 * b69 + .5 b63 * b70 + .5 b63 * b71 + .5 b63 * b72 + .5 b63 * b75 + .5 b63 * b77 + .5 b63 * b78 + .5 b63 * b80 + .5 b63 * b81 + .5 b63 * b84 + .5 b63 * b131 + .5 b63 * b135 + .5 b63 * b137 + .5 b63 * b138 + .5 b63 * b141 + b63 * x437 + b64^2 + b64 * b65 + .5 b64 * b66 + .5 b64 * b67 + .5 b64 * b68 + .5 b64 * b69 + .5 b64 * b70 + .5 b64 * b71 + .5 b64 * b72 + .5 b64 * b75 + .5 b64 * b77 + .5 b64 * b78 + .5 b64 * b80 + .5 b64 * b81 + .5 b64 * b84 + .5 b64 * b131 + .5 b64 * b135 + .5 b64 * b137 + .5 b64 * b138 + .5 b64 * b141 + b64 * x436 + b65^2 + .5 b65 * b66 + .5 b65 * b67 + .5 b65 * b68 + .5 b65 * b69 + .5 b65 * b70 + .5 b65 * b71 + .5 b65 * b72 + .5 b65 * b75 + .5 b65 * b77 + .5 b65 * b78 + .5 b65 * b80 + .5 b65 * b81 + .5 b65 * b84 + .5 b65 * b131 + .5 b65 * b135 + .5 b65 * b137 + .5 b65 * b138 + .5 b65 * b141 + b65 * x436 + b66^2 + b66 * b67 + .5 b66 * b68 + b66 * b69 + .5 b66 * b70 + .5 b66 * b71 + .5 b66 * b72 + .5 b66 * b75 + .5 b66 * b77 + .5 b66 * b78 + .5 b66 * b80 + .5 b66 * b81 + .5 b66 * b84 + .5 b66 * b131 + .5 b66 * b135 + .5 b66 * b137 + .5 b66 * b138 + .5 b66 * b141 + b66 * x437 + b67^2 + .5 b67 * b68 + b67 * b69 + .5 b67 * b70 + .5 b67 * b71 + .5 b67 * b72 + .5 b67 * b75 + .5 b67 * b77 + .5 b67 * b78 + .5 b67 * b80 + .5 b67 * b81 + .5 b67 * b84 + .5 b67 * b131 + .5 b67 * b135 + .5 b67 * b137 + .5 b67 * b138 + .5 b67 * b141 + b67 * x437 + b68^2 + .5 b68 * b69 + .5 b68 * b70 + b68 * b71 + .5 b68 * b72 + .5 b68 * b74 + .5 b68 * b75 + .5 b68 * b77 + .5 b68 * b78 + .5 b68 * b80 + .5 b68 * b81 + .5 b68 * b82 + .5 b68 * b84 + .5 b68 * b118 + .5 b68 * b131 + .5 b68 * b135 + .5 b68 * b137 + .5 b68 * b138 + .5 b68 * b141 + .5 b68 * b175 + b68 * x438 + b69^2 + .5 b69 * b70 + .5 b69 * b71 + .5 b69 * b72 + .5 b69 * b75 + .5 b69 * b77 + .5 b69 * b78 + .5 b69 * b80 + .5 b69 * b81 + .5 b69 * b84 + .5 b69 * b131 + .5 b69 * b135 + .5 b69 * b137 + .5 b69 * b138 + .5 b69 * b141 + b69 * x437 + b70^2 + .5 b70 * b71 + .5 b70 * b72 + .5 b70 * b75 + .5 b70 * b77 + .5 b70 * b78 + .5 b70 * b80 + .5 b70 * b81 + .5 b70 * b84 + .5 b70 * b131 + .5 b70 * b135 + .5 b70 * b137 + .5 b70 * b138 + .5 b70 * b141 + b70 * x444 + b71^2 + .5 b71 * b72 + .5 b71 * b74 + .5 b71 * b75 + .5 b71 * b77 + .5 b71 * b78 + .5 b71 * b80 + .5 b71 * b81 + .5 b71 * b82 + .5 b71 * b84 + .5 b71 * b118 + .5 b71 * b131 + .5 b71 * b135 + .5 b71 * b137 + .5 b71 * b138 + .5 b71 * b141 + .5 b71 * b175 + b71 * x438 + b72^2 + b72 * b75 + .5 b72 * b77 + .5 b72 * b78 + .5 b72 * b80 + b72 * b81 + b72 * b84 + .5 b72 * b131 + .5 b72 * b135 + .5 b72 * b137 + .5 b72 * b138 + .5 b72 * b141 + b72 * x430 + b73^2 + .5 b73 * b74 + .5 b73 * b76 + .5 b73 * b77 + .5 b73 * b78 + .5 b73 * b80 + .5 b73 * b82 + b73 * b83 + b73 * b85 + .5 b73 * b86 + .5 b73 * b118 + .5 b73 * b175 + b73 * x429 + b74^2 + .5 b74 * b76 + b74 * b82 + .5 b74 * b83 + .5 b74 * b85 + .5 b74 * b86 + b74 * b118 + b74 * b175 + b74 * x438 + b75^2 + .5 b75 * b77 + .5 b75 * b78 + .5 b75 * b80 + b75 * b81 + b75 * b84 + .5 b75 * b131 + .5 b75 * b135 + .5 b75 * b137 + .5 b75 * b138 + .5 b75 * b141 + b75 * x430 + b76^2 + .5 b76 * b82 + .5 b76 * b83 + .5 b76 * b85 + b76 * b86 + .5 b76 * b118 + .5 b76 * b175 + b76 * x428 + b77^2 + b77 * b78 + b77 * b80 + .5 b77 * b81 + .5 b77 * b83 + .5 b77 * b84 + .5 b77 * b85 + .5 b77 * b131 + .5 b77 * b135 + .5 b77 * b137 + .5 b77 * b138 + .5 b77 * b141 + b77 * x429 + b78^2 + b78 * b80 + .5 b78 * b81 + .5 b78 * b83 + .5 b78 * b84 + .5 b78 * b85 + .5 b78 * b131 + .5 b78 * b135 + .5 b78 * b137 + .5 b78 * b138 + .5 b78 * b141 + b78 * x429 + b79^2 + .5 b79 * b143 + .5 b79 * b183 + .5 b79 * b197 + .5 b79 * b267 + .5 b79 * b290 + .5 b79 * b294 + b79 * x445 + b79 * x446 + b80^2 + .5 b80 * b81 + .5 b80 * b83 + .5 b80 * b84 + .5 b80 * b85 + .5 b80 * b131 + .5 b80 * b135 + .5 b80 * b137 + .5 b80 * b138 + .5 b80 * b141 + b80 * x429 + b81^2 + b81 * b84 + .5 b81 * b131 + .5 b81 * b135 + .5 b81 * b137 + .5 b81 * b138 + .5 b81 * b141 + b81 * x430 + b82^2 + .5 b82 * b83 + .5 b82 * b85 + .5 b82 * b86 + b82 * b118 + b82 * b175 + b82 * x438 + b83^2 + b83 * b85 + .5 b83 * b86 + .5 b83 * b118 + .5 b83 * b175 + b83 * x429 + b84^2 + .5 b84 * b131 + .5 b84 * b135 + .5 b84 * b137 + .5 b84 * b138 + .5 b84 * b141 + b84 * x430 + b85^2 + .5 b85 * b86 + .5 b85 * b118 + .5 b85 * b175 + b85 * x429 + b86^2 + .5 b86 * b118 + .5 b86 * b175 + b86 * x428 + b87^2 + .5 b87 * b90 + b87 * b91 + b87 * b92 + b87 * b93 + .5 b87 * b95 + .5 b87 * b96 + .5 b87 * b98 + .5 b87 * b110 + .5 b87 * b111 + .5 b87 * b113 + .5 b87 * b114 + b87 * x431 + b87 * x433 + b88^2 + b88 * b89 + .5 b88 * b94 + .5 b88 * b97 + b88 * b125 + b88 * x434 + b88 * x435 + b89^2 + .5 b89 * b94 + .5 b89 * b97 + b89 * b125 + b89 * x434 + b89 * x435 + b90^2 + .5 b90 * b91 + .5 b90 * b92 + .5 b90 * b93 + b90 * b96 + .5 b90 * b110 + .5 b90 * b111 + .5 b90 * b113 + .5 b90 * b114 + b90 * x431 + b90 * x432 + b91^2 + b91 * b92 + b91 * b93 + .5 b91 * b95 + .5 b91 * b96 + .5 b91 * b98 + .5 b91 * b110 + .5 b91 * b111 + .5 b91 * b113 + .5 b91 * b114 + b91 * x431 + b91 * x433 + b92^2 + b92 * b93 + .5 b92 * b95 + .5 b92 * b96 + .5 b92 * b98 + .5 b92 * b110 + .5 b92 * b111 + .5 b92 * b113 + .5 b92 * b114 + b92 * x431 + b92 * x433 + b93^2 + .5 b93 * b95 + .5 b93 * b96 + .5 b93 * b98 + .5 b93 * b110 + .5 b93 * b111 + .5 b93 * b113 + .5 b93 * b114 + b93 * x431 + b93 * x433 + b94^2 + .5 b94 * b97 + .5 b94 * b125 + b94 * x434 + b94 * x447 + b95^2 + b95 * b98 + b95 * x433 + b95 * x448 + b96^2 + .5 b96 * b110 + .5 b96 * b111 + .5 b96 * b113 + .5 b96 * b114 + b96 * x431 + b96 * x432 + b97^2 + .5 b97 * b125 + b97 * x434 + b97 * x449 + b98^2 + b98 * x433 + b98 * x448 + b99^2 + .5 b99 * b100 + .5 b99 * b102 + .5 b99 * b103 + b99 * b105 + b99 * b106 + .5 b99 * b107 + b99 * b112 + .5 b99 * b139 + .5 b99 * b143 + .5 b99 * b153 + .5 b99 * b155 + .5 b99 * b168 + .5 b99 * b179 + .5 b99 * b185 + .5 b99 * b197 + .5 b99 * b199 + .5 b99 * b203 + .5 b99 * b204 + .5 b99 * b246 + .5 b99 * b248 + .5 b99 * b249 + .5 b99 * b261 + .5 b99 * b264 + .5 b99 * b266 + .5 b99 * b267 + .5 b99 * b269 + .5 b99 * b271 + .5 b99 * b275 + .5 b99 * b279 + .5 b99 * b280 + .5 b99 * b286 + .5 b99 * b287 + .5 b99 * b290 + .5 b99 * b294 + .5 b99 * b296 + .5 b99 * b314 + .5 b99 * b317 + .5 b99 * b319 + .5 b99 * b321 + .5 b99 * b326 + .5 b99 * b328 + .5 b99 * b330 + .5 b99 * b332 + .5 b99 * b340 + .5 b99 * b341 + .5 b99 * b342 + .5 b99 * b343 + b99 * x440 + b100^2 + b100 * b102 + b100 * b103 + .5 b100 * b105 + .5 b100 * b106 + b100 * b107 + .5 b100 * b112 + .5 b100 * b139 + .5 b100 * b143 + .5 b100 * b153 + .5 b100 * b155 + .5 b100 * b168 + .5 b100 * b179 + .5 b100 * b185 + .5 b100 * b197 + .5 b100 * b199 + .5 b100 * b203 + .5 b100 * b204 + .5 b100 * b246 + .5 b100 * b248 + .5 b100 * b249 + .5 b100 * b261 + .5 b100 * b264 + .5 b100 * b266 + .5 b100 * b267 + .5 b100 * b269 + .5 b100 * b271 + .5 b100 * b275 + .5 b100 * b279 + .5 b100 * b280 + .5 b100 * b286 + .5 b100 * b287 + .5 b100 * b290 + .5 b100 * b294 + .5 b100 * b296 + .5 b100 * b314 + .5 b100 * b317 + .5 b100 * b319 + .5 b100 * b321 + .5 b100 * b326 + .5 b100 * b328 + .5 b100 * b330 + .5 b100 * b332 + .5 b100 * b340 + .5 b100 * b341 + .5 b100 * b342 + .5 b100 * b343 + b100 * x439 + b101^2 + b101 * b104 + b101 * b108 + b101 * b109 + .5 b101 * b110 + .5 b101 * b111 + .5 b101 * b113 + .5 b101 * b114 + .5 b101 * b116 + .5 b101 * b123 + .5 b101 * b126 + .5 b101 * b132 + b101 * x442 + b102^2 + b102 * b103 + .5 b102 * b105 + .5 b102 * b106 + b102 * b107 + .5 b102 * b112 + .5 b102 * b139 + .5 b102 * b143 + .5 b102 * b153 + .5 b102 * b155 + .5 b102 * b168 + .5 b102 * b179 + .5 b102 * b185 + .5 b102 * b197 + .5 b102 * b199 + .5 b102 * b203 + .5 b102 * b204 + .5 b102 * b246 + .5 b102 * b248 + .5 b102 * b249 + .5 b102 * b261 + .5 b102 * b264 + .5 b102 * b266 + .5 b102 * b267 + .5 b102 * b269 + .5 b102 * b271 + .5 b102 * b275 + .5 b102 * b279 + .5 b102 * b280 + .5 b102 * b286 + .5 b102 * b287 + .5 b102 * b290 + .5 b102 * b294 + .5 b102 * b296 + .5 b102 * b314 + .5 b102 * b317 + .5 b102 * b319 + .5 b102 * b321 + .5 b102 * b326 + .5 b102 * b328 + .5 b102 * b330 + .5 b102 * b332 + .5 b102 * b340 + .5 b102 * b341 + .5 b102 * b342 + .5 b102 * b343 + b102 * x439 + b103^2 + .5 b103 * b105 + .5 b103 * b106 + b103 * b107 + .5 b103 * b112 + .5 b103 * b139 + .5 b103 * b143 + .5 b103 * b153 + .5 b103 * b155 + .5 b103 * b168 + .5 b103 * b179 + .5 b103 * b185 + .5 b103 * b197 + .5 b103 * b199 + .5 b103 * b203 + .5 b103 * b204 + .5 b103 * b246 + .5 b103 * b248 + .5 b103 * b249 + .5 b103 * b261 + .5 b103 * b264 + .5 b103 * b266 + .5 b103 * b267 + .5 b103 * b269 + .5 b103 * b271 + .5 b103 * b275 + .5 b103 * b279 + .5 b103 * b280 + .5 b103 * b286 + .5 b103 * b287 + .5 b103 * b290 + .5 b103 * b294 + .5 b103 * b296 + .5 b103 * b314 + .5 b103 * b317 + .5 b103 * b319 + .5 b103 * b321 + .5 b103 * b326 + .5 b103 * b328 + .5 b103 * b330 + .5 b103 * b332 + .5 b103 * b340 + .5 b103 * b341 + .5 b103 * b342 + .5 b103 * b343 + b103 * x439 + b104^2 + b104 * b108 + b104 * b109 + .5 b104 * b110 + .5 b104 * b111 + .5 b104 * b113 + .5 b104 * b114 + .5 b104 * b116 + .5 b104 * b123 + .5 b104 * b126 + .5 b104 * b132 + b104 * x442 + b105^2 + b105 * b106 + .5 b105 * b107 + b105 * b112 + .5 b105 * b139 + .5 b105 * b143 + .5 b105 * b153 + .5 b105 * b155 + .5 b105 * b168 + .5 b105 * b179 + .5 b105 * b185 + .5 b105 * b197 + .5 b105 * b199 + .5 b105 * b203 + .5 b105 * b204 + .5 b105 * b246 + .5 b105 * b248 + .5 b105 * b249 + .5 b105 * b261 + .5 b105 * b264 + .5 b105 * b266 + .5 b105 * b267 + .5 b105 * b269 + .5 b105 * b271 + .5 b105 * b275 + .5 b105 * b279 + .5 b105 * b280 + .5 b105 * b286 + .5 b105 * b287 + .5 b105 * b290 + .5 b105 * b294 + .5 b105 * b296 + .5 b105 * b314 + .5 b105 * b317 + .5 b105 * b319 + .5 b105 * b321 + .5 b105 * b326 + .5 b105 * b328 + .5 b105 * b330 + .5 b105 * b332 + .5 b105 * b340 + .5 b105 * b341 + .5 b105 * b342 + .5 b105 * b343 + b105 * x440 + b106^2 + .5 b106 * b107 + b106 * b112 + .5 b106 * b139 + .5 b106 * b143 + .5 b106 * b153 + .5 b106 * b155 + .5 b106 * b168 + .5 b106 * b179 + .5 b106 * b185 + .5 b106 * b197 + .5 b106 * b199 + .5 b106 * b203 + .5 b106 * b204 + .5 b106 * b246 + .5 b106 * b248 + .5 b106 * b249 + .5 b106 * b261 + .5 b106 * b264 + .5 b106 * b266 + .5 b106 * b267 + .5 b106 * b269 + .5 b106 * b271 + .5 b106 * b275 + .5 b106 * b279 + .5 b106 * b280 + .5 b106 * b286 + .5 b106 * b287 + .5 b106 * b290 + .5 b106 * b294 + .5 b106 * b296 + .5 b106 * b314 + .5 b106 * b317 + .5 b106 * b319 + .5 b106 * b321 + .5 b106 * b326 + .5 b106 * b328 + .5 b106 * b330 + .5 b106 * b332 + .5 b106 * b340 + .5 b106 * b341 + .5 b106 * b342 + .5 b106 * b343 + b106 * x440 + b107^2 + .5 b107 * b112 + .5 b107 * b139 + .5 b107 * b143 + .5 b107 * b153 + .5 b107 * b155 + .5 b107 * b168 + .5 b107 * b179 + .5 b107 * b185 + .5 b107 * b197 + .5 b107 * b199 + .5 b107 * b203 + .5 b107 * b204 + .5 b107 * b246 + .5 b107 * b248 + .5 b107 * b249 + .5 b107 * b261 + .5 b107 * b264 + .5 b107 * b266 + .5 b107 * b267 + .5 b107 * b269 + .5 b107 * b271 + .5 b107 * b275 + .5 b107 * b279 + .5 b107 * b280 + .5 b107 * b286 + .5 b107 * b287 + .5 b107 * b290 + .5 b107 * b294 + .5 b107 * b296 + .5 b107 * b314 + .5 b107 * b317 + .5 b107 * b319 + .5 b107 * b321 + .5 b107 * b326 + .5 b107 * b328 + .5 b107 * b330 + .5 b107 * b332 + .5 b107 * b340 + .5 b107 * b341 + .5 b107 * b342 + .5 b107 * b343 + b107 * x439 + b108^2 + b108 * b109 + .5 b108 * b110 + .5 b108 * b111 + .5 b108 * b113 + .5 b108 * b114 + .5 b108 * b116 + .5 b108 * b123 + .5 b108 * b126 + .5 b108 * b132 + b108 * x442 + b109^2 + .5 b109 * b110 + .5 b109 * b111 + .5 b109 * b113 + .5 b109 * b114 + .5 b109 * b116 + .5 b109 * b123 + .5 b109 * b126 + .5 b109 * b132 + b109 * x442 + b110^2 + b110 * b111 + b110 * b113 + b110 * b114 + .5 b110 * b116 + .5 b110 * b123 + .5 b110 * b126 + .5 b110 * b132 + b110 * x431 + b111^2 + b111 * b113 + b111 * b114 + .5 b111 * b116 + .5 b111 * b123 + .5 b111 * b126 + .5 b111 * b132 + b111 * x431 + b112^2 + .5 b112 * b139 + .5 b112 * b143 + .5 b112 * b153 + .5 b112 * b155 + .5 b112 * b168 + .5 b112 * b179 + .5 b112 * b185 + .5 b112 * b197 + .5 b112 * b199 + .5 b112 * b203 + .5 b112 * b204 + .5 b112 * b246 + .5 b112 * b248 + .5 b112 * b249 + .5 b112 * b261 + .5 b112 * b264 + .5 b112 * b266 + .5 b112 * b267 + .5 b112 * b269 + .5 b112 * b271 + .5 b112 * b275 + .5 b112 * b279 + .5 b112 * b280 + .5 b112 * b286 + .5 b112 * b287 + .5 b112 * b290 + .5 b112 * b294 + .5 b112 * b296 + .5 b112 * b314 + .5 b112 * b317 + .5 b112 * b319 + .5 b112 * b321 + .5 b112 * b326 + .5 b112 * b328 + .5 b112 * b330 + .5 b112 * b332 + .5 b112 * b340 + .5 b112 * b341 + .5 b112 * b342 + .5 b112 * b343 + b112 * x440 + b113^2 + b113 * b114 + .5 b113 * b116 + .5 b113 * b123 + .5 b113 * b126 + .5 b113 * b132 + b113 * x431 + b114^2 + .5 b114 * b116 + .5 b114 * b123 + .5 b114 * b126 + .5 b114 * b132 + b114 * x431 + b115^2 + b115 * b119 + .5 b115 * b120 + b115 * b121 + .5 b115 * b127 + .5 b115 * b128 + b115 * b129 + .5 b115 * b130 + b115 * b136 + .5 b115 * b140 + .5 b115 * b144 + .5 b115 * b146 + .5 b115 * b163 + .5 b115 * b166 + .5 b115 * b173 + .5 b115 * b174 + .5 b115 * b177 + .5 b115 * b180 + .5 b115 * b185 + .5 b115 * b190 + .5 b115 * b192 + .5 b115 * b195 + .5 b115 * b196 + .5 b115 * b206 + .5 b115 * b207 + .5 b115 * b210 + .5 b115 * b212 + .5 b115 * b215 + .5 b115 * b217 + .5 b115 * b222 + .5 b115 * b227 + .5 b115 * b231 + .5 b115 * b232 + .5 b115 * b235 + .5 b115 * b236 + .5 b115 * b237 + .5 b115 * b238 + .5 b115 * b239 + .5 b115 * b241 + .5 b115 * b242 + .5 b115 * b243 + .5 b115 * b257 + .5 b115 * b261 + .5 b115 * b262 + .5 b115 * b271 + .5 b115 * b274 + .5 b115 * b276 + .5 b115 * b277 + .5 b115 * b279 + .5 b115 * b288 + .5 b115 * b293 + .5 b115 * b295 + .5 b115 * b296 + .5 b115 * b297 + .5 b115 * b307 + .5 b115 * b308 + .5 b115 * b310 + .5 b115 * b315 + .5 b115 * b318 + .5 b115 * b331 + .5 b115 * b334 + .5 b115 * b335 + .5 b115 * b336 + .5 b115 * b337 + .5 b115 * b339 + b115 * x450 + b116^2 + b116 * b123 + b116 * b126 + b116 * b132 + b116 * x443 + b117^2 + b117 * b122 + b117 * b124 + b117 * b133 + b117 * b134 + .5 b117 * b149 + .5 b117 * b153 + .5 b117 * b155 + .5 b117 * b159 + .5 b117 * b160 + .5 b117 * b164 + .5 b117 * b168 + .5 b117 * b169 + .5 b117 * b171 + .5 b117 * b176 + .5 b117 * b178 + .5 b117 * b179 + .5 b117 * b202 + .5 b117 * b203 + .5 b117 * b204 + .5 b117 * b211 + .5 b117 * b219 + .5 b117 * b221 + .5 b117 * b224 + .5 b117 * b230 + .5 b117 * b233 + .5 b117 * b234 + .5 b117 * b249 + .5 b117 * b266 + .5 b117 * b270 + .5 b117 * b272 + .5 b117 * b285 + .5 b117 * b286 + .5 b117 * b303 + .5 b117 * b306 + .5 b117 * b312 + .5 b117 * b317 + .5 b117 * b327 + .5 b117 * b329 + b117 * x451 + b118^2 + b118 * b175 + b118 * x438 + b119^2 + .5 b119 * b120 + b119 * b121 + .5 b119 * b127 + .5 b119 * b128 + b119 * b129 + .5 b119 * b130 + b119 * b136 + .5 b119 * b140 + .5 b119 * b144 + .5 b119 * b146 + .5 b119 * b163 + .5 b119 * b166 + .5 b119 * b173 + .5 b119 * b174 + .5 b119 * b177 + .5 b119 * b180 + .5 b119 * b185 + .5 b119 * b190 + .5 b119 * b192 + .5 b119 * b195 + .5 b119 * b196 + .5 b119 * b206 + .5 b119 * b207 + .5 b119 * b210 + .5 b119 * b212 + .5 b119 * b215 + .5 b119 * b217 + .5 b119 * b222 + .5 b119 * b227 + .5 b119 * b231 + .5 b119 * b232 + .5 b119 * b235 + .5 b119 * b236 + .5 b119 * b237 + .5 b119 * b238 + .5 b119 * b239 + .5 b119 * b241 + .5 b119 * b242 + .5 b119 * b243 + .5 b119 * b257 + .5 b119 * b261 + .5 b119 * b262 + .5 b119 * b271 + .5 b119 * b274 + .5 b119 * b276 + .5 b119 * b277 + .5 b119 * b279 + .5 b119 * b288 + .5 b119 * b293 + .5 b119 * b295 + .5 b119 * b296 + .5 b119 * b297 + .5 b119 * b307 + .5 b119 * b308 + .5 b119 * b310 + .5 b119 * b315 + .5 b119 * b318 + .5 b119 * b331 + .5 b119 * b334 + .5 b119 * b335 + .5 b119 * b336 + .5 b119 * b337 + .5 b119 * b339 + b119 * x450 + b120^2 + .5 b120 * b121 + b120 * b127 + b120 * b128 + .5 b120 * b129 + b120 * b130 + .5 b120 * b136 + b120 * b140 + .5 b120 * b146 + .5 b120 * b161 + .5 b120 * b163 + .5 b120 * b166 + .5 b120 * b172 + .5 b120 * b177 + .5 b120 * b180 + .5 b120 * b185 + .5 b120 * b188 + .5 b120 * b192 + .5 b120 * b195 + .5 b120 * b206 + .5 b120 * b207 + .5 b120 * b210 + .5 b120 * b213 + .5 b120 * b222 + .5 b120 * b227 + .5 b120 * b231 + .5 b120 * b235 + .5 b120 * b236 + .5 b120 * b238 + .5 b120 * b241 + .5 b120 * b242 + .5 b120 * b243 + .5 b120 * b246 + .5 b120 * b257 + .5 b120 * b261 + .5 b120 * b262 + .5 b120 * b271 + .5 b120 * b274 + .5 b120 * b275 + .5 b120 * b276 + .5 b120 * b277 + .5 b120 * b278 + .5 b120 * b279 + .5 b120 * b284 + .5 b120 * b288 + .5 b120 * b295 + .5 b120 * b296 + .5 b120 * b297 + .5 b120 * b300 + .5 b120 * b301 + .5 b120 * b307 + .5 b120 * b309 + .5 b120 * b310 + .5 b120 * b319 + .5 b120 * b324 + .5 b120 * b326 + .5 b120 * b331 + .5 b120 * b332 + .5 b120 * b334 + .5 b120 * b335 + .5 b120 * b336 + .5 b120 * b337 + .5 b120 * b339 + b121^2 + .5 b121 * b127 + .5 b121 * b128 + b121 * b129 + .5 b121 * b130 + b121 * b136 + .5 b121 * b140 + .5 b121 * b144 + .5 b121 * b146 + .5 b121 * b163 + .5 b121 * b166 + .5 b121 * b173 + .5 b121 * b174 + .5 b121 * b177 + .5 b121 * b180 + .5 b121 * b185 + .5 b121 * b190 + .5 b121 * b192 + .5 b121 * b195 + .5 b121 * b196 + .5 b121 * b206 + .5 b121 * b207 + .5 b121 * b210 + .5 b121 * b212 + .5 b121 * b215 + .5 b121 * b217 + .5 b121 * b222 + .5 b121 * b227 + .5 b121 * b231 + .5 b121 * b232 + .5 b121 * b235 + .5 b121 * b236 + .5 b121 * b237 + .5 b121 * b238 + .5 b121 * b239 + .5 b121 * b241 + .5 b121 * b242 + .5 b121 * b243 + .5 b121 * b257 + .5 b121 * b261 + .5 b121 * b262 + .5 b121 * b271 + .5 b121 * b274 + .5 b121 * b276 + .5 b121 * b277 + .5 b121 * b279 + .5 b121 * b288 + .5 b121 * b293 + .5 b121 * b295 + .5 b121 * b296 + .5 b121 * b297 + .5 b121 * b307 + .5 b121 * b308 + .5 b121 * b310 + .5 b121 * b315 + .5 b121 * b318 + .5 b121 * b331 + .5 b121 * b334 + .5 b121 * b335 + .5 b121 * b336 + .5 b121 * b337 + .5 b121 * b339 + b121 * x450 + b122^2 + b122 * b124 + b122 * b133 + b122 * b134 + .5 b122 * b149 + .5 b122 * b153 + .5 b122 * b155 + .5 b122 * b159 + .5 b122 * b160 + .5 b122 * b164 + .5 b122 * b168 + .5 b122 * b169 + .5 b122 * b171 + .5 b122 * b176 + .5 b122 * b178 + .5 b122 * b179 + .5 b122 * b202 + .5 b122 * b203 + .5 b122 * b204 + .5 b122 * b211 + .5 b122 * b219 + .5 b122 * b221 + .5 b122 * b224 + .5 b122 * b230 + .5 b122 * b233 + .5 b122 * b234 + .5 b122 * b249 + .5 b122 * b266 + .5 b122 * b270 + .5 b122 * b272 + .5 b122 * b285 + .5 b122 * b286 + .5 b122 * b303 + .5 b122 * b306 + .5 b122 * b312 + .5 b122 * b317 + .5 b122 * b327 + .5 b122 * b329 + b122 * x451 + b123^2 + b123 * b126 + b123 * b132 + b123 * x443 + b124^2 + b124 * b133 + b124 * b134 + .5 b124 * b149 + .5 b124 * b153 + .5 b124 * b155 + .5 b124 * b159 + .5 b124 * b160 + .5 b124 * b164 + .5 b124 * b168 + .5 b124 * b169 + .5 b124 * b171 + .5 b124 * b176 + .5 b124 * b178 + .5 b124 * b179 + .5 b124 * b202 + .5 b124 * b203 + .5 b124 * b204 + .5 b124 * b211 + .5 b124 * b219 + .5 b124 * b221 + .5 b124 * b224 + .5 b124 * b230 + .5 b124 * b233 + .5 b124 * b234 + .5 b124 * b249 + .5 b124 * b266 + .5 b124 * b270 + .5 b124 * b272 + .5 b124 * b285 + .5 b124 * b286 + .5 b124 * b303 + .5 b124 * b306 + .5 b124 * b312 + .5 b124 * b317 + .5 b124 * b327 + .5 b124 * b329 + b124 * x451 + b125^2 + b125 * x434 + b125 * x435 + b126^2 + b126 * b132 + b126 * x443 + b127^2 + b127 * b128 + .5 b127 * b129 + b127 * b130 + .5 b127 * b136 + b127 * b140 + .5 b127 * b146 + .5 b127 * b161 + .5 b127 * b163 + .5 b127 * b166 + .5 b127 * b172 + .5 b127 * b177 + .5 b127 * b180 + .5 b127 * b185 + .5 b127 * b188 + .5 b127 * b192 + .5 b127 * b195 + .5 b127 * b206 + .5 b127 * b207 + .5 b127 * b210 + .5 b127 * b213 + .5 b127 * b222 + .5 b127 * b227 + .5 b127 * b231 + .5 b127 * b235 + .5 b127 * b236 + .5 b127 * b238 + .5 b127 * b241 + .5 b127 * b242 + .5 b127 * b243 + .5 b127 * b246 + .5 b127 * b257 + .5 b127 * b261 + .5 b127 * b262 + .5 b127 * b271 + .5 b127 * b274 + .5 b127 * b275 + .5 b127 * b276 + .5 b127 * b277 + .5 b127 * b278 + .5 b127 * b279 + .5 b127 * b284 + .5 b127 * b288 + .5 b127 * b295 + .5 b127 * b296 + .5 b127 * b297 + .5 b127 * b300 + .5 b127 * b301 + .5 b127 * b307 + .5 b127 * b309 + .5 b127 * b310 + .5 b127 * b319 + .5 b127 * b324 + .5 b127 * b326 + .5 b127 * b331 + .5 b127 * b332 + .5 b127 * b334 + .5 b127 * b335 + .5 b127 * b336 + .5 b127 * b337 + .5 b127 * b339 + b128^2 + .5 b128 * b129 + b128 * b130 + .5 b128 * b136 + b128 * b140 + .5 b128 * b146 + .5 b128 * b161 + .5 b128 * b163 + .5 b128 * b166 + .5 b128 * b172 + .5 b128 * b177 + .5 b128 * b180 + .5 b128 * b185 + .5 b128 * b188 + .5 b128 * b192 + .5 b128 * b195 + .5 b128 * b206 + .5 b128 * b207 + .5 b128 * b210 + .5 b128 * b213 + .5 b128 * b222 + .5 b128 * b227 + .5 b128 * b231 + .5 b128 * b235 + .5 b128 * b236 + .5 b128 * b238 + .5 b128 * b241 + .5 b128 * b242 + .5 b128 * b243 + .5 b128 * b246 + .5 b128 * b257 + .5 b128 * b261 + .5 b128 * b262 + .5 b128 * b271 + .5 b128 * b274 + .5 b128 * b275 + .5 b128 * b276 + .5 b128 * b277 + .5 b128 * b278 + .5 b128 * b279 + .5 b128 * b284 + .5 b128 * b288 + .5 b128 * b295 + .5 b128 * b296 + .5 b128 * b297 + .5 b128 * b300 + .5 b128 * b301 + .5 b128 * b307 + .5 b128 * b309 + .5 b128 * b310 + .5 b128 * b319 + .5 b128 * b324 + .5 b128 * b326 + .5 b128 * b331 + .5 b128 * b332 + .5 b128 * b334 + .5 b128 * b335 + .5 b128 * b336 + .5 b128 * b337 + .5 b128 * b339 + b129^2 + .5 b129 * b130 + b129 * b136 + .5 b129 * b140 + .5 b129 * b144 + .5 b129 * b146 + .5 b129 * b163 + .5 b129 * b166 + .5 b129 * b173 + .5 b129 * b174 + .5 b129 * b177 + .5 b129 * b180 + .5 b129 * b185 + .5 b129 * b190 + .5 b129 * b192 + .5 b129 * b195 + .5 b129 * b196 + .5 b129 * b206 + .5 b129 * b207 + .5 b129 * b210 + .5 b129 * b212 + .5 b129 * b215 + .5 b129 * b217 + .5 b129 * b222 + .5 b129 * b227 + .5 b129 * b231 + .5 b129 * b232 + .5 b129 * b235 + .5 b129 * b236 + .5 b129 * b237 + .5 b129 * b238 + .5 b129 * b239 + .5 b129 * b241 + .5 b129 * b242 + .5 b129 * b243 + .5 b129 * b257 + .5 b129 * b261 + .5 b129 * b262 + .5 b129 * b271 + .5 b129 * b274 + .5 b129 * b276 + .5 b129 * b277 + .5 b129 * b279 + .5 b129 * b288 + .5 b129 * b293 + .5 b129 * b295 + .5 b129 * b296 + .5 b129 * b297 + .5 b129 * b307 + .5 b129 * b308 + .5 b129 * b310 + .5 b129 * b315 + .5 b129 * b318 + .5 b129 * b331 + .5 b129 * b334 + .5 b129 * b335 + .5 b129 * b336 + .5 b129 * b337 + .5 b129 * b339 + b129 * x450 + b130^2 + .5 b130 * b136 + b130 * b140 + .5 b130 * b146 + .5 b130 * b161 + .5 b130 * b163 + .5 b130 * b166 + .5 b130 * b172 + .5 b130 * b177 + .5 b130 * b180 + .5 b130 * b185 + .5 b130 * b188 + .5 b130 * b192 + .5 b130 * b195 + .5 b130 * b206 + .5 b130 * b207 + .5 b130 * b210 + .5 b130 * b213 + .5 b130 * b222 + .5 b130 * b227 + .5 b130 * b231 + .5 b130 * b235 + .5 b130 * b236 + .5 b130 * b238 + .5 b130 * b241 + .5 b130 * b242 + .5 b130 * b243 + .5 b130 * b246 + .5 b130 * b257 + .5 b130 * b261 + .5 b130 * b262 + .5 b130 * b271 + .5 b130 * b274 + .5 b130 * b275 + .5 b130 * b276 + .5 b130 * b277 + .5 b130 * b278 + .5 b130 * b279 + .5 b130 * b284 + .5 b130 * b288 + .5 b130 * b295 + .5 b130 * b296 + .5 b130 * b297 + .5 b130 * b300 + .5 b130 * b301 + .5 b130 * b307 + .5 b130 * b309 + .5 b130 * b310 + .5 b130 * b319 + .5 b130 * b324 + .5 b130 * b326 + .5 b130 * b331 + .5 b130 * b332 + .5 b130 * b334 + .5 b130 * b335 + .5 b130 * b336 + .5 b130 * b337 + .5 b130 * b339 + b131^2 + b131 * b135 + b131 * b137 + b131 * b138 + b131 * b141 + b132^2 + b132 * x443 + b133^2 + b133 * b134 + .5 b133 * b149 + .5 b133 * b153 + .5 b133 * b155 + .5 b133 * b159 + .5 b133 * b160 + .5 b133 * b164 + .5 b133 * b168 + .5 b133 * b169 + .5 b133 * b171 + .5 b133 * b176 + .5 b133 * b178 + .5 b133 * b179 + .5 b133 * b202 + .5 b133 * b203 + .5 b133 * b204 + .5 b133 * b211 + .5 b133 * b219 + .5 b133 * b221 + .5 b133 * b224 + .5 b133 * b230 + .5 b133 * b233 + .5 b133 * b234 + .5 b133 * b249 + .5 b133 * b266 + .5 b133 * b270 + .5 b133 * b272 + .5 b133 * b285 + .5 b133 * b286 + .5 b133 * b303 + .5 b133 * b306 + .5 b133 * b312 + .5 b133 * b317 + .5 b133 * b327 + .5 b133 * b329 + b133 * x451 + b134^2 + .5 b134 * b149 + .5 b134 * b153 + .5 b134 * b155 + .5 b134 * b159 + .5 b134 * b160 + .5 b134 * b164 + .5 b134 * b168 + .5 b134 * b169 + .5 b134 * b171 + .5 b134 * b176 + .5 b134 * b178 + .5 b134 * b179 + .5 b134 * b202 + .5 b134 * b203 + .5 b134 * b204 + .5 b134 * b211 + .5 b134 * b219 + .5 b134 * b221 + .5 b134 * b224 + .5 b134 * b230 + .5 b134 * b233 + .5 b134 * b234 + .5 b134 * b249 + .5 b134 * b266 + .5 b134 * b270 + .5 b134 * b272 + .5 b134 * b285 + .5 b134 * b286 + .5 b134 * b303 + .5 b134 * b306 + .5 b134 * b312 + .5 b134 * b317 + .5 b134 * b327 + .5 b134 * b329 + b134 * x451 + b135^2 + b135 * b137 + b135 * b138 + b135 * b141 + b136^2 + .5 b136 * b140 + .5 b136 * b144 + .5 b136 * b146 + .5 b136 * b163 + .5 b136 * b166 + .5 b136 * b173 + .5 b136 * b174 + .5 b136 * b177 + .5 b136 * b180 + .5 b136 * b185 + .5 b136 * b190 + .5 b136 * b192 + .5 b136 * b195 + .5 b136 * b196 + .5 b136 * b206 + .5 b136 * b207 + .5 b136 * b210 + .5 b136 * b212 + .5 b136 * b215 + .5 b136 * b217 + .5 b136 * b222 + .5 b136 * b227 + .5 b136 * b231 + .5 b136 * b232 + .5 b136 * b235 + .5 b136 * b236 + .5 b136 * b237 + .5 b136 * b238 + .5 b136 * b239 + .5 b136 * b241 + .5 b136 * b242 + .5 b136 * b243 + .5 b136 * b257 + .5 b136 * b261 + .5 b136 * b262 + .5 b136 * b271 + .5 b136 * b274 + .5 b136 * b276 + .5 b136 * b277 + .5 b136 * b279 + .5 b136 * b288 + .5 b136 * b293 + .5 b136 * b295 + .5 b136 * b296 + .5 b136 * b297 + .5 b136 * b307 + .5 b136 * b308 + .5 b136 * b310 + .5 b136 * b315 + .5 b136 * b318 + .5 b136 * b331 + .5 b136 * b334 + .5 b136 * b335 + .5 b136 * b336 + .5 b136 * b337 + .5 b136 * b339 + b136 * x450 + b137^2 + b137 * b138 + b137 * b141 + b138^2 + b138 * b141 + b139^2 + .5 b139 * b143 + .5 b139 * b153 + .5 b139 * b155 + .5 b139 * b168 + .5 b139 * b178 + .5 b139 * b179 + .5 b139 * b185 + .5 b139 * b193 + .5 b139 * b197 + .5 b139 * b199 + .5 b139 * b202 + .5 b139 * b203 + .5 b139 * b204 + .5 b139 * b216 + .5 b139 * b221 + .5 b139 * b225 + .5 b139 * b234 + .5 b139 * b246 + .5 b139 * b248 + .5 b139 * b249 + .5 b139 * b255 + .5 b139 * b261 + .5 b139 * b264 + .5 b139 * b266 + .5 b139 * b267 + .5 b139 * b269 + .5 b139 * b271 + .5 b139 * b272 + .5 b139 * b275 + .5 b139 * b279 + .5 b139 * b280 + .5 b139 * b286 + .5 b139 * b287 + .5 b139 * b289 + .5 b139 * b290 + .5 b139 * b294 + .5 b139 * b296 + .5 b139 * b314 + .5 b139 * b317 + .5 b139 * b318 + .5 b139 * b319 + .5 b139 * b321 + .5 b139 * b326 + .5 b139 * b328 + .5 b139 * b330 + .5 b139 * b332 + b139 * b340 + b139 * b341 + b139 * b342 + b139 * b343 + b139 * x452 + b140^2 + .5 b140 * b146 + .5 b140 * b161 + .5 b140 * b163 + .5 b140 * b166 + .5 b140 * b172 + .5 b140 * b177 + .5 b140 * b180 + .5 b140 * b185 + .5 b140 * b188 + .5 b140 * b192 + .5 b140 * b195 + .5 b140 * b206 + .5 b140 * b207 + .5 b140 * b210 + .5 b140 * b213 + .5 b140 * b222 + .5 b140 * b227 + .5 b140 * b231 + .5 b140 * b235 + .5 b140 * b236 + .5 b140 * b238 + .5 b140 * b241 + .5 b140 * b242 + .5 b140 * b243 + .5 b140 * b246 + .5 b140 * b257 + .5 b140 * b261 + .5 b140 * b262 + .5 b140 * b271 + .5 b140 * b274 + .5 b140 * b275 + .5 b140 * b276 + .5 b140 * b277 + .5 b140 * b278 + .5 b140 * b279 + .5 b140 * b284 + .5 b140 * b288 + .5 b140 * b295 + .5 b140 * b296 + .5 b140 * b297 + .5 b140 * b300 + .5 b140 * b301 + .5 b140 * b307 + .5 b140 * b309 + .5 b140 * b310 + .5 b140 * b319 + .5 b140 * b324 + .5 b140 * b326 + .5 b140 * b331 + .5 b140 * b332 + .5 b140 * b334 + .5 b140 * b335 + .5 b140 * b336 + .5 b140 * b337 + .5 b140 * b339 + b141^2 + b142^2 + .5 b142 * b147 + b142 * b150 + .5 b142 * b158 + .5 b142 * b162 + b142 * b165 + .5 b142 * b170 + .5 b142 * b181 + .5 b142 * b186 + .5 b142 * b187 + .5 b142 * b198 + .5 b142 * b201 + .5 b142 * b205 + .5 b142 * b223 + .5 b142 * b240 + .5 b142 * b251 + b142 * b258 + .5 b142 * b259 + .5 b142 * b260 + .5 b142 * b263 + .5 b142 * b268 + .5 b142 * b281 + .5 b142 * b282 + .5 b142 * b292 + .5 b142 * b304 + b142 * b320 + .5 b142 * b323 + .5 b142 * b325 + b142 * x453 + b142 * x454 + b143^2 + .5 b143 * b153 + .5 b143 * b155 + .5 b143 * b168 + .5 b143 * b179 + .5 b143 * b183 + .5 b143 * b185 + b143 * b197 + .5 b143 * b199 + .5 b143 * b203 + .5 b143 * b204 + .5 b143 * b246 + .5 b143 * b248 + .5 b143 * b249 + .5 b143 * b261 + .5 b143 * b264 + .5 b143 * b266 + b143 * b267 + .5 b143 * b269 + .5 b143 * b271 + .5 b143 * b275 + .5 b143 * b279 + .5 b143 * b280 + .5 b143 * b286 + .5 b143 * b287 + b143 * b290 + b143 * b294 + .5 b143 * b296 + .5 b143 * b314 + .5 b143 * b317 + .5 b143 * b319 + .5 b143 * b321 + .5 b143 * b326 + .5 b143 * b328 + .5 b143 * b330 + .5 b143 * b332 + .5 b143 * b340 + .5 b143 * b341 + .5 b143 * b342 + .5 b143 * b343 + b143 * x445 + b144^2 + .5 b144 * b161 + .5 b144 * b167 + .5 b144 * b172 + .5 b144 * b173 + .5 b144 * b174 + .5 b144 * b190 + .5 b144 * b194 + b144 * b196 + .5 b144 * b212 + .5 b144 * b215 + .5 b144 * b217 + b144 * b232 + b144 * b237 + .5 b144 * b239 + .5 b144 * b278 + .5 b144 * b293 + .5 b144 * b298 + .5 b144 * b301 + .5 b144 * b305 + b144 * b308 + .5 b144 * b311 + .5 b144 * b315 + .5 b144 * b318 + .5 b144 * b324 + b144 * x450 + b144 * x455 + b145^2 + .5 b145 * b148 + b145 * b156 + .5 b145 * b189 + .5 b145 * b198 + .5 b145 * b200 + .5 b145 * b201 + .5 b145 * b209 + b145 * b220 + .5 b145 * b256 + .5 b145 * b259 + b145 * b273 + .5 b145 * b281 + .5 b145 * b282 + .5 b145 * b283 + b145 * b291 + .5 b145 * b322 + b145 * x456 + b146^2 + b146 * b163 + .5 b146 * b164 + .5 b146 * b166 + .5 b146 * b171 + b146 * b177 + .5 b146 * b180 + .5 b146 * b185 + .5 b146 * b192 + b146 * b195 + .5 b146 * b206 + .5 b146 * b207 + .5 b146 * b210 + .5 b146 * b222 + b146 * b227 + .5 b146 * b230 + .5 b146 * b231 + .5 b146 * b235 + .5 b146 * b236 + .5 b146 * b238 + .5 b146 * b241 + .5 b146 * b242 + .5 b146 * b243 + .5 b146 * b257 + .5 b146 * b261 + .5 b146 * b262 + .5 b146 * b271 + .5 b146 * b274 + .5 b146 * b276 + .5 b146 * b277 + .5 b146 * b279 + .5 b146 * b288 + .5 b146 * b295 + .5 b146 * b296 + .5 b146 * b297 + .5 b146 * b307 + .5 b146 * b310 + .5 b146 * b331 + .5 b146 * b334 + .5 b146 * b335 + .5 b146 * b336 + .5 b146 * b337 + .5 b146 * b339 + b146 * x457 + b147^2 + .5 b147 * b150 + .5 b147 * b151 + .5 b147 * b152 + .5 b147 * b154 + .5 b147 * b157 + .5 b147 * b162 + .5 b147 * b165 + .5 b147 * b167 + .5 b147 * b170 + b147 * b181 + .5 b147 * b182 + .5 b147 * b184 + b147 * b186 + .5 b147 * b191 + .5 b147 * b193 + .5 b147 * b194 + .5 b147 * b198 + .5 b147 * b201 + .5 b147 * b216 + .5 b147 * b218 + b147 * b223 + .5 b147 * b225 + .5 b147 * b226 + .5 b147 * b229 + .5 b147 * b245 + .5 b147 * b250 + .5 b147 * b251 + .5 b147 * b252 + .5 b147 * b254 + .5 b147 * b255 + .5 b147 * b258 + .5 b147 * b259 + .5 b147 * b265 + .5 b147 * b268 + .5 b147 * b281 + .5 b147 * b282 + .5 b147 * b289 + .5 b147 * b292 + .5 b147 * b298 + .5 b147 * b299 + .5 b147 * b302 + .5 b147 * b305 + .5 b147 * b311 + .5 b147 * b316 + .5 b147 * b320 + b147 * b323 + .5 b147 * b325 + .5 b147 * b333 + .5 b147 * b338 + b147 * x454 + b148^2 + .5 b148 * b156 + .5 b148 * b220 + .5 b148 * b273 + .5 b148 * b291 + b148 * x456 + b148 * x458 + b149^2 + .5 b149 * b153 + .5 b149 * b159 + b149 * b160 + .5 b149 * b164 + .5 b149 * b168 + .5 b149 * b169 + .5 b149 * b171 + .5 b149 * b176 + .5 b149 * b203 + .5 b149 * b204 + b149 * b211 + .5 b149 * b224 + .5 b149 * b230 + b149 * b233 + .5 b149 * b270 + .5 b149 * b285 + .5 b149 * b303 + .5 b149 * b306 + .5 b149 * b312 + .5 b149 * b317 + .5 b149 * b327 + .5 b149 * b329 + b149 * x459 + b150^2 + .5 b150 * b158 + .5 b150 * b162 + b150 * b165 + .5 b150 * b170 + .5 b150 * b181 + .5 b150 * b186 + .5 b150 * b187 + .5 b150 * b198 + .5 b150 * b201 + .5 b150 * b205 + .5 b150 * b223 + .5 b150 * b240 + .5 b150 * b251 + b150 * b258 + .5 b150 * b259 + .5 b150 * b260 + .5 b150 * b263 + .5 b150 * b268 + .5 b150 * b281 + .5 b150 * b282 + .5 b150 * b292 + .5 b150 * b304 + b150 * b320 + .5 b150 * b323 + .5 b150 * b325 + b150 * x453 + b150 * x454 + b151^2 + .5 b151 * b152 + .5 b151 * b154 + .5 b151 * b157 + .5 b151 * b167 + .5 b151 * b181 + .5 b151 * b182 + .5 b151 * b184 + .5 b151 * b186 + .5 b151 * b187 + .5 b151 * b190 + .5 b151 * b191 + .5 b151 * b193 + .5 b151 * b194 + .5 b151 * b212 + .5 b151 * b215 + .5 b151 * b216 + .5 b151 * b217 + b151 * b218 + .5 b151 * b223 + .5 b151 * b225 + .5 b151 * b226 + .5 b151 * b229 + b151 * b245 + .5 b151 * b250 + .5 b151 * b252 + .5 b151 * b254 + .5 b151 * b255 + .5 b151 * b265 + .5 b151 * b289 + .5 b151 * b298 + .5 b151 * b299 + .5 b151 * b302 + .5 b151 * b305 + .5 b151 * b311 + .5 b151 * b315 + b151 * b316 + .5 b151 * b323 + .5 b151 * b333 + b151 * b338 + b151 * x460 + b152^2 + .5 b152 * b154 + b152 * b157 + .5 b152 * b167 + .5 b152 * b181 + .5 b152 * b182 + .5 b152 * b184 + .5 b152 * b186 + .5 b152 * b191 + .5 b152 * b193 + .5 b152 * b194 + .5 b152 * b216 + .5 b152 * b218 + .5 b152 * b223 + .5 b152 * b225 + b152 * b226 + .5 b152 * b229 + .5 b152 * b245 + .5 b152 * b250 + .5 b152 * b252 + .5 b152 * b254 + .5 b152 * b255 + b152 * b265 + .5 b152 * b289 + .5 b152 * b298 + .5 b152 * b299 + .5 b152 * b302 + .5 b152 * b305 + .5 b152 * b311 + .5 b152 * b316 + .5 b152 * b323 + b152 * b333 + .5 b152 * b338 + b152 * x461 + b153^2 + .5 b153 * b155 + .5 b153 * b159 + .5 b153 * b160 + .5 b153 * b164 + b153 * b168 + .5 b153 * b169 + .5 b153 * b171 + .5 b153 * b176 + .5 b153 * b179 + .5 b153 * b185 + .5 b153 * b197 + .5 b153 * b199 + b153 * b203 + b153 * b204 + .5 b153 * b211 + .5 b153 * b224 + .5 b153 * b230 + .5 b153 * b233 + .5 b153 * b246 + .5 b153 * b248 + .5 b153 * b249 + .5 b153 * b261 + .5 b153 * b264 + .5 b153 * b266 + .5 b153 * b267 + .5 b153 * b269 + .5 b153 * b270 + .5 b153 * b271 + .5 b153 * b275 + .5 b153 * b279 + .5 b153 * b280 + .5 b153 * b285 + .5 b153 * b286 + .5 b153 * b287 + .5 b153 * b290 + .5 b153 * b294 + .5 b153 * b296 + .5 b153 * b303 + .5 b153 * b306 + .5 b153 * b312 + .5 b153 * b314 + b153 * b317 + .5 b153 * b319 + .5 b153 * b321 + .5 b153 * b326 + .5 b153 * b327 + .5 b153 * b328 + .5 b153 * b329 + .5 b153 * b330 + .5 b153 * b332 + .5 b153 * b340 + .5 b153 * b341 + .5 b153 * b342 + .5 b153 * b343 + b154^2 + .5 b154 * b157 + .5 b154 * b167 + .5 b154 * b181 + .5 b154 * b182 + b154 * b184 + .5 b154 * b186 + .5 b154 * b189 + b154 * b191 + .5 b154 * b193 + .5 b154 * b194 + .5 b154 * b200 + .5 b154 * b205 + .5 b154 * b208 + .5 b154 * b209 + .5 b154 * b216 + .5 b154 * b218 + .5 b154 * b223 + .5 b154 * b225 + .5 b154 * b226 + .5 b154 * b228 + b154 * b229 + .5 b154 * b244 + .5 b154 * b245 + .5 b154 * b250 + .5 b154 * b252 + .5 b154 * b253 + .5 b154 * b254 + .5 b154 * b255 + .5 b154 * b256 + .5 b154 * b260 + .5 b154 * b265 + .5 b154 * b289 + .5 b154 * b298 + b154 * b299 + .5 b154 * b302 + .5 b154 * b305 + .5 b154 * b311 + .5 b154 * b313 + .5 b154 * b316 + .5 b154 * b322 + .5 b154 * b323 + .5 b154 * b333 + .5 b154 * b338 + b154 * x462 + b155^2 + .5 b155 * b168 + .5 b155 * b178 + b155 * b179 + .5 b155 * b185 + .5 b155 * b197 + .5 b155 * b199 + .5 b155 * b202 + .5 b155 * b203 + .5 b155 * b204 + .5 b155 * b219 + .5 b155 * b221 + .5 b155 * b234 + .5 b155 * b246 + .5 b155 * b248 + b155 * b249 + .5 b155 * b261 + .5 b155 * b264 + b155 * b266 + .5 b155 * b267 + .5 b155 * b269 + .5 b155 * b271 + .5 b155 * b272 + .5 b155 * b275 + .5 b155 * b279 + .5 b155 * b280 + b155 * b286 + .5 b155 * b287 + .5 b155 * b290 + .5 b155 * b294 + .5 b155 * b296 + .5 b155 * b314 + .5 b155 * b317 + .5 b155 * b319 + .5 b155 * b321 + .5 b155 * b326 + .5 b155 * b328 + .5 b155 * b330 + .5 b155 * b332 + .5 b155 * b340 + .5 b155 * b341 + .5 b155 * b342 + .5 b155 * b343 + b155 * x451 + b156^2 + .5 b156 * b189 + .5 b156 * b198 + .5 b156 * b200 + .5 b156 * b201 + .5 b156 * b209 + b156 * b220 + .5 b156 * b256 + .5 b156 * b259 + b156 * b273 + .5 b156 * b281 + .5 b156 * b282 + .5 b156 * b283 + b156 * b291 + .5 b156 * b322 + b156 * x456 + b157^2 + .5 b157 * b167 + .5 b157 * b181 + .5 b157 * b182 + .5 b157 * b184 + .5 b157 * b186 + .5 b157 * b191 + .5 b157 * b193 + .5 b157 * b194 + .5 b157 * b216 + .5 b157 * b218 + .5 b157 * b223 + .5 b157 * b225 + b157 * b226 + .5 b157 * b229 + .5 b157 * b245 + .5 b157 * b250 + .5 b157 * b252 + .5 b157 * b254 + .5 b157 * b255 + b157 * b265 + .5 b157 * b289 + .5 b157 * b298 + .5 b157 * b299 + .5 b157 * b302 + .5 b157 * b305 + .5 b157 * b311 + .5 b157 * b316 + .5 b157 * b323 + b157 * b333 + .5 b157 * b338 + b157 * x461 + b158^2 + .5 b158 * b165 + .5 b158 * b173 + .5 b158 * b174 + .5 b158 * b182 + .5 b158 * b187 + .5 b158 * b205 + .5 b158 * b214 + .5 b158 * b239 + b158 * b240 + .5 b158 * b247 + .5 b158 * b250 + .5 b158 * b252 + .5 b158 * b254 + .5 b158 * b258 + .5 b158 * b260 + b158 * b263 + .5 b158 * b293 + .5 b158 * b302 + b158 * b304 + .5 b158 * b320 + b158 * x453 + b158 * x463 + b159^2 + .5 b159 * b160 + .5 b159 * b164 + .5 b159 * b168 + b159 * b169 + .5 b159 * b171 + b159 * b176 + .5 b159 * b203 + .5 b159 * b204 + .5 b159 * b206 + .5 b159 * b211 + .5 b159 * b224 + .5 b159 * b230 + .5 b159 * b233 + b159 * b270 + .5 b159 * b285 + .5 b159 * b288 + .5 b159 * b295 + .5 b159 * b297 + .5 b159 * b303 + .5 b159 * b306 + .5 b159 * b310 + .5 b159 * b312 + .5 b159 * b317 + .5 b159 * b327 + b159 * b329 + b159 * x464 + b160^2 + .5 b160 * b164 + .5 b160 * b168 + .5 b160 * b169 + .5 b160 * b171 + .5 b160 * b176 + .5 b160 * b203 + .5 b160 * b204 + b160 * b211 + .5 b160 * b224 + .5 b160 * b230 + b160 * b233 + .5 b160 * b270 + .5 b160 * b285 + .5 b160 * b303 + .5 b160 * b306 + .5 b160 * b312 + .5 b160 * b317 + .5 b160 * b327 + .5 b160 * b329 + b160 * x459 + b161^2 + .5 b161 * b167 + b161 * b172 + .5 b161 * b188 + .5 b161 * b194 + .5 b161 * b196 + .5 b161 * b213 + .5 b161 * b232 + .5 b161 * b237 + .5 b161 * b246 + .5 b161 * b275 + b161 * b278 + .5 b161 * b284 + .5 b161 * b298 + .5 b161 * b300 + b161 * b301 + .5 b161 * b305 + .5 b161 * b308 + .5 b161 * b309 + .5 b161 * b311 + .5 b161 * b319 + b161 * b324 + .5 b161 * b326 + .5 b161 * b332 + b161 * x455 + b162^2 + .5 b162 * b165 + b162 * b170 + .5 b162 * b181 + .5 b162 * b186 + .5 b162 * b198 + .5 b162 * b201 + .5 b162 * b208 + .5 b162 * b223 + .5 b162 * b228 + .5 b162 * b244 + .5 b162 * b247 + b162 * b251 + .5 b162 * b253 + .5 b162 * b258 + .5 b162 * b259 + b162 * b268 + .5 b162 * b281 + .5 b162 * b282 + b162 * b292 + .5 b162 * b313 + .5 b162 * b320 + .5 b162 * b323 + .5 b162 * b325 + b162 * x454 + b162 * x465 + b163^2 + .5 b163 * b164 + .5 b163 * b166 + .5 b163 * b171 + b163 * b177 + .5 b163 * b180 + .5 b163 * b185 + .5 b163 * b192 + b163 * b195 + .5 b163 * b206 + .5 b163 * b207 + .5 b163 * b210 + .5 b163 * b222 + b163 * b227 + .5 b163 * b230 + .5 b163 * b231 + .5 b163 * b235 + .5 b163 * b236 + .5 b163 * b238 + .5 b163 * b241 + .5 b163 * b242 + .5 b163 * b243 + .5 b163 * b257 + .5 b163 * b261 + .5 b163 * b262 + .5 b163 * b271 + .5 b163 * b274 + .5 b163 * b276 + .5 b163 * b277 + .5 b163 * b279 + .5 b163 * b288 + .5 b163 * b295 + .5 b163 * b296 + .5 b163 * b297 + .5 b163 * b307 + .5 b163 * b310 + .5 b163 * b331 + .5 b163 * b334 + .5 b163 * b335 + .5 b163 * b336 + .5 b163 * b337 + .5 b163 * b339 + b163 * x457 + b164^2 + .5 b164 * b168 + .5 b164 * b169 + b164 * b171 + .5 b164 * b176 + .5 b164 * b177 + .5 b164 * b195 + .5 b164 * b203 + .5 b164 * b204 + .5 b164 * b211 + .5 b164 * b224 + .5 b164 * b227 + b164 * b230 + .5 b164 * b233 + .5 b164 * b270 + .5 b164 * b285 + .5 b164 * b303 + .5 b164 * b306 + .5 b164 * b312 + .5 b164 * b317 + .5 b164 * b327 + .5 b164 * b329 + b164 * x457 + b165^2 + .5 b165 * b170 + .5 b165 * b181 + .5 b165 * b186 + .5 b165 * b187 + .5 b165 * b198 + .5 b165 * b201 + .5 b165 * b205 + .5 b165 * b223 + .5 b165 * b240 + .5 b165 * b251 + b165 * b258 + .5 b165 * b259 + .5 b165 * b260 + .5 b165 * b263 + .5 b165 * b268 + .5 b165 * b281 + .5 b165 * b282 + .5 b165 * b292 + .5 b165 * b304 + b165 * b320 + .5 b165 * b323 + .5 b165 * b325 + b165 * x453 + b165 * x454 + b166^2 + .5 b166 * b177 + b166 * b180 + .5 b166 * b185 + .5 b166 * b192 + .5 b166 * b195 + .5 b166 * b206 + b166 * b207 + .5 b166 * b210 + .5 b166 * b222 + .5 b166 * b224 + .5 b166 * b227 + .5 b166 * b231 + .5 b166 * b235 + .5 b166 * b236 + .5 b166 * b238 + .5 b166 * b241 + .5 b166 * b242 + .5 b166 * b243 + .5 b166 * b257 + .5 b166 * b261 + .5 b166 * b262 + .5 b166 * b271 + .5 b166 * b274 + b166 * b276 + .5 b166 * b277 + .5 b166 * b279 + .5 b166 * b288 + .5 b166 * b295 + .5 b166 * b296 + .5 b166 * b297 + .5 b166 * b307 + .5 b166 * b310 + .5 b166 * b331 + .5 b166 * b334 + b166 * b335 + .5 b166 * b336 + .5 b166 * b337 + .5 b166 * b339 + b166 * x466 + b167^2 + .5 b167 * b172 + .5 b167 * b181 + .5 b167 * b182 + .5 b167 * b184 + .5 b167 * b186 + .5 b167 * b191 + .5 b167 * b193 + b167 * b194 + .5 b167 * b196 + .5 b167 * b216 + .5 b167 * b218 + .5 b167 * b223 + .5 b167 * b225 + .5 b167 * b226 + .5 b167 * b229 + .5 b167 * b232 + .5 b167 * b237 + .5 b167 * b245 + .5 b167 * b250 + .5 b167 * b252 + .5 b167 * b254 + .5 b167 * b255 + .5 b167 * b265 + .5 b167 * b278 + .5 b167 * b289 + b167 * b298 + .5 b167 * b299 + .5 b167 * b301 + .5 b167 * b302 + b167 * b305 + .5 b167 * b308 + b167 * b311 + .5 b167 * b316 + .5 b167 * b323 + .5 b167 * b324 + .5 b167 * b333 + .5 b167 * b338 + b167 * x455 + b168^2 + .5 b168 * b169 + .5 b168 * b171 + .5 b168 * b176 + .5 b168 * b179 + .5 b168 * b185 + .5 b168 * b197 + .5 b168 * b199 + b168 * b203 + b168 * b204 + .5 b168 * b211 + .5 b168 * b224 + .5 b168 * b230 + .5 b168 * b233 + .5 b168 * b246 + .5 b168 * b248 + .5 b168 * b249 + .5 b168 * b261 + .5 b168 * b264 + .5 b168 * b266 + .5 b168 * b267 + .5 b168 * b269 + .5 b168 * b270 + .5 b168 * b271 + .5 b168 * b275 + .5 b168 * b279 + .5 b168 * b280 + .5 b168 * b285 + .5 b168 * b286 + .5 b168 * b287 + .5 b168 * b290 + .5 b168 * b294 + .5 b168 * b296 + .5 b168 * b303 + .5 b168 * b306 + .5 b168 * b312 + .5 b168 * b314 + b168 * b317 + .5 b168 * b319 + .5 b168 * b321 + .5 b168 * b326 + .5 b168 * b327 + .5 b168 * b328 + .5 b168 * b329 + .5 b168 * b330 + .5 b168 * b332 + .5 b168 * b340 + .5 b168 * b341 + .5 b168 * b342 + .5 b168 * b343 + b169^2 + .5 b169 * b171 + b169 * b176 + .5 b169 * b203 + .5 b169 * b204 + .5 b169 * b206 + .5 b169 * b211 + .5 b169 * b224 + .5 b169 * b230 + .5 b169 * b233 + b169 * b270 + .5 b169 * b285 + .5 b169 * b288 + .5 b169 * b295 + .5 b169 * b297 + .5 b169 * b303 + .5 b169 * b306 + .5 b169 * b310 + .5 b169 * b312 + .5 b169 * b317 + .5 b169 * b327 + b169 * b329 + b169 * x464 + b170^2 + .5 b170 * b181 + .5 b170 * b186 + .5 b170 * b198 + .5 b170 * b201 + .5 b170 * b208 + .5 b170 * b223 + .5 b170 * b228 + .5 b170 * b244 + .5 b170 * b247 + b170 * b251 + .5 b170 * b253 + .5 b170 * b258 + .5 b170 * b259 + b170 * b268 + .5 b170 * b281 + .5 b170 * b282 + b170 * b292 + .5 b170 * b313 + .5 b170 * b320 + .5 b170 * b323 + .5 b170 * b325 + b170 * x454 + b170 * x465 + b171^2 + .5 b171 * b176 + .5 b171 * b177 + .5 b171 * b195 + .5 b171 * b203 + .5 b171 * b204 + .5 b171 * b211 + .5 b171 * b224 + .5 b171 * b227 + b171 * b230 + .5 b171 * b233 + .5 b171 * b270 + .5 b171 * b285 + .5 b171 * b303 + .5 b171 * b306 + .5 b171 * b312 + .5 b171 * b317 + .5 b171 * b327 + .5 b171 * b329 + b171 * x457 + b172^2 + .5 b172 * b188 + .5 b172 * b194 + .5 b172 * b196 + .5 b172 * b213 + .5 b172 * b232 + .5 b172 * b237 + .5 b172 * b246 + .5 b172 * b275 + b172 * b278 + .5 b172 * b284 + .5 b172 * b298 + .5 b172 * b300 + b172 * b301 + .5 b172 * b305 + .5 b172 * b308 + .5 b172 * b309 + .5 b172 * b311 + .5 b172 * b319 + b172 * b324 + .5 b172 * b326 + .5 b172 * b332 + b172 * x455 + b173^2 + b173 * b174 + .5 b173 * b182 + .5 b173 * b190 + .5 b173 * b196 + .5 b173 * b212 + .5 b173 * b214 + .5 b173 * b215 + .5 b173 * b217 + .5 b173 * b232 + .5 b173 * b237 + b173 * b239 + .5 b173 * b240 + .5 b173 * b247 + .5 b173 * b250 + .5 b173 * b252 + .5 b173 * b254 + .5 b173 * b263 + b173 * b293 + .5 b173 * b302 + .5 b173 * b304 + .5 b173 * b308 + .5 b173 * b315 + .5 b173 * b318 + b173 * x450 + b173 * x463 + b174^2 + .5 b174 * b182 + .5 b174 * b190 + .5 b174 * b196 + .5 b174 * b212 + .5 b174 * b214 + .5 b174 * b215 + .5 b174 * b217 + .5 b174 * b232 + .5 b174 * b237 + b174 * b239 + .5 b174 * b240 + .5 b174 * b247 + .5 b174 * b250 + .5 b174 * b252 + .5 b174 * b254 + .5 b174 * b263 + b174 * b293 + .5 b174 * b302 + .5 b174 * b304 + .5 b174 * b308 + .5 b174 * b315 + .5 b174 * b318 + b174 * x450 + b174 * x463 + b175^2 + b175 * x438 + b176^2 + .5 b176 * b203 + .5 b176 * b204 + .5 b176 * b206 + .5 b176 * b211 + .5 b176 * b224 + .5 b176 * b230 + .5 b176 * b233 + b176 * b270 + .5 b176 * b285 + .5 b176 * b288 + .5 b176 * b295 + .5 b176 * b297 + .5 b176 * b303 + .5 b176 * b306 + .5 b176 * b310 + .5 b176 * b312 + .5 b176 * b317 + .5 b176 * b327 + b176 * b329 + b176 * x464 + b177^2 + .5 b177 * b180 + .5 b177 * b185 + .5 b177 * b192 + b177 * b195 + .5 b177 * b206 + .5 b177 * b207 + .5 b177 * b210 + .5 b177 * b222 + b177 * b227 + .5 b177 * b230 + .5 b177 * b231 + .5 b177 * b235 + .5 b177 * b236 + .5 b177 * b238 + .5 b177 * b241 + .5 b177 * b242 + .5 b177 * b243 + .5 b177 * b257 + .5 b177 * b261 + .5 b177 * b262 + .5 b177 * b271 + .5 b177 * b274 + .5 b177 * b276 + .5 b177 * b277 + .5 b177 * b279 + .5 b177 * b288 + .5 b177 * b295 + .5 b177 * b296 + .5 b177 * b297 + .5 b177 * b307 + .5 b177 * b310 + .5 b177 * b331 + .5 b177 * b334 + .5 b177 * b335 + .5 b177 * b336 + .5 b177 * b337 + .5 b177 * b339 + b177 * x457 + b178^2 + .5 b178 * b179 + .5 b178 * b193 + b178 * b202 + .5 b178 * b216 + .5 b178 * b219 + b178 * b221 + .5 b178 * b225 + b178 * b234 + .5 b178 * b249 + .5 b178 * b255 + .5 b178 * b266 + b178 * b272 + .5 b178 * b286 + .5 b178 * b289 + .5 b178 * b318 + .5 b178 * b340 + .5 b178 * b341 + .5 b178 * b342 + .5 b178 * b343 + b178 * x451 + b178 * x452 + b179^2 + .5 b179 * b185 + .5 b179 * b197 + .5 b179 * b199 + .5 b179 * b202 + .5 b179 * b203 + .5 b179 * b204 + .5 b179 * b219 + .5 b179 * b221 + .5 b179 * b234 + .5 b179 * b246 + .5 b179 * b248 + b179 * b249 + .5 b179 * b261 + .5 b179 * b264 + b179 * b266 + .5 b179 * b267 + .5 b179 * b269 + .5 b179 * b271 + .5 b179 * b272 + .5 b179 * b275 + .5 b179 * b279 + .5 b179 * b280 + b179 * b286 + .5 b179 * b287 + .5 b179 * b290 + .5 b179 * b294 + .5 b179 * b296 + .5 b179 * b314 + .5 b179 * b317 + .5 b179 * b319 + .5 b179 * b321 + .5 b179 * b326 + .5 b179 * b328 + .5 b179 * b330 + .5 b179 * b332 + .5 b179 * b340 + .5 b179 * b341 + .5 b179 * b342 + .5 b179 * b343 + b179 * x451 + b180^2 + .5 b180 * b185 + .5 b180 * b192 + .5 b180 * b195 + .5 b180 * b206 + b180 * b207 + .5 b180 * b210 + .5 b180 * b222 + .5 b180 * b224 + .5 b180 * b227 + .5 b180 * b231 + .5 b180 * b235 + .5 b180 * b236 + .5 b180 * b238 + .5 b180 * b241 + .5 b180 * b242 + .5 b180 * b243 + .5 b180 * b257 + .5 b180 * b261 + .5 b180 * b262 + .5 b180 * b271 + .5 b180 * b274 + b180 * b276 + .5 b180 * b277 + .5 b180 * b279 + .5 b180 * b288 + .5 b180 * b295 + .5 b180 * b296 + .5 b180 * b297 + .5 b180 * b307 + .5 b180 * b310 + .5 b180 * b331 + .5 b180 * b334 + b180 * b335 + .5 b180 * b336 + .5 b180 * b337 + .5 b180 * b339 + b180 * x466 + b181^2 + .5 b181 * b182 + .5 b181 * b184 + b181 * b186 + .5 b181 * b191 + .5 b181 * b193 + .5 b181 * b194 + .5 b181 * b198 + .5 b181 * b201 + .5 b181 * b216 + .5 b181 * b218 + b181 * b223 + .5 b181 * b225 + .5 b181 * b226 + .5 b181 * b229 + .5 b181 * b245 + .5 b181 * b250 + .5 b181 * b251 + .5 b181 * b252 + .5 b181 * b254 + .5 b181 * b255 + .5 b181 * b258 + .5 b181 * b259 + .5 b181 * b265 + .5 b181 * b268 + .5 b181 * b281 + .5 b181 * b282 + .5 b181 * b289 + .5 b181 * b292 + .5 b181 * b298 + .5 b181 * b299 + .5 b181 * b302 + .5 b181 * b305 + .5 b181 * b311 + .5 b181 * b316 + .5 b181 * b320 + b181 * b323 + .5 b181 * b325 + .5 b181 * b333 + .5 b181 * b338 + b181 * x454 + b182^2 + .5 b182 * b184 + .5 b182 * b186 + .5 b182 * b191 + .5 b182 * b193 + .5 b182 * b194 + .5 b182 * b214 + .5 b182 * b216 + .5 b182 * b218 + .5 b182 * b223 + .5 b182 * b225 + .5 b182 * b226 + .5 b182 * b229 + .5 b182 * b239 + .5 b182 * b240 + .5 b182 * b245 + .5 b182 * b247 + b182 * b250 + b182 * b252 + b182 * b254 + .5 b182 * b255 + .5 b182 * b263 + .5 b182 * b265 + .5 b182 * b289 + .5 b182 * b293 + .5 b182 * b298 + .5 b182 * b299 + b182 * b302 + .5 b182 * b304 + .5 b182 * b305 + .5 b182 * b311 + .5 b182 * b316 + .5 b182 * b323 + .5 b182 * b333 + .5 b182 * b338 + b182 * x463 + b183^2 + .5 b183 * b188 + .5 b183 * b197 + .5 b183 * b210 + .5 b183 * b213 + .5 b183 * b219 + .5 b183 * b222 + .5 b183 * b238 + .5 b183 * b257 + .5 b183 * b267 + .5 b183 * b284 + .5 b183 * b285 + .5 b183 * b290 + .5 b183 * b294 + .5 b183 * b300 + .5 b183 * b303 + .5 b183 * b306 + .5 b183 * b309 + .5 b183 * b312 + .5 b183 * b327 + .5 b183 * b334 + b183 * x445 + b183 * x467 + b184^2 + .5 b184 * b186 + .5 b184 * b189 + b184 * b191 + .5 b184 * b193 + .5 b184 * b194 + .5 b184 * b200 + .5 b184 * b205 + .5 b184 * b208 + .5 b184 * b209 + .5 b184 * b216 + .5 b184 * b218 + .5 b184 * b223 + .5 b184 * b225 + .5 b184 * b226 + .5 b184 * b228 + b184 * b229 + .5 b184 * b244 + .5 b184 * b245 + .5 b184 * b250 + .5 b184 * b252 + .5 b184 * b253 + .5 b184 * b254 + .5 b184 * b255 + .5 b184 * b256 + .5 b184 * b260 + .5 b184 * b265 + .5 b184 * b289 + .5 b184 * b298 + b184 * b299 + .5 b184 * b302 + .5 b184 * b305 + .5 b184 * b311 + .5 b184 * b313 + .5 b184 * b316 + .5 b184 * b322 + .5 b184 * b323 + .5 b184 * b333 + .5 b184 * b338 + b184 * x462 + b185^2 + .5 b185 * b192 + .5 b185 * b195 + .5 b185 * b197 + .5 b185 * b199 + .5 b185 * b203 + .5 b185 * b204 + .5 b185 * b206 + .5 b185 * b207 + .5 b185 * b210 + .5 b185 * b222 + .5 b185 * b227 + .5 b185 * b231 + .5 b185 * b235 + .5 b185 * b236 + .5 b185 * b238 + .5 b185 * b241 + .5 b185 * b242 + .5 b185 * b243 + .5 b185 * b246 + .5 b185 * b248 + .5 b185 * b249 + .5 b185 * b257 + b185 * b261 + .5 b185 * b262 + .5 b185 * b264 + .5 b185 * b266 + .5 b185 * b267 + .5 b185 * b269 + b185 * b271 + .5 b185 * b274 + .5 b185 * b275 + .5 b185 * b276 + .5 b185 * b277 + b185 * b279 + .5 b185 * b280 + .5 b185 * b286 + .5 b185 * b287 + .5 b185 * b288 + .5 b185 * b290 + .5 b185 * b294 + .5 b185 * b295 + b185 * b296 + .5 b185 * b297 + .5 b185 * b307 + .5 b185 * b310 + .5 b185 * b314 + .5 b185 * b317 + .5 b185 * b319 + .5 b185 * b321 + .5 b185 * b326 + .5 b185 * b328 + .5 b185 * b330 + .5 b185 * b331 + .5 b185 * b332 + .5 b185 * b334 + .5 b185 * b335 + .5 b185 * b336 + .5 b185 * b337 + .5 b185 * b339 + .5 b185 * b340 + .5 b185 * b341 + .5 b185 * b342 + .5 b185 * b343 + b186^2 + .5 b186 * b191 + .5 b186 * b193 + .5 b186 * b194 + .5 b186 * b198 + .5 b186 * b201 + .5 b186 * b216 + .5 b186 * b218 + b186 * b223 + .5 b186 * b225 + .5 b186 * b226 + .5 b186 * b229 + .5 b186 * b245 + .5 b186 * b250 + .5 b186 * b251 + .5 b186 * b252 + .5 b186 * b254 + .5 b186 * b255 + .5 b186 * b258 + .5 b186 * b259 + .5 b186 * b265 + .5 b186 * b268 + .5 b186 * b281 + .5 b186 * b282 + .5 b186 * b289 + .5 b186 * b292 + .5 b186 * b298 + .5 b186 * b299 + .5 b186 * b302 + .5 b186 * b305 + .5 b186 * b311 + .5 b186 * b316 + .5 b186 * b320 + b186 * b323 + .5 b186 * b325 + .5 b186 * b333 + .5 b186 * b338 + b186 * x454 + b187^2 + .5 b187 * b190 + .5 b187 * b205 + .5 b187 * b212 + .5 b187 * b215 + .5 b187 * b217 + .5 b187 * b218 + .5 b187 * b240 + .5 b187 * b245 + .5 b187 * b258 + .5 b187 * b260 + .5 b187 * b263 + .5 b187 * b304 + .5 b187 * b315 + .5 b187 * b316 + .5 b187 * b320 + .5 b187 * b338 + b187 * x453 + b187 * x460 + b188^2 + .5 b188 * b210 + b188 * b213 + .5 b188 * b219 + .5 b188 * b222 + .5 b188 * b238 + .5 b188 * b246 + .5 b188 * b257 + .5 b188 * b275 + .5 b188 * b278 + b188 * b284 + .5 b188 * b285 + b188 * b300 + .5 b188 * b301 + .5 b188 * b303 + .5 b188 * b306 + b188 * b309 + .5 b188 * b312 + .5 b188 * b319 + .5 b188 * b324 + .5 b188 * b326 + .5 b188 * b327 + .5 b188 * b332 + .5 b188 * b334 + b188 * x467 + b189^2 + .5 b189 * b191 + .5 b189 * b198 + b189 * b200 + .5 b189 * b201 + .5 b189 * b205 + .5 b189 * b208 + b189 * b209 + .5 b189 * b220 + .5 b189 * b228 + .5 b189 * b229 + .5 b189 * b244 + .5 b189 * b253 + b189 * b256 + .5 b189 * b259 + .5 b189 * b260 + .5 b189 * b273 + .5 b189 * b281 + .5 b189 * b282 + .5 b189 * b283 + .5 b189 * b291 + .5 b189 * b299 + .5 b189 * b313 + b189 * b322 + b189 * x462 + b190^2 + .5 b190 * b196 + b190 * b212 + b190 * b215 + b190 * b217 + .5 b190 * b218 + .5 b190 * b232 + .5 b190 * b237 + .5 b190 * b239 + .5 b190 * b245 + .5 b190 * b293 + .5 b190 * b308 + b190 * b315 + .5 b190 * b316 + .5 b190 * b318 + .5 b190 * b338 + b190 * x450 + b190 * x460 + b191^2 + .5 b191 * b193 + .5 b191 * b194 + .5 b191 * b200 + .5 b191 * b205 + .5 b191 * b208 + .5 b191 * b209 + .5 b191 * b216 + .5 b191 * b218 + .5 b191 * b223 + .5 b191 * b225 + .5 b191 * b226 + .5 b191 * b228 + b191 * b229 + .5 b191 * b244 + .5 b191 * b245 + .5 b191 * b250 + .5 b191 * b252 + .5 b191 * b253 + .5 b191 * b254 + .5 b191 * b255 + .5 b191 * b256 + .5 b191 * b260 + .5 b191 * b265 + .5 b191 * b289 + .5 b191 * b298 + b191 * b299 + .5 b191 * b302 + .5 b191 * b305 + .5 b191 * b311 + .5 b191 * b313 + .5 b191 * b316 + .5 b191 * b322 + .5 b191 * b323 + .5 b191 * b333 + .5 b191 * b338 + b191 * x462 + b192^2 + .5 b192 * b195 + .5 b192 * b206 + .5 b192 * b207 + .5 b192 * b210 + .5 b192 * b222 + .5 b192 * b227 + b192 * b231 + .5 b192 * b235 + .5 b192 * b236 + .5 b192 * b238 + .5 b192 * b241 + b192 * b242 + .5 b192 * b243 + .5 b192 * b257 + .5 b192 * b261 + b192 * b262 + .5 b192 * b271 + .5 b192 * b274 + .5 b192 * b276 + .5 b192 * b277 + .5 b192 * b279 + .5 b192 * b288 + .5 b192 * b295 + .5 b192 * b296 + .5 b192 * b297 + b192 * b307 + .5 b192 * b310 + .5 b192 * b331 + .5 b192 * b334 + .5 b192 * b335 + .5 b192 * b336 + .5 b192 * b337 + .5 b192 * b339 + b192 * x468 + b193^2 + .5 b193 * b194 + .5 b193 * b202 + b193 * b216 + .5 b193 * b218 + .5 b193 * b221 + .5 b193 * b223 + b193 * b225 + .5 b193 * b226 + .5 b193 * b229 + .5 b193 * b234 + .5 b193 * b245 + .5 b193 * b250 + .5 b193 * b252 + .5 b193 * b254 + b193 * b255 + .5 b193 * b265 + .5 b193 * b272 + b193 * b289 + .5 b193 * b298 + .5 b193 * b299 + .5 b193 * b302 + .5 b193 * b305 + .5 b193 * b311 + .5 b193 * b316 + .5 b193 * b318 + .5 b193 * b323 + .5 b193 * b333 + .5 b193 * b338 + .5 b193 * b340 + .5 b193 * b341 + .5 b193 * b342 + .5 b193 * b343 + b193 * x452 + b194^2 + .5 b194 * b196 + .5 b194 * b216 + .5 b194 * b218 + .5 b194 * b223 + .5 b194 * b225 + .5 b194 * b226 + .5 b194 * b229 + .5 b194 * b232 + .5 b194 * b237 + .5 b194 * b245 + .5 b194 * b250 + .5 b194 * b252 + .5 b194 * b254 + .5 b194 * b255 + .5 b194 * b265 + .5 b194 * b278 + .5 b194 * b289 + b194 * b298 + .5 b194 * b299 + .5 b194 * b301 + .5 b194 * b302 + b194 * b305 + .5 b194 * b308 + b194 * b311 + .5 b194 * b316 + .5 b194 * b323 + .5 b194 * b324 + .5 b194 * b333 + .5 b194 * b338 + b194 * x455 + b195^2 + .5 b195 * b206 + .5 b195 * b207 + .5 b195 * b210 + .5 b195 * b222 + b195 * b227 + .5 b195 * b230 + .5 b195 * b231 + .5 b195 * b235 + .5 b195 * b236 + .5 b195 * b238 + .5 b195 * b241 + .5 b195 * b242 + .5 b195 * b243 + .5 b195 * b257 + .5 b195 * b261 + .5 b195 * b262 + .5 b195 * b271 + .5 b195 * b274 + .5 b195 * b276 + .5 b195 * b277 + .5 b195 * b279 + .5 b195 * b288 + .5 b195 * b295 + .5 b195 * b296 + .5 b195 * b297 + .5 b195 * b307 + .5 b195 * b310 + .5 b195 * b331 + .5 b195 * b334 + .5 b195 * b335 + .5 b195 * b336 + .5 b195 * b337 + .5 b195 * b339 + b195 * x457 + b196^2 + .5 b196 * b212 + .5 b196 * b215 + .5 b196 * b217 + b196 * b232 + b196 * b237 + .5 b196 * b239 + .5 b196 * b278 + .5 b196 * b293 + .5 b196 * b298 + .5 b196 * b301 + .5 b196 * b305 + b196 * b308 + .5 b196 * b311 + .5 b196 * b315 + .5 b196 * b318 + .5 b196 * b324 + b196 * x450 + b196 * x455 + b197^2 + .5 b197 * b199 + .5 b197 * b203 + .5 b197 * b204 + .5 b197 * b246 + .5 b197 * b248 + .5 b197 * b249 + .5 b197 * b261 + .5 b197 * b264 + .5 b197 * b266 + b197 * b267 + .5 b197 * b269 + .5 b197 * b271 + .5 b197 * b275 + .5 b197 * b279 + .5 b197 * b280 + .5 b197 * b286 + .5 b197 * b287 + b197 * b290 + b197 * b294 + .5 b197 * b296 + .5 b197 * b314 + .5 b197 * b317 + .5 b197 * b319 + .5 b197 * b321 + .5 b197 * b326 + .5 b197 * b328 + .5 b197 * b330 + .5 b197 * b332 + .5 b197 * b340 + .5 b197 * b341 + .5 b197 * b342 + .5 b197 * b343 + b197 * x445 + b198^2 + .5 b198 * b200 + b198 * b201 + .5 b198 * b209 + .5 b198 * b220 + .5 b198 * b223 + .5 b198 * b251 + .5 b198 * b256 + .5 b198 * b258 + b198 * b259 + .5 b198 * b268 + .5 b198 * b273 + b198 * b281 + b198 * b282 + .5 b198 * b283 + .5 b198 * b291 + .5 b198 * b292 + .5 b198 * b320 + .5 b198 * b322 + .5 b198 * b323 + .5 b198 * b325 + b198 * x454 + b199^2 + .5 b199 * b203 + .5 b199 * b204 + .5 b199 * b246 + .5 b199 * b248 + .5 b199 * b249 + .5 b199 * b261 + .5 b199 * b264 + .5 b199 * b266 + .5 b199 * b267 + b199 * b269 + .5 b199 * b271 + .5 b199 * b275 + .5 b199 * b279 + .5 b199 * b280 + .5 b199 * b286 + b199 * b287 + .5 b199 * b290 + .5 b199 * b294 + .5 b199 * b296 + b199 * b314 + .5 b199 * b317 + .5 b199 * b319 + b199 * b321 + .5 b199 * b326 + .5 b199 * b328 + .5 b199 * b330 + .5 b199 * b332 + .5 b199 * b340 + .5 b199 * b341 + .5 b199 * b342 + .5 b199 * b343 + b199 * x469 + b200^2 + .5 b200 * b201 + .5 b200 * b205 + .5 b200 * b208 + b200 * b209 + .5 b200 * b220 + .5 b200 * b228 + .5 b200 * b229 + .5 b200 * b244 + .5 b200 * b253 + b200 * b256 + .5 b200 * b259 + .5 b200 * b260 + .5 b200 * b273 + .5 b200 * b281 + .5 b200 * b282 + .5 b200 * b283 + .5 b200 * b291 + .5 b200 * b299 + .5 b200 * b313 + b200 * b322 + b200 * x462 + b201^2 + .5 b201 * b209 + .5 b201 * b220 + .5 b201 * b223 + .5 b201 * b251 + .5 b201 * b256 + .5 b201 * b258 + b201 * b259 + .5 b201 * b268 + .5 b201 * b273 + b201 * b281 + b201 * b282 + .5 b201 * b283 + .5 b201 * b291 + .5 b201 * b292 + .5 b201 * b320 + .5 b201 * b322 + .5 b201 * b323 + .5 b201 * b325 + b201 * x454 + b202^2 + .5 b202 * b216 + .5 b202 * b219 + b202 * b221 + .5 b202 * b225 + b202 * b234 + .5 b202 * b249 + .5 b202 * b255 + .5 b202 * b266 + b202 * b272 + .5 b202 * b286 + .5 b202 * b289 + .5 b202 * b318 + .5 b202 * b340 + .5 b202 * b341 + .5 b202 * b342 + .5 b202 * b343 + b202 * x451 + b202 * x452 + b203^2 + b203 * b204 + .5 b203 * b211 + .5 b203 * b224 + .5 b203 * b230 + .5 b203 * b233 + .5 b203 * b246 + .5 b203 * b248 + .5 b203 * b249 + .5 b203 * b261 + .5 b203 * b264 + .5 b203 * b266 + .5 b203 * b267 + .5 b203 * b269 + .5 b203 * b270 + .5 b203 * b271 + .5 b203 * b275 + .5 b203 * b279 + .5 b203 * b280 + .5 b203 * b285 + .5 b203 * b286 + .5 b203 * b287 + .5 b203 * b290 + .5 b203 * b294 + .5 b203 * b296 + .5 b203 * b303 + .5 b203 * b306 + .5 b203 * b312 + .5 b203 * b314 + b203 * b317 + .5 b203 * b319 + .5 b203 * b321 + .5 b203 * b326 + .5 b203 * b327 + .5 b203 * b328 + .5 b203 * b329 + .5 b203 * b330 + .5 b203 * b332 + .5 b203 * b340 + .5 b203 * b341 + .5 b203 * b342 + .5 b203 * b343 + b204^2 + .5 b204 * b211 + .5 b204 * b224 + .5 b204 * b230 + .5 b204 * b233 + .5 b204 * b246 + .5 b204 * b248 + .5 b204 * b249 + .5 b204 * b261 + .5 b204 * b264 + .5 b204 * b266 + .5 b204 * b267 + .5 b204 * b269 + .5 b204 * b270 + .5 b204 * b271 + .5 b204 * b275 + .5 b204 * b279 + .5 b204 * b280 + .5 b204 * b285 + .5 b204 * b286 + .5 b204 * b287 + .5 b204 * b290 + .5 b204 * b294 + .5 b204 * b296 + .5 b204 * b303 + .5 b204 * b306 + .5 b204 * b312 + .5 b204 * b314 + b204 * b317 + .5 b204 * b319 + .5 b204 * b321 + .5 b204 * b326 + .5 b204 * b327 + .5 b204 * b328 + .5 b204 * b329 + .5 b204 * b330 + .5 b204 * b332 + .5 b204 * b340 + .5 b204 * b341 + .5 b204 * b342 + .5 b204 * b343 + b205^2 + .5 b205 * b208 + .5 b205 * b209 + .5 b205 * b228 + .5 b205 * b229 + .5 b205 * b240 + .5 b205 * b244 + .5 b205 * b253 + .5 b205 * b256 + .5 b205 * b258 + b205 * b260 + .5 b205 * b263 + .5 b205 * b299 + .5 b205 * b304 + .5 b205 * b313 + .5 b205 * b320 + .5 b205 * b322 + b205 * x453 + b205 * x462 + b206^2 + .5 b206 * b207 + .5 b206 * b210 + .5 b206 * b222 + .5 b206 * b227 + .5 b206 * b231 + .5 b206 * b235 + .5 b206 * b236 + .5 b206 * b238 + .5 b206 * b241 + .5 b206 * b242 + .5 b206 * b243 + .5 b206 * b257 + .5 b206 * b261 + .5 b206 * b262 + .5 b206 * b270 + .5 b206 * b271 + .5 b206 * b274 + .5 b206 * b276 + .5 b206 * b277 + .5 b206 * b279 + b206 * b288 + b206 * b295 + .5 b206 * b296 + b206 * b297 + .5 b206 * b307 + b206 * b310 + .5 b206 * b329 + .5 b206 * b331 + .5 b206 * b334 + .5 b206 * b335 + .5 b206 * b336 + .5 b206 * b337 + .5 b206 * b339 + b206 * x464 + b207^2 + .5 b207 * b210 + .5 b207 * b222 + .5 b207 * b224 + .5 b207 * b227 + .5 b207 * b231 + .5 b207 * b235 + .5 b207 * b236 + .5 b207 * b238 + .5 b207 * b241 + .5 b207 * b242 + .5 b207 * b243 + .5 b207 * b257 + .5 b207 * b261 + .5 b207 * b262 + .5 b207 * b271 + .5 b207 * b274 + b207 * b276 + .5 b207 * b277 + .5 b207 * b279 + .5 b207 * b288 + .5 b207 * b295 + .5 b207 * b296 + .5 b207 * b297 + .5 b207 * b307 + .5 b207 * b310 + .5 b207 * b331 + .5 b207 * b334 + b207 * b335 + .5 b207 * b336 + .5 b207 * b337 + .5 b207 * b339 + b207 * x466 + b208^2 + .5 b208 * b209 + b208 * b228 + .5 b208 * b229 + b208 * b244 + .5 b208 * b247 + .5 b208 * b251 + b208 * b253 + .5 b208 * b256 + .5 b208 * b260 + .5 b208 * b268 + .5 b208 * b292 + .5 b208 * b299 + b208 * b313 + .5 b208 * b322 + b208 * x462 + b208 * x465 + b209^2 + .5 b209 * b220 + .5 b209 * b228 + .5 b209 * b229 + .5 b209 * b244 + .5 b209 * b253 + b209 * b256 + .5 b209 * b259 + .5 b209 * b260 + .5 b209 * b273 + .5 b209 * b281 + .5 b209 * b282 + .5 b209 * b283 + .5 b209 * b291 + .5 b209 * b299 + .5 b209 * b313 + b209 * b322 + b209 * x462 + b210^2 + .5 b210 * b213 + .5 b210 * b219 + b210 * b222 + .5 b210 * b227 + .5 b210 * b231 + .5 b210 * b235 + .5 b210 * b236 + b210 * b238 + .5 b210 * b241 + .5 b210 * b242 + .5 b210 * b243 + b210 * b257 + .5 b210 * b261 + .5 b210 * b262 + .5 b210 * b271 + .5 b210 * b274 + .5 b210 * b276 + .5 b210 * b277 + .5 b210 * b279 + .5 b210 * b284 + .5 b210 * b285 + .5 b210 * b288 + .5 b210 * b295 + .5 b210 * b296 + .5 b210 * b297 + .5 b210 * b300 + .5 b210 * b303 + .5 b210 * b306 + .5 b210 * b307 + .5 b210 * b309 + .5 b210 * b310 + .5 b210 * b312 + .5 b210 * b327 + .5 b210 * b331 + b210 * b334 + .5 b210 * b335 + .5 b210 * b336 + .5 b210 * b337 + .5 b210 * b339 + b210 * x467 + b211^2 + .5 b211 * b224 + .5 b211 * b230 + b211 * b233 + .5 b211 * b270 + .5 b211 * b285 + .5 b211 * b303 + .5 b211 * b306 + .5 b211 * b312 + .5 b211 * b317 + .5 b211 * b327 + .5 b211 * b329 + b211 * x459 + b212^2 + b212 * b215 + b212 * b217 + .5 b212 * b218 + .5 b212 * b232 + .5 b212 * b237 + .5 b212 * b239 + .5 b212 * b245 + .5 b212 * b293 + .5 b212 * b308 + b212 * b315 + .5 b212 * b316 + .5 b212 * b318 + .5 b212 * b338 + b212 * x450 + b212 * x460 + b213^2 + .5 b213 * b219 + .5 b213 * b222 + .5 b213 * b238 + .5 b213 * b246 + .5 b213 * b257 + .5 b213 * b275 + .5 b213 * b278 + b213 * b284 + .5 b213 * b285 + b213 * b300 + .5 b213 * b301 + .5 b213 * b303 + .5 b213 * b306 + b213 * b309 + .5 b213 * b312 + .5 b213 * b319 + .5 b213 * b324 + .5 b213 * b326 + .5 b213 * b327 + .5 b213 * b332 + .5 b213 * b334 + b213 * x467 + b214^2 + .5 b214 * b239 + .5 b214 * b240 + .5 b214 * b247 + .5 b214 * b250 + .5 b214 * b252 + .5 b214 * b254 + .5 b214 * b263 + .5 b214 * b293 + .5 b214 * b302 + .5 b214 * b304 + b214 * x463 + b214 * x470 + b215^2 + b215 * b217 + .5 b215 * b218 + .5 b215 * b232 + .5 b215 * b237 + .5 b215 * b239 + .5 b215 * b245 + .5 b215 * b293 + .5 b215 * b308 + b215 * b315 + .5 b215 * b316 + .5 b215 * b318 + .5 b215 * b338 + b215 * x450 + b215 * x460 + b216^2 + .5 b216 * b218 + .5 b216 * b221 + .5 b216 * b223 + b216 * b225 + .5 b216 * b226 + .5 b216 * b229 + .5 b216 * b234 + .5 b216 * b245 + .5 b216 * b250 + .5 b216 * b252 + .5 b216 * b254 + b216 * b255 + .5 b216 * b265 + .5 b216 * b272 + b216 * b289 + .5 b216 * b298 + .5 b216 * b299 + .5 b216 * b302 + .5 b216 * b305 + .5 b216 * b311 + .5 b216 * b316 + .5 b216 * b318 + .5 b216 * b323 + .5 b216 * b333 + .5 b216 * b338 + .5 b216 * b340 + .5 b216 * b341 + .5 b216 * b342 + .5 b216 * b343 + b216 * x452 + b217^2 + .5 b217 * b218 + .5 b217 * b232 + .5 b217 * b237 + .5 b217 * b239 + .5 b217 * b245 + .5 b217 * b293 + .5 b217 * b308 + b217 * b315 + .5 b217 * b316 + .5 b217 * b318 + .5 b217 * b338 + b217 * x450 + b217 * x460 + b218^2 + .5 b218 * b223 + .5 b218 * b225 + .5 b218 * b226 + .5 b218 * b229 + b218 * b245 + .5 b218 * b250 + .5 b218 * b252 + .5 b218 * b254 + .5 b218 * b255 + .5 b218 * b265 + .5 b218 * b289 + .5 b218 * b298 + .5 b218 * b299 + .5 b218 * b302 + .5 b218 * b305 + .5 b218 * b311 + .5 b218 * b315 + b218 * b316 + .5 b218 * b323 + .5 b218 * b333 + b218 * b338 + b218 * x460 + b219^2 + .5 b219 * b221 + .5 b219 * b222 + .5 b219 * b234 + .5 b219 * b238 + .5 b219 * b249 + .5 b219 * b257 + .5 b219 * b266 + .5 b219 * b272 + .5 b219 * b284 + .5 b219 * b285 + .5 b219 * b286 + .5 b219 * b300 + .5 b219 * b303 + .5 b219 * b306 + .5 b219 * b309 + .5 b219 * b312 + .5 b219 * b327 + .5 b219 * b334 + b219 * x451 + b219 * x467 + b220^2 + .5 b220 * b256 + .5 b220 * b259 + b220 * b273 + .5 b220 * b281 + .5 b220 * b282 + .5 b220 * b283 + b220 * b291 + .5 b220 * b322 + b220 * x456 + b221^2 + .5 b221 * b225 + b221 * b234 + .5 b221 * b249 + .5 b221 * b255 + .5 b221 * b266 + b221 * b272 + .5 b221 * b286 + .5 b221 * b289 + .5 b221 * b318 + .5 b221 * b340 + .5 b221 * b341 + .5 b221 * b342 + .5 b221 * b343 + b221 * x451 + b221 * x452 + b222^2 + .5 b222 * b227 + .5 b222 * b231 + .5 b222 * b235 + .5 b222 * b236 + b222 * b238 + .5 b222 * b241 + .5 b222 * b242 + .5 b222 * b243 + b222 * b257 + .5 b222 * b261 + .5 b222 * b262 + .5 b222 * b271 + .5 b222 * b274 + .5 b222 * b276 + .5 b222 * b277 + .5 b222 * b279 + .5 b222 * b284 + .5 b222 * b285 + .5 b222 * b288 + .5 b222 * b295 + .5 b222 * b296 + .5 b222 * b297 + .5 b222 * b300 + .5 b222 * b303 + .5 b222 * b306 + .5 b222 * b307 + .5 b222 * b309 + .5 b222 * b310 + .5 b222 * b312 + .5 b222 * b327 + .5 b222 * b331 + b222 * b334 + .5 b222 * b335 + .5 b222 * b336 + .5 b222 * b337 + .5 b222 * b339 + b222 * x467 + b223^2 + .5 b223 * b225 + .5 b223 * b226 + .5 b223 * b229 + .5 b223 * b245 + .5 b223 * b250 + .5 b223 * b251 + .5 b223 * b252 + .5 b223 * b254 + .5 b223 * b255 + .5 b223 * b258 + .5 b223 * b259 + .5 b223 * b265 + .5 b223 * b268 + .5 b223 * b281 + .5 b223 * b282 + .5 b223 * b289 + .5 b223 * b292 + .5 b223 * b298 + .5 b223 * b299 + .5 b223 * b302 + .5 b223 * b305 + .5 b223 * b311 + .5 b223 * b316 + .5 b223 * b320 + b223 * b323 + .5 b223 * b325 + .5 b223 * b333 + .5 b223 * b338 + b223 * x454 + b224^2 + .5 b224 * b230 + .5 b224 * b233 + .5 b224 * b270 + .5 b224 * b276 + .5 b224 * b285 + .5 b224 * b303 + .5 b224 * b306 + .5 b224 * b312 + .5 b224 * b317 + .5 b224 * b327 + .5 b224 * b329 + .5 b224 * b335 + b224 * x466 + b225^2 + .5 b225 * b226 + .5 b225 * b229 + .5 b225 * b234 + .5 b225 * b245 + .5 b225 * b250 + .5 b225 * b252 + .5 b225 * b254 + b225 * b255 + .5 b225 * b265 + .5 b225 * b272 + b225 * b289 + .5 b225 * b298 + .5 b225 * b299 + .5 b225 * b302 + .5 b225 * b305 + .5 b225 * b311 + .5 b225 * b316 + .5 b225 * b318 + .5 b225 * b323 + .5 b225 * b333 + .5 b225 * b338 + .5 b225 * b340 + .5 b225 * b341 + .5 b225 * b342 + .5 b225 * b343 + b225 * x452 + b226^2 + .5 b226 * b229 + .5 b226 * b245 + .5 b226 * b250 + .5 b226 * b252 + .5 b226 * b254 + .5 b226 * b255 + b226 * b265 + .5 b226 * b289 + .5 b226 * b298 + .5 b226 * b299 + .5 b226 * b302 + .5 b226 * b305 + .5 b226 * b311 + .5 b226 * b316 + .5 b226 * b323 + b226 * b333 + .5 b226 * b338 + b226 * x461 + b227^2 + .5 b227 * b230 + .5 b227 * b231 + .5 b227 * b235 + .5 b227 * b236 + .5 b227 * b238 + .5 b227 * b241 + .5 b227 * b242 + .5 b227 * b243 + .5 b227 * b257 + .5 b227 * b261 + .5 b227 * b262 + .5 b227 * b271 + .5 b227 * b274 + .5 b227 * b276 + .5 b227 * b277 + .5 b227 * b279 + .5 b227 * b288 + .5 b227 * b295 + .5 b227 * b296 + .5 b227 * b297 + .5 b227 * b307 + .5 b227 * b310 + .5 b227 * b331 + .5 b227 * b334 + .5 b227 * b335 + .5 b227 * b336 + .5 b227 * b337 + .5 b227 * b339 + b227 * x457 + b228^2 + .5 b228 * b229 + b228 * b244 + .5 b228 * b247 + .5 b228 * b251 + b228 * b253 + .5 b228 * b256 + .5 b228 * b260 + .5 b228 * b268 + .5 b228 * b292 + .5 b228 * b299 + b228 * b313 + .5 b228 * b322 + b228 * x462 + b228 * x465 + b229^2 + .5 b229 * b244 + .5 b229 * b245 + .5 b229 * b250 + .5 b229 * b252 + .5 b229 * b253 + .5 b229 * b254 + .5 b229 * b255 + .5 b229 * b256 + .5 b229 * b260 + .5 b229 * b265 + .5 b229 * b289 + .5 b229 * b298 + b229 * b299 + .5 b229 * b302 + .5 b229 * b305 + .5 b229 * b311 + .5 b229 * b313 + .5 b229 * b316 + .5 b229 * b322 + .5 b229 * b323 + .5 b229 * b333 + .5 b229 * b338 + b229 * x462 + b230^2 + .5 b230 * b233 + .5 b230 * b270 + .5 b230 * b285 + .5 b230 * b303 + .5 b230 * b306 + .5 b230 * b312 + .5 b230 * b317 + .5 b230 * b327 + .5 b230 * b329 + b230 * x457 + b231^2 + .5 b231 * b235 + .5 b231 * b236 + .5 b231 * b238 + .5 b231 * b241 + b231 * b242 + .5 b231 * b243 + .5 b231 * b257 + .5 b231 * b261 + b231 * b262 + .5 b231 * b271 + .5 b231 * b274 + .5 b231 * b276 + .5 b231 * b277 + .5 b231 * b279 + .5 b231 * b288 + .5 b231 * b295 + .5 b231 * b296 + .5 b231 * b297 + b231 * b307 + .5 b231 * b310 + .5 b231 * b331 + .5 b231 * b334 + .5 b231 * b335 + .5 b231 * b336 + .5 b231 * b337 + .5 b231 * b339 + b231 * x468 + b232^2 + b232 * b237 + .5 b232 * b239 + .5 b232 * b278 + .5 b232 * b293 + .5 b232 * b298 + .5 b232 * b301 + .5 b232 * b305 + b232 * b308 + .5 b232 * b311 + .5 b232 * b315 + .5 b232 * b318 + .5 b232 * b324 + b232 * x450 + b232 * x455 + b233^2 + .5 b233 * b270 + .5 b233 * b285 + .5 b233 * b303 + .5 b233 * b306 + .5 b233 * b312 + .5 b233 * b317 + .5 b233 * b327 + .5 b233 * b329 + b233 * x459 + b234^2 + .5 b234 * b249 + .5 b234 * b255 + .5 b234 * b266 + b234 * b272 + .5 b234 * b286 + .5 b234 * b289 + .5 b234 * b318 + .5 b234 * b340 + .5 b234 * b341 + .5 b234 * b342 + .5 b234 * b343 + b234 * x451 + b234 * x452 + b235^2 + b235 * b236 + .5 b235 * b238 + b235 * b241 + .5 b235 * b242 + .5 b235 * b243 + .5 b235 * b257 + .5 b235 * b261 + .5 b235 * b262 + .5 b235 * b271 + .5 b235 * b274 + .5 b235 * b276 + b235 * b277 + .5 b235 * b279 + .5 b235 * b288 + .5 b235 * b295 + .5 b235 * b296 + .5 b235 * b297 + .5 b235 * b307 + .5 b235 * b310 + .5 b235 * b331 + .5 b235 * b334 + .5 b235 * b335 + b235 * b336 + .5 b235 * b337 + .5 b235 * b339 + b235 * x471 + b236^2 + .5 b236 * b238 + b236 * b241 + .5 b236 * b242 + .5 b236 * b243 + .5 b236 * b257 + .5 b236 * b261 + .5 b236 * b262 + .5 b236 * b271 + .5 b236 * b274 + .5 b236 * b276 + b236 * b277 + .5 b236 * b279 + .5 b236 * b288 + .5 b236 * b295 + .5 b236 * b296 + .5 b236 * b297 + .5 b236 * b307 + .5 b236 * b310 + .5 b236 * b331 + .5 b236 * b334 + .5 b236 * b335 + b236 * b336 + .5 b236 * b337 + .5 b236 * b339 + b236 * x471 + b237^2 + .5 b237 * b239 + .5 b237 * b278 + .5 b237 * b293 + .5 b237 * b298 + .5 b237 * b301 + .5 b237 * b305 + b237 * b308 + .5 b237 * b311 + .5 b237 * b315 + .5 b237 * b318 + .5 b237 * b324 + b237 * x450 + b237 * x455 + b238^2 + .5 b238 * b241 + .5 b238 * b242 + .5 b238 * b243 + b238 * b257 + .5 b238 * b261 + .5 b238 * b262 + .5 b238 * b271 + .5 b238 * b274 + .5 b238 * b276 + .5 b238 * b277 + .5 b238 * b279 + .5 b238 * b284 + .5 b238 * b285 + .5 b238 * b288 + .5 b238 * b295 + .5 b238 * b296 + .5 b238 * b297 + .5 b238 * b300 + .5 b238 * b303 + .5 b238 * b306 + .5 b238 * b307 + .5 b238 * b309 + .5 b238 * b310 + .5 b238 * b312 + .5 b238 * b327 + .5 b238 * b331 + b238 * b334 + .5 b238 * b335 + .5 b238 * b336 + .5 b238 * b337 + .5 b238 * b339 + b238 * x467 + b239^2 + .5 b239 * b240 + .5 b239 * b247 + .5 b239 * b250 + .5 b239 * b252 + .5 b239 * b254 + .5 b239 * b263 + b239 * b293 + .5 b239 * b302 + .5 b239 * b304 + .5 b239 * b308 + .5 b239 * b315 + .5 b239 * b318 + b239 * x450 + b239 * x463 + b240^2 + .5 b240 * b247 + .5 b240 * b250 + .5 b240 * b252 + .5 b240 * b254 + .5 b240 * b258 + .5 b240 * b260 + b240 * b263 + .5 b240 * b293 + .5 b240 * b302 + b240 * b304 + .5 b240 * b320 + b240 * x453 + b240 * x463 + b241^2 + .5 b241 * b242 + .5 b241 * b243 + .5 b241 * b257 + .5 b241 * b261 + .5 b241 * b262 + .5 b241 * b271 + .5 b241 * b274 + .5 b241 * b276 + b241 * b277 + .5 b241 * b279 + .5 b241 * b288 + .5 b241 * b295 + .5 b241 * b296 + .5 b241 * b297 + .5 b241 * b307 + .5 b241 * b310 + .5 b241 * b331 + .5 b241 * b334 + .5 b241 * b335 + b241 * b336 + .5 b241 * b337 + .5 b241 * b339 + b241 * x471 + b242^2 + .5 b242 * b243 + .5 b242 * b257 + .5 b242 * b261 + b242 * b262 + .5 b242 * b271 + .5 b242 * b274 + .5 b242 * b276 + .5 b242 * b277 + .5 b242 * b279 + .5 b242 * b288 + .5 b242 * b295 + .5 b242 * b296 + .5 b242 * b297 + b242 * b307 + .5 b242 * b310 + .5 b242 * b331 + .5 b242 * b334 + .5 b242 * b335 + .5 b242 * b336 + .5 b242 * b337 + .5 b242 * b339 + b242 * x468 + b243^2 + .5 b243 * b257 + .5 b243 * b261 + .5 b243 * b262 + .5 b243 * b271 + b243 * b274 + .5 b243 * b276 + .5 b243 * b277 + .5 b243 * b279 + .5 b243 * b288 + .5 b243 * b295 + .5 b243 * b296 + .5 b243 * b297 + .5 b243 * b307 + .5 b243 * b310 + b243 * b331 + .5 b243 * b334 + .5 b243 * b335 + .5 b243 * b336 + b243 * b337 + b243 * b339 + b243 * x472 + b244^2 + .5 b244 * b247 + .5 b244 * b251 + b244 * b253 + .5 b244 * b256 + .5 b244 * b260 + .5 b244 * b268 + .5 b244 * b292 + .5 b244 * b299 + b244 * b313 + .5 b244 * b322 + b244 * x462 + b244 * x465 + b245^2 + .5 b245 * b250 + .5 b245 * b252 + .5 b245 * b254 + .5 b245 * b255 + .5 b245 * b265 + .5 b245 * b289 + .5 b245 * b298 + .5 b245 * b299 + .5 b245 * b302 + .5 b245 * b305 + .5 b245 * b311 + .5 b245 * b315 + b245 * b316 + .5 b245 * b323 + .5 b245 * b333 + b245 * b338 + b245 * x460 + b246^2 + .5 b246 * b248 + .5 b246 * b249 + .5 b246 * b261 + .5 b246 * b264 + .5 b246 * b266 + .5 b246 * b267 + .5 b246 * b269 + .5 b246 * b271 + b246 * b275 + .5 b246 * b278 + .5 b246 * b279 + .5 b246 * b280 + .5 b246 * b284 + .5 b246 * b286 + .5 b246 * b287 + .5 b246 * b290 + .5 b246 * b294 + .5 b246 * b296 + .5 b246 * b300 + .5 b246 * b301 + .5 b246 * b309 + .5 b246 * b314 + .5 b246 * b317 + b246 * b319 + .5 b246 * b321 + .5 b246 * b324 + b246 * b326 + .5 b246 * b328 + .5 b246 * b330 + b246 * b332 + .5 b246 * b340 + .5 b246 * b341 + .5 b246 * b342 + .5 b246 * b343 + b247^2 + .5 b247 * b250 + .5 b247 * b251 + .5 b247 * b252 + .5 b247 * b253 + .5 b247 * b254 + .5 b247 * b263 + .5 b247 * b268 + .5 b247 * b292 + .5 b247 * b293 + .5 b247 * b302 + .5 b247 * b304 + .5 b247 * b313 + b247 * x463 + b247 * x465 + b248^2 + .5 b248 * b249 + .5 b248 * b261 + b248 * b264 + .5 b248 * b266 + .5 b248 * b267 + .5 b248 * b269 + .5 b248 * b271 + .5 b248 * b275 + .5 b248 * b279 + b248 * b280 + .5 b248 * b286 + .5 b248 * b287 + .5 b248 * b290 + .5 b248 * b294 + .5 b248 * b296 + .5 b248 * b314 + .5 b248 * b317 + .5 b248 * b319 + .5 b248 * b321 + .5 b248 * b326 + b248 * b328 + b248 * b330 + .5 b248 * b332 + .5 b248 * b340 + .5 b248 * b341 + .5 b248 * b342 + .5 b248 * b343 + b248 * x473 + b249^2 + .5 b249 * b261 + .5 b249 * b264 + b249 * b266 + .5 b249 * b267 + .5 b249 * b269 + .5 b249 * b271 + .5 b249 * b272 + .5 b249 * b275 + .5 b249 * b279 + .5 b249 * b280 + b249 * b286 + .5 b249 * b287 + .5 b249 * b290 + .5 b249 * b294 + .5 b249 * b296 + .5 b249 * b314 + .5 b249 * b317 + .5 b249 * b319 + .5 b249 * b321 + .5 b249 * b326 + .5 b249 * b328 + .5 b249 * b330 + .5 b249 * b332 + .5 b249 * b340 + .5 b249 * b341 + .5 b249 * b342 + .5 b249 * b343 + b249 * x451 + b250^2 + b250 * b252 + b250 * b254 + .5 b250 * b255 + .5 b250 * b263 + .5 b250 * b265 + .5 b250 * b289 + .5 b250 * b293 + .5 b250 * b298 + .5 b250 * b299 + b250 * b302 + .5 b250 * b304 + .5 b250 * b305 + .5 b250 * b311 + .5 b250 * b316 + .5 b250 * b323 + .5 b250 * b333 + .5 b250 * b338 + b250 * x463 + b251^2 + .5 b251 * b253 + .5 b251 * b258 + .5 b251 * b259 + b251 * b268 + .5 b251 * b281 + .5 b251 * b282 + b251 * b292 + .5 b251 * b313 + .5 b251 * b320 + .5 b251 * b323 + .5 b251 * b325 + b251 * x454 + b251 * x465 + b252^2 + b252 * b254 + .5 b252 * b255 + .5 b252 * b263 + .5 b252 * b265 + .5 b252 * b289 + .5 b252 * b293 + .5 b252 * b298 + .5 b252 * b299 + b252 * b302 + .5 b252 * b304 + .5 b252 * b305 + .5 b252 * b311 + .5 b252 * b316 + .5 b252 * b323 + .5 b252 * b333 + .5 b252 * b338 + b252 * x463 + b253^2 + .5 b253 * b256 + .5 b253 * b260 + .5 b253 * b268 + .5 b253 * b292 + .5 b253 * b299 + b253 * b313 + .5 b253 * b322 + b253 * x462 + b253 * x465 + b254^2 + .5 b254 * b255 + .5 b254 * b263 + .5 b254 * b265 + .5 b254 * b289 + .5 b254 * b293 + .5 b254 * b298 + .5 b254 * b299 + b254 * b302 + .5 b254 * b304 + .5 b254 * b305 + .5 b254 * b311 + .5 b254 * b316 + .5 b254 * b323 + .5 b254 * b333 + .5 b254 * b338 + b254 * x463 + b255^2 + .5 b255 * b265 + .5 b255 * b272 + b255 * b289 + .5 b255 * b298 + .5 b255 * b299 + .5 b255 * b302 + .5 b255 * b305 + .5 b255 * b311 + .5 b255 * b316 + .5 b255 * b318 + .5 b255 * b323 + .5 b255 * b333 + .5 b255 * b338 + .5 b255 * b340 + .5 b255 * b341 + .5 b255 * b342 + .5 b255 * b343 + b255 * x452 + b256^2 + .5 b256 * b259 + .5 b256 * b260 + .5 b256 * b273 + .5 b256 * b281 + .5 b256 * b282 + .5 b256 * b283 + .5 b256 * b291 + .5 b256 * b299 + .5 b256 * b313 + b256 * b322 + b256 * x462 + b257^2 + .5 b257 * b261 + .5 b257 * b262 + .5 b257 * b271 + .5 b257 * b274 + .5 b257 * b276 + .5 b257 * b277 + .5 b257 * b279 + .5 b257 * b284 + .5 b257 * b285 + .5 b257 * b288 + .5 b257 * b295 + .5 b257 * b296 + .5 b257 * b297 + .5 b257 * b300 + .5 b257 * b303 + .5 b257 * b306 + .5 b257 * b307 + .5 b257 * b309 + .5 b257 * b310 + .5 b257 * b312 + .5 b257 * b327 + .5 b257 * b331 + b257 * b334 + .5 b257 * b335 + .5 b257 * b336 + .5 b257 * b337 + .5 b257 * b339 + b257 * x467 + b258^2 + .5 b258 * b259 + .5 b258 * b260 + .5 b258 * b263 + .5 b258 * b268 + .5 b258 * b281 + .5 b258 * b282 + .5 b258 * b292 + .5 b258 * b304 + b258 * b320 + .5 b258 * b323 + .5 b258 * b325 + b258 * x453 + b258 * x454 + b259^2 + .5 b259 * b268 + .5 b259 * b273 + b259 * b281 + b259 * b282 + .5 b259 * b283 + .5 b259 * b291 + .5 b259 * b292 + .5 b259 * b320 + .5 b259 * b322 + .5 b259 * b323 + .5 b259 * b325 + b259 * x454 + b260^2 + .5 b260 * b263 + .5 b260 * b299 + .5 b260 * b304 + .5 b260 * b313 + .5 b260 * b320 + .5 b260 * b322 + b260 * x453 + b260 * x462 + b261^2 + .5 b261 * b262 + .5 b261 * b264 + .5 b261 * b266 + .5 b261 * b267 + .5 b261 * b269 + b261 * b271 + .5 b261 * b274 + .5 b261 * b275 + .5 b261 * b276 + .5 b261 * b277 + b261 * b279 + .5 b261 * b280 + .5 b261 * b286 + .5 b261 * b287 + .5 b261 * b288 + .5 b261 * b290 + .5 b261 * b294 + .5 b261 * b295 + b261 * b296 + .5 b261 * b297 + .5 b261 * b307 + .5 b261 * b310 + .5 b261 * b314 + .5 b261 * b317 + .5 b261 * b319 + .5 b261 * b321 + .5 b261 * b326 + .5 b261 * b328 + .5 b261 * b330 + .5 b261 * b331 + .5 b261 * b332 + .5 b261 * b334 + .5 b261 * b335 + .5 b261 * b336 + .5 b261 * b337 + .5 b261 * b339 + .5 b261 * b340 + .5 b261 * b341 + .5 b261 * b342 + .5 b261 * b343 + b262^2 + .5 b262 * b271 + .5 b262 * b274 + .5 b262 * b276 + .5 b262 * b277 + .5 b262 * b279 + .5 b262 * b288 + .5 b262 * b295 + .5 b262 * b296 + .5 b262 * b297 + b262 * b307 + .5 b262 * b310 + .5 b262 * b331 + .5 b262 * b334 + .5 b262 * b335 + .5 b262 * b336 + .5 b262 * b337 + .5 b262 * b339 + b262 * x468 + b263^2 + .5 b263 * b293 + .5 b263 * b302 + b263 * b304 + .5 b263 * b320 + b263 * x453 + b263 * x463 + b264^2 + .5 b264 * b266 + .5 b264 * b267 + .5 b264 * b269 + .5 b264 * b271 + .5 b264 * b275 + .5 b264 * b279 + b264 * b280 + .5 b264 * b286 + .5 b264 * b287 + .5 b264 * b290 + .5 b264 * b294 + .5 b264 * b296 + .5 b264 * b314 + .5 b264 * b317 + .5 b264 * b319 + .5 b264 * b321 + .5 b264 * b326 + b264 * b328 + b264 * b330 + .5 b264 * b332 + .5 b264 * b340 + .5 b264 * b341 + .5 b264 * b342 + .5 b264 * b343 + b264 * x473 + b265^2 + .5 b265 * b289 + .5 b265 * b298 + .5 b265 * b299 + .5 b265 * b302 + .5 b265 * b305 + .5 b265 * b311 + .5 b265 * b316 + .5 b265 * b323 + b265 * b333 + .5 b265 * b338 + b265 * x461 + b266^2 + .5 b266 * b267 + .5 b266 * b269 + .5 b266 * b271 + .5 b266 * b272 + .5 b266 * b275 + .5 b266 * b279 + .5 b266 * b280 + b266 * b286 + .5 b266 * b287 + .5 b266 * b290 + .5 b266 * b294 + .5 b266 * b296 + .5 b266 * b314 + .5 b266 * b317 + .5 b266 * b319 + .5 b266 * b321 + .5 b266 * b326 + .5 b266 * b328 + .5 b266 * b330 + .5 b266 * b332 + .5 b266 * b340 + .5 b266 * b341 + .5 b266 * b342 + .5 b266 * b343 + b266 * x451 + b267^2 + .5 b267 * b269 + .5 b267 * b271 + .5 b267 * b275 + .5 b267 * b279 + .5 b267 * b280 + .5 b267 * b286 + .5 b267 * b287 + b267 * b290 + b267 * b294 + .5 b267 * b296 + .5 b267 * b314 + .5 b267 * b317 + .5 b267 * b319 + .5 b267 * b321 + .5 b267 * b326 + .5 b267 * b328 + .5 b267 * b330 + .5 b267 * b332 + .5 b267 * b340 + .5 b267 * b341 + .5 b267 * b342 + .5 b267 * b343 + b267 * x445 + b268^2 + .5 b268 * b281 + .5 b268 * b282 + b268 * b292 + .5 b268 * b313 + .5 b268 * b320 + .5 b268 * b323 + .5 b268 * b325 + b268 * x454 + b268 * x465 + b269^2 + .5 b269 * b271 + .5 b269 * b275 + .5 b269 * b279 + .5 b269 * b280 + .5 b269 * b286 + b269 * b287 + .5 b269 * b290 + .5 b269 * b294 + .5 b269 * b296 + b269 * b314 + .5 b269 * b317 + .5 b269 * b319 + b269 * b321 + .5 b269 * b326 + .5 b269 * b328 + .5 b269 * b330 + .5 b269 * b332 + .5 b269 * b340 + .5 b269 * b341 + .5 b269 * b342 + .5 b269 * b343 + b269 * x469 + b270^2 + .5 b270 * b285 + .5 b270 * b288 + .5 b270 * b295 + .5 b270 * b297 + .5 b270 * b303 + .5 b270 * b306 + .5 b270 * b310 + .5 b270 * b312 + .5 b270 * b317 + .5 b270 * b327 + b270 * b329 + b270 * x464 + b271^2 + .5 b271 * b274 + .5 b271 * b275 + .5 b271 * b276 + .5 b271 * b277 + b271 * b279 + .5 b271 * b280 + .5 b271 * b286 + .5 b271 * b287 + .5 b271 * b288 + .5 b271 * b290 + .5 b271 * b294 + .5 b271 * b295 + b271 * b296 + .5 b271 * b297 + .5 b271 * b307 + .5 b271 * b310 + .5 b271 * b314 + .5 b271 * b317 + .5 b271 * b319 + .5 b271 * b321 + .5 b271 * b326 + .5 b271 * b328 + .5 b271 * b330 + .5 b271 * b331 + .5 b271 * b332 + .5 b271 * b334 + .5 b271 * b335 + .5 b271 * b336 + .5 b271 * b337 + .5 b271 * b339 + .5 b271 * b340 + .5 b271 * b341 + .5 b271 * b342 + .5 b271 * b343 + b272^2 + .5 b272 * b286 + .5 b272 * b289 + .5 b272 * b318 + .5 b272 * b340 + .5 b272 * b341 + .5 b272 * b342 + .5 b272 * b343 + b272 * x451 + b272 * x452 + b273^2 + .5 b273 * b281 + .5 b273 * b282 + .5 b273 * b283 + b273 * b291 + .5 b273 * b322 + b273 * x456 + b274^2 + .5 b274 * b276 + .5 b274 * b277 + .5 b274 * b279 + .5 b274 * b288 + .5 b274 * b295 + .5 b274 * b296 + .5 b274 * b297 + .5 b274 * b307 + .5 b274 * b310 + b274 * b331 + .5 b274 * b334 + .5 b274 * b335 + .5 b274 * b336 + b274 * b337 + b274 * b339 + b274 * x472 + b275^2 + .5 b275 * b278 + .5 b275 * b279 + .5 b275 * b280 + .5 b275 * b284 + .5 b275 * b286 + .5 b275 * b287 + .5 b275 * b290 + .5 b275 * b294 + .5 b275 * b296 + .5 b275 * b300 + .5 b275 * b301 + .5 b275 * b309 + .5 b275 * b314 + .5 b275 * b317 + b275 * b319 + .5 b275 * b321 + .5 b275 * b324 + b275 * b326 + .5 b275 * b328 + .5 b275 * b330 + b275 * b332 + .5 b275 * b340 + .5 b275 * b341 + .5 b275 * b342 + .5 b275 * b343 + b276^2 + .5 b276 * b277 + .5 b276 * b279 + .5 b276 * b288 + .5 b276 * b295 + .5 b276 * b296 + .5 b276 * b297 + .5 b276 * b307 + .5 b276 * b310 + .5 b276 * b331 + .5 b276 * b334 + b276 * b335 + .5 b276 * b336 + .5 b276 * b337 + .5 b276 * b339 + b276 * x466 + b277^2 + .5 b277 * b279 + .5 b277 * b288 + .5 b277 * b295 + .5 b277 * b296 + .5 b277 * b297 + .5 b277 * b307 + .5 b277 * b310 + .5 b277 * b331 + .5 b277 * b334 + .5 b277 * b335 + b277 * b336 + .5 b277 * b337 + .5 b277 * b339 + b277 * x471 + b278^2 + .5 b278 * b284 + .5 b278 * b298 + .5 b278 * b300 + b278 * b301 + .5 b278 * b305 + .5 b278 * b308 + .5 b278 * b309 + .5 b278 * b311 + .5 b278 * b319 + b278 * b324 + .5 b278 * b326 + .5 b278 * b332 + b278 * x455 + b279^2 + .5 b279 * b280 + .5 b279 * b286 + .5 b279 * b287 + .5 b279 * b288 + .5 b279 * b290 + .5 b279 * b294 + .5 b279 * b295 + b279 * b296 + .5 b279 * b297 + .5 b279 * b307 + .5 b279 * b310 + .5 b279 * b314 + .5 b279 * b317 + .5 b279 * b319 + .5 b279 * b321 + .5 b279 * b326 + .5 b279 * b328 + .5 b279 * b330 + .5 b279 * b331 + .5 b279 * b332 + .5 b279 * b334 + .5 b279 * b335 + .5 b279 * b336 + .5 b279 * b337 + .5 b279 * b339 + .5 b279 * b340 + .5 b279 * b341 + .5 b279 * b342 + .5 b279 * b343 + b280^2 + .5 b280 * b286 + .5 b280 * b287 + .5 b280 * b290 + .5 b280 * b294 + .5 b280 * b296 + .5 b280 * b314 + .5 b280 * b317 + .5 b280 * b319 + .5 b280 * b321 + .5 b280 * b326 + b280 * b328 + b280 * b330 + .5 b280 * b332 + .5 b280 * b340 + .5 b280 * b341 + .5 b280 * b342 + .5 b280 * b343 + b280 * x473 + b281^2 + b281 * b282 + .5 b281 * b283 + .5 b281 * b291 + .5 b281 * b292 + .5 b281 * b320 + .5 b281 * b322 + .5 b281 * b323 + .5 b281 * b325 + b281 * x454 + b282^2 + .5 b282 * b283 + .5 b282 * b291 + .5 b282 * b292 + .5 b282 * b320 + .5 b282 * b322 + .5 b282 * b323 + .5 b282 * b325 + b282 * x454 + b283^2 + .5 b283 * b291 + .5 b283 * b322 + b283 * x474 + b284^2 + .5 b284 * b285 + b284 * b300 + .5 b284 * b301 + .5 b284 * b303 + .5 b284 * b306 + b284 * b309 + .5 b284 * b312 + .5 b284 * b319 + .5 b284 * b324 + .5 b284 * b326 + .5 b284 * b327 + .5 b284 * b332 + .5 b284 * b334 + b284 * x467 + b285^2 + .5 b285 * b300 + b285 * b303 + b285 * b306 + .5 b285 * b309 + b285 * b312 + .5 b285 * b317 + b285 * b327 + .5 b285 * b329 + .5 b285 * b334 + b285 * x467 + b286^2 + .5 b286 * b287 + .5 b286 * b290 + .5 b286 * b294 + .5 b286 * b296 + .5 b286 * b314 + .5 b286 * b317 + .5 b286 * b319 + .5 b286 * b321 + .5 b286 * b326 + .5 b286 * b328 + .5 b286 * b330 + .5 b286 * b332 + .5 b286 * b340 + .5 b286 * b341 + .5 b286 * b342 + .5 b286 * b343 + b286 * x451 + b287^2 + .5 b287 * b290 + .5 b287 * b294 + .5 b287 * b296 + b287 * b314 + .5 b287 * b317 + .5 b287 * b319 + b287 * b321 + .5 b287 * b326 + .5 b287 * b328 + .5 b287 * b330 + .5 b287 * b332 + .5 b287 * b340 + .5 b287 * b341 + .5 b287 * b342 + .5 b287 * b343 + b287 * x469 + b288^2 + b288 * b295 + .5 b288 * b296 + b288 * b297 + .5 b288 * b307 + b288 * b310 + .5 b288 * b329 + .5 b288 * b331 + .5 b288 * b334 + .5 b288 * b335 + .5 b288 * b336 + .5 b288 * b337 + .5 b288 * b339 + b288 * x464 + b289^2 + .5 b289 * b298 + .5 b289 * b299 + .5 b289 * b302 + .5 b289 * b305 + .5 b289 * b311 + .5 b289 * b316 + .5 b289 * b318 + .5 b289 * b323 + .5 b289 * b333 + .5 b289 * b338 + .5 b289 * b340 + .5 b289 * b341 + .5 b289 * b342 + .5 b289 * b343 + b289 * x452 + b290^2 + b290 * b294 + .5 b290 * b296 + .5 b290 * b314 + .5 b290 * b317 + .5 b290 * b319 + .5 b290 * b321 + .5 b290 * b326 + .5 b290 * b328 + .5 b290 * b330 + .5 b290 * b332 + .5 b290 * b340 + .5 b290 * b341 + .5 b290 * b342 + .5 b290 * b343 + b290 * x445 + b291^2 + .5 b291 * b322 + b291 * x456 + b292^2 + .5 b292 * b313 + .5 b292 * b320 + .5 b292 * b323 + .5 b292 * b325 + b292 * x454 + b292 * x465 + b293^2 + .5 b293 * b302 + .5 b293 * b304 + .5 b293 * b308 + .5 b293 * b315 + .5 b293 * b318 + b293 * x450 + b293 * x463 + b294^2 + .5 b294 * b296 + .5 b294 * b314 + .5 b294 * b317 + .5 b294 * b319 + .5 b294 * b321 + .5 b294 * b326 + .5 b294 * b328 + .5 b294 * b330 + .5 b294 * b332 + .5 b294 * b340 + .5 b294 * b341 + .5 b294 * b342 + .5 b294 * b343 + b294 * x445 + b295^2 + .5 b295 * b296 + b295 * b297 + .5 b295 * b307 + b295 * b310 + .5 b295 * b329 + .5 b295 * b331 + .5 b295 * b334 + .5 b295 * b335 + .5 b295 * b336 + .5 b295 * b337 + .5 b295 * b339 + b295 * x464 + b296^2 + .5 b296 * b297 + .5 b296 * b307 + .5 b296 * b310 + .5 b296 * b314 + .5 b296 * b317 + .5 b296 * b319 + .5 b296 * b321 + .5 b296 * b326 + .5 b296 * b328 + .5 b296 * b330 + .5 b296 * b331 + .5 b296 * b332 + .5 b296 * b334 + .5 b296 * b335 + .5 b296 * b336 + .5 b296 * b337 + .5 b296 * b339 + .5 b296 * b340 + .5 b296 * b341 + .5 b296 * b342 + .5 b296 * b343 + b297^2 + .5 b297 * b307 + b297 * b310 + .5 b297 * b329 + .5 b297 * b331 + .5 b297 * b334 + .5 b297 * b335 + .5 b297 * b336 + .5 b297 * b337 + .5 b297 * b339 + b297 * x464 + b298^2 + .5 b298 * b299 + .5 b298 * b301 + .5 b298 * b302 + b298 * b305 + .5 b298 * b308 + b298 * b311 + .5 b298 * b316 + .5 b298 * b323 + .5 b298 * b324 + .5 b298 * b333 + .5 b298 * b338 + b298 * x455 + b299^2 + .5 b299 * b302 + .5 b299 * b305 + .5 b299 * b311 + .5 b299 * b313 + .5 b299 * b316 + .5 b299 * b322 + .5 b299 * b323 + .5 b299 * b333 + .5 b299 * b338 + b299 * x462 + b300^2 + .5 b300 * b301 + .5 b300 * b303 + .5 b300 * b306 + b300 * b309 + .5 b300 * b312 + .5 b300 * b319 + .5 b300 * b324 + .5 b300 * b326 + .5 b300 * b327 + .5 b300 * b332 + .5 b300 * b334 + b300 * x467 + b301^2 + .5 b301 * b305 + .5 b301 * b308 + .5 b301 * b309 + .5 b301 * b311 + .5 b301 * b319 + b301 * b324 + .5 b301 * b326 + .5 b301 * b332 + b301 * x455 + b302^2 + .5 b302 * b304 + .5 b302 * b305 + .5 b302 * b311 + .5 b302 * b316 + .5 b302 * b323 + .5 b302 * b333 + .5 b302 * b338 + b302 * x463 + b303^2 + b303 * b306 + .5 b303 * b309 + b303 * b312 + .5 b303 * b317 + b303 * b327 + .5 b303 * b329 + .5 b303 * b334 + b303 * x467 + b304^2 + .5 b304 * b320 + b304 * x453 + b304 * x463 + b305^2 + .5 b305 * b308 + b305 * b311 + .5 b305 * b316 + .5 b305 * b323 + .5 b305 * b324 + .5 b305 * b333 + .5 b305 * b338 + b305 * x455 + b306^2 + .5 b306 * b309 + b306 * b312 + .5 b306 * b317 + b306 * b327 + .5 b306 * b329 + .5 b306 * b334 + b306 * x467 + b307^2 + .5 b307 * b310 + .5 b307 * b331 + .5 b307 * b334 + .5 b307 * b335 + .5 b307 * b336 + .5 b307 * b337 + .5 b307 * b339 + b307 * x468 + b308^2 + .5 b308 * b311 + .5 b308 * b315 + .5 b308 * b318 + .5 b308 * b324 + b308 * x450 + b308 * x455 + b309^2 + .5 b309 * b312 + .5 b309 * b319 + .5 b309 * b324 + .5 b309 * b326 + .5 b309 * b327 + .5 b309 * b332 + .5 b309 * b334 + b309 * x467 + b310^2 + .5 b310 * b329 + .5 b310 * b331 + .5 b310 * b334 + .5 b310 * b335 + .5 b310 * b336 + .5 b310 * b337 + .5 b310 * b339 + b310 * x464 + b311^2 + .5 b311 * b316 + .5 b311 * b323 + .5 b311 * b324 + .5 b311 * b333 + .5 b311 * b338 + b311 * x455 + b312^2 + .5 b312 * b317 + b312 * b327 + .5 b312 * b329 + .5 b312 * b334 + b312 * x467 + b313^2 + .5 b313 * b322 + b313 * x462 + b313 * x465 + b314^2 + .5 b314 * b317 + .5 b314 * b319 + b314 * b321 + .5 b314 * b326 + .5 b314 * b328 + .5 b314 * b330 + .5 b314 * b332 + .5 b314 * b340 + .5 b314 * b341 + .5 b314 * b342 + .5 b314 * b343 + b314 * x469 + b315^2 + .5 b315 * b316 + .5 b315 * b318 + .5 b315 * b338 + b315 * x450 + b315 * x460 + b316^2 + .5 b316 * b323 + .5 b316 * b333 + b316 * b338 + b316 * x460 + b317^2 + .5 b317 * b319 + .5 b317 * b321 + .5 b317 * b326 + .5 b317 * b327 + .5 b317 * b328 + .5 b317 * b329 + .5 b317 * b330 + .5 b317 * b332 + .5 b317 * b340 + .5 b317 * b341 + .5 b317 * b342 + .5 b317 * b343 + b318^2 + .5 b318 * b340 + .5 b318 * b341 + .5 b318 * b342 + .5 b318 * b343 + b318 * x450 + b318 * x452 + b319^2 + .5 b319 * b321 + .5 b319 * b324 + b319 * b326 + .5 b319 * b328 + .5 b319 * b330 + b319 * b332 + .5 b319 * b340 + .5 b319 * b341 + .5 b319 * b342 + .5 b319 * b343 + b320^2 + .5 b320 * b323 + .5 b320 * b325 + b320 * x453 + b320 * x454 + b321^2 + .5 b321 * b326 + .5 b321 * b328 + .5 b321 * b330 + .5 b321 * b332 + .5 b321 * b340 + .5 b321 * b341 + .5 b321 * b342 + .5 b321 * b343 + b321 * x469 + b322^2 + b322 * x462 + b323^2 + .5 b323 * b325 + .5 b323 * b333 + .5 b323 * b338 + b323 * x454 + b324^2 + .5 b324 * b326 + .5 b324 * b332 + b324 * x455 + b325^2 + b325 * x454 + b325 * x475 + b326^2 + .5 b326 * b328 + .5 b326 * b330 + b326 * b332 + .5 b326 * b340 + .5 b326 * b341 + .5 b326 * b342 + .5 b326 * b343 + b327^2 + .5 b327 * b329 + .5 b327 * b334 + b327 * x467 + b328^2 + b328 * b330 + .5 b328 * b332 + .5 b328 * b340 + .5 b328 * b341 + .5 b328 * b342 + .5 b328 * b343 + b328 * x473 + b329^2 + b329 * x464 + b330^2 + .5 b330 * b332 + .5 b330 * b340 + .5 b330 * b341 + .5 b330 * b342 + .5 b330 * b343 + b330 * x473 + b331^2 + .5 b331 * b334 + .5 b331 * b335 + .5 b331 * b336 + b331 * b337 + b331 * b339 + b331 * x472 + b332^2 + .5 b332 * b340 + .5 b332 * b341 + .5 b332 * b342 + .5 b332 * b343 + b333^2 + .5 b333 * b338 + b333 * x461 + b334^2 + .5 b334 * b335 + .5 b334 * b336 + .5 b334 * b337 + .5 b334 * b339 + b334 * x467 + b335^2 + .5 b335 * b336 + .5 b335 * b337 + .5 b335 * b339 + b335 * x466 + b336^2 + .5 b336 * b337 + .5 b336 * b339 + b336 * x471 + b337^2 + b337 * b339 + b337 * x472 + b338^2 + b338 * x460 + b339^2 + b339 * x472 + b340^2 + b340 * b341 + b340 * b342 + b340 * b343 + b340 * x452 + b341^2 + b341 * b342 + b341 * b343 + b341 * x452 + b342^2 + b342 * b343 + b342 * x452 + b343^2 + b343 * x452 + b344^2 + .5 b344 * b345 + .5 b344 * b353 + .5 b344 * b359 + .5 b344 * b360 + .5 b344 * b361 + .5 b344 * b364 + .5 b344 * b366 + .5 b344 * b368 + .5 b344 * b372 + .5 b344 * b373 + .5 b344 * b375 + .5 b344 * b376 + .5 b344 * b377 + .5 b344 * b380 + .5 b344 * b381 + .5 b344 * b383 + .5 b344 * b384 + .5 b344 * b385 + .5 b344 * b386 + .5 b344 * b391 + .5 b344 * b392 + .5 b344 * b407 + .5 b344 * b411 + b344 * x476 + b344 * x477 + b345^2 + .5 b345 * b348 + .5 b345 * b349 + .5 b345 * b353 + .5 b345 * b354 + .5 b345 * b358 + .5 b345 * b359 + .5 b345 * b360 + .5 b345 * b361 + b345 * b364 + .5 b345 * b368 + .5 b345 * b372 + .5 b345 * b373 + .5 b345 * b375 + .5 b345 * b376 + .5 b345 * b377 + b345 * b380 + .5 b345 * b381 + b345 * b383 + .5 b345 * b384 + .5 b345 * b385 + .5 b345 * b386 + .5 b345 * b391 + b345 * b392 + .5 b345 * b397 + .5 b345 * b399 + .5 b345 * b401 + .5 b345 * b404 + .5 b345 * b407 + .5 b345 * b411 + .5 b345 * b412 + .5 b345 * b414 + b345 * x476 + b346^2 + b346 * b347 + b346 * b370 + b346 * b371 + .5 b346 * b375 + .5 b346 * b377 + .5 b346 * b384 + .5 b346 * b386 + b346 * b405 + .5 b346 * b407 + b346 * x478 + b346 * x479 + b347^2 + b347 * b370 + b347 * b371 + .5 b347 * b375 + .5 b347 * b377 + .5 b347 * b384 + .5 b347 * b386 + b347 * b405 + .5 b347 * b407 + b347 * x478 + b347 * x479 + b348^2 + .5 b348 * b349 + b348 * b354 + b348 * b358 + .5 b348 * b362 + .5 b348 * b363 + .5 b348 * b364 + .5 b348 * b367 + .5 b348 * b378 + .5 b348 * b379 + .5 b348 * b380 + .5 b348 * b382 + .5 b348 * b383 + .5 b348 * b392 + .5 b348 * b394 + .5 b348 * b397 + .5 b348 * b398 + .5 b348 * b399 + .5 b348 * b401 + .5 b348 * b403 + .5 b348 * b404 + b348 * b412 + b348 * b414 + .5 b348 * b416 + b348 * x480 + b349^2 + .5 b349 * b350 + .5 b349 * b351 + .5 b349 * b352 + .5 b349 * b354 + .5 b349 * b356 + .5 b349 * b357 + .5 b349 * b358 + .5 b349 * b364 + .5 b349 * b365 + .5 b349 * b366 + .5 b349 * b369 + .5 b349 * b374 + .5 b349 * b380 + .5 b349 * b383 + .5 b349 * b387 + .5 b349 * b388 + .5 b349 * b389 + .5 b349 * b392 + .5 b349 * b395 + .5 b349 * b396 + b349 * b397 + b349 * b399 + .5 b349 * b400 + b349 * b401 + .5 b349 * b402 + b349 * b404 + .5 b349 * b406 + .5 b349 * b410 + .5 b349 * b412 + .5 b349 * b413 + .5 b349 * b414 + .5 b349 * b415 + .5 b349 * b417 + b350^2 + .5 b350 * b351 + b350 * b352 + .5 b350 * b356 + b350 * b357 + .5 b350 * b359 + .5 b350 * b365 + .5 b350 * b366 + .5 b350 * b368 + .5 b350 * b369 + .5 b350 * b373 + .5 b350 * b374 + .5 b350 * b381 + .5 b350 * b387 + .5 b350 * b388 + .5 b350 * b389 + b350 * b395 + .5 b350 * b396 + .5 b350 * b397 + .5 b350 * b399 + .5 b350 * b400 + .5 b350 * b401 + b350 * b402 + .5 b350 * b404 + .5 b350 * b406 + .5 b350 * b410 + .5 b350 * b411 + .5 b350 * b413 + .5 b350 * b415 + .5 b350 * b417 + b351^2 + .5 b351 * b352 + .5 b351 * b356 + .5 b351 * b357 + .5 b351 * b365 + .5 b351 * b366 + .5 b351 * b369 + .5 b351 * b374 + .5 b351 * b387 + .5 b351 * b388 + b351 * b389 + .5 b351 * b395 + b351 * b396 + .5 b351 * b397 + .5 b351 * b399 + b351 * b400 + .5 b351 * b401 + .5 b351 * b402 + .5 b351 * b404 + .5 b351 * b406 + .5 b351 * b410 + b351 * b413 + .5 b351 * b415 + .5 b351 * b417 + b351 * x481 + b352^2 + .5 b352 * b356 + b352 * b357 + .5 b352 * b359 + .5 b352 * b365 + .5 b352 * b366 + .5 b352 * b368 + .5 b352 * b369 + .5 b352 * b373 + .5 b352 * b374 + .5 b352 * b381 + .5 b352 * b387 + .5 b352 * b388 + .5 b352 * b389 + b352 * b395 + .5 b352 * b396 + .5 b352 * b397 + .5 b352 * b399 + .5 b352 * b400 + .5 b352 * b401 + b352 * b402 + .5 b352 * b404 + .5 b352 * b406 + .5 b352 * b410 + .5 b352 * b411 + .5 b352 * b413 + .5 b352 * b415 + .5 b352 * b417 + b353^2 + .5 b353 * b359 + b353 * b360 + b353 * b361 + .5 b353 * b363 + .5 b353 * b364 + .5 b353 * b365 + .5 b353 * b368 + .5 b353 * b369 + b353 * b372 + .5 b353 * b373 + .5 b353 * b374 + .5 b353 * b375 + .5 b353 * b376 + .5 b353 * b377 + .5 b353 * b378 + .5 b353 * b379 + .5 b353 * b380 + .5 b353 * b381 + .5 b353 * b383 + .5 b353 * b384 + b353 * b385 + .5 b353 * b386 + .5 b353 * b391 + .5 b353 * b392 + .5 b353 * b394 + .5 b353 * b403 + .5 b353 * b407 + .5 b353 * b410 + .5 b353 * b411 + .5 b353 * b415 + b353 * x476 + b354^2 + b354 * b358 + .5 b354 * b362 + .5 b354 * b363 + .5 b354 * b364 + .5 b354 * b367 + .5 b354 * b378 + .5 b354 * b379 + .5 b354 * b380 + .5 b354 * b382 + .5 b354 * b383 + .5 b354 * b392 + .5 b354 * b394 + .5 b354 * b397 + .5 b354 * b398 + .5 b354 * b399 + .5 b354 * b401 + .5 b354 * b403 + .5 b354 * b404 + b354 * b412 + b354 * b414 + .5 b354 * b416 + b354 * x480 + b355^2 + .5 b355 * b356 + .5 b355 * b362 + .5 b355 * b367 + .5 b355 * b382 + .5 b355 * b387 + .5 b355 * b388 + b355 * b390 + b355 * b393 + .5 b355 * b398 + .5 b355 * b406 + b355 * b408 + b355 * b409 + .5 b355 * b416 + .5 b355 * b417 + b355 * x482 + b356^2 + .5 b356 * b357 + .5 b356 * b362 + .5 b356 * b365 + .5 b356 * b366 + .5 b356 * b367 + .5 b356 * b369 + .5 b356 * b374 + .5 b356 * b382 + b356 * b387 + b356 * b388 + .5 b356 * b389 + .5 b356 * b390 + .5 b356 * b393 + .5 b356 * b395 + .5 b356 * b396 + .5 b356 * b397 + .5 b356 * b398 + .5 b356 * b399 + .5 b356 * b400 + .5 b356 * b401 + .5 b356 * b402 + .5 b356 * b404 + b356 * b406 + .5 b356 * b408 + .5 b356 * b409 + .5 b356 * b410 + .5 b356 * b413 + .5 b356 * b415 + .5 b356 * b416 + b356 * b417 + b357^2 + .5 b357 * b359 + .5 b357 * b365 + .5 b357 * b366 + .5 b357 * b368 + .5 b357 * b369 + .5 b357 * b373 + .5 b357 * b374 + .5 b357 * b381 + .5 b357 * b387 + .5 b357 * b388 + .5 b357 * b389 + b357 * b395 + .5 b357 * b396 + .5 b357 * b397 + .5 b357 * b399 + .5 b357 * b400 + .5 b357 * b401 + b357 * b402 + .5 b357 * b404 + .5 b357 * b406 + .5 b357 * b410 + .5 b357 * b411 + .5 b357 * b413 + .5 b357 * b415 + .5 b357 * b417 + b358^2 + .5 b358 * b362 + .5 b358 * b363 + .5 b358 * b364 + .5 b358 * b367 + .5 b358 * b378 + .5 b358 * b379 + .5 b358 * b380 + .5 b358 * b382 + .5 b358 * b383 + .5 b358 * b392 + .5 b358 * b394 + .5 b358 * b397 + .5 b358 * b398 + .5 b358 * b399 + .5 b358 * b401 + .5 b358 * b403 + .5 b358 * b404 + b358 * b412 + b358 * b414 + .5 b358 * b416 + b358 * x480 + b359^2 + .5 b359 * b360 + .5 b359 * b361 + .5 b359 * b364 + b359 * b368 + .5 b359 * b372 + b359 * b373 + .5 b359 * b375 + .5 b359 * b376 + .5 b359 * b377 + .5 b359 * b380 + b359 * b381 + .5 b359 * b383 + .5 b359 * b384 + .5 b359 * b385 + .5 b359 * b386 + .5 b359 * b391 + .5 b359 * b392 + .5 b359 * b395 + .5 b359 * b402 + .5 b359 * b407 + b359 * b411 + b359 * x476 + b360^2 + b360 * b361 + .5 b360 * b363 + .5 b360 * b364 + .5 b360 * b365 + .5 b360 * b368 + .5 b360 * b369 + b360 * b372 + .5 b360 * b373 + .5 b360 * b374 + .5 b360 * b375 + .5 b360 * b376 + .5 b360 * b377 + .5 b360 * b378 + .5 b360 * b379 + .5 b360 * b380 + .5 b360 * b381 + .5 b360 * b383 + .5 b360 * b384 + b360 * b385 + .5 b360 * b386 + .5 b360 * b391 + .5 b360 * b392 + .5 b360 * b394 + .5 b360 * b403 + .5 b360 * b407 + .5 b360 * b410 + .5 b360 * b411 + .5 b360 * b415 + b360 * x476 + b361^2 + .5 b361 * b363 + .5 b361 * b364 + .5 b361 * b365 + .5 b361 * b368 + .5 b361 * b369 + b361 * b372 + .5 b361 * b373 + .5 b361 * b374 + .5 b361 * b375 + .5 b361 * b376 + .5 b361 * b377 + .5 b361 * b378 + .5 b361 * b379 + .5 b361 * b380 + .5 b361 * b381 + .5 b361 * b383 + .5 b361 * b384 + b361 * b385 + .5 b361 * b386 + .5 b361 * b391 + .5 b361 * b392 + .5 b361 * b394 + .5 b361 * b403 + .5 b361 * b407 + .5 b361 * b410 + .5 b361 * b411 + .5 b361 * b415 + b361 * x476 + b362^2 + .5 b362 * b363 + b362 * b367 + .5 b362 * b378 + .5 b362 * b379 + b362 * b382 + .5 b362 * b387 + .5 b362 * b388 + .5 b362 * b390 + .5 b362 * b393 + .5 b362 * b394 + b362 * b398 + .5 b362 * b403 + .5 b362 * b406 + .5 b362 * b408 + .5 b362 * b409 + .5 b362 * b412 + .5 b362 * b414 + b362 * b416 + .5 b362 * b417 + b362 * x480 + b363^2 + .5 b363 * b365 + .5 b363 * b367 + .5 b363 * b369 + .5 b363 * b372 + .5 b363 * b374 + b363 * b378 + b363 * b379 + .5 b363 * b382 + .5 b363 * b385 + b363 * b394 + .5 b363 * b398 + b363 * b403 + .5 b363 * b410 + .5 b363 * b412 + .5 b363 * b414 + .5 b363 * b415 + .5 b363 * b416 + b363 * x480 + b364^2 + .5 b364 * b368 + .5 b364 * b372 + .5 b364 * b373 + .5 b364 * b375 + .5 b364 * b376 + .5 b364 * b377 + b364 * b380 + .5 b364 * b381 + b364 * b383 + .5 b364 * b384 + .5 b364 * b385 + .5 b364 * b386 + .5 b364 * b391 + b364 * b392 + .5 b364 * b397 + .5 b364 * b399 + .5 b364 * b401 + .5 b364 * b404 + .5 b364 * b407 + .5 b364 * b411 + .5 b364 * b412 + .5 b364 * b414 + b364 * x476 + b365^2 + .5 b365 * b366 + b365 * b369 + .5 b365 * b372 + b365 * b374 + .5 b365 * b378 + .5 b365 * b379 + .5 b365 * b385 + .5 b365 * b387 + .5 b365 * b388 + .5 b365 * b389 + .5 b365 * b394 + .5 b365 * b395 + .5 b365 * b396 + .5 b365 * b397 + .5 b365 * b399 + .5 b365 * b400 + .5 b365 * b401 + .5 b365 * b402 + .5 b365 * b403 + .5 b365 * b404 + .5 b365 * b406 + b365 * b410 + .5 b365 * b413 + b365 * b415 + .5 b365 * b417 + b366^2 + .5 b366 * b369 + .5 b366 * b374 + .5 b366 * b387 + .5 b366 * b388 + .5 b366 * b389 + .5 b366 * b395 + .5 b366 * b396 + .5 b366 * b397 + .5 b366 * b399 + .5 b366 * b400 + .5 b366 * b401 + .5 b366 * b402 + .5 b366 * b404 + .5 b366 * b406 + .5 b366 * b410 + .5 b366 * b413 + .5 b366 * b415 + .5 b366 * b417 + b366 * x477 + b367^2 + .5 b367 * b378 + .5 b367 * b379 + b367 * b382 + .5 b367 * b387 + .5 b367 * b388 + .5 b367 * b390 + .5 b367 * b393 + .5 b367 * b394 + b367 * b398 + .5 b367 * b403 + .5 b367 * b406 + .5 b367 * b408 + .5 b367 * b409 + .5 b367 * b412 + .5 b367 * b414 + b367 * b416 + .5 b367 * b417 + b367 * x480 + b368^2 + .5 b368 * b372 + b368 * b373 + .5 b368 * b375 + .5 b368 * b376 + .5 b368 * b377 + .5 b368 * b380 + b368 * b381 + .5 b368 * b383 + .5 b368 * b384 + .5 b368 * b385 + .5 b368 * b386 + .5 b368 * b391 + .5 b368 * b392 + .5 b368 * b395 + .5 b368 * b402 + .5 b368 * b407 + b368 * b411 + b368 * x476 + b369^2 + .5 b369 * b372 + b369 * b374 + .5 b369 * b378 + .5 b369 * b379 + .5 b369 * b385 + .5 b369 * b387 + .5 b369 * b388 + .5 b369 * b389 + .5 b369 * b394 + .5 b369 * b395 + .5 b369 * b396 + .5 b369 * b397 + .5 b369 * b399 + .5 b369 * b400 + .5 b369 * b401 + .5 b369 * b402 + .5 b369 * b403 + .5 b369 * b404 + .5 b369 * b406 + b369 * b410 + .5 b369 * b413 + b369 * b415 + .5 b369 * b417 + b370^2 + b370 * b371 + .5 b370 * b375 + .5 b370 * b377 + .5 b370 * b384 + .5 b370 * b386 + b370 * b405 + .5 b370 * b407 + b370 * x478 + b370 * x479 + b371^2 + .5 b371 * b375 + .5 b371 * b377 + .5 b371 * b384 + .5 b371 * b386 + b371 * b405 + .5 b371 * b407 + b371 * x478 + b371 * x479 + b372^2 + .5 b372 * b373 + .5 b372 * b374 + .5 b372 * b375 + .5 b372 * b376 + .5 b372 * b377 + .5 b372 * b378 + .5 b372 * b379 + .5 b372 * b380 + .5 b372 * b381 + .5 b372 * b383 + .5 b372 * b384 + b372 * b385 + .5 b372 * b386 + .5 b372 * b391 + .5 b372 * b392 + .5 b372 * b394 + .5 b372 * b403 + .5 b372 * b407 + .5 b372 * b410 + .5 b372 * b411 + .5 b372 * b415 + b372 * x476 + b373^2 + .5 b373 * b375 + .5 b373 * b376 + .5 b373 * b377 + .5 b373 * b380 + b373 * b381 + .5 b373 * b383 + .5 b373 * b384 + .5 b373 * b385 + .5 b373 * b386 + .5 b373 * b391 + .5 b373 * b392 + .5 b373 * b395 + .5 b373 * b402 + .5 b373 * b407 + b373 * b411 + b373 * x476 + b374^2 + .5 b374 * b378 + .5 b374 * b379 + .5 b374 * b385 + .5 b374 * b387 + .5 b374 * b388 + .5 b374 * b389 + .5 b374 * b394 + .5 b374 * b395 + .5 b374 * b396 + .5 b374 * b397 + .5 b374 * b399 + .5 b374 * b400 + .5 b374 * b401 + .5 b374 * b402 + .5 b374 * b403 + .5 b374 * b404 + .5 b374 * b406 + b374 * b410 + .5 b374 * b413 + b374 * b415 + .5 b374 * b417 + b375^2 + .5 b375 * b376 + b375 * b377 + .5 b375 * b380 + .5 b375 * b381 + .5 b375 * b383 + b375 * b384 + .5 b375 * b385 + b375 * b386 + .5 b375 * b391 + .5 b375 * b392 + .5 b375 * b405 + b375 * b407 + .5 b375 * b411 + b375 * x476 + b375 * x478 + b376^2 + .5 b376 * b377 + .5 b376 * b380 + .5 b376 * b381 + .5 b376 * b383 + .5 b376 * b384 + .5 b376 * b385 + .5 b376 * b386 + b376 * b391 + .5 b376 * b392 + .5 b376 * b407 + .5 b376 * b411 + b376 * x476 + b376 * x483 + b377^2 + .5 b377 * b380 + .5 b377 * b381 + .5 b377 * b383 + b377 * b384 + .5 b377 * b385 + b377 * b386 + .5 b377 * b391 + .5 b377 * b392 + .5 b377 * b405 + b377 * b407 + .5 b377 * b411 + b377 * x476 + b377 * x478 + b378^2 + b378 * b379 + .5 b378 * b382 + .5 b378 * b385 + b378 * b394 + .5 b378 * b398 + b378 * b403 + .5 b378 * b410 + .5 b378 * b412 + .5 b378 * b414 + .5 b378 * b415 + .5 b378 * b416 + b378 * x480 + b379^2 + .5 b379 * b382 + .5 b379 * b385 + b379 * b394 + .5 b379 * b398 + b379 * b403 + .5 b379 * b410 + .5 b379 * b412 + .5 b379 * b414 + .5 b379 * b415 + .5 b379 * b416 + b379 * x480 + b380^2 + .5 b380 * b381 + b380 * b383 + .5 b380 * b384 + .5 b380 * b385 + .5 b380 * b386 + .5 b380 * b391 + b380 * b392 + .5 b380 * b397 + .5 b380 * b399 + .5 b380 * b401 + .5 b380 * b404 + .5 b380 * b407 + .5 b380 * b411 + .5 b380 * b412 + .5 b380 * b414 + b380 * x476 + b381^2 + .5 b381 * b383 + .5 b381 * b384 + .5 b381 * b385 + .5 b381 * b386 + .5 b381 * b391 + .5 b381 * b392 + .5 b381 * b395 + .5 b381 * b402 + .5 b381 * b407 + b381 * b411 + b381 * x476 + b382^2 + .5 b382 * b387 + .5 b382 * b388 + .5 b382 * b390 + .5 b382 * b393 + .5 b382 * b394 + b382 * b398 + .5 b382 * b403 + .5 b382 * b406 + .5 b382 * b408 + .5 b382 * b409 + .5 b382 * b412 + .5 b382 * b414 + b382 * b416 + .5 b382 * b417 + b382 * x480 + b383^2 + .5 b383 * b384 + .5 b383 * b385 + .5 b383 * b386 + .5 b383 * b391 + b383 * b392 + .5 b383 * b397 + .5 b383 * b399 + .5 b383 * b401 + .5 b383 * b404 + .5 b383 * b407 + .5 b383 * b411 + .5 b383 * b412 + .5 b383 * b414 + b383 * x476 + b384^2 + .5 b384 * b385 + b384 * b386 + .5 b384 * b391 + .5 b384 * b392 + .5 b384 * b405 + b384 * b407 + .5 b384 * b411 + b384 * x476 + b384 * x478 + b385^2 + .5 b385 * b386 + .5 b385 * b391 + .5 b385 * b392 + .5 b385 * b394 + .5 b385 * b403 + .5 b385 * b407 + .5 b385 * b410 + .5 b385 * b411 + .5 b385 * b415 + b385 * x476 + b386^2 + .5 b386 * b391 + .5 b386 * b392 + .5 b386 * b405 + b386 * b407 + .5 b386 * b411 + b386 * x476 + b386 * x478 + b387^2 + b387 * b388 + .5 b387 * b389 + .5 b387 * b390 + .5 b387 * b393 + .5 b387 * b395 + .5 b387 * b396 + .5 b387 * b397 + .5 b387 * b398 + .5 b387 * b399 + .5 b387 * b400 + .5 b387 * b401 + .5 b387 * b402 + .5 b387 * b404 + b387 * b406 + .5 b387 * b408 + .5 b387 * b409 + .5 b387 * b410 + .5 b387 * b413 + .5 b387 * b415 + .5 b387 * b416 + b387 * b417 + b388^2 + .5 b388 * b389 + .5 b388 * b390 + .5 b388 * b393 + .5 b388 * b395 + .5 b388 * b396 + .5 b388 * b397 + .5 b388 * b398 + .5 b388 * b399 + .5 b388 * b400 + .5 b388 * b401 + .5 b388 * b402 + .5 b388 * b404 + b388 * b406 + .5 b388 * b408 + .5 b388 * b409 + .5 b388 * b410 + .5 b388 * b413 + .5 b388 * b415 + .5 b388 * b416 + b388 * b417 + b389^2 + .5 b389 * b395 + b389 * b396 + .5 b389 * b397 + .5 b389 * b399 + b389 * b400 + .5 b389 * b401 + .5 b389 * b402 + .5 b389 * b404 + .5 b389 * b406 + .5 b389 * b410 + b389 * b413 + .5 b389 * b415 + .5 b389 * b417 + b389 * x481 + b390^2 + b390 * b393 + .5 b390 * b398 + .5 b390 * b406 + b390 * b408 + b390 * b409 + .5 b390 * b416 + .5 b390 * b417 + b390 * x482 + b391^2 + .5 b391 * b392 + .5 b391 * b407 + .5 b391 * b411 + b391 * x476 + b391 * x483 + b392^2 + .5 b392 * b397 + .5 b392 * b399 + .5 b392 * b401 + .5 b392 * b404 + .5 b392 * b407 + .5 b392 * b411 + .5 b392 * b412 + .5 b392 * b414 + b392 * x476 + b393^2 + .5 b393 * b398 + .5 b393 * b406 + b393 * b408 + b393 * b409 + .5 b393 * b416 + .5 b393 * b417 + b393 * x482 + b394^2 + .5 b394 * b398 + b394 * b403 + .5 b394 * b410 + .5 b394 * b412 + .5 b394 * b414 + .5 b394 * b415 + .5 b394 * b416 + b394 * x480 + b395^2 + .5 b395 * b396 + .5 b395 * b397 + .5 b395 * b399 + .5 b395 * b400 + .5 b395 * b401 + b395 * b402 + .5 b395 * b404 + .5 b395 * b406 + .5 b395 * b410 + .5 b395 * b411 + .5 b395 * b413 + .5 b395 * b415 + .5 b395 * b417 + b396^2 + .5 b396 * b397 + .5 b396 * b399 + b396 * b400 + .5 b396 * b401 + .5 b396 * b402 + .5 b396 * b404 + .5 b396 * b406 + .5 b396 * b410 + b396 * b413 + .5 b396 * b415 + .5 b396 * b417 + b396 * x481 + b397^2 + b397 * b399 + .5 b397 * b400 + b397 * b401 + .5 b397 * b402 + b397 * b404 + .5 b397 * b406 + .5 b397 * b410 + .5 b397 * b412 + .5 b397 * b413 + .5 b397 * b414 + .5 b397 * b415 + .5 b397 * b417 + b398^2 + .5 b398 * b403 + .5 b398 * b406 + .5 b398 * b408 + .5 b398 * b409 + .5 b398 * b412 + .5 b398 * b414 + b398 * b416 + .5 b398 * b417 + b398 * x480 + b399^2 + .5 b399 * b400 + b399 * b401 + .5 b399 * b402 + b399 * b404 + .5 b399 * b406 + .5 b399 * b410 + .5 b399 * b412 + .5 b399 * b413 + .5 b399 * b414 + .5 b399 * b415 + .5 b399 * b417 + b400^2 + .5 b400 * b401 + .5 b400 * b402 + .5 b400 * b404 + .5 b400 * b406 + .5 b400 * b410 + b400 * b413 + .5 b400 * b415 + .5 b400 * b417 + b400 * x481 + b401^2 + .5 b401 * b402 + b401 * b404 + .5 b401 * b406 + .5 b401 * b410 + .5 b401 * b412 + .5 b401 * b413 + .5 b401 * b414 + .5 b401 * b415 + .5 b401 * b417 + b402^2 + .5 b402 * b404 + .5 b402 * b406 + .5 b402 * b410 + .5 b402 * b411 + .5 b402 * b413 + .5 b402 * b415 + .5 b402 * b417 + b403^2 + .5 b403 * b410 + .5 b403 * b412 + .5 b403 * b414 + .5 b403 * b415 + .5 b403 * b416 + b403 * x480 + b404^2 + .5 b404 * b406 + .5 b404 * b410 + .5 b404 * b412 + .5 b404 * b413 + .5 b404 * b414 + .5 b404 * b415 + .5 b404 * b417 + b405^2 + .5 b405 * b407 + b405 * x478 + b405 * x479 + b406^2 + .5 b406 * b408 + .5 b406 * b409 + .5 b406 * b410 + .5 b406 * b413 + .5 b406 * b415 + .5 b406 * b416 + b406 * b417 + b407^2 + .5 b407 * b411 + b407 * x476 + b407 * x478 + b408^2 + b408 * b409 + .5 b408 * b416 + .5 b408 * b417 + b408 * x482 + b409^2 + .5 b409 * b416 + .5 b409 * b417 + b409 * x482 + b410^2 + .5 b410 * b413 + b410 * b415 + .5 b410 * b417 + b411^2 + b411 * x476 + b412^2 + b412 * b414 + .5 b412 * b416 + b412 * x480 + b413^2 + .5 b413 * b415 + .5 b413 * b417 + b413 * x481 + b414^2 + .5 b414 * b416 + b414 * x480 + b415^2 + .5 b415 * b417 + b416^2 + .5 b416 * b417 + b416 * x480 + b417^2 + b418^2 + b418 * b419 + .5 b418 * b420 + .5 b418 * b421 + .5 b418 * b422 + b418 * b423 + b418 * b424 + .5 b418 * b425 + b418 * b426 + .5 b418 * b427 + b418 * x484 + b418 * x485 + b419^2 + .5 b419 * b420 + .5 b419 * b421 + .5 b419 * b422 + b419 * b423 + b419 * b424 + .5 b419 * b425 + b419 * b426 + .5 b419 * b427 + b419 * x484 + b419 * x485 + b420^2 + b420 * b421 + b420 * b422 + .5 b420 * b423 + .5 b420 * b424 + b420 * b425 + .5 b420 * b426 + b420 * b427 + b420 * x484 + b420 * x486 + b421^2 + b421 * b422 + .5 b421 * b423 + .5 b421 * b424 + b421 * b425 + .5 b421 * b426 + b421 * b427 + b421 * x484 + b421 * x486 + b422^2 + .5 b422 * b423 + .5 b422 * b424 + b422 * b425 + .5 b422 * b426 + b422 * b427 + b422 * x484 + b422 * x486 + b423^2 + b423 * b424 + .5 b423 * b425 + b423 * b426 + .5 b423 * b427 + b423 * x484 + b423 * x485 + b424^2 + .5 b424 * b425 + b424 * b426 + .5 b424 * b427 + b424 * x484 + b424 * x485 + b425^2 + .5 b425 * b426 + b425 * b427 + b425 * x484 + b425 * x486 + b426^2 + .5 b426 * b427 + b426 * x484 + b426 * x485 + b427^2 + b427 * x484 + b427 * x486 + x428^2 + x429^2 + x430^2 + x431^2 + x432^2 + x433^2 + x434^2 + x435^2 + x436^2 + x437^2 + x438^2 + x439^2 + x440^2 + x441^2 + x442^2 + x443^2 + x444^2 + x445^2 + x446^2 + x447^2 + x448^2 + x449^2 + x450^2 + x451^2 + x452^2 + x453^2 + x454^2 + x455^2 + x456^2 + x457^2 + x458^2 + x459^2 + x460^2 + x461^2 + x462^2 + x463^2 + x464^2 + x465^2 + x466^2 + x467^2 + x468^2 + x469^2 + x470^2 + x471^2 + x472^2 + x473^2 + x474^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 ] <= 208.3333 e4: - b139 + b343 >= 0 e5: b139 - b340 >= 0 e6: b340 - b341 >= 0 e7: b341 - b342 >= 0 e8: b235 - b241 >= 0 e9: - b236 + b241 >= 0 e10: b236 - b336 >= 0 e11: - b277 + b336 >= 0 e12: b197 - b294 >= 0 e13: - b267 + b294 >= 0 e14: b267 - b290 >= 0 e15: - b143 + b290 >= 0 e16: b102 - b103 >= 0 e17: - b100 + b103 >= 0 e18: b100 - b107 >= 0 e19: - b55 + b107 >= 0 e20: - b376 + b391 >= 0 e21: - b375 + b377 >= 0 e22: b375 - b407 >= 0 e23: - b384 + b407 >= 0 e24: b384 - b386 >= 0 e25: - b359 + b373 >= 0 e26: b359 - b381 >= 0 e27: - b368 + b381 >= 0 e28: b368 - b411 >= 0 e29: b360 - b385 >= 0 e30: - b372 + b385 >= 0 e31: - b361 + b372 >= 0 e32: - b353 + b361 >= 0 e33: - b345 + b383 >= 0 e34: b345 - b392 >= 0 e35: - b364 + b392 >= 0 e36: b364 - b380 >= 0 e37: - b60 + b116 >= 0 e38: b60 - b126 >= 0 e39: - b123 + b126 >= 0 e40: b123 - b132 >= 0 e41: - b108 + b109 >= 0 e42: - b104 + b108 >= 0 e43: - b58 + b104 >= 0 e44: b58 - b101 >= 0 e45: - b110 + b111 >= 0 e46: - b59 + b110 >= 0 e47: b59 - b113 >= 0 e48: b113 - b114 >= 0 e49: b99 - b112 >= 0 e50: - b56 + b112 >= 0 e51: b56 - b105 >= 0 e52: b105 - b106 >= 0 e53: - b47 + b96 >= 0 e54: b47 - b90 >= 0 e55: b48 - b92 >= 0 e56: b92 - b93 >= 0 e57: - b87 + b93 >= 0 e58: b87 - b91 >= 0 e59: - b95 + b98 >= 0 e60: - b50 + b125 >= 0 e61: b50 - b88 >= 0 e62: - b49 + b88 >= 0 e63: b49 - b89 >= 0 e64: b41 - b76 >= 0 e65: - b40 + b76 >= 0 e66: - b39 + b40 >= 0 e67: b39 - b86 >= 0 e68: - b78 + b80 >= 0 e69: - b44 + b78 >= 0 e70: b44 - b45 >= 0 e71: b45 - b77 >= 0 e72: b43 - b83 >= 0 e73: - b42 + b83 >= 0 e74: b42 - b85 >= 0 e75: - b73 + b85 >= 0 e76: b137 - b141 >= 0 e77: - b138 + b141 >= 0 e78: - b131 + b138 >= 0 e79: b131 - b135 >= 0 e80: b51 - b64 >= 0 e81: b64 - b65 >= 0 e82: b53 - b61 >= 0 e83: b61 - b62 >= 0 e84: b62 - b71 >= 0 e85: - b68 + b71 >= 0 e86: - b52 + b69 >= 0 e87: b52 - b66 >= 0 e88: - b63 + b66 >= 0 e89: b63 - b67 >= 0 e90: - b72 + b75 >= 0 e91: b72 - b84 >= 0 e92: - b46 + b84 >= 0 e93: b46 - b81 >= 0 e94: - b54 + b118 >= 0 e95: b54 - b82 >= 0 e96: b82 - b175 >= 0 e97: - b74 + b175 >= 0 e98: - b355 + b390 >= 0 e99: b355 - b408 >= 0 e100: b408 - b409 >= 0 e101: - b393 + b409 >= 0 e102: b199 - b269 >= 0 e103: b269 - b321 >= 0 e104: - b314 + b321 >= 0 e105: - b287 + b314 >= 0 e106: b205 - b260 >= 0 e107: b258 - b320 >= 0 e108: - b165 + b320 >= 0 e109: - b150 + b165 >= 0 e110: - b142 + b150 >= 0 e111: b158 - b304 >= 0 e112: - b263 + b304 >= 0 e113: - b240 + b263 >= 0 e114: - b232 + b237 >= 0 e115: - b144 + b232 >= 0 e116: b144 - b196 >= 0 e117: b196 - b308 >= 0 e118: b129 - b136 >= 0 e119: - b121 + b136 >= 0 e120: - b119 + b121 >= 0 e121: - b115 + b119 >= 0 e122: b239 - b293 >= 0 e123: - b174 + b293 >= 0 e124: - b173 + b174 >= 0 e125: - b212 + b217 >= 0 e126: b212 - b215 >= 0 e127: b215 - b315 >= 0 e128: - b190 + b315 >= 0 e129: - b378 + b394 >= 0 e130: - b363 + b378 >= 0 e131: b363 - b379 >= 0 e132: b379 - b403 >= 0 e133: b362 - b367 >= 0 e134: b367 - b382 >= 0 e135: b382 - b398 >= 0 e136: b398 - b416 >= 0 e137: b348 - b414 >= 0 e138: - b358 + b414 >= 0 e139: b358 - b412 >= 0 e140: - b354 + b412 >= 0 e141: b279 - b296 >= 0 e142: - b261 + b296 >= 0 e143: - b185 + b261 >= 0 e144: b185 - b271 >= 0 e145: b243 - b274 >= 0 e146: b274 - b331 >= 0 e147: b331 - b339 >= 0 e148: - b337 + b339 >= 0 e149: - b238 + b257 >= 0 e150: b238 - b334 >= 0 e151: - b210 + b334 >= 0 e152: b210 - b222 >= 0 e153: - b206 + b288 >= 0 e154: b206 - b297 >= 0 e155: - b295 + b297 >= 0 e156: b295 - b310 >= 0 e157: b192 - b262 >= 0 e158: - b242 + b262 >= 0 e159: - b231 + b242 >= 0 e160: b231 - b307 >= 0 e161: - b128 + b130 >= 0 e162: - b120 + b128 >= 0 e163: b120 - b127 >= 0 e164: b127 - b140 >= 0 e165: - b351 + b389 >= 0 e166: b351 - b400 >= 0 e167: b400 - b413 >= 0 e168: - b396 + b413 >= 0 e169: - b350 + b357 >= 0 e170: b350 - b352 >= 0 e171: b352 - b402 >= 0 e172: - b395 + b402 >= 0 e173: - b369 + b374 >= 0 e174: b369 - b410 >= 0 e175: b410 - b415 >= 0 e176: - b365 + b415 >= 0 e177: b356 - b388 >= 0 e178: b388 - b417 >= 0 e179: - b387 + b417 >= 0 e180: b387 - b406 >= 0 e181: - b349 + b404 >= 0 e182: b349 - b397 >= 0 e183: b397 - b399 >= 0 e184: b399 - b401 >= 0 e185: - b163 + b227 >= 0 e186: - b146 + b163 >= 0 e187: b146 - b195 >= 0 e188: - b177 + b195 >= 0 e189: - b164 + b171 >= 0 e190: b164 - b230 >= 0 e191: b166 - b276 >= 0 e192: - b207 + b276 >= 0 e193: - b180 + b207 >= 0 e194: b180 - b335 >= 0 e195: - b149 + b160 >= 0 e196: b149 - b233 >= 0 e197: - b211 + b233 >= 0 e198: - b347 + b371 >= 0 e199: b347 - b370 >= 0 e200: - b346 + b370 >= 0 e201: b346 - b405 >= 0 e202: - b168 + b203 >= 0 e203: - b153 + b168 >= 0 e204: b153 - b204 >= 0 e205: b204 - b317 >= 0 e206: b312 - b327 >= 0 e207: - b303 + b327 >= 0 e208: - b285 + b303 >= 0 e209: b285 - b306 >= 0 e210: b159 - b176 >= 0 e211: b176 - b329 >= 0 e212: - b169 + b329 >= 0 e213: b169 - b270 >= 0 e214: b156 - b273 >= 0 e215: b273 - b291 >= 0 e216: - b145 + b291 >= 0 e217: b145 - b220 >= 0 e218: b189 - b209 >= 0 e219: - b200 + b209 >= 0 e220: b200 - b322 >= 0 e221: - b256 + b322 >= 0 e222: b198 - b259 >= 0 e223: b259 - b282 >= 0 e224: - b201 + b282 >= 0 e225: b201 - b281 >= 0 e226: - b228 + b244 >= 0 e227: b228 - b253 >= 0 e228: b253 - b313 >= 0 e229: - b208 + b313 >= 0 e230: b162 - b268 >= 0 e231: - b251 + b268 >= 0 e232: b251 - b292 >= 0 e233: - b170 + b292 >= 0 e234: b264 - b330 >= 0 e235: - b280 + b330 >= 0 e236: - b248 + b280 >= 0 e237: b248 - b328 >= 0 e238: b193 - b255 >= 0 e239: - b225 + b255 >= 0 e240: - b216 + b225 >= 0 e241: b216 - b289 >= 0 e242: b298 - b311 >= 0 e243: - b194 + b311 >= 0 e244: b194 - b305 >= 0 e245: - b167 + b305 >= 0 e246: b154 - b184 >= 0 e247: b184 - b299 >= 0 e248: - b191 + b299 >= 0 e249: b191 - b229 >= 0 e250: b147 - b186 >= 0 e251: b186 - b223 >= 0 e252: b223 - b323 >= 0 e253: - b181 + b323 >= 0 e254: b254 - b302 >= 0 e255: - b250 + b302 >= 0 e256: b250 - b252 >= 0 e257: - b182 + b252 >= 0 e258: b157 - b265 >= 0 e259: b265 - b333 >= 0 e260: - b152 + b333 >= 0 e261: b152 - b226 >= 0 e262: - b151 + b218 >= 0 e263: b151 - b338 >= 0 e264: - b316 + b338 >= 0 e265: - b245 + b316 >= 0 e266: b418 - b424 >= 0 e267: - b419 + b424 >= 0 e268: b419 - b423 >= 0 e269: b423 - b426 >= 0 e270: - b421 + b425 >= 0 e271: - b420 + b421 >= 0 e272: b420 - b422 >= 0 e273: b422 - b427 >= 0 e274: - b275 + b332 >= 0 e275: - b246 + b275 >= 0 e276: b246 - b326 >= 0 e277: - b319 + b326 >= 0 e278: - b301 + b324 >= 0 e279: - b172 + b301 >= 0 e280: b172 - b278 >= 0 e281: - b161 + b278 >= 0 e282: - b213 + b309 >= 0 e283: - b188 + b213 >= 0 e284: b188 - b300 >= 0 e285: - b284 + b300 >= 0 e286: - b179 + b249 >= 0 e287: - b155 + b179 >= 0 e288: b155 - b286 >= 0 e289: - b266 + b286 >= 0 e290: - b202 + b221 >= 0 e291: b202 - b272 >= 0 e292: - b234 + b272 >= 0 e293: - b178 + b234 >= 0 e294: - b117 + b133 >= 0 e295: b117 - b134 >= 0 e296: - b124 + b134 >= 0 e297: - b122 + b124 >= 0 Bounds x428 = 0 x429 = 0 x430 = 0 x431 = 0 x432 = 0 x433 = 0 x434 = 0 x435 = 0 x436 = 0 x437 = 0 x438 = 0 x439 = 0 x440 = 0 x441 = 0 x442 = 0 x443 = 0 x444 = 0 x445 = 0 x446 = 0 x447 = 0 x448 = 0 x449 = 0 x450 = 0 x451 = 0 x452 = 0 x453 = 0 x454 = 0 x455 = 0 x456 = 0 x457 = 0 x458 = 0 x459 = 0 x460 = 0 x461 = 0 x462 = 0 x463 = 0 x464 = 0 x465 = 0 x466 = 0 x467 = 0 x468 = 0 x469 = 0 x470 = 0 x471 = 0 x472 = 0 x473 = 0 x474 = 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 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 End