{"item":"mass8-2","track":"B","status":"checked survivor-mass repair; partial holdout, missing ranges explicit","interpretation":"The mass correction is required by the recurrence, but tuning and confirmation do not establish a measurable performance gain over original RivalT.","mechanism":{"repair":"Only rivalt:RivalT.step_kernel: intermediate compress returns conditional weights. Save incoming total mass, multiply compressed weights back by it before next one_order. Final compress still conditions the Poisson mixture once.","recurrence":"mu_0=nodes; mu_n=T_no_own(mu_(n-1)); total=sum_n pn[n]*mu_n. Intermediate C_mass(mu)=sum(mu)*compress(mu,2Q).","unchanged":"All other policy math, sizes, truncations, arrival factors, table lookup, clipping and callbacks unchanged. Audit-only massfix=0 executes original line.","blindness":"Only six afterSwap inputs and causal state reach active policy, via unchanged run.Blind. Fixed public constants, no seed/truth/run parameters/future.","source":"https://api.imdnotdead.fun/artifacts/4bff6228dad5f9d86ce37985cfd0f4653753ebfb690756c547cd9ac88efb1f0b"},"frozen_settings":{"policy":"rivalt:RivalT","qm":"qm_k1e-5.json","thr":0.9,"joint":1,"K":1,"rt":2,"Q":3,"S":3,"NMAX":2,"lamr":0.8,"massfix":1,"settings_tried":1,"frozen_before":"confirmation and all holdout scoring; accounting fix is mandatory and no score-based selection","rivalt_sha256":"134f863a3db184fce074cf29076343869562f64f86fc891c88351ac7d9b5bd8f"},"tuning":{"paired":{"n":256,"mean_diff":0.0011208134038998008,"se":0.007669032369854184,"sum":0.286928231398349,"sumsq":3.8397032659465054,"worst5":[[65198,-0.37336911669285655],[65186,-0.36550529125213416],[65240,-0.35397116604798384],[65227,-0.32976612371794545],[65013,-0.25884105905652177]]},"actual_seed_ranges":[[65000,65255]],"arms":{"repaired":{"n":256,"mean_edge":534.1647556409038,"first_trades":1821573,"misread":510546,"misread_rate":0.28027754034562435,"callbacks":2856648,"price_squared_error_sum":486206045.59625703,"price_rms_bps":13.046133330413356},"original":{"n":256,"mean_edge":534.1636348274998,"first_trades":1822363,"misread":510243,"misread_rate":0.2799897715219196,"callbacks":2858366,"price_squared_error_sum":485903957.0335678,"price_rms_bps":13.038159789518202}}},"tuning_vs_fresh_thr09":{"paired":{"n":256,"mean_diff":0.1607549724792543,"se":0.0318303584743496,"sum":41.1532729546891,"sumsq":72.75544318239578,"worst5":[[65019,-1.2680057956397377],[65020,-0.9972117997915007],[65211,-0.9669288840848367],[65110,-0.8707068343871924],[65018,-0.8691869696189656]]},"actual_seed_ranges":[[65000,65255]],"arms":{"repaired":{"n":256,"mean_edge":534.1647556409038,"first_trades":1821573,"misread":510546,"misread_rate":0.28027754034562435,"callbacks":2856648,"price_squared_error_sum":486206045.59625703,"price_rms_bps":13.046133330413356},"fresh_thr09":{"n":256,"mean_edge":534.0040006684245,"first_trades":1812930,"misread":523301,"misread_rate":0.28864931354216655,"callbacks":2840030,"price_squared_error_sum":502636850.3030871,"price_rms_bps":13.303493409878591}}},"confirmation":{"paired":{"n":256,"mean_diff":0.0049330957518542995,"se":0.007749818807814528,"sum":1.2628725124747007,"sumsq":3.9269265356686565,"worst5":[[65417,-0.4424318603158781],[65274,-0.3104557060652269],[65362,-0.28842788874806047],[65470,-0.27872268135399736],[65311,-0.2711067951707946]]},"actual_seed_ranges":[[65256,65511]],"arms":{"repaired":{"n":256,"mean_edge":532.5824476179512,"first_trades":1817999,"misread":509009,"misread_rate":0.27998310230093637,"callbacks":2844696,"price_squared_error_sum":479876233.02706814,"price_rms_bps":12.988131871554886},"original":{"n":256,"mean_edge":532.5775145221993,"first_trades":1818865,"misread":508847,"misread_rate":0.2797607299057379,"callbacks":2846412,"price_squared_error_sum":479503133.63712025,"price_rms_bps":12.979167704928988}}},"holdout":{"scored_once":true,"no_retuning":true,"chunk_count_based_on_time_not_scores":true,"incomplete_reason":"Total work bounded below one hour; only completed chunks reported, no missing seeds imputed.","requested_seed_range":[10000,12047],"candidate_completed_ranges":[[10000,11535]],"candidate_missing_ranges":[[11536,12047]],"fresh_thr09_completed_ranges":[[10000,11535]],"fresh_thr09_missing_ranges":[[11536,12047]],"completed_n":{"repaired":1536,"fresh_thr09":1536},"vs_fresh_thr09":{"paired":{"n":1536,"mean_diff":0.21775571939702756,"se":0.01397481786930623,"sum":334.47278499383435,"sumsq":533.2933612912864,"worst5":[[11303,-2.274179741829471],[10387,-1.9363411281032086],[10300,-1.835666948852463],[10962,-1.7266193193642039],[10248,-1.6071844145205318]]},"actual_seed_ranges":[[10000,11535]],"arms":{"repaired":{"n":1536,"mean_edge":534.2725765149357,"first_trades":10912683,"misread":3061430,"misread_rate":0.2805387089499438,"callbacks":17084420,"price_squared_error_sum":2893743251.6187,"price_rms_bps":13.014571630046468},"fresh_thr09":{"n":1536,"mean_edge":534.0548207955387,"first_trades":10853960,"misread":3134769,"misread_rate":0.28881339161006675,"callbacks":16974564,"price_squared_error_sum":2991767952.462855,"price_rms_bps":13.275920371401428}}},"vs_ref_lattice_qm":{"paired":{"n":1536,"mean_diff":0.5382807045140606,"se":0.01719134471862697,"sum":826.7991621335971,"sumsq":1141.8679270922678,"worst5":[[10942,-2.967455020922216],[11303,-2.768903642453779],[10287,-1.875869870591032],[11165,-1.6948709611043569],[11209,-1.5934604027891055]]},"actual_seed_ranges":[[10000,11535]],"arms":{"repaired":{"n":1536,"mean_edge":534.2725765149357,"first_trades":10912683,"misread":3061430,"misread_rate":0.2805387089499438,"callbacks":17084420,"price_squared_error_sum":2893743251.6187,"price_rms_bps":13.014571630046468},"ref_lattice_qm":{"n":1536,"mean_edge":533.7342958104217,"first_trades":10736276,"misread":1742235,"misread_rate":0.16227554135158223,"callbacks":16694497,"price_squared_error_sum":3108179385.916735,"price_rms_bps":13.644774687549965}}},"fresh_thr09_vs_ref_lattice_qm":{"paired":{"n":1536,"mean_diff":0.320524985117033,"se":0.01252730174976634,"sum":492.32637713976266,"sumsq":527.8139364838839,"worst5":[[11487,-1.9115248303883163],[10942,-1.6076924222966227],[10982,-1.4457581244053017],[11380,-1.2365145499310302],[10990,-1.1504964526710637]]},"actual_seed_ranges":[[10000,11535]],"arms":{"fresh_thr09":{"n":1536,"mean_edge":534.0548207955387,"first_trades":10853960,"misread":3134769,"misread_rate":0.28881339161006675,"callbacks":16974564,"price_squared_error_sum":2991767952.462855,"price_rms_bps":13.275920371401428},"ref_lattice_qm":{"n":1536,"mean_edge":533.7342958104217,"first_trades":10736276,"misread":1742235,"misread_rate":0.16227554135158223,"callbacks":16694497,"price_squared_error_sum":3108179385.916735,"price_rms_bps":13.644774687549965}}},"repaired_minus_original":null,"repaired_minus_original_se":null,"original_comparison_note":"Original holdout +0.20841243644167456 over thr09 (n=2048) remains historical. Artifact carries aggregates, not original per-seed rows. No repaired-minus-original holdout SE, paired result, or implied improvement is claimed."},"gain_decomposition":{"incremental":"Repaired-vs-original tuning and confirmation isolate the accounting repair. Repaired-vs-fresh-thr09 includes inherited joint/rival changes, not just this repair.","inherited_threshold_gain_historical":0.3228919198104912,"original_rival_over_thr09_historical":0.20841243644167456,"warning":"Historical full-holdout threshold and original gains must not be subtracted from partial-range results or assigned a repaired-minus-original SE.","source":"https://api.imdnotdead.fun/artifacts/4bff6228dad5f9d86ce37985cfd0f4653753ebfb690756c547cd9ac88efb1f0b"},"checks":{"kernel_edge_cases":{"lamr0_kernel_equals_n0_conditioning":true,"all_transitions_rejected":true,"empty_input":true,"zero_mass_input_no_nan":true,"zero_total_mass_preserves_original_graceful_return":true},"source_boundary":"AST comparison: all RivalT methods except step_kernel unchanged; jointpol.py and thrpol.py byte-identical to supplied source.","counterexample":{"repaired":{"unnormalised_masses":[0.5,0.15,0.05],"conditioned":[[1.0,0.7142857142857143],[2.0,0.2142857142857143],[4.0,0.07142857142857144]]},"original":{"unnormalised_masses":[0.5,0.15,0.1],"conditioned":[[1.0,0.6666666666666666],[2.0,0.19999999999999998],[4.0,0.13333333333333333]]}},"finite_exact_enumeration":{"cases":24,"order_counts":[0,1,2,3],"initial_mass":"0.19, 0.38, 0.57; two initial rival nodes","max_abs_weight_error":1.0842021724855044e-19},"empty_zero_transition_nmax0_zero_mass":"pass","forced_compression_total_mass":0.7,"callback_audit":[{"seed":65000,"callbacks":12269,"disabled_equals_original":true,"joint0_equals_thr09":true,"scrambled_hidden_inputs_equal":true,"replay_equal":true,"needs_flag":false},{"seed":65001,"callbacks":9366,"disabled_equals_original":true,"joint0_equals_thr09":true,"scrambled_hidden_inputs_equal":true,"replay_equal":true,"needs_flag":false}],"zero_transition_vs_K1_and_joint0":{"65000_zt1_vs_K1":{"callbacks":[12179,12179],"max_abs_fee_diff":0.0,"identical":true,"edge":[605.9601770314239,605.9601770314239]},"65000_rt0_vs_K1":{"callbacks":[12179,12179],"max_abs_fee_diff":0.0,"identical":true,"edge":[605.9601770314239,605.9601770314239]},"65000_joint0_vs_base":{"callbacks":[12205,12205],"identical":true,"edge":[605.9180125526478,605.9180125526478]}}},"approximation_errors":{"method":"Six causal tuning kernel states from first 100 steps of replica65000; 80,000 independent router trials/state/law. Discrete GH MC estimates the same finite law as a stochastic accounting check; continuous lognormal MC with SAME n<=2 truncation isolates size quadrature. Full enumeration removes intermediate/final compression. Tiny-fill router threshold contributes separately to MC/analytic discrepancies. No diagnostic values feed the policy.","states":[{"nodes":[[100.07185741137074,1.0]],"args":[100.08956259168174,0.0031870244463617636,0.0024470129322509138,100.00000000000004],"repaired_raw_compressed":{"mass":0.44932896411722156,"mean_bps":0.0,"sd_bps":0.0},"original_raw_compressed":{"mass":0.44932896411722156,"mean_bps":0.0,"sd_bps":0.0},"exact_GH_unnormalised":{"mass":0.44932896411722156,"mean_bps":0.0,"sd_bps":0.0},"order_mass":[0.44932896411722156,0.0,0.0],"repaired_compressed":{"mass":1.0,"mean_bps":0.0,"sd_bps":0.0},"original_compressed":{"mass":1.0,"mean_bps":0.0,"sd_bps":0.0},"discrete_GH":{"mass":0.45535000000000003,"mean_bps":0.0,"sd_bps":0.0,"trials":80000,"survival_se":0.0017607043246240979,"conditional_mean_se_bps":0.0},"continuous_lognormal":{"mass":0.448,"mean_bps":-2.91285797290011e-06,"sd_bps":0.0005514387120410954,"trials":80000,"survival_se":0.001758180878066873,"conditional_mean_se_bps":2.9128173356471562e-06}},{"nodes":[[99.67869063337187,1.0]],"args":[99.88477442136359,0.003743662401826664,0.0023606392118352693,100.02046356463696],"repaired_raw_compressed":{"mass":0.4802827372008524,"mean_bps":0.16183582652236586,"sd_bps":0.6261728247082072},"original_raw_compressed":{"mass":0.49126633410149556,"mean_bps":0.2669859076592478,"sd_bps":0.9310201037889594},"exact_GH_unnormalised":{"mass":0.4802827372008524,"mean_bps":0.16183582652236586,"sd_bps":0.6261728247082072},"order_mass":[0.44932896411722156,0.029955264274481436,0.0009985088091493813],"repaired_compressed":{"mass":0.9999999999999999,"mean_bps":0.1618358265223659,"sd_bps":0.6261728247082075},"original_compressed":{"mass":1.0,"mean_bps":0.2669859076592478,"sd_bps":0.9310201037889594},"discrete_GH":{"mass":0.47947500000000004,"mean_bps":0.15676971843678544,"sd_bps":0.6181244866768419,"trials":80000,"survival_se":0.0017662768907188646,"conditional_mean_se_bps":0.0031560797655739545},"continuous_lognormal":{"mass":0.5245625,"mean_bps":1.0268856611668233,"sd_bps":2.9029472910984357,"trials":80000,"survival_se":0.001765632618899491,"conditional_mean_se_bps":0.01417083811224394}},{"nodes":[[99.84521386249776,1.0]],"args":[99.90924306473414,0.0028532426810193856,0.0027466049181689156,100.04985064155964],"repaired_raw_compressed":{"mass":0.479284228391703,"mean_bps":0.15191092024683397,"sd_bps":0.588348464223031},"original_raw_compressed":{"mass":0.479284228391703,"mean_bps":0.15191092024683397,"sd_bps":0.588348464223031},"exact_GH_unnormalised":{"mass":0.479284228391703,"mean_bps":0.15191092024683397,"sd_bps":0.588348464223031},"order_mass":[0.44932896411722156,0.029955264274481436,0.0],"repaired_compressed":{"mass":1.0,"mean_bps":0.15191092024683397,"sd_bps":0.588348464223031},"original_compressed":{"mass":1.0,"mean_bps":0.15191092024683397,"sd_bps":0.588348464223031},"discrete_GH":{"mass":0.4784875,"mean_bps":0.15829626653808218,"sd_bps":0.5997442757904962,"trials":80000,"survival_se":0.0017661299936009454,"conditional_mean_se_bps":0.0030653905886349176},"continuous_lognormal":{"mass":0.46737500000000004,"mean_bps":0.08845168207734096,"sd_bps":0.49101008023501275,"trials":80000,"survival_se":0.0017639997497696817,"conditional_mean_se_bps":0.0025392921817897125}},{"nodes":[[99.86285370088794,1.0]],"args":[99.80968681863206,0.001674438112884813,0.004064140019673479,100.15406509685594],"repaired_raw_compressed":{"mass":0.4802827372008524,"mean_bps":0.1616865417285752,"sd_bps":0.6255952162206645},"original_raw_compressed":{"mass":0.49126633410149556,"mean_bps":0.2667396333189653,"sd_bps":0.9301613176934567},"exact_GH_unnormalised":{"mass":0.4802827372008524,"mean_bps":0.1616865417285752,"sd_bps":0.6255952162206645},"order_mass":[0.44932896411722156,0.029955264274481436,0.0009985088091493813],"repaired_compressed":{"mass":0.9999999999999999,"mean_bps":0.16168654172857522,"sd_bps":0.6255952162206645},"original_compressed":{"mass":1.0,"mean_bps":0.2667396333189653,"sd_bps":0.9301613176934566},"discrete_GH":{"mass":0.4821375,"mean_bps":0.15972976489806323,"sd_bps":0.6242070615631123,"trials":80000,"survival_se":0.0017666385138652091,"conditional_mean_se_bps":0.0031783244451169907},"continuous_lognormal":{"mass":0.47461250000000005,"mean_bps":0.17528045418910496,"sd_bps":0.7933597362112143,"trials":80000,"survival_se":0.0017654867418213241,"conditional_mean_se_bps":0.004071510660456231}},{"nodes":[[99.7356575878662,1.0]],"args":[99.60323005968094,0.0010486295725652406,0.004457650830223647,99.9736395186246],"repaired_raw_compressed":{"mass":0.44932896411722156,"mean_bps":0.0,"sd_bps":0.0},"original_raw_compressed":{"mass":0.44932896411722156,"mean_bps":0.0,"sd_bps":0.0},"exact_GH_unnormalised":{"mass":0.44932896411722156,"mean_bps":0.0,"sd_bps":0.0},"order_mass":[0.44932896411722156,0.0,0.0],"repaired_compressed":{"mass":1.0,"mean_bps":0.0,"sd_bps":0.0},"original_compressed":{"mass":1.0,"mean_bps":0.0,"sd_bps":0.0},"discrete_GH":{"mass":0.4497625,"mean_bps":0.0,"sd_bps":0.0,"trials":80000,"survival_se":0.0017588213155183999,"conditional_mean_se_bps":0.0},"continuous_lognormal":{"mass":0.452375,"mean_bps":0.004846604415006976,"sd_bps":0.07052537420285912,"trials":80000,"survival_se":0.0017597295934851753,"conditional_mean_se_bps":0.00037072434592175517}},{"nodes":[[99.11416005256747,1.0]],"args":[98.90726892857114,0.0,0.00939072476337266,100.02262697680864],"repaired_raw_compressed":{"mass":0.6280620409549608,"mean_bps":5.220559145687164,"sd_bps":9.596991574299397},"original_raw_compressed":{"mass":0.6686014986064257,"mean_bps":6.726984249437312,"sd_bps":11.32113975113304},"exact_GH_unnormalised":{"mass":0.6280620409549608,"mean_bps":5.220559145687164,"sd_bps":9.596991574299397},"order_mass":[0.44932896411722156,0.14977632137240718,0.028956755465332055],"repaired_compressed":{"mass":1.0,"mean_bps":5.220559145683588,"sd_bps":8.2774537306602},"original_compressed":{"mass":1.0,"mean_bps":6.726984249437345,"sd_bps":9.629649940460215},"discrete_GH":{"mass":0.6249,"mean_bps":5.238246466689964,"sd_bps":9.593609006619253,"trials":80000,"survival_se":0.0017117242403494788,"conditional_mean_se_bps":0.04290735650254449},"continuous_lognormal":{"mass":0.6030125000000001,"mean_bps":4.347716309952238,"sd_bps":9.384431986650906,"trials":80000,"survival_se":0.0017298425681393306,"conditional_mean_se_bps":0.042726748095794714}}],"error_decomposition":[{"case":0,"accounting_original_minus_repaired":{"mass":0.0,"mean_bps":0.0,"sd_bps":0.0},"intermediate_compression_repaired_minus_exact_GH":{"mass":0.0,"mean_bps":0.0,"sd_bps":0.0},"final_compression_sd_error_bps":0.0,"size_quadrature_exact_GH_minus_continuous_MC":{"mass":0.0013289641172215538,"mean_bps":2.91285797290011e-06,"sd_bps":-0.0005514387120410954},"exact_GH_minus_discrete_MC":{"mass":-0.006021035882778469,"mean_bps":0.0,"sd_bps":0.0}},{"case":1,"accounting_original_minus_repaired":{"mass":0.010983596900643156,"mean_bps":0.10515008113688193,"sd_bps":0.30484727908075215},"intermediate_compression_repaired_minus_exact_GH":{"mass":0.0,"mean_bps":0.0,"sd_bps":0.0},"final_compression_sd_error_bps":2.220446049250313e-16,"size_quadrature_exact_GH_minus_continuous_MC":{"mass":-0.04427976279914764,"mean_bps":-0.8650498346444575,"sd_bps":-2.2767744663902283},"exact_GH_minus_discrete_MC":{"mass":0.0008077372008523653,"mean_bps":0.0050661080855804175,"sd_bps":0.008048338031365287}},{"case":2,"accounting_original_minus_repaired":{"mass":0.0,"mean_bps":0.0,"sd_bps":0.0},"intermediate_compression_repaired_minus_exact_GH":{"mass":0.0,"mean_bps":0.0,"sd_bps":0.0},"final_compression_sd_error_bps":0.0,"size_quadrature_exact_GH_minus_continuous_MC":{"mass":0.011909228391702942,"mean_bps":0.06345923816949302,"sd_bps":0.09733838398801825},"exact_GH_minus_discrete_MC":{"mass":0.0007967283917029722,"mean_bps":-0.006385346291248206,"sd_bps":-0.011395811567465164}},{"case":3,"accounting_original_minus_repaired":{"mass":0.010983596900643156,"mean_bps":0.10505309159039009,"sd_bps":0.3045661014727922},"intermediate_compression_repaired_minus_exact_GH":{"mass":0.0,"mean_bps":0.0,"sd_bps":0.0},"final_compression_sd_error_bps":0.0,"size_quadrature_exact_GH_minus_continuous_MC":{"mass":0.005670237200852357,"mean_bps":-0.013593912460529767,"sd_bps":-0.16776451999054975},"exact_GH_minus_discrete_MC":{"mass":-0.0018547627991475912,"mean_bps":0.001956776830511958,"sd_bps":0.0013881546575521542}},{"case":4,"accounting_original_minus_repaired":{"mass":0.0,"mean_bps":0.0,"sd_bps":0.0},"intermediate_compression_repaired_minus_exact_GH":{"mass":0.0,"mean_bps":0.0,"sd_bps":0.0},"final_compression_sd_error_bps":0.0,"size_quadrature_exact_GH_minus_continuous_MC":{"mass":-0.003046035882778464,"mean_bps":-0.004846604415006976,"sd_bps":-0.07052537420285912},"exact_GH_minus_discrete_MC":{"mass":-0.00043353588277844635,"mean_bps":0.0,"sd_bps":0.0}},{"case":5,"accounting_original_minus_repaired":{"mass":0.04053945765146494,"mean_bps":1.5064251037501482,"sd_bps":1.7241481768336442},"intermediate_compression_repaired_minus_exact_GH":{"mass":0.0,"mean_bps":0.0,"sd_bps":0.0},"final_compression_sd_error_bps":-1.3195378436391962,"size_quadrature_exact_GH_minus_continuous_MC":{"mass":0.025049540954960703,"mean_bps":0.872842835734926,"sd_bps":0.21255958764849048},"exact_GH_minus_discrete_MC":{"mass":0.003162040954960754,"mean_bps":-0.017687321002799905,"sd_bps":0.0033825676801431115}}],"poisson_tail_omitted":0.04742259607149024,"inherited_approximations":"NMAX=2 omits Poisson tail; S=3 Gauss-Hermite size nodes; Q=3 final and 2Q intermediate compression; rival log-mean collapse; k<=1 preceding-order first-fill approximation; midpoint constants; price lattice. All retained unchanged."},"cost":{"incremental_persistent_slots":0,"incremental_work":"Per nonempty order level: sum one weight per survivor, then one multiply per compressed node; no additional log/exp/router tests. Q=3, S=3: at most 18 survivors at first level and 36 at second (initial <=Q nodes), at most 12 weight multiplications total per kernel.","incremental_gas_estimate":{"label":"UNMEASURED algorithmic estimate, assumes 256-bit fixed-point implementation","range_gas_per_kernel":[500,3000],"range_extra_gas_per_first_callback_up_to31_kernels":[15500,93000],"basis":"54 additions/loads plus <=12 multiplies/loads/stores per kernel; assumes 8..40 gas each including memory/scaling and loop overhead. No EVM port exists; compiler and fixed-point arithmetic can change this materially."},"total_policy_gas":"Unmeasured. Inherited node routing plus lattice can exceed the 245,000 gas budget; no engine/gas/contract claim."},"limitations":["No engine, board entry, Solidity port or measured gas.","Missing seed ranges are not imputed; only completed run.py files are paired.","Kernel correctness does not guarantee a score gain.","Approximation errors cover six sampled tuning states, not global worst-case bounds; Monte Carlo draws retain their reported sampling uncertainty.","No original holdout per-seed rows were available; original historical aggregates are not a new paired arm.","Reference tables are unchanged external inputs and excluded from custom-source tar as requested."],"provenance":{"reference_commit":"e65314f88de945f6d055bfc2aab01c482ab6570e","reference_fetch":"26 files, 0 SHA256 mismatches","reference_current_hashes_verified_at_packaging":26,"source_files_sha256":{"run.py":"54d19a9194ebedee8b947dfaaf8626b1e4ef6f7d1b5aa12e738ec01a5ce401ac","pair.py":"16497bc5d3b596102fb0c0d7b6bf331dc788ee04c42d537e41f0578115f631db","replica2.py":"6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685","pol_mid.json":"efbb5ee102db4d312f64565d9bf7232b6becbe02b624164f744a402bbbf2983b","qm_k1e-5.json":"5ff53e42ca87390e5f65d1caa3f7a480e67a8212fb0670274dfd562b05ba1afd","jointpol.py":"2ee860e259fd4fa474520d041ccdf430bb79a7f4fab7943b05a7946ca5e7ba4c","thrpol.py":"663965707d4f20f81ab0ade8ed510742a330605fd9e889d426db1d920abc8958","original_rivalt.py":"ebb01cff8629b894289234b9c650b8ff3ecd0eb1165fba281a51900ce1970de4"},"computed_evidence":"Local unchanged run.py/pair.py scoring plus bundled mass_checks.py/audit.py/report_stats.py. Claims are local observations, not independent certification.","elapsed_seconds":3478.8055448532104},"unchanged_pair_py_outputs":{"tuning":["candidate                    n 256  edge  534.165 retail  565.117 arb -30.952 rv  79820 av  25041  misread 28.03%  p rms 13.0 bps","reference                    n 256  edge  534.164 retail  565.141 arb -30.978 rv  79848 av  25070  misread 28.00%  p rms 13.0 bps","{\"paired\": {\"n\": 256, \"mean_diff\": 0.0011, \"se\": 0.0077, \"worst5\": [[65198, -0.373], [65186, -0.366], [65240, -0.354], [65227, -0.33], [65013, -0.259]]}}"],"confirmation":["candidate                    n 256  edge  532.582 retail  560.021 arb -27.439 rv  79663 av  25017  misread 28.00%  p rms 13.0 bps","reference                    n 256  edge  532.578 retail  560.045 arb -27.467 rv  79692 av  25047  misread 27.98%  p rms 13.0 bps","{\"paired\": {\"n\": 256, \"mean_diff\": 0.0049, \"se\": 0.0077, \"worst5\": [[65417, -0.442], [65274, -0.31], [65362, -0.288], [65470, -0.279], [65311, -0.271]]}}"],"holdout_thr09":["candidate                    n 1536  edge  534.273 retail  564.497 arb -30.225 rv  79742 av  25057  vs HA +4.765 se 0.043  misread 28.05%  p rms 13.0 bps","reference                    n 1536  edge  534.055 retail  563.896 arb -29.841 rv  79371 av  24720  vs HA +4.547 se 0.044  misread 28.88%  p rms 13.3 bps","{\"paired\": {\"n\": 1536, \"mean_diff\": 0.2178, \"se\": 0.014, \"worst5\": [[11303, -2.274], [10387, -1.936], [10300, -1.836], [10962, -1.727], [10248, -1.607]]}}"],"holdout_lattice":["candidate                    n 1536  edge  534.273 retail  564.497 arb -30.225 rv  79742 av  25057  vs HA +4.765 se 0.043  misread 28.05%  p rms 13.0 bps","reference                    n 1536  edge  533.734 retail  563.157 arb -29.423 rv  78273 av  24106  vs HA +4.226 se 0.046  misread 16.23%  p rms 13.6 bps","{\"paired\": {\"n\": 1536, \"mean_diff\": 0.5383, \"se\": 0.0172, \"worst5\": [[10942, -2.967], [11303, -2.769], [10287, -1.876], [11165, -1.695], [11209, -1.593]]}}"]},"code_zb64":"eNrtvft32ki2Lz4/81foTK97QY7AgB9JIMpdmXQ66enO0+7bc8bLiyVAGE1AIhIYO736+7d/92fvqlJJCOz0I3PPOTDTMUj13LVr135XGl0Hs2VrcfuXP+/Tps/p8TH/pU/p79Hp8VFHP1PPH552H/7Faf/lK3xW2TJIqcu//M/8/PWvf02BAg+bnZ4zjcbjMG7yA2eZBnEWLaMkdiZpMndWcTLMwvQ6HDtcoJnEs1snDZdBNHOSdBymmedQ4WWycJKJ868kipfODx2nwd8Wyaz3d3z5MVguo1Ho/OB33Fatdj4N86JUKBrdOqMgTaMwo8ZC6crJFsnSWYSpM72lb9MwizIniMcOD2E0ixaZEy0daiVx6K0TpENnyO8nThiMps4iRZejcDZzgiWK1OLwZulMojTDv7NZy3FehWnItaVL9OBk84CqxMk4dMZRtkyj4YoB0pglVzwoz1mH0dV06ZZG51GXySK4CpYEruU0TVZX01oBVvSUhrIOaeZv3/z4n44aunTeWIdOFqypZx6d62Fu4VUaLKP4ygF4qJSAIIs+A1TX1H3gDJNVPKYe50F6FcXBrFerOfZqcdfOxzCNQ+oE8M2W4cLtOU7s/H/OuyTKsiRu/Pjs9eD199+6hAKreMRToKHGzhPfefP62T886pMA0jnsMnA9h4DRxDCw+kFMPeJz1mSwvQxWWdYk2M6jJc1uNQuxKJgp1YqTlADcOPv+ny8Gr3/yHP5y5vKcnFmw7lNzasy0HB/DxVJWPJIWwptgtCQMXBDWBKpbgvSSil9F12HGhZJ1THiVYBWXU0CvsepgJp2weewcOtfmh+vQckVxtixWo5lHy4xGQy8YDQF0lJiE1EOkpztJUsKwhu+MknjMuwZ9EUD+SmuIxrCOf3X71iLTN4LXMEvSoQx1PU0AHp5vg9ohykTYQYg0Xo0I06hD56jtDBcZbRzpFbuHwTIPsgwwSkOBaZSF454A6RoopkehUJAH46gNnE2DhQKWDExjj4dNFVMDqepuvpotI4K2Ks27qmltSdkLhB+Cy3HSxE4sQmSSVyWgCi2gqrQ6VHAV835Z00NMMVigM5pIElMpArEMMqSlUO0AffE9WaWyRJgkUS7CvAZNmbsn8kAbiKGNJpggZNEMYEH1nilFDamJYs63su+ZqFwsnJe0pQlfXl4qCmJt9rozWi2bejLzMIhVd4xI1pbDnITmaIzA2AOC8doaypAILw1RyBqPlgeiukWJNAzGjMrBMpm7RLs+yLJKzR7TopzkeXpSpimCN1pfEKwNzWTiyESz8dHxnTY1EI5C7kYIlgvMByFy5mij6zlEghJnscqmOY0jWvYir6n3ZJkAcQ8dT9MuAVQWzIVAuHrdNU3MId2c0crMzOAxmayvwCK4OyGSkGh8HYajZE49tFsnzoHTeNd485ROHeeBw9+6Lj1818hH57qMuutoCTjZByAOl4xOqHrmfHj1dvAPIT2zWywoxt1kPCQMoMmZpW0InNweH2Q5OLfS449MilwaNuGpOouEnM2ij+EsmibJGD0+m+CZ4Gh+hMkqTqOZOp9pO81mwSLDZhU4yvYkuOH0ApoSAmFW1rRRzJp3Rg9HWN5kgq3RSJd+mw557LV56rddNYhPKyJU0fKWESuZL1boZHgrAAtSange0t4wpHNEp+owGH3ES8JG4jnobUDbo3YWLnHEZT0nXTqNNvr1nI7arodpOCcKDZABep7TFRSMYoY/TeM9dj3hBBNF+n3mNPgs4Yf0G8cXnXuMz4dcp1V7i4VgBIxunACgPVsHC2qUpiFH7IjOMDAhS1pfHvGKqCvtOnp6FfZwwq5i4qAF7MveB/w5p77fEFlatv5FR6rzae5/mg8+0jlzIg9ov/jt1mPhffwO2CGast913vtHNWLKatF8kaQg7Mup/q5OOpo1oWGNmTIQHUe9fvWcJoj/2rqC5rxQ4e9SwTxSRWyezHNe3S48RqYBYZwnuO457z789OaFOp3zY9pzFJ/gOS+7tdoPz2lPf2j9UHv5ir78Qtxk46Ldal96zkWH/riaCnXxokmPaF3lNe1OD1s0L3OkynS7xw+Pjx897Bw97pw8eoxSXK30XPVB1PkU77v89Uj1IE8v3V9rP759+ZKGBoi2aAc0XnbdWq02Did00EdZg1Dac+J5cOP2eBgLKnvBhcObRYPI+9y9rKmjnpghooO0T67CRkdqEVXp0FZftIh4hfG4saAJXBKBoXo0hNjlqnT8rlJiLFS/jDAD4HJjuCJ8/kwbkehqNiAaQuswpP8COnbUgAgrmCO2uEgcH4zgn53GfxKHTpyKq7hCIj3UptPgwzDF98z5R87jgEoxO8OdcR2hGoFic7KuMBkfeMg2eyBcENOg/IBTLJlhm67CZaZZLs8JZ1novMHoGwWmTdE3twWMR2/ZJ8JJtUb4zg9vOvQIvxqEZIcyYuKkbvGYn9x0+s5Nt1ioixJdU6LLLdEoCRA9hWaOcxXgICIkaRKkzdNUt0QdH6DMAfXlolF+2KXfL/HPLfoYU2Eq8oBq4bFpZIXRNfCwQcN4IDU+u9STtDXGYMbOf+CoZfB8pod5dXpJLTxlzrSn8QYQNCXiW+qAm/5c7FkVpvcH+OeQIMDvljdUAb0s+s7VMJ/4sFaY9C1Pekj/3OSTvjWTvjGTHhYnfZ1P+MZMeHmDGd9Uz5gGpKdMb663TzfGyLlRqmI6VKV4fRsxXsQ32NGjGZhhocINm76pfYSdNxhEtFkGg0YWzuiEOadDbbH00aGbY4ddt1VZwzVlE4CP3rQS84h/MjpTM42kRVuiUU+XdaJQLsGQX795X3z9nt4e5W/Pim/P5G2xBz7TCsXwpNALTmsqMpklgSmEZ3VDw8uNLmIqz2TRNODl3ZULX4Udg045xTQ19TCoXFeDies0reEdVNY0Hd2QSL3OqPbLVxcKNpfFUQgzSTS7YRpSJxbhjRxZuhNGaTomwADeEFuwdpmo39A30PXP0aIh/bmlPj684Q74+6uL9mUL5Jrm7V46+ecbRSeFE2kU1AR9PuhB8U3DhKwhYQm3+QMOEp9547pwE2CpCGGjGExYbFQl9RKWJSUsS2hpO2b9P5eQ8DOQsO26PNjPxH70WAQZgV9dEIC8Ag8YLsFAfg7TEmqPB8RQYKv5OJf7+UPgTrtm9hrRe5LGGWjW5lK7V/aMDIsnxyOTM0ztn6dEL/LfCX5L4984TfpY0FacdGa6pv084PNJ7Vpekq0HrDpkZd3kgFN8fq6Ksvj2vppDpphOLxfFXeGmV3EujSsMyPRJx0RjhYW5uOxLTYajfQKoxTMEkcpLJ6YQ0HZGOPgJeMujyKei34MNoLeN83RFLN53xDLbRM4uSfzH+jPK5htqsyA+MxprBfMyq2JeKhugyc202A+qW90NPmvq6hPtU5Hh1p/7zFQrJqsxw+Z1Ffwe+M66jF85yAxSgO8fCKZ8EVpo/dcGIlBVpTrTi+zlSg/Zt1Aj5tX6joUXD1hkSkMiA2MbOZYJIwemiPkrskxER4jVzF70nEyNVqD0/LCAJEWGNT84mGstAJ9a8DQ+yu40m4hf7V5gWlhW5azSnjNMw+Bj4S3m9EBNam1NKs4nxRSYql8WKn5jgGQ2XZDDmLa/rZ7ts4oIIvRoNV+RiETkx8lW6TUWoFUerkWB/oq9O4lu/uptQIXVX0LsstW8sebhDvLhbqK5rISZqpAFe5LcsZ6Wgq3iCQ7o8C4CAAxTD3AIVjRnJZj3DH1ihWSafA6hL41Ye2cJ3lvGdscAKkm1Kb7EqaaKu/nmMu8LO+u9Bc2fK0EoErpN/H7GfiOCaKgfF7nokVTFSAYizWxkEdlBWcJYKLKLJt4XF1I1ptbl0Pm5uCil7STd0IBJVg7HjdIoc/odjEb6GARnjdNwZs7FdYmyb/RXHOE8AnvdQJMPNNkD//yzdFOgcvhAmTaP4gYOeNQ9IHBDFdIkJC4j+0ew30M5Ttc4SQm+G9hhE1jDS9F8SBZYQ1ckYHN3zpHVb/TsI5fCmDXzBdF75nKVwlSwFfWQ7juECmpvoeIsWgwYvkVkXNjH3wyc0yJkqaLvTCP5dVghTxFfSUAmBg2YM0toFNOI/vlUSY5t/kRruyyuZMBSuRpWlA34AA2I/wzoL+0r+kZfJrPgqiyTKPrKG08xVm4lgheEl/v1aLH1EC0hNpsnY2D6UnPsS+jac3wetnEWtDVJwdEgX4IixyjKSh+NPSUmN59UNoBa2xfmxDye6gbBapunzIMrbtwGi2q0CAyhWTHzVoUXvO4GH4XfWUB21UJxGwjO+LBR6tCUCtpucYvNFoUKpQYxTIG9UC6r4I42F4FuE5tgVjpwP0bjTBGhdTAgwlqxEb+5p82kt8naKD6YjpyCPaVIsEhgGFC309Y8mYfxMmsU3+crZrNeH94oLMmgc1Qo5OUTnU9LcEhA6MDEbnC4g5y5wR4dA0+JyzkiSG5St2lrHE0mq4w2Tl8xWdPWaLVszBLe0rTqLSJWPt5tksaPXBzsG07AzVNf7c/kYxX7swVYfZAcvzDzjWrbYGiJCYJTgvE56QOYieJVwpqelw8IGvguiG28+8YyWfXUcanNM5sWK88YJYxxR9siNlpeBwwlnBs0gDDONlBfDZkKbjnILH7gwxuXBeuek3UDdWCCln94Q7TlAnroRcCHgMvfcABUSy7CiKlGzMlE/Mwn+4CzjorNdosnBo2suif08Op20VgTlz1bsKK8DY2y6PjlPxqHFumIO2i9u3hDRVgVU9kkiIU+VwPXUAycw0HF0qa2WXHjfSo7J1ncNirXJbV31a4lIoZRUbA0nO0YvUb1lCl9d7vMCGUV9lha2GPzwh5L3a3Vk842Aahyc823bK759h7AiaGDHUAxc+lYKjOoVLnioaVFKyyYknbU5hJLbqVttPqjlkILnfNOEVeLIkDSySWAy53NmnUljnbe2Vm0qFoizMR8C8qlBzbrYH/e8ZK/01SdGdNZln/r6q9xtqg4Jc0IiFDNAAabbjDLDMpOU6+sBTBF+TmUEhkYRB6NZxoNogox2/58os7eXUSXu/DlE4bBvDGJvcsoXoVbSy9GNqbTNqTuGxGdiW9Y4/nq+U7ElOn3ipTgh84ucbIAve6imryODBkc7SCv+vMjlUsyiJhoTpskG2XONbN3HHWN1nc3/AlH+499hjdUS32tlPi0sxqvwD22KzOBqc0EYhouI+ID0WTNUkFG85P/ubNVLM2ix7h752jvRJEfjbg6w/iMGLdY79gYBYVjLGdX7wuQAfX+X0GDNQgSTeIAuPCjSNWzuzCAKt0XBRiq3KjNFjAu3HelsRi7h1VcDKJMPcOUzcBxQe/LlmBlmm1+WiXLULx8cgNuydHnD18PWfb/Acvx6ZPSVf8I1KYzL6cyFpn5tJPK34vIMIGROR1SZ4a4lKnLfckLz1B0Lyc8/JzMfNrGiWE6dww1ba0NCy9uUwfMCRxUilaG4VlhcpCId5VS/AC81gbZAsiO4TKVoclzXRgjV1juFTuOuP1CpR18hIyd2YWcX1xRfXp4G9NegYad4KPhtWuczAcbcbFX4MBLLKhWjH5siWr0IzY1ym8IaT8rn9WjdgX0F9EWFlrLE+x7s02gWNxbnggUhBRxFw64O72XIKWVFkGFkrt6QkpSOXR+rrRcGVgRhAl8h36pnKiRNCedhuPVKGxswvYOI29xHbTSisb3tGDHXE5hWSfcqGh8PBAlWAH5Nud9l0h0pyh0l05mt5zzxbqZewo1dwozta8glOwQRrS6fxZlS2b9H2zw++8YqLaQUatQNyjzg2gc7sVDKzZMjBzMM/flkC3qRLeIG1MlbkzvEjd2ihr3FzOKIsb0viLGb2EfLIhs5yO+gKtnFZ45vViuu0OhV6UTE72Y1hNCZ8jUELOr7WAipvkJsqHJrKZ+0NAytAvOX/9l0KCfT2BRLThqUaR2N4dbYSwrYddAqN4fw5gKHypc6Q6s22D2vgryMT3heBp4+wMyPdtjXJyql7daCcuKfjA+/Qo3cI4eKppRN7lnJSKujYmB6NNtvJVA/ZbV+02iheDX9lU0vD8vZFksXyv956e4dhf/z5Pd2LU7iIFlsxFWHZ1t9Yeh9nfThy3IACBPp+YgfEWNTIUF4r9Ui/8+VQyjWAnK/IRyL6hCMx03RROZwXdYfA1oeYjVCsMF/xyGsyiceBy4Ic4IwyDT/sJA0irMlpWtRogRdgaxCkUDWtEuW2qOqzxh2Pf0CuBZfydQtxPe0jBedos2up3DePqlw7AZz2kFw2m23Hyu+MJcsSmIWXYwsDFiw1p3Pd3BGtIkgmFGPB7NlEg6VPfHbabmmBCUBfEyDcED9u9ubD7P7fhcFmZV3nEiF86nWnpVv/X+BBQ2xqVBKLtRKpky11VQ8Bzdr/bsFJgQMzsncew677lB83jgyLTndHoVXGC40lxxluiIvl+X/E+708Kez7TAaVYdY2aZsWzNF1Gil1urC9LBYspLrbYMZA7ewo2OkQJQBRKhvCgP2wgq8qX4ki35OJP0YEF8s7KjZzzFkMDYCvTyHiDhN3I7tqs9BABBojjHRGG7xSIKVhslLXcCUHctKMyS5ONq0Vh71JAHWHiWD68sh2qgNG3LC4EjU0azYL6YNCZDEkzzX8GGD4l0X/sfEv+tvcUG6Z+XCOCO+P+Th51uMf6/0znpHO/j//fx//v4/338/z7+fx//v4//38f/7+P/9/H/+/j/ffz/Pv5/H/+/j//fx//v4//38f/7+P99/P8+/n8f/7+P//9vHv+/D1jfB6zvA9b3Aev7gPV9wPo+YH0fsL4PWN8HrO8D1vcB6/uA9X3A+j5gfR+wvg9Y3wes7wPW9wHr+4D1fcD6PmB9H7C+D1jfB6zvA9b3Aev7gPV9wPo+YH0fsL4PWN8HrO8D1vcB6/uA9dJHx4P8mTfA747/7p60T45K8d/tzml3H//9leK/34VpRuIj4iHFvZhDBw/lLJSD0orrxlm5ikdTsO9jE8akgx/5FG3QU8R7n09T7XnfqtX+Ji35zmoBa98POVun4/vg68RBikEpPrSBL4iwAj+onWsRlfv25zd2UAqdXewoJvQL3kit2ncm3lLCQjngUoItJXjNil8VuzGH9S7h7AwqRJ+egzhLMKYLJTE1pS3uVEc+qphgUG0OBtZ8KzuS6ZnALcAwufTPDMFA1pHRGONRxtESeKfiJGEcjTKJSddNgItGxA9XgK6P4eCzM0MDB3IeswqSoUzjPTOU0Wqpra4qUBcx5uk14n55FTgiNKKKZqGGt1bcNauFmhx5uBGlaE9J4YxJHqDjI7084lBZe3mlNgJTRfmfIrJdYIZx1TNBkQKnEMxmTbSuAmgb2jEc4UYBwhh7EizlmzG4iGXMFjOCoq40JGTgEKbMCWPjEoIgT7srHSIto/B04HRyLX4iIw6VtTp7oEosgpQEhr8Ho2QYkRzToRd8LlxxFNahcyV5OIjnqBWZrRkiK+NrRApgPP+Qxqmr/9RD5OWSfdMwHSwQHfxtFcYU7sH6oHAHuB2mUZI2K2QuFbkdpk3pKt8HqVysdVaKhOWXmUGgzf3WwNJiH6t9rfBLIoHLOMVb2/DrtbLYSKBASxzkzsNxnLM8yDvTseu3gtv2ppdOJYKeI/1lf0BWICg9R0RtGsaCrWomTyQmkoNBx2kChO0TD0rLT3SNpVeGHqEzSszD9EpjNMfAjcMlEiLERHWjkRixiEK+h60r69nUNRjOwkyFzaYcSEGEWJIoSND0PLohHoD+Ci/rbcT5NnntVGifhN/W9PvmPPhXkgJ4NsV0VExqG2GtmZMT8XxgRM21gybhJodw74ihNZGyOk62OiFIq9W6T5js8W+MjlXdvOMUI54dLMtF5cjShfNJy1uiH+ZdIdj17H333ff0vds6aZ+edh91Hx6fHnXA1dRUZBXz+I+cuz/fwI96wQewJplAjGaKqGPWltF+cXRaCI/pGhPPVUzUkNZ3Fbo1sVr5OuK9HJJlor3yTt81TI4NPhqROSOW+FF2w+HTUB2Zbk1HVFnuAl2YqqgX6bLT6qp/VfvStM7oYYepLhUGq0mzT52K04K2u1uTPSaGI0TvDl52q+N30fpgMZ40PivtIckZn8ve+FrSWhW4e47IVLOCuC4DsOMLc+jJDGGhW6FoA3GXJrCMMSEPP3x1u5ChDAbZLFlmA2j5GvV13XPqI/zzDv9A+Ym/UH7ib9blf3k31oXRV56MVLuAwdrDsc/nePklPZMYk403eKj8uuNss1F62NfEZOOteg4Tj4jUGyX0CwmgjuKNAvSsT13T2REtK3rn57VtUZokUo085x2c2VlnHOFfDphmgFmaYxajIOmtlZQIle1IfYdB5J2OjKSWYD6hP+oJ66F9blxLmBy02K0QjumLHUiyuN0S5AYjpgxJSXgj9ffdRe/Sy0fi5UPQ5qyuZ3erEX63slECc7LuIg0L0eMVfEBDArZVbhtXSEAhwlzSz0Cfxixozr0JoTDsG9EgZocleYUEHJvocJ34gdmTVh5U3tDMLA5XBKdspvLwNqLOPeHY/k8eNZ7r5rbSVhUGnyWzsfOPXp6kA6qRII8a2IyLLmnVqEBBpzee8TZCzgH1Mhf2JRDd3RhLVwreDBjwff1Fh69zpUKUCVbSecrDKKrGrnNVRd4jirma7NsR8dSKW6GS/HtuXDQ11DThhSpDE40gK1sKusBNVeS18VpUDZs2eASVRkIdsKXpeIPzKVxzhpYF/0P//R1SEYE7V7vXNmL4dy7+EHLasrD8OAwCicUtq06vxMG4uMBBeYEPNhfYLDIK3w6Mhc2s5JPSSq42V/GgehUPqlexcgWDe6xgcfVWX7hy5VULbmkEK160irXSJ6PN9DUsFYGMIw7DcTYAI2q6+rKg/bzFu0L2ma5W9Fd4n7QWyaJRT9JgNAtJSKbzmTusbThqXBhXlS8l8VPtwVKKNpdocA7ctr01fqAxHFvuDN9AKkqTm4gWn+SD5ghrJrm0UpDYKLiKE0gamUqbwym9OMJBCz+SeM+tVXp+SHSgPBFRZrAuxXzzY+3WVPUqLsQzVfhCFSsphye753hajCr/o2LSNmLPK4PTLKz6rxmato832xVvttP+tD2U6zeFc/3ukK57hXXdK7TLKrDVa+K+sVR/VjhUMfpJTI33jHz6HxOP9AfFkfz3iAgpuvArhLm/E/+f4sD/G2I47hu/8cfHbtwnbuO3+1PvPan3ntT/L3pS/6ne0d9YWUKtFLy9CitHRZZrTuK64SeXxGLKYPVIobdXMfM7X8bhbLoJG+kPNHTv28uUXh8nv9up1yagZa/Kr+K8myOLpknTapo0VTSJsedVXEGRnm4lSFa9njOt2p2FHfoq/vf6+N25Se7hCPhbnAF/t0PgbqfA3+IY+JudA78xNklCnnnAifx15u6yZXPvLbj3Ftx7C/5bvAWNHk0xRKLMYrYo30+aV/tYZLQ4cAoe2r64QVzWvoCPvYtl+wZ5tok4cAYz2pFhcB2FmXI38pxlxNm9icQrh51iCLAascp+hl+IGLv1CRzDceB87DlN6tEtJ1/jIQLHjN7VmI3xKm8eHfv87KKX62ibTocD3xjV+GXhXS8H0DqtghBq5mNaXqEZPOOYKjA39KiVB6OAVcsZ+L6o6vCFtXHNzt3U0/Ta28i3RtzTfxCNx8oYWlhid+DEx+tG06nt4AM/Kj7w4y4+kPtkhuk/FK/HP2g/ThBu19rgD0UxSaIHFCPSRa6IJIHfdFhSPGa6TbNXP1bR4I9lGjyplcTTMvUwOnFogdINxXeB2FXpyx/kGAGIglYXh8jSrJDsbTgzv9K6rlQbyVkgTqDR9hhcAMyb55xkzysIt15OuTeoBSP8A+difnVZ+8v+89/vI35Pf6b3913+3+2HR+3S/V/th6dHnb3/91fy/34OR07jM0gs1KFSUSAPZE8F44mPHklYS3EUUx7ZXs7TeySMjRAdzU66Io9BNVJyu67xLUVE9oLMJFtj98E1bsyBA6ZxQuV3izQZBsNoxo4rEfcRjuEHvVzF4oAeZlN4dcBD0jiKrzK59sVt8Q1jyot9tRjDmY5GsIqXyQouwf3cd3ExZef1tnOd4RYW7bMiGQbZ/UTV5wlOktksWZvrTByBQqumXB0Xt8tpEh85ze+11+OGU7zzJKOptJ86T2L6T18V8nSbE+TJH+X4uOnSuMDZ8LLLF354zo/fDl7zv2fGZp8PulFozsqo/3vssVXJ87/IarrF6LnbUPoHW0QVV34Pq6hi2/+cbJHCYWw12XEv4vkAdZNMNrcyfWF+SInw3NXnbKFWpsrma0B2H7tvNdTy4VWY39S2H+MuKb6NaUacUEaNj6ZujzmogLB/Lb6uKsCgkP6xGroLMJ88L3jXVOnct0TGK1AIuMQiyq1sBngugP9a/0y0uC52jKrVQdldGSwgyl/rXrfn1rAHqCBOLUP2lKcPuKMD0IqGGjf40jnUWsdtvj9PfdloGsoBVrnYq6p2heveZTYlWmpnhSrFqmzqsZWMZpxv+pa7aC51FzxxNhr5p0k2nm+NiuWkcVLBfxJU9L0LU1y8QFTU1ZDKE2wSO05nJFH1xy44elBZgAx0lr2J7QII4MfzaoOILAhV0SvDI+FNVH701NkSP613r4zbdm9q4xYjhdQowr5R3EaV3XgapOMcVfGLUfXx48eVyArjii+ViLD9c5cxq2q7VURCS6NPtAsgmt7RFhO9f7pfEFFt9Jk9qKSa1JnLWaEYQ3NW5QFGceAoV3acmZvJZL98WFraF2S+j9G+Cr3V1VQsVx+Y3b2ItnqNsAmMOI6etpkpPcC2VcjPHfHgVgW9jT6KRrZ72NdsneQOAvZNrvUX2K+DW0fFdYRE4OMxsWrh+Cqs0gRLu/qEKSqEi/NXCr3+F42tmCpZNVGZGwkq1ic6t3vPVruqZ7UN1Ddlnuos8OV6G0aHotJ2w0vMUtjW7mn22DR36IO92uSRmzr0UAuDVo6qhWHeM/fMFiuHZh1q2y0cv30k1VrtXLO9VY+9K5uW6MT/OEX3f1899l4t9bs+IJcDEoRHH7M/TQm0W//TOel2y/e/t0/b+/vfv5b+59tCNGowYtdxDvghAUk8UJTvyeuEuG7neZDOEoSXmfvaWfWRtSz9RILrlG4VEfAcqDE8cCjjhE7N5e0izGr0uoXLxlrE3IdEJNpeoh6MozQO5mFD/6ZDGn8bg8EkmoWDgUtCg9Z9yCVpQeZ8h3tpIw7KHuRP34qyI6TfVnjnLAnGSguyivXDv82ITajWqXzr339otXMfzZsScCxvfOvVqfvBPBqzRqdOxd6+O/fH0WjZ+DT3y2UL6p+660EB1HrsqSBY7wf6D3fFeu/9I++M/sNNTvSTL+VtPXIlRkxzI+oSmTTUgWk/+5L9X24z+lS6zAgeHU/8dk+RWR4iiIT/s4cIzcFwkbH6xsvG5rvUnEu7B/mlOYfoVKU+tPo5FGvftSrfKFVozt2Dg+7WarsGNj+gA0aPLD9/IFq1vWvXPeDzR+5eDdYNWhNPwBOkV5mnUzL69h1po1Xqyz3Ty2TpI6fjpwPWmNtXcVk36fSxmTL/YgPG8OzZcoEs2sMaPrANZLjeauDjVfECrgOM1bIWojvthLDRKVVw9XDjS9e+XIzY0aW6Q+2TVcSeEWrbMMcVWtxfrfaD/6H1Q5+4LP+7FrF4DFEQCbkLDiFBxAXQl45EaMppnYcimv2lKAs6RWg8T7OXX6ynA7X+j+cUIhV1VGAeunjfG2SheuiY22M3L48t3h1719Wx7ELT/wNvjNU+leWbYwFR6/JYUQcJoKlJjtziGOsmNVO4RLZrblXlGXGLq666PupGT/J2282zDKZb5KlYydT6Akyu1Omb+Bi+W5DKAZ4eejGAs/CH95UghV2CL6bl0Vt307LTVP8Pupa2CNUt19NqmNLDvkQxLmG+v+6YG2pzWDLguJ1rDcsKhLGutGWg3QCO1zKREgbeDcftMKzRHvJ/+bX2jfMtzvB4hBNuxMFgmfIXnei75vlwz1p0iC/YSWvCWUwKF1UqfUerhk05mmV0rgzDGejBReO7ltyr69VpBwdRijB1r/HWPNVHcN29VLdo+9RC49yj487tL4jG+BetE6915LW6l/T7zXu/0xY5Z5HTOZ85hNbrcDlNxuf0vaH8NzIvJvqH28Ebs4Mu0a3WSZEEX3pyprROCseb63oq9gQD9Bcm+26fjTdEri/zOO5goc5M+xJALqbJLGfblUPJ7eub3KhhU09NyBwo1KZaw2w1W1L/9p1IFySlep2We+kRKLxWu30k/9AvdbDiilgaY5GyY0C4Y1xGrm6RpYcN6DSC5tB9QpjXOeY6gTfU/mHSmMer0KH/2id8PSGvse/nyypCqinWocNOQXC1vODSD+oDFWUY3pCUNgvrl/4vdRuVBtJZvac6rVu3YtZ7Agyg7XeI0wyVvlfcOpFhKIxX8zBlPFbsprqSVsOVvrdqC18jZY5mglaEWKOAIXdZK6nJusf6lnc+eP3ofx0Ldn7X4luPW4+8hXXVMY5cv0FNHhhFTiP6XyfNrntAS9V+7GLFOicP6OERP+rgQRe/j6XIQyxnS1rLaO1Cv9V5fIDyD9Slh4w7xGA8fkysXuvogEvR5kI9au6heiDLzQCSs9hnTsbiY9x+BYfHFVxVdxGOluHYV15SYAAOfy7sI6v0FXE9qmARbaVD4UZcGwfhUEW1XN/HN92b6jtNfSbEjKQXncvmkP5xy0hK1T1T0fVoWwbYN+1CP9SWoLgK36aV1hv0lzp+1nuRV2cY1Xv8x6tT3wMxdQ+oepLWe/TnVxcU9KI+YTQcWGhHGM3tAkeR0wspeFb6smE48QBZh+FyHYYqiQpRFNi5g2XYJHEixGg4B9EqvWaGZRasqbE5SZ2iQxaTNystQ+RTWE8jZMhVmJ5x/qA8vBepd6rwvYqs1u5FUGGsjbOcqE5AVLslqioevBO+Rbj1+DERq3bH3UJqM6G12KI2nR3JeTPGXuQMFgAnk9qczhIZeu/7nZ4uWyS3GssUvUXLUrlmEVrdbK1MYh+3WwQebKcOvj2spraaikIrvMFKq1GB5rpNakEhn6AO+h0PLMI0IGaZRFGsLGHR7tY211SPpDSNqkH7AOmihWu8t9QCCfE67pbK+q200e4ritj+fY3tqNxu7ayN1wLUcL5Y3g5w8fggv498ENMebstTBdz6An9pW2mmZhSsMtpry1WM/cm7kSRgyUxiXW3umbQjV9E1Sip9xjQa06Yl1iicjbOWcoFQbRsOyHJ92LhQ2iaNvbKvqQzHfXLKmpUGB6LzI1jECmZS1Cch81BeA1OIVkLqdJ/iSCl7U0qx/GrsnEnxLCJtJ25YLUimdLdS9Zq0SPjV/9BKV3Hj9IS69VhR0tDwEHx1vXjAedZ83kffOK+fiw+OTQRf0rJkyErHN4sTux5lIxpK6Lx8hfIZsR5IdjW7RTaraMwwydVRrVoaX/miQ2p94D+Nbrt72qEd7fbnIwzzjf+Ij32WsM2ByKECPBUBWIYLrEkinQQeJ6TxUYj4uIlvpe5X3GuZ1ib+29JOvfM4VseTon/Ep2sdwO/lrZkbG/7L5rCZLPr00JDE3H9G87ZFxjYnvKj15r2hvobJowkN8ivKab8ZzVLmQV9TlS/Bos7WSAsMcR8PtqIet5WsiaHkx/WevK3jbb3H6pqDAz1Ur84LMHj5amCzn8R3qpHK+mCwACMdiEI6FFeQT8BA3p6waWU7/yNNW+0YVWRVO8nudnIEgcsKH7p1vVVoinVmoxENl6yyAdEJmXDdWlPaNNgNvHP8oue35Uv0poQFK582WEs2WMPtx3QWjFZzfyGqrkJR4VLiJ5JvdfWUyvXiB34HFR5IjfiyjGJSTEfycVqeVTyCQ93P35+/evvTOWIRiGil0XAl+ucgKvp3EPNYGOLIb7f6WVdt22bnsjxOYWLWO5L5jx7468rY+/TJqEdNz/qbXk9o9V85HONqr3YsHglUlWvV+8wTUQ+ugzQiMBABUInoPPXt7EscFVYVsPkMURPEtgo49nQ+fxYoqeI74siq4GUvMoHts//5c78648Q0WvKdFxxIJgpDe9RPiIn9LETZYyqddYVQV5puqTEsUeU9I5xsCZ6eeNur9FyT9zh/uQxtGnN2Ured1qF9z+3cUD0qx9u0P7+oE64GM7Agb/BLM/mDDKKwpX6+qAunctDoNM0Pl9rPm7/IZWNwjVBoZyHU2GiJmh7L98O8VfASNBb7WE/WF8A6qiF6AzMheqNkHOGJBqJ2Hbx+juZH8gqCbwbGlbbdIJlHyyVT+04TzGsuF3epR9glWuMV0Xiq6SXUx4a9wzYsKjNGfU3/RMwL+F1ielNkNjJNZWiL2t7bZL/mB04x/177L7FwDzfsvycn+/zvX8v++wPzIU32gwc6iCql72QjEpfGxJYvcRrDa38OfYWyMvLJL4bHkuEXdl82+LLSwWNX9d9n7BVTrRh1VT/CFG+37n6JybZ/T5Mtss39WSZbo2FskUTc4f9EYchs+4zOA2hAtFU219yt3QKTw7GZ66dtqRd+WgWzRuANFYdC33xpK3A9+TLcUN0FSnE3JOEDVavUyzfNlag/JHcBHt02r22Nc+PGu6UGVt61iUxGY7pNZbFY+EaWYsAShAUkSC4WW9pQSw/qXtZkXiV23PDQuToID6EMo8b4hEPTbVVhwI1kg7g9MCcvoTkdeOzhZY0MSQP7X6hMg6qGVg+asN86WIK1pfbIBmn4L9aHbhnhVo2RIz1BTdS31Cqcm1u39dmvUNS0RFOjBDILA9a+L+vOzEiUid60MSug4mc1DaOokR4HcTKIg9hM4reCVSk9eZD0/8ttU+j8UVPI1XkDLBfuMsgGRsy7SoNROFmx1zVtUD29e/BJ9gFcySf1/1Q+KVgR6v+54X93nf9Hp53Tcvzf8dHR/vz/Suf/h3CEDTjWTk9sWhwGhJA9qOgQjD9uio+XZKph9WiTtzPXCeACxgi8hREQ8e4reXx5Opc//Th/5VWFx93fHezPYCP+TM8v0VXLisqZvw5IaB38yzd+yxuZdF3JZDD0RbFb0ni6ffFdVmZy+TUJw4LNHK2J6vsgUM3hEQnHfqAN5NIJP28cKIF+M3DQ1C8Y3AO3f+2rBkx5KpqPRpe8Ngb5a+XnxQjagK4V3EUajrxslNLJMgsLfl56+qJMxYlKLW0onI+7D92+nkSj8bjlwbD0GJwaqxRUy2I8p740GKixiYEY634RM8ph/COZqqW981l1j6fFNOCq8V5wcdq79C+gOBlNEwRlXrDfCE/n0vXwgsT8CYJKOm3wke0dDzFBZRS3L/CbGJAWQV4wwk0y5uSUfR3hrKzKFjsB/u0oVTVN0xesbLjKmIDSWA7lVTAb+2qpjMab0C8voCmRLmW05byVUBRn8yS68TEvXYs3Tnt7HXXViVUDO04VP3/VygNfPb1lqdoF7dP6pdqcVl1aoY2u1CQ8rJA29EMHuK1grvrmDgEln0FlqDJz5wZvXE9DRnO0mij6gKmv33pFFZkARlehmbQf+wpYPv0ye2Q8EHIv3FsmFXxM1Jd5lNqVWaliaqY+BotN6uXZtv2rcEmATXki2FBxmHr1/H1dsNndED+g5Pp4mefBuKhvm3/dq1fMkp7unFudzS9mDvVL4/VSUKbdg7MT1urfwNN9yYfmSqfdAOaxP00BdJf+56RTvv+v0z7Z53/4Wvzfdyu+OCwcRfBbcMQA5mSrySQaRXKBVrDk4ABc/UIcUp7GDWWR24BYq3U4m9n8n2H+OALgapYM1XmcrLNGtiBC19Mby7aJYgexvZZKtPiejwbtSMvCgkIpSvDmEYYLuw8VXfeijvbrlxv2zfSiDipav0RV6rOXBhEd0f8X1ya9gCdQoz5eMaO45Dut9PU7xnpJgqBp49JP7VOQ3sncAA5L3YLCmXaeClofw9us4Tr/2xmqr/BY9S8awUV2ecFyYB3uUPkPLxNxVAzYaOyyHzP1HxtffZgv4oKzfuy3xSEeAfnKVT9Uf1dzekn/Zp/o7zpJs+UJHd7q8JqLyWICdf8Nd3zjcddj4rMy++VB+fXcz+aHsZr0huN9XrNxYzn3m+qHjbjZcQ9jyQMQP1UBcsauU5xdbM1ujqllMrFsrmaWZWZqF5l3c2l3phZj7F70Ti4vVShAQCyR9k1XzFfQ4gu1eJEE5MRsTtiNJ4WjGDVfv8xxkV6G+mUM60/h1TzK9Ev6imDgYoHtkwQeWIBPNWbYtQ9jj8cjLFrmTzzViU9/9fcBHCvw4HBiMRKhmNoGGZ10MHqzSxyS7Rb7LE9I1Urn2UacxY5ahzjMI8gekKMGA9+vDwbQKA8G9Vw9KeSBBMUgvbqGa6BXfNK9dPujZD5PYl/vqP+t95O4bJRPVoaoEDXfbFAPoZ3sYuJj9X/5SEy1zVVIF7+yQT5Mw3hkyg0ry7n/VQ1XiwAXAP5b8z91H9Jhv5H/aR//91U+3xhtT3MWXod8QykhRE/rWRrwK3QOnRRSEjIj6csbnR86HquDfug0tBSF90r5glS7NivAEYESBsgGoW85YajZ5n1nUznkfOtWhuN5+Rjo5989SyX04byg/Xn3peqec74LblOH45SVOH3n/WukvSgXK+lvcn1Mr0L34jks9rg9J2sh5kUUEPKMANJK+GY/ZMPNWkqNYweg54oX6Phdk7Ey261lkcI1+xKKrKxWkc7zZPUmPiUV512S5VijgguVPGZNPCe2szoRN4lo7nCk9CmOMe8gvdX71y5AmHLAt9EFoBI1o/wI4U/tsBO/1TvxhBC3HHMQ1tIQkfLEQBYUEDgCboR5uuFjPz8+LKZScYkfCZFDxOLwtP7esi+o8pxfOD9FDzlNaH3lmqAe0i/Vf8DfX2X6bh7YR4cbw0Wc+uqfl536na3Q3xQPuvTlM7+ho8dp0MP2/Su3f7UdAyc0KT2nD+dayZAvWM7exjqfJnE5E+qWE6J2OJHxWCXVVO76bfCniHp84FT67zvGgR+5ZKkJzym57qsgmItJ/RcM4tfBL4DXr4PrbPBDp46k6XDdV/wJzemiNKhLmix8+Kn7AU2NuUAqNifsqUuk0wjuVUhR6vPCCp5QQyEW+VIEjSF9H2rgnL+ztTw2sItrWw3P6rVpV6JHYeJKNUETB6m8a+pDnvnGDIelCQ5pghsMUIowpW3cyYcX7z68/fan5y8Gr5+dnbXm468f/0/H/cOy/8fx8cP9+f91zn+oTR81kTeG3deStMnRKOIJy9kRa7WfMkm+lSWzazYUKaYYWRD5fs8lc8LR0glPT446x5NHj8bh4+OTyem4fXIynIy6QTBsd0bHj7rB8PTkYTv0amwykkvlEQIzCZcjEiOmh2evnnVPTs9+en3Wct6pK0Gz1YKoNhV+x2kVERIM3/BZEl9xYrBo2aq9SUgY5suRx0gvpUouaDcFV3D/D0ajcKbiemirxFdRDEKdOmfJLBojvSRibVYZYmzOOedlemWnrLc5AGZ8ikkaUTmHi2gUxTkiDWtyB71xbpVTiu9TzZIVxxWlo2l0HbZ0skhU1MoVDhYaFq/ffqt0nMoPBo6Mqomxcx2mQ5rlHCxQyUBGzbUM96T6qZkUsAIA04vzFh5B0oFtWucricM068l1rHILCedjm9MUSaSqWWEwXunidcvLUaKo1I3qCguimOqy7y/M7YybWA2anjG6O6MVNUkTvOZkcMk6bvJVntYdKvCEeep3VcirRMg751MV7WqG52RLVDRDkoSkeDtDVIK+xyCJcWetsS4wrGm9od11snVEaFvjjKDhTThaIWZB7r1VC2QDpmkBhsYbhxI4MLvt63MSjXdatWc0LMmCLnl1gL6FW3H5pneV+ZS+j2bRYkFg8yTnqgAEOGSunanl4MGlnBDgm9Y1M7IK3MKnVTCmXYKZcwpUcdKOFIrbSPhddIOEsSNeCmIsGITgBHC/5K32HzOSdq9Wmdm0cLt7B4JG13nvHzln9J+YN43LmV6DTq32nA3OToORahVjnY8ftumwxWrioku1vcIA96lY2ViLCW/sN0VXSPuNdpKwnxnB2Wk5bO+q1YpNb8a/cDIjy86uch+goek8RPIVAM9KstKqfb+UZrLoRkc1qU2oYoZMkjNJc0qHKYcjZUi4y+wwj63lfM9CFEk6WS0N1gwFr7AZZ8lVEzonXvSzbyU2SuOnCcWlBl++kvgdLhg/8bv92uvncmU9bQIgXB7YgxvfBSBWIE+/CBTjH+8Y/3g0yN0z7UeL6MdGRRopHVcMmM9h00JZVmG1HEbN5ns7UrjGrxxGCgk0ajl0ZlhkA+pniQDD+3nI1y1lKtEwY1SSYXLmPtUWBpoh9pnjzABuHZGE3KM4nVR64YSnklfVl7CqF9ItbakXQGfeOHygAsQ0giFyk1LjApNoHkIyJGDPkf3i+LSd9VUcfzaXVMSr+GNWw63xS87qnOpKGTrUlJR7ZjrbXCfpR4IEHeB05n54+/zMf+Q0CBzyXTz6wKbSVtKv9TDQfUW2Yzlveup4Ojt/9uHcef72pzfnjk507PxOanDfkZSOwMohzcZ/5JCO7xrSZipoezQA9M7hFMmQMAkGqnoudqGSka+icO0FR9zrs28soS3q+jF6SDQq0+HIcvkAHVZclY6uhK0QRFGIRiDBboZcl2yvoHMFbBHN2nkOdG7qrTdmQw+1d3WVhlewuRDNYCgr7EUvQzqdeILc3iiNFshcUZ5MMKZ+JqvZrJnbsGgkh2wM4AnYNyAD/wVkdaKEal/lBi6MMyZSKlcpY++dnhA32mqdnpx0On0H5y0WFsc0ZJVWq9NtHz9sOXRi18xJl/tM8/yJRn8OYx1/OrI6YK4kDSUOxTSeEZ864td0xtLOKzthhZ9WwGEwmp45m5TlPctpJmf4NhIlcAf3n9cMZyLuj4qr8VS+cy6j8F08JK1Lm2A/56MkmGWJ8UfJaipgFqnjmbM45K12yASf21BeMKxwM7Q10xABfrDuy5PDAsttRF3FXzQVZYb8zU1Kigg5L8wsFRCYsNNpQegjQbxEBGro2/JlB6EFqFjdpghwn3lQ4WTAaiHzLUkBKwT+KPd3pI4XGaH2MsjkFOa4IInUn10lfJrTWR4SQs0lrpeOAB6SkTRoUV/839f6FOP6InQoqSvFEuN4Q9YLghQhpzbEYsmB3yJbaPbZMNm4PlALcjUwpWXmvJA8w3lxwxljrnSG/0PFk/CBoGeMTAxxBvGkxoNUkoZgAXHss9WYhjpcRbPxQFEG3AzABxuLX+hgGs4wNqwCeJYakssdAoWIfz4s1TXSEYaRURshY51khFB3vUFcxNZlibQmcijUTaMEOzpH8nQZgWX2DClT9I3G8fezt2+UKCkcJDiYmhoT7ToiJ8RqM1boSDHRFoeli9NFuBDRc4Y0VgpZIV0xRuvDnLBkmEBuCZmjUBcPlKVbkQkFzRXtkPvSCP5FJlUzV+Izr1MOKw5R9PnqyvdkqbCd6E20BMRg9Tf7hrXYzpnm2DXNCGZrkJSVEv8VWo71edfaB2v9V/+Udt6/wf7XfdjttDf8fzqne/3fV/L/+RtQQO7HVPzQmCQikk5YAcECZoFuyoFGIgcyoBO5yv1mYKov+wAlthvQNMims2jI7kAewR3E14sS7zMegu89PfbAO3vZarhIEyKCmYd7PngQoFFUTlvs3sGM+OHt23P/XcEPu0XIjEOh4baI1cDRetG9rH3ro+hhvXDsyOFR759VvKxXuKtny7TxrYlHs/hQPSYAwMMJ7gXpvPb2p3PVsD6FssOrhBijIToIs8Pho6bcLgM27JDI8jw7VOrYQ4vFrovRDQcV3JzKUWAAZgv/NDC+s0MUcVXgWDIDKym1xIzh5+1oT2n2sKh7dTFjTsQNZyJOOL/8qrJlQhxgO11W5d0kL/pBXHByvjGOS4UsKEEsZ9uN79NXldfkQaeX//Bvismx6Y02Rl7ceDeXBZcZellTs4WgEsLBQ/Jq6BSeu/xFbL+bDS8RSfc0wBQGAgJfQULaRGaVeeb/wr1dtC977CSS9eDSlbtuGWcSKdYxxYaVxX5l+MsvtQh1lQ+kZ4Ymy8LHvzxbeMNFnkeJBbKFw2lQls5woVHG+FQt/HyLsQn2AuguKkzse6/e/L4uCH9Y1xKT6xksCRbWD+r50lPJOAbEQC5WS4438Jbhjf4mErF/WszhtWjJwEacLKHtIYaLOLGCex0/g8gK7fkC+WpgwYX6FGv4zNdIjtj2kKjATTg+UPb3/t9KbzVfaAo8zwsowazUwovNAuVGaq/yMpDhSi2cl1+THJW//OnNi4Fdgodplah9ePGd8oqSxUjDyaHi1gef5nlwKhIblnwiz3LKYxwXhGMsl6R2NwP23ZoxaAx0LhEOj4PmGmlJqFZuramD8gY0O1rz0iIZtMRvvYw5SdCZ3jzYgn0pw0Z6dlrsuH1+jn9aM6lcP7DcMxUqqbOllU0DGlGDBocaalDD2yU787Wm4c04og1MQ/T9QseWfbow6Qd+p0arRseQT//hTMlCtF7ftK0UQUDjDteb1baVZtAu01BAKz160oKm3SqrEYtHVLA1TMa3BcoaZRFbwEYhp5XB2dl6DheUb5GImRW29LjF8PTrogmrF31luQAa9i8medo381QTl4bV1YT7+W4Vs9LCdDXR/Vi2o3qeGgx1xIGep0rLYZ6oWde0P4X4+Vt2K6I8xmqlnX1Vs5Xr7vvYCyYwoKJE7RstySrrxYgYQzrlLYOjZEIPiWiOVzxTZ5yMWDcA+UppbZcIBM0Otbz25tnrF2f+hbXoXhXeeFsnV0ykwQ+KImBdBxrw15JyjJ4YOwV93zD212k1RJj3o6T1N4Di+7cEDFE0C3/WYgKBb8g1pYp7nN2mvq57CCgKlr4u/BM0mYPv3n54/ezc5Tv+grRXcI7BYjJYcrwbB8vAr1y4fhRPTNvnQfp9PEkaXAxvOFmNOERTC/KIB9ZOSN6Qnzh4/Haf2mgF4zHaadBzz5ou11WeUhjIBjt5x3DqJRmqfp+x3T0eKsG9apDjshx2Sqb1+YQDwRccqMrpIraOPPGpxz64xojT4PqKqoQ3PtypKhNoXfahHKTXJi9WORlYnwO3LiykLheYRHGhhcJLWH/wtjJL0mUfhiS8ttNf5VGHsEOLu73iFJQbb3NYihDihDu0k1SaeIQAqXw6v+qspAQtzWEyK4gcGH7k5VarPNZ7TgNFOL7iFnkUBAWPQIUQn1zVVkgHaeYv1TW8pTpV9UKqPSnkDEO1THtlw9OaXuepgJpUKf/lAd0GuSHMdKD6swD8+rl0Gt54eOp6paIG2FZBPHOZIeAExgwiyCt+XckrdQ+U76Nf/xu4RhpC5hPDpFw8qjxL+qyzNzpvLWHWdZrEV0S0u+1jyTOCB+fmCfPEdzS+AOMTmPY9bZfQhg06+klojZZ1lbaN122BlKyg7H79XF8lRVQ9FW28wzeXKg2Y0v/Rq1WaiiZ+CGcVSTkpukbLkKBsJCHfbR5lUydQyl+WsRdhymQUniNXyLGSwDaYFH08WnVvHkIVH2VzWQCZq19nP42Cdct21+hVq39Njn3bCCza5KzlnAXXYZUzhuXOke9jXc1hVSJ7cmjVfky8jWNSPMAui252O2C8kzxURf+LumfxZxrmhH2rQVtdz0AjG8T+ORJMJOu4Qb84rMTty/ARgTEgYQKZ6Q5QtOV8b8PlOed2wH3YHKtBfw9MZo75yuu+d+0xGKOIX4evBtwojPFYrjxhG7ln2awrfTgsH4/ci0PQxyhhLY+cZzjpJVNP7o9i/E4MwjALbY12CONKjLyLgivwJmDfnbN1sLB9lZSLAdsZlI1EuXcs1PWx11FgWYSM5UZZ3J3FivoaYUXBGy4z4YxIfD5kc8xh0QB0OFlxpnlrqKL79uvT5XKR9Q4Pg0XUiubj1mQVH+ZalOPhZHLa7T4aB+OTyePxo9NRePTw8aOT0WTcnhyfnhw9PDkKh5Ph6eP2w5PT0cnxw9H4cTB69CicDDuT9lDvetGuD7RZSLaVTNWvF3ZU3ftExK7o3v2F0fkmQLnj6Q4HJM0QDnU8NRDZNX69QDvY0GORSjCa7EZhXdVDzYI8wcYQwGaheH1hSpvQrI1zs2Ldk6kNRFTyNyWnTSGlSoBSQBSa52vtyzPvb15+3Fv8bv3S9RSrcp0NJvBeUoHHeVUlDhcbsIqiDRs4pupz78X2XnmYCnwqrJotHQOQFtFPENUAQeSZ8AM2Q4sEyB66KDwAM0kEhiCH+pmUZDLJhxc1ERBi0Ml3zhSTrWhaqQqHkDVfcjIlHFf3TueKVWX2Fgae/ekTc2aJLT2aL+A62LKOyCd8HkIklwPySX4+sjO+h/OK1opGn+uw/As2XXtsub70avbleWy+HphRlZRer6y4qYEaXKkIYXZDXWtjOnnkus1XOuYx789a1q090pw8u9yXdXpe0WveU2yforQLBaR2d74Cq+ttQdhX3h24arq9Bsc4GeSKG6uNDy++KzZSLIl2bBhsb+pct2WPoqo56ywtcKUmdQBrXra8HOhw0jy1r53tVlxFsEuIkBk/VU28HrRb3faj4073+IjEoM7pw+OTU2F3eLROI2YezzXG52lEcngKTwA6/tQBQKhKJ2louY9kYuI0JyBxVE32x2KTBGzvejJNnkwzKQ/s7IWnQ5+FyWXf4Ggulln6m9Io2RGA6OxoFhAloK2oQAmmbQDb81xn7lcscjwS8z6BtP5Bj+Da6n4bw0gwnMld86FN52UWLcduixe7KeAz1nhj6BVfDvHI0De1CbD+Bb9iNrOrVq1j2FQfGDfTAU8yXw6/dUQn8OMO/e9Rp338uNP1ipqNAZZV4axdbWP9827XQcoUuP7KlBfXHr1KZjQMMQPFK0YVdpRmfTds6kMIJACAMh6xPNBkMqFWWDKuE0G5goNfsBVFzl4QaL4uY6K0tIxEOl8dq334PpNN5e1mFjFXjXjA50+QEkPz7OzccubqMVOhvOHmnHUNYtEoXCztjPY5t9cve447uec42INm7rOzTHKnBhkGQbB4WUyJ+GpdhqUmKF4tY5DLFLWoTrEoy9F8kwcLttZ9Hr6R7SWLim6q6uYP15NM4XJjkn9Bx4rX9Y4uPeXMxPKCX2+3Oo9xc9TRI77D+CGJG+skd3jibScpzD0duGRfQMK3oSAwvHwxiRU7vXOUJL7f55oEA7V7Xqrg7bzRwrR2x70XJtZ8wDrKCsS1k6S4XnlYHBY2IFRT4VIVBg6l31QtqO2T35iCVpQyTG4MZET362e5Q7UiwRV+1RU+1cp3m72q+86jtkd/C/7MyoFKMkPL1Q2Hs2Ddwt1c9m0HuXuYcdiT9WWn6SDja2QS2nrlWzkZ9P1Kv2lH+02fPXv9YsNnWh0p4jNtufmT7AZNjIVWOHyTaz5Fcgn5cFKQ3cV7MYpvJdhAT9vQZ4xPgl0y+2YHogyvnx8G1NIt5iW6pkUQj+g453M6d9Z0JAUDXP7GtrOVKJhoB7MW0xP1WPHwlRX3qjJaG9StTnft5SdfAYlopytfXxTNjJICtfvsCsy3WzRf4SpVeIACxkoxAWfhiXG57L7f6o/XV/TC+OLDKhgssrDvfHzidzhJS4ib5JsS2WIHe9iD7ZPkMJar6I0k3pegD+3oxx6r6gqi0HLyNCzNiNZgg4kZ5M6Ig2yWEFlse/ZrCDx+/V0IO1XMlEbF4LAvWo/9FiEBKa9F21mR/QVjfltwZrTUTAAnXwQWjO2whcPwZqH9FvnK2hYg7mFResZLvvPI9JThoWxtcZHDqhyd4qmEjzgNTb6f+O/V5aNe3lK35HQZ6av2RE2GQQstIUy1gXMVZAO96wWycula/ac3r188O/vpw4tvKx1IPeVanTkknTeHEQaP6AZZYHCo0oMS7bGM3BcNRJ3h/gWRK++ISNWleh/eEJU1pSR/iKHVqwUR8aOOqkxHX+cE9R9LAyQMR7QbTo7NMmSHoMiZs5gRMSI87RrIhOrVIbg5mkAOm76Z1KNW67hNHFymfVXBwYLQzYkIpbeHuPZMs8izJFmwtDANgzGTC7jRsutNCE/WTC5AiWYIq4EJ0gKUFWYzwtYSX2rmfwFl0OvZLdBfDjAhNgARLVCsPHXHUBpqxppNscA7vjoIc1d7i9sHJ6XoVvf4hI8JzHG4Ik5tyVgsIYiH9PSQiSULNhAszB7kiAxFfi7qbxITtThMEOJIi57eerlXseTdTLVb8RgdEg469deWHsF49kM7Kx6t0Cps6CNUqIKKtExDJRxxe5IxXKvGoVh0xkkoHrJXKyL1RN9CHGBsEgVzztWe2TRKGV2oEQh/0EhyIA1AVry2iRudJUPRpxC9A/smWhVabitayqHzbJ3pa9UI8OxIrfx1TZQOUbowRYnlLQ+KoLohCxakR/HhD66J0ENb27eK50JKLogawAZOHK61SBmkc+7tg4kQFQtxMabOwZW8qUQNGp0sIRJEOiXHiFm6qcJGlwEEGMdoeVp1pc9haTWGQUHz2blPA+J0/fp9A3XreQqcATtd+/XuqaAFMbyO+H9AUzUXpza7vOjplwMoGMNsQAsdTSKcrMuBcQz3S+4WWmzhHrSGkrME9L7Yw8MpOhAISrNNXPyZJNUfEouo53aSj3Iy1l02+gqT/uWvfJ809tYgvIZoBOnxx2QUzEoK9MXtoY7iUapdoSZDwnDsh6IDwKG29h+WbP0t5zmIh6DUjPtJhgj00tYH3u125F0IsVWdXoSdIbMa0BRyDKUPZWcL/zTcZpK10A8Y7g8vnn37+gWcB3Bz2IAN7IpemXkNMKHB4lY5gyneWyuKjdOauCJW+G159puyu1VZA1xurtKPyyu93GxUbX6t4Su3uunY5dlvLI+tvCl1HtyrsYtd7l2X7BL4ytbsKiZtHA4+D0+PfXGebdHXkJ3pGnCpzXPLa2cC7zHtEAmSaACOVJ1eqW02WMU5t1W2CugWihYAZRCWxHiDGdQQKa6B/dhTicwgZV/vcqS8dmWbfvSuVcYU7c5g9KHPXM88zZN7/s16qjSdynqAFzaKWE0933iXN/gC7/TS5VVe2Y91R6/cy19rQ7+YZQNKQyXqQN6ES61X79HaEmeRrJH2XmUcbqk1cvvWvQtD94l/8hjqa/nVf/vTeWsNVkPRtmHFlTkMZXETUXc2WAvhVy6OssGYl/Kzfgn/kkbdXDxX2GO6rP1wo4Y2sOjC6nf98qJeVJ+Xa7r7W3/2n/1n/9l/9p/9Z//Zf/af/Wf/2X/2n/1n/9l/9p/9Z//Zf/af/Wf/2X/2n/1n/9l/9p/9Z//Zf/af/Wf/2X+++PP/A8fO7OE=","code_tar_sha256_uncompressed":"de57f08a72ef90171b1834cf18fe365dce6a80b0bdda586cbbb451b8c4e0e3d7","seed_ledger":{"tuning_repaired":{"n":256,"actual_seed_ranges":[[65000,65255]]},"tuning_original":{"n":256,"actual_seed_ranges":[[65000,65255]]},"tuning_thr09":{"n":256,"actual_seed_ranges":[[65000,65255]]},"confirmation_repaired":{"n":256,"actual_seed_ranges":[[65256,65511]]},"confirmation_original":{"n":256,"actual_seed_ranges":[[65256,65511]]},"holdout_repaired":{"n":1536,"actual_seed_ranges":[[10000,11535]]},"holdout_thr09":{"n":1536,"actual_seed_ranges":[[10000,11535]]}}}