From 071f198db6a2b755e17ec5675a19784c5d45cf82 Mon Sep 17 00:00:00 2001 From: fiduciaindex Date: Fri, 4 Sep 2026 20:12:59 +0700 Subject: [PATCH 1/4] showcase: Fiducia deterministic rebalance planner Adds a showcase package for a planner that compiles an index mandate into a hash-committed rebalance plan. The proof is a pure-computation demo: no RPC, no keys, no clock, so the mandateHash and planHash in PROOF.md reproduce byte-for-byte from a clean clone. primitives lists token only. The ACP adapter is not implemented and no ACP job has been created or settled, so no ACP claim is made. PROOF.md and the package README both state which components run, which are written but undeployed, and which do not exist. --- .../fiducia-deterministic-rebalance/PROOF.md | 152 ++++++++++++++++++ .../fiducia-deterministic-rebalance/README.md | 50 ++++++ .../assets/poster.png | Bin 0 -> 144306 bytes .../showcase.json | 69 ++++++++ 4 files changed, 271 insertions(+) create mode 100644 showcase/fiducia-deterministic-rebalance/PROOF.md create mode 100644 showcase/fiducia-deterministic-rebalance/README.md create mode 100644 showcase/fiducia-deterministic-rebalance/assets/poster.png create mode 100644 showcase/fiducia-deterministic-rebalance/showcase.json diff --git a/showcase/fiducia-deterministic-rebalance/PROOF.md b/showcase/fiducia-deterministic-rebalance/PROOF.md new file mode 100644 index 0000000..f251330 --- /dev/null +++ b/showcase/fiducia-deterministic-rebalance/PROOF.md @@ -0,0 +1,152 @@ +# Proof — Fiducia deterministic rebalance planner + +Everything below is reproducible from a clean clone. The planner is pure +computation: no RPC, no keys, no network, no clock. Same input, same hash, +anywhere. + +```bash +git clone https://github.com/fiduciaindex/fiducia.git +cd fiducia/packages/mandate +pnpm install --ignore-workspace + +node --experimental-strip-types --test test/*.test.ts # 46 tests +node --experimental-strip-types examples/deterministic-plan.ts +``` + +Node 22 or newer. `--experimental-strip-types` runs the TypeScript directly, so +there is no build step to trust. + +## What the demo shows + +A five-name mandate (cap 30%, floor 10%, USDG base) against a book that has +drifted, planned into a leg sequence and committed to a single hash. + +``` +======================================================================== +1. MANDATE IDENTITY +======================================================================== +name : Mag Five Capped +canonical : {"base":{"address":"0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48","dec... +bytes : 827 +mandateHash : 0xe3420dccd9f0f958d51e2b2e1ae6d3a6fac1baffe12dc23e9a7a213e2d5125dd + +======================================================================== +2. TARGET WEIGHTS (cap 30%, floor 10%) +======================================================================== + AAPL raw 22.97% target 21.49% + MSFT raw 20.95% target 20.47% + NVDA raw 29.05% target 24.53% + AMZN raw 12.84% target 16.42% + GOOGL raw 14.19% target 17.09% + sum 10000 bps (must be exactly 10000) + +======================================================================== +3. CURRENT BOOK +======================================================================== +NAV : 10000 USDG + AAPL 18.00% vs target -3.49% + MSFT 20.00% vs target -0.47% + NVDA 36.00% vs target +11.47% + AMZN 9.00% vs target -7.42% + GOOGL 17.00% vs target -0.09% + +======================================================================== +4. REBALANCE PLAN +======================================================================== +drift before : 1147 bps +drift expected : 0 bps +turnover : 2294 bps (cap 3000 bps) +violations : none + + seq side ticker notional minAmountOut + 0 SELL NVDA 1147 USDG 1141 + 1 BUY AMZN 742 USDG 738 + 2 BUY AAPL 349 USDG 347 + 3 BUY MSFT 47 USDG 46 + 4 BUY GOOGL 9 USDG 8 + +planHash : 0x07061e2f22ea83cca89468e9eba86c26300e92896a0e1ce69a8d30187df3e30e + +======================================================================== +5. DETERMINISM +======================================================================== +100 rebuilds -> identical planHash + +======================================================================== +6. TAMPER DETECTION +======================================================================== +committed : 0x07061e2f22ea83cca89468e9eba86c26300e92896a0e1ce69a8d30187df3e30e +halve minAmountOut: 0x76c1fff76e9629e20d6a9eae65cf28e98def3024ced63bc5e1ffb073496fc4af + -> IndexVault reverts PlanMismatch + +swap calldata swapped: 0xfbccc8be085024cb1c881fe72c89834955adabd000af0f842aefcf1607cd8040 + -> also reverts: calldata is inside the hash, not alongside it +``` + +## Why the hashes are the point + +An agent that plans its own trades can quietly widen its own limits. The plan is +hashed before execution and checked at settlement, so the discretion is bounded +by arithmetic rather than by trust: + +- Sells are sequenced before buys, so the base currency exists before it is spent. +- `minAmountOut` is `notional * 9950 / 10000` — halving it changes `planHash`. +- Swap calldata is hashed *inside* the tuple, not passed alongside it, so + swapping the router payload changes `planHash` too. +- Section 6 demonstrates both tamper cases producing different hashes. + +The hash preimage is an ABI encoding of `(bool, bytes32, uint256, uint256, +address, bytes)[]`, matching what the Solidity side would hash. +`test/planner.test.ts` asserts this against an independent restatement of the +tuple rather than against the implementation's own helper. + +## A real bug this surfaced + +The weight solver carried a comment claiming its invariants were +"property-tested". No tests existed. Writing them found that `waterFill` +returned allocations summing to **13000 bps — 130%** whenever a cap and a floor +bound simultaneously. With `cap 0.9 / floor 0.1` over five assets it produced +`0.9 + 4×0.1` instead of the feasible `0.6 + 4×0.1`. + +The cause: it clamped in both directions in a single pass and never revisited a +pinned name, so a name pinned to the cap could leave less mass than the +remaining floors required. It is reformulated as floor-plus-excess — seat every +name at the floor, then water-fill the remainder capped at `cap - floor` — and +verified across 4000 randomised feasible cases with zero invariant violations. + +In production this would have misallocated capital. It is in +[`src/weights.ts`](https://github.com/fiduciaindex/fiducia/blob/main/packages/mandate/src/weights.ts), +and the comment now points at the tests instead of claiming them. + +## Test coverage + +`node --experimental-strip-types --test test/*.test.ts` → **46 tests, 46 pass, 0 fail** + +| File | Covers | +| --- | --- | +| `canonical.test.ts` | Key ordering, whitespace, `undefined` vs `null`, non-finite and bigint rejection, address-case normalisation, hash stability under key reordering | +| `weights.test.ts` | Sum is exactly 10000 bps for every n in 2–50, largest-remainder rounding, cap and floor binding together, untradable names dropped and renormalised, infeasible bounds rejected | +| `planner.test.ts` | Leg sequencing, notional and slippage sizing, turnover and single-leg caps, guardrail blocking, `planHash` sensitivity to every field, cross-checked against an independent ABI restatement | + +## Scope — what is and is not built + +Stated plainly so the proof is not read as more than it is. + +**Running and reproducible:** the deterministic core in `packages/mandate` — +mandate canonicalisation and hashing, the weight solver, the rebalance planner, +plan hashing, and the guardrail checks. 46 tests, 1134 lines including tests. + +**Live:** the `$FIDUCIA` agent token on Virtuals (agent #139254) and the project +site at [fiduciaindex.com](https://fiduciaindex.com/). + +**Written but not deployed:** the Solidity contracts (`IndexVault`, +`MandateRegistry`, `NavOracle`, `AttestationHub`). No Foundry tests yet, no +deployment, no audit. + +**Not implemented:** the ACP adapter. No ACP job has been created or settled by +this project, which is why `primitives` lists only `token`. The agent processes +in `apps/agents` do not run without that adapter. No token utility is +implemented — all accounting in the planner is denominated in USDG, not +`$FIDUCIA`. + +The repo README carries the same per-component status table. diff --git a/showcase/fiducia-deterministic-rebalance/README.md b/showcase/fiducia-deterministic-rebalance/README.md new file mode 100644 index 0000000..471fa33 --- /dev/null +++ b/showcase/fiducia-deterministic-rebalance/README.md @@ -0,0 +1,50 @@ +# Fiducia — deterministic rebalance planner + +Reviewer notes for this showcase package. + +## What to look at first + +[`PROOF.md`](PROOF.md) is the proof document: the commands, the recorded demo +output, and the scope statement. Everything in it is reproducible from a clean +clone in under a minute, with no keys, no RPC endpoint, and no funded wallet. + +```bash +git clone https://github.com/fiduciaindex/fiducia.git +cd fiducia/packages/mandate +pnpm install --ignore-workspace +node --experimental-strip-types --test test/*.test.ts # 46 pass +node --experimental-strip-types examples/deterministic-plan.ts +``` + +The demo prints `mandateHash 0xe3420dcc…5125dd` and +`planHash 0x07061e2f…3e30e`. Those exact hashes should appear on any machine; if +they do not, the determinism claim is false and this submission should be +rejected. + +## Scope, stated up front + +- **Runs:** the deterministic core — canonicalisation, hashing, the weight + solver, the rebalance planner, plan hashing, guardrails. 46 tests. +- **Live:** the `$FIDUCIA` agent token on Virtuals (#139254) and + [fiduciaindex.com](https://fiduciaindex.com/). +- **Not deployed:** the Solidity contracts. Written, no Foundry tests, no + deployment, no audit. +- **Not implemented:** the ACP adapter. No ACP job has been created or settled, + so `primitives` lists `token` only and no ACP claim is made anywhere in the + manifest. + +The repo README carries the same table, marking each component as running or +not. + +## Redaction + +No credentials, keys, wallet material, or private instructions are in this +package. The only addresses are public: the USDG base token, the `$FIDUCIA` +token contract, and placeholder router addresses used by the demo fixture. + +## Assets + +`assets/poster.png` — 1600x900, generated by +[`scripts/showcase-poster.mjs`](https://github.com/fiduciaindex/fiducia/blob/main/landing/scripts/showcase-poster.mjs) +in the project repo. The figures on the card are copied from a real demo run, +not mocked up. diff --git a/showcase/fiducia-deterministic-rebalance/assets/poster.png b/showcase/fiducia-deterministic-rebalance/assets/poster.png new file mode 100644 index 0000000000000000000000000000000000000000..6a04c9c61e4a4e778d1e259261d8f722de07f5c1 GIT binary patch literal 144306 zcmeFZX;_oz);5e<>vp41x4WPs;0SFQq97m!h!!ml3{|U$3{jbsDM}zQgd|!k)G`T( zVNM-U86s06Q&MY9fDnSrkVy?BKu9745;DIx?Vi4;t-J4^?|9zh=yCrb33rk!>sr?u z&ULPJ<4b>^)qmaaS0f{%)rSu5KW1d~;a(%7W#9beL*NyapYE>FQfJhm{rkSUTso~= z*&2Zi6&VOm3$OHAewk+!ba9jMN}Ep({_W-gn*Hv(aVtMLb7k8Pvdx;i&iCq8I$yg| zCC6_+yXLEddyAf5wf{?9x0cI0@8&b?Wr+EIiibs;D@svGlFy2IN9dKadN`xA|2CI?H*5>?? z3%=xor+?^1xx-T<&ALBu?Ka>0=Z(KFs6WN?ULE>VJb#MkR}%PtMkxv-r&~mu(|3{C zPw(g+T}aS{lM^V~0^%-1lEiJ4b(`gs4aH+J-+Oh{DX$xEf_MJ3a3oCo_F*hOc)C~5 z-sQ&Mh5n0mGUt+nnt_@;64tvh@!fNY54%KJ*DO#L3UXlC1bM2c6rBJcI1%Uq)z9Kf zK%uFZGz9~%_~jd@K3-F=B-9tQW@x`OW8geHnt&{^@$9mn0f|cc}gtml7Fa9sb@+w6wj{X`f!-7XX8t zE&_8SWeWaF?Msb6EZbwYU2#vsLHL&=p@Isl`)F@f z1e(@d|Cgk0cM-|Dx{H=&!9H-q+|TTkS?il70tVpBm7$49S_-{ z7(DJDAGUDUywSRvIK`MDXHJK|_Y#B{74;2oQ?x$xo6QO8_B{Z)Shgh{MUK+9BaszJDBK!|m&p*G#&|0NK(ncTNJ2E5T2bS~eNO8SVSk_j174ml>PvM#^iY1&&r@1=b=0 zx_ivf7lN4|kW`1`qhu|d2f8?PUrKtWCD@Lec1)u@j+49PlV^*C9k%8DsSCg!<_reR zk1qs&q1gG}>yqP@t_yL0)3nN2FfZL?0NL74`6SSAR3kfgvhGaJfF-r|`Zs}wSEQQN z7Ot*JkFnRno8BfDAiN%Iq)*TX?%H;ZpPu@tAdYoPdDz^v+e_SqurR#<89l0}`0%8a zj%1q53!;QGYv~)=9>N8IjliiI**;ub-y8qQBv|<9UNO0K(oYiI7s)Q48=DEdQFVRp zz#kAGnITcO3VI!{aAr@E;|%e|GMr2!p@N5UeKx*o6$Ka?bm!4Tw7{YmlERE-=bYrD z4b!aRttOCG;2#>UBtb&0Po~SfusZ`zh66wML+ICNn z>Kf!cq=XOr*1Y(M!+bjf-LBZj^X(c*G&@yg2fbiIp?i+zkd)34O+9md2+GGcc=ejQ zU>P*8_g~%1Z@Opsoilvmc;(gw;}5CtzF*-II39o3>}j54y*RAn?elc6h3CSX*Gv;2 zqr6zCK`nG4qC+*W6wLykMV%Q*t6}rsD46D6@)6)PdX8TRhz%QdJTuRyh#!E^LGURy zp9iewWUO}ZyZ2bDE`uG044zJ4Dh=~#LcXIRT~R+!e;N}TIimTI{6lfyFne9(toCE# z!VAT{0dgKWb80G^KOB6B*<4kdX5O~&k{QfPIjni5r8&l)esM~9&n#8*NSl>u+|8bu zLml`Dle0VVokQC%%g#vf<_oNp7GV1?Bhe{)f4#Ln@!j;bDO9G39P-;ptT$0Wz(c-Ed z1PjSJYA=!+pkoQuEL@|i*ZHKuZ?_bij? zIqNK593bD3fp`W=N9B=b|5&0Zh=uJQla-Fi%H|?#MNcYgVj!o{l`h!Wm%pbnl$RXU zLi#QwMtE;Dr?}%AMI>lJpt$#jVhuC*G*QC>E+BNzfAqm>a6@g<9?q<7LSM){$+Xd+ zBPc56!5!PwF*$s%0DXW2N9BZQGlyJCAh;mS$5D-%lkAxJ>IgnFyiq;a`HR=uQ1Vl` zkG^N2PQPX@2;X=~KojPHpd4&NTS05_neA-n!M2IF&xgl-*>2pKt+ebi;0MM|f9x<~ zJK{D|Bxl7ccxX*+8R>QX==*g~&Zu;kVn&aYSh!*8n`J9FprybD&i5}vTpb{{6r<0a! zBYxd(8?GYmmh8;LvzYhLl$k4QC zt1EJRA3+!H8vr}?(v$ygI?5aD4jC(jE>tV{4t1N}^|4atOe)%H+oVTEXBgwRg8-R$ z^Ui zWYorZr@O?8nz~;z;@Xr=#l6rVPR(^9BCO}kiOt4`EwBnHvn&VQJ}AsQt_adYwhfi- z?5Mo4MWAVPYo!9}spO>;$?cC-KM2ww*Z;#W=LewpEnz^vKgcdzoLn z?(!=rN3q!ORFL)55OWQP5&or!7c!3j>+EEPhAAb)PM>bCO82qX*Vs9v$JDiTgYQ2( z^^tX87^YEW42^eGfndDmO}Q&2cb4B&>)pIk^$}lt;Xd%ppWH6Wto) z)ZJ8LLDe%m=0zT;#-Dob9vwA7Yj7iHHzpu^u*?8UIA2(wqi$1t#U5*L51_p%A+%ns z%Tjp^yFl$(&8w;4f5wqUQK5sw2;x}I_f%bcg)7|( z?hDxXhc21PqWIETguh&URK0bAh?c|_3)pf*mczl-ZL3diOnSGODP)$ga|XL(viPTe z7sP>)QpA<5f8Cs~Z~P(mh7j1l;{NUrv^2DYI`5`F(v3f)k$(P@2hHZy5u4Y}JNce| zS^RiuE&smzS_KrNA~Zlp?w*!+-o_=EuZ?=#m*ZD6G#oJ_kU`zFQ<*hW;%sOj$-SBV z_n=#y*!3k7EM+=P875mGGHcMhJ5BF8f)$aEB~v*szJxkzDAw3zHvgjg1&&uT+qREvDc6;X zY9>w`$~aX$6Kwapp{^f3aNk%pk)lv5-R9G~V)GztNBhk7Zh;YQ1!hImd9EEo#Xi(V z8HVl5AFeOi4{|xnD_f9eLv0N5CpV<*6DMMEZ*jh56trcii>utxBuSGNQ4&6(j^TH; z4F4@$H$Si6y=s2EU;}EPs{!*0FIl$-6DsSeJQicG;foWLkXF?-NgzqqqSWZm%pS(; zU8SqM1?0GYBp^AnOAnfP)fqWOOh|4=tw(=MYq);p&dz5G3}^y&^3gqZj+y))-cbg` zYgrD$Bp^HhBOb;p3u||Vd{yH%M7{m~LocX1lgn=~3^9njgtyH$51sFL#x5Cy<)Gh0 z%-kDul7E)v`=#jP?I`g*RF>aeyxPK&+c6u=n>s0>`pI=N3~W|$0u}qj*h>9%HF4LY zz^wgdk%=n4w*LUz1vx;<@~c6TLG0V)^v=j^-O+i#+Ojut50vDIJMDHRs&qR$l+q;5 zHCxSRxUE~+BLlb-2Pg#TMD`0mz8aw^u++p<$<0on9t4o!aTZ(Ixr}L~zXhv7v|9|i z(vPZJJ%pK)FAA`dbcYcFt5?XJF8<=HAm15pLM1;xWLv%)HGaTL8r;E#z8qec-L`sQ zxYG4xiY`2312=5_bMpGe=*!I%-jARC*8fTER%UR&uj-&;5vV z5Zsq7{J?y`DNl6TZIi0Id;-EIkIgE5^fPlgq_ryR7zjIRP+uLt;k40>R4T+KNV|JF z-q6%>E&6Du* zJ{=+i5;*noQ(IyDU5d|cwpZ@;cc1S+6wtrGjT+(>hi7}GIHgS%Bee`5{h3&Lum&t3 zpQeSW>Q2XK6SWRoe>Wzg4ZwO?_rUw0Ylpno@{X<@*4>Z<0Y;3`6CC2;ge~f4Eq!ij zb#XZ2s*O5-Vt{8*7iPY+w7NVoHeeg{Njuv$nO_rg61r%*zUl?f{q?5(xv`w9NIt3R zD?>vqYrK0ydQDt-cD{P67`6P6LBg!F)O9~9zr$dS3wKYE2T`fZ+o%4iThqpyGE!!5 z*t%GI2{IM;3V@UOMZ}voZ!@TzI6!I_-)udpRs?RxYxIZ^O~#H;)QO)?1cq{_6Ei|> zD!_{lnV8@#Tfi>{i_34;Le6`!?A+7B-1FpPt+5Z#@0CM*QIEa@IPBven-s01&J@F3 z4XK0Cqr_dzA>J&NjU%^zkYXd0fA*dBte8@uPty-?OL@$YQ0gKc2!?dvwcOH7LJ`S#sw5tNUS?KIm8L>P5KL05}=%aUuQEy1e)<_W8&)_i@~j z>^m5@cn`YS-YM~j)GkcNQ`oU-pw%cgN&80kKhB?lXn$o9nPAqJ%S*4@Ow%*thdj(e zcdg6As1(No%Ip)Wergp!6EWWO?z`-~K-}1gO`%YIXJD~m;fPP8wVxa5UBmeoTbk*7 zr@G&(M8Gb&EGYwG6!H(>6`yCpCQWtKH)J>sIRE+;eeia_{6lm4rJn~TN8Wk;Hky)< zIHH?je1M{asR{VgArk@G=%b(D+S?$XLhE+-V_Kfp%!wQxH^YnvWnu>E+{B5G8+%?6 zCWu5OzqyL$rPhTDb~G3{Ax57mCqZSc^Mj`yuk6>|k%J(Tf&87-GYm?H*LVLz3Xmzl z3Nb2`lSVX)|6rfivTnaJ;?|g)XrE_AM4IHx9WzsLn+Sy2UyV<%1TkdM{`a>mG8rJ z9BO_x>?EVS>sNe90X)TILyn)#UFRh@k-*AHCDGm?M;AXZJCWGd)cQ;>$HR2HrzC{B zFY~BAGca>p^^H&^7hdtv-Y?HRs29HZeym{1e>R6qn zclCN=f&G<;tDmt8#ck3)XquPUo0`nZdrJ%;+O2SX5r1oprR{O`3!aUt3C(~aJGuMi)q%XgpfOoa9Or4R``FEEC9G5_ToPC!G$t5+ zjJR`VB#91NKk~bkRPCd=NGA;~R*z~SN1Tog+A(tZ9e_x>FsWfEX1}=GZpG|(>8G-~ zLzFpu3Q7jOlrtw)flXG5p1%>8MeV*7LZrnBfbq<&Dett zb-ZHqyFtjmu-tleh|&7nZ-^h9e@*b22asXUch61ZtN;|= zRi=|GUGY%GfWofwo})6~+OS`KgR0uEDJTez&`zbu|MqO4_)K{uu&PJk`GSPL!|Fl! z#=u^3`NVGp1QsLS_tf3dnZHefynt2l$8Li7+6%*BE}(m1wvIth4QyI3>C)!Q}yHFvc)granx*upJ|I z&$gQk4yfb?YT%91ijys{#^18f(^Zr%i_n$}$KjLP@vf$t#&j18B)?4;(-$&#-MFNl z<$)H1?UFRJ-Nrta@UQA+p~_eUJDwaRPabkH$G*AS;nBHemi*D%yNXt7Z`Pj zVjD@tiG~bmCDC3(SQ7JvmA=vsE@v`V7=~7`StPt%=u`)4mV;EIn4D*_G4&DJ>p5jP z053XmbzmF%aXpC!ZLD?&pwbIs817JbimAuMm5y2h=GNdwJJsc|Nk*jSqqZvDsF)e~ zvZuBf# zoC)=1Q^6&RTiRq)=LA`Wkvm?QUNxD~xPjVy96CuN-e)bp8UNpOWh4kg)!gNm_%_QB zCF};{HRk>{0nY0Q%hNL)TOX-juh1jWPvS9TuEdpjBf#_VNF+XV^w5ahwu1HJPfJ!< z?Le87i{8pR;ayo4Zmun)wYAVVq8+}VV_5CYo7Z|_+&GuRuCQ3B;m5ze= zT-STVF`imiEwfr-xvNOaYq-!Cu?6ghCgpb)z3v7z3FVE)!beQH$C_i&Sp7SVYaoy> z$;%-)76O1~t#!2?ufJbr8&2pxKzEAKgYwx$YdJbai(3U%)X*_rU~eCp=>#o&d3zUM zEW(nSGb$?et+$eY+y$(#ry7fy6ah3s2>}E0gVlrE)FU$Kz%9E6P3G{ZgF2 z7%88NM(d-|YAw#n0>K~l07_*S5ZvUUYW&9|gc0Hh^}!w}uOzr5Ihqj9Yi;t>EoWv) zl1194_;DvO;%GBHAfctHds@lCI)BL34FkCPWMZf{o!-5JrRR=>7zJIenur`wJ&a=X zIMf;CUE5_C*Y@?Vwnd)L;B<`D!MAo=vhNB2<;>pdCcS|C8xR@04!v@dpfMS94v9_j z&UN%*%LD4cm?hijU*41)f+o>H>|J6RVXRrMyP(-U<=@sKY0|1M-=1Rd+lvOino5T& z_oR=VDiocv%$M^c`E9nQ=b8m>IhoJ1fP8-h>CS49tUo4jtAz0wH9B`O_A_!LN^inA z1??uxghr$u&Sr*)Jm`l5Yn+=!7Gg0YxkkwUqG+fU1J3wWEY;OL#kh}|BY2D449;r| zQ-Q59vl}bbSjiAJ+38a@;Uj{w>2jbay$i-h+J1W^G|J{1=Z>)1)S3GgWge)=&;4R5 zKu}0iSx@&QKvY2bH3xpi$~VXGykhP7vk%F;_`^x@ngWL@v950jAu3n}*qR>|cJ-0= zTje-ZcJcCT--PIm&Fq^y)z#6SZDn??iB2=2PFSjzfNg4Gb7ih0iSX;%^XhO|}TET^uJfE|7CVlsz*^{H-R0*2CxGO6mT5=&EAj0{^may+N;$U9|Lm zQV${Ly)2xr-zesWll=+Hi$+1Y?tGvU5QwxkRWWS|J^Gf&B@v@Dwe?-~I3y`Ffhw|u zB^ao;5>S=Fi!^X0RjE_(%Ve7kGn<)hGB^P8In*>yJrPzpvts-`CVx`YKSYh&g^lRJ z_W2V^l}h7#a_y0@azu9pYebs1#%0oL8*F{@ctIe^Ivy0N0#(Y!XBi;EoK8$OH0t7f zf}VA_rp^%|qaJg3>(S|2x)op=so5AMmyGHnLZT9z;a*Sse>^G# zqI(=b28vMn71Mm}TW{>87Dh&E$h&2@nX4VH1yCG^=!TZHAvLeE)tcrSG8lmwsex*9 zsLzs18K=bd1Io0awzGA9N^KFE1dX>5D9Rz|0L?4c5r`?O-Mbj0;8y73GUCMRt@ngC zC~K)R!%+l`;)2&Zymg@#LJ#ctaUX>TK`<~y!Xynkkxg2g@tsh+J1!SY_VA><1x?IyL^3QH6t-)nR#?cfiT-<0480i~)WTU03d@r#hD>^J*^z*?D6aKm96QjEbHgX!XaLY+`lD zH@dPc<*iTDQ>tLY9Ln)F{|a^Ch`F1!8e$zobz)bE3Q?2-Q5>p#6z3l#kCmm;!6mWm z1J~ztoHkqy>fJSKkD}OhB}a;fhM)Q7%Oesd%3!!?pqhp1E)p?xs><3vQPY%j`Fy5u zmKesf~-kpqU zgvDr&>~R9Xf|evIB$5()o=AvM*B0~mM-wqA%^g`T5DP-M3 zAl0|hx2Ff3Tm}~*X3Rke)L!07tLDhJ)i$V>6}X|50ej9S-s>upjpIXkoQs0h`HW7> zFCB@vYh77j)&Be8_F;OCrV2y|#_oqjRZ5h)_&(rOts zJJ+=kI)_ijI@)UN+uXlMWKUQfKZ-#amC5hh3W^Ph!PW9??n!5CQ<sV44-ff6~b z->NjGs(#{^hD0kuv(q1i+vDeFa&WD>PKCfNscd9$ny$ZgtMQ~@Nb*~dJ-8Ai-%}Jj z6)-mhC!{2lQ9N*aX6~-v4?CLI#@U-bdMQxzetNbU-N*r zi`7D|Kf-PhConCQ&jcnKvbu%EbPghje$-*`eNp;PG%l7+;3X2H%9f- z{KfNunoY%?@7|&jmhupO7J>`-0X%e_*P9!*yF}&a1o`8D)F-;mByW7#CB{0X#l7r; zuF(G0zJ@;24lPtzvqcj*y)Yak908(6*j1PG)@`4H{HCauC)86vcacKbNC z@V3;THP!O@oCi+v8@J-wl1~Okafi-6mLXxbBh;o=?Q52)5^u`E%6orowGF532Gn2# zGk>hNHTpt#pQKvgCbQimHvRSis96vwSgXSy8l2(cR>nTwxo)(3=XyfxE_Xpb-XD1a zYW3}Y!>LD?+R=f7jN+CU`@2+!dMRY;0nM9!G(Ot%JW%vg?xAPb&L4Z9a(TY242tfBtm1u+0gKjGU^ji zOSt?3iv3u-Z(bjn)p1G)d%R!o)!75*K5{RZeo^yF$*t&$o)=LihYsCtB3O(z5y%Oa znp$x?X*|BSj;qpqoJ(%+#!h#`?6+v#9&){$K14Y}c17o6^5dmeWR`&iI^R;We&eDx z1SF>1}9a{Jf4$N7Fn)qsRxKL z>BVuCU|}BRbYq6}In+s2N*#mDwfQ;<{V$DLPWLFAr_$W!mTkeHMuw1jhqW9S5cjun zjJB>V2}hnA$nD_x)*%O!00Z=iVWtx(9{93JkF3ApT5o#b=$7AIbXmr*L?$duN-F`S zTKia*#oas~sXZCK|xXK7>lWz@YqK!3fb@&B0_r?P!nr= zZ~Xecl!uR3%4_8Vq$HT_0J5u=?wi2(7FDkRh%C>D-F;N*Cj(ANgq{-^?o8#(r2h4E z=dvpt*EB~oPb{evPlJwq1$DSGrWmGL7a_`$!7|6g1$!uIfGVK9m4}YvOICnXe&0zK zfN-P+-Zrq1ths&TH>2Cu?jHHW6zOpmyb{FXr};x!^|bO>lMZ>?1oY%%QJy!eLX758 zQf#l+ih5(?2Tv(PM4CS|ys2H@y@Aokho{IF6oT4AQvI`nOlYPh&LuieG;ewy6i!8y zIPnK@CXo9za9&fx=6dy(@ExwWo3&Eb*6}%XgWy)vx0L+yl*D>=Jfb8{;E||8Jz$_$ zg!%RU>_1Azd@60 zan$ApNc-affalw3dFbRZjq%@;m#uGhmONR0yLnCW`1XUSptE7Z-J>Mb<=i`6Q|*ye zW9Shn=c)pC<)Gk$B_i zU`RlMC|naat-sfe*Dz~Wyj)-5ak+z?pG+rq11k_erV-g>-(O=!h?D#(k>9*WjoL~+ zELcIfH}2lwAS(8rO$DikLZ_VIy2**okdwT}cdXDKCG#X%zZTZ_%gWJ zh?`DK6jV~r+?Fu(rz0$4vDH*idS-G|s@(W-QO@LslC@o>r?XWd(K!7>5GEJ$bvecz zkveTJpXQe_0UqhtrtWw-6%9VFFYlAHN9K%PI zQ`t`p%eF;@iiXSl`o|Trbw?b*kj$yb)ZFDy0val)kH`mq+310i0!8i1+Xd~GXQbb! z)9&bg56E|kUMSp zFk7MXoALu?c?W*b?p;5c{b*2nD$+n}0BWdg{VtVXPD8g-5+-zDsLfE~>UEUuKBrUj zdPrmYzOw4M-vS{uF~?GMj4BGpkR@R?ck5AG@g+KU5{o8<)Lpq1=)ycEi3eCONr$ke3mK@?*9PxvlWOry9s_c zx(tPY>yk@KFtTRZldMR;QY8J;n2>s?oZ}ikC$PYtb3$Hv_k2ZwLUpsbbzKRe^T)4f zo^-kpfu2=H#p1>j;bnG5HONuP*6^FEYj@l;rc2^tm8eu9$SFFXd|iD8{Du2%x$C(_ z(9VzdwHNiid+g48oJ%avVtY!Y^fP<`rbysO&dLN}5&9nS3D@;4^(@Zplk8J*dv;SPV`9c#5>@S_s|tSKP!=@4wmStlJzM3KdWreoe*U5 zW9+Z=m-Y52zvV3HK5g{4Mo(hiqoJx=D155E`1^8&#X`7-l#*UkPjQ=zDNyfoCh^lx z*W>P4omm|kT?Vq7mFr(u$;Vuatjq0ww*EWUX_f>IdG-hM#o7DZrL}Z2q|kJohyTQm@6F;~+Fl0&HBO6YxsklRlJol?&NPWFJYEeJVaVe=F`QM9n zfKd1}ElInDbyoh%fp3Z^j~2$`XD!4J46PJ49(tOIat=6N_x(GHveaw$1?uUjtnp#( z37kEAJ<6_fU>zd_AJ8>rIQ3f)Gc5 zAc?r604Vve2E7vb>hJ|Tj!E?(gpXKHnB;EN=3{i>{e9hz_?@8!d7eEG}WM&M85#m zn~pn*7UkiOuI{+%m9&ic!I^~CJ{#4PNfqC0GJ`EelspGlh3I=e2oH?c3{O4`r8UR~ zo<-!PwwdisT(N7HiE4A{iFW|deERiA}<9z&j6PK!=Jd8KF zlM=Z>e%;BY++5)+QJv1yFdul1p6eM;l0vni*?G47gB+!;rY8Z8mAnZ%)ew%pn-Ep=TQR zgPysXuj+oi?QO$K+Of51|4{ru$X|xw0Ev{HJj5Mc`PP`6ee`66^>DdY{;clC{6<{S zqi&5+)XWy#)@^H_YZ2OXW+kOo*qR(OJ4&@|&xx$-l=BaUtr0N=^=wyu{i`}ZOG+x%2s zi0ry#=S@W`F@lz$WXrr3W_$Mp&}_oX<@;0Mlxg`LiR=kQs)J?)g!L93sE&hWk4wEe zjs$6xYj*DXFj72D!WYysXO7~F#GS(mdW9N6TY4}7k0P=-N}-pk_XsFn8Nj;-XJFld zG^yCxD^+MhUE(a>Gju!)O8%`=I845mQtm#N`VBHW* z=#Vw()wgD>ck)!(sgoa6Rq$$^ef$y13LO+orOqp!^IJjC{xX!=`(k znr+e{|Ix@gXBzfm#MhofxhtR7>?+4eRo9Rg`)t-7sR93MWATHT^c2S{W9ao2dZ3xb zL-T#h!kT35c+NNDtxes%R4D)%fl0V6kc)Mv2B`WVqT_mJ+0uh!Csz7cqWcl-kBWA% z5T*`4^zV*7`^nljs%K-*m>QUgUjw~|By9Tx?upXet;K+2H_CN-udanii^Q%~66Mcl zNWuqfV=h_RDWRgWR z8twZ^v-rc=S#j)yc%Pd3MVserw)fnGSJT)jO-YW98Q}}y{qL8!M~>HASUO4W5S`-{ z-~he{TLY=WxS0Q4^?(-yaK}&5)VHr=erZ)S?z|s-(oar_-R;UlDq&`?&m!On_|caHaq2&*$wEoBEQ1;i|q>^Ada1 zmw07f)>PO-%I5blCxA}3e-JAmnHU{VMg47?|8Fnwv-SAL#1+630BJGgcUg<;{-J-r zbiNl_(*VMUF#1Id9DXl03Z6&#lqmX#E}=@k`%V zq4jkNEKCys^ls6ey7;WOOWRjDUa7MD?{7o_tgoU3JX?mMKL|By8m~?m0XoC^2A-0Q z!{_`8o%*dlbAT@L-wAJvZ!CpfUH)%d_`XMfj)wVNLgS*?{uIxj;`x;X{#1%ziR3>` z%%9@<-zuK}|E5g|pK7EnZV>qJ9f^;h{G~A{rlv*O3^c@O6fI&blcE7AM1#8s+6CKD zTt#Ic6!r3B=Eu;MyFj(n^m5NKph1SJKZeoCPVnQAEzB`ZWZy$SW|kYLCytUJM^q5# zVQ9&~H172hW}_rBB&FklBoOgcb$zN%429LS&USVz6ugiopQ=AApegR1m1jy~9?yss z4r~9bn+B%U2yedpj!t;@4M5{r`;M?s;*kH2OR0c}Cz&+F<}G3RJba_UAK806AVI+a z>K||EEqqmt!mdvz&A<|MulyxF*#9$?N)dH@N+we^&YbzFcfTs3g9(RZpZE>Ty%hNpBFTYvgF|i~+a380i!{NxIr6Y^%ustg6SyS9_*Yca%T$%lu z{z?ZEkBJ|IuX5ZI#G-J3W{AU$O|r0Gz+WH}&ikX}!E9L^->u;XK;GMCzsm*~qyA>Q z()!s5-GD)T2L8s}k)uY1eGGq&5|Jy`ktde61Lt@!OqxynwyD;W>oOFwIJX1n#rSo3 z^?wGi{}Aiq=z--vW=koF9ov~(tyJGG771hgajXmZ9U1^J$q!7OZj6@GhA05`lOZyQ z%ze!uv)|p^$prw={fE5Gwl-tDjaSL-uXM%WhF{r-#+Tl)E@XIrSh@XAxFyBt^@kf z#6UY)*z#VW<~~+kuf{x}!CcJt)=j|2KMwRaOF69bySd0`?GKCs*6=rRQ_s$*-vp=s z(_j7)XF8?pmwLCw4~V=pO&!5!+NN-=b)EyaJ2V$E{?ho-#iK2!61mAGY+_ukMrvV; za6Fki zdf=u;`tevZ=aT_i-?$?vrlljdFbCUaN009#-_>%S?51Bq+FG_PGiecWEAq#Thy0AU}iXb)on=@hkEFCy3N z=U(ZR4}_E^A$(Pk>p};+T)(`;|PB_^vT%gVtjE z{M60Xzio#tbNy-g&Bn9u0f2sif`AjdG3L(M!4I%DvigsJQ5eU7PCXo8)WP;n`yF;= z{_^ep$+S~|X`SPz04#Pz9ANqr6Iy3z!fC~xbh8~XGw0&Y+RVljh5!xcK6f3%tB5pE zohRx9<2v-&BY^w~jWa)&MuR!5n*W2|Yp?mFx1=7)WuOQE%hp_@sI403=1hdQYAnp7iJML-kOo8K^fo-$14%5 z=yRZOht+@Z+y5LM`Oon%zyACG%pkm9Fa6iA{P|pzL};rOJ)IM z-GJ#!GT}{yVZ0QGye6(PpDUmF$OUBG zjH2GbF(F6e-0e{hbS-a$udq(NSkLm(_;$lDp$Qj(afFTh^$6`Hx}QHb&Q4`2# z0lPxd$bu5fx8``<9eH|I5MfO~^H9fGc-?Is9+NscDYNj5cT^UJXJ7DAyIGfPbejwY zC3Cm4T@bC&TEzufpiEZ}aT}>=CzYY4sCFbVQ@A8Vk!j6}W6pOi?(+n;N`0|o(-SN$ePxHwkuxZgH9Fe~A$&;jNd z`Bb)(Zq091xUg+LL(qPLub;}0l2$!Fl+#$6dZU(tiaaK5j1RVnO^e8L=T=KWaj96~ zp0iwdRD&&N4|&kky&pG~mtClW1^v%BX7Twy3%3Wmx4kKld~?+1Vw#$#Cmk;d2UE|s zINOvnzJ&IZBF=8ghhhRllauAVKK~NmuQ|lBp7w7hVtmifWz93U=I4V@GZ{8((M9(= zU^}Bfm#CRTZWgWy=atWEB^R<|UE_wIzQycS558Cwb>N;4fAYY98R9Tav5;+06PYMc z*^pKaF~Btih`h@$Xp55`OMTx)o>M+jtefI{g{kxKzW(`q4lWtIxhUL`oa8}N zF4$P13UeqHUe>h-MY{%up$5hpLQOpt!@~HAa;Kt9{k!$iRqTaD-&_qIgcK{TVbG4F#6n^Bd|F4Y>;4M&r!6{gB|VGQdjT< zuL0u}^R@2#Yo;T6-jp)DG+oX%`7d1F>>ebK_7+Mkn<0gYw)v^x$1PkPFcH#Ej>H>6 zHL|(*Pm`_7bvH2~8rvA_=r;?%;5~n!&nU6UVpOL*;$z9hk`71&Qi-Exw=x)ISG{qo z*ah3@_sUavxUKh|8L#u2mG=8Xu~ZNqf1uUgF~EXBAyeZSpcQklK)c2;0r?oD3j<7# zavdbw|CSN?xzJa1+;g%Un9Wz>YP=bwkr}FWog_-}CdU3_*nF@$px1dNqU)7UfX%vD zc0(>-+J(N0v?Zt$DT{Mm%X~dA&z4L@H{?G+5mc$zu{A!VwI{&(w29$`0a91-ql4jw zy80|~3pY)8>v#b7?3U_?w;)*wB&oPH0BiG&oZSv>n#=3hFDT*72^C;@Wyi|{HqnP^ zm(FWj*r%MZC{t~^VT$OtN6wy^geZW#TeC?7mUlT2Jti5j&qd_>^?UQh1Up7lDZYtdhrit(h}_||4gwp1ExIlCYR68Jiasb7@=t*RMSN#j`DBs`|9DH5^m9oqUx; zksp4Xc_CZYI=ZzeqT zr=rhp4`<7Q?M7IAHuZf4m|h64Vt(LMcS~U|CMaVEH#{|Ly@q2ucxkN&C;VDCos)WB zrR8HOKq_16sFXFq9`{9R0fKrv_PaP7?K651ms|>T!-6?7#Q0p(>VX*oJ3z+~=kO0p zUrf!WW4#VIM)$U`c=?P`50!<3YI~-{(EX)9a(ZVlZF@yVCSPS9(vzx%dGWBMwh&oE zc+^45wN04FjZyJXY}B~ylPujT<^q7P9Az%iSnqIW3K4JI*~RRWNjU?}ITM|(qB&IN z-_4=g@s9CTp@C!3$JF9y>n#|0lt;RjxZlxjM3b%@+1jKt9BcmnRI!jXc6zA{X#I|& zws5Oe@1VL9a6B;XRy9JP251W6F$DDj-FEE`2%LzHN2+U-`VoSQ&qnNJ%~9u~josh0 zr~M!H-ZZMoYk&KJxl@uB15#Oh%#ucA~K{J1{p%iEJBi6TdZXW z5M>fbRR)!*Oo=3r)QNy$o&pI;S_1?KNraFDa+BoQXwR>$^_<`HU+e$kd2v?P(zU1y z$ll+3-+O=eb$u=lw??poS$d`jlZ6x;RYCb>p<(Q4}Jay!M#VQ zRiJ?rn%*%af&p#$;-B7MUj{Q0ODk7sr?OL9JBbjhc zSz{fT493&_3;WgSkTo|3>0eEc%@Qb5Nm{5FQ)G^UIqoe%^*j+e9 z1Hxp?Qu1p33bU4jHKr_G2bU79BS6;{^>3s@MD4NI=Y*0$Y@<59rBQt8SE)J>80#3n zh95&y28^e>jR$(fJ18s!<5a2reFx;SNQ~{$Qcv$I85mrYqmAR!LzlfU5CzxU>}$L<;s)&C8HlEd zkxRkJ&T?7HxW*Y15WhuiWWSTaYT!s&6XU|shhmK9xScGYznB5qyy086^N+ddQ)bhX zxC%<1jVB7xW{S$j94F6>g-%|)H`nvL&5yTGK8eB2ZS0Z-zW4^%BA9c^?|M=a>UD7C z&QY=HzMd7}r|Xig@AEM)6FYJw)6^KAldsfkL&$j(UCX3L&I{vC z1Rn=am`-^8F2dUdU)^1czhyFw6!@UjYint@I`RrPbu7hbXde55=5KK}H?8L~kMbKz z=F%s9y>V?*6Y>e`7~ei)PEvXX4tCx;mpkW;P`CqrjP5Qx%EWi3r63D)j@nvq=3d8a z4u&8Lv7Qx+txj;pxM*(O_i@Wa#U?f|pBDXNf%AXx=3;)nT5xb@R9ifbE)w#n*)vq~5U(BjTZZ25-A(o@g8aU*YCopGp z_a6MREwXQ}XeZ_b8NXmGKStj(-5zv4@h!_3=dgCL6>YK9=PDa zx4sWe>=DwM+bp=#J(%-}Z#%T9V&FHBd+YHHwV@r;v9vL_A(tYzHfv$m4xBRKV~871 zpFDxTcu?k6n}mW!^+t1B3hR>%o74BTsq#LQ%YMS8Pb@NfzPkk}DL6waze_#%*l6xW z$H7Y(2t&suo`{{PTFMugvk2dPqlwNFceuj?b})P(O(! zW!;V@dKJl>k=bPY6kY5E8=OHM znkQ}MlE3}FZmyDKg%2lhNBd@z3)?wY7AzqfA<;f*;z_SxLC_W;DkXn^k2y`R_K>#< zxzdsr`N0hC9{I3A!I`re@KV42B86nJq89ee`6>KC7D=x3ZZ$l@Q|*!}`KKUr0U`RI zNu0(O^CP^^s8R?D?GagTH(fofk~(48VUbVfgAVg`T*7$ewM`L8BKg2!*dP< z1jQ>8p@%FQ=-zj_PwFa%d>H&*(x6qpme)I{*Q}m6vx%Zf3SOQO`bln5;1%J-^;~}D zJ@J-(-e(7jkX6aX0UY~<)8V)|jnY%4;+%mZrb5pu+%?@^dd8yaNlG}C!tq?K$Ejf9=kZ8xo>^s@q|nD`h< zHiE5`CYl7)Bg#EL8V>rhSXiNWfRsJ$!C~u-MGr*J6cf^+C&!_z!cTrk>N&~j=MSeN z7Vz|%bOdh=ZJdm?(LcjE(^hk5Pzecd!Z1syUzhcg#&vu{=XMfe9VTt`M{lTg)q)3u z;%!1PFR(tN;DfH`j64fXOzc_5jzXDG6iQ5L1K7*Vi6S^M3%a~KJO{c16C8EM72o^O zJPh#4MNK7-!V9XZ`STJf{}yz4^UXTWMGW0BA>Pc3>ghpHZyB<0G{-cwq3_z%TQU^U zu%HIZ2(uXN4NQ@AV#urZ(om&IMX_6kd%Eq0j=2Rk$wAmNmkU*>O{R6lS~2;wD|1aRIKF00#uAwq;?bWyzR{f`MYY)FPXy zbeq)CHTqX>L0o?{pjov1^RBAg5EoydCPuh2{774sqUPmWBH~VAPfx3#cBC4-wp(KE z;98N+1A~f*Gn*;+8pc1l;@Y}rRwL>qUqlb`K9MfX^|^69463A1mChL7NU_DYL&zWY zI8zNpjh)EhIda3B_&2{bBs2sGcp-AGrO1eMhk{KrUJ|)CV*ZH>&R`GW2$CYa=lKNdl7vpjLW$75KTe_kd)ucF;YB?jeB}hhOMyNIgsAPj7K6d6Ff$Thu zINiE0xa!=j!n)iGAvjGGE<3ziqFokxYEqA8-b%q4rAegub|hDRW%nh=mr(}08ON0m zs-RTKMBI=%Eb)2FRE%C9pYF=(_YwF&rL~z2vv-md(O$%-nJU!6+4tL*EL&&mJNREc zU=~YTxagMyaknRAgo2U6vlbcyNP%{pCqI?$80&`)@ILvhfFQL$zZOqdbQsQn{ro{<)xHia*9pZ zKAte8_2sN<-vah;$pxW3&BnKg?6FUfZgaDXg?7Mi}P3$>I_&bu|W_z!<_>)~L z8!hhIt6K*wsFd)2GfwVznYZ}EH6oEW3@}9f8UY%l%bq)^;WQGuD#+U6VeFoo8WW0O z559;D6Qs7m>0662C-ZL3-3)!JRBzQx$_c@MGmH`*8DV`FR%DIcNESGFW(=G)`?~7M zNIY=Q;+BUFhEp2MeF9p=54u@4`or+aa3`M_$4xfFKDz1CqRa@}bZ%7mwpzvX9*4k~ zu{h8iatY*I`Ak332ER19TiQJT5b%UUUo zhRx@P!$L50Q$jZg-P~ss?jLSkVX0IuC2x%{Y&uSO6yJ(zg4_JcDL(Fv09>p+X=d1i zQ9aGAwL!+i7bk?ru-yys(9t$WL5WDjClB_pG&H8zLZw8UV0@`eI4f`vC-~+y>#h4l z=8yAf6JRQcc1eDB)7@*f!<8U)2R@7?7c9SjEy@R#=*1Bil#^=VwBQSVw`(esQzk=G z0I}XQl4|YMCpM2aY?kV)9Qua1HU2(&|HPy5EQ9Sk8N68bcQ2Od=>L8GnFvjNhjDI( zX1uR=I@Htu{o>GJv=>VW5&mvvhmChe=J|$OpPQwrSd?VCEQJB_d}of?83g=D^my#o|3=KlfFoz);k?;$3$k5HT>hd z^ed(mxo2By7&}d~i8qr>sf{7YZCF_7@@@WqYOW3Rg4O)%ObtPGYk(Eh*89!@*pPLz z9#`h!ccxuee(8{F;y0z~;2gL%8p6@zGZmlPQ z=1~#?rSd+jfZe!53Ns%ZPtfiK^d==bgVj4{U~8dfg1sWHb#N&)lWygTIYGFf#(=`# z^RQ50mgZToLqdQ1eys&PnRr6b?;O~l=kv8c*JvF#bLceEF^;-P71%T>J?o^1#&gas z&tUIR@uCQ%E+PK?crs2TUr;=5`E5?^QO3f>XVJNQi&`I2`aS5bBz{OSh^?iKrTS1Z zWOwVN5_}DN66?C+Ck&Kd#qD*dkv+pFq5Vz>ZpbEGs&U#q__I#ZOr$$FomPttDEPaa z&;`p%tkDLp+pvo$Fa+g83Z24|qxiyN9QNgjxf&C{ygtCY^bTDom2{7^ljRtv#;n-V zxI|NZI-A}nz7Nj(9w%7?DDg9ps+B6aBU0pWv{qtethyQ9f$_*dbnHDuCXZVkF-i+^ zY-s%=@mx8)Tc19q1ZJSWUN-(_58AU(ntYbuJAD;qa}>5^z7$Rob_BV>Hq`gN0L^`N z)N>f&bU_QC`x=NUNt%Pl`Hj50?#vW;#TKYqQ+U1ooku4a295$`-sV!=U$%gmYIU{ zZ%yIsw710&tHE=W#g$$6_+-L*JEj&pVG76*^VtMUFV}6f{1Ub4F6!*M=1hY-)0l;5 z2D*6cC?ZIkyH78s(BoS$Pj0y6)7B*erAY(!H7GcnW+})er@4pHw}yXa#yF69^>gym zI`_#OW)HSw$0f2YqNg-Oxh!{+F!a`+J_b$_>W3rBaDx@CimmbTFNl?sm7q|}R0O?k z4Vlg-WoDbb2&RW>^U~upuW1e@Mfo&i%Q3@{)3}()$W`9869XUMn2A z<}o&o>Cy=!HVU1DjkjsZFc zImp;#w&dlea)+*U^O!d=wtF0XHFE61xfq)NWbY$y&;FoCCc012sEudl-F#(D9`BZk z08RhFW5w{e=VqG|h0#ZScsYU*B)-5OLAE6L6g)ZV2OFoNl6sVp-h)ZQM-5GiT2{19^QJPc7_ zo`!HJ(f*2bq-cD?6Qeca>T8h$!fNZu&gk}O!ctskG2SF)l9O~5$+Ta+tBNCG&;6O)KPvJ3u z=;1qfZERzUAV3-pXWL=R+IBF4Ne+yV8XL%o0>M}}2FB?bVqsX)1*id5Q7b;0*f#fA zyeTAECQBeHWCYISEHlzg>#}WLX0O69AN_@V*5(rO$`BnKvyDP{XF!$eWn7TnK7O{O zD9>pc3l8gJ79X`-oPVbkSJM9N6B)-uU9h_|$>!SJOu}b7bQuNjZz?>q39R6^WN||W zU2*eel~`S;`J-tb_30gUEfU+>(MzhFYxg3(Yqk?MryW7U%!I9-b#u63pg$m~`w|4i zIp()@slnVVay%ju$t7M`cDNsRJsQ{Xj=uA z>VS#xMRezmcv35_Gkeb9 zbHaU0bCucY;QmUw_pwZ}K_XZ1i9lVddlk`i(%LFd-Nz^8xOXYZoKY@*$$TEJ9)L%{ z&pO(YT$O8p-yZ&m==0tzCXd=kL}kx074aLbDXE#+MJAAoZbv{f{Y>0PBvVYY*vlqi z)RfB@Dq1^s%c|Wf3t6j}lZ)S3Sch1=T}>cI>|~tQtEgWbHiX)@9nNG()IlhQ*(l2a zjZnnGxUocAk@yi{gAnsqce**vpICv9(RKxE?xz-q12 zR(9+!4{j~{B#Q~>s*|;aCOVg_d558Tv?b0C;Y|WRMtVGB9+TijD^pahRo~ zg<%EBm)xB0871W+Vf|yqj2g{<>Xxr6we(ilM~>}Y@*EE%yxlNZ`nVT8nnP>4-f_(% zj;~^1Bdt4LEYZ2vZ@C8d!zT3y_Mx!JjgE7y8*@OzIrz@8VtaZS+)n>2R0g|Y?VHO# zT#|sn*m_yT(H0Jg`IO8g63+Zoq5=&w)~;~k>6AM&8Io_uvxYYH(9#jG-lzsn6!7;W zojh$j!!2bcG_O3L_r?`~<}n(y{M?Qzu^R=ZR|HD1P3ZfDJbSLP+ZU?pOjeC)wd01k z@E2%c>Db5Ik_7rDxxV?U>YRcI@ z%{56;0)R$+enD@%zMXzn;A3bd4oy&k?UzFk$Z>m9+TW}8+Rxn*X3$~mF&jdsD?OOn z0EH}_n*wU-0yo?vta+(rZqo9KaOS*|PXpTgH&F*U-zm2PS$OHY?s~cWO?{P@_NXc! z1n>4%bWfIYsT(@!#tYmg<(KeDJsid$$04rThksPPdjarpV=70%s)S&FCv7wa1nh zu+%l&Vv@{zhOB<`(7gN+S{g=QRsLpe{{M9{_kaK4|9BYQG?M=vp8wy5XYt$&2Owj? zUVFB8@|kJPg_=e7$6}vES`@#V#0SW41s6@9OxqYZ=%2`q7yIN^qT97h%vG-Fr;x{O z8C@oD%{4{Cja!(?zTNA^+f$=-Fpdpqqcnx{F9&oYYxphA%`et%BoVtvQ`3;1*bn`t zo6c8Xd)a?m1^2)d0PVtB?|hG8>~r*KyK_`d6xB9a(iGaTMCrOixSh7xWm4ShpDYF! zQd;5T6|~tqv3e-$wbXw1wxktsdy&Tl8dNN0Q}z!U(hmi<#3rra!u==Rx}B)alZ6rN zp3{sf8e|lGG4_HZb~JP%bxYI*3+i~kV(;R3Cno<;17fM^YLl_;73i1VWJ9*W#a}LW z(Gt1nn8+uS3hNc1T309lKsDcMZdO0b#H=99gZ%q%l$dhrmVVKyei;`eIsbYMe1u;5 z@=nVLxL<* zO7TIn&MxwUr{*ij{1q#N*3jiJ0ISu8X#b{jK}!#9h;Y=iN^opHGm*b<;itzi#^H{U zV$7s3C;s{!yfbAK*@LPOt157+ipe`Tbzd_>nuu6PCaiv**eVDRhc=jBQqc}6rI+5! zrC)jIULJ(r0rkNwy#TWWX_evrhkall)UGg$K@3f|qQP)z$82~2e@}b>cP(GCXufTo zz3<);AXN>TPhviioCA$c{@C&<$FZ-cUAhYNj7ecr1mv^rzJ)TKNy*7n@?!Y;V zFwViWvWgYqD+um~m@M_iynsu-$w_{&#)jf8_EC{={@`+lqqY=CConn@jGYx7Pomo# zbmaw&J=3A`xL{7Ip0S=)#Bzv!csor4n9!JcZ5n&^Wi#x!fCyivtwRfLV}=^S2Fg3O z`Hb7$tex2Bjgjq&wfyFNuF*DVxorzNk~~oul4or8_1N;2)mdrm?`kz~AF+*>TQ-#1 zGW?_Lr@dnhjk7u3BNM`lGfjxCR5*WyPyI zZ1r`db#v`we>7}0*g4dQx7d2Y4nWqIALOjgii+i(6&5BC-?z;xazT7)m8?OU58&@;G1HGKj4k`RH>%uAwb0p~pqPDC+paG1jT8!f- zdlUVmSTe0_-Mc0awzoF72En7)aa}=h@0*L=)7CCq>?OP?X0DoR{J32W#E_DKu_doW z-X)4A`ozo)o95ZD^}fr`D)lG`(-qenDGVutb5{SPna}~fy~Pikt0#s&bxlLZCwGy8 zp#~H(?c?U6G2`HVTpvw>s!A>Z-9ibGOmo@8Lt;j|4UFRvXBmeRIh2_NsEI{D?x=8o zJTfh`{WqG&S0(UD`REG!(q?Uu`^@rW3T&^;&b**A-DB!7HVu;(kPrqBXLl$9OmwFU zeq!$MyXXG%r7Z={oDN2jUB%KsA}!haL)Hy<5}4~p1AVQ$lvXWgyr45>Y%QMX!4ANw z<0s8Ct$hs&462yS_(=-29%bsgYTBN) zX;P3#MveqTPG`CWCVhpZI>)Od6T|Tn_DW-r{Ndq6oa6ii)ahJv=m9(oUTP6Kwa~P? zx0Sa%j14@OO@8)_|NW=aE_3%BX=iW4$}257*;?zZH$_!yTTj~%KWgpgpE8;kQgaVBic0=u-}F5bZ*XgtS98{&!zvH8%b}!xN>4w{?6dKa$b>MM zvC`6%Rm?fpRuP4CIDI>rouXYt;5vie+7UClbT-OQjWP^Bf{dDJo&~v3`Q2gG37GgX z1v$DioTn`_CFj}G6f21I@sBs_*B(hEnUn9B);x&$3O61TLv>L*SJ;y|pkY)XQw&A3 z=$%0A6M%7sK2hSiQjn(<jglna9M=0=teMiA$nlCIs|PI4 z|3?qotLxRP9#z2~?XAx`4sr;kWbfEVy5Oa_Da3AJRw1&T4j^ENv!3OX^-+=J3Tkh5 z?F8ytD$i(_Ze~Fob^ZraliE+)83lK{{2m3>Thl#x#V>l$Ke9NM7#RiKga|84Hi+vD zim_BV7wqo-Hb!Yp@_L4Npsw81Ul2WoIDF52)?>r)lS^mu`xH|hKmw3AN?QJKp}{33 zWF@bo#KTEhi@xiCU>*z(TpN9f`oVGQ1BI*c>28UgHgyF)PrvXM*QTR2U&g6om&Gg0 zd?Zd?cLfSLqCo0(s5qN#vFhk*S>q_+w+Z^q0W*M`Qa>ij6_+t8FWRX zbJg%T)uF0kO~Aj;X#MR@b*t`|1@DQx6UwCjLi-nZtWubKZ{s@x@5wJLo%P-@X>C21 zckM;tkLiVXC4p$q;bB()MtyqWV3o8hXYE6eXNe{;5eBIicVN39LRI!!K?NMrCx~Y> z>%WQQIHlI0kD!ob2iDECeZJ6-uu!Vn7OR7OaRpXe;vny;h_t`wQVI)#)}740HsH~# z#9vGIUa7PDpbfvqcmI_4b=LFKu*L}y`G8M znlEaU(I!r`03tW|D(Wt>oWHr5JAPw>S_<6YPUL$lY-qxOK}?S;TiS`e@r78R3GU9p z+`!nyEjf_T7Z@hB3)c)D`|jyN-P8WPH2sj`fYL7Tesyxn@N{hQ6c7EhcY0&fW+>78 z&1do7tQWH}khAn+ETk=qWBPIHL4*@c+bSh%B~HMRkCx?wg=L)lbOkgAVji|(+<4M< zU>w0m@*trUwPKxDRC0=5lju`D(iCn?K|ZjM}++>MY@P!Xy}Cvi++p1N#8SX`oeJ$&_$f{!oW6S=h-cE@{m5 z$MTG(*4J|E!U}8UwGCrJ7vOuDgKM5|Q14uKXp|>86U3Rf^Gdq$bCy3&FAvQ9h4%;Y zWP=LEig6fZu^1AeF(C=tD%H@x(oSNPbpEi9`N0hShi(Q|K||K&9+2?8V#Dmf-tFMjr28n(+@;O(H*0UT`75G8??(S7aC{)Gjglrj zy*Q{80CaTGe>{6fb;-q;BgDkBDYG~&k4{E#`!`M-vlVyeq=7w+1FXID`HyQO;hgjA zY3dBc3oc&hn69j~WQ?q&Gl<(-Ov%#pQ1Vt}0AvMOrse5FS2bX7qlkzjM;A&o0oQoEP^+Z>Z)X*oSQ2=B_Q{!sl)&4Zp|}OZelTD zk9sTULXO?K4-39vj{C#3HU~B@IqBX|i`q-0v=LT=gLKd-YeP>hoFIIYeNE(X{xEE@ z{y{IdrjGf&WWwVlDjP*zaiYMr18_8)b0Q!_s|v4&hu8`u3R1cs9Q3*=Rf|Kl3G>>| zSwqg~4E|BQ{i$Al0(-jxD9hMmpYXwy_fb|-s6K^90~iFiOs2*MC+d#WQYKAihXk&dq*8wG znzqjzR3mpx(9j^aW*))B8)oOc_B9>P`+lDmzkg1qwBQBXOWuKEw8AlfQ5)<_jmgI;d?s%!d0Awny zhARcG#B6#-zaha&A8N@sp$;I-NbD<2aI5xJv`Q#lT^l*bvbL(yYF@}RS9*~(OkP_# z$DG@k1eKb7(XzaT5$dD8$h+UzECj}EH5(?GB&TUY6hL54nz*#CLUKPgjsVGP&DAT-H9?=kY zl4a=!^t@eOXv}MQ1qtd=9|s;qU?pC#LM>1B8PbD;{;h@kmAlCx+`1b6VIl1h2+NJB zKXRNfQU>FwSlR9*4ePc=CDcku4|iXYxS(y`FV+m&OBc!J_ggJYQ)?Oq$2GmAj1H1H zW!2{hQNoQRll+MDj%lkaT9&|(EY*_ShR$A{wOJ@JW?I_Lx$JRI0l<(Fk2Au3^JM+` zAAX$8^C-$o_aQf{>Tw%wo2xvOY9W;WDNGIZoUv3@fOPY$`P4Z{xm2K<0b;n)V* zOtEUaQr>hc`W{p(q1Du`=T;11&M6ntW-|Xn)bFcSLeK`=(V^n+@e9>KZbZ2OZ6|*VrG!>DcYp4hWJEYmHEhC3e}cp&j0kf{ zocF*f7OSoa$dgqYRfa>Jcw<=#&Z(nXrJtXPf zyJPlK_xC%iZ-+0>DC*wm&-wE?tj+qsF!3EP{1?yXW7!=`3q5k2_) z678z7OF@>{+k=%qQC+=)30Y})ltdvja0+CbR;y8KQFQhmJ|v-&*KJ=z%8UPb_!@hb z;{glh*rO;R^_DUIvqN@49GlZCk?$YFTw@#@4pX2Xour8+@UUlf30<}~*|m{Ugcc;7 zT>S2-ySHOfjDNsj=EE|vos=h`0;}x_l{47)k@MIr2Ta?oD8Fp5bIH8ykA?MZ7Xtjq zV;EFBxHyS!FTw#!GBYzBnW;Ye!CkS`F32EOlYWlAb%ob^k*VnklQk{pmE3Yyk8QY} z>@auJ+vVK6{o#JDvn0khY{r|$dfT_geqE4jz45WO%FK#cj(=d=eMcHs)NL1<5;N)` z_U6r1z;MVNIMxo;x?S1B=?BII%Xt_A`DB{ER{++$Gq@@?MW@5>ry;8x=6&Sy4~m#= zjNx<2eU02qE?G0DlFa#}WjKUbUO@Y0Lsy)ojjZtp?%s(W4PB!|{eiKH2@R}*FRhU7 z(` z_F9dqYso_s`kY+J7JY1-t-d+ebuiJ#Vtd8CwF-a59pmJ&pwAvy>dp}($*r)QiVlsz zK7e9J7tV5)FHdR2WZ11^nHkHTMUqPWqk+NmiwOoQK|UEUk>l{Ko3;=o9Lx>Z4Xwg) zonTh5TL3l@9{hg&gW~{X^}g*w^7aa;F*?9DlgqqzXyg8wiv{I4Lsy2o1RrCjz%Oa6 z0_wHaMh+U)OoDBBvVYe;R9v$4aF~?O8oWqkX*M=w(mik5+2Z7vb-bd|)K(c-ACf&o z1X?erl$Po@n{{8!$15!DewB3+IU-rJ91;!N;^PPVM#)PgPNr@_U#OuyzYjQ7!JpfL zex>bTa3*RyAjZcp1;n#8oOeB4p>2=@N@iwf_D^*7b)Ur)NQEn)c$$tXhIU6R_uKZ+ z(mV!*Lu+LvF4l_XjEPfQTm^`iIh3I0!x*>#p40kxcAcoiO`eg#4?i1}B5GXPzC57$ ze)&=dCLl22W3I**Y}L@&oF}&{h{31%-68+^1^wR~<9|CoNaO#vq%nT$6`vfBRgweHm){QQ?M z{`H@=xpb3%e*52d4F2$c{!5+y!(jZCUA{6rZ7RDlEHbvzk55rw5K^9+NA-b|wmmoQ zBqW{xv;JY}#4N<4Ym;NuWIM8Pb!#1?Cj!M|2!X;{{`$Gr#+!f1r9{f{#Y;B=F#Ya9 z^4tb8ItuW8!gN}sp3b{jkDctZiaY)^-;-|D(qVXlXp&Edq+Ry4>Iy|ell{VCQnmT~ zVoKlKUoY?*RKw6*3cvee3jNcK`@hB_oSRkMbWFwQat}Y8ULPxma{sKg>BOJq8!8s> zDfl7WlHKNPH*?iuN-Lxn{MrLxQ;BXh?ooEl_`M4_|6JN3qJQ;Oz`d;hllWojgvd{7 z;*qBK&@?H9R)R5o9b59}Z!?s5lfz5+)x<}1OO=aRp7qoJgR(r|xQQmmK5D$cKUy6$ zw|%%0UH1Cqg@8yC!4l0E!~A*m2cKZz(NtpoGOiDNzpVjvoq~;u>OT?=S3c?`__?!< z=$)r2iyw;m++IiHbk6um88S?RD)%yw9vMm&352#APR(a^!qS2b{~S*6`)_x<{kdCJ zyzze=u&U!=9wZs|q%|XOGQ!t|>4g3B$jI&tlX>3xK$CIM*#$8TzGE;y{B=ci0m#c$Qk(C4vgE$4dmU^@|@y^pOky(}ZNLULg9L`yq(0_1!veV?^q2 z!}@5xDtynqA&DRAbrs5QMO;M-{sqL)rk41dpX7h=hss!SALJi`hM~0sw=o0nJG)ez z{#_CW=ti&p`_p8`Zc2`6GQ<4kkp~0*vR*UvlT*B^0gvm?qgaRk)0l_kE5^g$ASm-~ z{B3B0*n-$_Akxcu{WDjAQg-5l$Zvf>b9|c0K}SYGx^NfOczCF?>-BkQxbUh@Yth4k z*dG+twy%G7Uoe6fY3S2@YoLz*!C?Q2Hl+|pnPdYQh$|46TXOU1pQ->Thrz_*6MZ-&` zfe%$3Zz=YRctahj=H|>^J-;x z_tisJo*%#J%>#T>elfAhoXsK+w>F}yU%&nVwJ2gR8o*y*_4Ke3tzwU28va$N|N7gE zZ7-UWg!?ttqN|g`_-9{N1A$T;#^Xc5U+)6|+WFzP8i7Xi^?C)RI4s}}kuD(kXO;c5 zrq_>e;F+&BHtwr34%gUl!nh3uWbj z`+u@fUUGo^*{id_)n@JreoHOI(A9}*)CdL%n1lW}?xccmSbd7$ma*lgt0d_N)ThTn z;4nazGdZd1^3%Wp2wcJe6f+*6gvX}&jok*b&O{!9=T8NaqdTbZPHLVl2^Y%-7kzh{1xAT0*LG9Z$Ko@m1BKfpF9?Yj zHn=SQQVo$6qg8?(f-L0BF~suc(CG6RO@0&J1`EwLc*hDI`AG|^n6an5%HgxB+jLys zcmK0y{b?aeETK8+jfL_tB$tG4H<@9deq`ykjrYF5qh)0knGfEm|T^|K#wXk%Gf1HLPkS< ziXM3CLJ#!`1nTKgoUl_A=da?;vNNU-A2$zQy@o9t%vd(e$oL5 z4IOO2|xb}<9^E(ozVzyWGEVaee#(tQno~GI{ z3~~N8JM!|FhB?vgxwE;^LK?+s!H}~VcYFexxJxVg4R4DG4bIYrEKywV_!if)auKZMo-m?MB)MuKE|XY><6SZ{ zGKNHWTcUb4l!GUck8twS1KNIqWBnLp?nX7{3`*FDua<41R(9Jndy}qq?$adL{hL`L z|6F)}_}KTu_tA8!gyp39)?|+qE2I{h(h?3qH_As>w7za|#elX^#V5chsLKT-*udGS-SpI4|t|&`}i+Ku05>QXex8|nSgw049c}{En7M)J@xk37#-@Y z*Aq{^($`XFm{!xOU{|hi`#p_LhHSZ7<5=Ewh+bRTuwd-!GLxa;9sK4)n?dqPgUsqsU?jG%8uI{hb{ou z9@KqOXLT<+Uw*LBlEdONYOzl%-z7U(W1CjR{0r{C0huMR&_nsIpH7?Q|KU~^>_vay z3K)vE<5xGd&zaH{KN%V|-0~>Dzhk-(GKdf(s_G0BAvfn9} zDR|(NDRDX7V+jRiPqrm&NiErU-3hw|!s3?uoqGh`oB5YIN3;{=jT3voVX#h=8HVbU znhq5R*Q!_N`=i;`8YEOPxCt-5;`=fa@Ang3XBF+Woo3Ta<(g6Tnr_>=ViS9$cMC;_ z;sZj@vAR`SPB=#X#MJxr{1eNxkCNVgNz3OO9@g7m!VA=td$PO&gL6y{t}(dybC5N* z@Y4C%zKs@zjR`nvWm^mMq@0SAJ-h1froHwYIPik{#6=;IAVbpcYDuIQ#M_hfsMw@b z|BBPYp1Qp#;}yWj4#v;`QJrq6R|4KUx6LcJVzSlL^xya8dg4E97{S8anZtONWY9Q; zeE2eN91gNhJE8?hp))47wol1UeMW9dF%X84j>- z^L_5izL8ms{Mzi@6ub=Kn;{Ca2z6%g|GIvSjwc#tDTl(kU1U|0MEX*f!qig+^ghXu zRFBIP-8Wg++?~T;#SES(o03Km8`GW7r8(6_B!q$I4tUBM6tarqv6WB^j#}{r|LDg3 z;U~)VcF)Md1Ru$tz`TE+-_ZbZ0&FL_CU#u4pTI^D6kZ4-G5xN{Cn5&g5;_4h-Tbhe z9!L@V^!+W&SfkQNP4@m&pDua(NPN8VWSi~(Ue-*(k7no7Tb~Z?kvS=zZ99w|ogAv& zgpEg8Y{!c=Qoa_mB9?H6t+b3qOm{_7ThP;~iu5 zebevP-6N%Idy%3V$tE38?J5EJPq)W^*$?SxWxZEmKtfG}%j7O|L?)?RbX^=2k)YBk-!Q^}WI}+VqvkO66x7NO= zKY%$;Fu`yS5x|A!tCFV*0|u)w^;3#G5Reg_BRJ3ECPXMAl;^M!meRLCUhpmcasLj| zU?o1h<#ynQ)+Dgw0ud1H*cl6_i3e$i&YnJ|+6E=+|9%?!(-DWEIz7L*YbH9zsIp78 z2|F8ot_F@j*%M(LL0l2H;rz_=@)$@5w9!VPcEI8er0x>OrpFCg{v-HuD0qtzn4N+K zC(FAGG-iOtH>St+*hI-`OuYFr?nl)FAf{E3&{^P3&m2SqDTua7+w0WdrC{p;)oul z+r974bI!@fFC0-yqX)lDZcWFs39UEGzD^I29Ct-1uXzUD6p^X*)%r4t?oEjXqrqVh zfNT$%jf40$SW9@~A~%rgGNI!-xo_T$Ei}9e@NDnRm-K^Gn#4a^g~?WC*O0xZo-KkX z3Dr99(KU5Pm@ASOt;P2L*>-?#$nQsC=^6e}Blscbz`}T*FMeaJI;rRqFG*;xZ0^An zZkOW5$D^h0-p==$p94`ZJ}orhuog{z*unTWmxR*e26z~T3NWa zKS-KiSX5lT2%DAdZ-L!{z)C&+_K^bHC89~Z@7)!bQWFssJJPzLxaFVcsuFju`@}b^ zqjJOi{i`ke%EwPxU*(B@s;1wwE!93LZ*%YtiBZd=o$ID0{4jydu|(qdrPIg2pxzYr z8DCB6WWRjlfh|+soXGO)gKgG~=*)@~gS5t~+=W95Dd=G?X&aOlFV3Ed*JwZc^f=+l zjjz{UAbb=3e&cn&u)MVoH#0x#EjK{lRhR$6(jjB`(|y5$i+^i^eQa5F!{3a#>p-E0 z=R1S{_~`9M`rq$<9cIvSAY8)=g<~8F)*2d%?HiY}Ry|aHbF!kS z(COQ6)_h%RA9c5Dnr`7tn)~uY_EYQHBken-@$}_i0=%iZLN`DEvGH5_56r&4DTu#K+F-QL^sQ}(%(Ot{b;Q}XpHwr> zyep?%U%R}j2L17^Km1CWx3RYrQKSEm%dUxUPMEZwbL=m1MZddnx6SoHm~&iq?|#5~ z9>1~UTOBs~f}^?rndDw!gIkK718j1JfcXsNrHwDzsMEa4z>iJ1U>w?{KEM-UmmX3} z5=_|NUNHV)%l_wgLwicxKYHi)K{_IPV(X@Vr&xsZZhvGcxE-`~YV{w-=tp8^7GhQr z{e2eV<1gRdarOA>A13k?tM~7}WAs*X%H^Y?Q@?_tI`Vb<#yfHm%Ov*b;xFqAQ|6wU zcCA79?>=mmlJWy=e~{4+RhGv6jypsb!w`|bWY)J`YQZT-B=SQJUuyoo<4lOZ&31X~ zHvQ{%9{I_h{Vn^BhVI;d+(n%zrOP`Ujs1}=mg&sdZ|093`+C)&{U9XwL^9OU5TL^XmXZ=3V$yn6+c2(HpntJh*QJYYXEy`iJ;i`#qL9~D4 zz5e~sdKB%ubrEZ`5*4FE@ADGBs(030K7P|i9KRPizfgw%KkU6{SX1fRHcSaks-U8x z1Ox#KAYE!ebbvtwbrg{jq>5BUKnNrOR79jBC@mHgl@jTl(4X2{kS=!j}nd(9$vYge|?v zB!9CrH-#mhjZJ{Nc6r=#DDS5;xIB9tTdzz?!&L! z{QJi_`kCeN!efi`BBL7Jf^BS@kI${MFDtt79tl0=L0QcTnJxWZT0Jo^MG%NWsKzmba!!*k;}{)kaI}7p~$UL9g(eLx?Eoxk~Fxl>HfIY@=;`jTTe`r%}utE(wl~r zf-kZ{x5P$*c|`|DuDiis`dfeXGpH5KD#7XhzD1eEvh8=;9p=nkQU`J@y-6a4I$yTT zshM%-YMj#_K;c)y;aXp_|M-xa5v>Y2bY#Yo;~7hv`?|S_X`mV-W{Tw~mfx2(aP&q4myjIH707TO+gzm=tr2jw8{P%^9R{rQK zZWTkhfAl85I^gdeT@ERVpMJN;oa@IAqgF+K>glts=v}8+6Aa(6sf{Rte!Sw>8;mYu zEMR3Gk9W44wgz@S{ptJvy8eH^^zS$4*UP?N>n*y2;a}GFS0jtw;{AQ$|2H300x$U9 z!~Y(B{v3IJqCWT|EdBA5+@k0$VzSvq2x_SII%eoEn*?mZeVRjAtl@py2Nn?t&HKkK zUenL~yUX^FcuNA>-@ZecdqDG`9)DRqumxw}1*0vJXW&!5LWO4pcu%< zTW+dkpI=;KcSX=Witr4MIRi*|@?jW zXy|L;J9^f8X|9l=9{IyQ-xjAiGb}2zgOx@#D zO%Um4VM*&!52Z5Zrhico=@#{8CEB|CFS_jwEKu80i;rU3KQ z$O^7BL}aHPWx8~y+L}NtX4l#O6zTrRi10$!H1Agm0g236OS1M{x#N<#qgU;M3$-Y? z7+&xmON@&>>>$ASDmgbQ8r;sfs%M3LX@~g<2&$uDxEBWD9T%aeKaT};*UU}eCfu=C zxxTF`WSZu!-h=_JE2yEg&67Vo&FMH?#&mFxjb+fOX$Y+;pFT7c;@d9hrEU%(728@v zYN4+et@hPI2fp6=quk6PiTFVC;5!Tc%Tn@gZ~(f?-tH}EahhmZ58?xhZg(_g?_<2$$T2D~;vVOAYq8Iz zN)-}d9n5p42Lye5-6Pp&x;ffE>NLKZLA5ILvYk2xA9~y7B0o73E^EiNT;eLc0GLQD*tS(%xFB}r|@jxkaRoYl47h0xw42IM{ z*m@j%%m`TsEpZqa3^5q=+y8N1A65fPb-jxAEYeNi*&?RcnD(>3N9&zdTs&%LIDVVp zaiIS)JlYAi)>t#%J;>E>a&r3mwC~hyvDMBGi7X`l9=q@a&%Q;DOytc8v}WKP_`++` zj^3lD%h#KInlb4OL)=^`M9;9w&i-_-Q{=TEAt2SxGeLoxj{X7yEdL4 zgPL_MBWl?wA*9XAoy`~zRh9gTu6(z1T~dCw`s3`1UbHB>TZh0~>vj0<{hgKO2Muxw z*86_6VKzNX(F&B`4PHKf8|+H2iNiWl%1^Priuf`4ceEz|xu$wJYEOcMZ25@Y9d!sl zRZ_Pr%*PFSYxO8QRNcwi1M3jJ&)21E_#j>ga)_Kb-7I4u63p6ADyVSXL*St15z>%z z=*HU`@BuGF+N$0voR+zZd+7Y>TVeda46>c$-X)0-e<8h!X}tkU7c@BR5lfC*>l0P9 z@tEtbYWKPbF39(`>YtW%UJQ471llMR-tVPZT3jqm+J)u!YZ+JfWEM;ds7d`4eJX&l zcwvLe1uk{JWq&xh(vOhb&v8gFv<^(iC;JgOiG@~Ja>nMu#!5;$khD?6PW0FMD2uA#Yll&9m8!zdtyCRx&{(F)~!_m zp>-chM>Jd%5z*)mp$VXhyM;UwXNj4nalT$7#m6-LakU|do_#U=KH#jwvg*#ZxNA-8 z8)(`5-3cXl1Oje!3A0-9)y_2+y8czT>f8zDorVIyM?P5A8ak)y`0L37~4mk_m~W-mb!g zo#b zv|s^UU+oS#a#@&nW4^PjzUZ94*>dC;9wT$rH0Y>@OK0w~AY>^@)K$v%E9@|y z;&BR8pOLG0-Z_p0_jg;&0Hxr$W=s>oPntwa8C7JBvLQteVQC2MQTMYO>ZhM>ofDWJ zt#*!j?ug4yN=bSOmi{a?NRp2Vq8EO?5{JBYUGs>3K$NZGtibBg5qU!d0+bz5jlel| z5Ly_kLsub75$=(A6sY8)pamCfSYm3R4_)eh-2l&0PO3V;DF3U=G^x?oAI@_ZiOoy` zMPl3u55`*To8HB%*Q=MB^#r!o8YbN5$h2!YWxxV|DfzK*g?~HvHbk+vi?<1ka;9|f zY&*hqY?+I5*d_0h^+d<2c@ZD5({>AJmJ4rr4mjC66zpZa?6`OOx_(&mVuW|W1e5j| zK(Wfi+iB)uEeX}GaJ{1B`(3OMl~K^!6i(e& zOuxr;gU+n#^|3`JVuBNf9Yi22TY(h#mDhHd;yZrv$Y<6Hl&~1ZQFukRBvq>5p&~ZK ze>o9UNEbKep1V>0@&L}8np9-t$V`1X@d6ux39;(8hDSTV))HSlfnuF%n48)w)Z%Vk zlj}DAYi~@#MB(9_d(Dv&kx!fo($4QbH71lvY0(6&b*z&KB`gq$*$78R?jtx6vOzN9 zd@$z2?soJ1G=%P(d6``YI*e8WPfkMN6HI z#R%Y^A$f!jfA5fsXftrb9^74(x%vlD%hw$R4myh*r0j@iCCxVx7(o5lIIfUihuc85uvBu?}bMUmlSRwF$b=$cR**;z# zDRWW?u`dc$-Qr+Efk0zlgQ=eAY>{vx=5?8R!m-tsAWfNx0I9ah+AE>|(f>=wMJP(; zT+LU_LH!H{i$kA$nJer+dOazkuB zLYf=Qzq)iVC*Velq;tBBDNY)vCGf%I@xD?42WoMXl@(wLj<7Yuj~oWii(!ZSB=YPi z1SHdn6%!+^zaIS9L(ycU*mwHxoo;-KJF^&IA?~6!~6jb2aH|+JrrD z`0g7XG?tdAz~jP)z!a3C(V^`Mr08QG@GHXn|!t%!QVPw&*1ky>@iT*xyUJWx>@A?a_!e4#T%5u z#O6Zh_A&v3`!Be{`rYag!S#>n52Tmr9U0nKPMW$jT)$SeqF&r8VEEHA#%EHOl^k^_ z)2T5|k`k8kpejUM3GIELpCIe}H95!B4#=jb!{|zf*lKO2-5|jiTT0gH7TxQMCm!DO zL6tXeDG}ZfE!9dzA=@VnYi_ga)S=mhlWt>q7`O4*c+jKG$BEPBty?Se@d!In9Jn=| zpIcxOPGM$J5^dc(u2t#fMO+_I(qc~n_t<@lhwYV_=dda9Eb$Rs>zU7zo1i0!^MUg> z*v=Y#7rbyMAr-j3mA%_kJbWL%_6)4Q25sx3!`c`z@YtmLmlz{&jgBi1G;<2$?&vFS%3js=!WM^-69=mbi~i0T z$e4_Hq0DxNJH`{fT;gw@{3e7)#0J7sSrMv-oOacHbBI0Nn?Nn7uXV>DJg2@zH^L*& zqOkZxbImsUBX`MB>4&BZqpaDJ4u6uz9KVD{B}H22D+mh_ZfbsJY|M9=H@Brox8lw( zzdlDh)x?|sGWfZ`?hm-@zlAGFeAo;AMZU!d)9Z)pDvL7>gwx}v>(D?yYR#Zw*sL|Q zxclO;T^E7Pk~wybiwW4fIMv#Hd(!uruKuEIGIWr1vaJ<95-vNCFWb z#7>8AX^-49e)Yn(d?Yhq_VZJhfyYn z2EfjX>rSU0@T?8y&PVASU4&b)kwDiRB#15aFloXVS+0>y!u~6#j&lw3+|R-?fE-lJ zR5En$d#oa1gjZO|w|zJC{@S^U%%I7YSlP`rjsqq_=Nn>!j={fPQNG!2&=$w<^+JI+ z_+tJ%?eLq4b@x4^QK*k9XQDfxZ#STn?i7kQvD71S9Xy2u%XhJ{SYmx{m>DI0Jg& z^dO`Es6NZ$k>*Zw>R1vcz|H)ZX}x+Us#n7>y{ZlLC?$WUlyiNF z+Fhf1DwZ?IustMW>j0jpnDmsTZNmiC%8mDR{Ya0PR#Q_ux~#LQFCw^IwOC4gkW20x z{(C|CtAFjC+2i5aIjf)8psF9eNPRh@AQd5xW>L}Lg=-!npdoSlGYyi4oN0j@w|Lms z67@eH-fBNkdbpZsPdzvLx=r-iw``7uTud(V@4UWIgkpH)pn~1*gvaYYWPR?96MSgW zu)o={<#6ix(i-@<)-)nML0`M_E5xfi>PDl*)$px@PNhS>ZK8cbzh?J@2y#qN7*FzU zId)1ylsjv0?OpaHsfYDvYVeurHKH~NA6^tlva?LgSfi3BjJIMN|~l-#66p%4sGA$k!? z7ieSJ^G6e#rr`DSH_E)mmqLaa8z+~)J$BUAPV~y!9-f1`?in;f z*1Oj#q~g%eT?D5G`9_U%kwc^UZ_vh@^lGT8&kdJ|>j8b{NaLDn_X(Om*+lA*Ur76_ zobCU?+r5*)D@J2PAOJGNler#`b+e5Tz3L#u&^-w2xKaVYFid>+6?QF$IZkcxppF%0 z1aF;U?Y;dc6u;E(M|gfuyP$!?U8R6}(TBrjU0$Ly`m0N*nA6qcTR9$eJM(4CF@=&H zNfzD7uaVYe-}<>5}i8@zi?U+=jXS^?m?zxp{X=`>9E-S%Dg5*thJOWj^0}1 zwgMZWI244OuRfhMzx!JuvKtcIcJ3ozn*ts_+_|gz<=DlT{p&3ptT)OuE{rhVxr<;< z9WyEKEFkSOkwcOqMt2@ZhS&-C^*DoYz;E3vJT#Sg1+h^e&*WY}5HK3mhg%k1AP3*qzK^#

{XK-%27uoD}qVn6y zPq}KxShkguW+Uu>zKnXCH#*5{GAR1C&=>{*JV>jO6Ei4|JQAO66}981p0N;t-=C?a zaA`{tf~oaam&E*Jh&fe`S*yTvdfhLiS&%QzN5SFuzriDYIj(5`#HOnc3O_6E8_j`! z*?B~jS|+-j#1sPP+7Bd!2!GxLZezK8+VtbB`Qvr$T5!d)$gL8w)fRe`cttt*i#Bgf z!WZoWJnV-=5>whs>u^xH6Rek-xZ1>|S1j{v+^}WRD0%A8{bR!7E8$9%!&H_3Y_Z=O zN~E2Ct@c?z0W0?>3;&w^eKXHx+eDbv*Y1U7-sVR(x8<9~XgU%SWck7q4n?FNjs#ewbYpW2cwr7M4Fq`tC)1WUHe;lV%3%F(cag7uD(FuXsdI*&jKwNWcSKdt#w5GA@up5f@F{RziEY@ zt%2XW&I@%|MXS8WqA&jSmhal4o$H1Pb!JG_$0sp=F5JFhi~swMZQ3l59*6wpfBw6z z0eZ~;;o011%_*2}N!|9HPxB)T4y#2=wxj=?C-j*AH-Gz|HpxG2lK?)w?m0%6j$s~K;{k7H;b!NIEt4en@1 zJovK^lN`UC$Q(r|h^^R^t3}2c>0+^5SZW6NK(dW{dRaEzcE|x;B7F)U#}T$dwYz)g z4j;JxaFRw>(P#_grvCwk-bQI{mCU^GqNd=MsQKxA;}~(ROK^Kk&V@1vfy-|Zc!ToN zCHj-?@qp#-tNVgyPHeea`zThE`+2Mh>FtG=v(u7|t{xqIafq%AdY3|paN;SI|M?xw z!rUK4QR=%}htJBVX1+V2I8oJ9O{scQ-~Bw`u=3cFI^1bpeAUi^3m@aC<4!D4{egw^ zUvO6*(u95)qozBKaL8~-gEA>yopT&wStrFnE@VCO{;DJaw)7KSHR?QfD*1FK`?he| zz^a@$VhsVpF^9%;OVmA?A{w3*rL#K2NEL&-rChJq8`6j>4(a6vl-7l+jV?)oK8Fmu z^<7T1paxGvJG>&Ii%pje^bhg~Ee94;v4%#U1u1QjLYHLDt#(ghZ%9AVJ54=Pl>|UC zi}FU&iJ9eJU8;V8yj(Y&dcFPOnEx?waF>q%Nb$_|9f`<7?0X{_vim;cS2}AM)*}O< zanRR)@Mr!D)=VIr#3>sJy4=oI-%&jij;#BdAX3{mx3FrlF2N7EXG7kG!aGkg*PZ9y zWM>v(N;q^SCfr1f^|<||ZdUb8z=m+Wi3eVi<4VmB24Xd$g4m}dPROlr&7&&UOY`ap z8g_6stHI3dRt7gx%Ia!TOcHn%hj=7Pw7zvU-8b6y1DJUTet3%@B<$yL1<1|2>IDqq|%1q{II777X36s-MBb zEXKcjDA-xsW4~XFm37nAl`dm)NJ43?D?DPjM9oGK`Qig%Iedn5?u`(QZV z%s$XKAbPqy)K>aup}GLrXZ*F(0(QPwb`Uyk38o)+uq}*yey3^hKF^~JmU@^`@8q_& zsF#_-jhm7-0a*5vdP_^vaVx^Ry4cgRv9JkGhK_fERX_{R zJe8Yj`lX4D`>E0)PA#6eT&?hByAo3Fr-??d?H66kek1Yz@AvXy=VUIPx&K)ZyNf&> zMOG-8_YPrxtzlCnt8kvwWN5e1C9=j{PjpqNYwn9tqBZ-TCkGU7*=@9I&R}o;;m-f} z)F$s_=ym(sUnuC|H&=h^s!>%de+1}~kOBg|w!B9{mb=q8!_&BX*g$9ForLVDeMNKe zju_9BTX>4pN_CS$$vQQ1-jg3Wf3drkvAs4!d);E|lya-zmk$zp#JTUH&{9C6mRwG; zeQ9^qPwKM19@W$AOnXF5D2p<~xidQSMmNpA9FOJ2*J|*TOWj+Zsys4zzpx?D&YDpi z*f^MHL1$kHWZ5FVbFFb22Om5`YUd!bn<(4B#=_;wN;DY9w-Hy_K-5h=dm@I3De00h zIYxxe8SxYl11^|!DdP8AMP8`LR!ZSo)C-2kOtDac<+^)KDQj7e;^Ik>M30r}Q&?&~f5;&H94KG(Xe zt5*1}3hi-WOP6*kdjP?aiEF=01XL9Zpb`MZRfj@@c6^RTKQlvwjOV+x8-!4YP&e#? z=w?Mzii*Q;4xYxs{PUl(wrbUy63Z~1d<#WIwuR9hWtj15+K$+qAOTv8xe|K>8?gEH z%a&_2m-xLphKKp(%ZUfH?!F6j>yz0SDs=WYBfzbw+ve!5QZTh|u}*9yjjvU8=fvfqN@2lH*+2Xn0)QyN-zSso8slhffD51@ne z$!X%~fjU9s?JLnAsLO+B^ul=mX!Q-|T(O6T67bH5V)w>x=uN4;oLonh%FL_8W$!#=wkGtn8-4_PS(Y9& zKatJ0cu+X=wD-Puj`vU$M2*DDsqPz7vIh;Zr-Eir?C59^yo#D- zGJ6v|l|sRCMU1CBzg10tPB-LA!EBNuF{w9$NQ=%0cjs@7_QMcNqr$AnD4N^&WN-+x zrgJxpREBZhsBt!bPE>&PDwGs@^tLQ_pAyu=d^r?Amhyk!Y?+F4XOsjgN*!X38g)+b zBMMB1pM0&#saSKQj=ni4i22w?YiH_uq%MN3L=)8Ri&X>7DW)L;J; zQ;dG=J3m(8(oDi;?@-c%d!2mi``>fgXiNwBPHfMQzKLOnSeS3CvF$7%ar$Y&6e5w9 z;^rluD&2FxT>&#@6Er;Qe=Gx?;rI4{hFAJ9x?-3y_<04^pKySr%*+q8j-A8>tn!Y7 z8-@&9j+%Vx0>NK=#)|&ZCdl&$v9mP!7RrQsGQ4oVvqn;SHD??np4A&Zl%`e$Q^UN6 zQ6!b^q{LG3>16O&daC~Oo1=RG=0)YM929(HEV!@J|Gm~PYde)c0>tg6UfkUGDnqYo zn1sEM3(MwK*d?6488NsPUNF?n|C63yTi)C-3g?<~eXY!7VTi;lgDMman{|Qct3#e74Ewct4wEwDDh82*x1HIFL7&tui zsc&un)z(jkuYVRa&YnyTyh=CKjs?@Y46874v)GGqad%+SFJzk=MHr0=C7;Y+ZAZC1N0pP@+Bfykxy&8g?Gp zZx&A=$mk2*KX+SRC?*_P5h34Gt{vul z7;nRBoSzOMg^gv8joT~7s5$iCtm?mw=UP1WD>-{rO!rn&1<43fh#3g--Yg}F_$ef@ zY%in_n{*3q?lG_x_fC|2Vax_HNh<2n>GK#VZrfZL*RGiNA@Z!I-J6MbAv5U9-plp$ z(2a)47xAx`QoA^QGq7%YRdn~eOkG%NZ3vZ9M55(Tz>@>T^O{(E;*7a&>$MSc2 z^}oRZf2AxK%yp-E?^CpK!uHo)egoB|{}Rs9;w%bH)owa>9&===il8u8TEI2(=3sYi z<*N#;kU?eZLB5>e3btKW>^8}m?6d9v>)gySAmO_7Z48V>b zOX~}PezModGcvl)2IAqDR%a0w;9h)ldx)|&_mJTF%(*=!%{)f8KmYx<30spOW0#Rx zY7*$N(s>Izw1Bi8Fv7K#GK}1mhERm*((r>W=MNPzh(adJvBmxoQ@Ez6Lflti`K9~N$Yo^v<7To<9tW+FkGS65Ryc6yBA2DTQnkKxO0C8_Y){@%V!gt@Z zU~5YPfcXT~Yl0YqaL(tiYkl^JNF09g1ImtqG+n-4H!ip-WlWIWL$j|ozpnp9@Y>s> z`ZQl^TZ-!9;h`>m zb{^q^_km+v{cdGkJoyoj?syd5;D~Whg&(IJ#NsD<6zl&j$|i%^aomOnniud?{LL9+K2CFiE}fEZ25ouu*5@v-?)rRT{{6Bex2O zx95??M_6q@H{xgXkFfLbrxb&@-^mK4mGaZh@CZrFb6AbqQpl4fapmmAbd_^SKXu$J7{U@(d_ZGx&OJi}rDuE-) zOJ*GgIH5hoEVYR9Iu&$E8RBM2uYvxd(A%u$PqX=TL9~r*;9=YCS=kQJz;Ef-CDQLT z;EpaIQXts~){_x#Z6b4dm>OrGI6gbzWicf9u}Z>XEO<7l$(sA<-r$JhI#nM6)TnFv z)i{J7YaRtvEX;oi9x|^&(>#&TW(NJapWbB6Wf^G_o5aOOlDRfM6j`E-Bx(VZNj73twqG1$0z|}2A`CZ})r4g%<2sf`y^7r3TYU_8Mdg)^ z=)hZ`)YO`z54-2n8RSISDaiVl*bz0)`pa90do#NMyoyWUw1kNT3xz&2XWh}dTdLy= zl=dpne)3F}dPciKMbmi-ZN8IVW86uB(#I_j{PCvQa{hL!muaXnzdLwR^WZLzSxd5GdOZp^>d? z-5iFac+_fd0%X|fQ^4{i>!2ZtDMlG$6sRRF(~#G8-gpnc*`k;~fdozpCLrIK>cSNa z6{wa~^a&unO=WIZSRqDr{om^{ww1WrQ1kMorg<|NVCOJ|Lag{2|Hea+{avGw=%6yA zo`b#z_i&iVNdFw{Q%yG0tu^zO;Cugouv801u_Hn%=)<24Q96ALkJx^U_?EVbQJ2)+ zewF)_ZL-lt{5(_?bAkJvHbvHH-14Pzv(l=$en>qg$iV8=gdeUVg`UT`$i4U&uibAr zQ8V95Y>iC~WfF^kN}ghdzkSFfKpIW+X*%aAo0D75g zV=^LbZ_U;)w>UQP4FwBL)r4$5K~M(Fp!*BdZNsHY)`e^@xhpH{8GdCQ8t&eeeF`PY zn^f1Mtk>)LpX^Aig@PWf&Yei>1lLkf@9SNG;*ZF~w4r&9krVb^BZa?}v!;po1k>6Z zAmGwZ7*!gQ*lx;%Yyi`t!*4tWY2C{v-aMj7#5hx?THr1_ecfvtHKQu+7gi6`$cir* z%T9@AFeq(SAcHF_(934^S>WeEY|vIWJG>49c|3(XaSy?uOIO3jxQnpEMnF~N#uFD5 z#(W2*$iAq>LwEbrSGhW<3a2N4v@LTUiGt1?HD)*=N_+FHHK={X?-BQiR^$({P+|ev z+6%60&6sT;>7Op1$&t>akso$*1mI56+;=AyE<#WK6@xg$b|S(;^wl-E@^iPrj|cWQ ziizZvdW_x7&xDuQCSEv+iSg-c5j38ov^uP9h;_>645l(+bAeQAYZ^f7T#YE761tX0 zF{GSF`JYpceW<-Bj_=&8U?_(IjVkoZvyR};3$8bd~o=iCn?ux27d}<-c2nl|dO*;sL+^p?S;%vNrcY5kVO%8jxxfQry zm;HrI3{{0lkk7o9fru8;J~Wi#Wd&87=l z=7$UgS|#~96DIi_UH1vhknz00kKhXd^T~$aaJHengb8)nF}#_MDYxw3Nd+vyfEgP-dqwh)G+iw9W~2?qwOp$LU;+` z1K#DzSWoCqFw_ATE(Tya#X9TdwjVC0-K;KovfCnsKuo*}-FSGY5q2lS<>xB0PY8|r zS4yJVD+y!X`R6R3^zS0wWWr-XP$SysC-zxcr3DmRYYQ8Pem=9Mbw<(5EGi5yieuM z=Cc{5@I5nAWcjG$1vUfW-EQ^QDSOS3EVn^->^3hQSZBQSH#>pJL|Cpj=?Y62-`@k2 zK)(kSQ5DuBEzLS=zrp~w_Lw1!?+A;$Lj^Fl{mmR(*K>A_hCw?(kBUVY#=C}{OiSJ0Dq zo7>@2+~<$z^U&(NMh@|?9n!lQJDVUH%z3UmHhY4(`m_|`O0W9}P(mO|Ma;@rM0K@& zDFo8SyCJT6g1I4+$QibLIv;kDIl^W`o+swo!oW5#j1IvBnU%qn=;>ISq)OYkNhY`V zV>kne^=S4$zaHG6;1o4$0HX0R7E7#iKB z`lS)V^%?Q00t-|eEAyt;Z5v634WH!$>doy~$_}y6Zu7B{zZUkr^$t-q_5mKL>;Cvk&9E84s-CSMLATJpSurHfIyFG7wo{Ed&G^oO=5J2B+Il z0M@qS(fH0Y^QEJ5ctGnI!uK60nMh2QY=sFjNNepD#`&L4!sK^JS0NF>NW7l#!*|-{UV8c9)!0c40`C<*EoE}7 z+*wMZLOOAqy&5t$@AYa=jF?9upPy%TXowj(BS1BzSyk*bbynK>36)(WPU?23m zm`u$3?)_~(I>vMS#}V;Q>taf`vJPl_kjk^a$2Cz2K0`34)%6QD<+x8siNn+&9E&^?b^!%o=Z-m3Qjz3gw^yzxXQ z1%>_*2TXKNXtN$^ESB6IQQ>E!P;Gzfl6ia`%wu>xt8CB8Q&mVsOW{g=mvkrkXAfR@ zfv^Nn<2!K*9`IP9Y%89R(r6|O-Hu3w)2YMv$825bm83SpH>??5%mF`-yqo?#dMpWn zSj9gC@8Mv;;c*CNT9?_Jmrxvw0sf-C&}L1x+0Ddi<3?OJM~j^DW*qNU-aJj2Ynf<_f`MQs{rCesX&an<4>^{!b;$1epWb1M*q~4ePK;r_Sb{5`ol+0ys`TqBn?RT zaN|K&1+B=j5;Z!D23;9*vSb6JMc?79?JJR<^@>;7&ISec8xB@X0^FFEh3_WotYg7p z3*1RNtUvKZgxkLWCpGo;dJ(xmV7de(EZM7Pk2w+ov_Jh>KZin#BQJ=h2g5M70KASL z<8Iy=t*Q%rAu>ivJVioEH?Nd>#$>nI&d|{4zzIgOE&LwJt=>wflacE=EfqME9EGon zSPdt$7;KU=l-_sFj4G5Xa2rd7&a6ZcrewaI?+5g{QgAxg$VO5P2Ko^2@EAQgBaM%W zFJxmzc_kHZ%!d;qW+Jt@IQ26O8kD*PDKQKxSGi?;?j|9dcS5Xd0XMJUbFQIJ7sb1% zJ!esW>ek9_A8-6Y3ONNy?@61{grR4SD%^&rR}pW#E``74E+<}GaU(wuW-L<}x{373 z1kRO!{^&TP;YZNHdDGu}yZ`1W69#fpwig$&Q@=rs#0!|p@xHY6&H41_MV+7bo>>0& zr1x@|JYZt0Q@#OM8)B{rzH8b+7SIh6om^_FR=bAZq-m zW{H1i48YNR7s1Zuf>F1xLrS+j$^`Q+(I3F-$%f{#V^NHd9ywq*q(GkX>1QM#4pHv5 z*yofoqQZwB?)KZ1@GS7;;tPL(&|3w}bNc&CKz=a-c})M*M-?FqrX~-jyr)x45tEv> z`G|up_cX)@S4A1P48P>R-!8i-?A?^?tZb`~Vf0V5Z)mT@UdVfGhTn-k^DfD|#hI1l zT{7`Z!j5Qo;%XI@n*qxc?VyHBPAsmOpMXfq!>S!+fmmIG(@sg2%_^BIZU^^e1h7k zkHhY2aMk9N9q27C3VHL?5K-~5(?%T5CM~F;IVG#V9yjxdaB!-AUL$pS1>U5f_V5T+ zLlJqx;0DNb_x(;&q%oRrSX~ha%+=q(J3@y_0*lh=$)>ist_t7f1bV{__IsqR2OrmC z+Y><-Zfb+SkIke)5s5%!q7YMjm99{YXY=iy5lKAD^RV}pDlqj56!SpowjMVjna(b) z@I6ZOH?=yR!Jp0CZTKQ$hJn))B$_`wJ>hw(JQf%`{g@Te%4E<4ie|nX^>6=%@!vR$ z+ezGovmW%PoB*^iw9e&w+p&n6aOwocNVBz?B9UC8^5-*eas>kB2f(MOM)t@(tiDGi z_AhT8F}MWM)jp%3AM|(+|E0EkrWJysGxQCowx90d<%<9)A=fn z+2ek?JU}?{z4iW0`4tDMmqY#<4I)O~jDqlcYZkK?)gZ1J)@LZZ?-2`t5Q$d;c7 z_)L6-kboFuV$6sBWaimdj!TOFgE_BNk&>+wKxf4nA(Fc1)?0I^3M6U$EP?5X(>G`2 zs!G?&;a9Rgz!Q+Ijl|*Gtt|pdTnJS};YI1Ay}}3e?l5wfXGuE2z;XNU)~?kjXnwyG zXc04lB?9jP2WM;CPqdHfshgl=Q6E+!w$#0NabR8KxAOLP^`7s?0RNw5q5X*`3;g3@Wd0ExYSgpU3ZI@16DPdBS;ebg7NyWD;7o3;hr3Y;-(DQL#E3p->I^SRJpF!Zot_D11JI^O-nt=!?R@z1c|D4l%`=5ih6}>S2{U?N=Jt0K^-h z6A5;b4(kRL0}YIk68FwjHTR`UTI^f`s_dM6A5AAc$?jh2RhugS-)l4<0S~uTc4^71 z>F9ZBxO^$3y4Wo-&|_G+>K8*BI!R$Fa$`=j^5$o>3g8T4c7R!}fh$nLd-qF<_3N|k zW~Qc5wjU;UqQM$ns-sk+YpZqabF5T!{I@WaLm@2=v~Ln{-3qgPg$18H#)h`McaLxm z0c6%Edk4`_@2h|=M9R7wqYmy;R$KM_SH(b=j_DJY&%aUW-`ukB-d213eO353HN?(i z4E6jU9nf(y79R82-r~R&LI_fCp%u$VT?k&zRq3>H&2&pSpAfts_VsjCQrF|z_5{3A`ON;YPx^PR@0tdwyemA>2=rlA*7E6khpT@^_y$6Y-px`|U7ZHD(X_O5Lmc*+A9X zz3y`beQ%#zibLHI?w@cNW45do1?}gP8kvqkTZn91YsWWc$nwa29vd&ML{nD))+HjR zU_F=kJSAD@V&uB%>(^Lvvsk`)=4l*YwhQA`Wy1kCeJ^$Q#x;c@LEOTUdO$nh>8G5Jrxu85Mn>)E zqF+t^CHAMQA$|n6tI8MRw2qO_UT1Tfi$!>FE)_)NVK+L)0)3Z94nm8lFXu&8+6$(e z=QCyZt+Jm3ZvT4xS0$OoEik~54WE$YiavBB<;nKSX3ps5zuMHmhKFW7kUsg5{^+7q zLMi*8Eu!;@Iu&mN;B1=1E0Yo8>an_8&$c&q<`c78>%rPhn*^-lg0AwYjKM*(npv#e zf00`$(Rav16i7j+i3N9>nYQJMH9_W9Oj^E$#jg0baXL3Ix%!X51gn0T{zOeq-8*mN z2+*L&iU};NL@lTC19!dvd&DU$FKDjiO|ZB|9l=hxmF><<3n>en14I@sseM+Aj5#uYveLmasaiCN31xKKN^+ zXk{|(+n6wH40e1uGm4+4|9sX`W;7hPN{>kUMj~?|^_i!oc~=hSzZVQdHW1a69r}&a zEX2|ddCz?VU9Li;jcS!=bNt_5)0W!joCH1pU+ike0(JmE*XYL2V zTfI~F=jy?_O@9bF_4{BIX)uQ-k~V<=H4TawTMti5%sd*M^<+KDOzpLMipLh%CRQ!`8s#^jX#$=Y5Ht{|Rf z>>CGaU4ikP0u+Cqjqo;+oY=B_hbCxo6nzJFKfhLL#E9C0v2BvpPM>DcbCyVbOR}M& z1)pV!bNfEu1%#~ww!gdSwM=R~RlqIfbiBBPY062pjk&HO_v>`vZ?I)a%}0fn(j5A} z!_EJua^&K9Onx$pm2ab>8ChHxQ2sJ|oz~e!1;V*nX63s2#!@bB=*?9cT^l&242x@e zE34L5j$>3G@0hTN>dODCBcK)-DlX~PxMX}vH1fgoA{SYnJ)4_85$_wc`0^gS_*fMp z$9hDsPEeq#9B3==aGhUzBx7nqEH#u_;pV*)Z@QCdRF#cLefUTz!s$bx&;ksikM`+nxh+Gzr3gQ z$}MVyjO=wu;BTmGBum^5)igM@lmsc>yDGw~tjJpWNl$q7Dd=%k2yjN{Z8z(}W|%Ko z&}l5J!WRCx2$%21G1y9Js@MU@6c8?Z&+3y7$Ar@9#GkhL*x@!;xjKkBXc(1 zY%9=8)WIC@8KC!wvDYY{ir)qVoB&`qZmI6$RRv>*lXm6z2!|XLPRncokc&@Wk!$Df z7creESc+AJ!y9_u+Rb)F_5T9Z>DnB%19Xs?jzIG&_4j}ZO=K|<+r``3V|nH&;Fe#( zh3lTqJdiNq*LW#GiR9qv___B?!g1j}{$<^!NC}H4GbR&#n_(!H`pawgw8RbXN%ruK zZ8Q{#KTd|a0(?>D9g~^>nEAHx;Z5S}S3E*vqU8|em}RsCF!FfU8SDQPF(}?iD&#`>d!jSH7+|OqIVphm2)B(z~y3`m_NNf zhUxmA#`br`S)apg?|Zq)wUWig-9&xb>afcV*2ku$tq|J20k+ zCMU@GUx|7BZOwI+&| z2m3k)Vf=rIHv4t9t;ohHyLuOonT*1lT;2nV`PMD5*R#*N1i&3HJ)L4&ro264h_AaX z@Xg(4)e5YkgBhc|v(v}NUx)v&t_RmQjfvigt#1-Ge4pnqxYbM+@fp!ikq?OkPj1)0 z^SPZZaX^h6Nv4?_eNh3Y?s7OUJgW*{Z?KYOI4zBcZAh9N5z&E)M25R_rw?S*GRApdju75)r{$+S==y066`Bp^>&Ob%}OJ? z)bjEaYM(a#>2FI1hAHcKlN;igHpgxMTJa(2V7!t8Ugm#0`EC8~Wc_r^-!YNcD;;Rv zzbDHDRgE2(j4al58e+>zMJ8!=L?^-%?b3WV_$ppyr>FSWQdnCls0vJuoq(Vus{Kcw z(ZBIEP=R!3_Ybv=>F)F{fMS`A()|Xe?(c|el?~v|j`E~gY&}GGNcCO~9ICQu+ZlF_ zw_jIXePJ`ULwaxeHs7t*5*xne432P)2EhMATgF^-KqWY<|GT|U!OEOva2EmNpUaom zD1^-+uC*b|w+l=!)s2km2Z^w(>H3o+>3s^hM3lw3R3#OO?#Tfz5(3^P?q>aRQB<4< z@QNBCUt7L*kQnmQ=;$NJiwpT?@>!H3ENRUO3A+~I>)Th$ZeEBXbE5*7pl?i8>F%e4 zEkoC3%DL^;W`y*!p+K(+-`l;Dz|Xb8R~e-;;c*tG{>YiKk`4BdFLsEtnP)Fup`G$b z-$|hw)Z0dOyi0v&Gr|^>)}j6h)YDk} zH6o>ctra_C2KFJ;5HBBcQU#dh^qxc_dX6vbHS=yx-l20e0RQi%5Pg-5?b%U~g#()_ zdbg;QffI&WT^TQjan{W51^qXE3EimWgyZ%67Go9Z<3#G*u3tSs&+azrr=~?c=zyh{ z4W1~>6drNsOk{z>gIFadX09lB`E*?7;+5+IM|n0O`oxCJqg&0Lmp9ca{01+3=_~Rc zaiDTJ-$+s!saWD{KgwKo_f{3Esy`>&ZF6_}@w!l`9Ch@Ps8D#Nzdko`XB!*Qh&+tm z*>bQ+pbjC5AH5Kp?oa#~onVU{NN2<#_FtJ3D))%EijuE4cMrRLu-w|)U=TDl-mxRP zxpvoTWq6^YEw*Q7;H6_pJUugZqlPSur*}Q*J1&0M%Cst+!P_4ZB;eh892@fH61yv1 zjjzbnV^k4%fQUC;(_0#?!nug6xTvR5Jv}f`OA?w68+h>LXnH06eYVtlK?K0m!VTWa zbFrm^KRb*{xOEziIKLSlA-{aSe#>({Rx!AhyF1Gumd`Qvkj{-iw`xbP?)3H;DDW~m z)P=Gmps_sWKDFTRiD4TGyt=w|aVV#Z>QBh#*F6hnLqF=pe{)RSu&zo?@&MxLebdk4 zdtl*nhEFQ#o4}^+%6wb?;^{(csCmg8ar{m_1DEKcs}b!+;KY#9%m$g$H3cUM0Y+`T ztC5I=HBDJa)oIR$f+~J`tAR=x7Yt|yM!-fWD`5I)^M?av&5=NWi}s*RDHSrH29>zB z<~p}B3_pQc%t8!8e6Z2=q+muGz0UpjAB2IW8Y~xJ2Pzx`wGE&+cr_;g;r2wacUXkp z%|(D~-A7WXZrV1kR5(5nk|t)^C_Lzl=|raLQ@4iy)@${>;{l8jyLu@y3zwt37pz8o zh`q4ji;Dj^;>rzO=U|xKebHr=7NGsuWpj7%xv#7(b!Eo8(KXO|DO6S@APH#L(-aII>{gD zA7vUFEHK7i8j7 z%dimub@Ct=)p!Y==7OB2oZvRu*&%nZw%x;Q#raMVq6QR*dwen0D_v0mUxv3{2wSJg z;ru=w$WHr}xCNqne-<|U)XyQ2F0V58IM~AB+Hx;btsVWFMxhf@Xy`M;#@wYOTQ9UV z4{#~+_H=jO=%&Sj*BU({W))(0*6x2uY70E1FqD~!fhhEm(vGxwi^ z1-3oeHWEI5s^ZmN*hQIRaYL*iO0>5nKJkx$kR3ynCYU7pa^0$4t-usJtWw4fu6aGA zPQI0tjMJ~>azl`lje_=!Y`ix+ldTi=J8OCyfqNSx__6r7bl073I%@1AhM*5CcIdx4Q?c*?@+O?-$y{bQ_dW5PxZeqgkttrlj zD={y-`ItC76IBFo2f5={bzU*sd7QC&D%l=b`(=&WWyNPcyR>!M(Byi5siXsa=S)X( zvSS3{zKCj{s4^V)`Dj}M&ra#c+ewgTyzYLC<}Az;JK|}WTyW^Y7f2un=X+GGxbalg zvxSvvTa&*DMJLo2eE zBLRSO(=(?*{OTC}u+xRJG$pkPb@?=(dGWQUZ|4c+-tk+)oB`0H|AdlI3fQq@?{sH9 z>HS8mf*hBa3K<-uvR2@f#Et>XDkV=+bBv#5AAJl1eZy|6#`37rS||DjNDS+&bx0b` zrE~DQoHye_^S3I5I5b1&R|E0`9?~<@&O``ZwJ`IWdpV^Z9_Gku!n5KL1sN?RkYeah zs(U!ztw|A#bu1TDc+)4wAW|*^X1TEP%X`WdooP>vDq-)bbjKxEx|EyM1YiK_HNSI` zNrR@*E$m|K3DM~=zo1jy#r^Jf-DrVOb~Z9LbyMVBXr|7hP2Re z8;;%=?7*VPx(2>hjO+pll~~5aU>N&`;9w_%%C|%kuozQ1$GLI>a$q#EhbC_U~(Uq>;BHgivZ~>F* z&liRX>`)m0uqUlw=$Ft%dz>|F`avdL47b$9unT9W)o;NdAsz?ND+qr9ltv$G&WgD4 zE9a5j-lb{vAF8eYM;@FA7r{-W$h*pbZa{sG zif+=n*l;>0o>cwv*l^}O)|e|gCz}+aamVT7*0(vQ6bL7Pzx9!PcSd4fDg_vzH=Tat69>q>zJiKo9H@-&y=F3N!N`D z10nPS+GSPjuE$dP(-QSr&E$5$QK?AMwbl<}H#>}ie9Xy<9>=Pj4kPm62C zTe1SLzfPI+C$k%@yAG4<2Z;V}GJ`gys%7a!QBJIK%A-OM8#aJDo(KK#! z-I}3^?k!`r4G}RovXGcFS0nzdQl8|{w67JzG=s8*R5-+cp$mIkkfEPVTOn26*S&zv zwd(PD%}ziEXUsA1)~=4q*hau!(jS%}1hkw0_#Z?icnf~}p=rKk_Q#oQS?I+dMQungCHTxU>Eoc7Yr$59@5CXr)7giUAt48UTYcO;gScoAe^on z-0UIriSz8ylUHk?K9d2*{49cf=U&DSwkoU^rjOd3c_ffn_5tF5SQ?`{>TxJf67lR9 zl#B_KWMA><=-(YZ{853P_kbhNmP*uSihVmyBXonBPOLvjaNpwd(r2&40Hs(Q0U-p` zu{ghmzdkG4{rQ@Xe>NcYzVTRe>yE~eNhfpEU89n*hD(&8e;^tD#GVXG6y;R4(3GT! z7=OZ<@@bfdS9X_(4vw+ragpXKZSCxQPV!^62zfiMP{jW9b?kB&{l^vO%56Vt2J9fj zM!>M7F@HBr#~OEZ(K0tXE$xg?l90Am27$%z2s5*WC9?!fnqGjF`)$hx>w;VI!m5$t z=0l5$bRFUZ&kmZJp-ZitX>kmyY^b)?v!IM0w~Q%RtLmo3+66lW-MzThnSmG^!OsF$ zVS$i!Xg^KJ92m_a+L@Sw96~KSh;s&QZ?e*C`fmy7iAUaL;u7}BwGNt(vI+x2!o@R( zY`^gPV(vJuz9=>I!YI}FpCV>R-JtCEr_^W~ZzrS#l8_Df7-l`J22aP`;MK z_y5i#`Pu!O8k}X(W}NW`1HI?&*Qb|-MWQ2!N-!GSolM#gLV>#GGozS;zDU}beaz&F za7G@O7U#_~AL|&Lna_!J9caoQ3ku-8yKlI;gW(51ft+@PP*JDf>SWTbiFu}IJrG-KDgP0*R4pSK}65>G3Azz1(e}yQO>Vp zU)x>{3mBQSAqH2HUOfH}&uYC}*1+KS;rC6I+wQ z15d_zxc|dX=0DC4{%9rq=RLe5idwIu<&f3v1HjFXV8&k zxMO1O>#dkHA0ahGV|k*VM4xzmsd{OM6kr1k4Kley^YbyK=>q&CaJXbI`bi}|p%>&oF+tPKF*PbQIuycKiI_s;!- z1fxA!;AoJ$voYMWeZ{gRuB{nEqK@t`UtbucYrJ}65DN@WAZ%i@h6Oa3y+w!pwntb4 zF*MuTTbZ~aG*y@QG05~c1=$DFVImE8Ux*KAo)HEqOwK1)D_!%;m(u)kE<|d4&k{*6 zCCR1pEScU&ORs3Ev;g$+CDfRhc|Lro0CPDjdGs8uCHhT|({rn*zDrM7YzX1Pr4IIE zY5;E6Csq7%DeFvPRR^H3^lr{?p%SLEOa`a9M0mM*CmHAx&lj4>L@IpZX3PjcZQ}zS zC7T8>@#U4u z1x-xnHat~8|I;AMsGw{+iSHhl^zlO%k&k{tz1!2`(owY`Z+>EfxA0c;#lk^GnaoC} zz9?RW?)3$9Pb*azJGl>CjHcdFB&}G)H%ZTHP=4+6q!V5A_V#Hm5p^$gGaG6}pr>$0 z6ka7g;1j+dg#O!dRar89#bz8_-c%G!_2K6Z8FoRn-YsxnuX;xTvM~uxzOl z3mdowO-R^1xp4ziI_lT*P(WSW!yFOxOo=J&CeQK{)pqC~z>Z(FX*=|SIt?N|LAiaN zw@;+YxYpEI73i9uKx+*k+k+b6alYKz#l5cJI+P$7K5E zNzMu!)oS60E@*i6C_0XYuX@K-O#KvSM!Oz3h$;tM%)tH0%5yFtYL)V(9K>#|`{m=P z6Ox}8O6HR}H)&!vUHJ-@IOTxI*4*1ewp zb)YrmDbV+5P%u$ZSyb-0{x z57@0|oPXO$maR9{VA3RND#9%2#Wk;Gq(|~1XWN3!1ZnX5@Jj6HMPM=-n$BqMbOsUb-%$&(Y3GqH zN6OE-KBU@@a^_6Nm_8pv$)bhGo&4+dm&At-#*(WVF%)^L3Xp0j34b_v{+b;y=3`tY zx?*GKb=0ATw;2D@I`+5BZwj9cLR&V0@9R=5?Bok_w~p@r3!Bi?RI@w%Ww4Y!rMEj? z-wuFUXv4L~LC3hnnWt`;lZAsvIq%4@;e=Jw8sKS^ z`Rat>Js|6gA-O7_X4d^^1ezLOB8@%2*X*jfT44ZAy-J%$=M!i$(&KoM-FJ4?U1Rs% z0pVHom_twe9*q|jaETb~%o%tcuBdLIjD2I~JuyOB7pQMucV928-Y&Mf`c8Le9{8cu zW!Im=)MQewbkQ@1_6bl!oW<@>69eXt{g%r3A^-k&Zvr#?;W))0U0uz0zq0%}Z!vPg zGB>Y-^XALP$D5MRC?%&7?AU2EJg1$oXd_g%{fwwGsLydp?dSc!{FBbNy{Ht;GPLh%9%2uyzxG>S808cIbDt^?6e|O+#tP303=jrQy9oxavA2~53 z4TT3kX23FPxz{&hP%l_G$DsEPRuWeonmdhUrFFi$U3#)iyPQWk=)G1>sdCvT^oRfq zY!^R$)yYm0U6tl-@Z%0F0SFYV_J&^cHr0VUxSwm;n)+6JUXGo*7esVllG;D@4q%Rd!1Gv?RY-ox7wt*016 ztG^aHq)%OEo?}1K_*w~4P@(_)_S}GFjK{e0Wi9f9C+4<4q2YYhgTvH0Gi!RDCCskp zlzXF#i6D=|{OzXfTy{0Apv>P zp%gc|3eAuTi4xZ*knn}iHmw*hbkg0meZk0hX|K5EV9#C( zhhX5%RVATkXBl$>TRuIqX>V1r0dfbxc*(B!{t-jdfApLs+HJBi@p@fY??}$<4QVxY3_Zw!G3ubVL=2-c6vf12e80o6UJHI#D({dQIjr3&2evOzDvG8)Ij~sklTqmXmEHW46bRr*{gevwhr$P zwx|H_WMFcu5WV~kcw5g5Zfnf;j-RthD|ys;tHz?|cJH2wU&WjzJo|GW>{+QJ3nnzu zg)`4R8V~8G@$<3Z=V6<_Bhj5diYfKJv^1qKMmPqd?T@qi6TjaRA|mRrw-BdM7;J2R za+xb2Qoda=IF6aQQ(SjI%wW`6=}S(2x~Zbp{c=y|qVVRTDTM9V*5${z z2I@N93S2-=A=#ebFY<2e2)uqxu>^??$)B{Z(xJ96QcE>`)g|*GD2hg2y2`?(u*6;i zxD)x*FE4_Hf&1{^Ge>+^aq}ti%}`E2^R#1O>vtJrNiW&aum+s74u*mq{h6fHjnO(_ zHn}~3cJjM#arND9Z?hZm_Krq`=e|B40|#E-0w!1HH1S3gLHrn_XRwVqXfpx|BCy|n z{hZz3-SR@n3KcCJ3jf&YQDY$G#Rz&Y3PDrqc|*d8M{YTxlmP6~Akker(!qdi6bgJl zH&p6UalPm*4LOKv8~OLu;Rm=dmUF5}WSV@+gXnk~;?U5CWbDzb1nOerM^e`$hqt6B zdzSjHeg;mDPyXTo9~Zu{jz2{ZBozS3_>S)e2iF~i&~>paR}I)*qsQi`ZzD;yA~LPI}8aC5}0ic zo}!Q0V?-68xL$jP4b^hbGQaAr$gL3M76FrDko3@DyutgfNQg()oWphAPpDh9zA86p z6E{$3Sm7c1#-|QQfK_34VO$cak2d#y^Ga>vmoRX?=SOfZsW0j zg3|}4MIZZ?25{dJsCd%00X|A1d#mJRmTEu{8?AueG)U3S^G2^uV`D9$#l}{#eV0zf zf_ZI&#`00ild}L(0_HPk&r)24^)y!MGqb3raJZ!XRCOgrtOiHfec%a=(H04l4EUmG zSmQNPa+NKvq|8N244{bWbAJoEXqyPiyWcf(irqWEfboYkL)U2-oR^|Ffjb`Lhi#KV zD!(uF>YO9Bm+WU=lIgG@=1*jf-Md_=CsSXRXeD!Gc3-mPNJMj`uyY4g7$z0X>^4KU zJ8y>@Q>{`u6Bab-2xW<$>&cOcbsX!}*Ru*XJ1{F5lGSxKQpl1jELUV83p6cwwQpWG zZ#ATmXNgvOARry}$Nh-jtgD}%?V7q{HRictb|~fv^Fhr;)J&S!%tzmIrHCd!zl8de zWU5oQ>oPfdmREJVGqW@b>KCL@=IWL~RQZYs8cUfqDgZ=jkKVn8g9^PbMnQ4dPpqUM z13CK@$-D8kQPoS<@IQ^z%fgOhYt2ce46qHR__}ld@uRsC(Mfjh_f#3dVcU=@qv^{_^ab)bG)=K^54*=2l-+96Q9f#QeKCu5E zroj)rGS4-u(gWlD)@SMjV3Aqf1aKkh!RoM{9_smjIMuK0+Pl)*=nvD$e>o&Bw|4 z{yxk>(8O&58*qWoOYTwr;hBfYs`v*Zy4G8Nk&wxw-|hvU7%>6<({-WS6i zQobj8`9KEux4>#Su%eTM=oUJzP;qSRayALaEzb;Lx>ejKP89-dqcP9b+$w}f#) ztww2Enp6CPanfF`Z!{gyZ+&?=Ik3MHX2g8H(aoHBIhi;qoP0s->>y^952TUT67*%f z#FyzF9Yd+j_NO&xr94qnhBy;z+YrX0>}nRr=UC4s2H#->wupkQxvaJ}r4h&Y{kmeG zbD4i)!;pZa)?XVH->^=mVN6?8+q4XWY28#CQK15`2C1N#1_KML6|8Pk zJb#oWT0dDavDcvw2I-Y|t{nH1Lz>JxAVaihKeWV2E5)07l^a<`_1=h5aUBb?q99@= zk`LRa0Bb>m0hh>Zc7Dyat|j(8T9GK*B~@(QI@`slez9Pq>dT2+dsg0k=V8hZE;-ny zCVufB_NekFoYN1|Q(M(3^xxUuDBS=dcoxD0HFW=Nvzy9F)_n0We$3*9Uwn=u`Ir(x$8%P2e>rJuUd(}quS zeyCRcoARC*d3g$JWWJMRDvPb?$sOHart@Mq(rAVQlT^k`!`PIxrB0whROR{fIAX?0aF>HQX;2lX_|cSD&_!{AIyU!~EhO9w$43{teUSMLM< zxfBqcKC-Z~9PqZna84M0Z;!Z{DI625vu^@9lH7|009!How-l9 z72Vt>4#&3LiP$H>!p4@G`1B9dcOnBpT86N*xP5MAo*BILf*C(CY(0dsj8qj@su7h3 zNx35W&`n(4ylN|xtvSd>Ir=U#tS#5CeV;so3203F5NPTgV!-B zHwi>Q2MU0D9iXlg1gWU{E00!nwLj+yfqAybifAzUoA>~L=dt3+tgp@~d>gj821t&5 z71xCE9d8lW0{t7Iz;L{I9MXLp90eaE%Nn=j6%K}fI#SSMLbH#4i5Iyhy)MM01M-O2m z2O2LzLclE{g4YYMD1=l!lT7UoIt8Ymr-kuhKc{6?$Xz%Q`f+gni3W`Pa#7v>cJ6SD*x-WTM| z_Fq0uW_j4~oD0&C<*Lg6Zp&S3UVBHo{!Uce9Pv?X3BrQjsP`m1HI3}xjjWu?HZ|3G zC7>e*?f`Of5PVNulq&fOb>4gc>3mW<=7&vN*+pyb{dI7orCuF|Vafw>C>p&65_5%_G73_+d?%_k? zCnRJFYKBF0A~%7UApcEFxC@T9l6-!;ScW$j!5d%Sp?~vPd?N@@4AR?W8B~1KD}Y>E zU(kd?z5RLS7$!n+y9ZL${k;l~QD61~O|EHb>C8*eUwBOrscv+;Irc&cRs z>%Q&5#y!-pz_SXQw*3{aB%>sa)7DQQ?yzuff#-K4_JiLRpKVfNp}oQ69T2WXoOvF0 zxi6rL&x&~Y9&W@SwD6=02O*dl;huR=6Xd92pr$HY-Hos_;w0oZn~{yw-VnSYE}(E6 zkx8BU438_Q-WizA`jNZ*ug|OB&k@Y1-7n500hUGI-preK&G#W`>6*i-Mv%Gdv7D;7 z(r?{}KrC^oUQhD%x#(cPHnx@DYJm&$ z@9XZZSHdwNYcp*ME%DMW{mE|tB!bZM8>lv>=k%pgpQ+7eheZpaFtE=81p&UbaGt!hsE8NbsW!1%m=9t=bdPsGP{UL`h8+u)NF z5FKo#O3XS#8h2II_C?|c;|8OT0WK=r*4(TfeD1=%ddz-*csa;>e6e!oT*qp7ka|kqq zrH;G`V-79e?>2LgO2+V%P70GChnfBo#==Q&BP}DLuhAuysJIp!RD_$?+NkSUgo0iL zuW-;QeG)F1IwwKJmVR|l62@|B71Rr#dAFNNF2$h@xcKm68iz!km|)6C(vUv@sv=kY zUORR1)dO|^C$|3zpL5^g|8eYH^7qExb@cZUwAsvMA=IjvR*Yz-lR30NICRNqhs;<} zPp@+p7!}&rwL2aK)AcOvtqd)9mys9nLmu-P3${9R3tJbAhw6&SeI>}J`P zJJSYjuQS|J1mHkbx!{{iqhYyCo`EM*i3~^PnBJNopP9kg!VU$pPI*+zz5b_e=D*Y! z-yn{&?hAciqb983g9FLQ=Jl_=M-%B_ORQJF*+n#?U1v+Ql>i#)+)iHDx31PVPceXq z;)q;isQ8tx`7xFCL#-j1OOO|=GaL7euOz~0xJ8JWPEneR#x7M)>D_yxtr%#_v`68$ z-ubmEF0ADK*)5w9}lcQ`R$gi`b<18`O6@k{o6f}Ze~_Xj1(>G zd;i9XPKM=#-xHcS{R32bGWbfoegFy~qCsfspuu94`mL027_V3Po5;&|kaHsUlj3Q# zT<3MYsI%{+Fk!!e%FU0gC8PM`08kW1-}4rT;_`3FUw>RMT;hZW$C#UJN6h!TE`>O$ zLqcTz*0NEF?DI;mDVc`*HFHY}Lb31Mi5Wt-hOURT(sz%is}Cd1pi1-oxk?0dhkfhX zm!4|j_u57oGZ;yD*~>bFqY3=WN+pWnvJ@N~Q~#V-4gFJ*H!#?Jni*IL6F0Ei64`vn z=+bvdMJk_s;-nevR9n3HJ3RI(;fCx|*w9)XQ#dQ^xF%&#?Jo1457o-AD)zKdn`!5@#2p#kj_@WZ#U_jl-s>%jkDXx;@k%qI>A zvN|CG+vObzpd)M$V^1|;i41@;p93W0NxNT(y}CbOZ9q4AQO9n9_6pRAU5lo9*%F$X zd`O+9G(0}{U^w&`bkO5`x2k?mh1Q`u>3y%6j956?0yhm5AqDo+N90I-Mqc{HQ=U(Z z&c>d;*a+A%zYnheO9!tbTz->;chL{oLn+uhWDwB@tuw>>G@ipgiZ|EiI%NFtu5c=nhUe@Nf?AHijOA}d~?fD2SJ>Xdl&Y9q`Uy9Se08byNHbQa< zoT0T^jut)RcW(R*sUc$D5dFlBipxiVb4V}kv-i;IyDRVYLJzMlsnAyk!!$cdwUzj| z^2r%*fD0=ij0LnNK%NYTwJgOe=0`|Spn$BjF}me}#_h9P4_ruRo_F|KE#XoCof z05>+pJAef(YmP|^GmKoj2l@g#4hd6ZSVMWpfQb`c!x_eu)lkQe<(#eQavmj=HY&YW ze#fEZV;~J1iz#2h8}Cb(E;5#hD~pe+mNY6V$EEO8VfGE9Y8(sF1EdBxmRy#rwHI8( z6Q%9uVh-X)#X{fEA`NaYNJ}Y8M|--WZJWjvk;+n^&ugmG<{OtfmsBbypn&VzD;u$K zni%K_j#33@4>aY%X}|7{8C#6LzKk2nHNWT*;CgQ5-n%Em$|1?QfBD7*(JCfdnY{Ir|8xNDZN42sPw1RA**j*s9x za4^{Fy><;hNi07|be6OJ(+Nnhg9uncv!VM{p6iPkD^E0aBw{H^Z2*<=0nf|r6hag1 zuSP))ra=X)?%?dq?3$Jwbja@9aERi$x^LeIcZ)`!OxHjIPNwh9`l1v5wZ;mwJS<4=oph& z$r8PKD9b*W0_Rkt?}amWoDR?;qRUa0Jwh3w0%!f|#(4{};R|_z+4L%mG5eJnqdk4n zec(Pjhu~lMU`K{CIX?5?=~$v0w?RM4+9Rcf!9Kr@y~#92l=U85`+Uf}LZ7&a3Df3; z38s3?c%!srY_O>$;a7@<^1yt^S`A-~p@3E&<-*=S^_tnNzf`?~;PpRbseXGmE_{*x zGAfz;9I25XP)LR)JR zz&E94{3cc;TJ@5xXeOqGxo_jwFSUI_S(x1)bSubWso?er9mYiD5%c z3&C*#cjV)XJZU5EWV{)kkMIOu&!RLzyC!1i9c{9!p19^)x*xCcpB?c3S||ixbQTU0 z#6NnU)u#=eBMWxG!p-;^vca@?0>N3P&MPDTE4Ak4XqIVtFO+m3I#M+4_SU+cY=Y89 zeeq0?TYw;=O=^58gojQ&Tq4^fhC}g1tEZqmu>0h@EPi?krK7Tj2B^X9E83Bdr$H&n zFSMuHlfBv2zXU-;_r-=c6hd!eA?ygw?D#>^P{u92O6Xqy$%- z3t8$W(KenkU}!ZTKPQ_8V?37ds~T&onCOhbiz6(Ya{#QRZpG!S6{F%TtM&b=_9233 zHd_>Ej2iV-Bj3k*l#eMRiPuf9(Vof)xTf+!$6&X&vb;bK92&j#6g&Sv_;Aj%*yt`j zDstL=oyLuUu%+z!#m+V;u6p1bokgdc=J^f$0)WSj6CvOJ)K0J zX&ogkIOQanCBHZM{x~3~qN5UkeB`1otvtPxdc$vH!45R&6*s%xGYHta^vV~7RUG`?<%q#!vhL6@|<%CoPe} z1Ic%Zox#HPlM!a3S?5%W+fJmvC%riG<6`@l6U^Vx!EJ~Lnh$9fUKnIRTYjUUgQDX= zH2sUmWi|86XDs=GZz{<|QQr+s*J@D8;nfU7M4lB2043`9x@~2R5KI(&+sB=Qew|96 z-@?z^BJnNe=*#+CWKz)92lf9n=DFKgmCZ0{0zWs3HMG}8oI zv5m;z_`*yw9?D3}gS+;#Q0akuTf0oWR$gLVUTyTY;p<{a%JGg8V<`!&2ON~eAS6XU z=3{)-EK6PNV-;foH%520zL5nIQi;&F+k+3Q;gZ>54i$)^uCL7N>pxFB>picL?cjIAJRK@>yi;&!rPaYAF9q)Vwwn(zj{1wq&{iVo4hH(AjLV_i;_vrd#8gnwxRaZab~ zmNK6BA(CjekoP_?DFw4LEEJH5=PQ!Gt(GpI)T-T|8kIVyn!aVcERFgJb<1{3lt`5n z!Iit1FH3^7Ui&)hajZ9{7{2DaGI|h8ERSeq-PqCC-e%QU-AgKzB$;}Cn8U$j;!;nH zi2rgW5kM3zywW$_z!9OnaAMd2^qy`Z?Vq4Y!v zNRY$k_XlrYt|HGGJ_Nc+kH9vX>X_A_9-C?(sL0tSw6%x_1+ zVg=Wcz1$*WZSiJuQK^b;m8+ZANXFl_zC$)K;S zKvx{$F0#9`;7tRyl*~^FuQ=KGs5I9=9*FLWXV0bF+;_~U#u>dUW*?7Us(sC|WSs<6 zZ?hPS=l}!2^$utlsIQyGcDG2m%!GYVwcU81Ir9nV^4WC{VPz3(lg)(Kg_UFg2afaw zvAx*-+hb7#$Qayvw9-mdfKEtx12_XD)V1riEod`MX0zy!v!}tbO+HYrbl%*}pxANH ziu>tgj6XXfI)7vIqk0#has66OrlEYLx>TC)?4hPoq44!Q--Z0f*7SaOI_xyZ_JHUs za}?61_rX(}68#YQq$6?ZKTeSTt}(HYeCFYPyE_(^ZD68?re;YNlAPd>0zgblTvY!s zbddiE-+vy>dthRYFcVpE1w?Lf#2tCg`&Gb_kAUt{f`nxC@JPR>Ac0&Zo=bY>%@V^M zqv<j1m}-`>3ysS2_DOdNZ}tE8&(cw6#!N5$&TLD0n+_uN_9EpCCz7gmgXRKU#K5olWRsszb5h5{p3$cbm{8X3<%SrKRl98~;Rd&8_oR*+N&{E_ z%Fy+G?*wRjb*EJC!0Iq7c07Cr{qjop2B8_)6ar8l4}528>i~QorjnMT(I_t{GazrS z(2(;c-+Cm%rg;T(T(xrh6(xKBbbRO&^Cl?Eozu``I@?icdwFf%9?}sI369?P+Vk-< zNiJSXU23at^Vl#+$kL;bGFS@B`tyAhi~p?oA;q(e4@P9GmKt zEI9h0r5DB$IM9UNtQoPyfC9enuj5(2A0#il_5>I$Ng9_Ve9!FV|K#(MPk~)sLBUaV z$9!*vn_7O*qqS;dN6C-)ujlD1-qiSjUa0J#0V3#|qb_nC?OTsbsj*l<%m5j+=}8XM zWh!yl430Q->((Jbgn-57`)^3gRpML<+Gc&W3p*tph^EqKR$@IfGTsHHKoJ};)u8uu zMzs^1?rh?kpM#Mn#t6UFgf~1?zh&|@?-m$%Yoj8M6I&z>dIXTMJIL5pI$HR;JS7VR z7+M)ZMnwtR8)g;OmT&BdEdONULidq5z792R%iBzUGHiW?s-{9wftm)YCRK+HS_%#4 zb!|HyTvCt(`PbJUFcn^CG@J7vx^kr-6^C^CTqB7}z`uS0qMpB3p8gj@x8oGfXpj}< z@5@zE!rUq}z4YQ8um}A2UW43pn6ON9f$CwODjg^nLf~%nntsLVFCGo+bK$~%_nvv{ zs0W+qS!wL#_T&g7*VRhJRSzUX3PSoY5Mb&j(GGR8?j#9UvF(>B|G{ z0BPzDku=)xf1q#wT1@^2qYQpiP|oKWy0k;J)!%E;`U-j4daV-_Fz=|ZRR)}H+`Tk1 zQfZrI=5;vvtg+c~D5d;h?^2;ZF3ks5F|WD+HYudfHfzbY+wZ-GEN29rM9@P0+jP`Y zu;J|~4`BB@gc4QML}EMD+d%j0fPzBg4(^4`N+>EJaM)7mTNPlVV?cUa;bIB=5nq?L z;ac{c4JX1i_303YpvkQ9xE5*?+UAZQp3$?so@Sb9YU_CpZnZ=x+~Z2(Hdu774wFgc< z6@PI}fS(jr;Ah@+2`lAXbJ;IiXF{a@UZC*eXMoD1W)x`9NK8f>!a{0FB$uQ^%kcXO z0k(vR#)0cEG9%O7utvr+m0DcXI3c2&vy5PA3xS`XUZq<zD$am0He(Z{+f>`cfiU0Jmbhlw3UD^9wE*mplbf2kBNbJU5?r2v2N z^O4+h2j1Mh%eXThWm@!1FdJSF{Ae3Q^Nr(($guD&V9?j?9tqf=(D^Y^Gba^1+HY{*s^ zkjqSsC#f4gsDV8$973ijuyA$~F1=_Soe=`n-IZJQa@ej(sRG?>Du4fV{}Mn*DS<6q z3)}MpS_dquqabvQMd&MOr{e3im<6CLJW7z&d7^hBHbZ;u71B_CKiV}jC7Isq6Y4FK#7_U1AUXZXj zXPaVY)1G8qI;&Qn`*r#(YO9vh(5H-c?e_3?&rsXf-gl*2hzd)pnfQ}JKU(3@%Lmgl zKSpttI+id_s%r_Law#2N+zzIrQC^RnyazTGoWg_>*3U1~HCl&E(S-D-Z{wGoX#70* zQ9~T+hkPFhn=x;F?jgC>`9116EjF6I&Y_u03k%?sKbxl}$qPM?jJj>3_f=7BYti1B zJg|+pF;y|zv%Nal7L}{8g9j%w{Q#YEfvuK%*hE7!P#%E*bmNS(4J5DI6>m*$K;WJ8 zE`ho+9MVIwXGeZHYG7jSc!v-;NQrX7b%mq}8lvl2xGc`L2R4~i#4ik9iI&&8!GNFT zk1#Ac%mh0at>)2kF^4^8$WxKXIK0(=!8PCmdZ&*2$zvKmxo5fM&Uzl>eqW55@RBdc zH~yR}=Vy}|oQ1=fiI*Ybn(m+p?J6?i{vN;v8QOMa4dEG!6CQR9OoCl~j4!eQ(tkA7 z3<7M>CzD}K+&m+Wie&o?)3=XHP*6Y5ve?8dC$ZnRNm9K!$vz_>6OP|PEZslA9bEyu zPXa|nMKE>QlNOst)M^*cg-9WG6UvO5h{K2>H#GsCGQ=Z!E70A1bUu;hFw@qYE9JaW zV-&y3Jn?+RC!`np!~+$7=OP4rSP2i~X!!*G^7W(bznSSI)*evY8g@~MHVbT4T^LJq^K*g@vP*aC+0#4D0=Oap5hbU zb771_vU9PpL+4AoKd&8aTT<8=tTe13Ft2`{GEEn9iiK6h_$`Q^C~(cyKLiQMWW$au z&)i~d@n3~H< zE78S;PxtTc=Hku4)NpG!?F4+@zEYRYY6V)B6;yFmz}cI>nO8Wp&RLsxMQpLM9_)I7 zrFCuj?#_2AI_I2v7l65*i4=+@!y`b@J9NBOKuBcI{f5~22%bK(oiF2I5(qY+Ugb+i zK5ksMGfY5uQR8}vlLpFNU|S4YPxS$~I+o&=a*R{&%yT*!2p4o~j+t0a5af#TB{;F2 zL_P{dHq_SbO`xO4h0gS47XqmNb?0a*F8a;KQ?r+k!Q+2C@dL^Fya8*;oqLKZA!!U; z^`~n#atxwmUC`F+Y%8&>N=R~$)y-Fx*B{WM_Zbi|gpcBYh@X2?#+bLuyFXKj$xnxw zS7R>jvV$C5;{a3ea*>7FYundH(w8LtkFea$3hpm32{M-ICTTStiGM$TbWHum|6%XF zqnb?9zi|trGAbyHVxcMo8z3-9Cn|%;&{RZJN|Ykf+t5j31t}7GKuShMIz(zfAW-^Lx*kKgB0cx$moApU-t?YcCu<)<9p) zJ+X6A9ysxd$62InAr-z?j)Z&;O}C%@oPSr}=y|?K_^QT2!M1AdGiuxuUarK_Q`1b_ zl$;tH?RRciM0(r0P|Z_qJukK`dXp}0?5*iHtFbHZQ$o60$xMyAn?cLDjl&!HZ-+jJ zt_UyYDksX~@u7a-H)0jbh5s~1`FBm`4yNgj16##Z*KPRj+T2r1V(-o=DFXT+09+Qb z8y1V!dJf<4BsT8i%PR`oXZlArG1DFT0Aj*~_MG$$^oL~NYyp>+fYK{LeLBFo1OR7s zgZq{vy49(%%18J#bv~~}{;ZMW`qcZ%8gGfy3vf|*bJ1+vHFc?jkHunhPwv(9uDeou zcJ63D^HQE?2@H>XI#%P7UbDg=bZnm45LYeY-7@y~X{r!W_s?R0gPJs2 zRuaa`)Gnxhlw3R{vk-od6-B_BOjgDDHeqidr<6i2SA67LxX>Bt0UIxr%%>zg?oJn=O4`_q^=pE}`e7N9)ziT?%HY`~xMGQRhvH25Op*0+`|RHWSTLDz`I8m4>}=iKa!_7XRYJ_ioVn4QEoWr z<+#-5g^kY_48Q+YB&^)`=WgEn9^jishA8V!y?#uT7zd6OG8DAQ7xB~$N1t7Sff+`% zBPS}pQ8xd=z;O2dM*5lC`=5XVKZc!|v!ZoG#|=N+5v_~guB`Vy<%i8K_^>;yWYUUmIAQ1=UYJ>5-9Q`|HAt+9QI*sCS*FWEgY z>&sEXvxi=}zsvr9AD$URIx4Nm0FV?6VznnajI}3}6}wkEjn`)@7PfoJfyI0Z5y-;Y zJ$s)|wxzi|t-aA#101sSrSyr7SU{%99~g#cw^cX}pSU?P@~>ImjWwmlgqK01?!L5%$T zliJPg%0agjML@XcjVb-6lX_}w=Q;LW#sTEC#TahcPv_LTSbzkGk2hT>H&Yz zYA@=IR~Rna3ECAH@~JtuH+5Ows_J2$VWkoE@WxL=7Nx~!u}Y zC2y;=o_jC*K1Dg5ngKw!?sT;7zSE1p`$IDEZi4Bxe;V5TJ8aoO{)-=hld5s6ai997 z(>lH|Hoj04kToL{Qi|)O?*pU!2bAM)-#QX?;h1B?81{l2pA%#uwL$UK?H}T{-l_S3 zZaiRd@*2F??)i;3qtg))+j$4pg81>Opzep?gDsw~^S$eKYj*bW4S*kG@lwVVGRap{ z^Sk?c9VPn&Eum0%t4kbCc4H$x^@liMy7EbPu*J((7N$YrHh}$olwtkU;^;4jc28ke zR&loTMvE%9xQQ>m4OHN)UiVaj*=vBggOX|cA;yA>!0|}7wb$D=Epy87ZxS_Ht^p0S zfLI#%SR`~V?b&QH5q=%xf9&@r<8d)fWe;t$`)#p&#=bkao3|Ca7B_vWU5X117MxkB z{HADqK^i`0r`C6AVvjV%-s?4^#ZqfG;8}_k%dMSTm#9f%4su8YaGaW^$@PHF;c^8=CFlCiwrKjCsRRq%h-kH5=5RB}Rv@oelL$>re z15m_PibWwI`*MTp6sG05Cza} zKY2FI8w9kxc9qIf{@LQB#T`V-^SfIU6%X}P9Xhi9%)7>01oDGMV{L@?(@*eh&poHi z^7fuOcV2enr@+9BTU&RS?aonJxV~5El+vM;{bEvQKS5B~7`pLl;frz}77m5W#o!`m znAG_)JNmM5ahYv?fCGyRkC_XKICcoC?S~T=zk3I?Eza`P7le?}h$n^$Yz*#m=gUmT@Sdb6$ZF zcfP@GTYBA(@1JE`-kRQdV-1@6mh|QWohY`&6dViNCfLK(tfIk)@(TT$6wKD_byr>i z{vZISZ$c6{KzYNro(b)|;D7KlfTG{-JAn@DPJ&yW-}Q%b&meZSKmX-+M0Y09SJ=d^X2Z0wo+M zj@^iqyUcZT<(ctctK&6du$(s!!&e_!3!)lm&AsTwrOPL(uSyeW?je@YgE*9viOl3Nq7->m(wB&MPufi0DCf0S)>FQ`>3@cH@e9+D2 zK$mlhx7)T5Dw7`&6pVlhbF;$iPwdOu-#}j8$ zDbuFfg907GDE2%Jw~%VDAu2+R`_+5hr@7w2m~d2nfQ&>t%_?^8)+DlELU^I?KA!@;_p}G za)0yvQi=pnG8~?FvR`fkum=zmN@}i9mJiq7|BYYl7{n`fi zZ$jj5;smq*^!9)IoR0$m{w>YJzVpMiek2cAWRg8h*$}ZO>ZOQJ4eGu=-x^~Hov%Kf zQ)2ATHqwLZk-6lJG2F|>>UuIqJaG8jYJhF zwFAz371SNr6}juMh6TpNCiCKFq>PS+M3OtL5>ZjO0HD!CA9kRwwSY zBT3nv8Bt<&6&zzF;Tw!G1yyVBoUk>(vU(Nt5?fC@41Cjs?g zeEhJJn~0TNE^Pf#oy9v6S7)8OPMk&5wS&T)i_+8|ODRHY)M-mksw>}1MmhZ7iGn>W z=W?H%Y*R!JhM~Roh@^U!c@WpUWK1rMF+AlGzH24Dnx)1MPa?+f+7S_+;GCrX_9(b{ zcLqcNGfPukqZev4PP{%Wo>7Y5oaq2VOovab39IE5x2whI}UYvI*8qcEQQ`vR#X=a*t;DdCol$I8J@wy7Sg@SO@hu{6j>Te(|z|3 z(@l80$<1v#i;oV+RS;EA9(jy3Z&vACqtn5RZnNGg1_bZN<*pt}H1Fxlx1U){CYUrF z(uL|m75ku0R=19S)qnEnB8J9b$cDh0fvjg&Z|KhgcJAK|^w+E0>~KwtMVH!ANPh#A z!q*ZPtpqXkNIz?6iRU(pk4~FgYpH57{iH3De>`nvJurlbv4xhyav+(*TJ~W(ajN6A z6N&NEEa9q!cN%;btv!_Akh$*4E~JN5$IM1dJdt$SmssWri>XDwaXPsu^= zki)e{9XkE)MzP{#8 zlSCZ}7V^7C`Og0%JkekgPkgmPe>Y1Zf8f@C_ox%B-2L=Lom?)!?I63P^0oy|m)dZ0boKO*ifzcH&ooE`t4+g7QBa^iop8yMKg&e-q8WjM5jQ zlM`W| ztJzsU{?&H;7rPpAOdx#IFCb1%t+obm@=4r$#^5Qf$!706yvtm6*9XPZn5)4r|Tg;B;p-<7o-K0GBeQL~P^#fF4KDzGWhUun${mYAoi}SSdA_=vz zhU05CZJ7=(`bN}Y7_@PrhR_+_Ksj!va&juLLlvygpZ@?0bpmF`(UnM?lu34YqkuF2 zNIa#s)4)l;lYLi#|A{mIQ5yH$h6k!@6&3kj?F7Mix4-I;6H)MAx;Oee&iKL&T}P`+ zkf4rTcnS4T_t@np>3x z5UwZuc&kNNkKVr+wc5PBAJ$o$eD+4(Pd(jj2;oPB1ij^Re%lBo4|hl$ ztrHBQi`EE?`^H8AvOTc|0uvHqS6f%1k`fd4(!Nna7k$gK4$6;_aPjhxvfqH2st^!%3 zzHhZY!9zU7F)y?;aAGwNQ{povKN@yuF$~eHvADZ5`~HB&#ICzfxORDqqL-UxM`x`A zfTIv#^9~mwHgf&YfrGn=Ez=z$w-}1z99$CCbyucZSQHTX`AL;u?f`ZaR(H%sBTBec zvZ)9d@xz@<^pKPzSi>deHV#6_p_u3~zjr2cWI&(pRHGEuIAxomn#v`|GL@W4l#ONEF{Wd0R8H~Z_hnAm`??cq*ACOLrBywmf zIiI%-?gl(j_%_-z2z_UE=AOFt9T{3&xY z*cKVYGn}}t$EvfFfrYRtKNe!?F?d5{l;4Fo+1e|*Rmf!N^D+ol7vt)J2hV?_V9!67 zEuz1N>6?U1bQRLNRZ%T^6I$oFMM3Xz#)t}nsRH{=VmGbWWbJTb%~g3`8~C|ixRC$} z^N0yu8q2VtE~tt+W_lgvV=^vaJ4iM^c(x`{i~0lt%Eg=boriTP6kn9sX;6RSi_R@j z{uHu5*Xnyz;8c7fDWl6hs1Fj<)gGRv(DYPMbL)t0+Qyu1{bDg)?))6je0@HpSTL{S z%G7`_K$0Em@!N4+f~^8XZdwz}`8b)8n^&{c3)9lf=f-&oN44V!=5Z+=rFMO5Z9$t= z8wnbVkpX4ccswGB_eP(6hY^}rbFA9-N-5=t6n&uD_SV?^f}6s=UIkuxEV&)d#KW~( zL{MZB-M7!BZt@8G04%qr%%@8_nUjQZVkt(0dSi=Y<{LZcHFp1L}Oj-!m>zUS+9p;4FP-op;SkWMXj!TQI}`m+Ew4gY#%XMVPsPe z?p-ZzNr;?67TR{g6@+o{Jl|$O)GC>yQ8wopp9$q+S4bu^@6n`H+&MwT{Q35Jl1bsh zfFUnt@iJnR^4;NsP(yz|@L4c{0(T{9&0sA5D}kAIRUR z;a+aUMLDT{W=X_Ajny=zDmDYj{xO*D09$j2&85_O_ztu8X}d!zeKK`riWAI<$x5NQ zqqbexU{8y&ga(lZ(X}kem!z?E7cwlbCMn~c;k~kOu**$B*v_vx{_ktYxv-q}E;mgk zCn4pOkN-D|8WJ@w@*%0_t}E0G(hKnvtF$q0UM(Ick@m`mC)An>{Jtt@soMa`A7%9@ z_3e!rzNJTXKYfH=Km9~WMzZOp)ri_iQO_G;v8)gH3ar_10;V@tm>!E0HRB*-Tq83! z(y?)QJ254=c*wem@h#AM1`hQSjI~sA?wO znQN)0Aypg`jdmR!IylW1acrABiS2p_*%FHnSy4Zj@?egzj?%M{Ugdh17T)9DV`^X} ztE+cba4BTB1ig#V{TE&G%AVqT14sYx5wEatzGt2nkjvNO%bmxGVPw5+McP019=N)1P#bcAqQ+~NRRiCE+}`eKz) z(obkNLfO(ISEFOWLKM7ZkAgc9>&%0y*jPMKo{cBe=-C^UIVS`!;5R=eIW!9L7mtsv zQt8bfA+|XG2D-qsLou`p){xYsbtKvB-$$4YeD9xg0$$H*Dk^P!4GYXXWxvUx-esuU zj|~LEiMyp0W-vAzl))#E0V~s&NEzo5hrNb#o`7!jD78Nwhh+aGx0)Hy-GF#&F~0ot zr@hBKQy#IHF&`W2J&GzantW5nqCLlbL)wM-s7nE2j{&2{;EL`>=D?f^+5M6wag!3shJfI)q@B#_1GtbL+g9zI zti+jxqdc3vYYp}wcgNYO^E0drbI=@ixy8pMSp|IIa{78k^gy_gH)jE;%VmGI8lMWC zX>?IHxp2lcJ&}0K_DcMli~!p;kF?`pz3ixaz9jq!mKBtTy&%o8FJ5Wo3{bNk-HVt{ zm$Z=|df`>xUYU$+pdDUqB@IiiwhSA~q!)}hxMo1zMPFh8^{Er}Ml^>)a4}ShetZ|E z-B?hFaCCm4-pnay8t1p1H(F zjvAq*Ya7s)B8_(?wrgK>Y}XKf9cR4YxLew_UesP~oP0VnpEE7;8GqY+1MG#VNOx0% z+h#VERi5U*c3uodn#H`A^x+MNfXFku1LK1-98#UJJQRLj)9^}! zv~`gq3Mkx1(M5&r_WrDQ2Pk-D#iFqbVUDD%Bj^^#GVGjPKn!_5UL}qPna^Fe8?V&N zY&ldTYQWa_ht5C$*xzV`$nol?*qfC5zz4B27$CI!m+qWC_A1j+%#IR&fSlJnA*gZ- z=6^z@QPP%X^vja&hbqZ>2nBD|E}x{dkW98%C9X@GiT=TU!goY$Xj0(%^OmULG3eX;r; zw@1{Bgm*7!d#3Ulyr>iSgHTG-3*q5}mzDj9kwsl`GUWN31^t)x3h?^r9jl8ckBd+cq<$gDa zorBxct#0Cr+4iIi9}GI8j*%2T_0Ggc9|*YWWVT+>4W$$3#;WNvub-&{U?}P7rcV)* zd+t^^PH*tj^Ur%Jhx8Pj3+=m4HlsJ*bkedO)UBfqvHfI`tW1;jQp}t8Gwez4)q^LI zM50e5*TMxOFwwk8EVv+^(tz+#SeuQJj}Ga`+)RAoJOSQ)pdcPv59v@7C@?V7v`avq%6f4e6aA*nUQ$H~@ z%~**h*tM*wrICL5Ald2j*F2$fYBE&&m?Jm*AddFM!plGMVV~k)*Z4k{GjiP&c{tH! z|KyPdwH_V6EBNz6`N3}(`B2aN6xM|suq18#4K>Kjz9|_g+}O@kg@T86M(GvClm^U| z2qgJCo%4eY(W%1Bd++T~F@YDr6Z#tU_>fer^r%~7R=u)PCiGd$fuR1#((#6~do3b{ zgXDS+R{!W6U8Yvl2<88INQY^=pd&nfL)uEOo zLJPX}OZ%4X2nl(%O#Kg8wToZWO|Vw{Y<^`xRe^u(a$HjQe60q`_AuBjGmKY}u2Ev8 z&xVz|O3ls_rI30v1hWvTh9PDZ(5Mn+?ttf6oPYM!-BY=ME}85?co)ZDjh2TcTrhrV z>*h)Y4Q_KDjFM1C)Dx0J6J<}SLX+fP6lL_8v#vXD0(?>5j<+yUmsH9gSNZcQnctd+ zqCJUy^$f^eyL(t->a_KQ`*VBg<00ZHQN}uq@9_pz1dw}hBC`$4x*lhgwSAU=t~A|# zWO%Q#r^vx6@(pDjrn)TD4)w^&o2W}5Mh)G6Sz}R?lK9C=Xx*VBW3HMs<6xDgKLopq zf5Iw{!X%riZ&==5^5SLJ{a`6c0k&u=H8J&E!Q;_VXN`dlGyQfn(9_O4a{e81XK*zt zpbEoVDCJ&qtas-E92e5wUA&u-L!MPwI3>4A8|ZC~nCk}B)V_$Mxz_4p7V^^00%;J#EL)_+4G zJ-5Dvdr}Tx8J+4@4!Zuj%pfzmWBKSJH`Bbms-)qj>Nh=JIX=W$yMgKvb`GHIwEa>z zy_v=zgN>o8c+=dM&So8-uaF~+8QbdV=Xe@;e!hp{yRySxb}#58Y2{*BFSdA0J>`ZC|U?oI{!HVH$u_ zgc%~vR&x2lIqF-SIu|z9Kv#dF@SAosqEmxXZ?r*^f=CI8SY(%kEWW$omJ)MmTBNKq;3&tOuNBK3PdT)+iz+VBD9XAdD=c)&s)Y1=&PVMmv?$W`QE5dp;xKE zrWKR4FK$*_jR*n>E+3~bV?cGG8c{d{ux;gjrhdb*94)iHk@)B|t@5rYJCtoJnUhQQnl!1AyGG0vy}<@Hj*#_vIkSsiXY)t^`GQI*gQh4TYd z`)i=dgZlz@5jvIa3X@DWJ!a?7>}>u=gTJrN^Z80&qWV5{7`?-Mo4@HM$4IcKJ}^Z?!*0j${)x}AZ4R(O2l*FU%4-S+ zw#S(EG=9pAqn^9l0~;@W;X&l*i>_*wA}K1vLers2K^-mkRAkAi5K&Y@a4#m!XA1qm zQ+QMqhEuaY185=3@(Q#yv9ZX{C+!5U$6yVu%JWe@QR{b;dPPQNW+DxCQ6`>IE(Rzy zJ3WfU+TOIsCb%S~xP)7kaD`S2ceVmBN_UDMo?@prM~rSAX;+c)imW@Gj5NYW$1=fo~Ju%M==5Tx9H|x9sG|VfM_z)lI8gZ1(c0} z6t&$iowLdyOq+w=whg$y((2Kq+)wNzE91jVo(5B_7Z-d~1H3OBrMhrBbszGKpm~A% zl(#SZ1kt#2wDST@`4;gTfQ~sC>1IGFADc^EwuL(>sOc9|S~8Yh`?l)i202*1H$TtK z5NDZ2^6XigxuJ_2nF@NSuR0iMGUHLf9?{gy$Gd=1Q-K0GPKoE$uV6>X7=?6V_HKNZ zbOgM@p!S1}*Djn}ykHgCl+_i0lmll~FYW8k6+}Gm^o|dj|1gB^VwQQbb2ZLfY{Ik( zXuHW%6cL8<&_~|4x!tEM?|B6_{z^}L2(0ZGuQ%YQXDu;Teil6G{*KT`gYr+4Bv?6l zQLTJF@}Z4`gy#gaH;4pjen2pw?I{CN6Fl7Bs3%}t?Chv6;&r9oGkDR&h;1{iCc;X8 zHxLK)GOEH`eIjV(klF{9qtlBJ=xRsxTR=De1pfzUfX=`GJjNhnX#7 zQTIL=h^K5D)jmh)aNM-4M4vf*bmN@;N>xx9DXnBZH-j29+|UhLbRMm^x=Ei!Y>6vTxA2TOOV4g4HAf}vgQsopeTH^8RB9K97G zEH5tsHwrVb4(pl;t=x~mPAJJ}HJz(uUL9qTkz!|I8dEmiTD(C&4ilPe5JKbPra})q)0_ zq@!6Q;ZsAy`tIWml0|C8>OUmb1*n|#mWodQq8~}VwG#1kb9LTl&hRTBRWFUWzwngR zv!<5LWW9K%@s!k{!q_&rn=q>DK5q5XpjZSByA{{!~% z6w(CcrX)haTqqAhyC^TGE;o(LktyAoTQM<1?o!vwZ1fw_dJ%AtG+p#F50NgRDjVc* zhAvZsikYZm^)m88tZ}HftKFkm?(%np(F5(qnr|XYQ9oPdHsI|twReePd<-d{=Z^vv zP@edgpe0m2H-V)7__vOrl;mP3y`--(9rAdU5ZNSedUd)Moc_Yjtt(G5*roek;Mt}~ zS+BnO$Hwq!+4P!Gj}eG`Wwxew=DPw^6mCI-f?_)j+ELoGqGB$?!_6PS`x1j}t%@Fa zx*}Ou)p300Bo(lMcVXxYZ!S{F#t9sK; z)gZJ$)nz0AJGN^yw75ZX@PyyE-E3LJFC`?Wxap8qBU2~s-8a*JAWUh_TwdXQE6MHL ztbx7eP>3jmQ8f7N#Dz3netz@lXe-K=gv!)?>Q;(K44q#)~(3$`+(h5996Az0BB#GmXAW zvR83s;h>4&>W?*na>OE#WGyq4We9fB;! zr$*C4i4iy6D@v=|QDf@@U~LCjX!GUi(^@jwcGA<(wQ{GdRIMSUP?(T1s)WaXXUF)q z)uFY(py9|F`!kh}K+KE3P#*x7*eY;SD)Ff&fEc#C*aXOswW~^%MH;0g3x~+EVoKuW zFh5O|ofY*&J_CEQVAsnEb~SSvD3ez)QX7;g$;vk_>Dxy_9q%2{rZ62^rhu^-ZLm`M zE(dv7?{!dLFy<`0;v$sT?CXu94k)GHS!>P8tGznETrwJc1O_B=|BCUrkpt=pSu|XBKcC5Agqk42b+MB$B3QexGZ`bhMhjY9Cr)lF)#{}LR3PH|H{y4wy z6wirOz$AXZ{=$lM81;Q~QJz&ct7^u9Q7--%#;nS+9efPIu*Zkgc>Vb*IX8V*!DgV# zKHy47&z4<@rGgdr=Xn8Eo>~>QzAJ_N_L8(SW}wr{l|ZOo2it{!r5%@9mt*CF92Off zU_5XriHh?^z^1BXy|vU~1S!RO|Bfg-Z(h4{wU-4{14inI14$AvD5KthEn`9n48#`| ze3kj}-Z27ZllIOl)sAMagP=!;bWRBi`{m5dSgoO1#bDLF=NRZl>p^{L11%MsuII#l zN7zkWh0YW}LeP^~QXt8c=3JPE?H`5_nLbx~7MVF9~H@ zR05^M4B8mf!OSZ6_t!a`{jN1ILqjLUwE0R&&ymJ_o;M-wSc0*oUXOghcZ->)*!){}JfQ5hf|8s-eD5^}4#e zDp+eSJD~8!6~lLz(%o|uyF)B${q>f!JhxMl(i}A3Y+iS|2Nf)+aU^*+4su8e!dHoSht1vh&iQL6!+|ECR(JaJNvagS zBG;l(ID#3$&hPdXMJ9bL@6@{Be|BV7`GIsyJt_e*ib1vX3bo&5LOnz>xYem3uO6ci zJ%2vLdcMP0`eNj^Qysb{S2V!hj?!g=pe8w^{!Hs*bV2>9d|wmIZ#VBI)vgX!5A{C` zA3W-!KdpOsDm(tU^0`s*nnzZSyAjHk-Vh)NJ!X61aA-fa#&1;6NS1&-H57iaKH?Vb z%CAx`<9rrOEo?6OzAxC-c6gNQvce8e@(X+Q1c+z2*Y=|abo~a|ne51yv=?U9!LdTY zf+2}(n9bImUf6}W zw*f?H+&M(!O=+!qKzR1fnWE%G$cF7}erZMpPiaWA`5ZPnv>e6aS!|dof<%1i(8i*< z1I2iiwyEsigC~l5tQVFqKa~AtPn0OxG1&T<*|GHg_|gdFsf+>aue(#$Xd2 z0JW&Qh5&7247{FRLw3Wx`)#QEABuBMO9^S$A+6Ho*Ob$RKQ5Pca}ZQj()AKeDd@>QNb{N`IkN}L@)zU z<3cQPup#HrZIls0y}!srNuaR;>$uqRx@ONH*KDwyUaUVsbbH=2hj_+$hB96{CE3y$ zv|>)y%)WQ+JkJGRPp8hc>8ooukvhY@iCN6(1xb^z^Jl=z9+o}6)XT>VH`yU7NLk}>?6dI;#Zh^VmL1*+Y|fD=T)T$f+Xk=m z7AXg2SSZx>e1q?n(wFrn>$ObF$YZ&A+j9c9+ofCD4G7B@Jba~ap*hL%0_N_WJl<{;B!?X8Q^z zQ9}ynP1VPFfADL+AveoU&RTgmAiBx*vZN1phH0FQ92`c(P9SQkY~>t6D0et2;*ocy zZJo-;4#?X`)$b83lUoIp%?wt66jGwt6+ox~ef{Cz zR>l8gsBDbMTIG+od=sttYybmO&hLXxH?>`XL=ig16{uEc{qNcXVE!+GK{O573}))# zO5I<*dp-<{eh5qI*Zn6X|9=YnWUNhlZkT=qK-HN9@=fN)?3j(v!Epurox?ci(_gXD zCM5oU3Zni85E4&GhhXz_&0*6xw~k++dP#?IM$I^RVupyF{(pV@|2_1q#*2|s0MorZ z^6XdCb`wMY{vV^*-HZ$9Ilt1c7B~3(A$6&pKAk(^uE&T~l|XTd5t2yw%F9M~p6`@y z#~3H?^dAA+kKhD*`d0yQ-Svgn^(QyJJd9S)GFgkamDp^;e+Rgu>&`fj-iQ5%|Hv>O zTPC6zG5uON=ht7TM(WT15GxY$>Hq(>^4?wG)e^4vnOC!ZxK|CdQmH$LUp0P zAme_eN6AOq7|cvFNY@+rHFJ&+{_r9Cxc%dtGl_{Aw$70=OSVYShsNoTS`=OUpRC3i zI)+4EE0_q7(fq<&*jn+2pyy1Iy3?^rreoZnZPrkLOy{z3C8=ua7m$3S;15Cay#WsX z>5y5BdI&k>+dtwz%mCnj|L4-c3o(gxtm{p;WmD)SO1-FQN#~ZS=(8}KXKhZ z#s;7{{*HNY5Ee?ot0z&Sr*?(uz+U~EeVGVArYSsLC1(8D$K@7q?{CFB@9kf0S6lGr z0|Uu+^*UesLpmU^0xICs)bQ{BWRDG_yp2#KKBp_r#7KR_I7}aQ|KHqgW_695^yyDt z%iKJd-z8Z?Ba$fLZ_u8@f`79{$ptSi_xLeU=s$la6P*I|wE0IB z+~Kfs4S?W!O8t42=$l~$6G5ph0$tS|S{0HHr~#+f(?na?9Q_r|^eZ`b#n1rwe{w9< zS;S48##5HH?@&4^8P0yBznk1&#fcO(5P`LZi5b8qPBbsd0OsIRVQyZ_=Lo{b%#H4Q zzn06s(sPmv%1s1wlL@vin!wzh#pC;}&?aEhoP^hu;bQZ~veNI=Sv2Km5CP{Pv<>`9YfNH+-#&{GA~BCx1v5 z-|>qd{10v&WOZxZA3p96Ztb=~?B{=_=X_nV8?naY zE~WdSIWObzxCTNQ$M46ftS}?ttgdrASK4jiL}gny1jY{J6^lN8+$_Pq+qy#B^k;Pk z`q@4`a?<2(Ok>BAa1{st!X4{WDL;%u^O@*9CShwcZH^P%A;w@>V;e01JjVG#ClXR| z@{mgNHMw$*UylnH%5s1MgGT~OXw0be6Z&h@>2bvI#jv;r$>=#blsidRj__^#;4=};7T{L#@)=N)o^UmVfgWt( zf%$z)kHN4voZ+yX1k$?{_KUTHi(lpxl!MvblL08F*4(v>9kQV8CGI4S9}^18!)?hS5wH@Td32%Jk{-5HDn!?Fd-m4_G`Q333@gsk3i^}W0CR5yiXfg4T_ zkksS)>6fcQT2^4C5I=au<@)}KfZ>m!xN954&cT$|r&)-Of;p2uR`*Dga|npCtZ=vq z9NnJ3K}XyKS+`|oxKl$MnPRvjc=Zfh)8Ue=9d0Z#^@m<-IoC=de7DeVnwmA)SJk)E`tdTjaV2x7r@?oyQ!m@3%H`?4hG9H%!lH7{c{D ztbQ6}Ew1i?$R(2;N$iHnQnyw~C)l+{{>xX*hlliCqHqKBo5ZP`SN>(qYLd_~ll>Zt z?;}{l{4UP?@qerp(c%38INI(~nq;KaB^9|N@iqP%lo42Nj|`tbRh2pR=0f$nv|@S5 z53j-eZlAbt<2ejoh3I(%mV1uXM<%HACqx0M{6kpIP6&7mnDT0}pO@v0ZdVs1{XwVa zYcUcdPXO5w`o+55RmYR=Dy;kr92zdDm}G#3(rwF-r8`00?>gM~>f}s-c77T3kX#P| zQQKZHCMB2LRi@j??x!Cj=yLT+VS9E8oC+=^Rsi372;HJzt5FEtUB(%DMVoJjt~5(~O7 zviZQgM9L^A-1%NZ3qiEnEE9gpJ^v_pX>!sO9vqmPvdVRDcj9}WhNfF^0{elJydzfz zyCFgB1LA@6cj=l#v}+Y7EN)#qeRCXIWjYTpM@6nIrEZ<5d*G4#^Og`s?m=1xKKmIz zoR90@gOu$ahj24GoD~JmCWHq8qerWGFSm+Z8`n(fI(flp!)+*&C5Bn>+(wOpRO zmQ&8qV;+T)#iAl?kmK(Diri*sS%1;Of-2FSsDG3H`}t147R%Z1HE`mA-8>Tf^E>_A z=e|!``CI^LX*oTeZgVw88jAibr=^rff_A}>=V2j?@|p>D1Lh3?;v1`T8JT@KgVb2; zy%|rU;RQl6m`~Q3phk{rh~6(f2ztUhf!R;s=D8`PTbCF(d>IEAPktvfF?W?Ia>bTH zAQb%?Iy>9qj$%bZI6LV5$5p#wYr&;deBMluCuvoH*ejfVrXh!166=Cu*(Pno2_bt@ z0lXp!FmqX!zVmt$N2Tz`2V=|6^7|S))M7u_82e4u`?PB;nDP990joY~7N4x9J*7yp1?y~TAcYR@fdBClrhM$OE4N*OLK0Hi0=PgLlJNNJf8&GX=S2PXV=ET=} zl`qZ;6H#|ip4(_Wk%!vDEEWnSB3l7kK+oA;($W%KSAAsv`=a>pv>i(6T+wlmxCs*( za8+4(c1jmtDS8u*5Jxp@2;QVMtwxu%rt$UW)G;m``22f>1SF7a-5D+^tm<-W+r!uNc-x5AOB)f; zUe53-V17dg@Xx6rgU9*3mEwbs#LyOu!&*vfCFbBLJ~eQ|v?qK~JW=4$d|;-qC2O>Q zpxv+GjftI$;ZDbNfyFu_hBz3Ly+d6~iBAR&r-=iVCE7CxKd@~190XzpI3J<8OW6;U zqkY?1`SCKrO>XMav;dC?{VXW=FAa%dhG(K`;CwvXl_6rlr=(HO&wh9RSovyE7e*xF z>Y(>xS9w^`Ta($(ZhN%$jyIf_MTzdnNKkMKe6ulf{)w&eka|CeP05KIZ~RzwTG)>Z z2@6MYkn=NmCEfy|pNW!nOBDrlo4gM{dWNx;Ab;B)Hm8kSNwjs=+trjfODR}tzi($d z^+7?~i#psoi^e;c%WIpBlB?eY1l{u#%?3!|_(yTUhXB|Ue{K(@AI7e28^>`AhChZU zch}i+A>5w`0m9DOxaj0ieSmA^*sj8Ij+@Ydc_CMDPh6`%yE!{v+{Oz&&1y4QRAQZ# zC6A^>Jp;fb?^S{l+=wpMM>H{zi=tcu+`_k@lS74zC%dLY1RTzG?B|ThykcQj;1nO-R^&QQV`vMb(U2ql-@pODvX3{i0^4Fcw$TW=OQ?8cZhg%b=r$sk~sC55)0AXsGUzTLw%fbnM*L(dn zQy$|=mGfCX{U*-=DrEXXkuuI>JkbzwtykAPT>Cl>lS8I$KU%o#ySNPT?gK+v90mLsX zK-P}kJhb`yK-H#L?bGkkulsZ}!5TLJs~kr~4xSO(6F1A9qDYKhh<-B+OzJ<+m2Yz) zyf#e|ohJYzq<$j=J)6)R(h}NyOUZmY#Y(m9TQB<N zfR3XnV<2XFa48vE>$f5$pfS*W4TY#EwzqFmMKXt~c_%EbIH!ObR%{#@Js33Cf5PGB zxkLR1BgcOn->;?|;O13+$Z${(_oFaH+YT{us}V7t9o2Ied=*)GK0R~tn7D4OSc?Yd zA%5>9{4{>0tKb;(+-ydMFY&mz<@nmY#nb%3V>pQ5$CYC0vZdaPt6lioarK0Q*!Q?eo7dY?bwHx zuwB!pvuFhkHn6D&P(@7etQ=NcEdV3nGsl4*>QC0gwXWaw8zkJAWp+v9Q%&F>p=6H8t~Ntm{yhUnW)eCb2!|?!9plv=n^dAV-Zvuyz4S1reEHaj~sM{U;aY zf+Jz*-0tJ7V^p=S!_wX`AcdKd;1?zbAFiFm*K)r}9|*M(xKhAr6mRA_<3t_zK5@*0 z>~iWv!mLvhRwh;)1?cMj+AI98hQxLzUOhw~s#uV6(c#R*5oqsI?YYf?9 z12n=nn)ptm9rD6OACjeA%p4zNKolU>qy(mX3Ye#96N&6t@u{q&5V?+Nx@K!kGG&cBa8FI?mZmeW*CY zet^+WarFV>LLxg3rCn1i_O?Dn)OYAm5iV1pQrRRdlvD@5NG}BEAaji>00C5I>Hn z`1CnKQd*p1vfp`De-T$v8{NoRI!Om?<(Z)%u zPL3LK1tmMz`j;keUGXuMxd<;+mlX>yhm*FhxV1KikJ>e;ulITaX5zr&6+28jy&->o zIO}Q3xAK?7ZE-q-P3}|B@KZhWbj{x=-UYL;Roj(#KF%gSdx)9gpiDX%w@S%_#Kwj3 z)UeNhTk3)^iqtwB7TlHvf%ax(&PzH5RR7@%f?w7LA{fgw`aA8qAE-8QBZU!HDHR=_Q}&kU{=!VWLGkq!zV?F0N~7w399o z{xmDRMN}*4u4I$aMA~o%V(P$wmibm<1H;iSX{kB?T>NA(?vxy8$Dq;4-d)u|+Wa3% zn?H%d7urxi=ov8&5YzkXWL}?#wA1gf{6h14<~q2>CeeQKuVG1^qm!mb%kQcb{ka)j&z6 zbr8HDz;P<6Uer_UAhnWcBbU#O|8}-Z>+{MPDWK{Zg~Ca}5yL%eLf@j0Q*isowCB^^ z>z^nfZg6Jz;h2-B9f`*ra@jNA-}_lB{}%ocRS;iRZ)@mT+_`kYgR`?f15A<%I!d;V z8L(WChLs7q8aV2R!($W>cMnD~kAvGb4O;x<#`@zxVH9)&Aac1`C$n%Ks9xt(trO4c zy2U%fBaR^hhL7F15rjq^XqEuJG>|Ahh+;Wi1 z5^4a4#Qfb!JVfI9KDu7;@YdMfe~6iWCecb;i^GdxwN<>?jUU#=#%TSwo>d(w#IZ-~`gAvEGx%imEkIYgYWLV59^3I@pqP zOZ`z59Z-^C0ms41$(&Q@4u(&e7jV*{r1`GC!^rS+eCDo{dta0$>v}l`9b6H!z-h$l zU zqV|;mf=j@#agtHl=qEA#^XG@i_fr!Ht~N2{@32BME!g#-=RO@<_f>)VNBM7k4+$LT z_rFFFt7}9>15pKS7l)y~z2QL!Rh#$^DR)jvU%e=>bp_50=r9;$g>}xqKEyzTyaXjw z+;YXx7-@i=6c{;#+=V;~Z|Vce2z_Z~s1)*J(0pKmZ(~Y=BRLQz@ z^3^w5mNI$I?BVCddytzmkLmk+$<6S9GN1CRgc)ucv*rLocM z?s@D9KsD}Kwm1}UxHshja^=27PR+`Br>Wx-tz(eegeYG>r+a|r*pGM7l=_2Rxd2u@ zrYXb9O|$u#*?oekGaNd{LOUp90|vf+b#U?)9QFPL)>1Nx^>sSTV@PA2f2o?COvxy~ zQIiaWqMDOZ)Cc!s_|Ka{P|u}Q+F90trk2zfW3tn|%=GEbjVlI2!H*&ZCJ6^4C3l7T z#P1jPW~f^Mr%D>ZOi{)!oU|8f*ux!YwD{ZfK?-dm8%0O^M_qBDFAINz2y%*TX*UOc$Wz_L+PtDEEss1o{@NZJRJNH+C z)w$vv*dc%afrcvSzZR$f>rM`DsX7G?yl3o*f{+6Zur~10pP`z+7GIE`#S@wipgBJK z`_4zVd=6~qIrjzDdFKtog8iy;U{-C{d;?YzG>BrH0WjuJcE2`K^HD>2+@TvDago*$ zzVr(oR;N}}0NJ!mt^k&<#bbQ~P2zlPue;^Se+=`Jd)lw>PzhLty=L5arf;`m$q^b{ zuHQT0F&E+6)dBB%s)3z*+hO++9ah&7NeRSp+iXY$HZzQ;Mb;~Ck%z#lY#liy`(~Ym zS_E-(O&d42$aV)=N~A9Nq5Zc%`xquj%_LV&s;+O&BDzb|;Tw;n;_FkJ(j)L17`->m zfd3-u5O_}?S<2;SN;6_B1;_fb86rrZ9f%LUgACYQj~+7N*Mr0Z%wAp=T|{F}U2d}y zy%xiR0Efh_Ds*2!pr~q~Uqpg`tfS;p`wet6$=Qt5hPO;<<*ZbD80y(u#2g@te;+`k zyNkEKDkLjfe~RqWLkKQpT7Ew-xaq1?ylU+!eUkXyG`KfO#L(-r$4O;lnSN=O;&rSt z<~_S?H$!}zwnv&M0i3yZ@W)XS#Xd!wPtE_V8AVAa7}<_XVK4)J3&Ko9QIk-CBpk>{ zNn)bwUhwzaDfV0S=#21|XP(4Hs+X&1{zGBPT=d&Re1j@1nuHEf15k2|$Fj{q1`BBC z|9CTgu5n;fsXA$ngARn$0t@mFvZal%d4^;?=%q>I-K_*2P~nc4a-n@2*8E%)BR~oeBxq4DsFS-Y&a<%1co6~bX8d0 z+mV7%hDx!@5)#bHzwHO?%ZX`C-3|ESu~AjbVkS1E6(#bv;wZu|CvKu)q)!`C30Zbb z@|vtttXsnsZUeDx`}hV3e&^!h^x%auwHC}YY(4f>XsKgu@^s49Jc%^Wj7P%45{D52 z*USU$61%SUR=xbrkHJ2ib-ZJbJnzjq2#)1hj;XH0(cOE%8|}cTG>rK>P^JP3&0^x_ z^!3w8p2$WL+TFE@lw9OE3_NAVL@m;|#P{3wYJBBJ+q~Tkn+i|_YWSBuQ|l|*kgGa{ zu7RORj#$RS;iL}?spONpbWCcjZ|=mO`?UR})pu#^vPlD6=t6;|iW`lV-Tc{JFuFPJ zsTEzHUenI#9PEPBueSq^UK~7pVY0)n7V3tcY(0TKPrW_KXbI%h+XYAlKHd{F1=XW4 z{Ol-ybw3PO83PBbGBqPWiXx`Ud zY}vr}64C3q-8DIYo!U5R69Voj`Ee960Q46g3}@SR^a>~_e-Q$UtlNBiD0vdgWTcLk7IB_ z|BJwUmaCL2)XhKS0QU%LD9IpK&xSbZr_RV@6ZTOMR#Hx1jlTF*C)vPHT{ZvbBvQ$& zZ_%}n=}`-A;x#pi@E?7k-ev1Pj*B&9^W~1&xVJ892Zc)mQtAMOnC1W;HU;LTXT$QV z98+0B4JvbqA(E=rBZxG1Ym27-vb%TAC=LamuzRVoS1Y2TYBCUjW&EcYDwtZN-iSVB zGB!Tezp`yGosNX92KTK+rjVkumxpHKPZ>|LoXoDY8Hwh|;<-;d5Q(2GQYQeD2lX)c z?53!=_gdmxHPMR&MjBFH(nUXt;88uzqf&$<#exQ`q03HM8ME}wSU+26kJ^ElIH|Yd z)AODOk1|XmPuFOKxjtuRD+*n&wZXW`X*Jg3<;>@IoY+@lEa+F{Ea)2XNVVV?mX8ZK zexM$FDE!yn`3MpkVIUHeT>@7-x6tn4xQV+nCcC8l%4vl_lvy@ECU(!b*nkwT*|-<5q{#lR7f{f^i{kwH7on zVZ-$duCp+hn+Gqm+!r%_dfu^uqR7?$QZBrVoyo@M9ta_)`+dagkPGF>?64c<=0T!NGg0!*Im=G(;lcN%;~hcibAk@@@U0rU>F;JmtPv^db{%rQgl`WKD+6 zAI&SK!u+a$LJ{6v9a{RlYL=lqS1oX=UG#w#7{&Tu=~e+du)cE_Ka-2|l{^E(1lJ!a z&tH8jNxx9^xP0qgsFzYV=R8xtCTyR4^d!ScCG;pz;t^z0aSQu=jv)0i9EV5I99t~l z?}d%IXvgqF23{PPl+@f!7^s&!+yp)=UTJkonsnD#Pcy)_c`qiA)^`ZDusjn$QE7~9F( ztp--*oX0!F{%waIFak{?91Ax}FP(<^+F75ffqm!tD)<*TzZkK6KIurLLE?*D-Zo$9 zAQ$+rnPO2uNX#Y)7q`*GERsrgV6i2-74@!idP$3}hmt1qWw@dSFn8Q^%g1TBw9AzICx%DYMDLdENG;a@3Vr3^+GbQFzt~fZeb+3a1O~FFytm zj!m^;Ay}zgI0~lvvh8^dJWOiZkuK%IrNR5fdI&UhAIs;tiq2HgvM@a^FjUI#&Q3W? zvRNyJhcO?q^k95<@eesO;Ghd3DD(M9gpj1iHTR?iJ9Drq*zOFO+((Dy-+q`VPQA)( z;sYHy0zoWa6 zdO1x|-Dega`Ai$guWMGMj(19@_NM!3T%r;DiUCm0&n`!=uJBH9f6XA*KWD>BC-;^) zSxv)VYLIRdxvXu)YI(W9#9wa}F?j}4d|~uM1q03tT98~7xw*g@M~CX-;EuuWZrJWr ze!%{r3SN)Unv$QiV&)q+!U+MT2fqvH{sch_+U&lfPM`#ngD{%Ulh+co_aD;t)@Cs3 z3v;hVIvV_c_;NmDU#DO$%t?RS)VPL^YUwl;QX_AqZnGhekVD234ScESU8y$0<1@e$ zjwv6^qR1#8zhru2Q*{^nPl_5Fx#H_pJTdnj=OY3u*8g z-=dtYuJxb0@85=#|4pv=S(8ZFm}4~hRhpD15q$f~3{oeq&p?W^9l85g5}wThxCCXF z?wPQ@Ax)H#zX-$I!$@HW2Om#|U_}Hw&~|1wZ+boyLiSCwBvVKG95hi@{-1`uvs;>F zn3ns2kyux3+~}Hc8NIiAJ)z-gl=bXFmf!A{&8OG{;I%{Dhd_Vb!vFQ@J}X#!Z_2xv zT{aV6sgd2GZ+X2x1lPQ&Menr6ao7wJL+H{C^Gglk1=Pl(A`A|Km`cZi1q~RM^%POAOJ5I^qwdLFC?rV z8&l0u<8dB18mI?3Gf}xZ2d#Dzv z`Jil|BE4TddZVn|7|SPNAOO8Uy-gOi&ASODsEjRps^}6+Pa81r@CCUT@cW7zVL81F zF$UgA>s{|+Z_Y>Mbij}be^oyXf;6!^tUi9(7e+}mp?v5K8a4nYcT*}DKZut32B07G zQ5QQh>`}Y`<<}J5;9-O5-J!@>_tMOFnXqqx8Oa+N(k%)Eb84NhP&R0Q`_aq`im4;F zUimztXY$HHZwC}~84Y~3&W=qn8!K4;Fs#$!@AS^!0{#o6jp{;4BQkMnpq{XD_E43B zqlPPqV@nu2?NY>1ds%v3FuHN5_XJvF&R8q9hG}bDVB`zJCl50Y@j8V;EX_qfI(Ea) zz6hHIR0(%d6B>ypqeT+6)RCii=;e!);tuB#Ia&s@zT=!S)d&B@f-|KG40y$eAP-aO z4X!Zv+!r|FeH1T2)_EZZQ1-ufV3$piT){1 z7LiC5eAvPY3<$QcB9tW7O$zy>vH^SakQDQCBEc9A^QWB6&l*ayVLGM~_&sZeU%vd8 zGcPgcPnEtJGP~EHk+Iq7ZwAy~ zC!QKYUlPi8q`s%_{S_`pH3a?OGM+`3zBRisQB>UFsO)mDKz0-^KKglx{xisI)QN?%!Stp$x;*w7g$nRAz^V@Io?x$m)h*b~HOh33EOF${WdaO>3ZYApLy_Dx?03PkCQkF3Vf|rDE442aE#(ASH{44_VnUd zkM$p3|6_7)JsLd#7qr^r+hV;qUc|-cx8vgr#vqnC#pVufUA2(D}-g7{CTI8CoBaEgS zd1cd2KHxd-W)cJCI; zLs1wOh98^z3Vle^y*?0{G~h2JoOT}eGv!a@i$fn)gF%|J{lP0Y!_@W$F^Ef~ryKRTQUw;eIL0Nj<5ZnP5xdk3NQp9mN0Ioqz z3SdIr;Ce>SQ-_1MCMk_?4Wv}Rmou(s8;kd0zXu?TW!F&e_JjB>@Nl#BPRgAc5e^J& z9u1+hNa)as;0H@%RKBe+`s{+=skn^j@_UTB<*1}Z2Z7eS(_Hf>WEjzpci<8}eIar z>}kTe-LboQw3dEt`DV4v-*?>Ea?{+0eb_N%5e=I@AdP3WpC$2xyJqy6RuNf034EFg zI4Q{8W^xU?pX)@!xY#hkITE>Elnaf;I9sZ|ZY?w$?47g0jSmF# z+hIx7WFF357FzZfhIja|jtaYx;mwuC0lm zKsWcW-UqXi^S?EdY~D;@c?#zNqnb3}qWrWuOmkkCFD4ZT*d!0|>lE`tF*(C?-@*Ll zHhPNRQD-Z~9+sX;51?f2*wKa>Zh_5PE~%&-T|HWQ@2*e$XsTeM5_9$D=Iv*%C(WO( zOJ129#~HZQs43yk!Q|2&%4xwCjzg8F``O;Owk4qLGvmEbY&4FIO~v&-CLV@N!DFGj@3($bDcu+{OPxz9hp^!(p6h|1 zW0$72x&Y;ZbDDFy*&XQYbz*J;zBzJ1PO-M48etftuh=+8vs7enS?v4J-GJJLHyARylx) zv3IHpaXV6QLdzJEW`#K+KcH1p@xC@0l9Za!Q%NNI3yT=_L#U$uBh709rmL0E^n}ro zg6Gb#>(gI5X~0=cH$ACN7hsw;rIUDdPXGpi6(QDLu7aLKh}oF{+^biS9y+ce^P~}F z){$U5yU=KS$6lOiuSc{fFzs41LTU`r*^fI`A?jg2V+{w>e;R&;Ii>Ln>qOz|$tpEh zLj`n@r;vayB002$H^9GYzH4ilw4e5j+-AxzMoQn>HTvNS^O7}`2*RlVtu;ZzS-;1x zPvvCyYm?GCvQ~{lun!0hSzt5njiSQhm{^gfjXBpnawShHougUt&i8OLGJ-)DENZ^;s?jDSe{!em4>}^;f$yatEInLZp#%{&{R{M0%uQJ7u7TFc#^z@)d;q@1=dmv zsS6&JVKyXJM{e=9_6uER!;{X6ryUmcG9Al7pSs}j#Y~kva_r7JzxD`0R7y_CF-YSC zXl3-*$*x}a-)v;-QC=bzU)k--LZ!_08XwGT1ItV zxFNMTqF&^62HtWs_)Ql1R5r@U27iDz;s;;H`%}y`vF$}n@Zk4$_uPXYX=?_vQa?OX zr7aRQgu{xqtba^py>O3D*>QbviIW1Iam75l$4ppKyVw>m=)-^LBgp|197~m^J*`g- zKIS*2affz4NR_)uFs@ql2QMA`K4hfWz@PB$WN=67<;Qa!gRoN9p>khLql(e`>o_}5 z4u10oN-y`Kk@_7iS|d|x+u=G(GA}L)CtJNxcbU;|#m7HT(b=n|8SOGh6xU#8qKeWs zuK;4KqPmz<3kCEi&+G**Qy?TyvH_BAd=N9bLsHxCcaoth#%L_#escdYp>F8(2FVfOML|;I$XR~VT`f|fDPWJn!O}f|+;_zb++h}J zyD~MH3`z%|6~!w6TFl&SMmyXrpcQv*`H-(PcKl3c+N!RurI?>*UC!IZc4AlGRBUf~ zvu>bSlm=Rv9T-T`Sfu~{`UYRTWw{^1kHx_zWq#AhjFA(qkyA%I7vDcG6_wn-{msnuUmrGk57%z9(#&E(>o)Zw07!Gpr54MuLO^Zi zqA;;)S;kB zcAzc-WD-Wt0P>wp0y~USz+ocyaHvVqnsGag&@%MgNxl7MF^eADp49<++Hw>m zSM;SjY5Ei)-PMm*1aE61pjO5n2!fl)yxRnWNdcXWPTfhf)rRzjSea_a&)D01s&BF- zyl%}k)nZ*PmSv{;v={U!P~K=9aGO?%?NY9DKC`Njz9vKIdaP%OBPRv{9nlU$E#4Lb zOObYG^IifueyZ5W%z1Z)N`m-#7=AK##b+qVpw*>YVJdJLyT-2*#jFy(08I*})Go3D zH9#oKA~5yVDrn7Xtvf5#Q35!s`CKD6lcK=U8Mb68k(UA3)pu68K9)khj~jM&@m)pt zOt{7zdDD!|n6!S@x`%1GF=Cu%FUhpm4=RUM=|3R0NA*EGtYch;1fDMKp7i^{C!m#Z zUiX-}Sy+V`oR)+PWTRPk!JWXf_UT7IU$04tfTAPT5$kfogidFj@Bku<3u~@rkzy|| zlt?@agw%wJ51j+F$l03woei~O-OSjj&>10!(}GBjUiCoLb0+q>gHHLx)pF#4_V5dw zZnkX`YV7d}rD4HKT%Aoa0@&|9OF?Z!4cc_!1ZtO#*Ml|Jy4aj_xHxrxNMpX~kWEG- z%F?vK1`w4&DgVt!`do%`hnobRTX;Y22zqv48+CLdYtD!;eBfkozEe1@H!IG_W|XXC ztN=6j1;rj$+6Jk7KQop{c))ZVG*;Sx%%#2n(l(tlHOSP(W0{tlYRp&mx`ZK4qQ-e+ z=6(JnO!=o0riCUWR8(S^z<<2DDs@09pS%O1{JyGVQ|G$k=`qt)iNxUm{on^LG-e8T z34swkgEnTaxdKSmbfh2N=uX4X`t|APoFg0mSbKhXScmgE)wd{ASa|RBspd!eK1LnQ z++O~>$U1iwqd`}{TZIMhAc%C=L&$sT9?dhS25YF5^t@^8Qe0+SzJCU9(j<0x$Ruf@ zASVCG3EW6Sh&0I{It#I4$g!)cOk5P4j2>2e$x4t5S`O~T8I3El240z|Z`aa^y&LU> z!qan;)kmRUsZR%XRla7ai`>RGz2}IVp}HuZyR`pg>)7+I(V@7rEB+y1-;>cz?=(%9 zpE4cDK0vsx^Ir0CM;7KqOsdNJb=iKFB|wT#$qSss2%x8&_fvm7nETjJ7AVJbG~9Qf+!=xmAqYQ2ImbAM01+=d`;6ye4;?p}TQbWLF^`qH5wv z&BfI37vD!}eki`6c|SFgTkwI?M8J%;J71;mV_i<2jmuH4G}b^apz8yQF2t1(tGRQ7 z;T0T`O$p|n8lVa#Cys80$JQIL<7C|pb+C1unyaLf&3f)@7M{4G6|k#d_HY9+BvQ<3 z;^<(Sz_r1@5x{mDW2_q`FYJUjx@FR%ZGNP4o8go+@Gv+P3uhbX!o%T&wdAF;Mrhw{Mc!PdpE3hR+GGCvL zSP8f}_fTNh?gxbMycZ5cP2AvygtW1DpoP#PnUF(aM9w}5!tg$`KOP0{(GLExSzPf0 zVskb_Tdw#`H;&5p z8lKPoknaC#HRPA)EBcBsILOqn!0|x+$G;o-&floSHOyG8~Ef#RTOMO#2r5 zX0T;2daa|qk?h@U83TQbxPayjbKHXBnL>S=qeVw3B;zrQSi?ijoeI5RaAY3!$h0B! z=n;6A{<)Wj!7sJitfuwF?Vk4vo_ovzA^%n~S#h0j!aKMw+{5b~6qMy|a;C4i>z3mV z=B`B7X*t%bTq^lO+-V8ejQ~piP4&H6mZa(E zZm@@FW%HfgmXfgIiBKNFSA~AH=SMW(kjo80jb3_A!k9 z6b9O5xBW}=4xJlHUQOT}`xITznL1aY<+s*Tm}nn@lm#S_)eCMyC+QILP5vgAdGXA! zjQBYdAL=*Sp!7SZ&`+>ZPkAf|;xttr%`1)&@`E+)i$qQN1(T(QR@ZLWT`=rL9Zv>kZbB%#crv&yRjGln zC%W?Bjv`k}7e`pk^iRS~&gN}XxO;HVMFLpumf)dNb8v)9J+FR^WR$5j{g6k;>$O=q zb*p55D-f|!Y$2JW1VSG-*A=$rzy+vP&^{dz~& zl{_=guc|PI3Bok(gq7ahq(HiB!SAnb~s^>SDo@~ zRKlh0fR17su!ogiBdcwDFdR1hT9HpQxQebSSIO+!KIbZjeIs0x1I9Rhv$&MPR2eoX zIBou00|mYK#VXlx$LqA|Ne9Rb=H+BcY5(YHFyhTEi!VFqY4Q0Qlj)tH^AsC17{?c~!BSUrNj@m_Gs7d2(X}h1WvL<$?#;Q;^M}DNO zF%of|)bD45S9PK*A2o%pyd7+5;(4q-g@YO4EgiED=kbgmJVoI%lY(?_Icud)Y0k*U zyZbTAmu0PkgzB3{(X)|YPSzjqOH+knPflsZw2_<3$LVZx{a8ngBiLsOx8iSPUvblK zp~%9;yx$-dk51jVi1Q|%pmCoKO@_e7>JNC$3FE_xX`4-7vY!K37#1=3@p0V8`q&GY z{@k(7jGus4AcniqRGT<0P%DGh zm5nZ+opB==fIE#HlvLMBrU(BwHEgvgyvKvm@Nf{qZySS9O#ECiX7Av(a9{HWgFan> z_>$`3b==*5GSUnY-k69J9ZWJczR&AafR2N?0JOVF)O&DKvWh0-ynCj`@m6%)IG79v{1 z`{@`hhZ*j=jQG+j;Kii-lanV;BC!n56UmLk$G! zhLd4C)^xD+$30YUPQZS(bE&MpWTmr^1vZS)o!E*xXJjK(8oOwPHKOG-Zfw;Hai3{$ zs`5xr@k5xwS}q5`YV?vg8I5FgY^rcmfin+KFpr8^BYu_bS1A@nMXE>uZov^vejm4c z-~j_+^6glPT@&bkYC!ZE_@L?{7T>+{V`aj4Nf$oy{o*4Rf}-CAd_n|_+aHN zp*zT=9d3h-&9k23YUw1%9xsaCtnNaAR>Hj z>w54+$CK(Hb^!=9gCnfxKj{xunlY8Ov*EC=fi`MGkItF3o)`Y+(AB;+K32=fJHLC< zc)GYXC7?l9r@Mww23!VHkD5W4bvh>g?U+%KE282kWC`mJhRmY6E%Xo2znf;i&b2u} z+ytQHkOvFh!zb5L=!SP>g@m*wlO1mu2v4VQDHOnbE4tIG1B=0M{=&(i7R*XLAVjT; z<7EOcCT45qXTAR31H+6R@Q*w0NR)UF^q&j2eXrUpeR85`O~aa znY&9;emdr*gL(AGjwq1fd5CM0OY1VQtDi+V=R?|-x`G=8&)HRb$w~7s7VQZw@?4F@ zko!aR9k7MGsL?daA9k0kC0`6Z^2onB{B`Q~6Xr}pKi+8N>vtXA7lba#9_H=v?#5aU zDL$Oyt*#GnnI} zIfdBebS~P{>=RGMet`@8r)%VonCcBzylXig!}p~bYh zDQzSJX7-G+US29Gg!?Lv>iL3D57q?uS|FJ`q`gx9X7F*)y$x?ft5Lh;yD4wsSgF>y z^wdDq^uM$NflK1rWR8Pv_SDj#rrkYblfimkxSC1zGCl{KjS{v7e8ks9Lwh5KzD|}x z`urnk(UdhGqmZ2A)5UA=%!R`To~rf@8a!h*7zTDj^~w%v5>lY$f@oONL{Zn?tz@G0 zTGGJf;gpJg=L-_xC;(CCAkMW3UH{sz9_gIjn^J%1-WPQS=R4v8&J0`&pVLNXk4?6n z$GB6!3nM?@7NTuxz1;VJ3n-#890HKfpyVj9hk282^H7Yc31??xz!B!I?v*V&)SsMp zv*pdGyjM*1JlPDcy7Ef@q}ngbAAJ!kRYp@YnRUFCTW|Dtnb%Rbosgo2?nwIdcAP&X z8}mZPz^6R5dha-kfsb_Hd;aqk)DZf`l{P_FaCv%;eUF;Ox-rtlH(pK` znB2&KZDjzPkeC%;poX%KQ$N%fPi}`39KpjQcpZ9RISN>kIcpbK=)whAvDKY>zjX69G8yEqO7@(A1!ahR;{ic z6Pu8~imGr&?mqvtXY}Tjly&Ti`SfC{9Ga`rnYG)AxN%P4fA1|f}O8C+pHn+SRkxevEJ)8*lpJUhGBvUrza z@8LDskZ{*#SQ)Si&5Vl(&wz`7jFdO|;IY7dRACCG?PZQ=R~*0WtD78y8KTw5gN|PIt8TmQQ@SXQC5*ZHe24#-v1GsBB+lzgdj>ZmR0`P?rRC9 zJQ>Z(&QHzn^mJ-gq*WT+%K$AaiA{$jH9Htr}pbtdtA(-Tcveo z>`9Z;1iZkG^SY2USi_yt-?fZbPJ@~20a5B#p#?A&n^Frq4)0oDL)-#|kfYC*#)-$H zz#+Yj25YQvA3FdLYvXWRlaS6a*J+0nCzQ!Qe?0uT0nApr|GV`4sa(l*r0rn5vxVg;4O<_)*x(} z`5oh4HgUt2V=(1M31O@E=;(NKkGNBl0MGrx6z0CH9xc|F>)vY z7~fI-#|sQ$zU^?ipSsK+5Rg&xcvk#TQy6QD3-O5yOeO;!F52CUW9~pN;u!1)`k*EV zeh*WSz783>Q$9lC`kb-(MU9=iV~=95_@UiugMKBw(Q%f;X>D7P_ZBo1USS z8*`_-^$1aPwQ%v|5izYoG2mH@c#{7%803tC_mO)pCr)?In~1<*0Ydd6mghS-3AbHH zsIep`?R#`yZKMu|9|OG`le^h(BtBa3a*df!O^?nQ+UoLtNZitS)&|6;qRC715k{AG zrrRlZv%Z-!sLnz5Hxu<1{eK=c4>gEvfeMqk1)On4hDt#x(2tL+d~L1~eQsnNL^ATK zh+642{n8DZhbfbu8Xh4lT@PgEBpeFI0UhzUoD*&0+mB+0b;5-mmCFe8rEx59Xrw_G z&;~ur&Wf$C$;-u1nD+XzEAv{NMF(9mJ<6Y$sP~Bbw$gP&`Ro>zXczh57u9>UjA2$F zvtnMo!N^-KQpG?^(?j~|5>}%eUz6=u8+B~T&P@Og`28`KgY(XLkceic$1b3#%v!EX z1(9Ovk@_^S$95tA%ZOoQFo8ij9-?O6L3tC{-)IYf)b0Q*!ZxHxQLbBHIoWjrrfuk` zYa}`QYZoX7sD2+1@lj&_C!ieOZP-k&FqY5kZw!!j1p}zkVit+B;ag@?kO&}&uIHTl zB}8opz!6{IC7x3C7I!@%staG)*$3?l7Xx(WwEiC)HVaD=Z?gw1k*0!sPPxg zXW}?H;H*|7LOAZR=lVZdtYWMJ;7a7s#{0~T0Y+~kb6{XcR;+F5wpWTpL<17UzbrbK zAbzt0^vvfZr8ZT`1OSUpalD#!j7Gmv%BKzE) zb`8C>ek!QY@FVca+IoxbxpSg|)r_QV0I&PmS~4@m;E;>5@Vwy1W_(+ZK}yDbcPG;0 z@}tw=bVb&~J%I3YcELODY+2x^;gJ+)9B5kKp=i>kZN3z37266GT&f%$|05JBnrpa4 za?OE~T`^!BkeQUeY8)FA=fAWWK|2`hbSEC{+0p@{6LmS)NRV*hd7#a09(YIyAeSV= zxBY_lwe(wV=*3z00#&PL25vCMmu-)8*wEurZZ zT76^W_xmG0o-JCyrIb0NEf6eKb!6Dghjlx>_vpU8TZ6Uxg+-F{KA=S9xhib)z5qK~ zpp||($Xz`?J;^e9vKb{GLaLl$>_YKg9wUs&d{6#9(xID1>V)=q<-tF_Nwa3}L>KNu z!@sH(dBLteTeK%`>{%;tu?Pd~$(Cc&5u6IZkU~g#_JKqBO+7B04z5C0S~imjm$d^2 zs_6#7+VMvq?Xart=5_;U!ReG9kF1Fu>+rFZ-CH&OPWIt+-wu*S+-}YJwJHQhdLGCs zk;vTm2*l2wSFJ_qZ`k;wxa$c2v{g;RyS593HYKr6`IRs+zJ2TJrm6(Mk3eYe>M@>s zl~Q^0Gl=pHi3*^BvAAM{9kus0h#R?N03{PNF}|j8Bc7@xPG&!vk%oW8ye@4;4mK?0 zi>Hn~XYHv_K|;j~F|(Qrz#I38b{(IoaT_q zc!PvbJfKE6WQ+;N%P37l^dEB^yJqY=81yNy@XGwLf)}Od*Kwm-DdGN=t$zNevYA9^ zgzx%kz$wZPZNuMJ6rc`msSqMkKG3Te^d+sD&D;aS4 zf=_cF<{eJ!Z-Rz|I!#D#ELR0$me9r3Q=EP=y22}T%OnhTFwd$Fd;^m zvfOvKAyCiA%lE*f9Y$YPSXMQs%*J^|J_W18F9WV~iPy&G@n?PAxBX)7#n(F~{01m2 zL)&0-w=`7{FWZ;)6IS|CrmAlgP6_V$y<7CrLPBtBZ}VToV3s$^$;qRDQC@(NzPYJ~ z3L*WcgtYNZE8Q zQVF2vxpYHgvY=&zDDQt7Ad~ZeJS0{n0_*%XDwb%I`}J9X4pG#b1KzGE{!ItZf>ddm!84iqx`;7cgV4FHN_6(oj$9PKi2hn z#kMh6f14j%FGUq=1vch@IM3V_vCvpPVA53?TB`OdV)}xWMtF;udr*9! zd#M;x7JL%DRx^eXuSKa9ujl;v=`s+b74%fNn<>YV@Gt5x5?d&U+7t{>@?z7NZ`+)) zy?^+$e-?uMKc+xXjy?ICS@Acs;tlfuBb(;Gf7-u)+O6jQ{|$5EZ-~wRk5L1E`?mkf zHU8h@MSssR{yoR||7wo$Uy48f()#%8oBGcY-@pFtFUpd?3bg*7z6GQe8?O3$tq(aR2}S literal 0 HcmV?d00001 diff --git a/showcase/fiducia-deterministic-rebalance/showcase.json b/showcase/fiducia-deterministic-rebalance/showcase.json new file mode 100644 index 0000000..ccfeb16 --- /dev/null +++ b/showcase/fiducia-deterministic-rebalance/showcase.json @@ -0,0 +1,69 @@ +{ + "slug": "fiducia-deterministic-rebalance", + "title": "Fiducia — Deterministic Index Rebalance Planner", + "tagline": "Turns an index mandate into a hash-committed rebalance plan, so the trades an agent is allowed to execute are fixed before it touches a router", + "description": "Fiducia plans rebalances for tokenised-equity index vaults. A mandate is canonicalised to bytes and hashed, target weights are solved in integer basis points, and the resulting leg sequence is hashed into a single planHash that an executor can be checked against — an agent cannot widen slippage, resize a leg, or swap the calldata without changing the hash. The core is pure computation with no RPC or keys, so anyone can clone the repo and reproduce the same mandateHash and planHash byte-for-byte. Writing the test suite found a real bug: the weight solver returned allocations summing to 130% when a cap and a floor bound at once, which is fixed and now covered by 46 passing tests plus a 4000-case randomised sweep.", + "status": "deterministic core running, contracts not deployed", + "topic": "agents", + "topics": ["rwa", "index", "determinism", "risk", "tokenised-equities"], + "builder": { + "name": "Fiducia", + "url": "https://x.com/fiduciaindex" + }, + "links": { + "repo": "https://github.com/fiduciaindex/fiducia", + "demo": "https://fiduciaindex.com/", + "share": "https://x.com/fiduciaindex", + "feedback": "https://github.com/fiduciaindex/fiducia/issues/new?title=Showcase%20feedback%3A%20deterministic%20rebalance%20planner&body=Which%20prompt%20fits%3F%0A%0A-%20Should%20planHash%20cover%20execution%20deadline%20and%20gas%20ceiling%3F%0A-%20Is%20largest-remainder%20the%20right%20rounding%20rule%20for%20weights%3F%0A-%20Should%20a%20stale%20NAV%20oracle%20block%20or%20only%20warn%3F%0A%0ANotes%3A%0A" + }, + "primitives": ["token"], + "visual": { + "kind": "reproducible cli output", + "eyebrow": "deterministic core", + "title": "mandate hash to plan hash", + "posterUrl": "https://raw.githubusercontent.com/fiduciaindex/acp-cli-demos/showcase-fiducia/showcase/fiducia-deterministic-rebalance/assets/poster.png" + }, + "skills": [], + "artifacts": [ + { + "label": "Reproducible demo — mandateHash, weights, plan, planHash, tamper check", + "href": "https://github.com/fiduciaindex/fiducia/blob/main/packages/mandate/examples/deterministic-plan.ts", + "kind": "proof" + }, + { + "label": "Recorded output of that demo (planHash 0x07061e2f…3e30e, 100 rebuilds identical)", + "href": "https://github.com/fiduciaindex/acp-cli-demos/blob/showcase-fiducia/showcase/fiducia-deterministic-rebalance/PROOF.md", + "kind": "proof" + }, + { + "label": "Test suite — 46 tests over canonicalisation, weights, and plan hashing", + "href": "https://github.com/fiduciaindex/fiducia/tree/main/packages/mandate/test", + "kind": "proof" + }, + { + "label": "The 130% weight bug and its fix", + "href": "https://github.com/fiduciaindex/fiducia/blob/main/packages/mandate/src/weights.ts", + "kind": "proof" + }, + { + "label": "Public repo, with a README stating which components run and which do not", + "href": "https://github.com/fiduciaindex/fiducia", + "kind": "proof" + }, + { + "label": "$FIDUCIA agent token on Virtuals", + "href": "https://app.virtuals.io/virtuals/139254", + "kind": "proof" + }, + { + "label": "Project site", + "href": "https://fiduciaindex.com/", + "kind": "proof" + } + ], + "feedbackPrompts": [ + "Should planHash also commit to an execution deadline and a gas ceiling, not just the legs?", + "Is largest-remainder the right rounding rule when weights must sum to exactly 10000 bps?", + "Should a stale NAV oracle block a rebalance outright, or only warn and let it proceed?" + ] +} From b574b38e5e7e6d0522f3ca6fd954cb461aa58bd9 Mon Sep 17 00:00:00 2001 From: fiduciaindex Date: Fri, 4 Sep 2026 20:13:56 +0700 Subject: [PATCH 2/4] showcase: point poster and proof links at upstream main Fork branches are transient. A card referencing raw.../fiduciaindex/ acp-cli-demos/showcase-fiducia/... breaks the moment the branch is deleted after merge, so both URLs now target the post-merge upstream path. The same files are reachable on the PR branch for pre-merge review. --- showcase/fiducia-deterministic-rebalance/showcase.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/showcase/fiducia-deterministic-rebalance/showcase.json b/showcase/fiducia-deterministic-rebalance/showcase.json index ccfeb16..f6d0a6b 100644 --- a/showcase/fiducia-deterministic-rebalance/showcase.json +++ b/showcase/fiducia-deterministic-rebalance/showcase.json @@ -21,7 +21,7 @@ "kind": "reproducible cli output", "eyebrow": "deterministic core", "title": "mandate hash to plan hash", - "posterUrl": "https://raw.githubusercontent.com/fiduciaindex/acp-cli-demos/showcase-fiducia/showcase/fiducia-deterministic-rebalance/assets/poster.png" + "posterUrl": "https://raw.githubusercontent.com/Virtual-Protocol/acp-cli-demos/main/showcase/fiducia-deterministic-rebalance/assets/poster.png" }, "skills": [], "artifacts": [ @@ -32,7 +32,7 @@ }, { "label": "Recorded output of that demo (planHash 0x07061e2f…3e30e, 100 rebuilds identical)", - "href": "https://github.com/fiduciaindex/acp-cli-demos/blob/showcase-fiducia/showcase/fiducia-deterministic-rebalance/PROOF.md", + "href": "https://github.com/Virtual-Protocol/acp-cli-demos/blob/main/showcase/fiducia-deterministic-rebalance/PROOF.md", "kind": "proof" }, { From e114ae07ee6a4a0cc54a9ac64178d44d12df5bfb Mon Sep 17 00:00:00 2001 From: fiduciaindex Date: Sat, 5 Sep 2026 14:20:24 +0700 Subject: [PATCH 3/4] showcase: align topics with tags used across the showcase Adds agents, security, robinhood-chain and tokenized-stocks to topics so the card surfaces under the filters reviewers pointed at, keeping the descriptive tags alongside them. Not restricting topics to the four primary buckets: 56 of 60 manifests use values outside that set, the most common tags being acp, base, robinhood-chain and tokenized-stocks, and showcase/README.md documents topics as the free-form search tags with topic as the single primary bucket. topic here stays agents. --- showcase/fiducia-deterministic-rebalance/showcase.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/showcase/fiducia-deterministic-rebalance/showcase.json b/showcase/fiducia-deterministic-rebalance/showcase.json index f6d0a6b..4fd09d8 100644 --- a/showcase/fiducia-deterministic-rebalance/showcase.json +++ b/showcase/fiducia-deterministic-rebalance/showcase.json @@ -5,7 +5,7 @@ "description": "Fiducia plans rebalances for tokenised-equity index vaults. A mandate is canonicalised to bytes and hashed, target weights are solved in integer basis points, and the resulting leg sequence is hashed into a single planHash that an executor can be checked against — an agent cannot widen slippage, resize a leg, or swap the calldata without changing the hash. The core is pure computation with no RPC or keys, so anyone can clone the repo and reproduce the same mandateHash and planHash byte-for-byte. Writing the test suite found a real bug: the weight solver returned allocations summing to 130% when a cap and a floor bound at once, which is fixed and now covered by 46 passing tests plus a 4000-case randomised sweep.", "status": "deterministic core running, contracts not deployed", "topic": "agents", - "topics": ["rwa", "index", "determinism", "risk", "tokenised-equities"], + "topics": ["agents", "security", "robinhood-chain", "tokenized-stocks", "rwa", "determinism", "risk"], "builder": { "name": "Fiducia", "url": "https://x.com/fiduciaindex" From 35f7a93e44493962d044cf43693e10aec2517325 Mon Sep 17 00:00:00 2001 From: fiduciaindex Date: Sat, 5 Sep 2026 22:24:07 +0700 Subject: [PATCH 4/4] showcase: point share at the announcement post Replaces the profile URL with the specific post, as the contributor guide asks. --- showcase/fiducia-deterministic-rebalance/showcase.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/showcase/fiducia-deterministic-rebalance/showcase.json b/showcase/fiducia-deterministic-rebalance/showcase.json index 4fd09d8..628a030 100644 --- a/showcase/fiducia-deterministic-rebalance/showcase.json +++ b/showcase/fiducia-deterministic-rebalance/showcase.json @@ -13,7 +13,7 @@ "links": { "repo": "https://github.com/fiduciaindex/fiducia", "demo": "https://fiduciaindex.com/", - "share": "https://x.com/fiduciaindex", + "share": "https://x.com/fiduciaindex/status/2096257736510160916", "feedback": "https://github.com/fiduciaindex/fiducia/issues/new?title=Showcase%20feedback%3A%20deterministic%20rebalance%20planner&body=Which%20prompt%20fits%3F%0A%0A-%20Should%20planHash%20cover%20execution%20deadline%20and%20gas%20ceiling%3F%0A-%20Is%20largest-remainder%20the%20right%20rounding%20rule%20for%20weights%3F%0A-%20Should%20a%20stale%20NAV%20oracle%20block%20or%20only%20warn%3F%0A%0ANotes%3A%0A" }, "primitives": ["token"],