From a3593cbba25897dbd07c147fa98d293cba21fd1d Mon Sep 17 00:00:00 2001 From: Michael Hohn Date: Fri, 28 Feb 2025 13:46:21 -0800 Subject: [PATCH] Add technical report --- .gitignore | 5 + doc/mrva-overview.pdf | Bin 0 -> 68732 bytes doc/mrva-overview.tex | 467 +++++++++++++++++++++++++++++++++++ mrvacommander.code-workspace | 18 +- 4 files changed, 473 insertions(+), 17 deletions(-) create mode 100644 doc/mrva-overview.pdf create mode 100644 doc/mrva-overview.tex diff --git a/.gitignore b/.gitignore index fe40592..6e10263 100644 --- a/.gitignore +++ b/.gitignore @@ -60,3 +60,8 @@ mk.* demo/containers/dbsdata/data/ demo/containers/dbsdata/tmp.dbsdata_backup.tar client/qldbtools/db-collection-py-1/ + +mrva-overview.aux +mrva-overview.log +mrva-overview.synctex.gz +mrva-overview.toc diff --git a/doc/mrva-overview.pdf b/doc/mrva-overview.pdf new file mode 100644 index 0000000000000000000000000000000000000000..20b7bf7203bc1fc237b7f2bcbc554402822928be GIT binary patch literal 68732 zcma&NV{mUlx9%HT|Je45ZQHi(WW}~^+qP}nww)CxE6H7V-+QXwQ~T7Z{iUlv^oKcn zc8}llj4=n9f`}L`BONOY+423&8w?WzAp@bkkrfON551VBjkBpEy_k)mv#E%wvAu~Y zy^N`yxw8c!BO3z;A0Ld9v!kh@EsXo-jfSMt78`2stNOXbj0z=sptN0W((=XdGqEh4 zEFvnnG^W$=NdC*auyBaZuJ7>F%`r=2^cRUnQ9+!SwNq#;R=C*523`4W)b zYEJ==DxJTaGuOWsyHpVg>7NurATk^#$xgQ0qIYZNDfx`~0KNt*8gGGM1_YR75||QG z-`zCWsw~e$SY(Vb8|gA4B3w*t`ooD@dBf8mq)^=_y>=?Gcjl^{OEFSetx9I(PpP)K z6i$LYRzHmlk|&IYD9Ny3hC1tCxG7#$SEY+rt%^9y7p1C%Thx!YQBqrCY2XMh0o>KR zsMi_!`x5&OeVA0^L{)@^G;k77R90;$4g^64G0RAUU7ji{MQZZ&O;J9`c#R~FA;rr) ze>w1@eR)dxvxmgd1f!4ekM4UwoJhiuG=31`&LqUWm07o{aeZAzGQ>S)-&Q>wg+PuAGW*lhyEk^ zULqR&YiymM%=61APA1Uq!Zv8wh=S ze&NyY;O}v=<|>KKFSUf%Qmi)3&_?^I)^!@S(j4`Vff?X=26*iiAON{FTOx~K69Z{M zT#QPgSzD!D)2SvTeqQB}{~0PCSO|&KLo{Uh5EK#E?%1LLZ=G}Q0s@E5TIEi1l#|X* zIdmtysqA75Bxz#0=Rw=~3o{+XMr$+v$_(Aw1!@c=HWQ?dmkA?u$7IItiJ_&6T+><~bb|m+) zLY7>1<>oScdavUY{N$*M>VZkk!h+&|lEp7xbdRF%E7_Ro@6 z(0xG50|;wArX3k(Sg%X5>9+yx5^F0O!iPWCOC!+N@h(jzZ|(XFEJ7(7#8V%q*2G^$ z?7wUYG$k0n02k4h;j; zjuj0gN_NI5yhWPJh!}=sP~9;YijSnX+XnZ_F!04jYo9z`=6MoQ{=oQX)u3k3<)K$B z=n0&7=Lor{x))3gS3TQ;FL+iJN7ux6Ia zK1G`XlrlbzHp!u-%qag1QL+@8c+v|hGjJz3LRFsCssED_20^Xf_{MnL7@MB@3CS{$ zxyj8Ul2JH{+uZNdRWpXFjf2fS2mX~w(N6yT6x-0UblL*B`*YO=yhOe3EML$)WZFLx3mavJgUsq<)0Y24*c7Jf?o4)dmDA**Es*|)h*=fARf}!By zh=GNxf2%%eY^DUuR1HF3Pcn^L3dW-(k;g))1V?6Y@#Z;WB;=~=4;pH^1h_dDGRgM)>o5%f z4y(%Hxr8p~;ygYjUK;8D*u@&M3DwgpZ|)HbMQuHt!?!?%17m-vj*pJ_I^EMVopWkS#-z@w<{O| zzS677Oh3<|hF(uhXftGWf-=!Y{|Z|!V{XQ(cQvHuwg=)G={Y^cC2^Ntr7UKK(waG# zg^gm{2p`OAop_S&Oss>eT_#Io3*HSaTzFU4K&E3x2Y@9R4(YI%Y}t(wBgdyg1ioor zEATo3TIEh)ql%jx!G}26dYMQe>Tf<90*pwPtp;J0(dwb!jkE{9B}LKcOb|h?W6GIq ziw~0|c_bsDJk6W@UsMTUL$C4NtdMgi}7HhM8C)3$f+c`?F;}FmkeG+zGBy7j^;? z{?~0Cj-I!6J$T5^x{%Xb9$h6~_ZJ#pmiV4uhgSD{27NlI5Or^Rr)IGdQp!Zgz6jdJ zq19JhFun39rL1q|)~!a}$82?4g#z{aa@J9h&+^2lUsmParB6_uOAs@k_qVa;{PE78 zJoP@hU48g7MkSMtV;<4Q!u}(uM@Ts~)d_pIQ+M?&ueOb>ypcdfrTM@O+jHWR`_YcA z!^_n-Nll&zW+7N;ryE>pEjs_^WDFWhg3a0MQ&+W2%G6I$m#8J_&yge-8UVM$dg{)M z?}Urv_JPb#C_Mz06`RvCH~U02`f zgs!_RhOs+~zjvt;UByDZ+X1PN^=XsM_CfEm(|V)CGT>x^L9FPcX^V`%XRvZ~$0=Yl zh>6XUQuOzA=yOqIp~d>I6&39jdE^#60)y+WO0Q+2j(@ECglZv}h1D@lN&Qz^#fc>2 zKTa*!N^(T?W*f|co32@L#eeN_hRiwAM4XN!n?70FqYcz9&}6nSE9GFiTXo(9ncE(> zUB$^xdwD_Bfm3MK>J3>p|8eTjTGQ2V*XfgQ)8McpUd(E-jay-hO$>8|2 zN!!tg0HJ4!ZQm8tq(QOaF=snpr#H<2T1M0OmlbzRntyp_&(~`(*GW_6{p&DDn&HTv zPnzQy|D%@opDYmdNO$U0%NXD9az{&ASk&M3>-G*5m)d}iTOHyh*$rS++6r*lNU3Us zXX|Ne0HQs(ygXt$gZ`5$B}V8jbO=IZC8LwJwaJ+%Uzo$0n(}OyLhBE#Z8G0|9$vb3XNX7;stez_U0oW69u`tx2c0*zaFoE^Hg|`%=x#ptUBH@l zp8v;6?aKi>jL9J0elO#@WLnfTfE967U1LOC9A47#5T2OR;Ls^pfc&v*@48K!V%h7? zn25l2tTzzI(i4g<7!>c<_KFnygg#%oCVLD-a9Cj6aEE1#lQE__1m4^L}P@e3O z>TrU>HAyj1(w=?7hSH2DbAiZzJ$*K8SI{I*aA8Pdc6&l*%e?RItRrb4-sB$O7+T#y zuH_gPFqh!c>;R@6E;wI`jbuu22du8S;{^FV zf_X^t8{KVT@YU3T$L$*kx?kpYdO6d7Dr&uGa1Mo@mffFMyKl}S&Q{wVyUBM`Am6V2 zUX6utvGNkwE^SC~?zF)JU@2u1>o1i{R%mfx0F)4{1*EK8>ENxZrf*C;g;X2(u9FSM z!(IT*I1W8jfc{k5f+$utieekZ*nh@vAS!Sj_qexWO9^N9akKiXfAAaC+56rrc?K#M zh!LEYfalUe(J4O*@WzjxI|&uEo(02^v&1vmyIT?k&e2&41k^_T?K|3(}Ht;LB7vI=s|NKDnJK9>V37Qz5IuZf$RYtNx z8Gdc4Iw=3hgshM=&KdLze`D)MUV`FU8N@ZkOazwA(SFBkvN;C0N#-%o0)6rK@c|sJ z{$&98=}4ZL4ldSLfH%xGjGHiTAO=v55N+l_JNji zlWfy(2qWwXdb5b>k8~giMbVTMJ=eRknu}wfA*u>|?wU?Eo6(M20e>Lhw%|J)-t2^E z6+15E$=TH$>J6c=g{TVA0x90Nz2O&}xN^Mv%(Ehe0DEWwa2H*z`a)+y701$)67@*j zWkFZzry(hb`HWK>vXkxC0ehjRl|GgQK=42*o-u><0fXYI1yA|L+<|h|v|P?|H;?O_ zE%r@0OR#_8jX=|f0s5geJd*oXhH-cX>ec)=Jk{ZbiQw{T*v>}WNux|4W%$LO*{v$3 ze^!u<@#hmSTd2x*R&HCLkdPV@=}mQiFA?yNK8=uy6an{oF#mEh(^5~xPfUT-PXm!Z zV^L=o1VgL4tQC{)1FHxOh*1K6bkynb8K{jv00YCS0B*6^yD8!MZC!8l!FgAf!T@pWEKI8EHL5%#tKy+Y` z_1XR;H^)zGjU&TqHrm{!t)3YS{;{=91)FvN*X>oyluJDx^%$QBEsZ;P-p1>g z)vgnVDd`ePDyxaG%^-izQwvTDKFa!ilzJgsXM-iZhXrcKt@~!MbkISl`5L>6su%-O z{bCK(+L|;XW5KZRHr>Ts$F@rA)@>T!#p)w%sr$veQRf8?qzI(O{xFcq!RGJs>G9Y_^XJDmGzG*lUBh>&o%6zamFAZmD6zOzHTG0JUb6U={A0Ve);KD7WhK zvE&Dg>(7Jse^AD3{}W}*%)rF$K=4 zS8upOfo60ef`%+Hd->}b4{F$;9KaA+2uEftTLzoB7$vukQ0T{ZE(PtGA`8Yw6Uh+L}gt ztbL&DGcNilx~>@+-4m^r?|$O0@!h}u8@9@3XQuFUEDj&{U9&C=2o#`<)>wZ%Km)kw zv3dHc`y0@G2N9P{ulPO5h;*%%-X) z4Ot@I+G~Qc+KTb|vfW`Y@AAWgb}(cQqIK12rJ_iI8TX~td?a+DAwZ@l636u_T~T{H>vA7>C)MU#b<^dUvE%nsq{c;3N4EgcoD3(q|D-ugrJ(QP+m!;B%RX(?RE6D99 z8>*587gf6NeX@+%?YN)aj%RsUkX%^7u5oBLHwELUd8b<)B+=2xKb+Bbxr z-6+Lh$|QAG6Q{q~;V(6bzGK(8>*bIWuSa7>3YlRZ7Baih|PXrkVVBH7qG$-d!aMZTZ` z(@Yx#?KXXKz*uGkyti!7UV-RNGRB5T7r1rhDsm;-Q0 zI{{%Co9&H<33!oBSPs$~K}OSz3;2~MR?>AXXQHYnl~%F7AAGB@*IZ2$jon5hT)GR- zXnyCYfLT2+b$iwa?X~@wZc5|IZab2d{sYqtLeWtF#4xlX46(#4x&khnook3!JL|rUo!X_T zIDyzfR0%~!gNJO942cVAND4qyN(XP`hwBW13CRtD75Ofb^*tIlOy{1RAz2!Kz5>-v zMMS+to)$d0e;9gFO(y;{rkO??3$Us%%8Ke^wv!(UFa|QF22htbhGk7(+WG9n(Oo}x z_5~(?l8m5@U|A*nT1d5X5DYDd`OWfz<)3WS8^IwSZD3&<3o&VUGMT;M%6V}8)sT(tW}_8W%aN= z%L;cIfeO{yeFTCmpbvi@arSUx@3~MWRg4`#bK}FUK?f?tHpb52w-E^gbiEG|{Cm(x zk(PLzV?6_@bDf$JtTD>Z+;2*d0qJGpSmhRBd_%Yf+8yDiaA(DCJTN??^@CoIRTzcj zB2}dSx(;xl1k{aoMsw7LKLnG?on!g@shs%CN8_<|KrcBCS=vnb-zAoAFZ_zH7Q5WTp8AP6kXGbHrV9sE6 zm5xhyg0Hdz%))3Ko8h0zsI@fMRnieZc~z`;Uez3$yR6xfjA zfanUi`T(gmXP5qwviGxs>db?e#u@LcU4z-rWo*53P+^)se;eq)YS+QV_}O6F$mt^& zx^VyNg?eUhi%FyrUc6J*6)z}m<<4g6i~azs3`z+2FzGGwLInjq8Kx<&t$mq2UU@rl z@96nC^Hvm4RQwM3V^Usx@>_>TgZC}&(j-~IrI#7QQ*)uFqc`GhS0~zFTC`sk*wpFZ zGBK^{hS@8ns_W#MvRN>FA$6Wlgx#iCM0b=ELUki1++^%}UMRZ)(IDBh7)Aq*TV204 zw_Q9_^T+gI=_sCys!}iWH+lh|45!2MWVAC}6>XpxcY-eL?`q6?d9BgPf zK3~SZ9Qz$pRuBc$9djCxFTEKc1lHFJu~QeEc^BH8wXXtY5e~Qfdn&ZZJx@`z;)!qx>7pMI&aX)7@OUBt(RM6_;f&Z> zNnw;76s`Sn&#EggjJTYaxznowk8v?C1(Vd1S< zO9H=hWcWcBx~nl`Md|gsErpu0DyTa1wI%OMsCaMffv9*;0k7F71DdbIOa7AuPqVlU zdFiCkOaA!y7h7*Y+a(;Sx?~^dQD(R~q8LLp(@^brRBZ&~c7{ir#`+yMISO=F|9xbH zi0Az(?<1KLWD4ey2Dw1+t=N^|_rGx9ioYV7^-FdNoP)o?fT37UcfIC^T#P?~UC@CA zE>;tzpm0LhLeTj55pYGQLYzbJZ|dL;UmPk`U-D`11H1491&Gd_p1c*tXB)x)p0&>p zVS>vKk17wZ!WRq^j3!!A)mxBl_!p^|q76_@O*(@+e!t-}W$-DTE5t6KE&y1u@GcoL z8J!`hb5fI;{;lJRHefMzE}aakTkX}G>%;$>=|C7P6kP;Gd*1El6zdhJRlHt+JA`En ziKbLF5k<8pl8qNu1EUp#^W%ncKJzr^+mmqVpFg=CNf=SiFjoLYf<0tz4cFPS z!44P;14N$#^uts;?6&Uoui*>f%K!4N=Tn{0T{4s=bhXFScioTcZWDM~44?lvGIWx6 z@#?cWJiyCPuGGuxe_lQOw*P*>cxo2Y{O`Vih3S9d3z%5{cV94~rTwpdi|)IpKj2ej zE`;jlKl?;()Mw!~&7ZN(jUa;vr6QBZfEAd0 zTJ?O2?8&!0kCt`xxE#LyaeIJK1^U9P1YsfcHBCY?v6gtgYq8|!mnoXAcp4<3Vg$zm z`eG%}z!piSI@Igl0@T!kG!e@008~S{{46=!6T2>lxs$JPi9Of%myMdOotmghs}b37 zpuGY({QeYotCnQ@ygxPEUcrk?r!?Jh8|0tcnI8q+O^86|XZc!XVBt}YJ-fD%qH1kZ zZ5}P!E4OJ~HV-SDQWwx;hoW^G`7C|SV|r|3vr;aczgA4+etI8#&Ni$`YG6U_SasLl z8{H*3k4`vwY%f=uz@N@}{8W1y{KkLAF}ger@IMFo zsW*%owC~hD#WI##(TX*_atMePx=?g@>U@4?)qX)fQvFif*r{}(4mtoDo#Ml-braqB z2=)z;*74VR6ipK42`B&4sdMH57IznY#iPA;A>=ZfRhMl!RatJU=ED6~OXazmP@Nv# zWGlOB%W2>&MuX@P!Vse%2n%@-FKb!0%6s)1N_sL_QsG34{ zLql;jfaKJ7g=NucQdW#AgG?`yMGF?NWfMBioGt zNbz)w&cWtsi{Q3Bd#SAirD$*>CrPQ@K!sTl9Y@NAVU?gFk$@#~I9zr6ujhKxH3ga) zB=w-sLsQoy2?n;Dt9nKV^g~Kx1z48+Pea!xxjk0ToQiIvy@y}=$z>EcF=|{o7%&vV`$;&o6 zTe4lX$S<+Z}Fk)fr_zBXpo~F)Vb3*nIm>}qOF!!VZWDK8MkZJGHxWlZIl(& za^zJo;8H-Jrt;rlZWpQx>;(-ER0Nlq$$8KIOlK&NHnS=2(RGbr=0V3E^@YWy#k76= zjo3dJK+@T-VT)s-a(%QF&>@et$6z0OMBRdvx>yd994L&A`lX}I2p+;6KQsF{J^t7Tb zlO|*nBVDvF^O;a8mVFOe74>XA{TeE+5gij89m*qrcqa`K#1!@@&=PdAaay7!9oWw@ z_9eExbn^^}C0uD{ zN%$}7HJ$rZ-AgICD)W)xn02P%`H=Gmu`J?VPwqTRlBe3zb$)*<_>0O7xn`@?7LQiU zX$;CHc`sdvNPFJkFcB7qvx-qRTL#Vj;B)$k62VALinWP^aH!Ds z{v%ayWWibXc#mS?4H*O{(sNukYnlo~# zwgdmtrfo;1=s5MACdkWpDnSI!n6Uc-ZU(8Y3@gSMPGb~NVgd%6bVSeWdZ3G+luSRE zwx%l@Lt;XJJJpz*e)9Q<+CEH7m`_1=-is`L_|MNA$`}L>k-euIrj5;q>t$3dp(k!u z6~$IFl=xF8R(O%~d{mym1s`TKkV;$OQ#p?^O<)vm4tDOGfY(96mitF`h^#=%h%QaYti*_jZaa62!NuC=zu#ngr)Ohp z%)nTwoSq(5yg0p|mVpQhb`T2D+@YP-%xN`j+^=}R+9huXzv@vYTMYWg^~P1h?tI}Q z%}*l_Sr0wn)d0DAFx%cg2ZYd9oU>G&0EIohak{X(S>59EjVRQk>kC4jSLX}V@}t%$ zX!OAe%ZIiKFK#Q2n8doiwxIkIVd&GbPfy2Ae)fXZFgv#bW}N=|-FXIX)7~>7neR5u zlbzBoVw&8@6FP0Y&Mu}@sJ5c{#qyw6=tuF z&vk7}UubJuxK#(eP+ggk(S42pM8R})kArcq`kvoMS6O|4ML4&krn^}somuJSq}%1y;oq35(!J{oh<50RJ!Iyqyb?+mFJ-bdwvK97Cc*!0%P zb+_){evi*xc!Zr-)|KK8#q?*8L1JnI7NcG;5NHENa$-`v>6M1;$Z%9cSwzLhVCW6+ z8&V>moUN?-S5Wk=vgG+1oVYtT?eXEQ{xoiyo)D3q8_YXwwqN+_?*;TI@D$v9KnC9{ zjK>;Qa0rHIq6k^O(75t-Rp82>YOyn;93sMGe4TbEAaK^W-MfUC|K zaZ{;6*XYvZ#6YH)V7y@}T1)De2Z8S&Hp&#l4u)1{VB1oE_N!ISID*?{uzkBSM0 zx4c}v-k`kRz&dse{hznPr%(Ek2*ty4<1!3Hicu`X$h_NTVst(I?vIz#I{TmZgBy8! zySrc{_UojrzMi+Kizp0U1KS7{7~mf)|GmDRpXZ?~b)3MnzFyy-yqhih@2`)OI)dHr zze_JiXZ*eI@2OW=ulD?ZzjO-|HNH+nf}1X%>XverhouY_ECw?;dVcv1MVx#*9bIHC zIe{5MrNHfC1UsS;f-Oj$?lmL5eYsJLtZRmU_#hS_t)L63U9I~uYl-WWwTM^;sr4RU zE{-FyuD}N(pS)sy$4CvFO9ITJUmSasGcnH^Bo4t~9Zg&OwNOuw!nKSPP?{q2_J+}SeaWzT`}KXr4tg!~<$_8=qdhNzZ9#bu=W=+t z^ALfWo#^x^fsgBtt)v^d_&$I0zPk^~P!b+>txD!>8sJ&Jqh;ex^D z4l{L66rJtLaN!nxTsMZ8<57-E@}hig&d-=cZr%~zInBfCncg`00O6P@B3P&q#018C z%n~ynL}FMj!!RfuXzHHFAY)c((Ta~20~_W%B4p8{r}~Xb2tDfdKOLb^QHO?`dksKL zG9*dH$ott2Z6hL@(uDmRx1|^c`jGW|ei7aUq=`-fjkY;xpKNa`cUN_X>~|!9=C5fa zJ2>J$7iIwi$T*Oj20-{O@U;Uj=epQuyd7kdo!CP#E6Deu$*iZ>CeF*)ZPuD^9*RJ& z@yy^oqc~GjI>uu9;Kvi_71qn64V~oiVgYfMRq?~)Gffq>txOxLYaq8C^19%Rg!e+a zcLJz-)&{RFxl7m@u>!^D7jP!0v+dZ-ah-zCAT`0m(`=~eR7(B#TtzrAmsA196Xc%_ zb|&#!y0I4!Dw5N-4I%^!F(9{(xpodlcP>)*tR@M2U*rA&mhL#q zb_k@~PZ~yU1?*wNT->87Q)WR9Sgx}!(~zvDoAH``Y0?^#kHW}MLsNJRq6sPGJ1(<& zwKI*dK-lz>5iR|`=w#lo>LYKQLXzD!NrSEiR{<)+S+I@%k_xrdnPKcZ#4#l<#reai zX%=v?Nz-Ijm?fcG!UA)_yh*-k*($zM~y=&!wH#!oOMF$UyJpYN`6b{OGji`|vDG}O9%BG9` z%E@`n$bB;Rc3PTkzr>AQT0JSNy|M!~hdM|%__w{jOA#P(;UgStSmEckB>7H;%GHXD zl_*Zslx4092J`eMx}9z4G931|&cxMe*OuNhW5?L40MXo)EP`h?3?%o_Zj61~elug{ z!}=_oEtX!m}OpgYeQ?rp$OhE)=(!;KDtIZ6kv=MNO5Wj z5?^ChtSmW4^j7Oy;>C(HQuwRUN{&|H#jZ3-;H3SbVAhg4%&|bBkQ*GcS%r|;o#l9? z4_ae7$wA?$W8)bnjbLU^sW;7jeOHhyT$6(+%k+RaRFYeY%)Wy;50^QX6A_GR#H}enJXNiZfrRd$q zK8nkeZ`6lZKGCk;s`i0^BGnnO+6D~Or+mq*cU2Sg&Q2aCy@dA3mEZj*3T&y@hBgdX zr40qf5JOlER#T&Is%P>WLas89+@MU^=Y(p#MW&yR#3*pyB+T%LM}-6nkX!XIOLs9z zmPYNF&H)ADae?Z{>l%evrGP(-5rd9kTOi=(>Jlsw#$zb2iN1aw^qdsaYl&nSn&~sX znUxVp=9(u}=b3uwq8i;CNR2fddrk05x``oyv_%}aBQ^L_#6v8HoaC_i=U=+<;CJi> zVEEHTqeksNV^ZCXa@dtiRtS$ezszgTl7~WfRRp&Q(rZvbTs4Yn^j2CD6wsX1ihLul zM5dX_Wn^Sw#+F#2!ORu-g3}`<7SK|l-Ly@WY64?Vi@nrpJ?8V=Y7XLRc!pR){iY`m zaAu9*&`@qL3{^DlyHbA`o3Kg`elVLL97#}yg1U7XrMo+-@$QJZr68R#AC=P;vBw9K zK||~^Ryc*Q#(1964A5b~&2Skf{*q7P zEPgXw^{B5D-#fe{9Y#May{dXYt}q{)6+9HdcHWGicDFd={{IgDMSaA;thpQxX%NSV zqK#a4bjH7^{S%g+qL9msW8BnHh%IGTDd61EEee_Q4L4^fm;1_Whdz4m#Pl^30HXow z=r_}4ovZXY_6XHKlgGRYWgja@@gQg?`22%0<6-`Kw% zaNv4iF=rWKf5$Px?kRM3&<~)G9^lw-KkgWAH=NDrWs28s=A(!|eiHjw|u7Gq420NCRnq&x3IIP42Ia z>Li%w^w#U)Bv(ai!S741s&%u?9L)JNT|7LMz5%y%?-#A=V|c#!m-2YmJ;oSAf6e$dC+ArhlIY=A#QkQr+IEj$F{Mt{J$;+ z-4*X?UL2d~ykbG@I>(Y2l-4@vM93d8TlCLTl+i7a&NtBW@W1l&OSSo#F5(X~O_Rwjz zWq8<;!WYU7j7+DkK`h((M=JxY`faQTF9t1ok96^70H?S!bDbSmcQeLTElV1Ul+v%K zzm()RvZfAj6L?m$u5`|2Fe0Q%JUbbczP38&Cx|lCRxb014HZKrb}FYTgGU5zPV)FS z3-wd$IVfc1_ zC|FQkLqC;?SN%ZV9{0X5{!sFr{CA7X`addzFmkg0Zx;9DU*o_Q8`8fvwt9A}QlWca z(xsrJ&Ky_Ia_hZAe3OXQi*Y4lDajrEJ#aw*LU5_#n_RBnV#VP*;4cq1!qdGbq(k>{ zCXs^#v!`(mudsjnxZk|}QhMGq%z{Zq$!2QpnyAbrU~(BFivb%ehsL$!%0djYb3b&a zUA7&1vZXSUe_vU>6TQDSc2b|$sDFy6U8A0#g1kB@eI4S=r@EelGrg7V?g*ydkL#-T z8Xv2!r9+byH`)l*iF0|)0^=RprsXoD6*hqITl8J~^dzP4g1shTfPmr|~v-3Bl zt0^UwZ4NXwSz_eg<1aK$XCU@q3wA+^AnyI=ZZ7pVw;G^2!ft zXa36Dn`{?ps=5ka@l&H;)Ic3!YfRk$D z`&O%#9xJtO=>{Y`?bZo+sQ3VHDT5_*UNQ5e}^V+RZjtV^) zlHB$dW(kXR;ryG6s@>E^~`_QrCm=_0|{h= z7nl+tFo4obi7hYGYO)0_m|djG#CRFwV?%$;(kyA?A?fka#w00Y2-J*eznBRNOS`Jf=?HHnkW|+(MzX`2LGYdToGDtyT^wy z0WSdWtjK3!FN|oB5O4A)3DfZu=0$4{9>`q;DjZp%RM~a9cXsmR+H8XcbeI4Hb33pu z25C0I8J)u2zk$c#dcrfmH)*B1U7^`%(DN5G!3)a-B%LP1kLD!D@YU0nPlIF^k})Of z<$|8Z7;ODLk}_NAMimzkrUJ<3V5>Gl#MVpb7l)wQBre3*4pz1emCD* z&$6dI)gpvvjV4C7_P))6w%bBh^Sn01@@0Su43vFb@181~;nz79KG{qJ*`ZimWXou7 z*Ntb3ug+cNNzz>3JO{cyY+jnMOblb05o`X+Dej^rxV2dDnqeN2YK>s@}1z)S})pTWV0e+2d z#GiZ{FZv#U4?sbntJr9moP?(;JpClnRdR~=ocGozm9`Ry_J=HTm}@q_!`fRKU_X# zCN=Z%XVIN*V>D3p%D1xWch7bv{Ktz7^Vj&qG9(N>-z!unusejms2@W7Rg`1Fe9H!W zrbwLRPb7m!!Zkmn1SKMD%pn+4!Lb1s63605&@S>)q`)a40-%G?PPm7`PA0!W4ugZ* zUwB%z%?6-NoBNhhQeCp&yZZnpl%9rZxF?PUWEVfd|&6~;4+^g<5 zzAz2Y4=oO~lGK>mGiLZ%j{;k~bkMTuMkv|Uv4N^DkfzfaqM+hjXwMwV6?tJ|&mPH#@ zuv+13qQc|zNtP<35hm#b!p#KPeTUZL&K^xINvz!0864~+Gxt0u?i2K6UIU$>>toBE zZw1A_W^n-!@1LCa0vFQ)GMyj6jf{1;!^wi)?(aZ+g=vVyu@USP`Enr&st;2r-&HT4 zD9?5pIQ>v6hR<^eU=id^6SdP(ci-UnrNW^99sG=J|3Q9b7b9m62UB{Le*>fN|E-^$ ziH-R`bKSa1)-p-zn0)&5`uw%R`5G#l_EK!wO0egs%tJte%K5|?roTyu361QbQebvZ zvB5cSy8S0ZXSs65Ne^oqFHR{zs}9Lmv;y*_4Y+okXLWb$ILU6WkbkbbIpzQKQh4N2 z%z06gA`?XxnqZ0ka&&SuH$6K}!?Z#^9Xm@=w^>e6`P@TyPzJEa92$XT>x@&0@PS`s zka8c&QqET!M_X(JJpkJ2 zc?oHAbQ9WY=~?{B?|yxAUNH??`h`b3j1`o4rpi+lXyq~nA}ifJ7nJBDBxF(|k`{cE z0vQ(2lcMjGBL0-5Leh%#o${9D(t%WgJOgEel!giObh!Sr^X7q-Z3#W-kzO4oW|3Z) zqS)P54?LMHGUX%qo=A}+24%X%8reXQCB?aXh}UEiTYEDa7hl$~blf___qd{B4{aEyV;4E@mZSBU$I^;Y(2B1m8D>toS5MwG(u41$X?7}OuVGTe^cBx=h_*{ z5m@kV`v#|#diw;q_v09pj^4s_OqK&Hk#EGdvD=PK!`Sctg=WS3kV!vw+_3Jka(bH+ zjtcFF83OdVKP&378j=Q+->M#qPK8#6aJMYTIv*|Myv*!jkD8LkY7>$Jqg)crN{csZ zSw?F|=8)o<^de%wJQ0M(Y^EN?+ z&}()T; zSI#UEsixP+EI2!9ooMT6W4#^J79l$0bf;3P0#3zJ4RFTqe&Gk8O zB3-b=`WKwRo%7XMCRR&lOU~==8ZS8qD`!m~qdqg9+b=%81hYQ);8ZE$hM2P6_rIN$ zKKBokVXYn47s|sQKQZ*_8&cnIQYT+XJn>2R5ecK9HLD&0LcdSI)TWic`EG%O)887u zkfsZfe7mLlUB))Z;<&Et^X5qA6|UC&;W^zC+XC_WLr>A$r)9FZZrd^S>B=oVQuzqGb^fRl z#bsRZo%Y*rYIRMTLp!RxRx^PT8ZbeckD46IoPc&z=&jO+TCnf0q#`#wBW6XK&)9@` zHqUG#K%>aZTqt5vh*mKcy`TWzkUs}xr5MqYPa{KVY>u6N1F8nb3G!XRNC{8H8`(L* zCDnNEf3F{a0Fl}kk>Q?^^#O~Pc$u2Mh`)BBIF`Xkz8i2ppC+aUbfi3O{RfHyVrZ0Fs&B=TD&yaL`&@1!xhw%mC4)^^tns=DKBEv3ewnm0h1E=wabUH-=W;I81 z8^H^^o`?D2CQlg?LP2`9r-)Y^8p4FRF6?V9)!|{ipwVHagQ_jsvFoMRjUU(i&cXGK z^BxpFs=S{xE3qIaOOJ>jFUIO+)$fH21o1GXlcm*@u+%+cPP!W@|i)Q;n z##!&sbeWS#96KI)neZK7Y*VGBp#NY3m5sJvTkyv)3?5XEB5TRx0v!<;9dL`}4ADVp z(aJcHO}d?#)TJ`;$5o2$b}CFy;64%>vGv6qQK$F#n|}=L=(K%2wEwomQFl6QRh5k+ za|sErSuU3IUYQ`&hVHx>@nz5I8_Ij^IdT=;QQtg%WtC7bgCyrc_# zb4Q!>V=~fV0M-ERN-qe=^oduCrH+`P66i`}4*9~{B*hwPNr(x-gMyIeM6X6lfjg>$ z4qU1e&+~R(Xv&pTYNrodGT?CPaThsH>Aif@o@H$pw6fNgQrg}nC|B_YdldEMVQ1I@ zC#Oqa?64c{+9QVD>5+MUS6Cm~5t+`Te{sARcYG&Wl(Gf^`bk}vMIUBhlowunt(zrT{)q~hG$c4MQsBrVbNkZ!Nf zQ#Sx?1QzUTE8U3!Z%61aSF>_k=}Yjt2zmf*ot-*KYr0MAQczkxQL_c#FgadG>Z{SV z&hJmE?_Pi8A=dyYBRQRr91JSjF52D3&fgra$FMaU+A`Mj3p??Qh3!v>w;OKW-#~O* z%03_m=f{9T&u-5Xvrkqz+{(AyunqcvOA`bH7Z<%DI*-%l!9CwZf)yQ$%6L&IH|}&r z1QW$8`A|WO)lS>MUr}ORM0GYS2(@dLNf76p>JR3*4DMObA`61%5L*)R#lvP0yoYda zRU8{N*CAwv4O}bc$4d#Thra#RjGvD){Kk15Xph6m5d)6=BtQI9Sg-2~pXP7<9(hN8 z5nr9cUH~elQC^2=bTi=ypcjVMSO-!IMa~TAV;Op&RQe$f!f={r7!x&bGa;S8UxJ9< zPqRM4gPMnYcey~w+Q8$;-bY4!PknBYra{cWfk}h{49C00wwmkS;+HPr5Z`^x=s8pu z1D|v^w&`WMiZoLkBg2typA+8`K_%jqIF6tQTsqDdVc!5(X(s7U<%G?M@?rC9O@f3I zNKhSzl|L#9 zCVy2U-Y!>pUG zwbxnQ!=#Mwj^_7C_79i2NpuwrNz(W$nDwU*I(=rFQHi~S%>JWg62_32eTr{73Eyyd zF0t0F83j8C9mMqa3-`sl%eD^WLZ#^Frcgvn)S_$!uj zsccp=BRf4A5iu>VB*1v1DIq0a}Tp$EQyND@=Qe;Owkw* zuq>%qqcR4$rsT{?8B|j$X4ot_8U0fxW=yk8vn&iu59wf2LS{&f>6!ywBOWZ$8KzTG z$F62*2ZPmS-dOx*bd9l^v#%_`Q#dLgo50c0jwJ)MQ}PX-4YmzN>o1`9I$b)Iy5gOB zPFdHf2V!eBZx)`RpD=dh<_Gj}xI7LQgsp;xLEHp5cN%|pp@M$6MF6DsV}FH@gdf7b z*=ZfuzDASqM=AIm^-uLqe07lu+jzZCZv*%89~NE=3&1 z1TGzrc@YX3>e*M zx1c}UAUDO^Pff{4ZlQB;kChCaj0EEqzfwJ4h6JquhIQoMChwyitU@1A5&o21C1R=E z))~zM+`VC!Ez7rKtwIE+_=eNQ3!tso$l5~`QMXoQq?ofr$@un4J-Qk`6|7Cc${>3^ z_Vzv7ruXJD#^N1?IIHI&?51bnpr!Bl8g(?2jmKLBp-|UoO|u8gSHmD;yAiSn9GrIw zS5@o1vtBBXhSF@*%uMG+*2a&<2Bld3f_>t6jp_L+Fw?%#U%x{Z*-g%Yjehwb=!o>m z@@_(P@pkVuqD-srB8N4OrQe&HB)UNmrx?e9?R#K+hKln0q4w=kASn0Hk zj|m<-`G~DXaU$z~O>&$PWvG|+kGqTNW5>NX%+YX4?9r+1gZBUi@#!h|1BaPxvTA8n zH2SXnS;u6Ep#VuKT$Zf-%5A?qlj)wy{l|+mLkeE3VXAJ=o<0biLSC3!nm61;L|feM zO^Biz>l=%gwPcxC8@ucK0I-g`>0Z~Z4!`&!4p1$P*he19A3p+Q(2)t5_?fZ>El(M4 zSUFfZ1da0}n;H}=Jc+39TfB{fDl{z$11cD_fSDI06%wvgd&01f2KsG(6dS$hstM*(e~Cz`hMBi^69R^gbbkVM*W4Y zvySCgf>kiEqK|*rYTCZ>YPfrXBFTZ=6@HC}YOoy{!qXhC%`vLgf}NXoKe!c)@G?iZS(M=e)mD~qgBTmm$A}NSK_3rEwctudn21J-DI;&rVv?HS&ZHq9|k^_P@ z))&DF%lErIOs4nwyZy!23-C|78{Kq$gsxG%+DdnE1_TZ2>7-=3hkk||ub5F+Mm4$- zp)Cv4MSIED?cv0T~;OQhJr;2VH$6j>gF1-u*}?oytN~pBM^SEGQ_DJw{lFhDe;S1Qr>! z=J?)Qz4J|h0Nx<3(-~?VghFUYhIYSaC;#hQ4M%ym40PX@B>OuqT{}_F72bgR&T)gt z#UTq4*MtrSNwjxcHsV1P2=1SkBaj7thKKTtHm6Jv^u- zNvfB$-*Sw~;Cq64F>5zDkq^;0&Nk(HTTZ}>fV#ZTrgUL4)`&oxO4m45vFO6EIMGw! z#B>tp^dkfLq=^3`cMtd@F5S2WGiOcwn~L)eExRwu(fkb zk(K^$+1M?O_|?hJ5n3OY6>e@G6AUaX=j~WOiVsqUUSCIG2q|pz`NCd??Rjn@8^Cbd z7>-P5&@ZL<8*=;)<%ipC&<~y3?u+FMq-J{!LU`@|%4 z$GYP&Hz`Sc<#(^Y6w=iklYdIg?RCfWxYskF$m z;Hngl7N(=1c;&JkLS&G_k7kqT;VH%)-?tFvq(xOox?Cs6lR&T{(Kw@r6OO9TUov>K zAKql|P{s`y6z}rSf0hgiu(1vDntf^-=qHTU5H`zfJVBSL^4B!t6&o*|$*AqtZowQJ zh9;*5p)n6SH*Y$at625-pI6r(O(c{8>~=;ne?|3hBf;VpV?RVN?BcXmEE1hY`3kg5 zc^p1|z{^~pPrBiXQF$r7EP8n|BgFNpzikoqjRF|`ZNg$e#!bDM)zFIyVmaJ+E|7vJ*Iaw0k~H%>`Z zu^>Ex3u|rAmL$m0xeP3P;+nDPE$c9{1BcCScSkA{xT)MV=9#V$m1MfV?1m+~Z)c!# z-S>%EATf^ZuPm-G@DH(b*)g^?vpy&0C?~66Z&`Pi-A_Zs)7zM`HQ|)m5z9Y~rCf}o zCW*Q;UX?>+(7l)9$AQ6lRGTiM5Xyo5KKCOhfBLMhhTSHy<=&}xodZ#&U{w5+)YLFz z4^qvfT0y8GK^K2{f#+6=cIdw#U1*o9zWDz3zCkA1su)wAk@}o&v@iEQ-wV8x0E&T2 z`NyZ<|2(>M$ix9QC1-wCUoO7u3wWOlK8q?$~>x*4q%zbaS3hw z{k?BAWLvg@xX0+UY-gBGG@qLK14Ddc^LUlzd2T~0B?wg8c(YZo$J>VOXMUtyf%sb7 zea9?wMp}4Ok!JN@sgn8-aaY|W{0S6Ht(l}7#~u~MtOjf|SG6+rbKArkj4(>?%Yar9 z3HHDsAtz?`8Mn@qEq)gG1{My%9`<7W8(q@&7z34tu_`BrX2T?hR3Sryw>qHVX^xIe zy>PhwI}w!iQye~?X`-&lw>zk;(;mTc_6k^g2Q_9iqn~Ms^2{{UR%V*uwDo}OU^o4K zST0WZD{2Ltt^PhU<89gZ!-J6>4+I*0WTC=#2wc&^SMS*A%bWy2DWfNa91hp2I~G=A zZ8PZu=9DChY=1EHxBlkzAR{~~dk^c%UiAJgWQ)oM zyU{#RIzIjBBkzoeQy<3a&WTYhl!+SkGUdn{<+4--;vK);vNG)+eY7>C)VNKFPeHQ>y3~ zq}g9RMi%dJ_xcoLA;Y{deovKdR}E8in0iC#!pIy$;*{OSQ7z25Mtc3D79?|3r&Fwp zW1fMIRPUR068_@6xT)=36|=mL-7FO;-HBuU{Uu%t`C*{`T#M%dQ-AbWOK@aRm#7Bb zFdP7?2p;PJQR~zujpsxQFaIg|N8bjG;#Q&Do^|5^r+^TwkciM(dm(h?DI_ZZhMXm! zD?c!P!CyGRv7jF9vA&41fu5eu-UpgC>~!MkW>_b(*XsP&wQVsfA9h(nSpaVdw8`M9 zQKnw1ep@4QW}g{7BZgz7cFvu>wAUC@Hk8CsPl`8VXA?I3fTC`}yjc^Fx(!`J#n|(o zt~|qw{ozny3V~WpBl9O&I7)2thwv}~gI1s05q388KkBliS(-u{2Xa3tF zUSZ@L(x(*~q}Ud=Hz_o7KR%1|=E07LO{9QSmU*u4S(r&E`>xN)*4SJgQ~7%giKxc> zINsB%shfp9a=WDkfaJ9=@aR0;ys#tIsv@BGiAMcCtBb*=TO4iCW?!_YWoNEU7~goy zG27|xPhn;^LWuOI7ZyN=G$RhWIIrXiK|F@8re-O-tZsrdP2cUi)5ZPy_twP&@of~W zcIJEQdaA)1aDP1$Gq)s8O4dlm45wiDDazG*9pPrX_vvGW(lj?z@Xv|-7swqW^fp4F zL&Iv}eEnTYblZ>i&ky#mKS>K~wqeyN6LE><)yPSn*(|M5yz<90S%SGFv+i_#XPjTs z5Hm>O=2$<-GRi36*WSND?S3L*r@S>CGNq2K9omKWhkSXxu^rensbBj#hUy_}0bBTY zj36f;S?x-`%)7)Y3fS;BMTR5R3)@M6dnHL0g5rHifJGwGt17sxR7cbJLH!>b^nJ02wxt)<6veu$a zB-8|J$#znMP$F6rrwA_|oF1Oy4-#|`&;}gc_)#^^U)=W`j^u}`gtW!9gGZrS3S-^) ztw5o^g+4WCtWnaW5E%}$4hV%M%#?|+77}6KF(kXTv##Ub7qxq~K3msboM=G(qte6{ zJkSoconRi@I?Pj<#f|5%8kkAk?Q~!g;#CTgw&yb7`p%qTGpNU?w2a0X#=8uv3qO8k zj|dLOymnz0HKi^(Jj&JN+2;Hr*h`5sso6)xa5Uxdqr^7)#k_usK2!+2)0~Dew{gdb z4#xxLlsOFMDEn_-W$T?w{*W)(M)bufSTe~{7UpRO@q2Lka`Q!En z{9t92^}h+Aod1WV9Vhg*mZYW(xd36W7j z!nM#$75>T4s1Aksfglj|T1X=0yR?K#5KC5g>Cu6p`3i`L!B#cO7y4TqfW4<2n2qOd zzbE~RS!jxj#KxEJ=i4hEISVQMyh2N@+UM-O1MZKcb?2_H!Bq{-*axj1V(uw^sn?lM z0--x$OW$<-I>b9EpB%UzCY5Y96~8DCOwoC3@Pw3i)BJijOqdIo28p;V1*1$e^st&O z16xDOxAo}o<%=RAwO@5?jV(>tjCQ!1w$mUhS+cE+%5M;%Vnel1a7+&f`evmK>Bfe~ z_(;;}?NXdFC=_PZprQH`CD?U_!EnzGPSs}6M#uZZeSiz}^XU&s6;sC_E$$lsN zj`&?BN+N<)XysG#P4p%8CxTP)6M`j5(rBh3_0q_VPJ4*YB4)`l z>+A=&CJ6&*H#KeO_vP2$PI#Ko2lut&$MUVc@T^id z{GujrgqW|+=icnMTKQ=&ybnb|B|Q-L4+57y#~hhTRj%jqaPIlG+Gsx4=bL=`E71>$ z&f~l}WESKDcY_BoVdO@h>SDI{i=oGQ_YoJ-KqB5>i4yU~ZlYHjQEigcCvo5CCZK{z zMB46L5Aj9>+{sQdka#(3DFLgapFLEmc9!UZ5Hs=g9pPkzqI1F2%=tT5jGUl4M^F1k zGdWPYY?E6U2(YZuxUr=qo4<$;Q_(aiX?X#$7iynbl6!x->AcFM^t2|nWsJW%-eUI)20 zd@-Di=fA(R64xf;0xGb#bA$IM07wMT$|cy&+uMo5Jg(11?qh?>+6L4-x+KGVQz>$c zLDQBgIs_vS*!499+Bk&q`Hul5N|>y7N0g$3T0K;}i9tYX>Oq|@``R|wXA8=z;UCvp zKMa zLi0;C*Rku2e~$W59_gs1Xd@0P*TFtO6>!G~9BhQXh3+I7-EI{0#7!aOa`^q;vS7+X z8dC}o4?D>XghfokF|cFV`_m7NnlMVrOdVfl`7P9SM8u1pA&wwQAd1K~KN155+*LsV z-CfqBK6%0STp=Ox?&MJGxdFC4gu;yE0>Hx)p076Pjn-gn{AZggh)XpyD8w&tf6isvmO z%=&oe|AA(6l%LwTg#_E)EDF>SLk27I{kRKp`o)|4o3q^@1jO0DFF0WnRB@G8{YY?= z-ZgtSf(i^DLfn9rWZvsxz^5TmU;0PF5`dRMwgU$rr-$C8(b7W5!3t7| z$W^k>bm#o^qa2A1omH=#&$+#$7#&YMWPG#*cgM+Paqr3N?_pKL0JE@r=oPFif+$M7 zZoU@VDAy9QCSeruBo0fJYE6J{`LC4XoUuc>OZq9ETnbKYd-DM5*Hq|tO$z=lkrIy5aB)LTNSzFJt`8WsOfMRZqkc)L;Em z6IRZ%f9rJY!6#cga9#Q%th+n;P)U^oyTg6b4n>z`iGI%RND)Cmv|e z+CO4co5;&4=NYyW$TI*9;m^#&xVOzN`ZV~QRz*O1=_r665(=MOkvUaO6`+MFWrS67NlqVwB^lN!Vml4#vrpSHy8A}G6RH6g9Kf{v zIbD3I%$T)Aw{(USnyS|b&HJTIKQaOpC99la`*v57HDg4xt%ZLt5j_m3G^0xyxr7D8 zoDI?&)Uu@P7>5t*(+841tR;lj!Kas&M0!y^`&9o1<^Uz<0x{|<5Ko?%2{hyk*&!Sm z3FKD9cE*7T=YS072^AAty|=eIjkMct)Gp3}Whh1r79SK@s4m?_@<7%L4eG~@3zKBT z5(`56MOE!w?7>%Bk7QQg4~hB9xgYM)AKYhm+la|c@o_%7_}T_78)X6yTT9d%CXdj^ z`n$1j#f8Y#+>jY`#2!DWXF<-4|1Vl2G%xN%9k2qGjWe%5Q?XA?gIE~ zEQJGZN7|p1rEytV>L}P(8_Z!Kcj>Lkb$Mo+!W*G^x;5vhT8jYt@y9LrTqPA8H>UU9 z{Tuabe7`>Dn-RP!c#7+2&d?dh<<(k#MP3mM_0-TK-uPL%+$^3P2kp0Y4QI0ZzZZTR zKbMKlcgv1=Oc~?F0rr#{5uco^?X{_qKqe_%6~0M1UDnq@ZCSzZ_Y}SUxj=gwp>R}4 ziZxI==VDul@HIL##7jT2U_oF#Wk@|gYehRX%jTr#cE@$_4$J|OwR4#-PW3^_D{+Vv zM_+g@z_h9IPB|vlUMQiIuRzv0{89XYzUiSvjF>~k|65mzKpEzjM8aagOKk;z*CV+YNlvB zQvB**N3Oe!GDj{oTyGai@<6I^==?;c=JBxDp|CMs(MHr4SF!u@+PLMw&DZtIR%6u5 z=MrP0)Nfo;^r^o1K9I4_%0SDgzBE1^p;KRrpt5(6I>jTqPc45hd)k3z!8%cCg%t{| zgw*NhX8N~@O2cQXCYFA^)i$^gmA)5OL7V5G!r8>ISz5c;gxXFcv-r|gCj|b1Q8++N z1e=`8p2mmaYNO4LBU_%vNDrDf?QcbTseC|#RpTD3w@J+FG{Vx#z;F!+l2Btd+UZXs zI|{F|yB{Qo&t6O;u1mW9>I&tP?8x-D#fT*o;=b1|}hi>%ga ze-|11m+UffIhM`THxegF3_(>_aNoTu^%Lx^B0Tdh*_|&B9gl}YX8e{>yvn(Mqak_F z<-F}R);zRnNSeBj;D`Cu*np{eQ`yLTcIWe zGE;P54I|X`)EB_7lIgIB~PV+1t z3XyMWffKojmy0tfnLCXT^&*;(eISj%7#P4%sGedm8|%~Qc4AK* zOGB1j-MLdEf>9)m;^bC50W&v`2Z5C4PL4%&_sFCaHjLy8J)WEY2C?zC4wsVdgML8p zttd8;KBs*_jmWXtnfj9+beWyT&jeZ^+Kl=GSu!yHRMx0U!4oEntoM$dxov8D;}H{w z>NsE2umBi$>2XEZmZg}n6~37RAngpTy6bGRp}^o}Z*{JLIdA(5zvK>Q#eb6D<&Dn3$oGc#OA)|J`Oj~DrfrexuYv$q`-T7%W z6jD4Go^-m?<#<$~#4JU#a$`nzys`oU@I$tN-r6+;<*J>m$G`>gazNE)@}SZqKTexE zRon{My9{!xAF>|4QG`aWAze;w;J?WT3h5C75ol!}B;KQ2c!%EJ*?uL#&%YITAPMv) z&dPQVEyS{L>^n!(8HC;9MFxAGNm%*d_bJhmE4CJ3-N(1N9h4m{jw9kqP7XJbLWfYWuBb{kbKJ zxe8GG7rSm{jdi;Gh-{uGFCF+M>upo09m*Khxiv*-V+c(!#C`Og?uf3_C6i^SNDJeq z&XDU6;N~~5up|Z6(cz^8_W1eNA941Re3#_W00yu6!=(V`AvWDSZoRi1aJgr!^oSG5 z=0RNDwdr-3NjyXjvqCQXK(ZGxUS+lXDu@~1$vqQxP<+Yx-^mSclVg4PaKU}bfK0#l z=DnHj&Jei(p|tz6n9V|sju_H&U}mNy8{9zFjy zN?zPOgcOUtKXbwt&_ysUX%yKq)sf;4Z5huNNdxenX|=PF?g<#Sv~d=qp5?eHXlVFT zfS8G2lSINKlBL{L0?5+6c8G$bNM|GGW9f6R3MSa7?w^&&%myB4T!Rv3M&stW2zS0K z#&r+6qIezNrwY#>=vp&z#7)*>(*|p_Zvm)Kb#8s8)kW_0S<3r+%wW7GWc*ya^kyRg zqF0es<-R*5%ytO^rP|%SE#>2!hdCl$7Pm5tNRXF*8P=TL0tL`nF-j_05tK?=tWccv$}4;L9b!xP1$SdGI6MPz**H z0=O_kBWOR}jwpW2aX<9X z$=lEBNF|xs%7wlD>;BP4*bV@Fa5+a)OUT6;ds=lNf!_K|IsA*zxLz(D=hd=HOkn;z|hdZ#3b1P+QG#sX5sk`PHu{ZoplaQ zN|s?-k``oK^E2M;m1yu)IQ1+H_W{8(l^?xVexhD3&Ct>)#niySgC3GN?>1-*0)%h@ zN`mnolBu4VxncM)Sq1A13p1Vb1VaVgwA4JA5)%s(^Wq#tQaYqq3XI}k=iAWX<>&qW zrA)|B7b+M7Kpz0s`{|T#P#P%an=7PbC1xa-Ddd|eBw-aSWKnOeP#@?O?`I)UUy9%1 zW$4}eS-3fbo6myD;}1`5XkcVwqWIbqdc)6h;+S#MwZp;Wd-L8C@irQH(^a^`@dYmA z*0T`84|42{pwH<=l!c2SEy0IyLW*B&hkuQt!_m$$dk!49%}1CyG3aa}X0J~Wj&OK? zJAtK*71Za41XR;#`T5_D;Qzuxu`sdz4;IQ+4N3)79lfToqCrrg#8wHf)lD*x1(bM* zw6LunOA#F@SVG0ZO%XfXCUAl{pZC<_mq;pPA@UqyDCH2MC_7RxBqcl)H}Oz}*;0i0 zepRk~;u{>3IkS1k#V4Pxs(t%Q_s6$6mXA-Usb>G^9>DA7<-2R!)mY#VBC3XVQaVbNne|Q=R2$u}u?putR3C<`T7onMB#O3RE}x zLk26>^zFs{a>Lfv()6h`h?|;;oR`%mZDC_#Vq_q&Ryw6pq@=rKfsBw*2=7Nwq>Y)7 zS>nv-%&Njgd2}&rPs-V~SP2amy`Ds*0$%Yq*avkt2e+r4O6{G?%kx^>+`XT&@7sLX_A zy!i^#n+)Cq$;GhR>GWLGJP)}cSx+L-SIT?)JKmOetuYUoK(zj=5@pS>v0mX7LS!fb+@1JP|}ev9&ZE z(37uRBrdkKRz+FZ6=Y!yVpk`GP5P_dS#_Vk^Kr`D`YK;4F49(k+qR|Z^~ty+N}5>D zg{_|!IO0;Cnu|Sf*%2PQt%Uo=w#7Qi@wsUrUW6oUEUuTI49`OE+m|x_K~w}KXnjna z*?yGzyg&9{dlH5-L_k!{u~&WeJPwu^QReStM$mRic_Wte@)!by<%xrZ7m8#CO!{lX z2}s*^(FYxG%C2yE&HZE+3d4v+3P#d0gmBwnd9%oMc3YI*`<}9Fzc{hxUe7F9OGHl5 zRMpdl3;d!^ac9*c8A!F1Sq3b1IdOca_RTS_+2h1cXAJ>5Hko(&HC+|y3U}L`R{#aO%qK?<3|z8?jhwx32!{`;`p&+F+e!=@J;TTdxzF& z_E`3s7Ovy%{YPrMkV^uxGwt4I?OmA*^3tx3A2xIaqMxN9%QIN17RGl8pCER>@odMa z;}eN<)0JtHsda$caDSA-aEhg;gvOznb7Y96-Xp={l!xs(i+iOoNk{sJ6i?jLT-jVK z;VjckVx@*?8;!RPUj^-0;_9s6xGtbt$v5;T_nYYNE*k~^SSS?IF$+6O5$<_5#C&f3 zoye7m@zPJ2HcvBMHq&uHuL(JXz}+K{hVVpff)%HVrX;fI&%9;|aflif_&foch~#gd z%kvXTNRkcC!?Fw1)vAWE)z}$`oDCz@f?yKW`yRMv%8+F`lxxF1;<*J0o1`QbSPVle zXJ}^o+wDE9#T?PYn${cpggbMjh>*F3yt7cy#n1BFck_Y%4$PMIt^QOPYco#%5Drs_ zv@LiIL=$)@p{qOPmo1qgX9Vp)YXRoWiMOIt3?|I%Tk9OQ=?l+%@uz+ynVFZa5LA`U z`5Qxj<_*aMSGY`6wk+%(9_#BrhG!1Xe6BPR1iQa=h%~xV3;>;V5r4ndNeBH#j-@NA8=1$1Y|y%6<4t&qS5wjt3VsVmXpGH zP*GlZ#()bGPFTlJOgjSv)&tE6^Hh1)yc1GH!_!m3mSVxb+A((JQAiwTtRf=Sh0-#Y zc(OEHq^C9vJuh8<=!h-*cEgLu_ri8l?6Mn3uCp`~iEh@UbHs0V`Y%rl<5qeDHKj+b zP0g#MK4Icj#$e%`)i2=lj4%T$-XQ5X&;G+dHd4G@pQAVonnE$&oXlk87ln;H?2H^R zKP0c?p^zd&&%^w%j&AJx@-pk(TWkk%oK;F7IxqQ4a_a?G13^d;-_h<%Ihpc z-A?b+lg>K+Y+(A(mB9SW4{zg$+z3Xrb;<& z3(D*u`SQdL+krDcrHpWeVT;C>>ZsNicd483I`uwyLMPz8dr6FO!JaNzJgfy;6kKu< zH>iC9?L*_>Ez9=QkigC!#yy#1%ZDkctN4SOr(+lGnfoLvd$?}_fQ*R#g!9+aM+=9L zr!={}B`H*Vzim0LTYLYc&PZZCqf>!SGuA7EVIY-B{`V#e!gH-9*SJ6hLS(|tO-fy$ zy=UHy{v3zy!h-uTIK!0LjcVO`SoW6`z62x3#%v(JW4TrJ8dMwO*Kg4dPdSyE*WW+Q zYOvO9beCUUFIM)>b>?-KX{dLhoXWLlE+DJHS6*nH(r&0=1IYDm67^CDT)4k!xiwPo zlXEhVY9eT(AJ&jM$ym58m+N^l{ZY$+&Ra2lQb0&2EgXy4KlRq2!DQRP#3LW>r4p;2 zmz2EuS$6twuj0fXdN-A`^d1dc6yX1*O#m+}bbvC3y>=1p*q#(UhaukbDE_W{)Vqk# zYJ<$Ha{ns{Gm7bX-jeb+Es(CdYNj{2h^mVTa^c1UD@h4{tRMemXF>&?Vg{dKevS~f z6k!Rj4Sr%9Z8hC>|HybN41b|UVh>u6M}@lLQWU|>v6tg78m~w7$9^|Y{wwe^=XG5C zgp#f#0MBDed8-cvuB29i3){yQmy(Ay+_yuzaH}v#W2xvZ7Bgr7kG-73t881-nG*!ppop5b zsZHNu_lLK|62x+T^+~u@@D5PiUJRl9&;Ho^p`UzCY+Gvd4w@8YxRv>JChGHZ^^QOq z%Y%fVz{OYOqZ6*^M16q9FlIui?2m~Aphnsl5bhIxn4`V0WR@W7lwFe}>M5ny*vnYF4v%W@zrdR~ z6;9kR`QYo1ZozZ6>`CAx&=!Mms2SnlaI;|I_n1x>sl4FH7krgRoRF z=Y`v)&+FwbK&%xW*i~-s*fMFhj6Qr9mc7V%4BP|Un#S)n_d}{KNcZgNRpzq);HLap zIa?<0rtb|_HW|l$^U11>qKM+N#xPrEpzZ5xy!Yfw8O$=5yo@OaG53KcDDF)JKBki& zTx>@lM=8yTrk%Q+tkl@+sXtL_a&iOS7MsaaZ ze|`^_hb3EqZzrtTMdkFB`!)V0{M8WldfUWX!-1l7>SW3PG>GHFjgK~0T zrZ~d&(BMubojr9Ro12UMGcwr#7{BwmUYFw#oQI*Kpn=hcA24$SwzUdN`^r}iz`GHn zC$G`MXn{wKjrXCxF=F_Ztv|pUmuL_!*a0Z8_FwI{L{<1Um91T8%pU|AB_QFE8P%K; zmDK=3e%ZdEr47k>{Xm5VVKY_hn6+8CbmI9mD4>0K3~^w=*kp{61Su2IjmM#%CK)SpOq-;4 z0F@*xf3Kc<*0glf<~99eca0322hF`R3+LskQdG3u?e>l}a^(qS^v!DM#8@^pQyx#@ zvgL4HOm|e7s2bi`d*??z*80HV{u$zsH_FcWyAWB1SX=B(W44H=Wy*ZBoKi!?_;^O= z)!nf77XA)V(pMu*Nc{m7fFgBEyr%QQ>WrmEKzRm>S!gm@>$i+L^mp z5dQz@I^BdxyC6nH(UY#{pk_X=C1P#;Qcpv6?c;c_j)$|_|=9QWk`j?8b0+Ok3PP8s$;1NZ&V3}IY5=v4m5>dn?<%hjIEgE()uNBk8 zN7;AL#hWaDl}2gnCr3A}Ppb}^O|eIFAL8X{DdglU0JIN%Gg-gjb~N?87`6^$IRX%R z#!GNkYjLiO8~#Bwd~35iaSPoY%CE1)0E?6R3xveH5dZ)7q5m&fBQqlx*MI6LwyHh~ zs3%xEM-MfE*2`JvO(iNaBkWL#oPV?|A(C3C)vQScD*y zx2~>z`tckH?+d_-SHwyLV@6cSVj@bJGSqO)naxTU&t(1|XYUwf+tzIhrfpk0vD3C~ z+qu)WZQHhO+qP}n&f4!)RMdB>&V6y?{#bwKiWo6RpS`!2#Lf;8o99T-)ih1oQMIM9VNKuC$gy>0Try!SBq7OiRprDMaS1Cd z6VWz0FW1sqUD{{OnA==5c1~07fPPi#w5V}`uJdFp`oSoij5J};vU%p-T-{Z;{Tbg? zv~T<-DO*tuG{d6R zI{R7zPaNmWYtsC?nZ=Aj=BZzXeioEqU_RC_(vHZW7Ru!*!VUsvS+qUIwS6+H}pESGL>WVM8-{FOKr-m9?#>Y6R%NF5HfDs)d zudc!U91}kh?=oxkatyCT%T)`0Exwu{xIc(wEjOZWq@tTR+EHD_N)s8uA}QlRMbb8} z1*KkM*e->LpAqJIQua=o$jr2vpu^hw&aq2cX1S!zN`1vQlH8}gT#-Qhct~I=25Np@E7z{dCy_{kH`0p|Kh|kS_cSviA_xCado_b@ zf5t7|N9~Wu&Bnq>bw46oxF|Q#R6L9k#0&y{FZR<@jB7ozX;Yf|!l0xrFqPj0o0rkT zb2X`jq*ra+d1&i?Ac!zw|HPSW;vM+9XoX-IBy3>*uunJFPejLBnsOmInnb9bxW{{Z zvw|i^0ji{zLQbrdm!BCs?R49F)!6ZE@gvv;UPW}LMth#f3@EixU&;0s`}*g{^n@+i z^m7)j1O+)W9=fnHY@mO93e+q{5Hbejb7!4Ak1Jrzn>%pVN0W_D8LF;_$@ySeU&VRS zt=r7lvqy)=6G=5byW{PGldOuLu6hfSrXK6%K6hh8oy$IkbR020N+@wnFQhXUoy?|_ zxBIID42t;xBr+`i*Kiq#`In8cd1uIyE9h ztoRR;rX(9P&5))hzS9_Q5XInml5BL4G*rS=hGPl;sD_oZncF%+WM$NJ?X*U=TFswS)?mc%|xj2d9>PM*Zh<#)SIXawo-?MM4 z;LIhIw5O7(`2Fr`Gb;=3(YiC`9JNt&i<0hZ1k$50p|f|fL?r!QD5UESRe4j*f%5< zqI6vqrEM(TW{EAsn^Y>9gU6r5(0)g*S{XbMZ7nSfCp$nMm=k~d%?%~$+suLwM`vb7 zz~J%cQ9;ZfiSn*~bQr=9!8TZLt1`n*F^RiI&FceTY0RZpCiiAEgl!OGQ`M{Y9?Faj z=?b)UQUnV8tgN??(o7w>MRBSY^i=j}KxMs{W8QB3rmL3%uq&4`PC?H9hqR-!ZF*25_lyR)$+_)z(5hDJi}Q z{k*7p=M-F}pDD6sE$Zno8qK!2lio*#WfDJ9{4l79oK}p~MC06~R=DK7_??2jGqF8r z=+`8`C3t$ADu~EiD96J{0y@b6VGvs=0*=lp(xm->@5dDLw!yv~8(1S5I{AAr?oBfO z$6Ej2sLm+?M(;3`F$6Nqhiy9dan_^IrGVN5>!7QM!bts5tGQsv5%C%c;V}s4WNF$o zn%}A3`t5pWs@cjvz|^<~iT~D!{I^m=7?}RCz|oeIwh1CY=zO4jeoZe%lwN=2lhUZF zIy1q$!F3l>qZSACcfH+Fo$VBa@4aSVOk1lozgRv6SW9V%H}KWLKC-KCNP)nGTaWDo zC^A~@aGa25i&wts_X|HObM*TQT+>XxlgIH#zaP6GHZlua~laGnUW@NHq60<} zF@vl$lkgY$`k-VHS((7!gY1}6B`&&XSRPVA4{Q0AF972)MqzTJ3UBs{T$?E$Rwwzm zGNRJ)8=zOiX8+&Ljs1T>%VuTzXa6>1C58-$0e;)TelhwMZwT>bzZk-|P&gRLG$j>+ z#!OP0t8cMz#!|BJ_s7<{YJc%OhuR!-RvglfdxbOK!YJTJ4z7PNLz>i00#gLh@J}o#I;w}mYWa8|r<^{-O=dD^#Za6HhS?w?-L4xL$9CB|@< zqQ6F&^cC5__wYuN6&ey$A&|fRoHFjm4i{VBFzmCyTn+r5kkjR*x9Tyq1kTn;xE3*-{X=_bXYPbk)jK$ch?g&E-i zTkF_cO~j+87$(-JzQs``+IN1@6G07%OKnIYs^%mO;r1?>*mG`0U&Vb{&9p-cF2(-d z5%P`twfbvu6;Q(FuL`vNOBfwK9mTag{p)#)Tnotd2%Td z%0##zobL$5z6D4HrL<1cWs-6i8nyWXJ;Zs8G3^jXTI4HZJEk;IB7@oqxGOZ1n$w8^pjs z$Ml~gkhYSQ8p;t?_Mbl{O2k`s$wz?=l*!16ly*>x%BFlAZiBOh8Toe$FvI}ST9 zAG3*7)WQpm2c2TtasG0Iy+V3qO9U>JY@=1fnf6_=XGJU+gz_WEUHrJ^D5dG3^M zc744-CYyY2k&dd4h0hwbjgXP5FCi;6ixEl5?A}7aI^~a&(3qBMCrxjzGFZhzTs2=< zIZqWCF)tK20}Z|M8UiXB7%1!bfxTrC1FbM04=awuI_#C|7v7{UO(rj*-VQ4qRg8in z8kOfNAoDh{?SV4vbMS4vkZIOOGZd*XN z8PmpL^H_5YYR#otzB$CwrzxUw!{((-yG4som#D@_gwaikj1x(g?bCR`O%W5VZcHGj zX`iq{YSVX%OA7?2`A|h^=MtE{7N(O$WG3`(liw5~u_)vLP!l4I4I50|5W5n&5ukDQb#OkElcIm+f` zY;b6tbf5V96RiN=+e-5m?r&o;Sv6HbZ4B;$Si*O_hF;~ZeYzRWs)@RvYSSh~ue>Hq zlx8`)od!!4H(>`A{dF3Ut|*MpmNvuW38aE{#f2Al*UvT^MAGR=D5SiuX}1JrY2z@e z#5}3hNz68B7_OH5N5AcASgGf2m}xo2jRx|2#6K;naTI=Z@Tv43u@NBnX5kU*Jy!_nk=ar}y_BfD^S!np;#B#me0sFMMzTNuRJIEzhRjM{+9bJbu z#(KL@b?Kr<>J$tO_lDcE(mPxw-Y*+%PEn!Ys#t0>I=j=T^Ym;ycAsCC6E~Y6TQ`r4 zaiTxL=)NAB4Lri3rgkRmS<|*0)TEKZ-9wHA0C+PuHGIMihxw>yP{b8^pM|)jt`%iM zV=SR>4|lRpmKLWHthxN}0&mc+m|mhPz&AXwy;VuchA27+}R5sOr;} z!H;=qe%?g_O)T0=O-ZwJP?KqlnnXH{AlXM$b4nz^uSUFUpch70-6%^IXmlsXF?iE#^x~?woJElE& zLsjVTsKz#Y7hVjg1#LX|gt)4NK(pF@JtnYIm)Aat-?5%Al_9WONmZIo*QnBqEzvwNFrl)#om~c3% zf{h<3N~f{=&+iZIHR@WDc*yfWvJP7ug~&tf^kstd}0Z70c6qsuUCfqQqNCddw*wI*~9KX4JL0(1-R=@%g)|& zb)lnyB`BktFffg~RVwe(v33l0GqbC;D|wU3YGB(L0x5Oq+}`qPcF+#&#n)N(dOnxf zv5U(T+Ff5=fv~a3DH`!w?N`b5YP8MnoYJcs%R!W^7&OLZ8>E+=Lz}*MN+gD}dmE9CRit#b`RJZ}?Hu zG2kpwQb7BK!6YGy&<&I-IbJXJ(?KpgQ+^mMwxpIQKm@H!&!-|b%5U#8E8EG{6>cwO zze=L783o_ua2jN3;D`JCI)k&Z!a=d3TwPsK{H`8DyA#wv9&WoDeW5| zPw-q*Q0O*~-|*j?p|5V$&DOq8(2Mz%GQMxRF!D)GFl2ukXWMSja?o#+lQ)ful}TG5 zm2F?XDACu7A_YalFzf*eBzdUfpa-nbi&x<{tax!QMb&~eMVStdkB*OzBrR0)y1t?| zKVRkEFC#mi0uv;s2`gUHG?-=Rb&B{|9uP`5)3v?O17xKstorn>SR4 zO@(m$A|rGmQ`E8$=ZSNjXS9SlFmoh*uGgCk_%%WJF)qe5H^xr!rR6FVw0N5WwGcEB z!nQu)s$fDGHc0V$oK`*Onf@u`a&ZMOg)d=~z{AZatG_fB({0+35{n(fnqIp|+^@e` zPTV#Z)|yn)RXC_9pnzgDGPZTb0Rz~oz&x+(Yqm@RGPbQM+NF*a%ROubjj{3dF!t(N zVdT*f#W1i*$niwdlE2f7iGRQKw4|`nM_z_tDIAKfq!rV!@d)#v840wys^mXfe5^V%tqYMY?G=FZxnq^GTj_cKWwN{ErpIf17~F^3Oz&pqMR5 zMLUcUpPno?u5=r6V8SVfIpNtv|N7sNa-N`5^G`CeqjqD>PaX>i#MglOcqk7>`aFck;}3uUbz6|#(^9silzp9Sh6ZcCzH&MR zJZef>JC;ogXxvt;=cWZZ2F#d|&Kfpm5d~|O=2ykcTaL;NO>N2<7#dki#f4GA!&y&> zT?KLml=J7~RL9S79n%sk8vE|p+V8aB0AiORA$sDSY@mhyma)LkKnh?4u>sJ#^skUL z{i`an!D`*j5}}2L%C%erZfua>W&ILhEA?!gk*GJe^8-O-acgGT$ZXLikA`IT1=-&Z zSWV?cI^@a>@fRJ1=~Q0oEspeuLfapq;U@c>6+)H^MY~);6Af&N@m_zaN%3y6%@Vs> zdry=iPs{-!MrzA~+#~~|5!O-DycuqcZLPtSpqCtx%GA0vv`bS@Q3O7sMD~Ef!m23y zdov)UgHFPN_c-pTp58I*-IS(9d)E9A5q>=M2*YF7*f4K7!v&)qVDqx>2{8etV&3GP|C>=~Wa-`O zhUiHIlrn@9R6)DyWD)uT#RDjxv35uYMdSw`lzLZ<-Q^w9f-b*tQ3%}TRShV?Fm~{L z{qx2;ig)-(|D`mnZ_b9Y8^q@e4F+sxM%iI3+6FKKYUiZ!u1ng*T=j47JoEoMD*Yb{ z2P@k@MkD!+ziT-duNl?Xx&#9LRUm0!BH;{o7zzHFEApFlrTVC8ep1F*0+tag8vJ zW7eq}v}LwwEZ2+?K$Xe{$O?jmE2aJHR}`4ye1Y8}yo?$iP#u)L@!VWwk=LFKN6M&) z1Ds}XUvDUL+{~8BhK$ZcPZ|!b8=0*MN4yR8d7QGt?slK~^TtaH5<3RKkFcgp5<&s5 ze3WuSTc*;Zod|a|#9*o3mVTZHJp-_(E-;z|;iljh?_?-p4+vl(Tl~hxIi=fN*rpyx zWkVT@7+Bdq+f+xRz=UTQRp%67vqW ze2-K>JzK5&qOPe^-GH*lnwSoAjAj8mQ7Wy!Iht5`QOc}Btyr*vQ3d<-lLG`mNDF4Z zPcSR4Hm8U78=#|)G8ah6pF$3pMG^qeP!BzoNNJFJ3@uE?Uiy7dA_Hm5Itp2=`L}R= zj&cpG6@x*Ur`DWH+s(tN(KQ!N@Iaw`5e%uq#!%z7QV`UQRz<8Vg)7GO-J2T^9T=ek zlmkl1uI1Q?fBPVG!|Q^cqHj@dhQo)4EBwq|Y$riCgu83b&IRh6PxSjWJ`+*tfL*+z zo_Um5Kfmmz=*NtfU^BU479ZKELAHC(+|r!)xbt|lVuhkox7=Ck+50e$IA@o=5tMZ+ z)Ypl*`BqXXe&>Ef@GyE%3BhF-UKWHG$+y48N<8IY@9qhEdaU< zVh0{(oN_Ba$y$X?(@muPVJu9!Wmz6;Pv>rIFS$=xuV^w@zIhWxY&3v8%I`eWr6oK& z`>^pUmc@hgMCjuSC^8x{4wzmw{gpHdi7a4-b2Nh}mJ?rojQaI}HfoRWyfBT{GGs&& zbKseDkfo~nGFrkqeDd;uPJr&w=xS+SkhFmWmxWv6W#QHODNi_CAd{f)wtQihSc%9T9zP~SOCaf zyl6Iu0)+$@I{?cUIJ@CYJ%nsPaqhyA`2J*oHe3X{hpISX>!gh^R96UjF@_a?)BBZq z%!)za7n2*0y@D&k#ScRHkpw@*a{HC0gQvwb42R#hf*T5Z*sSS|sc9rv?rK~4jv8nk zA3ltO=jAlOc<45PgE3eNVyYKRflH}}x3Yo$>^OP0^)`6#5zAJYxG+S7qPfMgW%SI}4xgx`96zy=6&S~+Ni%E5O+-#!m1|f@RC?6Y^Tja-zaPS> zfCld;ZYBnZui^>ex`GnhY^iGq+6uc1^~5Sy0*_=h7g@thR(qNtGL(~Z>Ljy9>!%gqnl&%^Zzbj#nYTIZp}F-0=j?Ebi+<>jsUg=O`f^o)(| z>MGnv&8D{&s|}m&x1KlnZ(}u_E)H*l^Tpwyq6JMdN15}q*(t!rz0(=exiM+Qzkeia zowmqT_7?ZPy~B{;tttCTEqABMbjm6zEFrI<<1FbQ>EIx#=wRUBfINcL47ruiPWmX5 z(`s+z^K-Ex+Fc>@ZOysIY4hgtJ$nN))X~sVVr`kJ(O&DVuW2Kxiand3^U!T!`Ci=< zb~g_XICsCC{Rw)7>}Q?2I(2tIy>WOwwuMY4le65J+uqV#(p=G;aWErXYQlEzGZN9v zBvqcaO<(6gq&6U$8!XNT%UH}hRpW2LHlwn#wYo6h+vnnI(U(Y`@cvFFlRiD*5bkmI zc$PpW1;h~>f(}rZePZ`-FWP^A&Hwc^Wu*J(HI1A4U&N-s8}D%Lzr?0*fqXFtay~hB zVk^P?XNgM^VTxgf!`POZm16cs-?z@m=#;t?Rbi42$W9mTTP!kDPI9K`0cnRoXdTWm ze*~eC5;qgoZPswNw{H26V$oY3xRRQOlLw15+!y8Do=jPzS|GnFbdac_qa~qA^>qAtulg{R(_u@tP=ig+v>ggICz0yPAeg)=i z=OQ|BB;7dz3d!VxY4Y##XoXaeF2MtAn%I9OAurNnw#RI&oiJ3i z;ysZ#qJu#P{;nsf?kjml5BciHiUU2E$94t`QCXT&(-l#BNu0~I7Eb!_za)MTd3wyO z80u6F7mD>b!eTU)0`h4-K7mMUbK zQ#hTgbtAEsjqxLQ*ln%Py4LbzV28pElIDj_FpLnv`GJU?s+l=K^=;PJ~l4%}64 zD!P&BO7dp93%DLmv8uTB_(Bllu?{O?bb;pS3Y=BhHTnua>~F;HHxod#dmKdWuj&|?z)?o+zrW<%*;qn4~X0i z>nmn+vO=082d=mihT}Nn{r)jhQ@&tcTmrX9O?S(I^V<`$!N{-zY8&cn27CWiqA$lW zvJQENR$b)}1KZ9=$J{LlocgZj^+~uNjA*sA{x}_yQh<7m917ZT__LY$lM_qY!)W0F z|H@Q##lT8_!mF)rt4A~N$?TyV2G?h%li&3|h2uL*IjT>5GG7_Yl}J+AR+)WWHI7g(ea5F;$A%J>*TiRx<$7=e{R4oIf4F7-Y?q z%|?J-UJ=5&UW3YKN?1wFwKDVeYQL5v${1n>sjsX~XS&P2r(Jw-I$yb60WUGy_SCJ@ z5@ePhf|HA)-(|{@a`t6OUy_oVlvpx<>Fr-@)A@iFN8xt6pH~#eau`CSB}+AM#{p)v zjTkrY8&{B6-tT6PV0+Xo_&n$JqHvA})o^j2mjHp)q}kZ{;m^s^|MGxI)((6-$s3h@ z!{jf?0LPnEOi;x{{JdLe`jK}L(R!$cz#m-rrN*Ht-IT_}Q6;m&Z(eBB8Hqdla;V4Y zhrK#JWc5fwdZIs$zcKt;^gTjLi#CJ7I)O9Qd_3!XyPQD5Xg1d_%>oruyS3GRU1dzR zisrGl8U?+E-#;$!o5mltmaExsBn&hIU0)3(YO|2mvoAjg&U$C9`#gIbpbwu3hS7(# zO~J0se%ru-Q!9($?pv_71@O}5tKIVMb#f!Zw#s@Y#CGbV<_4vYSc^~v4coh7rs)Lc z*dr9LtmbapyH@>e2AWL^y1uml^q?f<;fNzhMg~s_;v+(E4La)OQrE3Fn%6&Tmn`Rr z{r!?>!fB?eSq#y;o62=K`z%-tQc7%RLo77B0u?L1F?KnDl50NyHqN+8xNJpEN_NSY z6A>XazfPM~jqj(E=SyjJm+@ih8G9ED4CGR$eCBk{tx%?4*t5}R|0)gG+rF2LuaA2d zk5=z_<10GU#hZzV5%K!F)lBDNzI9P%PC&%=uiS0b)HK&t4dTX@7ZebtbG%zhn|_id za@;E_OJCKPfBK_oNLu)uv2b$MGO=nnu*K7VKA2?Lt9Ng?^Tgt*1uXHiC()M~*Qd+T z=lQxtdZ)$P-I=3D_t>i&|uQ`b5Do1T>k=(Yo~ZmP@k z7JPHt%M1lhRaTWuleC4RrX5^qiR>HSI5UdUFj8BD<%~Ws3G=vEw}!~_1=cN8YQNV} z*x(GzX#<>x82TR^y^u2K$CSwqVHCDBq84Kw)mo1!zzF;hyV%|F=gh#WD>o;)?2?4D za*p-FBlRh_Z54}-t}UIEnU7NMGNU}o%XF;gkajRC!Dhmn9K6{Ma>j;A4gDLsFKUl( zAD(fO)2|wSyN;27f&pay?vqWW^;f@#n>#PV*;Uyt7~;-n!Zuyz`K>A7H$7ToDZOQI zVT^T7*IICuuc&E*{2$Jvk_C(hq+9rEKW+#X{gG9v=vADK1!4E*bW4$rxn++O6YMka z)TtY+8*JRu92n|IFXK7|nSeF@y4B*TY)6WU`^U59=60+ooD-pycTYS~1qEVy%ck`- z)V*4=st?uxsd&PF`>y^64*FkrGz`rD2=Dq!+_4CvL+CtFy}V0Oh)nkOgOIJ#E3+!Q z;Xk7$t$Zgl_a5(ac{=S8{nrvA|oJn z@j$1*Pa~9{qk9+@3H@}W!{kOKH_7}jZ^v|?Fe~b92r&s*qMmAWD1)pTR3_N2Q402dbF?cc zew7aP^lVraT)e?IWWSxJCGs4mjmTotaCc8|%fugIFgZV$Hy?Ko9yc^?%d*LcwWr5J z(Y`RQS8DEk0iulC|J&fk{y$-0voQSw_A!!`m0GYxxwb*kL@fR-RKKX8FTiI9Bc(f@NvpcS5Yxik~cM&4Fd-C0b`^ zCHj|E#_1!3eP{*8d9u-&n3WYB2Ghf~ulnN)v+{~9f6V1E4Fq5x@9)-Dl{qqp6W5wv zt1(8KAmceo*irwShA^7Gn}s9{)5W3?yTV)uek=%~*g0bNsd~Y+?*A4*sMy(*k>Px-2QZag+$cpQ!y*rF(_%6sFHh*xKO|flaK9Gf z)Id_4_(Y%od|e8&1z~eEfpKPnYet)eNNR|$Ox?cXV&sXE4L~{r*{&r#ju=86?_yeQ zzV=!EzL4^^L#nDaSzdl%Y5&3by(EyXZ7~njzIJEl88!7;XuKB`06qfitXR|tg2oI< zdrGPgNwymKUSk78+H!UtuhdS^b>LQ6EB8Xw>CS&Hryz;XlyK|GFwL z(*MH?Ks(OH;_sX@yz@bRUvGeNkh6{|RC@&_(2=y}4S+3+T`C?*Ub*A#e!`*FJ9=Y3 zvqciqL*5(|AN?j;Aq*MKtgwXU?$rXc3aU}oNnqH7VokIutcp3agG2Ek@6`MGWY;kx zTQl@-+u8TRPszPA@q7-Yx>cB(BiljnhncC6og1dsc3)qU#~oZd4{K_E(O~iiOXG2x zXO*hv2~=lzwWO*~VyS-3O;NwF6WbvGF416ff`JNsHdbI|HbcUjwFSvyHz8m^6M7> zlXnK~za9VogcV57!1n(cJ3XWnRdGgct}b*Cf#g3i4+$Xp#+&*cuNz3=rC-;IBA1n7tKoSh5zhzQyWCOStvR{;^~}8Ay@};5|VI11m6;qBI*RP z(x;^gv_e3{BOsCpaf`>19IE@J?1t*erBWXX>6G?8Mfp0SpsurJL~$|tnu7&u(XyugxvXd{vY6|!3#FbE7}&@;aO|%#LE$iV)&kKxu24rBtN~fx-u74mUu1*bWFU z?w78`f;J{|0A1PMak?9lJmmd|1nq->CWKuS28`O z?5G0H_V^|7MD`r_Cg3P_9qAz11xHu{4Xe%f<1LO$41N?}1kKdg2xMW`swUl~=o`Hj zTNZJcnFHCzEH==)RkY#{xAVGJ30uAJ+_tq~h%Y#JzIdv5r!y7(y+!70ZNn%sLD=vc z0Xai@LvljO$WaOZ>2tMn)vbM%&J7{3>6Ej%aNxNH+9&ct)}t5N7XR~LY2(L7Gf==% zi;i}89GB2UfH3mPi^df#s6xblNdA-n?hQ6bE{_Gwhv>}HuJMaR!_@l4TlAw9{B2E+ zFXp3b!xmfGofP+YezpWA{gm~P@&ieMFGc1TZuwQ8;4ep7WuJ-$ecoA<>SKMEORQ`} zN?9N$ZIPD0DZ1`PHh)|&kRBYZX>|!$-+BbvpI2uuY3j`o)Nu+F?lD^%i>Nz(ZKXHK zg1f8Liet+Mk-orm1q0jWS9YZ~D^QvGzfx(Pg9U!bnyz2XIT zIRlU#^=+I{$yml(Ap?Zg&3$QR?zOH>tvLN&{`RO(m~GvQz4q;k2c|ru&m1S3o)gW7 z$G^kb^g4bQTlGwoQWk7#O9#&(=#!{~>ZJrkpNk>(Esq7jLRGS=8a#QiGCBDKk1pf`q5Vqu@ZmvNRIy5}pvlHwutMdt?7T1H zBj@9j1yZL540Xoz!%lYOW-Lxs66Hr)?%}PRI?hLI&d%rXRhWBv}Jp{4>^4+=_;XPDh*>t zyY;hu7@7mi>6u~XD{5BF@hM{mVWXmmzkcZy6BE?N4MUv;n?{{fdMfr#uJ%vZF+G5I zR34uH|LV#>_a7kMe;Z0-U|{@5b+t-{l~X#x8kwoTWET};lCiKIa9E~VkP`}6Bvk@g zoP6iezCL*Y=02gGk2}>Cbr(&*I6AnwiTdtyfdA2jL zF4`{s$aGKZya{GsVlp{qXS~ULar>Eh`2L>3K}E(GEmbNPr(D=auaOAXsS`5$qP3Ha__WDOHFxOue7VM1^ro3aTMm z+-N@4(HQuF51>FFC{5wG`CNcct5>~A=1TeJS1rLUwKQOdzgK`qc*lh1tKQWP;}e_Yq6_SZ%$K0A8`+Z3@A2I9wXyJR*tc#j ztd0jq*L&8PlJHp%n8)K7l&quYH>!D}7J9IT#^PM!`C~+)33)FT*BQ(H7~;clz}Sk) zbkdp8q|T4NU0?Et=Wl7BJ|5E+B8#NeH*3Qb;iqLJBqjwB77w+mrv)nM4IBsouZhkQwGjy z?y312oJ-)IH@Yo$W4R|BhmEb97sW2^&+W-SGH99)%SYSxxW2-e`LII&*hTuWo>$IC z8jAq?YsEGlFQP^>p|3-Vb!!E;6tDtTBs!NjMXkdnOzigxvvFXbjrKF(J%^@BWJiq^JLnqKJs1&zk7@ikKFgCK4a^ziecpsK}0xhfTxTKk?EL0^}&$r(l`N&xx6RJNP?(O%``fD z<|pnwn|L}a;_=NC)l|i1RvZuXD`AjJAI^S ze5(sw71uO=JdPHR(C~SUXuI?{W?pEO9pp;OV~}ACdsS5C8(jj*wMIE>v8XF#BbvGW z^Q1(+>XjpR-9&aIHCdo6EZ~>!iFm>&5PM8C$$Zn@SQ>>l_OdeGEBLFfqMo3cIRat| zV2LD^WBm)}{`#)kHEY{jFqu(2|3+;jw}4+{C|BPBD!)T)ku3FsAV+pVZ_{7nz}faj zX~ZOR*Fv(e`j)_I)(t6X9RyT?GI=TX;4?eGz(taov9o3&_Nrzb)fDjd0|yIiy~PU6 zDY72QIg+q=X(_G}0(u11E(iAIu_S_dbBVpZr7wV7n&z5&WSFYPo6>S&p7EJH z%r~ZJm2|7PyJ~#oSM)}bcwV7-*-p3_WQdD*1O~iLK6Sf9j+51~W+Yl)9b|%KG+n;q zw&Z{`2|+1jj$M=7ONvKBQS~ivrx!`bneOw!KMEjJr z+i>JbHVk26?SgM|Ka(zRgPvaujC#6tVmgbu~7$J)71oV~ADjaW@JJ-hE#^eGWS-odz~ zB1cM*EVd7c)NX8ea%nrZZCb%bb?Rv?Dt{hVzxe)~k4ME^M*-&=D6a|FUGzo?w&n@` zR^1+?ZBq6gw^*e>Dv4VI#yG#?W4=YtXmVVJ=L$Z( z_+U@ok~=L(J#O12(@H=D+|3Oh+8Z;kO>#htSu;V=!~RFi3*I__dCC}!8)f~;yIpjx zdJh7>!`rOSfciBsl;^s#!mihbusEB}8(Q0f&P1%x7Z}*mK?&dW{h*{w;(V#X!U42O!Ld8beOPl+zOL+Q-)2g%U} z4BZ5#@$Pz6RnucEcN25*x(R8>+*@-GsMah3T!_Y2$QS;_c?7|R&MpM2ZA$LirvOX1 zp%up7C{>hgA)U!dv`JMX)tX)ZHYC}evPDIdHH8BPygxb|v&XvEmWk}=n<0EOiNgRE zl??Qv|CmDFi;cjr8;rZ<*7B_`O1{9`yH#eMO80A-SCL9r6-qdt4efo)jEPmbpTw%< z6V{k(Jy&FC>(acTeE{d?1}JrbG?o8}C~6NR^>MVmmKaw5D8BbWagkG0jTl>8K@S|~ z&*O60GGp{DLU?2es<3Q93~B(-%2~h&6DT0i4W zjx1PM8IxN!yX)-w*JG#R4)|~UJjvwpf9r|@BH_PQnH1A>HvgogAplmyCy?_I?R zfPDovFu)$!T_0Q>W&!&QyJ8Dtw2n7!FU%0%Fyr8y`s)kd!8wIby>&c5I=22)n6_nQ zGI3p)Eft@3*?1!`l9^&3)79F~hCw^RO@@@@YR&2Xz8YwDyJpOFGvai;`dU}khB{GMD%k%wd4j6>SmSE8JOAm4EC zU2z=1_|fz)6FIb(s%SRWMoCFw@kE?`Nt9=D(OZ+{@xApYDqrK+TxgL%C@p3%he3w^ zH)AIU(|#daRiW1+AGm2a5|d0)Vt&(N@Jn*rk|CnzDDklERj*U9RJb2is+BwsG4z~r zzUhqe_zm`}CSf*KC&jV%4TV#6tH@j7Hm{OPlF;JG1=dw28u(qVkRQYcV41w`OQXg{ zmjwacX~w;@6+6Sx#WOBG4}(={61PsI6zs6)LZgQs%F8$4kK;!!8FVxZTs0sr@B+OU zhhjjktw4#bfC7LYCx&6<^K0>v-cIkd-x+0A_Sy3^f6UI!MSAxfE1g%t!T~3esdntanuQ!Sf<1I*2No26RIu0 z#wjm}8qKbo6^hixWa;0pVXFKi29K~R=r+=|2L>!$OZ``3L%Bo_%_3;_iDulR%EvrC zf-6&%sL#|5a7Dxnhk#TR;Isx5xO#oF!MR|v4QQwW%iucuKyJv_AMUuC*M; zNngkY3O;{$fJHwR^WN6Lb>OYFnHfBV&nuVVW>jPZL_gtPc~D#|e@#z6&LA-_qyBmM zx~uJ|#^b;Wh`wBfEK(Be;S@AdlH?~>#8hiEbRt#*_E#}f*4Gat7d1l@QL|4pHVBj! zOeHAMl&}U=B5f)FQVcFKE(O70%?)-{pHKd49F&n8CfAE-`uF>dTp6Jc8t;)*ht}jd zvc7kBx7WluzLcC}xzk|s5xyu<;$S54M)%cVdpNgD1fr95{2r+tA69H^QipJL zfKHRW+PR}+b0u@N+E7yCR>7^sW9W81o>amSKP~n(dOg)4isY1iDDu1@bNh5>&q8Nt zrDqge$EDvVTI+!Cz%Lw)_Z zrY*UJVd3b4m-)6&wSxF11*(B=(gSEKh=J$BvbkbBB<<$t&1kwrlK0VwHFDWqh^NIz zLYX%8_T!Nkr>1kVXy%9u*ov@LzDLZ_hU&U#ySW8thz13Pb4+1;b~4SKZg%kW|Harl z1&J1f>6Ya>W!tuG+qP}nwr$%uW!tuG+jUPrOhor|-=2BNh#j$GKjh2KSoweJQz`BG z5z0;kc^*hlsV~Zzndy7PQO-Tod#C32jeT}DnvOCz3)VqOC=Rz~R1thv-O1&M-NueBv_Ip`tH0x z=DhM~;cSFcd5OUQ(F~pu4v0NQii2K=1|2EYNVA!Nh8SKVN!dOtq+9e_@ryoR7NQ;C z*}NsCAE=Ox&GOZ=V0|M)Axw?^Y8X;1*^u8#q;M-6QWS(Q`LIG_8U*8fNAhiA5H8z1 zd`PMPqnK<5$0CYzn+T1PJ6G7PcunQX>depFTu#a9RS#4Ui;L|A_NNWF_azqQvc>LP z8%+lFIE5sr3KIIIXSpC&J!ErVGa;N~Q!RAE2qiM}^l{0?vML5y6sQU_$I2~KA3g~Gc$+f5825=$)>&c_GYm3|-r3GfL$A;yqo0Uy#6{Ewcf2$IwBh>liY zDX11d5>05L49+*WW(TV~B7qvz!KL-|#lOC<-G~?;ttcuYss+D+`%7Y5-D9F5crqN* z+I_+e*WlN3jobO4dG01zQFfLc$(pOD(#=(QICKLYvfQYWoc9n3-|D5a zA8jg+4wnnOzHmO&hsC9tKzTa_>BFV#ix7O7l0|UXSHWUg=Dn4-2JO90Rc8`#_N4*2YWv+-{8kG56rBs zn18dLFD=<}Vj_==LVK8`QkTvY|7IoDY*%yq%{six~A*8%k6LJbh;CM z&DAS*b8_vTTk7$2bK|VJ{j|Bu@LnrR_~z!9S;`)4%HnXOJ6y4?N1lVj031(L^~ij7 z0_E1W$ivRXmIjcx<5>J*~DzUegY1ql69_j<=Izqh(Bt z*nR%5=8$;g#=GQQ17vbNwOI zP<%B?@6Hm)%uF$}K^1~$?4u!(#;isp!DL=kySN`wH2H{J`V}x@&r=}dI5T+BvUKHm zF44l$KZ~z@*xP&1;qhe1r&~-~%!?(IrF2+sVS3Mt>8&N;mau~z_+eN%ajh_s5b*INi|@iy^}8wd($3XK z&PNvgbjOz~=jWmORee+oflM-`H9p70^nNl949YOeOkxGPv5;zRw&d8~{dcq4duqP5 z)0Nsr$$m{iHv(4fML9TcDM=&qtO!)*MDj5tn|N@_rUr@FMvdqs&zOs#jT z(o4@rrR(jY3TC1wG?Z)CuCGh1p%ljovm(J~n;3W(Nbg@)xQb=aY@P3DQOyCb$;nI* zMF!jENi2o!*=FeB_#HH2UfkD$bBTTheioZck{9X?afJsg*UDO#vHgyQ%z$FVez9V~ zI#J)TiC?8!BLqqLaZ>gyF1vum`aiFELrqOXqq(`c({E31?R7ZcDPN$aXoh7pqG%3hMFdkd}`ScqW$R;4>CmwHBPTP2sZN9s5yqpSsJ$ z6wl!n;iY>I?@YyQ^Dh0@cZb^^LL3#`?)gcRJ(lwXZ~wDS_>Eb2ZLx}HNSO-IO-M?v zS%zdCzSem|tOCV3r|Y2J7yI^B)dyAQr8QAu+DwyKc5gA)2(Oz*J6789aoQS(t|te} zE#`o>?O)BwW0{-PQ<01|%9ckq$J9}N(Uo1Rhq0j1KR{G3+m8bz6Dzf#EiO0liX5-e zth&@JI}!Ia2Whh%v? z1$L#Y*xyWi^oE!-LZVAD=n_RWzSwOvk-vr0?Y1)&@oGLVayUy};G1J5H2*&8ZA8ea zW;C7ZVv_xuYP`ny#J94$dc5FN*2)5ECv!H5YuY=DL1_$qMJ&PoILVG3qR+ zx2mqBq^6i|LVLAc?{JZ_Yv8GCF0QY0NdsYckf31?WC&2 z^oeMVsGl)8^~jhtnVO*S{)Gh7Zf8B=g?cTl~D5T=xS$*b3|Og;Vpp7kBb-5D(s%mJG$IElu%^fzy(x^<4qGS>lU##aWq~bobf*L-Aq&{_6s<6oF&2A1N-i_Hoe1Q$ZCkM_ z5sjOgIjL@-ePJ$qA+~tx(Ox?8N=zOzwyuSr6X&Xbj6gBYeQe{VpudjxA%&eiT;ewC zrn#~I2XcK`A(N&iuQgCm{s%Jzxs z)L(TM&6HlXeuB;&;B;HR1$-KB;eoxl?94*Tp?{5+Y9v}*+T#oT$UvJHdr6g({Dr&l zy(h4qm&hFYjMMt`=f!&ZQceBC3H%r~qif<_?=vX@5kdQv3R)YS9)za#pa#o> zn9dPr-WxvEyg-Frjxn^>Xai#dZn^Ajjs~298FUK(axy)G+x>B?(*m9 z^H1LM4|4I|5B?Ft>DxL*-n(7F!PhS!fXcM^|AZX>(=6WqoihG6hzax$V)}W&8U9aS z{7-XG{}04u_(v((|2K-s&dBzk1GLkeR`%Lz9=q+YH%gzrR%)FaVa=Y`mTH|;*B1s7 zEx0YzBV`wE#r7FdLg&@RHIvVsLUbBZva zkWA1e&{KWE#^$5Uz!7TSJx;f^s&J#BKL&0$xlTQgA3LX?GdlVJ@?dfPf5sEKBbM@b zT|B7-bq7v=4&kQ2|AmW50jm03PsgFkW-7>XXAD1iy-#GPwRzrmiI(kv{!9X-%x33i zavOLLdII8e#~o_P67hcr26F}f!fvXR%}(=`t4feH#2oIoGBu5oEvtBFb3M>4@v^<| zf$oDk0EPW9wFI4#&C2*(5B3UpSNg){|BQu5DWUl)@ZRD2hlbhzz6O#xV5&0-P7>!x!VAFj0S{b}gE*9aVXU!YgA85T2rySGH>3}x;{eJj;C1`KWZ?CkC4ept-YCu+MJsYjlCt@Z8U?CoH(yJv0)BvuiP zVff*rS*%|ph`s8vp)f^lovUZ^Gx-I^-2=zJ-;=);h+lRt z($HlW=4Fih){_|V0RbN|G8ld~LU&6G4Qq>QCoDab^njc<8T${%y#K=@|0be%K4{MJ zO5|64zHq7pwa?*O(p`7BBeSb4{;prR%~eXhvAU&iy0xU1(8@(T3o7bw!Wa%7@dDpIY2IoVbQeg!vns%J6}J!U|n2d)rFmGueADM>pDdb6QlR7Rbp;JV7sY0ZPh()xfP#2sru|Tk)oEw#=k6TS{GJGo1_Ti&nSc zt)5oelh$p8>RpIA-u8Oj^)^zgxjgaBTrgd)7(f;j++4JBl;-zo$oUowlJg462SZsn ztx1e)NFJEr`{V^U$2zaHgw zW#KlpY@(1vUP+;#WNbdtKM00BK=JcP(*=NI;*TUe;nPt@b*<%hlq3?%)KE(<3|9Qb zA0omM2}B+o&}tM-%7%JMT(De%EhF-;K}BXjk~qsDtfXz)^=ow1x15~Yf0&QsnTjsZ z78>oz>-O*WqY&Qjp7oTKLu!JOFPY`ZP9b{I=WS_DmIF3&N zu<>~ZOEx&ykY#OGm`0+$oY^2+XNK&^u^`NBCMC>V`G~;s z@d~)L`Zbb7d5c|9-S0y8kVQU8j1xH=A3nP7g&i^B5KZ8Hm=rJ%u#!5%Zj3)vZ*!Ps zAD_>bH?P3gq?8PILh9?L_)AB~BOIWiV5E5~(u`KPfaGe1Uaipvn>pe1TC*Mw(-2h$5jA?))T8BGf?zqI6(Y`S{nBvBzmb-1qdHFhDFwa&dji`mFN9omw=iAWMatHz z-QPwX${tYd;0gfE9{$r>yDyqpl2JLF(CZjp(PTcy#cECh?}-zHv}5x40MIUk9J;&G z=QIAj7f8;X2!(dvAxywTStCc%;nO%o%7~=_j`Y#x;MgVI{F*a_`|dEO#`UIM1b zr2N47BZ_(FpO*sAnqC>$9HmumMXu|PknTvSTtAmUS<@?ENj$(^RnPQQxr0_Tk1fYn zYf_Pk@)yaY0Pqac{A(Tc)?*3>Po1; zs2?)z6-BDKpn)6nHLVra9@NYp;(Z{Vj+LFiuqmi0m~KMisP|B!m?Br$BrE{G^B@ZCtYG^r^1)laaqA&9$<7j2rONM zFDr1Cj^J@Io}ynS;!Rbgn83djB)=`j4I-!tLcY5~InCV|uF($x372zBTArr$83K+r zPWhAL8?&0_t_c+wGKN}s+O$WUhKp#2x|!PuqsZJUf^8|Hu$xJDmpn2j16JTcwQUeJ zN@zLL0FA$dj40>z(bu6jg z50nU>b;5VORSsSc*Dq`Rq%=SiG=8Q|gJoAN}E47S6s`b%k!E}3>+Gkn>djj@3s-G6-512p3_AJhks6)!(fG*MfQ2Czo$TChd=TE3^)q6%`4w+Vyn zl8)%p9oV8>La>j)7 z*=vkY99)pm%IcJ06^Ss2K6K;Rf_m%Fdbsb&FP*R{3`_AfoP}Hr$gL}u3s+p@;NCDP zE7ns>nt6JuKK4)>xiO!6P0qa4&;4$YrW}^YU0@uqG0s|w(SMdASLp*YrHWAr8e>1~ zwQ15~D655A%Httc$ZJn32rtM;=u@ci6M>jM#Xc{nMmxhu8DWHeQaReht#T` zSBwd{Tr;{E7fw9CsK&ntuF0xQ zg;2CZk+ee*bAijqpVYlzt?x3ALCF1D-Mf|+tRsEa`QxH^g-;{PhFTh3CxqWhfHY89 zh^~qrAo5jV{l&w=!VZi$d_k1KG}M0b-XP%b4iWk+?RtqW5BetTLL3FcJQ*bsE;hOx zg+O}xZLdJ;C(S2WmHrIPQ$*V0nj~zD`zk~JJTYGK#-7Y2ugv@jS)&DiEl|>)C=G)6;tIAK1)8ysQLQg#z`1@b;uxo zALo{j8>eV0)fCPlT2{DX#z+*EP##=Y)Y%}Ch=mo9nASMfSA3c2q@3uN{F@qfZQ^;K zT^CBtz3Oj|{ovtE^3${YC1YIvD`QiknjuGev`GJvX5elO;W|KzPO+bqXa4jnYkf|{ zze}kFolWy|5P{zRY^;YYq8|DBVo($H3QO4y>gv*dZd^^NMc*m5=xJa#BKbv^cTdENy<-YQ$tiu_vbdudB?wDcERDy`bWB(l_|Esb2I z%esubwP(FySM74GbW7x_C|`c;XrVCPawB(Wu%DX53EUcP@)d3n3C_iO6ky)YsQs%~ zlTun{-8F^_-K7CvM>L+cL?P|s?fcBgxwf_&?-?F6H|9oP2*7%a*|&PH*s`J7>AHcc zLj)m2XP(?C@PPx^PC?X8%~?W3B0EE*F$~bL{m+=S1^Z{M(r;fq7Yp*@eufaQS365Xl(+gx=xW`PWR*t2A8^-C)tCPMN(4$YT1p=ZXJkN*{7x&RLW$J3u;SKBo?YLUehjYwnk)LQ|7N@-HoQ#fsDGcO}*_7p(;~Bs}~Xji$cE>&mXO;qZQ}BE0s~F;%Q#0 zqQT8~Fx)#x_6de<#LOs<3z3Ae6PIn%ZO z6PF?nA|G0jY6VXsl4X*0(X7+Pby_+mVYy6ihdkh$Jtx=f4Nl5#GrgPF-$}ryIH(d^ zElL!<#!S7tcSTEA?M6WjtF3+?4HSbxSLXU>@RZ26NnfY@xW;0Q)xtu z@88Ak;=TMwkR(r3f=srCTgX%peQ%UK!URS0L`y>kKyhnrZ-kLw%m`ew`clz9hFs%! zR}PzD9lNhRtDJ5Z#uTIy(Ped#@2l#h%j<+tjK4;;w}4Bpw#g>I*k$+xBX*kx*Y9oZ zH5TlV>5deNMSDAK)VrVW9(bn5l6oMYm8tDlE5z*9*HP@r=qGI4@FpXJPALt0K3t=6 zE!H>~IN{DR%)4$QXpeEv*Bl!=4OX`=l{R58o0&uvCk+M4S>v{woiy!ChntCiSXrTM zW{qW7M|WQ;*e-WRDb5cUI?wD1hbs-jLpp4mZe{;w*j*+uo;5 zU)E3d4Ijy3@a(=Ia#^Ih1Y6>s9%dDsM(YH~ezGrixn4#_k01E>8W(yCQFRkW9I|Wa zQ%@wQf5BvN_0DI1JMSQ8KDm>9)9Ga~XnyBnf^b%4I%J4?u7l6~^+rR5^ z28(2;-nHOa0fFO1bSj3_NoGe|l2GpDpjS1%oA86J0&AHEsAGyXP^fz;i# z#iQY!?rJSqoPSm#RiZ6GeFIcMCOTbL&z&R=LZI2CJmXeap5lDGbDxu|9E>XE4 z3|5)Y9^xs&6oJVNfwD)r*2k3Xw@4SOl9(rmV1*Z!S_{?Ci;wFFKE!P3K{36wr3bY5Kb>f&ZpfjMao8$M=-LIO~pG65?=!t2Yr4B=Ga|BZB zh9FxayrM`3Bf!8e452^57UJcqq3Bo}uCiN$|1{DgeY#u1~5bi&~Y<4RP`8DJo5a6`2k3ObCeo#Q=X6JPv8wvlA2 zJ=ESpcRz0Srd#K7Z`-`^$;4D-HJ{3c8hg9x}L?ssginDe(>?FBq zk0b{bDW_Qg>tq?&C-c*Iz>6#ZMwuc2M2&Ba-Qiv@1dkxH5uFt1>@-b)NN5j|W?6d4 z46Cp&D#JdghFv6juVU17Rt$v%JCDzBI2U#Z+0+~#>WTdC$hitK-@m#~x6g@NN&_hz zCut85H$Om~FAO3lIaSX8gGNEppsN2U72c%nN_7lc@)fQ4;E-mKt%G5vHZp!(mh!+P z`EDo45v45e!M8AYQht46!<3Tt3ui3-SNebA;{Pe2`hO?wjQ`cXqmwWl8-$M>^2$A| z(-IY7XvHNHE>UH4VCc)(0;j*f!B8PCkLL5)?!P!p9Ulk$>dqnTp`zT8h5ykQRP7Mh zvN&ieZOKcf+U}lotpAH(ZfJJv5WOM|MUmJ(&JX4M|*~3H(-F(Iu{R&Kx0Kk zfp6rW{-_oBPd`AR-2*1sr~k47jG8vr^&(|+PEY?u;;L?inbFN!Q7*oz#>ut&nJ6rz z*rIrIOb-E)Lv{f9WORY*@5_R`gUzv=QN|ucjfx%dFEoj~nRM^s{}T>KF~#4t9`<>_93~nHL>AQ-jk0Z#F*cN&n1t|M6F}#>|Q$ z)4{fCE;bZrdzIF;;Z_Yvt%>S_04FCVEo&WXHK}WvR_MaMV>lp=mv7o-DU<@Cf z92@;^4*cQ>*f_!!R2WYFVXwEY1RaAj9w4rZC{Be<8_Wz*dG}~J9K!UF+2DzaA{YYg zP<>DUDgC?jVNg3pGTf(?{NMtC`8G08`bL7w1ydLLa+(J?!J-k^M)J{;(;^d+><_>$Cs9 zQUA%Hr|e;GLMLZvspM=!CyUR(&hhWM#?i?cpMjN`^?$p$VPpL-x~OGsEv3z|7GJ(z zK|Am~isBx<($exkctlcq0)o}?nIK>w?~%1=8^-aU=Toii#_dEBBgFCzGe-5Ao|?Zs zF6TESldMJ=v+QNP(&A|j2@-=$v`ojwBPyop<83q5a~NzHN|cAJk6<=uQ`uu6o=_u< z6!ekz(uHA&ZLR31)}#!r4b)1^!t-4j`uIg8p_oe-$!RGU}&HRm}!8 z(l}Bf>QqjgNjc6u2qVV3#*2r-z$t9{sEH7e9l|g#74QqXOv&4%8{`j}NSGaJ`_l2- z6^cMYgZ%0NPf*-hGx_&2ARoyAZ(^pKXOhim7s1rV%4llg6^h0H0s@q!4=U}4W9HjD zGc=l!M37lViL+1kV1)yEz%a@4BZ?3Fb)lp@`}O}s2MP!z*p}-<*wz=Kvj-nE1081m zfV1@Fr;Mh!hsc8kv$PT8{&mU#+AtVTyJCnw*53#%R1)No;OOtaj}LCe zfbBU7Pn15BJ&Lm68Hn8I9*tJ~N8gs1`Gg^WxgIo}(g5C^2@=|)nF=OYpNtfp(Lw}R z3AQbolq!^2R7(+PUxa*MA%tgtZ$@N$kgixQ z(d@$M(3_!55?kWG{n}0XVyRmx)guh?C_`yPz{1MFk%>=rVR4Wix5u z!i+H+KEF=G*v5eo^+WMG9QWXOAF9W_pB;WYsCR#eI1Kfnb!E6}c4zfvqJ3#CJzlq_ z$35<9ZBptQnI_wJtRT02*G43%a0J1Ll;Al0dYqZ@!d*k0Sjy#783Tl|l5+w>^OXg&Wjpt$2bc zn7Ep?#idDY63g-uuuPq0sajuJuQx|Z)~md8tlJJwTBSNRkXi2>FLjKZm!i`C1ZT74 z8B%S?am`qtc?1;IpvWsW<*wgo8bZC=-a=q~)I4JlmP+KzN3XF-48`vRnE=KblOn|c zCe(zo9CU9kigpFcaC&(FK#C5fzHJnc+NQ49OqdS>M3!{FZo%=XoPC9dY&T)oba2<< zr@o8Y^a`UsIcJp1bkL);50L41QbiSE!?-;!&}^2Q@7Z3@9}P>pbZ^rqR^F- znq=X?(u0Ze8%^eCqo<3qnpF3F@LKA!*B=Gwo&lh`SwYTi2V6v~|o~pmS?h82!A%Q>107F`J%h`P6cKMVup? zM4)6;zOwj+O4(?pA@%n{V@I*ZOSM@!D>sFvnslUo;wY;B{V54{MO-4qKEh3Po1(>L zioBz^g=aIg=2Bx*@!D&pMl~w;+0B7iJ&9<&AJMY|)g1J;9o0PKjALDq#_L8lIoR^S zxYJ#cXB8-E?mrfKo>j1<>-J6uN0?mV+k^3EZ!FoKQ!V>Mo?W0MW1iiEu>AAqZX0TQ z%<2`;xB_H69q+EklUfXuMU9f1cpM%dr~yR9mbZFko(cS#l}lWb#2_OP#nzs;cK6F^OufH%m-AG*x16DAmYka)B1jS+DF?f6(f;9Cg4-ENV}W zv}qvx9U%C-eVR7_+#Mjex&3(zD$V5St-fZ|Y*4I{FUAa#lC;4Twb!k`(x@Xdr{eLo z7Zfoa`r zf+}a4@0?|Ewqe8aHZwD(8=x*MRcG)Y+}IBL&Q5D2X|zx#QAoyYZZYG?VvJhcbY>B-wP@?aYn?l8 z*3d(!e+B+E-#j-bLRvZ6SW%gwZ&e>;7ucymfEg2M6-5@<;n4(iT(3a@9n<;uh_7ZP z3hcN`(;B#Cr5PeUrCz&MFtAcmvaDD&n4r_jX(r`VIn`p?+QM<%S+j1(%_#|Eb789$ zzq3ELunldK$x=jfoY#?6AhU_1R_q9IR5d+UdW|YAm}BLwC1|^9BLU<%$#OGlGt+U5 z>Te=LC9kmUO5Qvx!)6Y|I@2jo1deYdj}TaM7~SrY?XVj|=7xwhcVi0Gu`TETGw^RI zaWdPK=C%|{@3OHu-0ugG);^MS;b>{5bogAR*MV!k@twxBw_0DP7U>YKj;#%m?2Tn+ zMg2T>W`)^R{Nqs?e}+93dTfVwJPc}dkFQzt}KL5rQXR|a~ zs6S_l{o}n*c46nTEJpUI;uPF#347_b!ad4$E;lhx&D}%_@k`!2Jz#X}$`D>GwKj*M z^^}ZtU0S^+ww}30SFc~m>ul$C<2l!|H(t!$?wY&OUw$ed0htMV=9{fIKX5x<{Ds-0 z5>J2Ic})nPa3AMvdes=44&?%{QtplyoK4j)78+Dv2^2Uzdb{;(Uzc+ao3B!0p5>3p zj~GF4Mv|AQmOm@-jIxG>snC{(r9AEDy26dmi!NQ-1o|QNeGc?}F#d)*U^`hlt!8*B ztjF-WWnU4J+dQ(x=bOJvQuY#9-hTnz?U{&DYmEN_BgJ@dn^Yw(sc1-7~y7l znn`0)pF*dgw~&&!ytZe?WrcgyGD)DwvE&ztUCt%teOevqhZdnTbGYpxB6L&j(XmDA zRoLR;KPTZIZm$eD@UJG~1gvrjppFqr#jrpUZAfa0WN1ruq$*iZdI$dR>anvo7Y9|D zhBV#qXdc=3q+`E@w=&2<5ynkfo}uQ2leZ`*j2>aslwTx8)<_q_>^y5-&8$|5Tk0dJ z18>HREvHWAm9}%9Dt=_CJHaC&n|p@#Q3an0MJ^|tr0pM-En5=8ch-c1z!gRvZ|_v; zv{K@AYI9u6z+J2Kie@W8ir5V5Lbm=C*UUzS2Cu+X+=8H4n zW2Hz+HcfAOF+Oi~gZGbRI5uD!3OU2Ep-uCE=SB}76MH1?9$Z{G8jLot-(b zrRzKyb}@Q5C5ujSQUyYl|H@m&uMjKDE*K& zjW}kPD(**JjU*xg4tZx07tjM`V;1EA=ZY}FF-=&I&oGAkD>zFMNrDDnAxiBz4+X~l z0l=3i$&eD|fd>|gd@o7zp@ixxomqekDrk|9#=BqGZZ{tTtvxc^C($Pi#$m*vDe;LX zHL^s_Dz4}wnYjs>7?8L$#A89wqUnB=oe1fe>E8p(>8z^8V;x_ZNtH^WB)Izm?nrvJ z*oWuBQU^|3x$IShBaesjQG9G}B+wyG1;m438vPN?VodOuFu8ND1U6$b=U?57Hxkwe z@!X*8qlgK`*%T}=7PG`MKxtDP-jvd*@}vRtE{d(4KbiWCsBE;PQ8<1RL#!o`P$Lq* z4a|dj3uH=b#P995#O=YTS~kMu~dDI@X7x-vfzVbh!_GxL{qzYfJn z;E?zcOWYqlLF2m0;V1XONJ;qCX5LHYIowiQE^;1AJxi193f(B$3xC>Kv*eEOi=+k3 z(0|?r_3TWhR+975AEo<@=;qMjDK{h^%~IRPw?bOGutJx1AhCpC*B&zS>5ii#8lr~ssm^ro(MD!D zjhBxOR_w`TVR$vHA{6Zw{Isdc!X1#(_S#{}&v7}gFL8i^FPTGacyWIH&6~ahx^6re z=JV~^oPU=>RAvhK=DExS|Nd#PGwCo%FE&>0vxuT~vu<*7)4&h$>^5z&X?zdtwDOL1 zkui_a%zhnkG$8Brc<;ed)GNZ!%~SN0pHdNz($1+aN+=rx%&e2$B^iTC*6jGXb1L&d zf30_jf_18047|(c+@*!){25>3)_i~KlcO0II+UdQ7Db7N_}+qJlhQScY*@iTyNgm6 z?KbkUkeW8qf#E!a!MWu;v57z)?VvHB&5`2ZL^u2v&xhNif$vnIVZ2?Qm1Vf#FRPb+!ONT=yx8iF~gT9eL0Ygk=jk z$uPCN5ZE6^r2wlEo?9UV{#9{!=Ms)g4mG>}y8HglTLtc*;i=E0iV%9TC8YJKN5|cv zq2P~_nlK0Ftz2Cs)9D&pSod@-sY!;p z9p{^>^km(cJ1cIin0*Bg`?BwSGy9)g$}e2(tGELb2gI!_8f<+pM&-`I`rZ;RAaH)W*xKxhgC7g~Pl%1A;rP=>xy0 zek3P%ubM$;b3>u5`&g_3w5`mL8KSnenW6|vyAo~e>)T!*r(mK6KS|L8jU5W!?KrTL z%(!mhe=!DH+A$QUpE-T$>b!oB4tF-=q-1q{F<^gsXw(2(;9%}p(H@8A)!?yKp(hXy z?{qzo4o7^8msct2vS2B6!Q(bybcKD9d_uoW&S~b=QganwlWrrxxa=<%_L2sDI?BKr zKz^UY%*bZ*ejVG~ycwx`apJ@duZ#NJkbG1jyxROed?2S_#n2A#*!Lajb7Xq#u5;sh zle-T{y05{8?Qs6}%JxG;=k4rlK~GvO0Bo*PyzDAXq?39w`MS3GZS_)|_;k8xSuAq4 zES17Tf$v8=RLtJ2PU=?%EGXtZQK4@>&D0?5r=f41hW3hJ)u+FF)`L)yeb2jV{*0)* zqrQbuoMebfgnG3L!JV95oCzo5QIp|*E0v{6sF}oRC0O&i8zl_Gs%I1ClOg;v6ua@C)XgyoDHmGs2 zwFZ@-)Q1XHWmim4E(zvUz=*dsrzOH>vNox%@^myzci=|bmWlW=V*Da~aV8h)rOg*d zDR^MyE((Lw)!CWumK{^Gzg+)$HV9ItZILuV&vADE&YONVxcsn(@o6&-yAt+<=Wzcx z&=8resT{Pch4tfeNmq5*``QzBr-Sy{46IF-+ zZ<0U8nnAvr03~`qt-u{dbe5HVuGC;TSl{)AtZ3_5I>s0m@EKUGi#Z znJ4$+Qq3lmXRkw+cA#&2g+<2w-&K<0@BL|&-gFr-pG+=7O`Or9`2__6Oj?{8wU}0d z-xL2;Hm9EU3@KERJoMY0TW~*IoZp9|xAQR8`sY&prcPE^rz(|}VatLgn|+vX*HqOt zrf|-Y7@94^&u0_+jH|vg+N;?a@Wm_xJ|4B@;;vl_%Uk1L^VjJMT%L&*&(ek8-&y76 z*gfgtJuuE{=VzwnmoNR8ci$sr7x2QUrW6eht#z;Lnw$K_aR@5kuy)shhnE|ql>yN0 z%$N$-*NwEFpR4En$8F2Y_+q@*%J-Vzbsvi{MN;1_ z*g???_-YSX`kPTC?a^D;*B^ICQQf$@PolmK+8A=ySw{|z)yR{JSn&>Vdx!Ci8j^Ny z4tiCuS_~3I4V!7iY6so?uiGk-7EAb--$&@>R!v{aoHYerLGyjBTkxXodFT4JT|8~= zty0_KNbfH|1)`u|S385#fIoLgPd#FS1#Sc}`3 z-GqUIiGiKbn8AdNo`KbrnSq1Zl!@Mena#w&kkyd)|N9LcIz>A>XUP8$2#r#~@4A`D)DXBw_1^pM zqI`C^0(uO?8U*;E=~kdnJrnG(0eVytJv7-Na`a#YJ4~m(T6QdxJt^#{eRdp_Jpt{2 zZ5w*po}zZ>wgX3PA3__Xni1SpL_{0d>H+6f$fX0Y?GSNvUqX6xmOb*z$UHmP=mC3n zh)+G;%m@cN+Nl9CsXn*uu+17=>mjUkf6f}7TLJj!A&7PausuHPz;=49*B!vkuumHv zoFQfDJ^^>MhC7Jdo&tA-*#IP