From 3848eb51cf1ea75ef10700da9c48850cc48bc7bb Mon Sep 17 00:00:00 2001 From: Ezerous Date: Thu, 3 Jun 2021 15:34:11 +0300 Subject: [PATCH] feature: add Merkle trees --- .../2.0.theoretical-background.tex | 11 ++++++----- .../2.3.merkle-trees.tex | 16 ++++++++++++++++ ....p2p-networks.tex => 2.4.p2p-networks.tex} | 0 ...{2.4.blockchain.tex => 2.5.blockchain.tex} | 0 ...-contracts.tex => 2.6.smart-contracts.tex} | 0 ...ases.tex => 2.7.distributed-databases.tex} | 0 ...ed-apps.tex => 2.8.decentralized-apps.tex} | 0 thesis.pdf | Bin 570285 -> 571672 bytes 8 files changed, 22 insertions(+), 5 deletions(-) create mode 100644 chapters/2.theoretical-background/2.3.merkle-trees.tex rename chapters/2.theoretical-background/{2.3.p2p-networks.tex => 2.4.p2p-networks.tex} (100%) rename chapters/2.theoretical-background/{2.4.blockchain.tex => 2.5.blockchain.tex} (100%) rename chapters/2.theoretical-background/{2.5.smart-contracts.tex => 2.6.smart-contracts.tex} (100%) rename chapters/2.theoretical-background/{2.6.distributed-databases.tex => 2.7.distributed-databases.tex} (100%) rename chapters/2.theoretical-background/{2.7.decentralized-apps.tex => 2.8.decentralized-apps.tex} (100%) diff --git a/chapters/2.theoretical-background/2.0.theoretical-background.tex b/chapters/2.theoretical-background/2.0.theoretical-background.tex index 0bf6f66..70da92f 100644 --- a/chapters/2.theoretical-background/2.0.theoretical-background.tex +++ b/chapters/2.theoretical-background/2.0.theoretical-background.tex @@ -2,8 +2,9 @@ \input{chapters/2.theoretical-background/2.1.hash-functions} \input{chapters/2.theoretical-background/2.2.asymmetric-cryptography} -\input{chapters/2.theoretical-background/2.3.p2p-networks} -\input{chapters/2.theoretical-background/2.4.blockchain} -\input{chapters/2.theoretical-background/2.5.smart-contracts} -\input{chapters/2.theoretical-background/2.6.distributed-databases} -\input{chapters/2.theoretical-background/2.7.decentralized-apps} +\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.7.distributed-databases} +\input{chapters/2.theoretical-background/2.8.decentralized-apps} diff --git a/chapters/2.theoretical-background/2.3.merkle-trees.tex b/chapters/2.theoretical-background/2.3.merkle-trees.tex new file mode 100644 index 0000000..45af892 --- /dev/null +++ b/chapters/2.theoretical-background/2.3.merkle-trees.tex @@ -0,0 +1,16 @@ +\section{Δένδρα Merkle} + +Ένα δένδρο Merkle (Merkle tree ή hash tree) είναι μία δενδρική δομή δεδομένων, η οποία απαρτίζεται από φύλλα (leaf nodes), που περιέχουν hashes από blocks δεδομένων, και από άλλους κόμβους (non-leaf nodes), οι οποίοι περιέχουν τα hashes των θυγατρικών τους. Στην κορυφή του δένδρου βρίσκεται το λεγόμενο root hash. %TODO add reference: https://en.wikipedia.org/wiki/Merkle_tree + +Η πιο συνηθισμένη υλοποίηση είναι το δυαδικό (binary) δένδρο Merkle, το οποίο περιλαμβάνει δύο θυγατρικούς κόμβους (child nodes) κάτω από κάθε γονικό non-leaf κόμβο, και είναι αυτό που αναλύεται στη συνέχεια. + +%TODO create and add image of a binary hash tree like: https://en.wikipedia.org/wiki/File:Hash_Tree.svg + +Τα Merkle trees επιτρέπουν την αποδοτική και ασφαλή επαλήθευση των περιεχομένων που ανήκουν σε σετ δεδομένων μεγάλου μεγέθους. Η βασική ιδιότητα είναι ότι για κάθε σετ δεδομένων υπάρχει ακριβώς ένα πιθανό δένδρο, το οποίο δε γίνεται να τροποποιηθεί χωρίς να αλλάξει ταυτόχρονα και το root hash. + +Έτσι, μέσω των λεγόμενων Merkle proofs, μπορούμε: %TODO add reference: https://medium.com/crypto-0-nite/merkle-proofs-explained-6dd429623dc5 +\begin{itemize} + \item Να αποφανθούμε εάν κάποια δεδομένα ανήκουν στο δένδρο (με τον αριθμό των hashes που θα πρέπει να υπολογιστούν να είναι ανάλογος του λογαρίθμου του αριθμού των leaf nodes). + \item Να αποδείξουμε συνοπτικά την εγκυρότητα ενός τμήματος κάποιου σετ δεδομένων, χωρίς να χρειαστεί να αποθηκεύσουμε ολόκληρο το σύνολο δεδομένων. + \item Να διασφαλίσουμε την εγκυρότητα ενός συγκεκριμένου συνόλου δεδομένων εντός ενός μεγαλύτερου σύνολου, χωρίς να χρειαστεί να αποκαλυφθεί το περιεχόμενο οποιουδήποτε εκ των δύο. +\end{itemize} diff --git a/chapters/2.theoretical-background/2.3.p2p-networks.tex b/chapters/2.theoretical-background/2.4.p2p-networks.tex similarity index 100% rename from chapters/2.theoretical-background/2.3.p2p-networks.tex rename to chapters/2.theoretical-background/2.4.p2p-networks.tex diff --git a/chapters/2.theoretical-background/2.4.blockchain.tex b/chapters/2.theoretical-background/2.5.blockchain.tex similarity index 100% rename from chapters/2.theoretical-background/2.4.blockchain.tex rename to chapters/2.theoretical-background/2.5.blockchain.tex diff --git a/chapters/2.theoretical-background/2.5.smart-contracts.tex b/chapters/2.theoretical-background/2.6.smart-contracts.tex similarity index 100% rename from chapters/2.theoretical-background/2.5.smart-contracts.tex rename to chapters/2.theoretical-background/2.6.smart-contracts.tex diff --git a/chapters/2.theoretical-background/2.6.distributed-databases.tex b/chapters/2.theoretical-background/2.7.distributed-databases.tex similarity index 100% rename from chapters/2.theoretical-background/2.6.distributed-databases.tex rename to chapters/2.theoretical-background/2.7.distributed-databases.tex diff --git a/chapters/2.theoretical-background/2.7.decentralized-apps.tex b/chapters/2.theoretical-background/2.8.decentralized-apps.tex similarity index 100% rename from chapters/2.theoretical-background/2.7.decentralized-apps.tex rename to chapters/2.theoretical-background/2.8.decentralized-apps.tex diff --git a/thesis.pdf b/thesis.pdf index d66f1d71c77f5dae7080f5c918352980d54c480e..fd916c7be5ac9775ac4a5b2ebd0924c9e1b7f786 100644 GIT binary patch delta 31212 zcmY(qV{oR?(k>j^6Wg{uvCWBX+j-(-Vn4BM+s4GUZBP8oe)l=`z311x?pjq>SFi5s z?$y1n>J!qmd(waq&?c~h7+@X{i~_*I!_6ru21=k&b zW3Nsg7>Ep-2w%X1X}(p%K_JBogCE8TFOlLe)!o+5GU^Uh*vCb6`aipA-T zijs^fI97`*`>TMfXa3HDw@2Y;xBSm9W6JXMdI>p)6{{0$TE43)v%HelhZ}%FTbF(t zS|ZYS3MAiBFHORAz1F$+(J2Awq^~&&IJ>yf+!nG z+~YZN{f_jN76;*;Y}?rB2W1%FC$uXJujT##&vq>T4tj(fO ziG||KB`6a_dQ~DPZ80=+d~(W<-<^)YlRsH#6>Zb0dCgqW${SAz2p!@ zabKdZGEQmbB!oQ{r|~bO0N?je%oBcF zb)FopArdAUBn5Snba3pMqT|nynRe@q>oN6FEheiCOY6a`UsAZKx=+c*EUM+h6y^}* zCdvj4Z@1be9|Lfs$&D3dJf5+no=g?0W6ANKvrr2&5`^65bI*Xo^lb|1kl_^8TUTqa zX0K}5N+R+%q&to(Qj!1b< zC?Uk=&5ny&r)TD5s5}dw5Whw~W1$L$&SIY!(gKEsEHPo~d0euLC1$<~wA*$_vc?D% z?tL_zFD`Eu>x%#~Y}7N<+pke6W;kFed~EQ6`@&nuUVln&_!UEvkQYk0nO#>GG}_mU zneJpw2Yf<)wMVejZ@*`irJmQ}ByA(->09*b+{;{_48a_Om@F*YkMb$`5Tb+{!N9N4 zEw?NW&k3iTNu!M(g(gQBf^{SWY1hnreOG2D8cG+w>q`P+pR|=K32%`i4tuIR(3K%gsgL;1Ul(nLjcqX}{yH9Y^FSN1{6U z({W#F9F}dv&;anRY9YE<%5lL;c+p?+*~sfe_Gqyp2S0h+nY@q#3z8H-ier(JT^KxQ z*&W{v`Kk1QJ&R6g>OY~ytH)L|v#UKmf3zm~?R4O4RL z#02jgH%Cs3q_{Q|JMzVkI1e$tF>^uFAuiFI-Ex7N*>irlPN_yq3F<9DNA^$`H)+e+ z!2;k;NLZ0YKQc=Q-Kovhk`Jsj0Gr11Q7DftBUlP}UNe#_7SjezGVb3m5Mu>icxNSw z<^=a^QMJnUSgfAwL)+92WN=0o405biz)5EhU8z|QlIar#FmVezB%tP}ja|vML zJBdLd;s~=Qz~HJ7$ebs#=3B7qBqHw_BSjcsy};BC=OO~w6ILXaQ`XaR^RJ}3`a_Z0 zitTu_|Gd;7I`_+M$};((yG`B35NCcA;EDvRP~83aHT5>uet0kO+x|@>aOq4Yks;&? z;5Ng~cW(Eyv0NvT4IX}LK;7cnj~vjR{M_*<_bGvag>6nVav{MXcKJ=MuwiL6PS0gy zS?;#bicL1V2x-d{EDton@x_=IVheVTVej7idmOXUMca+lQSt)1RVfrc7X2%Qi~7FA z*fr@z)#A4gmR6y1^_=1brahn-!s9x~uLC#f+@ zhj&_u@o{Pqc>q?b15-|4$8R|GBFB-BgQ8eRk)+uVx$z}su1lROLWGqX!$;{H%C9?5 z9wXr7@3{^1pv%;^_?00S+UuAmXx?H~wBIW?n}(ZK7k^fkP18MiNy{aAZ8D}l(Y@Vq z_JGoyoeD{s><{41%xa7Y+&X~BN^b0i&90?gb&Q>UO!fPIQjyRVjEiW?CY%f6%d2f6 z)r!RX`cbkqvKQ5(-M55b8-^t(LFh2r^AtA30d>;f2E#Ut7yCmOL515i1$tUVjr)PK zbh-EQ7MbvB76Q)9-t_U>{GQoUQG8 zP}1P70j=QRSfE_M@@7y9G#-wBf>fB~&0LL4ja-e0c{qVWo=~i-*8jlD;{q!xq2Ymz&7gSbEX*wbFDMH$YxqCZ zRv}MlYc^2!{{aQCaIvuc@0zAsYwBN3gV6Ir^8t2uzLFT&7hZ5x(9OWyS`a?u;T-Ci z1)qdTc-&~NrdhW#r`)YSHQ&~r^5n3mo4Sln@#2r2x1NuuyV2VV$#4gl!dB>>>y}@; z#=+XY-aLk%A+4b=EoqNdtWgqZD98oDGetivf5>?UQ`#%g(K=|*CfcX_W&qpa$`%22 zFKjYa@PFrGmgOmNT+&Br*7pDKS8(SuEd8)=xBUB5@#hD+8kd=yH#`4^Gi;x(-KAh7 z&5@7`a^@D?4B2P4_znK)$eJ)VVhEeJb1r1hLgZeZs+@K3$%jlOW;ayMP_4!MX=R3i za)3kf%h@Ct<>BxdZHuTqGZ}O={@)cq=i~e26!DXWYxwDV3_}oADwD_C{A&7XWp={icTd1ToPq9v+rDR`4yJJYc zp~Va;Qk?+#u>E6zkU%9q!`~@g9URnEp^kEVwtU9qS8m;clYP7<@hSwNfn-sq_MOo_qf;n71m3+s0E8W=icx z?pnFPzv<^shIIDFaAK!OalyX;XU`D84;C)$s5(YdC)3sv@uC8$=FL5w3}GT@53!8( z35jk~!DVZ=!6uAm`{bOGDXfvg7zpOgVuZAsG^Xub9>T1If{jqnKV|8`1kw>ItK-yt zhdlx4YoyBD?Js*sqvCb4Y-_4)X2^-Zp}j(y8iv%B=OmQn#mG_UK>H8@m1I7B1JJqn zt~##HYUi*iPPMsa6w@8*n9qio6z=CmO+^+PtRh3zmhq^j#Zsdqf16S7{bLRn_1QY` zJNt$(zG#?@dIG~6zwuY@V|@41_wnP!rlufLe|>bm(n3E9WhB*LVs1>aZE8o4XkBlg zyC4A`s>U?Wg3MV$PCI>D3HaC zlm!tG?7ca<+Z_e~k$7~jruwf(7|~ncVVwWi zbHVIhDsKKL3Oa&6!GMg)gQXao7JKJ|ylg{$4vQ$z!1FM=kkL*C2rf3MIw$onj@tdz zRJj>edwKN*zf{`qw&E}gF%pk;9inl~tX@j!_&q$Z$U!ZSl3-P3NqEgc;u%0p*j-QX z{`2N{DA{CrXB>8r44fqE*@pgsizyTf#YN4nN;tSdQQ&T1L}ZrCjq)&reP8}DOw4V? zk7JVu(#`WJjO=YOfB}6!-IrO&Xs6N;Z4`+@^N0Afg-waJjXz!CQb-PiXyP^eZse4D zCh2S07iJh|p6q6QZlOi`3A~g8{`2>g<{5GJ(!d8g>OT2o9fm>laIM9FNLJ@IPGXXJ zhfO;CVg=q7cMkr}W{wi`&gki!I5O1Cf$i9?6}T0nBGYw0K)^ii7P1&VN9q}^*@=;s zuAnFvvQlP^?^~MTrpXH{n1{piVohAizSw#@Q@E1`H8YH2UAoWC%2bFCN$>QLpTaxY zmSZ6$U(CI*gp19Q1l(0A(gt5IqEk8{f$9B`(qZmApZFK*q%;49`s3sr&1g{zX^=b1 z?DazK9 zO@M!W(?q)8DB~idT5jSl?`>^A)#FEza?C)6H8$!C5EeodHlFL|0a1PhRXXg-qB)~- z3KDo`Q**@#>?H^fP{e=EbzT$`?B%RUTzJ)>-#V%I?F961ySIN!xYc_@)vN(=qFcaO zFh(Bc8*;UU&pl2+H~g$bjx-2y1i6QrWlU)KvgMsHm?^6$V3jZ(-CE< zTB5Q)f_qS8#>g(&ckO7=_scCHqUZCGNi_(n3CI!#_5+OhziAl2&cep>zcX95E??Y5 z2kP|$o$j_y)gTu|pCc-9yHE$n1|*H`T910<$2aAE7k3f$nvY}Ms7(Ss(zur|8~)W9 zfXavU;-}BVb@GC5&hf(i&Qm|p#Z2zw!|0jAPHFEKS*|Vjd;I3vyW3mF%(!A{?HRv( z=?!4CmucjeL$p_Q?%kW&iUHF|ch;Rb%eMJJwjN;O<>YBn+|sX#;o;47L?iRm=e0|^ z_RM+^(kErv4et6b_XbeoyY^3Bl5A*o${(n9UxWzp&5lCTgIfJLo}USFk*M2l7&RC_rBN{ z_s67yz{*V97xstWMmQy_`N(oZ@6p0$n!Ts;j)+A^YJR9L2~p}3+gRjs!dWO?FhjtFLy^VQ5!D{y#Gj^%GwEck^@DV-7{E+K z?f?!$SN{bXk>j(0@8)vO$=GOjV(1!GB5^K3HZzgBP-LjduKZm;zqxGT7`M0KpY&g$?~;0Nxg9lu!xlCB!9HE%dWu2Y{E<5174JMJ|u&9!L&$$hc?qgRgC{?hUxD*K88T z9fVX~hA0(yHcdncGp5^klyq?58(2(BUzNK!|J&5dx*0oT&k59N^jQR|I|7m{d(Wm~ zL|g$`v!li)h0MHk7A9fM5m@179LG9dOO~BcM3sxe7-_bXPbq9rFeu5y4tPa)T$eO& zxW>Yc114hOS`T#O-2MXCTNXr?)0$Vns3J@ZVZdWOsHb;x8%XWP!xm5f-4(*Y3zRxc ziv$gQMND6ja)F%JvtWwhFq{j&3YTEX3)E))+8zV`=w>ZKi(NG#k=~5LD4k z2gAgxej>;^-wD@SzoDvjIjAt9N^*v$j>$m(IS~6|6~eEZ3_)+3spUwPBz0(sXtf~v zVwjmDY9n#BTj|2iPphk@C<%pS;j;&8^`MPa7VZ#EiyUW7nP#LC4rsr;ay`%uNsn>i zNvpie6cO$cUu}Jo#sN!RX*ytb=La7%B@q<+fy>{)Y`~6b5^)QP6r4XsdBD7|&t%%l z>$*Vg<;Gj{6OA&qMhHed|A1Sbo! z5qtyO)9Mq`UNdVx9#GB>X21NslH;$@$62stfdxXj=HQN-)3s%l==#%!Y_bb+7W*Zo zTE5BdQq@Q|1|mcyF~Q6Z_2)q&2J30)r;kmD>v(xk!~HWI-9f1+Al%RVC>JCM#){j= zmdNYAlzFtzH}FU9G>Kw&jNfl9QVw_LKCYG!(&Kl-nrCHyG(f6rWqycCfJTXq&basc zFhZ?UUQ{@#wF@a~OrS9*t&Q(yL; zVV*XcD)J`+zW_{6LlV))l%^^I1#2M+C3BFxA!C++i|CG7>rtG*CodQwuzW^o#GQ3L zB3pHr8?;=Dy<6p+!~S+JESfWZRIz_ZlAT790N|8NA&;JNSY|1;>Gk%8X!IIX@PUh!Oci@8tlo+luoKl07_`$Kwock|R1Tr4fV*S9Ro;*3KYtuH7yY`2RX+=cSk#Eq+D0HrB=KAqs8 z00a)&2uaI9qRRFlq;Dt&yPam4s7t60D<`Li8VJ}^5+aLX3=7$Cgf$8QxjQR>IMi~H zcD`3!!fOF0jpSh_YbE?aorO3G$i~iMBqAov;;hq7j=d-&Thc(*{nIDo(B`@=TU-Ilhn(>oK zBU2@Af-2&2PlVPYo+yP1o6lk4b%4bY4^|MQcE?P{H|kdRMdm&g78nHUc~~j)-gpq+ z-I~R|AM%JzO~=Xo3fl`%S&V0b1#xU!b(s}@t1gqSUo6bHR^kzol=<$S?E<@WI*PQ!*aNl!$)A=7IP_^>=b8>TVy_`5&;ShZq#>)M zD|ASbT!M0^9Iifm;!74BeFu2#6t1lxNyeYpMf+oKig0SI60z+-`Va?B)@uI~?eet%b z=7hhet|$;j{OL~^zbFLhE&z$v9D(O7&qdPfe$9JnHiygQy~wUH)df`)>Y7bfFonxB zFxllra||;N+#TwprgGujZsMxBV6G!iK8Bl=4UCFcIn^Uy(s8!Q9Sq`uX=nYm&pk`4 zFDp_bv6yzviLB{%JlMl9zRYa_qQe~W7-ETE>kwo6qZi7`bT%85Q2?d|j%HaQHLaM> z2P(q7G8H263}2j56JmESWn?1yVyu5!ho;;ePRbEfZA`4r1lf56U1vzXfKk0$|C;{Gl zS7+|KZz-p#AjHHVV}R$(+?wHPJ9{+itv7Wss}TndYH}Nx;ocYC^Yp}l!pq790=jA z8-UE`LX9GNu_LJMkW#4@E5TZ{j{Io}-3-=sQYI?i*<>Vx2e1?hrl%fb9F{Kv5(sr^ ziu80)khYWHt5vo^-_mR14|kQ&>;d6R%>lWR>obb%HgUXWj+@u)39%<_B3F*C`a#28 zlgNFL38#n28JY4LyROqKaQb!&y%!p*5g~MhO@t4Hf{f!{8_~Zq1YGXd>}CSFeB8~M zLadEm+F#!(12F1sp(D6L-yd9+F$erooZo(R{3+x3n$h3++v?G-FHX8K0o=N+2p@gOwuO|~QZM@9=;{0+ zx>1!?RS#7V{lTPkO2&pPMjra}2~s^BucUCdnmcRFc0%C92=;g}IR>7P`7QI1F^S(V zDXD1I23g0?KZ&-D#G`iX7DJf56U*Tf@>GScA#|lA=w7mXp3wSA=hcMqr!&_OY@t>5 zesa9#5}><>FZ;;v$_BJh&@>xLHN4qphXnb2af%U@GY9z|mJm-1|9EjnmNT(a3c&`JOerJCEIc zS7bALeScVNzk&GEZr<_|j3`qhCH*$776z^W$zIc|s90clQPKyv*UP-MqyY*{OEqv#QdY>};= zqW#P6@XfnDomBMmoLF7-+<9zwfTzt%0MPQ(=I_$0isd15!t)N>k##bj{lTNfy|81; z+KYTnd$9Jt6e8OzSj=D91{duQvzH}$*_ZlIk;V{Tww*Ch-#T2#(&55d&qO$NU-IH& zHnDw&=%BNG(NoUV{aMkrI&k9v^k^@g2j6+4tbOXKL2odQ|LL5JMeETHJE0j|0q9y- zO}r&XcN13JrBh!W+L5SrSu^9SAOwRJLKGm|QPJT9XE(vi&w!%dcXcA%$~+4j)F~6Qw>V_=WlXc!&U{2c8drwm_bcQrin!V2iK3N|=X1U>AJS{ky1D;S zSY<@9hNoL0jq_aCg>`hc_b|8P3~5qj4s~((Nv905pOqT^7@hEm0O@=I8X%D7xp+%^ zAvG+o!(xC6&AsSRG^TH<$%mQM$U5h@mvpcF$g)A0`6aQ@`$)qYO?Rv9EUbog>81|x zXU|;nvmyo_&Yydm=1gG4V)TYsbqDVD&|?@Q+x8e(RlqW7;$$uSGl1P>0xFp*fat7Jo+Z`^*RTF{((mS zpO*lwNj=a(h@c$*?aTB2fhI!!zfF4o4QMeRiduz-+bQI{nhX4Nz z3_vg$0od8t+5dN^VoOISZnFi)@1}Ovq(q3j%OJoofIKWSPuP0MOUmZ2 zk-0mkTc&65Q-|fZ-%NfPs+->E5~n3-tt1+S|H->&4?K-bx&$XJhs?S}ri9JM-;uJ_ z)5Wwh$JJjpc!hW;@+NWzWd624?gE_T2f#-T08UhRKX8k|a$;jxRk)zGv|X)9`ty-1 zagVxfs_fN-n3jcDuSJtmyJk4F?*x(YQOv=K#k0VpgSj&UJbKIC%F3OF=PT zctF78M^G6Z`JlTPLAXIg36WwXe=>s6zUPOX{sH#}vqx4pbB=)~uT~d@fimP5(;>nW z0eFmaZi8oxxPZ>)p=a2NSO|h@C(FkNkgNXy>9^d1h-gvb6)IA#38Y?~X9t}H>kEUC zYNOeG4f!&1t92w&yQdwYgc1U4gGhiXQN)Iz6HOwX-zRl@W;8-azrMB9fNO=|r0FY- zNhTGHMF*AsogWAp6pal}0E#i9GE~GN319+c5C0*GMt@msc(IFSA65^ZqFHAS(-pKW zTI704RNR2AYp97EC%RB(qz{=wnooC%#(+>2!0Ii2y;lx`sy#tT`MW-xH{qZh!&L*W zurjYI%#7n#VwHnehA$-?H+G+TD5#=P82DBZbv~;+22C=5Ob(nkK1xOYQ-IPz4#g~&KFZr znv8^=FRNZHqB|f45f+-N2+#W2m`5Y5x+n+kRl7h}@S@Bq4?*&wLoO(U5Ukkid3W{v z6_7_L$m>lK3+4thghnr!+F?ZA4*-A0$M6}KT%1(ikvcOClrn243-k+0 z+lUe3pou<2d=Cbr6ZNAO8A&mafyPm9vDuf6ef_1E)PZ!?Y^?3e;XoDFXFEjDirN#G z{bNeiBZbqHTTnu~5$9K7+dGzHXUz0B*a?M?yq0GsVR|J%vGS5_XvG`(4lq{}0Hs#M z2eNl9W(BIBk5d4PW2xQ{-vjo=B z*)cNhfq4gv8{u4T*2e(fsRc-G_eJd_CPza{v3HxOySX;3n%KK#S4e_@hG1LI5WYN>bkxApha*Q6#K z)&0|#3;(n8cX;Q`4d8i3@b&!p`WjTxAY@(m*`x1+7Q(2HDLO)`&LVlBzi3(vHJHhn zDnsbSS&Ya!4n6pA)RN=;v-jgKz zl(jV6O>5%&m)h@|s+cCIhXPaZ2z-P@$M%e9QmGgA`6sasmjUKaAv5$`p#$-{GpnM^ z->xFnJ^mIM=e6=^qe@HCY$;u zKT+wyv(nr`Q2|v2S&rO!y^!cj#Dem z*)zJM4OD455)I-iIeN=tm(_A&@xvM|2aVB77uI>kfD%%a3bNE<8ww!itOrA3*l;p7}{Mtj;v=`Z8A^8GpZWGk>FE0 zL#^Qm+qm>6jTu#8c-7!^N2GaSlbc&CJ^x-s7%-C_8adTHH)?@qQV=pxivC-gAV?z; zJ%X%>tposZcDISo?)Dd4Am*`ryg8KX0$)c> zA{hHYtU@tMhwjjkQLTWJ1jQ;x%8oA~IyY~!XudRBER1S?Bc`|zDnvG%v#29}j@pjv zJtv;AtnpLN2aR)}v zfmy?<-Hsk}igcr~DNWR^hDal4A;jy2mW&|I^TrON9$q$Vtpuij~a(;0Vfw5(%)FFWD~f!Z-YN?M0uwU z%X3@~{{9cQ*Gp70*VDN@zTDeCF9l!U_U_sC?=C)DM{}8iDSM*Aqx+-yuc3CEKLF^8 z>VOK5&F6rHgt|>jcfFQ(ft*emI=f9ur>oKHHm!Z{bN5YFCxItE`>b87B_ab=MaUP2 z$qG3ijICB@Jnu$%_amqtrDDF<`Vijz z*`r$wySn7cgwNjQRPiWwgZa&+3Bbog){A?g|3S2~+2u2=`M2$-L-Tm=a&xc3)Z>C+ zRi{3!tUJTz_1r<=R95x05z9%1%j)E-I8V>moCymyKr@r%vJI=~XB^)(%-PIB?7K+K ziO|_oqMB+*Sb|d7KAn2r?^^ai((RX0kkd*da6uv<#K_jJ`hgNHJ8TN25`erZag+AB(!Sm@35}m%$zXltJsa)bDJz`D=UeW$JqC$)T2&% zz=w(t*nk;||00ht`a?`BgeA@iE)3NaN1hMI1Nht@hwG;O~P$Mpw;jny!WWS2ktlBxBg*i{qX1l36)_{EfgHdxsBDvE`a1&J1^6$xPfvWegClq zUvV`Yg^8z8DnjT^jjE)t6#;wsebzmEJ99zI`dU~!CAYjM8UBF56u%Pz%lf=9|eRZ***2_LoWs<}jJGA7A8dE%a5;g=@X)VS5 z_dXLtxM5+ilo8Jmuibfm=I&sVLP!e4NxPLbr2f7}?hyh9>r9hha_^Mf*R@NZT&EcI zq6;Gr5a9Eu;N)U)P>eM)h1$DmI0rcY6Ha=$cC+D<5%DYiZ3O}Z4{K?TA$M=8)~9FC-A90b`kVUyAqU;`MhT&UEyYLP2_>LiH`HVwWKetwmqR6-6_h&!DtZD97d zv#Dn!0R$UKI)Z26&Wkc6i?&mR+pM5N=dI#gEP5S1ec2wRoGX1hkJtL^CYc+`^-v|b z*}bS&;Jf(6wj7HHow=$?uRAJY*DjyBF5Hp_XjLp6oxi5Zo;k zn{B|Uv_>y3Nez;bj5p0cSnBhr-6ecHK%SL?0O8a8!;{iJ5!7fl`A5R2I53YNH)tPKyOSGl%Bu8OhLlM`sOhhkwc(;WtMK(>uI-<% z8zE)Z179`77OqS6)FY-Fnhc4`b`DRON$;2_RKTx>?HocK{au(m8ywJ;Y*d-GGea9m z5*4V^jZ{g*;tFG%-LVcFpB!F)1vtlCss^@RGYhI)ukjaJcw%6H6H(?2->9#lr`<)EQw z)UeXp)Hc)pxsfs4VqVWS>3#`jjby#zC@AJv9kX1qJoji4VJ^hl8UOVQ6R?_i-GLU^ z`}d);&>}q9-EGy?Ul=#B+(dZ)E{eQzrdX(*A<-?<@%PxhA`#)Yxlu^ot%cR|Jdet0 zI)A!sn|jnn23gJV81ekstFn_DnET!x&c5L^A0rKuI;^*<%A8fXX~yg0o^>ZLdIvIM zX!grHufRW`LnHEL>=JiE029DW?gNI}97pDgN1uVMJc^gd2C);Se}!c2!VG3K(?7#i zg9v$;K~xzpp($hHWZt+-;>26?^1SpiHXkYE0iJI~37|t!hHDUd#tY0$7i+PJ2wzf6 z;a!PKxp)`$c7(4n2$$+@F$^5zyA9J~UIfn6^fm3eR(m;T z4c_qO+RId`gwv_+#o4BTuc)!&=(Kn}n%zn?*HG_NIbng;YcXNZG8J0m%u?Lei~|u7 z-wR;%YCJBxuvD=V=w>S>3r%fM0}kspm}%`J5a+tyCdz~vB^9yuGX9tUtatDMqsQRUAR6U>;3GicDixTMAfKNv!!GfSZUKAM!w~Ypi zCKJ;LArsTUUZtuAq$Z}8|6^KVAd8f#-m3k*Q?s0`rfMNvQwi# zKAD)@8l5@&+bnsXzL8mt7}1wwjA9H!s)#e95ywIHT26$tvp~rk<&bkISAD5Bc4gDDrAe$7`j0i1omAqc1?nUZ0vih=F6M`G zn&6Bl+$#R>^J5?mEDQp$py?msh>eBkf4jM!@}zw*GfLM3 zhG0nrEiogx6bucCxVX$4=^4Q#MYCG8S(fNmPo1oD8AY9W7a!mH-Gj5H^-823 zA12p40{AX^(f0VR-}(cF)}SrR7Ps?;{5Y~vccz4vuQviEH6<87n}^Szei1-Ss)wD1 z&f1G)9pEXFiYW(KMy2p?6Hly!w1l83Wbsr=wrX+NeBc~;q3<`3O9OwjlfK4Fp+&=y z{>TvVV_93r6iYm&C5C>z3@}%KPc!Z;rDR-=wHdNy$+H5QIKTXrcPL@}_yS4C%enrq zpYb5Wzym9RV7LHwuK$P4rI#cem&uG0dh-EC)LKD%iw%=NN)A?!Znbg6sa1X+6Ocs8 z0mX9|4=_lRbmtQ8ZZ$3(=xhl9&W{V!ji4I7-Ob^L^mUN?!^p$%h? z&d1}f=249*jU1G(TB8%$8~c5l%8lSx))9SOJ6#jS{WFFgCsU8B4#2UkEfW}%ycZv= zgSt+ptft0D%Cl*gIx~Oyud_XA0h5chw^=M8LG04bywjVr6f&5MN(n-fDd{je8UV&- zuc-wTLyi{2D&8~_ObJFs&gc)iByriO5^_F@D9OM&>7E4T=-t-0WG`eXB<{3JO^PFN zeSQ#XWPC%w3QC46Rcb2Cab2|DKF7x{J1Kiz-Z*BoSffj^JZnjL2wx#$r>g9Bjw`}I z2BQ$}&`CwZuFDGhO$NITS+!E7l5Hk&8cCV}cQRWzElhsX-zxN}6!e|aJ@GMficp=x zApCxO;a|WpU6)!Jk6J&`KP4;|9h}FM!EdN(9uU1 z$0jWnNp+TxLf0kS#Gr}kc1#Vj!%@9`VS&<17^vKO`eSL%wyhR32ilM*-y)? z&^ZZEHGzURlLl$9yD8&_?j1POTO-VE*$US@ZN}MiJdgGaQlehwM0urT zT5;x}h`3yq?W!KXKr|U0y8lOcFdkMQFEWfcKn~3bfAo%zyfZ#uLoNqq#ak(r&1xfBeq(8rCumt3a4Dwe>+`~jXJ|1i;_V$s|zecYg3v$&*DR!wCmcqy%e zynb`3LHRI#(Rp*ShBsQIf-veNKIL_AM>}ZL-S5b10MwPKjoACCir4A^vzC@O0vRI) zAXW{bFZcdTc2#8@A7Q>UFrSZkEb3)TBwQ8QUyCW;_pG3QNOcHk;Hz3R%P4g15UEzs z%(EaMES)kw8VfGLXYFlkqXyE?o<)w!gt@QFsli+2annsHZ7!QoU1%l69P=OctI&<| z$lTv=+P9_}>uN7s(M*n0Y;jJ@EYC3l*4Gp=$7x$a$!w^@C|lW@HY8_QV>x5p6QP#n z_;l*3JJ|6DJDq-}lJ+~wMaJw_2N~4Yk50l%dVajpW_%`-Hj&n%9od}F4%;eITw}dh z?Et@3n1uJgR**$wRG+y~YN@ujuO34EG8As#KeKb-F;77Ukah?y4G~1<`iZ0foMA99 zX!%0Dnp>c|H}{?jTtEYUQ8i6!_{oVbN@DBuzYS2wgrv6jOP3Rwb5_LuL1}Js;PQqD zdSvJW1*_a)vG(v9gdKOLosKl_-319^;)x)TomqiH?0-XFTX8y4|yN3qqV&+}IX^y&O9!8=K z{+lve2-J;;_a0iCp*iJCV~s{mE|HB}1s?>!gV%q{z80DUxj@)1Wa!}a%6lywK)1W9 za(x}n@v2mbxd`A3$AO@+tC9RRhUb8jm=aYHiauUcjt%7#t zK+)@iV})kRM7P1vMm)!V<6JK0zc|)QBWLTx(qfwBfM%*M& zep^flL3{W~e^YyPrc&R!(OfCmw|i@-yAq&u)6PBNroau$<++;$GCR5ak3r`YI#_xq z&|`Xuk0@~=!M&-ih0-2!8}*|DBAQ*^N>e~%etQ=`d8BMJB7|)j1f>Oo55T-enRovXFn1*EfgeZ@l`^C+I&SHtK(MUcrLl06wF` z;6Ne7-Xh1&wqjtwxPXG&3C02IQ^0C!tEx_A3!Cj%4f^4UB-5}GU~z!7r72HM}1V;_i3wsEBQi~YDY6;SAtL5!@~VL zmtOmSyr63?uJ_|H!L4_ z87-L7CRaC)Z5W0E(fZThL~jFO6K3}i)s?391;*{~{SZzt3b*W|)oUr9m_{I6a1&W# z-lOaONZ@(f>K0f8?}(l@A9H5gUd8z!WabdlOik`e*VhVvXpqFFq^JNXgL2 zZiUmW^PtNMcM|%Q_=?Zh@LLSe!g5-RXHdu&g|#0pOe_tuQ2?!o-dm%$@j`eb3Cowz zZ^r;Eft(a(U~_hLc7&7A?5djM%ui)8{QGOIyHS!aqKQ<5j?+@3P(uonEX4hO-u|cv zAb(sUkUZchNR$8}Jl^erbKDkVRG}q&nZ(c7DhK4FJvC`==16hn7+jox($~M|<|eW` zG3B~BI$S(0V1h+LW_p=Bve;~( ?UK_4FR>a+_wE3*gq>J8eeJ5cSS53%^q)p0x<0y0p>1!b zXObBAI-Z8367^?dO2yiCd4IEFX2yv^U_z-WT~*o8{9iSzaopvRXkNj@(NCuJv+tF4AM1YlxhVf(+zpi3`k50%BGC#ilZc9ouxz@5Rw z06#xJNi0=C2oMHMtRzoLmz-nv>~$CU`UG;k6G=#mQ{ECf<8;${u?}Lwd{8IkbTnKy z2aWsdMB<2Fzu!F{zq+o0oZoYQNhyvmI-lCN9;=(&-Na;T^r9pIQtX|b!|R>H3k=+| z!|P_3YzNCc&$L&|li^Iyp-QCmOPh)Q!K0F2(U%nLkLQbj$y-@%Mz*^M`uHaq^PRyg ztP^hs7+I^gq2BJ$Lw!ktX)=5ZFw5XcjF9Gk@1~WA&WnzV$|DY^on!A@G>bdv`@tKDRN%!T^mKa{*vJbALM zOj0dOHXRG?HUxw8;@i0y^NNUo>HB_q=FzzCjtw9^hkx4T8NYXkc{OG7S|{oMc&u@6ry(LQk(;9`|}-%3@`%sq%1*LW4wdB{ZU5ZEYr;UY2g#3N8n~KEU})+>C?0(7)+5^kVo)l&<#mi zL$u~wM(T_->1q?&nKZS?0b59TYLO_U3RQSaB)V|Um9Jh?O^G1MPCDM9$Xrx5gZ{%3CSd>_dSoBy_ zfzYAcI-@a^H+#GW`JHhTh%}Y_-TYu;j@fng1{>~yn&h-153V#rJ2o z_3!=<`5p37@~L#qr;k^uk3w4p2ZjS#Gm3YGF57GCug#?5viV|mIp-Yyiy{s4Fx|X< z?{*Q<^?1BJgnK@OZsB^Uzor#0YTw&@3YrgcYZD3QP= zh(WTuyC{w98_yqYUFRRDTgDj`w9hs&9a{C+qkM-JSM?xpDwlJ2FPf}J>x0#$JJWSP@j_e_i2NFp6}u#{NrkoKitH)J-NB7u7v#Og9ChMH<<`sYV@gr`H(bCk8oMIJHo4an{Y zuSlje1xKy8%zCmq;zld}8Bf07wXAl!1GEZiyt%7tm8W~QQHm8riU&k(B* zk@T)0q&aH86>|2-hW)N-g_1+iB;)&&uIHaJ=u!Khp9c#(4hXv-1=bYzh1YwhGAA8s zRV{Nt@hFJwtN3pe_yE8yerJbk&OfQP_}X3O2mcu!mb+~;Wn%EY-%8M=18@-Fa5j&Ny>BkJufOu z&J%m9eBQC9&4Mlcf{I}_@Slgds&2)hSrVaap37 zmQF6sQ}WTlf-yAf3&8YQOM-JCUndAcy84SyJjOeuj)>w|np4c3q=IC^B{e)m9QsGp zX||o}V&og)(xzbS@ZPap`U3`SZ>vDHJS)-ZMD#54Hw@vxpdU z<;Pmqp$xA9JGQIo;2)2hSDj-|kM;YLwO@@B1I-%0x52Lo@3jA*{;~9VG>3_>)6jri zL+`U*OfFWrZybq>7=jgMBO?cd2$xxGu_C7L}K*MY4;<_^r~%+SL-OU@DRs0!vI_p7T2 zTpr`#XYWtCaFrTB@_^@xK#$qA>>7>P#8O%)IiS*ghcGL-{j{;N1D->=R%N-V0_MeL z{&Y84k|9}vM|H^!^Qj*z^3cfqSS`{t<1d<~jL1RbsNTLr!TR*H5tYlyT%d4)KO;Mr zE|A^7EH%cg>Kk#TTBhJ+M0w2+u2e!!WAeh*t9S23e$8D`mwJQbiHE>FoSsP^r+!PIha?7dc>35JezVM z+nsx|;s6fiflWt ziTt2}a}??QOiH3oDV&|*p_iJHGha$ot~94mLRvD__mFMFM4Qu%rKFnHJM_J>y*=f!!VJbpQtY=W?rcF%fh;m(fAJbGb~;I z)1+wqTJs-BJ{hTexz<5vd+wzO!lM(vxdH3!LG`W9*~XAeZr-0&$ybvh{|aM2_dbhD zNIPABMcRv{xC94Xv3R!OrgEs?70AN(I2(@>V8P_iuG$a|t!PNL_pRO97}TN_I5<|* zPV>LY39j<<#aETcfqa6$`!HhO_V4fuOXLcf0F7=o_a?#X4i2E`ysEC(^u^WQi3V*$ z)r^j1-U3(bV~FOevbW@Xw>BoE*U*oYp6pz0Fk!zE8}l3bw-e2bY&bAP0L^*}__yc5 z_SpT|(qf&yF^-b=p~2Z|g3M!z#`E^>Q*E`WKFM0F)p-?@o>BBPI{S4e~g z_Z*_kkq!;=MuAJHE+=I_wlP`MjZqmiGAv&rRJMQIJBy^M!xCYM03wxUU&@%XrscaYEL_ zIPTAA87cR$ia|O2fDk2?*X)o}MdH!DZ?^7?EK4A(euJ8hxbwgou&?QIo;|sp5DoKM zl20^yv^~i@dOp#N_~t}Y zuN*|;2STR!xs}|i3Sh)#D$;xj^yeU{V#<{)6z_>MyT{Co4u~Wn8rZK zqc{i5uNj;5m&pMf4^A_Sv-0inQ?gc!@la~B&_O4iL0m|eme$R*^t9CCT4IF=Eb-K(1rLX}Qv*YOy3)AS&fAdLz`qm_ch!Y*UYV-{?`f@jE4m zQETxpnbQxyA+|JcgMOJfco5CO=wIGMrA_(x0B!5xtT9@k-29C$-A2!L7_XT9mlDm* z$e#~Gdqs&l$wo@MGLA2?mf&kfd|y0(!kdCUwtXxZ_|cHL{4U-Krrr1fYF6u^aV#Xp za?oDPE=Ze?pa>DYYbq9y_u{G`yv`64jSoiilVN#kiU^&y_nq7%6 zWe*D!3DuD$6}Z+EqEZ#KMw;+LD=)x)fKH!o>!sE7MYzhv+*r%wGBp8oyxbN1dbvWJ_!L@vQB zeK7zy=cbY}RIO&$L<#MyJf#-{Y_E)rAsWK~OWjbzjp84+97|sQDDxN9?U}n-1!Zt7 zKIG{YC?~?wZ~bW(O7%$dslo1@!7*1b?zPLnW**9J)!e4*J51!a^k&gXWh9^i%N<3Yg9(QYu3+%o7JlakbwpcqlzWMjG(o&@khKjTxa2Hb=!FCCYt^%RLXKOjY z_`XStS~D^%Lq1&m#{KE3t1qCX0&*5VxG}>#J7V;6R+at~M~D6|hSIJ-zGzK*!FNMy z4Fb8tt7#RYk*pCn$=O$sSjf4CX0Ze1HGk`83Dn7u7Dk zM1~wk3=n=m*7GScYWC7fGwho@4yphHf|Uf6nLI&G!;u0BB{4k-@Lu`2o!ao-Y7KIu zFv>8s9~jY`zFfHX_zXqkXLgVK!oXBz7Z6~eawdz-tm@&!{r-lIQ;&^V*phyGA~nS{ zrtzc9hpSj>SXEy>JMq#MG$mRoE=C`-iLN-_whT_7PHKtE*EqINq8bc~hi3l-EH>L) zNHBdxEUGzOLX@XVF-;vfvs-FYKGyOgQ&9Aw%I@^cOO&H;7Q02KCAl9@eR}ga%0%ol zVx0l{2!X#G@_(0ijpe^&$b(=lkbHFs99Ev#7u%H{p0#X9wnMWg6dc}ED*4q)b`Mj% zQ83CdNQpZ&6r#vrnTm_ITr&9OLK7Y;?bS^}kdWo)0P-xn-kJaaT?j|lNSl}D zghumx|1{FXbWoZ_;~E%vl2-tYyY8z-gM;S{*zddU&8wT+p#j-}6uzgT%cnJ?<_nLt zxGC5Xrh&JJewS&{p8AS__(cQmLMbQlyOTJ{Sh+XUJs1Uk_Ce3zAzrm>yssnI$clDC z6J13UzLcr|nhpH+YPSF&+%prJVt|cKhtSD*iYLkzu-u7#60qL!gn6$K9h$e2%t7b2 z&QcNyN^2vz*pb9-`%bA_xNN-Du)o}Y7ROdCiIFp7m(nxrT7%xPW}xbZYzlw?o5Ciu)&7i7VBpKF=JUzuI* z{1@e@V(BWijIlMKIH?zUMPp&E-d_KZ>IG?(!RP!29eI|JUq<&_(pc-}u|(K8zPvK( zhE-HRpuJEJO6e8r;*Jw1(>FGn6$C;VwQ_WpTDq?SQZ)(1S3anlMw;Mn%J=CmD4oB}BSld%e zrvr%HV!zx=ZOID8Qvhv>RWCS9Z%D%wc-^|CkZt*zHb{Fed!q@66;u7$P~%Xe)v{5| z1v(=%Mokb9%(&mch8HjCyYC<>&)L!^{yR)C4XoESUZWJN`j+BWz&)}Wnr!UXed2~h z!XB}4b-rju9=qtx{;lfhc-O@^^!ZYVgq5;~zGZ}-%E&c^7uh}bU!Ir#+L{ha0+`Jy zZD+JeEn(;3@=aYKrarjfhEO>GhEp`Dq>cr0N2A| zkrJ$Aej%+GL?EzOydT3h{7ETJ`kx4siWMedk^5{3%mtP0+-1JI{oKIY#D!F$?`hvA zD;Vs+*S`iW%>nHg@{I_oYMa5kHRi2cZH0jXo3ec=q&j|GK`!m}FZ#KqTAF#(W)Zdo zF>PxA8`<|S?Xp|erg}kO-?xP)?n@2&2RAiBbPUPIP9!jbd2Jz)GP8PxJY#N6OAMo2 z)&|DNO{$u-V{imM8bvF0Um=BbCHZl2d?jh}pHoebak5r2p(5=%NU%qN+Nw7D9uTi_uw zBPW$rk)(6CpGaQASo}nC;F2|$k(d)?%(Pm-e1#~5t8@`s4$ERIJZqE+Kk+0s4D_x7 z;s$lX6U2o)&`LmYF@*P%V3gCgUQWJ`Wtw&iZQ;sxegq`f1Ffe-za$f*{ z)5_jb7Ue=2@5nw+&yg%=0T0J7FOE0h2F;ewZPPdNTB1(Fpl(L|xIyG$CEC>5`{s<1dVxO5m ze+XjScM%&)8&u+$BX0IG)(m+O@Uep+BvIkE^A$?-Zc6OuTdBC*Z>A|3!TWE(UHvq{ zV|;n+QL4Y4wLE$PxW)No$&+GjKE=I%>{i4t!)uhtGC7h*Im`Ng>Wvh2pAuY*hC`J$} z>!g{m|7(x8Uw_PI@MfalAmjuPM8Zs{CGcRbf?E2;MoA`G!ve1=Yiw~AU*)!(oAoS#inJS$JK95;nDk5|-Q>LGaT zS1p=y<9Wg#8*3O$3*8pm!YWn7C)Y??$#KX3f^wBm^Z-iJu4(XrvMkFv z*+or>8R!|Hz7HvXI0P!GMcjOm@*CuCT}#fUcII!X<;J1}xIq5>yr`%}(xK^#_;>^L zDjAl4wJ=%{jD!i26d6p`Sje(1(*>l-f{OeDuL!1`G;aLI16oxV^UF^u@Po4RZP6ES z<*Bh7S|L$uF;hfL`o-MQgFnK~%Hujvv83`gQhxLRTSN?F2Cb=&ZeV9Bh_uwAq9fFj z)*r#>*B1BK=9D^!XrgFD@aKoS<{@Jq9(Vjn2Ki8B{UB2ldY!8>1uYoKD)o}t(0OpQ z;*&DEnWCx%;?4eJl~=hPHPnABJ7PEUPB&|Kv7!Ye-pH!*n(ADYaR@NEKZi-D@r)9g z(y);L6}R@23h3-87VGJUTd4x9JL1poppu;3@&91bJ-pRE9VTc?6M4;p(=qG31_5@KC)_;8$f;P5_4WjD7ds!Yw`sdv=LwFxH9-Rw}{^bDm3c~^1@ zu7`Bur93T8u-2=F=DooY0V`nkjC`f&sY_E6ifbEV2K#sN+d@Kn5upI{yhJ=GQ3fX< zM_t+!Ftc?7Pk+I!)L`45k9jBJ)b~g9NSp(V+H$PiR&Rkdo%ir9p#hXV1rkq{_*G-t z(@I^4va&imn4(XMQ+-}B6clHrNiS2F_Z!#SpDT@#W@P=tK)po}37hLVu^qTJsEPjH zylIb+6hd!_f!*!8kCAvzgyu4x)t3-}cQ|@;yg1Bxx?vx}E~8;I$@N8{R%NHfB@T=- zUGNXr8grh4_wxwr)t9v(A3sRq4bnj$_2%x0ZiMrnA0j8jt0bSCpB-)7St-OW={8>m zPr#}bQYA!V(#J@==xKsgP2>mvN_&G1;vJoNpih7>F$h`tT{9K!gl?$(Dewtg`US_g zKHCt?C(-cURJHRA?l~?&W^i55I=pme_nr=@ga=yPa!@R@?k17z>_&F2u9&f3(S3dA zNi*i+y&7q5)0MNQca8C$jZEDR4=(*cYTH9pfYLasphmlkt;i*$z?ms?BG%tU5`Uvr z6AiFVp9{hj(J~UbYr!umsT~CD@IZ#YAqG^}lwpFYac4dqdP@4XRoo58xA@t~uW^LS z>WK`+m3U~yv|f7=cYrGJ0J=8x%!o&4d}DZgKE^&CP*tjSa$~AE2}01;Sr;0zVQ=g= z8QX^^d}AT$jHo|iXC3|?mu zop0kH@Tpmo!_{0S8Q&Rw5vEAe>AOa~MLp+51KY08GBJ0BA{~HNAMb&U-{%fh>4+6b z=^yU;B^tbS2O{`g{LR-Z2nXu@eAl*rphgHqe*xV1hy~Mpw;;apzWlGmr_S)B_VzX_ zD^SS>YkF&)(Dvbn$9|1))?zfO%BG~bm zU+h;ce>&ElxP#lE?LQi}RX-yg{W{k7^GaxFR_h;IiA-^c>MWSA3_2Nk{!o6) zGSHRGgqjUVl`ev z4JC8GAk6P1X~cx|%Rt`3D2^J9_%s5QduQaS8Btar6Y)?PdJ{SR9O82at#d8#Y(psW zFl7{Y>kK&VzZL~>GtBEYI95eCNzDX78rji~O!Gfv)nT>4{z`?~$n~1oL+alM-7y?h zUWM^Y;gCA(>Spz#BIp%*Brg?Ixe5~ zkN;72HSmq~EcJTSgd6xv;4Ys{z&Pw8w5tJiuO2u;kzO+0bnsQh_*q9JHm`c3F8PX- z9#zFI_>vvl&0v>_{A1EPAMJz-S*aw49ZaxyO+aT#!fz*KTp);+pL*33!n zx_jzm!Buv(#MWoKS+4SZA(ufD{7?=D5{+s7k@o(fzEbia3d!3ru)|_^18Dw67v59uU*(a-BjKs$q&3!E%xlVxbNZaHB2<175wr>e!v!-6K)~MJii>!>sBuj} z6XQBE;zM&)8KvWg!uxju9|cuUJoDc_H1-~GqXa|-JOt0G8jZtiK{2Wk_2_W1rW7_& z^pWF5Na$x6))-1xE^)MP8jml_|0(3AEUVc4A!BW67EO9Nvd#VVc@ROqQE@)d1RH@( zDLWZU6-6ai`fWkGtEqmjC|Yvl;#SnKBn~geen?{~GJ`47IJj}PKCofiq2zvO3brM+ zk95{@4>eH*u~Jqa1ZSo&8dm+@gs5xK)(K7TsrklM( z;SyMC|I|7OXs`E_3vVpANM-;O2)oXyDR>Q?0c86Q`W;6JAC+A2CC-{hj&5xY%2>UD z3SLfm#iXv81hT@Y>@gYbggXnC_z0$~rVAvV*>zKzV6KWkejb3}7&r=Qa*iRG>`EFI z>-|O>3}mJg#fv&HSLsyQ>_Lt`_W)7Y?|!?Z_EjT#k5LEbEFa~q6eS@<5hVNiu?gM^TW2*5z!MDL*(hshk6+Sjv+@wjhIhdByYU&bc zcbU;4I0if>I3{d@ye$Yw%MWw!pEhziNg;~al!939dIZldD0A^bb*eH>7Gjcu{^#T} zNRK(lHk`4Samt;(WE=Ctk$_!!KLNW~JZH7?o_9E1-Z_CfDqaemzUBGoSwFxP2?+MrTK&ctaU zWu^(AkRxp{v$^kp^4i(#XwHH-Gf-0(TSA}=-3yyrM1sof;|L}Sq-d|G?J@XHoj4i? zRd+V9@SU`~CIT_aDLB=@ZJ5Qw4mUwxWi~4GH>kR=S`mN2r{G_F-?|SEMGDLqaU(YU})wi{42ciP>a%jH8MFHJz%FNWm*1NqFI?^I|bgzt+9iO(JK1(rw z`qRT18s^dXT7fQIuIwKb;m)Q!-rp9PLK*>U&48yoa_i^<i+WyBac$&AtOlUmW$-qZuyeeGGRZbO8QUE641E|*`_ z00Wwx-2nQqg-?oz4<6*CsMyclY^aVlFMbMvcYy7pQfc^W$@r)Qf8w>kVpnBT=<8CC zJyv?9yLF4!()o<5*lgWd@gBQshP`a!toyEG&0ZdYpSLFE`J^M`7`W}w-YU4a%K4i0 zZ0e9WUIci*CjTqq{o4QczMK1BCc{*PtM+t-+-vIbB5&1j`<<_AN5#FyaC5)$f)EAk54`i6nUY2^# z*om8u*y)j9{M-kr&+|mxcGq<3U&*){A1a@ypBCP^ul9e%1tu9MX!?Hp+cyUb9f{NP zPxA_N6F+?}O;sgpp(M13j6EY)B$567W&UukvTdHJ^t*bw1h)I{n_*_x3i*6Xkv^a+ zu=)kUY^&AwA6QAW|CW$S#Z8Ao!*dDfrT)qR18Wj8o^ANCc>VQ7V}QA_^X;25F`W5- zrE~ljSTZXeDjnv3>?X7ep%}?H{E))5ttI@vtoFF5g9V?8d@lTiMW8wh1#997Ea-ifNq|l; zkNP7hkF z-9W;h4dq5U!;fe(NjXl1vzWCiL9^O2dB7x4Z3Z9FG1+jePZ6b!3ZNi@Csob?!;^ z;V*e<8g3rFwCDp;RsJrF%>bEYtP?D*3u z{l#`-q?B6+M+L4=0w8-&QrciBj zZmqa6ufLg%E59+1Jirp^uzbl#DCR6xvZ}r4iursWN4z)R(l+ohFyyoXBM*Y(aI+(W zJYHUWe%1T*1kgCNv244ra6&Zn`bEVq>_XP;25(GqvF^IlBug4A`!;ZbwQzTa9XdiF`5hiuNrPeU|*F|wM zEiA(H$M!XKkG=-Yqiv@R@9?u0ef}nF<+K>wlo6h!9V{uTq8lf^!cl`J58a`C&#LY2 zgmCraBVf4x*j4At<)glCZR(slH$Oh>kRqX0wo)K|w$M`KqxwK}7PwHjN-d{i8DC%K zSaw?$&RmcnEhjt+Ek=Qst?2SEAUhOVP%e|AB+p9=GD3;?e*@GAIZF1tm7s*MVdX8e z(*u#e$r(WjbDT10CgH$3PKRT5$L)EHQ)Y)&R<)-SyiAU1xB@Mmd3AJ!o=t1X@wwNp zts%9VKfx+hKOd`&edvy@I&F0cUYgJQV_WDs4r6{kkG6b<8XB$j7rJ@vg)1DC1^+4) z{ed{wmW(3QT!Xk?{akep&Y=SeRlSZZT0*cuE_@=WxK0e!noR>(?-mH0bTX3D6S=vY zNm3D#n$NYH-4&nB6w&}*on_&tf>1gnE*`Aetm}l5v;H%q&<)`;z2R?^TM)grr%IbQ zrIoS7mhR7#x*(+7E!ZZzD)%Ie$a8mZq`D@N;ENcb7^{|SxXIHL+fD&&AY|lvSxp{i zBJe(}Rb#IvZO=e?M=5_DAbyYI7PwhFe`ZB6IBDV`P+II&Qjm&y1>YTW6{4ZvRoDGY zno3y~^yLKz80P-sp+8>Sy6xUWim)_HQvQV20GvLLeb=ros<8=%lo{}LN>h%+R4-ka zE9;*d&Mtg?d9X$1mk)oG6P*#8%yv?DjNr-`i^Jk2-vf7UPIANXgIso%RG%ZaC{T+iTv`O5=EHwt(_Y-&dGf| zXx-4A7WY!*nb_EZ_mUkLTPG1a{}BwV1;_9`K{WA$p^{aXIwQKxT1kv3O4{kj;c6TluGSHztsqgu&hSJh4uy3M+O)i$nfPZ#HbjnWFPz7#p{hVgp{dfVyUV6Mm9 z%ABR}plTr`o$GGVWR;@@7&VB$DRW7INgioc-OTn3ZZKDbgssWN@Ni{gV`-Abg!Tj* zF9&Cyq#RhNHk$U5(}Quh;64aKV;tgsLUmv5A7HU=n$Q6*20nU2avz%vXL6R)T#CJ3 zd@i&=e14{%yvdSIStcuXEo`lnW(he59AXsb8O8y8*%8+#*kS0C=RMZwRG&D-e#ZWgPtIBi3kN$WmQ6&F^5N7UTF@k4fUV#TkXZq>f zMhGsG6jq8~2pXQf6u*E#4$d?S8fV9%v@gi)9UFjlU=_!Vl6BzBXiD0W$Al=b>`3i* zXmZseaUK`W8xBirLpKZgM@9c%dF42g$h~#UDxrdq&q#h4-s2HToM1g(z@E|`Rs<-i z;W*J*hPNge!fo-;I)xNe4&@P8DlqT0AFL1>G<^G16jyBpCox!9d0FWxt_wG&<$oL8 z-vbjKk{Y}-;qHA+&)(LbGDf)~n0LqCS-p2sADm4cCfEji-wzfoKCE1{Bm z-fi@JPGf7xZ%4ZDCy(Z@y+Zp(O@XH0*>a(aF05T!=ZKCDF-P0ab>o|xwvWM6O7aXB zJ^a;Xfu|=3p_&~P#q&EaB$|BRxvf@ zV#h^5vxBU?;q_MJMa``Na}Z*^xPJXYZP2&G7xgr&=*ZFcTc`#am?47j8Toibg6TI2 z2?f3Eu1s&L;ecns(D!wxH-N_?{|9UDx=CU9W(@g8wFPlcs3>Z?IO>GftY|2N9IJ30 zMLbxrxL_ceolXkvC)N~?)|_QGxyl5$$_9e$Y2S7--7b;N#+8ld>@~o-xnuj~t~h9K zg4PRA7pzQ02)><)&dQF?cB+PPE4`~4+^*sUyV~fP+4d)@h5@Y=qABfO_h^<^Ml#4I zovhPGP8J-;5VWQ!mU*OZ;Pdq21C{c%nr>pC27#rE`T_&r*5qdw6k}FABIral?&%Xv>9TEWCN6j%Jtl^mCSO&> zi8jpD^{Xd3{jhHEu7uBD-yTf>qW?J5qk=NCq~6p(VG5ftvYQy0v6&hf8!{W3uyC50 zns705uo{~gF|o67nHlo){{J#krE8%G|LM(I*Fup2Y|Q^Bah7dCLKa;KZRnOuB)vkx zgHl=oNfiwzKol)ol>|({McME4_Fybl-wjkWm@MoJ--fYV(#}}8K@9SNs zv%cBU*3a?!%5K0`##^16UG%qR%67fz7=t#3oXkWY`wGmuu}&SwaciQwhe0xMZ{AuB z(~o=M*E#{kg~$`G%d4{duXAK%|DG#{6s>=8+1&_TTqcCjtLQRgfL+jLc36A`Gc&Anzrr`P z*cD-20Tktt{#5aQY99S@RakD~UYbl=k#9F?m?qgg;54NEH*>&6S_i>=O>g#Mld^XnS z^@F@c!tdW-L44nb<_#|Z9N`dp>NpYHjiIl4{XH;aca(5rQ5}%v`%gK+%=c(UJz(wk@o4*j9=^Z1gwM=mF7Bhs;v@YNo$U_O#?~P3r@(bH(9lL3|lHVNz#R ztz~JB0&IUUSbRf{%#6qnE$n`bd@Y-WX{nZR=}hdAPEHQue&w|`q@fzKnnQHy6q{X( zpG9mABthmp5ggml5C0*2I|Dwrx#3v2EV5JxT636Wg|J+qSJU@AG_Tt@m5!{OjITU3;zS z-TS(_>e{Jyq?N~{{=uLPVEZwk%)r@lXbJ!~8<&6poU@CQsi7^L$J%A)xZODiO6apM zT&KU*mYEb7v^ItX@{C@Qz}(*LP8WhL}pqVL>rhj66gjgcd38@xH@Rj$vpw zG_%7SYEVLu@NflwQTNG^CeN4L@bYeP^X{<01Tj17QuyvA4*`LwX;@Gr!orQ)*CzlT zxD2l;GPgU8Q(aipKiepq^P_bScpKMj5SFv;)E>*7^oxU5h~?D#4$+xpIA|yET|mu7 z$7vf$Z(hrY?|$B_9WQ=1s65p6G4$saNDwF1rI1uNxq{0t zo{f_ej!X`nBCOuACQH8`$UU!Fw3mPl(dozXX+H{-31b&LlfK9lg~l1r!?7D>K!gKc zdVoh>z2JaH{93&gUmx%$e)g3zl=BnX1%}6BuaCPcmaiKleHE`@CejlAl8JY5x|cA` zFIR3nJ9`zp3&o@^xnWkt3j|zx)rr&*d+RPUjXF1S-3C@WD$^=#*7n$%=_i1mKC3_A zukpqxX3!u_B}&H+jM+TTaZH5V$R#?Zl$H+jQ5IX*u&k!#Jb9_1#??IeO3SDyn#5~( zRTdu_JaOY^`AiI#7~Ae2ZJI(cBJ@+7h#6JNvhbEWqwUsywSz8#WL$4I)K$Z)-u3Y5 zQLN#w==!?z>$|LkyaBRj4xWH=53oz0Wx;A}gIb&Q-!}cti(Vz`&LVij(OSO3(^Gl%p(nbEBQZG1f}jX(O}iZSZTESzr$Vs`ke6-ZP?nncg#1o1t0QpEx5iRRkLEQHfcYPI8g0 znq%TBQ}Pbs1>+Oaj9EGPNeVX-r}!UH`vFjS11^$pSaLm9#BA`vD_PtM%=zZN%9RV( zI|?RP3J;{c; zMjo!w3GVt<`39--*`r%V9PY&wUXg7(eo#e(BIb{)I1B9vfkwm{ly%`p%d5alv#L7A zLI}UAg92-`Y&igp=g4jZLxDfe#6g2wN|}OqQL*kNw>zpQBW*`BqSw2JBq|Ug)4ChD zoCX0A=S4sWhu)Y#&*z4mjiB%XJ{U)0O6OEW@jaP7AVq>Pxob;prtnNLMzFL5em!*c zZB=6@Ei{H#R53ntN(busCK6!sGn)M71ta-~!Nv(u6cm6oT#V+7Px!gDz-f#c$Upbm zR{qVFAKzQKk-;#Q5qrTutT0ouX?7Pk_5Eb2(({z88({%>1 zUZ@7&t2Sg%uNnzD1 z%&1R6Pf99ua43a|OvU6r$)X{i!p&WD+3Jr$DgZ#w!3-fbiD5k^c?u5>o^8_ons+Ce zV7A{h2&)NdZ6wzjY|-`v%!K0Us;t1rCkB0K$B@{cFrLl;c|&KJbX^yveN4|X&8GIS zT&;4iMuNDgKSeHxc#p-x-SK*8`io> zRROP>%ImHSkf*wKglMzPZo*+UkF^u;1&0K*+jkPS`*rY?@A>tzO!Sw9@0_x;M`um= zi}9A=&qpqW5v0Mk-EHRSKTOxAFIMSMQnZ@ubXuq(Q6R(KASJ3wH-+)b111N(KHu|(fvnaMsvX`RcNv%(|=_oSaYDut4p71EGsZux~#indjkw` zCv{wdOr~%qAiZmn5Z|1HGvGj`Z!ct_`;q3p^IU2O!+lJq+2KZiml6a&PASus)xFdq zvuRo!cKWzUW7uP0=@ZS_9*G&2oN$yPOcX|pUrSyLF+*N5E*2j=r*XYsNKa}UlmcD> zl!R(v?#)-pLFY%Go~f!MY!xN*L~`;N0J1ZuOF90ItKWQN0c$MuVzR_O@QP15>pfN_ zS-sPP#N479s17NaA_Dgu&`aH)H^`se0)OC4?M(g;YX7^kH?o4`jFb*zS4u@0SCTMfWtM{G=sll0d*U|;enhUQ21!vY{X2&Dva``E`}zCE{4S1?9IDV z;I!qy(y4zg>*dh+%`9FJhESkP2`IF{e=!ll#{D6h$NeGEH$j=3xAmap@qk-;Q2z<{ z1C8nbj>gQy4Ez_4B`nngsyWpInu`@k=kd??f8qkTnK=J9U5U{ejb&{`>^i1CgKP_3 zll9*fji31Kg#XuG7|CsQ$`WPb-GI~)-P+N8KMb&nCa$b2ka%`lJt{x*)mr*edcecz zs{L()-rYD2c)eeLSjO;8*Q3WQ6@_Jep-35RZC&8<4co5NC*O%bS$T>S;J76Fk7B0`{ z0D*7z&-?pedunGm=&oBg#2DG14)VU?F^}ajxiQn_*RrbyKN1@D*Jmk6EbZnnwudRD zD}13GSbO^FNIa{Sd5~}xYysEqNly&&agIpL?|x} zL@;I`ElP)V&e!{B*qf$mQMql?T-o?XdmLw>b`^tucv*E5S#TbFi>h;`waw7eqMwRiV#0V9eeKP)KvfnT=D=B7JwTF6b_Q7**=)rG zGF<-ta8A;Hf&J0O*ox@ywIrSZ%-=byWqYDsN}v5GOWvHrwPrWBEMMJqoJWZRJP+0m z)ex4V=JA!Gir5f)TnYDf8zXV zgM##CW#g3~*#q8E-v53jEwG-qTg^o#((5dMc|*MEQCin?6#xu7KF6(=Ef5eyIJW3* zX5fFD1Nev&9q^MG^(S6M3eHFy5;WZyR?V|qMY-6qS)K#2+fD~b{n7TP`Fg}FpD_;X z{mA!R2$>^rzF6`UZcA#uy<$tnsRu<|sBe806M`EiB;~642BDs=%$c|!LUwLhzWQ`X zn%)N_-#1|LcmQgysb^D3c>yi44yC$?7lmGiabzTNT=N6iy&gv>Fn>J+m^vs0Xq_&+ z+*khwvkLHme%QI%((aYAplJwy)P z(h@!k1yeNRHL#{JeG1syCOI*GhNEu%)oZi}IANnEBCxp92~$LvItS>Z>vkobAXYIM zL+4m`<}4W*kP$m#;nyyQD=GU`Q!OWJaEz<2**c{eXeLNneH@o4?P;JVv2K5RQC}+Q z3>lYzcmn<~ZJ9tlj81(tq}L3RX-pMi{XyG>cEtgnxT}WsHhqygN{WQZ$Hx`yKT|Se z@)w)^zBVpSPV*%J*0%1*7!ymIRqWagO*%^dQhq0prhZ)&B3+`1QATC*X*=TuUCx2h1~&K?k|++;bhwcYo%{uF&y*;#DG4$^)>;%JEs z1vx1?Zt@e2K$~i101Tf*x)C5J(Y|yh&jJv6@U#dBR@fwB@56Ezb)lRXOJFeucm2wo$010}(D1{UX%071y0N;ntMgZOts^Z{QFI1$Yz$zY zrcFTYr(*@9!GjZ=^Ue5|IOAv(;fs*(k7t!AgQ`~K&cQo`@ak*AqlP9HlCn6Fb_q5{ zjxejm!%z{$_1$fsZ@mj{Or1LJrx1+46*09>L#mBncQ!cgwN*pT3kE{Z`6b8_4BC=F{8ZiOuxQOZL{Y%XVYD9B*3S==q*R=4CoM0X19`m8jWcDzt;_oY z#XS(Q_F7xArrej2S0?2AEUQ@{SlB25@5`6bFF5!d357uAa+DsLT9fHTHD*poHVohT z{0MpIJQPl>12Zwe2qdaJ*mT!RZ~vbl%B@X9iKP>`+X}gY)kUrmXFjgd!yG^;-XbmI zI1bjwN8YsT2zn4WyQ7gF^WP6pqn_${z4xxgEDnprh*A~~`pTu{MFA}ok4@+$_uv9e zk(CaGbu7gRO&e=$H?@8r=%nA^1EM7IlbiSr(ziEVALyEMd&@)4d?1Q1ZC|UUSDs&# z2*Z!5W9dyWW-(AHZ(s+Q6%Ws?M7aJgRC>S~z6W4!e1b~yB{eOdV zmUinua7LZ_#DH7wweYNmMZmzhVc41IF$o1PrQmkjc~+EL8Z_e6Nq=QVVcS!tTY6P@ z&G~Y#qf-68pl(-HIP6H8f7|A{G5`Ds698m?J-NPpB74&uC+hO}@+;n6$n*Hp9S>M98y_O7$`~*D~mS-={rOI-WB~?oEb1OT8pXyOtA46_zgDr&m zZb`^Oo0eT~w_;g_HbOiSziqPYT{fA{B97J+TYOfYd@IkF-}IJ`gUjQAL-_(f7`)Dx zTay&|%H#`%Dds8{=;3lA*%lYq)jG!eh6g#U>Kv#5I9(N{W>o`T<|8|PW|$CW;iAp$ zE8X2+j&C))x*{dpPr63rkAVkeE}6Cy92z?{&^Jgl7TQgDhoiyFA*n5iO$gFPB$Ik+ z0;8z0t+{VfDZG)CYAm&PL|2!h7;+v%1<$#N2q0_j)5R zE~;<;WKR+ezBZ2|hZ)OL2jT@`=5iO5Ch2qs zYYs-)O-D>E>8YIZSy^F5Bd#-(5GieaLc`P&v&TrX(reh68NZmbMIXyJ^tg7CRJX{} z8C;DORiTo8Dx;hoVi%&(%u}C!(@zR@Cyw&UwoF|-_$~spufXUfPA){;@QYgmkF46h;*sp zy2fnactSt)Sg@kPdG8;1m{2BOV$*H_#Xp)V5yB|_Nw)<#OnsQ!$$#R#X+)e(fz*&s zd{EEIIRzHqwCaSJ&SPRl>zeBYzl_A zX~rxj4O%{hnQ|Ekfi*214DPjPU%+9s_ev(R`!u?49Eqpv7%^0QQ-O&-vCR=srx$8M zJGF^wHx0%kDT;85!%L2&v4hDq22y&$*yV#X5EaP~k$YQXlr8;d;+?R+w?`veFKOIA zb`zz1?Kum=2&XM!7T;A-_(YDvaa4p9>RpI8UAsp@e#i!;Sj;!FA;>FweXPeumbeDr zIL?T@O3~|hXQ6qvk`9w>NX`jBn|%jXG@gEJL&i(}2la-0LMf&vvKPL?MYm-EBx`~J zV&w4nSy`Rd8=t9G8qy_W}Rk^%{`*F6{$@w2pNPLtW{BGH>gvL z0nxa65QeDcbPTrd0K?CXp{gcBod;e8S*u&!I`17>Y5TyIQ3w-``zaUz&P-n(*^dB= zS7O{J_AXa2U3mOt+spr$+aO+j)E+R|0cUfwX{9V#bHmLF@>A1S{+j(QAe%P%LAq@U zfq2-!ueG58Dt}fLr<1kile*S_2+}6d5%!5<1L^f#I{cBL93Ss@)Hc4s8nm?h#%F}Pe(B=cvz4AK3kT)?4c4fW6o^}tL=i27aOcIsr8oM z`%8r<8tjecIN{BJl^ugVoJ`Epan$NE5PLU@zv^#|CfMhM5AUFZJC-~I9wECt4!N`H ztBAlfPN(11nOA!cspZ<$IUqv6Byh4zNGCl}?<}_?v!ir_4*$ zXUx~hiFOF(+J|@&lhS__+7POnWdG8~w5Q+2sJG2xsqF;-BF-}e95CQ4(!7Dv659{t zr4KxP8X%ecre0u^H-cpTv?QdXca`glN+`N&f~4WB%Sfh)-8)zsx7IHGcf*x)^b0(( zch#*Q8f_#BIP&LM#Yr8Xf1B5|3cVle7EeW&Ypnj`s*q8kF~|NnAoc zSO*l?TyQV}pGpCYwjs85x@y{>6W5dZS^xyl_d)dZ!!IS#JYS<`PlK7w~N24q& z7{{stbXzd{HIlJ68&=uk99?nOFY8n_4uOg;@2idg{9Nf5;tSKi9QCj2t3FDW_oMBB zAJ4RklkuJTRNfTRITsY0^{ISpLpB{H94Z~7BdYwioP0bDvs{o{?)7D?yR`v)3-_nK4M74ls3l5Z@eS@aVEgZ9NV=o|Lj{VoLG zGq67oQ94O|#@9dMI^^Bt_SIL8=2-?(`r@9VuF9M=Jz<L-g-8e6`NKw(Z5_9>^J?>5*!-E)Hhe~))qUqU{O8CPo5k;r0vDC`h zX&x6c&19Q$F?_a?y8dn0WgO2(P~8akVUGDywqcrT8Nmmbj>(@vS}>}|bQ7{~k4zfh zX`!{)hoc!IX21u5x?a+jQoTD4u+mUk)C_A(D%=S$J`R;tImHc5tHu0XJ$d^R!y$Yf zfBYG}0Vi@aie-><-L@U6}hf&Wro=Kr+M$eT6$p#u?tGyghi&0jOnM983=|1GtN>_FqA zfHM83)Ycqy16>LQ%KBf6@-uW4C@9B&Z$Mw6b3p%Da^IkT063WcH+!DcS&b!V#`K-m zT*&A3FK=b^pY_N7$zjA5cnD1uNa*F|l__l#!;A+xwS7#GxHzb7PPaS&#a0%g-Vyek z-5x)f(uNun9fMJ%+@=f%y=;Mthl&4#Tmj!$E??a^%dWvrx2Km4l+j{ctmE$w{pP$` zKv%-t{^g7my;}ZkrEoD68r>UHUBcArP>F=sgAp6~J~tb6@3Bojxg8!f0g4$PF=Pic z6V{#_1jk6w&%@b>9|7P@2U^G_C&N%eiypCL1ENSX zWDdLt>Tt6=nBX9YBo_V-D7JhONGBXafFW)nRgWofJg9T9zqzc~p!DHG`PLLB`y|@5 z1hDk!Lpnlf zfy}N!p_*-Xwn@anawVs@-IW0ghX*YRfYKZIRe0wQrz(T9EDL&W$fPfwimq{!4tNTl z>I^WVNV>8W3R6mTSE?1mCTw;H^aFz;VTK|i^BM{dA}{wDkRCYiHTvaGJWGIpDuJXV z0uhQnL&gPy2_dC{qYzHG1bOvSm@I@dU!#WgD-Y8H$0ve=yoh}^pb!l(+v|o_785JN z+;oBo9qz~HFIz+ERT6&`0Xiql2gr=qQZhpz?hv`gf%vU-$ovP5D*G*WE`+!ma{5J3 ziymS|rc6gFS|o6mYu+chOBj(FNnL72vX>mq=lErXsI&^>T{XdNj~{Ve>WR9c5c4JU z$imXZ@Fm-{JV49D$RE_ja#bdB7ST}xIsY~|M4VibxQEV*Y}&$LFdN<22f!0`k#;>N zOl}IVm^C-m7nC`NX5jBFB{>m5A37ZpZY@AdD!KoY6Rj}6LF%e!EHToMUubK&@K6r)&XL1mSS1-lE9Bh(s zH5?LsGR5}@CFTj!K)%rdF26{Tw+rmyYi54?&o0?)onKmoTvv$K;s7TiyT54rkhQ4; zFD{DAzqzs7INv!4$)+!LKBQp9+8BX zU<4ZN;NlMM)@bKi~)B zd69nvNXKu8%c)LM*?(N?B6_H zxgq@2-1D*at`XF#5ye3>U^J^;vUN5?`h?Z`CqW7L8r_vJ%|!kvoR9bT1@QZ9K6`kW z-k(N3ewWEtXryDvY_N?~gj@dIs#?`JW=H7H$bP{c8h8q9SaimC)=PqN(@5t#>tSa8trBpyM76Qks-srEh0l%9;Omw&iHu_Ks1wGB< zQh22-D8H-0WjxAUCJM8fgE~diP}#rP34ZA;7ma#2*!CnzknxgP*ybQV5?dwvl*Cxh z2czH87?B39qLo>`^372-`Y+KedZTF|g=%T#14tdG$$VAdEkc4gxmov067sTAGBSM7 zc-V~^kJ_N+CSB1po2T0U&0tg<$uP)}m>3-!| zpx9ERgj}%Ljk0?JV=dfl=xwZc2UT=@V-A5KSw&`0G`oI`)0j2OeYVknk~`waz&5}E z5Qw`d9bzwv(~TFgNq~*A&-W}!Q0%~OWa!W;RM$Q@urKEs#q9t(O`$#hN;o10zjdZP91i_YyXG8)3JH#nBb(*Tup- z9qMPF|2MXWlQ)Vq)CS6xl$-&dy#NnDLmwWwh6&${l??_7Z0Ty=&*?dj0+Xq>Y%&a$5LAFck|{+OA>wU=6?0`#+Aw%aJ^N7>PYQji#C#3ReBfrMU&Td!cSK9;Hd_A7u@)@rbh`PPFwgfK(-p+PE(D!aLJ~@YT zrh+K_2*RR!pV|Dfk2@c*7#aa5jEk|}C=T3cDR_@n<8FW(dOn(r*OL?t|))vtu2UkuJp)7%^4hAq?%6)&BlD^#Bw)u>rvPPtn6ZwD&d-=BgnK zs*CnY>9V6C447*y834pvWz9U0S30#>Pf&!4LL1ZI6jJi1C9BQ7$^=!Ax{h>1RRw!L zxkZC#a@_O1mGYkRy=MxLY41)sf)1Y}J`R2vmNXt{3CCW6nk(gd_uxL95IR8BM~+@X zoqMpRGF9zJeD*yVa`|P|gw66B#r<<39E78+Izuc9LznXj1n~NXei~IM$6bMXvjur) zo;Vdx-w--TJgZ%$Mn(vj9fkCb{KCQgl(8?mnw*N6A*UZim8sunD0m~J65sg2*-`8! zQ-b-*F-ioG%=X_g-mu`j$Rv(@8#35Uc5p@v-ap1$`K%a@20j$a=J2oF*2_fJR&=mT z^Bb@tf{-jW0D23m9(2LmS>k$|&{y1c?)J@-T~xJ3ljf$`QQT6k{e4X`t!sD-2l6X2 zNfpG7-4xL>+WF^|&H9|H&9_Y>rt-v$Reea3BpEY(vbMJX-_HOxOT^sT-UcZm`|apz5<1M{j)_^M>g5LQGHTegE@Y6!@A^~d%hc{DE!3u zC02)?rR3^r+ZN9%yT(D>dX{sgGwZ-Zl{hnci%N5ej*4g-_ofU7bU-b=&QRNoHuvy& zamQpefTeTKNEfgkZ7N!cc^drbT8;msm6U5ZJ#G21Ox`KC)~L>P5aB2DdRJ9CXrcM~ zr7AS%^V8e-SOw?1>+HGJv!eL|8Apz_ei%mtYyVFk%Ox1_WU81>H60f_>iYzs(3X0FI*OmkGxxayIN%CZiHa2fUpFsHdkF`8FCvX#qV)YzWliD) zyGn;$8;m!J5j@TVgihv5EF-MhP6IswlPwG+$3?%3lOg5BN#mM5L=^FJIx=ugywNWgtMh-y!LKE>n?jJ)| zhYOI=rG=aPK_^|=_$%xs=*KJxyW_y7OB266zAYzE_mTLQ<`AOiA%?6nS|T zTI@NZqQb2tmtkl1*ca#WC00?Hbsih-PGZDSj34m(4q}PwtKK24)QRc}En+4w#Yl12 z&qO36LCx^YH!IwUfa^5A(w)n)A^E`sx*~@GB+{((=EzF)8uqy9aVXYFM-ulcxbE}B z$f^{XqBH|UT^G$Tk@p3q70>SS`TO15ZTRQ{tU-j#;qS537f_`KmZX5=U{gw0+>m`pt6Qg%PE=KZNXc02 zXZXa-bC<;?R|;GBc4E<@rW~DEfX^gkUqAD}*3DhV!)ODeXivsU{|C_c}cC$)tHDHJ-9Bsc`? z0YcUE^8Jl*v6Tg(5*(5D@!i#pf1av#5h7D(FD|O`5Tn#v>o!OFsFpdcS?l!7b$NLsYwC(4sK7>qI0*XV!vstV1TTeR9=dF^z%MiK5r}>1_}mPIP3aZvSPOGlirt7^i=G}A|`~R zfl75CW&ScwZ3F)pU064)Ir%<3mu2K3MJ`Ne9nc>$S-smhZHLu zxOliOv;!~`NVHPSJr|kvK%PH%GBKo4dy?k$rh$f%rE%(*&@}#}f6=5+`wXhe z2&6od@=U6XyL;#yyV3JcmhQy%zZM((Hj)8$eiB`h1>D@6{MvZrc+lTY#mukSjk!cV z7?p|$ymxN@f3KPCKYeH5HzEuQVBD&o38mwl_9;~*kf@LwSJay7w?#VI@B^K!wIqtH z5k1kzbEC;0QEUyS@-$Pk{5%@kN&+!K6R{X1o&x)btR9%9{Q+A z*5+*=q42T&>q2V%?kP=Hhpd5j+Nb%T`L5QiL~yAKjVIeCnA6bmx@^fXfM_8vxYiIz zo_LXjB@e3+D@B}${6nyab3!dF#$-`9 zZ5s2E!|rbv^~S6g=evt%7sKIOokVY!7hPq%2K;gR+uNMeL9qr8SWYn3!6xw;G6cHMKd8!d+`qm6eJRx?-Z;Z;+$ZW6drE89;xf}cCf?xjHF~uDVIgo!q zgHnaBY3vFBLhX4`b&R#=i$D>F&7;@2 z^9cHBfWC$%;~;-jLC9~;UwNyTbgUe{Oi87ua1ePQN-E7n6E0@~_c&-`t%D++UhYqD zP!FEYP5(RcGC93Phqnr~e$c;2FLtzZkFzta?dBaknm79x*ar{81K{|-Gx}#eGG7QK z^x8MFE7SDXMb#4qOkfyH!0P0cS!h5f>)I#`esXN<$a?kCH9_9ryTx0^OQ(9v@2k`(}b;U*?`1eVBH+1zA&r({pTf1>U|Txn^C7*u)}wBGGkC@L|DNU($Tuf z`s&(B5r0G&&}KU2v+?>nt=diUZhH5lz4T$8pK2!>E>Fh}KO`hw;No zftR4XdCuv@3IUjymr4y=!EHEYSm(bK?Tm@>6Jr5IL_kEu;&JBBR)h{Mj`F-@G6=ix#I>=1yqOlt z9%C1|Z639pBpPZ}^3A8{laA^ajSzpV5WRn^|Pl9`dkk(l3dzvZql7`}}g zQwVuN40vD1719-FUP#59sbZY-OreaS$O>r1iulSkPDF6H5m%+8ijxeq+^CYUM93m< z@Fl2)@#;+rt?OTB}T@BiCo*&nnR84ncZ_VlXfB;#O=;D_RK{tG$m`lH{-Ru zMm_rcnCR1K^vO*B-v$@1j6v97Ldil{dLf$KXKHn3N7=fz!>24onAPW2@Agf?^CnX^ zK$||^8yH#`qLUWANbU5+LS_AM#A&aP7MlMBfcEFqR;7bSa?x;D%ewp@jdSpe&JKlMj~6u}SyuzL%KFktd|-yc$H~$FrtQv>%G#2IK)V@%=GbrHFyO zZ-NIeDa}B|bBU27gNGEf^l2Vy;jJI5wT(&PGqg>V{r?Y+0y9xy5P?y+Fw{UA3>Y+k z6uKk9@NIkRMY^#S`v!V*6k&m>Gmi*{^H>d?HV1o13G}j?U40hk@u{}*Fl4LFn(AslgkeWgo zKc{K|cHY#Tq@mw(_FG#NCdPqy*lcKk06EmUg0q&|{Qeq1+PYnl{X4Jmx~Mey zR_8C8*y1r3dsjpi1z=X2oO6;w@$#8Vh{V#NE3b`P>_qKBBIMwpxTi_3f~K4XQ^UGp zZn`x3;HqWlUSiyz3R8Nd^!r5aLbq7w-$4 zNy9nSxvh%SBJg+A$^mX&A`@8Zd&0N=Po29!FI=?eZa^!Vr zclW$^FI1-x*X}wvVzlT_o(FKi=nyKXFzG)LRVgpX$EN;u8fE{WvzU6Tih;&aJ&5w; zfF>K$H;SQZ^^wMQ^d!hF`as1#o&|*S30^Kr%D|hWOSGiU#}7hr4*CQ*3a8ckRGTiR;m5ERBQaF&~3* zh}W!x8MvDz;DCI_%QN%1=v1^pmc2VpqHei4so2N95XowJKC9u8tMi%bIh6MT( zz+eD-&|oM5T>qC&TrXkMDu@YV_}@nDyviK9X4M`DGg$T8a#{Ht+``Ev09RCw@$E_0 zNte-$IAHtr2+)_e0aU?(>3$fYVVi*+WmnkOV-3dgCJFL@)n#J+^SwG#LQFRm^JW7T ze4|aIxV(QZJ@Usw8K30V$Ftl%%maW(z$??qkJ0CJwe^IZLh(HN1Jdp4C(r7IvhJb33X(8rYGg?}?^yRXK^WHQ(ga@&`JF7;PTAvP=Vo7u6c7Eq|d}v(_u(krw^!_Q7%9 zD0ED0shgm=>PF=i1mJA)N?Ql?L%pLx0kZt{-oZ+(YOLF!3^tzpKY9BQXD0VE1Z*vBVWjMoY%nP9j1d)m@vZ6hUE zCsZ+n1WxoKsChF)$jrV49ktAi#328;viuync1~gU2y8(1K;!$F{`r07Z~NyeY5}4B zo8K8B*fg7T$rCpXl@=;+Q?n%G&)+ZbFk zImtN^JLh10>q&X-qjLBRE!$)B^54~RfdvB(q;rLV0m5RykN_KSVQ`^fkYF6)W}D}6 zVVprBBq!p${_Fa0K~MtNSpN4fg`QHcRWK7u=P~V3OCiQ2!%7rP6zQ*(rW3DK9XSd7 z66x@N7_m%V7e<)ak=Eha!706}7L$mSXkYFbh9prMJSbkBLWaO4Eq;O`1;h_ z8(_L4GL!bZonYI{`7s|}I;=IIHN&-{KUwS-dQ{%no>P+^zmSm#m$S~g_EPHb1!7s_ z==R@C_~XK`0Y?a62)U|5g?X+63R5P=zrt6E4)RJeclwBX_tvUx&)kMR@7Yq2?}XRf zUwXbGIHqPY>zzUaUWiQsF~fm`KVS#|KDDE>8$M4c*6wP>&&Q%JT%b8xVg zBY(AGv_Z9kQP##}+Y|n9q-D4P;QG^i#Lyrp+&4{A$v8qwjUa1v?%McS^p5C?k(U?L zG-uQiR7ICxJx0$DJ{q$A@OQ-hQO(clqT}l9*pLTiJ&e?Oae9z%4?aXJWOD^RV^)dVUcjC6>tLt-<&qLLyYIPxU}!|s$pNfE<^ z$kAr`9EH!vmo$<_I50`DIBp+`l=1t@v3f$Y#m0x9Jl}2TmAp_M%<16UB7?YKe(BLK z1-;c3LgG;-9b7iY2eZFG7=&U2B+=Dc?i`A659Buc4Ie=5Z=|jDp`dEv!PaRcNoLV8R@xdL}TYuDz`o zB5sRRaJ-Z=WBsbMNY8cV|A>8HBYiXN1$k_OjrKNbUK-+lHPdj19B3x zA@XKxcv=VOlTInTO1m`e=ZW?&R9F1#0f2r;kLQ4EucAh*Dg#*Ee23hxUMEc5KUvPb z7T5S5lApS79d=n^rB}BZ#y;Ue5)L3#Z9IIodXuHY80yAhwcoqo?4rknX+~NRSqblE z&PD?r~e?V&2U^prf9 z97@@(NMzbQS~}zzBe5 zG;iKfVgxi};)lq}PLNF~iVAK`u$qO8*q9spN!So>S&InPmKs!FagHpaihkdHDm__- zqUsR{>EM6}T#5XBDRvSBN|QwS%{F(X_BQ zDY!t(cK1p>EuW@f3KLc1O&Xd7a4y)CQDiiz?h$J5R;bm%-8ttiosJaZ1hi9te&xCu zepT7^x|MGR{yQrOwsE;}x(vFj|3&B~8@Rb~v4!A(jOY&Mmfzpn@*36>(y?&7n2hAM zZ{T|G4)1o?sDpcSaejC=-;93I*D1n(iu0BGXOmQS15C6N?Bg=?L+?@pK$n~4m;F%u zUi{!mu`)@$Fxgm~f3unB{~MXJ{Wd!{H-J$-iw5D4K{pL;PhfDH-bEyb^R&cmzF59K zhrEHc;_`mUt*9}})YhP;i4pG7dA{P(`H#gtuZ_k^=jqY$A;Hf1Tf05Z+kD2UC<%}m zJXJWFp3EFd^(Bl+ky$hiU^wAmhQS(&J05LJ$uggMoQgXka)fDyS|6-6MrW*Vp2A9- znmj>sByYxEAF4HOQ`2gDA2KPLQEk)J^g1loxuLnC zNQaJ$f{cNTwjK!`#eIu%tGbuFXSlb!*Bveyo`ZF76tbf55$#a`@JRA#@QC)P@CfwC zd(mPelt)p8&lNmRdkn0kGxz7F^^#~1JD~I$H>;8lduh~f>RjlYxFCHBJYXMvo+D;M z-MsFsbr&VF-6rv^ei%P{e*S_tjRB7a&w>hBX<8A$+pxYt)@5-wml{%9Hna|l3WY|t ze~Vg%X)lK6%jz!&yue3Vwa>cQPPfD$;IKO`1kElQZwzhVXRyTL0y+FvUJ_yRVACVc zsR#iar>i=D!W7-oeVoVMsEOo0&lip?Rg2jLp7)#$6yq|#8b7aabDb)&0yV+@PLQolKdGn!N=8U<@{)n%+Z*JfxVGawJFx`$4b&0$Ml;^*8;&&b00@3?=`(3Z;ZN+x6hTyEnAvuSr6Ht_%7~*fMF!p(=YYx>Zg6gqwz@a}fkV z7GHU4z(Mu_j412eY5Kb-l<~3a=w!ngqFi;F`eqK^`I;9G-Zgf1hM*$S*8J*nJ*i{z z4RJTabf&J}Cm;~X(Wc8e!cO`{N7UMW&r*j0osG@D55-(H5U^2|h3LsGy$+5spqz*B z7^8AXkwks60sD*YtgmxG&zrmZZYMqc?(Qso$H`zDu=CqMzlk|_Q@2y{|7q)-f-?)c zMjhjg?Kif~iESGbn-lAeIk9a|l8J5GwylXZ`R6}hojTvex!BdayVg}#b=BH?J?m++ ze!pA#))w60SB5m`HrfpgdeJIuaD$b_5G-c`@?-DHeQ?Ie{sy5w+7aCgEbA?t*0{S~ zdLBdYyl}tP$3~_5%=X8C%i)A>GsuibG%uKEtx+zU^QmZBSEg0Tp9VE9zs<4i)XIv5 zwIyY%ucI7@wbPwJ*Vm1HygkBtRa2t@Ikb2LNZ1oide`^}1Bmpiag*-z)O6rGG*IRC_EI2NwaEZpyHqk>a6Mm41_967go=H~)J{VuIMuUC^ z8%Hb18C$LKIcQiVSiGD9xTJD9p@(Tp8S4zAA|2-haq5I1K=$~+{A%@uR*}|m-9a9_ zM@R~sP~xZ(?mC;|5m02Ker;6Cv}hA7Ap@Pq^E0QEilWEw>Y%}KKq3V8XLZhWQul-f zW7&mf)4nW*q^!W8na{(G=e$+}OQOdC&pmHV<@6U4wB3`Dq&I9KB2F_|(P%up^xw~I z_BnC!*0yd?AixoBBjY!D9SP|OPP~z}XYxW>pus9OJ5F5=1hCWhp-G-^bLu$pxd5^0 zJ)0bzZOf}OP4{GJIde|AKd+gk!LjW`57%G&A0G!Uv_;x)ZWQU9!5c`9Wmd7+zluQh z6!wXTz&;{AHBBpY(;4dAm=}2Kt=gy1=R-LwqOl8_m2sokq-2|uTwjaicuVP}f^5?9 z9{M9aq|LDPz=WW}ii|B6eTx@jku;lJh08|wjcTA4A9dS;IgrtzhXs6rS^oRqT6y7$ zz|YeK`uUHboVJYxHg(L!)^DvBP(W9ekQsy;PayLNRd<~Y5iwHWtFt*g<(veBZo;1N z2GA4azSo!M7y2%s{l^d<(Q?j&f!-yyK3(giNi zr_(bQARq(l~qb)_cecE|&&k@Llr($cqj_qPV_6DcSbhwC zf^{ZA?El%R=G&h2{JXUf26?vV+K_zw{U~&z(3H_cVAVHTE(}$ATv!G@#xzmu0evxX z5Ic9rxV*%vCgB&QSjF{$A>|C2>E;RVC9A+QL+%UFcI14$woMr0@i(OAci{9Zvd}%~ zw#4x$ts=ZJ=)C{L5syjcgu@)5=KY9t}7H%Jp$v60r$~)MNlzh-|Aa+!Cs+a-2I1*1YvAzae9dtW!BTWi-5~Ss_>B zqDRTgbE0{bUe_z%AX)@{>EDvbI{NsNHc!$u6CT9N5r%0Lrmc9aN4K;G1ci~tEw%5C?rbx!DRIbGh)Ncn=0ru0q`No^!Ya-bNDGPBEI za2u{p0g?Dzh6y&NCHOSf}_=W-9C1AI2Q*iJX5kWtC%tv51aNLhnlKs3C_quwbK zFKP0)BLdRLHgQlJ47KR7sk29!$Pu=^e}22H$Z{y>nc_ue0p8zI`+2g9 zeUe}c0N3?3Er<3IPCneXE0B(KvG?4tOG}bun}3eMto*BLX6;%5W6@;W9wzpdpU*~% zS+uDCBPB_2q83Cw1bt6hYHsS#ip^@y`X=tJc>M~xE(R#sLN40AYwQGh`*uq|sdL)y zy_~s)kG{kcAb@hP3~>fq%zbPKV%~L?e)QIcM%dIpR%t=`r2i!V^hanbU%R?z<33xt z39vJT|17LQlr_1AOznMK2nYwi7WzB-%cd-dm*|#@ka=T8;-;bv#_dN`Dp^v3fmi}JWYDfs!Z+qbp9=$!nF|XIJC57 zR-nWLjL0reC@{j{cv?kVR9;e@m5j>*a)pQ{Z^IJ? z$O5_uh6ixps=v{r8PZ+JbA#t)Wao}9VBV$r1PvwT83`|3%h5^3%zx^T&Yh{M@uRz> z5{J41uh~>w;kx1wk0Y2`Xlz9n5+uKL@fSt z&TN=%N}I5U%2RQbQSHh^-QQlbc{lMNaHxNIH5%-2#%m zW!BD9+)Sg`xm&rbvaK=37(7Wvg8)alWk-Ug!1pv6FAHMS>?KkKHSsLRKMX5^aytc};w z_ns?*JfByKcJD0uoLy5q4jJ8 z0>&bf>64sNf)6+Lx1B@EE&m2;CVeurc}N-4+gj++ zV^H+?jA@#Yp6LRy4!QY+FkMiJOm#6ur;oS{?VjcGhnVWy?X%?VAimE}VG{BxH0?Fj zbyFyyY9?%qDl4z~gDx>$(}%zmH*wa*K`Bm?s`pAhNKdqy)k!-Lp<0m8N>Ecn*RX^C z*Sgpq{Du|&FB2~1sB;}p(daghEc+zd+bZTdPxI&xcMRZ!c@4Wms6x2gl{4%v+h%n* z|E-9U1y%9_wp>#_L@3Ds^hwaF0mnO=##MPhmokBFJ#G`Oj+?2jscw^Poz|00I?Tj! zFM9eX=%IaQ0y9>9B;O`f@SAFSw$D2r_&M*q~+Wj zwF0C+j6zHp<2vxFh$KbTgSc#wMOgNxPziHYZM}Fy?q<6(@-ai~MzO@B48dbTUzO#9 z7&`Q~=wu-mgnvYcEY6KL7I`=P6ZU1TMq?3!3d)6WK=~U2oLQNolYwHs4%Kv{=*>PuOkG&$GQSRAVz?c zp&XhX2k;$V0s()?J7u2O-ZNA|X4xjmWwz9#;z-HEC2wtWq&6IieID1W#~i z8_KY4Lt~8@LhVo2YfQSRL`xcaRt=_lN)yl-uq7^%g>beXz^x5Gew&^@*bjE-+`M4w z3L$_!ku!qaR)sv~l(%!~wW}fI=)KBbDrJ}r*jJrbw}QkQva$XN%}8-VWf=&L2ov>n zqCJfNlaE}YeXxZlJ1u;&=Oq{i^xWf73pF#lY`XGkA=3(HxvR;fnw4AK8rvmAC7Wu7 z#(fP1oUu5>b8D0wLUsz9G=8+v4Js~7r_jJ8riqlFr=TSvqfddJJSE7wQ9X=-p)qa{ zCLVy54kB&lXog3V`azVXj<1kb0AcPT3P(n|fIl(=tskg|3&=PPyw(0g`b>QGIcPuLcx#t<_dk<1mni_ z_T}*|zlz-dYQVG7PTp7xKEip~CpL6!{^Aq+Gu5-=0VztJw%8VFj1QA0@Ik>Jc)pZh z9$y?RQad4>G2g!Vzz2*=RmZCA!WvUGs8^|iRVM|1tQ$Um_{@g`#TN%k7Ac6(s@C!} zp$I{q{O#aZZ2hWjnFM<`wM3u99u$TUCxK%tuA5b4d}si=Y>io1BeD7xQvk@^p>8B8 z;4M`xI_PIvs43jKpajn@X4f1RD%;0 zXqJ=zOrc)l5rjv8=yhN{5%e;&R>yIq5rrJrW4=)A*SCV(r5KtNp7|W`C@gWBNd=&U zCaWj!hJqt9rtV^-oxqYSHOuI%wo9=()mBzrl;lR{RSY=*O@rPMGtukeqXZThS-Pka zRTEGV^0JX4W^x{o1l?RZkH@uPJn~YlcU5R+FZ#_c{6k%!Y0d7dIjSEx)X8;TDI8VK z&kT0Z5BFguvGUMQZftINI)}o!VuNFZV#h&}8<4>X{j;JK`rZ=;=2P5VD#9KRRd*`G z9bmFAlvF3>;YKfvRH$iHwGt)A+n3O6D9>c(VA6&*KN;nx!bC^Mxg217{qDNeJQ*s_ zQh)!kKkIe|IlG=3^?kAuz4hIMX<}7ci+l;y$whsmDeLN5DVu)M8@GP1`&r62l-3ro zYGr9iTQK@XvC7SXGqi7n6(oY5mfndUszVu?S-&YuR9UD@fCzXsuOxgmjEPM#S_Z?b zQV7&)jBczQAWJXvF$h2OF%3kVrBw4}(wj@WDWNn5!5A@C(8{>uy!7(<%`%sbbe(?u z>xci03se!z71XBd(YKte-gAyGUdF}Bk2jbHZfZLU{s?f%<*nsxG%yUcM{!yuxG85^ zI2*0vA?|?iL5pg+)(_H+`Q_`TYCC_nSX8c8NtxuPP9?-=DVS_aFJLuEIy4w_SbsN% zuK-2@(p`DG;5?QjvK8q56u&lZj6qh$`Wy8X<`rP(r~>fx$+Op#Qzy?=Ld)5~wN5nZ zzO%wD3n@el4G&D&k=aP^RBXa-Dz2v_J|>6*=OeQoS9nl!mHO!GCkC`We~N7m&`g+f z|B<2`Az^MZYyM43-&4t#=*x3O@<-ZKtua9sWcUQWbYq@LZUHDxeg)#7mbv^hB>Zc8 z6`>ZM0H{Uyb4uh7a`IJ4g7d&B^*&z4u7AkuE~Lt`A-??_;b0RPAe%qD^7*$*83B3JLoSm`< zYJ-Sejv5ED>Q{;+jokzs7pHQg0Tr@W6Tu8@FmsF$CAv+>nBBrK zI#QkrIO4QQ6XU?aFME}SwdS#AG?aLy0Uu!32en$yOb29JD~TrXw652jD`pyWFW}UJ zQm1g_gM)RF?_xY=CSL4Gz#Y5VEs~lPn3g**L&vwL?5qcy$bGe{kGBkP?7LpCjGHYb z<8n37HbEQ|voqh9DW2PvdEvRJMV=d+w{_+tCV!*H>kIR3JsPDshc4RJvmOt$E&owyR8#HNB)n*Ml?&K+AdFKEH!r*2+Bzb0e|Mq$Fu4O**;RAWUv zH9I;PubgG(bYKp}6DMMHe`Dir$5WP3)3m>zFFiABy@;L$tf~TC#Ul@m1TQLd5DI?R zxHIKK;Ov?yh!FwozH@upBi(@=p6+-{lWxfPro?$`z!J9j2}k#?HNt@=2Z)6-->Gp# z-jc{ctp<kiIEc%?XkSkCSl5;Z7mS2c!J_)|j@;>$mMe>T-L~TefS{ zr&TdSO?JNa{UW`PXby?{g0|~M`$oYrOn*rmrJo{%LWQbokjpCI7?ZAur`~%~@u4cf zt4V}hC{)@z*DnAdRAkU4?M9sM#M<|~{CH{M$jZ(f0K$E5f!bTGBc&d0M$=Q%wH_Q% zx0^?q_Q(1;m7-492xNdlaO_ACe$QkD0KmTgpK? zqMW)KFHj?OMr&86C)F#{8(eT{E)Y?&_?bHC7H-{f_WcF=?GyAsUp%8g(bH05EJv;$WUXb5 zF_kQP5VaM(b&&)Bzp|OEtOgx%pw0ZtQDPyuxH~|tmndULl$&2591Z(!WiIs8cPV{k-X*k~w`$S9Q~ z>@#!cQ=qu)qX=Y_bf*)TzY}FVuqSBOVc(1+l1b2~zQVMCyU$<5&f+E?daVb0l{OoC znCDcTM>~GM9#M|L|0u?V<<|T%o8USMOSZ2uFvL?sdC#xEwbDX|S_FIX(q(wQv<%UU zlM@Bd$ca7Y2NZ!zea7XtyEnI2`)ZYN!@-~C0^Uqp?ANwzZ3c;L$Vn_p-tXjzR z^bA$B5haw*EXg2a=7wp=88gW`PPj*WRmQH{R{VQDfqderzf;uCTRM@#^Gk|e5ECg; zQ9zW)0w%e*4jsfrcf@;?n0=17u%M^NZ@bZhVHS7XYb-sFfzts3r;aCQ80?5WOI-i0*Mtwi3GeD9L zjb?83Fy_SsXUyZD1>7xMo8-xH!K0I-led!*4EVo%gAS5&eG=pLyH9rBcJHBmsOS#4 zkChPZ`AY-*Bs%Et8Gr7VonTB#_i3thh8i{itvRMI-Wk~6WPt>^fm0=z?fhgbNFRN)-Z`*GZRFS!21$=?K_>^6 zg+j;^4cgsoYhpYU7Q*0-T$sn^g&*>o2)dA;3gLDNeXfqMMz3+TT ziL-Qx8QDYFCW^HTr(zuO084CjF?T}^xu@x$seoP>W(6y&!K{C_lq@&z86?@j`kYFt zA2)u5(a9shRzqgF5!^qDRzQrp{T&0T{pD04)N*&D14pGEiu{SR0&cB$`WB(xL{CLx zs-sKCqSMpK>l}L&hq#*;;JHC1NkWujShmJ8i(J$oAx957Ub3oUjtwPkyqoB#5A8Jo zx-Zzw2X3CHmbw>$r4hQ;z5<~;G=5A_3{`I3`NugD1Jz~qF<4eAA9F#tr0q>DfS4!xX7H_vgg(R0T(Asct3TEddaV4Mq&hB;Xk}S$7 zNBpn(<|u`aHtY}i*qd2_nvynuVi()*D>WLW6}Y|_&Mf&JrR zR$`D<0B5xYTI+0{C}u+gulXmwRQW-_ySJ)82*(`R)5aMip*qvD=1?etS7V`>iHkY@ zEJzC5Y!-d{0SzafJehOJDshKy!+fSliy{V239xoy=HSMAH2m?Q2ca3>eyW%#y4-V{c=ecE)T_u(!qevi=z zVrWlkCRzIf=I>c6bBnR9uKdngnc%hm=>MS^V#p6V0sUJ}JSfB61VZd)H`_#Z21yD< zzK+2Qu~sC{-nnm&Sff3u21L?tQ;=lfZ2RZ(0;Ko}ZXne)_xhI*-WIVCqoH0bK5QOr zJ~FnrQ*@IkvTgXDfVsJjFdlalJk|H(6W5s1c>{&frdSP_Aqq-mwPGASPK#)m+HS@)D>VIEba+yrwhah5?nCsia_9~_x08&S1G-MU^zroe znHTia0Kb<#FOqs+<*%q;Tgu2oXeAdUsLf%HNMbNb?vBQReQ?QC|D+-&OOX}-D*Y*R zf-K`$h9O==MYlmb6g?G%XecPKn*L%Xg0=oepCBgxf)6MliYFCchSP^R@s~0sN+7Sl zS9hC#TlX%EE#wu|T%}7RoK}6Nrj_;ZlnPZsYKrMTr)c6`H26c z@0frMev(+}Oc5d8DzIt`JF~nwU??sLx`r+tyz5x3V{fc|`lF@n7AOpC^h9pP*~pwSxsaFD1nWFG1cZE_L1VE8bVDR}oL; zH7U>MlBl&K2{|m%yjB{0BAP>7;>z^SfCupi5mbsv-}vbdhZ+A(2W&(e1aei@3RlTY z&-b#1{=GPX3(ibk06VfWt4ar&h$k>Bvtq398Yw(BMI$+7?hj4g_N%&OS!kWxGYB)* zb5eN8n`80tye*__t%;&p4$8 z`mC1UHB6WIjxN|5`AhiaIiZ$_PXl}6q<bf8TUUV&)5+AZ*cQ0 zHcS>l+l#<`;YZYJt-I@W`D9}J;FfB4oOTJr*$RJ=QQn&%f6SX}m!N^?Bj!c8{hLXa z{K1p|r`xC57wl!|S#lal#XmTmZ2*=kjW8DugUBhUkM1)U60%9ebglts>E`Q;{yXmG zE*O|J52C^U2?pnA`A0J@0RCf(qD<4RfMcfQ`e#f3U){Ta0JFN6lR2}JiH(}8J+mSS z7caA6hLw7qBuLJ$ut?|-w(O*(pN8`9YRc}8=NkSP$4pY ziVr4bVl-JC8Q+KyJk#b`NQ=z@NRRweA?n%iVvKNmAUz2Pt1j{A4BZ9!Xc^psv0PKz zaN2EXN%o-Mlffydi1(|hS-qX6=p3wQhfsdJEHonY-K&Cef<}4${3sO1_Ny$F`AW0xPgo|k)dhDS{+@f}0@;quN zt-Tc?CIOeff1{7U@h`}8E>+2(m8RPow}FHEYL5K zzc0I)1pGBeLm57uqzW$nUO)Z=SPG5-aq+DJWFTUkTkQYJ)`2^9Q4Lh z;_OB=Ytsm$q|;+M{m2rdVx;5D#5-&??S@Z$yO_#>;|f#haAepV_c`6LLxq!c>13;k zbX+v%sdaOH)zx+B$6GyoA7ME?UH`mrj)9je`1IuO)o=Cs5thJe;tz&ov=U^1VneD9 zGW%;=3gdA!(3wekt5N-1MlyYO9V|6*<>eArR3rJL}2V;0I z{xM2{a);@K+0-w=7%m;f3@c-ZA1zy(t5UOu#dy?CWm=F`mv4&@t?R`dIp-oxu!OC} zDH{=a?AxUJ=X*rkz>RqLS_%=w;^{3C$Qt#gy`(||XNeGfrC6|>tzwyaY~AMONb>Oq zM&@P&&_RA)B>Br5dbm8xpXhYk;C+xuqxuD(bq+&3hUD>QD*`i%0`n~rv-JMA1L)?0 z;7qtbiUTS7!4Wd|)0Jz7&V1z-(t^$p`x9c&e_EDYP|D8D4|uyR+aj)YzWXs1g5aaL zNZXi5GvLhM5AMtaqcfbxK*8AtY1ulrONPYD1~&v3X$zK3-I{zJv;v>3_|t!+gH(Ar zRm+AMABzel;{U29SyXW-lt_%14wnp_ZP*Nx?#K6iaFODB^{m^^L6bYR=Mf%#Ag9;`RZ9@ zgpB6UL>vwTk?-hA%gMs%%KHlBexqD-|H3-Fq)iTo)it%rT@$b|Z9U}i^ zLl-^pF0aWqa4vbt7h5fM0+9G*c_$u*>n)y_lIei*<}1ryhN!LUpF|DHz+hE=(%s0 zAM2Rjh;&2km}YU9^(g3L30aulBnk6OhkB z{O;jfr3>d41QJtbFFfU?delWiES>Bh9NxIwz8{l+w-fdIp+moXeE8>tm)y0dtEvY; zL!`k6b<2GrIQpOCueBT29Sh+$oy2mT$*n4sQ_(c*V`d<2^R$NZ2WNjFe6e|tBdJOv zn|tPVEohty(~8ORf?yZJZ6ya<0-Zz0Y`$nCmjT|-68@m{fAHP*T$M|S-JXj0-XM{$ zFQ#OOsCfuGxlQ0Igf@PKTaMJcGp2aT__yg9>^PCZvV+c|Bo?*~Ntim%>_P*B0tJUr zhVN_rB}AY!8i2U5xPxz|Jt`C9pKggW)SomAGtP$0zvN@4I1`Xu)kkOv!oSC`iNhQ6 zq!6G7If&%b2G2^u%ENjgMd1ZIA&6lCqw@KKgip-)x(_1a7;~s9(`BjsDiE0M9b&`? zT&ST_$Fk#_Q4^PEoi}F*LwQl-ixcXEfH!HXy6PZl4hzO({9J-X6pB*tL`DFEE$>^M zQT`nmr0#9FbG!BJ>c;u1C8{T)Xr-iNp>vFC%(2y>>3&RO!r@-|6vyFj89QABnxWV7 z$nuzalblE`48cDH&j1$a;e=7AGl7QSQi>hRWCRa4ntAl z-4#%Gz!TBSG4$+-IaJv$Q}d#jG(!js16CsC_l1CXm&c3ye%hEE9u z!t_ff@=hts1F@`SY$I}{D22W-#}73Noy$SgeZ`b!m7^55dOYcn?)P_EX_{Cz$z1X4kD!7pVRMbpYK}-9nV+((Y5&uxwBq zwMyrVb!=&`ShrjdhK+f|=yIx*HG@Y&s-!QsnNp(a9j+!KG9GqdzY5L4zdH-4fp?6& zTyU!lU>uk*8V=x)G#p%lT(g#T`?%4y{&(%30sTA`+NDL@(wS?o2af`h+eKn;rQo?; zbe0-~pBF;4wM;u*JiwSZsg)(y*cXtWtlCV^?|{ip=8+_w$3*gP^Ad=E>9$|i zszQqc@{n*=U)#Wwn+ynWlcp-C;Gt!=P23YtJ{BAySyMQQEVyh&!50nZ>ax5&7 zW%cUc_2rpH$R}%dBhK|0T*W|#w~tF_M}5%;NeyEoE(|ZoySJW3iXZ{`Q($`-Jiww? z+_?!T-)hh&4u%3x)eMa>snaJO4kOQ@?<_@j3(t7EZP@OnQvbr5{ajeA1)?veVcL+M zBOob>`&()SZ&W1V7@L|@6y3mGyV3gX4NsZ%Dnj(@<0Uu3#D_e}MieweH|36L)A&yS zt!!U>38!N^boWJH>{?YDiMb&ewF5?*Gsqn(Tm>4=yT z3uTsPD%x0D)=o<2i4FQ9$V4t)So_$m$?hk-TNdn^z&iFaWvHJD-@i|n5ApGao z#MDQeJ9{_XB{sIbxPG@2%iu>DGPe3g-|?3`e(n;csb9`n^YkP}j`hxLhT+-e)zMlw zN_b<&yRP}3Wd&%`twO$C*W6X)EoIzJ&-|;pG|7&wrhe`8hnNSFbMNyPm=@sR^#2+Z z{+~dBo$Y_GB>L|pTU*uKf>}mfPk`5qmy^eg*TTZooRyWsl+~2Y*w~Es-(zmUY0krG zD)?U!*#G~KwCW}}l7G#X(@k)c{|qJnouP9sN-1NiV218>UrBR|CHILW0@ATC$O>`6 zeoX7As7yxjQcnV+XiTQTe}GMzEXN$p$M9D%;G`1Bjh85X`EB{Solp8KuzwmF46yv{ z0V#-eO3K*I3-$pE5Q7Dcz!bwSN+$g$?J8oHDS};O^>5DRzUEcM$;8?>7*#LGYe$DTqTl51 z{nI9?Jxh<*AQ_2B9cRrfCJsSX=AZM!-xjP`t7dE$Qm7;+Gq={wW;xIsxEP$qA1fD# zgs`9=e!Z94ZoZ?^=T--@r{r6s5UzM<>p2&xuC#KKA~&#V{i@V?v-ZgJth2$fKG@D1 zHt~C~PLfy<|HX{acqX%;{)-rE{h?3>{X#2{tIIlZ2=sQfQi@X3C&2@x{?4U1D8qwS zwu?8}r;{Gn;Ea510-ihcqZKdhyU}HMXe*)CzRhLah0`~O-k4T+*j?<+sEyxnEeFDz zf&9)mOv5ESaIgn#`hitWjL3akt+3Dgf}3$-b+~f3sHuC#gke&@3FG$R1tJHWp>q2d zc(BU$q(RxSUY=kmCbY5r0D-U(XPD{1IUbyoJzxC*1ZTw9A!pBApQGtK0#9(}eT~kL zv^#+2K4)jFh9`#Oo_%Mq#~pBcq(wU>?l%nau9)x7nOk_lp_Lax+dJs)L9LgtFUmuY z7ogBAfr-(2(GNkmt+OjdI}h2Fkz?GjzS9w>pP<38^a%J>M76=@#B59GG9K@HBC&4% zuxP=qlvOl5MU0g5Q~HJOrqwy-oMDh;7MID0@A9V1Wvl9x{ZMXZMVlPS&hn<>WhdDb zUf>7Fv2r!EFS7&IrTh5Fgt%&9Q}6P?E0Z5;TO-rLL-pvpQQgf4$4}4;T^7=RPF>n# UD;y3Y7cV;-CxDVtLP-+vKMbyStpET3