From d7b592f8ab9214564345a94416ca7bcefffc1c8d Mon Sep 17 00:00:00 2001 From: Daniel Weindl Date: Mon, 2 Mar 2026 15:07:46 +0100 Subject: [PATCH] doc: Update getting started notebook * fix links * add jax notebook reference * add figure --- .../getting_started/GettingStarted.ipynb | 28 +- .../GettingStartedExtended.ipynb | 2 +- doc/gfx/amici_objects.png | Bin 0 -> 80924 bytes doc/gfx/amici_objects.svg | 580 ++++++++++++++++++ 4 files changed, 601 insertions(+), 9 deletions(-) create mode 100644 doc/gfx/amici_objects.png create mode 100644 doc/gfx/amici_objects.svg diff --git a/doc/examples/getting_started/GettingStarted.ipynb b/doc/examples/getting_started/GettingStarted.ipynb index 94e81d458d..e182825c63 100644 --- a/doc/examples/getting_started/GettingStarted.ipynb +++ b/doc/examples/getting_started/GettingStarted.ipynb @@ -6,7 +6,7 @@ "source": [ "# Getting Started in AMICI\n", "\n", - "This notebook is a brief tutorial for new users that explains the first steps necessary for model simulation in AMICI, including pointers to documentation and more advanced notebooks." + "This notebook is a brief tutorial for new users that explains the first steps necessary for model simulation in AMICI, including pointers to documentation and more advanced notebooks. Here, we focus on AMICI's SUNDIALS backend. Users interested in using the JAX backend can find a respective tutorial in the [ExampleJAX](https://amici.readthedocs.io/en/latest/examples/example_jax/ExampleJax.html) notebook." ] }, { @@ -14,7 +14,8 @@ "metadata": {}, "source": [ "## Model Compilation\n", - "Before simulations can be run, the model must be imported and compiled. In this process, AMICI performs all symbolic manipulations that later enable scalable simulations and efficient sensitivity computation. The first step towards model compilation is the creation of an [SbmlImporter](https://amici.readthedocs.io/en/latest/generated/amici.sbml_import.SbmlImporter.html) instance, which requires an SBML Document that specifies the model using the [Systems Biology Markup Language (SBML)](https://sbml.org/).\n", + "\n", + "Before any simulations can be run, the model must be imported and compiled. In this process, AMICI performs all symbolic manipulations that later enable scalable simulations and efficient sensitivity computation. The first step towards model compilation is the creation of an [SbmlImporter](https://amici.readthedocs.io/en/latest/generated/amici.importers.sbml.html#amici.importers.sbml.SbmlImporter) instance, which requires an SBML Document that specifies the model using the [Systems Biology Markup Language (SBML)](https://sbml.org/).\n", "\n", "For the purpose of this tutorial, we will use `model_steadystate_scaled.xml`, which is contained in the same directory as this notebook." ] @@ -34,9 +35,7 @@ { "cell_type": "markdown", "metadata": {}, - "source": [ - "Next, we will compile the model as python extension using the [amici.SBMLImporter.sbml2amici](https://amici.readthedocs.io/en/latest/generated/amici.sbml_import.SbmlImporter.html#amici.sbml_import.SbmlImporter.sbml2amici) method. The first two arguments of this method are the name of the model, which will also be the name of the generated python module, and the model directory, which defines the directory in which the model module will be placed. Compilation will take a couple of seconds." - ] + "source": "Next, we will compile the model as python extension using the [SBMLImporter.sbml2amici](https://amici.readthedocs.io/en/latest/generated/amici.importers.sbml.html#amici.importers.sbml.SbmlImporter.sbml2amici) method. The first two arguments of this method are the name of the model, which will also be the name of the generated Python module, and the model directory, which defines the directory in which the model module will be placed. Compilation will take a couple of seconds." }, { "cell_type": "code", @@ -54,7 +53,9 @@ "metadata": {}, "source": [ "## Loading the model module\n", - "To run simulations, we need to instantiate [amici.Model](https://amici.readthedocs.io/en/latest/generated/amici.amici.Model.html) and [amici.Solver](https://amici.readthedocs.io/en/latest/generated/amici.amici.Solver.html) instances. As simulations require instances matching the imported model, they have to be imported from the generated model module." + "\n", + "To run simulations, we need to instantiate [amici.sim.sundials.Model](https://amici.readthedocs.io/en/latest/generated/amici.sim.sundials.html#amici.sim.sundials.Model) and [amici.sim.sundials.Solver](https://amici.readthedocs.io/en/latest/generated/amici.sim.sundials.html#amici.sim.sundials.Solver) instances.\n", + "As simulations require instances matching the imported model, they have to be imported from the generated model module." ] }, { @@ -109,7 +110,7 @@ { "cell_type": "markdown", "metadata": {}, - "source": "Model simulations can be executed using the [Model.simulate](https://amici.readthedocs.io/en/latest/generated/amici.sim.sundials.html#amici.sim.sundials.Model.simulate) method (or, alternatively, [amici.run_simulation](https://amici.readthedocs.io/en/latest/generated/amici.sim.sundials.html#amici.sim.sundials.run_simulation)). By default, the model does not contain any output timepoints for which the model is to be simulated. Here we define a simulation timecourse with two output timepoints at `0` and `1` and then run the simulation." + "source": "Model simulations can be executed using the [Model.simulate](https://amici.readthedocs.io/en/latest/generated/amici.sim.sundials.html#amici.sim.sundials.Model.simulate) method (or, alternatively, [amici.sim.sundials.run_simulation](https://amici.readthedocs.io/en/latest/generated/amici.sim.sundials.html#amici.sim.sundials.run_simulation)). By default, the model does not contain any output timepoints for which the model is to be simulated. Here we define a simulation timecourse with two output timepoints at `0` and `1` and then run the simulation." }, { "cell_type": "code", @@ -125,7 +126,7 @@ { "cell_type": "markdown", "metadata": {}, - "source": "Simulation results are returned as [ReturnData](https://amici.readthedocs.io/en/latest/generated/amici.sim.sundials.html#amici.sim.sundials.ReturnData) instance. The simulated SBML species are stored as `x` attribute, where rows correspond to the different timepoints and columns correspond to different species." + "source": "Simulation results are returned as [amici.sim.sundials.ReturnData](https://amici.readthedocs.io/en/latest/generated/amici.sim.sundials.html#amici.sim.sundials.ReturnData) instance. The simulated SBML species are stored as `x` attribute, where rows correspond to the different timepoints and columns correspond to different species." }, { "cell_type": "code", @@ -175,6 +176,17 @@ "plot_state_trajectories(rdata)" ] }, + { + "metadata": {}, + "cell_type": "markdown", + "source": [ + "## Summary\n", + "\n", + "This notebook explained the first steps necessary to run simulations in AMICI. The main steps include the compilation of the model, importing the resulting model module, instantiation of model and solver objects, and running simulations using those objects.\n", + "\n", + "![amici objects](../../gfx/amici_objects.png \"The main AMICI objects and their relationships\")" + ] + }, { "cell_type": "markdown", "metadata": {}, diff --git a/doc/examples/getting_started_extended/GettingStartedExtended.ipynb b/doc/examples/getting_started_extended/GettingStartedExtended.ipynb index 812e05911a..9fc598ec28 100644 --- a/doc/examples/getting_started_extended/GettingStartedExtended.ipynb +++ b/doc/examples/getting_started_extended/GettingStartedExtended.ipynb @@ -147,7 +147,7 @@ "\n", "Specifying the observation model (i.e., the quantities that are observed, as well as the respective error models) is beyond the scope of SBML. Here we define that manually.\n", "\n", - "If you are looking for a more scalable way of defining observables, then checkout [PEtab](https://github.com/PEtab-dev/PEtab). Another possibility is using SBML's [`AssignmentRule`s](https://sbml.org/software/libsbml/5.18.0/docs/formatted/python-api/classlibsbml_1_1_assignment_rule.html) to specify model outputs within the SBML file.\n", + "If you are looking for a more scalable way of defining observables, then checkout [PEtab](https://github.com/PEtab-dev/PEtab). Another possibility is using SBML's [AssignmentRules](https://sbml.org/software/libsbml/5.18.0/docs/formatted/python-api/classlibsbml_1_1_assignment_rule.html) to specify model outputs within the SBML file.\n", "\n", "\n", "\n", diff --git a/doc/gfx/amici_objects.png b/doc/gfx/amici_objects.png new file mode 100644 index 0000000000000000000000000000000000000000..4bd15eb1d37dec03f2c6b771ee235cac51a7d562 GIT binary patch literal 80924 zcmZU51z1&E7ww^?1(cAI7C}29!4kyb!D1d%RjI0%9W0*cZlAl==( zx$l3K``$a>=XceM`|Q2ensbgh#+dt=so(W&gj$2lHub79JEwnXhey+=i)PI(GjOt?P9g z@^_K0OLo?0G|9Um`@hemfI9U%Y)#zv8Hcshs(g!4(u*3WL@*K*_vvoiFk*~%OT`C# zMW+((5yQ_PF^5DFG5_zgCTt#HEyLY)#uB9$fi+KuIUexXD*303B1tX_GxJ(Z8tcR0 z|9uXIWib{5!~@x7Hg5Da-Z$ds!;8H(H;YF`7Ew>nM)T)Jmd_Jeo^rutKoRH-EsC(B z)&m^TE@MNVhC_pc{sJCOAvrQfX>L-o@BQJroK{%){`X>zu}rxG~qZ^DaSeCe9-1S9+KfftSzH zP^Hyy)fM}iRopu{cZprJ$@z$8h!akEIl}S~D*b(+-5eVNA8hP{W-0B~)>b{w->()1 z%XtT#f49YiDMYbsOQ0(8T@5q2ke#x3$e>5i)hQsoGOg!5;0X-*~x3_kyroS$)o4zuqXnk{pp45N7~VW zSaE#!F`qqq7HY9M_j6*tpgvRf8M%&bDO@__+?9*9iPHXlBn%SrBQ>7-`;5|l3CVtY z&)~5rsHj@Lzr7{uwh)`%8NniVL9fE$^;X0bb=TS0bL~dR@?1Sx9xi^gGkP$i=l)8O zSsUfv#%yCWr-rNVZ#;JRg0g+G!MDUHmOi?lRLA*c!!wSF_ulr4j{q zAZL4gbQsO8BQPdfqiuAd3rmD*ffY`IDBFUuz0AK)#(EoHy#U{fF$TM_zr`^%Wg*7woKfD z5?nWuBHHxy|Bh-zeUKBH6rE>BI^CJ9^7YM?S=d;M&ZJFGgHlViB=05B_nO(`!Mu7E z;mV0(W^ckp{5K=BBs|x;ip|<`eF>?iJ04G>u1TIJsbD%2^(;8}k>bv$k$``LPjAZ_ ze2L~f zb5S$+SL0I(hNQiVlf8!iY&<-npI%Uv7&TxD*$vGIZZDRPDr;(LeyGTusV%kYesY%UZUsrrbdtBnbfWtOjj7IikDgQU zcI4`mSazjgJSAmR4hv(DeDjJ+OC6qF$hHr?Tz{N2+brfX6TWFb!7R%`)A0hc4wnHJ zlb4bSmht+3zUwU;-`N#T(?Y*PFWpkhhJyN|Il*^6yK5nIqLF=l+Pw-~ciuNmwnkZf zOT&TlIJ*h~hf`COmE`q2lwKTnNScL7SpX%ANfF?K?o(CafyMN3k0{Vdo~+JEc|X88}tHefvg4D-;qYwRg%y>2>oS z1tTM4q-V_}=1nY}9Hm5j6D2#7_B*Kw8jw>*T>eH5Pw6?d?fLq_M!5Gk*PoJz8fzJN zvL*W;iN2&2Ch>?Mp%*)S_UxyJq*9+DAbgUhA^5F-zE{h+d&#ci7cTtvMxJh2aYF2h zX-KMek#Xpu``nLb_!R7X4r4O;)k{?Y)4G*TY#NzL_gg~gFWZkK$T4_68me^mc5B7) z!KGs@yL;Vj>p?&$`kqV(|CFT7B4K|V+#?TZbDm}7zb8tbq>^BVX;DSXcYo`xVZGn% zVh|2tvFEyZe#Q9n6v~5%FzKCx_0Ilsdqy}iS;n89YZe$JI{p4aMoGDMivgF2TBg9D z)@QuZ>35n)_Zp;bd~?O7 zVr#(0+0C8FX}k$Pzy8SUgZ=2zUX8=Aj~lbyPc4#tUk3-DLXlHY#9g)`x351Gsy|qJ zF<0C*mX(_Jk6;@Q{&J`f#2ck}sN= z@0bd`HmzYV9#4zE;L)#IY2`?soE*7!k%=iVO!_GH=x~1>;;mvUTdz`})_Z#jLb7Ii z#Cu_&j4P!w=WgDYwcl-=n(xB5)7fOW!=t}>z-bv%7$Z(e>79r}JNFFGV?4MC5AOY+ z2VddlW9{nL9&#q_&b)ogUhd}2V(00OlmewH?NA2EFOYRR3hy_{D}GrSuFrWwOlzEH zw!8K_)C0aQR?4?(&{f4Av-a?-MM&j~A2|{Et6rt&cAl2GIldO=glbsUWhims-|{=| zLeD3{g=OG>=&Ei*mZc~!Z`4VlnBaBNcpDv31w(;!u zx5&S97#CZ+G1g!)}}8oQd^06H1hz13NVdN(EK+%IGv%gwf1j>@b-T zgzl8t%_XT>?-1Xeinsqh$fg)=)SItA`88hn(O`8U9Fb<}qgB$ah5m`X8r9TmHG6Y8 z62}MYvNvyLwg}q|$sg`*iuxURcyV)chwQFTcb8geEL)MFgi+oYA^g1&x`Zs>(^Z)H z&UiHHdUNlOD#6lfiT&MD(QN6ftkkF^-z^=v{jr9J-1k0kpYg7;94NQ%goQ*hz-Pz_ zUJ?=#2^`5jk(cg$Sowa7SCpJ6T=(hyp$f;)ZhB5mPKkq+Mmi~zGuuh^^&zbnwudBX^;WPau91rot?UUxZ zQn8@;yUmY~$36&YCG;U`LM?0COi%9IydgVToO-h4kNAu@yUzFFn|CJNZhL)+z6i;| z@%DA1@%J8@w1gH}eq*NO)<$oS`gb2d>_{tcL#2HTYrs{ngbp1n} z7Ha3S4uV~Li=F2x3~LWd%eKDfe7VHT%yhCSk93)gXixu8If#mis+`ZSrn`}hffSjA z{*n@j(Msp(SP@5N`?_8B)z#GoTh8-rw_Z;oasQagAjPO5Nb~~;d;Y}h{nw=}@yCMAdWn2>!9_L{7eX*A@v02oayb>p1rsyTk z%p3$YM7^#?C2^4ny`F>tNhO6LyYq02Eb_FbJ5Q>XcsgU{nSqySp`LZv}7&9p6`GLp5CO zZqbntVna9mH9iKH_*_?oqX`1Ge}8$!sb6&&@(+vu(E)7V6To2W`^)uEB|9OUwX0k> zZ@uPr)YF>Gyx;f)K;m=QJe->4ToI3z^RF)68K3!D1D1zTEIIHfAQIM#?1S(!HCD17$QK4k;?* ztY@0T7(0thTIh-(n9K7$H5vZYoKQDdg`JSW23k&^da6k0jy9*573;bRiGZDXS zVg#HHb{yf*bwC0;WEZM(Tl})}s}Y}+^y{+ZsL%RsukEG9;2TghtbbmFEt(UWJfljv z(@3pxD)zcH@e`3FrHcoad6H)%iJu35HoN{eSK+_vKxZWdE)7=;8aD-}uzSy>KBX46 z)01%}j*N=(Tx;c^xndnXzYf5K&t*mxR{G(CNS5fYi)v z5)Ep-_>Iu0$*0(z4b?*yq9aI*K_@kk2dCha+Pp?K)u4KB_bz_2v_?H)~=-z71Ey) zXN1Fuw_LLxn%)gf#svsWS|MAb^{KD61EtS)c08b8Yz8Q8HBuuAaPY!|!4GT#0s<+I zlRd`qZ-&y%Qq&)A4elzwMCic)--Ch6fSz8x6;1Y< z<3utC#WHjr1+`ncDcwKt{Mx^Ngwjl-`kxyk4L2y;ZI2U-=FxwXE*F;RUIE_$TtMh3 zen+A>RaYyH3KlMr!y%4;mU1Gspg9qAB5@rNkW7)J4tO81tW9uO*fiv<1PRYb*c!D$ zqpQ#t%D+5!#q#I-v+x6i7ch+Te!mnRNwFWTlj=PPH$aT5nPqf$bF~}7nXboPv3Wfj^wo~w%mp;P`%r_1 zisTKz90H5d0C^33H}53xWGF;cKpw=>EkX8kwwt3CO2|xCs>I<&H^#E~*ZV1#!;L~X z336}SJpJgOTb6kJat!1@=9B!l@E+@+Q_x}XK{-FtIBmK1>bK1O%(?zyEcN=+cRD5P z-rGyAP2z3~pLbR#@Cgam1<8>L9e{yFE$MZcle2&SmoJ1k z5%>@tVe99Hio2Uc3FHD};@{?V;SK3!@lon4)@O#RTyObPGca@{NqPr|hLW@z19+Io zjJNx^o_I5Y`Nq!fbTa3?54rQPknX!Hoh>qz;>O)a0DGUiV%-Ey`Yk0TBEVc* zg4~2@D>+dWnN3WC@Dq4mwPI5RIN&i1 z5Q5YyQoE*4CJwYof1EOh1QIO#ml0tVXI405^B!3byql-X4|Q~d1Y+M^FELu5m{!OX z0mglg@F_gT0`c_r8ATidC@<-*KxrtkT{+>tls+ALsIitBh+W$xfTb@r|XXod0`*Y0hvkpLVvFae-QQBcsEaX z`_1K5&fwYygF@`L-$ef!81pv!4xOBcgz7>8Owhx8V5SN?=z4A1T9jzs#R&H3K_gszplMaDNE+06v| z9&YyPjJUtijdO<-*_!Z|{fwl4B}ogX%s~SBf!t9IT%9X+Ln6tB``a_$8q1cyrOSCP zmi79KBkiPqwHtA(Ux&@$hf5PJVcWY&P%TKR-Iv|yyVK=JlPOM5G{02Mr8PRWfc{_#1$46>P=%w zdT*Joj5UNR3y*lP@YZgS!{&3q^Giixzt=6ZwjHYAuhoagg0)|G)8w)HJH~T9ubi$( zj?p)o-=rD4*3TSBv+F>D(H9};=J;S*I{z^KvekISmuv_-IuVESjsEGt%XJstzn<)o zuUCmAKERZj0D6Ap>&HWlGOHMkjiugN8jio8{9=Jybx^nZ$k-mx)Pcs|>J)Sbr*DR) zugaARb`d(4)+}czZnMMH!lV)_GOweEp&rr#?eUgn3(#FxmI`BX9i-Q{*B%o9RAiUD z`(BgtgKhscI36XXc6V7hIGkaVO6-QKHng?1sUfAh)qb}E&?c32@d)6T8iXiOZzc4O zzRzu{Idw}fK%z214qK;*iHS~y!~M*4J=0|!8^emecsM4G-(vlDEeWuSv79eOkUEZ@2Hh zpEM$MeBca+EYYgI@hPdGW!L#+2JT9VO=y8&ck?>+(qaZcQQY2%qURRkp&8UB;M zr<**N`G{c%s$5e`i=fk_Jn-D}0~SBtsUdil*pjJJmk0&v*|pYb7RU?eY)M1=B)5mI zdw6)r%s={AyFD^*Y2RP`cyoTZjo`B7Snh)wtM1Hzo_E?s%m|wWneRTZ%07FuSuV5R zAFuuPU6%qz&S&)#mDDPrDBMz@WaMw26kwyXpJ(m^s`ETpZFv?JhTKX%2dxwo@Bqr^ zVPWp2IY5yPKu~+ac@Q^#Fi?tb`BK$t@I#);0^oGl#d+Vz`#{Dfh`aOLn%4)^=(02v z2NmK`-o5f-i%y26x_vu2#$|u$0D!7KcxMh@`0y+o%QG{R3sCXA#l~p)Udn6nL<=(&Dh%nG>Cf;w>Y!-t_$bT8FlMg$>_2VtA7~tpXG7Li+#miVHY5 z@$V)h9Q++{yOHUMfVbes50j2g$tnTMMc%wWN_rl^VSU+_d>7&4aQ>;uPb1KZVauJg z0NON3rYo;`4W*I|`;sNSg}NO%loM8-LG#^SwhU}O-6G_~3WJ>J?i!T~6+dNB7j#SC zsUX$8-#{A4dT#3Kk@w0a`VHj&FA7P%usGTjbwRyJr}-Bk$GA{Y&+prEOKNIMPcPIM zc2V&fNDx*N(l5J)(Th(F6hKca#b2JGcvr`Uela@wOu1de|9?g1VlnhS)m9)Y&5-pO zXsLJ;Av>tnC%hJSx04$*OvG9CLjlLpZ!qc|D&eU|dP#4Gg#omq@)H68dtUP{o=3eV z>0}jaxdvgDawYHLu<)5I%%ESjc7d2nPo;*orroNTa%yb!J(ABWL><~b0qnN*pQB^8 zPwaP|gJ#H}Yd`1SnD6ax(5*Zi)E4sWHM*dd_Q*!MeEAnIQ^eVk$4SH1(kV!}dlc}W zP_X5o!4z!`2aO=v=C$A9rdDqqthP(3|Nf%z*5V-50q#SGtpyz*tH**pse+_BFX59v z7b71zmg48pMJrO0*SL0b?GYZ*5e4s}cYCyy% zee+Hre0=hq-)m%r+88b`tL19*KR?U$dQsALv~KuY-P9YKp{m1(#m7(*inIQfXl$-A z)<#DEgR8)h%=YBPv)JW*(v6?p0ntNr01mC|qE@+`ezM`BO0tw>*MldIw!J*pr+!1* z?!H)UH!LPMIQr~q?hdf~ef9qJEdSL0$ulRwN!wd+J{z`l9;vwc}h3(p1UaBJfJHR-{rZ>X&%8Gj7?^>O{-#Y*sS0xEuFFTw*5)E{)8PdgJdjN6Q=#`=|c%}=P}pyq%K z@tq8zL?HpYEJ}N>naT~q?khQ#n6!|1ZO(l{G!>A@fciZRN@5yRG$c7fBPG6P=)G8W zl=+Xu_8*ZGzlSkPC3!1*=m1EWwec6ckqHS4f+<%Y;x>Ky#P7DC4JC(uKz6UhoY-~l$9=$ySC<>Rfdy5D-|9fK#liq84D=uPgzLVW#(A6B@uz8MTA}R4 z|I&pYtFtMxQ30AU4TM>V)h3D%khI)KeR~ai2{rKV0VDOF^px@yfO?FDI2+qz=(0uk zG~a8gy~zCi#|!Wb6bN(gJZO@V{PwKmAozWW7^Q~F{DIZmfy3pS&oxkNMhIP_F|e!J zHV;RT#PLoei^S2mJ3DmeI`%90WQE(KyE$YhU!p_kg(Xz3!^4a$B$>qWcb6FgC zh3FE16`VF^)BwG;eSA!~yE75yxlq(1FmMz}RG$D_8=&NNWODJ}N*KdyqSW_O%h1;g zGEHdt4#M>TT{eqUpVN$t$$1(?)AXWFk3gann>&rL*nkv4Vwn&#U+626*qceu$A1jH z!%ELRdq*H&@M@j{99)Gb5_DhE>zziZ)PlOb_wywb9LlPo();Z%mTzc#c!&VO8qKBE zvHS-5J-B6_&_2kE6|2p(SR>^zd+4wR5|S$>O57`nZRz+u19-d}ejrIYobdS#Ro2@} z!w~>KoUuV7TDF9~;T2ryiD?7#jpsW*sG$ME?vz*$8Rdt*!W`I4DGqKFR9t0%>Dj8O zn7nm6%#dN$IN5z+xqyYg3F2lYNKDyxa$eg6F#+f%I(PZAeGoikYG?JjdTjNi5*rQtQjk8hKH8~aQZpi*7+m=G)TGD2K}cQDD{^i zM(vZcHL|{^UdKyzj2C*amVM=y)#~`C%U0i;$l|ZqP`ZzJT4e68P1vNk7Cv+iQU*;; zuj)jZ47x*O^y}l}P$Sp@h~YvOA=f$0ma}sG5yJKcPl#y7DWK=UyY+g9_lm>BOW|VR z`+;Osgf8J=>*0@cr{qHES}!*kh5V}9Uoru_4}y75-aR=uJig;tcqHw74Jd>ll&c1) z3em{i$RDR2>q!M&8~TLzYj}?dO|xxs%xakAR%|+MBk=h&l3p&KDeZugf)wlAL{3hQ z&{NO_Y>D%TiM@f|qzLL7q95mpks;lEYb2Xef=C1$%)P~OKz_O(Y+I3rb`|8&Hb=~+ zuK*9?KoVowLON-SQOejPD_*z{)QQU1P(?Nd(chjR+P#{h{#Frc!VfZUNKFdBVDyhe z29ScR=+YF*DBXc@QsB)Hpu6{0@hrPaQafNkYJOvEATW?n>b{b5C+8nB6i)HZucwTb z0BxTfmOmK03Av`f*1Md=Z}X>?pxZ*9QWQ?I&l)~dw9r1dv-z!*x9F_}C9uVeD_r?Y z5x0f#R|ZbVux1=x^hbIFDd(y7)yf_VAfqKVx~?+~w!l%Tn9Yo*+hjx$P;!5UeiIRv z(9TG>8v5-%hQ`r(W$Y^OF1JigSwU?}fjxn{dWZmXiBY&uWQF&)m))BPfpmie^$tQe z)0qg!KA?Uw%fbEw++pX+q%39qREVjs@p8~j zlvL%F$Z(EX-o=}`j8uAH`FRxn6$*mX21^h^wCNcIJ$(p&&Ds~P&^{0+Kvw1jg2No) z525gYHm6$a<$AOl=FbO|1B35|nz6AlwSoCC)TLI#1Mg8iMVfyXbL5vb|`d-;a-N#aWt4}m4v zk$3?DS><#R5W@_i-IS?F(jW0Z_8sxte~>(hDFa~+=U)u+b;sHe2u&#vL(n&MkS+hq zI^WHFjzekgiA5Fg|78ia7V$#IiJK&JB4ZxU=qV|00-x~EVDk8A`Iwr|NJhpN0V0#xl7i&K>R91ncv=|U}Um8M$5zTD%$1^jQ z1XMgqbw0ZyzI&Hj!WgGP0Yab;C=-w?1riH@w()_)17;A3u|xA_-CIx{fi2EpF#!L? z`1rWMxvF#Ta1P82F_8r5G<)LnDsH0grt%p6{f*CNv0KL1sB%!-<`Q%QY!@#+2i9a) zKONj58;gUzWLzNk0rH)E&Xs@4qX1Y_T>GyXziy&eHeS)nSN&%%-O#pt_1254X! z5aj0wY^;o)3VCH^w74Foa6;Z*R7muaA-&0<68)=xC< zdH+HiK=&cQNSC@K0;d;05Q^nXtr?Uv2Cf(%USC2W%zu|3(>%lqzum>N^o#DjHmt6xC4 z*~#x`{fdPDdNZTV{l@KhgGVtKFyG@=_d%Z~4^3GtG|yhPfS($ar_+HL>E|-JP74vDc;|coJCccuIUP5~Y0K{BBFU zl3`ypn`x9;HIrKgAsh;T@j1|7kg&hr79N(hwY7aRfjlEn-u-pH)hvEcqPxp%wEP>7 z@ac$Ko1rfk_^03hM^C|SqShdP_iJs2uCS@I5C=VozSWQ`YSY6Fd+|HivzN8vOs;lO zkUyLpZvCns(>gIc`aAW<`_d3#3+oFYER{YOd=1K?*f?-wW>7JYUdNyEi8$1Uglo$4 z9~&VLP5HPVGgF7I_ZK!l1KzQxMwAJl_ND8CeDMZ6NbQ%W@h#IIo7 zVc~j#RCzGxh#Es%bzb72z@NVn5XlU9kFHq%F#4y5fSd-L*|!f5?hSl+&;~F~6xw!3 zidpHDI5L26M*a3LL2`1BpW=4lbzs&Uy$)X~=zn;85gruze7<23f{$mnz3$LfkTV>+ZwvDy5O1;()-w+H zUdVBXK`PV&vHc*r3a3W%=vpT#r{wq&lxobZs6U2e^5FPDW}em2z*jtu!X<%PnEET# z%L#a_P>v)c;r#0&%_fH{n?S!ZNbm^GZEO{(lXhp&|V7 zfr>m~1G+X@)lGs4BswhDaZUV~pi`7eXh8qS|7QTX$>8m8)yuD3w26-&UZ z452@L-ND)|FjOs56hM>C=(ocJDuzks3&aapbFkK?GXTr*36Yh-SJVDoWaYL1$Sxt! zKVnPx0X9S$Y=EtZin;_8R7lk^b`xg9!T#}Eq2vF^oqHs-UZEfs)10s z_`v|(PEI5p=@s-VQssXT=y1#V4*<-cW|+! zfpG)E{^P0-z;B7IJ`<0TF;!66q2}()<^<%IQZbgL?NnmWO_x^(FIa$42m#!2iAl0dyEcF#kTna!f z?aZWy$%DcMpa$_{IX+N>J}nkp+VB_YkXeZ6M8ZMcaG3l|hP1bU;qVFf*RKFpB8Ss) zs-c&#(ox2H40H04;_;O9uKZj8t1Rl5Lkwxd{%q;zRt>GAi8+ZmP z`}?EMk&6G{rc_|OfT3}NPTS^G*QvhQEj|ci(Bl!FL$}PSzF`);=b)EDKWFjA2sHzA zX!;=tr-C+jFOb-n4l<4Lj9oc;f)67Dm8B=mU496E1p0v=!?bK9#+bhhz0rqy5{Ng% zxNZ)`5_-MMjjf0nBLyTzz(1WQ@VudYU;`1PgJz2cmaG}RrV~*(A@|7Gm^G+m9C;tG z71P6xjhx6!6#~se&-U9EM+0(fJL)v~(6`X_fx#hS&7VH4ev@P5hYlN>FhUt#M4?asn;9W%MIa;6Z>iZRUpYoSh#B&mrKbs^q`-)lQU zHj6ccHE&7Ks^`VBsI0;24eZp_FyZDdNFY+XlN8X1#=c5zk-xNXz!Xlmfy;9hxr|;F z(m4L_GxVcDvcZ8!+b3`vlMm8aXVJ zz=$8tp^~Jk>`M}hU4vmu{JSaUqJ9i3lED7v7Dv8jO|)b~_$i-wtXo3oH{YkM_h5@G zo$sRZAg!R9!5+enRkeLDAHkd&+uW^aB(Z|yaQ;UW6lOi5lbtF507)>fOpbR(8Pl1F z`qfq?!OSTM0?n$}c*S*EKH{A-+P)Fna9YWoPX3Xw|0Z>&VV6GkwANT&Y3CIgXLS|f zCQN=Rqr)f}IzH*eb-|SC_h1>YzxDTS6)ZwHZ_aJr7~x*o#2Ha`dw_Q{)0apU%Tj(0 z|LJ=x|JOK9IQ;Geg|xvOWtQvaV{%4k!xO&xBDX8>m%1fW$#e9dJt`^N>NVoH(tH_X zAWC;^m%5NT);3S_Rcl4OL(fxrj3bl0+Z%K4g4xd=u15wsG8}Rj3N21>3ac^%HgMlrz9}B?6jzMkmG0;(jf`~Bi=<1Rd9GCwJ9kNe) z&sFj_U&ayhejJ8nB7Yl`8zUd3XnHxU%#C2BNbUk1wM9rPY0dMJCrub*Og4FQ%5GQJqG`&rGPj?*0sQ84U7P`x2ItExoxhg4u^ACK zdNq=mTegaRCc|FZV~3rzxxOPO@%$=m=I6&JPTI*w2RucMetQgGKGt+AujxE=7oDw()~<90C%Zr^y(&E(Ua zaMj5FU>eT#+JUbx`Q4N3sZE?P?6CzRfZgKj<2v9g98T9KrY3KaDoK}K;ZbD|?`V#- zMyE5R7WE9&rVgp>L|vYEUg`CKEl|@Ez!BngG)y>bz(T9 zO$zUbHg>$FQVdD*05Zggo@iQf+BU~{K4WJ|@N_Z5uHpfW?9Qm5uEBv6mXXK3#JIplE-snzxi(<Ap`>BX8ql(_f0p@I=J;TTo-IJ5ihPuF*}pY{Bj?%B9!9oC+9 zc$w^{<$WOeZDLt?%_0cHD9SyE>1%zUTL!y{{Jm-VF@-Rx^niJZ0ouUwT8`o#JN{-m zREJ@d<~M4M4&Ca;&JpNri%d~eg`stol-F-RTUvoGIyCYNh zChbZ#i`*vdCNlTJm@EQAlQ`&W4oIh4gV{5B8el8&@qhmD`;oQ2;Z>+rfB&?tB-Eyzp!U~eEr{jBgZd=p8 z7-H~c*Rc`YS00)7SVp?edw+{WglZ1T$EQd*Vv5-4ZJ8U#O4E%YIsAgHUm;@mY&1gn zNilMEOEQBjg6`9HT?%lmjUr;x_l99PY=vGn_|HF|Ns0NN9UF-uWn1nkIms>bd1WnF z+P&WN%f9fxOv;b6Xx~})dE#y zRKZ$py8X<$HRCA$?*EDeEx}w8ta=tsQTkF=vwy_dGoN zUbA9S_&!^NZv5Y;k}em|+QQ@@$u_^fFGs)EP|ie2gb!o-mEtJM9jh%s*Q)3{TH8d4 z%O+1H562_~W6tz{mpHNJ@?11&&qBXqNX_mUAWPMQNf`odnlGXymS?j!Pb+4YanYD4 z>e>ujv({i-Ub8&Lkg(3X&DSg;KezokW@|xt3};L~#`8VK4T*vH+_LK8ReFeEpOY1# zx`&lgEa&~w9nVDR`jJl&Ng)LEl`LV(i#-FTChZ*PHY+BqAuOWx1&a_Xf||)I2MRWe zb)}v{G$sZpsVxtwF6xqY-RdEmAzy>Vi2hv?9ZlSK(OaAtlXwJ}905@o?8-37tmp$Z z^5e;oxz)fSLP3TVU_fQXJDrH$c4?|4+6!a766jEOa|+9Yl_rGWGmrso9mWq}NkfvO zs3(-K`3J7u%BkaS>h-8Hp;i{R`j*j7)N!kkeg7S5OT5c?Z!on??=KvIbZ7@AR%xK% zCSX=iwD>AyM4A&Yh25aLPoeW}-6(JPen=d_P&}ozX-Kwl-f;BR0a11@BaT4t1dXI{ z^JUzNUXPl!ZAkH|dbum`Jt!@SCtKf50965VujEY6K%68uRTpU-_F5s20CHM-!S7uh&Uwzfmc;u)UGGiyV~YCX2p=9FlX9j8N|Vx`n= z?B03U;WM{Niy}^*P~HFI1u%I-d4_Yx>GX<-TA>A4{t*3X$YbKA4>(IZ5fD(wjONDjX#G3*C&(Ze1{Q7?@GM}h|5-dWg^ogh zo$-4eEdMI)%^xC8ovD4{{59P~ZRfyWXn%aqLsBKdM_BeZ!nU!`eWKeZ*%3=Up7WW$ z$oUgv3Fqk43XqMCN4wL`z|Lk#W&`)MP};4GcrAe;NU=)ib&GW1)71WGL z<-xXpF-yiwdwakk`5QxJ_1<3t-`nM#Odrt`$zdtQ@&$r}MBFMM6};NuAP5FKN+=kd zz$6@&i%En6kHzh0I8ephL*dLhtkfgP*alA@3 zp5k8GEw4Wal`n;^Whn3(ks? zwf0NN3NHgq-OBWo?qflH^D*yx;Pu>xU8xWv14K`rxlh8QKF-KcQwqykEC}gIz??L(SmqcV{!Ws1cmQ4POZ$O@2fx&7G7!In~ zLe4uJwiroC+P>5oDk`#wkTZWkTEufFyx;EUC2Y*?-}JMfO~-<{TlQ2wuGa=uns4RB z`I?wtCrHRa8wQFkDFeBu1NNGs1~8jkoFzdf^c}jc;yD8QSTgK3$nUXY1imcIAJ4#@ z=BEcXG{*;^;ZA{Z?9(uYHN~7DEafxK&wm7^NHz*HgG;*)MfhUzBOgY z@Ij|Bb>a5C`LW5sD*hl~1ci(*RbE!`UMRwg(Q{JxP602V_DX+ydMt>r4?I*817K=s1ew!tYr`Yu`ZpdJOV&~QyOS5cpC7|Dx)W)VOomC) z`dqffaho)-J3xn~O408~UUPaJ*x?uAh>DCDeyx8h`q8$wezg3 zP!!#QmUlNaGxx@PXS|D@k@%1-GXY4OwGsz>J{QH^N)}4ZNcU4h^Hd4 zDhm#W*K3oa&Qpb;Ib<;mg}_uFBK9J0^a$ec9fXHz$xp5^LBU3#eZzn)9|0LbNNG=GhZ1DG$XwkLQUq5_@1q>h*14J zM*1}#{95|1XOS5bBtM$GY4|W`*9Otd&`YTigE1CRg9nE);pAwjmn`D(ft;3k`$eZZ zxEc%63~gapFTraro6Z4^;RDCq^JRoc0a9e({RdSG*+_O_%lI4r@?U$-j)7T}+kGtM zA<6r~7omWA-~qpv+ka*A0CIumRv~{O=gRdF3TRDpPad_O+Mu5zeEdbNf;1QiD@{EI-?SUino8Wpxe2~4Rx8nrZKHL&VLYWi)?O(*7oeDm=+ACql z;J^PwKM0lnmLxsQPkjXQh%%&aL{|R3HEf-eH=e|ip=YhO(F*5P{V({C&pmJ+l`rdt zQMfB%5NYthAOgNk>NtlyBY@SZl1`~x{aGLoId)P^8G1%hk!9aMNhsQa7rimn#fmmb zVeF2~Jr|0!&Pz4<+fQ7;mnRIy&crnjaG*>i@xt)=lEY&qMOoP|Ct+zkOu+pfmfeb5 zw{*+j6^`OW=p}=iiXYw2oWW!G9bBx@EfnqsO-o-;9Oih_Z-+)* zTh-Hf`V&lSY=sojDq+#u=}fPTmrZB-idX=X-fAB2e71fo_Bbd_8NOUy{clbfuh?fD z8~T#;G+I{9h&-A%Ljw5SNaYOhfa<}q0c?{j<|;5+{6@^xdT9O8?y>d{WbqUgfqDJk zN8Q;MD;EWI_xeyEB2LW@6Fr6@3m%IkPj=*88Zb2HuNjY0uN#>Ei~7Pxbd`1^=*R34DcuS06YH1%hg{0^$;-Pat@?zQODc zaz-H`Ap-1(2{FA`G+1)3`h_1+E)mUiQ zMFZY5P&g$6e#KY`PXTzETVCTJgY}z6-Bu^@f$=;6Fy4SUQg4M7oE-`<=@TpFI``%S zXp*ZSuzs)cbPgyFd`M6i4*mOW@jvBQc9JXru%a^z?X}Ru>o3GWGf?m}evgwoXj?)I z64zK>`N&1Z0E{uH^o<#=PEKMHKCuf-i3iG?%3%LUH! zr`;;jiJTgl4j>m&T|pQ6>^gz5{45oC${_W(0f-b%Lp=AGy&cY2K0$UDUcW;$dqM!Ws# zaDq>voyKg@^SuR~5GrkFy%E(CL1JM2;ck5dwzN;8(+L_pXw@ubdKgYGDn??EpLsw_#T;yPDNzCwd0Io%`@QhYF|c7tbFc&kYVOn9eRADuUNAgo3yi zBS}wCqn;WCoJVx@U;m!0@fDO5h8uPT0Edd-ukU?vwFYqrtam2xG#B@& z$sdPbiUUQEcN2WK`Zwl#!{FTf_DMxr8xRqb5gdX;7}-JuugyWjsYC`}&;JM$!Svvo zMj(mWNzq}>rX!NTyNuzn@l8$?o<;{O_g^TGyF^g#=1B-x=n&YE= zSYul7MsZ|R$^C>kKq0}8OG2mJQ;I$FYz}m7P5l3Cjac<*yBT|IKIk4gL?(!&j&>$; zmF-}(5Q<`o-{Br2%ELU#TVnO50hk{1gb1C1il@`9H+Es{pc8Cf><6@kx2=4FA2 z0X#BzDUw|TmUO;(n3QscB>~w0RR!I7lTX77#s2x24u8PmqwAwUlxhhuP$TbVK&H)Z z)N8|>8@z6aYX*i*bi7ytiez}l=F<$}AFkas2_iD@Arc|kkt`(bV(v`!!@P;1f>ltp zzc$|f=gJw1IfQz|2W(#L;6_BMam7TaIE>sIH&8*I#{#W&4C-+fDE($%xdI0R8qmc- z$Q0O(vJO0&c3X>&jP)h~Pi`>yk?@_N9$)HyA@Si4$hcD~=|FX#Z2BBb$Nb99N*Yge zANd6nf=00PGG$4LTyQ`ijQe7UP3U%@oGj-`;qU(aJ7`eS}{_lp8Nx zzulnT|~&p+Iau?jz}I{wVILaEc&;Fbv-6 zegAd3`b+n_f_(OSX3W}dzirT;x;xbBL4CDxu3*>#l$D7^U zp3CT9_{7c-Rc)bYVP`%l>l>dr`+>Ue&ZhPar*dT+n)Zcl^dWkW|7%;o(}4J)!+2&x zd#W+@Yl%;F`JZND)DHV9@fX09&OaaZPp+6GC^r_D8{l?H zo=DJ}PDJ#2dCu_R+GUd;OxzM9l8qu+mHRBB%4)LOa&TVmh7~>>^XXYKa2UI9R9Jni z+0eU;O@u)bYGr_{H?!n^cd`sP^?yF^E2vW9D6Q=Af_)mAhfI!x9f#?vaev#qNN_Vc+|y z&S$f;-@Ar0y{}(6S9nWly%FuXR96u>Rm#a1t;$-}UV;XOBUfPRUlgNGme%?E5`NAP zEwa1W$74%e7hR1#`AYT!{6rIqpH+9}zuWykG+lQ*)bam!_Lfbu_a2v(m6c7|lFiwB zXG@5zE91-(iR_DT;UbAnWFIbPWIIIG8NW~8@9%qm;SXhfC zFYM|!?$YgtH}!MDsvScQ(dIP7d(w1$kdFt>Tpnfz#?k;dzcuI*b4i!a>`V}J!cBn? z!=-zx)3W(M+QdDr|Nk331;ZahrUy~wa`1{or$o_|Fd-*`iKGFD!cP>JA{;zY@8I#n zPG_3pBWTofBQzVv$#ob@z6o>~3Fe8KRY6lB!cSmRWR8MN49WMeu}qN(Z~s87%3(C5 zjnBNh1~H?x^=JS8+O2*^{oq@b56mCjbOM=m;x#f<-Y@?&CC#fFK~3`$gY9cJkNL-7 z_oFVXrl$i;*1RM4>^`w)Og@^D{|2boAV*=$L9XhcR4;j5xCCM};>0fc(TW^)tLW|F z!e!&5!T&E$YJsDLDT-L>E%LQ>S4`KZjr?Jhf& zBOfulg6YIMhZbk*nQm#hewNklzoUtYjcX$8E#lgVYh{usoL8SG242>=npF$} zL${#snUU(aD}%hZ0_H1L?~AD+?aDz;#uJz`Vm3a#+_*%LGacaGTW`A}{=}iyNJkBZ zlSXF)E|h;CbFq(5RpdTtkib|UX1)tAh3k2P2&ApoduJ7;#v2aYG_nq4&n2)InZSK5 z+UUdV&coy;OzPT{xl_I8umw?(wYEx z<6h&gG7!?Hs-qZI1b!YDFUlKv-hxaJi~q`J&e(zX=~L^f_@i{mj6Gidp|4YClKUAI zPj-u2&A}kb0)Bh6Wtxok`^uy`q+q5OhPWoDe(v2hiE97hDe>R+$z$jscvm(S(TLE1 z?h@d7#xZ&X4vFwgWo7!>&V@@)th-jjwBHCZ;Ik`Gajd%ePC=7&IkW+@gj=Cx+ZNE8 zt9;Z(dOUJciBqSJ5`H{Kz*f5Vzhz(+eCQk*rFEE)NcM+)6l2pFzN~!y(fm=N|(eqC=DJ=PsZWWZ@$t^#&fJdSX`XCknnV z?ES6jhcwHE%kLIQJ&%s9L5z+@@_^@QXFC%+Zv{fuJMopVrV%H>kYk1*ru&7tTD7@z z4F6qazJc~&Xgf@>LYEr2Vw6ag2xn7sd0*|!GW3~d7AAQv#FiL6O3xGVpj!z}htl~;ONheWum z-Xir9kf+Y!mN80A5?rGB?bbmqqSt97w(7AA{Bo#gtrkQFv$Ki3?jfuZH0QTtewdQ` z66Ozz)k`;)B56;*m<=EC_0JRuxJPJ|_^QCl%c5c-MO6!-s#zXQyxZ5k1l-i?~|&IFR?2jTxY;{-?G8}Z&MGv zl#m}kU=HS2&KIFV`rd85LlBxoN3ofw4k{4XgbVJM!~Cr@EhJJCh%|&g{QVJHU!Fo> zRR4wNo;gGz{r;qi-NW6A#K?cYKn$&J{zVd1L%8L3L8R33&CT#{Bzw?((E9ZVidJIU zU8gDoD4pt+n=OvQL}gl$yl`}q%&jOnZEhk{u^=hwud35jCI3CmE!lDEG^f0;JC*l8 zz}o6JwoB}Yur97XAf0%^$MoiuyT5U23vqN>1&N`FBovqSpc7ru$huOm!q59DYnN{< zWjYN%v1<$fbxWA}%bVMG`nt1in+Oq%=Bj(^I6Va3F=e?^55&lLzIRu@%~HZ4z3Hbi zYe#;w#cTN`&o_c&6sP>WCQx&Mh82{blh#&!*cDBck+L;a)Fg@_b3RkQye`ZnHRV=r zU?=`F$@8h_`w#&K%eYoVAV)V0W)gc)tuv8Gd$x9(`3rmTZLYy#p6QJ(G~H4I(oQi} zun&62Jk}iIDPZn@X?%)Tqbhp$SkD|*N!PGTvG-R&yJ?s2?3{bwsc!`L4A=7sx^D5N z2;GLPHlQ6L4G^eWhFNLO^kn=|WauS1*0=HejJm^MJughE1-$dZltpGwC*9M({(6?n zAT}M1i?^Y5^P`D1iG78ojJ%FXJyZ~`($Ba&3BhVb_6qiQnj{tiT*MEIWC`|OpY4#3 z+;dO=j7Gi0-VS^z^-37;&bL_;<&zn;2Z@JNeNxqyS9+(No3yGgT=b{*ZiqtN=dpFr zGB>VXU_*6(EA8E*Ac%DGfk@}|#A~Z)>0GbG3a#J*Aba%fV6EAQ?|7c*)3`tylGKqu zQ)arvI$I5^ZkG5$ng~ZhqX_)gaCvS$9_458N_wd+PO6ib@#FH5GuZ=RmJK5AI_L`?g`}Ot0z^ z_BU@Fo@$U}=Z|oA2wSL1xue2_zNq4ITMN_c!KnIbn1h+fRlGbe@*Tkw{euQQTL~bv z^B2nW-Rjx5J1A7KPG`L^N`#U0W`kqN2Nr^lLGi4XiQ(yms`S%pI`i-7(ws2ZfKu{#m}s@P+?nA*8e7{h2G-N&usHGK-EhW!G0(rbz5j~ zJ?YK+A`aMETA5EwZ4jMl4=c5AV`6Iu&k4UOXQ9NOu24$q=Izn5|L~^01-t%mDzz5; z-m*-m>KqIQQw(e?zT4?cpL7-`+AD@#trYE=gbxbM}9R3~@fh41QN zxseyQOfk=Lf31SS^MZqiu9AEwOv6nO*?@fdDKF!NxIExI&;Q~;Ej}cr(jQMTT1Y4@ zv{_hy7$t@X-QFwTRx*gCc`nwcWS#}Hqv{(C?Y@n%X4q%<7kEs={^yVoF@~uDw5nxQY9$)OHEXK1ZLUriAO4uQb23+ZccwMB8tI75 z1R#AO(;cnCd{ZSb&U+$SwHR5x{6I47$i}^wmNz1uR&j-(5(bt(-GuIVtK| zr?0W?(+?V(RDHYTs;&^>jVJF{`%w`*Ro(`LS8js58fQ^`z6f)*^wk>rW@VRw@UGGD zU5ZVq?E9Z*GJfNX$Tg?+Q1x6c1Lwa|j+A2PeLMvwZbXfvj>Aq`yro)Xf7?i`m#9Zm z9(c!u)CS*YFBh6rOm`>^;|sDX4vipbH}Eo|wibYkHpgqtH$hl9(rZn&t}C7~Tnn+h z5$gBUWz(*c1#g?JajJ3C`?yxG;@*$c)5&BXX_RQAb{HeCB47mk7J4?B!ocf;@fJN6Gcq-vZg9hEh;q*b^p!bMTar74* z9|G_^M@K;roFBGAzDLg`HC5`40pJ$$&Kir~iB5zIqzgN^XX0MERRlkmvl0l%-fo1D zFTv+`1xqYxSa+qOq|f^Rh7vn2a&fQXpztHq5YmW&*-KTN!ndNI%-@c=6f(AV|+9{(HMh^VU zg)Vuw4F)nX-LF`s^TJ2%?#?p}_K-$|o`^F8orrp5LPc}Q0RzvJ$#dVz6H30$4Q>4q zC`!UPF!K66fV>T?<0`uFnkgr?wGm{OBPb}Qs(>NrBp-M68gU~0iOw_vj$k}c{K+VY zzb*{C&tqquQg?Nj*Fp9A4J_PXT9z{Q#MmpI_xnq|0dm4Bi{~e{R2l!i6i)pYhNBZv zede=;n+Rb$JfL2IAwJq9Y6?VJDSW#jimz@gTQ^B`8!AoR@Q(BzP;$(vR|1(vN?_mnrYV4W$&i>d>UU#7%&+eL?cJqLWRj^v_;gggo2?b2&)( zwV;@P$`_xBy9zMyB(yz!+Nq@dksG7tfOE;)+A-J4D*JM7!#PsljWBCSQ8plqtbjlm z6Mx8#Gyq#{;da`pW}-1WrMZFXsKs-qDQZFWZ(}!SpWMf?*jilgcBCAZ4=3kY$^OX;gTS%EDB?l-CYCoBPC>jKS*m`?&5@l|Y zO$nX4bdjgCe^Zi6VdG4%&w@PHSM7Q<%MP>*qN20n{(y9l4B>hm!^VKA>8( zIde%v{mk*hl*RX9>Oyfz+Ic?WV#{ZwLqv&W3@i->Q~UA~LG$O})zK?&4$u8g(Y@B6mRlPSbPv>F=i4KHZ*E+foj7sYUnIsdQqD0b{o29nsZOt9aRQ} zR2TbDbHAfT;+{EGSNJVF5||JF*_wDDXRwgpEc-Lt80@Qa#;IynrLU21x=i@aA*7>* z*SxyOjuDJdADTf9mzU_9+y@{YoO({%z)KDgnMbsb$Bt`abH;1Wf;hKKvmOUfD1F}W zi><6^-m_KRI(UN}p7**5r#^(KAxao_tG{!%Np=08muZ({Rk?gpVmt4m8}2x-D^}<@ z|6U2~OS@A%Rw|}sx%NiDe{eNw(+z%0(f%1ioJXC+vL#EX3YKAIy>X^L%-Z%t`0ol8 z#ppKC`l@WUzSS5T+soDMoP1@`yy8kjGIlIv46-C(znBE3y{6!ju!*Vp6_dea>n8S4Et`2xxSyUO3K+=fW_4kh3d{WGMab z2}%z`u;R-$JDTAO(TATa@?ie=&IZy#hZ<5{D-V$4Dea4_GL8>_Hl_$O6z62&qDza$ z)W2ecU+_nA>z-jaSxfBF9t{FPy~Pc8h}pTwto3qohF!NE>BJ(Z3>CpfC3Qon2%`3! z@+++^)k**r*-pMAn-eGte>1Xk0}DtM{{hO(>nBJZFk%Sx&|{|zi8AG>7cjleXE1*g zr%n|Ge%;9&6v{GFPqRRFTVLrY1tCmI(Yl8Fo)iiEN3!tlLryT&GX&!_|IUW0#A`KK zw!F-3hH^!cdqsBJkI3ZU=aA`9R4S_sH$aA@)?K89MOL^#u1RSLZUQNrypDU;9(Xwjf}Vs8=J|LLbC0P3n0Y9}mj+A#pyW&P7%t|sMppPhD(EW$e8>+#FRkwWQv8d#WCwE?#lgxilPBPR;_5%zrNsL*Dvr`WRE~$T?TApx<+GjC@ z-$(pz%a9b&NbpQPSV#%d{zNroVSSk+;VajPR{|sGPksAdA5y50r-D{0Wfe&ygzNv9 z6Sv3KB9YfEi3gw` zLKhm_OcU+&`!Ydoux`zF^atSPlw37eH)mF7vsWfbGk}`Kr|}^%`@*F>7+<&8s}KJP#0PhISBwdlSQ?lK&Aa4EMqXFIx=q$N8Ec?7+-2b9^&@2+)Jnuk z12YCuYp#HK-#Ol}YI)Nh}q9f(Yq^u!NomhG}0pAt@|_@(wm02NLxfg`6s4 zJNXUX|PHo!6C-vPnj8&TEVFSq(o#Ww=V|MC*EL1AtXI*?))euwYT zp{4WP)PR+R%Oi-l+Hc|AdWy5$30JRF80+|hie8$`exZl-X;utp?JaDu?& zNl-5G`!?X1qJ75|a;=O?%XlGoo{qQrqEP6_rp>EDn1hji+9!^s(4EHyT>uQ-mvJ^TnEux>L$Pn`Oe>%k9`%K#M{jBuCwD0k0qN8ZKWgtsaIh zKoU;}D1Pe4jOJuxs4oQjZ!8k*enJM$p^8D*9=o_FmRB1%I$d#y1;lz_#>6h2nxV;(`_2!BW}38n$hbEzAcZ?NRlqM0fOjCrud0Q~he9^hwJ%%x%I z_`9vWPx~=y6C)35mr#CgefVCTl?Anur&6_F)!0roUWFIbpvZoNp9oi;6u|;kV|Q>d zLY)B)ST!x$!?1JUzHx;h2)Uv0PY?WFWg>*}icCZHAMl>WP;G!SrmrqHGjWE{Bxe7d zd3zV!N7y2mLik;S$cey$>T;)S`8=E=oS>a|GSQ3l;-(mSzFUwMn6RWAA&mwd3Xcfz8~_{wSr9#CRn4$c`x1FmfhKkUo!+sr#Oj1Nu<^ zEf5Re0O%WoL1^Yu7ST>GvVNHmDw!``&zfD80&!Pmurf`NBbcEDmL5DWty?@?LcTXT z-uVlox29tD-@9tA&LNjKgljB2_j|8`%SYrh+?8vs(2a&KhKQTrQBuT>nck0Yd^;!Y zMVJwu7o#;OI)!sQ{U6j~l2}J}w6TG9Ra#>6pM&4SBtuTf;AMI}sCv#Ive(G)`f8+6 z3a4lw0uQxx)8U4!-*W;dM!J4oWKzn`eeC`5U8e#s_kIf`f}i)so7;v!?czpfX!(Tq z^D>|*`Us35@E)cGA}3sctmj{~DWMEQ#jrM>PYDe+-(*tG9Y}&t)+=9nUQUF~XXcjR zQ#&Y%I5pSq{vt~`X#oy>Kz->6p{aC;GEd6LYkj*~S@Km6IYaPO>~A&EN8~Cuv%iOPb;`g&Dc2e; zpj0Ocm75CTC*`;+^DY8yA>7p)#NrYTLyizg1$l_?Y!MaGj~i_Yy-3#|5Gh>m*6Hz^ zuD7cJ;$)QkYXDtqyBs{s+gV5Ky9pAae00t2Qse0=3xI5FUAZW4v#S7z%1bp_I1PnL zhU8z-3qyUzVl&YFe@m5@tb-21z2AwRB%YG{Mu5c~k}EcUSHCd@x*A2{p9WD=3rVw4Iy^jYlhRrVWUS-0U1(9#|c)XE%^5ps;sT6^&vCa(zh zq)<^9Cgk`|zInSnG>mN=>BEyaCXL_<>&qvN+f;!|-wB(J&pW$!-NHq#YHJO*Ws zhrOp$g+TtkS-;j3=_n4d#eNVe{P>SK(H|;83qg)Wc=?AD#A4LtHQQ+9ki{=`@$^pn zo5olRu=tq?2^g;in8JgM51$}q2aM4xxQdP#y1wbZkqorl#IY^O2w%la5|ta! z=YBJK*|QP1Oy$~36&7*w9ixUJo2d*ssl~;!1rhFtPCnx9m_P+6!hJ5m(tPFveoo8V zl4PbB@0v0xVA{cc1nf>EkVFswWOUH|m^7>U@VV$iTjVkR}5DMC%8Klzr2OU@@P}4n)ERj*P*_;!{b`DUb7Wn3@Mf zg=i?50;uOue)9r@A+8XA3gt)@J(KrIy+mYPF%N9!J^C>fpf1AeY;P_CfF#%Y!<`8z zBRC2+?z~TWfK&(6J8tuUjIVqFSiqxswnQMR2gpS44-;?D71M5#I9CM_Hc`2m^k3J< z9{$DOfX6kMlm-q%5OhdtSNud)4-~!l&tfT{{PeK=SbFEnchU8T1dC{RopN1VE@--b z>kjLNf&LqUr5F{eq5z0C%J0zCX$Ezt1kDKK4D1(aPb76?F4tmxWLAeU8bK$QiCoCp zSy2Y-qa4zkHA--+=$!2 zMWEaGm$rZ)k}!>aeBS@XZ<`6Ah;!%yWTB41Kz^3vuaAL?G_BpvfMl2Bw~}5Sr5j|M zXcxZm*zGMXPMs^N4Qr4e$t5E?axhmF??kcGefp2HdI$fHRnedibrXipM|vW06lral zuXQr4BpMBaPHIMW;`+$oFDMkz9H0b3(jxRcas~Mwcjc=-BLkNt?+h~I^|Q)pyVXI` z@fE|me&VnyJqNvNg>e!u+_fE|gFP`Q0R;jSD()&YwI>)=FSt)ScE_if>L}=hE|k5d zQb#j8bi_{~$YU~=VV`Pg9gy?=`N-r2^;rCgqyRMUcRm1e&4d6Tw&pwFcW{s8HV156 z#em(&3-BNXhEG1wlLyjbgKnm+T36ST?gf?#vMzJQ-`Cr zIn-Cs9(@F_F$sjh+EFs&Tmkfuz#ha&?wxo{G$+`(_C~tn_((6YB)>91NBD|w(V)Tt4=?oc3j7uyd7q|b&!^GgH^R7mQ&h{?3^YfgZ zdkB1oU(*uK25^>PTiB2`X-89e)n(NOiY)`M-im%%3okYi75`7N_Znk~GaekXr6>=u6Dxhzo>Mbwvngsw^C zbqUO$`Y5v)cN-4K)Obsj0oj}~I8hRO6pRI8AQ6jaKxxQ53sm6HT?yNcAYNdY6wIM+ z`+T;X2g%Xk9N%Ox$q}Nrhn&5?Tw#=%U8&$l!x$5uLC2BhQsJh z%q4%M2G=Z;Qeo~~O|Ip=UWPx>e@PXBPvWg4kpwrUUPa{}DTls5m)!8uFUjdcbrD>r zdv~EQPNS}lZ6iC>SbHo5)_I(aZQR@B8^;9<*3DY|Y`99p1+S4(#$cu+eILjYK(xRR z`wswT84KVt8p0RKAqfBr1GfY)v?s7a`nSBUoL9MS#iL&}Qm9BiyRM?0OrvYb@4ElZ z;#CI2%gCRW1qy~Hf|%SzYHx;yPGQz>P!cTq1N=ZhN*OgLMQySIUsbGa&c2HeNQV2A zqKMjCBgl^?C#1IG+v#P93_S#NxN^64;nvMW03S8S_?VIKyiet!tpqCfK1@ zbJQ2vUuR#7ka-=Ts~~`Mc=73Jae53;}4LKGHis}mZN!tOvsT{Hz2v~*@A17y+hj@UN zcK+5^-@-keaap*3lFFgd-`n7rc?`GoacP}6_`S*L^<>_DIT)k$>H$t&@_R6XsLcG< z)ep=f%DYk!0_ip=Tf?d`djq?>7LD@r1p<%8RMVo`(%?4egMn?0`_e2vAD*SfWGe z4P<09)m2LD{3A!-vS@wO5`Os&b(7Ex8spF;7g>V#imZ6}#oI~+(yrl>7EITA{c(rN zof@#t8evKL@GI`wqkkUf*D}f|4YZ7+{7&l1E3E+xB}4k*LafwMk6+K8UQHMNba}+E z^)-+7rxo&n#CaIH5qD+hVJ2ep;9+{;o2HOI)LIM95J1@%k4>J9h%|%Q&!QB7t~^9^ z=Yrj3rr#I&VfJ98p1xVFnKg)KUxo6NJ>rCJ#E+?2W9b^NjI=t-7VZSYEyy+Ab9)+g z3Lc<#OkZh3wFf)!l|Xa%#|<*WxYZ9(wQn+SuW_Zs=07WsIKe|dumVSzEc}rCeYv>W z7#8;^WJnMUgmP-!Z4%G#M?EHlQ@qdnd(HEU%~^SKk;7jnDiGTK!*cbDtFhSUhP&(3 zan^a~C*2e>3#j9u6A#@oJ9%e_2{|IutP%PBk;xW8KPxhnIcnFnlU*riRkSxka7QWr zRTY>aFFYI8pckbUZ@QVMTc-}5FS&1~I2ADBr{<8dsh`c{o<1YI6x>E7=ML4qQOV0Y zb^||k^YjUf-8bQ90xwgr>AHgRibRb9)hXjrPQo|`1FnadjWZ783IVVt`eY(W_$Sj! z4sz~Q5YXK$hHF<<{o-2)vh#-YlPf-i8#40jQ0^2|IW%p{qUz~_JdVQHo8gG-g0UKf zrSR%{FXS#R-u~I!C^_DJyyNXO*V!9NA_jO?-J89)B6|l>Jv^VXBYCe#w?6p|vIA4L z0vUyjZF5I&0geKXe|W$Z8W@bI0oW5Xfhfdtxr*Q_kza)BWLw4PP~;PwdLwk*Qm_MW z4#rb&l)v6ye8V>^Y7gd6?iNImi8~S}Urb!w63b zDi^V>n<_VcUB3;n3XhWB#)XdTL|_9&yB_&M%n&h-35+^A&Lh4fs?Kj=an!1m)S)L& z^Ht^PpV5;LHwj4G6}eaEFy;1+xQm?`knyEAc?LmY4z?4N_wFe!3h6opSJDxBq;}%R zEmr`}?Cz+9vX$F=OW~xoj9i}+^`{G+k3V|LPm#vmWcgUvq2aCIwhl3Ms zk~EP6KTCQClY}vGrq!m+l%Xf`qH?HuD&{Dn&SGEFQ;bxo((h0(j&6tPFt$6R+)_8> zgcT$n69AD0=@nqRDhRt@aLxnIuC;3^0&pIUb^wL|v!TjuALn@Ju@gqk4)HP{~41&@XchKN8N9$vgr08_jT1j+&1RVaWsj&h14vU&oZnKP@Cs&3;l#eK8$z1V{IVMN8AAcWp^wi7`nIl?H1w+bpc zhd&i5TMK$+R~#Uor0(%v<4u|CivDFB+kPS}EBItDQ+}pSOe{#_U2@aUtotjx`MguL z*-40NSBQ2J*gWhk6NahP73MQ1CQ2kC-}}qK=wnj;vOgy^?s>()=TarbjUwuj$)b&rmOBd=9W7Dv7XOw|+Bu=wh} zL0m)EYo%KhzU^P{ltmUj^7uQbv6ym~p!PMtWLT9EeRU)~v1V>IpE-$6^#v0X$tKJF z&GDE$wY%>?#7u;)GB+N3@lK}Xu3lUz?KQ(+bcWX8P`L8Z!v#;so;?nRhN+zNte5Vg zUzrcS^0*+3bR9AO5cv2a^n+lKPsZ0Ca<*v>cY@^X6}4E|9TjMg`MZBicKZP9z7T_H zYI`dXtv~v2gmYo0*X~y!Ok?mkMNPB+;%3fGiRoI`3`$CTgGIcy<$$~no{)$Z6U8tqNXU27+8eJy<6B3Bqk@*=uZwn9V16lz#9{$;iky)COPTj8B3vM4Sy zl|~Uees5*x%iG7|-a83N2-MD#J5J_YHp}$J_RI7Lf)Xs%tAwhMFp*kXl)~w?Cy!KH zL?$c?r4j^HKogpQ;%EwqI2^KmLf`ghVw#9hB(cQL^#^f>(D;8jjX){^WJG?({d`k= zYMAB@4H$oa+yMEE-2qa)y>RuoZZRlc!yr(dW|pf^*C(ar^b8Ro5Xb7|T>Hf>s%0sl z2yF%Jp}A=8n+<&1a&6O;)t#a$OoP;gwCkz8FnX9YY;J6G^tIj$%ptlNJUjyrqpRmmN56GtrBh7;8H z$9y@pp^!fQvv{58vfr!%{$7wk`OPTs%1`Kbk1!a|=0`|G$k$WNj(`(7@Ye+1O?$|( z4y=XfVDBoPX^KX~wYACwwR1JxR4LWi|E4hhZsCh1vdsfAF(q~Z&TPHhf_o2d32(+a z_l8hi4QcMvIRjg2vFfn^bKVD1F4#jHpWn+W|B;=}PtlLX>C{hoO8nc|fh*5BOMV*r zI*se!6un&q@poChE1BQn>qmGohrE>QFQdDKCsXG%5Cz@wMr6=M+f0AdLiCwscZB{! zwkG-qxY$Qn#z#WH_{}Ar1&ZP}FCxd#%^q3`DR1VfZxN0&$cwc5XV(CLuoj@mn!D>> z#5hZ&^k%Rg*!gCz5GVaRPcIIK2tGwiR~P}@0xKDL4k?P)oDCWNjLM>LLkSSk<3OD`K<6!T@)Z|Cul zCqL{Ye<$es7;>SAqrE6UlrZr9_@$L+%=|%yiqTc=n`FvM*o@xgV zy&ggqK-%BK9Q+`P#b|cGSkjZYh+2MEL1Yg@GeC|HD_6?gAdCIgPYAM&pGp{^<<+=+ zA!IPLJS5^h3{YJ~^b6*eOM_{dD{Y$cPd8acQAVRJ}UOH z7Gp|<9x-E2kJg_;+5ye14`c?0Ru40Hej#G8$DG6Ya5DZKjMEu1Q-apm|Mu?ZX_isv z3hft8Q}D{bh7B0bI35!xw@;(W;h~OwH}@;K+!L5Lqe#u6;HTBFV(l3H8<@zZFz+YP zbGrP`AqNZ^{QdXsO|}okkka|Zmto~qf5AVDx}hJUdMU5snhNxi(M5`oQ&PGQ)mHKW_cQ0FvJoy!$ z!Q+Nsy5D%C?oU5~mgk2RRXv8&KY2C!Vl|)pbJOp%)v!R)rWJ+?%@Xp?s#vq){co?` zVvq&d0+N#~x5z50y|5B2wIOp|{Cf|-i0h8N4~7yqEYYhDHx>6ivqOP)UbJU7F6Od8 z=}Z&K10Wvo7}U-*glh&RMDWpaBSdQ7=mH_5IKfgQ5vzA)#2&J0Liscw{c@C@y8{T2*pqSMiAHAb2c?8S>>i!KxXe3;4ES`RS4F7S*cWMPNS98Cuh<^;s zI35DbzMo4&e+&U>1y^%G(g6NFOEJf7c5uwSagi=EiOJ#mj;e*6L`4AyBko#2U$#ex zFg#bmeZdrX6FGkcovhgLek?{$en=2=yxqhQSb)>FOIWF6v(F?RJvfb)Z%SOOL>kGX z=JWKsV7M7^Dr?ytJ_9>Vq7xYUHM@WGiMXP5u%Eysy{&Z3`~W1vC;za_v>o*z2|lv3 zBlZ@NJq&%1_&LXu!b5&eH}k?FsOMq9psy(>_g{|WS1Ox#4rMN`I)yX0956#CUoMm4 zcinSuiuf2;EDXde;$}FetL-~%)iCF`|8y7RdLwKE0Q9#r9tG<9Ae~E zM|?l|qv7=o+PcMN28T=>>&N~?fx;GIT&bwe6sr?CwaY`{ey@e&OF=a+$b^KmmGkXp zf_+AVNEli?nyC00EG}2wtz;R^pHqS^qSU7R6L>9Z!^j^8*&F=*rYBGK_yJg4m?+rk z=}JHWmtL`*T^h9mZ5A)`{zdn$J_;oe7YHywJ-8G`)6=iTzKzNq#linPu7es^vIPGk z4FCdS^c^rK_2L}JAi|p&(a=8pTy}fST?C@pwWX-~tU{yd-CO54VK+$5vK=LvK=iw( zL3$g$cDjKRZQj-{yM}}3)FSqgHI7izzfQ%-L?No> zXlt5;KGtpVsT^C)aU#fZSoJgL(dT&O!5GRM$NE&2(7E2lP1?Ua# z2|R^YZ6EA>K~%Zmn-COTgoF!OU`v`4?mbAK3O|R9)N0 zPud@iBwFmB1UfiBuL1!3{mCzgk^1rIWu{MeH@1*o24>ihyZqy`biQ$t;X%yhqB3ey z6_(GQj=KqR?k2zRcn!Ubc3b?+$@x1zld8>SE%&A1x}^k}f;8ujd!jU_DhCja(vv3D zHfgRg8@*mu_zxWe0wmV_YA*rD{yy;hP1S(Gu#S&`5crCJj%3;$9$}aJ968u<`{I$A ziQ_@w1_@VQf1NEn)f)906G6=RnMHY*&JvO90SVNfBWjX(s`~f+R&TsD)*tB}2&~l54K%9uVj9c>tadZ)ST~wdfOs?4)(zmU+L-_nf7)?3n z@%L=ond+ws0pknmv0&X0t^v0|=m!!h&5vRZKe!VO42G8!A=b5tUT+rC zX9{4n9YQsME+n7KkF8!eOlsP(sWdLUdPyRi-RM`~N?DQhv}ii|K{osQjfsfy$Q=P} zRrDIn6Qj#w=Uzj?V(WastDTAhN9|)_kcznD&%mI>10WGa$OIT!zd#lUs9Jo1fh65A zM;kwFYIJ8_os4f)ei&Fk?ltV9EtFz@m<;u46XnyoWQm0bm0;meDg&3s&UXSU>#zRShEmq+%(+Jwgi|ve`0_1zmgleds<57(v@%I$nvKL#84lPM1$*qd1e{a$kSZ zE|l}}&VUs3-PXT^b7;I8lH(E_yiRX4PEw^@|6sUYuVue^*3>Mb9@D8=`^yBa(524d zNznVFh5ljGFCS)LAO9di5)I%5Ocps3JOw2U3f)9RMhRNMk;NnR9VuwKO`t!}EWa=s zYpG8);%w3OhMjb-mrMwl4`aU3C-BX3H`+tHcvk?xYp2Y`Rk z7Yrx3oE}PaLehTQof^2I3f*`+T{Q92nBXn;L2`7a$kebcYARQEq~UK@>tFa*Ee(>&s>$}06Z(O2A5pqlK@@NO-sIV*?N{=GwXD+~r=UhNPGZgL zx4@U7i5fv7Vq|6|$RC$lD(*7GjyRLY_a=~|Plnq5D3sH%e}Fw?LE~?#%*eiFiLO@H z?#h++$`~#Blxz1KC_}6`*Wz(Q6 zK9P6dg-Cne>&htgh?`by93%&Gq}Awag)?XjxM>iZHhKDGo_RigB;{};oL||0T6EL? z6%QR80xcA&HrH9}-VEk9$eIR1#pHj-DI~vYf{X2Ysv=$o1?24Xy>c`q&K8-g%ac5} zA1Yejh00yp48itxA8$_^UY~Mh&$lDrj=sD1f$B zNuJ*sD6WIa@r(Z6%Mx3&m&eqHQ4TcKT3^n-+A|+J?YZIf@(#HAlOjN^CpUUsR~S5e z^GL%$T)()fPqk^{Z#UlMhpfgM-=EPpJ++{5LzCVGx67&w$7!A#m)U^7HkGif`Etz* z1t6tk-@f_e_cI%5zInzh=x?(k@5n+NAsvu=o4l~}+w#o?irXqdT~*#bZdK8#`g3yY z@=T?ii$8)H$TSmN2prar6$Q%*Gp0y1r;30gJ;K$6NX~;WqvKta@lZq@?8;~rbz-<% z5a|M$A@E!a!@sWDTQSXV`hBD}hAIz4R<*1e6*QV^KAE#f56@KuA#c{tKM31i^IwInOWk)_EX~T54j)ffw6bwggUg_u| zQU-$>+6;~9{AeDbJG@O^&u%iAroMW4O<)6JEk+|u%JC;1QcHi3mr&C|!L+X{nG+>M zG0Q)n=dY@n_OlYu8ayql7)WRaE(!|4IBBAI%8QDs%|!cylJma@Udf6ZcUTML$fIn> z;ojxz2fEpv`-dxzwTqqXD|?`OMqR`?wzr>i_UuK~a zw92kRC6S##O*ebRy!QSawYb$rsMHy>wy+3&mc`}@u@KCv4r%YJ%(}%7bPL)r!i6-? z=MM8!9!trugak&Od>0%ono&$Uc_&qJdjoV{_JUXP-R{e)SjHT_9->0Y&U7jEYKtU` zeOF)mWhzhja;Dnl&!PJgM6Fzn8f60xtANCe_AOBL<(+|s zM=A2~QGtdWy~%j8Q{B0Y=$u9^q}>I5ujnG(X~Y~7PH0$0-P>2jve@_LFq8jCZ%Mc4 z`h|zwzB0~FwZ|B5d9e^}`t|e~QV!X|9$Jz89Tvtgh&6plw7;0#Z8*0lWS<xsDB&r|I zV~)Cy?G3y3_fCnd-EsdGW0nlmk&HP@A<+$ufD4gRdw8oiV@;pOkyYO0PFnoBJCa|6 zZ24vtuo(*#>8jbiYj@SL>IS`oRAg6%;*ihbDD3b)vGFQ&X{@t= zZuMKi@5^j!r+#7)uLhbh(WO0wMI_hWqW-ElP^$^%%S}?WP5(CNUJe4Br(E+J`~p~5 z!;%lhSxX>;pS3doI)KkQBPp0UZbG~ql>w^Xxmwo_ZswJ~aF&+kg~@RD?};|AXe{KI zB{XX#50Xu_F;B8i#2?agU9$O+SQE`m#8Jc_=^DkTh4sJ4lrIdq521bv6W2Zw^iXAQ zzf0;XS>0?K`@APeFJK2M@JBKYLLJ4m7Qo2cwyjs}Pc=w(cOG+Jx z=q>T6DzuMYF%m>0iKadt7xRlt>J4800g`Tv` zV&>j@i{hh%KB?$pmtbSbpG59~2l8Ft}r>{?dss>@eGRdT3ocE8%xeNdGVB z3_KXFPD;{}ihMDZ{ZItx6w_pgjY%D${Sv8`m9vX9lWH7iaF(rp;tB8NB2yrOYW=L% zkD-ak#s>}9-Fij8Z^nC0G$C8?*UMHoI044|H-dO+jf0lG1_^9liRu_sB4(2XhvY{N zPdB8O-T&D1cELeA=cRM>sz$*e0cFO%E2IzMR1}Nq2*3N$-qmVpLe<+ZM*UmnVT#$K z3iEiB^KKD;p*^4%4IzE2esFSeTopJ&iYNRQ+0+BmF^>qCQ^~pPcXj{;jDfcYig9J$(%u?Azl{}i?jL9>~ zC;L*s{(@I^XZgd2)oI<{cwQa4Hl|1NJKX-aCeMdIgqdhtK(Uklsefbw&LI=z8R7)~ zDwFIr8SZr++ef=(=RO!003#yEMhSQ=%HQiP&DUWyet$n#skdz=fyIft5Ye7@}% z6=Lf0s?$ff)qbT=?j7l6M+G8P+DB@_<+^!9p(G*>uqWA*(hIg^CyI#lj*p{-gKK}x zAg5Jj1xPEJoE*rOln#Mv(7GRzQuRD@(hHG?=E;F|8RzI1N&GUj<(YY%+{Na9XFXrH zk>uz&iEvK3TAa5((isy*HU45A^tfPd+~^0L#-O;%_h8i}2l(D-U*U1mBp+J2$QKy7 z>QHsb^sm4Ci&bDIu%GWU`r#Dyh1KUh-p9HYRBd@Kq)YvqB{J-+y(1<ePVEsWj z|5E-*46;^Ir|RymDDI^U`zhbMT>Y4Fuc=k%Kf8&A8&eH8eN&|{m;u)hRC}v6t1SXo zPUlE*q+zc=4)$T-KCJ^cTocD=`#N6CKHSy#91Y|IRuPAt<(ImSDQ;r2{LjR1WzdiG z)_OBM%uUKk{r#xh_sLD+2jk?V?cV6u8ci3^Vais?l9}nQJ>!d|KdSv_lcW1xTp@~z z|Jf?8t4(MeN#`Z$v2?{_h5Gy{pt~*Cv+Ds>HWV@&_Yid;>LU9!8@{wSiIT1u7CdHI zCm!Be8OgOa?lO;_fT9!7zUW|BT@!Nl2JnxWj8H;AX(4|u^Wd6bhi+qRKp4SC9|8%gdlL{E z=Oo2+OxDn(IvvSK3z%Op%;rs8+5Rde8Ys%n?%$-dCANH3TB?0=lP~c)gms+XEAk~O z;dXhgS)zd_`*uH`q9v+-^L;uCaOP=8qEVwo)+FwP97Q#J66HvspAC(Mx9w0;fMj8a z%*_!7gUOZ*0yQD;Y>W3)&9JGWgo(G0Zxx>VKv<_=E&)d%?5{ahh!(gFoGw*8YQ(>+ zC|V^2Ih3j`XY@9dAR8q)8TW8xi!1C2 zc)mdQMG?z`Z;m-HT$80B*2W(UZ|~UQn)#=$j||?C-!k6499Kb~2}&Q7-TuV}-1X<# zt-=-$H*s~+Z3h^j3xADeGZN+MA!wLWhDF`&RFdWwS=7?xD972$e^?`YU53(|$N#8D z?UAYuCB3bYs_@dU-}RT6=5O#?cm|21{KEB_0NP||F8WIjQtZRNz5ii#e9X;c=mv0} z-&ubGixGq(E>s?2+xj=Fnj>JoQ7G03st8WPCm^pe|KRq5CO0B6>FSI<678F@g^}VJ zz9FE^n{oXl2sGP#l(WC)pW?%2LvrBHTHcsCcZ{0vFW#?j@l z410a%0{R2Plo_d8sncSr#z}FGTRT2FG7j%trPJ|g5V8LfnNZfnVVjV1c)F1zOBM;T zZ2UNLbAtD*euW!Xm#j)2c>;vfJP0OLx6Hs=qjwG@aO}4HxWvYI3JZN8R`CT8H51H_ zSs!y6^v|(m(oHao8?@ZRlEQq0=7QmNVayUDq8H_qK-><*NU+j%H{a&l!C2>#G_!7gLpSCRitt1P3h}l9aLK0uaY=l^ zcRX&`j(zylmNnUJ%AvRxz{^e`LSmWmdqv8AfN!0{&Io4>QEZI}81Jf8+R=Xzl6JEF znu$@d50m%hC{uNbH{=kae~8 zCsjBmAfpaJW>}8ngb>r&m*x?|d?CXa{?TWH-st)ljkBhGIe@St=G_7X*E<}gcoSFq z7@c=>t)-z(>x#RrokIza?HbEIUxQ?etix;>A=$}_T+b)~8SqIJ3$isoyB}t63$`so zxH%ywml1C0g5og}5`uBvsYy&(@u5F-dj|0czP^E$Ar?<#izI7=a zj@-VLI){wSs8sp2$r{Hm!``@C=GTc-m9?{I+E$6gIl``aK*8o_sl?>Y-*E9_ zgW!3Y>cN|GnDcuhPuFY#l|;|Dknz5+sDdtSIWA8?)IV#I2>Jv}vuI8R!O=Yk%AWiy zD&0)Z+aD`#;cixQ>JCfyQ{&hNAr47m7JV4SAk_v_E=FOFH)g&`FdQpO5SIH8;>&$m zM!8LiIG}@0=;4AW{^Y8})_AuxZ~lu}x0mM;AHym7H``1m@X4sAaJ>jloW{#24oxgg zcpColk^y%3FkA0;ADNs|;b1}Ppd@)90ZhgkyY+xI;)$)MWn@kI?Mt5SbV*^4_ed)f z*yV!1>7EWlCx^&-D5R;9B)bj+A53$gisZV@=LpS>R&)_3jM1Rgp_R&bwDZfiDvG!h zl#QG`rQ&$bT;_e<`}Tsv+A9?2R2qIWD$?FAQRtNck+0aHO4eipswtS%y24cfrv#k` zg^ray;)nL(iYz)beqHDynAc8f$87q!*7A~F?|}w8ob3I&8Iu>U z$ddTh+eCT2LA8Cx6=qg99m}<*X8E8lg+NKMR7fBSB^^=V)!0JG_NeR|MkS*Lf;X7? z_V7>w{TE?+r`qgGWt$ zWF@DElJzjb*~%|jn6Hb$B;7B2*wU1%8pxX=m2FrP$hf4khu=b{zz!{`mbSrjpma2k zPc|PZ!y{N;Uu|j zEeP(x7&oxrVl_gV&LNREHF>J4Y=I zXFl>O-`Od@vaGAlbLCKmFhhkGvp#RUWrshaFf)6jV6Z-uO&IorPYhj6#*yyL(b_$4 zG+2Q032y@xGj3hbP6(IVKBKLnfL0SKV)>NuydD8mOH3qnosNz$B5Ptd$?7U2Ed=Ac zAkU7E!%N(VI`Q=j!|Jwr1PQ^st_&r~MVxa%sCGumpSL0{n$YScy4>Q$#2-fyLE%BY zAMff;5oXGte|_|D*cYM0q~hk>*>C;Am+^z7J2AC(S16ktO~&&nrt+{oZfn~nm$3}g z-(kzX#hvl&hPn{91xsl0LVm(uJnuJ5nRInhF|t7QP%kNC zM6w(6NxPBl*fEO-P`}B8ASF4}bw7dyhi72HARHx5mc?p?SccTC2k4Msb3$5SIIxfi z#I8^0@g)IbC5OG{UBh22J8kB?Sb+a>5@q>>5S9X#G1%S(yi($70f0w zb)Z?%gPw!VLfpQ)?JqAwuHrrHdBfoX+i}8%HM$IOL2&jHW9^1ccSB`=N{Fyoh_mZZ zO6*hA*f$<}i_*ZcW{#a+QdrIvVVXqU)CLEFG49H>5rm%>GoGxdYPk zlGM&39e1{@MXi(Jy8LD6(FlLLI_z%KQXJJsAA4#rM{-Rrvc(L0=+{^!{YJ2Gr`+$m(nIe+wbIkLB z*9m8Nd5Pm{nYRi;3;RBVau*^b4JlI{Gn}3rIHA zAz|nj!dDC9hs(b?24c&#M50Kwl!VurV7`8X=0McXP}xL|xfSi$%dsY39I5}#MxF&r zb0&*le8vhYP8MaYvFn-e!xL`=MVwY~zf?^4#U^ip`nYF=2`FsB^g&o35Nj|b7((sW3O@wi&-YiMZ0r_y4F=Fr#1wvi>XwwGRVUlOz(6s+yuTsOXgEQ1dbnHv&en{{`=&}3YUA#+@`$C*T zHh5fT3iaT}^!ww>S^QvU!m-}w9NP09j6V{^7f!m%y72S(ayejzt`5A7X)(cmfysO+ z^W)7wz%G&cf6^^gieQq==Q!ryUb_b5e}KrW;>GmHm%sDr-UPE@ZE=%E*faCVSFppo zGw(#lBBp9;<_fwqi4oM&1hkR<5HbXZN>S;=iisU2X(SpIdj0g~?h{w9c&VeM5wX z>734!tO&xVOP zh;5bFzIO*VBIzZbJf{WrEw*j9(CEr+jV|};{IFD#a@ZfK_>xkt>hn$keBM;!lw^@w zpq>38SZC!@|L56sYE6IMKr~6tW2_9VjfZ%=a!LFa4XSQ6++25x1TJ16K7}d-sflWMWRyOKT8aBBz zn7ehsxql>jJ{DrS5a#XDQ_h`q&xDI(3zhY>{#f*-Tsf=xbNIJ*-Guy=brrkp% zuE4HeBg48|!9t{L??NGF&vtHO&xbV`8rd9SDS^FtT+bw#7AEU#Bt3BV>gGd(#M;hY zT){@J_(p3?UVQbZXj6z%joG|roAKzEui{yVB~AIXA&od;yT|O_LVp#6EHGAM{Y5Yg&Olul6afSA z_7j!l0{oia@8oqtxJ`=(e|$35W*7`?p+Sf?8GdH)eC0^5-DxB4J+L8)ha*=zPRS1l z-!N^CKS%5LKadCR2KSW=N(2(%p3u(l~sU4Wf7q9Sw@3t8~_@r z4mAV4qrrTsZ)HWt%KHTiXo|>p7QC*n`f_Oo){HzPW`?{>iF38{Ur1`-jMu8>d?_AE ze@r>3(=deLD0bSWX9?r;_=p0B>xFYJ#4Uq&DSqXK?`SJrKh8$3-tYkcY(L!Pe2ZSh z65Oq$v>MmcPR!kl*h|qo?S((N`IsDNI7u!hD#krpjba3t3 z--&n?bLzg1HHEG%ZulPJkOi-O7(G019{5^02F0@0=-C%&l{O%&`>{)!FO9L3gAAiH z&V8PPAVE$t`LIj}^QQ->yvMYb({Bj}s|d9SL?3w)K*4X=N~0-btMY{*+1zjutNf&= z>H10E!*+D0ojT@szE@h*hTA+=>MLP?NK8zs`!%|OYfYP%>PPM?wcR~5m!;0OeDK5D zeLXk#Z(ug9pjzOtp0z(=h=E#aaer|*RLM{{F5i5_gdz|GRm8E}FYO(0_^H998Seu{SFjtXMOni5*dD1W)c;qJ2imO zlns~z5K7Dl>Q2YJ>QoPY0>#Y91RzW>RJ6|`p!UTrl+T*70bO|f{lrG+qxQ{PR`@xB znYUueNobxouf2bNr+W*`u;r`=zB;e#=M-a-_n7>-h9IrL)N7zBV zTEuY3VAH^0?f!8-`TjJ>7S_o4iz2^N#~id{JlA7*?9xx{Vq+H^!Lrvh(&2AQ*BCbD z>^Sz}Yvj9vw^F1Y^r2Si%gh%K0DFQHvpGtVR8KX_R9f|+C(c~UXfAT39aa}~o=$A? z$4|-reU9ZuF#4i_5-zZ(Shb@eu3MF)IwaIeUg8NLFU6HSaOjjzz_i}>QwN_di--Ni ze)9lm8FpXYJzMCj18A(W*?lJ>00xyigGzf9qoz+P`^1_&diXMGu&A_^yr6AG0llpK zVgQD7VQl&IV9%68f-G`QqmlHIM@%`tL)}&p(p2gMsN7tY1&8DsX^%UzOgwHNYPWrU z5gJGk-Ek#qcvpei8TDxgWT1OehCDA$lW}-kQ)NJSCYgxpp02ow8#LWl0me2Atm(F4?n$^s;1%Nb!;jZTL5{{mDDEGofr)9yRF>_OXKor-fQn@_i! z;s8R*-@VHjHXJy*UhNtnXnhy@2g772zqSbmf~VM(d8NDH?*!Hy14%81qkCvke+ss}$PLi3EY@1}c8&r+y{5pIsD zO7f@X0l&Q8VB2AxCKxR$pS!%giqQ{84?( zd$m`R-p@)e#<%~&v+<`_cy=Xt?R}YagMo@5C+Qxb(IkS8JwPhQIPgkNbx=-+j&SJ@ zfKi0C%JoMq-E86|KqQ!)Lpe_rV<;abLlzktj*1T7_-wg~*TYT24j&9YX4q#8tOceq z0$t?&(f@8#;qS9@_CwzF{3Sl+SSFr4&T-#nE36F6SF70db8?FW;qhB!i(%EJZ=)j1 zp=9+#zyo`3{f(z&^&8KtZSi5J+!x^fO?zn4k}T1DI|b;7gyTmpl}> zMVq+^mK%1cquKWScDMBC(rtgx1jS=L#Pd?mRB~Ril#Aes#3fSIJ|Gmy!Dkv5^*(cc zIF1Pk1Rth;WC$Ms%%odm71M4_o&c{&{XP!TFLlFj#*;Kfz^~(#NYiH3*?!?&M?6j} zdKjQEt6T4~_UvE?0MMsxXHC3u1$Srwj8IEnDqjFY+Qzo>D@A7O;vs>x!jT~3VPD>@ zmrP2+a?CN{jk>;Xh7WX@PWZ*Nh*~qfN>S;bxIQhG^Q>>%X2y=kKW>VTir{7?7}#2; zOy*iEM`;XyKXSc%lyk1jTdF(G{X$+}FX>cgO0GBs<-;eMGCJ3ulfq$^vERN(0u^4M zP7%3C9Dn>+4Qpqf%PX29mRQBCW~TfSb5sg$ND?FM-Z3$XFvrGthp32&vjl-dw>c@# zJ~-rj=6dA>qglL8I83nm@zEqaS*i)e`KvjGZrxK4+PAtd>gXSs6IJ$fq_#pKG+~ce zj1I_iN29)md%=Sru8y3ET_v6hD^7kFdv&qRCII4RqPEYdI9xbeqItlP=8+v z2&!#=s)||&4R*Z)q)yBO9r@KPECuyN+t??@F#L6cU$!$RnV}mv3XQ&nqAgh+i*`)b z7qcg+E%+OaOxr<}gVwhN+Kq71&E3P#a5&f$1Cgp&7r1GmO7=)sf!d!TN$T#+3~}Kn z$77f>L=Afd*drT75%FYqq~jJ^2(6F)gO<4`FJPba6h@=nNH)Q4gPtQSC)hKwyu6%8 zXR+8{3apbgACJ85x#q)p2#vnKZ58 zW`=1J_pT~`%RmnooC9~gQ7VrUTqo`;p`FEkNjTE(aK`U;KadT4M&o~r=LXjeNRSrx z6T1CaV~`f719g_&h!ccEloT2o{P(14nS>^uAyi0xfvBv|0afI?ubGoiig2qwXmal) zZBD8j&E?ypR=d%KU=KL5rFTCdZU8}aaxFA(_J%mG$!-3F+ZA_PGpQWkm}F1p8xgGC zh}c1urY7wkm0b@aFatUBDZcr7{aI5A0U9HgD#htRSz!VIOz0>0mz2UNFPiq$a87Vx zx9L=uR|DO@c-!dx5SL#c)C)GK+wq+W6b>HM9Xky>^54E2(`1+^QJIDeAn;cVH4r}Vxf$JZ={shS*=DL<|?~s&H7pl?j>m#zz zAN|qRj4`_27b?&nq`;*2_9Q!Sh;=x#hig^1*}?MDy>s&zyKS`t*$1DI9D9R=?8gm9*|Q%oY+d=($OuI&yw0@XX7yQeHIXbF1#3Oe3dnMRweLuA>? zp%2F%+QKe%WOuR`CT~$JGG&%8nG@GDGAaw(!NheeSO!bX)n2m z&2BKKaj#~;xq~IMmEHw~zP5Qnv}H#Yx>HGoXM)Ot02tVC+AE;^>l(@j9filW=ul53 z?H+V&1pcUaH$GgPLy1mWf58z;v0KNNOSm$pc zqD-Q?(ffn3?+3Qukw-n5R2M#C@sfKVDTDan!3aMLr zO&-2QQSX@{r;o544Fw*CrftB4wBG;n)kh)Ek;R)j3O`@FquWS${1MqQ2?I8E_dV== z|Kw>Bc`F+tz+4(8`cACM*rM5Gf~8e*Y(~F55W~v87LCv{MmdSWe2Md-2`*am^FDL} z=b;2K@SO(|$4+@kGA2>Y^W5_vWndot@*%_AFY!u&~g02O{V5@&* z+58OG8Z%;Z^}31oxv}*t-X-LEEE(Y6Q)p-1a@=Bk&Q6m1+Cvb%${SKX+exG#j#+C$eap;W8dxE5r3#)aUtm&@1e$;67zp0%PMVK&{HOBI}Gg!A+)5jQQ7qR{cN& zN|VELVXL-E)uGoSIrDr^R7xr79DvMOK5r?(NJA~3GJ_Z9RKT4{TmLhGM}!juNTQG|suJZ2NOG%>}hVy7Bb{5>r~-XDH< zHzF7X_S)Q!O0>refV~Q>gm8#kgndPZ7}~ic-GV#g3Vo>CrZM`@KPdwb$MWTCU2sdx z-{B%A@yfRrfXb9urwur zJfooaRecs*o0cf#&1CV~o;lTCh-LXLU?Z?&h#}@&2RjV&)iao2COXgkMX7X?CbKW4`;t~}2qWfJYo&VmZYh@%&4_MZ{~Lzc zY|WEtKJ53ILEl{Iqj-50DKpVNq08IK?_h0cUO86=O4p;2v$xjWEQ=QW9LmLW zh2bxe8i!W2HDpl8Qet#_k(k#Zoo)Sh3kO=Ms5!&qfYlGHOtlNgOs13WtT=A0Uc7=xN{?!P?>B7^uH6T+mut^>sR;DThL+83 z4?HBisbMl5m_%?Lzv2yd8OuNNWRd(SW7la2tUJM|JvPcEPp2OW0HP{OPfL-7mkJ~! zHsu3^J#At3MTT-;2;SKA9qn?5y&68ai;UOxDPjDhePxgW%Mtm!#w`Q0^M_A&)EQVF zRniwk61)Xl8n*Tj3iDp-9~d`qUDx=X-pUq~bl?z*Yi(HjCNJFmZ01^9Vwp!3@Ub zoc?or)uFFSW*YgUyn0SBa|-E>lF`qqSJL4gmTq34Ab_x<6lo&zz>+V0)MHTj2%tOs z!O!*q0<@lRsc-wZ$QQeL^w9#dDFf948r6IMWvI|A=(-kp5sxwlfW$Vqs;yBxr|o4o zA%%rrp(4weVBj22Epu;$E<*@EIB8t62pPh?ehru15cLfo|N1Ur8-T-gmX^9&i>vw1 zBjG2E65eMabRnFvhI9Y@J*3|+(Tm~N&3dpL6!rX#DJcNN=^H?cu()<*PImLNuflDG zBy54$($*MWVo_`2zgPgkJKqCdvg;DLSA?7t1~w#f?${auf_ZSSqo|7@{Gwa)TIAGQ z0OX>yiu#5;_ev^0iCr}|JWr*EIdzyH+^>bG8E~zniIUV`;C}n>O5fZhVTHqKS@FjD}xGGG2kJ)7Z z?BnN_f0ueyo(8D<8+?uqKpe_c!)p|IT|qgM4o!3K|0HbC;)tMKS(C5yRD5ZP&Y7Xr z4^{rK<4Rtvej^D0`P%{?sK&8+aWKhXV7b}C=S~+#^!3L{$spo?hImy6aC==Ay>8-dLq1-=eT@U9z!Jw29*s4{pgujJCsGZ& zC2Vx$0|}}eC6%r2Dyr;!n%pPRtH=WT7IxQq%iJsS-5!8e+gUUl!)3?R{5mk}z+&%d#z!jlUd(E9S zapwmwShj~Ui=cbJ_#X8Q#h)h-?GtY~^5$)sirowXAQogNw~FS*bkLn>Q-4M?Wn>ZO zQk8aL*5qD)wM4fXRuvu3(AW(01wKes&eiNvVBys>$OySH1=nSX!O7aaf+`GQ%07GL z4Zg|iqOzjhXK(GExcgbF6cE~}B|Elbellcl;8R~`F%PhAXpbtU@jw1F$1<(S!xFH= z2vouPSIld!XN;b1JLj0J%F6_fTJC2zVTXWTPc1*VAw;d(cJB%*F2y zGn!*ok5**JNJWIIGMk2D&#)8z#Q7YN=mRis@n)o6;6&EC zrYuz+&)WH%{O&b5bF3H4*D0Y(TxIellO)**paj37Xu{=nvlvr>E*S~#udGyQ@wM^i zm9z}M5LGmtK(bh>|1F{ZT#5aF8E+|h4%yku-;9T^2!fD6K%(~f(aNMfdXRS(#75~t z@L(QePozrmSj9dJK#I_queLUK)L2Da>JDZQbbc_mvoa{q?Ls*0K2iIHaD+H}4TP)InM`*j*52Sjk zzox-+DRH%yWwBCSTx;gMu4+f~vxNBzFQiossp=OS8$X^|Vgq2N^(4(mWiVUJr9LIm zik_Z(w)rISS!#gC)0VE1@1LM(V>nQ!riKkf|8~sc2m9?;$Y040C&@O{4Se{u1@kOO zp(_~&NJ+N8U;T4T577A03SA2uOI3KHIwYnr+k+>punTOZ#NW%_l)EtqyPc4F+fn$r zm!t?F)Z1!r0)Bv&7Z3ha^3;s*kZ;}-z%8UCOR-M=x#pK`KB7VXWtks0=y)hje3rv6 zdMr?Qzn_KdKM?5~9u}H=QLsZ*gQ=_e^A_;}zp9^({h{lh5Dma<7VCx9biErH=k_!P z$Dd`;3F>Ul2{o1(Esb9u`$aEK`jG9z! zXnbw|LChj1nraFby%)+5veLh^i2B?+ip{^VOJ4+Jdl+9W-JJSJNeIB$$UHQ)1&CFh zlWWL4_?AERfwpCm(mx zufxX5rij(PtU*4<{FOl!d(82`WZwIx0DIm6IeU!djCf+aJIFp%?%% zXs{>y){6(kp-9P}SFp2plfi`XVw2WHd5M^pDqXa_<4=o!n0;X$c5-(2u1Wa@NL(v) z8GL*obzII}5dQ6H`%L0CZBcqIQ21ehlpB+Rj_=#6`F>{0Jj zR)|~4F%LE70p_KA(K>;(rcIg>%97-t7t%OF+czlLh;cmk5@2BsD4`=CG41=HkW}uK zfXf3E5889%Im({?ahsYmIJM@Nr^mRsOp8!PQWqBFQohz*e<8Wazn&?h{%KPq^rzG3 zs(UsFohiw4d4};f)RFIKp29eKo$rz0fZ{l-;EIu zhuxuleA`u(wkEwV{Kk~4I^ahFcC{&S452~R&QguYkYi9z71IN&x7& zLZ+L434`IEGizr)U?eVw-eLDVDvTHA=8 zPl)Ty?T4xl4eu?#0@^qkJ~T8WdUWre>I+29TgpfQ^Y0O;6dum5kE=&o2Xp=V`ptgC^aN&of(13zUG185xR6ik|?gu*Nifr7x*PM2+Wxbs|VU12i*>OXi8 zV_-27(>329OiU%$$0~W$G*#s{aqhhI8W|6|BCk$N(|H(v;}8g1v@dQuTW1phH9IeFPf zW<>fFXxl?d{dvOMsOL|=3vFC%7aw5jk-N-q9cEIg-3Tw&`Vlbe7E8rWw_AcrfR1}9 z8aFZ5AP-7kqxSuryqj*pqV!}w|KY|dqf^k#Mk>2`s&AWo%Y9%lnF-2cF13|$RN~*S z;Z%Gf+}vf`_r4bUyo={3Ov^DnrZO6M7OoY(r#L|ZVMSL(=lUhrr~qNlhZ)%pGHeeB zL&0nebme|ccVza}e>_2pArb|0r)9TZq+nvA1W`T)p|o^28fO@*tpU6_{QVGdgfq|L zK1ccR{g9zf9ferW=Kh|v97#^vs!YP9-u?3 zgnku2_@D=#dPgRy{zDiMN)aqOz0V3Q*8I^l>tYstDOv351GQi~w(IzmulXZh#W@X0 zrA_BaT2YBI33m-Ig+dA$*PgdyVq*ND&b+glS$6&=>dlk0{F5HEbbjD$s0GJFy0@E6 zdZ)8Yrn$VawxIV8S3>he6Szx;Ui;)uQPMjn{+YLk0kH32&P5d;{8lC`P2Jz#Va&DsEBc4A4Hp`nmxBmIu7TIybA>o5t#9c^2OU8fgAlLVrt} z=G}rWakW#>d3r>xzN%5BbLc*!KbEW@t6;;2q3vc}3|HW`dkDIVrHHT9m-DKchfe(kzgI{U>5bpO)uc4{_Q(+*m z9DOK40?8K4&XsPR-jaY+54?^QL|4zcy+R_X;;gU8k-lg)x z#lAbv!?q*#ShEMzo`o(Kk~tUQ-rgxD$wL0;nhdWKkpMqlnXpe<25$HCSNGdwBY}Qu zOXLBccPc73!ZJihiD2vckEy zlsJ*&W$;4q{^(cXuecYZP04#0JsWe(hds6d9pE^P`R8)MlUGILld^l$0!b+G;X*S# z%VRl@Boqadg}(Ek?mjf1SYLo@s>GW@&~f+x&1XH>i@{h(uSHVQ?LKD=Xv-V%Y$Nx0 zk1FL}+;Yhuj~Mi+M1r&fIXxKQ?ANs8(zclCjGM-VApcw&jL=iUzWuYa^04#b?J~4e z#1`*4!?CBj(iklF31Qg#I?lD&*yD$aj#&p0T>W^sSxdaAzL{IV&n*&4=_s*o5G`H3 z?g^U*!MZfyj&s5LBC2o&D28z12pWg%IZ$1E>}uoxf46+XMCXb=MU*!*O%tRD&d=~x z@z7RR`guQ>6FdOcT+LG$ARuAY2KM1|r>RtKxE-z|vXCP_b~JEQ0^_ehB!Z-^Dv75xOkkyhi}L_iAlN+IEC zy?Zob6V4Nt_&TUL3w%%AlA?rQ#=0^90_5@pbSyrU|4y&bOuw-kXxs6oaDZTJ;7`v#Q;VGB z;#&7NQg}}l?gur$p%1lp(F)#8Y|* zR)`lFI3&)5u7VY{e(amt00-KfM~(YxzLz2rBGjN1e5!ALhvm|bURI-${GNU(Kvg1q zlf8)nKg%4}Z=DI+ij@s~lJW0A4w6K8zK=tTl6FW|_kd$x&l&X+20f&FTYT#-IASb)yTKjd1_`QT<%(eSoH3-C z!@pbM{22uM9RnG&a4z)$x+izVu(~x6N$>}S7E}>KPpB*W-1hp=>2wck#_k)_?cP`4 z)XK8*B$tqG8(hhDAD{`vgLzHdE_8%dsUVQzU0BNMya3$0t;PYARXRD9trkqneT)r!vHJ*+d@9_^2#!in1Q3ZCq9*b3s*P_-Oy9uVl0CJy|T{^yWae}li@ zoF~?bXZ{9sheRs)2w`r%S8zh!2kLj&a;MLzEA-TrMyEAllWeU*>(7idUx~jx2)ZIY zxgs(;`;*b;fJH&wVXmCUZBh`3@Io5@U=m5IzwZBvo$m^2!3lyUp10$$342_CV! zq3rzaUupZSTk_T!yT5yi6%!aZc2IRCGs6Kax?=>Uc5JPlGyk@e@$^oGw8YV`o)nwF zg=nS=t=?XchrjxR?e@lgz&M#MB2$;Gczk&KPwjxTlPwD)aO=rOX{6O%o*={u_p+pA zaw-R$!^m(!6la1xp#X@^e}2&Ucgx7cLZ_G;UXBPD!pUh-(#*ocyrN*seBzsV<+q(U zjKb}1eaXE^*S6;0F0B5;9-*RUK_5tLYiD~MZ;Y!CF|S8XN_cX3CjkBslAQ$ zr)Vg@(whIdsxSE9!Z^$4P8>7D!Eb7Omn_jf=q!doab3n|TvUcca-5Il%?8r;hr35( zfi5>fK$n}xIA8HY7l4qI?hX`d5RvcGBntjnK_mIEP@Tl{z@2bXwvV=pHX>ZBRbPY3 zp;Lqn1dofJw$Tt6z`6{0d^XK)k_M}AfAVQq_tE&_{jOj`B@;RMpbG(u+nU>op_HQj z-?vq8uWz76?(@7b$knxY_w_l+J@p64K$CiYquynX>J%ffRWRixvC5TUShD~#9ejk_ zj@(K*@KbYHdjsqf4gjc14N{p|=BHx*|GxCr`YHM?u|Y0juxK`wArH58Y7L7AYlV7; zF^^YME7--PMglNt6Jj&TN~X7bC-Ag%s|2fn$@e%;s@gSg^G@Tp_bI3E1FROfqW%># zQ~?MgHgIquZruhv|0ed?BTe-)*}k6hpm4_wtMuZs#y3$kDwzQKtKO-8gL^Tb-K7yQ z1@6)9+F&uYcH(zMhyJVFwckozmqRXs+K+giUcv}s$i+w$GE|86n0Hz;sKKA2k+lVc-mCsgr7J!kg$B;9TnDoUF|OO0GE{uVLw z#Z5Zd+F1`k0jhSdBmO(s?kh){86MFe_K?-qpXt~|kpMVWo`iT}oEtVib~+r)vq-U( z4hL@d`2V|MPbba*82vlYt6&uy;b!ejxD9U+`yeSG=H$sRobbaRn(&=y~{tDd*n06^ZZz@vUmdmN}EIb{FoE-Wk&GO%&-Tul*X1j1jrS=Da z=qfWFi^E-GnH+=#9T+e!kQi+C*gRX7IR}F)4!QsCT{<}CZ)6S>p*9gX~ ze?IU4m|Oq3NU~qgx}haxu4h(HCjdrpMEn1JsmleC(#)17rLln4j~jsJ2TUQG_5YrP zBrP_R3(jDxVe4H#4S9e8S-**0ZJMP8p7$}^|8|tB0QV>G*W5od9H@(>iNG>U5#x@G8hzTYOsZ0=h%onlc@%uRb%+c~Gy5Wr{EnlF^He zwQm~D^My{4KCXH?e1p#Oc}A8!P%TOvT=8@m(0!+FwOyDg0r(BuxS5q5r>`$bd7-b2 zTap*`=ys2;J}bEkouYc&`gFLO&hu$T)^IY)ov^9SqdW2cG4fE4LXsi7lPI&#Da(n1FTh0vr*=rz8eC{;r52to`HdavI;=broCj~{=r znaS*#$*eVNJOS5{o1G7MarqQ++H4+_22(_&s+bl4r^{bdM_7!x-n8LD)G;7)XJu% zn7@I0f7iFo#6|yeMAL!A$z$y=IUku%9Er!#C)RRRBXcBye#-L@CpW6Cfa<4YRp48I zTsdHe_MT4nP2EN6*+x>fv?7A8>s_%X=ZHrMo)5_g7ni9;qcW(KCi`Xnr(Ks@~m zl*j5l!NPUbmw?(MIGx-H*0mctTzO`me2wil%#=Oj0x5*SD z8ZUI@c%p$1*iU|mm?w>sHvpWFUJ|k5b>!u5j=VLO*mBi(?*#YSMCK+v0VEXGNCHUx1@7C~tr69KpC_L=yz(&a&9gVK)^{k@DV2DL zQdStS!;5{$!LS&+w{ZlsFI43G8s2n;B+sSfOY-4ZS9Zy{;tViDQrtBPml_J=ZPP>rnyGu} zJz0x*Gr|W1X8tf4R{`19wQ1<=qfAEuuC16sH#uhLozuut%=PWKf$>}9pxjtpTicBpKLgKe%zH+MskSwDcC!$%;oJN3!sLUv*g}k^Fs@f_*nJ8J7$|~$ z#smoz2vtg5qPtc+=4qsQgeaWp)_$uX(PiNes?Y(^ zkcE>P>(~`~aurZ(!oIw%EwDj^{V#)RB+p>L3rc_XXkV&|#%x8w#4BM+6R^1}`PFKUbX6)SD9! zB^;DWLJZ>$2J8E+pM=lGUfgtN79`3U{0@{_rMklv_a4y4RmVRhjZM0v(*_kbD=F(g zdPjf^v=+p0atPHy&E(PB5Isc`%peObCc_vvDMgkqr7kA@`FAhwb zs7dQa_MU1+sC4qeG1LL^X?}N;BC%H5OB^{=9R!Sn@GTTh_<4I*Py0ma9{myZzT(`E zRk>@8a@oh7>cVdSiv<{wMED?1z(~g~U1|Dz4^FHnIT|0~Gbf?i?n$+>M8A!POXKpg zg3h~%n1nhD8@2OT?GqZL<_wcFn{C8iz;xE0l}`~y(_IGpYuOV66qc|2;aZgDG%mXK z)J=iELr<6|uAjU*fZSr}tT|ZF;NGG>!r~x*t}cQq^0FW-;$v~URL$;kiT_&fXd4D2 z42aL@4WHewdTfr`DiJKBlJ9J;jn7d!9glI{8(Nn)u#7qH5t1r+uIM|P+og>*S zzgvJCRo0F;jCkB1Qp4QmzWpkI7kG&aY)|R+o-3)A4wqZy70P6!Rux2Jj^STYHixY5 zxqufq(PPd_rr7x2f&B(Fo+Y*J3P5hk%mJX%paIIc;fL}T`l|P}tk8^PmHcrqcR#DU zAe$>5Juluhm>))B$PidtmqLmNVFifu_g9Jy;Jo6xP3DaKDbG87k?vA!??q;bszNd( zqv~nhK85+mU@_;0_Vu96o3;Vws&7OoEd@$T;`&#ut~JJ_7*v&ulXp1RRlaIA;XjX8 z9sTypl}wh2;s9`>gMheTGG*d<%K~xmz{jUAh&TIl2PBbG?#z0j`+PqCSDAnno(<=K z37Jv8K&)D_>-D^@BNN=bFdnJ&2>pPGcgjk_V>ws@L8@ zI(~`o%OU|cF%-QFu^2~xTeairSx!p!>1~7JgBXnd^W%YvR5&r0e$_VkBn6{~4jVjX zrWi(W*LjfVl38=N9o&XTM(+EZdV4bA z#ofu86Dk>_EnLLi6ABlnr3!6o>GInUPlHz&adK7hz*RbY(;svErn{T*yg$ZBlN&*( z^of+}9eG-Oks6sTnEN@v)%daivzaYlBNGzCaHVp+&w{EEhS%bL?$Sb%z}{VA!yEZT z=lOyu_NZeb6|RFllN?Vy9+EyJ>f_ANxo=U5Jw^gZ5Bz>$ z*aN)10q!>op2cSu?<2|*E8pybj)-R2m6W-lqQo8h@V|V;CBnb9 z$AZ$G#^XF|rx~#yg;@U_O5sBtJDGPn`&w{6Al{Zk$!1f3IG^NXcjz0VT2CWFTMrf% z7$L(o()eR$x@_&Nie$lLo;WXR+=jk+u*8XEXh7Pi=IjX&zzWBzMTYk)*A-(rgJ04q zCS#J!5h%gUffo}m6LtJl+Pr`jF~6yu^VWOj{E45_=!$AK}(0c zh}h(vr4=wO6PQY~E1a6X<;GDdMil<#V^8U-BBGfO8dJ0efm8`pELDeoT@mFGWrK*< zO&lC1D_oXM883b#F}Q$f2hkVt05``h4?P+nDd-fEKoKFu8#-fCJEqZ+s8Dd10(~gf zGbv7dvfzptd6_Cjr6NuoH=+vG1Gk&_awPACV+Q}j^g@qajb+mO+t3K*og(zB+HMBF ztVbshFI!_hhYv5z3x z(M_bzQ4Vly`MLV=tH}@ln?X*|wzmz>iuxqRgBf zmN;uyY490o4m*=*7(9)bg-6X9-#tBt2T=q@NKgFgLj`_TQ(k)#$}ZPdGbpx}KAS2n z;4O-eh)}7yH$(|Y)Bm+XN7pj12j`VVVMM8I;ecTo4nZ*$NRQ+2GM!9;p29@ zg~j`fNU!;DL{ywOxYG6h5f_rxkQANQZdRNR+ftea(fdHb;Pt+I0BC81ppw zFygDjzALuzl-+JmpAbOqtt;x(J;#B`cK*V0D=M~;Xukntf-*MrtzA_=yN_LXyVltq zh3gCZ3WN%ah^9wumrJkgY$}c}pYir&#HGAZv>90CjkiiqQEc651mcR??H7Yd?b$ni zp2mw4Qq=J+v>6p$pEvpYYf27tq?%#O9l~-OBDO|9##K~_&p+%OmEvyl#)k?A%nZ$j ziJt=M{1wXZ@x7T6;&%2CWIqD^TxBQQUCefv6;5^HQ2WM)j|1B z(qR#2*q&0v?pnx7*y!)Ze4ivvEXVZivjIlRhX(6F$x&}&Vfr^9K5`2H-&y?~{h;Ga zw|s$ctNFpF>~LApHNT&!KysNPENPVv_R~{zOb?rj*vYtTetvcH(22q!6o>>`O&$_R zxMtCm4n59L-7u4y3+w&9#va^HYAQvzo_!BqE42>eaw^QD0v z!3GBrj($p%By+Mo$@*0?UFgYWTIw%yXn@iqX#skoSa$#_>k*- zW7qcnE80BQk94s~9uqJh13bt!| zwX`YdJ#$DCUluHtqv$`m9+0HkPSg=XcCAb|E#*?Kxc~B$;S}UDF#G1+7I%);DfALXBr{MoN&{lnJD8#G~^trtx)O5#L?Ps4x81rbT- zbyOv1&5&d`_mH`Z56n`O$Y(&XNSK9l`^O&S@exG~rjj|zw9UC!i>XV|I>HuW4ab8+ zat=fF805oL`UKS3D@i)Q;YG(oLs7wQT*xL=V0mgypTeIBfhHL^>@nI`zK$qHe&j(z zh;T(naS0h-N?Xz@Ta*O8nOQN3;7lvWcK^bqmtN2Vf+7Y$Bq_(vztErbkyEQ{%|SR0 zmCa)XGcW%5^i=EWrVBlOPy#l03LR~(OM~SWczTx zVJ^sZ8~C!P?~f0P=a`cEqz2cCDb3f8%wU#7KPWB6MIQKR&v0A{`*_tK481lA*D?u8 zk~THM>>uxhzT}QnML?kg0;A8%2-2&U>DbM#hSC9ZXh$UsNmGSa(%4UP@*!n_kBum}W$q_LqF~-3d}sj@Pcl7`z5^As zlC9|@Z!-oTc{p|gTPx8QjAeAVU>iMtR-E{PzrnQ=XbF$yXvi-C+o|JG4J>9}3gLiy zc9d&hkYD{R`w5l9UDpw@ho;|_ji{Iz(Y22mszM!Q+<^Uyqnq{Uwnh7eoEzbNaK!7% zBS!{dKxV7;Y^RTRT!kHyeA4)KEPTiH%7az7s3Pjn$fYB%IB}yQjH&59il+ijow50) z9Jg?Fp<$8*sdFo#9;32acteMdM>8rx@zFZyqqA=b( z@z*s2&N(^^bM5`m>yxK1ue(rDdR$-E-MvW5fxBulOtKz%cuZ4c22G?ytBM~|Gn~im zF}Da)kL3V(P@?B)IHvtC4&kIRjtdw4#9!^s-oKLimVg;&55! zaOHh4m7wa&Ws0Aae}~42e4qHgSA#~ea#iuDw!PSEW-{;9x}LDq^E=p_m$tWrW68SeQg~cx>C4lM0F?neH(Q> zAez_JglQ|;n1~)pud{;9==(mFkt3A>G1ZIzl%JyI5r=kuT8mESDX&9Q(J_on7d9}Z z$t?|9y8NK%OV1M3s26Noha%Ws4-A8@LmXuql&*Q24_f(S^9JNP`s9ywzW>4Uz@AOw zFA0~^ogHTFm@8h_1U0ruIsv+ygs7Tw3X^05<9#_xJaWiZ;*X{oFVAhOVAb0>HtVnoioG_X$?yi3>L`mI?!E#n*XmUKRD55E*~?yi*7NoL zwbxS+P=#hfze3^ig2COd`!}95x?^I?pO}euqLryoKsAwR_}B z1aOHyR|R#93q@o6*SR%v4tH<6^-haH>qT$bmM}mX$W{B@t=~y|IdLi8H06hixiJ3y z=RuIo4|fhwNWC*(XPLXqM$XLO@d#tiz3X+{#9*nc;vu7QoX@5la)RoG5g`Y<2+OB@364uuPIDY8eI&C1byXQF`KZ2uhjK* ztf)=-`c#^@e4n2e=p6#q`1h{;37fqmtP6%1C(j#DzMnbQ{{a98yS_Af278>kXJh+= z&p|e5Bhz?|S9D@VAS20y;mU-yL7T0=)G_FpgGXY2Ur!eGJwKOD3|XoaGi9hbb9Sb| z7S{sVr_<+Ty6;de+6-9MxYrGRYj8qWV) zHgMh2z!w@3zMt1(D4_XX-uWV)6Dv*qOet_0%?pMX zGnd+|eliMS0567`(NXAR0Lfp1FBrw?4#^9Ii>-+Q`NZ;W`4LLyN;j!EmxTOGmx{Tc z2j3eChC~|kS%3Jiie`NohY!j7ov#mF3r&q5>x(W%k_{J+_pgAADDEoU4;(rf5JI<` zREMhI14gtl7w;q}PTxPGR!T{_ex;T2tl5qG*~&r{w$wVj#F@_6)q|xvTy@09xL{9J zUSsX5m=@uLpH)zMZLHYL4!Y=o&?E0PauZ{bmP?sY+jq761cb{Tr0H3J+SV2VRKASu zX*n5%#k@=!exaIBVYfbfv=o0BS=qOFVaMNE%cF&u8I=C=xc4@Y!w;+#{Zm3p#JTc67BO zhnr_Gl$ZD-vZeZW3tH2YY9FvJ(*}eO8cgifWm`-%2&_F0r%Q8o%{YBI6jp-G z-VyxF$m+)aUL!|QBl1m+wm1&?x=6p}+XK&3W@7MdVy8vsqP@wg*1&G5#y3MJZ{qv2 z5jA+ztipYAHW$?tN8`KDhj<2q${!pBt0Wr({h*@!Br}caAj1I9X*%RK$=K#k?<6Ho#(;%Ktl{Sp-`s=q18nooXTBw~!S($Z6 zT3m*NT_7OxktxBgTFL~}jFX^ZjxH+2<-tRR)9W&xw>Zx>N}daA?5y#=t*ta@S*9~d zKQvUn^msO(e=&XW=g*tPwT619=MHONadnqVrO6HrLgyJ*`Xmh?7*!LQ`zR5gFz{$q zQG8Y1O!9DdJxcWZla!)-Sx@{I>E%EnFL%~%zZcqeDqp|B^GcKyH9ns~usLa37MfLYY3rD?&oZj^b<1cD)_*}+OMJ=jTH^=8+>h%DR zT4q&7YRy&3NzyX#*K4J{CnUVx-@soz<$a^U1bRtY_JW8(G^MgNe(|$LtW<{}k|;B! z@2j)mTUpUkoVP0242Y$bh}Q_{nAive+0>xjI=fkcX+^Gs{8x)}HYs6El?=UBaTr)Ar#|F$9ff*I#0_%hI2sXcHYp z7~IPka75lUfz<`pRr%3A%KVVTkIv8fjejRpH4Ho)>ihIHSl@H#AwG_QLLt4#pQR{s z^1)MI^>GiDzs|hl41V5L9@j0_D03HWKK6Hdn@ML>aJSz+BlKX>%(Y^%kg7W&FS8Y= z79HuyR#z~kmE1l!MxkQ#ITW<;#8wJnQCCfAICMDmvO=a7RAn*QT%5IucQx$646|@e z(M!V3qf>Z!J9NzyPlQYGGKgJrKxx%#lO!Lu_rW~*u7&OIyrzEFz5MU@gT2?iQu2Bz zt93gX$WcHfGk_oyE|LB1N(4p%1Gg-+;9h)-9#t~0b|>vrNMq@LMlIiR}2=s9Ml>W{|w8MdY`Ed6Z5a!g4oD=B-SCa0R zyrRuKqh5}65cD>OB02Ea#(G-XZKu=D=VHuuq;4{TRLlTVf?<0e7hft2&HZ@5=NH@a zAUbnDcABQ%eZui<5n-F?yT_)FTh-S00@ ze=TL+aIFpxdvX)kBRbY3SuyXW{D8FPz7|~28M6azNLK0Ti%v5DZtL7mxzx(Z&k|!% ztcdwX$6@g~JS4N4jP?PkO|C#!KCP}=583Atg3X&AjU1ma_u;Nd%TboYk*txNAVoA# z&D@HRv{}VbUBgT(YtT|jj*G$#Mu;a_Zw4`R%&Gpq&h{>+Fr4b3*L^x_N}tpplBAZx z=^D|P&2V1!j(S6cNCnY%{Ia5ZO5-ImYMAKnFt&#S9E65QAB*xOg-?1QS?3z`8&B zAQshNAzBp`gC}p#yXgJp<_J!XqV0SFYZW2-;H-=;brR5f4L6a=JM)54CH-7OtQug7 z^7gY2(!#oNHisAT7JrUlE@0YXTB6R@5kyZhuL{96a6r^$c}i)puoOqTF1Z$3pW-Nt(*s8i1ft#x61WD zF4_wsMPIzJyaCbRZeo$Yc0@fow5QH%HL;wnf&KMc#vu1c&wYIrL1YE0vBB-`I@*8=4su}V_d3xD}K?4W<)@47&L z`dPt-my%xYZFV)TW4$HqnwEubiKh6gw&{{2VK3@Ywdmu>Do}?rwpBMUW8|6<^ZLa- zuV(>Sc4P8rNB+WOwpmiW^fu$xlg!q`NqJ|{7{f55pxbwtAe;4*e1OR)MK$W-IT4}k z%8Wb|OW{9%Z=Ic}b4LizsNzRTJY;R9gh*8zR`PR=pW*6K8-lhg`KtbOM>#E`pW0en2)ZF9SinhE}bUS!RjCCT=2n5enA??o<5ei;$Mw>u7RcBPZB%PptOjUJ47Q+ZJBK zd9tvxLWUzdcQweFw9O063a~Rp{hHwWpTen;2c{SK2X_!1&Q5W65S*#L5?&!KBuOb@ zVW>6Pz@U3BRpSGLPCpQjJN22g4G&T~Sjyx{OXIQ=Z)h7LM;OGPBGB;!*2iU~Xv{)m z$xU3UNZ}>6q3QYhSEdVQWgK<{DVe~!1B{I_tmW-}3)k*FFvnfE>KvH8*#VON=Uj?1 zvt<*`a4Ba0iDy(}rgn5=*1@Dt-GG9eQB#MLB<dw4&Av(==i`H?lV-DG;tvDZ3 zx5G;5ka!nbgchsa<@Qv$IwJs7?N&{zEyh^!vO|gHwrpETZu0>|jqbsF0kn0pu>}!J zJhS3RCIrohqAC6%T7{R`fYI%I6p>IroG4P0VZ-@M*@fw<5_b#HwK)C_LM`?Tfqb;! zjnIOdf1KM!f73SC!hb<;@b&sck6)1x7KK`a{fiHL8tJz55YsD)+B|XSS~@|`!+MIZ z8?$Z)7ApxOl!62*fYFfSHiQvEr=|I_cnM)Oo1|Hk^-W;!wf05mYb3Ap#92?vvi>lE zxTODAE6A$~qi4?@;MAiq9uCXWN!z@lDhl-gs@(c_ zY>{3S>n8fX$7le6q10L?q>*oxCaY%G>k&$!6>ud0M?$cU(cFAw4sA(mzY>_60`*MF z54G6Sa=E0mxpKivgaZoGfg$za{jB{$N$f|;EJyd;2P_)XKP1;OGsTeGUt`62nJnBS zG~==|xd2b-BS8+|oSk}*GE$;`CT0+BUf3V&zpkYrHO)!@xmtxS5Q8n0ROYoD*wbcj z5e(fP?$)s}^_;)woH5mW1V(88={?;0Pg9v=Mq1(L$*kIwfG`H5 zLGAJVKC%PyT+zVF*^uZ?P1s+U*@&h{z2CXkIntskJj$9`+OkQ~6rR@jlG5g!XYLAd z-&`MF@e1-3LZN7QNK|JrtAqV#7~9e7JZ-c}*ILn|@-_#i@oHygQmg{dMHYnWmH0m8 zIyNuJmU$Ze;%&Ufd<m)t`$2O5;Qg*gQBdv7I%eRKn`aiRlR$zq1`XUJW$Js`q~vogzjAs$&x{ z$+|)_Kyu6R+dVe>JI|qu`y!(5%e1W$lY{dmK7ICxaZq06#F+--a@=vMQdhuy4YPq8 zmszGN7QKs%mqb$W_N$XljK*GeKgqeESpY4Z@O3X!&DZUQ?u^RBBY8N_qDDA>`da15 z)b0lDx+;)GwJu3PD+i0%FOzm&8uF6|Yj$a%Rjjr`!v0FQjY2il%+Kq=W5LU+DNvo+ zvnQ&x%Xbk0Ne0CXO}x;H;m9D}?+W(@KOWJz-gV*r;5eoR*}jFig^;yAo($YYYkrdv zAwSZEu}wd38-$F`@^E)x-y65$?rR(Jdha|jPeqlLVz^amGjU*A)#GzzCUnsXF`Z&X;#wrFq0fpYs^UVeH`kVu=iOMjwVzG2`EG1y!2Wg!8jIN zQkyBimt*3`BxWf`-EwDPsR+8j?xa_nsqAsV+6qF@)wn+wynwGEk5~)Xn3UCV6M+_K zXFc$1&I+2}CiPUsN~5KN&e1o!HzK9X_LvdmVX&-^nE~*(KK3dRwb7WQN#(%I6ICrj z6>$go3p92mXtn`CS_@6UIB-Mr9BUIX*Y)|o-}@sj#=Yo|Pu~oPpkiG=xk2BxZ*a>sh4-w#)h4X9#%O@7{#F05Ru8;$jdg# zT+?M4$?ii(F7$p8lUl zx9-*TKfgd|TfKnuPuV*f8^hisvY5S`Xx_9vYL32y!x%(mCd&tqn2_Z+PdvWuU@^9u z7O~QV)m#q9JYSr3Yf}ysPRu?iJkRtxmN}13G2dhPFw&0&n1H3>mF=a5PS!8#gGorR zY5m4Z-iz#RgO>Iu%M#-t;7YZ5mx%M9N-RVu)utm)HhRxnH5e1uQbLZOyifZagDHfw zFN{&~xWlqay-dFhhsU9WwHbW$HV70EIgiFV$lFYN%Odj+r&V11|0BkK8FZI|CA-H! zBTpme!=xK#W-E2WvlNMaue1NWPp6nRX@_oQ&2za34Cj6gFZe4gDKsLTJ1&~#Z#hKT zz!EP0OUWi6%}^vF>m!N$WS8LYq^k6gv=*MWFTjs#A872gkgg`)XwX z{N)5E?<|is6Xf`6Aa_T8^SQ>*W31#su|k!f@Mb4Rf?@DLP)Xbiu@4I5^E)La>#f*K zOhTf8z8gs75sSvK-A%#Qlc~66h_@Z9d;hp%q%`|cARhj<0+Dx~>oY5j-y~`;jG#)+ z&MgsHIwqxaFU#~hm7#U;Qe%cEm6mP6Kd<{SfmeoK(ip!rAgY zKBB@gXn_we-?Ai6;9lfdxP@NfrywyE$qjn)R}S^NC1$IHIx5vHuNkvShpA~F8oZqC zNXHbg_Bl@E)T*dEaDEr(snBLoo~sTQToaj1^wq1QA*xh*`T8PE4BMPfoPoN^EgCQt zE`0oHL@}b2F4zr9yn|n>xHj|1JgPRA*oq0BQ&aufLZkBJv;Vjyh9NyRX(L>guW&+S zN3W;&UUSOSWEsD95Fd1v{$^4w1@ei{AZ^wM^)(J4+#wSCCF^#!EEo`*OSC>Hn0w43 zZI#Klw}$?v0rQ?ydVuf2)Ml3*N+-{(Jw26Lqf|wt8!CTYn?pI*rbX2W#J=d)Tm2Ix z)$)V2hNoYby7KYewmHc!Kv?Gn!Y5HBstVRMeQrd68&LK8E{viw@SOW&$le)D>zpUK zr-ND`aIX}9v?RrU?_5GX@=@wx?wiUA-J{k{Wb@gpKyh|+RBG>-ji-0 zo@wFFG4b!Kq!H=0wkH@HT7@{dHYzpGuLUE{oTF9XEFmVy1l0GztWqUM zHslRW&sj>hVeJ?lM7lv+JR_!KSswFXh#M2u{u)kLVUN%eK48~kd1Bgh@GS@OIjpxL zZ?tF@(F^{qbGMC$iL61SoXwW1yP1)EbqUt!IepxIBAcyXsmwKWpfz z<1l-FA7utA5WpuDs;;@YIzFUY%cHD)Pu|m4u1>ztbxZGe*R4kmVjOrdWt<%xOD&|u z7tWjA|0J;L7NqzQwLyJC53{!&BB%O14XOa;bBry@Ly(+zG+oE*B!4b2;jBj}wTyZD z*(wMo80IW1Gwky_FW;m*-$lt#%56R}@3tF?apy)Lld}qSv*1BhmqlL{vgPAOKIdHz zdq+7oz@ZUlmA{^sTmub}YX~*`6veMm1hx_T6fUPXdMr~XkEvYO{D=7QH~m6VIR~Rr z%AarBak0SFd4mzM1V`El#Zk16|8A6m3u3$XYp&@f8RRsGLI)`83lk_K9KcicAM4a0 z{7GYpb?s7-Bgl)7D7o4kS|Nx;?g;V12pj724V}sx3J(?%aen`Z_him!GCMpT7#(&I>Lre}&pA4@>U%vdL{6%RqsO|B_yzCd zb0}Q5>P4VHIUvR@b^HmJMrlJ(EB*V2S@(yqVv`m|4ISgmlr;?bRB#2BiMM-`=1IOA zc~t|?3I|3fo3CdljcqC=u9~sEG>qJZuO%quxc7EwQ66T|qQ&km$23>3vufkTaGRx8 z9}YjD;TBtL>?ZEo`Ihqr!O^<%#@F}mjzaL^kBX5rg8u7A=k;;tIr*;X0< zd_6X?-G&b=PIgINIcShABR%0HS*~FYU#371K;z_x8eKlhiuS@|;(9?oA*rjWO~Esi zY~zRh|B`s6%3Os3tqVUqd=@H8J`I`%yHhZK*PI;47z%7%dG9kYxjP?bCEHC|<>o#R z+dLcJ&Ir*XR^y#OW4saK7Ec>_ zA6Er5{N`6sG=HR3&1*#fJ^jzmNe%{rsl81`kohipL0F$>=M|lH^s53t&K{G)ew+9# zm0lB4F%$;u%T~HnF7-J#3{hlPc5;)^wk;;a;NLy#I9n}Stsq#}SH-d(AhG3X%di!U zaM+nAv{7ztw8RZ#O!|C}JX!q!qUb$|i746*N)ETBMk+uGQ-?*=`hR!+*f>uG{h8$H zb^~PFt1T4!nAV2h!DE6!t|m?>4;;8Z`pqnnPcJvq|BNWJ3XtZWJ%3X5;|8RgtQ&6r zSM8l{7o34n6`Sg{K#D--Mw&*!-t7M!UX)Qi$pRnSxyL{{t0QA>=xf++x3ahsbBsQs_M818odB|)1dTA{HO(M zy=sY8{&xc1uJ$UdRDBF2ebpWHX0LtrYG6vYn#Y#T|8-%WqAmHv8BgZeuQvwRC$6ud(B+i z7*K3}qAc%J4m^>Y^5z*QK0cBLsf7D!N4uqnaFu@H0~3Mf9N;jBWa>>bryRcwSx*kk z@ZF22FO+~S^6vkrg;6>kB(Xn6s%UyL`hhtP4u}akKe=JH+Y9oo-kWbfc)qg!krT|U z8Wu9h>G=-j{Ngdtoc8}~-ai;QpM>T-d_!TznSQ9Xgf^xMOKCgTfV~$(>MdYJW!l)c z-coM1F)R!yZrbns{?R7(j#ajD=W1bIgB%~ghFtvr*pR$XfF;=meQpmc;j}K`UR*$# zPUvy|!UEiS&_Xi0h>U>V5w2ZDX#%XQ>Bu$0VBTQ!T4isEzMwk+1>v6X9oETI4wk`j z<5J!4Bm;!ZXX?;x?7!^cNv@sx^^SR7(znJtrbRmLRf5RZsK8H=!3m(sj^mYVEq4I9 z`S`tDlDyB#z0eci2r?CB2+fqV7%<5E{|-`Wt^C?#I44;cx!cUj0jq+h5Yz*`cXy!= zxW0*)c@rHBa#3OOVt^P(G~<71seKA-VE|d&+jdZsGBn~oLW}2| z56a=T+Xzq`Q7`^W@}$i2|IK&jdl<-#t`!`3&Gb{8d!BjyLzohENO7Fq-(Rb)w|W1b z4&@drCW4&9L;AjRgAqiLu%lhb!dIEvVCAhPncCq`E^5gy+1XzM8W(^4OU83_91|Th z5zHF_nwY{wt{jj%q8WdiP<^YLSZ~9%K=VI_(4K1m2WFE{dRb^kKaeNg^+t>_Ag0Nw ze#a!lqnuhKay8*6jMX6;L;VnMkA`n{j_R?PiioHeUu|Mg#eY9WoN%;Vss&rY&YCTj z0IDSR8A0`FkL;g60?k}d$465v6FFlEkFsbiIUuA7x}i^gCGB&2&iqu*9UXH3()WE= z@WM~a$?*sft3BBPFYo773F^O@xl<0*p@gruB0%i+Wb~K-GJlSRe;DF^J)uDFDYa)0 z!fgux@DbZqnMXoFf041E4VluOQI?Xx#m;XZHP}*?a;Xfp zCjNl~1WoS$E;Y6ih0=;REwj8Z>`t%Rz5vd0cvP+5&p|u_Zx1)?LZ z|9|UpAL7lq)gqKWekDxo#~Kqj12c-aR{nH3Em=X14H);mOSH_tmeoU%!}Q7WR7*r2 z{F6Uzf?pD5oXmtgxoqYIlZw!fJ~z0}e|J-}5Om{8n9)+&b#OK;*0h!T|1-@^!aE98IQYVyIB!$L00_#v4ie9FS0&hBM7m`9YG2wUK@-DhdYWrN82 zIhz7acng}9BQBswhHAQMifZa=X+Ye8)5{8`G-a!}6bX315x3z48Wm6ok90>@?fVTQWkxYn?RNOY`gUc9z_!AUwr9(6KNd+#9L2R!!nrC zZMRz|q-2$}HeY@w`4}C@&r_EJ|FbQ~I2b!v+cNm^A)d!J7(eb#VGAXm?lXAt-&2Nu zVt?~DWgpOHY83!7(EYdA`iUTvT1Z=JYj zwa|qMY+5IL-)|7yy1n3zYh-B>X(YmfIro7IZNNC?)K6FWHy1+FE0%7IpN*-~HNx*8&!&{WQyzhxlRv z3)!|!RWYWB2dO;RKVH;8%u}_Gx>T#-*J>{2G^rU(un+LQcteBq2E5bQ<|o`+TuZ64 zxb?#2)`p-TJXE8bpcfvLc6$g&NC8-Dvtj&B}m zMp*zeC!+-GQbr%}&M2Zk4MX{&U_nWt%90I&O|6kW;RAFHF>&qs{H z$Tu0|ut0SPFc82Kfes*xRPp1=;gwq%eA6uHu4Qvh&a8-*q?KJkI%BgmhQtXy{5HU^ z@1Ps_dlrDz$70wcg#m%$k{X4&g!Rt@&2)iIFr{(QKSvmC=6hPSG3esqIhi_;`;kVh znbhv8;m3M43w9IhX>^l~R@VfPP_O&QyA_$6Uv+W)Xc-|3eLR0eo`EXv2@8`O7vgr0`JpopWo16PQ ztrQEfO#5;zX<)+gZh#=%NyeJ)EICEp?izl`w8h@eG=K4;E>akfgKL=F&Y;uhj+`fR zwcm`APPanz*lke*2M#N7)1+`4mx-REZM`NJ`<3QG9KG_jqdL&qGF@8SBg56nbs-tU zKeN`un0c8v+IuRCv~Cq$3m^yDs)iDVo<^|px*J0;2R1M-MODQIcqwu(;U}SzXle2G zTY=)$M#co+g*S0~_fy~s)N-W@0AASvlb5W8JrpKmO>Xx%o_FB9+kb4c-tYwwHJJQx z3v#GE732E~kP#cQ;y^z=*WHP!@B0m~Wfyhuq0*^$t_X3aJ*Jof%^vkA!M!~C^Lx!wJ$ zE5?=jp45VWhI}r|DBR2O4=(K@I+#Y<=q74)XX_9&#>dSB*`xd60w$Z~9+x7g%O)+> zxIUKMMb*d(myu9K!NA1JmO3V)+jQ04av*o%4rz2gId7&v-}kSgR&=<&1%owIx<}UKjxOnnmRED| zwrwP8mEDI1DzOf(Be$w$1tXHHT6`KV#g2iJUx2uGx(#?&BMA39{pm$sZ`DSdBiM#K zZR21N^*;}1gXvP2(BB*{&pB;fU}tqxaS(vS;rpeK1|B;>HXn}yWLJI&xwo=F@~Fbn zTWW7syS9CC>}F-p@nn<}fwpt}zpBnW5UQ?!;4{Y3lkJ(Zm3{1liXuYG3^Rnto|uwl z7+bP$LywxsHbl0R##XlMyXlE!&j=xAQr5ClcE96&Ti)ONeebz<&N=sczU$|E>W~wXygnMK?oI7--Hv_5i<*3 z*%-2jw*C-Dt|G7XrU_DjA71>PZx3kYiW3T;KYX4IjV$%qtnK0Gfp0>me2A##9rBsI z1TQDKedM_&&eR<7(?cG^KgozD)Oocy zB9TUaKPw%RITtd2RuOUZugBlZJ^6xT3)0~5w1K=bE}Tt4=j)ZTB_V|rm!jx3bR8;5 zy1L#BdDi;beB?RJu$}AhrO(=%-4)&^W-Mxie6^9IK?0=5S-uwl?Py%ddp0P%vGt;$ zAe`oQyWUbAMJv087*9Pp2bdm1i{dy28J%%1s?on4C;z!+$RVPbFu)-szH@b3xI!of z(9u3QN^5xg2Z%wL2}E$B8`Fv59kzIJN?e7K7^`2wRipG!-KJ#x(>;RqQq=0`(B&RL zC7^Dxt#(Pcntr}N5j>MNy+PK7u|eP`u256BwAQS9TBilE5Y^I41X2Fihe;s^1g;ou zyJ0>f##kKkI zs8|^EKju+E5%JMQwejUyx7Ze70IBlp!gtGb$M#~wOZ{P=ryvl14Gi+UNebLkugz!o zabRXBN!6WyQ(@KC%HgRnwO5?nl2Ttake8%YdK11Fb#lj{+bxTO%vku)p<=OocBAIU zv#`QcdOAQiVXQW|iIwbSfDxdQvd6k>03f=Yp}SiTM80 z=TLCxt}ZC&keoeBGn{*nRDLshE9#cycH#Yy`$V0Yz@#7iQS%SW560P+%LF*r7;Q*B z{5o{EQOjK^((TwMt(qS%DnC3Px_nZuU20TDcVHmK-;*)e*Td9#s(xKHciwoAsv=;rq;Dp&b^c=oM2iUHz|d%B0{VwCN? z`~1~eMa_|Bg$KI*lPw@SbYx{5`!KVo6}sT!CA=0R^vin*y^$x7to-OpLRz=$%Z98? zkj=Ug@^sxPQJY&(#Z*tq=g5O^=Y$;wLSB2@2o$Kn-wDccp8ttyWB1?H37VS7JSfz6 zBM`L~^%$!VaI|J%Nn$OrurBWjo;glyAfLNz_(M{Pceh6dFUyN;CI0Q@R<;T?MV>B0 zl+F?EuBgvfr>pustDaw}JDi#GV-RPC#1B1f{OL5n6P7$N8OgTqQ^j$3*15u@z&%+R zoU=_Y!^m?c`)Jv#Rnl)u%vg8QhTg?z@=EC*9lQ|uVrongq2ZcouB=!@z0kC=Q4L4c zNTu$Ke#}41Y&bC%sG#y++m!!}z|HCUK(7TIXt7IZXgPrY=J6gm0c68^G;{{7xe8e46`3W95j;N+7$)UH1uC%3m_ zb)KpwIQt9H%FM@dL~UUpymT%N@1l;qUGyy}i(l-9riWvZA3r8LK|;?eX*mj4MfE+g zkYT@dx=b|RX>7Q$t#XX*i|;+tG+tgvXb-o$yo^@yfCLWUc}v$2H-r{-i~L$7H!}}h zlDS%p8RSW9cy=-P=Y}7Gd=|MlrLQPG($rSTfiKx{9+ZTspXyx*oUS99UqRM0Y@ac& ze@U)V?rln8m!C`L<#gJ=D2c_#HH+3j$WF~;S+tnnd81$cQYvFBBSbJb)_>Da>AcH- zXAP_%n6?sPHD|TFd3_3bw4+=M2cz%QjMq@yT};%go_w1o?Zhx>n&%iq2y-W9JgUI$ zo2q9SwO2u%}_ zzKP|wVml5ojHi!zhGx@XRa5Pi3Q zzZ}-vYa&*sHP#)eOjv!Tz1bC%D(Qv3x!gJ}|CfMS)~*U+u<~7~QlmC)l#P~LZYme8 zd-S1To8!-K;0|zGje5d8%!}}@bj~#fc2W{!Hw^4`4VLte=V-R_(&~ED?loCmHORUd zESRhPkg+gFeQMq6Ul?BWQQI61iIM$YWd3EJPnJPH8E>f9!xNS}2JhhQb zW3g?I%*=I<%V`RZY^*!}2HHfr9Yqd)&O{WCPArcnb7E@Q{0^zITf7LphyS@mbCYF@ zb>bk;SdB|HYK(TTjgmsak%UC#>o1AV-Ol??-phv@-7fMwm5C56d})aqLW9CdCDJ@p zsO?P!^Kl9DJ!bj^YP^0ns`&`Xj4>wL*8>|-@XZ1nL)Hn)Eqf`ivpIapEyqxae;qOI zhPfBVv#n!por+9#H|Uydkpk+m)wzm~Ou0JEmJ+pE;kUo^PIB9e0k?XvF7*<%UNsyD ztjrgoN*j z?s=gtWC}gZUCr}B)z{K{vq8|0^Rld{%PYQ^HwP4m5RTP*p%Qnw8R~WG7p?ZY7)M($onJgsS8jrNO<|Lnkis_No;BLwHzbKE^G(GW3SPXR3qW+G|29~Rq~SP9Pp%j+akBa%Af4X zZBEMOP4LjW>|t!&JDM=Oerf`bvT;PY*L7#WuDz65vzrTbmza=nYTg05es6!eGDt*5 z3NYYVxAWT^Y{Ykjg4Ba!V}89I^pXtk0-Yo=ToAOm6Gp7Ayvg4I4V;QBjv{X9RhG#t z=2$PCu^fvq7BA%d2CZlRK)5Zg-Q$)pL>6E)hc?9$XY5CcdlzacA!I4f!Rt$d-|exI z9;ZBfkRQ#B9AQ}JqWqP8mA17+KnC|Uh8*$yA-Yv+O(3`YZ$AMbWs|vX)+itzOZT=m zu4>+zZ6sE|Oj$~02lymO!Ha#LpAxHU!5hUbKQpNnMI61hI*)U-quvP4_5!I>?oZ<@ zb0BpIJeexuU91{9GF_5_*Kcz#24VxsXOdIN6_}OrI`qm7!^i0xWdEh3U>BBUbq7#5 zYH}2aMC0=&m}g~;zEWNH5-heaQ|!oR4>Um)x^G#oz8{GgJH!4shNyRRdf^;(zD8&d zKjHg;%pP_Py|R%rv@YkH-3b$t?3(a}4nnJxR|5Nf$sTv$gS-op-w0D;S@F5fBmGmV z*qg}CIg?D&H=@+6nQfw9ewy8hvM@1L-NxhAlPEyDJ0IiU#puk;0ED4LSPi`Q?fe;V z8o7vJgqbv{ocarJ_}<(-9~MCj4dU~{vqO)fH1t)5?nbW!$@Q?;;L@+=-EGGysOEHq z)uH!p|M+w~M$fNLsg#9*?3}p^nb*>I#csgw1Sxcei`_YS4)`EWBMaE@W1Mr7UKn;q zm)_<<3+fIu30@OIuDq#a=a(ngDvtBV!mtR?M^V@>ay3PmNHnii1vL$# z9lxQaE@}AdTbHmmQA@8WIvonmdc$#zh8tQ31k4KMF@Z4QHtvNZa7Bz2&pN~6b!;!PMpbHC|Qb^*Hh!vGHN; z))D4ps><8rrc~fl&oM(`SQu=f19H8zQu65G1=z0aOdN6D@s9Uk?!sVol01L?LaDYJ zh!ZR}6kI#?;kyO4^_zD(ITqC{e6+yD!Qqsu)Gy|6#fVCn%Po7`gmUlurwwv^2~he9 ze5p$EP1#8gi3%9oLo=3Lk^IgJ0eXmW8<9}!z5~X$rUQI(tO=s-dUPI4UFAD%sfMuf zE6;i%7ss3_+$7DBMp3ZFwqtF-*ubvb@F?+M$T~~Z3flt)g}BvC;-f1s8p#@Au~U(X zOa?Bu&{GgOv-&39>Vtl47OCY<4Xh1=m?Vh8!*Y9MC%%+c>hMm*qJ#;@qHU?jPzBo) zpAh$p=PI{g`jF0Lkr%Xn8%M7qRmKqOX3KY+27Kb}r?-yGcWo9=wK31sN_!|3)I7(6~%?poq47lE$$>1e`@HT#aMBJ zGv6>@i&4N@(*0bw*-&Vv*u>p+@AFMAFy41tPMO)5Gon7Y{nzA9bhXIZ?W3T`Js_c! z$E?l>Fcdk%Mr9*gp}BggR$pBN;Zjg3Q=G2~J+@|?Q@h!gf9pVY{iTBxYsj_?V$!tk zgx!!vG)0)t`_ySH+j9{&lFU}FOfPcB5J!*To(h9crm{F4jc(jCLiB0bh9tSXb z7@6E=KB?f!TK_Wsl~1o8MTTMpU)m*B7ntq)IDnjfjnVNpO-1UKxH>rKFB|;C4wrqJ z;=^R(p6(`#jsMHMu){o)mzp8l4tVX8;dcIwq|vK0)2B6<_U?c~XMi2PR8QuF^?4<0 zGFbQCJ@NiZBHceF;2~n%tLruooK-@Qqm%sOPF^6x&dZf2@`&+oJkLX6s(gO>s39Tc zP_E?vU8SMLvJ2mx%|;^@gle|g2-Ep;B<6XkN>jr7HO*vn7 zfJx>$5EJ(PMAH+z3`SPkJ$L(r{^6~fCby0SH2nBee%J{m{)4}z>Cobe7}W^bl{$2@ zp%^v-RX0n_V13X%`Xho^UD&1>nJBo>gsxMN^)1K4Gbm!7~u zgBePcgPR5*Y0AfAp!(EX+u4|8C0K9yt$$_kVyC|IrCgZ-3;4+h@+Z zTP8XAh0-~&x6IOQS06K{QzwgrrMQ3e2Ms~vjdNa~qcY4>E(j|G#<1MXml zynqVJRj;n7nI`u%xKE;UN5dpi^US+gne6AQ~0m@_tN?H6663jq@F}Z$)Ql({48Z zfSA9}e@vSw2^z3Dl6lNOR09 zozcSsL;`nriK?8cQs&!k^gekGdoGXLVk!=G3d?PY#Se%>@-a{IitP!k1PxXNVK_W$ zRyls}XiVgY*Ii1Fvl zskKj^e7j20Rylq*BTV?zI~^HIj{7M!CxUkn#U&lfNA&G3?p?aPy{iV z?5d2I#ME+qD9-Y;r(0owR;s?@EgsDXDooLvn-{mV_7#jA;`DdEUry~zv>JzMrEu!5 zC-RGz^y+HO$wf}=E!0vJg$M5GE*7n~sqEogY%mBLAryn$E*w%XH0QQ z{;28zqdi&Z8E`M3JP3HrCNJ(_f^HdXlA~Xx$!Yp!wp$@PLPw~tH<&6 zHASD>E`Z$wo1wNs(9n&ku~Z5Z6C01Um(y;RAT_cIq|_-h`#FApJ_*GtQU}Xj5#t!p z9;!)V;=YsP$Pc~Ezh#n9_7^;$BM!yRHX^}eX1+@xxru4&cUu7;wV1~HA&L)(WgW_- zIWyG*>xT2xzeq<7+|vC?tH`Y;{`x&lY%WkdZfe8sa(gTy>1U&!j2Fhjdi~SUT)uCJw({OtNJFJTT;@N znMh_Lg8Em6Xbg0{uG@dZ4fO)FW-jgMs>jEy%k&Lg1J?X&!kw9n)+enrH0vG+y=lJk zkRObHOe(hLnBmLRAsnF;5G_oyVxN~1Ix&`w;XUy_L0^1H=Y}&p1s4;nm*+;Nw=`T@ zt9MbloAm;V+E_a*iV8OsV}1VdTGkwnloNL-Vu7XLs>jF$s-rrKY88UB`OfN&`qJ%Z zz>#a|-u+wgzNq~$ovlN=`D0`tQkSou88mBSTy#Qq&VM+!WmyT)N?F~Qj9c7 z8cUKmX?rIT8>lJcbX*QG%M`kQ>itpTU+aGVvKLx57{>)KBUp|K>Et4t_eh8Q!4vPD z`E5?@n|G&Lep@{IZeN$k-(qoJXbo`v7A5;1M1jojgMa^C%PW7(VQ_C*&Yx7w{hRgw df0KyR + + +ModelReturnDataxt=f(x)dxdtACBhigh-levelmodelSolverExpData=f(x)dxdtmodel moduleclass Modeldef get_model()