{"item":"e02-filter-censoring/rep-a","status":"replica evaluation complete; APPROXIMATE likelihood repair; filter gate FAIL; do not advance this filter as a <=2 oracle-deficit solution","headline":{"paired":{"oracle_minus_repaired":{"n":256,"mean":6.064227,"se":0.080608,"ci95_normal":[5.906236,6.222218]},"oracle_minus_original":{"n":256,"mean":6.491582,"se":0.091012,"ci95_normal":[6.313197,6.669966]},"repaired_minus_original":{"n":256,"mean":0.427355,"se":0.061388,"ci95_normal":[0.307035,0.547675]},"oracle_minus_diag_flag_cost":{"n":256,"mean":0.293327,"se":0.012605,"ci95_normal":[0.268621,0.318033]},"diag_minus_repaired_price_cost":{"n":256,"mean":5.7709,"se":0.080818,"ci95_normal":[5.612496,5.929304]}},"pooled_RMS_bps":{"filter":14.76147111288674,"original":16.593673818135127,"diag":13.793205202092613},"gate_max_oracle_deficit":2,"real_engine_scores":null,"board_conversion":null},"evidence":{"method":"All new numbers are local measurements from embedded evaluator/replica, not claims from external pages. Original starting headline is historical on other seeds; no RS2 source was accessed.","starting_artifact":{"url":"https://api.imd.fun/artifacts/dc0668530543dd28209fa9455aecad526ee3d19db53e391b9f6850f053d89f3e","sha256_verified":"dc0668530543dd28209fa9455aecad526ee3d19db53e391b9f6850f053d89f3e","extracted_grid_sha256":"dc322bdcf298727bd2b0c698b4a26f6be2ddc13b5d68bd3d3c10588f836e90d7","historical_oracle_deficit":6.4899,"historical_RMS_bps":16.598},"inputs":[{"url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/main/research/filter-brief.md","sha256":"0ef2200226b68aa58de6aad268442ba09ada710c54b3fb0ec35c77b491f78a4b"},{"url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/main/research/oracle_table.json","sha256":"3e9d1fc8874c6d796d4c26948d486b587f2a6b5610b20fba99923a60954cf4b5"},{"url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/main/research/replica.py","sha256":"d079712fa1f4850ad8337e656e7ee8dbdde806cd4762d597fae50f547ef9c7c4"}],"setup":"Pinned checkout 6b6921f8d463314aa7c96234e1be25a25245f704, supplied setup.sh completed: wheel checksum aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a, StarterStrategy validated. Engine not scored; this item evaluates replica filters."},"config":{"training_used":[30000,30003],"training_allowed":[30000,30255],"evaluation":[32000,32255],"n_steps":10000,"completed_seeds":{"filter":256,"original":256,"oracle":256,"diag":256,"ablation":64},"forbidden_seeds_5148000_to_5151999_used":0,"config_generation":"replica.run(seed): Random(10000000+seed) draws size_mean=uniform(19,21), lambda=uniform(.6,1), sigma=uniform(.000882,.001008), in that order; price Random(seed), retail Random(seed+1). Initial own/rival reserves (100,10000), K=1000000, p0=100. Config values evaluator-only. All arms use identical seeds/configs and fresh independent trajectories.","exact_config_generator_source":"replica.py in source_archive","freeze":{"utc":"2026-11-09T16:41:03.039505+00:00","hashes":{"original.py":"9e5a2bd079e2c5a1445fe32db9c575a8da36b8a910cd2779cbc41070627f2810","repaired.py":"038c0a5ca42aeeb42c08e0c2bc9a4809a493d50d0e468019d7c8510f2b8324fc","evaluate.py":"90d6dedbe8702741664f8773579ff2d7168d712af36cbd1d281bb0da5d8b4da7","compat.py":"83db17e6ec057fb91f436f1f636ac17866809d3d6401ee4a133896e85f0e75e8","replica.py":"d079712fa1f4850ad8337e656e7ee8dbdde806cd4762d597fae50f547ef9c7c4","oracle_table.json":"3e9d1fc8874c6d796d4c26948d486b587f2a6b5610b20fba99923a60954cf4b5","checks.py":"8c1276b35c94b2427c108a43db1144013eefde8244b12b3c1ed2873ea3376bb2"},"train_seeds":[30000,30001,30002,30003],"status":"refrozen after analytic normalization repair; previous partial evaluation scores not inspected; discard those 16 observations"},"post_freeze_changes":"evaluate.py received serial/fork portability only; checks.py added explicit poisoning of all hidden fields. Filter and constants unchanged after refreeze. Before refreeze 16 partial evaluation records were discarded without reading their scores; none enter statistics."},"model":{"retail_generator":"For fixed p and rival log spot, H is a substochastic marked-order transition: 50/50 side, exact lognormal CDF probability own input <=1e-4, three conditional-size quantiles, route all that size to rival. S(u)=exp(-lambda*u) sum_{k=0}^6 (lambda*u)^k H^k/k!. No arbitrary prior multiplier.","silence":"Diffuse one step (including t=0), weight no-own-arb fraction of each price bin AND S(1) survival of no own retail; marginalize hidden rival-only retail. Rival arb is clipped only at start of next step, never after arbitrary retail.","observed_first_fill":"For no-arb states, integrate lambda*exp[lambda*u*(H-I)] times own marked-fill density over callback phase. Normalize phase quadrature to survival complement. Earlier retail may route wholly to rival; observed own fill need not be the first arrival. Arb alternative is prior density at the old-fee pin, times previous residual-retail survival, with no retail-arrival multiplier. Mix alternatives and rebin as original.","density_measure":"Retail density in own input units (Y for trader buy X, X for trader sell X) divided by dl/damount, compared to arb density in log spot displacement l. Interior split uses dS/damount=(g+sqrt(g/.997)*.997)/(sqrt(g/.997)*.997), plus p for X-input orders. Full own routing uses S=amount, unit Jacobian, plus p for X conversion. Both routes retained separately.","remaining_retail":"Each callback retains posterior phase weights and rival log-spot mean/variance. New timestamp multiplies by S(1-u) after previous callback before the next start-of-step rival arb. Repeated timestamps integrate only forward phase differences; no diffusion, no own arb alternative and no rival re-arb.","unchanged":"64-bin price state, original Gaussian mass transition/rebin, volatility estimator/prior strength, initial fees, original oracle offset table and arb-flag threshold .5. Mean passed to table as spot*exp(E[ln(p/spot)]). Sigma updates only from inferred arb probability >.9, same as original. No policy fitting.","closure_caveat":"This is not an exact joint posterior. At callback/silent boundaries p/rival/phase correlations are projected to price marginal plus per-phase rival means/variances. Residual previous-step retail uses candidate current p, approximating its coupling to the diffusion at a new timestamp. Arb rival posterior clips its prior marginal mean with RH^2/12 variance. These are disclosed structural approximations and can limit the result."},"approximations":{"price_likelihood":"Price masses remain 64 bins; expensive rival likelihood evaluated once per adjacent pair at survivor-weighted log-price midpoint, reused for both bins. This is additional likelihood quadrature, not a grid-resolution claim.","rival_grid":{"nodes":17,"spacing_log":0.0015,"halfspan_log":0.012,"center":"log own spot before fill","boundary":"cloud-in-cell to endpoints (clamped tails); total clamped mass not instrumented, no claimed tail bound"},"subthreshold_routing":"When own input <=1e-4, hidden-order transition sends all size to rival, ignoring at most 1e-4 own-input units, matching callback censoring but approximating rival reserves.","size_marks":3,"phase_nodes":[0,0.25,0.75],"phase_rule":"Two retail midpoints with width .5; diagonal repeated-phase cell half weight; global mark-independent correction to exact truncated semigroup survival complement. Phase 0 reserved for arb/end-of-silent state.","poisson_order":6,"poisson_tail_bound_per_semigroup_at_lambda08":2.0746837912977156e-05,"tail_treatment":"Omitted k>6 not renormalized in survival. Event normalization treats missing survival as event mass when hazard>0; maximum probability error bounded by this tail for each isolated semigroup. No global filtering-error bound claimed.","Gaussian_tail":"Original +/-5 effective sd diffusion support, accumulated lost mass in aggregates.","fixed_priors":{"sigma":0.000945,"lambda":0.8,"size_mean":20,"log_size_sd":1.2,"sigma_prior_steps":2000},"fallbacks":"Counters in aggregate; zero-emission or survival uses original prior fallback rather than fabricated truth. Approximation invocation counts are poisson_calls (pair evaluations) and closure_calls; internal individual boundary-clamp and phase-correction counts were not collected."},"aggregate":{"filter":{"seeds":256,"sum_seed_seconds":3018.111966609955,"mean_edge":518.022222,"mean_retail":546.906222,"mean_arb":-28.883999,"mean_rv":74831.55169,"mean_av":24481.232705,"mean_fb":37.246833,"mean_fa":35.838542,"mean_sec":11.7895,"sqlogerror_sum":5.704954011567501,"callbacks":2618140,"pooled_RMS_bps":14.76147111288674,"coverage50":0.7061020419076138,"coverage90":0.9471552323405166,"mean_posterior_sd_bps":12.320535053105377,"fallback":0,"poisson_calls":59921127,"closure_calls":3458434,"tp":785369,"fp":133930,"fn":118391,"tn":681854,"gaussian_tail_mass_sum":0.2848619996159083,"mean_sigma_est_over_true":1.0113387920948607},"original":{"seeds":256,"sum_seed_seconds":1029.818662405014,"mean_edge":517.594867,"mean_retail":547.647508,"mean_arb":-30.05264,"mean_rv":74768.236707,"mean_av":24897.831667,"mean_fb":37.247324,"mean_fa":35.888203,"mean_sec":4.022729,"sqlogerror_sum":7.210918398878434,"callbacks":2618819,"pooled_RMS_bps":16.593673818135127,"coverage50":0.7006093204608642,"coverage90":0.9101037528748646,"mean_posterior_sd_bps":11.158086552957641,"fallback":0,"poisson_calls":0,"closure_calls":0,"tp":854740,"fp":283604,"fn":51718,"tn":530419,"gaussian_tail_mass_sum":0.332699429890561,"mean_sigma_est_over_true":1.0614043807167541},"oracle":{"seeds":256,"sum_seed_seconds":40.30450487136841,"mean_edge":524.086449,"mean_retail":549.561692,"mean_arb":-25.475243,"mean_rv":75838.71989,"mean_av":23759.149181,"mean_fb":36.830226,"mean_fa":35.51731,"mean_sec":0.157439},"diag":{"seeds":256,"sum_seed_seconds":2704.474930047989,"mean_edge":523.793122,"mean_retail":549.191708,"mean_arb":-25.398586,"mean_rv":75450.668102,"mean_av":23667.024758,"mean_fb":37.102571,"mean_fa":35.793166,"mean_sec":10.564355,"sqlogerror_sum":4.9583190534750745,"callbacks":2606178,"pooled_RMS_bps":13.793205202092613,"coverage50":0.7301339355945756,"coverage90":0.9485069707441318,"mean_posterior_sd_bps":11.517515675606509,"fallback":0,"poisson_calls":59643405,"closure_calls":3450623,"tp":835018,"fp":151383,"fn":75550,"tn":653446,"gaussian_tail_mass_sum":0.294481319547258,"mean_sigma_est_over_true":1.0183688103929869}},"per_seed":{"columns":["seed","repaired_edge","original_edge","oracle_edge","diag_edge","repaired_retail","repaired_arb","original_retail","original_arb","oracle_retail","oracle_arb","diag_retail","diag_arb","repaired_sqlogerr_sum","repaired_callbacks","original_sqlogerr_sum","original_callbacks","oracle_minus_repaired"],"rounding":"Economic values 0.001 replica edge units; error sums 1e-10. Aggregates and paired statistics calculated before rounding. SE uses sample SD/sqrt(n); CI is paired normal mean +/-1.96 SE, no multiplicity adjustment.","row_count":256,"rows_codec":"base85(lzma(JSON rows))","rows_sha256":"d9ce51cddfa86ebeac8c8e960a0e8bc2a7c1ecae2772bd60133ee593c23c0f70","rows_data":"{Wp48S^xk9=GL@E0stWa8~^|S5YJf5;E{GUbX@=~;K*b$=c*w*261^qfnGh1Z`y?5pg^lLJ#q7B^NHZNFjbdik~<?8xaBIH>#`zP|Fyl55^Q&*AISL=IYY&ce#9={K9|m$z}L7pX{~Y}oR%hKHAiN#?{OK4ajF(Gd!-q81!=y5+UvS<13Vti<rA-?v$0oYB{jIf0zLqN7&@gIRLw-Gsd*nFCGy_EmOe!kJL|{lvAPvlq&+CpI~b8NgPQ{CmJ}8bqtP3V|HaaPMh8(pYH@^9h6~C6_z0gN3_^O#+Y1qh++;fhwfPV1rh<I>)j-AOMyl-59ycnXobd6V>~#kgeRBq3;UbA0^Tl&7{(4S+`{zS*vAjzmA9P@BD!%qVpM#dbw<kl5Oc#h{ETfLzJJURQsB*Im59C1-P`MIZ3Q{0W5&>~GP8<3Oy%|&Z=Xvi9U5ux<2&HgZkSmbJ{{CG}6PS1sY7*v+H-Ex5P7|G?%E3e$_QtHa|HA+_vyDl^3)=3y9S7CY8JE6U?9T`O@y-2~KmzuE@|=S!4XURP&RisaqVlbH&!!%B!^?qg6BWF?ZlILkw15!DipTmV6okx&%tx5qo$0*BnO4b6cWUl}4X`Fm#|tt{Cjz*2kWNJl1)ZQfQ-}~OEeBLZRb38Dfn_J`H_viY#4Ii)oDFz2F}6N#ZsKWwDK=MG;BXux*K)<zl5DiF;@Shal{yk#sxsi?ff<@2YA!N76BaE?C?!GRrJh%G08S46(kwqZ6jLs<cXll(|1q*Y*Ku9XudC(m4Doa55pviJfe)a;qiEJc;}SYF&kQ+_#QNY?vc{9A#TrKXB|X~8tx>XlF<4{_l<b=*`go|B5xpX0z;R+Ohm4Xe`r+-8y4I6NKhgL(G2_zYcDaG}{Ttk`AO!#I;|gc2e{Xo}t~m$vh=vPbfv@F={#5_Y4TKz2KeG5gnVz~FECES8Du;&1kH~xXSXUKugBhQ`_%*up`pSYIq}cY2B~UuZScI#6lf-oto``iq115kZwt==2e1`*6KU!o$mwpGVDfb3XJ(trZ18xPC4th<(-lH1Fx&(C=MtCBPVp;C4ariGd;9)?2EM`$k5d2%RV~X^jRw`x(C=J^(h5o{jS3+>BhCf<0%I-1*z5mJhoD2OJeecms9cfKiOinM|=36Nm8R^PktWbwTbzyC8UG-uNSmb_h*>RMmMnE6ychK3BEtXgwT~WUcjJ0*v#zLDu&#7iL0znGSQ)1V}%-FJ+8|;s;TSPY!Xy^Sxd_ciE)1Ozw1z6E+-kL|;2wB;!zxY)SRcB4TG-=DFXMaDa0~aFIfsC*ffAVRmOIycx9>g&-2G!tFPEQ!NG0cYV&U?y+XW;mYL%c&dhfE+<&zz4;tri(^qD{uNgX%zql`(T?s=I@B(bY4iDgW3;c$`@^-dH%0GVFVJhy?7Kbn_{@i*Z4r%Wjips#rRWW0(}Wm;#LHX|@J*7QHEM^Hs7llmbT!WC1)MUmD6{u^mw0@lF{JhY0%rjLDVimueV59V-CRYq5Nkl|eg<N$sS97BSed>^9`Og0j~D_10-A^)Iir$&<tR;a|#1bdYV;|Lt==i~C78u=)~j0xt5!2~>MXh85bUOM%^tu<zBIPR26v?U!Ed%|=bE1EXOkl8cCahxg}m%Xl*D9ew5JrsBh>gKub6c1UH>@MMR3?AbxPIv^>F(#TQ-TsX%zAwR()E`;T}n>INU;g4IAmFuFD>MDSHP`uuGwRKLZY%e!Ew#~f5x%FPy^XGfHv;OR<^k5XnEC3&E3}traI<3k%8k2^Ce4gBB4;#+L!it&G8=oxsMdE87@bn9SjmPyfnB3brZd6XyHEal$kJ~!*$rE~e6O#KHyJXE^7`OOQb}cSXIxjQ_A7gmPKR|s{4k|+T3*Bc`$W8+gJvqOkFR82qL3Q&;G)w4c6*msUqdzx0eG43Z5J8ZB)$6WM{K*O<%o5cA$eHGrA-QeE2H+yKBCjaZ3bxWw{W!5fzIQ7MWcTd|>z%Nm$Cc}E8|;w#dMtXPTUsEJP;eThH2D|JNRPt?lh%%RMPo$gTb3gmY<ix-F_b2Jx5d9^vnA-$xZ!u6L)!w3<T?+_FYc&zHMXpk9e?jK37%<bBy-5Gwyp3wE4lYPCh18BM)vl=&buaL?zuO!I4n&~7IPsfdJC#6fJVO1ppH)PQMi|@ev5eulrw^H>cseX@uY=LqS{73*<{?R{!8$R0&RcmxHhmVSHTykB{Sd*PbcNnPhKPS6tLfuP1*bR!Elyi8o9+0*m><UvvoyO|57d_gC{CvY!|K1ErN}SChtMXGe2`owY8;)?#qfQ^=;UpX<IejlUX6%vE<O72U}DoV%lh0>UYME*1IgeE7Ullm|b(=ff&%ejS^3fa`(EoK43xV^LT$Q;?P-BTJAgpES-AwME{BZ!;B~tQ%2TsdAw!NNpS`^R^as;hf;s47|{@$cN`AqYW-}lPRmNfF&}Oi;md`w7;{M`EsV*91(I-J@QS1PfJiv<k$(}D2G6LNnlW&Z=Sg-ve-KPgq-{r3qMkQ~t2)@#%v(yp6wZAzyyn1GSX#b$1mv4f(U;4LRYpQ6mKJ!F-PT}WTN5^Ce70ODd;qh9)aO!&?H?F%_z*1GITKH{e-exNY%~!Lcz%waNt!CnP$O^8lNh2YhFsB<PiA{E;|=VY4oP-GBYI`4!c}ie_2!9BWc!vv&+GcqxV6rCcJB4c)M&#T_f->RXxcix5QNE5fMr3Vfso?vo`A8qE(}Gah`E{F7WtM=*+Zp4LB|PqW#RyWQ9encN{x}AbM;`yi={F*O@WUJJ=G{ZCCO~PhKSCg?qnN;T+Q$xLne)mWZc3Jg$89KyT<7D_cj3Uqd9JXF7~5C_dCSva$+-Ep$Wv4@+-YD{SM9>a-d+<r#IZeoB-d>qOX!PeiXPk!6)Ma{UlWGt@KA#)F0Za$YGoSch*WP#=M2bX9LFz(0fdAWN@J}yBi8|G8tpa4jFF@MW_@(C+WEaHb&khj&#vAyk7qSXIpx@T_aETUS|Q*^g=gf)NkDI@sLwub4h+GP84NGzXgc<=Cpl9E8CbKmP)u)Jf|+DWZ->BGB`7&J6b!cUin=E*O<sVknSS5;oR(s10oI%+oSi5WwDc9eBH86v;O|lQ|?MyzWyj48i-A^fZN5g6@2j0SDx7Lp~ip0%aqO*oe{*h73j#~Rsf7T1>ZnyE+Q~)IgA6q{t)RqM#B}*MGPxA*?90t3iSQ>Lu39N-bVsUi9={!A$6W1BsE)__4;AqwAkI%ciWzGkqS&Ecj6y`(ZF34o^-A+q1mp2L_t1&mqSjXZrU9_QN11QJ^JFs>#GZ+O6LZAoyF2`A;6K#k?Y9<M$dF^`T)em6O}$vgAiRnz^eN%9U{dAR;qDYj_@#70XqOk_GPR1CPdtO9_n*9hb4dlsKi|!q<}8>GSOSnz;edoQhVFn;j=}BxjrB|ZIA(GT<-mJfzh-?C+H{}yOGZI&`fKqakZ3yiibKB_ysUQ4F6C7W!GNN<{$06_vW`IEz45Y+B0|kCR6}FMgv{GR7{aRyVl_=U@p@J-K!Bf+Ls;Sk{(#2@x0zNd4o56zmUjycq4;?=Q9>A_ns-zleEbcMsOx2n%w>HZq+6qtLf=`t16{qWsCe<`$-<-CjLzvqWGStGjaEFCMORE4C9+kIAk{QOYVIl>0Sq}5*e@;gD&k~1A4KftX#9l^vkLUm{FpK;)n-xrXLi*K`!L3pic;+xO}v6dqGP`NT9TS`)#HkApaaF=xN6Z=cN5g_l957wt5mKJM<5M7(u|q!ehN~s0o-eS`IzTFFs`2@V^y}p=IyjN024pB+A}}R=PWlY=;a`yyzVbQ>{whlF5XeTd_FZ^4&nPeX-{YG>2`ksCR$KVcuFS2|ug2W(vizZMive?8SMV32M|sc1JYt5?6pv#VZ-Jb`S?`q(G<kgOxEBmhUqNP9)yEZ%6LSz1qS1XDblWJ!XYmolA~{MLc5pk{*WjeuN_$b|7Y7nZzIx<n47~p-y;nzBv6QwXNj_H`>1PKqGpL(?Q}ohP~HUP_^*0>z>>vncZdn8gNKjd(R+QcREn!0084ukLtYq|I*2{h8$d7{2JCfQPc_(djTi2iPk|&_MN>|!iXP1=K*gbzlnnmm6LmVjJa>Dk6JhL%&c+dY*~`VT7zRTkBvPW)T^V6&(ZdrY4h~^kWKxM*cKC{Qp!3t%lqF##qwZvIp6V~1{AN=un%T^StW#&k*tR_6i?lJe`nfb&`M!J_?TH&Lp(J7?cV*h3sUo8=!@NGJh<ZGa{=`CH_sQGV-#94k*S#QJ`SFsPDI4^63x+xTO3&-(E^vyMP4G|Z;?WmzdCfP>%_PLBb$MmM_OIVe7CrJzH{+wkV$|zTdg8}>@&4e`RV$ujG8F1y&^9yy^>dYA>5=ZFyAk=VfK~~K7HnV+wFyva{FWRkA&1m$ho|i1&!a$fN>SQCavm@S3y2b{n90bO;+9six@xr1u$CBc2g@`o#~a*X|=QfE5&y^{@<(is(JXr&nwgcz4}G-y&Bc^&NJcQyaKcYP9X0wo<pAeT23nHn@esu0qmC=213u7Z%^CXFD-({9ldEF^MTiC&jk`R38lG+!TCe1*N`Fxt_p!qe)nnAQaYkyh<r2&Bz|L`i5gvaBRHWUCO5yFMrzgAq%hk<SX`+zIn0^Xx;$R!cy5cn0ZeOK4*;*uTSf4q4_~rb7=?+WpLKZp%=d+^HbF6F-amX-20?4>3j$RVS%OI$0%T|P<pRN$7%wr6yApw|CL9C~Z6p{^T!jU3H%vldm#^aa)Nq$4%QG)5`4$8QQK>w4lrDG>|9(43nJz0cnhQ0WBFn!-$Z8_bcA{a2U3x+Q)_c@M!CS$v!ij*?DWOvNmjEIvi+RG7=ZGA54C4hqnpRKcjRxuzchbt$XbV5L^zbOh((0nVC3N;xtPS69;~5!$8$baBqgU<nkG5wO<eP-kgIrb2vP6sSCCcaU=^_!T_eG3LO?UO%oY0Gt1(cs(amEX2J)E$9P6%%=##mIe*~}Vn*0VsfQh(b>@k1#ee?4^lNMR#<$xp&jZ@pruz>xT?A->e352;cOdMzs+Hc+J*2ly1DU)YR%suklbg(r@J?ZqZ{j(}9#XWEblqXhr3D?6XO^*h3yIhOvrQH=V(vpDwSi&oz|<#8=#f=@>%hqu8m(kwrrSB6{%?Sc@l1U~h?UdCDj)!EsEn%}&ogXwkKFn~<26&p%gFDD)O4PHn6P%095DHYCDqb3+c-tw^F6tIF;m6-Esio`RZAnZreXEP9t`VI1M`d??gcS#@1;rFS<#9DkE-k#qs&0v1OpRAYr@!9V5CQ+A}p8dXjqiKScHVoS4RT{RFdVY*)bs}=+1IL}WW0u4hD0!?lz?K*nmdCq4(+lh4vKIxZ3u}?h_>A6D#st=(Ty&oqh>EVq@X!p`GSyqFIx*Rw)mLp!Ek4!7RDpqSgN=~sOi%>8!!kMGFId!Wuaw$I1BJ`3b)CUa)yi)Di!2Js96nPN`Ea^`+}XX9_y)#vfmtaQ;GV%Yd=|_V2croZ8Y0jHjPL<B-uGNaTH}6sfYSm<Lm)9hwz{`HUyLa#tBCN+pG9j)`diAJvVZBV&FU2IM^0!;(s>Vx!p4AW+YUXl-gd*n(q-1WFN<&XFGSoC?*W=RF7TuRR*$&F{~)&7oQm#2Qkh<<cGTPd#P8f1aaX2hDuj5*0OnX@a}@6J75j~N_p>Ydy3CBv=fy3fY^x>x<fOD0Z42158cudmZ*#ZK1r(j;JX0bV;r2_6BW`_YQ|w!f&<cgxBHy>iOo#ngNRa~ZMXS*Bne+(J#VI{{t^80Bn)6wd)udjG%%CgEq;J4nidiu+MZT;0ni&97@aTyxyu4)Zp;Tt5N|0U*0b;sAJj~d84TZ3zU-Awbbcn_0P%0MY30()p0UdQakCG-P{g~kgj2Id;7Ayx>y6SwsBnwHydy{R@Gy+z+%(s4ReYkortr@mm)KuP63g7OF>dVS%i|X^D^pKRHDe;=u;)^8g;YeJ={-iYmkv8CxMmR!k;G8N^Nrcf0+{^KN<iR8*wc)(!*!B@y&6WbZBajh{OMJq)d^0G91@I>AIK(s~dTy_>lQ4QvfGoGSq+{yLfc`|?+_}IqR{|%t%i183DNm}Z0)!lTer-eg=ek}IK7BUYE1d81DA!dlHsl>`L4u3LK&KDR4Bmy8XF9kWhdw&>8}Nx$ShdD|&;4Nx#X}~CMw6g6%T{&HWX2TJ;s!ROz|MEchkpGnS|323lVz4*7!N(-e|<zPw90XoOMn*INj*$4srkHWg9m&;CKj+&{bz$QMRFM==88Hiyy@Ho=bMzzHR+7OaVo-)r;^HQ2IRZkg?JX!qC^6K>G8(cj3hG3MpKS==2QziK}J5ckrHBhMxD@Gh)4O(&U`<3t^(ESAs@)*?QOiX)I`bO-VZd(&H}0Pzq&odPmp-;4dfmJAQB1Q6OsQK!;6f9O1?1nsBL|1qEKp*mTr|4VZ07`xQ~<X5Y-atfAmjc_NH~XY{&E+J<kfY;3BVozo9vj8x`i}Q#bZNI1JulICx2%<P=@$8S!J~5fR!cHO%sbh)&1yD@%W44>*uwy<IHi@<ZI43XZbiTKg8p(@FL67c|~~z|PLNqoKz8Ed_5$<&Z*{`=|C#BeLcVyUU$X5n1p?N1W&jCSy1kPqPQIsyY9&Y;0RLGe~w^eNN}2*>=IKuoKeRour@R)RR>5$HEJ;Y#wYx^r87p3Xl8DTV!nGu!(S!c3=u?#joaxRCJ=9(VT_Bm!I6Q&Z<*peYj9;IcBX<m6<4L1KJfeoUwFx%Su)Jm@|h0B@(^m4OHcjL$p{hwLP_H+d=KeY|D>on2KcgBVPftAXXXauaAI<U|~ZG?cRso=VO>uyc`IDFs)egVY_Z++ekh$`t0Vf&#3yftYel%0N^m1STrvB9C<>QS<a*0i-o?ash#U@z+X*H5yFxTfwXQWd}p|qw=PSg<HDi<ixudQ=pJ}nmyX>g$FcAkaqydYC-7q)DfEQMt-^n1L0^Zy=`kCKQy{V?XYU(-x%|6b8#9+7?uKy~K23bQN0OMnrV7d?X!=p->)*)Y32CkUOoU7vbwgrECJq^X*L;yyCaJO^_7aP6MfXHZP(7%`n3#Y(13344NGSGc5~ri^DY4sgLcA5#V`*4dgRLLs<@nY#hMjGI$g2`GZJ8T3h&+LWFRNXb2_)HCl3Ckx?KHr+@oBA!kn*;4)>$pZfnKy<+~UH2xqeZ|bnq&c3$4*Jj7}NYBiI>_PVezebnOT3fUR_5Mx)g;5%~-QRFQWqxunknv(EpoH2ZujbG8>D2VbTeVXe^8m`(;$9hk-|fm`FtZStj!+*=WXqK;=^-!3bBh%1%lBx-?En0xc<(~OyF)2@gW3b3q`*Kpwxu5O949>jr+GC}d8Mc+eGb&(YC@TWf#-h?maRrW3G<0kBVRBET=9a69A8{UIYSZ|ol<LsbruO?ogS&+qKn}UPPg8R(jK7CHt`GqnfI-W*Y?MJ@u6ZHrp1C>2{L(OWIJ#&)Y!@4jq@NH&}S~CWAP%r4nrJ-GH+y1Z49`mk*`?e9MH)72ulWhR8L%I^r@@6o>EYwZ46m|sbEniolgLIkYJM!*sp`4=(E{|(BOE6Q6NSq_Sed~WOBgB*f!}>W9f03M6dc08)T&^(iRov5-2;}04d@g<Go^qD*;hFcnXSf{%cK0c`tWu0J2cw+L7|^>Ok&7S+Ajt`W;ld<SZ0$mb)n3xvyKZJ3&B6u@QLFw4bNaP6e7Wp_TMXnBEaOZ$)uBd31l%a-(stx*vu_4-bTlj-d+yFhIj;^Kif+YyI5-3mxHGfuJZ_Vl6grZS@So>+Y_PViSs!YH^YN*~Q5&0Tw^)xDocGnjJnH$X@rt=kk!dFX&s<4uc}w;6-PJn<(gm?~k@8$0B1g&!xo>Aw#}ujq0-&wTwNcH(a(5Sz9|ILI;97;EB9iHbg;jgMgy#)4v7r)xLDWb>!G>k45C9Z8Po0Ud-eNM@zB|BJCq=ruC%_K&g#|bD@Vc|$aZF_G1fg%QNl6`X#J3Oq-?+jk?K9>Qmaz#3*!1*)dmT^sEfbv+yL?9Mrxh~Xa7xC0$d4z}u7xcRmAgAD2d$bc!;Yh;ghvs^>JW-UoAPzawNNf{pQ+WEei*Szm$bWIK)<&49J=G%Bx(BKmgPIWUB*Ii!E<Z9q-=c>Hym|<YCH__ci?{w@xs<8fw>XId9-17&x~iLWJ9fV)r=*<F(UWYc#Kk81d!8!Y0gT1w*kSg)o1|ziqW}-@W$bJ`RjqKsdBIFLxB#I`Us^j*mtQI9ZL#b+Y#Lw`p<>wZy&u%*t-(;C+&q&?N`!RS=qR{EY97o?Ab!ue`One8q6BUe&RFfm#N)RScV+#8YF$Gm2h;*Q{NlVAwCFZXG-VE_pjRfFR%LwzH75Gs4x*;<=TRmK??po712ndJENOr(tJLb9&rNHZ0wyTshDvXEl@aIM;v!%RLt`}e4_EFUN5|zA~Fj?Cytx>{5Gqt1xR;%t?|#t84lk{mw>V>^f2Rntv4Uxhj4Zc4(R_&LoHP>MQF~Q=ut(fU|`d(dtjl7A=t)|ZgIM}kRqz?;-rv=CY+$qSGj0rwH4ijyt$Ktmv7D+<s>>uVcnfHU?Vkg*e5-@?{uXxmT4?NsOd<V?h{lyP7*)d*}vFCIZ*=8@CYsuJ$U_9*Z!h`41|oFeAE~B4oLLNjoWkJp%8kD;DvIcQ~n%q+Re8Q3R-3<J59cqb!&n&Ds9nf{2|3Inq4ut(_0j(Loj=`>O-@1bZjka1U*4mBd#ny9%|O@Ba#SKrpCr|(cD1IiYPz?Ca}oqpYI6=CXkhGHuMg2$!Q;^c2M-T>ddB~AQC>lv`dFZ%7GHu)1zjl2=<i}wGDED-NqUaKw;N)IyVFcI>o<eOewRoF3;Qjot}4q^WWgNj(()LFCgvI%jM}wTXjsl(=ddxWUAA?aFp1m+n{AtZ|8k(vk;cR%2~Z+vX#gb_bDR*#^d<WH7GHBIUfQ-6LRdd!y=T=?Tp7fYr&8_^pGl(KI_H#Z>L{3301>WcZ=hsuFrt_(Z7*;3N_wyVi+<MxohQ%!2UGxlZ+CF=1<#77*KXs0}~U8pUUe`xr$$K&`a9CVx>$yV(5<PT9xG;m~E)*`O6M10jm9UHodsd2y>Vw{(vY%kR_Ij-D!1;n0~}hIku`=nKvKn;?<7R=?)DIV}Y5#ai_SRBU2b}fVS+1A*3LmFYSAx$R%0ub^RLa>{Bvjz^R_LuELD9N7$)N;lR8TC-|crk#DuB40gdJpv2Mu#IMb`;ONy{=%WB#8(ZF?OW!A_L`Y~E7Lr&P34-fuWwFE>MmX6(Bb5eyR*+-VjEsW2MA>asFr{%^M_6=H-h66w8lJKrjjR0Qfy5I)-?M(2884PNR@hAPe$RLMX5XZ?(Eo6Fp!--B_G3B-$Kg?R?1*_3jMBAEz2%_ln6ZLfule<tAF|b~MOVsSn<u<jouN;vD9WhPDH)r1<uuvz{COjseSSUQVOyX`qIPnTWhaR5#*uzr&=NtLYpLy!g{jR<!%_9;ShBo}1UJN><NpnFjQmlfz13t<D}=fnT-9G3qLp#}74ALi&9P8bK-Io66-f&Pjl1*L&SGn9A=cCe%{eY!@i|-f6V1)kK*9N8H34%C>z$x6hF?LsS{|BYv+&~0Y%-CxG|pj=p)t;Xbj+0vCDo|j?I1dWmO7)yO`sl0?RfOA(qa`GptZ1A*|~9bj6YMIQs*Sx+P9qRZEiT)huucam7=HV?)4$&{EHf=I(;`Q>=!O$49*-R0OVWsR?#Ff^xiqpC%&7S77=uZ?X!%nd@>KftLGyAiP4)jjaV%;Bkfwy*4jFe1%CVoJ<0xTz<)c{3etmTylSQUhDa-)mE1Axj3~34n#jGsS@iQ$9$Bn_3%)%Lqw<JQi9+Ez{r?c$k@yeQ3#b)`S`7T^p-9-|YY)p9XA|uJun&+_bvR(yE*OoD@X-*9FH0{xci+($gb?31bw*x3Nm2;V#^R&;pD5C?V(@yCSR)Y!^a#ZvfEwg9?M==j1cgPI2pM{a{61HTSI-MYWq8-NR}L=@_jb~DucUXTpu2$clD<F<e?-KbYqVYX`>=*q<eYpySFgM$N}~O^lN+3SVR4AEbQ^pKuA?!Bw<yDLOltfM^<Yp+5gH#HXAP-+jXF|9bp5+wV(YgTU!PEsv+KhL9BQL#?1L)kTZJp#nNVzgtJ!+l#j%gdAL5RYW<flA(<N7@#Q%5ro_SDV%-`vRaBEz;BxEA|?Kn&lUH_U>fTwHqqol`~YcDFZ=pE&{WyEj@BV~-Qb7Rp#J}?K)qp<;^c))t?3X^vNxn18X)>M2)>8Q8xmsRD*KqdpA!vC15I2eh6rGLyh)O95b@IWstijl;B3;*JY4$2$Pdx^Lidu!2R(9U@9!@jttPB%cp%<s29fCrz~;G$_x@rNov#Kh74OiJ)PEcgZnCeqVub@we19}W$|*v2srkRvK<ZcRCZ=5%v51M{h>;H<A?tES{Obqb?*k-fn-JJ;4ciU3tF0NTYLj09sa&m$S=IkKei^wOx9cGIEV_@G!QxS%6b4Rb=n2V$HDtmMh83NUov&Nd`$IF(*36*6J!*T<2+A_I0u6w#f<y>U?_IHFyXr%Ja`yB(Kzbji7LFr9oJ;i*V^>Q_!$Km&=zNQ@gC4%Q$j^953*rQ1rT#zR4KID+F=Q+UGj#uP@0W=~fpQG6sSU;mGh=`|Gag6525B3rtoLx!W?Va5Y1kej0ffMU}%wI%y)3CPLo_76DIjtjH{;kY8%Gc_(Nc1$8Lng2wPb-7{m<xZ{}ge3G)dLTCYnpcHmz~1XNp-eit2>Naci%$lrgX*}BulE%GXV)xp+-Zesdm;l)FULuYQ<llwt-!<qDD$~=hlc9Fs$L>!K_KU^da^XF8631isuJ8CuRA7qeh=dBCa)C7rSzxZdp&+3A`xx+v7*wCN%PHMZqWy53OZUhp3#Fg5pYqPBk=DSbMIz4!8tzsKXD6zL#KTPcN<Y{zAHYW1hpY-c03ceq1DOincn3cQA#xG;Io6dn4{IvJq!(J+$vOweAPWqb`J7b=QKQbBu7W(u<3uyUG-k1UC?~+<L@urPUB+DQKndZM@bM35^yhk`+Pb;y#D0{4<!ewgs59UEJgKQXM=m4tTa4572`@Se1X;|Bc!Ww&<LX4U-nkGS+AqIID}J9cd9^lMpf-poWk@(uw8ydy)5Z*1UFZINaB9TU8UKM8NMRss3y^YxQbJ)ky%OIn~0SqG~HSg2mk27iaBtFv>RLIlGU+g-js$j*`I>$uCn1mAbJvqGESPEO5350hM|<k)9VG_L9r&fDirRsc8;;RGJ=vrp{!cCW$RNg{||a#X0Voe?WG+cqz~?WuXW$RRU>V$JYg09%9MxZ;+8ZBL3CX|$m#xru)$)&KL3mWcTQa3b90}xZX?LhhOzQ!>q~1w>kTh}i&zInMyVtqq+VfRbK9k2+MI@c8$Y}^oZR{v-RDp4<NQ*~&eRQ)Is7hvBiBE&4W&c{pKo%|?Sg^M`$MJNzG*CWPf^l$l=G(s;}y!$P+tyaT()b#LyBojtyKPG<e^aEI~Ij@@3G<vQ+tEC+0oG=6+HmXk>U=w_k+{LlQ~3&T3<(aB?@!SIPS(jZmlrHKR89bu$mOY^hK1pf2Ar<tQRF~>HuEN_J`|4vZ;VzX@<UwA7X4#>FM}8c5S`_hwj+U@J<H)3f+Ecs~9C&rcdW|YOn@W%LQFg>M?FSIf_Um{l5I9K8zVbv#4<fkbXIdZoBdFy&Sz(EJ2~I#e7(WD1wGDMJ;Ey{(SXs(*PC#ZV*C9%LL}AHTT*yh_bZM9z^^spYo~#ZXzZNXs>Vyh_hSIhpXkkYOw%o?fFPuN7tWRsjciwk=cGeTv}X^pdR=h$t)GllhD1{&L}yp*PFJ0_L*N$4^tUgV^+9^wUSCjGCTU=Ef>X$gx;XUwNCg_g(q*s8e>gSss-^*qq~MqTG(}-Fi<gN??HHBGA|LZMWXfQo2AYW1kZYub`e*tx<MNSSQamD*ni>4ITY)R_xsWO^O>&KD}p>F4DGU|qH?x%jAFM9<X>Rm6W0XyLJ#{=lzg(?rv-=Ccc`=8k3Iq`rT`E?MJrigH4=^%jwQ0q!FLd3HK720_XaDgvhXY-XLlDb%!ssx)<6>1VmqBM%XnnD3ITM{Lc{Uu7N%-XJpm0|YzAkwOxUGg+oaoeX*lu^_U!=Ww6)19zg(X)IDDf-!Wb|MeX;`HuO{Q)jhg0%?ZFH&0Ll)o%CH8D75;41W?yBVtA=Ql$-BCyQEGCxhUVu#4O1bB*jcXNP=Wa4wNQVO3?t79**+6b+g$?BJ830#)%uLM(tQGHo1S#^kJ1cQd-Bj_AqE3rJl}DTm?VRW1)JaAi1ZVdEq#yg+3<3q9snWQnsfd)4%xl^Bl|G71{1jY`!Vn9OJie8Iw|ErGt=53!W}Mqrh38Pm0-T3dHL2}=riCxFXM+ou^Nl;5|3}Ly_&tp(ciNuakiF7mIRSh8<FO95wqDGfPr|D?8_|WV*10bFoS9^@I|If9NXlqJNIPgeXJ{ZP68nm>es**s%2e!S-Tav_C!%QbCLalr4>Qk$^bD$TvF%KXOKQh(FH4c`s5Y`bCN6h#Rw5x561hecH!8khd`rhRe7g$Jnp#3OU=v=nB6^vYXU-r=Vv_8P3xWu*Ch2?#xHpEFY>mPW0a!w2q??_PZUDo_*3`=!S)w3{hXNz^s`&4ZXj;Eba?_`&VVF1ssnfu?h|tZFTK#kJfzUy?EhLxo?3FB3vg6QVW%ay`=-AO0S}okqGsw%f)2Bm;(J0)t}F{DWbZ!az|z~g?j1rkE0FFpY4{~0=wiG<$L~)OO|kg{L*uXFf#2uc_G0K(C|Z8Af@}&FbsgzfXX}Gd=x*EIPCo-jvl0boSRTRPFhFRTKo$o^xc{lOM*-f<AjTE$N|!HoI!hCywetQqY1>vH7!5vQ5Mj1GK2q2kh$HHLQyDQzW@^O6@J52b@Q3xU@df(6w5fWJE>KHPmX((S`8rwN<NBIla#?T+<q0M98}?cgUp~roKG%8lhnap&l%|vY<Qz1U!Z%V#pdP`h!zKZ7F!-%^(l4sC)t%eQZZ9k6i>jMDOwVfO&t+X$vt?;oq^D8lvboTv0T~{Xh8r4CqO7${78V)u^QQnHTEt3>)u|PT_-QZ{93Rtz7N>M9bZViq>QdM+xer;A)>n?ux1MoM#{0KkSzi&2o`N>2(gCbR5w0<^+51U?qx)QjVV}R2c@_Myokg$Qwiyu+^NT$y6?Vp8S_7hc#+<1<O=%xy#c-Td2q-f-t=^?#J$9zUKmr}MlNti@c%$-Ba1*?kC+QScFPb_<%|d$EaictSl_ewv>jttwB+lTEi@V@4XxAUK3v&(-D-qRMfA-5W0?y->O8|Nr%*J{}>wfp%d1guc;V`{?)K4_bQFl0I)ebQQ&&o@|3610uFGL72aNq|r)2j2GV}{vyfdMvxqi@K5TxCnp|2w4o*k;D_$8z|uv&pWRU2euMFs5&G`KdWIdB6Ib?b%`f`qhMfzR|p1jo~e%hK#n!B(B8}BbCa}CPZaYfvVMl2@$}nA+>Yu{5N*FJ(0T^G7?HJG4USsD}3Ah@dhP5leACjlG9lZI<K`2^?Mg#gVGMlV3KA<G5_*|pTxRk6)GlQ2d3Pa9R}0ILe2uaZ$}=VV&wBRWpN{%YH{yWLz8t-OBB%gry)dPo260SSB!_Dvx52&LMcw+#fYV4ZtHQ%>QGp*8-4fwfoo@F4f8RO%Y~R@hLo>1<yd_4(9O0nl+}NV`#KE68TdcE?6pc@DxYcgOhKG;Tv|bO@G#nqa#NgwSEiKP0#pdQ8Y{RFIEp+oFP@$|Tl5cD6zBa;S6fRiKIp}97SVterGNKT7F75y@@t!HOg5kjY6_<zqwc_Hb2NzduS6z>RNm9EeM$P{%^MAHe72akp|zrFo*_A<)vT%{!@G5OcU+c5O;>_)?|U1NZd&3e$iGFnh3vHjUzd=H>J4ob_T10{mQIx&Y7{4q)e~<(Fx1uc^csui&qjD!+@12_)@v+!Jw@K^?HfEfCqNLx+f!H9pdb7P>6{)Z%Ot43Tst5O?TzdK>}WGrg!CRapnYr$ALwb^JP<~TTM|MPMm0dfWlMKes7hB>!^Yky9O%3$IF5V(CZPw|^R_eCex?Ea;wo%5(xT+-4JcIjTzz(&MgQwV>-828QU-1J$nub6M5#otF-kPG(SEONAxUGBnzpL@%G&wil7s35)*@c_Ofq>Tc@dSSqmQAn_uq11HlA}#QcSxqILF(hI4gv*@Wh(OTg+(8@MR>dyANxsBC4YGcFs5*UW`N(-}*@FK4PUt+jHz8&mw1&v@CqOIE_^kMfkhkt-d(9{PWL*>ka}pmPNEmP~3RP4ej?@Sx90w9@k#YN}i4*A^?ADY?;#456<847|@;Z66o<^K2@XsAmYl*-;*gDMx!Ea(aqK7z|i0k={~kJ#6)Yok=tiz)9Ri-z#oZW+qRU>zNs)Yhn^?Wzf<fRf9yn8<tb>W*}COl*B*Bfz-X$kR)@jAU|PwqzT*0yoDd0~OePxot!6Obzc*PE!S2_<#WAqw3)+aZ@Pc2May{C6_--%ZYbH|z?f<kD?2o8J;$^FlRSGku_uv?Rd?FWF^!J(s&vQFyUpoCtlE`E9-N|Z?(H4<^(CH4l3$^f371yG$vTg@&=ffsrIXiL>J7Ih`hT-G%pDfeh3lHv`@Kat0jR~}T^rn3Mk(N?m9~F3TD|%69AI{!`S@2mzpV1qXSVk#}wRmCR5!tdeICG|YLQAP5B)P!)y&CY6O{#Jo>h3XH!Yo`@J06$M-4B$6JL6WHZ*#lZBB}HTxuNi?JCRQ0_yTV{p!!U_*~Ii4E_B<Q7fm1i&42o!jk`2Ywkex$dgXwHc+t};c?r=eN_Uix8UF>cY2>J*eUBz7xRvD@0to}zV-)^70!ZHztnhN;;T(|NS#xUR(Og>eB3<%4kb_Lsf$5cW$U!FUX+oBU-riZDA|@sYcJjkv=55Ks<<3|UDzz)%aBND+v`ro7gFYUh()UI^J1UE`A2eEPj}+i7=9qnUBYq@yUc6E<GGadd0CTn%=6aNB=rk{%ZpNeu{>Rqot50o(ruoth&ufSnI@~MHK}6GnxhPOnkglbvrIZ;(*6!m&z+9d6ko1RG<CVJ`EwwyDvqD5Sv!21p3t=xc0KG>LZRuo5mk97Rt@zNUAlP|W_W)X2T8SX@ILzuNpg8g6r@Ax5w8)Si9+>C>l@B0fufC0bbl|KdCXz@7!EVysHXFVs>w0`NCybUss>n-kWd^BJhqPlf0Q2i8_kFJ=(b09s$dTLHvR_#*224mtAgxI`0I8<_=sBf(A_3A7)t2w{i!v6d8Ai!j%w1-Kk^K1)KN@4!P<1t@m+M#5Aj-ovw!5%GzdIo%KW*_!((zsdmUi%-QB7DAyajlZ#S0V0JRWjs-C#9|%afI!CRS4oe<QuM;q*^p3)0UtMKPL>!(_W~NQxE&RVw{2zxlNA*(=nUh8wk^3SV(xQXI{e$QrFcbE+R4VN>m6G%`%3GWUC4iLr(60a#TC2D}{;#Gs114ihH;3mt_3OaWq3z&*H8%z|Ogb-hc^L&M%AX1Op7xi7WXYOpe8@>!<DE7Z1;>fcPRW>V=j7ji+^=5peP^-d44ODZ-apEF2{xBI7T;ejryX1&lMPL*W1X8mm^2<MpaAo1~cfD>!2hP}_n1vX7-!~sE$J5qM{Rnini;U9G#R%)Ub`R2-1nbfWm?yGuBlPSs!ypk`Ye?Ug7>_VP=;YFY4NTvK(|7EkoQO6_!7_t*%a!ZsluU2X$su0&{uxL;^RGjR!3(3N>@~y0brcp%YmnWuL$GdG6eI{O)5bd6Hfy&{R_45*PRBPnmFD}}Ec+EncXl|mvl(oz4tLU8z3<tuV&PDn+2Jx0$mvsEvhsiOssr)dGxYrZ<<U6+qWuj7$y@XKN!y*J9hH>(EEy2La>l@@P#b*Y4NyvmIUNF!)mE6FkNK96S(cNSwGf#Z5b%*j-1!kG|b#c^^ia+Bv&9LCuF)>NN09+>7W3WbNMK|RVO3OyO|AtL|-L(8~N_$)}Vusi?;VBp0Ic?LKHkCaqDlus)^iR%=qu*_Ul1^s6zBoK2!!cuR8970`S_}#pLK9g|G%y+o+GMe9)SbZKS+3(n{!!LznR~ZUOSBMo0$zsX`2Vlk4m~G&4Pe!pHnLfPwJoSioV~V!|7QXBvZr2rA`g7h<{Ik>#L-#7qK5`gGW}l2tUrR0c0BnWc6IJ{1oPp)cKjrYTKb}PXsR(3&zd^r8O%DOtB@h9YQD0zW=)Yg!xp*Lad0cxW)|l9cz<;;Lb1rEjmHDc_C&JYSX9t{<Mi(C(p8Dwi-p*lOmf8}8lk9(7W&fy6-61&SPcz6A4gVRW4<=Z;r(={)D83&Ro`W}M=eDLCGPLve)FNm4f@P1L9ee~EFo|P(^kCU(ejV35DJb%>16eK2E8g4K?qPF7Rb6&B**G)sJEqTf(XUl>1J7*spPN@Xyc=q2#$7KJg_^@Y|;`2;-J<RjKqu0@7!p^gck)kT7mwHHS6e<2G0IA*UTQ;GfM0X?>V;w^V#eVull5k;FgkoE{J64e-dY~9rBgxozv`{z#Ud;S7vkgx(Q8}fsX=WrFtWp8eKJ#SfAY*$+)|lxPk92Zz*q_d@O)~*wz2WS&aOF*MnqH`4$^_JG)^7X*dX!dnqy4^)HSJ1!vASc6_awRwQ0N+hK&NSIzEl8G|{p05dto0VjjfpQk{Cf_if@+<^CCz!N8j7VojedG^V>>s+!L#cJK^iCim`gCgIhP>o2iSpZ61%pLcArW6tlArG!-uVztIYB1eIl^{x))1m%V+r9oJ*i%;Gm}@Q$<_`W_K!SRNBi1+Ek?NAsn{b{=CQqHo>&#!`vTwrI($jCk5nvW-zaCUKs%D{cw>Lqv8^xp05sOC|mTn9iF1hS9HZdMrLLzFO<cv1m+PeWW8mUj&YJkdRJ2CVJ71}s594U^d+?A9Asdm!f!bE#VVNAV8S6kia5nsA<Vi2AKamJ7gdjM`j0X|=*@Pl%Em^GRFTvZBpNsAJ@DrMey5>i5!eIwIQMia8Bl~ElxQ(NY#QAO|W^=1kz3_qOwCh4?0CsT8H3^5bPXMVS~av#`n+>(v|H@t7VgEl{X2(C!^Hs1s68kyYN-p7Lb)kDMxl^pI*Fj<U2-w2eLANc+6K33$m**m~tt}m+Hz~W;xD<o>@j}myYc(@StChdSI^Ff;G!Bi?U+TmfoK1lbU(iTM>N6N>Z61sP-2i8?j!Xj&>+~+LdE7ZxQ01-4zZIRFlE;5+#2Yb{2$1z;pC_RxsocpEtR>WJ{dt4e=U`yDujto#T4-=pxb9NY%^AR$|6gn}-7K_L4)xlQD-kkf2eOMX^(auOiavt0iODPpzy{&w><3FN8Gb1kW^PqeCqj^CK%FRnq0*i54Z*+VFK<lK6q5F%HBT_wShXVirq^o?nr8R;R00EF|_o4y-P(iB0vBYQl0ssI200dcD","decode_python":"json.loads(lzma.decompress(base64.b85decode(result['per_seed']['rows_data'])))"},"ablation":{"seeds":[32000,32063],"retuning":false,"retail_amount_likelihood_off":{"definition":"Keep censored Poisson arrival/survival model and phase/rival transitions; replace router amount density by split-half lognormal in observable spot units, independent of candidate p. This isolates amount/routing observation, not silence.","aggregate":{"seeds":64,"sum_seed_seconds":1179.4124057292938,"mean_edge":509.47454,"mean_retail":538.207261,"mean_arb":-28.732722,"mean_rv":74627.722238,"mean_av":24341.512296,"mean_fb":36.780693,"mean_fa":35.861577,"mean_sec":18.428319,"sqlogerror_sum":1.4947086899145101,"callbacks":653878,"pooled_RMS_bps":15.119238465341976,"coverage50":0.6904239017064345,"coverage90":0.9468341189029146,"mean_posterior_sd_bps":12.660911847638415,"fallback":0,"poisson_calls":14988084,"closure_calls":864472,"tp":187916,"fp":28507,"fn":36808,"tn":176144,"gaussian_tail_mass_sum":0.06805075674038552,"mean_sigma_est_over_true":1.0120072166455374},"repaired_minus_ablation":{"n":64,"mean":0.575184,"se":0.070847,"ci95_normal":[0.436323,0.714045]},"oracle_minus_ablation":{"n":64,"mean":6.455467,"se":0.187324,"ci95_normal":[6.088312,6.822623]},"columns":["seed","edge","retail","arb","sqlogerror_sum","callbacks"],"rows":[[32000,517.978,547.334,-29.356,0.0289089137,11762],[32001,549.948,578.618,-28.669,0.02332429,10771],[32002,407.63,433.996,-26.366,0.0217336103,8451],[32003,374.052,395.771,-21.719,0.0192844965,8413],[32004,391.248,413.973,-22.725,0.021903924,8513],[32005,382.356,404.281,-21.925,0.0220886402,8351],[32006,432.231,457.68,-25.449,0.0207091936,9503],[32007,450.098,475.425,-25.327,0.0216624787,8978],[32008,601.25,630.573,-29.323,0.0264016102,11476],[32009,611.902,644.441,-32.539,0.027349864,11599],[32010,437.922,461.958,-24.036,0.024584363,9642],[32011,646.648,719.513,-72.865,0.0294929882,11532],[32012,675.47,710.126,-34.657,0.0257071753,12246],[32013,448.385,471.953,-23.568,0.0200960912,9359],[32014,432.732,458.736,-26.004,0.0271944771,9607],[32015,441.27,465.966,-24.695,0.0214229036,9593],[32016,481.61,506.811,-25.201,0.0217882601,9476],[32017,424.466,450.502,-26.036,0.0210537119,9024],[32018,593.067,622.512,-29.445,0.0255809261,11143],[32019,484.815,511.712,-26.897,0.0227739006,9457],[32020,623.723,654.525,-30.802,0.0226681001,11289],[32021,553.7,581.601,-27.9,0.0240784237,10350],[32022,664.617,695.113,-30.496,0.0227809971,11944],[32023,574.079,606.442,-32.363,0.0257700099,11304],[32024,556.013,584.714,-28.701,0.0235032292,10929],[32025,550.814,577.169,-26.355,0.0203795311,9929],[32026,434.547,457.526,-22.979,0.0228670711,9606],[32027,521.063,550.071,-29.008,0.0235095657,10434],[32028,633.449,666.066,-32.617,0.022934972,11241],[32029,411.027,433.093,-22.066,0.0216209957,8251],[32030,381.363,405.887,-24.524,0.0198079064,8784],[32031,455.151,481.139,-25.989,0.0257818384,10104],[32032,624.141,655.918,-31.777,0.0240273589,11970],[32033,434.387,458.584,-24.196,0.0234540575,8902],[32034,593.746,625.897,-32.151,0.0264652294,11188],[32035,552.247,580.65,-28.402,0.022236766,10281],[32036,413.748,437.599,-23.851,0.0211301976,8508],[32037,405.391,429.275,-23.885,0.0229385753,9019],[32038,529.989,558.52,-28.531,0.0212415104,10150],[32039,410.047,431.793,-21.746,0.0247713051,8635],[32040,444.087,468.763,-24.676,0.0229456559,9375],[32041,805.906,900.446,-94.54,0.0237519687,12258],[32042,534.808,562.916,-28.108,0.0227772677,11023],[32043,369.055,390.926,-21.871,0.0240515538,8820],[32044,521.163,548.261,-27.098,0.0225039998,10232],[32045,653.287,683.736,-30.449,0.0206941134,11810],[32046,637.265,667.759,-30.494,0.0259477895,12090],[32047,432.017,455.8,-23.783,0.0190510631,8835],[32048,500.868,529.184,-28.316,0.0236525998,10438],[32049,600.054,630.73,-30.676,0.0264048474,11969],[32050,478.041,505.421,-27.38,0.0265396995,10839],[32051,635.514,667.191,-31.677,0.0237604829,11826],[32052,634.129,664.03,-29.9,0.0258093945,11818],[32053,469.283,495.194,-25.911,0.0252503972,9973],[32054,381.72,403.467,-21.748,0.0218420478,8814],[32055,543.602,572.618,-29.016,0.0252836081,10915],[32056,567.906,596.715,-28.809,0.0248071139,11705],[32057,482.058,510.519,-28.461,0.0246375384,10087],[32058,469.676,494.864,-25.188,0.0213535205,8661],[32059,577.531,606.737,-29.206,0.0220012735,12199],[32060,410.954,434.328,-23.374,0.0194867169,9436],[32061,467.86,494.621,-26.761,0.0248562331,10668],[32062,522.018,548.058,-26.04,0.0216348449,10146],[32063,359.249,379.52,-20.271,0.0206355007,8227]]},"entire_observation_repair_off":{"definition":"Original grid-B, same policy, constants, initial state and seeds; original rows in per_seed. All replacement likelihood/silence/rival changes disabled together.","repaired_minus_original_first64":{"n":64,"mean":0.737917,"se":0.131644,"ci95_normal":[0.479894,0.99594]}}},"training_search_log":[{"run":"train","seeds":[30000],"nsteps":100,"mean_edge":5.5933907997023855,"pooled_RMS_bps":13.679077630114422,"sum_seed_seconds":7.00283670425415},{"run":"train_full","seeds":[30000,30001,30002,30003],"nsteps":10000,"mean_edge":447.82661404970855,"pooled_RMS_bps":15.213415735721519,"sum_seed_seconds":230.72648191452026},{"run":"train_coarse","seeds":[30000,30001,30002,30003],"nsteps":10000,"mean_edge":447.9375109391112,"pooled_RMS_bps":15.232601826745068,"sum_seed_seconds":88.00088310241699},{"run":"train_final","seeds":[30000,30001,30002,30003],"nsteps":10000,"mean_edge":448.01031975356864,"pooled_RMS_bps":15.234606022180657,"sum_seed_seconds":51.657262563705444},{"run":"train_normalized","seeds":[30000,30001,30002,30003],"nsteps":10000,"mean_edge":447.9649531600095,"pooled_RMS_bps":15.218543420175688,"sum_seed_seconds":85.38730549812317},{"run":"train_original","seeds":[30000,30001,30002,30003],"nsteps":10000,"mean_edge":447.43878169414097,"pooled_RMS_bps":16.850461509642635,"sum_seed_seconds":15.476496458053589},{"run":"train_oracle","seeds":[30000,30001,30002,30003],"nsteps":10000,"mean_edge":453.65633083291857,"pooled_RMS_bps":null,"sum_seed_seconds":0.396923303604126},{"run":"train_diag","seeds":[30000,30001,30002,30003],"nsteps":10000,"mean_edge":453.1891968113497,"pooled_RMS_bps":14.19030106960545,"sum_seed_seconds":40.48828363418579}],"training_variants":{"train":"100-step dense smoke; no timing clock waits","train_full":"33 rival nodes, log spacing .001, 5 conditional-size marks, 4 midpoint phases, no paired price quadrature, pre survival-complement normalization","train_coarse":"17 rival nodes, .0015 spacing, 3 marks, 2 phases, no paired price quadrature, pre normalization","train_final":"17 nodes, 3 marks, 2 phases, adjacent-pair price quadrature, pre normalization","train_normalized":"final frozen filter; survival-complement normalization","train_original":"original grid64-B defaults","train_oracle":"true-p/true-flag frozen table","train_diag":"true-p/inferred-flag using train_final pre-normalization version; no subsequent tuning"},"numeric_dead_ends":["No policy or sigma tuning performed. Dense rival quadrature (33 nodes, .001 spacing, five marks, four retail phases) costs about 50-68 seconds/seed on the four-seed training pilot; reduced rival quadrature and paired price-node likelihood used to finish within the task window. Compare training log, not evaluation scores.","Pre-normalized midpoint phase quadrature failed an analytic normalization review, so it was corrected by the survival-complement ratio, refrozen, and partial filter evaluation restarted.","Rival moment closure, loss of price/rival correlation, coarse phase bins and grid endpoint clamping remain unresolved; no assertion that the exact likelihood or <=2 gate was achieved."],"validation":{"checks":{"amount_density_normalization":{"cases":[[true,99.25280548,0.13033970848769658,0.8696602915123512,4.773959005888173e-14],[false,99.25280548,1.000061069650049,0.0,6.106965004892828e-05],[true,100.0,0.9999999999999979,0.0,2.1094237467877974e-15],[false,100.0,0.9999998741708047,1.2582927083615303e-07,7.549516567451064e-14],[true,100.75281954,1.0000610576651863,0.0,6.105766518627043e-05],[false,100.75281954,0.13024661377735855,0.8697533862259581,3.3166802637651926e-12]],"max_abs_error":6.106965004892828e-05,"pass":true},"first_event_mass":{"silent":0.449328986736979,"first_own":0.5506709985784634,"sum":0.9999999853154424,"pass":true},"complete_event_mass":[{"first":true,"fill_mass":0.5506710132646393,"silent":0.449328986736979,"sum":1.0000000000016183,"pass":true},{"first":false,"fill_mass":0.4511883431874234,"silent":0.5488116568139054,"sum":1.0000000000013287,"pass":true}],"censoring":{"row_min":6.291463541807651e-08,"row_max":0.4676070729430415,"silent_vs_no_retail":0.449328986736979,"pass":true},"old_fee_pin_signs":[{"sell_x":true,"pin_ln_price":4.61056606477607,"expected":4.610566064776069,"wA":0.8521713352882744,"pass":true},{"sell_x":false,"pin_ln_price":4.599774307200113,"expected":4.599774307200113,"wA":0.8521713922005794,"pass":true}],"timestamps":{"t0_diffusions":1,"repeated_diffusions_added":0,"diffusions_after_gap":8,"silent_steps":6,"pass":true},"hidden_input_poisoning_and_replay":{"callbacks":88,"max_error":0.0,"poisoned_fields":["init sigma","init lambda","init size","arb flag","fair price","rival spot"],"pass":true},"pass":true,"seconds":3.6619303226470947},"stdlib_evaluator_smoke":{"command":"AMM_WORKERS=1 python3 -S evaluate.py filter 30000 30000 out.jsonl 100","completed_seed":30000,"steps":100,"seconds":27.54646921157837,"absolute_differences_vs_accelerated":{"edge":4.562394906315603e-11,"retail":3.665068248892567e-11,"arb":8.971046128181115e-12,"se2":6.732632572108155e-14,"n":0,"cov50":0,"cov90":0},"pass":true},"portability_repair":"Python 3.14 default forkserver was denied a local socket by the sandbox. Evaluator now offers AMM_WORKERS=1 and explicit fork when available. No external service/quota failure.","tests_are_local_evidence_only":true,"packaging_checks":{"source_files_hash_verified":7,"decoded_per_seed_rows":256,"ablation_rows":64,"unique_and_complete_seed_ranges":true,"edge_components_and_paired_statistics_recomputed":true,"pooled_RMS_recomputed_from_per_seed_sums":true,"JSON_parse_Python_and_Node":true,"source_quotes_refetched_and_verified":5,"extracted_stdlib_smoke":{"steps":100,"callbacks":88,"seconds":10.762603521347046,"bit_identical_to_prior_stdlib_smoke":true},"authority":"Local self-checks only; no independent behavior certification."}},"compute":{"item_seconds_since_first_source_download":2312.2602977752686,"state":"O(64+phase_count) doubles for posterior and rival moments, plus scalar history and 64-bin work buffers. Python object overhead unmeasured.","work_bound":"Per elapsed step O(64^2) diffusion plus at most 32 paired likelihood evaluations; each O(phase_count^2 * 6 * 17 * 2*3) sparse hidden-order MACs plus exp/log/CDF. Gap processing is linear in elapsed timestamps; within a 10000-step run, gap <=10000. No Solidity gas fit asserted.","evaluation_runtime_versions":"Python 3.12.16, numpy 2.5.4, numba 0.68.1; stdlib-only smoke on Python 3.14","timing":"aggregate.mean_sec and training.sum_seed_seconds are measured. Full-evaluation processes use four workers; commands segmented to <480 seconds and JSONL checkpoints flush each complete seed. Stdlib path is correct but slow; optional numpy/numba acceleration not required by delivered code."},"reproduce":{"unpack_command":"python3 -c 'import json,lzma,base64,pathlib,sys,hashlib; r=json.load(open(sys.argv[1])); a=r[\"source_archive\"]; b=lzma.decompress(base64.b85decode(a[\"data\"])); assert hashlib.sha256(b).hexdigest()==a[\"uncompressed_sha256\"]; p=pathlib.Path(sys.argv[2]); p.mkdir(parents=True,exist_ok=True); [(p/n).write_text(v) for n,v in json.loads(b).items()]' result.json handoff","offline":"Only Python stdlib required. Optional numpy+numba, if already installed, accelerate; ImportError selects compat.py. No downloaded package is required offline. Work from unpacked handoff directory. AMM_WORKERS=1 avoids multiprocessing requirements.","commands":["python checks.py","AMM_WORKERS=1 python -S evaluate.py filter 30000 30000 smoke.jsonl 100","python evaluate.py oracle 32000 32255 oracle.jsonl 10000","python evaluate.py original 32000 32255 original.jsonl 10000","For each 32-seed segment starting 32000,32032,...,32224: python evaluate.py filter START END filter.jsonl 10000; python evaluate.py diag START END diag.jsonl 10000","python evaluate.py filter_norouter 32000 32031 ablation.jsonl 10000","python evaluate.py filter_norouter 32032 32063 ablation.jsonl 10000"],"resume":"Each evaluator invocation skips complete seeds already in its JSONL file. Avoid simultaneous writers to same file. No command needs >8 minutes with acceleration and 32-seed segmentation. Stdlib users should use shorter segments."},"source_archive":{"codec":"base85(lzma(JSON filename->UTF-8 source))","files_sha256":{"original.py":"9e5a2bd079e2c5a1445fe32db9c575a8da36b8a910cd2779cbc41070627f2810","repaired.py":"038c0a5ca42aeeb42c08e0c2bc9a4809a493d50d0e468019d7c8510f2b8324fc","evaluate.py":"fb0938e4aba18745414284528d56a9969429ad1ad813ee7cd6d06d36258a79ff","compat.py":"83db17e6ec057fb91f436f1f636ac17866809d3d6401ee4a133896e85f0e75e8","replica.py":"d079712fa1f4850ad8337e656e7ee8dbdde806cd4762d597fae50f547ef9c7c4","oracle_table.json":"3e9d1fc8874c6d796d4c26948d486b587f2a6b5610b20fba99923a60954cf4b5","checks.py":"cdce50e67b44f24422c9fea6a6859028df79c130de58d972b79b5fd89cac25d3"},"uncompressed_sha256":"d287cf67fd4ec46433f753c2c03938d80416e1e367290f5ee8ab4a01e9ea579c","data":"{Wp48S^xk9=GL@E0stWa8~^|S5YJf5;HJSdl3f5jh>7Q8$A=_?BPL`axp*E8-?NYEVskO{T5#3puxAy%_rDT0oX04tRYi};I3+B{ztY8FJFjl<l>=}7Z7I!;-(1-Hbj`7Ci6F-+ZZamb8<?5*sl&q&_GTEni#NIeb*%aD!nsCe4Vec_Y}(QTgUT!>5;4P;Eyk?zkTWo1BJ8r<`}EO1Xg@RmSp#+WX>P{C*#<g#7Rid>+D)k8c&}|<kxI}_mSAc_LJ~73Df@=op|+6K#r%-t#+Bq_R?6-xw4Gb6o+-k;_`sDCyu0(6Gm3ss!KQr8nVDCEU_wfv3GhTuarR28c~X9f{v1V*US~||R4Q~y$wGY)yJ?n%MGbRomIv^{1d+kQ%?|-*MQ}SARb$_!YrW%MDLp2Ii}YCZwAsN}_fHVZqj&3NEwkGMhOE1VHXx=(_+t6327Fs7m5}!kHV>*{Wc-+63b%uDTPd#PbUa1+*A*AE9Fv>N&e{Ct(F0vmuMI&cOeqN8(F7Tf6z-_}o|A>BZg1o9gO=m<Pa2ZP48pbPdRlkNMp~v6LTTnl7Lt$oERi@RW@YT#bE3iHZO(Ba+`J??uYt_^Dr<G~!*nX#M$jGHw=QhiW=uHNTK{}Mg4v;Bb=|RpR=BEdk9^^wa#61z0p8%>!uG;H<98lR9TgI9LM8{?3Lv#dS>DHAuQi3*Hc_LJxlv~s^@55o;Fd{>SyyNh|7ZcSX!M6+6mjO*;eE^|feGePMtVfPx$Q`wCf=Ar);sLJzpTND-A84Sm_6npV?lxHUmuCA<u-5Sh%0A`v-{;@m2Mm7>b9NPQD(=Hwv9nOB|Z7i?W@YipPut%zs$VQCA)DGLTgS8aoO2lvVuR#xlB)lMFZ$GHi-4QYAw|z(J1~*Q<JUd6(QG!XM02y(imB14K9$45uI?;3WK6uTloAxHr8);`c%Af|I^8?Pfv4>b`95%)zA>vTVUCN{Ox(1)RGVx5(tPU`luFYtF%yT(qS-8s<aa=Ykt7tF`l)xBJ3|yhGd->s%p~Nwf;SajQ<$5`;u%2#<3jYq5kT;1%3VRPPEsL@Ekj{EVX;5^6z;$X)1+SSCr;orGc)-A{wmYULeLPqVD;!3-yR)T8n&Vl|i#&|D~>ZHitA9h;y4?boE>wJ3%%`wsRyotIa@P{M@Et^<crg+j(XHG1St==?;Ww)w0)CuKpov|1a&|32Gs)v`K;)F{#y^wJV1Q6(mU~Gctbj=W{rzktN{qWEHL*T}mwM{q_&qU)Bh)#RTA+9KQe;L;&njheK=5qiPw8#uk0rs3FdFVTuKv2ZCc@<Xsw!6UNR_n3iwMVBtU(-W+(HuXeTvA|1eXRrJ}xzd*yPSOlH!$JJaS5=s0eP;`si^!>KmzWG|Jgt4>DpJ@MrMs^i$K~C-Cu_Z%1w9OK8V2>~^-eaflSxY>hQtP?ldyn*lx35D5vDD`xIDC8ja*3n1oc3h5rs<JTTwH*>VikC@zfJko{|zSMav?}(iMB!PdyZ(K4I|Dqat|*MaFVX6s2~Fr@$``C)j0ouor_H7LE%@;8!qF?EQK&j(8P1_ed^ay&+{uO)va#2NEmNGQK||Zn!)_ECp25y*_yqtVFE$j|C{;@<oQG^DvJq%dK8S@oA%};prQYMwe*paJkPsz<aovvE)kz$G4gR`$r7TcQi9D&4G1jmrvtII3{Yor?ZG^&2C&wc$jhp&0t3)4IZHo7B2G=Nhb@lKZ$GonGw+*JZN+|rNvYcg2Q=pj?r?d!4|X_;4Y}PX$y}~mTtf$CHODo_j7U01JjFdG3Q}m%S6Pn=3m={Ys7W@K>6$xI+Kzay%RdFYGiE7+bDvhs&f3?rd8B7uw@7dA+}d6kdy_!nO2AGNHi9zphqp{4GirhyW#2V14W_?T53AZWe^5xgHki5BoBU>7^(a%>6P$;AtGae-^2^*Mc6$KhH&>p52Gc(TmWv3Ds-iLQ%qcbqeeOGAC;2E=?gBazJVfVL2!Tx^Ad1$d47vLwXiZJrV>=E^BPL4V)o}as;RB2E5sM05e#c@~ZXBLhhrUEsb@R4KuyPT-H(^zpgnEHhicctG2%i?26Nr%opXE+NA=+)vcU?r{n&+&j>NqoFnluooP>Ll_<3&WjNhfE@F(;dn#2#qEFQdW-)Qa7ULLx6KbHv*g3DN8`uRrdsI-Cymd$*~GvG|3b!qGwU0t#rMjo6Emf_o9n7SC{|!BCk9TX!1hg+ZMAaO3XkOg<)S#34eNQ!|1Ql-FzJA*y|9DA<PTjJ58;DrX+>$H-~zy_4vMQ$VmW&<Fg~3LUtx5zX53QHHZgl8%rt)vO`*C0`1rPUv`Zqw!&7Tt+CR$DVocaJR=n;E;vSPt4zOtfOk4^hqUUZ|tB;f91fGGE;sajgJSxmh88WnAKnHf|jXan0hv*_wGF=<%usL`~rBZ#D(qv*~ojUEiQ$%({%iT&ZCaQwH9DBsW<u2kl*)hh<u(3m%~zoUw_m=3(eIrB)GVg6)TVYe>wjk)n#f11ZfQ!IDmcrc&e{Usn4CRQ~KK1`2TnUkz-4DU=I>H+RT+U;OE}m<C&puQA$@XUqx1QipO+Sv)Uja4kj`kolx<BEu~0Sii6ajIq2?$ca6Y_uF}iY=JKTZ+li5bXYK%c;OF&8RZ=e4Wp%Q@lk<0gpN$qvqQr!8*Ij68?o^Use8D>P<bH{@Tp>8dwa)vg4+@=7283}pavFpzr1DX(mdC;4&h%87D{kx$dDMivispO~I54e@t+{@zaQJ7nr7$&kYG)3HuSsxg=K+VpMEkwXA4+4U>`?6_$nPz_M8MUm17vMjzOHarsUnfMJN{D?bIp7=fTFBX3~Py86V5Qmni1(JQ-#~;x>VxqD|8O;sXGg<IAFjNikdg=<*WHioE}@tiaO176abx=%YBkIa+>2j`*{j$zuBtio_{6&ktbhP!9N9!sx-}Eg9Z4DOPN_5f2L8-PZ2QIaz`6xaA89Xg~y&kIg|@955tVWO9@@}9P8>MdA5-S+cpX212k9O8i|6t>g$#1)K?)`nXG56*u4i&={>B8T26T71QJin*}qR@=?3j<7AI}mg1Bx>!;myvk)gHV)yo#$InugV8w`wuEy*REh{lZBKMGXHtM_Yl=yrHnxB4vIT;6Hj;u*P!6%&EJR@5U%d&U5JjgX#hcUO&+P(DEgOv!zn9u*m;mS)y?_)y%H7Aj6uP%uPR$m)<x=BkkmdOZiq*}TL)BQbe@n1A$=U(?@M|4iA1LR}I<+t>xga2xh-{YMsC#{$#s@lJtn%AxoJ<~}nAg5l}-;N<j{st`=BPK<vatSKaf;l|P_58k=|WN|MK6{lp_A&x(2P_~r2NGtjXJAwb(8W#8?(q28;RKkg)dX|9`$>y|o=`VJgEvO>9-$AeL<PIWiiqb=DZ8!U>p>6*cZjd&;DF!+eTCg^NyOaOIKR1Kg+%EbEJ&@;|99rJ*YGZ?4fDZO5;+Cwgin|31Hq)brZ=e_W)vp>~=c#Dhop@Km*P9%|OW4cP5<AG&@}3%w3?+rBMwTX^6Uh}WEbf1zxN@w1r_Q<m+n!SBPfO+lE7-&BcLejPATvf~6;ha0T9V{_S#-VZ&YTMO{Gt$BGR)jqQmXOdVKh%odI*O-3*Gc2DzME$F2l<VOX2&qE|A#0j=0H<G#xch>>X?KkO@R$bsJlF#2hhc82U3TP<GirD31;gnPmqT$R7D8V<e1DbQyb(`g|!r$q;uX3i(k>2q4*GEHMzHAM|_L-+@Nsz06x6|6ZmaSJI^EWssqSF5(DECWb@dNL?tifW$_S>-0VH(b=x0bFYp*9X4Zf@sR06CRg?&pu?#(cSbk^Q5Y4a2=hI_8)*~R6`^<q=yX2XV?_^~>;{i~DugHaxiVEwUpDj5sX*l0>HZU|r6}f$i}QclC#2Ra7Z#z@L0?oWW#R%)55W%!XunFD4#6-r?)V8ymZ{(=NfcrhM)1EyKJPahnAYrPd`-H!U(NV8il+BzpBz0lf)*lnHow6zPE1tqk_6Ng?4w;CjBv7KjEruN&}bn@Nw#9;UnoBq9~An&&Tqb0WeZOB1$iZ`Bbzdezu<j@B;rcq#3)T|AF}=k`p78=`GqXbh4(+>;2*K+T2n3fHrC@ZY8@U8oVxsp#3U*aeVIrR%I*>Jny}D#CTc8diM>9hYH5a%V5ftKLzbU|Ek&TVq0Cwwks+D(0q8YRU}hJdc{T<RSp3H${XwdCp#H~=-apXuqmwK4MP;^QpC&b6;kLTRzb;|H)8mTEs6oY9f14(&Ti`5!6c1Ts!VQ~|I-yOxvlLfcnrgaej?K=Zo66wWUi#bqu=qhHc!v|xy<fwXgX+erIvW|!(qrLoFYWnm-!}5?VbwT;X|=bVaV?X$5qK`;V5Xu5k>jxBrhBPVnIry_t`@x=5M8HI6m-MG{Sno-3SPwz^nLJo#kITVNNosCXgnBw!Uk~Z_O0^~oWQe?i|`f3%zHD<R#eCRV*&trG(#fD)D9^|#L;W;sv5&eze%)v3+>Ds;rC>4n}(gA9S;jPh$ni$h$m2nei<}n&}-3=GaTa%xNeuz@=l^}!_Fvidg~fr_kv1+bon)4o|D*(@&)g*gCD0J>6~N%;Y=l+Ss;>t-T4Q1nctp%1l49GlrOM|kb)m-ksKBjeq_wnI!u6radnF)|7x8TxxG8zo~FqiCS1*UJ-XpurK}Id{Aj#9wR}VLYrvvzKgSx^?-?cGT){Y3a%HOPnX&tw!OT`wAg!U_22DP70x?{QMtASJ_N>ezhtURDDVjy97lUV3{Q?jN9XG12B8~vft#qDnpKMilQ9V?}3&ym_&V#_WWi|9|OiEAoq;{}^f==MA2;v_;vzd;O3>fn?5h&ty@g;Z&-cvvl;7ow6fj)vho@_Z5UjVjl&+DhUmBXK#ws!Us;kvvgB3J7YH_k`BNUE1s%1YVjS4$_1awad>QT?`nYN7#fx<dSb<JzrD&60=Z2R=x37dqgXO15ofYN%Gjoom-oCOPy9faM0)BX{EWd=T5B)glSp=%UDgHw#c&wuP7RH$i(X=_C^=xKtvtSkM!+41Z1c{sehlUJ!bJhtnc@?6MILDu!p-)#NC13vd{<!jKbh*E_l!eYXS~2V&r%0#LA}ew7#R5Ew*3vVpz?NP5IHXQ{EwCR%|WHaj4%S}5?^Tm^7b5{?)G!0MslIvI<I0169cy{nsGYDo+DJ!NYHvPm^9rT>#p`#1)TQ=uYRYc`C~#5UqUf{|*~oT)nUC8axNt`n|a*Sf4$=PJwE!jzKK%kB5uNn3A#FOc_eD(<9gIvk3qSgvzT+Yf7DPf%6ww@wF;pa2mk4bK~iDJHP~YciM%?C*8r(LS$L{FIB}10ZJ>!q|~l4<A&`ghYq4LPM&)zm!BrI)79t0)2tGrz4l7Yfo*DBoU^;3{N{vdhv&08AMX9y}2(HKJ1^dOa%P2o9j)%08DDPSsFfnx@s&QoTpg6-G{om`zCN`oxL{VqPquHTkuXfrGv*ckPrtzfOQS8M5cyEPR=wKs}nTQZ|&sdfmQs-oougXmQ!y#J;Y;$Y(hl~9*C!|*>0e!@vOg8^7dj$d=j1gI61`ixg{OakZp|H7X1#SLep6E+&YtJ^u^cidBSm4z<~yTfoXWdLeCg*Ey*Ue)qF;zX3v))$uY9&2~JmCgij{~wjJzL6q?34-u9mo7Bohumz^N1BcQ1v5`J^-P$n?>zN-hjW+G#BQ(In;(6DH>ywQIS-K{xAUV5<Y={~L#ZOqV&*y7^ym32OdnJiZ#xZ06JdLT)P2cfcd$J~B=spoCpg&}aiaM*YfbUQA!MIF6h8XIB9dS4s=M%>N3Z0`u$R|GALM!M)>$bx<#9?Ga$au})|pmNCy8hF<MlYh_LjMa<tQ*mE@-Z!%#si%M+(tm^U-5#uZzg9ih;}_EmsO%eFm>nX9NXYQ5qVFbo)9=ud@f~&IV>kUFE-Wp;u0O>kqSHQ`Mbv~NfQdVT{Dchs<hP4OQ5Kcuj5&CEs4`aJn*;ltRTYy2WM9ma0QBv8P?HKzRf;p6a8sRgj~=Tq$bCSgcmy}<OR5XT;R`_eZB)i_4h02X`L;1DiEpt=#zd|;`l>xM@Va%Uc0HG$?x%rYkdK)e@iE^bWNcx97U1WKeOt)^c<>3JkRrqi;hW6^3zEW>Tm_c^^(K=oaB=Y;E(LBL3c>HhlV_7J@*7!!<CX8Hw8aUVkAfUsgn{?>q0!3RdHsrZF?XIsLN>3z1#f}GT(Y}eL>*{5yp8(DO*Tu5v?q$$;R0~sF$q%{T6*yF4scxcq|;Sw6GozbE}y7$?gY$(4zc)3vbzSPzGh`pvR?)(sU!BCKuM#``(bl_ORGu1q>oT_c$~216?gW)8Oz>VLb05Kl%qKqSf|EzCOyqfXw5>du_{2V)doUSk3JkqObHqcNx{PaWQWp>CTkrYvz-4y>RTSHn8o53-)PHb)k^uL9nSR(e^7#X`4!lXqQR*}p}JJ6fW8KbaWwC;`L15Jq#%5M5p2wb`#Ms<#xhNDZ<ZN(ofW1`jb~hFJ7UI1tN`E!051G}PVYS`=RCo=e>%Ey^Hwv&2(Po!#R=b|t0{fm^y;b?;=?6LR&62pYdUbkDQpok+S21)#yedAbO0(rkCiD<X=%ea2{p((%+veje#?!dMUc?XOzynX#G#DT!J)aFz3mzX+p<D6_l$)CPYIRFB%8ZJct~IXY|0He3g-H)!e2OkH9|*mAY}m)<ky-EJY`%?!<Uce%^pw5ie7F!U+k=~@2=EZA1Q2WTh>P#*Tt+6$_pBSA2l)VG}u2$fOuhi+BBcE4v1!9*+Ve2i2fS}v2x5gmRL3yOub!YbsPcvonu*cja%fvasR0Nl-)G?5+jb;=!el3C{vq=63teokB|?x<|ZMjoB(BneAT~EWY9bUZSvw*5lEd!z=Ky1=$^FYeA!iQ)m`aSgYW#IiX=WNpAJv*c4uSl@Wz6Z0k`SgAIdiMuk5+bZj>*)_IAU`ol1+K0}ia!tJ13}!BHJ8XOj{obv7<4)w^%wJcrDz*2VFvc~S3`;Dm6EZ0ZJ@AQF=gwu!U9EX7@}A7!(9p=ITDBv)7L{xzQNv~*mqxmn!x|F&*~Tl+A|q@xrHLzCIF^A>Jtb~xltz$+=+5;AZE#baFunudF_s<*(4rG|A+QkDl*Nh0feE1U*eoS}j@K~ln8XK~9pt>L35yrPcwCv|rzb}HBr(x#ZdMMsYAP7&{dzKySk#o14W1cJcdmB1$4aG9tI1UP$|F%<96e?+e#E~f9D%VZ*g&Z0^UpRkx&3(|ISe|SNTFG=~Yd0uR1=YA*dsl#gNT&0F^{MX=-r_2ox71W5UysM+RX>x_mgI3u-7z;Ui{?a*fp46ILrs4C=U@nB$y(AcXi@abI5(l?7ETy+zVgLc$x_Q+byc83j^n|&C;WYUW30>~lN;=nxoI#PRqeToF^6cjLlYZh=zma5Xd|JL{<FU8a@-M=Z;5oiD3MV1RacEj$dmpR10!P9lszyWliuGQIa#$oYI5@+l{7nfvAXJ!Y5d4{b@s}#`60txlO3~gBTY&;xyy>3H^{=YT6a+?BR}I26+w!hWn|p<>j`V}2I71gXlvEFiVpa4ee7EVG@E<=+l@y&Lzo0?S|H-5=F@Mx!08Q~hC(LgS*cYE4+vPadQLZ7xG&nzab_?0?lIH>O%70s-)SL@gfI<rs*EykGu60FGdg#NCG}zU3Mzou#foCpwPmDHX6=Rmc>O^r!=T86u#z4gsusT?0CAfM$lqZVBY%B4D1Tc~5><-32nPXHfPn2|>3tF{_ajlv&ojS&j{pBs7c8Qz_{bjbp)PzObsF_rYr~6@(I9UqF*ao!gceq%vnL?_eOD2u<g!wJiH!8g#-1+&vePM#m3`8#cx~f79?N?Cxt*XCi2T=TtUq7t!qI~~i6>Cu#-%v*8FOG=OYZDau1*j>jDkk{N@>~C#_ReG7XNma^?tbG9j+Gw%7BoOi6EeZ#v?}w{UbzPDIS!wv8Eq47#CaB6$k8LUB7B}b1?CyuQUVy@0&nB%wuFdXrwu1|y5?pA7MOgfU`Ava0?|9i$m~E@2=T$ybKSZyv5kAp{$RabNv~W4%wBP=q&BhqP|-Um^CKj+USZU7#io6OkXEXJW$|4k*m#Yx=^7=1!lQo;=#A3f$=lks6F+su*vF4ddcDPgDq)yT*?Vx4<^L`lAJEMzY(PjU77g+bhuCqElHvT3n!BGIxwWvQ{`jsTCSTLWFtRe2OKaWSxRPn)=7|v^ymbM{UOkqDB)vxoEW+|MR9g2g4$&5HK-cz6<pfi=)t*Kq@#=r2JB<r9_$<AuPqoh|=C7$5f~l}|sW{kRvGz3p@R(^E_J3FiYG^*xZR$RZL{f|a-bd{YSVGLVe~4`C2zv5b9G)JW1rMMuYvMOdrWDk@edv*NQfQD-V7;hGXVJo{WU-L(tqS3Rf(?n-IbMIaSku7yyfTNsqZ6zlT{9nRd=zv#t9PD&{WUf4CxgC2?b?G36Fgd#e2lH7EU`G~MxSc1pgMby*tns@jdc|1Ke@sIw?v&GUt4XN+&b$l?~G#j&nqVFEU){6@5ta-*cTXE?JeNu*B;%1Cbh)gZZt?MnKVL#Vvp+cUR8-Sg8gK@RPuymVRsaaIeAI_6kkgoj<t|okBiir2X`gArMW4aX)900nV6r7?MbtM-Uzyo$|k<k(O<sJNUgAM24__oc%dr|1xV+!SV=UB2L&T;0*Iu~1c*FoZ{iX%a>Q`cGHBDu!U=xwDBX?I(QuAHZs7rh%?U%v)4JTBu5tH0pjd!R<3v1+F4y&PmBrj~k!DDV^FP^EN)e+6uPJ8GiTbmP*_%>&{o>n$e~d?*Ph}1b1Q_<^HU&Az5MWs<`uWgr<+ID)C`13|J^Jv51U8|`?_sV^Dk8oOP=<H)G>8%h!INttvgsLcli+6thcA!4)%dnugq#po9NWH})B*@_O}U-u(MFdt7i>S{tLAIS(g4eOl-G8%3$v)G+@$1SC+GU0kqQ!-nTV%Ib!jPIo%_X4P)+nqmQd|Cf6GRt<Jb36s&$Zs0aQn0-af)8ILHq_3Buuk&--F}Eo!bp?oaI3nAtJMY>g>q0Y`39dBI=hFHCCgyXQ@Xxx}BiA7v_B8T49Q#GeVPpxuXoxIYuGZwc!u!T*M~mKL0M)V?o1N23rDCwqFgy6D@2)YOzC0T-qPMlYmlA0A~>DIUA&Tb1LDKHX5)!{p|yqn7;~-qbzezB4rM*4~I>j^%`|@GR0uY?Q$6&Gzc!`e5wL_mA#E&IfBkMpwDe-FVA0Ap9f+z=%(#T2E6*Y-fFH5hhzPsRRA1B;=ul_lIF9!fH@7J(eLONE$;0k1_hU1*r)X6z=XTglDF#Pp(xRApC|1T~3ZeUTwjoVPX|ckdaf;a63pcF}$47Y;rI=(mO+$^G1wX(=20SsU6;xY3TRi<&AVCse(!TyPE5dAPw-_Jt6Pm*KqDTO=AmjgaN`$=z*9RRp;TOqL~@p_40Q$G$CB6=Cm~1Og=nZ0X=D1wY&I5W&FWFScC0H5gY(~`C;2JMxj(V-fc_mQ6vW~!&~QAJ+i)t1ZImb3|H@}3qMdi!`XPf<6497@Z;Xs5o^<VEH+Y_Vbt81H6yfDL;y{8AZzjpjV?lnof@H4&{~6K9Q8;9GAx(#0*E!!hfPQe6|35l!pE$^Lm$k?&uFNP&r<=16z{4OpxNP+hNiuT>@#2|B9Xp<p6WH}dd0IXP&zpBgo#>8c!vu5zJ|=FJbLFf8Iho|1sY(UacwP95dTswJfwc6U`{?^LX<PMS2_y?s;cr1D{Iv%%4)a7QhW8KG+OWFGYa-(g&MZSOToUo0SpudEETTbf;aX9ouwkj;6{uMBKw_?=q2+a5I#n!s}cNtZkyG};(dVRTbT~Prw<rOR)Je3b1i^zT`5Qevi0pJ>F^R_iZPf7_C-njbzz-%zv&0JCVQC{8)?v%*0PG-y<D8wykrz#b!xyL3&$UFpGhI^uGt*{IsS6}ExkBKUSRqJah4BRPXx)oFc}3T?N1A%r5bYIcppV^e%OK4tReMR`Vtabc4o@;JEvOW*@>hsQ0lm=+8!z`yxw>`6J+&v8~ht25K<f;_MO`oi8H>suf7(?{6kv*xa<o+E6g><D_PCsyyk`f*zyw7l=WK$)PN|8|4n7!6lay*-!X<N02y?xb+=ec`q`SQ{AoXU9E&#>;>M%VY3fgkcv%bE*H4d5JzT6!!{0N7H6-I<;m%>R0&i5Bsl5-wBI&501V8DOMdh`b4n>>jTLCURyz2aP=iBz?g3!nq?~n^_UWk7mkf{4hzV6GeNCqf>my?x);kam%woOZBHQiyo&>Xds7M``wr{ExD&GSV0%W8Pr?wvjVmQ3*q5t>-b_gA3JYbr-{$_2EGHX%334B9Sa^jZ_4-SW*c9FRbW{m(B9^M974csytZhsESn2iF++Czr3b5m4N+EqtF^m+H*i1mf7u2X8t=@8%^0f-O&R>ZpfHv!b@BzoD%~=v=r5)r4O7=3x^_wOfyLld4$GM)ls&*zI$ag>J>+OV8Z=&_r%nQs-(b90X)>U|+UNU+ULF@U~172Cv+kkqJ(((aUOtPTuN<on`IOdac|OQwJ$@A@<B<@#!=q(x3ypR#UXXBcZCrg7G(s$BZ^M@)vq6xcPU~riF8)IS}KNvm&`iUb#r3D$pIuAJ*b6xl51`%i}(-Fp1Dp5~P5>U^+6q#+Iq?vnHQA%$WAj(1lm&&2|nnh~8PbA0(RJN92bk>ud5ai$YE7`v<CRsU8kvQ4i=Opi)G2>kDKxS_cGuBGoS@oUr8$%7TRASZ|hM0JWYDhM4%6Q(|@O-oGY&N$u&Ji(~=~(cO^&6-=P=x$LR>zyuF+s9xT3(Xe3`>8L{t-XHy5JPEy@1G4yL&_{@@r4h<wbMxU`!1_o~?Rs2kuW>20BVb}+iMqgPVT-(T@w*7XG(4-PtKUCnDfc#cJg-IeL}Rb#*7|<QpLM|KVBcIq*r>CTjM?$5LjlSn5)9B`I<Fsd=R{^5cECp-7qN&Ng#EchwaQC5z|&j{W|4BN+>>lXgcRUqoj#o#rZOtw3~vCNuAu7N#fO-4An2?813!k2yicQ^nmV10S@5;&Z!&G2Iz&Xvd38`>c8PQmPg?i#ao#Z30p_umHS<9q+O>k0K5ljxYxfdF^&8M1QjC+@RfE;$zRh8M((;QJZn6tP7;2SiQ!`@2P+`X#Z<{7#01REV-s=MvL^CqR>Q9f3l5MXV2_W+GVBu|w-N{-~iZ|0<-AIXmefR`j&>SpA6Ar>Zd=%yX(uXkdYt=^2;IK3wyNOycw4~;C-);%c*;^?^%264hKZXGlVF2B25IdZ~awXpIWD-(;%ijRIEP1mR?>HpO$aC`JWv6<ZWw0v_>eeCZZher;zQ-)Q&S<MXLnvc$x~K3|uu(k&tT&)cCc}DuMmpzCBlzf4xus9n#zrH(zC*dED_^jG$9ZJQZKn;=8JcUEk2rI!F>@bTcl)c4|K}CMt?DS%+rEStnC~ioGs-C=h)cq?p&kY0VOv62bCfGW|JGd(?K%s;g<7*Nba)F_QC7?p#8jW+Ux^pVQI6p>D&R~!7<!wE$I6yHSWw3UdkkV@I4T|9(lEdhy{TyFXM?TROn!5EK@T1f-?YUQRf{m80KQElW1Onf9N_6PyWV<nh#eRVEe2;cTW;qt$=5(O4WQSa=1m!#d0!L9XUFH-pCdW?Y~|%G+w*X;wNePPO3gH$e`PwSGY^c}!7z$Dfw?J#)jbVN`~B?ISHLmL*AiCJx>j0E`11bOxm*~8Z?Xbz!l$sV$Lduj!t2pR?TED90thLh&Do&sui#9erbE}iO}DYMFXdPpr@sGZ_w%K{M?OW)PKMwZ8sr>d=EsuV;>>5P+RDfNP;xf@J$rcSy_Wy_o?w8^pjV>~VZ}GI=Y{pFIa<`gL$q570(ekxrCz<6{MxWMghpg_*|e;2ZgW%ip?7VnuYbPAEL6tEo~HmVuz>p+u9JT>P&^3f4s)=^1v)@wi&A(^*US|4_{}=tTAKc-zBfcY?d;|rlg1R2?7nIXpI#u?^a7gHd8H4-PgOTsi8H*3=>75LtP!As*&_o0A&ZfQ1%m{QJ_X-@g%axh5~&3tFeQX{LFi6@sW|qo#qIrkTg+R(4Raswnb}l}aktlviFr1m$udtq=cY*D(yV}3bO`q0qfG+2Lg}#K==zoi)0$-6_fqe0or0`<DHdG8(|muWLS<Jk@pkkuEVZkq@FC~zL$<%G_MFSP?Pu<o-OB34L2A;IXMvxmSyW$=F=b^hR$^3jo$)lAWCYtzdmdyx+NA=r{ljk4op#tYc_Y`an>f~E(s1c0_rd}-Z!@KPKiojSH9YwBggQw=Dy@`HY=%N%T-!%h9QZmDF$DPDnmEw}ya4b@MLdQ<Epl-$yihK}h9Sg@iW~Ml@X5BI`}q@kZ7c*ufpe&c?G3P`b_gWU;l3|Q0lovPXa2(vm(Q?|I|@Y`i^x=U673A?bX+*5D=J)EBWmbCAbM~A$udA?6>ZoU>=_*jVz`30<~aW>yyj{OPO<tzbhb<Aa3dZD;pr3(Q5PmrfCD8beOcbhV9B3GEXy9<bX8(w>Aj9FLl+=H*r_Y03ScfV%;dMFbPMWZv@cR!C;oMnXQ-%{18hQ{paDgH+1EP<Y&TqJDKZnS_!TL$zH7-8bHpIiRANW#U)8WKi=kpy|F<_EEu1=1^(?7^MT28*xhA?XmAVh*_%aq5*UT+Y%MdP37^z*TWRYW?m_m8YC^-li@-O#8PwWphIi@$#C$KkONW}((_1QPw-YTO=%6Qi9bE$}iZ+BK*5*YC`*E4>M@Yf$g>rW!DE4=$;D+w(~<=Nc;rUY6|6uelaou?~${U=&xWcg7`u)y=w`NB0xK!n`4nCFF851P7Tfn1)k^^xRGv5Ja{{cWd`&pu?V-k|U*KG?5{f5xYdxDCCWr@+v6;(5qi<%>CPi?Z}0q|1MB^RYxGC%MBkF0_zdQfw1TC&Xi;L)mr)xGB8})NtfOjO7a1efUbh5Q6DxQ@wQ_m#CtwK7taM@ku5WlNS<0TX6Y>QJkNRVDGdGb1beeY;gA<SN?v{{N>Fz$d;*ZJXr24SK%#!mSg~O-WJFNkh2IQvZC>HCZ4)}%Jd!BfKXauh}^dU{0Z^%u8j-ZhzhkF?5glw)O>6YSSt&Mb>l9rL$9Xb_UeF+oNKVfWE3Ec3o&kRXuKb*KB5=b!sT)JL#a+;TdW2mtKf~i26bV}MKdQQDLH%7fLs5*fHh1bJ#Z@Z279k!K6C=Vsq@QWqYy6X6gWs+XZlILh1}YbDEOb$ZY!jgK~)fe>Nb?kj?a!x_s4cYowcZ<?_XW|3CT?*BwsHAwVxT@TiruDw{&WR0<KAV>s;NT#f~8*)Inx5ZOQCenYHSxlI)LAo+za@?TfOYw8#q|2Azp}sYM=PxTX3bI0_;KubTI>aT_@aET%h4zB>c;@UR}6!px}92Nbd1=+%!>gcQomJ6@CAA@#liYGh(|AEce&2$E}Oz_+kjGUM`F>1l5}k=--skD>6Z`zX(QNT{WiJH2yn6+QZdoUHnpCC%k~nMr?+8z<yGkTyhutKYZ5NT{wbtizvgIOEQ}EtCzDo*)8x_t!sZcDd+8?j$gSMZh>K&f?wx(*@v)DX)eUfA4Wvc;FWR0GI9`q3xRotCh|QsM`w4tA4vCb)&C5_O;M5L}>2(3imFjbq~CY6iYNy9-@^FRtH+uKVQ=_F%x}3E4u;317Q7@+(F39bbd-1i=`bF&VF19p4huQD2>}m&FZaaLwE^yooo-A{Q{iS({7C^lO2&O?;#O{stWZ`oX^91y+HX7Z&?*S6;emykDh<FV5Vb2J6{o<W+^J%p~gn__Jp#D<I@GliIMxU_8YDuYp>Hvt4Q1s68ISmBs5z|bU^03i<r4q>0jZ6*te-a;~);5uBEK=SO4`b-UT~SskGZ$F`BXET8Cc_QqTH&U4l;uP$m|^@lMR<+gf<(l%dTcL{Ut6f07l%sv&}14?)U-Pkki%!jHTo0b&(quKy32BY}mkGCYM(4faCpW&HP?Q3f{q!m@1Y@ob$3<y`{NuIe<{Aug@(fI5KtCsgmM#jqm|$yy#AEHU#Xg??D6vdoqx;oE_MLyKqXunM>z;KI26cVrB=eEWLQ=8#;Qb*}^A3+LSngEA^@^YMUOBS3{0a*;Gd-`we<N)>$xpHW+&03G>&Q+)MlwnR2}7d|+DWWD<5_)Ku(@P6P+I=|<nEk<?m#G$BxVYx7tC~=FJO2udKHo<!aBxDnj^}A9|n?M@FLVYKm*VEL}7*C*2p)z%3*cv0w!&ogZN|w>q#f8krT&9{xbIP5WZ-SPdtZpG3lW%sEW{t0a4%!8a&mhA<QE+*l4ZO8nlPEv6N~5L|XE7IbdvrJrL4)zvd9{5+jYPr8g{P+Sy*!&tl`RBT;dGHLPV28THg@WnK3jNzMYul(5|bMB6TugzMly8`3>{wo8W1&}6*uQl7u$HTmpGlAg>{s5=IoS?f8<|?%L2Pc-|uOI>m#2$9)*oZG?PXrn#b+j-e?1<p&--Tj!z(y2@MByht5rrkbVII=hUb6pEa&^Iu4;M&;Ss^fj~=7Ri=v<c06iFT;ePJPUf?1QSxmTh99UWJi+BNM2jwcx3DrO1#-O)Y^{Jp0LTHKRm8xxvXp$!nYIQvz{vzeS%G>_tLJU8{^zD^qD}?qjm4mQVcx$~9+>HK->VL3!$MHAfq%Hc+4a2GiR`ZTIcS`fN7c-Z_)g}2HnNe7ymh>&GrNZapE=S$7G2^9ay*X66ya;H%&-k0A8;a2q9O$*0PH$`;|qkGb&K8AMqw&y^v;YPzm8Xbs~LQF)f^=#0_|d1-}U85w46*+eBcS!v)~&@)8~w5kQm!WrIdv=%!x(no*QjWPOXteO$TW2BGJjj%fiaT;&i2~E*b%Q#%g`_v3<&Lv~jX8D{S`vRO`&_=AzU6+u_$hj(`f78L@n61_+bH+VFeB)Yc5IRxfaIoKbDNb)ln6l**<?;c*9A``ZZiOo|E7{ksMn1un^7hVZ)}m~&-vAQZeP<gidYr7Kj0l0UI3)k9RZI=gD{DKUdew(Q&f@$f>ksyXaGnW=Ni*;araf9IyO99Cc;P;yINUFp!7zYE1OEEoESz-ct~9al@zv%cB{IWSp6rbu&I&A@l@%82>-?jRra?xjI-!mk`VZ0s=^N3H8P7VBlSP9-@UtL7Ika==ruDaNySr6~f}$rk^jhnm1pv3ICJauB_LupH&j_RqbE7;L_6txM7cYt<cSx3gE7iVPD!Mk=uxs(PnzNN`5RavQq#rs*UXC%WBBvnRP6eu}7la_RC&A5MyGF>fSSzP4tnJB&Ra4kuKHGghO93x?DVp58r=cZISb|1o!wvNf_8QiuSD;LWJG?;f3~TPw0+Gu77yH$Ua}+;}DZeOjF#bcY=FU~RssrvLm<au2nLVljMr@1nS%Bior0M<(fZR$igl+ozF-&IYrY^KWzdEUGTU?p^qQauwUjJAC39I1F4dDaURw$5+(^b?A0GzC2dnB7g<7A4HK%1crD2D@PI#R~tRs?lkDljn@Kc7~y+G=O0@<KN}JY)4Nt(eJ@thgOtfZ77BoLLHx<NDrvk@7~wAyF7hd!>ADY(1F6O{Rd&pZl1f2f1*bZ|Fn0wIA>Gc4au2Ov-;|GXcXz1-X}fIK!B;{&3`SP7cNVu_pUJs8KRNNw>={3tL_Q^D$A+$KQypb@a48O})m#3K;Wykb*I-VQS~Rwu!^;26tv~BvKe*>~W<K01VlWND+f`y&I4L~^pTK43h4R=t+|=Oe@CWS=lz{&96w_r3xN}iJ6M68ogs4c)tc=*cLSFYn8yZ+P;gXx{LR+&@IPVh-ObW@e%8TqzE|{Z|#)=!Y8v7b7i`~qxHkds84sO1>kKm3CLmxcUs%6VUt1k@FdCSv%sgJ|rcd;bL_;o@LeG&4-Rl~#<T<a)7oVp_pLA&;pwLHyI6%r_9+U%305=cObpteWoKcAe7P^g2pqGo;qoQjFOPy4@p!Qk4R>d75t<FKu8y+Qb_JN&ln!3w{(LuhN^LjI(O%^WYhmb<2H)!n@^VmhyBB&HXug;nLgG$lwR&Jy9&+^B8NgC4^td!Bpuxb6RQj>hv}Ir(WE)&;e#^S0WP>y6p$+p%v`ke&U|*ZlE!JfU^!4%8)l9}nuQ(Tpu14;+}?;0i5EfMH@+=E)3(sjURrwffOO8R7b&gopPBiRvf~_r`sdG!Kzo>vOnYbqI}KNr`qe|NdHgv20+M05YML=@is{K67KXk4vz32@3WeUx&Fs+X}f+Q8y$EkjeQWs!BbFv^JUZpmN--5ugz5?+7z(Ia#DL_;g_N&q7v;omy-YGME&9i|NVDvE2<at2x)ZcfI01?<ti6ZyzT?ZXtTpYkXnKQMR+YP`OGs0L$3YS%jzb-5v6f<3wx~Lo%|(ND*FmEW%$6zlS#}wqMq;k<&bi{-+4*nNC;DUGM&M$yZy|olUrX>Q;ih`zfRZ{a+z_NR}Kn7AIdI%b_$2BCn)4*$+83ncbXtB=uDp7;g<KX23<KaaN*dMvyt3IZQ-?!Bxs4eiS3Eetfdqdp<@%mbUa?Ogj3<d6>oZm~+zWy-okx`Gr<d#ii>VBVg<47E#xDY5lh^f{;!sw=EklZx9C(@rfi&H)E%z@a50IPFj=I$!y1Dj$f<JG|U<{xyKvUiQCi5$jFD&D!sq?s^VsW0*L6=6MhjvB<JvXy8{zcM%H;ye3B&OE{U{9I(*?VFeBy3MTB@3JY?&4>`mqTWmcd<cu&+6w{OA`sii=i5=g}{W*<DFkK9Y7#Fb?l0>g@~6e;QVE$nV*{I`FZ9By0=L09eLC=`&H>p$Y-NL~}jd+v;5)uP9S#t(JuUiAqcFgALLpa1{>YMO`M<+rGQ00FLN!p#Bz0!~!CvBYQl0ssI200dcD"},"limitations":["Replica-only evidence. No engine run_batch score, gas measurement, board conversion, RS2 comparison or fresh-seed confirmation; these are outside this item.","Coverage is callback-weighted central posterior interval coverage. Truth used only after filter inference for diagnostics and for the explicitly designated oracle/diagnostic table price.","Diagnostic uses true p only for table pricing, with the repaired filter inferring flags from that arm own six-field history. Closed-loop arm trajectories differ; flag/price cost labels denote counterfactual score differences, not causal decomposition on a shared fill tape.","Historical artifact metrics are not directly comparable unpaired to this new seed set; use paired new original/repaired results."]}