From 2c057b16faf72301bb3b68f06d5f8ddca47a64fb Mon Sep 17 00:00:00 2001 From: georgesh <104335209+georgesheth@users.noreply.github.com> Date: Mon, 24 Feb 2025 14:45:54 +0800 Subject: [PATCH] add FHE framework and MIND FHE RUST SDK for DeepSeek (#314) * add fhe framework for deepseek * update logo and add cn readme --- README.md | 10 ++++++++++ README_cn.md | 10 ++++++++++ README_ja.md | 10 ++++++++++ docs/fhe.mind-network/mind-network-log.png | Bin 0 -> 45471 bytes 4 files changed, 30 insertions(+) create mode 100644 docs/fhe.mind-network/mind-network-log.png diff --git a/README.md b/README.md index 756dca3..160a995 100644 --- a/README.md +++ b/README.md @@ -339,6 +339,16 @@ English/[简体中文](https://github.com/deepseek-ai/awesome-deepseek-integrati +### FHE (Fully Homomorphic Encryption) frameworks + + + + + + + +
Icon Mind FHE Rust SDK

An open-source SDK for encrypting AI with Fully Homomorphic Encryption (FHE) and integrating with Mind Network for agent consensus. FHE is considered the holy grail of cryptography, enabling computations directly on encrypted data without the need for decryption. With FHE, agents can safeguard their privacy while using Deepseek, ensuring both model integrity and result consensus - all without exposing their data - by connecting to Mind Network. The SDK source code is implemented in pure Rust> and the package also available on crates.io .

+ ### Solana frameworks diff --git a/README_cn.md b/README_cn.md index 2f88a6e..6495eae 100644 --- a/README_cn.md +++ b/README_cn.md @@ -257,6 +257,16 @@
+### FHE (全同态加密) frameworks + + + + + + + +
Icon Mind FHE Rust SDK

一个开源 SDK,可使用**全同态加密(FHE)**对 AI 进行加密,实现代理共识。FHE被誉为密码学的圣杯,能够在无需解密的情况下直接对加密数据进行计算。借助FHE,代理在使用Deepseek时可以保护隐私,同时确保模型的完整性和计算结果的一致性,无需暴露任何数据。该SDK的源代码采用纯Rust实现,并可在crates.io获取

+ ### Solana 框架 diff --git a/README_ja.md b/README_ja.md index 963d366..a1933d3 100644 --- a/README_ja.md +++ b/README_ja.md @@ -232,6 +232,16 @@ DeepSeek API を人気のソフトウェアに統合します。API キーを取 +### FHE フレームワーク + + + + + + + +
Icon Mind FHE Rust SDK

AI を完全準同型暗号(FHE)で暗号化し、Mind Network と統合してエージェントのコンセンサスを実現するオープンソース SDK。FHE は暗号学の聖杯とされており、復号せずに暗号化データ上で直接計算を実行できます。FHE を活用することで、エージェントは Deepseek を使用しながらプライバシーを保護し、モデルの整合性と計算結果の合意を確保できます。さらに、データを一切公開することなく Mind Network に接続することで、このプロセスが実現されます。この SDK のソースコード純 Rust で実装されており、crates.io からも入手可能です。

+ ### Solana フレームワーク diff --git a/docs/fhe.mind-network/mind-network-log.png b/docs/fhe.mind-network/mind-network-log.png new file mode 100644 index 0000000000000000000000000000000000000000..1947fe658efa0a10da6d498070c1e92fe4f5d49f GIT binary patch literal 45471 zcmXt91yqyo+on4lAp;R*bO;;W(&gyx7)VM=OM`Td7)S`xEe(TSefQkY9oKc;_YiM}&caL8_uGuZ@9$S@PeL01y3%u=`7F42+i; zD)KVAzBz}Tes#8kelM;rJFh$aT(3x%NWk+lVHmv%X>BoNDk{(-4;vMZ%CuNp17@ve z=y0?1um?RCAIlQ@A+FD2YXBWCJS6I?7cy|x@`$!KD8prb`Gi;ngCB#y5@U?yZNBhH zSAcl%^7PW&qgQZXM!;lX?d$W6PbWD6cYp3)Jsuo0d9S(2Batc?Ap)iZ7_`Y;JP{b> zwq9-RHF!<9qIezWASj6yIR(p|mv%v^uwH7$yZ zGgfvi5aM`(cds0?JAGwc?&;c^uEq~sHqO6tRy7c9b#|%XyUIUrsl|BmEr}t+QW7CV za>4GqBoFMOmrK@?s#v0Eb8vlWO!M|5-Dtu2r8K03y&DU(?bO}(w#60J-S23@vh>U6 z`^Q?Zfi^?A^-jrSVY~8Cu)&do$CSf8&+^nQEk#^3LL$zQV?x07=V|Otg?EDhxqg*o zQAC~_lkrSY9{z02U{#scz0ftuQ_1?i?Q)$iOAkmAVyWwL(Ikb*XH{mWs*T1es`|=n z`{!aN;Ct-lmnhpY>rqWqT48U!Ek|94;b^jo5f4Cc_NUbq-5-->K#{F-m}%2D$4O3> zU%i(h^;|`3AN#q~6|bk;yllFxv)?GTnA&6D}eNaNwmazX$o*0RcrFG}7hz&`W z&=@P%5$xy#m)b`xL3U4&wn~u;O*GB zW5JLT5Ifq-q21TVbUM8V<>LT*NoH@{x)%s1{HsM_wy;=5UCCZV8CHw_qa=jB|KM96 z0&yoc-$lFq?obqL{xu#**|bj#gT9m3MH{71t{xj)5?!n-tQ_wE0Z?BJecI~`;_b3m zsKuuwxsbAkj^o|X3tVGaWPS=2I~wgnu)`;_1ddn=Qs!(HbS_$agijkyVHR+ME(SsS zdaU~x$gEb*Wjl;)2ONdDlvUuAY8iL5$@JC<|0GTnz&1kg5sf z(+hoxD9L3*71?)@xpkKkJxk|BNE*PK5@ojD)+X%R=@~jvBb45eMB~j&NHyP_T3JI8 zEzzRmy;e@@>|fr5i2~X*7D(BUs#cnu#fqLk-|4`KG==M#szjeESy3rZ4CWwyiB5HS zF6_=^=bgkbT6L}Ves)~Q7j1FHpWTB&mwGh&H5khB90@)5``3yEw8(ZENh)t{GEyT& z%jsMjB%kfcc!#~)DwA`R3^>F0J6ZyvTFoG(VzsW3o3!hVuIF3$>26>U5#7g#9fKLJ zz9>$gn7*f|5K{b^hjGPb#~d2s=>C!?^Su?|H_fhs+{N*KuaTbo2EKBB|PxjyBwrm`jx;I-9 z&{5U8%YPcp#DI-_SefWWAV_QNYi2{inf@Q^lt`lq^%`UBzdHMAZe4$xfsIB$HfXq2 zB6P(ATyV!dE#QS^%YI&y3t*m~WOmljjzBd*2wH(KgLeC*r-o;^Lc*tPg3{Btr_T9f-UM6J zIJ?&OGq||1NL=N?mF+XxE9{Ho(5&s@=@({}6bX*C7yJ1QR#1PTmHm66#TMK6;p-v# z_+bx#H#aI`bSd!oe2ITAg&)jHZ*^HN1E+4x0aC7*KO6(;yO+pd+4sct=4(pv9F-lf zfG7e~8kkD*2Y-3Sc3^k;vv?J)%Go&^p3+?U_iso^6?TF0F84xbB=wY^J!Tl2^3b)a zBT$`Gq^nr(sE*@M_; zS2y>8!k!QdeyHY}5TdBEFs}^^2!S*iuac3hq*_9GwymHSw?R7JaGfz>`)(C=5Eg;6 zt3kvmu?NWp7M?xjBs;>CY)2DZ;_UdPlde;$gIusQaNzEH-w%z}ptib!jDmP01iX7v zB|&HNUhS2x>28|f@Y-L_E}N_DW>-`f>&o$PpgM8U1JUm$#ajC$%$;+~wd`)sQ@svQ-wz zTSjw_=a`Isc?g}-S-35MiTg%7OLGB%eCu-Ado@Z;e38QBCiwFvV>yAl(0J2+Jq`xE5|#3mtJbg|UH}l2=M%h5H8B?eZDC z&g?VRaa5?r(?B(wTWwx@rl{xI2Mckp=Wn}8q%TXsC2waXcdyKRea+#n}8L!EdprCbhBd-tKd)W1mou6B_sO1$Mkf-a?kq92EM=5d{fY`^a`sojhv{gVj!vBd4d@uFhC zfjZ4rvm!zX>#d}buB4tWd9rCI@#xQP*?QUsWyMU%#NQ7CabSidEy;*$K`TE8^ot{( zuuiylbyd&LahS-5-{57RwLrIro3o#By6oyEum8g8-2J}1kgR9vc5ZaS)&FU*(R21} z<70qpWUu|aS`abrUOJlw9SaX(4V_wS$1!vA=lI03KTWoVY0gUROoWylWaGUXBcDT6 zmIU7~1nJ3*5iaAf)VHGeeQdLp;_|nohf2(hQ8^tXb{;vBvXk>CaBqBef#B4j?wu>; z+Q1k+t3!e}>37w?LLD`^%! z6m5R8hg3zYnoT6uN$`Z3Dw&EEBKfi`@ou-73?36KzuuMshlQz}rUCJW;KF-(^U z?Bpa*s^nN!CEMc5)ct0eHU9i{nLIR*adz#2HopIcx}Hv*io6P`!xk{l;5j8%f>*}! zWn+i5+tIna3omjqsxq3erSy+&HvS?tT>3gSD2*CISV{cWN*!_FL!2fI0@ZhTm@q@w z@tVR#xAPv>GZ671$~29kvk3~)^CsFyRoiZY-^idbh&$;kj{sgQP@8{qY8xOWyIhlx zq5CTb@hDt(z<>w9559IE~Q09K=Y(m<8}-D02G_UV#9+7`b_oh zgy^ykQ7CQ3G(xA$`v<**QOLR41HsqG0ivwc)aQhudVwx3)dwur`?zNiR)IXV$^7Az z*(;UfcneUWsui??SA|Kn2u74oZf6ArisQ_5^#-a@m@vJcOx46I1j2u%a3n3Yig*qp z7URo0&L^;8Kl;2GfRxPw57DYE-OshsqswWi1`wL}3WE)i5WhZ-fy-wKnm>QdWncrR z$9_GXedM&(4t#Oh2=ZZxn*f(A0`xAC67d`X7H~hOzg;CbC@TIT6{Jh}=mmtepZa4F zsF;3?BYBj{&s*7Alm_OpO#!(KPX$uCbT0xa$>u%5B|Rawz9-t*=Q5v5soMgLDx%A| z;$yUFhFuz@cbm`zWKZ$=eu4#2|4 z!hm?fPVuJzD;K{XRhUfDwG^Yz-bD&;$UX|=qrX~eEZN3@+JaFYA2ILfeu*u#6R;X1 z>`8sZDb7t9;c~lKhLlM6&HEf!sy8pck0cxU+T+Iy(BT~tFlb8-040b$kw=qXQdT6Xw_)ltQf&E4uF84UG-l~hf0#2G2-;j? z2>J#;Pfb>M{MJQVHXe<@ONLx57;&mW8(W{MM-_{$}16{Pp#B!aaXKCH1&P`s}RiudcZDb+#by{&v3X?>WpJ z8Q0lp643;}DZd+gu!BI5Qs|?tZO;HACz+K&21q`h{^`W&T#^qT76wF7nGEcrp3X>> zI*+M@aq+i}d?tMP49z~k-Zo8Z_FmM--ws@EK9UC#F!-*Ao?b-bg=1FLR`+i7Ma5Ye zzf`ICWqT$4tE8>o?z$BSe^Pfpgemg3IbdU6&Zo~UkOnq}O`@+@*A+}&^?aGwI=OqQ z?DQ>tSv29n5fv)!u3diWEa8tQ+C8hx7Srt8^x_FesWq&jhHqzOT06ux5yKrP!o?tV zbNN|8lmK1A`cMj!+ezm&Qhe-&CR=xSdE^=F0c9EL%i0r zzv5P2*TxB9w{k6~E}{e=Yt=J4pw2O8msV>q8<_RV$Y07}pzo=WJx~Ow(ydl4rxMUM!4?3Lj3_c+5|Zw7zn~f2dh|Jw|cUV zuN_Tf?6zD6y4K405r=r2hCT#B+4k za_9^i`hWNc!Ih(9{a(>^H@1DPMB?5#Z8m!QyMt zTV@%gvSG#uX&kkVu)`|Avm9p*pzsdlwg_O_J-ryjvt*D{E!3(#+RhTa?r64ku}oE-t8 zTWC=C37IGI>0C=0CJkxG>rDMP&FUFcP7yqNhe)o1&zRVA1c4lXR4WKd{qr|;D|V97 zlW(8oI&h%;VEZrfMCXz5cgYxyCrBg6^2jOn*i%(O9`S{M;9sHM*sx$H)lLLc;d)m| zd*%6))xOnT8=3;VHh231TTt(wVS~k8=|HJ(-!#f=rpW9}Y#JwWGM$)U42pY$1ujh? zd7Ir63Rd7td<-(jKM}$x`~`y2wbdML0<#9^>*S_V|F`R}lTFY5#4A`o zybbPlxGGAUHkz_g>+_x7QaDb5UPh&fjrSt>y4Gw`OErRi)5Aa@=I5AJOUs<7h=b4` zL^A#BH@uWE*-+=JE>>O-n+(0T`sxL%nx#Pajvf(qoy7jlDW!kk6}PpA9sgmF`Bv93 zIwpn5X@PJ)#WuFrIO4vWzwsn|5Uf2?WzGB9;mWs6f0F|9)JwIh zB7D_&9XtyolSs3B@4m&ql3*Yya@wOTpOA6Ar&_poF|_j~9yY;28Zuz8cL2eC>97U8 z0RM8t8}p7smqY=Sd=^wG;jY-_g=d9taY#b3Pum^K{k@v>P;ZKIB6QGA-r&*!+r*VR zf3xp9LE?%pWyisD*Qh84UoMiUj!CVmBjfOZlQ#TB22tc)U_sXtpsLkDwgbql13pN;a9-bJrPL`jMq^lhWcE9LavP<7zsmb;ifvM! zcIDja%qUUnc!wx}lsF_*6!%&b(uxrfA7k9W5Xp;=PYgo}!x1{_5yh$QHh`^>Q<2JZ zcBQe|XvO}=)gj;K5}T>XqW9TT6%r$--#_;9YIvsdT!R!dr|k~PbtA6KF+p~Fm=!m& zONhf(GsES-xItKt;pi(Et4$ z1`XZs*>*VMmgMGd+kf|?)6iZVo&ecM% z8=dUJpvIETR9dr0L>Yl>3`UK!?-CHcL57mI6~TuQrSax(9;+PQtH~0~cXpBaqa2hp8BhY~c%CGUvi$c-xM#6E|nS00VmpiI!vrlTJb31KrJJ8?n+w9v(k5R4IWY3Ag%d*ss- zu=eQEdc7LJWL7?v$Py?<)XI-h0CmrwvJQpiLf3$0UF@u1#_4t$|}T*vRsQQs2C=Y zuBH`+Ll(SD%AP39a*F=4L_yg4W(WUbO_N8S*z+jQ!dG!@uLRpXs;hA7N-#e+EF8{? zj1(&Rt&>X_?VJr6`7^YD*~DSJ4VPi`reqO03cok{rC7sNs5#{Uu7~Rof*eN8n~AM0 zNfl3JciQzGnt71DT=)$^t^Rbspr3Ja;@IL`5w|nhPMXNAjFNO-fb^NBpEe-X#2ihF z0NMne6-4RJQmGf+<;U%D#N4Rq_r&%7fuf{0#8a{HVUE$FqJWfkWKRyBwvsB9L57|p zh%E-h?obnTSk`D8POCx%uv(B;<{*oRKYcN3o80^ivpiZ=j4x7jqcK-!;1w+uuWmHR z4jMwsUjTWVpwR8})V#Ie^F$O-Sd3(}2$dP(yitN6m)6y9*hIo-O^c>HQ?}^H<-<2`@3R$sy|OR4lkin+ETKnv z51%D5bF_F+{oMKQKHxOfa@;(Ygh8k)WNz+FW5}EoL(iZ(QidDiao7SqhID6p9UV|9*daTm?PBW%ZeQ;AW!(J~WK ztjh(Dfodg66I9H`Hylg!$F@T{#X6ZzbxII0mS*rfYgTa{F?ttQQ2Id#iZK zk&VDcm#M!fXFXCixDr_aY_5b4=56N77W z@`2qPQBe@q`+(OC`M)@%U)s!h+&-PQ(Z;i7*s)Q9GLnqMMi<@V@q&=7t1%cc(csw# z*&a)9ozN-D;UyjzxFxA$kDrPWQV=2|c;rMcIF~Y=UkfC7f?a^mfa~@W~FB$PW&j z+CO{^MCY;A%Xx^%`_q?IRi_jDT#Xm@w(n>TyZ6|md%^3ZcOSggTnt|~zEE`f*67pW zM$>s}?%s(dZX;GUJ)kmHzS*;mrhQ7yB^ZvDQ2mV|mHwe3P{`}3nAW;0#}FF8D?Auq zj=C?HzUMicde0Jr?~~*93-t^nK(?nB8-G2tMFQjg>S$D3Khm4*=-VE_^5r@qu=>RM zF{sgrnk=ss*ZYMiLHPGNd`rcRz+c+EOXV-vq#0i$Rm(=VjQmOBRcK#mJY{DcjxBo_ z?o8gRdozM2qihXKVasu466%?*BJ{}TEqNie0c-agfhT_CZbe#~Y5zY9;9zTudv&x# z^LI<3Ko+BJ7sce(hyNn%68qlpI1@->X?smqb-X|t{(UGLlcVF5md3LO;kcdHkDzzC z`+%+repQn34p+wls5GH7LUf**y}w2y?m?F}+T*T!7xg$A&i=ymOS8IvHwkt3r@e=E zcIxirrhkwD18V(S+D}pPR_Zd68s*dIuFG^gG%?tMPzzd4h>B=^RLsFwfXFTH_Bu0#I3dG zDD%m!+~_=!&usLVBfHmd3LLq0%UJl>L~MMHk;LSlJwW*0J1zAfaBXLx8k6niLsr$k zzlQ}HppJvtpb$zd*1~$#RqCB0QDk=ZkrSsbds4*Z>#KRrj#D7M)24F!+%M*;&&UkV zD?y_>iR30g2#!&xLN+#|6O#ac6NLiFa>FG~{r4{V!5jfpznICS)SJn`@XvgUn_VTc zk&7=K9*gharo@dUd-dCR)nokUtrypVw?N%X#R(c`?6>;cLhnCW6&DP5v6i8^|EGUj z&h|Vzx@DTBMT)-;|DZdxai&{~e43T#51OIzA;#k9%Regr5=56LN)DN)rB#jN7gvG{ z2zVT1yoN2&!+NXT5*m4@{^O3f%XkYkmlp0H=U=foV^x9{_(pOF*)I)+Q1S}8H}O2) z^3+8L!ccE8E2xkYsDozFL#N`zyg7Z9!3C`#wMz(VZn(U>AcpjsS7tQ$+0T}v-5cSnYsC|1Z5iFFAjwj`9~ygF*Cb03)IW@@4bAcY0P~?bb#>E z{Du4MCzE4vikv{``zMxz{v;FTt%DihW%6GTI&&*9RgebPiTb$E9f@KqaoHUpBknX6r^g^pA zaWPjA+uUjz@PCN}_H#KDzp>VXd_jY#6jt*bkXxuTpy79yCA02^6-9HS8(~SF#?!QAy^Z8#i*9_=L@T%6(!CTyf z9bnbiZmjmqpieCpMAO#goX?X-%a|2Cm=Lmv%n1X)K}^KYi|6^0xKbKwRk{~U=bG@u z$nj`CxrcMK@eNb9;fa2lenIxJuDzY8va)jdDVJ{9GYZiD%G0)?g?f1)e9M^Cf>&Ik zAmkCw{NX|q8>YR-0xl`J&kh6VNukmtPl#fPUu#4Xy-MwHE#3HPxCOefRhm>8cx)|H zRN96?<>hC|P+M*`A?`A?xN|9S8A~VxNj^&{m@VBMe4j%^y-#dpR)30o<{1G=p-)MI zY)F3$g|L82ufVL%w%V`bjDOL`moE&HUp@0esrKuZB~h)u*DlkPq+sSe)BZgzjIzvR0SE)3aS@{z+?U|LvJ@{9d41%Jgvc**L)iXcSIK^rgweu8?3=OB9loC447En>6|#}+a9-@z>mG5V7{6xo z_4ghpP)Q?jiR>e@pw9Y*NB45A`-`4--sfgjH34GTXS=28!5QXP6%w|y^Y_^=KYZF! zo#LYGi3!0;b&p{F^Xqcr$Mj@obh+lFa;}q+??$!To3%YXzt}W?+msi^UnhSyXxE8; z<>Z~v!;9Y|82CVC0LplmxC;WH(h$?m?X~6qWyw{$`N|2JoE5R(@b+pE> z_!;obVKY(m(5WIIBM-wq0zxat5LZTo(k*jkMtV~DdK934vvAGz&KMtt^hmq8N2E!3 z{7PEreo!vwGkbO7RQNQM0Q4DayqrJd0}mede5VslRZVr@h+9w0t|b_VERe&u3Jh$y zeQ8-BOI%`!ksrH1`snf6pZLJ@BL01PO@0PZv>RewK^hIU+WQc7qPB|i-W!KeXmRxN zvE*{r%x$gny7%#V1z(t6Qne-Z!UeNs#h+_AU{bQKz8>jcqFHdv@qR~TBXaH+#?LX$ zFYp(1AG%c}d&O@VC#b)pL>jW`iGg=nk&p$h9W1-O4U#19YGk0#8tK|;0eN5N_3CJ~ z!+b-4Ful|Vpd!;M8!r)cHolg+^M4nNhY!I${pKl{SF`60jjf;~t47}FA{E&@wzV(W zfBmT}I__JoisA0UcN4?DtrOAP+(SDFQ~lB|MHE0c6VHF#ENxA8pT zQgA%58}82;BQYNDidRqU0nQMl&EiZw9g|nAIfSVj)`&c*Z{}&}-~Z4}xMWH2mn6U1 zplqrhP8VlI)_;k19kvq#E#jY(+GZM->b`ghg<=RDy#J~+XYE<^5V3ni$oi3PzwTq^ z>R^Olf$UPK{I*u15mmH^=XOxri*GL^%{pjzBIKe>$I73g(oi|e${ci9q4KPP0Ej!7 z)d#Ohv*1XsHBQc&J?(y5%FE(FTfmljTfO25Yn9jc(egeh90(WULKA#rB!Wr{pu>vN z1(nDyg;zD4KZuvJ{kOGla`w-Sp1~@fX%)Z&eSz={&V{%%>!8mm;)OfiA6#w1@(B z-7-Q4ZbE|2@d1RJbi^fp3;r0SE0SOS&$HHmvejUkP?@}8}}0R zU#BV|nGWr(Kjhh7>n_J7Z_-a)bd3>2I-><>)A-?R=>f{}bkm$M^vd4?bewBn;OtDJ z|5Se0$#3o1VT_ym?4dyQG!{#bNXUkED*~Q^mb_ON{L4=SV=7#b|8-`q5`!lh?$F_$ ziBlG>qB~J_CRKcNn}N2*Mc2N@#%V~LD5H^6TwAGHCKxwskPp0dW zL`5slm!r#89e#;vcy+JIE67q?SXhM5o;{%vbiNqC@UE@x-5=p3!NYbOqv33%*Bu8b zJ3*=1hP-SU@r=2|??j&f1efL_hW}buzqc94)$=o#mseDFuNfMu!7U*nH1c@!;rCzs z`ohoH_*ZB)K4^J;=l^z_nsep_#oQo9%ECQ}M$~|TBx<7F_K{bhPw#}g6S#59-LKbA zm2GBY1>G;_K}#BiH56UHmbxVmEN9KWdH1fMVmS^H>#I!kN{0)2>?+K!>&rdH>8LIq{U@P~x8Q_{NTX4ESPdR2xdCgGP9 z5NcyXQJ4g%`)x95V(>azVo*hcp((7AJDeP z|1s8Pdnn4$;l?uufVY?28E+a@wPe}tX)$I=w?v4V(d#UF?ghMH!Mz zfIDc2K+}1J5*5*|cFYCr?63W|#ou1%s#ix7DyeVKR=xE3BeFPW%o1%&4_Ro#!2m{7 z8^H-wC%T?t*SEV2XJe1shJ>@AZK}f|#ZAoHf!Fe;lUAFQ(Z0(p}QQ6IQP@7MrwI0Ouv2r9L zAHALz?_6AvdvoUDH0FW06XtCsCbWS@hf94ve~H#a>6x8#x^Zaof&mk+|LGx|U9>Bv zf6eil=Z(wj%}r_fhP-6@lJ9A-XX`3ITY2sl0&3Laqu~c}VhVQcMu0dS)f>iksg1Q4 z>613L`D^>&yXH}IKBSgTk^d6vHd4Z8hdJVV%1?9qSb8qwGS{2f@;+w%JteO5+m8MD zGnU;?1c+t0cC(2iA@k^5{o@O$VvAE!{>v%(*K?nDtmrWa02QrP+f(5-)yd5PFtxG% zB3;tPW>ck`H;&ui8?EGnZ}X})Zf70*x;ovw=M%{?s`DKl)I6Q<=_Wqha=ASsZS@;* zD9{AdU;2|=pPoPKRz(0s#1q2!@;LZQU91HlWpG%%X2B}_33jrzpz4rA`jS;ghK^+_hTc?Yma^nc2xP))ywh^ zKV}HWGm1y<15i@87(X{+>*(`~ns$Elcqz=TFGzr=5R*Zsmo>g6Rns zHjyc>;%aPCHZ8Y2+IcC;{d$bm`-I!vaTle^n>3 z$$$Ec_KZw3cloOqs;rgkXCd zpTu>@*|1sHyX?nhNbsWbB3kI;oC*H1Vp_&<+}H=J)U zvfMuwrctoMhYx9aP`Z-h=_K(SScEF3RDl|jA+}-o+_MBY5gbocXkDz-6X~0qcy@|v zj6EiX0ca~BiqifI>s?;ckT(WAeZEd{m&@BubL)pFJ>Ur)775_HkMG(oeh&pfF^{DEVXp?rO$_ z@7a`8h~63L4*qpB*kIqYxT| zwQ{n#dHpk=?>JM2C5igU)3pM0CKH{xJc#Ra(8=KgZcS$p9#5yo;wKVM0iUX1P=bn; znogvOpFjPLL{a{wqoctD=2u5+=vg$U&6_1O(=O8tR@M!)0Djexs=cP_0`dsZT&bl1 zknA2do1yzf1WLhhppJ|Dth0rV8d|(MGa9->&n201>lDaFHj8eQ7YGbd29y26ID%PQ zLB9v8bIMwKpt?$oOXK2_q31mgjkM@@{{_D}B^}sz+w{L!YIyH4fF11Ll)E?=A=)qE z-tPOS(cP`7^VBvwe6+GV)cn4N%&g)sJ*_D*7oq5o%$?~ux+PU`?M}rxLr#SHS3jiS z!mjkbV&B)8?16UWXy2P5bB6@oDQa!JY+?CEZ*QI+Y~v08wh`Te$1@napvIu^ zq{FG^v2i09K8s=>Q?Y%?fL8x!$gN2MM#q`=UdKxB%@PyI{ubE3u>+0e(((yjP=5kc znjeqiWPYqX6nuSKP`^{qa9PJ)rITl4lx|=@JRE~qj#OK0z#%ZL^?H4pr$5bmO%r6% zRGVmBmB^Zvb6Ae~NRO7ne#y)Co2HjW|9dQ1&`@;rj38kyepA6PwVkG}jz$A-_3(Gr zM`k0J8~zYc8#7y#Qp(atA7owUo*chV4r=SZxz}!LzIISMWL`8?2EHi2=%VJ-MsSxx^h*~R#mf&e@8CnmZba<_4*np|+{j##G zyz)<6hdpi8#gp7Xs9{YwMAYLF+iK6LDv2f(Vzdp*dr0o}dNnU^=Tw9P z#uaJf34bSu%H-|4*%wSUfw$Va&)Q{UXH<{93Bcn9|C+V8pv)lTiPZ7Yq=E6F4>}YO zl>JAo-=J~D>5oy~zRKOTkPCy_`n;?Wj+~|WkT+a%$(5CK|5DQJoLZS{=2~l+N)mtY zUYm4w`~Af-eb|5FcKgTa<+eZprQL^vMZwn72Lr1QM-@(K9NV(`%6DhnEL8ar3qv@>j&_`B}s0e7J-SH>+&u zQd9W%?rh}S(Su}U3z9cCh}zt5OUw82``}ntVT4r*oX}L%6AzvD4(Y1dQB*xSPqg@T znNbmK{t2oB=uOJ~(E2Yq1xM*^ags4>*scI|Oc^k)u7bv9T#AnPBv0MEO!HGC+Qy|8 z0i@>Nj#yjKvfJVAmUIYxBF4w?+lX_lk+fcl?>oh#ZX35W8%=}xScGHb|5OM)I&i1= zW|q2VXm_X%wL|e$#$sr#zBWqPk2z2Yx~F`oZ>zzTy5{b9AFNlVX~J9_app?`-@qt2 zI2gb4&!qQHO+p%dXm7%WA3Oth`Qu8flQL`3Qg?pF#TeHd{tPwAaK7AU1!z~;<8l8x zptxzma`0lITsBY7j8{6H1WAy4j)=eO&@6CKMv!HEpW7Y0&+A5ZUWF|f#0utF|HI*E zu$SL*E7mvZ$%!bg)jCW?&9h7KmJJ%R~ zdL)O_IRUWzlkfKZEOfzYtjthxIFf7{6|S3OhsDN_lRa3_Qv|I+gb%vw=b zCOtbbupYwtR(_xd5pQKloxCabO4?z1*+K#9w|{}`5q!mq`cff7a?&Ej%xDlt473kG z*<2*6QtJ!69c_ZJj;WOaw%p@YA{6jkNnzTv7HCTD`FY_mv@Y!a?@;0HEf*ioQl&5u zPHBg3crol0nOnG0=M5*uK{g^f0-+qoChzmluLT*6vfJNpQGluUli#X?_H86nY$q=a zYz$bLN=#j7Q_*vyf27#NU1N=iej@MA;;F}1-a8&S)!XtG5go$LMXY+^z8V7cjvqzQ z8I2T|RU@J@;Hi(rABo^?sV;KMU?*iq+K^De4Fcl5mETfq#ofcuFHcyheu(r(M`9u1 z6K~iHRpkxCM{KZ$<$|S$=#Pnqqv{lRb<4QU{a<=V|Ht?P*Ua4Uwm2o2bi^j-LIJp+ zO3nMkR))!pvvTWbCt_t9iFn6)f8oK<=sxv3Vb^$UvMfMz^*`-jjIn@i`T2xcAv7j_n`d-TC0f;}Or9o=VJS;NM=&zyub#)bpqIFjNZDr6-Q+ZcYX6K1oa zzIt}JFi!dJ@5Lhji_n2MnvL`AQE(R2a57gk;Hmj*pQp`u*SZY(Zml@Me}e$m2}+BT z5AWvgO@6(a?|4rr#A_b5XG5=BSwQ{XK)oC97gwfP{BXU|C76|)AHrICVrZizKe6rB zsOa%%Ok06Gz0R(4-VH;~jy?S*7(blyiuieS*~`lbS@DeK=H~TT1B*yrsWTjji{%El zqeZ-fHZFsjo^k_?zOP9ihUC>$12D$?+n;~sJ`Y;EXdyjGsx=K2?s_1}c|13;{IFf0 zHBqmpCEay1o4LO4RQpV)5Z&?D=h?CGP#Hp3i+)7(6FjVXr2_oNXw|(lA@u08)PFO& z9Ut(C5}ye>7jU#`GD1yEOx*5f4K_T3|3sYz=JIauaeMz;2%#q7k@96j#e{Xp%z(GrYblPfu@BZFmmurCO7HN_Q8*T3$oym*-P z=fw1XK`Ga}DPet?waHNM0&Lflb0VzJHub%7lWDTZkC80GcHcV$|61@XdXk02zu>vX z^d41>c_-F?c}uDh=RN?|_Y@1!DZx&ExIilkW2^dLNMB~_{LpL-Zb5!*kB z>g_|(N5^y|kaWccUSKdA=bC6ivD^aub0pEYvUt~G@c z{tAh;*!~a6JuosKji8~0|3F{b`xdVhY--v_Q>}u#mzXX7<||molSHikpSq9y*N*wG zHgQ5h%qg3%avwg|G`80gj^1Hqyn3WJ8@aHwxz_aDUJ{;)&$yAVJfFtXx5aMBsA+WqVY5H7{VYilJae9Tf`an*^J z^Y4pn>nw2@#a{qDcwBIftSlce+sWP+?O+X;}#$e~SP1UpQ4LXpYdDwsJ!^{8RFCL0|OzW|K0|Cv0sC zL4}$TTe>QT%y};0l2a+xF&#U>*_FAXW1C~NaudyL=d$!oFQqcjIcn-P=I0k4=!iG7 zO)d#ncCgT;aUq*0@n!Yc@RgSc{Afheu}`01^V!bhJm@L!zY+;JrkD6POJmj1rcyJa^L!kY z^A^^F#O8c8#btzUVGK{E4(o7i{D|Z2*;A4tr^yp1)K*tJ=_wU5Jii&CZv9ZI9Ao$Y zvjBGj&hMNfm{?~^3D9Oomu78c1x0yzoILu(=nrEYo_Y-a22KddP?<9@D~0D~aQ84r zIR&FBgd@(_{ysGpp`Is(8~kS|zb7-#@8dN+Mtlnj+!gd(sHM3>nLsnMZ?2Q0FK<}8 zc6nbZC_^nzz0~ctX>NT?M+2F~mKU-o^6-vjY} zH34znZVKDAdJ-X!thG(M0Fc4IJ++_=UGGO9t4EZ=yF)w4rtq1Ry0D}y3HuRe38~Sok^_;D8r@36=o+nb2na|?*Jw~ux<_|QJ@@Z< zkLUe+W5>;Q-`Dqw^ZZ;IUE?ZDVnaEO!n8Rh@+Z>c({uiqXKMSl9nQ9(1jiHR`6(LS zY%CDCpZ-bmq($Bf@%I$`Cu^Y}K!B+~N4OVFstS~d*dP&oFF^6-$$&GpQy`@O(mOuJ za_!eh5h0X+A~}t6G>XM>MF_DG|H}PWM}{deQ1t>c%JMeK166W*@U_+ws0o z-O%F;D}L*5HMTra6e=OQ{wbr`=he^V?vzx!d(;Lg%FD)i)%; z*L1172F40wL~9LL^-Gg7fYWn0%D)$jGI#qLTFobny4%i1K9|4lTR(vWnp^0+lMCxfJc#+-a+u>f;KD%BEodmpw&_`8|W?t)@sR9#6U|410l{7zn%{2@E zMt)@|(-1-G_#KOkz+^a@fd*qirD(2}rmsFOanF#QRdLj}c_AjP!dd#a zBU-Os+g1rlgXRdEN9xBPew|C^YZ~r-r9Ntm*rw7a-?sTSZFPG0` z076^zZI4rb&rZ5?>rbK6^mLV%2F*+f@*k0W#Tq0t;2#+#*|)87E~hG={}Jr=n1!4- z0^-E_eEHH;Z2JJL97k3f<Vlhn7jt;uz;`LCOg4OUQUOdjU5nuf3y4sbh4((jROD63nxnT4M!BYm)BEF zLP%)&IxrrjSVE8jc8rCO93$j)m-X8pygyTBV{Ul0vh3c69@W@_TbzL!%y2}#7X8EX zP68;Tb3mWJRX8(P5osd1he|nZ-YA~a&pYEjDqS{$!vKfZa38tYG9ZYB5B60S1t*7~ zS0PQOqbi5_eExLC9!GeS0$R!*t2dsP{naBK`P&vpfU7QymEh$5qz3S3jO7@p1ghQK)7zCtksfcx8TU9t?0|-HbdmjQ?el<(l zfd&*cE|_D#g+t%%BsB_R#?*m=jXfo?N0`~kJ@2q#L_Gf~D99AEJbqHRB;vnOw;aRd z8FYrkC0ZSV{Ff=dZ}Nz{eB`{IbDicvnS8!KUfrDd&Fab!>2tPg=y6*q9h~BKe_`tE z`#|>kb)AP89>}DHke-$g2R5;_dLE<>LYM<}P@2T;)>9P`KMQH9t=sx6 zWb%*_gJ@Jj62G%nvw*RUGNT^Y1eMS zZ&p)*iv>AiW6d{kl%vso1(Q|W@^t)Al*g9PglXY0YyQ(h)%_Ls5W<<`^XG_Oj3nv5 z$%Gb1Oh&%dyIoPVMbbEr$2Uth>h2<7guuDUY&gP7i;RIPan^86RV4o6yHKhXm7UJMq^^+;g%MN!E2YfDcb)6xz-uZ$f*BJ*M zAI`4!OUzsO($c?1hWTKSr|~P5*O?PAqCv-gyz(LM}P7*mO`z99P1) zcmC5gmelbFYneo}uFj!48tPG%#7Vc*1{EhCs9g}w$C4S=s-IIxc!X;oY_K;8C~+iI z$O%*HjRtaGj*AmRmDbcd7rp;5>5`$lBvjP12`RR{(9q@ssH6D zxjr9Wvphg_NE{MyEe0pYm@g9xelkfUJeSJ_B~BoeNKKFUPkE(%W4S35#GF+J!=qj| zG?SNp{~7@|SJPUx!Nt&YePw5v^_m%xWDdkhur|Mx_x$+$x!<~| z^Ra=@`*Z5h0eey~l%+gN29>b$>>{RA?7fTBzqa<3=U&J9>ny{_SRI8fXT8v&@K~J~ z4lpOLH!4A>$zbk@?0Hhrt`1GP#)lvp`c`aD!StgauUKrC#Hxm#u_RM&V5*!$AxBp=9z3vhNgMJ$Ex;o5({oFrvudXTh*sn&EI~H#)X-| z@>EhTaJ*^8+fYBPKwj?shFJr?%Tt;a$08%wdfA$;a5}PnHgdrIsb;381V~XA^V?D5 z%IXf6;ZHBl5cGigkm~6q8FN>(3|l!Bno`4_*tqAr{Q$RF2(5DJx(kh!-x(pHw6TB) zsqvNInDwJ8cD3Ul1Dx!HkRRpm@J!z*8YN`(Hn~r24b!cY)Nm4Fn~M(m`ASN1{p2k3 zd-bONAqj8cm<`M-+IEM{eQVK~r%g|Aj*z>esd6`eO~ZS6x3GTr(=&3tH>v-Ad3r)0 zu}+dRpH4*<8qdj559hy!07C1NCuw$da-v@ZZTLA`@ z=do1tB3{k}RyV?K-|1@|K8<`;ir!FsSk3vpPw`!CgMqjU_(yE!w<#NpwisPIzg6}a zGUqzOYoUBvXflMOEUq!FLA9_EqMmM-z{9IR5Fu1jOmC}1GPl^XTgFQbadd^j46~l4GC#TBl^!?7e zX1)bhg){Y^e3gA%^G5!|_ViUuV+h@MIN{-{(Bgv9brr8`_CrPvolaGbtMu09+w;@Y zyBly}gU0`2X>9%$85st4Uw7q2+2s{aU=G+Wv8gn8ifp&W;ej-VklzM?+sUcX z`SYost4yn@=_s>rd)o(6VBbG-B$w>8{o+qcR|y{yG9-{=qvNY8s3}eVJD)+N*gh6C zX3qLt!T!7bb@OG;LxdK%K&{9OKV9%uXPtj_ufD8;6B~*h8LMHxLpZ)y9 zay=e^qDphi0wv_U*_-VW=vDiwN0zR+y4z4tzaUl67CCdVM2zX;XRpT=bN*O#UY2@& z`rZ{lbVYSe@^>?Q?&j0`IM>3CNko4wI-2DneO`z&9tC}4Ft=-KSWM2o0atT9t$F^b z$+t9&+c42h$eX^;UHJ&fzVZECSH`a`bm~J2!JvU4s96Mk#AV+D&+dxl4Q#7w4kYmiOp__~6kj);BYwy0KG2%VX)!*>ZE|5?(A59Xu_)QWj= zXxBWG9DLhmF4=&7R01v-4B`&Ujq))g0cx_Ghkq*PKdA{lRLDHWD+%paRkmMf2~v0* zRs^q#jjC^qGh?E&XOOJ z#%`c0AP+iklGAK>ot8|A&@yk8pfB;QgdLL(0>1R((EpG|w`hR&1oHaWLY~xys+ZsCHNTkD zIIOSZGsi}0S8ppNR`%rrF?sW1uw9*EVjxTGx4QQRCo- z^SK*zvS;>imIuMC%_yl;VJ0T_u7Y!~!zR@LA5YLEX-dmp%z9B62rNZ~fYRO;!8fZC z4YkzQusc$`U=#+vl*?z;E^ik?pFAI{D(e@ocQAQ$JmzwAY>9#u{#oqemn)m0d#LcE z_ScgkjGXe{G+0h|tTXYuchm|a<ly zQriAX^CBI10glL^ZO4z`E3K`Y_5S4g=uM}Yi;JCIw3%(yqZbN~<-vs$%Y=IRdSXX| z<@Uy*)|2(Ce}GQ{q^%g4r?Xnh_0GPz+vSxB;-jGBteToNC&j6fDzuHm#di6c$2ca(c|KA6(#v$*o{IA6QY5h(W z{Mc`pw`y z{{5}HpVdzW|67M!ikscmYxia7w(_5w%a}W(%RkI_l>AYiV->y_fkWE6V|R#OxXq8r zx&0dmhp@WW8Yz+}o1s#NQkNQ8e0^LpuCJ$OD#0{1U9ndrv=}O8e(}i+f&J71Rr=k` z@Z^>A_ceJvaqfd&zE=hoR$RY7A7%&&gf9C+(nu`yFW0jz4L8599Q*PnkhB&5)C z(ls)uT^Q;OC_mrsso%)U!31mS9&Dv52=Y!K!gyBMG`(#aJ}_w`pkHEDdDzj_Pc4Sz zW3Trjp@lv}r1BtOFm#FQrEL1LgTMZLb6_&P7rq=$&RZS!61DZ3LJhABn^rmRT&JBV zlkc$_!DM+lV-y(jMACA*dO-%~2Bb5V;caVwKu@a0vqDR<&{zh4#rW_p0nx}ec_xLz zDIti2x>6PMtT@?2WkpA8p#Q5!Fi^rVhuyyJ%Vu3y>N2B_SVDx)QtQ6nBwswSxFrJw z2KpSO-%V*04ak0SI$(XM#m3Yh;3j5tKhug(rd@8?y>LD3ku%@@F@tj_DOsA)M<5dh z&+Wt3o1K9MrJX&Rjdf7AVuYBNn>Om=@(QTZcc-iA_(;bVn!T3`((NPeK3wd()}M6k z4cF+K_&+TFWOvB~i3n3H=c*pY?LhSs_C|)4I05z{qUe`|zy ztL*#JbP7@dh}8b7Sa$Im@9?+QW68w_DKAY%j}Pt^4mu0{02z*&D$ejP&qS7RV_vw# z<^v~1oBRW4oc$+-mlWJQ6(dL;EBo+-!FT(u%zl>+H>w*m>i2`KK~`#+NRJ!=4qkOK zoZILG?Aeptb0MeEt9z*n=;iwTWvTrI{^2_AZEA%lt^wSyedc1ta(1Y-OM-3yHzB{F zFIiiImw@N#>4S`~ow9UKXZYIl6Qfs^Y8|u(m2!@FtjqhY&0wi7UBN4+jus7pee&@e zzw7*G>!8P&Gu6w}iaUN-o}t~+&~I(BcY?C#F#C7B5%KXQwMmfr?J*x7f$7bj z{k45`k5Z@0PFY=t$-kHGN1YWnh4=JXm!o5z5%f4H+;FHFc{4r)5LQKnmfI-4E$fW= zp@m8qThJpm%zyS!woAhR@Q^~C`E!UB3_u8FxW+@t2RqpG@DAy&O1S=i4ardu_1y!R zH|XhJY@iL!o?^XkswSlL*8g|FHO?8^o8%IHlsUE5<@T)`>!*pNzFEIG4(v; zv7JDWh&dx8`XP=4vd_(FTW@vo zE?pXTs={RI`2PA`E8gP0tUo+i!TYHpWs)CfL{YpYRwJqDRm$THnxN&_5N2oHgAHb1 z8o#Ab|G(iyQfCg*L?+ke?(!!0m9777f0*r+-zO+AeZF7LT};qZKmd*gCj?-okWdJX z8j>V`kJ~_N_RTL=S89YGpEtkeFKaNQhDvi{VJe7?j6z&+*Ssk#7_7gf4xW6Q+M)mf1pM+KyIxY*jBl#tb5KO3Py`+`4q0 zabz~U?o93Ta5>%7)R%Jpd-THfT8TFhk;x3fo><02LyQ{z7|WZzW*Thhts|ltpewzc z>Z#pq=+0V+O`0h~8UBj5*fR5r>6Njb40WxA7eiYs+XQ{pCryMuK3i?$k;cdFEilCD zI!vt+_NA4ccT_>F1w~SmU;V6Dlw{0GtNg7%u0xry=$Cv)c1&?)^e~a``RhHlR9XJ^OCJADgfFI6|#K7&9Iw!}P8Zr2UbsvDu(=+*s!f_gtuQ zG^!j2;2oP&=5-nh@=O)_Z>22N`CYi5P7nZxSId3H&BW=LTi&2+5YZqvU{GT$`R2K) zYg&NLnLFu~H_(%O84i_K&UWDTCGC&?Axo+Ezron}+WB0_GG*jaga%FHjK@g#x%&*l z$vbjM$Vx^Djbi39B}DL3YI>uz8Gqg1T`%8VAGnwMt|Um4^R+t9T*(ROws1Mf1%+au zCH=DI1<$`l2q(tNMC*;&Q9pY+OKnC4r5r>4&TvKdkw*(~{XU!76Hz&xlDam@C}qC- z9cmEL7nxY-74X|mw9I^Wb^RsE(PQ=v!f9ugZmw1q|MV`iH#QPF z;qSRn(gb+616o0yeg5w(yb*eh{NO^D{^ayWo7{5=%)Mb;+ZrT4bOo3ZD-(7AHO1xX z$xj361kImVg&bwr06 zOCg3K*j?&0HbHH>YfIFS>Fo%(AjQ~=h{<6R>m;HJ#b`mZ^cJg|Nm8BvB2#?*BNB?)Gx)o=dD;+LXG$3j++Q z13+xCg2N0j<}g;REU-Jc0L6mbvt^x)SrUt6a2wEJ5}TZmXpow z+lqS}W54xBW#Icp>HD(7ws#9FKDy@>{=4vDsl<^Rv_spfy404rTG*od#r$E6^c}UD znCk^tSLppMt+!1;{V_YLSeeii_L!qxarI9RQ}F%ODziIsc;v3se-Bh}y?FECvWNMe zXrqDoX4ao%I76Idtar{;txGWXkipfsD@aU3Ei{6|W+P$hl@ws4KmMwlmlz1eb53Pd zS6AVk>H<_|DU}uB0M{&~{KJEl2o^RZm=nVBqA_csZvOwY0H23OO<`*-KhFVs@;S7| z?U!gc1Q_^*g>m%?Knk?^ny^M%FLU;}Dq8N+F4D#K>pSCG4>xn4;&%v|KV|bi-~BAo zyrueQq+sK>4}@d2$}zsdWs6?|aSXLmKHQ!t9d^+1{rl5>BqTt0kj)a3yS^#h2WhT%ufMAigl*yz08PYU)B znCn`m7z-u-YcI!emygK4J>#vQrz>&SL@JFYArfm1a2V=0VR0aIx@t;okZen}xL0Gp z>L|cULWT2w`pPm|7PibBAhn75YxU5#%>OuD4<3uw^;WX;$pYG)< zka@>sKoMvt$tPFWNA^ueXe8|@VsfUjC=gQY=BgDO+Yp5rwyzVg8g7f^Ybk1;uBj2a zN96$co6DiPfJAL9ivQ%vR>PTyMkclgInNaj*9d#Vz9uk1yP%O;(e(dn5LDRkulUf< zN?=H#Tgzf%Wd*lL$FYRtva!NmeXp#L>9+OyjSeVew@G>2nC?b@|^h4vYT$0xj2>k?dT|WEgJUywt5q zD`D%ccWdcE>$<8#$ieldLZ)@6!}ZA`&VkSMY|YJFvG!qw-##@NrmHXDJ25K@4WzE} zIr&xzLu;rX(ZSSTS%uZexv9Kzz%=G`{rOevCvt=q2!HYf7&7FU6}|3zg)Ks%7xu9! zhc5RmN*g`xrE`#Q$sDG#GVU*-wgXp-^Hn1nw9ebuhJ?g<3unTQ6Y;v8$uKnMMVHgX z=TFudZl2FM`wV1XBMz;k4?l0NgqYm#-alx)JM0vb@wjMg!S`FLxE1na5@7iGJ&XuW zQ!CP`f{sMpCEV?H@)j;$wv)GC_@3qt3oPEKF7EcWUR<}5-~Ze2C+o6Uk$ctTKDM{$ zqsw$8&QEErgo^=4yZNknj&gbY$_KVGO=NhO55Iac=1BSgX6f)B3OQUehK<8%FSEho z`2^;sbJfZBepj%D@6$;-azV4z`D5tUDWgdW{1zRbV;f!;w0`dq8Vc_`3_2fw0WICB z34~Zmay?l8u%^{Kxy;?en^cag<5tJmVED7-f$M|f$iV^f&(LQJ^I~X=;6o`iO=JhqD}+Ob@%?@cTpKtZObtFb!_l`#11o*L{D8;C%~>wzOL6ttM?ibkWgF|2-#SH8 z6kzf2Z6I4^g_5#BV@C;SJj>#GvK^%%w|)TcKv4nS{2|=+IK9VW;gDzN(0tnDwS+F*vEp8x<(j@j^qz~m6)==HiiA@F683D}tUxBAoA7A9K&WMKr>ZNqRf*6tqpbz(*q(EaN ze14Do_5`v&f3`FPep2$byW8s;pWVNZ%U%L$Qf=!N;fU7!1P`+U{s%^tC*7zgZ(zy2 zN*jmYWDny2;%UL??x~dDE@)>S(T>7dA1G|XR|XAe>p3Eip>AtVIS zotn{r<%rjm_(1vToFw^=w;9mt4A*kz+KFAGo(4dc&-4FNTIE0rwjXj`NVcIQ)C}Ku z9HM1sDa-WbRL$%H*)vB#M z`mbT4UbA>wVhm(&x|(3&uC@-c__295g12a)CmNLp0Q0OAJ5YdVPN^ngLV6452ilFV)A$!?;?73xP|uNurgjg#*5R zw+^N`4_nfT*1KQTRzOGP7GQ0pC7Eo`vmpC0yJ5x3Jli>%5;6c~C@|@d;sAi?Sxt&M z?DZWCKWux%@lEGF;~+PfwEnh(egTlLxSJ$QMk3G|j`AK4pAymC{*KJ!F$9|Y(Bi^v zQ#DG`{{9w$=;sSkn667dYQW|m#^qSAZ7fd0{_|%=__ec@ZWfA;v+n)XX_8geXZ4%8 z5opgXaPS+}H5pnrGU*Z{Rtm~CqRP$(B#ju_KHX9H?~ij|DgbvfL(``Bea}G%0kcQI zRmgbb?7O5Cv=JqAP?<-MKcp=Hi{R_Ei+CNO7$cO3&6+JaPSnRRM@D#$1{!&g-; zD2Wad$K>9udDU?;(#h$!oB-(PH;(}VEElV?ncCb>tB^4p^;1#t$n8N%8HCjRL`6sI z)f#8!{$UjJ9T=dd)Cr0@&97;~VYs+`(I_xFNb)BPX`TGEt?sUF5y#}>?qVZlsPkpp zdTbB&09Ov6Lm0*DUFGV*S>_Y{)C_tl@s?%zZoAkXB zKrQ!E)UOZh#Q|vq8kOM;@PJbzdLglt6z$i3)O<(7U=FiqPk3lK85O{cz}AVrPaei% zdT;3EL09ZLP?tt-b%|=m((_|5N8-_^NC@{yI=$xlqp%prx3K<;-udlk4I7^$pI)%? zR@_3@b9v!knDcRRL0{kKLDRW9q>9_swk( zDEz@P=5WB7qVp_nrQY)i92R%X!MLRuG%JM8GyfcH3QOLVucgr+ilb#QD-#^`=HCSn z-CKsU!5lEb6W(S)AZ7<--v+C9?4P-24v_mF1|I%?x3~=|@V_svwoZuq1il=Prz4 zFAHmzz7-WPkFV-L{Rn*nS6e(ux#OSny_o-#r#|QQ?)WVGuKOM<`+8M+@_3ymr4a~( zSK2f~;6i|2(V3xfPS_Y=8NXqwX45oN^>cQyV#y+igqsPLj8VMB`R12vwKdHTWP(u; z?4(Xy_w19Igg=Z5OGWyP84`nionKv&`7h)}Ll#ZCQwYeGJ@uup3R`Y03quz@dl)xY zy|7IF_3JO4#7KVlR3sSg0SYe5OHZW5O47$q6OMBsg~!tw(!3fmTlM8jI@~QzP9q;am+&ZGd2F-xPVh1L9KQaq7W}Xdl^c<`;PtsvXC|?TU`jnoASfxc zDPQSCQD4|K^Nyww^zjZVO~i^X1g`$YWGMiv7GkFKAccAPrx324&!#~WGzfEZjgFV( zjXq1;vS@OEK3l5VrSR420_Q)`-(Wbfzl{8)#LFn&I9X!?IR9KJM-;R;yGN^bj+h|b znIGjK&CU&$h?5)TGB1gO^!@0R_jIHv%4*7JjM+Iq`9ZX{l}}Zrw_Z#Zy8gCQ)+S*i zUR=WW7|V-v&TXh8!$rJcWO6m$hLd*+;D3!>W7Y^P3F8+Xa>PC|D&vzay8&m81ma7N z5%pkr$Jf)}OQp<@csv9^0L*t6=s3XD$c_Lg*yEHGKO5bwS1M4fCje)vnZn_n;V3pA)bGmm7~2!1EtG|Ta1LtTB`i89 zN16EWP`yTlJsz06d^R$v9Wx>R>Ahuo3>2^5;R?>G(GtM9r25E7W4%whYJADwfqFa@^#I4{>VD=4>B;XX5xbGkVF4LEk^{G`TVgLFMiD$m& zX}*#?=;HWuRsguPHPMa&`yb_}EHU4#sf%s-ZMgdoG@URWgtg8_P!#FPWSBSI`yK?g z-m^*fKd(>~nfHJni%4HP_>-wg-pl-Kl=eP`+D6pds6VILCPg?)ZlHmsPB5fWqv6}= zna{k6j- z%{{6AP47l-E1h~Rjy{p>;xly6OyxUd_^8}gn6md$17#8rx4**Vb^NT^@<-|tuYgL^ z$Q(Ak-WhGsL4iIOqTHJzMq5Y_)cF_`5UZKN3M7Xz*ke8-t=;I#(o=A1Io@r`g$CHh zcc8xiGPQ_v5)k>bJ;jbrOqI8$T{NX?>3MU~_um-XbtAKQi!VXJyjA5*7XWij7z=T= zwr#?j>PZ*MI(_dLS{DK--hraDpQdmh@5XjH5BaK&(;|0FVaB+q)lJs^C@{eIPkvy- z83tvM99pr5eEF2Y#T*WayB>9h6tr!voV25EC_?6@#*h2RznZXhRCy63YcoAMtNwT; z%cMO8(th(;{*`It4|_ACnDC?h?MzijfjoshUxg%~jM(oZ$3^F5a&lDYE-B&${nyRa za!u?*KsYLV=+@5|w#a~;TnP#(&XD}J0G%th35}rD^(I#^M}E&drnd{#QMDd_WQ1`X z{K91!{}BJ=UF+@a50T2FqnR4p;gpX8F&Ke{B)6Iq(%#?`+NI@C=4h|2!YqHLHJxC# zZ@N%3zvFQwkIUuITy4{lET8fS#gE9XQodGPa_JjKnkE00K2E^iKhd&aS@$K|=U=e} z)Y#|B(%~huduRfudb^eM^)!0p_*ppDesCmh;8gy6954BFCsRDIG3ceiLv{ig;q^X~ z;XQeV+Kh0>6)}M&xq@lKTXZMbJQ}NVggXejrQ2)Yy2}8UnL8C|VR0&$DIqA-+Pk0u z=98Yc#mOHeM{O5hxzpH&l3~(QLT>Acnoqvf0Z6PYYGw-Yk%J zyDa)@T6*ry2zjh*6*l{7`vK$oNqEmPCfy#F1z+vWE_6pvVP9~FiZc4>_YnFV+D=sFfcYp}Ee`f)@m;TZ|8pjN|D6dT&Oy|+o{dMM(dOCSfKymfa zTr8WFJ1W3zaM#Iv@Au~bH@lT;+{omKA5s`Va)%W5i$w@R8k|4F`p zJvuMNHd5vq)B_iWY;%{M+x)j`Y#PeW%3-f0R`QGEWwMYXAddma%G*R%(ZAM@UDaO* zy^3BgTGk)$Gb%fe%CgVoa^NGHSYqA4j5Q26s8hkUriZ&wclYNllJ7@yez_0T@hP3F zRZ+_j(&UbQk*S}4kY;eE^TP2v4PM0092r}cvQN5RhaZ`PB0TC&b;>@~go*r&F>MH& ziwMArrU>rUeHBJQ$ihOD^8R9B+S?y-ciEEa{$c3$-0xta&nrtJ;p+T)_`8tphsn1m z>8W*WjtH733s~5ck8+)l#m?U0z|F~@oEXZhK#-{s6~Vhm(GmF|IgL0<-31KcxGiC? zR>-m(e{bjM7Jyarf)ofky`bK3K^FOZcsmee{iGGvlJO7uWTYK${{tvtq$^cHlLeFz zn!kMoGd1Ume~oj*Vr{-xvni6_DHJcWCP4S)aOVA$T`>V#uuNDVSHysDGXAAQm7nAd z6(_pOh8T^CKYjlfjNy{v>3am^bxxF24lgqJ#9$8|f#G0|WZ8f7fe;~a){eE^^4fH9 zR`BYtGkSBw8)HID?4U6?XOR!3AKxUPV0v^VS#Lv|opI5Vk>@isM5`8_EP;--*kppt zd2Q(<#G&X69nzA96JV7Jw{0t+C@o*a8dPE&VXQLmb=CHGaOy&vt<5lM)UQ(em*qB@ zd=4M37JdSL<&-ksABGqbGYfAOSs~c2xgh0?Z`T0(dYP$x6H&->JrHcI-Jn)9b{=MC zN~cDGXuMyj2R+JP{P!_59dcP#k#oAKmC#GsBbJEvQjmKZkcA_8+f1}$o;<@s91k%(( zWRjT(xA9nGOe#89B4_?$ zPd*)_;LQ^;SW$2;xWHqis^0Iy6t+L~2+t_S;&$>2#PSbfxIClb5=X~VQFO7mezSq& z`^d`)aTw#n><4h0-%W6dDVo#U0>Pu5GjFe!uJ{y&lTcUMb)@Ljn%Pqvs2-#si=OHY zHYx67^;a>_Zkj@M*!U_1rslndAV@Xhw>vLlpxnFp z+wKMCYN7{YSkLe+kc64}5)B<|jcNS6bcNwY9v{?Grz12#Y{No3NR&2RBVEyAV$H%E ziukEYX#384?SlM$)_?2A-)@lIz}AysN<=@snf#W>3`Lp=ic&-xh34jwYW;F4S2s4lrEu#05s6q65<)nLO|m{0Zk zg{LzM;)pO(Ek? zGdo|^zwewUgO@;aB05l7YmpyYTuL;tvFGHRQ_4+t_9nNEC)A?zJAXkq68xN`J}kJH z!^T*0i0xx%+^eC}%5@KUcF(RPN<>8ngx_vUn2fnFjV4umaN}VT95Q zFM>IZU)iQb5|rTDVaI?5%waEIt^QM0K=ws&KO2_yn-c?vX-o(Y|29*$tL)0k9+i+k zO&?trJU+|PASv|V*s4jHsv|(_fFgTUmLF>Dylev9PR2kUr5cdXqr1X|L@YZ|f&iu; zT#yCw5{I7ApWGH;Tuh?c=w6L*#KAFTtZ$)wz8^X-Z#mB28Y8(2eW0Y@=;6d zX&bHVgnT#`X4rkW(-4Lk5p)W{<@p-RQf$-;*+_e0!S$%Wa(wauX}|cxwhZJ(Mw&}G zQG)veLcZ~)NOgd5Fdn4TdqvajZK`H%{vjiRx0|-AI)B}DyY2{;pybCaE6OOsDSEmS z4uyDX;|v`$U zr@=F@iCN}=0k?wQE!tEqigi3kfC^iGyCsD$sE9SY>d8a@Pi2K-wrF!P;Ks zrMgwp%qOM0u+(@)1ui_EpX8`8zT*wad3}P+F?oFS)#rCZfgEAEo%_PP+j`#v4e#<| z3QVGWE0h%14G(zSY>v1qcE*^@VUkXp&Rk#TM&IuJd)SWh%Bj$hc_FF|;mE3RJ8A&7 z(OrIumFcAa3ha03TmA6p*}F{&B+*8-1}0U~iRq=f+nbCHR$!qb^4M(^>{)FJdzfbR z{#b|-u1qb015YDsykzBswO;*#_4lTczjSo(LPd~v;b+-C7jxp^@8zXU7Fj#%ojD=x zqCgf?+Gc+adMj%4YP|;)ko`&KMiPRo?Z?lzYJcDxi;|$*ok;|zgz7%Ate1pxCSprH>msA z;WBgab7u_;EU)H}od^-dFha?2In58PIzz zZSPb(5QDCBWhq|47cMzOS0xXYGrh=z$0p0(EmxJ62N_YXek85;&KXA#eU|nd*>db{ zCm@*c9~%C9bf;7cVGX0jI>0wnlydXd?B$DrbWDXx9`4up2UOA?v}dX z*phI5cGfPw==8kl-)3%Z;Ag*=mQ00?h+5N6tzq23!6dXDE8UTS+st%y%Zw`Cby=L4@x`fw@7^23 znaQm=lz$lsaj`-|L%ys>uqbmQ2M>M{?DeZ?F4opZQJq~}OmtL7bLE5GJ^ogejt0EO z4#s0+(`zX#C@^(2)zB_x8PP6T+ZbYWn-miCR?{bEP1kKvmiN_kZK*A=hX~@!C=>0y zflU(j(oo_lC{}e_P*MnVi;ieRe;%>sh??5;%8+_;XeLDfyUTum(l!dhmC))q-uuR& z)BWsUSeVO0yl-FplzKp}e(E|z#iA5Ys`s{u{W0>o)@>OsAo=;*C{xcuZZjxN1EHQp zKvQ&BuSRCyHh+u#k zW9h2ag(G+#j?jfP$aea0JD8hOq1~beIHn)b5mT}(H+lW@NOWUk)vlDg6Q{^ub8CDk z?zVeaTJc)YYM5d3;Gj-QKv)=`nwt9cI+cv+{#?WGMiEDjh&%=F$Y~oJiHW|kws>bW z3`8CI)efXBSB8ZJwl&4V$0tCJP|BEUoLub9G7c;}c>)3jOjldI%icOT2wnch!kq)6 zrw{Ba=8hR6af{fJ6??+K5M)^W0h&d(+1nmQ@wWlNsWDTVWqZt_AlEgpT~OANJbv!$ z>#MvLyb)7e%nf2*oXAWMa;~9F@cUPG>@1gW02+(L#_x!NR1!b=0=fDv!uN|1-P7ZF z7pi|xad*(_lmFn9h*b|rsA<-esi(6K+fa^u^dj~_+G^MEk9E0Lea;p~VN&;f>Yen) z_g+0wvJwBM1=!iizV4u1LTAr0=&Z+gU$;F43pxr4{^lQ4_^8~CVlCweYHLwRZgXhe)*apeOWthe9-jWQy4kU*SxO>cTJy2LySbv0 z-gBeJjHLJUeA{r;147eImLb7~^o>SncJK10TA#bw;DEg+dF4lPjJfl{Qc`5(F0%?ZMiH@XG!V*DZ$gX?BnraGclFf`sf42a zgo-DE=cN7UcvYsSGMu1hr0WEjncD`{2zyW^0Rp7(oJ5)Q+Hb0}Y0@*=wK_!@o<+1T z8S6fVfZ3)_T*Wx?3GVM3nCsrxZ_kbYD9AlWv#+HGK;*|??4Ne}E{1aD|F+k@hZ}v8 zZSC@*WK~7w?O4A1ciq8llJgLdGi0BbePBrUkoh>l=6zY~?8v&*O#?uM6@2S=D33-2;>N!&h zF+vC4_qUE0C5`z?4%fr>-rtOTV6SoK8L+VqFB8-|x)*Ok zYRdEZ42gRfy}zH%LL7VqZqO~)M>io+^vghaFhBaO%No=cF~ysb+)(GRh^_xWReg0> zQ~w{YL5H-A5F`Xf$VN{}DT&dI^i;YeM}FxVAvs#QTcjICNQ#tn3rGt%LhkW*|GAgv z;m`3L&d%q&<5kAjY)X#~`jpBE(#RiNO8@!9j?aRlCb{+GFh-;xO3EPl!=AMMe?rky9kA}5=cDN8j0K7*QjQtp2_3s$7AL&tlA$)qdlDD1H`VL@8*or6;sj%-AA z*@nX@mR>jnHSS;a#E$B7QvTev*8kNLfY)1%hnt!xT}mC_`y9GbGhW)8 zzD{s3Ol1t`+x|Y9|DT9suM&ni!n2j+3i6W;s69FsUJidRwnkD%! zU>ub!m_(w)%It-Sn7sa^IxkyEE%DuVuc-1JXj}7q)+)N=^adZRdPWYn_q}9(=~j!tfCJ`y-8SKawivE`=@VFB5t$dGhaMlRp@E z;##o)sU>O&Q}-ML<5S42KHXZ(RI^zGIY_^Fs)yBlPUouxpMTQ87@yz;9%(udZ;&Mo}=RT0VqB z*+#itrQj4xn zXzcm5D%X-Q^gd9ix5X04=W4Yj5C7x5Y3}XSbdVAf!jbKHd39+;OJ};od;Q05mDh>v_#7jC$2$T15dyhoHppqMHXjZ>|b2xbf zwDc6KkAWy`G;<`)#6WTNavO2(_a6@qpo21H42Ux2MYWUgnM<={rMLUuWbO1f4|<~N zU9tgE1vnidODHe5og{e}4#j5M3Gh9!<#<{gcszi1#%0<`=XQb$1odEjJqTOIf_Pcg zed3^obg6pQq)bsm7PSKG687Dh)F?tZ* z4H2xr(}$LIF#5gT^}$TCnR#?cpYB6`N4V!Mt}<=~$s_~>;c$@KTBs&Cww5&)r$KSU zQtmFc0#eiz?lx!c!o~wmaz05;KOPgVeP41+F0DL(=9L$u)sBg`)H3C&>dQ<&XIS4e zgm8eTk=ARbh4x`@+Zh9XL5~A3?;3>CZnp2^D;})?%;@8JV*aG%>vidy;1H84gAPW= zrc>_S_Os`Ia2DOiCG}9?u*dvHIH|^NwZ9kc^9M91t#tT_XI^kxDPHbXzUefbE)N3l zo((_ezW~j=@ysKOqN6~CC{PiC4&uK)(m0>p!OHikVCj4tY)1$_lBa`kxXup;Y*xHZCq;Y{vtHip zLHllZ%)LIQO6>w zApNoSkjaW}LuHdc_Fp$Q*(+M^q~>Z7_$x`!>Fm=R|3pdFZv&HczETMkEIrDFAe7Rs z9t%Yx#Cgu{+0_E~8_!|1xW{2g>rtydffpfMO>G#RaB{8ML-d*i^PQ%g1Es{_ z1dQ;&Ml2HfcCMDKSnTjodS-gi(2&yM$Nj4F?qSCUqosOb8M#4jR393&)raQlLI2({ zciYJf5eOO=&Xu@KdNt-F9!YHhNBf%4ul$HN)eKQLDyXN!2&8E!V;u$b#J6+E^O`y1 z4jrktFd z?ZZi@5}|uXF96R%dVL7BI!*h3W}iV3{#%m#bpXV*ldk0$>+CWsd@!vhes}phmN#YA zkn)tH%lS?7x)(ATPFQ*PV?%i8nfR@4d46IT46Asb1R;=J{T7sjH4fpA%+4OmCAPV) zir({cpoqpZMkngSG?43S1SHQ@h1r6L9lJ9_BK3#AUPS|v4SGr>C`YGH7y)6?{v@)# zuKQeD9!ke<=!fO&Lgx=9x zw@H{<;#A`Yd?qc_%NH{n05iWBwGiOJDba{+-ZM@VO@nX*hi^qf`NTKL#ZLZgEG?rE z%aetTiyq?kOPG`*XRHUa@_Dmw1QB56)yZK`vDg6X(@7;X0iTNw2QxapLW- z*^msTAVx(V{q#1e9!Qp550b)lPw^*%@XJuc3FS@}24gvJ(xJM`a;z{?ALF^DYxenF zSQn?|9wW8CFbV1C8dl$H@m0xIe>y8}q<7IC@$@K^H|`-ov`a+lXTN`cHW!-u#Fes) zY(9B5(iewLV);$2Z}SJ}I$?m9K!xvLY?Uj;V+sR(b2iVd+qEIi-UT(W?!<7&Rn7p@ zL$X`j3=D!ue0Ed)3MdTt?~d82Jhz4r^ViSr&DUam%Bja^J~SR4p1FC~O?wu#EmZca{{Ma6nXlmclv8H zq{y;>bXSNa`&k}QBp0%eIszKWWEgM#BTWDAK38%1I3q~ge3m-@e!REVBN;ZnO=Io% zC?(iH5|GHmWDnS{g=SI}Zy6^##|{Z)S5hSNW2n8Vz$A!uq&Q|Xpi1codI?-cD$Qn- z%kt>TZTBc`fcP7cJTA6*x(aEZ<;ETZRHHD1lc*bJhIHCygaj=KOXWRYhd*{OtjwvF8xvVGDN zKvOY|i#SfwThzO^{3d_moV)Jhi%Bq?>^ECbydp$_X-zzD-H)fE`KwZjT9}Wf_Ga-B zQR)2e{4nP5JD2&wZcDAAh!@dtXtcH)L`1@?uzHY_! z){SnCS18i;&&h9e{+RG?3aHeeWpA*V z00G~har)0n#6CW3OwS{~F8>n<6!PS9 z0g@2$EzZg+YTHHQG~HFzGNKe&o72262mJ_E!Mnec{(z0Q`bVpUl2wN1&Vfh9K?POD zcUe@#m!}f+wzGc!`N6NNotQ%jI7@JLcAfa^53yAbOd^^6Y!T zyp4Q(c==Yk)+gW7Qr6dorqW7K4E5=`CON0qL9;M3o{TssVT#I?a$GpF9B=H0+s<^z z8N7q~?A(+&kNSn*D}%CxJc%V|FeB7(L60iXI;CLqr%rt|SvC6JkxvQ%57l3tZQOS2<7gZoM`g*ez*%Jar=8zV64M%aqYtQlltg}nj{pXE+&HYGBUFnFC}Z9`JNjmI7^zR?}S|{wj7SM^H+ZAW-&^6iy1SVNXDYxCDul zf#%YIA~tfGVXPLPI z)V%;vz4jy9#)aeJqdOHZ?_0r}M%x?jSgTsnC+>bX+BqQ^j;+&8*n;Y6T(j$9{%+=+ ztJhgA1c499B*?2e_rlvUfu-S}iFvEu#*RDYEM}lpnTrcGLGDG-j4^0EvrN#|__sui zMchXSIQB;5y|;j~D&#JjK5tKqwg*vNbRna$$3vyK7~U(!sLE4Jfk7dp<5w< z)^4Lkp1Y+nGVjAd_`+~YQ(C&ZPb{8BlMK_BMlmCG%UVXx^sarF$@6E*38P%!&zQW0 z;j|9T2xcm1;Do}ue#q7(+oq?H8W~C{7-q=EZG}@9R{{rVSje%u3WfagUo!5KcV7LlS)<8RJs;;*FNroKwbS_d|X(*^ey zufNKFaK-KkB5qs8xQpiPl57V?6gwB#xK9+w#!raqm|Tp+4ZXVkVvp>pv`1sLRo=C! zfphZAZpyTTgg0AVqo0p!8yyVeLivki7y?Ozcd2N?Q9W(INv5yhr@mnJf&=$%OMPFs^n&cC zfKQzZCWI3n3`IY*@5Q>R`ubY+pv!h2TPO#vIPDcL-5&G4(_P@8|3wIMupq!}2Ev+4 zdeCzWCFZKycfQk0$Hi9JVD}PNsZ$Cu9EXVGGP6E(fvt6ajJe>gr`?dL5)gGrI~ML+ z9Z8g>_@3+cwW`zy#cW{@`d2yCgEe{|B`v=laqG6dd3dLEZU-&mzPlkF@AbJ`hrhDJ zS#~)ca_(WixzCUA@&f(E65rix4I!nUU3Qi<_8*O7S04|7HjfMIB4r4C0Zrf2rP%fr z|Lf*0>aS~^mbWc7XWOIB7q6wGl)uEik+~NOSRRCHt0VF6DuJGEN6O{?FUF<$tJT*Y&g$5t>t<_opQXqU_H9nf5+mgv6E1A(F-vULH=LiHGinOUtZ7iH?#(+|Qgf($|1uR{K05-JusTUliw)wd`5xSjb1U^sw5)I0;)9*;A40xfmB#*dou{r$%! zZ!TrckPu&@A(!8pue&E-Kj}yMuSaq=S$xys7A61DUo1#%AV__Dlex1^P;{yH?gtK) zl}af~^)-X~0h($|Tjv!JfUBHu$&JvUM*d=SQa<%B9S+vtd!E`rgF%m=6YmGt?S0*T zw0l||~P zj(&&aoPp`i-ojxs)IANbGD7Az%eq8h;mt|Ly#44<2!yUA^tL7o3aZ?6 zd5xJrj$|2M7A71UpB?odxxpy%M544VaK^3&r-M2={QV_W+d6b?>)$-8prA+{i-2J@ zx1NP5D59VTFoJI%^Z86^H%?-n?6$D{&7RBLHc9><6)Wd&$b^6^t52Fkle7wX7tP$! zQ8GzOMBk>J8c7}Is8|ZFcc}vm4O^pIPn-Osm!B_xgciKT5HmOOYRS0kzfzpryZ`D+ z2N-0wEF|}@V6%ev9mT8}0;-3c$A-=vM{NIIL`P8H(i>^SL6wjSU((|8GVK#!c!6gh zchZe@kl#m6qj8B;%S?V(6nMFvBOvU?1OTxU=h2IwPcP+)&EWzHuRw8Ou4)`VoL2nS z274csLpY-Ed(QJ^2K>>F>l&+dnGgUP`XN=FZ*e>X8o>{~cs<=&NYr*-@w@CkUToIN z0LISm!=pv28LLWe&PX@6iv9W0tEr|;t>;PEUh9NjYGS``|7^su0So)RkjWwkgHDTw zi|w{F{KcJ}%&`*d1cY2>b>oy?(-z@85|BLLQ0-&~H;h*#wqb+GBnY-g(h$CJJ6Sc4HLTIMfUB+qMexl-*xJNHri%v*Kk&s}kf zibS(FAAqQ&X5|9A44H2ubPj8syakP2cHfOv!}UN^v0@>mK!V=Y*UNUYzo&jjXZE2G z?@eW4mQXwj2=@wGqN>K})%7do%({%m4%YF<$3o4V6v z`W?b-zZWFxuN#bA`>YC>9M6w;1^hh@KRq_z&|0v3+DEJFJ?Ys&O6#|?(6$Je+VrxO z9|nH>Nbz@J_sCx~69B5;V6l6h0i7)MefZr3sLA!9|=?FvSJE4vEA<|yW^{k z7zoQE8HJb{udh}83oPM%33|9ZtvwR^Q_fGxB&rmAerQuNz{GHfXX2B%m*9~}_E+T> zJ?gcT+%Qol&Ke%=lTCBk2UwAV72 zc^MA!x6W+uGc{-?)p0s^47`nr*c4*GP*bo#6*4_{BK7*i+1~oSjhjV5hiuphDH06W zwqH^XdW|XZyp%xvYL%RiFz{S+xlQRq2jx^VBkHp3h_;wIEql;ON5VAS=obKM1lY%( zitn($F~CKferfvfa))*6cf6#&FprLpb$%ZL_!S0 zH8eT9LIyPIX`Qog;VfWx^-dB5rG$Xl2>9Sy_4Ii)_Yo%3_>bDNXbfBGX$M++D;HnU z3dmZvVPoZp9;otLPVw%nfYEk4J~n4E8a$Mgg1VjW95hj4FYs1$;x}r|s>58z#Pzu^ z`2XI(#ePl5W{q}Be(({kt;vtwFxl8}?zWO54Sx8rtqiez<8%ClO0A}@-m;&lX?0Qg zkqp7F#-olIPp-mar@Ozx2KDb_bYI2YUb##o@MHeUc}{4D=UK(FJ%6$-cW?CzU@$g@ zy*?{jG2#=uL+teQgc4(&s!dLenpQK3T8}Mq5zA(aJrgfVGfLgwRC!D)3A3jh@T}8&(kp{o-`Q4W}XD7z|*y7x- zRfY>lD?ygch$;}hQ2!nVL;Af{^;QX%m$Ou3VVAu};z|j5mKj&gO%_Q(^@v>7*z0Kc ztWv+|A6+;#&nA%PvAFWRfn>z=4nE$3C*3YogdyRlD`7%1gFg z=5!oUg8Tx;tc|K1u8V|_d-o`~mE>OObU*RD%{;rQyES8_x(Clh8 z00Ex?`^w2+g%PFf*-CU`QZ=R;4{_R;SwZzt!mYCPkh&sLx7uv#H_H>uTT}#mCo@5@ z9UFK&I2b>!>n;H}-M_f}hQ=HWM@L0akCe({j@titFEk~lZKlF@_;;b40s3b1p~Z5F z0*EzqA~TN?yVqq)>u)&4N2y9Zi3jCY@Pdd{Y|Ved&j9cZ%JC8z?!O_Xze!G`yVJ}u z1>=-PDY;fDN$#*y%ERn6CsoM;fztW52hAPK?=y#qxlrCSl)l_!Y2b4HJ8+{<|*`T)fFDl^~LZWX{YP&#_E^%6h|NwK1d-!GFg6s|bt3Z1g2&g#aF++08ob z*tdZJ4|f{7nx7OPs(XPk45C1WgsIJw)i~gd9ersOGS)X3=3x2ZADD?$I=p6XVyg!Qom2^n{^NLB};b+}wIB-lb89jA(<4+`%&k>V|)l=$PjVbb|A>Z2Xc_%2((tyTBqZG@-lZi%(*pw*CMxC8S%>= z*9SEgy?Ayo22qDP1YAPBP3xz>ip|c?lKRmCuF*a097#LYSes@k{I$;8iy-XxF+;o$ zt-fjHvt*eyL=QnP`#~u;4OCY4^=OIr!t0UNtBj-iNdRA1^QGm1%~hrC=RMH^fMKpd zJaFKzWHeT;+es8c9RwBD$Q{FTbE&8-&rp{^<=^Avh3>|g9n{hh0A}Umr4WiLdluGnx zYffe5t?UqHLMC4dWyY{(u#tOIm9l$QwLyimfn~h-_NLFH29Iw9%aLeS(~Y0XREGB(FBVk%LKBuW<~mB~JEN-=Iu+^6 zSf~^mx9Ld{5ZF%K12mN~46_-h2~pN?IH0l`HECXzpx%QDhSlvg)`mU*$I&Mm1meB? zw|u8_=kC9A#m|sZi6k<_*T52#Hu>{We57Af3oh(i#bXPLDE-scj_*4BqMmj}zv=U- z$F$f8__@sbIt)^>NQu8I+)rhLGb9*87+i-?BdH&p@{1Nxe?s1v`X(Mm zHN-Ja(uJmW@zh5t2?lzPk6&PaL_leD|92l~=o!T%)DYXb8gXgR@2&t}IkNr}%fz77 zp2^3>&DkR+6nOuKqsuL~2QLmn0Q~vY=H$IyfD9&%h7fdqA73|`U&w+M(O)?TU_#Cp z&LU>`Tqbl1P0F*RT8}gTab*Q?Bjht)YXas)-`R03wOTl%tzAq(ouT8x034VYzOAMk z#~09>oa3eK%c}4gk22co44tH|EVwWF`i!O!PQ>;3drA+$0LSw?>dv%1w})T#BN2Ox z(Q7VMgj)=S8crysGs|`=^*IgHylAzqZ%=|tdOGkxW9Xw4Z!hk-mg#m*`Gd!v#_35- zEqT9#6tj-*d|?y>gbnI_*6BH01mz6S=Gh9ntRY)LH!ux`A?OMa209RIZ%(c@#QCn^ z#aT?$@d?x-S(}HdR~S=TG~Wttc7#1`_t2Mm(I6)$NaJcdH%j&*+UUZVN>9RPqI8yn z0mImD^(-y-1(frz|4f7kd|6CZ%#Tzav>o#8<%!S6CB!e+S2l$xacJIzua#SHbe0D5 z_J9E3Oti1@HEU#IcPzDEaZo+ECKQbCVq4 zBYXWXb{zD(Imj|~$t$h%*Ox%r^jkH3DR@;&6U9UO-<^6A{O#?EgkP`TONWA}z5?g~ zlC{j}cLrOYZOVgpL}`#@LIJ?QWfT$vDdL@;ePcldBvv39tbPJ-mOk`cU!>Xiq;c)l zv?Uz+r0V0p|6axJ?`hg^n^g`;n(bRP-04xWUxCi3(pN;&HS-Wu|QFtrj$I}d>=G413mc(_hj6u9}b90%>9zM$1YX!qI>ize{yVQ+ISQulg1(QBcZ*7wJZ=d4 zsBztAn8*Ur*}=X4w*M1RmR*$1m=Tv|Cp7F{XLe);@6~9nc!B0WhIXZ>lni&3*}LU& zmnz`iI2?|WeZajSC=o?#8-^Eg^v(&&S{%LXzT*22mi(kBHf+2WmivE+>GyMe2}epf zM-%g9MItlL+Mo5r^ksU7L7%zDFam-^tC_cA66J~8wY*Gk9zu(ZIDd3K&hP*wDy{t8 zNxv|M?sWlzP;;cgH3vxWa-;j_xI4!RCX3B#&cs~Dhxp^ zY6GsSWqq%_v$jEryT(*w_!jWUQO(atov#$NI&)8PEd`8*Wk87@jB=sFENC1+rP#C> z#$K$RWSGs0*0#768PO<$T5G<{{cHWriTx4@EoO~<<5&lK0Av=BEVlj%qqb;lU%lxH?d>%j0uoIPG68jp`+D=t22f0mL0Oi?vCajqBGzLHF<>&wbPQDMDblt9lh z(-Q_QY6`j)Vc6bW`-HVrdlzo=$y8h7qe8rda0Y}+d^?1-pzrX_XXJ>pEm6U?Z-C_p*vgI`qrS-D&H)S_T%1J5MVTJe)TQA)KmUL zqI~Ce>+d#>i1!Q~ba7A%@sy3{?cSxA|B6P4#Unaa){*5y6m)vRiRX40>2xbV!pbUR zsZ%XWZ$nV~&aNUib*R8hDjNYPSQI`#4@~ROkQyWxQ4B;U9S*S?WzufjZCqx&sQzfk zc2?g1R!==bmSQuvS$i7sb;Wth$1yf-x#wln*JmV~Xk_K%f6q%g9m+!N14m_KE7z@e zmR))*n(C{_*LvtK?M_T-T|$a~6}VAG7^F?gChcOpQ`O~Gr8I_LK$n7=GHN{@SvHVe zOXa>gyuYoZ(+Rd~M}kJ+ET?IQGd#gC8XGAFyp0%`uwvlYu0b--R8<=jLaiu_OT=Zn zrs5>*lRw~q!ca#%p5JZ9jO`$08hRR7P$;5(09~Y>bb6$+#BK}7kv5_cZ+7 zDvp42s24GMu3foRQG1)i#d?M-CU&EtxU~rWIsd7brv3H!St@;o^iA>4o>x`30V2tT zhbVAdoBt`kyv{q28hfw=JjZm!iM#o8Rx?%xQbb3gS$g`u6B{`FD-K32jOB1-us>w5c+HhF=LeCuY+_IWimVt4fgfM92_P zdxLehiO>j*3*f~QdTsOmmP1aFsWR1M+4`%9Do{x=Nx(}+;a#gMU}VXO#!JY*RzSd; z%oD?_+#zik`4=1?Ltafwojev{FWO^$66i+uyxyO|iVOPei@~T}aQ`{aVqtN%tL0hQ z+O;a(CXd=HmB-lsw}wdUP;<$OVRU*2t4B3{PFbS0#~Jf_uK4V&Hnye(e}==J9j+5o zOIN~(=z9RA6)mjDv;ZWzP37^M0IOJD!@GJ$T3f_!*35|(_hENNyr zq{2e=Uf&5I8K*MT6Z5*tC7(MMF;Y1^mQ5IPW`E4TD;k~l)wc>P-;u3R@PLS~GVM3r zP^J8e)K0py{|k_U9ME1w9Esu%Lk^%tTpqv5zA|az@=~O_{73(mfG*h`HuXE>Awpm- zO<)~gP2NcT?F+tk*zbM!D)6`}MZ?co2iPK&@;}w3LI=RGc-okgCx9Ry3QGObDopo4 z*4>l`W(X~o0cpcsXJjHtinyNEUa$i7(`}ARhOceG96tR}4OM!)9Yu#clii}&@GbtN zkY&d$pkXI~B85@|d