From bec1073cf99a73d3129506dd4a3feb4fee49c0a0 Mon Sep 17 00:00:00 2001 From: Linda Guiga <101227802+LindaGuiga@users.noreply.github.com> Date: Wed, 22 Nov 2023 17:17:36 -0500 Subject: [PATCH] Explain difference between simple opcodes and syscalls (#1378) * Explain difference between simple opcodes and syscalls * Apply comment --- evm/spec/cpulogic.tex | 8 ++++++++ evm/spec/zkevm.pdf | Bin 258604 -> 259709 bytes 2 files changed, 8 insertions(+) diff --git a/evm/spec/cpulogic.tex b/evm/spec/cpulogic.tex index 3a17c862..44a1e50d 100644 --- a/evm/spec/cpulogic.tex +++ b/evm/spec/cpulogic.tex @@ -64,6 +64,13 @@ The data required for the MPTs are stored in the ``TrieData'' segment in memory. \end{itemize} Finally, we hash the output of the RLP encoding, stored in ``RlpRaw'' -- unless it is already a hash. +\subsection{Simple opcodes VS Syscalls} +For simplicity and efficiency, EVM opcodes are categorized into two groups: ``simple opcodes'' and ``syscalls''. Simple opcodes are generated directly in Rust, in \href{https://github.com/0xPolygonZero/plonky2/blob/main/evm/src/witness/operation.rs}{operation.rs}. Every call to a simple opcode adds exactly one row to the \href{https://github.com/0xPolygonZero/plonky2/blob/main/evm/spec/tables/cpu.tex}{cpu table}. Syscalls are more complex structures written with simple opcodes, in the kernel. + +Whenever we encounter a syscall, we switch to kernel mode and execute its associated code. At the end of each syscall, we run EXIT\_KERNEL, which resets the kernel mode to its state right before the syscall. It also sets the PC to point to the opcode right after the syscall. + +Exceptions are handled differently for simple opcodes and syscalls. When necessary, simple opcodes throw an exception (see \ref{exceptions}). This activates the ``exception flag'' in the CPU and runs the exception operations. On the other hand, syscalls handle exceptions in the kernel directly. + \subsection{Privileged instructions} To ease and speed-up proving time, the zkEVM supports custom, privileged instructions that can only be executed by the kernel. @@ -126,6 +133,7 @@ TODO TODO \subsection{Exceptions} +\label{exceptions} Sometimes, when executing user code (i.e. contract or transaction code), the EVM halts exceptionally (i.e. outside of a STOP, a RETURN or a REVERT). When this happens, the CPU table invokes a special instruction with a dedicated operation flag \texttt{exception}. diff --git a/evm/spec/zkevm.pdf b/evm/spec/zkevm.pdf index b48bb188f1ae53226e937d3dbde71e5f77bca092..784c5a2b76f21a16da71f8bdf04bbdd89306dcc2 100644 GIT binary patch delta 27443 zcmYhiQ*HpLgT`w`z`6qiUlz&ST9r zS5+M#eO@4;QYec{GO#dmz*5Zq9a@29VP~#KodjTWvk@~BJDJ+T^7F$o$y+#Dxmy#n zu&}VDs6UE~lZwXBH z)_7WwbTq^#%0-BTlrLW2w)^?^5(XnZ)sdp?684c7kIO}m38hGrMl~IWJ3m+IEPh3| zWOU{TCsA(A+eL7pT~tL(|L}JDKKyaF7fhN^Cruj#?0Q9bAts%aIUfA6>;C}k$~T-0 z={f3ANMwQIG@9{iRLcD#5Zt_OcbSFSGr>Wb)Hw%J%}*p3jn#uPOgj%W?UA`u#xuGg z#kWD+>L&%4ln_tV3l32x+wJ*7SHTKxqHmu<38qJ4f{Rjs%ja0sx4}s6xob~oeWVnE z{Jxw4tkZV=E{~3R*bYSPsnRqCgQKmE!@|-Qe1NEPMofTfjAYrpklaC)ga*rQ2gHcK zK(tDf_DH+Es8xMZL-UB15D?N1zGI_?wjLe_VDhMXOToI7>YLki*H!(s$!|X%+&Ne3 zm1II$lPRS==e6JKx&P~$tXGy=d07sro67nP9B3jW0J9GS9AUS{FHf+`gM#?u84Eeo zY6cp>+)Yjk5mmoK?{+jMMzfnJY1^bgQI3A!b2_F(Jmk#FmiYFjmYiZqQ|W#H)$xPw zPeYv4f`VSAtquO@wm|<}bk!5S;wl7W&Hua`ecnY6;r=}UqfzZx!QI#!+r;u-r1C}t zEY{>}Ot5ns4Fr`iC>lzKwS{xgvr;IoR0v-PetTOSv{*t(zuQXC(Rpxdk$M>n3+X-WAub*|yT;(9q$>7B*P<$t2u~ zeVnD{-kYcu0;T0=cuRCOS6E;|pJ5KfG&$C}TTV-yF_Qy|x)tZ;DsRzhU=uS13!+3ZN<=EKg4r5^juKnMjOT9m(=TAUZVIlj^7Sf9uVFb>^~^9M10M`JrS+o zb)~SonYfCqV#OCMcsYT_IKTt*a!cL|HUs&#cU{TP(Z%}^4AZ}Sc3o@Ir2pE_v(TRxygBrx5XL`JITpOj|?exk~@?_rSR9%*Rz0FHU7^(;s(Ot_Dn*a zmNWT0e0*|xs_0|XvgQOf<$*on$t0I9crsA)nrL+TKBfx1I;J1a*>z-|-dMLGUN8ad zIFw*uW~1IQMh&nE#1pY{4TNz(N;s>fWVL``mpo5%GM1J+$vRKi9s>Ar+eKAc!2g81h(m}g5wG>CrY#5?i#r# zd{?Be5~aPbg|nZVdYLksjT^JveWnA&>c+kc9E^)Iip|?oQi1(tSyYpVsz{Cua_xG! zFASp=RfbAwb_OnBP!#IWLRdfZ?}(O^**^i!HFw7j(>@B_l}W~LKO_J;I1L9bLGLo# z1wIHWvX2f97rZ^wO9FhjIOrF_h^E4Ij%&Ol7sl_W>&zLw0|%8A9EB%Fp}<0h<;#K< zH!~03683H^l>)2{(D!g~>$oiN_pf8S z=AEfw+WHhHT6fj?Tx@z~de{!|W?fCVF=#xsUfs})3HtI$oM_kGm@n5=j}R8%V)aRE zUbQ#$IE;{xh$(N|uHga;_q2Mc(cjdlJu0Yp{RG4?#XhCHZU1a2sVRDDd~NxedCc>* zAyyjmj5KRdx&Yi5@e{X$ww;U zEZ}gi_y2|Eu_`#O|NPT{Hgb-_?#+SLbJXjR^2NJM%OE{!UkT=jMlL zDHyEvSa+C!U{KjQ?wywY9%+R{4TZKgW8xqpJ z?I&vm-s&DkSIMcxW>>~mt&vjsa>99Zxz?cpN0w*^LBlcRdV6wy%4vt~g8e$rXfkOb z@IlT)FT*Jtsy#{2FnVzCn#y^uAG5sZI%89a=n2@e{hjy**OH4}fe z>^Tt^Zna)pZO_#*_w*;RnWMVBdWwj+V#t)tUib_ddq7PgE!vxxzD#{Lc*01V;_|21 zf8tWze))nNP%PSgtvWk_H1h|_ES#Sel~AoPEnrRcoW#6+7d!dZ>vA}IEG+8=OUPDt zdjM%$cw2JyQuK24GV}`86W1?hEP#UV_p1dnUq7CX8-)r!UoU2?{#P;@{Stk`YUoM) z47*@52a>$Qt^Qxh>+4IzXJ*EncRk?b?Y-c9@zeaR+{UT0`KM-A!I#zB{zC`e=C(BR zQ6wq2HZ=tlgdVtjTpBHYq2DnOHnsW0OJqc@^S*z!9vP)hCM?&1e}we6Gdg4e3Z&j- zw~!_Vs`gTQ?<-85y-8O9&Tx<2e50ug3&t#bqf~k?4kAEx4M7Yi2otMS+O>*9V(@lc zf=U-B+*C4f&vZ96x5{s&J6CzNoOCzwnj3v93k{HUe~c4I6Pr8UMT5#( zqn4OdFLgf&P1_8J;nk73Q-;4H+iB|?au^ z)KQarjdJlwLo^xZ#9l-cwcg7O8=sDn30>HO*#sgw73TzN1Ja% zIZLi|#7PaOAVtCa=7Q)I8{S7V-TwN}Ie1YqwMcx2r^Va% zy~VcA?8}X`3jMIEGb+!_f07Gf)g~I_V)7T|sr9WBYEbmY$aW@W#f6z2Gq`PyN@nv+$%8CSx?BB91|Wu`;tZZee=E19(zQe9;^2$S|QnS=s(+w8nJ0 zB$yN&A@oK*j!hU)cIN+zB@99^0Io(xX&$JI-D?0^qpwmYR1ykWql^|C94HriO3}X; zrq&T8KCV{{u{+_WQBle@B2$oG52p{&JcADH_gs!lBJ*u`m0LmaB9kJxGN{Q zFB2ttmll~id=Wv()=+81vo)*M#+dn#h7&EzoA`G5>^Bi z_aw9!K_B0pn^94lgfOxeE}T2+B}h}Gg0li9$-`0DEZo@|%@rqXfRz~#iuWWFCN*$C z0(X}w&Vmz13O8w|y&a)ECtVT9HA#yBoX;xzC2QU52=4=`5A9863*w)wt`xqLOPsmt ze2Waf9`iga105Ir3X4Bf0Tc#vg!|{k93*C?wPQ`a@l#{P|DYdbfH$5Ml6w>}q1r>3 zNo%Ub#g!sVs&$ShSdUs0^`ah(Sd;EjiNlvh6S1(|So5&E>VPXl9sL!-Kp+SO(!u_y ziI(X5Ac186+h1oRFJZI`qZtF4bFip4Oa6Nvpef@#Kw4^xS_x)SH;B`JBbkb5O%+9p zM4t-Ff@9j?3dSxsbY2(=DUaRzu0DQZhRlCM+8g@2VoK!tLIduwedG?zc@@i{ZmiUo zgr4TpxRYGdKCoe1;l;>i^I{kv1Y$Dp;~ zZR*_dew+;dv+X_Neev@ndU(3O>qIleCrr8lr9y=whMKh~dJ395G=3^6(9c#;F_w?* zD&xz-X@l*4;OWUUrZ3}jO%g9ZlL)B4b4_=aoT72m%f=~*aAS)?c;9{lBs)nCM!@~T zFu1_cvA3BOClo;&yNMkZ(m52Qa0)Xw%y@xrXV%k{^nHY%B%Q;Izi%&%Xy*?RzS+*f z8vZ=)=`k^b>ZxxJHa6HcG{_@@v^B3^%=Cq3zdHV^*v{Rg*UH;{emR~nIpMT(6Z*Km z4mX+(Kb*zEC8FQ3=^>N^mMNjUkw3Sp4T7e*Z<8okuzE75_;sIZSrJ?SZf6wZ{8qd0 zCSU&!&SW^XLp2A(A3D|LEQ@ zuHyX?aC}(9Y_zpiH<(U%tXN(IKG1r)5At%3o-pvo#t|4w>PE`|t7djn3=Iqr^EMGD zrq&G-G`COYXzEU`RzYBK9F^{SBjey7a-m>7yJ@#`rLNSQz;}_DJAV^x5lf+wes+h9 zmj@shdZ~G9(E`qycp`Cu%5Xu0a-mo1V_`Gqb!6HX*^c?*AH) z#Hz+ROfg&tz7MemR*U|4W8MDizkN{Rucqs-=IJk{8B?iaOrNOT3czkmqel>?Joxs( zx0SA>3imOl*HnVN7nX!oLQr#C1lPt3488o-w-G4~w>=3))5qPvO=63f5`fB)BJ6{V zm?F)`$q9NrBw0w-_?yrk(P}~LG)1sn34gdMLKNI{SAVn>cnSz@XyIADPk`~69Jx9j z8{-c0<6RQJn*4kps`dT68DZYA|31?9YHZU-dU9=BTM4)y4nplyF?Vt@{Qfdewtu8v z#atqpq+0h!h7HEXD;kn5)6-GT>a94X3J{BUm=s~)4gw(pRsP$=RAsTayn%0u!Bswd`f22*tQo%s!rHr2tk)Z9x8=YYz+ z5Svi_<(u1pr(PP$5fT1dL@`IYd*tUb*uy4FO0DxWtwq8L1qVvbHt=VFb#Jm&wZqzAw2M8%j|6KEs z&blKW7qb6$?T*=9KLroIAuL&7%3qm4Oy~=AYcuemVtcfK=B31?u+L|K#%41aItv`0 z3@DL}!(C@?wtUk)`?ooBGMHInS;N-L6~Mz(;ia> zK`bPey4@q;i5{^}Ea??OhY7}kE1@@qR@{RO-ywH2hMtD3#UX9DI6jPP4I+Co@k4HAT?Ea9{m7=EIH@2(t32Tr z72?TXWWhG*(0;b85PE!`Yi@leJ8V;hbJVkvwIxi(TJfhP2$o_q^GD>`t@i3eXV;pg?b^~91#9ZN+P-yS>j2s!e2!vkiJ)IZDH&i-cX zceiz0i{C0Kgn>=9TP`uAawASuzSZe8W!&2|o;2EjpUoWYj{y&C{L13XO2JF*$ydBq zELlf%cP4z>@7nOL*H$z- zaslzQq^fGzu0R(AY8gs<^J$QiK8fGu`@)>rT;x$Cvk(rhLGjW&yyQZN;!*SYu;j%Q zv-oO&L><0jP-1vR2upYF7&ssB6K$)DXhM)l=N@8REl_tF_}f6a%a_l+;w;83CdQc=s(ZW7Ha;Q0PF;ghOvp)EWQ6_lsxHL4CA*%Y7Cex- zq4R?PeO~>sz;&IrwXuyxSF3geJ@mVdBTiZeaO-Mjh}27C*uWEg4p}e2Y|&Ji3qD0i z74Aq-eBY}A!zk}8=_l_O298}Co}TaOAJta^YT!Wx`W>IzXol)&?XyjvT^n-(7z1v* z^uBPeC|}NS5F;dkoVz=*#X)fOt|S397RVfSBOUi2iBKQ41`b@aSC+Hm1us0N<*2TC zTEUOxVH;s1M2iOmus2uwQl^n$Qw|WGgF;jr#FmcKlMFtWcY+^wWIfpxSA5k5n|L3+ zUBJG}vn}EMt4|kC!+M>u89csqdu&vb<3#A&<2CyZi|+Yzp-$LglWoGO8qSz90VjPY zD;KrK9NI~c$fd1R5SgMa^3yJop>!Z!?GOyztmdsTUPh8^uWTnhezJXwoVz~e_#!Rnt_8LdjwR#R_>ENPIc zv~B!|!i+W@r<|-HxS~yQ(hrDT_>PRwNUub;>eOoUch7s&vr;8(!i5nd^e(@BK>;$CN2Lm^3I(C7k(ro*q#&uMT9pM~@+$ckZjEsiR`GThgTa z2b#sch6L_`HCjtQV|s=3M*|ylX~5XNM~BegqbR86>-h7pQSvAw4*9ifAo#5didFY1 zu9{H@h{{FARJawPP52lQR+7;o2kaq(POL>KShX5vxy}0!D>}=bD0MUdG`+*@r zc1KwFop_-u4aW}zB)!@XFA(45?0eB2Qe1Uc2UU0NFID*DLJ^}15&ng4sm}p`MoOEL z5-Cz{-M?wMRFZqKS91y%n1;Y1J+!WwJ`&M@20tE$-AtIwsbQ4n@hG*b!wq<-?J(YL{)??3Uc)MMNNhciD-T8ggIH}33S_1G@DOAn zXdpuZa!0K6!8U0mKr741ct)#X*#0?O$*$emNw~m&JrC38AY@hsnEujpA#b*m>vn@* zj++ayGu(S*CNnfLhv1Gs_nSDhdl-9mH=89M$&|0LT+Jfl3|q#RSee5(t80ZIL(u*5 zD_GJ!PO_cUx9U7rf(Eo{{Bxw{EGcDtlnOaavyaIM(A$0~te7Pc)vJ5xHb_0=;NQwH zrenl%p2TjvMGyB0G`jINkGdRtNA8pgDL5kE%I>BT(yE7ZFkWs#SHmOo-q<5|3E%pu z`h7WYh>J{=aX7#l4Vp>gGa3=0ynj;T!`}+h+Z>GUz897k^bo?*Cl>8f`sxojt*J`* z7b(aJ1xs(5Ssb@+2Rz67WLf$b?N94NkBD&>n_1C4mA*XyeUr~fc(76qav^kWMt6u6 zsUbi?c{;S&r=~!TXkEuvSJPBsXc>4j5P(x(y(2Czs>@imxfrSY6q@R|$u=T1(Zmz3 zEx?!52saFHb=iR+TJJgd3GFfw`14idA)o_vo+Q4|%byR1TeP=lgH>l;^M@7W_Ss{1 z5Vw>8N$?2ZqW20S$#U`(bs-9OQ^wHRduK=_qX#4 zoZ(pD-hmeliT0^jW~iGF%XE}HVv!I5yqW@%cQz*Q-638Lx73$gVO2#PggJYnISckq zyMsd-;wVVwn*m=LHN1)z^n4yx{5Y7PURgM}=@7RApINDR>`G%K<%HmGl9VijjCyAx zV%~Q>-w!!G z$$gVs=?GsFIx?61v%#YTo2qpXTK(tpb$ZZeAheD(?&>kGcGoraX94{J1ygB-V%)51;qYr0(OpYSe zd6!LFilTrZ7TJ+Ao#b9UnpJuO+cMGy6v@0stG}y%LU8 zogCA7&N%YJO2fy~(b)A$Fa82};E3xcjHp{TeL`fyuM5Uj2cpBuCa&MiNXu`ANA0#9Zr6;=oyV;}Vl64vRWf(Z(n`OR9*nn! z=KhT+4&A$}^JCLAT$6DifFVtgDrlnHtd=NZ%!~=3FluQAjq2Mdy~56w z&RF^i>0Nb;6-`}2cu1atm-ee<|F62yfF>~x;h(0<&Rio&-^K}x`rd_dN!HQXDq=;R1jnnb zDgcGVY2uq0VYz^R8Oy{s#20ucf|zOs01trv&)EOh9kFw#^tI9et9900*SS&sXS7Zn zPIY7Y!if8%sG6-B(Wth>vnr~ye(UOr+G~=l49Mk9E;|{4M3C1X?x%*cA(| z$`3_*3-qNcO)W5GE40^#e4j58tXwErlbAkcT=|Duq$g%)!Gj{*{L88wMakZkDVU~{w`Fnc7AucsNcsCsI@UgZmQ>U`?YrUX|W zdUlvj!nUcN3o%)vJd$bGLh54J)#|0;oq7k~%xTJ4=R6Do7+bEE92C=e*;Lw`*4p)2 zEdDq-N6au;G$*o7$C0RkrmNP=vvD@@*3(wpXkfGzyKpB1RqD5I3VCwr)8ca1={wMH z2()jNwWw%g1T)_CH0>tx_`*n5Y_IX@K3`AwGU%Mj_zLsrE6$pCf7-D_nR#PDF2-*y z8Mg@`To7=<8A>Ooa`Exvt;m`DDIQY6td0?gsrY=Ni*dA87(sg;s_ww-3YFz*{jTi` z*Ln>V)wi|HcXJAk}`(*#{6ik zv7T#YTw;*(uC3P7YWf zG=Uw~!&<;&jforkv?GkFowc?t_G^d9qpYjHOo!hDa(P$k^!vG1wYd0o-YhA7N+2tH z@Pb#c`{d%rqIs4sk74TMS_O+P4049dCb^_jRXu_-GA3+I0*sF8gPC!u+0;$Y&e3{b z41yTFJXV_yvk$#Hyo(KQhwv;=zZJEB!^YYS<;kdPe)c5;_?t zpX)xQp#7duAa-a8zv8ILVmz*B#D1VKjo{8O^$me(*@0Plw6-*tWTDaJJYZt zWFvb@o<%N}em)<~)+MIjFitVN%B0(zc)L#b|k{=Batn7F|HPpR3 zb{R#)pT(E01GNE!WFs#f1J=?~>)aM7DHPI(25!f=nEmPFYeL)hvaw$Im$asT6`)vH zLwqgV=^GF5RB8((yW-fOi-Q`DGb*;JkbIXF7=gbfFk{f!&|kn^?R$G)Q?N%h2&Y|u zkGqfG!+|)a!m-RCQfeP;eIU~Okj8^hL4C+z%mSt$fkeh2uHiu^CLqNq@b;V}?bl&| z2D)1>sX@dN17vf0B0TH{iVNz_bs@!$~wpEyLdM+uLr43R(=e^ zRkR*^JB58ZFnpZ)j@lZV3Tq_T$`q(spxlbf?>(vU2=01bV}lbhpuPa)*oI`IC%CdPxTW98=O>UO$DYdI8+a|A4d_P85{H2s=@o{7v|gxQ zuCb9Vr!%MeA-XjraKqOmM(DNTWd}%8Xc* z!5QRAK}6%pEL8Jdht>LjM!EN+95~U~)8GA=_wf|esLtYsBoh0jDS+Qxc7GZN6Gcrq zySW2eN9cZT_8kn=qcuAcfF`&y`^0^z4{2!o-s-cd?%M?7oeF zjY@9U?WS*r9#xxSDB3efXrit;&9>K0G*d{*^0x%dE@T}( zO-7o)%0S~epYnZAZ(d~RfADio(&>i92;<`dP0@iV$Ii~3=DBgx&~A5aE#fkOfZM+> z79XvlK<3R<7^A`WW>Tc}z9@nkgoLkYp?pDmX(#dnTJIa?AI_F8`(G!bQx2!docN%2 zaa-%wMcHopH(kYn7%~sx-CwlTVj+;n_p6E7!atO6uOB0xzl|Xj!)WHUJx}?Bl`}u& z0tJ8?e)kdrekr)yVcx*h9pVA2C6z(5?19E@>ms=STB5!c#)^Y;o5 z;0qrLH2}PPt2tcmv8Zl4aX)Ql?M1H+xAzs32~Xnl6UC;?Cs&E5vL~RAW7s8MGI%Id z`lD-8>(4;Kgf8s1MPy>6@hm!@P=&$V4N#P$S9aH^$M+M{%gys^b_!%~g&emN!Uk9M z;<=S4Xj}vvj8uAo6Nl%`J(~m#?^wG~6e`yu+Czi$(`yR|_(MS;^?yy>|FRu0c4qef ztw~htY&!kx>VPvwMN&AwGy&eAaj$_JPWL{kA)fp!z zYynf3ME&E|_43K=A2Xy$CI(GICJ}T7E1FGa1=p2t`ERR1YkPIdGAlqJ*3**hnTi*CwHG=zZ03F2u(3tGVVh(fVd42=a0w$&m`n;1Tjo}fl6NP5riSinT z*u#rMcn9xiN05tN0pfYp6qoa@3vjQ$5^NzV1fK3>@gb~G^yk7Y)RuX~RO66p$ls|X z@7kEluH#w@*bFd*yEwl@T=;?Pdx^;(zNkDD9T*+FP(F5h>sy5=J0gb0WnQ1=*wo$7_w`0F`ZNRNZ7Ak*MKbR_9wU> zs!f;|pJ~e&d4GG;^pLGR)Yv;M0Fp|L=bbj0L`qu+IN7fm#hq0BzsI-?)%#c*yf(KA z17&T{>8yl$NnQ}~cQ&CS6uKQ_&Sqz!bCqTn=e+aMEPC!YAJ5JP%8>Ao83mtNdZD3? zDMezBM^MdruYu9VU@63!rN9O9)MCfXj--;&?-dujYie_Vx_sWL!eg1 zG8@zg?>y(1A7cDIHDD$?SKjCfjfl07;McO48TC0c42Tuh|i9@~mV^hLQf6uDYQ zYwyZ~-|*>!Lz=_g4{eC{H1_*=VsT(1u|5{H4D{R{eE_iC8Oxov51hazqB4VfE)!sC z#pZqdS@~Q!v90M=W8+S~x8>JY949?sq&O9qkP^I!z;~`@aEuCikJr6ee89FZ@JlwrdP`UV|zEtDo-LCfaSg zr1jj1R*3)U+{powamM;ur`DTz;0WQ! zgd^CFhzKCB9DUwq^Edv7fI7*NFy-t#&se+?-2qJ)q6JtaD6I{Yek>9VI z@Lld6;0*FwM7b5rC!0Q(fIbxK9-aLhUgNFfQt2&pQBdaC0)*4!HrQpi?OOh7Y?FWA zut(V(=MSyG<@XpeGY41LKXwf*!JlX{u~#Mr30FneVZ!V#g|}mVy;#8{5SaO^Bd90{ z41B)aNclbfx(|vyRK7-EPnMYKt<)Zrv&uCjK*P`a9R`77aYIRK-Y26BqAjEDJO-70 z6Y0Jcheu}50clk>QB-N;+CV}dN_XRkhx$W&nX1@#SD6sT(K8V%`JJe4*6fjxZtW$5 zD7b#(-T_2kzGfVbDgThHXPhj=j?Lx@AHARJ9{EnK`Agsi5tDu1Yb?+AZCk=Miif^74uSQ>B`JG9gc##j$(gnUR~^8O?~6; z2ZWWsQMp)h=X`X@lQ5?n8&v0i51HsqbvKkc+cMz|W9~vbhzyRxUMGU4Fm&i>q5@tQ zZ+73S-1LakAr`^)2Y)ILj*RI~OHa0v1LvZ&PHU#0`1SIzU6!cTvgMa^oR7t@+-LW^ zQOcAGG4yPm1V#%3G~Grvv}f5qG*$rPrrfdr%$ zgfF}BKBb-mxL{p^&1RueiOlh#dEw}_Zd~I2+}VYKJ;rhlk_r)T{87n2A_h@CEZ50c zMx6XsaEht0IT^&uSD{GYy`9GlioiQ~?SuXj>g|B@8Ay=P&KgfaPszxHVbE)v;SNH8 z*C(bDv`di_BhApfn!tha8jd#d07JG9p`M)T9BS)KjZ$?kNqmiDdDs>BAtxJ+Xs)XG z--n2~a-#@qUaB^D<`+646W&fyW`h2D4SO5;F%3|;#T?bBAE3U5)SyYhs>gQP7v~@G z?)S^a!O}^DrTtLW{{8#BwZ>94boHQ(QFwxbC4;s#Fou?gx-9$OAR5D6bvdZ8+dUPnt`Ou%GP zO%;3H>_OG^yKM)f?7GZ7n$`1b{#){pp& zZr4W#U5YTlGC;IA>bY*W{86avBndb{8`DwGChXL~)wy1fcdEY6iw};!em4fb>}WRl zN$VMOwc|>`!bsA`-Ahrz2-*EIf16qR2Ao9P(*FN8W;5XN05JdCjs4%8jbxA(s3YgL z!HL@at~JS^o)(4-0tlYA@iMdO(uhLyOU7^DVHT6!^R@hSL$dk@81N2($RlQ_W|2`5 zE?hGAFNgf}5c5sxFW5RUPIbX6iEA)vDT6H%AvZh7oJ2i6^hG?y2{Tggu`$+%s{^V5KtkvW6{YWoS zPkevqiRxGMpmc-vy7&BjX3WW}#(5v^F8$BMN|t4rLFBq>E$iZC{Lp&RTITc`Gw`W; zn!3eYe0xiq=F+X~=gBSz{!!92QT$!tkBe2)~RFm z?qnswX?Nwi@uph{biW9Kjh;FHPc2c2q(rzgZw(2Et0<|d+ofN-J!IP6AIGg~A@a2^ zPOsC+3^bki{327c;7AcVv1bAO~D%ZB=U1+E%k zb~Fa|)pUK^a^+KKzGPT>ne9qs^&rM2Ne4Dz1_qfo^ZN`|z1vU?*tVJm77Lmqr;D%g1inrLs$mLlXc!z#WK(zLUj5l>axP!y+ zV2`(ulUgcU$SOJZRjss$kZ12lD-+TqoUZioc$;b48c+nIfI{zJx-(AErM*quzthgM zHHq&iVDPh!p^mOOT``rtk$ql;>4R{cB;M@dHyyKNU|}FG@Wy5OPim|4ZbcoFi^iJ0 z5z@ld@(-@5RJj48`%Td-e%C#N%86);g{)}?z7`DLaV=BdCHXN=*4o(aruKTl*GF1x zcM>xLSD_~_d4{YT=fj55jRX!gDDE%KY%f-*r3H57`P0s06Tzy)Nbcz6LJyc69{_AP zDQsYU{kbh65R;+(shJLGWA)EP_ep$)6q#P1Fn^%wQd?#d~f_4XSh?@O_oK z_v{A>SSs__-I1*%+%WMwAX&Oui40TIKg~T7)nH+u5Qvq*1Fw5;z!|y;rEPzb*cX2G z0l>}H%!X9Jv5!np+tE!aU#0TtL`C8Av3a!iaCoJwUwHL%m1?S{EuZi1yqoqra&+Wl zH>?N}fSw|!#l$+k(G2@_4Yr8c7*7*bxJ|OVAL*4_RrIm}(_e=v!eGP2ft$?g+Z#|An(+Ii1uozAypR6crkG4CLQP19L-C8Fv`y zB()$>pCN(jn5wU!NdQa>VdDwL5e6%b7L);AfIRRfIdibMs0E_<);uU#duaMfMDqua z3b|6=>30qTO#5s42Q?RE5@Tmmt2g*WYMrK^YnL?71R%(eQ~Y^U8BIRKDpv?b=t|o` zJs5O`&m*w zf$w)K7swf`a)2H*`!e?!TbdK)JIK%SYbl)CVMkdXVu0XM*UeV21Gj>*5~V;^S}D|7 zst!mAAaF8(zp!?Xx&S+|;|+vZc7l|^32hFhF4F|NqeQ;rbPX&eqIDYIQ3&Q2O6@t) zKvP%8pPf^%-hOw7cb671vZ@WIQDImh&@{FUH3(3ZI^987i>U#_uRRWkju<>RFSma( z(;DGUQsdUO-!E8DF*GlIFDDXAQiVZ%^dG=TF72-WIya)P_`#T|gqL>_)v5~p(TxLD zGit-~(%+UBqq9aAQFr{abk|{(IM67EK4lF@j{+FKW5crD_f^a-)?cNl;D(3_Y&`uO z34r2Y*d)oCF=F(VhlEHt@K23R`9nf53ft4fX_;_Ps~giHQo=t79{+9)^3kv_8p4WZ zZ2|)iH>ll}+AxZOweUPugu~2?`TK7_fBosQ?R(=m_rMAhadKI<9MJy5ihtvI1AlGN zo{$Z+vS1RIUcD0Jff8!Dr68gdm{>?n#6C7&4J5UxTdGLxU}~&@(0cl^Ura0QYfqgY zWon?-UW!~Tmne|M{h;@ItO<;iW#V)9jw#Hx1%TPRc&NHf^>+t9LV7>){7_CVBqJ_j z+tWjUIF5!nh#j3D^*X9~s4CDXXo^2w7(hYaDwecT%4QkHK)1W#{`>h*po}sG0@LDZ zNDNs(%{E?o<%D{2_eku=3Gi&q?gLt?vx;Qa)TPP-Wt_8+hC5U))^zqS%q27MZ!@6OZTnX+z{V6I=djFv^=HJu1-_2%(=p=PI0u zIrR(EXh?N+SOk)JeW!%yeE`$y?r;Y&GszF&bL!wmls*h!vG@_~z(IK^szrpJ6Hk|V z)p@*YjqEkH5i;<}!^ZK883_kwon65T6pppw#d!i)BYRSTHAK?eM*4W;%F#73eP<0y(e)9x;CX zbR^K>momH+h^xeAAfneW7VShqc*i6+^jBbPB5rBHd#DPv6Z;tJY1229>&!%$TP5p# zm}Ypko><$zT()cbPwq?Zdly9K!V$Rehi35T;f$(EfEvsYXz~F8d9~% zySsaFJ-E9ScbB5Y4hQET#e48_fa30M#fnp)xNFe@#ogiZd*Ao_a+7pp zNjHE;{jmPauB|D{R>tZnP7jiqkU^J8uFMb|MOzy_S& z-o&<%c|{?pHja*Q4|MQV>dk+SUhw&K-@{34d~wgL15TJPj_!9_Zth?DULjxNL9?wz zOoGhWhLh=-Jrg=y?Ha0HGRxP4aRB(WP3d5o7b3uMoP8WHykc+p}pApjvvb0vLDMRkL9c}2PsF2E19cH z;VkM6e~i{te#P>ib*tb(4#)9zhe$rD+<+&Lp*GpZv4ffdo~IjQyk5w#>@U_TsCh z+?&S}rS+GsVQ#As{sS}8p0LVm4`Q^*9W3x^`>GYGxYzcOpxIlru^r&+38vGdKTU;E z@2j30vgBEwHmkw0hhX_%K!i5ZT7IV0k4Qep^J+)&C{YTmjpVj4n&RzhY4WaGHKPV`SWEHpTPg$9$@Z=tr2-r^Z)BF&c1{ z?6;2pPPR2v4J#zc zmWn$BA#LNjBwu;?BxuOS7xx6aVg(EUN_^ph$^AehBmF|)d73@CBgByYGcwUbz1)B- z*G$T@8@|ehlXB~Cs=Z9xCsgjud9bf{2ZL8TVIQ3-1G`M-FkKH%m0)-P79*`fF?=51 z^qE_++#@Ob%%(w-B(}Vm6&gl0-`CLXTxmEi7;{f%bUA<34N>%*Ua1k!kN04C0%lgr zymVHDovi81e$Lm38g$f_;(uHzg(Qkp$0gv4Xso|uwp%zj56?*A@=`@R7m3I5QC~trKE+2!%bFn& z{4EWF!=bKdFA;iM(Y>j{RAP4RdApcT92uLOtP(Qro`c z{1{8LV5SLQ`W7*U5X46Va5NQZCzpG&II}?WHDuCUAx6dK!G`7Ly=a#~5Q@@f(;}4dxGq2sGa-_lENFqgTCU&VngaxQ0T*%VER1=hF&$&;ArT zjN9JelBBxuLPGGRqg$Xdtxqly<5$)y(=~CS$cjOs3ZjUk^&~NLUxrlZcHL6*4LyW= z)X_$fF2r8pQE;7mn;h}arbuV6{1(?&3R*4=EFou|%h@+v&jc{m`3)=DND_f=Q_{Zx z7anI5rVbPxOLrHOSX+B*!*H3PTZnk=#%6$8hd2lZaBC2r)T=4-Ep~1bK(X^Ca*t@h zz~7e{_Pwlx#!g$uT}3LC9f6?evIT;6Jrf@nYBzNM?topFuFP42Oftz56+I?DHDaKE)dMoarl9H;2g=?VtV_oXI1ia zsOD5Kfno4<<|#yE|GlPGK{}72>Q*IbCy6KRnPlOWZLT%bPe8B-Yg-?EOKzd=796Ne zAkSpjhkejZIlO*8e&cOtxNLzuJ^2%xKzH^VHFRdrlsIKtLn^03A7P$Dfjg4WPDSO_(gqU;@|uY~QE zgQ`u#5w+f(!7i{sWlrAB9TGTR05k&yp0Jfo3+_rEYQhFj)XG-|N6HGt(SRpzwV8(d zLk?|nd`AsW;H1f+zhmFIH7M{^v{32RchsE?KA#>68GbjJHQ*uSumC8o#ye%y5gv~A z-NCMeC2ZY}g|}db1Ms)Xw!$mpyrZ-*f~5Sgz+;=^44I|-D2)zMbxf)S(1|c zGCLNQ<;`_*d*zY&I$u*vLt=z-`^V|&St5}Fb?@qfL-ZX1aak+Iocg+jDLz6$<9{g; zv++3lJa^{RYJw@i=k|r(X{an=$6*t3=hX) zvhCb{kw}t*tX{$LWEfeOYkrNqq$TNUr4S@+I>ywk57 zu50e60F{RAwcZLfL6p>L@FG zi0Suvi0T3Q00$(P82%*IK`UpGzMB<$aJuK9IecU0vSDE3w`uEoLEOWr5Is&{wdf}K5^0(*xcmNspWWt!^MMg_gt3`CmrM+?Baz5=! z8{k2Lt$uOLGs=NPZLAjvM>%v&dC{GP@oDGEvri+m18XeK+{edPComHG(iV~Skn2l{ zXvq&-M$#JN;M#i(p+WMe`@__0b^_^24Td-V^qVJ(6<8~khC;Bi-6`^Qy#5-@LukmbE$0Ldq>|H@^yXT4N}0Ih_~8Oh-gtKC2!3Wte#SKp26LHI$B3TVWrcL zxq-;|1>J{G5vO9ee=KmbOd={+Kk^GvyvYw8;JK51ZYjUdSq!a#+$`||8lF0P>D`Tg z2xxq0BrF|l?6m|dsRsSkg$YitbzLby%*Tm z;I>Q+#gsSP?FON)%xv$8s709#3e2ZJTv6e(o?--rukPpIRUeLt$9_JK^%G3FhZAG9 zq5bWI4d6!&CTjrOuo?R*sb(;P6O~e;040NdY9-hBI zNjIU`IMLMUNMEv|)GPWUTW}B}?8BI7jzs4sRx+Bv`k%NKW z&_>PF*r*I1Y4SE5elujhgY(h_$#$3_cCLSRL*&mSh|_=lj`@uH+i=XAFCN=Foy~Rh ze$KY@MbvkhER8C>9t5d3mQ1Z*arw2RCsp*brZDx9yzg1X{GTUp7gHiKpHMZQkXZT; z51qe59nH5O8XJ*VEX+5*n_vV+!6OxyYuWHlEifCn>}XdM77C{gDj58+0%Dl(9tHKu zT3gnx3R9zV=n(*SUpxdN)73d9_}MiS<+sK@!yLRC4;l)Lx2L%PZ96sX(&V+Gr}q}8 z?=P$FJC~}LKK#6y7`x;0`Ds}`*_OeL=Y!dhM=!Ft@2U>Qz0;geuY6?1JO*@U@UHBw zvi<|##4G+h4g^VfQ{+Tmwr~F|DWWuzZ#UMpo1zR-JuK+O;5>R6a+fTw>vj+2UG&R< zv-cqVdRA5e%vAI;GHEnNT0@_IO)Zj}nV_a+UHQa$)Yuu54OAs%ylpXO8z--((qdgP z(?c2tZ-mpoj{)$;V~(PA8wZ4j^Ze!I>6iwYXaUlP?ztRQyOKouk5>qS$p^m zGpJwA*STDt*do4Jy#C=*UI~3sxTX3LuQXNVs?Ej<&9}XBBxfHTJn8ZZ9Lpg)Z!iPj zX|{$rndb7@#u>;Z>kcAw@*$*DY~@xow2XY^C_=#>$c7z6*Sx_Y$ig0u&!f{6D*^2lhMhrRv3aEQbb^O zJ;OxvE?GW~T^tpD!{lRyR;gj0IcI?xZ+9Pau^;@h{f+#9BU=QF)}crz6CSLx$Zp{n z5b{hb4`1m5DQRLZ7qMz5_9zfGiK2{5dm^_AcYRpYd1w^E9*vr+>B5y94a2XHHWyZh zfL~HFzyO-?#~J=XBF*L8|4luZ>OEZzy|#;w%fDwdOuWsxe?~3Kh*N zX?2;^g3-t1NxhG5kn{Dwfs@W6T6ko zIb7O}7SjUjfrf2)I|_Z%mke+bw2lZ%q7JTPIow$GsE-sugVE?OtChED{uU#JO0ox? zdZ#G72d4)cN&p0J39gn5zBC$^v+q-mvx5i5l*18YX*}KwFgOIhfI`*jv@VNW8KocD zg`W)hvdFf0C-_o4NBrZi$dl?&vRy%4Zr;NU_m!_vO$j!jUc~K#KPC9=D}%Ezu4X19 zedBx&lTr(kTPb%1{wl%3z;`M=hLk!=^s`+QVr?pi986)tFA>sozFW>qiuEt7?xMQ{ zF%&hKpTdq2DXP)V(pCGBDQuQUufC@78e7_66SJ4juaW=ViPfn0-7EmyO)lD>Kq~su z^Sy#l?S8mA<1`ZzHFto0+LVo|4OdBZK5AO`XDuY+QPcSfQF)>P?`bAfC_?Cr5c8IE z%LWJ(TI4lBkj3R3GYWW`%p~}WB+`+K@tzDB3fhKDzcKe1Kc(Sk)A8a2RU=rl!6W;s-s=G_*;Rp1&SPhKuZr(2rti!l~dRJyecfv^o&h#!d8r zlOIyTMZP>&a+UfU&=ul8sxLXJ&x(ST&8z5tdgC(7z|kNTAALR%x@8#``;hjx9Ni`I z3eBAP?qbd9CJ^PXT$wT0m>pDP4@;UH(55s&Y4p zr%3zioP}Z*$Kb%_5PP_P%#RONypIFDESKd(yNag#xONmn{LfCwC_AXF%o(g-8SBaK zz8WY8!!R@u$RJqO3|D#2<61O8lD^vy+%JVo`x2WXl^c0$-8Hw{M1>m9gRTO?1M_PB ziMX?sRFM8?%^dDBf0Wns^zfjr|1yD-W)r)I1e z&p^4*hG+^BzS(8)BuhKb`T5U6Jt4%^$V6r?CDMPi-$qzID3!pu`@3=2-qyZnMu1eY zru~+7xZUh_(a85>u6OAwtXK`Qobu&lrLoHIWe@&-_RTG6!VkH%m@KB8Du=|Fa>F9M zmCbf>KlQA^9_-HEJOw_i#=DTDRZH5BW!N9Z+?^07AaQlLm|DN z;9FIHrE7wJW7ilk)`82rSb7BR%!P%i?-XXY02Tp156x$PbMW)EoW_sFJdQs2$GE^0TOn} zdhppZczLtIf~e{FqN(#WM9o<-u!<=ur9_~n-NrQSjV33i27teB&CX=~XtOaKoM5k` zVGMo%QkyYTZ%_q^jRFse+A$9LvKiTLc@B~fvD!g{UKcXQanNn4XNF*++QEEZ`i)rn z3v-G%{EN7In&9fPcZs$rcn?|?EiBIVln)nRy}*;84}*){_aa%4!QwVNgFlJ}ds5c} zZUtO5gHjm&;o2C3iK9s*-*z_6Wu7HIFh8U1-@T6^nrGcS?JXV_@C<2W%%@zER|_1j zN0+CYL&mh#-bi9I?wMY3gtj~G?CShtJz98V(9!{-!2n{G3(Iq)>x2zi$O%3fivvRy2`J6773m^rwNzA6prnYtRKW(o~9c9_+N;T%EHth zo~l+A%X)w2Y=T{-_boWAKArM7gHJuJW?q)ReDzOB9H_Pfi))zO@$!sCH=kp*4su+a zd5W3N$5n?de)mCsDrK%Bem@-51k-Ij7&8SI&=(7cC+2QsYW~SD#K?kvGBdpBB-8G~ zS@i&hj_m971|EDbXAh$+q-xweV!ZA`H1DbVF$x?7;L8YNydtvdzQutrz_X1z_#hvS zzF8}c_=N-+4JDtXMwLBwo#cA(V$4Z9OcaVV(hx~S1$QKMX9jgEZ^p` zd&Jd)3j@zovb=}K5cn1wz(*qAlc4mHt6a6H97~H&3n$QUuge~xF4S(4BX2L6RHJ}( zavY)BPcM#cb8nnTdyM-j%ky?%G`L?07SYQgo!7oIC$*lwAB66XI=X~Pxib1)|H((@ zQq;UhUQo%frF%!1-J{~phIhYx%cZ?y)YGIz5M71F%GD=HNd%QEu;GJOhoY=;xG7SN z|BBM?HfZE%tFqAGXIRsF;^EHQqn9*frZ-O0sr}(g{tp^8=NFO(mDLMSP9?uivL6$# ztsP!WEC+I{L>$F6l=%vy3|(--ORiAr%Rdq&HAZqFn_F3f&H#-3qm^|&1|wk%`zP| z`QVUU^5G{Y(ConJ3>wI&pQ>ee1K=Q3Ut6B7?Ap|UT-WW9>1vIA=Pof+&qI6-5mSdFM~`O5QGzmQzV zzoF{SM5ai?G;pOG|FA9`p2R{D2Ws1g&oJ>dnjZ4AN(+fx=$oFpkk5)J@ui$^* zw`Cix#xt~H2A$PT?SMjVQW>;~d$=u^P^|CKnElY6xs7~?!jC7|LH?LeXXEtcbGpqH z$f$LV^Xgi=TeNYy-VcMBgZGvYGa^}4L9E5pufqak#$Sj01sT8#CP^bc#F&a)25xY6 zHm-v25pFD~%x>(gj@HmEmoi2Oj#ncBuQS$af~ zXR`Q9_aIKAUsAg$7}-v%5@5ucx4@}fd%8y!4B#@txMg|ceI3{f6jQ>Oi1CW)f57=V zu%+a#OcBqB^003hmIg3|VJ#rW&GHyQj4|tGhE-lhm4-`fAhsb@we2irpdJtdbJ4J& z)E}eSNN_A6GGOevC`EH)BxeKI$bb1i(2xVZz}v_+P0=bVeZjIJ6~U{AT;`sSZOGF3 zrz%O<_DlEKb|}R%B(U?iGdUuP(HB&zlyr?^&Za z(0*cz=Sc}MA!=>Qo0ab2zx2(OyKiqd(wLH{PdAxI^A8~Pn}08=63^fUvS!^-l_a5L zvZ;@?ZH={%m;1x#(=FWF*T?gV2N&zXhxM+&A#u}gJ%cqLiL5`_yPTNbH>wW@N5e#) z|J=_G&$<=cZLZq49(9;?H?ImPNoEC0LIr`YW5sbC-Hv0}E%t2`W-iMnEiMZ!WTTMk z;?;(W5)LYthZv3kt5xu6otcl2>GyTw7HE)^JPMMqmmFdD zyU(c^spEH_31<@*sQrgR>u+CkkxAhVl=#Tw+N$P{gA>s#p*od46%e$a@4dwJA zhU?UGNNU|@Y%9+zk5AtfTl{3WeZpAJo*2djvH9yyS;b~-6)om;WUf+mukcgnP?-V> z=`pgsj)RJrt-w@PLy*QCB*~KAL#J%@nlY4hwJDEMg+peuJziCzLST9}9}INFPXIs| z;_aeu-&u2o^l4wB8)LT8sG>3NC{R#oo&qBD`+!y?JO5t~?|Tzhze_ME%neghT@W)B z(`ydW81deMPkg$jLvBvCgMD|V=?N2fb2IyW5iI!!3>Kr_n=a2`uy{F<)YRM`F1mFQGRNE8Ul z3wT5^7EKINydjW80Ee=o*r;p1cdeN-vf&V@7K2W=QXGJzYcj?LD}54^uUr@B9f*bN zm9sMn9*$d}fWnJQr))`SPT2yc@R3muVnn>Kt_NV*=;9sGFw8p^C`kGmGP$t*3p9$5 z#g%mqq&3Mvy&5w`{&HEqv6cH;sUXYH?5c-LOJ-+~*wP3*XI%=isU`DK2W;Ix{8a&V z2~e>xJDji)^A{z9Un7~?cm%=V=`CDYUQPN=P&K6`>?$%bZnd?063sM* zcBC91%1U)f9C6vbaE*JX!?=fsqhUMek~DAId7^_h=`|o*5lQ@WU3m0*XZL2a^9c;R zxU7!t)DDn|^cuqqO8`KFnKz8h7QHk{j+h0i7OsKuS1RQQp_*|-&x-=Cz#WjTn8Sd@ z`C()S_>qzRvsWYsTd*VtR+tzZ$zN2M z!uP(Bo5GJW%lmZDjEg%AKqLx4j|(Vd3Ck(t3pwS-I79G{tjUnloN2>5P|lqD5m(5juU&ad+ci%6f_`f(Zl`UijME(v3$;&bY zs+^)qzz92R<;prCY)=ROG`?~09-tW>GnKXLgFE%>W~379aHz`**rqy_I?T!)PMYov(r>+!^4*kVmHyxLNJbGSiFovg+uqEGCe@V-`2 z3xzI8zNslCl*3GyV#9>-#MQ!_St>-7exw5{^a=^HYN>^d@kLo#-ZXpcStW@FOWrjw z;<+1H)Hzgd+D^eIV0mIIVYq31<464^m9g=R7VWjXqx3cpC;X+^zoRZ|0%|sJ3OG20SJ<8*;!cJt^lVznnVimeFw>b$B2_AF z|8^w)B;qtKp1wH-p?%tpk)$Ft^UF!TCPB5+-tWxg4{ zxVl+Pp3;PCa-8w~7}dHeS<6Y*BL*kHIG2t+eHPtli<)|^>R4xYQ;?eHpxrQoktx|a zg9(Ot6}k{yf&W;1z-PpP;(=#g52Cs}cWgVIU;?9CqA@>zw|b1M<$_x8@mAiUuKSj! z5-qGj_#F>$MgZq>G`|JLQpVaw!Lgc^n^wX27<=9ahuLxQird#l@vl1H!{?|v%Q2Ci zm{mr%2B|X-R(xH)ud2@7-v2%U{CW?ixPYxBBT0bn>KYQq;-cPOP+(Ui2y&8nJNdf0 zGwIac>jFt$-4Se!a``OTTvz;p|GS7-=slgwScL^guHx*0_8Z2znn#E|M^DVeTH$e9 z-=)0!0ix~S#=cW^ONfslfp)N$_Firb?)IO2G~KXos_*yYpB~LkUfhj8vw*B#%x+E& zpGqw>ecl2k%*?~y?zgV*?Rsg<3g7TvnAO*kH~w!qmGFOFP=U%F!&8F!xXsYGbR7Nd zXaxA)FYOFyOn7McXn5X1Z8tX{jR3FEJ69WxOZl_C+q(z&A5V_PL<}IKz{jJ&&&w?< z$1Tq-EYGjNuOO=c-~;eT3kdPZ@k-GAzbRPnKl=aPaNz~~cV0%Brs|R=PY}8POl^Tq zpkktu&(UhmGBqR3$)U?x%+V#~*7R|-IU+fo1ZejaHHOE7M*-ig&ZBoFf@eCLHV1-k z@OkbaKAi+#ppaY!IyCmy`JI{XOz6)^)?HQxj?8^69y=xM3yr=EOL#=)os9Rcw;l(z z6yHbb)v$%}CKxdJR7-(34~I0SvA8kwtZ^M~HEMPEAyXZxEA~ooiMJ*Cig{CzT5Fg; ze>c~eT{|X!Ubft7e-kc$ezx@LI8f9>klS%8 zN7l`Csh68|^%u@1C!g~5EXV$nun<~e@UK*K8msU^uNVxs09lADnbfNbn0lPLFTA7y zd;yWE|MVwuH=$6ZC$pobfqKBHTm3`EJwYQ&VowNzP7zHJY};%CR$TcTKIXuD0o3HP zio;vtoWPQivTMRhaGc2LI7Ri0Ih;7y{uF~(l3$5pGRcD9pKhOW*AT|w%)`xMSA~RV zaU(IYe*wE1HZj;8BGJPorNRFERueA3sTQib$(xSEXG!!s)XyD}Jw)D}&=g*EQ^XL- ze^uQbeGSQ{$E*%czgOIy`hbsWlj$4b;4T}J$}c^c*r6iCCnME+$J#AoB92ZEZL(1B zhJWN7b3)3izmuOVQBC1(xz}MU^Pt}8W8~~jol{^}h-n-8XSm?``Z6Jt1OGC{r3F1! zl65_5-H1xIGQ`qRidNB^qxe zcH%fD`4fJ?XDh%zxFKNHK{(9Y10uJrm6NWjtvKH1K5Uw2!x=r%-#-g@YrAbD!@UUU z2>0N@i?|)UVa9muz?Htsrqec4%po%A6dhz;5Be-ZA* zomAD`$NTyhZwOQ%lC2JTaAzB5={3LbIjaQP^1uw zh)1MkNK?*d89FeLS|R*aX@cE@95e7qJa&K?FIOp$Znk{7@6n562pN@{L9lzyX)Cv} zJp>U?StH=L)1)f>Q_PzZ*q7crU7+d+PD066vc9sIs^D zL${6^&d`!ASCS$~K9jAxUnJ^iL%XiLI#Oq}DBQIZwmf%721yUP?p7$Y&%JZxx4+%C zfN&ZYzi2{+sy$EI6!7&QT$BoxE1$0`6m<0cx+|s`Km6;SJ7^#TzqmQ_yAI0yRN&L^ zybV`q)DKJ-$ZXuMB!v8}zQ5IhH1QDYKYN5ZGF4{aOEFnypx9-T0+pu9L-0mLu(en- zrtD;(sAf#ScY`tk<$ny?{}@K4jFbsLDmq|>%80H?$>=3Zo>D`s+&(5HcUhqrB1^I< uq}PrAs5f>$q3vSxM` zE|$bhj2vu9vsu)DmW*?jBudwrhC?v8>1Nz~YGRCv)^|01opx`@i-5dZS=eB3syLvV zZ^EBKCn0%(n@RcvcW33cCZ^OP>E@WNb7{iZnr#`#R0zt#V`0 zH_E-a!$2^CvX}IjzM67bC$975dFu0SWq$=%4Adw>6%87wx49M~Pfyy6SmE`+{`BMG z%M$yV`b;Ob!TQ(#?j5Pv+#c(CCVH&HxXFgdL8I@fi9wirfOrDNLA z>n{6_sPi=zI|<_tw1Rgm{K0P#*NtmR8cGODFWffHHJIonsIX;?dmO9j?J)zk9hqX8 zA@fv2I|p3A&s5%ys`)veNGjMrUa;&nd2=fsZlMPy3@GqN*DZ`PIOv;pVDv`8jH2@m zh6&*{5Y6ETM13>{$>}a20{X`a}clzGKY*REXpZTm{-ca z{FBR6ly~Jyn3R{ z;x7|m!P@4*&o&lUFt3!MVOdB>FaP4S0<&%C$1g0_h2d0HFAZgePq3>7d~e7P_2mcs zy4n0T`Lm8rYPl?nrW9PYYi~&}2-5a_3`5*~m$uJe*q+*eV`iq>V4JQMrPFN#kw6hD zGSjMltb5p+JLYtELsxc7O=41;aY8i~G2bsBN7|Uv^m?-^3CVXT%i1U@kmQ9`CsZOh zoDc>1lElkqY>YB|;JyfRF~2Vs6@?#WWXp4-YQAq&;v~UXHI~ZQFC1FLf_+?OzQM}M z0;S#6XA(}7R+u(6QEul2u&blh8(K0Jh^rBqOvS)<0W}N{t+Y0O6N!`rwy~^N}O91R8lxL`(&AMzSAw3|ufPvcOP)WvwDCN-MR+<2@>PjK3% z^@7Rn@nDYP;9AIZISzE}FsrP-|AO5|BG(+BiRO#;1>ZRYla*nrmVEjtQ zHaB|r^s#%``fvt=rIQe2cO*XaW9_p3U_BS^lG3;97q|9<Yi_t@m;gX3%9H#JfDo&UfC!FKvdz0_7RG_DqcWRN$ULJr0F11Ng>MEFE5)sCyB$uP)0#;slao;=xE8TOzJHSrO_tzDge$5brE@%x zqEQ}A9Fq7g%rl2HP0H_)nkSJkYf5a0fNOt4K{E?cr@fb0AyEj72xm0z7cnqatHk~! zKf314zu9MPEgHeSMHxn%E(G^HzEAX#-p7Ot$tgBe*&)c=^DK&I%~63!&7(H1Go<3? zy~aS#6qKUo{cY+fp%kdwkgQBas?JdRH#|gU0v&zTKOr+&*{LR~?-V_{P`3c$tkjSR z=5aQW!H{IqZ7&vhEKy9n;HDZ_vb2n!v0h%UX=eWEn68^KGM1N4R}9sTrw%pwx1MFD z76Iap=C??`A#hN!@jMD?8G;Nle#`4X{Dj~=cgx#y27M*$+>@Eyy9Xmf71TakSA9c8 zp+iNrIK%|e;*pL~GN*r+Ey(TB<-e9>+HvlokF;)qku?Ls}h6{&M7nTl*?0sI7{X*On8J;hb4rhg;sTd zidL@4tVbDa6C!a#J>CJEh74>O=`n<1@MI+Cs}>Akt-&|&_xU@rdm!^;y3A)@zd`j= za;xH0YpVf}$?qz@>Z0lLY(H;*^x|88b2~EZ#P#uWyxk%2JuMgea9`WtXYu>E5i;fJ zN4_ZkE#|E^EirT?C7ZF23=&A0g*Y6D&`^5SiY zAJd!ew4J*oFX}4&Y4fz2g0IYm#?2Kn>a>lIfM5}jbZOpMn)X4GxE9hhuC}E%S!ZzJ zra|c4d$?>5eYag)Zy*k3e*9f;9?)O#Wx*4%?Q+^S_1&7tDt{BMck9xp9Tq%*?0B79 za#5eO%Q~1058n9pXpUVImT$*$f8;gmW-x@k(-igGc=GDX_It25aK#jRvOxb~ao6tW ziXRK`smGV4*37^kqp;Jw+(hc4?jGf8a1s0K_paA?IiJ4g4@VSaqNw0unCUBRhzYyH z)k^!eHLmuqt4u8w)J#;;H3`_t%T#2$0tMUV(pS`#pP}_tAAc@OwKgl?HUhQA_#lv& zr*O{JH6&ce6J(FO`m8>!4TH5yV_$%o%-%F^)TuE z#qO@$Mfd5#wtYFBIp`k>S)Y*--9B2$*anx@Kc>sG+NgT-30Lex_}1@63f>i~S6w;& zX!JMn|LbsFcI6rue0tLB*Sh-@zG{ME&|35?p^jP~dse{Loo@fBbQZ(FS31MbF#eK{GTeS93w`yy8OB;sDo@$?}U35T; zsz_KiW6+ZzF9`+qvpR&}Uu8IG$xSX2y@3|=Rf9|d?9j-->}okQAIckmJCeL#ALlik zv0?BuY%kt0%&Hh-iqGFHg&Ky6Aj}+^7aE#A;Ej|rrZocf`3Yvt?j>vk% zL96sfi@(dNsFJ86nFS93&yC|tOw0#Lj2SE!snANg;}9Fvcs+#=GlDNL4HC`h!}=sn zel8>*C_Z#K$%0<93D{#DWhU&_mX++J1|ek5;rD0v1Dn?@>MX4>a^lM$Z6S6*;~e4iLo>kL=l`|e z;0W%Cz&>G!G{6D~eX=YwsK_F}6${~3Jnm;5>HFfR@huZIN{e7-I?OS_!OjdgJ_hey zZE!;vp_Sv|iS26~h5HbFY<7AFuK(^71t|lK9eB|q+iWD*KtIP=OA;4E{KC(_#g`5G zU?%5?6;s$Ii~)!H@Xvr=ME1znu0DDu7Z74BVplExW zE4I2fvx|cVX42u4Zb}3q$Ep2XEp|_Ko)nzmhd(Z&{sLXJu3`vhW@qZ`;$&uI`ycfm zm(Ik=p2Q@8UQdNI1_RE-#Zmu&<$(ao`rldr88!?U6X$<*B~1cs0xEjF65A$h5+568 zp{M{XD097-Bo{OoD_6b0!Xz{((|=bQX)wcsv2*=bml_YlfU?v(*bG5~GXLZEcVrI6 z|2GwIu(JLa=9B+mj>m!GyQFbl>$&3;+OK1TF;Z*?-{6n>TX3xhxvowwW?5TA8~bMK zX@c9aF>%o>SqF4Y#tAvhId>;B5yyfGQiOj`3*kF&JxdPU;p}tx6BiCOp@MzE{L?5o zD!N=Bo)aa@w4`ioB-0=)p)nk>Y5@tHAm;hrHUdiy5K@yD=0(eS4##BVpMrx6{!@Bt zdYJ-2F!Vu{FPdO^3?DJ+7SlDa0mKySfOKV>PM+p4mi;q+nD|5xLq0D`gzA{+{LT=M zr5|hs*U1@U0te4{2vl|k4jlY1m)OjVlv`vkd6Y5ZDA%N>77YS7!Wf159%Qt?4JFk) zA{>YfP~qdnycvZCH6dbBu^q4F8F;9|Tob8~Y;n#c4{GW{!4rQ&oCMk785dyJCyIYQ zkVlFhM^$kSoR8|Vx08#I*5eH&u}4Eq}({6 zR)156Hb#?Do*|r2lyIpRVcr11uK_?oO=fTja`bfkC3y2G6pj9-KDm zK+Vz0>}-XnqxVMU;f>SEL;d0XVF%HnfC25+MCSL6Q?+)l6O_oyikI4#GSAn<(9sId zO?t1pM9rTw$B{o5kJ2l~;+AW;z#f+I2{H~BSOr`dxaWCUwkqtWmX^I{>1=CmM|_?( z5Cn4L(WTf^NQf(!j-#iXO04wzC>f>&0TgTZ!&WQ5w-4lfG&NiyD)#ZL@$vc(!R1m9 zot`nu8CHe%aXVKpK7)p#tsR9!->s_D(5sTI?hAnP;>g#=QZt=xc%zOeonO3ZMwD|q zmhV=o#2x*aF9MH}vy4m2HEJH~739TYxWsd|>tb?6bMX7!(gngh?VH<5HJi=};HI|U z)~-dj`VdbMR&21UfqnOVLx-i5pERksZ{}dsC!~{eWorlOPo-mdiSfa~x#A!0l+Vrb z5hQk!3K0h^tiSt)BD2>RXJ`VJi-TfYtF8hDohwaLr1?_?Cd9OGzOq4_z2}bKa3VD; zv6BR;O{07q1*~JmY)<$P>=hd~0l9|I&M?o)!Yf$f3l-1dKF68FBY`m*nbn&yH2x79 z4ptrG;)7v9wsOtapIA85zD28ukaoD%-E%?_(w;NcnaEc$e_{}PqivT*n`|4LxhB|G z&DB=S;Y*uHXktqONP>(XF?-@G$jd;y>MW@#9TNw!$~m=!n=HG2_!FA30P6S`QCL07 zpyWk`aIXCWSWOvF%E3+pKuGDz)qP%yM1_IvxgcMak;NRdvbR*!PVz zg}B=j&1$9<>#Vpi_R*I9<>avyUm?O%$GhiaOU^t`-h0tWtGlzi-211j?$=MR58L^M zr9V+-_6&znDHrP1cr6ed07ggsQuU_~>yIX{pfY$H>G?r7?BG!1U^wgiJfi4gu;bhQ z%T7cL%jqLU&>~~_DxD<3I6F#>k-in3L{3D};)eacw1^(ZvQ=8iJ!Lky1tqaJ4r^pY z?kl&zSZB4F9l{2^_!e33OYAWVZ<`OQ`55Kp;b#5w{#f=-0o5#h;KyALPU%K9vCJ$h zN;4*&9wN$to_Cs6oJvDGBXN4Z%M3P46&)(=@XIM5_HcbAv7eypWt zESk7SADzk;j-GavMDLRUv32>oFOfFaHG8SwN@#j!Xt>~wQ=&8>B>|ut&61E}0Sw8+ z^Mbn5wquUpB)c>}qd$CXYs+3Xo7F=3g`A1pqvUv7mIqdi(VOS&l8wpI;D~RX{f_-w z5D{>Tdo{KpfaWI*8h`S?GJ~V19<9RW>wjpM!oi4o>DmLuBI7e?VkwRAq`HQFFY#Tr zV^ZdB=cIhZnpl)OpSNEvWWi17o-CVe13uy#P@!nHo~1`Cpp=asEeR)C=wI!GJS!ar_6$ zN&0JuU~C-!W$~can*6#Xif?Z9@$i1}Mfv6FIGos+nH1@Tw9<%lyO0uVh6g%C^sJ%! z^^^CQpy3dUqXqF!Z;NeiRaH5^>q&qLbK_2O%y;xj3fb zfN8ijbObK=RSa3FDC`-ki}Bxpe&SO0o?{ycW658EB;Og;iAP{jWl$KEm=L&>JkTDH zyz&1Q7bT@Lgt+*KCr@T-Zs2E4X{WCLcqI8Y8CDAVEQf|)H-@yR-W4{+^5hLxp zC0wXSD2ZXAgVzC|^=P)FShqWwpc>)!Lf* z`R4iLRGsA(lm9tbv}${ly|TizNWYt^3$zVfoU)T$(i8onglqHiH=$}jW5^Th3XPzY z0Y1c3Mj!A|lH=_kK+Dzbu`YgApG@%Id)L~OyH9#rbY;9iT@F$SJFV?%=v})ZKoFOm%Idy&T$$f=ZGl!yy|7(jP2bh{vYDLlE zk1ADw+&8#i<&^0+U1cXOu!VME!n*RWI$V6bEeuJ*HWHFi zt!ZPptGU0{sqk&AoM@EhOtl5M>0hV;oxYVzh1GiQPOmy@1nl)I_cLyj_s`bvH}^#u z*?zoyJp4KI^yf>L&&M}Tfa{JT4&%5W-}@*;ei3OEBWXN!LBjUzG7`dz|r*zYLZFE5Kk+ z(hf+N|1xv1-`CL;-x5;ohhaGBsEnj3k5oTe^{%0mf=F5(7vMqf0{(UxbDZ%eHMOD= zP}GGOv~pZ4+fJY;F|`f>i@`8=uA_67(OeTDo)==oIuf@S%kI&B996djE5e{qugtQiK3@xK5AXJY=}>F=bbOwxK2YS&eD`t9Ja za)L|CbSw4Rlj17TFq^w8}hQ6jM~Gnd=|{|9N9DHT_WlX4jsiY4o}n9FLS zbO-bvhV|fxTeSwI{9D($Q3Z`|-52&6p|*r+JN`kv0nAy(Z!iJ5<&%4%{6Ghs*sJ`& z75%NjRdrYEBG4<2yG6;qeoiD9wv0^1MpY~D^Yd_{18{BM`tg2AGY0Z2ZpoFAU^^IGhf$)}I2Jy1Hk!v&c5%5`>>(?7=r-#H?!S z%+9fJ_yoTEw`}P40^!`IdP9XnA9L6-=%~o9&Ri~Hj=cekf#5g|dXsBLvPfYJe-MI@ z^V#2Q3pz?1I2;Z&>W2Ap@V#xiZuYnNf46zAPy+eT(h}^qe%x(i0lDacNX{{a0geaT z*JUMvj==#+B%Y8G;cO*61XUT#BSO}DPPae6%Z*4kz@fz;Q@J8G9M42laZk z$Q7>IjFlom3em61sJWAi=#0RmEHU42Q5i?hpzf2^7GNq;d}DDRJPmTTEFk_?Yu=0E zF#^?%0Z-^{5={*R`N&~Ume*-)F+_Sxs8fyKgz*N{*ajDRVF}_q5;#TfPnO> zhHXb%VhTXinRDvy98?i~mUxLsK=zvaG4A{D@SsniO#**o+>P8>!Jp96c+Z#}NDKH& zPpZsTNdaFU1mjL>T`haFbjf?vEv5FWfk1+4mk*E3L;SCKEvKfgStw@CQgq1xf5E0G zxx00Qe$g-yC&F{-G6)7b_o*MBZSxr$wbu&|yWi5_BfX_CQbH~D73UV3*>R_kbCL`z z1A9_-4fk)mEkm>CYO4(e@JK)65RG=@_n^D!0G4-%P2VK7UsxHuY{62K6a+o16Tph( zc1`Bxt9B8118HC?zBp)1P<;3VqZ-BJtRw>wxFa~De^LkC=fm9Ffwc{~2KKJKFSxcX?w}ai!&V+%iwh{jH6DUO9@rQ?_Mu{yLm5rHm}~(F2kIW_>HJgY*d1UgfQ(lrF1_M0>f75YtRK9 zLUXgdx_)^1nfi50OlWt*F`!fRyJ^ZJq)wmnmY(yWosB;JEZmvM;;^HZ1vFQK3EYDP z%_a}mB|WADiKy1;AI?mPHCs?y7b)GP^rpb^LSp$M>R#05Po@s^SEOV!Qa%p)DA+Je zqyh06s%`M!UKlGP;4y)4c6tt+R$FM+Tk+4xsS6s#HX5^|TK032h(PLZ43Cp?A0f)T zspr)J2$J|>&|jQFS_#!n@iD}GmzldNN^KICcQ;1E416Hc?V(~QMae`%sgSeqAU5Et zj1t@P>TncD+GU8BHD^1Y7UuXy!ksWRu7eSYtRsm}A-8@X&xh6aV$uvLf9$BZ`mHxv zAjUcmaHKcW}>IQ%p0GH4{{!L|%jd7lD1QUo94vAKXrqjEFVnxP4BZ zU?v*)l$(F7P3zN6vy7^D_iLc_&tqNNwWFq0or8(*Et#+MbeOI%|d|cdCx6Ztj@r3oimIt(*EyD{f6Z9BEPH?;k zZ-YZ4Zxz!hy8CqQ%RBd>_IWtHv|X4nB^Y=2v{s^(1!9L}y|D<}YyGUjU!lL>qQk$C z+}oCCoUu{LU2S~378#+87o(g&P*V)#2|VgWUL zG3ZEtV|{%ye?$G3aSyeTk7w9{GOimv%`EOtjv3f6+`h7|Q>k&B~+01rr*`$lRDZzItFeDW2|peo^|28m!NqYD}jF&~+>hema7COPXYq)FEg-zC_F=U-F%sNC%93X{i3J=U5|38Untj159T1{kE-{m zNywcFXyg#Xv$Vz`{cOI{|7B1%u$^4%kTfV=62QWr@qJ8GuG7iN~R z&bfRt5Th;NprWB;*La4Gi@9#M>Jy<$)S`2nT(G$$rc)80F4~%Qy$jYXHu>bKvJGW% z2f@yOKs7utRMb(s6~a0QWx=y?F)%A{>H@bvA^w8IzN7URX0FG&Znq?+4}5aafQ zw3pkXpQ$AOxDC!k365_gQooY@)M%Mnn<9E>QfGe7fvuLhZrnbRJ|riXd5@G1*)bqHxY zO&M((PN;*(j!yBAS2)%rkJx|9w$gx(hr@0M+upEf(r~Oi&O(kHmV22xjf>0!bp)$9 zb;y(R6SAWc6S9L-E{AvHE8}U?Kt3!=C_f>1f@^I+cp5o#D(+zN)+b6mCPJXGF=7#q z@y3+PFLO>?7H|08NYZHsF$9G=L&nL29}uhBd)x zcZNAWkZ=`0b-chzdWa_YJ3a~UVEivfquK3a#DEwh_6cNO*~Yt#nV*B?X5(iH#ZDQS zVyRi)%Yj0f_Bgy3|FwjOv1r-J|J80EX{)y7J!h@fkLBoF*bBjq!eLl%`hc^6fL9xJ z2~EmAc!`BzL)vFqxue_$^WH7h`REt~iV(6JaNMBXt{Fsv7`qnIL#_!>L2SBiR%D3g zq>~#_#WZ~;FJGPouk321CL#}bv<6Vf`CCjlY~Qb zv&^j`n=mod2u3Aty_bQC&NG9>^dE^WN=$CYzfHb&Bqa!dIKgAC)AScWh<*IrHd#ze z=nuu2Sn%oIN)Cy$kCp_2nLw|+ut98LLiL|!dg)S_z=>L>zSpsJ4|PG=_d4jW*EvMm zAYOi2m4d@=bL34eJ{)vURS}63B$?NuoFEGkB(*KWj>CWXI6l}h;i`)LOsa6dDXslu z_*QCCt;Dz)(;elj_tF4^p%tcBa|GXzoY;C9%k6R{yr@~L?0*9U#ENJ7QXlT#{gH4A z!|?xc((yI9HhA!`l6I(*u_nGe{F+a~DNrErmKpd^AD{3H7hc@zC@E=}UvfMMR={`( z?u`7T_X>GQ){h8$9Zk&c@F#MwBa{9{i(zXko{c3xMxaH=cW|bfA!0IzSQp6wnHfoE zvC>#~B>VZm!0Xc>d46*e@W&#-*@j{Pe9%(w66{m%{BJ*cP@5D;A_#6OI9?;eH5Arg#p(iH?8;pVp6sLB<+OOnR^j z#+&cr%vMNv!!kpg+tD-Mv;Vnj%xxkCU;j${v}kOa~LB#r~tP?G5{v8UC9UdAclR#8)%WUQVxm%%S`&EE22;5ktB4s;;+> zs0S`R`f<yDL@FhS1z}wY75SKvnEJfHRQ?4Y zOmP@B^?9ZwU-5(Jw*DimTHe zQE+@(P5TPL8a`=HBQ^S9QhP$55#vg>SrFprxr*|51zPBxSnm`L4s&3k5oXZ^y(Ivy zaOH2!Y90bT^v_7Nf|o&h21cywBD`?+49f*54%;7N3kFFbucJ ze_*~w6}dDxz_B?eex`@0#DnIrX=f?R3&#AgDgMw}&T2KxH6Q=k7_1SjLiuAr&jLx`<7nk6kV zigJGvJ*v-XY{r*`0uO&E^5Ns%`hr#NQC|;q)wbK>JVpXl6R%XU>WsVXBV{7RK!eam0z#~aw)EPaS+U{ha~ zgG9EN8*BN-7lw9%z|kbOuno6EjgM1#D)>#HiEyL6x63>k!K+pQ6h{YsuCcRs=OAY5 z`*nYeCU?oB*hS(;@oB^XhyE|FuaF}sQrBrj@Pta_%Z*OoVw)Sh{XrGq`z4j8|sQnb~t)^Eht0O|*jY-_n z)q*;C2#u)`@dd)lwJ~pZ9QH+$A*JB!z5Y+W=A3W5EcMFzFu<6K6^7_glq$wRnZ^Qk zE&~|eD&t*|)?}DRq#N#OrV%MZ-N>5fLPx72sV~K@#`l*kdwPBS!F=qK9-u_sGmEE& z1U5MWii}<7%Khu%;?JMSgWRlKdf|UIbty~fTtoZ|4CwF5_x&3>pz>n`fl3_D7*90f z1`Q7~pZ({6fo0D)joEJ=*Z49R^7&W+;X-}gs@;+27r&_N0RjAW@1;?44g>m_$Gg*G zkL7a)va_eOG5cppfPqFY7r<_Lq;AnY(R{$$Er! z8ycH#*147)4vO0*K5KXC-g7*QG~ar-s6F1m+NfmtDmfvjethy|5Pn>5dz~o^6K(SO z_8_BFYwuM@`zwpQ*}x8!dS-*;*ho?0C~vYAS4s@GT!dW=z^g1ga{ZGqSM zB=`w~J9}#ETTi!eD6C?5{&dpNRF%M6f(U$Y^7QY##AV`oV3kD+C)fdDci;*L-NeG` zl@R(>ya{ew*~ux%%&YEsMRKjknsKJ04hfrXHAgEcH(~wN*wv}^)d6wOnK6_MqJ;K# zHN!QTzn8E(q*mpI#%C#P3CdSO>9QSMu*d zi~td@UI4=bAdwNe#a}KTuDdAcC1@wsax+D-+7d%d>aCv8e- z;E%pS)~QWa(V{fv1r%D~yg-Z32k1l=GDb~_PSgq*Tu-LExFviOmQ6;`xEtk5{aBib z5Ro)but38s75(6IlC_?WXHmfkvqA~OG8Os(sa4bjtZ%W&v?$@062$Z$qoIALjz6MM zLhGt`7H;U+g-u@SOIvyo)crTEqRF<{woUFsuzD+_ zC1kz^7|ZU#sItH`U*eHXJWY$@-~~tER_(qXHCO911mk2uP)6{fuM+zrQB8-Wvj&%o zCsmk&jAcDczCJD*M}rcF<-KB{1qi4iX|&fr45h+fV3-9(5$ z|HUM(Lm@BOvE56W&K}Z?5bCd|V!lkXBCHS^5YDr7CkeBL^gMv*zJ9o_i|n}>>*+@| zG%jbL00puiMkRU4I)%^#{H^BTnNIwVh;hW`i1@S*vjwkEUQ4jq)FjaOAx%pdhG;(?&!N6#}-5n?120}fI0o2 zw;;%sws47oHrJjAJ5{}fb!?yKX5rwnpzj#=N8<*0gV`kmYE_4*Rc*l}VWoTV?)dZ} zIvn_o23Yw!B$_b)+QFNG-W9@}5|1;p+Z%N2DdR-`U@M&~I7Li>`ZA!{d%{tw^P^o4 zNcifwf0Da+t#iv}yf-o}RV}y&m;*^LSm>T2^V>KfL8&G3G{605U}x~sx8KK+y=eC- zoq*<|9#h)0M}(R8_M)N7Gy6DWvsT~kgcDITot1vpG~!-3P~hdMh1G|iti6(E#ZF^H z68&Xe3kuTJE{lnkp0u*|aM*tlgD-gO=&t+W>Khft4k2~`Ed#o{bv{ZCBqQK`w|qvS zeB8e#PZES__w#rP;CQ&!O>VutPyX3Lb?!lORGBSFBV9n1o!$i)j*Cc5U(RP#_QTX^ zJ2}8E{Dy`|=8OrqyAw(UZT^u2Z$4cY3kRNUF7nM093l6z@u3p=G0?-Zm{Xk6w0^PeD8G$F=GPWBJ7DK2V~B_R zz$rPH_^ad;7S`|xTyM5EaY-Y4+&f78<5?9i_mkH2y_h)rU3q&yzMv46Y{88cr?jO@9_1q11>zOmHK1la#o*KhKts;sWJ)t9x|A6+ zed@@{VLyk*kE}Lhl+5(_b~H=>^G1VGYxr11K)*QCpxq~1g(k$xKqw^DgVhg7j*Nm*)W!?0{(3tLeOAAbQ*Em+5o8L0*dajgr?V z-VFe{chfoapGlXr0~An{q`p9O2xg9dqb2`&s8Ojc20E6mXwn59KR2egc6btVaiM1{y1$fU@qt%xW7>+4UORC)ds!6XW))Zp+WsVnsP5q z)vl}zd!f-j9~H+Snrd#<1s6B@j;Vo~R-7Lbth#UQsyVxt%U~Mc1-r{(@$$9Y^?aEk z4`_^qPgpoLc82nCl2k@!EnjMMe;3gG_*iuNIC`9n!uWSnm$s&K9whgL_epBt<7b7; ztRqG31Rv>$JO*cTmolC#8FL`_ZqccEqv$<_7qUhxWW4#ml(s9)YMx;>(k1bfwt7x_2*ZTm`R_!X z;klU=h2nf+jrW@w4_uTN-l7Iu z83m;sQKCLagHtIpL6Z4h;u^#?8Ix4>_pKh)E))L3!`caH`Eyq^;=V#w;-1qkO&2c8 zBm{mPYFA??ABsyJqa1|PvU`Cl6l{--t0au#cvu|INduHRoN@aA zjzW-Fagt#G7Zf;e=OR%VtJ(1WXUTC!dz>;7<{cC@OFnb!Fp7QXUXH;ZFN0L?Lm!1% z9eyMw5a}?H71C}gzH1hQo%Du1;_ak3^k9Y0Xaxt}Y=xwyB}alBX8b{mjeBfTcQI^n z4~X)!sFP9X-800u!`pj|VW5fj5hfE?`!O}nT5En7yv*t)V)ta_&UqS-q5U=Mv)7ms zV+jEl_gniqBHzE?{}lqtGKH-q9b~=K0c@Qggrml%z2U`Qa7>KBBsNej8uQ*yXJHZP zE^!v(*>)8EQps%gMn;LndC^rQeG8e+9^3Oz7kzt=H^^E8v zvnPkl_6cuM$j!1_zg?KPCg;{r#CkUFIB{AcsHODpYNR;zMw-{{YEn){QAu?D>ZnuB z2D5>P=xxhTbb;8aBEYA}xC^AO_OuTx^DL??KBBG43qat>a}E@O86#0FNx@t2W{HY^ z9Oy_43%oiCK=L;;yN2l2i_BP~0bh1DnRQT8P4D3t!=b8V%yU$|E)127dO+$DiCJv! zk3|fD;C=<$=`X?!8Zh;IYF)z|Cd>wMz?z4_HB_XDK zo);>%KzS2EV=9x?|9nJ8{`@B2On^*6j=h`n1B@=W;#)&-0lh&6g6)HA1_m6)P6xTx z52!`s*}O(9exQE3P)&r2$35RQ-*Se%nE6&KInYdvajo>ete{t}T*JayP?dIm#gj!* z&P)=DbN8}nKPSWl@(pqM)9f{mRA?wTxOdqf4D5&xoeC$R7;ajsg;0RygpVK>O`Q<$ zSIbeckfm3u5NM2EIBPyU$%Z5LU=G~=foPaoJ5oWOBTyI<`WbBw<6FUBKgC1J7luSW zz!I}tP6de_eUzNK1KTjCWW}uFK+lNfCVMzWPKJi09mw_WQEd!LTni8Tjn4*R)z_6b zR7-Xa)fnQrxvolSbr-Q>?uhY1&GV$J{CPR>;~O;M*atgpya%Ybx-u zC@@UwgYV~P+`Rr{UgbX%CXSFL)V>g{S*d?3L{FVoai>DdPdo7nQ-z_|>^o05T_=SS zlb9N(BNJJpQ(3`PaHq<{!v$HwSm9=F%@;AvcoN>`Cf2eE=0rt@S+AfnN}M3Ah_s2U zIst7e^w=OH3MD*+75;W=cpfd)oqZ!ADv73MQ^Qx?h1Wi%ob!F97IO%E&B1QYC9SO+ zY`V|7L!F`J>gCR0yX}b+N*C-r`98mQ@3f@ho(y5M6}x^Z4VXxiYJ+@w7=#8{#bq*N zlbDwGz1B)RB;A?rc{+_Tn?k?9D{+Ws}LhleYkb`?yG5zcnF=DYw3jPoOo`s z!J7D`%-^MC;kQsCpZYR$pLUq zrP_+$;357s=tB{V?u#e_un%acXHe2YF>nsa4&d9CS$W7L5l9ES$()#AMFukisiE;H zyr}FazbL*B;wTpwdSaVjhb(14KL2>Me`(9HYQ8JU@uJ@Z+ulK4uC(wgT#Pv{#qL+v$Ayajk;XfnXF=_Y1iv1na#f4_n#q^#1O6vU8*&c z&?EOEP!KA1MI3J$RehKYx=<_o@8F6iHP!J_-2$!WzXxhq7_jriAxkD&M8GQ^Af5;ie z*`u=#Yxpz&_`sP&sj78&yaALahR#@U-Ul+VrH`9RktvR1J-Mb&Ofv-#JOZPqob$ux zl{g&*)t3ifLZwX5Q6fw!y?C(bXgC6N6j~9R1^HWb?g7-QGJL)JYtLCbzaA=r;Je%A zL3M2*M7Fw8;=u~$1Pkhqc&m_RuMiY`v`CpW2+z{qx<&Io4*f%c9H5$4RcGaEF16$3 z;kSWD14DaPc~otPH?KPvWM4h>WCQ_vC}J8Q$^G?g`SCJ5ysWkCT>0}Qjn)UtwMA;t zKUWb+KlNh19R8#18p&VYu)@_}v@1w=_{oLaZO|iR2;uoepu?x#%z192{rW5ut`)|L z1p7u0eDPg-D3>V!6+oX6z7MOOo8wE2LU>kt{jH*89RejX&WgRdS}g-hOcwHrXC`&l zHS>Q8`>Loo)@E(o-Q8UVcXxMp_uv|AfDkkg+y@N=f(MwvA-Fri-61%^<*>i~|KG*A zITzils=8Knb>CF2lIMkHs*Lo1xON0%q!i}4$X~OS|4j*{4I*grfUE1tsQ~re&uDpP zdmNN~>0x*cKn=}%8KGXg*QpB1LU78M-3<7mPg?m|7i-)&ZY~Q7?P0Hr{h2VgTNc{l zpE?~LA^-oH`ThqKft!o#-xOJ2#eGK}t@FSDNlZzSH$Ri20kY=ya~uX59J^Ai=%txf zUoD?OrlijQ@|QlEcI66TNyVyLCK)eUCiGdJX7d6!e26|(iR!a03+Bk*;aTL-fC075 z%z(!jccI$8*x~Zcu^~(1=DpF_i)kB5@%6zsUWsfFD~00tPf^@o!9ZxCZ>n@&s@AVq ztC0n@;`x&$Z4V2$iB{D6OTmP<(cgg48;1fl5~EVK;aFpIbzJ*}+zhjHiaf*3>P)d# zb|r?y*x+2I3?oCZ+eZ&$3VksnRO8N9&j?7dllKl9!*z}#IIFJ`LSxO8 zpn-d{=;FR>QSB>sklOH+AH|yW4n+Sbsa?r-KrADe#KAM9yEG!kpn13a7?~x$^ zh4sSFa$KzbBFmGC{Sg8 zC--(t=RsCe@|q}Qlq3`I7Y%?S4a;XvMdX<9CTGeZ0R~rM)P%>9b*MsSNp{&#Q^x96 z|Dayp57cB^3#+_lnl*fZ{>jh=o&=lBoucB~#Sx&>(x=ojdV>=4!WHA0Kz?16 zTWA?LJ7}gJjZE>=*(ty92pw@<_{dE&3N3z74<7e2Om^SvT|Ac)nyY=?axw`JF4CvO z#o0zS0>(!}M7Kib(-ggWpkz`5Vf=K{k{5|r%0lUpvDG=icrZTwk|(XFh%o@DBxBa? z(3@|tC4+*v3d8Jiu3`Z+1}$0p+jwHtp`uotI5Lq5#w@f*h>;=p1Z#{`Un0?M(p8nw z_^FQWt5?g$&^rc`SNt+;fxJm5rZc_e<>aK%K(Dq!eBQ>^gR3orbB*_zohKM1?BAj97myXC4{8nc%bkBP4SDRZ@y|TwDSHB^QSq^!;ucw_T zXSh2||7+w2%S=c3@a5ztEsBD|swB8w+A>+Xt@L1~l0(9ycnD7A{>iBowIa4lHo2U=5xvz(*2n(%0!vyDNE=x*At~Q^W5scy$D|ZOz3N9JcuqW zbO=2Rui!r%E@WR3x>OFDGt;US79UcS2pvxe&6jC)0fPsTs)6p5%@n7FCV=2yL;q&V zoK}R!2b00@2xi75LgPaebz!dcGudn2O=?uakTPe!UA?P@&B1JvW}cA35J3DcV5CSh zd30g$A!DepRn(cnl`w>muk5gew3#k*?+S8SunDA@mKX2j;Rje4>P!ggyAy8-u$F9@ z0qn2@5Z_i}ZmrrpzrFC8-ssG_GCeio8`n4Mm)jC@z2J=3Sm{5YKC*f*UpV69vF#YaScnj~zI zMTy+_n;zWGM>@^u-;qr}EJb|}38lN|l;wJy(@PU+$0BuAWM+{KajC4-=Pn!3)IJcy z62ZQ*`AU~|^pz-*t5kkM3Wh`TjVSw^iUgzfO@$76Te`9o5h#pJqJqkaLlpBZxzW}| zv2bJ-22E)W(KwenIWVQk&PYl0D!mE0yU2?hnn7RPrm0b!5H^2w#KjoLcB`ouDON^~;D7O9S zk#yBU6@nr~8z9_45xZeDJr~Pfp-w@eda?DV2zxp$BwiUAGk!@EiVybe$$@M~X2j?` zb(+G43~O4G*rDvxpVIJ_%DJ(Xzh))JD9Kf&`oguyuvK5#ATM#j{MI=Z?uSY?W5yRhwa}oobz=cRf|Hv zVHjFnj%ngxf#2)HWT@mh0lrXSiiM*9XiE6z|9b&3Pxbi27(2Bu2H(p3f^( z!BJDuy~GZoIq+t(<9V=VQ!f&5qv}n?u{rCYl6Nag4Pk!J24;I~Icu3QAN8FDr!StH z%oMRY?N+rZFK_72yxJ>SAUpby!Sy_MRi#K@ytsK9q%(CC;n1J|z$tapAGRRid^P5J zPy=!;iNp`D&3G+9C+FWl`M4vbd2aTwLpAAqvV5^{*e<1boZq7{z$AS);Oo>>Q6m!V z!~SMd)rv+GlKeQqy~69+0g8=RNF7eo4A~ur`aMHEJn7$e=Hq8PNtF3ammhnu&9$Z} zbcZ~r;kcxWff3P@5%q@%zquZEI0#kD12}@SI=y!QzlFykpSsak5{;Q15#aNaNR4q@ z@%d_BC=@7S!3NlWqwjMR6wF5c5nYn>`wgV8$8ryTEf-n0u^|aqre8%n+@p$mE9$A> zO<_;D{ZYZ<>3O?n?RVSq*le1*SlN}Jek`EjF9AKTa1xNJzjbVT2D!@##eQ1a2WGnr zFt4BmK;$dtr+<%Kmis^7%uXmA%yw@%&vom*aj{p&;B-^zs*&DET1>Y(a(-IzS|y_J zciUuL-bS-tDGM`Nok0jL%=zsUnzI7qu!N9e^iUE~M!tB9gCqC1jNRcQF5*!fzjBpp zLn#QKVA`};8+IPtNZ3Caq`3RY50o$Sj0cCidvG{$_OHrk(4Q81&c=Y?SJ0+wQaKjZ zl=71dwTa~hmKUrEMGLd8>kX0C`d>b9=f12oDhJ-nI|V@sf?4OrOW%}~ zf?kG~=l*iJ;BTbEG&gf%8>jg^l$TaBXcZ=IpyJm_3Rv`5f)Xb zapCU3?a-#Af&~~pYdi7-qqh^l>0MUTdl?B8xFHD*bor}q*US<-%qtAVD(c@IlTmpC z{1Z)x9qlqwu6_ceY+0ku! zQDfowNNR)A8pV95iiA&SEEQQA)sc~{LNj6pneEaY%Q}naso$D`F&)w1e#Bnq!I4f{ z6J_0P&5zdTfjGYj^uUBa8Eh8Y`DRih7^=c!g)6<{>_>~{Q~74{9JiqOy^MM%u*j+w zguf`(phavIN9+>QvFVu%RM(UI)cq+z@*ReK+i5Ao>nBR*md9dEq0+MH&kUNIeZwGZ zqH2euhA4DTC;F8Vpy~&mI?#}@FSfd4EVmN}G@+ls1 zV;JKZPa2i>P8d&sCo>W-0cQ@zCLvs~`Ee{Hn_)jXKE@C*Ha#~q_9(Q6uJ(?3oL0ijT&r;SY z=29&$I98P}c!Arj4lUYUL}s&r(y~LeMy#Ul$hie3@0Dcxmad3x2P5g0jmA10%P@%d z6@aIh^%yO5AeW$n?Wfz*EPUcmTUN+VHRK4j?_=5d3Sv*ZPVu5iJT%4LmV)=i)-9!A zpYTZ!vtI#MM3b&{2Wp&z(&(>y3Ev*|hfKvum0@QW6`Buyx zMkq3f8i*F{mr7)zuXxGJqj`3?GH!blo2s>I#=iI!`v@SYZbRb9r}XVIayFF>uPjCI zOHf%Qodpz*5h^td=ba6>)jpnMY4C!9G%|hUuY)-}M9P`p>?UN|pNwoh7uggRGmH#?mPNj=X2>_U+)t`EwZT&&$kJZZoV|IjBPoR1Mk;IjfGB?aPZ_1wn{W+)=W`STB(@Ud z1(#0$S!A@*hpCqTX-{$B1N}mTT!CLn9xz;=b9_~Ff{W&BA%Vf^Dh^|>*W6d|+cJywmTXQjq>;wS8tdaO?sL->rhB@&5VSN3U1O?@vPMs8rFVPOy zBla<7p_rH55694n*~~2^-_i^G`br*<*X8eJlfFh1P99G$J;1mJ`NIuuF2R0|o&*y1 zULNjF?|v{fhf z*dSQzTew^?h(5>Qv1pCvfbGP4bDDa&pr7RnK8+jPj$I_w==Z)%y*FydLfkG5pvUMZ z^`uMe=h&{kZ`yjb70y@ht0(PCc_yqJKn5dii zoLR&(&_4f$ zqociHYb~Hf%){P7t&HM>4{sL{Ca?% zj71z>^XAUV#a)K(dZp%`@*Qn2$@c_wWN@#?-m!JiWL3-kv=evw93=e1;cqanLZDR` z!|+^}1;(Hv-@O3Nb1jhL=(&>dv=O@jDN`kr!eU~$!aX(R-i^dT*y`)#~ zqsntzzS_d6b>;5gtH0MTn1de(iv|Izep$AjbUALWgf)YJJmypBniV;4EG$OX;I|jd zZ!(AQBVpcS{HxvW>7MK4Z#P?~9F_}rk$wE4o9^Uiz39b9zOcY7yb5m+s9O3twSa=0 z+`IWiD<6Yh#CQW$gxYLyLYUP=?(8mFVUqInQ+mFw-7+^hkRX(!>fT&GM=`uSX^nDX z@@!35ATvcJdeuX^OV49H=q2#HpW-s~rV|pOIu8q=!pA_5F!9tVZZ`QLzqi!;=E48o zAiQ)ER0zm^peKDe{xKeKqW=@ zmP(U*^5vy=3hf}{kSE-swAL>06w8(|OZ;vbwtZjGoTr(VKOVi~i|mfS9~#nech#$t z;Zg80d51BYc0I|nq;)c~x_D{p*DG+x;XJl-=k;+3k}K(SRvCKs z)se|XbCgP#L-@1lVoiWpfZzQegF3&}K@vX%L6#Z8N*1yn)}{d>x6Ch2)#oMVM=R^# zCS?en6Kk?x!OCya6TORZK7<7%fqA$!OFS@2-=sxoK<8Zw{l*RpM#Nw&se1ZM0l_n$ zXES>`bvbaJ->UZ~7zM0xn;*LPv`2}k(1zH-DBVX5EVr+!NCD(Ur7XA3e#4LNX#2}O z(eqLN`LyLA~;y3U&zEC_QVPGczs$pdLE~9fK15G9ROsvgZcdIzAnWv@HSt`h41zky>-p z=xA^_*1S6o%rx0qbJYk5L7k=VwDJMtwX-&bBKliwxcfM@xj60EE19@y1ciK>D($fH z00Yr@J7ahlK4`R=6#7@V6Xmh-0ph7#o^R(w`dy*}G#9WTc1dlYs{K{Q0GH!bjCvM% z)BZ6$Yr=IZz}fxZvbB1@Udi*Sbc z35lJR$=Y`@nhoxB^X_AP5JVA-2Y};;#VH?#RAF{5Ie=}PW}`gGB*PZ$dn*o z)Whp12y{bvswbawGeh!(j5RANa{^UFX&9ZVnyvhWEPJ4N(VvjcwZay6bWm1r1}d@gn&jW6+x$-)W_HxJ>1$rWb1EVKTAsY zCLWxktfp7F{QbC$>FP3>W`2GG(I&yW{~Hq~e`1Fy=rZw3!*Jvy8Ur1FDG|yv9=~co zoQLBz9)0Er%CZ!qc4}dY8Bk;4Wmh5lnE>Sr^PVt>&#Q2kB6!&m` z1ZMH@cA^)rI1K=~*C7_PIjP*81|Mdl1^69Fm7F3=rr51>$sl_`Sss>!M2^#lA^c%T z{!ms1xE?QsoF*Ni&fiBN{F4kG)r8fJP8f_a+Vdr80FZ`A0QaY#+GHB`W5t_f5sNxN zcy;^%&}b<-!WhB~=wW>QMm(nb#wZQ7yh!Rizj7bsFK9Y>krM4%8emj{+juY{Xg6Xt zaP!J$XSN#eTcbb0#L=QolRsI5QkoT&fMm>DBFt866x-VumzM7U${(dTF(WF-p6JH; zHF)dKm_=uI?Janu^FvD)p+EX@XcLw93FiJeEq!Av1)J1`sypL<|TT>56Mk7K1fIs#f zTW#bqr}xl05~u2TXAydxLop)G(KXcg)zZ|w=O!CI`?>nzoh|E7nv?8cex;nO-TyAI z(bfKRe4aTtnVAY_7@i~0^|mlNy7#c>^;#{GJ+;m6{^}tFjO<=1hu5b|I8lQEWwfeo zQ&;#rvt5dY1h@V%#q21!yI+V9G=u zqL@=eT+B*X2Q)&hj0-xNmC?8Xl$a7DcUb;6X0$>^wKhveCv8|7w}k{!Qy}fvVjn2f zKeq2WB1R3k-Rk)s;ULj17!kPwgl=cZfr()-iL#3!oL8JWQg~i5t~Ay6!)59u9o|wn zJh^CvZIMM^k}Y3Ha;W%4@fO7-RRA|#jucChBZ5@htWW)CW%Hf5fBYmYu`)6v{4?Fd zKnRVa#)3;H{1q*5)fN$m{p1_+>z{8$2rMfbDjYmf4Izs=8QS2sdJcg;V6bUo+hvR3LlKcR~^O zkUD{v+S<54@jnKTZ|Z8k!v&U^=SphK&8JFg11lC7Wb>YJ3`yA8$Pnv|O&$|=$2x3M%BZZ7E+B`H9C;G_)Od|>K`pRUX^8X|@^VF#FLST1;nyt?>IH&HL>pC+LnYv&^7n_W3E2&{M^+Q1xgn z>bIK%RbpA$#_)?N#$4q%FVBY)h5srS?x;>c4=hBkjQGCGo98j#nbibW zfr?ubn8ApwJxG!%>0eQ0b?L-ZZMBt%UyMQKUxmepIAl5}={bnvlrm=wqT9~JIE+{* z@`YlvezMhEEIQTYSBjGLjuRpHIG#!6YXq#^T$UBD_Uxb4b4iHT%qJm0xa9AsEKJNV zhI0h}VwUO&~R1S=nX7E2si-#fk$x zY2AL^*rI18Augz5--Krz)T?z+YPQ8R$>mV@f z1Qd$dY<}X(Q)ev7igwgZx(>9n@8v+h5sTANZdiG)>SrMO15qRNd(zGvENA- zDYtj@%U83w{qkI^AHrWCkGJ)7^#R6z@H{mXUq_BvP6pkrqQ+#7udkB_7eVpODnZ{C1>@zKW_JL>k1JoxjKz|J92As)xo$hz~gb5%6# z?ed6lN$IrA=&k63#@XazL50M1ZKp=D$&M?UW|xb0mz8#xf%Y4@8sa;wIS0_@<*9Jx z>`wL=B6I97ee9jFT)F*daIl3B1dckDwY;?Hz2Uk}P8G}*tQK6}7yoo@$^AR$fAIQ8 zGU#sa7WKwl;5j|d>n(ZUWxcn9vF@bVtUYtIjiOVcYXrgXnsoCmL^v0+A!be?(cV6I zGIi%g=lH~P%wYkb%+Ig14PulqoDGbvd_ z8LcS^)8upw9(LB-^0<5e)wwUP&V-}f zsVypbvO96gnA_;qcxsRtm8)B>_<>m#*SdP|Q9j;|sFVieYWxI&>cC(2ycl?{R;Y_{ z^7*K3RqrFL{EZ;TZEa=RHXSz%FGzsI?FYgy z=0@L5>QQQs9D4B!xr|;*xGxc&Divx1mX+cPeF!f&Ktas%bTy9G_S>S(*`QK9O!RG{d{Wik$+Q5zjt-ynteZa*Z;J%86}{#1XL?4oxXb z{BeCdn_<4pq_$SVU(VL_%I?bieH9^XtfJHcegTT!dlm0EPG1Ey>9eGaVTzauz4BG9 za7}wd4+tvGFXEF1NdqGvKh+@l!gpZ#1aIChqFor@7#{=m{C}<2;~(;Yp{vM5pb!$x zpjHON>jr0%Ph0&sYULSVz5ByTw*cgem>4j5MA6Wpu_YO0kG>;ZHKk19E!%j7kDkjj ze^7oJ{cr4Mrd_oShfXRddAO~aVWVn(21~z3er17cZW-(l-Xr48HaJsCY=;aM} zf|-RYL;gp66Pm@qspeRD=SVFqw9hWqTGO_f*DVz8y-od{&Jrqfm%b224a&qes&S*? z<{1+-wmQyh=2m|*65_-PWk004*^V+*`H}As%B9yU(XN1aj}Eu5T5-D&-zq53;`$@M4!Qu-HmoRuw!uM{E79=Ab^hxm$G#a-+- zK8bveIG#959s-bC;SEBZ|G_DWQfO8ZDqpgBO`3;eJ{~IFNu-#jE7807!L8 zRygWaBGhHba0+9&YFnm}4|}7p-ve}PYKN*Zdc1wxUW0-_z2u&UwMi0en&oLYn>XI< zShPm;h$QO-9N6sSVC!yFbn1jGXgY!){ZWOpF_Q$GUq^Y^FT-^L90EnsZ__hggEbT` z!*^i6@2^`O6(Ey$BdUjV%zkjn`)ASQx2j(eXA|(eeJiuRadS5dmDvgn5ZGdFAi^?7ZZ&T8>N;N?{kxnBLCE`{ls`OX4;UgxF_d3;cP;B{`?Kvm~cMzLq* zWFvD<-D7+Kld#KQMhoVgM&P3ZZCqK^>z;^2ewW5j#`Fi!tQMzRg>r@o>NwOT1= zQlIp9ycfE|TFEZx-P%LMm}mSegCPrQ;OBpc8wuH0ln2)L2L<8(;e)=tQNKV<^L)-{ zzELgO7~w25i+hbGSz_W~tb7wrdxfpKF)I8oawpY)v9i5=th{^zyzJ~zxcLM)1>aA; Kp_kK;NBJLe7@D~N