From 849162aa9249116bcea1cdc435aa06f1596c749c Mon Sep 17 00:00:00 2001 From: Dmitry Boulytchev Date: Wed, 24 Mar 2021 18:51:25 +0700 Subject: [PATCH] Added isEmptySet/isEmptyMap --- lama-spec.pdf | Bin 262164 -> 261903 bytes spec/08.standard_library.tex | 4 ++++ src/version.ml | 2 +- stdlib/Collection.lama | 8 ++++++++ 4 files changed, 13 insertions(+), 1 deletion(-) diff --git a/lama-spec.pdf b/lama-spec.pdf index dd6fccd73ae7198a82a718f9f2efcc1facff2623..2ba43769c222acc62d800a7ae49db8332bda484c 100644 GIT binary patch delta 50905 zcmY(}Q*1+o;&KZR3q?+qP{x72CG0{`&88#^}D=_xob4XRev-j}-TV z7*7tu!jd zf?WkR@+hO*)40!*eE z>7ZJS4hrZ{CuhaagS6oo=|Y zY*)!~Z<=MU0Ok*P#*oUo>l@|IYhRFtoKDY9vZ1NK@vTy&TR6L%8vEXMdnNN2rNsXe zG%-5JyIK9(wR>Uh@O=IiGOJCH1Ggf}K&R$2+sdiKo_N84ea3wEx2R&*tk}cTSw)x@ zqDHEd=FG)ua{Q?))VQbJTd|YQWev(4H?OOp^#__U7&wUc&?I_Wj3gK&% zYopoPy2i&Un?`v2h7Ux!QSn<>fK(JG=Vg+WtCX(p7#9yd}<#h*-a(VGUgOnq!`rw zzgLIGzrG2ZV68O_8}>61tSTjwVWUK6b*+s-%?vX=$Udfb<&{S4!jK zQhJtNCPe05$E;bN5AI=LDGMyUgK~JZ}0UcyHCGvS@O?_LBu@^9d znq{<5f>1XlH8+G1x@EB2E=;1YUb^dJ`+=`k(K+-U@u66|M@@!=h%W`ZfSS9!)Ach% zVeja*rc5rbLog;T4(23eQ7XWUrgYq4J96(_-JK%Ds7^xi+nV<6jZEXf4aM0x7*rx2 zEBp4J=s(!0TQReB^5{`sT#4RWZipvjk##hx%de^lk>;;W9xr9?0^2>G`=oJ)8K!E` zY+c%O?U5NuUZv4SI%n(KRxfpumG6L?9}wk^EBWP6DN;j9f%8*=-7moP&CsA!28klh*8rv~0D%fH{<&geBXt4l3c zUnD2_bDSHUw&wuX*szV2^;38)K|vxD zaJ#C-GvX?O@~F@On>}mB&0Mb`^XD}G*#cO!{LvoTEq?ulx4sa`Oh$ATP<}P&4-K-! z5nf9WBTYN^^&NPlx~Ks|4@qF!tPno{gPSiERblrQ+q<>&PapwC6lqw(U_>keR&y^~ ziS1yzS2^P5|{laMF#b~>CaNjMb76S$k-%qEt) z*fnkQ<^o{;uk*7%SDWa%q{jDcb2~_7n7u*U<~$Nv z2+ToshTX3J(x|H6A;>@wizV_*Bs>9!jtg53o~a*N&TKBKs^`mzt`5XnI}1~NjSG>w zfTVEFSZ}AzK!U@kg-Zp=VpNQ;o#0g;pI>3f2TrOc#-ROMO!0Z!lh!T9m|6~MQ(Mgl$sisUliaQw`0tPY_^j>gE5Rc(@k4@0oc(To7 z%M@z(aO8@gQlo~d5FhU}qwY!VJ0MMCsl5N$z{kp>yZvHnh4}gG%_}Ds)yb>X97vLc zSafXG0>hdlc*V{w+EFptOXD(R)k3D)1h46#CZR6NKh z>tL4lcQf$%Z-*tkAxnrj)kpG&-oH1qiEB~~pqc7%%SuFY56#cPVq7x13T2HzRDXbC znz582=VHgJTBFFKB3p28rFLDI@GAUVYQdmg%`9zh}lYZmJS zinR0y@CXboSJpDSCow1C^SD+Y|i$db`!fMVak=d2*yF zGMr(zJ-q#y{cbs*-2aeGH;nA;`6;Z2@|<3ZzLY0QGgBqr(lPs}$J1UNUt}B+ia&lYUdg zjb!-BSlnQaqDH-@y!mLX6+P@C*2wI&eWWUj?^0*qP^!sV0J+^oxBJQC%~|vbLnZ_L zi|g+s>xFi$+2YdkwW-^4Mh57#8;IP{uQS;0CO!;=RNh3(Dt&iW;qCP06ZLhF#A$0& z@(m-pnJ2!^G3V0Q`uFeIuF9&dFE?OSofFyT^0HQc0K_E%#>y?5lU&igx=7v#MXzd{^;rm-yF&;K*uK*b3k=>06UyvqRB0rIlF7=qQyadpfv z=;*}eHT7K64$JF$KcoIY(s<<_Sp9=vcK(Z$xYC5l-$^vsCZ#gLf7^|tN)@PZ%+{~- zXA`hw=;5n{T9vVvrY@AJ*Nf=ltz!9Nb4V*|qwp=gp$NmCS|S|#Z8uO=O8eWZk(Ram znu64L>|}$P%ZOjbU{mz2E&3bQ<^BsA%3~yyMo11!18@jYK#h->5+j6AZRkv>E9yk?^rm4&4t78Hz>60SF|(@26ewr|Ad2 zRIHHYk4m^Pc+>{qo{gbuuZ;ITdz#tYXMkfFndPwWaPUS*j70Gepg4)fH z_CUkzJqH!HEA=VezOs5ePhBWPGPqEWp+_`?Q$8C+GglR$+3i|`c>hw~R|G22&L+~m z-Yp3`7*AGN1wj-jPNK1U831m;b%$OiDQeX~0w$K-WvTk5id%*ZeUVkg_z>51$X**M zvYqgT>%Km=o(R_aSoPD|SZ5I;p~va6W#$P&PyJmOMy?oeyYTKGqLs-7ybvqkh#`OF{9~m}C^3&AwB!1Gj=}0+ANg7-SQUOky`Ua{{Lr9w6+b85{KP z=e-+>6or~TJy~y%i#tKzBi_7@RrTq5jx%-D0D<6Go`-)>CTP0Y*;ak^GtshX8!>)l z*VH=~!Lfgu(<8=q^Ead$N{Fxyn>FT#AS^^umc0X9Z1;XZXtgn{#lkW9^H~uEaS>=E zI*fQQkc3_WX-lqahVo8fDg)^`hSW#z;ZqMzex8qFBlR2Fl#@V$wr{*TwUyKY*%GS` z@a&%ZI78M?(yk^hFK(MEU%lKD)4~cAAjGsGw8XuxpX@wyzE=@2_k0g@b!f7q4fJiq z(oO@u6u>_VgX01JY8N5osDgBMM{KJcpL1Sx*-gH*B6c`{!sx3=Sb4_NLm}?%o?Te2 zJ{Vm~sphdN)e^|B7YkBSZu3CZgTas)fYtNv0Z8q^U`ofn4&Sxbn3?g-#M)!d+(bG2 z`7+_wfTZ_#g!tfi13g-v@(YHd1k6FJ=pFz8sq!%Rvv{d|^tA1p<2<5($4w|9@2IJ! z4RaUq+G!?-=S)^1dmq#dQNB~3$9dW6+>T{c0}xYg_Nt;|qD(Ldsbu+L_kZlD5LvY! zTZxz47cU62_S^_t>>{K7G%RZCj7gtx2`gmZ^yK6@bm}tSN5=v?PqsmzZOPL1i~u;K zVGP7;7cFx>Kw%op{4AXubn!$t_mnlsP&bz}_EDk~W|UOGBtcss6*oXd=pf|Yj-1Y&;uRbJq}RUwTy4ZWs1|RI5pi1+CfM3q9Nq+t@y;jhFP@j|#o<;{0HX1en?JtNomFv3QK#?p zBV<}-r|o%+Y=*3C+`S0nu+-#G_VWZ6Kqba=25d305`gFDh=Sk4sW^E5;Q%aHa&SjI z@vgY5@_j8CaIK0-rN*kUCzD7WUEa^bxy)c6%$q>dM6k6EkCIW4DD|P9;$C;!yFQoK zRGA#oSmes!b4nB#@Lgt)l!~)Vl{#g1V2dTcM0?ay9bUA1O01d{(9FmwCGTM2za+Ht zgJ}Z4#1|?G$Y(69*Yk92@d8c^=JGJ%${1bve#$^@e$7Oz*O`Tj7^Md>A(g+681 z%wEANmxKw5h9|joUbhU+DIduu2%L$qwJgV=C$r=gsD3c!y)RHhs4$rKKTL)>+`fF; zn!%8TW-ze~74RTxCHCK_mKrjfmxQ+vR?hzD7>nY{<0^8q7uaZJRs+^~v0xg9WSFf- zHJzCMBz;Mfl5z6zWt9Xi`~eHp=4q%N@?O!)wbe<0XyG>meYo_|$zX!!IkzF%nR91P zn5`d6Tjj@Wf@0u-GS8_?m>a~^(2T_1pTY46n;XnpzC*|hbGLqZKsmPYGPLs=$xOJJ zF?C}MbBu@C1P~s|h5!`Hn%C)j7fZOFiTGV|G3a_?yqN#i>NOURuzTv_2L1x^>4XGJ z8vW#$l6CxDs(@nFU5MlU{RNJ=`h^tKM4&kFd|<_LL!G77mCR^mKaqVj znPv&*>f=1Q_RgwjZp;)wlBxOy-RBZX?<3j(K+}JL26RBNdRg#(gAU}nx%XD|QmG5% zL5XPo9vIjY!n!YhN?v3d1U}_-^tl0o9q^?9qEqE3EVdUR8shM#Njx}qd%Rc5YhY5# z!7Geg-PO;-p|`8{KcIzW#eZQ;?M$3qoJ57Y9Q2eVj^K8+H#UvZCVpd#35uG*f!vDdB?DnYos3m zV$XSSW*@f4mSV9;E0nez^F&`z?F5Sji9;<&Mo~FgWPft%st)3+sVh-5<;S8M$h!28 zT{-Q4trClsKm`8MrHt2&i7@7{w&Rb|WS9nc)`6P85F+PL3 z(NejoBR1!u+yTm0kG9H(+S@i`?CUd`+w9skxsI+spY+=MK1fi*vy)6sQUq9Nrpo() zGY=i~W(iT^^uvUJ*ih#RU{xMxG1V@|(5rjXo=0T>;#BH8OY8|c|5W9`fO3oPa6(fU z;dHKfl@Z3ur*->0<|@$ufp{$4n#fdb5Tk50975w-%KWRRd&Q$HhHP3L$IRoW?zW1x z`&3X3A}$=I%3b?Di>ga_4UzbGy9LXz1hTI~eHJkRM0Xc}Z`~#xlB3iaZ3T8%dCvGY zgy@LO6b|C9cwq8YaX|A>S4@bL+Z+tl1E1LPgiZBpKWJio^L%;^tP7EvH^hL;!iUA< z=#W%PxFuFQ(t`-Cb0BDTz%z?ivd-axrNn3XNV{0Ai((ijCHU{+>jk!`s#-Eu9h1Vc z!4~8Bbu1VloeFe%Zvjuga+f$PTSxdQ^LL%Bl?}|M&pH9%bdp4upsUEVKS# zPwr3Qv2(bbp)#Zz$tcR@nzZ$x6|N(Srxa<8TO{ii!)(n+b#82nNntJ!X0Yb`ki`oi zSY_2S(JF>djQr2+1jq>~m!e`W2ul8-=FSBsoveM(u)_J@6ta-i;36wfAOR4VnbJ8j zFa(KkASDUJTLC0+IiU%S=EMH0ZUdpnQtd-y1Z-si4`E5xszD>sgTV~~#VarNjgjka zLL4@Lt54NjXg#oarLKGakyw0i8Sz5Qf?thyt4Q|GQ0)*{HTy;2R%>PD*!D^BYq2QH zcWHBLudvo8V5r%QI-%miyd|#(MW@Ed7i2$`;?w3>a8r?21zs};xxn-GAH!stDE9oA zAmv~Q7A4z|Ivl3N-TcEKQ~!y?2jG**E*lPzW%E!|C7>&IY5HQN!)wST@nk%T)W7ei zLC{EOr{F>E;o<~~(j6GYL--7#^D&8CpGuWLpaqJp6_n?{y6GM0Ai70Y9ogwB5_g3$ zFx6Klk`h^WX%iHr;XI^thG9k4SvBH_ksJ5!T%7E@RZnw4@vlpHsdQaZ|x=?fAxJ z#hsNXTmL44(<;2G;*MdTPc9=`?>Bt1npT*BVf?`>LpIqG zM^uePi(%MQ0ct`V;YY-4@>+A-j>9=4TWv|@S*@=CBi;CMl>vV)NZN|(Tv5^SQtpr# z2WvDZqgS1iwBt4b!7}7Ozd{Gt{s9{{AY&kjjJzG7OCsLX-Bnxn@q?&gpvuppCAvNw z;r)q5;YBCraO*yC<9`hac%dJXb<$6Et|ksR>0d^kOYTp++_`3`92QFc{Oclzh8c_> z8S~918nPhO2A*W8n{&D7t`-ZJv!>?>hhB#=dFI!9$1YBLN9}EUhx-e#vWSZ7O$|Zw znz_^R$IY$^B`dJ}P>-m)WGz?V!r6?AmABoG(OC{aCW8OiA6&x1vWyY{^1uOajb8sdRtp-lkPf>#wqE3@Wob zoPzUD(SS)zLfP|#DhvT!WJDX_9{}ub4QMvjgGp+E{KMZxum=LFmjiV&1O-c3+`-?+ zDeq~7RW4rDM42jk@SA0Yv-X2^_#W3^DBP}x$tXjMb}gF~m`pFulage0*FQPTB? zVzyiC`s$xwa88y&XSg*>KCWtjucW4roYldM;aJJ#nSgLra})q$QnH0{UE&qy4)piw zNBR~c%h;25>5)JE@tu3yd!};mlXdK(eHC+>-_Wmt-0*!`xalVwU2A>dyh$fq1G-=A zRg@K`a6Y8yb=`8($I71I0nEos-wv8swTr{+RZb0N&OV`ra)X&em3MbTrf>A^ zEw@RayyUFeFlQ+&TL)CFh`?J*->i%#aRHOLz)@TCk~OnLSq!^?rs}pTx|{$B7v??y z!}6Lzoz$Bx45ec`h)={~FGx=}+=5DC3yBK#LfJ}}1uW4ob~mo4@f%pc<#jYofJh>f zW|_Yj^5Ni11hO-JbDAO2WZrp+C#s&?!GT#JSw=lBU#@3MxdPBs$~i)CRhk@C$W?5! z?~SIzg+FZcmKGn4u$Z%7A0OCfDm|4_M+PZUdg_vryQ~1=Tr_UqCLvWOUAmiMPL40L z#y>+I4`}Gd6UrtQ}K-)*d>-pG7>Ct=rIqQp9DY?Y$Z`*i;t>ivQI;}%awr9v&-U#w?XS_*J0EgM5A-PpJ#t5&D@r)X*p zOU<<173Z^5C?sOV_2{s!<0tpBV^ynl5WSmfU&=@$p3D|++ z19=Ubwed<46SS819P7$>*`;EYMQqP_7CSew;h9=2nysVG3`hQUOX7lG{5t4|lO+rX*MMcrQ_jbE=TDXw122mbx5b z-fc(lxIbhGOr>HGi+Twz^MTV-t)C|JuWoPwTnSi~h94~lUFfVB!$QJglpiL9Ll5_p z_ksts(aFlu`FJHZXuZ8M`+c&#ex8xTyIvdgH$s4d)MxyzhFZ_mpwJFC>32o1yz196 zv43rnU$PI>*JBH_NA0xSz20SL4kWlV-}=1KmP(#WaE`KZnGh`P`$W=1jIinUgUMt& zHm(#pzWK>6PlLRdOn4|Nw5XI<8S3r?4^%y+KwNr-hu?S7}dE}Mr(e?@M;E%Qqj#CJ1-$!-EIa;e{A7i@x z?Kj$Btn2x9$vU=gR&&-aF6ipS*-O5;^#lND)P?kw`OnU3NTJR-SJDr9;HqrBm#q4# z?uI%hLt#LdEgXAZ9e%U$9`o3!vuH&d&98|E;n-s1>oR)#$MK;vhHrZg;6$B^2#PMNg%3US39ott5Z46Nx_8TK%v|fo~XN<>nRT@=yu|% zr8ALPsa<9Ds>=F(sGMQ-coMLywMu@$BRf!p{aOGBKnb6*nzqt?viA_8JGR}3dpQ6a9f zZ{I%{54(epod{=4SyAUXTs)fyhtrH%HcyVVkQ@gyo)X7VlC_{;#Rn?~m)HPj|L{9k z)Hv>&(y0Td8)A`{QcREqRs4zifbum>d_y4V>Gz4VQdm@>_3dIgGtf-eSP2K z5(v(AojwCvuI}93)uwtKW?e5ADb^gCQefn|5f>>4De;kvC!rO{2(x}^vw@E1)SmiY`u||L*)}BCtzZ>*-9y#R6h3Od&$9fi>nG!GuEkpyi zZ6`3&MqZvdMZ}J1=;EeH?s-BXpg1XE8moZzeDi&Dj~CL&)VIBwt8jd?bs^pbopX^g zTe%>6D&05TgCUfeyll1(bu1}fSvId*64gZOZsRCgD5!o(f?Gb-LuJ2Joq{k6iiZ+O zg7VUmLx*3Tr0P>6Eik*axD7ypFztRQ+OqR2fjz_+-))KWHl63E#G^+1Ak(HmG^Q#v z@Y?~petYw<5%KpOx9p*+71s?Sj?Q8mBdQ`xA^=$(>ju6Z0@gWloD@6yp+_+sUhcOz zjalzf>zr&%^B|8S=Uo&(0rkwsCn5RwX=OX=R9e0M@}*K;XRu~ zoT(*H^Z9S`b?0w}AP*`%yZWS>sOKAuW+>KsZjGF4Wf3E$3dU@!=RFtU%5Y~F7-L*t zJDk7`t-V}LLmOWw0|Ah?EMEsl%3}@;B7|vPq7^A@mD z>u+7pVv2w>kuCWr?f>N(jyT|_evasz1NY(HAAKcgrdP&%u)wz~N z9W^5KRBg6PPIBLDpfzUHEnk5#P-1D4gbrO(dqNkpMhdmFCHz)c8PeT&%9VybO_SQ_ z;Dt^gLo;(cF#s-ga_k)(qtgu_$CpKd)~0aXb)ZdjaN4!M`g!#E@Ag*q4{4Ytvb;H{ zaijXnedcJ!1hFLs4o34n@fzMv*3YO2R&KOj3GRLOuj_0|Up1BvCEc=1;a_#wxp#{WZh2WQd_k&P9E&zE{oN3g`?vB2m;dq`ELDZiY z1z?=qLQrM#MPNC9bA{HPmNOtJhten++*u>E`#aA7>a9q$8#npJT;%jUtDgR1Ndd-r z*#N0l<|~5qE#w8uRj!f@D^OH?2nsrg39*?M46LcKnfdS`2;|MpkTKzKe+}6sgpxVt z7+Na4UqDI8Tt?CkC#jn*k^zVO6QiNEfxzJ^kp6McGJ?bEC0bxhj(ZB~o}x!?u$b*_ zQImZg4_FimAeeGl3DbRJ)Vy6jPX2;o3Vd&O2=XR>it@6hhR(a>`Fg$CRV21vDU50h zLCHl5gj|xX5}x}rb-t-C=2ZN zU#cocv0Pge|JbHWBMsrF9Y=cLAR5X^f{#ZXMLI%(aIv5%+dy9cUXL8B-fIz49}SyM^j8po?f|{ z1;GEC6~Dh{t9M8<_1*Z{{dOhZ+VhX6fbR)L3Hz<%$&sbX%jYme-qlTaI~mdzvZe`I z&}JJUQa@gmQz8&Si;K{1vG}7=bH$zCI(wt%f@nA6%2ge)a!t7Iq3d3)xMHl$xn-h} zo?B4U9q1D(QdlVLTBZm{85v5ShKYEi8ZbT0?izaFdSWW#uX*-sq_Np9TY3RYgJl1y z$YW-vNA!wJp$|WNZ_CM~doY1C@!x={!;ZfV4iLx2wQy4e(4YCJZN}HaNVb!$|8`|U zOLDw(Kkrv+3wixAqnmghd{Spi0>~+I zI8?+kK|}k>1g_WCW$e;-4j8PB_b(EPQX7WfZjaw3w)C!`mem54^63diBd-78+gA>< zcNLW~k_W9!Jo>P;`vM`RzA3=mKN^_OamCv)QsCuL-U)f+e2P*@O~AmpdnYxY_-CnE|HfdhAd7m}o)rz@0`;Ovh!W8%shQh@*AxkM*cM`1^)yhm*LP4$+ZyGtv zYY-03pHPwH{rQ~RHA@1R_YLur;(mgO=-_fL+rHg-y#QWT-SY;8qj6y?Mxk~Fh2^d? zF*zBRd}B-Dtc$tuWh(+n(|4a=7>T{`Bs{ZaOI7w9j|kmI7Ubv-gMRfoUAt_p=P4$f z&^VQSiuW}p{+KHtQprRJVo~6gm?ngl1hc22#H3S{AXRY!lt#F<<-%Ognf|N!QNwJPgA(sy4z3|Tl(LB0d>7R75#w|K| zwDDG)Q*{ZC9UybZVnnfUo28wl=dCsjE{kAURXfD!6x`I zd8WWJMFo51Waq?rm|?7!4ysp}d(apXc+~uE>`*vMXqN3O)a^{9f$KAWMFjqUL9&>9 z%nM73IvyjO-n7zH2sWBw^C!A=?utIP6EeaiOV$Fx^}7?~+(`?Q7T6!Bp`DmBiOd;^ z^8@f%#7PkptByB8ETH(D7eQ2}myPd9tjW2%fw1i}g2B4`!-u9cAz0g)=xh6Ys6BlBa}O8nj-?fNbp)6q)s=KbrFDsHNlZE_Cpj%304EucnU1{U zpYtHv1x_WkAH_E>BV^|C9eEj`7=;|xSiER|U>kqzfzR}oc0E~3E(?nE00m5kG!i4a zr$P@Ts4dGrZz4iP3GNtwo_Bd#Uw+{{?$@9tOcT3nJ`(Ake5JrJ!6Rg;S~Z_Ir-wa~N9kc44P z+OosON%)jMspgEKG+I|!OOv5vK@-Lj1P1-e9UHeXP{S?fw<)55&Lapgox?rsbl09u zbEa2+*rwcPNO|l0DiJJ?Tgmi!_#Js(W}<=wK$YyuWk)>vrUV&y##q!VCjczdE4;>B z5G@o{OQB3Wrb*zR-LOq!YO|slgbgSi%dxLka(i04uokpZdgV6|3pqQ3~j!S zmVsGpgpioV4h>LIAAd|%$w1)(2e z$!gwak~&yWuzaC|0@;|c=Kw3d&D48dIp{(#pt-`Y;qozfX#T=?)yfp(3;gtTN4t&T z&-JBXg3W{FLzDVDSM-tUSPdK3JUDW6d51!|?4qgjW*ax-ev#_;LqAT9Pw6&{-M+kY ze4crVgK(k;-t`i&paMvCK!R%1tH8IRBoy2gCiQbW3OZcj66*Yrn*i)e@Lr+gMSUUS ziRX+)iPitiv$<1^n7-;t@fr*VE0WqT#H2~av7RV)oyqDT($C84@0W?uRAuU?{5zS z0+QmPUmQ@UXz~QDjxdPStYYYrAhX0;I_@)~{X$VoXu;<40>H-TjPs*z@xkt*4VD*= zB;?F(?&5mNVAlG#1D=~k+nmFC*X(jTZBwuR1)HZXQgH3YWn4gY<8ah6ZZjHtt6W~_ z`Yc|$LAqxoO2s+(4@u>*uw z3v9eI708f~-inOouYOnt&KsAPH;t>=OWGS8{oCPx=RoV8`1R!BOB)Rjt9$c_&kES6~~KDvNNjS_E+>sH4$^ zT^=>s;tp1w5K$bq+;-0YOCv2{kg%~YvikFZfM1bm&iQrOWE>NTm{7z2d){|NqAQ``QK9m6kAe_sN-Tyuw-&#W|Ud&I6wQW_#RH-DoQqCX}`ngRD6D9JCNSb=keuYrcHqHFDA4U z>uOZhCir5qg)Ij6O0Z*7d#7f19GSjf`v<0tsZsm#u;?%dRfp{DkK_Gr)h&P_jkeap zWZbEQHO8+)3kO^G>uG!B*xm1V_t(eU)3F1M;sZaTw;&+x{5QD)T{%#)2$R;%Ke8%DyOFa|?3%LGG-X*+^R4V*<=1|}%Xe4l zJ;-^TCXm5sPgvR{Mp`P7%npFwkdb0d6Gt}b(kU`Y7SHY^h%+l2j)F2m$!g~JX{$Va zKk$#By2R7`(%qEcWnliBe<1wk`UO(eB{q{tygWfhnLE;{Xfk+jf_4=8 z*eOnT)pW-uvd&I(roZulHx)dXQ7U+8OPk%$-@Lv$UNnec+YMB%O$PwXhx4sv;))nC zkQItLqWvMD?%H`B!=g~d+z;6aOUZ<_aP7vb9vS(KLMciqUqOhDBR}s%)gnN-Y2(}l ztgZ4!S0t-h%(1?~V7I6nLeYQUxus(+rj^!J&qBKqQaBq)A%|5WqoxHAZi5UEPf-4|72>1dHOf_KbgldQ0+ULYALdJ9W zMpMEEtNL`YKHbW|28jn*fiIvC{C2ZcS=y6lIyIpq7M?hqtvoE=eyX3-oLSOL5MW&rou%=gapheB)4%T^DT3%pq0H=_{}_An|%kr_X0-vj_-m}h?oU?g}(rrU1h z;{ZV+Cr34)+~gip(#oMoR?&tp%MAa_NJNWZH30cB?_6dI2Sml#d_5>ESf$Yh$3r@S7w{?gS*~1iJvrvr97j3bj`2~Y zO4Yq!?k|K^`Nl@V5nPx?SpbBW@7PUT#*62kwz1$9#i0bGR@%Paz0$y zeCwMckGT7#!7g$_SpI3D-;)fMn!5TwdpR1~l zPMe@H51{aCTnPsr_^zOc9{1d#YVaBOx_7B^^ z+o2p(nE{;*%U)@^VZu^xR^o6l_~-2)LO^`~+Co-ege6A}B2BF74^alJePh-u@Arhr zB94di=ahAL6|+%l4h)vqqfipZWAZLO;S}Vre+h4!o_lt~8ipW4MY*tIlecN-F!LCz}b&I-?3;`nI)GWSdn08fZ*sIm#RUfLwvKj9#^J%p-BLfm7P`NQ-f+v-?r|1 z(p{TyXsqYH;(i#f+DsNXJ2^DrsK%r{Q?`-9uvB!}h2YDvd2};PeKs2Rnxi%T`>=59 zoB%#6k*(e*Zi(aSVy1bX`iP!;*flQG%j#JHp3Q#^staB)Xk$XT@Z8zln``gd;FP=2 zS`s(rO<<7fi*pkw50bV&*_lUgF(BkJ7ZKKfPzg#9cX%O02yx1)pbV|_pO_R5GU;_n zC^7$dSiz<_K10)L;zJM+5r9#AK;5ML!3J<5k&v0q%dhOL2@Y@j?$KkSWrO0%w)-sL zB6g$ME^cS6$#1$OZT|Z`d1=-299@CO+Z4xe(Q6)Yq`Joxte_{nvT1{Yr;tv>RK?5d zJ-SW~R%3wHK#{K}OBqU3ag=QFgJFwyt^oKbMME%*{LyfI@xICA-F}Czm-8qHoBAEuZQd9661@;2b9z zP3iegu4UQ_z07`D8Pk5*Ob7}5g#*yJ>?l}ItwTk$Bq1?GHY4gYE(BII=N^q^Ts8?U zGc}C79Za{nN_&^EUmeX=ZqKy-_>`VK-nA6YO?*5rAmsb#nVuYf+`_6B$m)YzY*(U` zjY;89_{c(LiSJ_Jh1}qR(ic@*N^@_%&l8cvAyZbsZVL6kN~Aog;vOQFxd29HCFRcO zEXbP6dF8?nuB4*8mc~XN4cFDJJbfuNN-1~y=VzsA`yMb^gV_)Hnhm!&g5I{CTl^~Q zA7}(poC#m8bNXZ>eh!}zq@HiTGr4arQb8s zx4Z(@(079khlui|9$xay;fofU^oOUXA`D2#{XTTB z!S#__9#Z!`7p08sjlrf7hU2UerxJb&9`j!4#1@WX5b99uV!)(n`smIec*!C#{tWt;Gpsi{w*Xt|8| zJGHKQxnXQjCy>c;!vRI(7c_nmBNS`M#=a*;Br0hQz{mb&AmUu>a2U|*{&<%3SfUao zMxI8PB4}_ZWSE2b?O0W7qx4RV8PP((6e3+J2Xy9N$>>?a9aPA36aD2q%j0pi%hZcjdZ$=YMbOVO+|47~@&Za>SMgWq?j@95=;eoPAniC~N z&@3Z{$bJh)O3kV?^h`3M^)f~U*g^n@-GwkA_GoyTRN7S7=4o&@MHYpDq-8p=NM$A# zbpNOgxYqJ{v%4cJW?VL4<|Ip$eo<+7@FD+8D0nA$GaiFAs1R!;bK@08Aj-$s$$wxd zW?l0@86Bz3RQ(>m*VLw&`H3UbtTr#=4VA zu*1st%Kjs(UKr1uOz3H9*W=uDOV>aGDioB!HN8{QAU1wddpNX@|9*o?rT0 z=Hl^zTW@<0@N%Sr51X~#jD4zp?e2{IhQCdj-t?}%F2AOq>*+v93K*N-^j)}hHQQ%f zyF}c^n1JhPN6e*q?fdnsfD9j^k_-!B{=mUhnLMWT9rlYmC1ouai?T9&m8-cZ27W^i zXtSqh4~oyLm*3?q@!KNHYIg>p$8|S1%~2hg8c?@q4cTz#R$ReWhf616QsUtr7G6+z ziTj2Ma*Oqo@$t19^kz@MfFaF$v8Cz8p-I=Z>1uq5!C|cj@buo?5$MzU;+3i{eke&1r9`)8L9-{x+p z3lNuUlcFS1f5bo__Si*#O zGF4YLSGQwF0h_^2@uF!K=#pPxpU%9(*yyC|tzX}HQ5-rLLB1};_c4C04VxF(BSM6D zD=;oM28{xJj6Xk4{1$0UcM+wo1K`?|L^r7;OM(eR<@N>_I0?#~`QMVb zn|_)?00VD<@4C)X^%1#QrEO2_TdaK4YCIFI z+_b2rP}r7K66K*$o)yqx0F(v&gyQJO4Z6$h-#k1Ykzsap{_xwpAUwxwRD=yrvOD}e zs+yc{XiUg>!4K>;uSq~4F2EFjxi-_mS`RB3Fl+|i0RUYG_Mzu5^{U`NhyzCsf(`^| zVd8?8@J6iTClD8NLf?2+i==3M7fe_!y#$-x2QK*$2aqNOJfklOFevsJU*tSc zJWZfemd$lOl>qKBNvSFtCEs%(cS@gNLz00nBw%4yb1CktOPEt5Q;V)_-?;Dy1fBnH zt2*tL2N*mpTl>Eb6&EYh|992ic0Oc90^I5+c$4IGK>14h`R~W>V_`wq-3+3R1tn3% zWDFxTDC7Kisil5t^4R7y>lDbRrnI=Vd~PyOd$_O-7Tx|Y09HV$zc1cSFTQ+72pa_` zkW`MQ%Mrm6X&H>9mWWU_nl47ajTH>hS^G{f#B~6FtL7j4 z@^Sj+y(h!CMn*M8F!E%aS(*#%#Q|c)M;eGFx5N`hG}2g%CRD*Bb00FM#TBX1 zGmZo$#o~VyB=sc)(o`1|GqX%~rV_KUQow0J_v+Qgr8?}|sLNO&B%no07;yN25469okx(Q` z^nKmMGe8`dl7-96baJ8rBD~G0WiCx*&0L+p0W~o3OmM@%BlsiXCN+P5J`rxZWXX+L z!seT<6(J^8_71ZyNPujtW^l~9j1ho1;)zkQd_+_z0v@NEsCW~D=>s`Vwq_S*QQ}|! zT1E4f8-`gH&Q~V&Z|;$rO&Djl7>E)_regwh$>d+E9X42q#?~V+@)rB zoV{d_%9>&S;oKpua<0dJAI!vl51B5YkZfCymhE@3)r;V{e1cW-!BnAH7|zTpyf&WH z+<+3-2lqkfC;K)-G(md6W@vpguPqNTp6xTwbg_u68N;;`1H|8M*O9qP7D|!k`c%8- z`efjjnli6X>Gheo=#;ID8|*HL9-DN(&fI&nY!O&}NAZ>aHT5BXZ$F=#bh%%zyTeeB z7cGq-wA{zt+DA;6A!r>fvo5CvwJ4(Q6F&G;I6ub_H)Rv4KY{4!@z4*o9OdeCr?rNN z3rmJR@9g6uZopgV7(jUyC*H_@q7XC8r?2)K6KCCKNxp z7bKC2?p}pPFTP|0UlXB%@mF1bLR76LuKc619{5Lq?@<7M2~rAwb3eJdYD`2bBSJvu z0fy=>fAmFIaCIE$2l?gAaKCJ$jzLfe+9~W-IHF)&O7wtulx(veqfo}qQI(!07%`}B zC2P9NyS$&^B9HU%D9axh_m*cEVRmYH=2$e`y+@29*|eq&1SmH?5~37ExU&37q9#kv zceBk7ZkT3&J1AYca~l-|j88n6!~?*zGh2M7A|-s{BE_LelH82&DD4H~BWM!j3}^xt zO*D0jQJ|?c?J55@`5K9PD|WN-6;7SY)?|4Fp1NEl1puw3jbwQ|XhWq9(C&|&E6hPE9Xn#LD9GA#Bcx@rgxm}NU5r$vu;;_Ie0oWzqNMKPAE*8PyYPC~EgGq3S*E(gArqRrvV%bTLTsw5gwImj~cBU7( z66$*yoCUd-PmbK8$JDUjR$lj@h8R0L9FMhsOe0LxAOP#T0SxI&26`ZX&s1UdqE{m= z$?32YmfKO({STs~tQ`dR!(sTLD1@_4I4DFvFED@-344h_y)oz!(2=X_Ea=z{zHq~( zG@D24Dga$r1x+=-&oN|UhjKk4JT_rAcP9^u9=nDm)uG*HaBBhl+(~RH0IkBD>hG$5 z6+^oEpT&0Y6&h1~{Gse?fT8iHF2{IlqSH|~T z-tk!OEf23%uLm2P=GUUij#O@N>hDY!Zt6N*?~OgnX8wGF_TQrt%u#iZ`Yw#tXEKD@ z?RsiWRUJb2c(Wq4%oCe)l)m$1eM0Gf+X0RC)hnw*BR9j5dmCOgA6`!bD!v{hq*=6! zuRJ=XL|p1-jj%B3d>75~8&ytywsS)(j6K`hU4l=;uDE3V$bmIQ6+a3?4M=BqF;dV5 z^Ohk8>C0}>>C29?mAy;ml+?C8fqj3Gy5HxCJ6%~sahRDDBAtfWsr@QfE|D02Ng|rA z-@F9fgg)~wtz$KAw-+We^Wq+~yy^}&v*>CcW&X3`pvK>TKSJ96n4eE~22Fdt7(A#? z?M>hM{^>h?#PqEp04v>-zM06gr+v6XdpACk!HA{}sR!L`iXwa0_?KnrvCByC3L;L= z-jc8?ds~J+dmr1owoM>?ZrM8`S9LpkQxs70lD%KD_h+BI#Y^`74`lCKJO6Ha@elB- zFgKUsI{_1y4`Trq0y#625kx3|?OI81+c*@y=U4bBqcO`(q*P!IY17%zDF&(MFlc*_ zWjYbYkqt{ulYc+&k<=O~cAIvl1#$@&laG&Y*T>Mw<%CXtIe9rhdHyq_bP|(TaW$E* zCQMPHl%A+a5ytgozMQ-dq?~@7{|-x;XfM?f5s?5&cG0U}&;FdhzL?H`ct`_Hrn6Ad z;N5(xWpMWP{Osb~{qp9wmltOjQ=x;uk?0Baya07AClOFr5~$V!t)JDT{(xy18Ctc~Wk6 z?w4}o+Dnt0T~Zo1%JL7C@>@5sl7zjcD6&oN=C;YMFuMX2EM*wXul&BmF1*}do4mwJ z0HYmtK5#CF$qJbAt_kNFm9Wr!bOYlo`eq z(NWyf{$XywW>|Eeo6K{PxMrOdrRQel7gWNoS+v^0(b5#@F5AwmEUh!>s4G!eids-Y z1+SCz3buuyskN~hfI;kzfyok;gcF_vm~!M7R#vz&H%=aL*uGaB6AfK|F>ed0S(-dG zj?UWLm~~^?&0Yn68sfDdeagx!cT!En-;678@34C_PhUn1B$T=hNs;B3Zf<2~HrH-+ zWs;@qp+Va=$<`nk;76ht;FOo9l`f9an6WihaM*Jfac35;O@{1vn`AqTX<$iQiQvZTU_IP4B1Baqp>xaqP~HyRy)V0 za19yvZ45(yEXr5}tBvm@xocZ7Lv&(>^i0FFV;VYzxlZyjOAAjUEo~gfKH5oAEq69- zW{09U zUha2!aq3D8D+cU1hM=>vCTP2!3)D1mn)unC0Y904+vIw?HmCRM64om~s7fe9 zsXZiA)sgf4aG}wvp59C~#1I9vbWjeK3Nc|!_DhZqYrq+;363%q9%4$>5u%(zn4QMK zKT`~FQIHQ-RT`YHQ&i2Achwoh`)948jf?1EjK$3r+Et&R1Sje{=rGvhpL|3lB9uqe zbF^N6v>uj<67oPX7ty9jnSwbE@&n8ZemtSwFf&}Menog+(=1edP4~(wsq2d540N{y z!y2nWwT%CBDUMuTM2GG!NYpI49Ht_}`a&PU+G6S$0=JDMfpCIx7a~afpd&Qyd#oRD z&byAlqgKv}733bMKE12*uvts#5JgQC7u{@shy<+%h2gLRL0k&ilLLKa2YLre2QdbV z@85yYx(|9#iAOnjX%@rMr+>!&>XP4n!3 zL-pqKr+V{$_k(lLT?T$|^CP57bxgVxUn5;=bxgXHBxdo0#024S*E5etiWLW59grAG z?no3{lVp)VBz;l_JfCMB3iqe z!%EkBpeAbYLL7K3QgA)QRS%D#ibN6bR|y9hlSI+zC@J(Lj#W?X4$qI4xHv)x4r0Tn zBdA;OWx*lD9IC|r>qZOM;vgoAl3@pE6$tupRRc(V36L(z9cJjX^i#3UGXTzOYjpQpX+v&JoHNZ zoVVYl8Brs`GvAF8B}88yca?Z*hfPMS_LIcjV@$^Wb3t=>YSwGl zgWwOWL8$T;v$*R;pYgYOsKuHx;)~;ree=0!8}ZnQAty@nM~Z_CZhJjH`4<(MUi_Eg zI{_1i4{HIp4{HKU9s)Nomtn>M6$CXkGcuDAL@1Y@i2?_Ir6Vduq)L0GBfU#gkS4u@ zfPf(h5DZBq0STZ11O%j4ktQH0O+cDRkzS-qM|zVg7)5&df_LuRdG0sAX68royl1by z*DhQsk=i# z7#I?v0m49k6#*+K1kiwj0Vyd!Qb9rCJRhKrL}A@w&Mp{0(8AP8NLX0pFUy$=;E4Sb zAw;5K&Io{?@ZkxCBT;Tp1cpHI9|xL2p#a7O3OK>wP(a8xYhsv;efB2&g*< z4j6k7S^)$4FfbH>h6({rNOu7K#{mE%5fIo}YiKcl0+$*Z00C$e6bvJTLA}6G)EOiK zprGzr9ZB$TBVYtFVLxkKPkG@3v|;69tqUws1q(me=;f@6P2BY%7S zvj!Lj4TU?2otKm%p6!efp$HHJ ziGX7P2-NAkxFHflNC^o3XDW;R??nC|Nc=ySp^E|(e|f;+h9Eb>0{rpF0EAZt3Frf7 z?+hH|4xGI;4?Lj%FAU@cgJb_q;NKmspnnwm55B*{Iv5aPC~632f-s_zQeqN+m|J21Z{thl@KH$@i)xe1qQy4I1@qk4+x5Y{JngF zT)&GKe^=8t*0;JX{O?}a-=4;VO~9CAQBdF?X{-#8kbfS|cy8T7dI3J7a*}|kl(ak` zFE0aJmy~?;Z!-R-k^Jjy0K&M#yZ~DXF$oDtfbjq4@2`{H-)J-uU?k*hbIdRx1cb0` z|1_MzU=Me9g2un^KcVSA&%f6m3iX15&ySBFf5A$DuFq4FF(u3yZQUBSO%0NyZ9%Bl zW#+H4{N5rz;+}`hDiqv1Dh?7W?^Qgh#tyHcju&;WEp;?7!391hLN_znAMpq^W?h=% zuaOsC3J|w{O`W`M74EY&q(4JuBPU_GG}monYM*;V!O>eI?S5`+SICdYGs};GcLzoD ze;AzfE{d_1uAGRzBztY0KW=4rN1&y%y{+{lp1g69O*lP@icbl|{5WClYCHye&waZL zd_sQUDgSUz$>a%LA*tAU{QK}n9T=`H>sGZ2A2PMJkO29tN>>)XSq76- zXHKRc*N9eyP;XPY1ipv6Y0tSzp6k0nf6j{s5$BmA-&ApFvFV}v$5qLQ(zPyh$dU4f zsPzR!U9D|)>ar48nlFrDJwdXab5M#c@NEaUF^MQ{5omow{K+B}Ks50X(-I(lc? zBsWL(!@r!fg7PONaBaY1-gD!S#9+3LdC0_5(#4sZ8?by45Z()T3oT7r9|*~1f7~^H z;Vl@+5!g1N>a3$TB$a8CKi~WAlk&j#9VvDqy9&~SxrXMpuic{+9RtQhM%V8Tun$$^ zb^~mtIXB6w8lrEOkxac&+;JUzmr(kQ%RGTh@S}}Z#RC_pX0!ENZKHrSD;K}uP4mhm z?jzF%b`a*Le}yL}g6_=*o8|#Jf46`tjEv=87xcNaC70|C2FRt4Ayw` z_MQN%#RZcoR=+a(&v^aLG}0FEblXGUI)A8Rudyt3uh^D`XilQZF1AVlM7QUSrVJGOe<~~A5Nsjy z=vK*L;^(F`4DnR8=W)^P7FUp|$+=sW*C$sjSB@jhxm`1kliN}*c}U>dyaKb?Y=5w0 zEKtr9r+rx4UOyu{92)eIultTIyxLTg=!vv{&}9)UylKbm+`#u6@>3$;E6x*tytQ># ziJeZ+w~CTuzSYItVMF`bf1J+iO4_On|I0JcSHweU<1V%37k96GOOh&1E?p~pUGZ4? z-fc=4JgbO&L0#%|eF94YH?fc{%H#RMV)GP5X@Ow1MuW|_&a9R=_WX)ZNXLBQhR$>T zOs={K+Ye1A+)xE2DF)eTb2rqs8SR)wmMN5D#3owL$*^{1kbeDof8Nl4I#q5RR43<}>q59+@%s+vV$u7?FLy5>U4HRFmJr`alG(aX8fvi8>#u8Y8(|QC9BocIQ1bJGt2rFA_eBH z0J;{B7wl`JcCGNY zFkZCN3Glbaf0}u6w$YqAQx)#EMv89`QC@$_#4gexvUugnR|k=0#wzG$nSuUNebYLZ%EZA;@MF2mBmlfHiBT6z)gmz@aff7`N|K?(I4XjWLI5~|gvW?oL2 zM4Wj<>mKDdZd!J>#enG-EDC(d`Nmt|Re!NQ%LFR3jg8!z8;FCvbY)KOo*{g4>d$~Q zcVC7ciuOB8?-~6UeMcu!mc_5QDk@}sMyWsB%gwlf;WmKbDKXvUDO;M=|Gio>qQCwO-jU-y9B=(~^-gcfJ!6VdVH`d1H z#T>_oW4IObU)l_33?hP!^b>VqWA#T<%youtT1J;b?+fgm*VCLy$sdm6e5~2a=sfmz zgZV>~+w4z$Ia7OMi)xN=SFue``8lo-8;$j4e_w&ShToMG)~j#kkNW($M&F*^qK&I^ zEi@09Hp*R|Hh4?)IXotevl)21?( zC(;*eXJOG}mCCls7Z*c=rEzIgXF%K2 zQQV&LtEcOJe3|eRC8->)2p9XMOn;rgd#zTkIH^iAh37rt%QP=6cvhC!r&1SXZf1Xp z8SZ2?#>g~&!Yf91fB&`|rhS4R$&ZOYe|NKkL+xcliG37J!rNQL$3c?g#Iu- z&SPY$mhY;Ii%LQ^lQ_Ndd3^l~FO{ zxUCYt&y&4&qgNIolsmkN&k2$>pluoEC)B>vAlEVgtD)rmgeR;f8i7+ zH9j4^r2Pv4>e{qVKu>T+`+Y6Z3$I&Gc*#aFejeW+9pCQVVaZ^)^gM`N{dO~58pVSI zM)G8pqpf_Q$)L*6U4XRN;|qUH{ElE4SMT`^Vu`W6mdArKoz2bdI~Ug5({aXwGZ{@r zYSyMJbG}5{GCM0#D7-CdtsneTf91)qfwmqaFxzXo>4ROS-RkdoY*7zi+v9GP#|F+t z`@2~Pyyy#Hzh4EG5#<(V{KG9yKs@cdf37D)uRgyA5M6!CC(WreOQ}&?NNM~ z)4AKpI=e;&)P1A8O7l5U#Sny3d9*Pw=(FoM^wd;Bf#>VEIkqb3u7vpfe?{oCS@U&1 zfq8B+Uw=BS)82imH6|pT&mM{>nH;q(S!bR&!hmWjXlkJQcsc1ZYcGf{X5};Ow|#Z% z7dwMgu7*^7Y^4(25gI&0LD)plO4jOb&wiUj{L0hDl~obq6GUq9PcaG7N_WPEcJeroHIh55O^!WS>ZF(B!>Fyq`c$#ZpD9qkmHy z`(xXerbNRfS&C+*Xg%*I7n%YODD11^)3_bkW!Zw6(*}Qpl!m%m@?w_*QsS#V1iFs8 zpOO((FB`Qv{hT4%y8k-0F|~<@GOFz=ChPrF)LZ?&_|2rx=*=39fAW0DQ3p33{jC{y zWlejk=XB0~E~9Q}Y2zIh%C(%)0NsGT>0`Y}o?(5fXLa6bjYVDChIYhnDtnJH!WBOJ zT;`2g%{ci_+GvDYK#>qnDRhj#9}_i{OhOmvD5P`9IX8U(lJ{{!^Hf|(*`qzqyiEUs zM4^N>drN5%uL!Vve~^H9nS+ zes?-f8fRk8L7O!2_$7xPc}a2Pu^=XVA>oybdN=(&2hYZaJ-z^Y*9KT=_Nzpd#D@30 zxQ&wUy8Ad{m8WK$0{z{0zR<_!`uW_NnDHehe@Dh&33Xx9W($t>sP^bC z@Q5$ZI7snIc2S^mA`ec+p73ptxveR0)2{T&AV1pPAt{Nu+`P~2Hlv+wEN<6Hy?yR& z|IbSPB8lXxo+r=Ig?y!>Hc~HVnOg1re2E#G@Uj9VdUIv5JA7(oTG7;+H)()7f`tWm ztLtQ%<`2_De|SU2Af!WB#;$|N%-dbQQ`>?ofqPCz>{AprFwf06Qj{3*pKk7bMS(VTYqKhm$!J)!rN^1>Ji8!sW?Ycp zQ{rE%$g!XK#Cim?ov@HSUPc49y#cugEuB?lEcuV7H<-IO-kD-Z7G5bKuoO3XMIQnh zKr5$ye?VRMqrQT*r>6*ie_h0(%xM4z0{AZzf4=S)Zr$p3r$;*3nX6z&DORa zaJ^e;}QXH5}l+%5s>SQB(VL-cNHiC@aTc zPr?TuGHA2($*Gl9#LY(DM}28BZJ%_Y(d_()Zu8c%&^EiSIrp5znCYlrSp3(N`?wn& zi9>wx){4aNiem|+X4f13t!p;!^S7*5J)N!=${9r?LK=Hn%{u$g61Cs@nOmLTCFzu> ze`9i7ju^^E)#5GqCz=x@8V{zvT^S(S+7e?nL_C*0`JuBMJO}9b`v!yb(sy_E3)8TZ zw%m3cRUVTlV3twvHb~yQ+}>wk{CeqWd7ilo4;ve;T~Jg(U$BZ7e4v5V(NN6tM4GYY zc#ip^;KGs3KyCe9@kd=IQ~cI)s;{1me~%eD(aX%OUFd$^zhs9A3%xYFs^K;=zg%Ou zVDmiaX_aG15>H`**vY=VMBN*AokNmAoRq4qmuocluXf{U>@#=PYT? z1;6>!6G~lgmBT3s?ru1jmfGfT>YOIH-nLP>N#g6(Y4(u+VEKn%hIcowfg;UQf6W(F z@24}wG~!-14i<1-S?rRp;_0RlPv5K%BMDbAt|vYcBkNU=}|g@>;i`34$% z%u5NV_4x5IGi=;G_8Ltn>ESi2w8JUs4>@08#R6;)hRJ5lQ|}_vYZXCUL71Y!`q_Tg zE_IVaUt&5W%^KUQS)+Zeq#Tgy5S~^p#kQW+?}?tQ+(lxOA6;PjJe$U%f5fUUa)EJz zfqO>{4ZmoSYLA~B!lvgU}wSZ5s=8%=7MvMA=mo1hM3t(winE>H~ur}c;~ShS_iDiy_R zWzCK+V4anbSd0-j65V}4rA&5JK{?$hJa&^37rSuHI`bNDfYWM|f0z2rh_Zsw+Ar3^ zC7bpxDQ}h2?nQYVF+c8`xXM1Kl(n5C$! zZxgWT$l#jUv(GwNypGH%~y>;ma4aUk? z!fY~2BezYwP(9PbmaCIv#SX+37G*@H*~F5|xRMQJGWJqEeb(2<{mSRry({>1o?;wc zIS&tw9#3slntWh9l2;Fdc0JEVP17kk2<{Nv9fG?DCs=R`?k>R{KHm4vy))09`8D7C>a%NA zt*TwC_CC*P3KC^C1`#uR6LU#>kP8C~BQq~RLsd)J*w)tA3}`RUplWYt4EQi}z*A6& zIhh-~0PR8I#xCZ(04;MffVjCSe}I)0z{11B15W`Evv=@x0$N(R0H{AWXz1wZ|I_l9 z3&6zlpU6j~Gtd$Qp!|4nGq<&Ourmj_d{F$a1J%sU0WMbN01Ke4IY3NF`HPIA6o6Vv zQ3D`l4l;K#wgo7=n%DwO0rEgobC9z+4Zy^}af8}-te!u{Giw{pTdsElHw)8jl zLGyvS7z07h02gx)m%nnEf0zTzfX)uK#-1O!Kgb-MfPa_a>I?)~{$~aB04H-xV<$6P zb7$udnh);3y7Qm=1pJrX8#_4Idj1`4|F_q_Y5=-8o7-A2!n3e`I=uACNi7?BDDEkm>L0nM9Pe z)zxI^{@cCEpl16qUxqB4T>pqr{+I+8bx#L#z<;FEQm{As*WxceQBivjfHwmRCntb` zm7DG30J5?Gc-Yx||A*Xv6S4f~TEW=G3FraPWoBe%X89off9sd|uiXDK0QCQjMgnAN zZ}!*hsJR$}%s$5LUxvS6Q&%Ua50(GE0Y0|>&-LGfZ*J~kZVLZONY9knWZQ=0=WzymO9o4|d&!NHYOX%KRe7c-CI0`;v z9KYmal5Z}aMou>krf<+sZXEFsCJ9WPTIFr&Ugt6Oe`J;$J{FLhVen(0*VWW&#bP_z zR0T5?LA_K&Q+d=gA3YmqYWR^XiZ+vv@VQ_bB5&sqj!#DuyI zs(W--e}O?AtRwjfamK``TKyy(#1H%yXq7(85$zf<*9=YisYKH66o&EJNKEb|CCTqt z)*I>>!OzBzRh?_dvIoKiL)%}K9d*0;t!YIquH5Q>(0bV+`%s(}&gjbuM`6;F!8jF> zEn9=s&rk*3R&QIT6#U{FF2b9tbYzY#04=bgf0*Y)%ZG<7_b`e?Q0&k{oZcfMccfu3 zKcNC{VvDZg`TMQ1pOCrZZk95aXbS2((bA?;(famlJaBAVjZdo?BwPaT5Y$ZDrgJjwf-)xIioV3tl ze`E;_G*qu_H7-;*Pg<~*0Ny=Ko1982Iq2eze97V<_%D4!clQt_9l8~}C447- zGG!B~AQvWCcX!uq4)+38F2B{MVe2ZZOb@pM9Q$oCv`Mw{-70s4D=!nFp_-g?d$Ti=*CIlzi+=@~ z6N!O>#zAj$^5D??&6;5JV$C>pLyt7?Iqsc@B+D}5Cz7yKxV+s{pEGk8w4tm7f5<0+ zl3cAfB)8>hN_bcg((VxE`}-^ZQW!+9Yqid+K$m{L9bSO7Hd505wlA=yOn+RtW2H45 z9Y#N7lgcRIQ68#z{@J%{@{8d2IX)|>`^(r{Gw_|7VH8UQd^G>Ee4OVXe|uX4o3b$I zJYdjvtb|Eh)7VrE5!Jj%qub^nf5zDtM|0oKx+MZIP;9F5`kV+h0>`v|1&p@7apgI~ z#Qx>_4p@dh+XUXYa^}%3-*0>IIr)}`?p6HZ8QI67M#d6H7xnjS znnp9c%)K4H3=YO4VAc-8e=}!8MsA&SC-qr4$gahhV%Ah?Xe&;4DZ1~95O6m%HMGh6 z`lMQvx8{#?9o0ERc`h(ND4}z=INOWcB(VzJ8+WnF-lcV=zJ)zS!dODo@>3FXEsgnS zz@odF0zRd>BKGdnMmdSCYoVfk=w=gM7*=uq`8ma+XRXw&^KevPf3jxcWK3Ks2=+Mx zX6G*Y4x`iVjX${nwBp@FE3dFwpNxn(O%l385R1}uDt>Gtt3+(LZ9w0N#6q)^p~V>q ze!tpUGe;lGc|GM>zxU(vXKehl5(Uv-wId{inKnXbQ96E@wNb@+8O|3-#uH&+yvsq= z(nP(KSBn%*V94++fBumcG*w(ym{WU}mo}2o7n+5|_(I{YzKbf8Dpw9Q?Zw}7@@O7) zgW>|szPgh_UQf6>yWxflu7%TjS;KUT9I&B&6DkeT6z1#c1$+`rS(81qhafe2c|*&c zGd-#Zi;CAMwyf6pn#;AZ!g5kF@0v%=DiHGIzc``WL~)jpNFA21zC!! zLAJuUNjAkCy~&oLs9FR-6-UR=_1GFFA{8&31f%=j=(M-KWx`n1j)a|&J1eyOSa@`e^wqD^Vbo?x&%UFspVnHYTo(%8e_8B~?&*PJ75=o0^BxM?+(x)S zz_;$E+Mj{(W-03C5T!7G@F`f|t4m-p!Z;nS#5^ypW%{@2nNIQ+SLw?=B7BUr-GhhI!CIIl$uZ`&&7@rm z*IA9rf9(+O;aQE5VPzljc*~484rFkvt%`_8vu02KjQ(%tbQ;lX4#AfEJ%}+vwWzPb zEyl!0P*|>2S+okJPDTBX2@4}GNBQlnqms`LVI+zkjwVOsTHZJ1i11!qK)j-KM)=bj zC3Q~wxuZ4RwuB<~DReP^W8z>$`C}|9wa?;Me{nQj#{89WHuJn^hGIIziZ4o>K~1p5 zdiGorrrTv0Am?3WEP+Ze?Qp?qZ(h6JPcPqWA6A!m;JzQd9Vhqfc#JdNHPOdqv?^$o zWy_I^I1J06DzWtT+@w@nBtm;uyL5^8YD>vyT_>bp=e4J8;YAuH)y0qMTdd&FTE58n zf1Z7c@L{Nz^bD2QRocGId#f1kN3+%Q31-tDd};QS`fag=%7+!0>h@(IF=d{lRXeqjB^Uh54V zxukVVmPNmBU0rXu=!8$hB+Lum4|ikTe^B==vlFqNSoRYt!y$6@)*I_<5L}jQ6}QmP zYYCd>)fy(yTP?mieGH$e2u*j(L1QE4IjiI|H?AS!x#~Q0K4G#^iV`*g>wE#&ELsio zmTL7G~S*L-``cAPAy>f`iBp2;xW%sCcvfAj+N zq{C^POPnc#gF41VU^uc_(1)01ra7vtznF`e&|_LK&K*n^u_X7cxfZm&`85XU%hDhI zO-0F$J@g3}W>ch#j%KEMwOFi62!Yx5Q$yyf!=e5nS8uk51az4As0uXHOD(7y_VqbO z2Eb0ae4<<}7$fX%?e?oQMZHz=f0t`Z1-Enmw+~$B4qdJ996fQr%tWUT^-uZHDhW(qsM09`? zxr18YvVu1S%_i9?E5;rw_|8L!$+adBn>O^178dKIpixSOn_Ry+9PHK{6u2hscb@rVFIC7&=OxKVQrdz z;9?yaatSs0o@Zt}I#I|uPuo=!oO7SmkfL^;{wt2HodbD9Rob_`)>+yKjP#n0LRp?N9DA4H=rSC#jT z_6wx~EH&umiH)}Pf5&XwFS@f%NHreQ`5b&A;VUv)Yedv`gWm|9zVMQfHYV=ce4S^b ze#?Nz!6N#cL+s|D`h#up#ZX)Nw`VK0DjuBQfi>gmrhp$}ns=3kf5+XAoC$A-Pnz5% z{$BE*HxUszLo72_XM>X|2UtXvyuEz1n~WTla*aHi;2B|qe=ZZJy3PQ}x- zR^{)%?GhRd$9!hYjxr)_?Jq3$Ery6UEKBW>!;jHB?|-p$%uqIj6O2+}wT+vP;N2_J zTN>GXOd1&DI;s&-Lf7iPmjhMte2Y*aV23*Bq5HE#n`@q)VbhQZMGQA9XGNsM^R-^K z&$6Q*M#(y;e}LTZUYh9grY2aIS^qTv&(09%Dv01FI7@+d`DvETti)U#*=lVN_jY{* z8_8&(zv3Jtg1`J~j4edZgj)E*MVOX$O^c`cr8Bgwu9Y@h4HD)eZ*@<{9_*ebT484c0?QDO zhj0!Me<&z-dD8GVeMCW|#CYTfnw41%88&@t6$iZD)$`9}Wbun+Sp_ggldBWc1~J!& zR53264LD57TMluvrI)l~L9zTY+mM~U*m4oWn#)!{)nFsKLHt==RasmzCix{(#r!2| z-BcXtP}G=T;zYM6tnmNbH>@-sc`4sS*8+F2f060;@IpY7_UM%qwu2+}JgmW37aY&a z3C^Cdms^mYBt=iqf27(2KzTgiFm ze-&2%EDrm^?b08PQ%BM<#z?RlH=Ev zeQe-2I_~3~fC)oVPfEtbswlX8&9+@Uf6r}VB-xu(43vgD=xXxxS%xxd0eB$x28*Ba z`besobU#CKaP4OABgSakzROm1#!wBxvJw$qbMP?@t@4j@(|oLBgHpM zELVM%*q=^FreZ1%)sV(TD3#x*Q<9XMKOZ$Q(F_!oNB!_5PQ(;9Jzd|dKFdF)eV)rQj?7#U1cQU?_te~FyGZrphdq}xbEdN;hO{-SMV<@wSYkUo)kt_+*Yd_7QQ zh7KQZmati8t{0cO=bKydfYYr4oa2#U!G~OGp8yXmL_sF0WtrlYRm_iUb1ZHA)Ql#$@uJ}-=CreGRA*)$X}xfWUkO02KPO8 zy;bferPs6>JH+&xQt14%GjqYZ;7}9mzS0aJjevKJd{7~Ux)HRAuT!BTMUwGfe=Q(t zsQxli{D=e=nb50wIInNe`uH?H5XIy^9@*=+&o2346!pGHc23AV15apuQ=$oF3u)TCl`j|9saVSDImAh0)gF zmZ5I^Y{UvpJf8d$uZhjwu2)n)<#zoQ;MmT8e7+>LI1$e}bA;Jz&CqT`ck_wTu(kCB zqXgGX$h|(&X{7?{KEL>8f4$$C%8oHdR&R@{Ewct>)E{}cM^$v)^lD5?qZPe&vGk39 zpJ*S8OZ|dMQWb7?^Hn$p&Z(0x0e&g@G#9A|;kE=1=D1|scazL;+PlEg21hxN2U&1h zHLSj1Su7HJ)U%o#W_4$sL>0Q;ezAgGOCrY2Nax*Zo3jhE!g|iBe~_*&+yr23Eiin1 z0k0=qGqu8(NG5g#)V|Ko(EYBc!S_s(W=lJx@_@bnP~?Y1wgB4beNIPydUYY7j9-Uv z1_hdxD%TfH|0x>eaEOt;2P`MCr(QT0Vx#oXX;6vcM4brHK-g*RZ5BQ2Ag4yWY@&PO zInc%2)2*ta2M{cwe@sP)G{I`R9k0Z{+`)4DM5ii-WK-JGi%Jhs?kl2?c()lqp7=JS zJK9(4`o6j~LTxSvl{X$Ytw;&;pv82}F95GW6343~lESSfVy}BnuM(qj3 z*7|DWW^B&d0{XLNI4L-{~;aPy2!%LwGSb1n0ZdluYWbFVJYD z$C;TdL?~kH4tlOQ33HDM5Qh(DM5gpj-!Q1@N5AQ23DrU_N*P1B&l5NgaMV1!KCAd+ z5Ubpb&JJGue>UDE_hc31oJ_CmdG4aXP^ij=6Nw*{%g)4YTapm6k&8bz&cCZbHQJ5Ma7LcrxB<#3TBV0}?7AxXh#3vLF z8w)w_tnhvrBAF55VR9kC@$T=!24D&sQFPF^9Yz=DJByGQ+P1FR;`NSjW^g_vW4{IQ z*5~(Pe?nly35+c|e<|S|xZ!>OgUU0%dFi5bP}KL3=CeWRv|)0G)>m)XEx8a6p$n+k z&ufEF07Jw0t`!-T)DKRF7S~kgpC|4tksM<+Vu1(Y_bH@15HeA|#J~`VV9MHo4vYJR z?x{R~%el%cX{IE!_auDIQb)MN2;Ny1OQ|lTe;8MBrjd?sEw5N(`1D1j*AKlYTctF# z+WGr7wR&@%O231s*q~|oe7Gnipu8-3*wKQb3FVBR$!>YH?AaY0x9gXpe0WLza;KI@Qp3_$R$j%|1WxMgoif99})K9F1`0(y|cMIoiSOPAeH?+VetBx;gFJEoUR!QP7kLbUh-Rwjh)vrCv@U+cy>uXE%A;Lf8+Ya zi9wS9C1k-QBOyfowF9%C|Ao=w1};gjbS%uow8ZG;CZz_PvR}!oi&~s1A1sg(NSI#n z?WRHrJ?(vs%7U#roK_tnz`9u)GzS?&HIxUgwkb|te{u2`Mde7}32TOfRv|tibo?A*YcC1%Eqe3{{xskM zHa^rYN5mTy^!}LwpOA~A+5g7umlll{b>(ih{mQx;H*tN4B&?TrEGuL)d`v4RCFfU9 zIhgt&A94*C_$VcYq5v%)1Znf%I~JuR)jzST$h50**BI~J{FDbICL{THf015+89}&7 zJ}-gWZ>wPykoxBXHbgCXM_q_Pf#ol}q|u(pM#ZQHhO+qP|+|Fmt}J#E{z zZQFKFpSkzE+_(FZR8qStRe4CVcV(?_>Z1mWtSlvv;BOP@+b&J z!Lg{xensTzmA2EW-FJgeYeR4DbVu{)#=b3NOC?caBH(gEKwLT(qO-jr`YmYaqKBJ| ze&(C^reZq;>76^a0U)js3DjftXRIkKrKWv(L;!w`!If(wx6`*hJaGSw^eQ+mdjtR|$ zt(GN;H~81=$km@TOU)99tIOzs0~O@gu^txV;BdQFoez7AkOFcmSrmIP&@3gsSBFAg z+RK=8f%^?Zr7JR9<>e1xTZoU?mwN6B*lI@##Qy#_A8gv8+xwATuDQL)#5oaAMsFPe z4@qBY8EAV39H35v5RG01FS*MQHhZ@s9?*O2$}92_34TaO_ZB+8o{4ggOiG;|)^s<; z%Kpu&FPI$UKvT~0;7rlWS6ek|WPHQotgSEs8zLh2k`Y}~`aE)TQM z15U6agnydngXWRdF3Ow0~(GlJelpN!FuLMCcjc3l_?W-`I{Y*>NFr+LM`v<_WZ*wXHc225^+CLA-f2%Hp^Wc*#R32I7B$c|mG z>>It4>OgTOgqryDyl?(UsRZAgmY3qF61e?qOKuTwob%)H`k*!$5Ub7DQ_(C3{nWY{{ZQ^wb5 z6Tp9~fn%oJ3(|C}5Ea_=Ht`CEELPAa*H4f3!g|*fT&pBDOC+j}kTeV9_8Hz7EyO|4 zOgVw;*8uGEs6>bzdZ%;zxrSIBnIL%L?1$?}$#tG<(Y?otGClJ-Fmwu|6{zd|?)h>} zqf115v#f!VbqsRoCQ;V;EtFcGnZr8^H^B6F_U0n*m;_#~^@#C>j*BVI8uq&d^heARCXx1@R#lL?S{Q2ZD9DdeQ1BYd11@XQU9tBpT)Q-=;7*x#1OFk61VOkV}McY#I# zN{}A)2j%hgQ<${Mc=TJ!r?a_pAp7E4t(55JOa7eb)3dj?SM4U(}0mnshGGI4c zFZAb`AmDWXt+E2-^hGf4SkGAfD?>_L6G7)bskR|Jp~pz|lKI6|`sWbw%qk|Px^KhPzI`x)UsZ(9E8i1Dlc%Su6U&&grug4?L480;_ zNhn5~*$WKOlka=MAN2#R%iFKu8}JXC(L3C8>{eWEj9Q?{Tk?+ z)GivIt{%@D$U)Ef!xmYVf@}P^8z!AgI72bIeq0s}c+WT!^fDlf*A}Ej(d)B6kiOXu<*)t?YsTJ700H zgY^l~SyoxWE(P2t-ahan9pGnKhbM`BJ=K05CqhJ;upHV@tirJU+)X+kZNCx_f7(sW zGhX}(!|&}y^NnCkG&W3f3c^)9Lk+3AG6DC-E1GEj%*~^y7{|wPYk4JGGfVcC$;=-C zMBLZ^;4HwE(KjB>)?0mo18-v^An$$HLo$>qC3)}__{w-<8=0=904S|HTqK-)T8rP3 zol1yA=%PEPs{!YvmM&Nt<~(n>(Y`ERO~);%Gmce<_ob*R-WC>8b%xTWPJhb_d6kL% zL)te?IxvOq7Dr1es30qzl)s46>FPjsNtqh!h#f*YJ3spiGFcIcgUWE$zyVm zQuTn6`c)@E4)BpYv!g{zL(2+LosGuM^5=D5eF;;6d)*Sv35&FuN#GtXtMbJoSF`4Z zwS?3widAQ%$ao2uC4xlU_^^3iAd7Qb9g9I3#?;<3P=@v+Iw>$vDEw<%kQ9$+-jxF` z4kd%De@T5bZdLv~#^u)R z8$+!tPfBlzVYu4-h`tiXFG|rMCF2!wCg=4}B=Lgkcje>SMSe-=L=XXu!(-+?;Ww$7 z4pDv7(Npi*#%wHZQo=A7xQczHGYC;wHSg;dV8MW z5-qF3>-e6%m-xKH2EA6@`56@K-lY&ym(|GnH5?RWY z32++R6MMVV+DNG*~3&IHC-R_L8qCM4M{m<>aD2%R2Wf znmtCrSP0)&g-ujDX<-#pmRqMfezCKTp_J>|PxLp)*XC?Q0PWM_S9B@~{{A(ZL>Zsc zMTl4fzVVKLlPPkPZ=FaXl33XBh><|J1wj8v1#6!74*A^ZZ??Z$PPo97H9uB;4CfM; zr2&({vj%$@*JhPz8usv}%wSdGck+mcd!6SY_@_)b2$l5L6q(9ZA3M%S{>Lj#0c!b~ zrj){tr34Jr=mFE3%Ag7)?_lR{k|l+8#h*D>Yq@$XE0Q-iE63Jk-N=E}8?U*4@G>T~ zd^TMI7K`xyZ^6Uh_KFEeIUbxGAt$nV^kj(sqUqs^7JMlv8f)&QHrR358Pm3I zJo|MMQ8R)cULqdbQT!l!;I?q}vw);a!~6E*senFgQUYEzvF)v#ucp*qwW`$D;i9q6 zq*ZY`liFgLG>fmAJXIunH%~$5T$*Ow=6&#kcU0CwkyQ9c%ZrA8*dWsNVsp6{hg3Vh z3>HqTt!mgu`EOhb^x0HDR3nCR*QuqO-olQOWAB;`bIT$+Jg(!g{GsY?6@Z&`;Dd+n zz}IG=<%Th5_O-q}ZOG~a!G<-1!k-HYdH*`Y#}q04gFr+A zu9yz)VwWuNPKz-*4{dFF^mdraBvncT%t71yx3+LS0(YK}O+R|Ob$Yz?-n12T*(Prx z>;f7&nn|4MBA%dm&3gZhZU9WiN5_2K2V4Ii*o5O#ENQm##ZT6bEfrydZs=%bT;VO= z`H9p$Z&(0%+8vIGJ1i#%h{Tn$dEraXpD%ol%={b0)3sn=Xx)42cieky^Y?)sR%V-A zniRq^wjgjQGq{TJ0m@ODhFn-NKeuz9pWtnUgr`zz1tN)8`egYu9zZ^y7jEz~IR#vb zkS6h!-|ZO}K$C8sw(#~LuE{&vr29d@uc2Gx`)^KRK>o-k2d&Exj#X{3Bx|oo&b?rG z;~WvaoFnWt(4@~qgKqd1oy}(0Gi;iY zau&7e9APpNw${wS0N}Srm{KYFgpT6nz3@?fE>&om?h~0kyh1*4tHx@#is3SdfR5mO zNXlW`kKB5PPJ}N9T_(3_zfyW+QN_fT>BmB(DsA8~Rw-mlj?dl}a^V^H3JP)g9F%Kt zHYLifn8vj?|19rpNpa7^-c#tIf={TbxH>}iy1QvdOS-%&5`e+&Qc^$I%m3&}t~+%# zxR~RnfmwB7>>Px)@1(y72bW@XI8IPi)1r^8Q{5f@=EeNYsf@PZm>%(nvjovb&@(?@7bo3~Ny;H3`zNl|38C$#q zY^ec`@-V9C0}yN&6|dmQZ*LrTVGbN)h9)_EsN0`lE-$j@ry1|ROHCr`N*tHe3Su+e zKtZ9e($IC1N^>c{C?A_soRLL3Jxkai`BuwgswONMHG6%Pwy(stB)sBNqtHD;if9RC z=qG0_wyIn0NSdY{`Gc!zU}VW6U8*R}x0WlibOrkh0KkZPq{DL;bHMD?v%-;Nxw%rb zm-yabNs^jNEfx9!B@fGNopB2YKxfZ|u|3Ko1>L!@`MW266#kHGu{C;Q&5Nw|_^!8R zqHz(hQ{b7Lp5lhjT6fmU=D3Q3`~0zz+x_r>6PS0nRD@C#RIT}TVWu@nI6o4YvZS&o z@Uz`<4G0$m@hkS)z%ab+<9DkP-5R(7FF-Z_8QyWw9F#U@Mhg`#4Pw^xW%6yIELP8!|b+3kgb1kaRdas8g~RS8L`Hw?H4E_ zq_3q2B)Bw!xHC23%8lX%FIBwSXeomE5ONHu@ci1P37aW<6%WM&U zcQM?3DZ|CX`%c|yz=s~;RTD64&CN= zVl!EMWS;0T2FGaOw6aD&tB#HYs=^zc0qiN42X2nC$de_?R485i3~%FhTFJxu!pz2` zEC$N<6Tj-e*WfeNxqW>eAD#i@dy8oO_sNoW$jOEemPD{)Xhj{^TrRjQadp?(46|Aq zUKJgohcNM-P^G%hVNHB5G{WHDMz(l2@+LoYz%4aPC>uh``^Cr%rT5&LdwIo-04yGD zNH-{h>|=-L+`7b$jv6Nf{ej-!&LXx;JT%KIfhr*LyxU}R&RdgrXl7x^35_djSsaoT zplq64H{)Q*xd6aD zngpBw{#eaYCBERsu(FN6fd)P^lJ}sl&_qxnK}mKpZ)S22NuOQpg{w$@TZkV zND!8zsO|&fZyh!&&^P=W9?+>Sr`#T$b~wqV%k@i?JsBr%s*)ey?ANIl^rD!~r)(48 zLbIowtbXpnrU(*3u?qH5X;o_FY+;lr_tqk0*UGvc3I0lk9aM-@z|ZYSUP&1p{aUon zEkq#j)QE1vZ0>{!0UqE0n6AAXzIxKn5)`$-E&-z^GO>e(#xEIK2sqrqd_bj2Cdyl; z-80@gKFkBJ3YL%B{8Q&Jw)yTB&`d)z$n4zf`^ol+qe#qEy4B42+KG3EHAFJURp zw(>jBZ2+o?aTd=boLPZeomOH{xc}|jb8I-fs?f@sD+N~nyW2TANQW(xc)4}iMglLc zeXQMgti>Ur^Q=S!u#(zVA%5PCy5PDyzs5{X`cl_+Ut8>N1M3}6Zw-N%@Uk<7^stA}@u1Vy+RV&6`s+jLTKI$(ea>_g&hB7-AeB|Q}s@UFXdazJ-GD8T2gnrNZJk+ zg-`LZgyphNkS<#a2GdgPm9`Of%HH>o-I+cOL{ToB47O1({`PmOR!f8xp79He1nt+V z`qFMX|NMgaG*=Ge62)M!vN9oLA6o{TpaSJrFxdVE$hW5~RMD<6ewx6apNh<%d?bPl zrTo$aogqeSKsY{4(j1PNai{`Gl#s=^EWQ3k9jX*!>UH=ynHVpmCyk=F5RdDgd+4@0(S$mH;Ic@W9UpTMZTtJ6s!EOuU(xt z3Vyo>7?1brrSH5$V6%D+bx5OH5!72{4i3(9#te#yit^W4lfHgZ_ZhB&DIH)x1i;V3 zCI{PeuD_IIaQQ2Zb?9%wns!cj_*L^8CP;(PRs5y&9y2ad-ZXJ><@1Tjr0e@Bz}dcG ze|VHWJ@Nv2>00Ql( zl%CPz@u+U$sF-Se?}7`o8?pY@%EBXK!eX zWD#6}d;m%Vqf1rdx1TyzM$+08nuE?FlCI@A1jgv6fv3Nc|ipPZ7sNc9DWG9Yk9mVU#eU;tP^p`$!t^|(2 z2|&5T4P0~`C8s2FsJQn6U-@wYox{KZ23@k4g6}<0oQ1=fuD9)%j6?cXgxxw<8^j}- zU^E(*57`sd7h|fq5fe%@Nibf z4oCAOoteH8+jY4`7I#n?bO`!n32v(IS3wSO69V{mGQVc{Q`hCeh0OG`?gh62K5N5j zX>m@DAFdUYoPk-pUQTz>izNN%bB<2gY18|MpM!FfWamt~mS94DhaNmwVu=B+f&_Ll z=gqOYeFGey@-21T{g^i2&`!7so48rGTNz8iqaB?o0$m2i58`{T>wTh%)z1$$(+JaNcfP)5ELem-VvZD`K@3>m~!exuGVUU zEx7gwR5O8PCJe4Gb{M_T={&Oq=Jqu8?OnA*wXaSAU4lhR3V15>W=Z*lUdy`VCHb!? z!36w`;G@a0;%}7*$mFlFNndHqXiB(6`5Maizu+!{2KLgu{#H()28rPUKAjQMjq#utQXYG3<>{1D+u9DVy7)1TZ~vXy zfRMP$(~3Z+UMh*!hzdynaH>-t%R#u4Go!A(g&nG(qwjU&lK8e6z))9~9hR{*f=t%k zrllyr0cB|3m!MGNM9)%FI0jZ*FLF|kyjJQabhNzk%TsfopI0|l&sTk%sh9P#CMXF~ z6<5b<2|aFWCxin(&O&N{oPK*v6X#ynj|~z9J-Vb8*YgXo!h?_irh}D1X&|Lo)1 zk+6))Lmr73F?|U>j)vJTOFQL8PM>cJ_{k<;~3lDC0b|7Sy;dF3?td*T}bf zz+`5%KJU+4?|D4~I4TjWg?1l_g_z)A{mgL_I)6xgnNuV24G(zxGIk+APkA9tSC8Jg z!aHS}m-#6R0o&(dqs6Kmgk;HossllVSRMvub)WQ4B7c=UQcj#SKv$0Hzb~|KL8;<& zyDl`Y-V?}ZaXbCFi4hr?qHXK0n_0vfyj@8ZLu>l&0TaOlaJc($`y4~R+GCqU&Nbq$ z3vpJQFJU#m7NJaM1m8A-RbnO*!f#^S`rZ9+fAjo1y|Z4ktfFd)T+^skM_7U8j+<2$ zeMAWRRGf)2B}~V5YyPxdn7rgBYLpHHC{smxt>4nKi8U7Rpb!3~#b}CBtyJ-MCc*X-c;E8+mZ;+wRVK+d+(Ay#8HtB7p zjx_q<%`S*5ie!Hqx1p%sd=d666r#;E)=7>-hTwV;8gd&zpg4^&-kDK-Q zVp7}p%Wj5H)E;?J(<1752CoU6|je(oqj*JK6uMVY21k4-3GcNr46EDrD4M#)m2dp z-NI2yb`|Qgw#OtxTpOgyk;cmr$;e3=x^PMc+#U z*Nf7*Ahm)d1O z-fXp0JJFSyEm>X4#b?S-V}T}khJtYkK*i!Vo4dJSNJ zg=P%}E#2`o(Nc6NHmS)BEs7da5->1x4$G0mu_}xr6XQ*sly>N-$UDjSTt)79F3x`2 zA^looWo5GH9Oc()6jTZ=ssK808Em2&VC#3^vf>Y3Ik61U(?Gt&f9fpm_F>@#54;8| z81LsVff711ApGjvbMiHk<=Az6{7*;#q>|o0$!W<7?}VY7y26n)2++m)Y>E=;%IR&hgW| z2Su;u-QoBM*>?)pK6pFWx|9Z)J@?lzIq?D^cg~vciD4Aa@#%ZeE{dPK?%+&mwQRTwxp%X+k0B9Wb;$#si=k%+>TpdS?wfitIdYa`IKdI-0_>oIu@ljA{DFUVVZ<;) zXk*G_*y=m`hiECRT21D|4sLT2HOXUCFS{LkUiO%rpTG)#YMzZ%V@Q#{zW zH<%_XVcg$U*&Dh{EcONv*49z|NtOH!B=HhAN<1Z{E2xm>eWgPlV0Q{NbeD#zlpC`P z*n?RHPUvUUY}`-aQSFq`yiWh7ruH{F+vT5Xatd;TL6w+JCG-*oC~2%sA${5+K3XRE z9JNk2P2}zp)2msWK3rMau(DsLD2>ZmCc5_H%I(msDh^{l4p8~e^GH+c<5@I2>R9MZ z1aoJa0CFBGz9}!>yp_dJ+3di7w;_C{WK6T|OKhn$sP3A>#pCdb8k62yZNDxYtxDbMU0qz5(T3i1lfb5B-B{=J4M5Z; z7P1n8n0Z3Fwxvo{xl>L!v}98>>|l#EIp3)4;T@>SiE4S`be- zP&6YfS1TiK)I?kvN(QCba6-r}|CK>oRm@kuTX6adOfzhxUkRu?>laLc#UWWUP^Yk< z`-Pt5*fB3w;zxnC(F?8YZ8*jy*p=j0U%I}^tUemQAnv8nhM?x}kicKRXaUJ+sI(3s zRd^BLYM=<{wDh15%X}~}Fg1`UbHD0-J#n51K?31%I|isL_8tbqV6aLDLx4r#jzLR3 zRgn-nJ`oc&D2m66&B+64`XJi@p*&IKs}%5hE7i5k;T}LE**lcVyi*p=f-x>hj+p@Lw}Q5I@vs z^B>)BJBa2pS6CC#?TedzS#w&>LBCCAECCvcIW7rRprn!kLBzz7MgyR3Tw}c6Vq6s) z#)J_5V*3EplaDYEbE@6R>kgIQN1;0%H8D6LXd-niqjsq>Ac>&+)Yebwev`>hx zErN~J7u}cnDEDWA@o;m}u30^MX=gVBIWM)By{w5is=@t1G34QwXH1VaKeT6y01@eW zuDW>UK@iW2g2Wvv8UTYL{pIV)-T~HZLkTADU4&{cjgVE<X(JQ-egPdc)~<& zwV_o#?_O_UN;8Ysfe!Ce1;6Z_kqBLMtQsmQ22zm3 zliMV#@;!2V{$sy!Dy+o<)_*6%X^EndN2!3{hpN6iIYCAL@3z0(Gx4m%jW1+m`H}`Q z3Q4%LGE`63oH%Yg8V2KOcakxnaxJFipwrCpZT)hrfg~QSdzBm)5}(jxQCn$H(mXkI zhwG17J~gcg$qSv{p8Mk!HyclmuQ;1zVK4S|P@n2AuTkna+qc+8H!it%j$mu?P3W+IYcI95yi*3AIf&D(Y2r9%!g`99!+x7xh^z<(xK9(nhk)AD@nL#29wpJX&67 zfcmU1Fe5cbx<}L+%`1!c?v(QgHlO#aJ7)eov&n5-XRZ`o`=}3aJUR`EAP=@>3V=u? zzGFhVy-TKYq!%nOESrm27Kc37_xl%KlmI9Xt=YU8ElrdvC2^DIk@p3S1|sToJufyV z5?5Ghn?;0at?bf4Q<0PM1`df_sm_SPiWs_xXSzwmtBUDk)Q0>`N2#&EFlt!y#g?1O zuA6M7+7H&|ve-o}-`7~f1Bd7d$mkfdzcu3j@_i9f$stn4l#r17hPVWiV8uyOVFHL# z%I!DvY@ZTh%Qdbc(azIvI6)#MKYl@B-EKgFlP)*;k(7t5*10ULv{Vc_{ls7;e%V=An!wH#049F`d6rvF+r*G?nh0f-c1Deu~Skp`J z@Q4mVBZ{sugk-gmd-At&(J*$U$N)|ZWssQS-G$Zo7ZQIOOXy%!=C)!#T$d9G@~J(uY2&=M|fLprM!k0+0@@5I8H#`6+Iv_b1B65RvBShuDXL3jlOtlseRS zwdGgck*{!e%r4kd`KU)y+84q|Nx07|zon!FZ7;$e$v(zWUEnFN58!f?SdN~#p-TxJ z!)+!x0B(cY=-!!kz({8l)(J|vn@%A5%G=;wbNF^6Q6~@J41J-0KEU-0sWI+|2k{QT ze3N4QQsY!*&GPD{d$Bc?$^mX<+jmH^%&8_4pqQr~AhMv+;Qvr2l*kxzcB^I!iqmFx zc-9KDm0(cFm@I~(3xa+<^~2tMcT+ge1Pttip~zBP?=|QD^44Nr5N00sXI0I$=1;0CMUF9ZitjB^#N;lOhx^^dH4qj ze6EI6n-R2%>ZrcNV((bf`%qur^hX;eB4&M7b`bR&rh~^Jg0*Oz;9g$O>$V{ zS|(7@D@gDaQXX5qxv?Wwdi!3d&}?z=yFFje#|j8}d_KgS)By0DD5(OKCmMOI3%o!PKvUJ@g|ltkJm7aAZQQALsMr{>ngDrv9uw`-w*a})ocp+lzeWTK^Xlp*kKZy6UGLBPiyCo7yhhEO%u5G^ zgJeK-IdZ%DD|+LcFMnt6FNh&-eG9VUU@cnd1$zec+K>jLYQ@t- z`BxD(Jk{GjZeFt2n$J!vSamiVm9Z)H$rUvajbLDJdZ>3_=Z{6Lql$gwS#H>bgW#mz zPwqInqg$50F4}U8*bFLzEUwbsMh@rykm_3i)4Wm;)Bv~_W!&LYWWjTwQbv?SmUT7M ztO5KuuoYCD7YGoH$ICbgTN#Y!9Ajg7plsN)z7_tH%L)RA8!RiOM2&Q6|x~LxW zUEFpqn*bpjROWbHUSAN#caMLU-)$dkS$(~4`z_~m4o@P}pYF|+Zbb(tORS;IqHVQR zHrVv(+bpqJSiv?e5Y|N8`{37A`o8~}n+NAK!1Gw>t(c(s%+hP+`5A(^4~N zttC&d8C;=!PW?6iX=-jz8S`W|xIg3>1$blv`dB}JQ?xHA#B(XSux zt^(4Q5zRkXup>hYEUS$Gn)Ulv7r3}D3}fCTTW$I%os~@G5i{RP457|134YmXNo|kM zPVAZL-H$@l#S)NENf!+9xlaO(sIY%*y}4?r|NSur7B?TnxAc%Wya1=a%CqLRHZlLB zWc+iE6!RA*{r%f_&HxUb23gZm$poU#vK4@db3CyoslN(3McsyL*4Jg|kQvC+v&eb3 zIVd1+fcy1y@V2Z3L3sWwkrfE(2kfYD&$|d+!KLcFi;b$w5-r)u9z9mNC2#ATyo=pH zF>cVH!Bw@Sm}la?`*{z1+69s#xdmx$WXHRYt7p;kY4pBmR6@e8n*b13 z!)^0qPnUdl_!qu9k!^(Z138}!vsIi7yH5RLn}bCGXQljGN%gCiZkd21`6sh`9k-rc zv@(Y1f;!WIO4-Z?ULEsk_Wkz*ov^BJRga_sJy><6f1;Jk+XiSsj`+`a(dr)xg;XNf zThlo#`Jb5fHxBScxyVM8Om(6NM_0gM*?Q@`^*AjYph|6hWlJ7wp#S`D|K(xJiDVty zN1?Cc{hJ+ZV6MHW&s3hy2XqD6(-5~G*Y2E#EVag&O-_qG8*}*)-8_r-jAN2cv+(9< z@Dl1uPxuHL$r;1oP1!1ezTni~&sVgraD8EaiXt0$=n`v-9E58)fhm4{pDlpgl%?l_ zG(pa2@>vd*si~5Uuc!nGQehvd4zTo)im3Y2C}dG_6DFB;ShXHUDHqknQu!P&Dq+4K z5i7cWO?Ye!W;jtJ8hDf;_PH#QE{#-AxYa{mwdnhybA{~gzLK@%t{R)O;0LX>$Xg*p z@r4qz*k+^ItCcUmC`Z64L=Hd-&46A@`YG@pL(9>5Vs()1M39O#go9z&@*d~0~?C_C|g=11x5D_!y%3)M;L(kihLIamexpt z)dNwMplr|&@6gCBg-7cwdeW}gzfVII+UhEDmG7N~&WE;@(|CSv9a16utm!Bo{ac|} z^TakXmT7X`8Ksr?orZRU#YPEijTvn7bJ}e%E9}LpQB@%^Rcv|#lRW?UJzfvQNiwmO ztA#UmgQR}rYy}GK=1l-e#vj_r2-xV|556NMVyq%WE4;dRWx(7okhkBgCbA=NCb0c{vXI7Am zWdg`Bu6u8NNj(s}IAw?!i}@z^b$c@QVaG`to3qx}I_SvX@3P$78*z^*CgV1<({6=H zCLhi@CP?$lAC=CC?E4|!QQa*ZsuXmlm}fs@g66u{k)d)9QpErXWUXfC{%PzsiC@lz zh|1M0Z^n0WrTb~=rc|9c8I*y6Q%nyiq9tt148rJBti(E{4QntF5uP&4OfWi$URony zu`EJ{(6~q*B#zlAc!g_RFIjy~q@1EHeQ2`3b39Qv>4Te~a52nuuUu@W$sKW{9GUt{ z4DCTJ00wzdO|wC9{jI@tjF=>do$&SDx|H&a>gc0s z9i|Ym(pO{xbT9ry&`B;P#zfvZblHKRU0^I;$kaVXi9W|ZNCzU3hG=o8*l5#!2T|q> zI&mYjhD1^aT2JGrc^w*6oU90*SIKB zCLHV|GAqU2+G1)q=J3I$?q2whi*USegyXN?;zTE=?SINF&$Sb>>fmrt6bPKD6T<{~ zEl$zyX0jzjm$K5Qqi6zvC#(>ptv_$OwSTU!UtbC2XE_{p z`TV?m*B@ehe|!@uXhj>puTQS?2>iWw{-Ti%9$%slmpr@=POlmmB<&AoKw&|X)60C0 zJ*_e@5D?(^zmA5@&JJii`}r`;YFZ!bpp9e9grx!EC}``Yzs2!!bXYzI-o8&40n+Pz ztsorNTjs-fo2|FtsNkW6m;KrD@AmykiX*T13^RA)I3m zkyUj*Jha_-TZEIA4eq;PCAU`bXso-R+pmB3K3P0cj@eZGUt2t6Zu&R%A6s_2<*dk} zz#RaU?(;Wx4;@t_)$eKUKMM=J_G8yBM;Fpv=~}CW1SNeLVRJvWW*yG z&dhwyTJo#Ij<;*YZ*I4xVdmVP%v7;k zJm&=ou}J5QAGjx(saqJCC*>~6p-QVeRtPaGuN6(;Ew9TWI(S?@4mNyl4&`C7+~EMM zk8<627N-q3Bz^TDJM_Fz@Zk6qWJ)ZUFvTzVxx~@c z9_E4$&2mP$wpbO??4E5>Tr1;PnX1Gg>;`UcghY5@=9K6f8RpalRMz3OjC;0l*m?0~ zYM4G8JaO>y{9%F6l(ZcXtI>QZdsO_;{fMlD_qoj9a$f;fa$K%AyfVn#o6M_Yo>vT!#|S z%CFh*Bw!gf-!yv**HbUh?8V(`CSg@%Y>g8@)fFhqw29Kf#tnd(kRj6?n22#9G9o6gl=SKUT}x7Srb3ytwBaFG6gkpR^|z^z zGEgFj6dWOv?KBaQi=LAA*hCDlN|2%I8#Nw@j9#0Mz|HY%n%X(wIQ!BKofW zi3qER$z*bzm{Nq{Qk^(FuwioUm_TC`HI9NcQ8Ilp!y*5WN=+^&x&Sl-Ly_cfo=(9U77NUXM5&K z)!kCGR%)#E@lZ3U`l28eVvTqr+8A5nxFu>El~xQO@JLR+h|mkA`u8xE@p+0d14{h+ zxD9kY(Lw`t!I}?UwRI#ln-V3M^9tqfuBwRTi3l4gS_}Zyzq#MpIpRP^ve;npjjNPv z1IO!fWIlTOboJIp307d0P3UQjg>X5;m?4U>q>Th+OTP`x1>&nwYn3L*nP~;*o!rn$ z$tVFD&(nBey2~6CsA#X?mA~kRi8#rKOE^Kz+?1^TF@ZWNQczZrHP6L_wDeTHl_V8U4qtp6Dp3;b*929V9tqNQh1pr<^viu!y@aFoky z<{4O+A=R5SIr zqN3RyJ4d1c$3`Wi0?S9S{?VWUEyn$vq$cVWM|GgcMa$PsnRY*|prry86{Z4e$KQz& z79EC1!2?>;1D2I?oOVq6vPgY#_0h>q1mZay-@D zg5|MtI-XRYqF7U4!qAHA6_(%(0L81K@|a$VGsN+jso@U1&dR&$wCtYhFvhe$_hnGL z+vu}kYXgCEuY=i)?8j=mhdn(|lE5Shx`%QY z2One>PqfBt(ljmlE$>WRfz z=J5PTKIv}UF2g5H@8K{C5Xwfj!ljjffgcs>ikTf1O5n=F2ImPK*N~$hZF;o(;Sa}n zbjLlqDDYAZG$)Z8Ovm%W7SG81Nj7A($o5}$rFUDv$5VeHUy(0Lw|R6@UDD#fB4FfR zj}?&1uPoJY2|b5dyr+OOdN3O}GxZudTYq2>a4**sMpl)!f}kz|s196G&Y@DoVvTcx z42P=O9X}TdTWMHPgQ;np3O&R9>pi*cX4GeFZ7h!i-xIerz&d znwC+d1hYPO1)tjFa6jnn<@{iXS^h*3wmHVl0dh&BT18!Wt9Ei z0`rX!HZ(gS7t58_9E{c+{#LW;{SSF-dzc@HD;n!KXtOl7XOMIT7G_o^PBtb+b{a+w z3Pwf>Drg2d2UAfaS2IFNQEp~NW+uk}8`Apq3?dJ##LCVjDk{vzEF#LuEW#7JcDd7t&V{l0zb*=^r-n`!?+K1H^;ktF(YswZ)ha)+E240H#t zjKU*sV%LFH6I4f7(XB9HmuKySxg%G{ zmgBGav%VKhE)VjDvj?`Mlt)kC$u20fZd>zkMz=uO!7P&OQEKyL;x95e;@WX&vn|3q z0#`%H#kHY0TAd>`Ntf#7IpAVgrlvf6oUHne~p9Nt0aWqA081P8a2{cldi~{1APNOM~ zo-4}d0DnuBKhmDefb(cq(NqSrU@o8f0veT)%mX6jYtU3e7r`a4V0jv;ykrq9n{ySK zE&y&u7Fi=f1R39VN=dg<;)dC6*1QwRl3|| zRKfCGqRNyf8C9G-`>2w{t*Ao8--z*%L`0$z$xtL*k<>-v9m##9AR#}nYNxvo3fkMMg!?OTD4OtNFAx!#Yp%Sk}8Be9L$<_4Z<13~vB z#}gGV^K>mlIg+*5Yi_hmJNJV@K!D>AAhvM?5Y{*ih+~`rxEgUfE`tek)4%Faq%)oe zipm@#f#}5xU;!+$Rr@Wmr0MFfF_OP|d=~EOe|RJ(US|VuhGGH=pahhHH6R6RK^a&F z)`N0$w+s63aj?uzxu zV6`na0oK@J3t(j}?ggx;#a6&7T08()JBw}L5NHR7!4Ys290MmnCpZZPK!>?k>UCRP zf1n$j0;d6sn?J{>7xaN?Fbs-d5)7Jq{be0x2#kPHFb2i}3zT1GGy|s0-F#2~(BWrU z{^ikmbGPnk!yLE>7QiBq=a+#Fbp@<|t3Wwe1sESVN-%Q|j%kGP0pkP42P_K(bMG%` zD>(?{AP|8-1VTC305$@Q4;UXXK456TH0glTq1s&dM28{*0jI-Ob9erdMg#($2fcOm zN^LOrd7ZZI;NfsHLGMt#Trn>+nY+89U6=6u0~&ug500Aqwq1wn0E8hBhJf(_;{(PA zj1Ol)55V|<@u43OnlK1(KVWwt3<0|Xb_eVZ6M$@lDS*j=>(6hq$AgA-S_=k^llvUnk3CP>QpMP|W%xv~ejn;zP^ItyH zv;=>w0VxKoFj@!JgAJg}+`~!jTn;vad@1;2URnjH29@UiTqmsxYyq`kE8yjjHh`LZ zzu&cA9jDyK2=~)QbALb9hV7sk>@@duMH-!!=M|mq0s32uxqokJ>t41VWJLFs9sruE zgK9M^dA460`|%b})gHB*mA|SD>Z;VvbeMltElX3k)Ctrhbpdror-1q)dgZjotl^&i zq26Z{41+gUOfTv zjX>*xJf~gtgu&C0`dYIWo}HW=cp0zGgV1<-bWhXkTL2H+m*D;b7k@4Kgu&<5zN8ZJ zy=L#+(5TPs)8{qnH~a1@jRwpfy`|BhC8f<8e%h8sS@pDH--;>fqI~t4HU4GkpbezZv(N z=_7>u&A8u;`^~uDOn)7`KDBxPDbCcvt7X^sAl-UKiZiwB#5>c+3Te;ud8oc!jXIA# zql3ywai&IHUyDRJBgz?3&h*u$&ouSzYSbx%j20&&&zTx^f}ULg_pjJTTf*Djz3)d#TPP|ZsHud2 z2NTi|i8M4y9{BgH@9fr80Y%z#=H_PSW{+S61TQQ4$I4m>7(^Tzap1*bk^qZMbzh;& zyW^4}VS_&ZjUMfUpImMj&bHNi{oOxkw#*T&^Ux-bDcONJ>=Fax9I0J|lB-0HE1 zLz9zsX63Z2PA-yw5PGkB-7T$k`H z7|lC{Nr0PH?P0Fvn}$Qxc{iIZlLp`uSZ|SZ2>%=G(-&7}>3|uNbCN?Pb)$E+ibWc8 zeSX;g*zO(;&-kQI%V4sxFwZvY{qDEs8eDxkzoGM%$0UPw(+x`$A9E}{SB<3lQwF*W zywGauR~ac;-W;{iicUw8t_nJRIa&H*`EA$4`p~N#X0D%=VT+qSNI0kYG!#wu58r~x z{j&uET{QwTAd}%)D1YtPOHbo45CGtNe}#|9A;vTD^9U^6)ryBivnR9%L(?TvA1Don z^6S?v2^2TG#2nL{qFUqW_=|1XVdM{C8=Z`SF=D8ZC`mRWAQ_cX5ve5wR3w{{ zyNJiXv!5;!(!EI3nkv*T(Jtov<~qB$&L-Q?5v%{;WNh?amw%+`lb~{q>1$6FC$0t- zO)9&b+Hx8vC|Gn^+?Tf8xE~yhh*GF)_*gBchI5htP$NX0j>0yfOYv)2R88f$*NY1Z z44T3x)wC@&aw=2V1kpGVuEah*_TLw|OJLjjs{P)aNJCYsd}s`U{$?vXNc+;flXMy+ zofV6`Y@<%mg@5TjQ+F~}Zt61Q8}lIJTen%Q7OlvJihde*!qsj$Yw&SJ5bkMN+RZS5 z-;BloCa`RbWsvdtYCg{&s$#WlgBF|$=7PivPD%@NEu z&xReUV68IAE2qMZJf6jG9_I{o_GtIFdqviEzf7tco z;V>oVJ$dii+b|HR0q$?YDrgfPKQD(P@n_KOM`9fWeQ94dgS0PgI!T)_>0(_C(qEGX z=8|-lK6{?c{&CMcsw)U*ovt7NA-GqzdUzakoi23K#Sq<_b!DH13*MVCcDmp}8e)8# z&xU>2hYkMtwZea1WTU??4vf~5@h}s!syQa(1Tru>}D&;rpA+0rFQp$mY^AyB~m3)Gd213+l>Y zfRbPI{+~C$-GBdhH=W6ZM}|#jiRRIV`>Bben_qvpx%+`;e*Wp*-Ob%pndna>`i2Kt zzPnBBM8r(RS|asXLw+VL<8ew%4AavYNX(<(i@Xj}nYh1EC(t#mROM>r=5<~cVe#O! zvxKvlBM-?8m-}0)x6_$YI?C6Zm0P=_b_*B~Hp(h&(|_n@Dujss_<2@ur!eeXh36JJ zx-EBGT2jAkTt&OeB@N9x1~ib-Zd$eRALR_?1ueuZjbms9OOu2Ie99MY@ja|gMO3*O zh{%+C>b~{+7mjEyXwZ@T{yufWHy*MY1Z~Ww50{yxS%j-v2;)kBH)y@%39afKR?;0RfPWK9x1X4NAN(KM(HYz=DL(r7qVe+$SQhCl%7Jh;Mb^Eu7` zSIW3?Q#r9J4-VZ!N!ZzJ^z=R3<*p!)@_d(MuQk~V zMi`fk!E{i87dST24xQHb4oMperj2fReyA6pC4Z<;%m}+DDR9ZFz_;@DgkBa#T4U$M z1C5Z`R~eoR&B4=Pj@XiI{VH#+K&l8dgE5=gzyS~KRgyqJrh6_-R>&)_L>rvf3U5*H zOfo8b2hz6ZYto|JtNf|ws4)NWh1#BR;On4MXwkc|Lk3qyF2nD+fb z0STO1{KAiXz1}rm0-qH?qm6d+dPj@Gmgl^Fq#gwabd~^%LF0;A&zJvKr zjod?{1f6(U!0Kbl7MMa>bGh}VegUbw1Aq3+0%I(MuhX>h(1&gJe1T>u`!35q59PsUKJ9`zeoK6qFpF; zl3%UApkHap5~z{}y1HwP2+2LeMh@W_hWk#zB_xrmoab3hMS^I888(u6QmQcg$OHI5 zpyG263}wx?H_B{az>qP?Qm-4zoPS`bY_T{H{0fqR{VXdbuUJXPEl9r|qhXlsDvD2s zXr!M{>03#+U9Vp~gxnPS? z`&F5u`n2IK2}_Q12b49b9BA@f<^W?u_T>LZm_sN+ci>K^Gsij&u=b`Rrhh^0A<^zu zb->~*)TVIT;X)6?zi`h4kt8vKX28r2;oCamN|3n(pE(qYP>X1Noltx=j9v-E>p-r7 zdM_F3{1(oSO4j5qx*tXGvGm!po1`$($HEB8QmZcyBaNO+Eg?B{$S?F!Pc|~Sf+xpm zFB$bkXkz(@5UBv`0|GSt@`3SYY)G9?8_XS80_EX!T7cpIt?e?v<6 z5yNSwy87Tlxprf&C=~=nd{R(ckQe@T3uZdq(-59_dHiTnfXw1_my{!{f@(jaYQv?W zJkDJsDSIKbkAt2}nutCX_O@_~esYH{AXlptPpTh2eXaVTtu|2yzJCx*DZugVsEZ^R z_3($IN8v7xFNQnh(Z1ev0%6C4-Z2^AY^DQ__1TCEygW)Eui=#nXK0*KG)cumDhFH= zc2BqWk1Yswk05O#uj+De1J9^wuods*{;o&eEUco}NcWVNyK41vavVy7?-SxeQymDz zR57W|8G#twtvd7&(0>KcB?ZVAdkMH3_{eI79orqM3nCmIx-^a)466k6Y0}euT8{X1 zMZ7ZlT;)|w1N7LOVoft^Tn~mfS-$lT$wE*C5|)HVaDZH!?A=7NYVLaZw|fsTadh2s z6{Wvkxw`s-hzk}>(!FByeOWxYZ9R7b-dTJHG`*YeK2gTfeO_Q4u4iA0v6?ye~Ggupau-}Pz4t( zsU=_UgUM2 zt!T6Xf4APPvf7vR zqWSS1J22E>y+%vhLXJ@)BF?a+m&%c1`G-C&tKt3JQFMW7PL?4P0~pxZDv~cDaiu| z;>^T=Yw&q4e|@!*0ONyP>~pR+(x*BOFJ8SRgv}xpNh)W{ zY(}s|p^RoSl!#C@Tc)#*fkG0^7eeCT??2ux=bx9qnQ4(cn8rgSaA+2Pwe(jX-oJly zwS4#C4^NBn0WA#$qMWqEOaajg>}7iOHVS8iphyS`)CPzn$kg>%-3t*Stc;z&c#(Gm zr@y$dDh#6_F5T6BmbI@8?j3SBmCByXp?OHvhon|Pbom7icVnKXG- zzBG?f6zo@dvT|=6{{?)IRloHsCz~;D3CnUBeASk&g84iQHdUQB`K@*@t1VnrQ0kkw z9|cR_X#eUqUhlMDE7coarp_bGD=VTIb{+!*mR0Jen$@#0+47;6I#twY%&8WUjf&Gf z%PCQR76A^RRH@s_9_x6%QQ zyc}CYp%8Zh-9E9UU#Dps4yC*5wf5j(9zIdZ$7BvE;(Q=~^MmX;5~|lHtlPqRm~ou&i_XPMA{fJE_J!j|hoy$j<+3x`8Tu>Y$Y3jxSf|fqk>RqxL3HL4@%Box(a>GFdZ1#DrFPka1 zx~OjTR1pT5@)^Z}e0&@zgBFAwXIs$0IWQcV)<8uU!QspqyErPsA4FrR5RKHcLF3Rg zCI%2ruLQil>kBml^;0zi_baweUF*E|#;dY{Q`N(NQBU4gWd~Nz{XkqNUF8ikyFy#> z;Ib9jt~52}nDR`EN>74<_ySOH{S3_LG%~Q*&{Qq?sljqCW~X^J+SpKv6j9H|Mi+o< z!H|f=pls<)q=?nE!k`fdh|DMAGSTk!wQly>T1s`6GQ*RVgAj;IHc-x4U<#61FjdpQ z%_yRObfCj?S%IbF?i<~h^;89kq^i9#4!}p@wmDyrNTQHN!!l(`W&n5cc=f=3li$ZU z-mNODBjlT`JSAd1+@GmG>zL;SFI1VFiZj9&(!x~ZArX=Cq(rxV+UUEg%3Hl{rV`y) zH+fm`%NxDDoc6LQ{0qMy|9)htVX8aK#nG03!Dh40p*>=lftnfSZZl|30-LE|V6tMR zi1qu^*|{MMtijU2O2-h%Fw)h`@Bj#8$)J=4I*Uy(G6}ylLQ=5PYgu~KxN(DTOUITS zz@F8Y2OHO-nMR+mBka@VuF%_dBkjK^!HRfuxs8eJ0vW!3>P<20;q`%svu?Zd0rxh4 zpxh(h1>Bo;?#;jH-mG0+JZJO z;u~GVo(J)vbH7~~{lsu-MhsSAeaJC>ZNQ9)>4Fo*^v6qeI?)H$)Zi z%FDdTu34gMI+_{5aj4I;6mBx+wOFqTB)CpgWQ-S z{$imRZugbD864fYAu~bwm!-cZ$*$O~;|5L{-HUWc(E}nyDqByYut1@2+KJkra8P`>+e3- zAFRQM3>r7x+>0QI{ou8B*IjK(L-Q&#@;jNuAqNRZM_m?L#r0~DRHY5S5rIrc9N`W^ zKl0Cxi?=qhr;{*{#*M#gwsBd18{S2{XsaxSXmnI%`L9v3?F5-pu=Veo3wUwxr$W45 z-#HTf&ko`e-g}m2aO9r`AaKnH5NuX=b)K}VNVf_aJL0@&uvXdkoXP)H@pHFfd*|-b z>Zp_5SKBY`9~E17liVfiJn{7QGe&>S7)_L&i=6el#nrBEssg@pEW0QcYTfRX`f_uD z`ZBp(5Bp~M;$Qtsmt~g$GyxO=Fq7d>69X_ZFq7d~D1XgaOOxZa5x(!Q&>;t^YJ}ho za9w*C+q-dGwv(Dw4k_CQj!2DIE0MBD&g}Ttr-243Ql_*TjqJ*aU<2p|`tfxGpp%CQ zo&4j?*Yh`j|G+4n#3a^SPv*-B)0Aj!CfaJkxS7n;$PzzklcN@1`@ZXk^HArZkN{&ZkC3w?BP*d-pB&{P54O?{4p=!bJadOyAJ3mc#Gi z!e&efB8{HRxB;RFLU&VUqb#YjYC02&MM>elG|D#H`WZ=!rmD+L{(F{U*CyMP*i$F> z>+Gv`Z+v2bv6g;su_Cc$?cTPdOFdkoB~uu{g_??0Z_nH)Vwr7sU9HMyo#K?DYx0 zjN}~%I+o=Qdy@52@>~UCvaZ5}fvv#?Y}Ca#1wS^OzbwvLGfc5+;9_nWsAfS0;r7sB zyz^t|Ey~R{+2xfpy8B-?#iGv3g0vcyy?^D+VjpD?c0_O+6x$S|!QybB)4q?qA6<-f z_T3Ma;0gPo&Oe=gP6EMEKv0tKIEEE+!lW6&17>3B0RbAKMFdYo2=Gmh0f1IAmMnVz zTa!N~>nV$}qHYJ2V|%7UHGAgYcwHacx*4H!uYON@yS8X4haVO6VJ*YwD45xo5WX4CY#H^~+on17Z1(5CXK z8i;OdZ956yPuX)zDN>xU&Z|1m%4N`DyS|=sdX} zg+WV{<>x?hmuQM(kZjL~Dx4UT+~jl=9&PQ;KGD?~f5M07BZ+ysKx`jjI$9KgS};gTkp2vAS-J z7>bgAEsxZQOo(e_`Kx4T&56={Xv(|pK*c3$Ukp^|$gS#b@O%JfC>J>xKgDhY88^{G zl_Ryrmt87=-iQ1#3x6DwYTR}qvGttfy4G^*8aI_-L|gHq=->Q_Q3v&*lZ>X)2d3iE zo63DcCXfRoaj6DIa@`>lKnwFpZ?5QSAs_}Lc@eFs_CJ_qHn3e-+PdGslj*!2h)4IV9RGpiT(%Gs5)#N7TwnFXy}=U;z`Jrd}Y&CgI!s8)Jkv^VXSlHkL70c zqRAtad{LS3czK!d$NMTBA1a7OC3wT`DX+2{{C|R9kAF3%cN|kH>>?I}FmNZjxB z-oJ}DKrJr8ju)NecG;$U%uXPe7KCc`A}iIePVArl;>3REwNPOaNic=sYM9BdM6>47zSwS(Fe$8R}?NsK{FXD>eL>%JE zs=E+tPk*t3(P+L3u@&A&9`mvZAus@7iiKN0Q zn@|&8K09qTj<;{6nR}%wvas^1+=Lom!W#2JO$+1MT zWS0*#0U81~HkZMS0V#j&S;>;yHW0nfSEwo%s>VXF13cv5q~cUkjt?p2ki| zA{CJukNx#&EL=scqj4^|h!6-hdU^f20pZbdghxN!eLubX_6;Fy6r)&DIhrm;1WTl4 zJd#=>Le*$GAN>_6q|taHB#wT6_w#i8_w*O|Su9&W;~EL9L8yOQ|MvBte}q*Sw^mUt z5apy=#$vnZ4hL=e&(VZojWnmD2~{A21>xzUoFqk&&rDL9$87nUl#c` z40hS9GDemsyB(8j~vW0nSY-twL7?H-5Z-(Sa zq^PJ?B#ScLR;zzVUr@CQj9^2%DI}O|76}{{5!zbBkW{o$qm%Y7&n}H@vhv?&`FfKV=DgU7;G$hNF>xXyH}NKe$U5_^H@&bo=4q3gtQ>zs8d2+?4<<`W@SoxlWHXmC znm(ldZL%E`9W8h3)URieDZ(57_?YF8bhBByDNVNYb5#gl!B--p@?ls125bO5CxoC_ zRL)Lju(_$@m4u}H5W+l9ZJ4uk9&)wlIASkGfKw@)y-hgBDl%go9g3G~px=sD2PF() z*~%a#qMd*J$Oa|GhzWj1PR1tzAo~F5bA(1j$iA2^zJVeI0f%64dHg~KWM?CI$N+KD z0M2;V0yCDXUfu-&M*x?jia{Eyx+Hx!Rs=pKoZ*NJ?N2FUtQJ^~HI5$aM`}L?Nddz;TizyLJ`eRt6M+%O zK<9q|N-aYZ=E&Mo^Q&wpmE5#6OB%u}QOe)wMXB zylPSpoH%p+l51qkqMw1`#lkWvyye;1p`8t2B zT7m4zI?2ptw`$o|p|iLd*%ao>Fn%afL|ufS)k`7>!?8|wI`R&H%F4Z~G+UMrew;7* zFTtxfKF{Q<`RXO}@1heX94Q7{Q{L`84v0~NoD8JA!9f*rBj#NycmqzfhaIBa0f|T# zC_izC{e?tY%Z|pElfU2Mld*uY+a`a0qNxGLG=L+wYWlUsb2Lb@xmUmdIk-ceoegF3 zs1DFP%3kzODnS5uB;MD;9a2FFmo9cJi%Ke~Ig=6zlPfrK!+bb$CV`;TeB8WHL>k&oiRo8EcT^8L`hZ9$+fG49X4gjBxgPyXDPz z=90sNY3|gY+Y8=;XkL;bpq7bPblZ^E_79D;dm`!n<#8}gH8dmQ28e=QHShJTA=1T> zmiD-EgbIY&PlquvVVUYoB_fGXJ{j-H+);;P|cd z^9!qUila!_)?dd|N5Yo7{EOnj&#uCu9nc6))f<4q1Np(y=1M~w; z-6rNm7 z@Z`hEo6D0Q&I!g7jkKh4a=DriiIJ3QB4ddNRg=r*ED+>gD7EbQ57Q=GnmN< zz5Vg*_sjPe(|;KiI8taj6B0)sFQ0kSb z&4^%#D><1_1%u2ldSPzOrZlCWJMot+Eh`i>R(ukJxa4jQ?S45U9BHck46AKkZ;rM^ ziQOBi_m-4pu?S+IRU-zv&|2s-7I*BIbfZ8v%O z@QOkLw10LB{#NAXNoxWksU`z9SlORXW(;#gVijB`y;xpANGM%9jK(-hOFy(Kw)xTz zCGG~s#*HKpmOGt47B^-v8WaKb0mWt}yZ0^$1oZ7vr z=nfvIB#weL#&)a;l1=>I9tzT6ROJ@~Rl*R)bbn)!X-Bcn@zg#4~ybvoov#w$o+Fww8v{Rd&SEU zN>+$raR4W;fRzS82-_xVFH&9|ft0hCBxQz#mV=~Bxo~L@$ghrZ7)hrj%3Ci*AVMoP z9)IH)G0C1ugnl)E?Bd!lR{|TC7Vjo#>w^H^tUW-M=_09u-lMv)7@XSm*I`)3added zR_iL@1CRsDQr0EWo2^SClt=ytmgD_%npft^Z2W_>|EVQq8dY8r=3V-iN$IciqR32= z+kC-jD__uY$526$Y{2@wgkhCl`K!$h_J3+JGYh*{7=o}zKQ|_KL`8e9jK?#agvg+5 ze{azql3-1rnjTn-QN+d5GLzVg6mAa>=qF?**jgtuY0}M1^r6h88XXSLOnwRFt?Pr* z4mFvH_A?Wfstb*p?j0~z_YbEd4im)e*&#fXLnI_?q7TU-SyELdAM!MV{zuBaYJZtm zO96qG&b{_F7_o9h59}6*9tMh4GZJKguZoVe2i(;*gKX`_eeVQ#lz}HfsBltCvuV$( zEN@tDD7{b`mI$O;n$4|o`5E@p0Zkfeg*o6qzz6nV%HwuyOJmmODoD7dw1(-our#K=6`g9IlTji z4q1ilNC}2&c{@Yt3NjqMD{5TjMG(6yHedXmJ74Im&@8%yQU)GZA#XyR(&n2GN14g5 zs_P@;VVjR2V($Z?GCR6!G&HYEFP8(XVE9G9 zx$%>XH5gPP-keAsSegZeR&L$mrl(Fgh?C1EKkD;O1p7%FPiHc+Py~di3ClFVR19n`jF%&~&%oqn) zhG0_=e$yE!h@($=T7NY$+WMga`0dE*&33hF2VT3?Q?N7por?k?QZN4Nwo2w%;IH|% zE_;UA03T4$n45KV-&d;BFU3t5TQ+z`7&1gTlbAQ#@+bQ9?{- zrYiDr3xM}9+pn~H$?tTrMqHA|jQEY=eEw@_qY?5Z=rmtPHGi=srE%***CC1gZmcU6 zbiU$<);<0w=_~V)IRzq&?PX58jiC+~_^UJ1;U^rD#9fPiFm)qR)uq{@0E*tV{dJo$ zV(H|7&;I*BHd!uT$;1kaM@l3`Ugh(D3?@=NH=QlrhbA0I8SnUEq>9(gLHpA_I!Y+Z zcCqgdC~HXA#a-MN036VOJ1`jf>Irp0^A#(Y{PAxkqHW=%Ua~15%AQu+^)l2AcrY`8 z31bR{tr+P+9^M2895#QEc=9GBqIh?Vw5U_)JS^F$>`I~8I!hJ?4bJ@j^5j1{s*Dns z0W<*<0Wy>EsT2b_IWm*sStx(a8Oe^@HuOGU;iCqPS#IKj6a|tXOGtbpd_Y6uhINMc?Ay%<6xkt8)|_k-*pDrJkCu3pA| z`^ueag*aGkN*Kb-Tkn6>a+%*wDWO&XqJl;v9VWvNVJJ$c4hzRd%`zQ+}M2gmIM-|C~Aru$oA7{j``D&V*(yg%k#q!k`QrLyZ_HaTxrA`>E`h& zJH$hzEH@1)EA3cd5{!hXIiHgud|(MK9*s*5NsHA;=usq>2PPp#IPN1;Ids3JpD?EP zPSX5Knx$WM?gM{RG#DWS3ChM&+)*w3I1yw;1LgMmDu2E?aY zj0!-Zb~YUoG-)4J7xHgd#A;kqAp~e0p*B|ja&C80wZe!sN#D}2V!0L%+O#pUjJCUW zOZI%k9SQG@YIWU>z;#kxXuqI z5uP*l9Aan{8*#5N_6(0tNN{yz=249r(`Yx?@|p3jY2%*IUSX(kJnUAwH$H(BCL2-+ zCD&Ioh&PjGqpkVkRbqjB3M&ceiUdu1u@HZDe5pgxWpTR!O7?D%1Mo|;S!KO-xwBc) zfQ<&C)<`s?=z%YjaM0PzbGO2?!IiJz7bZX&T1|(g1&84oq4#@bB z&DpTt#~u)Tb-v}DitV%NiW#Ocz`%l58U+lz@~o? z)wFK~Y*x~(BHv(nm7BH2UUyn{u}q?Mn&pu7-S@scKuL{&AKy%sS#J)zFMdo>Qsl&ecQSaXFz_!?JbS;{pPtnW)x!OD26KP2Q4Qv8t~|$nZfV-V$57q<38)Z_q zqD+oI0{~jZ+0(-eNZ2p~^4&0lgI1W;YG)Mf?95K%u_3NU0q$BnF8TSA7nZ4G`haZ{wU~~(a8hfue^FNF# zxd;x)rRv`_G1R($+PUIxQo`5EF`B_7&Ym&H&`V~)bzJky@^w?laiH6rPh0ZsG&3w z2*?DulKkt_^T3m!NKv#au3QLk9^KR3-}HPvz_Z&Kp8fgVH&^f8esG}4mF+0|-B zBt}xInM@@jRL!n#W}gyH=bx|s3PTC&4^=5*DFaD<(1*WV{D0%>yUY243Y;i3UkHhl zpRVSLCl^0{dvW<~==t0C-&|f?&Y4R7?S#I=aV_sZ>U2gpVq8)uebI$oh%`!f|qf;OxAdsSx-aoE7ng-}Q+3E~-|BpT{vE(B)D&y@1UXgW(_ zn&fU8)kx}H>3^*mojF5wl%f4_Q^&;x>e!s-JTcULS3J7v9!p zUD{v0l+f@=eH~tOe5RivsEpv`BK&Vw=iY4_RTwtvO4lT@z4v%ZU3tGn#Mbg}Ea zOBAA#xY#2u)3Ef_T#01seu^%Ry(t^uL-RM)jkX4AqzC3T8%9jiIHhL0wPW*4i5s4Nr_svN#HgD zkRVCf(0>WHN9~gZMHKOyD?!zz1@oXb)Ik$7h(Y67ktDeQgmq8NdO2cRCue( zbyWK$%eN-3C@kk8JSyW*d>cmjEbU%m-!`wqf0xGH)4`;{0z_51L$rU^fFyTf$QKS# zIDf1eeKXMEsEBq_pc-+x_GX*qp)W$-y>^g~ODi|+{OP^OAQrq`#C5J@~)mb1o20M{YW(k$`iF zehC;^z$$|yMF4dh_~Vs{%s+JwR*Yw7n4GDTG3g z19sRVnATCu#*Hs3LOSK6fF9?#bmTa}8ppw#U$NJm6*r*?gm2eHbWa_gk9T%?7sk2V z5fXzI9)<&Fcg_pkGmE6r6w7j3)Da^$o@IEWxI1MiqLc&yR}F#OdYe<0kQCoW?1_5*etidnt#|6P8r_=fiGOjcFlt-#E;9abLX4|S1S1cF)=rx z!xc_;Y3uyi#|96hlGS6N_!Z=~SK!okZ6>|G@b;bHb+`J-Q-Z=)lgFGA`~WpShLaqO z8OMllIoeutO_S_Cgh#p5=YrERLTK8TeH2h!)uyZLWYXfaHgFlTPw26Ae18c52_R6( z7ua5QPGAE$grp?-(U=<(g{;cBa-S6Z238VLE{0GU>{1t-Rg<91(?hn-O)P(Nv#J+i zVaqM3Z8D47ye<~!g;HJKo5^Ak>Pw>as~E@A(beJ!SmIFW>AhIu!efbxG#<5~$$8kd zW#R7*8I8Nt4RNfq8*{tOvwux!fat^t6%2+T34(jTaVT)Zt|#-uUJ3#yX^Z9M#$>g* zG`FDYC|E->Ox5U;he9#sqEs1&7bv8*-Mtm4?(GSMxM<`5Lsl;xYnrGjq0kj_5W25} znsBU*i#Mk;3+*kFf%oR5gWd@0^0x5#IUaQsY#ATmPubEX+<2SQTz~q6$i5#$DDIzL zgwDG^OgWh$9d{bg*29_h{x{6D5GpB0=i|ifS&wy$VllioGYxNPZq)jf{8_!beyE?% zlzr}h=j`)({|0M&P(H6S^K$veg({P(V*ye&u5``ALmC-e?;=5=&H?Y9uJxDNzsZadtc` zJEoS`XM$yR@(mnrH_7#HnI$xGns=a0Xa{Y0?}|b9zpZOSS6Ad!p(z^+V9ukil!;eq z(0Og@M`MccXYai=24IS}^5=NP!B9#^hjv@+zIYp_2Z4C~0)M8l$x-uI&Z%%H z3^`8on6QqdE=R0_tY3vW#Mng;J-v_4DB(r@e)z$ zy=&4ErQ)qF7=N#6_oEgS2-DW|_Vevj^&yeyz92R*1o3sK_?(77SX;aOCxj4uN)ZvG zJJ^QII-j&xV%N_vCoL)b7sfZos(%|eEStKo*?lV6<(z^42nNHtbP&Jd+dhfztpl7* z`uA^p?hYuhZRRg(dg;>^EBmyW`Vh;wCl68Vf2KqVIDa16E8lCgDmRlp$xM#@4Ksa{{>=X0RWSc)D)M1QvoysH!(1i;aMnu)mcq%8#fTW>sRpDUbq|% zIYR|UEM}KlSa7M}oiVOymZLf)#e8ukN6bf8i@jGz zfo&o=qGSVqaTHly#b08v33kL-pShR_)nyz&Ibc`7C?}i2A|V@)Bh3Ya=%`dIPwZld zf?2SgAEkt5LQ*w zF5`$Qz~C4rGH`VqO?UxcEP0kCIGhPu1b;F*vw%Z?F;YYvYk?M`VAEt)aw$l{OmSF* zKWTC)+A0;77$zcECb7_rpg*{8>BAr!#s(G370U%$<^sE@8K_`qH4A~_RLo2T;G#Bz zBWko6>|9M|qb5LRGED-QXsMxK7;qh-L9W4U2Mimba1G*Y%o+yZWZqF3nn1!_O}I$2 zY_kP_j1gDc0<6Mbm<1bVyjs=%b7GrGASV%`Qc?^cDnUtM6SWo$#4zk62c8Kekaim9 ziC|a3?jprz@K4!hu(N_2fo@Vjo4}M(KsG^1sRY-91*K+N6`h6%RTSWd91w$i~&D)2#nLCoNA2n8!@r7}A?nKkeJ`Z9OT>&uVx zS#!Ev+|3tvx1d@Pif?AkoB8eX>&?~twhhR3>ec+i_2skWH+LQ|(MnL`#SB~AV6EA| z#XWh_ZvWh!=Qgh2xaPOt|1kBuKs2e<2e`uG>*voG_uw;}?@mr!b7rQd8dmGhh%7o8 zV*3VY^ZI6a^>%*e&LQ~oGuOPEf4g)4?3Zj-0V#hsKiWYo929Blp4SbQBeGIlzadbl z==}?V9FBYp|4e=U>p}cCPZx_NwmNr~-AxwD?)Ka`y2Z_!w_o4iweK&l7k|#0XUm%p z^PBbvx@dlCer`_BO{Q>RLR~?dMAat*338dYw2-2B24N|ykAZ=E+LHLzH7}O$mJT-f z;p%_W<(Iqpjh7#dnMuSTtv<8ea}Y<&4B|5~2P=8pdwa#uhhmtEaF{UmI*zc%VMhB% z?)eC^=ExYu1wTASyWl-BIw+E+2$$NYLPt|k{sRd(^{6G)N3;l@TJclpT?HeK&viA3waGE+3%k@+dA)VEKsR*n|pJaS8jV zx;Gu939}M(uJCzAk}Os;SN0XfC_}m!%fBZEc`JBgC^*(??&8_J6JiOa;bK@^Bsm~O zbiv1_h>hHNe8R~6`X-OAZ!-OlZjCH`&C@W=bLnZG4{(Vt_>szP8#pCYcIYccTrq#< z`tnGvhDB-};&$o@8IAQg?xpW_5)R`2K~m3k%H+++3<(Wjg7pgS39cFCl=YLA)XVPV z{oBQ*IBE58;aX+vYn1R+IRbHfb!Ucu4!P{_P`Qaa83pJLxzD92@*OF14l&- zGb(p%?AS}jIw_}1|0}S ztj1IZf+K2p*kl-(B1+%K6uhr2kUfLy1mQi@*GLJOGHr9V3GTDf_q8(G*Gf4cCv?E; z$lY1wZ3Cks@|9&&;oJ?`sS|BYJyL5NMr!S~0)Hbr;cf*Y4yBC1=tIs&T?YEx6{@n$yFBqKdrIr9= zK%Bo};9LWWV;%_B>b0bSV1!wTc_26|6qSMCB))FB$Tz541#m_;Fc{2L!1LsP#dO#E zcJ+vpxFYpkkw&{B@$k^^g4fXut-bv~K6PW=DUOdPEmEJfI+nB;4v60_c)tbb~j)$iAMmPv~eSj8$N*c~k)q8=5weH0N!F5LHl;MH>R z`t-gY`5QLnA!Z6?Ze(+Ga%Ewc3N!%xFiXL%>GvB;Os>ysc`D3bJh^}Ws;_2_d{xrY-bN(}Y z7s$ian;|3Yk7{Mrzab{_*a1aNG6`yDzmfRB07|}>$F_}>X zlgxjVr0e7^tW9WxoJNRnQm*}NAZe`#dn3H0h>MbhG)M?TtP=18#;o2(O%x$TL`@`c zmplw9RuRQr%LpWSrL$LEYbd14-`CwMP^B7zkd{LGf1amSnJIz<)sq>RITFOL_By?u z(MV3Sy*b21l7-j5Hpz11hjCHF%Z(2krEFtwNNm%bnI5A}uW$`v<7Ej2rM)IR;SPq**X>m?*`J-So|I zXVRkEjGQ2)huCp(zmN00%L0rbS$o^RZ%N32z`13~@3ZvQ9KatK?e|p95su`=wzMp~ ze=Y4Owhz&;rJW46w8Jv?x#^_XoEMQus6wjvk$b62IF;d?V#J{w zYK0#UH3&@@{H1^_X~QESWcup7=O~WYQ@{loq^5gPmC*|>*#g&0sA&34my-}sat+nW zIa=$1b42(F)sG;R@OMv>t793BNNqugf95>GP};diUw8#S$B}-PQ{D}C%2UWOhzQYX z{(2CLC>WO#Js=om`=ZAvl(8{N(orH2gVNUJ%tj=7li5Ot3m4?!QPn;$?yb!*!tB!8 z%(H0udXE@ora7555S{$^Ong!l;o9;SiJGkg-`&2r_rtt6K;6=v*r*_2d@=w`e+RS2 zBULEzC$3ODnj~>%ghypB7@t9tAS0j&ShUg9Ek=o^lj%VDw{dG^{;k~2E|fP-E_+kB z@;mprND2U&Y^S1ZeLm#?GAO+moL%5!7%3@+Veg9$WZE}zy3xex{_r3PA`!V9ditbj zvHW8{-xQ;SUTeCd%u*8uVZMR7e~Q6F)G1l^v+}b-oqSeLmKWdMk5tP;(YNcwaMZ+b z&%utA6+H7ESAaT^(aSNcAz(=Lpe=xua;>MwrR$)WM>A{Sh1D=Br`wcimd?r)#h6pA z|H0vc^*aM)3NcAf)%fU6Y;35VD0l?$S($CJgH=}kb#Whxb^*>SSR1pwe=QJ-YLo0*dr`E8IWs-9=VppBG=CJB3D9vFQZYAYxy|jmOZ8hn4aYI0BVS_ zi~IAjmT82E8U$edIDjF2f5}J>1n@`|W-od*(vn;bJ7Kw zIo=v6UKK&_kIQ8zei)QW;#ml~9rZ*o>QME@gq|xnp3TJkVHAF}R=pi;aO&W(4X>Mzpr-*9Uk?)UA~~ct0i9AJE_EB7E0Zq|$--Ty zavHLoA6jAT+1BA2d>VGeCF@5HtSRdFQ5tGMI(v+ff;O0+7;=!l>=wPg?5Nn-i)2no zW7{*>_gA_9eVO^wl~t0)g~=h(X_%ecubgs;#7Gj+R&M(Se{>gz%)7RZ)wA{K9*QA+_qaHd*4ip7R zoKloVq#XO-ck$rUq@~75o6h)R0uZoR?C!S%)|U!7SNr7ik`syMz0s+_~pk=lT$r+V#@>BgXXBb@c7tuGK}6?s7M_j}L`D6mSa8 zMKIs^b+MheK5lhh8h`CU(-|Qs62htTk zR?DpH8KYjg!nY6UHa^_B&JL^)=gSM|aW<+9p%SSuYSbyt(}p2MqWjvUUX$28va~3@ zHY-1&GIp(^^^WN+b&(v>{mj~OMkH(jcIucE<{CFhCWAL|vVVbf0$i18>jLORZXXyd zjhD=TR{@5c{Dn1^nVD;6kVv!-7DY%w)1S--L!y^DPb!I166hP9d2@E`BEd_PSF1m# z<;Jb4<@nQ432`gBhx1$TkbspEw;(RkeC@_oc4W78y^W5Su4RJSKI1e4+kigYAi)fI zi&_htz6oga)PL4?rj^-)xIGK^jE7=*AEyTcUWg_tS@3z|5N41di8D3@gd5);jJ?fh z?HBV)%lMrYaZ&7&G%nMdw7he_#eRvOLxOdBqjNWwRffL@HZ1U1j2qB0?B5VW7U^b*dw7@`wG9GsWJ9K?PoS#V4%`@y!6WZNS;d%1v&P0OSnYfx z&fT+>H&`ccaIZ8BJEfsf=xv;rX;OF@NojMrX`48StLZL=_3Tt8UmbHVf7JoRZlsKi7tTRM8g)}>jg1@FF!G%FS zBopo(q5%;E6;ve;)fwdb=dG^Iiw0qYM9mR+dwYz`Kz#-!f}{D9kC=oB-r0KaL<-lF zvSF)8cF(dM8488Cxu{Gb90&CQQ6K0NL|cTNLIB&4BS0(Ji*MHEy zK?_cuh+?mk)Vz6HLJ-rS{Je7wOETF(;@J$^BLWQ*L`1OIS$@whS(USf%c>@L0uYlH ze*v?16+u1pW^dm9EpgGlMR$z__{B~5K0k~0fwaZ?Bol1m$&;}gJ2N!j`Dh%mEWlbRYDImHi59T7Dlzu2)z(|~w zu2@P;fAstdX`Z^^{^~C4*tl~vMGs{Wp@bHmrMWk7c~50`H#X+_1~coydf^EFloRtWnk-gWH=AX18ai z9icj$#-R5gk|-jSe}NO1dc=)zZzRz<_YNjbx=}vfjT{m%jk<2U(tr1(yW`Ih7mj|1 z0qb%4NC)*e^%mXk6O`fT&6uBX6K6*~>{UWTd)SUw(|nZ<8k$B(g|($$zWibEMHXJu z8^&XyA$91%vIXa&b&!Cp8B=OB3Jkj+okFv0Zn3AYpLgFdBM?mC&Pcl7kS>cNUFY5K zv95VIWRz@wmAHFM$UNBpF=#eVbe6dmq<>Hil9i8`#a%D|jDMns>sXVDzc}OA&py}f zARgOMP$U(7q&d*wvN!W*e*+WfAG4PMGyxNbl4=3Bl4=4>9s@NsIG5pw0u=)@H#L*t zStx(4RA*R|Th^6c1Sx_vffuAV0qG(&^xgwV2}yuZl8}TFK$@UZ1ZgTokdA;rqf4uL{~AUL=ZU;~E%AUG6|mIkC06&0!Z z0ZkMdk3qP(;{YKma~ok%QL(=)XD)yX{!fGuiAA^}0Rh5?AKVLt_J$*I1d9JS&;kwz zaPDxx72yR3G)+ux^^A1@Asu5YKnIS5V<29DsV|`wC}4JRvuM42?njF2fg#K)U@^ff#^+yFoB8 zFE|!UpdoOdP3NyZfq&^9f<}Ace@CN!d;PNp1P%-La+RQ#k|yMY;t09j5J>8)XUn38 zbVUJDl7HA?zUV(OKRD+1fP~I=Mwn0p1cpL-;Q<)jmHMhN3P(r@2>oX&OZ=A|ivk;e z`+9j9L%azK@W&$q5MCJ+Ut_`?5R7{nXlh5t8!e|NNj|55Be`2G&- z;UI*es3YA7!iY;rOGy4ZH_ ze;&?wG&E2FK#;hc6d*2rO&*Y!mjM){q;CD2jK685{yG~$a2P}YU@s{lDJcaI{{Q^_ zb#nL{jTRD$f}L%S1rCCQ5ti+rhBFxIi@^{y{(b)mP5*iRz4mZ;031p^@eu`oy&mcD zI3o>L$&%gk7G&SqE=AH4g)XYG%+C!gN414MzBi{>>U>-gCGlcF>7)_=VIBQzNnd2S zulXTy-p>P1~@E3)&tvoF%oBleAu*e`{v$Sa?j% zIq>othI0ErIP8jFZWt5acl3pS5a^@o1mW^_WM7i*FUSew{-|9mJka?A@Joi_B!Gd(3`_z}> zi|e_yISjBv6KbUAvb4|l$&v8gQy+{<;Awv4`o>0Zd7&(k?F7X^>2y7*G`JVKL#O)K z9J?2^`hvxPVe2GeC`v}@`f;^+r`$Z%ZukqXT8eKJfXIl|g5Ty(VxzehmQgc5DR(zs zUcfp%B5nW(6keXPJrb6G%f4xu9w-#g8QC+b=B8&bDxG6jvM^BnT6yH_cj?RL9BN69 z=G$NOth^no?He&YXQJRaa(T2d^dQ1+hHHzozWsq}4e@lb(sz&d)u~mn+?J`NLTz^1 zwLb1}tyi}5%^iZaY}^7us+M(+c#qB7FGFzO!fXAwko3iy99l%n1AP58FT>djN*vtR9MkWhbM( z?c(001_RuWTr#GA+Pw8>moC~_%}g)^k~W=FgUlK~ze^TS=gCm5maD$up-|2gFF)r5 z)!ERrH8IW|tqmDgqBcDL$u5e^LD))YBXra_PjOV!n%PCpD7ZxvRHq>Vj$~%nk&c>S zx>U(BYQ_A(hABWLv+73S*Y_I>(=o!~T;7fD^Ua*OcnjNq4NiR>`i2%R=@_=QNp$4T zK?5QDgXHOi*A%cZMqI*;r1t`>?U94b} z88|Nsc{btkX(msh`*Y6se%P%9S$`x$Z8eDq=N$RTPq_9ohk*>R6SFXpKO=67<+faq z53KE(jd^f?(YVr`UMX06by{q0-(j)-_(-SNRGdqCA|=C|tjbF%@_oaNR8^Ww6FUQY z7+e>Eu0#`?4ZK#`)w?{nIw~?{@ja+U2-Npzrop4evK8AYXBSUDf6KeoDQrP0 z!JNF0Wz}hz$70*}DQ$O}1`$I9SDAHadxjRv1W0v%h{<8hOgAB4`;GL49}A6PbkaRv zTl~i2=({d;fhIjS4ZpdOGIbX5S%Riu|fMAFN*7ux9G969-|e%7s9p&DKB5Yf2CEV+v%hxp=0+pPaDlfU|6lgTD}?G;-2hkvG_dhPo_38e$=-}?D( zb=QUgYPbR9lV7oZ8Wf=w2x0B@>%}bZoo{}BAkojg*ykVyAF5k4uGQ)*M)4O+L9eH>Ra8-P@CvwdW;TKvNFv2&hO3?EAPGrkE;xj7&^`Zi& zFB*G5lVgv2th|tkuK1_EnunK3O4&V!!{)uM=W}O zf&2bKc#goq8c$PAThX?)c=UW}9srZ**H~mG+un6eEn&NH@GF9miO0WgwWTr3*>sj; zIL2L&spgwbO0HzeSZS2<_jhb6my{E7AF}gm(wWwpqgTdfZ?de&SFV7@!uo^w%Txy# zyI&ZiX}Cjs{cTuR>Ucp)97}9p;tPU*q~K&!7a=C`qz3Pk98}eQq!!g=@uPJXov>N1 zG3?a3qo7CcuQfi|#@_qRHDO^Dz*PMRJeJ4?X0-hQrPxg&HY#d&(Ldz-#W#MHXJ+!2 zexX2!)7tXJoU48v#$w0)$YUX2+NhY)3)^)`OU(J63-6Ri6Gvo?(dU(FSW0C(LWRt71Wh1+^6w5s~$c2Qz?7Se|Ke6 z!C<9X(b%VZGJHwgSA=uTTK|cE3I#nfSf!1@O}#IrO;vlcK7SXKRd5bDhj}ZP6Z=kP zfjUIsWzx0Lcbip%9$ZVo06ScQRFSnS%!*OM1-WwBTu6mV`2{X*>Na*L^5M|w4S78Y zg+7av0kVS3hK8)lk;+@2+ZUvA?t@b;WNSzL?Swd66rdmFUp=GK(^6W0<~zRa%Q6Zz zoeU}-X-!E{Bn~RpVLdT?BUf}xwc{T}>*aacM1l>EYO zGw!*HRIcvI+8_14mF2;a6RH$Ksu)%vl2tWNF4a8dD+=7W1kk|8!a zuLDT&bGu&+7sPIWLOgUlq9c+c^0-aqJY;n$`F^$3o&Ge-uLD;{w(Kvx+RzC1KNMV~ zRht^P?i7D)&x^F>mS}J0adTy(?;EdpIFe8>PHx%Z;P2Qg^m4Y8^{8ah)wm_8i6?VD9yT@?&EUtU5}m-OQL#6J_y%wa1&en%4n;S6 z=#x2QyT@|t7E)$<4C(CAzhj{~ea%(V_$*2fLK*8#FB<`5J*jreYp+{#a=Xj@JdIE1 z&WN8tKu5YG9n)jpY+53Y-bFEpm64}g4s$jr9Nr=P@F=uXzug7Q5Z|HZFu zkIP=m?HWw9Z|F(se%2#z_U=d`u{wBFwu4s14i`ygZxtA4$EvxC=NR!gT~xiPU;p~K zVT{&myiDPnVM^<+^y?Q!l)F)aI@X7)6&f(@RAxkx?j3#I4YR` zgq_rX#u&cdtnx^dQrVpl7;4eKsx<6=7*5?GbVBu|m;RYi3&>(T*tWBx?pCXBW6_Uy zuP?C+N@R=?=`1@=upTZ)>iOgr_BZi)vRrIX9<(!8x@r_h*+KIynB=n2EO^!3zCg09YgS9Bp0PGv-z+h>k)x2khI7Cjn`58NmH z(`SNGzm+enP;8oJz!|?DMKIgVe{f7J%Fbf{HPAJEcL9E$z=7*lF23n$I7-ufmvr z+L-d`f@CREq zM(LJ$I2lS>)_W=-I2DI_kVoovW|Q@QF)TxKR(rC^+0OSI6D9P+yy4AQhG@I?)y(re zm-Xg9H9HL+G=j5s;@S0Ozv@WRI^+Dgtz{Ymbgw>8ClVP8C-;)qN-`aHPKf>TXe`=2 zSrAFVMSrPd1x=F6Yu4H1SCDFu4(lbQzdrdi;(2l&Bc{wic==Pf|0q&Xq1r5eoKhZ` zs2!-Ads{k9`(8!hL5T#nRD9t+cwNk=jI6`ScUB*~%a9L~7B&jFTKN!tZ@sF#zeR&2 zFdm$E$H<^O^jP2HBFON5_FY4(9dgE44u=cGyXFPgVtQ^F&Ec__y1Z)9=H zR`e@7X+I`OHYGhhPOxX&D2MxhqY)Aw8>H*wd0GKxviNotqU0Z(Pom?*l`L6lS+i@pE zh%tjw^g{O)=Y#lx0*jRFmFWqvPmkVP&@XYv0NYI*xNmPRr)@KC#7I|vew(VYsy|_K zJ~{NKbs%x6X596+Qy&v2@hfe;Qm2x-e29oXgeZWEjAoZTTPR#3rklfA`RN{YEq1=AOeVhed8;<^wKqFHGh-Y> zLmseoKuu%Ab_}8u?EH*>rJD^O7I`l8<8IDC-VCxu&8@pu&o=AX(B{tl%gwhVOuo=1 zg8PJj*tn}H88kI{f?XH1MD05Y$W*+$v?qmBhGsu?ifYnbJX#+j&&|K4esi|^c@BF~ z?$4%e*2<9(2Wjs?qtoX~sx7v&G#}pB{2D)3k2s3%emAqbO%@t|%gMiyFEf+)O2F>M z+vzV1&ywY4E!zwrt9}wmo|WnX@_jutOH%X ziWgA?v)BFQagFolQ|3h*Qg8!sCFXK!AS-85QqgSk#VN+QGLxUTmpo3g`=-X}F81k{ zJ7gi$8x5BpWRB*4XKA0CBtB-{fx49T%fv_CpYEz>ItgaYx=sAV{G-<>(fih*Lwt9V zpQDAjC`FR`H}hb;^=)c=-2D#<&sZ48SFWyTvo}zM9QF|-olL)lPsk;b>n3ffv8S^u zwmTRveO~xf8GM-^k0z1ikc$<3Je$TZ=YVTK2NAu23msg4fan042BG4<&rLaxx`0PD}1(;Jhp1r1ii66 z;Vqxa?ml2=RZnN0O;BGpl6N1)^yalu2#%RPjv0`851y_gqK!A7EPC8O5Zas5@Dc$& zE?E{6u)|P)GZv)3T^pZa`tCtH6c`g@qRPBIa1?2+9rwbr+RcBJsgM*rgE+F?(hRsc z!l%1oF*;1<`Bn{?A9kIXc5TX}Km^00U=(RM4!&t8X{5u8dU9i1@c!FMD|zuMb@tj# z=yMub5?y33XJ!aOPr6&Po2oU7VU!%bi}Kb=?`3rKdQ(nwIE!746xryXb`TQph$=8 z({hh4_Hwo>e6=4_j&w(y9>m6daxTXl1olh}J7zHOd^q|)M7!e-x4WJK>9qqlH8Pjs zhyoM^F*P+fHj|+OCx5NEV|b-qvn`yC?R1>1*tTuk&Wde29ouHdw(X>2bZpxlfBn4g zxA#8RKKs`>=hwPtjjB;KYt)?gTGt{YQdFT6GPO4bird?{&@s_7as$+qH583(Y>Z4T z?Pckd?QM+!f6Z*LWMm>vKqD7Rdpl7h7a%u41852m1)2bunSTLHTwGkRWB?I+2TvzU za|;&$^w+Alv z082X)8&}hR3ixX`v;S8?4o>!eJ#7DCf5{Z>on4$woGcw&0DrS8ii-ccP8SO!mw$3Q zTmFRs_GW)QP3=uw|Jl;Nu)j2aQ5PdiJ7<6k(8J}QTz|$ufT^XkgN>2r-`s!69Goow zRfemxrJebIRX_`H0-75+nc4uIo&VDO<^HET|FuuR|FU}{2L~I^e?{B>%j-XDuyk<- z+L+P9GBN+nY2xxXx4ESqEWax82m$;Xg1ppwqt^METFmQ2i~!$kg7> z#uH!)G=GC-khgdFn-W0zf2K11|2vWYA4vTFMBx7?^8Vk6``sA?Roz1)Z(r- zHu6Tcz<&h+{^O1T$O8VkWbFPoZzEev8_)mA|G#@`0RLU&|41X{V)VBaLU!hV<)GuD zXXRw%`Zr+dENk)!&EIS zO|0$yX+GP(A)uY`3 z9e+l8MndH_veSC{QgctWhwvoc)jF!M&HM0E!Gn7~Ft9ZDNjiwgs4?0fyw!*{qU z4c}`+>6@mxKifT*&Ky1tq^S?b`o7yx^na!TuL|&dNvQe@Q8vjtIcN@p81zdKGR`%k zy{{K#x52g98PyMWr<9cSOWq;zr#o4kps$~)0!Z8n1JFsI91#6X(i-A0x{#YdQ0t1$ z&dHNbo}Va&#z#kndv7874{&L6<6y{mj4=ID&WMs-JPn;58cjYSUftN@{}?AQbbo1- zw`X`=#WawZZ~K^m?S#QjVsELa)QQA)u_*Ir$=mf)5X|ON&j0P%6hmWAiZIH20UUPW zoSlqw^*mSsT42d_-PtybJEtVeA2C(0n|aLyNwgx31mEeMqxt)KF^AX1wP9!Tq#ke+ zk2pycp*i9DX+3g;cxuH#_RCrYJY91Gc!Od z^bhnag0+(qre{cb0&rG{5q9r!p(o-n$WicshuGq~c-}#aoL5B7xQE|azo`lvx=_+* z(@+MEYCSM*+Keu0=)_zCpWs!Aw4pl>G-MNEr}q-&@1?<7ZNL5DN1kQ*;gv+z#O~!hgEE@hnrWu@)$L z8t$O2h{X&^Q>I!&affEpIb}-fEb+&T*RHJ2y$}2c8G*9918O#|(u%Y&`<9cdW+OWk z>lGGx;~e=}aE&#j?0Y+1k=$kx8r{6>i0lY-WK<5iJ2S^8z)vf@iR(?Hv~6AD{I|F- zE~0Gnh*1PViEvrl*M9+L#%>4$X)!yW1aeZ9{?NSE*IB_aT`=1d$cnEI-rr%M{jN3I zAAH?<1-3W=R+MAD)_)REED1Ha?F^$`YB>UZ zyXt@Af!M{SDQ+zaeTQS4)2oEk)HABOqMJUt-P#Aq)MJ^(nNrL;nWo1|k%l6YVPiBV z=V#~(G&$=l@yMup&$t(jW$$!Bw(*c~ho2|`3C1r8W_X!wQSW4)^j_-e7WRx$Thx_A zMi3qP_NUc8ZGXQ8?kJL4s`0nu90_RP-c?2`a+m84vb{la_b*0rM<*C`H%KF^Z412l zPwkICD#q&xKp`9+)jp9r+Op3l2`Y;6&eWK`DAztZYNtQ_G$qmG#2svh3$iAEPCJ0T zA|eRQ#0~Fiy5#O;U*af`3lV`nkA*CBnLg+e$cEOVFMkXps1U%+26rYT^)!B^wxE6v zNQ>&|+7*x^mEXOk-Mj=?J)^~*NTaxhQVa&anLnst5k2%R2qIxox+{x%r#YMjE`!#y z`v|17i+ww&f357bjBpTVtO`)XRycVf3JuJ3=^WVaG884+h~B3<{ZSeo3S{l-CW{Z+ z0ad&#On(dnPlT=&65ca)_^7U_FIz%EntrU|ocPd>s$OsI->L5+3v-ybS9@1%&RpI8 zZJ@K8zFERT)1NAfp$UNy2{O7+M6cd)Jgv~4l)A33r>c}x@R6B7nVWzDBKhqT*89x&62l+ z9+6#nGcd-0EMml|H(@WjS%w3sm$9o8^*v|gVqL$DO+DlFX>uUS(2X#($4xKY1^(o+ zBJZ{+#xzX~Jc*PThj~tVDVV6J&r=GDEh9ps1n*~1U0AHLDLA8B;$zHpJ5(}> z#Cu#L6Q1GhgSNiVVcmuGKxN(Typd2ELUjyDDcCD7Ms40U&Yn^&M1S9*LuDwzN135^&W=0DgJfrLx{l-IUIXN-2Yi!J+jV1sA%gp zj-?P&GfmEn*KtQyVaTsGbxTp^WKicM>UHeD(qmh@dp|$*9-3)n#5@bwPyX%i0=BRe zGeqhY^k?&J^b}SNF4d|h{D5(6LqXek_Mi%hlS?2S1p1t`&QVp5ED zH$K_;I>Sa$_uK}dFNI|*+TD9eHiz$4|8gj&#++pC=sm@1{-p6&#B5wgDZQ zu6Ib?MrkraOfC)lYJY1-80g+GE_MfiwpBZLp+&$^K3|3S=?4CU@~T zmJROMX;m|>SX^xIyYE`X}d2hS+xF|U^pH*32CgT-7~b~5k=w;I@K$M$8%);K|5lK1U~MVhmU zv7wp{*LqWs8gFgN1KWs3pr9=&K4EtvEu*w*cB_z(MruvC1+wq*2U?Krn}GN?pqpDI zOCXI^ez4M5LVy0`N+-Jrmwm55wT0~WpF*}&_WuzeSLphCFDdk;}4YikMAT@ z&XW90v}^q~`6eJ~$zwXJH#ss9;+|7N*ZeIhEF2=XC=E&})P!i|jUi5Kon#I|24mRH z`jwAeahiILgCJb!rkwmwJ|K1$3ail41D=o4p^qCnhJQ!6Gn;px%Z&t9lOC(x2NOvA zF)1d{y^KAL0?hcPX!jAcNl*RQjGejRZhAxPzNhrV5^}Ytq@3>p@u&s?-#J`E?Ds|%*<6}^f-ck?&l;Uzgy75LR}8wjTAAd3}B7w0b`E2@rsfhp9J{^TK)8+1x2Q4|98(}rAhZ0U=rS#=W=Sk+LgqDGu34;q{LmaH-FNR19635={U3#Vf)yHzU6p{7ir^d z=t0npX)8iQo(#)_{sA%E42^Tyl9a`&W;JGwX2+o1JXN>a|OT*USN zQtYT-2$~*ng0)1Km;@WZAQ_M}7I$wh+y;VzQ+B0u<2zGyT5IHJI#|`8GX;$%e}WST z$>|Hpw&biC|11cvy{$bYY?zzEve^8P=wbZUvhrE*%^_zK=exq|`tV^h9@W9OE`Mm! zeHSe)l!K&4|D2CTF0LPX78`|sOA%28l@%oDvN57gF^DDM` z%IAs)k(5pwUFYSXbFUS40x3+F=YO-$q@^`>KPYC>yklzHZHgEOig9nQ&PA6d&1iO7 zHa-%o#YaEMY{fBJerO+1rU;}HR1Z%xoNb(|w*c6dt5-0?xu6uBUp|cBJ4s*JO^lI^s&U6b{?k+vk){oHXOWM(IX`wy;2?$#&+54_E5fq!>Xit#t4 z>_wD}qEb<4N_^kS6xX(@xr*eV-ve|ryVA=9C|XmQ$-N{uKP?xZK39*T9me19&vuI< zS~I%%Y@{Jk^gvawX!!cvO1l%E=<3TOTrVN+&>uo3?j*Ey?8y>wKlgzPR!YNxZ%D+F zLfrIYjRM?9qs3BGQ$rSrlz%z-wR=v7RyV-2$Yi+CB}FiC+|TUeqnu}%rjFUidti1U z8fRg7<9-)w<;+XrBd(A&cRV)IG^NVPc$g(2H5t z(d?$bDt^E|ZIoaCbV|0^gZ_5^n@VbUcCi_ilYX4pm)yI~;t7iV-tiz zCJS5|l_vYlYv>$ikTyn&xb0$rDvirZ={ydkwJ#`-J_Cm(!-zXz;8`|tE_5zNK(Pi! z^sGfZxw^4AhE!@#^Rxk~**gHmM)*o`6f?iKUqV#I1@6q4h4fFcY@gHgY0Ma-Rto5f zi=2fgGhc~|y(!$Efqz@lja0$-y@k9i`tRB_sWHz5liuEI{ShSZcqQL{{o<)oX|9Hk z_raIVyp%_~s#ylBby{~j-{i67qz=Rm-fmxsF=zD_y^p6BL4e%aWk%`*@Du4HcYjZ7 zsebywgor{6$*39oMDXxKg?!1KR8iQg-{(1&iwv^j8SK*b@_)vKf^rfB_xa^16@&Q# zauu5`-~<-eb*v)j2W6YCLtVhPt~tUNtL?nt7AQweO=82K2YE0L-%y_;a_N zzrTvIfA(ZcS)U=+3diWN^OJ}w*j~D>03E-iB*G-i>e2(sB7 z<3@Qh!hd%r38&ple>6_3L{1G<|EaaKWC7WT^}Rz@Y`hwx&|tbks*wOU9$tc~X%&xn zm<&OD_pu7xD+v7Icm$4(@+v7Yzmt-M%fKJ=af#);2lI&H^;m;2Mfe@EbAR8tY|r=E zGDvt--M;r@KEa(ltJt<$P)V~X7dAG^lymc!n|}w@YNWxB%dfT8>*pS5Wnyj&82KYm(HW6)0O%XIH`W6}~#w5_IMEhYFH~!zV-teHd{#kZeMDap9ozHh3~IvMqZM)#W~JO8_{~1RS}V2>UV7$QQX=WO7Sv^KmT~ zI-8TzDqlrW`INL1JymbrXjq+F#E7~~5}^$mJ!2{o&gCDpZyJn^haX}wQNMe?Yd-$A z%|mF-OZ@ye5^>G~O#h?iC1+z{7%j1+DA9Q$hDQ-I7Iy3#-9X@Qma^oFj0BmQJG(6% zbTt_r$pNGLcv@AxhMQnh=*hCUADQ|e45ejO;W}P@Ken!9?zoEePm>?vF}#x;D2A#d zgL*VGY$|UeRwk>9^YB3YxT@ZLc7H#v^!~fnZ>=vA&pG%w5G_qwYp1KcZG3?rPZ?aP zWzm4F32#f~#nPYMpKd=nH&!@ScRX6YtKh*mwzKqo9*qqZ)^HQ_Ly2tJ0zC7mB8+g&m3*lD2VhE&^kblY2Ta4V{ zh$&b#_=tbTD;vYl3}(|B3J7c@geR7AL}0_J+A{m1?41phKi;ZZ$gVH|r&4+=fVK3X+--_s02z*Ph`&iH-$|F@5jO zsaX|e#a0bd{-6=PQ|<1TdVg^o?Zir&n#*a$lA?E07zyl?8KgHzGoZBAE7O|T#^YP; zhq)-zj;mnuCl0cgDXcE`jRY)khaBU&J_Karv59F(LS>;ohRnjY+-PR)N`cZkKlU;h z3)XrSjmShk^)D(g#sJS~p_csCuDyLC#tBc?G?$;jMsc{@%BgH{ z9dYPHi{84ma$0esgS7dJ>2OXLZBltt?mS~f>!CMVXLzGvSZ_w%1V@@q`$oSI+%voa z6t)(O%6EQtR^r3d4}V-3a#!7ZDPm;7f#qj-sSmwB$SX9b7|~SX#VUe|1mRgC9SFs5 z8=~r8^bGYA7?@QUTXkJC$jR&VHmjZ{N59gtR%fa0di|&U6+j#1Xj=7y2%%pKXN~j--E{1Y>LLu zS0cOeV#D-WowV79D2Cx#l6mZjW}#l$m$ylX-yYLlU47U&hLp5=5%CyYF4#1i5gQYT<39fBkDFp3pdRIeS5gA zBI1d}?`M+hh!Y<8y%Y}eiija>dv4T9Lk2q!)6t2RvtzPYZ#@hO`RQ>X zHIg`AivWBzbQ3@OuWUtdGfInf;Wz(vt)FZq0V3DyphA$l`VN5*XV!)&4n`!=ttiFt zn_0}YaB}3Qsa_k9YS}H!`OKv>F6lc3atU*;w<|g1FjM<}{7unFcwmD35V^h=+5cvW z%?D_eU{`wG@}WHoXNys5^E2C21!^&t2y92u)sO4z$kL%{c3W-$^*D?a8$s9nIRwt` z2EaNNUm4vn9zhJHdFVLW!ka{^#wjs)@$^6xY6vWG;~`G*sW27NqfD_EGomJalT%VU z2cYMCTWqU)m3(?7uKqkLfaT2OvQ|RzZ(J_GfYPafzEKsI? z=AuhvAU69|uY9TNr9O<5BQvm@UG>m3mzurs7Jz-CRrB=IBZBJ89L9fhX#vzsnA83& zN!OFi2G)|AWmTb3?_weY)%LM_a(0@AbZ{&U%9_2dtP2C)TICc+Qm6WKz7z|5wly;GXu{{vVmd?(TSiM9GfSCNX|b0b}=EB zPnCZ2@5eJhxtiR+5#5WTX#V^s$yP`5h8pJR4W=wildfvuqL3l4V8AB7nct0vioJ_A zd{K}_)^8FoL7=qEl&ABf-h>E3l=h|zk$Q!?$m*1Jc6PVHbg&u7r0RBm!@zG%& zVZaHH{-6*Cg-)*|K&^4kI_;2?GD~5jB28oF0wX42bW8GPPyM zl23mfH5wOp-B|F|ib;ynZp2@7!}KVfsdKlzaUe{E zxjj_0aQaE_c!7U3*K3<<_`*nCU(?tfrcworLhUh?rg~E#2hyBL4C!?L1O1!bp-e-y ztH0}iYO31|+83NTL>~yxbn@zRq?c9*X;7*??e69bfx`a41`8IJ2*{(ciJ+ZI1Ae5J zHyFp}t0;1O73Jz7*XeP1{)lOgRD6$ zF@BED{H=*s)DgQ|E+5wg=my|vQul^;`h+X$y4Xv5qdMobA*g0dny*`n$C0fG*OFZi zprs=lNJZc40LAx5Z0{QHi?865;)fQnX}f5NWhGgu^z7vGdaPvT{UO@~OS_1SvaomZ zKQnpR=*Yyj!z}3J$Oa!5YHEiShlh)g)=U0{BM}U$3Ir}#sDZ}8PBS7m<^%%b^Ple! z=k|ji{eQF;gz1DvJwPt-p;oZzt6cMva-CoAx<%C=0I^Y#LGUxawbhz(4gUtROLQlx z$X4)ckS{n=p7Rpl;Tj zr#)##m01i3=yZ$OcDVlK#0a>4`5V{i|ScW6&c*3?}dToFPC{^FAc$*|908gG4Uy!*(#A@Tr6mCB~3t0*jpJ3u; z5pCf3jji@3Z5J1Zn1aYog6Y`b40k<3_-$VlvVz{BG)5pLN0-DYolMl@KomARsz#J9 z6oCfCdiIp)DV&cg6r^kVVE(5)pidGwuySw~u%L;|f4nE-yK>{SmSg<~N(W7xNgf|) z02#c`PQXIup^lo^d%>q^wAz0Btco^|>>i#i*^A@vn<9zD?O-~KTiA5121p9N$`Vpo z+5BN6Q+`-!k(EEMRpvVoCTt? zn+zC7J7Fx`jd!*2-)Q8pOR+Tmx{R|r z#(a|Y=THDYe8F1iIfv>cvStpr4shEZGr>B1Be*I3s`Ga zHCaIu)>Vc~+t4G9Sxt zzBnr;8;>o9oo2D(jPbcSV&O~h>IbctLp0TMkjnepyxZ_sh@ax8-lISp1Arfr9KKFPKS^`!&=jQGS-Y@}unrTg1ps5Qmvtm+ku_5kI8woPP96b2ISd$;aOly3v zaTztsHkXb7aV>3vfSYg@SHKx4zWibwv_NwOV2_5B-00}pICPZ3(eK8n{nq9^kf+Qi zlI55i>nw~#utMNe3oOY6YI$7+i@MW3I{wZggrDHJ5r^fDBTLyw0`=BIqOP~}wDqUM zXN23{^(|5-O|$E$Jf3<7iOnD1hG2hB3X^&(=ASkO|FO|viXbVz5+HW>>U@kn6|-pl zuMXJ(XREL^BckszF55}R0j-5j-7=0BDrveKv$cBC=kiUNI{341KZ;*{x`19tw{^{@ z+|Pb}{>crswS621k{SJNzlZWqI7pF3IG6RLnQ<}R2qS9SokMzp7DeYD{cG1$ciyJx zpvfx>=X4H&W?T?wS^%)$oNO;Fd%q9lE|2MQ&>wp!5RsBUY4jO@gF$$&oII>4J5ONaK40lH zuxJuFAlWFm2wcS0HmiILdR%#Xbnnv0zJ`-~h*DFN)L^@=&N_Zvw8rXx zV=hYAsSDk2G5|0hciq<3(9~E-Q+-zrmkQtY7qWEMyAM1?A|g>yHv9kuHBw)6gV$l% z>_;*O>0^DD`aP7dIg&mQVv7;#*caAzbP!c9W zTM?*gPVXW~bw_ALn!LXf(Cup5$N*G4XxfAY`QJg zVFQlA9#Ef|NwYI*(m$7VOneoB(cmBrR~^&@1^~oV7!ksZg1SlNyoK_~4U4{mN?eYI zb4q>hJ%Ivo-r)y)47ZQ!SQT|X{L@g9$fZfzYIdY^eT7QUn4;HJ527KV>0{5iWr@0; zzytP?)gdJIA({sorm{zE)Z~BqLQ5pcYBT!>UMXPx|KT*I4mUV3A<@pno?}4zy^U9^ zM*(orqhmdE{orMD{ukvdA2UIk9|3L3sKP8>W6w|9WtdEQO^yZGAG9C{<+pXRj z)bj{u8P7HfXBZb%b9G)bE1;}%d9`~SlTRYhqD*!@1tXf{juxK!iVP1GJ3^pDQtZ=o zq&8_P4x@_TMpK~u!=2C*G-m=xph#=o@&LcVN;pKt=+>w?hjU5Nx$)uP-14NPmax5K zh6;+&{43b;L(%2h&`Ko2x*F5B0Eq&$>|3I+0h7P`GaX$H-OKN%*I%<+;{rQ;(;rmpuYeqz zNsqhtHC=;P-4xRUV@!e&WP{Z*wlyR&H`!ZOf**(8^U}@^Y$Ofh6ZtD2k^_gv^EXnf zYi{2Locg|TlenNn0@cNK6+8L{UitY=?4lu#k-tl>m??{;wPi6`y_416 zg>oY__3DrtD_V%tzfZ8nkP9go!+^3#dDy)dDc3c|R=)<^a*MKA_UX~B^d;n>+t2&T zC1tHJtN)S-QsaAi6DF=j*lDnoQ}%x8uTtfaBNY1Fes(@v>TB0gDkim9O%=pN1F;o1 z;_A53GO+t)4bGcoz%Ror@p|n2l~)eH)mz}!h&e6{urXTqBMYW$81I0*e*r0BrobD5 zG3uZ@9NVQgvknTul7PZwL$@`XPXa)B zo=zA^`< zvt88{o)OG)q;v}@^8o*mp_e^geoOwK&!WjLuuSB)p(l9`P4?!0(XHIjeXnDF+fZ>Z zTO$JANq8;6IO(S6o@0)u^M4;4f>J;bNc8j$Lu}vi5j%A!FsL&q!CHE ztJlpT6}{qMTopK{jQ3(MU(W0rjflSZge|~HCRTa5qQDr(qX0aY=Q0e?{y)`H&!)+G zO-+Ja$H~K!)ivsIo>u&e+>t(VLp?R)ntMtqbv+UJH3N15EC(hZ&sqYe8R*Q|HwXh+JG+Q^d}|A>%gk^s$rl}aQPZ4J3$^`QH5Hi)e zLJp#8`L*$AK!`&Y6?8hyB=51n%;H?%PcZxeH^+jl!BD2Y#`B~s3p%UDtYtU)5@23v zbUWp{NK6FD$}|2Bp45W;k5zf0RSQg+l)(nOMSLc}IJv6Ov3UR0jMfY+MP)pZlQF%5(?Isqd2R}p0pHWF+CFT)Jnz&^a@ zG(4DZF#s3Sgw&Esq|DnN&*rWA1unDHFl|g79vzb8&l>SgY%nn8d47g)FNV;S=E-a@ zDqY8b4<1GoXrtA?nEz0?zM&4MtrYCNnwkAvC?4ZQr&+o?6*~e;<;~~o&OFnp_|>@Q5G~lqdUtx(YpoTZ6n^#c*;*n`SDd) zc%oHRa+oQ!nIOg{e_hDTFS&_moU%zZUTke4R2z%}fQbOw&KIQEaQUvaXN(xSO5{PX zwSe%gTS{olmTkhul!K2rG%-Cb1+H4}IXWXJlPL%6^s=WUmNZ}QiRjoqP_-y;U!RrG z1T4&92wT!P;%U6654OH$1Ikb-zJ1ycqzi<(n)#w;w$gTV;KbZoRu>}0fsBqs2F0=l zs(HRB|4Pv{Xc|Z6;Ejrjz+RVW3{VKJDga3&jFKsyJ8mUKThsXGPu!qs|8+M5$C?x+ zl{oq9B_rPGI)dxTk6ar=*zE>cL9}7DJSDdDs$zs0d2w%87i|&6-!to3{&K;SYikKr z;a-s7(vg8a&FWxx{w%_56XxTZC?VyC(*d2mE1n4iO=Qpq>|wme%pXk@_#e`8Nvah!^U_*G^D#(C#qX0O?gpWbJ zB1}7KW_{oaJi75SF_gcg3C&k?LPL+}#t@in*jyX4F6T%>qfX;2fp~T9P65YAHY)ZH zPmw#d$erY9`JG}}rY z)gRrCP^-*4#G#2o@a5qZ5lX3`GAvrv)i-|+qCVmroLIz=X^<@oO-GT^_8Ph$raiMS zkn}Pf`W-z1`u*pPkUNpQP5L;iX3lW9Mb0-CgwqaXcc^RkgQs)t+~5i(TE#J|kJ_XFf{ zY6jq&T7jBIe?X5Ci#kOg91h#__gPy~h zIL@FdvSN( z4=Ug9Wzo#zPE?wzqF49b#tiWXF5jme0|}*D6ZZ*{1YjreOuD~andSpXVQ`1urOoW@ z^gIEMOT9htskOs{9Q^@iHKgGcH7d`kBl^q~yR@de4p_H#zi=UTY4J0lGlHQ^8zk`^ zf(SuyU_)$7?%tawppJ2dS9-F;B(FXawtbqKl>)!U(OYL*n7@*j{BxZ z`x~qITt?d!R-@ot&qu&1_HEvw8YX?jbfjY%A=`Qma^S~Ca;DmKle&r9>Y^p?xB<&I z{3X&w^xz1H%O3r9P!mf!Y_!^CYTw@XKFP%^9{>#XY|H>g z6#zy*HY^>UHk(Ey0|hGk4tph%hjj9bJMJfz+;*ESEU++rM{q$R0T1U_In%6;bCoD* zcYS-p?Yfy7#y0n4!`@d0hoWrSXi_Bi8)OS2=C>Z+pm)pIzk+#Ic36@=RXk>?ktLPSLn%11C;1vr0E z^FVYI5X=rM&x%)HIuR?y_a^kt3&wx&7@19uf4|{h$Wvle%Fbegp>;cls#dYPq>yNd zKCZvO-fCCs_%37(p4{P~_|uug^-~ROUFd;bGy=a1Q6~o2?=TBiX2f49 zU{+=_7x}a#sria|$)zKAe=CsW1dw|HX)tDnQnyGZLlMj{^l))yEA>WC9Ab4rop!J?1)rLYMFhhXRLOrVON$& z+hjb+XTg-+Z{@uu^;wVqIBsgPGyZ5Z+U-ZhdqXn;4?%fFr2Z!*lwjvh1n__>`?{U- z!Pxfn(%Fcaf2{TEdM7=q!1Y*FxD4^rfR5{Auc+6&g_L5TFuq7HTK=}OlTvq}$&6S; z_RFs1rr~pUE}}4xSF@x+cQsfIB-&)Ep=WBEWmBD!Am#rRiszSaj5i;L^R9NiMhRSl zVCjepxz*H=UJJ`L@~A-R1|(5kHk2=jTp&*^+_9X%Hm@@cW!Y-K8&Hh#u_ATj`cmKqzr!LnlYd47n`UGPt_Ds^JX& zp(wMohl^KGLTIl)kdJ1z5b|OpYSQ}=g2tdm^%^o-+CUqQ(kDRS`)OtI5&|PS zk}9Ag4K>Re$t78T{3MZMLK|d+mqbL-H@KF~JNL`d^)RA_2p|s=&i>RSTk>ALe&4|u z>LCZ0Nnz?U<1#y?v#(v#>Ae6+U&iWQBQbrc5SEYdS#2!}Y^%gGn6MDp!;76JPO)mU zr(*C1uN=pT7@y{)Y5nc6X%(X@ZC24s?Ed~Xk%?4h5Po0a zpcTIlh22jK&zP<-3PszR#29wns-~~a8hVj@>c5?N~9&PPb9fj8ObK`Q+saM1- zCG(UuX{s*A3WXXSEL8T$8aFWCcQ~Fni$yZJL%q*nMKf((N>pg1L@5OZSfKTQ0AjAa z{)73Z>wDJu+ZK*RKx)Q_@f+E&Y1VAPfPW>7lEdIM05B-QJn5u>J_Xa#Z&^fxOqq_m zV%&DUqnIa$>@y;Ffc{>+biv$$Z){Gz(_QfKa>=HXiro1BD>s@AgPsncK3|H(IUd3? zZ{hD$LtS%gO+mx|th)~?0>TLxGwi+zg=5-k58VCAF)P!Xx1QZ$oD4o>yBBMOqU}?I z*&Zb;0m#o39qOGy1+RXw&C<%@PL79#sUP-IKrvWnP#ApYvjp{y0~xkOkrn3|7u!O# zHj4AtiV6%ORZGV~w}lZH>wO*XcQ&n)&p zAM#w?Ju=N1ju>UwB*{8t-{Lun)~^BEfOZ5g07oP<2LI&Q8!k2l1S zdAurdooyLI$wz~>c(#+)H5h?*Fo!&Vj*gm|#UWoL_bLFs-W&TXxS6ivqmOKk|BUr0&f%1r~X@ytNXr zC#RPwc4)qsP?aMa9*Fvsx_mg)@jo@G0(VOuvLY{m9wkB-6s&LaIT%JxW9UP1;gP%ZlcF z-u*u+&cV9cr1zCyDHvY3G!8C}K9>Ag6?0ac-7)80)1(GHCT{kmO-wXXa0_7lue2i! zkhTUe9V;w$*sLZiaIRBoLJ251>Y@#+Fj)$$&#EIUuDx5>6Ks13%VrS*IGVa3=_s=P z0+xyt{XAo1QcyEfRT6ZtRxyngrzqxAgZz~iC4^G_@Vc}U_Sm55L1Da*h>;0U0CWBN zp!4y#EeiE99yYqCqnt;jv^j8c~q6tbOVlqsqeBO%aUs zQn>yW=v+A3mU>a0MpYwIY&C6tt1&p&GH}8`pwyTCIqn!-!`e`JZcgj7Nlalh5*&p| z9$ZM~`2kWQprGiu5LygN+Aa&ex}1_Yebrf!#%JWXlEj`WUqnoZiz0xKpDx-yBdai4 z${;4tZk%v%RZzGo%oAAnG9OGfn8to0Twr^DB$Hz%BD^qARe%Ye_ApF15H1BjCFUXL zO#*v@mMADJ$S|ok_?Jq(1f`>y!l3tji03~cqGO`SE0ipm80dUqP{-uJb^5}-VM*eS zpwXq0)BrAF9!^zIVl6@GkzoxZbe41yBtRrxPyAcSNoAT z>KDr|W8H@Di>@ET)#bUY=zAdtX1ti$-nyUfTfQ$3m`O=Wk}q8>GMj+TSmv1{69;wb zMuVO;juu&uf6IKPUbSu`2@DX=2TNZ#ZyfmS};QoNJ61mY|_`QeWe$e#L@;jht%KC6NGic>m0L{F1>JYPWEj3s+$*WtBj)cKqB zqC=TeT10ssTY2#A_kB9`BIE>Aas()opx8E!NyrBprV*gGV-!-*8%I64puZv*dWIAA z@x3B?FO6^q6^brBVg9R3lF-AB06upX-$-gH1Y{(EtL@U(_c~;&vB@3Mv(L=J?9#4_ zxX@E~y|!t-We*#s_JXi4Oe{`H_A$cUFFE7N*_vp1lJZJ9(H!nJ{qUnqw0TOjxeJL& z4q8RB^aBv>TKGV7)6}5qTiP@G>ASP(oAbJQeAwN_Ptf+6FjxM4KRIEwV@rC{l<3L| zBXvi-Oq8YvTq_Ya(mXsd$lEt^9=p@!!vSsh`q4DtIUKh>HI#pL+x56{<@~`gitL;Z zB*T}N)6lepvf7u0C~3=!4KF@(-YyVZ-eUY$KL37vmcs!kZ_Hy`Wz=D^$bXbB#Bbl^D1ujTd?tN(< zyzfpE-ji)|>hrjd^@fU{l$@8AS(Tng1~J1K6qV6)@c`+O9}7M+0P+cChYjVNbk-T` zIR$X6sScD^#GGWc3b~TVNi8ru8}`GbN5eb}g# z8m~psVQ5U{+Ff+phxSylp#9`z)A5)vwCvP2iK{8hVgEOI7B(CsWq)ZB+7ohc5B&f*xa|P22^Gqb*}c;c}>XonQb`sNg0zXU-+QO(_4bm zQ#ud5PQ*W@f3YBA7wdP>FDNSYp#h8i3y|P`w6)aC5OzLqsEA`Fta&;p9WqfP8dK%s0sn~BRqHgBOHR5G^H-ELIEuy1yc&%X4# z*%A={eMV<;C6873KI2o1EAX`hgY&bqv{l-aLZtGh77f_ACSvsUSNJSv3lbO6@-8J2 z^)(T`6{@g{Av;7uX{aDQD+Dq-5cV^5Z8@boYJ4j zRy_Oy0G|dQZG{rk432mb-9}x4-^AK;P1#))8{mg$s5JK8^W|JXd2!;~{V`MZlgGhkf`O4BA>Z+*LPzTIs-JvsWy5 zIBDH``Q=^QH*2q?1=hxI%8`le{AgVl*^4lugPY~}iYhBL698g`Nm0?1GhhZww`#^j zRCKB3@`}${*3bu+Pt^Y@jE<_Iw6VvURLYhrt4QM0SWH+22&P8Cm4wBk!L5F|qQqYq z{gGLbR}HKx+E1penzO`HI9hWdS+j>3?_bicTc3^8SPtERX57iIFej}6pXOy4an(MG z8R=dYhj`vdNe66xDUXU}r?+N~^|CRDAzQYkD4#rLq}+Svp;4ax^DXdAQ&GtIb=J3O z66J{>@n?O}Xhc3JJ=c)go?%hu>KKm!drsD(pC~fvlz(mQaN++Z3z{1f+*3`&#fTp` z(;D<=xmEyAZ@MSt)A8Kx>Q9wG*z5UtUqL{~?Jl# zt~QL88N|ze-p85>&O!7{jm_*|`HJ^xY?_dU)$Sm<-j{1RaGveq(gN~;aXdHiUO;?|82J$WIc6p7$!7&ow)jRfA&3q_TQIIA#UM;`WLp`AQMbLp!tYE z>9A(lfCCQA<5qm>z~|P9F6GD%=O(&$QT6d<1pxX_=BHPn39{imR4wF4h30W;$shT; zaN#pCda&X!^(7KMTZ0b|8^vP`yJDK`^L+F1`yp{K=UakeHDYE!VJo8^*Qs6WpLY`j zL!Wj2oM+!${@_R+NnwBKJW!El)qqm#RW3Fiug$DD8K%=_=`-+7?hR{ePD*Enc1I?x z>Hs#&@?18**M|m)!TAXE^0j4iqs8SOH}T=+HiNo}N&G+B%REY=9jc{DqvMO&i?xx? z17hdXirDV)I~EA*{66D(K{tH?cM?}%mklVZ7Uk7O1nXQl_3^gj^y?9^8)Vt_RM`zQ zFFc>qz4Zd?`Fg7E(q0U&27O+41)|6GT!605$HR0j7VhtO4x7e+f(__PrH}7M47>nY z3_=ZH(V-ep$!IovhlO{fw|N}0!LxVVQjh*h52p>;vYv%=URq5AC&u{bRI28=k6@|a zi+@A)?}HzQ2c99YZ?E} z{2ij`qjf$>Pd+eY)2fy+Lprly1b`vcm9s z-Cahfe+qQ-`ufd-h{;17%2A18hD7}H%0*MV9^0@h#stTN{#yM*zTgwiCoL zc-uI(p%Z?*xrgT^qOl~Ql<}Z>oRDVKs{gy0>RbwQs~3ps|J@G!ssHl}x8R`CyP5Ep zoxCFYthbamwTDahV1DmpX~H0};Gf;KP^Sx(nI3GCTz2vrIrKH_Yu_fo>2`mEIrIh> z&Zl?-P>=i@J>jaie>GgDCJP|OCz~?}w|TLB(sPzaN~J5%`*N>B{02O)pQI)*UPu5#@ z^r9wTn;{0keI6?hUcj2h^?jQsOgkGJzcquMH!4-dX?#5Ii5SH_w*zeJS;P_Nsf%Cm zHVtFSMUrH1K9GdrWFo?mZy_rY=My&>tBPZj%^TNR4z6R<NxgUD=1T24$g?sBjfnIf7`=CfW=fu#sI@W&h0WVn^uG6nqd`xE=%wj{U^|P_ zuf`tdFmv$ep?}2=O6S1ZLeH%|4s0+UqOED26cl5%DgVKs+5-y4H%DHJh^Kg2OYs{? zjj4f7sM!5QI=TR@ntvFmJBBq@?z5ugVrgn?-Jj0S$st7sEGX1DQMv8=z?Rk!M0HC1P9)#XqtLUo+ZKa#AKTI!Wrm`S_4;Z|C!(lAnWp>_2dXTyO7 z+G3NQ#MV;y&jFo95MYmUO*!Mkp3IzLcw|W|)QNdu>QC>^+n28TCl0kGv1{=T#3CoR zjf{i~|!4osBFbRYdKN|*_iJdj9tw^s0l zQ9SytlCF9RBK^OZMyig118xT#U{8T5{uJ1WR0)}E-?5)a>~o$KuJ&5R2|?aI8}oEM z@EY~HjX}!FyaY)@9C4k8Ch902AS#UwQKL5-nu=an(D(8-?*__A)H_0(*Uzw4D zd8~oIakK%z&kU|f&=Byp)bI&O;FR!wBxcJ zGZJk;8CkJC@k&_4odlBN8<^PV#JHVO*J*%O_s9VNy$l6~0+y{ANDG&OKYlPKiXvsn z4m+(fkBb$KpLPX>n&i-wA@Va98GJ-G82C<=8WVjUl7}+N!meN?CMwV9Tz{~ENn5T$ z4zKJ`6Ot8EhRQrVP-#NM2vJ%@rt#m~x29$tjWvWoAW? z`SWu9e)E#|{^R=jCh9A;w}s<!jpu+jO z?uX-P%XAw1xZZj1n^TSw*J5&LG|riP$fbqD0JBX#E^Cyf`CG(0-k4pTVBRQvW$GoS zzTSgZwhLdIY{sh9bvv~DIzIuOb^Cqe1GxL1)HC&(q3-k9>Z0;EwX5^my4?+9O$Gzx zwyEjX``~ob|8=(c3Ek;qe6G86_KDTiio}_2ME7e$H+T=0ZVMlfOAokA`(r87e=X#+ zM7G~qz)44Gj}Vnh53~g~VkOkzqj=>CwN5W850khfV#*Lw;iyA*K67KYV!`ttx{7Q9J?|uyq=@BBu6GVw6UGKo7a12&#t(R1!{TgFNE@ zvrfNSf|<;ITh4i4i^50amB;={&VjV_p)S_sg}!9Qw9d^=<-gN)UYO~gCmTibD(`Js z;wQRUtv{r@h`c4N!q-A>cII}S`!a9o_gC7+(8qwUc_pvuxph_LHO>31A~yq2n{RFT zV()EP)|0XNtWB|lb6yzlZtQ#MT@!i3w|uEjmm>{-`~5i2zvbQjGTS*MBiC%Qr}j_i ztou{XV08CBz!?|EH$%dG6Vpoa~g$7F1yQ`;umM}wDrL|!(# zpE|3DsBFr()4qazs0YJaP4)nw>OtY7u`sBFJC6prg$|j49?`=uE3I^CeZ|3N7p&W4 zu=j8^qqL@aVP^B&mCazmjre^x79L;s^W*#Y<}1d8$TWpOAh74_$1m`6u&KXru!j#Z zgoehu7yBT4Cb7K|^bI*L$>-kV@AG;5@?OxF`F4qPBK@EtbEBk>l9L1YER-D00Kq?M zKwG$eeE&Gj81Gh|xR}r1`+l6++CtD!&GS-cEE2KgdNMtMnof5Hm0PaL@!{VcL;VYDY+_Ts9F3@ z@LxMlT@s~i?=A|SR3eKG2Vy2GZ5Ptz_-j%iE?K%-DK43!3DLygO$m7?o6%QP`5iVq zZ)l6!X9mplTJcs4+r#EI>nlzhAvoYlpgMDN^GQpr1deu6u-suZs-q6OdugNWjZv2N z9I?L_N7m>@$z2(8Fyi-cX!*uj<+(b&P#l>+g^w0u@* z40V&C&5^kZUuwPC`Mlc!6P7b^kQ*Ho}Yr1Vfk+8`KTaut+6GfUe#k zE88TRpUD`I##1a5*uPyvwBS-s&~j1HC=o?<3`riSr4=S@rSsqY~rE#{|rgQ(x~qLoc?e5m1HPhdJ4QUMd{p2)aZ@g1~shCRV3j8`31Fq{t#2f)8PF2LO6NI61kW8lD_tJN&G^M@h0WjP(meNKCPDk7)jG~<2N zJC`?r4zwdIt_GmX_25q840=63uE)|$(jBYQ^f%`2Wd`Amy=JQ#rvEK%wheeff9rr6 zqr4C=ktEnk!Zdp+_HNdwn_)M_zR6YB7XsThJh}}nm*s7g1WLM4IJM$_OitGw@OMP|)yZLV0tj&F&jlyR5 zrw3?kRo!a0>{1XITeYrPlD=tMA;P|PJH4U0C>{h0{z=uXyjg-N7?Dcm&aQQx>u#V8 z`IN5ZVpBke4-fnU71D@A5UXK5V*cqkUB0e6u4~k8=Ql8DDQ_8XyM*spZx8bRPTtM_Z zOpg5rDEF_F2&QkQr>kI|m#f&%wMcRla#DeE2_B#VwK62VX1|QnF(&ParG34iN={#Z zI>kG+Ou7Byf>+lsSo(mPH-}v!g=A}+wZm|?v8((}%9=F*n87HpAc>PcK@HiW0wQ(T z>cYu7kHPI?ye+fshapPw7elN%UsFKkn|9rim!k!6;?OAGdUUxZAF%$yG@BR(}dsU*p^S5VhZW8LjMbYp6Y&20s%9vyE%M(rYT9L!Nih z2Yuq?s%fwl-vrg?&DZCR)t5ng|LUdF?rc<6J*>od{|30}8SfYx^NAZWGT>W>>1nDd zVX%fp_1<*X-#j(Y+rXxKD4XcK2~4V3XQb0Ufn+f-GqW*rva+#q(J-=5Ffvk5K{LoX zn2H*?nh{cpax*hBGco?ZE^W_GAo9S&tS9aF=nj#QkvPc4#yJ`7%ooBKRfqFDu-)^Q2U=!LIv|UUaK@-{n+D@jM!4|ZOXst}Qf@U;b z%MPY3U|X(*3bgG^g&kcaP+9YE7h>ZbRh9Y@>3 zR1fR`n*7k^>S4E|jiWU&l~K8aNm`1gTkQZx&^DlLV%iD1(6*xKF&zcR&~~ELGwlXF zXuHt#h)6 zN7|DMU>0o^O=U0#=JTm9piwEw0w7Yp0Zk=z2`qvo%L7K`C6~cfbFN0yWx%ibIj{sM z9M6?{F3m5SYyCuvSHX(8_AfNO2G+n0e`-dBO*u!EGglB*#9VV!>2jA*1FDq6!gzBgRJ(5s6A9Ly>SrQWuGLB=?bmh!jawl&_mRw4|#dv2imuvtVxR z4QW(aq;j}c_JAYi`aaM)!tV*S-w$+Vk{x@^4Zfo##{tQX#5VSu8~#TJ2)ZXZo~U@4r)wd~ zk*vi*a}$+Xd5Q{LQJH5X5WRR2 zEP=}$)w*T2G+q65M)Eh0&(haAe;>(-H#oqXp_qUIC;_FQ45XkORDgA0J*YJIN}2xm z7^pUP^MR%{U<23)w0qY9?b!`LJ9Q(_{=6AzSKbP=7qSfIYU@ z2H07Pdjb1taX(-eEgl5yoy9}oFz5hBKqu$|M?nwh1;@cK=r;H4Hr-Yqf9MA%z)8U7 z=BF7Af*~*i#y}CA10&{cJ*Tsbf^jebCczY7gYs7yT>$6JJ%304q0`T?{mY|Sb1&W1 zfq8HVEP=~Fo?ihv)e5)(L0~1I7o84_Foo=I&h4QF0K-K_CKw z2!u*d1*!qY2aFFGA22lFe{{ggWkG&r8b-UxJ5^| z^KiJCpm(TVu9z2gnfq)_OUOYW0zt1-A`oyt=*@}y0rvy$2iy;M9>{K(1zqOub?H>y zfG`BY5HLPqe8BjC@!>QW02m)IKAZuBCX4{w57-?DL%{BU-2uD9e_22_!g+wnf#d|- z4+{Xx!koFUUeHxxcen`fJS+l?4;UXXK45&n_@HNn@j*`Kd-1n#>nv-$%My^cgFpV@ z7@67pEse@S?)gt|X<7oxK#Bp^7_9^AK^3SlcYj8UE5SyPZw0?DN~;0&pw`@PRnqFf zCeR3)056BM88qbUe;#Vx7JhOcBiv70%su);2eyITV28QKYtrbnJg?|<57580nfv!e z9o@^(c1Cnx=|P~WI;j0-B~RBKVjXYsRP9lRS*6zjbyaF-y3OiVrKwx$1?rLdfI6cS zK>ZNCaynqvd{_UW-lqsAz=&B}rw-8A`0GHIroLp-to^o*e@+2fgLK;L*ga`#Q|J^@ zH7C3hQd*LfRyWlxTm_fSPCU|oEQ1^T22)Qvo${0EirMgMT7th`5m+;u`bg`DiYEu2 zM$;1puP_|8!uQi!!o%?$fLQnnv*p)yfT(x^=ds&Yn%$_@0g~gZ0Ri!}tDfX|8f#BL zJfZPq!z%}Lf3Kc^_!gl3K%UdCdcxpoNPVN(&8NRX4!n$4=Rs&ZJ-Vmq^=*I_(bKbf zH3WPWd0h3l>T%WMs>fB2t6ndEZTf`4=hi+mt6v*5yZuC?A+vYyYjno!%YKc9%^v)x z(TF9bsx6;?(A0jT(WoUupK3H_$;&+&ja%~OhZ;>-fAag7Mw3>UU(smF3a@^yk=`1( znla7H3cuXc2;VYH$*?C=2d|c0Jv#TB=_`=?&A8u8A0gat#{Fj8Z^r#*>frUMH2_F) zrVd^$yS@kM)-#fw5#>yMyBc+Zp6TdOkaycIU~v$QO@+$rq49> z?P}C1m$3c=3sbEC0-UK)C)pX%%kqblZ)jF{OfePAKmrP&1e99guVTLB?}zSx`9cmB s3T19&b98cLVQmU!Ze(v_Y6^37VRCeMa%E-;GBz+UH#G_+B}Gq03N%v;i~s-t diff --git a/spec/08.standard_library.tex b/spec/08.standard_library.tex index a2c0b1004..f034ca658 100644 --- a/spec/08.standard_library.tex +++ b/spec/08.standard_library.tex @@ -196,6 +196,8 @@ Maps are immutable structures with the following interface: \descr{\lstinline|fun emptyMap (f)|}{Creates an empty map. An argument is a comparison function, which returns zero, positive or negative integer values depending on the order of its arguments.} +\descr{\lstinline|fun isEmptyMap (m)|}{Returns true if an argument map is empty.} + \descr{\lstinline|fun compareOf (m)|}{Returns a comparison function, associated with the map given as an argument.} \descr{\lstinline|fun addMap (m, k, v)|}{Adds a binding of a key "\lstinline|k|" to a value "\lstinline|v|" into a map "\lstinline|m|". As a result, a new map is @@ -226,6 +228,8 @@ Sets are immutable structures with the following interface: \descr{\lstinline|fun emptySet (f)|}{Creates an empty set. An argument is a comparison function, which returns zero, positive or negative integer values depending on the order of its arguments.} +\descr{\lstinline|fun isEmptySet (m)|}{Returns true if an argument set is empty.} + \descr{\lstinline|fun compareOf (m)|}{Returns a comparison function, associated with the set given as an argument.} \descr{\lstinline|fun addSet (s, v)|}{Adds an element "\lstinline|v|" into a set "\lstinline|s|" and returns a new set.} diff --git a/src/version.ml b/src/version.ml index 16abf3cd7..11b95bf31 100644 --- a/src/version.ml +++ b/src/version.ml @@ -1 +1 @@ -let version = "Version 1.10, f1384146c, Sun Mar 14 07:08:07 2021 +0300" +let version = "Version 1.10, 8359b674f, Sat Mar 20 13:46:03 2021 +0300" diff --git a/stdlib/Collection.lama b/stdlib/Collection.lama index 0e09bbe5c..2382a07b6 100644 --- a/stdlib/Collection.lama +++ b/stdlib/Collection.lama @@ -214,6 +214,10 @@ public fun emptyMap (compare) { [{}, compare] } +public fun isEmptyMap ([l, _]) { + case l of {} -> true | _ -> false esac +} + public fun addMap (m, k, v) { insertColl (m, k, v, Map) } @@ -251,6 +255,10 @@ public fun emptySet (compare) { [{}, compare] } +public fun isEmptySet (s) { + isEmptyMap (s) +} + public fun addSet (s, v) { insertColl (s, v, true, Set) }