From 2517d79f6e1ac0f1b4b5f51eba658712a79fb0b5 Mon Sep 17 00:00:00 2001 From: mrwulf Date: Sun, 16 Aug 2026 20:04:44 +0200 Subject: [PATCH] =?UTF-8?q?paper=20v0.12=20+=20estate:=20one=20numbering,?= =?UTF-8?q?=20everywhere=20=E2=80=94=200-based=20leaf=20indices?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Operator order: the leaf-index convention adopted this morning must be global. Paper1 now says leaf 12 in every place that said entry 13 (intro, contributions, section 7.2, related work, conclusion, artifact availability, Appendix B retitled 'Deployed leaf-12 scope'); the ordinal 'thirteenth entry' survives only as a gloss. v0.12, 25pp, gate green, Appendix B page eye-checked. Site card follows (v0.12; revision prose de-versioned so it cannot churn), paper/README history extended, top README says leaf 12/17/18. reinvention-outline moved to the private control repo earlier this commit-series (moat doctrine). --- README.md | 6 +++--- paper/README.md | 7 ++++--- paper/ltl.pdf | Bin 219017 -> 219064 bytes paper/ltl.tex | 22 +++++++++++----------- provider/src/pacta_provider/webdocs.py | 6 +++--- 5 files changed, 21 insertions(+), 20 deletions(-) diff --git a/README.md b/README.md index 8bdd577..f44837f 100644 --- a/README.md +++ b/README.md @@ -212,12 +212,12 @@ The log uses: The deployed instance ([ltl.zkdefi.org](https://ltl.zkdefi.org), mirror [`lean-transparency-log`](https://github.com/saymrwulf/lean-transparency-log)) -is live at **19 leaves** (2026-08-08). Entry 12 (2026-07-16) attests the log's own +is live at **19 leaves** (2026-08-08). Leaf 12 (2026-07-16) attests the log's own accumulator machinery — a kernel-checked mechanization of the log's security analysis ([`ltl-accumulator-verified`](https://github.com/saymrwulf/ltl-accumulator-verified)), appended into the log itself and scoped to the mechanized model; entries -13–16 re-attest the four Ed25519 forks at 44 certificates each, entry 17 -the accumulator's hardened model, and entry 18 the SLH-DSA verify path — +13–16 re-attest the four Ed25519 forks at 44 certificates each, leaf 17 +the accumulator's hardened model, and leaf 18 the SLH-DSA verify path — the log's first post-quantum entry. The producer path that generated it now emits a `scope` block into each leaf (guarantees / exclusions / deployment-constraints), so a leaf carries its diff --git a/paper/README.md b/paper/README.md index 70fcb32..404113c 100644 --- a/paper/README.md +++ b/paper/README.md @@ -1,12 +1,13 @@ # Which file is current? -**`ltl.pdf` / `ltl.tex` — the current paper (v0.11, revised August 2026).** +**`ltl.pdf` / `ltl.tex` — the current paper (v0.12, revised August 2026).** The review process concluded in August 2026. v0.10 folded in the corrections queued during the freeze (the closed consistency-verifier divergence with its `sn = 0` root cause, replay-harness-integrity -limitation, claim-matrix row); v0.11 brings the paper up to the live +limitation, claim-matrix row); v0.11 brought the paper up to the live system: the nineteen-leaf dual-signed deployment, the SLH-DSA (FIPS 205) -verify-path instantiation, and its certificate appendix. The +verify-path instantiation, and its certificate appendix; v0.12 unifies +entry numbering on 0-based leaf indices throughout. The version submitted for review (July 17, 2026, sha256 `7f140356…`) is preserved unchanged in this repository's git history. The live copy at serves the current revision. diff --git a/paper/ltl.pdf b/paper/ltl.pdf index 6921d7da68fcb353b7bbe4152c701cb9d4c683ff..9a397f8e8475b2daf76ef3cf6083e522d3d4e6a4 100644 GIT binary patch delta 58543 zcmV(}K+wO5uMN1b4UjkiGqE`a0t1y|U6VorFn^6CE&Ao#u{}##5uEYWoB_CY($fYZ zyV%bf+aG0<$i5(P&z6{U4g3~EEV-`WW94~rnOE@fJ^SlW61eff!NZ8!V2C+rR+x>6 zkB_L}WEWjKfbGDw-gwG0pYqsk4qGQ&K$dhYg+rrRpXKXhIPrJW_nkS%S+&&nHm`mn zsefqryMb>lUO5i29;lQzMb%AKk@H84cx`PI+na@Y=6#9v8=Va~{!uMTk{BlfY`G32 z7Fbomjkd;C?xjp7wR9OfQghjk$eVi&$)Px!{IimOV;q1{hC2YuxbO3^x3V-jo-S76 zwh-DboDi+H8x9+nx@q#Ye#|;RpM7M}M1N{u!i-_&>Vw5zgscE7G_$2i%j~5jG5|5w z%&lg(vYrN5;X>tbG)O=mN{+`M3*U(?iks22$N8#E0P`1|I!D-}lEB~GV}>%IWPw_m z3u`(0lgL6Z;sN(E0^&E%KU74YJlblrsv!W&sVh;ZQp^ULiiK`ebyiOQ5NVKf>wgSG z$5fwu?WS-qrL%)9taZs=$2PhmI3kaq!VI&98)-e~15GW32dFW=-OqA_s8#EV9(TGC`pOY97|AYGdHnf}vm5(`S~5SSAoY5K{V zqWuJgZ11xk`|fuqT*#jI*j@G0e=Ir-3prQDnoF)4*gDG7dG%Ar=4h$C3HZGYOtQ};-DFkl?iXe&Ddf? zl{Nzz^6!D8vtY0KV4Q?ykra(a&C14xHd=*)yN)ZHzJQYh7;arfqd8{VX@6~o8bXv% z2e%zpHz&gH9@-HA=Ln96kpL%qKIkHM+`F#be40^N>@pZilGI_@dEv+!Jx&B8kDRvz zHv3OGHCF^eXmeD>wVozyLEXF$d3K}uP+p72$~O&i<9)=mVhTHJX$3nxxUg)Ej5I7I z`sH+r_Y%bKAIJ1`sB~Y~7k}?~2!6l}R`qBGhd~}r78MPTvV`>5|IAMA9T>yCQ<&aV z2(g!QyfZ+2d$u!vS_Z!nePOFe4o_+CJE1FV(HoSAdvXJ};c0k;LMLb&mF|l4sOO1K z61W$+i}>$BxOQ_rjINPSV+)Oi!_5pKcR8NOrVI{&fC~<+1Oc%gQhzI`9moL@sO&N* z$3O$LTcPK2?o~V}Bh7-#d$y|sQ9U?&zke}D!bD(lqdrkJBP#AX}X+(=Uq2y-3^$(S|%qj8h4 zl6lP$82gA!PWqC8qkl~}J%?tK#2|d=rj7QfKPn@#+vM1e9Mz7NZ+#{fCa9FkA>zfE zcNoz<5g*zw`_z6}P&fz=2uJ$hL2J=%&Iqo=(LDWNiLdD4HGCLaP}^8}jzVEUEk~*5 zW15okp=jc;Ra?;A{>qqpp6i5*h!Hjyig9~9xUe=l4P5CkOMlB5vjswjEZ8#^$mJ>a z1aH(fKMLB(%*m)J4?@}Y+me@(>@z*4Fid{U!_7hFnfqmOC!fhYkNG(B%yWg%T6wvx_ZuI2-n zG21?WyM&LOJCv-SO^Vj@=uRx8_QYW9tJun{5iyNjEu02XizW{sWv4t&B8Jg?6Gpnp zx&m{!kK5<@It$FmH0h)yo?P>(w2MO)%70YTli6Jj&h0pMdzS71Mj&n1 zR@vcQBHhCWhzWDpKJ4-tq356nToCDN11Y9k#`Hi|9|YT}#wZ-xQ_Q2leNpLli09B@-(*;91!+J8lsIh zM1NQ#UEt-=#3g-(BruJ-{f-U{5j>VR|ZK9R|T! zA$aNoI%7dC_aV1*)o@m}u+tV!82PKL6IB}ByV(Jd&YI8Zz*%u*ScsxrDA=&8@rI|~ zf@Ps(6S<8pEYQ7;*k^iPNa1>B5qZO0;(u23O{qj`bvj=zt&Iu{Qw9cKD4;SjJWT+E zqg1685QJ*-ID%WdTKjoHQFJt#wF(Qpni;-Wd!v!hTt3e&4#^z*(w)m}qwE;};q?pz zlGt@MN=%|IbM+~8LZ!p!qD$FfN+aqudeO~|QpIT+;*(&jUrCw3mRl36lqc8je}81C z$%3depGIE&I53VJfF{aW<=r}8bjUF7nCP2;Mbm>&!Et2e{85=`@Oqd}fS|HGR4{Pr zLP65eH~E+o5v>MPU8tydBwqLI8i%`!Mmv8<3(E>eP)DVSW4+z$2N z3@`a9B#+J(%8}|PH+q#__7RqZIko6q$6AIw zv9oIA6gp&i(hKBqXLq8mc4%05Q2LY|oaO##vMzqw;BAn*mSelj;*m?E@%uEnVjpQt zT(ZMYj?}DIWeOwsDk_wPAwn^l_dZUi+v7A_Pv5&IN24R8^CVdpFJ^`?6n~?zGp~C% z3avi8dJVeNLBGgQeED7zjeLCS3ivTZIMpy$;#w`kmOpp@afv*NMhCCl5O*cLdRx-? zqZp+`mDC-x=~B2z0CWz#kA2lT(%wE(1o%)^yX%|1a&ZdsyzgnsgRRwn32gg($h9RYFa=9h2%?F`teQ@17Jjhd~7quyTLLh)OO zp@76Pt>kLx8ibu+$q-I?^E~5sc>CMXP4eh{QMZ~MF-&S6`eJi%UrE`8egY-F3|<#c z9osdUU5W+tYo9K2`?6f<>}af@f!e+INar?B{fUHW@aBsak`|L2x__M6m%E)VFD1a> z^4N-;z3FED&$N168oJHzL@)V!U&VhNnSbvI|CD*5J()y>MeA36tC;RMnD?N63yjxNKwh%7={B3;yUw_A9 zvO})e&82M1HDg?a<0%1%Vl=C{V?$i*LeBOpaHFAk+qub zddl!%GI>1Gs`IV0u7m0wHyJZs@;A~iJiQ__)!h!|N5yo%1YuHdWa#mN5pm9K#hOq} zTXJ#pK6P-rw?hB;%l`qq5E<_ZWo~41baG{3Z3<;>WRqPEDt|LLGBG|r3UhRFWnpa! zc-o~KyN)EeE%#US4|G|g-auml1Lp&roxPdiV0-)K5?^pm{QH(fk)j^e(=*0mF*8*X zMe+Tr%O4kgQTd;~1h@pBju=yLmmk09XTRnDKezwC@z1|}yZrgD?xNL^R8lcszP(>` zJWTNMa@BB{lz%{9zCHeVQ_4rB%)3(hNB%v%U9C2^_7}AO52fr~DQC-y{Cj@pbpH7$ ztL+V+c%Z%Ioe8+sfLvFe7RWXt?r#tZe2;&dd)ZS~LBU)h z1W)*6s6pY5`dkr4bXHkWe!{)q#6Ak#es98|uE{3^-+ymjZ`Pg{e9H4eJ6mBA3@|hH zZxC-pi~KzAfI<_~PW;!mzh$=gBN=Z~{>>cDCTRRAt1F!>;_oy>H2j>Vkd2n&?E7C^P~S1a^f-WmQ>Sphy~liH%11Tct~dnx8~wJ-sFdxqA~L=+7kT zgkT{GIDdB|1p0v}ME$PpP&;aHl7p8oUH*7LTJ8r~L{2=7I1csQjk!T3)-J!%+A{((1=X zA8@7VwxGf&a_iHrlfBxE8MlPgG0ugNP{i z^%a%)W+W}Lk5s)9zpf=BvdPD55Ae{`pi)>6w`c-f310V=yD%G@0Fl^9obh~E$bDu+ zwtt+Gx*`uLT$Way^$D%(Pv7=FGL1eG;t{k_aJeQp3KqT{YkozLq0lFx3cWccY!g1M zTu4T|ACP@?yI18S!Hyflev+I)-RiyqCD4Q2+y` z-x4WP-rB||gPvxfM#rznC$8;x?M}ErFAlie6IWHqhfeSDOgBqJ(RY9Az$zLrT43BJ z8Q7i(gjlSiydFUzhll$}R1Le>Y_V9#$Vqn+?gT{=KEErhIv`)(&zurcg}i_7c7LRz zg^Ia^sn>LP6P3N>NZ@eFvI^Gd&_@vwvFNloi#$&C7CziMMXM2ebkkWGqnc7wZ^rSg zkF(O$_gV4l85|kW8T#GKQ74`m9)wL^V+pbhUd;O%0!dRl82Nf1Ha6&iVT{pPiIGaC z3m~pO@xyyWq@Yc6Zo-Pag zW_B42v9V(BI}P)mf~86l=pLqriEH?!KZxkXs%CcZFG`qXj8NkpR5jh@!GGBiBMd|J ztdLf3$j1o{5z0P`Elw}E*pfTOr80-Z_*4n-M!3Ez$kHAFt%moBV90HBcMy#?s}bGX z6=@-4HV$dl{QT=Ke@W7gmW;0lmb6Eb98wY_N4cbRl7_f$R8}?lcn}Ftk|-sPJlb|^ z*KA!<#Bn?h-@7nS{9o;Svwxt(hjx$2{19b3-I^Cg5@BcY z$>0d?W2s^mBU8%@MF4^=e=XqwLWB;jnS;f>bZ8vwoIqojnMA-L63TX_+Jz&;BGPjT z(q&nJOrGJw&qiMfVK*RbZ_hn%(Nnx+50%F-S?CUGp-B*6(L(9_+kfS%#Q?RP(TQkQL z@Z2GE3)3xJFl%}e_Q|hAgWTfXl42N9rbU^Jn8&rQ#})6F{d>|=bBcSLqiDR zg;EBt8q8$iP*6!o(tkSOnjlLNiPo(+e7Z=;IK5KjMO-=^RvhGgXg3vm$$WdpmJP3{ zh%|e$4P49=NoK23)}4i;L1P$MjhLV7Q3OQRIdP@kpjLDe-_(@Ro14fa)EwB1jK|d^ z9#k(P-!ywOpoD0yNhmm6vc_h*^lRv!;+2!_!7=q z#3j;9c8nHzq*Pa4WKLXhtBl%q;q7Q1Xy@#w5J{>8H>KQ`War8-BtItt9QE9rTT;)m ztrbNKB_%&8!qPLX`pc=AliYJnYk12ZRj+?i3bA;<6n{kcC9lM_TcCCgozR^R?O*mq zS<>jm2X4hBPp!DRpS`US9G?nFXa4nb!pr{mr*Bw950l+Ja^hz63@YQj3QE&_hgL345{0t;&gx?W%EN-9TC5;wPRid-8#h&YC)AzM)p)GDjX^o50M@-xz3vz zLqvGiyPDJv^x<`Yko7LOBPOQ}h0nSdQ4I(iNq?lyGGO#g%Hfv+y&9)dtjKm1Lppq)=VNzU7ZsmTI!k4P}y|)v03|zNM^G`=N)#d@W^RBgIbC zJ%4b;P@MWd$Y&RMB4To(U{A!RjenFJbxkcK)yE7`D6uWq&pWRt@}IdD`H`w!(MAng1QmUH<-a|NTGB zfNFgSM+!=7z-xuWr&KQn{s=Y(4v=8B#9O)~f8>PB_?0p&a$zp5=QX)iKFjEWgphoL(5WA~qc%+lYG zO?*gvNlqs*%l6?&&g&eSS!)k)K3JC1a;H~h)hKgB?;x%~AQ7e@TbOC@%R3#C7^54r zCL(uBR!an@N!Wj)*QlUb6$sVU^-F}?)~MH~&%2YG6UqFsi?vK5;? z8>ZjAJae1_+h?27;bQ#J)s$*_vg!t2OQpY$QOiJamVjR5lO}**4L9NM z3Nf>pA|wP~W1J|I;73FVU?rk}Hdy*D%Vm9&HXMf@9I5-86JQU%E z(R63z$Q0~HZ@3iU%(8bV`hOv^FQ%Sc^mAseusQSpH|b6Xj<;s=#o~>F&>Gskc+>7N z6mQP&JCtoca7RAJpC*-KZ8}2gLU#@!EYO=v34RI$}bH8~WS*-Rm*}0ip z_wHu38q~=w;nP~UjWhvDGm7l4NV!EvQLf=OZgd|`pUHE0%14QUHe-1*zPfM8KAEVP zDs7V&`m8}nIY-N>S%07$^Zo^kFu}l4(l2+;g8EDiX0+K=yQ?FV{kOU+2;CP+)T-6m z9>Ds{b$##Sk&Q$@9fnj+yGuNh_c>{(`*H%8xlm3C zaJZOw-+xf2w=x6ep!h-AW$PV}pN+|U@HAT6iw>-^4X@3&q`lnw!ym%Ln5Tds)U;mY^ z{g^)A*Uyj3_aDBz{Ps`wMXMvKs6u%8^8VruWiaZ0msbr3#t8c5%kA$MrQ8on+3@y{ zFModdIVxEP_r7L;7H@r?Bk?)ubUCDP$Ws|w`GkMcx z^H+La%wH+UOn`9dWR!(7Y42t8uYI$x8V_qC@Sz~>HF4|JK-sJBd(A5+{=Isg$G{K$ za2(WwWSUf^3-VstG3Ia6j~Uwt=1d_Np-d;!N5{bH)A_=?z-zluRks#G8LRZQGYQ9@$xOP(0{AJeuEQ=*vS+HomQTIqFoXSVy^;>{{ z3mqVaB9zddAvxr=^V3q5ie?8AJ{rM?MbApAM%5r|F)BveVIFlQu9Ulh#iENk&1vPk74Ng|Az7=dtU=88vOyJKJ>EQ}K3o3Ce9 zG4qY_Lj0RmF-|beRmbzlJAgJvh#IhY2N$|6CqbiKWSa7oAnl$wh9WA^ZB>2t)~~Ws zBeX-T^L1sZqO0Dzy~(@&n%tlTAvP>7L}eN4yW1@ar^qGr9ZqsS_}wg}CJe5Bh7Fp~ zrZNJX46X)oHrQz5uo7R94ztdxt5eOh2m08&$~S(7m|jgQOIbFHT?*u)*3QesODEcc zFtkvOP?4)_2WkkOsI z&#Rn;y-eY!5QV-YT9uES71t{U3!PKa#xjShGOZr`y$eJU2I0TS$Z0;OYLKdLNO$nU zreRfjxi)jCKsN)!2^K$bNup{PbsHsT_AQV(=T*L9Gw=C-`2@YXTu3aU zx)t%_JXn55-aMyLJDQtuJkgtmWzt&cNniLc2f{2jw36?(9o@#$X*$NTsz!rOs}x+6 zPv={9iIo@CqB+a+?{H2=oEXC<2%%?+%$r6(qXl(t1zg{cG=t@N6fs#xFmfmU1c6jb zRo&adW1WD&>1h;=RB9K0XenLyh**E=0x8Pq!A6yl-6aeAQ||a12Psw0$_!)R1gz8( zfRuuNtC1NIP@|xR?2YLmVIE!_bWj5G<75qrvyUHjB9$+C0}IriJE}@xvAExAwEc~) zkwl(&86mZX~5}O_*bO zrU>m!BVB1oDXf{#CTSK0M)B2~IM+BQd|8f7N@UnUUzIED>T(*MS-6u78p&z!m=ihW zs>~~*o#m&Fc~-%!ekixiNky4rjy)fq(Pe2HS5FFf*0wLIk#X_O{Fp73MnyU(p!cY=vfk zi^SV}<+%fGSYv-uXHw@Xtexe}IK!aO*~xOz6(@4^0!*~q((;!p9CH>`2_nJd?1!Rj z`2=rC77FG_BWZrl3^HuY$B56x8dbtW^$5~Elo-2P-9=41sdb2$yr$sQ9Es_JWCM^&` zhf~0R%A|L9S7BR1v;%GnHvfp0VB4qv{`+$sH)B$J073$yH17AGUlIH#_4y>ndKl+o zFThDK({mz|d%_lls!{)%#~k>NyQ+d)?3bIf2*wBtdgbRN?5TielbGcdPVMJMwSrJ1 zz~NK`w`Do!_sDp}c7V;Kl`d$y8$q`24s zgvp{c3>xl76MPKCLO6~Tw-Mrzq!?3>iHR1cg5pxV`6>imb?4A{cOA+{i{_^I#W`z# zOw(NBNnmo3#CXm}!n;7FJ@slPNKRMI0|1_G3EYfX64mDE(rnFDu6e`4X9gF>JXvP1 zL$kcs9lFVZ+otw%vtT_XxBg)b$H&RGErlz;c=wXo+A44x zTRgIt8HUC*wyI?o%E3mVU8S={3F>FG3uJ6%OLS(mTz@O8M9^47R}W;B zSiMA9>O6>)uu$5$u@m7oW@H=w$#HKq53>6uuy5S~^I{zG3|i3Uwo|-32TIZuL+Jpx zZy)ci!=}9p{~D-CH&*fo!A@wvz+Ac5@oUb)7;^ggvy<)?n*^7KkzF}H2q*6XEzyI8dAK{AJhXQ+?Ip^ar>b?v%3O`t9PQOumh;v;Ud ze%v?1TdZ7{ReT$os0ERd<30&oQgVnwS=n7OSK7(oQ#qGjcdme%b|DW58H=!-3t8ui z$fl#|yt*=X{}gnnU$i;UI33-94o!;Myg}U}$)pZx7Bx4$cq@dU<&D^XL*w3>(No=; z^{h(Oyoo}6L~FGh@oV}ztg;Qi_5gXIbZCI_&3CEUhKP(q8O7;ol&ON+pts=PB*vf; zqSg@`0A_HLHNZ3tGmoo;ZP>?bhLJrf3jh!nWFOIMZw{xeiZxXKaUY|{Bg7N|ZbI~3 zhf}8HVG|qC`Y}U$vImoY!Wz`NW)MDo;jBb>@kjJZXOYgewsgd$*pfy&v}LURyr0t? z9sv>;#MtjXziQ_`{Vsob`f9(vqp!Af9G1o;CEDY-^iO+Mo5MPj{uD#2&vk^a7v`O% za#%k(bij1h24dEvxrIoyE)tl3l=dQs{sfF!kaDm5xH%18BY@$5!4Kj369EChBPl5d zs-OO{Kc#RW=t(|K^dTJ4<=XLhNRRsdhLjYAM$p*+*AYDCf{ujHrKoxn-bt`ahC*v- z_H=(ZBmG|a6T%1(ww4p?QiKbuCGBWID+p+`a4JtFt&A&s<7OX|(MSI4@>#q~pSM~_Xd;FEz zH`M)&$Q`uWD(6y^+GK6rASN|JC#z-M5xlW$raNrPswWt3+ZWpaSS#h+L>ex%hL$C< z!R;;}lN-2gn!Aa%^nsGrbdLDAf#OjM2m>Sw{s0?7oVqH1#yB;b1>EO>xD`9P%d;&k zK_|26ty@=@s1ba;%O1{6sLcyCvICKmWgKz4Huun&@RSpS=EOeM@0p(rb8`e`k51M4 z4tz5 z96@8W8~hxo|8|t}M6bWhzh*tA*G$^pl6YzEwD**MP30?l+m=PtYMexr)_TZO;8iGB zP?4H)N3uc@cS!BLU2@YnF{*{z1)0sMHlQhT7mMq=auhA|780{Fki}*$hBrV^_9+_VxuwDCzL zMGSj?C9QLmtc8)y79BOkNij$u;%Vk#X@@uis!8FE3*i?G(yTT~LqE%}+kN;9^w4YqixPH|GAG{?Q0GK|#V24Djk*hmTDPAO zX|Wb@E|vDhAXvO?Jm_47aWFOn;37)AK~pP#b4<$e8gcCT#`bnb-KKn}p@zsXWc3YFK^d#IU1}vD@TK!D+hA$+RnxANP(5j zsdG#S_Wr5W-adtwUivtDX3XnVdV>^8QB|tMPx>KsY$-3>-FyCEIp5wHBwzgNuO1Gs z$(+1Y*+b1SIx#Soo0d4|UULP)Q~voJSy%u7N7O2(Mm)F!(PN9ff0!ru>u>%C!=Q!` zlQ%9oe>gEQK0XR_baG{3Z3=kWty;;BGq(}G=PCLHM3coG5atjdHsG6`xdl0lep$Z6 z2j`O454R$VTTA*A41|%oxfE;pYUAccZ{z^LQ%Q6@te zD4CVk+T-*7k1OZui-*UY!|elX_$?oti*MoiJ$%A*6F%zp@z2kn4wjxe5Ro+ z?hF&s2yqNcM>eNJLRzwLCQ>Dl$?;&1ylEQg(t>=Va$sj1^taEbC|YUd3{?~vzDe-5 z)0Fz~sj4U$4#SngGuXIske|&mxrl2ee|0#JR+&TMTjn0Je$t>Q(s*(iwdT>YkPipm zXxVa3-24fxxMUnUN)MNb=ZI$tOXYL$5Aapv!pESBm963zQTCrqD$9N&)kn{{x}#}_ zjk=gDCrkYztzsY)x6^7`R=Rt-q^+Xzc?cT2Nt=h^?%GTynrj(uD&J%_eE14We<~kW zM*^Wpvq(t9wFe0Yar<Y>RmnChA|1XXkI{PT%mO*uQp9ob3b?~NZF@*qGre=P5RooE1t zNH19{k`vcUs%U|fiE+BUkCraI7V`fL&?CMi4ZKn3mjQ4K z#%GTInNXGeaA_NtzJI^ny$+abV2g;96u0odlSll>Cqd>mvIkx)F_MUyrf@5G)yLti zxZjArGH}djO&q|&JMAGNe-l=%xa@Z?xWSjmzt`h-INJ_bbr&S_f=hMI`V{z}18X{c z;w&0=Ry?6#p5y*GK?JUt(gI8u__wEB>m_X`!F~hNeQbe``w3w>*VJy zDrIOo3ga8nv|3mhW}OE&uPjC5FDf-6VEWDp)I-DAG+v_T=olKPe=;@RZ(b_Ry7wX& zEkXy!VT>w949$qknl%RDC8R})07vw8UFaWD;5_o&$Z$PtCQvpCL55!VhLW-Q(@pzPep0y8a62hP(2I|q^LA+VP3>;X329kX67VuF-c2^_= z*3Oq~O|tF={x5jUf4ug47M;|n7z0*vl2O#K!?>1dM}xJTac6}?Yl{bsnj16MuvMf* zr2I*8q|2&p7DrT+7*n35uWd%-L_ziZ*3&W&J`Fs<_X84FrMcstI1(Q1EvioXUAU+- zWK3YeBUmxRg_lE^R6)IFsU`Rgj3nBef8`K@>KHk9R#F@~f1b(IB_+&ZOyp#lccM8; z`jfmV&#&QLP5%kG^hKBBWQUbPjEGm(BmtGk6>U{M#;QScwL|5qkcwgCikFnojGLz= zs}5t31r-H3O)RA?X5(h;G}X9Mij7XY#c{8wV$L}>ktp2O1`K!Hx#8bPao%N)(HB~W z%lAmvtdu^Xe>g+M-W+U)DTD2p;K8Mj#XkrxS4)SOqG1b5V-Vn(ciO_dMuz4c_xpkY zg~z1ycM8_qj1nkJlf5R;Zkp8CJd`Yu;eMScA!T#@ve(ouR(_fNG2*e#`VP|HWdFDZ zWrEv@AgQF2&zS5wCOb*RJIzLX!%(A9a4H6O9vq zbHw@)e@Jt{KIzR<$@J+dje3{iLsx`(TNr@?CIc!7%-{U`(iqohtawe`pRoQhb{0FY zK*HNTMdOZvG1NTm7z8^qNXn z$76fQ$BbSnNh9PWbv{KE;@S$G2%D3`Nb}z8*5PjDEVejO$fX|^azLX-pVI2q4LfMj z9GL{S7mLLG?w#JBrQTEA1&`+J6p>Jiuv_FjsG2Oulhj6*+|TzQ0a7z=ec%Is-Zi;M zf9% zr-NLW^bi4cOqbWyx{A@^k7<4U`cwP6r$!6uVB6cri_ttF@F)F zrL;Sz%|!2V20D2LQtrXPtE&OFESAiSe;86y_i2Y!28qoivf7&!#Tecyqe*a@8(4Hr zLn;{cypOd8HR|I`t4PsFwEh(qw3T2S42M-tzA6EMmx~fme%k-41v%B)L|9)yuH})t zP^em6E1CuA3wqVWT~`a9Rb9Zt5D!DjEw<>`PW;k!h&()Y^ijyQZsUO@ooCmYfAYxv zZGpLbi+0`%v2Ub?b!(vq6&q65>RC{g=V3sU=S=rDDkrujwN(?gC!pGG^bCf2le6my zVpuDfRjUBNmJ5~9lcAj5HUap!E z%S6A6k1UKyy%k+1fj3V|6qd$USTH17vM@$k`N_H(B_5{4Y-!YKcx2(7dyOS7)!4W3 zG@9SuP)K|1Q~g9}SA6RZx9qtjMnG1ME5^lf9||U)78sT zi*PJ)DtZTQnp+c2qegKX>Y>nyk~hdXqn4Kfh7{?^`f~@ZJP&ZKrCGE-GyR=I#yknV zf6eVSo1b+>ccqqHxorYa$FGC8Rzunb)-O{3JkgLlL|6{aZ^pbLVV0xK5pd!ZZ*%yU zF=t&a#}VS%n2BYLv5uJce?GUJ7eno+?@h%Fq z-K=myjiw0ZRST+J*!~9V+!A=>-bGn;4cMz>P%){D@TN-!jnGVUV??b^)+A7U6|@i? zHCE0y|!97~s_(HQ32a4)5^MsWtl>8`w*5Vgao@-)Mmi6RKWI`ZARqDlB8-(%M1&vA3m8JKm!~-a5&oGvjT) z$RC*aQ#%m1?#6g6m(dFz1hro&y$0QNih~^~(h?~mZVzZ>jxxS=J&B9jG$5XoqiSyg zJEN9Xwx=$spR4A(9+>nsjsQTsvlTB!Sujk77{%9$_PD?=fB7%;TM5&X@ko-t zH#j$ws5u>fLD~aIfi2hpf+$(!Wu*u8^v*`{YAwk|0{?qgku0*v!_zY@ZDI+lQFpU> zDHiMURk2QQKWu7~@K0?)Z^0)KV+wA2{0`dQ!`~P6@BQwzkF-H}X;Ruw%896S2sr+S zEqBd*Hz`btZu{R2oADcwZ26zsetf@dGD#>Ujoy@h6)G5$w(qv>v~T?YtyT)HWQe`> zWR*}-$FM0QbW}$1CM{Hy(QJ&&Sq?Ct|BD&zWH`ljkDZPfjtCZS2 zoOFZ+YbER-8ZPifdN>(lYB#4!S1-%AMn8Q0<`3J+3mJn#&M1+bgLh?W^$4@!)K4^v zvt_hXbupaM1o|2$&5Ov|6&EXu{Pqnn=9n9QYwmto|J5@Bbul;sU%DC%P0Bfulv8QY zBk$q8GGS07?}QAJb@ccqM%~4$w=mIcje`cU);78>&;_p1F=$Vxc~Bqaf{@C2-W%JJ z3}CYQGQ5qE*_%0;td);1>#${ZTr66|cKM4?A|GHD3tIyv(mLs9l_*FdZHj7ABGi{Z zU{PqRTw{a17PYbXrF_ug+*L+vVXec3C!NtxWw1~66;#1q$|N`;zWVyT&05+tRF)B_ zI5wj8l_i7!bP9x%0z5E(EyFaR5j5yfBYsdJ?X}P;7(Rja23Ad$s}OHvr1oY`DQoTH zX&tuA%*~=fe4oDv6;ja(@00~IlY|Kg5Xmz-)G63IqEzHKJETkfeC@K`J;^iD4h;8N zd%x2!bT8VJ)kwcUIi0Kiiu4Nm+3TltJI705jkK)UB+$R$lwk|;wn|c-w6!++KMc)nt8Aghk`+&@vJ87IWc_`W1t6FO zD~$w!iv&6J&uI%fT%T>wpe-ooq%G#DxDN<;bUJ5|u6S+i6VDWX6loT(5Yj_eWiRAd z3etmJJLmmAI+~T0yifOcEoy2}n0c!Gba|f_TJ&owo~erj6+bN)6yOA;!Yl=x2(lkS zWDpdk;j=^`aZv<_49jPb#{a0}EFO~*GPmO&z8^ZnYS8uV_I3Vr1)~0YgYZ>j;87+= z45c+XP^FXuKM44L9i$kkvLN+!T5GgINybkn`uL%BK2dL)?L^b@#U4QqKF3Yp+Peb! zl?=3XP&xr>=U=q-q4TeA>j-E~jBW2aVjpK-wD+O&uW#>Q2Lw9Lf`&{0ULXrtvxP+z z!ljuLl{nd0vKsX3cvv^NU}Of zmb=K%)7f*+UQl)e{gaUs1TF82|II$u9R+&n6Q(uFe;@0c3LX@oO_^kjxOX^gD>0$1 z6d)iiqo%BXkMACQ@Y)UubjX26B62k`AT{vW1saSq`}h#`xyQmKHpZDF%MmsBahW_m zL5ne%h1d9SayoN05`Z9bk+(S;d!d$mtk-&+?0mwRr=L1-X<#H1IV69*Jon6QOL0l+ zpU!-h)^Z%;*EMj)A)3JhrjkN(Ht81Y9OVb#vmr2O zHP4shCR>(!glYLC)R0`??X)G>sR!rI)Y3VdPw28pwimw12gWEOyNqqL)$_Ezx(KcURELhpJ?&)0D3X<^nXF_Y4rFCP%t~)l!U!a% z;YTWej4Em1c71XkHN%E5angoaq3Qg2%B%G1Ipiv~71?f)e>YLZ4+iX__ zAT<~&Neh}?>YyX@TXV(i1ad_uW>n-<$(r;p$80GAe~bvu$jqNtU%jg2X*G7YLR;-R zecf$00X^711S1KKnfCurufcQpSMOhc11NzH>(v0TYT$BW3G|MRB*Y&|`HSOaOK zIhZ~?KmAv)zh2KAga(^nHzz>e!S`V2A97cjOG%XWdR#3I<26_kqikjVZ`1)z5QrNU zox^xoy1LF+uMZeBXjYSv$vl8|Ti}YdepJ|;u4Va9*{<0aCxQ3wvMJ(EksUV+BPgk{ zocV-I5HcxOt+`eH2GU#Mtd>V`|Rl4R8-M^vU3}ddOnSVn5O}cjMf!JKo|?O6TOs6 zw(&eUk0^CgefLQxD}2Jrt_d6r!F!7~`60BB&-ak809;)c1H4vJ_^>dI<V|-25%rbinH%1S2r;1UG_Sds#&Oyt0c(Q+*zplIT;dDl zm$^4u?c0ACVuHeg2d8L0S>EqhVIq^Wkq!85V&2vpII|Lh@h%SOh zBcJGttAzkbK(@cZuOTuDuYQ9sk)c{WG0+2)Nr~LXzr6eF7wKXj+?%xV~%JfBW%I|MTwmA0Iy)VG1pjQ^DOe>3_aPLVx`B>94nE z2A>iA{p9}hpFaNiXwnF%R*}lyP44ZPqx9DQl$o#JKK|thb!vz%y&{*~uw9x_TLOFv zT4Hvn4K*!Dp1`8KKzUcJyu;%Uctr&+)MvmX;m3tX7uOLSKznm%qgz)H`-W|W-muZ1q_I^Jyga? zl1zZ8%%vW-HyoQ6M|UMBcg16hq1d=e0Bxaf5OHt4bvqg7u%;&MGPZ*VA7n2x3@#|O zEHR0wae)!NC}F8Re+GcoZpLs{$uC`U-{I1w^u0;xxW;th)aPf+?Dq&Xmf5x{D-7W# zzCyn?4gYD$7DGx-931&j9!R^BUAoW>RMFKb#&xMr<6 zMkTDgwLOHRe@o$6Wx`rzmVUw|VMB~|@Dus@E48~b%Pk1BiUEE&g}`oug6?^EbE!@t zL;(=eg;_w%(|FyaLH2wObkH8y5*40oZZVo0&MLzu-6B^m^_Qe~Bt=9?U-Mb(#_~P4sl=YG+_^N~T-z#3JZE^cg6Z`f^<;x}Zh5!p;(64weqGAW!^JZP+WY6) zhVv)@e}*X62f2lSzeIFS#y)3JwDgfjwwp+geC|8SI&RF7Q*t0M^jpvw4 zF>GWOzE}w?(2(cj#25CS(Fw23k;S5Ag}hc?^|>TY>D4GL^i2Ua*9f9h ze?QHTF&^IB92E5p9B%rVTV596R^7y+CcpBmWC`vKeaYgiL)ykG7ynN~SC+b%Yh|(C zR$)DKEjdZ6JFAQ&Noj9Im!)SDp!SL5UMfqC=NH^l1 zz|sDMdfqaMo|GdDTUwiUzK)SsE0ashp97&9RbI22BlcX(OE!eWJO>|_z8D>NRxb%7 z)RXzS`VDhf+7y}i4v1(Y>j!TOT%BQh88MYS$W_S9a}EU2N|>j9w%w{~5Y> z&672f%jRWY!)IGfHV-pAFP4bZe~XIX?5-%iw6roAcKuAeCVpm^hY5`w@_WU9?`HM% zfBBgU2&De~i~jz{b!mgr>DuOM>WpHkawbK=XbrU7^+RTPP!VA!A!+f9&P$W1aa7 z!;V(D`EWxUH^@ih&vUizgRHlL2CfNytSw$@@Q@<9@C0&sz-p_{1N-r~y~fA0*aKGI z6shsxFoC8Ve5lDE6i?nzlAD3+;`}~& zP@&DLlMXAic^MAZ0-gk4e?J-B%c)n|)9YBJ_!T!#1&Xp=0>zzQ|*dpagXi>YT|h;&p)aqOkm?;EA;sOkLw~jWd&dinR<=# z(JxS_b_{CyB!${nu~REYeZ!6T04J;4SK++4h4b!nf2MNL?~dx$U5JKV z<2ORuBPrANd4)P%rW=b-z+1ONY?N8DGBC((2Pa404hB!Y@EN%_cwf&>;X^g5GA`ig z*jiQ&tIE|U>ihC4SiWvwFC0q6QQ5Dx0;Jtj75e)FamHWw(o!ud{CA+4*HzXlaVwls zb`>KHsmG%S`s5hoEbvDq#~*QdNm*&PcCErezx25wt+hy4wT({*dtppyVZ7N*@Z~@J z4N6gg*OT!}Ie#}fHa?guzT@atX#BkC8h4aFQnx|C1*NCuhUveQ@UV z`fYsnb^P;L`SW%C`!^p>pL}XgQfxs4;r;2u+evO(3x6d~X9=4M0p#h!?N1jWv=qXI zm$OnL{(?6ljC?tRk3ST|SCC%GH1L*Q@xk~$JrP2_#>py<^6^i3uHI;F8lm2BRGUvv zRox@4Z#3Ut(4?|?{P|{yth|W8k#$-bR`$u1LpLFm_qQ_9znrz!Y1}K#KEe**M@hfn z4aex)3xBw>QF^YN5YDa-ou5FNcg3@g^Wna?VXeEOU6|4x zIxB@j4bFl_Ruu-s0~>9$x7~q_-{KSq{ekP##|MsnCxCPOz-iy2utdK_O38FdHMHMj zgMWB22K6`_m2ak0c#%yH%?CR5M>S0U(wSFf=c4rKw=Wct@xmLeQn@C$@>e7Ay<$cp z%c=PMYi-wQn|TGBj<=Jdg3%2f30#oH`bk{+=4MtOOb`Ue%CzMr(4< zN~}f^?T9CPbRas}gvzsC9+uqA4LLw&3x8EZh;!9dXX|Cc%WR=7Z=JyI`m^3oAt`O! znb~QTY(&shp=sk%a1R6_uVkh#lIs|YkZV_$M&v+oZO6#AexrlF#HcLoBG@d15kt-^Dt|GMLAYgLY*Ybx*UB$158U-J@{-Knsev2woJ(v?E4UyP2S97v< zZRVMd-z9O(KO`6I?zrGSpWzxsyvUB=jk{nJ70=ghjpgJ$3-x!{qh*_=U`K+3mXc22 z(RzroWnP_BKBr*^Oia1P$ZDe3-hX_0H}oLm{TDqJrUZ)|NGh}0sJpt)3EE?p6v$KI zy&Z}PD>h?-Cz05su|EAB%~hbwy1vw0I+B}{XCmK1C-1XzIS;><=qi~QN(wR6HRo8( zKrD=+*dp07D5AtOy_Dh7l98&>@X{3w+S14@zBeBDcgV$cuY=c={=SC!tbhMWeE_-> z?u{bHm&^oRRa@WkSO;)nS_6X3Bh4W#sR1Sw9_7(IdeUhXdzN#26-NGoIIPMmmL6&5J4Jt*e}8-@N{dKo+v@Jp@=?afY)fTwr$r^k)%x!cArvc;#sX^W zvLfYyS4(%9wRrT@TG~qsycv`MUEDC>*F<^5Z_QriocHUH>ph*otwSbkoT9! z9|bf&a}dV4m5wV5=nPch;iu5gc&LYjQ{O1cSFU5QTB8Q(-B-zFV}Isj)6Aq1CeC(H zf*YAKKH>2npR}Y7714<7L({C}O)RdRa+{PK#_&KZ0SmOZrd>P((N3~}tDRa>Fq(uG z$CB(u$5>8kR>&A(M}5xoc)r7PpsX>-nUa_A1QuP{zRl!S3rDyP97#py-0VH+hHinQ z`Px;bPr=HRD&KBFS$`cS?cxz5%aHbA|?&Zht(dp%EH5v7~Cs&B;E8 ze{@bNI^BC~^;n5R4D451rFWslc za)DYgZ*EzUh<_1hM_$AzZqP6zTpUZF^iA^^REx($jINP@?4joKp>y>tVpTl_zEgFa zx3b0?FM0dmfxs+}K^h1N;JXq{Gs@6ItdFXx5_)2-d$(MTrP*eU)_N#cRjB3aL(Iix z|59Q-g@ICQPt~cI>QW^~{iGB3Yfd-`1-Zx+DqqXQ{(q{Z31hC6oF7#Plh9dg>bko2 z(az@Xa#VsH=o6QIlH4r!Zc4sranc$VLyK!)`=fY0KnG-9OF3gk;ehdSB zaYCfJQHM8hHrPVymru_-N7_I~1uw(C`_*$y=zr|fkI(B>W3p#K0x{sr=QRhqMK7rC z+D`?AQS)iyQz+1yNvUv-qHV-8wfwNXP(-c+^ju@ElK zJ5n%~9hk>e3;jxo3Xa^Vd3E7EBY$0npGE|8IUMwy+nmaY#CVVdHmO_}KMHd= zY7(~Tw2>oyobH+pP7WBNZ}q{2|B7Gto0Og`;Xx2rrdEIXU%V%x=h1W#YV2haFowja zxDd-OSXHt)7ZHX*_B!KiwN4ikd?4%!mJlnVaBM{`1sx8bkM}$|Rptn?;AL&Csef-v zLpxiW1B*xJ-)@;`9S+U3h8Lo0hV$u7MLjdkSzx8+BjYPP0-o&C_ztfW-2W_ATBE~a zXx%_vDe+BOULQypn+;?S4W}o2Jx-j_xVB*z5pA`u39JZ%033Qw=q1jo`G6Q(_8Lsy z*6u7{P8o?*tBgd-dl`v@I~Ns&M}LeSY9*+pa%e3d)nWYIWa_j9CarM)ND%ozzSx|Bc3iJg5U;k0vUWh zh2ts2t-ta_4#5Br;k=c`?W7`Wk?^FgUR>&_8*A#uY~_DL_gmSoi&7<6j(-~xIe6Yl z+Ip&L;>AP?9mb@`w0wb7Y1UxIpaIeD6B(k_t)&iKy$;Z|s^^{iP9FBr(h2sQPWtUz zH`6(WtJF3z2vN$q5Fz>f1-1{$TMrBUTQ1+(9Bg3q+@;5hqGk}o7Do`Ok4+$hxg<0!9LRV zuCq4iyZs8m-ZO~&c1GA~*{pPRg_^gAmh1Hwa5Va1r<||13V59+VSfV%!rs07wDw2^ zV%?&djg^!+z~dHrceF5otmE>zwJX8k9noMW<%X^r*@ z{4R33Zs21d8h`Rn-iABa)z?M9{Av9t4!$Z`@~!*mW)_14xv7|PMi&cevtGLlUp`%* z&q*ME|L*oNN#@6&c02-XQn?Tsmi^VvMm}c9lCIUBzW?iv`HN`&CNd8;8-1QUWc_^X zzeg`XO?QM!D8ZC5A*O9OOc!iX#>W5uIlrg`?&;S%$A5~d?!1@!f69dKFZRo|8Yg4k zgn`tW#?7F#P&m!ujpzfkyzF3ELklU6-21vC*?SqG2B_W|uQ#XiTSw6%>M z`+TX67&Bwsn)_~CBO}40eNT)>1{PazCXaA!=IY}_a#?E{Imks-0Pdh+#!d2it_g%! zL|aT2t$&_6TT?0~=wlClG2DH!CHO5`S9p@Vs^=B!a9+2eI!R2qW1UGg6(s^4;=1bj z6t%PzW@vn#I^%@7(`J}&*z1SnNR?id5A`g(CuAyJ>-7eX=fIj`JtTd@O4q)ymfAjG zgP8|-VhFhV09DaFcl`UpogGwbNUV4W`LlS$oq|3EpG1r)xYP6B z;o5ib`Ca>bNB@8I;q=Sjx|5P3$s}VueRw&kC`|D2^r(NdFezzu`f&Z`ETxZ9ninap zhVT06(FOxoorPZ#?!Z;u?&^z_>KU%5d>vPg&*fkC`lQ1d*VW&#{m%ED%GW9^8|x={ zg3#{d-Sfw(3N7dgB}4QwuhzK7OM`W7Fw~3bcg!oe)$`SJ;>!MP#TF@HFSsIOli?Ih zHDZHQBbVGKUISLR~5j$R-qu&RlxJ5SECU#B)47 z7Q_pEb(5pi>0KVFKrRjJrG3guyjwZn4zDDWpuB&!Y!#m#eJI=_5+GqJx9T(I!lbJ} zG68;F+sZ2PKx$9qEg*bD) zv=L#U#?p!Kv;-?ZZvw6#bfsJ=*f$mf6B(-{Hv)J7|C-XYZBQB-{|l`Mr;(Fxz|t?V z+yQ@x2W23ZEITgG6{0cBjIduw+Il5F9V~nLf_F%euOyfmuit#A23wt!6~=m%d@Sfan8|ET8%lN3ct@Z*nv#<+Pa+$vNfYu$h9(-UAl2TgDSUns#-W zZ2rkq4B&7fOSk=;7r~wmKKaN2B?|?iY0iJfGXY<;6ke)i+NL%%Hm3H3){`?!!kMTd zJPS`e{Qlh%FdW6Wb8xCvp;o!JYlLq8x^=G5Gf=V3r5#532~Cqk3f6{pn(O*BNf;$Vpu=!=X=nLV@z3Yj#|@m4bLZ}UeYb!3 zYy6THHhAM2dOv>k4!o3q_-TzMu+lo0I-aOy*|Sv1-(f09ffG_GZ{VvEAc?wY>cd~! zPQdQ~l!7HXuXn;5_yd_0!RYA9+P{7N^n%O7L}x2NF?D7-GteM{_6cDkg4*6fQ2r<-E;JKI9E21}qj-J4 zbKod!v{BuA;3L%gYKI=$gRKE;)0W-C=P&;NQm2RO=RIaep)5%MTbMmd_y)EYQ5*gL z!FBbY?73DRmdDpLQiEK>lIwlc4u&WAkWS0Mr!l0!;?`kZ!V{O2B_dRy&7D zs>KP}2Ic^x`SOVA40Am*UJe9H8+0lUzuuD($g+TBZPnLRLcZBKD_ABl(`sXEHhNH0 z5A+}_L=|bdOFj^LAPZmH#QJ^y7wSLy^;P{xTc=@b4IWBMW5&I|ptQINPh}#~=c6RM zG#$qa7dwU24jotL_;xJ}Mo51nb?lDkdC$>6_+XQlb`+Y2KYrNLO$`i69odh-$wv!# zJgQfBNVK<-FI*16n zT3&b5(gsLEG&nq-rrjfMhv>LxupzuQHonoP|L-D~4bg_f{XE1f#!zNs_R z>SkssXJ4~B#sGbT%{7062=?6D*c3eIUI=0pvjyT>NNb6Y-|uAcQYf#LAp?RHXA{y? z6{=TwDQB#J!HQTa7`^zoE-sr8S^23xM8&4I7M^YE=4_uzFRifMo~MFfFMId>(zckr zCYm-N*NF@&@!Q>C_qo~!N>Gesh-jxQ(g;()3 z)#h^RMGBzzpMTfC|FF|!0Uu_h3!oI*YlwrL!m^#ebbvRyG){})rS@9@I;|>(%OV~u zg$y-WJr(gXF>=F$R5t=#ayKmI47(k+QZC%yx<0e-3=81o;p(1j0+w&lHT&l8XP#}L3 zA$2hZ^R`wVQA>RKD8)+IR=cse)?ggzq3B}jtf@-kGCt4ve8F6IEXkNR4y;;X^+|Ll zx;Ycp3(_1zJW1^iRq^iU@4t}mlL8l;DstgxV^D+Ul%}rL;PxzA?Dn4R4i5X5 zP2=Kqfm|s~2>*K~U;ML6A><_Y@I;qcF zx>5JlhlNqDP|yWnr}5R^zK=}%u(xkDYu7cn&82^&xdxGQTZ2J5Yb#*rQQ%!Vg?MOE zHGJ)?JR}p4K6k){%%OILN+;!Wy+$1()-l3vONllzOH2=JjLj7;05$W`xg50AK+F{@ z0|H`;Rmh=JYC7oY>ZIvtV^~MJtz69=RE^t2$^^N0%JWs#^r?$x*AC=)u?l`;73>fo z%AD zr7qs5#Qkr-Ti++<`=R{5_iqeLG*>}A=|59NR8 zGR;9v9VYUf9q79Y?c|2p5<^_>diXd~T|rfa3ZKu9wEI|RzyrmjqDZq}t1Jjdp=>b= z*{dCKpLT~|6pW@C9QFNrNZZ2SWSGoBR?3*wf8n?j4tLc%7+hgSa?>4X+fuIj>>C1v z_9U70jT0lhFqp6FnH01ulVk0t*>``ed6gb0YnL-7Eh=F{aTRXYQ#8sg9o!vP%b}{3 z4hJSDoXZ`e78-otLdQz&^)s)_YMp?z(y#OzkJZNz9gZQ^2b!3KPqg8VfvW2_GosR+ z`7eL&St)v0gxF*4Hb>~y6!%nUcg8*IakNVp3C|*9Lt~iD#DorOW0IK}W1fGZB<7ib zM$a}!$@5l%i2P{=O^7AhY(TRFGY#6N4yxqRW)4oUTnT!c9=AI??vW2C4@sj;{Ct@D zE-)uHrEzGI!Wp(|$0o+rR6&Vj4E=(ft0g&i))uW3Q3eO0sr6FWpdF2HJ1XxTC^5Pu zf=woD;b=;-b2x*kz}kftHot$VM5??1F-&Q@zfp%uq}qrG%vk_%o|5QCC7rO*>CGhd zpuCi+lS0XD6lBXc^g)=tbH6&*CO6a2ng?x~mAWvju9(cGqeo3R)rXo@_p@yJn?`5L zom->ml=ARGf{y1!SbFI=>49d$Fs?opp^!J)pK>?oWq3W3%7%3H-qU{>=efQY7+3=A zP|(ZHR5o?R;(t6i``9{hp2V8TWP90oPLy*B`sG>Pj4ObR-LY8hK*p1$vf#) zuYH*dcOT>~X7f5^xmrEi=!B80pNkIUz2;<8U%1Cwy$dlS*qfD$ER|N`3gU#` z_iB8qoLAKQ+4i-apZ$r$6uq&a@Q0iUc+uJk<`1boa+c9olV;-yBM~vIS=A5%eGDM+6^|`VtTzgNW)9z-ir%=gmt?;@Px9OcmchrN# zjWEUeeV$@BqFcl;w_ZK*1btwA^y}ti%dn(cy>Joj?cz#VT{xWrnvCe@T!^>%DrQ|} zp4M|S#s&dVWU_zvjR$?%9eOQe8N(dyKmYn=Zxlxh?NaosG2S26J3w?FZfp<^Y(SGi zZZqF)z3DS0yl`DRT~q5pBjcJqFR`DMN$V-Iv0g%bN+-`_5C&<^ zGPJ1zI7hUd=0KpkBnCV)B-q}+QDUaYmvd-xjwra~)L#3ZZqaX!>P*ZS-Ewcq6oe$mxxonI6A6iuVe4s6fCI#ht*F-Y#x? zY}0pEuLyZg+LxCTe6)4$mw7@`T%4U@tSCDsUedBs4mD1B9)oXU>Xp4aENhHJv9hDC z;P5u^*wo2Ucf{y9rMc|C1_>BGP=AGYpjjeZZK0VJAc2Jlzf@z8?#KJ_OqW^aVa}r*c4>orZq?} zx*9#>vdy0it8F9Q`Fu#9DH^QAaQNL=-I#T(e!xU%twmB2lCj62y)Y&ia`<)z@TXt= z8%qMzgqOig0u!^AY5s@;Gc=Qy@+3h6OpBL+hpw)!VZ^Wv2*kg~S)4dIIkj9GwXV9V zPEJJRH1>B82Ge;lrQtx3BT)xCuL5>}%=q-s)iFGpj{saNh& z1NDCwYsrh0aIPJ3waIA^AqoRtvL-_=_|tde*yA+z+*PC9X7t!y?@lyw?56jp(gjal z#s58Z2lQC6RU&w$e{|{3n;*X|#pdRImcG5Jk?3ct(S>O-{Og;hQ8&V z8SF3qnNZ56Nz3oVonA&Su&k-=zxk~8QiX#T(MzQumGVM4t0GR3@EU^6Wv}1u3`q&6 zq(O=3g|T~{)-?~1x)a8C!3wFgcWu(NdUN?#ZAXut0>Jv6fAj| z{))yi2}ybfP_7S0{?hN?yj{?M`J;XceQSViL^T^(5ei zkU|HC-;O9B)FIMCZ?yjSf0ie8XM!+J$3SoEzU8cXv8w!^{!7!hQ~9L%v=xBUW;eAfRGJVa+X+dl z<-ht_=MuS9Q#W@}0`=Flc1aoGmIr@g+OfW$6hmnNSGT@Hsw9L$-jrO_oa{C6=js(=zT~ne}V2LvQ7X#0uSXWsoCDcJX2W- z^Ah+pBqeCiRo?4+2FhnB8t16B@B#Jxu(Rr1;#%W#Jt*P!OIpy^rOyegxqTzEP`=TMa+{isIFlj+eGN<7S>Va! zp9gc76>T_Ns3gf!k%hV@*Bx`CjS^ZLPWNzDt7@aZ)UbZ2$d6`Fq_F=b5 zw#*4{9gXvEezY?x1e+1Or@{X^P4{2F{pQ1e_F%Uc+M+t3>OXB?|FC~vV=ur%=u4ao zu{Ek0VwA8TPlK1$HcpbSru^ayqmyr5;z+k!A=e%p-R&~a zBy&cZQL7%&(-hLE80M8<3RA2jzK~kyMjFR!eKGt{J3apr?_fuX zM$fQ`sG_}goX{6@fn&S#BP(CDhLIuhLviCtKPna(KRbWs{KkZqb7 ztKCo&ZR#o&Ri+_B3!q;-^Qt&hF&E}#$#5Etb)TS$0EcNL)kV|3a)gSAfVCo8?>0!G zttXVK(EPKGHvR}Y1CznHe`J@Hx@M4`0s0bylp%kjPk8E}yK9x+t5IU+I0R}p6+OgP z2O@s{(;xq2R~&rQ-VY4>=m+d{3Nn50$$}%>ejy07cJ3FaHi{wa(_6M>St6Q#4fKmn z)1C+sSA!3TEX@0CTq_x?g~#%CmM3z-yzJ9LmY_+K?(nQTPz|uH_iV62qSd!gz-)B- zT<3q59E{{tmUv&aFXx1FKV}`x$*&F*i)+^>dG@dd66`t12w(&ve((=ObalwvQSU&- z#9g76@PCJjTL14*k#q9d3)6PP>YE{=@`!h{4?w|75u9`WNdT&i5mrlQZmm=jmCPjg zLQAG6#*>J>!bvN84*{>Wpys`&67scjo-cnZGb4J<>?mX;`<}`f^h0cF7A3-+sVs*L zq_qhN6dGn*KMiIbXX?8mVVc^w$!FltBCC{8PjO;OrR# zu&to%DB$TEW&DFwphV~0{kR$(t@6sfDvhq#L=K3yO1Lhhi@RwXdLDdCfh_%+u-@O! zYoR_G9Z{|$r1B{cR+;W>dS3Rj5sZIR4Uw}HiH$>s0S5)I=myr%B z>{beW``546!$*e!{UM)}y>KdORodR+!W~MhGzVVvFFTz~8B9UaU_L(5$?vPZoC-*D z9hkQ=gL@WMmMlRn1erG|VK(K>e7%%+8-SjBj zbDuQ3?r4k_X};`MEfU%-VfBA7Vjr4v!eND%dX23_R{#}6N^t^@TS6-7NL9o~Or=8y z*vX{Vr}xz>V+JPWlmxx)Pfbs~7c+?I3mUJ@`%ijX8WEdP4zX0lVeh+_#oZ*zawyWC zedisD*5OuliEvqZU3cJq&yY&lQ9RWG&OM8WJSSg0r&4nEjIzVXa;twH$;egc6`{p> zIwcoO8nsT^Y@X3MHA5@8LltVJ?vhI^09i_(Y2sRn6g}~y6G7-~a9ov~sEZaJgkjAK zmzG>VtHO$H<@9Kw2{`5H_JWA$(PY z|IE5HlB9>At35dPlox-NHL_y|(i}^p!zaY2SY^OnuP2DHW$`vxStxJaC&oJ=<(XJF zb!LwoXqkvT?FOgX@!Y{zEYouPlm$$d>0=`PdH@N6L1+tZvjLJ;Nr2Mg+ul6qC#6^H zsfR>c$X`}@ESd6;?B?9`CcNi2L{k3c9*JE_r9N`Ku%#xb-EDvLm<19&59ZV!{ojl| zf(c<_ilZM*(Rj~O-#$mrceZn40%IL($i6<{MNW! zoOU6SEwM}9d9{@bRU4^FFa0Gd)qHFjC;Ks!$_wxNQ!{#KTFmmSwwm=4`f&i)Ip?Ov zTTJn?&P{Ve4$Yh}m8QGp)@^9}zR8 zR%OMUr?f(ER%vp(iN6Ue1m_8U{OwOWR@@2W4WnL$)Ie+Iq+4ruSm#pqHtSrp9Qqcg zB4G1`m)f`O>AEKjI}c*y$ij1RTqY}8eIxO5$cM0odA6koPvL<&49OB0cMlly4(16A zuQ5ypHK>2qUL}j^QYt?<#juTqM~ss(De~x&C7COMSebi+22lEqC}zG{$H2FE{`L^; ziCerjVX_#X#$>s9zuMJt$iIuT?x6MJS#v#UG{4KzUOce&*fg|MoYqb}^^k4L$i4Dj z3>YtRZPE|W&{!BYi#@1II&yZk8(h$66ZAIlGPi$|*@Jmb;tt!I(kiT4rP&1k=#~q^ zNz)McNz*`X0p*jlH(@-Iu&A+Sy5u=K&)JZzhc`@mDM4w%to)^?=#?}pIpuNEC|Y06 ztOb_X$LDkiM%E0NoTLk@bOi@2+xpydwa4VxFy-%1uZIM*^LP%T*l^0Vs1|aT=!JFc zk)D5HgK})u`Iwu$7CO#C=a2O$ubMcDDKJXE=rcd)U3)4i6+0^?>1Gyr@qEb0Ej6>_ zY0VIYG3Cte98&^>p%#7R&S@t#*ZK$rmU!o=YveJxcEC0CB>W=;rj9mQT{F)sg*ToNUyiNjOl~qv zyFTn@gmaGhGP|>ocri^^A#_&GZg@5@5Vtd+%E4i7&daxZd4Tnu&=)*GsQT`?>-2vv z0_DKd(1vbvd~@pg5nITqLRy)nnoL{RD9$wHL?=T;}z3W z8a4^Qty%h1IC@@v>!~@9$x>LXW+%L~Nhnngr?k&K54WBAof_q3NznTVl|Jff;`9iy zXgGa-=Ed&6c0p;sl0vSlkrz*H*f@WvC$#y=;o+P*1vdtnD2HNNP$B5b2Xi?lDTVRC z`gyz@V-M=r8Gh=?s(4r*37!r0ltd8wldcXX#hT4Zr4nK^EG!CwrJvLh1W`kRc;r>0awRxx2^^138x+y ztajuC%qMB*IAbZS>yPI91qYoRgaOy=v@3)Sn5DFn~BNw;V$7>dO@2uI3uBqfk659KzcXkRQv_0Ubk?uuvgHS3^l$M8c z?Y(erzWa>oSBVt(s1cxvXt|6aplRQ*ToezVA(;=jU@Kw zsxDuX_(woD)k){alzE<)ZExpgXTrT41Kn9O1BR_x65+I72Kav^Kc&p#dX`7H>KV*H zx-teF9FEpW0YS@fJBT`0kcbB5mETs-N6XJLl-{qHp)yKhB+FsI%HF{y^a18H9xCG* z%qx&kYTqiAN^ma>%kpp|=$$kwGK$^FnE26p<|&=!Mg1H$%uLrr+c;xMiF_~|F|Clv zSKg&;JL|Ow8X$k%j^EGkqs8zhUw|~d53$`;70ZnW>;^5_b#oDPW`i}b(@p*EuN&Ai z)miLsODWyBf%E+v{W2_e;nt;lD!CCkadexDv`TpTW#i|te6Hr*)?7Yr6gQ{7w0`)? zqq!S!?YQa5o9=8>A~@q(V&k>N0TidhlK{Il;bkPskMwGuIonZjmabY#7vin|M})B+@%*Na0_3 zYtrUu!}{CQldUux;EcmA`eOv(YWBo)Op$O0vy?97)DhfQo-|*H$xUv@Ibc0IjRo7}UH&oP{S2i({EqctO|(_*8n+#hFy&` zapxJf!`QPH93KYiH{1fht%-+8&BVyiQS)3!4fe0=e{5zPcPd!cyMy}+20=5SXaW0D zOH+Tvov?e%2v#$uk;pF*3mf=KH@HZA?t&F*rBjT?yY{Mna6igU=_@&#``nO96-gLz_ZiEyH zy=Q+odT=R0P{-y-t$gv{eDA-y_zonOK`8+fw;~AvS|9>AIJbT&0kIQ*`YUlVM5E$l zXentJMn2v>@($miU}n@`9pzH}lU;f~Q9X0lc?RWaU8dQQNVX;S&T>xu$p_V+8g@Iz zyHbpiD?>+=YhE1D7;kC$hz^b-aG%9ky?x`v+)lQ6i=&OADVOTR`)Oy@DghL}}OLplG}YR-4;< zqgf(7Yo+$XWm$c%E(yHS7#f>P^>SNUP9!ii%VyKiO22<bbC3YpW?mT|+ml4;UTjP4Fsyx#rIwPcncN^Hm-^@}Nn>n_IX^f@o`x(7v~&;cjEyFx^2 z7QUut!71-|HNH&3K1$8QbvX|Uk)0Oxsvs{h^*&y>$Q8OkOy;&Xl#(&2+}HcOW+R<) zrH3{9d*UW-BY9qbh2lwbjZef^ODu5U2gAVYbMsI&nz$a+d&r)vyT>_tdDWOgqjn#!?6&TA z2<0f%R&x7}!M{t^9x9&O2>}lUg@Dh7;iF$d{doGLoS4xakj4O?BsKWlK#V%C*1@-4 zCa;DM*u+?Wt(*!|MZvT2LE2872tUmWGZq%N2|X4mJPdA?_4-|(tx?5s*Xj#vH&8FA z6YH;%v^pcyMkT`kCUpw+d38FlNBjd4i+0u&R<@uu+{pBo;MPkb=jImHv=CqY_uKzE zI>U$kpy;dUkqgq9UBc%`q4w*{zW?QG0OMD`{Oyo`rD?~?)9YCN&)2~4-QWInc+jwJ zVERQfTpFs+)C)($pP>*=wzf?)b-?ng|M=z4|M&fe_lI(@)h$Od_3ns&SXWW+ptUSh zD)d*FrRsFfO@zLyi_a(2*uEyi;otuy#z01QVb{-Z}HoVJqJp9WOh*7-#Lm0ZAd_TA9 z(a-y&OR>0L;hQk{N;9w;o5Z8eJpO(?3H zskI{%f4lN(V@C_VYRJ(soFLVPSmv_T6O%gK7^JI9%lxcE>6}2N_A;l|l9W&jo6qu? z!$$v=G~;P@iF&t&Ey>NbtSs)-G9&4zJ1Srv=Y?TiCNXN*a?KPfl6ZGR1FK zOp)7@qe-xTp3j+d40fWZ3YPQs<+jSNd}DXYZnM@ZfoDM8r?WkeQQv#--)3}`$#`ho z$XHoenEoiCQqBG>mxs@mem-1UoaCVT-F0T<^n}&TE*8;oA^AM3;wU-Sq`TrY<|tW9 ze+;pko0Yzh(uEMaqT9U>%tw>hMpGOIak7FBdMbORaJE?l;`QlC{|i#qVZ{ffKPizO z2l?z*9h0wJ#UaYdM|d<4HFIGdEl#2|cm_^y9w#Z-BV$4nmadAcwD(y{=A~sP zH#Mh+$hgU>MpLeJ(Xx&|o_X&|N!yvBxAE}F^<{`t&hhIe>vV9G~`$xmU+%&9IAcpg$*h&4%MY!FMQ73$7Hq` z`2&r-)G>)eTke{kWWlGvg+riwZ|tp#+=LijxJavB)=^6eA9f4d}Ox?P5S zGT@aE$w+bJz{b;p6tvfai#Yui*%UD{etmrq0UUM$zIgwOrp=d!F#H!vzwl>P@aScZn z&}?_T(L%_p>Z-PWb0%k5f2F}{JsJ!?xrrve(bV za-5SHOJk)g(RXd-T13=3er9Yh@@)K55y|ktEH7eXRS7e_Mz5mG>FSx`KU^ z3GW-m#@6$mf7I)b>RWEiB%cGptU7ywI&YB^T`M2P?V?4IB-BukiSOQC@FWNLTqY(d z-Py_3PIE3e{#y0)ag|l|Q=-8y*dmU5Dfo?$_{F# z+^`na8$KAOu10+Ff0hr1J-qA9@bu@|2=&5SwQLOCyYrN%2veRyUy1XeOLg^ep3+Z0 zvi{XOHl#T)~2uMxLK@ zgYN4WQh1jWM@2m+q>8m0;iIwdWD1V;mx~X(LeXT^kBH2Lw__Uo`B%0Y4;@B~Lw5HPE@kLYbc*Nc$ zvx~5jqIo;r)Scoqs-usuW7XjGps}GqwUJ!jZWR1xnEE>nF zTao$ML$_g63Tln<>^8dmcd@7I0HC#vz@x_xY5KgV|KgBRvxJugyS@ReNQ`qDk(lh*$+HG3~%^bGgL z*8$J7X^UFtrOq+6>1ZI_J_7jMgUltS;?Jk1fWQ6WzXZ|_f25Z|DFG9g*(MU{X063r!syrq<*zkL2$uKiLzKef*<{QqCRUH<&{c+qOh zDyx((-|iQ^Ij5|?ylJ!9oQ=MGyZ!5`RMbj2qg2S{|C>^_es7<89j@)~ZziYmwEn~^ z=3cMla>a#rtFQQ84E1Wf*87cWqZ}0eHnx1ff3?-hZ?BP_Pw)T!_K(7~pSVtO%UK6o z_J#b0RMxuJ^~zd4x3%i(-W6J@(tJ0ShgcSMJKl4*cT@Qfnck{2>TUwlAzpxTQ0GTsb|ULFJkFVnVRyCh)Mm#N?5tvw^|)ANOmDw4M@f;Vk9@3LuFusTu_ka@7xz2Co^Ld_aozPJJ(eBw1p-&Kautj7+16 zchXxb_)o}fKDrf?3?yZc{NAtu54IhDg&o?D;1X~g6y^+#o!OML#x2pEWG zi*W%Ggs!e2luP>Bk=P}3?bwFDe=0KsAQEDT$qE04+t|N=!AX^AZH4 zQ{`}B7qC@z!9{`23{p1%Np8?>CwJa8x51rD62)D5EDtnWV*{qs*tBe!YG$wkdJ?wUpWX3_0zy%)~wU=S``yRNX73K!)FBMga*5q_~{*5|$H z)V+sXz)vF4#@YOlS`#lsDmSSzXp*L!bGhR4!6cikL9gxv`!d?YD{vO3M|PwsWRSoL zJQ=@>6Eoxz))d!h$8JP!f0OwlTtGqxOK?3L1F<8`$1b9~?}-Ds(+2CWIW_I| zR(y0I3)8EEs>f(XnSiq@G66maR#=K;{b!C$`w~+Z_PZmS*6k>S(yGvh*n%=}0(*Kw z6ojf$xNGj++tiR16DhKO{PjYj(GP7@igu{?E~=J+^*ET1U&b%Uf9#mgk)_ysTeSgY zzblZs`7)N|WH@t7PT)2KvM~tHL^f(jrQ^Yt@rpT75q_T3&^FLN7;&U+B#5N+zwn?Y^?yibPKD0A)_tehtyFI_7hbzohs|O477p zh}H&b3n;?VueTxGe|XKtjf$H|mI7BB-ZMmL>YXBs8tqu8ucHHJiHX=0?pyLY^cG2x zTw*y_1c<;-us_jFJ2AfLAp&e_@3vR3+q=jYX9#+;hGoIG`PUP+!2Hhe$(pdKtgUB! z(mNS8sp$}VGTdcHSjEUpDYGQoHSHQQEY5Wryro_PSxbMYM#oSJr& z@8>B;%i9P>oT!eV_K=@&CNIR&AwlfL$ikAOvp`>_#OP}}C*`oWv z+flYF#Qj;l4)3lliSAaqb|34El$hZY(F~~0w$`k0e*z=C3VHc$tQ9><5mz?a>P5To z>3Bs%RPB;oBv|1#*8vaSS6{T-O5&w+7`<=yTPp97`}LK4*;^5!n#xF&wFVK6HKktq zsj_=h)(qC>?%P|L;+-5|uTfMpHxKNLq;s$*u9{Ivbgnczjt?kSbnD1Pg2H+k@=lHq zjMVMme?NzUCB2WQH-_ahC#h8`2XzN7>{xSFTt+5DBu5Whwyt)C<7ymooj7&Uw`m3(n5vZRQqMQRhk3B4X0_APxG< zvC~kSaR&!SbXU<8c?*cLe43*y>jvSIWRXt*Pv^jlTo6`vw<)>F%eCzUK!m>t ze|C1c=Bgmz=33qI#7L``U8_~e81VPTv5sV4t0_w-+#_=uqeLbBf7f>_uER!&0k9A4J24j1a(wYJj!N>@^}m645>Oq$jSxEZr+fH z*3!YT`#rZKgIPpW<3dxNG@rY-1Ikz{e?mtt_KcPyx1tVFnvR<>N}EHxC?O_5zbE!; z6?U=FE45rfjc_|JIduJ)9>O@$;;>}ahCG5-Z*kAjRiiU)otzQ*;_0c|IXoOD60B;C zW$eCliCl(bS=RoEQzPPogGp1lUxzK*;PNVXKXe2kZFuNmEDnntyOLN}S67j?f9;TN zP#ql;C-XjZzv!9XG*&N#RIT`D^@E`cG!xyD8orZ+SGM}lkI+LRIu!@HOP55{m)+dF zg^>j%z=(ozkq4hZdu`3;#ykmd*Z>gku>DemKt#FL$3WYA&UuPu@U+^w-^LhmjuD7D z^@!w}2XIi2l47wlrb}lHsWNk4f0M$nw}KQ#v{uFuC$tDeq)#B*Jaqg-%N0&p+fi)m zxr-M%f6F6^vj?(ccltwgrWb88a(YO|3Wq$WeMt9!In?>>?TJh(2`_L{L_~B@4HHEP zTzqh76*S@m8om3F4;_>Im6;59`g|rM<`?3r(GFhk-`A)00_Pr%wJ7sqe`?oq`}-Ib zz%LA z7;lT7roGSQ6w8kpIUD7MsO)iBgq}Kx-P$EX$3$nI$Qoml$tHQ^?9l2OnKrEvI_L*7 zaO>7hsvH}+@e|Aw9eW-COE)ql3cowLLsL{db$~>QjSI0>+ewGpmev|7f zdB_=37NabzP&-p!jku<1hIpFltHzkI{;nmbBTs7%I;6_|jsAQeC5#(-nq>7zqFn#1 zm7uu_#aWu*3HeFtQ zY_&HUfgyF?KWl@rNesq>UZJhWBIC5h&&}SmPRNJq>`YGZJ+?s>B321f7~(M$uAnbG_|tq0={iF zn`jQbz~N7IU^s#(4n~*cs3?{QdQlOdm}XOoSn3}{sm=S#&p-9=|80NzWYx%E{R^6s z&c-6J?6+97DvI$=GBz+H@c-rifFB5+GnqeTo7IcaVZy|T!F%l2_s*pFd#p)lb>g%# z<&I4Cp%9tvf8)eVu*Cv~P3>AeS&zSiYvXF| z#Ol46@k5O%`nd1SOxykX+mmwcNE6KIqaB17>wA2@e}1p)(z^qHjV7;^@LHu;d8@za z9hyXh<7xXaZI2PhN!JGH!YJSIG{K2M3`Sl6>MxjoCy%vhO) zE=pbJgR{ZqSalqR;F;Py=G6uozpObyZMvXE>6q!7aYRQ_APgn$qK?JwC~2qW>g0=oCODQEoC@bp(UKfqW2 z9qvBqj(+0R@V*sz*XhTyPHYlor-!IUF0gAGtrF1QzrtMNjy z$zJ|$v=XTTQE9lNQbs>+u-%JqGTQ`gZ>ut!wcg|9x*H>1lFy|j#hJ?d^ec~RWLf{( znivy)5!r(;79eq)-~oTV9h`U=L)s@NQxFB7$cv$rM}-okssxsgcgq(??W>p1CWrdt zx1aE#dI4b-R&RTDx}rlH9<(CSyFZ3AnmC$sX~ut#W;9}j-8#L1T6ZaY%qN$D)5yz< zgP39@vwg8H`V?OU8b&>nb5wEI=yj9E1oyIG(Dwk22?+yU1i61qhZkEN>b=A^p=b6a z1{9=oyssK4X#Ieu37+}0n8Me;H|(NDlU`w;(`UZcgF^C4xLmKbnbjFR#d>-t& z?YmTmKJNg>Dk&8PNtECsGO+D{grxWTNDlhOXrDnr#F$CGW=1;pVTof9%!ZE%j=8okfb)%a_*dcf-1zV7J zyXUNUL=|KS*qlg2t5-HGbLsl61Cqgm2lcH&>2-fVDj2MG1!!5360@`_JaF7Qt=TzC z2uSQw+CT+p#I_#MIjG?hWs64mUcCMN3G0FX=b916^khFRYo9VWq_48u8nyFc9t4&V$ATB<;m*n!1xwkG zR3m>W3X@3yfZ;}2J`uqIbP&r9ugIp7C9Cjc!s592-36kO0+JX(@#JicohRH5fPjVK zto1`f<<`#>qc3tV)-z!>28s2|%XSRQyx%vAnrq&37=$$~@0*O1+HC+CF%7+P3O%Uq zM3r=l2f?!?IsJ^2IL?@Q$V`Wwo`U_HYBYc2Tra7oosp*YoYVVH^+dm~X(3p;7qw$E zApG72#zA!zgdR8xGa5?U#PN2>O(T$=`Oi67B)dV^Y4|;zE@<61O%O0kCmG2~3Ds~t zC_>2DSZ0!J;A)?o7I)O~?E1b#2t1ObO*@d9HQLs4sho}mrLw5mYHlF3u->#fPg#FR z+n1Pi75a(M_o+%_lN2i-l2YmzR247;d6Ysz_a{`llMq`EzZ7GLVDY1W3coXN@%7#gR{@y%kBbU){ z)t0YSX(=^0r;TOT1_J$FXFQ-CewdT!_Ipiq3uQOp$Kc08AephLR$@WZ9&XQT*H5Hljf1# zbY4oRMrCnca{UmDObRR(j8oi>#HQi_DrrD1;M6OfChE32r*{(e95m^m_Pn~&c;*C= z`!*$0LqZ2zq9v2lJG8h>E!#Dr)5c!?DjJIwq3KX(kmfT~-&pKL?Zwo%1n21|yA zFZ!b{IviI4@D)jQ`XXOt$1i_oM|!l?UK6EroIyU*1MgkDDuMB;B=6Wb-IauiPX_Dd zvptqErvMyjki0=Bg?GzcY+Dde#6vsEDm6PB0xoQ}(G>W8)n-f{r;A8H?N@VZatUQ^}vGbxejwx!VjHT$g_bSda$CvaH#R z@A5tEbmd86}L>c(GF_fROS)#x2qXNoU=a(NDpP2UdZ4|EZ}&JKX}CyQWP zom9eOoAIp1+t0GoYE&1<`?W?1C_5KD%60SL+0%sdBF~z6mptE{_nT59A`#{ZfhOU& zALF=NzbO{IMY)E2kZga7b;ocFT+!x;Qgq|Nr0&i#1#=q$vUUdW8isegbIXyJ#s=4v1*Lzpp5myEZ`@|DcFOh*y-)oX~`KH&%pKh5q3>3#N7*3M5a4 zp!jU*N$qTF?Nf^q-@JAJVYE%(96xZ?@q@kTU+^PbRR^LuJ1{@bhT8(++>J@m>15;^ z;Zkg(q`hVn%E4S42O6t(lr{bi>mEe++Bz1|^MpZ9 zZ{6k|T|GJ#gR@*Y6_dugcq%54RwLjtkfLNY?DwFkt^E|rk<=IVWOJ9>#QJHlVbf9K z(*qK=s%qKx8*2kr`tp+oZCiml1XQH(9h!QJxN7=9yTj9Ot7cF2B>k}7w7zoo@sfLu z@K);0xBh=fLf-FlEoW4;TDmkS{o2P0_2N;#RJn4RJ}XCWtJ=XqSCsOkuZ8(U8HrCr zpZUTq%Xk_7FaPmCf?~YNvr2l4v8hlgP!Fn%dBz>_$=WE$bF78*S3mVLZOeyvUXpRT zX!OJxk3mz7&a&u8)!Q_dGAb=u6Llv!PRo6Iw5f0IHsh1k65y4|pAGnH_fqo5HaXDM z_AE_^Vy$I!+zX#QI=WHJMq~7Ijt{fp*u2dOy!3x^nZ{?Y(lNy59ITcbD+AQC$VZJZ z-EZ2lQa_dWRWt&KRc;F0a&tZrD&Vma%Ev{3V7PhTwRYFH^XvB<7Nug9N|N29w&y{pDi(PUdB1os$&&G%?o8~A#U*vt`Of4{qUo&ZT$axI zE*Lz8E($KOOWt;3yBuRDt}{BPPJaU0sl@vmkbtgHcE~9Hk$1YoR6(hp%oS>8Js$;#_Igds;cP@dB0Zoj9qkjw-gl9>@ zDDWQR#xN`fY&6Eib%mp;25vLN)#KYLbic7U|L}dc$B^2 z4cHmTI&dUMFxPkpASG5N`!v{P0?2EQp$tk}&pV7$3)x4mXs=nXh`>^vD1%6BC}2SuRu$D#@7xh2nB1iFQ}LHZD~O}-d9a1%wY!C{M5&W?p*i>fPQsL_CE$=yCwvAc#8Cd!5uq{#YOKI8pdH}2Sjt}@ zCsKz_fX7m_$kWv6mO==;D|!OS2zdqTg5xMoiDo6}w}~3)QhywjPQ3HfB5*>;s|aDj zr3m$jZON-h4<$w0yr!$9j?v2rc@-mUU8q$tL0^TuidpE0Jhjd64wMr;fRI;EKD5B- zp@GC8uaZN5i#;V8lcRl>hGh-&b=0uT5jk=# zQ+f_Q0{W%l_J62hnTGGEVL3o5jvAIDIP1!6K!@*WH914R4jKl%AucowW&)=Rr%5Z& zcnj;bntgM0+L|14fp6)T9V`_#Lfl9y5f0pW)}sYFP6IlD<1X-RO4K3R61@+Ukav)t z&BWmR<2Yf!l~BVx?;LR*?;_iBdNHL}d~0X{#SRNM0)O8Y3jm*S2c8I@3@t)5CqPmV zYOA99gz9rWi&^Xdm*1|| zZSnW4?-p0L7hivU`P1@h^9o9+ zY@|~$Dt~awjZPU(EfN)s=hv^l{}W}KS}q8%fT{Tb2s}aH=FG$e$YIx8lPJW-YnnV+}{)} zkj8eP5nL?{S#fC)*?6%X58d$LTpnZdZn;`7?^GHb72{VZ$rjgo;HG~9_Mm%QudWw= zEItfcF9FjPmn{^$B$rnd7j+TKsvP7@1HM|VSGTu|^@k>oa@xZ^*&Q+y#DB9NJqJJzQc`(C7+c3&*9!K@9q{2lTCm!mnC-Xzr6Wdq>P$i!7&|c<3P{W`^aWsn+M6 zBWE(zQBPWt4ha#Ly0zQu>!65DWYx@>P24c2b&XOsgWd)UUo_m3W`CK^D6SpA?PKC| z784-sBH$WLI;($ZV)6hl82ja-RJIwiibM}|#^?1)?MfNO#ziWVkO4q+j41*)F_p>b z*(SO&p~5I78x`Oboe7HjUyiQ$2@6%N)-`6;sO5ZOIBOY$vNnNjYYk;@)_xIvt;*U& zg^r7TsS9Nq;g%Ux)_-ybSmhL+4c2nEfB_032JT(Nj9&Q8i&h~#o7x!h%3yjbiwWG` zbh_lsS`dnwXA2mN!_*BYxr6maWp39$3vRoTtl@@ejY)YLsc^9iS1&5N_-yeYT@Lr0 zcenvo$z87}<9>9=&sa=K%pVnx8hH36M~NHE-p>@7A<|ZwOMk`)gL#62SI=!YOEH^s z4)@LVyT@h~#wqUgW~)*zCpZ*O6foKsZ=aCV&nK}>a5C@C8s9j0wnH;{8$o=IS^My& z;+r>*i(wv%mYXXb(wKgyCt2h!aEs6*v2s?GeS4L(*k)}eEAEqTp`F%%^v?l3-A#n% za33>xE*jIoe{{4rzoPhs_E%~^ zG{gv2vf_y-kF;KU+gWM|(ooM)o9A5}Hn4Y|w#iwQQ+bJQAeRkjqfc&zwfnh4_BY4& zxoyzh)bNEiRLqzQK6i*rxn_r{wB-Nr&Ncd=Aj{>hX0GCmHT{ z?r=TNm486=Biv8$L$jGwBks?!`}=W06EjDi6pWsGm*s>S(q`!*)8*tp&#vwGqIg1PT!gww#BWDfCZ|*m%=CBm!`RJKZMqEufO~PZT zAquW%UH^Z)xqjRr7a6cKH-|kBHUo=?^sI6gQGcG#PfIfopQO3EYHT_%aDyvnd|nPa zBHVzqv*s4|Ibla9@+{Jay&wC=za)%Ld#|}Ju3_d;w_}qy+ zC>c){Z_x$8Bu|Mx$Ius#ANGgN!}1EyTwqm|2r^7L1*SVydEs#$-E%p3?7{_L|WBc!)e&p|~ zcbm<_<9}RU-fnKyKYruJsambChjB78=YdNE2RuKVeE-OuE^Yp~jr0Az?k_g_>zmEH z_pdQ&++98{KHRPUcz^r$l4l}cY}SkW$A5>#dU=2K;l=H$;Y`*gU*lZHnMFcUx=f@9 zVWRsyJ>1;BSX^Dbzk7eXfa8AwuXOYFrpdRgMW-Nx2!qgur_im62udPN(}mB{$%pl7 z_4dUADd_S=@3vlSR;$~a`|B4F<$dEvkooe!XEeUV;f{UJP?AD?U%r&-jS@aJOJ7^4Z0pL#yz;ri{v`ua60FE*Ry`u_6e^7oso%n@R$yf^naCPoRIVvw%^+9AHxODIP4zd1w*_8B-6#PwD8S@ zY(hgf(8+i#YS6aew{rWW8}^Q<|L4t{$5*CbcPZax@yaid`fHpawQK)vL+jD>^#cW#*j@d+n@1h(hYuByDO>9 z`K{6c#9`%k$dtxtLk%m9c7OGsWLWV-5!+e`hoI``4C9@lF;=Z&rO~eKg1qh5OvlY_ z@1ai#Z$Rr+!B(4>YV*CzFW*WYpteh1M<>e0z2DX0H$c0tZWo!YtK4ha^YiI_z~+3Q zxfq`o+yRd2Sl26BQwV03P9Y?S!TZ< z2ipBjLwfs$n;ayxJu_i_Xr4(oo)*hMy%({oR_?2ndsnaN_)IaSqf_+~zN$#|B0e7+ zs{@tC%`L=^C{n#J(-FgL`lB(sy-M4!{7;(MFw4)Tjx9*{@9$nO*JuIW4N#+M{0g=L z47G_6_KR6N&I1pXWPgI}N62kG+aEt37lQ@;@!}~Jo{>2L9Y)an*6aW_JXRmpP3oiA z%@k{t`x8Q)p!O;fs%nL*DzU0a49AB8B4$ceX2()$@^jApUPD?j&y<7lNuR{u8&x=j z4~Zo^g9DMJIVOYo$(_WHQ~Z1gAMs-fGdKtj`(uoIgltNu@PF+D-kJmO;BwacC>A=C z%}hC@mF*`>zrgo8l}xWgsk)t1XRItI$Fw&ncW6)?m7nQ7bSKa78iZ_)C-MChKOVw| z?&KNWMW`Wqj@$72)aenMnQ)gKxaxMXJhggBJXFdKx#ob(ei_4$WX z8WqLNsIEYD%nY;HtCL=0s?dk@8AGu%YKtz}86SZj*^@2;y8N)XULKm`SV8QJu0n-MA8Z_%IDaQp_}3u4Gjo-isZ{3FyKii^ zR2pmEzLA>p^v^JpKHb?h5Rrp)cfAW!x=;;iSqSM$%R`7&;z7D`OE*vHLhdz_>7OCN zK8e{ikl8e(ytS2VJ5kjaQj?DU5fZNX#^6PhI1NEt%zlaFm}nav-{ zOWNvs^{{%}re$NwkaK9{3^CUvVBAQ8J<8w-LN6>|4aisX^wm6P6Nr`sD6W@xi}i19 z>M*V#HFc=<*u&5ku*RGn)E)MJXX-cHH(Y5dNPo={h9c;1O%U3)GMgO?HEavz=Ah8q zniC9V(3_eNw2fsp85nB#7AwwSL6>?@*OWn_Y8c-(mY7cqYK+zkzNQ>fQx1uBN}mn= z2Lh>~X6L#NWv$WvPzH@n6V`#7vqAn)LAOYAQ1nzaupi1G=``USeaLJ;Kh%&G%g+D8BL&FtgX`f|wB&_G^cEP9^+!DWEjB(Fy9E?utjiLPkXkVby z6vG$jyk89H*-eDWA;IaNZOlVMP;O5>1AA1X^9dE_+;QkIQJvVvm6LkTg?$Y6C{BxG z=~4PLS;ryZbalhTx#~~)+@k#L-+xh>u>>;hvzr|b>p5@s`;Ae0yI+h^dN~D+h;92d zlsSM3i>jLu+dp4&H60jQy4mfB?R$ICeCo9W8Q!`+Hs6(CKs7BGnz>+(AT+~B`v@38 zAN4n%bgW<^TNe|8)@_)Ny%1A>6ose|!7u%xiv0p0;oMxV?EB z`I*D6vFW4U{(VyX#5D*0=Td#2r^G#*ha=7TcN=E+UQgjkJ{)Twt@7b;dmc7Lq;$A_ z&}wMj3!)u8KYKXV+$9B#Iy=~&U(g^FIow__ynN(6|2^p#zOgE%Bk#%nBlyTHRN6_; z)X(S|_VJU@!>>hh!+pEgTDD#Le}4Y6n3wyz0a$-9IX*rLb98cLVQmU{+Lc<%j@`Hs z-RCQ`%q*fNSu8#P!@wYeWD^8~WEPnWvT(X@0|pEmu-idCKj%;{>OtO{MdL~;6?&fo=2xR=4EjC;K4+~B+^&z!+^;(H#8@K*=% zVGw_VMI(RH;PEFW4<0&V-QXksybM}&@GFXYKWM=F7QZmaV~yZ4?(rK8?&A=$!+jj0 z^Tmd!VQ|om348c7B!~ClMS|@fe<@k~%8;>#SA|=!FW^2#{OVv0jB?o28V|2R#6^Tl zArIEV4;SIP6}%iRF7VhvYzcu-i+2{3!uFA3^O2Vj#`ST78QCcI2j1F;20HUJo#@p6dN!cByRBy17kg7)=3lqHXfXpU%K~ro-V7(Krg}o4Qn*ohS$ZgKlVk{jjbdf>DUgU@Y1q2EXDBynr zU|E`qAUK=221E`a6G3Pkc|iCaO%=c=7FuMEcxVxHqU9*^1{%Ea)PV8O#$F7A5^!5M z2){hZNx&T$NWe>23Akev2{_2$3R}oj(nUOjN5IJ)5=Ip2WQ>sIq>L!3TmZ+*nO@+= zWiU^WD2Oeo3E_pZM`2lHOD>3>+_*NRFBywP*H}RDvl&d_1*+!Z{=ZoFsnG ziiC}uMgqVsBFKmk!GBwzB@mIJCeIivB4VKhoIxE{1G0*_V+%&gnB#(>EI@xSl(fkb zHYA$22&Kms-XfHqc9Yc3X3`Xog$^*kVVrju{BhnRtC;~bUuKJiwDP}%#G5GJ3 z5)G`*nggN@o<)be_oeF4%2I!Jl0n&H*+JrKDLaXUFp_$xe5gdY2)JMZ!ELpm7Fanb zE3pHA)G`0Cgt~y2;kG)`6Ba7VjzeISlyRlBG9#g&EITZ`O3HX7ntGav60Mpk!d?+M z;bC(y#Y-JRAuVhU9`)SAx1h==ZU~W88ODQ0cp1h=qg*EsQ4ApoDA0d|4PL~+;KPfU zP;!9Q5OaaV49S8`KnvBI@WR|gn?2Z&0;?7(PD+U)RB#jdau_m;Fc2NGaxeBQ1`c2k zIhEFe>Srv1{u{E*41at2$FKi{VIxauiX+_q{Qc9XfBo(^P+~8RA&m&xEQWE5*g7{F zcB3#NQJU)3j$svBP;YWqL4rFa^t9$z1!PaFN-6nsJN7AEQjV`z4SaFQn z-XBeC)Js~f%-Dpnn^I>vddQeuTaKY^)YLXk^Dgi;IMeEO6 z9R4-zo8%hCARW2)W9Zo@Zj4n;IpHUHblR3Pcz(0bhNHgMiuot_(UiuxnWx9J4=L4o zd6q*z=eFE4{Gop>FL|HZa!h8U)sEcy(QfdEQ*NbP!5fe6qY;iNHpRk%o!bRBI30EM zuIfhE6{N9HcOB;~xuI?2BkH;F9l5d9_Gftjw<>VMxnG3Qw!0v+Fi({Uo_nv z>*S8SuGp9IJJ#zR@6WtPQSCJAh-oHthJi9ib%ueEk+hxl1E;)eVqTel)@RmVGV3vQ zw5;SW(RoZ?ZCzE61OKN!5+`5J3yb`H=on+QN8$!QM z-btl+r;waSPf$HxojI&c6lgF!_q2L|MUAi2Ps0nSmh{T=sY+pwkegy3+?ah+>`YDb z6Hz7A2bL3I;%+QEi9^tOYBi^^2~+7dmt36m1Qma|?enz1#hF24d+1g1mHpvZNWzxsCz;PUYo*Rq z!l@-S)g6xD-J=|idcHL^Sae<2{<I&_5zW-*n_2buM;>Q6BMg8$KUwwS4TKp-*Cm z=3|>}FA%zRF8JiCGIlWxV2C$8ISzQH^KpacYugz%c)qrsS&!%I&h|WByUvFl9{P|NZIDUw--W^waOZ-Jah*e)&AwAKt%z`uW4x+vhj7f@0BMZ~uKOpQV2< zw^c5i<}G#l!)5u6VcycuvfE_J`p(N{W_e$ZW_|znVwpSGrnPOcVOyMS%hP@84B!I>5Ky|IfU;dy^HY%#iWgzuLC-wm9!jf{O#?Lf+Nz?LB939JI> zj@xqpOqB<2@}&g$rNRAz<)1!&{r0w^_m>afR`j0!_~kns_=6ntV|K;Yc;|*+i#^X9 z?km=}$ebqntap~~nI#@9K7FBL78TK?Rige)mn(PBwe*(g=_hqbgYin#}Z zwn1nG;uQ63nlDt2x|N)@3~7Ib&CA?BUbhnZP@9#i)Xcn|O3geZ%%w&frKawEN!z8y zhlzZ&U0{>IPr);Bhm)_Fnr#U zrES}WiyjD7@0aakxYYB&esJsU>n`@4oX&NB$*#ld*^p=|_P$P4ayJ#~zG{^BpJ&~? z&xr7_bJhFLGfDH+P*XcCZKv!0mF14psVe7m?xmV!!l9(b*|?WGla4(AaJQtML0(&v z-UGt7f#?N%$voXAYs9ei4Pcdmoj$WW~^G}kR)io%ki{yIZT|y5+yJJ}|)(M-Ob!?h0>s@+i-i<5D%Sl~{-B2xj(2F!|6( zw1sQS^Vh>feLIXL^@vlorrpH4B-pKokGsHU=G87xvEPo?3Ssx;DrBpFj%v~Gk74)9 zZP-_Uy@7SV%&l``Rql2N;wmc__U{mWo>})&WoRAg-A93*1HSD*tB*cc1I4WxHg9_n zcSGrgUkls(T&_7hiOzp^8mz7=TbuEXiV*6Gpmjw^k5q(R56zv5pw)S}8pKb;>ck@+ zDnhk4|JU%e_x}LWocLOk@kVma%Ev{3V7PhU0HJ*Ig)1$5-5PSLXO193N@16<7!6QDO~NyNjowzj)Ii9cOxk@CHzQAr;!LFsXgVyku=eb ztbY_E={z2xf((Xo)JO>`EcHk!uSN!sl{M&4IwXP|;oeaPG9VEJij7c^3PdE(y|yD2 z(3zDUi2xe$R7EszP&ZnO3^me18?=rqa;?%MEs<-%jnt^C(2+s|7CdR?L7GBBTQPD1 zS0Y-WvaxF90_`*1AjLGRXlF2Mj}8U5f6f72_X@QM9>|HaRsUb z$gvvC3lx+nZzS$45v(8>h!Y8746GWB{v{eWMp6$N2?)Vzl(C?dxG~m)EJ`>FNgK56 z9F>WX09cZcgYm?qMj}{hSwfZ6prJ&xBWX#65nm)P=?zpzG7jL=5U&nppfGR(<$o9= z*Aqmj2@oX%_sS@-?5z!)~5tTtdpfH+%#=%acFAE_=Z;6fw zEfMt~JVr-!Xe5ZkU@3tzpeV+`B!5CpA|MOQOQ9^$t0_fKL9rA@5Ofr!(6eLnAYL6A z0jL6wz^sJ23{ruV48j~RDV2bfSW=3F=71up7>YoIR1R2onn2(II)|1dz>T^PCsLr6 zt_n8e1mS^tfcQ1lW|M?~2(D5S6`<8f<_8H4G*a`@SX3pm^?(YDRGI*BIDbmP^3lE| zfDlt?2MUjPh8xQ~K@boX%#<)A0B5Jj@Fn;I&?P8_DWh>`VE~RxdGLc==}5f5qVy7Q zaFhiEAPWt6f(ZaCz4PFaaO?v(AW;NKhG_|RuxFSS5+rE{1DCh795g{kfJ9)Cg~ZFrj!DBNMMSofw3r<7obkh0yN-Y-AW69gWRK5&I9X6 zz;mEDJ!3nd1o7(dT?r1Z2S<B})4J61plS@#B9t27RaDU~9F1UKK4kXY4 zvcMTUhb6=##pol#toMv_cxAzPmK-%XC-UV^qbUcWgAqeG2X`*OPJu`A<3tin3J`Xz zEAr_iP?S~PNOBiw&y#o@l%hO&dh%v)`I1!NDMj)oxdljd^z+Zv>*?yU{`sQ5xDdje z3jvT|bipU!1NvQ!Pk#g?C+Qweh40-(dIpuJ^0@ad)yG(q>Uz4rQyrt9SJf}`*YoQB zt>u>w%ld3JozIT^k^1S*o$AG8QO{O9E{f61>cyh|V?@S8H_z&?D;`O4bLY-~bqQ`d z)`>7CrXf1tGciO|lfFpLe8VU)qw@7EGfU6oF2eON;j$#$>?kIj2xa1lnDdSFnDByN zmik3QSbD}~^#Id_CcN&^7(Ht=oQ22rbDNjkI0GXA+Lk#37=PDuIsYsxf6KJG^fts2 zsVCFLa<#URCzIt`+SR@J7cg<#uGxY6TeD-LDfQz9^ph=y`D*C01-N`E+W|U5Dbh9# zv82Hd$T#bo%DE9 z1AR*|+_^71kADN57YwTNjWSACLJp<92*t^5TmQa=Q8r7cXjtZYzLeVu)%>LUq z+9*fOm|a)Q<*yrY)h@>F4KgOn(NzwOu8j{Z1|^doufdcd*iw+gJS3P0!-6T4 zn}!XF$2Y@9l2slyq(#B8(t&!lrOa&AhCa^Dm3DdWp!KE5H8hsz&c0>xKj? zo55(d!hij8tQc>n)$wdLUoCm1B2hI~sWau$CH1LQPiNW;b>`chY2E3p@yTQDdfGK= z&vuRMv|GB{ruH(6QgvnVczO;wsKg&t4gTqZIK*{xlOY(|!5 zXpy;VmAg)+IFi|0%H$q!HTl|Skx~ueMe7b}ssk8p)}*OSiq53yOp4B==uCp{B|+~^ zg6@)F_ws;Q%B)+N22ozwUTahLBHqY-wSQ(h1GQcc)G|9t**jv%!68fgZWkTTrNgF+ z3<#68U`1b7R_)uB?b>fVT*@YE-uT1KPl`NB=`6d%YeQ*Lnaz;OBdfGotu|YU%|fwR zDA}f^%g}V0z&vWnJZ#C{aZ3&kTuJkV@VX3-9;ts>_Ah3j$dhNsD=)qjxtO2o%&Lx7tUI?NSp5TG0Ep5Y&DnNQ(iV83=Nq z`!LkK>vr$^TZnSs7E&B=AOksuptmkND*JvTv^m1dmYikUkTyt(P1SSM*^J4JcW4Ma zt)ABB)5+cW*D>AOXpi8JgONue=6|N|E$Yc?zPR;d^16OE`g6MaH2Q?z7K{4gr}l(9 zuNa>tr zF2R^$6{1|_*j`QEEFSn~ZfuIRr#y$&lUy#($E_*eB{VDLqFBr;>NktR%zx8G(f--> zb8fCzE+^IB(SKg9a{f;B>dS}!tccm*=Dt(It!41@&64xCt~-@4Q`XDFv9qk* ztKB=*@t4)7`J#dPMX}7-z%dkXas?6LPW8C{>(BY(e3`2c^7SpNIAHSXi zVlhAea#k;HeLeqUdUbyB`RnK(x5SbB$4@^cmp7fy?oU?rt^5B&ujfUe_t^qr&21t6 z8~^{5yyNq$dUnj~+-YK7olIA!?1`Vw&+F>T)`RV}3UIOn-|bX&A1W?9GA~ zdGEFFXNP`ovYK4ZKk`D0utzj{Z2!?pfc5goe-JkOQDCBR?-}H_qrRX{B zB=I&J*^!q9eFWvVXo6EZqJb$0P34?IUD~k#$RXd`ctqUVVAk~ZaHPT!ZGeeKYGgFE zV3jzs{LIjnB=7J<8-K%j^o)D-wCh3~Dc-!Kk7%4TR#F=-9MMJ{i9G8SYMEeIMkF`d z(j<=b>3@yA6{8>Vr$c~T(swC8=1sIeOY!WqTQ$15Zb@2fm*reY!$?iC&F{exA{1F%3yMgKWL`(AmDVcjn)5dGntxQvFWUfafNzQK$ls6v zCU*T^}*d{tj)}FpyM7{LXi$Idjcyck( z5_m4;wSy#5eSg|7LUOQ{=xaPjYNMAwE@34-H-_je(>imR@>K4@uoX6U=^5LeOucAB zG9eyy;~`R;oEG`Y-{c`$)_MJ(FMMf#35-lV8C$vgcj6;CXlGqx%vkUAZ134pa zXcHyTM|631?qr#YS0cQ$Ysyn-%Rapik2#Ly`lhx8%*wm=4l+4!3%*Br_hASklfj-f7q(?6@4- z@-w{&X?+e7DX8^F_8{6ZNGHkdi!n##l^+L7)%~e9;~+SgKQ(F`q~=kJx4PmJoJx=4 zm^RYVYjErIsWo7eHmy?}kh9{LE)H!3Zf>M84u2!Ep>|GP7^Cp17h@X@@6V)MZ^jaH zLc|B*)cY}2qBepU2V{XUFR-!hEd}bgW0$tM+%S_D69{o zOn>Jf|{7;^0(SC;|#nL614yqK5_#4IfHTK!1-S zULaDyC;&|!8bw3dP92{~U^|txp**sk(r^kww8X80$*J@NT@o3J=B}2_R6**NrlXcW zkxrA~k<)PMBudyOu!d&HM6Dzfb+oY_BBWez$I;Sh2f-bXX*#oR&13ALW(*zsfHPqe zjcl7v^9~w*YO`&oTC4){IaF(t7k`N$z*jQMjt~1lN8pt06B&$czLI@PnQRl4GRFBh zi6lwU@dbDW!nG!Q!N=247dmm1?%8xvm|*P#7hXf!vuNolnX*fWPK`sBbl}Eu6C^QQ zAhG0yJZ)mnrVYQsKF!jJCbSgfI5#?SYz%a6Akv40hGqa`YK96Ej1?ZzF@GY*hj&_3 zF@z;qmum8O{I}Y(8z7RU1UJsG=!{FQ&5$dB=%`Z?9oo*QREbDJB9X#K-1rVUUd)lrRH5^(tLb5n`R-is$6rBF%a=eaOpU0!&^G;{&nN5g|IYgFTd)sgD@?T4Dul z=WVk^?jT)VzJ_#F8yO`%Srb`LG3kje5VykkV91sjUp{0MxText#EodJNS7psMo?d%j67ju4D`*FHlE&jT7d_MnB|5QC+oY#x#?BlIR=k;tg zUH$bFy1BZ#tUuEmR6(Z<(D?m&dA68dt>z0p8b=H3_utat(dsRq)oZ^?Z`Y`fmuJ*g z5U!$JO5c{zRDZ8P)f?JzRNb3gJ*=l6Kczy)e|&s9JzssIH9BtVF1=R0ZQ!|XD>`sz z>HL($Xiz;`O)jTr$Fq-@^+;4Fmy?gnk#b5}f!6=JtU=L>$!xx?e-_PuLA3t6lR2c9 z3Iigf$0yUv8ndW;s)vMHuW+k-IA5!2AN|~J#D4o>^?zV?Ha~|dsv<85?0f6+#^yJ+Z#%H8*m-aLI@kOEYExtuI+0xhPC7WX}9adrqShz?4yV8{np z1fSKULv#aRaf3LqJ8&{6zY;384HbU?REF9=6fI#JE#YvqJbHI>{Py=XHR2}G5;|yU z9Su1gEq{Zq1;apz7A=65NC$bP|KVsElwXOK*g{L|kjb@R>Z&y!a+BGbG9qHNK6ScmQe!nm-sfW*ay1aNHa}et7Twz55R z?tdn+(v5Z1cg4Cv4-QDq6j-6HslW>T2#ERdSQ!#uiIsM!s}2cu2bw<^D{&hu`f#k= zJ3e{!emyqEo5V^t($(J;=|(Z=S6WyxMmK)N^1LYgNURKruf$3_(A9?ox&zH0iWM!l zv0|suI_!BEJo7uA%EJGR&q@P|NaW^L0os_Qb4_7>DlwA$1k6Q zrKgkCr=*C^1fc|ty#^y22sk*8j2H)yv=Gx1f2d}{BsM|F1~i)H()6oA!ti^d(?X%v z=AHfE9vZz>)mO{u<$NZq#ix0-oPPW~sm?x4t1H;Y{Jc7we@4b-yT@-#uBt_~tX9>R>W}Jc z1xs7QZ>KQ#RIcwRx74jHb!%l;xA{QQTDOm1ynFKe>A<|NrB?l;)had<;KrVJ&vr|N zhPFaqKzVeY;&3dA278v zX>LlB2poGf*%KuenslPA$zC<~Xz*hGWl>#B|46!A)_>HqYBoiYYZTa6D}P#Gd%c9U z&Kr9z6gwcz{q&m7yA^uXa!9Y&yWf-d_n$p{)$$lSlxuI;`+C*qeGyeA?@MQLyWZES zwu;HsCLc=<^$8p)xzWo+BP-}*;Yk0rrJ7v=IV_aAfB(^gw{OwXtI2G6ql<>RyAY(m zYaz&o!B9$x))F(^sOF#Oq<`Ptlh*vmP-;kgMJT1)i$MC2MWBJ^4-KWvcG&Io{-IPl zqgvRq8w{nc_tE#?|MK|wq+en!Gj@BMF)(qEj}BSo<{Frk25j2~+{8f-s*~!M>S6V$ zdR#r_i0EbY3a0#K%gg?=?Pq)9q5;Y5sUz3XQ8|nXU#iG&sVKBn^nc5*Pai(Mo4w1c zzdnDMU+&aY+~47@H6_-161#k@>5X(TJGmVl`&!z`)frBGTUDQ@Gekfsu%!;`MSaep zZ5k$XWSed#i^crUJW5jX{KF-WpUq8rG^;=Id8rf{Urtu5=~=y+Ur{Ig6F+AxC&I{s z>a3n#PKh-%lhdh{4}U0v4_YlSuv_$dLLqcRs!*D%*tm?h)7kNCIbGiun8-oNW(M@= z^}ScW5n=P$dP(W5Iq-#SVwxO^NqP~{Xk$%qh zlXW^9|6|PV_q%t0d;P4f`{6LhsT;I9*E_$2hooPdmh{u5-haoIsPoSWbgT}dfZZ+s z`57ElSBojcy#@K5Z11TB)zL!q-#&?W^5Xd~4}NRHUO%jW8=DULUZjU+Nr<9JOd{F? zR6bR?mjAv%{s6ao%H8Y?^3_2>{x84%{mE}nS~2Yo;hTR;kT07UpH3=tVtjA6WBdt* z{j1Ww@8EGyk$<~gv6u`8LH+H!r^ip;_PxMt$@+i^l{*ON^fI>(>DzB^OF8>)D0W`` zQOLNLslz5kCy!tJ`s&&CV0QzPqVD@nz2Eyzk07=+V)pE$pfa0Dkr2Cw&AvI2-!UhO zgL9%G>6LS$_A5?($Scl)<`10{`R&(MKI}gy@^Ob9Vt>Fr#0=j(zW0nrKnnchu+O`( z8Buh7Ga^h}Z`0`;X&k*1x9u=Hi0v6snh&Mf(0VRZm}Wnt`w2XB7nG!E#aiN^!RGkU z-Fwd;wjA*e!TTE?Y*ZMU<)rm|I^)n8Z9->7>AVp0F6Qe)90- z*B9;hZhwcY!~U|ihlaI!IIN|g^*1z`Y_GBh(-w1U>Q{<<7n6I+y!*n+6~UA{Y?0;U z?z;!~U-ZA>Ye_raR16zM-^kwcTC)^(_Z=0@$;(yGey;WuZ}*jv-bmMkgAo1x-LrQm zok_YIl(82#H&L^_QK|u;=^y&g@E|_4r^KQ2+J9(!hE@oCC!>3cJ?>hJIPg{7-N%of zy?E2V$)P23c~h_sx(C*MJ39)IM=`JpL9cT7{Y{#v&04S326)|1>ajamT37gza$c6F z&V|tPOmg#n^x3_q4;$C^;OnZME#UxnECKnw=VszMxbIy1;WsY43`pL@d)1bDXMm(v zV1G5O!mX}0=?|+-`t$TW-PGmk&~@DJsSmwt)+P=M7w^9M_2k8?97PQ;5P5r3;bQQ8 z;UY%Q+nWEmB>Jb8x(n#hbi>6aSfo(#WmOKQ{R|#9g?sVl_3J0a=C&K#v1+wnH<9Bb~{O#$hyHBOqHbVCU!&%XNDbgB*Fb2^}ETtj;sM@oI*ctUt zs`rJxwOBaJ%zi!omQ7G+{nGGd5;1IAk?9IA$|6G%zVm za%Ev{3V7Nz*H=(gR}{wav-YuJ0UK6CQS5*speT04f)y+v_TI%_BKF>U@7TqP1;ws0 zI>}6unZz>5OdgU)CzDK^(FY&Qz5lg%`OP=q*`9kjckg|+p67XAzdBDodwsAshB?ox z?2RJN#Oauevv3~H!G$;fA4u@L5IG0UYPZz7+(dK;Zpk2SO&||ufRN9 zjVrlYPQ1|3cDE4vYUJ|dHMkBp;3o0v?Y8k1XljrviWl44`bzY*a2syH?OY8NFL|?# z45P0@u8jJ(>=du>8XHrUCK7k!UV8nW)iGSWoMSe=24foFemqEDlYe{|kKq@hqNaOeEIF1{j468FNv*U90W08qqW%N0Tp$ zclMKAZA{Y?uZUM%!TKgNEy+!>88*ijT)lzU#C!L}{#8qwSaJ+%j>A^i8so7ICSam? z|LwHP>P7Oc4p`X#ch&SM|=FL~6%a-^NXoM}N=+{?d~rYky>*c^CW} z118bD!qGGy3i|Y8$fdC?hR}~Cm&XdIvv(Yhr@4R^@iP4caslqaW%LvAJDQcafo2kU z6V{@6iIZ^({a##!`{<{VSL1BFLO+eX6l>!F`sw6L*bmFm&%l{9`!NxZ($6C2;c{F- zub=3!6zYzeOMhO7i*Pah9Gr{u=$GI(sQbWtas!OQhV%=_jW8M;)9a@+!TxxRUf&Um zX^!IwJV~#gdkRluKD|D%Gk6xy(d#$V`F|Jhq5h_MSd0(xF)qia_za(;KD`(CEqB&6 zrSqX8R>DyFRj9vm7*;{u;n$GEu_o%;TuaWxA*kza9e+6+b5Q4MH?FQnos%2syJIT$ zpx0TNhP_aCkIm#hn2x%KY$59m&%nX-TX7rBP|U*N^xMfJQ0M z9M&1D`{yp)O_PB7#MaX5+SI+GDe5~y*IILIf%+cVM~=Z*)c3-EJV4V5TjMDDgXFf@ z4)rZ?h=1H3JD~2Lhsm9>D~_f=g1Rb?(d(|Idz9`-I@@($nuxlG==|5;C?2=apCoTZ z{Vntyatd{I=rh+Rtj{x_tWPxsJJIXf>4I}m*SoGJUG=)g7trhaI!~iBb3JaP*L_u= zo<6I?^t#g?!OB>bUU#wnQ-AxB~^%`Lo&xA6`Z;WfOE5AYE_ z!RvSf_5EHb^01q|ajx>7($#$p3-LPMz?*mvZ{cmcgLknAAL4y1#s~NeAK_zsf=^N3 zKF{$5>Mrz>@1{HXE3$_oequAr4t*?*Wl&Gid62lMkCrpUMQ^g4DSxhMmgT|X;$B-GA}%2*c;}?A)(jPwoML&H zxQ?GJXNl`l(r1h7`mg2T;<{h6oFgtR!tw}l>B}sS6c;=qiW`(4G~-}W;y7-Z?mZyr}sKD}V@uSOFo+f@wp5?oN{ND0fED}F%oi*!mBW}hWcu)M+ zaW-a``0+)S_uxJ}fQRr1p2X951{=@e1-yj!#c%V$?pA=hgB6NDDDVvb2M{TuO_yL- Q10M=AFgFS%B}Gq03Uf;%k^lez delta 58498 zcmYg#Lv&b;!fkBZwr$(CZQG}@)7W-nqcIz^vF$WA-uJKd26wvW+a2|Y(e;RlJfK{S zyij1^;g=36Vqh%58Gc@saWCOUb1CKkuJJVP4|{4sM-^_gcU|-M5(l(3Y>MkOw3NEw z9kVFP70iGd0cECpIH6u^fKU#MTZqR8M-?A|6?z)3nf3M-6*Kp;*dDrpuwxlt+4oqT zsB7BvA`E^kIibwOhU20+AP<51%jvC`{e-7F{cZbrNtpt`LF#-IZ7V z9;b8ribAcgjW_deR+;T)ZVW1ECjBE^B`J$`An}87#dH{~nyzDhd3B;Eb-Xm4$z0lw zX#>^Qy`Gd8LplY}x^s>LXPIz;Ho<)k6nfH1r~0!vBDaYpwh@kAyyP`xdZ5Ow*t`5w z7y7jMCqp(Mb0we2I%N>puo|0)X%cSL#$lV)lPUp4GMe4Fbg8wx2tsdANss^qJ0?DU zi(|3J-ze$Ip8dpQoCa(16{3CuC=HOciKsWu#aGQtoDq{DCOZLnrl*oE8=bmFe+ zplslSj*X~2v8$qrKKRa}UWG&9{s*_+vY0@*@u!84>%YP-yi_40uZG;QUzPWlNkNY?ol*mIZCs zViwx)Fu{MNHAk79F4hoATsE1HfuET`x8zT>$zjrcdcV~-ZN+hn2#jMwRmbvT7-MD5 zGwG}o2l0gctIlc?hZp^W!AwsKv}LKTi|;H} z8mWCY79%Z<(TnpWqvV3cdfyJ-F#-2Jh3iB1tP@sZ>wMoj6g~Rcj818cK(>`NX}OPqoDJ2;(@qb* zS=Ri+vIO(s6;rN@a7B8K7IeSX(|Tfyh`>~b76IF=lXSWGqB28Ek7|IxBMM!!!DJEX zH_YHfjiM46Zmuz#2^`U6N`^&>rR=$?|Q`a|kdJTb1~2%ajFh8BI2+p2!(gtGBnM z=T>4RZiW90I}-~Q~ zeCe1Ep-m2}VhP7*$WqE)Lwyh{XKyeFi~K|(7<}fKY3^|*tgz>x07Yh-O(hz}WE9u@+x~OKG8ZlRaAM}Y#lb;uq!CPqzw#2-*sQTa3rF-1o~^XMs~r)uja*m<`vzb z5RWd4p3@8B(fpw@h0v4!3fCKfM!vpwpy+o)Jk&)xWBCclhH)-H8X+kXDWqJTW{;(6 z6wasDq#ap=tR89ccxS$CEio;F$2B25QHZ0KSFkOcqU2(RR0tKaWBqj_c9Yjew6=uj zcian0>YLzGEt~JjAp|+AdCf)2#gvW+rNW+KT!80K|iXw zbIN1pv%v9Icu?#wJ`=6n${C%3x=bEk z99nZCSKI!j?l~1-5`!E*_mc3kvEu-u;mqaamQqFrnu&|AgXGM%2m80Ro*)zA*0DDk z#I>U4+(!S=E@e;len{4^@WZ=OtZuC&a;1eQ+g|YbxkVd z`)2b>QoEMHL9anfzbzjlLbVC3&XLOwFuoJ64HY!QER@8;aBbw31E1wi`ULiw?oGiO~R)xJDdb8;?{fXQ*CeRX;} z_v@=?b|6sPkKbVEEo{sg-s%%e`!#4F<07UR6irva zjUU)G{*qEz)y#76r@m$;GS-fshKAV<4vx4(p<2=15&V;bv*-2$!Ob#0YS(@URI9!To>8XT6M|Gl8L<^;vrgSs{mEyWa#Hya~j* z$=Hg==U%FM818Vm&pCO74(n%ro}swU>XuWJPR+ZW;aA6L?8Nt({15q?vnWNvH#zYtweXR`vq0h|NPS4nIUM2i7|yKb`z!?froKjIg4p3VV#C~M7{a0cv;ea z^-M)@o*f`|1AHDoT3z`LR0uG)G-FZ?fUui?L)}WXjLqI7(QvR{4FiGi`c|>R$+uib zJ5zfOA)^INzZb^IzLd!ShGg`xhhM;k1114Oy|2ILE^M5ArgMNag&f1}5%+OMli3e;_Cuwyf-HqCE~WlYS_4_DbG zL-zXkt{2QX6TvWtOgQ7!AGKcaB7`eb)CM^`fNEzu!PCW&wF_ryIATOf8b}!!;8_Jd z+oG|Ii|Keak0i4jO+q)~P5R-bTtyREqN3c4ja8$ar54EEWtQk~FZ9UBass-aK#&y? z>B1phW2ySnc0G+d;hP&_QKIvPac3jLH?5^CfJxe4^mmDambOc}1#`c@9vuIXFP@T< z5{cqNX4uC?F6?gnI@S)uf%8SPo6Auje?jcgK6tCL<3Z$P|S}g z$%=5@Lzk-No4sXPJ;&7&{h0}zrPN|Rb|mY-+_duE*%;&5-TtVVxqntje793KBo23Y z@`;w0X4@+;GJ5L+qbu(XjiS&9=20_paT;ufAg+PUi-VG&j6^l?Ok9R>ca{ZGKqVm~ zXJRFKX|v=`ssDv2fz-Nlc&n$v+1|`g& zq9V*%oXw$tYA=O&7~XYZ)fp2qFq42|icw`9-r^@NG-Dm5@}z6y>NhZwzRAjvMoSP; zA@_rO@KIAV{RzZ|vs)QL+^M81)TUcE{&c%e2A(vaVt=^4_1p*XzS!y==QdDu)7 zFkF|3ALyJw;B`$=fFUI*x3MoV5s+df<*UarRl`}_A*=*)y~)9JftvdJU;D=9?^F6$ z3Pg;Hd8@!HhJeIk$?fa_Oxlc4m5yZeB@}vTx0kFsm-I4-WMvH^M6tDBT@8FJ)Cfyg zU}Zg9TMO!UbS@dD-q=y>tqv~|;@7L$yyZVmkc!MjeB6@@`LNf09U0#@-d3Ph)0!md zCujftXQIclC&D@BStzl*wWNF*ErSGjVld1aY%WVCRN#>za$?EAGUy6~ZnR8`)5zW; zr`YIO8Xoih!db&U$v^R~U(52x8|-ZkK9ZuPYblPqX5}($`e{wq3!RU{ZZxc+sjhyNRC-YZA045!jtlC?BYL!PoexzSXn*pQ7cWc8YnIKdvef%McuMw*m&}QJ zXDRND8b-*`w_@01xT5iL_8=-PhnfOb#upZU_~0{-d1@C}Y#r*-oDLY$e>U_w z?>ntTGTeY7Z9C>#Ckw*(Y&3|p;PY|%-)0AUNmOy!apjnX2Zib{xAP;4XM;t&?Iy{k zi-J@!hHYj55;bU?-t`KrQeT|f<3#*DBTzM+!|yhj-*sG_y6)QA*&gCgh1fzC@R@tl z^!<5;zdSc&;r%nW12?b}4<=Go2^TH(-xOL&_~^bTuWDki9!vng2kX5oF$fY`j;}4T z;$LOIqGm0G>-y``^r&B;BZ)ndRnO1fntAW%{|03NzrC1}%X!>H<+7*1qbch^Zi8C^ zJxey@tQvRX6qf-i)cHt#l?Z$V_k}p;-N19-ZSEyOTyj?NbFW`KguBvfA1a#C!~g8B zGPOn9m2N}zR4h}I7&T+yA}2<~OaCa;-CK>Kpys#MQMG~x`Vf*B$W8f|;*cZy;B3WK zLWRWx6l&JEEN@gtH}b(o@#=gvD{@+~8b+NJr;v;)u<@5>67EjFyM3L0*Ga<)3??&- zwjYyiTlmh2GtW0k367 z{XGdx%3zAfv0mhciu>C?9zDl$9;+;;^|uLsJs%Ng7?0Lsp`~(;A4RU0b!!R;ZrLId z%=@ALslB^xR)^g)wU^E$K3J{@wcxtvu`wSSy$Ad2S3$$LA}4kQYt0!;GGS1EsuLNB zl!Z9pRwv+iW2V2?wKtWFg9)6G?~EMz|MGya?kRbJu@dj5mKPw9NYNTh9Nwdh*hSrh zpGGjStXPXNboJIBt*R()$E{BMYJ`aLZS8za2h4Twtkv+&7|YVt^VP&XF?scNJ9DZN z_Qnp?TpPQmaq_UfFB)fNJ=w7>RBmigJp<3TM?R33X6eHAQK~~}=>X!}0($JPv?nt0 z;lj*dPmBq6F!TF@1l=&=B*g%k09gfUR`7ac#NNcYV-S1+pIJA(>xY;cu^-~N6+>_k znF=KQnYRBXr1|DhwlXRxn$7i~(c6I(C z$}+NXJ{(&Om-q)0odR=*P_FG-jm7>8OrioG`y-oDN-lYE)V>nVor=iRAMmm^Q41IA zkodwgfoI;#vjo=NFd+{GI7%L^C1`mx#g6DIT4(P#$q2CcOCTNv$tiF~5p0VNhMn?V z&FTSy22fq%l72C}_8{otQ9HK6Su6-*%V6~)x9Z@q0f<$7D?p!AQPKR`%irJgRTR(; zs9vNx^qvFWgUy$fTqBK!YlxUGkHano9S|-8!yVJFJQvw7SBRixr-?^_DM5Iw$jv#` zdpus5UL01@jKXQ!39n~~{rLCa-n%dx?Dj8ajH6UQB?dy2p2AQ-+!E4>;Wf|S@x(UJSu)~>v=`zhbu_|?Yy$&A42`S_5J`U2+aGd78Y(IbhYZSsw%9OKCIeD#- zy>U6*W$vS`W4b`O2s#XYCADP=Z$iKVz3@G9%%WR6c( z&p|chN>z$B#j9~^p0_2Ra*K#s&<**+wKI;YlF%ekR58@jZuA+#qusX&T~d8j>07Fn z-JS4;Le0Y&nR7+Pk@Y7l`SO(g^=2dHI<}*RzXnLXM_LwU1)Kd;!>=LuOc2gW;6#Za z-EK6IA=DmfNhhw*&CH5!_fHo^8ilj@D={Obfz6_QK-!xdir``?B#NC3Zj|bzNyUy5 zCurs9H1p2H+-1G+nnB^whWe}I0hGg7r>jT4BgWXf;Ti5uKgCrpY56YKx!9TEB!USb zP6JwQbQYLbOn(zw;;kw?XA}s;@3go?i*i7tK;w4Luh20+q_0y84voDRcUF|hRy_4* z{w&HrMoj7LU1#^ZyvtZ?Ny$|vtf5SMS8-?cR@;)z4UAY~uO*-k`MOP;$Z(~c2t$+b zx%z3-syG~x4ZF0z4&N9Bd)zRdE@K9D_yJUa<2er&m2eqAet*6Gu!;c1Z*SP^O?TjT892 zw~_I7+#HJUQ?;g1!^kjnD&X$G-6|Y*=h0t*;rwQ>`De(}WaQapUmvsTEr=y>IDC=x zf*gpY)OK4eoRdooizQ=aV z8tx|rJi!vh{{zipK1w}gC$ime=G4N%@5H(zf#a%*GyeW_YYyRrxSAK;Ujek_huEYl z`qA4Oa0$W+`y$n*2H%XCC1BLX^{om-ZB73AK<&?ztsVSs350Q>sLky(0Dl=e z{6WWBYc10EaR$JpqA>lp4y1$-aswP(|GNpa>dXGL;6?4dr@vbbtc)Z?a#m1-rof4Y z2YWGDWobb!dZO~Cttk(v)!)T&OkfY zdwHt*tG?f$rJ6^!=ATDwJZ@XfDdqIQfIv3jf}}o6dMi!nh;uWKMz(9TTUl^>5N*yU zta6}~d{Nc_DBQZsraH_!#mFibKs(>|h4@#WXnjb?&X^_EZB4h{{48Wg=LmJmEoith z$$yCY8NPgfjwyDeDTEr}8`y|-u9WqA3Ljj-GV3C`JmBtwvC3^fBWMuY5h)h+W%)H& zV6DuOg?R}6{*g0zJuZM#is+Y-Iu#>v8jgC_57*UbK>7tIJU~x#F}$RdGj8yov^CY}1J{cx&@>&+}8SNGc0n@>QD8Q9Y&H!h&wy=(W4x$S#~q z^Oa7rIIrd()5?=)P*JHHf^(o!<-2y7-gVSS((^RjWq2d_-vHw!7E??<5qC@UM!LSu z9Nx59WSD)bGxcSHwr9NZZFNN6MThux)Mc`KkN(&XhjHfZ}%_e#I3Xt0kM& z$!MFa0Dj|U`X{S6@7MG@S;gZB&F=iA zd)f&Z@3}3!dG205ajsjA^*A?GT9YNEg6eVo;esg>wBE7Hu}Dr&+~J8ve8t&oyfjln zq#E!oDhqmznMbA!wO=dviG@BrN&Hn4fN5i&@mbim&Q|z)Kc%ZB8W+;WC6# z5V9I+H!n|nX>oCqns7-yAkssc^J_Gd7Wv{Qu)Gi&V5x?&{0@!Y&}1GP_GFsUVsbvS zVGF3klU=TI&}Ay|rR=#~p~+lm0gkj>Ln5K&))}O;IM-ctKEhEmW>*s(FFX$AXs=QH zdsX%Fw@zjXJ;@TMDFd^AP$Z2o#kECLK}uqg{lq|zBhSh7u%ebF_@sJr91u@JKBE@n zd>KGsxWK^WUz8z7WC*7v>424`XUC7NrgyD#RpMzPDA&PpF;1gjTsq?50vcFM0WFAV zhp60$L~+RjOODPVBHDG`pz~a7%((7n@lHo7>OJU-IAep9AVim=-Jcv4b<`@z1v+$Y z)}BF4xrgpj{7b}oVkS_p672iTD*^bejgjGMm9~hHW|92`uNx7Y|H!$j-|=a|p062R ze_(XvToB=;JHvGp^IExM0D7QxXm0mo?%3;K6`zWEvU$~GUg_K(I?+K6HRG*8mILRUwo%Qx?3i*CrYM3FiIkx(_%AW9i0!*!A6GZibtTI?`U|8=1!}jsozco2vg;|}oKIiuSihQ~+Gk2$TE*<;P5p4g-S!!%Igir5 z)#Tcy$ZmSNs464{(ixM%o2Ue-52i4h+0M4MG*`>FqBcUNiHj*$pZ5B`zjRKfGyf8q z^qb^8zyD;0`hb4C1t_-s3fwTw!zpX-FqBui8-Q3AQ zRdwd@g{e)IAvtmg82`E03GY;6hT(xCRgf_>y519GVGGCp43K)|3XOMrZqG+I6Nm8D zf*!|9D3P`aiCy95>|$G3N?EcP{awXA>Zn{v)QylKh|8002)Mzt^FGeVz*vsf2Z*7{ zH_b4J9^*vc6yZ&ZG;B1dZIX|SK;dLE=nWO_xpEAws4#>b$hhK@63NCW!m$mM1BwzB z(XV6>hMp&LKHlVNGlLx%eLU8vImgA+!Q+p~58v=y0&^;~)lg(giMdiU;2=g$u$wOF z&%cw6)UMo%0X}6;%#Z0`Lxa{(*iquR5`*-d#irTWM?Lv-ib#js;`x3=ONt6y_N!py zq91l=<+lM?H5G@;eY!KZu1${eh?C6Qf|VE1VC|hF${%a!C3WO7t|EMI1o;hdy zR34fuuvyWKyWhFn)-jwy2^%{4h zOFYCa>wkpH7LtZ^Ybu+QpWG1XweE*-N=JI(?TK2{D_FVDB)zu>0 z#LpM?+6W-<5pMlJLa!8zn;&qe$oflKTYUV5?HrEM(v9kG)7)CoPt5t@T)vH*^*&(TSeBgJTXK6>;&Ich}G8A0V0Jw6xGw#9vK7UzrQe zTuMOhsW?xuI>;hr&k`6$U?Iyv7XvM#Bgr?!6G7-L6SRYQ&AVgsx)miaCtAXnP!+hoo{an!184&I&b~% zl8E0u5Px!U5>rHkbVnznp5)p0a=a>H-J_+3nvU+NKT_vvY(0jVAj+$H1b<0(*f0&W zLAm^XR{DZr;_Xru)^~)HfX}WMMdfidUL|$*B7qJI3r~-_YNORh(3=lPWL>!h%W=*m zmoeYYyW2H^t7Cgf9MGT#h>-R)*SgxX1Sc@-w@8|Qx34eqFL6eM!K3D>Xp^I9$p%yk zUgRiv5At_)7pR*f!un(<>N8n4#h5=h`E!~JXtEh>JF+QMED&!7mt{Z7!wM6L=Gbt* z@TS5zC*Mib_stYo36^s!t*<5fER|34B?mY6=5Mqy6l>+kO4!x|+`e$#@JDcTYUMikasUdPw3)88%g^aiie?x^|H*>EF|U6RcFbb%qLa=x$G0&3mz#H`u5EID4+b@ z!#fM|!clm#lfa#i|k(3Kd_o)^a9GNN|m(R0#zm(0%zq zyTIRqKrz6ged1oY#J;xu0k>{XUAxIA&6{RrLfha^vh~Hkfrz5Yn7%u-6YbWphOWjf z56wY<7J1mIPKtrkYS)|nP=3@Yia~E;k17S#Ii{HPUr@$Xyv6Vh*H`xSDrhB7Pjf)> zjzhd!jtgvW_k|({wz@=^Kw)dA!-TyO5yfU40w!atDRD7_<0hIVLgoP&*xu?Dbm;neyC z0d89Qe|P;+b@*n`&hY3^!778pvd?jDyWjhhzR#2W%ZG+gpVBw5li6%iw*IvWp&ldO zxFz9Z6}J(zkqXyRntlbW0d0Vjuru(v8T6v+obL-RwDBcujtnE+)Y}a6auil3NulMJ>Q-%$3Mz2 z)K2rZQ#lWTfy1L%l4h>x6*7=vC#_A~l$_A@WMp-?S)vyB(hTRBis6yA1$$t)uTxMY zOR^==M~fxk`yWd#%4ERYMNf+6y3Xwgl@!^OrLq52v3Q{x*qBi}AIc~%wpc~bhI=+S z7!(D#E)J=lCV=w>(%Po5;dTZ=j86+u)iT!;HofU)Y*J#b029keUe{afZnAM6kH198 z(eF|IaHV%bFVHV`u6yQl!xL(^u{0OTOlh7#;gU6T=kH?MocOj(0c!hCs#-G=jCOQR zM*1B=;{`3vR{@B;tTA=(*h-iD>g!+RM3W}q2!UX z3=BC(ZSX7{-T*9&Ju=Ro`U)F|pAPj`rB$pOy!hErbzO{gpz(*=QlxKT*~G>GK$Gfnbjd&Z%xA~z+Uu9CL zwbB0lDNsxEB+erk8f#<{@*?d<@_vcnsN4##DUkJx~~$)|fTi~(yI zWG2(CvvSvzvCDDi$;{EFFiy>rsmp3InwI8m7c%ra#)%W1rVSt60sdVJSq(z-OlS_R z{QP08R6I;(uRGY|91B-`1`aP@FjSoaF#W8bD%VWZ11I%!j?@LGBnDmFeP68kn54V3 zWejyUYP%l(TO2l5I-ehRL4pq_Ao~zeaZ-Shjc-amqLw3N!Z!yGM9-Hbe*sP{bt)-N z`szgYkFBB@4#KbqIi7$l2YqHRxcq`h4DvRbP|TQ(;~7r_ueY zt+isu6@z}&?D_+1Aq0n(d$Uu~vOcU*seZy~{VmNs7haHU?(rf>>F%v_G^!co3fGTz z*I$;-Zwbuf#5YQgcai_DHZc+jD94FI|D1WU%nC?gY`-5RNdKCf7WZK9hCj`7SGvG( zEIEuSK+aXkQ!8yhmaNlHNyAQ136ymkk3-#6-8TOBz92EQ5>VR^q1PF5)Dwp;r>xSR zY_sgTs29#y$Rn&fBfs^aiwHT175Sd;FuAp(Ee-QNirW%&)+dfH7)=!g*dKq1-OM%; zZg~m^TpT>QmWi2LcXxiy6+)YO-g;8+k9MGo3Qo4Xb=5@!xeTaS<73j zq{WfeZAD23KFzF)jC-2jn*$st8g|!0^2qS)&b%Sjcr&vZI#Q;n%x92=--yUb{>E&+ zkwAa_Uh+y=zbY+zvw4IZ&!i@RTk3`HlX0(JgJTS^vmfv9%0>eP<{%52d;RoguFMSJ z%4~Pzp6t3H7+D-1AKj>Q5q}L<#BYkt!_lfAPPyzI`9^D#@_jU_BzzxKJbm`rkEQpE zjCI(K2rep_)K=`l?bDk~;Lx6&#X>M*$}S*lVO#XZz?X{kw^Y;PV|sC7WZ|Mx^kr!m z-bq9Be~}kGS)t+qDf*TivWo7rDGMBPK}(-PD^H6ZKiO-^JY#Gal`n&726%9g)CVVI z-+Md@oOb`f;I2$5zZFD0rS>}fotl_fvM=)Is+rcXasLuZKbes3*7 z&_K^KBMYwR<!u}P|Mu7X z>q%{1U2$0jwD_%e*sXXL{Nr#-Ui0n!*<|oopKckHL8yx(???Ze4-A=J9w~iPTZe^0 zyNTsk_Z8OJ7fbb*Pj+%+nQFy&Qn+{BU}}wqdG+j~!PkuneXXm(DYaBrXswg`B$pwY zg$I8Zdb%NP>4H83a|6p@sDy9f@9$foImPTc{q)}xz~ANby+8LhPK?}(n@U>|QZxv~ zhlp}Bl}Ee_DkMFH!rX?F_aG~J*^=!7_dAdlHOVY*D-+iyx6M*-syRoMYh0j}2k$7g zODZkFkFkTo${dHQyteauIgM2^nMXW|;ki5`8@XSWQ@X@{doYdMre^Bqmt@DS%8mSY z3vA4Fqyqz%657ztbJ14U9b><9_(krY z=Wt7$CiQZnBc*JEIdvF+7aFye62VjgF>6rrR=eO(-qp^=@21FmiZHz=OW|!j!e8Hp z%ha@T3Q_G1cJvgF2(Kj$&dSIWf*PW0LI<W7 zY0Ai_37z(ql+vJ$NJl09{BEp0y#KD&qEbTVC<)jBiXuM{*MCm9%TBn07!(bGWw&^7 zE3`;n$FlN=(Go(1wY+p6>mWxIa)h}e-KWw^L(yg}E#52MX75T@#o7X;W&iA837W-t z01p1oT(^|ckT3}(8NyT#9x`gMJI-mJ+0@&G8Hds#4?AM>djSF%RG+uzBr^N730bJay|C^1M4D^3mw7Uk)*7N-ALY}?}3f=&h z5hYs%1)J18v@C;uo|=)mwPPHY0{iyYPGV>p8(I`(tTl(d^DAGYsFqnisy1_N`^ViX z`=ab9>O4S=Y7Xb*|ADo>J=Dj1-uK*95Lk*hD4(+6rKTiNCf^OJYUw6rxs(EaD zJFdpY za9$9T#GQWXXk1pe|6<{KhK-u~wP=g**d{&t5q;l@(?`;50%Ntw{vFKSHqe!~`VVL7 zY3BfL4GHLVG+tH*_|m}Zgzu7qeD7B?LJyxduC7*Y4q!(ELBF-kJlKqe3r%N>8-%jy z!YRZG`qsW)cQ(@{?$$T1rtgpAZe(eZ$t67ooSpNx^UEIaz651|O%KUR+canmz7_3( z8J9+;u$FtdS9v@(1=v3ftvCmD<#i{r(rn^VCcEG0XXyz7gAP28?9=-WxK|pK5$f3@ z#s{TYQ8k81I;3~?&L-vw-sU}B#>?O5xWT`12!e%w;~^?e@Fu0I+s={y+w-;@ER@=Y z#ih77z0JV!#ID~SlxXHe!W-7xIF&1eH#jh#%b&R~6qrZllEQxA0`^j&EGc z;mxT@`^oHKij%d)gvDr9{h>>fgv=5fUKWgIoA;nd38yBLQ=FX&^GKyHD}Z*i@G;M^yd2 zb&(jI-dmYbHw5w z;8Pbn&+BFC8wvv7QtM8rLg1Aks5J>NWTYDun1IsxXAmS*6K_UzWWt`gZQYUKDsI2hm96%^S1D zVgY5s@R$pzE#h<*rxn#GaP^%S)~rLPfp65@|)d&zI#Jq)o;C~Nl7zv86y zmL1Seja?>K#JX#nQmGwltR^s+Y1{8&4yupX2)1xlZlQf!$U#xfc|2U2c-_#Kqh5_iCMVOEl%v9 z0h5S0VwX7pmR+%a%ED%C+!B8Yc|h6CJzhO|emy`ae9l7cRgd*?Sbq(Lx8I z+yMMCtZtT~=NB!@HsQ%}1xgRM;uitM+Z-FwYS=`VqF7Xq0Xm3TD!ph>9L z|7O6R-(qeLNdPUSIvVs>@GR4uN$%R8$jVtkET%@*83Nse%7LGghqthLaRUq=amdsa z_jOWWD8o$Gjx(c1m6XI6>VisMLVHt-%7h&pEXi2}$$duo{#NZ}9Tbns)=Fiq1d%Uk zP%}Id>^xzszYhO4*IVGByMH*-0~+9`@EvSv7|G4D?K&qk!XO2R!J^f^y#&~6O`GHj zlhj2Khi^`0i~~x7FV_l;f!6o1hFIfIP0n}0ju?%Gqg>nPzIr=%X{|f?q5SH!4n$}d zQ~nf~q*sRLCJ-m*teqexLr^;STdW4_!woQ=y<}{i+Tv@9CRvCZCqe!H$wN{~szlTb zn29Ko(dVA$8P_emYk(Y!hMHcxB%C2|C)6%*J7&WFQ)iW84tYnTZBT|~=qChzX{`%e z)zqeTJ)O5+d{6D1R@aOXcE6P*QaZ8|C*+0AYo8w?^}cZrfOrl`y!^NS!EO~{X}s(V z4kjZD@+-@E5)>ZA3Ig2}0FMeU;grI6G$!xFn=tUnzwKy94dg4lAc0tso$)wH!8z^q zdw;Wd=bciIxCG3v-iiOxBlcp0k^jT6ngbE^{lT&NoD+(R8WWnc;j`l>0~je6fFA`+ zKP;AiI|vG9s@azEW(sZQe^sv-*IOfrK@(mblbj=z%X~a{R!?OB#d7|FYOzB;j39Y* z`rO|u=Rc@_q)JJipsdMip9MU=nS?@3+p)3fLaR8zcbSRGb@U#0gTr51b}{P_Kp2sX zmq!Xqd2BMo7M6_O^-$MCjgD8DE#Gnro1(bsZoaz>8B3`ognB3vpK;$X)%;ywY9$=2 z1rKoS?lE`#I$y5?2IAMv?=ZurIO^tKP#*|t6bA?NvDFPXtff!Ni({Tr^6qT4m?`xI@~L;oV?e9yh0iR)m34|)K&wH+xmJgfi%hY18s*1rF60!9 z=@!FOm?aguxJP*1WBh}o?!nCDeVh3p&}?SWwt{vSwfYnQSOKwZ0{j%8IG%rnnPycX zyE;X@)ng}@{tf+ud6&INq1V;2{(@aq$FS4jE?7ul6!GKc4cr#f4_$KS(S}CKqoUT` zr(-jUgI7IsP-QvY9qzdIkMW(+2Qe)RR0~EgbQX+WWg;yUvdVhZ^kC_df3?$3wm`!0 zdYXUVcW;jX90`k5u!V?FChb2POsHo)`xH9hNAHd@bVnI|Tw;z>j-I!)GRF=bHlaSa zSl!j%ioepl*iuSow+gOq?888|ByViU!@?Wul~LOJ-Z;Oa5EjpEze&QLXp>f6p1pz3 z{jERbIR6h^K%>6{h*aTi%>*I!H7NJlci$lkuikxpI-1sI8-K3vn)Y`;{ONz+{pRE2 zha*Ix1xP}0cTM_VuaVIozIp!Z^_jtCM1McK|MI7ge?FQNA~mf@WAA47`pi*!>wnD5 zPv1QLksGp0GiFPGPC-e`jM-4ng6wfMgr@|R@^2-mDZy#ExM|;ndS}GS z9R}bO)MUQPxPR+cM@7rCOK!dQn%m6MLX$Ma*y>p9r=77fS4L_U>=qUpTDWx6pD~G_ z6F!Ae7-th(a5G@V3O7S#W1E9#aWr%1=yc)%8qJ$p3l9rE!JI-)V^8>`FakrOzb|zF zBbt@g^l4adBuGrI7-Rm@uiD9GtFb<^bI>HA%-K$Rynj5ToPv!FwwM093V|}d%;?Xf zr@(L3nR8tEZ@lF+*O43<6)+mo_D~lmNiqRKGM9SH-cW2Nj?PL>&WcAAL(N>309ry{ zAfn!yJU$uc@M<`j`Q!%?Uf%9j5L_^7Au)-lae*63}}R%Sc*Xz>awipx7>dQN`G z>>q+r;5-EH?**e^)RP7%yWdT^^#~SYKFiHy{(tmR;j*eFsh|2LQB7-^%ldk9exyb5 zsckt4`y!>S_8t~zAQIo%d$Q0i2U}U>i(&H2T$)iW+N?~FHK21Y#;F^lGUA#&EIAqv2dF3bXAo>{*7Ip6P{d=7Nb zAlMQWo@{P0nw!ol!zSG+Cf3Azp@)@2r4Xl@zc3J10WbUR~z=0n1OQfk~ zPG*VSrC$b78m9ERRSVBJ$;SpTG|AoV-G2&BmDEX)9WfRT@Ebc^!r1eOT}unkdfKiM zU3JUV+7%}_+#g!SB#5MlIO#NRS~r&Oxh7xyvZ<{xP8Ye7zL`(Av`)36jB?+l@ygIv zS>idvBMPQpOxBYP*10`AC%D1&%vMi7oQI2N4z>3WG=}pi5Qd#cJCk-*9dxEre-g+@d5(pfW5le&Lz!;Mw^V~Rk8Z~01Mq|l65MV7pk|h)~{d)ICRSc@l zOy5TaPA|*r{t5v(#dhg8K;>$Y%Na|&3%d!#(|C@^x3iI1_+llXRmt;l;tPAv=!65c zGWs?+<#af7a7s-YP+B;mDJ`>4A%E?wGhDI0P9|PkGezA)YAZbP&FDv(+l`O%%!7o{ybx_;(irJRGNASv$7jwZ07LF+_?9*B}@i$0gp8L4o411VWd>wZ%ambHU^CL{sLGK;RK6wI1`y&d|%6}+&@uXwp&#VqWTdBU+BNoJXs^TY+m*id^QJFbC}_I zu|%X^R0C&s)s>~Cl}O33>u1_)+RqI0Frkq{ey{i+Zdg5IE$_7{r4Z%6_?gH z5tG5UpHAZIu%z3OqTfdmPA@9mq_nJ45exUMo*w+p^}~~#Ng993K=XbrU7^+RsDA`6 zWNgcf{b};}Y>9%o$e6;-;pxff<^dRf4pn+?GZ^3f&k@6@jYP!VnqIR{_ zhi!g3Zm$41`6e~~4@GJ`I85Lv2Onzk2gQ>&l;mdMy7+zs9`3v@_2}W=@R)pEohM)c zSXicI#(-v5YK(tp=!%&?hyFSu8LT7n(@0`lxN$~X(zml*q2inuiSleqxR^{FQ z&dR=)dkmiW!-e?|8Ld=YG9nk*F|*73cwgL^%CWyr_`z)L(4SNL655>2it!~anv{5i4SnHx_uSSi;IX` zZ#)jRL4yUCaMDyR`t4EGx(m^;i~Pn2d8>K(ygr?-(~ZTaoYw6S8)cTP3=DGH!O79L zgTa$8eC*K%@5|XKe5giM#swT5TMOl|s$6}hzAvwW<#ao}a3~c=Wxv)6kakZ+=OzD=o!8 zf|c;e&J?D%aL~x(*EnkT8b`j!D%03qJY(c;N7UW#lm?i&5aGtT9tP~+)ts!&G2bJ9 z<#TI0G+)Y?_Z**oq01)Bnx-VHC^FUWqvw+Z;7(+lvwCN-!& zPw?eG{S7#20sNP->j4v!gG(lVIWsjrJ_>Vma%Ev{3V7PpTuF~(w-LVQSLoP%=x4IH zCrTdz#0GLn9M3JzVKf>ULA<~Yg24YiB#T8BmnXfRAR8Kumfqu9dwneS>Bo~iiTEQ= z4o=R7&HLcY>BD#N**Ed`i}L%;?%y9zn|I)pKKh^xa8IwOI>J zw};=JzB+w*`pvu3XP=u>*n$PCPw#HjJ;au3bILh)dUyTPSqSZfkRM*b#m~;ZLWqAA z2w}zRpWprNB!%7#c%kBgu!EDa!7X))jl%1TQYsAt{2N?^FtMG!;=nef0kIXR`1y*@ z@0sWeM#ywGUr z8?KhPf~$y&EW6_UjjUX%bF#jo9|O6Vxm4GVPjFTA#A(+4Qn~tn(n$9r@FNEMYWS7BN*5HK0+OZlaxPV_n= zQShG2A9A_Mx2QbTgF5MAi{fI}R83n>4M;uH_KCxlgua=7V0Xs^H_aR+ifEAy!Ht_> zWEER=-dG_yS?I{Z zL)FH&+|vP^naqG-{YY*|Myh)Wg+{qG_nov`#hw{||N5d;80nk)9uwph$r59UjZqGb z4p767I$rE+eeK)ZInASv^eje&Mrs~Sv%ZW~)^#ypCvXos%bq-uaaEGaBk4+|*a{@s;Z6s+K&m>D|Xe`qI}yVXuDS1_uC z7RN&DwvI8G)GUoL!jAHs`|)UpM?hI(kTNAI;o&QqvVEP&qZW#A88{M%%#qn!f(_jq zN3*r7JfEDEDLKB~g0ebH(#1VS<|8@!yc*`{KcN2{28Qo~v6Q%aLlfX)`r+!vSm!L1}i34Kb5>7$4$#_YsxS;_YE!{8c5k z-eVS5DrwFw9B5|B6a}eC{Ef`2J)@CTE&QfYx^e9>kreV~X=w8xc5ln79_q?t8fu|| zFP212xjEG5;E&EhMJIc=mW>rZ6c~g{D51pxJ z9;?bJ@R_RNyp}O;JmKw~2g0)42WcQ2fX_;6nlXkRV11NL71t9p-Mi^3IKNpiL$azu zO;#V`EiPM^;_1l=lstRNO~sUzDmh9g?YAFu!br%)MUqhRS~^xUFtB3Il$;+02t&}B zY3kD3`gStGL`v?WB83&{$VO~`#+?56Mf?2IH+0C*kqWfml=E6el7+AV*hVv7*;EI{ zQ=R2N7Ph!7(DOh|NV)-BKR^|hn5u3*s;{PXB-yCRB|#h6T3>r#5J^yFxQ0z03Q|`g zwB1n7-$ycccQTMddPv`tnfIb8g0`YC9zWgBXk5 zQ((!b>+@2J;ujmd?6AumQ{zkn(&zNfY}#x_m?(ib*>^jW>CFVMe4UL0lRXu7^35Dp zDH~#3rGp=xK%bh>Qr#%S8#o(mS?bqM&pTV%K!c%X-~Z}4hI97mr|0#kG1Rjlfe7&R z^O^$Ppl1|!?Wc6YsChSk@hKEw&2j5unw@H5RV|SzhORjPGdV;Yq0c$W(=h_ArrM|> zB5$Hv=U6Zo`yELa%M8roDwh5;KqR(wIIQOD1j0t!d+Y68HU2_St4 z6TRK>=! zBME9!IV*nT=CIX&#B9?^Bggspx@$Bz8DNOE)dv^;D|X#)QhL&a2Toj>n)~HXydI*b z(R2uE?0I4^y2L2B5R)!g<*_*y5rzTwI-_hgOBWM(AnXd15UWLD+lpHX+8jO~PkC~v z%<*HvliHe5UzdvZVr_OT9*uuHW1?|5Fw=@%XjL1^a*9Z#T16yM-it^i+&QKwG-B(aGJ={YhgR-Uc9k_N8Wm-y zxM4oPIvHh0z z>mpPMl;es-2EJvXyq>BCUW}#CAxwG<%NID6X2oTH3>pyaG?C$1-B{|-!Rr8AtGeI0 z<^&qjSpw5aiFR}WcZ^Q@?pr0(OLSMMWMW{VlyxA&@%!VK{m^!<)p=0MbYbu#KeZ@t zXOL1|c#Y!dYV4K2t>PiL9&u!76&>`OSskk8H-$=S!l!0naKE6>7y+^UC!k3>#zfMC zh|#QnHX;VL;Poe=Nm_|bf=WTlIFPY#j;ytd0jW--EQP z)cRqSoUdmJc$g+(0|>(2J^HlvNCslvqL7Y%qJg36o5nm)P`4;~SwhAng!Lq<)m6drW9GNX$dD)Thwk;8BVJAJaLR%t(Kj;@e>gJP<{H zXWk@=RM%vtQ+%@y0CL@77XUb_31fw!U8^`=HozroJ#wT&;wQ1_J6GQ6(T$@aL5Zn({PCp^2iz?BT9m=Vm*bqg)V zn*`Lls#mB_9@RO6;b}3L!zUx&Z{8_IyMDjkwAq}sS}oY$S=VmfU4hVQQ$Exw|L_d% z>4$Is^5N$lzJS|QI#78VnDw9Ja`wqu`b~QUeiu1im+!SerrjFw(;4jQW)U!ddzxUG z?2_PPiIT6~g`1fTsiIoNkW=QXSr)87ExJ6vB!>L``|JC}nV){%u?Vn9-qs^0tw4b;A_s9jP>5NbbC73WK#I!Ys>3}Wr*!cfH z;}?a%J^gxTTT#@V_fr2)sqp=O!G5_GQH43a2@|5p95$=N&9-C?Lg_ zdpA3hzLyqifI3s9MqD_%9nh{Q_AxGnt*!M~v!4HOiyX#tlpQ3e% zC-JLVUa@xPbsEZ(#1uQ$o|IEjAkZPMtBOxiQ%hlnvgfHTPMAAIhWUhD34U9l5~oWa z>RxzF$dtO);|*-jfi=ZyNcw`6u6$w5wSB+_BM*t_}#*t8B{Artau2! zO@On=GrNv8++bK;>8fLYKTM`8B8>~93=#+E%J2&iif;~OvKrI?9Dswzz`^?LrmItJ zLfE)CU4YiJVQdg*OOy9uf8K|ltZz*2Rnzt`;c(4-#}0LOO2T;kbEnR7vaW|q+3WG7 zo60D6v=dwQ{Z^Z4VD!qlG%Hj_xUy18v5rvZD;u>yIgKH2YP?E+vA?!H%^9y@%y=%g z80&&?HAJ<#X2GNC%nF%qoXJ~M8*g>56?co+VYnDyrx^YvfEIzBq40X%ym%>R(4ae8 zaMvdBI95JvlJZUe8ld)I=OkriVz}NqqN(hZj0Ra=L#DU=Wh}9{JfDxU^9?dtNx+R~ zMQnI+U>+%}&~>VRmRcL8ovSuTKJs34o=QhbxN0+;mX7x=+9fU8ZLLZeymMcm&#yby zqQ-htAs@jnZZep2|DPjz_aSCjufHp>RGKmk_i^Pee1D0oak48E7$$fyAio=N?~d4~ z{i}=qd{D#aRhFUK1aPv*@=+Bqz!s!1>h$7bvZs_&fn?4Lj01f6i+=(bfe)saQPu(z zlbu>7e>6EZK0XR_baG{3Z3=kW&09;8+c^=x^C^6s9ITaE@5DO?3U(=~IIxx5CWkoA zEYw1PJ!QW=tw-xEk39v1q+GWDmRhZT{<@_({OceN9RG`hg@ZMoIp?iDeEd5;`w3s) z=hsi={kLxq-+U(yLNTd~@aFLL=^&U=T#Ca{e*lx-gE+js{CMJA`p2W-oa0CMz`4fH z>cY7Je0hA~PX@okIek|^V;HZ_8qWd98(U-D1)*VT7oQ;cSO5D2wVRd~68g+aKa#@9JK)u+mkgz$c7>+@RFnKpGXem5)bor^w1tN*Nf$O-W>3ptMww9KK7JwxQkQ zQK_&w+^&ODlB3~aE+leb@!guV(L^=;(&{3}Kj=rE^Jat@*p!}mtCY>VxvY2NnH1dG zvKjF)(S@h7mk){mu#Y`&mOpAu^Ifu)e<*C&@aKUkYoyNXeR=chD2#ddbg41#A-#&eK zqTzNBvtryT?GNqvcMq@Dn^p`IXfvo}q=`IO$4N5pUcEYkwGZFE+E}e));XaDf2$pd zT4up`qDc&by2c>?!Z{6;gF-a((gRu7&zlW9rkrx(-VNU(y*C?qfMEvz$vo^HJ%9cO zirPP1KJAq4m{4f^FH!br;1g}b97y>8(7O0fYW>TGm}g+L5O>k~b!$NulbO8Ff?ls< z%~5KLtO?Xb8!@_o{U}at%vKoFf5j<9q!0n6rRW)Ap#qBCn^>sPu0T>sdHCJVL@;Bc z#PX5J;k5XyJW~+W3-fVg+-`=FRvb67( z2Fy>urR>-KOva)IK8187pLe{3rC~dUX;&pAHga6;u3x;q|!3$E!*MY0gEyWOusIM)WjiWJ+%)wpq zc)h1pvtCKbGcAqi2C8hg(hbTIT0Iwbq(u2zC1T~yL3xThHq`mKf8a}X|1R19<4P4h z{=BK+ITHqiECD0|w9sAfxx0{7qbC8xh1eI@K2u>E0o@VH`hW;k?g1b)OcgRb=AJ;t ziPq&xKVri;38!~sac&+rR{Evu;zI3R=7%1@xz^m_Ro82`k^=WeXduz9eF>;V-};KW zPpOZgUBtM#R}{FUf7(CtR(nL5pDuyKJ%l-Juc>0?v=^cqcO7YHmE;nn1y!h})qoEr zL$5+#Xv6-gQDN=Vw5pCzavLh@CAOgwz8~9AaV*JQo+$}t{xj8}8&fEQqfS|9;&F!Z z{^9%j`Ip?T8*LSHnB>|{fT;Bwe0d!a_S(-(9toQX5Nt@8%9knJrQ)FVMSldi9S88 zHkb4q=0;rt*d-SrLkJd=_MgauOi3Vx;>u&p%sIM?P#uS( zp3&Pxe+_zYPP$NL6&aLqQ)Hm0LAN0v1V7arPP5zsrI5fA?J+1PDwG1ki)^auss}lV zmTSB(YBzgOK6WT{b4u}J3qmjSWIB`TnR@p+jJrn zPfe{}#Y35e+!WzaxWj0yod`Rs$HJRLlp zVoU^X1d!s$0%!REXXS*H3uTJk>8Z&6R86yb2kAUU1v5nj)d56)E8n6;^on1xt=2{X zBeE(9tLI@K(XL4}Cpv+pWh&Ww-y8Xsrg7*3GFnKIMs$$XoT`V^Cp-U3zmAYQa6!pA zf9W=iQW^G`OH=Dey@;xD-?j#wnEE4)KIWM<;GG;Dv~+BTp%F%E$$ zF9GS8yNaO=9aTUnl}F|A$<5?Q#@v*apl>Zm{>au6ztfZ25gFLghe<+S=TU6JjF(s7C3T>)5%9eQDdM)fXRcoFT zG+kW6O()=dh0pHiJ>*jd0I)#%)hphiR(XsS9W zcSqUrN!gqrZku{YFLjO5RY>%q(OLeT`V6!ocdIFKf29hF+=tK|!$Qbvx1>+Cf6-R~ zqdtM7x?Y8}8UA|N*c^D(D64)mmp0(jF9fcrBDtClK;@Dv&3yqt$TLe=pORSNi@VpctjG0{$j8CYA+?L1rmrZ&siD4+d^9rgpkTvH;O}=dze>ZTZ8MTRt zZgr<1;uu-JVa=6`oI87qN;Ai;Mrf+IU|1%o(puD|y>~;4QF~^Umv*KDrN|C&hDw2T z3XN)hQHxX`jhVm?#i!Xj)waf2$KGW9X=;iEi|fXQlN5I_XtIYc+lMsU$2VPuoZUcUr*G zbL9y-nYCWL=6wam0}m^i1J$sXJ@ozdN@f4Q@>`E-i14*Ae~}pNuW+|L=Dyo~OK`jKa1N6a1EHN959dDgx9g$0gQCK-6!&`U z*Tg5$OsKrMEUum3bx@~=l+|-WG2*u4IXy}>1>_Mhl`u^>gA67bi-ATHt+N-W(PjdB zG*?VVduD%%l7AihU-1xK$ReSe`g3uVz0@;}D!Z$_o+u?Xe@Efh!G{#7)NJ z%-E5+6p90ex%O8lrcm!x@67seGFMn!tp3=-sq4*^I67+DTM8M@jI~gE%$GQ;F7vp) zHzSp0h$6kZ?|RVZ?UmPfEu*_d`_I3A-d)832HHEby2Sg-dId!H_R0eGh6T#aAU$2~ zRz}u4C2iw6f1PvV^M+>GWIHXP#(=Y87FPsVnC3qsP)p4SHL zpy+tG(NkTbjP%q-=U1@CI(TitOp5H)-K%-6Q0x3Oa4Mqq)z9d-r8-~46jI=HG+6$~ zRl>;2TtCUCw@q?y?}yYoMO~EWHowK{Qm(Q34Iu&`T(aa^9*!0alhR60K|+lL{`{MN z1DUE#O|z(J5QzdbGn2aVBtgSKix=RbtE+1mF>C_@@$YdKCr(aIEq5BVuDYsDPFBbM z{MpIj9|v`i_)i@?9K4Gngy`+z!(Z^Xuki0@_3x{bAM+u9`;(L|NU5**2U1#v-(~r1 z&M!x+AeAsLe|+~#tkI4&Iw!0FXRygqm9_Y)dkOg^tVVrE)uifPj>ec%uiT{u>i;g* zk{2oATsz`wlhYtV6b8IxO@>_Xr|-tG$7$@jt46!c=&`%rooM9PP47>o3!b`)|9k2V z=&@p}MDR*~>C&G!KYm+^&CP2OwFTFDorX+vj;&gGs*{vkFB6l##S={peak&F*kAlJ zp_EONmfwjxy^LO9SyS78^I7es3I{Kumr6k@<%M!qMVunxH3XZ>UccQLk`hiygA&mT zWA{9*YaSqVCyeic6;f&M+N5dq=JM~_jvhM&fb~0n=?_L|us-HDK7R}G%@@D<6^&yO zlJpLsTpy17r9ZrRyPh2*z<_nr63&$d;gz(pmioinoywxnDn?7iB$&7BNx%&ug$@qC z9Z^24iLjUrBk#^e6$*#DN2AQ5Toi#gC((IX4@OH|foSxrX6RMoGxxyZ*lpm_)8{na zX#MejEl=vs1Yw+xf!@}A%USheRrx>tm!@y0@=5b)D*&g>ZfaMkG$Bg16OvZTfAzD@ zC335#ZtkK4>aS_-k}|?A5B|ioV|_m)=3waUUU_ce-C5tOCP-}$|$|j`;c0H0^LhwodA3U9?DZvv%QCTrm_;|CGcrT zO3(l+RE!&QWXO1M2%>XVtmHwZ`XqP{Qq(x@P*kU9(bx3?$858g=f4rV^z6 zT&oqwU@a+fQrXw^6c%l!Qu+N$pA%Md`$lG=e4`cRHZ>b@CPfDN8kV-Rz>~>859Tfv z+icf7-tOaeuwWUVw+tmpB<>Yg9AD zC}BaK1~02^oFuv3&nl27l~+}6t>GJR+;H7rj8!@08g+jo{g(HUlJoWs^b740+RmgQ zN0*qMQES8Ax>SRIsiIt=M;&$Fy%`uOR0qmOuV!TQ*l?w~x{5)vD&XFG!z}r!W!+2N zN_tdBM>V!G$$#FIPfe}V)=DR+hw3h=8QC> zRz0GpDWp*`%qzbXrdUUOA+^qpG>+H$V)&tYnAr;BKYxL{|2IGDpTAvOWe;eS(MTpX z#-czvZD{+xf5fW$Ai#mzzHVKG;u&+024LTyeX9;mf1X7se@Zi1FbcD9mrh)jTKr-I z5R}s7ti@fRvdhjHFI-fS2rBqkQ3>-SH|wE8pSvwhhltHs83x1#?-^PPeOquWW@L9P zNF=(;NPilyK_hhC%&C_kM>cDw$(hY>0c$zFWYC%1#61Lv>nzX|dw3E8f=vbozisC> zdFxuax{#TByz)h)rxUA1zh27J5UR*NowBPv75PN&AT@MGHR4g)nc7O62u?S3q&I1Q2(4CNa7C zs!cGrzuqBKv6OvK@n#vyz&W0}{#@}t)uVt)>^AFRnBZNriejYlrm{#lsw7%_{#Gt~ zgMU9;TUQlvpKEkQ39o*(vwH#>pTs0c&LPOXTG7V_9S8*f{1?A{x2_gKwrOUpc0*0H zsjE~}nT8B4fPV4JtKv|_T$q<7!)Y|ueS#_i9Hx;}7ft)h5h@}A){1Do+aQIuo=~bn z^Upfk_#@~HOa|lrkzH2mnn8L7=t~SzhJT1Y;i-e}u2p)kMv0l@5UAZ$^blVii1_(W zfBchOaqv-lKQQd0AF$IY$n?P{3yy62g&@${xnG>xD2A|4Z`qb*iD>#Y&@Vbodm=T*tz@hg9?RQVp2!9BvQG9+M)aE5QOHR4J(V-)huG9CN`yO8Sq>XWYZDSE zG|aYs8q7M*)OSU~G_{XYjD#cZQlhrdRoIm*gk=(vzd_b7*)iiIA>7o*)qH^(dn!*> zsNWWM`!%TFNQDaBIJk@Yod~F}&B)OjSTCVz1FAS4RiZ&hc?0`or;hULjeo|^^Obhm zIA8B;!+s{UO4MNJ3f$9as+wJ0GF|RCDSTqVuP(|G9(PQalCF+n!^>c7IRT4ubQ=ZlaF^ z1Nylr#-Dd8!yX#hVu4I(X7b18&=3{;>pFl$B9P|CdoVYfwy5e-x*#w6aEgti;Qt1C z@1#z2zo2TdmReB3!I)k^^*rbBtz}EuC~#TjtAy+Q&VodNUVILxJ~ZWo!wN6;8e56304j)-;shSIgjCXzs)&!6N{0@xlS!{n z@2gkF3{1)?33}U~nx1+uW)RaCG+vwcpY*mgA~vNQVyTM5-ghsHyGfMgP^3Nk&N~#X z!>#HP;j;9)?!f(?A(gVDc&Y`QdlnISPQH3hrR3}xWrvaFR)0N`k*m-vLW}csN-mf* zYMr#%Jfm}JhE{TiD%48dC6`zLvXnm4#I+PDdg4bXg3#IExGFhO7cD#p!Cr+HaLUu|1rgDs(=Jlt$Ssyr=|Gta53rolKg4n-OQ9kRUPvW5xJ|JBnRRI- zNe@9+dvNY4FMlj+WXBGqIhIC;Pl!*k%7D9GPY`3v;%%_9P~N&vjCVrHGqG;!%pN(= zG7)>)4NkS=xr47*rsei23z#g^$3*<~01^a)&=%Zg10=1I0HwvZy?M@0O0U>c4~e#r zzpV0DGUXrH&AI7Kc+YQ$r2NZ061$X2edKy!OHEL_+kfaW3nY3T%&9&4zZrW36T-w4 zM?a!q2~g-|F@DgQ%Qk8-pZ6uq~RipRd%NcG8m$=y-oD#f>L^Z)k46B=j5SREcT4^~7p(p2r| ziBR8-Fn?$SY6_Gdl2&dTOHM_M43fXIO-c!xn3k1Ip$HZk@`jkCr=v{yt#P?H?Ls75 zVwb%0YAYA2Hd2*d`b$)*`Pec}_G2iO7vA@$X7tdsnB`e*HR~nx;{dL6&P|QCnBrxf zo92cbnmJ)AO?S(!+tBuXp=&!E?Y&~Vv#>NB*MCvLnAbBW#a*12do^es+Bz~%`r zwQt+gbx#;}9>mCzh3De9Ojfk|M&jj=4`B`SY)cQG!UJ^}k|i+i9x&t`%o7-1W0(wT zP=BqxN*2?lRDN)ZVH*pN7$;*=h{=6cd-ewU@acwp_ZX=tf9t(|!4A={Rbd*!_tFka-^ zq#vN6u`p~Fdr+5j11tQjylNf%b>3JzGd^||M2kIAuN%HN@04+&`J@f<|4;goApE#xfG3+vb;J%7Un z<=Cq8F*kWFbex6GAL~(GHE|SEV3dB*XMWJT_Eb_Tc2-Q%%`Ecb`H+!YYG%jNnjs2f z%9-6crUVE>E&9rx(@tux^%c0Q{Bi{69!#|@C6lUzBxj0tf1C6RJ8YTDCNj?y0sed9cI{*~M;_b3Ml5anz9@jRjel{GsWqMlrS09gfb05vAaiG1mIXvVgySaXAf}wm zNO*?(9P^Syp`$h|@y=1#$YXNtfNSVU_(up#9c{9@W}a6HZ#*Nu99zwq++>(`eb~(i z=N$88c4r~+Vw$c(=&YRG@N8fpZf8K1gTvgMmv8s-0P8!UFL;7b_1$yV>3>}W%7Le$ z4c+GW=G5~ewvbbWv@%OInYOS|oN3C53OwJ3A9W!SFQr<$$s3v=pAX@p$d@tpmwnRTrLd=-0bWv&;}0DQRIyv@ViWT0J`xs?1AKLwCxxK>I` z+1#6TY?3JZMCSSlIMj376dx*MG4)IrSOQIT{VTVEPq;mD>?n9%C4Wn|lCXbu{61*@dxg7YEgYwj#;(ZtaTuayj|+%Ad(u8!euT?^C`PCYPK?Z^q3 zPtwkD#!|A~yWr-GK!4WWJ>8c}u7skTx5$*)0)*8TDhMMWR(k>?S=%(YQ=JwAKa7BG z-sm-yGZ|CX>Ulb0nBU`v-?NTRb*P#sE%$AKg0kZI&=Z<3d%#a4-HYZ1p;VwKEf43~d*R%C z|3f=bTl;z!k5Sid!Nyu!4`~&qvyKH`Y7^@PA8wN}0v=ERS&2Gnj#NWehkt z9IcZAf|lWS5OuB~5e>>KzpbE;mY-!Py5xqJ84v86uXl#@uT(3Q##9w`Z;WvnXZYpamJDo`CvF=S|O9Kyi3`3 z)@u!Ih)ww zuyEz^HAr^B*v*>R=4t7Oo1AbhqLcAnHsTC~AZ0E1bVh5Q#o>&W@_UT8Y7{G7+NQ$J z4H4y{fG|e&sXPajt%likuPyiMSQN{kV>a(RWAW-TrVEvDlH3B_>;n0+C(=c(#8(K4QDr12$}QMVY`yP*9@q<7Ge!oTv?q|MQW z^|=S?3}5*=E;r5Ph4K8d(=S^(=4AjadA|8+u4I4RGWm%68$IJ~7gtB-l(wa0M4)w*7jkmmspU$P z?}!9SEi=w-N)(7m=SDm{>pDia7kP@&pGL}P-=FofN-B{Y({EwetO{Xxt_gA` z4Z9*~;?OgEhp}fZNIneIZ#V{iYZDKbnu(dABj>q}8uVY+|Jckp?p(0!cL(ErIx0WJ8}1zF|6iH%SB3`!VdQ9Dks>u^H22ciP*Iyt-irly~Yx@hjmB>?mF1SOB}F z2J*XSja#;|o@5%P^>SNUPAD)$%cj%NO22<giN%i=|!D!5QWvEZn z@*gfAtLlOL12FaBpx$(TxAo(rYRxRcl-Q6v>K9Wi*WHZO`E!2cbuWrUp@U9-cZG=5 zEPPGTf>Yk_YMhybeU#dV>vJ9!B0MeXRY6{2>V3R$kt=ken9OZ&D5YakIk5M6%}P4u zN-t~n_ry)wNAiE%3dNJ=8lQ--mRR7x4~U&Z-rQ-v$a>PQe+ z6|UFMF}#^Ku5(hoc%37%#Y>Lxt3%uMT}Q%|bSX4C&CT z6v~mRt>pGygMXLoJyblu69OI%3IU%H!$-h``tkHfIXR;{A&mh(QEKq{ff&6iM|AM5 zm&vQ)gEoILRx78&RB`ZZe314NC&Ewj!im3J-&Mf3M^985>n3cdfp#h6DA2 zI-CIc)l89 zH$HzW{P`?waTDuV+UEyeTlY(}m~#i7>e^Fx%7dF(eQLAt`sCO*Jnjnpb=lV`zI$<~ zJ6`^mVQZ9RRBPv{*4A4px9igb>-jV*-@80~a_3<&Wy8B&$HTuoff&WxKZK#{$@g=s z9{s#ux)h81Rc=KUwN+?)PuIeJR9?ft)%<@c!Q{Th9CEpok}adzFKAF;gv;R>r8f&S zbBlga;LWvP^Yi0s#b0i>7_Loc-Ou7y&0d+;r%7iVXcKZ4>$Ycj)+2m)&2iy1wS6|_ z4+5tU)i{S?y@U+!(1?b*F8ShG(X5NwPFP94|Ap{5%EwTzoJKpBba>e2S)3g{ zqyoyKSJ8F{UKN0T4Wy*<-#1bc{%PR$?LWHm7izEkZ=Fzf?JouR_Wkqt7hHYzb^k?O z`a#}*`+vEmt!lUXLIJQ30Wr6%QUSLJe-WeJuZAW^0l9Y~DNOP^Ib&I?6u(`uL@sVN zq?mV}&xWW}*|GuRqF_1hq%}&g4Phh^c5eWLVGXY%3)sYJRQnzTv>9E2(j3}2vRM{Z zg*+t?Q%wTZ#rox2f5ges;v@$}@UB6FYnN8|zFgKeySAeMT@&&O*H}@=Xkw(@f4r@9 ziIg>j*wx!5KKB{PYVInPzFW5&EDEIk$%Ywxp`%(+Xp)CZ^Oq*V0s*e;*S zW$8I3SFQD;&@M}$vO9;hkyEi|f7O9ha7^zc^)2VQtk=8moTTw)^V)KfH5tBy0kCZ) zw4mIc)_=3haZ_o{4Kim$r&6vyE2<9!3U16@IFcu)7AL#=v6&r0hWCjkZwwt?%C9YL zj2xs94zX66mORX!7+GAT7yceUk=V4+rT3}!Pzuvg(_`fzG6Eo(#e>+`f9e|?Zzx)j zu}B$PQZb>SF|r+Xb5D3yw3za*)RagW;L0tLtYMJ*l&7!@u-oPia4z2+-PD{VBI72D z8%?>^waYr%j7r&SPZ!5dzKh70(Ga%)9H@HVvs1HeMra(#bq`F4kd}M83|_5Ck&+9Z ziyul3exfe0KaFJHMET@)CKJrTUHA30{(Rj0n!ke5|Mt~XHGs_bz zveQ=dzv8c_*_XNiG0ZnVWB~@@u4B3JQ67l8e^z1U5ICk;c1gx`f4dC(WZWwul9A%b z@r|biDR!?17vcIVvMH9vaZ=b#Q_7FEwes<60(r8hwLuQq>t$f!mFIR9MjK~s%)I!S zk&;eqg`n4%4@nTl;vumx* zC1;^PX&X7=JQ^{(Z!rZ_gC=M+^R2^Mi^dAWzi}&}8Y9Bib?rq*WYJ5`&2egGtdN!F zMBjCnlNX?-4y%@Em|M#4t)rnV`J`n-N0KxT_OWg=ZjIhoe_m@S>k9TwCcN((8#~Z@ z{!z<6s&Bb5lY9;Yvuf}O>bz48BrA|LRp6(wv&Y zoKqV2RpNmg^keJj8C$I9EP$07gujHb|D48>xX)RFgIH;qVeLETWwY42&z1V`&G_a7 z1CwO~3ZI;d^!K5uZXZ{lVNc7I4EaR~wl5+W=l9L%m)~Cj27jh$qnUe<8L4~=ouqF$ zd)c!4`E8}~ok7d5fi;k=4`UW#GwI+6qsNS|%QgCzHjOskJy`Jb`e%m zG(V;33orr@<@E8btQx!?^fwgf)WcG^?!Se`7+r#}OLG}hEzlsC)2?nZ_3bsV zqON_6N_W`aDkHV5Fx66+O6TO z=r)W>L9H>K-A0%H26Y$!wC-^n_3E95rdl&)Y`NFm_m>-2^Bb_+)@p4YVxBm>tZ z<=}S%9=)9zomX48j}7eS*mZsI-khxGMXC$Fk}F(ax<`D{+CZkB?jw#9c(!l(i>9Q>t6RO zd->eCh$5$3#=Sed*WUBmD&O8F^jCfDu3mKIqZ=D5i+HT%u(>PH$59fa*&f8#rjPq}W zbM**&UBlNEKS(C%N#&z!3<#)4TuD-C4qb&I zwHPjqD1yC6Ju=Om83lr)LZw%e?2{r27ReW#MA|BvbM#>b!$_7mAjY;^mPl2%#kWAX zq9ZwRq<+Y{8!<|MzrTNddyL#kZ>iuvA-DPH zT1-5UD+A~Eh7EYJ?fNV1(0K%vfa4%AXK3uqrkpiyiN;pNNyLJHw}Ysm=Uw2gmbp@eZ z($|i}E}3h`HvE58i6H=y5JN;(xM(ArL=YMxOd#HQoym?&q*vKNDxP68?xbE|1IcA& zH?D201Poyoko5E081LV;d##HT!ohLdQ3varV15EL3tttyH z3Up?Wx(P^fgKRr_@-Ddz?p%^6?$Tp^pxPQU>1}kI(lLKU)Z0J)^|$~0@8|EIe_ATJ zOW`~6_JXH!lOlsEY05p9Cq5rkvhf<^>Q1mPy*+#acVW6`N0LGc38cWt_+8wXA(OCP zagBCtM&y4nnJ!Xpdq4UG#B|UE*WEE-JFfZIM0E2#Q6Nv+VEr|troG;ZjSi$?dUa9t z8qLTPFjj>pKnKAJbCIat=WMcR+QUI;Y$rHw+-F7@77)grL&2lMqy{{?@E9pgFD6nk&GHlXZp1yVO##+;lK zXZFbn+y+NB24R^=K-;F>NC9NY-rrXH;s z#1=sNq-bqrj-6sta>Mv0INDZF6GjdzHPjTp2JcuM<2i_5QhX&OY0@xwYr|>_D8k#X zufc!acumKRiknH699J9OGk9t0oji-`?O3O;qXB1*3EvdnTe3Pdi?~Q8vD_;HMBou@ zPjr(`^l!S00EgPU?$zh^F5<-*g5IoQUhr%F^@J=?zcYNYCTuEe>lvT)PKr%pI`|$9 z9;Aos_Cqp8y5`eGx3z_r+G&{N20$$NYj=Na=)Ror?f_$wKbM~RBP^m#oP?Xy_tg@y znBJc(+Q3?P3FI}T3A7<~lU$4QoiHHe_u}?v4&_MBGjds)mGHn@5be-w(!@)meO#OP zT_tvi^7g|X9b?u`tP&xU^u@LPk||mT1nd^h66Uly$%<9Ta@I{L7pL6=@Wj>JocDhq zi6F5b&qrA!JSj)?{BDj|TyunEfbj}ywxdcXfZYbX^8k|P;yVO5HS8$g&qIzDw-Jmu zksU$lAv@trUa+M@f;fwji6yzt0)2TUMqkq@DVGIvAyz~^OVYBAIw$FESJ|Er^=J7y ze7n{pdRy1E`zzj!3GoU)_TGM~R35@V5#O1d!SM(@ET+AC6Y=wzxN+VI!8iYI6gnDVG%IQtnGgzCu zZEtCccQSxIM^V+>JkT@Z&Ox6zYep&2In(UeKOkSxtvweB3hQmiIyt^D61RVY{TvdO zG#_tobjxK-QnOSJ@(!HXvF0qfj6?`ejs{!SuJ(leYw~*&9pjvLYYF~Z1)=WXg@5I2 z7^07kU~V6?_&D;QaXg>n`{DHAf#+%utKt*?1lvJEigZSAL=wmuNhgKNlWnBek8<{p z4(mmlL^AEncz1!8Zg7K`JXe3B@X2X;CNuCN68wl$JnR`vx7eJ)YJp=9UpQdPStc}r zhL;Txx&Iin9{p@q56gv18GcIRyef$WXXo@bQwzJO^Pp%2h^^3;z zhL!Y^ONFXu;-jXE-tJO^8h(>R!Xl_SF%08-AUY)nx=9y{a7WGSW=!;l=@gQ9=>u|uOfQ$;E#|MfH>Iz?YZv+4Zm z?W?`u2n4C~I$CRxO`<_2^h~{FGPR5kztl<^%uB7Lu+gb|xNIp%`AOg5vFn6p{m5N8 zb?7ci>@8&VvzUEh?gI|%=R}6c4+>3SS)L35D+(2dGp#eXsiO%-qMgPY< z@_&D*XdAF9Z>ZU3&RC|CjHMY|v1L5T2YNLg!Q(w^4hj>qXdZd*kII8$CdvGQvr=^?Spb5S;n3f9CI?=6X_#eHSx+s8B>7_r0l0dtZNh5|SO)1hM{T zOz>iVkK^n2x-ZQg=xb~8UJ0Mo^(udD^*7C-&Oo^Fb`I0d7&B*|j*8*KmWaEgk*W34|OP+7uZEWK~6*BG-$;f|xh%DpY zB@Yaq>rzu`0D4oGMzeQmB|4-O)%hf)AeBw|KtYn}k*EJILkB>z{Wa03R2X{jh_sChFQiD@YJ()ZFf+UU)4X=`s1 zN&!^j&KFPRZS*RX-!GA_9g-dhQ;x_CGC)!};hr$g#tX?NdHK6hO2i68rs0lE8U47y zb}zQcWD~f(t;%fHdW)CqZj5w^K9^LAJC*(ES6glt|p#J#nCw!<@AgsdbZO=wmcxc^& zG!m`*W4NPY0qA z^23I&n=~evmko=)hv1kZVTc!jF4M(-i>-F`o?@G#XSO63D2V5HUp1kiwFBBREJ%xn zYsEIAa9(x%fgC8bMQ@5$W8;R&n_~P5R%(-B`;e*MVr~c|iH?+7=*4AcVjZg@=ZF_E zgnsK|$r=O%eqX)rT7?XTf%bj4Zfg%kB3Vt(^hv@mQHT*g;dLO?aZu0UDn{XdMW=Lgu{KA+YZTwm?Xm-B#)b1r8QRd0x~HcC{aZq zpVp0bIk-4cgb=O3p&6PDxA&>=W+37RfgcKydV36FiQBwDj4RR0U@mpA!lt!q1$8VG zAO0~R`|xb$dMw9ooDDT&tv17$i{& z7ZHJN2OuQ9-+OZ4H+uUl6vP-a$=6Is$2Kf+4GOd2W5RmxENfO?6d6jvb7HSOraBLx zb%^9rjqg5_tHB%>q$u9Y=_JM;1U>yV5d=KWXFzzG)6&(56}T}bnU__6Q#woeeH;ld zZ+ob4j<(yps2CPN9USHTv8Mlz`MVceWojwa(PG@LDRM^^!^P}Y8_%FM*esgJHNcFH z&mrtgVG0}89wyqLABvgepmm)R;(dy_WBQ2QXl60&PH4h$kine?`K?@k>2&}qSXk`}(4vvzv!oU7IPRTvc8(H4Bz7rnAOo~wTaW1M z)Nl#1MIn4|y#4(F>w*2}ni1FZU_Ys~Paqt7#3-~y;lD~o80Gj$oj#`~upOafa+*5J z(PjZk60A&!u(gI~alizmucF&JYG-90IF=E|gcsxC#>x-{OWBZrSR*P5l1Tvo-Hoz* z0)m6kK`1-CBAZHx&f)#1dZORgv=A)ai`uYRApG72#zA!zh#nXV z6B<(6`0;j#O=BQEv!8RYNOFU&)9`y5UEsQJnqa^zon!rlAt|wXu3UHj^oEqrdEy<&W)5I- z&uEOWp)KWqP%6cD3U1;!n+g7;A%0@6^Il8sA-xw*#ovo39pp0jt=jUnsyr#&*JzTb zT`C&d?wo}pBMm3meN0d-{Bj=6ZOC@wtsSpbhlT@FCurZD{_#>5UcHJr5`YgXt<}^6 zvJ#&~nT-EA3_I_6gtiy8hhkW(#4v(l7TRj4YYSq3PU0Mnn>3GXrt?xlH7twslIw@U z$fUqx&Nz+R5!h5XKqU^S1)O@N(?s1?=k!jBJqJxXs4cJVG@cnj#J)|*)PT^zk!Z=} z^bToQLEV0%5HZ1-KVD)5Wruy=|L2B5F`(+!?kC64bZk`Nn1RZ0_@WMwGek0ov+4SM!i?K= zaG<8Fm3G0Y6x5wmtI<1D38{ijPpX#-W-MSOWpGh<8^^^~Yg@^)cnogZgScZrrSNq& zXVwoe!L~Z7gy+q8@B~5{C_`~ne#rZ^eher(Cq2^T6=8ccl3wJ=IUmO7yYseI>USi6 zTt30+L>x2bwC>iQy#;CeCa=H^+}V-bRvpQO!G*`o2+c+eFCi;_zKOKKXeiBeg@pM8 z{vz71%vG7A1NMv!q6BlHWC%yZfYZT$W>J~bv}a#hDsI2yeq;o>8ra0W6fy3t9;9iT z-ucKbuGhM46`nVFAE)ogZF&EL(=j~(k9TtqNj$HSRqw_OPk3|L2X`xmZ`S)$vJCWGnX5>jUIS^>W;B2HB^?OP13fF?hlrKz8aVk zv8U(p`AHTQDBhqT?FFVYpW>)p(3s6$9mwq?T+xm~>u4(P9Myz(H&*Lc{e(k33&wWs z3Pev1LGjtr`r6qE-lvoj-@G>GFq#HvrW{-~<*+wx5aNDm}To{{^d&#$=CXV+`6l=F#(n zK~Hbp86sUh8ot3@t_k#_(4#85?%F{pgl=A1k^RGb+-SE`3n1`&i~)oG46XFNf(rQte`ub+wknr=ib$;g)5%4F8w^ zMj?e_yvnmmdW)f{P$^IqR@OYjj`(CP6vR2!Li*#P`kA(~L^v3T19&b98cLVQmU!Ze(w_la2w47=JT9J_>Vm za%Ev{3V7PhTwQM?HNpd@K_dM8D#Uk$^?-%bSS< zxw315B2&?)pur`LK?f61$AAkqp$^y|JjiSCH3W+uLOLOOzC!a9fo{MW_E#J544j0N zG?>Iz)*4DL83>?#N2~(++wdfj1URBwHZbHKy(l&YUf@U2XRX_H>#eH&nAGXkTWJ4+AS$ldBsth3NjaR-cpN%oVV<`khfL> zO^x-aRg%R{wSSU8xl^x%JhK7nK}&^FKwpLGY7;PpTJ98VRT33MU@!u+($3IpP}Q7; z6&P3)M1WoyMcwe=B*zEk0EaMqY6tjjU_;Oj&9{l#fl(TvCa{+#Yl4AvX#LO$)Ha4X z;ec-Fmb~}8W4!>$81l+T@W5oJ1g*s#b%J_mvV&4|8-I=(Lp?I&6;uR0r5*;uw&Yc? zhGmiZ1lbz$3YLc+kXM0z&QPlYEDU#~oFF|Dv$kp8fpVmo8}cgBa~en+8b}QCD$+F= zY8Z?XK8P9?9dyr9!=gtWOI}3~#2qOo@Xu1iV&YqBSW>V8>J0Qa&^v=Nm@~&t#BsUfhTEo@Gk-Wezn+U@O6)#QY+5w(J_U$ zc}BQA`eJ#vTs-WNtqv^$k{(%N%Q~1*!ba(XiyaVRnHtVaOm)ke^Kq;?DLGHl~Hy!C$AAHf^kJ z746a4Hi=wl#1D^eAAq)6-?gso!L89PgH23iZKN}^c*|+tJ21msa@6;CkIS1?&wuU+ zHZ!nRZJte2Xz9VCL4WKy<=U&#PJwErVmwg_@e-c5yQPQw61ujyzhBz8W&rr&w8@W6SN%1Q~mjHV7!}7h%J8@%E-RH_TV9r1i=?Lj(51-SOpf4}bB9jUh5@Ba=xFTZ5R8A+*sj(DZFe?#Uyq^?Fj? zOj_ee%md*cI$ktFCaMMu{1;)H5!D*TTt2`knC#k?VOf+mJ!|6o6t@UN)J&+gZv~OD zQ<(D+OCl0#kzPJsWMh>)D!NJvz33or7hYNBLQiX$=N=H!1MwNlI+X5X-#*G9AOWfTpJPN4}s4|KzntlrCg~& z<((^yu#MLvH5e)f<_r0(D zIn6h&9qlN@CdkMq%wXanKEvT`H*fuv~AJw{7el6$4oDdt7nAjeh|4sC(S3uNS{BK2~wOZ@JWg zgpJFw#v*+Rkco!#@a94TzFKeAH#dvT$10MtiqWI&k(nX}`0C3d?|)cb$2Gq7T;fTv zYX#lbNR;y`2E65^Vcj7tG>of&1y;k$q~Inm76X2L}-TS5ZFtz3{r9;39sFm5=+ z#msBq-1fML9@WL-pqu6G?V@6`_E2Un8^UKRF2x1Rxm>2R%ooGc1EA@|q?++|E^#s< zt-_{V`UYpMo4E7a(tlv0>26IE3z9(^S&$HB$8<1tVlGc#B-DMsx_;a&tJp>m^P6+yK%JX9LZOy=SJBiD_*xdsLjB;L{-5sAgC$n<{nLIdURb9rUCYX`c~s zv0K@LzV?b(MOM|ES;Y-gT30D$HRxTi@I}KdQ!UhKBuMC=`l9VMgQ1x?}Ted-g6tX)hWK%M3*PjyeFYs z?l@Uwh1>zNbj8nEsHn8AGOJ20rxU|T%jlK03T$g@u-xR6FQTtSS*xhfTFl+C@p&5I zrWsULxCh*(=zm`fR=8il00j{PcQ25&aQRI4zy z5XjL41x``}nrvyLS(ZejW<~ z8Dh$g8hV3?g=?BT>H|G8a?xFv&HJmUj8tngspU@j4%#XONcR%Z4c%O z%__~92+02hw&o1%A)+@v!maXX9sHZ{)E&}rWq+Q&H#fba_=PrDN z9&*8@29c@DNA_IK|KXjJmzUbb$-G7avjath=u&tI(9QbcZ51bJ?s)ET9Z!}(^aI>a z@P9*-nN%h2&$0jew4jNZV?+=V9QQ6m&Kv~_8kjCe_j&f6ci_8y=jVeTm-qT^^;;Dy z3fv1~(||bG2a1dCh4EZ!wYg|WzPj74tK(9f=YwNL8Co8F)ZhURrt+kPsEe-uKdi1F zw#Y?#?Buxu&7;l0;xRpGtsu&C>3M19@qeQx)d746HO$rJ7{>ez!Phrx%J0G~RO2PI2T?;W~9Fd3b^ z$j}!L9}kDlty8u=sep z`TgbaaAb+227Ux-H z^A`-Ci(NyEDnfql0g?Ob_xGFYx2U|>ZkL<8`RnE1S69oQ{`_sJ@YmJtYWwi!tJmwR zS3hqTo9*nYAGgcfR?mK&|JUMnIe4X0UKSXf!PY5vch`!a6X0<~J-?Jf+V-SNIl`}= zhMDmbqWz=AV?0LE6_Q~@(tpjQ+uQ6O{fvhk_K#u481D$lIP2FIz8R5?XlQ#n36EI~ z>K6Qh=#X^9-U0RhT)lgEqq~Kd{Am`i{J5jLh6z&p_TN^tUiUq%-Xm-tcJI5HXf-T) zjUs&t=KI-TVn4+BekNT~HwZl#UhKT6li6sZ{3w-<@W0IT46kgg3Ot6I_>@~H9+ejv6lDb2;mF~ol9w@;OZXnhSa zm3DO>W$;6&eG%J=@qfpl$_EX@t)U@SsUoJ*uHA~fbc?3L=F)lSbHeM6ZRS&BRagv#KK*>F)9N?Q(+_;9UCPVyi+{m_?tJl>3J=Mgf%XGvX|+0n4Ug4@b))(-ev*AytY-YM`Ls|+sGW-V zqFTPFN+>E4{OO^9h#pfllViy>`9Q0AZaXYchSjn6n)4`zZu|aWEZld?loixE~5Rw$m;=3_^IED}1NfWw@P{XJxZikss z`Ye7N;U6<8R5WTrbtTP=ns5+iW|TXJZqyiEj=-a)Q4^YL^vtLUO9vsN(kDwl<99mM zrF8jc6@R*GH$@tK)=wBSrs|H33S80?e!^IkPcR#Vj6Ulp%-H82Q)yH*dO~##R7X!R zo4q>gCB_PUOrJ3nnNVAFNhW**dL(CE1a$d+alJe?$FYKu30;K>cL7UjJ~Jgj*-@KV8~NJhV)-{VPE4F5D*Sbj&VQNNLQNMcQ|jF{);lVdHSgY-lJa!V zFq1Cb**7r89HqPOogdSMYM7dZkglnD2(g-Qly2D3O=G%{d&y+FXGpM1V)hNpWEzs+ zN+DZMRON*!Nk{hx3733hSKmzL8bj{(6Ob`QHl{d@689SGkM?cfIXmtgdl#$TKqj{0 z0e>18r;gHfh3)}ah{RQ*231$_fJE&vqC1*lM3W>dDMQFz^0BLJCi92)Bb zY1xo6G19HVYT`|we1fnJZiks!_V)I*_It(kAk~)-n z?4hp-Gxh85E3Q-(Ovw@YB7f*_Nf7F`W->eIYe)@cr=ZZ=k`wf0(3_GF z)Q!z#GSJs>HCC9yf-ZHQt}25_>yv%l5&_(ru50szb6nYYBJSz zC~JxK`!Z;39I+1EoDA~&3aUn$f}*D?fqh>FNyicA=tCw0`o4y#vD_3EB%MZDMStH@ zLioC|nGE0i8ot6ZQ&13e8Yvay*Aj16ZB6n|meqb)!j!zgl)S*CG7+b6%E?a<>Xwf3 zuT^yfiz`Vdd2K6Neq#7`X4Qz%Zf4bp&mKi5*&HgEGyxMpV8rBzq7jc1icavja!?b- zfVWl+ESAp6s)55oJF8EaT-&Q=dw-~ycx&~*+Q>gWur;zz+oy>nLuBdNvZ-OaL?izW zSa&_)+uB~Y!OertLTGwmo0NhcatK10+z;5jPqX?EmQ1l7LMu`8peCeIwgpB6?Buq< zppqG&ngQyto-M)ipgN)bVKJe@X=rl*?Ixj3hE9hVP=~V6KcZrdJ|oC6YJaB}W$(jw zxkLW7w|t%4D5z-IY%KM&nH&l0*|J?QC&NXsN>2}J!}0T27467#Ub}7ewwU9 zA8^{TVPb9ZCtYrlfBEku&3}*snflpI4u|!u(}(@WD4iS@W0cOEgGR)*`y5IiL4`$? z&4}IaFWHg~^eye=cEs+z%&Kp__8|RR+r{Sl5)7!M1${H?^$CP(81WDRBj}?3>YIGq zP43mlZ?**WJt6D;6GT@7cbZW4Rjex>q)T7&FFKx{tPV+)jagfE<$rA1y0N}i)UxER zN_JYVWfR}}z5c!FTFw9GfB&xu@Sv8<3oXKpyT_ZGUngGkQ}Vcb+r{nG+raM}_KkHH z^>*)L%Wqs0OfBr*r!jHI=Ke%;{@#Y(zgJ^;lJ}?D2Wg!@-kzsT5h)#S?^WA3?*vhg zp5Hy3YHni-jXK(%pFGeY6gl4BV0h`od;WaVDSRz$h$r5Y{U`8|S+sF4Jzc(|tJueH zLXW@ZPZ9RqmxI>eUfK!w{{hvDwJet}ya8B$F*QCu3UhRFWnpa!c-oa(%Z}u@5xn~= zbhHmv^N~!Fz+wQy3;SXi3wsZKz=v^nHL$>72H2T3{P~VxNu^XtWR(w%l9VEu85tQ& zYQ|Tc+~jMXqMt(YlLp+CsS56J8PXISUPuM^aq^|&9&d&)1##`2;P6-Qz7tHs_tO-A zMW^U6X~v%`lemiCI*E9^6DG+K*KtaG*W))T?qy0!NAL?51aoL~xW})0+~-Ma#C@JJ z{ellU%rtS1*i7&|VhSGvLe5ws!gu1}Bb~>>Uf_Mq zSVG`_go|F_e=HcD7yy9s30_AgBNe<%R~0w}VB{4*c+BNBa}=D4Vg)WtK^8o^f3Z|Ebp;; zjJN>c5lIN15n$$kM|c8vgYW{w1Bnnp9C$^dF2vJFyfA6YDSb%utZJ_2g5VaiV4FDqad3KqadA2 zA@X>+G71u#tcjIAAqt@@4o(Sw>L5CzN;Ww7BgEQOE}^73P2_i?ha_&{aHW@siwQbDM0G@sOdx8+hdC1vR@&?>mC8xM9|DnDDiK>kLWE_c06{oP z6Y=9*r2$C>6JwTZtB=N478VvR$QPg`5PoWTEzB1v2zp_ZkWBOk@B*WMJhj*={6WqU zEh&T55jIgJBE*M&d)l#tc;rjKA8G3183__AjjyS(2^UC;P)Mi_;%OFMFt*I0)Du7} zG~*F2G8Lq7R$zpr31=pMq=^Lb6`CqAu}qZ)PzHaZO6p-kC70<&24w^)AQ@;0xGLli z7M!GTdT56fG7dbHLT#acPnFt&8>!S5)T&gnyEw=mwFQNr9JQrT2+26)BYDaziaL4L z7M4j~Nza0d%0h%G1j=y5g)%9aFjN*1-f3L+9v76xCapvjVW$>%<^|Oet|Z<`#)PTT zgtamfi{K`0#6}eAv9iEtCA$&s1p4qvn3U=(a9%5shx6Gb&Qqa(&m<(G$SF2RrmP@< zV6I%4T!>n(SXof!#WR)gppc9L&7&)43M+EG7HrNek)NpTnDKlVMha;JL zbIRTXFY(^&-HgQa%t$<4=$hdg(y=ZMPTcGOg}bKCH4N-3bJc-80Rca-i=W+weYg)E z0yn3@@K9&pAC28ccEs25?`lsvYaG}`W*zw#!<;vK+yTE>=aBk#CeMh9*Zc934D%20qd%VW z=3ct5dxhwKn7TaLG2ZCH!7fa{_U*0iOW%&xZ1!nj_cHqpem&GysRrJBA3k=%x#X@H zN1VCTzT|31bJCOj2CITJs5|Mq?#YbQcRfSToeb>Go5hcI1+xsadfYE`_S)TT(EVD) zJ`4|DN1L68D5ZgDDR^CccfY|wW>()Ho-qBkI@*|jn>nW^Vn{S z?!+F)k{KR&7a!QIUZ2_@c%L3be`Gy!GuWzeD4TWA3S{qR9kc>kQL=;iwPd@U=>vF< z<5}~k%zAD(HmoA2=sY(*d8;X?f&X(n3a6fT3(t)Yd9J3}sl)My9vTNMBe=&79Lb6O z7M90JkeW4+#8yz?TdhV^Sk+ZfZoCSVWs8kFe4(7zI zEqBcUJ&AN_8jC%t9O#mF{n){*nryr3j>j;6XBv`|LtcdV4ca}eI3y0T5=t7unxYtS zI+!Ku9CWaHOjeqYCl&m}L3Em`?e-4#yPfl}zQ3=dUzu^+IhhINNt5nFEPH(P>MFZ7T80dZ|j{xR$ws>eRDcvGk+NAG=74kx&O z2++eIDL(o+42}R2{O-HQfzr^EGH6$F(DCuuTd_Dv41~^{&<=JU?@ivz$(NID`aC{A zAIt%}kMHh#O6dCKz;8Nn(1|HpcsH`+aOVaeHh8x7gI0rQYd`4pc(xua&!cr1eAMC5 zIt;!^@n{_f-&Im@a~yp3Nv{2zb!umS#6Q?0Pe{3MC-F@qoXQ_?#m`O6zx(dx`^(pFU!l>BWgkB9(T_iU`*iv4{qp|qoK)xZ;#?N|1zh8q@|s`0 zmM%LZ`Nf=S!|c9E4O#vHaFY*@!qXp{=Iq@?tDwux7_h9FTU05 zdN*kN0u^C#*ZZ6Qi;uT4%lmnWv-uge`P#E(zOc;IY;lP_FLN$)5+{g&W|iHm(F^O#gSkm{1K zHHq~KRs(d$?Ii)u)Iqq$(h~gE;eNyN4?q3<_1g`-KYjdqL+|DHUw%OVzm50xv4kQP z@7jrL_2+fN{f71B8fUv-eg3%kyv9AiIo=gWHU3<+tzRH(PTSgb;Fq<3U9Ntvq&hz+@CdIEmp3@Upuu0fi2s{UUmH;kZ@!TGjW;qpu^UV&5rmor)c&;>OIz;Iuek zq@-2eyQ#Wirls#tuntMbp@oJyZRtHAWSnkkd|y)dW@xc$`D=#~aVu6tI$$DA-*6TcSH1-|MPpX9>s9|8F18=oH*TYK!^yhWpsU?qY8bG3aU?s#-uJ6Y?z+OX zSB>`m>oT_PD?*E#cJ4wxpb8ini9e)SF zLrFb?eA}ARBOs)I55y?pYvrY_^So|PcQLJdceP3ERA@34TJ08a&B9uta$cc339g-O zKG_b~5cEdiu&CaH4qo@wT5YG>{vYcT9XxRqV1wanTD<9TFnv6?T=vb zW2ewouC34C?>g$sU0Y&X9J4j;I@Yy?eML~5O}K9G;O_1OC%6m**I|GVU~qSL|8Td# zgS)#!upgJ;7J>zL2m}vuQ)hM0>MXi9-Cf;_x4P=7_mO^1djA1barAo6=m}u={HP2k z5K<>6;HEj*BoP5h*4tp~-<14jw7e-iH@0!{$-c_f;tgwiCEUZQOv<6miyBD|PC+7Q zQ~b%6EGE`QfXffZ3w*4o&$ea`vlD>uZ~(7Ab#g!GN=mG5?4&aSht~o24)UqC|wXjrLP2SMAO?8kwZVo z0rNftg~1p^Jxcr<1BH5(@=88}A6c}PN!DG2P(8!!$i^muQmoY+O1g{CTuMS_=^b2T z!=jb zZs8*%T`+VZ5zztARB93Rd4KH}7MEYhz*OtX(U;w@5`1->PiYLU#WZ;Is!=Y^rifi_ z6;2F_r0{$ip#t%AjL;k*+L8XMIVunCWS$tgS$ea%YFPvvD;ieAmXWl ziY(|LNcAgssHt)qg08TF46^kQE)|A&UcdP#B{e>*6B)SM?ROFTV|K|z9lw!X8<(Ze z5IL<0yGBu?u*r-WHW3Vj;kin2SFUq3|9;lM4zpJGj%3ti7-qN@%zQ%0d|w)3RYB_ zb!28_9G7>ME#FZ^LMx1WS=`{iP)btEc7%V7G%?N)YUF-5+A7wehRB1*)xZK0l7rI3 z!EOr>ARYA9J}4H#%I)w%H0p?o5vXGm1tvUMzvQkx!tQ>7&XAXiX>d~%xhXJgWnJyD z5EXUkNfA`(XmLph2BavC03B2$D}=KTLfBn|<94LiLG(y8LDJ$W3{Y-(XmQ-kSi`%( z%*IkZXN8Ya8Wr!Iq%9J}vf#~wz@?dFd|ENSH=0BRaOH~b@JTfH6@=ZapDJ76YI2G{ z#>%l9?WFl9g?KK#SNbd$;)No^R*bZYtU7ijQiPrW*LuVdBqZ-13?P$Wbwy?%Hj^m- z=f=I`GIB&eU@RUMkRv(jK9gL`bSTriZnNk@q9chE=IDGFLPKGDxBE|?w-e4>Dtvcb zK*6d-6;$#N#7nnU*mJ#iOes_7pIQPBv0`va)>BhkosrP4FRz|_I*fhVk$UgOiTH`m zSR9@nog~khU;H;$Adph#-HTakRqNBY}^T+yZ2@uIw1A3cKu?G< zO)BF~PvFYX!QLCiJgjznIpL${ZuuEl!U*)hlPh(d*%%ftU&*ItNx}tB*pY4OSPbPS zhIY5dSE$x&x{b%NLlmP1q%3yd)`1?vG}+ox?e~Yvc&E*v8NsU2a#ZH?$tdO#vmVBu zrCAGf=SPh;1osGy5(hF<#Zc;`f1T$^UdP|F9ulF*1p>yN@%~FAt+i_p@x2s@JpB-W zVuv}lahqA+>9>mXvfr8z%1FAYx3duz6$&yJiRK}>Q_=L=_xb=IE&t+oy+E&e(2U%% zbmXt`r7s}S{6LTh6_XGFqOwbY$7&lPzt#v9JyS%IDedGG%dD(39_T-7@b3+i5akXf zpLpMyKcB*lIJS?-ge<8q$m3ICyq5O>q1(%8QQgnsA3c&I=ANP}sgz#W#Qxbe^`<`s^-HTmaw}*Y>e6X9O6Q_`}^bmGH0cY?wX8009S0Y zZ}eFXdEe`4)yNU`X#^r$b`YQ5wy&^OT>HX_w?KA%dbcjDf~=Y^)AcxMWUTW?WaB{>@=|U z7-=8Rh?ZN9R&LKxL|GfG`XgPFB~U%>q2qwJ+jzNG1Kj#^0CXqJ@gV}k zaM*KH!=2qQR-9IO`|e_vit`|ovSBt-dLtU+V$V?8jdX=IrRZ3^%uET>`7E^jJ5$G0 z)kS89ia9}(-Zz|8nRKR>F|n2jY39#E>ifmh@+pY{L?4!L3|lUe%0zY%&~iq5_^=*qNo@yV5>HU7y_PW_J-^$z4?QFQ6{^QdU@arZx$hj{lcb z8sHU`a5!(mD}x+1uG>)L#8Q1nIpKLONX2Q9!teCFeZVZ6pdm8JdG%8*OVg6K#ML}a zpnA!Ytr5y1fX=wq;!c{yiJw`V{@q0RZiGXaq$BwNecOXR0|wZEIt^1FX;b$x>=s%t z3%(zDtcbg9^Ah)FpkLloRZWJkqQgVU6k~;F=WNfB;gR^qYwy&}zAX*~Q{D7}5L=B9 zZFqk1B1mFkP)9^~ZEObs*yD}AO# zvNPAcBP043P5_$#@!a)XfO4TV{_g#&5Qz_g>BZA#QC`hKtR94^{?w~jqP!YX3?Xr7 ztl$c?g>?Lx_|MnVh~2G*SY~EkKZ$wQr+1Y-xc;z~74q}%LG^G^weVJr*6(Lt$Ac^} ziRIyL&GO+zSJDxJYMg!6(Yu&y%d37tH?z+*68pj}dBC2pkGLcFN~{pdK|CB{IM)j$ zvCQL)d7Y`tcXRvJJY{M^U+qLD!37lt%6)J52j7;hsx5D~$$j0nDz}$49v&@MAN5vp zCs0^V8Fzj_e_kwIQ`N&Vr9KGS%xbl?}B z<_v8#UFv%dEcb29%m;+4iQ9Yg-gtUM`W~J=ZW8r&6kd1B^OGmDr>*XptDlx%-qfXp zag!QJiobMo3<0}u`N>}XfnR14d}>9(->XxOfs<6w)xx8X!AoyVJ^(dPwQ~MG!<291 z!Vtb))!766O?TOI_i{FS3D!!Pe3Un|#=VOw8oi^gMbzO+RO$7cpnBZQT6y_!nJD#o z_Y9t~nI}yfG`~WX_uMP}k3{m3BkNac0t+`%VP)QDd7Bk@n#jMKBlJ7V$jxQ#k@SQK zfH(ek7@6dbOeCIs`Xq+K^c5E4Pm*4F3o$xS4e^e`6*5zRjLWo+VnBzpOtuHZ1+;#4 z0&(yoUFTdIlS>KY&F-w0GhV_k0x77T3k}!IheUmvZs7n);)oC)LU_euBJb zuz@*^)t*l?!<@XkkLQK?*BEWO?iRa=&$fFt5MP(n3tCVx?-zda5`Zho-G z_0(5&=u~mi(9KVgQL=r3fucMSj~O}xcn&Ihugx}DoSrKM%)B^4`o=CIFEKYeWDf9S5^{e}oWU1TV91)3WV@<%8;c51$JCMon|ptNpj<97K0@dDhp92! z!^F?V7#M@(7aG(m@IKZO;*T`5pNCc5bkou|LwsqWCO?P3wISQ0bMYSUQjCR#a5y`a zEo1f)=sx)O5_cl;G6w7fC$P4TyX(OYb+$FDUBpWfW7_8O$%2)-sncCK@D8j4&Q+@5 zSCPhL3F3p_{UiYcdO$X51a^9ClndFk)Oc13TtzU^p4+4AQ=Cp_|0kEHk@h zKFl-dJ}V&f;?6mW@#Q80Z$SxMRca=RkmQ8_+*r*RuvF84aJm8-!kf$m4pu&v5>ydf zhj2PW8jXIIcVH?qS@~7f;6OY2wGR&J%dqp*fe-KJ@G=}#>PehYBN#p&O<_B&st}eq z+KAXb;)ie3m2WR9rZ#|$F*lN;brqS=jKa-zT@E)Bic1Bl{;4j?j=y&aLPWR5(THnL@2>KiGSCf5zsshj8kn_c=`gJIH3)iRSqlOlva5 zaV~+SGRY-k9br~9`gTpk{$f2BQcfEsb^->POgex2(^iu1*mYSMKYOCiRl1EO8+N&@ zBPn8_D6sp`LdaK}Z3gQbAk8;)XufE!Iii%p0?0vtg3MFH>@23S%7&UnNTU>OkFazg z9HDX*$v|?AGXK5MtKRu4CeFA<2)UJx`v~KT@s(j6SuAP}67RRBi;&Ei0u4p{c>2$xmk+bW^_k0b`RU@G6E_E+IV> zUy=ua`KIw$JQjR46y zeefo0Q7U#iI3+X*0uJ4&QxvZFl*$Ce`A~&+9;Z}dy0&yCs355;u0SJhM#yv+Nqxs( z(>GQ7BRAD~h`d|eV~0-|V+jSL1AToy0PsL)KMu8KbV)oDfhK12fOZ2&%H$-{#7gHP z4~O|^a2o&1xJ%Yhwpy{~e;?I-`os9>k|@im%l%;A4uYiXQBf!LOIRjGlM+}l^KN8z z=#TcCZSaT{@zDfS_U!Hisc94Trqm5)?A2?k!_`HADP?_5uo60QS1=ozUBPFw z{<|rlw}&-9w{NB(-wIQoPvM8%5~SoEy>nq3LXmD8dbp-7?&ptRrgN0BlNDhQ<_po- z<=AdWSh==to~+{3`APTY{-SVgE)M9;g_aOC0zktfj+7pMlY@UOZn7OoCnVhcf0PLy3Zb`5B{%(ua&;NLiNN8tD|~})2FMp zT~DXX7;YXOP@s&tB4m^A)8YN;{;H{OYZlkTt&pxx-&?vNL+$4EU*B`9W8j=<>FPS} z32oqud&acWq;-{c!3pNMP}K#vj%s-!F<+x}S3naQq%?s$RkuMVI%<TmX9y=a+W2L*ODt z_t|-0(4KP(Mi)_7Fdm2QI}VuP_kF=pfL#}PU%QC0?ce(Np6=+!*|$P#m?=5um2*e; z>-p_q1_aI3kp-(%n@p)D^D;(y9%F>IR;d9oMtW|ZNGw76DRQ(h5SPf=#&E^@mnn9T zveO}onXH4!aLiyMaD9)`_xAd1D5;FM2QC=)n8WKu;aJA>OV^qYd33*K=c|seYIJB= zPd`wgSxXf85l7C|J3fgK-6Rw5RLn#blofn|Jrch<5-&y}IGRYk>G#%A$h2-Oqp@MH z9iZKI8tHeA zt7^NBcx)T`{|?uY-xz;#E$c^f0QZ3V?rC!$uXIT9jH1&#tE#aSJy5zNNZ4G+*`Azh z)C=Ol!WW(&LQKu#o9E3jRWH3<*tC|osE=32+BbKN9zf7tybgLcY=4_erEvG1Q$uFXOS7Si*Q1!nLt|IXLAXfdUVAx{nS6>|YLz=m<@No_=zU(#F(gwr zi%+mrks$$;bvBNN4i=ePHm@i1W3M z!}uPe7|NuBKwt1>MyC=2B>?-vbg6u~=h;*L*?};n8Z4epae^>QfR6ihVuIwU4mM z#iWNAO{I3?;2YZ5PY4^-SxR5eTh@+WK3Co(*qTf_a;J4|%5MR0z~t_3N?>&B_aEmD zBmF~?;v(j0*>=VnWDO4F&M7FM3e_s3s>r3{6PMdm-lB{pw#@5n4z9m5ZTaWpvB(U~ zf`@>Q^5~KXA|tJYsPRbqbOsl?z(NF0`() zmSQO+Z#z5MNx?yD|1nR)e?$z3L_g`O%0CIOL6(m<9;nSc`?h-iuAN#rY+#oQt8Nr5 zb#6W~ikX*CXO`x3-HNx#*aj+>}W%kKTKVj^@*x8KqqWpd|Xmte;N|n+v@^aoPfb0CpN9!3m)hi6!;$e;nbt|GhPID`|qgM?Wqo4lw@#Nw^o{wsY zpGh!ZyF^mb{h~6BxTMS?i`!ymo9!hPCpel(vpSsPdkligLHklRSPHE#J+yXknMP-tfNOaLGN~ zvHEd4@U)i&mX3Mxbe4brhFzl%Q|TNef~o=+y?)MbvTyjk=`Fk9{RZ_L*}J^atkQ;W zGZogVhIPJoZms3s-xA|)? z-_*ewr+FENW#1Zs{?kB>#0_H`gKgyrA84KkvD6Ij_|%^{tNT20d;PW0`fA^{Fog9+ z#J&5x?C8^9y>91``5nJM()i$Ce$hM0eW#e%Z>t-wXW%d`Q6q4eUw(L8#Hk%ww;Kov zI5KD!aM9`VzF(?m<}%!8xAhJlTgwKNh(j-xiE%+rcCXASNBOEJoCWd=VB&0Zn8t9% z7gCkKq+<4H_d8RkE0CBe2f;S8C3i2XtjnK1N1kV5_C3P5rua$$%@ppuqFN{n(C-H- ze)vVg=J=+-CCa6Cny;Mz@%e3YXOpjz_%hKNnAo3ZEowhujd}EPv-@#vK^ySOS88+! zyFe*xF8ZrhLKubTxqK z%D~NAW#Gi99w-Z}*J*)iiBzA3=SGJ+?ns`XWY%R=8PWCM7_4SQz+<1P?r~b6XmV=q zyAPdWv+tWFimgPz6nszvj$dzfiVPQ{uL`V zO>L5qtG{{GAxJW2#Oeg<1h~VSY7OWDXFnRe*mV$Mdb}hX?+qL7smwlpHOCvR7|$?I z9^aE@8dpjFYJN>?dH>ey|2V}v1M>5_zvw*7yA_-9d)xH6ZeKz1Gm|~^!QCXeX3q&; z6(T>})z=52(4A2^cQEqCj`8#4iQJE355KhZ66~^VM|Pz4@}>WW^R%BC%jSY4FFlMt z)6|?+`WB?0(2ch8OJtqKP!kr<1^FDWFWDU?{txi4^mBBew!8A_ci&Aqn9Dxt?!8~U zY%=KP+ZxdxX~k$ZZ>0Rv0)JXxUB5P# zF@Z6l5+)9DLn0KQIQc7~yrG4-=z%UB?BYgov+0<2v$!5@ge)CbjK^+oW~0@)2)_8= zMc!UOn|ONJhfZ995h445In!?T&9(NssxrQ*v8xJUxNI}Jw*K_Yu-c)&W@WkM{D*T_ z4h;ZD+u$8VkJ3dDrR;>@#FFv!+iW`>vza!m14Hy@eDRavhs>A_S&i2w z9uP_Kb4m z@9#$tdzCM|mg7o}nVLj~vefx1z47Z~?b(1%L0%j9t()KN%W+tIPN7>o#&%g5Lg^#Y zlKFuYoqQ3-(5I_CR~;&kJIigvEM9M-nFR=gQNO_h?F++mrX^Bc@mH12AbxAZUj#Wy zedK>!uwVGDm2yIfkIPdsOu_6W`I6$1HY7?C_*QcS#%yArB(ig2eL8Xsx8_VfED{3z z+1)tA+on&Q|15eJxc;-KIPHgb1;vd#-3ad?lZ0X(-x`?mP-4%Y@|yBY(Tc^%AKeBd z?(m4I)@z?3<_&$mc|!Gg-5LRau)s5CY0hcA0oI+VAY`e3R!X|+q>8~+}z5SmAw=kAg2qHt%PIMU}v(Vppfsvqbc zw?7mvLIc!SlECJ<+o9Z{fxM1|q%ngo3@=))OefFza((eNy!waD)0^k!xq~8R9xv;` zqBhBD^*?NVdjvgdt;3$;X8ky@vJ1rJ?~-;KNl)Ag-=W)Nnb9Q_ZYev4I;iIZ@PEh7 z8xc;PpfVRB1}^L`fs5a+X?p5(yX1~zN}3H;N);>YqNahDc->!2PxO0J6@B3s(g{VI zl)h89Xs5Sgs>{_saYYwSds5=u)GxhyvTy2E{KO&+FY6chM0i(re0>eHZ%>X}S<E zJSF6eEqo1DtBm;EhvE zei(|$-B9O{o6_aQq&H^0F^}P}s5hn4FK~Bw`xV^gu%9<|{*JVNSmG7x$-*J2xV%BQ z;qO&+mM3XDHFslYk9Tq7oFL-y= zywbWPYGS*1?c=(z?IXLsDGzz8^b`FcN>RJF0jYagjQ_wDHAB0@@p%+^=-XX*3klSs zxQXqQ>|3Y0SrU{qIz$Rs7^>4Tf_cHx|3*J+82{tK&cvoKAdtg2g0(vvkd|+ViC491dd@zE3+i7EY}^b2JTbS^`WjN!I)lu8lO2%&Q=g8G zz2v~Kj=CB4M1qWDC!f@gi$3Ty!HVF)M-o2mbr^j~H89sK zy&mz}Z*pPCDaqO${0D7wS!D_|MNy*Bk3HX6w2z_Z (The full walk-through is lecture 11 of the Jupyter c

The paper

-
Paper and log, one story. Since v0.11 the paper +
Paper and log, one story. Since the August 2026 revisions the paper describes this deployment as it runs — nineteen leaves, dual-signed heads, the post-quantum verify path as leaf 18 with its own certificate appendix. The log is append-only and keeps growing past any paper revision; every number the paper states
Accountable Distribution of Machine-Checked Correctness Evidence: A Transparency Model and the Lean Transparency Log -(PDF, 25 pages, v0.11 — revised August 2026; the version is printed on the +(PDF, 25 pages, v0.12 — revised August 2026; the version is printed on the title page) — the trust decomposition (expensive verification produces an observation; transparency makes the observation accountable; consumer-local policy decides acceptance), collision-extracting soundness for inclusion and consistency, scheme-level @@ -330,12 +330,12 @@ operator labels can veto but never grant acceptance, and the measured model/depl divergence reported as a result rather than hidden — now together with its closure: the divergence traced to one omitted RFC 9162 conjunct (Step 7's sn = 0), zero divergences after the one-line restoration, confirmed by a three-way regression. -New in v0.11: the deployment evaluated to its current nineteen-leaf, dual-signed state, an +New in the August 2026 revisions: the deployment evaluated to its current nineteen-leaf, dual-signed state, an instantiation section for the SLH-DSA (FIPS 205) verify path — eleven certificates, five uninterpreted hash oracles, exact cones — and a certificate appendix mirroring the Ed25519 tiers.