From 87b7288e954855f3defd9cea3d28919c491d493f Mon Sep 17 00:00:00 2001 From: Harrison Nicholls Date: Thu, 24 Oct 2024 11:37:23 +0100 Subject: [PATCH] Updated docs --- README.md | 17 +- docs/src/assets/logo.ico | Bin 228158 -> 0 bytes docs/src/assets/logo.svg | 74 -------- docs/src/assets/logo_notitle.png | Bin 0 -> 51092 bytes docs/src/assets/logo_notitle.svg | 172 ++++++++++++++++++ docs/src/assets/logo_title.svg | 180 +++++++++++++++++++ docs/src/index.md | 8 +- res/config/{pRT.toml => lbl_validation.toml} | 20 +-- 8 files changed, 378 insertions(+), 93 deletions(-) delete mode 100644 docs/src/assets/logo.ico delete mode 100644 docs/src/assets/logo.svg create mode 100644 docs/src/assets/logo_notitle.png create mode 100644 docs/src/assets/logo_notitle.svg create mode 100644 docs/src/assets/logo_title.svg rename res/config/{pRT.toml => lbl_validation.toml} (77%) diff --git a/README.md b/README.md index 1b141f99..f1219445 100644 --- a/README.md +++ b/README.md @@ -1,7 +1,6 @@

- - AGNI +

@@ -18,13 +17,15 @@

- A radiative-convective model for lava planet atmospheres. + A radiative-convective model for lava planet atmospheres

## Overview -AGNI relies on [SOCRATES](https://github.com/nichollsh/SOCRATES) for calculating radiances. The radiative transfer includes shortwave irradiation from the star, surface emission, gaseous absorption, Rayleigh scattering, parameterised clouds, and continuum absorption. Mixing length theory is used to parametrise convection. Together, energy transport processes allow for an energy-conserving calculation of the atmosphere's temperature profile. +A numerical model for the atmospheres of hot rocky (exo)planets. AGNI's primary purpose is to simulate the evolving atmospheres of magma ocean planets, while ensuring that radiative-convective equilibrium is maintained throughout the atmosphere. + +AGNI models correlated-k radiative transfer including shortwave irradiation from the star, surface emission, gaseous absorption, Rayleigh scattering, parameterised clouds, and CIA. Mixing length theory is used to model convection. Together, energy transport processes allow for an energy-conserving calculation of the atmosphere's temperature profile. Consult the [AGNI documentation](https://nichollsh.github.io/AGNI/) for information about the model. @@ -34,7 +35,7 @@ GitHub: https://github.com/nichollsh/AGNI ## Installation and usage -See the Getting Started page in the [documentation](https://nichollsh.github.io/AGNI/) for information on installing and using the model. +See the [Getting Started](https://nichollsh.github.io/AGNI/dev/setup/) page in the documentation for information on installing and using the model. ## Repository structure * `agni.jl` - The main AGNI executable @@ -47,8 +48,8 @@ See the Getting Started page in the [documentation](https://nichollsh.github.io/ * `misc/` - Miscellaneous files * `out/` - Model output files * `res/` - Resources (configs, thermodynamic data, etc.) -* `src/` - Package source code -* `test/` - Package tests +* `src/` - Source code +* `test/` - Tests for the code * `tutorials/` - Notebooks and tutorials -Copyright (C) 2024 Harrison Nicholls +This software is available under the GPLv3. Copyright (C) 2024 Harrison Nicholls. diff --git a/docs/src/assets/logo.ico b/docs/src/assets/logo.ico deleted file mode 100644 index dcd567fb1f82caf5fb7ec7b5425447e4f9f8ae2f..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 228158 zcmeI51zZ$O7{-qV2@zBjQEaih13%-lyA!)xu@zL1u)q!)6T1Vj+t2RC?(V$rdFO7A zBaS=Z4i1>%_hRycD@uo#>HZ@@3`5nKbSK`&qjxZ?_N1=5EC=14|Iuot`q;sp2t zzf)i!um;?51-JrfSAjB!I^EaFuH&(L9c&}w`2EDT?VvK?jw`?wNLvc%A-Wv^o>Jv) zTTiT`XZcsxu)uFUtd;-k&b#x5=>KhgQWn|IlyK&~$-x8+HHzSKC-}Q}){-WcA zFtB_Hx&!XG0$c&@R6rlm8VRCpU)SWXfob_4##vf@HObNjw3dT@#}Dmqn5ol`H179v2OLrz_lY|P>8i{=hvp0D|{B|=t|lfM53>VN4FGAH$N3uAfqc_3jvM-W`p{u_h+$b{?fky$dVkHc zRQZ_AuFK18cAZm%>~>vW;+!9JbaaKbK&k^!eS|x%09Qb>3Y0|fw*kBN8=BaC&t}*D zW%fK>Uu4hSB?Z8FaIUPm+P*X}%0~SFgy#Ti2gm}r;|g#EG@}5G>GcK7=5+Op{$#PK z_twU~+jATHt|?5n=N49#+<5q{pLN1-d;l zwJ0R(hk!WJ_~2ZCJFWm%Ks^eSM=(^kX7+DxS^Pup0!|Ne7wnPx6zcULn{B<9y1Is# zGmORWJC-zGAa`5=u0Zk?pgH%v0keI5)U|WwY4Ow^c9*A6&s2xvk-I>bM@A+#^5X(R z5MP7jC!L4D70B=kI6wiKgI9X*clcmmxMx(}BE1sJeH^19df(5IwY+TJA;k3_;By2) z1n#&3$y8t>j%WSs^z@B?=giaONj`@@_wqXQmXQzZsY{=Gw)V{*>*;3_+5zcVU~n?i z%@5}aWON1cK!Edr-TO@~@_)=*q$g~>&s~)%+UIWm6d<2Nk9(QS@=zZj7FR5H0yDrJ zSAZ*!GzI$NFgDJH+ShXCZt$c)v3_?76zi*X6fEBFcD9@~UWjybgfRin5cdj6OEy1> zE0Ez8u!I8Cr=HzUGnwZ4oWE#~y9JB)y{(NDD&Fr_o`UV73=GVLae?#clXZx$-i@0Qk5yw5E&i+uDgVc{8I8`k+V07T%9E072U zs1LnAV0L6=Z1pX_LzlZnO7*`{1Z9Bg^b_`_ks@CX(*kDbn{)g z0$c%+s0>7S1epC>XD|1%NU4F>iSGhgAhcZ-%8bggKaff}P2!d3?krTbksv&f4vL9%Cnjaa9-3c2G7 za0QerkQ2L{0_@(OIZL6pMa%TRR;=v6t7@T4a>5yeI3!H*a)Ynfix8|plhG8Kni%$B3Uu%7s^x~cD_udv_;viiPaY& zJy=c$+;IiC0`V)*44c{b8M<%gE!6N%xvC@1maQ`EoHkId%J8#^p={-$=d7|iyhNIW zXMjCe=kEdIzxI4<##Vsl%AhtfW-FOYvwbdEzR$&SRbg`pP#%6M$bUFjydaKowpXY& z^1s~qYTuXpMo1LWR~&H172pcQRG=_^-UiJ6bL6VJv`UWOH9ZI&pTB*k9(-o_aJd->| zA&k_cY~?{`&CGMk_XYGtI(7IJ=L&EIWD1yLjpoW=_x{XT?B7(VHtbBL8lz67G?j7A zIMl?pBtr4Gu`TmNNE?>N0F7(rjw`?wkSI_ci&ub+^UYhJ?wu;N#+;~JbM#5Apcdkh zM5;JCpD0kI(M?@lePM23>Jv~&l5GB;E5H?i0`y*t-TRGAEWehn*z;T!$1%sNIF3G{ zEmTE(l7{o~GDwf1k-0E8FpX*I&96FFfGfZhu)%-XSf6Y*#hz7l94)i8YOp&69K-h1 zr8ds50+nkHKan|09{IU}mm$sc9aHYO0vTNadgsr+or5~^?;^#UU9Dbc?9uA~j5${Q zALoR?KF$glqhPzD{WZTmSDuPdNGGe~V0ju?0q(d08CiiC-}Evy%l@HK^?@gA)ERrE zMjdB0K;fi5HS3N)T%>r@t5m+>VpADF^MY2+$QPccohtwZ@`D?I-4|_hmwQmN?zqD> z>yAxd)EjrGe3f3Ojf^e6O4CYhfxHa>B5;?X73hJ~v%WF<`bIxXmg{idvHpaEwO}ua zqCWOdGUIWq=BZI<^x@1|a=%7;g=c`pSf~0AcU*ytsDKd?9R`>^kZn}2J@QCx*gus4 zTE+pyN5a2YCV|>G#?HRdJt4hVQky4l1AqwJWk>}|BGqhuPaS+OBX5BkxBh7`X+PPC zYD~nwDNF;LFNxG?G&!vd73l40`xtMU4Yg7t+N$)?pS~9 zfx3+*N7QLFDMhG@^Q0`3BWnNayx+nymwZ2f+0cNG1<3H`kl_TNcV906_4oZ#sA#<_ z^_xuHSFiEp@bpA|q$eg*_SxE%j-qr+*@q<`3jh(g%TNkTL~5B07@JspsamW5k$;;` z-B-WKlyt+tNK0%QG(hDtjE#>aK{x$?+WBV0?z_w|8{xG+-=mt zWmn@Ct~=FAON6Iww3@b~am#5tnzWw2qhJxoD{^fBm!OATdcW{IeOv)3K+n2teqTL3 z!(U}9wmaFh^^EOJU>m7HQ=B*Dn7+MftLfXDwRYQHp-QLYdV2b7t~2QI9#jR~aRt(| z0yMub^?7Iaemn!eso%(XPczsA*@a59#(pWwwq~uTtCi+$+_u%OHzdNuBr_ZH3_WQ4 zLqEVBS0FtrkQa%&4w(JtEl~MJ^ENZKHERR=(o&kYov~H@xNU9JV$u#PYkL|4%(TFA z5#Ww1ke(IjhQzV=UIqrnKdMykcDQBxnOj=G#uA4cj?p68Aub8f5`M91)qdvYJbBCA zf*ykXM_`@ai*m;mNRJ8_BT*{>%kNpN>|Qi!IeB}__U@ZowoAiM{F6ZIjvkvzmT7!O zZY)p~v~d93aRt(&0!5LiD8TH$u!G~p)*U=HwrcObDMQd<=EhcXwCU)%u~wbF5vT_V z{eWoM5OBv8NRJ8(Mxt1Ix1nLCueJW^8_~9t=Z4m>iG*kaf6d{sp-l%RbcDYKptLt^ zHg<=Zc~+qx5cLNhlO8WTPg90hfX4c51?=9RHG96tE!w(nZqo_26^pj`El+HJHUD0Z z@Dzf0tk)QwJ=eEvH*J$mjzSLvU9b!Wd@LYD;4WP$KyzF?2W+fgiBk2?wC~~_)(-ZS z1n9Vwp|eL=dkxZ|tJk^$g{oX8U8EevlFtVO5x7fN3XDf;*myT%6Z22?8V=b-dB1%Z z*jJ+Q#Bo|iSHvd?bnHHBZMllgkLgDD1B!x9CDPTE=ZVSa3eY>PNWkuKIdc`c*S51; zSch(2YtsWAk&dL&sr#%ob^aZ&+tASDn^Yf~52!KVjw_H}6sU=WNXPo={VrFb*|E+} zvsc4r)}#iVaNZQByZ7o&@zA;Ztko^rPTFX0kyU;^Al?R;UUEK92PxnV*uCG>G|Rgt zEyiqt{jZA89#V1}Y;RSvaKiD)rN^vQ?Yp?G&0$;ko}dwyAwU;!#}!EH3S>tDP6B5C zdGeON(W$%F>dwgb@iTj6=N{Ti7sO57bnQ7ev~bbt=LLh1S;?=>%^E9@vPb3(iJP(n}mr!%_u_6ez2rPU$1Hb8nGSSrn5d7glbt^n0x z7Xo(gx3I|es#UwmVcp37d(KS~-FnRpNpHaZgX=dMw9UvU(-)~$)E3wbaK{x$%L?R0 zh;{!v)}wcr#|z7G))hjLu=?eFR+Iay7lx9w#`-eHfbe=+5l;;1n#&3 zX;A@VL|XP;zpPnvKkC%oJ+x;(AEmaS%vRLlk9Y)V75#k!iWaYV8k!0Ae+KKk4KOX{ zd>&^~pbU`CZ>jUQRGE6md-b31pRmpO!atqTAL#n-AG&Y-}pb z2S#mytd%ZSXKEpz$4Hx zb4JZbJl$zhfn12StS@W+0%b1tNB-9;hAdjrUycD-*9Ha;U$&@fjn;eRz6lZqEeoW{ zT)-opQ59&9gntEMeSL!;b?ZBA9Xx#LqJcvfEm6$k#RG??5W{dDEoI2agi7DpvQmvbKHPz4uJN!6TL~8Z>+fM~Mc5M=V>|vD?%j zb8{=9AK)KoNpmK0#}!Bm3edbYGMlGE` zM9mCEcm)cUJx3Z!*@2}6;4W<`K-a7-pt&z-?z@U0J(uIwNZ&!g@@+1=LO1#k@m(}@ z)G}Yn(^>?@CnZ3dm-!A$BqPT7`BbdjIGpNFQY~*_No}g!r5y!q5LJIbeYk{joa)8> zfj&r&j=o#L`mX8f>HVr+v-QrA&i?a;BmZj)BStUx(RN0U4Vc@oai1`J7nqHkf~GVt zSmpGXVbW=uXxxi05Xx`C{%J{lV!DI$=Jb%DWq_qMbLOnioqA1QKGNB5o=WyMX2rY_ z9Hzl2*nfx4;{!8gvY@;|deS$6(qo=MveKpNj8w7tZm<-anpwU!G%}I>#+J@HM#4K?^4kKkfb`-7E60ovm`!;( zRT+o#YlzX~{AX*7@&2>z?TcQ5rYs*}xeidhk~{5IU?`&Z8;J4z_M=+OmOGp$2F)5d zcEy}xC8{2k>(@o|JN41-q^KM_YWF(~SYFL#SMb`USL76iv1{3f* z4Kj98uy^UQwGYVU7wQw7Q{^kdcT5ch==z)l%nowo%zJC#uz9{?CIrrMo)|c*SO1xd zt*mp%*XjPlzIjq3qG~>83xvm>Z>Y_x)<12xjGY|poho)WF~EC_))0ueB#m)XLcHoW z=(=8RE`S%%n12&U%^6qC!BHCxeY=JAd#zo!vt)nVXQ0;t=Se|GH`$^J`F~QN*O&wefWL}N#D0oE7|vQrAmSC1 z@l!)Q+IMmGqh~3pwp3qi4!F}!1$o53^c<_Aow0psf2||PbKK2I&p?m)mX_HB zZK+RHTEADM)jY0Byz5~n_P$0(2jktVH`zhga2)crJQG|(XEtc;wAR4DkjitinY4Ue zbrAm<(sYPTOw8VO>^gS&M5J;2lwc2aG6CUbBqmM`nK@?sa&OyQ1+EGDV(ACC(>?|C z5v7HI-2=@nte*Go@3vqP>>zfYrRzGzl#*ECb7uX1xJTHzQpX88(B^a0DxOOy)n8Hs(^yAA^bqc6=`_6`F(}?MXy-e6OzvEh0x3$w^=lQ9wE2m>yypZ42 zX&glwxVo*L)~DYzUz1E`LO)=-$8^!o?2ut&)f6fJ2*jwT{i^*>n+?-o2a2w#u-#?) zs_Cc$c;?7qe}j&davVz=pzY2I5!?q@yt8Jty*qrAkGJcL)ze(2t&}08RngLAI`-u# z)L@$1YS$5?eY~<}&3RYQ8cS+#kpt)`W0JDS4mRTPU8sa&JuA3_Pdb;~s*E;pu zucP~?Gz?ny1lsO8B7$E5m3hCb)o8M1#>}-Yt}|A-Y7A(K`=J^@9NiK^9p_L_7|2I1 zQ(S|m<;_==`iTkm2jmkAzLTsG3iwxvg;-J$9i7`U=R} z4iU~lK+hD~>S$j7J%Hs$D=V9*p(AE{&+u3~b(;HX7tOE+;i`+|$8q}1)l*Z7ncnLs zmo8gFR@Z{=R7ce2{DJ6Y7&jRy{R_m##+lxC={{zWn^)MB#N-V(&#)?Ivo=hsQ@`CBxjN!~=wBRg zm%0kr;`Fk4+U@f?oSiZ)$ThKf(9Lu0l#$N9Gp((2+(URm9WMgw+E~WZctzR0D2rA0 zs9_`Lc*6cC$4&RzDM;I7?P8rYKEhJd@uTx353>Kx-9|6Oe88Wi`Gd+{>TAYb>MB6( z-$Gyi?+qJw4WVllGry~L?diB0wVG|9_Cth8WdL1cC!lSv7b5f>u(r;s)f;V^IcxnS zcdxaR+`M2*a?mz~c*0M{I;^JvUN}b_5{P3$@lTGQEZq_fW_qrhi1aJO!#ix^h*5K9 znweQXC*7s=$CA6$Q@{eJ-UZn8$d=vq)|l}NX3WI3QkduE^GvKfK-YMbvyYo~)*N?) zFtI!YvIA{#xe<|5fTh_wYtB0($INr5xX<)jr#i^%l;^b;FG`OF@kH2iczA|Q02383 z!P9H~gh^9Yxa7!@N4~EJ%?C_Qzvg12g3cI?mhJGiMy0nzyznHcQEW)WX^2;Xy|b7nPmUTu>(5Z zdHllZ*|OQ*62iuk+In+>)OMv20ogkW^jo|*d8*$O&spooc_5E!5>I9WWCsZm27k?i zx(?C`DBUT@Y@e;pm8<@{3DDE=1SiDWJLJxl36EGU0S<0kZ{jbIYd#2jdYKwxEvd?lpIl^MonO zrs7#oer(`1oUcgACNsv_y5Sd_+XqW=5r=XI(9SpBYmOp&L;jz$VXW7j4bED{T*PPY z#uR|gqh4nDY#!6Q{}eA{lT1QCU}|@672_)LA1R?gGo0i-pnLz{vgK=Sm*uHB$Xg6) zzE5Hvm@|Lt=%y`tEXVu+GMmHssJ(~A7^k!=j1$t>WXZFRrS-!>!)ChA_T4htd)~$| zX^TyWul6ttae-ZrR)yI$LVeZRta8>C!P*_miQqd>sYOKpC2>bD7* zyI|X>Sw4uf8lbeQ&L-@eB8*bod3+IH#f+NcyGaR~;V;46Yt>l0-1%vYD7zk5E(57? zPrzw2q#J-#vv=P#zfa|=^)}3%zcqPz1$hH`AP(~uY#Zs+d)zEjQ}Y)%r*OT)v7RFZ zl^=$43FA)1`SKS%KEoqq+}!zFl;l}uc{-8)^O66xgt_xKk4zN4*gsip!TF^4ZW&pk zWaZs*`QZT8>3Nhp%_~q8r?>=|En+;@&9M{bPnoxH>qw<}Q(Art<+v(KNuJp=VGTqI0(e@Ft{3zthgqFy&bCbIfXY}uz-*t|U>h~=ykf!PUBfh) z7kn0M8!>t6vI#kJ+S9upp$`t zZw6q|(%nPbw(B=vu3hLQu2T(7W&|EKQ=m8g%i7`!6exb!(|h&k`3tvcJl`!`ymMH$ z?jvVq%49~@S||gk9#WRYO#T1pezF&^b5Y%+T=`m?=lO0Pf%FdZT|jA84(&UC;dVev z_25hASDEeDmq^Sp>e-j2cM;OAW)?2lIdt$aw`rN8p9yKaSQqtY0Un~90*+XZ0?ZyV zXSRAUc<792iT2D`p-uVb+0FA-P3)JcC5ZDI5 z&O!Cef`v*RnBfsTX2FsjLwy%*Q!k6R51pR~e6erhL7W$BC-awVACg$yy+TK2vC4Kw zxJFn`0o-Xufno?&_AMXOyFN8&)M5F;WxIx`D^IC%{TD3Vff+^Cj4a|%CY<^kAx=UW zuo>&Q)s*!72xp62*y3Dv`OZw7x@bJoJ2<|0`Xc}OF4-~IM*$N5#OLw&&Xp3|pz~mD zW+CF|vuMju`@DsyPpFUws9%;5;7+{?P=A{Uz;vcQ`DMyg-!gapreO=0?xcJ&L=C8% z-xjafJ!q24;&HaQ^2)#ep}wGGv-FNWIj%eomZcTz;_NoLE{_=HF=ff}-Gdgwz6qpv z(EO!42l*`BIna0Mu7OLJY#SD`Xw#TA3)hbeTNpNB{1MC4{HalJ>`WDeos6X*v|0chQm^gR}~ydr>TwEZ;S-Y}x8m?hE!$ zWq~E&PJIfLMo{#wjcH8vV7&V}>^3uK)Z%5kQZ|psUH_#k_6&qgPPVbJlf8$K#*y*> zwb$!`#5ii#>%yZtMyWR^opPB2oc*}yd zlLMA)9ll`Mt^uf13|NdX!JuR^aPcyPlR_+6wrikf*oknJ;~yB&zd^%x%jD{T)E}q- z;4b+J=pqQ}V{;A&_V71%?gA$#PF^r}>5AQyUsLt^FZbI!VCZnSDJTQzoq#YFgyQ-X zOaqh`bU;GR5S~>*5cmj$a_$f6{HMn_&ziX0e_#Ja%XjtnU%GAR-UX|s-=4iVjO-aU z{`!xb`wy|3n>aDxm~SW>UcT|1bN0sUC9C%=SncY!Y{%e5%Xjz3J#D~}<+0_o8Z{y`D_x^x@niSNh@*NyrEQ`yg5@)XF5!zTc;Bf%d2qQBLt36p%s zuJGU6Ur|1bbNyLQlqgt_DL<|}+eu5SRvnc4bF`pchTknK>>RQoc0a$dFMI%{BL*nuS)DVQFVa$!usVt^V4guxhId# z5Aj;Df^^)|cbVVre(Gfp!czz8i`R1hJ$;n|Etbc|e{bJ;zUv2N&6-1gE)Wk~SMCz0 zfCYAM1XhFhfY|~qjg3v-RH{^a%^aU~gZ*G_$)DfhfZX+@xhSZf z$6dk-kVeJ85J3H?g=Z*cFI1P#p569hr!Ip$sND4r4DW+_zh+QNe%pimv8PX9NM!H% z3pWnv(6PT)p+d#O&CN4Eq<58QBl?Xr%E|)tANY=M$-kj{M}>+t*A5=)GI^Q*o<5;L zd;4AT@mq{Gyhoa}aaF?p?BRXqKi|N4{z%t~z)6k$);~@B z@O-eQZ29V8Rgks@joL2k+kgDjS#wtn@(&5`<-c-&kM(}rhCZ6TU~6jJ^A(i`Kiy}( zy*p>|s#O6y2doGV@97t`ua_eH;TIc4`=*!eA*&DdXx5_ZJe}ydVxJ*TI}~v!B?<}& z7X<}}ivog(eWE}R6dVEeO9+h+1&2rw_NDz9D+&u#kU6DTSMKrIB2=+${RUGX|ZS)4f2+;kU>haXJMg3qZ zfTmy|@CKUzz1yN^VflVDvirS7<}CNfK1MowjP(zR=oJ9cQaBIHKo@;D{buR%{vm%G>9_UpM#Pifl2pwj)kI zp3IuRJQvb8;W?1?$-*pdhc47Umh z+-FS$21jIt{byr@MrMco+Ys0Eh8Aqm63L^|J;m~5qV(y_8_l>@cel z{++;JDI>8QCC6B-PX^NfwR6k{i$E~g2=;>u;68W`K7bhacl>7dPD`BguaU9IJ6l`( zGmf>J_)VPbGYawQ6&%X!BEI~gYW|AeFBo|;7-b1;Q39>UfY~6n$t{rwajyeCRKN-Q zNQuBQ2Ho*H2Dtvh?`~M{<`*2XoYxg_p;C4xd&-Yt&fiV*=J;YD$8C?WuxC@3R1B7b0Dcs>I6 z+Pnxi4}tUMMm+5TgZJkO3_bw%=L`snU<8Hix4}Ny1Oh`~tHH!x>wwUREWs-eTL!N@ zWC>fcKwQlUteYclW|0T)W-3{#VnK{SXMMq7Lx0MYtrD;%>_{8fS$jD;AU*AaS4MP* zMMwM==!A8F&RCbH3w{f9#kxQ@tjp6KzZpR*Bb?;ufpvL$qRi+Svid-eQl%@&_hFK6 z%aqxwyxk^a{SWl{WN2t~)6&v<2im*lbm=-|;GB7DTCZMvtWoHyLye(r6I}mBGD0F6 zVp{_V5&vR)eMU$mE$hk%iTnrq2vGh+zN9=ESqs#_^=II^RRvYpG9(gtF|v}Bil{f0 z2jy^`%Hi6Ui6*=h%G;6w0Qs*3u4%ELmB@>s$cMq<4uL@tMR2YnIJOY-Pyt48L;>XS ze1XCH7|5%6kl&CO_vgWV-wylaS{`~Z=ZVFuOMdn6+M>wrlx~-^^Pe-^#V=hv#CIln ziLXrXX57X48&?nUFZi*r+-D@GO!$Sq19KjE&o`eMdRh=`*?TJucV2QeLETA2>M=*cdN3x$}o8TAs zxS0D3$Dtk|5@5%Mpw280;(>BWvW?c+?^yewPLBK{Mc7|@jC@$w$EoKCm;-yKyG5{z z0tJhP!>+mquZo2I#Ud2H6CikHBy3lG;QZYcfoIh2%l&ut$dSYDj1YG$>A5_)c2D(t zYR8WP=fEy7AN14L*RNrhJ8ywWlYK01-xeERyY|a?+qQEi!NCy{LL-e){u%`a?luYx z+GPYAGhDgyhyf8A8fg#`9HCEyh91xl4A`#c@3%=WBzTAJ)~#1{cI|wxvvbEA9kEy} zLS0MbAFx-Fm)P|_z^;3MG#|43660D*@`A)4*BZ}gl6)ep)A3TsPaqWQ0`9Kk@S7;R?Zr(9K?9yk6c;~2j;wMu*rDZ{q>IdHt*RkU1E_%1-Efe{L z9uVQ$vFB31;2k1=|E(fFzpbL6paY`y>#vEz!Y+#f1Gk78H^$XZ-)=6F$Lt2}*5~H> ztnRyV&4I2Vt0KE4me5uEyQKuH)*kFSd8+SFGjodv(zuh|P6G6vIyN-_)d4_b-L?aI zo?in3!2&Q7(DOkr&;ry1B|uJK2$)0P7E!KTc|?PUP8F?QeN+?z+YAW_XL*S7Q82S1 zw3P(zmVh>n(9pw-5csiuupb>45Fp8K!NEI`&&~kKZ&zgq=hUX9c;-xz*uz644i46V z9SsJFd#?|>|1sTNe9U>ac&O8Iaj_OF#Rm1)iAD9o#G<)O((TyC_}_Kna;-we z6M8QdUl>12{Ch@{o)cap-mQU1JY$AP?CPpb5~o&N`s2i`&x)Cu#lwk{=MGyNcC_=# z)d#w&&VKBx0&5O*LD`aQ)^9xCsdLwX)6jMyynB0tG*FwJkpjq$slAV&d2a|kK<$9k z9>|>%1;n175}R>z`v>;(5G1NTerdui@xboO#n~IJiMDaF{lq|J1NP6;WVLuK>J9X~ zkl1)&|4X1G5K)@AV|_foKnJmbfx)Lf{hTL+Z9LI&<(h+?HNt9yn-D6TH*CX+jx}pF zSc*6c?=Ej*Js-c8no)q=E6HBm+_HhaKxMo8ihI8Q;03HcpD0^bp(v*pn0bX935iRY6S{PA%1gKs6XM=`q=C0p#q9f|qog^H>GPww0CA?g{?qDb7 z9O@LZDx!12f<@`sTzKB6dc7IoP6G-s`#*o4?0*FKsjB_IL7U#_p3B5$4b~>^KCgo9 zOP(9T#MY=!c=TH={yc4_%4HJb{}FT$Pn{|f`}k-;u{0HAcEt85AY1xdx=f|j8#bTl zuqNzKM}f8L4|i0FFzlx?hp_L#xU4(aaScE@5HA#uMN2ny$Ggfa(l}GR-2v6*xl^+O z?73fZ?{|RB+)&l_sXf0}H$Smn{Y2LBRkeM&{itnVJe~(WC9VuOg0$F(-Q7jv8#mOf zTAB)uo{d)nb}!AHC;xufScf%4*ddjm{bht381b=w)A4r0M@}1#Z;AFBGej9M4etql2=5D(KMTRy%Egovqt&q`j(yZ9LjOaU8+^hZD`#ooCuKZQjuX z{m_Lu<)0$%)Mt-74JaUe_AdZixu%N!Q@i|3)W>CQ`zcrk&~rw>kOhf(4mgPPWu-J` zaMuIr{|>|$&-HlB*qMX3Y(3Rx{f49M)Ik`+LD|q&9c1a}pXwp5(=JHzelIobpU#OgpmP_$#IyzY ziD%E&6VI8WM)lHMQ1*!NJ;1(2U8io7x!ZT0Z3%m89fQsIt(0TfCuwZLaS5?y+sRh5 zW(PQ--_Ko&s}${5FC4fqRqFk+`@gizv1qtfycvB9RUAif z9c>&1SUU&W0yC(~f^dwAmsz`c`zf;jR@%h2UH`S{(QEh^14Ba^i$`&#ehUo& zcWPFE**>+6OX~hgpQ)eW-e0wKaO&Rsg*pf70Ikt)SjG1N-;qYiGeE|*f9e6;}K*V~{7;7-j7 zF#C6N)5kIdBy9h9?q5ILS8Red_}KU2)cTzjZ4lJgSj9TP466TA9Uud{2}nD$|IC@Q zT=SV9(s}#N)6KVTKha_fKsgYXZ4$pN+fQO2&9ZgJspcqaS`;o^Tz;Gn)mhm1{|tQH zG?H{_yMI>L{&{8gPh<3YcUz$y_kN)cfF+F^QWkfq{~n~*D1*NT=zxsG`T=9^x@SX& zPa3pm-}$E7cARXUd`>mnzB763+yLZ? z<0+nO{2m*-BWHi9b?;~A#h4-*S4e#kR44;3W1k!#BVYOQNc;2yn0dDL~#UvKzG2MniXJe|B|-9Mz9I$E34Rs zVE-q^&K6UfTdLZ7Jmro(#u4A5F+zxAf@yGbqd5!90W~X`rh>CUY-Mw3RH^DXe_!OK zMmu(&X_9nK{-w&&!Ag-@Lr8K2*8i}lU$`s-L@1(?T zm~E{ZI$tZ={bQFursxlJ$a#(`_D^M8gA8u}^c=kvur`4F`3rB}zVl=g)VmvN1N#qM zZBVLo1%Jd(81wfZ)@h7BcWPFE>_EyOEEB$W;@;|s{(d^~+<#-+V@m&~KEbPp`Kn_7 z)EBrFOS7x1n$=7*!O{4cS%BHUwRN`B>()m!+qL(^5sco*@;X?edTmxtfKX+MFyT6*6n%#4sxv=xT$O{d2!~PP2>@!~Wvh5Avmkj=E5V8N_zcW1- zcQiM*pmF|GK2aRU1MW1S0J8&{@5jw;5=i*|5C1V3i?r=0XJV0~*ax6YgHJq8Uuc;tG$J>lmX#02&nt{Qv8&;GkF;#`94g?~aEI&!UE z?>@r@VGb^umzV6H#{M(_+-X1oW(SgIfYGYh|70z`|1ZbfBP!TGjcw?_?Vo)E{ywr4 z^#lG@uU?aB$4}g;voGR&{k<_bhu`Xh!rvFE0Qem_cC&8v>i>8nPC~z*dx&Ep4P<>D zBwc*Ty`S#?1C-i7>eh4mFB0pfz&QWJ)*p=U{7?OoRIq=V8?*)4e+G9JNdF1S0z`=t zWmoJ!aH(!YvShJ7jjYbfB`j&qV(v7k0NH}nCf;JHxD5dI ze-88UQh(dT-k&wSKg}Ud^Ng!t|4~R|2}(0}?ECf1&MYi4U-1vz)MWp`%l||kxL7AP z`ww3FCk6-bTg@Claocg!sHxqIjErfX4~o|h;KZ+!W)&b?07b!lpxFN5_X2Z$RcoUq zV}FGD2m1fD=@cNQ`A3z-AO6(Gnff|wR@Af+dOJju=F}3C&5arB+U3ac>yG;mUHm5= zYGYdhT&lhQu#|&XCV`Wu@78MCtgSQVCMCNk`=@?C7! z5VoOx4_uDJVVrO8zSFg{XU`EKjSs~s2p9tHG^l`FA0T=!o^Tr=?*H#G&ZcpPKe=H>9-ea&!BPed@9D&YM2>oZ+1j6rlEXvNdtO`~_D<96Vp^$nmQ+4fCShgIwMPiZ;}asvK6FiF1B!D1d@_HSjC^=Rm-ZS{_yx>^0m@oP0= zauvT5;28Xp!G((tt9Iz_p1ED^$cby!1&$rR zUQNO^EY-zTgcZ%%^Y^NjFJGBH(k49nQ#~MeS`soX$5m?oR1fF~XpBt4HibICS-cCR z_im{&7Xa%0^d5q}^HUaAi9fyfcLXBw{P}75QmH%cjtG$TwZ(U@-{BtI@7#r`%EwMz zubLQ+pS)2uaa_m#*JKA&8@_E z;4BSOxIX}FKR4R^s2x((cw)azc4^y~@c`H^5CL&^`ju`=0slPUS_5L;l6Hzx;Q;CdU_9zD;uqh-b|bzWYmKfq$uD zTQncoEWCT8@%NhU<0FJm-vJCBGG9#ZB2|ea_W1-@pI`poFHZiUdo0bZ$L_o6dmD82 z{M||?Pv59~;?(t|aT>?TgK#LkQ)h0*%a!X-D|GGF+X>$!ekF~^CoEe4?ov0f3=h`sW@3`*w!4QAcC)mF`*6H0Ocd4KNyH}FENX7)5!%}s- z!+U{O7$ZR62P)qxL`?JYu=+q^$^zOK(6_#8wG9@BqK)w*eeWA#Cn_#(ZhNsmJlmFg33-FaE&zw@`tDdQ~mIeY$2xw99Nz_~l+u3dXtrca+C z?Jx(4{FtBiX+^m78c+5NAekGWIqc^}BJGaZDa{ogh;Q_^#@HNcuctBkB8=6MAhB^- z*&y9c-xbM=xqRDo@@Mn;QCX6dbK{uXpb9I?rcO<-mq}ge%7TCn0CxY)n>YXRJ9l1| zK6n03*#tQ!@jrXvZrP-A|Ka;mRjbu_@u70flaBbY%|7jZ}Zi>Fdz0ikudfz3iU*XM(-ePJ~ zOv3$MC@ZME>cHkUrnwELO-n^3)6A*;5mRRW=m)rG$BqM)E?tf)eg49oGRioIeG-C> zzi{zhnTwaC&^owu>3-?6=Wds=x6e-;|K^^|4#N!VN3T(@_F3c-s9MTXvfgSlGpoH&!3~QD{Ftx zlqu7d8Sb;|-n{dyq+Fwz0wy2E@A!Rz0y~%JSeqh&DJWIdw^_Suzz2y z)BMETrLqFzurT3Wfbebb>98ppLz6h$Pr3cyAa27@Zc#txjQ)+k#O5CQwk~S}L_ff{ zJ)HWrdGO#}@ynN^N=0)I>oK{A-zXE3#EsieON<;fz7f9h`v~VI`=|1!8{ke$6ky*6 zl6)JO>H<^`pm{>y0&Ob;o*+)WaNn1-^;5my)m2MWOcT*?Kr9~vY6JXHrD~0l4<5cR zcIE2B645-sdMvKoFLC8^(s=sxW6|o>9fxAR58*pMG#5d|G@(`oi=^B;0s2lb&7XTs zi^_o0h)V-J@9SX6@B2y1n^|$#A;9Y4dGh3467}d^(aTpK6j#QTYY&P?6NPoCdlUE$QmZaN&m#UPn+meNi*(Ni+$Bi? zdghk3!&zEp*%uypvh?+vPl{c=_D~_$u0JYv?Z#s{9%7w%Amb|5V{_~7v!X#E>nd7U zSRBN8g=c^2hsfXiLj-Mg%+7>9LXtVd`oab;rEnQQbCjF{onh~$tc`NmFkatJex@0L zAbta}v9a;B2@|H(e)#ZRk?YqU6-|h1@Q=$wY>O&-{W`e$(Bb;cM=^N#_-&CvgNOf% zKL1bXe1JduLxi;8*t3B2UMp=MC=6Si25tcAbEm2L0F6ny2*!cjvUikJA3%_18ibD^?zgwg%Sbi1R)J zWs{u(9zcpHAYQgiBzAFO&)Tp>k=Watp1q4mZSx?OAAq{b0czLZ2Zo^Rv6uBxrv6E2 zo8(Sy3gksdcLBQ}mnd0g?DJP&3*NZ(q;QhB@wo7f8xP}f^X8+%QBf}o+1ln>COsFO zkJ=vivp+;gYmVKAg?9v!K7-b<%lfca53mzN0ct1s4V0A$v=8+&pksCes#nwimaN`E zWsQ`yrc)Y-FMVfc7huohHa0l|q8_{|bm#6f#%(Nb0zA7jXgw}Zv5k0A=;obAg>J>e zgU7E5E?pi_&dkj0uy8Ic7Xt3muma3J>A66#QL2~IoEvU#4xkAb3g&^8U?bQeWdoKW zz#9w%{{pH@Sg`g6Av|f=X;>m{k2@OCWj+VA3y)jTda7A(RlVJyC?gn{y)V5cj;UKntM;Y zd$;7fqtfSh@tip#al3XR>Tk$hsw+?)F<|#)*ys1km8-}r7sVD@ilXn5V(d18fEuRiBS-93*y z4<5YClUTld`D>RakG(6x7v}k=xrglmcU%FkfOaTA{ea#AG49jvs#UAe?(bi*ZB*2Y z+yajty~_RQ(d$I`f-ZPW~+;IiC0@|ejjRj)% zkA48xMvWR*>izqlIi5a!pEF_J!v9sg+`s?WHgjgn03lo~BSB`s9an%Wpj`^koZ#;O zwE?^>SFS>9+`qFuefk<@z?%dh|G0ek@XcoI*a^kao_L7U6beCyD!;b|Jh%^{-`o<-h9gb?Ahz=R#sMXgz&JW{y#Q=JFWm%Ksy!a zk7%*?^m=-F_u8~+Umo{y>sPNnWP?r1@e%8Bd5e9BuU~&Qcg@Dkf( zyp^oKdGpx{eg3U5pCC=tBHa6_UBOO!lg(qs72pa;6_CvbfcJnW`wtvkP*Ml@l;!nn z<)F`x<3OJM-2`!@&NaRs;n+OI%vMDZeE_il4@3w)4OZ2s-rSBo!SK4(sdKYxB(T)cQO z3+548ARLb+jV;arxZ?_N1+-rQs;4gn%>L1L|4{$_{qvvD{}pcnsJ|>vwhx+?}2ULDge?mvV9an%WkaiTXM^t6^ za1#@gIX{1jP4Qme^wX#Ba(u@6CkB-d!-o&ILA&1$9LwqsSndUx0e4&hu0YyRfSv)U zzYeowyvM&-qehKFuyNz>-@j*y5BM47%9X1D+Wpu(0yvh&{PhLgaRs;nX-|PVh%(jR zsSNmmaePj&al;QE#3mm<5Huid+uFbXfGl*M|MQ3V3;r;$%>eiQs<`*F?}x>&ABI1F{$${{p`V{$COr2q#=fkqz%mMy2HbH4xB_Wc0jj@W0L-q@4zRvS zlO~pQzkl`WmBEV_FAT7*i+;lOu@4(JAl;Yx5Yl);?zjS6fwZl_7(}0aBOJ?5Mn*>6 z$mW4QEsGQ>k`v{^9{36O{##h*-}ZqB+;IicfdVvc=LBH(jc5F;n9rBS35v>>FK>Z% z0UF~kln+0#J_^ux1-au2a0Swb0_~8D4?wubpN8G{MOi@K^Je{oq<&kmr0)rF#}(iT zq#p%neqawEv;|T*Abih5C=rz#`c?+j)jA8VWZ&nWn3mfsL-{h$i|2?^wi;}i0ScY*>c@hABb z5?Gl($&34pLZ{510vS-^ zuQ&rK@n@Gmfea}1S7^bK%da?ts_3t<1dwD8#Ti(VJ(BIOFoQ=)^i%5Zq9B6_$1Czb zC=Fjz{;tyS9Tmh+nZNXKg(aw}{`LyaFC4GHUz+_Cme9)lrP)tm39igvn*9_WpIm=w z_El(r$@PyC^i@zmsO+zx05~XwuOWX|CE?5b6%-)K{Dt5Z-Jz1{FUy_^!dK=m%bp63 zm-Bat&%k8aQ$ZC;)BdvTtKbf<%s(nxf5-UJr)mF#(dW01@BE7Ve@pN8t_qHSFEtlM z{!!BGtjs?;cu|b_9hBU!;UiwGJXGc%C8w`^0g8CB3#iQhpxp8D1*CAiB7ek-WdLRVu5#ha7l2XN zPS;P)J4Ovj>MwtJWB4D$fi5vGe|-M(mp6vLD~@**i9qd zKc1xv*DH#`kvZrgbu3=+KPdB~6~R{;Z(J`|1^z5v&^v~=+%qVPmre}p!LBZ{6GX8C zU1G>1?|+c_JH|}D-0`l=KXVjY$o|Q~mtIyqSD6=Ek@?3uudtV+5WkqR3f|E*z=N_) zF;;}*W8^BiJp_LRhfBg&pgWFBp0(f0?R+4${jY>@M|3 zz*48oUz$AxyN`2xa{Yw}OQRzVPKaH!bt&_Ak?f%G_(b^&sYRHA;4zL@>@Sg1P#eb| zlwMHj@k#b~L|AYNk9TC=D*6k#3C9TWlO8Y0PVxA=NWxFFe=Pmt93QX0TsuZ0{UxQP z;^PzTA1i-Kj<=VHLI0Kc$Fh$&$H(?}6~W1cugpJ|{Yvg8jubPAi|v1q!gmyWX4%g^K= z9a|RcZ~5Qx_{+{sE0mw)_mAPJqJOj+v5%I7pO8Q0$K?9U$q^?46n=92>2fD@Jo($l zIcxNW_eAG(7p^S2j^{|ARH8W#Wn diff --git a/docs/src/assets/logo.svg b/docs/src/assets/logo.svg deleted file mode 100644 index 9123474e..00000000 --- a/docs/src/assets/logo.svg +++ /dev/null @@ -1,74 +0,0 @@ - - - - diff --git a/docs/src/assets/logo_notitle.png b/docs/src/assets/logo_notitle.png new file mode 100644 index 0000000000000000000000000000000000000000..5a4cff79dfbc97353c10fc5120327f1724010913 GIT binary patch literal 51092 zcmXt91yGb-+g?hEmj-DiL>i=HDPajgT0pu4lL07z+H4iGw+( zy_01sT$B<7q6NK$ym{}Qb^wFAlbSC`93Sy+r=4R58uCX~_`l4isH$u;wtwHcXsC^V zX*$BzpTP`B^Y#}=srFkw&}oI!qoQKT%Y8x3%j9u>d~iVAV`b;1C0lN7+|FB9SmVY! z`w~lyES-s-iDE+_5H%jti47l5jNTPfOd4c`| z?LK;heF3?GXeCMgLWu&iR5>M^>6poaoG=bBs#L;kw8d?r6_4$cAKjJ5t}B0phW=FE z#gl|UmYsU@aChV6^E${URtV0?vdGZIvd4%e{R=+OcPeAp`2V)RRQUdzmH5N;N!ia~ zKO&{((9r(PIRZk$aW&iyS91&6gxBwlNm0o$vn2d7zG(1AfxZ)X<&tQz7#CknZ8P#Z z4b8nIBqZz%4h;?UF+R_`VA8et*n}Fa)A<@>nyUKRuo}OU9+dfJ%2G!&F5h|k5_cC* z1_Bw0=n)jAr?<+>;a(*AtFa&aM#mC!0~KRh4*H4)y+~6*Jfz6?SAqwl3SzkoOiV~9 z9DqwmsK(~J)ig0e*Ke-6=Y(ifx?!fcCeVHi;D8P05vl4odYGyL^W5)Jd{9>cu${23z)KhCb49cr10{ca z?cn<6d&mWGPlgjh`_W{TnGf^XT`Sdjp6hdrLa_$TaK-mShj}o!pnt%Q z%k<(aM9{-@LPK@INP*b#=tQdN%^EN%JYZ(!!i7GvsdbhXY(8H1shHbO(gcSV)tdqb z+aT)sI~W{6=d10n;bKWAr}?IM#gZmcR0L|b5(|F~=oOcWo}PYq#I_FXOM5QN50A+VG2w4Z{&?)2fVNO4lTEi~0ACVWc8JB;Sf3#Y$LSE056nUT!lBoGa@+94}D)lBs=(E#=VeBTmwS&7+m#4roGXIuw zSm>_NFd1;h?w?K%5@kVU>=+XH@i?~BJU9j1pE(gJ@S5*M>nG+Npko3*KRDlpE$X$9 z^3?Rv=)g)g7>7`;%ow=X$9R*!3L0pg)Xe%7V4R+Ww&35II2M~+W5Cs!pE-2k(9=_; zi96a>7!8;TNPi4qS3I^mxtj3&cN7e2V3+V3wZ95nBte#-y!{cWYNfC*+yoVwSIf0% z*2rt0vLZF6#$Yvd<%+=i$a8i3othros7I&CZ8I9Gt6Hj6p3vg7R`%0(A5RLh!H5)# zZq`*ny;x63BkB7Wz!yP*bWQail^<+iZ-7PoOaB1-X`JNMcwJ2~*#!5?psN1hxAL05 zZwVkE^uUk<7DzFf>Yn!QIc>wwiifj9jfje3}ZZ4}eUy{!^dJ zJ9-U;t&J5d=5d;!(Ef6y5%B-|OgtznxnYDY4_HbOH_6AX-*(rH#x*raX*e;6145sY zFO1UD%Y!@&TZI0EWW9Q3uO~=Fu#C<~FM^7cR+Or!BkZk0aU)9J&WO~Mi_>Hg*8W2U z7=tj5su~cvNOYWF`62$$4M?&8IOQ-SJv5q9`-Tc83^-D7*ER&w_xiMeUpRR53R7Px z+B8VLgFX2>q6$t9_|7lD{dbsUS5#+uu>0vjFc-@(^I)&XvW|SA&%am{28MAgFEX;h zPl3IVMkM0@&p@zWpb5Q&KC67okDp`vNsy<@bNtm${Ny!nd2W3Afil@|I#C}>DT5)g zA7`jf&aAx$suEuC%VJx3vlN}==k#UrZY+ zjYw;nhys*6Zqge`xROy|_jwSgcbECfd=`(QD2SYSMP&mo(+w;9^F=PDN- zo)s5rul~eD#)@u+5fM^+*TT>|@blZeM-oT@DJv&RBu;>G`zm)$eq9ksf?+x?1K5Y% z#ZM)E#|ALU3z&IUWz8f-Y8GQ$v7fOYME<4s2hsW)dGRqljx#wiO-rrNFageeX`=DfSHxJYT{>JSnwS}oNmrrm$S=Wx0NQfTUHeIb>v4bKwv|Z$ z9s1t_4pB4>w)NVz!HAqp?|OTpC8k_*N8NL~BHKE~33JrXrjHF$;Tiok5vhh*><)8u zVF_UgP|Se0=|BnS=?ek#%F#Nkb2KOZ{!Od)jd>b6x6Pv`bA|hU(JiRnt-hVaE74Iv z+{&5LUp5CWL|N3M*Uv5yF~@mDA#7LmTZi}dAxUuDHjIX9>6d3XIDMcT!(S}$|2(%}Sd z8A~x=3JzzYId1F$>zGxs+Xlj!qX|3J6_mM>r&}S=XY}-~fD`6u6}x-wc7fpI>0QbO z`+{pZVxx6~Jwyk`w(2kLYVR-RC{_%hB!xCHA;QP7d2cqP-fEBrY2~V%swyBA#tw;u z3zEbVj4UBU!r7LC{qw=f@2V5Nj`EIl-<7fH_5H^2*H+xxh#98|2<=x!N?Vhq-PRS` zzug{mK9=5t*UZ1NS_7*cd-Z46(QScjC$u^Jm8qF&JDmAaW3S|!jtAF%^c%=Wr14Ib zM5d@-{s>(v2Ful5Ge(|WwuhSBt_1k+L{G9}l86t9;@Ddn(CkNW9t5ada3;q!svva) z?%r@Aq|afX;CD0l%AEX!w!m%WfZz^~xbczDyR>87fb%H}2(~Yn<$FOkm+&LP$~PD; z@Ag*xS&aafuW1IH76Nfw^<*Nf$2RLNi(X9Kdc=-xZ>fc7jDJNqu4Qbmk=aq?YJBKf z8^#kf{rsgG&fGv~o_;Z2CVsR(@&-a;%k7$!5W4f}vViK5N^v;W=y#Lp?0@<#x1R;1 zISFD3dJj^$0<2KigVrA68bV7S{))3i62fi$hy3JFiAxXfjW0|` zx8%4J6}TabUELmcBG0ixUureGZ4;b%oUu2V(b-923@`^~%75pxw!dl7GtH);YHxI7X-cB9ho31 zOd9RN@HAR=Xb)ildGNCl@~l@ga%)4=KJ9)WGioG=X7x#)`%=y8Gd@NBt zRH4y{LTz5pN9GaXaB>nEz;L3z32g626LRR)unsRZJKy$hiTs_~!_8cfm^`1w_4|At z^34XPq>X5rBDhZ5X-7&7m7C6r>%aM@YOQoNG6^S9<^v^Mb_R`D*g5ha0&HlG8YCzZ*^?7F30x8HS2?5eY2j}48xq{E=cD^J zH|4dE;#!i|)RK+NZ7%hwiQ)aI(gXfY1_m9>$@)ZL6V@6e|8%7x+J4>$^2rCwIg?WB z`wh7bui^HPo3o&CL4Q&h^>j+%pdMgqzOv*>Su9tEKFir6=i#kP8co>8XrgvFNS;*4 ze?1!b(}w=A&0LV{FMJ^di3&f|MT^U5-pymuYC;pY`YRtO&7h*F(oKF+?7ZLcom=iu z_rKllMib#muq3BHLSb~Fl%-e28Cbt=uB@{*US0dVl;6H^2m*1jY80@yd*ACu3G4C$ z{!5~vOl5QuF^jzeq7jSav9HcdG7i z&>i8h_%MTZYVDp&f$A5J@;5U`Ws8$Wgu^lq{<<6m;A70MNK_1Wl5Eojm^+=%VvycW z_f*lPk2VSbEMohHjB?sv*O1S^6kqwY z8bE)1=xG&(kWe+awM;||tFC>;unETOy6lM2V3nAr$(4Z|JHseKpC}!ry?@QIUHL3h zW$oSq6GVcp%`(Z%k(PMN`);egmF7x`G3UdH84M+*#QPJNbLp%MPQF2ubeIxQHl_^Y z)-{Ek1o8*9NUQGiyXd;9NvdnH7G=_2Ryf9^h^o(VBmUCyo;tgRgz;Bjc1c0X$9BT3 zL!{Q;!-P|QbD8Kjnz5o1P0$4C(<}QoS!|QoOQ^i;J#1l6WqYZLG3oTs=YK-zN9@{H zJ^#9^rk(Rg2KX&B_QP+0(TR@MM25BS@=eEFwnr-e;%G689dapO39P+rs{qR?>ib+? zP20MJWXHLfYn2JYAXG#`WS|d&8K}005eUc_Xze3{^m8|BS zA~bS~@ce~XyGQi$8XWM553<& z|2r+hxfGANczbWcVh`)8OYp$(YjoYFJ!13X+14hw{tl-Gfz)oj){Qo5@2tIEUt%UO zzMg#dW4?fkM?PVi%AvS4Cw7;V&1}jX4wlo2FjRmAwN@i(-ewG^RF2|r;mv523=^%a7{qp*6 zkjW4e`$%Y=*xu5%ij&b{RqbJTM8HGKzKo7{+JEzY#;VL8y?DHCuq?g5ob{IL);6Wd zaWWzEKsDq&i$e`kV=~Z$zbA_12)jFq2?kOCqCyVw>$+ZeilJ(F?28wuH@UBs-FdV) z#|n~)B?~Gi{PAz!pN?IL^eh<~iGMUyb$b(kWYwl|eAT~~=Z*Lftn*2(Nmk=(CK6rN z%kkFAzG7k>1VHVEa4u5?jg`(GFHD%yY~#V#^YWLwQ<63~vhQ2uIAA7Ws2K)A;KwI0 z;eJnS%Z&^ioX5a|`FG+&k8ifUn-Ljpdx=UM-sRfiKF(UMrq@U8j3R=n2Kjei*JX&c z&frUg?$%N~goL0Wb%}}eY;M3UiozRR`m)F!WqVSO!-~PO@t6*HuW%~)i{1v0^b2D> zGYpQlke~XMpn79#MkfBn+&LxtM!sC+uIV`b(WArtnxl(YYQPtrpoY%X>^w>S>TsRK zTZ3;J%Kz{UuzJEEXIINlk-wfwyiv$ghyE8%NU`ShUzu(mSXRTF)Sd$@1I0Xz)+kJy z8|Il_1gWQ2l(Vm#K5xB^Zg*efG7?rdb6#So)}p(R7{CXM%px!i9yYyw?R;r(-!WR1 zPZ}-ylFZ!xw$Hfz;P$iNrlJQ4N9Nsg7dixKdEmYiX3XFtUpZh~?jBNm={JClQwBM^ z$kE!9^R+pD8{JNQ8Z@FjdztDu8mTL|`;(BWa?z=-V5>=vA+6rx_g>CnQsyD=U&ELi zvT>op7oog{TU+HJ$k!`lU3;c^5Ur#2i#C^B$QZQ6Of_&i@OwE5 za;WJtFL&p?cqmQ0JG4w^y9x2*N6EkvPT%gkC$c7ky$ z)~uJv^?+oPGXM4`xUo8`pY=1b*SWTu2t|^rzO_m!)uw6(SvVI><-R(==li80Va&5! zwciOj<&>kg;p_2o06~lfxFP^0zsb~PtKkG2h8UA)vTxQ@qMwm!Ch4r41an9D7Q1ey z;&j}ce5>$$@*p2pJ%6(9AA()DslVrLK=w~GjyK&C)cIqE(CEJ`qE~bz(Jl5b)FQ}D zO&m7+kS5GXUI0dG*7)_ukS3uY$H7TPSk2Ye8f@fx@~u_EX0PxGgDdMoU#O;8gM~en z+gG9$N^tv<*=x|nyYcvWWfct<8l!2!uXBY$N5 z!ZUk8mA)8;#GGI<&XOAIS$A6zVh`2SQ-MaC zad%6t>~XpFWoeljPt!A>jMQ4KYjn9<(n86P|M-2x5XE?E|EDh~{=w&38zD~iu1H%+ z%qE2qIt7?b{R(ZrTS*20fPW`QJFWu6Dl=?`;t&REhn-4fOIh8_^-PHI zq7D+VWN`O<%8lb7HK9j9{*%3E2hq0Djv1P-y2;DaMrO{Y6>#z>en}{3qH<^8u2x3p zZ+b~#H$v%GZ>bOE3!B9qP5Bf7nTmGdYDz}?#VRyHP3LPtF^L~c3d(imW7+GF;%4cL zehKqkn*2??>8WT2wUCZN}3Rm+Nc2S;!=6DB*w<@FKWx6 z?F0!vTG$aUNBrYtMc;RUtWjM*%KIB$7rD>>k-iH*M>}qY)8>V&2|jYFrc<+$4U`=S ze4c7dvV#_7*p7Vg?3ro&%WAjqy?qUrxf`sZ$;q6S2t}AC2)CM4yh3I@XQ}vhhd_Q_ zFyUy%MvL!o%qeUZOed?3ahlw5_Mv-*wvREtDVn!Y_jC*Q7}4V&od!<961E4|+48E* z+sA@JBl>QAr{@cJP*glS$$|~2bir1%Ls^C_5*03Z$`Y2bLnqV!eo!uQzG~LadEC*| zE&xmY#iGiYDRNg>A^BjHqH*D6vDCNCdDHV(&Wb(SZLVHO>MWX})#0Sgp7BZi!?Sw( zsgrA5G%k|iy~W;NDY{4oG+WCKjln~a99?il+Wz#UG;W;a#Z3CwH0>jt$LF!|k@p(6 zrww?mY(4MJMpDj|9M;GX_rk_K9lOQ@6+~F0PE{Gtya0gLS0VYbJL16pIqtqc@?e@K zK)3kv7mYlhwdywbCf&SImGiOj-MIE^{#Js{L%i?te^Qj8|1G$$!T+X{^BB~)OQ}yv zm>=H^`Ly#P@`>M>3)egSWyF{~tSxyzPj;jDDkgjfPYUnHf6^>}xrO)`SUA63P3a6B-3gIAKBlJUUQijf zgGN>sJ1XeSC!1Uio^>!0$Q9JG^b<>G?%WS-L(5?65V1m!>+P?hx>#RZk657nK~A7EtIw1gpqR%|!LK&S2&( zTo3w=a%Srq=}meXM5cpfWgF8h^|psUeX(`Lag(dfQP6^j8k=|;pV|3f zYKO>-`i%0%*jgHw?~P^VrqRKBF^r2v|6&hivDOW8B(7L7^!h9+^Y2${SfalS{PUXZ zJ#E`Uh@0dust79<#patQPwSTuI4u22%2Vp=i~4n2gK}v_o3aDh=kgCTag8Xw;vovX zY?-2qi0|zc%hnS#R-rne+B`>cuX8mxU@ynA}}AgYQ)86MG^1(Pe>D`^ET%6B&^BA`bSG zJUIR%QD;EItP>^>EcQ=#6KETWngzQ7Ag1D}E41{6w=+W-oDb5{D_h*5sgYnU%BzH$+Or8kmvW#J5=u(t~wF$!3f7tLM z<%Rt;wnF<4^}SCLC^%* zPkA57hbymsB;44JClJ@tlv)!1TR2R|573k@xt&amPI)n69V#kS@|v* z?ar)M{+(#3(h4uyDV3zn3YYR5P24%YoAFo*^+&OTie1e@8zDJQu$Jm^VYW)f z+;a67wO%BqDPifu2zuVCLec3#en!7r82A?4Y@in%)>c1%vk14LEbTzb^Nf3mufeif zLTW=gm!c{z4--bCXQ^06Lgz9cQw9;1AyzUpg?|A3=wP4NwPWnWhXRK~e;MNR|GfYp zKfe&loQ*%K)P5o`VP@?AE-f-Jup+%6PgEp{gEJC@br zm;w;)PSvKBIFUr(!+E2nhn9+h->xY_o^XGApVOL^@W<}3PpId(AEu+(s|c0Sc;p}z z1*@0lqGk@4PdwsJM@Dm2_;TAn@(7n2Te;DZj5y?IwGMK2;FCKN2{eVGg0j>Q;yz=8 zGDNYB&U0MaP=hN@$hX7r3ty7w%w9Z?-+LMp?Hby&5|HneHgQmvlcOSun$PmyEA3GC z9S)cRNSonA$ebKsNUhJl*V|=gFjI)9g>XoD+2PkEhi%7$wX0MR8r$ewq6AUYRi0aG znWz8s!QzORAt*RqdjC0Gjj#)ht7aOtw&y$RVj~TNaM-KVPZe}vtTz$|lIdD&Kfgo8 zH)~PZqJ1si>x+E+GU9n%uoG%l3cu22eY{7ZV+gDRT9BiX$8HtokS z^$X=Mw*7l-3SFGuR1TYGGJUJ1N;S%J;Ny%7n)W*~>KzoXoabOf^#T6Y%0>D9W1I6o zJ^HnBrTGt9+lP^q`UgW_*^l^&rZPaDYo33+9PmrChtgnZu2{~7%DGlfY!&xBqcquB z;5H9iOR!8YV(i4a{p%&+n4_hLtPE-sg9Sf@`s@0J|8ogS-x2^8PVYND3rbMP_t6hF z;p3IPiYHL^aqJ8pZ%w(L7sUh97pUALn037`aup&ieC$&deE2_oIZ_^(vJzKLW&oDV zw@PS2EEM-{M@6WHd-Dei`aC05Ed`_Tj~4UR-2VP8bE&PKy~M#_Dd0=2b!4MnCS7>? zGv$0x*;gp`0k%TJoJ2`*h5+@7sFuzn*>Q!%2WEi$eX#Ndm=v_=#a!DmRKnyowhoA962YBi@KZi+9>ccLZH zK|qypH+t-YO{i#*gMzZXP<3Pt?YFjEoGJ=&IF;o{g@1@btC#vq zg##auTG;OuI&$pIkv5F^f1rAGiM7-kVkVQ7{!f6Xl8Jx-KQ@1vN{W8xwI{yWy`%c_ zdRn6)?SuxkuOkZ@h?RxaI^1kovwXsv*>bWztXHcwToSh8+luxT8>e8~pcUPGR9Lli z;NL^2^uBwVOyyS0nNXp+g1({+xwb=KznOA+il;wnMO9lY?S!@5THO)X7R;r)g3!7m z-KujA4&lJ?XmVFD(jGZ92jX7%tM$EzLTsex-`+2imy-Y%7_CzL0vL2oHdRU_| zt#KGGQq5`_tf>(r@U#Vkm$g;6{@OO_i_ymO5G#JHe;#q|jpfNu;Q5M<8t&J@LC*^6 zXcA=TY0rxDqwEmOpi>{5Ln?XsxcHuzfmLYatGWfkfJr5WZ+)IDyuvvVb~(bvaCFPJ zj)U9Sk#cu8#lkdlwSI|PVdW)^)bi!8NMd|cp)7FU_=myHjH?kKK4)uWYp3e&iHM<= zs?vd?Tm1~hRzf$vRA7_1b9Vj0B}+Np z0q~Ze#=L&5j1RW}gT+`BeB}=urj0j#->*0UjYEwdXfU~O0&QQ9n`Tj}BAWVUvG!1Qe8?oj)3)`}YWR$-*BZ3Q#8 zrvgh2dhA+`J>|8KLotmqDyakximy$Z#^LQ$u-QKnl7jrA>TY*vSDS;&& zc47%CT+}Zd|EF!0H~QWv^$gh|$fXV=5&ffCQm~NPn?stZ7sW%#gtfFMT*zmZMTeS2jNAa z2Bz}~np`!=N8&8~yUOH;QsXbn%%N$f&~(X{Yqi;>mCP6f`)vA+b0>xUG}}~jp^Zhg zS`Qo7g27ABpwB;=qf}-@bIRl*n8@(ifzn8I>&(f&Ac2^XiVmLsmXMFAinjvXf-blp zEmb~t8E6<<ZwF$0JjqT#R?JJ* zE5KV)K-SwMhg1{k0nrslY~Fv-o2KC+3h%2{3V4koVTBGUT&6PbyTh5gFyxkJvOVMX z7ex=dXUl1!B!B+E_aNmAYnaGms|;Wd^{@@2bnYd@J6^UoBR#n0)%>MqT&^q%o2zA( znPNGn5o%U0%#}!r<;JlIke&YUPRxE270xi zzl~%YkPL#%Rih`g*pqArwLlApTc0c77P?_a>z<}YX@|2FYPng@c1I-p=msyx=|B_S zh_|Ccs&e?Sp&6O$PhhrH{qAI}7i2bV$9m9FH)prBUOt$Z zx?AsHtD$%K@x#6nsqpxgy7*O82uR<~IsFOp+{~xiq<&* z*x8jQ9k&FDCC>F6*{H9GzVk$`h^TH8Ah}ou;fw8Cc9Q6wXh(fTo^Z!qcp;E`B5!zU zmH@|8q7S~cx2UrSbG?{Fm2YfSPF=toZMGc;(a>w1Aq*!j@yJm{j)rcBW-d!JT(cH- zk-0~X=4P90w0aN{8t^^rbuTj}dy^_OBrD+TeKn%C}Sx08@{YBSdMLy&?sa14PgT9p+rVAK@YA8=DEQIaBL*=- z!ids3i0TIl0Qf^jEBgL}ttE{g5=Q>$@jjV-7Q=OmPS6)Tk-DENAOR$M)h^VwJOH29 z>Ev0SPX8LsZZj35t@_q&_Or(H1tSyJoF3VB2MSt4dTU$VWX`PBU$)Ac)Tj;g;xP_FpgFa1PpjHO8iN)nEuN90_^&0++NEMUDgR))*M=yovC6_om3 zwhob-9#GY<1>+OWei2Cu&7IshF9Qo2FA7g4eH?B3Kr1jh6RQz!v0+$;xxZXji%q6U zOFw!-HM0m*D1#-}U~Wl3y`Fm=<`!+gyljek(%msVQ)DcAnd~=M-Ky+luvPkyLc$9` zl(q1|Lq^M+OQ`hat7*&j4G0IJ2WI@?p$-!Fx4n?vuOMX`f?3m2jVC60zr&EVG+X6A zJvVtiK$bh%yYBNWmCZ8`-pHC&r6yY(* zqF-+8)AF~%7*xb!hyw!9Pju!A@R3yTX2%Zod_3btp3F}-7GFLt7(o}a$$6$X$>4M@im8=DQ3d5tbreNqDS zjZZqXXA4cQTWF~4*279faygC&CcfS**QAHsjXWLgh;MwJY{hBDeKfNm_g4#*e~`5z zMT&MZx~&(WD;LYpk%$F@=&zcJu{K(}z)q^Wqun8goB+#7-Vjz!a%SQ#uf9~_)5`v; zr;^!MkR2u}0-9+SDHN&a+;1Mt6Kk9|Q1rWfs`TP~y(Tp&DEGPrnNY1&u-LTWdfstK zBk5t5n1O=%AsAU^B^S)AM4(3NUu_TuMUxiPBy%QXic_}U2s)Jjfl_Wz- z4DI{JXi-^k>zz;&41)LPl@`5&j!{Q>Wo0n7QVxy`;U8S>J=_-p3IjUm$Frb)9u zVZA7JD9^2iAQfBS=ho%wV{wLTc%Uc_1uQ9L}mR8px`WkY-C92bL~t$v!mL}xXc_!8 zfjC)aEyMZ6P;^YMHL~kxj&_d_AQvSgNs*S|M{>f=HbIr}icsv;W@YG?+j*X#B#9s6 z&{7~)8B4qu-UjVhK-1kc)0gY^>vLUyjdVR6+R2suywQ}tYt6l@k(;QeUvA>2oI?xBgDeE|Sc!;h#?{;#whpnVb?n_LtQ6|CtRqwH;S{JI z?@=muM#kSq@QgqjZ&2alYO(X2>>(Uqod)po=<9(rRpMMw}l)r>&3`qkX-@;glY*sOq zy&e2HizxVR3v$STvnySE390VKK7;@bxxkJA0Bw%tcJt@9eg3!?13b@G{)#tE2ew)4{aMe~){{Hm$3V3Cs`=XhW1K|?gzt=ia92yz z=Wy6Br2y#gdYL@kGU5$<6JoPu-d-juY(F`Zf{Zv7<;~KFezHc;3)d51*YHE+xh>RC&ws+nSN~n z%|#P?3!{_OIwj-3bMyE6dv3|sv=&23{Od`sM*nIpKqw>*peDO04OBRTO*pU(D8Ri#)$xOar|yO(;+5@oJe5( zb>Th?=pQWvdLz9WjFpcNK&ui1+s+SX5zt~LY^O@%Hq)@(nCUi3-}^8%_zE#+Am`VP zL376WX=EFCyK{adXnsc!k!T@T1{&f4w7Xd?b6k&j4z)bp_G z1T68Nk?*Ey>wawOox`7U?oq4!nU8^s@1b8t!fX@CSAj^Z`?L|u~A>YO_JA^U7IALlz z#fI;$g82#}2_RZ59J(HEiej<{`--8WP+yF-JMhgGMhHyuXgbIIt~WE(OtkMn^P_x*DvVlAzosxZBaDPwQWtpFF0uLxio$C z9R2u>naVbDx1V`mR*pb(9r*refV2OYzIg7HVRCzc$3MxGylo1YiD@;3zvR8?!*+cjL4y9UMayUo5!{`(-cTqEc#z2}Km zI9i+V-4x29Mqa(K<(m2YNEFBe=V*2DZMcC1j*8%AK#aaVo`L^&@=q-GVz9ey zRyKc*n>^Tq%a6NHM2_Zjx?LD~lp({?soWkR_a3OTlHmNU7YAtSdN5$fZuyt(bXdP@ zI8)gXt7(O*Bo$2OV50DbO~2;$^GC=a(BI4gILOZ#6H#CeWR|9f1(En?>@6qbLx8ps$vz1)fZo1jtyyf!&tbefgs81p`DW_>$E z)mta;-dn7=sb2P1vd?qPnosR+Z?y8J8j`iYzxN3m&j0VE*b`;Ry^i?(TAjY{y7#;>p;ky zSL&jgpE>=kmd&aH(iacuu8ep$W^R%v@_1L?Tb=k8=dcnmCXLbB)K46fejpQhzAWyv z6dOfW-q1QS?hunbSDQVleMq+1c1KC;hCd_2o;heBQf)IC_b|rxH;o3g3sNftfu<1l zJHeq%_cDGT_eV?%@4vdaH=L#K zko?3%Hl(6xD$bMh{|4gNE9i{oT*jCplw_O56(^PMh(Nlcrd8uu=PO4*yO?hjmH^}O zc1D;#6P$gnwxrL~UX$s)zLhge2Vph*iNhlDPz=C`7^necMcS>4nyE{FF*Csk^&T>4 z2*U&cBTe-(swEHXdUk>&qP4j`$$r=d0)7HB^4(o-H4zTrzwf$Rs=lM<^dNJvryhlJh+VP9LKO%l2D}&c3D1 z8WMI|IuG1bou*eEY}JEf5*f8vKw>DnSoxfO7)3%|tZ9jQ*hP$f^;55_gzV&!>=j-m zL0m!@>9@Us$Hd1$2c5U%F2}@I`L0~_7OWEO${dil zsW_%zB(i0%TH1MlJ~wIAzZhjxXW89wTuw&lb`><;?!Aj)Ro@K;&uT^+)Txo|@WcFJ z0K$qGFT>ioIMC1hfx7dN`r&D{xYU$<$us&)>0*3i-AB+u>-HEO zgL-t%{R>lvO*#39?y2_rKG(68Cq{W>W@^2kfHou7zHtRVY&G(`ld?O8k!mI=aKT#< zKgENxHGC!?=ix$prMlWD^>)@RN#|Fm-M($0+uOR7DydO(!OBHM7k)$VlP1EKSlE^z zrzc)}YdN2rsZhK?`QlanTdirPawNCi;T^c`s~}JxtdnDg8W>dq28NF9T8GA4ErhZ0 z*dd08*yIyeq;hTD?|sUY#IY24!_`tm3D#3?^KLMWDT4KD9W3ktpjJQr;6~}^d{7au zlQeBCV|x00DBMe8-C}6kcSsihtTASxrRBEo#ViJEL~i_c(YJelFpB7L7rs;A&eb02 zRNu3*B>F)w@A+XW{5?DfM+qONHwm<`JCdXKO($TP-^fIAnrLIXEKucVTWn!x zClJ4s$#Znh7RwY}7VbxH2rStH)5ryz%e0*mHk@Wrx~}&!uuI$}=$(e%hyEV2gO44g zZObEi)84&sNl76yKWdI=iyxA$s^q6FpxXsY|Qx7;`}>hA3ywU#d)8w1%q zWY_AJuB$u(nd!dO9h{CnZ zpx_g0G?1)96TtU&5prLDF?x3+u!s;kCE^mZH?=Z+TTz_2c~`rV!kMWI&6={))LXP3 zA8nXLu?fxjU4^=0KI7tUHnxTHINvV1-84!?5zO}~Bf7II{wuKn#95sj)u&&7Yr25gqJWAGeT}5>br|v2ZrLQqi(uA5bfdGP=$3Z!v=6 zaeX3Q4jB2xu|vKTto$g<({*d3*UXuN%8Xx!q?~i4D>UH0ttN6(&;x|!ygHW!mcrlf z!UzAx>EyBt*pLGdST=1A?{nyLwUmEW-F_8a)Y3ay0K&tg&9(T#z`J^;c>_5txW3DN z3lq@Xt(KqVKj2DnbU7z{HT_j@#Bk-u=*fh^lScK#nuJlSvDZ2UjDtLQ*G;EXT5~*9 zX{C3;)2sSJb&-DKtNOe)VKww28C0*?yUqoLW<$?(E-bEMW2g#Nc!(%7s466wWjDrR zsKOj);!@uEzFx-8W1>Di3A}l4t=)$f;#Fp4{RxfqyRq2l-!u+PtKtMcGa4MZ3)fN|N zWrS_@==}b6qDmq*C|vSc$sGj&-g5nvcqcn+G7O;ydsE~AbOdvPUIVC%mA%npChohs z4aBtqhCTCZXX0FV^J5PY9ScTpZE;Hz4uBCRoLah?xB4$l%(ugrEafWNfh4{T^Cjf$ zmxdzCWTB4`54oTDO}B60_**rTv*V}R>-XYpULOK5L9#E$9A5IR*5cW}Lg|zm`|s*6 z9#uLYib%ilVZMDcn5!?`gd`Bb-!Fd<%9#L z`%!~L_QiuGbfVD4ueaIU+RjCQ99FR-<$i;k8}WK$c@ zX?wDXueW{cKIX@zZ+bHlJ;D7Jj%$IM2CPnx+@{00nY$zFFDpo-t8-+F1M!JG#VCVE zFV{TjTd@du{%dwv`?Gum%;67fzvejV!#)-CEG-%nHiEgn(K3(O`_yh#re77`CcgW4 z&|j{@=KFs%U1d~TUDFNjTBH<*hvM$;+TvckxJ!z=Ymwsa?oROn1q#943lu08BzPcv z>ATkVKkKgCGjsOrJ+sfb7gE)pTkCbF!%^e3p-Rs=-~*%z;&jv7a`+)^FUb0TVf#}S zl0}569|(ISNc8#xDtQRjXxNe`C33c)?C`g-{udBL^HUY$*dJ|494}}6W^0D@89wKM zGv{oD)ut3duab2AvltzuZ#)^u>7su|r)Cy3^|-AU;YhM9<(KnA);T#OzSQivm^nNh zUFBEGrJa}Ed` zgw~xquWTMkRhK)(+$8@oAML5E>+w-Zih~^}iv0LMde&=DX$hHEhcus~m$jJ?uDGip z|E++(izSA+C;Ez*SV<6cz|&TkL=aYSNhU!cmpBVxS>VBQWs^t7(f222TCk<)4yz?@ z9uZNoJeKTjzA+@c4+omD1pHk->5B8uf!y+C5H99-UW4b(Yebe2Lgd(FvCYEy&jKZu zemBAgVYE>c9xipJ@c916Vb#m`2X;i?@3z7;(1sFu(6nefF<2QzebGcauk@qJ-e~RM zIK|O5FV{HJX6C7FQOPBMwSv0l<7PH~TqE9pEA5RRu-^-A-q*(FKvDZ9GiPm-Jvs*z zMueKn$zsmlLMD(M#g*eaZoL>cpAo;Zhy8Iu1S(?lZMD+ zU!lCqBfsFqVI>m&v;P?xn;Rr6NpeU2*#JjE(mX3l?m0TJ-#+GAP)HwpGI_kXaaRyq zHjPh6|HlPne#VZk&wDZ?$0`>=iDAIU*GdP zN;BChLR?A!{XeUn`yP<+faEL-BJE_L4R{mU8<@XR8_89enw$ImC|ejfT?*M(cv|7$ ze~V#3eg*p6`pckv0|mfT{F!efg}P#17n^3NnD!$R0b2P`Q8ibwTpi+2aWWv(2mL>$ zNI8TNwVR%Hx@amb!CL!W&gq)(ek-v9acE~h{xeVyXs@~E#A4kpAATWlpM8boqSfZJ+l%vPO9Z6SGG>=v@H%~kG zoOqpChb-YSgi-fS^2@ZFcJUgeMZact3v)dm^k;A?nzFm|l}UPI@=+7FQJ+&grO@kN z$&U^T6@e95$RR&MJ1kL?##rAY&}>>u9y%uJf9$@su)x9+wegfy#aT;Jd#&%HS$$IR=NzK#KQpi`bUgNpaai`#MpgRy2Q|%ZX?^xm&${Ss{_SlBj;Wa`2Wd!o_Zn5y z8R_nqfGnKaNF*~}aLN~d-7%b?j6m_PDNU-pC-oL}5*UWRg|7o)S@|rK4vEMu2zhiN zYeMrCS)1(`3ttpJC_u?1&2-$~G%DC4_TwqK9^G`>EHUUC&yp{9eC+hCAWNwxD$~ZR zPdF`nKFn?}G%H*!6!;y#@3oOhivWc^i-7iFC*-ul1YU2kT07murMy~~4>FWjF z-F^pBKgW+9PE@E8s1qOQZmZ?~SpA#-bW=^Ri!_WzlYCPx>4i{(KG^eav1j_Qtz~E_ za=$>$_1BxBST@+{rVoR7d{GlVVLVL}zEs%S%R4k;@vP^<4;_aRBqtJ2Yjjjixgkf5 z>ISw}Ms{nUqsG4pB45H+4h724MF@&VG)CNpj9NcU2iU`Yd~kg4*K0vbK`v7nXe%Ye z0g-=wn~RQ9BR;uso3FiDzhra&Q~!A%IP+|(qsF4bo(foE)m#VvX&zvNvn&QIii zVDz9c!MJiUSa%lx^mhdx`AGM$@Js_bKQU!P>%J`hvraQ8#-o4r^j@$#UxQXp>rKrr3d8imNgwT;nY;3Witi6vI7;vyVe zb@k&d|5@sBQRw&y>D_X{y?N+{gjlrDA?HtDUDg=hw-C_`3E_{6!s=Fv%8k9Bl&`GO zjS+*p7=sW~WHC5RT28@|a@W_J2*WkNRmFKSccGF$Y3*hwiFSq!G_vrOFknI~byGWHwCR&fjlJ`l)Ex|WoWVL?Rhs;K{z3u~( z!ah;(ja1&W`*#S)(*Jy#RzTLb|9CHp?oOic@$oR^@FA}eI+|6XV^mQKjfRNV`v-W< zVqmXMxwUNn0(4j1UjTz1Y?A`rIIN=xPkw#dJP~DrM@Sz5*izK=AZTxap43IAv7-Yx zjKCkyxXLC(*?lO^%%G#pF6tH(J-0uBN z8h_8uNq)gCAYW#(RVTlR71R*(7^8hGn$eZ3$9NiUVsjrkSDV{Le;mFxQ-^Y!r8;~R zr>|2_KV=S5M_B}X1v%KoGuoPz67^%fW~(u#`rFoh4>%Qny;?&+avGfeOOe+rUd;#j zN!@)GUYWB+id6N`&#Z3Re_LS7w^gC=Jn_cZV&~vvmcC`YuSRqeh$R#B$|N=VVMUU| zYw1;$iFpc)$2J9wL;NCD~G>#f=N zw?&K)e6MLb->sJ@8%{<>nMwUvRE5_q2d1m^ne+fiC+=|@j99i{7~E-mXR%>a342Uz zsH)(kRhprsEod@10)Ib8tKK3L-xnV}O#U^A>!|rURy*4~hnc!PL~&8PGvaR?XmfA9 z_YBPgyW%o})tK_`7e4{sStn|ooRmB}nC69})E7}KK1}TGltos@TtbU4DFGHXcMO}9 zP%!aE|4S>E{)lF7HOfLr{@ihl1ku&>CZk?Y9+E8_J6hMiDDDsCI9^OTO$&={TT;xH zXn93_d@A^0_k-&o`D<#(Nnsrx%;L&ze*=!GEQs}+ey45xEBrr~>gW=WV}X;(r+P~X zr(i+L&=9m?iR4zByD#Y9Q3nrf?&vp(AwQOkz|dgYZH?{tu*Z)}W#1OB>-2*T=ZqJo z!0`i3$B7-0{3}89rN?KZS5&eps!oYn9@e!a1&u|K(3W7(lT5m4n|alX_i;_<(pmol zFSE5&lI1do$%|1Y@HgLHRxr_#ZeXNPIQIa_EF)nldk`D+J;PEVZL*af^^nQjg<0PL zEV_${N3m$iVkhP5X;a)jH~8~yUnJ9NS*fSR?d=Z8?voI>1Ra38K~LBr`t5>p`RwSa z#ue1-O`3zOuaathcv>*oUUGl1j${b8vy7{yAJlhSdH@fS4#k$mCYlB62pg27Ez zQy?p5Cv`yAM4f~j?pU9%=kd$H7p5`p86uSRkiY;$XDyVkdv&&?7wYV$_tSj#6F+09>(ol7`xj<^n2eB3@tOaBqe@D-#9!bmM(k9()$cboGKEyz;A ziwi4c#vCvh^*y+!i`ISx=_E@N70Q;|(#f`V8|h!!Stzkvtt#$iYhb7}am~SgVu zf383akcYhj$usFtu9NmMZer(-y2 z?#(&1&*F_#Q$5atj7N&P9OYN8RrUHFmQEU3;{F+W2Fg;W`KYx1suXCf+Lo9noi-6& zA=^6cmzLhdGEb3y5mm?%t+~lz-+}fokngn~-FFD5PK%hwf2x+{4fG8@6qOkyKJu&= zpWJ$IO1s8JTBc~@6}gxW+>47E>DzgqcuX1|{!4zx;Vs>?1?VDM{4WMBCS4`XDI@+v z!Q33;Ebpi3AUEZo*PlyU!;{*Nng)0WenV8@SR`XXr$9E00ju4qq<&u45a!mu91b0`S zXY2G0Y@LA(Lch=S<#-bYTl|uhB=flYgFjZsK3)5S=#FZcF^G~9ND3hXNZ(xH8N z&TZq0h<-7at_#E1QCFF%Q{>zzxDRVg5-r1k>W%%u%5A%B{44X}_V$X562WJ<{HV_t zd{?<}3x2;tnXSGTS|wV-@Z8=?9Ym#3W{E;Oa$T}HaRje-t#KjbtB*aAjxC&v5q<~wGAe8DL<`}exd!w%#)Rbe(?3%lW1j^ z$ZK}P{X-M}=TN5w<{7ry58E)Lbs}z|w^ZMHAh?2O@DlhiCCo-J!gKNPB*)FXc zrr|@?L}QW!xhA25@_I zOXbuV%pf*xR5b;%GSl~30D)ZGMt?Dp$}SGcRJpEcCVg zhphfcBW+}d-W4W*u#pd^EGwbo+roicd0PttVsw#LP;87MW#;q4z30HlMZ+Vp6v}e{ z#a4iXV*af?Ex4*)kVx`@QgwY?A8+H}V~)OSQn!oL>NGLnsz&Eb&PjvaeS2459oX4V zRf>13e&YiZF}L0Kye_PooVzgSxp@_DjG$6mdxH?r&eV94rE5oqrDu$vZTHKv)kdYf z4=+5veb`O89g$-F`?<>XYSv;)HbiSn&)NT3h~E$&UmcmD|)a99ByP@FZEpMX%!c5 zR7($Jx49piD63}u^_ZzY4O{B;8{Xhx#L@Jr6dE`ooW~wzi&B>f`h7NLJJo)??vJm; z!?Li8Q~SN+reC)h{I*jwTkrFtm{%!hT{p!`Vx|X`@9M$ZJV&=S!omCa>zW`JH?U?# zy{V0NIR&gUtZT07WA2wWljhq3(S82~wdYHoUGm*z68`E@0-$Cmy6_Hb1oLDH8YWJS zq_Lmm$2l}i^(E2HYnvKSW?G;DbY*YpRrB3>zCTJG+pk)`G@fwo+TE~mbvDz~b`17RP^8Af~E7P6|o<2Ka z8b{>mWa4=@qemYGphh+ONq3k~TK|tK_3U@gRJoAPoUV5wEQoHA%<9T56n;l-#dqwu zQ?e}pbO^OgAlNzk@ua$ELBc0ONMT)!?q%4Yg*+Dcwv~t@=6QT*jHhui%?AUuAc+^R z@b>qfO7MDH`cb2{q4#=W|13%C>nZA(A0VJysPRM+^(fKq%Is*AwXqUiDnmMjrPlqI zH>sXk=TcE`YE8$Os%w)x=gA6%?e|FM1~?0QZI%{@{4kRtcg!OGbE%vClY<+RQ>3Ow4{oOVa=gbAu9ziN|22AGSfg6%jW9Auwsz4#aZ#*S)4$}lc$>Ca z{)|i8HWXK|ekzqJ95(&-@?3I~_AT1{?4p-ES&-ytsn@~$u!@}}E0wv36hVoLZl*%? zQv=)Ua@^nI5nB4|(Gs(Wh>K>%yg7R;VSgoHUbXB;o*s1t!a=vHYj9jtrBhB%@FbtQ zprqL^YzF6UAFt#4!exHE$PN=w1h|DF zKw>3w>FbuMczg6CY_M0)7EGF^E-{^R5c6#A&#j!2+109XBZmBGRKDYtjsK{zZ`gj{ z3MFh4&dNzMeAV%HoX!ACOmzlFw3oKz^+tQ7@jA${R!FMTxDGE^3ReeGluiY}E zuc5#uKwDEuv?cyJ`;#?)TVwJJe&*0WN^NDM6JhmkKys1qJVe|>C7whe&|sCZC&Kxg z;;NR|?E7PxTr2bDGQM(=a~T2AbO$e%J_a4%oc-Sog(oMq@oC^6a}*J1XL>R>7+<~( zYXyOCqdM|reS82Rh|f=n;+8ghcmT-`tEoI+t#LxB6tKZdbIgy2`v%TO7-z!x=bP=^ z*AZfzSpR+try9Q|p~f6PZRtXz78{!u!j5xHE-Tjx=6u88em6xhtL3Ah9(j|X=3{SN$DUu~$cQv_I|q+_(lSofK?;$oC8w#as1lqB5@28_czTIZonmjTd$!cL#;SnCHh3UVbgmRlJXNj zWTj$Mw}FkDYj#D&gLP-pm+e%OX;U?yAu@p_`{h|*a^N6TQp>h^AFBe02yyKrU{_!Z zpISJ0OO8M)M}l7?dL8WymJb;(o4#J(OvO492SN@GYGDfb)`2kJ^uVoS^?<40M^RpD z6nlq98PKyi#)Sw!${orM-v(r^aFJTky7RcWw)^d@4L9lYD_8;ASpwPA1MOUKgh?z1 zl;*K@NX1QhWL4<_X@!nNT!dB8Ze8K6+bD^O&rA*MdCL&zXqgg{DaJn9m~PYCWbV2i zEg7jfuz~3u($ORoY?e>!i)vt;?3seN9fiY9Zt)=O46xPmQK{;Xlr=%1NT+CxMp58h_=?WQp{cDb#b zpH{VIx%LWP{Brf>_x|P{>!9ln>zCQTPN3hqmYAwGaUQ7wqA@zZo|LSUf8ev%ULKf` zxHC*uFiqcQ4FMJ2$nizv2|tbBqs$YTmQ0(2PM*(8B*>+GUA`+SZ=wz+GuY(rvADV> zR)6KEiw^`zG;~}fh#$x9om+xZ#^vDhhiCzMojLK zo*6_uE&rYVY&15yJ6ErdI2dpxJ2f*w8wEzbn9pY{j&_NA6Mi|A^ZGvLx^~d6Sj*IT zlASl!0!D616FGGo+HS-ajg~<7jP|W=4U5%*^&zwdXDJzqOb4G1P}4^_#8=Y~#FU2! zvSjFYRl|W@M1tKg84c-mCUiX4d{D(eoV8NN?Ek$07WJ7IsxOyIXHn&7NzbvbYOxrj zwNr3Uhn@iR04+_!0#*KwWz~gg#+ibTX+{iD#h+s58{toy{@jKQu~dO6*vbJZxa-_= zg2HhRL9{hvt~W5MofaykbZ@vAI9K$rMmwqystzU5DcBI|f)`^B6nR)c623~UQt(Bh z_PY#NvPk?_lig=V7q_)&8?y9D8oi7^=k)?CGfuhsI_U>QR^lkXaZl7SgCT`dz*f4ielDSUlzk5U!DoDo1lSBipGF^_<$P*vvHq0=O zf5I{s_FUGmn=xd_=HxKY3Ea{IGL?MNhpk_>}wuRmH%&8R$qrUNwtf8TelWv@G3($2JO$(Qa z_h#*ySSDsjz;5^pvyon&p8w;Pns|gAM74l~mqaV|v(X`WE#R1ssb!m1R_|Tffxf`e zO2;9Ql>}l8wYF`$;);o&)kOgR5GDBy5av7U;`u`;*7xRVNQ6YomMJu|n)fXhQNUjt9lPms8n~F$Wb9X* z`yFQ_!mppzp0C?HqR0HvLX;*b7_98zrc+ym)3BoK3_B`v(9X}%cd9JtDBPnqux%&U z`d#^eWGk)v%-8+Eqr?o2^@*sJjYnJp%Tn`Q$3NHrm7H2kkN4JFh@lLNhN{i}uID(e z+i%6Q_EOPKd{sd3`_A?L6I9gSanLEyIH{CJ=-!#NJMZ;88Y~GrE5xeW(X{0s0}r?x zko)oKC|t(@OZockTLbXo$YxM~Yg}_6RZPa#|9pg=`~|+n!ZyY?+;UJlcW>8H(ZoGT zZ{l-xazAVpH12m!S1+L7-5q}*vh8#0oG+uToxm`UH;R8>$YO)?a&^bAnP1>9-P>L2 z0%S}F1zq(5SzUaSc%qy4ckStKx`%RsRlLYV>Y0{K*j;dm4o^E*Go9pHJcQ&Oe!C=z z0FywOpHDZ5-_I8f-@M79K8=LHysna4T|=ea17*fJGmbLITL_v4Y7ISNEUY)2nky5om&5<7DN1 z`8QJ3bB7FQnjcCJ&MXUkMDw3F=8#-n-_rr4uRe(f2d5GG#-I8;C@XWnT)f z72Jbvcd#c~5{@!tqX{Ls>1sLLS5*67ObB6XZOwwKPL~6yug)NyLYVkjoLyOPkW!UC z&7gNC897qFERmFqCzR7fV1^Pi>tl9l(V1xF!0k^m_R3T-^XbB!F_!$>>#)#Swd+V; ziTT=7zXEB)jMM^+N2fsjWe28YmzdKQJR9fS$K_4llZL7ykOlVTN{>ruIco_+!0MW4 zl87QxuU!5QgQDFqrVyfry1z4qskij#VruzIq|07EV87%!tpwN`Duw!kgM@OmYrdZ& zC9W^d6OS^~T%^_4F+6@p4THbejPJ*1RE;Dp+a(6qzBsHB`e#TUz8E4zCcSw__h9jU zT1!SVsmIT6pOQQlz7K_r@lmpFB5D}_tv>=+A)gYH^L^X>0AH*7ui?@szk*>2my3eC zKdLUdj&ZaWD!pcT`nPW%V6!oM#!snRYUk1?J_NT zYR%nx5&PMnXdZ3qH1=-e4v3`(nt3fPf1+rH{3E}Sjw6D6#oOi6CpeB~-L5C2N4C@w z_W)15CXuvW@pAFQ*;~|~ILyUczkoC9E?YJ4^wp&AE)Z_9=4p!C0`18;3g<*F?C0~` z_Yrz@uP6mAeVsUr%#<<-SR<}IHWI!fk;)-d@eOzkmxO@?QAVssG(XQQ-VX>tFTYC` z{tbN?etekVG5v*7wh+UHay$I3w-4?XKtViMUKy+wrwK8b$V;pm{eYGqI1|-l8Gcy9 zS%_y)v?jh^?+YL3#aM1qO+ntn8)FEu`q@}I^LK$EFqPMkR@O?odN-0=6%QNEdASv} zXEXcdU?8fj-!#RBx>X+0M8&B7>vD1(K(nQ$LLdFg_Jo4@rfMEUnn~7PQ!2@KvXaJa zrmaG%m?Pxk7*{Ki+l_}<(j?{`jOU4K85(nek5cum=PsR-W!%pYP{^1_sH-ioE!GGN zqkeOQoDQ3vPDV(89$mfXkFiN zB=6B8XKgtM19gLUdBq`@6;~Fom_{GiZsUR>4P zC4TlIkDcVUYW%Q$tsA}e}#zb|0{_l54f7it7$#2$y~oVQV^X)D+V4Plk``Lr$uwtR_w-hR9ej*THxKs zs~QT~VZr748h5g9#B%?5jSTv=ZHwQ~dWM%gpIlC0d!Bx})eT6T^8>?(+Uq0tz2TOqkM|i7pg~*;0UVX}$j6@v6vvyJO>7*S%|-F#XM7 z-EZ!1IYgrK+m9ju`i3Grrrc*qB#$sXP2ho%aB3^AjKw=^H6u`HJRqTj26Gmn#|(QJ z;WW?wS+)sB=xN9Zn<-|I{Dv$6rQcjs5=9*45r}YZgRh=>mM9cp@2#@{X%0+piPdeH0Ojj~2pf5|7O)H&?5Tmam_}h9Tpl?{!EZ+XE7J z*JDda8` z7XHksN_|mz0_)!m{;B`t9gVE&JWO;? zIt5gy#~1f?!*-cpyY)JK36*3eN@&2WFumbq0>d8-PS(zWa6z97?|x@55cocbRsXVm zaaO0JYExfSVw6}=k8?^BDaBn-&(!|?wVez?U~0{Q?rf^rM_K9zGyhz67|WdhGLN!v z`X@SMOZ}7W4QzF}3Tb6FAaiV0=bO=En6x3bB8h&{^rZv1j8c0$+wwWioxZWo`fkE} z*%hQjG(i7Sd~Oj=+Xt+IHqiV-Y>6T7n6Na$hiZ+kJdsL#R4uEE z>`y-LXeg1RVQq;w5fgi#_wYx0VZE)+{D-Yv@SWheY41zDho*8elU3czL zp661j)85Mm+d;|tr-amMkU2Z2vhduciALhC@B6Z~liP6s$GK-IV=AUBRlE0R2jx=@#Ew&dgvXtRUttCM#4K=|2Q9^U9y<_b6#m zW#U+WwHGV?skmdf#-Qq*FiwWpr8v^MC5za?tK7{?wYBz?>A)`#f4;y}5Dc+1P-rWL zjrQlu!S{m-as8phN8utzZw5t`hf?N9%Xz64DR4Y0HG*tVTd`{X~+pa0kPPoIN=^+noO+c2MDAo^l} zkG?g7J*uTNoLO=IBi(2trEp6a6ZDSk^w+(_wO~Crbbr0{q=AnKe7v`rQ;%xhtcmY+ z^a;Q*fz6QCN9Vk6NTk0~|9y=G%SJ`nLg6&Vg~rT<95dj)kQ>n$pBoTT(Ho4+C6~WI zWf**AZeYvgIW70-VW*dKyThrZ8Z~?W37aMNk9Eh($GH_&5riuePqhzD?CQC#=&h({ zKjuLX*|;Kp`AEfEz-l0}4_sz3U8V`60#@_PHsHkM(Oc?|<{^`664R8=;}Ditu;04G;(W{P#-T18)g6;0B#Vw|Gxn-Hd z--u@zhO3aADM&OzA$oB*y%=*A#-Q!5dP>b<|Ktn9-WMT&pOOeNeOkO;nNCt>}-TkjE3Qo%AEzr=`An+A+qYj{_QtGku;TV zECD%)jIVKFDFJb(YH6Ki!In3FB!d?c#^2ye3SG0kg($+^4xXGG<9>k!Ef7AG5225%HGSHDUlze9>G5<`7ej*jPaXG(Id@Rq>bvPui z7H5f!v1z52usB25QGcFe*cUu|hmcZT+Y+9jAV`10$BFRF7r@`9A~{!~fIvbJB+b#n z{AQ>BE~>Ea+*i-hkgX>M=2j0*I;1 zgEtJmL%rr~xJWj;Xg-he;}bj)g{Yn6HH;rZL`qLetAPRMa*(C?R?{wNOfrQXB|Dv#}JCx)yWXr$?4}{d0{Q`N3@X~SoD*Qzxuwt(V{=eZD=$&+8zZv_EkI}Nm;;oPQAsfeb8 zgA8e8CMoQ;2tJ2Z#slwkcs>Qx17#F^(+91o+wda1K$Yj%fUlVwHVNCC41pr-z#Bf>3utwdRw_*-p049r>Th;EHI|?L@DHb9Z5NJZyhoWdB|SCbSl3q zSj+G!;gI*G&F&BZ8iD-Fxi7XMNC=#1pEgqh&cEJf)>4|EQ3N0r;|e~SSdWHL2D3E3 zS%)WCO~ezaXX0Y-oV8&iTlsW$RZ0c$OeNS>E!d!vKr|gG=RxyVO^&H-OV$kWfj%W_ zQ@+U2V3{+PglOMblZ~jMtQ23hGIz@R(G49pzTjZ5TIT+!fbKlNHgj*iOO{AN&KR)TqS9kx0#mG*L)Ew%%H-ZB2hNJ6K1?St8@(>kHx>pA|68f@BOk|~d zj^hLeV;X+p;&Q+0#wH_^2`gJsv>p+)HFa3#* z1i@*p^SC?YPxgl&gomg5;Vy+kJDE7>B;2zmcyD!+Ha~t(MCNfbb(T<*baljf24YG0 zeqb~5zNX)yoq1!v_ioo}kJJ<+))S73-0&%gf;9T`dQ4vTA4>f!aTJ@n1&ht;AVrhw z<%7jW901er@Vy=uGj6*0IhJ2Loy34!hXDB#$ft|DWIly8x|P6~;6qZ(EIG>i}5prrgc_DCR$#G(^m!Q2y6 z_@h%nLe^G&JOUT5@&Z5gOq}I15DVBR8d>1812VZcf4rejvfYO#chW(6i=Ur=qkgxT z`io`K&y?t&SHBCVoQ4ul?uE%jVOVsd*hAE5PCC7G*OItPui8?o<)C9MS5b)6eBvUR zb0t3&v{PWh4q$0?*vy;r`ou zwjef$x=O4Wfnw~I_D;{|Pp8M~R8V~w??)jn-_x||zfsmv5zNo-KvUIvT0;;Q+@9Fw zf!VT+>LzZj27KPuRu}JbD&$N$mK=yps}nZpq`>MQVRvt@gg2~zf2G%UB(qfb9TxL7 zhx}!av2tzI~FN8N)z{gW>kR*)A~H-Pv+ zVx34h-yAsVm}$~MUl@QdSisC}#JdbHKlA*BC6Z%T3##7dCp=8?WFYX|_9CSU0!?nt zffsIB=h*Vte|L`;D5$~ippdQ4;hq9PrGZ6$!79GpE8s+ibL`)tihZhiKi)#&o`=;e zxFD>bZSO%4Vg`P)JmomSa13O3;Bt@Qus+lN+7x7?-(_I!U`k10Q{$`5o?G*!bVO^tAs+MER6CZqr8 zM^qla;cL{OJ~OavcDTc;xBo0`t8+n({O$hH5j>?mizm5-A}e^u9{y*N32(_#CK~ZW zkcZ#?z~5~_1(*+uK|3oYFa};GipnPvy(~DJXnwtEMM^VJFZl6R6q8iW3BY2`*QLH{$Ax)jFm+}JzJ)QEp8L9>y9 zH9X~Pvdpw<+W}DM;l5~40pQb5pFj3TqK}nxC%fGMY+Qwy0^57x>QpNigDUnU@4byq5s!62X z*XmL;7bEn3(UB|+p9u=`%=w-g0S=aN4nmE1W}ujWzRVhEB_mJ!u^jKcM_#NkMutpW zJ+B$GMoR(2Kp3vIFrZjC{2WVYz)93l0{R;#Bt|{RnntE)u^d%P6nv+=@Q;{%?^Qsj7yHjfEFgF))9ruy5~|!pkRPq_*NRm1B2lVCmHtfFTVdi zR!4vM*CqHb{t>4c8L;d& zaHkC1FTn1epeI@`wt#B+O1^M?XEXB^=SE@V%-&g{EnKqL8;*BTbw)p9kw6)K zf!}=fM&t9>hjzjfjFYNxWzj~Fp1YjSxnPPV6FM{1*tIVck`27(ZzKRAfc{Rn*AGd- ziu<)Rs!-3?9o+>OI|srp}ox$X22gT1ndp8%CzZ#uB@`UGuiCLsTvLC2#vhz?=Cz@N15`vk{Pa_pMid*WMrPYNgaaC~?<1ek$kR=q zOMkDv-m$4aCK_wn*d%VQK>`6{-mrdbm#50Iyfe>7gV*k~%b4xUyYGv_GVoI)qo5HK z0!XYz<&irRpB6lEz!7_OuclJI2T$R`GXe4|y(x?EkLjS(2I&;^bpDEAJA92$FvEv? z(WZ*0%|jKLncr_m9DMSe$RO)JjHL_mHKCn1RDvTZIfA6@NI=PDNB6EgO7;LT{vYo+ zT*kA02d=U}?FiPO)s?Yr0n3-_K7xAN$EU6_`VdS(x>qMTlGZ4VX#a(#Nnvc7G?w9m zw*`wN+T@vwyshyp!`N@u0v_Kyf1HnfTywOXJ=lC2*@9H_66sj%PQ(Fx8uvAR1 z74|wOuIX_Czr{Vha3S!Bz!8%*b2}ysqYHWYBQ0YuYSYjozbgKj4hZKn z_nn;nXAQ{LFvJikUjs$XvP|xW_5YInL1npwDf)$Razpc}B0J!(c)M7jDrLcU9V9J(!P9I<@ z)xczI@|T|}$uMn}=n-N~nSzt82Sw-dPo}6+4Oj$mkiS$fRisVL^1F^8@3b)T{?UB7 zfVZYb6@Gjwi~{k*<otE800fA=s z6nV4o>Er1b5Ax;u7bExO_|9XQsJC;909^}OaP+_63i7+}cmc%I$f!0nJZwjP7__48 zi-nkMBc#^xwh1VQO{dJ z>o>kuC{eRwi`a|ls_}14qOs@{KBVp-(7-imPsPA(J8U+wDK&6AecF$Gl2Y`*G3VdS#Xg zl%IXzhqoIg1Bt(jSI|C%e}6SD-w>NqxRsT9uK2I>kiGQU!2F-`GXPk(F{@B0Z3`@% zv0fLt(7V>wQ7(Z7#EI>`>XtiCC+7&}3E9wW*Gte$np$PT1r$lR;JthiF5WijtQnOr7=BC658uDsda~mBx+qN`95b82>sbx{|~4aFZZCZr0-|0OBwsxmXc`!($YvONOwzj!_uLMEGcnaN_m#WWWdDq z8bv*ib$aXi5Lv$)2#f!LwELMT*(-KVa-We)X!h9n_)ptOCeg_5{fX`sB2IaU1M%|i zZ{PHrvoM9R4KZ(M+mX=e6?KDF5W}FE)P}f8JmpzC0_I1?rD2=7yYcZj%NhRB@ylli?RGOSND9s zrV(h~$&a4?tl~}8Nw%@G?+wlyfc`c`7R9`;m|1_PS?~zW{wEH@w&RjDGwLM9nIxR} zga~focrnQJ8g-`y+UM(h{@vHJ-RAOQHWSQe@ZsJeaqPZNBqy5K52EqcF>H&+VPcnXG(ueby0TBA) zrye}~$NnrRB877J*x$MPKXl1wi$IF9+Vfn^WgoAaEp2$5h5!V8eW^%9yO|?E(?Hm%OsYX7-db30;1gnz}& zL_gb#;cW1>yh!2v7XO9dekYGK@4%NEapkU7{CbpQ1}r_0o&4PKo|d3X&P*N&lPmr8e_veBFjkch@9@BtcIu&s}P9NgKIb*>xEsiOQv~JEhOW2LQ_xy~lGp zkn8ZpdgU_`EC&Fxg&0OTGxfRc?jF)8|Q{_M&~0ABGZ+XZicqi><$c$83IRO z;J&7mfHvOkpJa>%51VcfmIa4#R&;5X8uwCVE}!3~Zh-vkm>!%7^7znT9hz!*9BNFP zMq=2s+iBv{>Pu#*#<>qgZ(!k%j@yCh)YGg7_xs+9M@ zxsCtwqHD87QdQSSjs$9l2<%F|nSGw$D0zH)W2+N$1m68|3U`iUp^AB|Syt4*mX9w) zq}=+gjLT_Mz|h%E_}YK-K2A3`E$4@D2j}2g-Q8;Y-S}hVuh-ef*yDFwW0(QrMM((} z>&+NLm+po7{kp~mJ zvHo65S^c6LVWZ|uy3hSYE(O zxG|R2m!jkHS%iX9Yy<<`kvNwIa}!v+r!Qxi9OOA_*zX)1ZheA5I1<=}!0)SF-mN7@ z;s6>>11s1Z8@)@4xclLe?cFb5>S!mG$UgavWR`u;8a3Zrv%l@)%j3(k%&n@#|%5NqUyyVUl6VhRI3@?&U`QM@iF4T1NUz?zs=+3$}6njR6xb zrZL%A!n+Z1v%iTfn;EMNJnitGZ^dm^;QWxOu&qvuJ(3nvj3zJf|EK>MTy56ie4D><^M^B)WGD1V(`A)R?J{Fsm}f=?(? zkN)PpQL@ChD?Vj{|lf}S;)stq)-*;Q@D*jMN$o-P> z_?VrjV6=+7rkOsNB^gkOKuYgY?>60wAhhatT5H09IfuLBW>HFuw~lNcZDjN;k4m1b z_!A9_2!*e_ZuJNRwFPMzb*@|%p)453v&sC4?L_g5|6{gE&-r(cLmq@gg&}5DjxOWN z?212lkO@g@(EZu5N3oE;?)qG{J9W7`Lr!!VucR&b@r%Uee|b-%Jzsx%BR;ZuH9XF8 z&Ev62Fv}f=zNwjXAM?(;Ma!Y z!+WG%m%B+F&zjDnr|Tv>GxWIgZvNbPtbn+aH2Rp?MnZ`a zSJESvHI2XYi8j6R+t{~lJlF_MJGv7y_XOXgi~o9KhcNda!BQ0ip&jTV(@~iLsj9LX zU@E;bhHjW6DN56IoHuP4uUiw9s#BI_ilz74{!gqGcg`yFRiq{y)C{k-3c7t~-sl6RXGX!Ecu)u9NVa>v&MZV0~Vz_tVp4ip}PXn>!P5V?r1JoYojW`cJGc zP~acKOh4e1Z$*$@EH5&4>|TGvm=j;_=jFuhx7UNIC|Cq`%=*87c<;x$?oRBPy0!Lm zi2YT=jA%N?GPUd5rztK@+^sJ|ugs*_Y*)DsjEmlcMCFX`em#&0kLxmye!`=C^Nxok z*(qO?s>8&|@A3BN36;P9Fi-yfe}jip>6;MHik#64=_;zwBFUs-fyMxaKbGS7!(n~K z2plBY={fqtG^g~)&(vlX?bKI4qsH+VDLDI91pU0pSsjgr0#?Le*7Y1}PoehBXI;EB z_=AFi8E{Aa8hC34_`F?hu~k3OR?;`n*3A9HShzie9uO(eh0Wb0}pFTc6s!%y&DP$RCMW8DX<@2YmV zaT~t<%h#6JdT*~oU?4#;+p+h^?yVt(_ao3iRoFM>4}Z1TWhK=C!1BWv@X<=3l$6R_ z^JKz_gdw>Kx!M^|f~DoO_bS=7_rE-7yZhAT03Xcu8Qi=IUe|o2|8TyqE4+5{oA>$P z^Wy&3&fn+g)-Fn%2TLB^KmJ?9g!8k^S~(<$$DhUc?$ueKY9&WMY|lSXJ7*dN?phq{ zc+t{ZUdnmmVcE~s>qnoCa=w08zx(V;xVHp*I!O(%Qect;2@3k!X*qPx#ZBCflS&;Cb?Ew_xip@ky=3QWJ{(OQabY_m?*_n$@*xZi(PF81pE-;+Py zPmhB6X)pEKc7qqHgX|U`GBQON24sl_id_@CAJk%BGJ1n#blQDqDQbTizu2cqzia9= z!F{`C27ej-j>gv8WXHaErDn$=DLU-fLl0XZMn5C>JYB`Hs6X(aLJ%#8ip6TuB@%@Q z?hn7qmfz0S2$V^9DBuM`%#}`P5`l;52_F+VoBqsxj z46$y%Jn4k2pIxLIY9Y2_UH#B*Vt5Yogxd1z$)j$BYHmRX5}6-aqTb-fGoiVo->And zs&adU8@2m&Tan(mNQK*&%ZN)?u@{xhcw(N0OJO zd2d34tWEwM*XCai9cS?Ff5PYpk46^u?v8-ZWGeMFpVzw|vPtt*2m+AZ&F-=imFr*G z*?bl>auWY~d$qse6TJR~;07V|1<9e4O}JkcM<&IwkS*%<<@0Lu5D&R*20>e-O>|MD zjWSa*T2?>h8i6=06q?W&nJr&l)x3wYOZ&zR1U93`D}7J0+dL8Z1T&MV%avhjCF7S0 zp_P>fIEddgKAZ9cSVG8Z9Spj>%tUOr0g-RMrof3W7guhR5 z8aOk7>q71ZV;G-LMmiGs}EUhdiJHtf%(5NVw(xfvOa1qoQx zval`;DZ*tK_jcIX9$JXYdNyA)HSb<1*-aOVjHr25QEl1VAjbvydEOQ5wKi_A8o@2t<{Aei6*IDc0l9<5Xk3PJ2QhWj7(z z4yy-O9UR^7w>`R>-eQXbO(1Rg(o-n4o^rpxe^h5pMVR~fLS~|B1RJzS1{=&b4w-E5 zyPK`XOTuNz&i#IfKS?%iQ+E3{$*;I(I>Nt(?sL1QVym&J7V=HiWh7!#H^SonGOl5b zC$QIz;UJXfEw-=os2__7W*P1|(K&g;wROSS>X&+U``9uNvzi0@mLqq{i!XCF9#B(a zuo`U|4_TK3Yi3z^IFCh02V%)xa;%=@^Gn6jjY8#~g2?0T+E;*T3Nf#)|as{=A zq+eX<*XZH@px%z|d3GX*O4Jk6iRuf;26woG?~p;ETIkwY+&b5&FFp_(tIFwIbVRH z)trY{!@75M1;V`s8zu|wfRR`c^?kxv=>smb3_9fT33GxayPLq&{CRA_nQ|=VT`y^$dVZXz5N}%-aIP26;fv_E zzKcEz$jVoCkgmGi(QnW@_Pw>Gil`1>uIkN7bgZ%Oc55xDM*)`-g5}fvGh=WqVl^~w zfFoxHM1{iP*!RudWMER()cEC4C?`gd;KuP+%G#O4@T?>Jpgo;f z!Zp`)BNr{M8$y5Ofc>}Evzf`D&3h~jQi&M-Y$N^LycA`YohKK_*~zH}Y@#24NS}fW zdrCWZs8(6$k7Z7V=tt6@CYzI23;xTGV?a6&2$KEaWJH&(lslmQ?28Doz`^VrFZm8t zjGC9JX0r;ggUBLw;^yHyd$Wt^DN&KW-155Yqn#bz%K5tKjZQKMyl|%r5!m+$Fp!m0 zO0dyxJ!e$S&$i%TJBazoY|-+?dF(+^$H`-=@ukHHW)FmIpFahJ^#_k21#OW=&d0AZ&^R~zB9exx|YN^_IFBE`E<*uW`nbJLG8t=ziN6?cE zNcX?36ScKcMJZdVyvz>?@eYf2mFLG6qK2<)w>p5QRupHGQT!%OIFTkA-?vBgF~Qa! zvyi)$I;4-3dLRNdc+I;*{9-yyWJRN+WUi@qYSzh@1(}<3N-ngx8+#u z*Vnl%PzWb}JIwDUX*dY9wYflYFN4)27Hf^atYmaWSLu`(y*0yQ6*88>W=h5 z1deb?aeM@)NyQ+>O7N`(1m>ZsL8FRs+b3DG=-pguAGk{V#W}SB1-l) z9?Qr_yX_Ct(${Z<(?ub;AsS&=8kvVAbk2`mm(P6ET-6w9*Q_Nf8KW5)kM-*`$Z%^n z^BWTfdP+kAZve2A1blt=A-sWrHjUejaMJLx(U0fY4uWrTqwMr+W(xJNR~Jzg#?@EP%>@X($TESu0WNUUCn=felak8&YEZ1S%&vdpohra2Lo6hFkB=`Ef8Jn8DCOT5bYdd z?NnV4S~7l&!`t~Wu%-RW$-c<2MiSLETM}4*!u(-JPpMp&J&M#YF)HGvhS|pT`njy7 znpNqM;fxp_wp_K!KD<*NlLhPm!;a9S>Mchjv2|tO4mXgnaE5sM2yq}_GPA=q3SV{Sk`veuHR%&XAlTNw;#gtXEA`ITQzWh zLsY8k(l4W);B>uo22+skck2gwkoF&1Bcgt$!Nv(+gV5dNpfWEqE|w=S{J)acm6~sPBLMud4X}%>od{hJ+4@As#8;p}EX%C!Qp&7K#l$&aLWFr)6$mX&&swk{b=& zSa=0BX$P}tkCRD-ceq&;^lOdlV#_quxW5u>6U<1m@B=Z)U*8{?R|4HYrnWRnwRg#= z_;>j3?rej-is^JoEGHFZz*dyCxWnG~aa0M}3JlVoz)(@F*G{U|k|#5+M7}~TTi(%h zs(59jf9Ay&PcKp?m#^PZ+uQkF#yP+>u7U)lLjPS^k;S=V-yUtUpddXBfbErCBMV9K zFYN}GVzn9yhwt$^_K5lK4EDYjuA}ftPkj&WDlUrQrrGEg_g|BJ?XI4dkQ7sI9+9$HDfHcEQOc>ah-AhlOpD{2aLz_&N_a$Xm?P$Idy% z5bizTi9W~}rY#(^sC?t~0+;i=C!-R@ac`e*Sm#xB1(YzefEJ-VI4jirrgDM-|KVtk z2CD8@@ZPYrdn#`)XWR^J7l{Sk!5x~7zrYmQK}vz_Ij03*mz@2rL>3Hmj^=6QxmW#n zYww;r>2-6{X{%)ek=^>z5Tt$Z%DXtb2`Dr;Y!QO?Hq*Zome^PrXCxT5xS_QwY-jTd zJ@MY&>wILjJ}^Uh-*sc)hseIbB7}Pj0rsd;TYE@L1!|wL5LoL~9Bj75lfVglik1C9ap1n^`bURiZ@*zP$~vMznTg$E#pNom zsF}uMLrCPiR`X=Br=>dFx;6zdzQYCNM_Ml@nPw;*{`4f86fBs{ICod_kGU&zV+*wx zgU?rjZ>$E#ZzC)Nh+E9{)9tzKio9Ft9C=Wa<91!gDSokE@BvWxN&S3Bm%-;6oL#^_ zfH+?vA>i%xL9`cOzvzM%)@_;hW?8JBr>;v@k!eM5RW~IbnvX{dt9uj?!x@*QLG}G^;Er5i$j}yhOa(1QeN%1HknM@DSBe5xtRAlwY%jBHYCu5 z%=Qx65O!QlS|NPG$M*vfm7m>bxgid?!GvcO?tpNx? zwp@%;GNd)y$$Dx$$48{Hv93doZ8{7J#wWxOQ zzuju6#CH_A)M?RAAZz{-#{`=eOOK|o&qxs1u1f#vAiAus7s+8|8ocrCRwWK+@kc3l zdOzhKRbKLGjZZnL=9|PH7Op((TR3|H(ZOJ~I;bQ|D%kpMxqQvH*PPLR=0lwa@%U*& zw6j@dG)^BIWSU<%=D%ySzw1+cXAs8>@}a0X6Wxg+R!4V_qSONR6<;J|t=p{1Mzihp z1SQwSsPthGxShSY22J)LokR;Q#0?Xa*6a@*LyW~!OZ25lhlRKPksTg)E?}NOHE%)k z{HQzpE?Nx(igv$tTWybpp(x|lj(_JhdP0xMc)s$^q+(WWEvqckRk(*8p6$bcSqz3x zw#?e&SX~u^c7!HcY`!Ys`&yg`j4f%tR?WfU-=6^52g0!Fqi$$8ldP-oFO4OSG_^Yq zE$V+y;PHHp9sTC^)-VJ>1EF4k;-DiVuBw@+yu4s!wFX&yq||Ql!<(nI^(S}cRO>Zi ze8n-5l4$T0l!6eqB8sXT3&QI^3HrgSVkieR?wF3K^2k@B2v1Yn={WXVMfGR(4i2lK z-S5z{I$+p*6XVFBz&pIa{@husl4#xDv3+FXdDQ5=>mIo5`c2cn;Ol;QMu$t0S6xCo zm+0xxM@Y;MzM)Ok^B(>@vJxfUq-vYFIudra?PpY0_n&M=JODANBPO#w2A~$gE`asz z;X1}vHffYe0`t(T!k9_?5-}GqefR12XLZDY`-r?K4K?vs@C&@5rwNK9Baf7_>vIVuX3^8C zx=k#o;?>h~)6+Ei0f4BB6hPLquSYm^C)voH1y~>Ucl#8EbS?$aT(-}r0R>=E;Hm?_@BckdTs8Ou zkW?CnS~PX@e!V*$U2n`xa*fv`5TPtrPB9=itD}F;qvpl0M8#=&jW#MeSva>`K@=N;m58_W zXzd{4PFh9Y*q5GDkIHMFNP1au@}fj^Z!wMb7RlE=tryt1Y&;NHnSoJSha^10xK(3G zUu*v`+?_1|>kz@+Htzkm7m}O2+TCsC69O&5@*{I1l034DIF5`ieB{?Xtg{N`289w8 z4&9>j2J#WGv78ui+1YofciDuP$34NAQMoi@E`jve@CtYKeaedt{WpT{6lM)>8WG8v ztTb%Vk9WMKz@M+BjQZ`{m_b6l+^vr0CLsAWQ_`b!?N@JSuhj~G!!YjsBz?SjEhPvR zSvcv2c10%}zDm9c_CAGtNiwtJw-4_-)lo@rGLskknQ(+CVS9VW`raM{p7mP+rs`ZHb>+>4LqdQqtD0aw!#Zc40NylJUZ$Rtt!v|jM zF>;$t1*)u%qCDe|sS<{Iu^_^)3=kChYxF?bLJJ*y*y(!tyl0BLDRouwIp5j6m;n5w z-8o^?Xzbbew99-d$ks7Bi6V}KaWIZ-A~HWbqE3^hHLfnYW6Pcb)5J4SBdn)`Gl5cL zn#s}l%dGZlp%Uw#KO7idwyp|D0G1pxYRYcupK!u%^wueaLyO-^%=Kk$b%aKpl@6J&);&>9&-{M;oeeL_>WRNW{EYK1)J03AU_+5> z8OhTIz5KkFhp?uu%G_BsCc%E*BLFL+#h#`DSW!c97|apsBsN zh9U6tlLZ&m0KE(~fIgJ&-9*$;{azKtL8bOzi=j50?IKqe9p-aaK$3y|sdS%v7q$BM?|N)7uP*QX z{_Zy=e0<{u_O-#JZO9n>3(3f>DAdpg4%0?Y@y(HPHfWZ*9Ax5BV^n!ixOZM`2?1qD zqK>;M$0bhTwC^^iTtIaD(mefMVh9=C(lYxxlQHj_rI!>JHiXv-m{V$Z@$m}UC>q7x zriUU=ICVzSXPD@YTHr_kD4J?6xDHY8av9iW@Gh@J6ajgJWBWfN?RzOI5no>P3keD$ z>K!9ez9~r50z^Gi8%rxbid&Igx(4?~;vJ5?cKQN;j`a^T<^a?7*Ms3AP3t(q zqPuYz06?;knX3P$y5h+6oD)`xjSa8?(ND%m(R!Pj06qDZ6>KqH)sw~Ucp|JHygIFOZi)IQ7b(X2C)vk~XYnpd#DXMRfG%d6 zga6qISvbCoI}S;?rq#wWa1aITBfO-N&b=rP7zkkrsKnl|Y`m*;sU?#_5AsPkBC+u` z`9J5n6jAlzdy0MVsTzWaDB)-mkZD<4uOx|j5gMp}hc;1Y^O*Yile12CmccCc03 z|9&HIR|Of|w*51l`N(KdC4JIvWUI1EwM)e!dtrP=u+5;B!e@4l46G`nCOclCSr}!J z^`}H6qAHB``10nx#M<$UbB`!u^{E_(#)4QZXe&2F zM}0P2lj%?}Op{rt5Nv{v^AUz!i=k-mP}3)z6rq(hKBU&>Hs!5~4OFiuG||M&YsQce z0yZ~p0~DGHCC5hCgZL)&q)_wxlbc29g}9W(7HHkd?P9}Qib76UX01Q$o&*ysZQVA1XguE=XanxHzo+S#W$ zhDWud5ekL&A4=2oci^7MHx5`6y^iIM8KN0dASh-`wyc^K07l%%eRSP!L`~$Fo~j|i zM%%;E5e@n!?YChBI>|b~q#}??#zIaW$bsT3PK_l*kkPGmw|xbbCkn0zis6dOzSGUV z<%M(ZE3sAs8rI$IOM&vKx0zIF#qlq{#@B5OS}U9iP}9n+Tfh!|mF5%de}2e!a-xz_ zFN_W4meC`5T2&@#a+eY?byDZARcP(k_7-Rz0Ap!;e-2}I4Z{60d`HBWCe7`^Pwh&T z3iSr1?U6FhajE_KaoN`QJPuyvT>+jdyx5Qo?20K(TKzIHA@)KRmEwju-*J z3)+Db=b{#DN659|?)I37Is!8K1Z<50j<;$HA&I~PL>KRG*+aK)0BJ+SDwg?#7_XjS zz~iIL4*#^+30VwN=`~#9usvVv7L(X;u;<5N0Xx5-0Eq=6ZjDo6Ir{d#KC@ZH(szvqO*k1F4O5Hw^rG?;B-(W7sT-mFV zgoqTrYmO<1&1ysVrrJf547v=0+Yan{{I-YGu*StC0QN)0Fq?rjnP8m{k%o7TlMU`R zd=?06XHE~9x&``esOa}>z$o4VRvpSI(FaQD3V@uCCw%&$q0D+lMx)+Bq>`x- zO8M3BW~60Q1o%-}M*_p+v``yzxA z*5`6v2%|qmb9d>q7w#oCe24}_lF$>F+)UZJM~ETp@u?Y=+q|d=D_A@b+sXTWL?8bl zx@R@7KP(nz6(H7>VAc3O*Q72b0BKp|mYYhUUg;VqIqop+p2enc`G z5I^@?1-b!OGd_92hSRngPibiiRa(stEuR{E54GsxD+qSJvE`BaCz!*LBi~kFpK%>hQ!|`mjZ0{>+O$u2F z0eR506NNn9DlyTC$usF8T^l8QLdKKgl zrQtK^lF}9hMar5Pcejb_>l>bA6dBx}Z9@CL6mQMvVvI&Rcf|lyaTmVZzu!HihwmMv zI3BQU{3-sNLT+w;Y!LHXl8>Gl^9>uygM)8_%YH|L7hx>A8w>_Ty%ZHU4?V{z;7C=U zkL@@~y6IPSETii-SLW*uh*cj35G8yBgVk8<<#~-6`l)!m2nin#27GEqjJf$CLQQ&R z01fCvb+v8@&CGDG8ZxBW-kWb@uIswtJr3=Do9HrDPjBrR3!vCpY`AbaGnldoGE}0C zGJl>n?9y7&`w9QS(n%AVny)6pZUAfooYrK~2EbMf`7KBQMl!SUm2}p4$o33l@p0)| zhyGt0jNm&e>_ty>#p8I_6`s|tQz6{+VJWb~C-JJwp?sZ4iZnO5-v3U~AI1c~7-bLY zGm`*0m>6pLi;Qu zjMW<4;E4fIaSk>&F4I38f_Mg=`wCsN-vHw@OAd>82URjN&>K@o zj(p6i_T;670INosPK{i_c~W3xqf#FPCBw1iY$Y~moDkeU2GP2^wkdKi!FrIY;#H}p ze7MIjNLK$5_kpK8RKIf;8B03JZi6^iIK?<+*QJO~6<}^-BV$t^N!KAz4{vPzH@cdK zzyrUU3j62I^qF6S86j^rWjlDy#hqBK04D|IjF zhsve;HtC-+5lHxd&)Qsg%zPy_LxbNU*|@dE)Neb;L6y}Nn_uv%e&i6q20{3Qt_CR2 z_q+z2oN{tE`sJ(qLDxe$AI-*bLb7=72ei6K2m%JR4Ifn!tp5et#;1jW?LUphTcvpicYi%95Ru<68L;k*MeXEv z9lATw(e52qwn;3PgEJ&wNeQk^+VjU*6rH$k=UHvPKF^+5SJ+NEnOj$RX@ZZ1%YWGT z0SkJAq}@v+#*l#lq<Sjq(DBIlPh*LNR!ZE$LZjf4Y%fz3**ve z?SsP+v_Cy^G$@++?&MG(me1K$LQf7SDF<%cW^pW8rM*QV?c1|;OYkc_DXn)J!02z` zF{Spp(|OMs!tiH3cl%t7f6lonv58E~<{|{gm!dkm6m)lic&~ke#p?`@u@Ii7A$kq9 zWxHo8t9>;NLaP9(WmL^O1e>?(Y5_<#0<0YOIt*QeV!ZzXY=hUT2y``K1bzC(x<(=<>eTH}3qDdBdVE^a^<9ySYc2Tn^@m@`pVLRp zv-beZ!MzW!O6>?n_yXE3#<>^njTn5d3nAB4*;$iv0#gq_zDY(gpd$>oYj6qjL8f`I z6J%zxINr2YDZX`=u`~|B*$CVI+p8x)j@?T@w5nhmNT))~l2nj!;?v%BkX&O4g6( zd(VIY{_o*pK$W0Q?wz;G?~<}_*^Nz zQJV(FBA3Q>8##`Gtir;&%~l|xZ*TVN)0|a+h3EM}ioz4RcQ6fxa#gw|B+M%s5hcqNARXi{#{B0osK0=q;Pw6<0GV&N>61B++-h3>W~tN{DLpdt zR}hJAAN9YFt*Z!};u;+Ca9=Knyp6DTo|?O+A9z3H$m~0ytaA+FkXQqdY+!tsz;%mcb1NJiIBaAJt6&(Klo1(T)xs_1TYH>@J zHB`;wOiNsJTHsjHcO~Q81+ltQ=#f>W3m^R!eDwcNqs*ozpj{gIfnBGl#^NYGy$->M zm`u&W6GZr<3=%H40V6;}1Y6lGH}8b*{cz%~gip(i0d>ZDE8~>BqBh>Ektf0N3YV^y zVhu;V-);jg@#^FwaF>K;Z)BXiZ1>lANT44pnzLqNGt#;Sn9z`!w>Aw;A#LLvP&Uz( z=e#XW+Rt7mYh~jSIEZ7u5r}*@QWL$QxP4Q~)*OOvcDxsTt5leuXwc%dKVWh)0V>-R z0@#>t3r{H4Q_>9NCbA6;g};lkt`oOEmOA40bIRARa4g1@GPgt@b{Cz7V?%y02#|Xn zOnj)F798(ro#aXzzJ-;4T5xV($p2r+*Wmc!OK!`hfynF=T~*i?#DFclAT4}#nTFgn zU%8vmknmqZ@HpuvI&Z8ryw##1!QGH@XXLCM%SZTskJ|7#d5SfAsq>m-Th=?~DhdJ%FR!Y&+mHcJ%#C39IC7|!i%=?VaO*@j3si|pX#J6^;c7j{ z1FF2Zz+)qAOGU=IICAEQHhZHX`cdfKX=ts(kn?iSKaE36zayt0Br;t0KCOU~ z4kR}U>+DAMVZf)Npz!!{ZmIBqyxo&33p|@}-bw4RtO?J{E(wNW`&o2X@|t%`_Dkr6 zDa;4{cCc7k@IE1Q+PWYiZ*jrV>6Rak#AzI_2D3?Np7k{P1uN%)03Z?EhM)edBp-Fg zNEkcVt6mUWKx$t5u%@i3gl2h|=ZqpP*2U&fO+@v>sm9W9q-V`m?yoK{Lo6Xu*s^aA zw6uvki)~W<3wPT3RK#UG$uH3y=RDGXSfJsLZEyp$oM^mQ^PeJ|xT9|M>uA!2XqI?MW3EEQp= z*t_K4FzGn-s^>vI~_o_qgBi+SMzrl+(erln(O`p?WtXQd`K8>AFL;j=6%^|kN(D;55YE}agn zr;potrbo3s&qYW!&a0!G&*n1eZfbgVWBbU#_VwkrxOT_o{Ss_1!-63h<)4`UX4t34 z7`dn@3tSdb8@ZkSds|pzAZo1e{5-$m3zpEk8cYM|Gui9Sjrn!^Ur3*SL7tUUx#pwG zh=+GA_d9*-X!IY_7!c1~Na()#fjIU!9WzIrtuV^o)!ApnhknBjN$}`LAM;_-x#3h; zV7vc$dwdw4Dp?8V(l$3q<4Rv|hR4gVqKidLf@7ED0?SxJFCrIDuR&1zGsf*7;;h;< z3TqNNaHI$!-L?36#QU6~^GD;X2{rVE7;d}D#kzUfVK(VD25I(~_dQ=p^7X|fyY26$ z#$y^lR=BEVgtPUJhHQe~nKTrM_(jgt>>18f?Rk>@pGo|!`BxKU)>aF~_Y*yIrI^UV zM-*kYm{(4DAnFfrx%OqCd4y!8&x^I>slGt$jzvefI+xLf@`U2Z$e!mDh~W9@V+I^Z zNX=t@f8{cn5EJX6+jc9HPu6R*Q}MiL~07D4ZPA5c;54f6*@R3G^36 zU$_-;30=}F8`!SZQ1pzvb@UQZlX=O!=Sc|>sK7jU;O{oU%fI+MG(`cUc^eCI8D~-^*^d z-hCQ{A3GM@O_$YYqL<7|r!-K?l?w*;(t4k1Uup#(D-#ARpK5H+2C&HLTCbfhcb?JBY&;yv5A6O3b)CGOlsrB^#`kT!sa~bEQ5=datga!NtdM_p;S}6SS^Zy6Cu8SoA literal 0 HcmV?d00001 diff --git a/docs/src/assets/logo_notitle.svg b/docs/src/assets/logo_notitle.svg new file mode 100644 index 00000000..987f5670 --- /dev/null +++ b/docs/src/assets/logo_notitle.svg @@ -0,0 +1,172 @@ + + + + + + + + + + + + + + + + + + + + image/svg+xml + + + + + + + + AGNI + + + + + + + diff --git a/docs/src/assets/logo_title.svg b/docs/src/assets/logo_title.svg new file mode 100644 index 00000000..68a6609f --- /dev/null +++ b/docs/src/assets/logo_title.svg @@ -0,0 +1,180 @@ + + + + + + + + + + + + + + + + + + + + image/svg+xml + + + + + + + + AGNI AGNI + + + + + + + + diff --git a/docs/src/index.md b/docs/src/index.md index 18955899..3e9052c7 100644 --- a/docs/src/index.md +++ b/docs/src/index.md @@ -1,4 +1,10 @@ -# AGNI +```@raw html + +

+ A radiative-convective model for lava planet atmospheres +

+``` + A numerical model for the atmospheres of hot rocky (exo)planets. AGNI's primary purpose is to simulate the evolving atmospheres of magma ocean planets, while ensuring that radiative-convective equilibrium is sufficiently maintained. diff --git a/res/config/pRT.toml b/res/config/lbl_validation.toml similarity index 77% rename from res/config/pRT.toml rename to res/config/lbl_validation.toml index e75084c7..9033f25d 100644 --- a/res/config/pRT.toml +++ b/res/config/lbl_validation.toml @@ -1,5 +1,5 @@ # AGNI configuration file -title = "petitRADTRANS validation tests" +title = "Line-by-line validation tests" [planet] tmp_surf = 600.0 @@ -16,16 +16,16 @@ title = "petitRADTRANS validation tests" wind_speed = 2.0 [files] - # input_sf = "res/spectral_files/Honeyside/4096/Honeyside.sf" - # input_star = "res/stellar_spectra/sun.txt" - input_sf = "out/runtime.sf" - input_star = "" + input_sf = "res/spectral_files/Mallard/318/Mallard.sf" + input_star = "res/stellar_spectra/sun.txt" + # input_sf = "out/ds4096.sf" + # input_star = "" output_dir = "out/" [composition] p_surf = 123.0 p_top = 1e-6 - vmr_dict = { H2O = 1.0 } + vmr_dict = { H2O = 0.9, CO2=0.1 } include_all = false chemistry = 0 condensates = [] @@ -35,14 +35,14 @@ title = "petitRADTRANS validation tests" verbosity = 1 max_steps = 20000 max_runtime = 400 - num_levels = 200 - continua = true + num_levels = 180 + continua = false rayleigh = false cloud = false aerosol = false overlap_method = 2 - thermo_funct = false - gravity_funct = false + thermo_funct = true + gravity_funct = true sensible_heat = false latent_heat = false convection = false