From a816c902824a687a09b058c8f604f3a4559a6184 Mon Sep 17 00:00:00 2001
From: Martin Schneider <martin.schneider@iws.uni-stuttgart.de>
Date: Thu, 30 Mar 2023 18:54:27 +0000
Subject: [PATCH] Merge branch 'doc/ex-model' into 'master'

Doc/ex model

See merge request dumux-repositories/dumux-course!152

(cherry picked from commit eacf5580f11fa0f905a60de509a98c251cb40cbb)

25db2ef3 [doc][model] Slides for model exercise
---
 slides/img/model_domain_discretization.png | Bin 0 -> 50073 bytes
 slides/model.md                            | 255 +++++++++++++++++++++
 2 files changed, 255 insertions(+)
 create mode 100644 slides/img/model_domain_discretization.png
 create mode 100644 slides/model.md

diff --git a/slides/img/model_domain_discretization.png b/slides/img/model_domain_discretization.png
new file mode 100644
index 0000000000000000000000000000000000000000..26db16c68e97ccb2c6f33c62e71a984fb2ed0c8e
GIT binary patch
literal 50073
zcmbUIWl&sA+Xak52<`+O+zCE-2!Y@(gS*?{gS)$XaCaG8gS)#Ef&~w*K@a!yo*(DO
zsrstEsy#imXV<=_yQ}-^)oZPeP*RXYM**O~z`&qOONlANz<ivAfq@l5LU=F9H_STU
zAHX^(ONziir$~<8Z$4TG%L~K6)WxAb8^OQdBRfcGIl;gXVE^}l9izJzf`RF0l@=3L
zb=N=bL~S(__n`B}?Ff{~lH<Y&5u=aA<iFyJ=0rIlDVYW*{MI4<H1pB81TsT&^AQUX
zXQW!E7Zus>Qw(*<;BGjq4zewiA>4+Kstt`%BkW+=Of$-ecq1%G>88rBv*~2L)b&*R
zUVHhaYx-Ky>s-ycMy*Bdc2UP*F@p*zkOHY7B`y8@JS*oso7@-S5i1tG`;!>m3f?GG
z?#j!v%P)~1D-h4F4_n<o`|$*e)9IzUjBwtm)5S9X#wdjSukeeDm8;n~pLd12&7ifq
zLbuhelNyY0YaU|?RLONvG);*-!#Ko>ELL+?$lScEWtF*xFEnN(r~klH^0-?gEWPcw
z#0xif-y1W<ob~Sxp4OxN8U)O5H%gxezTL3Uqs%j@SAQ|wPBpZW#1eRmiu-a+#{^+n
zh8Wp;eEYV%8It*vN)6Gakstog<!q$^xxntVY_F`{Low$DMc-w*s#bmdTgq@?lKso-
z3WW6A+jo_<A{jhM(mnML9?@i5e!jLH4oU8#_rCmB>riJ&GLJta=TynoCzb?=?SfBq
zW|w|1HE(+YIbpWP$`%$H<PQH*nL;7=8;k+1`=3j*3c7?Ydf-g9JtCGA=&8wLy%(+f
zPFmUY5&X{YeWyJ-kj}fFa)vZ`Zg8Qk!*!P818)WwfdqX0SB|cG6{0SQ^}Q~2^+dnb
zeO}kQU)D7>u`!ev<W}~jmSk`(S~{PaC9{X++s_DYyBoT&{W_2S{RZ=E9f9_x>M)K?
zxpANm`+Lj27Z)SvpX^@$jhypkq$nT|unv7gYiN)ptx8HEgQ7O25E#^#*QK0JG%T0%
zm4GLA82u-!stcu`d5_*e+wb9ESteZao9jp6K5BRurWMyC&(=%t!BXn16fW=$sqt&v
zSHA}`>i)UhC6$@pT%UdrvgsE1_%!lX=u4d2zluu|#cx2#Ji&DSI9kimdQ(Z$*VX5z
z=ek7d<tO0E%%%qs{WZDCueNHapLZIJRFQ;-+JKYSCpUe|Bd&(;bUZ0AENI}nesEHw
za=4=hi8W3gGijFDzh`!C3WT_BE!-80XE)wB=#^D-p|*h2a?aUGxOZ%KH+c&s@*sGN
z82$F|kJ;H~Tyy+-pDJr?DhV)VHgUEiofaq7uhLcbdzuYn6x2NpT{m5No0aLAzUsTp
z8VmaJN$G6c{q%7&u1py$i#xH(y&r@Wk_90=X_6K6?c>kr5!f)reS017PWP8l3I5EK
z#WdxSRuZ!2q1bh{0v&*QZLhUW;6IOcX=bJ~ebU8aK-FL?!ug_iiD!;&KAx9x9n6By
z0rsb2p~ppkuV5|Pl4~EgBs~jhmYyk~q{i}thW9vCNw$(lUP>|Pwu~%3ubEl1>+!Ze
z+T3(XU($Ssrbbzk1{sGsSI=Tns|_>3DGK$PPO_badZa+~V>hXRS-%+(SDN1$j>{Dw
zr0Py}_Pv_WND}V&(W34))*1Ny`dyje)g&>sqB3wLwcT^bwL4%)&C#H6k>0+GS5M!~
zw$>1bjFmq<#@~7hI2AKusx13sF_U_<n1N~AJuis}b2;~?SoVZD1@l8A-o#mZ0i$Y0
z!1si)l);ZP<<Vg$ae4&`=BNI{)@#xp%M?^Ksi~o5jU^->c6fuq8YhRwjF$w0S5P6h
z5c&G;WH{l-K3OM)HGI?*To#ixnNNdUm?+1I3RVKTerG5yIK%<zZLbI#B=U5l)XK91
zEi9v3KhByhLu9G4u$(!Pw%fn2M|?5L?vUuk(=htg0ba$UL!W$*9-QV5YrlRZ4kfVq
z>XHaRm0LNe7EpU;1H%Mb2ejc2BGqaHpX}IDEcG3mHhyqeRpfY$I<yrhT+V(Q?$*-G
zSR<>NA7#LJh-tH1;Np=VnS^t%TRD>X>gfW6s>yscGj9oe(#MNc7!UR6r^8BNx*aJs
zdziE)R|U%z<_AFSfYmvO5*r5@wqFr8O!XYZD{KmM#9E+*>|c;j*Yv#;L!n~_R1)=$
zKB`qicNk`JF4BQN*Npc<(wEDmKqn|YG{_%=y5Tk(%w~-Bh*i7kbwH-&?u2B!&yAIZ
z;UJ1l)?cmciKS(H@#Hzs(#G0$)aJ$A8s9$_kM<vhvEDE0c+!6O+G*Svy+LHEPY5Yx
zZq}L+3d8m$VGwTb)O%7irc6NvEERWqSVl2T>9d(IRVG@NL_IAB0Rf)7sgHpUeKs)@
zW5MbX=e(9YwZi0d-IO6x|7abdEqQPHq!%UlFWh)rMvT}~?V^hK&~LZV5vNuLvu`gt
zc|SUR$63lt%WZbv>K};ObrO3rttCgP;v-efX~#sk$(MmrWZft2_7x}zf3_3MFtPF<
zlD8jSH5V@DI!xkMcpl0rbNI)q;am~@Zmr{VM0)WrmtgcV=O(76VoBj9Q`sx((}REF
zFw*}fDJ;w(=VW@qY_;1-+O}OdSnhtkt*fOXDas@53EGwk!u8DvBp7n>xZiNgee`}g
zF%ZHx=d5m#Jj;%Nd0usy<skaK<RQR@_!-P&>a=f^RgGfyrZ7({LvXkwYw)OiaLG`j
z7f_s(MCRf?-*qU?rkuNdI@}lO5MQw0hi8!q(JQUNI}|VHxgSSa4q21QE|Tc`3#@mJ
zV#R;)n`Hq({IaW@dn_m4lc+L%WrD+C3&SMJb%4DP2Tp3JheSo5Hg5(zG^#P3U#mRc
zEE(Wtw{|jcn!6oTkun<$!u-iHSwJv5TW<*=@O!jUZ*2Sy4{J6g3IkcI5^&6U{i0k)
zGvSO|J5500Tiad4@dq*~VHQ(atJN+xAl#L?%oQg&o6@D($~tF$Y)UIKIVnS%F7(Lm
z<E}Y65uNOGJB^K2lTc7#2A++y0!v3bz43rG_=z?o_9SWk=DV(!CoM{~?wka<{?J&M
zahq-2Q~Kv9|B_B%^FEy_;O=_lk^hco4jE3*6-&4{ftPL8-pBoRPNdd$yQWThn>6qC
zFS#!fo)+iH4ufsr=!y;z=iIG@*kYUCqzoj>@ar<!Re$4Ul74*NimVys3+ZN<XME)W
za>RJ6DJ{`@{$Ho8ZdC|qrM)j^=4RTTMYKzc)KSF52mIj=%#S=dZAmwqmS6q(!AIMF
z0ZD1qiLgKH+xmz$8|P)gj4`9bAqTrcV95-RvZPcDC~9MNI#0xSP;`o1yf}$`L8Ay{
zd18+CAe&{R(I@5PgRRBcy<7^?I;%oqov_Y$yH5&>Y?=}4K4~?I3g%E=T<d$<Jf`76
z0BfgHJr%UI?{vU@V2|3WN+QHuCjTkYDtThc^C3KGW6pHds=~^=4$}pvFu~kplcynm
zX`i@#tG*H6jD7rNmXWS=Qn7tY?8iB)TfU)XtGQo@p|ryw8|vv9yGrG!9OC8dz9CW6
zsO#_E!+#}|2f23N(`^jD?$6311#{}HNCW(RFt)rRj)pt#<eQi@-Q9>9JtshKt$4je
z!Pq2kC%JA$e#~!HMA}R$gLjg#VdR_5d18_K3C&QUwTi09dzOT?ri*GtG6Szp2umu9
z!_H^z0!Fq@{rEjb-v?^fcb(O;UVpfY2&ciXksj@nTq#4QIbOKhmeD`hTUpl-j5{k7
zB$)g=VpWa`qaTXS*sUs<Dz0c_*ll<C`H=_x%Mq5*GbB2u8*V<ACFVN|>A}kNe+6eS
z$e>MGB^6)hdhIMZn0n4>&GV1F&T_4z!~JM((gx?ZKh^f(WmCx%tgeZB98<9>J}zML
z9G0nt@iS)q{Zn1Y4s`#$&eq9N?W1O@M9D&a#W!#2fyYoO8-jWx)-^x{Tc7l)eYP=$
zEpoW#WfN}Q>Ph)$^Vam**tU<#gW~)?)%u68-Lt3Cdr3=2#pfMjr0e&bm|4Yd68~k&
z_bVxOCRyQEmLQ2r+~1k^UqGlO2cDUx^aO`6dEP%Zv=%PgUe&!3FRngb3%IZccQgf2
zAW;!Go9ueODB>*m6&q!o*s3COPn?$Bc#J9cdpIoix&=~%Q_d)DZJ4_ElKSqZfUedU
z8i2t2I?jAzfJ+YA)5LaeFtTApNKCG00+}#Yup1h2k;5T<Za<~r$^(UNUp-X?Wpw|=
zH~Z_C!3(Dvt_%@AiW;GNf!kCj_tuncm1yf7mnY2yhI?^uM!#Z$S;mPesNnZwsFp>X
z_wL%(z`Y*e`ACfy-rCOly9ZuI6ip%0xkMIf7)R@(@#myglQLfE!|SWR&CDcAm;Ap|
zR#eNDJ3@%4;E@oyxsdb>+!@6(T-32xhVp;_=YpE&TnpxJ_YFd-=m_esG~5772VL2T
zv4XZE*({xw)r-MuF}FI-TL5}8F0=N9G&s#0Ybkq5q5#(accf>uhGEWQ$T=Fhou;4`
z!G}TY<;J*C5y(?3TRUL2<Ng!dMcEr~J49457^&~;I^MsM>$tavxUkLsKheS55hMkv
zm}u8ZKPbi1JmQQpY!eL4jMLHOwA*(shIqRm4?d@BvyFd>&l`6<n|N*JonG|x*0+wg
zf-uSc`OJzF!2fhT1$<e;EtsDX7j}oaDQ|s@mSD0va$R`zLtBkx_HIlsrR?=n5V#!J
zKA%?<@}cQq@F`ZT($*tcgt1Tm0Ux5b7fbpz(C@L-5AfwKQlrE8k6Th%ROkq@CIZwO
z&-fw5{QQ|Y27QWUw^$G4z4`Q;;Fm-H6`6DEo0dg3x1$0{gQclB9ZoRe(b3Ll%+`pL
zebbi(aWT`65=7AFkMlgHU1@3r<BoO!Iz6^Alo*rWoyHC|a!<#5!pe#gOOgtNe}XC%
z`W+dsJP~KYQm6**oW*yOel*i+6=6?48f4W(l?$}m$?*iqdt-x$DgGg%4_owu{%k9X
z>KXtP$nQlS2N^?HLp%I+BCIq?m<zJE-=MoZi#kT*1I~z>O)IpiK$T!?l$gz+J!5r3
zc7YNNyR-wtrf~0;{y!~G?&nLho8#O2%FW<Td<|c?2Qsp5QJ;2_Hi96yv8!vDwKr~5
zAdNURH9AVDS%K}SU_F>PvZJxa{!N1V2RDW^`fj>K4RNa3XCx-8(#=nct_Ab6;(PF}
zyA-*U*)bX38SHWC2jh^hB)Rj~o!6(k8DIBWz1L2hE|CXF8xkaoB!fai;W6v5+OYv?
zWhcEjeeB9plGG{U&Tg|y74>HYIib?)Z^L^A+CEqwyJM(o=IenEZjpE)J}UKJf>)}e
zMv0SCIG5Kgd2lGz3K7N;yUoDFSgzhWd%8W(7-&@`z1jxfZ85OOR5tsaiiJPzv}zhU
z#`2e(ZTwucS@0M3{^6z!?4LNNa}b!cyVpwJH<}u!K^-0*KmY({@XR@_wIRN$Ihm;q
zj13pMda8Rcyg=&jJYgVA+tOOkZJ3uyrg%TW>MQ{^UYYSm&Iob9V#g&L#~+DyIr&eQ
z!(#>Ir?UEz6bgn}))JvM7%tc@1T{|%d53L~et_{G1N~*VBr|SH@!)@r%yU>MKDwev
zQ4P+r@=8M(ctzyLR23L=GYi6TF`3aKkpjtr7K-xt*%MMSDj?hGL1t0ISwNwFPN@Xt
zdeGH9yYoht4FVHsWIG_U;s{wB&@7-(E`8%MS%y#;Jqn-CHS{2svp>r^>8?0^f2W{F
zOi~_INit(>&BFx#r5husrrWvYgYB0S%2LtG&{wZ3Uz8s$OHPM01Cwq?LlJsFh)~+}
z*TEOGjISY})~Sz%p~MWg!Z+LXd6n5X_lutHsYFCfIx@r{((59mi@331i73>kWS$v7
z>4o1=g`h&X7+*Z9m<f67wfkJrGgkY%$c;L4TBfR{UdhqK9PS_9z0yDDT6iO(VsP@+
zT(Q$0*m5Ur-&5->-8E2b(R#C;n7G*$dw#E0%J~u-yC+ovsx?cs!w+CtE(+A0KWGOT
zDT^vEc#h9s><D#z4b8NBwW>W&5qfQA?b_*~^Mn#7Oqy3#x1jhx1L1EQF&$KQQ&PLC
z%Bs*6mJp^S1$>GZi<UiOmgZbO)&G0vL)eauY0wOb00T}MZ~+o|%x_%m=WqsG3gEL$
zi*zlLNrk*a8B8KO6V*Tsgu{XfObp3&d2M^U3GXw>sb|J9E-0QBiGz<K!pc2s12(~#
z%8aKI_t?rWbpkWrEf>eTkkLCO0&1i0>J$$o9A=&B3su%cv5j=tiUhOa1=~SnX_5vF
zpO?A)GPl8mi?v=ywfRk#=%CYLR*AmAziCmSMV2Os2l?<(0uO}0w|j@*zH1s-rWJ%H
zoAIXQrH7W8S%+K98r3-dxrK+4+7c`l7*pZTSc^$ct<@q$x!?8kdk%J|Hi*flnXRgj
zwO_H=_T&9HV6Cic)GH`&<IXj+u~=|PyKNttu)x_a(rMaLMewn9sy&<V2JXhW)g2o%
zlG|)$2q(i8eb8eT6PD_{yWJ}3R9L8GL2VfLGOff8rs@wf3xAd@EQu-<tPNnw)zmLQ
z$tpuruF*?X%o<EtRvvrm?y$oJXIsusZI#5lHGjLWbh`iPe2?j@&P#lOzEkk;Z!iXe
zikG?B8?3heB%Hb8lTP<HW;U<1j27YgbQd!bP<L(Fo9OabyJOEpkcHo~&hh>A>lHQq
z5%XUR%RzJib6sPfMECQzlJF~R!P@Cf&@XhVNa?lA8VOu3dI5(`zIzNgC`sqzZBV=J
zplsASjH!giZ=5)1if=YmNF6-{w=lOKmM{UNwIlq}8vT1ZMToOX-ykQ7F5k}1ccgmZ
z;?w0Fh<imW!A0!947YK_1KOS6`Jt>^bo3l9Ur=lt)l@0oHjt6eV|U;1P1X&wrgM5R
z?lpJr4oF=OcLFHR?-g{=JT<g(We~gJD&s>Um?sQwAY*3WQ4mwfXYQzl3&H=UZU6Ms
zeBUb*IN&uZZ6U9Cs<}qOBR9A#g7bf<=Kr@uAHMNE_kQ8VX}FdoPu&-IM<+7CZ=2ns
zex%@ut@iwq0gVoG+Spwub7;3(Nas6Mw<!Joz6+I2kt>FvSIf><K=o=$=k7vX+iTFn
z$36txPl9UhmI>uS2p8nwt#`Ii85TYAH3MZV5rvqEOX@*&_=da4NI7P<)<~zT>*S}0
zoWBWl_dR4?d?=i#XhQ<1|NAblU_jZqzov1}(A0~83OTA@r9>PBk_cstdzZkU6Wf7*
z6}_|lLJhqMLqh@xX`&*?{ck_QVnk(a2N+R_N6&0^M6kr#zVC9_SVk*?M?RXTc@qT3
zB(3F(grT$0KM7FCQ_H-AIV8*Q0c}Ta{y9E$p@YZL%;Af-I*A#qE95{zL>}!PRKpUD
zD(z2#Y{a!5q7Tofi_;5)m|y;p99+^=oK(b+#`0@!wrBb)#VP)9<sOOtUClRaS2fmW
z*b-Q4xOn!lFeEUWcPYm+bPa&?6Jn@=@psC|u5Bl1*=9Z8^^yIYMV&!d%t+HM2H_~>
zh4*94w`;xL2=XpQzFX8y5HZlWMfYzQoz920a0eUS;Ojb4>^t+M7-H;LlZOFWU0oMG
z^h-2p0T-M#OfFS3!K%Z6z7K+vHhDAbM$=qeBxYPvW;pAll<0>b7o3P#IDFjZkAW_Y
z=W3Xhp?^HyIwXDYef-SGWD58B5zIFbbQy@Vk4+Wn5Mmauek)p*(e1^Y)$YXmX5)#;
z1{e{Bnkt8B=(f77@b!p9u1#qJ@cvar&Kc5nP9n2OC2+O&6(WsS&))*@vv7Gry|4N-
z9KZjGnqn;I?Ga_XeOT!Bb-UQl^yRQ=EpSbbDcqP*TdYlo$Umvm&-_y3tw`XBkkGf#
z`x<cBjq9%Qn?MO~wTv54dtZqkAHb@~;U1nZi|4`nU3*903`6{sSDm&qnl`o-e}{N6
zuf-fkSk6XM7aAPDid-#j!3Lr%Vl}Bp!jIxIgmPR>@__`)jh+VR1+lAi+c+Lph6VT0
z;*3?-uB<HR_6FInaDJG?3DtR!a(gm&u;GOK9@^g7CA)7;*tGXK(UJ7!4QZUK2#}(<
zLzSIC)a%-v9}XfLEE^i6nX22&C8DFgb0gV3OE*KxNM)Qq2|a|@oB5e@*H{|!jFH59
z^;4SUkKi_O8trgYmYzp!*b14<T1`X{dk#&(fl(^u-|Mc2aie~GIxx+|E9r2N1nxbA
zbXv3{A7v<>F}Nb1xvm!5I+IBZr@v_M)eh&&$q_->G}Iek;@d9>x;&t=Le4mizsa?K
zq>jCux_dW`?zL+!JU0I-0WtVz+3!kJf#-{UN#FC;28(xCs;OhY1f=0MC6p-f={Cc?
zoLLv`6__~2r+m)#Bhvigw&C)FQy>yd%tRgofY$9#T31@nB%*XNb(}V@FC3uiUj)|G
z($!u4t_t#RJs;D_XFCxM53L*FzJ7KajwS6KH+XftefeVH!_H@X`C8{xkY;wM%T;sX
zmmJ2L;W%qnIboW%u=Ri7UHB=hBpzMc_d7?#ymy1PnFn*L0J=XLCE2C?yrx;FL4pMO
zWqFZsX7W&#t!YpyIV4ppC#-%XDEbYbbZ(zEwD+zkbX1_r*@IrpfvxIwR$LXsT%&7W
zczJU4aTI}tyrAe4U(EhuStOTbUt|9)2S7-(2<laOdF2MIp^a!-ZciH%UN#5*6sxjc
z927J4uT&tgjkk$=EQpSZiyPvMv|RAf6N*#RFVE&8BV3jrHOCqsb_QX8hSeb8#54+c
zu#CRa=8zWKHP-psMLf;0^IJTXAGv|cX61u4L5iPP`o1aW$e!Y=(b5qI3+ZOEnFzGD
zL(Bwz1I3zYy9VJD^*+4d1OQHV6@C>yVf$Po-0;IIezJg-?!2eV#VqZ0oBOi8XM!zD
zSXX3xY~1y@HI=P$!dy!|LteuKPUM$lyWy;`MUa^)je<GZXe12DIMZY4zs>(KeC=h=
zyUpuvU+rahg4)wMU@@QaE)R2q6~B}SE&i0<<IQs=<cTeJ+V>=m*<?f;p4`0J5HJsG
z^Bs5d{@^GOUE?Xu1?arE*A$R9oEOv3e>6-W)w3-S7J;KhPx*rFKSUcRm=Xd#S&yOK
zNnO+;e1nh@R1CE-JBZ}1E)4!bpF^6MxNX7c*2$&&lg7ocZNHdSX7aB33_;q4W<-)q
zK0NUnKHFR7$B+?sRHJV8^W{Q`8;x3R{@Hy1#QY&Alh7nNrkoQiOkOS&Ix^yp$OcY$
z?Ro(^$2ufapUjG_4`R#G$E*6cTb-~=qQ-<;6}6m@PqYY<2-5oHu7CQVp%GVZum8FH
zjN})`rAeo^{qS+&OTJlYS0#ZMrtkQd2WM`}_x0(#g0hL2Yd|a85N3Gy8LB(bkB*L%
zn&7#`HT#gB8vT;DBTT@ADpyG@KD(Irpi9CU?bKE~Z~5s`+N4}U&*Ggx@F4zHaG}Rb
zdqUsw%LV8Wv`Uz^xmarF;9tj{B~*JHijMy~!75mmnrA6*Tcr!`!HzfWIBg?u+ov)W
zKCMDH^Td8+mpLQUU22>JMLmDE82mR0z)d+7wO%;sl3i{cMC}6lhsYS>BU(?yTqxWC
z$WKs&*%Ylnkj{&Za53Z3^w)GT?=SGxxd)cVqU&Q+-%<A48xoq6aq8P66@h19-nR!v
zUt`U9_#mliY)mY+qVVRBgK#Ip=3Qu18OfHK*8b#(If&p>0(M$w9I^VIQR)x{)4cA_
z!<Pn({%h@m@Y3x2{p09&wQWz!(%-|RUh99G(kk9RxziGpVQ>{uT04Zi9Z@E~y&2ZR
zGv0n6a5UE6E3hE!b?SUa$+aQt?>m1*h^u+3y$>b+YD@9vjsCSkn^!B%j4-p*h>>58
zb*(I*cE*8pV9$&`3&+<$dq#YZ+<ml~3CHw>>$Y&}1G+YHOvc34QyK+>H5G+oP-auW
zWx{KR9V;u<YowX6vi|-$PoJU^0jSA+Lp*8`#A}&D%uVEh+r&QRkO>ntz*JqlKQ6*z
zwYU8y#m21nPv5F=$jHJ;D=NjDheK_ing;XQO3{!==O6Ck-CR+rrKla}crCGK;i~`Y
zHj>KuA#($$;e8T?aXNKgaUl}uqRXe;1Q)1hv@OljM`;Tf>SkP(@J4`^xrx~|TIDrk
z3GpgKP~J)feS*}r8?=t5h@lcCR-S=OZ1eSH2i;MEFT1+v;nOES87k>#u=YBC{9)3U
zgQApINlbPDS4l(^E2}_G-0W&|)K}VI54YwRlO;aWVzx^%e45a;JAO?rL%}&ijC5Js
z1<PXY+~TivAKv3Lruqx8joh_0ARIn<ip<MI5|0^cBAsF+k(g75xaU*KaiZaWo0Tjy
zzv_!Y-Q%`;M;+T8pI1qCCO6w##{!&q>X}p5(_rg4oz@WRqVr2IHzveqYk~<w3$_{i
zu~$0G*E-~6qrcZWN*DLj{|6@Zcxf^RwatabzmLYG!?3lw>=j0J(ZfaRV#b7jxd{?C
ze;Sl-^_bw*^UOZ?{-D-*w^6n|$qda*m^7vbG@$@EVeCGPG!!9j-Ybww-^<P$(t@hG
zi@f&Ce*LB0$sGj9?K<vsf|81<O|K(DR=n@O^KS`D10Mf57ljD!74}9JZmc{k9nU>p
z6gMr+J>FKoGhW>>0F+G^>iYD*!A<J0wGi{<!R>dA<uw!$8@<%qE&Ct{bkx)7qm`j`
zGr$F&T-)-rUEmX*VXX(rBG9Q8{36~7Rfi<M^w^vzR&{a!nrLJ{O=OZ8<+#(o&`)z;
z<{;^L55i!&ETfO?<EU)Kqd8;aV0@=;W(lbpFEoU00|1lu`!f%OV@<SW>Cb(l(DZgg
zPd#?8D>Kip7Rn%pt1_u)YqO3ku?=7{uFH5uroi>(n__!2Tih#6D=>2pA61R+^2mB#
zzyq5r|B`qbIW#J1l0GbN_WSSf@1*w^=C%WJ?PU78rBWsd8pNXfbK3cW^b&tV9>j^c
zyz!ySjdN?VJXW(0Zp&x@{3lA$!lV{#PNMsZlI+ul^n1U)qSX;9bOqc=Yy3K8`O0>O
zPQkl}Pm-((&0!Wfov|?)aGDZyG5A$<0`7t@Gl^vSPOHj*M=P5G=&lpBWTxXZ)qO3?
zL|;sX2e4j`1p0$o0$b3s3xJXdCi~rZ&)OcAA;0Y7^A&G>;9HcH6Avo4)%^8~__Fw@
ztI`)H91|r>apV|n?McST&W5SJlKfSveQBX89kc+W2;&{tW%dXYr2a3)$ZxCNFYkF?
zw+z&ut4Bb)-rHyHDG95AA>iJ{65beXt+dnUeKDF#Y#+@IG~|^K2WwY(%;WAoSGo2~
zqViasn&<bOvzx+tsoRbd=-snWvl43Ww9mPxWa~TQfcjUf&~=howOR|!3zzigWTHal
zeD|6tBI`$(>6kyG9Teq%n1vD3;?65-sJbZtCT%<Zs{L~MQaE*eB|`ZgoQAm3U8<AS
zxD9u<V+JV?8^@3RSwhr8TWzMacB*~^tF1~xE*xPg+CbSPh7vrd&<lbLamc@qnjVR2
zpLg(rR=zx!w&IaCK$VIgj@S|%Ll**FgcBs@Lj#@;@l^M-PDLGK6{vr6ubzK*NuWbB
z<0q*t_~-loRy7Fz1!*hd08Mc(1?<W+gFSXrQ$aBvO9IZ>=T?7YPx3DN;GWD)ogR*t
z$y$n{BBhX-Z^AIiuh_=n(uda|@8j2HC+!ch#*HsTbf{xF_L1DVAwA^<(HWEi*Pub2
zDck{vEg0M$9!?VP8G}F>Bbd6kJ&47mfO@^h6W}$lA(^J}CR_g;$(1?+H_N3as-CL0
z|6x;h2JJt|yzL}Zl7j7$ozlLrk;Et?j37pK&gHv7Y#G?4Qvh8N;8SJEuatY={pZf$
zaHou{ajBy8M*mmpPXVdUSg(tuckMYwB1dA#bctx4S=}f@f@s17Z0wxR<NoV)9I*sH
z=<)tvf3R@QJyqgSgl+L<yvHh2q!j!g?%xMkO<v-va3Au!578{uQ_Ua&VB!X5fd`dM
z70B<m9eah7zjkDn)&FSe3@sxTG0T_l9LBgiD%Qq6MEz>`i~MoB+~6U$eaY$dZp?3f
zb&agnXk2olaTdjzRf%UG&aPeeJ2Tskr8P&Cxaxvur1f`H?&S4XwHLoPzsDv0Y@gGi
zn@Bb5`i=(|oX_}##I>oto-^ZwiN*PB2An@OHI|0ZrXNuiH?ag>k0r@%gE7?cOAfqB
zXWdTow{~QC%7;(|xxIU(5glwDXo77tw4Mx=gA%z^C;F<+^?T(0<WZlUXRNeGhuSJL
zHyiEZB|d80*S!`0RHKe>lmIdniaj-UnQJjD<*cR|@sLheS#|6`Mg0vY?P=y2p%`uC
zaVqLjvma#fq9ZCpOv4l3i03UQAi|g6))uVhG<vJoW9$kVs&vaxz)65NhqvUIbugOt
z9ryvSKm&UVcRK);wER`i<5)8IaX%fNJ7Rl>l0NrSxZ0Pkxln}@eYM?iycZK)ygaME
zUi;O7v(rIT9%o!+Dgt)ZsLFMRm+yr*2cPH)IyYLyFRyG3kn}I66fuaae4vk`wlmMp
z$>EHYotez|ck+MBX<|}$bp3+5xP_BZj#`aQ`$21JLc&~zmf`GPC>mI;VQDc$Su1aU
z0^>d+GXLVRY0P;Z{n|~Ut(7d0fdSt7K9O3G-=IO8=a`ot_~qN2=I1+}`8lc#ltZY)
zdH`)0C}2UyJB&37Lt}CCRMxAsnFVxA@t<eu|LM{WefP@z`_HWOK;|pR_p{zD>rpU{
zWfftw)S&6HjiPH9_F#I7+(+|aGrJx~5^=keGPC61$!&|oMUguC|KhV#4E-RK%TI9S
zM`O0NG*V1J3`58gl<d18Wq%_F7}2L2`9Ci$ld-;q&6X(q-z$eyhJVpwa%ZsS!crg~
zMcQ!SkcZ_9QEL6@eZpqVi8YN@6v|8<pDu)YM&53|^i1g5Q^y|V{vU($YD7#2QbL%I
zT&_ZkNkU9Xzya{`OHm&4n}jMp_}zj@dDWnGZ$0rDC)FwtLQLY<*r(XHF*jiC-*VaO
zul~-*HUEnvM`f6ISfig`@=;Xuql(94d?1G^nl{2jc!62ywkIP+uzGKDJ_6jBdfCT^
z+*ke&%aAXjC$WqgO7osAJ3qVFT<t=I)`E_8UqoD=GT0e!HU8Jt;WiHCqI9M*_ENU)
zJ?zMSUl*BmC?i$M8`+jF_}4B#R!Lp4DE&a-%EvK7l<9^Vut=qy=dt639wItAt9XU_
z|Ek7?Zai?9d)$(vEkG)fBv=I_F0D#8zXdz72{O_wW*GaFcb4CO@!6;ZQszsHkcmvF
zo%bsJKkaUoG@OzK%VknO28kg=mRKAq>9dsC0?|S2%k(39p=@+#M-TVu2@iThLnUUK
zUfZ!!$AqirU<J2Ph9c^<L;rg}Q*vn%T-L9%3*Apt{S~4(0yC-!9C&47`xS+-rO_c3
ze2#BcZ)!+8B5JO)Z24uIadEg<gBknnRqU4Pg>zb;pz1$O&iEyYZM8_hzWd#AvVi*V
z?(HJGy?Xh2_saLMhDnCu`up0!;oV9G@ZMUF`*_}UI=fY6F968$KA8@D)gVKSZM`J;
z&zoj;(ZTl0;r@8=Be0ybH=Yl1ncd*<JgQ}*OK0%@ibdlift@bWe_WGHCey|Ub@MI@
z%tEzrz^&qP<l=j_U|0w+P|u{qyuxOB9A+^2%*AiWFi0d_w&m_H8MfqYI0~Zjo8e1C
zhXcrP<+Kwb1*R!YOp&=<*jK$h7zp0(ZvLBkeY>gde9~(_AW;16ZD0FNB*hVOXgx&F
zAO!+H79tH{M;E<2%Gx+W4F!6`1A#7kdP1O3JhY<v=pqKHoT~`Fbfa+M9orIQgj^2=
zH8Jv*UvIZOC&tv_mOZtBppaQ?2?^F96l%)oz=8Nc?7a$qQ%*jvEfG;I0#0Ep^w7qB
z8EIaG=9<6Vl<u!uZ-gYZ4&&homyLq~bsvLh#whwckcR2en3uokQO+U4fqeUGClbvG
zGx!Xy2qemF|E7rFl+G<5AAfg7Ho<IRwaF*ch_?Xi%F`K{Ho#JZUj^K`Z+QX*w+6S4
zY{`G&b{wI)A%y9^t;|qh6~c@qgDr7s7g*P4{DFZ_z2U&Pmh6J#)nRerhPVStXq<Nv
zM}Jd7F4QRs%LV>cQsZ+0n2=C6?fm?do7{m=CvCqVUwogoBp&p`S&bTr3U=%;<2>6O
z(;s;8<-ms=h3D6U-lA4!c8l}Y;X-B3T|-1`Yb+{I{4*q!JnbZl2Wto?T3LfI{PT2C
z$Az$5p^R^!($|Dxs8doI!g3aRIf4~GHZ{{OCBZu$*DzfiNajX>ZTG|(80a<gCiR_5
z@13Bx!_a^D7qCVX42w`qXK$fHZ^Yd99TL)pM5{QrL05<l2>~3Ta3U8Hfv?Lo%_+}v
z2jh2p+9^`WZ}#w5*}K@A4#yno`7~<uNjrA%YLL1vW9&bA-JhYecHYcwMJRe3J4|vf
z^G(xl{OMP8CbAlA0kXR`jUTcb`S->H;|h0!8H1)-9~>!3p}XMELt<;?o#%dUPnH@(
zYky9lKNU#drrf$X9e)utlzckS*mFw_Vdn!f#Cu!lWW(In5*M;OxIxD1JQWlbD-nO;
zA>=qsePMk5x%mR+%p##D^JTOW)5%8|l~~U*Hy1%`;M--YXb4jdVt3AiUX<Wm-j$O`
z3${i#$NAnAR*=5lwRC^OM~H;IZ}EF-nYy5gW^AF^@oUcijXM^IWTW#zSW4|#I^+s|
zJ~n6NiRQ?NzS2xntam==j?04Z;kL$4FZ(*RrDKptp*`XeN(K{X$-eMgca5;$xwDdW
z7(0~c5T)VBvDFRqoK=99N(ZcgO$sf!Y&RLkSj5<L-;J4a>i#!rUvUxV_q_Z5@5~tz
zmn_a9i{cAFxv-rlv8F|(;Q@+5#w85j+e!m9%=?^gURm30p0iQLF?@6KHWMQ$Vq){`
zD;AKv*tTO^fH`nNE^=)jMYcdrrT8+gB2h|FP0*aFrqju?an<PQZ-ZhjSjCn4E4mL+
z0eh>D-Z&yHYc}uP7Vq7Ez%iIK=v0nky}y=WI9AVbl(zS%G*{3yOKvy<kdGY`(l{$_
z4m2eBrzGm_I#<9oSS`q$xx;>ray^>Dq=C^*?)D3Etn&PX(e+Sbw8CWYZ*1GmK&*{A
z8(J%nEKunM8<I?{Tg}hA_qh<Lpx2zs=6e|xR0(ZoY`t5v4!S*AjtlO5T&z(yil3SO
zcK<7Zog<xVF1#J4n`1$!L%Ls$cU}pNGnbSLs-=ElW9J3h<0^N)Gs6+=HLAk^hZ+U^
z;D7yDTHgAgpB!*BR<FKA)#bv%5$|}CoDjOqVi<@0wT?zQHc0{iLX0G|INb6fHm8#}
z$YVr;gUJSJrb5CyuJSn^ONu(nW<#r4#(XzE?P%Rn!O0O*$MG8#jh0QMC?(Qt6eUQg
zB0qdI(VkZ$*bP@8$u`vrO_%>Q?$W{7NBEt@8xZAE`Wbx^o(OuuAR=Bl=3n8M5J0%R
zB7tx|v=j$=^4EZDH4#I_5^0F!0bnt;9>z!JQ!X@I=Or~FbGl6PnKa_b{SAboaw~0;
z2Af(PmvptJ5tw^Rm#^q2iSwB>>Djs)(y9?$oTSESi>I}EgEv~BjQJw)OI-y!;~33x
zNYN^k+ND^2M^!z0ut~?ZsMzB|I+3JwjRx|*nmvN3!sq-KGeMOnX7Gj^q3M(D{4Z2;
zo;n{&K2_dTGG<EEV96L|-y%USIw?Nx-Oll5FDg)@U;TR*=bh-HX-3_fA<jJSScqiD
zc1X`R>{mG^H_HD6`Bv$yTg95R^b`BRZ?}pTIcn&?)~megOEvY*L2{x4(=Hvh$+q83
zGq_~i*~KF{0+kWrFpo)bC3I0M=+Th0MgmUEDPM!$b^xvT&<N{YvQ~n#2rqhhw_W}R
z%&w@4kn@r`&D+ra)>1YTLbj{7lqlD4dE~{euqxbX^$^<sYPPfrJ`n$e7R!vZ+om$y
zf&-^~HN-WS0W(mJ9-2PdXisj5V>Hv#BdkAejG9@{-1fRjM->ASbd}1j{5uhX{LoE$
zmdU<Qu#=XWcBurhqwWi}WV;up9`zO*E+;RR5J8K5_m>78-|N2JYy+v!hJa>BAwexk
z3+ESp^EKKpx-JS2da>KQ{@0Tx`zK+cZ#q2np#!%rD_d?4Lbp0+MueshcI0q3K#SMu
zD)&hl<lOZ0jYt#MUp?Dj-a+PZ9A)SM4FkAeK=}Y;?vw9tpl^;cEaJUZ>^R+1huC54
zEKM{LA)1on*xGId(urfEB1fYGn$buDO^UQ7qnwED@WJtHML5?w7y=ykDByWi?zSn2
zEscnZ(zFSBJEkw!>p^w>XGNblF)WvDGZ?NsF(>CX^^RZDAaWqI&!2Eg{P?j$F=M!V
zq+k)ENZdfV=C4923Fd^JqN20G92wD0!Tj#-8#L6DuPjJ$M-Ns(6YO&f$N)#Q<)tv=
z{8w^UE{~TG(+YG6Qhwz{@R#r@{7^)GaXARytzsXy-f&WQEV%^k&NfFQmSPb+M9$iB
zj}}dSpdT-FDISc1t+4>Fp@~adqh|!c9mKxj4#zV2BHO7tJ#|;ysS?!-`v|eZJWP^E
z{1@Jfj_~CXWJMy!ElsY>jz{ZbX~`Z;0u27B6sgOY@UjlCtCDL$tTnaEQ!q6@9C}X%
z8j9WxG+NQMFBCM@_hOcBi{Y|`5n<`Kx0hHOdxcB8wM-QDkHwL|K_eveEht%u=4dp0
z?x6_2)LbBB4l>4S?X%hGpsPq1`NKKZgO?iG6%Cr7W*NJXm(`_?smb!ZYeqc5T}Ptn
zNnuZ<DO`1?Mn^&qO*oPl7Zsl?MMn>fAH#BdRaA+_>?v+VzWv<lS_H(eE<smi=;30-
z6W#qZyw}1%%pR;O=Y@e);#2AK%d7}?--8<MS}}KLQi>CCL6Co(5oxd__DF$TtfS#^
zo*UR%ub9Eaj5(gR69Qoh)yc8m^@Ge;^;=-xTT=H)useczr4#K$7LmSgbv^>$XMDhv
z#BuI)Yztb!u5DpJs`$4kW0f(4O9tx%X*_T;*n^=FoUER8Ug5NYh;Ogj*K||3Aee?J
zB%OG~N0N^%2LD~s#7^Khu1OCa{{j!d(qo~4q0cZ}#chmc0V*J9s--0f0E$;cSI2`?
zvK?ce)z43Z6>TeH8rxn&-{CG-;(OxUm8PzycHamKDqlpcc3^C_5X>+y`=?Y;QF8uS
z*k~~d#jtT9;ojv3Z%H~f;><66v16(+;iko}sXTJFI#%bhOXVdAraX>g4b=V#bT$EX
z<}HgZZi#)()y^M%Dl9-^Ii`A`^c3Uh*1ie~?@@M^Bb3S@_8C)3)Sb|23+7+XZSM{m
zuN#vEg&8I4QJVoW0dH>AaU%ej1-LZP+>Sg1T1RWFe{Wah+Aa!{2w}RK4P$1id?j4j
zkF-}YK}x&GmDs{+|7kdM?!*ZRLMu(5Qu4yHKC=nuY;^9Wzs>D-)aBr8Cz48~>4HP1
zTr9t$emr$vBQAA3-UTlwA)a3Z5=5~-r-r|9UUyDf9e;WQQ=41F@vk^5&`NWpUmX2?
zUML+8Psin%(d_T(v8l|*Se%7CaR`i=FCJ^*0$);>xAmhh8K{e-#RTT7#-gdmn4_@q
zCADTg@ZzC4EQkho&O4ko!_M<^El6>Ey}WR9eVjMzkOL5#SFPG|XAM_!EzI<`#q!3C
zBykbvs*3}gb&Wt`fMaEtYmRb3<4SzOD&t@yGb^pV;FF9>{kmf(%c^&8&nmykBw29+
zO?r;|!{ToNy})tHbS|hqpXPytiDAp);Yie9*4$KE_L+==9C2)jthTDs-c7ze)!XFa
zkFp;wo$0VBB}_HT9UiAw%p=AQWs%l84iCELQUEKO^xQE`o%em#i&PUaYoVF)%J<!g
z;M0;1gLxC3^%*t~NJcBkofUJ4X2U*D?qp3Ym_YP!??6Z#Kb$CvM`<)(6kn_ZVJsgx
zL@~oN`EBbBdQp+){C0bg(^6H%f`C}b)w1oAt1I_CaWKL{%C>C9yfyj<v|)QF9r<T<
zs3Xi9X#?4#;YPMCPA2rfs^bSCZpy=b8ctv(lwgmaBUEPa0~SR-hVJE$kBA94pn-vL
z8p2;$K?6*03tIqAO7^+<8l{yCjQ5skWmzkJGx2DY;DTe}ow7-@<-Uu&I@(QYF071V
zSIQ{Mi3osyWBLK1Jx>06lv1R?oh?N_w~O*grd`j-4C~&BG>$r__~_qjfoH9fx;*ca
zWm!TI`Ix0GRr8r8KfiHSdM!FP`IvZ)0+dlgp6Jn7o0@6z#sK%yK$mzEBBa}bF<8!k
zZNGfUuvP<Mj1oT!SbTCXNp8p2x3JQg`88-1&cIKoAtIGHp}+^-X`7291ab45W~KKq
z6+u^<MHhk2%;F^-7jGpMU%?9vjL}t8Vp&+-WwnfWr5(v&O$|-$0_K9Nd?XN*!AnC^
zy`VZL=j2@3rL?>zUF74o>46N4bmG4V1eo)=#W;X4?uTO>9vz7dk<!Frn9-;1dWJF7
z@K}Oe7h)}sh*qjsD0`-q&it6j;a7bIMG&437Alpu{V8PwrPR+gk{0mRm|`Mx-1yZa
zC|kun+{%cRLCP8n>4XbK&IGMX8|psNjKc9vGc3qkA0LzxuWm4=ge`J=1(sXAQG=#k
zu{GFbdEB)dZdUfS+8F>IYPgZFE|O@pFczPL|53RWP}Bpg4!tYcJx%*nfCBY|A<)Jx
zO`=L|9~{Wdw!M0a(2uBAwuNsRnnVLHSAY_={n^(aXBatGqhEb1$bXu{V7}S5oV!Y-
z(MSs=FQ*41=y1MJgb%^pS{&T+(zt4~XL!5ywB~@L|FOgD&TV^*O(2RBIfmfTLUlqQ
zjPp=vEn|53c-4Ikb=RBGCB2NE^@L!$gL0?CZXjnpjr8N*2$MV#72HK2*arU7A_R|n
z=DpRSiI{^7kzoE!{zbZ^9o_?!Yw6XY_vDhyu*^a7bd43sG?!iiT~d2>G-wSiA4G5o
zI)A1aJuY8pYPL_7RYiH=XQbXd?%4X7<eCd~j%62cKzIIa1~36l%>9!o)z=WHygN<0
zd1SBnqYbU4!@6Y~>&Dz8#Z%|OW>W!%Ms9@na#I;eB-4yueYwKm50rwPR}z)n*M<$l
zSmPRsEVB{RD!LZe&f{zA^Tt8IK{L?MOi8|S3Zcb*s}_O15&qMXtw2)A^m-?|Az#sZ
z8>x1C+7gQ7AjF+mmE-W$a=<di5?=qm;~+D2qgJB8A#Z!FtxQ3FgNGr?YG`eNO`<SU
zuu;^N{HL0dN(*VRUm!`P(i7&eA^|a-m<^7bT}>7T6R{pVU?R;p?aNX)^LM=jg^t+I
zy;Z>hdzIINF5W~mwm>^WF^O_-C8BF+QB~rI^@5t*Y}70(TZH7A5{Ag~TczQe*X}<R
zd#*CL)-QKHj^gid(lLTXpjDVP0U^ydA%L5|tzMOmoVjv$(B-=8?Ng}y!i~DhXM~Ce
zh3&7=<WB-ge9Jts@velDWt^=NI1sX_FyZjGUH<w5y}6fp<ulrD@y}3YTAuS<F|;ac
z7p>m@>1uwdde5D<{_9e5@xX9+^@7n%6fq(ZdaLD1{`BJOaZz3J>~^LJ@vQUl*0Lxm
z(e-G#Ol5<?nb->Y0)WNmT>)IU1-$(No2DZ2!DGsw2Gmqgq{R1;emMa#f=z&DU#g`L
zKUPX#|7vQcb}6;?LzZXPB}7e_khZ{5c(T6qUoc<nRli5Gc8EzLLQzYkI9}K1A)+~R
zvSHx08*XuyPo+(`#?oW{bL4?1>LaiU(YOi%ft6O5tN@FV$xYuAoSvr4<S(wKm!5k2
zfRYL3TZIoYEv!`0nEq}f^rI~IHra~o1zc`%RC!~~r?$rV=tcbSs490(iNaE8^O&Pt
zzA^LO)rRguY*ck(Ms&OOP%Olx6K^Enw?x=!g4QC0SfKZv)x`S0N2<9KDt;G2^|YNp
zDw9fnd8!>^3qz_`5Gra$58tj_xUd)*^_n>-1^vy1G>%Fa9q{kBc}J6f=60g#7w`Yh
z1y$IV^Ui+h(QMe{2%0LhAt%R@P{OPEUXM(ThTBhJeX#zq?;>z^8>K<(UKJX}!Qc?G
z%3SEJbk}N^YE9ie4{&#fTIuYi<JY?&mWoK%^GyqQ>9IG|zxn%iAoVfTIuf2X9a%6l
zhSjie*!0a@T%JwS$b^wtxc7x$<}W47&!01+CN$F#TCtBc3>BhLPtqZvwPFhDZByig
zwekn24+KD#zTYw<JLro4(L<(|o|9jtu3jRoj);ImfV;Cn;-}xtHcQX0v5`(txBZY=
z#)mw3K7p5-%Fb~tLtess{rl&HCyw~9c^88xLi|5@F@nb8Z-g%ojpS1CZFAu?qp*9~
z4u>?vY$>0z!<f<f4TX=(%9I65KKr<JvDZ7um&rpf8gEEz3dFp<%hLs;JDG#0jS|YQ
z+h6d7(=)zpKRzv%0{Euy73Sll-GDzG7xSh5J~~Z1nWIU&rn8UasWTK-otdqDOn?E`
zOu{zHVW;2nqxuk{;vjBLy|kL+snkIRoE?7M=;%l0pQ2og4{U@%QU)<6=xbJ+snfpN
zP0qdBUXaQBZmEStedTQp*1k5eXmU0Yl2njKjRr)ol+`BaQG0u{V}XV=M<NIVu(QK9
z^b0?YSET*n#x*@wBYAs219^D7l0y@>ss1hjl~Mi{L?7qavAp^_jvrKNyH<DxC%8R^
z=q6W$or-4((<+i|^9gtbU^IC@4mJ}PorXIC^U;35KZu|ICk-CTv6QwSkP!Fqxwjsj
zGgD0gQ~etr@?$$WRAoqJqu^51$77?ky95e%=C#-_i<slJTI#$=>kXqK{2m#RSc^VC
zyqvViB}_~-nqmmHm~a|#!9>nO{IiJkyk^18!f6~0vlTN9_VWEVv&>YFc{(%I{fZSX
z$Ws`b?>F~-q0Rg$_}n^&Ys{Rdsqx==l{6sQ+D1Hd7&V?bUZdbqD;Z#4EekB^12UCR
zt^NME0-v}`P6=p#&6j#Qa)J>#Xud^w$IFwQZJtn61UNOu!w7j1h59kCILr#cv$-G8
zFMjLw5qz2-&gpU(H#lLG;3DF%Dr6%jk_7dJ&L>b_Mv~Z}$YL$-_=o6(X0znTYkkph
z7B^Q5&L=9yFsDT0BwxOi{+z@x=3G_t+2U`0WB`!o(EO(WC03#BX}JX-6Z|Sm-$VOD
zqWqZDk1+2%|6BZ8fV>83AVtPUK6876HR>V2!)8raVWYg$xM8C3C-E{-k2f87JxCH?
zDfd*ZBkBAG_0Y1e-|~&FJ*fp<IJRNXmvR~hD;G6}dXHr6)N*h1QgX02wwOggEXnlO
z-(E<ID1u;itYA&sRa_H{OKEKiBb<Zf{}{t?dO`8M0XIVZDISlmmh>@#ZM-toGDG*t
zSS{e_71AJTC3(WZ{-KO2o8X_1!eX$#wh&vM=K<Xz-Cunl4dfc+B~_lM<cuk7rbK$|
zvAhDmy|dnG?_YN7Y-Dq*ideUz09b{jl0rF7s_syP<@nCYG}n?Uc`Pw4|MSGgFJO(=
z{<I)rGk_EOS>$8CxNSBlWi!2T*#6-Jz1QzKGlcfx<<x7DLP5mL`Q45y&}4hWbp|Kl
z{9$Jk!BxwpK~j}&7K>5ng8~re<LrmDA>uV#x%sxWPCjFPJcLy6A46`&JJ_h}@jj1-
zi4(Wb=7*pk`eap}_mY7@)7>2ISNmR)J1~O(u728k&6WDr287}Z55RPRN`P?mqXIDj
zm}9C`&+vwpF>>^Q|ILFHDkS5%eDCD`W*u{d;ERSp;V`@{rM;Qd{xBlj%F0f7BPG42
z6XIUtmUHBs_R|CE&;{WWL3|R&t1rC)=c_n>{f^EO*c~>R$R5tRa^FpOD$59xp+oo<
zBuE9UJ<BM>Iep&&gfdnk<5F;x@4om`al$E(uai?Je3{3CP&AVQ`Trj)^8bli|F6oT
zzMD#QAq~ImKI?*;Wf8)T*b2ATiFaLWA?*Jv{1KP@e~5eQuc*GTZx}>+=o(78L536&
z=`LwRkscZW32CH;0S1un?ivt~4r!!QO6f+Vr0Y5Oy`OhI_h0a?#hM>jYxbPI_qETt
z&h?4wi0st&!FJ$Qh}_I)r9IrGHBwaZouehvUlbW~U{m=YZp7yd!Q&&@bcVhj25KdD
z&mnb!MF7gT-DMX1ve+NLl0iO2RPjG`SOWt_5`Xny*Fv!7z!;TN(OoOaWE?T;Qb5Y(
zV#UgVTF^nBJlHQn3wAL0`<E@1&wn!`L8~y_7c8POMcBx2h%NdPE&*iZ4ARb<sFFc;
zCeUZ|i&~!<_to~RqDLTs?mjo#|IoA_GL&!U`}u+Isdk9qbk%V(IXFcXn=;)QW05co
zfV7w7plN$q@9*dU_8k}rHF|rQFLyKgKi|gUg-jPzXX9~iEJ3M+FP?^z71FW{-QdG*
zVF#Pel9Wz^@}!8SNz5hhdYJr@(r&Z+4IK@g?)P%LXm(38n$_kecaO!-SK|N8U=fuG
zqZe^Ui4EqTPu3hD7k2{?!_v;Rt1ZG@*iP2&`Ldyqn#cz{=tXdEyl|5|i0{&Y4ijeD
zP?(9Yd(Ma8d2aQ2F`%iikgMy!%swTYGJC?_5D?A*6U`-t$K?9s<AHOEHPB?rK5~KR
z!LNgs275vAtTT5e4Y219?BDzy*80R?_a#A8$8T4&@nK`~3BqHEMf}6A#gH{G(P52l
z_W?onfBHRH=%;ZrYU%lg*pjA|+B}Ey6zw3$z!1b_-H=Q5)7n!sHA+v|66L2Qk*EWu
zb1fT<@VO5+x<04z%qHs4|3cIv&;gMj;&3r5kKnhEUQ-3}(+YZJng(;A4Qq6$<_!t$
z7gv^%a=lQ^MzGuA=#KOh{T%&^j`n+RuAPW3X+_~*tgN8d9howLp3zPv6_L@(Bfvbn
zhF!C<OY_@QMre>qCT&=F5J#73^5r}Ft&Z1|p}i21qIyk4%SvsD@W5Z8C;6*#597$1
zXCuff0LsKGUt4pQn<rFOgE;ZW9pM@kQ;qX0zG9%Zx5<BKE-ZJtaE=%BzM!1c(_&bY
zIW!c=k$x60*c``V`nSkH!HTBf^G+7iWZ2WZevm-XC5E^G8m89^RZ1=SWYOY)C5;(-
zy4nu^#B+?Adp5YJ`hSq>8+caoT?xH>^xy?wr@Wr@?v9e?jC>cOM6IHbqYHN_!M47<
zh38dK__(ENLenRg|B&E*#N6C8<`B}*ZF|L~m8s}~Q-5Y$6mmNO1DrghXBBwVM^8V7
z+|Fh`5L95kI?7LK?_!q$PP|ChKz8_+kE6h9bS=G_Xo~DYHkm+?aWbdVpkyor>PlHg
zKHW%+VLm*Yq`G8otyr>jh^vyEiU|7oinNYZ`sH81(gJ~b|3F=ke{yq(N+o`A(%KrE
zSx8Lqa<z=Ayz2MS7?Xo&39zzXAMMB3TDeiD75KjNI^7Erax|hY2gK_pw~brqTgHcX
z4-5`;KuF9u>v@aUq4vyQsA2!?SI4i9OC&$PocDDArW#IFCz+u^fT@MjKS;L)@ZunQ
z)plytf&J`WY}<e1%QBqWpQvRWW{fd<aiirlHc|jslw`vpH(NQOPdG#1TS5!&4@j<t
zjZ~_k&6D+4j<gF$7)&GQDxflGmf%HpinxuuDFHGM^b%|&ho}@R9>`La*BfZik}p9N
zLzF2i4uy}#=)7;jb~_|ae!DRdh(DqCJUkj}egcSufH_BC-~#{h${$X6zfPp!@K|a+
zq_!E-07IJ}n+?~h%GRjx8l>z<{rC=?ez8&(SZ{xqwEU{hpX*|c_ZM}`WnmV3o)V~V
z%h%aNFsvg!;er<#V7HPAX>jrdTR|qo5BC+~Q8Cu=<Y_>nK7Y;|J6;mO?o(#O_Nb#p
z7k=?`$fwUml?8ar&g_`cr+$)J`TL%h{p~Gg&ikG0oR~t~SNkMCESEdzsG&WGDhmsi
z-ULLkNmT>q%gfILd0#Z&TG#F{(qoxP2b`VP-`${<-Q6xZF5RpT{%JX|q3}QHyEblm
zF?(JbN~V^_f~%JIT`<|?0zS@+K{CY)Rzud6aj*KpnO1`@=1t*6DNpiIkAz0c0=E~2
z>e71Opb?UHtFvq6<b3d(8_+i(^nCGsJFo*?NF|<Ir(c-;wFBF+S0jyAn%ftm$KymG
z%=Q(@Ck}^$cgs_BUH3Q`$u>S>fXF8(<<(EIn_G$;=SNHhws|GCj1?Ebfvih;)@AmP
zKf4-pu-!MamAhuFaLr;4`2vrQ`;vCM#yn$IPGS%*)w|&$oAUAd0Q&iWad(fop0xr;
zQ7)0gmu~}$e0JM%q)?xHxHVVi3$)#^#k5c+9H1Bp9oP`9<dUV@cyZi)lObE|m)nM&
zL#$U&ZHj>njXa*24oH67U#!AmOeBuM-vf`L6@QDwk*$knSK%;!M~f9$jBW1lWgMfc
z&#vc+fOEsHeP4o(j}%gYCBrp97?G=b{rvz*ZL64eNxjqerTmf=D2yHy(0ul1$DC<w
zgHy8C&CsIh5WikTmh|bjpEa<s8$0Rc9}A@fk5cVEQm}fgDIQM@vr+7`?^e3Mu1pBJ
zHJy1`j$qrlIimH`grNAS%dO6zeL+&$B5Mbn>6F2Ra+>lDnS`a(Q_p5DJ;Qp?i@BOa
zi5yVmje{JRuOjMjU^@yIKI14%Yw)JPtGqH&DMECJMpxCYkE;fPGR%cSoHG50cZp8Z
zM3S%D1fsJ-0`qQ)3NkD1=ywXKk94+?dri4ZfwZBTXMYR+fOM%LycOAvMcT@0)B9na
zZL6do*aXMO!AFARsig8T=hr({i#26HWk(~I-P0Wl?>%R2;60b2x^g0&Y#h+TuhQuY
z?~57mkZaPxOch9oF=Bp|DVi@T1EewPD#TnGtkum3;wv`&i_SEdd+f4Y$`A++dczWC
zfRm@zo4xrr+E;J?99qgk4-#<w=0<I%8Qk$nq`A|+?w5wl&v$)ljJzh2jhzE#F+AeS
z6j1>I$V^#Ejo#!pRIOr<NR}Y%X2?K>@BCq+{bZTl%rdR+{gB=%%kqOeMaW4bT_mO1
z_7q>n#==rD4p4<#(<GItu>bn~*<>M!yinoCcc!`!WvELAZfTv@gRRh4mhf){2u(7k
zH2EtL!noiKcTdl29Cq{9l1yc{Ch;li%MOCQhO%!A`{LMPRL9-GPkJA;KD+3Wxal%^
z|6cv*VlA4W?f&-Q#pr1V_YNuAcQQSpcW-@?IjI+RA5|%sYV=wo68at>;EuS=zxm5~
zbhp-rzz6%q=CgK6z`_IL<m99yh(LV%hG2)4Jjsd8E;oWOXvk1w!#1hFT(F2e2l>rW
zMRc&P(p}ao9H?G@fcy0G3teFPA7XX{U_KFXzj@|=@+@e&Oh20TTnapE;M1D_`<<!V
z<j+;KUaDPQD>1Ea!u=Mcn*$aTyh{KNz?_um_pj!U+`mWfevj%T`=%pU6)a_wvga+$
zHyPh&Bcf<%MMb4vfN1L*S4V%d51-6S&pqiROAIk9Zaf}Ze*v&!X6wMFMVVfu0_9jl
zmE|z@<H8boD)v)S2O-~a8p3-%DvQ(Ow(CFI1ZNA2XTnw@@I#8$ZMhN1gc_B#Y?^7Q
zg>~BGkRkj-;K&@=6X+N`;8C5!)npM-tVMB153$&u!RQBAK>O+2_JR@T5Hf~Bi<9CE
zjaR;#(T>VLXZ7qri0X|Pu(0RG5Astjc_^T0{{Rab^*gIk@jPr+ZIODEkzRTMyiXM0
z_SI^_DxOZ%4Lg^n3^(Av6?GlcnNJ<!2NCj3*@s?N!ObuS6lk1fIreKSd@OS=7=)dL
zknz7{sjUk&F(mj)ErwT{-1eqqZWAhfdMNQHBnQ=nhAG|McNys6uul7|8ZcCvk2P0E
zAk7Ak%30X)>Mt9jxLQXdg*9Gm!79r)@b+xM@weDY<=t*&;)Hr0!Zg3JbAs50eYH{_
zgT<H+D&ZVt<8npp9W|RGBOKKH@j#E@)N?Ci3xr8@H)JI~NhvSyk_&849%?(k=HT(u
zmOxvKrp{dU46`@ks93_zS0vj0Q0kb%9CGrE6B<I(1CPEJ>85gEA)$-}xW5q#62vHe
z(Vb{WQuDn*<jP#o(h6%%_3o<j-s_OM{fK&`s`;Sp?aPbT8#_2`c}i%J)>Kty`~CW@
zn+!vi>u$U;3CW%}vH99V$}U$m#i?s)o|EwjmQQATck3J$0{bNHj+pv<h|bjnd^2Eh
z@1Khny2L@asvYXx_L%M(3ZakN`SmS74{rc82a@OfFD}>Pf|6R+Sw<lInSx_*R#fkV
z4oFwod&5&9ypv)}Rz5ca*HV=;qQUByaw+8ll4u7_d&uQaT~RawQ&o~EH4JB$;_Tuu
zfM;Q^JjZ~~-@k4Dwj%!+;yl~BG=ft7@+PhQGHsdeZiTKlDpXF)9iggF?zg5sE&J=U
za1*=?8^P&XE>~2Xoq3_9F|;!(dYk6t59UKcvPdOXmTrG7>1IJjm~Rzmt}%f^%S&(A
z);05=717KjjrCohJrwI7J?d1}{EUNK32~<<#d%Rwe)Z2JTTVt^1QGZwqwQV~KU)$b
zmS=Tg%y<<hFJ&nlUOT?6=*z+0HVqyV)Y(nG>wa05T-VjR^6aORjMFc-8T4n19&3je
zr}aL-E7$#p`9`MuBe^9EDlGKDkMH`W!Kb<FZX=R1fn%t1VXO;1(LU=;9ev_wUzSVD
zkT_8<&t_w)PDUjp9(X0Xvw#@w_#c;K3@*wiu(W_ctu1?Bn8Q0gWJ#IPs!=H6d#PHG
zW6!bz@L0CQ&l_#!(QbeU6A){2*&11K?nWD0qXYL<PhhUqg||fH{%jV&ph|=?@c{}7
zzQotnzQM0#UYE<Hn);vW`wNNPrEiH@F(Xu2@dSZ4Uy-in@OP*DcydBq=DWynd;@a+
zPr9o9KWr=-;KwrQK9si5!dC+WK(&3NEdw&vEwXkE0q{T|21GxJCh0%tQV|j`aI@m>
zRZf}Aa-#$*{e>1MWQZH&?Ba06eHc{-TkDJ{^1rmnCeoF`7)M?u%c|lg7Nn+>uReL2
z`1}@oty0O`XO7#pSl3i6j5nt>L^0(zA^`TQaK}X+AX6s{d-z8A1!Lv94k3MpgAA-h
zWLt{|I-bC^GI|k>M`e{9-}uQT;yYSwbHV(&gy*HUy2$*pX<+^~6wbmd-<6o_=jcnj
zA6U>2L`SQ42u8gxIdP?0<HuhGS_!Vw@5(3O9Lky`lZDN@wJUyYh%J%ao1EFN^O7>_
zjR_b^mQ3ljUtF5~5Lmf77B)q4LNW^bIJ|LcI%y`w^b%vH&7G4~woJX4lT@~D`FQ8t
z-q*zW*Szk(=u8G7x8Se1$+_PFctfdLMx{Qi7fsn=UN=pna_n+?1(Vgjluz5@YVv1F
zn**r~&wvR<0q_W7C1RT^D+lGa0Cst8*<TM<^SuC0fg)ODF^&dGEV)w$Jy&y=ib{8v
zTZ>Zs&S)(s6QWu8BBw_aB;<`l<yOeq4oQQyxuGZ@R~lVAeZtE)&6|3f9rqsrWkQmv
zR9fo=53M6DCp-cGMT0lF3Sy5d)po-3@(mE4Q(2<ZQr&snYZN=d_l17(^Jw-&-#*&M
zT8RJqW_-X8=IJ4eciNV6?B3l0n!PxkhJ6dld{ddnjVz}-=6rHS;aS;S<yg+cdQUe4
z?fn+^H(D67n45vaCrkDztICd^hxQE#9z%D<_iGpn(d7I7x89tDeS4`mg4kU&8&Mo$
zs;!;bvVKfUIj|0sq!Jl+ZABHmA2I5D;CH5;B@>hK%-=VemE>z8F{oBSBgo&hMFe=!
zJ6VxIw9mpE`!lXSKU011X3YEZ?B&u6W4cmOKoAu&SZ~Nz{!vYLShdsI`oqnH76^k7
zLo<;_c0e%KN&GJKo=LnR6Wr54fZ+N`ajqa{c!UQ1T6xp^@rLfc>-6Y_gBO4wsOrCd
zvib&~bx@3LHxSFlT8MoyU>E-QBU;Ojz87YbEksFdd|TtH<J&Iy4W~9^W+{6&qu6r$
z^}gtw;MH%7y+VL{x;+Tzj4<0?IPc{<skg~bY~_IwdInyvOp;}WaQ<<4OvR`ls2Ga?
z%=Fl)fnUPwM#%}-l%GCVL2JnMxqR!b6B<3Ts7sfo*qrBxW(w(`4`?DQu<h7>^zPn~
zB!)aGhZmOSOA{Q!aj9`eFSV-qSN!1xBl!(zek%wD>rbEuNDhs6KToLI`LVP=m^oSh
zi9c}GPUjzf)(aR^`i6J@z8MdV%$oGqz~t&b0`Okiu7j0RB66xHY3s?f7_+9?ZiZ^k
zRPBB2JLv{TsR>A@l)7%usKc1O1?_ajGG}D2!v%g9&G}3b^Xkm#^-$h+F+^>%G(ruk
z!)DAjzQaV9W6?27W-bFa#|moN&`Mkfx6Q2NZA3uCb5<KWCD&1boFRZ84?FQCdboFY
zk5Cw9o0SUWt3!$JfvP;yiZY>6?2-MIw}=8Ls_|||#FC2C86)*3@jj$?TIs`(jikX$
zC|{vE7N1xjeH1}t-=Rc9p(nwqLS%zELx#Au`~{?~YiYh8C$h`!1E?L{xla|%;c}L~
z!t&;wXW8gW>>~s5AI-X1<Pm5~ZkJ3GlsGxd+2-BxaTlP*U7HM9v3GrgmgzXKrT%BZ
zR+^TF65d{w$iHMP2n}{qBqUBz;P^Y4<wW`;9y3M27--~0t5^T`t>Am(`Et6VGnB|+
zE-7ZEUJ}P8>tnl2nEW?G|1$A>`o2l9bs?Xn%oI=(*X~vDkeK<}H^t^_c(3!#f7)55
z#3i#RI)p}G3^s#>&7?}_E<G|SLADyDMAhk?{zr6FF#I%Uqk+nXimIsB(^;b}$`lhy
zWqN_nf|Wro`qp{deOz!e+eZgF)FH_!169`Q_`JwY#!V38h~!Y~W>AOPG8P~kIt^w0
zEK7LVT{zH|PC+w0rvS&v2YQd!0r*n3KJc2xB>xNfNq3~16bNPV^&`W+jpVyVdmU~U
zwn727s=(kmSQ6gzSNAm1Q3{$_n>X#wi|_zp{zz-Jua881M25MhI&hr(U>Ng02YSBt
zKP7ALc-x0>Mr^Y~Y~~I-RCx7i<IA410v9{hk#o}h)lgPM)VY{ZE|Tjffh&O2I>V@f
z8X9yU-6S(l7YJ~UzP)^BN`K5BIWYB@QKE(_9^$k%K_@r$jDr_Eh;%t7yv*n!AX$KS
zglhK`I7p(cD3bz_qq@-e1Dy}$7;G(h;XU*j)$Q<5B9ebBF*<t5vD>)(qg^J)G!#t@
zsT~=>dYzpUcT}M~8>|V7qRA*NX3z}g3_Wpb8%&njdSXSmECH!D<OJVgu7PIGasoG4
zR%2cL)7L~7nOP}Qorlb4Q)DSs8du*SU8)IB`5k;<W&6(eb*Om3T$(@(2smuLq3A}b
zD!N?vhz(!`tG+!G9(bNC-F=kPVXl@l4{vgxa;8R}tiSHh2?#Fvv2sLKX;4DImF#DH
z^;!CdxeS_v2-%*-PWk=d0V4+0Czl*@vK@9`V)=;YJ-htX!H`u$fHoXdRjmsMxs8f6
z`@+Ezx*9rFjIgHz1AS&FC2SYm#B@_>f}V@-(HsEdkv8@W<{AN&tv8t63PT7s#N+4W
zR@ou2zMVR>X0T+#Q@^wsEw*4t5%@IciyiKIgCW7UmnJRAZH~zM!7rZ&B&oYU-grII
zZwY6&F6^-CbxT%&8E2+%bxF#!+Ep`{kYJ>%q9#_{To!^8kPr%AN(hwD4FkG@GYF6Z
zllb<{adhIJ>nB(J!k9Po@9Igi|L{QMw6@$a+zSMwKJBHl?)4Nt<-pPSY`B#yA4@YS
z5ekW<NxLFN*H1q3Hp!-3!Dr1fXMfMs_f?v;y+;yF6>YXqTuv(Ll7B2*{h6+kYq*?F
zY*Vs6QI~(JB|I0oF7(N8D2`W&R0uS*dk#NYTb;5+<JqNkeApad8Q2o>!WJtw+n~-E
zRP>yw!E@f(*iM=33JgpXB->f$5IowXD|DIn9=<6?(_5jc4%w&|?KIjm(*TvPCA-e1
zOM5l%Ucf9H8#dGJ-`O%28v6O3TxhJb0ko86D9^T&wk@(?rZ_Kqx5>v1<s2u|!_3*1
znsW)+fW}Jc1oum%;Ed+VhfD2q3Jej#Mi&+VVpww_5-(~hTHE`Re5d+DFb_>M63c2P
z2id6Zf76^t#;KVZF%`WpJbe*i_M>FH8ZH<QrSID2YQAH*E0!^#Lf1f;&ybeemVM-Q
zShoDi{G37Tp=kI}=iKgt(<_J0>E#LV@0rKV=J$Yr2UUag+{NMLfXcf6+$q}3s3>hp
z((B;B>i{KjCy_oQj#5yqLkC~Q&vJLKws!bAPAWE|5`QK@GGY?(LC%POPq*e#MZ?P=
zxBl_Hkg(TafgF7uxU$?)J7^BOl5TO5ZjmO)|L3#!IHW5YDI4|tW8^_-ZyF7FbWn;>
zEgvbxBDO9mTIj@;zr2_x;rX^pAavzh%4%6I_s)$H)j2q4QvP(PUK0(yBFaZnw3I(;
z@UMbO?sN3r)Yx9<6qqh>Bu*BvTrA{cE%-x6ie#I=T;;lHS2kNm-%Wb}<R_hA#yc%2
zp}f+Bpw1**Bq=7kx(Cix4q~Jg7Y-cm<R@peU|B_3!`*onsl6_-T8IJghbQ0IWv6fj
zE5@q!t@I<TdE*1lR<e2IQ(q>_7n$E7<M>-QaqKu(KI#<)XzKcX11qhm8e_!tiu(Qu
z&fN}(rO+79ylX7zFrhMacwF>ciT{O7wi}8JS_Q5A{6lg&R1q`Ar(cmOON1k@8?`3>
zIz*t=aY>kBC1Ts$S%xSvqqkhJNK%t`1IR?@G1XmSErgL0=Pd!Q>a`S17;j!6YFSII
z9dt$smpIdRa#rKN@}Pr=!1Ms0#~_3uHL2elnjYZr6BiGlKl2<`JYr6X)ER#h#fMgL
zDNkjn<!<EPRfRA8vSi@^*V(#LQ2$M5amj=Ps5jt%-!@fq>M_eG>n?L)RVW5k!vpSJ
z;2yw91*FEADRT*B^OxVOI`*Ev`OSWgptc?so>-1GtDAN!(|6Dw9XNa8GXC+&_tR1h
zl$t8ru9-rI&r&Z*x-OP++rc-x-V*mlWIuk?<2ZdmQ7UB9b5Rct-xM@!8rh_>aeo`B
zUR1hIW}ho#A5LdTTz2>(f)ONRJQ<@XqfMsLUBTJKH$q<%Hk}!o?lY2I(R(@DQm0m>
zV9Bh+N|N?tWaxapUd4@E1TR_1L?E(uZY~dBn8Lk7q->A^J0oMygT$cVXqoYk@l=)c
z^O>(^0(ib<A*?wg1w#GyW>;=qg<OgC3Y|iA=oNFAngJNVY}qoYT~n|4cAup84(3;-
z$fy3&OPc2BC8Eu5wDXR`?kdDqHjepV+u3Gr0~cK}|3)7{-%T%bb#isA)b>!}M)mnK
zEfc&~w?muZ!NFVqlm5H??;D+>Nv9NM;Zen|L~6^okvvaJ^~S@&)Vjp@zt#BckN<pI
ziYH66!S3N4-0RP7xfJZTPxXwdqZ*C&`s`G>FXg?6BSRL+TtmXOCu*1fJTg(q`~*=e
zs#{xEY~^;9AxG4!l4vu)TF8J$w8g&EUya9~=6<&_NBQ(n>)d!gyX_h6SwC>Ab?vs3
z6Sc{Ij+dykE*BxHK!xhvi>B?N>)>Yc(L;@8)u3p}fON7~#iuDX8OE&qbE8?+cNL7q
z^p!hksIa>$pMSzqpDz0eYq!m{R$k_T;w+OuEb}B$1cvB&rh3sAew%#WR6=ci2aQn^
zkf7VwJe!toqOGZ~()Cy|;_J86j+c$fU6Y;FpQQAXa&`vnoYg2fZ5EQw>N*wkc&U^&
zw^E-~?kC1<0wx(@!-6B99&FW99fU-sRLN3K$Dfr!9z|5+;h(~p3d4c405rtvVERag
zNS>mQmBn9^!cg`nOAGeKCy$1xAbci=q^m^>4LPRoH^1X!HwE9Yh71dhJhm>|_Z=T<
z+Kz*u)QI@cbO>MCGh`xd+RFWGJ+Xvv&tXJx?~d1kMf47g>X0F)r=YL-J4#^JV`H!z
z(xsGfby@Ujw?J@5lvlP%w$Lxdn)7)EC4TCoHg&O!s~B6}bl4zs)nzZG$$=?0S}8XZ
zXGxyjBci^h!inRt5pA%Pr!O|tmI#Ar7iFr9Jx@jFX?p0%m(HmzSI$2S8=nrGZB0{x
z8B*kXx&#DY&QO<c(|~P;{qBfX0Q0v}0X`t$PXNn={bv*Dy(%+v_-m@4KDrv!IP_I5
z=Ew-{<q&ipfO><t$~l6^$939k*avLoubT-mFeaEelT>M&;P>GJA$BY6Zs0O_UIj|{
z7wacwff`toKi<N%01wIlFJZ_;>I>Y?dfd+z&Ssy3wyYb>iXFiIp-}zVrjO3O9rk78
zl(|8|d#0M5C{DDFIOEtwn#!rNnk}E}?~lCdS3(5C#?ceFY;3>0Z$hXtOnedqYQ&7I
z=F}0+G%d991f^fBv%kwz$y+|S-lh-&k)x>xGDVH@tA#f`+_~TJji9uA08Q>{ZTYwd
zYmDxu<|@m8d2~PC*sx=OL65<2%v`bMjsl4SmUJEBw8&$O0BSR9{IFM<))^!O06=>B
zhZH6w1^+z|{8kN8GY{&`+cS{nLy~rt&a99HTi3HTJyce=Cbyaa{3Q!=G;Z}v;x3G#
z+%v&QxC98IpRA<hNH#gno+MV9H{??+bsANGt}CwAJ!I&QR)_Dz637e?wrd1wGKfx1
zyCv<~oiUQ%GAprJ&$O2Z$IPsk$bhAwZhzZARm`iRX0zX_dL02vA(BfJpd1Jn8@kFW
zmo>_zd1q=PLZh?hfX05#+DVfV!)$;6T<w)!UR0c_>^*{Eym^KYK;2E?{v#c#<qCa*
z)XWd!irfAfq1vhk{nVrR$APZvcGz6aGKRwvoDWsszv}N>$)-Bkm;D7)2KO-{1p)Hf
zkxClS0-=yjAXk|kt>P^Zkx&0{mgaVN*pwQ_U+_0}2CG57t%CK%&HmP|s6B#P5ivc1
z5+)GH?d&xj_Vl@&<`4eydVwsVtKa-)G@ur1;mpaTmgr70ZF(B|W7{zUZ8we^%s%m*
zV&7vh7i^`dABR`PtW0HSDxDs5(cGCTx&9^kqJXdAWb9mM-01%7?K2<Znd#`aF7yv~
zjN2~)Y4gO90kzW*l(DdRx2ItcpW~ZK?p!nqCeV=<twld8wTW~06gNmkKUpn*G84n$
z(U+!~qE626+>5nKdgPX<QE=ZAf3rhC6(m#~r1pp$ME?P)7za?fnaW^Tx%5NluA4jg
zhgnV20^oOrnwC_ir7obk^?iw4_Q@n<6+2^w!M!$XPx3!X?A~6;4YY^IuX|W<qEo%w
z=bTz8_71)kp`95_ko~lShoy`P13mBQDJa}HUei)b)QDX~O($s;-mt~zmqVHebpo;o
z%|hF->T^vbbd%x+ZtUL4vHRpIri{*~3q>h$5YXKAalGop&94}l&|LZ1;%DcHW!@t=
zV4~49B4ATkWV5S96EniNt3f&W$skNHKO>W;Gj}8Pqn8BN*8N{c9kEj;eF;dX#C_oT
z3nmp{Gd>K&9ReQni;s+q<J=``N=1bh*aw?RkiVR}wmBwJ^riC0^%of{4%=Nq626!E
zl0+24_~riKoDAbp+{T4(bsRMOroY{u#x1pGHV{8bcOHmie>BC=P>{c~J$9KW<c6N7
zTBq~P_ZWE>M6~lko!5>foA)Y;`Z!zJ9J`#!zsHK#t~FQ+q5l#%;LFbrTJ(EPs?6`V
z46eq@2sV+^%u0!UF%%cXvhwh^IHF|@_$q~?hNhljcB`2UPq*z<V8uPCki}!yO(+RW
zC$(guy!?aqLiNPwM1ws79bMxHya}z$oGzpL#J8tw`gDh52Q7CP|B*7qtUMMi^^u}F
z5`K?ksAl_!c>|*MhQ?8^4;`f0SYT+|&2h498S7{v*FS7jlVz_4e;z)o?2HfTKPWB4
zU4y$8Mq*CQi|(Qv+n)9z?RvARVw~h+nU(IlPsrWt_WrIZ5S9cqp$QE_A!NFv1HuEU
zjCeLaKL(-{sK|$BxVwFQ*yDxe5&%`C6xiCP(A|`j=?}7sA3Kk*H|K(AMzlCH<-nnr
z6v34XaH!b~akrD?EqWf(K8=rt89bsjV!M<edP9Qp0q{UBg5JoDQ=-8?f$Qm@A}<nK
zW|B;gqF@m?no28BB2OsQ=dT2%CAl#cU)S|$WS?Y@h;6w@P-|vamx>i?CJIi!#;D<B
zvLT~b3T80qlW!8Qr<H1(u8@}3EOgJ?4XhOFm$_aXP)q}iKl`fQ971=Q4PN%}s!6~e
z$KaHXfN8Nn$@v^I3+!dun%^gn2BZPe6J@#g8$#_2xr1oCDbra?mWiFxcDK#;y~T%C
zCV~@Q-lyiTdAhNuqk#944Wed)ysnK^R7Re|fwtSa8xs*V@N`UyJmpk&p{mQqzQ=gj
z)~%!7s<_)$5__H}%|=aWsT+y&*XaS#H9EJ0H&)`sz}#MT*I?2y-LezQavRM7xv91Q
z?Vy}cOjRKm${OL?!q1~;+4R}bP4!k@b6|puT<)gG=4}G=c;>)Utykgve-;U=ZTTh+
z1C6L`m<<SQ@`+Li-5Kdg6AP(<ue-P8;wP-MMB52Fzkx*1J=vA~>F23dSkBygo_m^)
z6*J>Js_7t4rI+Na%ck^0M(i(`eWx#mp7AJa(ZlQh+qu0atw9`V7W37vhcoTcg4S}X
znvj#)8cR3?;=AGaE?#gd1s~j~goe`cw1%7s@7V@M-G3Kh6OaG}YnXR0$!_$?Wzq5?
z6Wp$N!}}$cFtQw39c&}23b~5mbmXSrPy&q^j%j+?1~lWP^U-cXf6Xl(?M56fsn%S%
z0ql<H8Yh&DU@mFkIK2|{_vnfCqrqk*F6IKB790tk6OXT=nCkY~n<m>Y{xo)`Dz4`^
zNYdYVl9O66Ah^Jx4`t47)X9>kYn<UCm>VqGUyAGd{lWGP!hZsmHvJ8qIpW|dZ@TVh
z*It3DoD?LYrcufUtn-0AiJ#86a%P6V&PJO2kReU1ezDsU{6P!G5IiF2sDK}ojn9<L
zPGkj^yTE5+`>rSy$)#D*-O%YjNu}SwriZ@P4jD5kPU%h9TQp$rP03f-t<C?6V_8A+
zwRYO+bzzKr>?xr*{@49xnOc17GRJ1$`qCG=AFXY|M(WBvI$rlrl;D`U3QlLMF@jit
zOjT`7S%-@cX(DnBL534U;U0`eXVRE_KM6mcco=lI8uq;d9Bm_Fgau~ae%q5XjA2x&
zHeAi=lb?8)f})8s%_;gW*RDE|ZV7jjs8Lq%ml&4e?cZtE{gx}<ANA`c3{zxVKRLq=
zAXAdpG=y6Wt;H%xC*z^iqOV`4U(bbk>gnez0y>cNUFPa<!V}q`oV+lv4E1Tmo`<hy
zVNv#v#?BCfqA$Djt5|s?yF~H4s@Du7!qLq;TLn~YP!b!GHB~>hlGNC<>Uasm1vjy9
zk4;;jNlAYSBe&&nFmR5XA^dBBsEoAsOn9<Z+S5}SG?T6^ZE(T95^k(l{Hp`Ze<Cl!
z!ZFd%o%uN?V?{8x=3&AkF*n^G1<HA9BLxUy)~Ql*DR(xW$2C7X1c8Ttd8Vy)cjIE9
z9|)U~$SnVt>xq8oDON`IFCslP*L+<nxowMg1H_0&W8!~;G+a#trA|8qYX%P=#ZbVh
zM`SWBbOW8<-RS$Ry@3{#a5EAZ_L3d<iIey7-%K7)O~1ht{4|-tY`|leFcPMRMhj~!
zViBz>&&Yb!S<G&y%o*NLWb+ulYnB-YgFm~&HJ8-kHSA;kgDHc(W#Uzh_$zJtfikn9
z-M73%mddb~GWi*8KgrEZs6W-fC@^r9I~v}%O}L?mWbE`8A_DPo<?KHIAwS&o9Wh!#
zX^DKC8zmv+v5Cmai&Yb9wPbY}zie%Ft=9atky7LZBch$X3**jL(^QQSA+TP<1(G#t
zjw&j+*d;q^mG$i}RTM7F=<T(KBe;M&{?*z8qX|s9qYzEckLGatVEJ95Z|0QTH()s)
zRgY!*dgbnEu8e{esH=>7dJvOHf=@6H{<k6OSqQvc<yK&a36EXIkd31~7k+Pb>9|Jj
z>YODQ%bn%Kv8+ces|hp&I-3=s16*%3i;hs3?Au52;`#JFCR5yTiBu0B^dwE#L71>=
zuA%%<erdmDFVCBk>h87a%9rm;oGZ8Ep5Z5t6a!aj>Of6ToDpodDI<EvS@_$>y~T!u
zw)TQVs@0|xl|)W;8v4Ci^!Rz0O{75nSHv;VeJ!^i)aFF9HBNvAWv8#)^P5ccv?a11
z$c&;rkPST;D<t5JW{l}=#Dr_M-0OlBdTkw~4QF>A++QmpzNCqJ5_y<4!2eQT7#Qk$
z$@ClHR+e5o<ZdF-KlKV{Cg6bw_jhgDa5-m7m<EuWt&Tc%hu`sC9Wi26O5VQl-lb$Z
z#m~@Bq4iG1AI0oh;#MXj&FdrkA;_2sd1GkmY_EJp7|mVAnd6l3QUiskGG9y?r>~aP
zy>2X8=Y)Z{sZog$ka~uZee{5Bf0U2MbA4KDXL%bmp{ciJ^usNrT3RUb5n5Khn4gj^
zaqovjj^}ax5u&<+e1SDca`_aUubr=VRi?}+*Rxa_yS-zNetsh`mQdagu#fHMconPq
z3S<jmv<op*cg0v$u>X_9nqg<O_D#+e2EFpjiIYpOQAJ<%nK@!5^wiZ+lD^ta9vHSu
z4^aF#?JWON!Ds&lmg88O<RKq#`Xfa5blbYYm<lLCAW=OIpBE@ip-)LH$f0K>R#u1%
z9P`A=;d>&Kz>h8}xyse0<&I+x6pg1jQ^8i6lY>g-HDcZU6nUzPv|KPs`&9MI$FD|D
ze=wN7j<mGGP*Ug5Ne(j=27oO!3I4~L)DISSnsmcnIOZJ+MLP@iSTGbsbg@lwt!z>H
zkAPMj#w;HyUH0ZuQVzb6@Sm0HXlihgPi%e{rOQk2E(%bPC>ig{S+p~g>)oKh;KYDi
zg&K4M!bF9Ya@_p`Rm-YJpRJPfky#oVUF9+=l;{($aRDnBJ=-386=zU|FV)agoWs_F
z$egmgnL9htbn^hPM$BF1|LSYQZ&bsEUt%aJsm|E*Md$mvDO)ieZlE=@teSuofS9uE
zKcbVP8(A{5zsTh5iPxLf4iFwpf8XOas59REiPttg0J<SX0~P*9CYwE&c-byVgJC#N
zLuGBXqmX<3d7QF-jh-#QLoKct3c!2lw_rk9F8UfeOYe-2Tv53rOZ?Ms5_19sb-#Lz
z6@oLxK{ON_SAbCKuMIGA&m=3NTB328sRI?azSx`dz44p$Hy{xYc`Io2h+;Kvuxy)H
z$ei)-@`Fcwe4qE@EL`3ioF*1%k1QMwFn($oct^e&X|B22wwi22?i|giJ@vFRyT{EJ
zfZG#0lG?wriTpjN)Hz3?^FPgtR&~Iguh*5=tx~XJo|8B7`Ch1*htN)z#SFOO;X08^
zP-^z#f7QojoAC;bKI#y)%&U~-{A44ILV<%902{+&{s8L?{@kXAhkI{vT_4Ei<DPvC
zF!H-p+N+NS(~8K^@KYzH^}Ni2)b%mqEGDr$Y1F5R>(S1HwK<qrQD4snit<LZjU5&2
z=+wAwu5xGnxHwVzIa5DDDhIaG{hi7i+_7g)RS#MNb-P7u_J!Up)dv~>@<|G(yFi4b
z`5*rLXmp10&Nr;(^GMWWrUeOh0%$j&v<M*Mo0#O3J(W_W=~hEWv-2eSy4OflxHFb>
z{LMOmVFjl$915lr_T6_&Opu#|@hA;wQJ$3l{Z+Shw_IP@^0olir}zGL-n{+x2cCaL
z8OI7qHGCOJHeAUul=S2-Vok5!Vc;vXtWB{<A?Rs}e|MZ5?Nl!1i1xD^moj%r){PV^
zw}vyVY8A%7_w-*TaLP6vtCw_s;uKhfypHoZYV+J`l>)rOWP(7GiT~s;B0-uAvhvT)
zR{`po4YkEz7ACmsH*fQ!AxTsDqMdmRrUA(~-A~XKXf_s65x*W{;BN(2Ip=1h1ZjJ9
zq_Td?vU>HE`Ai3)_6npw^K_BcSoDH6i8jBCPLo2F^4C+5SZ-<i08?s<(9zSVDcxv#
zIO5x2-Vyi9lPpZz)XSDeQDb&i5u<6wPuzd^bqEq0XAH<0mugyG=HRS>WEV}cTXuiZ
zVV||T)?eZM`MC4PKTqn12^^s=6FDS<=sY~W%OOY+?l1mK6zp$;v3_ZFo40Fd8vkiC
zKF2;ovkw?G*z{3TXSEintq`0CkJxKaV^4!#4$STIuRi|cy%E&hKxcr<kimr~#2-~B
zic#eEdn336{4N12kexD=_F7_8I`o=O;zQo<I+O@yR(5)*rxvD4?3}@RF@tUD!Me|b
znKz&0jA0JKt@!Ou8Bwt<@q<qhHIK<%7vsYREF~J1yU-VBq3f<JQi51H&c{=)d|pv<
zxb6SQN)j(*G5xIfWyV0Sw*a@-z^GjkYz~N|FuogF3mJUwEXon4>{j1|^a9qPTUX7H
zf=*4alpv``k*PHZE9>^iQOM70(n2qbCk`@F`g4yPHz&JMN3i?3(mN8-1U@+`^I(_`
zj=HaVs77y9_(xgFAU=7ebow`uR`>e}2ciH86^22L)x%mzq=QbRFmohgM)igJp2xU$
zlFUk@38P=;oQTR?mKgFiM7eAK`MeC`Tdz;AbS`%Zf=Kow!-C5vE8{wmpSZ)q^Qp^~
zun;_mk)i3+9}l}H%@G$uXqGNlVn#zxV)RKl7^er%F-`7>f|@#D_*{6>3PI0GVU0HS
z<U#3c>WzBO3qZW%7)+1)2rcV)bO|xcspy(mf4e2Z_(c+1URvL>3_2VeItDoKYjQqx
zkdz0Zs{89HD6YH~-=_%x7>-zskE)eCb<%j`sX;<~+>-1Py5+GCIc`Yx5t6I?X*dJM
z8b#2W{@D`YgWd(TFeU3SrB%Z7XPxnl&(f=VAhUb?So5U?uaHZyJUJ7Hub%YDrqC@h
z5CSMRH8X$-SIsSv84jsDHR;m@YZWgy4Lxbvh}0%PRld|zXaTh)zC5iaQOB;L_yycG
zK_6G>K3q>2eRVQln6S}~K&^kmn2P2S3>)}ey1mX0wT*>=r3iJq(y_nuf9qA&T(Axr
z)z!?yn{j@J)>o!+H1;Ixq>TWb>xaKaiODANy0g#Wx`!u+sLphEez|`PYYl-uF5aK}
z$Z4WTa(Fzc@dGi9Xy^nX6IQN#GTLvk8V1OGRrQ3R<uTadBI|Zx%g8D@W43B1d>Q`H
zZ>l8l<%5->XJ-PzpD|AG0yK9a`LQ|BPo|gVR0f8(WaJDghz2fCE!3tw;LzLctG80H
zX^5JE8X6WC^%_E0HA_09>!ZP~bry+&O~le!hg!$r{U81!9C9ktXz`UviJ$y{`cH-o
zK`*Fkj+ZB>IDiZ-4<l`du$!tg*|*hG;!zuW%M!{ap?t)xY3*`X@m%=Bo;PgR6J{QI
z8*%+E!R*s_opq@#;~l}y%!ZA-=B(Pw#b{^FSo#krcLd3+aiLEzsO4<|n>6p=Ipu+7
zpK^{mgc&V^9^>D1df`6w3C$svC+yCDgr@0I#nZh^w$C>240f{C&YO1uzXAM7_v)62
zTQ26W`w-<Kp+2f|F!@=xYroBa8WA!jLKd0l<uE2815@VUH!Qu>g^EYZYaP94f4sJ(
z#QxIDzkxJCPT{>>?!C`S5OP0_DNS@b0Qp5V%6l4Xi52}a;qE6Fvr)BMU1#oX^%SN-
zQeKWVR5zW6GS?5P%jo9KEqzr$A1N2=19(iCaN|wYEjD$?ATT9-s-|mm*K+g;#Hlbm
z4`uSWd=3)`z!^u_|CB-x3XlJP|8hf;GbFC69=bwUZeA7b$^0i9`k&8nJorV(D_=!Z
z%eHnGpjj+t=U;}96abPBTf3MFCG9k43%SPzva$MInMFQ?UH^`Lg&$H}>=8{C;59_s
z4NaePX;r(@`Cn6141Mr!d}A_SLcjr-kPCD24G<5~$CjM9c%(}`PRrb@m}Hz$$9khV
zBh~PeZ9QoBdO4Z+{O<wE(TqPOmi3394Amvq40nGM|LJ4?@6gqfJRMV=apLR2#NRf(
zw+PU=Wo9ReRKN2rcn=fqb^`u&oQ~CpUW7G6dnt=foBqoig#-ks&aXO$@0Dnr-nm5{
zK5_T?UwhFR*1@l^@s4#hi8xi2XqYsO-ViT}mv>aQf#H3m2NG2T21(B&=(x7~wfy=X
z-`5&6c#bnV`NYDqWl9NuIrVCuiE%+P8+WpFO+bD<V8ir3anV1e(_^Vx6hb$8niL~l
zVT?f{OtT~(x;z>BSQiG-NDptkL<#&5R_z-t>3DG@0Y`V(+ou6|OU^?rb-2irL+b9A
zr#VEyHoD$fb2IWyhJ(*h^=ba!XoBP9bW^iTZ2NZAzBcz(MkQ?Oj<fYxG<1yf1ht>;
z;J{GUf6~*bP_P)%y&-Siydv0@F&{H}D`NG)$(gB^D=%Jq8o*Ow9paR3g=5zB;0k{=
zhGjU@+juqGf3GtK2EY!Q|Cz>rI;R*t>k=HVcAl>Rt>UB+9mi6wsvnT;(|-d$U_T?A
zhV?OujWWL)5^0d-r0&|oKVb2szWt$^u^8ixy24jPVKC*4(np5pC_;qM)#B7f=>qP9
z5Dd4FIP>oMJ74CUyz9|+DVmSw>74|+iu~X0#>yR6WWq-s@U}zN<L5>Y8&&bOn$Kkt
zt9IIPd{OS^QFBSj#ZnWd4`!e_p9nQ$U?f`2Bj{lid!`l4Zwi0a<xzb738o0`Y^zII
z?7z1r!ULiiwyNi$2E_X1g=8`{QQP0!{g!Wzz7@{72pZ4O<BnF1s4K$%XWrcwlDKc*
zVm{J5(DR^_3MP{3A+G~5D0ni573W6rdizIm>(<^0um<;F+sH_LZ?dGxMUsWA94o1$
zR|hzyhyLA`S^3hTHO_AOUGe&uSYiEgdA6Y;<S&(UUJ8a!(%RJ+Av-R%!2L7sG^~!O
z|99quhN}uBCJ_vT1%wJbZRziEAP<s7Z#dp$=m{PJ=IWrN2KCJhY3tPK>FM7bK6tT(
zu{N@ZAd*2@5w|k0Wo&4V#nfOn{EVBrjfcPGJ(Z(~0G=hK;!W-!vLqn2(eo^6A*keC
z)z|r7=Yc99=OU&9Z2+BRZ0Ph=D1GkZN~~ylmSRvaX_0l2EI&`}whT`1y>u@e+Iznm
zOdH@KyrNA<6>zL4(=_GDM19V++IFRb{ygetEVS1o!XVZXOXVtF2T~a%vfCw7`~e({
zH|W0XTc3`fuaY#!n*L1W3733S%j0jsw{-vCt^*BkMoj2SL66B;1|-LbDvLi8y2tmg
z5-Qd@6$Vpm7(A{ldhQWcG8#Z1^h!oUg=zkKtJ*=nU|{mCgv{%RztwNs{uIxoeEF*h
zNR9@<dB}=m)cdg4XY3I4ssKp}zmHg^HYUAp!Ts0CcDbrCemUZ*|HO3vv+E7?ozYml
zh1t2Xg-|K`?GOuZ?VT<r@KHQ}aP7){r<1SsW7FB$OvAd_B7*2|cUe2r<fn83QCDMd
z6N-&@(9IN2{9{F0fz>DICyNc4|9fmfBF3B9#n-Gb6_hP6>Z2EtNfag?N_eAjc5<F}
zES{cnVeZI#yl8_b&M4iy+8}|-2)lk~gX7|38v~8*HhZ)VZqSUsjFFkd*9;M3x^Ov7
zUcvvnYVbl+clT3NG{7VD_keC_;6t`9_FzP?@=%BGbe^=4F?*2;*g-+h$Vmay)R2`6
z2j~9AJEZ2>8N#`(eg^m5OyV__Gyj?>!aq6j@Ww41@W`Ph_WUG<sw*BcHK#x*8%HGG
z|HhgM%i^izx@KU^Su%g?*C}iwu+ai(U9D5_D`07e-y2iUXxv8-7U!<!x6Z<HXR*3m
zbNF!E%ZATSjbWea!AM+r&w`B*E=TxP2Ywc<_`hYBO*5HCn$_d)Pv>OJzXgAllSzZr
zl7+4@jy}+M$R2t)n+&JTa6WXeT?U$9a{%NJv7QrNkNeLLKC4gLEG9n#=&JM)(8L$^
z6VL<7yuUhj=x`A~uld(={OP)j`2B0Afh2!YpWk*%1P@K4oz8!qdoUrbP72f7ORamq
zBg(qzY^3HT^R*`c+D+!Cezx@_pkV+pl(Vj-dZ|m4{;Ubf`B>`W6a1BF5LIKohEQ8j
z=;R^$WM}-Bp~>JzLq0Jpc8y4yKGw67+c+H>n33Ipwu6&Hmp8ZlI*A-xW8&SM;`U#L
zS7ztjX^&NHLwRYDV}Cxsqy1<!KZCK+W|=<JV7Y%NrEgTo^1|oezBXY%w|21&pliF|
zXNazU#5veKtWtO@r#q*8bJ@qmVvk>H#suQ$kp~zHXFutFw`{E}4>bD`8y>f2;a>vX
zYl;6!9!IZw^E$rQ-`V#AhOnMv_XFk~M9=P|k651FXdQVP(;QM}8EXYs>5?r`_s-nV
zy7_k#94Rz?{uBDdt5`eOm$y!AfYuG=l))f9h<0)5lUKM`Ss6r%&>8Y1`^z(d@cu$;
zp0HpnK@c^!+t25uVWfSPY~Q|i;-huWj#Qm|TVQC+|AK057U~%OiZFm4zflywI)i(D
zh2Zfs_ltiih(*xz94_~RLI17pkN5S{_iOhz^)pZWf0<VL4_1V>9o04)onaQ;UHntu
zt*^Vld{%a-1GlnHqr)*P+L<2&c`%<J=nH{X4mUH)b9DEKtCbFoFFeky{@`Ucp5`p;
zSNe*~I$n<k-G033<oFw}MARUOrOfzA3KRrk4IX38rIZyUnv%q_C!D8m2_Ve-R(Wgk
z4X^}$Jq|rdko!roLlUDp5z&yk#n7gRHqz1fA@e&D*Wqa=ekdOP^^1Yc-Wn<IG<r}l
zLFgIqo?dRlZ&|{o`O=V9T+D->J(+Q42ynSGho(qkQLF|)!`~EU%kf3nKbl)10jA%*
zE;ZKy!vl5fNo4$`c<XmvLEYvxwq)qDRhf03qHx~s`VsK<MKfg~$ZB$+|6p3O9MN`B
zv;27vGgIGzJhe%6on-)THJe5zMbUG$+0&0k^F6yvymPz)_3onq+O1r%cQZT0d>Gvg
zPD4NN`!Wrm1C6+Bs$SgijUqut?+P&~s087LjINsNjNeiJyCPYa<<!T*Y@eXV=MQbL
zcwelLZtS2FRHBi;$Bvc#V!UuRX|m}efur7VcelJ>FP{IHD@k$VSUiv|asLaTWn}c2
z+rTH%9-vxHqD)L89Hk#x@zRv0mK7nIZ(>h28^X52ou7Ryg<x<9&5}JjBpx3;`<=Ti
z7rPPn-`!xnuRp)4Jn%Caq2-e8;YRy4>(`qjxjk`W8lSs_4uSj2sAZ)Y#2-^Aaqi<_
z9ylQ(XLsCSC?Tp8+WEJy8-UY*s&i!Sn-^gpWG>}+I=Y>STAbd`btZDuD*dXq`Qbbx
zG%t&=QlqBcf3$BGXw7H#;^r|CXf;U%CGSEmcAxFv*)yA<C+YTN4c#&Z(Dr$OC9;<H
zU421$Pj6?I<=!6P-gT|M3M}#;X>BLPT9Hm{m#PXh(bysuAsWhEHHomjP}i)u45kk`
z4)oZ-p^z3M>A-UnP<AZ~d`CVnzrVLA`s)U0cE%F!dZEb(P7;e{wu${W^>J2_eREY(
zHhYpl2dS!}?dJ#A8ct`>h>i!B{5Lq41Jr(-hR5uJt=$$Ssl2>jO0lE>TeQ~kRk+~1
zXJBpf2+JPRz+)&H(G=OA+)Ls>=A#Py)kbCF`9oD<1M99}q25*Nk7L3+g%R}da`yR^
zNos%`#s3{Y3&=c*ai3B@f8RMv+Wk*k*^IolJfvv;qmO2XWmFwJESHq@IwSMBuI4dw
zv;vJR-g-q!H0ks%+pgnc^(Pb-XxIVLB~^LK6st?I-eY#oK5z_nbTwA@(139>ik_9)
z^M%iXz|iSf471V?sek7_n84)G<zeGu%z%3DLZ10=i@z@llV%t0PotKHpWVuaz0(Y`
zAVh;ss(^B(7h1YYbK$IqvL8aM7>;NET0e@pk30O)%SyD$di>;ci7XRFn4AwfYH1v?
zVVcBpIINR>ndsi-MoZT%`?c0>4BwSRiSU<HCcd#OpBFrad5)~Qiw(##4L?<sv&L+B
z?M(?Y5tVUPCCyUbdC54fhF0R-Eo(PVO?-cFZy8rnmE}94&tcyT?U(s(wREYZS@DE%
zDQ3pQ(s0E9Zuh+=Y)`FIAoL9V5!HNJG0QJPa$jtRF+7ZYbH|$Z>e#t+iVG{+U?!zl
zL)M4rf`9LDN<ja;0S~kIlJIJ=;kn0M6dmTPw}?f08Z>Q}9cJ_|USS_38{=Dj2v$>g
zN~Maki#L-P5z;pwLbe!?9GPz$-fOND?+4dsVL51$piK0x{LDYw2RKrtw0H}%FPr9A
z;9j2#x<W<VhwEsSX<T&eW9=WE|M^92=zn|KVSGDnjIKcIrUQBLg8JtC{%$FVDO!v_
zIVA;qb89O|;{HT}pzSb(_p!v)cy#&<y^^s-=qtj<<9^9yJh`m#Jx21)2dRp%EtrSB
ziDXzu!E@_)sa7?R<lcM|+_2C<9C=s`zaIFYRiiHH>XdO1L?Cu3Syfd<*aD0R%DkE?
z!myh`;<f!P;6<0X=pfJ$5qE4k>Ronl^nQC-TlA7gWIH=3@VxcFx8wGFNy5E?RXaF?
z`G}Q3jiGj^+V(}vv*M-yQ`A?+HT`~ni*yJZA)r#DJ48yF5u-yygwZJ=AkrW$1Ejl=
z4h5uJQc_V;7$BR3bT`8N8Ge8No7W!j+Jjwnu5+DupZ5WcvjF6(9SU{|kG+6qjdk#^
zQizBIGtX1k+lEiVwGy0wroz%RS)L2tUE{e|hl{SUzQ!&q>9$`ymO!IZRi+G^Kyl%a
z*lE<~Q(~eQR`&lE=r=GF1)xiU)mVBmk%I5viAZgQ3gP(|+eY$c%_IdCa%P}p8mRG8
zFD4cCloZmNx+@^t&Qtgkf}7^c5~9Qbr#%dKpAQ~?rU;Ey*i9;tWIa7Bk=c?QT{+%D
zCa1l<{`&PRE~c^DL0hp-&Q~F+FX~uzj{ILLbr<5IU<8*+k3Y;VSATpOEh=ZFNJ}RT
zYlz4cbtVOBbJ@#cF3v^+-c<W~o>Ob)B?hdinU-G>?`?%JT;?4}Ch(}<+^8eVCdCNL
zS2H=!JnEP2)AYq2a-s<&`HfMGmCpPp2dw#Vdz8+?Nfq2}eEAD$7rM)3WYxI=zeV3z
z+EJ8HeGkpOzFZAIK7E+8_inK`^X03YX_gk~Mh(JO<!rH|(rv(Q)+EGhjd9lLL%Ck`
zW4WKD`917|BCj^4J`QE__^IC%U3S?@AJDFPyY|+6W0yG_T)($?{rB_rv^PEM?u}K0
zcoFC^Rj)r-Vd^_azG*YlIz9Pxl}XYNDu#{vlw=$6%p@L9Eq`-a8-(WgaAvF5_5+=!
z{N$om=A!mJ?>p<PlLg<ZgEkHe#r}Z5RoCub(LlMg%xhq#Q#vVj+)$8w^O8L~TYSSJ
zXN6?bj)0CgMjBQzEZUnN0+tQlur@8H7-g;Y?IC|%dF*1UGJ7^I7k2*U{Qqsd3i_x9
zgh}o@BF_L*v#i~3c(xoT#GF7M@}%?eNPpn7-llxD5l1H6C86)=5$@MhFakRpxa^#h
z&K+caXlx?-Am^lQx4GGuMKa=K-qX}&fGM1$YHzBsW769skwcAl<C#r_56h^;P{9am
z5j?Nr!`sAhZUee|Q{oon+6KUc;b_d>ncKFHN?+hioA`b_XcMz2n7~x*deJ$)TbGDs
z@sGp27|=I)TXkEubrt#_2RPJ#^Ij0_z&}Q`wv$kHtJ2+;M{=J1v~sQ!>vsEb_u2KI
z6y@L^(#MW=WVZ11y)uBZ<kZx$Y9F|1qrk)vezLQ_Q?v}^4w{$L2<DP%gi^cZAJQIT
zXJu`(tZ(naYKA43ll0zZAAjnn-;iXF2{=>^5Wc+L>u1=J3}^9=znPE^iAmg~Ddhz%
z#kY-7sVdzIT1Yx)mN{tENbDiuC*qT!)JX0*c0nL4{irZ@SoZgf5-`1%;~C#CGYq61
zhg(3odSgVR`w)E(rZU}#DKDr-E1h#>0=Cz1oAYJt*wIMW8o}S&$6*YIG|-A4p`^Ji
z>=DiZ7szn=pGB!A>yrI_m~!hLsYy+#qbIB4ENh9IyFlb5Kgd7uYlQ93?`f|qeZt<V
ziB-I!Wx<PVa!$8^Q#O+b)9J9siNYx#T=zc~!O;t7h-)Do2t9@Ypehn)u6X*wkM<TE
zrt*u$4rM?#K-n~?!}5C+=%bvTgkM6I)k|c92Ji4?z3D~$;)dyU%fW+0pcLIRn7VBd
zw~HcYH*|4-nBOx;A;J3Q)Ov+_W2E=>tGo%En2)h4Ezz{W$!pPi^)5CwF?U7_5Rw8?
zR-uV}9|repD!mHeZeJgDkpapD<=pmxm><ABDodk{iQfI<xaKu#DCO1PggLfd4qwhc
zQS~u4cc(bx3zh(8`jYyGY2L3uio|VQ1X}?opiVS}_?s4k7r#B;d2rRSn&TU+Kqe*Z
z1(4cHy~>Gt)^djY{1>UJo@gmRf3>}H^>Rrv;ZWm7ujuJv3IwcfXLQeSWY!qyQNo9>
z1qO2Ktn<*(Q(^ue77mL=afykEnfn`@f6=#XTJsZcrjjhuei~+Q*U!o3u55yMZ8?}e
z-p?(r(X1M+gU+3j-}Y?vy29N_rJ^rcs|>S)WPC>@vWPF{UajTg?Rby+D#gqPT>tGt
zg)`7Q&eqv4HNn~f7iF$juOH00Ps5q}WiC-<`2BRAa|43^O;ep~g5?mPrkR!fFxQ#6
z3g5Cy?+tt+d9SmWz?KcH9Ffc27V(-FyU&a|ICJBYuX@eG_O1z_j)w|J{MPkyC0H7y
zBKEm1(A1x4B$qk0bXKMIPDW`sFQ`oqLY^X`AfXLKIT>hc>Ru#IlE;t3t3r)=GvW6=
z?66l^H^tIlGsgBpPW|@>*&knH=lCDbe7o*+YUkZvwerPSSO{2%z1r{P=RoKiIU}8-
znCde1+Bv4-&Ne)>nk`4VyOI~13ROL9VNRdF`Sq1^c}YG(*XbZXYa$h-;tO#ia9YR9
z-v*=|mas{WvC{=%+821?PV{W~6~<jm-RUGPvy55kl;C_~6U}ZuKJ2Xo(dX%PQdF6`
z+m-$evrtLBgc7^o#;dO*8vejCTg*!<fT<_2wB8)C`t2KZVS{Y5-!Rp;<L{zQC=%?W
zhHZwW=PeV8@}cBakC|}FL<k)qq#Elc`rdYcjccNu{yV2hrkB>h%Lvh8+u&;_W4v0Q
zjSdR;p#MCb>$}idZ1U+v^tKN|0;spw0>CGlq?n2Sa38Qb1Q74Mf1Qr_P#?H`ahZ5k
z#tS1JHgrNlR*Lzsi$tHhLdf9O+Y;04txrAd$cpA=Gk?}MV6Vx|#wlH{47c11<a+D}
z{NSq_+ZDlQiK)^NAvI~N6#0(d%9E82y%*mBn>`p%B+1&c&I1`|B=JLTx!Zqkl!#cR
z?M^XVu|~Y$;4jmv+!Yxg`OH@zo4|I6{qq&^->;jSI`|uWh*EO>*QdZ<v)mkArG-!B
zXW}g*!wT`m_blDC(ybg>>2>XV1J?PQPUd%p<u{(=aSh*Ii+)N9moF#Vff5Kd-JPW{
z@S?Ws2+jNG`#D|Mv?cfoZvqa|VI2ZgDKK~40gO=a$+H#m&owPNUhKab3w@ZG;6ZW>
zM=c3$nBZ|)D>~QhujxI>OtSsJ&CdiPo0qv7Yahyan^Mrql+Tqk3EUW1LZL=m>06BI
zh4)}M`({N<xg{1SEs1R1y{R7s37KsM<HIIH^DKN&1jFQ0OD0ag3Ok~q-n04l+HQ|0
z9TaX!AzrIqMAkKGNcKXB&{z8o+qCKcj_2-c1Lza1Ux3~KCi?|UKZ;SKf5<1)n!7!=
zfW|tW4Zij;)QASHz^n8;hVJ|Qca0cXPD`C@gh7R?X6?``<ZZ4Trd0NdO*#>Klga^R
zFzClhgCaC(b+ZilrkK6hcjL7uH0h4%zY&UA+j4HCgLP!&M5F-TYJ()TZKYNwxL53=
z<XqvJ(fy7)i$`->NSlDWG`I5LH%Cs0hR+(7IOEU^k0pW1^{;K^;F2|wKfI>g*G_pF
zMFbIMIX<S36fb>e2upC3Km1`RXl2fKq+Gk%eIYV{L^PZH$4`tv;x6KH8nPD&%2IR%
zcN<D%+_!J-hFwG3DT55sY-me4ebB8N55^ec`x%FDbDl8fP<SN=?Fv8*gFzxXZ}YaI
z|5#-6mzPErpO_>fZNL?|0aG&jig0}<tsALNP#hF>dm4gCzQm2PxvJxnndefxDj|jF
zTG;eCJpBe_N7i#K?R@FAMo+XN_aC@V)?#ue5?&Bc@riKZV|xe6R2QWnCaHMSfyaDn
zA7V>;>{Ek=ZhanvgnorsP_DD$u!FpBqrLlUUlPZ6aGrGjU0Oikqj4Z_$PIdp#&*LS
zc~X~6-yG;9FMRxU4cqPJzcX7_&~ce2p@rkfv>oD5G~@8`D|ALJBObrfZGFl2WrtSZ
zmVwB^DaAY;*qYht-!eM9kXx<zA)Cz$^uX7wL6GOo+TAmLJ5$1EHd%>YFZFJr9BnGE
z^LoWqfkge={b-XJIn)S4ymLZqrArOHym5`<T>{b44P6sBbwM0`A+bG<VqnMsOLrFc
z&N>9mx<x*QmcU<&_mg|RDPW|I>&jdBOR|v|dS0~sUQ@V8k{{Wu*0&asdxc_dc?=oC
zOML|hW`e#O!2JA2&Lcp_QyB_V;m!x2fmT*ExdR@vN<X*H6f@@`7T^q&>}J856(@lR
ze(zqy!{#Tc;mkUFzf>Vr%3i^|E(E2Sa6>4A5*bVL9MModgb19XU{+;GW{CMC4a=x;
z0{h(|LTmeJtU0pf^>ZyG;!+5C+=6@$5bINJ0(g~>HWL!k?{IP*w#^&;%reX-;rECm
zcf<MnJUE^L)Z5+RH-6}MO$wHf-zGUYeoZJE!`%WEzQ~G;w}>;DY8>3}l=tqo<ZSbF
z{*5V7UmK?gYI-~OqDZcfscp37U%t(qWc|&T0LFci6#e5yJ_h2d`(Fm#=?t#!d^6Y+
zhvkakiHk;@zs6NQRiS^}ttY5T89itqP?Kfs&KBHr+Ip49()3=EC59<{;Uy;5R^H>P
zz3epiurQLMGP)(?SC4@IeCZ`uqyV3<>3MN&utFsRi6&=OvND2iz>;JNj<WK}e`7<{
z9SR^Z(J}zd7?VXRLijZ4g2h`Zewo54A&D+jby{2pDivQd%Jl%%0g)tR8bCE|TsCO0
ziz6;wv-Lzi_3vWR>u6Uem%{A?gisJE!`nW9uI)DuCFUd#H9DT;i9J9EWfqIQUn2)^
zy2-~x*ooO>C#n$8p6@URdi{<xdH~OV>Lm%!S~)j5GNt^2)A{W9Wj(IgiTCe`5^k~X
z_9#2mw4tO1tgmgnMo{8m^y`Z`s1m`8W4Aoq@2`)z!c<c4(KP)DnsDCn<MG;<#?N^K
zqUue=>kh7v0;<f;BHG?^{3gm3md}&Vk);gcz=|gd4nsV3rDP(pxCJmNP?uHJT=J_H
zg0U!39yEsZI>iHSOa3}w3N&?P;!<)7bb`!RoCA$Gt^e2#_2suOeNJP1uu|UzFznLK
z1^9M~E*M}%+5wBTnuLbOcG!Agn4UbLR-K*1j!!@?gqAuMhz;X@Z|2*hX?E0~f}|_&
zFe&tbEe0{fnQ{tE=;g>nJ&wB2*xfWeXcYMl9wgDdQY}l*H#<6KRaMPvuH!oGl%x7v
zl+<+Se)%ikMDgFk9N5X8h|B|e2}dtFV^jR-PDxuAlTT7VHeZ*vSP&)!a(}H9Q<{j!
zhflwbh>{o}E(X9Vq<*6*C|T_`AAmw5jS2fFPw(|^0KtReMzT<GmxM6!!O=>u^XAa%
zI(K|j1BmUYp!~ASA8HKVspWu}kb9<nS2|}NQfw>IR`#33pWx?I0D8YBhBu|~eh3m<
zIgqygF_M}Ov3!nJgky>u7dw!tO&Y3Hvf*URXdoKD{(l0I{!k_ht@%zl+GI@RRfk%2
z%_t!)e}32#2!0BVL?tyo;sNt?Bxq@j@$xziaknu^xb4Ixy~L(4Zdv8vXR}z!>zGan
z{$t~yic4XNYX^l%I)cpK-g%{3_k;X3!C)u#%R3uEq>-U;1D88=g&-aN>|q!9s?En%
zSAv~ZghS=|<)Vf?&0+KGXP(fXfpWB=cy7&fc(#!0fk0kfjV{GdalNbxT`x}gJ-hPR
z4d$2u(Nxge%WvGFC?5@evO<HgIK@98*AlKz=3@wnq!QyAkhOsaZN7&5^UY(@BmAwD
z4H@_G!^;Csli4I{_xAj2U$RoanT|RGPZ%^kj+7x&vX$s9AT2EZuTE{gozXu&f8Y{9
z<ti^bd$0xE4q_#c*_Y8M^fwN{9%)h4G#K`r?V(S*k$W6P!KzJ3#|Q}ZX$)FdYMrig
z#`Rr(BdsY7`u7C<a}}DLT#+-gI*VeW2$RjS{A<gSV;K60XLTirAP2~&(D>+{g2w#D
zDSe=65Br)MyuL=bgj_UtAH32HtCoajK%s+1qyr3tGE0dY4}|V(VBx!ecaPCRztMf`
z_0o7XNv=?1Jr^{}FiZbyOTz?BE0+ZlO^Vo&AXVl#eC+ZrW45DCZMnyyQ=i_tXLA>h
ztAM%w(&A$%iuCxWloW+hzogl%+B$2|kGS#kp^<+ZzoeSQgent0v<F?u)FW`!jnr@w
zziHjR%02d(@{V6^8FK90YoBopU5$>=956*b9(B(ly$2le6T@b-WA1(W;U`Z!PXm+`
z$K>dQdp0P3*w`8{1Uk^SpC6Tf3@Hu7x`X%H<MB_$6x5^eYXk>tcNW48k{{$@%n_Qb
zl@zo@z2EPy`8-1&dw<TIG+kY9qStovNPkvRvaxcP3t>y|go`#OKN@NbOioUaG5cYw
zBxa$v^K3S+@-x6GJkJZZ?)qo))u`)2xk-H^j81*6#{DSFPt%^E6`)b_y;pGN>6+9d
zlpmci9`D#z=&jpiJVsFYG;iL^DLKu7rT2p@=3Jyrx$f-)7e=e%ql$(S-=g3(+$zjg
zgvRKSo3&0H=|<R*YJCx_k_ctZ&Q+ute)ZDiC$bPBpdBWvLQQC{*(;DbokgPJq)WgZ
zTdW=O$|XB7m4lsACPhyqKSyn0lJhPqJ$V&0`f($xJmONeHK;AVDaelDdu7v=9vhfC
zLg7b;d2jK;-3Jeww#RJdS;5xb|E-G$v#!-l-aRDfd6JoVZb7;}G-P0@<t~(Pya%?^
z{D|$g;+(VkTu3Kta0>azm%gS?4q^R55q5#RXif`f(d?A2R|Br`gRG3vMbu}MR}AJc
zO)<v&O9GYOg!I*qr5~brN(4;7Z#SAkS>Cq<hV5<KK^LrtYO)8`#pJAht0FMpB-MKm
z#pQeOCYY!DS&G|%JoLF+Sh$zjq~Nm+A;p2NzzHhN^AasUKgmnpC&2Pslf4Itg+6$p
zdw(3Ks*XjzvqsA5N9B`8YeBXu+fkRVvJ-p3nLdJIvhdi8e0^+8PzI1u>o`b;%t$W*
zki+@@DYi8f8+gJkEuIuMf%`(K@i<TeOi#sWT|Wx&)FSXWz;>6PUw%7kR3bDC*?^XG
zjW{Tu)@ai*zbsl*$;gJhhfPFPZ~wIBw8$jX53pEIljcpNeh}C~=?P~-)3CpOqyde3
zj*?^g%FmgnKP=Qfn$H0t+1?<^eVwn~J6>NdG^jex{gKy+0SYVIkVho#9&$V6KJprh
z07VLYMTd#o=qbo5v@w-}mxI+LFpf;Q3OE{YI4o@{KVvz~0W1{v8hmLeBjTQ>;Ext+
z_fiqrO;!^D8<deF;m)Vyc+Yy2zmC%oC$)uRPm%70f}c}9z3M%6`DX`b>S^5^`&>@h
z$^qErq;~yd!I8fj%%aaVl8FDePcDU+@cJK+)vJ4L7u&vXx9IUygig7J3*K)O20o?J
zF|9b3j>;z>_D*ec4_nD`buwCyJZD*Ws?VFslW5liAC}Wm_V=2H8R4@Lx&vicPme@v
zfe4vIz0@<&(_dqF7~zAI-#D<aUk}zW0Uimw87^y}dMLWipK@$pPg0H}FL_h~*fu*N
z6|We;?@b26gMq;(i5poB-~F)Usgbf1dSL&s(`XNFt@h;0+XcP-KtlO*O<4)hB3OeL
zFTDJqk>9mmSs$@}<1&n~D@$O4_oR@zij%zTR)B1ld5a;eZZj#!YMx#P&c1G=*EVV_
zoSO~vTDvvIO%F3X8G0cUPr3)B({vuVKYAf<H!Iy~JnQId1ynDG*Ob|=_=YsT8j@<_
zfA0RjL8$vNgRJ+gM@?z8Z|6(tRZ!cx`1WGjgyv<tZHd1NqQDbR{G*?kOk>rG7gK1O
zkz=B<2W%!MPjh#xY^`Jq7fptJRvjU(q-AkxI>`NTWm|!XyvybuJ6EfZ$8l*$NdrG`
z`3BHhs0`x|^}64<xoc6(7$5RTF2at16t6ICg`#G)+94SqPl4u-nXFZKJhrYZcP>q6
z)Cn!#5s>Lo8Gl%!#!n}pm>`m@Y?5JOpSW!w*%nxBw^RFeb$r40&gxK&&P3{g%t6@l
zp#3J$jP0cn`b8`kc>15yN@fDow=82k;Bx^;zK;6A9mC}yk<pj<U)xJIt6}W8b^9}H
zfG|eJeLwcOt<!s0-Qzs%4QFkuD&+HkQ69-1Qb1l4Gt~{g(tfy!$qWCyF1S8U>DpnP
zoz`cr{3jU<g`)T5gl}nrHB<yYa*U*UHaDn&neK!@9y{v7us#}RnDD@NJ%sxHi0}~$
z_l>~r#*O$4+REhUTzrUj0T7_`cfk5gWjDVyn2$jfl;@`B?0hO<N3?*r^9ebNspQ5y
zI3c&qZmkjJvP1^r?GPD=8NP#4IWl%KYN*^F`y)|eFP!?af%TidcH5Y&Pf-zj8_cxs
zsKb1LQ(mR#{^N-C&c8oYfXi9qy~mna7dK@(F;517OCiY!w!*X&>ixTy^(8qdN8&aA
zdY)Zv*@Mwa?_5Ql6sX8d?Klsy7X_+uqYYNF1V)Bn>1Z(u<W~Wm>ThxPIxp!181b%J
zzMmpuq+pG2s3^R01>OJLQE$|ju%I}R>0d>y4EbMOBKfTvRRnp-Y*u`T?Kbj{=~9-(
z6Pvn3+V_Tj7xGdIn@W7IYhPeAQ#Dkdz0Y}2UBMscq5~D00E0mqkt%rLJKkXSj*iO=
z--!T|y5npz%P`bLOi>uBo}*Ylr0}0d6s2n-99WbM+}K&-l0WhuiIn3t@|!Qz>6>P|
zVU%N5XLsAe|0Ms89Z;iv=Q(r16Pa+#=H)5Ra(9#oupAYXDA3^j%C9E&pbjhk+I)y1
z`SP7yOkUdB$TIBxdf?L6>_tEWNhl?S|8GEYUzhwU+O^$?<1WsIxOuj|I-bC3-dS-T
zThID1NTIpFGSLn>XI^p->;Skt6ICsepS4RAzo$W&#@RDB%?Z%rJ#N(O33A_$m=aiZ
zwj*|IbJ}0})%PEp%?rGw93N8rZ#Sj?Yyx9+a@NEp%0=4S#~-r!(T2Kv_qggU<^=-z
z!hYDXv>VtvSmNo?0gHtguEpmM!`vEBp*e%~L>PF`MKinmQLjZW{*h+PP03o~1OS5N
zjj}<eXx=Zz`W5jiZsNZiqvUZ4JwQ<!3=Bg0>V#ElD*8f-qJ}?n<ejnO?Ie^WZu;Nt
zD>soaOTk`m-gr<$qw_hwKQC5N=|0X*gIGKXT6i5a`<qS16#Z$HoOapTWD(&0UT*(U
zt(8$oW%434KwAY!P_k550J$(>YE7N6EOlLVwQd$7d!c~>%t{n|a*GPQ)&e_HanQ4n
zj_L>H=FiQaK!tdU-cbx{zto@}OyGdLG^Xn{Ir-x`A>9k;>+;qD9YLr5F&qD+U0fo2
zjNg;|4%n}iF3#e(L>Oy6-3JFea8RB6bLzI|y&*Uu&pNWJ#n${&Vj&Xpp{_u#7v~<>
z%>_=>GdV`7WGzzztYgbAbyy_@T$1i(2zXZ5NQuo5ppV=0?F#A;g>dgie|sGUR=+^`
zd%#)@A2C1n%NKWv<Xp0fM;kuv-I98Tl}lnb%ab%<mU{cSYrZA|1g$FZ6HcXE{TN$}
zSVPu2B_Ph<3CUi(eHC;ov`umTEeFny;Do0-M-z@vVuh!a$Pan8eWJ6t2I&R=6RECQ
zy-^pfCkpCFz-V9Q?Gp}I9LB@k=W<#kisGn;vm7H9wu+1%^&3v7#c@+gSVXR07O4yS
zp9qd!j4<pON0hMdPrAoM4S0gx*c5xACP9$bn2%v7U#1wq&v%WQ#7B`#_Z~5o%7ME5
zf5iN}P22r-L%k)9^GIAvhKc|9wsM2EAqlBSuW-lVFg_YcNC5lHlL(|^bQrSGL^Dph
zk_TZxTJ!eo!#XDq-|44J8aTqenfY38@-Nr?pOVJs4j2%CDqWa{WF`Hz?>6L(<3KdM
zzCkyGL97<kI9$E=N4Q=GoyHQt^9bN(S>N^XT*(ZTqO>0L<k*r=!~B%uPE>q#r8Ln1
zrBQ&L5fH^n`8C^2^B@l@yd)^SmpKsI^j}!S1`w?$WF-Tb`#(C=c@wS_;xTPRO3<>H
z3n1~B?qI`dKe#m;y^$}BdsPB5Bwe1l%_Kd8k{-S_io4A&Z!od1=<QJhx(2^j59I^5
zy6}Tr%RwzekTFK@-(1{<THWzvPIlb>ptE4%f~%(PT5_ZZFLLVd@^V&z#Vq}DnbMMi
z@jor7F909_%0u)VnOYSiZLKXaoyP6@V@&>@fAS#3hSKsNfqF{ZIy97C9!Hj5Gv8K&
zj#BF(7_!?Y1)u&6EKr#3b#k*Gc=?yjrwWqD6WV<~jRh6&-~l6`<Mn%j_EI3W+|~xz
z2*bYQnaEO--a5tP&(F3aq$UuXh>aVAqJ|5&(f|&|;z)60PCh+~a<m*Lr8Ej2E%Mdz
z_o9DLkeXhYFp*u~+W3L}Sj0I(ve%87-V_pCMAiAmVRdmUrr|p-KRXe8nZldbI!wqV
zn?l(;M;5Hosx&d$c9xhD&n?4IO!a>YPE?a3gy5Ayg(Gd<v7DJwjyC{TTVkwX@a?Py
z#TX;Uz{(Wm_nPq$8Inl&s`|aCNHa0zwhk!4!}fOL6KI-uv``qKP!5C?)y%>5EZ<m%
zy3k}1czr~4+YXJ@jQufjI3DDb+h2Ik;5wZe@&1T9{Ju*Sn&*G3CB>{(a1cTDgCpk=
z)=ii9oQ*9xWEks)O)H!HJ-o1$y%swnS$&eF7NxzEuEh?u3$aP2V5;|y+Wh%<(7dj4
zl0!}G;+jjf6J$vd8(9!aSJKU36)q>|NvH6$1b)Z8A_=}o`!mo#8^bF5HD<sFmq<Ix
z(F}sk1B8gfjeTe<wCLPT&bqhz=X^n-gYZ+{;DRl}G!qJt$r%@twnFbed{C%uOs}I{
zxSa%7)}}5}*XhtGPc-DPcLDl$iD{WX%5V61Qi@sSeHIfvWbmVw$IJ<!f8ltm`I}K;
zG+@j!>GqW{54hl1N`!LQ&YhxK?Ot3WyBWJkTx;(*S;{mV@CSlEB#FIZ3&8xA^a?wZ
z(abZfSUaL+MWTc!;{;EqAHMo1zO)wc5WPcGm9g@a>!I7<J9@|v_k=1vWJ*)L>OJT`
z18#;g#vNEKp*G}RU#$oV(_!Je<_!OSaNt`kRXX{5P@K8ecdQ0*R=iF7_EC=DWVIPJ
zqTI?|G5J$U6z<s^8>+}&_{3YC*(wFLw~JeG_h4Upzw%oICAFX-FaP=N>-meSR_K1R
z#dD(njmR=fC%qu~u~i5#ij^2&T$_W(${!r+$f_wLxCfZW$60wfgOe2q%pmgT&oX92
zP(_?jx)hH>dk82;u#DLYFSEtq{X{$4bStJqY28QDOXZE1iMEQ~W#Au+#P}F3D)M7<
zcXF7Z`;EG%Jph%f@16^waZ0W;LhEC{?{gd-V#KX;wfMe8J}dz0zhw~0?<USTAo(FB
z;d+1n*0i{HgwS379yTxiN9mxDcxAKk_R~Tq+zLC>T5a@HivPKlGdi_n?SpxarjzOO
ziTV5HA^Z;*foB7$a$t>PybS|E^#m|%#U6xCNp%L0#iVALbdp&%{mUR_)ud;5&iBB>
z#@D!g4j^lsJ=v?+jUTNaBq7d4BjvlZT~dXPoJlddvmnHtQ~5#ht(d0PZ)F*fS%ASS
z%yRNme=beiW~km<Z&g8Fyvl#-F;jDG_eZ$K=*h7~>+Sh^Fpk_ra5b;Q9jAn5r%00W
zA<!5bOtxo{KEx*V*;~KBTPe!7K>X6<7hfp7{&X$nt_)+BAN$A~qC1*ohP)Dnr$(Y0
zyfmBbcESy8(;=h)Z7px8@}u55|Eha!ET}yrhO>liGy%nbgCphnPFM)?IbEDGA@Uic
zK`-boD)r?Eo`D_+a-?8MBX&S-pp|hWr6IN#v8;o()%I%rvnqQ84#Crji0_Hd8gxm$
zzOD1&=YAOf4RRvbjuPpkS`fK;AsO2L2ER``?&UrC^|4i4zSDmUbFvK-bREreZa$U$
z8oGqRr4No9IB5#cjaQhl`-+{evcm=_5Ro7~V+&enbPfJVQ^(vi)ypws3B0{NcT!pn
z0utSC8WbPc>}j17hr8G}IP{v?XZa1hGQBZ)*qjdgSk+%|Qn%0g0(^e2`OnXT=h&lx
zM{$!#kO_y(fwlPS$uYh3^kZF5Pe7`YJLg3DC>`_La>hUlR82}op$`i0ho}*}agVUp
z3C)XWGK<?H^88_Zd)mFLk6JMh+VM#IGe~p-R#pI~NH2WA_(w~%y?(fE#JVEkGyH&5
zB;wNVTe6Jynjg>uD&+d|tqe+63+n`iv94NsF_`5V&so3R`$gn9I<!_u%1smk3qi87
zPhhWc_j{a3>N7kGP*l@&vq5~+vwM-J%X@zme3<f4*DCyD+Y-(R_Cz#J6nCMZ`11{k
z5?<kr7pb^8EUFiVPo)ROc7%>UJKobN0g9>2#Dy0&Bcx+|DZ&LF`x$%zaCZq-NK6U`
z(@Etq<pd`4rGvXj$i4M#wPO$dXg6>-K~cpaGLX%J7Vo_icsT#hup7>Gs^p)H6J3-1
z7?r<vwVifE+Ga?R#Z-xy8oOaPLlF&UU9aV{A!_hDc17(}X~JA)Uka^rtNIy~<sxbb
z05-xB9GNj`JssAG22P;Wi=CTv^_FQkwvoYwRV^QuMz7G!s0M+~dkqUi%J^KBSpHG)
zQtFZpvOP6Y8`@XN>j?y;9M509Sn@S$zg1CKhh?UNWjs3w89qWn?RQ2RNPQ{XY9vBu
zP^JJMn96^vyvf;e1&I<Ad=&ToZS&|BjC{;$(WICoqzkld=`$BdL+K&M6O~^$?RoAZ
zMXUYWO&4zx^s=`H|LBXmCbeCPGlf*!A}_mZCS_G=ev%~iL0!Gqmp#)7VgoM&PVW_>
zR+r!10Jibx;ET20PgU=@69JKi)ofu<WKb$h2X@)V2c}mm3NLPvvlb5Kz(KwMPB5aY
zLyf2BFY06PE}u6ks}4@CkRsn6-tAT%JN5M%IX6yc3dxS%TB4(u2|3oLP$R}I%aoSQ
z{h<sT)r-5+4bg3X9DpRW=JOVAAcz+}`tKg`xuG$LLe+4`%>C|h(Na0YR+lzZwntV#
zm8WNAI*~1<`C0uc!H~kxdk2%}khvvqIRyiRtt!-TqO3d&dT`~0Z2VXzj5}6n`xLqa
z^TlI{9pee>8;S*9t@rHZ?3*9YR;2A|teS)nz*(}ic1COi!4?j>7s#aMg&Yh7`voH;
zIGu;L+e}h(Q=SHo|1_5*PtGsA8f)j4PeGGm>MCNcF~;|TE$qJNSO11`kh<c4?BmYW
zd6}=aB3!Yx2pBy7P`~t`a+f2f?NI<=g|(<{iWK%J=YJBc<+i-pShcL1T)C<MKz4!w
zdrz3*bf^0bncd0VRd<W923df<bh(K{mYBkGm^t{9N|G!mbJP?$bKGI_J1paOP5t=q
ze>p0YN)z5ICe6<o-dFri8KWqcEi6du9sIh0zNI@+tR{M>@aGh!HMELAswYNn6T2fY
z8E+1{w8A$4w)`!&a3UndJWsu=n@kbsMfaHMxEmolXCtflJLPpooTpPBZ^tPJ0H#f;
z4F-TltJL3|-c?1)+LJ}9<D^kcQhZvs!~|bhyAD+`ihw<gVj6QT2y?tqcTBwjGU6Ae
zUmE9yel`;KGG>KX2RP=hBE$upyV;IJtk<62ms-t`A5;LL6{c)wDFrj1DYHd;kwRs$
z+4q`vo0BlCIh?Kcj7l**ol3Xwwi0`<-IDOzWcodHlUm!nr>LHphKaU}nZL|_wKB7z
zg!iojk2~=jn{SL6Bj51hJ^`<_HdNWKrF+n^E_Y4Xf-lE6OAYK67r>Zfx`dnZ4MK(*
zjPSe7v>jMln-(hjCdBJ_`D|a#*x~bNw8>5yJXYhKK?XsOH1aK=UMie62)*<==25Le
zp*LbP5U~#IWhu@IaXa6yS79$4toZps*xfK=>7|f_@XBgn6Q8e>YifUny4aoTjyH@Q
z%7*^53@@M`c=f%deN-Jq6dGs|X`n)kMzrH;?5T!wo1&AAi2*8SSB5#V6RJJ+Ug2Ic
zNM<kXp0b4T+OVqeuXofjs98if?KGdvW0k5xfP*~ME28KyfZ`Ln=RZ?zTHF;A^h&<P
zPcPdVOvSK*+!M4*3c80^W#bD~q6o2DqQzUR++`!r4@`Q5w_WMxr-yTUDUtt2&^tC9
zdOcyP9WG8!0zonMZyQADJ2<RHZ3zyPMV!V#b|LC}L|Y(qNK-mGnZN*Ero8VM2uWiC
z05TB%INMj!`^0A`iN=pf5>J)RhK%-qkgfB5LjD&5tQpP%941DD>MbpUI$p1`)MkGo
zyfPs~7yFw`CvtIBlFfJn&^=?6Mlol35>)_6sNzVF09qoPC$-q_ys%Gaj|-Si@SXKW
zUX$i+Ihzs!8xFFiM==q3DJzC@h69g6UuBEvjXin#+^R~r?WeA1_`EU(G7Fp&d>M*y
zNRnc@jyeCr?M$oR%{6@d+9ir7VnZWtmLlh@XHQfDdg|xhfKUl{P(Zk5E1WaoP$d<t
z>A#iWG_lg{=&tnUuMaEU4HJ^{PDd%?uow>?>MG1Me#)|jy-N50wi{-WC@h!#FQj2L
zEp~$$OlBNx__Ao+79s1qC_2c4bjVk=2#gJCOmYLG)Nq~|$1bS-hUTPory@*TyA2+=
z@?BZ_B%?BPa|rs|U9`@~!s^x$e#$c{hS2)=W8d;W0J@fAG_RU>_%Pn1mpV8PV7(8&
zAgg*-ujCn)h!u$mLoBhlT43}hm)t$%bIB@Ml2bM~V|<Y7bf}`+tsLv!JLXEg3=>q-
z;!dpV5@WW+rl5~CM5bb7lqllqc&SdSGpl&pVL#2S78uh<i3~I?^nKxF$}3DmnDwN!
zqPITNOEsyhr6X6?fKx=`xL!Rv4qvnivcLo-#0j%bZ;sb&c1q_0Z0Ta@!|Sdg08^t)
z^U#0Sxo9**v%Dpt%+Y-ZuhW|JO)Y58h0qiv!pM?$Swmnd_KUK^Maqlm9Ms_la*aD=
zd{gNr+p9MgcHQ)i>43srbM|drFx8OUH_xz(LY{QWFO$g<9R6xx=btR{4|PS3{G6+{
z&)F#K|3wKLxo_U)M@!2livTZ>7?MrTuIrXd0^V}MOM_>r1mIiNQFZbU1crZ7KJh2{
z;woj#ke})hP*q82Ds7j7HI~7qA*Q@<pO7;n6yYb_SIgs0>`s2o?Zz)a4Yu`eU|n#Z
z#s{Ab83+3ScE?fgYv<VQZG`YYz)!=CdMzb3Z>`mI+#nX^6GL)n9}{3_uFNlH(%22<
zjZ-b?5A6%nE=A@YbpWMIoPMY*o^I-^kc+en--tiBa#h6Lsr*9^!~KT2-Y_yK9)3#o
z2RL;6QqQ9$a!cN*ilfh5!weK99T4HwF&+=xb@s=ownKn0o~GlvdrKxWj{OaWEWuIY
zW)nn7b2sQX8{FqaxM-dXEj|bt7D`>7=xdQw&X7gmTrZoZq#j5gxlwkM7bEDrIwA?o
zfHVWekx}o%i8F}1u_R&U#8dQ4pIfw7(5Xq-K)7G;-#8#Ym><elxQS^kzdcJpJ?3!}
zY@dN*st@vE+Q`z-t@xkQuG}&se?5l|c}g=N789s49elxRDrZ_wHIf>^KdF|dTj%_1
zu>+QRO|C!^9a1>CML3BEiS<hjl2iaxXSFK-Bk+!21LyZZD|sKAjz&XITPS(WKlqxV
z=nbgqbsD$K6ov<Z7yGM!eP;vNRA$X(xw^$I2fkmSE-SMv^M^LwvPe?)C<<?$1y!$@
zNG~bHc=_j&I*p2w2hFC`IS)Av47?~J#4__+ocSLSyl$$DJ;rG`#Ke5e)T%aR1TZD?
zEf<g)$bWDl{hMkYC+t~H??GxWAiABkb>GfM*lc&1+$Q528{g-Bxx#+R$Aa3L+&>YE
zQ>?K)Y}&m<1Y*`Q+>~Qq>>CWMmxwDP9161FD5t!1WkzT<#9jXwC=5gsX(_bXy%Gb{
z&5r$pb#do&{BOBzH_OFMGb-zCf5d=(x3>0V1^LrYulKD8QJ{#RS@NN5DbUlasw9!*
zO$ErWMH9>xm#V*Qzy^7dnbR-Cv7kM0Eu^RjhUqL+?l$~5)>S|zJi7jVrLxf4T_DyH
z%)Dgmj8y@4pN1v{)%_FXa|lM0w2-(RDbFqRuCUG1ygr*F?iXbug-OCu8tizbAOe=p
zduwjD__596GAC`>*E^Cl(l0dobb7a76l2<+8l#`N)~megJ&p|JkPwIz;!=aTdN?5A
zJQ&kw<NWTLZMFaO{{a*K6Wfs+%)k1*&Gv}j3t9a1jAn3%`~$&Kg}K?f@Oa)VrfqAo
z*}j6Zufr4NEJG^$B)O+s5>;H0aUz7v;cY30Pg!#a6?rmnMl}k506N-4*}DuTV@7=0
za3?zXJ_heAhBeP<^$#sKrighLK*KbSC1c2tV^D=mzR5A}Csn*OeKN=2KU1XMsaM?t
z(evy3o(>`nk?ZvaR7F{FS{mefEG8ON8{YOn$Z4saU_bHPFON4_#AH1k*uC2DH!H1m
z?~(8R?W1^e=&BH#F~%*CW5ISRs7tP{;s<PnS|=(&yil4aC8;sJMG<QA0vy!NY=ado
zinKhF$)`_v(T}p-w|rB=;FM##>S-nc?o!N7;H3%-J*ViiqqB=AZ_?&gYi0aNkS~9{
z-M;nj3R-y*b~%m=^RP&!VFX6bO5xtcJ#;!J`Q#_sMz2a?#Y2H#rG$cb*!vQSO4MM6
zJ+ZQakqjk71PAw$GDRv6l9K6;`!A{mfa#`)9-UrxA#Pv8Xv(%lxcWbmlCFpRmt*r<
zr-!lI(42QJf_YN&kF>P`({EEco8E?rDecGbJ4S+TfH&{n>vlQQHnC2wb{Mp}e7u6l
zo*Imo3o6cF%WCGh%_6yEjDnYN-k#plNl$jVJEs1l26na}EVm$PU32!~<kEk4KXICu
z4rtJ6cCF@#e_?X8OFkyG1a!7wqAqE`-zdHtqQIG<K{Ixv5Ukud>8^n8;lw6?0kHpD
zr<UglGp09n!bCQ}2~T2eRXUd4&I#zc=%0N_`!3kp*L}dOZ74`=+q#2BHuT|ivj#g3
zHcVk&O{1a^q3yoez8r-XpS%m6@Y~?e$t{jZK~qg1uik1nSVne$F0b%K@bRyD^2vwd
z_!473pT|3^1HG07+?`xl6onw<|DK^5`uv{$g%nE*LzQK?$h1*-yMTKlropN3trhw{
zzKhvIv91zlXF(DVS0|D;aFnz?vF)zedSpM*7+c6jB>-$iR__?zjf{JH{)fo<wuaW%
zV!qUmHN1Orn})|^rk6h7KRX)ijs$dIFIaJ1$#24slZLlv4*({g9qdCk<~GKEDZamY
zZ9~Sx0)4gbENFqsipPT0RTr&=aOKAVz~dF}e+zF^sPmxSwb3!bG=-hCmvy{?^rXyf
z#%?C5D7s^)1SX6-UrZ$K&8b$F$#zSwI!V&`T-q`rTw{MdMEkgMql321V%SNQL*Y_g
zdO6Ya@-UrxVK><{;3Q?7^i97t{#tPw<B;;dtWt3aZ&I{(^85De4d+FrYv5pj))79n
ze^X%&2wKQgpkiB4Z^b|fheZd?t=>GJgcR{eTRkJmR|y16PlhOh?Z#6;=N5^f!rpvx
zy~FOB<Ij|g5}*@(0SkW%7Ne0TIHOl1?Oha&q$y8{QSjrssLyA=ZQDKjQ*%yI8N?$z
z9{zatFUGeNxH2{@7+VuZIfNl)pg86N9ny);Urxq%iG;>{xE=1*h>`%h*N3{`?O{y^
zuaZ<E^*^!RVS26FTsL!2NqmuG{hq+Sv<IjN;~Zt){&jax{n?ZnuDWy0Um3U0E#ZTI
z`Q{IzOk2&6bo{5kcK!~iX-YU`0OR`r<5%JXzC#VS`aWB2s>#1{y_(K9XVXAYWZeE~
zLXh=yoeu+@)FFO`FWzd+xg~@>%p4#F-;Ih)(%0)XOmdh$@v4nDRGo#RIwE`^7S@>u
zM(aLLKT$zuemPwX?Jrp6(#>bSTd?Zw?b+U4D*~D++~>@(iia4g_#^_sH;{hk!t>?H
z0M{;;TSPl`Vp^p<*rp`MC{9aa+e)`V>qzaH!uI_9pUeKEHPu8+KoS2$v`Cb#*_;~g
zqU-^t<%@HRUzeikJ!B_?-;lNE)v1B>;WGc<*<a3&BYYFVP!eO`GB}V0|AZe4tn)>F
z&u5@*d;Bo(8cYcz`&281N0|KWgVGi#n6NgM7=YyG&lP&Jo#k;33A-Ay3>h9vg&0u2
zY5kVTGL&HaOFn}$r`|iA2UDRZz2~1=ekjX`ydInX?c6eVKAtOMJ?`n;mC1MV`80F9
zr3^xl&*8}bDDnlswpcuaQYNxu!XN(boB4xJhXupAGD~u34P;o876&td>f`5*9e-oE
zJA^3-8FSM7S@Dj92Jl<2l)jb|>_PYIVDeVfIN3FJMD~gYc-PeL$#XTnIn1Qs9Pb14
zl2M;hQJ`_;<<9k+i<N%UzXPJj&F4R^9|AgHX~IIbHJx$&mg1uXmRbRaaIGLfCkCfM
zFI&kLb`8O9o!By;jJ9Ab*nTc!3#Epv8nHl-Pd{r3*mBTl(2`z`?QQuio=l~g>9u8B
zO*Ts-)}KR_ys(K#;&xubEo-2-*HOo5tIW1kD#G{<4lH4w3G-9~v`|>clsC>VF2+U$
zn(#m2Y~&rK;`F!ume({+9jWaQ1XUaRsw8V5BtW4q*RX{X9%2pt?mGF5^ifdJFy*Ka
zawtok4KWz1_QVo!oVNb^Q9FVL+<tW@BMGM${bSt}(tiscD+*K-{=lby0t%{Z+hG58
zm94I9$VGrbljnvaEPc8r*T9oX#Z+Uv#%U1ic)t!HUDQKuX#U}T{g6fP)0H>vIC6!!
zc+(;N?^5nll8pQ~ZMw&rz%u;bfPYB8%Z!d3-Tm&#fawBHtn~}j_WHMbS5#Gd00-C4
z(4TMH8#o&JC~imb9C2@Glr)7m@6h(uUcRHaX$-9EeHxMN_)-R)1tq18aXvvSK7D5G
zilMcvO9tW|R2T+{BvMlq=SK-6$~W&njvPS(TNTO>R|gAnFQq18*Nh@RgtI}TyptJ1
zy*~ta*mEZ%G8#;GjxK?+a7sxhSMC0b)UC)|SyKDiL9ZA)b^vT|#{wiQ#5t3SlFB5%
z$p5?71Q4R)#*AH{sz9r*7WEa|l^y1Yt?1Zu<}KpoED_IFND*xC<1qcgHF+5|r9UfD
zqfTEStv3JWY^Q_s=W1=p{_WiBRff~b4<7=V@wco1Fi=z*V4R6W+k`v&M5WVR5qvC4
zx+w!A2;L=}E(Zz3W;;bWK|sv}pY9B=EfN~^nOI8O`-m^^J?Oc%_U1T|x-ako?X}(X
zNDTussE3{b#B`P}i@psw_&h+}V!+zAS?;Lxr5Yzbdn5l=_UxzE!xQyt?0?pQcT2E&
zcLtScWuoMMs-woy6_jf2{II?6hSkOng6H885aQHhwm&+Z!VPJVQ>Ty{R18(H3ody&
ze(dzn^wuI#BjG3Ylu!@vUk`o9XnxoJp1#^y{9FkyIbQEUTIafViLi#EoN8^nV_h%!
z8PWhSCHoS@q*M@tjrw<~T<lb4M*$6{sI3^T<&j!RDl?@<QYYEh)Ce$x0pG)M9PigJ
z6E#FvZ@w3DazZ$PzB4|Fuv>;eIkT8A8k#GC6t7J4XKv%4Q~sms7hXMz*OVW;r^C7;
zj~GZy>b98`s;b$YJ4AIzeCO(8|DL)|UtUg?(Wzx7gWfid=wf=B+tIJD?+*Id`yyER
zGI8$6skik`><<DxN~R_wfC~tGszJ66J)}qgRio+qm7Pi5+@2!^@ns8%_et&8>43Gt
zT)f=)mr2HKlK*J0NQWPiI{5SDpOnQDnQC#bvtRJL7&3sK<#?F<&)-#V4u7!wohy4v
zqlWN3H{Fg3u9XSR4~c+zq&>itX#KX2G6$*=`3*^kX;ZdLj6en9|8@fE9vI$H)03nj
z^0I2u+)ZJE>vweFinJ|gc;uHfpk6iJ@jApAPzRj9U=7X2G~i}lXk|Sm+i7R>T2Xe^
zU=7`>Jt~n27+V2AZbQX83;Ts%Pu^_8Qs<96h|GbVhB66%>T%}&O3GjoFd)j4*t=kk
z;qTvEFgL5CQQ8r>VfjFaV2g-0^tfoe$PE3;aV)wy$mO`(=F9@$yG|LES~~9!<_~Zf
zb&;oWP32XHqu-<uxoGgjzh3)rVmr&exo04=U+Z55<bc>s-<&vU%^$XFNgq-Cy6Dv7
z|ErlRk6Gvs72)Qd6FG24zJ#AwFq0E(!7TDcgq3sb5O*6vw=o-R^xsSfAXwG+G40^7
zFYX^(CEPJ#HJu3v@o{5;3h+dQ-f9?~QqDrBe#H>lDg0#TS)!U_zfss;z|Y72?!2gI
zw4K3rG`y7e>7{sg``;Gh$Uy@wfPXF1GS08D=G<Xlj3Pfs-U9w$iki?$d9&dE2hfZu
AIRF3v

literal 0
HcmV?d00001

diff --git a/slides/model.md b/slides/model.md
new file mode 100644
index 00000000..b0157c43
--- /dev/null
+++ b/slides/model.md
@@ -0,0 +1,255 @@
+---
+title: Models in DuMux
+---
+
+# Implementing a new DuMu<sup>X</sup> model
+
+## What is a DuMu<sup>X</sup> model
+A DuMu<sup>X</sup> model is an implementation of a **mathematical model**, generally given by partial differential equations, by using **discretization** schemes.
+
+## What is a DuMu<sup>X</sup> model
+Mathematical model (PDE):
+$\begin{equation*}
+\small
+\frac{\partial S(u)}{\partial t} + \nabla \cdot \mathbf{F}(u) = q, \quad \forall (t,\mathbf{x}) \in (0,T] \times \Omega
+\end{equation*}$
+
+<img src=img/model_domain_discretization.png width="100%">
+
+Discrete model, e.g. using finite volumes:
+$\begin{equation*}
+\small
+|B| \frac{S_h(\mathbf{u}^{n+1}_h) - S_h(\mathbf{u}^{n}_h)}{\Delta t}  + \sum_{\sigma \in \Sigma_B} F_{B,\sigma}(\mathbf{u}^{n+1}_h) = \int_{B}  q^{n+1} \, dx, \quad \forall t_{n+1}\leq T, \; \forall B
+\end{equation*}$
+
+## What is a DuMu<sup>X</sup> model
+Discrete model, e.g. using finite volumes:
+$\begin{equation*}
+\small
+|B| \frac{S_h(\mathbf{u}^{n+1}_h) - S_h(\mathbf{u}^{n}_h)}{\Delta t}  + \sum_{\sigma \in \Sigma_B} F_{B,\sigma}(\mathbf{u}^{n+1}_h) = \int_{B}  q \, dx, \quad \forall t_{n+1}\leq T, \; \forall B
+\end{equation*}$
+
+* $S_h$: storage calculation
+* $F_{B,\sigma}$: flux over sub control volume face
+* $q$ source term
+
+How to implement these terms in DuMu<sup>X</sup>?
+
+**local residual**
+
+# Local Residual
+
+## Local Residual
+
+Implements these terms within
+
+* `computeStorage(...)`
+* `computeFlux(...)`
+* `computeSource(...)`
+
+
+## Example: Diffusion equation
+Mathematical model (PDE):
+
+$\begin{equation}
+\frac{\partial c}{\partial t} - \nabla \cdot (D \nabla c) = 0 \:\: \mathrm{in}\; \Omega \times (0,T] \\
+\end{equation}$
+
+with
+
+$\begin{aligned}
+    c: &\:\text{concentration} \\
+    D: &\:\text{constant diffusion coefficient} \\
+    \Omega: &\:\text{spatial domain} \\
+    T: &\:\text{end time}
+\end{aligned}$
+
+## Example: Diffusion equation
+Discrete model using the Box discretization:
+
+$\begin{equation}
+\vert B \vert \frac{c_B^{n+1}-c_B^{n}}{\Delta t} - \sum_{\sigma \in \Sigma_{B}} \left[ D \nabla c_h^{n+1} \cdot \boldsymbol{n}_{B,\sigma} \vert \sigma \vert \right] = 0,
+\end{equation}$
+
+with
+
+$\begin{aligned}
+    c_B^n: &\:\text{concentration at time $t_n$ and control volume $B$} \\
+    c_h: &\:\text{global discrete solution, interpolation using \textbf{basis functions}} \\
+    \mathbf{n}: &\:\text{unit outer normal vector} \\
+    \sigma: &\:\text{sub control volume face} \\
+\end{aligned}$
+
+
+## Local residual
+The local residual of the diffusion model:
+```cpp
+namespace Dumux {
+template<class TypeTag>
+class DiffusionModelLocalResidual
+: public GetPropType<TypeTag, Properties::BaseLocalResidual>
+{
+```
+
+## Local residual
+```cpp
+namespace Dumux {
+template<class TypeTag>
+class DiffusionModelLocalResidual
+: public GetPropType<TypeTag, Properties::BaseLocalResidual>
+{
+```
+Our class inherits from the class `BaseLocalResidual`, which has to be chosen depending on the discretization scheme, here *Box scheme*.
+
+## Storage term
+```cpp
+NumEqVector computeStorage(const Problem& problem,
+						   const SubControlVolume& scv,
+						   const VolumeVariables& volVars) const
+ {
+	 NumEqVector storage;
+     storage[Indices::massBalanceEqIdx]
+        = volVars.priVar(Indices::concentrationIdx);
+     return storage;
+ }
+```
+
+## Flux term
+
+$\begin{equation}
+F_{B,\sigma} = -D \nabla c_h^{n+1} \cdot \boldsymbol{n}_{B,\sigma} \vert \sigma \vert
+\end{equation}$
+
+with
+
+$\begin{aligned}
+    c_h: &\:\text{discrete solution, interpolated using basis functions} \\
+    \sigma: &\:\text{sub control volume face} \\
+\end{aligned}$
+
+## Flux term
+Implementation takes place in the dedicated function `computeFlux`:
+```cpp
+ NumEqVector computeFlux(const Problem& problem,
+                         const Element& element,
+                         const FVElementGeometry& fvGeometry,
+                         const ElementVolumeVariables& elemVolVars,
+                         const SubControlVolumeFace& scvf,
+                         const ElementFluxVariablesCache& elemFluxVarsCache) const
+ {
+    ...
+```
+
+## Flux term
+Implementation takes place in the dedicated function `computeFlux`:
+```cpp
+ NumEqVector computeFlux(...) const
+ {
+	 // Compute ∇c
+    const auto& fluxVarCache = elemFluxVarsCache[scvf];
+    Dune::FieldVector<Scalar, dimWorld> gradConcentration(0.0);
+    for (const auto& scv : scvs(fvGeometry))
+    {
+        const auto& volVars = elemVolVars[scv];
+        gradConcentration.axpy(
+            volVars.priVar(Indices::concentrationIdx),
+            fluxVarCache.gradN(scv.indexInElement())
+        );
+    }
+    ...
+ }
+```
+
+## Flux term
+Implementation takes place in the dedicated function `computeFlux`:
+```cpp
+ NumEqVector computeFlux(...) const
+ {
+    ...
+    NumEqVector flux;
+
+    // Compute the flux
+    flux[Indices::massBalanceEqIdx] = -1.0*vtmv(
+        scvf.unitOuterNormal(), problem.diffusionCoefficient(), gradConcentration
+    )*scvf.area();
+
+    return flux;
+
+ }
+```
+
+## Local Residual
+
+A *local residual* implements the discretized mathematical model.
+
+For its implementation different model-specific properties have to be set
+
+# Model properties
+
+## Model type tag
+
+The property tag is an empty struct with the respective name, e.g. `DiffusionModel`
+
+```cpp
+namespace Dumux::Properties::TTag {
+//! The diffusion model tag that we can specialize properties for
+struct DiffusionModel {};
+} // end namespace Dumux::Properties::TTag
+```
+## Model properties
+By specializing properties for the type tag `DiffusionModel`, every other class that knows about the type tag (this will be for example the assembler or the problem), can extract the type information that we specify here.
+
+All properties are defined within the namespace `Dumux::Properties`
+```cpp
+namespace Dumux::Properties {
+  //define all properties
+} // end namespace Dumux::Properties
+```
+
+## Defining model properties
+The type of the local residual is the class `DiffusionModelLocalResidual` defined from earlier
+```cpp
+template<class TypeTag>
+struct LocalResidual<TypeTag, TTag::DiffusionModel>
+{ using type = DiffusionModelLocalResidual<TypeTag>; };
+```
+
+## Defining model properties
+The model traits specify information about the model:
+```cpp
+template<class TypeTag>
+struct ModelTraits<TypeTag, TTag::DiffusionModel>
+{
+    struct type
+    {
+        struct Indices
+        {
+		    static constexpr int concentrationIdx = 0;
+		    static constexpr int massBalanceEqIdx = 0;
+        };
+        static constexpr int numEq() { return 1; }
+    };
+};
+```
+## Defining model properties
+Further model specific properties can be set accordingly by using the model property tag,
+i.e. `TTag::DiffusionModel`
+
+# Exercise: Model
+
+## Exercise: Model
+Implementation of a **nonlinear diffusion model**
+
+<figure>
+    <center>
+        <img src="../exercises/extradoc/exercisemodel_mri_denoise.gif" alt="denoising"/>
+        <figcaption> Denosing of MRI image using nonlinear diffusion model.</figcaption>
+    </center>
+</figure>
+
+## Tasks
+
+- Implement local residual
+- Set model properties
+- Use model in test case
+- Customize volume variables
\ No newline at end of file
-- 
GitLab