From 169382407d5fd50a084865191cb16966cdfdb235 Mon Sep 17 00:00:00 2001 From: rubberhead Date: Mon, 29 Jan 2024 21:19:03 +0000 Subject: [PATCH] preparing for feb 1st --- tex/misc/w15_slides.pdf | Bin 0 -> 94293 bytes tex/misc/w15_slides.tex | 270 ++++++++++++++++++++++++++++++++++++++++ 2 files changed, 270 insertions(+) create mode 100644 tex/misc/w15_slides.pdf create mode 100644 tex/misc/w15_slides.tex diff --git a/tex/misc/w15_slides.pdf b/tex/misc/w15_slides.pdf new file mode 100644 index 0000000000000000000000000000000000000000..16cd94fe429a6552ff12010fac0d2f489f0231f0 GIT binary patch literal 94293 zcmb??V|1n4wr!G%ZQDu3HY&Dl+qP{xsn|}%wr$(2*f0CwzH{%{?Y#Y7d*58`TXTKu z&uVS;F?#P~j7cIZC`?UH!wg9>JwLDv$;5(Bhi{{A4#~v@Nh@h&ZQ^K(&&I%p|Mv@$ zR@lta(a0X3R@hR{(MZt9z{b!Bl7|P>F{hGPmGZ@XvTbLB&v?EsU#Z7cpgOa%yDaMb4@0qcqls)i_%a#Lmcl>GB$- zk0(DedB%$Zw*W;RXHe+mxw%l2}|j!^^WY9%7Pdfml?OI;88lDezK*D0`t%&@zG zLR}E8l6H!K52mnH#y*Lpt)d(FqSPVeId~)tq08x8z^nP%6W%*}QxXf_W4p<2#qGV; zd!I2el$Qk3m`s*<^5%hWlRms!`~bjM`QCnE>qJ5wSlY zakgb@28VX86W&7x>GJ~SKitW-$X<$#qc7Jg8i2vzS{OHj@UwwrL(^8>z<*KAq)sar zmtS4MIM4=nyqiTv-bipqOGZ5j<9a!q1a#D)M(cnaeMFC8K${YUicuzI6ZxL!;)0n{ zp2AS}1Ufm^Ioz><`Ib|qa}?Y-IhNtqhF<%c@-ddtC$I^P@$$x=63?4c72cy$2>S-A zqs!`%4WGJwa*-lU8s$W}=O`K0h9SnTYaJ`t_`a6-=-e{w2wvuR?JLNS98t9sZ)LZ{ zQ!+$MdS@HziD0)54c;(`&(7y&C*!L_ZS;uvS45qsOK&DDuct^6^fL2`IXVqrmEIKM zbQHkH!E?mUsFpIPXwW`Us zOp0Y)*T3OHR><~`neTS8vA?QfPn6^B>*%n2%uVb@pL@8EBi#x{o#kb{SLt!5Wg}c< zW2eR!z6W!v%83J}fPW}{m!zPw{$#pXGV17bZx$vr7#uQ%X1Hif?p05%Lp*e|Vd;b3W9CK{8Q*5bxd}rA;wzJ(1`^ zAo4`*|5RG0w5&#m(``qcVVmZMD&)32tU=GZWP5K?CI{PynS*7KK>uO#+U^;6NjA86 zf@?3#Ao~K@K;KIYBD{?LQ!T1WufYJugB*c@f}{DHeM>NTgAButt0+HWZdeccv>+`G zg$Hag9S6yjY3{37W7HL{|BaFKcj6DZB9=mAy&%iL<5_J~EF$bi&^Qos+TW)43iL!} zN5jHiBGFfR?~5ySC0{`Z$omz95y+B+Ap1Nw{-Nl`g2VddbY#Mj(^^2{GsUy7_?gMA z@#{)U5xrxYWsB|u02bj7YP6b`9{56om5E$pLD{8?)pfJYb_(FQuM|V6bPOv>KTF1@ z$5QHwklOwpgojCTOK?Zy1s$1ZT;qY4UZ|(apewL-P2&MaAxVpP~Q|em)#!1?d@Q*tOT7-P2q9X%qjBmD!T2*F2PA|9mFTi(8(; z-ht}aaWRGwo03^bku;^1bfiRZq`=`+2V}=Jknzp0hT3}HYxl8zj~~U zLqe)xaq)CZeVRX*5r(-nI|SlwxL<{GTum84s&E$Q(3vIalF%_Vz7}!tg1%ox!iw{p zGO=LKxMlq)f0YcI113_wDxvRoiu(@Z+(!BB-vf}Ij`iOoke-o+?k}^UvV_AL3w-C9 z%JzJm@efcqL}GV~je@=Lf>NuERb2FVRQ9Cd^n!w$t|=Pr0z;DM@2pYW27apNG|pXK ze(@-|`%4(y>KGN!i=01Y35nqp5RkI3W9`Jg5ItFi3;u3nF|4oeqmP?lEfg)bR9s*v zelC-anfq;&x!3oSu{Q`jNMA5eEnmFSMQmIp4vU=8HY zbwpADFOJb#MTKR-X?iJ;EU%coB~$4bLZ~3o?OSL7qY}hictCf^c4En%ab!`13TRJz zWCZ&&0E4HICkjN(2#xUF@yl6Rc^t~V4m;owiffB@{1xd~bOtQ)4HBXgtbrFHVN6IB zlCZ#zSr*Eg$W?GxN1T(_5PL_mUzcnLSmV%Tj0WR)NA(IEH*W1iWEh#%y>q_dQbY-!Q(PYGFg16y5kDe>+HhmiR|5_vhxf?3 zgsdHHLW8 z$D{2KtK`VhlSNa!(>&YZ!-*Bb-ii9ecHsp#O@X$PBza0b_gE+Ry2rX_l)Zm` zGdrnU?CBUrGR!IO*>}Sc%?UqDeits&@mtgKRMfni&HGoXzuU(Wmw)hQn3?+C!%MA# zO1obuz%g+!+@t=d8@tClDkz#R1>wlZZ&XCCB7`0KJ8;oHBmR%ndRqj($tm9RQEQcy z*8!a|ml!q2WZvp6VTxo3WL$v^S42{5oNYbm3lS_QvkJCZs7*lyF;ZJw5ZMSh%YE+_ zw=VEN_**L-)F+gQkVRP@8ldb+iTaVXBD~fLYiP9W--g~cojz^tHT@M74^H%o#;*ZN z%SKW@8qTJKsVKfEc7{FYbv>KcWKm`qRlO?0CCkoGEY%rF3vy~KMaUO^XnD5VHwp02 z*zoj@BzCy|5+-WO=cC4ShmB3a$_wSI;5~37{Y15C1 zcy4?!anr7n=q|O!icni=TBD)G(M%1`3M!e3vb`+G=oJ|Jfg)i50%~kE=aN#{v@+y` zk$rdkJyt$9UNha9KyMI)t~vkdrXBMD9Tv`yO$Z=me{bL zXnG%=L#4&}_rbi{>X0()irZkv+RcXmiDoW~bZ538F}p3p42~r~j9d5&zRU6k23<7W zY1}T-I7EX2^$8~Wk_}h`e(ZIt`n(`x^(3{MY6H3nWrPs1%kh$;MDL0~>|v2mBxSr_YH&Y)$EOh64=Y4TjH2>> zzcCPzSTSgqRTO3-2_LaBaM?r~9?zV+KLq7o$DoQ)apn6XOqOd>@Q3TD!63>BlbV+1 z2ExnMVk${LH)3|IwUo4&&7@dqWV1-JS}xHjRv_SpNgxzLL?!~l7!}FE!!AxsbDz{? z32^*yec(DGvYSX*<(e8sZ6F8=`31{GD6Naar-o3Z@9>qP$7R1#G@}$qhu7oY68fYsVMLJV&OHJ^ z8JmnyH2Ac`cA*`pu`yqK4a4<_g5Y@8x5%CEdq<+S)YcT?j7?+uLQ*AEkBdlLMcp>n z{)U_a`oosFcPWttQ^;r4470M$Zt0ZEM}vddRQWVOfLbyyzjLuSMlw0IpHUeD(#O$n zhhEQ0MWfkU(MTS{^{4pI%+RGN|rQ^hj3kMt>(+0p`y4Sn_>56RXsVjZZZm zAJ-L^ER+o@#Mt!OAL9d@f+nFqV~dnoLNs*X$lBIUS+Z5%GeZC1>YvJq>cj5(BS{Ou z(NU1yh!>3~r+KKEzd>Z&)bag(05-F!QQ>Lrm*2;s$lU?PDaHXewErVXL;jJZjeFSM z&1*q!Pr42fnBHWp<}jOVE;;W9IMEP&rIB23bk4u9p4}1H1ELC9%BEI<--AR6A@fs& z50fT&zv-Ba`?yN$Ot|UQn*~i%D8+qk(iPJQtcf;VpT%UxeUPwYVS?_}>*j^09Pi+^ zK82xA-hbE7lvQRgF+YK8@KPVz$EcER=JniYv?yM3+cra>W3->$(=99>AS#og_X@|T zs9jGT#Yjm-fZnuUFtlU~85A)PpjK7gzE;z@^^vPBZ~logALuE)&Z&FDW*{FOU$cJj$ zz@a0?571GM0Cv|qtCMkG%lweF*e!(`%wZBy*AKi^R7i9eDlSfHW<;ikO;svz%*d_H ztz?UbT(^|_KpnFDUFnyboP)l93y)&&q`iMFo0oYhZbq58D5A{DgsN7s$G&;dEqoPF zux@QE{g@qlLN5yO<$*iy2~|3`tLd_T22Y#iXpUS_c$0u)BW{(dYE&a!FAA0CS(rkZ zH`$FS!E5z`ctOfu#(%2AB0-LXAI2t|HuGq?1pF2Ii722a9%N)z;d-fm^x_*8_RG=2 z+`;04yV=t}L#n$UolYT_M>kb|pcA*Dd78sED&3gi-TbTaGfObK{%q6hDnC$rr4^3}<@6J# z_yVFp&U#}&U$dFi@4yPoRbT8k{8(%3=ZAx;Wp(W(Y{Q1DE7X^Wv8zL)TE<^isoviA z>q0|XN~$j!qy=Nvo*!=LNjbIsFZUAxP)?X!ctEB%ZXeCd9n%7G3zGzM8QuBjZRHb! z+0alPpf#F0lWUKy8DQ6*z8h@pA&Wk=;l)93WoUJGP7PYKBnQ^v35OJByoK;OxGWbO*1E2VR)M7KLt|yc!96{&fp>< zx&ZShVXpp!HU8CCE4tYl;nT|Kn=3e4LDEX&)6>!YQRT9CaQv!!vHw>MjGl#&{;!hC zg}Ri@ItzTqnaXvlCV9L7tXMaAYzzl?gBbkL^x}=41+Bl(`i5?Y^sLVoE2di1MS&Vy zMujZ6Y6K~>rw!ZNG?(ZmhKVQBew550r(*bxeEAbQ5|H;MFay6iU1GAKd=zQT$bLqw zlvoLh!gs2fsXZSc`R#c?5wvMIU`3d?o6Hqi-~&b|^AM}0WR zyFCEYZH5x?pV)v}?LD%Dud{SN?Zt!nmCWfhB@w-=NZrr@33~_Znrk96fnP011% z1~c--K%|Yr2nHi$Yld7I$-g}@`~=^(O*7DQWEgMGna)=0<_~j4mR0GgCYQT`t@nGj z2)E5e@nYm+Ajue~qXNO!{XRRC(Bp`jlG&4q0!I{C2v6D^Pk~lsSb5jO(&LhZ6{-qR8mR?@?8wYXg6`y3DbW44a1Z#&t4Qv_Ek_f=(D9z+g zKgp)J6V%@kJx2=wt(}w3b`g8%JC28iUq!tPBm#Ce(^VCpu8fR_f%A!WGra2LjAwfX zzYfx1saJdN+E&e+Nm|2iF4SFgVKY5A~fY!KQ>#>=gsKQX-~64Eia^5pJM;bZoH-RQAnL^JFYd8C!90=Ky(5+%frQH z8nbFr-*srhhbUtB(Z%Ogj4s%S3}zzVFpq<+(U0#*59(r195+#CIgjAXvRCjiIMSR! zG+@jt7?@zhuK&0Vo{*H#&e~d%X(~ACp7`I!2 z1sfe-nQ*kl^Tx-wKddA|3A8(_ZCpf%@4eiSL~Y-Aft`!P*~AI z(}R%tyB&|$wj0g^G=wwywI+t-2QFYwi`@Y@5TYrbM4)FQyLP1#B->@y*4R8S=sg{? zqFuMmiO5^LZW6hRcs>JuVaSK`_ntqXj8ze zkz6yK30`aKqE*%cksH=Rk*c;7T(Ka)^0f-w`sgHPpo&_9B(#d({z}?4qfp9;736Ai zb$NzDBjNEVB;UpVcp!$Az*59;5=Vc6kbXD(IB|1XCDN;U2QKAqI7^g(n|3!`AVSLh zn|GRs(=|{{?15p;w@wfX9zMpPz4<91r!b31^&NtOS5ZDT#c9|tF4lV>?hOZxTlE0_gJQY4iutu_=y7T-iN**Z7I>ODX^XjTj zf0jiTn-iA}7ME3&hs&cBQi>}jmXZI~SC-gH$)zo&6}bbVl=Qd37$SV?RRzY261tvI z1=hii*oGoP@MJ>m88Sfdbffa8jTHRj3%nSi>jSZCDSsO(+MoMSgH}!h8&*EUoF(KZ zf*WasGgsqP6o`;*D#X9zjL5(}X`wyO$L3SkQ(9;xbRK>X-TnRLnmcr+1N!n&&$;E} za`Xy!<@tG#b;a9p``+Zz`T1mx3=~A_S0`zJK+c5fhd4wiyQ>N;o(?=pEKBOg0Fk%> zp6COxrbz(#Cv?Wb@Mk87k@2tc)xtka&{vg;d?FB98#rt;p2;ks)MQtLG=vE(J&#yg zaF&#U_vNe&3Lc;2yEAr+*d7K{KVsYR`-7Nxa$r0!siTQe4TCDJ-ya@GQc%!!TwoBz z%)TxadrR-d%wm{u_EV6Ha3cOZUi!hVH1LjBOh2uWoDBS1`V=@CA#yqb!YDDR8hZbj#q_2IFJw`6hB*dF#@57c=X6VIy;is3m$c)w+8a` z)Nmp}5O0H`c_os(KU0BiSJgWPg78eeAu$qC4JDduc zFnH)2fMRZRkTCEu&-E@HATtuam@3BdJ~`oj2Vmq5(cbIdEKps&cS>M5rpn4(ArYJ8 zPJ0iOzZG2AjviEDn<4%?zRqWSc5wfKU4?FSR5T`2eg_y=YxLb`h&>(I$%I|6L?pC1 zp+P8~Nj(xrom=ye7|=s4@;WSHiPuSUshgX7s>Omr%Y&Ti`q`%q(D@QnJl^H%6PnY- z&L0-2IeJ(86PJXGHd85_AxKJ6q41`L2m;-#L|If16m^-ZmKH^>0B81X|AzO`8d^3zM(*Kvy-a&0NH-DnC7H8=JEw_@MNHo2zbY9=QPt%!OIGYf%11!NNjZ zt9vd@&7zm>oh~wc&D$tsv7F6yw@6}xPYi$~a=lIZkYbW>Wb@MwF!=|i^du_$HbPRM zh%6C4^wi=0+?`T-mJEsV^n>#BL2obZT11XCz zAE3SS+m*HuOLp+EBO6112vCZ#X-wP@dNvwgX8+vf)Z0b#S|T*tSOaO&ngfv70r@Ch z@Nmj{^q)~bBxSsL-Th?jUs$6|acTNY9)wyt0U_%%BGkGQ%r>b`F)E~1)RVJSB&#E= zm25cXp&KB!e~UgGH#I3WnxB?EkzIthVoquxRB!s!6hJRPHCcHeEBi6B`;Xpts0t-t z5v8YTz|=RCo#IwDSg{&e=fp(wEPvD5AWEi*pwg2}~&Arz{Z|8$<-Rw6W#FtaY0%HN^xRPms~`lET3m&wM(UPjCvC4^jkm8un@(u+{5Nax1C{ zDBrw#=rwUs^!ZfhBdGRH;8>~Apb#?kZe&TzX$;G%k=GkQjmxN<>Qu&SQHTWl^NLd1 z#?j#-%GF%)I#YA|{EJx!@P4Nm{d`?>clWzlo_Q70&TagMDtrmr+1p=c6U4`~tKnso zSJ!zKk_SBKK8m{oZ~WVb!T0wo`?GKyn63WXf;+%8cH_@?Y4Pms?j~Ji+YUf*$!wsI zPqIBHR`!-5xs_PIAeAEROUlF1WJ@l!hjoAK!&`-H4PQfjU+tVz>~5p)Au$ZJrH`w0 zFs02G>n2?;snSGWLRk!0i*hLk#R_jr0H)vPT?-2(?ONZrdYsGeE;kt4*(8UzBabHw z1&Zy9=Q%%gO7fW?>J)}q_|R^8vWJt}F0#dqoom!~6ml@zq5`cB%Y6Zp-Dg_z@G^+m z6-|FZ?a*a|Vq&>ZiUR=enk`T4xrsv#**?ebAm zgjQ-i)Q=H3DEBWi!Khf`%M~QgMkOTTI-=MMzYDfRt-b<(H?bIH*!5w^j{ES(j^D&i zkO#Tp71{}WAh&@Bh0Z~s5u{`yB1{sJE_1e%LUm~#K}h05Y#knk;g7SBFZhE_xR%(3 zg7Sv{R#AhF<0h#d*<}_-jeo+U&hqgevmilBI`nLBy+1i6Gv*D;6WBj_0{c=fv`mKraD!@Rqi!1m5<`3sNCgrq zSO@Dy_h#^p1U9ylkjs45ila1FIA~tu15X9&8h{GF01qRm4`4t~6V)MK(lIL9**)b_ zsaaYSfytK3@e8%afB($Q?4|Hz<9CZl;4`$>wfmlwF`(;r3-)h;eqWE*N$#>4;? z?@I==00|K((JzG(?f@=JSt_`$;w!>mI7~>={?$*YffFth)w^EIj~9ZWYjgyS2F23T z5uybmX~j@nhbSaWk()x^q}YD9cV40sQxk_WHlZVV_+k?kM(>bul{la{HF4u5GjzNv zlwos@oNa!UX*H|Ifj9J!@CK%>-=Lmqv| zOh$a`fN#o_VDKZN@zeOuNaiB{(W%8x?!~?9UklZ;Zf%P)c2rDunO`b0m$FyI8n8!R zU4{R2h&sXJ6<5#wT`hZ+*C{h>lc@+Bdbre6Z9=y(?-ka(qI@)|?@ql8{E1ehOxfmZDX8B@F!26PWI~OR9%Cw4F zs82~-#2_&%cb*S44M|VZu(y#x^gxSMcJnnYH9G6}Y}yHrIo>orF93aOousTW-(c+_ zIzVW|odEWxcI`E~hoUxsgDf@9QJ6vV2+%T9OD>%ar4Cvswo*)w=p5biqcXyxD`A`^ShXP?e&-rz&6$I=%&d;mMjBpoh`EJv#EF(n~_)9JmP{(jj?Y5C7#k^p2k5#z9 z^0uxIb?=7OFIH!aOzt+TT8xXikQXzKg>tluQ`(OWgU&cLI!P?MGYFpz&ZVp+y(DtVt!X^+!Y%o4RX_A>PS+!3 ztThzqiEAx)2+Ec_tj_Z9qXlL)uOwMn9#~#to3heY1HWI|mt?GU%syQ7ge@8Ep_ljd zvb(6fs|JtD>Np;tTMW3+)qq02vg?YeDH&gnXk59I1I4bnAN8tIbj;z)sTeto9|Aam z+kZBnjSqzk&vJd|^8t-9zG;5G*&7ifKi*1>m7Nc3V;fm*ul{};McZS4$KQA_#2e84 z@W^%N;#+{xSnFe>cPfeDD|QyOI9+Yd2quFYS;FZx_Bi7Atp z#a^%Kzsv=7xf6Cv=>-PTm$`7g(nIq_S3?x`&Z-GW78uLz0D&T!1wSny?S&i-B4|rr zm!!F3f48ANNWX)lW?G>h$vrtuO|dKRVMEKhRIQQ)Etm?6jTfH^D;QOiw<2vaw6|em zM?{pI<&^4#cWfbvhTKaFxmwf+1}vV<*P0pq>&4~oH_`&nzy`&i>`g`TFguP6>xO$KgS z(lnb7be`&(%;9^|UGVdun?j8kg&T14CMm*zG!?ZCdc$qYVZNqD(e92EBff}^=NM$f zxxe4eHjzP!A=P_Yy=yorxc7b$^Z3tTT6S0BH=Lz8u^!e`3@XFHSl%!P zNRC~u@dQG@S2jrJ5O6AQ$xSNH%$&xC!_wpjIrX=*7oP-OT3Rvhr`c7s)`nuJ2c7UZ z>BNS6Jis_Fy$bqBEUtboMqDtmguw4Gx1cbZ$}T6@vNEHd$wRecrg|IsYt5zLPb^0`QLiU%PON{H${-a?EE4y zJ?z7VlmU}U9Pc8K)1BGB7bMOhVli{)==6JQsN8#RIU1>4W!~Uu%3d-deD_cM0^U%|ht~JZ0{{`b`fI z!G&ZweW(~%?hf{J8hW*7y(Sd8;EXds%fI}<(K#jeoGqqSncnElfceJhR&xAU)H@zZ zJ_T^oc;UPz5ZCp+1FE!ifu@^zGbee=T9@)I0tI_6|lhEcEB z$-_l*5k61KB>n61r7H;MaxZOGSo8iTR z0ZH}ohq3hl%$UAmDNoh=7;$504Z((jiRbZinr!~D9XSOtcyIfy@0-=~ZajgCy)Pa< zDQj$06bRH*al9;cYi8!R@0ax8^<=ideQ~PBaJMoy3Z9Sf(bX?^pwBW4_l1ej77wJM zR(nQscBI$G=2wGKdnzr~!f`p3dU^`+|*rTW#^i}?MGjdXg4i2@DUHf#I*_pz9vjn z)XaFANeYMUOX*Rgp^qS$oKaprOV3aC*>RjYle7GsOzz(E*~{mICcSX(`wt~(37z5C zq{^5VM-n!~v2w~AeEJ7$&OV8IwYNy!Zf1*A)K@nkUNa0$MP|xy=Qg9fMV}^HO6PurKd&kv=T%PiSk`?30{87!cm?P8VH1LxgVFhZ8s_bft6X5 za5a)6o9UHBfR#pG|9U<-$)ei|iKr(Pf&^t;z>SoZffQy>ztH&3%M!>~E?Qz>GnlbA z+z66_qv=%|GQr5xcxa>X?pVd@;6}Z?d9j8g+mx9?LZKXY+L~z2BXu0XEV^g5h*`sN zMInc{5#0b){Jh-mw_GHu?3|`FmuE!iMrd%mz<`r_b& zsNky?6bDOMM0Vm3VqM?~ku2O*{7^4bi>I1ev=hP;>l)?NyRAo@3)dY_st?<9GGa81l8al6v=vJfEnd zVpfm8RUI$jzr=Wsx`TK#U_XaqNdz{99;(}7key>R4gMI1&?gKG3@_RbRk)6l$yNoH z3JZ$}h(Qi52bGNTA6rc%uUR6^g`Y-Qh>~C$1aBm zH>E~?P#~2iU%IL&nkg+UjO~c!3>l{b<+dn{12|pl9mO2&3Fv@(v z-WGgMb4FUUajvRj?g&T#ZSZVYmRT-_^7I?yj{LN?cFb>CKDOC-1D%FoFgzusfK$W8 zbR)xvU%zF0-C+dywRW`0A5)!r;ud{wa`h@*4ZnS$&)_2fF)37Zs1--c8L<6;j#ffB zUPYXTF(7f9LmO+7 zdNlminO#kbjau1u?tQH7C_}p{*tcag*O9Js?}*@O%@};V8cqSFx%&0XSIKd+aOXxK zoJ{7qb+W2UJcPH}Q{QV{8PCwl3qO-_xy`R#&9fS#BsArN5hpbQeb) z+<)jHHK}T%DzP{>?POOi`b;jm{NT-pifMJc3vbQwc}9r|K+X4upr%Yq#@p;@ThFI; zl2N%*KC6GMFK1t&rZw^6)u9bzE#C4u&&j#3_m=iUbMRM6e6#unC&R?;=YM(N?&QQGQU(98Lg93D8^f*Toqm;4&w2~Wk@D`jvZYIe z6KEE1ql~wxa+|ROL9h8@=G~FXt>#srr|xg7;dnMu@vX~p+m2gfbA7Q%EVXhcCEg9k z_z~3qZl{#tex;?>k|j0DI6;j*V*<54qri16u}SmE@FV_N;*d72>mM7dH!WOC&hEvf zQ;UHjKK51?(N!zn<|*gy+y;UWE7i;(t)_t6B;^6XCc!~egk5Fm#?T!nvlQ%M{zv0> zrC;ppmr9XZM4T;GhUa9!Q)FEep#{pUJ2|BlL7k=klxs`$&aG3$?pT&3POYR+wy(gt_iWU z4f`T2UE^SA>vn`#+J_HmGrBB4>Yl$JR;PC9e}w;S!z;Ge6VIeKlDkFrFci;(N)=bD z8x{#7@jH+NDOpmLL2u-b%^O_J{?=rRLg+H(P4rsHR!1&5C-ukbU_nlX!S_;6r`c-M z_jaePjW-sJy4z=WySZw#YTmosvo?~S;EKO5n;Q(aK7ms%y+>O5q&;>KU$5C|PEvMW zcjG@=w;8p|2B{aC3o)A%_ma)m<)Z@1>|~i?%Q7sFQ*NW~jaMw`uqH_B^;t5gjVE$k z_I8NV*v!-hd&L+~rAG~R3b;_EDGhdrF(AkeYHj0P3;;>4hJJ`MAj*##5EOnx8{w8c z=@w$Bo$VKYdUg?);f3i|Z?YhgO3{Nynj^55uzhKX11~ zhqS3(x*z_}^;=-4w3@7oZy2YwUdUJ=h5KRh$xc*>@k2i-jHnXj2Y*mF8q+A{I90zqh9F|H649Wht32mDlkPmDlNDwV=GKsB5Dn zGY0}o^<6pX<3V^`mu zI2LT%k=XC--7fG6V8erh{y|3yV&t$|(vyBDkLZCb-`y_KSZ9upNPB%`2Q~Q^8YFF!2YVpi~CO^uYB*HB9Hd$ zQzNjWQ|k9_p;UE4!w}K~>&SF;p30{memeEpU?_577)qp2B8vT6K@TDb{#j5{YW}ax zpD{eGq%q?n!dE{8?hbNs6&HmDgWY*V%iN;Ig)MZ|%ifB{P*7 zMV8~dX0tZOm?1rQv2l{J@T@R{llJ<$aQ!X7v;hB4(9iy-9_Jqt?ysTW2Kn#kujOW1 zex5{uh;`>Pcd-fmmhL>33uR8Rdu8wk{M+(=QU@uY8o%jtJ~$wP?LfkB!Zb4?#`N#O z5P{RECujj=R1je8JRq|4t$fS(VZnr?`vk_?et>k&z4cP2?|VzQHFShyN5drc0y@jI z3+l$mL5f`40SyLQtr;Q_sM-hM<&(6=$HIa_&6Xj_WpiX_2UA`*fHzjL1?@}wbC09( zH~2gK9sVl-LJB5rI0xa=y|PKk!I)cnZ(gPUgum}U;P3S(@OQ@h@9;1GC;UDB3I8d@ zGqnHYagzQM{1@~Jqhyp;d3SeH?mww}wKqxK9%hTs)K~ld%j3xWfAlylU+}L?y_y?P zOCSUZNHd2ME+GTS$DVkoOv1zJO;aMCuVvlaurplqAA_yxobS8Dz|**Gs`Tbq%4lgv zwY++`fGyFO9E(RT7j@DSXU-wL8^A2MVX}Zx&3a5E53?3o4Vv>j-{iAYApYJqUS>AK z5XTi)`)ZyBJ3iNS7{v4}Ggr7Ua64ptf1S-XC0N{z_oDC9fveqdFgT#efk$1z+TQcc zy~ghfd^7kA>dCgD_0`d(<=NZIbJvo~{qz2*|1dvd%w`C0sW?W+S$ETBu}>zwBrova zvCl~VC!^UcUv%)7rxKK<9FV@Se^ot=0E<4d)yeQ}{7x`o9bH;N0T#IE#IGx6Uu$KJ zSU^`E@jM=s zeVV8=PWQRbg~83I{3D=1MmLMG3Z8Ax!QYN`y~nlyhD?)TUmW)OTmL?6U2U!I&a)z7 zxIjvRgYEz~sGc*-5}js*(F5HlGVj16z|K>dj7{t(v4W2HNR5Gw|1yiW6~`nnE)J2# zPt#M&rhH8Vb@Z~?S=l|#sja566;)!l|Vo)A#H}VzHw+b+%O0Eehf}B zKH?lh8UFT)Q1U}2i50<$!t@3gNb=$eo#)*NXCOkk?2>sQjyu6$-pNUa0UGk*R4JGS zJHxhBd{l{x>R`;v3q1N$>acP zwCw}fl?T9HcQedxhCB@JXqb7laQ8p!Xc$-mpDIJL)4{AYNNj($29Fv<{D?y>YGo5Q z3Z$Kok+GTZ)S;eCN2Wj@SM;F!!A*gFVA^O?`L+x{SwWZ^-GPA@O|*up>1=ynhzmRQ zw4B~$bwAg#Iezd<*Q3eCg>S=NJGnqrsO(I>?3pQ-b`d|SSk0pQw7pnR%#m}JCi8Ib z8dN`nP;JFXSt=qqY(MO)O*H1Hi~Gq;TQK62PE$!!HTjkIy$-mLvVeS!Bi<*BUEiaz z&>T)Y8){a5|ChP9=II+k!+Y4Wd1QTjq~*1$niR6v%eGt zqxPn`sax z>}`(G{waXdz9^aNp(nQ@&^Sf&6ehq5LHT6nKMOH(dO2fLK3e zAhI7!DmZ`?H%evn;K>73d=4x3KrV!ZlvCOWeCfS!1!$Iy2%@|DR3y~10#k`+XlZ8T z>&G1d-e0GtLnR$C$WIafI5j;7frDe;*_%Z$J9+#FXGdE6ZStLCA7VU2yJpP;-YvF5 z2$O4_=GSGZ{3|*2<@jd+u!md5{))nxj;VPQ+PO_QKPx28I}ty!M(SB+EG%s;xn}maQy~w#jod8^ZbStPII=K6OFAbtv@DN+>y~DeJRh6a$vg!dZ zPGSDBh@>seLWRa;12QsK@OPV7^O&R~_6UZp0U#1dgxJZ(ZpGtEAb`dYwWSxddlQYI zYvjSKY|n&n8O+)#V>(H1GpasmdrSVOHm~-e1=J?CVkhz{MNWk>p5nzi6@17twMD)o zZZcx-nQKH}-31;N8T^{CVR0C>BsF_cVnceCE_M4JuJr#v zRSnl%+J~n4k#eo(WRuPpED%D2W&^OG)=mFssKF9qy2 zt1o2E?~W_RPZK?4CeGgD50_BR-^;3sYpoOOA z7S6jCE6ElO8guH}qWDHG&bi%ciO#X0Ei=!J;h+>PJ*k>(H?){b)Baw+Cv3Wx^P1h? zX-z0`6IenonG-z}~0W=?FXFLEuRUt>vIexLWUN)u<` z<=CRxbW8`qq>5(V+ee=*#Tv>L%!fj)0%#w2)Zy_1v;iTb_Lv~M#0Tjeukp$xLFe}s z^TEFdF$2@T_PPF3J&x{Qrox%OX7B!X{hyu8zf6TMYZKcC=lCMv<2kvT2H-ysRPOXG zq5=_}P^#MeQH_gY(k8Z&FRAlaQUGKT9wXV}f(_Z{G7Sr;4Q9g>fn~w?{dAtUGwkX- zsL^1@!n6H~E(tz6lz|P-@-;p|HOMJ~@(lbF05~UVk4h`T&aXXA8I6b!U|+t69KRW8 z33+>zbQ|Q3C}fAAn}Uv9um=()Y>gcIo4P{m&eN1odZpeNI;5ksm}|TqB|ty%GG~Kp zLtv*&uKV`nF{$ISCT6FtCrGN2Wgjq;w;xV9&^8pduYt0z?o!_IqBC$>^qF{PmG8p~nf5 z)E&YMpCLUaH7uOi3vvjUT7Kq@ED#}Jrv8jSA2FFCR7U>~l#lq7&^$bSh~OuVowjiJ z=|qxXk_<~~{m8;mSg5hZbSh2spDRd&<`8alfm{2b2$pde7#5=}=v1)1Hu)5y(cwLH zq8v37MYhR21Bt%AjLGeSlCialBziM+zv2rc1cFh7>8A6EPy7mM7kg0RXVpYHd(-zu zIQclu5|E8N?O6!NBXcK>G5op>v|{Ch|x^k|w#oYy%a9Puon zJ|9|MwnyL6ocF2C8SVD;96B_^Sa9J*n}J4Swz58Lmr5%vnFa8bA7-ksbOs1AGLTX@A@?vY14vjZ9Y6svEyv zPGpQhcuCzhd(2%-ZdzBV_w~gdWxRK8Si!*Hb$N98xHoQ{YwW!Qm$6?odN|nYrz;o= z)Oda0PCsh9Jgpe$_q*AjXF9rg?Pz&pbDd(XUWJrydUbB=8aP2QY8E_i^k`}`|C)oV zvU#cP=v?7C-OS(_WcxTBx95r*->n1MwXW~D2+K?prm%GG9uPwUjr6Xx?h&;H+@T;_ z*UeuoU@6A|65*h20RWXSSF79w`I@gmL#8FymTfO_mAlE?9RR%goxoniuKz;(>^Qp6 zbLSIM(RU-uC_O^3VJonR&AV&_cLns&zjw`VGUg+RGZ1C5P8Fm62ZJec@ z9Ih+zdV)803=<<9Fz`SaA_aIT%#d2Te`s^x2X(FR4P$&*Mw(c~yPlnF|86t&kSLHFa3@!u!~|GCj5Z5nX+(0sCmJx)Q1BbMc;M4K=?~cx#7WOHVTQC6 zaG_=%Dp<--Hs`e`4@H9V{^p$iP`&nk^p(eB#QfzhvB=D>!2VG6-y+n{3CV9_5+4O5 zKJpN8ia&^x;KfJ;zqZJ<6xzz|6|QPGb-P9bW8o<%w8aOak#*vcD^LL^i1}1P`r}%^ zq?XX@8PjMO)+rg3<7&erl?*Eg4Nx$2;)aJmce#Z>Y}$u(k3K0G_7Aqu;4y?EKJtWo zX7ajBXLK5lX(7fVTgRV1Ku)56 z{hoBf&_^w7+&nN0tsXv}$|*y77TJP!g!`k9R@n5Z5Im~o>~uuj;Ii%oSN`jf`IC}) zg}ecUyg+zit-OKzR)v?DTb+PCSLRqbDG+rsWqRudhL??{u z8OfBX687Jz=zlTxjzPABQMPT_wr$(CZQHhW%El?%r)=A{ZQHJT)%W)8crUsm-uznl{M@#k?)@t{)b9);+&WMHJ4ddJMTvi+4bMc#?B1Q94!iv4bJC_75h%+oxWg=EOQ3~~( zUFUh{!Gi1j)+q09fmaXV5}61uWF8pBr{HWOmxByn)|ng79l*9QwaLH_3C`31D3cRr;pIXS>H3z+-KLX_QR7YI*h4vp@2t(&RB`;SaDkFuHDH8~lk4 z9NCAP%ZTzOd{6yG4|!pdb<3vr`>pe#CsbGXj&~dH{1LS)Es}bjjd#f@&mR5XWSH}c zhv)nVB2A=Q2rOWBMw(%h<3O5T^QSl%0taa=@j;A#^PuTgsa^)f=cnHzM<;}N!fB!& zQ3bs&EW?(7o2o7;6*PqpyTu44V3l=vB#Of>&P$8k1$}bmrm@h+sIzMy4PcLoPJ6{0 z{G^XQA{ER)?@Vo`Jp3=m*e)!=(e?KYf1+QS-ZHiL)2*kn^r1^!KfJ*I(w=xo!iWym z(+wxeqplmFCVG@NfzV8AOJQiX5I*&n@jcrU)Q@E)r<6 zcj*Bjg{ms~AF%kJ(lmC4|6EM{zr(^_`9HC^o<;b@fgXE{Zc;M@1I z^W?Cqg5sZXZJD=Z_iF4HXGGy18cXNRqh8b^QPWGXMQz_d6W%lnlnj6l(#rNIajBn5 z)ljV}Y2FduTu>p94 zWN(S_;7aDH5gboao$3upc~vL;bq5za{*!i$__=m19`M zCC%=t!&LHBq$Z#kD(SXfX;4APqKFw(k^a9>pp5-5C|u?rR;a#dLq-pMl<6m6Q&O(bE@dsVBISD(zwNo76STB8S{w1t8kCv>(a z-L%l(LDW4%ZXT0#m@KDZRU7K0HD)jB#ddKiEbQG3inF|l7D$K2hFgy1cqkwe^9~pOU3*c zPI9`KYOw>>e^GJvUsMcC{1+9<;(C`g=vx);Dy`wt7eRqTk!-CiaM7jQLCt&nV0<%t zSIy?m$mSbMS$_7-nSO6i8*BeTNbRO=iu-09@yd$+kSkT8mJ z=>Lg^|GuZqNWjFx@?YBmOazQf?Cc!>XL;cF^XC6t5-_qbvj6WS?*IS0CFTWG1!esO z42GDLlwb=6cYaHPYHN$JR{DE^EJYnZS*NgkpcaMG5i*5rN z^GvMy$l6C1C~QbQRzn)+DhdT`v%8s@xgj!u1jWCyx(2}2RSwPHpMr(OqTqCM@6VW` z1xuhD0>Y}^E<7|Od0qsw3Yq0T466#j2C#{)4d7)KfEym5n;sw=8vr;q_RkMYpBxZ? zB(i!ur$8Vm0dzCCkb(tCFC3m6fi$(bMb^(3$ZRGf!0OwZXZp7jc=#G%wtyMgGXN;E zIdvW`OF?=BtpKbI7!a5DXIPNl==j>2U_kQH)KtvSAY4C?TRn=Q0Z?mTRuw?G0L1JV zss-GuDwDw6Al$3GB@G1&fGah^p?wI}YX92QAS6Tpl#QU7fH%bA(9kx{DM)}A_`k7H z;J-Kl&;HmGKeoLfuce#-ZfMW`XWw_$us6=KW! zEVFFVYnjpkSC;|L(+Gd{-z0;w0?cN+y=%XnTiKos*u86h2%+P<+J#yx{B81x{_ZeI=P?Il#>B+L#UKN?fB5PikcKYrUL66r0cZ$J z0C@eO37Dlvp%0IsM%cYP1bTdaSH9B^?w^KZ08i%xmI+KD@cz4VslYh9Zx6%kPae-L z5C_ZUcL~s}pX=|BDL_7nV`G1DxA9p+Y_^1yq@Il8{Uks3Lp3zicMU*qhUW&r49<=n zkeiF&J23@+`%NEH4|$r)^6ijZ*8%|i`ZJBTUh-pl`91?N`_q6A6Y%3i8I=DA8f5k- z$Jv+7j*a;g|M_QT;X8HWr-$%o=>CW681-xzbOTQ|*0n!C?@RHW{$Cd8UQml_Qubg;L5}#n3ummp72{L6vS4}Pw3xzcHqn(EoL}7ynu+L zqzG^*Y?l;{);2)B%UNF*@b(|pVE{EW?^@9?BCo3~$u67ATf{va$VGw_Cx{I@?6U9~4hW z%j=0E0Fek%(`xSk~iCh*fg=0CXu`$j+F?>mM2L1wVLz6h_s z1qiF;gPVciMDF&0?7-ua<{!hu!}qFJdP?#i{*0fdRUK1+HE~ zZP}LQOkI_Sxuu<$?kMbR^u!o4Dmk=Jc$t3UlO8_Im(@FWYxbObwxP_?Dl?(4l+J2D zSDs;{@sl_*CY=457|nP0Bw`^b0~+vpadc|d?}XtkNzSD{+%M+TCgQ0-00!WrJ^e)z z1a7ei()PRouq*j_dd_&Wb0g7%PV>@Eim7uLZ;;q3@L355g?AOQ>|w zsVpO^9Sj|2u%{aL!r@ph_G8D6u=$7(?;rz;F*k!{HSri%xia>ky-zZTDvj+ikCFnJ*&t}?Ny~}V&hy@~cL4)oc&p1ryp8`LF6ZZja_Gw6HTHH{L9iLh|Mg2e| z9)RAib7eEF_$oPq3KxS0Ytv0|P5eMIt<|(SNsoG+28E_V*v!7os|8x!66ru1Usm(`8_vF^;&0_u*@iW>^^wO`umafQ zE74zYoF;+N5!c>wj)3nrNOMRsR~izcv;&NH#QaZQ=OsseY8qYo&7`M91KYz-3+d&U z&QZmzQl8I|-r%X2%Q?p%V+tVlVa9bFU|0w0e!c>NZtO6&MWMJGz)`I=Q)W^3C|{rV z;!>x#6@X%cArfZdy=veUgUU+2kZ<fB=h8Mbg z+u|QKZsH@ZzGjGXJ|lF&(TXfzSkPTxC90Aby?D1o=(U}m*E;37e9`GGvhI-4_Lhu+ zzwj)TK#*}cR0bOlfp9%*JRGblnQ0(SL`nJi%_|S@qR&B=bytgVz#|DDhf~1GZ4pn# zwI^_NFg5kOI_+6B_UQ^<=@cTobSJLCkY-eaAC;C zToUxMrEMc@SH!RH%*O-wC^slo%c*gOgO5DIT|nq_rr7t7{Q&7;Fo|44yWQGt^q(Z# z%F0fMut5z9wMZBcxZ&HOq0>_t%j*7nqGT0AXbD<%+gC!*4G~_Y^lII&s~0~LUF{-1 zP7I~jYiOjj2!);?Lw~{}uLdzPr&999h~6s?lO?1I0W$fC$Ap=O@CyWkpi7 z93f8D{0mexaP%`L?eDqp7#UbUJ9uK=Q6ee^_S&~Ev(KbsZjuMYv-L$d!wD$2I;)JbYKz2t6qd(PaHpqCwNM0h z&W$6$ISZzln@TTy0oACI#u{e-Tv_t9JLlJE69wDA&ZjsTrm70pzus`%3fUOGd?CW& z3#1SoreB-_4VU?G^TC-+ED@n|yv5q;BH_&-*jRfggT?SJRCuG*(H~dK`M}WG`Tpt2 zJ@DQ*uC5q~Z&p`Y9M3uxm(s=MD6p{w^YNDJ>}{4HoCd(A#%olH1$HYvh4EJ%R}o~6 z4sY)^Ymx6{$AbxAcR zE#|V|bmZXe$%*Wzl~>gg+0pTLgYFswUKowijs3dFq*VcP;`53wW#SK&S-}3+A+^J{ zaJ-Vyq_k*UWFWpy8Hkn_Pd1^+>WrZ2ZCL4tVm$lGs=T9MuF<_i_B-(qYY#C0DkgWt zq3%7RbvbMo|H;EXDJAA}=mL)k-na-`XSd_igcBBF4BuqIaTE{P>_hl*=s(JyWuDWg zsg$_}V-;S#Em#RX#uak!X1_(sa@;_NdSpZ_Si11@7GUX7p{b0fmYDTelMH#hFRa%t~yeq~9P0xe}TGTkZ$qjW>u=;kT z5M5y(;*2VT>_UTrY6&+CkxaNNCj7-hZmx*)Ri+$h`IqyFUS}HcIL0&52l4IbJctRu z3PE|4^`Qvcw?ur-KoxWPn~q#Yrn^zYXATXqC^-r^NRbl5C3B-l;M8Jr1q)uI8lA?% zw#?+IQwPZBdxpz_(A3PXaTr@<+Kaipo%R9+HW14VtzBEy@Tom`X~#csGaoMyJ${ya zB8=nB;ubhuvN4r>l?9aPp@3f0j}P&3gO2AUs;!BB2%R@}Qe7qIy>XF?R&&*`Z+FW* z6vAdfl-63o-?NVyz`1bE+-<}ETt+^^|Ea~Rt6`C9Gu+-|_4DS2{W#ApF3m;TyG7B+ zDw5vV9#*R+=uebd`R|%%2IQ%fbj?!=!)dd|K^l-r`@0K`==H%bUN_A6CT(z)?}U*! zxAm$6EyQ52pANNl$Dk2%dB-jfD4A{tQ4FKTyr@TN1N4HsX0-$w zAZepB2}!P8vT%F&~5Q0^ViFeX>=9K-kL(W^98(lEz`4L#kH617y1 zzc6(UL~&cA7(%8r#vP-3U$xUgPm5R(`laKk6e48zTn8cV3C-7^{6afi4_nKg^zI2$ zuIe4Myum~(p#5})lM>395V)cQb?~|B88CzuWnI_j$P`{n#<%N63!e?hCFFnCC-7RmsEA)AIr-#beqFrc)`;5obW$J z*^@neI`yu@@aieOcL!btGcn3Xrgx7~1(~0X5@XCw3+Lz}!l0PClqD%w_*| zm0C`sz2UdPA$(G>kR#xAl>kI0-6O|B-FaTu=6un8hS_M}*YpqAh4}ix_Ir07aIhHQCy!eE;Mw0YI@FzOVvQMasC_*?%u;<|hJmunLl?6GsfF7Z^nE$2i>kf`{BZ zG{;#6^u0B3B+|kGtI@?_ef?wDD&V$jMrLF5G6z4a&6lK0MJXUvui6Gl?q48@QfcAs zM|SRrKg7IL-1P;5-ya;1CZmkJ(L6xL5oxH&ml@=fu4r|@hvxCwj@;uo&Mu5^?mO@} zd!j)hV&o^WS~5l&e$nCpt@JQ`Hl4$bRBNefUT^`G?0tYiXFz1w?NQ4$UT+BNBo@>M z_JOqh*R)t71qotT)SkCd>+t4}$Y()OMS4W6!DsmAHsur?c1^WH)p-{agJ{;e7dzFw zUp+3)-E!mOuZ^zyxkRks@IH(*k(E~al7t}IKDd?Mla~-K#0dJy$-!i)f-d`16MqIO05Y8U@pb4AhlL?}#&MB;hb6Xa+ zJLabE?>7$g_GU4?M-Z)KbHF^BDngdICNL!3?5ZL^N<_yoO5nL~;BOWGSX0l5bCE&` znoD%+=Dx=-pWqBcaiYV$drd^Qf)Or&vm&JAuw0@q#=hJycvQ&{(ysPPYfw_Xdc~nB zILnAdk*H+!S~gK^&$O*zIG3bO&>k%#n+F6jk5{cU7$wOglGA+5cB4a--ctY#&MGrc z5UWoU<*ZD=s^3uAEH=7q-1TeE8u>!mq3k_vJ$nx=-X=O!^@s6#PXNMx+3R|gpi$z@ z=ej-U36mE%f3wfcDHm9kTyBGNkneI*b{H;d4X_!ke~Vf~1ws0$Zfcw|Sk5$AqCqJ3 zR!GxOT_YrOa|S1(&1iC}DP~{Ig&86y(?V5vLg}{XYG5?Zy9Bh$G-bNXEaA`K{7i}^ zlgu4{@r5QP>lcSvK-^)_aytXHvNlpC%e9a?6Ho(3b({ngq+=64;1w^MX$`lkJBl3=lLBTG$Q)Tx9L=;H^1`Oi#3P!EJ6Z8f zJDB%fRCHJxOvE(D**2Grn8|-_5el55?jMj#!Uu&Moyqcuo1K81o)8>x5iASJSlvDP z`f;BCo*1Jkd?8tZnNo$acDhe@z~yYN0A26s;C_ejw}uTwp-_Qvqb-mN*udP+enVJI zNSlx{F#j+&{(1G8A`xcmGY)Kp+ou--z)w`|W7POrG}nhu;nTNYPCOey^2RkWk; zl(mr~t;KI6YTmy8Lz}~D2d$Y5tD0m7cYNOqlb}s@yzLxt>>3?IQpAnw@*ZJT1^G4z zb#?w>n!Oq}zo|klx6umc|I~eXmLq!uX|FGC$n3E+@G7^+r7pXVc)&XzBb#%m$QAB-1B; zan%pf-|H@?EM#{du(_*yH$o??0ZE7o(CgW_2U+u~r=OCJAQW;0KeMErFU(oNxqShpv?zH@5&bo7 zT*&1<0LP&15MJ!t$}?)oa8|2jUVSXX~G^ydYFRyVTpD>ZEs&#;T6> zNJR$`{kP^sHSg2P^^8qIdGn4;0V~x^PhrAyV3Cz%WreAT?*e`kwY28s46Ziiq0fc` z-|G`KDwl%twaEin2W3-37~x8qs&N|Fz;;E9l@~uI)$x{!S1t=LW7qrzD^VW)6IkN< zndleNPWbe)a@#dp;!r5W1zQg46Oi~fiyI3`JEwZq*uyuu6gZ6Q;#Ov1)#M>~W`t&P zy1XAl?4r}e;c3nFc5k-`-^vVTULE3c+V#|S32ZQ6h(-<{&`E584YIJhg&3_HOmVf- zzs5WR=;dBi(I{Si)4mbuVp(hSyx!e$JDKLYCVeDCeebbGH?X2sh)Lk%^(Fur!Nx_S zlc$hmeO$g)2K$!tsn59tOL?=X)dko<>lH(U!HC+aFOH$09Ez{XE;pE?!;7_|$c(ScoQ)Bc*Lo^K>#+wi+)ze?Kqt9>CwODQL(;*@ z)Pj3Q8*neCP_SXSi*Zp-68I^n-kRd*>s!D{ot2jZPeLk z*z2yb&9|K>_b1Q8TX^I%g1v0u66~qA<0dt9xQG5>YCN?^^8jo`PV>%ZV}sQ>!C(F-TQ-`t!FY6HyXnH<*4UA4+8g}c z-w^ANVr&l8b9A|CGceVgAf|n=k&Etxy;=Q|>8=4a?N|E*L%t}VQPoK(% zI?U%Ir|mDNb^#=zE63(62&MB{5vERXQuVD%_t<9s&k?(i? zOJXpm0T@F#C0%S2eoQLy6e|)I*?b8bH(oHIZBlLS^n=UD;K@C$4T-+z&Jrv&_of1k zMnX2t!>0@p0&)fEw)8p)zt3f2ilm3yBz4mHo%Zveg)!$V#4_@tq_vZkTB3rD6m1Su~3RB^-P%W|Rr&-~oTA!(?L|&M+m=`3` znb0pTWqc8O`SonwQI=3Zla4p+iBJ zu-tDfblW_3A+y68L?P5Z7L!<;iY(Hx4d9<|0*9NY?PnC4 z@bD(5ZX+v;@5q$c=yxG5C;GbPH@fLyy=oZ_HqTu^z{jT1L;ZX^Tlh@bh^ninG!Fl* zbC}gRMcC>PUs&;tMkS+Q-|1Ekfgj)bTiRwKN=MAftSDnihphMbC!ue!Bx^{;Y>Qyw zU(2tkkcF+uL|VVeiD6X1{E=waZ#SaROhp^J7FPQp^$-*8w8bT<%I*Upe3mJ$Ow0mr zV0Coxx;T%Ft&&h`vPN4}vM1k~)bTzZ?X#%WI2l81N68j?q>bCVFV#vCKXm7BI_udW zop(uL%!L?5uJ43y`RC^RHPX zao`jt!~REnBgw&jNn(Kx->3Cot}JCuwoN=IouOzBD+9tuC3%05I@*V0e*^(O)YByOlgaa_|90tpSH+UUzioVb^q+8c`_3U$wzU4!R@aJm@_ z4el5_Aa?X0+9)L(`VizPmp=)GYbFZ|eFaw4HS#_2GE*1~#8Le535X|yNF0R`JhT%@ z`3CYf`zU^-zKNBhMR%c`f>SNu-kOBPrF-9l&dg1AA4;@QqT$oTTJDfYw{Ga2+oRUI>#ml|UG3yTZ$qgc-}&gnnSEpn?_UW*Xk0Qg ztaH{j+#K`pvf7|xO%$>=g0NTt#0wKP?53_>5(61AJY@nMLhGYoO7tNU`&DZDb5;HQ z_T;0^oPhGe#wueYLy+@@MY{83EJEuF`$d6{f_OZGN&lr0gtVul_3Jk-czlTa(Fj- zG##T{eWWQ3#~WLz!|I|`F>*NIbm8952W23Y;r11xB zeBImZi8Hu_o(yKX#Ph>q13>8O^ITU6$*9l}8q z^SM<%jy%w(9TXKUj|#W@8zzy-(EJBo*eR3@F}xa-0y<>-Mu9loH_RJVc1t z$LaxQfQ2K10XbsaU|X)1Vc%GkITwH1j$zY51L8B851EyuVbS2Sjf*JmPtCkc2uY_} z%_WD)WhRnMeSMG8XD;$2k(9hGWt6PlYfQSr#lFu$@a7Y;6+U&wmfiu50;_aJ+?H0B zlrN*EC`9b$-(3VA48+OFE0rn-Sf-2PNJhO$5?a5m%L>n8)tn*wl{WrBfa7&rSzyu2 zq>{2EVWUmRH$E>(pGPo@%cB9Db!si2h_3KI*cR=a=Hm;XXc&OZB~qpC>4(cntA#60 zx$~%S2?gV*+(6ZvndFsSUA9Z)= za4EdPSrF-gjdHoV)1QI2oU91pIE(0B)ey|9>{2tS4~`WrpzH8JKYSrk-yJC8E1Jqa z`jnj33?pj8y@Ubvqn7le;r!0$2_q*!`~S&??aRBuH!$)da~}RW!rnQt3)?nRXm?1+ zpAPcK$|G?5bfJuLj=Ds<&6lRWAA-+y3BjpFhw+Y&;mnieBJy(p8{2C8M9JDh!u|q7|yhOl)S?TJx^JS;v z57&t`(SGuU|5M9%SI zFfa%HI5W3v0gEq%?=V%aFU^>xt3NmZeiN+5Ac-GP=-mNutJ0LGFQHV zfB!%Km0j4VD$O$l1wt#rHM4KfkvYm{fwGv+CkPpYW$QsIf#h-0CbR~$sUp$`!p^E- z^8D6OvIwlE8wJ8df?6J(y{`hln$+E!mg7Bol_6{ zxy9tK{su$EW55b{doXAnst*N%#VkjM&~ z-YE|tB-EPuXBoL56NFB|Ol*)jg5S=WiZdu&jDMprq)FQl`j~9!5 zMGSYPAKo56F~smAb_KNdRK+gtxiT_E)FmbAK6DbgfY1 zvktM#A92=CKRti}xk!L94jpRitG+~*dkU3}#v%MNza3&wJp^HCh4fuG8Y#dU;aG!J=&JG-BC7C%+KkwE%Gj=?xhMh@@$Cg7u#}Rz zQ3wy@bJ3%-S5-a%dM^cP)$d$#Jpv*zmFn5byZk=vs_JijKI{9_On46-gZ&LZAB;^e zMBfe3lYq*HFq37{Sr!^*$75zOJWKdCBcWJC9F{d%C`0XRdIgVmurxqKE%bS+I3@$y zQTVxM0&8TvO1X;t34@80cqeOx1oOumO#!O1l)D%mr(M#;!^8_bo@E?45R8Yz;Y&CEjCZ=3w9&(n zUqC{)w=GqMS$9QZ7rRUIxwD=UG1?rTs}Pe@;2!3L#BZ0FF9?czlM@q1YN2@0y5|Eb znirAt42NTPLMU+jkQqZ7zOBmI8?vgW^M`4g+X#c6&7u4&sn8n3#Z$+5`!| z?SSPfUfXwpOhURQG{9C`1Kks-~uCKAh;#Y9;8`w&0bht99$ZK$cO%2rVG za}jHBwZqloE;jJn$Fd3po39AE>Qfkku@GnQeXmSqldpc?^5tq66{K16&3o4D^@UpQ z$J>ytOg>xI+GS|EJtMo=nGH>CKDUm>4*qhmI`&+|_k_Ia-RVH(fIX6|Z04)k@SL<= z;ytv{$84)MAkLN6I-l}yD;=01gUFcs2iYi{8+o*QdrH3|Du~rPA8yh?(7S=(9vpQp zdfwG(xtEAMW6q@EcJwf3aMTh{Wpp*EDW9(V{Rp)akqPy3RUd?%hwu>Cu zdwZcqFtTG82ngX)?2>h+dL+B@Ev!Vf7adBQ=hW^=G^*Y=9K`)1&_k10%kJQ=u6y>< zM^L0E7})aeHlzmNQ~RUs#H~Y3^E0mcw`KJU2J>-|@(DbKj{bm?ySv^(evh^Tu;Q+` zgDA^OMN^U~vEP$hj?~~bZI95yP$QwQP4?5h5N0O1*bO@Bph%G&JAW=3^(@5woMs+? z$6Yx_HK*L|1+k0wWQdwOAK#u8M()Ss->t-$H(#C`41*&npsHV2y!j*8aigbF_uG7K z_&w`TyYsK}sFy;!&UmH}ae|W0W$F8UL0sa}u3AOGt^K+7pIKzzz6`38KWFk8UVT$l zrQST-f;3X;8Vy*8cfKbsE0E=X%^GMw-FO@Pu?u6cw{`>!iC` z(ta^}2;*T)mMD)9LZ`_oFVT6gQINhoYS=pPK}Hh?Hvasyl1MLSse~3;yqJ`5l8Vz$ z(1Cf~%%RrpR#=HQPrm0Iy4e6Fr+fe}LwQ6-QVzV~dH+qqc{>{0if6jmcxksGLD|i6 zC=CBR9g#*hH-SJ8%dz5YgM7;ykH6NJJA{%;DOAmFW*DgHKJmIql3W_BenGOwud@XC zN9{4ixVtOD8)RcojcASaZ4lCf%Bb$4uF{l zH+;7+K(@c2Pr?gn_pgWs=B)bZA8w#dhjN3}dR$nHe~<&J3;IXKa{OHfA1l|=)Z3*z@2xw8QveHv9K?t`TJQ@#_wT@UzR0UJPR3oSu)Mn zo)c5f;SMELoVzW?Z6?w19SLee2TR|?l= zZy8_HTFc?*s>1RU0c#+2xxY5)A-`Hrk>CVNB0nB|oE;1^LlTof`=Dzl8}I^6d2GIg z;V$*lhRVOLrnZjcN^(fg5@+#7W_0OfM^sF3KElBFNaOF->@{iaE=Wav4jqwG#p-=4 z4)G~~i-N9dVrN+sv0ov1yS#rh23Kpe`1iDlJ%CEmMq|sTMP1-0oq>F@3)*EcI;uW@rBJ7%wFtU7F%Sze zWKSIzhq zEcm{@4lG#^QSsfFLefa?95o5fcV!HHD!+MWR%)*RzheBF0diaZltqbzpadAZnOdrb1X*GYvaVfGVco`70v}Ch59?R9+Gn$7pTF|M z21Dc>LtF#|1Vhqy?bpuwZ0Y3g%^uLe-yu^XVMb-rE|l=BNDj2vC|V}lrbac^MVa2x z8VE5RwFeJzUDG6P8PMrTp$>MJ!W5E`^<>3wLc~SbXDk=esX{_XN@v5zQc3db4biA; zojI<(Dj&4{lF57wWBX!k+C>KhiO|)|LH1tE-0D!UJxFOu&J%BT8AVJyvR&BNdOT9Q z@!gA4-lNDOmxk3eZy9Q<2YA3ZYb(yS3X>-Ya$bkSONbVL zXGA5*)@c2F&9~6^i=`$+%7S^To5x`5DBcmR!9nAS?L{Qu7pzJ2p`!Ipb!q)P9hWj6 zw#b3=57=A>Z+T@G-~-CZAd8W)v_dd*80mBSiD@k6?0ajw>3HamK`B7^m3eYB+t}Eo zF+T*Io z`6tlRZ~I1KMDI5F7)1JUQ)U^7P0!s1vx6}>^SNkjeYD|s4GoWqaq^AA!fY`-j0QP< zeG8iRx;<%Z?2jq>6W1FS|5_twPTKPfe{0R4EEV-Jke+yc+TE-?ET>&;S7G0QycxnI zy@K~K*RMo>8ryHRtVf^dtI1P(x1j1P8DP;+B9-uNnaDy?9u|IzDybJn-wl zTu$eK`w&ieQ8CY4;}zGs;bqf_UogXE6y|Cb77Ho-#hYOz!v8S&`aK|zNSTpWJ!ZBZ zv5-;3(#%;*DcFkm0y3k5Um|jv z5@0)mZrLo>9_^1lqXMUFsgOY4nGN}^U2_-L(ef7?zUL2W zIn=hdA~x?Iax_C>se>(5l5(H;tGPak&as0KYxP<98FwUOxW5qWOY`+W)WXEO0MFS~MgU%3Klday|_ znuFI(Y|ab1Pe{2o*d-bgd2`9qk|LVMZ)|yWxr8`*Fvto(jHxETOgd<39{nHoCM~x{BKA0Hx#s%Yu59>TH@&_70;in@cVzRs+S6$oE z!fwOA!{ZIhXy-kdEdD{)z@%YsxAa3STmP$`3-@qa#Ao1J_y>{IF?|EjjRF~nF(-&^ z!w|J|kZ4?Fe9hUh8FFUi%aWGYfV%c#e_ESIpZd6@!R2K6kRdisZXEs*7j$M(g)h^f z`Oz1#n6Re1J~VZh)=Z>e6ll%vqirmfk-D}xz@_KUQ^w67&=$XpT=ug%(xiWOsixFm zl|PV`Oj~~ur;VEcv<{ozI1t?am7++M{3o-hO{9eim~x_8Ll7Qmdf z_ayZT!zZar%Dfb)A4-ttDXEWLAtqJ635k1&of0^%nNzI4MsxQ~!XRI-?V+VyK7fS0 zT~J-Te&My7x!*&?AQOMVfqKuq&?7?Ws7^y@$Y@)0)UY2cU;zN}_sqoPB521p?kdaJ zv@9G68%(fYplAZIE~5&8i)M)@=g3UlgYMuT%sg>Q74`>tqpcO+Oag!gzB94&L8!GK zP@Kp$y@s4I1?E4&5@U*m6?P$Wt4k#&4uDC$t80L_r7wY?vM*dcn8GXfLGPsasBzlZ z`Aa})3^2^747^e11!pKK{R_d~#Lpi&zBk$Nrsoz`X^ zZKbZDc}m217Gv)mu9F+{`>M)X(J$Bo0KNSIh++PQ`0vF&7KZ;Wjr%S3F)*`1(f{u* z_;0a~ft~HY{{DZ8eTYaq6K)YoyGy&fyPp6_(=;`@umceh z=t@aIN&Vh~lyH}l@V)4I>3Z+}`QhAg=P+N}ndCv9VP=+=E~_4*GQ6^Z{ObxPtiid) z0RpH*rKOdn0{{nS$M&mTSJBe4MHobU#pk4|qMMz>Y#MJw!b`L_XXFaBy^h_#ByClSLq~-Gi(L`&SEylHDiZuA)V0j*ibBUxf>T zb;7R?2%{DaAO{G@m(mjpOp+B~M?ekDATR`E1nv?f)>!WVV!^2$7=V!b$Vq8R`?fdDOnZ3@QrSeg7Bfq6|a8CX-Alamu*?8m-S^IOJa&q8_K z@Lm4!R0FTBL0`V$*8>Jt+4?0LUhVZ)1B11B0iYKB)CEQ=_)pjbA^^aHgM;&rNCV8G z0z5X?8~>mRY>a@urY1h5Vrcy?kw-N^_kwAG&ElH?2Y(AcIk((`01?>X3HbN$qyEVL z%gO?^)$G=0d1>h?QY~-d8$^hFu zpm%3YsOF3x)BAe?2fvWfVtHWhj-Gd52kZyGD+GCT?gSs&;=t>-hnKexgZqnF#yQ|mjt*)b>*&Cle-jh} z^eKZxfGzG%mqdIA%_z1-6~F7cWMUk! zoqsc5_CI=k**QOOl)%kS&EKqMIy{{K(CqBc_$qJ~^p1D80G}NB4;HYG-xV={mo^6G z5RVW5S~>i^!)vflE1CEA0IQ^a5#MBb03C<+`@pr*Uu1p&9gjVOBcKNV4`b&LBw7?* z(f)1Qwr%%s+qP}nwr$(CZQHi3{6SJlRWiu%R=vrsx`S8ethIOQuk;pxOYko6bNN$d zo{o|a(o*DwEh0c&<+tP)Hh|0XE^u_-duAR&lh2|gKWERiX&zzuQ z>o-vT&$W+e;7)ROY$T4;{7;MD#9v?hCj8KUpLQPNflKe4vpEPTeh;EJt=Dn=!h$vj z|6qUThmc-AXu^1VpGo^?{gx#oWnAMm+X*N-{%TVxox^G?{S))x;&v^}XyNHj`IhD+ zxPShdk>vQ|GjrAMj)6#TpVEERhO|D|IR@T*_og5^Vg3yIevbk8@BF1&3RX9z%BTO_ zs7uMTfKZ@YsYWPTer`D<4$L9P1>e@n$<1bTDA_8iENXuiEy!=Zcq~RhYOEDYkFgc$ zj^=6z=q(;U70@&CU?rASe+09kW)q+7vEW?Zs&A9@^S(|Kh#9<_D5Mi-zaLh zHbHE;J(mX$?kP4coc^v|nDYrL`;-gmUGgE&1vDIl+Q;qxBS*6cj+=YK3cQAZZq`uVf+dx{B zD49Ixx9P9V*5+HXGr*NsR$F&zVC}B3AUGHL`Fvwkp&nqH6{M?(Ix>1dB;Qma7+mQ3 zPXxNrz3D8CJtZxhrZTsz+!?X%GKmhs_WGdH%P z!udg&j2wS1u_z3-PNd|~WC+jCWl9LwqxmIvufSsA&M|7Roo>By~noKH^XT9&z7%gIV62ula6h${| zh%1;rA)>Fs_{Nb`R$e@<9;vIOat2%Hwbc+&O^fbVZ*qG084FL})nMG*+DCT+mM~qT zzKT}|gvB%<@B}G6AXQ6y`sKRum1&+UA|hM*mpva$OVPj2+;Xk?WbZ*Q-+4h)!v;p{ zChCm(TKvPHtKugr*`CnE3fg60G;PSGkdYh2%$0sj(*6w>C6H$gQT~N6vRDPN9;2D1 zY?KyYnw*Y&=pMUy;XYDe0szz3uq03OeCd4|_+0-KEO`coYGSyC;V3J7k7Dti_j79w zYvY=FduD)XslK%eq$6vqiFcST`y@rUZps1$-Lxys5ymYNO?3VkINp zcfDk!)~=*UTjPPCo#@)f(=_G9-u>$|Nb9vro8S6v;Kk>q6#Hi|%aCRzJfB}J=Y&q1 z=TL7M{Xsf78#9(yS*B*I?3w%k5l>ea63VLt`A|43@jN8f*m*n)sYVMiEAcW8*n9fx^!d)4Q|cb?zxvr%*^f?YCz<(_eGj01tgP#Tg_JEx1cHdb#bsUAIn~WBD>vx!{>>0 zNH9Cnbj-Ipa@BVaY1br6NX`}gGu+IpWhKMu`tb6IhUa48>3!$C+>$k)*!_Tw-U-AP zOJt~8y|kT(2w5&+`n*y^6bC~%Kb1HU$%m=l+`j+$a?@vfonBY(wJU@Llkj7wL+V&a zREsX15t)7_fV^ml=j+8$$@P@2=b0bSN#V0KBlLsu%9(7PW<`qPZnK}qVUY`4lrtfc z-^67j7QrR>zzcCXk{^{EcJz0Lt$k_#>ul<)K;G&ZaW(Zt(0Fzf3kvoi9`ntZViPGo z4XBw2I@D6Kq#0qK(QQI}lo0fZ>+$}L?c|tYI1gS%V1az0JD_icK}J#wf>Q!jn)gS1 zf^i6@!SFTMT4IYc4_jh0EfCZ(DWx+spZ3@Sn50|2~k zL^oSMi;(zytg1t+##57JI zTF0l(g>j9V_1cT6be;motTb+(r*_(AsFw&T6`EK11(X*QBJ>cOGdS~m8~iQlDfCiL zjYDz>cC1VV=m69!?u0q!9oDi_H)UY>HLYb9D23}j-X+l8JQ;e)Y@{?W+1k#HTE1gO z`!R&7e6_MwlCtwZO|BfXh1{toZGqw%d#+ejJ56-8w$6+uUOuY1J1mFPy^-;pMf*+Bl z!V!Iuu&2{u@Pg`de*HZ?3{^Q{2?=(ZYido&`cD&iiV1zq{T9`ay1-TP66uuol-qkRYN10X zS_DjrmKv3tQuL*PRkmzYmdKwsoegW=jW=ZanH~n8wiIy%36yf5HGrM0{lo5) zT~`C9IxM_0B)9>1d#+}rTVtwXp>y^kxfoTQ(x@Fy{#%4LIj4Ig+($Tr8w5LJ%??s= zqawX?H;>h1?#e#ba)m)bblB)p_2~|^PZv{w@j|5f%ZtA%(mTEKc>n>V6ze`x)hG8- z$5{CIQjtLU@tzuM$vE52@(3s9E-?>!fA8|K{0NYH$7wj5dyXD!qI9@SIJEA@i8uBA zmo=2%2$#924D~VO<7Xy|CyGi@%#yR(WjYA#Cn{?h4|$y_624WCUWO{KiOmk&g0<{T zJUs3#O6)rZx9dSYUvL-3FO!2i$U$Vk{ZWniaJxq$A?1eW#^QH0zy^k8eOTqWT#1p8 zJ-6Wr;*FyS6l|E`Bibp8@(jv5BL79+1SYt%o-UNs1EBTW0^Ub{mESb97;Lo^wg81s z#3}Hvocm9Rp+=u@6l*RA!yoDZ%zT|A%QVjopyuwH^SLK&K;@ETYICztmx5{J#yWLV z@W6xzY{Ql|LaS*lE=q$bDZCN0pqNEU5m8Zso{68{wn^LgyuB7t`@-}rN~4;t;p3mj z&?}^s^&m2BH>=+{lMoA*&m`6C=!L4vjZ+{X#r)JCu83$BAcbXT)uUz42mOunKsHiy zn(u;S!n@+6r%6NBfmb(^^-o8%*TGCgwbGLEZ{l@`IoU_rc(j8cDw&p*Hn-#7ocyQ% zw!jC7ZXdDuFw#!TI@WS41`sIRZ~X371EJb@onBYynZEAf51QI@iza%h#jlW0BX`x)<#bX6OF8kfey#P ziGXG>sK18Jix9k4mct!_npxN+P=1Jm5_#AG!eQchT@@G>HOUEc-E}Lfgz(3LBO)h@ z&H~IP9w{?G5GkSo-8!R+%TIwam|RONSD$DjU~0Z#oXM+(1NTEg+T_$ye$LaoI!Vj1 zxIW==zSx_H*C(bn2?7BpyM0%eo7&_M#hoU>F}5DwPz-^vVXWFm$~Pmpb$t~5^?3&I zL^G15Lz}Nsa{2UCnl=20_rWDaOx~f3=%2Z;X=uB@!3NqULMIY`yCK>;;VWm5=BkOvePtW z*8uAH=hT^0qW>JQ-Zc6>)t^)-v7iAq<`i;`B9xV6*KR{EHdX_;T!&6!F4YrrO_9s3 z>hvXRdz~&}>JggP65ZeSNpZ#&Pa{9rT!dq?Hbp}2Nz9&uf|#?}Y64|H-x;ge#L-5B zVzB}8!FOjc7!|pV#1>oid*;tI`6@WtNjRL$qvm2C;x)OZ>&1S zOjPruHk)yk^T*$Ks3b9>QfekL%qWv{Jn^pf`~Jw)pFsr2d4I`)-f+s&r4O5ajlJAS7cj( z6cf;u++@VQ(x<4svkl$X#jLAWzib37^{w5_`6q0IhbHFdgp%33xq?ut-10)jhRbsJ zX^BPe`M#}3R!9}6bp{z94r!#0K`xurX~TNYs!AV%F)kp<+FVF3^Gzd~cFR8|>IHS~ zJkGUaLuh&twR+ITm9j8ch&z~vW)S7r(?}%Aj?~_{Z|=N?zosyDQ;B4 zK1I{)?3QcvD9@@Uif4ZZQ|-R7KiEQJANZ!RAXAAtn5ypW^cAhS;eg(ahRP?KUr=MF z%^5fOHMnF7vzDlw>Z>7{*{%E9YpM^X=W6r_ON0(QiWVtL5pZZu&g@hknAsI7x|f6P zTUCC|F@$QZzh$@ZmJ)c<&gFa?oKKPXb((G0d~+Nb)$2xQrfhM1(Jv}AwmcjhQNE2V z<4)OsX5LIE4W4z{`mu^2j~JzaZXLYDF#Yv7eDNJ-`eY-rR-?0BiGV_BpB!m{bHV^o z?o4qcnX8~1N6TXpsFYG3trqPA^3OG-ZMBVLW#52v3y?eO)YmV=NXFUyD~D^$T+^dL zL)22&!)PTql-g=%fRfcDMQcw2$ELl|`I|Mvp8<9E4(W!odkO~+du-F~N@Qg|%uMCF ztJ$Uq=2Nj%#~0a^5xsQAD1982f~9*4rQw!v=!YTZ<*+gwgj(63eusGWe)rp=gdt}8>u_V6dejmWOm z?o!&}`#Y>v{pn<|-z*cb6OvvuSXgA@y50uoFbH{IFp)hv!P*hUWepl&)hlSU*PcV? z57gxWHP4V7PZd|?MaSWc*+Xnt*{rcr8lbaeI!lDFPw6>$9r0}c4Nay*E@E8$DD*IS z2NE)l+Izv4p&C)IpuK+9J_QT4j~l2aMKajhE!Q22OlVM4qEtchqr1I>regh5!HL2x zq$M&Q%EJ~_afV5)plKAohF}wa9s&(e6e%K|ljM?hEa^I$uS3t9v8e(|UAeF|z)MWH z5h4YUqV91>afjMm>9%A7-~n;kV8nK1s(rlN{}vl~8~hw93g7x4d0=^1(|^7Tmp+TK zp5uWDBetBmlc3)Oy%23@TE%5fp7o^mgON6nAV(UdwX*3`R$~+f#!A`b7ceTFBfopK z8S~lBkhd~SX1(v!3-OQ41S7(^#x=DLNVC8Uzw1fh)Y{gG&t3`=^^}IsHYUyn>aFw) z>SCXZ6+qK4sv~PAQbAA;VMt0}o=?PbdFi_-$#W-jHkG-9gl&F1QJk?YmEaKtWa4qA zQjpP#!{D*2IJF2|({`hHo6LXJXkQUw0TBy(Qy@LCkZF`32g;AZ4!lC&s{O+zeWj*A zu+|t7ruVX1`svP@-6xIiq$M`?DDDg-y9U(KSB%W>BL*dBU@rZ$>}heeI7W{RgHa*m zpIxE@k+tJ%1ya~1Ow2`V4507T)Omx_LlF}mlym@S-30Ho?Yr=<56Z*CIymUV-i%!9n8XYuz*c`Y)}#57Dz$EN*W2 zcRGQd9p3jl)DPbf?#H^7azx2;8bT&$e7*C*lLx59%o+|LxegSe6nb6sWa`1zkb44H z+$EUS>?4x^6WK9=MNnS7-7mAf95^Sa1SsYtxL;!>4`qLJYeAYJq1uKXo|;&f1|m9q z&I;PKc4)Bi-S3kvC44O}|gUJDsanfzz0?4Zeg**N08o#?3}-p+bd2 z;k9F@;;x86y2~BMVB|N4mk$`ggW6KpJzGd(b_nueSXE9}5o?Fj?Gx^>ww)&=#zw^|{QvGkTp~uqaox{BfI*bd9U{yuN(zc6^ntE&^HxV3<_RDa#x147=1uUT56P5xr#ZEw zEFBBg*w>-5J2zMrVs&mf_S{*|`2PqS3~{ec+i#K2jcc__f-zNJ1-w-xSVv6O>@fxi zsGtX7is%Mn-^pKGq}|MXi(n6Kv*LPG?AC~;M*){o{()Gh9D<=p*&M3pXibvU(m$Q9 zP>c9<`()n-q_3(+n|efobR46D!}j)!TFcSqHs!O-hBtf{g-H8@1F_m;c#{$m1Es_C zkpAC-)`UK_%V-i*_Teq5g#;Fp1^HltUvN+}3w-I#duROXmr{OV1$}9fQ*d^S&&}cQ zAU7o8haf;jTH>rXe;6;UbcE@?&UD)lncUP#r%ZawHqO5d{MuuFNa#h%ZcKl(msT9y zq}nI#!u$zq4RrOi3>9pFhM)TDW9!5NS3Oz!h3@|$`CZ#I?Ge(^ytX~LL$D!y2J$c@ zQMO>xozYY5{no%c(6$rJiBwl3qC}ZsWmNKU97lhdgOLEIK28L&-uV>Mm4vNh`~xFC zs=r_jgPw8Tj~h$P80^EUrs!FZMgu}&XbN|_SM0rPaiRNy2wL?HR9k0h3n32zo2ra6C(eew%~2ibOq8Dd+WZsQ1OQ=H%K5TSSu{35YXn zB+~e->s}asy7D*GW5(D|jj?QDCRmk2CE*%N`? z+b|x7eHz>`=MLtTX^nUntV3>OwUynY6LIjtCd`dze9Z!OSL4<8*QU}>D@9gUkTyk~J`k^2Z zS1VZ}at!E&q)lN(LJEvQx>l9O;dUTad0kmw^>?sl2t{Ouc0a6ZW99=w zxyLlSXy|sQt+=;yH@?wI)>z}m<&^rf3AFdk?K}{&YKtV6Mq7)$s7gd_805U4gXMs! zRmwP<9v<{Dp8Cb;scl8*GsVhQu_0W&5Fm#=u?`%YajgrH?ZZj z6W;{;W5EMrMRLN8xR$HF`kjX!Rx4`r*8fhA~x|Br~ zjX2ba0O!gj=@)1iJl_(`nfzg1Fg-ak+PQj&0J0FF@v{GCkjDp_d@>P|6 zo~AWnp;gbP+ose$s2~Cqc08)YyGFAj_w24Xu?$)J1RFoTfL3>XW#gYq zQw7Gw0AwxJ-^WYUih{L8#HxJkAn+3Ta_yRj^2X3fE0u$(MsYlrQTB2J2wjYyk{k>7_U%79LX1iGlaqa$P=OS5TeWJRhjI_LJ6#jQigwYaD zA*08;7O?tg>l;Ry84p|W*F!W}=y`88e@IN<^I#)nVo|zd;DMHyjC{RKyaEwSF;MM8 zS=3|lpjL;yKYDPm4Vun@Hs(_>DBdLkXx`Rgf=iB`?TpCB&@eNsr`|eHF-T*>!b5^% z-n21q(gDP%!*IJQz3YM8HQy<9PPxX7!vdt7c~^rexFddEX}>op&+K7p50gC}>-@}n zm55(bK0*Zp3&^{YX4WPAC;amBkN5>%zq<@#%Us72qH1*Rshk!j9&z5uirgufEI zGn51QH^FC`!#GfAji6FLVY{e`|NKgUFJ7$pXZN4_^E^lR19G*0+mHXfdlyTfuE?rY z4tQM|2!`-zDkFm=ocgYQAZ; z4c`Y0_+0Qe5v|4@I6F{kPfK!M;Z6^PV0uIN>X}4vdJ(wTo~@d*o;Aa8HaLu!s>60h z3@({|?FYhTQ8Srl7;nD4PVFzJO?p1vRUQ}|FLLp1+uQtjW*$u?!^2iq>!=x~Cp)Ik z(J#7TYB?-J8TT%C5O({8=AeH2E*z}r#>&|+a(sGs{aDYmRI&br2Bwp zq=nh=Bb-u*j;Q%Q#2)CK0`*MhN+Z9SAW_}w)*rrgSx;9p?8GlfOT+3P)J6n|_Sp9%e5bzTWz#kl5ZR~dc1)CPHX z@eGVeX2>Q*n=(@qv0|wRU%+Nixl2`<1N&PfI>+sK60I8{Se#oaJOSA%4>|UYyy&1P zl4O=hR{;3>tR$%`nPb1+}NE){>Btz&I( z9qJ-|P{j8Z!r^_@E}6WNRy_QAIP#G^&AYC9Vj=`#cAUJHWAZ{8p*q%UD0J$vX|tw{ z)Iv+T)^vzUs=jnjbmcZ}a-%Ry&Q0xJMxz;Ob?~z7(c5df=gWk z+E&vWACU#3Bx|O-7wpUBv|L(_)E}G0M9cfY_!n&r{9H1Il5?&u@Otb@gq6kjHovyN z*Hg`{L?+>}rDxzey!)m7{vCyPYn*Mly`D9i-NT+ls|f%~yWh{vUY7Z--|5b0R zO5E@jWj(;=68UrfG^XK0NX>Byyz+L<24tdO9t%(up(Tr~S$-4s1e$u`V_t=3bT1X} z!Ri4BBvcJTww>EC8a1^_rUC1TuY2gNC?u7X*f0vqy)i0Y;}kR4N8Ob4=(mEr`>e_D z2I>!n@Gs$%o55#^iP~k(vwF8>-)5#05!Xcu8-e$y+f?)t(w3d6;C;YZpcY z`NcjYIkSWec)JK1_TRGUgw2~lTK-wh8rhhSFAc|+slm&xOAmx>N|4Toriwth_x)1U zP#^2`}r)-3~j<^Z9qWa|L+P1MSXq^e*rCICKUh4?| zAexbOuLe82>fT09G0P5Tp`F=le`5gf#-`;6%7=Z0#95g&M4Gk^Uc~t$qCKk|1^TBq zZdEOiPLl^nayDn%$%fPoLBgp&ehmFL11huU>)EykD5>Ls$)|{P^1F6?6(7Rb znWU>fMBGwNtW1ThQmt+jQtUr1HJ-MTsCJ}tiYoK9`dmHh65>lxIQ%RS{?T}?38b<; z2TCm5g~kp+D)LkePGvYQ0Mc@;WtmM{wK1?m6fsw7(b(&3PH215xrm==l9FbFll>Bw zEY+Z5@+jA03Dh<@IKxm-a=ohjc(;s=SuZ|%to^XCS|DM@s>5TrewnkIDK*WY=E${t zbK`)(`tUWqwA*8T7@?*+e35xcVUKIRilC5-Uk|9=kZ(k2?&*{SS9AAzEc;Q0poX<| zE{kXJqW@(oJ%X|5d0)-Vgjr;ZhC(tMIhqD1Rf?PiH93`>DJeiaUR@io zo_L6ES;=;=_-3ok(xm+P9g%7|d>u6_va>rs)t}I6Ns=5u_7Rs{s2RWhcjt|cNnr^P zCp(2~$Cn=K_vBVS?bLA%xvhA9a}B|Y$Dx0uV14iWWN8ejCg4ty7kldUi2IZTF5{rC zQ0O+7Vx)E3BTYR0&vo@)#0jGq?AraRiCj*~3r7Tc0fChcG{+)172cr@VyKf1Ex17* z4eFBKz{Mlnt4*(!PVSS4-zu^1ddn{psw~o^QhlCH>HYLisvT><0dw1f+3EI4^e>R4 zfcN$P#ndzYuSPWndj*%_Hw{_FHVk$MhB_Wx{N`+p$yPR43j8;CS=5h$)? za$A9&D6X#NegG74f5Bmk-RxagQE5~lX@+qkP-$)yB<$&8a~y9tPIq2?y6AROji#&8 zd6+z>O$t_54ilP#)dNxV<$%%RGF74Pqy%MUXVAx>_KuHFPmYfV4Gb1S@w57V-Rjby z`|a4kp($VJW|-K~gWT%I1L5J6V9=5CE^dGU9)SD=4F2jf=;#38(bb;$hS9g7|HVD} zQx9Th2c)DgSBHhV$dnezhHY@`=f-}{=liFM)e0c5tc?B?Zy!M2lpfmvC;*W8FF07; z<6t-|KA9ix6eysG+pj953IrJNfN)gk=;C4`*3s1nOyH(uy*(f|0XUc+?HUa9E5Ih8 zPb7*-Z4EfF0mp zxy@anxJ0Zgf`3;FVE3=W1NTLS107%1`yz zI=4S7yI(E{YvuOih`_FHdhn>*{inx3lza;5;uEeV@UQi?PpiS@&43|5a9c;9^3ksW zPg>ni{dyn*0Kblo4uTE=z#0m`ON0I1yLVVmE7Tht*vIsaD>2s zZoa-hKc@G2Oq%FR{Qw2Ns9*HuzsT43sfcR78py1DzNZU8Jml!mdf%dVCtU$u ztZ=%0zqaeY2oJvspSRS%cmcn=8OYn&SwDJpKcNr441Z_f$!>eu;V@l9xvv62uk@+% zekEA|f7?eK=*c#JpUd(8!f6sfHM@RzCc(1_hoP;hUL{g~?_uyE6v^b7%-2N*(iDsSQ zP?Op&$wbzJ_3Q+*19+zUU0X` zP;7ne`IL6|rFPL_lE|GNzDo&N8Pa0b(z4n$twL6e%JS7y5^2_Qv$~7SO=3E(=@;j?bJ&^&LKM#LLmWIynXT~lc{+0DM zdenzBzqT1MeyYd%-=DzisMWmy9Zf&=_6O{@VH7a!F75ElI@Ys*nuU7^5Fe}dX>-f% zozSR6kRrrye|AUHW+ABkFr7o6wl@|Yq^u{4+^s-<8{fI%ik+|cVK$m|6|?vWrt}zm zt@Mb#5)J~%2G{$mGd{4p{YX$;W(0k(BUho8Cb)G;A@#MCz_aUy(+P;FCbH)Gjv3T& zTFHHZ*WS}33;)-~MZZy`=&oE6cJ>>#!se!sO65>MnNB(Nhz01_)*WRY$dqT=g-j!^ z(2@tLsVU~wNp$zW=sgO0O_VFUp~ioinJ`CjKvF6KFg)cxAwps=r_oM(h*{0xz&Dh6 z_BI7MWHJey_ro5cSri70Cv09v`8n9+IB$AGD=4bC$Wvf={Zw+6-aIvl)op@VbwZ(z zZ*Dho09f9K16tX59%j~C+R~1~_d{CdQ9Z;SD^(ww?zTajzk0fr zNk!3I9|MtuP)M}Z_`3gmj3Zn+WvQ*^l7#Qok635W$EQ@gT!+u_e=7HAR;wTAhbZe6 zC1?EGDHKZd17~rWgdzJ}?z(;H9M|)n((BUxw*1C*i)A9Kn0K;=;iEC?=yt@DYb#Xe z<4<(wp7b<8RZZ7hpQecpK!?mG+zYWe+h2se-a4^v#1>xQz+}kAD|m5{TF1dRnai*{ ztyxEU@!7|V@k5RIaUht(tM~Wxgu>G1&z8dapcQ*N?Y!%3h1y6>4LPR4hi5FbaQqo6 zyL14f+sw#_3xHrpdN)z3*>a)q``DwUCEm=e_dYngt?SM4Z>8`$p;{FQ280IbNvmcu zyV5>W)^PgV%k<6GN|0ES$1`-(&xerRm_)U!jX<$mT&Y9)hRiKntMvgHDh(M{Cn&vO z1gDcM>#~k!5$vs)@KF9l=WEdvVgzu@!AJX2;1b#?JJ;b*zlx4R-)0t$asdtuk95xo zSE=ArRHH9Zn7i1{wA52WA;JE1kCMlgIH-OpOVQdf*al~lL!D%wtPvk_lv=tM3)J_9 zM{b_e`9kOtL+WLmvx5QfPORi4eSSw}PJD_%EzG2S4b|ZF(49}_lk}Xl670pAb4!zSMe5DYGstRQr43(mcU`Y8SBejvNZV3 zNNSzq+Gxmcuna9tSbW$V9l}e<6B>ZkZMFm_XEKi~g$Ej5afMDVYSh41w@&dIF5xZS zq_Rr0dJU``i@g=-NzQ&B_HwY7v)oYTLKR5Jn?~}F`+?}Zl%@709Y)Tu;x&g`a&@jkUR5()uDpb~)ITYT{HOO~bt+g$mlEBh%uVRA z+VjY-FiW>a=32v{rdQL-A-;C6?^ND?GaSrX<*I1PwlInX!rh#1_A{mbVNPbWZ07{eGPF5~sWELPL+jq#w2eBK*0st48&5#@APjDBPc2h}WJO|k_a zW;k2)0N*S#-H5c+iml7_Akt{$xatuCp54dhNXsZzM5AV^Z=7>gVJ$8){n8kBXPnK5 z=){ecN)b!+)8}PfRy&a01Uu$aw3duaN3Ki5H(e-g$O7b`A4>%^F**l4ripJ zYQZ66jdg6Zb;EMZO=d6&NYh;1@nBc;r1hbBSe+C(E^K2n6{lyb2wC2A4ttSZ5**#$ z?m6?HH|!r|@kalHF;ALGb4p8XfzQ-yOFZ)_Z_nd=t-A084?Q2&C%KCAnipIi+j#~Z zwxT`8wOQ&H#p4<6BV==ez>6rsGwr-rZLLZfpW|GX(;XWS4Se z{x !lppkZ#1&S5{$CqkN?Pg)%j^d?PWxBMp9!S!QEO9#G03?4=7`Ojv4_&OeT&V zR0i%=gXdWAkd?{dCSW?v8nUa2_g)iEA4Nu!d^{Z^nWdI3_+bYMrw2v*{Zw^e<`ZW7 zP9!+l>-`RLB0!}rhtZs=x`*-kXo)CLzj53@XjBAi4^TcRXGTm z^cYe%qdul=qf$y%8O)Az%+VlAN>mUpsQGn9NU$>yw_1j~>QF2V(Kyzv?s&$Hl_P5(^DbV+WhCb#mog|oT1fT@V& zTTu*!Fn0?O`$$w5wFJ7LnCoLGJPT@?CK*tAazU; zw=+geioq(fsC=5kS98;Ut@gael56RN1!<&k`v=CCa$ zx^><&deo`lFIkM4dnJK7q(^QZmo-okwqM2BBEFc@#2NZMaMk@y03F8}75%+eR4|^; z2t|ttqMOw^FDh0&?c-J0pP4_fgoOwqQ^+dwmwlF2H8RAQ1InFoN?pXBQ)1fQsIidG z?~X69Q-$p_$pR@=V@?pWRJ`_2=amm$0!}V%zdm}kY`0kMv!`t!c~IzBWEj59tY~ic zt#@#$_wUS+T8WZaP|Mq_D88&zDGG+5l)e}$rE3 z`~5|s<=VTUad6XUXCkDN3nz29w|?tAT4`1|J>!!!x#$ckp;z?N?zRH%ACfnLHeqME zXVw+Etyqqa`j>`_b*FTM(gSxl=0`H`=!o{<)*i1V5s zh9cyO_(?3k34T3N5LYBq573A&Jwt74Y!O~aEG(#XQ!LBM{AZ}Ci2eV%MCh7ibSd$^ z6aNT1oz7QTE6-9jyi1cWEHc5YCBFL9=ZKVhW$f*Gy4)*Wv)2UZQIhtz{tiJZXPe#H ztyh(81E^12*q^FDv8KVl{ZKNIL`xeKIws6q)sq%yVubp_$-1vBx(8{DAC1=h-Pa$V zab2N{^{(`%KUH>4I-|QS=U9~SfHWJCjBFICW4oayoPmDyeBqX;a{BReB_~5d@x5?U5L6t5ux6o88kWp>|TZ%u;M;%0Syl}U?A0rz3)Fo zmBI_MRqpaIW7VJ$GG&s+_!6{`^`-;Iv1nQx1(Ts~N32q3<|>=@w(V)UP1u5wz0LPd z!%5s^$nm--jOv~zDB~|*wJF<}FIhgBBTqF8RFwy6u?rD}0YIji$eEEZI<)TTx*lY; zTD^(t#h*foG!TK!dvlpoL;wUS36mLKd+KLmW;4C_CzRZB9)AjK^LDhtfoG0W#ik9!x)ZU%)Z~Ja zy!cY$Jy^pB-HgA8s%7)176Z2$2nBE43TxtnGm7jK`O3QOYK<$(y7XpeSc%WJ3vx|s zW_rKN-p%H9y*GT-`yp}G>@BmfHhh?l!Vp4?P}9&cQ>_Rf7c{KO8z)FpyP16?%nlpr z;KFiNz%<&^@C1k-ToNIh5w+0Nt@E;7=9{v~+vo)1!P-q-Tu{9qDqJkWU69+ zofgO$l@#eE+LCs&4o?FcoM@&A9qmn1};Y`LijBfY|nqIso=RCQNQgO)l={{cZ3-styz~!a4S+rQ9 zs_x$G@H_KtL<7g9>d)8c!)(t8@3BiSS6}?*x$WID6%2`B;RwRK9VKj8Y^PIJSkZXbScCYcpT*8aRy(bs&T~wKh8il`hZ4ST8vnuAIR$9~bZNT$m5naj zw%ujB%eHOXwr$(CZQJg0)%0w{PV7ef7n2tmnKyZV&Ux~AG0{hCX?k1-mwzbDm^DhS z6HM(bO!v0oH3)P_@v!PY?Cb*0a@1AYFRw?;eUz#gya{o{TCLMFUh$rAlxy+#!?w>RtLoV2jgU)rviE?1XI?2K)Q7%|lNMHaIn zPhqV->0Nz}GWr30MdH5W;+k#9Wg1A2d1sof>M2S2ifx}M9Y-{n#7Wi8%JMw#g=d}S z-WA%0>%`u_83!N5A;dZTIDcNl3Rklg%a>o!ULAIyakkjxS_VxFP57CMU zVa|iP@#&QEw}}be&kBPBrEemLf2Wes$ra6p0;#eIy1y|8HQ!W!7g~=bRhYiD)MN~j z+|r=mz#(}ora%=F)VMbSXp}f5l1Uzhp{cAx==EFoA)z*T^!wtA&2zo`d&*C^5T#H#y40gn38&3TtpN42vyzrqLUpwqctatw-4koeQiboEHK zvsZ;FgnChN9cd?~&;9RN|K4da*q6;_#*T#vb$xZtIA#!bp7VCO`F7o{;TIjFBydXl z)xe|~5I~tLiOG;%T)T-pGZ)2p1izgm%ZYI-->o-gXz0)Kl4l=M$__Dgw4E=`YL* zjBj8zG1YtOOfytc@@_~`MQ0r$rDkode&t!adrx0#;S zM5P%JqqcqXrtpRrs5Zji&uEn*5&2ZKM}_hOkyW~`^7ZDyH4cPXrQMl9Fi@7Fcb?8* zq0{t_$*+x?uDxGGYTN$#6#8@-=k9Y@trAb6)20+ziSmuL_m9c(&Wq7rHjy8=>M!dN zmH?W%iP^r7{EYlr>0DS2gv%iAh!=$NKaV#S3V&naEK=Cn1Z`gMs9uKHL-BV#iBaq( z8mzc#J)ke5LNMK_^Bqj*Sa|tLIR0{Q;;6C{;u-U;1X}TF@FJ&Bo-H6Ho`>x%<0Go$ zoZi^3+a(m|eNb8j_2ywE+{9Mv^e{tOn% z=Qsrjt0C|%Q3HmxMwr_R)%ho?HR-bMX62gBpo_qqCWPK<#%6S@Dk#odTJ@`c>}>LU zkZYIoE3dhFa7UMX$5hwjCg^w5P8V;~vp*JY^fE=e{oK{9AD&V6CaCw=0jA!i44H}c zx*pt8DJ<>ZrdP+!?HQU)*8#Ci#4sG%<;}axCg;ne$SL&NIaY>1RWU-lcfaT5UZmQA zX`}p-nLtFQjg4ed+WDi}=h6~W3^7U2B{D38CzS$bbD0ArpZg_ZMy)ayFZ9lIiiB*W zyCffj0!R;^BwujJ`u&c<9eMPh4)xSZIXioF{F%vruV zyT<@&usfLv#0(|SB;<7(Sm&9RDRiXQ$si@ebtt;0(enyQhGNy5-Z8-edx96?jU2%nn#hVFlRqhpR z$dejJoDl6k6m1DJ%+#i@K#Jd6StZ_?yMpf7LYH*Mixh<&1xs*K8z!^t%=2tQxaH2k zjv$*$zxYdB@+h4sQt$B|i_TPj;a&%!03zOCMFh6}SuObAVo&b#t__lwX|K+*liA;~ zr#WeC-4nOQi~!QF1+1xf(^)?B)%Rxfe-Hacy>;Nl3b7G0qdQVv3mt5P9%#s@x1F*l z$&yzTt8>UX6N`ZUWoS*X?I*oFb-52Y-hTLe4^HE#6|R{K3}F;C_>;`{OZLSRpVJfi z-s%?a`Uh&|s-vdll2BDV;ZT|W>6X;DdUvlQaFid;B&P8jd;b)1i2KU!;z}4vvwJfa zF7D!-oF1OYnAI~_S(EWaFu5bnkMDUO(?R7l)<*yYOY9MbbAz{^6p^Ni!3Y(2& zc|5LK@ZDx}anE*y$O+xyr{<-Ma!2xWzc`~gA0c;HO>4av*bEsK?9 z84aZFv)qSExHsXmZid?QGA0GIKzxo$K0leYMbV>Sn3|LwyDsYB_K#Fi(lj#6RE+Lk zzNxzDBXg7BMfh*g9|K1Q3v1&FU)~<(wgq#IrKtt^e^vfwDQWHtRgc!+s5y^Xlf>W( z*)=sPlR%zDC}P>eBeknV=W;xv3sh4yUkyga(r zIj%0mj7NPaiH=AJeW~2>cd#BT{FY7l_iMI^uHC+4yh{Ol&5}X9V1FKNln|XepY-tY zF?=||TZp*odm1l6ZdBej%^1qKsxZV6%*r&bv8p8#+^e}VUBLjx3f=bT#Jf`XIe6GVuaou3tNr(9%syy7BMgETRSLv z0(xsJmDRd#q|-B6mOG1IzK5u^LAw-Qdf)Y1LOl!En!k4|UFNG31^1a< z`G(#t^(a2Lk_{oM82^!8AIX}<-I+C#fn^;2_y#D?IjsWb9480=gV+@_-( zCFLFVmty=;+dfDwH{MXCYg1VybfZ%)!Cp*1N#`*@cz*|Wo215)uVX<}{Evf$$`#&@ z93ShCSF=!H252&x;qAi1oEfaqBmN92F>i#={p-ga$fMlbU*SfIi1h%EXk(en9fxOf`FK3CCtFO!fxzbe=BGH-Vf&-kMq_1 z>uZ#-gY;(EN!z^;ce3Pl+;r-Hoo`)pPdDe0d2<5$sACXjQs`c-d~`;7a^Cb5#dt0E zkf(jS)l^k-L_IT9k(I&a(~;#?=8jz+nDQ4%xKHsUy_|~6ob{G)mGP8d@ZZv+Jv!?m zQ}N*G8@gEMB6~**{=Nd2*j}P7aNYRr0Z05WEAH}kjD+K>sDgiTk6R{TpWyM53z4QNuY-t{1T!qm^)TD|c2WhPPloypvY< zeK^>~Nst!<^xMJk;JND|gfu2KjvK(5j9V%pXdFdj=Yo7#r}rCur6CHL?|<8R{BTt{ zR_Wf7JHC1aPJA;ldQF}mo)*@s#zHFniP>#}zC}%4h*fX|W5jt}U<^YHb(7g`VStx> zU0h!*%&(BRRyry{3Q~9F=x!fF?1sn&^xEE{AUS9hy}5Bfg(kb{T-+@!Agru=-n zeK8B;!nVh^2|IDC;m9eerT(~?4?Y1JU+9b1v`6HfHTpaBQ%IFnk}ka-Z{r)r3XGgG z>P6p~Jcj?3_(%7Z+Yg5`0_G<)!o2squ)Dg`xRGFT#RetGjGO5=o33z_7HYz;C0EjP zwaB!?;klAq_8#1QypEBa zY*88!{2P%Tn?}zu$#N5OAz|k*a$#q-^-^hjEx>AvX}I#wdrQ4rAh)ilY zd6ei#z$7{DF)N#i$el)mgA(o@`Uwwl`8x02-_6#3n@A@qg089XVFiOjw>z-$C~l*b z7SC?OVNKS(AE2TwPUio_EwTJZZi$oW|B^~f1RSi)|8x8QxFt45c7p%2{ukU*E4Xsz zCNi7WR)pm|P_aA-n5%2+frzl5UjMe#yrNblI)x&|aIt*W0cz^O&CPr9X_n_q`^(Sj zdrxw6!b`fl$=|7+*((y*rV9-#WON3{Fq*0U^WAaY2O zJA9%k^?yRp6ZmGJG9cgx20$1LSs?1v{3ND@@inyW8GkGg*_{+ns2>pi$}@}^ z)#~3DAYlCWFnd`t!dU_N?%a^^13{aY#9bC}=grIJ2K+{*+ehjA6^Ql!p2xXP5 z0w@O{_Aa4+fPC2DM$+>QRz z#@S%WEs(uM0KMQFzehIZYo&^)27~|!b`UBim<5C=SI7EsORD3}DfDgU@X0pVdG}}^ z#0f&PA1&~imxA~TD2a_s=LXxmxPrKUd}}@IMIr+L`aqyvz|(}Q^5D~cj6yRBQ+y5D zz_RjlfP@jX{BeNhZdZ5ZMD60$`*5zhzVmqxf!M01j7A`+h5YoPI<5K_NCB@+W zWf)+FFXF$e1bB$QzDMqVXx{jRzJHRwxhH?LuYNQWsxq^;@xe-ZfBj>b(s`F=F6p7Q zdTeU$6y*K;0R#KKq}7Fpd69TJLOfDncLK^X3!z z0iaImCwk98U+oS1K5$R+17Hul*8DBV1LShui=<_DW%5JdCj00c2jqwQ$^O30*g4!w z0Pw?opdW+MYyAX#i_ZDFw*z0T_zK&&L9OV-tlVW@;zMlxy#;#R`1>R9T2}WH37aeH zverw$)A{&sOP=f{p!eH;MtIdN1$J?C3DK4Hm4^E)`wskRgCazfgZ$-af((HUU0)7s z-tkT)xZmHxM-t_b=21L4&X!~wb+bXrY|(&Io1D&AsZ7MZI8JD3wOBxP?v&ij;C#`j zDx!2f?AtIWJ>C!mmBsQGVsgHGUe7|x29bv(h zopASJIpr4X&{d4@&FlD@t!%9z7;)2oDK;yteQzA(K~da3KjD1Bcd%uQ(Q#XX@|re@ z6mhHJ8rN(ssGqW3_x~6;)f`6{9D~$sh|tLMAmfcIsY$c=p>O(xM_#vz3kuY zg7zj*2R3ZL9RI0fAIzF)t6v~02@6fvVXSbQ%cz#fp_^LH=smFGT|CV)xDfvL@ufS; zANvbq)$ZLFF-=to<*o7j^cCHF4|qvVrId>b{PuIj6}ACl;y)}A*ci1=rfQovujfk6 zO=^F1jVTz}W|eJ2elaWjD*>#q=hKOPscHMG35e?7BmSb?k!a$-6m9(~vo))5t&Lm! zLx)6mA$eGe&=gnLY;4{xYLl7*@yH~=CR>0&{2Ex$=u0~>Ikr&cY;8T9PXGn~Dxrn7dfoS>~-dOo1tc0nV0~&ewGz(+I$NVZ)zWu9nnTrvT%6-@eWyoYZVZ)tm$q%Imci`UOrk?bp;Q9;!=L^k+*`F1r;-Lx-L4FnC0&BTj<3aUCSPPpyQ4TYHhMabu}gbz_%&Ue+xuD@8uWzzWxJ)W4lrb?iM9w!n-y7_-h59>`7 zGX*!5oa74QtcbKLFsf0d*vBTuk)>`(DdD20`0t*J!leQSVCo@)sG`%IY@}Lp-)3Jx zoWs@3AJ?i``E>YyO`}BTI zh}U0ojg5d$jV*CuaSHRoj<99yV{ATFu z*t|`ynJ}P;DbOt(J?Rpcx6T_`%zd)Y;Vgb*iy*M&KPI*z%BXiT#^)_0UT=HQZhb?6!oN**GSE z$n(w(WVp#^34N!echp7392^n%aLU?v<1Dqs=pPk1qHjR;H-ShbPUDZnUhTF`8NVoX zm$vpH+5TS*tXKVG3T3u2FNAmn1T#T%0*?aD=rLA zU6ReY3Q3;1^g|@Z!g|NcZ#!+l1#%zbT*QkLj6yz!kyqc(t72-83;b@^4<#a^K*N*a zrxKQLmXs?0DJfTxgp$pYA#aojEjcwLILo!64H*qO@97sWnyL8=*7B{i_%>RyrMrT; zQn^o~5F@^l?vl782WKlvD@Ti8irWx9A5){p+h2brnnoSkUVTQ1Q^C?_8@E>vQLWga z{OA0pVS>@={af({LM1F8WR(Aqi4U&SJ;{RwER8XkRCkm&1Cpy>PHAl|R!w1UbDI^J z*a%3~k_2sG$^#s=vfQ;9T8A6@ZuYR9Dd$z0Guk@g!e7?WJlAOn-Xinam3(xkGWcM` z!F){PL-}w8b5%0UsH1DRA!x30;Ha7>N+Y*Ec#r{HX_aD+!9$(MfpKj#L$L?x8H}jA z_BnAVOTb8&X}&}!Yim_Gu;sKa<>`~G5?PGUBG_FKlD(uSw`hkV1nbPeO)Ud^tVsF{d2@L`SZzyu_Bz6 z8R8}8yUufTNHcQS`}mM}aN7oa>5IHa zQ5JFa?8H{aRDwyKyT_c-!yn4$zhjA0%E0W83q2ltC#xQ;GUWBTrq2L%td)QE-0;8w zpJ5D#{>JOLhRDMS2NTk2SM4A`H&EzNBx+^Kg@R(r^RL`=GbpHwLM~1nU3Hz8*v$2L zR&$NAY+-!&(Sl#(#!@Hf0=DE;J-yn6bX1qZj<-!zKI{oMy`5Z9p3#xR$nXkDEyB=) zjFF&=stdA=d0R=;=1jfp?jf#)CG7{)3kF;X?6ne&c&BmIGXt;j>6LR7R(4&05Twkd zH80zXM2qdNR;N^~r>H;X155104d$q2Y)IpeQ~Oc$aVE~HorV|Q1-NLF$@OUMY7#c4 zP4`!VlKn5ojCPxkAfAq7})$xUcd>|J5w*Acg4F4b&X_|RRRGcbnkDH*Ie%`rN2 zV8mEWJPu(%?k=Zf3@u=7&fpL$&WL@?Gd5LO<&q=$f?VfruddVnX^PW)zbHVMQ)zo; zN1Z*2ERBPyI5_ZlH44&6t;odyD0U2R7J}traIt9qLz8IFs4W?D6tUL|3bTGkOe1g2 z(1(E_=S@Bgvm{xcsO7O^i?UZ18BKGHfeYY2?MTd+qcqeY zt=bE*H~8NMyEr*VOUsw8Es12jA}jmrLqpiSU-Em*x7a>vFU;Cx-cP4>rK!7)`k4*= z4#=^f=>pACPwpp^=^+hW#W5{@JG79JUAz;p!n&c?7YRLNo^uxYnClWbSa=;~)Lm7STTray2xbjfFSN9A{S> zDX)-~aIe{U9i++ede-oqsZ5FRtPFs+OP>8~B~!sTe(dda7aM|EEGpYS1T zh837N>N#W)XL~XQC+Qx)w1`;({7P-@&|hFGQi5 zcjR;SFk=cV3&u7a@)nM3wgC9oE=imH!$kZGwnv3d{O%8Lcfe z)y+lc<9KU)+rKVUWJdrVs31S}t@m2JaQJk}KbKJRfp=#<#WSEGqaRAqW}AMtro3A> z+>EkB3j}BO*nTm~O869WU#UV4Eg0x*shhswODQbybc)lBp+fT(A0aXSttwAti}CeD zoXxpyzOSJY)oQpzepny8Rx%%{jR#2;X|-^gls8kM71L)#O0_(sThvg4@hXR(f~QnR zL3Z>$nyXWyR5z(-iDz0A5zI_&*Q!m&!lg?kD$_=~y_9s`!-A;_clRKZK1&97PnpDv z3ngJPMXIjbAz!Li%J=i;vS(6Y$Y%!NjX-F>)=`W+Ju6k?_VJhQrJy_M`cuAh%BokqC0$(**E{}bI{X-4VMpM^r?UtRLZ(J$Q2cWSMWW8YM^vb&C!^G!zzwo6=LC zz%`z#=guV4W^Vsj=!e$q^oPl3II{2Bzp?E95Cb*j)km#q@n?5En`uxnK0lz&C5ayW ztX9i=OD_TI&03qltI7DJhvux@>C5m8HQ_#Oh=w*T7w?(m^lo*%3 z`!igd&?Xd^`pf(_-9RX;8T3Y;hp#p@w+&uUJ<`dw<3V(Mp1=(8iYYd+1PX`zN_s(; z)uYT{6Nz$cAZsWBxrz#4N~4{lt2Zgos+vi+Z(uo6Fy}hTzFS+Un8Q$ZpAXj{VP9~d zc3qA{o%8u%!>Piu44`}_+XUOiwRsx8a>cIeg@L)jdV)O@JPuZukkW;62!l#HoC2^a zZIp|?EKU~}fAC1A&tfy+Op=R@;dE`1&k z&M34U-0|In)&I71NGk^Nw&a-|X|>C9f6FwmZbUpR9hCP(yHD65mk1lBnx2Icip9mX zJvNy(f~Lr*KtVLuv_o1<1~p^3u>ZUANu(YViA&ALWa^E&bSdHft5V^raZ9Vet0O=8 zx)Q%`VwnnBr(RJvVFN;0@vjsuCH$SIe{Y7No}q~=Avs-|#KEP1=wM4xS>JawTnbpu z(x2PLfpw2Zj${4V;;<6F{08IaQF?0{%_}eNq~m~+7|%@FyPc&?j>1-g)?e6(UhrZc z4z;D^2x$XLvxEy8x5LuDHpVj{Ua{kr(T6ILigwU9n8v#0BIpcrUe65zQ)=6l_ihQ{ zlE_IYEvg`$K3=K%YP=LcKOZp-X|#8EYs71%)PFBD%wn;2OVLdzjV&}B2IX&jdK~&! ztP_PYSG-gW%jz9LwN!l#`F>OT*@%J2V?eMEZ6Lc4U+d#B^`=qj_JWj3*Xh%|CcHVP z3Yx?`JVfAl8Nwxb)JV#9!ve!3?~?Q^OxXgcc6;WaFkJtx^ZPXRdAB#G^>3G1KLtan zQE211!1HK@5P2_Bd&fc8;9#$gto| z?e-jduK&VKU=5%s7m9z(8$d+U#b3aDnBJYx?F+Y?mXFm5c&`7j1m7N|BCp-K_Rc8| zN}L}7&Eg^_%WpzG`qPqlg%)w-aia#EF*x9*e<>rRB{%coJVKz{*}bdbY)%f+2JG6C zYi2z=m?#~h{v=@bi`_P?G`3-?R|n2`zsIBb;oa*8DcNt2i%`fQUnlo;RDYCk`l6Jz zsM$=4V{F5IK0`?9KyM+sw)2yB!p9+dEya-;nfZ-(iJY?PReg=HA zP`HAS3SY;S^qmg3H|D!0_u#wxVU+&4xn&z9t2|TpT!c%pK9opyN|RB@u|g^#)rbt8 z>8Qqr+CvFt`*$YG6pcdz8EE|MQxG{>Zc?<}csP~FmaRt83^+rhq8yNdt&mt(QkQ7r z@RACL8`LN9vWYtuR2!@SuQ6tc1rK90)TRrRf~tcYv}nL)6K~`AlEqLR2>W?;_ryv3 zP7fZ&l_H9Q6ZL&!SvNLnGE#AEFiW>Afblf!eCnF=t_r?+O$k<$aOC;bN>1bVnAwqt z-Sl?6ayFO+>EaHDVBNd6<)z@i#W78( zjLr&5h} z;cXeobJwK!Rql(C^sH|m7iV6yJE<6Yi6sp_l2i*S%Epdqefl!*w5c4$*qe(JI%Y-` zCpw{@`WwN;2ieIqkqZ8LAvi<_E1tW&VXa@%2)DAr`T)^XOP9=BT=LkUMipRV z@R1ts`Ozo*(e75;Pq`xm{%W!3UdYKbW6))EN}=^PN5P>&R=$@F29)HKQ=d-;NMZ#`&s(ex*K9x=XoRn zFF8}o<<+so6b9E7mrh)J9Q<#=bR4YB5~tHymA8bJYpyIbr*$D@C9r_q5>fyWN4x_T#P24kccr9(S-Sh zC^%{L; zepOO<*jAif^8H5w_o%y;WWaEJjeL+5ebzg|e~-{Dg({$HOvX@7d^TRLCoxpmUZl_7 zuSDNY+T49hV$q}^o(%mHV`LG-9bjVx^xDSX2_t&hbNLlP_C>B|MTtM6$qae+yM_e| zqg`4a;x{gpOwlcqg)FSu+zD2x&i=?W2Vl`wKZ zD^&SKJG*ik>D}dO@QnqeCA{lWl{v`iy!}}-q>?P?ijTtD^0)Sz4rw2IR&ZK>ECqj2 zA1Y@{(muusLQOWqpEp6s7-*JsS?3+(L66IdQ$53(*KZtNOg+m)3d-t9{?P9&b2u_P zbV2`AOe17IYJuH$EE^Ct1UIvr7e}+r%yK3V)(+EKDxT_=P>I8bW0m3S;(O_4+7OrD z*AGW2ct1R$2s^mc{t=8!TXeTg%||hlqBr6%RP~t3gd}wMyD$6*p&$Ye|IDjqJQsT1 zCfa!fbE_n?(SMB%awM>RnExpisVHS<;PdTt|Li#QqND?=GddOQ9r4*eb{jt5iq2V$ z3hDVS@(}i^n6?mxS2?J}PFv?P)S6a6MpFN-m-BGDV=r*7ljxAdOzyEGbD^EqPMO6; z8q#uY8l$cKE7vl#97p+(@u~Kv_MTq2SNPxqR91Y%)Ksw%qNxE)yGlmDD^FN zUEW^xX{A-`=<&kd8Z~}Iu*QYJQ;2<#z0OSJYW^d~^CQPM4&nDUX0_>)Wg(pe9+eGqR7k@0$(QJrA z8ZvT&O{xAh&}~5s|1g}{dLz*Gawlmm5MNcJE#%mpUkSA=iQstNp_26^{dcTt(HmAb zSo^QT`M2bFKyN*xeB?X#!=KNLpj_l}cX54`!OR0{900C$iWYV^9VTI(KfdlNNQ?tT z$3amzD6Zu>U?#aUc8^FXopRwah9K~0xC9OXc|JMf0ts%3e8wDyy^Ao(N*7kx%}^K2 z$K7NDc5lgqBm7y|p|2+*9zTqxCyWeHo18S0&Yi8O)lcOGiH)hesK1n_&;~aGBf@h{ zY~0r|j_i7S*f zd?Yb9t8h)DBYo_o@G6kN?{Lmq(|8L*TVIr>k9T=jsSPsaE?KJO_12;&>+jQjP-8C! zD@@xtR}t0zI{6`+`6z;!Bs;<_M!4>=fU(r&;aw z9tohj&ppZ}!&0=zES!o9=yoM6&5RSks;ogryOu0chQGmq&%N-~Be^OA>ft)=7zca_zB`7H%pIQSHGi*_U zq&Fp{qb*ubg*TN8rp0pV`Rys2Un~OjScl(_l%hGk?AO(?16?VPbl0Gk)(C!o6Zu%iqPv8tnLi{O{z#_I84KLO|I#7lot<=KSOZ z%rDh9fj28j{07h1V5lDaOB+ntUN1Rx$m!m7R2}v?sBDk)O@7XQ;#1ekxp${yW{Vvz z%6B)>UIs?a;)bzAiGt}5ICnY`5eT>1xk_KC4KG>rT^;kPr{xl3GT3XDz(cq3%P(}A z9%g`^V(Z&oV1A7Y;oUmzw` z<+UPCcN<3#^E_0LdSyInHy!|V-^HWy1@7t*uUZc6kGY~YDf9uBQhfBgwtd+o^c>H?yWOTa@3c=io( zP{vNmHqNw%hv+k?a~H+tm)ye>`ABlr*We%L42$U#7S>5mM`xi)x*TP~$FYh4Y75ZH zPOzoN#TOl?)MCs7Zd7DF?$(QoFL^avS*@@6*Q@hL&UZlCdRxzDlk}!D&+ZHXaeb$! z9b3)Nh|*{3XV>g>_*CS0uQK2~!A^;))7#CCXwW6bi@qf%??XaLmal@Jv7~7XrMgbs zjtq>OZZt7oMTLt7U7 zOb2<TQP4wHHXUz~Z~WBNvb1k^m|=&9uUCWx z_Ve14&3^MVSt++LMIrhdUPs%FalXaMcaw9-QnRt0r)3G_Pe6G~%CCj9S|Kj;`%_7d z)Lji4(72{6zBi+jxulUgzxIVpvIUwyEk-2AkpSzix?S)+xy2=#ON0(7sD!RF>{sw0%& zrrD_xt8Z8!SpwR=+#@<3qOSAxuBaAHy(&Nl&~j0BwGIc{c5mY4!TOa!wTsL7vPHP> z*O>Ph@@cTuv^(Rtfj?85{j9qc4d(>MCmN|dy_9U$n;3NbwR%hJwDRw@)J)!yWp>-d-Rhu`tmi0m!r*s^=pqc?p{$@08GN>h-wA6lNA z-Ngo;4#}^oBL|Ni!!I&2H83&~ke#E0aBu?jor;tFP5SEu+Mg@@Unn#>1Vjh#_>rHD zT*!qyxnD#ls9z>VA1%QEEychv_}=~j@^>mBDj7%|sE0rm&;0YM&$0PdLyjEmO}Vvor8ymhXW9z?P&-THp96)o2h!lf z{G`N%l#g410Ltb1?BrKNggv-Anb?Q6f88cNy=9OyOmS^U2RgjKLLSm>D}o0?)p-F zW9K_Mf>sd_u=|m&K^z2q=bp(K)IICIo`32i()%&4qI|UhYxVN~_%L}Jq@gX1_kZx8 z_{O9ut=uIS1Q1>B(*9^t5`#X2yf!=nuerOq1Ale}00HX*|BHkcn+Fm4t~tQZnUGzP z_q)>_=94+s1^4`%1}f=Y4aB_Lt!K%T>jDQ&`xbUYq4S}eTf}(zVP5}f`~0#0bWQr9 zp8jbi0(S+3@_Ur@!hZ96w4fq;Vg{dUf@DcXgEqx0S58o$|B^d&pY)1uaYMFA z@nW-hcGL2dI2Vr=r$D5?BRl=&Wem@(9LE2unlfq~;Y+b+aN@U_g;Vg5d6xf8WKdNS zB{p>oq=}@ORrGjkaRBSX>KC5UT57pJwQ%MY@Z}%0ys@YxSpU1R+iT9smj(Hn3VOt% z_$EHAVE?+aw>!W|-_0T4w}E9ctGtVc(9(okabpdC;t|?w`>63u%Q&&vdk|7#cl= zE>@+IElg`svb;*YJ3ix5ks~-)F_x$8g1MHir*WXTS>L*g7s-}8i6dN4gJmKX45Fpg z7%OhnObc;{;vU6fQwZ@PNSB{Z&ik({Be3I-DHBM#m43MTAIV3;Ah zs2Am?WDh?F6>QJitEzDPZq~YROGgs#NM=zUR-QDf0vUx!5jjP7jZbNLFzz5>MqNB= zDa#CWxZAQk!NqQxgSJ4OExXa{h0u4PC!ETQ<##;YX)_7t@y)~a!7pu~d2f~YyvDzs zZhUlzU5bAXkat~O50z--23Oc(zAu8XpZ0F)M2iGagB-XB!PSXdhdA>#O7m z=D_nc;ZoIy=75_97zZ5-MFMgcgHW?o7|E62&S$-`Yq-K2$wYg~`%^6`ojZMc%#zo2 z6-ab4Ge`NK8@c0>tD2uGv-R-5pnhL4CYk|!QB%`VedsKNVo_{XNH2oF->U``22~UR zt{Iu1(qmqmqT#43S`vti?B{)#qTtN9?}f%HcggsH0P5ivHt_+*{crNThv68g%GtH27m=wz>JJdn=n- zIE!!X>3UECvlPq~nHb+yN$FT+^*mQT7q(ZyPnn>{d2?i@;;&imr=(wQK9v56T)@X^ zRD>`NxD$K#G6{qK8vC$P(f=OdPphKTyG3X8YvH3~tkWRzIfr%d!1Mmm@J9TG=C zlEr|@_Te=&0UC1ZzsUN)(tcyAO&y}ys)D{tVs|=4L$RNczHo{DD;~GemXbjk(_YyX zz3vw&wEg2zYZJ@b?+UK0@1^1%6?iB+CH8)=5V%lxMZ;hP(5z}48FEsp`vmAC*O z(MhODIE)t9Vkvk(lZ#E^{CsN`IJi>kLcwADS$VCkQi@Gctd!+N#GTxi^(|al4SOOY zyF7tjusYbD$-d1SuUO_CP%^uo95cbw?~OBrVJO95ZsUp96Y4L66&3H)0U>0+NcB0U zeYy87gj+E@JRF_k^-l}%#ce9rSh0Mr&&rS31s91W`gos^jmJoQ1m+_w^jskdH6CA4 z=~pDRgd;Jxv6WE^e{UDGI4r(le07STo3cDJ#g~=O2TVFVOgGxuewrr@uG#7TV(*<| zMGe~~&E>WBvTfV8ZQHhO+qP}nwr$(io;{gNdXo7%{U7vE=RbV&9#<-Ps_v@-S)4FE zyB)JbKTBb$$d|+V4f8hd)bw%UPiB%=0(eCc5h0nvvKTvRq#ncc6q2d6!$oNIf;h1P zFG*krnIXiU7ed{`DnyamKpen=f?0MnV?2Hi`<{l{;r(3M;rzZ`-V`8An0D}^wnb!Z z&UM@Z?>^C@L<5%u9xgmA#v8a;M3F1_OI#JMe{I9O%wzF$+Q@Bejj5%9@@RP(|bydD2jWYv@y=aiN9An z40*vrj#arNvAB=Uk@;d!&5PlZ+Zy$`rpmmPso;*97lVh))R26k;C+AAr4ekTI7cN& zdDjhAWKn&d8L?>?Ao@A3YOaSO?u<(y98NVFob8%{G*#tbTuPpzWi*AS~Hheg4H4ezgSRD8e71Z2&`lD>#5WiU+~}~=W`4+ z(3~hjb;f3ZAoCCQAhnpH9;TNVrvUc0#qrEYkd)b;Kv{X*x$(&AT$iUlq@s1tbKA~x z267Iz`E?rrGtAm{^@_(42nYi2eDj9Ue{Y+S@eiVG;bD!tFywK&5i$=OABB5h@{2_M zIE|1j)!BK7prDOi&iw?rm77LabrWtVXyzMBNhlNU3T&2+c-W0;$##Li=zsf`?BkQZ zQx-LrD#A#ao{@v;-EK*y$j-p+`HO$t)?3Q1bZ>E#6=7b6NZPq{&&n81X4$kGb-BXK zD1gA$Qap}&z-lWty6Z&9ra2ivLn!eX+fn75Rgb=dTi+ljOW+PkyNyTRYcZAWLFE=1 zVLs-I6^qI0UWq}v?{ILWn@Mbf5sAtb4EA6N24kn*zj}|Z-vfTEzCKwtHtrr#98raH zir8L0puXKX)~Px-dm#P_ebF1LMW6P%rZWwb=ne0ID)ih!hO>rzqzOLftSaykliRcQ zrp<*l1yrI;r3_1o@Z6hY$Kr8}?a%~~@mw-X%d>KZC>+p&Xe!35YhBfAN}+_Wq<$L< z@GPSxEHx(ba9*a#R-)YFvJsX6=kF}DppllNuT+4=33T_$nn7NU2~9Pww%ys*k{XMU zZ_jf)=ZGNbH-s1!{$PprJUM}B){Wmh_BjHEBSl&!;D}3Skddy3vD|gzBZr8f@ zwu!X}-CvJ-rc6LDRZTroJ7rc}Qd5qT2=XP%VES@*3mCQwHPd zdxJnclWXWA%Q*D-XvP*ai|}Evk(A1pO~NILth|w<&D#~{)u7<5QiH9}GOghrG$W4A zVl2W$Y6ECocM6e3pB?>{h*Ql$=x@KvM>5<-?V})$3wo-qxmUF;%MOqhhKcwIh1o&@ zwD!e?EPaqSYNNcK((8B+XJ*;2$}WZ8>DY=uYd4L!M{&W3DLB-7Q3Zij_f&_cBZZWf zFF%<^-JECHI@z86kI#liMY#0P8iH|%V`&ajR_yHu!V-|%Z>CuBBerKMjcB_R4j@PS zX*UC%RAyfyDgj&4!v*#Nu_Am5>uf8w-`?oxXl0;ixiKmFGs82y>pKQI!%i^H9A!m8 zjKqzYER?1NZ1*l6oD)NM3;^k0{2IMFB3gI{l2WmUeB%NIv@GG$=||qrdLy#x0_#U= zt8~6yR}0{<9b%T#(;Qnhw&MC`C$9)j4?P;?Bu3Z0~_E7D*2nM8-a_8cV8ZX1?>j6`_?uq^s>zZfUm-YYf>*XdQX)PB55^%taDP+ zzg+FlR(fzObl&il(FM6PPt?T6D#u`cggu5l`m4^$;>rdy(19!lw}mnW9&3kncXg99 z8as>aQ6A|fX$?MXRCRqffr5P9G?KLy&kKeNx#g3~Klx2&BZ4mb`41uQMujB3JL<+L zfPrURZchb}!ibKwGKjm3Pq<@%4#KlTGyFGAPo!>FPdSLsOrj>tFvW?rI1>!sXkC|0 z)~3%7!AaR6qN{ti3DC>2q z4RX>ftdXWaK{GOdFS?py2``TmNXs#5G$W6ijMPtUnH1 zin=o1p}3+r_q%5dxAm7HK|dgLK#)DPAt<|L)I@P*K#PC27s&cdN(5XLY!2o_ShnpY zC=>@nggUng@_p7S<|qYn&+&=+R(S)>oEwWqos#3z;r8ze(4Uyq?A>Ct?!rX$?ms2S zzR0by9(6GDy_ZSUFy|CEYRTCRVcm)I=c?+NZwFSAvDvW@NvM|}qPMTn6Y7rqXe5;M z>(9`LJD){0_N}-DH>p5Gk*d;#RZtL8Y7iK%efVdr~a~6*dE-}xohW&annvfOKSMNUYLo_7VWoEg0;j?zjuLvzca+T zNQ0b%o!@urV3_o@wwH*+;ki@o52YGX zGUw2G!GUx3agMK0q(wcwxt(w7+B?yo*Dlt$Dl4^y&20$W%AdR0FHd6V6^fjU6Sq%3 zQdTK7o{|{x%wKU4keKpKy&@xQiZght@mGK5R$qHaJZCjS)p}s6!)93BHrHNf`G7q9 zdfYioa~+Lzi7+u(zB<}=wtZV#D*BG8mj_=OzBHW$teDIxq$#@A$rqswjq zq+>KntXqRNI8W>kHmR;6)Ka0dYlxJ8&7GrnnrT@Qw1zDIGk<^L8Jp#skC^Yt zNO1eH~3}FqX z5bCRq=+RNEEIZ7W^t?@x_&$#xs+hj!-b4kVaU?OGNZb$=-C-hF9@A`6=mwvHPc4;w zSIYYBC~@aec&35E352Ig15b49zeihbl$cU$G~rPoTl-K%We$-6liIsKzwGzd#7Y`L zGxuWWIvfUU{Mon4XQej{^(SkdH#be6f}+DXC!x6Ev!^h)?!Y zN0OXvQ<=oKMzN}Y8%`2Jc;~l$dhX6J85*?Xma1M}WeO$oPM*XYw4y26o1zys*0Agc zljx7-h-n6xJyHp5Yc`HFoOi{VR;EVil(n4Pd^PF4V4n1OKrgqlSd3u6;VF zhi@hu?GSxB#JC8HjT%{FisatLq8t~__Op3aT9Lrb1>+fHK5@|}ESo7(a<_Onyek(v=Uf_pb32D)=9Fr&B!J0`cy*fUC8!k%6q02#`YAc6CMO$RCn8*r{=VR zh;h4@#(U|t^PM;7m+$gF(mj^KmvxKpAS!H#zqPed4W*`3tict2$$4lD{b_zcwN7Ci z(NpvBE+A2qC>tCXW&WMnwX_5w8q~DRad9f^=&3~6bIvZu7B&sq}|5nwZ zCS0>_L9b_(4oFmb?XgD6~pml6_Eu^ea zOru}woerdJo1wKdQR8HW3TS1{HuPtT&HdDVp!7)PGET&6%;ABu$_R*7!VwT?j#uV{ z%C~j4WDGm4BUM6QTd6AHhAE?!k_|mk=S7|X)bK)6#ECY9QjN|4e#wfRaqPnQl4G6o z#iSeBTLHP%*3+9}d5au{15|W#4j=fZ|J!#kwI*~Wc7~82yYNI?=j~}1^e%)4Aos~} zM}SY!{iyf~;e4CpW;HIku`4#A0yOh{Oy)vvdeD326O@f@AV^SgnI|%Ipr%fV4_TPh(a;K1?$N%k|@M1v78iS#a;|+HuFx=ddAlc-75oY1G*J z`irKk%Yb#W0|VS-e#ve@JE8N1@9|`@vOQ3(cYL$e+}87KJ^e%~T0JdWUUD#4qY+Z7 zOpacNV2`}X`;S%_!c7k?{CWY-3xGCOQGsieUXN(A5(E->_GWj83m7gETqzk*qY}Z_ zg1fUxe}s0J8q-fXMa!d`ucLi;^gjqiOW9+idl~Z5dW*!SZF!KZo>MG8?VPIAq7fp! z81=Ytsd%kwq(TxUrrs~tkkP>1aqmF-FoC^bsGi(n^0&plfehZ9I` zRT4gXfhEA+Lv&39>C{Y}BoHtIjITFx6%Ja;aU28*ybbAKk5r1H1oUaz9Xg@>-6P6~ zi!QNSiG%LNo240NY$U&4A{JLq3H5^5*Rc($+y@Hj1K{%h#SZj2CBHX=px`FH$A>r> z_@zz>F2_2VYoEWCMPjSClZpH;P+p3^PbTKZjCj9U@l1hLa{)h4(o*XPWWSiwKjiI3b@b>>m> zAt29SQqxd|;_%ZhxKge&OjAQ0_PLh02Oq?^++BzFq~N&wTkD0n&tJ4?C4(_$-2{(= zi`_Z54=D!J6{tsZ^6e#NtfOOdV}nAVwCEN{!)=cT?>C%}V$fPFm)ppmI6=8PMkSMl z`q0JDdzZWlJIjXbFp7fBIScoZ8+5jgU%GU!&Fd7yqDF@Z<{~{f?Bse z4Z6ukykKXJ%y!Plo zWQsE-vgP=PkS^XH_l2XCr)rXOA-RZLa}|5X?aO#W!t&O>ud@ZicoLm!}BMirEK#=L)Q6!^8C&Yq{&zEr^yJMZz*;N%|j zmEZZGfZ2qjg<*|vb8fRXj^u+5+?#QnnwIuzIQoYiWCQhd|+aI_v<)*{UvP4yUFRvT8WWF_%o3|eiM5v4{-_v#|;ceW5ahX z{$<&pVu?D)Cu0<)Dc<_eWl?d|HiPB2YvH7+VF1HL+r#Hw9^W0-6P1OEt`WJWM}JPA z)@UqgvF%~jLh_27{1KkJ+4CyJ!lSz*1~yN#KLgyNb;PqPi(RYB{6> z;{wM2Ajrk)WIHG6IwN9_KO|lP*s9P;w(+Bk8I zf8_W|A0TNMIj*VH4xByuNOKpUFXEOBV=mewpi(SkXxMfZ~J|&rZp{b0V2g?pj<9gSPoUwma7Jz z!a&DySCTmA@^N>TuON#a`qg$xMFa)+uBn;V!~ZIm^mN37$;Zbb(gE$*q;098h35QPRu30THK__J=f<3O4jTp}*U<+2z^isv*B?iLDZ z_O1dI6ysC@aA)UccJ)c3mQ)@$W^E=J+t`Qn@)q~Jxm@*To5L1R=|esS8R}Z5@BOxS z?%EP@No|$HRQ~2$RBcNI2gAdvv>o%Sv?$x?VDL(vBXoGzGBq_J-`BXOFM^XE-E3oD z?q3%DzZjUI!90vRcpn=eCn!(h5 zovM!VbEV3md>lhRNS7gKXcue&Q|s=>w@9?}>gq7!>co>>!#+^_iq1aX47elL;dT(O zv%0Kx?p^H&G<0x2WmHY#*pvK+)sE(Kp2eM=5@tBIGMet86qmE91q>V&0&dxa#6ko_ z&iPR4CIj0bfpSV0s5>9tWrFpUhESNrVq89_bxHYP)RIEGrR{7*j&DMe=;*wy=pI>5 z2%e$K!Dgp!FlICcXOR=^z3BZ;JJB2h+$rRb&=X4>lKmKQ_ZM|YK)OQXcLH1h?b<7dMSkk@)YENl)~;( zfXZPADfil>KHdaTxk^-65oIPHQ?X$fs=k+aCR&mK9?d7HcLe#)vCQgVQW6jNT`2iP z?O5z?eYeW79(M_?C+S%8x`Pm4Yh^;(B+BF$VAG2LzrKQoQH!vEKLcdH(2fB5Nvw4< zgpAGDN+=Ar-+;E)kHcK+2dC%nwec;of!L*4))#t#0c1N^G%g|dH0pH_R`F_+RT-DbQ6czvt8Iu`>noCz&E1i2)zuO z(7wWz#<}21yd+xTL(GbHqF_KjZe<7`SmUJkFD9Wo`#uP~!DQsdd1!HD-+A@Pu#7tM z@IA={BUGG@N1vPCOlY0WkB;3slLG7w%TSYDE%cr&V%PSD;F^-0qgX=Loj)-G3K3+$ zHGu@SN~@1Rf4zt=G5#WKO4HDYuOyJsw;IAC#?(%W5&+W3{#W0HTS#qKdr^z-jkK?f zcLjK)^Qk}=tF4r%^k>CY>E!`)Bx}iZ6Z37<1ma5Nt<8{n-@Z2*cOa?BgW0O*^I?6Q z$+qJuf-!f)&iy6~v~k1SmD8!-GWrABDE)G1u4tvd*yrArhDE`RzH(%{DZ*`66!vB7 zygsF40bnTiX{ZW|SB9?ZJkfQ3!xj{nKZH?*Af4t02KZ639K7c}Eo7%Le{F3}LDebf znUEqc7v^hP;B0HUmoale(BvQz z;){oSpI>>+dd&T;d-1WVYkBj%{p$Sc#B)W}f$z&^8AL3M_AmMf0r6i1poz~;g@*?K ziG%}5E!f(Z~#CO0zA@=1B(8AJpa3>z1ROmbes7nyQyclYD?1~TNFE;|@AHeDYRdaumVN^)6@3uEAhT+q? zrR|s~bM^^!|Mz?#RvtXA4_=ZM z7XH`|I2zyYrV4c!^YZY0Pm_iD-4yhAzZLecB_47Kv`d)!mEeM^t6#%$8@8j+uiqx+ zKn?tAU#qaXG&X=J;Q(%MKNclKR0Lpmu=YmHgj#Ntj4 zWiwkH%G(vZ$W!pZGS+9-sS%cNU*wnvF$~en4>aj|Gp*j-;-0Xm)4r%Vp^udu>%(K` zY(}T|Obwpcw0Sc+N#eOFV-5CC??tDAVSe-#fiY1tK`*qgU`PGrAt_%ji5%0-D*8L6 zw`ecm$=(q6R>XL&tV7MtAHov0jTJ^h>_qcJ93Otfj>r}ju1BCGVK9#JzzE9SzwV_o zyv8(Hz4i&a2~GkQyb*H5wYggwioE7CiFFK0c*{PUpNYlAurSDOxKJ2x?|>N!>$5ot zZ%3nxj-at~4_>3A3=&zDX7t)Xhn_K8JD}RJCM1-Nq&ufTo{3pOM)eZ+MZRe3{6OCxcXj|f8E9$i;WqE3$ zS2p?S!11V~&Qb3ql`wv|PZyv$#*#~MvOBBJl;pf2PF`$SapaGqmyY&{zx|&cdCtLm z-SoYzGG_Z3e0D2&M$;shdUtnFBn-ZMt&mcJS+c}}-#{B|muTJ>7n@vkfoV`VkJBfv z`dY-F1J2Uz_>A#iq>%UA(@;Z@$#oqH<U*Nx_xa|?^njxO6$xjWPPV_^JH*t` zC{64#_4dOuWLC-ll~l>lxsj%>?jlM$5p1U=9jvm+e$KGTmGgq7r8;A>vBDMxVw19y zXS^q?SdF8IhWHG}zFxy6!O0XRtTZ(PMc{Q|z-R@Je~GJ%2PR|KP4(2s7!Vum8Im;YamaZK*~~122Md(j$jrv7G8<+$<}x zCvl2Y$~78J)fc5sX+R#6N75cxf#$R2OM}P(mYhWmRYxEx20b*;i{S3;>;MoUmd|eD^xnYNxtu<@|S#Z(Q^zS9N-W z;w&Gt6>#gQGjQ7`#%igZxyA%G=L@UAsyn+kPO~(&yl$k>!w@;d0VF{P1T(igED3em zEl|%J%dN1DsN5&>YueWJ{tPYGk#sSRYP0;qVER_L#j;d>V=RmI3$S4BqQmq1gptcl zApwuuOvc33=$*AMi1i;7-d`rR3C-Dgc%?K!`V~reHU$KfQRpRojg<~dP(^iJS06IX zU6^lfp-O%AKF4le@AU7s^y#3>?B9S2ADz$U(0C7|B@|(NeNgjCzV+Ag*s_cf@Q;I1 zV*`0Omd@U!;;a`A`WkjQbFw@R0wyblLBF~7O7uvB#KRK{Lm%eCwQzQ{4`dXN2 zrmL70EY`Fz5EGv4xV6l&T};VdhTa=&UWy%YpB3Iby4xAI4P3!_#F$vOD!v#6)%6xE zKhe7o$mFW`PgtV$x@L->vSh;NmnZO!7V$6(tm!|g~ygy z3d}N0oqzct(z!Bb)0~DFi=s?@4LG1Jy(#Wjl!z2cpD`tU?L7y+EY*oe z`U)@TZ?It>s4y%lDT}wlg`~$dU+qJPaUKQ;ADK_WyOxucr|jAVBiiP+ohsgu{=H*F8#g(;RcR^JOC_hH_F?Xo4zIKOM1X0c+eat?EuTB|jLRjA_=hgdNr4a7?el@j4!4ciccl&Nwz9+1BZcD#{ zekowBpPvh;E-T5|^xUL_-|Y|UHV2)y&(p}1!qA4U&iByWiu~T(i0|Kj%4zdEtmcN0 zn8HsEh^f6iQm!0aLOCeXJ_+jA)GTQMb5wLnN<_X^p9VqHk{f3iqk``aIi56h#_Et(ao3vVk;P!0(d}$%wePVL-XBukgsi^PmWN} zp=m+RY%Jj1eSJ2e%QF!RI4-gM+1B}+GilA0C3I9maoUufd>U1J_hANz%@Z3#NECk7mWxoVHtro{Ylgt5J88Bo+&U@m*F7-H=wm>1HQJ`|FQ5`1w^RP z-yb#C6)ShujVGpTMggCfJv-PXD*YCr`)2@+-dJ-oHUUy#(*_1>5^vxM^hzbJGX9Y| zi>Vi2--1IG^)`f0wkLlev_8y!ia_hiJ^DyVtZ{LquACjKI=x7x#{;p97uw3=Ma*HA zth}98{U?L?>f+j<%B%O_M;TV(2Qksk%Rqj|FhAJ&&nWILmT4?@9y8ia4)@Kp>dHzn zhJ`MCgW+ptFSbi-0dJs?x7HB+CD0#>I1+|3<_KF zY>GVW?#C!anqg0tyCNS$ccwca=n^ioS%!3(KC@-rJ27w=HCmFIZC0lVH7d{SmYu4I zA55V4`^9Pn)Bw@bZ8o~FBjw+lJ%H@fDSc4X~zchA9d_x z2|qULqg6!ePI*yO$$I`lnh9C2fr`Jfaa!w5(&>^x!N-R&J-p{HokqKjdNdNX-qdm9*sNE#RG$()O@D1SK^3wrdho z*4iU&ezxc+n&FptX9im|fk-WA)ddh!=BLe3^F!F8HZ7RKf(PrRfVda^n1EvTUd+Zb14Kofy8pKgKa|KZY72MdIGJrAba=hi1x>&Tdo4YP*;7 zz1Rx`CMggbCw@U1BA-mQE(-U^rsyp5nW*R?qgjsTT1SMJ(x_Zv^C+CZCkOS46rrE8z6?a$lN4bFjzt^WzFHEGP-v9f$(>NB}2TRAAb-ZIo{swZ>987!EvdTHu0G8On_VavrjHc?sR%Rp59(K4Bni_e84?99Mq4+5FR&C0gF6Er>hbj;={Sj-_ks#W@Z2&Ow#W(qU05qZNta+J45 z5TbKqCd!sKB6?e&=NYM+-7+e2R=ak8TCv)^Jlwm{Ze0->Hj<-XN3u>&6;)4<6?qh& ze)T}G@e(4GgUAXsTnyy3ZrxLei-ZbJBjzzNlS}TvQ$>4w^r1)+$)FG2l}$c#FOIU3 zC(u^?6=H*9JJm9n`EF}3QX|bFw3+u(UYK<+Mb&?uAS|$J(WukQnlrs4ZUkr`De`b) zVw@)4JzqffJ?V&|6M^4~=xC)p-B73EH+B{*xryy&R!l<7qPF`R5X9T(>ftYtGETpG zU^H?2e1GX7&3D^uZ?u0%#C4^6k#n`)`-FJvex2NE&!X}t_th;VM?DfOIq>@uT*zY0 zP7ey%WafOtZhz~+$yVxpsIxE^%nX4$clQ}*0)jNJH`zy4^E+|H8$9lKpWt#NNO3s< z$dtf#myw=tbMxQmcl5}m7|SL8$FAF^W=8OfKm1IFxn0v!^sMs%lr<=t<3iBr4gT6c(AdTBX&@vLR#erxlJ%|@hB=@USj_}JZ#eN&B?1_Yza6`_r#kW23rMTvuF3&GH!jy zDMGy$SCSI05rGpQ{VCU2=qT#BjJ*2nPSmZ}0q=Gp#^@YCf;imxf3IO>HJZwf*l^Ty z4<|~S_W z=3&Mz(%dvdrZh_+29kaTR06yj-q@;bu3uB~h`c3>u$w9;CV|=+gd%;A)C2)24;(CE z8u_EUF6+iMsb;?w8dN@Bx3cW83ysLPlnaAE}v83DWf>rt{DPpIqh%yxJOHK*M^%qFw>B4+TdIa_NzZ6JBpjk zpCt`KQD=;J>dpNm4W_(l@i7sy6p1(Msii!|f99s`=J5I43R!m3d3T3GIw0KAU79z< zKa-Y?x_1{1m~2O}ZYsdr$$Y1w{vjYIB{PO$Z8*))<*#MQ>o;|vZHgP^4f(hlLy+8% z2eNC5tIrj0n+-bOr)j)n3JUN{TdrCAve8_+PM!z)Q?8B$MCxKCNg3MbQ9TgZo*|Zu z!|aowq!3VUx2aP$E)IX7hpEoEkjfFW5kVA2ZIW?jqm$uz4ceXLvo~2dYrmT&juXe< zs`547b{!(O-S!p=F;kbD<8ooLwsMmR1FL15i-606FR&3q?!t~ufejNnd?VMl2e2M3 zN!pbM&p&G5P%2t}Wic@tYJa*4GFqc43eA_Uwpwz<8QehPq1hKpC8Dn`BQ?hcgEs#iA6jtBa-l*2}kGx!a1R*$$vNzNQic`IQf z^9OuNo9?=dw#T$_=1wR0&@9KpsC`kwoNG9x(dVBz@a~H~1lsSyFA0M%O)SYzV+~19 zOaOJe%;tc6D)DJ9i)P zW45(Y*V0~Unw5q>3cNW(btaNAV>btkC5oBo8$#2CQ$ZsFozkwm+B{#QA?_jm7_|%C zDpM0kImdgw*5^V7R8adg&UX+7a(RByy%M$z-Vho)_7{Y3!4+jUGWDkL>10UEdbUvV5#hqvfhC-(vHlf@2}Xz-x^xTWy#XZ6GXM zO)SV{OzDqd(&B|D3gaPX1;rW5Yxh*b)&e5Sz!}^&zHY;lBPHuQnkdYR603$nyJ#&;#a*8{|b_86#5U}*2dlVwEpKBdOKfgMm zYC9ooYR@4AdCEGjM+vc7Bk$riN`|aiLZd4j*R}C!@~qus00B~@``3ii^0qbq5}+ZF z3pR?Wy3cZ4!+8|^m?((?ScObzZ=9)QMJw74!-4$_u;bH(Rd3NQcbQB}q7}qW&BeNt z?kI@>gWY(y$m3;+8v(;{MwMn|P|2OA13fwS#^Mq3{4ivIo>+arnM2oY%A-y*5-jzl ze4f)z2fcw)giH<3GoCHLTY(y#oz}j$p+58LDv2{{_n8~-k&9Xci;?IAb1B|8MU5Xp znX1+#%zol#&4R`69P8GWlgma6FUcrAHp~vs`8HsM9`F(ooQ>`w>?8#D7Q!zS5uNK8 zQH3caP{=JuykX)q`U>^@l2ZSkGr_q@nmj_uK2^!lW@7yI{K=y(Tq7L_ z+@U*dOy#-<*w3PpWFb%t@(KNTwz>Q%y;u{D+(4RX?{074W0OcW|19c)+K(}=eV>!V zQ_eh34&AXKk5)~bp1XuxP;EJ*`)YMZHdsJP8f_4KI1YGXZ<3p)2*~M`VDa_bR&Fid z-U+_Xc3P~U-mD3bNur9jUO191a?@h1ZwsT|0P1d-7_BJT#L9P{j;7lOhKVR%B4X4z zsKc<)r-_Mz$RixoQ9$&7B)oGCQF?kOlib-6PLBa3bW|5OLEG7`KX?aajv|eQewDOst>?{{t~WSK%GV!l1{ZW2G+fkCQ5U zY%J!Wnc0H(@9=`P(6-NJFReh{vJBdt%HG&)gQPKzP9_(LzB`a-!Ht)dk*HiKjR2rhUkFo1~)6|!Nd?%t($@Npt#ZXyViM6vFDrvW-mhL;uI48?~>v~M9 z6|jWS&#D0CV&&=Uh*9?yh=N+OI)*Cia7#d34S8#O+;jsqQ) zh8t(P1FSx;WLA(Rxl552D;bDa$B5)Q-p!66EbiTN4%Ex)HN-xvfG$r%T`4yUaqpY< z2+Zm%kI$CuteNc^m$>GT6vvXqr4_;;hLYNuQYBtB$2NuQ-9_oUlH(sixv^bIQOO_D zLAnhb*Heg@c;EEh&sO}Tl#QYvGCiWu7#afMr+oCBw}*v?a2KV(up$905;^Y-ZLx0_ z2i+}*caGn5$12%}e%vuN-j#x^=%*K^Ig6{lLa|@C@D1*{|B$sZ(EtCkR(v*Q`u`_G z#s6Oqt=Xu^*d5X%cb}=b!=-EjkGP5hp$IlU5jd>3Qm$Cm#i!d6i_0Uz{=8j15V>!> z0$}pR<(XX%Z2!3LNGq@0P7`|{U(Y<>bWqI@|8($xy18j+<;Im_JWO!1h4N4;xj|t4)b~snEG=sH*-_pRf!h+$!6&Y|bZn2_ zcJpXH3mD0o^Q9kiX|fACNtD^UHs*8AlRXlm_qm{4TA2aw>Ps;#V?A5C(8mvY&~GtJ z+1QF*{rmK4zW%Hgr#Aa_HbH+e8t9y2WAeGw%DmJ1K|hfAgrbEyLP;<4vZpOb<@%M7 zsZN=9M5VkysXjSxh*8u}(+VmbnhEKo1pyUBM5&HVZDin3s6B9~pP|nvu@DaREPq~r zx~5ZIt02ILhmzvgx+B5`ho(Ndpe~6EELAB42=~WoAL9U##F>onJ>9t4!TT|VOLjIpV!C&`Pf7k(s4v9@ zCewZ}y?5BMQUH?T9DH{CthkVza|FOFF`+DoY;uyGc{t=_NG<~zFEcU5%79#WUV)q- z=Z+4gET==ReymA-Uo@TdccfJ?yS@(&$c|DKYF0Ufab2VP)_rohO9lhgaufZy} zN4bv=eZWO&gzr#U&XvjkNi+=qXNZR5zeV%kqWRx0nibT_-2WsR#{VQ5=Kr$OxcpC? z=B0kCQn{)}(6BQBUqB+h^{+3FF9_Yu|F9ZwFI_q1726r&?z8KW=bMWE+iH3_z}VRS zSq*F{hA+BOhGq5*-n!FTsuffH)-!{b_2t2A;y*N?U*+`pC!a)CTjvAv^^mRJOr3rCRwY-Jp_Vyxu(65`>{-GWE!?Yez5CBD-0A)L^`?G@@e&%>2HZ~9k_Vb}UgxB< z%hRYWUu09#)zU*d8~mVqy=KGYwY8iVEFUZQP^lh!PrdG5T&M&aYH^J<)e;_C$p!07 z)}Peuy7fkK)c}i1IHx}~>$jqoh85nib@C!r`V>M@Cec7`>!|b?mXy;r1k}{A<@yfw z(IF!dj-XLNCV>;gB1E+FLIq)(+O7?qqM#Gr%F4gH&Sp2<+WHt`Mid^<)D^Ix+{D!Z zX2DMT;ja7r3WP1_`2qFCpD!t#HOXjxvtsagOf^v)K>^`tbEa zj*`lj9UKqE^&byjQvz+VK1+(Nru~ry?{O66{;$Tq0xrs>Yg`)XZe$5*Sem7!8>Abg zOITo+E)k?9C8R+ll#*IH1eTHpNkOFqq>+yQ!uxsOd%t_X_y7KO_UxRQbIzQZXU;t5 zd3FL#LrFr`O-7UvS7J;A8I&9eA_Qq^1m)AS_mTU-vrb17Y;-ZC=!3!~?{7f8OF5c9|2^dm;iB>W*M{?dyJ#+Y@21S@dA}$nJA zCQBesYl-EA)>516yB&t8Z2%8JlAfoCslraP_#9*B_aQ~8^yQ{mSf@vSQKeTkT@!xs z0e!lpcgn`*TK1RVal7?9A1&{csbn;(UnJ$CI^mM( zP0T4`@xfNB40%E~ca6yS!+iW?xAqy0MSiq?r*=5mAO)K12d*c4le+2iGKPjUS_t2a z5<7-?6^jgG5H(pjTER3gLI%ICVaLkzC05c|Ny%mNHus!wLkC|RT>F5+P@5LZN68Rn z1arNEaJwVK`eVh2tv!rP^ld@~%j-z%03MAipAh%8UN-ny@MWUT!sia+;ZRI>GUNw8 zm6NFe>ajhC|g5Hj+SDi`9hwLYD0Q6zN{pXVJJrIDc=xSl>5!5SZb4uyh+% zFN8#WBM2{S<*?8?mnHjDd;?)2 z=BMJ0tA~Yk2r~-Ifg-F8lFMRtD*kq1osCpdv-HSU#eP~0(jIW4+B+WxJ38MxA{)U{;fmNrUb2p*%!BSEJw6yfAwk|LMPy!<|4&x)_k*SZLc;$uIrP7Iu+i;w zeZxc0dPuq``}Q~iE`*fC9&JON;4xG0gs>W7wqK_g?tal^(v>vnC}aec>setB>BE$0tbr%_Ekz z>*ZqgV}3(x;A=OE3(d(>f+36Zx#O1?Pfje}p1t|!$?K=#!>0N!jEUfZryEmPXF{I6Mt9n81^VCiDL;7X6tdiHo2M=4UQl1vn zkvteAL0+(?d)8Hm6Y>_nu%izPr?BI3$K&@VxJ#bza`#Iue%UWsr0n~UUI@fxGif3X z5=5Mf;~Aouqnh5+kiozM;Zkgwidk1Y&ycZFf9Zop)Oerb%s2fZ3Jv^m-+g|kV6bzD zs6384l4xUW2+)RtS|Ad%NB&H!SfEcjn-4>R!L;yWhEXI($6!JX&EyDVg|!>)2RW4> zQ=Sn;Y+4`wIj%=^N8+>4pr0Jl?WRh7DWe7+OK|^Q6m$);Qy=hP@M(0!MF?dIp#2q7 zyRKSLDcadvq65{pD`^9Lz_*AH8cySu&btRW&>~%V!``nr)UU|Zr^wZ>NShq*CoQ=d z7BIFUv1?*RBWuU7=1ZKKAdOA-H$<6184HeEDKxYo9XAVqf4ps*}oUTFN=)!|Z zF27a9yAHl-I%-|wXsC5F>nL!@YTd4@*al$JnMO{ahgYWYonu$3hxPtbhZp?&ZGxAF z@4uc7?V_&^o(B=MZW%b>BaMeTCw-65r9fBeM@RH{hvz-!v{A~q-PQE-5tkPSLo;i3 ziJ>ox#{ya?<8q)U(<8mF>5fO-^#e&)D}5GnizSEW+Jz&&?^Mj6teeqjE?LujcWd>( z)W6O;zOoiiIoXyy;c?ZpNILAAY0r-E`E|a));+zQZuYpiB{=$K*sFI)BYO7G_rhx~ zjvr~gczc6OB+##24Sw+ELt$R_Q^cwT~buBka zTwnae>F~gW0xDXZX{!Vl+VIJnlOgWZLrwpdGx1hBtI{9Fe3d~`-OH8}y^j2Ca4Y)m zYSXgmL58@ln;o`J`VpYP68BlO-nq_z@Sqia$SM^&r5qnCnrUJu1_jj+rbsVE=8bXlFO>Yiyi>fpU(o;k;*~ zdp0rka!+DQBU87&)1Z!goCf)J+Q%9vH7I{)Zmh#oWA}J5P$usQr zI;fnDYpS*s1F5cU+~?QSyym*dQ=H{R$LJAn#!L70`nj>34~$Oh2+1^tJec#U*!pVWZYG)*z3GSHnqo~?tz)L8#R+Uc zf^B|8I^$UD`0%My^egE)YHsw%aA(CvtQz3c#Y6%5&;qiP;~E){>=1wctkarZr^R$u zgj-j7fcSd1>yNnYuVn_Yoko?Ep*7zmgd+t@IKnV6x|+wvP==a2x?PDQ?8`%` zwKY&X)2A~IH%QuLn4^B2z`*`%tgIKyO(D>T3n!l3bE%7;XzqE2z#4s@l)8@wMjS1} z#^2OGW9?S!pNcxa09Wh#50C6E_!B7`P}dRq)b=mp{z7Yc%V7OiuD=j~|C;AGqn#N7$`3)dahU7pP!^iTgR=B}1^HUBMG`!-wd7ThsQ-^RFZ zfy^!VcfFi%(L0UrME_>jxlO(+(e5?|y#?O4;Ewa()w~mV*R21!CGG_L7JjGJT?u!( z-6pdEbv&({Y^|ZJY(QBLTTAHwy2xsOl&yOkyHnWkHuhWQopN{0a97mbMgE<4SLHjF zJMCTmkZ@Oz-&A)O>#kMrs35mg5H_Hyt*Hx8|1bF?A3?XiQZiEF%O5R%E?eiVKz@J}{==!?Z0)U!UPC8H*ET9HJ z1hM={!O;T(1%P<}SP2C{tcv3QZx=jmo0vf6>xqJF*mfM zmS4>g?VX*zFAXka_`AdF;w|`x5}LRiWh6TnJ!<3oy({?NV0XwYV!DocmWJV zIGB1-80RDv&KQBl&sgM|)JUEjAWze>cBUf@r^gk3QMF^@_3w#&zCY(|2kl@5r+*+~ z%o_ozeu|@{i<;#p?l-CWj77A@xWN4J5k@DcNQ|5zF@T5FF8leTEJH9cs+}y;gTbuP z?&b7knAOh|c@^hT3z#e^C1L=IoGD8$VQ`c(4-kqOC3kg;m3 z+^}Dm`@C>-jxcw#1SB#Mp}577Bx^HpCn>0)#%b9p$<6|}{89=Oq`NXn-Ri}jF=moBJ&9sT~(f$nyU0^H1HKWMcf1UJIojY$XDX$ z4yk^7saj!_dFa&CC~aMMf|FRsN&CX>*Ws~ctZkUu4?96^;$mV{;z0o>=5QE`eey=9 zyu?$29)T74FZDyv*qNe5k1p^-Em1x95Sc)%@Gnm}zUoatj0F ziVw6%exRzH#cbI4jMn}n$nf%_44w*bFp9XE>Wv8pWC@@=qJ|AMWYaUJhU1?O+6gsg z;bj_SSVYw>(Zp|-_hWb|JxajS8%>`yPb^nNQOf$fZ1mi}!zbjiCcW?r(f%2lc$UYI z^v|>(mA5n`=RBaRKL&YUSqmAG1AkZvaEY85uFNuwkong4)yU^?9Xw53j}|vrY2*a= ztKUC)MrYdQGI6%(aCz|ztX|YRB+w{JvtN8kxg=S}sT!=f(nX&YuUB8tLZa6#uB)KC zV#CJ1%#<#)j_1$kD`?qQf-$mr@+P^7RvoS_!2~pqSP`A#%QoG>CFOF3w1OriT6@;Q%S&&aWo z^4LR+SM8L#r{#&{9ya}AJXIN$_^I${#Q+^S%|S$w=o^vcE;ERbJMjxsTt#%}7eXR~ z*W9AUKcZE-nw5yTY~(#xY3_ga_hxY{K>K{|y7nZycc5~I2~@K2P8USNI$Ws;9B}d`dx$hgn%7=#^{uC z1!{UA2n?9lZbz=-j&uJ zV@9}NB(yO|bWqn_E~+kkRoWIC#-J*A-`drz+9zMVq{dUo&x!WskU?w1M^h%bgD62F z0~9Zv*Ig|5?+gVM^)7QSn*MW^f2f4uH1amnainNut-RSueFgpsJPR=w&HpVz*PamI+ga)L%*Fg{Y=gm)x((Mo1_x2RJ6$MLkcgE zV1v_-(_c>x8nhKYWK(9IYL}02kFFM~8!qa1{c1sM*{HKZA3q!VNv+;6vmoV+htBhW zylPfy?7%UH?ZB8PD#^#A4OAPn*vpA-e;yabpjUu3qy>L|FDN?XDZXFa%{v25UT&sf z_Jf*wrkZI3UVTWrZPRn}S|L)Tnf^hUeaYGM-s4lqd%@ZFow;qPn-x^c{i?%7Nzczq zB{ucKbt$$5YQ90CV;V(`j|(#5_NO!bf!;#x^NUiT1Z48z&16dc*VY^o8i6ZJ{)JT) zJ&~NXiCFuy2|1Zo#<-_mf%~sT(DfalM%uC?$2QdNo&R=XG{*NJhK)MSqt8i;%0GyTpn}s ze$wRA6dnA+mb;HQablwA+jcH-Q2)}Q)EUNg;!V$uQ&Don>|rw_NUitM!9O2vLD%0( zxAgPolv7c=JgTrjX`B`?I&i(32o0uIj$YPO)e2}O>9hpO?N&tfic^^Zsz>_MYQ``Q z?AQC_12L%RU6(u7+piDiPrykiu*I@WoHjLdHU}Zp{T|6zO}lc`=NbW6y;E+Qve)VU z%bdOpEaTCgn?mUAKKnK&8(w^;5uV2iQn2X@;Onb+R+gF`>9QfJf%L$Yek41;Y`!-u z-6gsB>jn=DYZn*b=i3%b;NR+7Jj!gxKLy?2-9#g?||p6*og@>MB@OEyntJDt(IVTIF7vBxMuR#14cqZWZ0%r^6?o5tOAXta93|awe`yw^fM8T z0$YQDH;Z3~MSR@+gwgq&;C@@irT7C}mR{VzeSd$sLDfA5hI2Qs`-ynikv8~=7V=Es zcn42)6L?`7FJ&`XvQbZ=YrLcFtWmg)6fJ1OFJY3MDbQbO(7BV3p*@!M98E4iLaCC0 z52jcv?w&?i&IFs5kZa4GN9+P`h9+03YkyR6l~fdT;=0hsCm2LUJ2G>*Z{Qoqb!a6Q zqbQjQw6YCS4?HrW@=(cV7{YtjE%6jxTM~N}k(irAKNRrz z%*n9-KxNU)e)(|l7)NlqOfEddMlCUacVa?0wX8Xjk)%>BMQzchy1Ty1yn45%)^}u} z|KnrIru<_aS?pB%qa&Su=aqDgxCV0#swT{k9sa%H(Cq%bF=-Rc`G~Rr@7B}Qynw9M zqj2SZJ-+n8b$nI2@lBeZ)wIQ<8(KD^05DY2DXoK(kB+O$JRtOO+r3?_{Q3aqMMjxY zGwH~0d>7@Kb$O{HSN^(+EgU7}A2_Rmkzo4CXZ=|epTHn#QIgty5kafTB2fut2C{Bg*pBn|N?c{CNxt)# z%+2r_{OEpz9IrLKfD3abNls3dHutYg-8%D_GYLt$I*JF`hKM>IyK62>jbw;G7 znKiR;^k6SvNimWiEk1j6+q6N~QZkrld;8XnGJ1LMNZ+CBRX)Zov3ubpUB{t|@y;aQ z@9`Cu;4>=y62i#_Cp5w5YJ}4ks&)fgm5Cp;&4OR5rJkQV+nf@%>iY+c#R^9VoW0(R zuDC%W*xL^Lr`HUB-s|CCk35Fjwsu%RWmg+pAAkuDK!8ug3=62^=x2Ky#R3`tOn3qO z0A56*HW&;=B;KARrhUs{2S#AG?=5aIIe>{czk)EotRTMtkDw4gKd+#$oFE^cg1mqn zKd+E1pDaj067c^gL6oCr>uL{m0EqAl|JQ%I(N6Vy=;@I>`__7&DP%OP4V$3p5i-(7 z=I9AJ1A)vvXKntCf)t2zq`Ul{c7TMeh=r`N>#eBktuef;$i1vBz%H_1c2JL>R8lvE z&Y#XWlWTe3B))-w;<0DqQ9zNhpjbAVPAxTS^jiF z>x#Rd)7j_-scDa(X)o?VH`fB3cA-aNp%-NmmZccD$jF(;ti$LZ-ngj1yos0NN3}@3 zM)pe}$C?tjM^w4TX1+XMfdv1GWY8 z@sZGl=asZbe%50RR+d-91NT?MJY@a}{qgYFvKE#dJe8yuhe3^e-zbbzhKxQYLB5Z{ zhOip*pHTukoa%I%O0kBoc(DveM37Mh2gX{$IZT%@AsOoYm$&F9$K-O^nbYs&?`+(^ zganOZr0N^C#%rrxwFN$){)zg3G1qEcs5&v$B~C3_f%yeb%gk)O!NQ7Lx?t}~^{sK?Rb*RL52$(KUe1IK%{(uk3E!T1k-xYTY@oW+Evxnf--%-; zLiuMe5=}Qf4V)zID{B#Ns5L0gD62y`3l7*l%XQw@DG9!aX$Tuk?@C!D3wpm*aeO=k z^MsbeEN;r*Y_(n;TGM{{vE8NV39UKVklOm8zk6bDg4lHeoijk{YyT2TYB&bxjX~Pv z*DZ{eAlyxs8_Lu@nn9nCG@q%9E&ovb)6KMFsYIfO_x?U2L70@nWne6XOf literal 0 HcmV?d00001 diff --git a/tex/misc/w15_slides.tex b/tex/misc/w15_slides.tex new file mode 100644 index 0000000..66bb33a --- /dev/null +++ b/tex/misc/w15_slides.tex @@ -0,0 +1,270 @@ +\documentclass{beamer} +\usepackage[]{biblatex} +\usepackage[export]{adjustbox} + +\title{ + Cache Coherency \& Memory Model in RDMA-Backed Software-Coherent DSM +} +\author{Zhengyi Chen} +\date{\today} + +\addbibresource{../main.bib} + +\begin{document} +% Title Page +\frame{\titlepage} + +% Table of Content +\begin{frame} + \frametitle{Table of Contents} + \tableofcontents +\end{frame} + +% Part 1: Overview +% ============================================================================= +\section{1. Overview} +% Page 1 +\begin{frame} + \frametitle{1. Overview} + \begin{itemize} + \item { + DSM used to be constrained by NIC bandwidth \& transfer rate (e.g., + during the 1990s). + } + \item { + The advent of high(er) transfer rate NICs allows the DSM idea to be + revived. + } + \item { + Orthogonally, hardware acceleration resources are scarce and highly + valuable. + \begin{itemize} + \item { + Traditional Scheduling Mechanisms within a Cluster cannot + dynamically allocate hardware accelerators without high + overhead. + } + \end{itemize} + } + \item { + Ideally, via high-speed NICs, hardware accelerator could be + statically allocated such that: + \begin{itemize} + \item { + Every node have access to the hardware accelerator node in a + time-shared fashion. + } + \item { + Accelerator-attached node can access remote memory much like + attaching accelerator over, say, PCIe. + } + \end{itemize} + } + \end{itemize} +\end{frame} + +\begin{frame} + \frametitle{Heterogeneous Memory Management} + \begin{itemize} + \item { + \textbf{HMM} facilitates shared address space and transparent data + migration between CPU and peripherals. Specifically: + \begin{itemize} + \item { + HMM provides interface for duplicating the CPU page table + with that of the device's, which are transparently + synchronized. + } + \item { + It also provides corresponding \texttt{struct page} + representation of device memory pages, which are faulted + between the CPU and device. + } + \end{itemize} + } + \item { + Theoretically, this should allow for devices in remote nodes to + perform HMM using the DMA-capable NIC as a ``proxy HMM device''. + } + \item { + Details of implementation of DSM-over-HMM is beyond this thesis's + scope. + \begin{itemize} + \item { + This thesis focuses on studying and implementing cache + coherency and later, memory model for the DSM subsystem of + this wider, ongoing project. + } + \end{itemize} + } + \end{itemize} +\end{frame} + +\begin{frame} + \frametitle{Cache Coherency, and Why It Matters Here} + \begin{itemize} + \item { + Cache-incoherent RDMA (e.g., mlx) performs DMA without + synchronization with CPU cache. + } + \item { + We cannot assume MMU to magically automatically maintain coherence. + } + \item { + At transportation time: + \begin{itemize} + \item { + Send to remote: flushes cache into memory before posting + send message. + } + \item { + Receive from remote: invalidate cache entry after worked + recv message. + } + \end{itemize} + } + \item { + Example: Linux kernel tree, \textit{smbdirect} implementation. + \begin{itemize} + \item { + \textit{smbdirect} opportunistically establish SMB over + RDMA-capable network. + } + \item { + \texttt{smbd\_post\_send} cleans cache entry prior to posting + send request. + } + \item { + \texttt{recv\_done} invalidates cache entry after exiting + softirq for recv request (as callback from RDMA driver). + } + \end{itemize} + } + \end{itemize} +\end{frame} + +\begin{frame} + \frametitle{Consistency Model and Protocol} + \begin{itemize} + \item { + Majority of DSM literatures apply \textbf{release consistency} as + the system's memory model. + } + \item { + With \textbf{single-writer} protocol, however, the memory model can + be strengthened with little increase in code complexity. + \begin{itemize} + \item { + \textit{DSPM}\cite{shan2017distributed}, for example, + achieves a \textit{de-facto} TSO consistency from its + multi-writer release consistency counterpart -- assuming + correct memory barriers within each node's CPU, distributed + writes are never reordered, and distributed reads can + overtake writes. + } + \item { + Consequently, one can easily achieve sequential consistency + by designating the entire write-access duration as a critical + section. + } + \end{itemize} + } + \item { + HMM's ``CPU-or-device'' data migration model also strongly implies + a single-writer consistency protocol. + } + \end{itemize} +\end{frame} + +% Part 2: Design +% ============================================================================= +\section{2. Design} + +\begin{frame} + \frametitle{2. Design} + \begin{itemize} + \item { + Designing a DSM necessitates designing: + \begin{itemize} + \item Consistency Model. + \item Coherence Protocol and State Machine. + \item Access Control. + \end{itemize} + } + \item { + Care needs to be taken to ensure that the in-kernel implementation + is: + \begin{itemize} + \item Correct, + \item Performant, + \item Exploits RDMA's traits. + \end{itemize} + } + \end{itemize} +\end{frame} + +\begin{frame} + \frametitle{Consistency Model} + + + +\end{frame} + +\begin{frame} + \frametitle{Coherence Protocol} + + + +\end{frame} + +\begin{frame} + \frametitle{Stateful Nodes} + + + +\end{frame} + +% Part 3: Progress +% ============================================================================= +\section{3. Progress} + +\begin{frame} + \frametitle{Progress} + + + +\end{frame} + +\begin{frame} + \frametitle{On-demand Coherency in ARM64} + \begin{itemize} + \item { + ARMv8 defines two levels of cache coherence: + \begin{itemize} + \item { + \textit{Point-of-Unification}: + } + \item { + \textit{Point-of-Coherence}: + } + \end{itemize} + } + \end{itemize} +\end{frame} + +\begin{frame} + \frametitle{Kernel Patch for On-demand Coherency} + + + +\end{frame} + +\begin{frame} + \frametitle{Proof-of-Concept Kernel Module} + + + +\end{frame} + +% References +\end{document} \ No newline at end of file