From ab71d089a14cdd7f6f740438ca3484a95201eb01 Mon Sep 17 00:00:00 2001 From: HudsonGraeme Date: Wed, 22 May 2024 18:49:17 +0000 Subject: [PATCH] Adjust table and copy --- zklayer-whitepaper.pdf | Bin 191879 -> 191150 bytes zklayer-whitepaper.tex | 6 +++--- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/zklayer-whitepaper.pdf b/zklayer-whitepaper.pdf index a6c2bd45c8155f7b13726c7d9507efae0311becb..f5ae30c08d16d0d708e797775ff09732b73db424 100644 GIT binary patch delta 42136 zcmV(`K-0g6+Y7GM3$XWz12;4?mvO!VD1XH~+m_ollJEWsy{&qW#RUj}AZH);IL>u^ zNqou9*<|v-R~X$+s!#w4P>|e_nf-#ucpCx>6Q z;0vxrQmBQ>ibUwedi&`21(f-2VG2HCi70Zl_^?3mEAN;7TqP@>@+8YLNF+s(Vt+L} zfh_yqPp`L&c@qjzg5U2R{XW$w63tV<4l**V@7Leh;s&z*x-d8aN?35aNTp7g6p(Hf zZyvpx`gyEc#l?cFEMZ)osuxPjM96Gb?O2gYlQfs`%rp=#$Ev=1`{=*EE!aXQg=T#5 z_I8n}glBr8Q=MdmUc9|o{JQ+A+JCJ#+p>GtU#)~z%Y9$(?kJhl<7wMn@qAhJkLg{c z^!)BCdcJ=0!sa~v`Rgm8mQU#I$$DKiRaXx1{cmso8j#?dw;mPJLM4)CfR}(ii!;a& zr>@KsrBhQaFXZL82K8#q7n3{bxp1gi` zwUQ!L%Wr;p_8gK0%a^Zzc=MD2mGgove|-JJk1roc;IlD4O<<^2%HrY#&T^m%S%Kr| zqRfB_MF<>-z9n#0r<_h?z;-t_Nqv7J3+C&hF`H#z3{|bhYO(20Ro?)kRebLd?_|y4U6Irrkz#==KU6w~L>KhZ6T} zY)=yxIGm^1#fhs50e{-WFDdn^0AYkc|Ic`lG*N04`6A(B@*9$+#S#MJRDZTFIlr?f zd4tum)775G8}L!;q7jq=Lg(@_o!f69^!#Q1D~ z0^MM9e(F{DA^|*N@3>Fyplk=yzu;q zP9+X8v%|3o&wu{h*yMa#oa7uhoT!{7(#N&L_}menPccegRbkCZz15b2rk^%M$PH zRgo?$V&>WNVdo=xnx;@KW0#+Kk)iN8yr z7oVOND+)=49>$royLy^4j3qfcYr@jiWETj%^}$!uf~i|C9hXaAE$pAa&bl+d2TPB3 z$#yl3g@4`p7E&7qUqE&huGhn^`bF3-#BtCeEKvWF&c ze(wDhSK!wG$eC#aGwa<@A^ff@Az`wpHO%}_4}TkiT{rFe-Fj2jJIXPi1KfQ3&-nks=GFmbDpo$Yn{dO?};!-A8&cM8gCcDtK8n^{%4g zL)$i#XGo8Uo0j%XKyHoJ2Tj-NsFWGov`Q7Xyo1C|Rozpnsmg9g%!RjYds8(%rHPM_ zuquv8l&Ae*2#u6L5ZJ8yO&=pCntv%nO?m(?`d!(*qqn~^#ZdR)$rA!OO0mG!U}#w7cCu zr^=e@0fZ692=fzY9a?7%1Ao&$-eKpo4HLAZ2mox82qPB;iFyZGL)pdv`{f$hFIrH{a%*sn@@;N}?AL`?I)@PAksGr9t2=TQr8 zXCmWCNo{4J-49J!TiKe~Buj!&D&|iJzFqt&VAPTo3x%7Igb7}Mf0Sg(qZLTwTCbUlU;4PhF4Kn9AE56EMFeD{EHdHZ%Tp1(hKajCN@qAu> ztY|-@Cxf$Z!oiir+o3&E=upCdd#r%2W-tWd*}1k$nXSPq zoolc)>X`AOQmzmUcXsRc1_OWts}&ZW%?T0G6V4Io%71YlvY7k92^>n-2==H3O*5W{ z(v|0l$|aXG=>kS3j1>ps#TibLDUk*qkrgo7kTMNi;s^|V;s_3%;s}nl6~il#vauI| zl#Tt3kR?LEL;pA;btq;6*a!g+lmTy)$}{B*7@p@G)k!2OJ2szZOSwWu&YpDju-R5a zy(U-r)PDxEbFrI!8;YIngx80N+;N^KLgq4?3El(`C2xZJqyz~EC!+#+#F_&52aPln!zd8DsRM!BO`VNVB}TzR(Q{}; z4V=gfPHCdKIN!o$8Z9Ywq43VI99TFk<6t%IlF{;EUcqnQPtw^*6_MyNcnKGf#nc*6kAPjRd91R{1*Qk^$WJK-9 z{eSR@vB2!BS2V93E8wU==ZUV>Jis2Q?o$Ey?cVmZRl!;OCK<*~I zB7&EjvwC3bbW(7BuHa>f!bmt%(C9G}XMYRXGIovATi!s~do$Q|=uq~8FK41h9q{mv z4MlO|7=*Fud@wq~XT#AE9t=n|#L`mDfH{QS5Gc)M4?MnPY97_40*Y%s6Ftcw$Yvs# z=$L?^=#Ah|^hR*3tq5A-$aL()Y-s8_9HUH(iie^%;uQ((vV@`UNCgaUS#fS)2Y;v+ zkjPRA5kh(_u%lA0kP*KBz2cnX5}LPuc0veeRm|c$>WkNvQ3_ci5#uQZkt`@WV=A8u zCf7WXMV=OO$wcqPGTcY&izb9li4ZBSQhTx)Kz-r#Gkoa`;G=l@O-}OZW9SQL&?jF+ zAp=kOf%Js+Fp zEzpQ($fvZ(K=-AUSzrMkz!{;2F*#5XNUSC>z%XoupbI+A(nNr{)-xz>=6@GKa87umwYZUU~u&P*9txjCYPGwyyZMGAOnE`tU=;D{bp z?ZaJvni+iT{nXqf}!#A3JvO>N+BDo7jA3i=U7tkRy6Gd4u49BW0sUkxk5n< zN`iUZkcOYm4JmbH?1?9j3`ci7$%}#p+u+z(4&f@RJCN{&2%@D|3rXGyISuUEb@*m|dGkDIhZ zmkTXL+y)5Cp?`_Fp_t18ZH{@kCIFA#Fy=O+K6dS+AGqGA1CRRpXk>sD$3lr_26ugq zL@0-JC6nfL_@vwAoI!`xpHYJoCM|>hij03k9bBnE9Xzia#(#-N9qzoEP&HPrX9voG z%Tt^eWJk={8U=x;sR1;jVVY4PEJn2Wb@7{d!)?I-fL=q~D!}4FgSfF_3wddgL*J?5 zF@I$XG>gsRtHrBD%sioVW@e3@oxRA;V0e+!B0KIW_LyNd$4g_IsE{k;EwaxoQCKjf zw#9ZtmMA@rsedh{eZn`>D~Kp~?YyAf3y#VGlvuLz`)yt#rN1<1be_Nv6N7gM^YnR~ zQMpJm9H!<12Y52h8du5{q6v0;wwLxtW@{EX+~tE z?bg$tfIkxyZ?-CQVJDGB_W0mW>DN^Fi)$H%v=Xf+u75;lXD$c}psQIQFY-jED$Yy@ zdVs#5KX~&~ZrACaw*CNP2>FWE@1G{eMhN$2i=ElX3JqmB?Ps+!L%aPJEauv62%PN) zn@NPl*hAP43@uG2lFYPu;*Y1(0f$E**acl=g$gy>hkjbK$I|~U&CVsx9Db%|YrN_x z&rfT%D}OX?4ycYPuUB70c_)+)ly@Xwpu9c{CMXxU=}r}Lro93Dlj=K_{_^@O3K*_Q zyV#nYxza8&7?v>9U?CEf>LVI#OKAxq*LZz{vAK4?tzjT-;l-_HIGm&%=XS^UxLh@! z4fJ)=RX^e2E2ZtI*U!0DPGtAhGGN^Vg;9G^$bTXY6*B;TS~I8O|2C(K>zrBoxw^?% zQl!NvbQ9voyx`ulw)L~#<_fzJ*E7Rzr-do$uTXv+Vfon9gip*dPkla6?ui3|b_aa) zzy%CP3R(j6_0K7k9^IZk7NTMH*yJk>53E@Lh-AbDC? zeSdwkzuwl9Pd0uRh8(GxU7ghWVe5eojR}k3&>!{G>*#@UJF*A5?J;fy(r6q8e4%Ow z;7_aeRQ%ti+9~Ho-~J4jBiiCsbD%9#r_5|B!)qh5B7Y!p;vZa|Ja%5CkYcv76J(f8 zl7hD2(S+S0L<8CdGxghEjhzX4Hx>K>y?=>K31Vjoj>GbFHdA<%_>tmYL^8RZw=z%M zw#s-aGMdWKxTPG%NjZlPIl5^Dy3$pPN4Ezv#SpG#gg23dSPbV+@Vuo}**oETPFYVLF(&Ut<(;G8Sv3K`D*A5DMt2hqZ;@GM%eXnRFZ6>wmEpPX)j->#>%nu?q)qmC6;=Fr zLw1JX?FLV3DQPZ4pzR(?((&o8A1LRh?$`UC4rogp`fuIAL@c^)ck8O#xqn*rc#sWK zWq)`k*3JL@ga|`Tb^nf1_6WDTS`Jh9?#Mp;lxuTL8xL1Lrrcpu?I?vI6h6Ik_&q^x z_rtz3hsL=(@E$#RyrmP)N~Cl~7Zblcqb+~RTv(ul03zquh{?rs9P9d?j-*ee{{xHL zn(o^Hs;zOp1i!Wc-mK+*e}6w6pRBf(x!&T=Mta;Gmu~Os$_@dW+MZfB`QLv3&5P%c zDaT(#rsLqY#N$}QFMfJzzRZNBeJ1QtV>}9v(7)l;1Ox|gUlBCK2s79Fu7i#?AEU?r z+umF(RLsvV3!vqCQ#MVtyEA>$_832Al%4%(*A4{vSPcZZ?@Ex;b${7BwncBE93`Ov zep}WG#_8}O^N5N^k68*lxC0aho4F}%>fro50{gbv({+62(}S~`R=%%cG`Gb*Aa(J0 zIN?*jQ=sJB%@$*0gl_4}U4N-~dNCzJ5PtrkX)ewR1p{a~At_RauI?C(Ll zDtn6B%mU&e=`|jDZ+~x$EYrDbcVUIh<`O9Bf`OPMSKa%1UG)hW9vB%;hKHFGUCbKn zC#X*hhB0_)g1K;FJWKq(Z1&@P;>>zEGm=3?sk2>pj8z;Seiiw2NyH5zj)m}4GCqCE zzpq_q@f&kG7)sEgS^$vMxdx>$xL$#Ld^~#4f3kyVj@HY}j(^e%iXJ{q#h9>4LoXJW z-WXp5ARhP(ZBUx?<@eOfYPxBn!};B)id(G}fr%C}wdw_6QZGpK_1(_y_%o6Yg{ob< zzuQnYi3*C`?#76poa|#n`uBa+RK2-U127~eaTI?%e$43{KLY435{2D`?%dKPBg&jf z=H@B}pdncK*?+wnP{AJ2=m(HQdl2B@DhXsHa~E_#qP(#d0f)}Lg_-l=kO21<%XgKy zo*FtE$Rt}w+V^a~Ip@6Z2e1cS?+(xpoA4YoUIXE-ya+lM(9kXw?pQEd^_mn3 zJqfyWy1e9@9r%@9jDQ%piZ`vZfTp#f+EKo}BS9~(KN8@>29MMu#9iHC zigmUF*MHR!RKSNc^&jTihKz0|!DmSisI)Ou#_L6HKy>hy63n1mWT5TcG66kWU}OaO=P6u@E1dT2q$0sz;x!oD)( zgB;^o5d!YpcsfY`4b_VD0ZYWpNxz?aVhO=}Uw_#IiKd|0@1D|hX^+6m2PWVx-G7h? zBD7rImmOO4dcAMTjzETukB>-?G6BFnP!l7N0ojKdC%PNTgZj{$A#C058w)k}ZcwtM z%)Z{%rbUFc_KD`M8dmX}TrkpB<7E|?w3m}81)gqy-PHZYpaVG=Kqr)ZGd6_UbPr~$ zTz_v&a15VqY+z!{YNXX`!?zUNVLzr&?(wme)kx| z5FAkge)aTb_z-FEDTH3%{RCqi!R_@on4mZxQ|{_11Krd31Jm%$`_zJ4`}KNLSH9Ok zV88ERNP%>V$EtU2d*jwN`+YNvp$v-}-+yrc`kypVBb88KfbW}n+&PZ`)R99|%fec0 zxUED+ZdnOq5b*uJ>TbbyS{Q`S7`ob#5M;MI``vcm+d{SmFhza8-`eZ}gnd&T4PWlv zN|RL9-h*w z&a5XqV=27ac>qC>garaLF59NQ-g)w5fnYbd4u>X$tgK?8P?gt{)&9fb!GHMEcfLJ; z`1;)+-)HNG&1$m_*AHL!4{;`B{E$Y`%HKSE-97y3Rn5Na%BCnEpW}7n6|In6!+*xP zD<8we`+L=neSINsSM|l%_vP-N+5Y9252UI+pTp7SI<>p9e*E_JUu8AVL9p5+Yrb>G zX&-~cE9>@Lb}~NpyU@XVjN2L@&!U1%4Vz@Yv|klh4j~B)pLR_ zuX>qvzKDd2&{>i!<|m&AHrhR(KYu?4fxNz}{^t8(zO8NS`?1DGfc&XF$$#DXSQTI- z-n*vgF6W_o47|2kdgI^x#Q*vIPw(UztRA1&QQ)CTieGxpn_W+a%%M+RCx{|H=i92T zhN^T!_Iys0Y%fdi&Fi|whQCzJ;qf_=rJnPSvqah28(K1X9$mG+u&pn~fPcIw#x5_= zZC!XVo<(~)k3&9GZDW(+Fhk#aURuY#?M~%R#s!gnT@=J#$xUhW@t|N9n0AytitGuHB6VJ~&L|dm20w+w!5y$*%JYBoRIMKCp&v z><9Ow9sBaWm)%f>0l#Xj|9^b0tHQQoLFQkMqGnttH&zH)n6BZ_Rl|iWeT@>gn;uX! z@qD%E80%&(y0NJ8dbP9*KgcxUCh$)3kwNAiR2afd$mO8t+*Q;|`JcV{Sxi7*c7M0Q zftL?MS8Z{`qK-W$(B0aY7=pmrUFTj{%m4MJIJ2Dq;pCE<2nD#X1Ap(uQ)Qz)bUAe~ zhJbf%yYKHQVO{<982BFaDvZ3p{`oUB@(HcjX{7LVLCw&UpBu9sgh$rUwl%pT*<_W? zQA7hKKt5yP?Ue6ilX|@vG(C1Pluu;cio=z!JCSTMCyvT1y0-6)=HsQ>mB#40{KB8e z9xYjfnXo?5Q1)Va8h>uS7|?y!o{W!mmZU`=`*!RK8y46Z3GwM;o_|>qdo?bJ4-J-m z>+-t#U3FbpIM0TPgeE0lh^=nIrEPYUW4N#AcKtump3U4y_b97=g3yW9s`U@Kqg{0v zO?pLHcV%u=&!>7C484>CIcL$jK{iLUNZY?0tGXoFm9%Tm3x7-M%e*T@$1(3Z^ZLPw zI93NeQILeSdCZ+@Owz07_paa?HKQLLG5$VE1z%|;ge-(%Iu zPgRt`QE3H1LnMS8ai?O9M&H(>8JF1i<@cw&YL>OQJyu)sM>B7J;TayQ!x08L5f5B8 zJJDXK#N%_|9e+4LUftWl+lR4Hou>Wg&wmYrZ;STqFZ0uv>FToA%}G*`(~iVY<|k6( zXdnHM4jhKni2SnLvYT<0U_V(i-ruK>47h~ok zEJbzJL%kX8q8dg;=u&?uPioL3BF6fzy`t$3*Iv2Dav@Dcr8WRenjKJ+HCVCzW!&~+ zQK(4Vbg(P?;Y(H5q_(9PqeT(gmw8`pX;i5*Fn_>KKETWQ=r5wNCw6Q6RNeNEy#{QX z)P<3~O?fPs7J#5%HC|=s~y~r zhzHkj%7x$wqYRE*GpGd<~ycx;BGIkehC|(rx)XdyzVjD zh;%RP%nKue7^zX+x1^jIxA;{)7;e2J{eLRZ$9M*>X8S)&9SK_{}`jw^ktnuqZ zisg8z*?Q(vZiS}Xw%E^{nhF<&5YL{v4^CeEMhcP^J1GL83a5eA;m8dkb$|P^ zcpb8!GvDnx)e1E1i^HW%g&hWzOyfnmm*O!7RxT_$*ZEFQM6|&p-YXe{_rTge!?wWhpxT(^wDHGctblZ{a*fBm*gtOl3(>X{y6b6udlF^u3ta1Mb4*T4-VwFx$Y?TdcRDW+63?-O9 zJ>7|nruk&G0Uauyc`pJwv;0LYv{``BF+W-rOayu1=g|ULGq>QDZpvfA<&(ojnGJEU~?-@Wmnp)VyOD^ zX~}7b7|Du}j;jO}2n=&YDSr}4%~cl93gjV=cL-P#azS7gZC$@L4j4hXE!oHygPO6i zP%M<7eHPMpbr2mHA;;z8vr<` z_rl1xoKPXvR@1TQ`clvuYRI!~tTS)sM}=R$1xgpzK^ycLi!nPST7UNAjU5Vo;-h8@ zz;U4HU{P6U&@YHvFcf2#kq(s!IMD57a>W`pPk#DT7Ltxv{i!!k+wytio-!ABXGkT* zAQnRdXR#oKmWth=dvZYf)dpHc*(6aqHj)GFWs7=tU5`48bX?b-DvP|b`2T^a(ZT2& z6SsHBvE2y^{c9L0l7FgX{OvB{q5*Ea(e-R4I&l^}Vjv?=?z9ke@Zfx$MyT8EdbYX5 z4pjv(Lc&q^p_MC86-k&zSxgB#;%SBrq}VzUNweWRz@9xb+x# zA7%61Vi&!?#yis8A9E%EQR)mJ*y1Z?#XB}cN)|rW!uQzMVnu!`#XBifiJY7Vjy^@c zK`^^QZ+;MGrhj_(sHSx126XLsu%F@7ma;BYeSel&#p%ZTueQ?ASUS$w_QHW<=|;;K z=$H@yFzqmfZ8)o)n=rVE^6IHb=bjJZ+g3^Zuujrd62(sIG^>cZ+5X<&1%dS}11hH$2hBt$#JE_jDQk`wQk2i4gy&_i5 zP$%B_&f@vk0$b0vB2*w26ApIG4wRPEr!Z}TSxI(DM)UqRoTbErmWPJf9DPFvkquB1 zxx&`%2!A>1UW5)VWdBJd)X?ZGeG7N3|B-W%sM17WtaAqvf&2YVtdnBUQxXfd)i~?c zfWjbkwXk`L>>`37z30)QK?uz$36do5oplP0f(o}g*pp2Z*`_cnYqdR==%lIT!7 zbSsE0Ps5=!d@xKl@-AhrHXU@kUoIJ!4pa7T!v-+sG2n`c>wA0`@nK)BA4L0!P1%gf zWPd|ir~Ja77)o*ng<~!gddDe$aYbrytxOZaqc!~r5C_>43*UY^p<`g}-4yeiAStzLVHH>37_NOL zXu$+NDyyGN(b}PF>uLAdP}FYTJKf{}_kZ>as&=sm!znU1#b(0K!2FAY7|~%PviTA= z1}naqfV_nZDj1=gyo5uP3~{W~W~$5NDV-(BHcaO0tv-it!qCvbjvR;eM(OLEEp-UY zs|A!3=6aK!Nt^hYVzYcq+PO~6BszrF7P5AD`1-mM9sAY;+>_Lz9VOI8;FVYfMSrMd z61pUQTk2ksf4{Jc38(={Jk<(7YyJUz1z)=4u$gq=y8-Z?*sLrUL1-6votm_#SNTiR zGCi4Lib#O2kRCcItYQ_lKqCESg_rNYh<8#{1#oCjV$mQc>Jd4B7nOu)#9oq`Dn$w5 z($jfh_!Y4DxfIE3DO7XlmQOiRaeu@^^?S(#ddjVD>T0*ywzcUfulaZ|Ilm=HRwZu9 zC1T)am4zt>{wos3a7JvP z?B{o1dxi)KP&Wo+yDV4J+o58fV;NpJFEHz`{y{$Jt`H?w#!b@OAVz!sP4jIbEb`eg zVo1{YEt2^p>uC~dt`6;&;X}Ji$ecv0d$GlYV4U;w^9GH4IfOvlJU z%inC|{IXV@zJ=-6R~r$8rhiGGqZtYvgs*+-jzbhu3S6-Ox7TzTmUBwSn^GYLeG=Uf zJJh1ibYtQcHfXBg$CAt$Y8%IEXSm77wt;B{47;3@c+DtT4lx!ad`Ah!%jU3r8B$Vq zi|G=7y0as*opEhKOJ?(u#r1}cLzXJj$^I-EqSlh#-44k|#m?N~N`K*W`&412P~uZ; z9Diu1#fVh}cV!Anx6o5` z3UjXCrP+-3?c3Wcm8q+=3L!CPH`JD|-a@r?eiv49SZo@5KZ=n4>9bgcShXijyf2a_ zKC#nE)rsda8{z4(q<`jLH4;v78Il)lQV2+)TDu5W9%qS=nBOEaEr2kfg7udbm;!Oa0_x|X>VP3h`% z=k8^4jTP6vq@^ELBz}R$Xf@EA~wn{sLmn;PonE zNPXEcg@lVIt`&ntG@2bwCgLmtc0{J8X6RHcCVd{aBG|RfmlwFUK{JS-LI9WIE%{;z z2WBDqa}>i%p$yTpF}tV{qrRyn@+b~OmbDB>?)BuQhksW>(eWz&SS~%OS5lZxFDdnG z@fHZEd1+pndJO@1oS2uom5^Y?_NS?Y#mP{Pwy6}X6?>cS%SG`!jCr@CF=7ahgibU!)PaWR4!G%a;Gu*2r zE@VqEn?8>AEIwI;>M~=};^I=DZi{b+?$eCmX@6$K#;fgJ{woR`O>1HHIwazA&XG&Z zH4R-XKUZDD8>z7aiukj!e^a+Xhw2M4qNQ`4fx{MR_tm`RT1tUMhPHld??$5n}nE-pOLe~LHgDkE9k-1hkqbPKRCi>qfbjYiDR$hHzL=4D zXpwmsT$S*N{Fc@RAJ$aAPYIt>IQ--d)+^P!oZrgwl#r^n@%$r%c?nC_b8@!d@(WmfOfN;-UAmK(zJLGiH}{+D5Xn+NH1zcj zWV~uScORvzpYUVy`!HR-Y}(G!?tXIhNrqP@e?Pn0N~5%teZT$CUi~J!-gYUlk z_8WSJ_nY)^xLT%g&P`cpALIa{Z3bHp4uW8QBhSaNggi=OXF;Ir>|8Tm3n*0q9sgzX zL3c!Z!S|9ZWx*vG9gOYUrtaObw9@hJVJpNRFudtxm__4fQ?;dCOE*plO9Nfo;rTuc ze`xg6;v)JnCnZTzS|~oBW~&eP`vAH#kkpf4wU*w0-iMfF{BWP7tMO=+{ZRLVId!I5 z%gcOf=-^Z9g&qf2vMyl+sl&oDs;01I4@KFtG~;x)%EwNWlz4elL*ml$h^_O;vvo?c zif^U=j}2t{Y%h}aJJFX|b7bt<+($U6e-MIPSlAYA~IXwaB62MveAt8<(snm92lZW5yTh z%{yy`2Fi%m$0+@AE9ASPa5zf()O|<_LB_OR`XmdDbl})DPk!Mkl-)0!+v&B`c!bCa zeYEDmHR^jlJBSV)f4QlJ=c?A^ zgT8A-3zjq;U(7iaAclR6c0az2U3(eIqK1{H6upXq+&B9__z2ev+x7h@t}~_+qb1Zl zHM;t9GnR#P6}BRK8pQpf6F%!r2)pu7uB-WbS&(r6$%37Ck6^(g;VB+zt4w*+hUX5` zaJxI)1=~O;{vk>O5y>{%e-;^UnD4&&h!<#|pQI{U3(KaB6a=myq zgJklaAZLO}$y;!6C3ZU==_sH>Xu%DXjekXVis2Wd+%D_Nc)GQmMyNC=p$SQ_2zxJ)TQ1@G0mI5b>M^HoO05t9iX z@&1A&^u&@ZxR^tde;!uv4NpvLJIK?NTOmG1`yX}GwUbAum!K;cC1e~}`BZ(2RCswE zh_D#iQfV1 z0x9he&^IB*UI|9+`~6DC3RAo$5z|+6^x)qo8OWQ5)rqo#f7|PzfjK*>IHM>65S9_d zzi415Jz)?8(l@xuGO#1=SL7A#zekF5dM5y>wX zhXqnMV5P-7>xE{G1rh#Ip4fAwcEUu8WrL_(S+Xi}_p`OjNm6S&!Rdv05jg)yctBWg z(1gI71(A;)fAzC}q8yFZS-wc$FQRbGVnahGPIzK!FFM1o-4zB96f1akids83#4OQATC*F?G#uGa=<8TkZ_SzmZ%id`?1YC2+a5 zqydQQJZz9IUMIC5t?}6saYa8^Jz zH^9OJq$M$0h{q9oT}y*=F?w<$LC-0XAllUcv~U4@@Bwm|y5L<0d)ftsfZPF)Z*D?{ z$~=h&2|~@-h?r-q#2~FTQW!wzbuLN_SsDB^J8zsrC7PX* zim?9yJ+{YqE6oRGO9s!=Du-mAAXV&|x}wc2f95pbzyHR(a9t(bd*=tTE#Zhj8F~EV zxZVS@YjFCYjylHH<|y$PEe4tNWNlrncyJhN#Fi7p?vb3DRKD-|+9> znDbYrANbdg^b=l+fSWLgXi8d5NX$?}9eWtkv+r%!Y~Ih4IpM1!fZWLA@06{R8g-25 z7}SI)^>BS5*SG$BDJ$W|f1-I^E$yi!I5{9(RTe`*(c zbp`4C$wB7i%m`S*kkK`-p32a93WLE&JUClfM6g{mp3aghe1dvCU8@)PdH2!|4N1H` z-vgwH2+{L_5e6t%*NOoVgNADz0J>eyqI`-L#j(`YBEtPm&2r7m#a2PJ&d>oobFPnZ_2tZY#a?A(Ul=DN+DYn0A2r ztz}d{wr$fbS7yYYhLpvc)+hKE-WzSu^H>a=dF=cw--M8?qQ?)TnN&;@>0P;b4LMe`>QG{cl#Wg zlv*9CY?D4UT`Tz~MJ9@7f5}~z?zU;1%(Of9^&OyuSPM&FUNTg0`7}Mc1#xxEs2H^- z*DfjH5rGnB=hW3g_J6H|Trf6Cb(f>CWGn?R@=%-IYiPTn-BKM<3Xax#!;1ebi+VYhu zhbl_X1}=0)bf8kR!372B55tV)0yB_Y=`{tRu+kix&S!miS7PEmxF~~;#f{SI0#|l* z>prUlsAE>ABz{th1)MLorjv@645+7pO3kluxBsW5YhjH9S2kP{0^3r?Nm8f7-mul- z4hj4T51=8de->I`#AhsDKl=~looZPD!`@x!-5)q&oFoxfwWT5;3{l?`%vTUx!J4(O zzJGt){#CmpT!0UBKoupXtOQx6^|>s)P5{^&XL4VH&KXigNrGV{b#h#^Xp!fI!?y`%p1;9PdgR0t%RaDUie=%;u6&vt zw=N8?e^Z|txN;D_96Kn{voz7Dg0YVs1?>rFGGOJA`Ud&erXsbMdNVNuNiSU)y~b}^ zf~;R5BJXxYs(?sy>_zPo-ZM9?{okEQMjQDHIiyYBjO^i|Gg*qH3N4?+Vi@PA@VRI( zD#i#aZTVA=UVb(``CpE7xBi{uJ?C4;a|5@A#i_rq4`FJEK; z&3SaSR(aldappvI9? z8sp7NEA;hvo9xp&f|R>$y3_yYhQZaS-+%bxKR3@Vo0pMt0TZ*6-3$`}G?#I{0w{mg zT3J&YNfLh7uc*hFmr_+`og2hNV2r>!w#Q*H#10NW2+=mZ2sI%!KK9q|m#r2zqK!Ky zcI|+^va`OrzigOs) z9KppXcFHA?B;^TwN%_di1r;pbNvwZD03Q=n#Cv3n%1*AamT7K)AvrT3!$1K(WU!>C zh!eaYz{>+mv{88{_^k56*LW51YH}G1$fpQXFQAhmD~x>_kOe;r76dHB)~IN31S9!C z;+#~(xf4WWaRTu~P>2XU0o0aKr_j-`N;1nn|j&k&8pn?8pu+Eu}b zMj*6c@G3zwp)oh$4(x<8)ar5`Pylhjf`m6ig0u*t3E4N&S5N?p^i?ESmxVMU8?25m zi443J;3JEDMLcp48;NRt0A?sQM%W?2He-TF2v(Pj7)0_aSy6#_21An~(8NK1UWX+( z7#KtP$u}y;qYRh?sbx!fu(dT9zEmGzlklVjFBo5X6kQ_ZTy_+m0G z6tCWSH>vAlF;}#@-2GPXjq6EWDBIi^3`fxyn9*&@>V0wFlA7-FU2 zyG1n}7q$8T_Af_jcu;(+)fM7{?-zxv`?(kZ&%7??^%8MfGSd6O@O`m=tS%SRV%fy; z=GL3yq@28{zNrreH-d%ZX8MR_CJVfamEDSNdp@tg>O+%W1dF7X)sfmGx5t&h?m%kZ z9}LHr$8~f4x}2X4hA*ncNwH{_wjYQ4!&k!{T!8UM0XxN4I&ZKE#g2R zh1Gb_Z8riOtKnXCP$}qt?3Za-7kclsI$4%L8OM`PMg9G4Q7;d7e-#<_1I#;}pfLnJ z&5|mD)k%_EP8yNyabT~D0x~mScHX`{-02Yy1Vly>5NU%v=91S^8X&Q1M;qXjmw;pc za|S#|zxRj-AvVD#)_A-j9b9U>;Si!(d=kw+8{zDJ z`czI!_`~?!O+*L}QgmGhskll+F=&_XCxP3vZD5DBq(q%)Ia?$x*NK*xwRs?6JVc9( zuBEQnNP870k!AT#wC*+Z{d}~u_oJPCcC@p-Ml;l$nuApFR%hU3n2H1s6vKK`%-CLh zEhb-zyT)gK!1(NceZ>bhI)o=^DWm*Bt%kNlTOT_yrT{ROpJGfpM5+IfdE*m|*X9?< zY3fMpEh2KJZp4f*?tSV;EHU4*??!A9ViJ<&-{3L0kV@u(GUBMQ_H)=wx;D6nK>Vb^-LkRAOI0iVI_0Y?WP3JOS5d|T>no{L_~&es^F7<- z*vU50vEQ{#Ud4Ht2lQy8=yr9Kp~tF5Y(k#QU;Gm_;?Z=nJl&tnD%#ucuLdGS+Tdi8 zL+Iq1+9$|VYzU}Q^qbIB^OMW6-aY#L^=&+2f}Fa$%q`k=OPArs9cf|N52cldNReUb zfe!Q*?b>4;JW)n)orsx{Rw8vHCWj{9re1yVrpNVNJNb0ar+j#}la}@(f4&$PrIuIG zAWGUzd7_w)C(C6uM-S=7m(yuEpVn`W`g6y|nq}UX;4RUk5P}sVA9z$;&ZZ5>s;@=U z*iI+2$?>ds(_<(cS?UKd}AS#dJzG3THpL*WvyfH{MXN53}}WYlY&nbCOP zz!haQ+5y+jDGXr-e_(VCtWTFGcuFK0{;jqg*7dj-L2eoYZr78Gs#*Y@iSh2zVs>}NFxY(Y3t`=o|dcHrI!s_Q$HSf{R5d)-k@(H0K zO1mx_JuDmke`qZ?fE&Rcj;reI3f;S+x|kKqm*w(eQcq9&gD6uDv{WAXNB)ce{YxaP zd_c6_&|n>WEyYM*l#}JbX|Z=XS-?8_6dbB@i@wTvXjlG_B|4cNxPXe(Y>?YQF<(}T zce84KCI)+Xem6R#AE@op{d!H(w5RlUR7%hEVWxY3GerrQX3Szx$5t;=dY91s6||4M#-Ij!r9 zb&sXOcC!cB;oG z0eDiCLx3Av1a$lx!YEwM(u!tJWLnVw1^CRO0g#uGasd>x!upfW12Hu*m*A}d6a_Ig zIXO9(amfKGe^pf6-_|9HyF-v*g}b{1cY<4REugT%-Q6{~ySrO(cbDMq5`qN1`JdC> zUypP9zV!VbYK-4rGS^&duDu_MicDFJNz@E%0+a&VIWw^_v+@HJLAE9?PO4yAMKIr2 zCIz4w2=Ld=g+xUq?g%t?27&D)jGck}04<;yKmuqAe_&?^u<`NnAyEOu!S)`GAPY-p z0Ii0q799fv<9}KH2?3aR{7=u{Oec_q9f11phbzzqY;Oy+bN&nQf1RiX1Ol8bfdF%m z4GzS{OT;*#MoK{=)pl{%1P>)hFP8>)zPj-p1o!+2DUg{Vxt6XD6VIIWrO) z``?2n1-{%b(A|LhFiUlPV+nD{QPuAJ^??^=L zEdI*E%FOz2Bgjb#>UGoYgl$PV~d*ME%^z{JMN`X4@Z zOOUCx-9G|w{o4h!Gy6~af2H~tc@`y2c`12qhX2Fk`maFczf0h(?qUCz+y7`q0c`fa z4*$T2iGke#UQBGHi0eq@5|)?4Pw!b2hd!`@3oX%kYoe)Wy;9ufYGh{C~UtpXYz=JP_y(G(}ol z2Ac{5Tcu^DJJ;dm4o^zx_V=STFmyLL_)=-_GG?Z+5x6@aBztjqA@;$tQ_`PBfj@B zrr8-LZ0zU(X_kkTi=_@$j-#rsjW)uf7dzqz zjFp^s{8K&9Bf#ZLW;fB0Qlv9ssl)92R+Ew=0&!O4#gR30mw-r{H@BY%)$gV%OMe&a z?f`_ItO)f>W}84iO>M1#%vG@IFvIei(A*1@_Ufq1Kh2Prd& z&jK;bm721KMtbuO8p-!?&kub;Kbd(8;GN^Moz6PVQ4ss>dM1U|7VS=6wjUt$-*sYt zCp3F!#n*0|^GGB6PwZ5(NE8hTH)NjPMp@E_7`~hLjI!9Le^!m#W|aJHyjN+y-MnIF zQv3Wk-a!q1;WVxGCR_+6TQ`C;X~b}2aO2a;>&Kh@)Zvbvkh3}vVjNFrM4WP2#^IJ| zMfgRSzRvM+{WGOVTaTF9I?Jh3j(w@$53+l4J`Y2V2M9F;{~g3sNU+^zR-m>_MTjoP zo9=T1^m5YMf5(15evbj}c9EG+0+Z3*w4lCbDl7Cys-?5sbm<`&xm>6he%1fR9rj1m zDb{^hnaLWF@x}0zZX?MGM0x#y-o&_IMbGV_3iyT8@+d9((_$pn{V9 zrRfB-DgK)O+)d;Mz8|Kwle}u43O9M=f2%KQR#dr|Sx0?zox(Umr}7{I ziEe%=&NXCA7r{F2r-#r9kG(It9#-j`eA!w0)G7{nU+9`}{1?7~ZhIdH^OJ515uIsm z&SeBuFh9scEBa>I?Y;_wzu0$wdv`bKPY`36n~K&4>O@n>vErIq^OSVGym#w!aF_yN z-h5vDf5u3?#!Wmn+4E|pz{M>{gJT=@g`Z-K8a;8M50|=kS0?AmoqFi}j)tr8bwxk9 zdCXM9swMmZMyF;nMATKYWDQxVM{~tD_uIcJ_$m^(#NDWv5{G}-vW99cGY#C+Kkr)= zHz(9&{)E+kzqcu8T81C{iZ?v4eyZQ~&e=Jz_k$)p~qE&IlZLWWTEP2_5%p>r}d)-q7!PDGo*Mk{uJjFx zo=*88sfdglhsiD9nS?fZg7M)&`s%G(1=W#2^AUhn6PI+ETqBn4Jvvz_j43=ho*X{% z;%FvR8D|@LHn+hU9!!ugGjwW+I)sL!@$#j9%D}!EdG$)Ig=BzMg%f)+^jK|Ne*>g# zKa$_^z#qUPAmnrFkEdNC*NZF0C-x&SD4#eEih@lC~hfJxw#J4Zwv-p&(4TbB@9R)cT_61(fAo;rWNM~iq zI}AH%D4q>&1j12U-%8$xa9lMDf5(q@szf$$1CQjD-A*up&Ci-R-0wEq<}`za!`Rv1 zPM5PU9T#XAp*O8r(|gW+lY@I2oCoL0`4csQHSM_7^(zVM`X^!JsQ8*@NbS9vS?Cea}|>4KiNE?u`DK>TfZs%n{G zq;IW#TKdlmXTd8gI6EC{RJ`X6E=5;c!Pr@hw!uTJ^MV2Ecfn!gC6+8xlBkgh&0 zXA%*i0~%}U*KYQm&<~-l%-ONJ;r`6CX03*pl@a+0Z7QRK_G3e$+3$sci%X}gpaIdA z_|a@g3iDbWJTO@ye;%yq9X1NR)uUwDPQ`ptJkBF;Hq0#l*lOvA8!!jGvOV|-(wq64 zN}hE`FvSGsCskGg+zUK0av6hEff_99!qB%m#&Z?-!n^)R-ca?$+2P0yxcE_yU+TVY zr8HnxWve63t7xjO?8MUTB-24soWFojuMeOVT z48NEmXH_B&cZf8FCugpXO)>qAGRJnY>Bh^B9lSM74xi*H4FwScu#HXMQ8QDPmZ9dfEZ2EW?& z)n1BF$$qtC?A?m)xiQHAQcTxB-v_=JG0DkWWPLWMv=mDC{h`AuSgRQ*CB3d`ex zgZA9$)`SopO9tlMgOn2sRxwR;i?zSUVEQthe>KZwD=JA@#n9>Jx$~IrM)}p$FyC#P zzPNS<7R9r{ZbMTG^$*z^Ds~z3*o8`7&NjhND4**6uoCKY@=+ znk`Ho-)8pmE0YmbT_-wXlJcr|z9{ugKG&!8%aSbLl~l6F9Y)L=AdgFSRv4xBw(6z+ zEDsXYz5+4j_})Sd6IXC{Fi?K1U-_)o|*SLGuf{7e%pD@8_7dDz2 zkuUg-3B7S=8=;WP{zXYRUQJI{0sK*b9sW{$1;Y2g+O$rmP1lClQG?qtvosyQHdb?i z9TL&AVm~c=yY;m|(WQVH+Sv#XWFs&mVbmu=}Uv1+m)cM79rU#<+ehue`gt3>n%J&a9%dM(s4cu(`U*3RH`@}D)6{Yz9YQpp`e5m0EnR$c?tU|EOnukx8hjN#M*f^ZaFpyXvTMIm8VH`_;oab0tDD;kU}p z8g_rKD!o(qB%#vLwp*?Ue@f~}xA2h{X>v)*suakFFOaHAZIu$mDeyzo7wjvK484eP zd1;}^Rq^xll-f4lbdF+Xe^?4#A_w{ss&ho&vhlsjZVsFD>U}M9?#wANd`|1B68)3Z?MwF)!@l;SBFUo22?E zY=O8`;4D5U_&r3+`8CIJ>w4}cQT$e`n2|R$?#Fr)&K8osoPfIve@S6*?_=TfG& zM=1>*kx41flajSFe^3>P0(QaD_*)O5mrw*>UABx}UO(pt`VntD5se)9y>*IA0;wP6 z=IX*MgIw4xWRK;ImRRL7<0opXLguK%QpwDyu8>?&fV+nah~%VLWCbqtEtVyzR_{e` z2-jOPZ>k-RiP&wQ3lP#K%qfOQMc*?FvkjF|RS_1JXw$a7e`Zk#MFAzX$t#dB#=PgG zDtW4StHHWc`6uVqO^c4X{x3v|5!pKAo-^L9CjJot;(7M?_b7Ac4$73%O6h+2F?U47 z0-Hny=}eOCKXmx$%@>T|;8_o8d~~1Az)iZe-qi;2TWTVi)8nU*&;ilul@B2$oZ`f} zU$wwyJr#2ae?Tac$)S!pPoSG~nof;Vo+9S=sRVNG()`Owp)&esxUYAjPQT}e>20#B zp=g~k5Tp5WFw!T-q#2d9;hB|aO$|CmV3FcHyO17JnxUr2`jfJ{5e=FMYWAIzj=~0e4E;mo^A0ztc zLpw}_r2^uF_l7;mIc;t=lHk(%kF6d0>6djp`eulWYLWDJVAn?Ho{hu}Z{r6%2}fa< zRrp`Fw)<+_&=agHRf$CvlJWAZYQ#TW_5~rx6~#c+Jp>WCS4&y~9XAw(s%ruOt&e%j zZv<~9f6$%IZ~hdCBL-!#FAF(MrPGp}SgcbV1xFT%-D@WrHj1EQCz6j@Jof8`HCclkrw<*%%%ac%4rEGSircykuZ z1YNJtW8q&SVp)rV8>>lAlYX__90e2c*{e3t$wc2;Q%A$Dk_c8jMb}4vIKO_3bPn&; z0S*GFI~`e?eR70LMZ$VTe@}cb%KUgpTqe6Co)Cf}z{=A?sV}>dJ+%(>P0bWe*4=ic ze-=U%xo?@Kleme1p_kU9cH$6P$wmouQf~DM%r|S#*hORSjrN70SX|<40o2!>Bs`^Y z_c@{Y`%C2vKMNAeDBOoGcUJEv5sZc;9%h2+HGGCK0{NAUC+8!n-T=7u2SF~Zsrsq+ z0zTiL8+beF#Efmap|m+S&RVm2RLf}ef1|RLazBSkZPh7yKR?*q)2;rY5Fq!MhkQ8N zfR0lp4{Cxrh|-nBEC(a=u&0mdF)5Qq^3s2?nf586y8V)+EM@7!pXYJfpoFB!`1|SX z#!1$j>R4H1_fIjbty_42>-0`Vn?%kVRdh@Rzm*ny=>!sV`%`_552?~hCn|gIf23LK zBEG$9a)qzSY&5A@{mRvt>r z?rI(K(uBQvS^q8mDx?_ z_C}wv31aThrHLvUm^(;hh8Vc|&L8DZ!?O|L$I#HCg2_4L-S(^QgRyJ1f8vY?@Jngt zuFZ_2G80i>%z&%wdMMiiio3baT!YEgk(m4Sz<6+Da?a0G<;(3WzvWOQRrGgV7mGZ96sD+4PY%VWWPqglxIk3fa?%O_S<+K%W^Kx+H zkrm^g`$l2JlVlLne~b9unh0*g-gJn+jzs<>EW*~go`z_WbUiA}Ry5;6BUsA>j&&57 z4hXc|aalivLL|xxkOX<;v*XDUF3vl)WTQbNE6UxZ?BRqhNSJ~Ur2;h&-o;}+71OO8 zA?doB%#9uj!$;ew4)^fDMsq+Xfx z-1A}aNRG#PpqZivX}IR}4~iC{_EO zEN(2s$pkl^^p4q+nSxKz>=4q_X}m@I{aq?ootwfuBYHPT<*c>Fc7i=2q|uKebG->H z1WKw2?sNo7e`)WoH7sl35ryr&P5sp+wZBg$)x-O2Uod$xnA-51`y0mU9%|@V+`$C!y+mLmUG>2yJ|#9@a@e1m4#D}=?^F(_XsLzB zhS_wZf3L7z^ra6ip$l@UXrl~Ua0fC5%rX>cb2028W;bP2gqbgi@J_l#>Hvl3#-mJB zub?pDQN6*iVgH8n%%}|niG=n*_wm$co|H_uY zv#O##zl4~Y)yxerbrBmr0srIiWTLlB^AE!xfBqQ*AgRmkpdWR5H)KJH;i)y-N+V->+<;Oan=iO zqwtgtSl!)$SR#a0H$#;x2K`VQXsXF;IiFmF#IcB@y)Z|P_qx$+2hFrsb>`>w_FC+$ z_-Vfwbj36-&6u3IH49Irm=IN3&VZJj+HBOj${}U8g3*|yDH!4m&Q~9eRMD?Le@(xm zdp_hZ8|+HiGplmalo`<2Xxt}FhTrChU|swsQdob`SXrEmKgtPP^4G!Etge^YqRDAV zWHNn*unB1UVE;lp`>k()yUCESdsm7BymPA>AEls((|c@lC8!%^6Vji5A%Xb=9lbK) zxKHSA9tLC8%gi8Jl1=B7YP1T=e}w>M_k8e6ycZ=$OShXzOspk&C%j3&w$b6~TGUcw znKc?~$KvrBQbMQ+u2N_%R&YHkbp_c=>~1#l=+l7WkQ4(|@*-UI z97Y)8kM#n*dw!lDV^qR7e?PyZ4@xTsZ zrmr39qqHB-oWYbFQP9Aa8U#hm-pYoN38_ z8fm|OG=@jI4Kvzuip$8O551;X`V~z|q}I?Bh0n?FZ|irtAs)6#fBn%L{n5I?x?E&Y z`se=8v#N!iP!uvESUM2htE{FCvEuh>=-`OY2N?RcAz*qHd zws~Rc0UGk_3+t|*IOcec%<$D=ij3|1l3Ta-()C2e<(+$*dxjQEEo7bOdY%i77aN6Z zY*dUr0u}0UA>f?~e`VHaMLL=1Gl+6X6nJlt<@{{>S;NXLxgff1j#Kmbq36 zW;G7EmmAmhjGdm4fUM~prcNlpMm7HM4D%4VBVO{p5U&zXygXR{)hRUB?ocmhm}&gr ziZA!iL7Cy(2S2hB=!rP>kCxQjd_iKfj|Ri$=dRdu7tCckf64ndrAN>F`?QnD3 z;AZSTYrZGHqbHm1;#5AW-G~3_9ONcQ0O-mlbIreVX(gnz#GKOh|_FvCS;Np*j)Ft4$~~-!L`)zHuZ$P?8@V6-PA$`|FGj3r%S;uE>hd zp0jCgf29KZZH}F5Sj9Nl;O=()GAZ$)eW9KxA*wM3SH*^;;Sq5w^XaKdJ@O5mnjVy& zyh2c&yjhwy3&V@`HK>{tvoc!$79r`?&O)>6zA?9jra-%^92Kk!`a1XOm5OCSas^xF zx;+{!yIwg_!GgEF-X*3LamI4e|#bItNT|R`|YCnUysrpBA`9ad-XOF zY|_a1?3cpD4*m+;R$iAC9G8V~Skmqwb&gfZi&PXh%+0+hdUCX@Ql-nMEN!;hvF2J1R53W&{pagBX4+pi<=0%Cf=vj*F)!(DRgRdX_`#Bw- ze}8MbFcxaW-8Y!z>^W{Hvlbc-J>ze>ghkNfkzrL6Q* zIAU+V@Bcyf6pWl$dFOkK7~K8Zg&M5-dtRa=-*jY6D%ZjI+kj91y8QkzJ`>Ul7>?K^ zqeDe}4u(fd;m3Zy>wA_i_~qp}ur(^5f2i|-NnN+cO{CTWeIp5JVvEp2!y(1w+V4v; zeiJ0euP(PJhMPvad#rv;gg9=qjlG1EYEN1oRK~z1-#Hf-ELCi3U^)@Mg@{1=SZ_0t4M*9G9*l~-+sm9$+8Lo&5`wzf!Ql703RmRf9*=V z`PdZu8coALykkdwq!16Aq2cl`y?_WE%2DuBCCF0jg6*dq=d~sK2F7Ek{ zK$uM{xw~VNk4*{GShI$&IB_K7T>P`%P2;!mVHG-!V^=>o@wPhv2;~YEhP^OQ&?;;{ zpw#Iof%7HvE06Su0J%#B=xTw)e|z!r5GcQS2Sd@oj(Rh6K7s`HD>l^(C~3^v+xPlR zKvjkiVg6z^m?NFK*!P+`GQXay>J+gnC&_aQ@U$J}{`HofN>HW!XwTPF1p}ry_Ko)# z#z@t9%*xx>?d2sApC6wkLvyhFH-c$uov3O-2^|Y;{PL44ITwicgxfQ6e>?jq;s&4@ z6%ePQSjKM7_zf1KS4%HD2~Ea^ruPrd5%6?%)*4&?i$ze#UtxPGxD%$W^v%o6d#ZQF z`)sr!Y|)+MJ~!-vAq2wKUN#CNV=%q*3A%1L@P);>xO3X=tW^49kq0?JWM}+Q`z?VM zl-md32hnusXb5ZP%@{b8f5UfVwDPezI^VS!KpHYmoDswj@XK5A4Hx%ibf*bWr zB+>3=rYwXO(aUye>2qP!xi2+;-;FjK8ldgNv)P@tfAK?>86pmp;k#fZ zggxg3BS!t)@#IbrOYa4zXF-TiKVpPObg1vyxh1Y(7N&E-p4L=DRQ^By+N<d8$?}I^f0H%?rBdjT>p6PT_z+;(=TqT~dxdwiPK$ z@0lZZZY>w*=#-z4@y?HrT!&6`;Z~Uk?2>aoKMI@CXykawR`y(!vI@XFjC-NuKD0#! z-ih<0f^iY&lN$Qt^?m&cO}Gf$$X+$ri1`MIO7ZVMXxmF2RJDJLkVIM$gxARx6tKPf za)}8bTZ;&>f99A=iWNm~+zU7mchf>fb~wD>Djo7pcFUMC|I^ReY?)5m9Gv{P-^`~WFL5j>wxg%;c;If73}S*2yb^4Kx^13 zI2HPHh>DnrSB4ApS+rMS0=K7O1*z3QmfnNtR5`%@f5I4tzb&q=$XE)CDvD*nTt^CG zcE_#4l=d5sn~{ECb;H-sB;qnFRT)v=%xgWSkj$N+o{R$(N|JL9U*ScWAZ%vNXLtNh z7@a{rSl6FNqBsxDEtnnhikpROWS8h8ZR`i?{`~fPSB&o5d0p8h;Hi@^HXyo2sruD*V~_u=Tn#woiJq!@zK9IX(t$VmQ+kUmrjB|_}H1*j_w@=ru+vZQ@E^giCn z73`3r9o!3k6*Qi8@B!(v^!M9KxJ{S(J}=*}f77a{J2POVFrzbDPRHGA8%I_>iC~0^ zcgE(dJPVlza|&@q=bSRNfDqN)%f~%~{pUS76sL7o-{YjdF%*!N7l6`M(37gAD2H;>Q8@zB~5`ZHio=@u_}=Bjylo0D6jEn*_-rFJ=4d|y+T!9 zBz$;8*XaT8j%8g3g}j{0i`}T8HaWuFUDE`K*1WUqDxkJ*pS7J6_*csgW}^h3LYfSEN`XP%#NqPX{4_&d7Q<5a zf;2^;T**+imhq>VT-q4s;KhOyk<6-LL`*Y#%(YP*sRscfJc}~(Th&_Je;xaT3PRgm ziGz0H1~0HICiqV4Yib~Zo&QKrWNnx3OlQ7vvlxTpTD?I^xQ^lu(>jn0dW(kpWQh!# z6wJ8h-}Z+XJ9ke?EY4ruyZVGZtR4^HAb3)AG&vqs>kIDK8_pljwh^320BWg$bPvez&!th zh(byYX@NfWXL5Mst2zvxGaq}l-wBi3Iz`W$rqxW@26`nYzMf^CKxLG}r{6f1rtp4KA9KSu0a1dVoz{vviiGa&Z!^d*5Nxq=Kx_TQ4E^zP%-J z5?B^C1^INU!tOZaHR);Te$n%ty_^$f;i@UC^7_%oGqw9X_Q_iZVLBf~?-MNJk#`-W zCL}B!VSM7U?`w=3$r*J_&*m($uORkKS$JEa%jaeV>Bw!sfAR{yGfOlTnMvL@=05EV zZyYV4c)eQ!d8+pw_pVeN7&`&`giH3BxeZo&lLW#tMdFkXFFheiuHYIiuAMQ>#+k7S zP0G>dzQ&EatMiKkjG%=G!Qrft*L5A0hqiqY{+?J3SrWS7_lKe`xxnvc^{7Ta8{rAm ze-JzuNFqNgf0GhJ$bA8X*6PfbP3dhuKO7XCdF@B7@9Rrw1PPs~#M-^s(lg^O77|e< zE~cTG(ICNx-S;jk1qlr$Q~j75z#?7DaN`O&Gf-f&l3?$se5b3yN+84r_j#SMWjTak z`eMJOeH$gq-Mcb`7DGio-z0E z7I65`f4}l^_PP7u6_aA8n`D(tcP(M!nKkIwS@o@Ma2O^B9uIbvz@8;N4%;|qbKLFg zjsE(jb{I-N*(ul;B2>__ckj&?e?_|5VYkj3huXyfvt6jHt!(I2Z7PU?y+#tfOIT;L zds)#`!BB}7*NUfn>8p-gdT9HM@OEmHmCxB7@q0N{V*IuN!mj{6+w6MQiIUv245fr9 zgZPi%>T^vP{En>7mZvPXl#xx9#C`NN9IqR+ziE|;_YTJkG>WLA)<67Kkhc2ohdoF) ze_Md#I-D}$9x@;35M^m^(QUTj4-mGe9q?G=2-N!JdUQLa&>{PbMxlA=5zKMsQr?o^iYLhl4UOm9t+f!Ci(-9e^Q^Jp-G@qw~1U%9MjJ-`!)4e~PW|Y^C=p$>%0StDDZnx*NV?fuzDhYb z(qdzqny=vC4u~M+-ylRs0GKL$;#e+5Zb z=_9Eb>234urSdJ^;>C*5KTucB1AVa`v$D2jC}z(fcS=y0=h>U4V)js`?}^dvk)b%1 zu&f9+Sv@Zm{p`DFb`&ECx1n$<+qx#8uRQx1IFGx;KT@7%slNP-MPZEkDEL5zBR}JR z3_T_8`H*EGj&7OD3=Oh#KPptXe>giJyH~*%$qouvCa*7zj7{`Xh7Kmg#IgvT7olM+ zJF!@fD&KnMs~WRe-_ho74cKJ|g0wQ6UkqdU2_&!+YvL_Gsp18bGk4H@CB~|=D+9S> zc%!Q=#Ki?!iKd4(c`JJTvNA5wgSMzYM>PGu|z!ae?++e%p?ioYf(^G<7V^$dl~Og?5|%W)44a#&(jfRa*{s{ zO%hPl_>Rd#F}4;9lm^xTQ$u!3{tw&+02@EiONtu8eCXEytkhi2vz8e`n40mKe(hZxgpL zLAcfM#@2l9Q`~~8@qGcZMvh z@-sprLuLhDdoL1Vh_CYyGj*noTXyQvzP8!9{J2H(5?U|C(*<-Di14s$-i^c_D4WY3U(<(X!4~|SQ;R&G^js#EXWh+5OU?zp}vDH{jQF=gUR1B*i5m>QR(rt^|j(652ypK3n%;#o>T z+y%z-Z*-A46#xQjSgKAZw$r96TU*lvJC^Y<%q;d;jR#tky9d8DuYG^5Cq*TOOq>gOd09MQ^TysW zC2pc-e--^1hV?GEKJwm`SFQZM-C-Dq4e6zihb8x?bxzqDEG4hv@FT(;$&B)3g_i_*65JV2`?ekRllJl` z*Z3EV8o#&j!~$+PNy5x=VZgvEgOr7|byuq{D-(YVDNy8k%7{M&Y!q#24u zsYRydRUF#Iajb(wlRFqT5%4J7{+F7l*PQBz(>R;boPtUv-R4R! zf8_^Z;PZi}7fi&olHvOT6-Yl$LqT~()tkt3{XhVmy_WyQK{62OV>0P7Nvbx-vIX0e zJQH+L~S8?R<$F2s%HjC)LrhuXqU_5ZE8R3lIWa zBGT;J&+($c;*L)Q;79ty=E}ymN5c)4z?^5K2Rbtoca#CCMU1LW52&N&e`2vS zhGwElKqh*DNFsO*xK-UfZ7B2*jA9Httv?fpfy%kgZVn+YUj$hAwRIPHRm24SASH<6 zG5zK5_sF;K@D56h0hFl8Ow)%3a_^uFLhY#W^U zz#oA(#Z~7ccryR?w}qOotKBetQ%+|{i`KDxx=A1OvD~uT|ZHe zECgW;<_Ld&?_~ixB*ok5YbeK1ozVwBv`c@jmGqdy6Zbe?4SBLxios3RYT#sG?RP|8 zo&nop308fdpRwxXiK~XRC!0T~=E?wF)9odQEh^dqy^HBf0q^vZ!TO&5AHd)>hZ6W<#*$SKg9lLBp_9d}Es;vohMmln#a1rtxH+ z^&Dbv+MwI)l#9_yQ{h<^thcT6hu>uxRoblTx~3I5;aqBoIq@r)S1`lzj5=dvTqn>}8K3nIz+whEGQi zj}{Tj%p*$MBjf0hTv}0wN58&ynF)$~)3e)IExk$T{cQDkAI@Vs)Fot^A%B(M{f=VI z?xnVrR z?_b=Ef%7ow4&#fgp!cO{JkIdR%TtXm4TdOY^B0?F^DT_NU$YzYOTRcUeJ6grpqHy# zpTQO{H$~fxF+of8%1T=^O1u$HuV$89xK`F~YgJz49DskB7n*s~Aj-FCO=Y|W_7bwR}kSQT#(@d>JeL#N(`k_|#^wkF_Le1ChGWJOw*;W!4OhcJam zA^Qa8ZflJ@hcxMkIY+S@J)u;Z{0Ya#j0@$=6(Z*yF(TRO3YMVl=twVgn8EsRkZcX? z^$y1r@jzB;@ZnYHu#y~GUZ=aygZf5PM$W=46&d-YH_UOBQ>nKPM3egyA)<6#pAMOU z6$}-`EDxsXD1T}Qk6slO7Ncv}iI4v74D1E>%uW~2rKx{Gk8~mqJ9!{AN`z&9|A_X2 zqMnmO9B?Pw$qNi&r)QNvN;s7E{vDKu78?lEpL{iZyiM~bW%Ib$JqOo z`(kCpsSGE`H-lyCL2kg9xPa7#i&OAPmM3-N{wL{QY6JNba73AY;jY!mB9}h30Zqj^ zKKJ(=rMMA1iLP$rp9r0DwnhhSE(|_a%HO;aq*fH0T7qjRsw2fIS|Ha^)ceJmM&x+@ zur{EJ{e-zg4Y|X2bak9f}Bl!3Z;C217gCdh!amsh!y6Ez82_azyc{W#X>pjITLviOE}&XW49UhfJfX3U6%L3QPT#y z<5yISJ1A_8n?qbY6Is8wF!${sVe_9tAAC?1OBKDW4mju#pHex`k@ko82>hRm*J|g3 zH@>$KrQdR7iM`eoM#rjPosI7?EK!^lhJT1ZVl~`ed|}j2%|?*7?3?sgoM^PwNlUB# zFcjdIOxK)bp_*)V>oZTG=Gfq(*G~)$$r9MwyVAUVHgj|Ru+7eQ5$~ojh^!8-9^W2!XBYu1@0^jKH{Ve%ckMopM-7uQlgc&~aYY-dk1!kx66(xsov?s0lWv=Uf~O{_2SIHB^A{qqrI zqxg7db=+^oF%g~>O6dKh4Eynr-y8$i8NqrY;!Mg0YAZh9;SNUdl>ENXy3DUnDQX*?~5;Yxyz8XUcv^F5`o zu<;-k80j3YXqljKC1j!nCR0KsS~?xs&^q2i!*UvB673vjRcHi5JvK2y3(SlL;Z?#V zMmx+Zd}6F3aiGT=S}P=&23XK*WgxzIVvV34+;W$2kZRLU3NnJ*hFXx0pxU#0AVD zE#?VEqJen=q$;gUJlAwfq2V!))rl9R5U9ZmN5nSq5`0S-fX9eE361-x8HXN46JlYn z0`-K%YmFX%4~u}h(GV~V=t>5%5l2RZ9xJH_tJ`Q+SltN;X`sg$NF(tc^pZ}HdV&jR z3iJ9vGS}2Y@&u2bI8qP_8YEZ%2xLMq$H1N4BYZ*7C@2XeAT}^XF7T^hp@J(*EiB4| zr-1>cE3uY>n1s*}pMrRVuw>7eS_n@g09;70x2K?gP$3P>N0I&@8Q7VjmJWp4qZK49 z1c=dsKosT_nvlK^G4&SbQMka_rvH7e60fbM91(qc~bqMV+y zr%#@L#1+`nL0eW+cEsMk{+W)yjoNnB{10QrtS+Z*R_22`tLif*x#Y}voy~@)Km7gg zd-(qlm|SEU-fcp_85Ssf#$o=J`^s?1owf@z%0oRm9)$-R3VOer+r z8AL0aS=c2acBWzTMw`q_b$^&;Q52W6aa9+888su+VKtafifPLNBB0gs;c%_ZB!Zuj zE^~3GFj-il_r`v!XrX$iC}gWlhy{B80Dro;xXAMQqR2ljfIc1=4;f;QAcyxh;tW#X zAJ|Eqm(!DCIv8b_SD$x*izD*DwaJID(-O{L9^l$%WjmUmWP@tLJ`eI{#76nJlB}(N zi-Jvn`O!#q5Sb^{It@vRh&%-GIHc#*bT}_tR(w7mKOz7*gm3IB+Q3I>UtW5)wkE^w z^Dy(9H^sEPjMg`(rl&;>r59|`+Z2O&UA9+3v$hzFrsW_Xr%ll`n66>7x&T$1$H`$U zX_GfiwF3=kmvPDit;lFo*2ZSSgzuhzJsE6ElUD3Qfw5}BOvJmZuD0=3?e z#&?KP`z+?0oh*&ZjC`Qe4Vr8)nP|LWPO z9Hel``f5h=?S>VFG!m6laJW>FGo)F)OOsxPWct<+K`pV%7(l9_HgQyj!vT z=kFeeTq%(`l&MIqGmT=v0J0W7vSROBv;2pl!{#08ZHw$id(VxV-EB8k(9MwuCZu(Mn4Ub}U=gr}mAEys zRA``zjs4u-mF`9&aNm1SFRT7?8SM^68}g{`qn|Ge)fRrCi7ye?Z=| z$k`g;p5-m#%j!|H;Ea1VsxH#gd{CTJ)%lvuCY{wNYrx_t@;M!*ZFPwfr%SkZz#sxq zeDwzRaq-m&M^)flzkdd`Qkn4dN=m@vdKxrfkn8^<4Px^*wC72BwO}K|PWb;K2AB2s zN`q83g$LxJlVVuTCo!)4?=YX1#dvt0PtO=|HdQ?vS5q*Sp3UazX;r76&nM$_Sd7b0 zm+Zv?8GrFicGWp;wjsW!e_(a~A7SztfJ+6gUMKARhd+_HU~@xl?kvhLpG@cD@yEMp zg*F-YHgR;;=F7y|FD6D^XY6*Q*m<~gThUr4GhxMcw17+R>9?ZgC`r^-q-50eqHrr( zxp*M86)h@ar?$i(5EAWn;x)*y{Z^DZ$jmFf9e*v(oNp&w4fhvnJG2T0DcyDoriT!k ze?=3D-s{p+sBMgQMa;3se$5^_Vhe*%U$gZUv9uX|_OKPP2`;1WGPWZ&AyZ#-jTNy% zG3(rR#2S$fh0d151`);kEs5#rkKGamJ=xNFTVgAaOl&DS3h7#H5-04S8dvqv3>#>& z9DnnB-nK|}6S=tj>9T!()M69G{y-gj>=0XM^5jXv4iPQ|)Ewy!gG_`|-9?Dssn7*h zV!zkb;Hbd9g6W?fChSdd*(OU6>z^cHv$NA#eRh%@uVAoe#iw#mynep_k)}Eh^tk>Q z8AXO<=~%>fo5z;E1UVMiB$D-yrxz=$D}O7^y4#sv2VGnnx*{YZI=VqvZgCgO(Nl{lM!Tt73dH#SE2&Z#t)_9XKIS%NWT{A@_0}A5POJ*-|;WrN7hUrsjcN=4LUr1 z`PG|0u1RvC7duOOI@A2!n6Dk(JTymlP=BCL+k{vg^n_W;)it&0i1@UQ_lZBk*MFz& z&T%c=@2(>q^&7jAOOzYV8Z;fQ4kNA6o%_5|n~tvEEyr%~M>1c|-_1c7>5PN4xJ1!u zF@CRhLyN|dcDj*UX_3$^wPK7}AzBz_PlYR1vBYE5NOP5u~p={rZGBJuCg50*I0ZXx71i)Q#Ul$$KKc2 zZ7$x6WVd;MCV5jEXQRb64*WofsZa6?B44$vtkw6gf;@oFz#ol_okG)cs zvXEy5J#L$|RlUecUgi_rd4IM4^5B;@KT^lji=wF}g*mK?B0Z|c>`vCpmgR__P@m$aApi@3Dh?_K%`G8?}@NAj2va_fjkO*w1Y~E(cGi zXX7FP=}}uu-cg#c$KEf;SfMb*D6c64`WqXJiorP>l=Wa-u;Ows&VMKIJEF9$%bccR zZ8<5L9~J-)OUz4&H&Ut1TK;YUynXxZ=+)C74}N{^Z)X=}O1em7Tugt~?AoCF>{_pS z>eg`rgFjwK`SWT`19vj0Lk4%HHCQnj($}S@?6hQOY{W)avr#c+B|B$hHes+3He<8AE~ew+ zv|Y67IC6%mt0DV~{WY&>8S1N9!SA36`Qk9?1EjgEB2XvF6wGiLHa%l zdiCz$@Q=5*D1V5gdApJ*=B7$w{|gp6(mfq{ziEU1OFBx0S%<_8Ey+zSDq=*%TEP6 z9kbJFUT+%o|F2AXT22etHDccvYQ3h%Yg^fk{z?S9 zD}KF?7Jsu2TkC+;)A9`!-%G)_2d}8An+m$RsT_C9R{7I(Pz}rJ8AMf{EGP|%R7vcFU+w2j5uaaP zOOiJNMEoN^vQu_g)=f*kh_q>sy~ukPf0V;^)WknFjHGX>w^NwFkgWWU{OL<@HuKzT za7e7U0Vnj}7{7*N_)R$K{&22ksn_wS>v*K@;h~F_c;rny`u=#nR?}VApSuna*4aY{ z3++K%D!VhV_&1q1K${NqzX34wUJRF!asd;!&dmZy5GFD*F*q?eF)~^y3NKA>WJFmq^|M`+q6X&Pt}VrmU>Jl?R9%i&&9_3IOeRzka(1 zATR)ju)PmkDFr}JUrwLyK@UkYP7{(aP7y)Ou&X2NLPcN6%5i%IH5dI8m{mFQ8+a$fvh+aB!Q$jhp>0&Vf zm$KLc7V8e?f{;WDFc*-DRzL!PO|+r7#1m~H9YI852ozHgnHVVjL=cr2Mt@OR!;K)5 zUw@sP-F*TC(?&Tui zWUGlczi{QU$eydb0G2hh?>mrZMOjVPX^{vuIlE4Shd;7awJxzrwd&<=nXj_lBS=Io zxy#@0G7vf_mGYwBe*1qyhJX45nEg`=S|5Q{$DqxRgTA@Hnq7VPd7f<__T{^LJJ0R) z%eQWo9RpT!2)GAV(he?cgaKShkKx+?f#dt>?2q>mxW8BFCIb10V;U1I+K-<357dj#8{l09SqwT>9g1Kin*)7mEnoIK`TdLLX*fSFrDa%#I=7 zrjM?ioK5pR0ECj=riFt$96H|oDwo~i0vQ1um-pcUA%8dfYLo5I&QqH-t&G$rI9&Zx z?NYavS+#M{Cv}&eo#U9TZ`*X5F260@XFr-lvTJLpI%_^=O`Gb?-CrG~fiKqj61L~7 zwXS_}8nG6pvzC2p-m?}wW-U5vI%dsnm`C%f9r)@P<$BbY?D>k};vK)7$9>h-JjN*R z7-gf3(tjQj8E(@KX5CGP=~8#oOECz^x-zgq84f|}kSvxi>&n3Bm^JN{fyK(ex-w85 z_tjX(kkF2J%Hz~E#P`WM0ISJjeX{s4NLL?X$950Vz52+0$XM~r;6b$51nWlWV3PJNL&8;r@NT9KMrz+p zNPlAS-Mc`|r`lXQrk1fG`?5Gl^ z)H~I;n0+kKk45{jy2(2jykXbJP9ojV9n9R&kcAj|g!XQZ4#sHDOIU&!mTsO7#;NWN z)4)q?lm?S@I7oX3#K?O-IKD(J>&+UQ5PvO;Q4(vcyf+7XW3YGTeaQxI#oLmD~P8U-<9L0s#R@J-QAO)UhIz zFqFtp!cn5?4+3Y`**2>NVOzaFhuG=`fev)&Qoew0p`k>fgoP4~k`OE+Ghu=VtbZO_ zA+R>)K`D+3L75PgM1cte3I!p58uJJN7!-tQSQM}*q85-n2DHp7_seh6ZfvjK4s~{#?9_QO`AaNmD?@SvdnjkP_fuAm)UMv%|C*gBB5IT#es%i zEYl4-dOJl88fp}2wtH~9<@%o=(0`os{^FA>%BKu`uxt0(ZQN@123^Qu(*2x9&EtH) z$Mni=AaB;?eL2Itb%1EPc0OnQCf~w;#q&B_dMy=dU1a}$0wprrZ#G}wT;j3_mS^eG zJ>>b*`Q|Y%vTD7(b@}tgl^0q0oL0*<=-ZH^ncF=AF#7RwetrXsG%VO_*q4#z0w#a= z2#(l5>+gF^?DEs6Y?*=I#Vw{6w!jrMj`uPv^6kwXMhUaOPWLNp!7icc@1SEs`mP=H zAS0ir^Z7mYA0<(CPUaQ!5~t=m^XdHO36wrwVW<$tJbg;Hd6fgj=2ccL^K5tPTydA< z|8XaW8*H&$=We(44Gfs%`(5@KZc~4#%>7%;Fx+N$Zdc~T?Izzn;dg-hEp|}I;@y|5 zs$B6ZOUt{pd%aJKRhI5hD7lP=JGy=|JG;BnbpCm6!}sTP)(y3;Gc6pmPMMbjvEscYpK5 z$Oc0rM49SKfC)ZOf^^kD3&(#h8OU(*9=`*^@PXTJ)#&BO{6iMUZ97CZ zG#N{UW9~Kv89LU+AVcHY7-T$Ekz>r#SC)#%0`5vqMzZ0lR-9D-5r{*GqW4FZ~bf z_0=@j`X$dT8T)WHc36LE0yT$Q-W)!7b5!BYF6GVVL2keE+;QrKcL>+y(QI~Je@W_p z%dfBWyWT_JpieZf3{igr=l>bN2u-6NFI))*g2>~a0H_ZH8nIgIYBfrG%_$ZMMObHFf&0$ zK{iB2Ff>FtF-0>oK3xhgOl59obZ8(sHa3@myaFkIC6!BTPeBxiXRh9=R<)FRRMn%^ zs&_q#wp!1ss?s|8qMj=&Vl_*Njl@dqY$Pm+L?Y2h>^O^x#3PYlLn5(bV_{YI``LV% z`SsrU&zbi4k!l`Wa}AKfVtodSu3MTFt31Dkga1{1**yBlC?0M4;GMBk~K4} z0Sn3Ik*#IA2-K1-CTn847%U-MLe|K1DOg6flxz*tId{=gf)noN&qQGU%E$yg=VhS;e$k!g8!l;6VG>p zJ!Ht0bQK+-lML4qx0QE+y<~l4y2ftMLw1ymo6h%v{bc=QQs4kMNGAWVBtHZWlgU4S z>C+32kd2VZFo}MY>>QcY>j%dugLP!Ga{wF%gCT^6GX=s7(-UAMhESzSImsKUg&{_> zKn8N4f;bOGW2kA<8)M)sm;~p*MK+{wyAVTDzn;59#>lBbrv{zMbAHXKH)naL%A6{5 zYRk*{j@B4{wd!3C)>R)|g{vyKJeSXZ)iHEW>$zH9TMsq>q_Ir^XwgUIzboM3%WrM(Ei531ULgQ!coP?VwnD}RVI0OKR5sm0)2;k z;UrCm$Z;Ch8U7jSSt-y7m4P{cR%-M~s{->u4Oj%E0Nv4Oheoe6nw!-FT{nHrXkPw9#V)kS*#O&#v0?%F-n7UVBIu!Wwr@)(61>W9EE%5Gsfsc<1 ze466j#C;_0BW(o;oVEe{OZb=YFX3O3=xW32yK1y}mGCOzRl=);S7{%>mxM0~U(z9f k-l;ccpV{e;pWz?ADF@A$UhM)M3^+MCGB^q)B}Gq03gFia2LJ#7 delta 42822 zcmV(|K+(Uh)eDE)3$XWz12{D{lP^;!f5ko9mfJRx@BRwCje3v8#g!muANDwoa~WR} zU$S#HnLM!7?3Tuo*dZxN7E5GIi@PYuOA%4waY` z70Y<8WoEC!4MF(Tb~_AXElQECuoJ~IrS`5Eew);d*W+6ddK z$oa!*Gqh_ApXDV3Ytg64pyE`<3#lf424LzeMe*rzHc;=3l|h zX^2mZ^5X}yDF*1dORnBjyQ^lK$RDpSAZ+_|slO+4&!_ezb9GT>#p!0xW3JI4=i(vN zUV{RId;P2+A~Ki}c$F_RF2}H;m?-BEn1%V`P;&lYPs;|Hf8}4nC227IT$+bed^2Nq#z*7#Nd~;Uq)ByhDZIL_s(yGZTgrW%xOwJDV4$MF-6)Sv!HO6BL2XOqnbMpX{q{pD zqAWKR%t!vgf0$TS{r%@9=M#IHw_IdpAs(E!sw}{$9&}=&naGSfKcwKiZW>Y)c&{%G zDd&&%q-d~NA??RT!NK$%bPlhC&I(aHXykdAb+PjYds;NmtP~Hg?y@vsMh`lRR~!uf zi2M5Nf0eNy@|Yp=lzb9-5=&#?L)B+Sp7VKeQgqmCe%b+^C%Qsr>|s5Xgrq@wPjz;BV4uICvzH(>XZj-DWbzFl8l z2sYpMO>3cM-Zxa+uWBl|O))6lw#`55W&fCd{kXfX+j_UGy#<4*m)h@hR+kqG&B}QP zUEmtshYPMDt^trU+Xq&zcYTfUo3?_2t)kwr@*{4PTG-{LS-xMcs`ZX)?CSux@BZs{ zf77%v4KC5$)!6YzR6S7EtGenkD!;6&-N)5>Q$MEP&Az2VUsqcyRhzD%(#H$vscGML z4tM9Cz#sS4ug_n;NcHd7<+x3JHS>D6s*q_GSS^o0Lv_!HGvyDO@@-nY~TLfaZ= zq`P_|8w+&1)`z`c?U#LK>rhD~)T3oPe`jo|UTBDQ`_9S*N{KI;8LjX%H7D&DzYd#<6&bIG`?>r#x{e>6bClrdx%lVHzJ*zc(3oKcV<-iC; zu9nCnONgyoxk6hn_iY!b7=c0WZ<}syiLe0lT=@L+{UXJ!x3BES2XCIg1)UJ!f8nal zrm^Z{hbl}yziwKp+M>SMQn#!&)#aup1j`Eq*LGFfvSD5CdIAFLn(K}*e=C2_QdZ;m zFTqyZ`nIh*cpLRD&uPF|u_LYT>6a6a9VVh#2Mur-<}f7JK)qb;noV-_&CMtB%hh#n zwHk`lp+?gx|>@OsdN-&_le_1x0qZ&r0EVZ7m?aV{XEBd)vU$#~IiGEnFVF6tg z{8(((yPDAZrrA)PU1U8Da&=e0PhX4X3`gyv3oP`Ik=TPkhps@;)v;n%jg zsy7{#Nsv%*Mvg^PsC{oajjTWrc&*!2m*OWnD$7oKfH1mU)xM`+|6rP-fAPVSX9V(` zVv)DO2Hf+y@#^RRzj5~aUnyR?STW19TtSF{sh-e2J;FX>tlz+cviW!Gw(B=20hL=S z;jydtt(CGZ_ns00SP8=O%K4!y2j0;W*t?~YRlu=P%Qg}aWCD<+NBTbU6USuvNyUBV z#LVVDe|mROASKI{*GGE3f4eZ?Lv~%$e&={YF)kYJBJ9;kM;znIFVw42;9*;cHtttx zGycb}!a5#=jhsNZ)gP+)xZZ3CcE{%bMNpUt?pN`W}pt#~AZ7SRJ}&15?vK-{atnOB9Uf2moA{e+Z)>28HzwtcI$s z2M+N)%S>Ty0!LuqJ;tW&pPlvQOt~Rha^bfoS^z#qEBsYa<*&~}Ux*dUb-UcJd-?&H z0IC*ZTJ|RV@@NZ4HxZhT0~xK8GzLIO;LX0RGy3^m+idA2a47DriXQlZ3|bxs$)e_FD3y3p+VO|^EqHStM~1+i94pOAn16jXAZL3XSeuBF=b=szB1 zxwf_biC;(hY_}*g3G4$O0Pd*#tnV)sG;P6=Dn;y1sz)b`UUiMuqf<8PkBWxKEf4&H5OuV1y=71b*Z$kDa z0F5smaNv+r(AFv*UBKD5@fWW!r!7nl&x}?W?)|;%(1I#>hQlpjKBN>sHd(Pq9>?nW zkK`;+JzrFxYWv+-sDqPt;`x=M+mk&^twy0hWYn7LSepiDq)h`f;2F%{3c>OS1oQtQ z=Vqc%_G=(+f2Jx0eM)1b4pmAih}t%8j}#5CNTmj7q*4Pk(M^J&P^m`hHxbkg^N<&Z zJUh^C8wq1LlI)AERFIV_K4b?f!M+V$%{hiOTqSCbbe zibaHvbSG3x%ZzKLiivIw;8?i^aKJgOGQ~^qlp#!Kf8ZpE&jHvVDl=xHUIwsDE@h}* z#$-ZiNXP@C23VwC12j^v0h;J0K~SV#1ND)54dYC(Bf+=>4I3yr)G&}9D`BX)@!!gx zB#XihTIxjCX|4$C9a zS%h}oueNo+UQ(!h>XO;1+D+b#)y@qf7(+tue>lhQI180e6mNvbnm58jR)U5@kkOGo z;$kQ-(C1E+PXaP4jGihVepq8vEL8;X%d;?@_Y}M8}y_wgwhnpJse_rB&&Jf*2g_uhxDd1CRMQNg8)=i7u{Q{MOo>?4JSdgn(G>)kNm6lYRg zJkYz5u7u(h_8cSlI+K;OiFS_S<(bAz7!S)Fb#V^K;ka$iV1EO3?``k4qGR2Qf8Ly^ z9t|L%KQ$HQdB!1)71PP+0G~`p2Y56gHIPdyJpmSwc0-~x)jf##is@-qCnTU7K2bfz zAjxJjTId*ovFZ)rSoH>Qs;>lD@yv7>#AIsf2b|(eii?M;H_(+x?DC9Z><|*Bx2!xj zu>;aeDC9yxh9Hh5c7)}Ttn&TOe+B0p_t1h3v=d4=X=0M!(O80^3|h!Cg%pn^$YjCL z8Pmm7F}dNHDhoU^8*3&;FP2L@CLE|Hq)wTX0ynAy-Hf22a)uS5c1G|)J;N?X{R}A# z6*L-CsG?AzU_KAp6Su=;rgB~KxX%zeDry7|RW+^{IS_Oia4W@ir?4Rle?pD@#tU)G z2_ZSK%alTLa7y=3T8>J~NojAOiQqE>sW~JdB`PmW!1E(ZcOJ_l9V)L2*QsUX$-9$O z(G6xC%So*T9`PLIB+49YUpbux5fmaHp;j<>Div6)M=-!JZH1%@2F^q#!CjjPw1nA_ zbW`N0q5wL}Lb|rc3J#9Rf8a`6*rSBJn2DmyX90C1a2XF~tiZ-0jKKUBXWc<7r2x7N zS5b!na3Bwx4&i=0n+bdv{n*{erb9k^Ee!@f5SP|cgWrauhH>bM=`U1MNsTPPVsHub zh?+VqkK_Zq-#PhZccIwu-GWuytD|Z=X=|dkZgj!mPU$V~q-f1lf4si|90ngC@m_;) zgM)*chuJ3xc-(y$y#wSSB}3;II1C2O;M_iTu^u{cuww&5KfyM~NK>@W5e#7w6AOx0 zf`UbDj4pBPY=A|?j+ha(12}l!^%Hb+$kjt%8ZtcPN}(E?mzmJTmwHl&R4x0;FdmZc?hMNrPvA%57f zg*s6dFm`Hqs9!jQ&1^OMX7+lPa!;t8x!q%DXK%7Im|hgL$&Q~D2g0zYbCmT>gyeC8 zP4=lLiVWPE!ks6Fij`jmPpxw7~98_tF>A_`Ix#k1g>_VP`Ob=|Cj{SRUnBBYw=zs=6?#wHiO$d55SDnj8TW(B z!k^gXLv8QSf) z;4zo}gTTr6U=xjS6bA%{iJ{}k$dZXQkMap@I+E}J1ixU)ywtH}htRt%d%*s8S$3gt z?@022fAJ3Ni;OoE!3gCNKf2SUnpkfHzten2 z?5}UXvV`fHa+|IBnLF(=hiM5z3zpJfxtOqEhh-F`T*F09*5|tKZLI+56JGq(45yRy z#ku?9d)TfTjt7P|>6;&E2#wMWG#Ka9Do3`5W*LcYgu<-7ELACD!;HXpTjq%VZwtD( zf6tkVFSSj^vQm_H*e2wUMahG0Z5L;Qk1O1VxPcq?Us_nqaEJ2Sgvf`kMtV|#c^vbB zagP#+tUHop04`xVQqmS+Xs-eIZsYdIU*EO`@|C+y#{A5EK8YLH1ukPjSc?}~0@E%T zZez}JV7Vxry}sRFZr5W>ws9Ax9Kx=ye~xB-zx_Z@#z;kU?vF+q4D`UbJ=-JO4g@y< zX*LcMzSy)Q@ZF|8qW`;0TX1ge?Q^7@u$G{i18W%vWmi*SUY+Z_Ebhsi^a~Hq9=EPi zDmmHNi7MTK?(|vV{rqBwKJ~ z2UMRpJw66mcL-+@oWe<5`0bANEP}H=soga2KnA~714+rkFLRp`PnBzkjBgTm0pRr) zy!3YgJiA!reEt&t%J~yp{t^C)`78VPnf?3i&`Mwe;F-|RS+4r_gUB1OD4U~J~m96-eZaMhQ{`kdKybH>2e0%ub-|_tO{HLJed14HU z0_?KTZn^L1gto$||JEN&MAT)oTh{H) zx3b5BY*?zg!!xmd{qJWae;8U?ckij>&T#w7<*;>Afg@NJjiO?vM3x8w22dRyBYE^b_=$NhQff97UgyD8vi?T)S6 z`tN>t_VUGJstGrd={&f@c%16^<EHl80=s6jrwjS)tH;i2Uczi{ zi(^3U;_+~zXYCH^BRJY$wUBN~JARdxl;-UBE%IY$myY^RBsC=q{if$N4e`#{vepoN-E+fYSGsDsG zFnglQ-*Ef{?TNuO25(KUS56FPi9b}E{ji=m@m}7ICGvxe-wI3|LV^0SI1|6ye0C}BDFbYfS1?b18qX+#*KPU?HUUqeqexT~%(>9C+ zXEgM~(b8Gxe~SR51D~-E5(S_CK%=b3t0r1p-%XmhvsxLsXsLuVF94HyL7`jU?A#ZB zR?`8g-ZlH16;+d}pvvv8too_ZKPI$)-_@JCvv+C$g(M`7>W{~dIi2H20NqBSakwy? zYr1Ac+cU}BUc~@B1TR0iSOXf^BN<%}n&=J!9NZ;=e}ZKGh7KrHSI#5g)VXsodp;Zr z5Z+Stz7aoC%V!H2b?Zp~f$z8HocCQ1{-Evr0s4LwpM%D0ApD&d(cn_ndvnv$)jSu_gZ~tD ze0%LL|FL)K0N@AmwMT?f5fU;R47sIWx9cV42uOi%c-43hXnX7H9o4%#63qPa69GQ1 z@JKyE{M8*6t#t#qtdEcaF=Vs;(_Y(<)6FFKf2`;MjczQL@p_RfP#wIb1S{wo8Nlz| z3qp*(cN3pCUE$h5;!cm2rbE3 z0N~O!*wvPOP-7!2LLhwGNC)M=qgjzXAV$iabo*%}R*<}RwJVTnN?QHys7$x^NW6St ze*|9B{Rg=uMyvU4)uKmVFZY|OC6E>4<0IOmZ31u$+{6r|NAaP>$@YrspgoLc2wOJ$ zjf2{IH>g-qWw+k0ZI1|R+!Nhh-7nHNxnQQPhs!Fk=q@MG8Y12Pa^>u;?iv`a|+8^T8DtYZ|n9Ne5Zp!`i!Zon+ZX6vvcol_nkv>Er2WPy8YHw z_n_>n`e^!c>vx)zcK#le=Fj(w@tzWZhgUt}Z)<4U#CLLG1qD|qgwvAoLay)*7-p{p zUf3()-CdZ|FLM457Y@=-3T19&lf`onvx=mc69G1pp`Zu?U`NdMUPwtYR4>UxYB2VRXn|DzqN^HfvH7YMPhyK~c7L*Mo< zq`w@Rkpm26Gs>vTNhF+vj*{dtKlwDV(eL>D@i7R0h?{+&F7&Es<#1st_)YPuaj?a0Jm)EuTmTlW(!M`@${_#1Ish-M#qeOY?O+A_1kD=MUvaK&h zhq9`F&O=#2Y$CiE&#FJ3&Qm!xeP@GVGeh5dUYp0RACC1_`UR1GT@=J#%|&zUZ8?>s zzBbdLKTqtnt+}-PRpk8~6u&$f8T!9$*h_bP<-JWe4gL09;e*3OzNf=8u_d2|lI*s8 zg(gCR?*nTZ&g0~Mw56;ZM_COu81S3UaS zrLR%qdeH-_CZ0Eoj=pZ>YB*O-*>2WW;ZHJ5SOnftJ~GI?y(&Xkgq#i}r=g);%0Kqz zXK?{zJ^aHu2VOZ%L-T?y7IPdqfUZ_yY6t>*cNu$SF8|k?;@nmOgwsn}A`IY_0=yT0 zPt}cnKa{k^7z#f0{cgNxgl+TdW8izRt1$BZ_LtAF$S1U7XOY6!33by*ere2p5*}Go z-?!w7W|LKS2T={U0QroSw^P59BJ)OZXu9pR)-5;S0X8Lr;f_2hJGB4=HqL# zt&K4Z&e?>A3iR;y`ype>6VkS(6rf9Q*T7S+~IUNQh4#%kqac zwO8ko_^@DEx1nsC-_+KHh5hVkNN7^?g?Q0LcH5l1a8z4C&=CnCTRf;*qcQgF*_=!4`||r^*>vkx+#i}3iARfQ{>nW( zH2VV_bRrSB?zUpRFp0jQjkgbDqdCs&&!7Js2EVNOv%fBPUxsVzQ5Pr4 zL{A42Q(YcONsu3#5w?pdf^+P$?7ZK%uxpzK^i>b-{ z+h0C1q-l?;>W8gZLaVN2!|qI!AU|W5M(M+};I4+rg!^GKv-ML(B|j6TmaxbK!-okX zD^xl50v)#X*z7wpPvX03{B^x+_OTRaHG5!)^v&5ue#~!m5rOU!Y+2gCyUKWk*-U)u z4#^-dHQQpgM`#Xy^12v*R-KeIG?cA*(0NZqX)g)^KX#)@Z=IN_(FbJNS!U^MmU_GM zB(C;}+^@zgMOmumq?>xx+hsM(iXhT>C{J3@BQnPJuD_z|4pXn*VY<+!s!<;RCfyFG z*&A%w{^9&GibtU#anZqU?1x{Qwk7pai!)kPpZ3Yg1*y#s&B_HFfSnQEv z&7YcU`FYfYt;k#&Iognix*14P4Z8cWILe&$Wb(pV({J!pVKO>xh^V6(0{7rTPC`2p z<`+uyrBnr6kBA%BvCnN$bFVmw{KEV81D~v=l%xt5sDA2!#x5<*c%Dcz|I)s09Qd5! z(zSxhOUj67+pMR5D$BG>twEyEd89#EV8X|zvl9`f`6H{ZuzTxFv5CG`XLp?-b#sHWxxZ-lT0X|a%B4l8w%ngB?NQ4{`g3ux zGQc0-7vTc1SqU2viWN!jB{lo>`MZDOkFHUka3k5OOhx;DI=55vjEZ05Te!>-$v{aY zLs=0N`GKi5WJA5HRN#qSlaT8Fm6mZ&qu3!-QxO_JlSMLS`@BZQPa>xwV7Bz4(fNrP0MF9wsidHey9!T^#_(i>xoHy;1MZl8x@5@( zO^3v+g-{yDxivH)jpx{#!d|8`@?5aL)@7@pKpI;eBwwnL0-Rn00>dfVNR4y^HeV#D zY-<};9MxDqtpyEHBbhPEan+y-iD9WIMIxntx$5Fcfjrdl4gpI-P6*7ZZ`-%d0X?X< zH5=t>QgiMs6$>S4U!?Q{Ide`@h(g-BHCwJvQC$0(sdgRZr6cJJ9;P+fWr|W#--R14 zS!#sQ0KhrB7e@KQ0Toj1wH%8sF9ofshCKVugk`tfD*W;-P`WY?`k>F4jQJt4vhS{c z{7~oKZlVbsY=FwzuZM!G{KDvozIJ8C(eUMOl0KAl@@{l9-NPJ z4-LD+$Tp`q;8X#OkZ{y}XypP_MUtjb7c;_+c$#AaDZWlr(tJ2KaHQm7{ZSTawc`MZ z5=6yO2ON0ME5yb+p2z2P`0l8gdX#Iq z1e=dC?;TV8C||A?MU4KM?}&Ijlq>+E%sD`?C05Few`_=(tbDAc@3F6k73Hy(=%i33 zYI1HkWQu%)V08s)xtCz3cK4`%u5{}<4E=d;Kf|uARb6WO{-Uyqv%>qYzR}cJ1Sc$e z<-oD5&|?e;W&{9C+e~2_&T9K63@)O)dOoCc&j*QZnKayzlSR>mj&u3|(Umf*SYxk^_eL$(_Mvo8c@jrR=tY-wup~xuIIpvRLQCw#&j+P5 zVoap60U=U)!kMz$590b}QaVG3dF7 z1>4Rz+une}AaiG7%M#gT1VMH$rhkMqaA#$bgXm6xbvd(Phu)Be0JeLHqL5*SxgnjF zWWpn|2ttv#wRgJ{akGMDe06ZE=0^8Rxo{ICIR}d`rQ8R6K90112ThWg7(@&BZLQD? z{9u#knXB}Edd$^Q@w+8#7)9_}}h%HaUp)`FkOg8df>r#C>=zh0;WL!H;*}qO3z*y#h8y2qb@m<7+ef54& z?I$*6F&fhiX&uXdSN_CMk~=6IYnjkH%=L>qqz2cHX(B|lZaf0w0GrRq3Z0M#&eB$F zO4{4Ln)*w<6Rm)%_b|aY3v`$`^W8AYGe9TvSFTKCfyeB^x1Y}F7+5KSvrD$k@%{7kV~K4$AoGjoX!p|y#m4i8T+Gts_pBfvdPt@^X1+DN<- zJ3$dDnUyYoiQgV|Z^*xYu!{j`0ZBZc6@b?I1NaKQbS+@B=)iXa;61Y0SS^CoF7O6* zX-_xxOV_hJSzwANfG&_8gj81Xih4jIa`VFL_g^GBDXIcEbR@CrkQ0rF?7)jkLUiIU zNzErk3E|S?X=3^n@bGgjlh>nAt)Y89Wk)3tPt9+CH4Esuw!S)7yRNpa%|Lmn$AdZe ztwFM?acdzF9g9sKX6*RghOzK7R&a4lDzWuH#u91hUUShqarbR}bRky~>vTSJo1GjE zWj>ZKBM)Uhbd{auGG`v0ZzC6NfOZC{d z{a)dJjMzZg&+opBOc4~I?hM9uRj!t|Q^PvPD!g!cz^uReoqEz;Axi8RH_5J(7?u2+ z*4si@=CftSkYvkSB+Eh4c@SEzb{*H@L%U1JnnX|cV#^7^IF+Z%#g3Re1O8Vn_P{C0 zpg&MI9is-Vf3=>=%UW^v7N$=xJ|YOsl0Zj)3lusCZ)56~T@+FZ++hK3ujw?b<`lu3 zqe680B(@`dsK+_em5W&{Z;5Mx2XcaUVf z?)K}KA*E!uoG$U_J3BJk3D+j{$ZUCJak-)6kfp|Kay&_esAtLUZim#P;%BaLrEtD~ zeX6ihDETQCjz6^BVn(X6t9d}6d6Wna*dGvj(ySs)xm>;r#tzpphk7^k-E`L&HBHTM zSEizN3q5D2aOe76TFt0z*I!?$%-l(<5R!8aQ)~6=HB{S{cVQ)m#b&Yhoha#_KZ{q0 z)q1kT`$5XYCkpMTI`Ld(BRt)f%;KwmX2KaRL-K-61_i0qYFFXP!=exp_nSm!1yBaG zaI0)Q;pmiYvsnWHgi#)Q4L$f}-4kF>;=AeN5*hFGf&{{Dkn2rd>TZxPPuFlr!Nmb- zwwAjRP3h)%=k8^4$rV#y%F+)T5G%rbg8xw3L`5j z(x0EtsL1mj0EM9$*q&bG%hKyo1`@66pN!^BQS@s}ydM_Y1_6+j`T#6%{i?B3r^1z9 zMRa}hDDsYvI2k{WCRN{EutvdC&#;L1p306WyGxEhTyNz1r}O%YC6C`OdRF~rEm;-W^3^G!V>kK#adS&sq9z3jY5cqJ5nf}8wf{pd-f zlEQR)Noiz@w?IHGkLIPR*ARfmiF;{#NeMP=f0~c5I2ewjZ72n6#ov~@dR6`Q=W^K6 z88L;{!eJ^Kg&eJNFe%D>kZ$qSgV__cih`wjSO<=LlO!gta9L5ne_uwdIN&v&SoENF zx34wL6M<$Jq0bDYSb|i4;4UhUz^-GUuiaEw#|Xxnb-=}ivUPMG<0_|R>4hF2tn85F z7#q*qd0VvnrRIsLXk^!pL#VIdw zjO3{j#qPF^Fy?L09FiBhldEk|#`bq=ncMA1ktf`42bkPtA#^)HXlRD94XDGJ0jjr7 zXUl8$_por=J5}I+$P_rbRp4-`z}kUI5kyOsRX$Z#$yGdXfwC9O1MqZ#NE>hrc7C5( zv|*JZk7L<&?!qD+A*exLmJ_bu8puVHB=`F6pp z`-C4;4W_3#vBG?J9dWUSBzk%pD*Xq|NTW~oLPsI2&#phqzq;N$W2^S;tD|kZxp(*H z)(@w%A9}1br?wRWa>uiBPqu_CUr0UY4Zs{4az-{Qe#b&yz*#y64a-iy-F3{00-S!WLN(yYr>9J?jIp54N_yL{ZXr()NE( zbBYf6rg^mJZF#PJ!6J5@V<#;eu?tvr=R}#BRyj>-2MJ$nZkimX&>YOV(JmV z_wpodg*+-^7g40^B-I(ZIl=hD|5|@ij_YYdj71JH(ldLdVg)pHBg7vtoK2L5Su}n# zm!`5S>BcGX84+FEe)Ix!s?iPQ8K*}Jx3S9SE(-Dvy+P_|IBo z#3RqvDak6nk^cYm?EEHn6n3J2V$G4UX9H`ZQ4r+J!k!>JQ^Kuh+l;7k=ti^M!Zb`T zT{LfJg%p>Pjk{v!>4jH&9WUp0b_b^nd6k=W&^kHJ};GnwQxomc`MhEL^>4+FtmAtx)Ji-@#t`r^r~e{3PHxSn%gZ4jdbAP{c~7&4rLDu=XQU7D>WV=azbB; z@KKT#9HobK7(~;gXXm^6WIR4hgVZA*U>^*89L1@I`FqI_k0L^bq%CJb|y4i2K=xl2QlS^sN93+B`f zZ!9?!AclQRw!hwuT`X!Zfzlk0Vwc)wrJl=n7_Yct~$`l9xlH`%d zWRuV)*VC>jiG!kJj?PyDgeWhTh{M}K=Rp@A=Oit{+BX6gL&!$|334KuocslcS7JBA zfer&&gcck@<-=ceuNZzc%gvlNeI+{JU3^xcOhcw=SaGrf_C=vRb!D&JfEx|Xf4j4LdzTnA&98~FmeoAH2Da>v>xcW5K zG$V!2sD$7!E+hmjXgy_@F&>wxB&^_nwJr_~SJQkKqvC%^$p{bl|7wbBoYB~2c3*k@uTC1pZ+R5f+n`YAnbo;(}21^{In!g{0?XrSZTM1z6mjOO2B)h zyWK*^3R8dlCK2OXbaWs7Pco2y?iVM@3+}Ij2A1rq(t_d$U|2yQf0D^cPaH*&^!4sy z8QKx|`;b=maM3CXV%hXqnMV5P-7>x5>F1rh&F zp4fAucEUuCWrMi5s$x~-?$4Iu(X2RZD@grlUIc&8KM^7jmg_Yo2xdX#Q^5V~pD0VC zbyhFZ_fJW@VzHs26K6azwP&jkKe!tdAUIYK?HISVaLAp4)YfvsRrlIcNt6>LtTRNL z{C7feDzm*oAqt>os{=K=&5V?fY`HZQ0S9uW@HrW&l>p|(k_K?TiebHU@j9vfWKGDI zh%0}hBKFN$qvw@5>H==UE~l(#C2nIZIIQdRI$0x@XACRrb>4Q4x7+afz#ACD= zX3~?jb++cgVa$s&lfns}2SQrM(y)Y!{pfK)OEm;l7&1PFOkmdX3<80diAKb52m6p) zbrLskY+I0Ba+IW#v&N}`k2MB0Xd!=(wl^*q_b%V;xAeaKrr7H~|3)AvT0HVEXJXOf zdyM7c^OlB3F^bPgu_+Q-EC1)uB)eqsCrFS6gZ`0!|H_=dF#X8CVPu%_TFqX^Q9@H< zHTh;2#~SO{#gL-?Y+Jv6Kh5WaubKdIEswuZ!cKbBGNfZv6QkP0C5BS}^{0PpZRx88 zHq|t(u_Zv9A%x^f!T>Une5kc&a_^IvBwbgOi}9QeBwCf^f1XV>YjBmVPgdb1>k*^G zUeeE23kYDcFH3_fB;ru{@|os!wY0~o;OK#f`KaKOG;8+tz=Mbmdp0FJCccHE#eR!F z_rCO%43OXpiVZ9Ly|bl+1~h-X6noaPyqWjDW4()mzJhe&^FEP-W;e zhrwWE9-OYsLRc=VOS13<>h*l9Uf`GQOVfLjcynF?rHKg9^MN4-C|B1C0uhAzTO9zr zolm1ej+UgUl-3dg{=Vi?1F>vZMc(;kjC5umKu*jXxFIR7rkjOw z6^L)$WMIsbAL?UBXA>!V&szIhwfram@WyvVdrc_?$L(&)tK5GbQft0%WH&3@yqB-0 zp}+%}kZNrS%xj7YE}vU~w;*l~6eXj^l-ea#JR(rVY@M3jotmgz4@?3$g9ocI+8li& zBAW*B&x{eiehW1fDWkLuMIwHZlQ~H_@5)UT_=0nxP4z}9p^Q55phUt;ZIe_j z!E)(hXmGD|AEAFwfl3$B5GVwU$0!UTHL6S4O!sdB2KLbe49v{>FZ91{zWDc77+1J* z4BUP3CF0|>mt`sUrEhV^J#3j0h%oNb3B^Z;ds>cd$~!A@e7mMty^nO$nkchr&5X=~ zeohv=(*+}iS_y-uKGh=EZMZ%LzvNs5)D=%+M7W@q>H~ju<2o2my%chU7R^`uUzTsb zZRq(nT$*h|0fZfsNC;dG3iRavlu`iP3IxUrxF|Y%Ni!Op6vCs)u~6fpcjlcm%~94U zegqu0YxI<;*GS@*CLATO4Nt3{!(2wLxEY(tb*fOk^%KNP^sxH?&ceoUc9n& zt*k}*HG!}#rJN*nI_x!D9j=kUA0s~+vTC6PFnoX8^8b#+Q!OiE*t?B``vXUelO*CU zO{EA3L)7;~(-lNF0A?kupWom2nX26h?!bFGpo@Oek`#p&=!*O{0bp-j$dw5?CrA}F z35Jo>JvB^wyob3nncZtW?-uK4G>vJnXQ>nMsY1=jM)h1F-YGknNvFEk^vt0 zDjAUch>xE$9Xd6H+OIk^I+gvNPm)s;b8wQlCo}^x&M(hv`KDtdBfs}uzi#buDD}vR zCzicu$CS##=Uw?YIj&t8NayMJ5l%0BId*?gqGx%gQ3Ye)e2=9g^&jM4{e{$C3eLn3 z%sh8z^ctyY4YGcPh=SV@sRANRu@|)~c+b)_cJu#+4FzrF&*YHSogdi4LuZN{NflZl ziN!F^PvLXXVEl^_R@(AikKTX!j{Gl2x_c%aJm*`-Gvo8#G4@Qj42Gu<>lL7xjLCoY zN}AVr7@@S^sZCK5eD%tjCUSZ4-Xak=Za?KgfrcUrA9_u*o?WvNp6ow~Lm9DuSs&Zm zDm;2$87)BH=I*x%^m=)f-U?;mW+}%9e7+MNCz%;v3|t(4vZ2NMEPIoEOWBhKPjb#T zH8q4lE-38sHwAm}Kh=Uq4*p;+H zBzxsrgGvGzc8zQ0+k>sq`fhKO zdVrgpL5-NkUJmwn4De;Hq@wq7z&&F*<;ESEq4%}FOs=J7jOvj;CLk0zTrL2IGAlUO z$~85BBlx4xPTIW3g7ezRg+&qV#v`7y;PE@x1ofF~mZ1#w1N+?F4(HnnX0UP-ajlzlfzjTr)g}8F-wq-ABb4u>>FqW5%Hc61sID9Rbfo3N z**<=KE@0haylJV9-kxr}-w+B9F0gkOx_2VyzX@kmwxy>-Q^) z@@<)MhyX4?(Z9iN0-IN{>SJ}?ZJVMp%BG~8!yzl2*^E0(I9g?6z>yRY?qyaKK$e|i zBXnM|7rLN0hk?xzT#RC;Tmnf_p1_xskE~o!!Q!37Dt`p@O}U<4=m9}<(=TO$_roPRluvsWeAW@5vE>1Cq-5m`!pa6eikeU zSct7r(clP1@`1!TsfcqYh{)mu>WQHAP)C9mJk*iEE8rotL?MI$v_a8=*m|6JJSCiD zBT8c^3V%Qe=-CE*YEmrULnJ2-xIxAQtQHDkW_cT`<75W};OrZGxD(`i7z$7LMWW># zGfu2>24VlZ4e}yq=*Ni#L4^ zSyopCBP#->1%p=!D-#-X1Ma|1IAd8|&I1Y{4iHFqGbCt>pqh|#!LYXLs8*jL0O2epwbtq;JAg^dw*NU+VApb~=BB_jrryh<=NCCW-H_6vE5 zVSi`@Ge`~w#?XH9&649$226t1vZXxO+8PX>s}HbA_}Du&{MY*<=u~I;P;_1!=T&(z zpMM*3M<8{d0XyNc$>~|w=BYzwbft}F~VX6}`S)((2p%bwUS<8d##A>)x z&8x-ud@?N*uikk(sq11@q8mxJh_t>y z2#za;kTiU|sHWqhRv*Cr`A7{9itn|$M11h$yb!scivjSIby3z!#A(S$?*_wn#ecH8 zSWJs$6UUoduZxq}^5&R~=LeYk&6JbXFI7@3cBu&VVwGC!dP?$D5*F9`61wI_w9S zcRFFk5cD)lst8smNpd-9M6!p0y($Xm%zWK>^X71;M?6pv8A(8-4f2>vUQ20!#Ht-_ zfHS)Q9Q&U$;5mBPBOZj<1e;jn@rHDa;ZZ!JqWmm?j&|Q{|JffLZ&@S1Uw^?NM6>uP zntwLR+5PlsHl4vA#&549LU@p(>ncdaRU(Q(yL>kZ+@x&-JFF!o>O{-gB5Ao!w8X5< zJqhDJT4Z!Bb;U;7%Q%TF%eSI+uc7bPqn*7Q?d+4Io$WQ6q2|;aq>8sX11G~&BzT}0 z)|+C+_TpPH`C8mIKKm2KXMgW5d|;zPc!ZWR${*BfXiK#9u@hqo0Au+v#-u}xQb+0> zA7Q*Uzd%k?M_O+Yku!B8W`uF?Q#WFX`Idb*Vv7)ykSzZOkHLjhGWV1bPxU1VcYKN5 zQ+!C zljX81(L=iN#dJC=r}dko{@k&#W|{XTcuVvsgkXip2ObrdvuOje>RZt?w$sUcay&0y z_t-`f+Sq^~Xk*qnH}ga7vkb6xcKk4=mw?iA+oMJG<;Df8qxjlSgpAANxJ_{wyVHvNG$?23d>|NV5!@;q^Ig!1R3f?=vXL^p7Y? zG3~ApC8q;2@uP@P4V@K><(aG_bSw5x$#lN09{s9%l%18;vCVX`&2-WB zn%Ouu6DjGg7INps?dZMkb-P6G8?@`~ zFG5VD&9s*h83Iskbt86grOf_+dHkC0wh-ybEktTtg4Av#V_5`L7dKSm@2iXY;<(tJf36m@`t-~GWD2V+2~;e ze=)Cp*Z^(>dpNGDvrBYui|Tw{ET7Mo=aYJR+8;!ja-gMJ?a?KL{w2ypE@d6f22VWr zHWMp-Hk&LDPK&*Z$pYrlr{++W+bDnFf$}^{h;TAK;LPYG>;_y#xvUm%=T&(o7JKpK zc6dlXQQW2b3N|S*|Bg!Oi9XD9r#O;P zM}}M#AzWm2AMoA|0OgNous8uZ&IZ4#g`^ik)yB;{N&AQPaiBajAQ26g~g|N8(i0o$5_{%OsT@qaItup__- z;AjUl0sTz_x|sm&{&CR*?0^n7AV~j` zcPcaf_lf-9An|{T!2d1s{{IvAKQ;Q_F7f~0`~08K63*7v3Pv`67vSG-4B+o0V`K~X z`_2I50RKER&NlzA6eAmuwfp~9(tk#40{_ic1Z-{kpFU|PqrW2&wl)7N3o|40zl|VA z36LAmR0-r{VgWESvVZHn4LU*wsDMbzcLtJ3`+9@l>bD*asoCpCAwzuf*uEAn8||8@8WMnnYc2Kd3i z!pRL_U}I;HNF*UkfhZa@>H)g`bAU!Y}5da6?m zZuZcGm`-003-nNsU2(lyL7s0FxZ5WsbepH#@U=RKv0;k$z14m3)b4FxhW22j2gjPK zI|+D^OXx*L(|?vFPTf8FBbW|9g4R}a$O8|2U-IJMos?d8D+xp!#&l&=rLKapIx}@Ak;^l?X+c9MH%Bv8-Lr<qUy#+!u){J69ji)k@mKG!G0c5<%3*rhP4ieO8a{d5CIsf(aQtyhobh zV&-6~ft6vasA-`NGw;C+JAq&zfhm!7V~-v6_{PeSI9=dZYwXRT@G4-Ob`SyVyzM=K zL4CD3VmzDz zor3`ag~C}mx^t3u2~<&FIjg_H9e?wS_&1_5@MmSaaatbpUmO4(ZUl@3 zeS6tvxEY?tUfli-oGi#45M};wa!Ss5a>@zu0%I?>WF4*3i#)p`XbB@R=jfN3zq_CF zxAacJLB(*VFU9sVbDIr{4hTdU;lB^97(4icT0A*@geYzsDlB}RF+2Sbx--Jm&KU{6 z&woyd^r_)&LmbaC|H+%avfno8)Wcq);+>xmw#L_W|LNQTYsnAc)fAK%AiW{FxEy1eqlGM z^!zd(_;t+?&bS`UmClt%Gp7%C2D{A-H7;wVKgcMS#*irKyoAj)-tx;gLE0LJhcyCn zp_XnD)itIQ$1J;IpRTWWqCD;fZ1)hV2)^5h$&g^%jSPP+sj?s)wl|&UI_RZ@w||el zKD=&yoUH;=uQ&$7n<;)hjbvu%k7NrcnW^FfFmkCt5B!Snl^bkV#0kb-NQv<(q0)YB zV|%rmtfFmGP3K7XSmKgNvR zH&}D3CBTJENCTtmwfWdlhV>p;kq3*NJIfQZrHibXE0nPS)lRR=<>0LOAwAB%76UpM-XtR(Db6D zMqYy4+Gyw?QNk;FK5|GJn!I@;w5(kR4US&}_V#&dEaUMlCPydEraTo*x=s#h)oAso-gp?h^{Wa$+&K z<~k8mCyvwK-%DP+RVsgWz}I*Hpj5>qoF`U^WO|NFlnbH@PK+gn4!<~<3Y5p#grCl? zvxf%a=SmHpSbQEt!BT(uRy(P0*ND7wq1r^;Pp!<3IT3uMI)A1P(y|-QZM*07Yl36Y}`-Bq}h(rGoj8p zo1N}X$_+6%ZgHP3krV&+ZEOaQoVhN4&8aOf>$hFr4=0dp&04sVlK2gptt1rJIw!)H z5gYGv?)y+2Rey7bk5-C!7H}Px_=W9uAinjlsu-M~)>~#&1NlRkncq*AGS406spz3M zte8`~&%6@@yX%|==16(t)dMwbIo0&aztr?iz{pVWG)$A&rhGpVlAxuDoDN>?Qxc#r zp{?jT?bk-lzKp^KbdL$*Z7j_~pc!n3v6VIqj+1PHQGeo!8=v=&iLsfoa4|?%$=Mam z^_;fSjO@dOWn5a?PY!b~#(SAN$E&y;c%DdGcm0~KBFmf1l9D1 zw>&Z0L$cf)-3?C&%Q&TewzOj^3GEeqZ8lS4(eE`VjZ$XRf3j_((w44TvW!+fxtpNx zV@2%mJb!umlO+#3kEFm+x}92$m}49nl$FZwVdLC!{Q<<=f~TmI8bbQs+^ebgJbxOv zyo|Nowo1W$R_9!Bu^EV&L2nZ{$UJAzoFOFpJqfZZSj?E@n4o`b#ync4?xM;de(DbJ zYEq1w3ODFMA3CCkaTbYc?YFcfJ!hsM@6*YeAAgiH_~Lef^2&pr&=z!&Apa+f=u@KX zRqmft@GPzDA87RcrOpMS4dM~|XQgCzO$54F#)7%uArw3PdSa55C#4KRLNq`l4ZZ4( z-ecN9l;v4lW>=hFIabV-5HnIja?mDH+9+M?VvRm8bQ~Po9eH(#Hbf7mgA(YMYT*8f zGJnxP4bPAf=*@0Li&hH8--TmbvZh0fvJcG`J~)1}(92r`*pQx#-<5N$+5*YO(XmyS z@o|3RijYd_C-YTdSmg)5)zF_QyXD{Xg>wh1EzAssufxTTu>DcphvR_0} zbY#XCZzW)^V{GRLl6tw@PNr>23>;olV}JNkqGjim*BH><{ah1n{AWl#maCQt3u!PVDk(s_ypfb(?_UW zS);_xwC6}pX-{wX6(sGZgiFm@i%3V&1{G)P&xb#bAk&t5mBg1zrb%5Lr!hV&+J8n# z>fZffbO6(5W8wg;Tgi1bP3Q(=;lK;Gq25YA6F~+{Tr*0A3zG8R&BY9h%2rG{1-3q# zCl}*ZR+gd)hGmFS){jXnqPBOz!to z52xE~H~v&{h8z2o7HZlXV-F>t@P9%*DN_DpwNT;E&@)%#VuY%`5ez|rnfPG-BLr5@ zz@OcQ(Nazo`Qp}7L!v>&Kr0$gZkJ=BsUEA3k39qdofOK2q&s>QF+z0}vs={+Bz10M za>?DClZp^<>_btH$w&)S&MY2-36#1NT{MJq+Xv1G?0oVqMBAdi zS?2)x_`GFQ!|X!!?I=udx_^^KiF8>x39|?)?Hp$g!_5es>9&8CaU!&M!NvUU5 zu8f56tXhV*mddfnAzhs@_At&ImFQM0*Mx4!fNFrjqX{5cd{76g4S#=iaJM^}U2rJj z>L}ZHiZ3UcwcO3C+o@gg`b9{+IXhECy~@Cu5tH|GtQDp;NyVB-grr7u}_=9AFEkp$A1qEyeU=ex+T!Og3bo*LD(Wz4XoqFXsv>Vlf$xkx9HI8H#TAN z*{t6b1!GlprRBjNd6=Oug%=<^--`{aRO(bMh;3E4ZBq-Au}dRWXV^g@T}#%JlDBJb z^G`ZtFe>vs8Bzrk^urk1PO;iuiOkd!#nvdHQSjBg*9>m{B7dc4lUq1wbsN>wTK!Yn zq5(I)!*-R{E+TED#o0DlkIS2!^aGsCO@y@~)IT3`VHx4XAGDI7`+v?M6XITj;;y34 zHP8E(Ke^=UwST?|a*PgshFa znql*xHBdWeZCe%H@yf*r!w|8Fdrezrs{UqEM0}E5N~rw>#p`amm5WI5j;e_REep-Q zCV1o};?@EDbxBm+E1y8(&43ybw37zKxn19v+2ul66@O>i5`GC+Zv$tEeb7Zpw^?jX zP?jBOd-qYx{2~=sRTamcVe0Y67H7pl{d|xU4ECvobK;1HWWZ~do-ybos3^XX#}-p= zYuPDPfIlJepqc;32{%3`VOI3#!Q)F-p|nhjVCU-+_6B>)B112rou8X)aFqQbm{i@u zoyt;34}VFbiDyGSXLl+x97+Ju#AaTSzIWgsl>Sbr=YZXkjEuejO_!>rw-EY;QoGbT zz9)fhw5w}mQj1I3=@E1d=7w)WxPY)ogu!H<-DdgST~dKSo0qd!@uJt7h4kFPFJ{(YqFj+myduq^>SY)PORqfkUNN${%ZrXNK!czZFo^CKtXPIw~n7lvvg zjMwWx9^Lg%PWoVawEk%UmSRE#U$-F|Ir1uJ;{NZnsTxiZXA&khhe>s9;R#946XMm= zP=96de71p-c$@dZ=TP`^&YMQguLQaNK1Az}gv0wjZ|y=8K*|T1*_sfG0B2Tn=_6Ug zMP`}w*zxL$pjir$PKU-O)4n=FcwE#C{?5H2^T-&EQh;xStY z@(@zS&Bz8xgx}K)G7XeIt02rTQm1UnWq*(fL;%ILNXwAWMm=XG%DF1IE5SOGxyNUf z4GRw0zAuCdVVT;b9@C!9#=c>GqB(YWcb{g@?3Ku;6jOb2qizU^_%;ahQW?ZsyR>;| z&E^f^;F%AoymTH9$|@f~^JC89JN}z7bbq_kn=e`X zuzm^b%Y0Tt@sv0_2J<9a-l2JX=jyR@#3NS5zLtU3mtO^1cNwXnh0{_6=A^XpR=kL% zrc_?vQcr&GPX^KXQc6=Yh7X)%fcRFa*}jzhn18&cG@qLvfHO#>SD?W9tTF|Ck_4Ru zd0#zgmD)Z7>le9Lp}>5iBY(Reyu%yRDtlo?iDPXmZ%(dKz@4>F!tZi{8V&yv7R_7` zSYJtUlJKYL>M)Ry$4;e=Mk?~!iZT**g_ytWF|s!D!|C;7xP5512C(l(+3vv9=#?c{ zEELisd^`TLApPS$e(CEC(YOEG=E-2qlvk2iZ=jG?S6nWbFyCY9iP|F=Q{4T8WAJw zPADz*_0#5zZj}-$y?=-d#cYCLiOm`X&*yvVJDQazGCorGImr9Nb?6u+(trk-{Rka# z^inV~7i;RME`t(DI5+J#>nX1yitBF~N)i^%ygBYCb&5zD^tX?vSB}!26h}%zJ5PnM zHm;$5E>qiOEn-=36p>M7yq21*#p6iOt&g=;UL=ak?VnkDCVxzu7x3&<63e`eXCg^N z%3qVWeLXe74!906ah!=S@kH+n7$44uui7izMGno5noDe(7*8Udi|`I_Yrt}OR!i$>k9u}EX-E5}s&V%M~c z8$QMUA__X5vVUqj@s^x}jo*BdAW&(v#P zT}&yveMR?pN+jD?QDbp%Vop+;l$ldiTKD+!#qz-TqPxD^MQSIN(-U>tI)JfFhbp3= ze|A5f5u*R%CvSu=71w&04_#f8GCKR9XUm_O5BiRkvVT)Tz#qlwn-){H@^nN!5q*x1 z%fU={D9*+jGj#?R2O`ebeWQW(iCG^Lz$J%2PpgETPRDD)j`QBYVj>1zVLvbQJ|9xDewbvLkHq6#st;M->tQ-0@273yih zV&V^{#FKHsP@#R8z>Nzm@QMo;sz>Bb&|O2ON5a#W4c7?A)yQ9Xo}etw$9n18l|$XE z=AVkJy0pUv8uKE-U%YxR7PM{pMM}jZ(kv`?yvi;#>KHjnhs(>Nkfbl z+%fgeCl!tXahY&(%U*mOMSQoC#5CVIFGcy*zeIQ`>RfIzmo=KFu70TxOw~o_`bsnE zI9;*GF&$RGyxhO+zBC%xJCcEH_W+b{J%40Yp>B&D0VKEn%y5wUB(!YwYtJx*XyPlx z)PDk=rv`%SkS7h|pF^RixCPi6my;k3;*JOTnX*P4Xap-M|IxMrlYYLY8xE`cV2F5W zKH>oPTvlA^FAH-HO_?ar$O>_VF5LnIv+I_tHr%+%gNhivw)BIGK)kLFkAqF?#fA9asd z6Bza`No1@vN4En#AS6)_!?Qi{&H0Kd@o%*GihrqZ zF4Zln;1LDwJWYJn#I=4-Bvi%n!K~W}+<)u%)q=zH9o|0I7Z_69l**m4Q_&5mVrnF- z97`(mD2*B#S5jFj!!Fl=lHtgP;*0o6jXXDw0$HOM=uPcoY{6`;Lba)$?MyV>&w!;V zKeZTDXW8t7)YtQlrlkF#R%w3o8-Fc$)w)Vzc*Bt~@e2v2f0pnlDb`1)-zPTW+#SST z#^zI68isf)y7?M}Rj+a51y0y?ibltgxd<^A_Px&c=V<(F_>7gQWgM#!`VIn^Uoh37 zS$9|TmEDxk(KrKf;5#w@dYa08Y#v1xZc^A^8uo#?mG2bxCn(AJ$Of4-BY&^39kj*w zO~Lar$tWXqn{fM5`ixR!D6>(lL8ezF6kpO`;^7^23e*7d&-I7tpML~|2#)9ugbexC zoux;tBZ$Sd`n!$2MuUTNH=M0s<9NXdksciZCj2nPiLci~s(TkU_#PEywYfz^l+32C zfXUy{q2usf569y@B^pn3Pk+4A`alxr>j59i)XvW(U{8I#!*FY_D7;SES!LL40#Xzq z6d&%^#B$!9*Y{p@Hgt`3p0%+&q_zrnGbsyiM!dZ;cqZA?JR^k7RO|qGOHHiqaixf< z7;2^Y=pBzDgQk{P1q!1zaU!HpAi-<@9E|K8F#;9J9l3;lXAtyFoPP;zE7Lwvcc*Ia zFII4G>?btkud)wB(LW!wurmOqTWG`4(5GQT(Hw{$8BSn2pX}4(BV@Txy7dqZ+opyX z-yGCuRvR1!KmODMl~ufDu65qp>wvgoUgsZm)gwMmuL6whGt3}Nlp^1=Fz zdggm?KWBr%m(CptHt_bfN^FF@0#?tF^##99gmq9~?r$;lE>zU=xT9Wyn>iS?l^>@1 zk>V`cCln(U7=O9*$A%7aYsz#yY#+|2fDWWitIMa z%xb#yqxdo&xj_?My`evi&S9Ah;i&BDcS80Ye@R>h_kUTdxj0CihE9|L#QS?3$6Ri{01OrUO@y(CkgjBfpB_YQw62!&9Upl0>Q}-nYsBy(;3p#SbJKT+4 zJ5#_rfDkLx*A}yZMd=kX&4n_K2gQy6JF%UOdM-UGPz;iSzj98Pi?01JUF?yrzi0Qa zvm>-}_WPgM5qbKsCd7XKwz`XeB?!cq~v9j`- zoE$=aK^Z15UCY=Vn$@gUX1Vti+oIeCh|@2p*2yv_DA`X%dimR` z;}@10t^*@{WrzZO>z?@LwVh-wVPR?e?#8Zx`C`-8c2r%D`TF1M`Kv4x^xb@AYB53J z?SC>Q=12t^spnIOQpiv6o*;|4nby-fx#7wpzqQHzMGRlBigKpeW->-qHkp?zm$kI* z?jXO6sVs(eD8PCp-q1ATAgKdx;+_DvB3G;|Snt&_INSC>H*1JtZ2y8M`)R+#;O&DK zSrPO|l>DSAF*}zR-{_@Iw?WVmeddh5M1LcG_olePj%yN5+%?^6RS@7%h^f#%SIv}q zA`Eq38lj%W7K7_OZAR+rZq$=KBCrtlI{^5jJMXYuS$kBVy57myJ4Sw~uI80*D@$H4 zy?^A^1<>RY!0C@O#Q^B4MGh*-hXjh z$k|ugVFHtq0*Jzn&awFA;2Ea}Xqd(cwuifOjRcarWC?ez*dN064rp-GwgejRzl(fd z3$Klvm_Jg%-wvguVTD{EzTHESQ5Vhg`LQ{tr42JA1M{3_2)y7Hlj)&hpMaF&4{VDE z?Rnojk??q2Ob*%9?vU-h*?te;B`f#roLdl!W)yT-49;C8MT{ z1U;*Jt$0x!^XF8@m6)xY82wy76vHpdjf{w)7=-^}uf8RP^OBfeXABCfAO z#*hoBBtb8a)VoGVc(pax=(wxTZlcQ5>L~pT)&a@QzWzwYFeko%Epgcz36x$dpP`N$ zd^k^<;ad2G;6fiD>?@{P!hc0NA1vo4hh?`_F!$#{l1&J-%YLWULX1fg9-H}+ztF~8 zX4A~=yo}{M9|}v-8KB0tBK|x1lPmhhZUikU%0;o_`D2C_OLa;Zr$hhdLowSik1_pp zf{_**Ml1(lR=kU2#5o{NOXkB~wYYIXEIe|CEOX^{ByiyMgLf~hjep=)!()i{VcXj(D<4d1!iFgf=Y=1gjBj~Q` zZSOGp&=F!dP1kqhjw?N=xjxhTFM7`kI6l?n-b8-y5u1Q7UHZD$Q4VbIhVOKh5S73A zfo7N|K758W!?uFtKOsfT5dHm6RE{*W0MHCsHxZb*ybSPSP=DDf$DNB#va8ZCc;X&C z>?MJ?-v|zsedz&&X_JqDAIq`stl&)OYEKCIq?cJh5V3_F?b$eIUH&i|mNGX-#vdDE zpQBCdqjrT*m1Yo00^b><_0}5P|(UOT~KN?jjHS8k8h@_4RvgI-nv=;7jg8CYUXi zve5gIGCa4Iqv8ayBP+pU6Y#hd;U;&@O2Mz(dbsOtqKpPp82!e51Y@Y;G-~PT?fUW( zkH?G0l%_FIdW&F^TqCTKS46`E8@u%ALdpT+KIZfY-+#(H47&noMEJ!hE0nOB(SL`9 z=+V^8OhA#crs{dZIs~4q%vfRSeKQXT`YUV?8E4#-rJh-dS$F03Sg*Afgbk{r3_;y4 z7=kZk^<_OjJPO@27r*0*4Np*%gEOnu)>64Q8hL;n^!1cCVz0^HoP28^d@q~|9SLFO zv=IgO>3`rI8Krb|md1N^8jymF6=Mi72z<~N^$v!+B;iCn6NU>mFDBH@ zi7vbbdp9eW7S^xoaKpU@R+;)k8Bu{~?phbWtno{2h@>uLt z+Zh$No-!9J2RW8dqGoPg#iz}KJ@h-KT9Zx#udLPzAE2LIiW85wjPmF+*MIT8#i)J- z^+TjAdA~-sGiGFx4FiuVpa(vmWWm0vYfkP|?N9kL(|+xnLHOo}1Fk?CttnIf=9fcl zW*Lh8kg%cz(%GyP#RJAt^Hu~c4dXyl(>je1a%4?y>#j>U6#{PIbhm@LZ5_a(Nb{k1 zcHUGZVK`1)q$Mpudg0sQJb!9Bf@IW9pltb-T(S8n_UpAZvgtUzQI;p3@U=XSe=g<<=OAYC+J7IFj+3yTELTye zGz%!vN6xBvN|Tc6-|r^W$_1S5{>;UGcfjgmNGzX!{V+`}6CfDi6>veYtLS2fpDG<4_Ct5jmTuh~9}nTbvk>Xm9p9fTZ~!;{=!y90#v3iWZ>U;S6!W_P^PE{ zmE7MNMZ%)A2ep*x%)H`=Z)4B(37jPMlgl+I!b=OGgyrpd+kaewDoBilp#s{mVuT{p z2tIi-lS86QTo3*vkSp(&+imiUpDOqKPiAXZX6L&F6@&m)Dw(WY&P--h+YxP_cXH?6 zB1lfYR3zB!XP=^je=ylzQZ?IPiZ&bvM!qGb+e8Gj0(^o0PhQnaMO7#iQ5bK@iERc~ zE2+Hh5ViN|Wq*z>2KU#TulU1fWO;PsqMryKWbBcT%jIfw5m*uvqRDYhyEz-U@1X7Z z`FN2lgpO(n0i2*X%J3qCbWD0%IJ%oOBZgSPM5!i-x|mkt+mh6|960nA9xTjGLyOBz zxDCD^DiTf@s|>|h)pX`P_rs36qWD#Xx^oH8z-y+W`hmT0TV$xN*_t|&Te)cwwQ8IgKi*`Ty zVrXmqOMmzj{K%1#hv}?Ndnyl8e^0@!L0w1tmtwnw8roy$CuZuE;6hY*wsKa}#$Qp;CIe=}FDoc% zUKTG7o~9AL*&rDmKS`wg?bFdq+Bj5sH_EZrvVRNY=`FSF)Nk@b%%r4n77<@xIV*h7 zypO{VJ)BOQR-~DP-8A~UswR&+KQ9{TR)CfP#RYH)kTL1AP*p;`H@*bSbp)o^*wV?IVqjWntCM-^Ai3w+pU0&WE0oMfks5ty%!t;h z34aSi#kc;Fiapvp;Who}squv=P(Z%v)I@(OlQ? z0I4ez#J1?BU?4x35^i_IC{^q*oHMXQj9t=ChZ? z)^?cUJ24~dbNWoqO~BmU z?DnVe*Y8I|V%5T05>eFz)1j7SW3CH7>}8n7%Z(c+;zN!$h;JNV%Ur|KkQhuMLCq25|fBNzNUdU5Zx!S+k&H?dq?h3?lZ zb$l_Qid`c_h^@HwH5PqE#X_mXaQewT^-||xHec;wHVKyk zDhb!abUI1JH$*@Im{RslTB1%rW?MEcFh;SZ2_h1^i3i&QzmB>oyQAh{gGX`K^hzGu zu-&4m$$KGzLNQ6i=1}*7r!Vvmd-?qv(jHmKT&=PHA9c(FDq%wZf)Du3$PO?W-& zX)6p%^|66%x=$*eJC0bLGGsD7%8Xw)FhkLjBk-+PkU3JZ23QLye#bwfPU#rxUJjd< zmStms3d}oCrNke{MC%BiU|7sCDO1ykxfCn4DWs^$_^1`y4VxH93g7E4UCiRSG@tZe zU_}eo^`N#1=%AX@1HO$`K7V&$Jfkh~UqIZh+$|Wv2|xGZI{boDfM;!Ve3^1rXsJg1 z(e9S@vwDqIi(``-0j6xxPg_de+gut&7^kx?OMNjYRDX8Wvc5>*7yK{4 z9&b+Ze!;!W$LUAJQ>ISXqFZyo{sLUpxB7Am50TtvdhkFm%7x-98{?6lryz1F#umTK z3IP$0_{eNZ(0yc|r94H5FBZALJ*YfOG@KAI4B6lAcU4in^7Pjj6pNXU(TO=9^`0}o zqRbeEj`#ZTnaUs(*3_DFH{yq+i+mclQvwn|jdQ_`SAcSSZ+^lLb4`E6$9SLAjHhueOOg zV*K(8A&YuqDmq4`lJx{|MZuJ2y*o6Cw_#b$LBhV?@-mK}FMoxCe+tnU@+CdR%4?$F z26B@Wi#-jEf;-McrHfEZ600q|N4`4rb)qBcvhNKvh%|D?s&1eDDN{ryM|QPM&*>(f z8*(||{k$mUO!!rC<=V-~av6TyKV$eubHEBmIDE!gb6{C@j?|>(V^f~2>!YvY=5}=* zm$;}Dg>(U>;(yfxv3qA6o3sh(z&_#KT#7&*wQCQ~8tcPx05b(a@gh#>RH`P$l~B(& zubRBCX0%W*hEqR1YyMQ`kIS|{94C#=1FIn=ww$)fD~zT3%6vYvK0``X#<< zwNMmBAAnMq;!&cZXtU?uFgP zJ#E@OS<=>oA2zT^+m)MUN#lD>qwcycXkFlb&FgKXnY52|mlvTrnBhq6u^;k|0S@Bw zr+*(qza|gl^qI_N^K4DC)Qh#e) z_l=+`rU1luL3b$$JG722|HMgME7a43K!5uMK+&E!Qkem=nI=UOY(ppr*>Co*yaA8z zcb(_+4~HpQq145Qdc!KHzT?w;n$dHM*XnwSuRa{JgVSo3Bl5oA~Lv%9%`@HzVNvNPjve z*kxt(2T6_jDa;ly%L-v!6llZ1#~B_I^()rCZB}V1*SOgwOBo7LhIl@omU1N7m&zeQ z@x&PxFX9iQ*e(iEk)QcPJ-k$?A>xQCs$KO1BSZeirum!oMXWk5^c^jOs63YJ+59%xLeUy4uvhf4}W1MOc!C0 zf(35akNUDl^5Hnl!H(=7)!k!8rb+y~xzXP>(a(vsdt}2)CZqGA&nA&247(xY=pg&X zhT*CH$Tgb%5rvMt>qQbK|ngr+;mC!#EZSFD2?{d0#86^TZ?=38YFOn_7S`P3TXi!N#l>Bt`lbO-Od@w6Z_V!h>I`4J&H< zu6yB-UW{mLI*$H4+&+swRcF`DoDzKg585w<<ypBm9ps;-KqlQGWndwY5Kb83G%l z(IiD7lK+xm*HdOX1*T{akwQO2>bPfp4UwbEo7)URkLAe{0Sl}8jtaSZL0b>^Mt_?Q zqpCAZqmIq7qR5CC91+FCKp$3@{ZU)l^xRyUqrxf)eH!VGRxp?cZVp zwS~+*WR$-YJ{095k|hBmDI+Nfw^O5kuxbQ%*-Bchyvvd&ShDLXn#+G=X{Jp0>NIU| z=AGWPF6RTN(`fj!StL3Yg+e^>QO38mUVk9_liO1pBNRn2*4-dT`iUZRB###wtz zEF#;SqSSI(*y^u32h5{KVp>6?r>zsnxh+xeG=J#xSP7N_dx z6Kg#mO)hs>@teSxOZ~N{6NV)yz_eng_WZhGa3UrCRUVI^%w|scDsBBXX47)H47+I~ z*a3{*LkBRVyv2V7a3-EL8Qw`ipQ%l4bKJD1t#Lbg6&YKb{L$wcX$|S6Gk^_9*!pxj zvi5vj;ASlzE``bTdCo-^Ng?o8Eco)BpU|JsjeX|5SBPklQzO)}Y%)L9>n?!2%9hUr zX^WxI#`mb0=_h0tQSE{Ho-0fQRHx5g@KLXdt76W$wKEu=Ax183|MacohpU$8 zsGVRXg^z!6iG9y>;c851)sE8$`=H$U@y2hhB@V&gKN>4j@!p@MNy`&yOj6hV3`$h5 z@@VvC)d$|;jr=vz-+|0$=UjG{g);T`C&aRW z5cZdcg^x|$+0Y1n_OTbY*P}uIJ-wE-r*9eF=H?Z&J94aD6C&<#KJ_|1xj>!3Ikhjq zo;td>9WO0>-9K~_axz>opZ{Q!JM_R3Ry!&=tNmcxVoe|$3}T-DeYz_#QBra%W7Uwa zNSJ>LOI++afvc@RrDMyX9zmb4K}Li>)_d^lR_yASKL5{=ZXOGsqdN+97YD@=@o^D} z_Ck-c?5=w)8A4K1>`hefm+|`fl#h8e@jX#fuSnEC|1u#Erp3JNV5<| z)Z7Bg15Y=o^#67&H))WT*hF$1BaNr4nQtQm8Ax`th9!tJ3yY0A7v zViY-h^9Mfz*81cK(m2_VS*Py@d6q7=Uv^2bE<)7YK(Z`fHnTv~Y~%$IT(vS{eOvvP z`!SJFHZ;PoyC5jiJ$4`2m}Cx>3b20>MzQNb9h3aa1>#5#7N3heNxkNkrkTUMP41u29vBWE`=2_%gw%QiDtY1W2GP4U6&al}v9@NSgo67A*G$qu;~y{43H zzqg&;qaeKlQkInM$#h5g+xGZR)LH|8+4h4hvnaRz!4*BWTd`kmWILliMDBl$M6$zx zd+fQ8Q@Jd>8cjyM=())tTH9rVjW*v^&W`8M!m>YgK8HWLk;%IbC(#N*ww{c{)vVZV z^-x~oM{n^Iba~;uYvx`8m+?q2olaX+Bx9L+ogS2{>T5`P;B+=(u#%!7&8~s>Pu|d{Tk8 zxnq8{1h?lTT}SyRL#oc{`YmffM`1Qv7DdMXgK8_u+xQ2$Xu_)1To~@Wdu0H8IaaTJ zM@=xSXHG&y$f|6mb7y}{oP{G430Kd0z6Pgkm{FU?5Cji%(&vlgT@sMfp~1H73&Nq# z1^8JC7Ne&r4r|?)#41Vjq9XjG7xfRNba2N7Iuz-9pOlO(QUj3S!PX2pUJq=Bj_e_6?sZI*i1jov~|m z%)d=U3P(4Q9{uoGSyh=`xOr56SCfUKyt}XkvoibUHw!fkT-?ptE!SKCpp(U zE)<(|h(;*ZClo0cDlmm8Z4Kc4>_FT;>ruVb39oy|HY}N1?*hH>uAMP1B<}f#%ReBb znQe=z+g7t(yVGqW6K7WeY31+hXWyzgoz&*T3)V3;EX03?BBL!hYN#uplW#_9f5S5^ z`SlQ(eS^b3X?R4}hMoLFFtFHg=c#*VQTr+En=2+>Tiny9UVTS9GtvZ%oWH-anHxRc zw;%CqFRx+b)Lmu4=i$A3Wh{oojxk6VU%#YT))I%gfmN8mD8!P4+Pb^HZvs5R`M8>QvrV;{h^##A>m0Wof)tx-7M$!^@v_<1yqA`=@9(2KKNtagiYfWpO}0H0RrPx zXTCfwjfFUWSfO2gJG8$~5t`He?4KBXch;3ltYxw_w;z=0mnP%V5?T3Bv%TWkU8phy z9UUxR?5a`J1 zv;j7gFHf&*HjEgnmvhNK)j z5BuBqtClEHzQnREERsb+vDvKd{_5IQBrStYcp`&KgmpOkL@AAPNDLQ=k~Xo{9%IC?ebdrDzp<3TJi(m7nwGC|`?$V3ZFri4ngbUL!3b-aa! zCVitAtC8c9>Q8#8^e*K#w=HR!A@nu%Oqt(Ra%*NuIZLS!($$+6E8?1P=gna zh;8B}_?9pLj}dzk8uw8%4n2w{#KK+$>IsQ|*BU(@76EmmAz&KNl?-Gfj*JLBR#FdE zx6!Pyx)T!8K#wz!M&do_C7mGk1Q*a0=JkPOuBnIQ2_8Lhq#zVDNU#79$b?{yfjhfL z_=2EOP!dQ$Y+#C9;8(#y1y`0@Sd<4(0|QJ~Vl4$R385iA1@Q=B$(}K_5S~T=xRB6) z^PYl2g)|VFBK^T0fz?pUkSl19R)7U5AV!NU19J+^F`tBFU}10<2}2Q@w5DMALMsm? zNa}<1_MSc4WACnJMZ)%{)2iKL2UR^R>SGS?6rb4N*-z{_F0kmQJ@&R3w8^nhDwD8j zt92%$9fZuoU#wA?76Eie^OF{HvRCDQ^qlQKdlpw<`-8TurtFBlfBO?1e;Kvytoa|t zidkJw+pNq7byn49OmfMY@j9CgPyhP2zwP1wV_0oEJ}IUx3y6SL%g4jDHj@Z`M!L+!ox)^ciQXIgt)hkMouZJfG9eb|{UiM8 z^XJc5UVkp~iv`f91LGk>fEDEM-bS23>W2e6sq=DrQcMSbq7^OI~)P1u(~-i+9PC?8jnwRKUj2{1nysSYCZq*|vTNfD8UAfATwyqXT@ zWy^{$=i?^?AcydcT}2!C2<^*D&(_vt*nJ*ne)Fc7mY31`2G#VmsG;;ZOYnz*i4x4-Lofy z&5%|~o(bZvQ=SZP)m>~J!ZE=Of7qK`M_P#;@lH`=3q5hhbw&|{R$DzlULshHAF+=@^~XWG&89tRg)6fWGV#8UaCcNOL} z^!7Aq!W9FhvlK~xoK7^#%z&NUatA|rL`2E!%km-uB-fJ)i9L5*i=B9yu_zDJ+S80f zJmgPDDZ#DK+=<?*IYxyrNx6Fad1 z_&iJ#MH#1S9r$QXls|XtX z-w4Xi!H~^oCa9HzY2`Af?M^~JJj_0IhjIw@76uBGs;6-Ql;RN{Hp&O*MLn&Mo<+{q0QW3!5noo1ngwUvvr+XqJ-kdj||65XDz-a366Mg#$MrO5 zz#!NEMHzno9T>981=7ndBv0vUhlOm@{dZMGr4r+;L1{vToT1%OKh zuHGi>+T2-`Up|@6$Ky|T(F$!c?rq}etj*VnwO>q(y3W|`NU`&9>9(S^ zPG-W2?Pvj)-qUYI%Tbc3tw_nJ=|$mIv~ux4YAae)#7=FAK_DdB?Zj)4Vf(Epb? zdOLqwoH^f4xEk&+)OKhU3{tx76ig2xG`~j^ir(weQ>bl>cSX#x$KGcT9kGQ$sQYYv zMJ#PbpFM0vY=X<^yNvCKO~}-JuCXFkC}y48j#wkoq0rfq*dU^Kza=p}{jpoZpeI{e zZ%b?il8G%vM!6EkLsx`EL`OFW%PsC=IeH2al863EZ!&^xumT+-=1No`+W4VV{7g-e9O>6$ zT^{c#A7T&D@H_s+`^cIJB(=3%tU-sTFTZ;8$2CbV^kQd8PiLCH8*|^$%|ml^2lWT~ zv`vV`K~I>aTwPO}j)+g|c%S$qe0_h~?i|;`{q8!_QNOV(xkS0)tU=S^>M+t8-MP;j zwdv^k-E!;(eDo~}B(kO0iI&=QkG{K$v~=Ckk!T^L{yYoM>rH>!aUFqp zv8hK4j(S|4`~9mi%eG&(yZfs#OaJNa_4OU^2l`Bs$Fq@rU2Mp{FSA7l*){ltNPx>@CD2YVJ%M(D_PAcjsq>4a&-AZ}t{X$ghCChrs$X1}XJqy--2;g4z7CgB za>D^4VeowAjs${;7w0}(EB4mwed?96l!d$~=yBVut?ETq@;aa3&YORO*Ux``_XBn8 ze=eG8QkcWKDAJ>9Tn<4v&d-`eFGd_3RF}zdiU^wuRAE-w~y4UFI|mYs*Q|{B;5Fu*AHScq5hCtmW?(!29Mn!&8`i)&#v{V$F888xAN=knq93#pWWGbevKFZ5MEw=Jb1bP zmUszw@De&+z|~H8(RcDPK(ah#)wI}P$nu9U^y{174i5hSLq~tV+uJ$PNgCo;;WE%C z`ghvmJq)EncPtrsCreE^DaU!e$&h>qL;DBsfBAUy!|QT#GH>2ilh;*vmHtu;%iFmV z)+Z^wtB>Iz*bRkk@<*2|{v;1~Ih*D^_Us0G`|N-{XD`@~?2x^TPrClWerB)OFYGn@ zC;OGXWk>8Cd(VG9u;1A4><^Z+yg}JfHs|bw4VDTYRFg^0h79gXYp`N6q_0a)*=fm6 zt9i}N*ocj;W}{-tN_Ni1Y{FnBWGHOLW_evq$Hi&8Xw`9w8P=$V>`(URyrT7}uVxL@ zamku7&EB$hL?5oUpDQ+J7wj{;WLNA9`%=`^rndA$wDo`H!}G)6-ru4v67B68qX3*L ziOn!rC`|Vh=KZEY`mZT06=oeDH&iA!RhCEDlQ`NyAlbT*iwb8Ve z?S&y-x7&YVS=2>SHf&gp;p;eIP}7uagP!&by1XdZ>G&4I{{NL}PfJ+#efB+wpI)u) zylCR1;b`!~lW`o;T`UG&_l06oE*NQw3m|xmZ#-zP`Td_q&tDwfVlj9720i{rrK9af zT(=qllBwj$S=2-x<5MQt<5oEUN0Jg05~V z$KA4T{x}^}!*Y5CQI)65FS48DSVqj_M7WjlLb;ticgD8%j~=L7(RV=}@?Cn#QUpu3 z7G_3>qYQ|R1w&C}QFzfBBeM&!Mv-;qx-{IxsT7T|liq7^thhx1C-mSLzlLM@O*rb|aIU4S*YT+9c%<&( zp^KGx>-4O_8=~m-5FT?1I-(tO$Ykl3t?j5mywJC6So1& z0!R=tF*GqYG&C_WEig1EFfb=63NKA>WJFrWI3GVsGUEBF7?DB%uO8d%a(u?g0o4z#(k!!&XWG(9@UGr+d&t z(u~uDB#e`UY72iX;R^3*BDqYcvWcc})jTm4v{RDvH4 zj;I7f!9gr3{(-sBaDz(%tQ0PB42nw_O&f(i5^98h0k5EJ6}smMBTP;xg}{`+IzVC+ zmncmbQwT~!5|{x2Wg$gkL03|^f~qt+v7o7>N#K@gW)r~83?UP+VFuFGpl1bxbQ4Y} zPn3o$JU|pq4ND*^&ICyyDb67*MDV;zCeiC7=07rm}L53Xu zq|_(@#6}yqfmA33WzbU$vjIjFgaV{0Q4;dzRztd2Ou(fq_JGB@gSj9i(E`i`q@op& z0ALesC@%3tTS!L`kr)ES6htNlNCuFF9 zPk`A!wV?G8Xmt$Q{5a_Ii}!E-T>L!Gw)gw;UA~>?_WJo7x5|zID>($*gDYtV7dFBG zuB69s?f<~>-E{WH`v}}uRl12lKH^x(9>qalNbwz*4f%1*)2qeh-Q585JNK}U;I*R^ zD-*z#-vgKaINT3!7t_l{1a6#SO-CU)v#=}J_dsUHkZ;llS5D5R`5pj5$!^lZ!5t1A zZ~i)4mC3)T@}@99RDCtRqA)b-XBZXrm3iv^8kZj50wI5I_thrbp`E8TX<8YnO>nsS zr`n}%EwgIlpik;9Jv+xSTi>?nG+lmExX*qxhh*2*QgzmR%$hdUo4fyXkOsb3>r2?4 zuhzQu#c9M^n9f@Et$EK{@R+setm&9Fw_zU5t9Ib4W0dPrU$W;bhKqOnavt|pTk{yB zyknG&GD?4YNMyK8JD7Dh9i~g&P0z(3BzR|Xa<1MA8_ zb=+5D9YaDp;wg_)*AU+)>j11Ki}lIk!ysLKh#lKKMEB|=`yqSvITY_iNYd4Z$dQn$ z7m>zx9O;Th`o%gJdrvmjnWQa_)gz|8I*~}7Y+HXO%SZf#6^r4qZ6S<3?Z$+h*vRY9 zwB#B&;)aKABFvhWSTn+_4!3}b>;ThptVcN3A;%^{v2H2WBNXe9VjZDaw-l>5#kFOG zRn@Yp#yYnDW+vfju0>aGk*1LjTf`2+wd|`t`+^72ViT+zrGrV@w+sna5yHEfIvA;a zHz9xFF*Myc9Zb`n8xgV}8}Z#-9gI~Gwy}(~aW_*3BbA3I*A{`Vjp~<14m`F5^Rc5! zm{RXl-(vQ$L_Zeo$Lc2UVDN@rA3KS3Lw7K9Lqir~ zv_fEQ%!5)K6@oG$D2W0S2owrJ{xs$h0x&2D)37LDQA8~udkkoqRqmJb;)_c^JII+-&uVct4GG+jHNvwoRx;lJW( zoh`kV3bih?e?Ni}ne8{5uP?7~Sp>_obm{K%{PBGAkQZ6C-rl(UY2(Vvtb9tVFvvudoHXgr=`R$At74iuY@(b^F;JPi zH<)3#&2HVU%!`{%zI(*)0QXz$ppeDeFIiQ&;v!4S+qHYKPm5KS?ocZv^A4Ae;{q6e z6u`i?8%jWjGZ{#5 zDCyA152d5}bTJQFN3gtH;C>9<;iRO0p#TRZ(}BRxNfHQPDlr+NwphfY7xW?CLFWii z>6TTN@BZP5kqw4Mh%(ie026$m1nH`Q7LHvqkm2M#eg}l%1JzS7{kWFRTfN-hw?I97 z5|R6kipa4sR74KYdCU*M=i&rBXKjAX-yg^{s0MQbfs{uxKEfV3>v;WaU$)-AmHR~TM@ zub1$8U-}=|>#J$5^-G>xGWOwY?6A}XY7V!&IehTusKT3F%A3!F+U}z0hT9j5*TSq5D z%R(${SY5G}NZ8;%U~3~GU5Kzc5mO9_L{bSWOKY3@o_F))+_&GozkAPl&uIwZ@mv<7 z^@0=NWEMgmVrc&oh(-!6wGc&+fwO4MMDxIWU}!suaIoej1t3V~%YP33* ztHBzyHE6Xg*MfCuYtd?0t_K^?)}d9itO6U+)}w7ksVkYBYVKL-{qY zMdOrQ7viQ~holti-Y4QSjxR{^Mu??BVDR6MHc&1k$l zZv|~=Eoe%~F0dPI9~xQ9_kg`<`_YuncF=)#0F8|2`@nuQ%#~D%1K=PUUQ1Lf?*xa? zPNJ!dUEnZU9~za;kAQBpel%I22OLF{|8Plu3>-(3|74$DZ~}jA6ip73(fiOYp~-sv z;1q4J4NdMG0H?uV2;s?GfiTDN3>b|el&VvP*r8q+CYlE_kOMWu6c~%4yiGgC!3A&; zTmqN5klr>OLtVeVyMjjK^q|v&PUktl=JcC$ywhb)mpQ%Vi+RWP82(<>UJ~o-4@%+c z3X13Qb6E^s@AQ9NCEFT76TmdK6JQ#b(XpOa#V}H-9h>;;G!Y*68kRB_c65B@#Wikz z)yHzD&bvZhA_y#}fIh}`F4xHx@=IF`cYo;s{O9r?uJaBKSjgTspuO0~WgkrAG7VO7 zSp|bQ1@%F23UtQsX+biWBO3C;r?;aJ7TV|d@9Q!esxH|POJf!-m%kV#V#NvGjD!+(bLYynV) z7J(ALC^hD!m4X$Z9IOJe0MpSJhsLZkhMQFZm7BR{3^HSK8Dq)RbcJnaALuTOAe#^5 zL?*Q{hV6ecC<7}&1z^V72Cxxq0WuOp(CTCMszZk|4~zj|N{M=v{FU)o3v|6c2;voYRytjJ=#|69?y7@y848jbO7v!bz>mAp_i9<%CUMH4Z*c~8+~ z%$_xcm_45=F!QLu%WDNbd?@hqV}VZ(3Vfa}@a=SZf$z5p{J6v3L_HGqNUZ<^r(FR5 zCH$B0U&4P$M%NhD+|{7PR|#Jwe3kH3!dK}Cz%L2EB>a+&0qmW6V>bJ+xW=D1;XnM% u2C52WZe(+Ga%Ev{3T19&Z(?c+b97;Hba--QW(qMmFg7(e3MC~)Peuym0d>m& diff --git a/zklayer-whitepaper.tex b/zklayer-whitepaper.tex index 0fb9c8f..5eed674 100644 --- a/zklayer-whitepaper.tex +++ b/zklayer-whitepaper.tex @@ -94,7 +94,7 @@ \subsection{Background in AI and Web3} This subsection provides a brief overview of AI and Web3. -\subsubsection{Artificial Intelligence (AI)} +\subsubsection{Artificial Intelligence (AI)} Artificial Intelligence (AI) stands at the forefront of modern technological advancements, revolutionizing industries and reshaping the way we interact with technology. With its ability to mimic human cognitive functions, AI enables machines to learn from data, adapt to new inputs, and perform tasks that traditionally required human intelligence. From personalized recommendation systems to autonomous vehicles, AI applications permeate various aspects of our daily lives, offering solutions to complex problems and unlocking new possibilities for innovation. @@ -478,7 +478,7 @@ \section{Current Execution and Deployment} \footnotesize \begin{tabular}{|>{\raggedright\arraybackslash}p{1.9cm}>{\centering\arraybackslash}p{2.1cm}>{\centering\arraybackslash}p{1.3cm}>{\centering\arraybackslash}p{1.7cm}|} \hline -\textbf{8 Cores, 32 GB RAM, CUDA Accelerator} & \textbf{10 Cores, 32 GB RAM, Metal Accelerator} & \textbf{EZKL's Lilith} & \textbf{64 Cores, 128 GB RAM} \\ +\multicolumn{4}{|c|}{\textbf{Benchmarks using 8 Cores, 32 GB RAM, CUDA Accelerator}} \\ \hline BENCHMARK & \multicolumn{1}{c}{EZKL} & \multicolumn{1}{c}{RISC0} & \multicolumn{1}{c|}{ORION} \\ \hline @@ -664,7 +664,7 @@ \subsection{Potential Usages of ZKLayer} The significance of responsible AI has come to the forefront in recent years, especially following the startling revelations about ChatGPT, Sora, and other AI models. These incidents have prompted widespread discussions among people and governments, raising concerns about the future implications of AI. With the increasing reliance on AI for decision-making and various tasks, there is growing apprehension about the potential misuse of AI by companies and governments. Ensuring the correctness and reliability of AI systems becomes crucial in this context. While one simplistic solution may involve making all AI models publicly accessible for scrutiny, this approach could deter companies from investing in products that would be disclosed. Many prefer to safeguard the details of their models as intellectual property. Responsible AI emerges as a promising solution to address these concerns comprehensively. It encompasses principles and practices aimed at fostering ethical and accountable development, deployment, and use of AI systems, thereby promoting transparency, fairness, and trustworthiness in AI technologies. -Responsible AI refers to the ethical and accountable development, deployment, and use of artificial intelligence systems. It encompasses principles and practices aimed at ensuring AI systems operate in a manner that respects human rights, diversity, fairness, transparency, and privacy, while also minimizing potential biases and unintended consequences. Responsible AI involves robust governance frameworks, clear guidelines for ethical decision-making, ongoing monitoring and evaluation, and meaningful engagement with stakeholders throughout the AI lifecycle. By prioritizing responsible AI practices, organizations and developers can build trust with users, mitigate risks, and maximize the societal benefits of AI technologies. +Responsible AI involves robust governance frameworks, clear guidelines for ethical decision-making, ongoing monitoring and evaluation, and meaningful engagement with stakeholders throughout the AI lifecycle. By prioritizing responsible AI practices, organizations and developers can build trust with users, mitigate risks, and maximize the societal benefits of AI technologies. ZKML and other privacy-preserving machine learning (PPML) technologies hold the potential to fulfill various objectives of responsible AI. For example, social networks such as Twitter, YouTube, Instagram, and others utilize AI models to curate content for their users. However, they have faced accusations that these AI models do not exhibit fair behavior across different user groups. For instance, there have been discussions regarding YouTube's algorithm potentially discriminating against minority creators~\cite{YoutubeAlgorithmHackernoon}. Additionally, Facebook's algorithms have been criticized for promoting hate speech and toxic content~\cite{FacebookAlgorithmPeoplesDispatch}. Twitter has even acknowledged bias in its algorithm, particularly regarding right-wing politicians and news outlets, which can impact national policies~\cite{TwitterBiasTheGuardian}.