From c3cbe6bd167eecd85d3293b64ebc86b4e5060ca4 Mon Sep 17 00:00:00 2001 From: thejinxters Date: Fri, 7 Nov 2014 14:29:29 -0700 Subject: [PATCH] Start readme update to have example usage --- Readme.md | 24 ++++++++++++++++++++++++ examples/ExampleModels.py | 2 -- examples/bayesnet-example.jpg | Bin 0 -> 46975 bytes 3 files changed, 24 insertions(+), 2 deletions(-) create mode 100644 examples/bayesnet-example.jpg diff --git a/Readme.md b/Readme.md index 8ed8fd3..5008f40 100644 --- a/Readme.md +++ b/Readme.md @@ -11,6 +11,14 @@ PBNT Usage ------------------- You must first have the [NumPy](http://www.numpy.org/) package installed. +###The included example network: +The example files give a simple example of how a Bayes Network can be implemented. It uses a Bayes Network created from 4 nodes, Cloudy, Rainy, Sprinkler, and WetGrass. + +Here is a layout of what the network looks like +Inline-style: +![alt text](examples/bayesnet-example.jpg "Cloudy,Sprinker,Rain,WetGrass Example Network") + + To run the example files navigate to the examples directory and run: ``` python exampleinference.py @@ -21,6 +29,22 @@ The marginal probability of sprinkler=false: 0.7 The marginal probability of wetgrass=false | cloudy=False, rain=True: 0.3025 ``` +Creating a Model: +------------------- + +**BayesNode(id,numValues,name)** + + - id: Integer Identification of the node + - numValues: Number of associated values with the node + - name: name for the node in form ```name="name_of_node"``` + +Example: +```python +cNode = BayesNode(0, 2, name="cloudy") +``` + +To Be Completed... + Project information ------------------- diff --git a/examples/ExampleModels.py b/examples/ExampleModels.py index 1eaaccb..4a09ff1 100755 --- a/examples/ExampleModels.py +++ b/examples/ExampleModels.py @@ -79,7 +79,6 @@ def water(): #cloudy distribution cDistribution = DiscreteDistribution(cNode) index = cDistribution.generate_index([],[]) - # embed() cDistribution[index] = 0.5 cNode.set_dist(cDistribution) @@ -111,4 +110,3 @@ def water(): bnet = BayesNet(nodes) return bnet - diff --git a/examples/bayesnet-example.jpg b/examples/bayesnet-example.jpg new file mode 100644 index 0000000000000000000000000000000000000000..9e75b9cb1fc384604ca20fdf9b48db8d2aa0483c GIT binary patch literal 46975 zcmbrk1z23ovMxNh6Wn!hcbDMq?(XhRaDqDoCrEI24?eiNCAbsZLg4br{?0yU=icZ1 z&tJn#m%LS7-K)D-_gcIzzkUax$Vf;_0KmWj0JFCb;Pn)MD&}r#>kR+{Kmz_y0$$Gn zl)`3?CguRMo;M8`1OO8f0va9(03fym09-l%fHWZhpvC`n4G;sxccA^r^h)`UL^1{Mk$4iW+! z3?2*&00#B;^IrrF4gm=T0|tu%06;+i;J_iF!Jz)M{-K8kfWe@U2q~eWp<`iVa4=(X zas`sI0NG&4jGR8RvZDgPAi>`9hJu5KgN1|pde`ND^(NIYtSd`KJ$VS-MxpxN0iVhi+m@jfsw{@vvLdM1%=#qr-Ik*q1 zUUb`)9sRAH5a1B75N|2{+1$4tB4rU)Mlp7N%R}kSvF@UGCUEQ0>9f)6DgY7UtFDD!0QQbOu66nqYi$T3s0b4N9!%J=P-HKyc!tpk-4S{+|u!{%4jVa5&!@iCGHO=@(^YK z01vn7jfa?(`TnNCAgLedGlH*binGPnI$XI`p;IkSJm?)WEwx;Jo0L8jeeGCEco_uf z>5xPUkepgV06^9LqA8pa3MpL{2|L@gqjZzH zqj(}P9k8>TS@^Gti<%znut6*jNCknHs(El)QD`HL(cYxGXQK%v<&9-EmJLs9^c;L z^qmia#RYybWypW!Dwu1!?2V+fGUde{aws7l_|_&2ZJ_C2u4Ne1M<{O<*TQfrBtzs3 ztjdIbR@*su_?YrGSHKJ>gf>RL2O;93U@v2gUnI>K0RYoda-g)sKfM8%DT^b!i9&Rb zMo1(Zy#|WC+!?_rtowd(2yb@G=Op=cJmoJqDt+Jp!Gr9#fG&WKai>Iqe>r<8peENX ziC&0OCfNOY*b3@&;g@ z?&kZl-7f@qaxJ@Z3BIR!Hae`vih^^!bT|4N0su(dF{->v<-(* zRr=e`r~iHS3{`VcL2oWEf;#H02cY*wyJwp zD|S%bzHKJ}LLIbpt3wPbk_`Np`?V)svX&;~31 zEOE(0&tF)G9DHp(d9uS-0256ZOH)I*#vHLcE_?;}sMsUNdjH(NB7%d_yaN#n^{NOc z)^BK!`?fQJ(6N1DZJCJlX6-698n}wT88`|3g@$3{ahA8)WXu9fNNiD<5pi9@O_6GECi<_Kc`z9Fl&C5B?1$ zcvu<9w`P)i;lFx32pJWe^50yzyUVvK;154AIqvyaJf4+a-tdF|Cn*5f!;^1}fne6# zE&opvRoC11>#wtGX#fChymSn@#CZe<{^bS`$5|@N8zmeS4VMxE@490Qm{%%GZ?n%M(ML^q4j#Zb?ve11uLOk$kJyWkWR23 zlgiu7|C2BysyrLq&c;UtCpP@~ixqpOH)8oYy;_X^w!alH>2nk7zaTzIDk=*7rG<1+ zWh?lb|4Z|>EOfdKA36Oc@qc7OF8PG(egycw^~5x_iv zWU-vtgSxI(^_TB!| z2Rt$F;Pl+gP_^E*^xHhZFNRn=$(2{RIagsb@9!S@cPB8-%C(@@8#c!VG1S_T`5&5X z%PptZBgxQ1O+KBD#u+zJw>|%k|C`4s=cydH*6OLu()$|U-Pd-1I$43{va}P^B9pwK zO*H-+7bub_8-Bk#9^5_s2jBC@c*nDYyks)Pyuy{~BF_(+Ex&OAQ)pb~ouZ3el&{vq zuN`@KimP|{d31Gg$T25@6q{8p%gA`}AJ^tB4s^~z3POsQnScff0QTDUQ-Durhx7gP zZ)yOq|8BbU!4PBP!VbV5b8<&kDs#H{LFhL~03?q^)D-5tO{N@b)A@B}XN4oHLFMm& z{~vYCgF2k9jEK@{fF9fn0E>CbfB1vdBs$9?7eHi-htc;?C;AFe^LWAP{W<*pJC@_B zm`Ft*8s|Bq);MMuntl{7!}h-;{*Y{U9fZx-p#M^&eiqYV(l1Pny2mN3< z0*QJ_5?q^mJ*n;T6(4n%g(C1jfNvSL;bP5WCgjG3h9N2^P(dg$!|cwD{Ra>LVMum8 zE>BVw7Ammk&H?dV51fue)Ru#_=RcuK!_Q06;IQ1u@(J;X8R6u~eMWMMiMZ z4$gk05zLcE6)T9aKaHv;)Cp3#Dpk{U)svhTIQuShirpuWBkjsP>J1Moo2oMTS=*`b zmk(1pe7C&Cj03q{$DX}!8X2a^EnGNU9&P>`7{rEjdPDlq63xSu{6x zErqJ~5Z+t~;wrINP!gt%aC8uwjjMg~Ew$L3OmjeYVEqL2l&qql*i_-?;3Wtu^p(@Y z+#d=3NL<&&0=3ec@!@mMQWv-A)*%p<^;vii{?M!|%@gl|5m|nM#xD%4hE&LQSPAb6 z1G@9~g3$M%1t1gwGti)JWd&5C$TFOTQ7&`9n&%w)QeQR?eBFL@5Pg<_cA9 zS24M>Z-AYKZ_9)DRph;VKJ#vAd%XmRas(y}^qcJZD{>{Zh_sWi)q_2o3fpPyLSb>@C)L7ucJiS&^ec@|J2B zo4Ew-PhE3t#uGHGp0n?vjTy{BB%Rfy&&BR9S=0Dr6AQiKfwURTwtM9HdP8nd`8?9I zJ7Ja&XYHLH8yX>Xa4My;@F-q?iUxcRHH0miacdPACGgy7?XAb2&&5YLk#%VcMB&}h zAo~SBuT^}C5LQO2T0Ecbf6#9R{xG0jydM-itduCYInR~pW&N)DSy`HKC zmK4Vn=@26MhK*A6YUL3|>Yz3If_liEm$Yf{+$g{Gp_|W6V-9~PPvNA+f6h-XM^uAM zE<4*$`(xOaGJvzm401w@WKxG@Q97BzArfK|QF=<} z*1BlPNEB?FlJyyew+;%E-t(l8VA@G6YtC^~PIiGGo6Hwh>yOX0-90MXJ2dq5D;TR6 zK55#FRs3TRFWib@J8ADkUQY@$z7+`VTdm~DRH3)G2>(QZDhr_bf^ ztdysJ88k->h&E1Nz#2(l@#CW)0WHUw2e}e_WTtcFuzf!{l!3=Cq_w!bjkT>`=ow*N zuvERe=iU_-;S=d-Y<629fF3VesmMh(hVrCmtBJp=v)R2S zW>G)rr`c$dx^ru?3*>~AdoCKSN*VQ~YQA8?EVGwD< zUY^V-t8m~~_swif#-ZL(0+AvxCXAT796T^qAsbkd_|PC1aCL@-g}asaJqs7?q8!(9lZ#ZaVx4qoa%1ah7uLa3j~y z1%#=_>K^l*bTCIu!$a54V`}Zf6p3j1vMk^wY3TSKMk%1I8khhh3%(kvoq2B}mWX<^6&s{*yX~*+ zvbwrTY%S;G9mqZs-Pp|Lxf0!i+S&Y1%ZRwighQULGZscXGZt9Z0oXKVX3J+E(RRK# z?ecYPtlM$Fq<4DJr zccNgh?$uTm`BMfO(LC?qO*^lWl&DgKufULbI{Oi*TkPU)DVa;71s1G0fm7!8JcP%r z#&7j{PdYpzMa!-0vmxfx)j`mCTn}rBXXjOK9wMx=53Lb>l7 zGZ<|A8sb?rBvOXPV5GW^(kDch5fLK_?HcR#Y*mWbBpY_j%&3o3YcrfE8PqQ3GtO#Y zca~ceea+?^%C!qDFyA#N|VUc(`+H$uMkLwBaAAn8A|U#AgkWAr##-c-}tInAoVtzJx;^ghO%BaNIxt z_%q^S}RAWeG*2Q3d+qP3m{WGB1DRp^pXtx-&L*m~3Z z#FQ8m(oD+^f7gAJ#3dg1<2wnv%Apam;&Il9V}>(XBi~6yTML<*(8kDqk;G2eKaZ*T z@ffs0i;5O&D&hB9m~@gEFL0;uk1YB z)cHm)ycZyk=a4k}DuB*k2eC8vm!sDGA=VJo@IfZQXRF*RaJ908k}^@gN0m@im>Xt- z09c(F(y}aC&_3)oF0285M(USOT>f*L$eRoCAA-zB5MA&OlXjuC3c^3JZp^3!tBl}) zsX&XS?_3?;6pEzMBvM)Un(5BksQH%!mCZIG2dU+B> z-rl)uld^^>b7w_yTt&OlapI`$2>0nG)3zHakhU2dutI)by4r z)khV)f76YM>+b=-s7Si^zJbI~@4BsD#smI5On|?=`2c@bgoGf}hR<46a8w zTmMjYRnM=}wSa3S2WKN(34<80k268+KVJa}{i@*4^Lqi;j%Gt{@e5t8)1pSJDH#jz zee;zUn6zEu5`Dizpqj`v!q}AQfLocO27eQ;Qc~BRz4erxiB`jZIK%1F(xVu_blp`r z*qp5PD7vyVp=nl#wZ99FKuy8egKpJX@YT6tAB>8jHa`o;0S~-+aLvf9I|4*vjc4cj z+paFv4Z4Lj$!0q`2H`ok@A8pAOw#G}HrE9nL)hq%W$R;*t9%jTt9*tC6iFY(c==|K;ow!hLlhuK~dO(!@PH{O;{J&K!bumR0| zv{l?#SIGjh1IK(EYtdRfS2t8NcFNpcF+i&NUXj>C)nmE9Y-tr>G}fvf-X+XcQA#<_ z;YJGU`K+G*-&MFZgi@Jh!abwmFo)| zsI^wiy2zg!cvu&apT>uSbb2VL)(*=~!c^F_ddjziK#R#5I-}o7-hzj+2rec&7kb#0J0-6fA)?I6W=edj<659PKA=rf64(E8!!otulUy|3IA%e7{V^FF2Trbnh3w)`-TgzFTbeADEVho65z@ERFo;Hq#ZAk za=e3fi%~9QyFMizquH$9BMq_O&jz*c`gyRa7GM#!9$^%rBXq-_%i zBsdnX&g6;2hlda&p)AJ4gRDfI_37Y3>g=fzYQ*AVEkx|;EtGQCMAV?m3bK+?HDEggcrwgVG4P2xr-_(R*`(0O$b3%?tG_@kK(TcSc7*48k>w-nxJx#RLx zE%g_jA2O%;3d3M};3VI3HR|_>vSUl@V)9#Bu^PKHxqPwhGthb|a4i7S$3&kSzpH$< zkz4I~yMi^()GZhiOL|cpGjQy67dusrXrJfrY1XkTxXCc#263zoqL}B9vA3JIk;?m! z?vKjB^$~YqiePZyX@umy$tdhD$$1JsU_OeF>WNf9#Oi_VA4LZR?sh?HBK3bT`eCm5 zT_X^=_nkny3F}fJlkGPV-Ag)O`WIeU?^2;HJ*L92o5B}?)6e{a>Q$453{}GWm_I;y z_s(1|H`)AO99^T2;ziU*LEUusE@8qY9wzB(xfwM0u=HGIAj*LG4ux%T2iGuA=?=bq+N z@M|cX^_Y9(mhylF%Wn5(cx_rrNU)jmBh0k+P>m{pTTdP;@S(KzX)bp7(ZQv%GXesJ zWz>$UG5C&hBBzf``<@Fa(QHl+msUkD0ZC3eAHQ&})k6iff~sXkwiEv9@1(J|qI=^(3_aNGujFGc)m ztkX9)LOq%}x~zuCA=OMtMybS%rdJCZQOveBTiwq2-Fgh~Pt1uk0=7BsKfo|r`#mc0 zfKrZ6dquSSqJMJhEyzIGs`Y&*0|Wbx6F>?tdpPA(Mdr@F-!`TNG?z243saj`^rel+?D58tc4Gek!MG zT9X2p<@Z2RvRglGy)7||TXeZ67~Z)`SQ48 zs9;={kaFbEx0L=;puY^L`ovtimNA%fQ=g({(4sSWj4S(zc~z&1pst$7wN7SUN~MZ; zK^HEA;&a~RQgC|*Xs?S3UhyZ5sb^Tgw!7yC7(vU;9OAR9v$I|U8e5T9z<%EXrITM1 z3|7q-DtDc@00Y@w_b$_~Q71xvIiTgo$T~p#lszvwqTsuQ z#M@E%IDTR1ELCGXFUQ2Hty<|$F|Ahn+V02ns494P34%8M49$iq-NraU%XoH=rSxtO zQipK*(z5qfkgTq<6X%_JFAKkLXspUoMpP>Klhvkx1>=(pq-h_jT2j@^L*OFS+w z-*q=KHgiscRZ!V7Nv&>%|lOXZUl1~nCItxjc^9NJPNE8e{O zYtses*IFQG6D;Ae6JYGX<$>k*1qyNbI(6pdEK6s;Po{b`O-j|JeQKk{f%k==oPUk; z+baOso=887rLROyV8U80>!)-PtEGm(!#ZVCtS1kf%wup8!FM-vkA$AFP3=ro#A=U4 zDFD8B?*PvHh0ZKQf6p1aPkPdcM-oJooPsD0Ysw)oD~yBwc<6|ON!haH3b7}pwDZf* z+*La=Pr=AlNqVbVDml5QjajsDfI2OsAGo0wYP9nj|3Er~P?K&UmJTZG{2)f#)bP_F zeL^lxp0bYAeePNmM~%|ZNg8(!5|C>Oqp2xL%>k&r?dF#4JSn+i7*t{Y3g8JaC!(xs z-5pCO3SOM)0=74vbv1XbU@jHf!nyP(u&j;Rl{fY;uO-Vi`ieSEFwUIOUu4NtDc^nY zwJWBz)mN^k#rVmu8+5?0dnWrU|8o`fpxJ;Unh*R0|ho zmZ{^#QaB`#mcd&27>Tm7f0heWcJy(6ly0hIsRZUg{--Et#oyRj+RDFB0?TLcP@$pX z>jeYZ8KXd(lQOl6EF@K^VTMI^ruI-a4VW1PDe05{*-Z*UHDspzm^EJ|MtaeDODa5! zMkhwimi*EW$R)Fmt|daRx}@A^8UQt=dDk+(z!2eh13S4pLD-6l^oSPE`mr`VI!3jL z+WpI?PW3Z~oD-Fp;ZHB&M^9mL$|}RqB`7YoMq%egvYe8G+NTwKD`<%heP*&-O7g(; zpP4!qOfM~2uYiwG8G0P+ytw40E|rwXBd`KbnZ{v7G3C+gzoy3`3pAtB z^9eYKcRXv2rRczHNBTv2d zXqSu5Fi1fisa2QE%>HUpo_Jc|uQxDYZ};+7z)GhF$Gh@1!B+qo6cBHdzf5Td?pEVY zkrnij6)r;Y&V)md1-%J$k`1v^8GT|&TyiJNL6LR@1KlqeAU0aQY=tKZ_)M5q7wCaH-k3H|)Y+r2Jdyk; z5K$GRvpktare{fGG0mx$?z}J|>7YO0NWOD=@cwxX>uIUCFu6Yu#e+Z$;SMyYyaqpL z+Gv<6TX5K^YI^%Z=oM8JPak9w$~#aQfuo$V>!8Hhxq(8tCsAB+_)i$n%4EP} zGsA67G_Q9qp;tsAL&g5$sM1GFV-^0xfhdRMB^n?09M?%>W^xf)sg?ih@n{1n^?YeIrYfODpmIA5O;A<-1?{MyNN`2aC)1jeAnAKDs5~I zXrE9~x%-QBRD^;=x0$Ji2cn7ml2;||Y~~D>>d$$M!#RIO!44$lVApuM`pC{Nl?@>J zX|$Si8D!YUvN6~4lk$}ruLHxGJbiiS!o|tH72+4T9`xvmqepBZO*vtzA^X%}j$(Rp zpw;v~8_0S@MclD3S864@{0vu!C!W9j5_y$_gzvOl_(mU&r63VHwF0V?(b2RkgB8nl%;SvKP#5jV9F3&wN0UqT!D2 z>f3n}k4X_ZuBH|s-+nTL`x6}I*HZfn!LRqRKdVwNgi^T>`@JGI)VY{rHM%%#3X?Tz z3S(%YvSYj!3~&~wqN7G*fxU~^Nx!7@EHcG+B^M>*6}Z(@qWalkGM3ox3mW9J37cjv zB7571B;~E}U9<*n)kBh0gaWWTGXMeg=+*^Ha6=F{K< zBum3&8NuAgh}I4>1MB3NA$D{W+*()&rm|C4w|(CsVRO_7Zex|}@UP(>jkS`Tnoxo~ zifik@NL@UbNg@@~A3PN0?;e;lohDIE%C6=q_+IPa74THIowvmJZ!Ch=bJhTzY~U3G zr@*#h3@%bSVL9bWVmWKuhpOwx-BR6>l33e|uXuWcbH)sQR-?45FN;y<3C~KknUrJ! zV+e*dmu?3`%{Yd!3?{ansRr!kSh1G2VxCgD)S44?m|u6Hrj{PsUB9cxjC6`rv~rQE znh8=o^u}xFtd`q<#QR1UdBVh%%bL;dkV!b_BwvAZTh;&4-vlqa?@L=&39kNFiq zg@pq{z;M3+P1)3ub7aW-C=ES}s0(ZHqC($;ETsQ~Hm1telWV%$ZL6l-@3{t@m`7`1 zg(<^d0|_rjPh-(qZ4Mez-rtZuZaq6t`7p#yww$M+wlZ^x8%?wgRn5^U28eVx8!YC^ zGETA?>$SOHn}{i}@+hWB!y>~Y86Pfecxwyi9Pw~<%>(g3o{63D>_n(@ZB%9%S5(!l-!(r4&m?p6cx@-EE(QoeT@%uO~qR*C@-&$h{$zUzX3X} z#|3lJ!+YDgwd-UVueL9)cBpG5DO$h@eN_6%T!3PKKI>!e>&cWS-QOCw%DarCj-|?rd#J(N?WklQ%f=?rkn=FV9S6So&2))a?e4 z&wx^IcSQL%m2|E4orRt77u)w8X<^jzn#T>}*V z4Ms<%;%5ch^7OZ!w9(PhR1&FrNl><_GXMQ5<)4}xLaNlbpW@rmJLnHtQJRQ~Z; zbdiiiG`bbvqi;X=cvB&&g!I-L91jFbL#RsH>}m_x5z7(IxEj}G zTg?S=&l(u{pfAD^y)H2yx&;Qxzhv0HJ?m}E;;5*t zi=!RREwSO)^~Idx>~K?n{*jEv(z@MWKU&(ZBwfLEMQUcf>cernOx+8p!htgz>u1a-wJrF#W-d$~KdIMtU}u?71gc~`}E z2zK9)FI~ynb99!m>M5nu%FBPmoo@``-x!Q-2?)FbD2*)M=H)x|{sJEVN7gD=Tt(t- zB@j-|!_(L34IjO_$ZO6QhLn4%9BTRyVEFBiS3qqD+62}6xkut(viFqH`Swj6*=S=g~c0dqL|}C)$_s|#>Eyaj!9c$I4_Hjf?fTznhWL|CTv$cQlbNkFgsL^0owCp^Fp7hCQwxFdSo z@2*OKS2F>_t2)PCAu?z?rBgLP1r5`)QmlJkJN*< z?*K?E&7_29jg>^Z7M77ELt4tCMl*WW#wPA$)lt7xB?`JAnrmo2zc*-~hLtEdT8#3z zBkxNYP(K=tFw+naxLM#37ymhTpfeSw4Qn%$WFGoiBnpH&+*`OS?KQCAyCk;YT|+F$ z^3K}&tNhNv5a}5M*HNe6!+^k-;$K|xc{m>%8^0A_UhkmXrDff03i_E4&CY$u0!_t; zuIf0>c|Bf6_{z#ZIsRWm1SwYJAdkY`-%$1>;U*%@lJzO1MEoF;o?~8LnDOSp6ucO2 z(I&(cD}buU#hcyi2HS+;53ydxRe_X*8bHsCo0He+zW={Q|NoI7Jip%*2G67fBq_4E zl1O@y3$qEz3X6dV>PZ36RsH8KF1;!`cPQEs?$=S9 zj^yTi$)z0(ku@xQ^(*p3^e*jXZ1D_Bo);IH6tROBS!JA!xAol_SicP^%X?&}JQBtY zk&H8LC_13g7F|-fX~1Q?VxP*4u5Qn8p~+Ba**Sc|s7D_~GB-W6e4~|}$u2e*TNM_# zO2ssaO*U+$t~uK^wVNhcym#ZiBrm{wwR)(9q~rRW&&nVEsO*oh{vvIfd1ff7&#^R9 zBCrytYwiLyqc1ChIZ*oTN4?0vCoW(b$4%X$0Cou#lCs;jfH^;GYU&J5NGv=o3?8#q zZaA#GExMs%cejdp!t(A#vS2;R)iS9~DRXDBN+DRHBzizXS!00NVNP1drzfzBzQ|MR zsG$Ti{KOrS&8+l0f%c|xS4}mw>t6>%xHz*ck9Uwub!U<+6MDrhYJV6E5J)a;!2wA7 zERk4r(4n85H9{Vg!*n~k z!(_NPb0i>C0u7H2`=wj^fPLpzK;h26m@Ntz434$=actM(Af-pEILR7ql|FSRUi!6y zXNz;|vCvc)_@?S=uf0}Ik6SmAaF^cfrYm54+sb6>CO&EWgQ$cRmq+L7OI6MDdt^I!Yy-uTS#kec25SWh<+y=pofm8;h}Y@AV& ztX2HRXkx2NOUf&vX%|;rL$&FMaHOZ<-Aq8FG9n4WDB;z`;L@A|QA>rI@&Ou4FP6klg75z>0VC-g;}5eI^NSL7 z73H7_*hNiO2z`C1XxdeR6qe#)qg&-dRQ-#_gPwhSTz9_VZD3Dxkj6;i^6lHvHrV^} zE)m_;4R~eXtsw{*~=RO8Yf~s1b$U` z2!ZJBLENh8(Tb~9RCf0rR2Zs*%W1HTn(^}YCckLgkTaZxK9hXDP%g}Bwq!+KHZ{!> z^s0I|Y1eINEw{#T$GoOV`j)$onsCDrAr+O9cBZ-oJnkM581c%2(|EJZa-*NUt^hsLX4BLrOY4VX&Hne71!cpW=lE=A-?^?YaVCOuLTu4qDv`UCnN3`iRji z4Y54rVuBALI6ELzcyr3ler5e#P#8GrKHB?;4+P7Ei9_4mO12F$+6{YM_!q)xBzhuz z3JRaX9G9mZqcp_Smq=HH$qn_;fV^NIVMpj^f6t(FLqan76!5JD@Q1=Ep!PfbyH7C&fjZ!s&;RVV zGxe)$G@!Hf5tR4SH{})J?R*{o{_dXUgS9rE2%)XQvq#nN!6 z%2Jn4v)qU4hQj4<)f4(9IbNs^*W=~cl0GqzjhDPnofc%OuIW@`t>{uWjsoZ*oXG_$mqkubhuC;)mDj6t#moVNp~x=RhY0z~E-Am$U{yAKwh`!u0Thod;iic~-z&)3*;nJCqQ_6=^1yX@cT%3|ix3@5GN4s(4wdRTM*q zZUJWm=c86}P6L~?S1}(Hy(^pI!qKWDj8HMPfds|CjxUV3t6Pcf)p3p#Y6tgT2XoH| z_r)z?wuuBwz@`Zon^#BOIF90Ot;mOAkSYwan;pZzox! zD4^vWzx^2mHtI^JSJA}G9*2?Ms| zh#La^Kp@#rm1oIF9`BPf+4HB1{pu5JpaMJBybMqMLQbN3>F7q9U4}l2jheXAlc-~Q z`+GdOIx6V|?_2rQ=*4#KktF^0G`&xzb2_e|7;2zT<@T){N>d`L)Oqf%tEsG?#Vx%( zrC8NRlb>FV%#`x<>2AXHWLih^RdAe-?WP7jFEo|gzgtCXr2%kv!s+|&p?znb9#ot^ z#Am!Nc7p+8qDI`VF_)1s-uhQQU8{)`Vw%+zM_1HEjH{8_oTv!oKGiV}ENm==u>nhl z&$x8(5>mTm)2{a(?mGh!ss4RX*ou&*recTUf$Q~hd}%9z!q{?fCO&EEZ>Q+ZT@Bmb zVr22iNb9Z6BWSZVng&yl^6ssuRYjpR3z#mxf%sWtMWXxi-B&@&Ze9##yLX95M0!v=2m%Yiz z^9lg}byRglq_h+0VostLzonlHOM4d~Px z8;divSQlfeTxp7zr8C6QPNp-jAiWzzxtUb3D6jl;LNA(j*)?95N`tRch(00pVybj) z6|ZR{<$FwHL2jIc?M-rqj$h zP^>zV2*Zr*vFi}FA1Cq0O?CD|-BZ9e=y`6u`!d5Ha4~luJs5{sE#|5hwZt(}p|`MG zTH2Y4$qlLX8PTdPnESF&5+5A)I|7O^0G!=w02Qfpv8nWJ4HOwlLY0aqafI8+wquq9 za_9(Sh)FVs_-cxa%VTmw+3Q15*t==l=ix!ZmojfjW`oF9*ilUbjWC+qI7B#554&^G z96e$Dgy_{i%@TV{O_IqR9{P8wK}5}aOn98j`!zS1?%V`s_$;xWYuS8`lJ6&qiZ?G? zhGYoQi_=#s|K+~Tuw_*i=?*EdirGuMB{)mqPp}!P3j<~jLSCvduNFJ#4RG8te0!n2 zN#dovHG_Bh3ZMb+Hjh?U|I8KMp^Bci1-mt~A* zT^v}`urIpu9%Ix-&&!XMsB34b5_<+83O*+}P}dnG=c$vukV2!%saBXC<+9orXy=I+ zbD^bmdIdmSOPi(C1xn}Qnz?xU6%0YO`72mH6YD9*MrFO9;Sv)wl_>g|?RxYA^>a>l zckuKKY`e3pUQZj1v1oVq1FZ|R+!xysh&{gC2PR=MUfXx#hJ0`TwYsvxbgIB#I1uSI zA7gzMcFesz-!WGCp^_zZI5vfkn{br>)5wVfDQ}g&M3t>=@rnidWsIG(1z2s}1~$#G zi#2&ns!~N?(;`)Nk2vl^U15`fNf+i}p~+=DHXX4n8HJpr9*YiY7bSIafS&V$DZEN? zlt%pas=RV%z{S*CA=3j_(cnvA-Fw)O?W+%MGr6I?YOTD{(=N ztcW9{JW9r+cBKNW(w3Hw$|XAr^wR4Mt+XN%ma^O(?!9`!*4d%euK)-AdhVsFe0JrE z1^jZx$X&~_-Ftl5$`H)KEiJcT_o@%dN$N9cgTV=Xf#G3zuEXrUM3aTOZRMFIxVglv zi+#tK^{RiK@b62w_OR?Nnf8RYM0+R!$P^J<2SQ0|sya7}`gLW#T_qIA93yW5$G zj~sl!G3-4w(D7$}mG)yvUXiB$oBh^gyDi zHg_|2D0=zvs1V`13bh}bE z9y%3Mo7)8Khvyw5E++6DaG<`W%B%|QQudfGj8%)i_(j|CuGIaQ-2*E0b5@$S6A-e_ zA15G!j(ZtT=6NB{Yj<^dkKO{Sc!R}Qhat8L%0bA~@{uyL`W=*Es0#8qgF%fX9+XOP zpjgsYA!1~Wr6kbNlsy+Qj(2|l!I@YyTcvcV0?$u_PZy`If8Nw)5;|F zlGW{mv3W8r&Nfd}f4IGPGd}!2&EEEg5jtm=k(bU=sLd*-A-F^ToEeoD@h^FP{cX@6J zDlKV=O#E$GTQdQab|w-YhHBb<&6VcaxW2lD%0wYUHJ_BaiV)U%d*{zm;a5KpYo%>E z&(-FHZ#Lk0_T@?U#_IA+O@y)hQ)9Nv_9oK4L$jNa8g!`@a{p$s(BbkZ zM5=mf2Vj4eh}T}A`hlv{k^ZYk^O^EWT~Wr{d{#TZqp17*rO2exTe+w&1@3}!fX`iN zEJ%=foXT}NMnQJq?HT`YrM;cK?HPl^fmD@!Y^DZW;?}~jy}P=1OY84G(6)I<8fePxb~p=qgvqJfXJB3WtzRDRd0$BU!AuY zbh(&1bArc3%l@S+DI5iVU;F>i_LjkM1i^ylh?$w0naSc2Gcz+=BbID2^N5*o#LTiR zW@fh7Vzy+<^6Kr2eRmOW_wL8V^{$!!9Kj%fwD(d!Ys1#P^f5nZ;dYxHYz6qB%#EOmT@lj_UNfZA8YW~yH(=`h^TWu49KpJR)s>1w4*95TJ@65JZa)f!UYmE-mK5V{d zIs(z1zrMh=>68g+6LcQeHqKTS5)bmP57WLJt2VADIz{&8k8OJW1GK#8t?Y^|HT*3c z?61Fj&JVhL$9wWgYQ6Xeu)A%j>HS)1_D4M8tI6S&@CP^X#&Ui`;js2T_rpxj_mAqg z=OEfJ-M+T^^VM2ukW}u{S$h%L z)Qd2CvB}WRONU4cVnZni|MtZG2WY!sz?601rYX79mQfMC{{QVpLnwIeq;Av2S|B1$ zU*+O{^~AKbbGcaPN+cO1m6uI$(+;|gjJ=Gw_9yt7{#d$wPXGOwcPrI3eH0Ujgt%1J z>m4#{_YlBpT9C=*=iYz$%YZ5Wb^^R-WQ4RE6k_ZbSRK2gXHuNV?=+|4yV5C3E5N{? zEO;f4Jfg;vr2({nKl-(x;VWh3^D4%v`?IMn6LhRczp_%*DiG(ARP!-RPZ~NxPNUna z05=E2{Mt&waQB(u(F%yuwpk75Ftosr@nETk)1Am!2anulM-5+ZB56p`IMUroYfYJt z=fz>;!XcH_Y|ao_3dIt#mzV34N-wLkV_j{QcV(>`Jw&OujUj(H-~6O>r9Q~1jF-^x zSjP!R=M9hQXr=0v((!luIY|oJjsoBI;y}S_*OhE)+min$cC+x2gOZV1uXhA6zo`%h zRU|`cG4}*!+e82o=~Dy9SSE3Wzag>eCNj|^`oqJ49)=CH=o$p)8t{#lZ?A01S~bGn z5m3?)`~!?@!ees`xW87CIoFR)afsw4fy^du@M`^qdHW z8h7&2tgep>woKUc&{x9zc6vuZK3xn$)}Qf+=DbfdGTJcx4Hj<+qjjEj;w*}x{f0Bz z)jyDc`ou%=Ya*^a-<<{-|LUyKJSX#h!esQT7W&5u-}nz!gbz}E-@x*@{OA-V5(@2_ z&Xo&xlX-Ez=`CmZK|Zq$jq7cvRM^sPyO6dB>&U8k`X^B&0~thCwEpBvE=lyRL_fk% z8ovD$R3-04sc{pl(-E>Y(On2PZle%65tnsB1=R54(T_AW8JS<1w+@}<4wJ0>8Ad;j zxPyPiY^V&|34+exWrgtE&zqm={{arl+N9sI#>4IZW1r#375^Xq2R>dW!{wvZHnF4m zN&v`m+;%X$y2iM`Q~N2;BshwrxhiKnz+I;E6cwSRT(^XO_Gv7B++drv& zP>gXeD&@W5deD$=mzbQ`Xb2-$3~h95FIXq^pgB-lj2F(6YSUykM^*-V+XTzG4*3_J zmfS>JjtWk0x=AJ9{&i_bgw2le>Le+sq<|YNfYB@Gy%d4G7h3N~(?>23Mx&HU6&-cv z6g^v<@N{RI4Y7Qnj%M5L_Dda~LQDyvMuI;`RF_{1IkY|U*aTkI7}lBn-ImQoJxs+m zhhb(-?jk3`Dnl#(k8!_CbCZ#IEP3VZ4S~cP_V$_#RsS0FZA<gjLvEesi2J-*L#+QSJmv{oM>0WpUyOpZF3kPBy zD3(B&&4pr1D(PgDy~jQthS@!C46W7CNaJXM&I*`qY((6pd&lBJ&iq=0bJ$eE%iaMX_?^^^I!m~GpRm!Hu|JZsHR6%Pe?~^a2lek7hoeoSEvTROWFeEhylL{ z8R#J~<>W$O<{1#6TG)~6!!v=fFGmIUk;Z0Mf`Ei=DJ1e0$$dYW=KUsM5 zfq5Mh&=^cG(nf~TywwnIzFlAB!|k-7&pF2SQ&SY_;4k;`X%(?J?! z5E^&F_6?-r)gSjCWBm4tSZ;TWg;dc- z{rh9)QyflZM{D^F<4*NYpZ#V5W)_7ItFQ1EGqI#mTsKY~yBx+Jd#!;-f8XqXfcx=( zfNmc=xzqqdf4tGVl}t@$f#DoO%drOMXr#}797-KlNmlYr&vP?#XhezfDp(1Z7%7{1 z9lX16Usl~u%cY&E>N(_Ktu|I@+u!_9?#gA3YTbyqxxZBK12GVu<)i2ZKNzHp8Pc#3 z$~DQ}1GDfwadw6^oz|v(g;Dc$V&;idO4YnAg@p{WV;PaA}k-b$+WvtOoamv>*nH6&4E%j!2wynI{~iG z?noC#Wv6L8%mFt+t|G}P7sB3aqoeFYch+&aJ>~9C6cVJ({?|Q`T>MDh;L9 zV=1H|iqru6MOa@ll^&ty7%N&&pa-vd*Gk61^yGUC)!Q~_(dO|(C7$BAq+8YK{_9F?^R4_)GLgAKh4mC!dh88s(2DMZB2*Avx zWE)cKS4(HV0&|7QXkC{HlvMJ0-Pm}SRIv@rrD)4=f>RW5F_MEpEXKGzS!F+kYDzjx z1SOkEb%Fj(-yyo`gq5kNn?`4Xzy%*s9nY-O;V?#mDhIPA2nf4pFR=pGmX8 zgZ7M86XM@lSS%JOb4ziEsEP29e*hwND;2%PZxLdRC#+27g3bDFCl*7yIN?3ydI-=D3~;kx3YWyiEt!e}L<;pb;YC$J1Z@ z{p6O-)&pR5Jq)gIAZ{Ut3!|n88^Y-K-YF&MF01JA-8|EUbUjJlWTx{{bTSuf38^q# z!%JBEL&=zE2;@Ue>0R;Cs&n9A{0)eP5${vAlo+zz(LI6E(klG7ifl1|dWI$Qe$ zBQPq@pJ1RVVn{x; zBl>U0J0fCmb=a~IDbezAvvcGr`nRW|LXPtE+y4MS+gotuR%EQ@KfntSXPFhwFKX(p zzR5SfMbeXtGsnA?Kxx_UAk)&TB3^$HpyQ1Ji67){actGq(8n>2 zU}^9q#}!Peyq3|+w}I3T)DX#LcC3iCH8B^}JD}f@*)d8?7|(AFeYMjz9ZrV0%N4#T z=n!`>4_NiZDIhuy*u3=jISC`3?TqH~{p>BF>Bv6TIVsoZO3zlo@)>L*aK_NS;iSiC zV(+%Xc@@$?t1&qP*`J)R@#)=a;9_O$G4&>=6GjS>nJ}N6$Sy<(yIhqq)_)+^_s6AP z+t0UuoNDVA1!C4fb3Vy?Ko5HD49^|1^B7#)E$FW%9sw{O!q_-6KXI+*?W=9#{NH(k z9-R5rD`-;ZAJjLn@p|o;gD}bdsNJt6v{+cL_fsPscrya6Hwh3w19fdv{R zrFl7L&9*THQyLt(VM?(ntTz=%B~24-c|!R2qjBGQnhps|*Vamxv=ay|(W@bCCYx`f zvhJuuCVWKti(H;2TDpCBLL6w6?&n-s-(bV4gU32D@-ul6tEa+&AIAcg5H+FjNhL;4k4)L_UK8(P9aevOMR@Tzdz`Cf@$|D9@fWG+ zrW+TUD$Xy?o1MOk`(hP7HbNu>otwC#l1FP$IomCCiWPeYV`V3c==cg?|;5qhX zQ)x?+$OWVQ5O_AZV5uyV%b7^4R#BZDA&`6EzK~aP>>grc4K_W69#s+vk8>nV9`;d7 z@S|$EHbQ9*ypV{}L{On!S45THYWD$AlvDg}obF_4f7D&F9c=u|GKB_zI?0S|O+}(C zME|f$pTyvRozQ#5X2q#3-;$3vE&RLR7ZR*Jf%G11f{g1G0Fh#cn-dxiwDNU-pr zLJ4hh_fb~-b7Rf~+fg(6-Me=6EkA@~;PVtRq@K}yO-~k8Q2nsQoJKZrm{5wpGP~C5 z>rDNf&(OZ>EElCvhL_cL{0x_hf9lyWr#p9i9&>;j#^9`~LqUjr0P7A#%A7=t9zpwhEEM*4f#3 zZlsY!Q}3H(iC!c7S&^Xa$o{JdfAAM$+Ex-4_e1*}N4NLdnH_ymdFbP1VtsWX{%DIV zb0w`T4e_4G>Hj-3f;ClvudNEUdochj{R7O}6G9HGn$afWT;zAwY?#y|3c5}I)A%u+>-{Y z+lOORBZ=dOSmy+8Fjd)GqUaWDP(aZO(xb|FsgS_)pwrj`UJa)V#vP^zkuN*s6nHqYB-39p)V*iNwgRY4!z89Dk)VdOk|WBDj}ov zu|#UpQz2r?aB9ciawgL{^I?8Iomrg)oZw@gQSI9Rq-JVMuV%tpa(D2EN2qbEvn90` zGo^?wRFZ0-tKwnHj+`&}N7?2d46NQyfUsQ4&nFoD*7}|y+zJ<$#c-ysujE3+`op@+ zudUn9NL3qNzqFh`ygme<8GQtg{6LeoI(t@R>IRzdOz4sWpUmYl3~21wYhE4mUi=iF z5v8o6r9Mc>cxRQlfZZ$NRlaHnO9V--4llZ!`DZv(?R9HBr(=ToLjCi$sy6D4y0D+L9JA`84^jS#+k%ojFBdl2vugcUpbRyp8?V6Hx*|$_v z8(iDxP7B~Ou8fsDH`@4JvYX0u0QrvLiBJuM+3%$Wo>n7?Yl_?dlO4$}U<#PdZKOnX z6Yrj8jZzZvU1w{4OEAp1)0u69U1dTWz0=21 zW%W7R5}T*-)N!%Kk0oz-z4Lh0OnV%w=Dy;HnvXG^tHzS-4kme`+=FmInr<1fdY6U| zy7ux-eq+f|z9@vo8$sDS_VI_06-TF)p_~RyDwu1t@8{lE?6NnhXL#GbQWC@OO;w{@ z(Fs~38#;;C*p`IAXcL0a4CDn-aH!T#B zwB`$a`b*5_g*v$YqVS_Av$p^Or5#9llA_YKSjR1N?I_&!;Q6jH10>NXJrgBfyXCqL z`0eZ@0Nxt^TPJ%>v-U%D)5A>hPmLS2F(Q5nhY1cvWrPh;%0c(}i8Pf&+HD{2V%@NT ztM+D{Ii7}wZ(T{fV>_9(#t8aVpIoUJQEaUf@nK$ULqO}5sLq${E!HTqqLH6PM|?Z{ z;EGHG=6=^Y_WM2zn$;(4+1(tT=33X>t~#W$p$2#@akiuwgF#uc`QoVrM{g5M>KjKN z8v7z*c`>0cmwJvll~A$bhL3a;w9J2ev<&zYXYJDx^wXbfD7q(@$QgM3*_VX6(M-PA zYW9Ei2(fa28_b6H)D>;4JsCs-C^VIN?e34t@EA4taCfR+@qI~ktZnoa!_HGUJ_pl(2EpVl`dv5w0aG;z!)%i+yTqA2a&=X}r&6}|}D%s3tt%cwK z{i6fYG`YOj(Ohuh`&A24Rhq;y89i&{zv9lq^%4u*sqeNa*9Donm<3EpQp3QXPpIIz z>NYTr-stGPeutxfgCmNJLe~>6;b)@?OPaZK zs}7ZV;@vFc{_S;0P@Nv57|`_kWRsqvJbQg~cuIz)Z{LomzkW|3ntCM0xjlXyE!ec% z?VYuQKU%TbWZ|P6MFWO6RF0w5ZLGUTQA$=qJOq!%t|t0(>04VpsR?8b6X)x|QTkSB z^MkflTVw2!rZg(9yq2)BzomG90^TnUdb)h_csT6+DjnvpZ`a5~{~D$ey?y$7Ln{c? z(A3l2#=sw$NuNTOT(k z$3S*=UmD4u;N!~_$>|c9OHliZ@-eWt>)}VUwNgCd%|_#iU?jm4j>Z+scD(oFgU9J0 zGkaCgpN5E|iJnpouz$(K#I2k` z`j}w`X55JrQ8Ha1q!--%DyD8K-mPI|IsX&RRaSKVqV|H#xw02Wd9|z2z>atXuPkt( z%gVl{ewRlO3{p~VArFcYVvTMGRagHQqRYh#{bHE?l=f8Ci0iv()a8TeczUnnp{Is^ zzS@CT8R@v8tJ*yQIoZ%g-dbtXKwi`VWxsdZ6&;_S5~*nKKbAS9nf;axS0o zD3&u$B0T?5b< zg}={MYr|C3yr?bIT9K7-F1ggaJ}HYtDrT(F*VbQ!4J}dn-Jvp%H5RE^68Db6KA|9) zew0Lw>?2c1aDrR*r|b&lo^JkE0tk!oH`w&7GS6y1_ItLD?&nr~#`j}4 zcpy$ye&e9SXr03$SSVK6=j^UesO?JTz=rN*^{8`WvHq@VH`hkAZU_0A^Do}7+vf>_ ze8T$A={^a+zb*?aiq=nnr0YybboyjR0&=@uw!y!h&Zw?a%(z7j7pQM&_#j2~a=)0P zx%NX8uTEGbc%70cYUa*vWY#2ugmQE_&hyY zo1(v=x*p2ESIic5?1PcB+7&8`kqGNjlk_w90#uCme7`t1e&?y8J&9e_L_e-N`7Qji zyj3;(Vd4~bAZAeMjPM}gZzjMbh5 zsfaQP4mvygclJMQJK_I1+&^u=I^I&TGO$VBqWHGE!I!Al2(lBZ{W(ICsVj#fLl`td z9JJ7Sh_)rq2$B~7UG{|p=thT|KtRAM`rQ_N0}V z{iZboP{Hyh9>XMgG~>PsWREMkdrl~P_lWzd{ol_|AQ*`s`lE;byXn6~B(*yK13csz zomW!WZ~OzC3U;ihiY>H!sI%^Fki4&@cK-l*2YWh#lXtIvcq?y+o$VMNSgxy0r*Z7N zTjCL-u!@_TqgBepjBj~s_H_>rzhtMLzs#K<9bz%X-XiLYA|YFpbcT>HT6P^1(;!0b z+W1tbx_%4ZHUl?nO|P?8+ti!fu(*V{9YI3JJ+)bg&G*99obrDJUlCRM{hI@R5&72> z*tHzpky-9%(c3Ik4;t2F8wev&vs_&B$D-h%PU>4sY~AIgh<{fT&*xkrnSJiACa)8x zi~Th&GG$7J8Z=%bUqdeL5=iNMKN@?fMC7UI>tVxnml0Vl@fyU;g0NeF7q{eDkh{|J zxKr|XWF8@2dQut%_WR`g+~g(KcRhSt$paBY`NJr94;$OYO9B>89z*l+)xs_$-~sBXk?0C7OR1Xc`)mXG&W-*FER?nOc8TdvpUvt^@8EKNDn zgTcfgdWOyzq6!d?8UOLV&QsQ26sCDt^?VEo)i^AaSL{P-1^+>Sej*cTH^aBFb7z=M zb+i{n-s~)}*6uS&8rEBeO_XAWg>tXvBRNK5)-ls1_*W%3KneU+>+p#m z>WW?FNiAu49ig?0U_}hWaynqBVlEw@mWg|bY8>-42GF90EQEBg<`IUws!2Nh&YZpb z5Aa{tvUN(9t4*Xwm>gr zc+A{JQF8V8SP~7? z8*dE1zZR?M?BT2#HHnPQxN82py%jVci!@K)L~^)hP2{RWM_eZbOHE@|>$<1NZ~WOX zGp^V2>1;izRDJgMJ_D-yCua>|RiZjMlvw`O`u@E(*yp=#=jR@AM`;kJH*`c;O8f>@6zAuFJ&Kym-HekXnvfS;)dFLM z>RE?p41bwilHPeQ)MB4rHgfJhG#Dk$lu9?#+#GHM(9@Nu;mgZLGG%JJU^XZSfg!H2 zsOsaQx9=F|(UA5^iB*4wfDm1Kylm<{h2di{~pGlI&f zw1uOHoH+2#x9K_|^YXQDWnvWLQJVN4z(eZb7lTFOPoJl(zsA8Ll{QnwIzafwA+0S#B9dMOVA6UPTirAlkQqk=-P=?hmApDyF?nH$j0NXsglEGS=5Pc^VLr;C zJ(Ob#uKE=+QL)yPeY|S8Y>+aT=xeE$-8Kj|ZcBkopn`w%T$GJ5;i(rAhU<1U zsOIuUB#Aj6(te4oWK6YGz1eeib!tJ(ZjIsA2ywRMpFLrIBIM_)#lkDyjNak-Z*Q4s zUb1tKhHE!Y@sv~1Ok?P0G5KiU3~|qFRcuv3B3qNkf<=iTq5evKT9dVa^&Sc}*b|?Y z>Kh4#rndJ2o(@G5q~6VGt`gi?PRr`Bp9?mbhFCsb(XE#0U&iQIEqesCAM0$L z9xyp?nNAE_c3wf!9NOM?uj25vqZg2E8Cy-XT~3e6#;P0+cdZG6+X@($T=JDn&>@*! z{9j&Ip=!I5#V4H)!&#l}o{&u)S4;Dv?f~;Av9y9(Q`~jJzycEDuBe(q^_AWAn=}^R zhQ!3}RhCp8ZB>RtpGT&oonc6bFD3l402kfL9GIOL6Es3h62(kAu4)na<19C;)?-0W zm2PXsVVtlJzZFY=Q7MzzI7B)Oo^tmNZLv}%nKQ{FYv)GAIA$)6F~zZ#(Uob2R96RI zEz~L^6_8>+i3{mU-B*lZHN5gbh9p^S9?1#Bho;avsTY#ExP4(uFg|Z0TUD|QyGCn- zwVIBf(-S#dUxDJg6x!q<%AChQ6Zh@a|F6Fw!f&dCpsr%~%%cc(|Ni?hl)CT)nhYuV zqSTBGAN>HVTH^Lg5j@hK9#a>gR|@d1w#K$r2YQ?WA%F6rJ}$phcfMdbsh@i+Rl-KWEFu+-As1TA$%h5@-s-hL2%fArXVN%~w5jrA zA#^B)_%SCAa2HQ|I!IdlP%E*0?!)m_JeJvBb}F}MXc(=XvrtM=$uko2m{R;wNZXn3 z!CllCg8%7MLs+F+qj^)8EWt?!rXlB$sU?cN9k^-Ojo9eSJ*B)jA_=WLkwQ1!-R6!M z8gPWFahTxURP1hYR~eXxkLOX^KFU`h>Svm=eK*4UW<^yqK_!!>fjW%p0CF^B=&SW_ zYS7v2b{J`wbJIcZSCw*v+^-?8^$SBX61!*a%2TAN8hPxdI`f{ZvfFB5Hm^&%AR`ku zh{f05Prk!~RcnxJ6!ky9l+If$`Qo*k$##IYth5+s-I@M!UU&x~ zZ>f!eYa$|Qa6FgsUcOHhZDj?kFS7iI)JC;EpMkw(9MhIlMc`f z^5R~Q@(2qXDsb?KpYZ|2)3DF-zDpYyM)uzi* zA$G2U#cmuNjhL|qFyD+7I%`pwG-{|h0b9>2BP2+^NBASLFr-Is+%J_DnpVD;Hio+_ zJvfOJ$}zc8DE1^?5{DRaDx`rW_>_QFhTt%19Dth(7+Q+ z1!zhrG>#B19yBJnA0peCP=7j<+2$X=9^Pmubo?(AJ;~Ggo89z#y((u=3E|qG90J1H zi7s>_qQNA({r4oef}G{64r#xpL1&L{Nqh?bO(1dLqb4jcg$H* z`|J_Y7)|npw#flm!1ldp0IMZ)0|z@*`ev+E)B4M(70>}(G}B0?(pUDT`UOWG7gK@L zzzREW-+}+<^5%?JfQAcKKr|6!`R1~%fiw#X6K%l(old`wlaB!=)-fk0nLE5_G|Bl| zdX)EwCC_f}6vM_yN4+hbQWE^vKmnJy)g1fF%S$zKT9N9OOS%lg=_DcTe0pI;xawXR zodYSkc)z*?_n3{jC|r(IY7;hD0|lobLM~t;YYBM@X=G7W?7dSPj?N*|x6lm-6)*)k zq&E5Y6ykJqdu3&7x}8v!eQ5x78F`xPy|#IQejk08NgII}FLLw~nDwIZ)s0mUCW3fy zsyfZ*mE9M}HT3~b8T_q$aJ`ZHKTg}vq1G>IH2H0%&P77kKDmy36kR3_=_K^V_SYa+ z*{lPc^nMo&@)Jl!^^iO^XQ|J3%I&qL?Z?ZHbPm1m5C1EW;J=SvMD^!6^bGc;38lXc z-UeN%^o%xVmtF{aACA{Qd-M-G4ICV*{6bMjjudG7qTiGI47<}@&P2B$mL=E}SO5GNP?dbL-2=JuueqF5O5$7ZOvj2YQM z6U~0cRM}{kr@1v;(z`o(UT^mQ^@;rq%#F4O0r}5kx{gpbhgT*ORE+xzxF!uu@$6{R zHDomO=LXUs(SEuwN!YEUc!7gb@OSgVh$u=catr+Fjc1U6&WoXj!|G$%yWwtf9ix z>4zS9H6@_6_sIXuqXz{8B~JCRG4#o1>5Og^#MVeW(XQ4kS4?MQOl%4sVGOtNo9Ljx zC5JhRA}J{ccm4F1#MhS~6$bKhF2k&1rZntEiHlGW(q+QjZhhLR&PTAElJNVXPt31K zbOa;Afhth(r&OsZ4RT@!a{_IE)q-l^?S2| zCU&*~s7FKGdPM%IsW_B`ZZCVXJ3`Xl;tvzv@$ZUDUr9$1vP5RFWN8YgL*_}aBk^7~ zMV9RLpfg{?kn=-Wz|v=8*48xowEgaGyz)5!z0*pu=eA@_7@5+dJ&SGiIovLm`gBg~ z`y6783WIj}cSLO0MvhW*Qmn%l zd`N24pyh@EnYykan8DG3Wol&^v0#A;*aw1guG9T25Ase5Hd=nu$E%D-^yW&6&{a^( z>oCk$2HUsTt|94K2x6`*bd1o$ZRIe0mh~F2ySJUonkGGKY!0ki4gfLxDRuAok zxu=B@%Tvo;+-*ikHQU!XDV3ya-rRZ#(P?Ej)?~@2Vjh%p*!6A*4G73X8sC zk5zQH)xekgqjn3G1S@QLt&nOHvRwX)%W8p)jZL;TQLEaKw5@Fe_$|f zOH8RU!|ih;n`^+L=8u;Y#Zt>z%a@H1=SC+;KpUFAR6B-g; zm=6`0*8#kh5p!j71}lI|L|MF3wRp%)g3lC6l|q{P37&}kJ~-l+@{@C3<|j%7c)03< z%E}YcOA%pgA)9XDBm|NDl}}dg?G?if?!2tyQuDDR6}9#FC#!wPQ(;LigIu*{IiWOD4myJ9-g+ zMG4GhZM{+}6#Mcjk-n;mgc8RTkhDNp?zO|bJC}+BMT4cyq1at^jxpYu690*zHHZRR z9e~o-qetoJrp<^YU!@;ntx_P5<9Rt(DCU1!o0rEH9f}eKN+(me9!G|)t41=@bhA?F zM1Sw`Ekw#1CUODrW4#Sv#1qy)U(G@N0{~(_)rUK$*Q)x00T~0_82HvTookO++^nWu ztFwR*C2U?=TNp9tT+dr{gxcH=-%{TB@Uorkx`zZ8dtoHZRl;NG;Hd7c37b5QDCAQ9UF^N2Y1K3S;kqEL;YCySU9P>Mui!7ig8^|_ zR+@=yWK$nli7#tXw!49{6OR0QvOPl4G@4Mbv&T@PFGZ~%(f zcS{3f$1~woD2AZ|FA`GE+N%k?rrNa30Dz!lA}$qa&TW@vh1+`#79&(s@e8CwrWL7o zW#?1IhbUY>6T}Th5oY{#8^CA4XP>`}_e#g(;YH9$w17-#Y{hh^{s#jMwgD+sI)jGw zv0g;nlUBkfyks1=682vlIpGPz}tTM8FnIF*RjZvU+CokyI;NOGoq z=69*>GX};)RU|Sj%rJV%@Uv9;tPxVIFP)#0cRu;UAp>B_D&RKx@+mnm4W?cZMcNMgE$K8j2a#k}1v~@&hPDtLgudf#RyR!n_PQ`&-?i(zQk+M#!Tuw?>Pq z;kzQCR0lM~0wAJKnc4iNhDNle4tBH;x;Ukb^QXG=vTb`;P-T=zi29r^Av8OO2)2+S z$6TaIC!RhmGTzWEbNDK2ldlx|e5|4cNlBh+!_=Gyu@g#)(KZ$$5gYuJz#mb7guXzP zoz)E~y4d2;$4U}$-dcOQs!pUT&%tdMV=EWYAZPXF zGk<1e50NKCfOEu)Kv6e|#qP}i9a=$2=(^vC&3GaWyo<7^yzs8z)bFt0(DzMA3|J1v zENan$gZ;Lf&fq?1TyoxcI9`@@4d>l>*VpfvHho1gKFk24axq+=PrwR{lYzf1$iEi) z-dz{`g3wEA1&pbk&9|oJg~!KI4R~}7T#qw_e#iY}G1K$qqyF}UpgW8UN#(ty`8K9( ziX?m-e7ih6TRNVdEv4CsGqxri@ytKKqhy|YyTZW=G+OEsJ#b=#M}J@UH&-^Ab5&HQe+JN6B3YlZ zCV>74s|jw2kMM6)r7{yVmxSYNiQvG%3Us>r514CSI{x{k1cwhlNbB$Hj%ac+}%T!-xkJb6T9m!#~7rt&F)(f zc^gG<2%vJVHnaOp%R?wpV2aBRN=RGRB&rqJ@`oouNp1mzCIizOzRF z(n`E_b2-k3Bqk3LI-Ub?r|U(w4skapYhat2u#Z=Ai1?LZlfnzx`LN-Eic~Px!*Q{u zDHN#s(TH#;JN8lz5y3+7VaEB@^fYxUD_qFl2e!PeG~E_Cxxla!+Xj}Vfn^TVw5%KL zGSEt+6mq^51vVQFZ#8l)l~M8qLEpNFan8J1ga%ZRB4sSD%XC;Lz5+HgzP-XCj3&Y0 ziFSh{A!g2tT~jSR%NUQE$^vr^w&9GBk?yO4Nj2+1JWmp|1SX(qSa~PB?r00U4o34R z9M#7Fm~oqkXTX4>j>kU|BMV0!%`&d*_fo zFq9Q=m=Y6vrcMO$=yZb>-d3SN`>G;*j}y!*b{?uG%PeXl+HbQR!D7}}$Tz_4px#zQ z2w)Z|C%14;(4hW-mLF*Jz7R1>7tZ8?FrLLb(X!ZJZchQ-!$?i#fTLL?YPfztl0jrh@rNKNOfv5rB@^LxoUyaxAbKJWs+SjR$~$2i?8T%X+&&iJMgF6#90 zgc-3HUQ$_+5|9D@uBo8UC~GMV&263b-Tg$FX`l!I4LzU_1JFc_p|N(Q0WLdZ# z&NT?LocZ+Ip!o`mn%0ocjXObX-Q=c&ffXtG9|2Bcc){~cdDNL$2OWP3#T2Mc4kU7P zoK-USt0L_XX@){WZftYSD>Oe=_hN3h4cuP{C9#iUyJCH}J&}ZL#Co0->SEl1vpAG; z%a_f60L(B6c=Nor#8X5url%O;Z<2~ZWOf?tJ`d?dxNmSUiet2#X>4gT?Isa))^!R8 zLv?`JJ`%zrWhf{~YJA|2plHb=7;e?gA*-1?8x-)SjxyU!KxO## zODpoU?J=Xpeiw%ZWtF)}b0j%R%AKYnJe(_{iy5f;3lF~Qke28u0NZI%*Hq> z2jQIU|7_7VAkLr_MGC%fjo6&ZmD?Y~jiICO4=^i|#Z9*}c+`YGp~AUHVEN$zZTys= zjMOC!WiW{hG1V_kt(!y=j5BIv{*=Q`r%ufTJ=mnV#!v*8&5W1kpem^sSkGghBv_VK z;Lytu;0$lHM#Zp?ySOKQZ?RpaqK=NG1C!viI&ZYt-tZbk+)Lcq)B1tEnG~Xze7UeP zm>Zlf?;!?doWxdAs|pN2_UV*DNU`n?W*T*!*xHbO zk77^UkeO*qS{L8!Osym83qt(2leFfGR;uIk_OEUd2mD<}iLQ01unbU@aa8pN0SgS1 z=4q1i47KD<g2oL%WqEKY78hDc`!Lp#< zo0_Xs6_xY-$-T?Y6r(?f-bjIJvbJ2dvBYwv-0W6Q#t-W^jsF3$rNiabLjJn4x&;IFfd}1p-bmsHD`+MV<X6oR@7;SBF#eI5_fVn1)dS~Z(9{V2`}D<%<35&k zF3V5<0J?NEziY`QG!D68U-OzT;{Qn9SH(0X*N|!qzhw}5z~L|{+zxL05dxVgZ%H3e zs+lz>^0ngtfhE_lsj$HE&BoXbf`cqPG@=r{=av+72(AN@uDdrLT`^`_l}tQqOM42d z)eK#xu>-1oOV&V5x&Ccv0a^er6JjF=nJvtUEwi=vRs+X8F%fv2pDc^|%n8p#H8lYp_5JFgd;k_D|T zY)j#%3=?-R2AA*16ikvZaey{s?G)qQAzUJ_;f-oH^rD(ER_Zr}CZ%!9F}&bEs9Go~ z%6_@WS32X4&5P>9OEh^6;3BXAlViw>;y(bcGin1t5&&BG_>$?UsNQsFED7g0R_UWu z;eko)-Qn2Rx}0jL_9Imcc=rIugk5aypqHutEPwN#raFfFWDtGB^OM?@+09wurnlsD zlE_T_a`DSQ0O7CAB7I>}bNy~U#CP#g(e_${xx5(k%OLXIzbzIUNr!uTv*OTbfsDul zS7F9FFPIK@C-*&bjX$uZJ8iX;rj<%%2BvvZ3^3%2=Q|YO1;W#QYRTe>C1)-wy2%Vm z24}N@T56KCaRvz-o(tUY@4lv`NXOC>*3+W09kt8*=_XFDr^+$?B&Z1vE>nV^vbr*m zLO*1eX=_;>DZ^wi&{-d5t1}1_P`3TrH-^+6cJ<&FW-Lk))ISe@P_&O8g&1Z`h7$Bm zkcfr+B&5);h=tonm$E)Ly%+w40grhK zk73|1v3*;spMbM^6)*d3#?an{CV5# zob&ssw|AGH6K#W+5v~*JKho6B-F>uuUHR$z=sFek0|nDdn@k&&FS8*73*5Tve%%70 zDUR`>7QrhQ10D)wjfB|mcf_z8xHp{Mxvr$GdS$qZQ~Aog*|N^#-Cf@6nr9H2HjwrV zc8P(`g$!oqdw@Y!;~3^l&I*K6lOZr_&L6H!xL8<=ZS@zppy#-wxb zeE*%w=b!yrXCFFx?xVodclfFeqdUtC_D;x{u6=YqqVM?Jo&6oBO5=$7E**wF={dgX zpVzBu@)8VWw#9uY`7RuvwVo-SA?D|le|tRioaE5)((ib9RAkJ^@O^i)2rXX|Hoxdc z;3pm>w0tq{abL5gN$Vtz*S$Gg!m^QhCpP6-XfBc6sbhpPJ9h%~flb#oPgo=nYQUfg zZL?^Xrtz((R1Cc(sf^+<({}LL+L6qhAggw*Y)=@u0DtJN-yBv}DtkcmHOkxfST?h# zVhh%k;EgMK{=Fp?H8GQpd5M@E1G@!7>@$?StRLzTz!k$I2Rc_{)L$6YZZ|{@M4Y5| zvFP3AA9HgHQ{2$#-SpDN2Ps(tm&`J= zH?iJUQg5( zUmvtGxpb|ycBk59PVDN~t$7_x^${15GUqMv&%I%U+;|2_Py^pX|e-J%~G13uHS)3_X0(s3I5=`Wxv2}+%(be-e1*>kU*!yul>06sd|tz$_s4$!%=bHM z$}ByIG~RVe3n5bX%b0-alk$mbG#Hz8%{Hxc>vws3cs~r>=V?S1-rer_JTGkwk>h(6-Ch6+K=%5w!7z4LSMAVeVv-T+FahM^}+sB`t+Ii;^h6GR}o1mU7STf zqozMfIqXYGAOFN&5kjrqVMfIN1;lQXhH^Au5J1KNW&i*<@P8Hq{%rj}DWQ>!&_Ch- zO<(iB=#%XH(Y}E)H~LTZA=V=$f5Pe8R{jJ7;cY9Xe-iLtopt>a?p3(-?oT**TW`sq zaL|7_uYuxo&0qT2qzWPJNLvHsFCI<(_h}(;(rho9gabI}FPxF|{Z$}@f5&mZKqLu| zBUwNL0F-3s7liw@A#EXW0Lh3308I$tm)gGy1o(#?H0cl|>G0ozU+4X0$KY>$7)kW2 zFrpy<3?QIMmj@w`Ki@{??)9zx^*95OsU|8`teY{3d_xLH}gP{x|r)=>Ncx|4aC9B<^nx z{%_d77zplP{tNzJ^yB`g`TdVMQag<@jg}pKXMtEoo!z!CrG246l!wLG+r-uIzQX@sa&62o&zwx%XT>+ zc-Z<|v=u;Z$mY2UW0Wi8-tKgBDThx#7~B(O=y3*8OLpImmLc6`TW_veWV#*9j8Ni~ zAQjLA{VkM;R@OGGe=AMxtn<`o{JQY@snx~!1ZIR4nCvSHDSJ_b8`9AMsTV+Z1yW)5 zOO(%;nn-nKQtk4kAh-OwiPc*_G=U#vPYW`2@4hv89r(iLw)VPQ_4&)CVdxpbfN0CmSpmqz4Z?p5i_OU&I^Cz*u263Vp z-|2J`c(u41&tF*&^5x}Fsd4^}&bG0YV!2QxMXi)I0XKb1syQu*?N(iN%p5jdMxrG>@WBtu>qizD}@i0m;At zeMVv56TR@4hC3J?^Jc@)&&0&Jn)xgy1^`kDknKYog{lhh-M1QrisG;Z<^oS`YpD$+ zio8w*uCBn)25%#u>Ll|u%musn>R-|jJPc$qXu2Km;pJN5872N=*%p7ZPHFG3G=ba7 zZ&`_4Y=Vm`j_bT`6sb{wu@JWldEd@h)P8<)gT@e2rj{l1KDWBtjYSgE6H@X)Vx`@G z^-<{lO8c%j2>NsJl3W|D@OD6GKdYu%-7ol;bZNLay7lEMDf9t_YHvJ&gWNOE4k@GV z29*u)-nV2$M9DM`VOX=kLryaC15}b@SR>Q%Y`{9vpG4`7XG3)poxA|<8H=TLB6LnleY3&K2%I0>@1LKDmBHW%=f z29|unO~L@ge}O7QQGXngakd zO?;wgN%6n{RspUn4h)7_gM?s5WEGK8mOZj~f#K~AFIYeY8+ZKT%Q;K}_U8g)nW|*;jH;Ra!Q-h1be!Le`FOsI# z2ct#TS16N(cLk`q29j`Y6kX(@Fbe$eonLpT;iBr~PtsBtv?nb3o12Px9;3Q6BPsKM zfJ*N!-jIdf=fm2Qn1rFH9S_d*+NxzVjz;e(FX(F+*QPb2FQ+OC^}hy6y&NCZMouIA zQ09QZ{YnjTN5uwV?MlC0sS*3H+GLSDF+aY&`jFD~9jQdg)!*(xxPpJsLSALv_cb2N z+*}p2FA1)U=enWVq6CDgbaNQYyqB8irVhLZfH3@)iW~9Y9T^X^VSPaZUeb>fL^+lz zJ6^+A`TGoMUDkeFbkbs^<1VjUcpVWMQRBa`pZu}SQd6rW^64EJYbsql(~1#F@kA5cL(%Pu zYv|0ql`qZ$z|E4o27TF!=3(2UsE!6!7oHf5$$S^T0e$3&4wD#a0g;o*yohFh&kR|& zfq>LibO!EH&8yoWb;`2#D~uazb2*_NVJxG{fU>ZzxhC)uA|c0=nR2v2E_@Q(@M@+T0A`m3g_8SJMaOe+=0`j; za&09#(o+G_yqYELxX(PRjAeQab%!pD6ar`K&SMW0t#$lJQJApy5}e;`d6V2`^&ToZ z%*2_A+@z9bs6G(lKX%x0Fyv4fX}J0gpHf||f2B3xB`+&sin}P{uIe7|*BiKEwoTDl zi4LH`l10l?ZWWa)B2eVB8)+AyO*5s(F6s1$nmnb&)Tu;lL)k=)dP+p?<5^|~WwIej zqd=!ftJ}znnjhAw?lG_MAYM$aeGitqj$fA>Fm%49WJw1sK`$3yY%#Z8I0#6m^Bo{% zD!m|YQF6X7jt*j8y;Yu@z;;qi>s<5hhm+~pHTrZK9Y&)83dEx-me>>Za<`B)FLHL~ zi#B!hnY+f}AmZJaDssuDYA`2F&jRucBGR-$2q#?;{iw#A9Z^b2)vL)pdkOPk$UQ-) zYe~D?IcGV0YIpaw zjce}@FIKb;!)zy^thE%?UQntuJ{>D=ewX*-09+p}Q1iScRXAv(3kSlcQm0DBSqY#27`yW(MOcEU@mx0Z z4MBRJl&AWsHs-|IomW$USuLAYqsT4pEPI96OoVaw8!8;~yR>aZ7ZOktzcZjti@Tih zrM5BAn`)HIy zl$yXiR>aBY?~MYTbFO zO>GaTKk}a19g8c^Vxo7&RGggq9)7mCY)`3YpS1Dzh;Z;^L3_|!7q%T6Gm**wzwk2~ z_L0hFM3cf8ntK*bTd|e+)fa^h6g7Y6efUn}9xrK)PjJScNax$c-g4f*??5+{=MJaB z(>EpcxAMku(P?c-2CR7dvX|{y(hdCSv;OMLGHH;d5O6AcGSm_OY+(g^qN%*>ITb-k z)r2lGw-6duDi59)ZS~f#cr~G+O;<4;J}^J;JvKcEqy|AO0$ z%)261GW4azAa{8;6~9(1dYP-EJjxbh+4-e(B=f^pF}EQ7LY^;9b8F;@$+%Q+|l*VA-O3#XFDJBBQH z8~|1Bp@b3nH?I=u={MUS_WSOo@<8VX0*sHK`6e(^j(U_5(LVpn%vB5C=amHUkW}@m zTLk{0vdeUvwVsnaLE`J=C2b?7(~f&μgS6B%dE^B$Wk~PXg{px;Kf4!VWdp;F&@VxQKvcnfz%pps$k&?DG()v7l?rmWzQvJfb6R=sWXbmp^$ENV;=Zeq{99d~3>4GUVv`QBfY z09mpWCPeq^l+*q#*<~v3fq}9^dq8bekSe1PQo7BM@QTTVbxL=5_vq(;Wv*)9lw;Ik+h@Pwo6o9ybw&g$V_yk+3xt~d-Qp9#51s(`}qCF5j126e} z$y-Av$y-&eso#)ju7?cKbeuHzL;3SKIjQ-cuAWEst!6*AI*cDC`C~<_wkJCv5r?`O_~3GRtjKJtr(p7J0zKftm~A@82l!VIY@4Q9)N z%+eVI21;^Xe2s3O@*HRt>z`@@QlW*)Uk*4+#Jt^N73pqga;vNGoC^YBF-qLeNK6=} zPGW*1O44$?k~e$xwNE)avYt?{3b`~spA@z?m;2SiD*kMa$;RsoG_KNXe0;dAnu(N4 zWa1$o*^|q6=j64dh28859@HivA?g!4NGsAS_iXN+T8VlLmoA!6*VIQvDgsjhD#vgz zQuNkv{G1jC`8qssxiQ5&vB`mt;7ae}K9PK%VRku`?FK2&hJ3LKraLadp^z2@JmO-R zcETJbJgL#fxX4qz;~n$vXCr12c}pfGY+FDEd_zj*c@85lzA3b{XSZY^dEYCP3vB*m zH`+blNLOF-u>(6I&Iw=)6r-~}3oJ09Enu0bX#eW$^OG__Cc3`@2R}91aw&={6#lTXLm=TP5eES(mR?%6N>A zi70x^9Wbq^BNNHrfu4m>{*{U86sL1M>dQ8cINydPzLDS@ zO(d(!I?pSQ0vIL{Tgfc}jm+g%wLo=05qraDqaH&}oIRl3$|k)%pGq#`;HXxAnu?IY z`~~pprX(a$7jo2$f5UO|Z;V=e@bx4sRaz*q9DmOkO|4=B(en_a#=S|IxS1gQn&W~1 z+TFuG@5!797t6~7Y>fIevyPbC7I*T7qnxu)Mm>N1xmYMuP&d~wU1+sDq}4SteH_ty+H5-45$E;=gkAX}>SpB>l$UexPOY*%f! zQ|MzxcZfX8O>fp@@J&7+3acxxFcKwc-%tq7sD}>4E`0-NV6qk!7JMBtseo~DSQ)X= zdV{m}vvVa}S$Z~VCC|Q{Y8|ubGVXcO=LL&h8OQ+o(CVSDMzF4r^L$-FA@J+v3SL#6=aHL!}fnzxG1U1*TCXQKlAVo7WWTVP(Ww*-Px#BmE8=`K7ou;n7_48|6=^i$*7 zP1!gQ-MvG^`@W9iAXzw&@A%M-j?B7oFB&)uc97}JxWN3-wv zKy#@AoV*fv%XKbNcU-=eLX|y+EFahT+Sx0mxMx(&Z@~n`Gc}sp;~v^QWY4=_hwtO0 ziJIK&iqv|$wJ}6l;o42P{G1MlQq~>$WC(Qw03XLT|HCIB7qMCCXsy+4@)Y2)X>VsF zp}W~xUn0NB_wi=ct?Z|+W>tZGibnFeuM84bpZMb)nsQ%h5?Ak-R$tD3>gG`H*uz52 z9g1Ns=gx;LA^prJ_TraM_f)#Ekv!4T#GT>Fr%G&U*KgO*Y~1L?0b`}wAMpco{w&$$ z=glj$&hRWiY8Jg@FwSSv=FN|Vzwj(yys^ilVN@3bgW6Vu&l-K;7H)^=+1kAk4wsnR zIHeh{RINl>8BQfSC34X^U@jup(W)^H?KfYEIVB%`x~L7MIV-#gWQCIaPXovswLelj z=W69yLq}qTz$-h0WYDBGGWpZR$*L(5u}KNHj7 zv+i?d9h zCSM0P-DD`OT{;K8c)@W9xAJZ8G;E~e9od$e5+@#ooLw*+PevhUg!-yWC*M9#zUfzF z9V3w8?rS>-fjq$y%Igjj54I}46S%XNz?1K;&w zQ>d%YjtP-BI8=YF(V6?w6SHRM+_vzIh7z^*CioWqRJ%%r;V5mp1aC`AN)wZJ+9u!U zP(9ota(v;e0PnZ-NKDpZ$23Zj>H53v#}iYxFEL`>j=3}(r)#rNcdf?WpJ<{ev`5}s zeH0KhvwF5jtKaonhIbnlUld>_K^bQoH%5Ti?AHKw zs*5VPomB>;r_kUkU~ble2{^-?3g26tHqfJyPX#I`Fhl%+o-> z^&a=}&#ICaKmyEZsCpwJ!x~W3j00%?&MRc*Fp!}gAuXG~NMQ_;=vTzrdRC$kWFhB# zvY5pd+@n95TyZDHUr)cdDcbr*6w-Brk-0Rb1%oAM&nq)PEn+3$X!0Hd4U_v=LJBC6 z0GVH?YIM{EiO}>0^aj@H4}if*E%KdJ)V)sUd)%HbHRs22k$oFIz8Lp>LYNvenAqcehAH@y@Hnf9&g|;}^!OiYAOqy2Z*N-AJVB)NKs-1$|vLIx_w^B(S$~SHyfa z>McA9s`}`Domd?yHNfY;|MS5ASR4{+ld6A!!gQs0X;Q~TpgPloOKBxK_Sp6sC)=g! zr34Mt3!?U!Vg)V%ZuVqE3u>h7TV7ZN^yPdM_Ec_vY8V4@YY`d)!Axh^2Ka1iW@hrWF3UHjT7GpS3Oi} z%>@dQ(km+bCh3(849GcC9;WnG3e>~(oegfG8873+WO}t<=pbMqjJO3s-9xG` z^NCVV$m94sVH%!e{jm8CvwPl{)xPuM(9%+X+C^tn)>aW~-1uevU}7VvgqLV2ohyyx z=KxD&ynnc6cCc9>k&us(hEl&q$=7wrrehYtrAM5nqq|$1U5%|+@XaHy8)Le{G)PxH zZ37O6H)1Fxk%$93k`21YF3Geq2-Qt8Qsz6kJ<^Fa71LilA*idR(T@41%3Wk>ot8R3`e)bHoxNJ5e9tbN|54+` zy?a+ISCg&~2fqxOg|a`s#`;>JJd-~;h}Q(3@s>sAXDGQXP}&2jeP?l(e<{9DVvGfU zPqR01x@$&nMkFY9=}tgZrMkmUxo+yoJnBkkw=G=|alUlJRFzk%AtI&GLbxn`-14M9 z*XZi~i}REXh~6_=XK7`0+L(C&H z2?`{krJ4CCmA_T+j=BfnFrt-ReL1{J7Ogfl`dD;7cEF~cky?(Q+~f3I7Uy^I0=s0* zJ7bXn-zg?8)$Dh|D2$RN`n5K%P*iRj$``qb^ax*tkqa`^6nSAV-*}(hML;}RE`7wf zo7H?Y`HnGw(Y$~|w6i#FHa0znx)Vq2VP$U0+1cU?%psV*Y-UNOS=tAK2u@X`j%i%- zMbgs1b8|~+xb&V4?vs8l93}&F-7{>__m)g2PoV%CW=WfcW$(fxD9^HBHScI`fQvZc z`hiAMxQ1p1Hhhb7Yi}w4c$w34=Xkg#fFEYapx3s(Wy{2xKCmTZDw@02f`*MgdN!zI zTgX{&Z%sZU{Rk&RlLXg!7?C8t)+hDJ=q6K*z=V-UEl>L&bC2RhnVUzJ>A}~mYVYCcS$PX2z@r*DFn3)-odkoF66Tr_ z5uDJ;ow%~2Kp#EAI{2=tKIWO3SmjQ~e94l9z^HsMGQc~QS@!;gfy*C9V>&!?oXW5} z+@C*(BZF8c8_Arc;y0qJ6Lsf5*L)ISyeW|u%usB!*r>12vf~S-L~=eEd-LkP8!8yC(=tPCeDNc>n0Uy>Bi8x1Zs7*9meab%Hh^3vJnMG!$r+J-#B$O5{{{7`MGv| z19f!>iQoDZg#!oBLadqs@OZbIjq2G9hBV6qqe3h~r2MB7Lm|M|bzL%d&wPNa_6#^} zkoR(&@l7N+JfS0{lz<{d0W(Z8YLVKv5Y8a`ZZj?RdSVzR$dhyOsyL$?Nzv4kzlzO_ zh3;h`s{~i%1CV|E=?OT(o-sm7QKt&vgX5Ju=`uhO^+HtR@PcP96eY%=jDRsJWz8&h zo%L79XP?d%le~okOFTED+TO