{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","item":"particle","requires":{"platform":["linux-x64"],"minCpus":8},"gain_vs_base":0.02116503635869993,"se":0.016351362072875866,"n":128,"seeds":{"first":10000,"last":10127,"contiguous":true},"source_sha256":"eb43f176d444c38407937639655ed965e67386c15d48889e68e61fb1eb79575c","source_hash_definition":"SHA256 of sorted compiled runtime source filename + NUL + bytes + NUL; see build.py manifest. Reproduction JSON has its own hash.","base_source_sha256":"e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40","advance":false,"fraction_of_ceiling":0.014530299482457347,"ceiling_reference":{"gain_vs_base":1.4566139111071181,"n":2048,"source":"https://api.imd.fun/artifacts/c9ac833b4a6837bf0bd56fc2c4b931ef58d34dc98a000278ee4cec091fb216ee"},"arm_b":{"gain_vs_base":0.021280721691998572,"se":0.015620277501296699,"n":128,"seeds":{"first":10000,"last":10127},"fraction_of_ceiling":0.014609720207754907},"filter_gap":{"qlx5_rmse_bps":{"all":7.086835158454609,"arb":0.6022879778426103,"retail":8.782899164040574},"posterior_rmse_bps":{"all":7.054083290014779,"arb":0.30561370946769095,"retail":8.750517854383613},"callback_counts":{"all":1386726,"arb":486154,"retail":900572},"seeds":{"first":10000,"last":10127,"n":128},"definition":"sqrt(callback-mean squared log-price error) * 10000; both beliefs measured passively on unchanged QLX5 trajectory. Truth and true labels used only after inference for diagnostics."},"gates":{"posterior_ge_015":"fail"},"approximations":["2048 particles with systematic resampling and finite path genealogy; no proof of Monte Carlo convergence. The 512/2048 choose comparison is reported.","Gaussian/lognormal continuous observation densities approximate the replica's discrete RNG and binary64/WAD observation PMF. Arb sizes and router splits are analytically inverted; their complete rounding preimage probabilities are not solved.","Arb support uses existing callback-only tell::label; ambiguous retail likelihood uses tell::chance, an approximate lattice probability. The full router rounding signature is not used by this price filter.","Independent uniform run-parameter priors follow the replica law. Reflected Metropolis rejuvenation every 16 callbacks is conditional on retained latent paths, not a full particle-MCMC convergence certificate.","No-arb transition masses <=1e-14 are discarded; inverse-normal probabilities are clipped to [1e-15,1-1e-15].","The extreme own-arb 99% reserve cap is not separately integrated as a tail observation. The supplied noncapped inverse is used. Coverage treats log prices within 2e-14 as equal."],"stop_history":[{"arm":"A","mean":0.02116503635869993,"se":0.016351362072875866,"n":128,"bar":0.08,"upper_2se":0.05386776050445166,"early_stop":true},{"arm":"B","mean":0.021280721691998572,"se":0.015620277501296699,"n":128,"bar":0.08,"upper_2se":0.05252127669459197,"early_stop":true}],"controls":{"passed":true,"scope":"Mechanical hook, stream, inversion and reproduction controls; does not certify an exact posterior likelihood.","hook_off_and_passive_exact":{"seeds":{"first":64000,"last":64007,"n":8},"callbacks":85205,"all_callback_inputs_fees_and_final_rows_identical":true,"trace_sha256":["1c54b822a1af9daba4f2dbdfa6bafad767e6701406a3c4defec93899dcc940ee","9ffc4cf589221af247bb0c6b6a1b16c5cba48f47ef61607ad216d598a24cdd72","e801fc7a53266ab4001964954ac414c5681dbaf9f895636ca1c416bc60f6fb3b","b51a961b22c842732d1d0c56e57a74f4c7fbe3b589c9deb12488fd2df0ee4893","d65884854e68f3e562180ed86db82437f7d6f1600fbb6b33bbe98cccce8ca4b0","b7fc181c9b7ce31b834f766cd9e1b34f91746ccaf3355f7900626d986c48512a","ed80c9b79ecb09fd4be3f4f739883f095d69e6760fdd6b90618860d9ca134e37","a0dbae7bb816b90f4d84ad63e11ebdbb6d45aa770d23df066b0f9dfeab4d5fdc"]},"passive_report_equals_off":{"n":128,"fields":"complete policy row and exogenous hashes"},"oracle_v_zero":{"gain_vs_base":1.472416081754699,"se":0.05109604665169002,"n":128,"seeds":{"first":10000,"last":10127},"expected_gain":1.472416081754699,"exact_scalar_match":true},"exogenous_draws_unchanged":{"passed":true,"choose_trace_runs":8,"report_seed_pairs":{"A":128,"B":128},"method":"Equal per-run hashes of all price draws and retail size/side draws; filter RNG independent; original market/order generation code unchanged."},"hidden_input_isolation":{"passed_by_source_inspection":true,"A_inputs":"callback side, amounts, own reserves, timestamps, own fees; fixed independent RNG key","B_extra_inputs":"run retail mean, arrival rate and volatility only","truth_for_diagnostics":"read after inference; true labels only group error metrics"},"analytic_inverse_and_router_checks":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","passed":true,"arbs":20000,"splits":9959,"max_log_price_inverse_error":8.881784197001252e-16,"max_router_relative_error":1.5344858147762495e-13,"max_jacobian_abs_error":1.8565725345975892e-10,"max_cdf_inverse_error":1.1102230246251565e-16},"posterior_coverage95":{"passive":{"all":0.9785739937089231,"arb":0.9999979430386257,"retail":0.9670087455528265},"A":{"all":0.9784039509207587,"arb":0.9999897097533016,"retail":0.9667567633595924},"B":{"all":0.9784908469080277,"arb":0.9999938262966835,"retail":0.9668885202433061}},"posterior_zero_mass_failures":0,"exact_posterior_established":false,"score_py_sha256":"38856d193fa9f8e8a7ca0e43b62778f5d9f7b8a6bc7bf67168843ca1e03c6958","engine_runs":0,"engine_builds":0,"solidity_compilations":0,"submissions":0,"postcheck":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","passed":true,"frozen_source_files_verified":true,"passive_equals_original_report_rows":128,"callback_counts_consistent":true,"grouped_exogenous_traces":[{"seed":64000,"market_steps":10000,"grouped_market_order_sha256":"81175be024cc7fe5473f340b250c2ccb0a3509ef8197657a4be7d8d4ac92cc9e","modes":["base","off","A","B"],"debug_and_production_rows_equal":true},{"seed":64001,"market_steps":10000,"grouped_market_order_sha256":"8d5ee794a672200833a9f5dda3fb88bee0a42c32818cc7b3258528ad54bca094","modes":["base","off","A","B"],"debug_and_production_rows_equal":true}]}},"limitations":["This measures the specified finite-particle implementation, not the exact Bayesian posterior requested in the brief. Exact binary64/WAD likelihoods and Monte Carlo convergence remain unestablished; no ceiling on all realizable estimators is inferred.","Early stopping is applied independently to A and B using score.py mean + 2 SE < 0.08. Unrun report prefixes are not assigned results. The 2048-seed advance and posterior_ge_015 gates cannot pass after an early stop.","A single private random stream is used per run and particle count. Report SE is across simulation seeds, not a separate Monte Carlo error or numerical-bias bound.","Coverage is a diagnostic, not proof of correctness. Posterior atoms can make central 95% intervals conservative; no nominal-coverage hypothesis test is claimed.","The supplied fair-price gain is a fixed-QLX5 oracle reference, not a universal policy upper bound or an additive decomposition of leaderboard differences.","Inherited replica parity on 512 engine seeds is supplied evidence only; no engine was run here."],"finding":"The measured particle-filter candidate stopped below the +0.08 upper-2-SE continuation bar. This does not settle the literal exact-posterior question.","tuning":{"allowed_seeds":{"first":64000,"last":65023},"used_seeds":{"first":64000,"last":64031,"n":32},"selected_particles":2048,"comparisons":[{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","particles":512,"n":32,"scores":{"A":{"mean":0.00655017495826371,"se":0.027326280154360335,"n":32,"bar":0.08,"upper_2se":0.06120273526698438,"early_stop":true},"B":{"mean":-0.027459564497496203,"se":0.03055149126376865,"n":32,"bar":0.08,"upper_2se":0.033643418030041096,"early_stop":true}},"filter_gap":{"all":{"n":344075,"qlx5_rmse_bps":7.141638508826294,"posterior_rmse_bps":7.125676302158296,"coverage95":0.9773566809561869,"mean_mid_pit":0.49896425297907077,"mean_posterior_sd_bps":4.510605610996501},"arb":{"n":120988,"qlx5_rmse_bps":0.6618233975669042,"posterior_rmse_bps":0.5405341702867287,"coverage95":0.9999586735874633,"mean_mid_pit":0.4999730477216838,"mean_posterior_sd_bps":0.24724698270022213},"retail":{"n":223087,"qlx5_rmse_bps":8.855856254605186,"posterior_rmse_bps":8.840476926608124,"coverage95":0.9650988179499478,"mean_mid_pit":0.49841714777652946,"mean_posterior_sd_bps":6.822776350305876}}},{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","particles":2048,"n":32,"scores":{"A":{"mean":0.003108009214267682,"se":0.03004067091176533,"n":32,"bar":0.08,"upper_2se":0.06318935103779834,"early_stop":true},"B":{"mean":0.012876971052566688,"se":0.029726694494514493,"n":32,"bar":0.08,"upper_2se":0.07233036004159568,"early_stop":true}},"filter_gap":{"all":{"n":344075,"qlx5_rmse_bps":7.141638508826294,"posterior_rmse_bps":7.106211469972717,"coverage95":0.9783768073821114,"mean_mid_pit":0.4989928216552305,"mean_posterior_sd_bps":4.526468103409571},"arb":{"n":120988,"qlx5_rmse_bps":0.6618233975669042,"posterior_rmse_bps":0.4019633379548538,"coverage95":0.9999834694349853,"mean_mid_pit":0.49996896582464867,"mean_posterior_sd_bps":0.246124893570619},"retail":{"n":223087,"qlx5_rmse_bps":8.855856254605186,"posterior_rmse_bps":8.820294947141354,"coverage95":0.9666587474841654,"mean_mid_pit":0.49846342401767435,"mean_posterior_sd_bps":6.847850184265894}}}],"paired_particle_count_change":{"A":{"mean_change_2048_minus_512":-0.0034421657439960285,"se":0.025919684105230302,"n":32},"B":{"mean_change_2048_minus_512":0.04033653555006289,"se":0.023279764211400152,"n":32}},"freeze":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","frozen_utc":"2026-11-11T15:15:04.357394+00:00","particles":2048,"source_sha256":"eb43f176d444c38407937639655ed965e67386c15d48889e68e61fb1eb79575c","report_start":10000,"checkpoints":[128,256,512,1024,2048],"selection":"Only particle-count convergence on choose seeds; no policy constants or likelihood weights tuned.","stop":"score.py mean + 2 se < 0.08, separately for each arm."},"policy_or_likelihood_scalar_search":false},"metric":"Total own-pool quote-asset edge over 10000 replica steps; candidate minus unchanged QLX5, paired by seed. SE = sample standard deviation (ddof=1)/sqrt(n).","provenance":{"sources":{"base":"https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15","replica":"https://api.imd.fun/artifacts/a1eef2f3dbbcbc7a1de9d15a2b22d1d25ac6d316a72efde67275b5d5a16ab16b","harness":"https://api.imd.fun/artifacts/9ad960e6c7e11509b81f2852f7f34d395425adc226141b0bc828ed6f5f344663","ceiling":"https://api.imd.fun/artifacts/c9ac833b4a6837bf0bd56fc2c4b931ef58d34dc98a000278ee4cec091fb216ee"},"raw_artifact_hashes_verified":true,"base_source_hash_verified":true,"replica_runtime_headers_byte_identical":9,"engine_laws":"ceiling.reproduce.source_lzma_b85 decoded replica/core.hpp and replica/config.hpp; unchanged from replica artifact; filter.hpp and README.md specify the inference approximation"},"per_seed_deltas":{"A":{"first":10000,"last":10127,"n":128,"encoding":"base85(zlib(little-endian binary64 paired deltas, ascending seed))","data":"c-j?{eNYp07{?z9CtYzZ&sr)VWSl^h+fCG{{LRwf4v&{K#X1ct1UrX@lBY*Djesjma5#Z$IWUA~dW(Sp1AZItg3vZ$Zpd(_u*9QU9*7n%efQUMznACxJkRHO9-_1ZdF!${iC56zKo29|iAV3f;b0^@TD>OY8Y9`;ary_vjO@|7KmMnKlksN0&xDbYF>b->)5S=W*z&xnmQ&rN?s3i?+;8fWn>t~+U0>G9NW9P^yVt-;6W`cWV&HV}j=-b9yGvT+H?D*J{%LvqkDQ7MJ<i*DPAS_zAL+i#C}nHZ4Z&4TF72|uy)B${YR6xxb(|i_A3sxk1J?IYNu&*NURBoKyv#{q+`jZwJ>u+G)%aB}bidbJox#5bx1sZlg;DT~Xj?MgWy@W<C)JD!^_8pTUVoD@JhTLH0%ZTzTVZ3;24fl+6?AG}mw4-__20Hyjk*ic+ndibqDiM}Gz&I-QF}}k{x7#YP=ON_8dfGK86~dyXrr>;%PDqAg%<Z+AHHzG%gbT>d;SWe4NKWn&=8}H#i5&zfVa!%>6gNP<wR$8Z9ZGf$^6cxvvr6obUtN0)Q9t`h&`e~Mv7PV`AO<gSJK4G+11b;Yx>~Rd`=tYS{E6N;I}qVlvs=RwA>+QIj7hlYi7VL=++Ed$19MJpv!*O4!_&hgj-+Z-!CE8vrOo_&?cP%r<C3!5#nY>VbSTQM7WoIQQ5nv65Nl?j_>S8o|47FxmHg1gumro1UC{n9`>H&)bl6z2?00r`)hO4o8k9b<c?#Q6Th9(nPljCw#Gg;-;e(26(=m<LwSMY>$AK(w)Cf8g5TjFhpdfLu*7ZZz&seE{FU)I>rPwl2ZEboT|~%=pWt_TptKZu8JqbNr8T(k{+6^Hy8O$LIP_CfB={lQggjI8RFM_vxBl7OO7HyY_E%lO9FjEYyy_w&oyfc^v(Bs6rd`4rdB%bbW^fZL?1#@`ZfbIEn?lXdIWf}|X5nOi)8(0jjz+!g;RX1KHGiy(?!bJ=-x`@iJWbe?^}j~co!mVy#U5mIzZm{5`azOv_ZaGx<wq)AW#GJJc((=fOtbf^GBID`2wUMN;G<9r)_>Q6e*td)Z@hfd7CNfHTj<+%;Mx#4#5j&0#Qp@UPo`c655MW*^3TvmnI&g>6mt;PfAp@Y7kgEiFzN2}>Xj$${h3pNZ2EW<@)YmW4xjuTToYWj9PG8sG$5QE#h$1vWgFYs|4{(jvH","decoded_sha256":"bd9ec26633af8a72966393e419e72da0f08b0d7113c3ce386d2ae1a1341ebe44"},"B":{"first":10000,"last":10127,"n":128,"encoding":"base85(zlib(little-endian binary64 paired deltas, ascending seed))","data":"c-j?He^AqP7=EK0427JsI=myA?C7vAHX|cR{Vt%6PEHWvM3I<BM0ioy#5f_^u|_0nJIS01M8S|BW8;U|V6e}abC4jvVHj|LM>RqWk<&u&?CG!1ecvC?^S;mXeo0xjlo(UUNHlM(EH*KkT`T)g=-`OnJYBlez>)Ru@Y4729qT2TlKg_aJx8(k8b|Uq{#zxLs0&fo*neiExu}tgf8$6Rog2Kqmm}r#V-0sokl(wwT3*ITexpUR&caAKsFU^GKwR*N>D?%fmW@Rxz1vZruX_FXDe$E}=cYP`@Avu2&JIQs**w4cQQ)5wxS#JtJTvr>rIL|g|A`accHrDCt4PS;NTmL2y6+kz63)2sftT|@Hn7jeNa<YfJT{KH0NtFv7<)J}yNcR4n(*|!+J(4CS(Uch172S5>5qmPH9FFY`8JLk-E%cDP1r|gnN&1#B-_xry73ZlG<PP8l2LE@>V^1f#1-u&>DAE1f7h9YMn>AEr;D%M1aDGK@182eQ@1^tZ^GLVK9^<1{ARzD8SHOuF}B%TIm+7T!@G;TwKFlh&WiaZu6+lU;Aze^D4>^VOO#~yFzWBAgEckCA1SQMxBxvBy#DDP^nE^e*r%0I*8PZuP2K1#IJ@&~DR|0D|FBKMS9#bgD&Pwx{Rytyhzqp^Q$N86*`aL?`02XrpYk>8Xz3-{+cnT7tn$!N;LL`OZHa`>vDMqXw%!7+^hx-q@Js5F&7Xo^@_R8Ccc5Ro=rl=s(Z6}+zK0%r8$`RJ>KWB!EPdg;4L!vX0qzdu=lQp`LqDt8Xp~(6e*MxV0rnM{g8ubpc-OVOnluES#KY?I$5AgBQ9s0e$p_NS$&4fI!$9lq5#V#47sTH);s-4}m0V{u=v6@;*E#w}-<<9Po#cPcY|gJhzbf_2uo-ud7xt)j6h3Xz4;{eVN}IU$NCEOZtus!;C^oRlW2lQGSM=`-15+GDznBp5E$$*JH_{bqXB0g#{meLYqa6QiTLhzzE#|R)@GK{9t#<<+l?Q*&(+3~oENsz?`3}ylg+Omg5wAS{2E3vT@eTNoVw-Du<5%&vj$fI@+@z@u(H~&6{5YuL*AC#k{KidT8ly<l<j68~NE}ri`w@39T1nsU3m+=-4e{UUaQE-b1P1)?^U0*5l{}7$e7}4!*bRQev(r1;8OgM9e$AMBR`Z$gXdQT_lJ%E=K;0gH&u%C7&nuM3$Kab&ml@y2{RgMV#Q*","decoded_sha256":"7a0d9b85f10d9238a3efd5a27502ce185339c97c4e4ed36005ef34cd4d99863d"}},"reproduce":{"offline":true,"dependencies":"Python 3 standard library including lzma, g++ C++20, x86-64 glibc; no network or extra packages","source_encoding":"base85(lzma-XZ(UTF-8 JSON mapping relative file paths to source text)))","source_lzma_b85":"{Wp48S^xk9=GL@E0stWa8~^|S5YJf5;faQWJzW4jh=xQ`8XIreNp-KnbN(33bJW0ytxFyrh*e;YI&0l7_7h=fuUa(8LS+YvW6n8<%>W>dUL!ilQO3zeH=+0UU-zW$bpcx}S}&Rb8{P~i(ugtX)bU#(s}s!kRj)WAfVK22@FTcw0{W(M(<j5XVx=E9=|%`%F&gAOLgoEN{{ExOn9`YZ$dyAWjdL&9v2*7KKuZ=48mBmwTcL9#5FWoNtK7rvYnU!SLe5xDt_E2unvW&<D*25UyCicLed@9*h6JIxo#m2#inXg7<ZoKZs%(Q(2Zi+ixeXSW$yB`P%8Af`DTXFtBT;&+BC_5B9fRQWCXAWHFN%WqET54$RoDE5wrbodMw#)pTV{hCe?BYS1FlR6qpN)vOD!ewX;bn&#ycC)!n!{+qNg$FYI+^GQN5^xLeWud(|&hUXp{WU4E$gzQy#9Y*tJxe{?A3o5jPz7V^;UP$!ryOHY4%ZN1&rn?GpANXD84?tA^{Dm3qcZWj3R13gIgRG^=@a-EA5^db4RXAcx8EO`*}z1^%;l1_y+ECU}s}llDTByRa&T;D!DZ=ZxPUnREB9dVS=^P)|0B;t56p2~)!XgM9#E7V6Yv@Yd}JYh0PTheS<gY`6{Q;i->QW=(+`OQaS+g$*Tx=Z6`$sFr!YOewPu)g^9OK1{_*AIifoCSjDQn)a$O7ujsI2?v0In%uh>ySc>V!Og01<Es{}+^B(HYUZ;g>#;lr@Od`nR6NvJBe)SOme6gtL5W-(zF9g({r@>;>76b$h8I%ljyJW1LSE*1pFb$hSAo>M)B!Ve>Z|9DbhVpTEd<2k6Zuuf`T=3#;pweas82mxyTKH=Y-8!aNYra%g$$51kGZ5{FO(WN40VI9!oQ1$((_9y$m(iNC?uNCmiOq*Ic<d%7SH45<rm%WZQlC!ZpGYX_@8&H6b=|H)L9J(#yAs4`F9|H<@^9XWc2bG8OHeZ-GJx~v1F@&H_^Yw6znBj%?_FD#yEW167Fx~u1*%qKwxXAI-my7?fqYA%N+pnNkJ0ifrKl(Abbmp@tHu=oEZn_NP%#@lT!4}G)`X>dOUJyqIH3gVjsNIMd;QQ$<o5y8R8c<<MqJB;D@V31{<l-1=zaH4mv}W@R=aDe6pye5ZdVL&VH~|Fa{vOV_6*oDK=mZ0mmi#o`l^Bj|-VzVlW12Xt&_rKUeexxus-!Urdg`CHom{d1MUYK5E8|!&C9OE8sZ6^R^ReXRJ8dAO++#c9d!fd&5p}PsZ2(inj+eVre#DC)Nl9d?`}%o130*Z?5IA6Te6fgcj;^?=OZCp|*CKqS#k5S<4B^j;?8<I#?P*FDKzd&KYe3@mPw6l8!)oJgtNwy9d$OZzYOA)DSKQi_8oY{c@Ff61smt%a*|6H6ODF@XM9XZeAW};@<091wM-Bzl&rsWPK#(C3s4_m>iUP-aYFu8fW-(`+M5b&3UFLBA0crwI*+O10R#ZBic{*_#fWpc4X(4sJF%+Mdt9YEpR%-V;dZ5jp)+*jf1@fLc`kAO_`A*{BLtk{yQumXWlk?NPz!WC<m(XVVAb-Umn9psLd}vMe*I&z#=26igCYQ-Bh*%-*GlZkXUknYl>?)7%r+id0@rvAMFYPrf7C8v<Ob_k0|&!h_6cEGOjksC{5eYIth=`4=A>eqNP<jxBPgP|26E{V56bLn;aQqUK-<`VK>hEyC0Gu2s8r5$M#DMmm&)(r+*dI9gKf<ru%ctDkqw$nG#Gsza}H>aca<>B6eGmp?CQ?;sBaggF3m>UGK{x)HXZnM*a^6oz+X2`!>SIT$&3-4dK&$64mpD%-?8iRT6vIL($#(MsVDyHo@Hl0i3-daGbx|Q%%aZEc0a^EA-?bxQ+QxT*pa{@0e7hd786<7(K5uaWla(s5N=Ro?b3d_qsELgH)0q?EbG)A!<(^tg_Izo8Y>YuYpXQ$^rqM81P~mmg)KX7jJ*9o!rgE56J5*aH0|rR{ja6(LHbR!b-U}f&f&7WensU{Ht`BVHpYO*}!J^W+#QfbFe;c#bV(fdHA~SHNbcgt#wyeul)COmC|WJ%;pK)I5?_4A{*nEqTXr$se|+Dtv$q;&GeKPC{xFL(}j~Id?D(p8HPfo=URyb0!(Fdqy#?lY29#pxMCH%)I|WB+fn%oZbnXxpML}Gtq<w!59ZiT9bU_@CevG|I;a3{4`@TCA^zs-9Mzg7d+BRv7tZ~LFt-2Nbr{2~BVifDA)YYQ<wzg9^}zrsd;@s%JTK{z1-lhnAMCOHpb${&>{noP`t#%5;&b*mtv;%`m<rR_N+M~~(;VKFNNw*c<%+EkpL?XjDF5D$4Z+Ida|&nEB>pMuEZ&p8ab;bNU=u%9Cmi1{=E4#954jGB--D}>dr}y2O9hM6-pngO!n4wFDRmkQ)f{8W>1ZNQvfUJOoNtZB)_fdc0VLFX0Js{@ctTY*<U-?<frcMGlM7LLxqcVO4_(-P5xL;O-hk;1&6#H(&7~82$3xGBqPa%46Iu&d6#vB?6CUHMb)-%M+Rxu~5wTC>GfUI&`Xd!^VR1{<^h`EtmCi~oK3@WoDVS_`^*cWV(C!%^{W!J{W4L~U*8g7#Hg1*18dwtPF#~B8r<ZL^X%YfBL=EJ}2&zo&OzJ4o+nByboTE$77pO-w=)I6&5CL6TtHEpTr&*rI#nQjST@yE}ngmWd_uO-UyMn$zo{A@rc%EaT>Bb@FWPShz_g2gGtvFv)g+*G6-PR9!Xz0VG-@CmSe|SIJH9d`8)PcM?{A`>z=ukF+d|AZ~v)~GR54%9E9BYAXE|QM-cIV{>m`F!%F6ay4nXx-|-Sd)ydm7Y)yDm(XBdpZtG78`K4|@@#xd2EY8QUJ8kJo`>E)d$8h`9-vr{RD`9pn3`4KY~BdvIZLo$3Nq)h<D8&1LrUsa86{XWlr#$z=gLU-#@y{O5tHrVvu?A3=PjCKpAE0N!S0HyGG1?g`V2h`e&SOEsXgJ0MQqh9ol?u+azb=E?UkU{{S<;{YJr2X@VVhMQK1HLLDTkJRJxeZFzZOj<8ghbq~}W(3OGKnu=kea_!5FjfOJSAB8U4XxN#x6r`zbaVdZSA0xxu3^;Kg>90z$;opD!!q!V$dEJ(K!^sMx*GjoCFyCo`Jn#zq(sbwAxn&(B>H|XDQ>l;7&M>@E;8B`vP26o);11!VzO#_DAh|Lz~_l<YXh*870>nQBEEsH7C^bWN6Z}b=&l%sj$^2{Le6PEtcdH{IaAI*|3m&e^|og8Ix#H-EGK`?=t@M9hL)cLOn9WfEUMQH^#%neNSJb*b^&L^H#fcvQr}>F*Kg1Z41Eq)|73Okw?2XO^zE{8Sjq5JV=`7@bC$P9aL-FGft6a6{GUDr#fd9L4!t1O1~w%_GZmqcIs;%ZYq?TS)Fg#Tz3cBdx$XUaI`ch)hNde)ksZXb1$OLQv;0tt-Q#e8n)xqKWvI!unJHsOqRyZ&6^2@qQ#Qc7K0oBRI6f_rxcKIMsrt5#vFt~*m(&t9zmJwjqo?T+;^??md0y4-zIKEM3Z^xnJsD*Mt$Q4rsO8SEeQFlDRU;pk&2Xb?BFzN<S-)re$&x>L*)r(_S|I236*f;^!by^QB%cYyxg&aVMdPt>Sy{G$D`m3w&~?-HO4__9_3?qYpKr?6i~ST%31OC^Y@<_LQ*OzfOmha^$9&l2(Jrs<vhMs)0|ED5mfG_B8RuBQgO4X!9FUVfjV3hTC0DBUmn5AM&iz1ynHvddt>Gld913ad&B~<7cR|$XvWQ<K2-(SIn;{;clet)QdhD<Cx#};SB-&DM9Q>Sp$DV#8&!p0J60%!7pvN?$;mui)QWtp3D~b=({*P1^7I!v<CPgKi8;o}7#ac@{f*cfiSjhx}i^J`jVC7}mEb!DQ_51P-?h~W^(?5e}lD$0M)_?%$G3Ns$%(xZ1yu)P(_5AribTXl6jeqEb!RKkM{)gb2ABqr5v!Xa=Zmwb5^!;vwQIa4YA94LQs7BE{%w9D;5cIYFJ8<raXYX@1$U8`yhl=gvsR9hzJF`<8Tf;?v7b#@dQ$ZuCZOBFLdiH6^@C369c&3mG8xt+bb|9JLrM9I)(C#zoLKPxMv<J0>P01eJot}+K?LKAqwDT#yHE614pKd0bRjc1bBo9i75_dcY{&DVccRL+lR%Wbklb(?RZ>2CBm*a(#{*#=Bt1L|PA}uX((vP@ga+&;(Hs3o@>VmAr_-6B)D1z~P93Bp@P2#paiG8;}-wZ<^i$Eb!SsP#(car+Yk*~;;VCir{C$T4`R?}*Rp6oV4PvmRT<#NX`=kj>s2`;lc%8h2$g~Fje5b)6t^Cnqy{-m2h4b+hjv<}!42jnV`Yqz1FiJ<te4Sw7fp9c9UJCTumcU+@iN4t@yQ?r76Pf&R%7&}xp#jfGd1mSw(zovL4>IPHi6I<1gsTX!Lz)|@nT*L!CnL=gXILT!EMM^`xlQMJP*tP*xK>qAv=x0$TTjm7O(lOh9LM#vvjSx1$1=7FXXcv8+h#U?!IbevBDQ*6n!vhHGk0Cne=#H3<K}ec>84Du-Z>R=fBK`yS;$d|xyGAbR<pl1tTMLCA&|Oy9Gz@?G#0ao90`Wyc0~s$Q(nL(LIT003vv}iMZ_WcCEnv<Fj_`!&_sYs)gZk*Q`5v~v<pho&a(9c_`PlwU5i2`*0JTUHVE8GsHf&Cu^qI9|)_<Vq{=!=+q~qW?>@YmAg)FM3oC@!@R1=^45oNA@h)zOx$p)rf&C8<I`QkLk#jUzDmGgjFt1kxS+xyljI|z2nb}8jtIcoTsEf4$%r9BEOxrBjp?TU4W^M#yVJ-`Qe|2@_D568+^Te+Lo6fZ}+`QN?l9P{}J%dNV1cl3rL@D!g+R3@%wBq6UXo>uCoypdLEp(jn0e^XOk?m=`N3$4n?G?J<bH_|~=?_mm`AJQF{SKT&XMWyiPA%`p)&}eP?&4^wn^5cick-x0hSV60a+VsvT8xBs1Aalpx5C^m3F>mi#h=WGKlOk32)WCZLDkCFx2J2&vK2L<DRb`lRU6X-vtkaq>&K-S6Q>aq39su)&)3x#aP$IG^gLVr5!nt$eW()w8ucBWOBDTqw*;&(&R{zH@y+@P~-G8ne7E_PN8b&jFb}k=gEW&a^L=L&9#lV8Sh{Jdvy#HX%Itma&4-I+$`p)hu>T!;wv`(D{KTf8Q;Y&-a({sL%kJ)ke_7Jk#xbG8<f*qp?s0AJ0(B>)#$^dq6(LrqUNfE;SD+lta6RKQNvx9d3wffJYs3pEEw1tXE4R}JsZyhVR|Iv7DP2Pz&l)<4fJi{-U<c9#(`;y8o>4WlnQ{k0eldt#;(>Yr<2$k1+e6+e&_9yj|izb+JTl!$PJla!O9!zyl71k^h2Nb?n^xRyQJm0*XdKz@_T7b4%AKFxZ72mL(oX(k2&-Jd_0Z`}E7t)-9o0v2>J=cY0l#+4+=hD?w0@~rnExE(N*{S|s#|F;Rjvr>0hX-c`NC=6Ohm)&HQE<2}uZkI}cG&SZBe7TmgS&zkutQ`<Kd%MhWhzc#?bRR{`fCnT5$oz@H3j$N@LbN%xQz!he2xon`5j}rYZ50}4<uQZt05}l4I)w_wNM1XX5%|XgToF70lMGAy`J3#YFHb=_6K(r4@04Zz}Nj;t@)w|HV>;>fO7ub7-@q>JoIJ&g`gHbdRMVAo<f)DClI7}_`7Dqa5DwrstlAVOl1l%Pz8HHO`}olDC9{f&4%A!jy=kC9&}yl#PnJ6LDU-1Ae9((#@@K>FGq-?-mos_GkSWK773=smr%s_Wi1yPnhm=RR7436%1wjOHwjp62$tvutC-{?TKTR<SB-mUXvOXS`(%IUU|BvHYza;Lu<^nZX9a&S-pkr~8&{*Ysv>oU8|WVsM0uGf<7~(@s8hx+{b%W>HiRvwbGs8|L)Mp5j*jm^>k`5YM!6g|IAJ))xT<N}d{aLDwpT(TjTYcHdvMuEDGN4g=KfYo%?PKVFNrJ^>;*T!;T+Rv;#n8ETsYxE&%)f|fyqX%>&dbmgs<1gbUkGXFH8DlFC};K91k!a>`sbb0aA-fk~?^sW3l)F{=iR#-t1Z(6rb`Vv)}a)Yd2%h8HfARvHH6}!6z)7B2DheWn{}1y#KEej-}Z+=PjLXf$n@`mSWR47v?j5H}0q}W12?=!;358Ma|=;F+x=r=oNPJY4ka?LvLdzY^uILW+s`=o|0>kYdA0zpRef<$?Nwpn$-mG0r9P3qOXw_hTb+Ai;@rW$cyA(7rk;hjU@Qqi`==c@IAIRK8l}^`09DoE08RL7s9Jgk26AYhu455AE|k>$wki_Q(WeunULFOb6Jt(;<<oi->>mL3lc&+XH$%$xT5HAXuz%ZD@jSrfwXm%qFk8NY}TlE(usOQxam}=sA2cR8{p6Ysglk_xHHKU;vM1<vqho=AWmLA9&XjEt7KRo2l*<tHVa1c98S6`Rob3jDD4Wt7GvR`vG6)cAIdYZ6`Wng@q>aeWrTh4QBfx!U>}UA{VH-S*u_*4I)nknOjAN;RI8&5o*Ol7RLS-O%>_o?OtJ_iaf*;2NWl#h#)0+RRmVHOrq<d-@dW~r{}Q+E6^rq3P$(QKbn2rzer!tNo=)DNa95rzfx9tt(OkG^J-w7H&gRhC#;}P%>x=y(*%jO7MG|pE=8%RGVEiu?t-%{6ZMQ43K*Hta?n6e!jO=<P+aEzLz3z$lCuA}R<on*Y1IH8Wmg03uMEb<0p@dZwi4vv^j)Ba-@KQRtw9ylo+Vs~|>ZTs}|0D85ThkhKAbtFvA4ev+vM!W;7h7m0^Bt}y<}Pi9ppn@O??Gsl8RvQ=Qcip`-qagwjwVaHF|#BRX+ISK6R*Z*wtGRgra4Gc35yQePPE3Nic4cRRQK23hBCY<Q?@J`vRSS=8beKJiLjvvf_oPv{y@k&-51%|6^OPv_ONE3oH*i=<N9UiiN#18s!676lw$eA#_MWx@SGmE?;A2O-iNTZB#}LXN0N3gDqhH9A9TQ6dRM7m8M(rc!WO_5MW^MNUlAOaKDk(g8(lj7A9i8uQybzmafs(VTcjL`#XUzP=+wiWj+>;GF{tS9gin2-8l(uFR0DP^+;9HVX#{$%^M<qYUbsx9Fl$138)tg0{ovo&d|(dWTXz#jjHtO0dANx3<h5qm6kG<2Lm@Bn&AcdfE?of$CA}e2HS)vls0*hbZUDW~Le$+>_v}*Rt;YutGRfXJL8CrdSGU?_-xst26{ye3i9@Yc9b<JSt>Ni4e#is#`MYbFIn;=f^5fqGB|p3qcskVCx%yd*m2@;?-Vc77M<U&9-Br%W{o3-z8YWnK1=+P#KCO<SJ;!WsTA20R5wn7nO$@7x%47Q~x@4&}gM%u#)xUCAEN(iYHIs@Fc0~^<>R-^_v`!uYO>s}$$b>o2(v$pb_N8CoxN*WBk;I4LFG>HF+g#1Ayur;j%<3|jwV)%Ku3ebI52egSUZQ3<DGtt?(V(Z`<kkS>ZQ^*`S=*dRyG5Hpex{ztc#KdD)r$qm;8W{v+S#;+5T1liF!}{KZioPcm2LQxg9VL!cIvT}<2URP_?QMYm(!xk_sA5OeoM=oU%G?FIP0%v2;74FL#xZMad-CUPbL`};J&Y$HetIpbr(4aQ|ZegV<*-*T$ufcAnT{pHlhajg&gOMZwJo!j)`CRAthjXK9uQuUCu>WnWE+kW#fN$)0Vx1ft|nP<djvU9?!B{>{z>jQ1;ys)o13sl#g`Uny|OCF@m>5tZ1M6ymp<--}|XxJUbtiGntxe9L(DzY|~ts2EaR_D<24Yz?P$;4~vIG2FbY(Mi|SCH@Kz(Sq}d0xT~?FAQsp^iMqWr|67#b-YJ>r&?kbz;Qy@Qj%eN>tuYqZDc>Acp&6YKzMHM16$UVd+<WoRo69yXN=~Ce?XdHU<<?5lxlf$(zsV$EXlC=!X@78oJl$v6H&?kBQ42(ng{o((-Ynoann85bds{-dV8&)D+h<WV&JJ!(rAw{ogwXN!oo?g^gsWKU{_sRkRxdY$X^AbRnY2a57S0tZ8Dix6zuYmq#@z(E{9J*E&124juE;+fLYQvT<xg1gvalDi%M<nWqrtE8-fLZmC)q~+gY)AJYuQ?=GWl6KFH>XdqP7`!F`LpAscbsH8_2FO>DOVd17{BF5jD%xB5OAeX_(^=C`x@x5z|{Ywtt=*qO!Iz!nxr`idzdDGyAnH0@ET-0k`E)F1`r_q#MmxYzKeMj3hMyDXjcf5)d1ih?4%i4>A5nkITD3``<f7@vtE^ZbB=~d}W6I0u1Xdbp#6PpQ${{z#~h_iU;Hm0#BY-pD_^U7SainBVG|=i8OhoohD-jU+|H>M~2T-%<91;Iz|!lsCnDYs1ziwz3E+?(=GTc@8gjH1{nPM1AWw7TCPA?XVSaeNh`p0Ssf<H;lajmdsV8=GpkvxGYp@J5S)?YIXS-P5f4XUR9b>QAdu5=^?cjhTa7_u*4%`|p{d{yXhErOu@b$?)1fM0k>kEgq$Ia46Lb*QB3h4HOC7^)M&N90KD@DPG$r_x4By&$XGl4l{1o9}ZhHAmc%cRmu-FaT<OFTBLRVwOMKZRp&wR4SC~ZLid?&dDhfBeisl|u(8*G{M-7Ll4Swg+L)bu?uQ<{96RA!n4PCkQm-AB~&7Gm&>=>(;heFoqIsJK6|EN1urrw6xDRyL69V~gvA%%sfn(ChsB>P_Y8Lxf5nON`!CIlzHNmrm4Xi}1@;mgt<-+gle4hW&y93z9tO^&4ZV|9|!_se8%&!n@{JaBO);9kR)iR<^D$;lbiaKJ4%U*dIme^FoP}*4RcFo(WyG>JJo8_=<(tFpLQhqSp~=oV}gTk`9{pSnW5!*y3^3_5R%klf!c)ti-ex*UJ&j7DYBk7daBb4DwTK-OCx=C#nNaId6=G<OXsd_{7{Uk`e5a=Aw$O7B!4p7Y{+dJUC;#ci@Z{`rovr{hVxxxM}YtEvh%ES5auAc<?-+?r`k1<Pwb~bB-gR!qyL|fv~})Rl_pM#k{Id*g?HrjZJ@)DeW5J+5JB|eK`3?r_C&GhWo<{@-lhn`e?uJYyBrXvs3qSfa*h6(sshn=_A%zF2vZ+Ew1B~N3nn1QXdV3Ur?a!@`5upUBN?6xE08g%6C_Lr29BbGXt)EYAn){vg6^EiC2_qOOw_DMF(pw2s#<_wnA=e`$|LiZ5DEH7QGZ1Yu(Y-GZQYW`1z>spDiLD31&mv@OPXC+K>vCb^%bRqtr^`UNQ%mMauh>`96VXuP|10)c?m+yk!IKILh%GCTXPI6~vPo^x+~;iuYTuVmnY&o{?@Asl;d{{v^4K2-_U+9^wM40!F?E)P)tYJoEL<#yGrQGkz@EYRLBSZ*pl{T>vV8KooEQ^?pMxO^?w@x?&;km><0gk&Ly>E$9nZIN46BJE2IA2-HjPq`wG8<h_Xx@m^F1C6=;<`nsgLZ>r^nz5@9v8&i#!NY^$MPm7JHUg_SJ3;yLrKQ&%+9WP{Mab}uPlB+?UplftAk*0Pt?aw%G9EEkBb$!q2NoD!Fj1eWA5(Y>btj_+cC4B%mbOZ|^;ZvRnOBHpn4*OTp<bS8~`FNexnI6b?cX$QRfTZgiHpR7&+}yntnF;5K(CZ5W*pWL~TttCoXvk5wJXs-rD{qW7I8CF#nYV!XzfG7>(F0!)8~ZyuJpZ${y4m<)*~NfNa7EDT>UX0=^F|7{+cKh2k9LpS_U?3e=_s2Whh}Mj{dKacuJqi>tvh%Qgg(M{Mmm(I8i8QXZ3^r@<UCmeY;92jI8j~8Uh95`NV1QuDHG#7Umo+{vd-#}j#h{?i(p!!COI;^G%zc)D{B2ZmIv_ZeiEiUxY*$9fI-^pDu#=EM@sLA6mWQ1|Nqq%ISW=;S3r$P4^sVGuQ~3rlZWqw3%FiuP5I}iukPhttxy%H&@f*6`xIZ~iSOSxFDH61^t548T9&7}$&-T<f#wD)PGgsCPC5>(2LW(77CqE7V%Cg-%E$PIyDH(Eixur*=cWm^7!Ms+_0jA;*s09vo9?pmCJuG`l_I_dqj3u>+e(<nZ04wTXlk|DkAU(|_;{LP1;~thQF@?}4RBdRUE@flPK@Ui%ul+^S$MKrVI`*eVPs9epqnO^TePOk$@j)acwV?GQ&HNr_`$mooW`jCYqj&gyLPK#^y!MYYniE_4AI?#t@`L*$YQjzbWOJgC~o7IRj;ECw0|Np&V#Sm0g@-7dF}<DfjPL#wauwVBF0OC+Lxnk_AN9_>T(z5@!t9`dqbvPN@L9n%nb9+rieBvtlGPya=jaDSKR3=vWpzZz6HGkrGVvIf1gSne>h#;nA6;^@897&9tEaG(skYH65YbWPZbLpPo}TV&{?n{b+V0`X6upoZ`!Xf*2rFe>CQM20){F(;oZerFZU`BebJDiaaSh|by=&a%-PS*erL^(l}4{~7YG8ADl7(jW*;V5X<6YN98w0s5V{#>;zmZE6QeJc(ymAAC=pGg@j-)JVcJ>zEBYeHg}v>qVl&w)niF^A&j{Ox0lC?enbi3jmH-+T7@IZ-WyaUbe5aGxj3t^^8+0Py&xb_Be~gg4xMIRfF{ZCFb`;Y<GR79LVk`rbt_D13hN_yGOYW88l%ZP9KFW=Tdn{UXN*B*lGiw7<BH+BVICV(^hXrw@uKz^h@(7FViS&N)X@SWFadMRPcHq{)I%OvlS)@FKLdWCR{f3OUO=wYNi%m&sg$fDYF2Y+*fjIKkQ+bMwPtC41&ujptRE$s~-tWvKyLQ;aY0y&GG0t1KT0ROx*5sxDF~9|(!*O=;>-2vy_^Oru*qlnrVD1)I&L){gEi02#FggBfp{xHv)4ooE%hZOfY_?Vk`bE5P`ZT!>m0_iYDJ*AM@H9k%sp~sk7o6Z(>(*qqlBT6tKK4-|x?+1a*zR)*9QX=jC%)OnK#h1o&~;{IV2CnwywIuICuIqu2Vi*;f0$0EavR>-`?gj~@PQ`qc?a~mZXA0IhsbI|iNFA-$G-Lt;)qbZm`TyLaH4oX0{_g2LygnMIgHZz8QbHz)U@jg5{K4a90B3kz*vGif?&nS#|UpRL}1>W$x6OFP<)GP1h4rN#n$Zq)Sh+$dX-W|tR})-_>U!65^hyUImb=+^)pc@qc|#CvzQ@u7Z3V~j>7TJkV1ja(c>NL&MxHX3Uf6usaevE2x$nLg|haQO{^C$)g0JnyLx>*<CDo&sv|q6SCo59gG(Ai#)aexU~kHXQXDmlAD59bF?~#VpD=|q7n8FF+fsd$z3-^3$l}O*y0w2NX^^4OD>GK(hz#JvtUfAzv5PSSQWv0+bd`_=N8LTvFT39Bn@jKXxUblt?1G~()kGN~r1%hPkWi6A!*a!rzKlZ79c1zeI63|X^eS$(w19vxmSAy@*?C2})8Bl!yal4rqWN{kqj>bgj;OPDqb~_9a1}gG@7jUH7xt4L^(LN)oj~)O3)opubkxRv5T~M$8#gD#Lm#09o$fnX1!yGQTgPpKoXYQP;<pVG%Ld<E5C9WYGD1LVE1r3K8q~cW^7%&-CncQPYqiErfE~234Y51`l3{)Hid{(qkyYiS>A1ld)&5=r>b7Z9|1MzV+fq92(dNPd!5jS&d7<p4V^b(2dTB7mEw9{2Jx7SPC7RzxYz;dMKongou9_f2S2wKS+jWHqldUC{sTXC~B<FQsW9%{?wP$d#Om=Es3P86ROC&gQt{8!Re20oe{KWdcajhfi^%3s;1-hq$dEx85f{6aE89$?qE<LUOc{fdTb6)YnmyVqrR%DdqzCVC(pz8DxtmSM)qb-T$Pe4Tbr-8iYrM+NP^;F~Srav-RZe4=|vnuAd=vTi{jcL=^h*w7t$s}31|N24Md{c<UBB2G)efb1=Y2kEuDvAw)ZBw<EDb5H-r$>vIAUo@r#<gst%XT9#A#p0J=JIZ5%Hv(JG6b$B7?&LPb^ncNnD-o}^Vn``HK>n+KR7~*V*dAZ_Ce0XR*ide7iUKPa8b_-#Hoq=gg3)popeRtYrIwG#l|h>A&5KmA|?c-FrP}<J0^(Q7CD<em^Z?p@Q6ar61rZN%kBG<T_uFuQe1MgIC(F4@X0i*FEvF}`$O}V0~EQ+hBr<!e0yfW?k@Qp$H9ayqIl@JmQ4gyqdhzX_8@x_=e-qNr9bM3`TFVL3Hn9h%WWrBd}P|hYAM)TL}XzDFuqC0v1fOo?Mpv2m0Q7~h%)G1z!{vO5gu=Nll5+Hv*m`XVDj2mydnuGTYV|zV7Rgh!+W%YuYyAUT#o8#)~N?XB>;%Fj^yl!mlZ?ia60`+rRNH-YQU{MrA%8qwFC0kTYWhEfQDMH$c9Ow8a1L{HJ=7gaw=~n0R$~`Za6`66Zm`#a+TVW$*f@j)YzJ5g?;-oc`lO`#Bt}c_>MOEj5>>LV<RA#5^aa%U6-dLvK2TdB?b<(&hSzbM8H5BF`Xb$<#aq5GH9>+X$OgH)+)b{1IQ;XdVxyc1k?{(D3o}gAWa4g&K>!n|KVQenuCYn0!$rE?dMw?&u^|bPSID{i&Ke!J7q4E>4%=swOc1w|I7X(utNbl(h$1vmrS&}5lDU^`{Wx*`Qq$$3N|FRYTGA>0_ucVXWVxtUf>W9spOk>3#w`UF&-fidt2Am{*zZf9Ax=yFwl7@O+BQZ9P_kzVBFt6;q-zl{$O5BhusF-hGL|h&oNq*-Ft$tA9(hXu#H4b64LC=NSy@z(jM>RI8g%eaz}tDQok?<-Mvt}y{Bc?eqOkc=5+xCUu`b57&6@I2>=`g$)3<Aqq$Ex-&UM>dB&0(G(kXPTC%Lis8P84DC!_jmYR7oM$kH0IQ)$00-7Wf_=UE*Cz@hw9#pj81ccexJanFy&7#-$iEc(mN@(aEDGS9Man4X--nwgBn)}Y%IO?JXK6_rYKCWp6tB|(YHutHhTF}H3gb6<`{OK4^mCps<D<cSqG~_9+<$f>vYY+r!&?W>YH&`0{oJW{8*kP$4rnrSWS#~y~dS1>o)*_Kv8TM3mQgq+e*SR8ov*Tj70VTOaz_yDG_x|XL*Ib>$JEqttW3TtSy^T2^0%MAMVHPK8#ZFxY+{AC@0&*gah1*}jxCvvC(kHB?5c&c<j*z;9&5|CY&x9(KG{`!PRnfGmx5{^-x2d00$NL)4M}j~w+mc0NSW&Fm=AB(-*b6YE?&BO)@kzV{BL-9So(HBTy7IVA*|}p79SN3c1rx&N$05KK+(^>Dz?5JF(*40^>*#Ooa^A0jqg0*m2biS+Ixt<z-Z46<Z3rq@Q%H!XT^~d<EsF+@CS-@I0W^<^J7nU&wX>~Ju{yjtQl0p-!*MdIc)ylS>1AGz%zC^yMM@3bBxFOw+v3I+F7AGeq&$Ubw#?bBGUPbmoUKl_JGBn{I9MibFe!b0_T!e$q1ZSrH@*Z`%Yw3>l0~r}-HRc)l-3j(gSIMpMbzKm35oz}&A=k(UXV#*pI=(sh%00=5-C5}b%bqUC~1v+s-NTcH(2jK(Ymlx=~Ixdg|!Y1uJl1r>nRjWt(c$LqO_^fk6w|_|3>@c<M!O&0k82Q5;bDH$QdkgEtp?0N`L8@J>}lZR;8lj2l-68U%or=O7vNIWL$uYbRY36NmwUQMistaHvb1FJLqx(J+2lF?u^et|05rQF`;XvLdo}ap>?r+kN=IOYahI4Q5N>%qqdPFa}QW_+`cc^6t?E0BQ&_5v<up+DCR;Iv6s+KT#|Vjr}v^W5wo2=KE#{f=am2=(9s?57J3i*rWP5Hs}tbOX~{XNfAfj7J?DjdYZ^d7gR}))UaoW<`=##1k#aC%f6#{wVX29n)zGlr*)J;7+T&@9IDREW7`c200VJ8Min&W>`r;!53WpqmeyHMLE%Q(+RA;8u(jt*rSFemU46PWlu7NkxmU`P1$M11uRkBW3rhA;6osye2==sEbMl$!PRau6uY$_)3WY#p)tR1;lktdaBWzq}xVijqYBJM8!hBf54&kK-Ga5J)<t8{$*009E;U6rjRuFvM~!^1@W0;8%Q^2YYQ3)4r)%yyl3dD!9QzwjJn4@$xh8N#AskJ%HARUV?dhPGtdl)<qA0rphpkBae4e4wpZ<3b-~8i|9asI&iu)2SGUV^`*|G8m}^z@(>&)tyNHO4JPGIN5p_ZTZ;qT}z$V?zF-Nxb88>dia}XT;adXN<Px}Gjq@ITFXX`r`t`f0V8XEH&0knq>HIOd#~ortvPAEFyR-SC`S2mYi;ov3bqgF!B@*=T6sG1k{N*Tp7kCFh8~%)YfvOtvC~FCM@guz7B<CV@G_JK!?rEmonlW1oUASI8^j`S9qnOYYr7$h5>5ZM;|-_X6|dVAELTI;S&^$so2WCTN0eV>(i#JgFP9XFI@P$0B7Wo^-9YjpSTJi-#Y%$1MbhQtTpZKtWIST`v+3t58EB^+#C-d$7Dx!j0%VI?AH^BMO&ft5FH2ltTCrWjLRWyV4o&-Mp=caC-I_WbK!`K2nV@04G{wN>luH<SlHNzUV0GKJFaQE=R?p5jMAm*7SJ|iMI!PA?q=%G(mHsuCB$(~$3_r5sXO*98CaE+ZlcWSa7ikG7_C0;VSJx|8Gbsb4rcO%cw7k)c&mAEaUw@l&BkS1-SwD+P(`Z69LuKRd0$m&!E^oS5h-}*}kIGaK09z6Dky9G>xK#l*D5EA^q>w$R;oi$8SWQV@UGOI6Uj)9HsDWqF>?HLg?zjHd7{L)J%{X`<9e@`$av>-FX5vNrMWe(-xES>9%U&vNOa&++@{6&`j>Nn<B7xHiz6F_zg7z(@{N3@Da;;*z-gy@3Aa$ekw5-l-h&5Up3LDAGf|4lIbQ~RtOqANBn86HeL)>3q-6LDYX*$zjrA#85o7I`Km1OAR;3)RWu$*xngC=(~Kt=Or7`>y~gUpc?+UjlnY_UDe8@M8iqH39FlY3PB@Hr?{K;e)f4$YuCj9A3D->^&3DK8S2<Hwacf1Q_=yDF3mce?p`qM;~_cQ|@kYX7ee(4qkf@(kyAC6ynUep7LBh{3)U|CtSE0%9>4p1o3mh0va!s6K)ZGz_y>jucrxldy~xZqx}enB`G9Ev16gJZ07G$b!tHM3QfH!$hzGGFiM;x&cc#Rf{05s9OQ^3BxjAk^nA=v+%pSa;_7wobZ9<?d_IfosIxgbQOAoqB@fR=oKCItH@(bVr)xqJ5;e~p?3U6Ti#qw&{vP8g&p7Z8vV2b!84qw9f1@`$B6JSp2x@nOC6qLdq3p$xI%s_!7QO{nsR3XzJM<)&28TI4ZG2F&uPbeQLLxE<Cw*JOAzio1XdxYMoefwFatXV586|js&fVL!Bb?8QU%Z)h3=h#_C1o-!ro4zMMQs6NXuL?L`K_Ks92TC&6vDq1(1$%_^E#82o&miCw5rT8<-BdbhdE~`nk%0o6cFD7iha9-j^?xgSg!EI-iJ6g<TF54%ik53<g2q8tCW;J~&{!M9`zML@Us*og(Ic(qr^jzEZ!F_=*e>OOPb$WNf@LP`<_=@W78O*#I11iLo+w8!~WqEV<wMGRNkf*A7!lQn#4GyyMhBV6<xVuLN%xWh}iGpRbh95Lldbk-VSEfzd*Ru0Hjbr<CF@%MY-zS*o&YjhoPnzHG?=2Zc>?!m8^1si0e~-%U6$k^X0#C1u!(x|V>o<kJ3BOdy_){>vcCzYWr-BJ=5Kw-ih~hPKbgbau?QyuXokH=wrcrP%P26W1vud6(d+n6p$*XmIC?sOR52cC{GkZb1!~hm-DUc{Qfxt?yl&tLnZ_F=IUfU_UYM59!2Mk&<7R=fQ2>lz^q_rx>*krN6{X%EfJx5<LVyAx5rIgy8tnp-PR^E&G_AM+h&y`>A;T@MR#tJur7rI~)lJ8`_|#tg9Xae}UKlz7#eY7=HVnp(EU$2YcOxq}qeURq*^pVi-T`r_5i)>y2Xgh-w#^>-uugq3Mx9R^`5u!s5uJkhehkne`oxJ3&(?*tw)pyJ8Ropg@LKAkB8F0`TPqfQ$_C@`HP+n;}mroe<?KmhdvY&;@y3+lbexn5%OH-3a+>-oe-*W0z4+7s3o@9P>+FgYPT2cFpr}Cc^=frTk8t$9y1@50vSUPuKitvv^Im%uCuNvA_g2GM8Pom=*BzoN15IUSy!|(SRF7YVFY&$iJDLrJ7gpj{_m$f&5;HTj{%LIREZ5-}zl_Wy$b68v}>u7mVHP2VW5^ozBA?6Da@ICTB^XjnMpt#7`fTI&yRmJu^!#0#_7aug*41(=xa=0v}<0Z__keWjj}NH1Q*VCr*|J8k0Mwj4U{R=cpOf|Ezg~C#hC+?merZc591V(vglgr>g<btmE!umDm8$r(>H904Q?7m$Q3vO4vEUN~|u6^x*Rut=Rjy19WPusc5EVAJKbb@{}(Ok|JVo0=Lg@!1ah{_!SDbA~^6v&e5FrM+vz(cI49`GxBE%&uetJ@W(RvVZyBz>IcrEDU~W34u%)$*s%rO^H<&w9|U-1_{X5Yi4q?<nCyW^VC`+tTJmgwU_?%IbO>H;+?Sv?9sP1c3aLd?e`%%+b$nDs+Mmwl*Ect#l_*M*eTOWH3={|DJVEVNhp!y9<k}j`{&AZ`Znysy&Cp96P`~O`W)t17p;w5OL>($#h@%c!cB0-)&<-e<z^_Ov-%v(K2TOoF(vJ6LlkYP(y(##b{EK1WV-``F=+*cD1>El89Uz-Is2J_}D)at^maP@fs`0L-9Q+zBX)SWcSIK=7Fp`mD*I>aB>$m@eI*v<Q&G-==_l9B`hNBN({m9K+O{e)0#&R&)NR2@hQlk4bhY<aug)D(hR`Hhbl;7L;b;p*tG$u9@AGN_YAC=pwfwsl@zev!&h3rup>edC+qd;1K{N(|as%_|wZh=US8nqb;g_aMLl|HYFbAn2&*Zm)zj_~7_wQFPy#AIhO+4HYW*ELsrKm*M-t@l2GCkkoOo7e2ui$nx-9?l%$fuKN<+qcDFCZUs(`rpuWeNQ}01A&Mi<q_~~#CHNNTjGY*z6+395TGj41hlUX;gM#BtzahG7z)EQKEVsXw}-(L09O`3MTmMh@)h|YcDMFG?O}@kg8T>Ri4iQ_uL>JQQJTA}6$B`hwIgfgftb8ve6r9Z4ABB8A317u=s+@QS`r8MWdBdax50NXt}`NdnrgO;q^F<xBuO&|rGtH_<iGQ}OGL*$Bz^u<oF&W4SLI>tW7-|<or+?s=zLcmB3f)Dx8~zPu1w#~quo*a%4Fwogj@KMBDubDDB}HpTdH*><uOJCOxV3ma$^BCBw(A9efMHszS-*ONW3eXJl8Cggp4@4EXRW|L)_DW6kKu9JU{dgqjT0-xikV`i+Fux&n(2jl+gXbK_3Wlk)|nZLnU1sVMMF{m#L?}i!o(;hODOL|3^W3c6ldzn~GiOl*rR>-*>E?FO)SU+q}T0+YH7kLbfMDEE2zUC`jEEB~KKlcicJPf3a9O-L;SQ6h1p?K8gSBcxANC<8c+#^Yu3ZahBIg*acaxXmUX^`U=`M&@tSIdolKgzwM$pl7jN4!rAFhW~Wb>_&e~TNYE*2vP7m{hU70mHy2T?uh?^ldc&5n!}-<%{a}d9;nwX?KCfXAj#6!g*Z0r84W~p%^*F;nnIO$E&8)HvFt*;>>Fh)Fngj(PsZVYJkul<&6f_ikJcQEnU*f@(ZWnenTB;5PM(bnrehiZUE7Nq{2JhMK@nUOyz_v!)Lj}#vOrONIM$Q3B))Ma)fj0S~-k%z&2eTP4C9Q0sBn{1c8b&=sRWa2!X3e{X5Q}!(Dt*N4nSGinT{#LSy>gD-G%5;0y`Q`ui(Rl0_e7h|P<!W2+V`(`oHSN|vqy|fZG16s8dL81iGY@8knR5vds&kA*`!ZUd8J+#K@d9WWGmN^I<2M>Dr=hlr<w?snR_hK2fPlJUCpySbA1jR3QU~b*`+m!B4N+D-u>B;^jj0P-bOywLsJNZihga=A~l!6-3i{i;G{6GwQ#{!wbi6<BH|1(11F8ix>h?L(>zP$Mu<UcfJe8vYcb<KdYT*ts_OVT!-mK<YSXZQ|Ia)sNx#Z*<p_Fqyvpt4nZ4^A{`Qpu+>k@lR|nl#vQ$Z1bNRMeKHizTIz(4#8I77TTe;nKP?F|KKt=%>8ymxttFqS>6r_=e%LWV6!|j5IsiQW;c=aY28UKONkG#}}Pn5@>%w$Th2z|1-SaWG|J$ZMg{mgB9G?ZRb^7W1|+T4H|8r+i#qwd53fVh|YFXi3=<+!vRQ_-WDqpX*dad}&mJNuO%tIVu6pxusf>)U^mLJ-8j8T9Kckte*at{Ok(#uK-BbZGvk%N7djSkI%4@(g8oUpBhh>V2fQL(PiAc5xAu=NqhhC+lGV2L4G}nOp0Yn4f)h6ppYS)q53LYfU!DZYd|mq{)-5pJIbMYs4o^e>-XGF3-iUE#>m?ewbWF^6(JA2E9SDDqb1A)3>wn*xyT?dU)4}h|On!Pnq?c2m>U9PpG(_S%SKi?B|D5p~WUl^60Z=MN>IE5<A<Sf-6Q1NK0lhXe{3?#t%$pnB(?pbb9N?>4A*tJes12@0t*Bv&A3mC&Bt5=)W-nV<CxOMR#~9vDEn#izm?fPJWQ1Vnx*bA9c`d#xm<?Ba{2+(S?VH^-KP#kda7XkTe6&N88GF4)}qtOG|W6elI`YSa2eFo?M8qa+7GAFZag=y<Y>Z(wZ1JTxs!E=W@Z9pUrv==ktV<T7{OqbAy6|`+trOAcP)xx8nfo%dd%bduZzDSJ=0&_!wX9?B+#*Ljl`OjZ)Z8jxn>%k?QRRVbSfPOejXYgn-h$cd%U+SmbM1+)_AU^Y2Z!t2u$NVHo&ee>l8<AJ<f6U10_ZT?)SqVwWiT-Vfn!aeot<wYq)@4`#z&0ZPo04TD4|fDwRMAK^>jqvRx>ft>(rTAp%RE-~?+*EeYV-UNdFN2*s@rxu2mXVCWCLu1lp+1$7Ys`(c{6>4ClOGgsKYYHQxfMfma!=N2c=L%2Z-ro;)UsluO8r<zx@?2}^!2a`bhpO|Jz5rN*?jIs<T*b`003eV?XNvUgXJaHsgCwG@){z=c3`bR@(Ew3eJ;@84nQ3LutZ7GMx-C@5?)X{m2ap)kPX!x|f}7_*abjoWau`@>^crmGKLPk3?(wE(#GdBe$s&jhr)tkmOH3mAr>n`oE}a_qArf`~NK@Qxr*!Pm-ZT3mD>F2*^Rmz~`4=WVcaThUYGpKQ&+UrLsO&E$sp4FD#z30pH>h|A8EF6=v?;lMsWlLS92YWxEB@=SQTJU?6)MDCI^I$P24^mu{E>tY3a=xI16p967oVB-Oz^or{WBi@^dBc(l=2|sVm$3;{33NPH;BoK+DJ;J-LG0X$1ZaXI8*io1Ney&5i`K@w^I6@{|ylyt_M+>y6jj1Y7TKZ(j;tgP}MLqeiSskK+X9zNCcZJK4VtEt~7Y$N3Zq;pC^pqndkoaeoAqVB|SDoO7t!TZ-Le3ixYPhoYOAu$dbSpdh^K>t9Cv*Un%Slr_xm<yC@+n7Fs;~JwY4<Xzty@Z)EYJcK1;(2bjjlN|$N(Y1EN7>fzcE)nCrztSVgN(u;O0*~NdHyaYxl&3Ze9E-wzrgN4pkQvjBoXs5RB4RaQ0Hhp@d)vUs}=+&4Lkq5fX1^P<c!#s%~IPH>A=94whA3hy()5<#ht!H7{{a_t_?(F7!MMRMNLfvutDBq0OW#IH}<Kya~1Bc37rh#nWR%U1k7?sY9!)#ftNxAwfSHt7H7x`>nh&EUqN%2_BIN4^}VlJ!o@M5<v6`YM9gv@jVU@wYSG0!L~DRJ}^hq;2;n8A-_xOqN!uBqyGr(r#_*k+<UZu9;-gux&H)rEsotnepkCEo<C?Frn}EdMSxDF6pCL_YXP^&q}&{h6+#4Z=W2$K)fGMjESLs-SG=W43jqWUm`pr-+R1_GXYL2oyaMx{#tBDh4HbnW?(*=(Y`Gc0N+)hm9HZ{=cbzo=N-v@#x?zAYJ>l3?z@iaWe(LGH#lD-}`+a{3Afc_{ez=_+xKvSXfAGuxAAAArJwc@xMQ{EhtC|iO-cpzWkmxF<WvhTqD~cUy&sU_J%b)Byi@wH0q8q+%|IB33zKm?S;<~J~s*~p=6SN+4l2ZFm|%yJ;Wdag1qvwxm~Fg7FYWJnJW@9kdAZ-k>>TCFhH6Ahnyqw`G#(v?dYPMMDXHUV)cH0056~m=N=eLC4^!79c3O*Vi5AuLG3|d_k;x3WDzQHD?Kw*;8o2ar@rtH=o8_1n|VrwSA5<bW86@I5qcDE&L3070qFUQvic%B00AB%aXSQGo?1~M%Rkknm=ZDt0jU+e{@J&IZAO8QKxU84sBc{@mB&z~r^1-WL6u()w>Y*epR;b)cfzjh1!Ai0fq;!xQkdmk+x$30VmROdwr!Kr`$khiz;?Qz;Uhq;R2K&WPY~D!u5cDod2el3Lf-0piu!QAX)BV9J*ZzvWAIb^0GN%bax}PgDa9<QzC0qvw&wM8L?L|^@NJp_jU5kV^yAR?5#r@fIN6b(dCXI4<epP!iqunAV0qUr4X4HYQUP4iRFqm<HHi1;GeuPo?BXU|0ypuyM}B*!zb41e&&4VPf0fNnQ=D0wyjD~&PB%#vUvKpY09f&s5@|~9S%U1<bHZ`$@hR&7enRqrIGQ>JT(RYky}!<Oni*($6`iVr+0$u7hvCw#OZEjTVl2QFMCtN*;SCNy_o5qG5CA5cyMuE;{U}$Nxj-YAfRt!j4IUWlG(s{7q>{Y^XI%YAmjVaM9W;BKY)2jDa_L<&Gv}*;)0JZ|nMS-ith&jCRrxggzuX7AZqT^+e(hd;_6&ELxMUEw3xH3<tao%p+GyoFDfFZgqtRW7kUiwYD{RtT6*!K+YE`O3HsMtUo>*#mxc|ML^JzU69C)y@j-M5#mwigH>!o(3e8O#-tgLOu2+aJdVzm@dQ{dP9KXx(THui`YPy}{-CHX($-Krcl+Tf*wUeYw6;(1OsuA(kwWqjW$Asm}yj;p`MyEHnZ&{n)wkdE|RDtI`8X8@N*noXgu<kWGj8kAqB(<;ta_gk%cc3wmdfbkI1#(j61_3A_M)f#EfjpeE?6K`A$_ev@9tdB{+InQ;NU|FARvdn(vES|ASWzyD(WJqHEx<qP1H6VDS^X;y=kKDwF{3ro9Nh#(lX^a;1$U%+U3{<VR9c~y7Qbz~{77?zKs9T~g_^3dO#Z<Q_dLUR`Z246*@^Y}a)GJQYo2b4H6R~FH{;^Y^D%1<~Bm*<8Vw%|;WU?~2Fqvs)_LJ7yNU8>CFHxfe4o44r=Pd81wDo&c?6RspqFRw11BI8_br5n8lQAE0g*Y>rR#GFU8%G7}HT3}HyJ%6M!_-+TF*G?uS`~CS2KYL*Afj0I@UY=gGUFOUwY@wEYDT98Bh}<%%N44o$$5>3+G1s6%;@ctDjMv5M?asxmm7^BBo~uEwA)r1<hlm5wPBqB2PyqwQjp&LBUl<ye1qGs4pQy_MebV<m|5_27fJ>-sMGbep1q9BA)y2UQy5snHua6pP@8Y-T`3Q<sd10T#VD9wz8-^#FtC%1KV8E_X9o1{FKz+3(j$4b`uWAK*e}qaqw|7jN{{!N%GRZkgLBuD#4)4&BN4T6opas6ms>q0f4FgNXXw?|Yx}8K?A+2di3nfp+qt1i!?16O((!8p!L}zx*y4DNV|^F@@kAuDYm#L5@7|e#9fX6}Y7`85R()k~@%Q|(c$Pl<0`(7a-g_=zp~j+YQgZ!ULpa0v>j2K6S4%!ZR=V{clj?rIh^5qk2Xtr5>`?FWAYE3X4XjVNdY)1ed5_FR-kD4gEN`#y-8dk-qD5oZ$r@g3C{On@OVEKt^vjMMR%JyoMbXT$PbxI{SVndchY(|xcgCwZy|B0vkYNY7=~6pGc*{pS#iuV^OzA;AD%?lJ6=!M-kEDKp{pv>#Kbw$R2RP)W%!@hranO7<!ag?3q%6OIe9kbatxzBEK;Tn>1{$gicnUd}o~<Jw1pfrqOz_oU467W=tMxAcTfrlEh3Jwb-B(!~!g+v|%sTN?>bpYJsnFYryox2B6Rbo<t$C{=iUcgjVT1!I(nc?rvl2$K*6S_BWgB(Svk!U7Khht&2~bKeli!HA)cg^XIwU|oyU*n{mIrMejcoCfh{s4UPBzN5?8Ng+$=@3d*Mm66HKqS__fp=@0DfAcXil?hrx=6`Rq605FvS_qBSBJF5RP&7JueVgUfxF%G-oxD1ygz7OZJE!`78!d>oG%3+yaQC(>i`RXCIf)2a59tk(CGRm7?Gz0^L*%#-{>RmCv@?+sE_KB2;JO()qL)xtYSK680p5$GKPM8W;F=Gb4<Qz#&%>PS(R1m{?(aS)y)n61}ZFO_NPjE#LUMb=(EK8J&v{uGPqbWAugcu#)iyPma3n!CHRyFHH$>x=>z^rAR6tXU%#S+h+n)yVqs(cv8wn?pw^$Av2>bYU<qHfQ8hrOw3ZCZkV^$RvR`U&IQY4%>Woa`-uF}8AMzUERKq^KrnJNLe=+QV%2T)pOV~pgZn4IdUut~Hu@x#a0|2(*xTu>=BWbmSF=)~(*EWb24}GEMB`cYPT)g@Zs#nszDm_`gdCk>>+e~hvOMK5UX#~2<`AH&{Z*3}#E=uA;NLg*JPj;`A)<vT69IcoDA5G$&dn;%yyYfcRA7b)UD=SCEf2nhU)c5k{bo&V4QR?q7ODzmMmS`RwWI!9s;b&N&f-Zv9eewA{BRB7*<&;NM>K!Z<6^=kYK~?s{2yaAM?4+Fg!~#Te^qlD?+^3;<1IMw3+8Zp_Ad=&rGj(^G`neKTxr$3KNV8mT^~w%?Ba&^rx1^fhwP7)0~e=9>MW9wr(cy7?^^1%s=XBviHFB#JJxu+<&syx!?bUCx5Df-r6i}&_}JuB9jn|gf(rx`{at9vP!-m)ZP|X*81bwAitnIrjcG{XX*Ks%|5S4!Dk}|KRUY7o<<;Ln=+6mGI4>#shv$b|Q8CYx_0!Lxo#7=e1<+?^O!X0m*o;G?X61`J2{bdqm%jONvOn6d3YXE0JikF1x=eT}H)j!WQvnN~KJ;d7Kz_vd4&#Z~ub9{ap>eZ>sR3jRW~f8LrN_yU^splziO6w)I`~-PG!o+V;CHWrr@X9_gIFZ83BWc1kNcFv>A}<lS?il~7**?#c>eaMM^L)q;}r*POq!9kPT?yYeGMPSm^-`F;|=T#YZLQK)vMPAFX`T2e8ETUt}SVO&%-Fdr@$=d<$Z|}mbg_7^w2k1gy@**a*t)QC_Pbi0-ySWroP33@!-nm-{^SPTYmME3qAQtwZvAVq}At2y+|7-NCaN=z+6xn%mRo3<99ntyQFHhd1+9yduf+%f?C!tKe(iF`?5<==Hqxj>;qgiua|~{01>&_+I+d4SCPovCJg#;Kf0DXXgkY-O933rj(wU!Kn;k}JU*9#o1B^CvR8~o#6Kl+gosT;fyN%azbtW$TzzkhFz(HDkUOS8(}>u4Gs?SEuBdf-AM~NKoJKR4T36}@oyOmTXuN`GfeH&#dhHXr$<w}h3zQnLT+Ij6{(Q`J=~BE_hEx9sbEo6ZL^Jj-0Ti;ryG@eD(;}h~hu?^`orJj#qa=g3oEF*yy06_(jYx4s>zSVVz!<XGc`2c6yHikml4(-v9?R}F0e0pg79!>K$(w9=Ke8&P(+&U1?Y<`a?8y*sgP54hA1wIdTMxuoYEuvGz15O%u{m4rAZQd(eipwYXi}!qzU}&}5f47xs5_N(0q;cu<f&tpy9L{{))}T;)ZdMD*uGxbTf@z-tR^Jd@k=QyV7X1SB|!zg)FQ8r>Onr&FIl&~uFONX5NK`GeqbemF9no48F^sU2eY9oBxKO!-S1c0ql@4aH)73<J1+|N-2&P#iPrm2G2sSG8@pmHIUiby&ZY_37pT<8@gn_Ep<EdUqVNeyJAi6V_Q*Pwzr(Grd+BmlGP{jCIo`DY6qFG<SnW+-AT?;YeOOO|c<(EHD%~hrvwUxTKjrNf7>kxglb}^PZC`Q6H<X0dd)tzCv>JTdeA}xq*puUpD6E{78fxZvOIlk6?6W(WAQG@)Zq3VmhveIYag{>9lkSQZOzW$HSHt1Rn3XIeEf;tnh7(R)3BMcBD0{QZvTjuxyzQUfNHIsM5GF}#1OkhFxc`v1l8uXYQR7gDt&GM~%?Se^P2shX4oRz)d;sA+ka(g4S`zI{$TGFmaaMHY2&b&E)P(Qp@D&YQWRd`GZl^AmSIbyO*UKNN#xcF4skaHEi`9AAxbTZ<t5f)o#vS@VoDZM$HXkdd^03UB%sMoy$tw#79Wsf1&-`<Gd1Ru5X*k}q;H)^Vo%C1KN#%5;HlM#B5VQxn8Qt6+6M8vyrq|Tw9vy;0M_EmxQWdqb;&sYK#JcqHH-U>7E^7<M--6F0(qXi#{%oT0IHW6W?o-9f-?n!kq4c!A@17aJ0W^K5iEv}1LjSamEr==H+=M1L)>PcPZU(I(s2i=zXdH$skmcWc%%Ea?FvkplVs%YVMXN}V>=bl#Eu|2@9{EU7&m~|AiK*)GfMm%J_VYjA!#l?Vi%+~f^ZG2}AEp0?99@2n+P2zwV6yq*z>{PQn>hUOPCHu*N#Y$rSJzviwDvb#5Vm`J$xc*&M`J(gx^Rk>Ba$|f^pZ^S{2P!YP7~CR{;Zf_M$c%2^z&v!(1p)x{zjhR(75fSg$~~A$Ta&A%Q_12N7HJSZBb>V>o0|C%@H3lvG>SA;@59>Q(1WM(D}YOr|PcagI`Z*(-JbpiM3YE7PEBHMgX@DZ{}*zY}h)Stk|+~=pQE~Y70M4+E>JQ=An~wh=TGlEQjOj_4e}!HEYACCC^6$qMWT(S0|GCE--hDL|#Zrlb{29tq)4{J{iE=D8ZIn!&Q>C<Ig7n-yRWM$%=yOOtI`^ho=z)QaYxWQdz13dx!B*Bg#hB1g<C2r%&k0^MGIwTV8lVL^oj8B+6a8>~!NOF=e0m2o!Oa{s8GNp;}5I-qP|{eHhrtds+qK1hjtq$-T^RiW4Nm5A=f*C){GgoNl^867=;^H>mDhiVCJtgy&3Xv{s-|o7}!s55SjSIkQgWGAg7}xyLddU71Vtz0U|pUi~WnVO!6s38zOH73Ua-A2m9(py)H$yx{NTag-KcS--{JQ_piX9C{q&!`{JaCIi)0N%Dn$rAK?5HgW1lKLcw_8DbTkW}!aWL4fJ9ugA~IW?_Y|oPV2QXdV|z<tz9%fCJ!JQGQZvBDAk4CaoP<W{PLsNZu}=;jIA3)&x1!<|0{<nfNlCrg#ChnH2G)s&)I!0De@s{C~PA(S^Bw93HiJkatbx%K!$KB%%7-geDNWPJDegeZtdy7MR5kUocypT*jy`iH8GPQZHEh;qDlvBtv0B(AhMwc2&I<p8)BNOkEtzgq~*Jk$ic3G8E*mGrH4i@OM})_+iQY$abrv)fuDC$5gN|+*bVq*wV7YfU5C;g@tY6xEAxtN5jJ8mBXMaqn$2to7OxhqZsHR%f9+X>k?=E&_lI(jf(qBZj4H$=gL4};>%BS7NX&WQXv80_fS0!gKn#NDC$$P{2N5e;v>;g-cV;5)}Xhg2C29Or><I%W1&5>@kg_XDL^FFlkZN3jh`0LHU~4Xv{%DPUzK5YTMT}^F};PF@cqtBZB`2D885%T*YFeRS1{H+-ftdMpFKY(=<a~B<=o(5k83qCNINgw6G;3HT?<>JA-7~{KtCv;PN)iaIYnA*T-vPpHs7A4bissLrRgR&;QKyvLN`RisOqvFzfK)q%_L5Lz4e1Jb&e2<h?jw~*sg=k3??V37a`dywzI32ntkSr?xg&P_YPrl@XrgU;S*nTzdeGLBTKSb|3C6EYT}=={Um1KYqU=&-(;t}+;8Rr#T5=!L8R1H@%~V;tpQM{858B_x3*1RxV?SZT9F2XtE#t3!F^=DE;|oX2eU*KX1>Mw+7-kmNIS2k+5&tHNVwqqDYwXs+O`Ox+C>;Qrw}&LtOW4j?u+Wppnez;l6spWeHYrA7$Rm7UDB<Z8MUaf?P_+#13PO#P+D@fG(CGSll4i8S!eyKy;F1xz=_!NY7A>HB027KKfRlSoDU`l9?7aQ-w#aJJcV^m1hyhzXxo6Z;x{73?S{MnzQiXg(of5sP=c34`m-~KRV)}(>?dMaI^t89zShbZ@|NQ?$DI;dLjj}}o3iOx?e)_WrB0(oWjbp7v~0TNX{j=yT&7w*hPXVN`&1GUrlwlo9Egm@h>A)(UOAl0V@rQ`C;$Bx@RB<gw!B}L6e!PKI*3v*;7XuCwDb-cHLa*JP`nFBYGD00#HIpLlQ)-bi=5eYS<%u2hTuLg^6JijGZc7!p<M!v{MSrFJJXzETZM{B8AFM?4v>&<w>X0RP@M)uJ`*=jPt_Gip?Q8jHn~ryqz%C&fh@iUve$PJzbFlrWCZf*lrn)AXjiG;i|U0%QpA^3LCBj<AJ{viRSC&NRHYxP=Gbi-C0_~ZZ%P-u6D?WqI0<p=tB=A`Y!9f<oJdjqy$6lu1uVpnSfEZ?Zf+k(D}wY>HeCO3d;W`M8;5dMW`(4s(889}8$jLzP?@58Ie-2A`?_hNqCzLmHABaob|};xL(S-b&pa?z!S#(_Ta_9oJ3@L+gK5++QzE<`<Q3S{cc-t(RBinu`76Urq$Ehg(W+Y<31S5s-NY+QxD38xwa__YB(?z{CS{&<I%STb9!>P=B?L=E27$M>Z&T}q*vus?d&`EjWaxqV)8F3u802(|`b2Q9N6^GQFYj(h@x<0g<-Z5~T~|MX%IW<@xsXWX9lB0V7up}b!+Y*YL{!b6P`#pXiCMt}O-g15kFF+8%li=iHw&7|F}fe1Elqf!Xl@P`Q|1S+2|K$v<;BA1(6Q5xoGhg#uR-EfZQuBF#_t4n<8N#MBGRIJ#PwhCMLvIDkTobVrV6GvI*yUtT7!972%!fL75#xxm(M%18=-{PdV8&g2VYw$IL?Qz3kWMuUQX}2!Df7W0^gR&GV~q)gD%~{LUf>FJy*x0W$)M`;>8t|Q3BISboP`AqdVW#PnMVs-x~z_p_OPQm4Z)j$uMNJ=TFb<$&SPPw$CdA(;CFiqELSE<}<6N<-}@b{*{B?UH~0Vm5?7i;WVTuGvWddH{%=z=y5m-l7WwZ|KEyV#gpnXg3ZndRZhNyFs@gVy|vw#0%2Mvt-2g=EVroiZKVLL8QdmXVe(ErJ|fyRWLNVs%8c5gOP`lCfYO$8B?-xYMKKFvF$T2@VHybE+|>z9+#0AynUU0{On2qia=}Q%`%G4Ns$ISHN#fq3MRqMgxXp+!AkaaWN~Wr@oyTjB<#e6^Bp#IW@yn*nfN^eD-{A9ZFybq4F@m4DdK^q!;j>ac98eXKm2mI$+YV9+rXoGvB-<dOuHw)!a2Gk!HR++XPvf1NAdx#7l*4B*>t!m$*Yt6cMYh-(qh?3AyWq-)@?GEYzex0=kDi~#_+qNqNeevNI;%urBWn8$HxYk<5}7I*4-;i0*On2ZHjDkf7(k$}uyJWD%l=>G?pyWf?8RZq&*Cb1@=HLcFNXFRC&5!@EGS4AJS>=&QxX9W+$Tc6S~Z?iA<>w_6%a#k^2(QzV9i+D<*P-W*J%sG5N)kJ>Sizp*g7nwa^XUBTEuoGZr7pc=f`*_I;ZsS*)sGY76^*R5Jm8WyUSC@k9s@kT*ASYd^p!YA!G3Wz{S|+%g7lan>5j6&F>X#V?yf#vV}iF;B3_N9AJ8eXFA*d@8NZEmSW31_p$nr<)h-fa)eGv##$dI+8x7pshBC36N>aqB@vR>aGZ}`qd)7XX6JpJKA!KFmElL;XdcS^?<_f(L&iE0ix5W&^iY*o>6PwY4QTVPhnfJwaG!|YKM)+kdTK)AOWXSipLBRNX|0oF)Ysfl%pS|=-$}B2&(hd%4q)iKFqA!3d2yRlx67g4IMjalnK<7qyR4kmPbDn&j>VNhgTGeb-3=j!qHTmXu>1F2M`#I-k-fUJfsir!39*73q(<NU(Byr|(2J<pgi!=)yRa8mKZqLz6wfTp^(@I6i{F<(v<5%di0HuhBrBfP5v;K~&*GWzGzWIXRw42*m_aRu|4ci}|F8)rT1E@ctoDKTv|Pq#tA{ZnIhIJNg7&Q7^dhrP;>g-X9PCV_?&^+a;CY;B0XFE&$!1}p1hcgd#1wIL#XfVi3(1gx^I(4m$4io9)uZJAYbNeDl`=Hyj-jY_N3&n**}p}Y&m#fb#t6C~qZy~n8T)8_V4GGk&tz@~zb@BfsBh`6P#kiiG}w_h?j$&i)bk1n?@JT3tMyElo6(};g?sozoA5P053FhUQ4w!iW~08DzV0^+HXEMdFIg+butDV2>`hzseedGu@+<)L_fm0bluZeFtl18~R*$RzmbbyMV=B&8uNni0P$rqnYT&J=@upr6DgTT-RLS>Usi1X_{<4Mak>?@CwJmG0s<_!kXx`GjCul}aAVK~<bD>glX$9tf$W?**bG2TD!k-J79N^;B%Oyo~&<8OeH$g%(>ejvJt_GmJhoB22Xt!O{u{0z!@~}mzw+mhs8TcCZtI1*nDklWZ;1tn|N2eQHg_A|vRujJ((OM<CjgvJs{6a3nv{9Z>+I9UZR5o#_cTlKG6nRso>Mwi*aL@0(TrL$aBg_B)ilK|Pc*@m8N}czrf^>X!R2|1FL#|}0HDyb7$*j@-WHP1B<IsR4i@LE7cPQrjqt1UrM}y%g&H=c=IwF0s^Xb|#&ems^+=@0i7>IT{`CodWr5yBB-Ezw{)X79T+3WYu-6HJOp=|U-sdNZ^j{@E_Zu(KYqfQn&3Y&gRY*UiBrlcZPDt%v-xLy25;k5Nv_@T4Y(bT~+U3f(L#&yyVbkvaeo$BF!`enZ~J-#SEiSc>qw(NOvci&`k8Q-SA+U`>AUZjnIh##Y2l&3jS<^_JzBIm>ZKK(<}ozocwCO5u)2|%RxQaFqtKdb`K(ZoE7g|IT`vKHZtZV01E5sk%3I5DPvegakZO0a0~h%@VmvNmQlIXa%gC>pS{aIv&lqwz*={f3g*kZ8+(vxc-@fZq?WuQ?fp%JkY|MubVyKZ!yO^ZDW9;;Jo<RWXpv0cxn(-I4bGDnaGVxxdc<#-!A7LeDG~!z)XlTpiFwF|I%-H>c*PUf#&leZ#cm<%c81%8I@7Cn0+K{OGm&Y-wc!=dr}Vr;{o&oEDI|T^6C1dN_pRDP5>ZM04)I^PAR22UZz6!Lkw%IS9&q@w4p8WZZ2S6E7zUQd+pEWs`QteZ3Dw=0RXfTb@Jp-{U;HO{*Qf?@3+W|3J5!<Vff6cf4i~-GN3oZFp>G>J<Ww$0bKrie!%kMtFS3xxY<u+)>s$|1w0|i1lrE!OKu&+e@muhu#E84@jD0sKj>OB1*~@91gJiRn#ai9+QY!Ru%M3Mcgtiv6K)gwAhSvcjkub&tR*wkw<bp$@>>aT7r=%#Hc=v#jINDTSSJN{CqwaRk3pZO<RWjD_%x}H<5#+&0HU&pFIr_<`@dr>Vfq->M%)m02~e*j$HyfJRdi^e0dK+Buu3EQ}x1;hRQVVkdBY@3kOFu;oq%5CHCA>i=;4y4^%WQ_$?hT0T_<@FzUEZ(QXX4yDbxrg4fHh!!;F4X`^Aylo1^JUjoYS^!vS+@Y<%5U^7aKFmWRV|FQ{SkOztY@ANc(YOL)S@Fdo$rs~Xv;F}|R7B~;8FTBi+otZT%p4?zzQjYPvIx+kGY%z+yBhsiCA9>^l%y)>A4wUpP3#hWdwls0LSjyVs-yrNP*!2U#JRfISmj8*l+bUF8!qkJ8#yb{*FiXB|`2AD6u+{M0gsZrrI@tIHD-KZ+!X4BXD>_!x10gDG#ReHsK&cV@ZWQ^iW0DQ>U>aC?IF5V}mlgrmWdxT?i6-b*M@r`92X_f1x4$!1eO<U9ik2bX7CBY|n~nE&hpF=?i-b7v&sVz+)mldQlFwem9`KuJy7cXxgS8RA1z#<^+Pl|V%EN5)u@q-Np*9{&DuSk2epKLGe0J4pqv~;%hzq6B6qMUFLv&`N>>w#*!B$_xmJIzz?H<S<OW?be%GmvLxq@sPRk{nF@zkl0IIDGY+^{)|m;4n_B!s4ql*Ru5Ypsy>HkFyIoVbjP5)L8x&33a?9N~P(E<n)n_0H|ASQ4IhC5~>tuHjhOoC{z~r>EpR`{F`ugak~+*bZc^u6s{Iox8?e3UvT4yPe%gaTK{tc)ax0)3pIp->vJo)PrSNHs@Gq13kh+WRlvC=kAz4r*WMW0&KR4gy=4j+`IxAh*^6!LfG}Ig7yM$iF)vd?=^CJj%`pEASP&7H_lifylcs&#0&pUi!3FyJP##O@5Q{33*}u-#zj*rABXC~a=|zex8}=MHK-o!zzb9<Zti<FB8Q<j#x<4*WvVMWRM2~)!*4a~CMxCM+uXIKCtcEBoSOZscPaISjWQpgI2FS&yBvu|;AFSmLeN)iCpd~<d|%Q7fRhzQcH^4*$}dbL%`-cHgfwSZlw<x8vFmHS7qk8r*vy&uQ9#7jtudXLs^DqHbWf#n>RhU805o!XdPXW_4WqHOLPUt)|L+qIwof(yA5<aJA!;o1Z|V}`3n7FSHRN2z$N=TQr)G}#tR0S7=*hN1a5mM+t)#`4#a{@@iK7no<u<epZH(^&{@L_1UvGUV>QZn{Xn3B){{WX=Np5Gq&aNl{oA*h&N$d_HR%Rkh&)vM$z>>hlLt(>36*@0jzaIgX&!mdkN)?`F;k><Kt2l3!6w~y|McqQ!Bh;q@N<&$;$~(>Fkz9E!GPE=aFZ>@ZmqDqwsRUsFOeL2G=hfD(7&_T`$>Cwc1-a*!{mtx_jGGPJb2#fpdPc<{2QE!;zlS5S!`6m>ZBTONt6K#*R2q09F@wRy2a8$R1+6uZOvrF_YBqkRPOG%AV*$D6!3cu}pv>?ZpL8Z)?XG<4v6-;3JO@aN#P-&ZE9hs=K|1=;H@zLbl2%|LHymZ(n7t58pn_$WaG@2T*BJFRj*JNX1Kh|#Pdu-Es9`UJPDw5Y8z50QNrT+-<Ohx4Az;(RjlM(`B#;v3VrOr_m>)Si$}P7j6v|<S>@!S}-_t^Cg_ZdAA`?yhK^RpB9a4yuKA285jYn?0QR095ys6B%!Q5$9X4939WqN96GOAn>6%J=b*&fI`E5c4)f3wrUlw+ISEg>hGFh;_{=mL&rU!AZzu*y93IX!ny&f^X}t`$yM-12W;czh5}!S*q0^TyE9$>_K{KF+jdr*D*Tb7S_R7sW}}yADGGT(ERi+9}!q(YG5Acsj!YzezWH!ZINd#*-O+lQsK*0mqrc-50imPCCLT$@sXRc(lqRp?&T5NYFg>Yqq83dcqy?j8(^1+Ij?n3mj(wVPh)9YQU}w4L!J<xR%RFsU8g9Q7u5uHHH<dDB~iH8(%pcC%C-DTTX^%hps${G^D6yYsF2&dTDNCa88nrX=3fuD2BAV517&pcZM$6PyN#OWL`VL17WflL+*s1PMlu=4)46}u25i5xVq-~$X3|b@A-^H?n{A@F@bPw`zhkOH$$(f{7lSBzeP^E9q)(G3elQ3=7F5QnX%p^^uwamwjV_-sZYn&g`rUnq<I$$x!AW2mSQc`8)${K%0bKvDW!{o_cKZ|e#@!%_+;a7VV`5gC(J-m@AOk9V?e7sw7$6MCj#nn+Ea77BtgYJzBmFtkbIV|6f~Xebi31Uv`oXSLbPp;Rl9^6hZGsQ68)Vs)v#YE_34|^58(iQ2#(>h7EsG9G-K%ahy^q_4R$Lmq7wf+Kw;?=s8pF*+Weo<)GO(~EDa$_`}aIKaC%AKoVDDWwK#u6nw+xcbS;stMNKvQC86T|T~uGA+oU9(akkI6BsWALobXw)5!$~^b<@GVIdjn=cG?8NemP6}ull)OcJm^(v)vB*QcWgL9Wf8#+`p3t<Ms*ioG~|l^q;+tV|0H1HFKU~b865qfwCq_59E<5Wr%sc{?|^v$`Q@oS6M`DrF(yo@{-(EDK9ERxm^OH1VitQ^|Z8+cdiV4A;cYS){H!x?a#B)^g(e4U>Pm*#pnAim8`14EugOQylbno!b_#ctGZ9Osha6GJBKl#b1kaG+t8)V%?t#1%B=vD%Ysn}{Y<3+h5~G=uwl|Ghgf{oW|LN;<`VRNr654(I%_jQ>bySQM7T)$<TCescJxafb@?QO9_e=Di7V`y|7OV3CW44pUWus0KXLFM(r?MUUh!dt(f%6-T^VGMNAv$}4lo~FGG0b|$^s3uZo6of@%x^A{_lonm_c6f`+?C$VPZ4wc{4nXZU`y9r~y{Q<$c2XsZ{82jz4rq&5KssVl_Ia|BVYoN@Wmxg))C&n3jNj8V8z2!e2NA`Vvz|rOn3Tc3$<lR?hlxzy(K-#90W71g&n|t5&%j$K1osAfDfZ@BXwgTU{W5`=?`eh+}&NN1uQS)dQ=Bf99{u&vAbA*|7#40|ml)us!c_WE6bzGGbSs5^==);vY%|XHctS!W{7l?KOd*&MtV8;0E#&(JT7ltg=f1FSZI0n)3f;DOA*5_INGG#Zf?{@;}%JEd$xzpx0V{H+fBodnp8Yl5f9(ay=1}j;~i326)djWU5Y7=2a$^^j>XI?u{>*uVz}qIC*|FjO8eVZ-xKHo-O|weJIcp?<?JDaPL!EPtmf^KPl8sc!s5cbj*AE7S~eWucGJGXOGze+ce%-T8+<hSM7xPvZtJ)9E0?E(?b)V+vrY+WR*3hf}yv;kGiOPm1bP!u;r4c0c&W)Wj+PH==uheieCC+p>DWW$HA1T;g?M<nm&dYW8F`)=XN!q3PlBD=N{@%sanl=3nd-i2ThsXy4cY0Dt*B5LQh3FVX@_b$<Z`AZ^@@L4uK@a1TZnAM5=?0{x}AC;`si=P7xiXZ6>Q7ci~ZgwB62bdw!;_zA4cnPz#=1rbArz-R0mHE(haK3S$AQU8~XU>IWvzg7i%G?eGlX&CjB9G<lSW*$&Npey$z&UXV+LA^6<E3sGb~slV6LJ?fid0Wz@FDu=}aPz&G({n1V!LFF3UT3pANyyxsuf3>39)(-68QOS)x0MHOtFj4p0NR<M@o52iXN7&G*!;|o|Eu#S1L<H83+-5JIZIp`K(p)yetv47TMQiZiSxu8SQ$_-7Atpaphx~k7;RtWT;H=(Z*iTj;?z$&=lD<hm(hyWHtObLhkQ%Qj6f<8}`%Sh)h+>!PqILx!a}W6wjchHEcdf6&)#L`=xD3!B9k>LXffCDu!8zC#JfoNihUiZVb^Cl*<C_uQO?u#v!B7uW{E**1k&$I$Z$gEurC`@);!Amv3wSW(ort6{$b7%9-vDq``WEuOC$D$U`?21|#M;z^<5%HUE0wu{Ro%OU!h^*OHhZg7l=isW^Jm7a>}|$VbD_tLU>nZd3b!a$Zg=)Q|2$OvDJFR61R#g6>r@s5RBR#I(Xsp4ld>)^BE;m-=Nff2U<8*!xoxaPdlR=O$n28kz0dKAnoj@_P~h_K|73a%+~m)~fpeAC>TcB?-+yrI&vS63OH;I4P*|<?w+e=6<3fm{e!%6{o>r!pf&RpgskJme2DkXEg_iT`tWQn<EXy$7w4)j1hFG)8htq)~5uM+A+%j4WG@#FX_sR8eCNXD_;zaT{dZW(h%1dA*3tUba$i8H4(i&pVmG3F<e|IRkrq@?aGOb!ros0B3!Hb`w1$2<#TN=vF<qrSENKX3MyV^!$&Ka44SK*<LJGVz-`M81g<Ht|`c*Uq8EE}CP-a$mOk)9I1ava{uWr92(R-hw!-gR<pl~pA$o5YY}zpTHY0n=D%Et+Tz%-ggAOJVJLZ(f?}3I6FwZ#v#{=vUh&9JH?@MV)bUC+?vtoz;Kn)$zu*$pbp1O$a$%TaEVN?omy;5`MR^XaNVlZh})wLnj})8W?~jB=Qm5^fIeKIv9m}F5P7<OJoc>xp>$<AC$O7zauQH4TSoj#H<vsB<$M~scd3)^^)ul$!8n@I8ph*TYsH%8&mu+jTnKGL({@w{ontYwTC<TZBJ~zv5vN&utcrOnZs{+X?mm$IZ$SDnarB(9@i@$MHzKD$dkOqO^_wx1J&E#)M06H;vCV(2u%#!oaxPxB?Y((W(?|d6L-%+VOoalCK@_+@JcTGuu$IaA&oLo2XuX-!-p`dXi|eR@LVZZP8>lrRe?C{bP3jVr{H~^leih&is$0S`b&sQ1X}gr;$x`HELq56u$jecZ~dsqMa4G!!Kq--b%;g*ewvV8HZGGK38E-M)pF4mz#Ex_GriR7glIgxt@;V&CIhGGT}^aoi<*oHXL-y+4Y>gX+p>{gI(0x(#kv^k#-}#V@P45`(SKD@G{}x+h6<_N)$=qKHm2o4{)}W@{~*2%nAeig@41B&obKe4-)hdrc{kbc(iIe?FDz8>M3m8Xb(2vYx~N4jG;HiRQTe0vbz*3tw=v}BNUz>vHw=?uTDEy~(x<IGlm|cxubG$<Yp{d1TI$6CtLyY!lsncHrmN!QU*1|1DuL1p#wp6Y|F{jyZSqpDSl#++$vM$84NUO+>@e|U3|cRo)<vM=Z5|3Au=*|KIM~(S-q=f(tE3qR2#G0utqNwRR-sXHifc%R!+H<iQ{Zvh&7oGEH{478vEwVsZA9KoA})onMRh#{ddx*IP{XOf%}eOZfY=jN&kw(7y*ls^e0hrNq|{kx`u+QfCPBNvXltzX3uBGUVX<quuG*(41-f4YMj_u#W<cNt@IyN@YsiMGK1r$o2-d*(|MT+pytb0*^zRwATg;?7^(Gp-^@42LZ#5|9N9$>c_ZK6;tLr#jI?@Hn>-xX?ciH+U%jWq%m-(^3$D3c3{q!?DQxp>hzc{0bai{CdZs^H|bNNO#c8tY*MJReh4rr&$C-OW${Rn>bwydrDcY`!&66h!DvWt1})*+Zm1LDZ(@J8C-5^6438vILgM?fctjKD483>r@qFi2_pX{9zyfwBH;cL37(HKp0W<g%crC0$)Y_e;{|++VT{7$HL>SibZ+Qb7PGj`>ECi|8U@jQ@E%=>R{sPHVz5s!$7_RuPMY=Gp8Wfl;p!8GF0Mo*c=jScWJvZ=9$reM<P6X8IO?7_G}cE^PWttx(O;y!ia>ruP6I0|M0Ol*R`cthVl{(^-mG?8K$kZ4oylQ%r1YTpP~3hn7_S15coOgpX$DSIl&aQn<9KmO`@gY{w{$c?mU`Hj{>8e(;a5K@b)RoQ*mM5^ksO<Ug8@&56Yd3o?IBEbw`uPQbd2Dn|k+XrbKfjTHbL6sHNS9yNoQ>9BXgBMRZ8rZB^ZF8)>c$kq-WKAO)q2wonrMSdW?G_MYlkC=B~*<<wgC0N16P@p+j%W+MN^L*Z=d&667=-W*IUQ}d5`xTPi@XD^pkfuYGmYTrGjAoy?fQnwA**F;rK^=4z=a$en>~avjy=tP&Mc6{cLp$@tfpN%5cV0y}gTkKF;*1(8iEPT`8*+>8X}a&TJAl0@rFaK9I}&LZ{VqKX_N+yDMX;_n#rp-*?=kAzquBt2Q}AQzuK<ELu223~>z42JtMl~r^a>)KW6RH=zf8x&b7zt~-UQ$L69>^cFGlush>m@41y$}_8#K%J*#a?-2LlEBt5P@LP_w~gHe&nlrn#aCg*9C@^qVUcMtQ{FHk0lH*#3>+*J_2fIj;T{Gte|khpt-k+txx$FWg`Lwz4Y@!y?{uMFIUf!YOF%wo+jsGjk_I#@yv_56)S`ZGI6}GEBq+vA!m8t6d6n<N7Ru6B66VNWx{Rqp+m*cyY(Q<EChSNFJjAV~57X`U~vrUJ*t%^VMH;rx>VaXXiw>``i}S*Oi!NX$S&-ZBh~M=RPFX@)nu(gf+A2{C5=J*BmwwkHmKCMY_o8@iNtXx%JLu+iO?6VAULlcFVvK>&J}5Y9bdw0U=U`N&{Vk^6}Mvyus+6T-5yUc?U1lRn|fruHA;C1Draf4wsL|)6;jzK`!SN4pYSzbf7e`&rkvOV~>+wFF;6cki5OnR+iRjIG*n|VYU&#zD}mJkjDa9EFj}F%gXi6ph!Nm|I~|KT7$f~;k;078fj3DF~jiKa05ZkN~y;2gwneft_yYt@Y6Ce>kPhWi%I+twYEYR9Rw0nwT7<<BM*@?UET2o9_W-z#%4VUQzG24@U$#FDaB+E&<`t1V*U=w>`2Rjx{5+Q4az2sStx!gBdPJY?Q$p6X3dMeyd+bV>c$zpBb(>w!k$r#fP7dVMR`}EuVBUmZJ$O;f#kum76F>0LIfBJu@pECN`mA-6);>tJXxTV{3MTC;-Pz^>xJrg87U(z0rWW;(xfGi@Gifv+VMkhvaT{(EsHVg?>?mWfPV=l-sMi2<sSpFQPOBWgPSz)!L)ho27<ctjA!imQQ>!A_8}gj$sw<({s`~iZQcQO3eQTj$_*ZjI5>}Zs#icjXH*L6IAOoBpYeo+GF8cY-@s^Zg9V`2*Inn$1@;Gz?W`0VwoaP$pdXR$=uuR{!p<i-SCvUF#HBd~+7na_qQ=8Kwp{O>HCEp8roUre`9#<`GQ3tP^M0b>!MB2GKyzb$*h7rcE?yNNMHgc;;MQHNyh>8z@FxS=KXzAx*{dh6X{AN2C`pzn1LaL!@=sFlPJJ%4HLBa%#tfGiH<@y}vV13o30zbAmo(2HJ5Bzzt{>L|<Q%%P&?_hH9a7<Ixng*bTeT~i9z5I8vk0Rm$`C6j_@rHYYVPi>Q+&_=E`c%#D*rmm%Ooc=G}EX*j&cE1dZ|-WlC;^468gvbVwKo1je)bJ%u@H7Wa1j}$bxsfZCn3eLms@nnT`d&(^C)jJaB#mu$nkAevRG=D6)?}3sleMA52Dy;sk}72>9~QhyTe=F&VKR#0JUbOpV>mP{pi8&gzcNS%23r=033xM5$4orEM&oB;NB5;$P8&3y2Pib07jDkIyc>JS~dn9&d&5#1FO>F@h^hF6WvExqI#aV`=}SS@aM7{WUN*2PuN#5Pi@q0=rxXCIN(62k(a^=k*=NUwuB~z!5Q<gKA<l6TLj37WJ9HN<f6+Xl_a0leobWxE#`lFSe^Sn0(Vu^YUqT#h}HjF;=XUhH(Fzh$$RH%z?+b=l&~N7qj-%+|d;^$D4URsLY-)0-}k5!{&Mq=ExsIf6BY+t@aV7aa@n=BLH%)8#^YBjV&wE3)I|#VSxPsxpqp);h3EU<WWMYD@>X1SuWBPyWlYzA5kl(YjLGBRI}Z`%RO7h7t63?9H$xl4#lF90WnS%P*GKYVZ?oUe;99oE$GUQAp!Sx$g~=MkQj<${cr8OCf@pp9Q-(Q<`I8&26EQ0SA)AEzAUv6BXyC_N3A-PYlobb$BLnW15;gN_+?toiUMOww)negLSFhIFu*IK3!e%)-1Tp?*=zG@{P}-OS(w_ATZ(>ufJ9zC=zP1Kw)!U*mK$-my?~oNb+ZTaSg+!8x4(ZCX}+LW$0Rs2E<@I+&n@{G!f&FXJ-qBF?q&hpmAdIlRfKNn`hB|?X?&fDP%wjnKU+ECCaiFRyuD{T065zu#*?aDjsmt833)6mW^qoJvC^tu`wwz$1roUdU}6rls;MyjF(@{soeat~gO>~o${S@~1+pdSLt#tQ9EaCBYTo$sd;Z|9QP0_@?Q$La`d!k8!O5)p_9`E9is5eCB59B5NDB-GE1x-6+|j_CAZy&WJ{7>CK8YD^dfIsLFp^4w&B{2Hf-{*)7qBN{$$Or=89V_2>|Z5ntdLYpJ*5{&r?l@-TB6;YuB<8yK2o>|y*NjEpzz1s!HQbLn>Eoxp5jWiG$*&S#DF18Uj9V@HIFnPpqQBrYm#akgFM+}$7W80a|nbVrRL)0^|aC3p$@*kqiq9vc@>yQg#!p$z=tm6_{SBOQk1t*aN7!`o?DJiy_<I==#88}O=O~LbQ?40A@Az{!!Uy}E>3)GDm(w5aKb)=jG7N4^XhjsU*zi1WF}|9r%*Dd&`GvtuQdBP9h>b|RYD9YoNry~>q)~n?H)ZL$8xUBznJSe&cVk0SpCSR`Vcn`={9_u>#a+$I^$0kfBjAnAhry}3f7pK!M1`rn8Fn*m!lr%+)<t+7I!TWQ9O-jF!cZvAd2jg7|^fx$w7!d$ShP4{Buw1w(CcJp*e&mIAxg6ctfoZ270q}RaGvjs}Jih;Nu|vno8K^o6y9m)k4G3f}?B+Rb4;o0Y~DEsr*TH)U}ZIOMAIMoT7yIz#SDORWEOTPOLIQy>AV<2p@nA(j=9G{}$WDK=#lP-sfq}tehIN)Tn$Toe#*^bt|~ujz?(K>Q+DZ)6H-~|NNTmYx|&j^3r~G19S=2ofTbNnU;vB#@HC|PggyLs&tp<!s-)aG^x6vHQT|x=5`*I+6V;V)||{RWYhcu&~?EA8le`H3G(fRbeRSlCEy)C+O77dPX%tyg*#R-fXbIXn8E~#^sXHP#Sg|HxX(6c4r}!C5i%hR+FXmKyCVe%v_|4Z9i$IfnD*1N7OFo^2U3wa6mUcalD(X_gk#nc3lB;l04Qc<XQw{NFEmJ~7jye>M=%H0od@7O#NZ-mekJUKP@*xBT{gX-dm?bG2cAOPe>-NyuWfW4>aK%{koG;+d&xZoZ+ay#XxX^j1fX9>x7IRTP;_G42281YMhz3`Tojf7-8X8ccG-x0)@++20tGOz+H=<I2PGV|nMQvH6d>Lb4wxc8z8KY_zcZXA02r~R1df%3-x3KYVDJ1zXN#(R+n)XRB#S4W3j>w4<5SsF(JR?eUu(ilP}5}L_WyF-6z9x9&TcQ{8>f6jweFzirt_A|Jwwlocd)@7%hTBpl{;3MRB}Sk$u6q8x^&m5q7Las)Uug$V{!pd>>ohu*{m*CLMNc=NAkFsj_?g*KlatJ8*EulCVrC<<1#pWB^FBkdk8v{>nRT9un|Z0#+>c^j~kzWvr7}nF9^w2E=SV4de^4=*{r`&uvJ2dFajp0)%8@fU@}RBTivdvX*(tU0VkE{xOWCEFVy0w%j16>-S`pKfFgXv*3ty_Du#<#ydF@wg{j9|Vc*JD=4V;2#nSe%LQ2-4#x(H8oaVl(zIn8OvqS1f_pi3(`O*S%rr^Es&WmVZ)$9eZ^W1+)fTBH&%SXa;!)f24o%=T*$~-NoQ<~|o-(5Y{h^;aNE%o+DLtJwdd8$5&r%aYUY5aEuQmRo?hOp*Bor0D*L42RjVr5UTaB;<6j1yXI>F>#SZWP!V|BEa#`Q-2=%eF<F_EH}!Hd3{TBc8HN{pSZcunPqW9z&UVry=JvOx9q&>xCRflqo}3D122D<L;ePCweNz02J`vS(4B!6p1<2_`26o<VeGEb2UsqL2&kV&R*gz0IYbxuZ)SDN+wVo2Dg$d$KA5!@0iPsQ`Fwsn;-(&+mw>nij7Dw0YIb&@JQn{`#Yj4nV79W9)GJ11ieDJ%M8WfOshr}Nj)++witVVZ1#k#k7-{j;eMGAB~F|89K6s2l+1;nm5e$Zgv=YLK;ve9CMq%~jLl_`V~}=lYUA3scRVRf83;aCXS73WFsN{X&9SSD3`9~fvUjmYz&^$P7LAr%B_TTjS&^)Dl;5`$pPxYkL26247<nfhhbe&-j;~Y)G}k-EVIX;w{1jgKz<K<=Gm&bHi@zc)3zxn61f3bIh}hk#x$N=7tbqqge5|}lK4*d#_gW$4@^00f$^eNV`cU_Co()kYE~4|O{$vwRyy_jI$$C{p<Pz10se@IDVk;NRSeNoz<3$<sF@mF<0v#EPP85zqxiO=(AH<NpFWFFul5rqdP9k170dJ-bL;P4`#qB}cFBeJ+8MoqLH}Iwu(u=zuJCXUh6O;GBthGXJko3?QT&Y~R>ie@HiePY7m37nE!9nNgFBcBLqUKi}Yb4yc0Ou;(;==e<z(6EH%%d!$PqL=SXw1F%BA<`AZx{YC?6qgAD?CyV^9-&qOq8}hHV56IM2R@w&lr<yrp5SHg7p9%!GkY56|7A<Qt{H0-6i*uLUTi+)<Z-)GP@|dxQb>xZa9%gap^`JDRS?ec-_0<YGJrxJ&n^BI7<%bqC}!F`Z?|DgG7&U@lYVIz`-<EBx}^76g{rg?~)_PA&mqGmYjEBlPw{GCW;heq<reSH9(Iu<>PRRQ7kg-rNkl-68&dy#3)}ujW=&LZ8xTdXxJR@`D_9fO~`VcfMPLdPz$R8#ik~n=pDQFUGCG+WBAfQOnEKmZMh!ti`vgugPl9K{Ml&3ER?JDJ1^@Cb8t*G%YICUEDYK#%aHLdV2G-90J)eeW=MH73jOqewpr6~ABaSbk;ZYx>1iocoTW7=|JwJ@6N!@t^K&&;%<n@}6~Xk0vi`rp!paqjNh8o)aiTMHsA`V{pPX%?`_}8?S^?|8x^QAtj^;|sohP(Qx7@UG2Ex7)^saX%xUcgI2hsesy^+A5MK<d6T}=V2f)x4Fvqn%3{-<)8BGBC{%t=&^S?WHs!1zFfZ=ixc_qk-#JaAf(i)qJkb}fTRaXv_VgF)h3z>e7Q$4JG34p(zjuzQHS*`N*yCnM)TeUCy+nUz^)D*7FTI@ZJP{4dwm>H_mxZ!e0zY6Y+x52a4b-7>b>fxhtV!de=mOi&;Y^G)NWfWaYzjgV+@(ETL+LmUS>>zP=`IfscY;l=(Rx#|AMG}BKZF)z$A>Phl#Em?`_cmH>#R|dvz*NbD7<W74ty0?p@uvm(@j9QI&(Fk|n+vAg&dIDqaLi;>wO<h)>!kJ%vy@7gT`IH0=dUQKLRWai6WLsOuB81$TLRsMZ^>)DOTN(VR^22JD7bmo$kN<6r5o3Ii<eG!Bhcug@DD8mi0|DL_OXtPW)ZxUMxsKaS$pMR^XNw-B#l~ix(LJQfOG7#NeDGC`IyE#(b=ZBHCxRIGVzr$7t&(;KCm%euRDWPtC2z}v+npo}+p$GANZ1hN3TOo=V^rNTRquj?5n*CX=eiXU0H%I<5kP}XLmh;)R1B~rs-Kmf+fw1AzuFk|0HM`-K!6lZ*Cc&P2!8`i{So3cucUZ(`St>2rmwL9{n(56C<P63;&$Wz!RbsRG3Rkzj;Aw5lqIwg$T`#upQEEVG~0iZV6{0@<lzGu^QC&oYNvQ=jjXYdTOV*I@PS>aZX_9q{<da#RuD#d-e>yi@16$)mMrNtG2M+`K<*F@%4Z|}#{j>*mDPUtc*H*zSG5a#*ntXVP>7ln$<YYu>&Zy(5VAuB&p8NAI)VR0idy)J2J#&t%Qrb$nrTl^Xpo;~lqS%5^SdZAXsF2pYURU1a}E#KrzEOYYq~zcfIY+adav$XGCJ@(>=jw*IkRH8GQb;=h;0JFA~yd7X&S(^qo!lfpWHrw{Rft-=rkJkJye6li%K}jPnD>HH}iJ;*86QU=g_#4m5qC2Q#t#|KL>K#57FgS$QW(QSs?>_--r->ICkA^r0QPik~YR`Nu<oKlPPqyTJ~z6J=KxOyLC`K>i_1zs8E~oOToF7SMC6US+TW1xek?rC;`vz6^X%Wi={Mly=X}DE0J&a3HF51gvKH-eHV70x~2hhJ<o+sO~;|wuyx8yjA6^>GOQ?+W8`Y%74j);4!r<Q;V*1Dgko`Z>m$U<$D$@mrz8boi;%}#3crNG@3yEw-C}%@Jqh0hn3p@T=En$ZvQw-z;vHRG_^&CHNZdAaz>U*fq#K`BuiwyMtr8-ga?(+xM>NPCFUE?~YTwOl{(lyP0iQ%<6_Nt-hRyEEPz3^RuJyv<V!rrAUc-%BWyUP>MKfAmQ>Jcmwx#U9Ya-u@JHEQZQ`>GNv+4t(Rj42}4J2URToBG5MQFYkfguqa2k-PxXn`V@IRwv`woH)U@hk?gf-vi$Rx1VZ?OEwBg7_AXhF<b;sI1=^KgN1MWqy<sM2G{hdX-uqDUBYUI!8hVD~0&&7q)vD!A$Hrvk3r{(HzlKO^*|7ss%(yESoIdz4%fE^RTvqzs6HJUNH9uSba+XtHV*g{S2ajYOasWrNL)U=_RLTiSL`ZqzT%q2a@DEkeoyEE8t9SINOp3(!QyKo78LcT5P|)vm|S~tBqj{2EHGim?dvQFy!G6lC0eI-BS>CM`d4uILD`CTBI5n8kIp*NM8ws(sm;<GAz*&6^-~C4ydQufgDR#g3?fhX%bY(RMF%SaY!OBtj1JkNO*N-0e~cn2iig0V_!`m@iPh;sM7>tEq<n7ec*qUFHAq@si~PW72ED%BK*Q$GOzxQ!Ba-1H4*of`N)>U^0I$Modb&7>l#>P2|Ix|+Y7NHEWc2mW<B(0CP}tP?@5B~!JcAf075@Of6r$K5)c@#Q$p-?$n_^ifp*4h<;(N@JCoA(V{--yql_~Xk@&JyMv^^OKmN0F)crYYrgLV+r!Rr$|Kt3a<TOxe1}J&@9M(Bza<QCE{6&_cS)xQ`HD%GTkiRKrQzDNmp5<bj>C%z|Td;XD!sD$Ib0|;PG%^svi8a>FW3#6dbb%F%v&^vOOhhG3;|fqCH`Lieb#@Y=NIGukq;c+>UeYSB*33IX?>k^BVczX!T>0g8=JtZlc?UwfV!fU=eX(rZKn`2Mx<!>&@t47B!9uyz&#zlQH0QH#t8S+=-sKAKre72^2GS%FLKp`}&L>@WTu^tESg04g6oQrHpzH3@->aX~@y3g2Brg^;BwS=Z<ixshnTT_k;gclD;(l=DhTnffH#F`v+K9@e_P&{j1c+Mjh}H>1ly@WsC2HZBsR!czd0?HF8z%<>FQ|yQ4(2N?l8;sq&_wPvKYP6bErv6_3ErTM?5vXq7+#NlwcfR77UzcI>O%n$JMgDFO#WLRy+8S<;6T7YH%B8MbBeJ-9*nOLl-T!w=unEcXG9*G-M1FhXynk@sKpbTthS7g?f<8Z1wp5Uo|%wCW578X(l}<|g67BFHAQIO%ES_p;edQU2c@B5BQO`IiHKrE&9!EVYF$kv!lB`FK6Bo_PmY^&*c)h3xC~jx+%dd7u!6q;idiMkX+i%xswSCNtyWexpAV(kHT#~^2Bx?3g-h+D^Cw$@&C=f8-I`q~&oODm`SK6Fs&P)*{Z~&@z#O*#ELe^2EtmaFT;5)o&(=TxT@z7bnyiD)r-*-(X+%uAenSe&KB#d9*DCn`;*ZiqbknsY-x>MF!+`?vz*6rZ34!PUIamzMk{n!;u_0CO-m=Pc8DYrB^4>1F9d&n<?Piya9d?7~Afc9J>ZWgiOzC*bi&&O}Y`XB~z}P?$PBO~xPfQ-5D~he64bBvt4N}!F00000D?3Hz$0Z6O00G&C0*8|ZYGuAPvBYQl0ssI200dcD","source_json_sha256":"cfa5d94d15b7918c6d7639ed86ef624befca4c8e24791db89db79a626cf85c04","commands":["python3 - <<'PY'\n# Credit Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved.\nimport base64,hashlib,json,lzma,pathlib\nr=json.loads(pathlib.Path('artifacts/goal/batches/r2-exact-posterior/items/particle/result.json').read_text())\nb=lzma.decompress(base64.b85decode(r['reproduce']['source_lzma_b85']))\nassert hashlib.sha256(b).hexdigest()==r['reproduce']['source_json_sha256']\np=pathlib.Path('test/scratch/particle-reproduce');p.mkdir(parents=True,exist_ok=True)\nfor n,s in json.loads(b).items():\n f=p/n;assert f.resolve().is_relative_to(p.resolve())\n f.parent.mkdir(parents=True,exist_ok=True);f.write_text(s)\nPY","python3 -B test/scratch/particle-reproduce/build.py","g++ -O3 -std=c++20 -ffp-contract=off -I test/scratch/particle-reproduce/upstream test/scratch/particle-reproduce/model_check.cpp -o test/scratch/particle-reproduce/model_check","test/scratch/particle-reproduce/model_check","python3 -B test/scratch/particle-reproduce/experiment.py controls 2048","python3 -B test/scratch/particle-reproduce/experiment.py choose 512 32","python3 -B test/scratch/particle-reproduce/experiment.py choose 2048 32","python3 -B test/scratch/particle-reproduce/experiment.py freeze 2048","python3 -B test/scratch/particle-reproduce/experiment.py report","python3 -B test/scratch/particle-reproduce/postcheck.py"],"parallelism":"At most five concurrent simulation workers; prescribed platform linux-x64, minCpus 8."},"deliverable_checks":{"local_only":true,"json_parses":true,"within_64000_bytes":true,"source_quotes_exact":4,"source_files":18,"all_source_files_credit_taylor":true,"offline_bundle_rebuilt":true,"runtime_hash_reproduced":true,"arm_A_2048_particle_seed_64000_full_row_reproduced":true,"per_seed_deltas_reproduce_statistics":true}}
