From b7d48030f03f3ab831b5a32ac266caae2a7cea10 Mon Sep 17 00:00:00 2001 From: Joshua Moerman Date: Fri, 7 Oct 2016 11:47:56 +0200 Subject: [PATCH] Prepared a bundles artifact for evaluation --- NominalAngluin.cabal | 34 ++++++++-------- README.md | 90 +++++++++++++++++++++++++++++++++++++++++++ popl-artifact.zip | Bin 0 -> 67957 bytes 3 files changed, 108 insertions(+), 16 deletions(-) create mode 100644 README.md create mode 100644 popl-artifact.zip diff --git a/NominalAngluin.cabal b/NominalAngluin.cabal index 1e74be8..9ba936b 100644 --- a/NominalAngluin.cabal +++ b/NominalAngluin.cabal @@ -1,30 +1,32 @@ --- Initial NominalAngluin.cabal generated by cabal init. For further --- documentation, see http://haskell.org/cabal/users-guide/ - name: NominalAngluin version: 0.1.0.0 --- synopsis: --- description: --- license: -license-file: LICENSE -author: Anonymous --- maintainer: --- copyright: --- category: +license: UnspecifiedLicense +author: Joshua Moerman +copyright: (c) 2016, Joshua Moerman build-type: Simple --- extra-source-files: cabal-version: >=1.10 executable NominalAngluin main-is: Main.hs - -- other-modules: - -- other-extensions: + other-modules: + AbstractLStar, + Angluin, + Bollig, + Examples, + Examples.Contrived, + Examples.ContrivedNFAs, + Examples.Fifo, + Examples.RunningExample, + Examples.Stack, + NLStar, + ObservationTable, + Teacher build-depends: - base >=4.8 && <4.9, + base >= 4.8 && < 5, containers, deepseq, haskeline, mtl, - NLambda + NLambda >= 1.1 hs-source-dirs: src default-language: Haskell2010 diff --git a/README.md b/README.md new file mode 100644 index 0000000..31886ec --- /dev/null +++ b/README.md @@ -0,0 +1,90 @@ +Learning Nominal Automata +========================= + +*NOTE*: Please download the archive `popl-artifact.zip`. This contains the +same source code, but is bundled with the NLambda library (the specific version +used for the paper). The remainder of this README assumes you are using that +archive. + +We have bundled the implementation of the learning algorithm and the +implementation of the NLambda library in this artifact. Note that our +version of NLambda is slightly different from the one on the [NLambda +website](http://www.mimuw.edu.pl/~szynwelski/nlambda/). Some bugs were +fixed in our version and possibly some new features have appeared. + +This artifact was tested on a Debian system. During development both Mac and +Windows have been used, so it should work on these operating systems too. Note +that you will need the Z3 solver (as executable). The algorithms are +implemented in Haskell and you will need a recent GHC (at least 7.10). + + +# Building + +Should be just as easy as `stack build`, assuming one has installed Haskell +stack. I noticed that the linker needed libtinfo. So you might need to install +the libtinfo package, for example through apt. (I do not know which haskell +package depends on this.) Building may take a while. + +Stack for haskell can be installed as described on +[their website](http://haskellstack.org/). + +You will need to install the [Z3](https://github.com/Z3Prover/z3) theorem +prover. The executable should be locatable through the PATH environment. +Follow the build guide on their website. + + +# Running + +Stack will produce a binary in the `.stack-works` directory, which can +be invoked directly. Alternatively one can run `stack exec NominalAngluin`. +The executable expects three arguments: + +``` +stack exec NominalAngluin -- +``` + +There are three learners: +- `NomLStar` is the nominal L* algorithm as described in the paper. +- `NomLStarCol` is the nominal L* algorithm where counter examples are added + as columns (instead of rows). This is often a bit faster. +- `NomNLStar` learns nominal NFAs. + +There are two oracles: +- `EqDFA` is an equivalence oracle which returns shortest counter examples by + trying to prove two DFAs bisimilar. This method does *not* work for + `NomNLStar`. +- `EqNFA n` is a bounded equivalence oracle for NFAs. Deciding equivalence + between NFAs is undecidable, so one has to fix a bound `n` for termination. + +There is an additional oracle which poses the queries to stdout, so that a +human can answer them. Since this oracle is a bit buggy (and not described +in the paper), it is not part of main. + +There is a bunch of examples (also described in the paper, except for the +stack data structure): +- `Fifo n` is a FIFO queue of capacity `n`. +- `Stack n` is a Stack data structure of capacity `n`. +- `Running n` is the running example from the paper with parameter `n`. +- `NFA1` accepts the language uavaw, where u,v,w are any words and a any atom. +- `Bollig n` is the language where the `n`-last symbol equals the first. This + can be encoded efficiently with an NFA. The corresponding DFA is exponential + in `n`. + +For example: +``` +stack exec NominalAngluin -- NomLStar EqDFA "Fifo 2" +``` + +The program will output all the intermediate hypotheses. And will terminate +once the oracle cannot find any counter examples. Printing the automaton is +done with the NLambda library, it is not the most human-friendly output. + +You can define your own automaton in Haskell by using NLambda. Then it can be +learnt, and the minimal automaton will be printed. + +In our paper we ran the algorithm on the examples `Fifo`, `Running`, `Bollig` +and `NFA1` with the bounds as mentioned in the paper. The first two families +are given by DFAs and we used all three learners with the `EqDFA` teacher. +For the latter two we used the `EqNFA` teacher with a bound of at most 10. +We proved by hand that the learnt model did indeed accept the language. + diff --git a/popl-artifact.zip b/popl-artifact.zip new file mode 100644 index 0000000000000000000000000000000000000000..38c4384df5a1d2bf3f1ef2204e010c449cee25a9 GIT binary patch literal 67957 zcmbTe1CVB0(luOFUAEC>+qP}nw(Y7e+qP}nwr$($uKw!YdGGxH%o{P^o$ra*4=T>t zXGdhN%$2#z{mi9yxJ8+#sB>BKX0&KpLVu(R@C|qPUa^1hEB9{|Gd@`S>#`? z{rBqrQ!ifvp=YBn6G_*Dy2xdb4w|HG%wVec%9pJjc)NM@uCj0Kh#E0091f ze2%z`q7uK9l(mAi?FJom*Nf_HDnLXeLCa=Mm=~0&#=9s z@&Z$te=rj{lXz6~JKA(Z#%wU5^7MHg{rj^nceyA^lj@dxS>c>54}NTf);Q+9Tj-@} zYoO^WtoMWuS#EOGQJ5AO7!D{tItv_Lj%@YHUg&Z^Zlrl)t!0@cj((E_Aa~{ZuL+-z z3Lkgx_q%sznS{~w8bK#{iPcL+s0z+jN-*T!gB>Cy^iVIs9!eJZOaHDutd+PB0H|d9 zpF)8Ah)qRox&%PUlc4-+83YTTUAraBPRW>eQ?+(j{#j}SivEfIPkX&%L&T#b!~5|{ zHDHkjNl!tYyd3fE)8(tKORm()6{gweqfbq?RTul!HC<3uRrHB)q>itkjHKY)q?SB! z-kPR;s|Ns_GbJC>S)uXYi9IW~ms9kdb!aD+%n6MNv}g@mws^m_Be}bLYX>L25@$u_ z4bM|_k4JzxV-WFCX0OxPoR!S`h5N6jMrIae75Fl-@zgYmzUw( z^uvP(=W=5AyvGKO0D<%@gEHOY1=C#Q&-MDOWA;J0abU^`AUgQnQl zCQ^p1SgAm4y4i_6OjB`{+zV1&ja+yPI0*Nz>$`&zio*K_000mAf5U~8xS+6%qHvOe z?o9$6viFJN=4&D7NsbWiV_D#5vk2%a>In`4hc&Q8?!sxw3o^?IQ@R*~ipLH2OQxgk zK94WvRY*+sH7i^;xBL4~1RYv~^{T}e+X2-D=^QJmi=~TcSoy*B=;O;U5yrH;2y<0= zB56xf-t`w!+bzDQ*?DsYBe3*MbE`?Ohi%xW*QjWl%aYV?jo)#bY`;4aVmwyX3#`up z;1#*QzgrD&d)R8cbG6ep5B2$0a_fNNX`ghj?|oyoF|#I1KhEENO_3LJ!qi-d}pL>`Ji-7Q{iM61rK_Hqfszw3up$? z>eDo)hSkG@Fy*K(|2@LqQ0W-c4A@oSc8V8M(X-RNnt8k`wUC+@aZh}|9sk!3 z1&5;2SRxl=5&%%AF$e0_aPdQNl_G+jL12J!C~RW`Ql@z)gpgw2WWdX47cCM^ullCZ zA3T%4u76Am)^rGnL`sk}iIqo+Q&6g-hAYMT00J3J z{GQJ8670{>Zc&(N%TTxH-Y?h)PUe~S`YlqTG#2l;8J)*NrNQVBm>(gU6$*1EkjP$? z${Q;3F)8`%`kx z-3PyVTSsT)=ZpTVuL4tCE$YP3y~}f>8+sHj0Y0Qt8}Whbx#A;GCruW(DvIVk=3WyR zc_a1g^}MRw*z+cYScp7R!DK*Hnza?hY%Yb?XxQrrb{C5t_Hm$grvHH6{KsJd8z)lE zpmW3uPF73dvUKJJ10jeHE;(G`>M1-Ju^HB<&A0kgPwNYkPSTUssTLB7E-PI%_9VUZ zQMIfBM|vJlsOY??h^%U>X!;hY`>ZL9VbcO^RQs|B34(*GcsgOqIs?fWU3HJSP-c>4 zPDOTJoUZ*0imU0CLdY&>wEP-9CTZJ{hP#CWFOL@VD8cAw%*NlsKk~a`i91-#0JQ7% z8QNeNFa6`wbQHHm3mZ*JC?mQG{W~RshkOMP(V%?o)<9h4Xe(eUzl6-2~yZfirM`1MCCV@PX#a~nKvJR@TheP=5t>91e^Bwql3lCQ4^{PTtL_3dAY zIyxBsNf7@aq5mLmCDnayJ6{M&1P1^h`@i1%7mCarlax1X_UYigXH+8>(bNEO zYi*IuS~P4Z8f%ioL2DCNt7)z0u0KDbkvPqfR$by^hfgx=Ooth#YxYnkM zeO3^pfI6ajNCbQf_};qe*hd{uw_dbt&QxGzxE6h~ncaW;6 zS>jjJtrfT`XpAP-b+E-y32yC`#?cHyj1FuldPYwvtf_=lU}9p07R7C=B zg^ibf`n$_malhH*^Jr;U7qe%vBFvHoVZko9JS_#yb{}tm*?Svop5ziBvVs@|x~$~u zJc_E~hToK&HgsXy8oWqKY2d6BR_RosfW2CE-0RN?R;!C&CA+b)cLB^rjveCxP10Uqy!0>i%<058QYwdLUr@ zgxxFkZjn&$w>-<&mQigJwcT`OV4qDzw?yJmwCa7xSG|rF$~|mXr?-dy29g|aJC^;g z>P8b70D$W6f<(#K(di4=Rf;>78+7nKE4ucDw5Y3r#2W1`eBD+dKb$yLfIV7Ek)`$UffC0R z$FGM@E>}3l&0YTHww0#>C9FI%E{L%Gt-UxHAzG+TIy{c7MV$TKi^?Pq+TYs3hmNp< zjPnBF+Cn&AAmsMSV*L*7nsM`UiL6BK1Qxpw=Fl+JVNMiD%quk*P60q^n_S0L))Z1c zo?$tU9D>I{@}XD-^od+{8=K;Xp{V<#fVn6&kuPhkH^4gC1(oS(1B}+}dw)$JgIFUX z;=}+m{ZL>PaqaEJMlXknhP0XXc2z)DSc*S6GDGj@>n)esQ^I(4lh-4>R@mpERkr3m z+41`n@Sz8xLC~1ZF4bc8P!@F^ybHMQc1(@^k|&~5=2g3#1bZsd$8a8PzJR7t66fp~ zq1he$cdo2U&+noz$;l^xZ{cxuZoUEbsbC)!T5g1>=ebOax!F(7hT)Bw6Pz) zdH7Jp_Pr^Snpb4IJ6QcOIc9DXFgQq$TtUIEVXfc(V*LL*82?dq|L0&VV{2`0qi^+3 zfBWBa{0)EmpE>xQY^@#tInzJFJ4SQ#L(G@w)_)PCKa$bkTg{&{efe%ze4kA}9dz)G zH)O;@Y%ZLiN+E>x2=;KJCqROT1X6NquDGXv*T}PhXMCG<0^m1b&RLxO)w*9tF_ayp z%>4ybi3l7$gqrTFiKlcEN=^0AE{1PP;)JCx;H*fNTo8iaZi}`CwS9SS`r6Bv4R(GJ zWFj(7Ip;I`xvK_pe^Yb4{>+o&Ib?5Wc(tpI-^-DMQdoX$uyPBE$>1ZLbxvpA+QvWA zOA)8aF@0?APX-C!A(TI$ao(4M_kf?Oi^@kV6^gZp0*x%Cn^_+<16Fhx7ekNUi0{)D zO2Rk2aMKT=48ei150c~RvO|q37RAb1B?f8Xw1xw_X%@BVVWk=vy(`>~RK)C%tHMbpYf)Fu^wf!D@G-o{1N zX2rk7tMr=#(?|5_RPqviRkn0nNVe9s|2M#2j`k1JlFSn$n|+m*Jx~AuO#hu}X{BsU z%?-Z{JftG~MTC)iP82)Cu@O-StVb-e26L~1nvqv&z@=^W{g_Ejngu78#S>iCPBux` z9IXVvXQKzuL-anle{VnB{Hp6|`aWy9qvdU;tIb!kW83dM&3u6*K0oIm!L>C6dUXpCcykMjB`Dbs2p5TLsbER*zoN^JRu)F~9HpmjUiH7Yg{ zs$?FdDMW!iXT$^yxB*&AGc1U%9E4Ect?^MurqOp{dH$d^Cso%o!nnvy!oF_Is;+Jl zk6=>S8+rKL$%8g84O%R9G$c4ulyL3MUEh zgFd&T{y}sc&IzO&zk*+OqKx+}C*Y;99Ga#g1vBGx<#9^AvgTnJ4e5s(dbKHeYk`)8 zl>&`&!rrvNya0&ii}8b03|y6Zv~`2Jz1ZvRIvT~Qsi=JHX&YS-jo)!PH0EO`hj~xxUsWaojDATv zvXQ$Ss#Qx!F+~{mF;9k3)Lq*Y^OjDPhm!J3_0kJ>QID5PAevzcur{`|(Ao~Kb%Tju zy*2vWX_i|bEW<>xWE=7cSfSK}hZa4=0ZNYKHi1GcuPcRbgepIsAtn^YicG+xSxsG2yx(#hU$0q*KQJY^^QdNVbA3^H4udS03gRN-rlv&gC+?B1YOcC|HDI^bj z-%nEEtXbuB*wP%kd$zoa-MWU~{=&D!xk4;l=P8EFXhvZaHa`{xc^?7k2JT;xn^`)- zt@4Fjb!Y$pw*L~jieEiieJ5uJ<3GZ)%2f0M9eno*xrjD=*(j*JaG}CkazNu{^}2%q zC33vEWgMIKMvzKx2cwGxCvVjcw#Af4?wp>tJGN}y6;(UV?hJ37nPNJ3x6s{%YPm~% z6!SJND|>}Ph5R2C7rgvXo`C_sdNCZ{P3G)5j={R}f>V^cDdDfn)_hEznS}hU;Hf zQrp+;59R$-K|xf25TysNUWH74nYg=J`FNXhvcYJqbIYbs;ZG%Gr7A~6xYZ65h!{Y1 z$^$;Qcx^Bk#D&~MH4h%xg>;`*;kWbl=NHk74th@09oCbH<4lO{rIu*hEX4A`v@eh0 zpC5#9O>(%G(kqv9Ix+FBt_Zn@*n1=o@Qf3sD;gBtJ)cMx>}^#dpMgisI4^NLR+Huv zoNs@bj2y)A)gp_zqj9BsJ>JgKx>5bocQu<8#ZxQo^dsBYxzsWAILvMB z8Q(hwr05BLwwY7-XhlMFdrI6b z3Vwi9;F>FDA(yv*r%}V~7Kt7l*wk7BS+EEFls3-GR?xt$16-iHHUIj`GlNT@6z^x# z)wUoU(`en!ZJ52vwFFtJl3Z2q&TUeu#7)C;5ec+#ROp&)&Hc|w-~NZ0IF|$+c__X^ zO@G8T20H1sVxAyD72NROZ|jQljVjMab^$yMxyr;cYYd#{4=(8&*Cz@kJ^h(Z6m*&Al@KvX$8E;2wyBcE^$w@?La8N-4o%SmYk`vFA2?< zJe>@`y`J>3$!W0@L3DyP@$2;LVb#W(9i`Bo1!2vW=!|O1Gj$Q-tp6bHbbAUoPM^@* z#lXUp6l8GY!K*T9S?}8O{q*2tU%vP?>2nCVLiWj7M>?ODYR(%wDD`av=r_o}V%1cX zAXV{;K&gJ=^}o%sigx;jf8ta@+7gH!zUxGFGOxBn?^_onq_9VY4wpt>8K(svu4KG+ z-Q$RB{8qJw2TO=i@SB^h&Twn{5-_D{qA;~?0V97k<|b06?4dZg@%Ix#s?4Zu^EM|` zOEPX|jVt>3`gc~rYC^EQ$r<2MLGDz1?jGTnUb$jZpix)i!G~|KfqXI8^RqF1Qn@>H zrIq^-u-V{r3$@xq%X5^Tn~?q*C$AJJy-pm#*MwSa?r{!K4{y-p zTTeSKwdA$2^{*7oC@q+E3N`gNATy4=;WwHTZW*4tpLxH}V`32}zH#-1xrz1z6Hvh9 zl?R8RWwS8?1Qa=Dv&PK$9F!?m!@L7kS$|tn2P0>r#V3_e1zp1ul-eC9&G@#Cd83ta z7hO&WHAc*)p8`r5d=Ku{m62vT9$J;7Qv43iy|i{x@I# z&$|GBG(i61-2Bd8gjwIo*5=g9185Vn!U@V11{H z-IYjzvQNq;-57clE4Yp*W{zFmiFXYsCFs*eol;WDjoVX9qdgp($AV3lbx*DUw(J$Rp>{ zSE~wNf_(L$c7c?=z7!$niC~7=BcLsS+-H#WFX%ODIm(d>?MSInc@Q5&3E`~j21=sN zdULI+56EEMW456+sUnlyXABhz5J-3T;}WA>wE{}{`6&Ky=&TD8tjG5&OhdxG`r!cZ zzLTr~qjUQh&FXS>*be&X$$0BGf3!G^1)H$2@Lp7j= zUb!|*+i}J;+=@R-K1>)YQ~=Zg@-DG{sFB$~-M~Rfz!k2E_;-yws~@RzP_T2DFk*7! zy<7`4_;i2;y`+h9=`ZoI!x4I5x9RW#p~gCm-Y7;p@Ig$oJ`c*M&|y4>ryn9QOSwas z+EGER_~0&D$z+ZaqCPI5{#*W5l);>4Lh)#k&i!M*jZbv&7@dmpIhN0ew3lC7D(@gT zj}D*}88jo#nZA?O&w=?nPRJMQroYno?xIjILX^z7MrqYPqoeksCF(l>-UYZz;@`%` z3k1W5lnw=tQlk?h4B>HFmS7dRC@KPNDdjiYgjSuU97G=K3s*s@4YcivS&#yCivF$}voHgs+I=6ITS+wLmnnDr_2Cv6z&;U8IwsU1jk@!GFLZRSNg{}`YGLph;vQR zkd8Ov>@T{czPmqsR1%QH4RDqZhj?A`Yu~T*{8Y z*q<@miC9k4Fdh@O?yzKn77Tq}`DT%DYo+)QRhn*$&{x7;8nJnO{19ehBl|e2=tO^# z3-`lY;+9XrWbFmuW^Fd477XEX{9En7^!^J}UQ#!)vJ$vZ|skY@8!DG zVe8wTL0T3snLI^urQ*fYp-6{H`Vl^<(7%hZ{TASQt-)<*)RYIPYAH!Re;H3iyHjL!v(CedDv;?VH z))336lb|{~zsvpV_tKxWpXm+oy2e2tUDr@$V!ZgQTkzKf)P4FLr~#-5^Z^+TDc}!9 zNWbqq8Y?p;?Xb9A=*Gy4;(G=#dvV!mbA#Vv8I~hBCwWGea zApWO0Fk$o6x$L~4d`5*7(^?$?Am1f{k;}cxqhF8kHzAZq)eLVG;s}oL@p3hnT!xa4 zB`JdqXwCG739&?D*)oI3vCe}&AM-k}_TNq)OM0v)C~(jruAMR_E)YYp)O;gM@2zHm z73>rw{pd(pE*z(n-1${ysfmIa<^4dqxdqd|DYnB(?Q#KlNvQ%Evv{bX(`)p%v2 z5h;q`^A8*S339qB6!2jMT5*DvY=OXsQ)0&cBq|E0H{x_OQ&C`lMsUxv5e!TGPbg2X z6Tq!(YSyrTJquVVrI3=~6hdq+IvkTi=vETDH9L4AIhY?D3b|S-S>lCSrZ(I%4_Q#tTTI_JVT$pzAkH+G}Rnjs#&D>ZUd6LC&3{UFSoL zy>^cy9y7*UdqM|K)S!Cj1p0?#>D1J|Pgw*~O4RNolW$)2+FrR)WeW8@S@0Y>trIt8 za`W9Ms$Z*_ct_;s8WqdW7ov25pCKPpe68pbJaA6{g{K`+6vZaWpiAQP< zS@QU;ygt&%0P*d;-uC3!qvU7$-7Ebdfbu9(_uVF;P{x&CjA#j&?!&Qx>u}(J0FLMY zQT&m}Rza~J?KmH|UCi0LbjQok`i+KE)Wg8S3&O7YZD;}SzalXtvsuggt7s7VVv&OX z4@i`;wK4iPFm@^RSqyyXr9LQ~r1Yl1kU35{Tr@E%txT!y(HaJAtb!C)M`UHvne0`_ zG|Ob48?3rsj4GJawZ+sj6wImOjirl)7&z21v&7?*?T^HYYG;a)1WFxDsj^`0Ixl+9 zsNqfz-?m2N1H{@8;6uQ2BB?Kc1YeaEz^!3B#MfCHA(@|ybStUOr39)Oig@wogAMRa zSkW_qNuCW(#;wWRV0UWAhzmtH>zyTr1J-~7cqFM2zU%XZoSv4oV3c#B)6fSGaob7f z2B>rP*&y0eZS$kJ@-e4B!Ud+BDpJdo{T4xg4tMCKQY?gKJd`U=D0UF-K8}tpM0=Xn z$BdxS%?r*Ti_E^e#rMVoeG4fEd;N`d+k-sY6s}G1U9am=K~%!iSdjlSMmN9Af}o?r zJh}Lp9H{o$6wtwUJ)jh1^Erg&wn&^6DZp_nd8(OzZRLfh(yKXKf=ex^eB5!e6!Kvr zA~%&0g2Zq?dp?-NOD&VwBKHTXOJ?n47`w^@6ic5rWPe0B;~tLIbsJr;c}H zcQG!t%dgqIi3XLAAxNZ2YV(ywMFs5MLkIGG5pAwi*hk#W^2+Ky@LF2TO8-K+RuStg zATK;?YsL%KbGF^jNx9cbMRc=Q%bTc0y%x}Hh9x{eCAmCn3T@Ylq{&kn_{O9jawk-PSL zk^t>V6=wVMC{(s0PGT{azNK_Ng|Fd zdgN|xP=$ycu>v(rxFH^VB_bZ)QKRPxQL}vjemxT!G2!XUI0{K^@Dj^DD!IM6;`0Bw zu#b_!hJiCc2*}`tMmR77-q1o1__Mrrq?j!i2x-JwZ@&OpDzk7n(zclUAUC*b>vwdf z_(GjJR$?kjgOJIPPL{fT{379;Ov-i)VZe(^9N!%`1bW6%oL8-bjmVc$16jq#S4U<{ z#x?~)4%+ncsOWYo(Kc#*nZGfs#5S%JmmMylc|aFFgDskykoB$-)#kYDDQYrW3v1Sw zWJNPZA|28?f9?4iE4wV}i5f#6a>YqwXOr68u$98=ck`t;3_?Y7y-Tv>t=}SBKN3T9k`2kjl3hK1 zgz)JpT(iZZJ|NHlI|CU(9_RHh_i7i(S<*3<^ABTE;a{JM=xmy# zK4m>+fq7^|R?vVHnI2Jb-y%vy3zGEXB$RklTEmWuFq)dqzM#p>Wa3@o<&;wM>=ohOY$@n*K9dd&q15u?qDbK7+e^k! zD3wT9hDK`ZXw>w#v#HBNm{J;%RuL{C(xi0AxEMIJcqZt%qq-5SYKzo1HuZh=yPC7G<*f+9ReIUVzb+nV zyWmMDwR<*k5q*&9y-Nn2W5RrLWt;hc`d6M{jBM;a^TiXKzjy-e-^PWoxs%zKc=Zbt zO8+G2CYW}QfPkBl8<~;K;PW~WNkYR=a)lj*Siq+vuH*^^Kg|&F_?>Et_UueuUQe}I z(Lr{!WKpGmCH2eDbB)H7Q=Gp{xrik{LKShm%)|B>7W%CI=jCo z7Q#C9j8`o!PqDTj`jVT9IW5->hWmPD*G*Yj756rD^pKAEg}z+=nN}*!Z=qJ~9*Qj& zBeAC9wpDdx86eMJI<1N7mO}OCBxK+{kUNC3%1i9%EuIoTnr4yUaw#PtuAMja>r#nh z8Iu?MP}!&hCqWHrN70A2yy4sTqx1-egV(TawOsIRdW{-m&$qTX@`zmrJI2P~*)hdSAo^cG_0(YpLJ5}gVq_*g53V5#R-R)+LA|x3w6hr?e1&N zj58d~+<7TpB?>d&Wla$8)}Zf*1{khJW&9g*G*LjC?OV>A`uIw`CKd-b1l{Nhqk-5l zV-hSk{MFY~##R;<4eFo6EbrZyXh&FdO?YY=M)-7iMdp4e=8L@SyT5cegH@cqj-{&!FF@9*4; z*g9A{Tj~E>N3-hPpYHI>&q}}aD}TQ~`ag4hIa-wB*dLW(*9GM<$yjYthdhQ@3RXCa zHvD5E6k(JV5Hcw-c?qZk-K=C!gKj*&FtrOJUb~ygHdV~SF!fTFKx?szMP4{1gLMh8 z5yUN8moZ}J5+o|rE8jZDf^u{ujJ}Hhgf*z4>E>0Z2~e72c}BVty? zsI!QEX$=4L(wTU3i4o~c?7b{(J#d@?wKTfl%00LEkyYt#9_v0A*jeeEP1LzAx?2(F znJ33-2YmMW+9(zvP^&Y*X3&I@lscKJDg)HB>7ik=^YJ>oExO}L5k2Lbe-YVi`Rt_! zcy=<~j;uf{Gd?m(?9FP4VrER~og26YRD2}BX1ao2&2w@T(TgJ2% zIL)Q5tk8N(b($MzA%ihDY|Rh;l+2_Kes1WzHy0RiP1`Jpdon8m_UhG5Wtd|VnpKsI z(npPTw=R5vkzw!Zm@7q}PVLP{U8|JW-vjABV&XaTmMWFaT7MVE+ z%M(?E^ooCBx(Yz#IHce8M(xJLH_mTh{g5Uo#Mr@UwW`&-e20b$<8zXE_g2A5ifz+;_ZL_vE&8k@R%9HUu1+)%6orNAQAENV$*dKV z8!%b@Y(BU^cDDvd;p&`@#!o>@R zLbhjAd4{Ypj@{Q@4ZQ4R>+LcvdHtN%rwB9rIC*fJ?=*WRBZ}D#EZURvSMd5rD=ODN zMq2%g@bQ1CN;&^)_YpES`RYRbDS`cR9_1;Ubw2p+4|0)0FipRrM|5&!a$jyCp>pw> zC7^@aq%NqA3%r(HO$ z2V$MkjK$2G&^v)zHsR3v_>MGcs56D*5s^bkQf<4zl7J!96wpA~H-!vz$^B$$ae&u| zn}V&W(y97!D>FUOh9|Our-d4p(g$GG(m##dL_m3o(N5NZVSYR^0!-4a=%|abF)*yy z_ve5x1_^-o=nq@vHXU{AVaT%EoO4QYrL(zDsm6OTz{prB`kIC}D2rt3ga_!Y_6f@L z8sjv|53T#Cvt|dv5N~nHTI}%6a8pgZ(55QeYI;G&*z5P2VtbWa^sPk?7FQOWL}PuH zR`)}x3)a?Ij}I~aSoq~fV+AVLVz*?2y-d6|F336!BwZbEkkrn!xuv}b5}e})o0!pT z|IXfsA?qyUd=bQb`qG!qXHlfH*x|4z|0{xfO&PQisuU(w%`h!90Gp*i#Z7|cc(`q@_Ky>r2*6TaL5L&x)HF9=k>qKf7m|gu38W-7x z-wRzmp7W1+AwGN_k|5o@f>x49GIV1wN!pI8t;-BM^g-0qPy)815$O)m=g!svktW)N^zhn-LDsQ7 z3lH_6N5as-8Z(-`I{286mVI9!p0+MpzR?bgeKHBTZvBZpM$8P0dRq3-3RUvu5tHNg?)v|+EcJ+PhCiry!3s=NM|?MB)jT_(S60J5e@D8`Y2r|1*m* z&mch*uc_LkPLvwOQY0H~h42nUwsmr*cF_crZXMlp3Slzx8p8sw!Qk@UQ|OU!SdBEO z1AabUtFIp%s{ToB0#J|Koq=#a>i8Mkl;ownhECmmI3q?4`-cryQb-*Q9~-6S>cPmQ z6;y|Be>SSH%1KBvr)i#O_JS^Q9eD>lrcMq6*b~z)wHt&C44r9_$iCqhnp%OI1uoYcJ+1o@H794XGAtov2$n`E zU2y~)J}s>!j`(a#RGRmPf|+$fpwKzGi8V|HiUagUVeEJba7edu#uE)pU`2hr_|4if zp8Wz1sIPJM6OJCbH)j0bgH7+QOsB0h@#bkH7ID*()u#aRj%8WfApPs{q*v2xcpdxh zPc#ht)lT7(RBg^s;uNVoSn)OwYvCno2jztloLH+CWy^AuG8DY~g=9o5V2P>?<%`E% zd&qj7kw)WK%c#slW~PVh58mN}rYuW|5f$2YoDL4MluJFBP%mQ1SBCjxFvV3eiA2%~r?m`=sMZDe z$&uHaedMdi>)zX8zlnEqO=>i*rbnRIjoH2f;*FyMqHIn}m@A%Bm@Py*oh>{$h2syb z49>|gmGNAK3VFqk<+EyyM^vD*=ki3q2EZc3kIpJ1VOJho%WF`3meMPJwtW|^wZLjB zE2Op!r7d%{(|7Aga!dZ%hKS~um5fdSVxlW;@&Rg5PW#(5{kZbi8Hvo;J>_C@c|(wb z7=(?cPOf#KR7gQk+d^>7}v-^f}jIaO>cfU|VZsYf}Kz&3wi(c-i?lMGQ- zw1ss~ymW7@9pFUXWP+c8J)};_(DOW!0{Cg3t^mBQ?zkxbR1G8c_hvpc)N}O3mvuN) z_mchJ5!{MKV+P46lvu8e=kB^JZ~fVx6SyFnMLT2ASD{$+JUUU|wvuJxqrg&zgU*z6 z*@Bye=(+YGhbi|ZreNl|#BG5+f5^l0v__tntXJ!`Z*dF}{aj5tVR~#u8JMG4%pU|# zWX2IiB9-WM(s`y&i;ORj6+A%6Ff#_wjI1b)A_p9;i!tevjXKOd(h85H92_R!+>E?E zO7KB}A$RrboPFXGDtWYP3W}MJxd4%p?M>S$C6?}5zc%EZ~ zw{|_pa0>=-=4Iw#fKhA!Q+l`f+(*_g^(`D%V^UiBJk>6HH@(#k1@)L2l)EJn57{bL zwgtIKvs<+WXFeUSg=_1x0CdH7IcQEcA7J6%KwTtxwwujfQ{=M_v5s`%e`ZMX6nH)g zgiKosD)5xM4#hDrJcR$i7vXn%)1w{i?j`z}8g#;RpZcW^;Uc2aSqYMb(V+y~a&qlw zHeiOX&Z_{k=u@z?9yw1#2Uvo)z<-kZiIyv(k847$_^xJqnjmC53^Ftkr3|UnTK57l zw-@4W1vnPIb{ec<5b>S5SsH=5QF#g#1s+=uY*^C?T5h&+vCJ+SR<(fG6UBLGU|WMf zv;HSdld}gASUfFoawmi%1)SIoV*Zc= zP>Zp6YSg{8>?5Ac^<3pN&&T0Kc6W&oJi)e`!ag_E`P}8&Nm3mFH(+$c61}Olc4AJJ zER*A{s)OJsbgm26N-l%sz|j&IQHBY6W|sv1)gDC=KF002?kzu4W|*KPUhl~cKF2W< zGDY&SjVZmI$q4skkg5ZMu~UWczLbkCZ)fm?GUv)@V=ox!7&sImjBS0EUBwpUHYBr| zm1aB@#xKh9?))O){A`}ECAax2-%Y|wtFGhSpk6S9(=9f}t!wGTqA)8?(`jmuSFs2_ zN69+ME1(M{^CM%uv#PnXT`y<<_CA=TIP9ed<5Fa&rC8EC#zIGVTS%%a6&fgWz{Mn` zE4p2B{?yEKZJPRL3Y7iNMg}Fb#m*V2pS79S`oH`N8%S(5L~);ZLY z&)X=sFEPBWf`r!jknl76Ahy6+1e?mFTL{;R0Sd#+*XBO6GmVap0~0s9W&14mKMr%t z&RHClgOCtfTldeK6#!A#ZJC-qBVTB>tEWGTD=O7cw$1>Cn>7tzBCFp=a9h4HtynjB zE4Zohk~b=UORM9?NK>$1I9p3NGw=DQUg;n7n9<}F4CYIbulJ=e;{C75hP<=B&DTE( zFgMiyABsGs{tq4K3%N+BAXO6NIE*~eXLzjNQ4W*>ib9Fym~?nnXyN)dM6~P#QvFM| zx(t#s&18X!rS<8_lRGa)Lr(3IiA+Veq-u4<`!Oz*i_DM&R`*mRDiitCIwpTVR4J2t zL$YD`l70M>)kNTKZ3TW&!shKlfV_H_F;2pqr(o{eD=X%?jK}nd2 zJPPX0o4(FqD6|?$CRgHtClGrC-9_fRF7KH@i>F87qZl!@I|swb05R(-iREVQc|hCe zCBAtStiRw@V*yb4tJWMJat%kRFjc5QsK<*F<=H=UdCoT4asv#+Sb(An>xrMc@M)i3^csr=?EcOS*H)?b{1^ks30yb~%hxHvh&EK7Q`>AB5Ul3WekW5q zwX2?U^X>AW^>J9i+#B`~JJT!N*EMYVj7y&ls&ucNy(&W@v{(AldhM8og{;KVoWQu~ z%OL!$T#=;-*E2{7dsP|+E$Ej{C>Z;VS;xD`AVPJD3LK73q)YNTC(lp0GSn8f)wrw) z;$}%%tsz$?rgq?Ax##u^+MyoJN?I>QP(O!5u~_BrODoM&u6BFFIt==`$~&<6%p}Q| zxRRD~B#Ri#I3XccDe6Xxnto8zgyE$d-bf}NmR7{D8SfmMWpIa62nAc0=d4H7;?xbf z_~W@n3#7d-jIL^M5FLpPejPBC7rv#7E)&7Av)QV5SeC4LGvD@}`W@_;dskgln1+#6iAe5jero_Z&t>jiNbt{QRTtO3nSuZlCmqU*=3y zb`9RBM7NF5o2Aw3$xJ=Qch#yog6jtdulrJdbY9K*rzX%6Vsuf>9ENujT6f8FcS-Y7 z$$R;={2r_TGJFfm1=n24_;gkr#kkG>k%B_p9gmu%7je9oOQ zzwnKF@xXlTB;mRJ3F}m|z?`>HS25trWvou%I~g)Tj`{4A*9B8TaBea;XHw!Zj% zYB2mIV42SPat*wo95t6P4(fz7d(#V*xEp<{6}O zNg2hOiX|3k{gz_06K<&>A4tj4=bXDmt!RR-7&lu4&V8trhMTapM^K~VL91Nqy#5!B zQwt2-YuGd6w@btFRs$`b<#ojV<13`#tlW44fbQ{MPYVWLwLHgIt2Yd~m@N1e3G zt{@ab6uZGm@4*OwaR_btOH&%_J{Bh%>MvpJ={OEP*>BJdj=wGfLJnL9BR*#v8NTJ2 z2mREIZS|10TgMkPi_Z^`4F#28AnEph*9Nh8P>htN(cJ5kYcjY}Ym%K@-#mH-xv>4$ zvd(~`8_e<@~FUrD$vA@{dlthPC4c3-o8TZr_=MYFR{=@kjl|P*>4Z zy>m)a8^;DuVVg`+St^?PJsC$`!*$OMpsrAtTG@iN_%#&*Fh2k=AN*o|W|hOVP70Jf z(c5cbVuW&bWQnoQ0C9wnGmWZOPS`oo7-i=nL0`6Qi0yleq>9s4D!yGJ1a{zsR%*m4ds-EOoH(1Oh=fy4 zF@;jYY>sIFIpV3j5DgPsN%n6t(jPO*0mSfL#inPJ)McxQQ6lL^gco=XYK6vto_$cdR7=HC z97m~sCtmVb4N}Qaa-b%4;}0y`H$}kw@6NaDgE2~NrNfH$%0w2#?9}?O4^$CmT*Hs^ z&C#RLUJVXT9@RjCAs(t_6voUy94GUT`JIC4wyD~rn&V!n;|Shj17%-81M|rL4{7fd zD_YcTYcAWit-Wm9wr$(CZQHhOuf1&BcJ2S(x~ZyDN#)#BGN0zdco>;;q_@#q|5}pZ zcj{4A_NH7fs!WCkHYZQ~GC5S=ReHKb7J-v$=F= z9F72<{>^ER2!Y<9m|Wx(3#t*tYjEqcxnXuIUC(aFxoOPvU4eWBU7PEg&;Fx@EYzP7ZlEbDIF3){E2eA=thS=w_xQ@7=usaK{H=)u@?F-WiR1X`4D0AX zS85X5^6?y5Pt!}>xTp7rmF9Pq=5LkRqm^@P3}~wl81)oYu<;3#g3E55$!5|0J94=uJIOO(YM)yE&P$!5e>qhY9oCSg9< z7jdmC{%U$*IrWup*mW{ekwKs}<8(ZietIx*9mYnbv8m`WZ`5Eb=k8RcgqbN_o-b(c zMvEz4y}syQbytX0u)w`$;#LxO#%kKZID}Ow0jW7cSVb$=BCf*@1;|c#Y{P zCMktV%zjK-yCGT@zyU&$>+4y9miLSD2R7!|F*@2jnP6V6NOH@;^{(aT)7x>vllf4J zzo%n{4Fz<^B9V+ zeltDWfZ!6))`rv+C|_(v9%m1)M`U{mygl67Hg?rIf#y5*aC%&+bY=_+#m+%G(J0D@ zwNYd{bWnT^FLRDq14^R@`&PiMgTj4;E)!124tuk?@LS7Cxk1ZZKFRxJ?CiysY=wzK zfktg|F)|#3{fc^p@`8yxAoPpI6N#TUDOJ@d2?Zc6t`j*{Rfr7YPE{FcywSd+#_RC6ey@pSb2>jNx zn0X;V_?av0D~3^h?{IGHYqH>$m!{B#PfZ+oAkRWwz_v?kk?D9QFC z8B-kXfXNd2Y^1xK0oXWNKnJ{CwsCv-0?L2`-xSAM4DOs~%CP71lh?+ubn9fFpBr4) z$5y{wf`I1^%dQ}oS>d^sI~qF!N(@M=X!;zS3SY(Ar+;PFziB1$LkZeMWT9AKsj|G4 z+>iOf(${{REeDTJ2j_OM`-*A1F_Q2>p^9wS_{)Cf7uv$=(lY8o=A=A5fyL0mOBaDC z4%T3>(;2Lo5XtU{AVl#-aF1n$XHyn{46!lls_`19{;`OgFCm+6P3BA95lU0VM|RGZ zB4Y-?l@JyN{KFeBLK+qE}6%x?-w_Fkh zNS%Pn9X?(p1=7pEg=;S7D^?WA$F{z5E@MD5O?Svzy;N-J2zGh zbcZmpYuLkI+;%)(9FoqPl}6<#7w?>%9IZY$j>%5nb_%Td3~k<^$L{9- z6onD8yX7_5^Bl-ltIftuA-b20vSOjIW%KjRuIV;oDx=3Pa1Z2 z$Ioziual3Ig6FrTIKvH?YdPNfr-iHVPw8x5r@4=X%S{XHpU+<6cF`LmtaX`X$4EM- zIyE=A^L~YUPIvCr=8#jyqM9@b+^upIjTfaHOCC5b_MJ88NQ%S8qtnWNt zxslc-19&%=NCZexBj7unT*OI(JtuhKN(rLKMU>~7j+@yaZrjK{31Ng^l4Kl)t)^f_ z@0~qqnm(=J7S)_XW=77L_I6N@F%NzyTx-L6v0XJp5S*?p+dN-*%g*rvNzBVo8WBZ?EFzP^?AkCdWIfvz>*W|m6hq65gaYvEbCnixn}6Mg&nd(^M*qdS zw4&WxUvzn$-WxT-B*9}~^;KSR1s8&6FOnKpOc=6(#avsBe>UiT<3#^h)2w>iIbQc<6G=8*fd}%NCxcgLtbM4reFc z&*Ro&uxPernVvSot3x0?*7@UFc4>PYC3s0rLov%sqQ_yc^+dlKbRPKcrT%jU&GGM85gix!e;szG zKoIy%g#-XN`NydF@4F$y91ZNv|I>iRn)o*;`?OPc2N)rIfx;;!oRCi=XoyU}4gkdF zpk=k#J}et%@b0$bwbSUbfjLh=5%K-9ZOcYg2R)!$5kup_;GuedotaZ7LMlq!v0gb@ zKelx@@#zVzAHjRN`PT-dI84;W+0CJLQX8vc&qIGI9KZDDmRn`Hl+NAlowQFq{N~`& zl2FF&KIe?Kr*G}Wp6^cbVbQ!bwSz{DMnl!|QP7gfG%GaFj!NNgN4R_=eIZdg12rl? zwfoXD8E%ZM?H)Y6!BIihe(05NQy5KJ%6Rnn`lM(WvsEi{Ng1jpH==wCzHx$b4w$ZIW2tKj5x7=HLnV&ix zRR^&h_dBm?U6uFrPR%lhJAdlN9V7HWbgUQ{ygD(O#sNkd-6ZDMgnpihuT@!@^qB?L zuH61NGi)IlS}uTF{XRMZG+|aF3BwvDxkmuY{)|oPMbOis;98 zoHZm;-5V#PK6ugc$Lc0>!Hbr8tmV9v_Kyks)di4^_M+2?JI_Nu_VZ{KbSyRc`*;Uk z6F3slALLsOL6x-fYe^mP^#xkeMq@f>#cV{Ni^s^|B;n2Vs;;$$ns~I!ZO;1U`3zyf zo>qBsk@(a0O=nYYoVjO7oHbYtr0NTVCo9rdWbE7(BA{B|A@R~j)=aeg& z3N2uU&}5Dfn^E?f1D~M&)9)Ng|9a1A+($Dn}uFV*f_)?;^^j3 zY5|ElZ8!oONsbWY2?+p@Y8jYWN$SlL-UEI4X4p1#1{VjKVAZNWcz}cO58uQmT&3hlbWs4lQ_oIyE)W=nwzIqg%jLp_!TGBLX( zsFII;*tF9O4S@d}+?uRKYX=PRaS-59v*658|63lt6@ernD+oDCgfw@|To&p8(sL`+I00Wd2YXV>&95m!;bV!t$|qQlI2kKS1%S6L3`X;a<<|DPR@kkRX z{i6qBv@2Ox8VAsFl2)*qjh22iIuaU!{g%ozqPQ*vCqWwcR@ogyMB&W)m zF0OnulaNK0Skfs9`K{cgn*pkQyw7kiu2yJx@Dn@cZ5Dnr==nVWK=`(v!n-YO8Jd`H zzxkv2dj>k1CmRZNTn=-W_Ur@jZ7zEZjG4??K=)OIxQQI8@YE=qL-(PXfrvq$VQ=e$ z+WNU$*(?**3Xr)K_YA2nN?X6)Cc9shm$I}MXk|oO5tR-qI;>ZlHSetp9JDyBy=bmhLXWm7T;NV?It@i4II9bTUe^5) zp-iOBK->kTYKaX_{n%(PoPw#r!M#djGn4jtP~0(D>;;j|71 z;jq0P49I46kFFzGT*E;p=5PRB5$buPORtl8Yh2%yHofFITR6@iq*Rxov!Bmg>@EQ< zhp)q*6Y>ECUBf;E%DRSPmz0MeH!R;~3BT(>snZR-Frd$U?TZh*qZw!qeC*BzeM$*@vciVRAFS`*d<;B$F@w@me_GNL{?SGWPsq(w4~&xmVVlR7zV1r2hts%>Wetr+#JR zxi?Z&w=z8+)Uc|=jqs0y?~-H4>a$7AJxEgst@;hm6)~=~Wz;6c!p}H<$7t~H6X>sR zOdqnLTUbAmi=4vzb`Zr#py??v_C7n?P%e4BOqWB9$<2T9sL~`l&yfDJjA8zB9RBw! zJQ)KI!~cO;P?q|SLv{NSrKt&)os%EHEvb+nn3*=R&`T3XbV;&UN|6!f=?+)&YfUl} z0|KG$?7jEZl({ECDC|z(bFr|hFMJ7af30w&vhYX0I*c#qOdL`2jiNi8aB$!$T%e;r zXCaXr)Ax@~Ui5XCEX@pG2x&o&)QcTjmjF>Si3H!Ero!ohZ2@{1Ek;*GWtQ8ULsGE) z!8@;v&}v^i3Sf~wi;La>MJJ$+&ifLf9JMTvE2$B#O_ut_Y~kG*`*=e-_nAX%F!4Lu zzZ$L0T5mZeSI^$7t2~#dD;vA1*2;m89e;my`OnV~E&I#KzmbJ2Y8gw2jD|6I>Sm>G zK00*i=$?oT<0UjKYV9dBMbcV^4d}%!&W73YWR`Cq;g{vf{4>%{NIOK0cksPzbJw_Q3}_RV0Is$GMxbo=8Ih)Qqc)h>Q5DPawF#=lkhEseL|zPrAems20~c- zS?2L33>^6~7|`jYa{C!(&0cxRm=VyjxgV@}a`GI2If;J2|DUY^17_)chks327Uch( z4^Ga}(BeN>zaI7fMR&j`P7yCg0*MPJa*!0)F2sTF4{CG47BWm*E9eTxpJQu9CjaMZ z2xe78#&`0?n_H`y>8v5?VQg6}q|#+Oom}Wmj>(=;?qP~4A|H%62x*LE)R_3_(4C6n zs9A7j#7CqxDQ<8|e4f>rm9U`3UQKxR#N$-bntXG5)^1SNqSf9MpQQg%RUM=(x(@zm zSdi6iS5;0fc?rJCu()VNlD5@Zs?D~@_dE6yv~Y_KXk1HIa{Y9Qef=Ie0PGd4J8ia* z{vJ<<^4)Ngp@uI35xxVesLZy;K=7{C<~Y%y>H&=wovT3O^3|bPmU~y|aFmVNQn4h> ze)5O;h=0}P09H_gt|d*egax1gPQ~Td?QkQ{o3Ygy0w!&?cC%i6 zJ~ImGJF5}4wvsBW)f++y1JWI>##gwpHEM2CKMNx!%Y=52RJYQu8;dS6sUs*RL_CDA4m654D;!%d1H!By_}NlMcceoK%e((7YZ3j-IO3W6daIY*oQHzT2t^u!P*>c z?h5n0)dh7ge}d_(d-F*SM=XNK8!7+E2O!>#mV`mYwOBAI`=YP0#Mc5}4|^$3neSHN zE0(=Kpp=8OMA1#p4qTaneR;Ums5+-vX?VLA0#Cuw#*xxKGh?V5CJc`h^_cLn6^G%i zI;){RR2M^9{?viVB&=LNg`O`Oje(4P3tk;J#mDa|G&lbbL zGr{cDY2bjGekjFAMa!9mu+ItY!i?>o@ftM5qzH39P>>udw!02<4pmdMkZI`5&k?g= z!JiuwbTM51)kk>x`seh>)-RSCi8uli`ZjYw!AJ!&iVJAG{jy9e+)l96a=;=}r^1?N z+Ni`{of6|th&4^eHk_z?#ZZ;#{+E#WiT^dG-+-&#vbsobHY=pF0RI9 zF;`j~hTU6u-E3$hB;x#>34xJ2%=0=A^|LDG_BbL$1$-=t;a!;)%F2fhn<9_GNzuK0Qd z&5nNNyZ02fXr4JRHYo;t;DosNGdtnAmMn42r?h70XCZrMV`TF;xblluUR0u9MqMt+ zKO-Z30LS+klj?6?x0DpPIPlv$!#+cFEY^17z=f%JEk>w%7F*S+`JO(O=lFRT$X=XK zTZA6ywd1$GOJ)1sTYXu-O@Djl9j0&w9@4}Z3Uq)%d?R#cYv;%D*l zj6#Xq^njksfD=vf-@53rOmi!$lLNnY34aDX(-Y+V%KXaYU0pD8OX#B~uGs#chqvcn zdoLt(0039B{}z$;|0HDogDw9%x<_y)9Iu$~Zt4)?E7#~5NV4-GQ~-4eXyVkkQ-`FW zvN2^0@798jGe~H__XHhICjIVsyaDt0|7iA1y91#LGNhKMRxNK^wrDo)yn_D;hnK_a z`&^&siW}x?oLzm;(HL~%T&N>I-rf``O?Kbk8#7m!Q4K+fs}j*Q75PwRC5qj1L&C)g zN7qBKQ!BB&SZ^3*XrEMf_mOh8<&Auqsq$Nw} z26c>YtSmK6)!04~?+_tFPis_NeP_&6HAy-q`Jf5y$64d8h#dBE8@A0=_xExP;naV9A@(OjX*m@b=Bc zh?Z;YRvoS?olOf-UO;jp`+6g?tL-U1-fXL?PSq?89$=ZzcF%}jB7=zVall|HmE*`0 z4(2p8{}QH)^3G&otdxODp>_YPwtg6#BBI*31u-^B@*^+0l-_?7nlF>9YjP}P%C`eW zKq!sZ_5Gyi8iDydkVG}1{_LfXhlYn*9-!ze02`BMK_3QhAlYZ*5HFgYq%McMJtj{d zp2SyWYxJ$sOkpZq?J?Xpn<`NgudBT)>Yhfg0!>Y4HWfmbW-XO@(coa4D62A|b-{Y- z1-VWPzBeL>W{i?_fIB;5%wmmb?*Q`&FZ6Dxz7X9ruc#vO5t}?#dant`&+AQM(J-96 zC*}EkL*_td;2|qaU6&@8@+eYbbJ-D>+^o!x5#gOXj!wwG2$zQR94)^BTTCg-3m~IF zJUqh~d{l6CqeMg`1wt{`Gkn9W?L3N{0t7%{1L`O4|NKYk6^`yhd+fUH$+6UedAdlZ zY#~ek+r`H8UEeubMwHsNWLVOl7(`%dysHczMH%QUr$B6%rP6lPT!~&qggq{Mtu4RI z|C_wSNG~xV9}*{Ez!ch>I76(DgXjf?90q2gW+LIjZWF}^I=EEk7By8VKkkxaZS?+R zODW>5iP|*R^x>=`EALD8j)uVv8*cBANrt>I;m%nj?Wlhv; z|Dfs0GRO>Pz}yK% zxpNA3B|#gtEFF324Tc;LUga6+L=VvmRJ@lOFDc#pyEtNtK(I(&`gERSc?4ul0ikZ< z6u%ysD`(6T7U1;afFuGAe+M2j?+li^DJVFHU%F5ppb&n|dth2ai#$dYdWG`yin5xS zcqZvtU)Q%2b+9L+LQ1C3YLTZ{yis$dP91<-5Ht{H6(=5#`260vin(S+sZE_W(KDS7>{+#?(#5)i! zZl!$gZB&d!to||6 z=^*x3;hTIGa$cl*PGs(q7A6CBnr=YwUo#? zfagcg@L{c{=G|mznP$B|{!>{__Fl>Kog$kg-+OaqZD-^dy8%YF>1F5hP1HvKy*BBw zp7gjb^tgbHywWPb-Q5!c+8?)TiNE$cRa)fS$&ZqXPBV!WQ9*?4kfKK>fkKNa^g;B! zSNP!*s{VA49M$j(gh7(@@B>Cr^Szg&gMvE5^LimZN%9M6L(1kZr31gMzm#!Rzxjl)c=om$UX$>X_X7Dw_neY+(?KieN^vMHO1L(cH>&xUfMS zL+O3$J$ijx7f`gHl<3WVVg4ciH>GjHq?dPQ@B&0_XE#qLKjpiMA|HwLJewej=50m< zj=)&{A{MG>{ZXDRNborfcwS>73-ou6Nt*-IOiBUJ?eX7W3cz(-9`^h-5F&?PLSuai zdVA7@63K#R)d$9zmUMvJL9+%(&R?NEp)hR^6HllWLs$EYgPT zM;wG^TkEbarI5?B22~V;nfra?wxViV6rFd`-p23x*qGuP^)QaCQVjQy%4N;<%RPZ0 zfQv9WDC4;tYSGdKwY}H0(UG}yZ5?F56|aH7IDM>XNnZUTbVud@{{zSG`QY$b8MjdZ zJ&LI+z_NN+-Xm)&xgtz_2lT!d-@N|8xwsd}qjFJe*i9Q-YlsMkfG<4r7f}Wn<#pdA zX{Q?i)&HS5CCW)@#6-;Zvtg4B5z~T~S=_n(iw=`*t9|g`z;imX;VJb!c9GOQ6>R$gHyb!y8@6*R z^l@)Y$U4(*l`UczvL8#mC*}xfCt)88&IbVL#;v zJ`xW7HB*}Bq_)Oj!C}FyOiB}HWmZH_={ZN5gOc6iRzYw(NpPHKtDTc}^IBP12M2M{ z0DZDt`9~x;KE+qm_6qiMv-OHbxXXwIXd6yUP;EFKsgQRLXbH)5T~|a&yk(h_1)XwO z1Os{$9=Wh8>O~lfhH@)*ez11vn@{;VD~m5(dd=Av9E2GB_>xJM2ddnEbA zR_@1^06Jyt=4E0#x`auL3 z)`2P|HkXc%j((dfD;$x z=6EQ*vW%u;t^zJ?R-zcPoABOsWdvkbqm_vS@0)Iua3}sGBKq_o-HsD0Rez)w~Q0SEvB)U0Kpp zwlq_yr+<3hE(Dg|AgAecBjm`1^?>OlDzUK*X8Dn+7PEpwxGj;L5qEDM^uJ=OCe)I* zXC>O_0Fv$tswTb+4g{A0ipyMnAz?@zIvDT)5e=*-G)+J+UCDQv(ED(qr!N|_(c7wH2{`86CJTeXZX{~ z1U4EITJGN}gq(ja{~eUO(POT#H_Fk|$brWt3I^`3Ybj*h_p>>k#s8~=DzZchZ_z`B zS`-71!~1C(PW6H0;5PWBIr#w>x^-V1qmLaFtv+G3;S5RuRnt;n!7Q?w{=86objBG= zbhIriYyzvm8fHg?eZ5X7fD*Y%jW#YyJ)_)7|2=MCF7ASQZT=UH-L;Ts5O(?#8Lnqn zoO?#)wRE@c@@etes@n9WQQJ?QL%RDL>viWTY`N`r?ChtLHX|YF!{2!H84>F{ZMzx6 zGh~_WLe%Wp3?(Kj(EY&y|IaNa_&X}>=C$xy@-KqhnOB-lDujW8$5C{#h|~D8k)j~F ztz2{XwyYu;Aka4hn|z5<7g9-;M&{bRWx~cX-|M+M1yvefBAlfAGN+;8&<2Z=yi%l( zngc#4)0`djeI`3!+3mU;kpQkBi*2WjOue}>-InlfzffU|w!;>He?!^Rph=4C9vo}3 z75CT{0lq>G39xboDn1$IL1-)CV_J65k>-<@1e{)(?-rIX{h@xjlu})W#~%I-X51@+ zJ_l?ykF;QepQIJ~Tc^VDsN$7Y^yksS?WV|i?`lOt)h?`#RbBYli&EQ_r`37UV;HWl zv&dzjqfW`=>WDY=P{k%K_E&zkVmUxDa?soq1+dLD$@2@40 zLGZdI33YGee?lkg?K5uoHyeVk=Zf}wL0hIt1=XEye~+XW*EtX^4GsNuG+23NrJGM< zxQ;vmU);krK|Ti%lJmucvvCN21x}h2m-hqxGF+`?9OrcJ)a>hh zDm=Cmcxf<_R93Us-bgFjWWtp0->sDLFCg*RLw-Cqx~3Kw^Mpgy5C#0j?p?BZC!0}4 z>j@qB{1YN7F8QlLz|7NxqQ}72D1ICt^Dj{4VZCBS2kIc;0I$y+{UZ@plvTaQQqE!R zn)PummQguo(1!sl%=z@bTRYOH-kjPq2q|Y5j5v<3QWzx(rYTTlOPVWvDm6@1$h)>!?Z?Iu z`{SE~)Tyk_yd1WcP*k(ojFPu+)in4XXuo+7a0WsM$YAdN{h-$KmXpWeTpjW~u#bx9 zVHG<&NY#VOTV~(=v&dqjXVHPM5D^0s!2mb?@9mJ=%xx`-VM`!W9I5CMd*%Xhx!)M2 zN0v+!*A_=(*747`O_t|j=RQ?^i_7)}h~aiamt`$@cw-pZq+Jo z7j)3=w-O#*x6=$PLdJGKyY9dK7qTUPG>GcffL3E-xjp%zd?qB}e7`F7B)|4U4{liv zK@&gf-i$Qr6>PU-yJ}&eXKHZuVapxan}*A1=jpqawnSm&Up(vSrgYX-SBTf(x_6&q;*rCIHh!wfPfHxU z;jV>nUqeoEA!XxpY8AOblNNq>>cY%Ne&F>>RtVg$5jIP5oq?-kXkO|$lm?hfZKi9oU+2q1EraHoQ z4Q-upD~xzvG~qvIgNw2o1{>UycL^vsU61{ zUeC&*P1Yx8TRKm1VE*zX8%4y#BF)yL%#W-)bcVJ5Zd?25`3zSD|4OBR;33T7rXZ4S zdYu=!(tg2^lm%TC9FLPhNyTSsBjdsTrIVA!Z2cZX1PXQ@W_kqH?0qR zAH;HsrI?8UsaN0Tuu+K@eO5F~UBcmFkV0(UTD5@|cPF{%y_5Km{+*T9piR>$z3aIs z$|yAGlJ3BoLy3!3);sFWp~NbmLZQK&O7_P$RR`^U3x8~75(H*Mf6@@}7AS#rF~d<} zW*9~g6Sg~qGmP?$HWqT-G!b&;N`wVq9|l93skNRzk=b4COMrzdtU~N+0=!zM(g*%! z0z6#v_m73e)4EDH))}+o$H87>b&+FmLh%4wTu4i!{cy#VJTcz+`;`P)@q0@SGfo5G zurieX9qYm2*TIykUo+yo&rwD@yg-wB;WugEPolF?GD`KAV~ecRj&}t1a#~iZz439* zZj^gpcTtDqry<&yy5J1d98J;EUtLS~i1E1V&S>)2AGBp?A|Mn8pyeoYgzj@i-K@p5 z=6{A4{wEUf|4p8v{%=pGD*r?E{g;;hgf|e-*gx#l_rJD2%m3a&N**?bcGmxa2iYi2 z*)H*;Y|p9TaAXNbBmrP6Cx{osP)VtjC%dL7*948dgx^cwMPrLWtc0*=k)RQ%-vL&? zC;z*$@5kMwv{@d(&2hT9e4D)eLX#zHI((eCM+qw{Gk?FuoN`tckIk43hBEn$PHW}c zHKnG7Wu=_sFzSs1uyCJgprf&#G{^)hs1}7FRu*J3B&VZ-Na+X(VU<~IaO#` zguNnEMoez4U8!~|_|HYJGCHJ4k3ggf-ig*|aHf+Kt*TimxCQ0gCLWU1zCW}IPbNvu z>JmI0eH$}}L8*GiYKQtJzeu-p1i!}Hp-*m$FwQ-O*ns!LgR!RvFEpGUu1wYl#sKo9 z(Xyu)8J^MN-~c)vF*PcdM|6Bpure(i1ewcmx;$;Hgz?eeeR#a34q$aU@O)gV$~FBC zl9%~*#||m@Z93^nHu8M{xjuZRuFtpY+|8bk=iKd{kMF)+zCK&n zTU+0iQ0$i>%vj-nnTB-JN!-a43|LD-tGdbPpMiudw6+=&)dAN?Y6x%D8T%s1a}f1qj));Y)Y$&(6#6FO&TL zJ45>a9@wDlVgEmZ6|gMomguiOeM1n%o#jXG5#7bN2xJ|60iKduEzr%g7K*VC-)`49 zGN0GjhwuG+W?ikv{yoQ29Z7e0ABSCk>UMiz*-UDjhlFeJ!#R~0whlO~q`tLLSe9&t z5S`18@`M!~ib}dz=+dc^Xf(g@W-J?kr2%7{WF0ONlRrw-RKQQ?23M z5uKwQHB8~YB3S}SNw4b+s|f8$hKvXvYb{UsuO33gkB+81S1n#Tru?s@+nyTQsoo{xaz@(i(41cx~J@&al&nkX--~shY+5&^qK;b53@>+S1)TWU>*dG_7~| z-31BmfmyXTL4x-8B}fJK37+!FS7_gl&!wGCqPkbKQ?R~l3e8go!(}7%0EuIL>|I;H z0C{Mz&Xbpr!ye>L(N_9Nt+61+f=m)LaZsM3@F~m1 z0J*~%oF=qus6RT_;px&FPHeUGFe=?UkQOf=D39pyNzUoDKIeAw66k!jeMe3E41;T|y7^y>xahIU(bz(SFyxj(tTUC5rhs>gn=cs}U# z^{!@GZca}w@8L)U)GB?Zc<*Bl_mQ#pA1r0|*Hq&W6N@M-!hv~j-FlRHQem7C+`ld% zWH(vh$9QRZj@hMxLgXL8O#l`q=8`=2!sL5B4tfj8|y-U#B zfuiEr9scN|$SZGXhC{7TY{8ANmlzoce;!A6Y*gJ-7PR6gG{?~ZT|(2aQ!|DLD_VR7 zifaTZ$H@z9T(|igl04>Kb+wdZT|WS|vX`LJEM~9`>GY2UcGSW zhfxQ2=`g0QMk%J)4x>maqLN*;a4Kyp|iL}nL;70oO7VDn!5vC_sB z?3WvKHQ`nVBY{QZRW=aPC5gw@e5I(wM82W8k-k|A7|B-#@`ES%JN%$VV4?`#PcFqV zf*)cLd;70BXUw37Jb8HNuiwA+FjT&>=NQ_t9t~SFH0t7xqK7#HcR^Ih&@d#p-7(r0_ zQ2sFqfDLUJ6E7$0>qGh=eF z8LwaojN0XBtn&$ZR2`8WZ2A8x8m|LNlQQJjA3M?}5NPRz1gB;IF35bu=0RpmKHH7^ z6CayfMzWg?PHV*A~fR?On9}R{wry=qo`^E*E7LqSoO!qIacxqGbQE7k(jMOM zj^f$Yn-}mfivY1Rt`k@`iOpIKH*Dj`u3o~W6>wO!+ZGjmn~%R558}_2wXTEZn75w) zN`Y@3HwR#7^Lk-62z_!lzj&;*$@TL!y_p$#vrDl$z}S4)50=7%v*Olzur{2m%e@as zd9|;?3z^5iT&;S)+SlE}(RjWv!RckZ27kzLeorSat&2ppvyYuhy}T#7{UJhh{h{>{ zKpKYWMp?sq{)qz@h7gVA>fQJbg)ZGjSc|a-V+kZ%Qk8Ynh*?;02c#0eK63kCUZ4Lz zdPK$9;{S@({h!#KwJ|HwuYWoO`Cmv1=YLy|{EvksY@JLT|AX84pBADX1%ZEQ3<%w~ z)Grjc2jCc3|M30t8$#!l$@vGch}Ff)iCQ0@wIqqmk#h`dXiQv8T;m}Yrh{pF)ok3| zW>Z5+awtu(KQW9ySCmNpE@22vyqVUaK-BMN#2+l!tz1$|8ElZp;PssY#Dwk}9m6|h zsAQC0aJ4n}H%RiR%k2#K07r1|=wl5_%-w2}T+D{VihN9Z)DA79VF>LD7lG34%Lf|P zR9Q!G)Oyyshsv%xY*D|Rq(>Aa&F8&x`-z5bEaM5E#o;9OJ4tB{B(i^PN+-`I7%h~8 zi{8xrae}pOG~jLYJ1nRk%(7CSkHN5Zr`l=+i|ryCsfYecCGST`zJm2n-=+RTShM}_ z?Wv0Gzx@=our>aVomN@qKVfM-pK8;96%om*Bx8}PI8-F@>TnPa>M!~%$d;KK1Nd4s z{{QmQwrv-kE!L+_;@6mNXSy>QnwVV75pAbsE!Jmy-9`S?MEjOG!+yeQq6l7d8u3&Y zr!~bj21V<>FMKeKtFk~{?)<@>7Yjd!=1vAto&2Vk{HzdyXQ== z3Lepatx7^`aih<3(i^9Su2-}JPkr6^4Zy1DRQura-bwF4Xutdd76=VUa=^$1o-S

GJB%%!Q(n4N^v#kL7mW* zO&jwT1R0I-;d=k`h#cA{lAuA;@vY^P9 z`rKvbpXKkSA<@uPVN1h`8xS3B;5CHW;ztv!Fra>{ms(x&jNM%PUoNrOHo5{vt8F3Y zTB5U1V?wmp*{-+H5&IWRa8EA^M{yz@VOfM>9uryh1^#R8{nt&;+v0RMu7U{uwkh|g zxM2$=j%Au@ytKpiv%cno)QeWFy3|mWj^Fx$CC!9k_iwNNGBF*Yh-pXcdx|wL;&<}+ zA1^mm14j!3L+igKkLWAkRM2Z4J%&IqM1??pL2%+YeL8+Afuy}3@&`6qi;BC*YZOU) zTj>rL#Imb8+XTv%Rg{;yUPtd(sV76*Xs=Ko2)oBRH z*2kgvKC}%2ExeA{?H!Sr63lEmII7akYl(C$RL*ehRZ(GdkW0oo(yLG%?yIrVMy1gl|^Ch&81K)H(~zk}3k%4?>JJPdOfCo_#0 zbE&5?es&#fNpr5HpsC~sSlEw~x3Tnrh4{lgvjY;<>o}Pc!NvN&qs5c*?I=6IV&(1$ z0tR7iDwHHso&|3BO9~`bg~gezs|)AWStJ?sU}`B)(i)g1#YrWt5o-kb=NHhK^gjNo zun#=$BIe{~q}0(IAk!ngmNY>!A6q@xawm9rjV7v{Bii2SUmR}6?Vl^BY#Vl1a=HWV zzgAu7h-463rf34k4Y?>DUTNhSfLO5u4<>YtgrAGpku(U^9=B?(Ekib>P6LMK)~bP` zT#`i98sWkys){2iwmvUuNnerOD}Ug60aBzB4~9r29F7p6uE4qcwRw~Go-G*& zy>f7Jpt{*{^5$B82GuEVXmkD&1CsJnCIci4!?R#!Nk`isPv#m15|P7s%s?pRNf9Xk z8>+AZ(e_h_wff`{N362@@ok0|;W)P#VmQqVsg^IO>4GD8)PBmzi0$*a+!!7sz7t^_ z#g)m6ekEJ_n7mFYeCeL9fk>;P12(p0Cbp1s5GYtE1O8Jb@+$bT8phUV3gQ~KptHw#Wa6hwBA||Ecgnrkt8$r z)Ee#ir>3TZ#-AE#NbDK4d0sefIOqf4`=eaAIQB5VvP^euh4zt2Ft%@mm^PlpfwnG>*ViBe?#You913$O$HeTSHL|v+w1z+O48kH~ zMzwgAP2l>t7SNnBhjBy@zb5=T*@?vskT@4%ba(t@(}}y*o9`{d?rp}hd7VD%v})0K zy7|N>H`J3SNA6bx447|%FU0tDiE!qXiNd=D(VS10Fw$v-9?|ax@TqVuPkLEGL&v6L z{D#DM*=fgbhF>$F7^mb5^p6PT?}3GzkW`-JH@<+QJ(AgyH744cL^II48!yLHg$ahNbFl^W=q#B=!U7%` z+wtIN1sR@f4)-r53uUU@5zKB6%oMVRM+1_|A}p}(U&*u?lCxBuijAdpv3=wUTv876 z-Ng!Poka>3_oqhP^0L0tL?wFUSn3;@D6%V#6{q#gt16jQ1Dw&<&xPwRQaWeMnpir{ z)A5U-H_df{j5=fu9I2wB@tReQ4)^j)Q^%BC$&Megz9r8KdrCXPvv;}NK4~B&I}+|v zu5P)NOUYvfdCADbZgv}Tpa_d8JhrFn7X2NW?cA;`Z`;ZsA6pION9(DEG7Pvt4_-u+ zDwG;g-UbkS0{TDsYEd9*_dejL$>?xH&m6Q8|LRjmg5`Xf%!K2CwB#$-b(tPd;n2ff%2C5r zj#GqYX8CHA44z<0w@i_!YLT64&$c^t8Z1AxH@hn@rxNWL9d#^{()XbVES->bIfPq2 zDGHFHi+;_traoDgDsdo1ttB~@o>@0Izp<7jIJUV>3mx?PC!Y~J$ksZ8>HT!y@xBl0 zUuk71tD@?-@c@KU@{37Wxn)lW`(2iAuYS}KP-H5bT<$n)?`3qq`4J<0v%_=iks^P1 z0*?AqZ<~!7I=7+{*d*s{VOS6Lhg-u^_>=@g0`6-kT_XLUksm?4tAZ4}HP6Rssm(LK zeV2DHMISmM zmJaH)zIgtqm9kB=vq&e$b*QnIzVY|$5J(KiUvvUPY`mg$?JyiVxHBYTSW>dF`FSx3 zqk;V^9so!|39<)A>V-m`elUjZE=+V$<}FHOKiya+cVM}SIWj(2c3yFOUVFm+2t4_~ z>j7QG_R#G&1@XWFR1!UU;hF0=piZbf`bsw^d5twf@Cd0oF0fTI*Tw3(VV0Zr8He&TWD3k+${B$S&Qw)HtJ)r6)V;VGu#*!UCbqke( zsKk=Ry(?YHc~;ijD32qXyPUO@C{tPg+nayPGo(sY`+zqc#<>-mDaYu?&W~4i`*?D$ z`i<<4d;Mgf)DnCZW8~bi#!4t=;T)Ynwc{AX@JheZC;qqxViW1 z$=zNX=KHJ09` z^2{9HPA8200S2ZSz}4}{K23RVr;UKwY-1HGk=nfA>(beZ^YDUvxl8c;qW{M*|9k3) z^Kaqee+fYg*qT|pSo~cD8uI&1e?QeP0_5X+7CgW|4tqO$YZ`;^9MIIj$oU@{(*HP> z*6drZz|7Xp(Zu*$J(CWS*2uunz?#O%z}DE%&YcdDlGg6~Ft_-Auy?dGg@pXefBet2 z{&vy-did^$0Q~=6OIkumL{>@UpFI%uAHi7N?^fI7cPjSp9_U}b=s!RG`@Om-tXY0* zl>1Dp?MrCdr>d+f7Sb#$Qi#wfzx}8mZNZu_$&5VSVzWYK{=%l@B%byln6C{Iv z4yV#w(=Xk%-}a;hlLz|loD+N$%I}yqtS0!B7!j0Zgb?ZTmYY%xg`h&aY}@Ed~vY$hGta|1DCiB;v{Hp)dOl`S`GL7T0DD|h=cHZuTkhT|1zG_aVR=z~-|nd@<1nEfJ|7e+w7>=kNZsbjbOO;{4Y^^1uDv z-vtL3`|k|d!p7dt(HUR(dwn@t7`psz^smzQi`FKPHU<{9_&oT=CZ+~1*3L5D&;GW) z{@)#4g8%J;e|6mcd2y}BgCz2QCtcLvgEarw#r4g9aXI=T-A;Ea z>dxsA9TrUtuZxBkyNAJa=+I2@;H~cv7I)g0tZ39Kq*k5NPUH|yuA{b=;*Vj%NFC#1 z|5A~V7flEAt1>l;>stvqL zac$!8EmiOzzFSGjf=!PK$J+TI5O+iB?zx?yjPj_TJgaN^e>ftE?XDXpjJ zmw!*9y4LQp*Nu>J?tF6u;RH?wjF;;zq(`Z?ENW7Ml&J*~)fmN!C}&iBGs9Ps7KqE| z4@KpYL3i)o;7aWB@8n?@HekV{Q&#y&!U~bw9eSr;rocgqm{--Uc-mCOO46m`ME#gG z*2X$1(cUj&$z?9T5u#Y7OwB-6HJW85JxegWLdAIhBI3mf_eJ!FX>mUabr+NCNm{L+ zU~J&ZgY6=oaYwvMCquowWbKC#|( zn>>FZ%1OMK*cd`)?ceZr>te2R z`tZSDH_u&=6+~NK_m|x zbXa!4TJ-I=K0O?Z?Uk@5pMhu=DzQ>tIrg80s1(Sh!elxL!$b-PCGgxj+j@vt+$-+b z?NNDu%TEz)#-w|n)?uf$ddX==%VY=l8LP6e5#e;+f+#!+rU5GO%NXsrY=m_Q0SMZm zYNQ+3TcJ1F1*^H z58dQ{VnwGa2t=14OfiCOTw z+*tWd-2Zoc%0D|dy1$vDzdQJELo}(TVTZ&3?>k+CE&!qt4~n@-89-j7O(`z`4~Jb| ze^?gn}GP`o8Kuc`x_w!4~Ki+Bl#$1Q#wPI#9y`X00 zi1rj!Xzavv6(**f31-n5P&86vGCETI#8r9b!~^@1T;^$LWVz1{?)DtoF$ zvY8^0@H#5F?c6D<8v6_?h-Gy3;6Uh=nZFun5Ydar9#Zz9rk03Ij9-Hwwg`9Z_B&P1 zR2}KmjO`|Q4A+Xjg!&2JChpmphmXp(+k#RUyB=;6IiZuXp$Y~#U9 zkQ*p~pgq=S*^87EadQ=!3ODn`^-^^+VASuRmj^Q3m;s^NtK{P@xin1>n|BreameMe z-|x88YCi6KPV+xxR`T$btXL{IV5vlSyCc?cQ2|dF_h;ZrlF^3)fOO=103?%`7P<=0 z7)JySV}lJ!2$+s!k~zhPQj4yD+$nby-^1YF4n!ofIMpD7!t~+1y*BeG65gz$m!t!n zy&(s9=%7%#JTjlkelLk^6AS_+vJoM z86~|ChVK4aM%eF7faP|@VL*BEbFHX;2#hxX+YZfG^nbAYd9MxS&i)6pJ~DK3VO<$S zjt#sX7e!1@J|+F&5kr2bJ@v|@F~0Q`5L`KmiVBCXP(`UO`Zkgr{jOiv=)i!T8`8|- zT`%Xvwauw|Y4#Ho_-bJ|d2YO@9iOP@z84XU;t2p&#G3!Z%8uineXGQ(l#H)BoiZOs zt~j5$J}bZYr^2aIn)_N0R}Gf*IJNr?HQ{&*LIbNmPudO#fDClm>J8qcf@*VYg7OK)!vJQn;~!^dJ*6GZ7y z6RSRgsH_no%51A($0C&34Dyw#bLm0`M}2{9M<1PmY6K~%Y!fU3I>%Qb?z600%>-sr zOExAitMY<$T2@|wG&s3i1l+rtUFxLju!=Ob8-;>;1+C1eqZsZ2XhLX*@I(-iLAAb< znohCfH_d|)As^ZuyMwt9m|_?C1Kpr_P+BOzyXlKtCFr2cIf8uHo+^GIC;QqObspT{ zk0C4MKqT>;gJq~#hUpGtiHDM;<=2m`1M}u9X0QsNxsA-!Q0Eo+wRsIGuGeAULy8A| zZ4I_ZgGYY&lftM@GiHhBWTgakjJe`|0&2!fDK~sno|5dDogC8*iP3Gs$$EdkEk>u}K)})YjoRn(RJWh>;)y?$)XESZ zvSe*8K}$K&OxqY0G+sD58nO48u9RO%5=l_Ir7&|sudwMfN`a9J`HiejS_okU5*yLJ zgY0|SYF0uWZK&!)3q>kI=q|0toGLP5L0}lap&*Y@hSG~wWK5483iLXlia;0E%k*?x z;EQ)Pu>2!E#1q_$rwW&r30RI!Z#G?0WN6r>PUVb)h$(||#EP2+FWuaY#3w=96Jzq5ukES@6F#ve~91Eajhd46<| zSfI8L8$SI~o!}x42`7pchl4vRm+SJo=I9%Sq-yeG|&KwHD(Ykh=%2M@h zZsr1`qB+4j&m7!%+ST@bU~L1o_FoP^OyEz%gG;>18#Dv7?@`BfeheCLOYYkuG#m7q+5R*q4iUk zaXRrB5Z-}A>Q}ETr)cPg?&ck>BO{jUs7jtc?OcNqrZde?l6y?!ti{f*SCbz?sIR)azN~E)B){5&*+3fN{K}(ZsM{Z?pI|7qRT5BHU?nfq zj!eoN=Z5R841D!zGh{=@5{gnmU@nEl;6{6V`vJ-WoW4s=)4r%~y{ z{HyNdnSHcPo|OTh;SbZ6l^K@Paz+9rlX(GmW{oz@XG($&)t7%lve4Qu61$a8Dos|6 zcMQ5U*k+ILiF)+`b%^@ROd`sm%yZ`stLE57^ZjKuO#Y*9bUe)?5nsI2=7WL^;MNsa zHRAy-M%NfBtbav|%o71mcX5;L`juLSe`g0=zpG^w!mz)Y(% zO|3|=gn`OfssyKaUr*S*<9~@S!h84=VCfC~K%~maymOe!4%*@_J zXrO9|7<=y2ailUYG7M{7aqbbUZxGnzFx_L)Jic>%B%5gv+r;RfeoG!&V4(6^6}U6` zvTVg#Y?x(zjhqIltTGBYqH41S=X>=Stw8vh&!bLyldWg1B@DFhgTTXvse9 zd_kg*M9)$@J$U(iR!^<1w}%a`{D@-H+D@f>D_4R)Q-ED%pV~UMNy7a#mCpxc4*O$2 zUnDpxeTYa>559$D!3tkqPCV=@(hP#_^OFVKV|9-4im7ZI=5|vqDD493fvovf6db6@ zy(b6-Nw~3OFecZ=$;clyhki?zQDD3h9U>qC$6=JatiiDZrt%v+^Q&)JO+fdnc{lsm z*7Rxu1Jx1!O9C@XVtt?U-7aEB1pr|Ezx)hz-@>}z)gM=rzaSG;>Kb-){C~@3fZ>|< zfyGzRh~vf-_yw^o-2n@$FJ$WbbiuANDv<+JR>Cm)FV2_U* z-<){8&bm&pD%p@#`V{xrxFpx;X%hz0^eo+ol6RU26k@IlM=9&-Q+cI~s{U=XQq^Zx zKWT?<%;T6QJ3wQ1C_0h_p@`c9B8TlmA!jV15onO=5#RtE+t>(d;0N4`TokR+;v|{U z9o(lZKf5SHj0f*Md$lxxE<<=d0L?a?{j5#EGD>>6fE>wIBcC%WzLj|7ep!mbjvvZP zz(!Ycj2}|dxLd0ehCrfWBXq>K*!ZPJBPVwRC(w*ohbGKlgc*4~$A@bU>LRI9%fl|+ z+fILkSEnlr5_NAxfD^xt=|4jgmVgYI8x{`Th>iw?gTsXFZ4NopLPmiZN5}C-$K$!x zD1Ewu#_#j_?-YwkBQZ`P5}H~a;PyZm`&a{I_b!F`S0u?6pkjqDIp;0{(!J0o6e2xb zQ;opX{pqNrBiGKV^=y$}g(snTkRCx<)e`J8zSl^(2~kBy2f5DG?yDqNe;g+L{+VwZw#Q&HY-AO>Hj z$-Bo{Q|@5~(b+|ED&k?#BH_U%Hrl6u6Fcizv^D#efQCwQ&~>^uTsx;oowCK2jL4!$ zU|qH%&VRz~47?@{QLUFXB5^n|WbRZFJ*3l7ud(2>5@n-?fwEzAlC&*luV-o?i$WRh zkT7=g8iI%P#=Z?E=&Y5qSwZ^AB5kSYut4=ySn6Gg+Q;nS3g>&RE!P@FOZh_y^E;?t zZCKwK&PvLF%SAndr?BrcgmXru`_3M`Sm~NuU~ich6l>Or#GY^J1>a&}*orU*61t5t zMB$@ICjHWP!M?o!&dC6KfIa?zKe2ft1>HFYm8niuXQMRf5fV-34@WG{y@o_L`DQ9)w?j2I!mbmfDb<*QQ#;TI)9W4CY&dlg@F zJdm1^*r@1iXdHI;py=#n+3@79b-9AIma-Q;F?6Zg6r~j4Zphv3MOZg5)ys2R0F}p< zW*N?6Z$?lb6|;El5x0TzC%Q0zOD3zI{0p``2&cjSkCNGubUOwK4}i&VM@BEnR9WiJ zNTdocfp{MejadpoxAb_VkvGG;YW1%KSKW#A^AJpbmrOnu>Y7X$$;z~Kv3?+|8n3km z6xs*-ra(NX)JA&@n~NV$Timt-O}tMMsap#NpqGA}onUFW=&4-Wb?}C6Z@hQwTE(e0 zgA27QUz8pfYMroh**JRkx>9w-U#92wbfphK)|K~oWJ%_h$XN~Y#h=sA4pHn(jO||R zy)=>YxI#^jH~cVO$E(gqcLYhI6^>kfS%j!O6Yma2DW;xGJb!GYH}0?(IGV0+BC6-)8GJj@} z#$0(^w%%=gOyTyf7_)w`r+<&g#BA%Mp!7YwCVxY+vDRa59B`Vzu`pS?kVK0XW`Cie z+^j1gs>&)MH!VSesz8JhMNnyEgo-T#%xs}09HmM!Z*BipcGyf!0g38yGvZg!uC^1ZYT%Bww_D(cC`&_b^uJ+QhXE;5!!`aO>JSogw zJ^z7QQ1fOX5{YNzh*@lqzH1n32wL7`7B*Qtk#2HQY95MU0dz#ieJ=?OaTB!~ArthE z+b4S;JLIKpw^CuAVC>sQBgR_iR&h@r!Nqf!Y&|gR?!74alvPSN$&SqDNdI$|flgG~ z`TLYB;*~u=x+cAKs8-kg-@HkF1Xcn=zJzK`&o8k3@3aR`@(Amj`TF9NA$i{wT(_8@ zmp~2HXt!9ZQ?EgtrKEZfHM1@Q;N^&J`%#=gBc$Y;pZ5AS6|E_?h)p=y)%PJa++^iGYz)qydGQc|5QW8@9!wVB7x&;_8 zi3S}x&_+4H!_EDt!~OBLNq7A>-DCqTc3+G2s~7<7D)e0y^Qub@KaMC@-1yh9c$y8x@6rCbV*C)B4`lV7ro;TF4Xpp(exeqpc7Fw* zsv3Vauza`l7!bt=2(f;|qEsoz&>oPB`@54TpKfG3!^C8-%B~$eUrj8_)~x~kTxG_c zzVSHBbnuhC>RtONSULJwk#Y}^)!BxI`Or!7Xti6MZoJ36l<||pY(Ho28>d=n!1Qs+ zvxFLi!r0HZXqQ(`CeJ4|ScJE46%0!Zx70iX$XDh?<;KcR4H|r!t4yWJ-UH@mnl$Mg1-7#(LK2H&BB?95lq68F zOC$<5`4N!02;D(`6YT0#O;1>LbpWEd6gZVJ9WL4;HQ0iFexnUY7z>s5)?hKr8KSbk zRFMlWMSJ)d3s@B?f@o!V@W#CZwcPGi!b#o)2ALC;n~(!3!qF7$itN*`n?tqL&Ok!i z2cti7!gvKOt24165+h+Yql4xfYSJkhr0OJI9K88>z2PKsVyuRw9BHPR{XT6%b;**1N9`pWN2w4f)dx^vb-&}2%N)Nbul{nmQv6Bos=Ldw4Vwq zQV@5v)|ZoeIV_&p{iPWl!j=8JZO40rt|%-6!Ps#ZO&Hj?i5Z3BrB|1@Qgx%7xxW6OhjRDl~=Y&teFkpoY(p z2orhzt}Y3p@RpRO_Qk@R}qU7Ifiwz%p-qUK>;QM0zJy-><9V zXsRI15Uk)gV?TVaULpLm;RGm#MdP^)fQy)wD3&x?Cak^kJfd8S!bt;NeqUKGp>!^i zp{Dg$2BR`eLM}}AbnV}UmAoN$T8B*1v%LveNswbjHw6wiEK@;*L==h5bz-E#j*dV( zHciNP-PT$XiJy^>RJYp%FF#8jgxrNHW5K`_@x_F2FYQm-NwdSy-Q!t?*I_8OAJr7M zbfcjS(F=nxVxz4@-H=PKCf}n<-H7@iEzL5U*Oi}k*x|@Qx{seukYn&vk~ugqD&Ib| zqKAnO&muGADnK;O#VEaz*n~p@DMmpC-%@r3R01%GY>hiFuk=)e{N#vtHfiC@hQqY% z5=ZueR*kxPb~~vGfM(9DQ_5wZ76lVPHi9i|&ScztzzxSyU)cHQzsNq0N9_+!_y))V zd7vMWA{nHySs2M%)I zWLd8NQ>v)wVry$*YxZB3?AwNAt7z5Ce&>r^O97ABj(+xPs zmhDyTRpRqsm*=)?Adng2;O8b?c9&dyiCXq7ex2@odfZ`Vg#&Jyar-WbQV0+5V^ksQ1nh#+GQmPnm=$|K`0>8fORFzq4EugCKv={ zu?WJa!ISy{9`ZbmVzI2nK>+M0GZ7D(`e}YBY5SyH!~6Exf_3YI;e`ahkU?}CC{gjZ zf>CDzDp?xv8g;11l+T8?sFs<#SfeNlMnFpSP!|-NP&@gZ30pOk(F}rSy3+gvdXHqA za+F??m#G4s@ys%9b40b*22@~awCwfM)iX#wL|^KaDpOeE*nZ?xH?-rFphR0vV)+k zBNDSv{SYhJ$GO0|nh#Ig`k_d-`w*&x#N^CVlly_u-(9(Rzm{AEPpE31V16f`is#p4 zaaCfpH&xeGndoP4mA2LG=yEJL)Og^ezag9kQ(5Dm9~hFMc|2yyI)ZKZCp$JPm5nf1 zu+|Va^?7*TJpZEN*g`d1N04kDN7bsX;!Q5l$*9vjM5C2s`4Z`Ab*ANQ+w;|A84>k{ zx6WbJ=u#zbWaCC|*F0D^Krqwj2?ADiGi5rHb+qfuIexH?+C&(I^3E@4!4g4=P^xEC zvX5+=`m$Nw=xu24v{2H$1fGgA@gFuczVI z?E{G8F?x-8Y64A470m<%z>wA9Q@s?$QtHIo$sAxi;#J$rh_+WEgC;0BC1S z@R`*I?WYI-{Ffb^vnNCs^1XwPzC(Y;|I-fs2G1B-{Vn)dv;7V}zM)xBz;NM7(f(os zs+6g;d5V-jcJnKh$gtp#o&+`MB*zp-e^x{wYtyZRfySpdN;i|c6b2Q zDBNkS=M`>2;#T>RRF!)LTp#8%X7ej~*HyNK-m}!7XPC-BKSfOy}N$aeB<$VuC}m%a`)`Y>CkmPlBDl=alms3u10 z(wA2P>ABjiyNuU{lT%KD&19ZIW-tb?`Wt)u@eqkZ9XH-+pm&)W-3c z9;{f}5;~pUwLk?be40KH2QPO5NW4;KOo{EAz=%diTZ=*@NnDx&$a4Ls`mPa5!+8ejK!Q>~Ni(=)>N+QSnWpR>^MNw7 zh3~h1QX3A{Oxra}0+FJ1Ye!JQ&Ayz=g8>x@%%lOnq7Ih+KpbS>L1T$()D+HKrHE7| z35b)%vv)+WR9zBEpH%V9gwu!g-sLPGCw#F(?crIl=LP2Zt2Z`RYMVtA?l5ujkH|OU z9l63qCExxk-6}zcFeOO}9SGtB_KurVy~l*=GZL1(yZ-Uu>xWT5dFuKw$Iv656$SQs z`>niGQ8_j{Wy5B;iTx~JEK*JwX~)=<*onG{AZ&W?kyOLaRJ-98R=w5@guoxM48~T5 z?%_|a;@Bhp{)RZ8fEKTdM{^b(FeyqGh7jw_PNcY(qWBCKfyYPHy?DBQCvjiMBA!SW z5B$IVMJpcXCtr+Oz|ms*K5HznH<2+cYT{;+8o&(p2?-hT~n>6R6)70MU z2xut_d^U%1{QT{JX3iTi7u2V({;MC<43|JOOKmOqLWAKp-vk@DJe?>;q4XdU!jYk) zpD*lZ4u2W+7by2Qwy55De0iC5T0t}9ceyVzU3I=_eo0IjB$&Ew&9*Z{`8l1*b4(2^ zMa*~&qD?qdZF9e@?bXc>3A`0r(oj~n#Y}60cU^ju`I1TnG@YdrX(5}p#e}W@T3M8s z(4eiwikC5sN!ML+=*Py|;FER$@d>il$PBVwKTnTHDfqqWSdd)!8XHcZPNz}ROstrO z&jbmhEl_Mi14qYorx|G<5&naE=9)&$>UbLRgE^Rjgb7?Z|2o66qqS9LCu9?&^D6lb zj5}b(djvPLiT;5DB5HL=Ao1;*|J@bu&N?G?f&yLj1kzDm}sXU{ujR zHCQ{t2@!Sr9Gu%idYo#~6S-2slknU;)}Zze;oz@HjVTir2NdFRjMdw>h?jVIe5G>4 zb@M!1_jrW&97c#?+ukJ^KowbRzJ0^Mi^q!fO)SJDa>&=TLDh_qwEDf&fqH?U5S}9b z8%VFE9m&t!bgu23n(<_~{1--s{R;?D4><*S8^+3D#(^aP4CVc}f&KU&b3csey?c0n zrMGg1Jj1I1PfoMEEjLxZxE9(tSnzltJ!H2VPC>&I;SBN;Uq0L%?anFn0A_XR*s3hzx_Wna`xffrtzn2H9kRo4m^I}9`8YR~yZCL5F8(KCxLf9l*yX6zi> zk@IBh-5{AwMCuq?0B)3@Suz!7KXZGQ*nvg6>9j_1#p;XrhgBQ&Oa(V-4brfy38qaf zoG!c3{ps?j0mibO^86I-{OtAb;XoBw#$j!K6_s(pY<7>qaZ?rzfAU;*Wd#{p7xrb) z)l+m)z@of-ZWLt&4-4_o0P*7%Q~QBG_!JijD&a$OvfX1?_D z%R)6Ct)wFxVT0KK6*i41J1fYmThH(uh)qgWS>8r_HD*FTVk&2`Qmo6XJKypv<`*D* zTwy>C75YZAVaT&>x`=EB3wG5cW(HU;CBr5}^Xj&EYoLAtoA!;QhthP%; z71zS1Pd1a74AEbfAf>lkDdN0hm;f zCIHg0boYEf>eFOZP{e83G|!}rI0cR4crLWFLLs})Px5_^i)iPcO}ZUwtI|Fu-$9@; zKeHJwC6qf3LB_!g$e)TI&Ciq%u3jEu&IsR@k+J7FCK@=E{Mr`_-#C9j7D7;DL^hj@ zvHWq2$)|>OLS!ojtd&>9`_rzxCP5Q1=IBpa8e<`_{F{C|=%~zYb-}smz5DPR{NeV|CvZcj;X8jfT#y z8HD(RQpliPc+cdNmS|h3$Dcr8wK37n0*Bp(Y>=Ky_@+Bpqyf2X9#i>z?p4t6_V6aTvmfcD><8^~a1P}#XgGwwd!)>t z0P-J6qFY1ZkEI_8VYq?A?@PaG6;;yMP&_#Mx7@luX!~Bw8?6)nP)FBQ_$R`ewZyI+ z@ti%+j~zhD@uRZ0ljtSkq@Z`Z!ASF{)b@I~v*X2M z&TP7ox5i)DfnrhsHQ1_;xi7!?zPQ?xYd!L$`k5C-^F{;4=JDD|CYv}u=()1}${ix1 zvQx?{Te5^O$_RfKUiK2gwELYF&D|=SM=aZ^kRhTctCM1Pa@)PDxFg6@^i3sX5?TBB z#A|%hR+a4m^1zv-wZVDkXXtzRB5AOCw>9{PuGf1dC)GGU&3rfM86`zwn({%pO#ONe0yMgq2S-+j5n<>7spyV ziN#p_W;`b0k6$9)_y|0Jla-Zfx#Vsmpp3?w+i0&Sxk|Y-((9_yb@yW~!f#iZp^}aE zoJUj0kUBN7&Me-!{mNB6%67*UQ`=sIB}^ty9nQQxb9{Tt0V;U12C%J8Pk0U=tUjej z?+U!eDxxTjpf>v@WlN^#NzFRmr4MEOjhsr)y=& z5=VP~behz4G@ZBHC>NW#;d@a9dr!;6qv%bZnG<#xpe0D3jwcIIv1RVr~@Q7>*n)L+QOLPtoOm8 zGSFV3D;L`SfiA9!b-u_qxaCz~8??{Ymhj{*C*PSCEU_(iln2S}IE4<@*in8p*EOOJX!@KOKvM)?z^4hn-L_Fz_fi;sy|pzYzOQWg7|DL+Ay-KSv64I z$U7ySBuyZ939^FlX~P2HF`$J93Ep|LP9ul z&BTd2Eg3ufBGkTV+=f|U-Op$hS0O|J;M(H=cF}X$vl9e~z(8*iwdddq(w>#%s5}zJ z+q!}Tstspi(4XPhbVBkfI&uY~avI;^OU}|+(HMdBTxA%=EQX7Jl;hBvti1~uB&X`$ z?_@JK=rWjyslhBDv{Jr#hyd_`d_sXNh?(uH&80k!Om#C8EQ!jQoffjqf$8Jr9?{?| z8e)9$9Mi#-0fiybI5hdn``k?igzy<8?i5h~>K zpQI%2?Vib-WpLLWaJ_eg_F|i?e!X`B1IH9bYCV%VKj);s-?B*u-Ho8tu>=%mjkbTr+wi7p=2rrT!tfM>HQUchFdp3G~%u!7wu{ES>}iC%duDHO-e$|#$x<2s_uHx|(NPm~LlY@U0A!=+m8|BKc!LS^ zjTP&W8c@pvGU02Bo+?uW(AspcNb6TR=$qV_0ukC?llAd`9h79S&~T5hS(il28H^ z4SX~%oEhBlz10Nc08G#&lzuA6E550Fz&poFOXYREN3|?K&`5|}S&u8+1S7I=qW=pL zum75+vgq9bVy@e{jUHk+z9qAe>GbG@YwQ;FlaRLUEz=P<d7q0SE~pB7-MeJLsYA4o2pVohC2TvGsRf+7ZFe$tQR1{WZCIg!erR7YTjUXbWFWidb(tXV9;{=9DKAaa_T-2fA@ZFdVW0L9lx6H@}{mf_H=XT)S;x>;LQQyyK}3+dppaEi*eiD^keL z-Xj?&d+)uHO{9=yWk&W$WJdN#R-{DsCL+6{-`6>voO61fr}`heSg>e zz3$KIyR2gZMX4)t+GuSIBv&s>vCZsjetw@b2#AxZMY;*)-{;)E-6bIXj= zU-R>y+jO5lWRt2;N!2MXn?+5X=~!az6NtylOup9Hrdcv{V+r(zuqmXxK3=xT$v|y6 z=kZtZMrBDcyP?ibZr=|QZKXLGtE=jw0X24dFXpvl$ zygsULQC6SM;qDN&CuhxNlBM)s2%+Sw8z=C)fR}Yo+aT@sltW+hUhYfX!uuA9;YxR$ z8qz;%1~KswSPeQe4eK*nb8?ASR_jR~)e&!+NDl7v5A*j$n069kN!`il+qS@M*6Sa# zbRFgdap{MWYB!e+Q#GmF?VwC%JQpAB=@h|I|HMLXXT&NyQJ9-uH{L1xQ5Ja=(uX>u zsCd$?8%;zJnP_zay_q2GjKYuVbD93%>B7)8L1x?QLr5=1F16#MncO2{oDVgk!&W3q zGm&j#eN2*u&LrR|8pK-_C(}e5g_~=(Ci{Z3yj>Q@JyyRMS&pruoU0#+QfhC?%+a`=al8 z2#H*|Z-wlw34tZ4YLW2I`bb6Jrixohl2s1hx6NqW`{K>DbMf80Md1hO1gz0VXCfbu zvZua`CrxWlzOonSn%Mt9I)4MX$66?p%p!UIa?JiSl(M+w?lY1>yfPFhyJYc_Hu>Vj zq`0`gT|x;03vE@^L^CR@J5Mml;z&i&r$7qDkLgucSAfg(FMAE|D^iK_%`7`O*!7~0 z`=YMz=%P|bGc~O2rs?tuxPLaY%p)RNcqg(T*{rXLe%()cJNEW$Lly&T`phzRG~G8% zii<2h5o2HX4VYqGn7_NQ_qT>T>hv!!CLa;QkK|sXE*FS0!Ho}o8D(;Z>apE$d|f3Q zu78_Hw|&x(!NS{WCSTwYQd| z!WFLRuH=x4Zxxx!#&Wufa^|`=t{a4!nEZK8|RAyJRYl)E&81@5O1qHIiYrvu6i z>ZmZYdqcRJl(;JA&W+_IKTw;lpX0V22%(iZ%ZjHjiaUcnJf4fx`>>#mPd7g%WtT?w zd2wvJN^WFWU1;g{?ZRjtQxmBVDjM7Cs9aL1JxE^c^q-YWKfmKsY_q>8vp*emAGtE) zg@yn=r*sR|ghrWa*O+z61qViZfoVkhUr>x)H6%}9U zDCxYiZCut=dsH>PIIo$@Mt7&M@It8WGkSegpguxC(nO5-N4dp`nwyV%_A3f7)h1Dj z@z)=YZE3kT?ARMfRp3{sY&}gn=<6Y&hu1oOrjGP`>GwwCQX?+c}pn zeUoUU1Sjm{kvZdu{)2P~QlbRRcz zYoX18kfOX^Z4o>EprKHoUkpjbi6MxwGEVnD?z>~6Gg`Eup-#lOveOV=pFG!1&1i9{ zUBBN{I8ptn?f|Bs(o0P{TXfIdjmVe{jHIg@cYMaZW!p&xr)Ic&t~AOfwJtGi$;Nle zhIV$OzB%|VJFwnz6%;<4$wIwA*%#?H-jiB3nely&lRL_Q)NXv#uB4{sK>dCY|D*0w z@{)7~W!m-mjHuGC^Y@8%j4l}wNVxVHyP7P0d~)_1*_M>>zWvytv2}Rsr}FZ{FE>~d zCx_zM7M1GwjP90=7z@j$Z7?;8k7x!c8PBJZZKk91v3|YYqVewb+V13ri(YDRy;&NGp3A_g&RZVc^*9+fD()=4cmY>2+`W5=B{-64m;Et;GG!=Mbe zWLdk^aKnycKSGX*Vm&=0X;Awi$Y@$5PTw&c*K&R+S+G=f#<=OlgqWQeea(K8{I#gC{ih*;mmO1v- zJeQCdQWOVovtj)9x1*14UymDi=?-K1l6X^9cT}<#BcyRynR9@AeY4l)PHv%^0^?EY zF|a-aFUxu3N3C(qVD$DXh>5keh=-Bf^pR+4s+4}-AdZ=@OK?rUM)HfLOV}2H9`{0X zE*0FqWFmalHHqByg^SGK1)Z^n*39DKxfr9>!i6kT-CN^~QaxhFUT$&>6!RlQ5l*ne6py|=bqMk!+ileV|Welbd#?jFzD0?(4!d$dj z>{ZR3_yT)IC+(|?&vc0&_4qmxpZVaVe^&JI>%dj9%DIm8!=wB6>+&Ph`x5HeVn=Ze z8Nc$=i*TRGZ&Vt+((IR=V#a2P=}Ac2uez_2LiH#yY%GLBPF|b$j!7Q&7cZfDq9WpV zShih)S_8^8tpt~-BGXiTrBt_xnRvVi3%*}CJUSb<>5TLKo+3*fvmV)U)T16=we-7* z@vG9TYd7x%CX*3ZcZjGs$gpP;ejPCOsTF(Q-mPddif@+LdqpsF7RPJA4BNU@!p`LR zO(T@a%Ilm9j)K8od+GH{mOxS4nb}bl%IU6iA%?5x&qzoHC#{&4+#r=7M?Vv57QuMt z)@SsV`UzUQb*Y)W{AN@;si2_Vx|3BsTUn z=WL>u{n$k7@^6*6za;%)Bl-)izHBzq>l8J%oZ#mX)^&uF?0pNJE|n21#nv3{^%5=q zd`=d%yVDEPELUbP3gCLDH&37vjgp$3UD|HPY?P3APj~eA#Mo-`rHVIZsJnmY9G0RIg}0VW|7PDa@%+4`K}2Ssp4Eh;eBr94 zKreDjY4rf*#KI1FA+FFlv!|%;%6v7B$-Erj1Wlb%`4l}sn3Wx#zRjV8F=y1g?J9d8 zR#{?6dp!D5nEU|caiki~3%p@GdalbfWrk|rA(8A+<`@LU!ok~#7CEl$;qpnn!Yvv+ zaRsxQkFVKIY(*O*>*?|f&X1G$>V1%T>BuzIfZ-cn!IX2CM(z;rf&20b_FWXQ<{QNC z%fuU=4GUsfKdff;wbiF5z8QqpT z9<9!x&@Rdn-ORv(15wc@8xbU!0`5U*ZG;cMbz7_r@Q{1S#fY5i+9j4B%lYwo0{Abs z;FL_J;V^dd)=!+9} zr~0+;tzu|<=c2xNI=3#C@f2iA@F2A>b8Dn{Fs#_Hie~muKf^yYDl~P+@xts2B8H?G z*8?X~i=}ZN&f^`EE-ly1YMbbsEFW4yR!Q_C+2=_eT0bMj#)}%PfxI!C1mNe%8q{S8{;_*#|kv z{T#0~A6I=6d^D7XotX0eHs(-ixUXdm#v~GL%9WgN*YhJ2Gl@DzGS?nBt%kooW?j*~ zK~i@8yl_)UHc-2ZYTvBp5A&`=4LT7XsfMjH`2=QD~Byd0uc;7xjs(NlG%6#@}U#eX8(bDbE34>XyW8*p%(eA(4@s zx#1SA=*PougSM!R$5OeQhWW_i4sV`p1Uw`->#k#zv7k+So}$N?{WJOC?As|5B|w|OQk_SK~ga$8_#c<0#PNS$FQxE?xasyvCP zcGzIvrfVDI?7ApiD%K>O=amGib6Sy{z00ZmzCXBn!j$-Pd7I@~ZT=6e!Q^_##S3o_ zKa#$!i6QvDiT1rUe}LwWcJON>h3TgTs28s`+NZXnh(mieJFy4UW*bo?FZ7=0pm$*+)d9zUR#i@XQdA+~VRq&V7jENWZ&m|m$U z_3&0)1}UDo1X*mRmUr~=T(EJwtX~)>nNbUUz^5-o0v_v411sZ?mwtdEu_XKS$?(|N zc&3wdOiHOs^1_vOukpvBwgkTdeG3p0(%y~acyZnM+UsG7ij3M!x;rZuq?Q}+iKTKfQR{o1V~80 zw&Dm6^tEKAWK?B&94(@CU&R1RaT;sh{?G`)&0=kHlavm+$c3ulfWnN1RhZtslI;3v z+EQ9*bG@M=-eaH~i(FNG_NLD6s!qbU@H74Fl{vcA+Hy7`F)dz9k-MwMQ^zH`Ya^J7 zr9$!7FpfXTzq!Y-(=S3c789n3u{M&)ZPZ9)sE<2TeG?9~IN*Sf*>B??Fd)J8mXh%X$Kw({dB<{_t)nz-W&kkKOpG5Ip zDvbnJUz89FV#;efa4b#Ue5xcf|Dm-zn3_Y{W5}9cb}E!hpQ3m3TiZihqKuFoc?|kGRHRO@RjVJ@GDLaJ2KeKtLPGyf9ENtlqqD>Xdf`@(#BZctrag)_8NA zvrsZVN5Di$dGEXXT4;e<;e6XTe#XIQ3%g==ho7a3lD z@aGTZQf^U(pc_Y9Dn3CIxjx+{jgY{flI8)Z%`GLaf zPpN9rv^F+6BU)E5FMr6{YrI%Bu&e#DwtiD8osuI`dvl=Efcy@lT2y+!#x?A=uyt%A zx`LN(MJg4br{d?_7M9I&RFG0w*SzHGSn2agjF=f}Ci2HWOrn}#s6!em7W|)Ub>>=&+hRFChQ3yK+ zCe2Mb)vS#ew=944tWSCu>;aTKw`b$z-kMQNoDY2^?(2ca&Bi7&ULL#l9DNy=XrY?2 z1`*-C4s>Y@R21Svk{& z9Hm}y$@fFAcA|UpqqN31uQuFQpS1~Bdj@A(w>aK$-mim;H@5>`bA z8!nng?@o3Su#=smidBuKXb_p=2+NRL#Jj7mh}kggea>*k6OCj)%J3-xi=SsG8BUHz zURS4;r>C@GZ_sBYox4fO`pBh?N6KstE+r5AO^gm!KGq8^(hRvjn@w#SDXAnK8O;r1 z8&EeApwMikBI&%XVT#tJT{lbvQfvA~yUXh}%-);Gp^=o?i=F#zL>!fRFsC;%h;C~Q z1RtrgvMCY~7{~%XYL2&C^VHfT1nI#{8iEP*j~RVjSd* zzmKxdB+t+^hm7}d@LqoJLt);`-2BhS1ELvA47tM6Nm?n+h9Wc_qBveALZ4Y|Ud9IJ zvEaV{s8Mm9DQmrRGB1^OY=89aD-&Cx?$?Xr$*JkSCbE}nh54r_ZjD8~2xDmQzD>%;v z<5S&U=zqnaXUom@auMHcY1N_*FLBA3y3IBbekbUfRaM@bDXiXGEG?I6x(P00hVE?3 zA&FTBxgVEI5Q_AMV?_~#?C#JzF`$6;Ebpv7tu7c^`%im>~s^^SUMWwRb$@{vDc1OzOJ zY2rtx`~tSfZaq+#W|3386{cg0q_1@U3Ey0B7Ml`Zr1802v)F>FdOBeH8Gg+03w(8p zIFpJPGz7^FWYjo(_*FMwUDO^jsf`ZPL9w`q)WR-oRu>$OU8;O%PcBtif6vgGcGc>w zpV_;R<4MH~5v6q6n|T|NaZP@T=E?7FwR%N+1~QY0Yusj9i}zfEn*C66^^vM2;f?413r=g2nImYIhQf!R1}j$`pu6AK;Z+=?Fcn!#3+!!> zVE$GX&vCQeMsfVg>rnek^Dk`~FLVYpdo6jT(@rVlVIT6SHr#eEalVw(71+pi-aVaD zIn49T1MHj?Q{-MW#h$z-RqN;0^Q_*e%jc>t6c|K~P1Yw3oW03K1-hI2wFr5C@yX~o z?*7<%Q9R-8Zc~QWPVEV}_wJF>+}9n_uI8dUjD0>StQ%5rk zQ|=2q7kFX4eBHl-KO3rj3_CDhz*05f>%{AlCzTB=@bk$x^Di$31|%d4;4koPf%Q7A z-wErAMY{`jQ7(kILG`qSkOy8tK4CQ_z}Wf%tO#X|5qMqdTi68-l^tEqsK z8d7H!*0_}wlGXY-kTydVVtks_u=PTj;EczC*Mk1LF|>3jtY~0$~5$^Q3AAte-{7cW_Xl3LU|xevmPgU)JI?1qAmY@R|hsFTazK8~#T> zXn<|pVVygzzJZ-fw;@r6Dx!0yzsseQBO?e{^~we3Tm)2g`rj@6>3q%7-2-@f4eQ>j z0%`a97=!|#Emr3N0| z|Dn}CeWg5{9o^yF4PWDf-J#mkfdl^i)E&~>RMj!tu|Ui#fT6_mtJNpHZSimJ2vJXX zaRl!3dIoq!^k*GnIb#FN6HUMi!588DC4eP?|I&IDXKPz?1d97RxZqaPf#4O9BCViH z>^eZ9j|bF(fulGi`!@=0p!l?@ho{@g4kxf#SP=l}k1;7cFcDM{Nv!3WlC^>U&;@AV ze==~3k*Cza0rHH9aTl%^iePH=g7A&dx20M%*> z2+=74Brmxg{lm;4g!VeZy{uDJs|6_VCRsCtH|KKIM7Fe(^G)oNAKyJelmLL`2H3^ z&e_e;)4>#O?B2UV2KI%jf;}WRPW>TcxAbc;-#ie20^m4)I(wXqUAuqvN9Y1kB@{4$ z+4O4M)b(3Yb2?Md#sRGMPxhFn0bBD5xUBkcRFu zkpUnvz_=8FgNX*Vjr%tkbr(xFV2b}OFtu1`z%0uO5GJT1vItlmVB!O39wxvnF9FB$ zRpMV+G(An7fIT5>&A~4RAoNu81_Vf42VN0@%tT&dx&x;o_kb&6_`{Bc?7sqOJ3DxR z*HXf!OvzjLF$5h;h#>4lQa=)bYl=nSrN+}Sd@_c(H2)Sv-p$m-1|bmFg;Bvh;~oVW zNl-=f=X&7L#{#4*6)=L}{Ru#S>#u6+Yle8({m6?3_BTs}a6lE&-}Iu&j4O~Cfh4dzx7vlGqXj!8rXS+4)*uD1>t}yqW{geE`B7y^CvHB#A^{z^S||n>`)2Y`&Cac z!0xFl5DKWCy8k|dpZ_&3PG<1rn}6$m4LFFwP2XRW$ie1NJ^Ttu#Zz<0^!@4<3Q89+ zeIEhcFZj#+B=u(g&0O2p(ahNaanda3hg=syF`$Zw0lzan>>1#=A!!58kj8)*K6o3Tz5h=(XXgIiw5V_eX_oyX(K1BkYz6%aUD3 z31$(agjYls_|` zIDQ664yYm`z;7=Hi_jDMPY96B=3o(S-Gp4ACrm+5pn8h%dtTE18l5LogLwiX0zx@E zSUU>-W$?)?RC_pQ!M{W7PVacZZ@vWE;*3Ap{pVY`m4gdlBgfTwI7Ku@g872KfsB** zhj#vlJB!WF=D==3`AcpSzABoMR<0uY%2oEFch2 zMKp)6Sr2R8mh%_pzbe?nHGCf8y{`nXr{2GJH|MV`JL&GCg1_+oRhAFdI~24HZZ}k+ z{eS8W>38_z)3ELS@-N;9QO6Bj1H1dCVe9dQA_rt<}X*p~KXxJ#6m)Zn#T*-rs z0;nQ#z*i!LE5#TPJw z>n#WhR1p#2>#M;cFxUPI!f(~qU||YzAQ@_=1%ZMpA`E<~C|H=q7ykkSEgS{QP&W@h zN}!_!kpaH44J^ZproUkLS?31UIY8_axGRQoAR`2-h|chpM_`>3TK~fNR~-^qZ=rMR zVDDga2m@3Rz2OT2zP#yr5LKJ%g5&>rj&CpLpq=0{M5|(1L|1T&`U!#OI zU&4k=2+_O{2&lrE|Goke*8JWSqWQ1&kg!Hr=Y!$a15{5etw p(doJrSSNop$XR1H-3-_Psv64Zz|Bu2Bx&H^7;sDpUq1Qm{{SIYn{faD literal 0 HcmV?d00001