From d5f752290bbaa32dbffae632133d681366873547 Mon Sep 17 00:00:00 2001 From: Brandon Rodriguez <brodriguez8774@gmail.com> Date: Fri, 17 Apr 2020 03:06:29 -0400 Subject: [PATCH] Add project report pdf and update documentation --- .../Philosophers-Report-RodriguezBrandon.tex | 66 ++++++++++++++++++ .../Philosophers-Report_RodriguezBrandon.pdf | Bin 0 -> 43121 bytes .../{dining.pdf => Project_Instructions.pdf} | Bin readme.md | 4 ++ 4 files changed, 70 insertions(+) create mode 100644 documents/Philosophers-Report-RodriguezBrandon.tex create mode 100644 documents/Philosophers-Report_RodriguezBrandon.pdf rename documents/{dining.pdf => Project_Instructions.pdf} (100%) diff --git a/documents/Philosophers-Report-RodriguezBrandon.tex b/documents/Philosophers-Report-RodriguezBrandon.tex new file mode 100644 index 0000000..3cbc44e --- /dev/null +++ b/documents/Philosophers-Report-RodriguezBrandon.tex @@ -0,0 +1,66 @@ +\documentclass[a4paper,12pt]{article} + + +% For latex basics, see http://www.docs.is.ed.ac.uk/skills/documents/3722/3722-2014.pdf. +% For help on symbols, see https://oeis.org/wiki/List_of_LaTeX_mathematical_symbols. +% For info on state machines, look up youtube "Neso Academy" channel. + + +% Import Packages. +% Multi-column package. Allows formatting in columns. +\usepackage{multicol} + + +% Adjust page margins to not be so excessive. +\addtolength{\oddsidemargin}{-.2in} +\addtolength{\evensidemargin}{-.2in} +\addtolength{\textwidth}{.4in} +\addtolength{\topmargin}{-.8in} +\begin{document} + \title{CS5541 - Dining Philosophers} + \author{Brandon Rodriguez} + \date{\today} + \maketitle + + In all of the following implementations, each thread is considered a "Philosopher". Each thread will attempt to grab forks, and when it has two forks, it will take a single "bite". After 1000 bites, the thread is considered "full" and will not eat or access forks further. + + \section{Correct Implementation} + \vspace{-4ex}~ + + Compiled and executed via "\textbf{make correct}" in terminal.\\ + + It's easiest to start by describing how to implement the "correct" (no starvation or deadlock) implementation. For this, I started by making threads that are given a unique thread number, starting at 0.\\ + + Once initialized, all threads are set up and ready, they start attempting to "eat". This is done by each thread attempting to get a left and right fork. After the attempt, the thread checks if it was able to grab both forks. If it wasn't, it puts down any forks it currently holds. If it did grab both forks, then it "takes a bite" and then puts the forks back down. Each fork is guarded by a unique mutex variable to make accessing and releasing threadsafe.\\ + + This repeats until all threads "are full" and thus done eating. As more threads finish, it becomes easier for the remaining threads to grab forks and also finish. + + \section{Deadlock Implementation} + \vspace{-4ex}~ + + Compiled and executed via "\textbf{make deadlock}" in terminal.\\ + + The deadlock implementation will occassionally deadlock. This is accomplished by copying the original "correct implementation" code, and then adjusting it slightly.\\ + + In this version, the program will work the same up until threads pick up a fork. In this version, they will hold onto the fork unconditionally, regardless of if they were able to grab two or not.\\ + + Then, if the thread had two forks, it will eat and put the forks back down. If the thread did not have two forks, it will just keep trying to grab two forks until it succeeds.\\ + + This can easily result in all threads picking up a single fork. They will each hold onto their single fork while attempting to grab more. But since no threads are putting the forks back down, there are no more forks to grab. Deadlock occurs. + + \section{Starvation Implementation} + \vspace{-4ex}~ + + Compiled and executed via "\textbf{make starvation}" in terminal.\\ + + The starvation implementation will basically always starve out one or more threads until some others complete. This is accomplished by copying the original "correct implementation" code, and then adjusting it slightly.\\ + + In this version, the program will work the same up until the threads eat. In this version, the threads will hold onto the forks even after taking a bite. They don't put the forks back down until 100\% done eating. Thus the threads directly adjacent will be unable to eat for the entire duration of the thread's life. The result is that some threads will be very low in bite count while others are finishing up.\\\\\\ + + Note that the "correct" implmentation seems to generally have all threads at roughly the same bite count (at least on my machine), and thus is "starvation free". However, in some runs, thread execution order does still result in some threads being as low as 500 bite count while others are finishing up. But not usually.\\ + + To correct this, the program would need to have an additional threading metric that tracks how many bites each philosopher has. Then fork priority can be given to some threads over others, based on this metric.\\ + + Having said that, the "starvation" implementation is still much worse. It has "true starvation" where a thread won't get any bites at all until another one is fully complete. + +\end{document} \ No newline at end of file diff --git a/documents/Philosophers-Report_RodriguezBrandon.pdf b/documents/Philosophers-Report_RodriguezBrandon.pdf new file mode 100644 index 0000000000000000000000000000000000000000..7159235e5368d81df4fff60b5cdaad7b2b34b71f GIT binary patch literal 43121 zcma&MQ;;r9(5>0Fd$(=dwr$(qyKURHZQHhO+jjRm-%QMjn2Gr#=G0YI)kRh0#mZb& z51FE<I2{u`8w}a}^2j<23n3$+gRwOXFE0#(teL%qvn3%DD=RbM|21G3#I0<d%^V3C z#BGh7%|y*i98Aq%`1xU+oE^=K>|oqCS2Sdtw%Cz+zcehJq1jLyfS>}87ycz;y)DWY z=`4ZL3X@w$s!GjQJY97~>0KgE<>-4MW562jebGG|IXx{|SfNW7kCuBkY|xn|lyoG( znuumvtQe~>_$u7?9(SZxxsa<imd;7+ecUFT8{q7{n)q36GuHmDf5S0Hg)Cc@#t3JS z%fJ?(U(qVKkVzef4Y<1O1pt{P?tQLkqe=0-k4^YUAj4WMR?}kGsFezzIiI~UzNgxc zAM&Ay6$YbF<S^Gf@?Pr7=oO3mgVh9BNe=Q+vywN^O)_~b-i0G$OGNAKwf?|>`H{T& zpS*>w-spvG8wTBVA*Wz?9A2Ymz~{iu?AyvceoJ=K;l8%u;6Bkcq~SKYJiE|EvCh#n zbFE~`jabqzt!QhAJzf+`U{LU3*F@)@GdB=bn;yP~30}=FMT`ybBeh(Gm05b!qCoM( zTIxz9BR<<*kE5tp%Jvo<{z?FEJUFug<shY<LVg8vFjZDY+7DR-r?*aP^S|#G25D2Y zb?rkO$`FAmxf51Sft^97OPmG73WeT@#VbAATW^u+H6taT)6C=2axT0aWG>7?P}lk9 zUp8*l;7A;b-DPA$Fj`7h+$RUuN~KJ*q2q^7S2j;Fqd@DCluRad`C@LfEADL1p`}RG zmfMi=YJfYJEpM~C{rv9hI4=K1XPWjixouPVJMI3O8cVCdo-4I#rcDLfDqi3<j;47y z-cG0EIZ`-Syg%h_Cxz`TK}{6owYR}ulBrIuAVzNjnU-?+3wuWxOpSqbxzNQl4`PGX zXHpN^gkSHeA6|>+4*6!<2yT3j*ueI$tU$dd*>Rz+d!@S2Pm*C{fQ+s$QrFqyGf$&K zK9;LvH%k-0l6rtqr!82oK`2i!y|^X`nXC*`25<1iL#?vNfBs$bK$zlfID)93_V5rB zET2f~*tI)Uj&T;YTD$mqKivI!u6)g9EixO{<nr4f>1Y`*Ym$`7b_xFu)ILA?fbT|h z2@0*@6=Vl3`Oc)lxV1ym@1iyK6USN<#MFK3^R5=cqjMZ8_}|-k>?#&l!1e<8p)92F zu(bq;d{FzRnc8HqnGjF!yj5+1I}zCMkR`LdP(XLaBH1(lK#df;oGAJXBLXF4(j>Bl zJoMr%ye2zF=06`W6O4DD8lAQ*EEd8cINNr|gt+n{b7V>Vp-re*GybX(Z?%<(m>?r| zgjCb!qDV1F8OizBSK{g+j=|m&xv%-zM9<Gh#ekkL%^x32OOim+b(><zTZ5@!Y`iWv z%Y1YYj#_u8bdbv#>Tu8N+gNq>S7o>!N!NXpBPLrh`1>9C`Hkhb8`y@--kJqM+C<Cw zjfc%O(Rv=ioG#F*qv0i(p$)xVgIST-nfkTu2or>@#zI_`sX|KAgr;c{^tp_6fU2QF zGgBA|h?MUuWx4~?WAv~`_O&8vV!pwjE=vd>^6cnf;P&mYUPMNzT27&SPWN&!ki~Fp zKB9qN+hrX53^>#g-a<H5yQp-5A;`DxosPDLpif0LVl2h0fc^2&@RWTZGwi(J_UONX zVG8F^+hjq+$#8ryhf30-*|3C;#&pXk?m)@@B~0^Lj#FD-zWX;?Ls^!OYLYu24MxY$ z(J88W_FH#&eWZt&xUq=QSg|{}O+7h#8)fNw;(0c2-vNP268@&0cpvAsD}B8>tRDIA zJC6wxx}ifDzPZ1U4C$XKGa9xua+S>=aSmATXT-2CCN9Qo{hA&xFoLa}k8J_5OEiC| zdYfA28Tc$krU$d?z>J9^QCJWE;9Wd^hxi7Cx5lf7Z)bsX#ntGV-}m!~vWB~aL~A-o zJ~MjH+iA}rlIiL>S#U)a2{<4`;yo)%YuQR9*8s9d|1OWU*NNt$-|yMim}y({^`#kI zoi3f85*)j)#=w}_oBrQo{a^Hd3Oy6k|DgCBZ2#Me-=ZNCw<QkOd!~U2`zIlwy0DDQ zV2OSFbzbHz^_h_-#?Ix1@p*k1(EBYJOG~y3#P>{^DDv-}{A}nb>y2Q@7B%#jU#@88 z$SCQ|H<2QXcKnBTh9mCew25PR<)Jx-*`b<Yi}&&SW-rdqc5qr@>F1Q6c-DtB8}a6q zf6{f=y%Hio|32>~tkPx=nQSa0rO0Uy&ua<lv8B>RFyqYy=R|)^fJaJwJjm*~@1lAy z)uqyUY(q!ovgNF@|KRBpkt7dP3Ipdh2ifS5Lduhkc$dr?EWZW$AG%0QRCdInzr3Cv z%yNWzPLc^YXT6$#Y3uoBBeqojMyNh~Uuf>+?ajionH^+L56^fT_w*xuwNJk1o#<U% zAsKzt_-dIp(P~ia_=bWsFh!G_@VVzl>(0C9Ujl{H83j-!vW0U-LG^k7I3JgxDC1cc z%EQloakQ`s26=@=Orop~%n5HyRh4oAVKc>1VRTTVNt3ppSKhVB-N9dy;Y(_?RGUR8 zU3Hjv3?Nfe2vX_i6a&7rD87%uT+y3=o`N#+lU;$O{9}t$lR4^&KGho~BeYWF!mKr9 z$2TbVnJ*lver`q5unNj*x-gsrI6Y3Tp0@yvbafz`(8^w@?Jc89i2xct4%<J#PBp;) zTF6h4fKNuRAF<B;oe~VGdcN?i-YLmMMPmeL`U~ajB;=!Lb<ng%#gtw^X5Y-5Cd{ZH zPgJ4#UZy!WPi2dhn#mKBiiHTvFFa)?OE-4E7y~pgrF;txw?14S#$x<2|Clx($)-;E zOX_URY{1=T&h*F6Buj6zv5;1}1e!;*<L#A_oO}|1$9f_}DgH6K{1LZaCA8RmWG?xm z!T|mBYx0NKs*q8R5pBHG{qF8a)Hbs1%?Pt(*P!UaptUP~TPjDk`)NMgW^3IQCut~n z7G%xDTz<SC5mj#7pzBl?n7YO9AEe-jH_4SPQ;a$^Lke<gS5+nKgw*X_5njc#FwPU4 z9P9Ov_5n`hjfnv4&YYVgVwr&B%&Xi=rnZGdvgj}Uu8)D5vl@zpCz=cRkQT(7zb@CC zU~b1^2?P+I5;8gjNq~}yQ`dpKGgfM22@UYwJSmnXUP&5*^1FrId<s(o{V3IZ!BBUM z$))o+pBXjxxj-RpqTa116qDMdA&hxNC~6q&YyIi%8;gmuvuM0{w9Mxv)ZQ+2L093G zmyV^y*Fq3>sc>U^^Bt*frVuZ;wp=C3ji!BAxe_N}D-iXpVGAD0Q^>itYhZUnRN^TR z^qBh(rjW(i>hR!un4}wSe0#`Y7ZeQBbYWcrNpLB-r**twkH#8ynPab}g(QV#4w${n zL{rK6c8hsn^TX*z<HKpkR~-2t=p`bt^b{HGf$0Eii4h#UKZH|f6^Fr_AzoN89Lo9E zn{80)*X)6uE*(xgP{un@j=NA$PJF8C>d?8KMo8a<w)5RBf$=O-0<(AV%L5Ec_d6j` zodx20L>yOH)+)Uj!YV0=EG}2X`4rVd<%WbRG+)?;_FEP7B80e#Gv0$Lpb~U&I92)& zj+ZTI{_wCzk$TTQJWw6A2)cbnlshoE+&2z%e}ZU;k1EBuMVd7`0xT;<v2@6BR9FRo z=mS?8i)y~85AUSi9cPUbxa%7VI?00vU3qTP2xYac*_?zF&Ri}^GxAOvFdr?(+KM|^ z$Xq6}ZaYTqk?2Nw3i4-IFD*EB&*KI*&5;mlfr#<!Y`m=21<y(nf?&n9vKGA$7=)+a zJxy-AF5CnA!@Z7EAu$boz(;1Sl)4?U5qiO_`ZGi%*zBC8Pmc+ei*7KR#n);oTb?!A zPbi=k19ZxE<y`ZD{M9~tmJU)o2M`Yn+Fob-QiSt5J+fLh=@*=#1R+QRWT*sxmJz(u zXS%q?Uvb!hGE#xHEh2nD>XU07AX8W;2}3A%41ode3kvG&GX^u2(G=~ayVQO$=Dyfq z014tHAO)+3<;o-p=-AMRq?^}lM;oYEkDsU>4^Q!~@G_vf<R^sAbQQz+1=fNMP`ets z5SiAA^DYTwN_T$$q5Oo)s@B!K^{LKRaeb4qTzyypEy;Ffk;SGpJIq=b6KsLUMAKp> z-877W{THF%%ss^DoQbQQ`5XmaFT!EC>s9}~#=&BSU?lr;OIR$7#1kV?*|k{lWs?*0 zt(a}B7qOd6(^mV$ofWqqW`bR4;jX+bKb|({TwO@?v!328@5Fvdgc7C~7~lCvLPiq% zb@19FGADS7-ENTufwonZQpCr!RE+*mo}p`pY4#0k2w&Eaj5o%~xnox)?ztbvvXBh) zGeV^r65O7TpNE+~g75p{|DjH@{ttDM>;Ep3g#Z7}h%L4OVUQ6{^vyS9M3|Yi*-CaW z5)9OdeHe)_M7ltz2KMmIN-D#<*KO6qrfH>jSuxc(h;m@nFj`SOfIgbhvS0sT9DNx+ z_pDN}nqsYolh|o_*fnALZO4tp&1$~q>6ZH<vZrI2wpB*@{M6z=n;!nF_+&f&&H^we zB5C{%UI7j0k~A^WHs-<L;1k#Y{S%)iP1z!!w<ZE*B0{!yjY2TDKM`dhk51VvJpNAw zx`Jt>D#DB>%Llk`Kr-up$Oq^DCm&3NOzfPj|I0Tr6LPV#a{RB^f4=g6g@jCuY%Glb zn}#x`6<iT_9fcllAZH&NLWXdBpMD^y3yi=J0wN<|V24OBP-LEPfNvlNDX>eVUa;P9 z01tm-r>pDj*Kfs(O>NqH$KdUP|L27&{erETtGId}-Oz(`IwUA7Nd}Cth}y1y26X@M z@Z|XLaKPMrHK21n2w*a1z6wf`UGO)3ybqHZigEm8fE?D*gRpYY2#8F>3y6ckUq>)l zM=>}Gwtr}Z?3;iXmk1;tyhEr4s4^Rfj1%rUdWII%?O9Z?#!eT1_G3-~D2j~6Uq@3j z{wMCQe=;a0a0}P~P$eM-PW{kOL@J?|Kl?TcjO)X9-5*+Gc6$0)V!`~bE*^^Ufeh5x z`cy+R$aWDuTOe&i3&ufsTk!WCW<mI4px-Jsd0TV;Soq}+g)ny9!$SmNe_%uiuW~ZX z({H3hm?jVsAjC4zW;8XR%UHwpJkt~b=xhHzddU8ni66JlzCu5Wz`<WA2rcbFJX|40 z1<Gk`pn%OF;LAtqY<hh9YapcQOAchyJ2<~^$c}*gSHdXBL4uMXphx9Qpm~unzn3%H z2!HNQPA6`W8^1TG@0`<v%o9U(=D(1TjMF1nUv55)ieT%H2fKU$e(-Au5N=@}07#*H zMw;<E_G(?cfKJBpBpOYnSBBXj=r4jSwsr9SxseevN<ugw9^iibRQCQo$a8n@K)_!| z0K35R{?!eX8<-&eCeW8K(S8_%t%F584(5K~U+^zaz}CYaR8|&_A$W^3u%>@a0pqn_ zqd@vVyuicIH?kt4Kk{18cRR3dpMW2L*+VfM4cGkc1Mw#g8Px1gvud$H<Il?Dp1hS+ zJ7j-WP##AAz|b80{^=<i1k|Gwus47w4g%^^15Xz)Og%{W*Z)56gnxU<PulfM29(y1 z4vJ>KX7AQ={-{+q<vgx;5aDokJ-Fy{y$IR+@4^fi4Og#7lQO>}K;0S+ualI{Ty zLAd#^xqeLe$yb+;_28BFVS4^Q3~B`5XP44LH#NU&W#=HC>)=%BEkAo}P%f!qp8hqg z`Shvmev>B(UAK2)O<{xm*ncg~@5;dY2WCcI1bV}68k@b``LhXFKf++Y>v;h_#kkWb z_Ag#j?(g70gkT`Y5i>7@Wca?m{v2;Z+}Z(rzluyi<Iq7}yum>DnNQ$?`%u?=sAx#u zNV5)0d6G~-$v-&Ik0Ab$ek28u#XlS<zTu!hLBYU+Q+*3}{Ql~Iz-=JHcY}BWpx|Fv ze$&P;3~$PTUxRz1rXhj&FCv!f|3a2;hw-<5A9q{8$tf@p9sv9UNN~7sUj%O!5C{U4 zKecx+R3V6g1NNS0i--!;***k7yH~8(BDn7(H@=7z<n5O6yPh6u{|y4TgAEuW)|0(% zvu-Q14!^2MPKl-bY2g|BtbYf4>hy)7346mWTzP>ZAc<&UCb7i&N1n30Ce>a~KIZso zoO`?KRn`DO(oH4Q^s#w1N-J+;+k@rhnq2Kg>L5}1NkfMYA2u5WpQl4X&?Cr`EPm`t zc4|wZLF65ydkFhR4<2_}N45tsRJz8-K@Fb#&t7_zYxlC334u1-bhcqUyU<Y3?I3@| zTmE?}$nf#mHjvWhI9Hx37Jkd^jn1LB?EpsM`6PMGI0GTh36c!8gb18&l4@apUB%&| z#+2+4>#i^mv!uQp1ghr3xkr=+cs$~c#OEtpbE1Fz4LH)SNiYK?u%)3MQ)WiZ{G!*+ z>!z9=rtsQ&VDLf5z6o)CHq$Pv%~W6MBnd0raKfG^jSoKeewpFnRY6!@i*#YDb+9eb z0?eGssjCm>D@LFyqVLTQnPbW%;mG)T1LruPZS7U^{&3#SR1`S$WA|M2Y$Z2%mJ&sd zfTTQcE0ka6&yM$9kFSFp_(D$(7_-a6R)fT3YY;(N%4W~~U0-?6UISceHV4{PyLZ5s zrP-*I#SWY4YUMB#FM5tSP2n?ED0jX$-o$uOj*eM!`xBeWW}u{Fy(}6R6#k=BeIpdu zq)hC%kN66by^pectq={fE{i(vFSf;2rSc~Au7zxask6XyNyV3qT43ZNGGkHoHL#mG zRh{o(SS-}+z`~I$nLKkqMx>N>!yi29m0rD2?Fb|=a9FbpZAHY3FVpQ6!%^o5Pm!%T z3-%757F()Lx7(DrFq?G_HrWP&-soCvzcr1c<Oz!f91ecPt@Zo~`y1PRpXfMtDl!jK z2l4ao4ox=MqTg<?GP+IF!W*q;pUxfQlZSZ>CnF8*vGZG&n3dgiYBr5w)~d+%D!G5p zs`Ku3*Y~>eOBOK`luN<}k)IIU&9Sjk*95p?L;9U_VZD3@bX(6nI$jxf^7z*+wN#Im zm54<d2!5YmNEU~f6(tfX&>N5(k#1zFv{pi*#-YXuAWc@^lY8V#l?fE<-S+r2&8L5f znq1#W^i#-0Bd1jppS4bjlcbK&&Y-9-<-m6f<?1Z1_BcvyGWJ)@q1+0vuuGS?-!&75 zL<R*$Azs0$uz7+jh(bOFlu`X^?+$X!R2;EXc7;{{E+LmUEtN~r1zhUA`KCWbiFhqs zoZx|tQx=XB(f-Vxa-4(g`Gk7IjdlT_>Rk50rpjG(l+dCGBi!~aUYawJQ^Htblh6Lw zu;Dl;bQw8*i)9N6ObT}WrPcirhb5%9bU)U~Za}gbY&`-;D48E(l)f1&6m}~=vGnTg zUTqlE5FBJpE2pp-SIYSAAa+sq)92b~Xhm@oXe*!}Qy6>U1*|oH%Cm7;>0<qu5ylWu z{!|be=--oXX5EB5yw+h}AIjN+l6gKJr{Z)QcvL}9dIewi9<E<!7TgqUaU|JG4=|df z30YmW2)$TX<MFvC-4ORV!o(<Ngf>=-iWj67FIBX*F|Sqf3QR+OAfr(;jS&-2`l_D2 z=+`8-!GF|jYnh|YlxLct)rcZ3i3HD(vihoj8c&{~<)z5v&)63uQLL00R+~JMHP6F% z1Q1*pH&Q8G7w9Q(@|6ywB^ml%Xc%d4Mpe@&UA(1RPQ;<9rSobLMFkDh2HTl3<Nn~y ziOE!pU^^c<awg$GKQL9eza3Wv8(sYFCmu^a$In-W5;YE~({dMqYN{WZ($<`}2%@^^ z9+vzK$ZC(#4a)$QX|u3R-xPy^h+<SbAn!l}G;7`_0vkYUvj{NxOf%?$W;j1ncTh-M zER@*21dlc)kwb8i{*jwdu%=#gIK9r}kVR0A>MpD}iO>Icjmj%yt!UL*dy&EBy+?AS zv18)r>7k7-wQQR*nZrQ}0@n?qxzv>OY}iKs-a9j}hHL&6LNr}<25%{|=xrm=Q>3V* z(-uh)F3KSN2DPyiaq}g9LA2YhESK1~jDXF(8oJd%hs4CqmWOOBStT?+sR5p0uHweZ z=yh`lxv#(;xxj3S(ln8(<)~m)!qa`a6i+Pg+}2?E=I1d1oALw?UCBl~?zaBIt*}Vk zV_2BeF2s~Lb^1h(aO3#A2y$s)f8=Dy28kXp{bzyQ8Wq<TMY=z}$bt?YI7?jq;w2<K zJ7bAix0bcD<E*)>MnPt^uR$ipsKbe|{y~j}?nEY<<Fq84Mcv<kQee$*nHWRqBG7tu ztYA5FJ;+3e=bPwzsG&e@y3RQ3{&-zMiAfIy-`Z=WLnhXSX_gW^BL;>V*y-|v9c4@l z^}dY)m1jdNLlsZ*NxHBvc|97hKJ3CWnX(R?@{{L=GNPyq4<rO@e&sLlY2#5|jJ6+e zt1Z}ePYD$5$Z#6<w)YYwG;6%+V;a*~p2R1o%uM%I2&G$7PO{SyWNIIs?0l%+sgK^1 ziT9Pm>$^uf^v##H$vK1PqD%>qrFh?xU}O-AU<Wpk)r{}Whwc{&*4`T}NM%07K0>7g zIbinqo@!bydVWeVX;anAI!WfHELCL_>!<B3(5IIAl5Xe_{a3{Ii^DuhTC<H=C^FIb zJM6=fle=AiHiXTqx0d>JqOu8?%nmN_E@g}Suj1<*M^>C~Fdd9XC1_!HT&(evcjL~q zR-UutWaz^D{pqwFDHRKuQlj_zptK!u{nMwPv<$w1^KT-R%x*VxfeS%G{9Z+n1_q<$ z2Xaxe1qXdP*Zru<s%Fb+L+kz2hC!x-PAM~TJZgyW5{`-Q?>*^g3m1oS(Yyu;TXk`k z>7+pOlbn_Hw_!}hNu?^p+O@EP094?8XHEL;E*<$ndMD6J1c(Kn#OBXd7bOf++|)ZZ zYf6vS*>G6A@QayFHEHI7>VDo+=tZoPl<GVZ0^<N|jC+b#6lPu{i?{?UM1bo_+dH*0 zHU#LDKKeVjR;W?x(OK_XfLHbOF?G`<k_&#|NM!#C8c@`xX^g!snFRcMFWN!g%jr0p zMpg5|Q%r0QUxw&XQ;Gt^8~NX~;ITkX6fK6WIz0hnxAw+_^)=0$-~Fl``+MqE)qe;I zgkAGW!W<|<G)_3BozOe(Bozb&uE-_QpWV=P((v$}^>rXzq2mf5uw?)E3E{~Hp~E0& z1Vx@VVBM=01@vU)djg|%CYBZ^Q&C#{E1-J2b87IISE>q48>xz)u{_)WyP%AKCd(ue z0QL|<OaVn~&-elhiwk(T^n`wlrlKUlK)v)J3&Nkvx^<G&;y9T?^jQxy?<bddDvrF8 znX}=3ZcHyZGW?Nf3k89xQ%MIwcug41_&!S~4Yjq1nq(JsX{`BT`^t__-0PSC7rgb# zre$@%L6rgtERBNGZeDyJAJP52QCd7+ho{qX9Ml=OuQ!v3>X^TkChx6}T^^xn86+w1 zNnjiPp~|^NR)fSlL<1Jm1X`B}nO0tlW3iKT9c+IvO#1SiHZ5%AiML)SShmd3td<R( z?l`=(?w{4Xmk~9U&72f#5v{Io1L|35fjoZroz)`s^T=RNLBIvlq7eJJ*jv&;i8<5_ zCs?HyU04|mamL?3ly$dq*zriU9|zU6xR=^@8)!QeRD7A}!bU%%;Ih}7RdV+7M$31% zTy2g2m>tY2-!YF(3J|ZscI5fh)Nfv?69m&+)zURKk`#iuE??qTUy-!m8=%QEh<PUQ z)l<G+ZbPkp)z*F&TU;nTBalxFOK-hh7#8HoYTQJ_8BQzxE2QGl#@!SdM<FGp;5wCC z1(F9>`lkqA8_Lt7Tl4qe0xC({X}nwW)^6d)20{n4*&Ng&Sw{_Q<yxU*GIM8|Dg`H$ z?sMl138vNA(^Rh_yglJpqWwCtTNKX*KX4)pBzpPgjqvkG@?p&;x@UN;jnhZUr}pDm z3B3cpKiDkf^%7jXUna)s$k@aw>dr<*)&lB*eU)fJ(-3&2<8QMjcebW>+WpyVwjsC$ zyWazLi1SWnDluUTw*ls`V1a}}_iOU%5mVcX_<?+eN~B(*yW{#T4uU_Co6P#wWa>zo zI3${tz_Ade+@?LlsDNPG)i%c%AC^PS;w^y-0&XxeGtV2tR|!s$KLZIpxvXX(;%S4} zYMdaioJXR`Ff8nD!N!#hjMmZ}lYuwN#cTsZ*XJeNCemi6jfy4qT2wG=9wndsgqG#j z1c9n3I*Y@0+-dx_02}fN=Pr?m#{G)9C&=Rf9{^!2r=rQp$8|qf-d*QomIX=b*Ft(c z@hA;Dmx43~TCX>9F3ozp#7vx&muzWy<}-dl`+XOAC%l^6r#XIWdX)wGpcZHC%f)H{ ze;TP4F72$bF&tcp?M8VQ(VR}`{f{i<)b*iOH%A{_1g)V->FO?B#$W%GOAEU4L<m~Y zGEyl4^BuU&=Nz6UWcagB34NEW74EXWyVYOO+zzoR1V^gJU}8UBTpZDDHs&?li6`Y< zP1IA169zH98MT+3ANA#_EHaxl8<XEvPS^u$vIcKTPXxQ<LUx<2IKq+8sjQe1?aiFZ z5(RO+`GIMtx@~jGGEI-g#NLuofT8jB5NbQ_Q!h_{H`R`AO*u=d8_&wlO4*1NV*TEj z`KusHV{HcMHf#&p{S-ywKnAIvVR#%zOH<m1^S;!4bHA*U#2EJ^T-8!u;+!HRaY8vt zsb}ifTY{|pCms%W%Prd6k`S7c2xtaOqbY>*VxAXRnm1bq{f4YLUqO&L5lPoQRw>05 zkz6KcwFKCu9O1}Jl>r49glcwcy*7!^9d<)pIu}0Gg{uXQP^B{*7)3y~YC-COsZv0C zXL;SmoE;cqu&UFCxbLE&haGfOHN3iCTaS}qdrqlMwkXS?)Ubt#HkdmuTU|yD2L@cZ zx7GRN-~%l@jTBTZH`W0K=8`AybLh3@B<^Rb_KTb0>umPNOf6Am+Xao%d!|FvsIfxU zo**lK|J57FrW(b%Y+ggz{vB*OaNmX3)-=Kk-ZL=C=%O#eroFn&SM1&mRfyL?G*_6I z{K`-GH@}@stXi|`%~?wA;SH%-bTOO#&@eXHVM%FCapSp^iOpv(O#?-4D>_$e)+zK= z`)v7Mc_UHepNkX-3~gDY&P0d|f~erU`^zPU4;lMB4Y@lk#-N2wO`Re5caDk?JH_SE zAVKTkro70EJ;$ON`K|&d2F)%hdx(2zRal5#-YAl-f<B&FHJ*+i+pMn2SqYtGY34Qa z2KT<)wRiLlGKt^uC(9zwpXd9FfVYOOQsgY7VrB1I6;O7aqc;prNE-ykS2G>8bX-y7 zHQ+KynSfShjF#?GG~W_Mi_H*iN{@xGFIlreNo4D!T3)Nq#JXeaL}2OS1jwv8^J31q zYwqq5R!^Qisah6bI>)tix)y7Yq23|wbEQ1UI=qq-sHAu(u|>La<o3)9(_h)6+MyD! zP5>@^cA5ES^Ss)^*)wzSjc;aEdn&L57$nzfq%O{phKE&|U`Xv(1$WT)bc?{vd0i3S zzmIeV;~nP>FcWdO0(@Ok$+$K9f65B*Jv~9YzFb;`M{ouGJE+*_9_kk1YEK^HaKpBC zA!lpX1U3z=CDj62okdwUXs*HDsW>ZjsaUCAqqR_&;CCVo>;xM!%R9EIer>v6NUH&( z5Y1_`_)jE44={XZ>*J$VDk4+!6lAMyw&KIlC=Oxb@qG!;cgrSiFoNvnD0Gxg1q%z8 zhU7|UpR`?9dyJKdC*PAi!mXhRh-bu_t2nB*wlvyvU{e&$mvf%%ti`lpS>Mx4MtB&k z5689xvZqX3%x}$T{J(Mlcu9E#zks-c9>M8z3xf=XOhbRdCtH<EbAP;eiH2GFLoJU2 zp2(2(d}ow}428J!suj-cNY^g}kGl;N*Ttsj7;hunLyK#afma?@0=S%PebtO4F~#_C zQMH?<BUr`RFWd`ddmrY*3#!*%OHAFpdw!;>(g<&)HXrjSCCDkO$w1u=ZA;tHC2TWK zdHOWF)y8j4;qkhqiV2ee(r3#rCe6&sug(BXh*$*z{Vy^3p*k`*82r&wU*x=i1@wTD zY^>h2G_{W;*KiSm5hT)%bMLUEi6Pdu$8c%bSNS5=xWxSayPn`WVT0weYC=oZ@hhHO zy@dya@boho=*i)CtojVQ;$|x*>hJi)D@Ue?WWB~go2r7b%u^UmAN=#q=+~L6;X_Cd zHAQK(7kR3~m393Aik9)pYVOk`CTSbl;v#)&y`VC7kvec=i<K?*xH@(6moN|h%vlxP zVd5h%D%IN^pnU6%qoI<vw%mAimK(27t_T}>n<o}(E8q~h>#be9i((3n9(9PXh8EJY zg%}9OUP%I$S78y3{!h^va~-YM*UXV&khXJ0cO^-~?ru#NTC_XU%NU}`ox@6OmW@R6 z&WbO_5#zth7<bQQjwcSHjyJ==V8~m`VOFe*Vgy%cK95QDP2Z)bOEg52BZ@q6-h$J; zYZhUf5J0nFcPqLrc|*B)t*el+-hfXw(Wj|6p4o{f<R^~MkSjB?>~eCqJh^eFk@G7_ zJ55Mn1Mfv5aRw=wYm7nnKJZr@x-c)7BR_DEd050igB^5siY5oGm=GL-HrW2X(rY#O zSyx*&<p~!UA}U!d<XF@r5o;Je128CTOtT{taUv629pnoER7>?l>P~e|H4yxL#*c}4 z@ujuuPxGT1@cc?@jU&kwoXBi5l~$k8sHmW?L^$<vn^W2dQL8>8new&zg;7GB-E=pb zZn>o&pc-*>>XLMUa%4s(K85cR&i9fMTB7w7!e@`n)b+EIq808?P-OXJyuO2F*y*y9 zH6y1MZp{cu>SgP}6&T+`+x!D{MTC26^6HEdh%fvuyb`}dd?H=rCC0@rp{`HhRqom7 zqHBs)#{GoG%S&iw6W--!QVi@6J!UeT3^Xv8RF0jFFtKxNAN7{a?X3k{nI4_MWl_WE z)y^nddS--u0k#cgI}|xTeFh{q&nD~2O|Dyy8p9R$N?{dBK|sVu#AD)-G_Kbs_VfeG z1}d6>j}|+@nJ<kGctE5=?lvZR2`MIox8)?vM;>O^EBF|@M;RxQX>jmAZ#c$oqYBfK zBQ9d==i)o(;=*j-ai+#em2ptmd%~eWr3J)Wbo?<o9@Bwm4x*e-!LZ`l-&gxfH%A(} zZF)#kQs!fO^7U?|N|nBKS@2m4iCMc{Kf9v3g;xz-r3EWWLd4F)2e`xf0n$;*jOycR zaUVNlrGro;yPsKte~<rKCTPf0JFRqnB*g8CK#iu(5gbxcVY9gD5akypvf`IBP*-!D zQ4_DAEV_>=fB&eOf~cdxe)Y4esgQUrhWZ!0&okr`nA(*)pA&R?2jJ|%jWd02Gu*8C z!!07C^;&Y$M!0O+)8j}<7|6X8<4U&*UQMGxlBdMr;*whz^pGw=x-__d4#ut;$l|It z=Iy4gToak?#nB*E^oA8i+<KVtDu)ME>nqcXcl6mfM>dgPAMjxE4dr~^(|h|hOC*xG z;rT_meRMe{y}t89Hic<!yjPQia4G#b0X8ng4cEJ9uM8(lHyM1D6xyIcKVh9h3<b1F z<zoqTY2cFzTAg=_Rq7D@I-rX2?*l}a%H7045TGS&4;U!3{P@kvc<lV}8s{v9p=uRD zq(v^P%kVu${)CW0tfw~n=1)rUY=WuEe^09qjZ;`pNzV(icfC3Q=W7I8k=!|Vf16I} zU(nsL0dkr-LHGNP!?cE~T?GCtU!5>NANGJBOJKMxVw<#C`RFUk=c1gXx%~E~U3;jM zEj3(UMHc<$B{$pc@G@&2dP*^sISzBU{P8gEAV8D%`V%|?L+qe$Q|vcgn+&c0Hz)OF zELS7k1)%}4ojo9S<&YxQ1StX&UQg4k{@B5idB=kuWC6pYJ$X-P;($6jC<gKsUU+Dc zh5@Fe8rCY1I^T{zS!&iPb5$1}zss#ECYNe(aGN&iIyGU$T1=!z<Y$Ejq;jRP0wij5 zEW7s)0(d%2btFQtGqn`OpjlcW{h5Oq0!prONaDLZDV9^W>-Pfbj2qfPxW<KU39H<g z`p*F7PsmPSKr&28UjqAnR%Q?2OaWnYAwar;_wOSTstS~-q{Be`^Uc4>md#WKYM_Yc zYKPlfPLWvJkeOsVEDfMAS`GZArxv57_~h5C2_0R&KR#`*hw$~cuVml~Uv?JP!HBd) zG7mghU-+GBXD!a1UbpdIhE!Q0!qAf!Cec;!8<9n>1;p6!!jOrFk%`Og#0>$k0dU*` ztueHYve|ln+855WXw_~-LM)*1_)&U26Gp7AKA#8)S}rzaaGXN4zca+c%ir9|4FX0> z{I}whcJr$*e7c2a3QlEH*NdE!XcJsGKBr)P{9^^(JG5_C@knZ%bJQ3Wi6ACwcG)Le ze|MgppUh_~a9d>c0t^pW{qV%_z03YXPwR6}Q>azn6Arsn_H#S0H5!4?o5sXlA!N+0 zsL0QFdi5*r@KsPYB#}R6xFwrpx{5agf~P;<wluyu6-AojWOR_?o$Y-Dp?6#aCh32~ zh0P2aLhQ^2v2D*?48zEvVR}0(5*hPyd8q7s#yb~>iRK*DuD~B90eF2kLo1Q#F{Saj z#ZJ_{3dH0>DUIhw0-=7cGFdwEr#!3wJ(Do*cD+w-geA;WkEN(Fs}miFz6aCl^W-+| ze9H-4&2f-;+3(B%?b)bB_d9k5SIeM}1fd}YHkm4IR@`d4(;H!b?snG?da(=WS_^-_ z4-@mqch(Sa^Q+Y;RCAQzv!&fF+1NNA>Nbj;3ez=K5j^3M*f%h-xr^lNOQhr&!`+dp zx-R!hct@z(Tq4MPR9|Nh3>~>Sy}uN_HTYzmZ;C2t*mSaMlnrHc{MQcsV(E&k<@Y(C zQ0SeA+5)+cbD%`YH}fudgG_Iz&xon$=9vP=J-6c8nL__?@8HucJW_S}3x^=6dS+I+ z%#Wh*RS+APS4@zx#(C{a0B^apU-9mmmZ4mh5=WG}RW#W<BIvQ3F^f!sGf?GscMe~7 zI=?1B{{!ADvfqk7=+0DjT)Nl7>m=*S&XRIA5}ES;cmML5*hfRYyI|viUHZ6fop_o| zoB{o>y}h210^}khR>FK(i=R5K>+AR25op6hv6VADuLn!bofo+`L1^$<-%*hlX7Bo; zE*FTR5Ot=Lj@oaZW<z4i2E1zy1ca?Ri9%^NKAxjaI#wdX8SOj2v(xyM4A2{o*7(&k z-8KX&cg05%X0CJ@uS_04f63nJwD^p3g{q+u;EkS92(ei7nGmGngWD5@4}O!T65FgY zoD($b?b!9k#hLNl6RFd<z|~3c&mgF9oelwS1^#}-mmHwYE=9p9{m@3F3(vLi^m96_ zwfmG_fye{oHy$>g9}Xgr0PFsfI}}h&miR4COB}3fT&u7D{ILYCVE}Iho;f^gm7+X# z8^_Uj5cN5PYR<e)bjgttc7vdjCOBQ2$jzLHUu=2Clax?*E@39Jx)ifjREd>m5i{L! zL}qd$2lZ;%cuETbF7X~g5x_nnan8wl#n7-`Ma$NbYyk7L%Vx&}bEi`LFS_~Mk{V>( zy}s9~lLYp{d)SkgAe)KPz{ww8>!G&#mpoarZ(2`gR#wSn`E_x2yLOatgd`ZqNb$IZ z<fGefz-P>cY-l{n=tb#<cI9zFA<CCIvKxMBtbz|b<oZ%(R4-@+JMMUq{+gw{HN5jK z^9v;x)%#ilfB9Imhh4Ei(rV9*{>VTex|FJ8W5?*hi}m2`U28!pRl>^Zub0wi+SV(x zPirRdQES5GbTY-W1q0zNaRNfY`YEpKf4!j^(T;{o3~2@)=Cej>L3GsfrhGAjgV3Rx zDRLXJUQO%u*zU3^1AKQ7-~6)Va8g5_I~$f6E38yNHz^gnB39X1;yRD-&asjA1~Y;R zJf2{rPn3`AEob67Bc<gDih?AKx)YZ95vr}G>$CBAGDuJOFC&Uk!>pnX7R6UEi1QAT zNDsQ3ZRGiJ0rW8CkLqU$wm>5PT$6l7q)mC~V+0|bwiZ6Nrv~0d&k41{lv$3;NyAnf zjvoAE*EpDwiwJ#HeAAwx=X6h^!sSnf97p0EV<?Er9$C*yUd!VU1MGi9^tA2guyxIo zySTE+nd(Xv((xGnO~OLb=?{NGxMJ&qlHZ-hM&XDarnenIWE-DXStIKAgQfvSUtIO( zXli!`Z8+wV&52n{r(#zWE55_KCuYiUcERB*SV+rK_{3!E%F>$C<skKsd>#1_YFIbh zZG2m-zQz-{h5es59`Q<}MD}RucmG@2;0&P@f_uFp(kvQZWFGRQoH&nZINikCe;^Ly zDEAhoMJ}h%G%}YR-&P^h7qev$MV}lvoip3_21Da6ep+D>IGT`&)^*2c8^KUH*)SM3 zHpbogol+%k-~JIUWXN(d)_cN|pP;Z)a(d%!)KE7N<ZmSxtp7F`g`-)qlqRZ(E~Rsk zI?Ni1plJ*aFcB<}kiT#xW4IS_mts7*m+8XKyN#g%j-pw*u13A5-fMh=i5V2b(rFB# z8A`DsIl@W{FYr%KfiAbDT!>f?9WL&&pzK`_n7Xh~LPE{_5yklf(o3ArRjaK}mI%pb zBzvc12)8_*R9~XWp;{kDsBcNAF9Xuwp5{zyvP7*H9dh2K_Tr9DMN--@;ox0>-;S0+ zw5z%ShNO*$_$3S(H#mFZbobwJW#q10{W&u2&xrJUen#laP>w6FA%1k!mzz!dr+pnR zDV~B&aQ+HqErcni-a$Y8wf&vzzW4w(9G^rG?YQu&A5nd05APs`#8y4O>D?GPnk}R~ zZ?K0EWt((G8R@kqh&^pJlacOb@1lH7s$je;=h6siUu6;Gzl0gK4=F0{o%#xNl&o^A zwT`5BSz*t$fCF2tbTapfG;!ne2z!0q*gOvMES7Z>-OJ+G%niA=e7I4)(-Ep=pI_d^ z_@@_ko56qIr~GO<SsE!Ga`=GtjHYyX$2GF>8%RcZ5gQ-KDnN|WKPTSZxeCmG3JBCW z)C*VCNyDie>DravjtNtt%QFAo1*9y-M_Rx?b|F$yv5DPBNffzqH+*nFMEJ-ma^I_K zpl~Y}4dZH;bSYZ%$H1rJ=}qhAZL+4~&K6lICwvZQs&kn199`QLol<ABq);T@lHCVT zUt!KjEKBNgHNTT|xfEZ-RK(W!L~5h)cMp;jtELvKfdKavFN!-g#1ov~a|V|6IMW^T zd#46-Kb|VXymWuL+%8<AvTdDOSkxu#S3fx0=OExu0-qsn)Eo@>F`~W@ZE)bKy3K-Y z2A(`Qj#RQya;{7NWDaSvY5<(|jgJ)Rn*T=YDha!(MY=v!-QZ!lvq4O0oQ_#6`=^Kb z`D~%0lX=fFLVaiD*3XC*+<UId1!3N?5!(mCqGM5^sFHf1=t1^THO=J((`=amJG`T- zEkH?)i97Fx#~@7X-P$|-^{Y+66c-Dc{s)&}dPq$v85M_<A`(JRU6N7k<mqkyT2$O~ zMD#9j8Kj-8J@t_K=L9Dv<_3{P<uJnVyt~K<yCa3=*fQ>NHlCQ=zdNZ+$J(Q^8pR~Q z^Eq^xM{DH9t48OJAvmlB)<h?jf)ZsnYYdxDEL3+N9+QYd408_&upeo_i?9F*>C>aq zCMUpPgd5lgzy4(<WH>`y_`}Mj_2VJkW@38DGAbk8St4b0g=XVLT0r}<T+yOw$8vV$ zFbni>--UbFi@X*Au388oM_0B)@W5-*gh{j~!%3||;z$`!eB_zRKQ2P!-J=Y{Uhe-D zP%k`qkW`Hi=~0v_Wb=*X&;G#sk;;EAPnAWHS2@iBtTqP<lE6eE!~GHYVCm()bA18@ zJ0e6@;B6o4Hl2Q4BiV4hpDONYJ_h#b8NHqYTpT<ej_i1hxkoFq32}U(R;A~Q{{B0~ z;uGsUX+sJ&1~FVDZHRM!Nm+?)*X(m=S_H|4<4#jTbfbTX2f*WU?hc_(P};^NEcG95 z++G+)WXUu_AH-VpMYF?ego5!Zu_K}}&nq8<o|D$Hmx?4O0#nT_(Tnw;#@`{M@1@_i zO}evkD3FMhw0ljA^zrS9A}PV_-YHR$7x{8^98dJ;ryewU&WAM|c&(PQIO*<xBT**b z>bGGSnckhRfY<JntV8Tp$x`lJUW}q`ch<h}_#n-Fe0AkDu~wxV;uy-dL6(}k)ra(Q zG!lL2_`uk~G(I)hWN!QDM(|@&G%5(anf+9%r|EHH)H8Qal44$B%kj=Epp9|fr$oE5 zIkpY3U;K%w?`%L539;i&`VA}F`tZ@m(>G<neIl1^9U^1Hp=pGL;X=_Dl<b$Hya>q+ z{9W9A@yMV>E3_}1qQ)Iv*?Ab{KAhOOv(o#_y$1?W@LbbNx5@dTcsipMW-E%DHW(Vp zJGiIMYoi-m$wb3gK`5V6*d}4y>+`ui6NPGNKa|R*5N1}O-7wyXUF+2|;m)9=hcKex zRaj<L^_J4w3ylJTFs$iO(!6pWw28!#6`BnPLG@*>($5j|TI5dDQJDlq$*gbBw}LLT zOK`bK#=yhy;gJ7&@yv*-H`3SKPZ>fUAXa>})2%e;-X&bZAX|BG)jcP<>Xj^tW?XPE z`R@IW)O8UcHsfdF4)(l&APr9)CxTiAAf8&A8vlR6OlHRa0nB7(X8eDEnM`afT+IIq z$NYbhnd}@)|J!8d8>n-!O%nv%SZhwKor3L_`B>{s1XBZ3Lrer$!+)Pz^5({0Q@dY$ zch^q8el>SGJ?d@-Ay>7PU6r}^Feqed5JoJJsQJM`Jv5-OBu^Cn<=rr_H2xVGF$ozN zXt9C9Gm|Um?*vS^ArSK$Ba;KaOMP&nIRT@!1k6k(Ylu7^kY4`LS#<s(@cn}y5g}Ko zEG+&h85w7OaCq4Qz{AlyHPb+k(Lh*`Uiq-NA>~0uX-z31C0AoifG0FTJ84kEgM))Y zz!n~%Eu?cRGg~X<I8K)~$PK?dD_bjgId{4?uwKtE1~^+@NmbPm1vxn)BBHnn4~96T z1uQVOr+-*V6`3ITIf%0>WG3*hG-ke`E#x-^i#R8Ye`ZO_lz^ieq>~1si3Q=lh@p)c zOtag^{of`IP;O9u1jusfDd0bN0j~hesUH(T#CHWdAlhhJK*?9!n}MkMs~-<eRwnm4 z7xtEy)`kwybd7BQkQg+VxQ2p;r+-7whC%3PD?I|i@96EQdg~}T0fe7~JzPAJIs~R4 z>3iO@u53;XuAUyIUbQViI^lvLGmbiHD=UI~eFOMLPjCM>Qek=$%kopnm7&znesy$r zU}*PDpnrREclx`Ibb1>%WBH~gd)t4}7{K&_H1Lz41*8XzJ3T$E%X<x!j|y~dWj*nX z(UX}*a_>MkWpEe=_w9{~hYNg4AO-YOJsm(m@Ry%{^j6TnstIR)?rbj-5VNnT31qHb zS__1lACkhiP4J4yH2+QT{qJK|Jr_vtG;Y@fm=W;udB^b+_sZ;4-}drp^85C~91&>~ zer37zll0){LQIU13q%0H?g|7-0}1ONmW9(lG5~k~wMQ#Gst$+<{D`Y+?&$#aKg%-| zsC*Ux?gE_sRsdLVSp5MrCHwaa&4NHLdH8E4r-tl5?j|3A?F+xIZ-C8xpXTqL=QjX? z^uXNat1a`>;Rg`6xjs9&dL;lsz;|`}xd3=XAW$&`_{p&a0H&*X=cgxUZUNRMdNBg0 zg6q43uYG3CjtTXTV3|}}9hus{OSFLT6#zD~4vklSVo=nIfev_o|KRkupEE&{ne|fx zmo7i|qXXK#$=~0%gu~ZT1am(*Od3dv{`HNGb=cUCq6AGYP9T0-f+9<Z=kKmCVA<$b zgjxc6|G4LGpi_j|zkWNE6p;Q>?+gn9;i&zjkC6X-nwJTN;SEu~g4}^*4*_Dj(?H}A z0^w-=q%V*S!0E++d_?pRf%71-hraNyAh8R?PeY}TpmktbYk(LpK>`*)h#;HXZyvJj z!Vmc?Y;O#^@yp~#BPC<{7hDTSw%>0c&SVDA-xt5)M+CWLF#of6N`Mme-|7)90QXl( zSB61iDh~W}>`=t~h2dT4-_?Ix!?wTR0?bW67~hgJw}_@6lE((q1UexT2Xh+)tptcU zeiZ`B|GtZU?_It%zh7Ggoz?`DQvs5Ij7<P?laJ^Ll=H9VJ%IV-TgUw5zE0Vf7bYY7 z*WG7%aAIZv&GJ8C@q2gwE&A9qMo&dVJp1oJ<&N))9|NfK-#hI_@8SEgACnHo4sC8w z!0|T|t86Vk0>JTIa`?vJzNq^a5J+I;@qKkE(9H(`7dY?v@2Zm*KV{eivb%z3ezBhh zpw^eC-%1K=eH!Ou&%cPjUmj3ko*;4u>Z!Q09wIe3!d>{6!4G_xuVwFNRIhAHR+!%E z*<Cxi@%buN)=fbiId{P-W1mW^t|Ju=A?gtZKE5p+LK4oTG;aJ~y_n>c)3<JebaRIA z3K#$sdtBmRGDAgF?t34X#}%kXU<b&Xgo1H5$0KoNYEi#?%;aZV+{$+@<lg2wZ^bDp zSb#Fq7*Z8}5yrDiKw&?r1#;M*$&>)3Q1qKYRF8vKdwe>F&m2wi1ccc;H(H&DxLI_Y z?W4js&lKz`83uZ;S_A~5ce>4C+LE~O1q`ff0)8{HtXWj6D9xRuEmtbqR*B`^FBodX z*)a`><UdP!<^TSr_cIj>jM=(Ml5O~qNd+3ub!aASJSX=aT66p>(2#BP)M!4jK2{7k z+qm<Zw0Y(aEFHC-FN{%a7?!moZ6(+bCj^_ZDHe^S-E713h#1+O$6?YVFc`D6KN4a_ zp|HI}*lrlNzlY-1*C4^tdBRQ6Z%=;6jdB*)Eom8PZ)ciu#JuH7cV=oDVgr&Zv9w1x z6{x(DoIwpL8v;bHq>G%pjxEI^MqtRKX69t<&8}912^g2})dOI2$*W$=oyI|Li5$;O zF^YtH4)xkwx$}5%S}@gNxcP4z&}fal7U5+a&A*b?A+(2EWlgtnT-*;@%v}I4$8A?m zKg1B`{G%|iYRINw;9Gy3b96_*I-WiPIT5@;b4!7v+Y}7Ucr1y0=1BJgMfQ9k3W2JS z1JGm+pR?LK=H&GZ*Fknxry;Cz`+8X^5qp%Z;BoUHaKpr0v<`@)9}Yb)qN#Q|TZOLC z1C5}&*BI)!@KGATDy)|SK1brbsc&}58GG4HT5-P*P?7pAAX~;S|8Xb0olxPjOb42* z6Y#!IopV8Ln?M2c$C=if8Ab!1FJ3_439>F}5scHd6v)!2fyPl<aT8E)&bIJjzU%e) z5vfzX)ADUV!I|C)Q`2>mZN(=B$ko2+6>^@M4oPY6KB_H7aaZOh9yx|t4+K6&wM}NX z4N^|&KquZcizoiTzv-<;@jyzD-O_DeLbxh4$hKDdEp`Zp2y|0Wpy~3GoNiF5ExIf7 z-HfU<I(}kuWin_HOBn4b^yLeVX$y60>!M6*$X~fo3u@?*=%K8@TAQZM7<tW_Spm<< zKH$|zkC`EVGRMa)wXc4Hrz}x5G_DUoxIkc7F78HN+!tOaLsrataJHqDbmYUtbi7pz zHx8IfMYN<x(T{C06I{rb&aA$O#r7Fa6T!riYI(E0T61C0+oiLu+te@yM)sWyOdcEZ zwn~@4MtqQiUT8(#SJa&w+I{M7DV+S>G&ao}>vKI_e_2=mfnLfg7S5v{)VkM-U(I%Z z8sIQ`uutt&{1$I?XqSL$L<L^iC7;^+f^zS~=2I<pr(mpaph?16qRf^^;z`lRD&T>F zUC|0jkSfP#>j%JGxZp<({foLtcU&k<Ec4xS{XZDHhb`fn1<Imn+qP}nwr$%szqD=J zwr$(Comqc1s&^X|PjO<z*>i=;aSm>;D2C-C$h?FaQde~cV)MGLs($LOC%F|y_+**P z1ZjZch*K$`hU6!zm&gMjtN2piw-H3zT2_Bct<Y3~b{;Osi$ycE2-ccpm!ZX790Ont zxZNWurq6uSW07I#fN`^FcAT^^b*q*}I6(DKHm^lcHzb1el#FOo_i9Q)1B)bFj@*?d zv1WyeOBkEBLIZA1WILy3WXE^bS5s%rFndCZ40CDUUb1I!x9UpuqOf2Q+e)~h<MLBE zLoCd{Q+7okz*W`TnH+-YEDFOyMv-A9G7<C~0;%2m_^Jd!8*_qZIgKreEFN}Lm)t$% z2iFq=i7#m`-Roh;Fc#|dDiL&-K|3}KLH7h3<kl;bBf2m?2Im5jMaDRt(Ny46ow{A{ zDDRNBd=FxS@XO~*(KQtOL-dn^X0wR2r%Ruc&M&bs?{m>{+kJ@k-8cmZLOvP8)*v$9 zfY7bPk{iB3j@rb+5RiSZX=UJefN-6*1KMLZ2)*RqlPY-9_ATN)F3L%gW%OW6VW@a> z`mkx|F0l4grfwH2PEU-|+E`LiD{<iB>{Xou7oxqXVmJQHPb0X`Db|IKgaj3@`^QGM z>mDsM2&t$bn!Z3<P#q>BPq2<p1b?sF-BtvEtZ<dvTCo+z>E;GqwS<<~7H8+0wa8M4 zFf6QgO4j`lZ_-2n<8yQq#7-S(rQL+<9*{F^ZSE^7p|;oC>w0yvEs3uCDHF(ET;nEP z;)Ki`WX=nocve3wM4@kZNB)K;5AKxkE%{KBVL5oNM{(@HXU}Jcj|}1*-9uYjp#%m; zsRDBFG)&=H()wVOgF;sAU=#q#oZ9RJb<4U3Mz6Bj)J4BXN&XykJeeDBU7e)n5#9f) z(Otyi#wv=-ny?z<efbWUhA)i_Uv69CP;+f1OF+SB4oNkgM*lhCOW~3sul>>*$sU%S zzNVt@;6GDegSjzZN!YBgmV9*vN8s#KPQ!fusu-pIhn7lc===c!S&T}@qe-195U}i7 zg@NjBsgxemV9k_M(Qab${Xr3cuz=6$pF*3zjV!nk`)4}bWcIfv($(h6r6h0C9%G@I z(~(3rBz0*GQKp;>%wpR~jC+(5+EOFe%bZX`?f0EbutmO#w3af3N-yOT34;XR%T0dh zT)fmN2PyX9NrIpKXuB(8X!b>(RE#C~Cg@@tO39Vce6XYSOei<$^SGxu2kCRKXF+Zf zJN~xhy8r4y$iC_tZRK5YPtb<QA)cI4j=22=?Ya9R%$W$6z|(^aT@1Fq5*J8CF>;=Z z*vmx%COp2!GaTcezBZQ=)1tM}V?Nf{bi|yoOws*UIylu1oc6OZ*SZ(u<>{(}uTo*b zNlVO=n6R-<YH*JlGsbJrHxPw}pDDFD+hW^$nv?;w;i=`I_-~u%H?ZNK`7eOvdK9K) z8x)U)l$wBv8S{-PpNhg9-kcy`tJO?=I%en0BY<8aq~}i3=!t|!Xy6sP8^1K1!C_dk zQ1Mf~N{b6*j}bKs`HC9k?JG;Ats$|a2b#{gcYDww<SbQ286(7Xd!ZIx^eCS&xhr*~ zjC0j2JAIAp`YjXEkJcT&wGcmsHqaD4BO-@fkw7WtVbaKPCI?K8dhu&qRSr#1-zpO# zC%zx77-wU8wQ8Zn?=@sO6Zgf(;#Ec;!MD|?HHB}tacBO$=$1_mSMsa!ZLn~4hN6jK zLH&19qNIfkN3gG>(Xe9;wMZhLrnBU7eGTZzI!`@K4c5nb6l6H&CrwQu2aPz8QBP;) z3G!`cjW@hJc`qUC`4P}9NJo){+UY&L5K1THCEEwb`be#6iFwSN<iA+ZBjVc9LNVN^ z5AJDA$6(k%)@>Zs&B0}1l`+W#8m5eU76^})bIPahqt~FrSVzaLQMvNa1+SJkaut?6 z*bQ}vzK;nj^yNj?ELup6bUO>5Qyej4v^7k(5`5ngfw7W`#!g^xFaVTD?5eXTj%!8f zhnjX#j$I4*FySShw(G9Yh_B(if#Kv`P_D<oV~oW%et+!djk;&7A!~IA13na#&3M}t z4~SPzI2-mJc{2EJyDqjf1H|8JQbrR%ml^m>PWJcY?sP(un?>?DNZpGi+BOn5@u**s zSG&Fz@s~gjGqsNzy(MCAOkn}}4vc26XnCEoaCV)X`c`)3aUyahb<P+uvZghFO`iqt zA2x>#vGa(SnP^VPet?Wcs3bvQ+2oVO1Y}}XI;kE;{&+J=Vg#LfH{5)zqu*f>T;d#R z&G<GbSWu?jX-r<AK<tFradaW|d4*daaF6lVY28-1&sqEp6osvcrKUSxf}a?WLYMXt zOjL@B`J$423Y?cvT&W$=y^u8`#AJ$8!P_OnX<lTr6|0#L;?9Rhbc|#9E@qnCIATim zB5$!s1+1QmwB*A>15d#q+ENM*32Ar?h(i7)F{bu*ER1L|wQ)kLs*@e|0(l7edLQf| z3SBVcQUoiG76~xg@#~pVVwWUdg*Tz#>k8o+wZlamG@OXLKCG}GIY$H0%@ggr>HyHF zYH|$0Yhf_rfA`7q@wbctSG^Uhr0mGb+zXmQo+9bk^>{WrP;#x0swO-rXAcaDpjQr< zNP(|%>w1$ownUb*CN1p%)Oub6`!vEEpPZIJwwKv*+kP+1ipX)Glmh84OL|ofhlwSa z%}Kn|e2fyQ_410zfYO5PK3RF-TS38pDog#&PC;0U%;lE%zO3pz0p+#!D=FC6Bl3iI zW|CZTHask(l)RN?Oidx};UpA*<}fzEOz|pv@Xew?Mdsz~j-ooSIj+lcBmdxAoA)wi zFrqw<*AO5RKI9h15lzgSt=LM)O5?zOktAT3<%isdp^9q;>SkmtF*8dY1S7s^CZ=#a z^&+=p-en+gr4{~DURw0+)p}dubwEMS^5?N6-VYFyAc-gr@P}JKnFM;Wzx)T9u<zS? zB_`y85**0qF~AVSC-i8T3k9weEzx&j$9B#^#Lo)Gki<mkKJfA%6oky(;R$Wixt$5^ z+d!z?KepPK0FF5dlNVm)GhB)WIw2igl7fLzRks858}vb5Nx{nwq`L)kt!h$w*A}&{ z@xV$9Dymo89a%XEe{X&2Tbn|m<7Q2!h&8+VPaNf-enQc$LA|4mj@ia#7yAWc*DRnE zU(0KA9|}2UukPNOU^-x524o0WyinlHa4Zj}h>03R$Ji|-6trK^!QT?s&Uv_&#gt5; z?0*FxnOqSR*n8DvFy&Aun!6rKTOuLcyJC98Z2oPH1<rPla>D#j`H?F2&8M*nueKzB zX02(%xJ>E~8QhO`_j^g!;!DPpF6!eMb!Mc@e5G?C-5C_+MLM$2H8};6RC4!LJ5C@m zcQ;5wzNQD-<k^wdAQRnMe%mTBldBz9gz)?SR1gtJ%{Nfm@4pq}+mVqUu8Q3x@NtPi zY9uEYi1O*bmtsv_M>&#Qa$e6X8<ij+Q&1NZB;!3n6aVaXyE)kZFow7m)wb_hO>_iU zqcLR%<s<Acd$}d{gj_vQzP+t3&G&ysEC|72|BcAo?{FI7#TKV@uco;UBFL}QD~nZ9 zdC_hnNW4Tl<3VY!*A>1*vVG~Dr~G2uDVdBdZ%Zse>BIoIAIp+i+7Nj_?-rSuc{=mt zofMlxvI(spuOq0!Q+kW@H+Y>YpO@*g>$Q20o{kU(nr;l*1Rc6NMpIFE5=rD|#eWG} z#+NQ#_Wn~hb-B3=IhLJm`ld!ygk*hxg{+ee#}PxW5PjC(l7U7Co9)I4^58j|LLUd3 z+<@XIajni5u4KDwLZ)3D#QpFcJcCUTXHG{iCIc<+WACtZn@jWfGOLhfxv`R%x?9a$ zvO^1XdNmf3PsdxW#=0*tt#Xj*WcFB|znvnc9~0-(^EZTCrJxb5|A(+m4U>w<2tPG8 z^C4QU1O;Y$(nK!0I&23ij|-L=XU}-N2Ril>V@P>BCaLj85;hOqvUf+5omLJ^(_%xx z>haNhtx$6LX;9=m7CH_@e20<8URixDAs<riEYmqn(tfw@WA0PSpXh<Yr2a|9W?NDM z@wBGv1ol3s8!+yQ%#Dn&?hZIY!=#LQ(%is*={0%c!mI^utZN}lYZsdOb7M2TGbPfo zHYPqVJcNkoxs2l)atNy+OcplK7j~-c$l0pa*jfxmJ*CR##EQcGO4MqU0g1a<e*V^@ z4OM%&8OjNj`1495Wn3D5&w=1_Z`VC(r5l{E>!^&7AXNGZyXk=#&Rbld8Hg!dIMM+y zy?ohi26gZ3d7n8w!Bg^kF*bzcx;eAmb=H`O#|hzj2ZrhD5bUdQ#-v0Nd5&749!={- z3Y;j9EYh)IO^z=b2;Y#!zW|(50ZzER#LnzEazde%qEGVn-!x9FIOpRP?uAWy<ga1; zHYbUlq!w#c*D@STxAE1~T^}+WsAE7Uk4SHUm4cwx*B^aswOe`}%&QDQ*1(36-li*K zy-t*3(V?@&@C~=|TMIe(u|66s@!IiH+(6fCdXZTdknKYQ=qfP9P^?2DwvBtZ12M4o z{2`*3a!1i%-bO~;0-3~i{N31jrk97$*<1bHcL2U;Vu76^-0(1O&2h~Q7t7(~nbfLN zcTGW*T6(nLOhtIsv1(6EtL**a5i?E~HtX!X0!aER#X_yly!VuAX|~9&$vTYlmtZcO zT;Yw-B*Kz13l=SMun+8bB;<&*=F}Wz5EGkH?w#vKETcpi&BjK)0rx0y4&Ei+K9527 zYj&cFr-cb)WZ!;;DEY|=Z=C-F?gUojT_1GU8hD$^<;u3M9Jf<#w*W1O=AOxBB*EXC zq^<RZHgpkm6og|py@t(d!)Q3lvIEf=<y3004LPHJG8nK5@vX=rkl&BTMyuj``SI8e zolgq6O<h!aMR|ZGVDe20Id4x4Zt@a*?i_xgE!R)+$Z&vDUF!EzXRFbvsP2@T<7zbf zpr?cqzs74^KP?`{&o&OeGZvl6Jn1F<g$)B5SSO-{{~xZ74*?pTR^qs3tECasLe~zj zl|!0dA3p}LbtpK!g4mWo*DN4vl|Dy@U#q9Xhmr;5e4-^vYPva&cCCu|jlFDv3i2)+ z7g+$z8cl^|78N=RHAHFxa>JU>gN7G)L#~G02D<Hq8??}dEC~#jTr3hYPM5#~%9wFw zS%?6Yq-<v(L$mV3yVn*@?+><9bsIdfD;(%BH%t%#8GTGFizhuoAFOc;ZLyHCI29N1 zg&S%cXR4?Z>z&>tvzIt_$CXBnp;N6B%ra@9VZS0PSY@Mpa|7Yt1+oqU2Yej)Jc^XQ z>F$_zGagT&@Vs<`uxsQ)fSq*A^!Z4H3nl^xw@p&I?GRNqX}!E8g3)}vUr5y<@05Kk zmg{%u>A;|t2XDqC^Pq^xM0A~7+pqy$tY0pOXMVr0<DMO+UKmM3Zfad=u4D_KO*4M9 zzF*Loe3Zgl8PwKm5(9OPP{aoPBCb0Eq@2dX7RipY*l|#WCoX8H0i)00&abeMG|qH7 zk-kwg^oB5CY{y(Q&T`|HeEJiR%lrYM%XN-kl#ppUc08veGf|Xz=jO1jE@fN2Y6y%N zeK})=B4uP+QX~nfKBmu<y(-Ib4yWPFxMGd*9W}32fQKjUN<-N)O0-zCyLv=z&xC^* zM_LhJLWj7!?87U~S1N#s_uWRGKuUIv0MnOv7jHD|2v>buiUUrZAG|2LR%ik^2{wZK z(s_2YdrV;{UoKUJANeiUYQv$WO6$~MMO76(V3a0%C}Ff<Wrl)F(YjFb_|8J4S8&s3 z4<}h>7AQ$56gFurb^0i<`LyKegKq1?)oad^!=X_Fglz1*c;Rdw-Bm55;v2djb&<e5 z`b{7Sp5e93u?5>vu(9J80_kRCC4JjtD^*wT!QJWks>qd%T7H2RygA#4RWNlEavWa7 zqv0h$S=wAZ?(1vb@Ssj@TDxFb300nxpHTGFo<s?5i~ccwV_>$KMxMLcR~RgZlYR*8 z19BgC0o1H(XhGX!R1`6wc|WKdhqGz$_p~NGZ#42t3@Au7>8RG#(C+@C(-M`QZs(wu znZRbPK~a)eL0^vriO;D7*p=U}9?!V6HNT~hUy0U{pVh}>4q^P3^`p1YkJ{80CgNXc z%GBI0hLQOt4%x6X0TTp!ikQh)l3X$lGrD^i4%s1utBF*|H<YEQzLS<icy`OEigMhK z$*8kX5tvENRok(+<r%X7r9IV%<&F|bR}C#rdN0m%7AQsU<K9pHdt5Vy<e3Bm6)EoC z;O6;2wCUGPZ&jdV_JQ=JRhy5wr9|`fr)s_eB0TL;y-3}axAZx+3CHKSePi3jpshm5 zadt(fLQQN)od?=y41d$mw4_P>15^lLQgG%O&T1-KywVH|@ba-s*U2IKFxgmUbNJjL zQoFydB3V{laCHE4>l*>%?^PjdaUo#pIbFnXLRBN?ABp{Es*@|qGxn@&_3OX>(PI6P zX8Y_)e2GY%2?Q2V8)}hsQ`Qtv?2dq9Cry+2s@_2RaO&=s=*;>xg)4TB`x2k86bgk1 zRV~?IBj9RPvBSLdA_KF=Nr?K;oWzZ`22YtVY7V*8Oasil*{Y-sYqqIAwF_+UnfQ(e zIc3juCqBc$$<CNrB1F)Xc?7-N)t##8lVvkYc{<1f3@us*J{z~F@~Nm%imH{B<ANK; z6~wEkL2Q-J^6;YUaL}?U240t^df%{UT*TWV;>LHb{G1K5jOxmBUSyx=4PkTHw8*1C z?Ifv>0DDf=V{#;)x4P<l#Unq%PrTHghrEktC>oOb=KM>p(JG+8#18HVZ@#wt$}KA6 zkVS=XY!{Gw*g|mx8^Sw5RxiL757O?-;ao51vImC+NhKKytVu7crnXa@24Ms_?9c1S z+ToUIs+-I^-|FB8i{-Zt@dxd47o2&}MShm3OhH$;BSj92`D5)5;`uq>EXWz4_16u1 zRG=cDn|H4C+{GPR0y)-|c}<0lXmd(rv1V9-0mzO*h!{gSArii#og731A`Blg>bSoV z6S9O`7De%tLg6@ePox+pQVNAp?*XTic{W?Q41?4Q0(<mmNhlMrs<Lxhjp+Cx<5Z7Q z`IvI`<hklt6tbX!2GsvH0^1thiU|8^lrXXB(zaS49RWA|u(!%Y9cdBAN$ja*Jq5^G z9j5Kd=oc~;$P4n9N0N-~^gL{#w6RUlye^>6Lht$GdMnHzEK8t7Gamx#JfbP{U=d1; znBb{_do6hU6=&GM@tR89F!!_a=pJA`gV#am5{MUiM8F`Y?;*-Ge7vu0WjCmuO{O;` z@CH8c#`+sOLvSXrG4Cz<Jeah6Ez7*Zel#<PbV^V+fP|Gst^`0pQvbL({24r(d2+l< zQNY!U(Qj)*AI*$0dD4(U@7_T(XGC4eK}f?Ks+8O%5`P@#Dv!GY^pD#k@Jy8uvz@*I zF3)5QUuT4yC~m*lk@;t!+N-%Q3friyw(yIBD$$E?gkG6wlB{{96{0q*3%8M^P=U8* zWz4B<HfTsTt5uA3F$kf1s9=>=b}w2~>032*t9)r3UoHZ6d7}<%$U@{**coqY#9I4i z1imj!#D6St$gt@WNx<OFYO*@GU_j)MQEW5(2SWm~ZpHwtJkm^NBfd3YBqUcPFVQ|B z<h!lHG%{P8HH2tQ8%^`Pzy0r!t1~E|ck3ROp05+O4hvS`7^&~mhn)s*M)=pw@fndk zLw^=4-Ju!|E3K_BQF@P+-sB=d5#aE6mgw^|`tVB-u}YZm`rJ=_hun>MK@aqNV%u$T zqcZQ;hPv81UWHEf94}pRg3-}eV<dm3;g0_)#)XRRW2HH*oI<$f%J^KX>2~aEZ8L;O zHl=J6={D4dVaw!bRBM_&piV^iDXHy}eQdAEX2&T4=FM%pz6{OVNP)(^R+0J}Sh)?R zQ)I(+(w#X!IAeZdvC8tCR}T`a9*hWJZs1+Rr75IIf2!H`$!g+}kGuh0ll~AUQ_zh` zOR6Sb=-FQ&l*KNswn7|8{fRI<hJbFqa!%rlMMbdk@#)Sn!WzH6b+fOhC<V<z`YNeq zCrQ1it{IM;1@XVJbK-aK9FmjtJmy8+LuN#rt&@4?pUu?QE|Odx*ybstCln#|o&8bu z^;DbvXfY+bYl0FH+Umd01Fv)G2-1J2u%-o)vQT~J%(%OPQM;Ljh`l4~<QPDmYKo%X z01l|Bha%TDgvY_}0ZAFYuuk2tjg0zI9z0Cnp;zs3FqRO|feeVXgTv{EzAX-+O`P5* zwd1;W&mvc%Uge)fH1nSs2%zc<utJmG7pnHq@^G-R(MBURScJnJIe!jXw(Oy(b*ZN> zqXtdm;~p;5bDEnZM^0k=K_KIo_a*mMjLx^l!>_EbeCKYF(r93PX3fzX4|2GI{UebC zW)0{Uu3+x2{+j$m8EKfou366rfSu&>d^?NR_hP6ZcJ*(&dIJ@z2pNvz{QHuAB|?z@ zjQ);g8{VHy+tu>l+47E@N#Jyv;cBy0O3qBkFq25|+D+M^_XSamaB2VylVAY1A@mBb z{>r6wPkw?-LzP1{_*ZbNpj^@;owtb21?8||76pDEJ6-RJJTAkL_;~9kXjTJ>yZe4! z^_mlY!S5&88_t(k@_i31KWi>f?sXFanMS@)y^BD|qSES-!f)810ZycVuw!&Jqmw<b z50hAPD=mF$&v<k_7vmS@j5SOYkp$mck^AS>>WYeZj}6f2)(f}lEQ!Ml6ly~9UDNTH z-!=&NUe)AcDxrtESpdFfX@B=49>4rPhcg7xL(njqoo*jK!TM;oeNZq6O)9DXOu>d% zLYeIoZ6V!;qe_t^P0*8|lU`ZHa#;yYLF3wgWD8!+s*>us(^=#Um{P^6Z1BwyYIvPX ziLu$u<?eR2aJGA{9H2KZh`AZsVGof{TWUu24L?N^=^TNi@M2D<7A93nEGtLkiJT`1 zk~y9Um;HD#FA&a9>@i?lf(-8_Ee-1iT2H4Wa3n_&t0~9DJL>>Bm|gREUdI$3FZZBM zJ!N;1AUk0+s`ikwcx-O^4EK8MD!O+<C*%2GC5y2pAtv}T1(idx7P)MT<JD{e9s3_} zAR_X-TnyiD;K&AM{Y^ns!Y4@C(+M5BXzm?NZk*`3257+<zXz_V>es5)+@Fur#8q&7 zt1%%HosU*uSAZ{;w54%sP@Pr7EP*uk4`ryD{2YCn&d-y;#c7D%CWmI#Xj*Kv_Zj|D zS@}BdHi0TwJR<a)Q6M)6k;zMzgsFae*N<av_Xz(rl5j!AMK1OVat`lGN!_uQS_;zB zo28Xf<EB@Tl=BkwhaBpkm^OvP`=Ff43s0#)&+Jm<JRO~>Dh}E%L&oJ5p)c_ZU5dfP zCyQ&&Hy-#qmc{E<T~A7se)ogz7|(5>`H7yNp?t;d)3tboJXGV<31ry6@VU?+DqV0W z5w^2W;|=EM`n;O7|9%t>WvdR=Gj(pGpvg7@%B}GXUCcakg$^$~!IWj<vcj9237i2* zsAgx1Tl%1batqXSC(l-u6^%gF_T^I+pFj&Vv*06gYicPxijJk)@7)EV@CMFi;;}z0 zCVDAO9t6;faYr@Zd#GD4s5&WIYf6~_|HX(t-95OaIq5~t+T(u78V1*jQG(Wo_u=w< zBvci~5g5WJgJBwk5X!@WLt|S(I5JC3Di-aq3Xg_?PrVg;05R=lvBu*ks`c{kEHxug zDe&{ju^m?L_&mvznmVY<v=8}w)-58)Q^1&7m}3_99L(42A-7RheW3UdVI3@>*>K5N zs6X8$U)FPhlB!PZwR?KmblVXp7Bh$9E9KtC7+F2W>$$ehj>k^~MOwnV#0h`7!6x*} zwB$BcCe<1&*3Ghjr(-W?*S5f>=q0ju=(YF3)T;^OBC5tW;jIatDwUHHR>GCIHN+CK zW_r(5AU<ZFesc{<CmY;vQgoTAR9|qKScHxRRkS!pTARLYU%J<)Y*p(6Nu<zn=fhXM zEL`!G`Y87M>pc2V0!AWj^!xOIY0dGblSk(?Do^<C=Q8l-lY%0n(FupJ_BTe`;$_X{ zvn?a1@+M%?Ne~LFYpJRNd0Y<Gn}&mzl<<(SV_Wi71zJdp81Be0TR$t4aw+l{KN?0z z-HOg*F}qD7L|UpzBD1EjT+;v)GFv}i`?WSrAcdVGkIl0dHSmjb8-PB34yh4~#IEgm zHo^CPOh1(a4{5xQX2cp{nA!|<?M9bg5C;9NSoZPTK-#^Xk9P<#WY&v3&w86gPYZ0* zB_mt4oI06=n?#~`qYRPksDr`fe+!@Vcqs)r=9He2+IV)`why=O7DgpE3}_zv0y1v# zIw256U2&anchHF7q$AeckJnaK)DuU3ZKME+=U`e*#25kBOL?o$Z7BJ%z2F=TtpE~! zaXlINmDVQtNa4D5%V-(8+>Om3Dwt;7(|?6zqp@NtdgCrM8-UzR*9mQzPl_nAaiN&G zDqHOy>2?xll95FHgpcY1Il@QBTWz78f>Bh=z;XxQg&HsO%9Sinep4K9vmY~y4)HX$ zH1rl*h8mHcYdOI@z<vV*OGuslDF-N6HG|n1lkG2s$$=>gU!T7@Id++ZoGbBMwU#DP zf2*%=dWz8#lsBba;N>XsLxbo#ILgmkh9tcBZVeuqwF$77)tX&;MyaB48m@KX#3R*2 z0HI*OOr4W>>a1SaD}`yHAkX+Wt<-??$Q0vuCm;r&>MG@?xPH#+Gh`j4Mbx){g_%eq z!_`9Pvd)ThM~M@=dO7yTXYBx3bL{h84k#NWieyrrk1?2Be%Yy>wc~`kDJOBc>7KY6 zzs4ajGzxsWbe1|w7Z6t3H*yWc63{~&Xe5%XQ;`a(z?3nwTex~g93zD!s!4?e64rBZ z^shhfJi5gC;I*acf?wDsi7{}c?y%?GE#W@|;XlhdTm|9h)DU)%e{8Ml`Rz}}O#fa4 zPFUKR<wuv-{&^jdD24}ip<+J0{ff4h?j=+!t(1L~B#9bSoE_U83y7zy@{%`&2(ELW z9<(Sv+HQ*3{c~Bp+Q*CfJzW&c4_$YQC5*5Bohn%w!@5YA$si@S=50aUOob+AYZB1k zn?P0xs^%PSopyBes%8l3cr3!@Nt@7lGYZ2)PF{_{t<*)oFOgM`4SLO(toZrrV^PgP zGWoxJLK;uEq@&}2{HMU#{rqDx9O5B`5H*lh#N(IJihFO28;17SoA@sM1tlwegG1Af zC1VDp;<lE<T8bzovIn_VeV_BoD)72#{>@xaIV|@_cGW-PM?UK}N^Py|=x7X+tgyp@ z8@=*z$5!}`;Zdg`r9tO<y--2W6&#BWAwAP;N$F0ChU_V=Z!J`RdUf8O`wN?Y4%yHW zMeQl#DG@y$5d9<Vw$nluv&}k1n(Nc^c2u})8WQCrB@r<2WXDsXo*g9lJVU)G`PJ$@ zbk4UJ#k@9m?8M2(VN+kTz35FeN%}ybd8-UQK1wVIG0<}-_nK#I^HKtWBeN2Z=#Tc^ zFiE>%tp`f^G>P(813g$Q1$htjufzf$Xca0{5dN7!sk4M~Las7=@&rl0olkhrE&}uM z_@IU~V_{y7*`Lu_%(cC1ThPiVZDJU=Fv7e!q8rF~iQeJxXE^_T9;NS_3-_Vlp?X58 zj?XE%*_t9{{JPY8*`5^Ly*9qexR`2rRl7N&_&Z5O*X5^nXf#|mi!2j(SM>+ZTKFFR zE@{AGG=HTqI%jpyoq1W|5Ln9H*?e(U{?vQ>yx00#%wmehdU<#A^IDdka0=`3W|Lrh zi!uuxT}!xjeX=fs$9nPB)VCRvp>cjam&mC9C&Q?eo#fE_RD7bWk30@d^8A<v2+#68 zxKU3sE|{-I_q8bV@ZI#Ye0KO^mG&7Av~j5X<DIeeQXIlw6&*A|tdVOM<N4W`ztmxn z9~WzV3hBBt;H?`k<-v1P8N%K?E1P?cX;<(!#+7gDPc3M=7$~>omFy8_)7;!$k;ppu zT?>PdE8@BuMOwyB=mJ%hCFZb6r3_YzDzKkeZB$FG1SPgJTkA@iiqp4MF1i+ILs!|| zA}<5uBz9A6Uj@0@Atq87l}PV9?m75o;xuOTtD3b3K=6!O7Y5&gC9Gc3PF2yKejelQ zZb~kred2RrsSHRd5MzG<#&5}uOqNj{dA)QYnLv)4iXupfRz&|tQY2ZT1+1f;<-Bpy zdsAqo)UnpI+m@80j=szRugP^qbldhHq&!UZh9?k@2#GPrHKl!`Xxglz`2?*v^a#^{ zNARjI7)!3<StRM7L6@*WR4y6*7On&JXfJNHFi1FWNCq7!Igm|VI1ea5wCeV6sZ+U4 zh>})(?`ZH&Ny_-Wzbv&eB^?8~=xKcQzjsJNTQi5<5{tF$K~=%NndO$2aiQBY1QfrO z-$``+k^E#j?H*UZLxYWK7nBKPJM{DgYom8zjr>4)GKV=Dm&vGYy6K5V7n=~~<cE>X zB?CwisZt=yyGRvgdj8ok7kxs44n>_UOS1urKEGB`p8O$``Q#r$Myw28mt4?cV0xBW zSfh!!B@*ol98Aud80?DKS979g0p_aDrew9%2D=&C{lzEQZf(WKcsMVMBgf?GgJ}EZ zq1y`Nakh}o6c4XtH~!_r^??lBRL*HqqjnxbQHoF{T@(av*y_84c!ci8W4V$9>5I0S z5+PB&CnKCN^_J|IOk~<1rpk{G%zs&2+iKcWTsnuCH1bS#c}L6xck3<Rs#7sAt`&ev zGfG!R@*(jl(>zP=frOaTys4VXvgf47ew-Ht_*E<iyofLCG1uFuXyNW|wk}@g#e*m} zRwiW-nNG&s7KwvRWqFSi#l)7vjqF!pBoJhR;Yu4I6*SL{7vKxL>h?7Lpsg<xe2_l+ zKuE`V|Hkb86ow7NrWP~|N>3`rCb86?Y*lO##zA?>d*LGSmv$P+7ZJ%)#>DAq$@CdG zSQLsR6K>JI=$OMYjHp-Hrr4nrFB6pn<CKXA7X~c*kSIdhhp<`sHmf=GD-u31`=KdP zN)ig7H1}&<{zMn`H)&deBAcelytAD_AUtZWVQ(H&MUd=%d_An9OHV;#RC)5kWo`22 zOLo^KU(OG3jTbTMy=mq*bBv!YmHA!R2M>B8)6l+Ye$^-D$vf>^_Mm+3m_iJa8rD+8 z4t(f4>7iIfw&i=Ec@kp5O43icG)$RQ$P>4?w@j8tz_M^_TX~#B3Zl>Lfzm69V{PDg zqU$bGql8C=C}LtiosbbmE1@>|e>+HC-$XR$sr?MQ76=4ZJ|F?@y)oCQXFoQ=k55EI zi>E@a!7MzZeR1E=8lha!-v(#v5S}$ZmgmnZgV8%f4m6S#r!!Jd?T4ZT%zNYTJpxH6 z9}AxyV3UUb^in5ZCA8Kg!z1}nI0UBUcUWk;Z6>w_qp2^&N&r#Ofc({qg;zFs4}H2n zPP9oMQ>FJb3;z{v;*n*al9nh21(aLI_b`EgxH1Vn$KsF{M+{1mF1r{m6NcICsLdmI zV>?Qyd72+dDYJ_ROi_LWNRL~XK*lAjRhg<UvqVjtM}PvqIynm7o*Ajaj{XGSOo9}+ z_dFl`1Y(O;%)0Jol}TQD3ffd;K3$lhR{d7Q+(O^(WsnFlZC`R%HqExyGa71Rp_I&_ zuv@8V-|ZcFx|a>?ArJ{da{A=&MSRD2_~?VJ4k7tOjBu@X6q*$Wlf74XSAhjk0*+2% ze@if=h5C+O_C8O<Q=lSYa&?VFb=FJ?&S+m79fP*X9^<m;r|mmv`L#bSX3}b&crN*& z6(l0$rIXGWQqk|FK(I;X1NK}J%?Z52Fd|e>!R)Y`(vnJH!|<w=yNBu{7a^3;SI)*= zuJI^0eIteMte=P;dJjV@zxJqJE*M7XB09<!VyEssm2}qS19Ibmqh)g5dBJeN7}8m1 zO8%!}({Frb2?zdyZRZ?D*7s5j<wz1PbNo@v2;j+lzClmAm*wI=32O4z^O|0qLfX%R z>!%}JKNx!F5-P7_r}%9Y79=>6OLR!ghmiM5h~{86jyy^#Iz+}l$wISL(k!Z%LAFI; zID04WkLTjdfzZPQKn&zAW7df2KlDUM*YEu&fuyKJ_e4942?P@|`?I?|F|A*74OJVJ z-r#O)<n+n7uv8E1_}gI5D7`8A?Na8-PZ99>)J4!ZM5Rvc0M$u%cQE2a)nP5a3`1zb zx6HQU-p`Ia{7YQTeTbYsidY>E=&>O=Mi3v8PZ`_PoC=TUj_OcsN){)-t$^eN4iAKL zq1}jEbObo~=PQgnZ%fem#K`%cn;=Yy<7mi&m{aRlZ4Z`4Wu>B#kje6lX|iUZYf}a! z`6*ZK6J2yDVa4R=RrrKBsD|cNrAS+IEP08br2Y?W%%q3k)Kyf^W*=1_rIa0b_o$e~ zq{8*9W1XIv9as5|ti3$>OKllr1kXj_x80;xsRm#foWR?(=p~C{%!#wPmD=!<1Lr{e z9BgL!`VO~AzGqtn&uae6$U+0N;iH8xqw(z4>&|Iae@U_-lxPVo1>b^_zSR8+XwSJ! zyKq5%Thbzys$iT+m(;4d>06h<lTzdj*zUoh<ll);ls>X5ce<!Ad2??}c9>nwPQ|T! zWnP~fR)0UJ0$_<aVkB`GE3G~&9rcwFZ)8d(&cKkTJ8*`(?L=8+#H}@qgLGB60(J(p z3J59-HWPs%NZ(u{x!iue$x}9Aja!+R_g*!@QsX!Thd;gC20$DUDVp5*;0hW1NmgYU zn9{u5(nJv5hE&>tv<@RUvhI+-5>8#%uoOnh&OV{6Gri00t&Bl%v{^a1yo@o^S=28R zL{Z37W-P~)YTF%8y%L|<ykI0K8QIi0wJRm9vdX>~r;idHy#X~>K7kIjMEXPEfpTAK zG+87aW;Kxohb43{dTeIbua0Li^>AWF!aQ_I=L0C_D#4tJsnqqFyTo=S&V1`@Yq%|8 z@Au9$YB80m)I*EP{Y?K51>;i~--Y@5R2Mf;=HN5ZTkLDzju$r6^bXtPp>|7TT*Nt{ z@O=z8aBjgb+^aK#TUnQ9W2C0@osCG}h1(a`7S-cvEKvsj#(rFR9|v|`Q7dxNRB_wI z$ctEsqZh@-b#Rt<qX-9yf-EFMTLkZOGKv=$RtXTXsjAjKaxo&N5%WrIGs!%wcX)w2 zYM?ciX^?TtCMCo@xtw+)0i;r&E4-*O<P9LjL7q6JfyZSIq!@~1>A~_-+?8+yS>2P> zP5v^8JpajnnUz!LzN1~G`WI^`b2A+j+X+%P?~p_Sua4!R66Ev#bRUA>BV5E>*oM-a zC;}{K{**6m1UHVh$xn}zSV?D4X9$llK8ulexRRCu0Q*m=|1EUF=(ukE-8$_p=xpFK z7emT0sWu2urX(3d4#b)@;y6bxqTbIuG{?;Y_xPSxxZ5eSu=)BIYEy5RTIRvIO$BY3 zPYB}ppnH^49GWp`aHbRv{7t9c?Rl)qvepIv-NBcurpiCHDXCM{(s9xqWTs|9orztE zZcb<rQzRkp^4d0EjjB;Aa^Tq<+{;TDsY)k8n3;(x7eP)O6~m#hETe#kO>!tF>}Rzk zW#0mzM)={}zt-i_9-tK=yYFQg8BGS!s`;wh84QXkbqL8A1IE_hrEc^dDBnxZR{l+A z`0^D0u%=ZTQ<BsM)4#3i04Mw-WGkK!2xi_P^d>Sm^Q!EwE@}Hb@@FTbyvOpbaU&Ic zQTra&GsptE66ZtbM&TKqK=Dp13P&boYqYZ#AXL!5L{eu#u#)NyUA@RqZe(vBH-)C` zxvcaX3skwrUukcs9GkRUSXa9b5P0j4a26_i@N7CeChwQt@vo%F^8Fvd{1LIF+S$3| zS!+lhy9-D=XA`<WfX0`eo0fxc-{Sro^^(kn&#}`Cqs{4ntiZZoFM0*qyR24)v3k1V zjOnaP1z4UV(&>`D+!Y0hpdq8V%vOQuZ1C$yMjOe7a|pT8dJ(uj_X+s!^Q#^hf*k5; zSj2?0ZtSV{7-sbZ5=-^K6p{!?XX@sW*AvcQ@k|v6J{tidvO)F#xM&Eq-AYii<~F}k zJxJzIDKlKtL}tyEpNh{6T$IF{O1M6x^d$6a^P%}i=EcIi!#3sh8LLKHo=$eu50}?l zYro(UXo%^KSqk1^YOJlp9k)Ctuhy)Iv~NRxnu0nxdHOo3Xfa_h6DT(_Xi@Q;jiFvF z=XCz|T@o#1gdX+k$DFcawCA4W5I|i7LaoL^sEy<<=E*{SI3QzL4e@f~mNBgI-W$aC zRL2(5{E8Z=r_jfJ%hQTB#!?>4Q($mMLph5(^Edx8w`i>>-r`e7LQU7UOzO;&5n!s% zXQdYy4dJ>XqBH~SG-reC_v2Ls?^vE?cL-QyAzm@fp>cDFq!UmsayK5wbOXm62=CBO zre>Z~?=V8v?T3<2)<el)W4dmI@3~6e%T<I(XGIc@Xp;#QD`uPuE3NC(M=!c{`M@-d zJ_Siw*JsMs36(Kzzq`hlks>qSZ%=sB1#fdkWEO?$*KjQo)E?KnvsbS^fH(lgx17Xb zyU;N7Yp!RSIgao#C=phCF{-HRfl%0O5iSJvr-Zwx?i{TmL+8T#y&u`E#3Atm0?YVA z*7J(0!!7#W<48KG?ab+64{GV!o|gM9xvBDVRT1LD$rzy3XcW6{i_5RVk93z*$I-*= zPSB{(tKGpK1CA<FpGxk8Oh>v>1pNU?X~r!??wXc82_D{XpYz!j6s^hAEBVta+`0VO z2iYG<&Ji~BYP!{zv;@_t&q7KlWg?!k;>iX*DK}3GWqs+s1HiS9$tQ21Py<=Gf?uiK zc@$N}Ql?eh-ohQaY<f%nIPzWlQ%bEGntIOO=wmpVSl$Y%5PsE;2ZgPqG#J9K*Bx^9 znwLUfC?b$3d;FXJ4R&*CG4VsHP_#a$-i%ZwxaCu(y@2{j*?@i#rBu4}!1K)a=VE3L zH_xa@;_0b-+*=?p1K#iH<H?q_-yxPlLAtYN8nd@5k&CJu^Vzx9i5c)Hu~M&E(=Gcc z>G;|krV4#_+$c|1P?rgWPqWvu&(=+|KAL<UZN9g&+bX#CjDXm9FETg$Tp~TCF$*}| z?y5q?FO9ETm1CB#TI_+1N#Cay=-#E+ZBZVHi3jceAhoJ)Gi|a@x+1=J7%O<up=9Wr zK>}$tSZ9K>cbN#abJf^$if%74`Rd#&279gLaDw4=!!aNztkt72Fao{1V^=VSVjI3B zk#%#57<dv#wnlXNpwQxmy$BF{GX6$NNok=IgLO(*(~(}zti{hP&7CV#YX}3Dl}fww zINvi1djYs_F#GNQP|hrLA6<8QlDog9NsnuEX_h>%)-v-wpkme6_=bBvO(-lIM_S5i zvV}>JZSvYAltS*Rfkt{!92-@)k4s<+afyFrzCWC_9RyBraFzzx9TG=~8;|@!KziKW zDFojl>X?=}BPJ8MyaHsnSi}yZADdQT=A-_>Nul0oJ#~I*B4#J697C6`Fi+ik1G{P) zMb+qcvd)(Z2+%so`rt9jRYltD@?apDpm0PAVv_jp0sF{J6}z-m{uM&t4#t>%H3G}J z1{3!FQ?MOn+DoM|E$i8wc(7zL3w0lc;<26fYSZXLNHUGPhFr1?%op;Z_r#^9g*wjL zsI6E$b52**5$p@laKPYv;8Y~Qr$PO<`AhRb2BTWE@1`yEIbix4ECnDqLid(J<D2_D zzL%2CnBJ~nJ8k5hi7`$pwh%~zOdL7^u1G-*RY|JHN!aN^1vDL_#W*bwupjISb_u*b z>#tS)becVNUI&xms|eb`<gH2c+C8HVERD=6)I)6F_l3`UcS>mV`5q46C4$?9bZe~7 zUQl@99jL1ymA5+qqm@(Zy!QJ3p{kIH8&hl)?)fKnV@z&Or<A<5?fb(4QIyV-7mAc9 zyYEm=rvK?c6-Z~8&+_8yaqqGPuh}Ih29^jj2XNuvPDpeZtyA<G=IXs3y-akCk${0V z>*q`o&&gXuu&zL@7)I<x5PX9`lSx$vHI#s<plK>hR|aUd=WG@SjNezQlWAYw(Va{l z-v=?j*qV>er<5hOWjvBw1}KT*%sVnVjA!$cx;Y>VQLSg|5QM>ID#aR{eXt8Km2^lm z5@|!V{AUWtj`IgF>ZJf5U4sC(@0X?@nBklukL8u3mxc@H@H`t87OmC{Aj${?kdbm( zjt$4Djfyt-FCYW$kbm>65#}DJz11OID@@lWEU`-r?rNWH+2E4qE6#A;53=_8CNwYS zvXR?*((cPiWH>P7|9(etj;QBAS<0hO_}a_iy0AhBX#7zx<o9-iZwNPS`HX6>Dh4)Z zL;>(U$up()IYWt(n>+<vghPt-wv6F&^GAebPUl|o>I<%ZcUWr8GDjw)#a=)w6<Z^8 zw!}`1G&`9+MW`dto`wcKY(UD4!tQ@7(>7Od6$#XA3e4$ae_2FRjyB^6^;CBoz~Xww z_LORmbf4?lJE}-eoD6m*-8)S*r<I~`eJZl0w6^Aq=#FF~$Qrxru6d<<SSuFqUkf!f zwy_!VQHI9{$Hw2L)>9ijt{=FW89=B@kD<QNDlc>ciG<;iW5?$-5d0?Dc)TICgcV%f z<9^>fg3*IgRF7;D*x6?B_}6vWqRmEsd<@7d$sJH9?1*3NH~hP0SE=_oT#%=2`z=WY zsk6fl=>l+9zWy6?ZW6f0WpiQRoa42YkdFCeIO7Iv6}9+7T`(cfN1jZP;wd&4=s<5% zgJ}2$kp|Y-i3VJk(OLxtM4TrOkACJ7>D!}55<P-CHvik!2W21J5^N$dXHDFl<5q*T z3T}NP`mdPe_4f_sCe<X}@u&q6>d(V1xNTmM8Ptq7SXmPEfEBsF+#3U*7a#?tMq=f^ z_{H25JWid}Qs}S1XFo58oY0K%c_>LCrv(=Y@3I=^hRnjMzqzm=%dP8V76j_=Qx|n? z8EMXe?Af&liFr$sJu7!CWAyIS0H<)v3EXzsQE%qll6V=ZFBGwN5xqa_YGf(KT1hZ{ zElKch$XR3hU&80(4=^Vv;Prp#4NU(-Z(w9&V*Y<z0}}xUC)5ATYH@OMu>b#dn*VQB zEBgY8F4{UMbf2lc>%TJv01U$v+|>n|wvU%BFu#vL;^6>^2LS?mdyu%p+vPp`r@o`D z%=*M@YwzAC|HjUOa;Zgwq^1BJPlIweIyf*%2NAEdaJ&y(-{joT*yLQeFmDmOgCpP{ zxnSWUNLOn>A#$$|rbI`Ozttpzb^iL_{WcT;Wd|1kM+X2-PY{kz(9I2ioV%;vAEtmV z2*5HQd>tx(5K19LNTAk&MM;6&9=$%MX6uRZ&l6-`n+bpe1mr#a&jDP5BS@z|RRH2Y zjKK`r$%k(N=^S7_NGnLtZubv0NN;_0W=1kTW@c$A3HAJZ63Vp!(bNFUBWTA4Fq1$% zJ_>vs>b}b$fNCD`+1#|+f(5`<yZ$QAiMG5Yi+mmw!~=~ZfL0J;%^co60(Bhp-iJd# zS`ah;6eQ^Tzb$4NAoG6RE&zuH=P%q_+S{Fg!8rb`fV6aZ5i-IdY}h(L^#B|}KxQ>l zRaP1{GXO-xr!9nwLnz-DFmHeXc>YM!0DcBAU?UP1z`k>!f6AHF1(2JQv#Bd6_cvX_ zjeGhT-IPFeaeizpK|~hy=G}Mk0NsCa#a8d8AJ3*&gmUuXH+louFb&N=y1~hvNLg?o zH#cxfi9gdv8lf+7Ghip+`}(G)C&+sMfmwj~v=Z8_yZg;uxqSX)oW7Ac)b}qg!5o0q zInjXcfz|vod=`E6d~k^U(?ht&x1YAdK13{V@O~(p3$S{CjQ~Q6KM{Yl;Of8OxwJc= zS0IcAe&;yg{@<^sx1<T?p6YxA@H_wMzjl2#VNG91SK3m3>R)YgO2`+W_eKXtKn)Jh zbwHqP9soW&z<@u0aYgW;zsaB<e09(WRuqDJ^Ts*dPx(PS{~i7x{iXqc_dAWsdGo~} zfagDl?ev`RoyU);qrZ#`|Mu@c#BcZHKkTtTc0x^e@NoX+XaDm*eye=q^?@(?VDs6| zF5V}7&`%!F_&?Sa;2+K=Dgx^IuA@II)a`&dX9B<m$M>!n19i=M^l>TNYctC)a?Ri5 zt8Y9ea0ZZKI9JfWT`B-HIJeio1z!2olAotj2Vb*ee5(1U{qMH~CIsp7l{?6z;{#9t zU7dhki|aX&!{Y<McPE~>Le%jqcsSs74MK%BbM$^^&tCxRa_G%F?2{AVddVNOpU8JW zn?-+OKR1A^PyPt#{?ZrrLyuD;>~s6^r|M=f?{De;51N3^uJ5UXjp0-Mc<g?&FLs|( zlB}Axq?@P8kFi5duwQha*_i|U@rUf~zUVyhf3TnO9D(K_fIred*|AG~`%eddQZYv# zBy0Tp{x7SGJ0mBaUEc%0XQO}Me+`oY1oZKwn~OZlN)*$#!Wv_;IUo(>Q?nuCFf*~c z+F)pVq-k<*+%U&1VQ-v-S9Iz~mP5W8)O#l9^do5#_`dLbY((O%B^J$lU%ct0mU1`E zMYMhc*x59k@fH{aqNIikXn(hF=htP}Ht>Ilt=b8t{Tn&>!ae6JG3I^Q>O%r2YYh<} zxG{Hko+<PARArjG=fjxbX)}u`TF0}93Pc?Z@r4YB-_L{DJ>8iD6L~&F>M}+`Py9YZ zs+ZR71DO8YXH8l)GZ&k}60#N&0#N>u%xt1p)E#NH5q<mGzjSC-DXz&)=ZcJL#|&7u ziU~oxF68G)bvq$S^o`F4D`GG;=oE#{&tI<b{794X_#1E)V#(`wUI$=KdObw8u~;PY z%Z4^;(i}8HRd#(@oNvS<6^%4J^`i4rjIXsVaf}ajx=aoW=b)~zPgKZ189P1AXwqI? zew!#0Fd|((hxUmq{cQc~`s#Uz(n;EMRQ*EVmAMmZp&gk!U%bN0JgYD#)kQf7XE6w2 z#u4|j+uhZzldC_)c9tFgc(%z_UI&xg3UtgXPb_gl-Ew}-MqBz~dYS}kdEkEk8%q^S z?`4X!LGG1fFJwW?+!twYKl5$cdpUolZ4Y>>N9$>~F5zBnC&(5<<zC3qizkLY6@Q%h zV>w(L-g%n9%C7KH#W(PU@C)=+i(U9IC?@<YPk-0<@-LUJp`v?DR_`!~+cAb1^^S5C z+Qx`Xdxy)~yNVa)QvwjvO)GHzDSSt9Mi+}y)17dYCs6KzaWqtW%486IFDcSdq!GrO zm^A?=m3Pj`0D*n11gv>uGE^{DMb8{;xEwv$y-GB9UezLW7s>v7#bys2nbKp{giJ3- z;r$U=Wr;Xm#Z|_OMqktJa|88@n+5mc$XVzzz{rMM-hs3XruzS!0p)11Z4<S}X5F!M zndDrC|2H+BSYHj;Z^A&#gF=49dSBrTe<C>&d>&g&CfUR2m|G)eY)dD?lcp&gq6c+w z48wB(8rDuQrfp!79hF6iT!j=n;>H$L=vaV~L+2gfM;|}dPt`SZJgj&X1EM#ru9hb< zHvXpr>2y}Srl4mi+xYI4RchIMQ0nJQGC%_VD3d%C54r6@xZaT#bt+D>Zru6!skAyK zGtgvUvcM(r{re@RU@!w5;~*Ba>%AeD1QFUf5e0att#@6q4yi8xZ$iZr2!~Y+FeSlK zs{K<4enQ<btpzx%5N6f%0s+~-sv^W<;slK7zD`bpPyO<n+LOCrnS<RO337#j_HS+L zAP`j)q?EM&hNJfzQy_D~in)ZViIff!g}|txSs`|UeTn@?@xAa>^nnZ3j|iPKRG}%P zK-C>T4;kusL{2EWhG*cre>T2hNW>XQ$!6AF=n{UBR%fH^(9iDiAVOq`<o`7Gl|gX@ zU7HCcxC9N(5ZrBW3oy7_2KONh?hXka+}+*X-Q7JfxO;FXS>E0Ks<vvss@<yl<Mz3y zyHB0E^*sIK>2nNL<?YTqo%^q^9?DzN!!`1wRM==B!x5RM;%tm3T4=N+nEAVW{UMMA z(9FzK!;$>4PGr&YoK#X$+6Ul)LC0?nox=!))VR3AcK*R`c?K3z8zshjra8{(a~)!| zSA3^aN&9^s0i)*><dhiqV|$f%Y8#7bMGVuiVTHIb?vr0`5mS*`6P7f!dk%XQjh^Z! z4oS1L=n=plt&ZLwGgOm56uo=7N)jEphIZgZ`OjHT-!T>?$QUQQ8b-}~O7D$suIA{Q z=4%9V>QjChv(mlg_={iI=K5RN#d*_wRQeOAmYZ&i80pdFv#^$D&gZ4ne8KCns|C+N zpAaeK0G-_v?@=XjQGsv?{~Qm#Q`x*(td$gvL-a8t2Ls6|aQ%Up5=Y~iZS(`a@I)<c z=ko&mzcQH#ex2AHGX3wequN1P4O<0%WNm*|7Nb{B+jcJIh2{&vvA0X?J6o|;K;(>K zD;PMYn*FY=DSmvBlC@2Pr84owDc@v~qio-pa43oZG12EvvCNatWpAM+`mAd`d@sv% zj(mp3YhtN{kY;2*^11g~GK=$p|En#Cr;%(L-@?P15q(|6^7IU0FWM3{f%pv1(J5xa zJ5KpfmBG89$6nhtsv6&TrqUBxgdcTrRS-(_f~PFV--u35djXP=3OChVRE-I)2|owc z7-ZxR_o-<Fo9@6*B@tLr(i-4!(Myn%bO9Z^RtY9YRq0sUMSpQ9{vw>%V5w+sG&QgJ z{fUm}B(O>n=7UC#Ei7or_Ml)2?|ES)YW%N&$AJ;~u&lDAd`Grk`qG}j{bFqmT~${r z@s;3YVdORPM!@6F!B4}+-a96no@K1=u1MoAW?qB<-Cevl4|nbL$Fs!dDnW04E$yt? z@T1Kz!Z>b2CuBolTT}BnDhv9NPcvov%<n<6-%)O=UzDN4HDYxHW2dKh#lhCjN+B)_ z+-}txbn8e|j%YkJ+GjYG-aQdv*QNVokUfZ4`Eb>C6xjWo{FW93%sHsrhYYt_wluUh zIf4rI=c|5$yi=JU60gXPPF?VjVv_SpdIYA0&Yw$cz4gk+I8D;2(Y8If2AoRyH8y&o z0g}d(NpXECza>lw7zhdHITOP}twAJ2ga-}Zj3#Y^1qB??VlQJ!fj4Fygyf=VKdlH9 zFNCBTIlO*8meg){*wX^Pjw+7anR5Z^n7{Me_hD^7K`x4~y}Hh9_9cpNIs61^N70nh zxdc0x5<mO1rRdOL-TAVTjDWcA{&@88uO(9YFLUSZXy~b>b?tQW!rxoGHD{g5lvdtq zym-wWEwuZW{G&=p*eG=%DXDsisFkYUKC_?@Ok;98b>yrKrHxAIQUB#AV?p~^L5=&P zLSS_=SHZE=d$t{r7wXWv5derG5#VDQEX$V)vk93K`1j%d0M6P<#5BcmsG<*p{ZKwn z-tzBZ@nyW(HmFA5;%@FZ#jndjNvu9m1w4^ap}P2_FU!Z%;UIEkf9#`RHCX1gSZg8c zC4A=<j3%%)Qrvii2?+EwtBTRr=<HT9aNh8E?bfwcP(aJV{Ciqk8meWB*dP`C%fiNT zlqw717rGM4hDGf&am5v63ODvc=LYca??YsU6D5KB-PBo@-}B46@t%QfIJ{3<MoGF8 zkFx-vb&1)4AjzvFk_p3@FCA@MRs2%8ngj?l>l=Oa%AYYfQn}{`)x8=z`A9RN`3Q32 zTiWE_N#q!4TR|FLjzY6=Rhab7JL{N^KVM|kcH??KXUgV9@ka)y!}gZQ?5&z)B%cV` zu|zoV1c9m?_L`ycX)aox1pKO?aO-(T*-|wf#STJ@wCW3$G(rPV2%+<`)0~&gBas}T zH-aXH8`cinWy7G<;{pu1$8(8eY!ZhsKLai1y)96LppTYItT1Aw##)kIStXHBBeS^e zpUwwgy!WsPl=l%$yzWy1FNi2&9rQ6hROJ3RwJsa2?kWS#<ewWOhx(ArIIEfy@lC|^ zvZ&}5DX!(DH?fWi8N0+e4QXdZmbDUZ4!#May_0$Aqn^Br>wb{`NZ~sK&X9JdNRQ6L zdkKdb9IlrObl7RuErMDH96{0*#3T^&iyjIIIbfRUqlb*53UBABqWL$+`E9NEOTTb< z3*=J~T+y*TdS(jmj?xyQ{ySogXRN13I#CR3Fv7ZV3-Ml_oE}30W^(`;(?+7g2IEiJ zBCTIBTmCv6{ryDF2JQC6v7EW%q)FJh=g3S<Ql(Dfg88<y$t(k+a+&+kNX@xQ{y#OD z?baQ`wIp$oxXR{I(V!IiR&L`s+1AEB6`Z`n;h;_nj}8CL)3FyzuBjY?wKg)Pr!XmX zVv&!|o=P!X2TrGxClGN|TM85x0^2}}4m|mZMV@5;Izi2vr5rP`<F%enIyBcLDn}&A z-i_Fyu8DPQtJ-@=>~|k4%u&Id7->$;xeu<Cw$Kx;{2P+So|=xIvXFk~?WcmQ@|m6j z`hKG?GG}W?oJ5CYdr=9BrpvyEcEel;jComu@;;T(dhY6YFmj^8I$TOFe_QU<Yd3ex zqY`G|xd~4t`2t#_QG6ez2!{7sEn<kZcqm+x^NW|ILEapl&2Mb^NVWiY#Q}>QD>>oN zAAjc8XSe6;RWtZ3Gc!Pq>W%<Ewt^e$It}at!4?ERs_a>jYoU|oc@*c)tfiZ2I9tT} zA_MR_vz=T5yg<VNK?LX}M_Urv^e(6TYbntMeb%0kkUSt`cT`)D8@P0#&?>MXn04Zx zHd|y&^Dsr&<d0S>h35Cm^!~_wTaH~*-`NNXv<*fSJR6d66*26r)Etsw4wG*H6<0td zTYpN$nB$&hjeVW-(!))~yU@z!q!5!W(<><IJaYg8tO!jou~byZc;N4^<Jn@;Q!$z{ zG!&%#@%~i<M<Q#UXquY}LM`Rk#5?$Q>MSS>2DwOz6g2j}M(iVIdLSM+<#J#B9czwb zt7%ydTvp&UIJ}`*US!4XiDHb5sV@$*?dxj(v(%Yy$AL3;(r`14X)H;KSsjK@g%_QK zf!r0A`ePtmiQmGZbSKH3f<X%>)H$CT=eULJ%N1VC$~jcwAUSgF89dzx+%6Ie=8<;U z52VR=BY4tZnJ_mwTf)HXK&n;>%H3pa$MVp?da~D?A~8tjjZ8t^6!3S=IX~V!ewX<Q z+yhy3t?N`iS2)?m+=fkMAO|{Pk_FLoSX@Y3&-8JpRik_mVXN5jNk37tw^^v=Lj}Tk zY`l0sV9n{cFLH)LH6_($nh@R}O*VNLn0JKte(zGApwAME#kPEE&LO(^lB^#DY#fpO zrs<|k4R!o8TLqt?1oQ4+5vvj$9KF(6p8IMizdW;)+?RA*QC>n>xAX_RmyhyvNfN5| z2o&ZJs4hE{6wa0?i;CScF_~cn3Uzk$ISUnPLj1jJ7H~>)yo7_y8vw6Z(X`*J%Ojg( zPjB%sz=+hiH6f@g1XXa?U*Ku(f0Ef97cq)12mJKNe&;zU@67%=ue_z_u969Rf+fVc z;fU(ghHULf&Bbr&DG{8oNGzo^j@*`aWn1q%?x@+QpfEk}qw*(F5~q)tt(}AW8sVGc z0P48?vodmm@ch%j=KBCdbkEa^&%SV@gngJB)Z5oO{Zdu9LM$ooF=vI)=jP2E^~rY{ zynZ7zl?Wknn69f2ZW37;^A7i*k*(rF%syBxcjknzDg2$T&?&>U02bv@I%$<mj`=>F znb@P{44n^3qq;J1xF_Khv|$Tz^e^%d1URSMj*8_BzvL^2Ue%c^&orfZ&8#|+Y}@W= zgAWn}o%Y;tMC#soN9?v}wQA`yMmKTZIqwwFaqoY2sni(4X@vCyM=gkKLg)fg5e~t& zU1F(3Skex1+^aHH(eo`4TxuG{p-{NSVjr~r+-}n1S3wl|#PSDI>3RGt2*1;eNq|i! z22Gr<Vyj=K*G?ER^&AZ&xxBtow##3pYhyd2qfEZ29x)_daaS4XPxroEs2s-xVZ^Y- zUf!3R9hfj)>JAab@?NMlcJ6?<SyRX2d&|4VD7bN)G-;1E`ssn9mVOe-jMJE=>`<N% zQ~WQ^vt8@{-xrhkhe5Ldhl=H!U#Gt|V!C{9w**rt&EBi4S*sB9?__16K$9Y*mF>J= zSUh(1^)P>G1U31FA5WCYZB>+dlpiGWHoN!9qF@*I()@x6n0_4<CN^Pwl*+(k$>a=l z*X!yE%5Hchcs}r!qf_Nvu@Q_TP04yL9-1CnV`9RO|JvNd4-mm3$Pr5}SL?AF>Fy*Q zh!+98da!xC`c<<rZr%<)k8^GrUOZexCe^#=)ddwfx2Sm(S?w(?!ekjd26(oeF8&%k zfg-6#=*Gzv2_r+>%Cr0yerHGi5zL)pKg%T+`TC*jr_XM}Brgm360k4DK5znrC<p1v z>b_VH!J{Of&+SdN5JjKm_!Q2F@s2!x7^ZOCNeE!f|7Yg{-USfLOwJcsvOcg)_9iW) zuIK<vqXj+;(YQlcZYUVq_6Aq&>sG}B2oB?0yt&kA{MX-Aepda6Mcs%et$IQ}K!b2f zshU%w+5T38hqp5_fqL_MhgL-1UNvr5_UK^IFRd6{(bBF5uI2_)zkki2=z0C<hA>+! z<6RWj_`iB6)B9-fmDv}Y`*Ou-Se9l8&E0IrW!x@*o=$y#3(=w_9jf8L>;6z!Obw&Z z$i0FeTadqT(?7o%W`X_!ZwYmJea7N6R(Lykipy}m`gFzw=~s)nHwBnb>cC%QI)39{ z9(h5g8g!f8QMpLy(Oo->4>mYBNZsYr2X(v;?xr1oX%UF}DlZ~3RN8>q<Qmub?en%} z0vK)y9P~3<%gLJFYNgmO9HpoE7l&_kzQ5VVxNQwKskC;a2l@u5pS&BL3AvuBV4_QI z@%f=lqO}sL<5PntNqr6OZ5r$Yhky)T9z4f+Gj*O~h6tFg<F=8tk>;g+oWKD$`hGn{ zZ09y4jq}GZ56`G)`lo{J())+M&%0Ca_Q(5<J}rjsAhKPk?S+Hn>xX+z<qB7$Tf~sM z5UiNHn)r?XJgm{vG|X{-X|;xBd)lKcus_ItPh@4}t4A6Wg}5-!n#u^rJmvLe*Ey{< zso(Sn(wpik-<cs+(f@I~B!>FwK(Fv=3$S0pwI$y!vMUm+=V2%|lDNyGKOXLeVUe$9 zRG^<O!h*BN>-C=y(&~$BB6pHey=)Sj0bqRE%3R|NBmvO-^CrAKP1X1w7fRf}rd7Jx zBNy9By<^^T`%ZtO%f;Mpkg5tEMpHJ&*)^)pts{9C=8b1r`|QY_bwgxv1Ae_^h{o+p z{`{I{&Zs%2HI4`G^Cm&P@9SX?(|?bnQHDk{+mJT{w@j>7-*Q<DO$|meQi$WQL~*~Q z1P_dy+n4+;v$<mVa6VhrrMil03o%<`#VZ`fKS(l&W0ZIi6A0l=m97+vG9MyFKVf`- z-7ep$Oy>B^KT#NTUoi6yai9J~pvbiagJ+cC=LQ?h{ipavR96BN7s=TTzh|T3YcjQ@ zIR{HyZDaOq$KO^9_Z4rgqXB}O2&ZcgjVoq?#Q@rp%qBZVa1d5;F0@d#_%rdVw!3T! zZ|^W*_jvDQI@DFC6gA(Q;WgKzhA5IulN7?~;i{fPA>j~xX_c-bpfD7tg{`x)^@pK$ zkj(^2RCfcfoxF@rdjZTn6!8q2)l<qe)_w%kX(eW9<&k=B+A5xzx$GFPcr13@*L1Fp zIdN<YjpB@%ZKhu8zGv4YmRHz&Uj4D~-I;4vjidoT$I<qJQg26{32igRj7fIv3satg zAUkix=g0Z?S7s+4*`7(G<Wv(OUrzY(e^u=o>nk3z!I>WQ_G0*f+=*IumeGEmGWFRt zK(^3Y?g!7ST`3H{bZxl75HnZNGG_J}H6}9=+RTmm?eB*ybL1QKef06zE5HXtu0G^U za)PbtKl2zI94(cOm!N`QZJ6DL8`qm376XoIJuKFFAo9k<8r0}<?zmaXtj>kOu_%(( zxO<_Q-4Gda&g65w{*x#C+S#a*q|+Etar@Z!hb0jx&csWJxn8)qo->&;n_1H1$N?|* z;)%@88=iA(cuPq;NJDlVxx*FUkci{oBjl!+hSsH2`c5Jb^Jnfv?%~LyFI1EoX)v0a z1kPktoS}8bq$EANk)?4t^?*pEh@$M{a@P)~e@NqwTCBwR>ru02Lp)(b+#ysZsHo~j zwcegpEj&>(9w>FOz6gPtWEOp4Ry(-M*tW_6BUR)X{OQa%Z6CoHVHvor)}a$r^RcXc z?q|N7!l*;`H@p{R+HjqA0iDXtb`Knx@qf<mK$?>wL6OWS^L;pY^Kx)iPql3Kss68R zEbVgED@1}+;)xwZxrN>&m^Ga--=@Y3#;vqu<P0qLmgDcum1tH)ch1jVd%v5lx?_AI zTMJ)Of0;TSQ&*EXV#LK%7mjXyiDk7lt$r>LOB807Sn}vF4^`4D=+bQlJO2FcFqo}9 z@|;g4%_f63cUXxPw?Y1#-zsTGP_GZ28B=em%7h}WQj=jk9|v2le4A}r{~G!aqwy>F z2QD|*u%*z{;7kycF-)pCYPL6NXHZhtsP?1lGvc&xZ2y6cF1cK3Np}$KCDy-ahEMt{ z@yokqfDOsei53GHnF3XRx{}W3nfK+DVxnmXC+GOfj~@r;8L$+F7e-NLDn5mqGfzL3 zp?e%Gp|B$#f0lBMFuAfp-)padLu?GXj5YgHob_#HLNb4jLEURbJp+wxQc_$smlU?z zQML^VSu$K7J|Cn!x6$R$Y2_wdcQ7RiK3{^dZ0|x(sEiZZ>l=FI87D6r{$2hO`^tl2 z*&FDf5kVFRZifja%~wlFs2O=N$;I8LCQ_XRC%3U_kyT+aXz*u?-j5+W^ykt)@*(hT zr#Nm8&&~CSStt5kK2&=fbGQa<1E%7VwK+>~r6i#H)u?+(C-PjYk<@+@rfYt(OzFq! z6TV8CVbqouP-cC#PV+#278+KTye%(V?s`|P@7nWm`e?Nlk6V_f8dYFTnLWs&g0`K_ z6Mbey5j!o<!UL&rp&H{-gJD<qe$n0ENh20Xs4t04d}|kqNaDAF)5s^T-h|MSSh*Gr z+Xh%i?)Dztr%#b2OA~sqiiqNmC+ul%De8&z{LEsJsN{w<Og<Eztq&eIx=UQ@xJuqr zpVb1>2E9?$y()r9np&eOUnjzMsr0{_T}6Yl@6iHF&-FU%uu+aAD*@*Da=VjzDUv&j zOrUx4Nt%2%y?GcqhK`e(gF@95v>-i;sr*tWR^m#^)%v6Ap}PX7Qb-7kcA9z&+4H;r zLDjNp@8NdUnj5~LTQFbJV19RcAo79lcP4q(k(h1sAGJNxN5^uH_6H?kQe{V!7VgB8 zcF+8xge)B3JEhgumD{$V*1<53o#%>iZ<|(TxttCkpKG?}s<uXl&e9!{wePeN52E}^ zLLEh}1a0zH#@aje@%e#e==4n&J1SJV^YkU~9#kUCnfAfT5hN9|jouRn*-lcFX*S{b z_#Ln69l9FJz{X8t7WJ(W@L#BPRyNA-tj`}i+w~N~8NIB&$Xv&;YNlJ#m+?^yW4l{B zfFcgZUQuUm)|OZuAhy1!neI|*x5vC<H^>b7ZNlQ7rs(M}m$B9N&hjJm_f@Z!uCT9{ z3kOL^#WC&HEMcWWU2lyCn?I|z*FmdkZB!nNpdahf&OitZ<b|vfGHOLXj;pKTP`oym zQ`CQq1X1eToYFhtOQ-6jDd$f1jk;5NHQ`eK0r-XxpWQ|g9_MMTH}}kfWRD71yf0*& zMp3VlWk^2izz@(#>i?CUV*ZR=rUyUMTy8x&^qbO0+~g2MQ~iGNKpJDrNg2$Kv-06l zo6N&^lqiw9>_DMg=Uc>bYXUrV9(r6z9{p#L0UC65#1BhKI=zS~QO|feJXy!B>0z<8 z>LqcxM+9gaKYx_hd#=`BFYk&7+eM*)dbQzG4&9YJJ-v>T2i?V=OqOh{<JOTTBJe+e z@B209NFJ>*L{(~pLNZtC8yH48>B;?9qEsyBT5h}Pn&O>1tTX}xwJnbMYD3RcO;H=y zh--=)PNa~GRkM?_^Q}rXI!sY|@rd~8(;KD7g;JJ~da*@OLg)`Y+EdU5-Gt;sP<rL4 zSh%-<<jd#Mq_!}W1Gt4-pP68o8YXT;)GxAYG+IWU)s0<K*eTp#2_wcJGXB0~o5eKj zY3>UsZc<;PHF4x|R`{mP<yN2c)}VN&7vHO$%rGo$W9H78$14u3+Ks-1`!9@|3H(Fx z9eEOMXhZ>DaDXZ0u-}zoPVT42b6U_&8rDAL0pt>r6p$>+trAZY9OuEyLc8Z$BRU;8 zB2#1nxb~Ht!W>JiamDMZM=<~ON<86W>?gTgH$CXE%9kz=Qt|Upx@MNTejSJfW%6tg zBp_;ds(9%8s{i>yl<a`wYfW?(XIu+wO^>%nJ)-VIjFI_gm-)e55SGyz;q7L)j2`>2 z-fW<vcZpUvvJkZLn{+U#s=89R-&gP&-8uh)^_Ok<)@dK{kZhoDo}Emn>>yPi<}m(e zmRI3ePc{{IA+~cx>|*-gF2*T56foQ~q8c@kK$#6PyX=a3WE3hMl$s~`ee}K4I%MU9 zq+M5n{T<UFg8($lj6YxnZb^&cmCBfto0IwV;j%5)t8jXVH1uxc*I~LAvt<(iq#b7J z;Lm-ZzrM`H%7WS@Fl_LB!r!Y>t}kOmrcV4^h41tI-tniNbHT%c25S5-Ft0z*M<8sv zjzgh~gmB@0@RE+jdt32cWl*rCZZHluQqlssWeTqFZzTZdwAZJIUW&dV<ta&<Z`}Mt zBu^_RDj!aUCN)7n8DQK7l_SR|ImP4*&CargSi%Bnl~*1lrt*@aNRz%5@DJ~+CQw)L z)mm!y__r-(R|8~{kYX5n7w^8WBk0)L#7rger*@~S^CQt?zg6rXULL%<B)Blx!x+sD z@BDepS(lGS{SMQ&p=4T{Xy^7q2CuIswv%NmOFfq-`LgVVS-ammm>lF{i<h_}>`ryR zq<b0{R3*Tb^c>gDI)Puh?_mJ`C{F+OyT^HE8p6G%FuC#xt8mw>xv#g%CF0w2R*%HC z%v(@$fMj;Rv_M!&B=eIRdvs98vs7?SsR~B<uv}T>pGHmHKQO`%x%e54bF=a-)gX+j z6C-O{(17Y0B9efHbh3OJhHj!MNqq#QJvm}cJr|EL^MCV8gh}tEbVp(>S$=eVkylRu zV#IAoST+_@K?Q%;Mg?B98&BzDdD<f!cjg4`mYX&0^>!Zp?4xJeS0m!IH8XI{a-lS= zxX%w*YrzZBYQ+-RoZckw-0o^cRe+8j;Ja_sZ4bZ55d|xk4^!AsnGO)t8rj#x+2>hj zd7&LeQ{D93M^h9Lw3ixSV*)v`V=u#H(;>5=9HYuc(<rA_4h1vfNO3pJN3|;G%H2Fv z)78RDvWsMv?MH71Atp-ogoI+!G*uZ|4_*qV$g$<u_!N3c>r5-Fj_&P*+x3M;0<i}` zYP`$4BqN=>6}<4$hBN|gTj0jALu!DkiS$G@zB2p!li4J4-r^zU<Bp+1bPzwgME4rL zh<CK6j5tmswDllAKq<|*pp4)vp2@0w2Gv;nwdQOev<|zI`+dU?q%y@VH-+en!ai?m z@P~ncq8jt)5DWk7!bFqdE&$;TKj}AA`fj8~XjK|J3q>-(F?98>_u{=$X`;xa1CwY! zyU3)kj=aQ9#8Ln*OA+ocv&{><e}b{Tt>HN6F#HgOHm#k3fV@ffaX7;4wzvOyHEA;p ztER(379Ua@I<Tzswv^i>GRs8TOJckkxn{jjGD-MSjC2;Z8S2WJr^^`yxq*ZxZ%Qy> zh2e(tfiyV3ttzmc23b=6k7zF^H)MA3;-3>)TKTR;j;_YHZTF%P3`I%#huyDSgLmhb z8qn#Jpvz?Df9=QaktE2i&w2}Jf?=1x8hPZ&SLisD@qdw3v&QC~WEGlKZL^4#yu01J zFW-{!JCL3yaw=5FThhQBU(=zIdU>JeJ<b^FzspKv>Ic^!Dw4%xg)EjdF}E|vnV^UU z-V<Ys;U5rq8Ot;wB0iv<F?5rAc{5Jfhg|qj5B*_tvmii=jo|F`@)PRqWES62JR9*U zBPAaJS;NJpy}%LvjAT!yeE$spRX75;eI;(zrm3zynpFNW5~wt$_Sj03K8ZrERfwCy zqKpBHp0#0$&-}E^|8BGEhyKH!;Az=@$@vAAZA-(Y@jJ$pRQyK)ZN_R@nXH#`{gi^) z;!><&_`rb7f$sfsk44qzN_6a^Smh=A*$Y0Y%S4F$;iv%T+!sboC7|6f$(-K=O!wq3 zK3YZ)xWjdEa(sY9-nE4A3<dWv)YL3IWT0bw@;8p1y?CUx7kI;#ccJU8w~JBzryMo~ z{6603bUXpa5;uktH<6<-puAC&B3<^<R;*i+XQLM(fjz81k?TayRpTU#!6!m~Sp+EQ zS)@4Hj|H3-(riQYvp#$fsYvs5{BM+ZT>ppiPT9fM)Y$~$0HCuoHB*OZGPAP)*;v?l z=}}n49Uw+dwr^kF%>Oln+S-7OoFD)?5I+YS2OArZorjH+jh&O1nGHzG#zy<*r(kRP z|8h}xFtW3Qm;zWOjjS9YD6Gor5}GWM&Q?~&Mm9G8iACKU>Iisy{#Q&)fNu~7$G5Ek zoGk1>b}l{+ZZ2jH7ViIw^?ybPkcYZJ032-WJggvyG1SP09$;x_<Yev$F#@>!@9Equ z94wslD8j=3Ns6tp1q#pqkqLEoI|zVP$=E{8$r^=K5y1YYJ(PqxI648?*?Ip<l=z?b z|8MPK1=w1NnD5iyOoOc`SN@pGwhru45FB5rr6-bd6ytVZY%-NAMcO$F?$e3w;Cgjh zzHV4CsC_5pvRyE<Cc-owd7qQ!!jfw&8JLPZ5Pu;rUC0-THuo(z+1+1$C}5E{yIWu; z&QFGdD-I>eVTdUXLxF&%V=UP$)Nw#?B`z|DXhoyr^_47Lq!P|Q&Wp%{jVaMta}iIC zU=oU{D6X-Zu%m2b6>}*pzyFx+W|%}mh!5|W(tf;kg}s#HKI?H!LqwLt-q<x|7=UFN z`{{@+7i8Sc9b1e^3t<;V<!b9!#*jjr>=U1;TrBJ)%=-irHLF6oqLnOk-Ha2VuK)Me zFHm!t=d^(G8%V%ndFaZ4PA#`8HD+J`JDsc6;{CXkUQ`*L<LEt?<LWK-wZ7CDnzebk z+)hot&=B5Yits|Cv-b?0TSd%XIjvgE9fNpD!r`DC@VFw<V^<TY`~_4v<8hD6^$0D_ z2oG;GPYoxUoCDK^t3nrCBZTdj9;IvwpE|cpN4bb9Y+^0N?afJ#zJ-~Bn?DnIV*bcn z(NN};rNI)if{<Ujn>oqmab4#pMLT~Jgt{q_)rGq-T;^Ff>5Hywmo6yV)6V|>Z3CJ8 zvRM(a6n<iUxYTbA6_`urjW3YMUrgAk&ts^;hnA^o6&DwTi)HrIg?-CaM=I@Rs#LY~ zghEVo97vF#2f3kJN_I9`G&I-5$hN9y;p6#d<|XIc*iCENluQUxj()<GZnLtrw=~Ml zAvO^DRZtQ8Q=hS_t|68jsVMi~1e4l1(v0C;9)=4b4Tg1$@uISh&Z!=Ql$@QMl1>lx zU0L6(N<?97eqM$-lc8Cp4dePSahbidI3>b-Y<eot!`y3-U3|*S-=thDOOMLsh=o>b zF@3a6ZfA`^r+ERoNFz*UY7-HW$CTEfm!=|R6yWx-sghmA{~0c0EjWiL=~_cC{)p*c z^hU1f!}C#F&!uhOy+102O7(CN-kgldC)*&Qyx*BXxGBNo4}F(Dyv2h~BEQkNf*+50 z$BQ`AJz($-;<ZAey-m)Y$x)bza}tK_h~J%?Uw<WJ-EQV;<#R13?@{Z0>FWN3vBjJ& zieZxc^(Ws8Dr$2eHLfxfe0g>Nibe5v2$J#-`pv&fxM${(!u^8@w`;pm!eri0#Bn0t zEUs1)$)5YKuBu>>_*Slr@q|M&pLhPruUO%m1ndv*e)J-z_wpIrN0^6)!C->M4)8pV zFKw7?frR5^;JRv1_TOb+3yGzNFRSw*3?t0tVlpbTuKMzuoL-%b$80V7RQBoAvC);i zLPUSIy%Fy(K9X%>b@nbP<Lf<8|3H4plKhNF`yI>Y9_^*(hIb6eT|MbT;B$@kBI&$! z01I^W3;c{-%k!YR65v{+<xdP9vn`6S`BQnqOHE^Q52zCJl0E~jBgo!_Mq<{_w3l0; z#6nL~T-`abdha)@9`iFbZqR<TTu=0F+%OL`+NxT3%Pl`Ovfg(zoal5eD6X4P+Ri<> zv~?bB>CBAXV+d{O|6|WmKjk>bc%{V=ndw{fcTYBHz@5|QnC|ra2M_x|N%-Gz1NZ-h zh?=SpGZa=C8&ilIK!**$!J~)5ss{CV!`e511Os%~0UQAKH=C-htrLI)_%>hlKkjC> z0FM6<&3^_UfQ}#sH@gI%C=aJN4<}HPlY>i)TY`&Sl#PQ=loKc+$q5t&{J&k^c9DnJ ze0MSj@N)bw0XP8gACR_kdLs>1Nvk(z0zph{O(Fk*ct@u<{<21KTfrNe!20@?z<<lM z#<E5PkvVzheMN~Fy6$}5mn+gtcbs=w;@Lmxl<TNc+@|irfZK;gU2%!fhBIpEsdiY@ vs{Tp$PJN`RyTpao1w5M?!hfS>cXTpxaB_2a%M*};hnEk9np#3h66JpYaN|OV literal 0 HcmV?d00001 diff --git a/documents/dining.pdf b/documents/Project_Instructions.pdf similarity index 100% rename from documents/dining.pdf rename to documents/Project_Instructions.pdf diff --git a/readme.md b/readme.md index fef1a98..179f82e 100755 --- a/readme.md +++ b/readme.md @@ -11,5 +11,9 @@ For a list of available makefile commands, run `make help`.<br> In a terminal, run `make <command_here>`. +## Report +See `documents/Philosophers-Report.pdf`. + + ## References See `documents/references.md`. -- GitLab