{"item":"e02-filter-censoring/rep-b","status":"partial replica experiment; completion counts explicit; no filter-gate claim","scope":"Independent repair of the observable event likelihood of grid64-B; one frozen filter. No policy tuning, RS2 code, Solidity port, engine scoring, or board conversion.","completed":{"repaired":255,"original":256,"oracle":256,"diag":255,"ablate":64},"filter_gate":{"requirement":"oracle minus repaired mean edge <=2 on 256 held-out replica seeds","passed":false},"paired":{"oracle_deficit":{"n":255,"mean":5.797427267196108,"SE":0.07871080073767006,"CI95_normal":[5.6431540977502745,5.951700436641941]},"repair_gain_vs_original":{"n":255,"mean":0.6938123701681962,"SE":0.0573498497315331,"CI95_normal":[0.5814066646943913,0.8062180756420011]},"flag_diagnostic_deficit":{"n":255,"mean":0.29779161846054325,"SE":0.012482628212116636,"CI95_normal":[0.2733256671647947,0.32225756975629183]},"ablation_loss":{"n":64,"mean":0.13936507877150905,"SE":0.06689024296065677,"CI95_normal":[0.00826020256862181,0.2704699549743963]}},"aggregate":{"repaired":{"completed_seeds":255,"edge":518.0594010142972,"retail":546.7829199878494,"arb":-28.723518973552245,"retail_volume_Y":74854.25337924674,"arb_volume_Y":24429.791256307883,"squared_log_error_sum":5.540759902833291,"callbacks":2608592,"pooled_RMS_bps":14.574094682126187,"coverage50":0.7157044873249631,"coverage90":0.9463055165391905,"mean_posterior_sd_bps":12.087695075420081,"fallbacks":14,"diffusion_tail_mass_sum":0.13128010359569298,"rival_clipped_mass_sum":4389.333022946942,"diffused_steps":2549839,"silent_steps":836210,"kernel_calls":5158176,"hidden_completion_calls":2549584,"repeated_callbacks":894963,"worker_seconds_sum":2120.050876607187},"original":{"completed_seeds":256,"edge":517.5948454721952,"retail":547.6476356115032,"arb":-30.05279013930802,"retail_volume_Y":74768.17242724707,"arb_volume_Y":24897.88196731451,"squared_log_error_sum":7.211098888914646,"callbacks":2618826,"pooled_RMS_bps":16.593859310173677,"coverage50":0.7006059203627886,"coverage90":0.9101039931633488,"mean_posterior_sd_bps":11.158090066793536,"fallbacks":0,"diffusion_tail_mass_sum":0.33270026257169394,"rival_clipped_mass_sum":0,"diffused_steps":2559850,"silent_steps":839366,"kernel_calls":0,"hidden_completion_calls":0,"repeated_callbacks":0,"worker_seconds_sum":598.2502418733202},"oracle":{"completed_seeds":256,"edge":524.0864492980041,"retail":549.5616919909818,"arb":-25.475242692977876,"retail_volume_Y":75838.71988956515,"arb_volume_Y":23759.149181133656,"squared_log_error_sum":0,"callbacks":0,"pooled_RMS_bps":null,"coverage50":null,"coverage90":null,"mean_posterior_sd_bps":null,"fallbacks":0,"diffusion_tail_mass_sum":0,"rival_clipped_mass_sum":0,"diffused_steps":0,"silent_steps":0,"kernel_calls":0,"hidden_completion_calls":0,"repeated_callbacks":0,"worker_seconds_sum":28.529670083429664},"diag":{"completed_seeds":255,"edge":523.5590366630328,"retail":548.9644181325184,"arb":-25.405381469485707,"retail_volume_Y":75453.86240687016,"arb_volume_Y":23671.70360339265,"squared_log_error_sum":4.93869674876616,"callbacks":2595991,"pooled_RMS_bps":13.792868278807383,"coverage50":0.734845382745934,"coverage90":0.9462644516101943,"mean_posterior_sd_bps":11.304365310860456,"fallbacks":13,"diffusion_tail_mass_sum":0.13551118021765307,"rival_clipped_mass_sum":4347.359847011438,"diffused_steps":2549842,"silent_steps":841081,"kernel_calls":5145578,"hidden_completion_calls":2549587,"repeated_callbacks":887230,"worker_seconds_sum":2104.986460930202},"ablate":{"completed_seeds":64,"edge":510.1377042700546,"retail":538.3023771787883,"arb":-28.164672908733603,"retail_volume_Y":74660.26719462454,"arb_volume_Y":24171.470359842388,"squared_log_error_sum":1.4510632490571442,"callbacks":654760,"pooled_RMS_bps":14.886825628351813,"coverage50":0.7140173498686542,"coverage90":0.9438847822102755,"mean_posterior_sd_bps":12.003313599000672,"fallbacks":5,"diffusion_tail_mass_sum":0.0333057703779005,"rival_clipped_mass_sum":115.24298295513948,"diffused_steps":639968,"silent_steps":210154,"kernel_calls":1294664,"hidden_completion_calls":639904,"repeated_callbacks":224946,"worker_seconds_sum":594.1350397001952}},"provenance":{"starting_url":"https://api.imd.fun/artifacts/dc0668530543dd28209fa9455aecad526ee3d19db53e391b9f6850f053d89f3e","response_sha256":"dc0668530543dd28209fa9455aecad526ee3d19db53e391b9f6850f053d89f3e","response_bytes":61522,"hash_matches_url_id":true,"starting_filter_source_sha256":"dc322bdcf298727bd2b0c698b4a26f6be2ddc13b5d68bd3d3c10588f836e90d7","baseline_changes":"Only optional numeric shim import and freezing existing environment defaults PRE_MULT=.5,WID0=.006; no arithmetic/model changes.","starting_reported_deficit":6.4899,"starting_reported_RMS_bps":16.598,"starting_metrics_not_new_seed_baseline":true,"engine_checkout":"benedictbrady/amm-challenge@6b6921f8d463314aa7c96234e1be25a25245f704","setup":"Passed; supplied setup.sh wheel hash check and StarterStrategy compilation/validation passed. No setup blocker."},"freeze":{"utc":"2026-11-09T16:43:01.559938+00:00","hashes":{"repaired.py":"9e2c3bee049eb33788623313dea1b8854670cf484589a1caa1ddf39520df4a28","grid64.py":"bee4101d3864f1b33fcd83b02b5cb0842924145e118a73cbd5221f774db0d6ec","numeric.py":"e9cbb46a509a89253d2b902b107eedbd3ad9bccfbaa40bb6efa5626743b74cdd","eval.py":"a3c2c629e9c2b6881480f02d6b68a7f611ef28fbd3829daa004eef7343229092","batch.py":"a17d849c15e6053fc425d4b17f8e2748f4b71dc9eea50dd1afc1ff714ee0c112","replica.py":"d079712fa1f4850ad8337e656e7ee8dbdde806cd4762d597fae50f547ef9c7c4","oracle_table.json":"3e9d1fc8874c6d796d4c26948d486b587f2a6b5610b20fba99923a60954cf4b5","check.py":"cf82e531dfccf2c0dd8e42a8f45cfd388896047ccda70c80191593f3f37a1f1d"},"selection":"Runtime-driven quadrature reductions; policy and volatility formula fixed. No evaluation seeds inspected before freeze."},"configs_seeds":{"training_only":"31000..31255; actually used subsets listed in training/search log","evaluation":{"first":32000,"last":32255,"steps_each":10000},"ablation":{"first":32000,"last":32063,"steps_each":10000,"retuned":false},"never_used":"5148000..5151999","exact_config_generator":"replica.py unchanged, no cfg override: random.Random(10000000+seed); uniform(19,21), uniform(.6,1), uniform(.000882,.001008), in that order. Exact configuration is reconstructed per seed by bundled pack_results.py using this RNG sequence; the generator and seeds completely specify every value. Price RNG Random(seed), retail RNG Random(seed+1).","shared_random_numbers":"All modes use identical simulator RNG streams and configuration per seed; closed-loop trajectories differ."},"method":{"state":"64 price nodes, 7 rival log-spot nodes, 7 remaining-count states (0..6), 3136 masses. Price and rival log coordinates are relative to public reference 100; initialization uses supplied reserve ratio. Marginal mean is E[ln(p/own_spot)].","generative_likelihood":"Draw N~Poisson(.8), conditioned N<=6, at each new step. After own/rival arb phase, a retail order is hidden H when own allocated input <=1e-4; otherwise observed with amount density L. For the FIRST observed own fill, descend remaining count c: output[c-1]+=L state[c], state[c-1]+=H state[c]. This sums every number of unseen earlier orders without an ad hoc first-fill multiplier. Retain count posterior after each callback. On timestamp advance apply H exactly c times, sum over c, and condition on survival before price diffusion. Fully silent intervening steps apply no-own-arb truncation AND H completion.","rival_evolution":"Joint rival posterior persists across callbacks and silent steps. Hidden retail moves the rival reserves under constant-product routing. An observed interior split pins rival post-trade marginal price; full routing leaves rival unchanged. Rival 30bps-band clamp occurs only in the start-of-step rival-arbitrage operation, never after arbitrary retail.","density_measure":"Buy-X observation a is own Y input; sell-X a is own X input. Interior allocation a=alpha*T+beta has inverse T=(a-beta)/alpha and Jacobian d(sizeY)/da=1/alpha for buy-X or p/alpha for sell-X. Full routing has T=a and Jacobian 1 or p. Distinct full and interior supports are added separately; each side prior is 1/2. Own-arb density in log post-spot is prior density at the old-fee pin; multiply by |d log(spot_after)/da|=2(1-fee)/post_input_reserve to compare to retail density in a.","arb_mixture":"First callback can be arb or retail; arb branch has untouched Poisson remaining-count prior. Retail branch is restricted to the old-fee no-own-arb band. Correct pins: buy-X p=spot_after/(1-old_ask); sell-X p=spot_after*(1-old_bid). Repeated timestamp means retail only, no new diffusion. t=0 includes one GBM step.","fixed_parts":"Original 35-number oracle table, interpolation/clamps, inferred arb threshold .5, and volatility formula/2000-step prior/last-pin threshold .9 unchanged. Repaired price diffusion adds the replica GBM drift -sigma_hat^2/2 as a documented correctness repair. Original baseline retains its original driftless diffusion.","ablation":"Same frozen repaired state, censoring/count transitions and volatility estimator; replace observed amount/side/rival-update likelihood by a normalized split-half lognormal amount density and equal side weights, scaled by total own-visible probability 1-H1. Rival observation update is disabled. No retuning. This ablates amount, side and split information, not silent-step censoring."},"approximations":{"count":"Poisson(.8) truncated at N=6 and renormalized. Omitted prior tail 2.0746837912866134e-5 per step; conditioning means rare >6-order steps are misspecified and can cause fallback. This is a bound on omitted PRIOR count mass, not posterior error.","size":"One equal-probability midpoint of each side's truncated lognormal distribution for hidden-order transitions (conditional median); mass is the exact lognormal CDF at the no-own-fill cutoff. Strong quadrature approximation to rival evolution; it is not an exact marginal posterior. Observed amount density is analytic, not quadrature.","rival_grid":"Seven adaptive rival nodes with linear mass deposition. Regridding prunes endpoint-support selection below 1e-14; fresh rival support selection uses 1e-13. Tiny out-of-range mass deposits at endpoints; measured clipped mass recorded. No convergence claim for seven rival nodes.","price_grid":"64 nodes, Gaussian transition with original h^2/12 smoothing, five-sigma support, masses below 1e-15 skipped; partial-bin no-arb truncation and linear interpolation/pin deposition. Count/rival conditional correlations are retained through price regridding.","retail_threshold":"Hidden own allocation <=1e-4 is dropped and full order applied to rival; any unobserved own-reserve drift at that threshold is ignored. Similarly the replica's <=1e-4 rival leg of an observed split is treated continuously. Tiny-size effects are not exactly modeled.","priors":"Arrival .8, mean order size20, lognormal sigma1.2 fixed; per-run lambda and size marginalized only by these midpoint approximations, not inferred. Sigma uses original estimator.","floating_point":"Inverse-normal Acklam approximation; all state arithmetic binary64; acceleration has a tested stdlib fallback. The carried arb pin is rebinned, not a separate permanent atom."},"numeric_dead_ends":[{"variant":"initial","price_rival_count_Q":[64,25,9,3],"train_oracle_deficit":{"n":4,"mean":6.985359164286066,"SE":0.228872604677393,"CI95_normal":[6.536768859118376,7.433949469453757]},"pooled_RMS_bps":14.53068297622027},{"variant":"medium","price_rival_count_Q":[64,9,7,2],"train_oracle_deficit":{"n":4,"mean":6.638192745528485,"SE":0.14585977031040098,"CI95_normal":[6.3523075957201,6.924077895336871]},"pooled_RMS_bps":14.458099141346704},{"variant":"frozen","price_rival_count_Q":[64,7,7,1],"train_oracle_deficit":{"n":4,"mean":6.845153012069773,"SE":0.14422443519104472,"CI95_normal":[6.5624731190953245,7.127832905044221]},"pooled_RMS_bps":14.640917487047348}],"training_search_log":{"full_step_runs":{"train-fast-more":{"completed":8,"seeds":[31005,31004,31006,31007,31008,31009,31010,31011],"steps":[10000],"mean_edge":499.79570344442607,"seconds_sum":173.1707968856208},"train-fast":{"completed":4,"seeds":[31001,31000,31003,31002],"steps":[10000],"mean_edge":481.09853887401164,"seconds_sum":100.00284286914393},"train-final":{"completed":4,"seeds":[31001,31000,31003,31002],"steps":[10000],"mean_edge":480.89157860747036,"seconds_sum":113.94003828335553},"train-oracle-more":{"completed":8,"seeds":[31005,31004,31006,31007,31008,31009,31010,31011],"steps":[10000],"mean_edge":505.4622396826528,"seconds_sum":2.0689858803525567},"train-oracle":{"completed":4,"seeds":[31001,31000,31003,31002],"steps":[10000],"mean_edge":487.73673161954014,"seconds_sum":1.1186542245559394},"train-original-more":{"completed":8,"seeds":[31005,31004,31006,31007,31008,31009,31010,31011],"steps":[10000],"mean_edge":498.9469425639232,"seconds_sum":45.50867122085765},"train-original":{"completed":4,"seeds":[31001,31000,31002,31003],"steps":[10000],"mean_edge":481.5872355658021,"seconds_sum":35.07665437227115},"train-repaired":{"completed":4,"seeds":[31001,31000,31003,31002],"steps":[10000],"mean_edge":480.75137245525406,"seconds_sum":372.5785523811355}},"short_runs":"Initial/medium pilots and profiles: 31000,31001,31004,31005,31007,31008 at 1000 steps; 31008 at 10 steps; normalization/poisoning tests use 31002 at 100 steps; stdlib parity uses 31010 at 10 then 20 steps. No policy optimization and no eval-seed selection.","choices":"Initial joint model: R25,C8,Q3. Runtime profile drove R9,C6,Q2, then frozen R7,C6,Q1. One frozen evaluation model; no changes after evaluation began. Source for numerical dead ends included by hash below, not a claim of convergence.","initial_hash":"8e9661e2283b89c6351bc12d6b74d25c49cd650deb27695bcc751cf754f30e29","medium_hash":"09380ee9ddf7f3a4da7a501a4f289b4607e4f651ca56f147846508b900bfef32"},"tests":{"normalization_censoring_signs_gaps_poisoning":{"poisson_tail":2.0746837912866134e-05,"single_order_hidden_plus_observed_mass":[0.99977301805796,1.0000000000157956,0.9999758804613361,1.0000000000158211,0.9997744397353726,0.9999758804606393],"zero_remaining_orders":{"survival":1.0,"observation_density":0.0},"silent_retail_survival_by_rival":[0.6305708625506382,0.5055659013597912,0.6221807609519937],"first_observed_partition":{"silent":0.5055659013597912,"first_own":0.49443409864020865,"sum":0.9999999999999998},"pin_signs":[{"sell_x":true,"pin_logp":0.00460000000000013,"truth_logp":0.00459999999999995,"posterior_arb":0.16683936761744797},{"sell_x":false,"pin_logp":-0.0036000000000000576,"truth_logp":-0.003600000000000041,"posterior_arb":0.19975555476963522}],"t0_repeat_gap_diffusions":[1,1,5],"hidden_input_poisoning_callbacks":116,"state_mass":1.0000000000000009,"state_cells":3136,"seconds":22.210068236105144},"no_arbitrary_retail_rival_band":{"rival_mass_above_30bps_after_large_repeated_retail":0.9999999999999992,"posterior_mass":0.9999999999999992,"no_retail_band_clamp":true},"stdlib_accelerated_parity":{"errors":{"edge":0.0,"sq":0.0,"n":0,"c50":0,"c90":0,"sigma":0.0,"lost":4.107825191113079e-15,"rival_clip":0.0},"stdlib_seconds":3.695842915214598,"accelerated_seconds":0.7161705042235553,"seed":31010,"steps":20},"source_hashes_unchanged_since_freeze":true},"state_compute_bound":{"persistent_float_masses":3136,"mass_bytes_binary64":25088,"complexity":"Per observed callback: O(64*7*7*2Q) hidden-count propagation plus kernels and regrids. Each elapsed step additionally O(64^2*7) price/rival diffusion and a hidden-count completion. Long timestamp gaps cost linearly in elapsed steps; no fixed maximum gas bound.","gas":"Unmeasured; not Solidity-ready and no assertion of <245k gas or zero OOG."},"commands_times":{"setup":"git clone + pinned checkout under test/scratch; fetched supplied setup.sh, sh scratch/setup.sh; passed","checks":". scratch/env.sh && python check.py; FORCE_STDLIB=1 python portable parity harness","evaluation":". scratch/env.sh && timeout 465 python batch.py START END evaluation.jsonl, contiguous 16-seed segments 32000..32255. All actual shell commands bounded below 480 seconds. Checkpoint resume skips completed (arm,seed).","segments":{"segment-00.log":["ablate 32015 442.275 8.52"],"segment-01.log":["ablate 32031 456.747 9.24"],"segment-02.log":["ablate 32047 432.487 8.36"],"segment-03.log":["ablate 32063 360.166 8.12"],"segment-04.log":["diag 32079 550.582 8.56"],"segment-05.log":["diag 32095 537.142 9.48"],"segment-06.log":["diag 32111 444.258 7.91"],"segment-07.log":["diag 32127 595.898 8.59"],"segment-08.log":["diag 32143 594.875 8.72"],"segment-09.log":["diag 32159 444.56 7.55"],"segment-10.log":["diag 32175 457.28 7.69"],"segment-11.log":["diag 32191 396.176 6.91"],"segment-12.log":["diag 32207 517.055 7.56"],"segment-13.log":["diag 32223 440.236 7.52"],"segment-14.log":["diag 32239 538.794 7.96"],"segment-15-resume.log":["original 32255 576.055 2.2"],"segment-15.log":["original 32252 574.876 2.25"]},"assembled_utc":"2026-11-09T17:30:59.048762+00:00","elapsed_since_first_download_seconds":3616.6446862220764},"limitations":["Replica-only evidence. Setup validation is not an engine scoring run.","No top-10 or +4.6-vs-RS2 claim. No entry unless the separate goal confirmation succeeds.","Normalized censored likelihood under a coarse finite-state approximation does not establish an exact posterior or a <=2 deficit.","State/compute cost is substantially larger than original grid-B; port feasibility unproven."],"per_seed":{"encoding":"base64(zlib(UTF-8 JSON packed integer rows)); decode with bundled pack_results.py","columns":["oracle_edge_x1e4","oracle_retail_x1e4","original_edge_minus_oracle_x1e4","original_retail_minus_oracle_x1e4","repaired_edge_minus_oracle_x1e4","repaired_retail_minus_oracle_x1e4","diag_edge_minus_oracle_x1e4","diag_retail_minus_oracle_x1e4","original_sq_x1e12","original_callbacks","repaired_sq_x1e12","repaired_callbacks","diag_sq_x1e12","diag_callbacks","ablate_edge_minus_repaired_x1e4","ablate_retail_minus_repaired_x1e4","ablate_sq_x1e12","ablate_callbacks"],"rows_zlib_base64":"eNp9nVuObEmuXCeUCfj7MZYLzUDQn+YvW8uz+kPoXUB3VZ04kRk73Omk0Wik/8//zLbWPPVnznpa7z+/d889fn7HmHv+/J5Vav35nbWf+/Pby975q97GTx/77F13Gf2n1lPHT1v31PxnPy2v7Hl+Wj/l3n1LnbxS90+/Zf70UvtPO72svk4Zhb9b/X/9/M+cZ+2eZzn9Vj695sNb/j3PHHmKverJn0Y+LQ/az278YeeX3V7K4Hnyy8pe66e10W5tdbXKK/ll9c5xz2jtHl6Z+dl5+XWr5YFbL63Xuubl/aetPM6ovc19f0Zfu/r+VXuWptW28nN9llvyjHnTyosuTf5i53etslaePV/tjJuPPr1t1qj1nzP7+qn5Tfeu3kteGPkC+S2rs7Jl5EH73ifvLi3vrjtP0ve5eaosX/5inDxJWSP7UddteYQx3yPU0niGke/829rJKuSTy/GTf05npfPPU/kCNx/cd54k3zBvKL29J5ml7J/8x817yz51nbn4Gp0N6tlhVn1kwyYbs8ZhY9o+Jc+x+riNhaklD5dfigG1y4r0ke8z9tj5SovfvW72+J528gJ7tNvly+XXskT5iKx1Vj7r3UrProy98oH5q8pzZDluFn8Uvk8+a441sjP1XD4ZMzo+R2VRZ9n+s/y0WbMf8+apsx4nL5Sx8v/TRn53flsebOQXr4H55R35wXzQD+9v2HSMKo/C30wMZGSfc2byO+be2YH8icfgT/nqO7u82NTZeCjWMf+MmWSHYiJlZ29+8iz51Dtie6vf7N8drE+OT9t7x0LywuSrjZKFzrrnL+/JU9SNyeTHG0+SL7Wz9jmUZWEEa4/YVuwxe5tP3W1pnVmvbF6+94rJj5yXuwYbdG6fWYyKCZX8zryQjaibZ19jN96RH+t822xrLKvcGF9cxeG9g2dY5cZqz8/qcw7NYW/tMe4lf9oVa//tfCL2vquHZv3kbKybQ5gjH08wsxMt+579zGrgG7LlOc6xu2x1PiqvjFjNb+vvIMSIY80t2xtvcnh/w0QWOxmLX2NNDvVvnrbxwXnsoUfJm7OeFxNpByMa2b2f3mOXOU7n4NdWHrnlAXI8aqyK357X4yxKzn67y8/LqYnR8O48yap4pL14zqlXG2OVeJpYyco2LR0O/6qj+qf4OFbp8M3zd7f//TOfunY7hSe5+RJZhB4Dv3EdNS/EmmqsPcaRFcIQ8D87K4ZBtZgmhzy7yc/izeLlR777z24zS/s+P1vLqa3bhYkvbh7pWXW9hUVe9afjxOqMI3GDODb5fmePsWd3wfPFZzwuvqWwSCO/AaeXA5w1bxjpzZFcBIZZL0+TyHDycDtHtE+enDONR1tY6sSMsY/DQa6Lw5XvlO1p6yw+JkZRm557xMhLVrb6Sr5Ra2xPfDjb0yoOeOURE8RunnPyfW/DwcWqqocn+1n1etk9TmwWFz92twaLif3ee3EplRXCx8+4gIkXy150PujEBZa40ISm2/Hxiwgaa8om3xZnVdsgXLTBeW/5q7zt8NOzPl+SCKkvyXfJ5+7hsenlNq138tM5Wj5T4x0xrFhJWSe2GQO9P3kPT7Zr1iWfPH/uLphNlnglKucpE3OyBsUNxhgaxjR2iVnl7+4z111wtWPtOzkq2WVj/zp8Jq48q/GepuHtEh1Z150/1ThLHgMLjNcuBh+sF7ex4/1jqzPgIWvCGcwa8j1BCiU+P6F5ZrNuIhLPEehBDIv3juUQ5bK0ee6YCRvRt0twFn/YuJt+cR0xs3zZPElWNgE6S52Xd7Z18GB59jjEfFoCaiwzvjZoAwshCsbFB/WcbFnjKRqRN94R3/MTi+6bx40LLYb7MoEit3CEsnM8R04UCzsHBzAvxdPGg/zcYBOca8J6YgsfW3yOVvHw8bTxoIudz2pn0XCuJe6Ov+eHG6sxEx0TIn+yMwl4GPN6No3XxGD5Fyf++TaOdU7ED9bT+UV8YKJyniOnMUEq7jXHpQKkclyyjzG26ytY+BaT3O0XyabsACCgVQ6r0SYojmjDmnCofjG2wdbgYUecHYhmcN7FkawTETTedBO4OSIDQ+QYr2CMhDZfCLzDzQTiZAP6dmX5J+iBABwj3/la3Y3Di8QhJsj+BLb1yu7kLQdsmND60OvBSmJVOBAgCCaT3W375rD1+H2+VQMwgjTz+wB6+S2BDMRabIdoA66dP3Hg6yfQaAKsRsJgNpN1zel+6DWfVkCvZeM/crawkYRrYUC2gTgexBwjuRyA/CTYNXDj9M1XZD2y5DHiBMVRCH9ZMo5HYoaYKY9V8Ho5DDdwMA+VAymKLviVoHEeZeVEB1z/JOadbO47wzjZSZjLAREriRBeLJgc8XayKkH1eKWKD8U0TpxrAbflbA/MeMW7TDaRV2LvIy71J7t8ee4kADn4nPYgi8OinAIa+8mxqYCZhBfhTHyhuB5U+wumJNgYHXP8AjTiSnFaxXASEJJfvkHfjYjG/jQgSD5/cPbYA7Fa6QDQPANROi41bmVzTvgJM4yAI5Y+q7GMenH5rE+eFvwdhw0qSKAFuBAQCYH5kj2eIcehNawja3J9nsTn7CBbcnklh2nh7uMO8x7McXogYtJA4Eu0DqqbvH/cZzH68CxDHFLWI2AE5xbkA2LcBdwel5vEDMPhtQRkXHySmCBl0NbFWSWexJ3E+nByl+CzY0kxj8E7zvFRpsH9uZc8a45BAkvevf+iDwEu25h9w2AWKDC+HZQ/loc4jm1hyOaHE/fSDo4j2IjgExP9wV5OcisCUXDHMeHIhnPecL8x3ILD2HGXiVo5T6QwvHeAUfKVgkFyhPJNOq5sF/clxwyjycoSnnvOZb7LdY82YDRYFDCdQ8oRIAjGKoI/4vw8VPi9wvkLxHd3hBxNJJqUDd8SVKF58f6hrWQv44R7Tn0eXmy2fPbVPdzBWz7ZYk0SR/GX+VLZGL5xQp+OpeDkcnCGLh5XMV5ISgh4p6rhmhIbixCMYwjmy6FrbGyc0jAV3QGdpqIBxRziUR+a/UPBA3dnBDXvmXo7Yn/J3wXg5CFPM/bnF+YgJePJCziYQLmSPCDHLmnNi6P4BYAsQTzwOatFJht8Z+oVGJgPGyUGdXSunPckn4PIkfMzJAp0dr0aq/M78iQ5XA1Lqj9BtB3AFOQRFxkXfMgDazDKXTjDBMSTjY535qxkm/PemZN2IRXIMViRbECAfdBuMA4ISdTDAbkv7TSEEdtND1leoDm/NEcw8cBMJnaCAyUNxBPklWpygxfMsQXexgXxnhyKbCJwM58YQyI7h54YLwzFszbCUDYP845704Ek4AMZ2vTomiMOKAnCN14uppKDS3SKz8K9xvUHzHTziZzT7mEdCUxFVoUkLIYPFAWd8exBOXEjLFL2tv2dZaBythleJZ9YmnFoGp03mCePth6+J7riLBO0YxakdKARTsTCuyXFMMHL9gSQEGWJ9NkDszc80iDwxmPmwK0OKggKMN9InCpxXHn0KUnASgKWxtDkyfiw2S6CGmR52af4rqDinC0SexGHGCR5RPBTErO/SByHELcTPDU5QhUXnmic3xroQBZWk/MQQDyEZTxfmxeJzg3XiGk0D/AwJOLAEzcED93t6kDLbAcIsPCo8Rp41rjxOmAQ9COxNWgB0sJNnCl6HHxYwAYx4WabSlLjZXAvnuUT8JHASbpPSBwL+P37gmB+lVCumEIDm4KkOLh5jhnvT+w+k+OCceXbjsC2LFhCdtI9It/+40nAY5zkbCwmHTx7gQ4SLgL9OCb8QlB1TP2KGIkR2WV+ON+RAw3Twwmqf2d9k/zlRB+8VPZ6ayoHsFRyzMXD8SYFEo0DmXcIurAXchSykZOAHs8ODhY45dfhO3OcCwYQOEncyvMYbjb4IQvSDO0SgQ3wHX8EvdE5lTmJl8+NqeWJliQe8b0GVmXdyOs8rVl1DApgAenSE5EO8QKgbhaW1QeZjE6+NKXWeKLKsfckeXiqz5Id57WNd4s7CRSPTWd3zIeCTrLO8QdZAjKnyuJveMedF14meIU7DZxF6oOBxRdmZTzFOYqxuuxsXJIBBxbqFxeqF7kuaYHFSkSc5VErYAOIpKxa0qxOCICLnMXs/ZLOJxkopH3El2s29ygRvPFLBgIaJ9xSfH2eJGf9EnMu3pKtWPFLRpvyINM1H/LQSLUZhTpZ1oxvribahMac9ICgOvPDcebB/I18GfIYUitHhdM14GLzVwOHf4gy5vnCpVhsHM3PXMmdybfiKjn5Lf4Y840t8CS74dlig/zV4RAGAbUcW0iYCsGFuwJdZs98RWI0obcb6oFnQAsW7DeejnfjNXNGwOM5TjKyHGsgeEAhWTD05NV3EH6SdxilC7ljngKiuEsQJd2eZJJZ3wO5EewENxLD2X9h8MApxvQ3cRGo0eDEsz3EoWx/lvECxRNFdWz5XIivGdTIz8eJvqR46tmK+GQ9sBQk5MrA4JCrZ8lxHHFa7T0IGEHIxHfKxiQmxx2wPVm2IiR+2W92B6DSIIn3NCsp57FMZAg/AZG3cVSzjx6ZQiTq27QsVmQ82tqz7NEmtauP3jtwO1mFBkCZ75XBUW4sTZVaM8GSqLoLQ0rEy2bm6/huIO3KC2T2KyeFICYYB0Qusp8kQSapVCz+g60XZFfOsXY1tMkuT5qdyhE7vlKJPlnPSwpplAYiBy6IucBvcWY5Y4Eyg/cXmWLYkyxjsHN5/jRLgW8ecjxDnEBqwo6BTfs/0Z2QFDD7g3nCocRrnAlznzCbFxZ8Fr6gw9CSg2+Sluw0XhETvbhJrOWdoewOgSmJ6hjSol3qwpDyC6oBxEGG/AYuLP97/xDC+d8Lg2Nzgvg3ZAR7D8CLLcV88t84uwKX/hvPjbmBYuIAsNNqjBxSGitftJIaJpDjH35PAeICy/W8sXSsZFiVWv4qnJr5xIm3BBzGKAmNOYsXZl4QRLBs2HFgXgMwHDO8xVt/oSahvwNVYsMQnsIs+SaMLQABDEjMIiZ0EFOOicamG44Tli1tUtuYJ6EiDzShccn7sJhyQM4QHRU+A5eW85XfYByKh/rJV58/ss+NVCp+GIyadz8uPVaALa2k9h7a/celm+8kGm/LP6cIM7toDCyCVeaz4a+tqslUXE7UHPvvaGWF8r0SMc57j8d6ySKBtTppPBCTvz2POs433JdMaIiBOEpyGZXNBilBWk9hFShDsjC+EXoIfIpjr9hvPHoWhmIEwAwIlY2KW9/5+hYNjwwbxyA+D1ZxUCcE9/owwqecTtDNoAoCgkxsKq8G1c3OggDwwxezqZKnDSwV8JUvDlWCDXNog1kLLi/h+Ed6txH2Aho5b0kxOU31ejiojgS3xgeY9wLqzIUAsUFQsSM4JFCSC0Lm+0vSKykmSQqvx19kEfIMOwF5CaSBRMFsQB+265hz7Bzx/DjFR7Ikjzn8CBkCjBCEwySAuD3UNambJRRXTz8UIZS1tdNVtg9AOBXr45QTpQhFlH82JEN+IWXUDiYJXtZKAW4wkcnSydIMi50wU3+SpAzwV+Ju/ssDn3fwKPkThaoFoW4m5EflTBMk4kxwmb/8JPip9/1P1QUgUwPnn9020V0+egq/qrgDbr/wdBPjWdaJQMxU6YJ6sgRxgwaQ/WpipNwXfjcOnIfYcZvi20uiuKscdhI1Dnl+hDMOHk+KnrCdI2LpWCaJwJMzTqk5r8CZFvBAKfIcV99UzGYuNt2p57VpNMfotNrE6IQOiNAOHYjjZily9E1Nm8gJDKlzMaPGNsCQRIDYoZsM8cwHADMOsA+PQJSuxAT8y+/ocrLnGNR3nOGgtpJ3Vxm5wLkYa+wCXGxaLL4EhWUx65WlsyZVPT3UOOJiGuSwZ5liHPQb3n+xplRSmrA/rrBCFpGIaHyWMqgu5zFi5JQX8dv1cfwkvzmb2ZgLM0XJdFlYOA/ytiaS2S9+EySWG59DSAZPkL6DLC/H5sAw+gIkXeIaZV180n1U0vnpHCDK64nxBTYkR9PHyMfCS2RzzgAdJH8Xmyfn5PFr1T1W5AUQ2lJ0EGknBg2/I0+xIXMxHjhq8vECv5SdCjop7kCwwPwrL8lpUwnG21XrOUCk+UiwyZnId4yZXUk763WXmP6bLOlVVeGhSeoFUdTJA0ETizYhnOwHNB3fS61YQ6zTdTqXkGLYTkb9s6dWuUkRG7kPygXfbaF9Qe/GlR/YAzPll7usZT5UBSuUTWTS5EuhEBq5OlxyYq7qA7LVwN1LNewAJePS4kmWio5DAv+KodVKGpAgpw3S6fHZ4Jg8Bq8v8HWiJ3Ho4jKT+b9Tc14ctIDYKQvkoN05s/rrKVL0IZC441U/YCteDYJSs/Xe4JP/83//9//+//7hrnSyqvi/hFf4izhx8NGI5eNbCFPy7M+zjVe1kPcKjthABI6njGiJdUNe5AV8zGQTKeFxomMU//0BgiYKG7nRDnBGSRjFs+MhgvbWIG5gsBxg+jxT3I4JnGcU3HYAaVSGeUUaNqg5Pm2+c5xf+fH5+TpYXox3CsniRBQ79L+nebvfp6V/4dEiEcmPlfxHNumxnQ0VRjzzCpKG4Owu0iVd38sMjVD6tQmTujFBaBkS4b4e805ygZ7i95VJuxwpqUHib/Z2UnKH9yWdowBOlfCVV6ak6IyBWUkAHX18/IAjzknjEHTBcZ5a3sjyV2LrNtXZL8OQztkPOlgcGtDknZJGfDrcFXjnosWoFHySGRMzqdh97kFMNWufUIdei3NQPAeHnSDJt+i1xUHdkBejh389yUpAtXjeBkGGO1jl7xX0Ujm2IAJrP+hm/vsT9KSq/s6Ds9lSz3JUQbl452aNFiXG/Cvl5A8URzoVkV0IMgR6aIlN4Rmlw5E02zDC3ZoZVN3XEuCgYOUTR481rVd1bA9oLNw7ZvhsYVmFGTCU1AIClxtI5iUJ4A+EHi+RABERvnAQDTVHPOfXM1DET4xdAD+XPHlttR5O4M6TWTVpbkR9JSWOPiQE0rCnG9E6+0ElkL+06og/ilfG+aIT4pX++QxQU0lvgZ6Gx3kVVoHE28OLf4qbYiWHolUnooEHiotwNU1oSRgfl4VHGhTw8RM/r57/cRgSyynODOqSShQo+MtWkC6x9Eo3FD+hsnrP9QNBMiAaZMasm+UBEytxoGc/kRqbNdFvHHDu12kM2rQCAFkvQJD6jzeFF0iGa/54LNckMC7L0HB1hwzzBBciRKD0e2MaCOFyGqkuo6tJojPh8i/n7OMsxI9QLg8C2h0nvIuxIAbfXp1IEOEH/T6VYJffGkSE2E6Hi1UfmEXalLBgbhEtbMRh5AiJlnN+uWSInxYkvjhdsAqWmrr1DmjBnGjVAeSgFuldnELGesUroJQ6FMZNNoySHK/Uh2TyrSqCNuzwywwSXxdVqxn0IVpCYrnNNyzEU9nENz+9YlGGBvvaO0KEQB7z0k6xqbujSSis16KToxpCEa1bCdvncx0SPhVHJC8W2zfrYe4jYeielxJORD7Ch00+2KgWwFbluRChDPQE1SUEvHVNEznOq8QH6n6ZIlAnGGaAUtQvXXEZ3IOCIZQcv+3IJ8xrnsqCUIJtSf5wEZd9RhBHYMCLquiqO2H2wkOBVs+nJcj+UUmmgFaMBYSEl5mTcRumLJRVi2GNQkJWJIg0UUhNbNuPno9reS6wAFooQGGKEGVAxvq1BoHOyUrV68gcxSBE73X+1f352nHDTxNhJnZIaE72PTEwUflHbSAyoiSWB4B0dZucxhxZQG7ifvt6AKQ7iFNxJlWAUvAH8QM4xYQ8rCBIQydxTUQ7mxwwQnaGv/9DCJ1iRlW6ApMGQgjOCPA+VpiRJX14ZdlnAvS2nsgicAzqKsLbISnbrCz+CuoBxx2iDhsUuUNWZj1Ygjr8POIFzO/pravMLdQBPywhbpgzOy2vqiW0JIl88Wp8bxUGx3JCrOI3FcbF9MqDJJtU4SJmS+acr3EhBGOKDdXuQJOaBfq0A7glhMTxqX9eXzoNZdbTKmt+Fq67djByzGGLsimzFhlpykOPYOhGDSCrPG8iw3w8cUHS8vEMlFQHshRL6bBJf1JUkMYvcHfLPxxlfmTBxMEfWMrkJRup9NUnsYYkkpUXiqWtHieRvIZqSvv0igOSoeMVJ6VsVGucPThJMctsT0wnblTDJd8Xj1wSeFUm/CGEOUhdrBRWCnVYJ2JRlHRKLefnRiBGaWzEvrALq6o6CkgZMjO6ykRPc5XKkyCYARyiHEGSFyw6XjkcYmPynQEYCGMu9db48fim+o0QLiadvKHze2L+HUQU83w8H30HSBohZmPXLowIJLuG4sboBw9/qZSLzf7k4/GeiV6BiwTM/YmRAB85O7D19cnCrr5vqfqNx5bRLc9XW0mTyOiUegjBUO4w+GZxg/8pO4U2hjUGNIge6/30CBRgUMUPPcOQOfDjKL5idkeZGwm2AcuiHqYuuzERsfAVCQ0U3NDXWN4FNQSjoERnEfiIz6TlSlKCevzaXXjSESOKUhRs7FeNr5Z30Ek2oiMaHgtT5MsUeYPxSPAOiK+qz0r8qrzwCZMmLHAOdTzTlYrMiapPJV9eJZM60BUu9vuyuuxSx0vifTpm3prq/Yvk7fYn0VvKW6iUPTVa+4zPREeL/xsMIN0HjRvbExlgTUudivQZOaq9HtQ9YrLInqraOlisWSmUNikVZRfghYYsm/fgOb5CQzxH1nUX4gc+yToAJ28p9rJnIBGsUlUEhY4m05XQCyeDkIvSF6V9TgfyXlxL/GrAx7DYfqHUP5bAlpTgNHyHrFLpgoIrKFkxcHzhK+o268EF9ZItH1U/nZyZMs+m7LNotLiS1QuGGbcZdxE4+pm6Zh3z9aErQP3BicOCab6m0i7rBlnd8upouiaY4WqtokimVsrplClpP1GrlcO4/krcMCDqQ/r8l7BA+XBwBgVmJJ2vdDDVIw9pdgSQOadbno/YCBBPAJ/kqspSKE4OW1oePqc9ChKNUHWg+j8W4cSpBMRtwRYfeYHmaAMgx2k1+UUQdu3fkfoUrufMJWEYCsKOkfEiPULwITlu2YbKClpuaKz7uQQA/0eKX/BeEOJEBTefTjcQ48qczBedu+o/INGmdEKFYSGNxj/NUfZU7Uh3gN0jORgBSetxsl9Ynepa+0GiI3dBZV2UppJ4Yc1SZ4o+LFE2jjrdEAN5gLnzUXYCJDxIOa1ssU/5EoSq+cpF9fMsFDNrourrFAJ8/Lzmrk5toivBj0/mnzjIxu7GcUJMXFu4iCiKsAu6+6E3hEasipnnZzwIgIEpzgYE73T7P0hecSNbJZIc0pJVSdLKBuAaadNDZqaO/dgWlYSOVC0e7D5BHbXSwuH4oZb+9eVzTKiz5tTW49Y3qRvo5W7iMG0cklZsEqydekSORbvotxHwmbcHAwFQ0RlSCPMBAHlXInPMTwoJ3U6cayzZbgbyKzP19ixA8g6xPNi0qbykKJHTHbtk1RMR7fxAF4CSH2qV9JpqX0NCGOtIsDrfIbkiqRgEFGiBpH3G3aksdNKN9HhsFSQCR/I4OJycr8sZOMhvGnqqJFpJmRDNqcmirtfs67ufwGjlRyB6sxBPb48y4Rp5jkWQIyItesaJYpjsZaDmL+DhKlc9SNds04QUlFFSU4M2BgLh+so3Qo0LysLlAHdlvecJRuLXXgFotD8e7Q+0/7VaouuBxSOxJJ1HG7ktVxNHKqAJ09xoZo7a6DzK10YM0DWtJoPUAxd4xGdlPDWgUg2kiQoXpRupz8BfZc9QK/5JmhBA0mQ0/nlh0pTW6JqgwWZ/mmKgbcw96Oc8yTU9W/gDWaucNXVVvbyax3htDTScdSq3VDl+zlO1UQnOKzG6g4HGYLP2xIT2Ggu/HgBFOGdhUKmxY6HKl9mjs4tIKdH3KXr2K0N11eQKVbC8oZiNvpUBsuUFCmDXwicddgcl31e62BTWTdvryn90TG3XxyL7VIktlhTOS+hJWQOS+m0qwQAKqjBoYuzKz8t64mP6f0cXGc3vRYAB6XRzLkrynECFiHl8i0zLRgUAH6a4i1wWXWj5WuuQMMUhKNyKI4ZA5ugfBPXZsoKmmmT/7E8zGEnHqPzkEYv4I+5JfqJJ6yXNed1OVzlIUaJP8Tg/lMOXZb9SSG0rsyyIqFQHTwRj2waNRusFr4zPuBBYlEXON6fsbYuvQpNp1kB/Z30bAYKeymugWRKHsyswmNlnVq/Cae7AAdjFgUJpITSrsIDY5mdgivOifE6Oxu5ljZvaEEUrNFqqxLfdgsKbGlWgCPxNt24r3YZN0HgQr54XtsJhFO+NAtUt37UdNFJxeJN+tv6sQN4gkXw9m1BoL7feXoxQO0YyHf+Bpuyq0JbqII2mmRY+OYsD1b/tl/08CjwhoYu2RhV06yop7nO9bh7dMRRMk9WVzqWPNvgIeVSgzw9lLB4gsBH5dGcFiMyb7kBwM4Hj0wSogmVJaRaQMxvTgg4yGmvpInVdhjrhV+CYdiZzHqnKHTpWabVL2KAFgtwx58DkOT6bkur8pPCQPqHWC7DYShbpQvY7e/SWyJEhAPMJx0wmt3GJ2QF3a/VHKrXQgXK6RA39aK0goZtP1c05+4yNWaWpRHdYVKF4p1Ci235HyzdP9DIEOUUr4Z1q+zrQEkg6t/RRtj3mIk9SbFCieJSgqKDxju8aEw0T5Septip7NINaXbODjATUdVgqksewOI+8KZChwhDt17VUlUYjPCNz4INt/QzuIWOT917fsZFeKvhqaoyW8o5JapHLAXcL0/gUao1qtAUpi3496os/SKGBaQMKjUK7cQS9bbwB8kgaRD/Jk0E746L9pb8DsIyNV+IuSyNAfWrGfGNp5lF/kM3AttA0W5XYUK+mdLxM0icYJWgn8AA0JYN1v+sbtFr8QGEuSxiiOrpeXgeB/0IQWQDroLZDJRShMdisPC9c9ZJxro02e14hkc9xvHS2VyWNnywanReo7PYCqmltT72aHM6+hW33S7l6R1ssEIBCViAvVih7WSsGPgSlHkpQHu8KLZLjCplp5+4XtU9AiF9EajJVGg8RuqLqBIGlXrTJbktHPY2MjcNZwKG05NrNd1iY/uQqUDqoWeP0/1pfUFF8ih8Q1/4oLe7rISObGW97yhwiRbvALRoH1t+T2OCSH5hWE+hItjCbFOMaDhkkwuAM6gpqmUr7LHjSxYSAd2CQ96FleDi4avoLXk+j9EXfr/4KRI8jW7QOIXbHjTL7AmaLw3S33Vg0w9IKMDgwn7R2R4e16ZA7zXLnGRLZVu0QWBcz5idafbIAZU/gKVSD6PEp0QBuF2CBig7QK/l7leWGV2+f5Y2cQY9srDix8Ek+8sn2/FHsfDpmsrYFgkTbQ+kFbLP1Pt3yDvwXHnBa55M7GfjLYC1Jte+cOZubzc5vLOfxR09QW6xtJTi/Fg/14f1pHygEIoJMUoTg4h/psJJY6jmSatQ/970Q2vf17/XxnbN0vgV9utfMuNkITy5kI0ZV0i2LU5XgVPX7EKnLWuYPkBkPSPc+Ewt+bO0DZF3bM3jhEyeScONG5zR1dQ3uO5FN92uCEPPWJTs3Z3ASeST6L/x6r9TJoJLy9P62cNhOynCapijlm8mEgSVto6lc4WLd7vzSM85pi28867K3xB755ZiASYXbdK7ykTbkIdieJorlpY4WpV/aBo7/8kiIGyluBCetp9gVqi4DYtyyvH51lkKT1uiqrjfl8qRqRzma/ocG0FpfQK5Ag0OLB03cNlN9mmNHfr+VOrEXkCTWdAjrKiAsQaLBfGNy5Bf+Oqk7WX9gTv7ORgO8j3OMEMk4mwftAVpzWYUvWp0JOBtavT71zVWEUO0ToO1BUqVtxRAWXiacbQNFOXGiM6DAA7htn5oEivpm9CSAqpK547POBlWOhJCWJSgf9GB2UdvhQg8xDglp1HmYzYIX7QlZh5LAXewb4zzSz0WTHmSmM3DygPRS0DYwPiv/y7JwUJKOyKDQnFEz1FrMbhsZSZrbY7MQcS9uORseIGCdv+iDOicC2sBqJ4wotQ6akw1MbX4ihFlwqgujMTE868Vj5R5INhVBmcf4F5hCRwc+cIRqizkMQEU0H09tbOceqk/4PBXJn3Ta4CHzTfLNmtrqeZ3nQk+cpf/xZmTYsXYNVT+U95JkXQe5/NUQ5ia0MiuEwny1bog6Cflq+8zeGRqTmLiqrAxooLyvr856rjc0iAEQsF1EK4Myipt1X/PTdljFJME8zulC/BV4Xa09qbUm5/xCR7T1HgcwCIuYlGVqWB+BYrtAYJHdUE+XQyXWUi8jjt6cHDIGOg7iRuwXs1sBmmsg7nLuzviu+zOsiaFVaEmFHjHtNzxmyhvNZWmt22rjk3R3mFoL5SMq3splg2nji2mYeIXPCrpmZgm1lvaNlOO8EQlQ51ORjmqFRVh+2MJbgo7UAQ3HqEwga6cvDOX3sKhI+3zcmjoAtZhFYokZWN04RmrxbQmb5vkfeniPB+E6EmTd17I+rLjZpVDLk0wiRyMxqRA+bDvF5oTvAjL3FSriKPOBrg4+IIh/oROSTqB68ttp/wbq16TosrgKGWjyRS4/lCExQY6RMJfaen3dKzZSN2kIutG6Uqny17zINLfyjdILOR9tvw4LWm/YxxYPIgey++LNPbLLhK4bOwMLfHV5QyWmgwOyJmNodFBzuCJ80rWo0P4tWZlgDqW9QqKmbN0NoI9RaAxWbHYW9uloJOZsgIie8FWdR4Lf2G+qRVeIMWDM47nu30N+0WhFreEoDDnoNi4Zkeys5E8mJ3/YVHVKNQkYzArp5EcQRpJYLDnSfl6AT5g0Ty7G1sTHfaas1ulR88cYcYUJdXYuerpiEX29Eq/1LanurltEGCWLtV+PQ6W9CwV5DtOxjW5Rbyyo5X9sXP/CqM3e+GDpOiQLnQfXbLLjQChPRDH3a294otJWIUxvoVp/tD02fAKShzWFQpTPCaBXyEaGKknzFZQXG0hQplVRjk66yEY1xjy8QWP7zSior4lxCf8wQ1YIYSuUEW3o02EI1rMSD5J6dqixg8z0cwkGRoAGUnw4gXRmrcc04amR5PNNIkAgtJfQuEn0odOGaSj8mbkr15mK29+nBv+eT3nyJONJjAMnP1EH81ckk3E/zF6xG9ZxAFd87miXwbFNQLqIbJo99htFBKDlKlKk93NUaaiL+v6znqDqZqz5RqzRvO8Uk8eonsegdOffDJtsBqWwhjIB+fFRgf+GAQVgXsiwY08Sg07gtKg9zc8clZIodNBkOMX2Ix3ocuzIGddu4PonwJO7omscXFAY4YPnqja3IToBFW5bjpkIUCkw0frxpAiftc24OAdg5mcYYaHY6Y3iMC1cfxW9N4ku64VtkLqRuMW7lZeDAQ6hHZjw2aQL6EhRx5M3OPYNJ/Eph+yXKUuMzDlqk7fcKZjvTV5YT55s+uMyAQuhRypTBFVW0JmwcAEVkElaiPggW3IY9mfe9NmsEVjbKJQOOpLqm1njzDMzNFodjjHoNZ16IHRDI6cHGELre7HEu5g0uWmlJ2OmC4zohPahf7qhwfbjBLJ9Fq2YtcOnOyjFYK5XFpI7SWAw3QNFALSmncf0nlJSL7Ra7jehwHE6mMl60/8cHPiVJiKcbT+EMiMPUfWVdR2EZVV1PBHa+JvghSekBrAduEAljxo7irjlBEfGqDb5S1KD7USLbxmgYuwKIKCkjeZ220sZq6qyum3/temojJVYphMPrxckXpWkWp5FqWpTVXWs1Gs+nhQomVTEzJzvWvudlMfJBocim1dOphPZhH05l2TWJwMcSvKoaDLLKNGP8sK9TiOgD5LiRTwUMRzMNnF3A1nMNzI8r7K7bWSVrXN6XavSJOuN/YmrcUaX9Z7JLDtyWURGjpICRkIn0j9sMRh9R7Xk2KG9oDQ5Np+mwGw3TKGAt6BIi1OUAk7hD+Y/o/xsQNyPTGR0XGD0pN/lOBH32qXP8DwaqnhFZgVq1v42Sf3+L8UtCKpsRD+O9rgiFIZW2YE43xROgXLdj0RdELmrO7uUpOBVGXv29KDtUJFtg7NjPCzc4Tz/7RlQiE1U4epSu6N08bTzsSTltfLE88TI1s/7avul6m9WEnUsEjzadh5vlPSAdBpy71sjf6C7b8B5AuALyvNlysUMZRqeGG2mL1IrTt7d0CnsYRtmHtPBkfRS0YGmAJZH2HRPTPtUbcn/lH1slBI/iOmBcIzIc1LAscSTHJmTQQ1HSt0ZI2gIOvQ6EzYcxMDreN+D6uu98mqQxXE0TTnSrt/NQ053gnyzjIcgsP81SRGQtYneXjsL89ActIY+gXlZNEM7GoLODsZNIUyEubaKvxzmePa37IMZa85HLeR9HD9J04QYQzV7rQ7HP23HZjCYp6E2W0X+lHZekqJJpmjc5CTXpxBrUDLNVz5DQyX3Z44XyGfYNOPYU4KaNcZiVeXNNXHECwYPRqWV03rgfXkhoBqhumN0qGfE0Xfmg1Jj/C4zk3kzvms6sQkQit064Nsikz0c8ynSHEnwhjKRmdKzwlgABus6kgsaFCUWnW00dKKS38wrPMjWvngzhLCdkcpFdgI1oLTVedNwbWttTq4jOj6ReHwyXNxiXinVkutYUyLzzmmgwAJq3Uxh1kbRAHxmqtm2QS9pdyrlL49jfu488fkq7ND65B1SiuWNGCZQSAeV44BTJ45tB21kX4aZIrL910gA1v2EqU76oe7gQJ3ugFS0LfYXv6FPc7/RPIpyHHoS6w+A35DDx1aBDel5HK92HCNNvsPIS6ZwzW9XwBcYzAChODocUFbewAs7d5hoQ23kT+zy61CDRmaPfhZW0um7QGYmcFnlBiMvxHfInesPQyi+mYKAjBZgsJ/MMxFBslfhH9NPnjDz9S8piaFJY1O8Hq91+G9g54DEe9Lkar/KZehHcfyocyj/5QmW3cTdWcrQI9bZ93ntxMukpdq9WM1g0DDAnB66/u94nTBOUqR1lFkfHHvA+qFniVz5jYf7VjuUB9PjEJ1URGFOuYc8AYUb4Wp5p6BaU6FLg3bajhb1PwMXQQNUNH6eJmtToEJORJfGd67emDm01Ro4JG7aKLFlDa3wWpNy3tTjj6sDI6CQsPXLkadHjJlXcV60L5m2wNQt5xqPbxHqvjR2/DC12MmKaP3uy827PtF4uK0x2jn5a7kMwDfBhgRkR+QhXmaeAl5wvpFFp9o/NRChfnlBZJSwZJsJGsLR4wS0v3omY+/r6+dVcPGmD8dBd4YZrZxT3I2Tnhh3gu9kLFBVlcLsS3ANo8CqYpEvXEamMYPL2Hq/9q6viqLMa7/GAKrwClQdzoDw1tGEdJwJyV31a1+wSg+nfXAS6GZb2uX6fAboVSwnGZnNJr8WOX+cuvSPArOPJ8ax5slNDki9E73yEYsZnwS/QCdYNbpmFo4J6gA58nEs6HcJBXInfvACsqrn3c4Ez1b+1J1EWqcDXZzsP8ghGgVwqqZ8Hg0dCFjhCYju1yGB/GJsSpH8nt9sDfb/Q9B7g1e7mBhc79Dc++Y2vrF4b0YUlS4mOTKHipr/eaPkYN7iDhHcOFQM5D9seaaIdL8x6QayMajKHd7SjOgpzA8abNivSmuj8cslswLI9hjk0KGunW5qc9+YFpWhCxh7Rak5P8mYwc9QlE3uzKZHtSImeofujNc+/jpk7MmkoC6HiSuYTITe9sNcx8XQi5AsFgL+7waDBEgSzXg1pIr/wlcx+YOpdaM/kZF0PZ39xgFKq73YMvAuA2ntSY6SjsTy5huni8yE1llG4bwmuutQV0rNVKUcrPTlDRhynH13LAgfzvhO1Q1OQAQ4A1K5HeRJUF7hl3SZKuljyJjZY5sgfYTllZGqkuSsFM2hb2rZNyaYdr5DhXl7xvibAGY5fb/cdON2kHwy09DpYJ0o0kV81TZir1yhrO29LLTcHOLRZgj512dvuMUcHcia/uf/nGLR1AHuYl9C36+d3blIzdlNTEsmBgxTdRQmFUyM3tVXlm1ShQE5zULSOd90wTIUrPa38zRQKre1Y8sun0deUzgQKSO34vvZ3llth0sItVghbVbR8Dcl0yB4BQ/fn8/41Ziq9bT9n1s73ozQ8bqFqt1pyIGdyuwFN7Q/4/4d9LWdVBt/O0d9WbMyH+oA87zZaedbDM1jZtkF5tsB7taVuxIiLh3AA5P1CBBet7fDEsngx3Zwq86X6weut104+K4io6J3ozI8d35X1BPaCt16tF8p+kbTRmbYXA7zlFGFQ4+1qej6vP9h0Ff6450aNIklP21FrSEsDnN3uZmB+sL6PIXU5ZEyLIZqOA5uSN3ZIy5HIHXzWnu53sfp1IM7SQDbhSmnTBn7U2czceQRRjb0MtucTGP+DUH7sgL06IhwuYvBK1xMgbIH2145ZzmgYLKieP/SBkooCZ+kyeXH4UpwhIUypvO3oUuRCSQvRP1x4c4+j4HMyHIsGu6QO3FUs1jU19P9M9Ws/S3PhC+iot5hipjq4kAsHGJ9M/Ectsl1AmiPKGpwRcanyMXuTkQ2pb2h6MakbP3dL1cQk1JLc0x6pzlETvL2VzF5MxQWKoP2CofDNJ1OA+ijR9R8p6ibsmhcYXlDcOc/s+/UVv3lpjkGq72mfocN2IcwGTHOcPCstmwxcZR5O69jpaIzn9NGl7O+NfFw3uRH9MCWv+TYpNR+xfOufEBw6qzT7URyiomK6jQcqKkje7r5wlLawDp8YtyEPeUoxu/3bAul/4Nqpila90KUqlyASobzvq8v9tcyQF3GTraL4HLJGL+xW4GrzMP6h0N2tsVob3Rjud/TJSb2Q0GTbgDYkPKm45sWz9c41srfTAdzaCh1eghJFbx4hUF1NDF25ulx3wevQK0t5uGPx1rRu/UFDwbXDdCp9SdpKI8qdv4gX/PNVplPGG0LswIL+thN8ClgkSx25LodYcBV8onCZlNva1xP8q3uQCVKpxgqZL0hyiF5UhtHJetoH+uvzPWqC1mDDgH+z5U39KwwayY+4NjZze/i/oLBHLPxFA+fz8Cc2s1s/vE32aQ6TJCrD1Q7uCJtl9dN67hl5/PBWTBXuHm3FRn7cTorZfTT7U0ItGaQ9rLQ+52rMqspXhF93HAyrgkajQ/nXVPw16X2CstezuSgQ5wQWp/+Z+xITWnhPfb4Gy3QBTOU0dEH83PYCyoTAuBylJOcsZwJx8q5W+2xty7C9IKohXo/fpPHhOmwQ9jJwhCoS/GXg5x5RoZHDdn2+m/t5Hpjrkb4m2yAzGicx16SkJFBtH8upGHANsI7mjb6uE95wWSVSX39r4LilL7YdqGisSSXvvtXueFhMaLU+YMkCNTGfvcVIZR3p9Yb/zcE8IM7hxLUOpeSANxvf2NNKOgurMm+67gVtEfeNcKM928JqlQHAlqnJjL1vL9aVnsNG+MNfJU/+KMPIE4oIdHcVf/KBM0J1IyS8jI+ce2kk7mrjPZ6vi/PSFcGSSOXyWyJ4vI3GVXBJac7p8FB4t1GZq7vsyskx2LRhXI48BVSmfxgzjeQO04+yG3ZqHS+XQJ3vTGnjDY/bS/Yuzvus7gldiKh7pDVkcCZnK0u5dL4gH9o87jXXQGXRZwipOeaRKbWiZY/C+2gjhjOnO9CFMb3WuQt5tHcj3Ge+vENKXscHziBSXpzXaUk2j4mzXRzgGI1lCPePQ0t01979ddG0HHC+CXuTrlvmgVqQHHKIXW/DkVtEhnEJHCS7AFDna79ABfd27K8hPgLThOlxWY0BL73k8vnfjKuwWm2Rf9T30R1Zyd3W28goX0Jti08oUHcMNVYCjqMT2Y6IncFkbWqBsQAmbTHyWifYWkgquA6Drrn1MMfZ1lw+5S3ebx+yVUcfa3SoXUnmzvkzSG671bMw1R/DlNlUj4p2+bCGWRXvON8dzDzpD92PtkpOO0a556vre7iOSDMbDhaH298GSnwLsICr0BAMoNDRh0NGLe3MYKNL78+AWJgHFMZGGRwtwT6va8PwytjQHm2hFxvIVlWF9QToPEmcbZK1F/NAq4QkOQry3sh44lotf73iU9cdbVRXe6/8S3XichT+eMszroN3q1vLuD5ax+lIZQuFUZSgw0hkZERl6rSxCEXk6n1zRuovj8fzpHmBQiX1xwz26vh2US+nvguWPs+Fr3/XWLX4EvphKNujOAK5kitK4kC7R15kdsVDjNAbv0eMJOkHu9Dn+iLwnZck7N356gUB+u8WCnsYRQ8I1DR4J+p1JbdsEGBZk+fxgywMWidjXu3+31O2cnfIHVAfXrMiCgPQXq+6ToXRoAkUZTotQ0c+YaiIWiM8HedMs3FnyiApcwtsMBEIDNw1PIni5tQQREJL2ic49oyZ1DOogSweg8Otyc5kUt8YHWfka1OKnDeE/FQLq/sdzeQjoHcbaJj8ZVvnYWTIOzkfh+z7dGB8VF1UR0z9Wil6m0fzWHSnd5c0N/+o+2RmdyrUV9mqzLgeDCqx6FXnyVVrjUBQnBlrkNtEGH3Vz6qHkZb1SyL/tqR+OsVFORNB9DpYRQl5Bc89drykpWqDtBxsetdFfdlixtAM2iRssny3U6rstlrT0UqCIh8kPIGFL+bHJm/O/8mCnM4JBS9afRlqCSuIG6qxGKeT51FW7qkbPC7ZrXYMb1N0BmP6LAL4rSzFLhEjmz1zUT3HliKUOgA+9+1Zkiyk6TeKihkFu2nETI0zlCs9PlSFLMBAIew37wz7md1VPWjU8mSGNbB3O6/Sj7tzNmQ0hyiBjie0hbMbBpeyTC+xbfynHx9WKbxOjW5PYbmeibLqHlujz316WxRxIctpjG+i03fOMpOXc+bu6qPAL9HKVLUAlz7mqnAHI8EG++us3v4NeCM8c/FAkqunkdWidptDzLoILjlWkTWGvlwY+SNzbMNjQU9IoyrikP8pi3oQUXxhDRgvzFHas+9vCpI2SH+kCBWGe3YQAfRyWYrxSpXHZkL3f9cinPnP0o41Ls4l1n/2I0vW7jeAjQT1BTdbe8jtYLwBm3vN0viKQy8cweGqOOVnXZuknKd+rWpw3ZdMIiczioudirOBYWK+W7OYTiZzTlvpLYWCDUjMuh2y1gwtY3PQstU/4cVFbs0EfTALBIrj0pkhwE5XMehhX8XqXxDZJSS6MYssM43fqu9vrz9eMU3Pra6E6j+6TK2ccGegCZt1+1K+JsIOezK6Iz3kDewF+uzrIB4CXxUpHPXlD6s7+ICMHB/gvDGLYoOrn2jgkkvKrfomanFmLJwSJ2u7RKXkiDakEnl6busdrzcZGLaXoxZXwl3O9CAi01eN85R9WSIpiCN3ki1H4UtB9rU16VFsmUdCx0qVzyzifdbYcC8LQZqULV7t7lVhz1xnRW74baTbt03ie/NneIsDAau2ZBQlZkMDgft7E/+v12TgptSI3g/1ejIV6kFOutkvdHuDkeVK3PCwisuKrrpzob0ygdSa6pReuK/u/z4WYaF//UsBjEQvpAROZv0Myys5Q0utLq8ws45b1gx2NuezddRbbvIu9SdnmEskevBVjE+TBmspbBCkHRfmsQQJ/SRvOez0K6yGNURUeV9c7tk20OFCG59ovkuCrJPgYSWgRGb/lmubaKG2tQp0RrIC9X7L7lvvUg6fw+WWMwX43I6r+510lqRwX3XPR+7Drxt5Q0j0zt45ws6g8tSO3XK6g5zs9Ad2TblgHkSWk7oj+XAz+PYVeRMbgh9ioti+zpBUOfc39qvZ5BmE16kwp1PmJu3+Xoh4QW1AmeuNz5zFgcT/Rn2sMc3a1CQAzD+ykbp+3T5AxURCZuzsEZ34MxSn77pFkZXyH2Ox7tZsGfiCfdQrPsEiNJHQGtKvt6N/jk6O+4F6pjLYd5kH29GsYdfhf7969R7j2LN8bxZL87cXs56+etYLoyGuuv15zku+I8TOuN7hD1DHWjYQ0vd38WAb9SSY12Y8vYuWEPG8oSiOAC6pB02BFnsHb3cT3UctFAU/mRFkNIw9ZO0/DssDK/qy9ni9nCn7ditup/0a3q3TQCKL1p0t93Ba8U38s//wDVcmNNvcBJex9rfa07qxSi+Se3Kk1tatzur/TUMmqdMOurUPz6m28YtatqKlTq9J+2fHl4KvDYte4PWfXeIoZF+lz+0b/bmwH4f7sSdzsCj0vc3rvi/uhEGGgxvXnwE4X8X1vzXT/tf/w9bxUP7","requested_rows":256,"seed_for_row_i":"32000+i","config_columns":["size_mean","lambda","sigma"],"configs":"Decoded exactly by pack_results.py from seed using the documented standard-library RNG; no per-run overrides.","components":"Decoded arb=edge-retail; packed scores quantized before differencing. pack_results.py reconstructs all four arms, first64 ablation, per-seed gaps, and retail/arb components.","null_means":"arm not completed, or metric not defined for oracle; ablation intentionally absent after32063","rounding":"edges/retail 4 decimals (arb reconstructed error <=1e-4); sq sums12; configs exact float roundtrip; aggregate stats use unrounded checkpoints"},"source_bundle":{"encoding":"base64(zlib(UTF-8 JSON map filename -> source text))","data":"eNrNfWt340aO6F/hZj6IlIqUqJdtqemzPUl3Jpuk03Fnd2euratDSpTFboqkSUqWPCf3t18AVUUWH7Ldmew9t3NikcV6ogAUgAKq/vlN6idukPprKzl9M/vmjv77jziIci1Jg5XfT4ODG/ZTf+cGURDdm6mfu0GobYIw91NLe/vxB81drfwkz7Q4Ck9asvfCYKXFXuanBzcP4iiz7qIbXmoV76HiINNcLU/30crN/TXTojjduWHw5K+1j3GQZXGEbccp06ixCNLdDbSm+Qc/PWnxY3QHRcPQc1dfLO1vwXrtRyY1/rObfokPULcbZQG1DU1G2X7n86bnol/+2oQBhBoUhHynu8j1sjj1oF+5lm997f0PN59+w4ZwnKGlfYg1goPmudEaOhd/9ldYveYfcehUhjJ0Mqhrle8ha5a7aW7GGzPL/URzUy+Abt37ALI0dU/QVOprmxAa3MSpFidYHZSK9jvPJYiGfkrgA+jxWbmLgl0Sp7m2c/PtXbRJ4x1m92GaNPElSlj0OcjFx/s0WE/H8tunH74fMPiz/DBg2k9vf4a/P//n8id8+/Qd/DLt4zZgWhgl6w3TdvHOj/KMaav1ZulCjR+d6Xiu3TgXc+1bZzrXfnXsufa9Y11dQcqPju1D2ruPn+DBHEOPo3/Hjugrd7X1nd/SvW/cRWt/owXRIdkGemLM7iIN/v1Fe7v6Ero7jQ8WIAA5/DTztW+/ez+HoR41P00BQv8HKr7UYvhG0N5ngBUwzQBQXlHi7IJIty0T8tkTBgV1/pQYBs8RbLTkjTUYjocTDSpMrm2Tv4mu4L8HB4FrZQ9prpvDLr2E8b2eiNITzQ+hb7ZZ1Ir/nhwd/0F1g4uLy/Hl1XgAFY8Gw6tR98G0RsPh6Go6nlwOxrY9mk4MSBxakOdicjm8uLCn9uXokidOxlcXo+FkdDUajy5GY0jsja3RxXg6Hdvw33R8NcWcvaF1Nbq0p6Ory+H06vLicmT0sQeiA9OrycXgaoAFhpAZOzCeXtjDq8HFYABleA3j8cQeje3RhT0eXl1NMXFkXUzG48HldGpD3rFNibYyUiDIfRppT1VwmE88x4OTmNZkrqXOQ/eBJ4kCHD6jK2sKAwDAQAuT0cW0m/aGw4F1NZ4Ori7Hw/FkOADopObwYmJdDS8n9mA8xhIXkNizR5fWaHJxMbEvpxcwbMw4GlgAmourywF0eXyBHYYqrQm8DhG248kVwB5G0ec9mIyt8QU2BkUAKAPsAcDfmlxOLkfTS5yiAVVsTybQ18sryDe5uoTuYsXTqXU5sEe2fXkJ03Z1MaScI2sIzV9CieHl5YQSCWZnacBdr/UD89zMZxELY7ZlT+xREsTe0Z/MMDb627n22QE+rBMSbsI4TvW9Ycy1jbM3Pxco/fnNYKYdbrG2Rc955Ol+iF+unci05ccePKsZMl9Be5HlM2bo6ra5MeYyqUeluptnxlPwb/0gR5E5A0GXyN2OQNTaYZb1nGPR7+x6oHQAcwWYi0haD/0I6jJmh9tg0XeyCiplz/Rk56b3ATCRsiPxPneixHry0zjTPxpln1Zla9/CdJ3vy0f1m/z+ufx+Y8ygEehozznc6qvux15gdG8AlpVeQ5Zn+k1rxxIX2QQwIw1ZumUu80ommcBq6fMFNorXfqY9BvlWy+McGObOzTLN88P4UUOOB1yaL5uaH60TWsl5jpP27Q/filkJ/U3u3MzT4H6bO4MSKtVxleMu5/Nl+LXDMGsHT4EN1PUZ9QsZOT6wz4boIXJzeoKkAoMor3PDywxEzhvTFiOMH6miNOxhhi5C1JhvIROvLexRAUz3RJ38i455gAIfgaVCbQbDhcdowSaBpPNVGCSJv65g/B/HLqQ6p4DTS5hX/S4AU1BzhcRqmQAAn2HwbxBtoFrxeg2vPRp2dzsTA8OJExW214b8DCDDOdoNcLRHYGmiQlaUNer0IDKKVp6hji9+GgHD0pOQJVtBHUd2YhuPbVyW+WHI3F3OhGhXEs3fuKSZ7b0sj1dbN8tBUtoq4iKvWNOn2sPejfIg9DUiGBB7fOgE0oshJnX7pLCR7k132P0VsOmxig3bJykVbPZhWClgzLMkDPJqGs977zrAcd35vYe/ngCTq0gi927/eyAFT03yIIlndcNk6751Urf7fR+y9vDBmFPqX53Uo1Svhw8K+zuHgoljDwZc7vGPCYC8F3STrVHF3+dwMDg6AdL3PBtWqxIIYVSzn4bKoH7sZkNjfhw6P/ZPwzpZODoM7DQ0T4YySs+DZK97HJpHoz5MtcdZsPbLTg/bCIcA5nBgEkuCIo4z4BIOh2azkAec1gGBvZ7f85p5QRM5OLbVyJu0ZN3n8WbjYIku8iQQrBn+MbE9o0+9MZrFQDHxHJDidb0QXHlNhslFfaNPon5LUQTSQwmhX40znCODZd4p5pTX2qNKu1K0h050dZA6J0b/V8Nor+YvQm0jHeuNg5qDtk5jZARMc1GvAmpZBTkQqQeK2xpVwARqPgY7qRS19i5z9NOw930Xu2l0u8P+jw1w/9jXjzJLP8FM7XV9cYIjknkPS8PPQ3u27dPtl4VTwDvL+oD1yBow2Zp0ERz9X2s0spF66GvwEPibioRzFeeKby8hXJGxBdv+or0HdqWlwJNBw59pvzku0/7DXcVeAFOx1hFS/zD6a5cQ0mqr4IcI9HNQ2Wea6Hr3tx72U6kHy3LMtVpXLV4MGDkVvHbg6QwOInO9DY4EXlJXdSIUXAOERsuxvIvJzSpqsq/6jwQqR4eaVEo7u4ZS9uvzHSWURLbf0lsq29JftUmxVm6f2PaR4agZ1facIEl2lkKGrJdkOQjIfstS+a2wkoRuDmq/ECy5tWaPC6O2CdIsJ2r1Dz4aUoSMWRiGeG4xtY/OwVrFyUk35q0iE6zJ6QFl3rNCExsw81+UyluwTK5NKBA7j7cgZcErzE0rQmKmN2jPGA0GM5gaII6937IEkMCmr1BmahPaXiR4IViWKhg23JVI/iqRi8+2mFwqXqDdy7weRZnZCzzw4Xw3HqudIH7I+0A8sJTXozhvgQLN61GZ2K5UqIBkHksIvEqP2qR+tgXsVyXFbM0SblUs0f2HKNnnGkiE2gqWBZQF59o62Gz2yCAZGpgiXG9g9eFmPzf1tH2GWI62p8h/1BJpdto5itI5r+giH6Uu8rhF0RK/vYE0jWyIu1t8X7xBvWdEOkzPqWSnOq7xgyxAKbIEvZiySOYrYlS27mbrXrIFwa1vD41SH0qELpRszUk387k2lEhNKNn2MJVnj7aOqghBt405jLtNfg3jLK/Q8TkyRZvRDhRlGsGkhaSS1D9w+QVaNYFfRluzEEFBoOjSyIx+5tcE0uA5zrDap0WlPT0IUDJ5Vc28Sw6UN7Fnc+oevL3EeABOtwExGiDmJO0ebgNF4yVwoVA3sJhtAtfVIT/wxNKKgu8SU298E824Eg/JDL4K3V1iaX9FtEANBxA1AAHplw8//UPb+qnP0IxN5mcthqU/9yWypogEtg8CyjyluTfp5eWZCxMHgRcA2L5CE9hoBAka+zXH2iYbeeLqfmIWItT3Bllvw6SnJkn1oYWfpaWuDxrlkyEGR2o+PkGSGD/Cgiv59MFMX6HmkwLfJRWuTdP/U0H2LwIDIP70JhUa/dN1WirzNPJSoS/npYnLddOFXGoKmwSxegA01cmeWFlZVzDa29UZbT/aqkWREl6h/uOeS8HTFasYzpIUM16ej03qriTZIZCB+HXOChK0AJn4idJMkeYaRj/Zfq3Rq2kYVG1eXQe78RULWhJES7FJVYDgqdW2ydFU8mSyIichjmAetFmR0YgcvNZe9RzKum7NrgdNIiIO3jjBm49c5xjUJH7Q2mUZ6nS1VM8+Vw7BuaLsjutyO3XP89A2/WqA7nyQkXTIytw83kmI0ku2ckNFJL7xN0Hk811QkFcT2kTjSzMsBCjGoDwgBGYuKiND5ox6FaepHxbbn3VJAdr/o7LC+KtlhXFNVkB1EFYdHLIBWvHsSZELqrbTJ1Z+UWynlCxlBqOQF+rG048FV20qAQiAP8UYD4gulnHeagT4fh7hgxq/DDhHIIYA3WVBADk/f3bK98ru12v1jEcHxnfG2K3iMs8hshRbL8/k/fy5zLsp84k9o5eHP//aEb802kcH0UgQZbegoibZtg91/tzISoEIcp1bT57bZvOQONc6acCg/5KRGFVsOQjS3LhKDp9I+xYKebn+Do2mMQFVbMc2q4a2dx8/URbD1Jt1GFXDW6vOU8KMm6gbOy51lY1n6zlb1JK4lqbg2WYvjQ6FrMkLGF0cdx9TcSCMhHFlyrOECmLrdxGImlmmfQ8S6Hty+BC9RPAul6D358ulnvnhhh0H7DRgoD8t0Yzkp3wi1B0kyGUdneNgTk8n5ySeNp7Df13HGgxGPDFfQsO5I5liUcGhVS7jn271j/3+ENHoBn4Xjm3VCidhaac7DfrHAZnqTFEM4HDBa0q2TvmSnil0UyuU8kL1JrlAVPYaOz1XP90OFqU91US/jBr5ReW024y4Y6V4tHCq76a96GI1/ai9L0uBvrgGqOmqBlJJr1WTBffL9dApn1H540PCOVuCyOJ8iCN/XuSIBg73O6nVJBRHnjFaboRLjyPeM1jZorx4A4kxWwolHURwXurxbYVMKI3TvYPmhhIfZSOcBpboPpTJSoD3LQuDlC36w7dkUTotusi3i6plo2XqJ75bbKIiZcCYdy7B0JgJhlUq57oCxJ4Coi7653S7Q1g4FdCqOeSCSU34+XLj+xknPtoIE3gB5LTx5pKiNq5CsIBhKEpTEW4roomq7vNy6uxzci0/uIqJG3eUAH94Ewa3d3vq9+KrZ/S/p++KXhTTWoNyPEgUtBq5xQ6stKtS51C3xUnEPs5EsTAWPS8KbwOZUmcVTNCv+C12Gh11t/1MVvTKCOo1lijRcwq1pYAuSItBthXTXispQV+vUcWoQqTjuwpMLluO3P4UPIwJHtXoM58y/nNiYgLEr8uQHzNYBt67YcXIcXCEzfgMJJSelMXnmaM6fdRGVaUyGFcLmeFkNlJZZjS9AoaTwUzwfsWY32LEr7ERbFeVuXkdxWIxWzh19aLFaYHnDYo1hexX6qSTwbF1zgUon5kwVf91yppeUVJyBWAzBnuOWWMTPQf/zs+h8LyVwRbYSMOMYjf1OOM4vIpdCLYnVPf6cM6wCmQUyrcGk1H4Hy5jqbvmKxULsqW3PzH3yNwTy9E3oGZ2zN8oUsUsdQNQLv/LDff+O/Qt1Dt5sPOz3N0lmbbbZ7nm+cB5QIhcpb6LZt+OuibjToiTXys1VtpClkV5ZpUFokLekI1nadhvlFqvHYH4krW0aCJ5XuKrUrRns7xpnyjZEUc2o3WjIs/fnNvPOghRTcEH62Cc3R5TWIRn1EnZay9GdN2k5DPbvRXozCtyQ6VQ5lURdZ65zql/xBIhCQocg+agBjjuqbbrqqC1Igtmbj+DJeypkkKiYZFQom+1xnqJXqOEuh7i5lya+qtci8O1CYs+GoVIzReGIWWrVqNakzhfkqXY6K81d6fsyxH5hM6wq5JWbbzDCk0qgxcig9L7FkHg7EifFQoqi2RjOUe10lEtYWe45JNREBZv/oxx7BkKBO4YrEGbvi577jX5UHWQ+tMbJXeDozVttIhw1NCMlOfaSvT/WjAo/KeE6lzufARx2kbvNSDz1ArrlyIF9+J/TqIQW5a1piUf5JJ8bYrQMpeE7soXqF2QgXfSXG0V73ZxpIYUbN1wY6ILAxIHT7fqNX7kBj0fN7jNQ5AFHln5Ys/1ghDrts2/cVscefoXwRDc7LeL1369zlbfi6zG9M5bKKr5/gSQumSosVDpM7rrcJ5ihfy10KTcvu72Uppf+BUMu2mJrXxuk8EalOnUrK4NwmXr0KjJds+tARI/Ht9eW1e1HoRJyaGIuT61r7FSV61oGc1lBrTb3KwUAIW9dd1c59didRPKnYMbOdWi9gL9jeaqgues8xYQFpq0nrMwMZpmlMKKUrGX5A0JTMCplJx2vgtL5Lohs0pFlcd9SJ5SLmaV9ZMvdGL6utZEkeyq0rYisq3WGy6tPbU0y6NM/qxWacPvG/YND4BRI5umY9Pbr76Acukf3VVuguCgJSAdk/MS7pY+aY4WRnrSx1XU4DIWkPzbn3/WcOldATcB6eIemQB6qKEv0y9KqBPFpcw0tIxpgqdkjNvk/ZRv3356dBNNhi/NyDeNCVYGWQtJlN1F2DGzrCUJ9xl1JgPRN/fvT52MHHKyPE6Bz6E5oL8N8O1EEUsJ07IhI9+FTejeM26XYFro7ry1y8iVz/qa0CKNxxbdRT8CkGAurIHWxV98uou+H2IqpJnALQaD0V306VdMKk0fQwvX/L/wlSXT0A9qE9yba+hzGnh7CqjaBWvpgvvhl98Qama6jzBaLMetBjSSQJ3YwOBqPLmL0NJFCZf48X+9w5ch9YdbYWUHEJnou0H9m2DPrSH/CyXROEvdh5cP0Ag8T2Aocn0oA8qkz/AXCvuKtZ5J2bO1RtZU7moP0lqcrv017/DyA+8UAQx9+TN/v44pLCxDlCNwaI8+bqgIZ1WYJw3QAJ0dfejQr1D+orJgkR5nIo6i6/Ia8GGfSuflYjJjePx4827583/+9BvBCOD13z98JwE4xak8az1H6/ZeUqqgUg43HSe5x8Hqpxt9r/UBcGN7PLRHk+lwdDEaXE1sw3i2erGhhgYdbcu0nWwpwgmzsq2b+AWjdSFNWoI95bmmr0c1pQ9Vde1aa3M8wCVMe6O1ucdjY7VtIq9MaimIBRTLJmaOAMfsCuRCwBRNd+EPwNAAIMKYeZqnpD0LMaGZFxADAl4z3AmRw+ak/L27zzJUBhScJaTkRA2iikAT0KEBf13uM0WxgiC0HIDko/tiu7NnagK9xfp/Q8MB2g1jYC3bISN3FjIpL7EVY4490ragqmSqEIbf/KzgNudmGiQNlWEAVXWRtHraFsGDeMZ5CPlKAAt7Qmg3UEluYiL3eXI1MQaoSexLbfGDDmVN/NzThsTIikwGtBO1hsRUMAy3rj4vOC2JfSGgRuX1OfTcBTjQwpYkMTZAX2juHdUQJ2u+Uk9YA0ehoIJCqjMVZBGeT0McbIBDazhPnRug8J1S64DGPsMfm5o6UyVtC+LoAuQVWIFJfTGam4IAvp6jPdY9rqjfhZ/Vc11EiEMNvK7SvapYiOB7QbeY91obzF4/eNHFvlPWU5Czgv3PUq0Mc1bIFvDWq9Lsz/swD9DbkKJOPOiRvo8C6N4OiFQLgFYD9K8Glm+gloMJ6EdCtB1EFNtw6zJvMZf9o9WJqB4qKsnQeJEAvwKFQ4l/QRXvEGFCJFnV5r+kRAzagjlwhWFF3fHEDCnFJQF79YRPuzJVSLGYy8TKEOfIXQRTrql6oaUojJjYf9fRNg10KelOgIum9znWyzVMlFDLaXyqzmES+Cv/Mch8Mwwi300LtTTfpvH+flthvTrOTX8L3HKAWEYzSBx4uw/DFydpT+yLQMEhYfK1XSD6HiBo4lINk7cH8ET8e1PoLsCFrKTpMyBQAL7toYagXIsJsmIGBsixgG1BK9Up8HhG5Bb1zJDUUgC+B7WlVVqRlQxY9hpW2Gauqs+8KwUVU9sYUMqD982zkyw1n9dIJJlKJJldeRu+loCeXmDgWRVXRVMiDbIqii00qqSX33aIKlCor4kYWuSskBneATDwtYt/qstrBYy7PVPWY9xvOzAc3QvSnVDnWoilDZqrCvxeC74W8JxjSegXiVhDbKm+wjWroejpJ2Qs5/IichEBEv1VILbiwH4GONzj5MgIuNlajgnaPCJ9DJ4hVKL8Qp85GjSJtAKvq9NWOBRwkR0nmvLpRy5RdbUySH48HaESN3x+Svk2+jIMvijTCm+M7FvLI+qwOdOONtNO8P89rHL3HnyE/x+DNQ52GUZM2ZGvsk+oCeHqFGwTFCPUdeV5HXQQh7T46f9AnEDkAL0cDQJhZv6daX9XU739CRJliGVw8CMtQeT3ugiXp2VgsCJcPHhCoRdVtpS0YhRvhanQUJz6SN2SCzM0FUZ0HoVw7+ve+v/bpKH6/xt+Fpb2w0YZLtqZaPN0pj2ZAYA08eEPDIYiNUy0UkpD4gvs/wW1p+r30LrDBNPVovkUU1C4RIlZk8oe4hyyKXFgSE2gOxNW1awVMdB7oWrK85IIzOcTeZhE9yY7VU2gqwqjaXGr+tAIhCFunqhN4BQXOgM+Ayt4kA32NajiHMSFIQGRDJET0DVxT4h4CJN/tLi1V3Shexdq/37Ystt2qlpZfkTYteUjzAb+IeYAa+xBI12sFZ5ONvYfpfXT0KC2Ws2cVMu1dj7oDcHck9ONuQvaL6a22jRwJfH4VbF6lXZKZH0GOZUJIJ5BgP/7i4D3zgH+WAd8vx3w+bECdq8C9mMB9uNzYIc6Xg10xNf82AR70mj+zwA91toEPzanLMySCWBJJJLnpYdgtdwFR2WdebwBEeIt/L5tsXj8DLK0SWwabdsmHvgknLP1VRjv18BtzRXMtwGrI+pWsLI83nRJ3O5BjV3gubmrP701mhYRIZ9Is4gXw1w3bCAva1UvmSpIqEZ/a8z31lAEaPS29pREwAQ0W6ANyvZNde8DsyNVYbJq5qDsNNNklaoYR9zCFrodfq3BozTsw1KmP8HcqHkVFYXQjIwFhZLyks7Ronec0RBkvwZ1SwLJcAGpCjjsliKU3izWQHp+uAvlU3WKlkxc1xEZN/+aOPs622YdFDgVzTUQ6QeXMK62ZcWeDEwb0ZTRZtvgFPpq/1/tOADBD/6PPGc6VuU8omzafCgdQRvOUhGZTb1aqiI9OUqN9d0wxn9PkIn3opZhh3VLV4DIq++m7W6h9X5fGy643aj2eauRSe6i4VmFlmhdFC2hLcrAUkN8BUPxnpzBTEsGhPBBHghJslaft988303goc9n4HuAin28+LIh3sP3+4Xxf9Tq1VuXj5SNyrOfIhwYf6j3WG6xOrS7ijDRczphruFTnPvJMtgl7qq9HWHUa36Q3j5VG3yrR1trFrm93PLx8W1ri1xsdcTZeSofVN1+m/uqrQ7AgDYqHLt0SJ/4IZ6tTkAlL1fA292BtQ0sGegQ3EADpmABz6TWQgATVZR6qVguSnsnKmliL0JMjqh2K37F1oRE6wa9MRXj5aMs25h5VpJhwZqayNHjiyW5VJKB4iVsgAJ2dfCESK3D504wHDpro7r1Uzob0MLQ9N+iHavWXOoRLpl7IBTlQKhENZZ22cKYfBbuZFuuuj5CSRIWzjhrKDTAQdLIgeyTuvey9+2uYixvUmkd6FU3TuGFB6NAawL8oj0B+Lk6FVzU4hlntC3voXUV5PhSMAPK1ctNfXTj4f5Kptx11x7dDE+ZcVOvKrxRj4tpEA62qhuh/HSiXY+qz2uG6IAfjlWLlOIEh6W8ui8pTiys5ef8Sdvc1FA6WLZ6fqIMAoA77/op0XxttMxfC46/kkeDgourU+FKqRDJDvOXXpWQseFXiXq0o9HedE8yPaU51au2sBqrp1KWtqnzHEmsoTV7VVWCYK36ToVmWeVVtXCVywOriy8Vd05p4UILEt+VVVK4havu6tQ02KwRs7gRosZTAMdO1A7lQGeWE/cG7Z+MZyn4XJWeUcXp5sJ4Bkuf3tKuj6md4X51jAhVa9A5dor/fnpbGgoLt6G2SS/0pmJT6OY8j8V/H71n2ezuhp3rITvL5OsnSvAldHcjhUVAyhq5oWELs3H/vMb2KOpWvIla4BjKn1yfk24fNbjh6LGCLrbRhxlv2KoAtD3MVzNEv37JUDBkIip04EWcm6tijYriybkGqxCDrDBD17K6ZybyjPWCegZdAtFKjLTFXHe2M1QaIc/HVfRD+ted7fTuhk/lq7oO+R+xchsVVN+0h+fmAV2H66RYyyCVq1b15gU1p6nuAEGbgj2f0XteZxLmYhxu8gtLT4PQEpLjOJKj0Ucaf1pkyj8kW36FjKlOyaDhbkrjiZLKMu+hXe/pbTumf4XvKfc/JfHA1F72QS38UFsMA5UquTG+Uae9eOYUM1VnAd4LE75+TW4S+eoerm0KYlMxbEEeQVNC1PxD7JPT9/V55rYThVFUS16Fzs/zxIYwA59dL9PDZqiWZuJyid59vpn6Gz/1o5WvPaGboTx2qsVwUDF/gLR8ziqQt+m3KucSmiom/TF34eYKXFFSCwdg7SUP4NalnLv0Cq9U1af3F3l2vnpq/lx7/8vNt++Wn3777qcf/urYWI+/yrkDrdx8W53MTer76OIa+jgQcbZk1Sc2zpjwi83TU7lZG2eWHx2CFArc+7neUdvrGDONR5n9QHVQmJkoKdxp97vkpIEaEgkkkz63eLCjyELetuKGAaUe0QVumvsvf6WHQVYR+P8dVJ7ET3MFFchIgDZpMZHFuex4GAclMaOam1amamZsi1Jq9YpA8jJjkVLNuFzu9qE0GHrVeo9d3UP7JFptsyDKchdwX/cYjU24A3F37IDRyQk+YYKU0lQha7lMqR1HtFfvBIh3/jo4nOtI3yvPLG8dRObnQe7vZPkv1ZBIaaguB/GFZWGw8vlOspJ+YPomjN2cBVFuQCcOzu1h0aXTUUir636xgmgNJbNyloy6NJntYaZ1w1K7hT1SceTDRxU5MsTy1c7Pt/G6OjRhWKzC4xbEi0VXDSx9pgYXr7bQjzWIyiNiEufDR12JCKDdn67Lut0vjzX7tkvAQn3d9UJfd2HBKyt1K8ufNFuTV7u2mW2IT/gHN1SZxKd8HQaeBpJ9hDXOtOQE3cfTLCmf9vbmZ+3Tb29vftPeffhOe//DT++0W7IYLSztPz798uEndOcHjEN/f+WujuTU5zSbJb6/Fu757s6X3vN0FNDaJ398P7rHA4UiyOivm7d6fM7iiKJfWXbKGMYBsLj05RbhBq03e5TmeWQov6QBOTWIrPJ+l/bMN+LrXfTb27862AVgvu5aB/4R6cDhEhRqPsdB+bIO0ggGqC+XmyD0l0uDdeLUXcFjjoC1sI4OoSm/7gMaSvR1SSMPzrqP9ufeZfNgqgc6qOZBHkwlZvaAuztIUm+E7Hy4NW2ecu3YU5kWLMSJUPDYsxf8xgI6FJIMoyxhGAUhu7FW4hj7iTHXXKfoK4DituNmXzoLo8efU2+JhTtQK/zMvVpeL1ify1sZiYwZoQP8NtDbUn/zuggUc20Y7HyutelSNoQuJ+236e7slgx6k4gQdnx08I8IPfKH5bkbPMRvNRmIh6uBPNsiWwPGF7GJfDoDYSHtisNkGjZmOlKikHSpYUdgSEfES0oMxfgsi/EAEqNZhGcShSSiqmXU42aKov/mdHhYXaeym7hxCA1k6eY5CLL5jThGwyps6t3NpnkDymZzzopJAT1KKDoDjADky4YtfjqiRVkntnbqHyE3WiYVi4s4IccqW6o1Ysx3e5atZT4ptRlzP8sx0rk8hn23bwELNVqfgXUAWMyhD7Wwx2trUpdZz0JJolnPgQZLw0jSx6aAOxRRcFFxPARhW8/JlCVlJceDomOzkrnE3J5jDSdvnNUbx7qYzCUaQ+pApF5NWieQ8wfAV91N7zM5Pzh8lgGXZrQAOPht7jpAajqR1JyO1nSQQwOoYBrjKFgBqDGkklMurDI6VeDyKpRjJWE9z+mbQxkKwhRt0V/mr+99J73t4G9nwXjoJybwJ0gC/MB3+MHvB/p2wHR6dPGRR1c5t/COXjiY77YDLIU/kG27s1jAQCHjOmsMx6RRlm4HLuApDMDaJ2sSuh4cFyeYRfAbMWQfLk4FQ/7hIvgZZx8un1hWnO4DFSnaEh2CQWm0dUPdold5ukVx4g8vV93FYeKMIPGNXipd5m4hnC0UHEUdh3LMD1ZSvjIRXU3Jajg2E8dz8TbVk06YOAqIf+EvrHLqCX6pHHhSOZMJv6oJRvNcwwCZPK6/IN46HRBwXaht2ZkpOsSOggnSGORGOrFYrPsf4zhU8Rtnl4EWxHBVd0DksADPD7f2bLKYc1zExblInywMfudKVKQZ1/I2LOTGgh0CMQFm53ohSqCmC+gGyN5ZkGCNN3xpJF9gyzyYXgoX/hHE/Yx/kHayXIqMSIfOrc67LwiLx8uVOyHUZ0JclKp1GJ/Rs/nawjcnIuqiEB/pEh0EDJWrK3T//cvNj+9uPnVYZ4gCDYpLCeRlRd9Zx+1Q8qYWVJJiO5jXCnZustxH5FoKixc0zTirAf07BXGdw2kNgmSmp0avc3cHwtMcWF64pyMtkpREJBxyKqHIUrwRQS/5w8gokwQ5Q+rQYFSL9KwCodhz89VWlYpvSKYFaVtesmBPTWwEwH6P+jDTAK9hSHsQFtNdRtTEt9JA+qRltkVfJkEWlGYpxgpB9Fm8pBwoi8tkgNRL2F5D4Qq62guOAEXCEBKKl9Gihq0IOQSy4I0EZqOcSjwoqkRopiDv67E3j9exc6t49yhYW4ykefYl9goz3koZipV8jHWkcA+PtFovevqtFH9IQs7ejIYDmCvqze2iRVEV9GSo5DHDzlpuglYSXRIcUbmUqUrKGf5phIGNNo7UfRWZ1HdIcOZbZvSPE45c2BXS+bhPffMjVyLFZ/Qs9PzIxzXeAzHt1Hd3O7MMGf/3qTe9GtqbS03nuqCV4gWLm90OH+6i4o7IfUpfuGjLH2nhh0eDaQiR3I84tyeFE+hz5fODVP0gROICSQ/UT7LN4e2bH77HoHHfBRLGpRN0v6LwDZ53xLvDoCa0TcYhtKtlqxhUXkDAg49BZ9QQZw35HNSPeJe4FHKM97RAPqFlAjQKHRizZ3SM5Fue76QBY8UrmYqNePVeT5JsZcAbBrYjomg6xq8j6hAEDIo58MtIegyTx7h4F9YUIhDtEPiPmo5GHm0DfRIH+CbF6R2jgeYlHGM7Gffpz4aiI/gdkR5ASPd4YoCdCESgEdHdFwYP6E+lGyhofygCQ2r2BR+MtqB6hqS+jndnw+d/fvv397SZY99FH95LLy20BhfxeylqCNwvjyx0XD/cNIK0aX9qg56SltCYdaqdUq81eqbkjVHWVsisYqqYJoQth7qIeHpfOS5whU55fFDWDf2AdrWErPg/OSv50o8A5c8l6iS45ZNaIoRCt68sqHdoF3v5eA9oJcfAmtIuUFEPBsbXckBrl5dDcvoZQFcvS/kPeqyqp7ITdAICKyvbCCU9aQ5IGUPa/pWiYcVqkgYbcr/jW7C8fvErw7G471hpepB9aj2VgPYcdhwopaUA3kWDicQj/spDb2QaK1GL+6ozHijQ9pG7gtHGB069xdX84rQIVsLOqBWQOIj73/JZujX52Be/4lMIKIqJQNIiZg7xG6ULcatwn06rQO4s8h8o+6EaYbffLblHIz646qf78gyKD+9F7oc0V930ywVYOTpNoHrlIjSMHS0tLzS3vWJSk9S6x0B7nQPTqhzz9BfNNM3yxl9WoWDyYdGR+/ArgJVQIEPcPAIAySqxfQ5OXR/msGquGAKJJ7UFM0I3nCIcQb9HZErwxh0XPxzRDTs6Ng9DOJ7ZEqNSdF7nkWFp9C+4umrZfY3Son73OIdX3I7CLsAHePXzJSZgMsaXzLWcXim5D9PWepcZbuG6RwpcMDV1N0O9UASznd/vLNAeusGw+TlipOlQuZq3OMDzugHP46GEZxfxq68lEpo6fJRhG/fD1wO1gFWPD+9+2ADYKeaTbuKHs8CBXKaAUCtw4Ds6HIg7q/8EOFGo6wnjSY+145jsFly8L4hx4zagc38OODUEruKv3YK/L4G7icf2eTxW5sd+FS7bdVw+48PyCnR+HUpXWL0yXbacrjnnr+XbgaKGz7XYtgAUdkayknKHzFw4ZIoAT+7VnzDJmoxX1P7calGSod1Chgoqea9GpRrttpAuxV7dfz06FRgiKfgMAdvnCPi1RPzVhPxHseMU/wHs4DiAyHGK/8eRg6+qXFAoU1GcGsy1BxTOQFXigplqOqf7MR4AYiRJ1VdLctbA4t0z5Wueto0zQkRQJZQVIcMHNw3QsCgcQUGQqw3e25+qnSVBfdLAanJwboSMkuLdEix6755ltsT/bEkKxPzuUYY52UgNw+LDkC9wXYz/nFMQpIuc3m1ZnNGFqIjhbFu999gexRbqJ1znqF66lJN4JpLdmpyVtH8rnAMJlH3tXG1Cr9njSiPVGirCE695eUrf2y0It6eRYh4TMrTS/H7Iz4sanyX7E1+We5hVLtzHgu6B0I5xIWalx7P0fIxfIGGf3Kz2WA/kBdYwby7R7UOwXzUE5Fx7jglnhmD/y0NAJNnbygh84jT+es71APnMGdDe/gqG9sdXsiMwqr1dYVbiy5/Lrc4HHf/9TICwQP+WReDeO7v6EUMpaPtEM4oR8Uekba+g7VNB20dJ2x7StneOtr1naPtQ0vaxoO2cDqM4tlM2jK+Vrg8KXR9UuoYCPOkay/IN/jaaPuAIIYcJn9uvQn+RogtR/DD8Q6J4ZYV+kaKpEZT/TvFrKfpgv2oISNEHPv9/RBh51RAQNagNOYJnKfo5keLPoGguZBzshvTxP0LQwurQw8C5uTQ94Fv13CHa36X9W9/mir/jD6X9Fs/ctelETgeFMEg+OCkOwD04IIe1RJ/g5Ti84b60x6F1yB9jrx3Ri/qntqMfcFu1tOg4hVXHUU07ZcTv++Dor88H+6KvH9+a14oDtqr+IVrXVfwBKasMPjwb/vVckbJrv5CZ99d9XJwMzc2tlII2WC3R7d6Ou9t5wRpfTXwlUz/Zcn+7+c93qnFYtUKj4Zk6VQkMa4HBTsKAzHMvwoDMuUyNvX19AByhDOMHulZjxhsBZ5tSDsxQf6YzH2wZO7qr+MSUy4rIZcpc5YFRqsdEETBanYpv413i1ybjxyh+fMnmbmlvYbIeaCI13H5MV/ucH7CNe+OQESfTO2l7gdEefI5wljTPx0suaZ7DGFc6mGZRUbzP8U2tBt+pGlHa9XBPg9ACSr84z+iNjMdgbQMHDX11j6dd4a28l97KWzrdsSz3/wtypK48/osm+8N7lAU8ntYt0sr8D644g6KGRQA1RtaU1K0gzh6Sa1m3QcVl9cETdpgaxvEa8cJWr1JeqdFsr1FAkOPxA/LJjCkE8ODSBl7DRfGb2Tf/hEruvtnDjGR338zgMd5sMj8vt8ZoD0luH4EKSFlxP4ij85zwUyAT41jG8XKufYli3OjiN6avg4wOrMftOIzHQ/zvJwZuFVxaVu9SO5Y1rtea9CBEv388cUTj/cr4LY+CWeF+1yNFsHJudfcNo+GgLxYfDXTuvY+6KYKODkcqWzax611CN0491ZwmpPCveIJHUQyy0sqIHbsdILrag4VsGCrEdm9xZsyBdXk5mjLxfDUaT+TzpT25ks8Xw8uhfJ6OxsXzZDopnofjyYieMbtIti37YjQRj2P4Jx6n9oQ/Dq2Licg7tK4uphf0OLJGsvGxNZ5e8Rom1uDCFk8Xl6NLeFrwEQEQihFNLNy5Fdns4UVRzcV0Kh4Hw9FItjO8GonWx1PRpA39H8jHMeQQj0N7OJEDHF9cFuMeXhQwm0ym4wJOcrgIP3tawvJqWMD7cmpfFM/jybAckkQtHBfM3ng64uliA3tJe75L3Bta0uYt5puMYBQTng83QTkRLZMl0skSkHAJtWZLvESdsg8uYCJktYCbQeSvl5s4rZegzPYVzPBd9DuQ6Grrr77wHXZ135S8SYIoS/xVrrqTNI4nV12l+V60m+G6XHWgZuhkchehK94/f59nTTc+qN7ZWaWXdMVJ9S7Cc4xTvF071UWn0FMtovO39dJB0zAcp6Ofi2fvUAduO6qzV2fhVL2/irYwWggjKspLnkzb4De74mnq3yLciF/tI3RhoCOf/bXcUsPt8jDYxnF5Xwyuytxvja5W0RI3zflB0XhlYhI6JpD+eJ5s8ULGy/50NE952nSeYpo97Os7C++VvouOuD1szU98l9iag8BKtzjy2xyhg+qFJTtLXlnC791NQ5ZuyUeWbrDjd5TZlry7IjhmDvAZaKrfHzJqkY2GXXjoibTpCN/YdNylr4u7iB807dwiwOTFmDvr15keHPEKGHoRrj38Bk5oZIFg/CHK/XseO0SR2fG9zmOxYQUq4rMzOsY/iJJ9boqzCHFRmPODe+kY1y1gnXRgoAUDQPrBGZGHHLn94G0g6NBDgyVVZTGThzKVTuk7693HT+KSOxlV7E+r14mArG/M146+DUxYP/sfyq3NL8qZdqpM4DrKUXk9/Qvdf61G+y/ZEuYqDBmdSvjihPG7Y+p3jdCtlSyohekAoI0Zn57baNFzdGwHrxrtUVv4ZHTd7lrQBvqIAZshByHpZYmeHkt5IiSdN97ByzOxyoJa6EJBoJgjoGcZyMMzGW8AJ4c423/j6F+ekZ7h+YLkDEd3usBK5ww06aaJE0/3RYQnzRaRKRH6S4m+wBSrF5PuLLpuaGd9RLQ05ofbCtYu8CqTJ4CtuNLlIMDaftNe/GJGAf0at3gquQT1GNNivO9ZwBf7uixusuFwRnD+syNH3ZnxelgnLm+4kHcw8Y+x8TtC80Ns4sU5guOsIEdM56WhLdwHMWgFYAHS6YtjNHNAh4x8acgV9BGv6zFRksHr4gCW2IGMfOWK48hqbEBSzKF6q/ThzJ3SfEJmdOc4zEpvNDRoPj4rPPd2Jc/2hdZRs9ZfN0HGnLorveXwxaggI302TLrwkB6vgYMWSI4ey0veTuEVvPROS667LBwqgjD+WDBpPI1O+BEUp6MiEMk5STugf9XjNg4BV8WpK2JeMv9hjxGlz2MrB/orgCeRuQpBcXlSWX9BBfjaTObNqZchyy8zURXdRsyvqz3P0DnSkI/1M1OHTfM/5fRBBxCUW+B2z5QUfSkKE83ViY53oCfrk/Q3FJNN6SX7KlZdTnQ0VUhVwjNcZn+MOjNZIwPa3JV5ipaICN+G974H4tZKvScuY3zHiPQIcVe9i2INSCzBwc84bkQUj4bZC6p7ZpnaPCMgzTdKSAgptSgFSH8lFBLKSBT8UlvRUMgYTUsPLvyiLF/Ho6McRm392Ncx4osO2eiienI6OZh6PM5dkktMfDo5+ulkcu/VfpFfOYZbud/5BGUbl/ipBWoh4PUOdUV2z8CYskp39OMRO1F0wTOwa9Qt83R6oTu9WndkcJCCfk9qlA3dOydFRB5BtFGih0ToUSgiiC7ZEZb0U7XOwRvn8Y3DV7tCAsXLlRS0pkkFrJHMD9CYjnPpzKj2Dt7ZBx1KOrMn1qErfMRrrauQUx7XhKpBZ/b4uyFFZIyWAAEblyZsCjH9HS7F5U1JoHVv3QOUnWn5QB5NhtebrHy0S2MUhjD8yG99aGSu3bsJnSoNWkLAXdLJiGq9oAFQSCEU0zesiLqGmZxYON8b69RzT4QGiDRzRBBAATnBMA31HamNdQQ0FYFczWkohf8S8tUj2h+Rg1F3BsYcKbgZJrOYQ8NKHjlfzZxAwDzf+IV8BeuDFp1bm9lssiBceSxFjHwggmCWAGpRFEUtmEo+kXSR30msYqhVams3dznHEgrKAW9pRcthkKFWQ4G01U8pyd4bmipLWiZv/JVOob1v0+Ig/6ZJrVs5Iy91ZDB1kQsyiJvN4/vCH95lKfAaGdIJgHCwtdIXHwgb8wMrnasBYXjI+hCEZX7zpefI7lVKetz30h6OLDaeTC12cXlliUUSwMQ2GzokCusXPZeQceDz7Wy66OlCML2dLhj+XCy6Q2bafnnjppg5TxmnrAUERAyMo+kTQjdpO0ueASVF6buN04hCF3VGkivJdlIyR7zFmKYDSLHlRzyKtyzLL5Dln6UHflssGixP5NavBALgQcDcPT+B7iwxPjsEdUv10QfFn9CKfwMMWMXo2z2nuOR7EHjxNCR+86Nwd89j2mvjIvMDSs2YRvyuNc7lKQw85rmZPx1TwEvp5c2PxsXob/2zRLPc+QwsDRQaHpAwT91HR4mUwsosLLPDbmU6r9fypmNREUApjR+zJWZc8q+dRWEORaOGGmESMLeqgkFzKsKvUqfuv83/gYyHf4PKEWuPKKVgt2fiK+vwEMPO7Lbq1M2GtmUwJc2asnqK8NqWPtuL35thL8xnKYF26fMfih651YtImAFwHfRIpz8G05XImCEb4WdMLGNkxmwiEylahk3ZhUwQQTPMHjN7gjmNRcudYbf+AnVBOq8HIHKL3VyQV/y8eTw9yQu+g4XmaQq/6aLp5EPDe+EcIN/vQWmeFasq3tL2myhF/K4Y0owXH8iS9WN+ynH8k8fFQIE+9/mX8aazNJUptDzrvm+mqcHT2mYue2BRMVlyTi7ZVXU+bIC9Mhv2kNmjylwA2ly0zQN0mUL0KBy3ArxiMGWc6t6FxlDuWPp4esqSglJvs4dFH3jikBXsDBKjRRXjZdDVEpS3fbYser4ogtwpU5kukUNIs+7teNFXoiOLamUJUXEBo5crxkgY3jFZpNqmjm1Cw8OFUW8Zo17FGgZVfHVwaYP/SuZWPTRCDcEz8HJ60HPcPE4zR+8w+G/GD4cAru2uua0SA27Rhpm1G39fPMeCfWQ37Fv2I8ptZ9WSplYyUmU5YeoTQxVyHKUpspwDglwFau3CHOMFgbNgYL6QzmxLiFY2lyLFrU94DAOulnTKQk3x/raMBqydBv7ROH+L2U3dQxFlTlLePwJD76LRg1rsOY8NusI7hXufu3ilsInm5rAXdPGCVeO6VC6sq6sLYya6T5UIcUIkXVsTpotnRlcCFjmaYqQjFIwyXtpB41gD1f7Z4YHZWN+SdtyWo4EHFdFm2DLEK49FBUBUkmvJXijaBUkmZIVknSiWhhe0Oy1pa6szQ333d4GheOz/5iQki8qRU5sN3vKloQq/QWWErvPm0bDazT4ClYSMwWiV94853tWGkXM8Ts/bR+uwcfMqCg8kUWzdbKsIFSRgKNeyqrKOpAVOiQA3JY57MfccHpAJbNzrGBbIyXgghJgLlL48440zHROP+KyKIaCaZunqqwQTEGv46JZ8dJ3FbQdleSGdcIswRbxCzRaeU5TphfLEeyTGjVcnDCdTHYOxqWrDsLb+cR3cg7ang3za1hQvg3YzPJQGUqJFYUOIoKJ1hjqF3oE57BgzHAZk0zMWsY5/9Fcd6CLKVU4hr0kw3aaV2HWSQDDnwnHwZCpxUhMJRGw0hD7I0dIySGsg9BcbDP0cq6mNHeQCaIJWrGoDtAaID8oCt1DnD5Zgx4kYD9AVCSxSTKC8tnSm6JLKIRI9eYCEWUTEkn55VYKuenwCSV2qh8EDifgIorZVtgKzFPTJlcyuqBCVLMpGhVAuVzTf7v196t9TUDMHSaWKRinSmR/M9oJnukojv0TLKE75mWW/bYrO5lVnrWCB3EpNg5IZixpgMQpWQY4pEY4Kff9mNTPAwejzKswXakCPLjGqMVXVkcQLY18TBmQdQs/iQCSBqLU8BcZlwGn8tf41XGGtMAEYtKgBUr/4J6i5XBmg6RzIOyNa5sSN7MDPlvtotUUaWy+zIIJkPK8PDzNpXySILQIbgMo6M87imKwQOUO2JJYeoBZDR1mkK4Mp5DmrEmtRFtcHZLwosfl5GqzUitQV4+bd2+9+fmflxxzWinec89MZCjJGGzvBDRwUVBwFIJDxQES+yNB4NBFXfu2MLBCSccckWrvpWgOApy46qUUh7UZm+w3OuI8bVnHlWLIeP5asOBLRV84m2wBQac/Lqh+SCPi9EjkTqTvT0Qa0qIkj0+RGvUY7eNA5OlmNi3AU0piFIF7O6yesFQIccUvxF/qTCI+ckMekFuXkYRVlfntCle35OktlLO0dXZmKeeWhFQgYOqyNuu+d5BEHGMuLh8STQZCmoHbaRVbc1YmsfGJp38VEwngBOah3q32aYvV0IkGayWM5CaQ0errc09J+w2vreCw6sk9UboiH0r3gfnDw5Sji1KSJJMvovABQX8r2fa4IAXbIs0Cht5mYfHGTiLwenhssgmMZWg/IGa4zfvLckSz+ocZndB0/RkjB4ii6mdbwjkIQ8tV1bWm/7PNkn4tT8IAIwz2ORdABtw8nSRof8bZy3J+iDVQAEIfEBkeCdpQdIi5ZZmkrVdtHqTh0pAReBrO/92Bl3UIy76y08pHzJq5SdRsNsXPcr9eInUuTDT862dLeAorCugyAeoB6SAzDKScGTgd2zAvzL8wzR+AId8CFzZiPhpxJCs6gHucn7EbQsBcjiQKiQDGyc1JdIFYGOygCzIEDIXjyK4pOIfjRsYpZDkB9rbxHi9XdN60r0N03ynL1GlWNL2fP1FYRQ3ZO2V06bgzWpHnmq6nAGPwDrljlFonYpBXH2pCvdOTwRIaVODv26Z0DitS3P1xNnNudaVtX0y6873riaUGM9vf/C+kQWEI=","sha256_by_file":{"repaired.py":"9e2c3bee049eb33788623313dea1b8854670cf484589a1caa1ddf39520df4a28","grid64.py":"bee4101d3864f1b33fcd83b02b5cb0842924145e118a73cbd5221f774db0d6ec","numeric.py":"e9cbb46a509a89253d2b902b107eedbd3ad9bccfbaa40bb6efa5626743b74cdd","eval.py":"a3c2c629e9c2b6881480f02d6b68a7f611ef28fbd3829daa004eef7343229092","batch.py":"a17d849c15e6053fc425d4b17f8e2748f4b71dc9eea50dd1afc1ff714ee0c112","replica.py":"d079712fa1f4850ad8337e656e7ee8dbdde806cd4762d597fae50f547ef9c7c4","oracle_table.json":"3e9d1fc8874c6d796d4c26948d486b587f2a6b5610b20fba99923a60954cf4b5","check.py":"cf82e531dfccf2c0dd8e42a8f45cfd388896047ccda70c80191593f3f37a1f1d","pack_results.py":"7e0ae607f302f0fc81ac7d6f82d3485d86d9d674cc710bec57b373faef44cd82","additional_checks.py":"2adb8523fba05b166523ce4669d83b210c0eebeb17b5b8bc628bdfca807573d6","verify_result.py":"f77ef506e92f656cf1417a68c1e9cb58e98ae92b79af53096132c34cdc3df36a","README.txt":"9ffbff0ee997e4c16634acf57d28317878ffdc352141ea79aec8e29b76b237fd","summarize.py":"094ebfca23a4f62fab236c6b20354f6811b30ccf0b1ca7b65059fd9827f96007"},"extract":"import json,zlib,base64,pathlib; j=json.load(open(\"result.json\")); s=json.loads(zlib.decompress(base64.b64decode(j[\"source_bundle\"][\"data\"]))); [pathlib.Path(n).write_text(v) for n,v in s.items()]","dependencies":"Python standard library only required. Optional installed numpy/numba are acceleration only; no dependency download or wheel required to run the delivered fallback."}}