From 76dc081481066dd30dc14cdf7e9c53aefd0bdb03 Mon Sep 17 00:00:00 2001 From: Ezerous Date: Fri, 27 Aug 2021 14:48:58 +0300 Subject: [PATCH] feature: init Ethereum --- .../2.0.theoretical-background.tex | 3 +-- .../2.theoretical-background/2.6.ethereum.tex | 21 ++++++++++++++++++ .../2.6.smart-contracts.tex | 7 ------ thesis.pdf | Bin 573021 -> 574822 bytes 4 files changed, 22 insertions(+), 9 deletions(-) create mode 100644 chapters/2.theoretical-background/2.6.ethereum.tex delete mode 100644 chapters/2.theoretical-background/2.6.smart-contracts.tex diff --git a/chapters/2.theoretical-background/2.0.theoretical-background.tex b/chapters/2.theoretical-background/2.0.theoretical-background.tex index 70da92f..9c3cb7d 100644 --- a/chapters/2.theoretical-background/2.0.theoretical-background.tex +++ b/chapters/2.theoretical-background/2.0.theoretical-background.tex @@ -5,6 +5,5 @@ \input{chapters/2.theoretical-background/2.3.merkle-trees} \input{chapters/2.theoretical-background/2.4.p2p-networks} \input{chapters/2.theoretical-background/2.5.blockchain} -\input{chapters/2.theoretical-background/2.6.smart-contracts} +\input{chapters/2.theoretical-background/2.6.ethereum} \input{chapters/2.theoretical-background/2.7.distributed-databases} -\input{chapters/2.theoretical-background/2.8.decentralized-apps} diff --git a/chapters/2.theoretical-background/2.6.ethereum.tex b/chapters/2.theoretical-background/2.6.ethereum.tex new file mode 100644 index 0000000..abcecb9 --- /dev/null +++ b/chapters/2.theoretical-background/2.6.ethereum.tex @@ -0,0 +1,21 @@ +\section{Ethereum} + +Το Ethereum είναι ένα δημόσιο blockchain ανοιχτού κώδικα με εγγενές κρυπτονόμισμα το Ether (ETH). Παρέχει μία προγραμματιστική πλατφόρμα με ενσωματωμένη μία Turing-complete γλώσσα προγραμματισμού, που μπορεί να χρησιμοποιηθεί για τη δημιουργία αποκεντρωμένων εφαρμογών (Decentralized Applications ή DApps) μέσω της χρήσης "έξυπνων συμβολαίων" (smart contracts). + +%TODO: add [https://ethereum.org/en/whitepaper/] +%TODO: add Ethereum logo image + +Με απλά λόγια, τα smart contracts αποτελούν αυτόνομα κομμάτια κώδικα τα οποία είναι αποθηκευμένα στο blockchain και ενεργοποιούνται μέσω συναλλαγών. Μπορούν να διαβάζουν και να γράφουν δεδομένα επί του blockchain, κληρονομώντας ιδιότητες όπως τη διαφάνεια (transparency), την εγκυρότητα (validability) και την αμεταβλητότητα (immutability). + +Ένα παράδειγμα της καθημερινότητας που μπορεί να παρομοιασθεί λειτουργικά με smart contract είναι ο αυτόματος πωλητής %TODO: add [https://publications.hse.ru/mirror/pubs/share/folder/8uijw5g6qm/direct/199179205.pdf] +. Ένας αυτόματος πωλητής ορίζεται ως ένα αυτόνομο μηχάνημα που διανέμει αγαθά ή παρέχει υπηρεσίες όταν εισάγονται σε αυτόν κέρματα ή κάποια ηλεκτρονική πληρωμή. Οι αυτόματοι πωλητές είναι προγραμματισμένοι να εκτελούν συγκεκριμένους κανόνες που θα μπορούσαν να οριστούν σε ένα συμβόλαιο. + +Με όμοιο τρόπο σε ένα smart contract μπορούν να κωδικοποιηθούν αυθαίρετες συναρτήσεις μετάβασης, επιτρέποντας τη δημιουργία ποικίλων αποκεντρωμένων εφαρμογών. Οι εφαρμογές αυτές μπορούν να χωριστούν σε τρεις κατηγορίες: +\begin{itemize} + \item Οικονομικές εφαρμογές, οι οποίες παρέχοντας στους χρήστες ισχυρότερους τρόπους διαχείρισης και σύναψης συμβάσεων χρησιμοποιώντας τα χρήματά τους. Αυτό περιλαμβάνει υπο-νομίσματα, χρηματοοικονομικά παράγωγα, συμβάσεις αντιστάθμισης κινδύνου, πορτοφόλια αποταμίευσης, διαθήκες, και, τελικά, ακόμη και ορισμένες κατηγορίες συμβάσεων εργασίας πλήρους κλίμακας. + + \item Ημι-οικονομικές εφαρμογές, όπου εμπλέκονται χρήματα, αλλά η λειτουργία τους εμπεριέχει παράλληλα και μία αξιοσημείωτη μη νομισματική πλευρά. Ένα τέτοιο παράδειγμα είναι οι αυτόματες πληρωμές για λύσεις σε υπολογιστικά προβλήματα (βλ. Gitcoin). + + \item Μη οικονομικές εφαρμογές, όπως η αποκεντρωμένη αποθήκευση δεδομένων, συστήματα ταυτότητας (identity) και φήμης (reputation), διαδικτυακές ψηφοφορίες και αποκεντρωμένη διακυβέρνηση. Οι τελευταίες εισάγουν και την έννοια των Αποκεντρωμένων Αυτόνομων Οργανώσεων (Decentralized Autonomous Organizations ή DAOs), οντοτήτων που ενεργούν αυτόνομα, χωρίς την ανάγκη διαμεσολάβησης κάποιας συγκεντρωτικής (centralized) αρχής. +\end{itemize} +%TODO: add [https://ethereum.org/en/whitepaper/] diff --git a/chapters/2.theoretical-background/2.6.smart-contracts.tex b/chapters/2.theoretical-background/2.6.smart-contracts.tex deleted file mode 100644 index 5860b2a..0000000 --- a/chapters/2.theoretical-background/2.6.smart-contracts.tex +++ /dev/null @@ -1,7 +0,0 @@ -\section{Έξυπνα συμβόλαια} - -Smart Contracts - - τι είναι; - - γιατί τα χρειαζόμαστε; ποιο πρόβλημα λύνουν; - - αναφορά στα έξοδα - - πόσα, ποια blockchains υλοποιούν smart contracts; diff --git a/thesis.pdf b/thesis.pdf index 92da341815e540d0d4c7521099de62648635d6b1..3477b1094a04cf48f6d1388411e212697a6c8ad2 100644 GIT binary patch delta 32653 zcmZsCb8u$Cw{2|OwvCBxCllK?C&?Gv`eNHQCYWSm+qUgD_jlhP_tm?n>Qwcv)3v(x z?%HQ}t+jjegX}1ZJRk(L8Eiimlojaw2u%s#Wn&W*gmZOsF*mk{^IE&i9(6e2LJ7O} zhU*b#->8%ZlOzVC06)O`-9{2_aGWBx^_{dw#bncBHw}UAi4HD;*CIZ584qA&@OiUD zLoWlEu(`0Eq`S|bI(FWM#?_s^uzlYB`25JqD7F~JW9>00%P}p#Xl_ai%ruw=^g02& zdz>gK2)|-(b!>hR=yyG=2GaYlem}mwKb+e-EVG8Aom)UkQ~4?N8Z#aEQ@8K*B4e(n zZM2CkyQSewf3&aFLYY166dJF0lU8yE(8fLR+faSxaG*@Raw1BDAWB=~q0AviQvYBe zbhtj@BGA+=#p)mHwf5h<4!GyjTr5}8Lqa3id zg4#=*`a*fnS;*DcN9_#>kD20T?LHOC7n>15$DX=%KX@&fnOGwU{VA_|63$!hkMJb@ z7Rn~@%f|xQi}bHqYO@NhKtNz|b++_IXdA!fQHt^(_g08iva&a0giBu}s1i!RJntpU zkKr6W7AeSWaf$me%n)S>PWTi`rfXX5(wa-BnJ2ww*wJ<_+vW;N``L1`*Ip;t zfwDpxye>v()fvvGPo$GvP)@iO9z#s7&B8PU>z&aq+pQIo&OFqO_Z!-^{fnN}APZ+G zR=_}&tq-5?uqm~Z3}ISZCG`wo%JcKS^CilC9m*8Hw`NOBKM#G5$6{g+-pB1L691gn zNmnsL{Wk#v1zeOGRWcOeeBDkje4goI>n3VdT$RCG>+C`pZ$knHL&F*Et4XP9v|J2~ z^l)LX+2d}@u-72m2u4$7Ij>h7nb&lc+TWCf&l#xscu682i`l1x3_&?S5=?X&+l`wI zLCfkAXtvqsl20=3}{%Q1WgD`}VAG3eTpDA3T*2D@rD$sNEDnS^BK2zY1gHc7M)a z-t3fX?Z_He|FS1ajZ6`Mx8yBTpH>M&aFL6p1!;m%`8#R+>qGEyq|@DGGc6JV;Zw85 zs$B!{1uf%-SG2k@g0+6@J-s~btR5%%3R=0&wO98}_UiaIj0LnQd(CE?XZ{lp3EUtG zR->lsx(+Y~sZw4kiHC`~SR4XE|1nf(ow2Y8DdvTqW%YVz=}W76MRALgM5$x$+e2^^h(Vx0-K+Kl3RcXscESW&3^ zzCS&#@~6DJ#lVu}5u7QYRyPCpFvbOfw->MkU@F;H?dbzfd(NelDvfeaP8X(gErK>Skn%tTri|ROZE;dtgI9>YOzhOx= zX_r)rh~8dlTato!S2;x+Xm(bbfpc!7?s!o{Z zQW&A#640X}I>bxf+&LxH&KmF_jMv}ZpZm8GhaDfF&QR&uw5G5f$}-Yz4*(wkJ<616 zjdE_e`N~J;>?L(&YBz2_u}OHDSm2$^{=<2uUU2nW%th5l?1Gr@xVYI9PfQ~;3O*`V z;S~8XOt|gTKjDQ!5{HMa3|l9hyRCvN%h0TnunKN)%3buwa%H$qq^@qc80au*OLm%7 z5bp?JxUE|SN4s^#4B+Mgt60+G_H9A9u7~GYl)`rTWspSyx=p{b|8_jU9`y& zY!4hn5QMkZVH=;sv-Tn1%>wE-Y4|X^DO>}3q1oIo;FRJ!jLt zrN!1S^Dk%HU9&bw*~owXL88B!TT8WRWA^*qU7A|cdfvZf>XK$EXNsE{+MD4sm=sWK zOFC*>B@}wlnIm0R+U;oDCcXYF{Upeq*>(mcGleq&`Ac~W%C93|0W#p&>!~Ez`27?B zQ2DWfB+kS&xs|R-LlLaX3o~wCrlnzi+Zf5AX>}MI(8_>Ohk<3Vozj+p4JYPaBV%sF zq@d?7WWpUsdjcqDr36e2ty(DAw2~Hj}{x@s!F6+OB|LF>t^FY#7S6yh1Q~G*F)Z zD(zIj+h(vnP}a7F7O+s5L}Z3GlU}foM<7=(7)slXKGY9z;O7K59FW5piu6CDw#_#1 zDJ-BtGdMhu*9!_CjhBOjg+!HE!Q9Q*%-GGCgqIUI-2zGpjP-&-Y{Q%ef2{;oP5qnv z>k*oujnfCh2nv)X5rsayKLDbwKLC<=6POwR@t?H>@qjz}Q2&7?L}U4XQCV47{{tKT z54J7V3tEC5$mI2J?mtxgwwEgCIjDdB{BxNSz{Ae@KaVOk1Rb^XT{Y91?GyBIMf&8w zolr?&6PSKq24NVemHhqY#*K_Fw~w0^bJ{)M$3>J-*^rq$?W6WneHZeJI>He9;duJ+ zGVQcTZ(Lli8!b3;)L!!1c}Em#3Q>_cX>`&b$93 zlILJp-~BUr{GGRYrv)J2Te%mvnIM7sRtchgzcK}Wxz1~JTlQ7HV)^UxIX8r92iuj%3w+rDk- z_`tf$v)=p(k@v4;FrU2cA&ALv`wrC&2|>|t8T+f{uO1=wcB5cKRs+MEQ(-0BJ<4MK znba%1Vy+_ip}W_lK0HYJ!0T`l0p@7fS{OatvDuyv1+7)V61i) zD2b19j(rErsum{PioEe0Gz>eGEs(|$k58wVp+U=*obqBL&14s02xhBHbQ_j40Vy1L zdH9Gi&ZIS=DI+fKAh-qM&TRA78RCl zNW^fII~lifUnHp4xd-0e-l`byicG9nt_)cS{sg2r#K4oY;{by@@VZ7(R&?51YLP`z zQToC{`?a*f29j}K7P1niikwf${8(L31#bq&iUO!!jVmAfKsIe=G{_GYPtyJ6V0hBO zpwu(cY9HeCj!?vMB^N0`-D7*fHKrV%i~HPu@Yx5@?6%Ou0;3v8+~B;U`kKF8+UVsg zlmQxa9u806&xu^HBTK%L!p+6}eUxkILzw=(t>aR8Rtnum?IFSVjZX=byJOH*rD>edy+C;2>l6fs@^=EOjtayz*}Lg+hdzkYvQ1g|2csp zc%RC%%5Cd=?ljl_aez+9u@M5-^!F-wmQF{8n zsFz~r#V@PmjACaEM(fg)dasgnkgNc*N!((k58+X_ppG?4_~hB7>Utd$^d?2Ko7_;` z=Refjl)10tb;0sEtlBzmdDZYK)oR0{f5VLDELv^<8uI$Em7i}3O?8<2-)jRpvG~O! zkUt!bSMp$_wCOpxmPVLNL#Ia*j=l%3)qfvQso4_jkHTc}K}y-#yfbNl)=RLz zMBb>-3>aQsAck%-_zZ4tX}Usf6Pomd5ni#S-tjH5-JC%jVhqIDUOS;QKJk^u_|qA# z#JmJCHgUC7?}y^J)?2Agibh^cp)cu(Bf<1ZFB&`^Q;4f z-A%Jv)4%F#=1nJl#2h#yc}B%xc1|ii&L5Of$Jf4v*Y4+&AOo4Mx-m-e+oZ?Qq-GB~QqvO4{^sak}jW znxrVzvH{dC({cJ?pR`@y_J&2e5?8fl5?VrG6Yq;N(Xt(?H30Xft7MAeRGHNzk#Ksl z`PeZ?c>IFV%kaE6GcGqI=}}3EwJN_fK4uY$Pl(*Mv%Q3(g@@9W8E87`1ovR*!EdS# zJ(wLq8HVHlR@TvxyXT^*fINl%uj^P&*`+#wUh`p}jXy}D3L zPTu$@Gf2?4RhN^Q7$ug9dX%z22F(bHMXh1_Qx%4&83d2 zKucQUHIKHPrl#Y#^g-85x%3#$Sd`p>I3Nk=ub1zT)Cilf`8 z_ze_rV+=Q()+urIQmoY&G*j@#XO5Uk`f(zLgG;G1qGQXH{=BS>djA}&svu>=2k?D^ zdAO0OHkFQeP%8Qm%ds1+^|pW^>P@7AzYe1=omMpgYvbkSH~lk0e|9&l{e6)-mnbZ) zYe*{@JYj-5_$^P~VBsT;oLv!KyNUJVXEZBmphX8)Aj@lU9TdI&4_m8JUKP8?a;;FP zS;)eyo~7VEO5y!tPXp=41q*?~D*(^wo4I;%?#2SN`0EwhV#P|Kpx1_9BT#ltEdWW}$Qd zZ_MT_3R|d}y^4`lU@V#U&m8Tar|*A7szg*c?4xulf7K6}+841qm+TM4SY!R+jZ`?B z-goo9tmAzBZm;ghlI?%9kN-@K)thUE&NkHuRCkt1Y7oumM{H+++eE`V;n`G_90s-i$$B zF1jVw#V3DquTuD>c<+QF+f3OgD*QYm*&?=r)Mj@_Jr?6Kg1Sasp#Uh%&S*xoSx5DN zOLmJS??GFdZn6>Kbk+50NGh$CaV|w2E=eRZ8*8v~1%4Y`juB2Qgj4#AX%K4ux?YBJ zj%Rka`H?!ri$f+gX>07QNOj0!pRbk>+6&f1`%sc+gBbAgE67O~uSvf1U}X)tzWgtnuO*{Xvf3 zhVL9n<>A>%GX(6;maac*FZz4uJBFFh98@{~Dt5SXc>F-SL9JN@%%29cV6m~`F5)kS z?^us0O@w$AV%N*)dRXJTKlNWAUn76ceuR-v&}OSO>k{owS?dRlR7L8Hum&Zcio``m9>N&*w@J~33$3>9~^-g4ZPXtY^JEX8T4Z4#5VSQ0qJzZT66)+#E;izX8-nYG}F zsXt3ED*^OM+>E#Wzg>9t!6DpZ@DDA!jt+@7+F0Y^rR0h{^5&G$gkt0L5=hH!bwqZz zpntB0j(A2sWo50u483vDy(e!hBx z+jQLGK?M3fx;)dqdxtSm%`WK;_LEXM6zR|ZTmnecCC(rf{7Q|1>4I*Ib>+x`OV)Hx zXxr)H&z1WW^vQ_FeVaG%753E^)oF31cOMa}+%x*V_{3nU(d@bEaGqR>SOz7uKtB+J zR$cR8A@(qyL=P1EDn8ZeT3%*d1kNwGPJGaF`MO`@e`N(1N_OWQE)|#4H^ie4AB@>j zX96HQ`kHB@6XjHrJvI7$;Lz|~)pK8QQCqTje+-SqQVtk4bY|}Twjc)$z$iQR+kVob zMtoG~qab^|s_wKtmb^GwJ+G^#{ z)C#v`u7UI|Ux1RkK=VXnw{zi1*omi>JR9&xgL!=TE@5PwTZkfsyW7P;G9oCyY`ikZ zW6xj0h#0-^`$*Acg*W##zcdM1BHj(c4n6GjWCKkoZbc{cpn#3^8SEa7W4pBA7G705 zM3xz(cHdiFjBS5$T0gQwOJvXKtJ7m;gK02RN==DOjx8VS8;GDmxgPq|vTF8bq7RrO z9&UVuWmk@{T^pS!%;V^uKo}NSGgYc4y!x~f5Kv&>ys>A&iXYugzrxY*Q<;(qZxp++ zY+C(N_NWeTJk7SpL^(045C;r%^_;ASThjV*#`&c)7wh5N4mb7mzEkClAe zZ)vvkN%CI!)aRir0i(|#8fVIh!y0h2FD_Sfgi4%qZF=mOjLO{lz7 zrUyD!R`O4W>R$xiv3CYo=XI}~yuKU2*rTxFbTmb;1DL5$*m-!zEDlcI-}=lIfsTTKQ_s9J@!Kp6T!wt}Z{W8Ot2Q$hZ7WApS9Dlu z*QiNDZdsJy%XUAJ{HG)GDxnMANDYC*cMbAa`Es7yr}NAD@owFBeYgw5XvyI5{*6l9 zsAG8iWqXIq%g5XE=!;twkQczyw%C<@W(u?~A-a4fPM0K?{Nm|ULGL`YyM*ON zxuSsBhES0T5f#O9wjzb@46j)}2VHO6)e;4yKVjh=You&J+4H70d8L*;G8t-r+SNa9 zYvS)}2b6C9A&d*0&szNr7!9vy{W&dvm)^>Ya~ac*LeD9TB3!{|E3J! z7$bLl(3QTJ>?2CG8`a^TAQLS4o5*s2z-okfBre22OqGUpbv$0`7kub?+N%OQ%WMy1 zL}#qmYeiw#hMK{w*v+xR6{xoslxT%n0bwJZs68YVXO{(QXE&2^7NNi23-rH+|AQ6R zWiQ7lw8O8;KK!BK^cI*qYfPAFMv4lc#@cGyPxvbli*i>@lR1=8N9RAs^#1p$^|Cya z+c(oKPRvG@RUsfBr;%qg)}F{LgVc_nWkt9*z{nK}Re3M4+=X}j31N@KPN+Np`4(3z z=nnxLRMWYMZB!!r$1s0s3(D!%yg*r3Ij=F31vq&kVz-1p0Fo%S1NmnHkHjm$VWm*B zuL)9?d1#NYE}dqi*GMR5iy8xt;@C6L23{hJwY3k`m?^Y1p)bf)o3fS1scG z^{>)L`zWC+vYljJ2}us;m)5~EOkWW23TCFT+^xOLjp{9|a0nu3^;j5zp;2S6+8AIiZ_dqFwl(zfC1lu{GaN~}o@ zIz4iMlXkxC%~NnFZ(RWI66b>hlNT1`Y{O+OGzcS(=lQtn9>{uYqgpP+@ksB%X3}bg zaWNL8u;2KnxA^AS?61Z0a)+f|-4BGD305zN?AEOrqfh=hK5Hw_6(e@c#Rw*BczW|* zwF9jZm`{a+YzYcum&&K=PWY){D+Uvl1f!BA=w)Epgj|x%WY~ZgNp5%;-^^-d!C=s+ z@pHRzkoYIMTPtDiEnDTwL1vD)Zejt6J;F!Y;;h|4N00RGZlP3pGKSZ8fT9gh{$q8Qy#whd@?P`*8zSwqjGKk~zAO zy@;Qkn#nLF5f1=2d~u11F1FM{ij+QP>&9DoE!8A#0}rW{Lzj(UnqNz~pDW<7Ke&IJ zxDGnp-15^fGLH3-oB~ANczxo6KlElxbIYis6WOSltNMGDB8Si@T2241BWyI1ooZ@B z>R@2>cM4?^KQ{t%0=Hx!l^T+XI9fqcqRyx2C_JG}`f~xnLWt4{rJzE_DCK5yEz4UH zC|^P8#+Zjz@A;(MVzP~AsVPS`;>Tn%YQF@jG`844CMem%hZG>ej3;|lS}5qRIgIX1 zFM`}%ES>9>v$cInHs$#}eI?=45l$oM3RvmPnylr#ZJsl0(H+7B&DG3gmt`~TY93a~ zC6SQ0V3YvhOA6SCvac+$PIUWK6d&= z;rKm8Xw0EehsQ-^8~9huLvXi#yfn+-T>VrWBW!DAi7czHt$M9Fu@Q6=2KoBlK{YjX z<)fuJ&68u?7;EFpGjC(pq~f4tTe~E$595QcVuIxR`}4@u%GX5&^TxKB4uxADHw_PD zzrO&m)6lU@+tTT#X&=v{WKVQud{3i}!SAknts`eVMoj{AgwDsuOHp`z7~dT!eHgqk zoj+R%Nk6&x=>8fQb#^}CF_Rx{YFvm;rsr+`+MCS|givR2lOq3Y!mZPJCK>S8K^?h< z%T=PzB~v()NG;}t2th$EGD(_M{1qIo@F@&{?WI(U40M3V)jgyMs zS&r&^;bon1x!Gvs^tG&D+Rv2}0-DfH+wP>sDQeP989go(Pvw&sOA}U zs8ZK4QD(J1*YGuQ&a8Fn>YATae%OWDDR5zS?)eR{9*xQ>7IK z4oJ^GdrNQwe2jlEKsIS{TvmHK!V70S?O~XJN|v%4uGPdX0b!ZQTiCEzI}5rsU-u{S z2h27)>l!X+!>bkgrm{@odZBuD;zliyeB7I33Fy8bf#2YwmxB)fL}?($UuaZNj{iE4 zQncCpg$_al<^FF2bqSgn8I+~%pJFS70?OX@Pl=v_0_FPek7ggxk)U8~y#H;Xe?jMh zf^q`;QD6uF?5r&RQ{3IuU5_JZL-m{1d?=z0;O#a9F$Gxu zj$NdY{t`T{cf2^SP2IwQt&i@l&vLIkQ*ZctM58t;TOuo?YprG-8(bF?m8zH;30Icd z(#qE9vZX$(F1Tk@6@eX7g=WA)RL2L<&QPYsyz!_`N$g}hSt?Y6heh(!(xAQ8H+TQX z4m3a|-4bLrAGp@eMNNC}1hC+P(C*RdL z&wDX};H5mE&dfwA1wbW3!b;E3|F)3ahnc17pc8IZD-DV?lG7C_h6f=eBZ17sNVp-8 z->3W$8&GQ041>yoU>9qOpz*I=kMtp1SejuPjp{ElUJ)0+K^1h%0?}hLt9yNvUu_n55bQ#~#Fos*`S1Kt(?wJf+c%Kbzrp z2iGkGJuKABsQfp(TbZ$9c0X?vLmJOW#%@NzD#Nsu?wUkph^=gLNEN4kX}=(%;SPfe z@snth)uaJJ^*GLuHic}f&KSbQbWqILt-f4n(=lPq`AfE`?`^M}a2>(+4O)-n80But zK0ZSKh1n_kgUbS=l}{evIjF2{#W4Sy@G*91{GDyCI(NEXO=C%&N@oP!j||rLi2U92 zfD|G4SDIxr`f6aUvjYBJN)JUYYqZ(Xk!5+HYGkIRj_ujFf!i=}8qEwPwD1$-5)w?! zaEv9xF2#7%|E#d_^ChkDlZ_ekvP{NF;@z4}&HSA*_uor)g8;yILx(H;7Pl4z)fm%` zZzb2^`NI-@%fOn4Y6v04sRF`;s=O_Ioh*PNUaKNm_)NL2un^{rJ}XiykvrS@u`JJ) zNd)dBU1Xl$MVs_R59Z)O%ED?}SJa?@xZ9#{jbyVb<_ zOa>3Aw3!DoNrdTcC92^5wZuMY9-e!7!KfOuTr<1G%iNEpID!dOiBb}wJBE1vi;Nfv zlLLW9Rw&u%1EakYlTq%w04!uIy`=-!8?U2i<|m=A(+5D?_-j-X_H{xvtD8T7=OS;r z=eXury1u&!5T~b^#{!WRZm_kTW2j$S_spCpu>I}ydW@-00O<79C+@98X5Jz|>J!rx z`Zx!Ue~mw1U)R2C5-VvM_`N@UZa*7tZf@&c88#_BT6|A_{rNgyhQq#_{F3W_viT10 zBEEW>76iN>JzZTzwK0oclDz*i@+S;p`RmM5FKr~2GSCk@C5{^Gc%aBp;CIfxQlt_E zdM~3B>+{Xr_m#Ky@Ugtlygcq_tWp;WnkUSc*pxBMISzFRxo1z_KumIax%sQ0v=*WO zGF%$rAV?(MM5MjGLr%Mt#yV@>B4*w8f;z}t7^Nwb zMHJw&R6=&=zQz-I>WtPj3p-89WmUkt2j(PWb!YsemF z7)+YzS`qLunTm@rTmHrUb6I{L+ZBwIm(fMKFbSSsMyre)n?KTMzk7#)=w1+&wT%TQ zH?gIa7-f>go)f&V;pc%i4cbptSSx}t>qm|`>OTRjKd^n%$D^!9IfIjigkm3LSd9Q2 zNZH}eRztH!F;9~AS9da39MVf+wy92>njub1zBm6|JW$N(-Vr5}nSx{pX8mzOecPJj zq97Hm7026ZYH;pG=Jov#TyLHR#?C-P2F49Td^V!Jr->RI+TuFGk^)1iwn+HzT36Z3 z+T;pBXsxMV{^;$H24rHcg12QWaE6S)5wKZ z^nSP^FPO)JsWJrdOlsA2h2s4L?Dz~-{l8Xb(pmSus%7~w;vC2B492cMQ*Syq+YRdX zeMF4EwCYw(JNr9H;nc(Mt8B|2g9av8sdS-n&Y^Z@6z!S3RGDce2+)`55&>NT%ZQ*5 z-hQtA$trTr{ftLSdfvOS!ZDi$`=jM0Ec~(-ipm-AFTaiVyh`c}civ-xiyP?${Sv$P z+?f3uYdeX7pG%P4S!^6y$U*G{5g$_$1gfY1b{PjR22+o5x%!X|q2tviH|q{vTZtp@ zmPMrzH!NxWoNw1sS-Rtc1Yn&2=Zh%5TF)uMeQnjq^OZ%O>Gp7HNHoSwP$}zwiZ1od zYXmRz5mOEnw|B6}KB&u^^!{3U{g#NBMEOK^`s6-8S#P`EG7#$ix>((Oz1Ljc|8##| zjXpmlM0?Nr^c?X7il7VCiVg3K69}!|8Tdy7OZyi1987;7N^3cA0J=O@J_NSTi#hE- zlC~aAJvTmP^g9XLgx!GtBa|2hSf96D_v%jHuT?mWe6xP^&k`7fs;IV5o&hs!{e%I{ z4o=WKHF+Y=?@wj%&%kc7`&H(fQ034s3G%-5roJmI*8gm8utC2pv-GC?E zOOfRkHua+%V0e-_a6;5D(l3zZTskYzv%gdzJ_SF*#}d zm%2UFI%4jsJ)@#~Vx0Ud=YIHG6@wvcuE1-$R4OD(8VN~W#w zvkjNYFfn{-bfv(`ZPNxlSCU5EtLyoSJh;eYYqocsif^3?e}oFl?cQo+ zbh(B8UqO3i)-cE^*J}nFoO_QK`u?z}#f7G5EA3FEHD~Ypvvz0^nbB@&*D3;^k(QeA)O&(H?mEk}QuzBK;zS^D>CUBOAuN#E{RD$StBXN4|POxX3= zC+8G9E0yj1a!p`{i1RXT3_xqTyb64J(K|#Z^4VnEy^Z-5fbKeZK11bg zm2OTw31wXv(d>-H!W3m>dCD(UA=Bk*P~5&z`vMC{yV^u)B&hI?kJNVXXp{y|R=(c= z+!UvwKd?Y6tgEO-;Q+&tO*B19^a~&4#$i`ZNK~~H>lL%+IMIF6*`n&%y1g9&bOM1! z8}YPJIEM$=5h zwZwOhUUy)6Uwb!CZ}*4M>*JR-9HY_zSC^N*e!#%DO6LA+eW%#l;qBMmS0 z%X?BNCLKHAyQz{-NNojI>dVwWRLB)dU(t7%bGgx*=vguSHd_(Itzw(6V$a)8Yg17G z?Dg*JF8+fr4y-|2xY`Dz46CIEHCtD$g!h#FR~8>kY04Q3@j%jBci?86rLjVvJkH7LZf3)A#~i!mN?PDxsiy3ymu@P4lJDf%YyGcPo{$Gr zU7bd$`0-U^pKJNHKwQORfb~S9HCDC@!{78oj;rZ7-siNjS#-Pul8aXh*jcCZ&-=D# z;@TX`UIG6T{-*D@D{>=$2doG{wVWZ-(90T(#f2;@<7YeeXXgYB;a z({uO5U+Ervxmo#bEh9?6OnZ9iO}05@G6m#f3N^XutqUIYo5YWM#5py;iR^I%o@xi4 zJgGLbADRj6plP8fJBRgm^ciWwl@!W!um^lJKQLPxTte9yi!_pbEYNoVEDo-2AlLzo^XH#B!PKu`5pUksWK2?5w*3I+|4s_>7GOMu`- zkMMJ+nCsHE0z>3qpN&)g+LiPrVIvxlmqzU6aATw|st9?PzZxp?*Jj*`)R&R$>^ZWd z&x)Q~7aE>i6j%D5KHao7w}l)FO7JMTqKcWip(Q~m&s7@{@56Edyh49G#D%Iq9Li*> zTIH)+qSu=7hOJvhZ-U)gQm&#=8|pgnO}U1v9)DDS$>y``FogW*Fc`~b*5As4>(;Nc zo8;l^Qq?a5HpzP|D;SD%&I!T>=87omZl|6uXQZOmD)eDs|DtP>J;Pc2sRZmO=4uKC z5X~j2j5)J&=vkcslAP^7ywnGYT{##$D5Gtw&B05!uBU+WDlQ4UQX}@hNaSunsmz^4OE!p)FUQa8caV7kgEDl z(xuQehhJuZC6k?l^>&OF&zp8Fles|LdqjWSwVx5-`>TtQp6sniCN9>Sv>5H`#?35x zw|FUE$Nr#?q(AO*_$eb49%tvADhhEBll*@NcqDw_aVwSMO#T1u{%kz|-TV&5!3o?( zfguN!^lasfZT5tl6(mNXXWabW=HA+^6-kXyY)OxAeGnXaC;kRA?F+qi8eFyO3=1BrjJtfw!Ptd{gdQW+<%G$oADT-|-)NKY9hGzHbF)Ymkr4H7zTw}{OdtWtv{XCapEK&6q z?lenb3j8UI$)|66ku|s-;+i%}nawaV7Nvq9romQWk{{G29u%Uw&k(3u#DI8?u?V1q zgONpN&p2yK8njq!S^93P;w)Rb_ns;T+spoOXx91n%YJ#IwF-T-k>ZeXpUTYyw}fY$ z0RdAQ+z``La#&J{!T?y)@TX$Tt}eZ5^gBQI{F{^JZbvAtH*w<8#pi>ScY+tezXN zrc7-MF1pIbxiOIk1<8ezd^H`kI194C8Iw8=In@N&cEnK4e_BB~kL#~paM1@fgSh9T z$9rE+@MW3qJ`*7Up3AItTHb&m2lH)<=mdv$x^r(g9`#Q41akxu9Wxs@j=?J$1wb^j z|C0oo%qfwFf=alIfcE=u(3arzLvJl$^;1Y9j}B8p`&FX(ttzisS&2)S&eyw=rp9`t zp{NPkICv^R6Um33oAv;IvijW91AWsLs9Ze+dNd zf879a1h%w*k^H0mc>gEur>`R75X^$oeGf;hrh$oqjYbh7o?WO~BBPrG9iXi$_eU#? z;O>2ZX_PeWcjoQYh1Ce=E7!7((G~F03>4fprIztw^N*|%W_GH_2W3?%fkg;lHEr1W zkEQjKIsAlz(9_=gr+3+dqJ|N4$!#dJm};s_G$wQL#|Cv>oRjn(-viTQMm=TWQNoQ_N8owspbM$;6Q# zHoEDS0_o&!SD?7IGO@4Z&)K8arT4f-&`Io!hiLXbemt1CNQhN%D!)8xBxeC)fg+6M z)LFm%(j*>0!kg&Dt0c&cH<3Q+Ig+BEgq*FAb^$x7MnRIox|ZLC!~&YbRp&Rxx&Wtl zgNGiuMKq{F7eR8@h~p1-_uXe?8}-~pU=a$;4*>W7!=&mb>&9oXpoDI}V)}1XR{l11 zNF<|RipHSbY@V#8dyEZ8CgX(SJs|z=WeLA<5GFgppZ1z^=6C3&pQ`)ndXILr`UES6Cu3;#v z8+My6;xU#Lp{IgXB~g_J2nN<4P1{cA2g!KnqfumlAs+-|BoniRg2L#CTHVf)iid;P zs!X(6eC}>ehQ9~RccTfqyaa&Z4kCpp2c*F0_&pT!Ion1WA&st3PUJ(Eq5c*YZ(@MC z#V(Vdu9m9t5~CASMxYa>j8IZ7*|N-QevqMzE>JD_S->U9BEjMZn4!SVOgS!6d+1QB zzbJkYj3pN3@>Ff-92-ZSKn-z=oQUb6i)4Zr*B%lPYE#}s7Ajqo zI@lGJ=l0K>e`c+zTZ(fX9GpPsMV#iTyuRP^{8ayQ4N#gx|NP(bitWGh$^_Vp215cI z!G=Kr^xK56p!6KmAGOQTO2P|7&Md;wuB3IU`oxT$K-r*~@V`8Bsyxkzg=LKXihrh} z)&A3bm*D$@T<3v>hLLc}!Wpb!M8!JEf+Y231fwdwol<7i>3xbiQ!Ic#5j1zdEeY zrS%?-ZiAeHA(0~IsWc#+&4_){PLz0%f|aoBE}}dR0IW`(Ks)a{h#7EE_;nWlSpxpb zlh_J`fg?Q^sMN|{=N}3la_f(n^Xkjsm8H@Cg(L_~+Hj9i?xjA5|Y{Hv@SdfCHa?P&7St)|?9C&#~y z^?PDsrkjlhlO9HoN;@${Rzx8-7eeqtW+wP0htM2f(A)3TKexwOo@&sEK#5n=zp$bA zE~4LxKebGO;ST`#XC^PBMzqY2 zAa>l{%e_0tw+vk~X&u_3HP+aWyb2`|2C~)GIiNz5#N+!sJTVMc7b9X>&G8!PMO3g6 z{=**tJO*?_`UKYZw?R|L3$wVqLnkSbfPsnEJI+*HLEL!$;xE&Ez@9?GERofhiCl&d zPZj8t9T*S`QRvGw{KYN^Kcs}h9+x}=vDjZF9#zl4C7*A~zjkzeLo>0zp0sd1i&=q! zE=b3HmKMFR_}ieVbur@%$#6Ehv#+AEH@Dsq1qwilfe<2CBvpA^*-^@=6&(A23j4<3 zOrmbx*fu7%ZQGdGwv&nV#k#To#3l~sCp%2Tkd1;hiaO`6u3Y+D99~>P0^=#V2JS+Lu+GR8aVpe=xr{CT zauHwW;f2Ml3&O6A(1#4~Qbj@F@A#TQZ-8J1F4ZV4+tk$7Edu46r*y|5`On?HQlG2e zWil0sFu@R}nAxhDNb@jYg@j7PWhIj8^bkObp${a*AT9{Os3R#Svs}%MiC8%e!sAA zt%Tx{-nQ*{&j_G-5CsGO$RSn_x)=5|r-Zo4&!CG>#JN#0eQe0^eVSqQAAmp1)@t}O` zc}=OvNby-&Hm<jrq1B`H8A2iOFSS0cgJn6lXnaCC`bAKN%SEbD~YzjF;KfjDP9_s>4A0KmyN~^4% zquGEP?42rxfV%249GqCFf)F5$HTC@1sckePtdep}m!#emxQII;@w-i?X|Z zhLCN6rpK9^CT?h`N*(W&h@^N3QL|DB&)ZEbo_f|xPCcJU!oydLOr5%Y<2&+yqhIlD zmZw`}XWGU68rmD)KakyiE0exKlq|A&N^Ql3BKWVcN0pk44}}H!1nuVX0=?4m7a!^m zFqnu~tXnER9u#+~DIpXtK-w8|J`!x5Hb37+i@k%uz&QaXI)W+m)29&H>r}{xrQ4&E zLsK)?x)9W4XL}q2^l_asHZi+P^weQCq>hA=Za}YCJElLrsuOA@44KF}W9IzppsiC! zU;nx#;wZ0f2dZU==+{d-f6D}#LzSGp{~wSzUG*-iS8xRTao1Ng6EA(e{1r35fi4^6 z((LSyA!Ioq=?LPn`l1y(2=l?w9aco0Z9$e%o>^x+<$$WJXw4oVyc z4Q-Lrn)hs4N#o?48HECy>F&8uhOnnfV<4i?aAf?^Y21thBVQ%H}>HG2{Y5Z$2i9pmVptm8A4P48My&z^ASN3R>*f*R}!17xj5e5>S#K^MsN*mRp> z)eC$l34q>5uVrdL<>hsXiGETTl@*kxm8a8ISA8LNEMgq)pmzXLI%Jrid89Fcr|^X? zzK8}nX7(B+wWW%-eQ z(EBtX#MFcg#BzPik*HhtIq*h3+cWAvHy=M2@BWibN9pM-Cz~hyFR~E$3$+9T2X`Ty z?vMaZ_m0-kAP>ma+U-f7zni@4pQLdA*o0A$XX(P8&h3|6sgZ8+KwJ$DCmXD(p z-MC}?V~m}DL@cZeaoKU?uvt^Ovj8TuoY#p-LI>FS@B_w3ENStKh3)Pc$wu zPWQX}r}zjbd1%kq&R9xk3fO}r*7=wRrpW-~cG0OVxo(PaTLL8;)zFU*ncN00abA8~ z_q~3M9k)OnFGw9t*F@j>uKxJ0_>UL8P&Ysd9Y;jh*RJ+po%figNFskPPF~&U&q(WEAbz89tL5h9b2Teb#-}|IUXUnr)v_1HRNN)6LB@S{q!;t~E_Q)9d^*O)Tab8|liH54by3&0YgrI~!!PGglltjE@Qc zGa#3?FzkLfV;gLyf5@dDCNnUW1Z=<%?@*LEIU{O1)ugi-1WRK26s@72Q3~@!I{Kva zu)jyL=1`T{GGi^1J)?EH%cQ4S;uI$Pi_P_hx9LN5^xCoilpFib#%HhjD{nV^4?&Lr z00=+`K++#1=qDH_7;ZU2Jdt^gy_2|=xFAz{dY(C20)7OeG`Tb*e zBkF)`#Y*2>5CuVN;Nfssy=JrfU?DN#&jb$t6%DkzT5Vn_5};$JeleMfPK+XxAVx_8 zjJ{Ff6*h5n---&Iiyw8@_yHY6t}DYfxDQ9G4W;M9ZLzt$-|ImQ;iwe&8Lam6@nhB$ z`dQ3?@%mDh+;78ke@o+%+DyI2sLS+8>;ZGqsaC!P^W!N^!{>#o4ReKDpSQJuw$NPl zcA?ZaSIpSvgZ5Y5V=t6X;xW?4&}x^0T1WDi95UC}xF@_vvpN%4AAm?}tsT(D$L5Pt zxaO0AT&*-Av7t$I)=E(DCwUeqyb-nYAoEeVW`!5CD3 z3`wM4m8i}Myc51}%=7TmDxv>YIcJvWZuIC*YW2&YFf)uK@|VPW;_q+0vh~a%5=Jiq z29QaY9mp5=)n_mQL_ilsz6MO3ze0ThGnpqgRvbvFaW~fEBT`ey z@vuZe{A0}OQDwE!(@p8glc!zZ&zvokpYgc%_VMxc_Bd$)Ku;W!K)FR@!-7sn2&UPABkia`f88F>GK z@_7?xlUHv)K=$!A?<(>QJi}AYllxLqYR9HdgI@ndQ5);{E}(1FhJv?90DQg^O{9Sp z+DMrg9Tya{N`F5%!e@2s2om-WQD_XId#9jjy+)0fjc~z~!(7&^nb+=f5@7G-POwG( z?g-S(P3kmew4$LRi<=6INI5xt5K{#^Lv~c?2wv`Ac8CDRM-q(gxWQf{#z1F65gqOj zzy>9N6c&rkJ-;)~7u0NC|C?b%tOJzz4_MvLIM39Sr1!!7Na=RSA1K6hMFAOUh?=a9 zh#Kv=n92>tgoBZF8^j-2g)RY15=Vv@j@*>RG!VViz7)UYA^?)Kn`z~IBs{j?;La64 zwurkZprMyR@)&fFCrK>&O0{I`gT+ik9?FD9qxS zR|eE5ZK~8Zb+wy>m#1<0V^DCq+ZM@Aza#-eoYU`K1=l-=As_x4MjEoBh$rjk2NTJQq_br_ZFabfCbdAcFU;NQg_?G$gXZAO?L2gV}eXF z0`WZbqH~oAgw{?Gby+dS%Slp9M#xH7Z%Djg<-6Dw(~o zI?gc=hhpuks62A%cz*5AHR+<}s?EE)c$~eWjX^^bj1waZ^-}YTI@L5l&h_s17(9p^ z3Mc9tx5U^(hV|@_dq&=h31&uPvxjf~0GbpAk2!O0S+PM>M3--{8H*v%nQO$6*m&@H z!CNVqs2M=Zv4!zMx|;&l^BI*h%h55?+Zt>qNwqicrnhbaTz*_qOahoyDd|nxQ5jn} z9j~%US?RS7g@%Io{OU-LY>xQw>&%~368AnT-XrZ!&|=euf+=Y7U$g#hO}Dg@fCZT2 z{4b0gP#+(){WIjU7;sjB^XYB-Ozli=`F50cFmO>zv@o>9K$Jkl$WSw#s%x%4&jDu; zo1&|Ua93$EX07r5GVC{mv3ub2R*a@E#q%6s(_i2JD3P52lcmPWFSEq>N@W-; zlfgM55ag;=-AcnDyjCf{Y_A&KYo z+H$Rp2Zd0b?ugm%GQ4040IPG$$Sbr^`U=mUlRyeY5b7B7G+0QT;T#fiEC02XZ%Hti_KQxE76 z0mevj4_{!pd&gy!((1W>*>Q$f7Bkjg}!xN~R4>5|IF z@<;2`)_yB3j6e&+_dI`zfvJ(c6Ed^nI_{pj>=?7fi)iLD#S4wJvS;Va0#K@G(^LI) zxZLRk^My0n=KU)~z^^Gjl*prx&rT~?mc@a}I=oqhM5{5D-frm}O{o;_xb!g2Oye;S zMeFxtj`=t3@`s=mJ~WI8#8}MNyk0%B%I9Q?RuHA{&9sH~<>AI2c8L8yE>C5Xo4I`d zWd3}MKrC{Sun%CA8}pEu8>7~M+zGcIFmn9PJ;AHoJGL440XYa?kuJWnq1_*u`RKtF zR;2y*lp9k7Ee{!YP>pD@hX=KjJ2H%3CsYm5v>uL^V9W;0$9rt{6HMd%S9EN2?SyYI$W%US5l~_Uk^e z0wAS07t5)2)O8FCe}Gj6+h{wlWGT+z@Bm40O5Z04T6y6Yg9A!6fh}!IyXDuf#Vt^} zr10Rkb7DF0qeD4+!|m#p7Jx|e_+Y9Y5Hqa@JRwaGV6bK3(K3DBldVG}5f@fZ@-d=8 zmx@DM%NBRt+kRhehu#7;bFvu`LVDS(BuO^Z+;HEMFwpODBtd-#mKRy816eO{=(+~h za<~5**g8gBN1}$B-ODhf(9Rgy1Y70|vjm1Rx(ieTNL?Pt_t)*NROsuZZMf9&bR8eZB3w=Q}(v1j{~bt6{Dv#pu74h9V;m zUCIW`F`b}<7I!puxQ8WkrGyZwalQBQ7W}B(LW4xe2<%2bREp+&8L>P!fSaq-rS)3fN-E8j~^bt)l~ROp9;_Aa_%VxQ;AT3Gi_=-P)VdRbfU*#c2zfD12BM7@T0JspQr|h; zhdG6U->!4D2DSyddjYf6yv!G>R z=ej@2ZMSGl6Iz9Y6)D>vtgnYD+!Ai5ZiL6j#Kp4REOh5SJ! zV>`c@fDvztx+djXxjxFUw?sMn+*nxkmMZ~aCn_kADZu`$?&>0F0lqo|JXjEjXiYWJ z7f*f9Dbb&0Xfb>(7wUxa$LhTZO50JX6VM%9E65OyW>Mai!!V~;RLGX(Q4{3m5fYSB zhAbNifx7O`J~HXI;LzrH!9~OnMRf7=N?EoK%nltveTSzwMf*f=iV*r> z*B0SiO8TH2b|uAB#lV-uvj)T!gP5ALP(9ELo4DC0aJ1-r6u?!;1MsLT6fr8cI=_X` zrKu?#iNs3B=kl1(NyG=&UIU-1b`i{9;cMFVXYs^I3Jng4ke&Aco7-13q4?Bf{3p^! zUDtMPFng5%*j!}3=rbSsJPu1i`;480&nDXM!yT}v*oBd*A8m{vSPK;2B_#L3XZE9x zyGL{4X5^cZ>0?8bEh@Ft3RRh*RPSUOv=?;dGgtlJ`vo0egucU>dY?&4L{ZFMj zRyJNYr7p#DO#P1lB5@1RR#D3BojHr~N?;XDtbIa~J?FSqcLLQ2@#28RP|!|^#Jf45 zGZk$~ktd=v9RMcLq4hbdM|DX_KZGE9a9^buT-Z%aC znT|Lo>`yT-k6JtaGK9TLwCz(xL9IbzZ7KnZYSQRbLWm!ru-WY$#?PI@wQyQ-fW%Gb zmCvoLn(;N^&n;-pTTldLWV({VJ_*)mZ}2P(XoVx-x@P&IC%}Ii2AEEIVZK|PlZ*V& z$UQaDA}r;Fx*Z)e!c99Z9j0WuUsjDVxXCYL{!2dvIhUW;iPY}+^pkld&9b4`5+8g1 ziv;r9;0F}|nNw=_gFfc22|w1@KAmB{h(up{?La{e5{f^aT+@G1f3q%yXDD(i&OsWX z=$Zk3^_MfU4i|rN#PdOPjK>ROo||5e;QXx<5~B;y_PoBqyf48nJ?tY0hUPHyiHi7f zf1!Sd#GD!hFeLU!aH6z3wSVylox}fq4=JRDJ)VCwo`y85@cW^ZM3c|Yvgh~KAo$B&X3)3# z0yc2)DOm+(VZU=yII(#meEq=CI)nVg@HE#bTq&)rv5^GB3H%YMt^IOS%MVUKcvo!y ztD6+Sn=xo^X_0L~|EK;t$eLa$1s$16Zf<6}#%fnd#T%mI8zp+GCsbSuD6kBAdEbJJ z?0N}QT6#PeX746pKC}nCkA(Hv-;acZ2C52NaTO9ofhf6IfhsL40>s)wXrILy_715A zG1C{V__5q@r7ik?b_7=EY16*ObG|uqyAy4r7K|T-F^-qdoP-W0ScN za1985v(_5o$hZTO8iqJvci=6%irRt1+*JeJ3_^S#WOu_bsb6#=igRSoa-j;NDGg|^ zE-8a?74gwHV_vi}QI)flvuv^>+t#!;gs9SioG{!j#qB7FdmWA+&4O|WtnQ8%s)GUu z%l=j`!?uH_xa)bot#L#dn&TC|&(AAbO{1YfFR6r!pD%ya?1S~agdLyCBraH_QW7wX zkk_T;6MTkFVFh=VitYU#KmMYu%4%As)M{)!j!8~Lmj%mveT~9Tr<7PrRt&XgTh%Kz z0E86cHNs*@JD>zllY$pEnsG_?$HYDCg_>BRjX=JYAeC*c`ZSFynyTwCu%}b9 zwFFZ8)z+9teB((!zgU0qIPO#?RzO)nIZ`QjvnfC{TQM)7eJmYPlPC#sb{2|z?M<;>+qF6di&&8 z&WHmkCLn;I?O+&EIKAY$$4#<@EJ-uT$9@hwawhw<9QBx@;+UBAbfewn^;5 zE{aVw?c#$~M5>ii(xNj+z_^#@E}8-8l$MLovG+-TLW5^{i-XW=8oA>D?J?Yn<8O8_ zm{VlVj)ZI)(Brppd9Ry5hxvY2pm-?zx0Z{nzBUcHO(fl&5 z;2++yhqPm)*9pe%D499ti}P}vu6~Io{FTacd}`DYa!R5yfndL-&PlOF%}N^luyvIu z=&VBLfQoI%PmPNG1CYW1G?CWggJU*EiQ`5MM|nUV4a{iqvwEnwSNjBVjf6zdNz8HP z6&mg`>Y8_Jg-l8=O!I7cbmQeh1%h&cZ;N^aiC36^JF&EeFuPj`@1ms~5{IFc0Ni73 zh1Ry8Z{eyLtZKU``WkdBkkHl-FcU@UV3_%qj(gOL8AB0nGze4x`SRF&JxobuA+$^r z$%*7;SnByi?{eOZ5<4c;^R$;KNV3)PmO3|xy4SpP$uKC%@QXQhzeH3^n34OrMh zG%S+{afl;@Pn*f0&1ZRghT;=~5;?zGFL6$1x7I=^DK_c>9X#67=TTzoym%%=lrl?= zx1H+~w$vjd)NzgDC@$%L!G$~b_mLe*aDnViD<5Dsiorn!6i#Xrze^rgHViy_m25oI zNNI?;D(gV^MsB+{&wmNX9r4%~MIHRuxx`3Yn0%Rlcx=$CHuK>>s7Nh>nZH z?1GG6nXz8N^?IMtTA8jX6mR+uK*x z4PPNn>w2^W!99loq>S{#V$_(5Gd~uqD=O)R-we%SeIP5Vo!se~L_zHln^trc`8DiV zCi}3gocmi=bTr+05X?e}APkl%R(iq3b&4Mq7~yV!5n${BxsvZTgQsqHjxEAs8EbHt z;xYVR1RAA?-*1nt1ld0q{Lr7XO!uJ+p-@AZvcsF)R0tT0xP_pm1rHftnYfb_FTbZ* zPMShpBCPAK_@STs#G25x=sd7bj5!QugvOfjCVqFsqu0t=DR9SoVm-mInPjA_A1a(o zhDyr;k}0aWih^1bb=Zl-s}aCN-8_J~o7$u%aAM5}Ciudd7l5sZ^dPXNIz*0DB?2Q1Cpv;^tK{Yixw)GLI0w>y z5kNLl%S?l}&o)4?y6h%aE1$1PRm zYKP6>2vU_>Nh1(xUHIoQ5xm?SEW<44u@^}V^or=O%{hCkztkANk$F-+h-ipnG$!k{ zCoTD@P^;oxRh@J)YD?Jqdup`12PciXx6)vCi8#9iGnaDS)f z$aP$}a2Hl7mHoC9I)*e!a|u%a+n03DT6JpIFOb@tW}9i7d5d%h*Ll$wi2^$MaztjSQH+fc`3^HfS zrUN!|*jVk8Oidu|hhi#s$4kYjb$*e4NhpR~B3lkH58QNYhIuGq`Z}&esDf8351t%C zvX1LZ6wF6)?wT|qO(?)hLCizVQ39@L`Nzy>BH~!nBx&P;o_SRZ+gmaQFsRReRjh|- zSeNe$oP%J#=dN1_4bIk(+1V283E~7}AwYicqgY<@B%_z(S|zXAG+GJ#hSb+GtlaouUdTKYP)we>f`1;gG`Rop80HtRW= z7SkE;Jnj~FR zTuO}V*#GAKR*Uxp@cB>BX!SF#sIPH;Y=U809ma6!zMu#$nF#x^Zf?!@>hGz2K+T(e z%o>e-7UDynt;eJIV{;ar6b6_0V&hId7jemDQfmL zF!LtHK>I2PqmQ=(@TPF8P2@c=ZUGr}5Pb(QqsNwfg>=Q{7VgZnOG4;~>~Cn}wy+Da z{Y_3~Q!ZA)(BJ>PKNqJ0Rn|$>*u7Vb8YJ)|w)4ikI=_FnH@-ubig~;H(^0k$;`%eh zwDu#q+(F6;I9TRutxi`D3|>WreZ@LxA;V!FPL6T|f?SQEu&Bdp53QAy@6}`0lF1Pt zRL&b3z`4y@aDF*fke3R>Kuq_3p!VHY&I)`8JFMU{42vT~A^AeD-5k34VQ>^R>d$Pw z*tTwJUMa84yj$*h_v#QxgB<1YLH2BD&!~2ogs)x&DD_luHv>Nly6o-ckU~{~-o7+w z*logY(wIdD8n zsQz~W5MEtdMNR8(RQ7C7A`;CsY(cWcD)vNg75-I_vE|b7Ab(=(>_=-}S;}GKgNq<& ztv)72s)VAzg}`l+gJRf$Stv!YceEI&e}MRXnGDu@5(ck&x3cQ+6D>sV*IDqKm9Xd1 z@44hfNCvvEIqJbKDy|0I=b4vfT(6_Z_->E^xLSwOg&XuYmv+GM`Eb#yqeeTl@G^I> z^wHETMT=0fQgWR?QL=h`I)DF65=J)-Aeq%!vJ)=2rESx6O)yW{-p@SA)KBCb3oI~2 zG7g(kHX}2q@MCy=>wK=zRr1>WewE*u(e2iQ)9%}#ScPp0YVa6(YcrjN*&^Ng=OZ%# z0LdVK;1Q_kPWYX!hY(!G-f5Mo!kXK9Go(y!klHA-e!CvB8*A&f;|0Bel&S6hrFoYx z_KM3=eQG&YVZtW8f_tW)^x*>-dxx4~wB!{v{kNHjn#~&>;i53StS5V8A@V*PL*_DU zvx$*+w_8YSj38rQQf+Hy+Z&n)SpTROVE@LA(N&u=8{5TSx@3L25e%`<%$2&}_)$=|v?E*=zn_gO8sV-L+o_Srpe zYr2kA9@!r0ML1f{T&ahlPM-a?>Sq~kJ977RnK%o6(ccm&rdpi(RpF- zIrh*x%e(SMXg#$Ew`+;U=tTj-??R;Rrowb4M@xUrt|aZNL2Pc-LW9M+{ngCt(<-u^JmuA5U4Wu0m>%!R2rD z!S$x&)Ph&ZVoOUkc%lG740$qUp7c{mVc2e`oRt90Un9xU%h@O&bZ+hTm+gKZW9wjA zF2Y7m=Y1~kO?BW?tL-*{Nwgy^q#IcQ>H|2UgSk_K%C`x+8t)}&{LVhsE+p$z?ugIV zRa|~LR;zVTh^9bn$4q@-8ha;u!J@F1=v*Gt&HIOtJCkq1-k^Y3HiqO$(4O?Mi`g-- z=6e-2rl(vf!f$3@n*=@^zc*X?8%4a8_4zu;Hjajil?i3EIJgRw(>%&hkzs|#9x;eM z>{WFQA0S&R6ZHIRYHqS>)X=*&8S9u0y}kgdf7KRuDevX1kS7${dtROuG5Xk~0DE(% z{B~BCP=QIog=RpEekbkiq9xTYd3$+#L8HVulPXZuG~oz7L)a=fxL83=A=+Pble1?D z1;vC4u&Tj?cWWxSDsB$K%I#+RT=NV)tr7YO;oZd*KoT68q3rkT<)_Hr{-MT1xzhyX z{+iag`Y0g|en=Zhzp7R@8vLbs_SY|H+g3r`={|nb`#uApc2oDZ_iINPZy{z5Z*Ofk z5_Al(iSPP7inj^+;d@08Zmi0LfuAnd37IX3kbvXnQjd4Xn8Iw3A{xdTjE^_z@qMua zi)PDv%V(kEgGDQ&=wiGn_G!gK?XmaQbPwy_IrvMhZD?rh#qG$|@PB0%6)8qCI1W*E zlhx352VVmc%kBQOhe6i;wpv+qK))Y1(oNx3QL`3F&RU6;wg) zT}H>iWyyn)Ud}8bM$Qrab+oz>bjP&8vT6oxrm*+hgc4&tci6ZGX-9eYWimQ}w1F_3 zR-P30`0BPD%4;vXGbT$M$3VM8A3M*3!6n}LYyS$NvbPQR z)}Xi0Uay8m)CpBaoYun*P8NcBuVew!0p&Sq$#t3MIx-)}p4C~ubR%HrTdCt%;TJgX z<}7&P`%h3jfFdyAu3o?g#h>GmJ~?dWn?Mf0W4$Z|z-4+UgN*#HYPl`n-u=0w%p9RX zw6SM|<<9z`w_SVI)$SBWUuO^2d~(~~exKrN3vFq+$KTq%f4AS>9`|zgnz#^X?@E3- zeNI{FY5VU6!24gf`o9amcc0Z-o}QO41v{!>541emzgar@8*Sxt&ZIFQag^ zKd-}OD}^-n9s+tE7f)l&!?lmI`Vj;#`pKagxmc`wQXz(Vhu;r(T-sQ6b_t}1>8Z!+ zLt6~z^cB-+af8{yXF%P;cFaZ2~r)Ys6f-`T3zSz}nme0_t3VE&acD zaQ$DPqHiHoI?O+T(f{}c@z+4n19PR?)<9vyurP>QI{k4bWdA2V`UCk3z|6_T{y(V{ zO1LLxwWS){?h*MzFf%#5rWJ_dkJIFiF2nys~|dJHskE+hu&YB9ooYQ@d12N z%p_V$FM3@J)^7G}k{4L!^Pc2cX7i3Ee@7Y(#W{Ipj)R0N(^@d9%>oXJokO6hB!wCC zMGcf7$XVY3=&0nbK=XqHuREZy1?)x!)WKYQBXWK~*KLIec~HgvUegq8hCNsa z1*8(wl%$7A>WCDBFUf#iFck4ckVW@*Rxg2!9Tf$J$_bg8e!oiCz=?zYhv1rx z$aYno_0^l(s&ln#(~qI^{H1=JfciflRdZg<7%&Uwj@FNB~f-kOo6MroRKGh zd?Yo{gyBi7R6Uk+MSW$l%}oi%INbIakeHVzV)=jKqphYuC0O)iL ztT~2f(~(H7w?_QSi);BQl}&j0@AA2FrtiHfqqOwdE5|GQBSJw%R{sc0iy4^4I#Qf!)9935Gl4HPV4Gf&-#a+;AJ>&1?2 zk8QEDiGVrZn33kh)>|tf0#^FWVn6umU#1zcUTo2zN=jnN+@{6^!DGrQLp7X0D)XmN zbPT;C5%7-Z>Q!&#rctl$io99Lw%2({+S+n4?nV)IBNL}pU)*_8~*=a#)=1@NUjLM+y3&7=ONS{94zgcPcco*fAP zd+9>NyP9On5wLGf62wNb4izDpY4_Q@%~|j`mvgE(!io+CyX48X7fIK*G$6J`uf*F% z%u^mxc)xaNEl=ND`b_U*Y+ZjL0`J3EJ^p6W?xNFO`#tfEJypBLW|k>mIbpk~lDM~( z2gtC?j?ydiGJiF7=IQ+WO#bR3YZJwQ{dswI?H8PL*O;!X9{3ro@goo?c2{V9&wkix zS#UOQS#lRpOS4oEj%Q~mu%t*dO!i4rHFtZ+oWn}VNy#mDmeQNTs7-ysZ#&pdpA&&R z>g-I{nF}%d9fD;YvEwwr_4W5rHsMTQ6L3&Hp4<>D0goB0zF#~`f(FAPZ%#qmoL3?q zTsKYj8*Ps|Y21gg3=b{>IhJ{#zz@m!*&hY+#&PIR@h*(5lZc`JI7a!^X_#nae^{1$ zfyLjx2y43Ra7m0PO4^y^`rzd9`ZjV6?sDLmJq+}e!p6k@^36D8`9Y&~1DB*ScfhYp zwz4reH5(G)y*(&r8tyt^qO&+@W9d?8bdh>et8!QdTf1lxTqg?fK@<5&Z7eBfjAvY& zLPiLP1UBaG5z`bkEi}(XbGl)i9NZ*AlM*3#qu&%-6Lo-B#;1Ov&LsAvUI5NQP=RPM;taWl(M?YLV!Wm~wNd08aELS96BsCP zJlA}J8<@SQiQ;112r$-RF+_|zq*ljY=&F=O_l$xTn?ZhbG9Mt@ZnK$~2Dz#6SpglZ z^SDMvM64F&yQUhHLJGEX(!^$qg2JE*hjDjx@TRO)V)?RzPl|BH1tW~~jsPOTKPt0Y z2VHDjjwD(!TGGZG!YRXQg$e994_uRxE`!ujZu~K&{GK5(!1@r*j}}HLc}ePrWYvbQ z_}QC)zW1_h=C))D9r@6lVH76S{5~@W&CR@8hHa4=>vQo`#L~-#v~;u(|2XORyd<8#T;rFDNB}uxBVf)5ID)uZ zP^xx9V4N)M{Oq@;Hbw-IExwK&t-S-BWvx4LdIlSl+grMm2kTzWk~52ajpj#H5nZ)< zJsxj&2Z;xBukOyj>E9v-YmSi!g-#SEZB2>H`WQ{=_{@-ZMdsS3h$Pd z=a4>*EWT}V8#lMNRRFn`ABWDoK$inn>}fG}^=?BVrt4q`Gkpj-*&~T(&nv3h#2dNr zP!o{ZbK31Y@#|(cc}o(sv8&Q{`f7!h7p!JK6H9LvVb#c$;z6F`+UE!niqKpl<|~hx z;3^MUnpwjKAMa(T$?5(b9)`w~gFcfmER$%rG35ai7}@<&U23Ln z1^y@rEM209&li=`lF_%lv+q(wg&2ixdHz)6J~zS8j!dU_8Ve&#*1i+BqHz6K@=bb6 z;@(hE)Qtk@VF0aVfk+@ZPI)UyJs3=M5QNNTJFVs?OV&$6(F#DWq?KK{A42wQU?+)g zk4U@!*k%pj;(2>A!EPVx3#>Y?u4OESd>^WYw$V{gMy^^lZxed_&pZ^dVk!xb$hwB} zyEY}s?u9LlSTvGK*tR!G{#MRX36RX;f%1CH%f-Y01$g+>)K2a31y^{aR=AA46@}WC zL0i#MuDiNX>_Q4hQRH`}r<&iVsmi6k=21C&Hb|r{kwb3*R^{&FC>bAsrwkiOLaN>? zw+lna8PaztRhU1s@paIZM~->54s>QnJqLLDx_|F2B?cxYl7QJHqu$3C8(|w$DsEUoNh`?wc?tW3^=u=b+W5%~IbaYsb3!4VrU$$$W#SHa7KKDMtlh6s<}0zLD#V*i6+1o&?kP!?vk z|8TvnV0d{MR6HC^88nnk%^0LawRz3V7};2jO-u|K*-f}O*$mA%IZaJCj956im|5A3 zS&aDq|5xZTDB0UP!!Z4Og%X35otZu1e=*CI7?dqjf7+qIVb~eewV4Q62$^+L_aZ@X z0UYfAOL2g0NkS1#2rFdo4bnu5loEzm2#J&g>KM)lfznK6lFNJ&7+g&8pFkv2ATY9Q zSj3${vZ=@IsSq8an#cX_*nGO%`h>E+&qf!|#@2>4R><8;tz}qkd{Fo)UC5q27V*;x zd|(NW>yX|m=!cO#Q)B}mD?a2Onp9KOGX)W$*Eg*XiwLpb-w15m+aK9dap*>K>n z!sPr;`(2TxlwF9PMSlPBX*As|q|e+xCl#MuH7vjCdUyyUq~;+5n@}RG2t%xxD<%+< zdQfpgR@XtSs3Fd%5ir?7Qdx|LUd%3#Yz^QSXk|up9%G!6NRLi{bnH$4t00pC#`*Bp z2q6=V*J%l^oHou1E!1Ai+@K&CS1T;$K`L#^H<;a>XQ;TPg#Y3o>eE)zdByV zY1}4%46RiO7L7L_P-6le%QTwA-j}vnuZBEz3p4pyk&S%PDsf*H#loM~v^lQNA}}t@ zo9*5goY5|3egHErGlo%=GrU_Svx5=$_j7XOc7sQp*rmIIlSAd4@TCXfll^U+h$jai zI$?pg#A^HUI^mU$j0k;At@sa)EC@q%t>`U#uA9LF4v-kTcAJ60oWCL+7_JA~0mTdlYJ^DKVd0P1@cL8Sp#f43xPAp1-|?y$;7|Ad$_j71 zMZzB@;Y3h4z~+r?bVP_55o^Ut-Br>FL3JRO@0ZDH!nzNKH@=c^jva3>%*0QC-wtpm>8N3|JLe}&66M(yrRea*Nz67rRCwf90+{gE?& zAy+@$UIk3e!qUn10@?Ui&k~5#u{94MV1?gdQBc2DKE$HlZ!ys>Gj*;r?N|FInEZ|h zWRb78HK|OhY`LMJYhSY7!MY?8Q|Akx*cBxFagj$q`a~M#yUMElWB$8R;(T*t`sbu1 zeEsS7$#(%vf{Q$+YI5P9lx$q*Yol82^yzd?uu#@;D{e!qA0QOmJp2DKR{wjb{&6;R Ya&~tzHG^T}VButChan>qQxJ#wKRVPn=Kufz delta 30802 zcmY&dXCb>x4%;MshDgz9jrp4yP|_h;&sVRpGFH>=DYg5Oh-=( ze&KeopJaM;EgHEW&=Ug656-VDR<{!SGV_+Ew8=f|R<~l!zF%Ao>q6N+`+j}^;DM{~ zT4D=(vp98S<%9Dr@&$zL`@j$4y1uKx!0AiAqi?2LH6Y`q*W=t%;hTLhOzqd=!>yFh zmvfwXlq2lIj;+<8xPtArzqp*D&Jc}b$ORL#WdYQPVQztn;AkS?s@YIs590gLNb->z z{GEuS(;1bL^^H#1M$gPYU-Rezmzz2HIa&oDawM5;^EOGa^uBx=MfVfwdww6312)!B z`^ht(DDT*ng4HAB{;qJ8z-4uKliT5)d}gL-i()qHVRd73&mvh{?s;(lX&D(aTkxWz z?Wy!o)f&2_-h>z`^WCnHr0OcuU>4DnesUQ$cKo@`g4hmXY_-!^4z`MV`s&H{Mm&^z zYAP7GI~t2XH}~lru2oN zFjFyVe7n&#`!fJHde~I;o!2{o%zL&FS0uxJbv3t6N zV>_t})D)I^Al&DzG4Jo|F72@aD7tq;C`0dNeL(yi{(wi6h+fQ_YcmGZ1TWGd8FD`28ICjDkF~}8Ksu60 z*ems(jd034;BR3BR4yP)u*Z1a4%3kX@7Y_0@*xyRga_!@hs>i_@toP*Kj$S_qqCpVX z9yf$_urnaz`_3jPyWifOgodgh!knTq`MCB4Xi`ICuyNl3oIf<=!^?4orPxa!(tCtq zO~~sjVl&f-0$_OjN@I&Sm6qU`T4%%2NWK3uBA6j$!cJj-X?JH=vE|Z&!;WKwG>s^U>?v zDR`PRZW6`<!fAP=WTBunDk)jpCG- zo$k4id$aNEVPgnKq)APl_6^J0GWyJARm{kcb_s4)2=5NExceU(>GcFTC<0$a$6|_16$6 zU^7CfO}4K>c8uas(4pq13?&4ASm2eyrYz2G2{Q;I0 z8K7?oa4WL%p*{VB+ItdNnkz_RFgggtuE~X+&x>uBM~#KxD(0ip)Mn)gq4pbQ|{?5++Kb(QDlh%KyQ~GVAyb#VsWfLR^X;Y;Y~vaqb+bu=p;awO)S-j>pmwMuNvd7`>t(%ZHZadE5En@$n~KJL!GH7 z-?%unmaZvwZRdPiO-@1yEnYSxbcpytN%-a}jf*&_p_MvBU5>=VRxym_QT5Ghmz0MV z@F90W%zrEq)rKeDk`NPZJ6rw`iRahp@cj2%oiI^t%PqO{o1>>=OSNa4m`r9<~iU18`x6TxE zc$4?Kt7J>*yeIstTk?JrEX~gFoa7F`bMj%z#`!}2nEn%6*E>LM z({damBE~Tlu3ta9{ZH?xBY_%V?o-B1EU>_a{YZ&)v7Su%V^TQqZbW9+`P`7doAxGg zFt1ese%`G@IGgTMYV-G9mZ$gPkhcU_GW&iJHA-(du#o)oARxdj1=PQU#&26l2WtieCjE^E z+NyzI@o=DAK$XkC4Z~tEIy6vTVDbkv6|k-utnc5bfub$71fV|BkE5tZ3nGVs7GYLc+_{ zRx|@nUk%FhAO3CkJ`l!Gz0!U)7yfN$i7R!*GOMq-shk5hl;+DR8On(5Z({pg5Cw*UzZOpd2N>u=dZJ|s(^L6 zvhDYZzQEIu0&I(IDV@h}n$i~W+h2FjtB;c}cMl!HvhQ`U`DZ~p_s8+l4qBH?EOf$K zz(Ulox5sBf<^Z{4423c4OB||WB_pYVgCkJZ^ULM(5BBeb4c7O47oX>LUz>ZwA3O8& zi`}YY%2)4oUfy_IfAWQiebQ!2766>!)1h~Rg};NkqX1+-3AM`f+XIK?Kh-C!I^T*k>g#Huf`dSc5)7AQx06W9gm##?^eoFM0^o4l%C>Q#nkKPr z7dy9VvzPdJ^UJZYxUp)&mX1BuOKjKz@%TXFyI=v+m`hL?iq*@W2o8P(jCE!s7~?s; zdL7ZKD@~V_5uSrcjnSA9Q6reg3&lVm{wEuQ7M$b&iSH0auvGFchwDfz?0hb)DQ=od zd?~vj8aRsJNX4;H8X#^Uk~@tj-nP0wSv#EM#ScEX1uE_;ohCcGCbsHH6pESO*-1dd zOh|P>KA8C7=?L;IJmn94XmdPG6ULE?qe%cBl^1qDDDuMeP$G7nw$Zzj`H(Qx?cp1rVA-yisCi=&kT1EHA>v-Qz~{(u^qEgWnqOBN<*J5JA3 z()t!>I|Je{GLk?<_|S%Wgm7y1n@VodJn4f4$v4wOGXLGk^vWQrSCgv8K9DWjISul| z<&(@$85o{SFevq`jKEXEjw#Xzf%qy}urs^>=&IbUD_Ov)yXQKH%7C2~8WX0O=n2Lh z2EgX)$WcpM6;M>AezAG+wIjVwL7<21Tc9AKGVWRE{`y-_j=W-nBAsE6>vqJNA(e|{ zZLB=QhZD_MCfMqz$LHmtE@OOx24}~PJSbMG1%^J^$QrkcaGf6~H7tOR2_}@u3VGHl zWn@iIpD&4ZQ(}*niz;~zM}`__$4-J zcV4PXBtw;%2-YK#8P{I1hOkVv{O=XKh)dS*cWWgLV{Y6xR3sGegp&iz#ElFP=?$YE z6OA{Aq4iRHY&b0`e497-5w+i){YTrG?*%1$dXRO-fzA%oq5K6w!!$DNWY5gYpKJo) z0K4(ZDnJtv1<=)GSk4V5YY3(;VosK`F(`6(e1kY%1zVRfPGw$5*)s`F?YK0;;jz}E zGp2(xc!u5VWvXvzyhGKCksc;Qyvp+B_&alC86En{@1N~~srwz$x)Doe{jJGzFTe3CF#tnR&6Y_*x8RhEut&CS3<^^6jRUsP zic@^a{Z?3(o7e?^(!7tD`;gc?M$B#I0~(pWH7eo4lj29n=B(9{0uE2c3v2zpc#bn( zr>#Ctb#G8eg>IS*%nDEw8a1u$YZ47c;EucD>M$4QR5qUo-iQbJ#e;SxacRn&xj&=(uBCZsKK#Ad9$J z0*Yyq9Oq#@BmwBK%vk=ppsfB!3D|#p(zXUT$8?xTBL2jee8e}wck+O6OEHsW`EP|* zeIn9W5Gi0ilL`>WTp`$3W;K)`!edc5MghhY3qMPfB~f+$JjTnSf$#6Rc&>bVKxnO3 z)R+IGu{-4G9gR!jNU324LRMiRP+pvWZ{4MwKa7h;1t;xng~D7z+z3&@rDJQz2^=XF zsf_=Xv}p1~W7Xdze#B|9SnYb7X@gxPIsf)Le^~|JowFILWwtUyB5Y>qX@#B`fgq*M zV+!@kxrEdHEULViy3gEQMHIZeW-@CQ6S#u+g{G#{`3k9-3K3zjN&lP0B$@^DXcbks zh#QqJZ;((UCA(~~N;lpk6!^OXniOyhFFnxVwlY@+z7cGg;Z6}=pfv;YZB<5=9B`SY zgMRr(IJ5f@I}Vd?plE3)$S08vbH+dsW%Sp%*|(EhRZ_-axTr)-9chpyUFF! z(O4&>^=1zgMVMZ(g;&Sd!jW;nk`_#L=%)0y?qS*N{7@un6$kTSW^>2_jA+1+y`OtP z@b3ys36cq`hStT&Ip!a5K9vznh|+TCiH1?zOAHM5f$Jy-q4dh#JxsnwCV+dTmy~uCo zWE%2M)tKO`@l|3AY-(}mqj*byu&}g3lIIks9oKV4k20(PC(QG?5xy ziPbA!1T>314*q)W5cmQkc}Yxwm*!G8MU^arSx$|1MKC#f3%BW$>#tZEWn7`IH3B`y zU?O9={eiGkOS!COhx;0xI_&B3*cvC%3m+d-8dp@)E};aV@HriYJfk|r{~2<=-UFeK~2VK=WFk^U;5m@0bYKoM?d#-Sf4k^iNGYUm(TC?t(`;gvQ5W& z7`i$>4$y2!Vf%(>x5gKDWh#O+#ers59{KPy%lBm6p~$QS2OZ5i!wwxLRr$@fezCkM zLNgnESTiw3!y3haq?6Z9@I?=dgURmN^M}l%?4D1O%Imm%@ zx62#FyM&@ZgiWz=k>vEfAXSH+&t zsRUxX!d%q*bW-J|5*jm@yJj5QJ1i#L*MH_U!Pzb(m@weKL&n#6DLj}#w=rt=Y*?XiaE=XrVZ@&~C)f_FETOjR!1ZyU7s$shbn}b{45Ctm& z7BCP4!o73KfAJd+L37XsI&-Zs9t1bMpXpgVqy^}j{m>>dz<5Q|#56;Hxn8c_>{kfT zF0RmDc4>JI{DJcPqFPa|Cc7C*>blg8m2qsYinIvD2dQ&H&ypi%^j5h764ghIGfGJ7 z?$%1nY4ridqH+gCb{jw*WKC^Sm!ItmNaa_;ausFssSGw)?N(SbEswV!9+X_sX}Iyx zv={y(3()!%kz|LbmmVx^2Zvy@_mECBnPe&GO4`!E@NSs;E#sL2lSL#cGM=Ri>wpS8 zI0htoFTDG~z?8+*CBs8qH_bFS#`4S3GX@tqfMbMZ`)F)SPziYJAhE$ZPi^A>;HDUL z&|0~9TpdoH=n@ssq$?bi0EP5fjdrtDR`PeY{po4&m70?TcKg|U?GOw%*J7>53z!cj z->g|eeum<1DYxMQX9ZXvdVFj+XRb?_v!C9rk&LAgu5-t<+z z2yMb(Zq8Q4U4`7gm|!&(=3R_kFRSNigYWUwf06nu+m|K0590=RjB%ME-R`#jFrFXE zlmu85{czd7ynH;39eqTq_EN;y6;@$ahGQ>Xa_^6f1JQq1-+cC>N3O^NxOyYk#TVy_ z#2(y_dMp2$Wt!ftLzprO>+-I1h_DMH%hKQ|e{R|q_=}uaQ0NJVrwswstbm&g)C+yJ zdmD~Y>hzT4tE+w&N%qaY-iqNO#9KUoUx?~<4vhUKu4nJtv6TbTUM zq8`qt(Y6bAxC=Az>qJq;w3w9(8VjsWOwk;sISB|%_qoe>4eEd~{ zcyGcv6E0CDzNCfL(ARo+yL=deJ8H$%^`72@%HG`aZL=e%hP`UPotqtf49@*ahBhim zgXn-<7Ah@6{&@z#*hiV7PMm&Bc6T-0idxcKW(nJ|mBf(B zh-z;BbHIj~0mqWwWm42(MblY%g{7RuVRKmQy$ zY6b#` zh~S;YAaYOUp!qf}frFv;emUo&*hc1ES&th#4eb`Jh5%=9t(wpsrKpl%p4))u0eOYd zv_?m5k+8NCE!G-NY5Kh}#jv@dVvs1bB6HpLrP+6WiLSd)Tv^UgiYXKC6%4mZt`+~% zu4(*XxU&=>9A|Nk!2T`DZhd^JxPYU33SmTW-A=iN@an@_ut$+y@Wz1!D{=gH<`tes zfXa+Cuu=TRs%h<0)$@>>rq}c58+Adb zy7LFpva(Iv#2HdOzIeS6+S0hpkvun>}e^ zgaGGSLH4iK^3&hs0IRq)PEC^fgm~Wt6ORG>!EH!H=z0H>sqys|ldu>&MD(br}vSHSy(8y~F@di~ML&fnBTh9Y%R%vXzR0e@6; zmCY0gHhsLr33-(U{HL$F1BFpvWhD4tIFN}((Zd}oPPFC#V048bo!=0M{Bt7x2eK|_ z6eDZzQP^t89lTa_D7cwLqnwotHvI0dr;7*nO>c*uhdH7pLZ-sL>X5aKj);%zK!&>b zG?5s*L9(+`@I#0vhoE5mRYN3|NOIlmpCR%)dMNWF!M4(lNnKaaX)-xD9D1ndv9>vF zQqjq;(P-}g=GV#S!w45Rm_I?#{-h1NPs=?9fjYVIRmNmvezm5GFDNENS|b%|Hqrzg zT@@v8xHn~&E5$TjXOt_5|cTy{Or=12D1!Ua1z zp_GYYYBYeW{jTza+snmW)3<8@gIElp9bqTG%+$Txdn!@&Eqd< zjPeh-`T;!y1o! z1^uUBKp)5mNGs&97=m>DpIwQ$!KsUyrsy(G&1#a@_uNJM8IHOx&32W$dVY$W3qB2x zs;aIv_44F+x%iaU`SN)@;a*lcE#AoZkRXpV5+LPY@WE&5I9^zN93XwW1OCehO1Q}kS83u`n9 zUH#ITZAx#^J)}g-GG}??R51T_8QT4l3K$u=b|@?uwgGHDFuJ%h6gu9v)3` z>xo7`bbpZnDs$c#v{)fSCbNWLuz^?zs`^|Z^tZuD#V|XUq-<-1w_v6D0cdA`bQ3~? z7b;)v_~&7mQ{8N;1!6p!)G(1BG91l|^y5E!b;SdYWq$oCH6Fv+Bp5f>r5T8fd5Dv+ zwx&nX2+pFlP;_B;3^C*=PzM;}A;gfoDoPQdqHzM{MC(-r$kg2Gla6$oICm7O2Qi-FBHQ4q%49 zCG>cc!CkEJOW|GL?E(G~yw#P6 z4pAIp0qjLtieP@_UznUh_fgEmsLUU*W@_>iWgj>~DDwWvY>gjiex5_XsO?a7I_P-n zBK2OZtXOYGl8~fyZ-B&gnLoxa_}@}&6e_yrn(}E_(QGQZDHN=na`m;EL%=b^8^xmF z?ihg(rz{p{h;!=*=yqi#F(?qy>v?6qjXWK7tL_ZZTpjVgP>v+aJ5=}O!`SiMe@*NLzh^$<&s5Nsa5;pdV_}`opl3W(_W&rx1w%KuPsIVfb&rx=U zZVLD}woetD&9sbGgr=H$Qu3|r^BYmxt643DIJL>NW0&nCQ}B;BL5DS2NbtIr7ix1z#CLV4wjD^onH9*^HTidhu8^sb-BLL)xn-m6I znU7pjEFxN!ho?V_#`H$=N(NoGMKA<1RyAhrO|2R4;nOJak8sQBZQZ-kwX#>bWDgdU z|J_7%?li}YNA1dhORh!=w<&m;eQq%&m4s&8|jhH7V z>C4Lp1eT$wLdanyEV$wBfgTMd7?wR~1gK_zn0Wdr5#r9Zum$8yRzk)IG6t>)^3hJ?` z=yPH{+hv<&27cy%wFLudks$OeuC%3dSLKLhB}M=cZzwSZh6vZxWcwjz?|a&aVQS`1 zbY`+0OQR%W#)5OJOdh}i!-^;D6Id-V1o$>q$Y)md$gvh1Ri`j6SxP)ez0j8=$ zjJ@|KqGeVD;~yHvTO>KobM@4vLJ96AsuDx==$D+C{+QT{kt_%#uX|G93X1||%an1W z5tK{Y@a0BvP)G^a)6T@CN}3Jwj!SNn;l3N`Uz!(&cWct68TsX#M1n(wXPHfbLn*l3 z>46t*tyeB3jKagAkD9CEZ>J#>0LIS$E?Yb{#_9&yjtithy%?0~#T#B?Rfd>P+G}{s z416Gj>HdFSgp{)#wz&5Xdng!R`XtRU?i*lX3E#Ws0DvU>4uzEUoQN=?WLhSCd$;T1IYkOl(M*c|53}fWdf&eU_V53;l^o@2< zg+s*#j^9Z_)pzwsCL&s3JAI`~BwuF}te561`fk7P)O?2m@6FPp2d<*n$xPIl983Ig zv?MruuKUf?=k>Aka9~w&@&&potS7y*)!o(cb#t_Kzj1(Fcm3@3oMXj&t$dyI>#z0i z^zlDtzt9o0`8q*#WC4O!@6-fZfNDK^Be1zhVZWuC{vN5XZ#Q*xZ4RVj-Gn^{FR_l* z+V)JRUzeQPA44iM0RC-)SpGhjn&}r!C-U@OChCN$sCIr@L35qkm_g0GUXVNvnIbL$ z_xGb+YKF-^PxStz>SciCv9`O5Ykyc4{c4-{UlD$!Ockz!1^@z}TWb#NYkD2?{+GAg z;~t{d`R-@8PQ^$3WnB~cM>FzyEpQ^m0NyKB|K_J9llpOeX6!QW#qWh00;9u|BAl0< zRZAFrN6L=eQAF-E{h7sx4Y`?Pk<+bQb;ekA;iMQSM_Jxyur2>Gc=h{JSGZ}h-#jEp zwo2x|9t?p`!vL|iZ>M0(Vr6g~@Qk$Q*gczLbA3?h;@Ym(#3J&D%zAV$V#(iV(Do&i zAN^Lh;j5bX9tk%Mm!x6dB{|!n$fX3^q2#5SNQ6hVKcq}3grRjW^cbaeA42VhaG_SC z*pX^ct#pSDxqBq{U=`-*D@FTm0v1B;NJQ9r?DV&fRshAHoF}Q9U{q@F<14T2z2apo zC)jTlJnc{)YIyqh_>P8Ebt*92bb=}TjO7{8^Q}|z;mMU26kdcnMh&gbf1*;~%&8UfQ54g^$%q`p_FMa6Q0KHP zTjOUnSU}(dm`V47FDQSv7QJxVaxe65MoTnQNYp{Z6nc6&-ke64mo;oFe!piA2TM0_ zgI2n+k-jC%7R2760&kc2vK((SLXVZ$^bE&^N|?LRvXOrE(^ez!JZyU;+Ko~iD80TW zyM3(d7_j)%_;ET5u(^woJSfKeu7553c{jOH39$S_0-JHfHN7e-sdY{+!hQdVP& z1Uh{@x^W@AQIlri=!DxkmrrC34E4+_7Lm<&@)}Erzr>M)Gx8Y~AOZZk>cQStMq&33 z2K1{R`X1Ie$Rhr(u&@3_KsUVL9G)ehH9ymIJ@CHo~S1Wl!*?nLf5I36(Jsg64Oy-HE?3 zd7>QYJNiu5Wj5?g5O7YzqVgpS3r@n>L^&V3YCcB(SBA zzo&0@N8{Vea|K}gIFYLya`*cC`b;8*=MeMPi(vE+^NZ`QU~TTCt8gtLOSS+3$jOqB z*SF;l-?sJ-KajiStyAJx{8YFGK#pjQE=D9$ivubFzgijXDY{?7EQ&rOrvS-gC(mA$ z2VB`A(dbN|$@7iSMet#9cb&rMk5leg)_jH`v6DBTu%Kqm?=E1NkfY(<{6ls8{ z?g-^k7}MLu?RoF>BJ28zcqV@>(CrS(V*>VtS@hMd3dmS<5N3iyOl^dSGSds#N%E@EnZzPDMf)^(C>b#C?@f+fLR9l z(&xw9;V zppW+H`69ZmO3{hh1;Ei>?uWau*LvrOc2^R=BEDxN9Yfcq4*%mX%8aTfb3ZTGX)lf~ z#;a*!5C){$^Vqy<=BJb`xQB)Q#J_;sCNAtLcMZpX zE-su8SX;rF#W~oXwX1=Z5;nPuF0So)%i=i9uQLWhvc%IZeP1|`LNs7Ki^n@d3#gi~ zd)8+luVHfEBEj?w2h_!8m~rxT)Qg_|vMoS=a|#f;#Ol+^Z2eZlaCmsY=sp9#s-f43 z;5sv}gZ!<^)LF^VK&MNWM(g)rqz&THCSL4McO_#%?hs?f+fE71C?G60|8GxtBh~Z) zlk zoi<2d6vNlU)!r;66im#WTN98eX&`*Oq$5nPx%~%k3SGjBVfiAvVI_RM7V<2LpWF6c z(w#b@Xq_A_-xOjNRd44B$r~T$+i3X!(_4T+z85mU0l=EHjyJN}e{ktE6J}o{^=S#U<=%1f17zK#$i&V@=HlR7I#(53(O?MC#>%8_51uj{kH37HeTeboM zt~TAgNQ6BTT6eY$R~t|n35)!D5Gj@jovJ=A*%o{b5_+^5$Ve@_#sM#EZ#mv{>z^V< zU~P|#uQPc=i+UYamH@(t9d{~jINaa78^bg|PX8*Uhj_0ibqtp4n`?u%vJp|T9q|lj zG1BOf)}_u5>XtOQ-=L={DxDCzpc)tMi4E6C0Q4ChDxh;C0X@AGD}u&&X-qKOHX1CN zTznIRTzn%(jhZ@;20%iiIAvb7Baf7$@vQr`Q@fI@JA2Gq0vF|WmX>--_TFZ2|EpGs zVlpMIEiPv++9GYAp@~JE1ks;!jB*T9rj#qH3D-&fN&D3nM8St42An7D&OM-xMiN=r zT*8>j*8C3r>dmlsJsE(r^m%2mebbcQw#rx4?mbflDbth0GkL5QYL%@J7qwh7= z=v_3PTWQ=pZc))Hc)O0jzX{rvH^@IjQ*Sh{RaTL7R@v5A}&mLaFC1#aK7YieW| ziP|aFCKziL$@=W3N+jiHQLX-jC@{4-FIO*DuvRr8XFd_j+BX+Wlyyu2JMns`_<#nb z24CMI6pHS*D65^TOzk2v3AiTp;QaAY$*Ad6VLPkmgeJip_QbwVu;YzE0!JpnUvp>@ zL$iUlj;a*nd{j)dX}MK%Yn65!oT!zZ%tY-fekYVnfpaJ!#S#7{*4Q!`O)(uWjnp^{ zI-QHnGU}jk_0lJ#)zc&gQ2&@cs~JA? zyY1TS3k-0ab_4j$d0NK@zTRIt6ikY6yhSa2{8$aKWNN(g#C_;s8CA09NlKxQLxZ8hvxJ;0+Kg?_!cX zF#L(}Lh>E@+jAj`NdKrVjthCy!S2;p$xhtjCc%taZMri_Ls1CoT{7B0HMC+Uy1YDu zn)V1&KUSbKo)8|4O)Dh%=f1uTwxSK){*3kL)lzm_g#d^NO)p4!O8s~5O zc-L^<@O3+weu)0V{vv%I^;+n%o2HaLbyfd@5p2?&bPUIMS2YMV2onP`x5*wlSWL0W zjik^p*Y!JkMdCQ7I%^43q0ml1OwT7GQ092hrq%2-dVq$ zM>Wi^PjEJ54Eld;iVt{A41)qtvj&sF!tJ z>0_*(BoRKPhlsuR!SwuoXalu+Ao~$jLy?q$XhBr9b2+Nvr9I0l(4y=a+D*i1^*_D@ zlskhIh7-W{->!sm)=2@)g<$lSpQJ0PNK+vnX4N+-gLEQ$G3!KoI@|pF>B?DuIJNOE zX)am|Tn^10WCTE@$;NO^^Q@+oYg}J*GQD#huH~_GI#ST)T=YF}Yr#aI)hcN!t|G!F~N*dhG()=dAMhbS!JgJ!QlH12o;tI z4^{ujEs_w)&i3)aO9{cJJvgI3#y#O!g~)LBuq~{F@F) zlDz)XX^)HzbVsRwpoc9FPkz~ zZMB1Z_A``6Mgj#op@=fAOgiNmRy(yKDJZsKuEX($Mt%6Tq13+!5l4xhN7WDqS=QwX z?aftx!miKRdyNQ~K%*ES7IAqb>BPhhqT|2|;`!J{uZv?3Qh8x6F1Xf?s3M2u8-CVA z;KWH%ugnFdY{-!jrm%oE2w2srP4e?@qa-GhK?6y@-EPrUmOj+l&lW1+rC2D*r)H^v zv*E65W5fTu55`jcb=Nu7(0Bm0|6MI(%>8{PpcH90TeP@>UZXVzZcQytuG!#N4id46{Bs z_7uZm;L7sEJu* zr#Iga&-MlRT;23x@eNtde?}D2+0k%Y65BTM;7^-TOOX38j$9DgwaBu=UT~~A=J}po zRQsE-ha;0Q^npX~sOa!(U$4qm_sPI6hmg|E6NSRXlGc!aJxqdCMWUHhF3MA)PQtG^ zuO#fOHF?9BIScbsF^~a|*v4I^l`9#4uNa z+gP8`MFf#&eO&%_>Vt%&n{7?Bh;XPHp%hNsGN@G>MEKl+H3O~OoYb)3q>ADKI-Tz6 z&hIdh#Nv0E|4(Ud4z7)!vMAU&B#IPA+&Q` zNTJ1fB zf1Xfa;$fO0y}nB!`kjadu=o0Ob2rY~aopMT**-I&;OM!w4qGrCz|O!uDz1 zVxhN%X<9il`->G48w9-i18QehSAp+8#$A(mCEVvu_h*q#xpvSPsDrQ#DElF>vx(qW8f%~?m3&wIb{`RwY_~rYr z;6fNK%Kwr2pLmE9xIzm<2KcEee`Em|x4{LN z9#9;w#&KMeYeFIflVuD^hHBYwp9n!4o4f5Z0fP#a&67Ma2@vg|AaX>=5pwu^NmO{2*+QD-uOpNn8k;0ze!1f|A$5Uxa8Hp2M=?%t{ z1H};tLUq4iR#IDZGVMaJdBB^VN!S~b-t20TZ*PvbDm_Jd12)Qh-#!&dwvJr1!^>b^ zo#r;-1Sz>@^01KhYJ%5nayPgwX%k$I&~SWJN~MLhek8|VX3>&;!bbvdZb`dM!Vh=f zs-Kw;Zr3oQ2K4L5qCWE4`jump!RM{Dvve)7g(I{?|$C( zV%*XM=dOjQRZDFbc{lEXtF4@QHEw=J>?Q{=0k-QIf4V;p{cvF#5+mmTrEljGa4=X^ zO&pJzKrs6%iImG85#kzUL+c_(X2=+dvPfhcR4>zBSnlrr`WXX?{jXth0hvQ!_}hRC zFb<-BGaCLW2LsYM!YF~Uviw8gYio9d$piyq{kJS0=;i{$1j_L*Wzz-b1^I7D+&@_m zz}H|H&cFTtb`b!ubMpSTQ@iwo^;TP6d6FHJ8y2sok|wtTk!7l_|(YK|aQLXgH~x~E>+yW~gQ|nWer%_gctB{HrPvMJ+Aj5Wh=rqe2j=Y#Gcu4o zoIX3S1g8>_+!ST8U@x;mVo_pJLJ4^^^BiyYqIGO}T6l?`!}V+kn@XviD@^j2ARAzC zhIhd+s{&Z3Wn8$mL%q%jfAdJVV`WpA)3-GM^7XBY1)$Yt+=c1bA4uv6dgXcba1i9o z3_$J*?{{?cbb@S;jNpgtn!nQD{3E_8W_WeK&IaAZTG#Q~1D|qEx=PAdm%EA=%M1B`pJj$*EH?Ybjz{mUQ;+|Kar!S znSi)BxKZGzPZ7P>-oy~fbM&WUk=c8zSNBOJ|C~9ElBi3~vtIn4~>IXR&Rp!9<&`KBbe1 z%VDtbyRqHjp?TV!!#op`V`uZ-@S!jbIdX_&Uw?mlUtqsy-_JPR6^6DH)cF9E%o<5{nUw9*Zg%I+9m!Jc07&fZwRF zJBb33rdqI95KO{3zsb>P%QIB_+;CNVZDxMbXhB{p+mi~B?{ung=+#x59Q1$|0?#_-Pn9>C6$yfmT<_s2&KtJ4kzlxP3o+U%+P5ml0FkD#=+;WHhM6qqS)4 zhp_RuaHO#iC~cJ7=r0zfie9MubkBg_xPt0izd+Bm@5ziL6S##iNcZ-ZWsv>i1)^>0 z{R8#NxuSv&*vDo=tN-+=+@r-+KMJ17=iEPtCF|4qp)@|<;q?In2i|)*P@6eO2ma4o z6Vw2>2WI(%YGdHr1A@ZtOVPF_aRNXK1lWmbEn0~x$AyPcJ|)WjxoAz?i738ft>b$yZafSBxG z!vze#Wq&tEKF|V)HRaTdwKdQT&wt<%o{r2eP&THQdBrJyL-s~^M>3}=I%&scHjvko zG+7JGdGhDhvDxbl(J89)Yp9;Mxltc&HyzO~ZVZiR^3 zYAj;ZmMsC~LJmG*)_LT+JwbwJz&FF{C&>{w7(%Ddlh6RDNvZN>y`?J%*oUf4UOR(v z#<>-1Ru)5DnGv4AVdvM5&XEBoQP?M<#_UJKH|pI76}WL9l%XQAvX$>sI_$Hk=$?(8 zEre84!FU^irk4I2#`Qnk4I)i1b_=+-O*_Ay+JOC3M}yU$uSXx|oD8PAV&Ycf3h;;$ zV=5NJui$`N2?wn6+|%1gAo^dh+!G_^%My0lxyr_M=D|UHBkTc0viri2mZ*bv$oXSi zj{D{{Do!EOjPFl+o~`B3;|@PQ50`iy5%xd|Z73g#ZuZY)PrKBs+ZKZ2Q4l%S3En6P z0Dwp0-X70FU|N0owYU5i{AZ-}jZo6wfQBg=HVXhU-n-+*k`V^QImxNC2XC~A(n5hj zcK8B%4+|UX{6<#?yJ>uk*P`0DrHRm;Bi-4#^5Y&PDgS5gqL>H;Z|t4QMc0N7D~`+y zDu(%p+p`bsAR_%PIOA?9uUOk<4_0bADwm2dhBSRtw@^LjRjF25I)w~x>3bI|#>l)M z%m82`1e?+hqY;uc7XBN)sG9IJ-UN zHBUq?7v+FOkP=^Ds^h`-kDiR!kiPe}h9Dr}lmw)D?6z*&oxk%oZ}#Ruz#Y?9_>DHe zP+Uh$X9UC~&w8Wr}OcJ}P3=p&2SY?*-@+qx}Zhhuk-m+sWwWP?29Pl4y3*B#L?TG)rE zSTXOB+9wfGs7rZU;?t0xd=@m%pZC5=p0wkt833c8rJdKg+f zSXO`LFc>SN#?NeS@BC|s-(qWlaJHEW6zvH;4=Z-0fp>I0DCZ3{55|};y+>#Dj{ONu zf2_$mzf+|0_>{p*wsZ>S}W(%!}>f*af4>T=V(Zi;3{R7Fu&DmLFYS+_+K#@X!CJt`B>_K2vdV)pGFXCFQ zT+!K>>V`2~xs-y|^o6}&|G}H$hNrSV^%lt!AAx5yJ+Zi%cLDcqgVmJ7Gp368(u*Z5 zH#tqYIF2{2*@eq%(+Zj(QZsu%=N%$FYBW(E<`tp=@iZ^rwnEr$_kp}5z=Ke{RpuNO z^=4pHW?^B8I)bU(mKV6()(YL+6hIhtabL{u9RRyc8(~nD>*O<47&df?B72xiNz^Ta zvo|{OR#$f6PpQt6;Sx?r%c$4$cS}o73G8Pa#4a`~vfYy_i zhqe`wan2waCZFa^6PPr%kS=GY%^VFRFU|L{|HLt!FhAOJK>?m93FW+T-8uu`c5n&A zj_ghtr&6@1Q%vxja|Ul2rwR%Z4TQukiqyR(Z2nqVOFt zM%EAE+-djG_IHTaK&YieEoWmSa!4>*LDCJCj0aI;#JeM^>cjQWMli!oyUo!!A)xjQ zJRh^GAO%9(L#7e}9dZ$f8!R;JyuxEaiWxLw!=i?qcg^d67jm!MM=Kp>mwK+=^G`R{ zS-x=zo*ea&%L#k+aM3EPn1x<8|3q&&bX1?30; z!c^Ga^CQlciN_Cq*?MzwtbuF>jq17*E<+m!T7c_C_Vi9dG|X#psy|!Lat1OI1=O3NJ&0=XzG~uM`@~Ns0G@qS)#^XHIu8}LxvM5^8j(npRfe&d`;iX z2L^azD}QZJjgKzsgkY1f6$YEPMF@9LFmU~5A`wt1Ys=?-(>VTI7Zig35zK#?~EtER7CkY4A6zUhE$+wgezS zF=i=4HJ{Es2#y z2lUI-;iFg%#^CA}DqYI^J7`BASFQ09)mARLOa}w|QM^+22Nl{+V}E`Ooi$~eBwJ~n zsyP0{I>N6xi35oMN*_v&*v^Sy%tjz{^{+%bm`>9>sCk`-=83R4>tScf-y%qR*wSSw zJ7v%5d^h|i*HhLf?Rz-v_w7lKpnXEeqWZV*3DYuM0jrsgHyq0RDf`%TTf9UOBF<6gJAl@FloRWEG0{e_AAmfj*Zt%3wpV!MNjdlIo}mNjF@nUTNl zq&dZB+?^emdkCI84)i3wQ?xzKwfY`tD8f3^x!~l^;WPRUa z;}&o2G^2s(lb}klU}Zp1h1nD2EF3A2ND9l75dW2*$GPL*fvI6$6h=9g&Lb0=^Oq~n zKEIJz{M_EjKp2>s+!6u|RL*pXxpf1a#IKLgNt%fXOFOb}Ph@6TCbYk(3g9YN8rL;e z&riK|gv^N7N=nctY@;hrcC3OEXp-9E3N%kFm8plr;-NV{Ew_NqHc~7Wq2t;U$8x9gE2PQ4+=&(1{q1WreYL1 zEOSZmLyYvDf&>tb!=Ww`n-8*QT<&9_E2^iDo_9ZB2nh~d zm_0P&S*hA&&0ZvMx$BD)70WZ0*9=aWK#)bucS9HKV;9X)TU=9LN1&u_G^YX%-TJgA z{&()ZAvVMS!ZkxcJ~ZL6%0a_41PNJT0iejj@2?F&7Y1`T{z08vgKD%iF?T5!!!xp1-nf zIx}Ap5MH$4u2k}px!oj5CMx}*?!hSV^N;%ej`3rdkUy0+D2Kc`a--k4Jy8I#I&PDS~R^u zng@(+6&oYQI&lP*`f^^1&zVf(`2o98hA`vl`n`?|S36EB?!VA+g&XL!pcWOs!%a1T zerhTdxWXXUy`CER&7I{(ft$?YM@jX?Yk|*g_dpg-4!D&&e#q|e6uhWJmB>`9XH0CA zBmw=#3w-Hssk%Y*VSb){<< zPXTl(*8Six{UMDr;PsnU!gduKIv|~S98IPm*31p(BTXYs)~m*~m*`B;7_~vcOu#`S zJAS;B-+`l;0$1CBL~fW+8d$$uyk;48%^l^PpnGHuH2H+rL*j4Agnbf|ngX$md=9bO zgFChH$)3we=!=yQNoy4k1FHyq)v+5&Z}JD658ju-y4o%)LYS=?9T&7|Z4sBzig6kW zJf$B$%u_{D66cT&0v(n&^@~jbeIO3Mku}AcD_q4QDq>!@5YNMLnF_3QaVf0?L@=;K zVi3bF{7E@Zro1y&)f$Va*nPef=91cO;i|yhVPWWP>QcJM?`&X;4GebZOW6^M_Kv@&y^;_<4<)WbPTCK-AG`Bi#o!h<>n2F`6fJCRv5;4Y>iBjThz5_C*TPD zv`W?*e!`0B$_kTkZ!d*EqzH~hh#@P|kUBV2m<7D!`TY{)$5+l4;ZJeQ*CO6@U>8>_ zLX6Q9iTRj^r3_R9u#s&sTLAtlGlb^jT+qiaB&D@v1EKo-bjl#`=00bm=MeMx0EuS( z;zvmv12ffx=8Yn}rceI!ZpQBdh?rtZBvQ_di%I699d0I@miUM)$VuhZr0G1Jr&2dC zmOqdjx#cWmB^QL4GOd@eULnfhs$7Lv!?M_m&YPsePd!PD0)49Eh5_C11PNgev{Fz! z43UE*7?reb7^2`9&@tGxXw)w5SOo-+K=nL0L~t28S0Mt7I{qTm-Fhv10l2X%H>r@n z@799|j9;FkGdaxsxBF^HsR<<_Hsh>SDaTrKBF^^C7+8IVc`ty!Syg`-t4fiqPvn57 z=UA4Dpoi0!H|N_e8eqr&bIT+pDAEza{)nXcY(0W@?JsJ9sWgVuLCik0twfHprU>RJ zf@8vz=^yKk3OR9R=?W?VC6x3cX%!(c4I0?Ac}|XINMa%#7i&}&y;L~QchYfr-^@}nf)C#A8-Q8DKk*f@$Ep7IHVWto z;FcHDrB6zwKGLWa`QmcxvmC zdP&-$qFrE9^DrV-7?y>Xsi&2fuHdY!!%P$5tlE95i|9zlLotF-*{01!{9pTgehtQK z1#cz(8it$-A_Z88v;`k6R8h;m*r~{6Gejpy~Ivs1= z5*^&ZVrirw1J z-1rEn%W2fSX%mV&Obay-%S1rW2cwtIyoHd7q`{&kGJybESS)t8gjfp@=PH|@9MnrhcPEYvvJEEr-aExE1q|wA|;Y(nf$+D!AuTqExvy_(p zpgb1Uidu9+&(oQXURygb)G*sGADt273R_w8z%p9#>5al-OTo)< zyWgnPs}dES*d>WYM{=7JYyqWl$g;T9paQL|S4KxpRUW307 zQ=#h}oUT$mv>0RG^jL;Z0?>V589Kd}9J6Pq)_~cqCYk8h{FDN(JX48O}jYG-NsZeLTV906iqO`X79~=TYh0x!`R+~S) zqT7{6abj(`GrYgqmEfxd_n!Cu{AW#aW1Zq*J@OY(3jheOTLZ_{z8z+a7O(=+d}STz4HdW_60DXnJS#uqu+_gjmBi@ z(}^z|CmG8TCdS=0g%CoE%ypXiI7!0=1WM^B~^t-K2a=r8NB%SN3`l5mX{yW;D_ZGJ7O>3Dl-$ebi!gb;%10g z49j`rhpi$mDwDcUv1AIi(!UtkBY+sD3_3Gky}<5N5EtX!RnYly zY__xapJj@$?ub8nNBYh5end&&Y6e~2nsRhen85n->D6-5Ocd)hBcSyN<X4e+L00vq-HMi^#RPWutIr zB*gmU@XYJP(<~D+M~-VC`2; ztp~$nLN>ts8TnetQ;)Vb6wfZk9QI@S+fqVjF_9q4qGUWMaR!$>4N%q`Ft>dR&v413 z+-TQXfORkGJkTn3EWrszV>MA>r@zFO&Uf^d&5_*YHBc-FYON`rSMx~U~i}1 zpGbUXA`98>nkxvOZ~(m}UIOMK-Dm(|kI5*S^yaciyQ;7Z4oZ{%lLQm_*BWTiwY! zyzjIEnZbQY=lIf_-G4Tu8XjnU$4R-$wwFYqyBFEBzGlvGP5m; z!7avTJ~DMDJhRNGke zzKx)?v~JiQ9{?Hsh8R#&TaE>$&Xf6cO%R5*$-2~(3wz_Z&Dc3Q<(~*iXF~mf zDN!waL$zK_FW$T!2cj*#&J20!j;c+M9iC83dlFm|3doPO8otgWy4=M<5YVtChpW3z zGyP@qLzp2=XXqLC5%XLW3+%W#&&1jjj&uZGeSL<0=UzBgrz2J(rN6rylxp(TABqz6 z2(;X+AslK9^559CLX8oLc>z2Gh=sHKcOZW8egdx~XD;yL4i2_!Yf#CC8~Ph!w8aZ; z#?Qvjz*~`s&?au9^@Rby@DQuPUHU(SX8M|t{!`D%6Z`pVha4TVZqo!e@C#r025%=w z_os^(4$JT0DCcjGYf+Lm_4pm3wT_gAh}b2hv&8$v^Lv!%cTJ0~ ze~u*;oWw#Qqq;rOzphxb0w18Odc&V~Vl!OpRJD<%LHjZ~zNO^vAnf1#axfn&NX4ZE3mTdBTf8R|*p!EWr0t)yt8 zVTdBDy`_%{nKUs^NMXvyZ@FZc^i-L;Z`=1S`r%$t!mdw*|H0ky|Cn1)_CXm(2@6Gm zBw&k$ZQTl-Pm8@1iP+_Q85Hz_0=wll21F}gY;4nZGK4IIa^gD`sc&Vhs^5HfrE|G3 zoJ$~R$55!XTIXEoQebH)_`@VR8GaDL*YC!oBuVV}C1MmIfRJzeCQwt+)!CRCTuG`( z!hh^Zs(93qxAT+9&!FiyvaGPI7Hz1rE!K8YF+Fw&pJtt&&g|v9z_O zDHgV&B5L>=_2H@0WcJ>-ZLn*vmwc%D%7l;MS2f@n$ zF!q_mTc9&=I$aI(40UwyPhZahu=25zL{iY^?s65M%p8ig-K4h)z8hc9IKjLwb03Io zBG4MT&&N#oz!tuo{e?CU>QhH^$X~5GagtYk%v&u1qe;44kJnU3$vh|w`*oT$W=i&D zs9uAWW7IPD{JYBaooJ~$%LesaBZ@O7p5c_$=x?*`%?h02sZHKiW-(p|f)VArXF z6S8|>orFs{t_4_ZX_>m2Hd?a%h} z+!Y7HuEVATp`4DSnzIIDor5C-WfVb_Qg>lsM-(I3^`%Nr~;&-XqARWOXie-po6G7~<6t_?ekmE&38Ri%_7|YhK zaCL5*POd6A)KgXgRr^+Qwzd|rq?cp6Jg?8g2#Vj87emdk5ja$G)3MZ1)beHDmUMcW z8y1SArN%Dr#EeSg@M9cCG-o0+m?KSso8}t=8+RN_A4XY_*P=e5ttD*NzKA%HpA1g3mgV>Ys>9TAiHmh=N&hhy> zU_E6xZmD&6aUE{jXobP;In#1^7`mhISH%x3mTC6H{MQZaIPLtnN6Wj~PvqfR1(Gis zd$9!ms*rSwQFkl+)rB9uxb5t9l^WElYH@Jq#+HS2p@Ac_Ek2=e39NOkbbq>M`RbJ2zaS?I;^qYf=p zyH&UPkfSd=Kok#p-|lJr)QSJbXn=E7jPunAFUdp#1mme5NGTC#FZpp92EO--Z>TMEC2&HHHAVqNZ*27eg@db{*eDE`9qAPWt)+ekWugGCBYoT0jV zgR=id;Am;#3w~c~rujX=uhC!X7hESBd~CFYX|q~OFddim%oWn!DwAVy40ud%OxP4f zM^IV;5avEOYwUWOLL9Rt4YAtu2Rys5+|?V^x!NRIm{}S+$=Yd{0c)6jG-E&Gj3<4? zE(X(ykVEAl0jESFXT9oyZ!}%OC4nX?UK*XD?fLlGAixa?2^Ztn#QS>20Er2On$TTE z$DLHjXxtx}OZCt@K+=c0w{+kp6Ss|wg*JRjo~+T__Mr>P zdv~j=B@5!*P+dcO1%WDbKWt$c2`Y1dGnhD#va_cX{rS++ce38v2*fDo z;8eq(qpTkGcnJoo^HHI>pc;Pa#R7$&LLUTv_3u;!U>-O;DUOHe{}{~Vi2mGuo;~e; zKzq+FL?!6e$YPhPBD(#IxtWKZPiGl)q-F5-GK83gPNL*9zW?c+<7E5(cZvBy8UtD(IZmq!q?edPp>K;NLfehszQ z1WyVd_s#Gg6UNwSW{kmr^qQW|mVT!n;J{XW7b1M();9x9OYBzz4u)k4hj$ge6=ahr(GE*z+IQlcHx6{&eyzWbC=}FGT#?4{eP;1 zfA@QN{&h0WRJ!TRR?5Go{%fcn?Y#GM>#BUv9PKRO^Xsw^anEzy)z~h3Q?;<4UIfqB zy+L%aZ_E+)lS+&wB#49Idf|V#nH~F-M17I{w;;oO_Omv4#!lV7$Igy<3Gf`IJ}(mY z+TYM?d?n+(t6G1eep>qEy*hkI2u?Fi(GKMLJG2A~A4@O@%<>8Ll01E`%v2|9qa?J6 zPCO%5CXs)5Sv+2-?pS0h=hm#2!uEc=8D;jYQ7pC<8vuHO>t7%&cG?~Pm$Gd4AJu>4 z1pHHg{TKJqqXG(<9U!W44d|!&$^ipw7B-o0#9Y4l`l2<&`n~(@n+ge>#s9RQ<-drO zFBMSfF#lMU{~0IH*8GoQ$(33K355mA$-yXL{-}vIqI@&Ia zV;Fw92J;SyXy{9Sog)iq;y_pu>w=iz4(0=mY5Udt71l%i|6bgs>0Nf?%E|wwt}jr*C(+{SQDxukCNcQl|1X3 zFf=HFlm(@4RhWzTF2bf@G4Hfs6^}-y(zIA8x><-Wkx7Q4QwaAxU@l}WRm+%O0*!+k zT00-?02CkGc{^YkD+n5;i}pOO3TKnFO=AOqN=y=ibVZ?-pfoBbpDC)7NjSw)o-05& zwS?^n8r~CuwxK^x#9ZOdf+?wbSYken(=!!<)CuGo5avJSa;=*zBg<0HI7F!fX(IW- zlEX&Cmwge;Sp>I7?`lJo@yq}%M+OBSAgrU3ge)v-4uxD5N+$drX(A1(-=r8*d0z_v z2dCxHPCOpZkr9Jk!aDb8$Pa=hp=J*wla`#5Q85g7k(O9AmlGzt+ZA>a(EqWD$Z#J`9-30*CIajPazXu}}ECuySoQOET?dUbg5?6rw&BXf0d*n_9t;rj1KC}L#l za#ao;%UCfNt^UlpqL8Ye=gVzs^B^s-h$jcRUl)NuYR=?`Oh&fXp6@Vn_X7^M1dch7 zxqD>p*4M4E%;Fio{=t+l6P1(4#YJUa_GzGT|L&0#i~qKjE|Xz0#htHKkgqS1Rwl>xsvX_}k`7Fgx{q8F;WRd^4Pi_K9;pkSr{g=8-; z*jh1JeKvnJv;9Z3t>xp#bNQc5NWWapjTlaj5OW99<>qZmPVYip<(8{>VGcfI!HlEv zZC2ZtW?7_0Of!e6`-LAGULWwlQHMIBiN4N=4Kna~-~m2{j3)#y~~<%U_% zC;t^ra=|8Eh?7312`oj@x8R`Hiic?5zA`HC=~2AH-#(Zb$v1zz+SE8=JQeOA`EFgkyf9CcMs zLBN5N5_q(Q>_a>bRVHg)7z4x_uWU~aYKt?U$%aPhv$qgVPL3m(0<-E=)b+#fF|~Gm zmh~$vS{S8&EPwE4_z}$Uq$=%6i0QfsmV`VWXzS6JG zwq(QzAY80(pS>W;5k?6_J4mDw3Pb`=O-q0)80Oddjs*@CL2QM1xBFu*AA0lZ#P{MG z>4(as-s=Y^M*H(|qZ&4D>U=HTB<-ffvoeP5sS8X(%+&*EGGBe)F?96JGJO3N-=Y{@ zGjn+U8jR&Xj}a^xlHB`Uv;a02^_hX(?}|Eb5_x2$2-;(RUl}z{QrRocl~D#Hjl^15JS|K5k9ZAuKwgJ9HOP{AUT(hr9RjjZPG|0!rL)gREoffeL6sD+5QSQyx|kfwM2!%3AXbRO17aT zySj_pna2tIXAo61?}-Heb#d57tQnu?I(eqd=*7q!^MEo41L@SX!#4QTE2>#;K z81rBo9tv06ISCvCdzIK#)do;j=8b#+oe}4|gSZf#y0D7b?l-}i^JUDrBu`-|$tSlV zej=iM-Bh&t-DksQgcRqQMQNI`06O!HbSN6Zf%#yRTbqZ!PKjxc&!eTqi9E@+djiSb zHT!x}D1wFiMf{#U=`E(FsF^rO7jE7pYC?@v2pkF0hP4b#4aTqlTo@3~TN%RMW+f$0 z$H|-eM)?VCD-(^#nrnP;k$|$}jv$rw?>#9TNHYh~2OeM@lYt%{11| z=;L>Db-J_UWJNKauY=~lgVXzdnDvwi;wdtea+?`MpG2;wb`Q=!7Hl)>Pf7f-vuLO`pw!V%=EZ>Z#<{>N-J9rke$f}Bq{!cIbVPj^Ii_NQdQL| zd01&;j7muy?Cl+%cVIMlIP2+6ga30x&KE!9F8IJt*W`c<5h zMb1QKja8_Za~rxxp~JII&R)T8cV{n-4<-2|zHfK}`kIZoAc;!@-@(!P#mcV?Nk0CC zS$G(xy`ZNVPNPt8xEUJnML?>pQ^STr$PBblS$%O){{@s6N_!DhG7zgUsAX;fk_g^9 z3&^*`Be(JCLmgti{GM&mTSo;!Xr>{LSPH0~^^k|3CD0awBRDni;(VQj!pEyfj)cx2 zXoWuwh|L<`I;83=rT(dm%}DR`j0PCmBTyT875oH0FaEsh`278Au}fBUK<106kd)9Z z1Wn5fZUub(IuC|R3gU4#k;<=SUPVm4MK7~mF~p>C0;hQ=?<7~_K-s~j!9|Jtz(BP& z<6ec=?tggiC4AX*k3GV5EyDGCxWzX)>K>Nys6wT&{z8_ z8(0g~oY|UEFODz(T50FJXo{SNZJmj*03nq4~#A#R^4-4 z)Ern$oBgiNUB`d7{rCDGat=`APMm_WdV;Jz@#}Z2L1nsvE?ZIeFOOTfwco}Ymza`P?uPD8-*WkEpMniCU`UVYT6DtS@BUgs!fQ&B^5} z9vsk14$duZsFOD1icy!qoN!k&*HnMn@#3H_N$g0A6?Au9MTYeGLiF+b%J`p#1g`%V zO9rTUI+`(RshF8FN{i|8nR0Tnm@~0)7#VXK8*_0OaT}YmGjVg7nX)l)7&Du*2>ky$ z^cYnf99&`kD=|#k-rRwRKeP0IF2;46gaFh^Ecs34O_T6R5?1Oehl9J5e!>qWLLaV+=B^N zi!P@wx3>BI#;=dI*J;+-*B*Y}&YRbm5-S~-#u{l|dIXbsdA4cMMKSAIOB{K^%ixbX zMua}Kd07ZuT6VyFl%deGb>qlC(2)qiJUWimvFx-HW=TJLMD?+OvBIg~4yC(Gntg`t zYK-AD0wQA#M%M(_Hq!nyhTt?@|1|n3d9x7lr;x#;C;-%F5)mQT_?N|63zIT}Zoi0$VXxyE9Dv7I>D0jf}RsW=9Wo>amIV%#8+iUgrO-eBH zime);VsrTlJuEkca$sNh#uiK=7xji%QD4gNBWff?TDCYG<=}yF`LXouA6m$@y!L=i zKaxvcQ4gHdHDUp(>WLDI;!yzotThtG9!geF;(X2?H5YoR5rf7)QdXoV7vjkQC|-oR z2T1EK%MbsvH2+FRc#M6osUi3_WX?VF-w}g#Sgm_MfBTcC1sAuWy6>s{h*{^t)7-cI z5qZG`>289ZazOAqlGKs#dK65{U(%6`VA#Y1PZ8L~#tSaIqstk5;KH}q#mWkAyd@$S z805lG+^6P?ZgfJ384ON~1#g4GJn+c+g?dNAYMv|7dW)hzV%-&>d55DvitB+&xNp}L z=zd4AVo1L|3h7fDN4Ur86Qy`dy|O3k6T?^sVz6i96Zq#P<-*2zdrH%yhjxRq-PdcA zvIT%`5eAdD4X$Q}@SVfoEaZeRfrJ~7it4jpQPqv= zt){r`HggO(M;(GoH)78(uaHJ#wQZj09*&CAZ0}6-+)-0NcF~WS;2-*dRpJat+OKDl znJZ5UT4kiI%m!uAnICB;FAi79sJ53Lcp|@*@qG_9YDtTgWxo>CVJRd^