{item.title}
+ {item.badge} +{item.text}
+ +From f04515da8f66e1c0a00b09a57fe42e0409271459 Mon Sep 17 00:00:00 2001
From: Vincenzo Di Perna <56477809+vindipe@users.noreply.github.com>
Date: Mon, 22 Jun 2026 14:02:14 +0200
Subject: [PATCH 01/25] feat: add PhD thesis research page
---
.../research/comparing-blockchains.astro | 360 ++++++++++++++++++
1 file changed, 360 insertions(+)
create mode 100644 src/pages/research/comparing-blockchains.astro
diff --git a/src/pages/research/comparing-blockchains.astro b/src/pages/research/comparing-blockchains.astro
new file mode 100644
index 0000000..69aeea3
--- /dev/null
+++ b/src/pages/research/comparing-blockchains.astro
@@ -0,0 +1,360 @@
+---
+import BaseLayout from "../../layouts/BaseLayout.astro";
+
+const thesisPdf = "/theses/phd-thesis-comparing-blockchains.pdf";
+const unicamRecord =
+ "https://pubblicazioni.unicam.it/handle/11581/502950?mode=complete";
+
+const evaluationDimensions = [
+ {
+ title: "Performance efficiency",
+ text: "Topology-aware measurements of throughput, commit ratio, and confirmation latency under controlled workloads and deployment conditions.",
+ },
+ {
+ title: "Energy efficiency",
+ text: "Node- and system-level energy measurements, including energy per committed transaction and the effect of network structure and workload intensity.",
+ },
+ {
+ title: "Repeatability and predictability",
+ text: "Multi-run analysis of dispersion, worst-case deviations, variance sources, and the stability of performance expectations across configurations.",
+ },
+ {
+ title: "Economic efficiency",
+ text: "An entropy-based approach that aggregates heterogeneous on-chain indicators into an interpretable measure of ecosystem balance.",
+ },
+];
+
+const contributions = [
+ "Lilith, a system-agnostic benchmarking framework that combines workload generation, deterministic orchestration, resource control, and network emulation.",
+ "A topology-controlled comparison of five blockchain systems under realistic transfer and smart-contract workloads.",
+ "An energy evaluation that relates network topology and workload conditions to total energy use and energy per committed transaction.",
+ "A network-controlled, multi-run methodology and public dataset for studying experimental repeatability and performance predictability.",
+ "The Entropy Balance index (EB-index), which combines heterogeneous on-chain indicators into a single economic-efficiency score.",
+];
+
+const relatedWorks = [
+ {
+ title: "Impact of Network Topologies on Blockchain Performance",
+ badge: "ACM DEBS '25",
+ href: "/research/topology-aware-blockchain-benchmarking",
+ text: "Topology-aware performance benchmarking and the Lilith experimental methodology.",
+ },
+ {
+ title: "Blockchain Energy Consumption: Unveiling the Impact of Network Topologies",
+ badge: "IEEE ICBC '25",
+ href: "/research/performance-energy-economic-efficiency",
+ text: "Energy consumption and energy per transaction under controlled network topologies.",
+ },
+ {
+ title: "An Entropy-Based Approach to Evaluating the Economic Efficiency of Cryptocurrencies",
+ badge: "DLT '25",
+ href: "/research/entropy-based-economic-efficiency",
+ text: "The entropy-based economic-efficiency model developed into the EB-index.",
+ },
+ {
+ title: "Lilith – A Topology-Aware Blockchain Benchmarking Framework",
+ badge: "Artifact",
+ href: "/research/lilith-benchmarking-framework",
+ text: "The public framework and reproducibility material supporting the experimental work.",
+ },
+];
+
+const structuredData = {
+ "@context": "https://schema.org",
+ "@type": "CreativeWork",
+ name: "Comparing Blockchains: Performance, Energy, and Economic Efficiencies",
+ genre: "Doctoral dissertation",
+ inLanguage: "en",
+ datePublished: "2026-06-23",
+ author: {
+ "@type": "Person",
+ name: "Vincenzo P. Di Perna",
+ url: "https://vindipe.github.io/",
+ },
+ publisher: {
+ "@type": "CollegeOrUniversity",
+ name: "Università degli Studi di Camerino",
+ },
+ educationalLevel: "Doctoral degree",
+ url: "https://vindipe.github.io/research/comparing-blockchains",
+ sameAs: unicamRecord,
+ associatedMedia: {
+ "@type": "MediaObject",
+ contentUrl: `https://vindipe.github.io${thesisPdf}`,
+ encodingFormat: "application/pdf",
+ },
+ about: [
+ "Blockchain benchmarking",
+ "Network topology",
+ "Energy consumption",
+ "Experimental repeatability",
+ "Performance predictability",
+ "Cryptocurrency economic efficiency",
+ ],
+};
+---
+
+
+ This doctoral dissertation develops a multidimensional and context-aware
+ approach to comparing blockchain systems. It studies how protocol design,
+ network topology, workloads, deployment conditions, and economic structure
+ shape performance, energy use, experimental stability, and economic
+ efficiency.
+ Author Vincenzo P. Di Perna Institution Università degli Studi di Camerino School of Advanced Studies Doctoral course Blockchain and Distributed Ledger Technology Curriculum: Economics and Finance Public defense 23 June 2026 Scientific field: INF/01
+ The dissertation is also archived in the institutional research repository
+ of the University of Camerino.
+ 5 blockchain systems 5 network topologies 6 workload profiles 4 evaluation dimensions
+ Blockchain efficiency cannot be represented by a single headline metric.
+ Results depend on the interaction between protocol design, network
+ conditions, workload semantics, infrastructure, and the economic ecosystem.
+ Comparisons based only on average transactions per second can therefore hide
+ variability, deployment assumptions, energy trade-offs, and structural
+ differences between crypto-assets.
+
+ The dissertation addresses this evidence gap through controlled benchmarking,
+ repeated measurements, energy instrumentation, openly documented artifacts,
+ and an entropy-based aggregation of economic indicators.
+ {item.text}
+ The technical studies compare Algorand, Diem, Ethereum Clique, Quorum IBFT,
+ and Solana under five logical network topologies: fat-tree, full mesh,
+ hypercube, scale-free, and torus. The systems are exercised with transfer and
+ smart-contract workloads inspired by DDoS, FIFA, GAFAM, gaming, PayPal, and
+ VISA scenarios, using both 10-node and 40-node configurations.
+ Supervisor Prof. Marco Bernardo University of Urbino Co-supervisors Prof. Francesco Fabris University of Trieste Prof. Valerio Schiavoni University of Neuchâtel {item.text}
+ Comparing Blockchains: Performance, Energy, and Economic Efficiencies
+
+
+ Research problem
+
+ Four dimensions of efficiency
+
+ {item.title}
+ Experimental scope
+
+ Main contributions
+
+
+ {contributions.map((contribution) =>
+ Supervision
+
+ Related research and artifacts
+
+ {item.title}
+ {item.badge}
+
{item.desc}
+{item.desc}
-{item.desc}
+{item.desc}
-+
#3u$w`ir%-23xEk@GjR9*>%^((}uPJT5}NbtZat z;|D|a8cM}2?DRtX(~sVC`o)%TKj>V;Rzx<}VJ7p2##3`!T$R?((%Z2{;YlP9SfV?e z?eiA5km{hmZj{&R5Druhjx?20C-%8>yG!VP&>h3Kenmc6#J7)kWOn=6Z0%DvI9_qd z!T;G0*X*F1mOLr%>}|^!8?fdCphKTwcit!%B8Q@X;9PY za3wuR*Y#qJq&T-GO{V`MO7cY*{E6A$8R7RIoBfq BBvLV>IgI21bSCf1n6ft*Ln)x-sG zDcb_D<5s4a+=u4lBj-^vv$C*sVa5Cte{vofD;MV@W=^v9whs1o*jYueHrUuZX*n35 zGGo=}QMNNR^Dr~T{N-IUH>*=-nu;>4qQV$#U ZWll4(p+0^ 9u4^B%QKva?S+ifWH#j*b@Dc8zz; zsw-U%w^k=tJ*0kcf5^ti`j@|z4C~Nw)xVdRrHFUob7%Bzh~D>>qM#)w rV?xFPHzlSpvyQm%N2D0 z(gWECyVDH}ERT`Z)A%dU#O@8;^L|8ve}O{EuRrvije>9OPU(*%%xk@Qr|5iApE~Hh z%HWY8Wfmo8t|JL&-kemG5N#^uf0c~+K>8&=pVYj%wN4d`T0$cC7j9A*w+3gPS8mxU z7@c~MCTXp_hq -R-SVjKe4tF^ri8jcoFi`7?o2!tMCq-ux^|xLY_AK U@c*ifUea3#+NN4Iz(m_3L@omgD>rniG z#Z}G+WUt7wtY@c{?&=WHsX1@X!QmJb%0kWKt`_&ODl=tG%cZY9nR<#BcmiUsjIx=K z=LpwE*@wgg3di>(ynK*RDp_flO&xtXY8}tTDwcD;Yz^dRg06DcJr1!|%{myGqJN|H z^&XPA5?M|E15&=Ht*EaCvuR{YoNHgl-liY6L-3%8$O*FVJ>%;aT7$VQ*;33?`giT3 z^W_OUk5; UP<@ll~7`VYG((9%afV(ioA9l=!RQ< ziecG<-fEW=G91b7-lWJjRM>n^F)i=RI4xUn`PZxG*XGn*%h4&kvF9U;xM8A=fMxWV zhuXPuw3pNZ6; {$Px0ALR{U=FKF;`dRC>2r;JOsP)Tg9qr6bvG zjOS3Bm?qc7W|_X>&*tzGdT}!!RkO}3EU8=_b&s@@9!(ii#1 a^L^Zwk`F3Wu&nM3vTz_7H z)q0PLMPwyEk^UMx8b7l&%)>jj-BZ54C%D0UOT~wj<7stS?`RI!x|VzIpkj_GKJ$Sj z#e(;U3on}jqt$J>Z%n1Ja=fzYsjZis$v2xGpv*QFBDppY(*BY4$y|ntFf%=QvgG0R zA8AotV`EIVTdW(iTcvV7#`k~NE#>kkk0E;t>SA 0?IP8Nl%LG7pdRw0lZbxBOQm7@*C=2C&) zlG@Ry*v4vFUt}Fb>P2VzU2f!P$=Q^4R>@KScQ0ajgQ)7By}Y(vNa30BiyIFv`T3)$ zCOEgDhe;3j+o86PWhr}oJAeMscm5kGv`HzqZi!CkK1;1zQ`Oq2xIxNH?Pl^}R=+ZX zXG3YN9_aE7;q~lU53g3s%AP;Frcpr$y>T>Ba^d^@{l$q7iw42b=gzr)VI7jXNJe$) z_|5~>H)I4-jSY4S9kgIapW{F$deVDIam B#%Q=Rg63(%^s3iB|czfO-F1rFBw-eo9r$-Oh z?NJvk=G1@X7s$SIY+FumibWi;*G=~fO6L(qo~MSzwp6J5 FnB#% zbgQOpYBtdwD=~2eJ&XL0DwBeF%CyNwLQ{dNQ9POJiW7b=REO_SG B*6^ z<@*oj*{CY4jokObzi4Mcs>YSp*x}QogI!*mH7aaAMk`xBZl7!#<-OrM6MfOqi+JzJ zgA?JTC*%5)_t-WP?O?t0cx-Pao%Y_$5H0I9#8iC7(Iu_7A4VqzuwUh89{#|q;(qOk z@0)8w-abF&Z&Vxl&WzZ3`xZB>QTy?IZc=`6dTeq)Q4}pUyz6jYYWBoyjwJ5T0*)+- zq)M9L^LI{*dQzsB%F7DVG^z+vjU_Ob7LwMQh(u}o*idb2cuk`)T`p9V!Fs^IkM)ew z(SqPD! 7$i~Kd^w4e3Pmb){f4Bxt)Fw3B3EzBQ zq~w)JnkGdpv(WrmCpPZl{u6!*bY`Wob# A@+pW2-{iPo`z)C} zL_+4klxdDNn)n8fI<2m=)UNv8w|y)+Dk<9-&37KCI4_}e>duVcI*K(<1U1Gm0s6!8 zVS02q+PBuJppR-DQ+w^J?-j|Ei==}?8 N39Y6hdR?H2j^@Aij2diJ0ZOeDeEWLD4>|?KUYjBf-x_-6B4%zq}Qh9r> zR#JVuTy>_q`$zxKo3p)wqqP!5J{=#vwFDVHigGS(pBLY5`GaH2+s_VHUOm{8v~Skz z*{tB#eEZ8$iNOcAJI$oEvKl=+mF&MEm)ppv_fdj@^VSzW^S2kLJ}~5(l2x)t?A?S? z{c1eKk?cXL*Rkd`Wn1_5M4!NMF=vt^oJQnli)@944EhC0xFhXal8S}52Wm)sx~c!@ z^N#~ZY>gkXnUp1dG}?77KfJbEplq*!B%=z^`)bvDg-z#nkuxW8`1v|p78qGqzIx8E zC~aAy`D!@(g2Ao*+65w?^Jp1oKBX+GrtLUQ5^wR%C}_{gyT)5Ob;M#S7@98eTsLBS znrt_GZQxU~OboN7-ggJSPg|r Orm*%iv3+LJd)qFLLb zY8m+!#>QuMywF-FuN>a=e8G49W|ntX>u0mJHl~Jb41X#vPQP)m-_Co>wpla%HG9$q z+>_24+LnmD>8E%(*IM$Dl6kx3PM7c>qd%$?&ib4>^-6})X;l1lg3^MMvVLjzaD))~ zk#p=KfkOU!Xp&!6iM7rZrtLa~TAM-au$@Y8Cat5RN4jKqf-;FLK$vP_ac+I}V&RRg z)U=nG*?)Rc Ns2yxco_etP?E;!!DAw Eg{!VipSF55Kf7ij(#jF$bag0#<;&OYH8%vAT`#t0YFnT+e>5CC z&0J#hHN=)`x=Bl6XSLF$-JBxRRz6|fHd911 E5$%31$s-sY_t9eP z%dGS+ dSmIj?Wm@R_k2)T0m)SOE+@2-PGsU z(fh^}2YNihB)FJ*G8EQbF#qD_Fw3U-N?2YxjbtEKhBTnVWj5o* zrlC~ZCG%B3LwVyki(k!rlQ=~s^`Hqq;+YuWY+MD2^)V A3rx;;eUfjjtDdn(*ntombmZ^ky_Hw^`2aQo7c>ZT410 V53~+QI0n$6j72(@uZrdzO7Z zE5y@DZA-g>=BYwKVzteddp-thzTEV^aUzKJL+|z^A _(1N|QN{eg>zC+1?%?p; zt(>w}FJIa4ILl?_yoOtc6%#5bES!`_3{FbF`_gT4ne(J_yb>R~sK$%6b3fA#B`eKm zpA`1%OH$qta#@;&MTd>e>aCutbfTwarcVf`TU5!u_^(7f`^;QI#0}Tg`SYheC3 QG>{o=Le}_0ULXXK-vXwV|mZ|DL_3%9pI_`RnpoY;CvRDj7U)T2=3K_o3h( zI!0$>@^EF<4R$JftRhPaP}Lg)%r(di+S2*_T4FYTGmXAj;^K94=L1T1M&{Q~j-uSH zlA9#$d4|x*CbM2QpRm+5jZIC4&- @>c4jF#6YjF1E8otREcotNtHX3!dyUkoP;|pFH+HnF^_t5G_lfsMmmJwR zD<4a(s-MeOS~VR-reIrL5U5lvW6SrT_5sQ=2(5c%jG0?%um2qqX44?j%dPhmFI_K; zr()Jruh=iC!17SyYT%XH3a$K(H&WqQoCC4UGw03f7Z~TdJ!p>}XD!pu%E_G?RdU~j zVlFz>sv?YzZ~u5mkbf{-&tXK8>xkt|`TDj-Q(i@mido_-V<>C$0h=^o-54&*FSH~Z z*WB5(M=*?%+3N6i>4 APyS?;*x!hK9fv@%ELXUT_ zMcB E@2dWk>Sar ?`fSo{@w##&P!Y5M=zFIJVzkZUhgwtY>Jnfa%pT#=X0!!}xs zA1~%3wp!49H7-6*nf;QSib>CguIx#g-=Mzci~FgUPt6?3GXJ<&UU>Y{0sTz9NPDt1 zn$MnplM=8$_VB^m3@J;Uj`p;pjE6E5%vvo!r8x#(8jx}P_-g#)a6{IO;RnwzeV~2u za!SzX>>yq8_A>c>`Lmj*q)3E%T}WbMYdSCLSa~W35ZP?-)T}#f6JDyQ`M9j|htrM3 z;Py3AvYdfY#wv-b+sFK>Uy|C?B~D0M2U@OArb=2TT)x>9eNdnGqTKyl;%T)LCcBj* ziL|_VtIzd3UME4ze9lf#rhkVpx-x&7e{}6hmQMxeE(aH>E1V2SG`jWvbk^kn=I}7S zvo?ZT*HcY&bf>*UuaEHAL7TLGU4A@&)7XT6s^gjm?+&e>Gpi@xz^?JdnwasJUEYz} zBr1wWbFwih`e>_ja@SnS2G$#AkR_SLwJ_5kZ4?UPcuMs7zMA}{LQel!dclX<8V54; zg5D<+lXZV=B~De2((#X<$b91~Y;ct3)dx*WmL%fY$u@odY%#i`EmULUM6EiOBIkeP z33+1p`BHtx3hcS6`3zFbQTmLV!I-@hLZ7;2dDK2Sr{LEz5BjV zJZJsHw_VR -w7Pe;4$4~rD;rsS; z#0&)|My=UfWw%&`Mjsnq%$Hfv$X4c@yv2FD*J&j4dS0!70iXY+Y%Q*Y*qB?siTsp> zB}Y~E-RGQoGJe}EY!_9@Xhxgyu~QFY;xjY&Z#KQ(f1&T8WLy0~f6|D4*YlYXJEL8@ zQVtG_zKuz+vJKhJAx1S*e*07H=L$cGhQy(Zf}^`hGSV{^gZ)V58xLO~qqX<&ws;q^ zWli-XpHy9!He%;8>&rPgG%VcZ92GXRr6;%ambT4zW*13S+(-$in>bb-`oV%Bp|D_V zuQ^+)OK(!pU9USe#2*+LO}F(tu%_o9K66d)v}i`ptyi_r?WhgiebY|*>@JHp-MUuV zpL%E$ufZp!QylwlPINu(KK}NHCi(W{os4 kgI7KTnp5{a^}1TA z=Rop0r}9a}h}{J1hpB~@$nbgL;%C9PBu)4GRP4 ;+xStf EyS~tnFPoLNM7C1P4o@Wnn|ImDIQ-fSn>iQVwYn7&Z)}oJx*wiyLcnYyv)0}CG z9cjE`-YVB}`iKr%fK#h8K9Hko-+%+xfktc5Q&Rprzbe@F7D&in4OL?sq#Oy5Il(U$ zljLBzX}U+eRsNatlT2UdYS9v(y*2(-Wkys 0=oztJkot7}^tTW0+rN*y=kk=*9b>C0Q7xJG{pP+%!@YR8I)t%% z;1U!1u2lFY&AQjml; eW$0qs&!ITx*Y!VT zZO+8pKC|DH<7~-*puS46yTja%1|o9R*HTw=0-kGmS@xWb$m-d9fmF00Y9^? Os6+Gr`VG<4dfQ=W~MzxZM!&3(xg^wJECE$=x8?jxMG9a^qhB|ge}A8xv!g* z)!fI$_MkmI?vf;V51vm?v=={|<~eOH( DV%qTD!?|<#qJfd+u^WMh9%S4&thh^*-MRa| z!=>G=u@7EXmt _3ubK7qkxn3Yecb)$7cegm(voI wQg^lIk7v3|qEu zE^`Ze@6J+SQbbN86ku=ITzK5(>eEluX6A+DIiWRl&3EL|Pw>!3ii#)>+qL%{E;$ye zsCaTWbH@5v8u?yQ%5_KbD0rmjo9)!XW_G&s- ua&o6`m;;^)Oox%_7wU!l@kU zpQ|_w>OaIzgypnP9;m7MI`e$<{(QwKRc_1hz14gSX4~kgSX=!jL<&-~+j}0JsM9Ks z=sOuY9Ir`_NS( z36sz$X_EBJig)U9p*9PNZysBndFx2BZKEo8#w>BbhY`P&v%99}QkBuu+Gs{}&D_?5 zqiHr=h36b=-n;cUk=%-v j&y)1hw3gzl8Kt zrM7A_#(!zrm%;GeW9QxW9VAgB+L#h#yAGYY^t?^c3$7!kAzWU5?<0w*C^e_AaG>KK zTk_iZ-?+s;I(F`cM$2a66A89kSVZgn1*k^M?zsiktM%mDtYIFrvnY wo_3}3!|qb z^4H7{`n@4Clu22e#%>vWNFcTDnl>eWrg_x{s(zC#1wA_h_M9~>sP{_k$?krPP9utW ze%EfBYbm*HO-gl}d#E32{@@L|dmcMCa&@xM1kCr;9<`pmcQI+}XZ^z4u@;Tm2TDic zynj}1qe?7rzcaa(SheR~-};05^JQP~8eEXOyj~{GsNq^SrUUb{M<2h19kJxS+bD7} zQ|FHOmCqNiAMd?HwtJC^lz4HFM3xKlWnkms{p(sNsg>^>j=UV?X7fmi6s_p0?{GuK z%(5n!4c$9DE|x~*p7P+f>ewYxw0X?dNEwp$`vuME8Rid8d`NOE_nu=)l|Fa7ja|&F zK6!j%W>ZD#4$A8#z36^Ep(kmdllYV8V#ABf>BhEPWHMu%9!_J@N{}mT>K8wN4&iWr z#QY_HZPSLx(`s3qiMBFY+)k2yj$((b_n9Bgjf%W@wb(YCuEoVhF06##e|E@UZb~w5 z>hNjB0*Qdq%Qm%i^Dh+|g#!z$tgT3?_zv)9`ZKXc(Kb8L)7BRB9pL0O2=H9k;NetL z<(;g?t$e%5?pubc=fwHIds7*G1Du*iC@mxW76 MFEZKpSI4_7d20c zm5O;N{bEp5C`9IwZcvx5u4wc493}e(^!$juT {q)4BUm4V-r4 zCK`Xt_M_vjz(Zetu4vEghq;bDn$@1n(2d$Kgh>(a&~LR3_t|=dOPtQMyP#ziHfdd` zHg?r4@s5FivQpMQQ>9Dvjm$^qRNN-m9vZahYnw)Qu}??VI7TVc#tS^z?73L(k?v@6 z;Gl_l$$i}%ySC4Y;iMa>AB2TlceH+vt0pgMFbU`g?H?EwW)jeFisJc-ru1 EM;}qv>IBZ^ mNdzK$ck4{|WtM5hgFDhT26py&Q#C{=P z@x>lKSmVCf|Ndw#z$^Icn>Fj7e+fjihp1;^adDC2$W=;>Ybd28ltL0p^-5?$#i!4+ zD5(ULN(xHtN=kY?>R|lh!XipG5hb07IuLg*u0mB!<4M)v+}saEC6(&BmvX1F?%Z$t z`t@s9R~Je&HYhN-Z|I$joZ`KEd9f)~D1|gL_xoDf$6{mSw<;t(?|P%_dhf^7uElxO zyLa!dUcKhv`*8Bz%;Gd-Ti5t$8#|O(`hnx=DCxBQ>Q@C%WGY(SLh(hT Q!tf+&f25Rt{N%8Jv0Zpxt~rYJ;+Hq<*VF7#Lg{Y?q(sFI zD(R$qoj>msT#Vwm@vKbG%p@V*UEf#2 (4HKH=uv_-J`p#z4QZyN9XMrPDuH% z*rZ%xdJ)ea8e1*pZPxtJ|N6FqB9;~s6beQ0^X%gI;?Tl#@;4OUi7_{@|Eu}9Zrhi& zzs^zXUQ>&|q4<5Vsdkq~E5q*#)=P>XQ+a-0NU=r^OB?;ZSkQhMbv-LS>AuPVa$;QP z@@ui_mWuDY_ctqWT@=MlMw@j}`hazfp`(zsapUvfL#K+EQTA#a_!{~^gW^;~+3!)S zPH0v;{P0%^_fSs>*JE_XL1b4G4Rvb|E*-IHuSiV)4M@tdUITqy;T@fII(^_)AEIAl zglg5LQVW{o9@+Ac_Z<${k$#CdN;1jf_VdRBdT$08EB-daZv+Eaj;niry8;*G0R%9M zJcadB!{->luYUv9b1-5k=S)qM#ysF&{vg!ZpTX~TC{skr0D8!F`ICC5EC#=GOwtnm z^x6?S*Zt=4qkaF(+LKNSM_N+nV$*Al8@GNZ*3>(M^;G$yLoub_M`cWpF|CN5L459S zD3q)?sIZTk`h`hO4rHWeNPp%~j4Dq&@MUdAek>{G(XfzRD$yk&9(Jo%?|Kb3-mwin zL>ye1SUTDs(P@d#+NBdEGQ^@S57-_T7{fS55;Gw)wxiQjV}C1mFGYC?X4t+J!|GK2 zWa64BD@CKruY5j#i_|uYMgFVFkLL`R+J5y`pK4?2wBDcOVeZdNF+AMUzj-^RP1PaB zSCM6YvGHw~8BmLL;YnJ__8P@4HqvK^`gwEol`KU@*^enQp2y%vV_K9y6u&4^me* &*m`=)ZI50{AHOoKCl#bQH(2D~noPCgta+sMw2#BC z{fl+3q6WF2sJyZNF^mUXmwDjhqITKY5rw9=U-hVuew#!!a*}V!PjaHo4l9zy09CQV zGOETkb@`FTgPV0U*TqT{-QS~{la1PiECol|r|F%8aI}
zQRi6(n zQ_o&2_v4i(l5UP|>2An+#Uv7tnU(v1gpG#=1Au=8fPkdIjgDdFkEmlJ$0rME&Zl;f zm~zv_3S%2aFGqUx`yeT%VJe64Hua`hAz~C8CnJGo5^e*i^+f?A3yoc!cN~-iU-TV8 z-Sg^6Es;KhkyZXOgY53*k(*WB=)dN9sB^rXGbD-^RToA!O4X|(8k$knpT@(QnTgef zLkW2RyJ2|r(0$j4TQ<#GSWxs_JG4bCc}Cg!mjmpH{@}{_*m-2EvFo1pfm`);_OYno z6Y@75S`F(pOgWKY@bf>)E~gQ8|8@w)Hl0z!laEmA3{)`9beJhn4Lh7!uybaRA7!`J z_$u_}Yk^i2vBP+%On`rNn+{56!{t|)=YG4kY6VYEyP&^acZ#hO8Al&`SH~=Y+QUE> z%7TuMCoXrYWg)|~OWFJWszPrLO`)Z^Ouj_(dRtmU-&2f4i3WP?POUn6 EWjabu%t)2_j@KU9a+7^-ZC4-?tx z`?9;X9`0R-Bd)b!FyT5Ii`(n~-6;E(4`#cE3{_OR#HdNx9}(AilfU9S5+JlMajzIB zDvLWPAG_w=tF6ZN_ QTARXQF2tg?3f6qU23u0lV+{) zh|oTfnJp#*lRo?#yCr1HZJg9U`3o`6QyqwWi@L|cUxUrAPwWM0MK31t$Y;CpR7s>{ z*~-_KKdrnPaV8M8KTvLzeeXk!Ch_OSJ$ (J#EliPFo9Ovq8$WG{@P>(dbAKq`8qmFq%q2aqdO*{8%pK=~Y{>VE63X)@o>NR51 z*%htYji$suO}*;#+^_IS+@AhmI#+XWmamJUesQqn)(#cDepbwaRYx%qUbDHZCsX=% z=l%PoV|~8+j%PetSbHa-eo)0l<@0pGk%;RoyT?PToj3cu9IN|wuT#TtB(2C#e@lwj zaor#%qYWs(XYntJH|%kHpyGe*p5t!s?223RC+w@Nnk54TUK4k5Uye;r=@N_kEO%BT zqRj+d{4y 8W7~U^?dWS)*P_aMZgCm4oZ&ds^EK{kn2F~5?~W7d zUny&zc2o41IA}&VX-;Z4Z~iGSdgzm5V~c6x{?YT8yYkk=kdUx;jO31$xg;}3N zId8>8?sZF^JWszZwEWVcdC6z@KfUEC*kX4Wb-dW`;R~vxn-U7uM#Y~S#iqw@eOfXq z+uz*W#+}0v9W=8mC)M@PPuYqoTkBvFl%HnU+eX>Yfw9M_IqPJGJK4@gImLcd`|hiC zCjIAhakcgEJGxk>Sdye0PFLUX)N7DOoNzzLO`UHj@J?c@G-c$3VsFK!F0aZ~9js2S zX0#XGT;D(ZI5;Ovs-1Lnv0DF|Xz5Io!dFu9v_9f|9XSp~s{wQsFf~2fLFyb-DE5Z9 zVruJ#Bv}D2k8=;)x!xL}P@C@O`_9Fs$ddODUk|1e{V6GYn}SmDM%V2li~SYVehlk5 zrJDWju#C3f;JCW?d&B4``?iF{10@~O3lwGUB9^q_aSk l2!#@v52^d% zc8qgYR_Ngye$xTL=C*>)tz)?o>Jqu~!t4bG6Dl^Tv%I%iMl*2MsVg^bC0(;VR|7** zJU{ijpINdUy((mmeN-sF#tzro8x;&cb|mXLGTomd&Qg+{+!dpG>=xJcX71NAf_n=z zx3V96yiZXyTSM=4$ij7&DlI@(>-OGBN|I)d ZY z=FroZGLH+(GwZ24rj<^4yAN!OdRZRz>XuXN_wh+X$86WyCX#?Gwy_PP?3yQv6SeXa zLQcLLBEQn5DHae)i$d`q@6ym$Ik=BUo~b)(o5p+V_T6p^PhLcgmwS@fJbhJi3-F9Q zPgBH~ZxeoxGB#xmCm}k;^0H8~RWJ1hR)5Mo+tTMH@_hd9O(9+jcQ^2j+DGvy5RQZV )nq NG=yK)jjN*$oiM%R% z`d0RkNYlsnk19#0QmA9o(Y8?vp4XqSD}M5>?9bcJ+@>xXdhawt%z5*p5!crep&pIr z)rNBA9=P>gvQ?{qUf#WX@WaB7 nL$y$@SZh>q$d7OKIg bh`f}QF=_u5tdv^^BKV8mTc +vn?*+I;9cc#JZf~ zw`UigHoUhHA3l+;JH}L0Pg-H|_Q2%MX1g#$jI%smzfR|2Ba^<*p-Am!Yi!tBiFujc zjoDa;lj#=ze3`E2v-5Z ?3KVU+#g z_w!D)x;dq>>9g#LMYlvNwdBb$`@PAxnSGIB8C=3Y+--Tk>M1jbWEZ-5M$N|0-swC3 zkQyc8dJ;p8j(&c_FOQd9Vp?+<^Gen&c%ieszFs4L52i#RxkmT#&zrK-nz1h_cApq7 zIoLOHY;K-MVXehLPX`N`-!4VhQT8A~x#HjSPHd>x@QzJiR~&dGVnpjb{q0C>Vj!jO zxb05uq-3U|82W^^%4?zB?u>%`A&;!dHV1x|i*IK>Onbh`W*Hq@aGH~P3EQXGPSdLS zsGElTg24q&v{dA%a-v8{ny>tG-{Oo;jbyUNK7N1XqvfRcZSC92_PiPU6^mY{S=9VO z!LFzr=Enkpk@mNKQ%bcXy7L4Ib;nR6cd+60P=Zgm@=raVxwGm#hF#g?k 9oOqM<@-QNtw`+t;7b{Z> )nR*3p1C6^V+RA<|s)WI;iV4tj8dUD`NMQ zb9Xvo)3q7*AEtU7NyPQmJEs^El21<7^*sN$gYJ&}Crw&Cm-pv4J|9!(vR1T`kiWL} zYs6r^M$*-Y cTb$t@xr9Pd$$^Up1*x^QBQB^O2MIh(E;^?iz-MbxA0 zevb3Q#33 KADziXv=O4c@_!9n0GodgUdJGPflKw zn0Ux;)u-!1$J*!mRiWiMu`vGw3ObJR>|F&;vFBA=(GV32qs30K6b%~Ox+fV2xj3jU zl9R@!>v-v6Al-9ex?E745cFkX_!&c+XrFHWY{J{u2BOv5)Z4qSv#jMc*smx$E!V%0 zvpJ}NjJ$ i$Y}pUHcV%NL$9yIId_Ol| zxc`uy{ )OcU|z%OyLp=wMbIlj7oiFHZhMGkNd5C1V$bL zop*H)tzB%f&*`4|+Dy}TCH?x2yr=i>D40BV=o+Q%pU>G$wwIeKqY}e YgC-hjm--w&YhnV$ zDOOSRP^O58qZRA!*!0w@wfCI9a9`dUo7%rgXP|x!70RJpa3YJR`Ge!a#^y5|^;d4& zb#Z11>DIc@?{4ch-@8l5^GDuOvc?dLSY?<0L&jG}MY% ziNDGgj3!l$dmK`uu8#$ zUfDA|@WzHbPS-$+X2{1;7eHmhLD^{e_03O;%)B?#aH+4fY75sI)MlYlbmcTv_EQtT z2;-E*VAsH57C!=Pm5e+Ce*;vdYlrLIRDgz r zHL8?)-{19-@vW>`1Bt%>5cYH`@_CRqlCqT2hF9UcSjkqGoGSzZ{rTv4JM(iarS8ux z%?*tgRld& ILXxL|9@iEb#cE7LffseBG&4%dxfp&f2DQgv-%f+f%z9yu>0 zf0xC0PE0kr5z(78gaG+a@l6)P5B49R!1!#`_fP!;!%znE?rID&-Skc!Yed?mD;E86 zutwgJ4KFJT-_&tC6TQ{Ln>Ew7Umd7uG5FG|88RV>-c4&A&=w3i1BdZJq@}2`< z)Q$ahs^V1LlA^A9?k~=L^CWk7%LUR3uG#j=OKqY7&DyRf=rA)UWd_ uL3z!>Vb*cD8c;F;_R^SA=Q2<6Gv9P zS|3ga7X03++n`;rHF;$n>;vy)Pm~5o4@*U)g*qREd(H3fup3D}Fu0nkBX-g{z3YfE za8w!s3F1t~LOG_SF@jMfP_a2le*mO@ zJt`=GZZ%$ak1`2y%}e+8EzNz`vs{=Po3UJ+zriEG`O%;SeyIv~Tce&;>Y3y4d9b@s zMvzJ_L mhDEiUA7?KL3nYg~`cMhtow z>f=TiJKM~wG_ow0@8BMpe`syK8O2;xaI!5*s8UutJ4D;A*2EgAX4CpA<6P> v#ZzLH>uIao?VqJTW7`KMO@vBgB3|AZn$%E@xj&**iq{ zDD0)-#`#=YlO=E#)uKJ5lAFNUCF?av!FH5`tn%sbS?q|T|8t0JBi}4Ew{c{fF8!zi z r3pjYHdL5!~;kZ|3csxy@W!}-?x#A{IfQO)^gi4eQd zG4(~eVNO+V!^Sl2=s@`eM!`jSWTzV})%5>k?(d!C`~-{}NTQVxZu e#AUx`hTjvqxlQ`3)ND`;E)k!6b-)4G}&Zu^}XU_BQl4g3Wr zff{`-gAY0eAZaC(x$N`=l=*tSd#CIveKA(M{2nhtjdPQlH@A|-8Z6hiB}!Mq;7Oa( zz0eGgyKjfQN(4UUsoH&KE=1x{l|NZ@w~7V&kDZR$?GS~e y&KLwb~vi@GhfA&N& zik>V?tLL0&kIsQ#3lo6rG;9W>+V{n9@BK7mDo^X(HEJ0P;OsK9eBe1X3-vn7spyZ0 zalKw$epQ~z{u;}_NB25Ex;?9sMkh$lp;DxZ;NZo_&Gju+*?AMLCE=Vc6Dfp6BKqxP z_UU&@Z2Q;BjK|BJZG$K*FGUC@E+i>TzDFRH&g;wjpV=@1;gSG+Jg MYPcI z;HwaR`<_d>^@~Z1B0*yTop<@g&lkzgyeg;yJW!ui9 {UGcU;Og} znb4;LjGezCC*y;7n$c^PA0IJhwC%Y(dzdp*I2 4+=SNM z3i*UiOKs2<``0L?zoN(wK2kjT$a(rfw!f2bhx(Qb@E{OKzS=?s*ip7^udE4{!`Y_F zV7tl9MN}q3J+QWWoqHH3W9y)*D$X{jq82~qzR0NZL%2ZCJgD{ne)9M`#x_$Yl{9|+ z<=?X_5bG6Q|8Ngo{n!H&Dp_K4tF4#PamN|HdECgb-I}z#tPvb`$=cS47g^HxKZ=#5 z#18pZg4lnN%YzM5dPIM$!{$t4p$k;b@j9rdzR?JBi05HT`9GU35&aOuA9Jdz#hnvT z7aSp(oStl1;}WT%^uk?@i7u@|qbA_$bumM_F~t`G4z5oDOe8<%x2|ZA8SW&6R4*Ei zwTO;YHXY~tQ#7i4$IUKPvaYu~$best(lf%(y<^&Q)spx}B)N0uDpC DGnqF)=`@KPa;6oSy7T%=NF}(W$jb3a`DYk$7|Ru=f^9WOuXz)woENLlBQV zAkT_&K%$oYwnF~Zmy% w`;%OO iS}1GkA}SyK40n-1?e; zVfYg6XpRAaqO-)7HTz6}y>1bVKFvT<;$9+DYVc>z3yep>xPyY53WM(u6>0#nL6Coi zc(YnUAi_F JruQxkf!K`Ao@a6!3)@g->ZHf{&l3{>`L_=`(dz7=CZV)Dsk2aIY|QLdx= zyPhn@O=ESP# e&&JXyt zUoSV>?Vyo{DhzvAmptaDQ_|XJVXguin1R%HZ`E;whp{jLZR{b=+h0+wF#ucunMe&g zCI-vNI99v8UZcdj^<=)wjNr-CH(FfCZEGyb;#onD5*vM3&W1!ydJJ1BasQm=gs1u> zf`8?j2JD(vna>OH#0!=?9Mwz7I5t=~?#U^4Evh>Q>iI>NX+k{buQ0HuyweT*a<&-p zb1(@n1jfft4O=3phrOHcU+JLr8N+f55AlOm#?{_*5Ese*0ZJ9i+b@HZ7?_0T1j^Z^ zHcHAh7x-0%rsh^DArlN@2$-KL%1%8<1D5Atx5$H-3()9g{-ih@Ggvl;m8lBqUL?v< zC!Mx_^t5IA4%7FxM7mg6ljb!PZ9PRKf*iQWw7k`8gZsdO3X*9D9G6K2WN1!4wPJm* zpNJIZ36EkOv$8n4i)*eW2kKc5%73zqB-+^t*a}`;c^UT8e8jf6qHjL2^ ztiDZ)o;j~JlF{(eV-)eZh5|SC2e9f331ni(aB+rf?07aSk7mHJ{fSCDy_;Wt$oEr{ zAw%RC#rtCfxdA!3?#pwpe<48t|0WInSi~wthAldW0@nrbE8w#O%`zjk%a2<)Ssvuf zw%*~07A>WSeE0GMp5H{VG4`PRKxMNH%k3JPi{q;j0ms++=l`gC^80g32HHNtnA1fG zwz|`=!Rz955U#0Ut=H0wr_SrN&9T{-F@ !x}G6EAtPg zSHWfu<%mXemvL7Qg5ef;fQI$rfMYAna(t}@1ModJ!))ci|7Y@it9X}FeSaN;6iyH^ z!@kM3zzbt0s>AjQ#nR1xS3P({Jo+T+>hG$P!Lg>LSJngTj;$uEek+9kZiJ{->U@Vl z#o*OoSatn^Ro`TPD0+zIpt3!}3Ik{d5VcRZuDw_$6)RvD-$R?88XbzBw!NO2kA8OM z9V*!rs$e^<&;hz>_3t!*n@5KBdBsK0%nD!G1&*GqT1K-I0xA8GJy*3k=Wlh&;Xw$? zneD}ck#x=27h6hf$kxkRBKb{G9>>wm6Cd-#<8T`ZzOcm3*{X1&r`@eE^#EqqJ5*kA zacdS@tegh+j1`g}$@nrzA=L)nitO>ZJ6%rMl7ooP44lPW&O+pYTsKtLET?hJ8!sQO ziAIcTGzBDRJ{ijSw+8A{n7YHX8X5H!C2ivS{rUpGBm=3f=rzcCfS%*C-5pH~l~{nv z6ug_mLAi -5T29*jSBU6%L z2S)ic5GQAVk_+NFt&*6lSv=Vb^&euih*qh+ameg~Uc@?RcZi=Oh+e(?IK)d;{=-G| z8Cj>IXVp&%?*i%KX9y^248dSVyN h&XEoqja7SC>ukI*)K_(W68PR%{n@ zLHZR=-JW;1EkwS3n~Ez-usrDV1vtxR=eJhP4t2uNl$21L$Cp6ri7C4V3cmSiM7Ryb z#xFE`RG&b_Yozy6@b7Miw6gbcDJJlIlz+;&e9IhDU)i*%!u)7Xfyg)@VAzV1@2;mm z&m<2H76dO_6r0K@es|yyoGJ>{bf_L)!x_~2=! {WIw)=XN7PJ&xx)y~7X9FWILxG$H7mfLiF=zEV#ZS?Xeq6{SXwy6RFHA|mu zQkZ=py}g?{j+i>L^2io^vLEs7hZx8wF`4SrU s_!pK1`}cYqswE|0pV8(lGyu8NxZ0n4;c)HZIevKw{mOF_fws_ZU*bq>7{ z7>1mUWgQtc3TcyB=#)`$=b@w?6@c&E!j;(jj5?lVORDGcwCY-G%!*CytDLbp?kMmo zzHMn*Sj8e=kYQuT`44~au`&D^382szw~qvP4WG6Qr$(GeY87>ghJWj_D!mu_#IV2D zY?Cguh04}a{Et+^Pf)g@5*9!soFF-FRI}bhH z#!ffh>$4i_XO*Quc>&HMjLqxuAbRye-#4#u9ymU-c&m+SQoHT?iQV4OU%_@iqI>Qk zEMQXB<^$+@l6Hepfg92yWkrtNl?v*GHwgJE5Xgsh?4Z9m>7N$Jo}b#B0Vg_&q?^du zI6nEKx;`cHRyZEklOIjib)znP>RJJ`{?0ehmAn6$`udNN{A}eg&dWIR*|f8@>(_`N zkN1VX?=x~9NI$YDL7*V2gmdu?)j#_;8J-@tPFlp9O$^PR!yvtk|91}$>oWFIlA93E z7>O4f5*nK!u0!S qjX?s3sOo-z*ew_y~dor>*#W6!ZVGD?#}xHHz=#B>FEYof>~^*LOX8M2s -l>Cv9;ovK^&TTZ@68~oe1oDe3$uGP6OYmfO*plEi>t@GCym$MmTIp|$ z%?H0eWw+#bJm>fOU22`BSLvQ63z5ReW78`IM!XXb&0q$vJ6G`piypl^u9e@zgOp~o zEphkqfSruW^6{ Or7e#bc}VlltBHkxYI59_hVC&dv4Mf|&ac-Z+5P z#xHd+y;e&FuU9o|##=YZTdHL;InZ@tBx((i&V6cGD_yYX?e>GwaMSLtK*N0|khqyP z$ec3=*r9jZ_iA5Rn(23MfwDYH`)~ +x1st6d%oIsQ3zY*wNX=6(#&^5+uEnjZdPE2T{w&)@gO* zmuY)D>B+@G)EX=;`|+2(dT9|YQy!y)vjNohqcW#VjoLrvWW_B7v)_61bL+=e6aUwg zO5ewh(U-MwAP|)ws73B!9)}Z?mZeurCYp9BoJYVpkR|M=RobN;AMPma;WYeo2JW-c z2lqRkBHa)2fUkc`s1$RU%=pWc<}5whA1oq|`u+eJu0C(L4)LUrO+REWx>jWN#SG5D zQ>OL70v5pd )+jpE##BhSXy0)g!PpmQIBhy`}0zVSG`NGYMtxcciQ?j zT-vkTyX(*rZ7A3B!@kRxQ$G9L6T|{@mA5rH)Oj5a-CJa_nM`Q3bykGhxxBs@n6&+# zRjF%erCrr!Q%cwrUmiU7yv~2iHCF- |@;hujB8o!e%5M~HiW2R= zSio_9!A0j$E3?HkoB;yi^>3i`?_DWtIn!2sHoUrMGQB}h^0fJ8FQxn%j6 6XhyO*-` z`ss@|dy~THef(oFL-)7%wRqHBj_->9Pgzvo_}alWjR{~{X4s=L9hX3dLd!f?X|yu? zbEmpaoK52PvWvvCkQkegm#_-|{8PEY7tzySY+t5U=ge({(j;< _n=Bs_6skZ`> zM;-b3^2)Bw7vCT19crqs+_;z2rMD3B-k~~NGh#gaxY2y|DsulyEvQ4MAsZ!YND<$% z%xL`L8>Y(Fz3P2}X`VnH@9pUO X zd;;VvcYQ})LX^jD9CNOu;cv^ot5#9KuRrE?wKviI^RR@y=(!IAX!QS0gMbXG?P)<@ z?y_^(7!GLg7!DZPN0mU_t7h%lt)E4APx%KWHmO^gdrukETev04QorZ3F`@;wIm@a8 z^Wz~nPl3 ?JlOKe=o){I-*JYS&}yi?kerqPUjs+1#gk)@I6>Gt(Iife2+?H5P~{ z0kd0smE-$eFN?~xfA^U*D$j2_@Jq#JXjB;3Ln&9XTJV)FGm;z`NHXKf?XeLaJ9<3_ z>6O-FSIdWn!82UT6SZ7lqI$*kdK0e$!D^ATn{!&gqsph;N=|zHEu5lbByy!*vRo;n zo{hu#(<|?6?=@-5suX(tK_J>f?vRaegfx?u799B%C=G#n kGGweNDAxhE-DDTKt#VSWdfl&g~P zLrAZI !_L!89 zMTQRHNR(Z3VBO_2MF83|e%1X9df#D0n|@s4l9+s15ictcn0$O*S>ZnZHvxXq;!oXf z5C}ErC6=PFLfSU1S+3F3e$JLL$_%?%sGAjk#HG^wQ?-XGrwdu@2y)&lVOV}#Srx2o z)c?Q_0B_k%UD&w;O6sge!!o-|kROnzi_f|!lOknDBxvX#A)JN}>Gs1$d!0_lX4~`B z_39gn;_J_j_d-F+OTnr}015)#eCyX3A!9JlA|c0Jhm|jn7rcW7?C)n8H#0%1hq4zk z;9sbUCWqsN-JcD=vWat&w%WC~fXQ?pFFc?+E}7L%eV+V#3Din9HL %vAH z!A4*r9fTdH`QDBgTMLoN#)70(tw)c%XeZ;dRi`OC`J5x&-zRwHu(Gs?K=zgN7z*8Z zb9iv&%<0%Z>PVU8>%iy2E@cM>j(>~;2zWlAKF^0l$- G>z8wR8(WPC_W3>SWjJ6 z>Og)4Omvw4Ufl@>W$F!!+nGK xb{{_+A~Cwh|lw>FN%0_qU=SV%b^>@fl1#0_&cT; zSsQv;^Ncfz8`Mb(3C7RpAf5+?V>90neKC>j1HE{{u3TB-8sY|4F!V0UISPro>##z@ z{ONdUNvD4w4cBW)$lMl_JFjbcCN{xX(?*GL!4Ei&3dUt=lwO5AuIU|}=|iYQH{>`z=jbwb#tqs>W~OnYlz|BY)g= zt^zC5tNYl0pR5__{Nj7=>B^tZi!#5lM-k8?ByQG{gUys)%woXPU~r4p?{bE9}0 zbfg(uN}A=FIJiT@)BTC;WesBOd~F&AEyh8{d91(qh1DQI%J@{Evzkh9u6O-%)oT0V zCz?KDOEUCzj2|Q*1!1zjQIxM!64PY7L{n^c4dSV7hS~E6XDC%#oeS%Lnz5EvjGgze z13+n$e2B$)4a^l_=yeAVR~r)@LUU6`2TJLfiucy>&*RR!G@nS~F$b@=Ee#{nu`spJ zTkZk}-{qQ|6D)9k8ClLnDB3>Iq~-X;X22wCOd`Y}TDZ3FnM>~oX;-W K^0U8J9ge)h zv1|{ Iz8+VloD-LxY#SE>Hd8@NEa;5WZc55u5;XWR&Z0l4WD%&;3 ziDQ|>T%#Qg*y;Ppo-a6v_^$ztCmLt z-Hcz87NXhOx=Qm_M=Pf}v6#Q>+vck66cMi)V(x&}n5a 1L8Bb~eJVHab-FGPI4%r-%l%zWH z??No#2 `)L&XtJGllcB`8KI|vCE&;fdb1-_B_%y#@ zt~>GZS(gI@a;g>FW@WlScHhb3CgOd{P{!|qY7uQK6FmnDV_A|Jr}R+57!ENsyfC2J z3pb1z+&3)MJ#}16^(}~X$8p%@&IFxj&y`FGrxFf19l4+ts8fyW;?&vqu_C_0vcf#3 zEArP*%XzhbuZC{bHaz3~&d4Mxkr@twNS9rmaEdpgP#eVyTF_-AfT&r Gd}C1C+;A zP=dF=)Sq}I$B7;c50hy$C>vYkWS0s#Gf7mlp`YmHV)n2$9@WbNT@K98Qzz 22bE`TLGe0@6Bc9dxmFLY+}jvX=WVezX8a2xy{BYTN^YJ(RyHIS)J zFu#v$+}KLid7v@m?|uEbUT38{dwEI&o03@6gfg4P1I$Gj2xPqhtEwljlyY_nRobh# z)RQ#QiG^>e0`nUSajJwzQxCK^B<^?Es`q45@n4Vz5nS4r6^TC`$bkE$4$dmVcw69T zx|O`*zFE)T`#BN6;!K*}zS@f>i3yyAvMHT^1+uT)sJrNN7G6|Aow9sKtN@B#lU~?X zsrkrA?h!M` XC7d(Y^$FNX&|w(T zDcP8J$Y5Go^aF_C#dm&OENH6%xNin%3PMA@zUS4%+(q84J4u5h0m3(C{KE0pTuXmW z`S^4e7;eK%*kXRDYd|5krm%E@{w-T%n+D_dCgCu v-GcF0~@RP`6%4 z_fr?RAJAd2dTNRkE$W{2N@xtvg;hD2T}4T4hQtfKak$#wg&jvb*1y7)$7r}u?&I*? z0CVXI=tULZVM?4Raj`uox<$Ug@pc*|)4ew?f?un+ui8GP%6J~MX}=shqOAv$aRdPE z#piBol>w-?FUghD^QyUj40DSjn<8h?UPAs{R$dLh)Y{<_Fcteegva_CuS*Zp#hQJ^ zKs5YRST9?WH4aXvzPj>c$$Nam*e8g-+P~4l1%~d=bwD_ ;@WGaohWVVP(LZHm80{)aTZ50X_q)5gwzqIlcM z2nmSb+eK{`q$qnst8$*(ZRWGx@D%1B5-bmSu?ix5&OZTx)@H!VshJqUg}=$IifcyQ zwoX-gBY|fQ57|8GP?57RTw>{VZkrijO1=2|W0d49)KE8&Y#66bpEX*V?m4qVlD2#T zZOW#j4zJHz@V)OkuMjPf*Httc;XxN{uD+Jx!Fu~Rt^G7I?pwCxh8@D>E-K1Em3ny; zNp7kd!UKCjnJu9%WZoW*dLL6@dFA|5)z|k1`ZM5S3U429;3_wvn$z@F7khdeu9uKM zcrVa)pjcI|ycq7>CApIwO+B1`A6y0iKhN=FB}Fi42>QIHaI&eJU5qYU`m)fwT~4Bd zTP`!SH}Y+nf6Tz$=5C0!Yv5g2;A0pXOSBtBIlF%vQ58~=O7bXKIyF@1GY?Gucv$i+ zZixvDb8+xu|M;XhrcC$CE4@%$`r~woXZQ=pl0&ieDB9Vd3e-9+@I+cBTS~fUU6t0O zQnvFYkd7&EMe3=Ne-h f2T?M?aw0X;cypvPhlQ4tr~=AaACC0u$7jw$mx8oZFUTs^ssXO2Fbq{L z>bc%TjF H08K_g$ z-g-_4PO?I~<7qKp?SY8RQHd}b{&sr`jdx&jO;g){)Ab-FdeSdyZ}>oH`d UWNvrLtUnJZEr4dzu%tyDYb8Zigx8kM^_O pi~B zr*9{NTxsk9%igbRsas&Sxa?u@%jAGI*3gf8a~(;S57Ow@{Y-5_FVq%tCJzh~fuz8q z50VUdu`zI;r6+PUr* D?L@!hbZZuG5`=iM- zRG|EMc~!?+DVXtUV)tyQj1zu7Q)PM)=RFUPm4f3JB29=yps-Do(R;919;q8_dxta4 zZx+%&karQN<|XfZ<5d1@WIL= b8Dy)+jFd96YnHPS@t)=O8>PefD~E z^>hR=WOux&DFL#Dix(C=^Iifh$`mPRllGY|?ylukcQN{ruP xERAPoeqz%8XCA7x=H&jdj zFs>K+A^6F7jAFD-okH!EryDkUCNP g*g*{i7-{Cck`$1Li`@Mv^Z%-WMBpA&8DHMLs`J!M*$!7a?M^G`1nT%{qLg;J2! zq3SB+b4rQBZaKZ4#^S9XsPs8Q0MLe6knF+k EuUe)3UvKB)yw2$0JTm$m>;L(9hXGIFV41_TMEABs6%H9uBPT%VCXCbv#vvJ z)Ua-}2uL@2Z-;_^jZ^(Ef^$q_5BH96JsPfp^LBZpf?8rvxPW#xuA9$>JSOoKyHa6) zl3Y7a=vPkoe458UO8^3Yzp95fN4@|`;E=Hjo;#RL_PvwG$TY*LV|8k-cjT`ikjFUN zooH$D{DLetGu0rnqx|-c?H3O(U&c_Bu4KB}lr8O4(zvG^e|$5_J~i?
$wR54yp{gZKplIO^{4i?-k@*OI~a(pm1Rt&4Ff z|A^NS-tn$WfNWo}Uh`N^5p=yrll6#C4h4;47J{pgY`82T+PwX*aVO4P1v6<4m&L`H z!HvfYVmS~Nn5iOgxJUeL{Z+8J*8t1PoC~Qi=wHu}V9vN^pr}9HTDHL{SW0oe;;{pq z_+6Ogj7OpE7)Y~)gSX^zw21>(oV68p8{?mSjoOk9@k3@)_ {rp^~s(UCN%ZZv9j*^RKa^!Hr1 zq@2hFq2XJyBB0fJ#!hj!s6Be_p}F`W`E?n2re4WB(d+3}Fc}3r*OCuhunW7aW(27l z5dfaDHOPst$?kNDMz58VF1X31348_Xk4Vky{hy1u-^&7k&9N21!e1xb_&n(6Y%es^ z3@&_sWbEmgc}h&gT`*Hzu?BMj<(Whcx4b+Nz-)^y&>DZX|zm>umlZcb|Z=_ zMUUlV)H*dt*6NkmtXI;4{zu{f_9@C6W0Q4PKye|0d07SXjsWE>)QYI!cLtnI)KfXU zD<$;QGW*@fZ=wcbv-c+>LRQ9Qn8xjfbElm=f-+omd+tX(I$sEBr`);w#vUVRB$_aV zb(m(V R6z39Nv?-5IRbq7Q#Fxz1SK#Ym@p{&l|0Y3v8~thm!> zv?r$E8Vs6Lq(ZN(m3Ac+f%J-_+4n{sH2vc{^}04@q4B#vg`7v@E7N7uukX%pBaq`P z&{*`_#X}2HO^};6I8A+L*QI;yxOTL)HlL@^c#+RNczl9DrcP$SD^J}T@vLQ(O&bn; zY(0>uo~5daC_T7@Ovr8S*om>@6W7Cq#EWy`6{pfN?N0VHiFWhSU$bXzo~)Q00Se4t zx>#eN+S8<)%E)9I<+2sN<&^eU18FCgL0-puYix)qcuaU Qv8CJG!3id{_GraAvSU zU>-zam{fIU&ckW1b57gs&n%?&-t;;_WQZFXE$~;<0@iN@=Ogf@a (iGkxfVii-`43LYsBVpgu&vC`@fo4+=O3$Pq*Fo$dJIWApC|=`i+k^?3xa!k$)IU!LK@WGrvz)Q zx~Ka`6oj|zy{#(AH2oPV&V8w;8ePmwOYi)^7!ZfOw!XM$@J<%yGzH#yHz5I~ND|o! zS9}FSTf=3VLR!tAfPN|Fmn$rlF@j@4v#@E3RD`j9ED9iyk{nLkA5jfT!b#DXF+SZ? zSI1IHWvpMnaEZvNNsU?Nh;eBR>f?c 89H!WqC)CVz z_k7uUZ;}v>B3F`zzWW`T?uoVrRq cgoE>i2B^;j^^Fsz^ONMNn zf2>*+jAha3xAKX%Q}XcYgRa2LWKEsyM)&WZxF~(0hY!Zbjt7qj=Q@0`Sss4={N U8`CO!X#C$!9uMELi9 z59L)&XdL#I=+(QkM0B=(wB_GM=tz`%V_El3iBCs{Qnmchb@nvsJ>1ER7o2DqLy!jx z=m`9pkwhDbNxRn8Nsn)&N{CjZ9%yvDDmBhV9-RoT745QSzp_Oj9!B00XS;|AR^;FY zvnS|DOAhi~Y3|xHPOKW|C9!}h5QbBd*nZBP8js2bZaT@2Tm<(=$hPy0lfN((4y5%V z#M77VDywW!e*H1#lX}*7zuK@SE-($GHZ1ZOFW3nZkj5Le237_0=EVlRW1F~qsmb;U zq#D%e5r0BHBkT<{Tdk6fm~kW}xo##Pe8^$D>49t=%7^_Hcj{7a+FIc@t$!0cOkc&$ z>IYvfxed|V spX@m zVqbDID~N|)n;YIP_JV9`kwESpL^(jJ#jTQ3-34Su1>5ddg?LAjP*C29^J2Hq3o**5 zd$p=(Qdr(Gd<_ttQxj8-7O}?0`d^<`^fyOVTSXb{P##uN*IOIow6s2pEM(*`y4EG> zDdAhhRfH!HL84ZIXL;Kb!zQ`Pxm%EXzoY-8$NTXd82bMh6YEw*-B?l!uk#mLu-NFJ zf4hzAyT>eo_-R=mrs{xIL7-Kzun#!(nI^Kv#$~0}j%N-f^@j+emn6l;CX?RBm{HWZ z+6xWVApiO0psnG9$oeRe3O{XLR(rO;a?qvALdu+*S{L(a4Nku=ZxI1@%Wq3d_@1Oo zgjpsoaPQohm8P4bn}v>}D(pU!zFp+b>;M?0l^zn?iR+5PSc%XP4k3S1V6!SfX0KQH z#wln2N!g2*j2sawc&!$jBvhQ+k~7^-$8)c6k)wpxaK~GJ|BWH_1(UhT4{dK6rjc4~ zUm3-M$Zaz_N9pvmYzYSPlzcF4&f$~TvBduLTT-P7&*{O4DHw6>>Lb9GVy~$t#Q8k$ zZ9UJ_urdDzESIY+#psFrc8oKedw84=JwqwORM&Of Y?_p_}sSu*p97zZeG3f7*QD(T^ z#0B!I77xC={n)~#OwKY h|Q>3vjOlG1v>q-;@(a2*6U|GM; zs|Qj~1K<1=li=^}jYC;($8o-;O815g`1V8kX 8o)16K?GA9Y zWO+H9!-sR9TaL}(k@Ndi2!z@Bb%K<6uZHnxKb6Ew0Ja+6y # rp5wa6N>;hB z1I?R+$n5O)kAl(ivI?=kJ>y4$yw~GdIf*U@N@A(!4o0E~1D?Jh*m-D;Ys~jJ4&U2z z#5%hD`JMkzvw)U`p&w&s?yow58!x+3*i@ed=3?w54Yp7S@;u^VZ{FMB`%m~l`|Q80 zs8rQ4g FrUV^Sh* zJ^1h+(sR}8a3_7w-%%5;jfOW2flXF)0?B@&D&4x5uinu2Ve#gw>gVmG^hd+(Xst<& z _M59#buxpT0!LqL4$x2tECv7oTJEc8Q)=BKB&L5sfe9xD<1T;oA+f9ZpA z;TyN`w90N$0votZtvZ^(3;4*adu~B!_zx$dN|I1)D~-FyWhS70iu|}%W&g~BFYuBN zGTZh^6M5*CiwO1#=(Y#UXGMklmFWF;e}Nk&SipjxH_6RH>oQ4>MnRV8#<;uVzqc(u zO+mtwO7HYd*8r5W3}%_l)9OWI5H0?9z-uKwSk{S2l+3?>u!!+H4qhg0w!^)Hu~$2@ zXlL7u8i`ycG>dkgyrZ}$>=Wbm)2q8p?K3J&ZSqM3%(40 4~|B zH}9M<3XPA;&pobSaq?{z8d(56+aGNyi?+Ec*Va!&UV(-ieVb6Ep&cl5$Kk3BAjUXe zV$kCR{*NvZ6XM2jzwrly#~yjM>M8CAINuPYWxCb&3Fq7N!;ha@2j`V%R5{`wS!^wh z*)v(U8M a+-ukWsO zC7?G9OwaMUOi*K6_Y!~@$K_iWyVr@K{;&52vr%+|S)l6lUmBX-yIe)L`1;c}>m8a1 zeZqhgG@SB8r$f}zY2QkYcH#^Ay*K#$`S8O32wyemRok7duc!bw8||mZ19QhV?xWsg zudT7~c*1Qq!2=FYZB7;EnklVs&VIk?lm#Z@WeTnoOE3@VjbZ%1nAclwviMwXF2A!i zLU)n&W|9S|2EoofLSObVmco2afXHOU0j7ziKNuNYMZ^Eq7%=}MTw3>X#oZd@9xR@v z!EmB&=V^WEThep4V_;M*H?8YuE FbkP+{5GsVE%_c*gbKS<}2!jBR{(B*5G42 zp|bWz0{n6f_e`4;X>l+3Je|A*3 zkm#;!=1 iPfU%2QMhq$s!SI<)f zy(Fq@3XAfiiWZyfqNmJf;m%2ns5=2W_+H+96>3N^qmN!!SbhK~2%bz>?4>vQ>0D6^ z*L?qbhGfg$lK`X2&4(Pi58FYx0HA3xm-mmKbf2=za8DP$s+CuBVw1ws;=cnz-+9+R zhUy;%B&bq7oZv93BzqaOX<)WS%yEwc;cgT_!Stp`oIGvd>XccUEoD4Ft5n;XY%#nC z&VF9v9}9WY)8Bpr>QnWzly 7%*fc{ zKOcryJv2zTaVj$b@GP)%u71cE!=22>Pd41yWR}4FF8vO5?|-RweD(=JK3)C>z#Lfx z3?=Uf?9y03GIqAR$B=rD@_ITM|Ck>cQXBtjkJ`Pb)UQT2`Co?|&u!0A6q~+1H|}%m zveC&0Pje9Bg+tbj@oxTk-Vp@AyjTS)9g!J7vOiy0>Uonn`#5#yshYVJb>Dhr82xkT z{IdUlDHyh?3@E*XD{+W|8n% X`uvhmh<9XFmmSmzF XgRM1ybo{fy`Q$Dp z-3C{eX|*m@H(HW)CC<4_wP33Wa?sw3+7ZIlCaZPn!;&rdX4aA$_~SuNt}V>q67EI7 z1y8x^0@@+{L(jiQzqd w}zckH!8j&-uF?v9=_18iG;}xBV@s|C9b!;k`0bi<|Cx*yB;c4zc7~{4{(Q zsh_m_EHnx9@3SrevKKvW#;y}Lk3Lznf7_s_Hu|nz^UG*qVSq@^0WNrk5>Q(P+#lxZ z=9H25xhevZNqUr-k9uA!jtqob(X_F}BUi6tKdlKd=>NdpTK)78JQt z53@rE^8ZR|KQC2oH@(?1Vlcc+uyaH3vb~a{#!Kr_f#>lrg2?QHggE%9XSDh0Z8e|% zz{nY9bH19}>J7sstw+|cb$qdl`;314mROb=VXk{PNErThhWDrQ?*!Gnj>Y5~Dcl|n zHuHzPrm0qy6pl(l9NW|^+WfkRHL>@z2eD7?ePabaSf(KT^Cd3&KhZ{qL0s?5EacM< zRKy*>F&GVTmG4-+iS2vRO|Sp+A^klm;$TO-Z2hF&%_ILw VR#W~_eAzOV0QlNd6MbgjIg^Z1)qn0H3BBD-n7ir~BtXm*`@ zom`3hwVV2KzkViZe{Xs}{dE3*B(t>t; 9h;D@vC#xL4 zeuqF-Pz_P|;CGZ;)9_Z^NtTa7!)3t0U?+r2Ra y_!%S*Maj;NkO$yt%d CP|w&X;h}zcx=-?v^VZ z7>unSh4tT>s>&rbjtgb3qLzT6!z{}jq&GMM@U8TAqxz`iC8@@;;|6 #&KVU3-Mz z+>yTnVy7it_z#j1$}#t;Z+hxB4b+O%G30{%L_;Z~*WYHM$`&{tWuDdNtE36{2Js)t z`5Yf;cYyb53XR&!vOmm6^Lucb?buL{v4a8BN(h&SmQXXH;;-}Z!nBq@3`2MU_rB?E zwLfDQF`1x}B+zQe3Y<^s|Knh+tA~z%E1EQEJ8)=y8_VeD?5sgSOT22>%Ba+%gpZ8= zMU-1Es3+N@607TP-`=8dY?ztW?J(hJOU7I@1o=u5tzo}!wD-=ZJK?Tf)!YF$$^x{@ z6rMExUTCkZMha_>!6$4N$u`V*T3@#xHJS<@x1hC+hqnDX40wntP1HR`BVgA@U0a;Z zANmIwFD%g9v=&8Eg#PM$ZHc@phEfhY&guhB?W@8F`41^@?eDTFJV2X@dBthvkEQS5 zI|Zwe7FBa~a&zS#kL+hSgG@gN+Ha1Fa9LIws5_Mun=zN}hV4|p{StiFRaf%rNC2Yb z?tQ)(8bj~rXGo?hicxT>pusoVW9JHZG9*Fom)3(DWh#wm;u so*!>Z8-P!&1>a%yoe_pci2EHsLsUHX$e$Iuw>r-fp zk|QaN$(|_+a{=$x{ZW?cc&IU+_U3*0U9Vw@XR+@ $L9A2oB|?5c zq;S^`5}h`{{_1kZTi6IxT ^PZr|TDk_rM6L)U n8w4ItsrB^^o%D2PZ( zNR4zz34=7!DP7W_A}L*hG}85+(fjq@-+G<3SpM-m`|M|*bN2r1IQvwkl7h-yxneND z@}B`j2fdb{qkLJqTj!T$?oP1y1@VtT@QRf?l3QU|-op8Uto9*U&{dDQ #%}){>>3&KY-FRJ7UvssEQ$>vl;F9W#6m! }W@6mGcAZ@%QsD z8iHGM-MPyL^N=yLi%`55E)>Dtt*6haNt4y-Y;Aa)?dj$1gj%C-kQ%3dmy#+E&M23i zkGPJ#LB&A8T&%1)X13pbrf9m23KUcr`{9AxM1`y*@sIB1qip&qrPU$ST2t#xdhj-j z2`(^1B+Bt#@%Wd2>|Dul#i?5}`6mJ93T`f*mvddQTl~g{!o%!{oi7>b_38BSx1nQ- zE=Sc3qy;^T&`}U5=I4dj(cNTEc*yOoOCHy5;a^*%KX8y>^oKAXzX=okv0lN|v`0@T zXYhN -^vTod4x@zj z&hUGHH^8Wj%b0@m5gfS)jaTSK{BkOEXpc3oj*yTX& $?5__(Emh2jZx+2QA zJ&4hbpnZE-(4^!}}cv(QQs$M$|)cW+2|P1R>^pFaLAaU@3}VpG8Ha`QxVvRdTAP z4zIGKMr&Lxb8m)JKtspIGwgnjn+?b#WsvhV$0k^f;h{E)$lY$`;1J;f9i3seuxI@1 z)W`RO7F0Lflp 5pw`YKLAs`n~tgz7ch>w16#YRLQ(Yh7WyFWKt$RLhJ zJ-M#go2~h?e)jXD9bMUPazSK{ktn(Iw!P#VHld)6ka5M0H?1F&9gnm;rPj0bcNd{A zILBZvV|ShPv^n6V!nR@$_BtmzRogcE7f9U;f^BDa5dCB#(&j4f-$3L`oLizU2=Ayb zoqp0_ESJ3_6!|p%k*y^l8<0TK_=%do=Yn}YvOYMqx-aL`s01blYqWtDnlP;I3N1Mn z!HDQnT30K%G}W5qIEv nNkH`kJY?ni_@b8?((YLov9D(;AAv+=NZzy6qLU zwu`|QV1k!A#4cL7okRN_5TQAbH`wf66_Z9!<%$f0+**I-H7O?TqB=`n9cJZfY}PJ z)Dzkf6+Njai&G`hGZ*|#HzS;^3$aeH#s|1tgr*j?jIN_L=^@kM>d02rMJTBY1u|@Z zzy&lhADB>biS;?xbpci)lwI)G=S;oN?C_*mRNqYvEY-v6UP>+R4t#5|<$Ia_2^+5k zu+|C6L}8(?h7ut10>5l2-iO;%KOw}92C@M=p+*xaSiV8&aus{hw(T^|!Cm*#ZI8;; z{Ql5Fo0J|!QYq_dWl-u3YvHH&YBYXDWMBnvktX3LP9-*n5+bX3Td$PZ^h}`nizQlu zIusP>qQtup;(-p`K+HIFH&PaB-u~n`_q &M?V_jj>ONMmZ`*|OkNgWM*qLj(+tcB=xz%o{2 zYBCe|P|PSwuqnf>9 -Waaf-O6FkY; n O8w`<^p zv7NL|-;?dafIuISuJBb3k@ybv+t)(pTE6r54znZ 7R9RqYJSH4#c~JB~(`|G_I9EI?B{l{mOhpdNLxT(#c^xy<}OnkfkJ@ zEPJWL1TOwO0Y6Ie?+!KrWTtJgm2vvP&cP6Qb~ZSorzR1I1<7&_c8JpE&Bl{clfXxa zfk;%nm`r{cZ>0d!+c&TJPPMb51cFG1xBWR&L;7-aH VRsh2mRy zLh`Bq6nf|3(A`@9*;t%oP@vciqB^4`>t6#d?UTZX%Xd4&e~6w5tn0q=IZswkNUl#G zyJq_>>zSHVH`Z60>w1Wm1-Eu;OgB7zuqZx@?xU$aLO>)sVRkX7t^_-~KU_yTyp8mv zKAmg2VCo_5x7*F}nZ0uvzIDr%U_g*oC&EkRw*8)7h~jer6A8&E6h^iXdR=_t5&)F% z>rdvcF~PyNKMhn9S$O0^;i$3K!3`9ULWsat&)9u2&`f!}g*Xazc5?mxlTv}U@J#u> z;pFpk#zNj@5*s(ah5H3Ku{`{#0)7q5Y^0>ml3Cqe-(_l ynWM0WbhppSOn>M{=Kgu))dVCSznH}E=>>lpxur%{msqv3N%L9 z%|@L#2eY{~Y`YG~F=i}396LH~`bFqRLtoUE^9f1Phj%oe9WPeM6?{ZYYNAo?(hDRm zu}}#dN6Mw+Y6otw^U+_3
7*vfZ7po;`jU%s%PLLpXGtg9`=M6u$yteUT;le(y9LF9+xu((459QAJ;XDN zFE+-~o7=nW45Kn8`|Ae@x1vxGBepoNRi}8HfiYF&t`?WZfdjozmFDG<4RfOo$!!Xp zk&ij+ )pQ3 zE!~%NJh_XU7gqoc<>~U)=`hVEsOex{i%^>Ep9`De8^f0u`mc+>rE^&MeMS}^tLSbe zq(2 sx4_)-KGmA{@|DHBavaSE~3! w=76<%u7&1wBN$g5%Uuh9!X*EZ2 zyx~QY ahpui%^yP+PABS-I`ZCYo|B6l_JoNdp2k1d&IYbTt{18z z%>&rsrLIN&HFC(znkbaLt*dOt2rxvE7KeV7%cp`$m$@FO5RF)NpNn#{f{9u?ZN{-+ z^{7Rp`nSrXgSWvu+otrM_i0iSU;5EwmRk?nDJ9L&U<#&Ib|dOvAR!$Cm7)vlpt8e$ z5qe6iA2@uHA2|>CsM}=@u7n`cIC*}jC;HCic!@Tn3Eg8&$XKvV)JmB8xBaFSm4=38 z0ZB;>{AqP#Iu5InRSoj%9`bmjKm)pUJq3$p=K$tH;SePH3exe*53;l#C4=|as~Zt; z+bvykq)DRSi?3Hbqg7}6rG4iVw?^=Mvv^9F7MwWthrgKjuLKnFn_)k(n28`In)MoF zyYeEm-YNa{N3)19z y){MoJjmzLZ*zPE2(U2 zR^otcS+n$6m?Zq{BwY}%thjnq$QKoKs(#h*z?Nc_fDY5Te 1JBdbJd8Q-> z46zK-U#!z6{r<~-aiWdO?79)4?PH7GHHN&DAY-`vc2#LS7?K>U?=By7O$6W{ILPDn zm($z0P*_DkIv5%xznl<0%Rn};aNb&c3%cagc<&NBT?me(jgw_Em2jG%zFaivjF#;z z5yN^wK0w<3ya2(*abO^44t1fxyo+od?aa1=%Z_kJmN?zyM%#lbPdBR#werY!xe>D_ z*}h#glb)fKcOytn|B&Vx$|`+>EuZ$W*0c89=fj7%g 7x{e4+qx<{HEsF6+-?(A=bg8KqgyH8O|G )|X67nXCub5&7I-YL@p1d3!($f)TdtjzQ(EqlGQwXWid__U_ zgN*~F0w`FJELQvCDlnk%?9^8}6tl7sP4y#O?OxZh@nFs*^)yMJYj9@lLmcWgwJjmU z%I5>6uN0}waGLVI(W`Bg!J%6I9X{pO_p{BLg#@wQz6mOHxHFNAgPu0z(_bxb3g11H zs4k0cPUOeo$CVo>7Sn$mY=8e?$Gb)X^t&q^^#62I@Ok>7JDr12P{}b%{YZEz>*>rz zcAJFDdvcx^i6VxAl-OxeWJ53SS^`D+zn{q(GqC8jMb5j?G)1>yp;ta_MrmGmS%f-m zvOO`mwZ+Y?@f_C_is{RN+8FD`-m1!>vFMjUVx3F=&tk&>$i`+FEw3VE<(CVDH_k;- zRwQp&$Vs?Zb-t7< M4Aae^xycvAqal(p5YJob|MBQE)>iW z8!X@eQ%^mkBg7?k>T7yNfFHk}^n{vmrVG@_yi*{#sa|;p%6h$YKNH_DiscHnz+I&I zu;_nDa)4pRTjdlgSaq!{@}dK|m_puyLgx3k6d#jgSiCvdJ@YVr5Vh-)UL@zQs3$Q& z6>dVak|%62Te3fGa(`ZqyQQp2zkJ`4gM1|%1DgdPt}Dc#q&R#&NBYPNh@*V+wVSc_ zaG5eywl5nC7_58pjb_v?d3r6*D@AC@-b=2JI!JN}`-Z`=KxZty12Lc)`s8$isWI{7 zfUYH@TZE=fw5>(dPJbn!L_Q!)#EO0-0qb#1Vp-~U==<(5?hQ)#6OQ`W8E|C%qArg< z`RV4-;7Ek)W8+=DJl<|*!~f^wBT=t0T_{kZP3ZN1MW~fnT@@)4X-d_7>MpAG@uo(f z6&sP}?0UYq>)`%@Ql&$T>CuVY)?oSyE+tnU7JowIHF6P!i>;YY#_z4K8JV|Tdxbw? zCjQ2f(QRvEJe0x@B2OHNqOLhkMFY4*GVABIz$PmQgt38dhOP5|p2f{>#$4iid7XPQ z+Jo;AxsVCt%K7o0(K{A)Z33$6lrou}UAQ-T7%+9m`MYOnUPKpTC#|;`YhqNf$TPvo zutD(0(VG(xBeM>mNqdWShIyjF-=(8AIRF~D+F>x|s(#J$Z_IU#(p{%}E46p!mGe1y zIQZo{cFow=WSFCdhJrlQ$)0yasxNf23a4}N-{8W6g;IkM&67O|H2CCa?b{w+kveL5 zllS(aBRlIv-cO-3sD2`r?JyPS550LK>uj585IzTwfXD;lqC6a;?Ftc5r$+C~XFS0f zEj%v|{IF*0eukkJW&EZ%)Ykzb4}=8r%iczt38>v7w2pO+Vt^ekFsFg+LO3274_>Vv zy@%Yj7JJZ=^hQPDI)gc?vrFWLGW{tP?GqQAq#a$;8*HnlLS2R9*aqrUc;OfpEOwJV zobd5sxi5Z@Kw2Poj7KT<`wZ(QotA{m%E+=FFAr}gy7xY3r|O(n>kCXS_0B=%z1wx> z)_+JJ>Cim!#-S;1+g{l)UX!$f@Ej$JBzqe~T?b3}AM(rqyDdUL6_5dsjg~E{uY3{8 zVMIs@gw!)A;g~)Ed9G{W8N2r7H1&bPb+*p)9$_BPx3;;u=fxgtm*wqYVec>aRA>Ef zRppCXLjaHxh^pN9z48?CQ{z@&t-jh8y+ZhSfnGE5;I>*cirA?y3PpUj(`TI-8jDCB zQ%$)NEl4zK1g+W@EuGe5a~l1u#HhC|W+%#7dBib5gV`xJQgx{Y% NmRP8tkDi z7lu_S|IUEdJrb2m5N@in_+muIjKb{A`uO1UyI=8x&%UvSJaJ@)*Lr*?QvS{a_fWW$ zI#r6vPQTnef84fbxBfvZ-(==_TTtfG*J{Nv-mL6zMtrtBKP;N{G>g~#v#9Oyl0=d- z-(H6P5dqruNB@M!vaf=;g;ccoijE7#b-sPeTQFrsOXG`%wDimMuaDcx?T ihpc( zjbZ~&BAb8G#ZqoS+a-2BV8Q@tzUsvBv?z66wNG+-`oXt56g4j1JdY@ou(LP6&Z?de zmC#s@*w@(x_OD%IZBFc(;11trg6lI-ivE;Jl_h?Z!ZtdNXyH-G@CEMlu~PnFjCuB) zn#p^}l1GtZ=`XSJa{CR6t(!&iqyBuEHTgb8)Ki6Gl24xg*r_U!RM9|x_HXY$zAHS$ zXmEm?_`1iU9plXRmV3xd=V&8y*)smXFJLRUxblkN?XuW7Ja0N)Q0E*}YzT%}u{`2U znYUUD*Cq}p!OznrW?UViebPLv `ep`0n%O0vm+-W|Kx4^HRPN_wR; zXMLg6Xr qR3QFEVo5CvR1{S-=_n{I$J{91zefdaI`*x$bbF8?=vhOV%!FS zh1O*#8-ZpK4QbtBYK^pkkoU63Z`GmSA@V{Uky2M 4prY9q0WHQfy7 zjm4(v$vZb1s--|nGeVIT0Y;caBa@Yqx0Mlid}#@#@3Ch~!4~+{Qp&O$^M0rCiyCux z!%HQHMVZ@v+tT+$f6v+DqGX^no2f)1flm}b0}E|A#9##?UW6(LuPPwXA{JqSkIN%> zhq*O&2ktZ(iaD)`U41m}z`?<5I={k{R2*zy11<;pdQH=`ZCJt4JGcMQJ$4Ee?4;hp zk-8*t8ytHCHZV@|iBTx(m)!{A2vTsJcucs^Pz)-UZmk)d^Rt&%w)K4
z=&QcB{SHNm|JbYlDQm*;Cm~|bmX}FwN0+=}AyGUk%sblQ-5a0NeG=(KJ-{{he)6D! z$_#lLe26-sVSHis7esAM@=z5S-G(|V_DRVPc^j_o1ox{YMq> ?e&d5*BL-;M{10^e-sm0QTYlXeu+4>7k9WT4-c*c8;h6b(Tyb0} zhuqywYdaL?EZ*O(t4o;M(9M?BXb>rXtz5z0X0^6r-TJ9r5``-oIk%A;ij#cLx<9*` zs;3?H+cKb|wu?}=JhXyUVI1a@ifiLBOy=yTKL@92Zz* b3azv7jXI*65rKN@w@`GOV+ zjxHaE*eY-tK{-zuWU1Cr=U$kGson^67|mW7r_8McZkH}Pc3se2L3$f&lFrq2j9Ac4 zv`u6WsBJW&`5$F8{syU!yXI99EMO(>zWAc~sSDvP1(-S&42OKgrmk!_+6^w1NM3~Q z>A(9K7BN=f?@-1qXwafW+k=P)Emg`P9p53pSIU#3=>M}))-@^xanbYJ@j5%chXT<5 zQmZoMoCsOcKlG2qk|nXn%H9kP8V)uqnEoD0u^v5Rp(pC0Z;U1TYn_c(ngG`00_#!9 z&Xxadh@ S{;XyGC)3=j`pctEGy&No>CwZHg{?3Ia>`l zA3fl&fOZ5~C6!{i?D3%5OvMiNO37BdQVL%TPL^DkeUTG6a-Y(_pQ+rsKwGC9OsQ${ zZ`<%^Ru`e?=eaO3_Xi(;J=~QCvOg1<57-(iIx$w4g()9ouK{1V#X+T0m$|~#V1By` zI5Y)*F`)93Sx{S8P>5#)I8O-qP<@y^p1=*Xg9s2xO$OfooH$rdcJ{S8(&SeP!mkQn zg1zLd)Eb&nPhVGL5-C` GBpgx`xl@S4?37eTC&B_03BfQ7`H zInYB{26Uk36uK-iXiUP&tu4~6Or=2VbEYuLEgJ@wn*R7|@$^x8Ut#Iz`k>l>@Jgri zAFsn=^sS=SQ=zUvcgGXc&3A6A0ZU<)2r)Km!=DZ(>yuu^obAJi50DaanDR<~rDeid zD``YgJrlc#5+oTV@OxYJ{_C5XN)td~Cmx{4v3Z{?7i^uYv zFt7$MFXDI#`mEf-y>dkDtperfudggZUHpFDBESGqs7^VC+S+>`>KrnNFnx f2v?5UEdEBN02oRV+qKzi^t z)YZ&hs?zM{O*Z8u@#-Pw8#Na}7~AS+K+$ rs=G>K-vk%Ug{%y zi2Q$sNP{flu@dof>~ ?tjgHC?4Pw I`ZNzB5T-|2=aQG|(*|5Ic7lYQbCDxv+LaT1uax@-sz^h!9>1uh0_0l$Ac zE77ZsP5mkvjJqj+0*Szu{W_>GZsIMmj9p4dd=CzuT(r0sYVGBG;lcF|T(q_r`Lw5C zRyA@|>JnSe$HG-Pb9NBysw0Z9t`xU+YtvbT_PiD6ghvq>`N$HNl>9JfdGpdzbM2>v zjP3#(Mu~2@Do`6;H=@3RFqbg!J~c1=V~d;KmQuo$ZRG+};O-O!G#|&)Jmh!twazQY zK18D|-O2U^juirQzRD%F&DVbe?l>GV1Dx$px!IF)3*SI(Y9OVLiB=MvJvvt~UPD|c zGO=7JqP`AM6fHv4yNNV*`*trx$Se*cZ=^U~T$Ero@ThLCzAhVdt T+Xq!GU9O&1DwwG y# 3<{@iG^PKGCv)!hlHkCkN laAWj@$%d%0dPUf3n!9z>%m^6&W8Hr2kd37|H`vA@m1Kt(`Y z(8?bLpB@mT^LWtef5;s9$JOjYOc+=kZta7EBPwYQ%ep2Jd;7W{b#qQ|V2vwW(71%e z7Y-?6;dNzEhyCo{N5ye(X7r=TU4+)KD}IT>PZAZ`pjWVb$+CQ-qRf6zwf|iGDMiDq z*K2l=;g7$u2nCrNF`wd nLtMd4oXw|jJnVveewD>2vC2NGLoPEBwH}dn@_#f| zj}*8$+BlN@)HXJ!6vBRs`vr%^EWtjk)I@sMX})!%)^i<~_6ayQ`~>g(tWBDMn1^;b zU)*WF$@8N;(j0-f#{`eU)wnCUZmvzK(EMk!rD)BG@b`!WT>qa|w6Oy_V$de}%)%v> zG^vJ7WZ=Uh-NUCh7TjMSlg=erHp~f%pW)9@Q4d7b=R#jg2|0eR3Q$B_;vV!ja4``L zgy9o1QU--c?l#85mN{_wYZzKXAb}_}lmz&J)can~>3yHN!MmrHy@)bYrZz`snx<3C zp+dGN?fUwSBm0KrBwdD>MX1%jhd4a6k|nOAM~*VM@)!OU-)= 3 z(336QEpAw&KCqS=Yj=h7k5>x*#_AOWJ!f9j??Rm9m>t2MiO}0F=NUgDKTEytcA ~pd&VmEFdv#c z5^a+79V51jWvvaLO%v^16+GJ-?^Stw_<1mb`%8Y7c+Cq&S2_~<&zu(tICI;B!CQ0v zjF#;-M>fL-TpCrm+jsZa<(!DNOlhLt(MF>9{dwM@Ocl`LDtn%IrW*m=Q@!5y)oW_N zBO419@%9QWO&{I5Yt@C2o-!+R-aW|c&CHY~wN5$MwO$@ReLNra*0%OpD<17ezxEpZ zIJYnfG8;s1VDwQ%%Xy8Q1r4?hI0tC%ZHM_yS)j@>{|D&15TqZDUr<*Pndh1DD8)O< z2Gw7KNq`n;0VH`RTl<#vv`hM&aDtHdqU-z%6$xTOV&A{H @vF=3%y30GQQ?Q5Zx;mUYU?beav_4h`yJixuW)rF87;LF}_NCUCl zQsYNyUPNEbK7}^4Pc<2DwmQ9b?+rA6b2VkLBuZ-ggRKf2iRF4ZnH{_cWw|F(qR+F= z?mtoUaWxTWBk)_Ih7mHZqK;B;;DEh>Ko1PN3!3&FzPNZ6P0QOO1ALoiy|@=joOdcC zJg7E~8*6_!gvO@Pd^U?!qIY~7zCPzJBIF%0zV`F#)hqUi7c-)=^*u~~hFWIFvcg5> zp*LY*d*h+o@wInJh>uL6T?k?tL*1)Ex4+PmG-cdHqQf*#wX=pY17foieCpSv@ykvz z80q8l=c=oFZL(TliLNbr^tUw^w@P5n*0ama$a2CFCxzTXSX$m(s62FJpBetx4q`0i zKE$)*;%63k4Hn8Qd*7aP$x}+nLT>5s#q`YCOEF`MzVgGG23qzk=(jPUp5zsgxj2{D zfnuRGQAQdnflVkp >Jn5vS;`SKf8>(u=v3KX z9}go)b R%V6# epMnrJTx&9@vE5bZh8ajS@X0D?zPw(9GX*zP-W!XF