From 497ac615f90d1f4351f23efa2df015dae9b8c079 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Tue, 29 Apr 2025 08:28:47 +0200 Subject: [PATCH] vault backup: 2025-04-29 08:28:47 --- .obsidian/workspace.json | 2 +- Concurrent Systems/notes/14.md | 6 +++++- Pasted image 20250429082812.png | Bin 0 -> 53831 bytes 3 files changed, 6 insertions(+), 2 deletions(-) create mode 100644 Pasted image 20250429082812.png diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index a681c8b..d41871b 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -215,6 +215,7 @@ "lastOpenFiles": [ "Concurrent Systems/slides/class 14.pdf", "Concurrent Systems/notes/14.md", + "Pasted image 20250429082812.png", "Concurrent Systems/notes/13 - Weak Bisimilarity.md", "Concurrent Systems/slides/class 13.pdf", "Pasted image 20250428175449.png", @@ -233,7 +234,6 @@ "Concurrent Systems/notes/images/Pasted image 20250414164549.png", "Concurrent Systems/notes/images/Pasted image 20250414181443.png", "Concurrent Systems/slides/class 11.pdf", - "Concurrent Systems/notes/images/Pasted image 20250414173011.png", "HCIW/notes/3 - Beacons.md", "HCIW/slides/Zooming interfaces.pdf", "HCIW/slides/Gestural interaction.pdf", diff --git a/Concurrent Systems/notes/14.md b/Concurrent Systems/notes/14.md index 4404abc..dcc0c29 100644 --- a/Concurrent Systems/notes/14.md +++ b/Concurrent Systems/notes/14.md @@ -3,4 +3,8 @@ We shall only consider finite processes (processes without recursive definitions - deciding bisimilarity for general processes is undecidable Inference system = axioms + inference rules -- soundness; \ No newline at end of file +- soundness: whatever I infer is correct (i.e., bisimiar) +- completeness: whatever is bisimilar, it can be inferred + +#### Axioms & Rules for Strong Bisimilarity +![350](../../Pasted%20image%2020250429082812.png) diff --git a/Pasted image 20250429082812.png b/Pasted image 20250429082812.png new file mode 100644 index 0000000000000000000000000000000000000000..6be7d7d55cce5f5f7da537bd3704af78a5376ea8 GIT binary patch literal 53831 zcmdRVRa6{J)GZd=CAbqLcyM=jcMlGOySoJsHh8cA!GaGAF2UX1-DPkt-~X@se4lTx z)m<&s4^^k?oU``XJ4RJm1`U}A843ytO-@!)9SRD@=;MA05$5CSgO+sv(I7d?>bXHd zq4)iFLZ>mJ6GK5!K*>ppX?o|Jf)7$j4ss8&RD5;x*1Z}bYlrZY&TwK$6bvyxC5K1l zIRrS^+lc+}@x8F{A*`b#egYTVwA%nDfVG$B{&(r0l2eGc;f_#i@%K&3KOt#pdPn(j zf8ddVKf5bL`wLG&m$&`>mhb=V(LaCVh65uQ(;N{FCPb8ie>3VmOq2ridD;Nhl$Rg@b}!)IkhK zcW0WZRh;QT#HN!4QX#>-%dc5%-00Ay{!H9PVDFK7DeyM8YXthoY&d8(+<(!ofRbyvWcV|^; zRqFL~;cR@~?xx$Lx8En6gMRcwKVsg-%mIGKPu~yB&p+)C3~LtxIN2F6O;xY$818&% zfZZL~hF@4NoR|##%>ucFnvLQ7TGhd9f|aaiB@fu-TzG^*EQdul7Y^Tr}MY<@w>TK zhkDE8)q(l*vAI*(T7fN#%bMZ(Poqst_z=cD@ecL=T4d(yMk@ub!dJ(yR%Kk*X}2#u zRm2$w+GmG#Q(If*GLd0{F3(SA4pk`{*(I*6>rH6S_CE=t&6JCh#z#9{c8=p2-H!66 z>ccDs6LST)r-^SlYPIAuAU;|q^n0E&Sq^eeycVu2e;p6!zl59AWe|PrgbshBS%b0V z@nHY}(zFc7Y>HT7Bu2Qcibuf-N&cAuy~#+h;Ebw@O7}o5to@tp4GBs#`Fx^zK-=B+ zb3Fnh&&^y)kKdDWj>yw)D~EM2-{3#*e!WJp9W2Zs1Ib`#Y}94JA_1qHfc=7rPhqW- z_sgrw`|aaJz91B;Q|n8& zG1%y28Yw?P!H}hJX?NrGevTT24mD3N@TrM6YtD{Ndde;tWoMK2@Z)J$D^ zRrTjwwKyDlUDBe>38r@TKIN4_ooA-A@DR(Fl=4FL%7*R>3bOi2rCa=d9(1?){kN3U z-lMhTxHJMfLRhsHshgyILswxfC??LDk2! z4UWVxDAs)G$iA0N(<~X;1Y)V2Cs*>J^lWesx3h9j5>Pqm>Kg$k7&QccUEgLe zO;u<%@qE(FY={uxh7gCkugsRt^--SnVvqlH!H&9+$NoAjwbX60SRs&0ZP(ez^R?_2>(Ko@^Lpv8Z4$oDr{=}Q9E665cj3yhpuwdAJ^T`V{Ynlfzj-{j7{MZ&0 z9Alp?6B7GyNN96XgAONY?zHuOwl!$76SupY%fs45%gz*jDr6OR0=abAS>NR%gS6 zi}Sp$rI~Q3MD!m~)VfgrTw7~f>sB;xn*^9{I4@${?` zlcFe?^s2xA&2sgvu`@-dLFy*Ii82QpB`2wT|0mD^R$hZGQXAJn&I&VZHPmp&f#n>L z#g@qwoMd~)Bt0gj4M&)ig7|}`e_P%E&2r#3N!41bGix*cvp?M?P+`&6Z>qDX5bi@H zK3Io3qq=Lym$5#UQ4t}%;;O@dG=2hkfT@!dBtd?VN+@Cog-V}SXIwID)cZY>O9b5_ z4fkRU;1$!9PiwqmDu9!|?Fae&V*j>V=<_tA4GY!fobpRHk5X1cjp%rV73^P|+k9JQ zaBO4pjpSB7g?GMty~>wQbB;B|xX@x9A0fvWwiu6U z|MhG8()bHVqvRY)KbotmNb;&QI#|K@DpVXCa&HK*oNY8 zF<~yHaxV;=BX&uEFWVogIjP`o<@%8|t(3+kl+I$z*I3o_QM&_N1s@M4ASO?DJNwwyohEO&AldC~*D_|~RJ1@5VsdmdVohj!lAsr&14 zho@^cKpvNE#Asgb{S2}LsjoW|uP*{SYkwA3+g*;Hf}YRtdK*Ykqr7R>g`RdguWJKE z&LSNa2^x?En!R)m*7JNGBW`A#~E=n8-D-`wA12oRFCHJ3TQ3a{Gx}v3@0Ojs5gaX1nc29|& z3~dcWk-zL3Hf8bI%#h&8CkS4HEo90j;w8n&77VM;YH+!$JAHj@0UY@9Xz&tPA}V}y zud7c_VjZp7_A<(EEnd>M*OH^p^rftTv$cqbw0OHQ+%R>BP39n#rr*6UZEn@2VE!p7ug6v^ zwMDN4yI7S2eui*kuV&g*RlwWUAJYoB8nex1Ce9+bZCFJUzqX`+nOw0l2pmwfSZnRhu5 z4;!2i>M5fK#vv8Y4eLxdn|N;xH$F12)R9u~OS=1hdpaC?co{3Xo68jy3`rh+Tkoi_ z!ySt!7w~!NnQ?a+U(N6QD|f18Ciq9!(;gz~5}mYp;dktJkRP~jm;{}dp!A#Tdhd>> zdR_NrO~8N|c9ZixH~+1F2}OlY>K9I2{6`d&0wJ>7G#I3v?UguG4|xa)2y(pjrGlN^ z+Fr)LG)`C0pXvJw)vxEWU;hI_d%89Aj5x1Pn{l{hplR?KP6OdV1XKt#md zMZB8mg7Hp{6i{?@f^MGw4ql|bm`SrK@_((2v`kGXoE=_@Z|oPZp8Zn^&o$}Qm-TpV zQKW2bHljM}X=(3sKix0#a&Pyv-?WXP5+DCqN{~=@R+=;7aJsR`uu|DSnZOkN<8TWU z5MJ1{dwSk|eBEQ!G(XKL`{hRd8;JsL6C04ZM4HN9Nc8NS$-0K+pY$IB;>CVOY3U_ngc^rowk|7_jRr{Z1I2Iv$R*1uo8;@_lLdFOG5i zf1uqcab>Tqf_#~AEC-0|QWMb;$ZFp`N|yeW#^0&NMFY+Bo#8AxR4cwlsE7FjO>K&3DoF8z2C}+<-t?%FOcb^89 z&rfri5u9K=Q^n*92}$aK)~XNc1r*|%kN1Gn>K=%UqVl;;kbWa4o(2!2a?5)j{C&Xe z@Ohm1cA-CQ$*@r63Br=0BM?V2k8jaXz6@eF=E<*PgPo(BH|W-UFtWzAa&n73|@s>(A1hrR)*zEWbrLNDbnm1m@F6K{|!zdVRoh$73k;ucIJASPieMDXn z%x$OldnfW+T^kFl)+A%UyM-Dj{PM}GG8IyCK6XrwuL4b=Y(N8~l6lnD4<@DaUAF7w z0?A#w{~VgmW}f&XlO@m3QmiFN-uSQyAoaT`#aycIskgebd`TlQO7^k?(C5}~;&pf9 z^_e{AeTZC;i-Yecsyxi#Gi>2y9W~gnZEbORVThjmEZ{Z+I=P+PM|{|qvmF*GQl40knpq|-nkQU#GCy2=j!GJtoG!PAzev%IjhFCHjlrPEvQ zM9|9%ghkNxyD2ZKkFM{*LTA8LzHv)K9>AxFF6ee)<8>=B(EDw6wC~^KA@$eT2*aiOT3=N&4=WAm3!%S zIaV~;bS#PT?=1qmw&b`!?Z9U?6=y?SID=$-?-@ZiPOLd1LH-R+qThHYl@Ev;eW^R! zm}jueZv_rm4Idue4#`D83SwvEa&IzEiEnWTp8&e zBi%0MFQXb^sdU>gTb9Y-Xi@*{Q>jB;eIbqUvns1-enMf6d9GD_OB8n6}?V!sutLOlZNJMHGp=BcP~%G48uuX3$BAett@C~>#B7aaZ@m`fSgxBwQGl<%MD*mK+i_$SBGD=ob; zHUj+uJ9mged1UnjF&uiP=^(d=-1O<^lI{GF4y;pTqtjNi#8?w?O zjden^MbeTneo19eY(Fl;+XS~*rpxPw_xJi?|H{LI1|t*mgSHKwR3^2w>s!AZ=zMl! zZ5L|$YvDGf`M!H}V?8mh_(jl=&XJn17$iQrx_bP!Zx!ek$be0}$^s8#VF6n%H+(-` zCDP$X49goiBTg|T-~q78d^C18VLuel?JNE;Vu49PjEV}ody#dYD$gK0hc)pTJZi?U zL7INil8t9*F#53gfz%Vue05-#~sye zZ(4|}+nZs4gDW0^&-!G0&oSlS3gGAGgbkMqtUnt#TZt&a-1>|)#>*S)tSiXlm)}jj z{hyLA0wF&oq02zT4lL;y+W(@F|!ybNeah>eK`x{w2{3o7_w@aTmECz1g8DfUA@MfvPu zok)#ur;sgPX%cyqadSl{LH_&E(aUm5hA-|yg+2k@W=w3SDyYi0;ox0ZEgFQMlCr0x zH$n4m+q*G)C42q-5i89Z++GX!@{T(l`hsJ=H~YjofWYv=&bT`QE~YebaS{~K zRfK{(3pRQ;a|6FP^Vmceu3qS;R~?lSSFb)sL!^AI$%q{{Emmr~JwmFfdnF_SDD@== zs9>&`XQXDn?T+r>&-bV|+OfCS*0U!vKDQC{%?h;|{u%a)B$6m6T3K*AdN6*3i`O7| zFO*f-9DnI|j>XBGIe-|%?_W4ov67u${A3qLohqEF2WuqelU-oAknI=2OF~_aPpp}n zO%D8Nn*Le8q+h=@z?M=aBvlT2m)@f%1tkA)?8Q2hw=#37$*wpxaFd;0%YIsN0+9K5P25EFKh9Re45LvkVq*C)&NkE5px z@r!R88)c7tceKibDDAM!rf2As1N~hE6`X%v3d)xD9C&<$D3SCPGuTk8(?Yw0+A941Xu|s%kn+v*&)=hXSmniaOnMIR zMGWW3@cqA=^I|L9M!^l`TJYv7v>nk$aiH@M_l&-XHZ)Y2oSe>w$Kr!`|-dnGtz)SU{% zgY)i2Rlp?V@3kzRP(L%0!e=&GHxno0f*>3C7_sMlLX&5FPeto79CUugDr28o${aD5 z&(8yyN4}9Dz@E>CPv)*|1WCcr+338n*_aP>%&prteV3{yeLI&$VjCU%S%&!6BErAr z6RsQ_toS6WdM;{rVxN&!AE7AQRdPrcd0u<5-J&vd{q>mZm1nLlm7xNH*P!8L@B6>t z2i-mi8NrJxydZXm8P3^si>zvHfl`a?CbSF4iH9OXGZ9q6PNr36KgdvHIhS=60i6vQ zfkw;%4o?}mTen8wQ`g#2Z&@=eFmvXsH3wtdb9wpIgQ-)k7uCFw@9rPVrSvmh{mOYj zdIk&F{bbsnwY^ObfXhz3mhN>uX9cztjd{7|Aaf4J@;X3(h|7~T)yN=vOOg14b}b0R z;{0vCZ=ZHej?Q3io|k6e?wt$8e#Z)V&_4S0B?H(R-~amJi*ifGcdl?pyW_PJ)1mzAsO8%}j;4!EZEs()!eWZQk_PQb9z}&CJ1FlFAW=B;i{%4uIl(Lm@i8 zRKKQ~B-&Epj>mc-q1b=Et|j~8Ws3tu#yi4HMAa4&OCzlx^*ELqL4#WzOe>Ypqh9qrC)#?qko%6DK+ zf~6+QX>PGN!XPe&guI&chi{#b48)7JC{|M_K3dM~HhZ_AmxZA2r?PgLe8eQhO=Up7 zpH<3dS^dN86sq!dZQr$3gYt^`Len5a*$J7~$Gn)yvZ<`{7D5X0w|_>|T!wOQwwpRnjh&;j5uuz1Uek)9SmaWgS$i&Q zhm}$49To^)g1s9J#_R%BG%R^ea+KNgrjjNu@EIWfq>R_9$n?`yMe{D)9YIptWZ+M{ z%G(b{RbCR3=Z`Pr|IoR9XB=z<++cM26rI#rYsjd0V8|K47Nu59^O}^u)3gOXpY3JW ztTQcg6;)@0tjxw?ooHN|8%gPiD9!^@A>LtE0PRKBe4vHs3Y+6#6%@jT09=zJSZ$o~ z5!Ps-;OAzfpLtADB21Sj3My$6xhXFi;;_-_tN)6DyI>=e*aM|c7HTbZJg%_)dVa16kik5srMggI=D#Y3 zG>}2{2yKE}2hGUI0u?cN$C7A{A{X1eZUdUn^ur*67D_Dh)AjYu>BfOxTJw|zEoFJ{ z^)llo(bpF`QZgUOnxc_A*ge;r3TR;~Kumn&HsZLCuoW^0FEcPG^XvThAUC;(w8Vjt z9(z35oBpEEHNAv;IGsO3LB$c*a#W!X2HJU{4YuHHG2JoyZdBX$FF;V)U9V3?M@F{YK;b(9Bp9W??J*@|4YWAibJ7m(VS7iI6_Y*^9exP|Ky3 zMCq1%)o6R0>F|pE4NN1RhGC0;9oE3V_U6H!%!)G&XuWF;lSbD9e*~=cFPPt3Nv(hY zG;WkiC)V}$hd2||q_xy7i}G?w6Lr^xAMCLF!!MPkDuFys+gkm{1O@q~h3ow;tLBC2 zwxIrH!%oU@_V8(-e2AMaaKHH7ZWD{^x63^&gl19|hiTZbp+g_qlGVMMMDIN?p0 zs@AcKaL`f%=4N!eY){5lfz-y8j-ff0ls%@Bh6>RrM978 z*N1WIvkbWhBEWgyFGg=vHrPzOxNEFF8<+jiuQ{lJ^0BKJ91*zl^f-9ht7Lt-*=u}7 zW^~3WD^nI0o*}(=_B61a9hp-v-A~sFDK#Tu8nG|*5B&QRS(2caxm|rc&0cBguM)yC zs5O7=Vh?#InI=w5(OyeoPO)iSJw74Eim1YH_#nv<AUtG{z7biTYAj5YO(@MT@5P??oFnY0ExrY+sh#||~LOkF+Hap079 zU|Rl5b1erB&Ed^;k>J@8SIL{x<=)?L5?*>sY43`-eaD1`f)%wo8St#XO&q(Op1&HT zg@v z0;3~2Ta7Dmk>~76N?O!J$KY4jzmlU`R@jY(`N`JnRsB@xcdcCeW=P7_n65vfQ)yT} z@bE?2X{6*eSD*4=@qC%JueJ%mwGwHzlUu;}fz!p$Nf|i)bUhh4%1z6?J&sRXtE!mM z7-NWtFJTU`%sLX2=AV_a;g8JO_&`A$Gt1|JP^wIfExi%O6An!6E?A|n@gd%j#h-~5 zf52(x0PC_^ual3WNA<>Vor-!uxg@9XWGe2ZYQ0|o)%noegJnFEr6=>vwx!943la6s z3|Or$&XKH`$7!{_F@<54kSL7#cgcd237QW>;J)N&{;9z0;%tboZ;f8f!rf@kYNN4+ z&ewpz?(!za?2A=Ha5}fF$-?aSjitea{4ByBkGgHfqf8SuOibf7mX*w@*7OqNS`clg z>eI*2=_6dGi!-M2ae!4U8t_v%Yyr5lqXie~4xUiL^+np#EnsK))VFc{vp11y?9{Rm z$VIO&>T#%eZ<7igIZe^yZ2yk&M-^UMn4k(ly0(D{A+`GHITW^+)!c65mwBVi`e$RTlS)Kj>l1PZ2{d(a6%)s zH{aG5q3~9hv$46>rFJ=F*i@q!8RgMY#kY=*U~=On5Kn+b=gkwF+AAYTsXj>T0NK3$-cv(!9>!0 zxlcma0WzPV6YABw$Q3;MAzlW)B|b?@nVq-jc)!r*f1j~9I9L&X2HcQ|>zqoL)CS(9 zM7i5U65lqy7Wn!FUL9A>!Oq##<0>q>eyR7~8%v#%iCfD_Uis?4x@x?!G{obaQo0bvPjdyFmbo-B_ zZz%2oz%xeN>4O^tViB**GBA1H5or&!e@)x_6|V-Juc@2QjE8K1r`r&IE-AW;p4zRb zQBz~+f7iIt?#-MrM9fY1$tS3+&y@lEtnM2}xqf`~Iu-P=0WZG3tnmJ=x#etgs zbF%3Uz7P-3C{?Lz8t$MF8@8e5xc_T-Uo*}2{OO4S@yQL&#%s3Q;8WgN`C1P6)+^|} z5(uy_ghC-MuJ?T06R*@p^|+JmT{G*vU9(<%)0{ZHJ8@I6C$48@ZNG`yaKR19YMRnM za`wBteXK7V&lL{zH}|I4gIqZW*#>Osygxkk4EI-|jz=fU{x-D59r5e*wUF!n*I_L< z;>PoKvhhAsZI#w*Mr6+0=ULNf*JMXP&YSA0T(59p?EBpLvj43w%X<`|7C6=NG|Z~K zcZ}0LYr@Tp=!_|sl4r2t~G*t5V+}=({C2R6ePc`0STG$&( z;`( zc`$pqyorpx0V$xM3znG#&`AD5+fE> zDj}HHUD4$WzAZ+e(3Q!kQ(ghK9CHd_0yHF=ZX~tq|2#J9SRWYYF|Iy*iV(m}xKkpF zyB8APZ$Bz*s5Gz(bUMl1cwO+9ScAUGzg>{|4c>UUhp=|mPe$^7zK1WIt6pFCXJ}qk zz_=Y;yi>?Bz&G)=_hBw_{-pvV-OBH^henrQ75e^&0~X}k$ob7cXX`ssYRKR;=`dTHQ~ERUq*nU5EPHX zi{*`LC=jbjBT-gGD|oieHWCw|aFvk@tJe!H%DP$#QyL}?is*IlNn34svXu~zOlb&_ zBHLl+coq|r$Go%m3nt$=^ld`ZpysnSrT z+hKZpWq$?v?xPMMHP9gI!t%`e!qPrP{W2EYfJ7gE#(QW1Yg_FVB(Kfg$+4R~=V7 z)*zpCOd-L@tLCpLawc3Mv}3DCp=4#9ve zw|lM)_Ev|cW-))^w_waLhS*e!&44^vrp#4F?YMMHP#`y=vzJ@R)Xu>`X@c^P+dddF z^g&K#&ex&!({4nqk@)&hwuMs`DiNk= z(U~Q38S%H@cf=E)+o+7(SqPlBwWIPwgTYJ_w@_>Tcx_Xn;y!B&G=X{Dv%n1n`KG?A_2u3ThoFiWR z9yC2z??8Wat3oc6D%(`Bap6U-2Sy(vI5AyUBNL_;Yy4H{}s2L*h zrFihCg(A=#6}%v)CzA05rF-++?i%?xK6^50!F7Ut5Cp@XB6>2e8Bb9h$`2#P{V>>`)BSEu;_4gbt^5u~S3S&>Vp=f8il zHasXKcC!PyP+)F%fvF?6b@R*?mCNf83_`<7O9|~hhR_@7RlSHb;La9mr6;z_->vF( zO~BmChSAo|cBlN~1DA!9!@=!!BN_SDKRXJ?&xalOX{0c{Vpl;beV(g_OUjd# z0=+#*DO78*_W7P2%BNK;xysh;E6mep!lUB>OSw8NIOMOvN7er^JsoHNmpUxWVS@nm zza-+&|2NP0|FbUQ<{0b=mQAs370ZA)Iq9E0Bw|>bBjE6oA>VpKKm&?LYAI4m4?A%R zCu78~U;j`z-{kPaY4>f?)WQ0;`k2d@{7p!*k+{9WLpWD;aBp9l@7rU<_BSzQHe_Y>kR2v;Px=#pxJ_Fl5qV~=!mdmRBT0Nfp}WgI$9cYOq=UMY?NCV zpMG7@hruE%eZoTQ%dcixj?`XiNn^y7UsHj{&Y_D8Is(}=*u{e*O5(2@J(hMX;gVh5 z4KCsQ67$ZL>zI&M)gE`8Ic>D-kK$L{vWdch7TG{WXJ}zAj@1p)%Skw8Qxgu%UXsB& zrC#@fXB4>^nuHyK`%8IhPBsJK#TFqi$Lg_Y?y+e&>B*E{+9-I?t8iYCh};rI-|Vnh zpqC?i@9r+?+9eJa%dan6H=LD6D^^F$zZ$HtXEwr%(08E6#rp;z95 zu7Zn(hG1}OJqk13>Rix#hIv4Dbk{U_O9asr)Kuoa8cQWC4I0ATGwd=@G zPg|kp=Fa3PMs2uAWkcu1m@Agpf!~SG67!oyl&?kcLrRF>zjd8N(TB0liyUCwjgoFd2b{VZ0-(&O%#zI zWwA|yE1xtx{`5lb8v%vpb^o1`pg>zQy80-y(i6qV^qqs^>YItz%a@r0+w@DaF^vnomk;Ym-2pC#IiroZ0Qbb4Hgyk>}) z21nnaVkIZb2C*e0M#5rCn3~+X!hTSB;jdLsw%?&-wK2tqcwvQv%LERQw!Cq~*J`iR zw9A+O`of_;M>nb()MVeCm8_)&=`%2AEW?SRq9%^z_`U4bb(DwDk3_=^2BNbXw*hMa zV+%*BYa;VI*6PMjZmU?~3HpXB8=3DJ8;1UVo_-tW@wtAdLB8%xU$?LeYmEK8>}^{c z9=7AgUe!+q6GusW9O!B4$nApz(4dg1;Y{cgV6i{@y1pSwG_p(dRuC2$SKBwKbUh?` zJ36B3BPb}G)VzLc2E}Y~4%|Oum#O6OdpteJX8e1iQKNv0`Ohc$6K!}J(a=X05Tw{3 zNm3Hs%D_;H+a{y`SxB?1cU&TGQl*Ss0va+nuCFhz7-^ag!SIT?L+;6hJRRKWSMl+M zy)4{Y^_SX{_nzuKYofkrtWN|Y+ej!dmSkkqwBIkEI2p;WY#(A+jSJotb$UC{D@M}a z#df|nH9o!@85=GR%^k8)WYzutr%H2ksjD8`1w|>3E3x&3eRygsSmmDUgICMF3;eSJ zy2GlevS?zi0xqp*fg5J&wS-9QpPs-&M|E{m)J0%n82__8_a<>Qr$ zEQwQ=hg`Mc4i%zT`iq#`eG_5L=`;ME`Tgb?zLU-G>8Wd%8R!XP-lHiD^&}oJm z@N&PoAuKbYoV3xG-|E7?f9#fhpAWJ}HcJA&zpwb`NbN{3H@t<*@Qj)vS<;*?3RnB`FoRl+uS6l>8dF!p{eUpv4I7yKF z1v9}fT~)13me1+aH%i9$s{(62YKkqa< z8neWxeT_y=@H2L*8mj^|2LFd6br75_iZpnSqxq1R#Onky^k!5)5~jnABV=%2P;(2W zk_hl6-`+;HAb=vP#K49gU0-K7ln`K0E1x8UgMxcF4Kh4t*e~FGGE3)mgAN7;wg+@K zmQ+=!qMNz*j$JhdpCY#2zE3i$ZpMv&gM#7>+2ZZ$K43+G3aRwFf9~v2NfGRAs9@Hb zLWR^Owim1oFg?!i5xeQ^AERpu*WHM~K(Sra;u8CAOG0#=g1t9mbnEpQ&(3|@WqifW zRFZ5^)&Y^)4!Qsv=CcHklT1f2C~NG(ggq+4^xZ-zu!ZGMMYIi~C ze@!Jg3pzypB=>dfI9`W!+zFqYCe8GE>D_xkCOI>@t1+^`=j@rLD(4vrxWQ$HRGvU_C&UMat!&GFe?}m zU;{augFqc6rW@NP6cjXEl)?bH;AMh-V7m=W@K($7MVOhcr;#lqq)Kr;u}Hj#7c!vm z{&?|bHt{zWz;tL0y{QYqNS&F0ljt!`d=H_PFsnD5aI)@8)#b#yhP!OqJh99QAWpXf zu5x1})}b}F2KkAkw)N+bpxh@)KY$~S$NJMEzbX4B!uxL}$xdSEWio%%>>nt}?>}kI zU>A4ASik$jME6ogez{7NWoY+nz#$X-OdJD=ctmIqpGr?#MOWUMq7E>ZrE{(SVHJPJ+xnSMnu|g>{z8kHR{mY2B5PMQEeNXM4{f83}+J{M=y?F3MK^nS+q-{#>&C99Tnzz(_Rb73>;xzdoCfSz) zTD$0SH-_3P*zz}wIrv&%?Vnj)h9(JO#Y9Rux*eD{t5u6pJb~3!46hL}l3Ec-QSDs8 z4Q+L-_K|@#n_C28=4tV1XN};$eGA>z4nte5V=mS)g9pTvK&5}xjL#h$D+5y^@B1Ag}N;tNOlJiMol%F?PjT;$3&j1$ zA$J`(lb<#-DRm4U1LEy6dA{9{>{-SL*q2|BufSqt7DdD!hwN zUa8u8Is&MuI_2U-LG~H(T&#qk=^kKY!v%@F0YbbvD*SDD1 zYTl#^ZQ&!RQ_7jD{X_e2tsigeL`H~7RcEhM8dA{wh~P~$U>GabmBV}yi{|q^c%p-3^R|97Ck#S>r81Ac`qv*iL_mC97}L`S`{AD z_2y?nqz8`&>zXW0yY#^E?z_{xKtn@0t99dNlf;yncObBDDwa@M zH_;1|$Y)mF zs&h8C;?KHOYboNhYh3^Bpgs3_k?qP}eOiNiQKgCLZim;!DeRUGX+oo{HM5 zjI>|hP7FfKUh6vyr^HptKQ>_)C$SaJ0;|OVAp;%$$WlgEwHcJsDuE=L;I8CRI^C_w z0TKz@d4;8%*d6|^LNp40iX8$|%s~oV=fokj+i>)?)cmKhrd6iWX2Nf)90Y0Y{$&;} zDdvL4Wqcwl}QK)&e5x6d+DoYqnNBnuf%UeDShYE(!U53Wh)DgYJ78I~_ zsbUsbqSc57GkVl5Nkt#96v)J5^jh07aj>MEk|7DaOOfn$aage}2mQ*rXk(~q`ZF76 zThdsb{W%}R6 z3P{MyJxhKq?_~u~Bj%d(Z*eS>SVZm7m++TMQ`KJ0>P-; z@`cg>m_~+r<3lI@An1?caaD`>qfqmvf6U%5tCR>;G+%Vp<#CIkd#0U-WZyq9UkgK; zs#hh4i2M}!Z?S=cjD55G^HEQC$1nT9NMr;-b2`iI5x~wtybGmdj?xcBwEO_`2JX%b z`v$AsKx1 zR=wMGbyL(U6egx!T;SN`Sf$B;JHKEr)r#_9@q+>p_n~+<^*tX9u}h(8I~O#v$J;8j zw9D1|rqG~m!-)$GQ;e2TPx6(+)nSa+%A#q*)Wp-vc;Mdb2gYtML90SAoG1)h!+CZ3 zoYq{4#>l_XNqw1?4*NW?Y}5chw)?LzI%6G69F!7>I|(( zw%u|`0rs!1=cf;qHM!nTM@RzAK?0>5>lZ<1t=0*-1TH(jQ`&(>ovz2~+tV-l%=IY~ z_|CwZ(uKfhulI$~f42q}GaLVhv9k<{tBKY%&fpp#xVuY$5Zv9}HAomFFu>sM?vUUT z+&wr15AH654sO9O-???_{=HrM-`-W-wXM6?`>c0m#!-;nt^5CMc=s4UO&kd=c+2?5vW98J?5O>+dmI;LUW=)yTJYRFUs}* zEcFv$HOu%=PYx!3zHHsBHJMINDO4ACrP>aKfiZt%DWAg@rF~A`eXcwg=SKIMhv_l29`YI?@cgIQ`Go z7!)T6fbB?2U_P&h~e8-_T=0`b{fCw=;yvsv8$LpWmbwXL(G)9 ze41R^{Ak8JuhYrfois{d&+ivok4=ppJKzltrbVp;b^dND(j(dqn=`y6;(j#6OhnX$o0O#7q-C2nz{PwaQ<>iFO&*>Oa2NT*u{C=wkEbO z)nO*QI;#5CwqX0K-R_=7TS|<#(hLa4tFB(USao}{Z*N}`3$9)y|Mjtw|m6s&-t&%i@3#daf}OH zSy#)qLpA;9g;~06Pu^3t=XUl6UBYiua!>NXmxAo1Q)Zj^7~>P9en7|{ zfDoof$3?cW%aFdfpn!nD8sgW^*6=Bz2^G3h$`}PNS|mKiuTJB=y}jEWv6h7Q*gf?D zc6yv}X828bqFrZruK&G^``b&>$p5u)5`k&L|NcyvnEcMrg5dvJKL%;X;rl?gww&RI z*gwDb@!m^MUG)FQWzgiuUupS#-$_nEr7TiRDmUDWm#yA3hwEW0j06?yM%pxT`29G; z2m<0LU6hk`q><3Oz%(R%g)%+15AOg?Fyri;Sxlc-x8fc=JMsGU2M6@xvN^P31AfDK zXSl%@h$R9Y82-zo3qrl2mrI^_i3a;Z)Zhxn17jPT=|zX_w{G5g7$k&733}b(4@&qg zYEJ{^DKLx&Ng;XZvWdpsaxf_}W$V9ER=~1cW*wJ&1^U0B*9d*ExPkZJw;>J)VFM!k zlZJ={OiZ$r$l-@t?^w%Xbto@$aoR=~JH-Ob{@rk(bArVEZy)6F7i&UgWwsil(Y@=z zCB-vNnuOuqmgrM^-;?7t*Gs5Ia=Kg^U4VUk(3*Edl(Zdc__VPI&aa+dR=8uj993>q za$Fe3cKI>cvE*cD@gs1N)ZU#vWee5w$voF%gFK2DDwO(v(xWf9j*2yE& zP-E_@Xxg~HA3^Ct_t2B*)d5rp(NXAF17Cmy z(jf0fctGP=+1j5SrIOSt=3n^^NGseUb-|hpKCpzCr|$h`V@@TD`|Lh`CRAR*dGhEI zfQ+>WNsUu-1po?WDYU?`?$7)!tywT75R}_5G}27zi<2|7Add%! zvE>FQKWDqs&gB@UkdK0#8w^9%HH`INLeK3L?ua=Ns46K(VEx-_6Xbzx#dAs9$Qwtx zFv5c5gU*2NRm0o*;=PThi*=99m&U0%N`)9Km47}|HHOa7q=91I8`jRoA~bS2X0=9o z<3*n)OH&HY5OaMY6FT7bP3s?uX0r`o4$^~5yuU@HkcKaRw^k4;`VyFyF5l!)#C7NP89SwQgYA72`%`|f$MNgj|S7#K$_Qb z{j(1eFCub#FX~GYbZK_ZNtTHknIorn*N%uAcqUTgNvmYsq|`3~AR4TdW#ft$rIIEx8N-K{w_nlAEsGq?G6qYU^1e+kR|g&bFSJ7M*J zfC(Q2E$H{NieDXMz?9*RVIZZXGO4%VJ{M0wg2}SkADyr$cD!-MZVcv`(sD3xclWcr z%q5799>k2Yc#$lW&Gma->dhJP6P2$=mpCf&xV6bzCDmi zCVTrk-6C;fQdRDuP;(+(T~_YVTw)fv=ex>OrP`O%Wnnk;$684A$W2aibUlqhXP840 zu;)1t<&c1*fL4Mj1oaU zs=x_VTw_B&y25z{zQGiXh+dDhTzx$~zk9;W&<_AA%5qZxspw~4=-%`+r>y*!F$-0x zuHgRU{cIqi`VT1=TuEZym?x|BNxU8d_c^#*aOun;(f&^sEf{f`7WGk%iApEOs$X); z5;*vge=IeT-_c;t9oV~(pN=g$j5R+Ly%U+|cFm_`TcQCf39TfOS-c_M)+6T_TUAKk z0>OovKsSup6@9UN0qsc1DTp~1pNJq^~<7Ji{*VStn95kZND+H=U*hR86loN%lKK- z7mo5CV_XaP6L$ZBA7Mbb340D(K1{o{DK5*3LRmkOZEmcdW-G>xYvV}zeyN7V!t zWbe*4aYnf{@3mK}mTNpl{5urEqV~x5@F(udq3x<~$T0Qs_X*$#O<5{K&0h?P zg7$;WpF$9gl=N&byUXOaOsUCaP1USLk^g6eais<$Ww+0%U|Alv6CK&|e2~x}L;_4x zm4H2ng$AaFm=w#k&?0|9zhykDeCqid#(5e`hbI>A($J(?L%6WWM78A4ieCAxLQT%C zU1*fQ3Amb;E9c=Nh9Vi1IMGVLxI{N1o>>R~@t(tGRgF25K9QdW-jeg|uj$Y3@`_s- zS>0R18a__SLd|h}_S_9-H}lCYv6ifW3T?qd3>o+@%DA;;qgPU}X~4{KyUaT|PgYsp z)e?h|#)wKBa-u*cRdbumb{~k!gH34$o6&<0%O=uBuXu4gY-)7#vz}UB*=FGTWXurN zVA5!(O>&gVmUh5U!XSh77>rY?<79JD$}KVe%1ew--{on!Xfig0Kh`dXwHA{}BU zkNSuh({~Sn&)0S+(M@6T|D*8$Ll`mj{^YcT|2wkS1|E8ILP52*@D1!>#ra1eJD~$%Ul$%HJC83jH z?C1NHI!cw~iVun@M!x18vdfVu7k(+5e@oD9qR;McF)(ku?0%P(&mUu6eVCf~MvL0* zIaI0BcK!p9$l9dwNl^Sa-qQD>Z>O#&krjw zsMXysgpH)XgFwX`=2wb~q<5`op(|Q(rZ-_r#ggf zKjH*hXH3NU0ACgzs(I#f5;@O@@*(f8AX@|5Ch`PQq<`-FA#3to&7XqBn|5o@+bsz3+BB%xr^y&cO;aZvwcjt!89jegX=qW8Sl zx04z=(sf{TS&QuG$UAziJQ&r`|FQ@XC2z0=Q5L$qCUda+fbwku@8E@C%;bo1f+TBx z9DY1WJ%6hthA5a@MtdmZh}2LPlIg@~S`8r-XU%BEIMmeLRBMhZtk5SRCgR_k2|NxhyNV>{fNjD1b0MEsi!)0SWJVrFg$WcTj}2K$?v4q*j{5v zN5-uDkD!EhYqt~|^Vf0c%G&;o|AYLSR)|wh&76Xwv17_tS#U5gr;}$72?nj66)gxB zfd-U7?z1Vf>+lBb!d-l|fm^+9>vU^QpK4CN-zNl`Qap99v(HUX*tk{c^roF3Yk$-q z7>V0UT_Z<7$}ljVM)wtx?&TJ;uMqGD0gq;`65pn% zQOFagh`g30yRY^v!`$)GnXwOYjya9<>p7|Q{ZQlE))I^GR1aJ%YBO4Vg_UC&jp+OUW`@&KVRP&q&=#$;SzVEhI?tcTFgPw*R-polq$o$3+?OlDH z`)P`ypSI@TBT59lT-&t332Fp3{4@@C85dpd_m)DJ0b~u@k#gzG#kDNi@_m3;^P~|> zHxx;~zX7R`Uxw0fAM(x^-df$s{L-#(qeDfDY?4YO>PuK6mPxs&sv!G=*) z$KT(PLf!E=eN3YX^CZ<;eguCa_;+Z|yw_((I)r01P*+r5%rj_DV<84pM?7J0wyT+W z8}zutlURqtA39fFymFjX5LK{5@m-$P|2w@9C#51At)`$*$jA&;&<9~)jnH8W|Mpqx zv<1wVEuYZOID3-Q?AKc3?~B7FNo4~ziAvwUHICNn5q8?pcDDmSupU8MdQq(&45KwS{iJ6G6|u!T?#X%HaU$uT^gPY4#wkvdOn z`RXKQKp?@*IH-1S?5E(+QhtPi5Ggf89rVpZh4N#Zl^uc>Z?W1rqoXuzNtObw4Lf_| z9%1OAdhTXFNOvJQ`&I*kGDtCHM?CP2+Z{`fo-!>x zv!kI1X-rJ0bUa(GnO>4Lw%Yu>L}w@4rkZBtMCSE(j!QJ2yuN*vSk1YKp+%XKt_Qz&|aoa%c-%Q9>!kSSe}EO?(>J# zr)@E_qV&OAtu`ZL1r`~#n_F39>M^5arzf5mm5z0L-g%jPZI;PWDntU6s4oqUgk+?5 z0^V!vE0l~9T)Y!5wEZ*q?W=xxFr4+BC$5`3Gr$UCxo_q%-kxG0MSM6KUWVGBkev)n zvk58mD$JEZRl@defz#KsH(bxVyh#S?bqltR#9vyh(SqaAb$KBTd$&(yhmM_fP24RP zmzfpU(JU2_Y>PJ(cgo(#)H0L8lSsA+CdS?Wj=EpgC;30{c{qsh#fT|XEwK~a4#to3 zC=xQo&?Kzd|LM!OtG{pSe(bec;^@0jp@RaY?V6%VJ#qZ5Nvjtd}7SA>h>-L}BFBj3gPAxoY`LVya zrLY0Vix&QNUYaP-_-?*n`GY;}3l^2n+R?1j>;9nNN?(Rgj7vgqXMk+=K-fdFU&$PO z1LafKq%^Gn{BXMEEIY)(e{0O7)AHOY>K5$MzX?+=k~a=;J*Fe zwr9`a%%MA4k$7I6>wdrL>$d5VCC4>#+z=DSoQC4p%_k^tqXennStiZf(LE*_f=zZM z8JCcZkoVF0<`3}oZV_<7$%J=RMDP8%xM%VC9_bQ2O_%b96}Fsp?6Q*j1NXK@x*uWL zfUASX5RZId7s4)!#AHLvA-!5(+GJ}#f@AM#TzNTC?YpB)W^Cr=+3LUI;N+-)zF9X{5hd{ERzu8SoSaBS142X0 zV5K{TlF{FYP`CQ zOIUrgDV=5$Iql=rAafOYBhxvW+Px+R%$v9}E8Gf}b025O(pJN4uUrC;^M-9TZgk|{ z_)aN%&WaD{3wv*)qx`wSST-eN7({QK6X;IAN}oW8jljqoKf@}W-_j!7tDjL~3)dlg zFidiljEcEQzxe@wIjT6FyvZtX?9=tkN)OKuuY0dx`py4uRISiI9}jS*{|(PGdeyvGeh^k4G9 zP?!~xUc~Y-?}=gd&vNEEUza16hn|p1n+6So){M!m41s;n7cZ|$UeKizq5xXQi&6newp5VAY0)b*e5FNUXhuu~pGTGDiT#m_R(@AEYV0KE0gXzPrUk~Txpv2_W0IJE z!qkYHa!9pgZGf>zRt9ih!KQ*M8j^`u0_xx2&;#qYIR8m~FK$R598SBF6{U>ozhT*A zQwRH%tTPe`qgRKkQ;}0zc`k18BJRP#+4D4Ok$2HaII%yuw>E+%&ECEI7Hn6%VrTxk z5m>v)Vw~cv;^3gdJWy_~@T~bcC%n1r_z5-AeI{*}P#XMn3kXa6K{;)UQ$5LM zRQ+2;%gx5(dCHdc(0!H>E_2<6ucdk6S0<369BS=7=mX83~@|3{*W1G4CP;&59IJ1xmRLYU^1 z_8yV$y+G*iKoEep^NRblmG)vSpfhc5dZFALO}`IEqP525 zzZzNId`*5jY(X}8nGNnu4EF2rz@2jI)Gwcljy}a?PDVx!GLH{9y$a#aM^@o&C2UTu zbsQ|5A8d3p>?*Et-G({2#RfE-`h;@9F);E623s8OkccK@c5`1G=c*tMVfxZ_TaTF@ zyD5o!?Z4EE|1S$r|3?1+8fKjs?d?q-@{IsIdGf!g6^^Nh2P&<+acD?ISO%2RO**!mp^x^f=VR72EOMoJ@I z;FsUbLFCLgwlKrwDDj_vuiV;z9D||R#K+fiJLy;IG3ElecKub+gp&{Hy2SpMrtxq8 z?n{tpp;^x=RY@i$RoW;KqU@2|2@yO4>p=q)U)fBN!#80!#X4+7Jx;YMT|afZf>`F& zzL3jVK-c7+Y5*bi2yEca7(Dt!_!G)WjKXH?$){N;I zgznjhw9TvIzsqXt7dgw>g#s)Ok62{7W~iWOU{0;%H^Vj=zsoBfzx)E(=NU6OYL87? z82}MpP-k#Br%5msd=RV{)P2hrMv?$dABGS`=BlmLc$c#!Ibberfw`)(WJ7QfRY8UW ze%kbN9#_zwu!#(|+3>~f0CHT{m(OdnEI6!4N>vW!gRbl?zcpBRy@nwSAH%39p<|t2 zhzfD&u_=m7d*Qb?u%r6~(95d8UXW-jYVCoc;IqU)m|edR=?xmoG5)#c751uXx=rE5 zD;F>ayt-))j!e>TsHGHan6i^<<@qoRO}}qvwc`VLQ7a1an@w~RAW;p|TaWH1`O0QQ zqWAan`v-72(GcCkiP5xbzo!wo{5`j-7)RO1q;w0U7|2LUXGUc0B6IU->%=IA7aop; z^>Qdx6An|d?j>K57Dd9sQZ}J1xrl;p?hHWEk>vxR_nryCT%8~gm6W*~-ui$I{YEt& z4lsz%8nt73)!~{TvjszAo|3R(U%o8){|jdT`|^G}HrCd3fb8s#+S^-dF7m^B@n#Z!+Vk-!fAx-p`N^<0}t><=xR3U(SlS)a?PE$!GcrXZXsUrc~^ z8iYvYhba+Q>^RoKV+G_30!=W#>*-LQ|CW;dcP%Zfty(G^ zkQHZCs|};h6cORqmHS-3vor!k z)p4ZWme7Cqsy8{L7;E&K8VWK(*V!#1p7;GcRyRu(92B3w%;DjvJv*>-0Fif^6-FSl zP9~jT$g@4joJV_iHuvY#ypAB3*VSq`CWX+#`PDW+B{8FeBFeYM|L~owIg9wkTW^^A zwjZ3y(qMQxYV#?#$4+@%uaVgmldsn-=tJGOSeoBA^QJK?JMY+Api|Z`zjN0>5^D{}jrH^&CrnIJ(f6QX0qrS? zci6eMg;GG?NX?xeIXTgv!JH|;Tl$;V&6B@c_oa78pjwwd=P?}>syK?O+m(=i^*fk^ zg2D>hpMalDy#L!@@Ohm=YjrV*n=y(TT~b>+N(7OMz=O z3Vd&hl;mCH?rXyBBMRZoISit_BC;? zv98>w;37*_8L&-Wsf^3g=J{?*%#ZiiN2$-~DR$SU%NAc*J@=3&`P^T!e8}LC=n=ry zrkv0M?4TY3Jv1yRP;-Hk>_ZvgVphsDuY$N>~;rqe)QH75WI<{MT zm;ENc?U^4S=;PM~vin^+9kvd%`b+{oyaMRT>$iMFqiVujzZmZ3vu&eFk>mb(eEiH` z*c5F~Bjf>@nXkAu9OnEOp`vtihnkgWSlP1yH^@V~51}}|F$a`N8(g8WO5zO%^IwPo zWY96mP%uyLs8cQni5Ll9j+OC8)L+7VU$A`Y7nyPN7QKIc7JxeTkherXk$Hc;sbi1xni5Y&{&b1uqfSr;B*-0>YHNF5>weu|e?;b)8WY_r4X1rK5@L7S|EgMX)ynsov};o;NhknEgp)u_ zYUKkxLd;5k)lcX+zV{EH$6M{`&f=+rhjS}ooUzX{j3%N%q0uke6-wQhVI`4nC#5(k5vEa*n!LO; z{cjE@#d9eW1HHGAG?6K?&?=;l;_vqh1Xy~68~Zvnxze$t3d6`^iS~_h&h)<)v_#3i z=G}&XR>snUl>Q9_5Ol{9nTV{RF0&O3Ipv>pq)i5;lRJwuENtpu1C^9Wy>FW?sj_-& zv^jmv05UyH1U-P-C&9C(p(qsbDh2zOhTJZfhif!@S^04jg&KB?2(mbY037nH$A#R^ z{rgCwWEYya!=jTI-PTq3c%{z|w zSm?7!>9|&AgmU%aaE&dTlohG^*@91J-Yg@rsaD)|85NCrEq<9xaz9AFyjEEz`(mnJBE);u|EFxY-boXNxQ6+y|3P}`_)$%#Yt*1AfdFHZr^IGpV zQcH8`JM#G-V`y`I?z4aPKOEtOm;h+{ok)CV5|QGJ-Tvo%YoO(OJodi^-1>hoq8Bmd zDq9vCUx#*eN>;U=-bE`DzH9wh7ZAn@lnP`>KFxr+4HZV0e8sfC5MiIwX)_$tR_elt zHs?Rx?<%>Y!ZbB!D%qH@TA7GD!t(Y^9K4@&ek9wiBqXC8hQc+q-V8o?_}|_2X_QyO zPn6w0H^IY9IaFQkx2baYK8_ew&*(ruF+YWY?B44-{UuDV{_RDV&g#*1HtP~VS!ma& zsXJ-HzJGD;J7}t#oEr%6<5B8NHS>m%JtR-Q)abe~5ymj;k1Y~7( z)IT1{qPbV^U{a&^=U+HROE;-Q=TI}tbsVy3Lkj@t=sgka(}X*AKWIRycJA&?$&+ag zx6QEPC3boxVKYD@0D@7YZc$z*dTos=)z7iw??_>WjKKR0DVKoDB-#*PP|N6gw`H-3 z?c&&A+J*-D(z`6V0DF7~4obw1rRs2J4lySxR>wcc(_-Iz8D#RYDmpKQH_ur+fdt)v z+6N95$6n`;+ezu=Eu~ z4B6KcYG@Fm(fr~Ekk@X2*0tEUe*}=&4PqxeM23Q;A;s|9c~XVmRaR_MRC(4dGlM?U zVkiMCY?J0G2t*tmA+@Rj+v{CcX8H=9Q}$ZXY*mF>5!N3GDh+?}A7X_C)55K*dQZLU zMas%dH6}`5uS0Wm_W(5NbCxa91{E5LCO=J?{koR6=#s2a6!`>tXFWpVEYV|ELz~a; zOw5=POjH=ss*Q}!BoZu$+h-&`@{?qfe>}Vd;76TZG7uraV!+)tU4Qkv-FyvyI2E<* zzGnN&GUnm=yM12C?&a!XaNphpM=ELnN0IMYxW6+T@+-!50LUG!~&f8iwJw27@$;I13#OtkubZRv>C();Q zo38r1%hKG^x2JBt*OKt(m+64?-;j_do3eJ7qhpQR9dI_GeApk>`IO(=UHwL^O5Fc| zVX%6}d8x@P*WVi=*%8XZs#%nc(Cg}sMtUPQrO$mA^H!MWKXFX5YX7ZiMmTEsnZ|<( zjsNMxm+a|S`t+1pn40W>_FZ@JGj>r{dvznHNRLb@0}_p2z{ml+${$Zv%At# zR{KGshzRn;mGAv1wh7BiM(wVUKBe?M)*xCn0F^Ppho3}|Pn~^dFG#SQhJ#f%f3D`; zD%8#`!t#mr#%Qrfg(RNfa52xlI{+}8x6Rd`+RICb7y8{v*T@iPTx38U^IgvOJL79R zqn|lhP2ILWwuOVd;7B_a)%Qn7Ego;2HadR4zWQw7_E$3S@@+*v!52gmg1X!8(W@j1 zT5ncECGL)=&V@z2ZbC=I=9D)dxKqsJ{_frz41ysu4`|Cquta7z1B#T~e|bFhT2DFw z0jYu>V8}SKlaag$n{664O6W^6yh!>GO(eeJ+0k|j2D&&SL)*)=9+POgGA;WzCd3K& z-$SOHha-`U;@ckU{Ie`#W8H7l9q&Gp=5@vJ8iyaVP!VYS;){(eaRf; zYR2z4O)vM*b%c}4 zVVTzHF5d5UY>5aZAILuEc|CnpUjssY78NyrbSAw%w>X)q_%)j}h1Bk0sbF|^igeS~ zkv56mjbX?1y+<4>r@I8cTf6(>W$1XCN!;FW6|fA|7B z29LYxd9;u4?JgSYV8+SGJ)^61XSWL;S@=E88L~qc=80=F&CM&R&HB!lCyALu)kWa- zdbrEmZZlQ=JB`jbRGt}mKRt{Gd>x`Gpp}h$%`+W=ObqOdw?%&^Kxq1CdRQj2#v(TL z*FnVWD6N{7-OuGQUDV&d3EVWsA8_(2kW0PdsuPK@C8p(b=e8MOfREMUc7*) zIF!AMU6pgAFkMs?!tpn!W?TzSP0KCZ!hIfF(Cofy12(Ve+WvCqYp(B&sQ)WL2=?m| z4528|_lG|5bX5W-^e&2y2+bg;izVAtpVwKeeTQfYzdEViB`LYu4zY7#JhLORrr*u= zyl>Z7>7^z_4`ZTW^KnIak1zddLG+%vixmT(AuStv4|~CrN&w<-nO(b^@k6_5xht1P zh^+7#2H@@EgSV>&&5C&}w16XD`w##rj_<446l4cspDO#yCcK$=!txPuJ0@cmWrS?3 zoTN+ER;P&*f3?OERj!Czq+d*<9s}^T9=PI3iX4!Xtd}K<_DOt1wQ3j3Hhas zm>`Om61=r8v7+h^B0AiJ>^W7H?oWBY=7g}FvSDOR;yFS$an z>+N#c|gRqg)f9#57 zcJrwZ6QQ~61nCOK_=AtgvL(5GevfLCRyFCg`dKT!$$M0Gkd{#v!g2|JL-LQ#$-UvH zcU`9&(5$MPo4vBTimgIes=bTjowmG*llK4H5K&_oMzzj@Y#qqL4p_YT8*@4Z3 zO-rS=ZZ&P%n@ipA=_xr4BJym3%ejVGWN#!IZt;3nuXLu-!clv;PVkYBi?3p)pZ%|v z#qj=%Le?72EKA`;N)$PR$oBUTFE5SZw={dl*&UA`(b)>pHPz$aSYLK61l2X2gGfj} zcGLUQ?o$EM@*|$~*jM`_3DztpNh@&QeHnejj#l=q5c*ua?imA(xiG5gLB$&E+7Ofl zGNJ^>uL3tyJpv)MKvSYna~6_S+)jjrusKXEm9kp}ZA5%jE+HazG`Pow`OHiYzf@C2 zF-8n^__K>TJcc+j@)L~jwD0v5T}6}Cvz^+FrJRF$Q1HtW33d|KMf{1Jbkt#pV^x}# z`NoBIxnU7L{*>YB;B4qhU8}ty4xwTsjU6m0p+^P_Ps3dA{naTW9IYVa5&4aJ|DXp| zhZdAI8!RtZRmC>gz5dg?7z~~!U##j7;}1+k58GuN9{X~1{peFq;h=-F&Z=cN5!bF+ zp^q07V<3{5`Cw6~C*P}u%x#@UMoLUdLU9`FRrK@E?JjHp$h@KzOjr28I8H%;66h0B zxcoH6*q=`uXeEyo=h^8xw#aL*Anl}`Ri2*#)7~$VX)t6s?sguc zvjus1Uk%L zCEVcaor4aKPBVY}I6S|U+GA)_bYv2%sjPXg8Qk`f1YO44H(mhLonji;o}mkR@?C^1 z9-kUqS6{8pOMvc1!JivY)G?NNTq;ZXMFa)8rcNR~50M{zf(WSbk`rCweP3c{h&vL> zH1V4x^?H5bl?qc0CmHy8z&+B#T#=qd#ZPz2LsvwoYajb0Ey%lDwC55GN{gE8mFJU2 z$k5ZvcyCo)9DH|Y=Bt2(Y%Yz=w;cs|G?MT%@KiWnwR6$J5S`ceLSXa9fBrA8{slkk zc89UZ;hk3pIj<9A+v0N{#c%vzD(#s3@#FXegNl=N?A;G(<|f%!3s#e7zPy^L{NWeZ zf?^W)klk_+#!NR0>R{T5x)^6xcHcuOD9g@$x0!8+j6F#u)_{Ns~ zGz{@~C^6>tY|?xfmf=`x4iBS!42G#I|3jmz${b#ZsX=1_q!W}_yA~31aTk~a60d}k z%+)EPzq6E6SEh2{GQ^nh(MDQo@Y5BhE=O`A{Y0A`*34QA%1b{n`Lnv-v?YphhS7wT zxO=?LpabT3NJj4c+>15&O#P1JSdaVF22Qr&{Q`YvI_6+t#-N{WWb|jXuU*LAC4Gkx z_ZdPA3SVCG6yna9uL3$xdy|Ld(-X}<|B?yPg-)cJjR{GHnX0%An%MkRF5@^ zDB%xqCTc<*8HQt@$feO>(u!L!n({xk14XK{Rk&_I^wA3>Ig*-|vRDH|m6ouw5k#yKx$h541OST3(Uo*@{RVFP+V5wns zllyGDW3MgaPq1r#g36u}!FGr^#W9XCCz*$$t60gAF%1s|8H|#deVTQ~mO2te0Al!6?nLGZ>jc_Gyis7=J7ltjKj<8~u(Xnsn+h zre0^{;w`~)uwRG-VLVx>6O4F=I*V|xlBlOyuL#Y=LkReUN(}xsMl|BY-C-%mgbCIc z{tu`R9J@h4nmQT$whcWf^Fc(##7Zcz6^j_-2)BR@q&gp(cW2;KpiCJ$xF#b8<)_^Z zLaM&i*{unZJv_psRey4A(l9S%XR-BRJv+Uu?`Zi8)U_|J!aumhA{XT5-olEIYgn%S z^ts*I>2N(}!%mC;D_WZtW)dKd;+6_1E_3t?3VJXGx!oiae4T7^Q`8K&T^gsJD_>B^ zmRGsMBp2r9KE#T$tyr#J@JQNpod0xy)@FqXAYzDlG}Cu3bW;L#ya1zq=U$AiigAXx z$^$nC0u1x2GTUx!R{rvOrxaP6EkEdjsBt}&`e$tI6!_)~6xFQEJU!i}R4tU19eG#6 z$~VC!X-GE)pE5;X?AllQ;DUVxIP@6zQNY1C6sovbIB}3A>1>;(Oq1muPd^{91vF2T zsJHx9=F_Iy&1xsHK}Am2jU81}6omja#_eMael#aQlucf|J0Q^;IQCVR70@U&@wj57 zShX`r3e6=2VBcTy=%r~-q&tL`i{cWCatnN>bD@?iVTRZb!L)3uPZ%*@j$~sL_WPfB zpCxQfyVBy&hM>gLw&_C?`$D@g-_s9Pmm7P(&A@ML^!A!iC^u>~X*k+D-s&8cz%gY` zNNuN|8>FJ%uj7eF6{jiCGswN*bx)iSoBJ! z*-Nuiv*anZI%S_agK{_N21iQN%OLzbNvrR^AK#z>i@UN>#o(@`nekN&$rb~JpF-N~ zUw`3Ewm(XUSpV#$)e?ZF`Ix}c_{r9#G=D$mvU%iVx&21X)?Rd3xNC|0dxKJ=oYyt9 z#AZ!|P}d$Z_kg7s%67b@S^Zk8D$kh_fGTTL;BP4M?94WxKfTV6^Oe@d4#<+q%;Ie) zAbzK;+wxLSk^n*KgAeX>;g4LvFV+DbuNyKH_CO`p=SCGCzB<7bk9GUd!r(|1pc(-^ zRNtq;x!-pFOVZve-NM%`#>5?0TWARIa6iHF`nh~+!AB@#_2UVx)>%oih-tZMgJ z>PKnQOvO#lNUSpww2YCsf%;ilEbb>&)rh{3IYgPEZ@|jZ=(o?Z5V!lAy|>8?Z^SnD zV!NP4Z!9d@0E8LCibvJw|78Kd3>wv1G9?vS#`Eji!p1^8!XH-E*Kr!~8gQ;_ojO&8 z>Nq;;rr!@95jT7lH06*w2=JP>W`(VHKWQKL~ls;H<^$FG-xKEV6+ z`=tNtcfacw@zK!h?5r__f1VmRMC2)7#k&nTS7SkTvzDCnTnvXL@mhKV>_Xtlz=Vj7g! z@sKQn=Nae78Tg^y(tb6ZXntEoI_O{a82zqR?rU+UCZ-X4ax1dtqUzq zdKM5yGcU44A8Z{5t;Rn|a?Ur5UN zpavCa(4Fw^!?xx^AU@iOsB!9M4TG$O4lq zsS3FAsUMfsx4U@vV|7(p^Uprw-h3rFb4FB2rF9maah=i=FhB2d!-|TfIhEm4_Mp~6 zoQRN;h4EMGkw*Rh1MNT(zn|0}lX#j#cVmIU&d}6)GrvjlXkaibNj!sr;#AYJnyt2` z8#k+{S}n}J@ymK)Y5J=N($gWVvI%!v7>a~^Y+p#EA1x9_vAi#yWC<85u4rmgwV~Vm zNuRAYhxD2EIQ_ASq4NGy=vWV zw7Rxq-4Ne3oz_}5zx9Kaz@=7VI>9QCH+Q+yhInx(DJ#722;vhoEk)xzM>_Z{H1b?#4-=f`2gHC5AcY!`S?dOR(S+25R9nprtA`b;ntQ=sO2t2*1& zF^(Ng#e4$$DbOjwfP@S}5Cnl9;b|a?plxfW0|#+3#4`kiBRl_?XR3C$lE=7BHhzlW z6$a`CBRpS*?WS#Mh7CF3KI1}=RnKK-fA*VhlllD@zi@N}Me3Qn+E}q%*)OO10z5^0 z8nc8z2nJu9rN@%EuU6}YwGB?$mx=`hKkAjFeu}EOP_?P6nsx0nuC42pg=~J~47`t$ zlg~v(Xtl96Gt*RQl;5w&*IZtYbPPpFhLU4GY9?VVq1{TOZOc3g-J7V;Xjkg%XBU=M zPS2Lq?uX<2Scs2IPoDg8DkvuIEJC~mj%(X$$?TR~zK@o9`aY}{w&v-@GK{Zq{YNQD zp_r~OB*{h8)f}^9*xn7L>ozNMue_UCt3G}B*}=5JnUzYbHq$j_kxwNfGWV%)nDw*{ zCSZixUBT%Ou_P1tmqnJk2rNhUHq<#n;v9>}zK>mJ6p2Jlmi4 z^LDM;s$J=rqR5Z*M`Vt96!8&^B*l=#U~y-S(h7Ce5;+Wds3i(R5KuNywum5)RKxNS zn&oO`D`+RBN~9-+%Y&W{r4&U2gnK?g45nB$5wk7hPL()j|`3w|r@f zRYaWZ$^l97VQ|Mb8=7gGHU#02Yjw0{e*WCz>iqWMe;XQ@jIgb9^+tJFGsgvHG!^j) zV2$1e&vn4%%tJf~#!%$JDjGddaNi3t+-(1^Ne-y~T+0O&z96l{aX>`imV*Mw0EEHv z+=)uca}3=!YzXmTM1UcQ`-Vk5L$%t)3c-{l388q2ay5U1~Y5= z#_Qh&@lLOItiElQJTNh~>sX%ST$>`tx$P{~d%%4r>E>s7t!gX3QeaL%{+Pncki&{` zlC&MKQrB8ta8-sO*D*S^jk&F@>=L~{9ZV1UncUUJ*{h4q&IG3HmnFZSLvIQN0oRA) z*p3a7gIq8q1nmL2_n=UMMuebDI5B$z(HhORZBYnx?p{79} zABUd%x|cl8vFv^9qUXA{-KjfT9b!`?&w$jboj5+tj;rSCD3(!D4lRiU)m4ImB%+>b zo2{dSqpB!f54Rhrc$!+KKUhm#?R1$ObCN(Unt*r^|E zTLdXuU?JYh%?`c`+pgofHso5!^(EC?bhj<39v*Y~BK*4<@a0!sHlGX#{b zQErqs%0dK{V+t!n0weU3M9Fpw)oxq+Q0XkKRav{TnQt!g$CXfe)Q``o)%E!`)tDsY zNuQ)BY>(0S#?N{lm?6jMCH?lS3yNSEdgm1FYP$%Qs%^1?a_ISQO<~elkfbr>p7jYm zAFGm@3=Ty4{SR71Xm#7|!a9s&p{W$_7cm&YX%?q3#LgI`zv=p|{FqgY80WJitoaeJkleX{x5_YO8yj zM;HdjF{qf&W!5%|cBaJ@>nvMCNT=sJ{^(;U0b>NuQZy*?y~kM+obJF1z4rG9sb$bw z)mCwxk^_D+MsqZdbqH3#a0@n;I_+GkWk@J4I-T0`d->c-Y5bXBYBZ@ZWTjbHTkA9% z7>0!WTr4C|#P#*&S&(a#GTZrFq1kmzh+w6FFW`$t6qdyAmw4`YuH9~RyIuXZ5)lN2 zVAv^SGTHUb5}9LrvxI9XP=gy%0(Bs9lH?hRxc_0&f;_EWgx2S{#33ps;|zhfVO+p5 zsB7g4m0GjyKpx_@I<3MxZ{}9Aol{Ro$Hx6E)@)Q8D=V5V2~vMTl6e7xKRSN6re|x_ ze6Cz5)HO$QFoKn3pD!8-@-$$ByvK_}UrDETtIn);k1w^Y<+uBfTRS1UsGLwwTx6zS*_~Y%Wrq)Xa zYolyD0Ky^FvBjIpJ za;mlMO|@EuJjf?8ASiLG_&`ZZ+xbeX)X-o`panS+jrb&ir_j4+x&b?mpa@E$ub7e&>X`f2u}9-{n0SU&AE;IV^`b7USWbmvHW2A zlrKK=Oo|mq6!=)~3UHQjQIbI^W(QK!+hBCndS(Mb;)(H?;NwsPAsLQjX~e6WM!DJ5 zySnb#+UEM^<@3v(;Im5da4_U!I!pQO%|^B9B9bIZi7?M!XFUOQO}5_Ybn4A^Ex%FC zuUCjcS4{CNd4IbIf}P!ZA+tQY)^%L{W`l=7Cg@&1c%Lt`Er|e4JZ}CN z8^HMRSSrvT+0m^IBM|IDp60rm{Q&J|x{Ychx4{bGNF>B?6owHLFA^jS*#%8+)H}Ap zSejc~m|b4TG?0-m_=bl=JkeaQ6Y|o7fij>uIzMkF8RvU$y+R<#o z_K<8guLKK?bYIw)33Awl*DmT;s{iCDisi6bUaV5 zXR4XGm5f%?#8c_;XoA75?Ml7Akkze-5E_WfBFmuHESLv)VJgK|W^JR=$kbJ*m$l@1 znNrbLtPb@>0_i>hN5Qe>E&%6k;CFC6=)S~=7{!b6{o~<@frB5PTNu>G*_3`ug-3n z(Px#^zK~BKiz}JUwN|YIVLnBY;vtTqKis}N*Ya!~lzBAOT5hdc&R2**Qb|fY^?-KK z?9|)k&DFe`t95T9>I8OC+ge(#Zs)9-s~n4$$(~)jc^|?EGB!9CiuL(u_`bndYHK!BgmF4wEQBMGf&RD*K6~d)4aBK{afE8;GlT0UFqy57x49|VJ3v%N91l-t^DI+rVLiz+fK4&Rbji;@T*_6I}bsep*xubqOc zLr$&Sz&0zsL4*l%7=e)lPD(ruJ9e?uP&>Nq*miBRoLOATSRU_xZX}$JB9NXb*BZ-3 z6G}><6v$?vKTNal#r{kAW@de(+RQiG*OhLwTny(cL&=yg6%&w~(rtFRT?9Z7graGN z|2A!Lc?*p|GuN~OvtLQUU=sxfBlaenvuWt2mr&7(W-W<6?6VA_r3Y^BnDLJ)~yka z9wXCF|M|=N;$aDfcjDHEJj1iHjwu_KW#2DByIpNm*0;p|V|+s57#zcJPLwH*gJIZl zVZ(tOqg+?FesTfMwgO*29y>5BQ@E32iy>$2x>6A z$nYYHVvYxy4q_WMOD(){)%@)R-^<^Lo}Bc{99&+mWmi`lO$-)}iBc>iV)XS4eAiH| z=H~3Bt8c!0d46$atJF}Aerxi0a4hLWA57d%X+3-S*FXNv+;1;!-TD_8)ZRGSX3=b^ z?l1oF+`F&b#)1yOit=;c{4S&h<#xRqp$Bd?eco&{Eud;^m%=F zUoti|NR-zutuCH_-R(uX9%Q&4gd#MBgMLo;g4@-bTW5dq z!?%9({+8vmZ&f-7WUJ>it!vHwfM8yIgF-R*R;8m9r2m7N{;VVL|K zvWqYbV;BZ_$S@qkA7kNsk6o#$Z!hcaFg(!5OB?|s4#@~CFLM~)vMsgMDsI;{w`b}d z6b_BYqS2usMY)}d+RUt%>m7`UjEcTcfI)6LB*GAkq8LF^6b9*#mTR_Kg|?;L^PYQ) ztbi$+=H)=JN2YT7R}2#FBDzNUO(v+&C=V9ct>5=cgv8LGuls!i@(6?wFi7*>dEWz6 zpN+DfSvKf?TnVu>g`p5Z@iNEo9D=%rUa!}3wRx(ssloysjtxZpaT&wCPNQ1eST1$F zBoiHxB}t}0yvMb=u9n?cTYc^A`J*FG$0L1V&LRa@4Rb5on@g8Y`$THT6+z}{0>l;WGe?fzwyIkO z4q1s5AqXsrU=WGZtP+;kifNUb?Ml8{-ng(@U0C-5C;C!T13r;Ox}|10Q)^VqwmU7c z1988=Ugy~J9LVifvYVIQJ!1=_%&~|R6k-&i%lK8TdinfC&L=gE{VWCiYIhkB2=9RV zJvi{*&jao{mep-_G`*#R8{DkkIO>7LSgUAJ4Px7AYHGVa3Tcy}N;g|m_*`-4IKjv?!wt91VKf~RL>7k;mtsYR6K{xL*sP20Y{MXs@K`(=8VFF7 z+um+Aw$@8cO`&3wk`IXATi7nBt}SO5&zxCy(}mc0HO|!lu^kXiR`$c!j=$|BsSjS&%pi ze*jVsM{AjtO@qSic#_~b21QVaA{o{fm6$GKmg?^O(0EE=DX7tI z6}M`wdd+nYDO{@0$1^vS&W7AhVQcO3yB|Q2BR(ObgvFR+8WMU|Eu4SpSywGW}F zM_wP@?|@zW#Na?)M{QVZ^K>A{4*D5^L1Ea#X`W>zA5NIMUM*x73pq9Ox@>_EH`p(Q6wuS_`i~+6OUUWr{n6;q@naLg^|QulLa999h!7gW zLldW7=o>#_g5rnU*J)+(-OT$x$p=o><6k%uC5Mzdd_*{d5S&k>?@#f7&=A>=l5rZ} zF_Rgj)VC`IZ*`8Fe1?h26iuLri<7L((?S46A+?p;T=z0(#Lo8g^dI|21 zXjD`XU`vbQV6vA|4>nClSB=uzR=xAS8JQMB$#}qzd#u6;FMi#?etY(VA6S{dT;?Sf z!^8KoiwKV~)TwWLXaASJZuX4CE#vjv?E62?EMLyYUm*LYk3`A9ZNCE}5W$f&>lZ*f zkNcEucABl+Dn^Av6Di)uXH`f64V3%Dp_xFFFJ%6$D&F>sNbTo;>x7W8JD9TGdmb-Q$-2pxE zYtG6nn;2$?eKbcSFk<7hz%h~^C)!%KlFuxzEi|%k#)khO{^ZG_l+qJlZ8w`6>zx+d z2gDCZABykUkke|E%QGJos%kOOnVyT@PdT6ZX&t#>jX{5YH0&c~mZ`bLgKN%6KLJAy$t z%P_1@ym5!SCk(Z&W|m2QFgP0LByezmA)KUnUnInB8eTqETgR4`E5FDD^4-+G4<+{Z zfjXCFr&-IbcUyG?h64(lh)B$hwgj#PS?!k5&1m{CN2enJiK7KLGBA0fZ{r-M&lsIt z)AVQp=C6%LUsZg3kx5Sl>$!FovHds`U>!*@%@x*3k{S(UPlt$48sg7;G(N)JOQLedOL z1qrORv3TyaAIBK4KRhsfHbk;WiPx7AXyS)Xm1l*lIsqKd!}*JcUEP@MGzqazdJ zkw}oIa1w<{oFxK5QRXSP4H+FBl*inATZ2&;MWtX^3f|?9p6lS55Y!O8Xp~B%Q%O3) zJ^UiqRJF9Rfy2J^P)HP+-aNr5hO@jt<5{>hyLh?sL#k@=(}#~u^hW~{g&>flsg1(g zTC?sz^q4G#`V^A65!Qz>2<2j9`=9<7--$eNC=q7-4D6VCvzl*fEg}@*fP@5=4v zn7ZApv~;`VNf1ekENJz6ZLy)7NoHg?9#DAVrZ52v>T)m^XIKF;gTA&xGZyx-2xKvm#YmQx z?s_=l91RWlERJnQV~K&Gp_?E5@c;u~?R^*3^z(a=9?h${gMc|K9^ZZ80UxD0iJ9O~o=n$W+~EpD&qC zCurp^nZgf>ZnIffTcwFqav;F-*I1ij3@15WqL6j3ab@O0jqn!Hd~*8mGk>Bdj!q|nv_!#nyW6PbG)pIAan|SOKqbyc zWB5GVMbk5?P0wE8;{B{IK*Hp;{Cx~3NXkdzPI3GE&;L$7`r^m~&m-nT36zydccbm2B;!3?nK>RUD?2Ae` zb0c*HAt59%{=}CD_CJYH6b9O8>di)FW8rMJP{Gq*lvASt8fWenICPAzUd>h7)~4r2 zIWelxHylOxm;q3VZbilcS4XJ-^WLI7{&;)r*!j6%jegYqEG#y`ux8-5gD8c0MC}InO3V*X;tPlEyC0LM`B@_ zyN}X6Mkb)1y7ZP4U_9(CsfS#ho@01=r2%LNkH4O)h+!DRa0J|h)pKXwEv~E^fA$}q zdijNke&L$ZnVouddttfR3L^ZNEJY#$2ApQsfY1;@?R)n3#*Tjxr)iA95m+zh3#+s5 z6>1PY`kay+3S4^^pJTfSGVNU3Y*%xI#rHP1RMQ`VWES?Wc^(l6WeG+M1Q}nz4>f|x z_~h@M7#@wwC`duG^=`Ygxn9`b(hWl)ai7F7)IBe4yM?9eR)B8TtithP7^%Z%snOQk zx(nT28~|K)u5DJgR|<>2F1AEB9)&m(_HKAZ1eO<~QF__oJuNypJn_YYshE#NKoNzj zHmb$t#cHYOdJsdCipY}qbwx&Lhz=!(>F3BuxIfCFpnAb*wKK z?dth=F4y7cp%ViKM*5h0wq^tcau6=MOoF6%mV|c>)}SOKM2AvzfQ)I51ED?Uh5H)} zkfqowKC@j$^2-56zVCJk5&$S)RFO(zwb3q=8ipNpZz0p_aaP%8tGHcQe0#g#+OZ%c z&@d<>>-81FIEod*AzIFd-9})rfAXahgXyS6Q$EHZ1 zh~go=l9-3Hh#!itmNJFKceZnu9SK4rb6tD{LOGHZLSb48guF&zpnvkKPYeylJ``W? z0P%~NjA>aUiQg(d@G$Yd=K#-D`UgS zIFC_?XPX^YE0uDEg{4-x6NP0z$$-vAH)RolSqAYU6s~91D!H{xd3ka1%7xSO9e(1} ziIK^{@NGVT&z)WLT+6ZbcC((_Se||V^hypjSVc$edc7^MBtoGG%Hp)(57L2Xn4=Gm z3?2CDk)(nLlqW|*o*&;*8|6pT{Q{y?<GKP-m*%>@bl*4P@=%lquC=?~NdO~*uQWmo4HbK4o$b%D}BrePYbu1OKVll*BZ-L-r4 zL)@r5&$Vo`+io>7Yl~OkduOdI+G60E_&h_f6bhp(5FhM0F^)PkKD_U%M-seeTob>N z%dRXeWw$b}eg0venYF$Fybd|$I#m?lBN+H2hGktR5}>;;8t;KU>4}%V_T)3q?iT?w4MyN-av=0V^2wto#uNh8w=ZXw&cAwg<=pIQ ztFT_J)iGMAXI6jypZ?>;vE!+U<1asvJ~0+X?+D26N}w<No4ZiKq&Ra ziLp3icA9JNFU`)pa&~2HZLL{YFE{m2D7<#z?SCj2Pmi74f8fB&Po&ae;pS7fV;l9& z^K+Lke*aygY^A>O?Wc|(9u{%z;d`V$50T&{pAPaCr74^eC=fVz<~e0$y1*#z`3unwzW3*{a?Iy z;o{|5ez~X-IdAi4Yv(skPrdZDCr_T7_;Al5ko0i$rT%9Q9UhhtPhGpTws_%{vn!Y9 z*II?OO1;GjQfYneNB`$vo*g?mGW4R`_48#3j9U9sH%$OYEwfgqbJ3o1S=IZ=br?y!rZ?U{(Wck&f zz4BkqZeJQZ^};u&C#U-*jQKEY42BWRpPImVIk@k{f!zAm;_OPc^~?YAzqh{l0{=(f z3et$uQ%^%J?`pdUBPhZ9ImK3Z29!BH2FvKVW>;&K)>c>NSF#WUXmKKN!>(j5tK@-W zQ@R6lD1wum66+rgF{4Kh4)(`+4AHyIR&ir>aeihFlsB<#WIXBDG_6ut+M**WGxWqH za2$Q&eh83}2pY73{vr?kBfxLN(wx#C_qQwP#(FUs30lL_jVwFBkZ!c-qiB3`MU;pZvev8TI+3wsbs3reVeL>`((4;>ha(v;V3w94ho>fF_<>-h!*k#ZoM z9Q9QymB!YBPA8dQO4UI=&5cv3t+hJM()#M++{)HQ+o!~bzx2%TP%;QRo(G=ruu&W^ zKcKAeVS-Ga=a^cfu#sI`URrCbh#Q}bm`y#mJS!#-_|w`x(}7t6XBB^ZbnHlS-_+Q_ zBv077+60m;&&)0xR)=PUk@0Y+!_}&_`sVDVc5?sIY2CGWuh$#W=xBDcZL_=*9F0XF zXhN&DMo+)?%B!#Z>W3agOg-~^G)ekzaTS7iaI;!ox-zSqQ}KyGpHE^R15@W?1A^k5 zFDChlO#6yc%9I-2a6shQ-uB|TuGwxkip$F@3+qJ)0tM84a8)a0W=!tT6Vtj2aS%!{ zqA#AFVEZSI92}4P8Q5#J>y7-z()`@jr91?|ycnAv@T;m?*`D2C;+8n@h(VxMr`{;6FVD|iUC2QY#PQLobfDdCm$&CO={|!WJT(=)S(`l9f*hlg-QHN7 zyEvCyuVY{O(y0^2kHsX8LEKwU>>lLVon~!qezDnL!b8UbVL$gs%gO7Nd)$|5;$Gi& zEnThWRx@iWi)(F@g3|~3^lCe|GA||%hx>KiauJ3E>3aPW6UWp0Cnu)k9BFCAOg+D{ zv^+DnY*;48E0g=!W|L~vYo+!1t8VJhbN!}cyBJ8ZbWF8tsU3$C0^wjh21AprTx<07 zkAD2CAOG-2g6N<6!pnr8yk-|2OWW0U5hdur*eO1(C+QGDkq_Uc=LTRH7n9LZ;op33 z;;VmnQ;TYZfl#(T9Rt}n2uk?lQ!o5$!^0ps!m$JlLt=btmV=xvRJb3hvWtR)VG9%F_hH(CoQzrsr z(WA{yulo|wgK3(U;~{)lQvB%v2XcO|kE4~lnq9v5){?XBjePCfLnCo{Ky0~fXrrYB z1v2;`^ka7eAn~zP+p$1N*2kV1jFn?kU;3BPgD*YZwk_C036SRP+Ncmr$bm>iq7Z__ zm9b+-(*JY9i3E5O)Xs@qVDy>qe0TCI-%uUbK~aPxQQO8$6HEk7g!=~reu5_u*J`?I zc4?_{`ci%J(Ad<0VGe@{g5<-=a3nd%GO%thZ8xF%~m|-M2H&=)R}F zknRhLkE`j?V*!j}q#XA7e8X6-sd@`rWl0ue4BsOS#c^pcwNLqrf48sRyeUf*VKIX5 zPsjWOP&z3xwEt`0voHpdeF6iL^X1gRDXH%-rdxFtkh|hIP7s7`+lFDHe2A8S(%rnA zJ~6luuQUW{! z3WDVR0~2EGdy~ySY60;v3?oUhC%%F5VM@Gx&+&|gqh{ax&DA$vUx^*~(y?z2Ob+!a z99$_kZJmyW1oTG0&9fo9-Y6H&e~_)?{YRfm48)X2T27wlI$g(Z_XvL0C!2p!vgy`6KAUEf|F<0LVY}O7Z1d8fWdB6yc(*AJ5A5M(k z`xjtViLgrKrvD)re}eHR`iAfSc(Yy7o0%&YFJ8Vpm%&G=NPKKG-Y=L|e!dR-%QR0@ z_}!{79t1GX%8VQpIhG>PkKY~u!D%5hFdZ7$=|d>(kHw%^?8cWUf~ESW{P$fTj^4G} z*^Q<7*Ir-3WpZ%;Fy%oM;H9B(l7e8wc0A2=ty|MZ9iwg3R&u%WrJOjrFK}W!6j81f zjqDbHvU=Jl`NC6aX1=Ojxw7TsrGtGO+3T@@QnF0RM|PT180D4l$SqX>v>c)3NHG2J z2lIHR29(y&zJQQOA{=+u3Ywk24#bxz`EYP2@i9&g4a+zG7bS%$DIC~gqq+{yF<=UoM+brd?SF;qE3_Lp&>JNci z>?1k$I3FuVB#z+;c(yijUJS(o)<%`elMk1tg+Z zAp7vZ8Nokvuz$He>Aj9uLzmZ8GKqx3H1w%JEzTBZe(;Oeny+4hU-*6Q*ocgpjjg4v z!pv#IH|~v(MjyI&I1KZlu`t9lavT=`13a{w;M#_*m9v|dKX~`G>660__PmEcp6z(u zrrK$&>xPITewpLwTauj3PNTYVVY}E`B9Bjn#*Ped%4eE8csC#rB8vXlk*CKSXDe^K zxfo!iubxUG=nf4(KA~}de~;5LA~b^g4jh1$pqcCw9+(&J(}QcZt>)@GZ~gjz`@jA! zedPJcufFIH;ZS9*pe}7y?GMWF35Y)6e3WGA7~T5j)y&rR3OqjS-#49B`h1TR(1%f6 zh)zf7K2{1dJoe!9)SnJqTeG^w?X~kCy!Y-C&mVNqr#%?*EXxHX)~yx89LCU)0{RGC z`#fkx@>!4hpBq4llF=-eDqEYy%oiJCZdYItHW$Y8*^ zzq@XQFS<>)X=#jj53!mlQv7%jkhFs?9>aytP@{zPhxz+$^|DMhW=< z%jm;>p?Fdj7!i~oKh&=yB#epiBq{kEpZsaGS^YQwrF)Is=IT3dTzd1&{L+TW&mcVC zSV1M!Fxwf64%>+sMw8bE?Lkhv-N>DLe`bEEl$bg-c5pl*(cGgQvk(+x{BeX0aFm48 zpjjNWn}85B#)td@m*T8OF?-?CY@C5fwNRQpv$Ry?hmR&l$H&67axEMV;)~{& ztgh4A+_-%4m%li(v7OCVYAxuzjjz1299W;6JpTMklOqhEgnX#|8fQhE<~$hjdMx;l zG*B3aP$`-k`tmoQ&c9Ol`QN@e9HLGhPm2g(Yy0Hj>UFa+bN0gJ|KlI#I)-CA@UMS9 z^X5N+>F`jWiw}Jxj=bO_@7B)p0RdB@pA>w(77q`*6@FqsDS--(4W(CJn2ML`wSRi$ z?TH}FcZwH&{L7+FMo#|W!6!}}Nbu5)VoA^Pta5&P<)^>AfJFCw_0NtR8SkTa-<9PW za7OYE9Uob3ox*D>8W{o+ivR4CNyD)c@?F8+KWuzK*& z@#p#R6v2c3T@MAAfG{E$7W}S<+^f&YX9gQMUse}?`(J-@^~$1SJ4@%^Tf1@|xT!#s z40rg@Q!h+>J>cg-m+ou%F;=ZvS$qAB%Nter)c3}Y9UGOX`*wD_4`2kPo?U#* zfH4YT!;!&#C%+<3wA!ksSrG0a1kJF%U?|Zi`D1LH9k2l+V!^OzZ$TNTZ!nuv+`#<{YS?wz__f%XYd=G!nd4T6)49Z0l zW8Tw{uhrE$x?w>$gpxGF1fsD-L{R8Q@f-B`K0u>iX!ikyAja1}e(YQSGVq1!6UNP5 z*8l>2sj=x~+TV*Oc)G1O=YI3%mG{p%zOmH!!2XeV+E3w+Bheq;%}R$*Fs}4ZpZo$W z)Nw^41&MMYpTgpb%Ldqy1H)CL_ToZzt+;aahyU@f7P30^)$biXaqz|I z5c{wm=1&ctQFA++Klz*g_SgUGe;WIff4~2a|NKOf8TNn5amGE|0jF-LxgY*7fA!uQ z7pbp(Z}{nFUz!d@qE*_8($6=nNE0{n+lHAnSD@yrUE01B=)D>TTlnzPUT3yMf*?Z|}U-8|Z_G`QZ%RHcLGQkKM|+ zwue3J;d5#i9aFDwTy3^gRT*I=e_X(+$IabocIw^A)^@4AUeqZX&{cc3OHiCYo>CM^ zqL7`EnO)s;I=SsqcDrOkknK8-WxxbW%85`w=?`((jfQ8R5p1p9t#0K@jrF1qV+cj# zp6#Lt4x|eNBpTU?R@*fpw^Pnnwl)fe>sp@YSUQAYgq-yG1N|Y6*(K$4o(*|=C7<6| zTlSE_)E@ zVGo}l?2fJN9&l~5xxJ9h7m7)r50Szw_So&Bt+zXst;}li;&Q`-Z4a_N(-q{N0nz75V^lmMi-^k1?H9DpV zA+~EeB*Bh8K@HI|jpIAmMH}?|+t`>}K67@l?V=`%lZZvL9M?zo!)!!hnB7tq>_V=t z){1KjGqtYP={1nCJ;LP%Vu?XnVmTHx;l8_^o&$Mit+cgz`OIQoU90L0LE;!?!*nFk zFGiyb%h2Fz{i(~ehdu1!v%{{oi@-N#bu7K9nTGKYji4U@2u9+JqWH9dPUknLFP*zM z>$zT}f5eH73c*O9fbGzAsk%JB@#^2cere;M7Al^SmZGUAru(A7uq5-K;rK4tO<@$r zX<3rhWJEjt!TfJepY>dim;Aav&BX>HJPHAmad)(~x7J_%``@0M{qdEY!Nw>E{%mESso4?guBl0&LAI%8R_A~F`fpD!7A_VHc`QuC zMJW`IC*p!ANF4DH5jb1#8fw)p0%aeq!(z|s69n&90(u(O&b+5CU%6s=9_x=J zw+jRHt`Q>dx&S=aa!s|gz5L#rZ@+V4{`^LZ8RVmWf%V1W$)qUCK7qtPYZvkDJfgfD zNv7=jOlKum-Y#FB^PqBwkozlbU3WYjh3~k!d!WBStJ2&!H+%lf>+hV?ZITv3{RbIe zES?C7ec=F4;rQkqqOHg&9auoPpD!{n!Blbx3~ODz+12e{j^nL6qYHUPt6E(BU?!U>eY1AQ??5jkkr0S0f8fG`~LAhy+#{YrFvn9kKKw^P$} zL$^E+zumq$re@SP3z?0p1+!rwF%fGCVInaW>5C`BJ|2O0Z|qa|Fm}zU|1*W& ztk>6@C89uv%t+T3147(R09g`xhz5dtGzyJHyFtp067fV_6IUO4lc`HlJN z^u*xkND@U+Nn{dz@~$S}_bkX$Yc+Ryg^PyMUwCpN?89BFX_%&Ixp%%sTWdAf&Si5O zOH|4Vq$VR&GVK?K`URQiQ223YckN*hd-z?#=l#BT4V^|Sx3b9!Bcn%>uDw*x7q6=A zQdI?}7iNkzv)bzD9o=>Ln?~+Ap4DoU3-6q1Zk6D4f5dHP zFI{o)6hD}b`2-fE51()B?EnC3y_H?wVtIb@$mIBRC>+D;O|?*L>6UZbmC8_? z*^8%3*;QiSL20<(Z)I47g@wbi6b=g5quRw!23@t2U(aGFK5=B<*uGeQn&=vxY_8tX zt=n#;j%gHT&t>N?zykx))Px_YaWDe&hj=j_k#OeT$*Z3^JiF_4b7d2rMblJlaAGtr z@wR1Fn;lKn>|5TV=Xge`TFCwSU1MR5Iy4jr2f5jz1$joJY^`3w5)*XH&sA9*^=zo#uxrh(X`3GOVQ|W|old4$ zSo`U!th#|yhxm3KnxE}9ZB`skNs1ug@a{8<4&>?Wy0I~b2t1t#@>QOwBOcsTok~O3 zEyDwKDAz7iZYQIbHeX+-7V`tArX&Jw%&qEGRpACxQc#w#T^({W+06q}000rONkl{@zzE{B& zNm&ti^g{#lDB|`c?pgOo{HYJ6vmsYiRbzdN8ku7H6xQYG9DyO7wpp+1re(Mu1D*$p z7P{rl(#oaFC3@Wo{ejF9n)6SaS`{Icv7{1|dF%n#3UCGMU9H_zEyuARV$3KBp|rq} zLa)R71I~llY1gxx2$G77MCD+W#i}%lA+D*myX~&#dOXy7Ij-H+)birh+4aqA{3|ai z0*@@DbkXx%a$xzj<48pQnz;O)cvt}RE_ebQPU%UzPYT<$fyb05EAD8Z6r z$68s6OLCG&iZ?A|7=AM zeBI*W8gxo zsRw>ZC}#PTN>WBFo=9gIGBjP?^?WbDAh;GZe{}53ng2aHwe#6M6H__9G2f}rnwFVl zCr5MXNEQdXy3m1M>!ahxU-`w$m5$yBZrxR@Y{OFf{_N4Ir;m(NI6mM%sM+hU&Xs|b z**2VrrwG>T6ga+u+h*VE7}vAm_IjyVzHrJPuEwUGO=Xf^rBeE+vF1ZzuN>uyNq#d2 z#RvrAOJP&%;zsa<`@Yw0)@yacWB?!{Z^|D8LXclqdamUSdOHpr!|N;?c-YO2Vv+&3 z4oLATlC&agVoV{irf0ABE!XyHp>rzoK zxnrB%cHa*^kq*Xj43Jo(zEWK%*A%5G*V=;8V)!5kf*W)Z2Q)@9vdGIKJ4lYvcg)^e zB@Eoewjm{}kr+m^94!b0yyTf)OYe3}FUJv9ZLV?tHN+3x(gthffqt$hSAcQsuTBlE}zWr)r>vQVlp<+g{mM^r*3r5G20Uj48s^+6jhC+nGj-LhbTN{~2!L<=ymNbv z))?w{oyA!kn_))Mq9RZ@?$f+1h-!?Y+pg1DZfOp> zr)_ck@VJsp#u@zc7Bc)89AH394o%$u#8dgUzV<0kiq)y<)yq9n>nmHc5|tJ|_3gw) z@YKZgP?Qn9nNmRvx|U&A=U`u=a|d}%iZZN+uKM06+NZ8PUp3POsCcuQnV%3~)Ts##@m`oa8V{N+sk} zJSuA5^uR$R{#8FTnUOq~(pVfLF_Iv8Ij+W3k*M~Jm2$lzFPHmA=Z7Yb4Bxk-kco4+ z*XlP{JI$Kmx@nOe8;Zvj9*H6Xf%w|!;va_qgJ!So&0pg31z|YJ$t-~rkY*)8h-oBk zId-eIJX=|6&;2%W{|}%2_Jfl-j)wsj^i926E*l*;CeCcRT9+E=bHo{pOpfh-Xk^!e zk!*eH^;YTl!dw4R;ioGj-#;)U?9F|;W*J4p1c49Wx(PANwE9lD#DKi8P2yEC>Oi0v zfs^7Y&5B-EZ`9_zx;}T5op|v1mmb<#kOT~3f$12XYPH|cNoJ;?5lE$fP}%uxeN}MAcW%X9mDZ>G>i47NA?}dSX+W2NKV`n%V>1;$&i5Llz2R* z$lyY!zjUQiGXAg3{$%ap9|;qO#}o?3oTk%lEbGnH(DxLP87*qJP(wu^5Z`F-VqFY8 z=r+61F9`*ikMeKVq9Tf>88*&POV!HBm;XJPFBG$n9LP-U%5n*wgn{Ar)?3}itYKLS zyL~*DOUMI6ZyysSc_UlxX8`~p2?7u}05~84N#4e{6Z+6?8@{>7rc^$yu#|XJVMvOk z*%(dJz2?O?ep4+D4`p}n&D?WeUdW0hgh61m^lp8wZ?q_GbW3_D9ixc>{VyB9NCg8g z^lZk8gqG*}0|uFnWjB_V149`p#*zu)+OBYdWqF=~z@DAI zRQcCm48BG*;`vIudkXOJtZom1(lI+Ay#npNqby}7L`|jejZg!}Nt$A~I8S5U^^5Pmk$&KN)V{wEb7PZnI;s#_uH9K{w%6uO zi_OpzTheLun&RBi(+fVgALXVy2*bejdiAc^uJCbON=h`zZKys@(j>#F9K$;OOCP?^ zSOl1U>R^8R_9O!cJoFq}Z+4oii-w_7;+{gHkW{EaeW6#uAtVT#q)3*cAVpx105BZr z6CxsA3?Kj@5rv624sQMItArs8eN*pM=2uM?6sM%P%72`AXL*5R3E(ZRu7GA2{P{Tb z(o-`90RRYL=-5VQb+J-kwS0OzFArxGT4Xly^j8D|@g;H>>LP?N2t8Y0UoM|{cd=~w z$x&S8qg-EfGbS(~(tIqL<`dZr*(!{W?tbpj*i=!$upkTr+w85D=W9!4&v6u*QWb$? z2li@y8AS0~;5$}#ZRzaqu3WC#;wYXFAVEa0L@V3#fK}ruA)SjetwN!=_j~tky?0ED z>VRS3xz<{BX?cFmHVsN56`A8X=GG<*-~cD3M1E}dgE1!vd>q3<91dn@!7+$q5F;1} z_~b?u{yA?8!yxc1ySrRoD7|r_i)T|i4u%4GEn`anAgXaWo&*$~EM}*UJhf~8uA)E) zBn$%2H`esV^89?KvKG3$LW%-MVViG;9|D2+YWN!H;?=m}4tXMA==E)*Q>iR3%$~k- z{QYxvq8BnN_4uhXN+F-fq-2Usz}5q({+FVvddmC8c-juN*&iuH0w_}`@rwT(dW;M(8roLLMmrtHPcVXUkJX~;lwZ%$VIYasRgqT+O zfvzs{76D0PB`x(wyUIwydyQ&qt+G-ro%rzF2c^1b3Gt84s=yWTAx)%2g5V^X*U~`F zr()X|4Kl^WwXw=gjV!$%VJ4pMK`i7hZf)qc@VA6p_xy zzBRpn{N7y|g%9fIsu$n*&o|G%a%|S>Hf*!+Vr79}LlmGXQqBNRK9g3{t8hlGL4ekjDuUkgO=hQrTfFJA7>`mBwg+V<=+77Q>2Ke*1nd z;IMnP59gB{AZ$R9j37u#Je7^7vK+^$s_HmStJNYClEhOqc}LQ4VHi4L=taTk7rZ(^ z0EQQoL^_{H=dW!gHH?;cjwT}61|%b9w(f#*0lQ}=Gn`de(g7r(d0tescnXWBXqr}4 zHR}0mwXnEC3%9+lsqaL->{tPTX71*>6j)fvH)-heaF_@K1N_%jHW1#B7D2=+D5l; z8@6}V)&VvQ9KP@4v;Y`UlURwTZu9KcXWuEk_D^MD=hE0qhewqA3%A@k00SrV?Pj~L z_pKYQj>K?UR>YVp103R^Z}-}s=VP2oF$_x*(6fBI*Xi3m)4gh$B}pokzXfVB~as{2_*nX%ZXfHb*TFfj}VcGEls@iSQlM(c3P;c(fui zfTuTERS$tcAnpQ?E+P;J1Ojm#6p