From 36e31c5356165a9bfd00130145394851d1dd51ca Mon Sep 17 00:00:00 2001 From: 4l0n50 Date: Mon, 27 Nov 2023 15:05:33 +0100 Subject: [PATCH] Address comment --- evm/spec/mpts.tex | 2 +- evm/spec/zkevm.pdf | Bin 317252 -> 317319 bytes 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/evm/spec/mpts.tex b/evm/spec/mpts.tex index aa4f1c27..dbd0f27b 100644 --- a/evm/spec/mpts.tex +++ b/evm/spec/mpts.tex @@ -6,7 +6,7 @@ For each transaction we need to show that the prover knows preimages of the hash An MPT is composed of five different nodes: branch, extension, leaf, empty and digest nodes. Branch and leaf nodes might contain a payload whose format depends on the particular trie. The nodes are encoded, primarily using RLP encoding and Hex-prefix encoding (see \cite{yellowpaper} App. B and C, respectively). The resulting encoding is then hashed, following a strategy similar to that of normal Merkle trees, to generate the trie hashes. -Insertion and deletion is performed in the same way as other MPT implementations, however we don't modify the MPT in memory but create a new one with the modifications. In the rest of this section we describe how the MPTs are represented in memory, how they are given as input, and how MPTs are hashed. +Insertion and deletion is performed in the same way as other MPTs implementations. The only difference is for inserting extension nodes where we create a new node with the new data, instead of modifying the existing one. In the rest of this section we describe how the MPTs are represented in memory, how they are given as input, and how MPTs are hashed. \subsection{Internal memory format} diff --git a/evm/spec/zkevm.pdf b/evm/spec/zkevm.pdf index 7eaa9724c41c91e8760b30441efc08d52a5905c2..1aabf59df2e83de63585d26c338c3f3425ac5878 100644 GIT binary patch delta 30011 zcmV)DK*7Jnt`mo^6Odki&6v#Oc&XS5f}*l0C|=lF+oE-`ErLG1$);|_rA ze7lNGm}1A3PN!m;=@3Diz)(j(@7ZWxy;k6rSCOra+Ikc_N z=pbs(91?hRMQA-83rPz3xj@I8=l4nTQUW*QMN_oJk^3o{~HR#;nJkH3B_<%g1;wFz}&}*y_#xLhsnN2|Z;@q4}07=V0YrvNdO4%Z?O&s>Q3!+1Gb%(BeTg;vwe zosgQ(gyxe>jSO!d%hh>a?h9uM+~mxJbT1_@OK!`xSFQnIOK(A~AzIs_)+Q#3HZ7_& zcw2PppMTgVnpUndlTkqvv)2KE>j5y6@eL_|TTPGKI1;_*SNOJSY^;diWPm+nGMxct zCWCC^-Nho4gW6Vi3-Q-T@+86h`F%xFvgOF_-dKB>MS!+MQ7p1p_3Bko$tHJ`Z1Tes zhQHZ_O_+5llXk+HOSv(V`Rd7UPg0Ya%uV9Yw0}$Q`CiIjsW>+6(KR(Igw6A9m&HV59*Y-U1`-q9@ z31g{Kiu;MFEX7o{;b|sSnAab@IX!zNSnmyZVu>NVX<5Mvf!eu~ed|C;H|~Q`A8-efWU@B z`ih%mP@~eNmZ`HUmCRy8$61)<9NVKFt5ZqctQ$wPQE;9|s&pz~ltyz{y~N^wb?E-r zAuTeIW|?WV_|x^vmoI)Aunu(71`AiP5={Fd>tJvNvJQ-;oC|{AzL;GPh?Q6dwGz+F_SU}6xkQM6MWFp z5mI#4>GA21>frvyo!6YuJayQ-F_r-HPPNkgCCu|}J};X=h(dQZie$<0LdL#Dc`!W| zjF2#xehGsQ02rauveY`(hm}(%D^t3NgYUKr7|u}K!5hNB#W5LaFGUuAm1bJ_u{g%^ zk{9J&Q8xpE6=91QN3bGnk$u5+Gwdn|v@RQI!3ea<9W6LSg{h(q+#rN5cdPZ__LH9( z^`P(Ql(7zVwt3Z*L#`t^;=LV5m6EHJQKUIs(n;%)8ZKk>IFb=swKk91M3sT3X*G&m zm4T?KBe@T{tT}YqGqFj3SP%xF={Luw*?j>tuvzkQ_A@SwOFos&eQ0`JtTxq`a9zOE z*7dF;+oSvDJ|8B+8TZB#hrd~F<{t;p*y+?EO6yFenqP>CS?0UYSQ2BMp`&nRrw-{T zt>)K^$>kCzxYs~HL_>yPBO*ri&Nl%x%e&oXhXI6D$ttQ!Se+Dq%VHIAH9mbGW}>ow zDxy96X&LU&Y#H$s-F7*}@C?&ud9tt;Oi)Y|FolKm=-cBT#?Vlra!3!2JGC^Oi%RbjR3A`e$I}wOrOhC1kyr@Ja&vF2qiqq_m(i6sR&~` zMPDoykPVdVi#?sG^fWgGo^YM84@U^EUC$tiI0zW_l#A4ML=M*SaA07m$@UpHQWl{d zfF1!tn1GQ)t$k~?A$Tw{E}r6+d@ z(l8W(km2rsBhX*!p)fWTiuj-IhoExM2td3#dNw7hM~E`tP#!_oCKv{xO!&FoRG~eO zU5l#8%k?0ok%*^zGIC!2(=cSf7>KASm-9_|RfLO-Sn%^R6&h@#h1d7+?$5)56*i6X zyfIiXjU}A?AF^Qm|GvYH+L$Q-MECcNo{7ffT+@_)z7`rFvg)uZufC z)hI)M{a#kh2_J-wbUwCT47(5=K=Gqk0fSQYtl8$7N>CjLNUA^2Nu7A0H`{L(8rE6cRZ#Oz$F3%V#Rfdf+ z7h0(hI#{WIBLyqeIbDWCjflYSTLTm;f!kHVjRf;WU~66hlnLF7ie3yT^$h57iglzAL#>#tCo&>1^oZ9h8;ydV=vQ{{7i z$wMB3CL$_63!%rG_}lhhQx4|O)2Ziw)sz$$YEk%8RH2E9xjDC-EZo_U6^7qO1Yy%d!RhRI0LKZunOaG^^%=n^l6n4ek|Try@#t> z^np`m+&E$tvMSS;dZIYOU?UtU;wWN~q&emKa!(hvdZhXUv*O`M{O8Y4s9kzkxLLKo$Sj!QO&|m2xa#qJ{(^kCMpJe zXBlfhv7}6a*bth_K=&jase&d8aBmq;{N&Y?F|Lx=MfGv%OV%oRb0t`kH&r<=^UyN8 zax$sPVF1rCGy;uPdx-MAKsWk-D{!uZ`Rjka1_o)H{A*J!7vZvtOveI%&6IH-ehVjj zU5$RKVvDFBOD1_!Zq}ilu#A2^0@B5z{54~u@ZWA&KwKDPKHu!Ra*Js!vh=4ENoPEHrg5#S2lUm858gV#srHxWlVJNVYxau%gTv~mioSbJHVos@BL|)PwU9= z!}T_Bg5SN_N1-3r@jaH*ZLgwS<#!=3l;o|!!3L(^mAUWp`rglos_pC2e|8g)Zyj6r zhi$m=7$aKKu6?NofOB80+Z-W|`!P&)UHBJ05Ybn*z5q*4J{R*H-9t%FLsQudxmMk5 zLIM)b|LUT>42DC0m)`9CCFugrTdw!#g@gHu_1{HBcX$^{F3+FOFwpmTbE4{K51}@c zX}qCA1xoXnQ9f$_QLm?RUVphJ{i4ZAIT#t-?+0Ekiu5 z+c!M|Z^B)ye#1m*hd4{#?QZJgw_Tj`(mx_cc49BQp$+PPM3RpVxX3EtsrOdt@k$(8`xBb_}r+5)Z_7lK8IhP;2SQh*4#pkkaB3d5X%6^2? ze*41DN+$q7x(J^jQo|gJ->itm1HnVAz*8Ub@RU{?yf55;g;vygFCUO4oJww>i+~KY zb`5v_+#scDj=F%=EQ|cMeY67bpzD{@PU~Hg3*IKWxMsaYBYlv`cb(ACp?iyjg{z*b z(PdTM-M8z&G?VcSD1WUPU31$u^4-6JkMxX%;*%hnxd*3lnq1qY z7wh3}(mXH{ZF5XfDoMrhzrS59NC`5fc507j3}Ug^UF;VYE1ujYJo))dz<-{IMC6VM zohMQ_Cap~ttFu4PnB|tcBn-27iu*j4@tX`nD?B`OI*e&Ihz+?FlW* zj`kOASSXvtu(Z5DP?m1mYE`sV{eMUp+pcPEY1gM;e@E58p=LretuqpHMA(sG<1Di^yTeim{qIFn-M4dI*`2sxvmPtQ}X^+ zw)ZuvQfA-@W!d5Jfi;pt*lpRA$TMKvji^;gh+guJdD_AKbgxql364XqJ#0CdGFd_AC+3jFsN$Ok%WKyC^2+wb!LtX4BG z<}8vkC}LBWE3gJ0y+FA-v@@tK!~~E8y*A|KAbkZcs>&AZ8Qr_Iyy zdtWvk9T?Djgylno!AU^gK*=9!(zzCG=}jRs;XML|rhEt=LtN7Ip??BL@LyhS5$dw& z3v@NBQOLe5mIU|S0^@3M*_%glzF>PC z0McQIdBp%YoZc^hb{1{*m3)Gh?6eWV_23?Rx>o+0FsE?Be#+bs!R1wN~CwQe8J za|r=IA^46Dx&0%35r27Dxy76SR&8kN{SMZvX0z=t04QdQsFqc3|^B zq^At}!`m#|7f(8f&J1sHFWz-|3vt>1I0xz8fa6Y`Xg2JLGEe7sdi$e~DwAFn3!L7O z{`Vrr8`-Ck&FE}0WF=S{Re)CO;#&nR#Vv>chLOQ}1UtBSX4>)evLOoPYSRxX>!}#T z(?&P#$l0&p^?x^|IAJy8qu#*Jybw^2{5h5uN*HFGNOUF`ki^2`^B0~hVG$yLL6S@! zJnAY@EOWT6POhP5@#RO%PGND9OHWJ4;7lJrzPXxUtHFU~{xWQJ&VY5y_6kn>zbVg9 zoY`zp3Eke2WoFW3%v$N~r-UX%Ic-01qTHol+oBoV2!H2eCZ{Rd53ytWAq4G*7)R}w zOD3f`Z9u7*1r2It85i<-nv|Al0aj5N%ZK!G#DGSE9@WdR1&wQCVz#e8U4HoK9cjhz z2t8v?h(Rf@Aopc9U4%rLCzd(OsXpi49cO}B7pRIUf>6;bmF!^!nm^)@(O`$+6#=LC zDZ!-4V}E|x6vLc3$hA)yew%Vw_*6>ndn{yB19|?zmy0dc1&{|M%d9#mtcUbAAq3i5 z>49!Ij}d$4F^sGDIMtMZ5Pde^KaF>Ikz+xE10~RP6)xVEpjb}sA(5OF9I0LsWQ-y> zuGZXNo)gCq781R(!#R$rkmq9<{S)!Nog0%D^?w#?8!LGF{)V&;r8Lu+EcUeydmtZ0 zX#wZ^X&t6_K6?i^jz!nekr!1l)+dthc>5~C*Er3jK|vOtpVkCOySotnh4SPnzaTyp z^Oc)Yp^8G$Q2cFO)9g@FPcx^2IM#9IR7Y<<4bPFi8d$5SWW}kslzNgmVZ~=o7>{Po zxPN4r&YTMLWfPSvmhf`=b))rR7_@LO1VE0ikTYi;!E=I1XGy(4ya-mpPq5eXIeJ`ANAb6kT z+@}l}Cd6v&e?V#Y3o|YA%Fm9@^ zU+c1)yc`wdJDa|mI)q_Tj~LB%HC1IomEiP?8~{=kvyjb?A0YNPe*pEQ;(Ow|hJR&R z9bAWp$uk!&xf~K4(J>E_D(umr^D`BT;G^zzdgV;- zXbx5`$fUcBM0O?*beiRd9#~L^#dj&F)4A8dn7URR6Zu~h9xe(UPmEr#PeaE)zSj}b zUI7-zM2@fQJgzy+(U`y%Qgs_TPcn)MPW1+Y526AfMQA1+jfzY$C-v!igMS;Q;Wa0r zVpZ;$?#V&p!g^Z5WhbLTfngy5z6e_d#S2t;5!-i{*YA#o#bK?nJodzq_AnB-?}6g4 z6Vt%}$H- zv>oAN>@rKJ@0(D=JGnyuKY!LK{^SC#+|inE4?F)$4EBKPb>V-kaYO6UiG$YVl7PF8 zvj_WT8iLDHJ?-J=AnHOxe62&ja%|*dZ8iQH6dL<`ZOEu=sKibepq8-_dEL_w1lCXw z@$dE=1^%ExTk#D>KPlkLW2YJdU>9*6dh=Bi9#Z48rC2Q1+XlO_J!%24za8E-zT=k< zZ?XZ?4wzNwcX~-ek57a)CyY8O{6e-|1WBsf?Rpz>+t_%;6t-M~^|~^2>pXhy1xG9V z!`|U&uV&pW%8M9<|DEpDNa1Ty7f)&6!#c;u9F#o}MMTIR{<8UhWmF1alkv0@7&bH@ zFd%PYY6?6&3NK7$ZfA68ATcvHGL!KQD1WV3-EW*m5P$by!CN^gw`IQ}d8nMmX;igo z>fTG`=79jdL*l>z&Q|~X&g?84#280u6v+$A?#yq#elwRS*auPY%LRwOQNRNpCyc8& z5IkYR+8{e#e7;~dvQZNFWjlYxd+wBWk9ydMSRzn3E@%1MLBV#S;q~s~$G1uaLVqzE zTORCgAK}>L!A$?beY03IB$ZPp!`blOUV3L~G%I3BhD!17ih? zlqO)3%}@n5Ta`p%y4gx$!n@5@*sv+<4J>`p(r(}23L6_99twI+v#dGMG1&c~qus7= z+H_y|Yi(J)m@A6_vSJEC;jpMREPsczJJ3^e>-8VJue zZuMX|XJWJETXk#ZMvLHVLGs|tAZ#hD%_;c%h~Rw!dhU>##poX=GhtVb#!HqS&8II z+XFe`r+(0J*E$xZ^nYz>FYWwFOWhzF<^|;45g>JanGN{RxG6dNcGRcT_zO=iyF=;A zdHgc=-#_6TrH?okhvoMK5A9WK=oYh6j6a+kdb`CjT>rh6(LN4MW3I5#*3K=KCmB8WP9Ow7$N+eE;)1a*2*+r$HeX zgGXKg=^5k=;>kF$EU^*&eu3XTkpxCyHt|w_S`r9xPC)tjl$V(;%fu9)%H+#3t&|Hg zU*ckDvBUC;Hkb6l^d=zuGks<$uVa>&nGuxRTczXh9e>c)B1p)sNDrP|a-n7h5^KSO zbLCrU1QQZ*3b^4r5)9)Vury}4p=KeCbPQ`S;ki!t^jy|?nZfK*@9D_Hp@6>7(no*( zexr4mR;R*W@lx;FqVtrDvxt?$KpxWo=jzOydk%`np0hB?!x(+SCMS73(+02eQ5QDK zTUwjipJZ@&xSis0Jx9Vo3*_LrVIc-W7^e9c1fK(%&w>z1p8}Fjl}kaej6-HlPj!Ti z1`2pM(+{~C4e*Afv``-}tDJspLP#Nx_1sVO>=)^z??Dd4SQ`ea+4nsWfB9bp{{gzf z0o9Z7v=fmK6a+FcH8+#-4Jd!DSxa-|5sB~_6WS+IWK24j ztRAmEUNOfV&yrZohfQ1;W|>emZ3kzW#Lcld?LTh?%zF}kT3-Edqji5GHFMsHWO?_M z9?Ny|A$|SFtDEKQ@8!=|JgU7|Uef$`_-kjLE1y?P!QO&p#>k+UluU7#SSK0Rh7?n5 zpjGl=t}~v#s%CSocv^gJit14ALQ|yGZZ?-LT^H0W4{=ttY6sRdk{_u2iyMyn|8QgN zK$XlfWAO%p62JULwgG>eeC&>;RK}vV5-bd7`tUbT)-d)nT#d?n@)Tx1CW_e%S8bE` zV774bp*W=_b5;&d{_fY;iwUXLGx1VlonS7@hGG|gE*J0K|L50tWEaExD~w^vy4EcJ zn$3lE>BDTURNGk5vf<6b#d2ZWWngr14fZ!KecBXtF(pWQreuF-|A(nf=gM+0fdzbN zrlAZ|>tbIQhoYLnbvJm+E=!vY0>bljpVtl5c6U@Zo0&-C=mV}PzEC4S90)V3GH(KG zp!2D0VEU$A8t~X<^YOv!fIqz^#kgAf>Jl>G~r=^o(V z(;eJ;Nx&^?8fbO_Kyx&^0ksD>!o|{pG+41Iw`*#K80dciTcf~>halkD;7jU=|j{ zOMRJH00gx(iLsVh^LURIdJ>%i zD1jRzo(B>Ek@F1bA?RgYyjf3!%lctp<`kIW7XMqUR{4W8wuQT31{|8;9#2LvVeJei z!FqFGJXy4M3y^@@EY0fxRgcsI`j4^uz9d(vXt1oPdtL0C&HOJebRD3G&qTd0>T4P< zs{DU;TUPhfs`BPo=UbXq7pr4^h`ZAGV-e_1d>|&d$=wcL9^rb(rtMo=gJbJrH0B~1 z!dbAxV-Ds3el61_GA|rQzjWl6)PV#H%R>Y7YP3J7UX=SL?p&9}q^f~^ao@KbHp^HN z>4QpV6>J=ek4GejFkZHOPq>`)n|Yan>ehb?Qax-`=M`8Dq(R;Ql~qIe21kvl>=edE z@2Eq)BVJZJdgJq;sns!r)g@eIK|P1^f3ddCn;f}v*2fDD(D9&BR{LWUt8whGE$_qR zX8R>>Qv!q(JPdSnIHK1+9ubE3buU=glg1_~%DD)UekJIl9GU8nuaLchjSkcqfN_7C z<=RkWfw55utM-akGaWjMK47ze2wSY>z zv$&{?VLSL;f7;2XpwXhoMf70b2t6St8Au6MML;m@*=+JA?z-ETt4S~u_CZ;^aC*vO zps)iIK=YPlg*vEN)-)ZC4R*h8Hiv&}>VPz8ABT1B)1msszrf_eraD?k^9 zAwbkkx9G0kJyJh80CZu1pst!C+YT?@8JoTZ0*lULMS2UEBce=GBNZ9@X77J{0)nsQ z(wHMgG}En|uBQ4jq!_0W+msMD%`(hJQ<9rS6!Gn;<|8#zcul^#Zb zo@vIEt_SfOjHA04c{{V#lrG44vHhWHzyclmmro;hHz8-CsQ2Tuj@A*&#Ung0VE8ZJ zhFHy<$-c$e@+wY2d8enR`_4ek@-Uh0fQhZ^#PQFbPbRa2B;Ywn!V&Om<-mVmx4GIk zSVA(V+|Uv#c61;eRer5GeTZU%QRreOBuGp3~rE@jf83lA4W(BvY4@pCRYU zfZ9S0sDu}OOZOm8b2bgMA z#Bckz`8Geb&@J-&_`^&~*#t%ZU}O9>Md&lEcr~OfxN7v}Mp!U{mmyqx$mhd)nT>za z`af;Cn|lgnZe)}7v=5h#5djqgFfuojk>V+TSWA=JHWI$iuVCe}RFy>&Ai#%j-o%sL zBwO*0mE>UOKvR&!m?C99Msa@q_KOlJYvg2WtG1?U2s9dvMnAr8DD<{o=zV*q;D6{T zPo-I)OzLTs1v*K*Vt@DXE=a;8%slxl=TqEAT$YA*B!oexQ8<3i@|WWQ%gG6UU)?=_ zzcmmd8^H5daTyoTmPGfm-nm1udDCwLQ(tG>XzpJhQE>XsqddqEcTQNGHW#{ z7N%aD=pZzfm3q@RZN7DjWt3QdwaAR$mhQz&%jfrzn#xFFnBl=BV70@|+WHSayyk(c zi)OLZiN7xEEt8rJfBTX7abb<0SA$G{--R~pcMI4vbQhfKW_VvceZ&$~^_Er#iH^Yx zCNOYg(hN=qx$5FBb9*c`SSz;hg^gevz7m-sue-eH%clM-wozdmM4uTa9yL!Un!7bG z_2-j<+q#azS=o$_cyNU)5B*;)wBQ*+RN3OehP z>|~y@|69k4^Go7d-l0a%?-MgsL|YX^sTnmvBN5kJT@6g(NnH$;YqCs$ga1xa96u?k z74u$^W}+aB%|x0S!_8Yp8N^i@%>#1Nw2LLo{2$ylFFxToANk6qQEK?R(Wp# zvj}$Pr$vxvVU&=pC=zq@pAL>yv(fAVCWyn+Er0v%nknKSHvb22N1u6{{3(u2#xxO7 z(iv=zvUw1Qmof7h6)Bfe&ZX2Byimf?GKUU8eq{Yud4YMiZ6p+k#d|uX&`E$$wBny)40vOdCpuD$BlZ7Kx$9~u6{m?y|^Mr8yEHGM%puR1l z81_^Js=O~B7o$BAe>+}c=-m4D3DNBn-dAj%X3z6?p)ytP+Gl)F2leoahGWOYe&yjF0!OSgqj zJw_2vDZGrm3@=>iryQ|=Y=NTu-qk$ENh8CZyOx4l$H6(_-?;7G)%}YX57przKVHkl zEC$6-$lK8die$M#Cm?J>Xml<>7_XORu<0Y{H8{RD5XkCj>c6Ld!q&SEQZCjSOL)yI zY*t|9Vh)rGW5AMF9M;GjK-uNpj#q)UVVX!v&jExAfIb^iJiI`RowR2nJP}(bvA>64 zWlF!xrBR7Af2S9*srG*aIqeY+DLcozk7I%*h$a2d)}t&DI_u;_%>4rX4J``0rtI1Q zoK%uH1?dF)-;aHN0#Y~4P)mlDvMzyf$CanuN(p+PkVeM+2yocEK7<1s=l^5qrJv0l*X6|G0Zov!!l=YO5<*}9H9&!%3B z1N!EIAB4Am{mDvrlq}>MKzkmFK|V8OSs#X8Xjswbc9mclTlQt5jQ_HNI~nw%>&h({ z*nqDJbmXon3)eA$6An`rXZsw%)rj)=-RB<`oF_QzhLIB#>x2mYm!=zTM{AV8kEJ^@ zA1NHCquX$&C}?BF1&|u^IGdC^;LkZ$8o~}(%qfgM@k9{I6&S~+;2j6RsLM02W-loq zQPb3;|MU9P$ah24p8|xJ9~TySp|)%WDaY?rWb$tR6)#ic>$+(nj=xlh6O!?PVGLq_ z;Hxi|;;VV_3z|@V(;0)|)a={wg7)+_hG_LMq{euFC5i&g-KsY5s@gkwBVnk@9>z4vUb_dB)}if6i7IroRt%x=Jzq@3DpppX zo*&X8HKraSh9G&|{i*KZEAc(TmgZ50FasU`i{fm2Q=7+M-m)Hy-ajei* zel4_P9|~(w`=2oh5qkbi%>boL;=#iw$YLW;!0_^C*8c$bp@@+RWo~41baG{r`Lqj{ zu^Ist12Z!-lTm>yf0NtB5x(nJ;K;3r@VqdOE$5I_tdvuB;@Dg9LGl42!6nKhum(V_ zlwY6j=@}3Mg4`%_YO8i$jh>#bAJaW#*<;4CzrNz|pJhDb*5zE;OmLSAW3tWh)o-tI z!whp-Xx8Zvzw=au?-p@_GuH$&Yvf#sdBtFp&|T5Z~{tM2$} zGaNqAO!X0lf7RwRRNL1uquJ_Em0MsqiUBae0oPpRN@)@q_Z6DBZBP~v?(}rGhGtt1 z6|J^AYKMJA6#W2ex#!1CUKB26`cvI(fKoUyLLwaZ0IcB%o2u_=rfmXQa#ox`TznhW z>tppAyEe}3s%Prd4Q?@1-Lcx%W%r3@Kin0?syv*kf1buoRc*bz>m`A`ia@gW{@@i2 zqQ2@ad>WQv{E7Mji$G?BTD$yitrS~*+iWXRgK(<>^wLuI3A!^g@VvYkOu2T|W8K4{ zdK%WvZ2g;meV?c^SfE!7hycnjJM0uL>K4re=O@}l0hN=Zl91X1!u#+5rq;! z&Rz!On=*cP=v(?=(>6VrQymtDecK1(AOuL|&BCv?)E>)WgKYOS+;#17NltIC(yEzn z+Ti54un!bX^>F}W(9Ep9s|K1o_0*z>U{z=ff3vTukLB^{5C-1ukoSIJ*9GakBb<)- zKNvEaW1&d`_~5HI1)Byi!*U@MunC`gl39%7x#C46Is1p<-mLebKWRTv|dWD&tFjm+OEFc zf06BYR@jNGz@=#7Y-cpCdup5Zjz^l3n(gU$43Pkb-YBs1jumWlB_!`cr}ohR`!bx_ zn>VpsP~-$D;K|YM6kiWVWl0AW@3HC?qbi7`Mk?CZ$w zX}zS-t-me-ZxcfuW3y1lqMb9mD60>3>!Sr@vslC8J!;6YV2pORgt)Law{FA}e?qYk zt9`$Syv`YukrIuLSU=apJ`rxg2_;jojarJ7TwWKh$Zavo*7*Znk<9>QA{#23Ys!bh zHX;5)k1jCm`IyWFMS^`r0U<2Wjmt$i7fiLM;psGl&BHDX#PZEL3Mprg3h%Ti4xe75>#%ayrl#Q{%cgK1NqrHD0hPoL|4(*$sIU1(feyx zvF7#`?wB8Go7qH@W8`J;KgzW`SDHQWdc0E2E4cpJX8{TX8r0m@@bx)&O!C% zRq>8-br`jA+d0e^f2c<)In6xZFQ^C90_hu2n*2+(1BonZ1zB;+Y0KS$c8c5>QjVN> z#R%wJOOSxtTtOPX2K74~;(zgbYvD!rFllj>q$1bwmjy^HZsD(?3ITK^SeO>#%M_qZ z4!1k9QbK+P{x3L(yy6@M+#W@dI)}cY7FW4!`x73Hkp{k#To<`sQ z@X!;3)K^@pD;SQ&yVDmLJzUssp0QnOQ0plQ8o*L+ylK0->K71|3=nXaHvQR{awu51 zvni(LI;O&xc=#eKLX9s3J{lcpf^ZY(7eK-dX(qUd_yC8UB*yra7Z8$gc&)~oU|T;{ z{jdZQ#3BX>fA?DEyeM7-X+m{jc*gpumVjh$faFvJ$b${@hE z{{8e&|GS((m7WZ8Tgk_|>>+N4!Mf{*_)cFv#RvYTf3N$Yk5wYA*Kr%t-u>);(Jm3x z2tY`siTpdkZ{JGLHLOU* zn5VjAbMX>*W+RGO_HkiSypSNAOug@avMG$+7rBfHbM_*aL3@*v-&1BO<1J<}F|tWw zWJ6JG&rTH!3U5IRkk1|o7qT9%1Y|u5e`$p4Db9US*29$sx7Gev%g;FbK5o&fA?R($;;7m zGD>_9B>UD*o4f0@(=_!=ADTYU5+rd#kq${k@%{C;i(OEpOxu?xlbHxuEP>s{Z@=Iq z+C@q9uPX`vCy|U~UI=OONXbH|EQ{8Ms}ENqOR}Vh_~&Lm#qT^<>W66{B%)BbIsTmY zzX=E2OiuXzfA;E|*TzK3h%C=!bh~{d$L%KiGydW2cdu`+|GNF@Dq*pIynRmc-{4>1 zeCqdQ!E6ypDT*{zUNDu4)J8T_A~7k+^-jrTCe}BvwVZt!E5Je_AY?4Gz+{b8A=K4@4ch%JnE2 zXkn)UX)T2^I!H9(0}EuL$P#}GIuV%#(}=9l#F-G+T)i7@!5WDMP9<#0tYwE^(v6phpnY26;~fy`SB?UKR? z$Yz8wf0kt1R6ExXUS-74hY5Rm0v|& zV^blOnyY(Ua7iny)#Q@q8JEn3$?|Bz<>ghC?V*RJoY zW=BKf90e(QA%E^DB@fOqqjf5q1f%3HOaF9VSEsj z=*%)WGZ_sSVdvx8(Rjr9$LkcsW7QseUYR?(iQgsCxO&6O?~*j>k83p0o+u@I1j!X9SB#|fq;K-kXgG;q-Uc}#*=#_pMf2F50 zs(yt=(f$&{iSPXlca5uQek5@>kSrIi&7x|`r!>U;ha&|65H%*M`{dTg!Q;Y&fPy>| zyP~v38o#;3(Np}iQr3ODBwE$1>*Izpot-E`(8TCP8FA)$%njuO@tmq*&rA#4L?{R1 z-9xk_f1kOLozy7`QtBf&QA)?{f0h=9z!gq`yYUAht#iY%LlJRO(ubI1@|bpPYgaZz zekZj7IN}+v!pl_(c;A62cp#Af9`2S0mXz$ z2V+i4zY~n}0y_kbxdQBI2DlKk&A(koQ8AlE#pzy;tvhuZt!IVjKYAkF)qIx+nq!oy zDU|Di^D%xIwg~(_^1Oe34-A5tJXbWZ)DNvM0b%a|8BiWB4x{@k7_Of5dYu$;jm(#K zh6_{@tfs|7a#?5t+Z}Lue_?YHHkm1$1cj4)a%8*fiB$0>(`@T2{xQk}(^Jub6$iw} zeS7dD@Z`;=LgBDUz?G`mw%wuRSYuLlA{=eYbyZh`cO(BT1t?hY2?z(XNK8!V=CsdZ z0+@ge;!0imJ9`BCbW%T1V4^BM3*|gEFdTVtf{wQ7N~CzGf=O26f2Yh-hAlWfb*MNs z0U^MRg#@fawBI?gq{8b8tT(zm>e@D#T#Zs}B83j$IUZu8MyvbMCwg`!q;UO={)(&< z-`eorr;%I6jq^DU&uNLWE<5araM&J)r~MHj=kFYqq!jMRpP+|)uD`&|>=$(xV^-Of zY+7GHli9h1J13uve}imD3P`CKE$+iHs1TaAc~J~WKq#F)Q-N#fNtCwG&q4`ad|}6t zfu2xn<6c?uLJ6*BCAeHF!HsWACS0rMJ3p1e-HfeY@nx6OxD%HQvm%ygW5btoGIrP@ zjhD033#A1<&4gnX`>;Y-Xo8sIpP0B67=|{zbbM|GN=8C?e<5qzykIMA)204OK%ROj z3GygK0oN==!F&?+KMT{~fhw~>h`S|BCjvS_s6B+FXQ;mqX{!N*uvcCHdf80d1xTj? zPWrzPtv(0QCKom{UkA|~fzj9$fhS48^1~75lxA}o7;|nD0*5cqs-_>7-ilP3fVd-+ zCvQa;Rx?^8e-_lk=biLLyG^*b#|BXZH2!lG|LT(uY25a#@e}bL)aozt=sX*)E`l*s z^1H4)1e?_Z6{(=tfJ9^#-f_;%6#t;maDGrl2cjYzP9d>rQZSXaAG zH0g)#xP}hF(bShmMGzMV=iY8btrT5taZaPie!}EZf7fJF5@VJun-<%MqJXx!4#^s) z6}l1v$bGu6OVkG^`<5yhKcUtE zsbox=_+8rWeZN?}Lf7R%kzj95$NGQ+^Lu*C01C>D6s|kX#oGxnVUbG(YB~WGFwct! zuV&7De+sNZY%FQiL4>R5u{FW|r8^(GAUNY7(~N^mQyIIVvA^&vl-n6Kfwx$RK|}rn zocW5sal6C${ciH%0W%lX(h_Uw6dIa8pj~nw(K&o@2Cj3vqp9YaO3D}y6&T(M)nsKe z)_W_WOlvnNeCIs`Rf)VhFT>$ee)gF1uVe=Cxwx-MAMdw_vH=+ssI`9fzN6G%d< zn9yqBVBK~gC$FMJ81|lGMtR=W_iw4}ennePqyh70Su*xw#`j_#eK@>BgFh@uymLc% z!I(s%h8v9#>!vSF{^`q3+l5fK$e3EM@L8zt%X1ds`X}(MCglcy)K?IK9_T~=K!HBN zLTNm7GW3{MAD3GO{{R_Y883FH*F2n$&6K-%k7?#gz!e?4z9J;m5Ay;(l7$k|Kz7DI z#)Q8jXm$B#u>S$qK=&G#c`N}a12Qr+lkp8Gf2COKbEGy5|DL~sxi4jBveaO}&~JBb z(z!maX_7u>?)rg%cbArhEss3ff4-6>v#>{U({?fwY+06NS^7y@;cOk@e0}D_f8qF! zpQN52CQjg|UZ9kd@6Y}`^OR5`b@;QMPjR2&ip(&w1mUFt3dhe;{@Na}o}BRJ_U!Y^ ze=u}{&{K)>o!iYvdfXPyd-tpB*M)s!j3!Lb?bzC}ZQHhO+qR$4j_sKp+qP})*tYGN zyYKhi)rs&dk)bh7-o zP!q{Z>2iqrRunTqp8&*QYVrM3`Mpt&9}||&WOc`0-3DvOe(gY`-Av-4s-$+C;2mu) z*RuWJ_$%srR_aH#c@OtVal>|OfgmDajw=T*wu^T+ElAykCifxPE2__X!YuzexAU;HUf_WjO0gWK)>2ocJ%gu@Xdb<3ySXptR0#m zFq|AbI>haQp_=8QTZsAR(M?ZnyC|nJ;r-siSErqBYN{gDS44@b11)OU9JCcZj%hC) z9hnZ;3MDcs(^C%k^dCX|XMZlh7{munYA0r~b**KlAq$JqHz!u<;0}lEIZ5^y)7$aDeg{cs^H=2AH?QAp!R<0)aj!{3Y(;!NZtV~DPZV05w zcgDvPunj$tsKUwtZ;fjJB3e{cX4Ni=Pl4^adGDdFPq)K*sT#5(lyJC^c`VZ+*eX3) z$z;P!#e`!viFw4`E@7zRYzJOUbd69}$MjrqgQ#e*JUU7w6>eQ1aw`xR5KjGNje~X* z7!0*hamgN}LFmfT9=C|6m#5fJuhd^fjgE`dYl(Oamc#PGBlvFs6JtL(?>)gPM5h@h z&JVB_Gw(8C0!9^3Bw?5R+;X@N3^Q~{^W)Yg5MLiKev$Btg`t~6_|b9sBukr=nwyM0 z%qUpk$*69SUO_gKy4gUj_VJNsHBbx^S~?QKeisg$nH0EOv?z%qj;Au|jQ!|u>T4sZ8rF6w0 zm+OW|+t`OY2Pp8Sd5d;FeZsCoKqXcT~Wjot%n&P=Z#XBAf)pey__&FfjAf~ zHa{;ZVD5`$TEhk{n%)Pg1!U-wDrswUKQ#=t`oPF&;jVG^TW6S>%tOq8O=s+|4m>~@ zh05WUK2G%d-F@sMe`)GxF4a$g4b@WTnTPn{3uF7Ju$2E~AdjDFOKWS zj3Vy?Ry7##o`X4WvsCXbRc47bHh#ryEC|w?$5RLhH*A1Z-$hXUJC`*eBG;7v=C6!E z76Gqp=(YGZXCsdaOZ{hnN)jlxBi8hg%!?gaqR}%w5cH*aK4%$9IVqi51sAhUOxRp) zWbMwmzo=w1#l6hR@$N#$`Xg`a!{u^Sc#$O~HhBV|QXluV{;?CH(nri&NU<>F#aQJ7 ziDC#;IME)MI_K)*9{n4Yd1(Xhagm zb^HVvY^WZ3Y0WLyeHCxv1$V}gf}2}Pd{2S^l}o4F$}2Og$R(4~r%5Zq`+b%0Lt^FO zU#vM~1QAa}&0Ty}fnuz@RsQs9^2rGx(l~n(YtLvtR45W0@Au~v1@Tx$KuSEYz=U#S zAbvT0(cQs|U-|rNOMPW}mt4EF*WVpXIC&}wHmfa8`vRIKOBDE)M96YVzpP{zTlPNz zrqg8Y#~s#_9}RzX4$>4=Q`pS#UA{{zD|A%U_SDP%$Tl;e{V)dx$Nq8BtAbQ~5sWsm zviJW4Zt2RFYiLR{&@NF%!W@k;XWRr<^I?dBtOfRtRvF z>rrl!K~uvp zv$oq$)`a=moW6Ga{Wc5?;kXH+JmeFRQKNqeBfbTpgf?$!X8{KHBN5grqZx`7BoVW zeeJJD+v6>UPK99HwHGgkrW*;(w5KgMHm}N#T3~b^8sY>WDvtT5jM11xDVHLtj6S_V z3TwG6{gS0-$&@~{kfU8y7Z6Nk=|ZZ4iZL$+Rf6s+A8^pJk39?qW7W?zhzArz!HOER zEnMYDH6SuxH|?3-z#n*nmBU1VA|2?13-3iRM~MkJ7^+~I+-8U_0``I>9>M2p60J5u zVOa!*16+t7Mg$ahfaJ@MAli`cL<%xVRtQ_3M?Oc~2kHn0K<2MC1jMT_&eO;h#K3(k zvnJf;Bn3#$Q$WYSwVCnnJ;G0JZ2Y70>B{6YKO;s@ls0zCTQ={Jp6#8JXp<}A_ zc2go*4VyrgjkpSx_Q)4Wpuxh!j-r*Igz3Qxk>GS-Kq&C_P{HJRFI8V@@bwn&Xe?JC z{Xp)#p<(a9;hzv1B!RWjy5utvF@Zy3pzqd#64dWG-SOkr9G8~#*2z3($36^e_- z1r>#h>EjOz0nSqMf(r!`Ey+0AFy>qWJsm*dC3RmqAFiC2GCX4d9k`+PtxT?dA1@w* zaVLY$r?Qv?w3{fm_A@ilK0!r@NALAML2Fc~-;N|>`ZXLJ+#Jb>9EzCak$*VSjSokF z$ngtsFmsR%cKXy_TvuvmI{Ui<00O*B*IqC7j09mmfL>}z^NKvr3hHniH70O;#bG$q zDERhaZNfh)|FWh>d&(KU50#EQ`k+m-+A%mv(jKR-3KyI?S>{vFyNj-Aa6e1Zu|QQ1 zba-|+0;ezWhq!p;?GsHQr`P!66V0rKj^Ger9h44HWKDJ}Cfk_HqL-O&UV^po#JOOQ z)Hiqz$Wru)DuJG*a7neus`o{=xV|%A7+j31FH<$RcIE0ZXnUwk8}$5{ot*yj`=e&( zYxzoi;d|g~@awQ=6n?c$(Lx;)e1hykDVY$bdfB#&jn0}}+EmF7^x3oMZnKTx_D+B3NtZ_AuY5o z3$xOAE~UI%OZB^KGIqvTQ!VkjZp=i_1T|?*x*(~^QRG~SPBySZ^H?cPBCzbujuIYy zboj3e=$y|VZQmh;{&V_0%6MuWJ>EFb?z~8=TPDZuR;Zjk$*MF+?F59`nxtfIRj8~? zfO3QdRm$li8r86PzkDEM#Ud7E{d7G$5Z?|%NT*=L_()LbKUA3+cKk$ zi#1S?h!i~kNTyvpgtzfO@g4)==>W}TVvZ07yez}W@kq5HxHH^ z*Bmz6Ki<|9-an3?7;RqwF4s#(x9{i0dQT47fR`qNUci!r|CM|9M$O0cpO?c>fZj@b z>*Qq2#rMPVl?P4hx_*1>Mt`^dwSmC9DzM+Nq_KF0ps}#9T#dyPvZ8^dWA}6*zAdQ( z;eh>@rS^Er-*i_M!oOe_5w)8@sMVd$po%1$#*BT#bGyVE1Bn!)f%U3?q=TbSe+?ji z2UW{1yIeXRmfbFX);@gJ+P%eT0yeWpY$^-Rw;c1YOIATbfL?p3D`xgH6O77%Idh&; zAP9Xnc8%c1nK^)QzJiiu7r0zTduxVRxf4VSbHF3K04dgYBcNoItT6a4AH?C5xm#?1*mQQ~` zL`@CH!@PNc{~5?X18w!@1tXOOX8)h2mMa|{7Zt7+|JmBrxGlCNotF(N>k23$Btloh zd>rAsUCuv4kfZV&2=EUVv+t=bc55RM@MmY`nJR`_X=GMgD~VN{Xf#?}Db#d&M@{9? zZYd2N%<~JawN(g<3^W&aS2Q=k7?rzLIqqu770%*n$*cU+?)JG3h^G&S5Su~*AlD+cS+yuY#cWk^gD3$!I8SQVP8mQk2isbt@z z#<4Cv%+e;5>f$tp6y^KjL5AfZ0P3vDXeRqnFEy;X8872XjSv<)6W;2*@Cb5bjBJ?{ zsZ@3HXYC9|RGP|gvdpK< zU64R=Z01Dw#7LNdWvjYhfB(*0x9t)k53tW6Ls%|s(__<0%7{w9ifeg+1NxIbyG|l& zg2>;Y>R`x$M-t@&d=ip_Dc78eq~?RHm{g^NO-ZW{N%I8<}oh8U%bAyqF zXGoWbMxhua6F)1)99Dru49Hlf!kLfCWah`fEL!BdgB@7OnW2`)rLhiT5--qX8U@sA zunvZV^Jf|rixE8P>14{V1M;h6SS#`iluGavyrnyEEe-bDoMZF&w1SDnk>RSr;8PVv zl}V*gZPcm$N+|P|H4}XsyB*;z2f6)%lyV3+D0-B>;q|N|k?+yxNb%&vgrndw_Tc1p z5WgYQD*GhNi3Gh1$F5K&a38uT;VIvyv9XpRO-HhpjF2sgE#e>_2WS^dI*xK!plGXf zox<}+gdyVJBJ3M^{KY{Ss`q?&2g=Q*r%1ZE`+;(r|D(H|wY0UD5^oS2`c;cD*l)#x z9eMHXczaffZt=C3(RTg_QSjzVHnJk8Ail5AZ+AG`2te0`N2m4*~Mq=FM0zH=0wDd%=$qjpH@!A#jtGx`298g;~K32V&Tx}`aNjw6QhPczz(5VN}KE+MQOk?13>e_=)q$&Nuo%x8- z7QOB1EAkzP>-p|APdHryVU>DCJE46c2b4{AzP}ZKN_#GPcjlnp5@494F8A_}PhDf3 z^P>;SW~AcuTkQD#)JCSg-(YwXoS=2=?5_#B?T@~{HlT4pp_2WeG-fi@b`w#n;i&?G zZ+moIaalA14_tggyPzV54d8c6;P&fr*z@n1e}%*W*+Gl9h@BQ#^jM|!VY3H__Ko$# z!wm%M5RvJn2Z%Mr1>wQYE;zdCDl>WI{HIUza=BWyoQ{=Ue4^VqopD*^FOn-&YC9%cT9zHoWL)ns&ym z$57}~P>03GL*-j;+71mu?RU4;JtFgMr`NHDmw7M8-wuMQ43wiWYNJYS@dh;$n=@L8 z3d_akgqD@^PLllMNMY?>RL<^=xovdd@oh)pXMj1VAWRl@C_K=(*(mCd{TB7+f!;YQ zLxr@ifo~VSUY6R81yp4Bu}kenmw&?tu*`fu%W`=n`%-M9s>tRt+mWhjsMXe-(ZS%1 zPY>?KzDcBlzvt( z2LLAsQEknMV|i9my`__@%+3P$jzEXk)|i(MOc*;Yzp=a!%`91^Q%Z`j(gX(B>C;sO zJLi7&11YfY0@IZ057SZDfR5nrC>vVWOuV}Wm!(@Sl8aX(3+D5FrX^)5XtNT)!+RK9 z^W;n=aSBQI$PZ$1Zg2)|`+>omD~$LAzzlF8t< z0mYa16k*mU7`Er^2*1zR59rOx)ysj3%SBD<)|I?HbbB-o{!QKRCCB|29<_NaD7^N> zRGPBlRtp?s{?cDDl|L=CA2ECWC)QP1=bUsZeYEt!cg@x^rCzLQ!Qrf#f-4Qx$T}MtV_N?0V3O7}rh9yxWIEr@XIsQ=rnCgF za#RlO78a8Y`lI_5JGyZcWEX0N1Pwh6YFNdFLy%wAVp(U@*|>B2-YpGF@8rda`1HlB zE7KGXO|Bo!{zaQUPNqiZ#<``OCV=((RH@9vsDJ}XHgcNRpZnfo(hSIF{I#${?ov3J zW;y9dF0q;VyC!(_qy3HUg|A~i@Y^mu?{bHr^Ih#Rww_;s%`wQj=1}A*Ni8k3@l&0@ zQH{crb&0G!E5h=2gE)i0&}_c<5|V^<9%iQkW-mPDyKg^G{JoQb{vykeh5(3jIWZkq zqu33xAt7i34Pfy|gebzPhr6)Cur{}Ubv)0^DKbx+hjl5>I4hVd(`#j<`qnw6t|naw zgCPJEOMFdk2nXs1UQkBlEOn5 zf}!YmLJ@p$ezL~VCbd-t$h1F5m z6>-fE0NEZMhQ<(aTGqOqCS(zS4VHuBLr7Xyv~;!9yqSSK#=YNhg8>T7wC=~L$4}5E zrSkeOz*Ch&HgRPTHGET^ru^g>E0vJ3c>pwL;z>jHK#^ib0(q&l&f0Q)<17$|6p$Kv5A_;kQE#C=BZ6&a ze>*cp5N_|*6cw*9nR^ZnoO%AG#mcCLU>9mQI-$Z`im-#R!3O`3BnQTWy$N}sKqj!v zf#)I$`7K1;B+PnQxcZIShUZ)$il8C)AoL6ptNz<#s(5c9|6f1Ek=IBjbMD`@LGa0O zwwKVewnUg7y*(w->)e{@bsV)$lhBzbuH>T@I>Jaa^X3hv%_3V3T1FF?2~~DkD|o6q zrJ(w|c$FRsDCE&RNp)b$X9`bzQB?63F$MRSG|e16Tu{Qy1kip&B0D~8PL*&HQFRsv zEP5uyZu`oG&ICYvRh`0kOd_$R*1i}K#rH9##so$;tnz4KN(+U|?~`f6hc>q=o74*z zO8iOOiKmv3R6}r09>^PJ;tt~3T_*mHQ?112GYJfvWGWr6JUbPno`{IXkK*065-Dxd zK-^z@*`R~{=x7ggaw-_Ba3}wY`|E@DtMfO?sR+f+?@K^grNu_4)ixW2YrA?~0ESIc zWP!c2G)u50R=UrVZ;WQnfyErwK%EUo#L6THl{gFVQM-&%aW= zWKSbW6jPzidqQ?k54qE6_Jexd04Rd?Hxh9A1(S`Q&s>_V$zh3?NwM>HM*S|cVT})#+bJ2W2eNl;NSM^$aL!aCo=esda zXEi|Lus61GvP-0sA}yjZy8$wTOy7Yi72#~jy8CjRMrXX;P-zrps10agX8P-r#2L}q zi7i{FW}K1Jq;Iz|aD&Tqs#M?@a%BU#lVL~bhV9_G%!3ar_TJ37C(z&R{qt#iPXHh9 zx<@S$;ypXc$!zlC*dVLczaNhe+~Yd|hyg%3s`qJpj3UH;t}9^Yjgf}(iPS(+2S4Jk zgvp!k`rds#*e}*wZuxc~CMn@Fej^>21Y5Mfey5PSMc7bE3zdhnwL!khxRxz4Wsm8tr-I?81tGb)us0 z)i+=Vokz(PHPDR+#Ejg_`?a#)f%O!6vLE-yd`f`w+leKM^~B=K|G|mbCOW|0{)k#r zz@C30@?aZ-=~vRE(n9!nu80!}e-uDq7~@XuQ|7Z03m)Uhq$OeYp_HPtx10ElSHIF@ zJ<%6AM`XbZ44oMxKBd^#ln9UE2>WbR5o)wdnbV?Bz7<%--3J3>^LUu-bQf|(Vg7XyGI5NF}{)hgn$6M3kW z@KK1>N1Co($tXxs`JH$sVVQ$fs9;0oFUx-y{z z#AJ+{uOPBTbJ@<}b;8yMDZTmS8pTHtCwVbaVDjTRN=ZAS`a{I8*Rm`KmRZ({*&u+H#MD z@5?g&+unv1FAs82ME~3SN5dPkDEk;AZb|tEgUgR(e@*9B(K`A3+6R(l(>u?j zCw2a>yX~ZfZjK*L-fcczpJ8!S?TLIz0l5@cqk?6I49m=DflRiq@xcPgv z9cFQNED|&6=q4)0`%28=D<oqa=$u8c z2pMS6>jF~SFonf7sbV3wb-vINLP*BJk< zq|Z;qphCGE1TF&D2lx-t>O?T81_HhTyW)Y2t?ta{25bKYIqHTY%;yICIJ*Ba`RH6o-}?wDdfSNheT+v-eNA!G4aw7I52K;Q34$T8TE{;kFrQN#<4y3SaYK~WNW%1j z9(8{({1=k^(baqdX@j#Y<0(!W?;t55;fP3;uI(X)I(-Du?f5ooZ+#$MT|x?>yhLPPc<4gusX@15aZxMr9 zwMYmyV~j@ln+?n#A~Vd?2$ncT+xsG$bu6eLqX-gOu@D!(f{hd?8+eJn+at1&lHu=Q z8Iqx(gZBa94^a*UB17qiV|Qz!LHc_Js92mLkwZVufe4+Jbtz0_qnAULnTPc$TGB&9 z!>5@cPh&GBQ+dRty3|az#zo{hu-U7o82L$=xVWyIYzdVK#a#7(gy3PR5oGdu%s$E3 z2*~KeKl{MJ9H`7wG${Joi0Pk+@TtfWbp44N`}tqy|vaI_bUactK-}G;c0Z5>AkbcgVLMX zULW84^%A*CzozatN53~W54SB*l((K9^S7g?>FYZJ4BCR}y{M?~FgJUb*XR3#>o}a) zq%(l)Z0)vh`={fR(}t)#Rk;7_9(sU37vTB(gaZhb#`7Lmff58U16qDUhV$;(F^AX3 z)BPL7k@``y5d*R%vAQwn^?iLezTp9P^4W&Y*eZKkcHM~sd z8+h6kX_>KLUJY^tLk#c{9WA|yi<8$8O^I(8lTRxG8pm$xGTTESyBnX6yNTQO^#C|O zpBAMq+9xbZDJO&F$;t>efj!>uzg$fp-`*{8u+Ku@-tT)ywa)2y`@h|lyro@9(;~{} z`?zDEo2a~yp6ApT@2zyMI#Rh?9DZN^g-E8LS`gsD+1}m?y|E{nHU84tcAuU5x&FG< z8`+r_ALXT}y~-{3S=Zlo!Q|aq69=5WA!esbaINr}jA}`KdCz#XDsk70xm(<)uL$t` zS#**3r&(+f91=rnr>G(B$;$fGD8Tb!_WeL-?HE2YdSXac(nGYxcn!rEBCZjy76p%6i!l4hn$4! z23p6jvRK_ga3Wq}*{;GCqG|5&MYNejGn@TI()N6Rj5oYL}eoDT#mnRRRuIgGM};BEl*t@ zO>HLDpgX~z_%P~9?z@2Wn|mZnqA@{lQ)n`E3cmEs7MMd15VdI?<$;NKL)5q+%Y5hJ49r3To#N^ zaE^7VTznR6mGF&@?W@=|8xQ^4F`01lUR;ck0>4zlplu&&GQ7|k6>Q@=cZvO$vH+}P zbSXw|>nD@z&FT5zSL4?3({*0Go|WzO*W*oPO%XiE zVB$BAM|>S6DxlhwD01s%c`s^mHmx(`PU>!jYsh~Xk983+g-DE;pi%&opg|l&NvRYf zNg|6xha}%Z(ajcsMM2ph8%Qbh3+hsPkCI7I8BRD#(#vR%|2LZNo8W2nu1j6j>q9){ zI|%6ny->keR6ON1GAYfX+*CF4=&oKGPOx>LC^Ph>5}<;!NH1ZE`>-NSGCMfryiI&$ z6WeIUq>~w&P^k?H89eyxPDl!wl({E1#)nzWu#Vfh8i;0 zq=5L+P{zQ10d6^usB32U0P&nJ{{!}R|AGC#?hhBp=y=i6Zkk}u z4MkCc@~MK*hp5oWg7OLf3w9mL!+xntRHGRhmX4MET2;ypP0!AYHw;mYSNX&P-DAPV@43ym!0VtUZO6xe@W)(k>x)CmINoh7>m z<((B0Xq|Id0_L4Hl(JiI(4T@pUd>$t=H0~%?A=958;H*UEt3~!N{Dhw#22_Dy@r8KLn z3dT_vDCZ7NXgfpjJ5C^8!-4gKso|=Ugx0|vtttTxDj0}D1_WvV55=y%Gv_f=<+goz`>R_ zsc5b)4~mPj{gM%2SgD}bSD5$2D+`xl>RMLDL7A|he=wF|;~mBK2P`o|p*xeBz_sy$ zLtN@(D{*DD-E?c{G|mM{b?cOaLU6mXnW%&5H>u@cjS223S|8iL2;CCLTI zMTp0#Lc0~?NTLz`r3WS)mGpmZqR+TZnJUJMSUTMfG9`VTA#}#*r%ID}XKZ17aINpAUsUmwwU)lO)ClLJ%9M@lel?S? zpmR|XG{yMa{c6WLkGf)usyRLd@o;mwxc>phPk^yX3!DW*P5YVz3!>&=Vq;`wW~X6f zqF`jCpn_qLb1)S(ay28Q6y;`SWM*MvV*bA&t>sf-QlQH0LL8zTEL>bd98CW_7blaD z2ooEZxH$7abp$q1A$ER3-v4ii-v5)@-tSwAyI-MEr@m)M$nqk z?x=PYMpTp{I3gE>w2(4$CG+dhX+dU|ES5}r&UGMm=+!ZGAXTC~!6kfUV3o`>`{0(< zA!>Qpc2wH1d)9Rjc6jUV1K4%w)$n#Wd)##Ze7T!tSxs2>JotP&vP~%Ve7QWfU(12s zO;Szb0}ypsb})9Z`SJK{xgr~~WjMBCG!hGD?{{{Vlk?}$PrG!MmGh5D-e-807xV1D ztOt#oyjl5b*gHY(aMmG&$*eKf-C4UU5;r4SVD0$w;TkZiA>}qmUEK1iPHdn%`~8~$ zCYI~__;XQqjg~f0AA$mz&w^)MKnMk5mP;XFeL&jKnaVs+2!++6I%1w+x0v(TtZVz2 zgl0?#jhNyNZ*flhmpcH+a>8vNxcoOBUK}i8a5*ENMF^5tqBdqDb zjk~Dnpr!p-j_4Sbu2ideLB+Dc6UqAkIBI!m<}y;Mp*-P3j-ZLS0$6HpX}YpS%DOy| z!m6N&NMjgk@@&$LB*4e?ml2KgBDYtG@i(57Qa$Po%IK*$jj7g(a7$uVnsrmooxooy9P1Mx9H8b4Ru^zW#D{*1Ih178ySVwK;fjTRTeP8({$Zk@xn5U8 z_>n{EL%XYy;j>z-Qo&UW<#Q1%F6zcphyZdTp5)L=qjj>m!c?n-r0+~o{?Kr=#@1elYW z1!jF{{d;b1!LWEv?LGnj>!vTKpgysf!WKwLt=~Mt(Jn79F+cs3%2&=u(1k%y$Fp1s z6f<5hY(W=}~XtNr2g(>P&j7PSF( z(Nu-Bo}L-y?f_<-68|IAy;cd&JqMJoSU_i5CK zvtqMfgS@eJ``hs2Zp~)Y{%&4PPRH?9q^^?cbL>)GLg(?F*ti+BQ{;J;i^|YibZh3){?y& zIDte5CkZ~ZK{(27QWJgE&JjeY2tGh0NfhMAa3N2WGCX{t>60tq9kB!?kk0yMTF{TP zcpXw@@eU`SAWGyQPpGhXnJ@cB99_GWw!Ys5eh@q+_d%uMtbh@~u&}YfkdcWgh{OCJ Db+z@K delta 29945 zcmV)aK&roouM@LEssCc10DIONvBIwhbY`WT36j{j3PUi5> zx2xEkDRx}xbSkEq4iU5o40Qzbo{gWY*9yGyDzdea+poE<&9bd)yMTg-xp_9<{be^m zZcI3+tKPsEh6a4_n$@!(I_e3#=7$&kK`n0TlS-{+AJu;;KTl78m-%1&KcNboL)!|C z4x;wVA%RC%gx2>{AxR-03Us`AdY?BhB`}&Un&N#t9$lX1WqJcj>J5-_m^%gnhY7Q@ zplN4uCW%0KO7aXCvmSTW2=x3dAJb=nf!_(4{Y9FTESml7IF1Tw3twl`Qp9xnR4TUg z$$(9}NMk^)XY}uAmaE0>c=cO7Zq`eU0mvtI3J^o-a3uoq%!PNLi2g1Mus=Day87$ec?=jQO-j62F@eL_|TU(FYHWq%*ukhP?urbT~CBQyR(@BB0 zDYD7zE*5DXG`2D$#FwdT=YszE{SHaVmLrd6W9>s11u`^6@sQ{8o$rt;AKi}l=*K4l z|MHO-2_Klyek4U;(z(%e@#Oa>%yGxVDF2ysf6{w#l!;B#bZ{0VO-_Gy^G_N9lRXK4 z-(NrZ?uFJPshRUmjIQ5*wT|oA=yOTwzI&lW=MBk>^LP};{#t(C(D3hG*v`DtF(sNo#k?+y z*_Sviw)lIyN~tsxDoU4F1(x{s9Uskq@a!jOS_MD)6h|&birGMK%|~ybg}9Lefyyy2 zMRzB~&3aYel(Qbm-ZAI&FrtHC8eJXHH(xg8I%%e>Kc$$mt!k?E1uW#p(`{W}h;g~R zkZ#u@(8%Clv;b6llD@+U-aD@~)-!7KD=BGGw=E2yp zOo$eB?u&X;^@Wa>$oGC2RcdLNpiHyBrK8@XEkefGVI(89TI(KVM8m<;tQkbE;UH?} zK<-IzTL~c?ZgaK%O`pvoN`mO{Tcs_o9{RD4&f^f8OJlARbQGZ+%sw5Z-TcOd zp3mWeI}Id6bmRy=BVtzXbd^A}y4|j}m_T_mUSw4%Z^z}lTx48-%}?K^l^EVFMQmh0 z4a4nQtstIan<2*-o)h*YPgdT83969+rifG?eS7}H92QD60p+3dCwa2QaFk|4h=viE zQlTsQxUr!=dw_slBS0zoTnkK;Lf*v2I(hSW5y&knw~+y-a*%aiM&!&05$7^Wo-6__ zieG@lAfhcI1B&T?h(2xz;F^`E{Frlls!~xX3pMK4A-155iYVXNLVu;AoNpCkVMXXrKdd-Tqlwl8Wd)yKMJuKvcXBAy-L+gHc_%ZO;A5mxz1W{oF^^yvN={SlL)m8txtiFDeU#m_Q!IErj9lm9flEj39HgNy1EIp* zWuU*T`_kBdL>c0Lwwr>gUMB$YYU$a8s2(B8bVYRpwOw)yLYegE{i;s=MIKt#o1$9w zQW}kXx+5c} z{Xb;E_WyweLt8=*!-91{p{*a!f(H=Yu;7m9KP3x))*i`_55t0KF2f(qf(H?uS#U@6 zf5(Ck!lA>0djZrjAM96zkRfQ5NkDc4N$-o<+(w}?25M)Ny zAR1()u2=s^U1f`@=skw1!dq~x7E^&goAxrUy8^A^IpISmUxC@(dHcG&1yl_()yJyd z9Em}H_(&UL%UOR2(FK$|xYyZK3)r$)-1p6EU>)1C>qW7d65`(N(rS+wW5C<=$x2JW zr8S}o6a`Ro7E;ocEGiwEN?>S|`{UKGSFbOB=~cRoNA-=Ni~0P7lhVnsGww_;RmvtW zRS2ZyrLl{=lp3v<((|2{9t5y6jPEl4yg!0}oo)61wn z(8Om@R;SX=ti;b6lLr+3{gnaLL^mem2K-{qXV+HR=WjHX__e-O3< zo%G9-SNRx*grJDr*l^~dhGlS{IG1scLv8yNY7;ucBHnkav&0Ly8gJ@i8k;iJA?PBa z5~~n;yvl!@@k^?~;(a=eyqJ*U(peOL{weF!PpXV>5zC2B@-&%zpf%er7Lfy`pZP#* zjfxbWJN|UHTK8IEg3TBc4hrp_;}IbRSha*#xQMIgSVGXJRZ7LVWOM4>f2u_vIB^$- z5o=IYxvtbBha&<$B2gj^A{IqjFrh2=_@P#ZR3BkhGJP-e&> z%9My5p}9_UPt%nuXtDzL*7?RyUrdCMX8f|OKg{EiwHd#S|gQsptA4=y6^3 z131UjNHpH;AS#Xm-RSNhgcjz1um1TG7-aqUU#ogPOU*Vj9SQ(8Q^mReEu4zyYV@Zr z?~(QMkx8+sR?E~+SVn&%0#ajE{ltagVYF=F3mUy{N&l51`39H;$m(#Mk-=rFq%(K7Rm_cMhem~CI$IqmFG;Pwb zJWy?15gu;WR1EhRSa|rTZhf?IC~5roRqIT^3pf)z>X?=GLee09A}pW)D= z-e&4Z(OBQ+uzdaF6AYGr9acGdE9jt<-nqQLXQ}nWyQew30zia2;1>jgv1TC!$I`~- z@QQtPnVb8rM4thr=d`6~$b-gYqM}-@HqYtcRyCJHv9C4nZcvuHx0a3_bC_i#XYPa7 zlC}Ht?28L8$MHBC6TJrU2_%e&R4fjqi%}T_iXHq-R;h&u-#_s4MDi zFWaa$VhlB+5fBX%3lzJ|(N7QBnGs#(CQT7J5W1?(IyK7A<#Zbr6#Ypn^OZ^RLO&!f zwJZsTJ+``8rGf;1ZM?EBn`Uw(7$y2l>ZM4omhIr)bPQoZv~|~;bpG<}*)?YQq1YTb zf}{_;W%tY`dM)XL^9HWz6h$*`4zO)!Oczh_$(}}z=c{72PR-=YM(ivSd+9Ufv^V^E zU#}L;=milu$wwsCy3xq>s^;f49)mu`6)N@%#FxZhU6n2Gb`uiCLb=^ zT**MupQ|-`p{ac8xSREOkY8db%n7ihhDg^@=$Nh+neNA=LXV;xo-QsvHt~-B2G;hz zFpvE^@y`-}&A)+q5{eL@ae&I_4a)DN9>pzKO!2;Xv;at9=$GRGp2F7$DvC)qB}DqU zzwJqY-0xetG{Em(BzcGLq#=vy_AYOQ9>?n!I2zr=#f~BkyD#Dz$*)s?TgmM5i2x6w zD~Jhkz~+-QX%GL`jQ;?2rl>axWo~41baG{3Z3<*@X!#ZbF*%d*4Jd!DS>1En zHWGjLU%|K1GZu+wnS4xNeYku*KmRoU_Zg33U(HWR z{$Kd(DG$eQ3#4FA!Mrgt2*h2IS;@FIB+Tb^v&y^knY1ch78{(TMZIisqSJLvZ@RmJ zCY!wJ%Eh+IoA{zB3wA!!!lm<`re23#mPOnoKNo3J(7dP@{oCaQOq_pCH%+<9o3eVO zueWVk-=cQlTr;7W))`6q;n&~KXG-(EJ&-ai<@J&#Z;G$8O;h~Ih5mY!`cH0nTNL#0 zFbGF1qr|IZmoaU@O?v z$%5u^WB6=abtES|M$vy=FFGuhEsbE1nr3%-dlz)6v;u2Z)f(A73}56lv|W>T#qDE! zDpzH&Aqv~A`#sSSaJK$DC1#DTQUQg`(%*{azCx*iR|m!wY0+N9$2F1M7IlF<=_z;+ zQI~NkNZyi0gk{F~$S=C)+qx~l+ky{zMM}oWvZ#vPGHOJ6a3g=xcY_XHM9MPKko&@< z%~x^ufLhA&-(%dqrEv|!4NZUheI7S2SDUJs1xaTkQKM>BU=2K5j&cP>WG1~MO9bna z51_(Lzl3uz?YjPU!Ks$zOh>Xp?F$46#t6mW}hoBijB-)Ex5CJ%Y1c5VQ-X4t3wCCw% zO*<5;O&5Qoa6$~?X-C(_z&X4@ET2-Gu$qNyJ;;FGhC;wa``2)1Dq)!MBGGVlI+x*% z`SBA^mhck7g(>fnhd{bY6w5q*RwdVP8Hamy%ueC0>txs~bJ3;Vy?=Ez!B&GCOZPl% zwPV0~%=QXS`@bpAP@LJUSIKZ2?JP5sCS%shvHgGKwEe(|oKJ6>yzboypX+#G74(Sq zL+Y{pa0Ts$6i4mnB$LvdHlS3@$}G{DVcNRy)1J$O>>g zvuX@@MGtQiLZGdc?)Q!7F=FpLhH*7MPB|qYL?1Z7K2=M}a85(K*-8Rly#H|(Go(Et zlCy*(RZChKq6m(wV}3bt3}GP^QMNzFF%^GuH-ynY5%0^nF=<|HG0(Sxr*A1agv--| z`^&M`G3gLvSit9fSQjB@-L2!8w=ErcQDXig(tz@O$2;Vfg3{h8gMuvFoz?_MySotn zh4Q$RUl5;?g(^nHR56H#;%}>po(?tj6gd^dv5v?Y<5(TN`LqH|{Mr?D8}e8UF1>%J zB76*%QcsW*-UQ@?@hEb7@QUmkSDylX*+dISfW8;OG@>Ege7I)aN#M*J6VJugV$}ID z+p9n3SMRRhzJE96BgQb5*#qpn$AaeoNXKpi*uq6N#-OQKR7_?Aq}(3~#Y_!$X$q)Q zV@aU^*PR?!KW(24qlA6^1QV>lX%>G{X=Qh>C<}$?d88LHsw_p-l89oyAGR#x=7TF< z#G0{=!~?;;7fw_Y!6!KnkO707b=yrS5B>2Q-g4&Mpx8~mxTn3xJ|neZ9xz!sQ1EwV zOHzAC_+;3N_t{ci-rQ70J9#+*+0LdfrVatOwjLnJFXaeCz)B-??qsVHYrZD0pvPus{1(0KwuOWB& zE`NnWPJ&@@FRA27Xa&6(=bwLtt&$ErbmQ(-JZRbb28};k;u;EfnGB=cwofcoH`hx%Ryb6i&$|^Ct=1j;l7c0 z_)+MD&8T{P8ako)UXO_O60mVhIL(AShzWBvCOBkORzg(p z6ZuA_n3wu=zQLhXf@%&&L(S=b?w%YpE^OFKeIwyepcw$bXJM-#d4UXX#P-eQ^_!z% zahPi?kCiym9!3JU7zxxjp9%&5LqFiqa@y%K=SE(KrX)-Lr&uiVdnoq%Fc8e}gG8QO zg~gU9$`Hcpk7kl)uahlhuO0Q{JK3;D{`aR~zcYR_lD( z(n{#N;UwfqeKHh$(hF)$Du4=F#%5YrKGmZge%qkdIQAmzgEr;=1dGjh~B zgo;;KGc+TIcI0(O9aw9q)%`a+k62{1@l&k9s7sEO$4)i0u)u$dHMX0}Iu=qx*^)07 z>n*&+K4w^0=3O3Zo6zxdeNEO=+MW_C(6*N(_V{qQrcsX)zj*RRl%%}fuD21}hW0B$ z*m4QhYm3;e3*;^c9)IOI(mV90dWVC(>UF&+F2*GM?{u$*9d7a}KfcGwIxdesa{|I` z$b$M`KK2zZ(jOn9N>J7LZLxE>16i=hcN&`<;6ExJ${zlF_u(vN6sy9?w`Hmfh9vx8E)o1)CrWemUXrKMHujla%o| z2?S4>Feb=vPQIKl6PYLt+!Fe?_@0$g_EPm55laOs$K|L$>&vq@tL3NFZzqv+`+PO$`JeFDOFp(f?U)4JoTW+$>zEKsMkdfk zuqamKSj;@Hf{$UGMvH72N}(6qtliR8eTA!8blZY9vOKR3)e^UUXlX02mm%D*3#$^` zimka&NXAo6=2rdtZC5whrf^z+o6>FXGgSF?S7&S5C@WgKLsOA(>C8DF+p^m1oSwU- zNEUUowhlmE^!WHu5K2g?9uCf#ScaSnwOB3Fc+q54o8?_uqaD+4f@4;fA4<>#!Q|SE zP9-#WIaVTce=>Yj_0ehRNe&|5ZI_k3Xs={fRGV%~*BE#2;pOk|X{V@vhIp?Z7(cZc zh-?mG2!r+Vs^0DDWgn(uO)>jy1MY&{XNNYsqJ1R$)(gCFUL=b(9D^@5BuDatJ`4jq z9K8G1^hlSU%OWqzefR&;GKs1O2WpBOEV$$LaD0HZh8$tbFqUd@p5>@^OQLwf!OzjF z2=v04&04?Myb2+o`D8tR4u1C77?;K!dI6|!Cxh>u{?u2F@rqd#NwO{GZMR+49ol&n za$ZG#xIteIyR0j3Eegr!P3EF?Xp6_36mx`iMDC8NqQ0T~e_SD~~| zA1#|bqnh`?k|Lfnfil9>UkTaV%AGDuVI~kb=eqF^X?>1D;pIx zpgPvJAcr0xfrr$P!Jc>DH}z8T#V!7`QG)s|tNp>1`c>WBWZgIOZxX}HWmjf9ypa~K zZr{=sDH-8p&{70Pb$U zrM4^c-akCt1UGko+1|poaNM%mmad$KCqqjfQ4#=pS8lep4euO@uS>wZESiG4Gi_2R zU(C=CpW~l1M>WL_(A%+J3_Z;el5^Q_O~+C*P>m|0d}@#UxdE`@KxTdT<2{W^Fd}^! zrX0x?Q{bhD1xrkdGtS3PQLu)G5KSi2B)GGpH-Th2#n*O!!3P+l>?GuylQ<_O!s^lq z8NGP-`h3D_95XGF=dl_m3@m$A&*7|pPazz7q0xOnAZ+*Z5&~;6V}xI)(+qwF!IyyM zCIeJfL(`J6mq1Bnfa|>kN&+~pk0+3`NF`5XP%x$7{5*kJn(xe@WMQQ8{?aQeRX+u@$*{>ii$jO%~CGCC5fBE-i!`Ls?W<%G@`xM*5Tzr3W)DSHyeX#jv{PfsB`fg#U31fe^O zRkC;sv^D7@pes^+B&R~Cm=qD6^Vc(Hp7H@&25#ySgh1AkAtVYOl zm2K#{tkz`?vrDxhk-KdHeW9U;PX2bO)FRs*3ipcBx^IfsQ8LaVM)vb~LIa$wG=1zj zs2+RHM6-Y?`hZPN^2D$?iKirJ{u{}q^JPY*T*kK|ELTIM=kOYST z#l0kdMAAXPO(Eq}5)9*j%&}BUzR^Gd7e@l3P~!pIK{8sXkC(eOeQQEW0msUZQ{{b- zj<^$qQpD<*I_0B{FP71w__r$nBelKdW8TDD^xsN(yopb;mexmkGc`=b%AtbdU3V zWWi7vaj$KjPHE?o2_5%h*HfC{Qp+JPO#$T+64WHnx+PXbn)_PqE6H}r{?kk1r&rU_ zm4&Y~$4A$;=%M1i(u1sR2|IZSW9yoP?n?WyXH}L?`2a$+%d=$NANj){zoQ5~`f)Ui_b*&?;b!AKis`rigzdcZzZ_E?np9cbY6< z^F4S)WH!0?q<4uRI&;U?$rrGgzjQ2*XJ8U3;!A)0>+R)Zu>zc^Z1y5z1-FFTSn7w% ziz_sVqLGS{Xlh%F{5F{~ZPHt3#&+@#9*f<{1)(4`90Pl^b9Y9j_p72R#soc-PIvi)+w|vpn=b~?o?1y5cVPk$%p@{XNAXWt zx+s@L-MBH2A^^6$60kgo09f%602D_fKnqAL@?-=Es)&E&D$znfu2TOGiWIENjOV53 z=?D)|EAz%g}uoy)sBjDvB>Zx(4pRn`@@Fl>f%Q=g2fN5(Z zggIBDC;uqs^Zb@8-9nzhjd*~3xEVr)v=oGEhzST$sRPhHwlMMN&C+h#Z3VQ<^ze=Bne{>J_ZG!q&%kB8?SKk6+~r`9sf5%qTNSwP zqSIh>;==X@f9oc1iUEI6y(o80;9Ql(sH#q&q_%%=IX5lCZ{tL}L1z^=sf!mrGCFtbYbJB|u2P^MF@}D_Uv8 z6=8pSSM^eM6)7EH9;66k0z~=)uZu8fsyd&8k(`ZcT=c*=P??qr&FB_BfB1xhA?RRf z=WJVGk_BehKFN>5q4B{>p?KMZ+dB}#dvP@ZcY0l67qx&v@L4!ihUD$zu1|J|DVVhA zF#$bpZGax1l~h_h%nOfT;MuJ5CUD*E%K3jNC=mOgtaCU%XdzMP$OJIGMp=FgYL*p} z!?nTg%Vt%d<3d%`J8#SaOpUHx2Y~xL2%P$jy+mcbhJG<61K+e3Gy}Ndzk7HlpvUc<6BA9*PHa|1g$- zz>7iDAWgrvf%RJtk^n7#2bkZZU)FyClyy`#A&O$JYr;hE`UmVI04W~>hKkpN^D$}+ z1<16oaZpn~zKR)MrFW;0e!GX<03?cx9fm8_@MDUjps~FM#yIFrvY}=H+WOs1 zF!xoOuFB@-%Z;A~X^^jE*vyxBj<_^Uwc7~%T%m9r&hj_zg3ZMZzu$k}yt<3ym5Ti| zOT*Q6|BW8o-Rgt)$NM*T+x0Ko?{5N8`|b86&Ho1f9OrZ6zoA&N3PV5FT9INwwn|dv z2eD?Q?oDZ`)3Dw|srI((Jofs^yq;MjZ|Wn{{az$$^f%AD34m3pS#RqX+$Vdix$ zj;S{s4Q~v6(b}RMs)>KHh9ggMl6k7(cb18!Ejyy@%#LY=MU7tFrSYXAN{4=w#ZHs^ zAKx+8TwMiB!KCiTKnF{*Vjm~}ounjrR#GqKU62+>evrf$(n9=0&ebN$!HHP}ZjJpI zJV-42u3v9p<^5<5MfrsDlq|arJu$B3O<-JjVhA@X2$BE!BZq&lEd>mO^Oq?iBc*+< z^eWM*pXM3HGED)M!R!s^v~2ziRy`E8NP{UAz7mdlz*r!5d=MJ@n^1A2x9wFi4<0I~2ocZ|6J#LK|2yViD?P5#`vRN@HCN)x+A^ zBlQmM5u-J`mv4w(zTs2N=II(w@1S}7wxwIv>kHN6&w)?RG9c-5W0kVZw`%Vhu5#~>(hPlxRil;;>Uq@2P_?+ z_!Yga)1QA4I0_(PwIrW*hrW!4UmC@1Xc#|HEgOu*EYq2{J<=P1!j^;yLJUph{h7QU zcErdqBTK+|EbP%ytNoRvDP}Gd5EGGiFQ9@YtAvwVC8^gyaPn+87GUp|7m?!e69I`l zBuu=Y2H-iG{;{%h>~SsiIzjjt#=dppWb^D_iWh$pbGOcvH}=5OGtulL zum<}{CbdSdH({u>_lI|X=T52a4pq4nWpGd>P`d^4w&XYHVE81qIq2mu=ZCV_k`8zxl?$S}IrgLdR(Z;G9473e#h9L55>70fwf zDr{S@UrZyA2lHaMSQwrox*}gu^BPM8Q5S!-c7~gt_x2xuo!;3S%gtuj?!*B@cf}9F z`(d&YUL}NLKVazMR1ETsDXaE04zh<^6N_6D0 zt4d>eJ3f2{SwBr>t1rQR2Y+BwV*W?KLhu#>Tqq}izIxDjXhs=9C zR<-an&{;IqZxSjCx^W=p+OySfGNTyH^_g^;C4}}wEk4yk2W`pRIL9uJ*szbt$ST-F zKxIODG6^rc8aMzzE$?%P1A#J;n-G67X+Kwslkw4F_s8`VP)F;0UTFR@p`7c>tfAn! z<$Z_4G_Np{s9qDU3V+v_dA9)uv4W@41%@6)+64f{K9pj@v5iwJ0=2@_^$Vc@;SZ*7 zP5m4IDnCrpO90FxkK>e1!CI;v>=O>cT5u3;O;DIieaj=sGT4|y8Bhp@A)$YgD21Dx zNU;^4DXK=cIpRc022$vQbt&S3FM&L)4p=yn9E$D(X0p09hEZJD<~t@+%WLd^SdUT0XGSxKf$v;lf3_ko=Ecuw zLef%C!7#P?+C5NDU&V-j7*Z}CfJ9NCxKCBkJ5`O5ucPe@Gm(f_kYo0i4~gNR4J)`L zz}`it0#XkL3<>x^M|`ACa`ujMg&liaNmQYuRmczuFRj=Xo1 zlFS4u;QgS6d$f|TJLnu3eMmCP@0rkc15YYBA;AFlD7(}7g%H3Xc)yIrbPI%zQ6Yfm6aRE@|dFjxSQ+7T~*<|2`(JbhW{nA;EvM)El9 zn6KE(Ktq8arC^}|kfz|D(L{}B(1}vF=ROVdXk-`d*b;NlcORxedp@z=SM*t%+x#az*r5ImN1;Pv-QqNJJ9~sloJezE`o@3ks-l15T}GXHX*u|+l&08Ri*qd0()yEE(t#a(vC(-Y?NRYGPi3@)WY z(!n>l=`AlgkuK=ijxM-U!Z!xz7u3D!-1!#61otnziweehG&u>m$xy^dT_KFrPG71_ z(o6Ot9&wDIT-9OolyeFW*1QIH#Ow}#N$sEcBR9((-bhoNWmC`qYNED5e9p2=T24Aw z+l~*MdqyG*$Ic3~C;?hgSP-@2u_=b>$1GUx`>whA1uBO&Bu?>nG(XES`E@6_{sI1< zwe2DUlkv0@m%14N6#_9fmqC63D}PCklNJg|lgzJnFgQ!y3 z`uOnc15#LFlZD4JeYM{?D&dAAPGDrHWo{oA{>!+*a&#Qkw;2`!tSNA0U5Bx>S>GNfQ81N*>2tl1dSZ7jEgt_p-GUh!YV>0$Y$qk-P`__hCG2tsRZd+6F0!0a(171io~i4Sxm?ysnwzh%p(E3J&=_K+!%|T?rU5VS=d$7JvZN zO|YubH`ZMU&wpBI;;dZId|lL@uq?Xj@S7i72L|k&fdWmx zuOhe8a!#QZU1afA`A<%Z4CB1m?b>ozcw1mN+BpnPZTYckTz|B{coJ*evbS*OSnzJ` zZVqv(HPU9l^8g>weBaF?FA>HpQd*<)te>lXp9nYOgbZ`ohNma?k&>|6!U?3sAY1DW zbVD`;l!D-6q z1ajicNniPu`+sUX>obtmq!zD2-XO&Xx2U>+DX5MxG6@S#R4VhXIJ%L_i_XssOI7U; zVbv240bbzF0dqIwv^S?YJu&cY$vu2_O~Jj!r5c)Gsvem)zis6^{a- z-6ioxEAe%fn@wHBV1%iP78z?Gk||^qb~Pu53dkBKQik2hOakf*nT@EvNabG=V_dBD zr_`Q^-aq9odT+3w%W<|%8)!!5LISvr!d5>a5Pv5Q5Ay)kEF#oEpf>{|J0~9$)V~h3 zF%$?;8fRQ-WTdf$@%x`~wt+P;EyRq@o*m^eV@MDixDMHWq2_kwbGjMWF1S8*yka?j z_EJIZebIqLQc|x2?y2yc4xmwBEE`cxb-=)V6;BO~eYOgUZSUgHP4H!s0;d-GcqSz`O-7Vh+(?K7y`sGQh7zYly`rKfYv(QD!Z zCj2lc> zQ#C>TsR4d)Bnlaqgzzu^*J^mtJyhCTC4ZI3Ed?+E!G_*bfP^Ll(BT+R;p}Y+kP1O^ zx2y!`ufhLq-XS1)2$6b+yrUK)psIoNZ`;1BTGW6BY6$QfKZd%YtWJIB-@g4})p-V~ zvzSy@@H+JFMqU;4kgv_OV7u0!lw%a6Rf`!CZCjPy45HvY%9U3awD6z8lt8~ijDJo; zy}FGlbsb)}_aj?8Q3{3J;ov7cZZs6d18$aPgqvL-xFtcxt-OE`gTqTcv;>=KS9bjz zNDz!L)Z0r2k%qqr(unHH@F4Blu$CB}z5|ls5hUX;pX}3v1cLw)7*_$tOCax-KhSD24$h0&2wI7o8jWh{@G z&DufAuj{I>ibM5#F@h>R8I-n+3~kveZfApa+l9E>_2nt#M0?}d^<8Wd{dyI*@!ETw z{_*C?9R7107uNmyaM$aewOkOCLYF z(S(PKQg}X9fv02N&0jlU#Ldv8&i1hes+j@Va03F|D+gcX?k^emr85ofu7G}Cs5E+# zIY|ttd)Vcxuk3;JygXDP%=x9SUUDY#@0vbZn7_*aJmN(QOD=f{qDo$_Pbi;lm7r#z z6I4<@8fnI_*<4)&Uf57EseeAMOo|8w!m-r*{*+DG*nL&Ys4%CmY8h*9Oh+%()0*)f zvsf7Eq%hK5hz1EZADu;+zNBP-N`F}D^PvA?Oy{62O zFZZ)cCaJr1U0ScPbC%R!Dp8&vnj&1;h*m zjUg97{2(&6`egbu;RPRW;R)=Q6(a#C12Qx*lTm>we;Hkm+cxrje}#~j)1tN_l9DL( ztwp0FCov-^mT%{KTm{OR=%51aeHHoxA*%=XWlPjUV)_~$Wi{eGUYtO$gN ziZqpuF_}hb7GzpRagq{WZ={H4Y`uI?Vs=S@vQRS){g3-xhW37~L=x7m+2Trt!@=^R zGfi*Gp=uifH1|@6rz8G-ykEm#+aa}=4{1Cjf0E@<2FhkCgX0Jk^lp?r-#Hi}K1M(#a_A{$qKQOhlRZCgLVp8VM=q;+}{ta2g#I ze>!%Kn?+fsz?&jnD8h=Dl#)k@&Vvcou4|8o7_3zyqXKwagNBnNqvNAJw%s#2PDEJF zr84kVK#Frh`eg?i%d)U(>38l)0H|22uzc!T)c5;pYqu)^=`1`W0F9ERVQKiv!PEn- z%x(b3qlXU_KT|c;P?@^=k3lNY{W?umfA~Atwp%lwI!e=GF3h>=Ez->M3r(FOX965R zgr*yaBV-aCzO;Q`HG2Y*gdWjMk%)$pVDGdCJ^K0k`!oU3s`k|L$vn`L@J%cde_L<) z_)VO~{i#F+9SCALB9Kpd0S}*_C@Czl-h#mrA&3dLK$<(tU|euYX=&WN7kTW8^}u{G^a#O~G%c2V2RstWr7P-r=Hm0L+j zfG9CR?FU<)2Im)vPbi2p(JOLWf2857Yd^Y$Pba4C+a=bjrmRm}i^`YTL=bXK%wEpc zau#`v{m)k$!Z}yNfsq!l319}oJwUdkc%Ow4ryu9)QYIgViIggAcXT*-EKdb&;|L+F zv%{%F7I9w0Ak@2!q?TkQecLOClazlddG0F4`n$0Gf z#U!$8>)K_DGp8TOQiFY>6(tm>;f8ZgOTQBz=K~H1Tz9s#)sqWh*nwX}^vpkOM_EzN zvf}iuo7yE;Qu$P&f9nbKe^|3EkF>`uQ&TEe1=nM|>7VfUF7v$o^c$E2wYYRNaMTZN zXX$P4G9Ww{4zv3USgvkHy^4#lM&xUo;Q_S-t7-EP=U1TvXpey9n9YgVcqVY{1&;Fx z$#&lpsNzSa)pni8;*#Y7=~i}N!67`uzCF4XMDli9A#*^4sSTTZD~uH4f>t1Sw6|J=3y14Y%VF zUC!AYg`^U0DW3Z8uO@}7@j~NtG3)BSaJm?)%HFVQT?0*O=N9f#d^9InUlb5hvA5WF zCojU#E_L8g1R|-@Pjui4W)i8gKo!t}7hgGXXpj?nZG0;(e?HTKOKQOr!V*g@c;d#A z3D)Y9mRZXbY?CWCPVsfdY3!L>hFKF!uyNqaxfolVkVfMy%|dB`qq8ToIENKc215{I ze20Zwf@0{=>%iw>z_2HnD_+~?GrAJFh=lq^jy#Q0V&tO|1z58Z1^Y?X|017;2$VYW zOgt|6bR5AXf2a}#Go1c9m(CP8A-yFvt7*63(rE;g{wI%?U*ge89%VZDHXh9x7?n*K zcv1v#jO-8IdQ^dDi81Ff!DF}vt!ny##LTjpiP9L@9bI`_?QK8w3t9uM#up7w3K*MfU#xLk(HEhXcF+UR!VNZf zj9ra8f9YANC8`UGb2j$U@r4t2wShjut?Y-V+MqnRIkeQtxDAaC2qk6G#=X*ZZ~MjW z6{ard6fw@`MAju7*gw(741gft2;sgnx%zfONZ903gPKm93XtbbgcCF8IR#E3HyT=X zkm0J%@)NtZyAWMqoc%y6_5-b`jos4P8C?5ze_PWKxWP^g2J)YP<_o@K_s7fkyUE2P zRxawL1@_V@3^aehxMbgBaJb|QSeJ1}QO~u|$odWptwKGSX~uqUMUZLl29580hM+Ey zPv>noT;# zS2i6NeBUBM8om5A-`$%_72y8Ia>d@ZDcQ?Ms*{4*?_)e`WC*kb$sXRvjF~mCvbu!^#YkVVUT*EQck`<`*`Ll zU-_xS!+O5NeTFJB)5rpRFAb474oCiLd%${f!kgQ(&o8BPLVxM0LlK%)lOZnXR&w|CN69irwMWGQajJzmzVikJ6g?wXhCQk5X zk~em;v2EMj*tTsOZ{FCp?PO!yHa6DA-ZrvTe&qd+DrB<)_&-dm*~FfsrX4PfY2 z8^9sQfqR}F1NeKM(8d!G*R9`3A}L1$aMawjKY3tG(+Z{C_zrywDfR^EGrpbcMyw5N7F^$NSW^0G{3~sge$bRH`T6s*i#{iNL5*6Z#UnWC)wbTqbQjHXg@Q2-FUh!q*v8fR2}U?EfdO&z zaqo=elNdy@aRdnyTq=UV z8~Pj%N%5xY!(b(_3aXvWH>D`^3`uK*fQr36q)-_Z?l#*{uc@|Tquj5ms+t2J0-K!0q z9;)<_1))N7^{UQ&C_;;U2$8E1Ru{=c-aQT(We8Y9 zEs8i$F{|4S_8-V@zuOg9nQ5_V4n@5A&3u{bgYxg@Wx%pfU2^1}kz}9s4U!kND&ODT_ z#^#+A^>-JazE!3Pks;b0^C8Dd+6`83N|WJ?juIiKlPbw6RY#B%6QnI@M{H~?EGPr) zbOh>mbdNLC1}xbXv`1W(k|--^0t=LrqmP0Mj-m=&`oxvq!6)nVx%iFfsH(A(TrtFI zat6i9O`K6_g{YO(pfTNZwLyt0DT5iwLO$XH=L@+7X^o#m_i}i83%8>jhwG*_zNM$| zDscJKW-~49A)47VrY65CE5Cc_KM~}xg&1)YL&^Q`EUv|%eY57|ea9TEs+|hrD%2IB z{=out0{!7;X5Ig+EC19pxWxL!3~QL0h~#_p)e!8*FySrejv<`BAB)%IIi0uhv~D%$ z7n%MuKb~6T%FltjhI0Uc5?ToRrTpAl;io8ml7_W~?jw~Xd5W_MPAhq_65?>E#Nwj7 zu%$mPMLj3$2nPsS=g!qFz2N8WudJB2!ues~Kb>hhX`Pfj{|ZOv>l34(_kPiXi+_!DDm!L;BnfRfx)I$i@F5Q((O43UaxR2)hhG~Y zo~bd1BoIF1XPJL&p6D&qVm?7Hz2O4v@9hZmy5HfQylbHEl;iF~2RU)gq(V8CEBwH9 z2FDf+Dwmd28}PM-FSWBSrNX>3D0qsso4$_cjGpF?{)lt&pg3mtuMuwvzT0V+FVG-l zZ#PwF(+}u;t+(kwBm{%=XxiNimAWjTi?A zG1;Eob}`vG?1ADQSYyUwC?Oth;@_)abPw5Kq#T&#x`HHN!SJD(l_K91cO`6 zzsMUUO0}GnRE>#|!dK_hrlNo>LlJ9ZD8=?4(Y>jl68r$4r*ERtaV((9yfCn!asqH6 zW@E`clZ!9qf-76&H6|hceTG0VPcu%D3bOSE=JBY%#t9k)-h~QDmC?~6W<_m;r^3(r z!G85MZ9UBNy_|t?3K}|U$E>IQ3mW%vjtW{~dPPobNd3xxTp*|k`^SMEjYJ~b0JQiz z-sd~%wG6)p7HC6vIga2z>@{=1zzLxB6ZGc4cr{;@!AIcKT==!I6J#{Q z+^G!eFOedztYXDNbGO<{@7VWMLrn^hMMa^?!dl||W%1%6m|S&)oq*VnVk2ZPJ`uR? z9^)90nN1z7R4;;x#}35%9gZ%Guqck2+`7K(gaB49Kg=LQrmtefr|wUL5ngnmq^NrZ zh}g_t4ZSk3c%ak_JLO04=Yog*fH8vupR`_9$1KBJZmKl1k?0aD*~_WmVcI}_{Cct~ zpetU9DY^IXGtM4RF|77~NMieq9u~HsrW}j3itk_9b(>B=+z+H1^79pwuZI^?R!c0J z^3d}XT+staUBZ9NLV!E%h9&(H6qhq#>PPupKmgs#b9+%0?(ala$zQ;`NmZinPBV{2 zGT@H2EvW$^rV-@DeSdyil|dy1?Kj1_r?oy-hzr4Dpt7SX|ok*71V92$Eg zk0xR*Hx|5%wvf`z_g&>L1R2J&$Pt($<0Ku1Coa+$+h2*hd>;uW6F6${-B-iO~9 zog5q->3Q$5PxavqSeKt!_FUwQaf}OshaD=3;$g_4#{#1^3Ul%tvYUbFG1xaNVZ)-jpaKi^N^4Ap0hl?8nm;HPS81lgb_(<$y{6N2}9; zmi8GSN5jJ|R}6Vhqkr1$%+YA^sH)R@annRoqs8C9BLqgdo&kT?n@1y}e3t5WxoQG! z{7eH`nP=48jpI_tW)O7?^_Q?D;EGi;vXNTLCG*5U9Muj3L@$;CnkPOV)f#u3AsagD zXY;fEyMg+O8M7BAjnj-3u9b)dq^Q(fPQc*(pBmBL6N3C8?_tOWQ#%4IK9_1RS7>Fr zpwN;CJM$Lh@}X!UF>E8!VyQ8?KC$mgnhyp#Hs7R!b^A@Ne%ChFENn>VCExw!6G_2` zvYz>Xwr)xT=Yw>FTR@W*3GE&-|2BaOOuD)qclf(sg&%Qqoh#s~82y38bpCs^N`K0M z*|<%E;YMy$Y|e)Mv#vzZ`?h%Ib208I3G3~b9NNmd$jSYnXn%;0z~$U#7%x{paW73j z%x$-0=htMWm(|WkjGCa`eB9?_QywsIoym~9W{u(W`f%8aZKv91=IznmB)fkOIP1&F z-h3R!Yvg(I>Hhh3pm6_?mi;=BE&c9~I+a()W57fbMLtF1<&^CY2AA_TY=V}d>OfOA zYc^vysSob1{85jepipSOcu+6bi-t<6+CyKK5QOd_k2%!<>0oF6h&5%OTKe*Ur&j;m zyyc?M;RG>p1eth=9>mk0mFLC?Ec;#F?F_MOF#1T9IGBn-uleiDo!8L|fEJ@!3K1DB z?7WTii0h>7g-JtBG6h#aXZ|=r98Yil$VDzhXI?6l_?0GiyX6%cqFZtieCd~HST7vB zo!IAZxRLO9oTGqw&K)!gGokV|jtKI!&lW zc~I$4;@K&hdDV}8 z&=MgSm!b`x%8NP-We@WcFUsDX#?#CXo)$H-E4E(;>CeNzQd>D9|zL#!BwqZjI=4>WOo+G=xJLB_C85*2fpLvZjO(gCOz?teaL8^ zeQLuV85u&r`?c30$yO~!y(av`hv}FqND|=jXtYk$$R(Bk}xdi=~sVzFP-VU&}bCrH{f>9qJ zmEUlJN)11a|1jEz(xt0~OL?*m)T-k&HLx4j)Xll86}{5zYy)Q%e8I4BgbG!YaGbq% zPTW6r2KIFmqQ*xg%3T;;Z+Ba4yMDZo-aYlqWbz|yJJLCKUpzlui#P{PhPn2Wak(R0 zx8xD%?Cb z=3&&RI`3lby3u*+HWqd_gN&WLzqi=}L|}7=fZa%7gBBnAz*a}fn|m$~T`Zk3D(nL4 z<(THHWeCwWJ%4(b(X9&piVh3{z5pV&AL5QQavB2;S>lRNWp)?v$oLh#O5O=JZLgKT zj%J#OFOfN59w$Hat&l%3)@n7hRd)_LYr{*rQ70xapAd3oJd{4spta&2Yy$AcMWkz{ zft32vr{5WD31+9f)G839n``O&?75wPO2)kKP#2}01g~bwyLHi)AwXQUK2>kx?$dmc+=RR_VlynOGETDw(IG znhwS{?yr)XaD-)3_2GxsK9Lujs&1Q>BG78}X!;97v94|0@OgQS_}IsTw*=qNHCRb9 z&-qR(B> zv$*u6^&;KnNw0)tm2+(BSE@GL6 zWgq?3teBKyA2JDwn7f1}q}?m1zK@fmRDOAp^ha9Ec1k9OoN75HacwO0^T_-BsjN$0 zOYJ9LMPW3hBxFa+X?hE3gmAGJJm4-_V9V=kHQ{;oTT_PADYC${k zj)N`~q~tb7oGW~`4H3-!4XB`LWqFMS^)i z{$TI|q~Itg1t9fzv}Fwl(n*fMvc27iOyvthQLk6sM5*cYSNUZz2)khMeV9~Ydd1_` z($yd)8-=x9MG|dXfHH*HY!vZB4ajIuQzSmQDN8ECuS9Z06KZ*XD6i2i$WVzRlw9sM zn>E@}VE2)B(^ekwh7k7#l=+A#WWuFtM03D4mOd~D(m?j`>*^5K9^CQz(5~H-L*3R04 zbU`J!p^>J-TWOz%C`3RTN-RYf4Mg*39)op-S755+>H-r^%SY_R~`x*P{1ON`;@*8yItOkY49l z%~0mR;>Ec1h|&$FFKku2QzS2z`HhHIQWB$2p_3D6-XxjbR0gxj2UV1V)8Ap_nr@F* z3WX(&hSu9m&eI|x>W`ps5zHm-16B9!!`iXeR{&m(45-DR(3^#;~BsutbXCJSsFFp;958oEq+b%-a zdoc^u;t%L}6M_9zHFNlD^ocmVO)cklF;pd0XCiR39jUq+l=obF#BB}-hVL`NI(g;v%mqYeeh<9!M<&p{=)dg;2d%jd}`j&(eOP~vVV`w~TwrO-ZY9;B< z<#X0@`PU9*@^u={I9jPfk^nQ?V3`O_OK@xh#q3;f*{B^yrtBL zG1F*YW?IbdineyQ;=j+_UlSiuCjP z+y~x-q7mhZ!g=Z57WYRT&@4f_Ag>WTrwO+v zFv0sOjb$rzt-E;Z%=hE*xTd66I^(KPj?}>0t!n6VVRRVD{kmb?K10yN?~3*lsQsGT zYs|a>?l)@KEdHEM*l6|~-)jY2A;5`^I6_O+(hBgLgV&6m`)HPX&I(}a$Gmz-3?Q1X zxC%CCn!Zh$HXV_D4nx|&#BXH9Pk`q#Nio%ppWj&bVJ#uX=${+ca0%ohz$&PbFpEAL z)2t=Cv>N5scF{C!j@J0sO=i3bEHLA;+WT2>l^tO9*Yq!4`B9ty3fFI+`z!C$PyEFB z6vf^YykFn$1UYi07R1samITsJluFHbZxiD^qnuNv!`!&8QQ*y|6n$Jo>zF0NuA5yK zDRzzhg8Q-72O34iSF+>hPeZEd>gl<1LiQ6cPmk@{u7F0K`_4ITmiTkMK;hTB_g7Bm z8{>Yt=Cn%2bUD8m%bFaH4{$u&U-_JQ+cDL>{mMruSCHx*!nyjzWCfTS#I0{l^6qc! zXV;@GXCYIduk>01z=E(0Fk;kxEIjE>Hw!yjfObPmdH(zuN5ehx1ngp?ASC*bsWQJb z*Wsqip~LU-{qB5_{jk0tD9SiV2p_04qjJC!YiWK@nIq~C6XytVM> z-TCGGK(6r3A%oU-mj(kxSo~oK$KkB>74CIJ{C5a7f>P$iEXwE3&~j^!c55|ax)bL2 zd||(@gL?#1`HZr29P!|nm*I@9nOgqf9-Glblq<8@{*k;^{|((pATM)_4J*ABjvZ`a zJkRL54=~aN=5I#qmzP9gnQy!-tZ0nL%InOC2~(^uPXS2BiJ&z7)25?~j+}LRp!E&~ zKa6?09p322?$vD`L5gJu@~rZrdGJ`yQbVI_QDWxutrf_Bn`r)ZE|C3QrPF~>@1VOFygM% zZX)To;e^WpmFs4y{c*SOO+Ww7Eh$yLp)}hjubbD;L{om5DnTe87Isubg6sq;{G4Q(U-2_KiH=O_JqdO^W04|x zM@rqeh(U@9K&wxaoL0TJ2I1YSK0Y7W+G{q zG$b&2o^#T&Modx{b(Aav$M3%!X)Qn?Ze9y~ksM&8EQEF&A;$?-1tv ze(z^Uwbr8}CZYWz>BT+fBc&TS>`-eL@EimtY1+SPz$#rcxzG3s@bi&%Z!g2taD zf?E{qA9!vx*KV|(X)t?0kEZ^Q=U;_+;9`i|fZ|HMYb*YPY8< zgf{|wn?7!wV5InA^0e$lNIz}*mgo@JSXCUfBy0#?^8vlidg_UI(T zQRzwy@+$P$D?Z6UzgSJ?c1_l%8k|W;(%Y2r4oAX*20@`3EyqHl<+h{`Uvyau(YT}9jXy2f75XxOV2@-S74};{kfYozny?|tHFUWlG{k759cy# zBe+Or&c6J46U;%UT@e#Qe>bVO-!}f>b+b%2^5U0p;I&;vMXdwsEG))4ee>-FJQB#rb5r8yk z=s@UE+*9m5iHKO%$)tzo7|7nCei}CCaEz$G#}I_bivy{wl;c+;)?L3$rWhzq4^7<- zhF&HH%V!G7GW6+KuS`ps^bqoXT3{EYbP*7^cW|iGB$e^H_$Q@|N{pdXHR23N$49}$ z{^~vi4?%**JxPOO4uF&ooP;hww_+rPPy{wMA~I8@_FCzZRV?5&)y`AeDum|DJh~u} ztD{;YnODNkM}7Qx*f~EgAb#FC*W$iK>0XXW5GH;vK;7Iq&(QMn^FLRd?-%~Km_4pg zGW=t_T)!UJ)$ix$_j%y#wk7e+r~hl<_vKdiaLQi2_V@1P+xiQX%k7)T@k=A*{vDu8 z{!F2t&%?#%(^ihrv%#|MaeA<5Bmti&Y79`s3?lV0XRbGpXTC4M z-{p;PpX03YgofZx=KfF4Tz4SPk9ou1*9$~vS3tbp;5~%mBYW=En)C0^gPzx~-}lo9 z;chM_1^{Jk2w4@dsbXJm;ySRj4*-zw@4-e!f)T`mogH3~=99fSZw?KPE;U2u2jKnw zqvF)5?*_b;Ej{4?PG@C4yTJGs<@D{6nmN#a)|qKu7tZZ6INr8j4`kiD7vcw2>{I}J zxZ*`M;6kgj+qCy6+!pzDn{amZXLe)xfk=hi!ck+Hl2)V%rp`;pTSU(P`4M=@tz;DN zet0;IU03W`Q>>U=OaW%03n=C+%+Tt;x%I42aujOvV+zX9YWM32yEuP)V)okUzgjST z+s6n$Z7^}M$IJgd%>K;r=Mj~dY1AZ6f1N2n?2W?W!tL(hdN|Wd92v&5u>@IiD)Dp|d-sAc;gTMz@L{lP1jj>Wa#Sozy8cXtYZI?Qz z7Vs(;9732zKS&OTP|^<+=;;nb=??VrN~5vA`Py9gi+2#4z8>M_*9Ro4(ORoAA$+h`aJYQ<{EPglQEftKY3GN?tJ8`VCBy?> zqaSzr15`7=y;PQ^ue!t}MZHSN3AQZH`PTLXmLxmvTh5nib`Za1u5Cxr6s`wab*?F? za~{qu5Ro#dwpXFoGXc(N@?_Wf=GWMTY3_vbA_=vwSFhD&Ke^%cD2nGsUMFRiR^o$J zWmUQ_nmgRttfm>8IGOl)TSQ&}@N1Fu~Y+h$!< z$Exv3xzzE^4Ht$mCru)Ok>r^%51qB2UHu5O~PxHr?fpdLsMF* zyfSgQGeI>6Cx&qr$35jK%J>Tr&@=05xhd&0fdn7S^ zoV_O--8jAQ+IDC2@Pbnyuiq9Yw3?oKc3I1qmaClRr^RBF6yA3+?4)%NQ7ZFV(vol%5z!So4iO z`%b49sFj>{13g_jx&(9GJ+0$*sQ3PSoSfW!oiqT=m3VZ9d#_WPhrhgFw-=TqK_-(6 z#?){zV!%aNtYV(+cE$egug~`eXCeBpmQd~fj+FQdi$DyY$Xs-&$R2dG@1jv;-| zt;3w31uq@IXS79=Ea1QEM2i@II)PM73rlfAv67;P$o%2)Uw=m}Yz>_5>)fA`sysqT zry2!+Pr@cu*`}1{s?5pSqKF^tF5;40g@`go{|PKnccJMf%krqyU{2zLfopY9i0xz? z%8lrB#UoMafJKK2IlmW`L8oBrkI(aCQ!u{cvvB~UXUWL=PF6Bnl8{|lyW2$;MEP96l2>xmh=!TLmaWH<{^?!z^!~Ynj%gF!A z(hPiAshbV3zszN@LAeYd^a)yY8c;6T|29bXmlVl+6m{_j1{9NY$Qw$ikXZReIsNDo zr3pD2C>o^@8Mby4od0bD=pup0O)s8+jE?L3m^eW&3Kmt$i%yYzGBFoo2MAf0u>)ua zcS1n><}w_>`sRj$9P>+6AOsZ;Wg~w&?aNX(YvOA`2pV>R2^ylOizH-(QZ9(ICBZ!= zZWqI$so6rvEz`*AmC%5QRLz5kR=HT~lD}t*CR~)@K7PkFk{me#8d;=wl&hq+OR7K% zRu5V&l=$jG3#yPp305z#pQ&`tM)I_Rj%_fG>r_%jm6COa&ekCQ`8a?JR*@sODyEy!jyzF zR@EOQ5Gu^!hl1SMre*%z7?+a)KCAFqFO*W?7+nVE{1@(b9ct{6#fC4&T6kq=$-|*V zmRRa5(Isx{Rz&!@QLcJdHoI1r&OU=GC>7^HSvYt{pa33na-RVdt>~ZxCNexzJKVpR z*B~KEiH8lnw6kaF5+F^|z%k)Jp_FL^*QBSE9&Sr8al0t^JenY2Fm|R$QU1 zJr>y~=F$lvO}I5r0V(B)-^#DjwUxOTruC-?h{oTJT8!OI$<<=kJ`zrK*@}vZ&Aqr3 zrM?XjQ-}q1SLxKPi&0oc9t_}L9Ud>JfcgO6NFLVM9pF!_Xy5lf;k`WeeLwlUa_oTvp3Z<}bP!>$n z@G>FnC_-$BYka7PD9lJrRxo-Wk2t6}iQwWgUj7IW&D@r5I%f|r1#xlD=#ULwRekYy zPlIHUc(H6~P3kdw`+Y*bMf-9h;y@Yu=B99a!GvW6czi<#vvv| zBJlrpG5CMny4)7tkX4c#^;{|=D8|fPRf@%d5yU89J_ccZnC;&XJ-|5 zwsZX!dpmgZzJHIxNp&^bkC0yIQ#T?*K<9^CQbU7Qp@DiTTW1bKdnDyUO;SM%gIxXm z_&6T#{5tKsJ?)!+Gg|K?I?erHK2}}iY9PFl=FK>rIWBOSq~V~@1#X8~l7y{AuE}IV z-g0DJ7b+);yNRfq?u@G)&lR&Krj4vwm?yT3ryeww+H6m{={b~E2=73<$u*>5 z%&E(%%YJ~@fK>#!8k@u1AC@fVy8c6oT<<3Y4;j*VvN{?j>N_Wm3w4Gt7abe!=axGV^YLA=iBxeyN> z+EsEx(3A`|K)lp)3M*yT6dN*o)^R80ysWw!fX zP#99Jw=sS2n$u=(Knb>Lu*RK4^GSJs#uyj$Gk3#1xD;e9`knHCKKMEm1D<9!eOJwv zv(>;ZXdC|NL^hnGF{@Q~!YLQhE%dh}k#1 zoanWv85?BcR%i7DW{*WRSlQY8urvmi4zEqOUsR|hJ+lf_%upsTHc&^{FrC|;P*B*< zWtsmDRDE<}c8>imI<fIIx|SYpJu`k%%@;gw09^p49o!e~xZ5YRsw( z&dBLyQ(>7A#MXew0CQ{%RS8BnOb>#;#w&E~nA%Ruc*4-oOI!C4k!Z!LOm&3BsIxas z!wy^|tj@~;$7J7vtxVaV67iVf`q%01$zO;Lw0sFMT(G^_6cmhJ%2>Tny=!s^V#~M& z!)Rw%W$4CM9&Y-V88}b@Cyx5dCCEV`g~W(K;>M_mpy7Skm^{<(vr(;GNBcZD>@Q;; zg10n0&{RR5zGK^UEtXb;a4ay2!D=f%Arg5GkMQarpkFx?a0P_!-Ygj_IH!@{p-%dM zuezj`cL?B`_hNETH{_cfV`=$d7yB+xzJ~|Md=3Y#w@f5+JnJ9=OE01awTIgcvq2S$Pn`Xvp{Z z`0w9?#$kwvz5VyC2GE+P+TF)t2c!cL_W|=`eq6iF_krm0Ae%xWneKu751nQY>_?iJ zeb$h5@R3Q3Dk|G~r7TYUr1Ykl;|LB_6@{6FK#ig{F-&h(8ji~k@ozCAtcAey$g{#? z^yULAPB}MpMsRx3tc{tFQ%0C$5h*E3=K2^LnPR%;2r~nzb@V!@N0UX#hPkWl+iU|A zYs(Ua!nv!%gzQQfcbY}Z=IM{J#eGTl7PM==?Cwg0 zE2y2IF)G!ZC4`mSD;QfDVjK5~t1mk|B;D%6!5SnT+cwpb;dEar zqY@Lj9o(g}$g+&RHS3Y3ynb5_+w*gn0zS)g>Mahu_Q#k#8~2r^_Q0jH%(8yMRqLT8 z;8)#ZsRh?p?P97$c{OKt+duvzTla0Y1TX$+0T-dcF#X_H!{CZ9S!dw+9;A|!+})CV zFh4Ps_i-oWkHF;pF=04ECt2qQ_h4=>O79Au!R`>a-K~^;K%HbPxhdzCg~&A>0)BHt zBcCJ|m!*l>f2s@>0e|^m6cE(MwANW&u4+)a>6oUfv8W=_k97$gRdGg?2YWiQ9awdt z4}0tv15zl0J>d(u6E$XYsYZId^<*SWCP{T-6jDwu7Mz^Pxw;eaqEkz;9ls7Ik%zhd ol8?{l)H2Uf(rINb@cIjQ#Ty07FkFWuhG*kpho_{JP?CiIUtCmUCIA2c