{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved; QLX5 network extensions and the supplied replica retain their original source credits.","item":"fair-price","requires":{"platform":["linux-x64"],"minCpus":8},"source":{"base":"https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15","replica":"https://api.imd.fun/artifacts/a1eef2f3dbbcbc7a1de9d15a2b22d1d25ac6d316a72efde67275b5d5a16ab16b","core":"https://api.imd.fun/artifacts/2ad2abf45223c729557e83e77d22de54c5db7da2be0599658144906b91dbf0f7","fast":"https://api.imd.fun/artifacts/72b58a1407966f0223f06ab7c6ddd979a24fb4593f1a9b3dc43508a7f133d00b","harness":"https://api.imd.fun/artifacts/9ad960e6c7e11509b81f2852f7f34d395425adc226141b0bc828ed6f5f344663","probes":"https://api.imd.fun/artifacts/6c23d23d4a21a37a502bf47a69d9f87b4c7ac84f614f2097e2488c6d5e6dd164","probe2":"https://api.imd.fun/artifacts/9d06411b9d249e074a426b33b08474edac375f300111ace5bb34928f853531e6","fastbuild":"https://api.imd.fun/artifacts/8d5400696659b56bc12eeffc34dec5e58c5c119ddddaca681792db59586dd760"},"gain_vs_base":1.4566139111071181,"se":0.013306207949579568,"n":2048,"seeds":{"choose":{"start":64000,"end_inclusive":65023,"n":1024},"report":{"start":10000,"end_inclusive":12047,"n":2048}},"source_sha256":"bd90489648c1112a14767bd0befbefc9687cd32f68ae647860cf8929ed5f966d","base_source_sha256":"e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40","advance":true,"metric":"Own-pool total edge in quote asset Y over 10000 steps; candidate minus unchanged QLX5, paired by seed. SE is sample SD (ddof=1) / sqrt(n). Rival is the unchanged 30 bps normalizer.","means":{"base":533.2560040516776,"probe":534.7126179627846,"lower_2se":1.430001495207959,"upper_2se":1.4832263270062773},"finding":"The current-fair-price oracle advances the predefined gate. Its measured QLX5 gain exceeds the supplied 0.1187 leaderboard gap, but this is a replica sensitivity result, not an estimate of achievable leaderboard improvement.","stop":{"bar":0.08,"rule":"At n=128,256,512,1024,2048 run supplied score.py; stop if mean + 2*se < 0.08.","history":[{"mean":1.472416081754699,"se":0.05109604665169002,"n":128,"bar":0.08,"upper_2se":1.574608175058079,"early_stop":false},{"mean":1.4893346061102184,"se":0.037676807188557496,"n":256,"bar":0.08,"upper_2se":1.5646882204873334,"early_stop":false},{"mean":1.4723423468114338,"se":0.026399754368911756,"n":512,"bar":0.08,"upper_2se":1.5251418555492573,"early_stop":false},{"mean":1.4424761853508055,"se":0.01856168005737758,"n":1024,"bar":0.08,"upper_2se":1.4795995454655606,"early_stop":false},{"mean":1.4566139111071181,"se":0.013306207949579568,"n":2048,"bar":0.08,"upper_2se":1.4832263270062773,"early_stop":false}],"reason":"Completed all 2048 report seeds; no checkpoint met the early-stop rule.","advance_rule":"n=2048 and mean - 2*se >= 0.08 and controls pass"},"info":{"exposed":"Only contemporaneous core price, one scalar passed to Policy.trade on each successful own-pool fill. No event label, true sigma, retail parameters, rival state, future trade or future price is passed.","intervention":"QLX5 completes its existing posterior/arb-classification equations, then m is replaced by ln(fair_wad) and v by 0 before the existing rival-price clipping. The same replacement runs before phase/fee selection on every callback, including t=0 and repeated callbacks in one timestamp. The first replacement is repeated harmlessly on new timestamps.","uncertainty":"v=0 expresses certainty about current log price. The fixed process_variance=893025000000 WAD (8.93025e-7 log-price variance per step) remains unchanged for subsequent prediction. True run volatility is never exposed. No variance parameters or fee tables were fitted.","unchanged":"All original constants, fee tables, inferred labels, split test, phase logic, rival tracking equations, guard logic and initialization are preserved. Their endogenous inputs/state can change as a consequence of the observed price and resulting fees.","off":"fair_oracle=false skips both posterior replacements; the price argument is otherwise unused."},"timing":{"observation":"After the current step price shock and after the triggering own fill has executed, before returned fees are applied. Initialization is unchanged; no callbacks are added during silent periods.","ordering":"Unchanged: price shock, own/rival arbitrage, retail draws, routing and fills. The oracle only affects future decisions through the normal callback return and stored state.","frozen_utc":"2026-11-11T14:38:53.710633+00:00","report_tuning":false,"choose_wall_seconds":118.12984938197769,"report_simulation_wall_seconds":225.41258240281604},"units":{"fair_price":"Y per X, initial core price 100; from_double(P) = signed integer truncation of binary64 P*1e18.","m":"WAD-scaled natural log, using the unchanged integer ln routine on fair_wad.","v":"WAD-scaled variance of log price, not variance of the linear price.","fee_inputs":"Unchanged: w=(ln(own_spot_wad)-m)*10000 and rr=(ln(rival_estimate_wad)-m)*10000; both WAD basis points."},"controls":{"passed":true,"raw_artifact_ids_verified":true,"decoded_QLX5_hash_verified":true,"oracle_off_equal_full_rows":{"choose":1024,"report":2048,"fields":"edge (17-digit binary64 round-trip), counters, labels and final policy state"},"trace_seeds":[64000,64007],"trace_callbacks_off_equal":85205,"trace_method":"Every own callback input and returned fee is byte-identical for original and OFF. MARKET/ORDER traces are byte-identical for original/OFF/ON on all 8 trace seeds; each has 10000 price steps. Debug and production scores/states match.","oracle_audit":{"passed":true,"callbacks_checked":85222,"timestamp_zero_callbacks":4,"same_timestamp_callbacks":29655,"max_abs_log_price_error":8.881784197001252e-16,"zero_variance_at_every_callback":true,"price_wad_matches_current_core_price":true,"ordinary_callback_trace_unchanged":true},"unchanged_runtime_files":["config.hpp","distr_exp.hpp","math.hpp","runner.cpp","tables.hpp","tell.hpp","uint256.hpp","zig.hpp"],"frozen_runtime_source_verified_after_report":true,"score_py_byte_identical_to_harness":true,"inherited_replica_parity":{"source":"https://api.imd.fun/artifacts/a1eef2f3dbbcbc7a1de9d15a2b22d1d25ac6d316a72efde67275b5d5a16ab16b","n":512,"precision_decimals":6,"locally_rerun":false,"note":"Exact replica source member hash and all 10 harness dependency members were checked. Archived engine parity is supplied evidence, not a fresh engine run."},"engine_runs":0,"engine_builds":0,"solidity_files_generated":0,"submissions":0},"ceiling_kind":"Fixed-QLX5 fair-price-oracle sensitivity, with exact current-price posterior and zero current-price uncertainty; not a universal upper bound.","limitations":["One prescribed oracle policy; no optimization of the policy conditional on true fair price. The optimal policy with that information is unknown and can be better.","Zero posterior variance is implied by this perfect observation; a price-only intervention retaining stale uncertainty was not tested. The result applies to the documented coupled posterior reset.","Historical fee tables and all other inference heuristics remain fixed. Current-price truth can alter future phase decisions indirectly through stored state.","ON may change routing, fills and the number of own callbacks. Those are legitimate closed-loop consequences; the callback mechanism and exogenous draws are unchanged.","This is not an additive decomposition of the leaderboard gap, a deployable estimator, or a leaderboard result. No fraction captured by a realizable estimator was measured.","Mean +/- 2 SE is the requested descriptive threshold, not a simultaneous confidence interval over all checkpoints."],"search":{"candidates":1,"selection":"Predeclared full posterior replacement; no scalar, table, belief-rule or estimator search. Choose bank used only for controls and sensitivity validation.","choose":{"mean":1.4929010810916579,"se":0.019279700810002135,"n":1024,"bar":0.08,"upper_2se":1.5314604827116622,"early_stop":false},"universal_optimum":null,"universal_optimum_reason":"Outside this single-source fixed-policy item.","realisable_capture_fraction":null,"realisable_capture_fraction_reason":"No estimators are authorized in this item."},"hashes":{"replica_member_sha256":"802962e861d3a922087e897dae86d43b5d36a7e9253b69547086c943da8f7007","original_replica_runtime_sha256":"89a3a04665e2f2b840a25a43c71418a67d36ec79df1291f400ddd583b09537e3","probe_policy_hpp":"ff2508871be201e2c056f96b5c0344e57bd621533550ef26ee4bdb6edcbe9270","probe_core_hpp":"b31e87cd5fe98e74054deb0537123ff04c59bb6dbe27d9abfd62d7d8ebf620ce","unchanged_tables_hpp":"12fb00e047d9b9a2f7b399f59c201d895423d10e08e9921a52f08caf2c0e26f6","score_py":"38856d193fa9f8e8a7ca0e43b62778f5d9f7b8a6bc7bf67168843ca1e03c6958","freeze_json":"fae0e8bce0552c594f4fd0495cd691fe21d0fff5ebbbbba704d5bfcf875093ff","base_csv":"212f0ac4c144de9d504bceb9eebab0396b5725010f60ebce9686d6543385ca70","probe_csv":"24ba855ef14df3d958f8de0eafa37c7d3476239ec0493b87cedd30c4aa2ffa76","off_csv":"212f0ac4c144de9d504bceb9eebab0396b5725010f60ebce9686d6543385ca70","per_seed_delta_binary64":"164d5b31673eaffe9b749a044b75f5aae1889e071952bf40b7642f4db21ab197","offline_source_json":"f3dc4a632390f3018a6d0f4b3ab5ebc6527fdab02450cadc40c1cf35458902e5","patch":"055b1a675a2d5bfaf239f59c14730ea42c0c94f25f0025003fb11d2df0578ca7"},"hash_scope":{"source_sha256":"SHA256 over sorted runtime filenames + NUL + exact bytes + NUL: config.hpp, core.hpp, distr_exp.hpp, math.hpp, policy.hpp, runner.cpp, tables.hpp, tell.hpp, uint256.hpp, zig.hpp. Flags: -O3 -std=c++20 -ffp-contract=off -DORACLE_BUILD.","base_source_sha256":"SHA256 of zlib-decompressed base.code_zb64.QLX5 (47230 bytes); verified in memory only, not compiled or delivered as Solidity.","others":"Artifact SHA256s are the full URL suffixes in source and cover exact fetched JSON bytes; CSV hashes cover exact generated files. Delta hash covers n contiguous little-endian IEEE754 binary64 deltas before byte shuffling. Source payload hash covers decoded UTF-8 JSON bytes. Patch hash covers decoded unified diff bytes."},"per_seed_deltas":{"encoding":"base85(lzma-XZ(byte-shuffle(little-endian float64)))","n":2048,"seed_start":10000,"seed_stride":1,"meaning":"probe edge minus base edge, exact binary64 subtraction; no rounding","decode":"b=lzma.decompress(base64.b85decode(data))\nraw=bytearray(8*n)\nfor j in range(8):\n raw[j::8]=b[j*n:(j+1)*n]\ndeltas=struct.unpack(\"<\"+\"d\"*n,raw)","data":"{Wp48S^xk9=GL@E0stWa761SMbT8$j;6MK_(Om!lZc@iC8799P@N&`~qklP3T$Zcn(ob%07#pXBSsNH|Z_uP+gUk|=XVOdc85)t&bb3Sx)PBaqpjh~vgw4eUW!*93VOJH?4Is}XAWra|K)M&yn_gTq?9Q@8WmvBM3^2<peWn9kWzp?MtnhdLwRA3y$XCrJf=K&AXyrYKw0!W4-f`Xj>QDKCami~D{D8|q8!TsZ=6ofW_cTEl2x|OqWC9IL3$jP5^k5pPjB;k0E|Od#<O%F3piFYPFD4(X;Qv%4N3dzB*7!Jnyl<XsaMli;Y92B38H;xy7RW$0hz;ZVwDWP_v*ptMPqJwUYnlg*S!lw-M~y>Cy;UpW@+3AMP40Iz%^&Qszoy=A#0sR!aFv`K2!<Ly=FuM(7B>VJ>+bVGAhtyzJyn+JTd0}F324~E^1RlD6HLnABgmT_NT4*wA#9L_$?~qBM2KoJSEfSqP}EOLGbMOpOdnW*aNs`z05WUn>XPP(i_P-RwUTgq7QV=qq@Ar21&SK=ux+5wI(X}2^{kPZMX`d$q7<g>x(|EE?@)}aw#7Uz?Wx;%7#+8gCVi2Ay<+io$r4B&5>?Sb+Mi^C_F}BRnc%-83jp&l1Remc4`yg1EaB=HIEjYa0Q&rpjx9Ncs}tBKfbN{kiQOAS+wZ-(->Hi#qb!BeJi%ICV68|>JG_g$?xy!(fi5ALw4fP<h@549{8N3nQb-~pt%PV7UvE<E$a*#fJXw@ZbLzo2vG2H1;Ydv60;z|_jWkaDRvm#Uh;7=Z5X_qAJSV_md4cOCjkb&5L<GZ(FyVCdQx0Div2)<sC4_k0+FSvd=m!*Po197=9Y%9?@O^N9$XTg;Xozboqy>jBp8`*AQB!-60TsKU_OkDGOS@dd;Y{;kDF5dQaprqjaYu%M>^Z!=c8}chW<g^2V?-q19yD-j{%l*{wkRI0>eKh4v9&wQGE9Zm$`Mc^BzjQfF04J-=j^2PFL=}wFW}#+i1zpo?K3ZEXTo12L*UE)(zhl|J(x^&X57og){8+yxoYzS)nzV%EJ&@azNTn2jGgJnFQ$y?d}Nbvx9@!{aFrHyTZ4r5@Ex*KHXfM?9Nqwwl1=rDc0wwOw8!=SXt-Vf(a<wN*>oaCtipnj-bTQd@EcQDKi{ob28RG76B>3JsX(E3D4^FtqGfnh#{Ql&2AY!I%g5}k`3wg4z}Qsu<!rf=EQRhtm-B-waQ>$1D}N@P)PUF5Pmr7~%iYKni*-e!pbdXVRWyU;Ny9g41;XMOkzLlECfenl?=<GoWH;;?rC}Xe*FN}W<zoW#s)zld8A&_JPjk=6o6dBpi}i;Qa1IyfF!B8x@dsmFj3_=W8Myn_Jl*Dq>KN?*taVHrA{dHaezD7Z>sSxYCrVCkuo`>Hv(V2BqAroT!JdP@E-5|0iy>*}ao3m%s3cf5)MwBIM?DQ8#$o$-gRyo5?H*u@v<R*1Kfw-+Y(weyE-4UxpwGFSo)FUvB`W|^oRGnMFOx)q2>-O37DWEkYKPndE;QH)eNWNQ2Pjj2DQUy4l=f0U%=9Fby*Lj0ve4v1wTLj>9(}#gMSdDWqSr6sk;FtZO#YRv8#>&XKGXJWZa)~5*3ux?!;PCZ|GsJs2LZi~Uttom;pLauCrU}PJZu;S==Ww>xlu<Ej$Ef@_T|xhZa0pqk6@%ZOS;+nfgOzI8zi}qG$F4ZKm1QFbG~Yp(m`NQlEh70uBuPEq|nG%o#n_+LLNODgR@+9?~)FIM>>Z3iJ_vVnt=!G2VAp%EdF%WMEkeN1d!~%3HEG__dG%&!!``Z0C+gZK{h;g-UvccT@2rJ-13Kxn4)&2-CGGhCt_o9-UigI?kkX2hlvqVO$`5#{A7(k5Ht*5higtWV88;6k^0++$MvG(A{K>O*1ee~P$Z%-MeNBss3iw<4n^y6Oz2p_lT54v)cAlEW<<t4&gqWhh>Ckh1fgt$G;aPX_83R_MQEz|TkqWZx$k0AG{0xoYxJ-|DBPK;mNc@Hm!h}r-1>05MK+-liz=(Vq!>?dZ7QW+Z)@uaVu`w5U)^i5Cx0y^6Gy`L{rh0)?$^WEx-1GJz<02lVy#x}1GAa!;!EcHbSQDQ0cUDk6o%Yc@PYUiukwrZrBbP6?qX+OdPa3*Fh5zf9dVJ?gsA_8v7uDf_q2yg!U4xBA3bnFc-#g)3~AAmB3j9uonPYs(44W_(!U?>{x;~i#gP@?!Qu}OINpOPcdl4rFY(B@UUOl01D$slS%W-G=8iBMWU1QH!sTYgGSwRRWTu5jK-|Md4r{{ElsI=F1`_NQEFB5D@sjA-XWH1R{tU~fl^Uw;r}$CX^~+RTK!t^=ry<xJQ^M5~A4%Z}OXQ6?x$_()4P1UKi0ofX7k#!|{o7Um1WC0RGj=0%|K3E^o#M(+vTFDUUyHOw6iTjhuIIjdP!v6H!gA{cam5XcC<tFM;fUz|n(++)S>gpd_QdOy5OWw6?}?*VSX1>F7~33;r(u$Qgwsa@k1SLLT&D6yD5NiEi^Do1)VVWw+0HD(V~TgxAvjj2nk~|WlGSiFjS`{qVk)1-cQi-W`rF{*mp$`?*Lu+8cXBiytx~ta2(VWz)h6f=+3bei?0ess!5QlqVVuT~tMKN0L)>`~8<6){zmJYLfDNkudaZHu%(jdk*!8dp;<EiW6_al_i6dqtZGV~!NE_-h%js94r(?BRu<<gvh_kE|?qjx#2R0sT^2INw)Bb`q!eEzR@$%ZRja(zM7*U-Hq1H9e#HyJ5demR~D!MePL0!rdHi%Y(01Y!UE#R&s6-)gh{_iYumWKRYc`^%i<dQ*WaD7s}ZXkk_NEH50xB^$4JYq;Mw3O&pem5_2kL!YX0zaGfTnSAiw#U4CD0qt#F#;GPPs5yrTP#H3%8Suai!acmJkbGc(_;In+6#Ot&fd>=!@`B#Imx<v{qkiB*+U?B#CR0+-PLwaY#=9?$F2sarVGfKPay|XSF4Z>^3Isw$~FJ|A+40s0Dm(kqonu*S@IsGv%%67>s4M2$sk6-c0Qi&89TShOFTmtZXSt5j_#}Xf<!_ZW}VyZVVBN!`$kk5vPv+7eZQ>>x<+<2>`gszacG|BGGfNN4c&yMv>(^6;?d09{0C}CO9&5SnRsR(3kpbT#ClVr7ppAld9T!ucqovwJ3M{CdD69L-`;q0T$)%08}+1zogQ@RS)z2bal+f#4E|K(xIl+v2%MD+QPXyPJi5q7-OUX1Jpxfk$Ajt7csMBrc7B<7@Q#;ceK^_bOjt3#5)dfpZk^L(MQ$T4u1L(dY6-nR{`WeImMy1A{}M*PDc`B+BDFs1#>_+Fj5LRfM<y5q{@)W&WY`eaGjCohX)6C=#KhVm_e>f-X5GlDxfmC@UoRpjBgod0Mq3IJw5IENIQj=yX%UH`vpGC~Vp1O7MbeKR#}%`s-O+;0O`T^+oBwnHRGWuV_=LIG^{$awJcB8`hrGG15b$){dIA=8l#lb$xGHZXIdz5&^uvij=rT<87v#fDXYzF}b8aNg8%gz0-*p+WMx0Yy5GPKBV0fd{nw48-7skbOoffy(`f{+M!Btmz@{q;_HJ?4hf_u15KPVpI@q_`E=N?)Bf~W3sCs%)hOT(OmjB1pNWJ#69vT2-zp^UfJ!j*#HOw(l>2rmKyY|;@<iL`xb+oVsv{&Y{u$C7u{m)+>M^-NbPtEmE_WPOrE-J3-T?#%>+=OE(139!D>v?45s;N-zD(;gjnHS?D<2(Sj$!ADk=xNsQ-62_50Z2K3EY)L9y<;lsbaMp4CpVDpg!S{Yctw%g4)*p6rbYi!*oG!)sgz}b`;^S)I)|wZ3JoEE<)-;y50hR}&x^~hRmBwxXHRygk(MA=L?8O;;3AE&p7<S+W6%SE{UpyzWQjd%4=_^vxJX;_X_Q#rZRYt7!)j*=REubvdjMclDJA-M00_Cbr&MZ~@d{h;K3g)}&1DgZPBZ;0iZTs4j{o=E5cIC2Sb2z(n#r{4oA;~+EgGwOIz!BWOJ4U1T0ukDGXDM8MQ0?Ha{95y!G_ZpbHIQCsSBd?0!jgy4!@fHgS5s{9@^6yw%pj;|Wu9`Cg;9F!#K)6bo2#yrGK%R{jN22dQE=ypb5v!Jdo^kj1Dbmds*RD5Ugj7Q8Oo-$5?``FB-ny4Pq;H@VBN>$dtrN*o=U*eAghbb7=m<ctkq9^p%II0BD=0{d*`yLf#VkL=fBaAwuaeg;#Al0!uzCCFH{9`3=+Z6Tx-h$KMBf8;e$B?$*#mU=Ev#7b7-L<x!>;*ymwiFCioW(y1WvDL-A!EhMdO3?Ekyxmkg6U;TB}6@IBsZJVnZGXa3{)mCFn>kuFe0U91ttRb|F0zEG0Ar8E(V=dFD#d#zM@z?JF=VZ^1=c+CM74~Q|j4584qOC4I{0@83Q^hu>szUE`Z(`5REaD%Qu(9feRA*QRQ({wa&2r-&CyCK#Bh$jR|o}jHXC3vZ$I8xvtBK1frDTV}^4z9s`wmLpStmr4nNyjb^k??YsQ6t@IhzNnzSGq_{WHb|WO(#q%=fnVYLJYu*I~w*HP9kUv&I$1S5Ie)Y)vfHu+7h*X)M$c};BS-+F%X@!^|B`BcH;((H-#${V`LVvGR@`}c%OW|U;A-BtcMOkt@0W?Wh+O5(RPK9Dv`KYPg7(OCJ4o`aVxjFsitIM9!Oh}Xc^$%SYEVt7Z0%UlPn&a%2^Oe1sTcvFcFh_fkp80Q+pkQoiTL{OPh>3K?=^m`~1s;CbS2E9kxP0>P6xcPwf6a*}&rxN^R<@m07E#gQq8Rr-N{-ss7U@5Kg%*e1qcJRnGMR<<@a%_?<nk1}n#}YI&5qzIN16nZ8wPiuRf>Cg6eusJgn=%k;l^#-~neCr+^?@rTq7k2s>TSSa8n!MPCf70brg`-vI`e+#gASEjwWy!l4Y{|7K?a+&N)`kd-nA47)#;NG!m>1*7jU#3Rc71qFkJ61)^R_*tKtcuYxg`bj`odL(;vHdl2^p6Rdg(}{Kx(E>`Zs-ka4ec*7e-X}${ckl!Dq`~SSuhN5DA5dWOVcXUWKJKw{eCp+iNRdf$ibxDZ-vJ)l)J6%2j3op^8@uqM&e*xbr}aLCyL&DNN`+mcR&Z?vsVn<<J&nydAC|K1GL#X95>BL!6L(uu6GcM)xmB!i{qeazZN~xEiqFTX`m0l^+UW;>ORlCHD5xgG7Y)P3)_ho{d(R%j2-hVXeZ0X6WRQl+A;3TW#;&mUr-hQ{uO_}Cl9Q!=%B5t*==+FukpMnBA^-_+8H|?v0383Eo4eM;I&dKvLa0pIwEgt+V-4lXi?%8hua%C;rzF%=Sy8C&rs&_e4Z^tp|lv0cy=Tsl|Rk&6>cnV%M1TmOThWk%j*qg^&yi1q{$&LpYZe@C_Ms%6{PATk7^T&(^MF-DgQoWhvFG<a$EmFqdBro-CGIKQJ>V*gwjdLX!nvT3n|R07G==V&ncs0FXakb-alkTgF+Xv{7(=81V?yj2!m&^*n5|}^SoJmrbDu-O9VrWFa+gQUOuCFOi4va*svFZr*rgJ{VI)$HQ*s7eMNhC^lJT7<VzWe)2ArD%lhB?!q-{|!yRE@t2dL<@3C7nbdd1;mHu8O7Jk=E8w62f7}p=6Kumo&d=SOHq@yiBZ5y4|+GZp7PUn2i3hFR*XN<icWl1#^dA3?0-SJ8>vVv`9cTzk*&4thyGs;(41l?i$K~1%ILg!ED+wihZK9maYpqV8KNSw8X{6Atnkx^oh1;kC*qepFwPc^!#0SnNYk0I7jqhWhf?}toNE^&v5g0;SGRxtr!hnD#HgXiPx=7=!Uz123y4qRx!Y<}zP?dCil)CpinD-Bo1Rp6yn02U=8S1P~`7h+~vF(|`Fj?QeDV)o`xjsIL@TF9#aRJnO-ss~xO5An*2&uC_)blxbZN`q}Xw~Z?W-k!opDNFL?Hx{8u{kBR4Kb20A*2`?xEI)Geo`bkWq8eFV(as|u7Bg0M&S38`2dM8`@NxD7Zmxe3#u%Af{ynNA^3a`=ouzuCBbFAp>*#%opazCnJ7p^ZJtT2ybVTSP@jr=<!YysUyMvc<_^l7cWpzE*@5^;D5sC>_7MYcXSt5O)>n8um(6=Dj<6rKV;G*0<T2~@CECXc6-`HPV8NP);{Q-~;;|15np2?bJ(FD&5(eqgfOCG91OyJ8P4-0eXE(+=v_7s%<OT3U_ddStxEzLvFlaI5*L1wV2xhOYj@ag7WSWCFQbfb~KeduA;E>}jise8)`)eHHOk9it!l$?JY<&*N+Vu!PorQO%f{x({K_mmfLsm703fr_4r)PETGFSYb>0YUfbBuMlEjAER$e|q><aRgKqJ29F*=5ivS*anZ5KK?+fphIOgaq<xtC29`%k;fs8*sc$mv6w@oU)2pP%#50+|AnxMs!)VUiCB>!TMqXW?c1#CZb1veX2N0=r#Y7X$~$TEU_femN$6`)RT9Nc_-@4DVGVY|mkUTGn?g=Eyf1iFj4o|c3BAPZ5=T6&R9xP~Ybd<<B*rn<LJbhy=?@(9NE5MAY#>=f$6c6Sc@QM!(g&h~&UM=xPrqreI8$^C_{j?lRkGhSL7au`<kUf+%)=t!62<R)o?t<YJ~*gb?knR9eNw9@55QIk<m_RuR~2Os+25gUWb-HaZQt2!0_%^mF|(Y(KqAFAIpYjdDVt!VHj`!Fj)6x4gyfR1OIU)y{W`Fn7WPkP9NojUz#n@S{inI1gOiO&s(D$ErCpag8nZtLq>RurE<5<48zgf5YQ>j<p5)=tJc#llZnKW@g+~4?k!QcqPWohV*z2hF;Zd4K;kx;)7*bhp6gg`>I%U&y&}m*+b4_^q30#KwEAQzO9f-U%Dfzu=jW>DZVHGOT4Wp$m4!=WjT*vUF{(Qh&f@j91!N)eX#!5Vp&2(;SttICq;ZtvsPhxTOCB~o1L>R;aeuYE#0#d<CgJ^?A+-J0%Lu#mVU*!z_<neo6&g*ugy})RYD-6QlKB`lFVHb}_1U^Q!lA;V-EmPjNW%iizUvIX8s`jZ!)oIQWLvIK0kU+jpbC{ZWib8h}Pxc~2lt4{3IVX?6yxmBfkq*;kun;e~E_Lgge5x`(h);{`0&XEoT}#AK8v#sX(=(CJojU3Rw+${ydEPl=+$GI8svHIIA*4NskKDK<uaZ_QvL-!vHMk!~Z_fBYtUE+G-XJ~bOnJtxdWBo8eJWgHR&1Yfa_G}ZgdoS-ZQMT-1|=_{zpmLc4c=3(q+61Q<gL0+M>7fC9@sP2ko<pSnKVIcK)F?$b_9OhK55%|D5bDv33WIkL1HA5gSt#rT?!aJz@WYPg%v{NkaXs4g^)?n$@(VC77FL`n5pD$F2CyOd-sBN<1o`KlQK6$85{15b8<@YYHb?>Fr`1!FJ;}yZ6&~k7?p`y@I~|U2m0R-n?UnCKLilYiQx=TFya9l5AOPZ53a%3^(bE1D`SJYN(YQG_C1*f9m0dkZ*=#Esn3G9pwcjcLdo%ylE!kaXt!5;^$!d7$R<knvJnlaE*{{2KR+chJ!Fk?a)HYWYAde0bU0~lkoW>*IxX}gL?qRTbl?YeuW+z+>vqd!cl3*gA%vc~#DuCjV>Dj;1AA<Q58Wg5q6G3Tox&#0hvI(h9WwNC1PL5i1vtk<?$@3IZ>LC17T}j3MTjMvFPu$0CG;{inRDkaZ3%BL^J}ZtxDWN#!ZV~GXO{KR{7go8ze!7t)oCm2zg<M^k63Mxp7E9o-g=t4p0paIlEoC}5mT*M6aHGD#C!O{5G-j8+xyzUR}sGF-ThxDBf78!_J|rV$@ZlAn$~4i@1=*aX4rnBumn1Go<~731YlH-jdhiWwUOERMm4E?bywP<&|5H^P<%t7`G0^0+9mX<<|_-`i#<4vuf!wy(}hw$epxb_u=7-YZFUR6ZSw7L-v1)YlkW(6-|#yN%4BnaAE4GmfQz5>${@yDx9Ey@LCXp<f!X1SZY1vUX=Q{-<Fut7fauVhJd5)Yu4NnJ;$GCrBVX$+(#J&Ev^K=r_9MJGK4f_jwuUUxL~b=zkCOJa{|%;cFGc+Rv8sa`(Y##pyUOT943H#1TE|apBClYAx#9N(o@*C#zaa}<HcV|!)7i<uZDjt;nwa1cb5gtd5@=?w=fmpvUifLb-wAg<=IvEVF{}OXmKrQ!ZarY*c-vk7iL%Yu5M!1Cq+;@q-u>QZeJ+A7&nzgRAYxWT!;sEFg$js<U@r|$ds6QLPsKA}ij^?CMb9}9f0G~m-mUMEO|GLm^W5xKWWCs4LUl-A?P_pKzqbRTT&oT=Ia_ynymav;FN&*+!t6X{UvYSTU#yE~s&oUEgD}4^QW%~%yh!E+YJdu-%&N|(cC#cVzdm6*)Sc<$Jz}%x^_a1T6DVEz`vY9ux+HE}w>dD7q0v9};1wuJEPNt9oPQ{qytEN>sx$o+nFFh^i8|XPM3>mW7y9_Socz`b4zWJ2=r43NR-Fb`6*$h<*ncbGZ{Bmw+wBBa!~%Wn#xcR^nVu1PT9ITE+rWe_7Lh5#t5^UMxMu)cH)}YxQ_#fyoo3?2bx`$L0Infot95!_DD^K0m%=noB9g7?q7e_xgvmLpWa|JMQhw^z_S#8GNHc}*Hd5NHO4m_-Yky4MB+<CmN5$7<0~Fn$p)~dZcojP6Q35dg(jC%M3v=rcX;$5Ud1fJ-e=`^|$vXyYk*-_Kdbsz+V9e$@a?;HC@NVc142qrc3v>lLWhuU07mr5MMOJO2-Eu4|?vO2ktHpGV!Zo`|ci9;LCwg!lk^GCXDrCS>2k7YqWejizXbe!O8hLP22Eqs4$2d^^X&fLHqHqa4Z~mgbP<J1KMnCEoJjZ79Lr1!bW(DBCNxgI+YcrLy-rRa6Sx#eVt&9)lD8_~lqK(1V+$eE>xS6t0Vr#7uZ)D=7HxSN;Ec*Q=+$m0-MDX(b&ru7;)MC{Zz*7iki36GT>z4=g;wE2Wp37SOd;ckYDNL<+WM~j~^}IugupY%YR+hjVJeXKojV}pHazbjQ_s1!s{-Aq$T6i(|Yg^&s7UL$7rHwcO<WhwtfQ90gcbkA8lyPB@m7d*kdRVOnqhhM&<2Uj~SX2?c;Nz04)`R$IG2sJFh?O&KusCUpJ89lnZxSbm;ulZ0_<j^CU&c0Y$Y)MGSvl&`GJ2&s9lZ1$j3zP7B}{VJpNkzva*!EEHWLm`Zi~OCmJY*pY-1u>Wen9IZ&Rr7^c0zZMa1|uQ_I)>FTxN<hq9#@`oB%HtosO&M<Gip|I=#>ZG<@r0zyWQHnq>c*j74l$5F#TR?;YG-?r#A7DYzZgpBxKvfff((5(p4_&K6E>E&$1Fszx(S8m1`(B`N|?5VI_@O6+HqYbt_?Y?gG1<L9oVIyMSFE5n4vB)=2nPo}7S>f5C-mnjo;+WWhs2{Zx>uEx3BkL*j1erQfX5_oyh}L18I#B}Hsw)l>*zM8*&nG>UvL^V6;HQ%xn{g9(-X_7}Djg;zQ;*YwqAOlfYNioT7vG~)GrmP)PE}8jjr1xXd)Pjz{+IXUTIq#o3nW1+m6*6FYFt&KIm#!J;T5;YX1@FWuAK?^V<VxmkVe`l{KOZ;QGTHs#hgObSrE}R-BaOC(waOsJ)t!_Cu9IsXdd{Qa_vg$HzoCsT_}RxNFy*V8fgnnX^;)2<bN6|cw|C9QA5jp{Iy-B@}El2<F>W(du@MbuTb2(s#xa5wP<LT%x;^oIM7E4o{h5$OvSK{02vQ9tW`4>;WfbZ%)aB>2|XH6R7yBI)`qvPrB&R3<e54ZIgVjQac;%2#R&*`q_dVthn3ZPR@4yOz;x2B*l$F~xG{L`UUYcC>o`K;_x?qvkIB{T<1<?_@IzpDZD>1@iJg;UCcU<3(qf{);Y0fQoWhhuMMZCSW}Ba&<|EH`zW32LW@X)uFU}pgndx0C**>_?&xPZIS$B|&rBAK-`-gD(!(}3rI2iXd(|3Uu2`R((IoorZFpT788XBkj?@xX7gQY<%Zo<UoWzq9cBYBSQK;8ft<<RBxOl12OOKe$A^{1<f05io{P;=@Z*&xvGb4*F!Yl!OB%ZnsYYv1+*@Sr(j3nCA#$3BknJK3Ajfj!3tL~|`nbeBnG8?|OmFUv6Avz!LU+9Ss(9|T<5_H`yAZg%YY`VJv7#?t>!HZS%7(48e7o#F>E8CIUIy=icNi2iCtWp4$(ow8mxVvu^nQ3?C$LV}F<{R$eLt`ze>0*`w=@@&upgTDV8LGR3xC2k&^HBx;*0Y};vE}&wJ>1Csc$rzYo!oi>u@3uuwG94gm@X&%fw0hLlAG`KHJmt-mX*A_=?*F;@skYtf_PcO_cgb@&g8{e3mODTg%?<tT$b%&D6A_d;?nl_wSay95UV&bvy@EA<r4LwiAI?%!BKIcP-O2D~hXA0CoH5-|k4<2fLSdwyMpz+&@F?qleOZH*?UbZcGikY*TMOYE0xSziZ!k)kBe+FsU_xguT+MNeeyA2b<lg*YCwy06Y@v|Ma`EC4Z-joqUDVwG&<Z9K^Rd_Nv7;~{1Q2Zw4Tm2@kVRRgerbb#z?hCgYt8qB(2M)jlU;hN)6mSetpXZ=SGKf}ylDQZ$7s%?S_beU^afBsHdwKc9BoIam3Q2@ru1N7E6cw-`Il;BxFc3&fJP+VV|5mE{u^n%!mnvGq86UT8^`#R+|6Zeql5gwY)E|)So4dXV|DRUb#Za8#0){{&RXt(Z@~QxN`cJ@pZDDnf>8ntNR3A|_Uk)1p0K->#Ff2U!D)PfU<7&knKoBW^J3_p|KZXA<=klcS_SJ?Rqkf33<4N^n|BbHV&==D^E*ER$O^p@C~K=>TVjL@TsrK>Z%SQzkS`d^-ixvwcLgpI?mDc`kFX*%<&#}yv!-o2P$xl(g_EUe`dB0@<<okPd@nF@LGWl91xhM7BP=X@k!DPAa?>!_ws$&1&N;MR2V_hTl-U(V7OL!oi(k1foo~UW*lE>PFzurX5~qJPYiT=ShfLi-&m<wm>2u!Nc>vpC70fOh5*JfKse0%_G9x~&QxCPwhScn=J5K|6;26-s)UI#65$!d1V*rTGlI?rDQ++UfK&$ivwHBbqEW3*Q{ne8*7dC$weAXmnKUfOH+>oKsCA(TDwxTE9^m+05l4_B8o|oFYlb3!QQ4EHhgQ-^^yZ2FHuKTnMb3`C1H4pX`Z>3MOB^d{DRjIT=d2jgdF=O*JIW<XcMLcUMnqKAQzHZc88@X*9QCLM@iIylpYaD<g1j%q|U@>{Y9Qd7|R?!<1Eg_h<120txh4K>=Xi;$eE$nbL<Uy~rj3UI;eRmaJbGo!8$t&6J5xK1fd6gc&Glb+`>Sw!?%yXFd7A}msj2vR@74d!y_ak1vbH#lk7Om^qB7!_{j+(Pf72z1J#MCnH5N*qS8n0C5MAg-o73jr-N0dtcn-B-uLRG%QwvECkor-<<_&s;2xi`TF{@T+}ks^)4kL0`MH*yk~TlVzM<><W=j?-JRvZSMOJTLnEZ-AoibfE~7n6r8feZTL(mWe@@2MUt<e}1+FD}&WZOs^iz8GCZ3h?uW$!nL);^2io2>yVn^f<}9T#onjST9Ta3gKCdXf9ik#=6oeses)w#PtzJJ{I;s$6toK_u<J_+jHt@skT@;SqBBm|zh9~}BuV=!FbUp?&cYWGsFP+<^DJ-tB+v{8sd_~lfQH5TVrHX1h}cZY=1j5vC;jlrJ&$p&Z}0c_7!WFTypW?`G`?l|W2Xo<U;!Zb=OET3Sy#`>jd@Q>Q6-ULTofQZ%uUgb6DM7uUD0LFL`Z%K2IOTzPJdOs$u_O#ojxGdxr`r(4@RX36d$hg7?=*cF`XvxW4gyY1aXQQ*I+Gr%6ai!LvnW9qTb>o*FY03I6iq|D%0(iJKYv<OSAvY;*iE;&IOjKuCR?BgTGEBGJB0KBC$fhFRQ4nw@Q+L#7xS3u;Qy0iAQ4Bj7t>6N+e4yGZT0&UPI9N9|6(I*^m(As4*=g`Cd~<Tj4qI9JR(~MPx+uot4REVbr`w%+IV+^Z(wG`&c5*cp6<WI|QZt)yctiyz5T^MCQ(-jeTz#G%uU;{h*npW?P>cMonv9PzG8wRdq*vkM8XFzpMuhv#m}|rBf7H;Nc{OSKT_iC_ZjMs18F30r49#R&cQeMM6P#r2z&PIqQpHxIN<sL}MGh=BNxJ9kvGiv^UbHLsxtuj^W#A?B4`m?EdjY8kv1p8YY%$`Lt=vF{}P4;AB&~d2MgeC}T6VdC6e28Q2Pe>)cqZA&+tU=oa(mV>ria9RK*FTERpzxxGj&1RnC8asBmRsS1*~@jd(?x+PKVIHe-HUl>OO<FXf-p^cVNTDch|gP8X+;f3S))e9WYPOy@^1$s5b9HSv(U_be;<~Mzx;DkE+IAQ@^pa7_xE-IWe;xMJ+U%t4RF?v6-rga*>)lj@bwCJFaV+Ai)r+vc;!!Yznk-ZB}C#|rKj*t5dbk)@&TLq%zcme9x3<+C~3o}<(j@?6Cmo8>iYK?KM)_b8E8-HAUf9uUuLY6#(W_Zi>t0z{P`V*@>*YO~A9=uDN!w`T-{pu7gl3VQmW-X%1Z384~J&#*F07Ne-gmwH-1E?Xm$*tenTp66eZ24O|M;wyhueibw`fTAmPPLn5dVd!s@Tbb8EP$-j7GST~dyicW?-#h67RC<70WsWly~C`jDuC)D$BA{i67<HBi9xZ4=imcd<Y}<Q0gvv-knBzH01xa?Mb5rp@&0c%`5!}?_i$5*<6l`TI~ZF~@uoDqbXGMVP4ntC*PvWGv995__7lPhgIDge2ErWexpRt%_Q(Sj<^eGS(0H#-^>H0;+J9LOj(bK{fo_HnfCe)GIXil#Xk*P#bPXWmn?he4e!hD(LD&XEQ_99*7#=>9z@QxGj|(s+IC}rWAvJFw_S~4ueNd|7|LE7%Nb+EHL6MoNCg$Iaiw<Hta-{>_aTPL}%hnqFq^$0ijI5_$8@mzAbT|KjfwF7`L=n;M;TUlw;Dk5r6x92xjn>M0N;$V*yeEVpf&-LSr~6y<h9&b?!$-!Ty}GxPi(iv5*bNBHqxs<X{;HnyFUj_W_E^SHopr9T2ej;_Y!5azvT$%sdSF4d^ok=S(2Z9E#;j{Yzco`soVpm+!8Fd8MMYR%S}lL?lda_uJ11~S0L{SW90at9BOG5CyrTBWa7LqOtFj_g9i6%ae2v5}Vuzx01LvlI3>7F?+@2DD>`F}~tV2kBUKbm@JAf0GEjbgT(H>J~C2CURPqtFQy1Fx_tKRa<9kdfi_i22}(AsJry<Ukp33J)s9FNOVhJ2;mog)qaK=#A?0xVjwJ;AiOo3pCzq0rd*oNbob2v_-PFu0F4c5EB0*+UnXGc>qn6oBX(`;s`LihUMlF!T@Ysz%Cuk|-{@h&|w)%$K<kLE5If>9J=#$F{z}2KSm(oDKiz!zH<nMqg_?q2Zf~`FwG7#zY%BXB{?R+weu=V)JC_FL^jL;{>n~nPpUPIu~5H(oC%1Bk6Qd7qc5KkUUcEDYnZH4gNv<^$?Hz%W1J9E@H7mCIIzL7?2h0{!b!KLH<*to^&R-Nwn$R+>|^|T@SshEcWlPdBsUwotuy!I6Odxj?+G=cuJnHpE}rS`X6qkZeE;^@|X91i~eOhJoVh~@`sz_3Ic2M=onjT8C#O>jnmqgW94^)8<p0yJDLNU(2g;N7(z2o!bK&do9dhCrNjN8IvF!b#<szg!;lgG7d{Py%6^P2%%3^DK(oJeJg>(p5v@9`#m-2RLi2yn{|2N5K=-b&<C{T;<C4%?-KadkJ-EKCA@>r7*(V@h)uDEuN_nPmhOr~%e~1lGZXL`hF8`-j`WZF-pw$IZ*xi!S5+iH?`l2(kXBqIVgUO9Sv@2qWW4;)&3TYr)4J<WrqlF{7AxP2^$n5in$zVc*?XIxe9M*6@B*<AYbO2A=(xvo3nfMk{wtu=g@#4amTRN<)laHe+ZLVR8|4x`_AWnqkK)<Pty|}Jf>C2vU_}VF+17%s`2Yn>G!E?c7MAoUN!ac%>TnR2K^dy@hr?b_^Lh9dy(Hz4T@kBPcFC$+*U>eI8COJJCVQb9G(I1J*Oay@+_-#IaeYE<5XVbN}ivZ<EtHLsW9HU<KXFu)?48bGd8SI9Ptqr!)-dgc`c;<aT$afcn(h2W!dft&1Pl&X3ydw<-yym5t;=+H-BFr&qTw>(s&DIH6C&=1(L1S3-qkAND3P?U*y@b7mg5X$3WZUn3=v?FH9$GX37{*#(0biBRdC?6Pmu$P>N7iPiz6XIguxZ|-XoQ%{fwmW?;;CgL@kyv8WtZ2=$DRcw=3CaF<*|lW{P1!DVR^A74Sk8bmHC8?u_8{eOhV;S&I^`o`+fK`@$X*5l}UB+tz=uafr(&PE?pij`<DxHt}9Mi%!ANJ={9#}O7)bTBq+1yKhOjDP80&5k|rvCj#BpkjFE<$=PgIZ|FU=Gp{YcCkSUjPG4?$=Xi5@74`kkv$Qzo=6crr^1a96hN`%U!j=fwH4?l23@`NI0j8$2Vi=_FVZega6`qLM0tjoB_BF1o$k1w@<zGc20&2_uyc4*uPm-iw-7Y&~rP2@NL2S*M_&&G-JwGVq^JMXq2s+!hH-IS8x`K7}Z0;W6m3h8AY{nT9)^@ML-{3-|?A$R&0fP4{o_3qQ3@|o4^w{a9IPjn&`nAYIL6MLQ3o4r1d-gm_=J!*8YHzW2}*%2sjtBgYFrx6jh)=XE#PAZrhm&Aw9pQm);1wv*KLrZc$Zx6%Duc1hHY<6&G|HmVP)%HQEgZ8HK$8W0{_4O0RzxT=E0xCp-pbq<x3)WX=dhg)AI886#V<J4jn%8=}>A0!sl0rH6NL1dab-_Ki@LgwOQs2%kVpzERk%4k-e4qas1SFm3M{_nFEY)%gZa)<Q3E;VK_Ux9#n8j?~NM}1^%neZx7b!jcE3R2~+AEarl?^8;NH^HqT8IFk<6w$QrvR(pU!+bAtUs~n!OO#W(LE^@&>Yd`Y+Hyo%Ds%fgVk%Sey0K*Nngp?Xq8f|DbVF`C>I=z?em&0sLnV+F(T~w7?$Nq)d>VSWN$O4jp}qon#_S$$y;_cccA;tES)xX`q4x;l5L5g$ZO8+?L~=RQ*z;Urcud@tjze{BNrdAkDD;X5{+M`Na~}d?2L7<bqLitKtJ<^bAzQ(K1|XgjGa%Cv@Em>!|?3N`$QoMl4?Ifg3ACBTy@C+r^xI~O2(;TbxLOIdt`P1N`{0++m13fNLfpIs&QwwR)Iao&|1DsZ_jIoQL2ARx<~#WQbaJ@vz8TRz!VU1um!^JI{6NaAvQgGS#F3BXEXFT`6boI%%+t?SyrlY0E#pEH&{hO`CvFJgF4Y^RRe_bO|q(*G?w7;C9C$!-UHL;TDVJl9J>S*cE~YRE#e=h9H!Bhh@a=#pYP7B3qapC_y{v^z^z?;6(!^)RUI(qjhiq+C2{>%FCfJcrgv7`2o|#wps_{Y2@+f0^^sdO@B(BSgkvCEI*0r@unF35LGU27POw6q^lRQqXjNQQ4iBi_g6)O%AJ`{6T;C6h-K;(MJ|4?&v(tUPqw>U1Nd-g>tBNl53Q{CDY}d1S$uy2&#LY*ubUP6wO8|I8mO6^iC(Cx0J=UG5x)>&Bnp2Nfj=;wTu*n^*k#vlAjXN0~8Rn0Mv4N83y!?bG@$~~3JbJlAt{Aj79Hvgh9MUAzxNUHgx<BA@GQEr!)H1SQ+-psD2Qhl9#U75X$4uNFI<C2J00000p92c8?c;Dy00He^fPeu2VHmr{vBYQl0ssI200dcD"},"reproduce":{"offline":true,"dependencies":"Python 3 standard library (including lzma), g++ with C++20, x86-64 glibc. No pip packages, Rust engine, network fetch or submodule is needed.","build_flags":"-O3 -std=c++20 -ffp-contract=off; probe additionally -DORACLE_BUILD; diagnostic additionally -DDEBUG_CORE","source_encoding":"base85(lzma-XZ(UTF-8 JSON mapping relative paths to source text)))","source_lzma_b85":"{Wp48S^xk9=GL@E0stWa761SMbT8$j;W+kZlU)Ekh=?bXkJYa@A*NkKkv99gttq7BiAr!?Wne;S*T-(K3fpiXM%4HipJZz`esm#f_|)#DtxKD^CFuItb%QDL9(!+wHj?QcF-L2%Yg8nyu~@FCSli%6D%iC@r9cVEb**{tB6q!6$qJ}KMd&*K3YS%>f%1@>Mq14#ok)}CR|U_+a323?99auvp;`ZxFW1&|4iFmfkxe#|KQ1}!S&=hLF0^9h`Km5jr}RP`Lh<y6u51Zvy6h<Use54?qb$s{S<floAE}&|1p^i^q_>leXLHh4AjqT7nBrFT4>k^|H8^ThM=Z*-lUo|?UJlj<lZJ3`O0BShZwhVB20$-(fU1Gq;E@Yj^b{h%<jihaB#+A(EH|Lt`9#=J1gJMagZKqQ$VAk<t3;m!JVw#L3+m1>SOnGZCg!Un6dtX8J2aOe<#I|KISpMavn8cbVkpdFdlIe~mIV5l!Zwt=cWL8~<4EwJl7zp+y)3C90@>REqle6i6?#-L&L7dnr;R?)S*y5UGM<oZBS3trB%4-Ii;0lvr+AZ)sWm~uYyzz}s`#<?m<h5K7Q`$*H&|O%H%0wQ?mSzu?H&*-U5|$%BR{rUxd*Yl4zXf94@vZgZ3?(Y0^T(dm(aC9x;^5{ST~A|Rt3EH?x*Au`B&u{#r~z5@P5}#OccgUH%%HVfYu^vWEmUC**tP!?}DL2at3w?hUnF%cKK|&h=ciY%yFHd!_ObilkV??Y%Uo{QdqF^clF)*2wdDCIz5YZ<6<{4Q*Y`m9mt_p7PBZOF}JP4mfu{^c~+R1(H*nH(GsrxY?zv)JX;ApHvTI&SSN>u%_Tv=j6M18TY>p6j>LM%7*S1NyJ|U2mHevsvKBjv*zgKuwyFoaT;wim<3BHgKBXfsXl!$aJp7M<#+J-in?}xnKB)pM7w_xSD|A@RxRSDCb|_KnpjKu~@=~DHTZ1cx4bn!f)MwxF=3FPuLDL(Sc4VUrk?lvfcs8;w0EZ>pFJ9!3iIhJCNLNml%tk`ADnJsd{nU@}%Lmf)(|S)3IekQky$=IC09+c#k;;NpF~tBeT<@RG{0rh9lCFF@9U~!}kpn8f%rO7MqtmNryq?>d&}oblfEu!9vLbSR$MAq@sLu4igKo`MTDCXCMU}*Vl^3$!<`J=uv=ebF^`!*j-8Z@wN=lN4RBJqu%Em6klyLCwD{~?ykS69wT2&d-g;nl7%1pcKZs=sI{abErvy0hS;SAST5lBJL^6%R_$w45;^Khc4V;=}zQd$pNu8$eBbLiqvn(S;SitmggyU_|aZyEY$-Hl!O^hPVE_-Cvxlz2>ofJ$Xbbqc8f_)QKQR!y4UPMn@LzVdEfMEeG}k_5LIyDBezC?v`BsFZ<&m7k&h_y3hM)ny;TtrbJm!@+pFT;&Yhci_?KtsP(rHGE2_qI(X@a42m`dw^xHR>{|aaQbbgEYa1ysgL5Oea?yu700|nK~_DoDbt$D@Z_&seysefn^T^$xiz0HG(~*O_LZn7#11q!FF&8>)M#4X)Trwk`jK4*J9d4(MB^e-+170=%gZDS6%utlbAI<_5P8ph;-XwhrJ9-6aNpe&ai>wODLvfy+>0C&`91~>ih9GOY?}h<d;JMa9PN&Y(y39-Q4h6u))E7XR4g3@C*a}r2ED{o(T5?C6+h7`Ts?dm#inx+NGU2ik!YXUJq^w&*k)K0ufl%Pl6BVq<Z=(XA!&1+T>|$F?-h*xW5(t1l#l0Sicz3rA0d4#R^)4MMvHA`q=pPtI30yXu-e#-MEpk#%d~}@lWbAn4vacjc!fXtxmAYyj``=ZN2m#G+=~8!8dkF@N6~9dF0pUgHAAti0N|^?j2lN~{v^?#z!Iv*K~$%1<mGhy*o(vm(kmuyUBr$q({o#Db7oF)s)+F+t#;LjzFcwM#NI77U!tCFUO_`;8K!a~yPR*VHDH6L7=~!WsEvJD6f`pZ9{NbYjm8Z^?P6cJkq1(H@fetet7d1Fzjr4#c(BtVC*iV~S@s~gp0KXd`F=U3ctd)7zf@s>*LBwiy%)2{n<3l>#G;y`@b<{nRK$+j0$}TgSfJ)?Ki&Ft%1}IA)_HorFVI_!Eo98Nm+YsG0VBg0Yg{9=|1ik&*TWFTKJ)EY$}ug_ELtLzi*d^}Rh(({VL2BE@VZif!B<F~wAC~45ctJkGNZE>=l$hSiD?LTmUFVYiHOt`2=c-46E65%^qsu;e%@Sy0lZ~PLm+YX`XG=>0Qx#xp#6M(554utV%4}&HoNS+!0_}%UI)mR#Z8R349i*CAKJIGL5yTXzJhkrhAx+!l?)p9Ss4dQu3mv%l4+ICXkHoQ>9<{OPafO17SE$3FW;=mpiAYp9X;Spv@oXPWVf#Y9ocFzT9N1bR>5;{LujkGA#!4qe~>jSK_%`hzV&25BJ<Q`rHmo}*#`(yUbx?p3&k5pK0OYuNA5W0w6Z2C;1y_wFnT#9#(jxpF9hWpqyR6yco!1)rpfAWOG+HpCp$WW5eNQGz%W7ea@Sq#MLe@6c49MKQ*7<@j$vjKmp0Ll5gNeYkbR!QjHSqr8qTg4qq~Gn!04I<e65Wi<N=^oex=A8-~}F`6{*Q=1ar&JP*Rzp*Qt^;O|L<UaMPeS5s<OKXq609_x=~%q0`dJ+|neHrD+GRgA((_fq$t=Z4V+V6}Gm-_U|UVN?yNJUWTL+!k0sz9kw1s({a-e94h2D;lMOLYH4tko!n8PD0Jy<qdUVCn*~!TXtd8O^OVjJow1*wmem{h)`0dS>5<fmlaK5(!~2aU$PU@b)@toWYNK$6DMR7GZ)JMc@2xJ%li9#xw#9~BAq~}cSgD!TdSJBGOcqjME_KqpG+oY5f5SI4OAD3|dqJhAn=K*cxaQh$+*uTj@j5<e5hX!klqa<~nQ{n$3mMWKlLhCs2DA_bUeR4J@C6zK=aL(9c?+9~bUPQ|iUJgYj!aD5@KdokaA!?AG3V^WQ;HAd6So1LsttjvbF0b^Td>)*U}X2^iv_g6WpVZYyQ_f#_5IC)m{y+i3VX|_!Cpy&B{frR!s)N?1T-s-aWaM%+Q7!2(|SdId^N<1igBLl{Fs)D3Y4W&S2D~~8QXJlC*tl>frz%@8-1}eFlHK>23MbKcS<^#>EuVm`_;A0XqTb`_-S|%G14HqGsj+7*>&A&^C&3g^rtGjxAz@agIWwLGK+d@=<RTF*pTO0!tt{&G%^EFcxd0Pauow}NH11%>{b4<X2A^6HR@X%Sdtz>rmxfCP#f%9muzO$rKrnOh13N~24$cV24l@R3Ov@O)$Phbd{V#bMeIUDg16V#04W8(je{=4hYM9fvK;(^{=qdT*(04XaEK!meMB}M^2q2@f&%znVn7>cFXXIkSzZ`dQO=Ty3o*L&E6*ZV{puzcA<Uu_zc26AtR15C=Q-Tq-0J$oQMbJNJ(dd)aX|?>^SGHf9cI=%mq?M~n)j|&SeLxnb!7kTL@UMH`hsUxL90j+f3zwz+tfTJF!F@1so%k%4(X)04)Pvdk=OaZAtm<F(fF@K=OUt<#N*kv;-lEaPpZEoJRQQTCwAN$%dT9K=@{M$8GLFP_CHM%>IK)PtwJ1yg|<q1b)#fcfA@@V_|ZqRofH!%dOas>7wu5a)!%}Pco2-5io&K!Soua3Qv;i5HaTOAuLO+eX{Nm30{8gXj~rCvH|LCzDCkRI(cHJ(K2$V*pYyqng(X(X!WbzO<+jeX!~hlkrxU&u3*g9P(Mo#fBLc2G;t@a_3iW00H0m3QX#x<am}7;NfJIZWI|6L47cXH|+pn4W?(v~I)iydLo2rsE?b-$@pMu@TOFd?JG`cx#YQf&`^UN(lr2wEg|A0VpclQ!}I`OF^#H+BZ=dPQ-#9hp7E*EKYh&70CxW<|TS;&_Y1gCJ26zv9MCbn&Vx6I^GS*SJ;J-u!>#xQ1n0BzSlkqo=mM98}wY6TKG+4QnEXbbd;F1UNZaALTCml-D%)Ln+$<2f;d@d`rj!Zs>^ksF9)13F*5yQ?=QV%)ilEl@9{eG#n6R}a34Og^Bo{Jd`@9A!42{V?2@5hx1F8T5cz)v6YFBGcw?ALeobG0kBaNCml`lTaS3nq#ug<6tDTII|{zGQTzmK7k2-65kWv3%3<711H_6ds{U(>qafJsKe_&HMROC3uu?Ozxz8}?dwZS4(uIT7SXYrB}X+x+d)eBd3mk^gPEM&#(IIAxYcF{Z0=d=GqfX#AD_2h@?`HhOk|%RnD8c=@!Pd@%`}Q6ac`o8MYj0!r`OQXhKy`|{Uxo6<1`jS+Cw$Rzksxmr1jUIi<XpHyoMMZLsQ|>|E<*5klI?Cc?=FKQzjtPh~f~v;)Y<K;whup0EDdGdQm3Y;1coj)&b<5+7rfJArr!LJGwv|GK+xy@lw$A!fisTg{5S&%BZliO*g&02?@a|{>Ian5B%m&k`ABx7a7O8REZ|{8{QHM<wP-?xSX2A<y$z>+$q}k-QoEZBP~B5G_&r1vJ4zH^QlCWw(v!jCC7Z27Sk{tg=$o{zkBAr3mP&hRql*A4z<36ZuTb<>TPSVRt4I~X#o0cmsH-LDw(eh9{6-LuA@aPdb26^_K9{G8h=AXdP<e_D6Lks#bO4Uq6n=ldR(U(GlX!sv%WM}qSxNrY|4wxe28JJFOBcfhq8_shFu#mG-bcuC)lgxBuf9GlA;LI3C$*^Rz_|4yCR2J4>Ne7+{gj2)a?E?R)~z~m8ut&VjND5T#*oV>AzlHh%*1X;tNw&>wKaS*Ya$o-@hFKyb&FQX1fxE;Ql7DH3%dGQUpnOxnegqLL16JQR1d|mBt|gAG4b|)10dOKjQpGsiANLvU0D;bv>&>Z-%EHWQ}*m71=|kb*wX+^?`I$T(-blqSTfAdwEps3Z0xyihh1LX86gD4F01+{fbGQCNpmej765+=E208Mf>YaeT25aUMUO*lFolj4nS^uG71)DRBQQJngKSkqbk%K;&_USO86Aqe14iS5_YNaefBq>VW#k`LuPrCH7fbhvhd$}y3WVEo7FDXi2*+0o-Mr?NmXzmR&J?Jxlh~5^%xg$ZC(dWkc`$nwS3bfF^)uEV)3=~cb=XJUq;w!)&k0~OIQe%B^7~SG0?yAf4#Ey6RSI%92aH8LlZaA_BN9-h^SGqx>_w2QIg#`1m{J6mSGfgfNwJ7yu$s61NezPrE|WL9IjoNn3vfPtjLf0oQ%Sj+O7sn?YuTLA<S^^wr%``7>Er*T#Ljcp1?xWg>HSwgr@yv1CyMi`P-ut82X>XFVlH$e*8f4wV%*6d*fyoWvP`!D8NAP6?)gD$|N3NswsYfk(Js#0t&^b%RJxaa_l#i@H&`V@dQ*mGCzYg0199S_b!hjK4I=mAqJ$q+{Cz*qjx9l>2a0$gBo_(6w8WE97&#CgxF~Us2{Q#lGgK+%sGYmGLp>>tN)lMSb`TGf3Yciv=nI%za@qBsj)WUD}`%z6_yV>ua!9SBir$1uWFa4Fwj~bXB)ZW`Q8<$J1plotN8nkIm=E&Fu$h4kI%KPRMrNln7kM5RI56%{^(_GWj8o^&GiRdh5=BSjyIxKVa%J+fr>MDCAs*hznjEttF=?i_)M)YI__>1tsAD;5#_bu{5&5p?(fv--IyoV0UFf=Q0yaiD0|45Bq9Uqq#0wFZR*8o&@yf7J^9~0+(WM4dU+L6VFp2`R1|r}IcxwYY)SPbd-O1>sr!GkB-WR#pn)tSpyqx9<is+(0F}bwS+(+rdyJZf?<+2L?aIN(0{G&$@P0N#aSB?1r+Y*x)?(EXh4g#+Xx*u*PkPOLYyZou(x6y-siwdjB#*!^j*=B9@5rV>sySPBy%*4!hR@}g=JZX9=RN>UD0*@ROyaA<3_7zjZWt#WkN|#JRY$`3XaAzWhd_ce7_gc~BMy-0sO(3#sb|cM|KY-`spfjxN?wk60_L@xE589AzTZvRDJ=yu)&C-qOHV=)oFRaC#%k`N-Cx&-6APjEuP~=S<l4W9j#PpT#m#(c!8NiOU%em=4@+_pdyR&b{`2fi`4=*d@(!WQq7@+J?O+Rqkw%H|kNcez2$dk=WfdEeMc|aay&RQp(8r$O=ea)bFM1d=rS_U^NPi)DCW`V9I`0+G>k?7--e}~JQ*gnu!ewUU4?hQ{$5(1ro0(>kgaf3VBPKXedtT&l9aF+eG6i79qbT0cR|qg*v@n1q9#+DC6;(Bh#_}9w9yLdKl_{ILaZIimt{03zVZJk$slZN_1_flC!)|?1T1`Ht`mQ0axmCE|B>Rnlds6$fPFW~b9VvLDMM`e?@FG1&Vi<$-O~$?Bt{hJ^FG`(z(X#p+9=;ZIw&zf(KBifY7*QDs#m<a|@A5tvNKA<HRRxAM;f)l=>`h)~*82$rj69T{*IwFJ|36IOIMxW{6NLTvzw{@{|1m?i?J%;&gU6SZqqmwZ&DC^}QvXIM+iWF8IwT<72lkx8d=Wo$L|L^WcBm`@l;v2@ACWu^^s$jN%we3Tnl5>hB)9Hv{ZtF$dD!j>Ph2i2bqqUnuTrFav7;HqbijzqGl|yG&?Q@^`(Ru#xR+#pUR@)a=23j+F3s_SQcszPt9klQm4u@`Ma;E+yNIP-6TS?G+v^}z-%Pxl_O_QEx!5T+F&eDB7Ok!wC|iC&#<a96B<r&of*JixnQ#tAeOr31HKkt5&<x`ouk43~OJQJq0nU{8)BPptl@&$<zp%A<v;d_H1x!qTjUUVG?DEHp23vc9+<dyG?|o~7H8kogvAMpYe4ae=_1Dgaox@ZY=sA135^Qc_Guy!U!-}%}XQTx|CVYwwo=j($1=ERkVFgfd23`tUYl~L3bI0eXKt^Ff7PWgHk(f&`HJwSr4(}6ipVKs~MBFb$$=DQZSQ$$(vbt4XX{q2UlgXvaimU?9;SiG`1uaiWF4IgH(FDk`(Km+UWIpn13O*N}(*01zINnFI)E7THBi1;*ggH;PPgbjY2u-huGj$8qUh|o(bTLBN`SJW2t9z@AJ0I7AYN^%e7RyJnOj}fzY_~31UIm&_k>8@+EhUl2Y*O!k2Q4IPxr<U#vC{j50H_^GvTRY%ds3<sEp@=e_FI$IdsSprcu#GuyPFhu6J3vs=?(_;q_;!|G2;(4jbxcZH{b<N*cx@@y3!~zxOyfHqY0L)TPMQ?abk#yuZKBe6nu~8d<|iD1=<CovMAKh@4)PTRnK0bN5b49z^VAO=aQ=MV^17h>K!Ka3eRK`qdho9C&4#I5TQ(ES$~IH?V5w0y!@L<dE?yF)b)1dfth(#E2fzGqYX<dduhHT9(?H{Rk^-{H8$z}%Bas4#}SgKWoZ2q&%m6A0%aufm=~igj;innd5l+ItG<inmjQ|`!S@F65wA%cUFrwfnf_iB9BNMEglTOaW<wnb9!KXZR_oUSJ$ViWdJ75e@CkS5n4sa741FdS@|uG3ydXmuPm?{Ay}8&gADqwa;Oc#qDp+A4OB*zzfj!y2)_O9DrG#0f1JyszgYdgoo(U~cYKz$%kVv2%0oTZa<*NlWt7bo^Cf4e$=~zi4tWs_X$jljpOpw1#ax=2^D%YbMn5|Atio-&_jYDN~sN{dQR$tvGkYsCYT)PBCzfH=B<NSOTyN<pXOo&$fXlD;w$J{>zhbOCfRrcMC*y~kI)*KEaOL9#lV9OnGBdj(1`KDE#a-xO?l(K}0=TbF5G(tM{%7z?f1OaBcHc{i@78sO7kUStgRSFas+t0KLG?^;afxNcMBLhvZhCS=@wFsT=I(#Jgu6;jM2XPx%iNZwF4{es(*MQ*+Ri9uw2=6L**^Athc@HbYs(%iOwYSq%zILnrjmdo(_+n=@j#Rzc<};Ejl3}En?TW2KK4YE-M2}Od1jrK|=gU@eh*rVEf5koN29o|v-bXGRnJ!=7{`X**T@M@I@Mgf|z-`L@ZL~DP_oy(}E?^$;H)l0<w|^`OH&opNh&|@#tT^$~(f~DzGHIBVa{QRp<8D>c9Ec~3KT~|R7;IOR`h8ADrm;K{ul74R4|!A!T+adHf_zS4CW3^oTSAR<oEXja&Xd6hSH7Zczoec**!*E9@?j$~i<rUq$at<VlqLDhqlRl*bSNwKrEUqCJh3{g;BQx+f?zr^0N34Q|J3(l<n)AX=LmP!R*fPL6+eh@M_<5ZRCr(^uh3RKpsW27uJkvc%f0|b7ax-yA7+aj^u2~8y{B+ZRY0U7)JWsk=Gsf633owu-=Fj^gjbogbq;n9nBL0WbzRCg9l$jei>SV~oNbSeEjY&()P08?I5l^pN38@T8K(;3+O!^*-<#!OxLr%^GvdksY=_N*6mr;2=h_tqm|d{Sl@B{?q!I;DgHxlHmtnxjLx-3n(VZQ@90m48>w(~D74Q>RC(KLy!Oo*Bc^q1?Ty@H@QSa#SR86nre7hpc-tU9PXC;R>+sfb4Lj){{%sN7StkMl{ta|wa@(^GO$@bH=0(8!u3}QLii<;tgY97`@5%*-`3qp!RSxEI**=*}cM^xsB9ih4&osOTR2T`*ND#yh@eh^C*Hx~Ss%yWV!*E+E(AQH(E)=?b5W(sn_NFmt~XA*}$T}ZF!5g$#y5(#NZ`PiXu^SyDxjt`pcD2+Hk{8bivjnaci{Ss(E?=aBYHBplu^A--)s$;mvuMK`=2Cuga)X$Vpv4Du`-A<-YF+W-~K1dhURpi>i7#D)u@&Sv*8N*3H$#=6VsiGa<!E54O4GBb1@!{B?9&hYT0lEC;p!;!eoUf8!-uswv{vvci6|`IAv$jBh*FWT|-AeIIg+cZ5Od~@Cy{Nj4{xCGu01}im*hS=(ulW_Y0x>R^p5=g?Vu(I^#`PE00KMaEw+@sQBmPdxgaI_KCPKeo;Hj0|k<vNw?_w~1IS4oZFSl5yv_`Bj$<<ZI-p@tNi4?031k+|~I2ZQ*U-RpJp7BDfRbrp_?SUx~hqueqRb^dRlQ3zB7bmXYJx8`<Sr!wJ#RYST@k2Ak(N`zu9t4!#1#|J(!(wKX8WTN(W9nFJ6p-W`BTI-hDyV*(W2S>n6D^vfEEHQVm$z}G<)l#B+G(G&=dp!3C(HPkxw+blFW>--vpm=RfJH6}wluPiOA>d!7+QHSjYKjxYpU3)N1xmgqz?J-ar?~7GNfY+z^zJ3cOHn**T4boGMk&^VnWNy+NKXl)K5`LLv?jqvU_P}g(JJ-e87WVsi@ph21g$5T73N7nZ%|5zO-i1-$<X@Q6VQF$8C5fT9g-u;ydoG`<36-wScx_?~qH6HBGud_7a%S6sUfaGraDDJy!{FVd%T9-cs*?QfSewEiDOGj;*4EY6wYeU^BIR&vVOSLY{8_QFcWD+X^oG*CXmGq=ovz4ZpZc!&60PxZdB*LdXzKOOI;uaF^+-GW4Xf%S+aljS40cf}j6}F<}m!`cLtCez?-ow-S*NzLt65ar+}L^hu$ZzM^uZgJ;gBN18G$Enf;XI|xi((Hq$)1>N@%6JfelwX~H*0W!dVqO)P%)d&(@G|oF*^lMge0uDn?ug#~p(qy7N;tvL!18xUF1AZo=?hlJV@kg)|DAJ#G@I_c=I<IX3Y(jZ_YEepCCLlaW;eHAvmWJ@$2q+~$Q{l93W;XW4OVsHc!hTYkDs2K(@cW9|3`>_TqNQ=wzB@H?qa|e30%s{9NB|vYceY3L((B`?pwqGff{3zHgiLOZYjKPSF3dnf2{@kKiq(h#zyAEq_ggjHJyY<fj=IZ^s)N%~B<@LB_&B8;!XiO7-f<M@cEed?5fL&=H6y%`Ug&w3E0wa!t?i_pLU<40TEj?F<QnIzCvOU-)j1$f<lt;~nAa#onkA8SWI09lJn%;1TUM5|h4s35h|CxW!7p;$Wm^w#VZpisk?>{)tvFKd73X_<Xtt!xKv@CsH)khjrqjZ2nslO_Ab60x|L-@zIlsXKMZI_A71WqbNmrV@mgvqGB;*EYMF0O_EKHfvIP-Pyq$E7>bxQE;Fx-$y@CR@W`5D~JZ>Dtgvyn$TJ3w7;o~PUWIs(Cah`ZcO<}Bl+PYy3srEjdTvMZN7O~8F^`ZyrP+)ZgZeLc|&uPCN8L4GXe8{l~bF<51nI}(R3d98$scDa~Ho;-qe!qdd;D^#YaLK^&^%zO~Tr5rk4bn0zHja-w5vZkj2LB@8B$oA<5_@&Cny>)tLNbr$9HZt!6q1)<g`e^EPx!EX8Ag4`EFvQN>5DSg{r5RL*D7+rrJpQ32DH`l(pX3AwX4-&xZTL@d4&_&OnCmh}N()RGNkDLQr(&wtY*dtS6e`&+O4bqHqD~ky#=AA-yQjHAYNSWBbOi%+>e;pkM}XB$4$Cwib8GoqnKW;F!UL6&F+h?2t3~LF+&6W)3ZvNw!1sv)0YH>|=*bX<mMD7aljZ2X#K3%bqWw%fm0VZ4Hu1V9pZmQZ+!)$bY`)U#c6`ID*_v?f71$OdP&IQ3Z!GqH*1BapgNKu59?bgzvFzGf<%>qPZrrtJqQzfWQhcr}Q($xWe*oT7u)uilulB{-G6bP>kGaF6uM4-r;Rv<n#Oh2GNGvO0S=J`QbZ1u&mUIOn^a@e!*u--GcN*TbV4c?RmW9=VMOCarDU?ioE@p(r_!AXtrIDRgU+iYnHBfuSL(!b!)}co)AY8a(nC!6c0&iCjf)7Hjz~*%;gHK0ZMM8{6_TOB=fABR@&A((A+>M|4c71e^j{*d5*p%7g<*5n2-_rcxaOJfx)$dI+W)qod&~=~H?~;Et0BUwe{l0V~B>%bN7-F+T4D?hxd#?lJ=TtToMIvmg7g7jnVkoeRZ$#>hV*e1rZG#BQh2V%cHjE#Bp=`_H7ckF;;!SLpT*B6>;N9w;t)ZiNtUhLL?^dgcYNH?!@HfYIxDQB9;`(X^h8aB`dAq5u<Pib>>!oHeU21zzIlB4NJVY();5qq$9T|=n-x@X8cb#i*w|R)2UEb4WiWE_dJh?E2VpSxZ$Himd>7JCLHG+3Jn->)fsLp5gDLof_!OgO!@6EwRZE!l{KLG}42j&jmjX<ina^O4O8xmbI)tO?QnfTeP4qV!BL!7a-+mZi{1#7gr+9W517F(kTb#9mqdl10VH)`vsf}8(7@}!mCtjm?z9BT;r%d<b0Advm!f^u6v&7+Ej{=;RtEcSWP{A}!p6uVX4z&GYY#u9l$IE&_hx<fb@lO#B`e^MkQpm^eu$L3u*VNH$Hi+zua%zHRfc=t{A&+dn7n(KRJ+YN^HutQyL-h~s(QcYrQX9!cqbiFH~_5<4$Cmw;KIOnOL!zYVy3X_1*O)yfVF4sO^lX3y=m&?&md}+I1id@hr9F{<*uX(?%+1DM0gPma|NSFnOub*TRrCZ8MvQ(B6``+p*E^P@?Ji7h2H4cb!{*){eeoK%8m-P}IvnYZLT{{eM(s}fg2pM+EoCKTTBq}2PI>D<@r2xa_uY=NBOR94$YYl&@VnPZ`7(Bs|AFnzVH2Q@9JLuS<7_9({vnMv()t8@tu8h*OTU9NlI~O%=HH<w*uAorr%sJa)Nip?ZrqNLyz+toYdL{1OEmp{B58*Xo<-30X?j|AGKBJ%M8`e84Cj~_(m^4+}H!nS>8f0c?JPo2ql={=c(Vz`TWeRf9+gFEdlFkUIF}~M(Eb{qH*IabN4i8$6783Pxtz(3|3%SI$qE}<IZ)u+?wsZ+l)m5~n2kuP8%pE?c9}04G8T+4*ymn-|i;U~C>1SojfBPGjf0j`<T00K>T!MVPXn=s%+dv7+<@{!W8;2}b((@!B?AScFu{mY*k*m@E&J*uj07K&i^Vc=Uh-|o&$Rm|H7@R6LjWXrh!H4{>ttBWG$OuI^4|USREf#?vgHf9CZwNb4wJv#CPJ(Y$$kK4&(LV-uP#?}eD;=K@JiXn^L_dwcw8X#-<0oI<)|!+U;sw7wdWq36rr@Z3-3F=v@1mk>XP3kSt^|(Lh6A^qN;wSf^2Q_u6PzO+)AL$}eVm%N76IhV<dkA8vx;#m*)Ez#ysLC04EebVv0E9`mBIocGD%GcJfpaE=%q4WHD9wjDUAL>SQFnuI7@YlF(7EYM8gpW3GI`BLL%)`EPBOn7%!26&JX!;{~?*TsLe(mf==tEaW*-QjBZ1mN?lJLs9kZi7brm3R9w!kLKBMN{@la=0oWygELidhbdfxkaD;^+E15J*`eqZY1*jhp*k01MV4@!ogkT2d=xQl2^qi?2wM0!BgWX?<jq}gQr$^(S*=}?clC%B3Y^xu<M7eibcP9eRubms(imngrQ^p?#E&n&w=Q1tEd#5OpI+pVFQPQ+7`a+Z}1dW&blf32MVmJy5$m+RI=}FVJGN*|qG5Q+>WI3VCC#umTbu|7fWeI_izMJc-yDf|ZMuW1OQsR_#3TjNbox)(|D~?ygA<1TviV+w7^uakiUE04|%Q8qkEn)DNIW!9DdFX)jC$#Dz5L&jXPO>lqfr;~`|6E;d0`Z8VkXU*zDIkcaDo37S?ipfhTrfH!a4~5vazxtqVf)-gteoAs?HQnF=faEJ6J!m+n8sMtQdaf7j|puwXl?v(QUo&{?g1F?o()g5c>2>f^mTP#jfqJGP<aErRVcmaAN8qga6hI)xu@m|);z}y-Ehb}dqfj6>oZoqle%+!&pZra2;Y1rQS;8n>bcpFX!!KLXb}|@rDx+@h>s0a-jks=T~9y0xNh{ssj;&n$YX^^Ym7d6r<lNl7PIRn#;pC?fq)4}mq3<xV$r=8LQz%EzWNmA@f~K3Zb42HC*86qEUGhyu?yiWZRLL!EyUFlDm&+}%nA)2-XGnEtntBg8Kx?nIx&4t!GE!y^1Qe#j69VprghT{?skFLK0T>@bEVvu@V)8;<=h+6^4vv7br%8~Y7WB|WY-qsjErxJbE?~;ck^)EXJ8EBAAZ-3wJ!xKV*33`akhpxJD_aJ^DlhQ#nhDbv<;`g1Sj`-4~H3hSTRf}DH*K{46<9Bk2AgmgqtpUc1hye0^C8#qCFNkk$e&OEHOP2*OebNUlV5WphyxeNxdP#y-kbyg`7=>0x$`nHb(jN%4vYE?)f=IGs=o>*?}oCf}^|ax+g16vsgqoh-~VvB?tpV=+4h2l7p}hs176ZqqDI$&HD*_LB|oMQN<=z`4Fj8^1|EVUW(DPDm3yeJ)XS1|FIRhOK^F>JSC}J{Z?<Hx}{c?y;KiVeV;9&b(k9boS;OWjd^{8xnZb*Rc2u9;HxOw_}={|B_(L(n7)K>WY^s=dfRRhDballB-<f;s!^>Y|M_v&3(*tug?C(hkWAVrPBqc-D?J)phBHJmzB2#vXf)R}wS^oU_+Ax@Ea(xk$NTkmX1(Pba>9&u_#_Q4oYlHj$FZ$ZXqQ)7JB|*xP$0FMJnv#pS|1~LaR(}B7>M|-d8r)-pNDo-4ocLi^86`Cr`jyd1W1ukdd!e!6Z$1<wIn`uuu}6Y>FAtP9Nze;p8X?#-$FVK%=s<Bl=xw$7=hxN*;``@U7%oVIf-Za_S2*p743hEm|(gKtWj_<<U#x&x#@iKX+?d1ENP>T^#-2<J3Wf8|0@_5`-h5p!*<U}bqM<gX>Vd!=_kT6xXP5#_PGx3W-x_@IuW9Qc^8)@M~~|9!xL*6EZCvZG<iJHC0;OdIi1pm7#y$blgN^Lr5+4SOwI7-`!N={SBZQ6hZYO{^kgF>N;y(uhmUpOc9(e0F)TQ;#Dd)e?M=K+c%86GIdQaUBMo*YDay!vK7(L#fsy%&^f1aficCf|1$YXW-)jK&V7wSG#Zt!YU|X1i6)|+r1MHp&$oiC@$Qp3o83JzEQ1HpbM*;l<D7L3lE4-hO$piX`N-Nn)yk{QPZV=^<BhpZ0%1TSMn*jsr_%>!i|GYgUv~@xeN(FD0){iptuFljAudh2D{J4uuaRY)@F)Khryuy(-?Jf(buqMCcHKl!ct=26P1O_crajwRaG7io0vxc2u)=I!kIqzvXqhkge1|r=QJxEpJK1Rkk@kBLT3WfWaVAUZ9NPBMk=OsaT0-7umi&vY)D7Hbhe<{4%AALq-j>T>OR+fpYSVAJ9bYZA67RUcc^r<ynVRO$1V$p<`P=Zko7o|q{UTt3FYsGFeN)=U&0S?H!SK+`+7#uecpD#V{b`G>95Nt8~coBq+%`gdRt)YzklKP7^ji6cw0$cFIh^X;a^TZS#i;wPY9J&P9q&-=Fx4S_<UwPE4-M11@nB?vU=KFfar=<n2OxdhqDw=^(+8ii~+$^U;H064YJN!xZ8gP;En{R`G66a({yHccc+tQ%v-XK(rm|M-RTyz;;C4x=jOORVRzwCX!Nwew0S%%`|71z|*^C_9tP(Aib`<F9`$Uq2zFp8K0q;ni=*_T~?qH4%<&nOlQe@y6cOEqawo)@?DwOQL~KF0&GY)Uv=;cYUe@?Y8gDi!3(0;y;W&vIkV6hcN`REsVr3AzJ~Unk8p52FNj1c64nFM-$BqwS9Vx5aNo1+5v^Fc>nzLhsuK{3M*6+2BOI=BxX2T>A3Hl!pp9JgwgE0c?YbX95_N9RwS9c}f<E9;TqAF(2eaGSykhLhZ3vuhCIx9Ntv2KESzHw*E$H9_&--f40j)gaOQIU8Yvf%-6S}s5+hQys>8=A#w<l%s(4CjVenHGVhIHP61WK?<mm|(i%;iHRadPb8ye~`frtFC_(Zm@?ruDh$ohXD`M<G`s;2apy46J9WsnyTwurG5=m`+?Lbjmg7hbOQg;YE)J-z;2keeof7zNb1Iv`sKq1)Mb_FdDs<P^X)px1ldIVL<T9He2?Lu%{AjQx;WH|NBX=X0ur~!dd{Tzz76(k#REqk;wAL9F|{;}O!zgcd8f+5kacr17H4I|jhd|<hEJWD;dBUmitCu!QA{FdpDj>6x(O+dC^Q08i!AEaT3PeP*BwO*~->?qiB8DrVMGAz>bEU+^E(|+JtM!S%#!Z=E>&@BNwIgxY$r+=Mus=Pk~M)IxSKuDNmI>KI|Y1LIjv{&al;|I|`VSU@%@(6L4Ose8Z1NI+9vkw$)C?w^5@BZo2TwVWL1XSjHmu9jxKk>o?OZO@1kBi@;v;)jD$r3DGqNXlOlc(0shpbXAvmRT<F+Jt_<NblB<<AEF-y)sLNuR>q;dKJ)UX^4i=k2f{mESX%ew}c;HtyfCV=PtvA_AsI0=vQbv@|mW&d=l5AGd^4nDrF7+6$(a`&6YpN|oMmM0h+}Uy1)l*-T2yicX`vz^4>TPzypy^CZGq8@Ah32__xFvmkiW02xr)W+X?g<k$OVKjZiu`){-V1>~aeudruk3&Y7-WP_ME++l@@sgI?4rCw%19Fpft-Iu0Q(I#D}2o=u~YGkE0WwFDG%s}J*J{t_s)rH-JJxSc{8iF>FO6R|oqSt?z-Un|$KHBP`Z!<Wo30H!WS|-jt?NU$fM$woGHH2K?<)iikIGdCgV9}QiK=^#kc@jka?VI&_^DD(uX?&1r@yzf*;SxHPa8Aid2H$rbFUdF9{T&ZHtI-sD>%nhqaKh>Dk2GO^j|#43bhPpi;?kQ}(7KARIaawtBn{TUij3?BQ<S@fV}k{xDL{9;tgH3Ya#g{&xfu9QMOnZC{34LQ3FR!#c*>UFG~$;vMH!kp?Z(57RY^KW)PE?{J5&FZ;zuYs9QGZE+hc6;z(lzkfJb=Hy97UHijESjY&+%wvnl7Xx^>q(6)tQqJo09R(Dl&Q{{qge(c1<G8BwRUe#yUphgtzB!g(=sgAQb*z&pCGa>0=GZ&W;+H`gN1%6Ze5mWl2`J$|lsRxFxUk9lRH8er|b5lVo-3St(mK=Exd8k_L}kW&Kh^ss%%zoy6Ku#8{CShg@h`vqnO+Eoaa39v^%yN%JhYD6saQXg98`l`&8LXY$4zkd%#H7i}*Fi}I+0q^>e32*a}8gbI_icExtU34cAuRR0?lZ*VRj<qas6E#|v=LW9b`abdfUasBLM<v;MHRKAP#k#os9P?I3!Wi9@#3EV(bM2if3YEFF+TwAu(Qhw-gqhTaIcn*7{$5aBAGoX!NZC&WRi@PEC>>jg<obASc&ylb0}^!VWKgb%EE_i(>+jDnBdF>_kr5IMJF(G{n=fni+-w%U3;kFB>Zk^iUe>9{77LhECmE%dlDf2K5EH<_vR$PhKI`~=gqvfagt^Lv&&=#sb;JD#LaRX3msoPrlXRRW9g9igsQuPzvzngqYE=MrkrL@^4na+i+^K+gf=)Wb55q%xaxwHbtK{Vw{wzKxp5F#`GP@@rv{ibP2HmhK@_|EIEb|i@$J~^Q>Tf+7jT&>l_$mDj$(A~TdQ560`+!L2AO6#^jg3pkOX2oq>@?671=<6c2=?V5`Y-jI^EffpOU|XA+bgkz&X%SL{Y5*C$jw()d$)8UPCTLxlEjT}E@Mf`(-q+mZ%<eit5T2`cMsLmVE!+LuCf)gblN=bPpc8uMDMtHBwDSPH!3{_jDVMc{<q=MO&Svn0xqIopSZl!?(76;fULQgDL9Wl_pt0A%)cnV7h!puaWD0qb!UV_x>M=9IRC8DxDVtWfh-Ww^56V0&^L>RJQICHeCqfF0=XZQONH9-mq|rI&u`xSBoz-(S(uA~f9FLM`VU8H%aFgSxhF@pW*t`Gs9_l?=$t>m174WiX_cRF^w)6h8Cop(yx4`+&!CjgwB|J>q?nw*|A|#SRf|@7lt*$MjbgJct^}|#7=9SokRw@_!A4r<YW>*=m-Fy=GF<T6WOimLzGOw(`WtSAU+V5j2pB90lcx7C;v<dG*23rDK)yu)!>ZJ?se`A{U8Qceou{$W6?ObNoqw_mrh2JIs!0@*6sEUzEM}sCcyf;%FmdmlP8n#lr<5s1tpbt5S0~RE@Oz}&VYgSWYJ3;t@n6#|4S_&koj700%aU|hLFE1J^#HxwIMATxrhEe&AE;8oD|^%$x4n=o9Gwf)@B^T04jtUGU?vc7g*nxz6zRJena^;`iOdDw1>|;bx^V)H#lx$HFb~cK%L%*mt)2}vjr8hN$QTUI$oy6PXJYX0Trz7LT$xN}6+Cj`U+Xvq<`Rb2j84eS#4_o8;AiTj6I^4skWB$MXGo}(zpV)%^Fx~nqlUtxB4Be+<Q)h7j!RnGNyp;^+_&RSeAr-ZL$ycpjY|PytUryD(-$|_ARAXwL#goqtWOr7D@cd*q(v}w9Kc*Q3Z<fr>409qb}9~HOOC{xRK33bOQaxfPP*Ax@ra%MhMYNg^6ITnG3i{gUK-*5H|5ZTqJ|P!|Afghn^^~<(O4!dd1UtKxKQurFMgy^yJsIRNd7Whys38Vagv+ULQ2(=->S#Op%-J{OBWyak4E`#h4Lm>jt!=t$BsT;WxpZs0<HX_@kgVI4vv`Kusn>i=Sv`FvHSPQ-#Hw91lZ@b5XlDMZ+43tf!tFJ!!ptse`{>1RwZG*o~VJQSL;}xDQy+br*ld~>L-=l*nHbn*z~qa@o>>zQ2=2L7HuqV>oypSAHcm-U&OKjb2{CKX-#M=<QdQc$!BW-x7PzT`SWu`kB{F|uL8mxAd7UpfEwwuk#){Llm9>U^akt;f9Iv2;3|R4fdDMvkXZA2``D$OlL1y}Q&E}lQmJ3EF9Cvq9RHQ|j9AWy6R%4*=1&su0Fc=gFe6KrGz^^E(=o({8?q1DrYEqrk$_CwkkF6`RI3s;RDIvo)qAPXdEjlypC*=?6~%O<G!z3wR_%3E<7WGlUyly8FJNTlK7Z@j808OOSJcU>;O%xV<!6@xP}mwTAoeup!34mTcfxN?DAFe_sbr+T=S9@<C8L=x$ma$53@H%7=zqh|1SqE00bxF6G2Mg?`$8|iLrM4di$Dkd&|5Kt+Knpb<v7jfXiiGXyp^j~BE`2TFUnvjzs1k-+yDp&p2oS<j_zo5PRC9lK=VE@6GRJJpPMO|EHGIxn1S_)*P26hBUa9EgC>)w8y6<=lYAapTvqJkQ}@r*DUMP>(CMp3p=+|ES=pb2O*aHW?DA;4%da*~-qLy;{hH$+?}xz~ZUr`hq%UeRIPiq@uII{HW-H{{5!2-AyA*WvIEl}M!Rmz~wp+CZu(8vCB*mZ!#uF0NAH6FYCavOS4do5a00X*}h)Y{uFs}MOOP+PtK&I|pr~nl4p=jI{h?^IH&t*&iLLd>gBywk~jpl#+*qu|YN2PcseCpogl2&)rS(PA+Pw>=Uf;Ur7imHNZs*JoM045Bf)&nO?m3G8t^7pyZar*GfcQ(7;`@i>0!L*PK?ny_Ww)lHGIm@+<5?y=l@<e;`;$V%`%76ta>2pr#|8bOxGcxXK!3v@EroS7;Y^CNtb{X2lR9`T|xtMxd=hDYrm8c4%z2r-lKN>f%sE~gNH5ED9-3!e=U!07HYps<pa@A#7wi{E=E}0~^EL^?`BPlOjWHQbmd&U*L|CtjCyV0jr%sZ@P2}l`WysS9HvzJZ}oiZN)DHS?iQ8;~&BS{BeDegrBzhdU;M?~_D-GvYq!$B8YDb#`xkSNHEHe@D@cHjthK#o>y>zJme1V_MO2ooCIRwI4d{x~5`7*28;)Ir_b1he+|omx~jhZWu@KOZUGU_p(?)9AO(^H=mjA<t4dpHgQZ0aJ)!I?BwlR#w2<O5`9}0_B-aatK#N(a32i4+!qfdzJ^fCQI2+<4U>)y2w4#L|M1wwJ~CtP6P8*>ddOXVdU243~3)Ci`~>4mnOH#S97%96c4SAx!E;%xA_L@fK|EMginCMB~}{C*fpcqIh2=;Zv`-w7BQqcavuI%d*k2On3T+!UF`)D02m|~yuH0{wv<!?je_|J8)BR;OE9TR@N#}<zB<mh^+$n&UB!3}Rav=eXEBKfJcxlyGqG4|RjsA`2m}fQ1=Sxr6M7f81kt2j*pB$}n|I7dE>9VgorK%#Q8R$ok=dtW<ozMN3agkwsBM0{jthnAt_z%LgBChs0&w_{rsSWEkoA=|(N6Zjew4t!9qa}vy~Iwkbs--YbFK$K6a}4ElMyBNBvM@3!XSCFZY3v7=#bV0R~U{JDD8lg?fZt~dI?5_Ej+U<3JX(96wG!}YE<U*<=r+q4DZBTAez_g9>pJMguDk{cEQ6Dn3)}wn2SVzOtmn!wt{>_2L{nPZNkyHB2P)-VAGGaKm#lir7ZyrbtkO7L2@%LaKtW3_mRJH6FSNiWXBC~!pf9p<k)DXlwh~KC7wOZy&q5bu#c=$a*U7O7vc#Kcq}f*x2SK)|KK<O#|u`O`;qY!F}YF1TfqC_1PcVoYT+}F(!0LaIFCU28yEZwP|Q!aQ7-YXBqdM(bbT6omif4@!%e1ST<y4I%?u!rY@aJZOj&d_HBq_$R0A1m7qJsS4^RVHS#Ld#u>nDBjRVE?a)kRZ<Vuj<U9&BQ9C{m2PzOh_K%p^tNxrcyLW}N0QYdn+F>t&D6GlYKH_TQ~1!$1<RhhGm#$)0uQC<iW3hEB!!Js~r)wKm#6@p-2kisaEEHTxs!S>WFVIXzh&PF2fpT5y*8kAH_c6!8R?E6OW_GLWxSvPBJtXO}FlY#{+8n_upE4&z~@a(&35`>91CB~PTCWVYD5gXfiJ*UGu*kKtf1q0cAcR9k2onf|N5Odylq{K2aMQZy&%AzF{HB-?Q0s0>VViUu;sn9L4Zi?)jhWt%?)@Ep{)tlQ7_vQ3m<a*SJH-+DC?eZR9Qf?tq3Qe~50lAXg?Odf_VH&;#4@4h=o#hP*V2P`#wwq#H&2kC^%&ECE04mT;6cO+TJauS5?jYE=!^xenoZ!W{NMAjYI$a_JFa);Hg1D=bvH(G;3B5@xT9WB%Ep&k@CPtAMcm=Hwp-1a%e%@kA<^wO53wO&o+NV-YVeqEw4zVG2z!rk<DPP(N@OI#(21TbCS(3aXXL5hbQ)X_<6Qj?r9fIMdWzJXE62s`sD#1<cip(o4+7fYT0&$ZF<g6@hl+Ku9H*3)RTRt|<fM76Acq4H{wzn*=PT4GVxb!ydLQTImxbqnV;C`#uNwsiIDB3{VqI8JzG=4dLcW2EC;jPXr%}`*1eVNW4W>r*gArQ8x!m&5C`b?Q5q2tc#BmZxO5(xWx4GV?7L6c3%r&At25QFU-RfE9s!f0DF4kC!C6(i1=e2>jkQfPf>O;y4q&#2B;K*#$G95XOTS-Le$@37|{o5y^BW`_-!6O!vhfJnFGw$xL0VFht^O^mWa<hpEI$KGMB2s<?Mg+B|^2$`6h(B{xHn#v4d1GVSA?0r%V^Va?t0H4JaSA=9*9|LyHP>34YLS|NfPm+=z9jPWQ@6%%ElM-DBKmO4_nk+#tR7I3v)Ax1w(6q_yw{--jtOue`(rE&1_Abj;JbY0rzl3fD<RC!&X^u^|;k~BFYb5`08fF&R)PPJnEPU-z6qmoO^PitlhRhgKW!`B+nbic*bcV&QKNTar8?fJaIDg6{<koUMZ=RLak?|l#&7LP<IzC2J3HA8*dnF%4l%AA2ni;XcxP`m<S(|;*sTG33>0RXRZNAtaRGp+<y8zbNcap078Z9LtH6DRgt+f2j9w>JIFCz++5}fw+NU&aYp=e?FXN;}D!mfP!OIWmeQPec0cVY0&^PqVq6aX^hjtwq|&0~v^y?jKhh~?PWs(({)p-k6$H(IaLx_T6eWHxQ}Luj2`WLDe4pIOOau$w=oKgP<nEPa@UNa4Rnw!!dbs!zOYu-8|!v}JhjNoG|s_m`>v^Pgfo`r*j9|N2~EFa47&xne<-feRI}s^w?Cv}D;Z^Vm-`+|Z}fmb3#)U<sU#{7(rN9qRJen{B)9tQz~_DK~sQvEwT>LTJQ+XPXD{ROuIU429MQE}Npt_bp81$_Jj^FYx|}9QytN1N7mm3R%jOUeRDTURXI>noOXK<<m<#pHOLFr6}xv)^_qU2K;l`kyPa?qYP88^|v;{ZH;`tojG(@gpXnA89|0tjFAA=x5<d^DBT23W)syEGphOVf@fsUNjS7>Kz~7H5=nnbq-Hg_4bAML<;KC*!(s0gi<`OzzsiXBy89(ZR6jaPiWvAXl!3qdt2R1RErd|tQ@8DE<p++<>G>=QwgF<p(lSoQ1NX4;e{}m7O20f>Hy)hVo7@%UkMuX}<jc!~%>)?c6x@MZna}Gzpap4g8>|HzP^rW}Ih)gWS7soUN~>x4sEO;7&Ve3X``RX-A)u>7%-ZBYPAaP)hd*_T(U8gnAZe%c#<zyY4l=60MbxT!Lyx8g33#bgMRuX_*eokGhd+xDjSzDvPQ1kmJ0A{k@{|aE^YCc1YMI`cYq?&6*f*_Zc#Ec(v{(P`vItMWp7d=kS|;MZOlK;Hs8DbfDGB<}(Nii5B~htZ!p>=W=b@UnAl_dkd;V@DNS=Ds^eg&LF$G>a3I8q?{oa2&%9{ijL4p(}_wS>e|4`-HwXzqih`;*0DU89_Z01;!Y#rsH3H&SBE71hm;fU1FX=a6)X*bFO?VL28uB6On73dvCde`jSe>i3zAw0Y%3$VyJKS{|;l|J6M=3?8^xi;6AdCVGOtO6uLf!7TQPScFd7}0tPhxQVnIrXVS=ByeQ$+nA^6gCA??M26c%nhG<5o>l8c8i1rKYtD^Wy%u1Tn~{1yn9XY$ipzAQVUwZ<rdDuBM0@G5DmW^46mEU49p#f>B43?vA42g2Fry6F>sM46;i$-sKvsex6Kg0ja;Y_c-^;)))UgwtpB+NO^64jtn}4%8be6f4im6JyH!D%a-NU`K7L=V(7isJP)m)Vc0`!IecB#9c!mPs=bJ^2KG7vW6ZDrgx9Z?-Lx}${O5jC^hm67eZW;u9b-6C9CNVu-vjVkC%L(!MWx1y#u;VI9^9g^grZQtiHcCJG{R8{8-vN3KPRB?kyxPHS?_A(VY(yBgu4><0yVRnMlX|r}q$SM%zYZgdH!|iS@6@!dNh+YN3BhKWy7!pSgZ?@j1O_n)_T)t#r3C4KboD8|3Q$1QHz~@-;Jco9YDMl>RR}Bo7|sV3FLD>^feSjk|DIDnuc6f%!gk4$B&z1rsa7fedKF=CoV`|Nwsa+&i04JIuqr6*!q?&Bd4wV{M_62P>~3_p#0k<DP8UC_295}M(g*}8aMN??R*E}Trb6E{?d*{<dYi@?OkXKwqcBl>{-cmnltjsN7i|c}b9%0noef#yzamQZ<}lF#t!rE+qc6NA*KKs;q~2^SUDhw(p{PBC9F=GD=W*VqWbeo-;uZm^kC_?PLnv0NUJEU}EkczjykZ++>ERY{K}rFT;sSVtCK1AAmIUUeA?9dm@^+&l+sO!&ty0if97CjM>9cgH(!^iO<tNJZ;)M(-f}N&e#a8VxA`wWlJ$H{)YXe5|E=R=N{>qdI<mn>0P$?U#hbl#v1?^Hv0;qG*pb;9BE*-r^PKaP50!mQ1ux;d+sLNA{V_e+O;4538UvIma(BR(+(?GHxi@}fO$tq(o_yv*~#(T_?TNX4RRg0yo8dW@it!HI-jWDWC@nSMS#I}qSl8|K0+&0I_l7alBK|77MBJk-k0gm+XHK+avTJE~vD(R4{v#?EW`xa2$ba;__LHpE5jt9iCGXmE}!i%~jzdb2(P19J?*D;FtHwUOjDCidf5Ln@-@XeN~5tAGR;uNRkW?Z&i`zZExWU1CeNbwW4eCIbMBe|>Oz0+0reJ0?NZ>10N#j0>4i392#d%8*RqCPs#tJltnC?a<;Bz)OIn9<AK;`&=+B1P1=Z}4pH(yu7n$DR6)u=Z>5X3Llpa$G^J#@%@GkL2yv(nyVO6RtKVtA+sWq;G%*@`Ea%B4Lu(N$K6$a>14yB2tA3%8XBoU~u^}lJb5_c_y@!WjUH(_^?RKj?Zvmy##&tx<{{V7Ar4rE5zb_mQ+!}ueqF_ky1-PeO*=M{(b?wsw5`0odt0mREQ2JtfT|%pwZ^*h!QCa1?rrN|3Uj?#iEp$25k4`H~!CwtI7KayH=-e`9}qo^Br^^m5<>3JuXE|7F_9nXXyG#btO==s$O;kqx28X43$~Uc)m^^*(^>lkn`!uN<yyZ|5Cv65$A!94Lol6r^cuCrPsyHVg#~r`QkeM)jOGxRFwN^Yv)mq%7VJb)v6*DpQ^L_zHTw3Q*klUnrA2WzhnP(^8$^nHKk^m#1LO=vU;RG^0|jH2pjm*?+i1;pmp2~&0;TlC0Z8B0fCJsaAfm|KGXplcg2xSeOtOEZwa%bwA26^?z<5yzuG7c0*K%)tEuxua@nKqECJCEZZigkDwC4~0%OBdRn;AQpByCvc6%KJ>;+rA`~vW2{gK{>KkEvFml5P`Do+FvS{z@$7?jsQv%-1ul~%nge8-HXYI7zw>@I?I!wLj&uqTp2Nx6%|X;*XH`|EnREC4oM9hZP%L@3BiXeg*FMjVmcaOptdB*NllM(PPDW|7p15tGQz3~IzBCFg=tA&!wuFFVyUpb&_(P!<%bf+9QyRTN}=nsi$#Ios6TwcikJBLK7=H`yt=%2{#A(gGKjd6DL@R!nuq7&~BzsVlYD99R%#1nVbg`tfN2k}WeNe4F`|ghMv)c)o}B8$sP#Ne?@Se{o<>2z}aPCbWvbt7Sy9To7wL&}cA{flMV1JBU(`j>Z{#OO4C)e&OjjFhK0KmL;XF5VelJr>YhA6}M{Du6k+se=fkcnsW~T9XhbULH*Pi*+ICSw!1?6+q<V_zMo})+rFAOJGs693&5g;o8hl%VL}Ycv+&ah!J-%ZUy)VFRk8!;W6xH{zctqe1-@mdx2~3s%+R0mEUDnU)2#of4>Fb4l)M19>X~)ysJPji(&L*IoZ!Co@NBU?&Ss?-*Bu<;4&Cuw`1~yWu<<uQvm97TccQorfz$tSPbBQNIy~T%q^)_g#Rwa-ME^S-TiUW>O(JIUy}Nu`@mPY}PyILLb!)RiwGk%oP4%3(eGvl>Px*yKMwQ0&B<I7XQw&(#D(9d*vy5CXQxWu&WIjaeDQPESk;tjhg@$f%h?0JKLIfd6Tin=Ti6dz@nvkM$3y<Rh4cq#TSHrP|Zw5?uSH<zc%n&n!#CCm)Bfxia3Y(}$I79|eJ43xn5ujtCz8&*DcdSe(p{w(y^EeY{QL@1hsUEDTX!ZK_b+oIRF5gN4Z*1{UoY}?2x=2{@2KToEs&rudgB_g5%$0$%0{$d&`1$0of*0(q?`TLB%uw5QK7z#jYr$swN|{SF`>$ac(24;?J@Nf4c$LN7-?e4sGb(;_90^u{GF;Q<48@8@Y$>SsiVJcy5qS5fPE0-~FS{y>iLJX{dZ8H;CKh1mmc2i!VpnT33ERg;*4!$$%tEU?&-}?K{w+d9aPCFekr_Xf-tNs+M{Mk@sBZ88trjD`oiS{s#}o`9htdI47ihPQq&vJQL3zbt(?B8}bJJilLnwfAbF>(&)0gNw7h&1{B(wsdN1PJbBvNlTlQh;%wheblt}0fWTJ?7ImE2HCi7@>x#9L5Zpvpcpy7yk0%QIM{(V{epjmn3cX7BEa=%nYsu|~7C<#Cw{dug}B7ETSobJK)Nt#Y9qEN;B|g+;j7sBD(glge~B&uUj46tDPe`J9B3Ob;dBts4%;JUMrK4%R%-!wWR@nNMcC?SG8+FKdU&2Jz*oew&m4IEu;z5QQ*zGfDLTD!?}WQ`?^~bpk3r;~&)=rQAlLkCMP%Pze$gajsZ@utHv|v~`x&v`r=)P+%Z;gFgn_9MJo^aao56(>DLCp*|>BBz-DM3c<ffF$W=p2_TET>abr-$+M!CXH+mfSm4hZ$NPYS{#Y77sDaAWAO4tR^g=Bk#-Y}DGw^(*mOb{oD-_C9HSr>Ba~7(iyTTz&M%oZdaI1Z)gW1nHwYDX7TlV>Ks;(PCvaHV^Hhsu_ihuZSR21^8h-|?`xv=NfuBO~tO2<p6+Cf2CX#aAE_eycE^ow(bC)Ss=byqp%8vz&>qyD!q1a-i;m$&!T46|HHz<LArTmE)oPl7fQ2<SMQI~cWLt=M8Q7pD=^f#`sb61wu;_adWRoctqGgtz-Gv{x?WYkm@IX;&--w_4_Ax+k;;UWRk;M(pum5Tci{&et&h<viu$yqBzxq8eCYxZIcy8t1RP>e#=;DT=CzZI&r}Wz%K6!^Yec`<O&jO=KH~aP|sJM)l8@s=a$rV&o+X%_!iNJaZFLH7nl}+1s0s-0}Sm6xvri86^-<UM7ZLG-IHa!Ww^mRT0#s0UB=%wPZCc@B~~ZS^jR`2VPPlQFuTr^Z>mvfv`h<MH6moZl$=X6AA0KatOBVUNR*QTQu13=n+P2AY6oV5eN6%O+qof)OS~)5I|u%yZHM&E)ri&2Pdn9&v{B6QM~JY-|nX!pFN2JLQa^4Y$gHkRPf+buKJD?O6}v+C^l(#$M>}tsU^e1yZVq2T9E1o(+$6g+A<;KGAi_!`cCiXGPrgB&C{Bh98>8^BV?l@3els&-6;t}N0PX27m%PI-84c%R(-B?CBf|P{k|7@#ZL^qrBU!CoLzmDu?+_c(s-1k8!$=dk-WbYwHVrn694Y<1F430;f=4ITLL-w!iybI56`rG7I35_r+x17@_1}_>4|{g_hi8$G*9?m5RvPWSR-Ol@zI-!x#ITK$M-k~GJ4F=?}5pXNSpO4j1JGYBxQT%)VLtu!zF*r#W$M|C-U^oY2#T@1jroAgy{=E^{Cic76OqS6exxO^fHKCDAee}#n*X{{B3kxIy^k)G|u{+Cr53$aO<*gk5HmCTeIuZ_j#&|T77k^!0Ekj&V9U!D-`#&6JtZ^3{hE!{M|(j=b6pS5XM4IB9qa7uo<M1p#yS%{x_&#o&w|}9{C}Z-hz&0P<m{>2vy&7U(RX4`;Lf9*U^gA`hOr!836QYOzr%wr`sQ4u_MHQ{x%h5#d-ugx;oa&x{uc4miS8j-5cPIXp$PB%P7c+6(JU+Od>}QnKW~1W*+HMkYX6_plkozX3wN3zD@40O7euU_WHanOe>KGdM#;kZao6GQ?VzXjOclJXQ4k=O>oUtzaaGgv_00+&`wQAsb}9w=Lpdc8!N-m5E`;Qf9W5B*ReUr9S<ASlmcG}@(dDw@P`JBpTt?%c-eh?iSM&Ihe<(jjm`kTGh7wJ05ELrXZ*cT1_C|G(F>jqrEk#hxq?1B(1u^i@rJ{5aR)ImxU-C+bHIK_d${Pm?L~^L^Jn{Ye8UeNpd%#~Qud?cIm02tKG2dkZdLqU_jE9s{q=aedJl4p=VQAKR>0lZK%EmHe~@1m{HO{TZ3_WUl;X>iCuq@FPIDbB?+V>a?o34}zZ&tmwk!o`FFHq@P$5v7n}Di;d}WY9d@ypu6J6LoJTJh9ShyIQAF-3zKaf=2d<yqu$DoK(`*4k>GOjo04x6fizPC~o;vt6a)9Kw3=l+bC4Bzws<Lc%&xM(E4*fAjnkOZ}HbehYW7Mr3+MJaZ~+n8h27kKH)&UMajmQCz?e#Tc$JVSB+3Zazt=VhmS;~y8U*M=o|d580VCwVfi6<n)FV(LTA&>oNFBiK7A!(&f$Ea9No{5dF<Z9lA$K=W))!0Wl>!jEd379d)G(BrmCN^4-rGyq?DBmTbOqanr1Rn%Htk-?g1$*|CQ<5n-(D)-_gm^Lj#CikHd&ImNbC4ni%F&|CYYr>IU0@t7$d&q&N=z;6*is}D`9{VNJiLyNO>_6K$-<24oS|m*ZnI7oC=L_&fU2CU)QxiGWg+ysayc1WXM^;W|n}v(CP{OIaw4JNFX(nx#fETu}<ezEpakwNsvhCGW$_+J=pp9D59Bh80kHa12(J4hG0`2+U%++FjjY+-u>N+J5bdkS=7r0C|nY9IBKtjF+<>Ta(WWt<P<toK4yynwj&cJ;w&zEOw8YhS!ugQr>qTT38G@ExXC<0GXoq<i$T6-SBY0JzAu%jO=1Vtv3+e(a;`#AgZ``C>?3X8AQhMxL2Mb>^vY2et#L4xn<L^IQG$n*Pn4vxgtZ#)n(^I;}vqCt7zHsEJXs-tAC4bi*eK27TUi1^%nXTPr$Y!p?~Z~eLlhT0d8A>=9v28|sw&KI06#u)`>Xrw<@iSyP#3FZSQ*$1u6nu|yUjM8rhXp3JcHfgTMYss5J%D_G6?lkhkM_?f#qzRj9p<b@~^WBe*nPqbZ^EIX3@bR~t^&G-r6*AmzCHUl_tpuIpO?U-S_FeYo0?84~;*Im4{%$4f-aBl;F4DP_XjBzHU8xAGVuhB>@wj=<KR}HKHEs*J$0OSGE&fCWtBbFW`=PSfTzWw?$^3M7$C`VRLg66AI)aIy9!`W%7|yTcQN0=-U|*jOl6UP|6~2Vp+Z!?P>)!|UU7!KhC%{T<>%@<_@h~;(1kXEMGqf6=ir&T=gCO}i6rt(cT@YdhM~34|A$fqrX3)izY1YGD&0FOHA8Fq40gQM{AQV$d30WbB{#1ytFc|4ZWcLT>S@d(~QF?qO#j8wzOAmI|&zMOVp{)&9BYu|=0o`O+FkKNLXlkzHAU932$m<804jvG$s<glnm!T9sefrc1>BHD&#sS^5BE(ao5_GS^5FTDc5gUM;!Q~2LIg=DXN@w^r?GiLbJN@JA0#{WP1acx<DA4;dETs^2<$@m#9?-Ry&X>3o-rW}_30XXUrJTdVWi65b`bJ#zJ52`jGhq5pPFTAYIApDvgj_4ftu#mK5zP%jCLM28ZSiM}ijmP9&QNtd+2Nj5I-(h!`7r^WHM`Ogi2`S|yTG&2NP;O;k5LFkrQHLMrVi$650w3w8-DW!64EltMKX#kozsl@lqB)+>OY~Ex2%MPFX9~{EFJ&(UnqS1t$w&2FE6RHMq|>O^ZAE_X3>H`(>4c0mzGtLrF}fh%er9@jEuKvq>q{Wefl=uoHkO6=|m=qy40%>-dy1P24x<AU;q%NfS%j{KAthGYJ-hMI%WO6ABj;%Gkn3pxp42|;Em0mWRlr6l$^W`m)2T=DKC5_h%1)3CDiSv<5CSR)Kjzr@Z$)_k<EH-ga}hnI$DRQ%6vOsBpo00Y?E6Ts1%T8-{5rRX-Tqk?1p386DmobZ+HYY%@pI{twl4Vhm7sJ!i1rsB`I$Wl#S(GMC5vu<v@S!ED%=Tce@w>sU6rN50M#v%-#AGWk;G18L{nj?t`Fw5m}ts))wMh*f}lCv%BWj(Tm`++~hIrGAz4T@7DRiV|-9;*TW>$MrGyE<jUJrfA`NKY*&90MqQZg(JDI8f;^>U5H>S?o-PKW{_SgE>V|1Q;Og0o$$xrAP+poNPFT<67kKQIu_;6p=3NUlcpg+7N7U~hLYiI)8u+~rP@1{6*4^L~0GK9un%;uLjZT#`W8|T1CfpN>*t|-{Gd_O<SBSQz(&wb4$XB!Uo~U)eZ0Kb4R>tW#I7Xjvq`OxdX1DPs#ZWp{JW&fkKffJ3;5FE<`npG{xgg3_G0PUiRiyC8tW1uK5`mijXJG+N`A%CW;W!9wZ*b&;CFkRtf1kV^-80k!N}H@u1ZUtOl?7N}TKnn(%TP2=dnhpbf4_dt9z&P-PN)&(zJ8a}fh`urDn&5_ZNw(cLrw8dknB2^{lmzZ8Ba$l@2uEXk`d);<Qu9=lu30aL`Jy^V*b4eIR=R{WyIz2qS^Sk{=wv;0mTs{gBLTV?Nb39A-N1Lcgq9!zH1^y;DP&q%c*H;q?2G@r}R+Sk>$_UMVfp}LRz&S<*eV@llZCZU1?4Uy8C11nZ=QQ)>&C$gCKNcLR4KiC=6D9MyF5iNS<S_8ZRPSyA=nUT}denCtzV>0FbW(M-z=(9B(lz;SI-G)s7jCW%ajvZC>xX;5Ys*oBE9e%u)+yZN3^3QsV|GAGVp*z?>xGVN8?gZ98a#x#&$dyEC01u9x&_YSnwph!iTmg+*p|Roy`l4+Q;3tu4dZ|3PL?woef&BWt-x`Y*mnpUaO8m~_JpI?`B<dx<D4;BaW4q4xGCbQw=_Ah~_mLyPKfJZ4)8g^W-Jxe3kteudM;lXZ7&C_$VW1;)x47x~&Y0H9Bj>@lXFbv4(Xqlu9f7d9R1?_Ri7a=(K>Sj46{`JXRhBW?>Ty=9Sxd8ud?WNBL`LCe<-w8wAQ+GVj21z57cwS8GA1}~cgl+A)7bkb!ONEhd&Sq1Y~ueD#m25c?l$7goig#rX=a5$l~Wkd_0gp({HqvHwn3UOTXW|BRJWM{dnZsG1hw0}z)#sKJK0MUefonrMM2K|@4nZ_CkOydimdYoglsS5B0Pym#RIe{mH-|2qB<zna^Bcx?`uN`VQ-jtO^G!yDi*u;qbfZKHT8Hr&zlYsm6Cz|5;H{kc(Wjw9cBGI7_=~!9>Y=B-BEd_F^lhehhdCh>A%bqE?rqIC-FXVTp5=$`0Q`pm-l%E3S*7^HKgNU31r$bAnR;NyO_>)&XWNzqSqUy8nUvr;%;5t4v^X$HyBp4Y6dd2h_XBBe7P)f9_o(w)pG6q$G5&kL)8w1Un@O{DZZ`DQ_xA0EPvSf+TB$e>vUdb@e+b{UWI&u&Bkf4XP2zv?Q*)pl+{%BTQ9|B9|EU*9A9%&G@P_5fJy(9kZI3}JZ;TfaupzG?bDI;<rv&3#sdSb2}yH5$SROkuPf3Hxa0<N^w)&z;=Y6(6)-G*dsJ7VpXf}7KB%vp9M)PKf3-TyQ8ZkuRqo?MI>UZw=e`>RczC1ZJ0C{Mr|4>Q_s49E>1_$$eWV}{L<#a*Za(b$qZw4+W)C_@ATE{gyVx3Q9?Qfn@@(Y>8)$FD~5YiYUCc@uUq(M=_YhQXqNkS>LA3G1ktiOn1hDJ>Sd3|@B%Fk%0hr6?nEXE{gXm8P(IN0qtb*Hh^u@twlkSbIcCf%4Iz5c7ifBqNKeMzb!fq8SXooc-#+hSZID9JicmH+0UpQX&mfDC4g6-j(0L5LIA(mZ#b&gQg}V=szXjUmG;C8S6tWL1kA_-Nt2jT<z?<bUbN3n(e1ZtBAV#C@nnpoXjS2xkU!GppFwoS!#mT^aAbwLFp^9Q5mcEf<I)z^OoA)@b9U*1iwxg4y+}7gX;IVJwXL^Kxfs9q8Laxwv=o1SCOV8;oP~V4pUJ?a0CHn|NK`JL+$G7m;8PN0Y11tklYP#-;qR@lNrbs+0Hd9NYI+CMAetc;!Ak1E$x9%yw&PBbIlAXnAH*d@~14sD|sw8v<{Xl3aJAr68SEk?mG*i8~B_vb@{bTTy<YF9sx2kLs-RsT=Z(L-O;KK$r?uR+6e0i7wq0pq(w#rA3Lk=T0|o?&xIB&gS-!;ZD315F0o9AWU-eriErq95ipFMoznpZlp#<e%}C~<n7mKF_YV1gvHOzH)jLZZL-vFsq3S6Fo5KRKHqEfcW8@FeiBGLc<K*k*R|sK=X$6Hqn~x;`K7;BV5sOg}aUNuX1qQY?>Y)CdYU#e}60?ONJYRlxp=hjR$49&SO6i3sJ0iFg(b<Bq*%qgq`}KN;==%%tu-)Zc-D8kROqh;@W#Zw^|8(u);MD=K0d3}d`p$-crQC(HQSj7iBB>)2a8<BG($~5|%s7#7tdZzgumIrLu(PZNWY=O2AN9UKOvlt<Z8m8pP!{zi{5;0U8ZL9!?>7<aVFc3Tkjcy|bLS@)xB`msU&J+?e(43a)(!MX);NXpJQRYUFCh%#kp*c<S==KuJBL+7cdm@2?_Y@_JYl^ZJ$F>(;CM62^V$>!;p_CX@2C4+eCwGlprza?D=cus4n7=MA1Jrd2^@dAn@;`s04Ls^D@vI`2#OslN-(pWXRIrVVNy;0D^7?HRU%{-f>-RqE?wyCp71jShf|Zwa#JC?9ZyuIL(6t8-D2Z+`!<KAA-MM>g@yCrF-lyXF5ORoeBDxe@^ml2z7uC8c}I2%h{dZ7aH{?hE<_%RGs-H9)Oj6j(y%$Wzu1Orh=a5x5pC!Fb?9@8RoLzdrSyo3%B4|`H~&uS#9Qt1%@*jgLxBX8v0y~XVH+bgygekpg1FnL;NLtGqWZ+<M!X{)#h3VaZc=t^FB&E6?$J|Bxg(!hTY0;bo~uTynPHlm9XUL^KtuZtnT^rjINof+B|j;^ECmRhNAsPDsvKTl@8}@l7Ht|wP!BL@2emOhF}g?5=)Ip_tApI0&17t(l=ghEl9qqa3efXMG?NK=*_fcT`T~dfx3)3z>|mL!An1r(?Uoe7Dg+n&J3Fodb~_*ZCu4+U%A7V(E;n%S1fj|2VDRo{7D?PK#}yY+!sc^n;UF})YIys_=6(+TZerJjUkBO>oZK)x7aDuwo3$#W57-|wOv=ZJ7I)ETp8`q;UEULKI*zmOSGuVvwXwI+42|A!<mZ7jtCevFp-(M>w+{15Xz=XDE_XBs*{m;rD_LyFW*jF9<pCjAmtU>FRn@ILVhKD-ez-L#G)%QB`Ik@qKSRS<ww?qCcjH*&Gabe7%WyX*=jOYPl>(*F57Fic@x!xh@>k_<czl1K%tPg~6vVTIy<WmF;ZnMVUhpnZ3;<G^P0~GdgXuo$Ey$%Eo8eHO&o<Vh(LPgryN%?{H2Cq~(?ui1HsD%8_l$wZ!YY{-0BW}&s_Mws8hokuh2-m8sH|Eei>+0cGl4)*LQ75ZSonahZPMwI>g}6V+kZst7V2S<)#No1w$|buf;Pp-$cQ)2IrAG{R*G(RG*b*1XXx5GK7-Tc`f+Om|7or!IW&)N13?lgJ^ZKUab!y>X*#7J-vSAHel;M-9g;CNbQ4k>27o_mdAlJy;X#5rRVu}AYk8t@d}z{m!CL0X)aFC(kD}-}g|Wz2@UR7{J!_IS0A96GE%CUu8q%fCiLPnIr^4}x9<*89+@Lc^C*>l0_*WCI+-ZmV4^E(t;}Lk`fCHjzfw6E66x_#{gR8*BKnaE)WE8Z&Pw|;LboNBFqS+LK+^n5f>~bwF54yrkaI?vA!VQ>0SY0gN-@{Hr;bX-LvbKe$hmOxCh?)<s{$YiG$Mvp8>U5f;Cqy)yGz-lFO(f($Itm`d2nA?L>RQiW8o%n~0Ev2$cy`2U#VdE4U<N^3R_v+L^u2VO)@IGpqpSx#sefEmaG2zHv1Y~vN}5sVm=9=WcLcz%n&}UPA-T~Ocl3g)&z_Xridu%VXnSe}yS66@x{GP{NU}7BZh`RHd34CFDdc3-HrxL7un8#vNlBpNXr4{-dZmQE&R87FG-(cW5bSer7SSBQaz)egwCaW_TfjO==I5IudXb=Y+3aVKW8i9x%RNrY^v1Y7!A_$c4+!9uke~<3%Moa>OyHU~TWbxrm)E#TS4qOqe`;!2d}G5%{VPEy%L+&zt+IqojK=P(K`88qpAik_7mF=HFhj4VKcc6hpX8x*8{BoQP9SUbRF2M&Nd>AqVDK9%i`|IGzNd*vrjhyjzG9>yo=K2RGEzbnz3!B@YLO|uUbNsT!<bcmoi`g-e~^|d&PJ%p%UTbR;{h$#kreL_Xv^U&EK@gvJQap1p;;=z`1H`Qo&QA<Udhr&^MIYdzE}5+0unV<TU%Vcz{ZPZbw8=H!d#m+J&7vDh+4A&wE{CZAM8eib#i)C)Tq%?P(o-{W)m7%c`R8yzx5>n$|sI$v8d&;3yJyt{~A%hFYX`4LdP;X>(DxzLufWzc_OklFf9Xk4*DGZj2(`7M{KRmiIPxA?t;Fyc*wv!!@0DmuH=ip9=>7%bAioCLdHSgPBofXv**#oToj{~--{@QmMKi7$@eT;$-!)&@bZ&MZy+q&AsbrP=48|79JK1}DDFEu9QSBZ%5F61X@GZGJGd)zZ5uH0p!p8k_E17ZH%HYfj{jtM16qao%GJO$nKi~DBn+sM$Yew(<h^8GNhS+<i!0$WX!~h8d!^yWJUe4v9ed5@EQ4&S*e^}ZwPdAe;T>xaap_S+A*R$HOgBH1&S2miC{=sJBF6CN2dqy4t*GF%4wfBn@%%Nz+0A?VVxg6VY(DZb!|d?DjhAQ2UV5L`4L3Z@KcWc^j7Yx^_fF|=6pjUE$jPy+qI!I*Ru)7W$&#(iL?tWwE>YuijX2b>nt<*Fetxx6wMLk&4M%BubN7w_dwAlpyobA<a~Xq(8imR;@<$RW|F^2~nX^qS@CO4EyzVfU&>t)^8-CPHRPQo(306LgGjQorjl2^V<!t5tgiY4sjg#FO2I%|1E!f&0{4XHx6z5AVAzD@m`oGn~VA&@Nqlxat!2)g7c{>A`NM7OmTUx*9T_axfIXKe*fAu#R%bXaf<QA~-PvHjPdul4B622vINa^w5($P>sJ@}{a2eob8w;$nS=R`N1j14*IX^gi=3_v5|1)(MT&W7kRvC@^}AG6XJ(Iv*IRpPYGm^_`_mD$%fXo;!Oz=^*Po0mo*OywOB+h)z+|I+)+pgZVrbu1`y;i#Jw*g6srg0;WIG|wl=G8lE6WvpXzS}JR4Bsr0NUppu0Z-RaivAJc!SfPS%RmIl<2O=EGlmEn0%iA;F$WCKc&RH^$6DYyCAsQwj`@bx0%)_EN;Wsv9yX}!YyP=*tp^PMbM6;fu-+y%pV4+$*Zn4etJ-kZL`CHnx(aXt(Dm&R9YkdPTS8HUL{rPeLZvMo<RN4Dy!MV^P$Z%|zyEm0AVbL8i0?w8sPmAE$z8)D)K^;b{pZjB<7OY77BG&`}cv3_KTjqBhwLb8z2A90$COPnc48(2gCtnvw7C4L5nAugZ;(326%IZb3fJK<p^Vhr6{CgRpJAr!P>7NcK>T(Y}R)8y*;wCTfK4d8)+Q$I)ly51%iBlSAfH&@W{uImh<G*Yy|Bfh0uHBbqWs%8(QwDf*b|B@h@sS1klSgYsm8kt*1omkq9tZOaV0_DJ%R>Y3M7bpS5n`@{Wm-YL&svEi*yISIKEX+LT;<xe?E3HfR6sSI^6G7zXm1;5m}j==`z7I=$F^Q9VWPGy@D_C6%6H)Sz~Tk6lb;{JixZjn<><l82FN`>S_^t)xWtG^3A;f59wsW{PoD57WRV^JAV~=?<jaGOu#DfJLnSs|>5uk>BGr8&6)ixUQT#@XD!IJxo{EPHuW=b;jsJ<+Y%X2-K<^ghc-(;!h!GUngUUU=P)<{&*C64AB2XO=5b!BQn0mr&f$?48<8Ts?W@dNt#6~~{QfoiiwuUJM-Ym5Mg$3w~jgsSIMR2^5u%uUBM=Pr8XH8G7^OldS$6E*d9$uU<n-|f*X(%9jkP+IT7HeK<k7|GJCN~)$Wr^61sCnOa1yRP)O2b&YYRGx+{@R9!O<dn!T@5nd^VaTWQMu_lA=;GN(}(KJvp)a;e4{I}U>LYw00FPh0r&9)IUc7%vBYQl0ssI200dcD","patch_encoding":"base64(zlib(unified diff UTF-8))","patch_zb64":"eNrdGMtu4zjyPl+hycEQI0ptpzudGctyNzCHRW5zyyFrGLRE2UwoUaFox47H/75VRcmvaWB2F7tYYGFEIquK9a5iKXEcB8aqpaqF/tQYrfJdsmqan6IoChprFvIc+P17EH/+lX8NInj+Enz//lMQPAZVputwNBzePjG+yYa8bTLacdu9y0X2mqhaOSX0vJSSl+ISkBKfZtvRNztc4DJdq9p9/TJ3gdOidcA8r/HprJItvFfK4UuLhdTt85dZth9y+h14LrReiPwV8Mi+51MNYb8wRgftrs5KoVvJ3/Q2c3YNakQBoUqh7NxYkWvpSRCzMaoIzKKVdiPnSBE+EiHbqzI8O3HcT7Ihcytr3oPWFeOxXddOVXIurTU2vKlN3ZgWXLCRxAa8rXJ5w1JyJzFOwZvp4QDa/04xCEm5N9KVjUHr8I3tD953pr0DfT7YXqydGQToYKs24F4tN+CbFHT6mGQiKa2pXcggVla6ta2DIaGmgEJvnWMeQ5G06kOGLB4BGL2Ibgy0Ic9nJ2z6vlJahisVazMdgQOAqiqyUJtopdinOxQhnqtidvs0yT4YMKiKFLSSAbCB5aGTqM3tUxR+xOJZG6Bln+DUSs38nqUHSsD7e/4QRPcP8KQE9A5YroUtMCLe/VOwn0BzbQaDcnLcgj6dsDLuYZA85v1EIhZmI+Py2wV6fIFNex4pSqfwunWj5eSRw28aOEyOquKPwWYDD23gAZL33TEIYJ2/h0AAaECuFH9NCDgvtTEWdk1RznMIZVnCJj/fdHRdeqNXYp+166YQToLgltN+sd7xY/0UzgOhYkCXfCXqHDK1T/h/+Sjvcx+TAg3EpK3WOmwb/hSXC8YwQwBWqI3qgIKxUz3XGXmtUvWkh03DwsUjsLCFZKrdPBcNo6QroV6OBxXUhJrUaRSBPzcRRA3aVC7bdr4RVqFuKdRB6mOiZPjBwcsMaiaEt3c2+OzHBztjGlQcXPCNDPL2jL0hnR28LTJrjAs3DJpPRjiImLdWN3EFBOwiingErMEE/nrPR/dB9PUBX5TCQaMy8O5goEWk7XT4zfMRnPZs3HUsYRdZo6avCSzm0FlkuzK68HVZhoRpTekg5d8Hg0ZNuu1KLVdsX2VoTaO4bliEy6cYNpXDLtNh8EXK44OdUW0crSsHOHwwRnkfUAljbdsFCtCN71gIRnkOthtHCYotSmZy20DWs9RmuVZNaEliI3nfq5aiqgTj3p3XYNYXHUjDfnzZi33D/E9Lwe4S+/pusKN3xS0KGR7r5DEQW3ycVQzWCcJ2VGH//vGLKoui45UGdrbQN8Mdf+JbdkqO7q7y+eCmdGey/bpu1bKWRQDXZOak1uMxXZhhs4WrlmOil4txKTgoAmoQBPsMUM4X62IpXb97V4Ws+00rnVP1smVQit0FDK8ZiQ/6hpGhzGyU9n0D0/yb18EDqM7Ediy8Is123Km0He+uJSX+yLxdqdK3B6gMTC4yvuthLanvYjIeBwTeNbuURof0eO1TDv0zJ7nPrT8dD3x20J3YrHDM+HFSnvA+MD9TuYBHMrST0vCs0Vzl4/gMf5XA1Ip88N+2Z0qhDBgOBgM3IVOiPrFCaAiNVg4YNIzto4jGqFOrfNvyasi6FCHKs+hcJwv6qhrynmUu6kKhG1FN6HcQs/bPmYLzWpS9bX37IEW3f/xBUvKJHedTC3pB3ZKbaSQDD59PqLmx8mo+PYJoOv1M0+nnbjg4gENa4JM7GKHAT/vCrBdaBjRpJrybMxO+UEWWDIefuWhf/aLcwpBT7rCdnXj8BqICLOmOTV+QFG1imdKwBpIaeLTPd7PUj26w1z5UualbJyCXfMDI+Qb4S1HdYm+AGqnXWjfOIi+UeDn2ASMc+zz/4SxB1Z2Ze41CwCaQROkRjQZdoQU7TS3UljyS+9c0eFsbqAa0YtBwGuVM0WMDURmYY6Ejobe//IKj2Jdf+1EMA4rEGUy+e7HNPHEqdplZu7RJtlEHinHob5ISAH61i4nk4lbxnEY/5hT3IDgbIbBnufMsj5zwNJ6Bo8cT27hjs7tW6Hg6JmPMez0Y/NyHzA/XzwsuZhl60nfyzmAOk3XV+1ls2eV+x7i7gIAS7Aqwg8unuYonhvIqhhA+7O6YKWx/S+/JBMJ09HyK8xLMQOP9X6n0GDr211pxMPjAekk3/GYywYsAeoaZQ+JCZYcLtQw/QP0j0d/rG/xyif4XXrwAXJTo/5+DIcn9vLLH7uBv8EPafRX1JWsXfTV3EPrUPJ83qMNAmLq6fqC6fjjWdXcMPjxOc3grZdHzq6So+7WFO6Bfw9xRCWohEHrZtL7d+nHm99/+BnqEyIZx6xfRiKXdUQlzB/ZP+KJP+DA5cNLZt+3Cwv2fhcMkTu5vSYZ/sttRwjdGZx0MG1z7Zl04SvyHRM9722iY2cG1c1iGsf8SEduQdE+GIxjwtVlW60zWcO1IGKiX4ZGIjCUiFD9K7vCPxhBMCzQW5wQ38SbDcAQZfxJsavi0yciCCFS9bWxSG1sJHUIioom3vVBUrT/AaLb4b/K/vMqI0g8TvdAXEPoyuQN5L8wH52UG3RNyy981LzMfIqjQFyoSf8Nj7DNrk8aotjU1StTM33obmTvT3z7TAP+Z0Ib1JRITE1GFR11odPElSKef1ewsrhTCCANkT04A9sgMKQG6rhVwq0I2Se6h6f8Dn2Re+A==","commands":["python3 - <<'PY'\nimport base64,json,lzma,pathlib\nr=json.loads(pathlib.Path('artifacts/goal/batches/r1-oracle-ceilings/items/fair-price/result.json').read_text())\np=pathlib.Path('test/scratch/fair-price-reproduce');p.mkdir(parents=True,exist_ok=True)\nfiles=json.loads(lzma.decompress(base64.b85decode(r['reproduce']['source_lzma_b85'])))\nfor name,text in files.items():\n f=p/name;assert f.resolve().is_relative_to(p.resolve());f.parent.mkdir(parents=True,exist_ok=True);f.write_text(text)\nPY","python3 -B test/scratch/fair-price-reproduce/build_probe.py","python3 -B test/scratch/fair-price-reproduce/experiment.py controls","python3 -B test/scratch/fair-price-reproduce/audit.py","python3 -B test/scratch/fair-price-reproduce/experiment.py choose","python3 -B test/scratch/fair-price-reproduce/experiment.py report","python3 -B test/scratch/fair-price-reproduce/score.py --base test/scratch/fair-price-reproduce/report/base.csv --candidate test/scratch/fair-price-reproduce/report/on.csv --bar 0.08"],"parallelism":"Main complete-run blocks use 5 workers; each worker runs base, OFF, ON sequentially. Every score checkpoint waits for complete paired runs."},"deliverable_checks":{"json_and_size":true,"offline_rebuild_and_controls":true,"compressed_deltas_all_checkpoints":true,"source_quotes_refetched":8,"compiler":"g++ 14.2.0"}}
