From b1ce17d6f5e99d465309ca285a7060b016247281 Mon Sep 17 00:00:00 2001 From: Anthony Berg Date: Sun, 21 Apr 2024 15:47:04 +0100 Subject: [PATCH] feat(dissertation): add checklist tester subsection for decisions section --- pub/dissertation/chapters/design.tex | 18 ++++++++++ pub/dissertation/dissertation.pdf | Bin 59578 -> 63049 bytes pub/dissertation/references.bib | 49 +++++++++++++++++++++++++++ 3 files changed, 67 insertions(+) diff --git a/pub/dissertation/chapters/design.tex b/pub/dissertation/chapters/design.tex index a5af229..8d8c356 100644 --- a/pub/dissertation/chapters/design.tex +++ b/pub/dissertation/chapters/design.tex @@ -76,4 +76,22 @@ \item The choice was to create a VDMJ wrapper, as the modules are available on Maven \end{itemize} +\subsection{Checklist Tester} +\begin{itemize} + \item VDMJ uses Java, meaning the logical choice would be to use something with Java + \item As the tester is going to include a UI, the language choice was still important + \item Kotlin~\cite{kotlin} was the choice in the end as Google has been putting Kotlin first + compared to Java, it includes less boilerplate code (e.g. getters and setters)~\cite{android-kotlin} + \item There are a variety of GUI libraries to consider using + \begin{itemize} + \item JavaFX~\cite{javafx} + \item Swing~\cite{flatlaf} + \item Compose Multiplatform~\cite{compose} + \end{itemize} + \item The decision was to use Compose Multiplatform in the end, due to time limitations and + having prior experience in using Flutter~\cite{flutter} + \item Compose Multiplatform has the ability to create a desktop application and a server, + which would allow for leeway if a server would be needed +\end{itemize} + \end{document} diff --git a/pub/dissertation/dissertation.pdf b/pub/dissertation/dissertation.pdf index 7e7059c0e4b191a4f79035441227e3e783f269d1..6d79534f8d683dd42103828a1e0815fc3ff6fa5c 100644 GIT binary patch delta 33449 zcmZU)Q*@?H6E+&#wr$&XGO?41ZR?3Sv2EM7Cbn(c-t)bCAN>E?2fe!P>Z7i{uEMIi zJLW*gEjoJ>pt0x-@lPNu(YVLaBa()#T-nBYQhykWY9*di0Ckg0sI z>d;qhMePO=q#G}r2A{vfex;!4$aJzH)RFlALQC1o_%!t^kSgC9r-~yi1gQ|JBCRYn zxZnNd2guPAv|0L4)X!fahA3>2G(AK&U!st>s$M7P;Ro79=)(m9xMNktdm8~oUGeYT z`hIBnZejo%5KinW-VH>uqt0(e+~vg^J03W$GVx%yPh$(CFxiYidL%(YwqHLG;^!=) zgHK%^`(>NjMthFjfm{Kz7XMLtb?(gSVM=*qXULl{!e)1{|G6L46z-x$;`Oov03#n^zeF${y@QaXXFWQB zFh<~(fN|OGGg1mct+PH)t6yKI^-(0G*b~oUPi?z{MUKfB(sQDO*r~f6UcJbG;F{A0 zxXT%$j){Z4=YdM`M{HYhm;+5)i5%ECiHHt`B|H-hE~^ zWp&~|Vm;UmzL$LXSIUjiW(%_Ak`=ZH%^mPqB(BCLj_f)c@l#zkCV5sp65N+I8CR~DI4Zr8~e(c#GFP^didS#zQ%8pmTlSXshO zt<EA z{sJfY+aL;KYG?BQVfmkAZ)63-#@e_CUH}Qq@el3fiRJKy+mX9JXzw8-6(HP&X8Zm5{q2ocrf!94ntkr@MlgSR+QG5=C#!Tf zvEWo?OdTSghDp8OeG?Y&ei9Rd#@2{@(t7-&5d9*4eky&x&z#>642rS>p)f8V-*QZR z)GDC^>vl_KRs`)HYzQ9!Hhg~Df?17c)~49KDRf3vzvw53m!PJkdbi1 z&BwivFeNv7)6D1yZW6QVx|Aq%@Zn(`&maG)=rVTjJ64+Yp7B_igk#n3r*Gm!&2_+h zt;F5Eo}@IaDcDBQyvkR{$(=1#Z-sgMB+4Fw!1pnoHdS;f-uOiA`?l_Ks=xy4QN!hW z&&ndWwv_SoMbtO|-QH^jpJS^J{$>05^E@Ncx=K-PS_n;4CFF^m!vxph6Bk_}M`}UG=(-<>2*>QNC4i6MBpIifqgjv%I3} zX89L>-e9!V$#}yoK09qqWjyz>G7E&1KIS!zuj2Z0OBxISw5Zc|IVrseLq>-P`+hJW zZkkc~@QXCq|Lktfm!=$ul;#8T5=T5B&6G`M)+mRW+^1cSyEuiXh)neanG$p=D?YNJx!-c-h z#L=@*LBUsu`Nqn#;cY!`Cn4a(q&Kah-tVj@Ti!o$eHxl z+}Ys@_j3#P2Pawi%OTR}{GGzj8kBTS^Tw}XJ8o1dwNlTFQzi-EOs(a1PM5!rlJB-9 zIZ^^BehjPdQ1)HqdsX-^u@?HBmNWN-1kA!fle` z7)of`VHVR1hvU@GAk@e*=!(c$Wv(>9`RNpGlg1rL!@YRn^~*A{xkZ-}@u6oW({JI7 z=&Fb^9wA~#r`^Res#5R$>8Mkp!NOd(7PAGQ%RF1W3367?F7R|fju^pXDkm(|u6n6< z658hlrhO$tR7@m4`w-$Ed>aMP+gB}1Bv7ibowoDn(7Z^@VbJ%=HYiD|oUZ{w zy<9)z0=&mL+)7*lciST(s@{?6Gdl_P#@p7-o!u){*||0wjh7){UPkTT&$3?!g4P(} z<-=V3R?7Im$1-V9lMvESA=xaAq-p`yxU?eMOnKr?y=pCTviEXn;AUt!o7@W0Q9nQ@ zA-PvT#M0Q?*Lk9`w}F1;4+rx+FjWA8xs7mvc?<7i_1A!m760RarjZu$VVSJrTia{j zrn^y61`K;^1|bE8ww`WrtR(qLn*)&Ha0K` z{8u;LD1}8{H_eAdtNoT3(Z(Fhj-Cb8Rz{N1%T+jTi85NERd6S|TnHp#2{ZsQ$FJZ8 zF!93}J4o@W_OyA4RiG2SKd{%J6XZY3@WDlYbfn0^G1pTvQh1@}(~~L|XIwdo$xHi_ z0W#49+^5@lg)i&{C-TG)C8L7%3x*hInVuI~;RvwU~ZsY*zZ`+vPBB+=En(N)cD~ znT&LbzcmTD6K+##5eOe({qYL6JvgVCV^^$Xd-(ar`{#18yo^9(y?THOvS{+RXu9`1 z=2*8vbxp|9@+EgzLp@+H1}`N)O0;yrp6?gu)fv`D9rj1fgL08kl5ZDw*+o`rA)Fuq zJn_1}E5Rq_AnYH=7p&MisF6EQ&alRC`4hmq2*&R~{I9RxJm0Z~T?Sq<1A?z=PA-J^ zcH02;BE`WXiNBNf3N4r^!aU;iUSctRD>z{C8E{Hm2*WMi5pn=t?RV0UfDQT3=R3r5 zjtsaD8#Z?HiN&trlq0H`eDuXDrs0lbSF>l3nk;bV{@jgaBa)HVEo!5+~T)eu( zG=4nDu!xrcP(XAzu4h>NI0I*spW1Idwb5u?9UbTVTob2g(#?Fo6ql=nwqJ@e0?`oU zUwr&I)nFW5oG5^4jcSqFn{4A;*S0LGu{}(|@5`&(@p=RP(?YmS;zEh8^Ck337Gc}) z+OVA8$~{rJ=69{IBqgoC5jp_{xV*&FM^sq-?z%%bN_2|lA?$rISCMi%cvUg8c6nWQ z(z&cZ-&ipWON}d0@8jNRMr`dyw11}_D+g)`4GxH}yoocA_iby{yZ!#9MmN zZE~L#L`flc=Y4)TX6COO!V?X>lxGEDIXLB(JN3Z#OtP!MvPlxPAn1{;CD~X>+84MG zz8XG*y>-5Q3l*y(q53R5?r}ggxex%XgOG=-I%WL7VEU8&(Fv41>Id^sn15{;+NRiQ z3K;2J=TZTa(FTSpkToGCKy+g{@5%@+OLOG7jyK9jl`qP5dBF5<%@D`GV1~gcYnZ51 zYld?P_ZhQMcwHmt6C2U<2Ds*8eG|ycApC`|!PLyip-L}3qnY|A0X&+8v5MuyLv@Z( z{qpB0&&E;`yB7%v?T^@|MX$}64F8BZO-9sb(F_P|?1^<^#Rj%DW*w;-f8Vnv%W@X+ zVrO8ZUcTI^jTexyZd^USYcgv_J(q!<0=I9OSbnumJ+Jlh5*iJcx^ki0Be+y2o}cdpSKC}UghLvz zOadT8Bwt7GPT%fvw>Ak1t%e=_G+UGb@5{Fx<-$YNg~0=&uUeTymKQVnGO!jphHz74 zQB6|VLisYCHWqUIDD1N?Eng2*t+|4;st{9jx8-XT9MTzu6Sm zq28*PL(8EcJ3}=z-0T?`+*2L5nV$Y5Otn+w<(SqrB^n1=upAPy{j9D+N zww)@YT>z0-ZRzkJHuDwoso<3s(fRN(LnE_P2(2GkJFWoI569V#fd?{~jsEG|6XFl( z$l(OR|33}p_+S1@)+ma13G)9Yz=>*v!=TJetp8I3*qE5O{?80}N@v23mOEi+*byxbq$CqyH@9W|>b4om=IX8>JV znGDMiJAxtK=CVHrrOn@yE1ze%g5Tfwxq|BRN5$zWz7XTn*f-}Bl~K#V-v}hv)&OD3 z-3>jE{&b@)1)`2`?uAj`zAA;D=Zm*Qb1lW%dtdxQnxk$lG&8ta#7j@`Z=J z$4D`g_V%&3*J&|jO&+9KYu?1Vw& zN5Y)G9n3Z8b^)>9#sc>?le}u(UKwYa57ty;Vi&xn*_PCItTE}6Hy(heIodt3P#TDr z^mmX)Mwa>BiH%c)D*abjyrN%spc+x6k;Uor*_%6hIMUV%8KRb27OdRM^~&*ynz3%h zF3D1fnS?5kQqe!wJ|Behkfnq#9BBzMJEe!w_Az5n)_aL0w$Wj>V~+t>BOg_e<@4;D zJli5|p>&Q-@V9u8VWj|bN1MVOCJ0L}ztNUox4xf#r5_Iby*p}erh;V~pM|4C zUcoxfJl@Va#5WRJJ-5wya>JTgBA#b{xYSl3Xzi6Q+4|80tEf`f>XSw z6jS4RUnOW2HND-DJ?zjNwX=0(ah<%2vFW56y@Kc0ALF;JM_IJg?jm4cY&8T z$mPNV5ySXSGFDJN6|PL0T459PrY^%7nv@iyBp7k*P(_<#n|&jaD@hW&HiF3t9q$~& zX(Qt{vmkmVatip zn8{`lZo&bm^q{zk=HMJaaM;+ZaHK-2ad@2mZs)S@rG%r+HshS_JPhvyaYH={_VSn= znKjdA&8j1Ep9v4&#U5{uu+iLM?xDtq)L?y42iGoPY{SnSrVf9jSQPgk40vTfy8H*j zjmAgyc0lhDd;E>Bf!qt<qCL-U{NV8=IxJd#Z?{1^hVBADt9&K&niTG(T~d>p>McWN3k# z4vPM{G=;q$ZPbl6mDQHoKXU#f^>BWRz1p~HQD*?cCsNdo^g}_P_M1D4_@nQ7!U^QG zitaIOMKkJ<&8Q=HfohJeHfh{yf>)IOj&>H1aMDqBafWW2jvfV0x{fnp=m%0<64QAZ z;2$H$E7PdOUtpIu`oKczGC`_4Maagw2D#2W$~RRYoQfP;HK5GXM$;!G3DV7TOWn`z z@2a=)MZNX_T?bZn=a%oR4|?kDQKN5O6diF zqj{H^bQFNn@}hja6H&>0{`#Es!wVv#EU#iG))P+v73h@e7+T(F|KxC{UJ2w!M;Hl@ zn^$@CF$%*8a(9a>RPVRFP~a{xWUk|~?vmF@?SC(16}xqFRoR)O^~CGq|4#RZ%G1Ih>OKGf&l z>L${=RFax=-Y*Pq-ztPB0-T(>%w47Q8M>4ooVofZ=jC-vPsNWQ9v+3_8j87!vt}4w z#4;omJL*gg{smZ)+>9fP=gZ2IYi~niJ0~LGo)Cy*rMtVO@r???DZrR$@~{xV!(b58 zA8kK?u$u}#xxdIeUa-_rp6m9bPM6ufCplt4HtiXz;sEb#Hh!ebM58Dg+6Hlk{AWgW z3mh_gi71(V%HR@{eIT6jNw94>yL*}dG2i1A|D7;Mn%v?mcINCy1V}l>NTW*wn?q1k zX`EID-G39}c)VKIRcWlgXtMyofjS?iCBH*V(#%`0a*d+jBc6#={X*ZV!!srsReVDt zt~!>{LvlRwphw{5mU%udP}n(##NyDm_E+X7(1NPSEFp>q2WBSXM8tm|KlxN#sltd2 z1(MOsCmQfL4E6sFkFRJk|G@k2qfG#gzuM^$*3{Xtf9h zduD&AX%UCSy%&oFZ~}|>KI@Lj$P5{~IqEOvC|2fH!F+_}dGpmI1d-jRKL`w9eZ~aC zDe+=ZNw181Da!#sozM$_cxRCicsPC^qH^Liv%%a^Fqb0wYb%v&Y+(AiHiP(a7IG(g zy>VVdf4@mhpslt0A4Z2w$VK6q;MEqh?0em7H*yrRIIMPt=nY@)Bw0sg1LY?^HTBXo z1l^~R7BZ(%$hL6JC4rh7S4#RYY6ImxoPHZ(?>>A!NS4cY?N2=b_Vf7CTk+{tR|J03 zi@X2~Oe7e%xKY4S6vH2-5L6IgxyPhvz0|Q9?uJX^K@oflI$S;Txo2Q`X!d8W3mK9d zt8u1@Ki^+6Oy3oUZ&6L9uu-v=3ptbp7X%I+~aF~PXCHqScZ&IEtNkm^;fpQ9a-aHN3 zEX<+VmM?VUi+n9aznHo4nBU4Y2d|Y7+Q>5nhw`f)9p%5Rw(Xc7oG*Q)q62>S_*=Pb zd^ikK2H&u_Z-MKRWF6+(Vd+?W^8FqA&L=8Gt*X~culnQ$6k8?X*KLt&Z@rRO%FEU0 z9ZnN$&n}HATh<^W`f@CoFhEuWPFj5PA$af{N*pb0HKY@_-pnbN-8E&aKw>P&(gvjR ze7=j@tRqu)u^}QMqhs@1Tv<_XpxvBHyFrdj2XxRI-bT5UcGf*t)P9U1G(?Bnox(rx za!|FG9qMENG9@6fG0NvNT~l2uEJ zSC#9nR7)&H{uoK^J0+8(U-dTp;y`SG4l5p;*3#AI#2KETgnr8VAif)cUOm&twCP?C zP>5c^IaOK+!|o~L1AxsOxGWwi_fd!dH!IRiJ}WRdXbR>pKOEF;dQ{=%;LWq$HJ)Fn zv+dB);SoNo5e(k5k$1;BnNMii2ikv>WY!mCL5bMEdw_{GBojJ9?Lg?b3ac^nWFsQu zrA{^aQ0(-jqH!Uz)}SQ1p9;@^KJ}~z(6QihAQ~dneJv@ZVFq`{gO&NhoGT48ve|(4 zHgb}`4L4-#SCUOyslk%)j<^%|mCZZT%@a9+xxQcgnipqm8uw*AAYr$?d3YBR;#g(!;>EaJmdx7 zq2Hbuw^W_eSMXD-u)0P1PHg>RZOJwp$YsxS7BS->aj2s>@x6!JO)_JcPH_8k>zota zw-Wf^av=KR@uzZ^{;98H^}efhv1+XTa(mvny9GD?Wl0pMmgx9XQwdCz+YhHjmL%bK zGQoAU6TX5~MoFm({E;m|O8j{VVA|hlt+evhL87-;)HL zT{A7reC(WxLt~yDFXcWi>^8zGWv!ReK{a|m@~-3aJ4;VRy+{V{9}VMyfOMxGjax=X z2-@Rx!j#M1&DIa9*@Aip9M9~d1FE>rCB?ZL=%N#CA`Oxb#JN%?FR@nj(PBk3iT5Kc z>XTbC+FHIcP+R*YO#=j8Vt#iKg{PHYxMa$5I1!{WLTK{ zTLlq6H9Zm=0iD6w?lX}u0OzYER6d`Y67*j8PsS}B7{6rfzOn~DmR3@6nYu1Rd7CH1 z<<~nfUv!X--PN?szcsF07N_)}>OPb@6X0cKqvc7p5OZ)IZpYV;G>Ha|5e;iEhT zUaJrMC){DHk9BlSk{gUSFR93Ao7XhF0*BA69o#cb8#9%qh)o`5#`zVEHSdbER||U^ z!K?hQ`@C2kzXfU$?!I0CpM+9IVULONL1@5C|JC=bY%Kq0d9OFGXC1_Z2C?f65NF_( zxGPlSMao}-8R&>vx4UGCmZV&yn$v&WQG5v1r^~w~;~tZCx+GI{Ui&lot(r|`VWLJV zD=zA;5xAOsE}>mBIxg`?;+;`@TgT05_Y2ZKVr?|H*7y1A-H*$aKGm*`?-#(g*Ri=P ziHqP>$a07f16diPksn3tzAv?cKx@-XDF59T#11KfmMmOn0HrgFC0rTmgj>>mA48z$x_gv$3gT zKUz&WD+?uGZ%d;7funqY7d)v;v6WXs2?6o9P2!-1zR8o;3!>&mH=#;Udw|;xJ z)%-g&ep$Q{ujJhR2I*CtQxWL=+*}GVy40ySEb|11Q<9P-v-p4s zGfg5AbRu~g-G~V>O(NC|lWfB$sOu3O{c6Ug&&~mQBD3?_HA)-v`bcr$3;$eq3&YDN z@QHN3!T->ixcjdqOT&f?(6J5@LJHaWLjPD*4s3196hitV-8bJvj(J)+$Be#DQ|bA) zxAq$Qeil5$-uyW$`}eYZqkPGQaNAA^eGFT8#d2|ePj_bEP)JR)+ow>HD>Ks?VD2#c zpyZ?LV-gp|E}`pYM$n${Lv-VC9ntLKS$%rCG@DUe8eLg2Hb$%ukYyVa>z7Bdphl}s zD+%?&MDr5l8J=2X!}!Q^<(r-$S6#b*ltpkgeYfq(X(fd?;Jm*&{??{5m$K;YDNM1V z;iSIZW>mi(P3tC=`m?_WGRmNKmzhbuWe|Io!}($?TTTuQ12P1n6pp15s0kGqX|hhj z0eOW48Zw)NEJdOM2t+fIgOw#VXArI$@PipbfR#0-R(FOr5~O$?V~0Xu0e2L~MdD?$ z71EJK#ydm+3q#_Mnl1hdIz>-S@d{oQs3Un=`WQC`76$c|_^kY%cOYtMdHeW9{eX4sqXP<3v zzy^D&`s7IjQX+A6&&wXQeu|p+v*1XhXqiu0W~GOx0pY>e-JC1o_i?6v(U=i3AtiCG z4K3g%az3n}{oN!7AvYxLWY9eRwd5VcU8N|S@u-*N&&rWiTTV&3u9&tYpn<3uNrfmH z%Mxd-N{Dq9qDd?VB0rEkKTtoABR+IcO6Slt56_c`9+{Phs*#LpK_zZj9@eQ%I?!s0 zuWY$WXbC}ViHyb=oCegCny=4WBAXS-H6f2R=%wH6PduE_sW}8<3K$}GM^b+f`7icL z6?W+E=@z2L^@Lq1(e!|@Uv!ZF4*G*ep=LpP`qrJTrqg?p?TmbCPYd}h0{kq8kI_z!BfU}XPgq4!7*6(q?AhD*JYYX1mKOyqy$v{<7}Dc>yk+vF*9OHTiH2wA7BZmyQN}2AFI@ z&?L`wZw`nPG>>f(Ni^hX>GEtc9K2({9G|Sy5fa16(lM;G5sb>KbACJjxY=@=4c`E; z@TEcji$iSxi$ni$ea=3R329{KjrP6Glv#e0)2sW&Yg96=TEklBh2+!4w!Kh4%Swm4qe(*}fos0KCE$;^S}K1cAXR=2{C5j= z$4db*G66#7&F9mZZKG}Gz_>+&4WM#tMIcpM)n#DrtC|!Uz*?)(xlvqdW~*48HUmmL zaFyqCwk6L;SMe+rd$1i=`FH7=j-aO@duL6r^Ewr$p*uW~?a2wnopvLVLGM=r?PYqP zCtH>34yOrBSjC)3T`NF64^t7E%@rZAWPl9iF-I(~ zoN_Su8)Z^lGMrg>*pLCo6NVp-^fq{#-44I7L*fRa+j>&F9>z;a7nmPwa?-)o0;eX% zE7YDJSNfe1UsBoAxDHez>d#2eM@JVAC)QNwj*bVii;nHtcaY1!_jx-(ROgyQ|BvhV zNwELLHxLdYz*Qhrbv2RA#@0H4mt5i;x)mHV!TXH{YknBK*ek^i`JMb{*Jg49`_Rua ze{Ek}N3zJ^Y-|Q-yXb;UY^Ye%CRc;OHuKTjTR=JKh5xHy>w>Mf&ks-5N6grHe^Gw_ zJ>1l*p_gYj8XGZ)Rg-QGjMQn{rrJ!ukj8iirR6y?U|+GtjpmGEBdL>0&;Vt4ZAc>TF2Z360T_+N>2!y(U4V}K4 zK14x_XII;Ty8pqb>mN~3+@)tR4+P0PywKJhbYYz3oD&WBj|-PoR-egNIi@38QS@WQ zpRC;0-XNEC3cLS<`hT4k02@2=|K&Inr>riRkV0PkVCZ#Z?s^wRn8+01LrY%f$y~1f zCN3&XNH}76e$bx5>FEZ+=b9C<9u!7gxNT(oM!qxPJ>#d}=S$n3ckR%U-xo{m7qg^z z7iN^(s~ok9+4owRBHWT9+4jLl?2Ija**al!qmT#WY!rWBKR(>e7AZfvNZjuUB>qj? zxcc_fv#^=+M5$CG6Z<@y?qPUlAXxr#DUj@a9(^`}bVf!T^&(V%ZuR`mkDnw-D61H7 zq^?*{QCw+XFyVF1w@7X)MX4O&R}(AwVbrHsb>q3XnSOtCIhao@lByJPC4wGj8DjYd z_XPk>JzlU18LGnAN*<>PMjk|Z9-nv>n6M&?^bna8@yO6Q%+R@9)eDFbzfwHdcngs_ z0KA?DwS#^(h?Z#2km-50fTTW+ICl4hV9UdxKnnE>YFc~Ge9X=pZ zC=wbbl6B4-dXx+e4HZp>iy}WSZB`UIc2flrnwi2wXMi+<01fq`pLEzut_mm??FC2! z?WHfcw{kZq&@1LU>85t=Rp;8*2{X&Sq4(TR3_z*6Q{@VZdd&5wAUC6b_NHuR;nF?i zg|L9?jqN|8K<7{-W^f|`sBx3oPu$5%Db3Ah~MhsIz31KoS0LZ zO;?HD-kel*Z0__bU~VxdGcSbozXx8u8oK#*V*G{!!By7Hg&@`jv`to;3mR%vNQfqQ z0DY4sei`Q0y(4vuv~s`Lf@_y+Yi>1+n^w%FLAsSeKy|UXUWqjPZSLDb9xFQYxIxizy=UJB!lPm!JC6R>c%d;LL7E;LN&{Uek z?7C(jF4elj?H(0NxOUQYxDxYbam7~s0o^+4X;Oasq$QE5bu>-b`VblV9}~F#=kybJ zQ2^EhLjP>_hVE@coe(SUhAtvh7^q}x+4P8$I0xZ^y6kbg!@1^uJ1YdD=q9k8zIOL8 z-D1YopH7d2X4dNGov9bb}z^u4>h>Ggrc_|U;W zfAM-VxNL&!jKLVzj6XFvY)Am+n8rPhPpw2IjBJ4*3muqi6quV8q+a(&*jh8tB)ky}EfI+i zoEELfu|!BEtNsXXh*>KgqMn6fIws9=mr6TOa{_KiJIx4*CKBBOI1nQ_C{c(H7u(dq z0n9W5TARc~DZHGSIfM#_RrxmYbYeEqg^!zLG>V_$(3!BZvw6^~t=ct;^IFRIw0%`? zBU=CZ3sk%1sW~yf>wo1RK@x8xA%89`C<`;ozhOtse>>ZMN)2fv=zkv^|C@kJ+*4-% zCv*Kf;AvD*@kRn=VPQ&~GuHaIv;0p9#>MonRcvj758w$RAKCV1qj`=D)I6(uM36<- z9B(+fWawTADQ+Vo3haK7D3CyvWwT;BrbrnY%F;r75%^gXkN(Nr+`RD?NHKp(XU%$e zetGdW_ed)yA332;5r{v60O@O)GNKtex~^SE`g$oP z%T~e&02mld*zq<2(uCe1phJzZ7z+hoY?*%(!M?{FesdmQ^c2ctN<4jGH8%8lXcF20 zae(2*@DF~Eq29lLJI>>_;Vje+wZJBSyh@;#U1XNgd#5z*C8tde zpvmrO{s((@HkT;V&>a>rm52?zNSIoMGUjROuhB6?uN=%DUy z70iZ&13L4Me1FOBg?j8&8yf@;%*?Q(o`Ra@at&08pI=H<=M9Q6ENz(h!fs-i(1Yi7buj`%gEi*M#@ZIcvM3xPksohu_4z8sMeV z8h;*O@e>H_3wa9JMbKty*ghqc>63{$bT3Q@pTT~b{MYnWGDt-r<7;k^cp}UN;fmj7 zWmaK6`ZID}s2R>U)G~Ai`x~(%Cw&S?r{`)9d5u&u)`q~-_Av1mb>VdMHGF1Oba@|8 zE3RfLR?eJp9Wg?y;-qB)3)NpLBmkNzl`~2iSO^_+kg)!i;E3(R`cV-MPVi4bNSlaZ zU#sM)b@RDTb0{~MAc_zXUjzm8qEob-0t9a$6A#o%i!P)$H5=4%M4T8D{T_Y*du81D zK78Hd7;?7!f$gd5RY{JNk#UEZISJmKJTi-=|ED1aeD)o}?D2+7tEWBV7C?GRXRnK= zjislhr>mibsc=kuifsj--l8Zb=P76Ub$0`80{tSe8skIK#+4NM?9&`Ml^5}fS63L- zO+Ve0AgsJ1YIuj~bm4$Rgx|5e_X1(&*tnFJpwDxyso4?NJWv7OhILiw7?|&6@|xUn z_HSQv!RSMe$fwA=)^IazE8y>_%5`DCORKn2^lgj8`Gm{LZja2Fxr+%Bubh-vf4*YJ zcYhx6t33q@|G|{bo37 z3L_6itx?rlqVm=-f`>k&FOQABdyO9uJ7V~t4L2N$u+b(gneOQ|9w1d{@PZ469vy6N z#d*P6y63MX8CaFM`BJ*VkH`G<}FBkDfB0 zQXhB`y!bJ_WucvYu|LJZ5nkn@-1U~MIv?2br8~VX7Sj9XU{JRR{R;QTY`@Xh;Eu&FKt-Ig=*eMd4TM!;q~W>$1bKfJ@V^Isv_X+zv%uhqvUwV90vAUof2bAWlDK*1+ko|M|Ssf?G? z-wYE%tBF5f4j5U^y$2@SrpflK2jy|#l<|8<%umh9rk%Z-i_h3NT;RVgfN&m-=$Zme zNG~%LoyP-Lm>$`0=Bx!aC$*z+NUTLfNJvFRtVnQitgLV>Tt@E|SL7(P@!+%dA9k(q z2|LQgHAptPKLPs#1A`L-+A@)i53m+ffwS;-)9NhgGUSvCjfYwx?l&S?u!D4lO!shn zQi441C=}g?xUB;W$Sy)?S)mwTuDe=LdmvJS^$w&DV}?Vq%`aQRVZ&TDIHJ*K5sYq( zb_o5c1F|b*6EUnGoX1nzQW>Q3R$RvZrR|!mV6LkU&w$EPvLTx(L(m>R`V*?b??}{Q z!eDHe0UeP|>ujn;??Wy!k)elrC6A-s90~qL97+t)cvCzjnFGrLTl2cgp=_t8>Mh){ z;8xn{mc;4|Sa?WF(WUJY6;>%(`K)p zISh<&5=LHD`!oqw^?N6gbXzdUXc z_v6A7f3zY-c$it>0t7Q$y9ja^-^E5vt`(0XV)MvvSn#L%upmwc41#{G*E(Q=eXET+hT57=J!CH~8O5fC z-bP+=Ggkcf#`NG|?F}Eure9Y(pyIH`P<_y05qV|l0Tq(3if=b~OqAq?ApEdqun~^@ z45zfg2Tw8K45n3ko`#0t5L^!%y7-9NZU6z_$uJ3Hz^_Whg_NVl)<1d3Jw&Gr9nqaK z{WLYdg!0wvZkUuVjp62AQA~wlL3;y5K+nOeZ*OAoxbx_N&&XXG_!y`I|IkF2TT_)+ zWjHg`2maT4dnq>p}HXV3q0tP*pzw)<^mYu zTla(2lB*i1yW<1DY5@jG)qiEo!}YP0{Ncc}aT-a@(8Vvz0PsZgSW{UQmLQjJnSjI{C$fcukg=MuSM3lv-k*SkfJav zo3zz{msCq?%Oh4G$=-`QnZ%ajv;Zq3&R4VNskubI=YyP4Ee*+;`8@6+a^Zs?#6lHU zvpvZFDoClNRSHcIDVWc{aN=y!{YKsn<``gpL9>Q6Sd$Y}2(g zgEP8} zhRyAG>IE{S*U>R|B_Yrw-~r4{zCL-KnC*|lW)|??KVF{-&ii+^PcC06@`j-3dkBkX za)xG2|EgE8CDUXV3!Tn_!1ulN=8bCTYUHKKoRpL*r^r_+7$<*qaoHp6c@vf%s&=+s zlF|%`2_y;_74YlGyu^h9k?ykeT~pWWj(V{fB#okw_NAwfveDf{DgcDG%L_6${f2f&D(@d+x-mr$!u#e zp|)<&zV(oNOMK;*4uG`J4jmN#PO=YaQ6!ZdLe;L|xNYr&f{Es}G0x+e_@2r;w+n>6 zi4Ax_P1zwX;NsT6KC9iSy>Bc)B7$&}v@SF@?~7X>nC@f{!h(?}Y@E}vZa>!^cc+d) zz=v%WDTYz0t2wS^mqE{3830_`^8(WN-u$X}rSpV75AMTvYkQ1uAp zA-ZXv8r(T?NAZHPP5bCEvVXrR||&o2+h0*Gn)Y?K*^6r{8Nv;XH1E!&eQ zO&IzXvJHk|Y>MCW6Zc68v<3~~Tv=|7N?ibhG z=gQsWf=JZM-6u@1leUAmSeP*$HZEfS9YAY(a@ix0 z^afAaBTV|;SETk+4}>iF(*gE1GoDoL^l~W9&s&>AyTSjqB^%&n**<6he8N=XjU1!j zSR6Q@n#_|Tk_*lbB}=1Lfl{KKuRffx1wjAlcQEx(57kblHl}nF#7)R5RXnu9Rw(^1s7@O`04m+A?6HNzIS_N#!#v$?)p;> zO(f#Ebu$L?1Ou3TA7Z#P+}9V_$BmgIApAHHwDoOnxHRM;_o*zCCQ3Xgr*fFy0YY}7 z>BJ3U2}oJz-RDUsqE!3Zk4#v9%% z*@J0=Q1EBXqvh|=3?84m0Xn@bE z;1(jR;MHx8<*75+*PmGI2$DCN|8umeK8TJm9^>4x2 z6~pIUj4NyP^o36mAcE-11_=HE1kho6wMiSDDtzL@wZ)S<8+UwdLnahszWjtb#Z}0b76-Tw4HKx8hJ2I z-|e+h=@o%zyt3fH2Xh2Cpk|4Qbau}oJcogv6^P``C2%`c)0wWz0K{yHT8X1fhH^z2 z=!Cu$NP(l@4Lq7Ca>u6^kA3Qx<#ye!{k7-tsV`fxVYqrs1TU;$$P*__Ve+cNjdNo8 zqs)kyBQV|^q#S@6@)HvRl!eDxj@I53d;Ety-?^HoffauC-;)1|MK1&%1uZ}a@9%BIteL+mJF>sI<>NBI=7FiF6sKlZOfU}TtCp!y zO->y7f_-MEOeuTr?iv6aQPC~3|lyj9Z=I@x%%`K03J`DF{zB^oA1LQ@C;IF z09^(pA-{2KA|S`h0Xm|ktE0qzL2teu-Yb)pvE3s8QlH`!s(cYEjbt1Wd|p*eJ2KKO z!4s@gWg6MLMvO&_62d#z2MV$u`Y`u?1zlm+V-QEw*-ammzrM(091-m<{V^4W>ye8! zu&@U$iu^z|g3f-x0|i5P!#-zTjO-Z>Av44Yn+?Y` z(&!8H2*pZgJwG9|qNGKICsrO@7w&Wi;??8fZ`mVGZndzE*iFW{7BoW+O_}0-*C%yI zl|+nW&|IInao*C?^A|i1MD-`pEH{mtA{rJZO+*nYAQ5CRi@FnD4=K#IMzGDb*7z8M z0Z_=*X5mlidMl;~5u_1R6#-+s>Rw=@6h{VLen#V!KFP=sxE}BJ874+?roWktFP}*p zDp1+(e24IcisBa~kUw`qXu^$rFEFEHm&S7e&&m%-Jy}Bf>o2O0M)uN z%j3NOYz65zf>=BstO z9K8=ns8k-jo;iW)n*6)j!-c1LjgKFAP3Hi>{Kz5b^yvJye1GWKRHC(?KLuhzCG3n+lTcnVj;{V>toS!tWO@Hr zoPTMd8%h~-r~b295xSEqWl#R!l+ELlCV*qy&02V!YobVM=DqqnvAJ}^;&~K|b}?|) zJq&F;DCDnSXoHA;-=$U%rBUXDTlR-C+x6wX9MfE4A%`NSHFUodSdsgI4yk8hn@YXX zqhV_5U9JO2V7#Fd$+H+T!YY6UedWr4Rz$;l`+VQI{Iz{}UeI#2^gd5}$)$wDi2+`^ zPcrk)F+`uM7Min93WNXM4MHGANXaN(3 zG?z}F))2Y8Bgij(*pxT9R6MC-DF*s4;eDy~3AThcaJ(XfE*3=7&fCNSPe44htwzxP zy_~kH5+n^3S0NeD6b*+PX(fR_4(I}$qh8EZ?Fz|b!Xm1}t|*s~D~B;_H<{*T1B|bM zgeWMUnNYFZuAO;^5g>c0CPr{~i@%M0Qp7JVuoK)^%TCGgg>bL7J80sltvq#{)ujSN(*}v$-_Sex9(;v)J*brO# z_2ktoWGqZ`cISvy#E9B}pD)Ja!sRQAmc6JQe~wkWkE=I_U7vmU3jo*^mw5_u&UIS- z1P#3(dxDZ>>g^LPa1P8FY`K1t64w<$y+jbXY8fv9=z9He|MPmQb`Kl567^}-Qn~hw z^3F}ZU_9|3|8~E=<0rQD7!WWOY9)yzItH>!u3HA?zv*z{K4lCK?fTf;ps(97izoa6 zl8jDl&Y$I|xylawu7HBIK!Bq0$DSovqsV3%65t*bEp2XHCZQ!hg!7KVaW-Z{p7n_o zqV*@ZavX=%ol|jQ_I@R6fFkEp~%-|J?a@|M$2586?B6b8bsM2vi z6Z9z^=hTX;E<;rg-7d#&_ZODOeJrtgY>Ke{Z$}ttd6`_LUw}}_L@Ss~6^Y`et+~;} zB`DJ&BGd$Ui@?0&*S|L~3XEbI*WKE{gF|qeOJ5R5*~z6;MdNH*Lt1b#ri2(R%j~{| z1mo-zpO)@09t7E=77eR&We-InYRZdp3lKHGgDNyxeo?2(p2aIO)Q7}^XeFLCu5&0& z=Z1O02xp{gqXH(KZYDD83rHa1B$N^|YR0IFqF5g8x%*#{JCil^ntPIYr%nfQhgnmw zJdcLSeTz+IypoVoL$YjnYQ;;VVTsLzG84rV#l1}04h}_IdrEDlgp;BPEU@~?R_7qwbv>UY?Z6h<&hk1QDrs%I{ zQIAT0+5k185Nw!cP{t_1dc#Wmm)%c|Z5Ia&=dbO~EQ;BgszL*avycjsRv@vuv>FLx zNuD05ULnp8TTnxvCE!@LFk0+|hS9ARWE?z0RyajiV*TVDFW3Cqs=SM{^ZL%KY&^Afo#Mp``yrIJRVi)K(550XDq%7DJ&t=bL4ZZyf-wqNnR}WgHs!&yC~B~|X=`~b zj}Nz|@o%OFkjR{?!1*wr_RdtWni3at$ons0incr_qFhQ|?)2NDh#4p|Y6>e7e}Y~=#JG-lJ|bD6RA)%gl6 zX_db=;Wu>?R~9qNvyRvuQjTrUt?enS#}Wk=kWOGpS3?$pVb5hJYF($j~UfODqCx$xRXsN%CJh=wWMXNqnPca0x1Kj3F7qj<5hw#uKc zmrZ}7-6cIohe{hxU1nt-)q@+XLuDKHNpOgH9(MQ4>mKIx(3|s8_3l?*p7nVQE4C5v<*tD4P6Nv`X4C7H)8;8fn#F7lah#UXqL^tDx)B`8_m868 ztM=$m@ZDCJz|T=6g1t~zA^Nu4;cZ`!Z&7d(t{8MwMv0P2SzLu|DY`Tfd!`uIeK^SH z+E-kaWG`CsgW<|v zI`Vf3e`@_K7)t?1Wl?*(>&x2|zN|Ty=T%g3b}=7Ki)yk`tzE>60sGTecGKBwVGfxh z#4i9>iYR1k%BW5z4z{Qa4C*+mWt<+Eqjs0?rh9i8H)-Sb*C`~59zDe^JV5aHQ#gl1 zFvYJNyL({l34*6TJct7`Huud9Hq9SC*VxnGT#gZ& zE6V!d!q)^v)s!Xc;SUUunG?lY#>3H(tgF#XH7O~pD31s7xt+m5drw>EpXI^jwM>2o zyy^pvJ5$0)1~CFxfc?w3u$hy;J4em30F)cgrSshvx3x1^CsSU3+Cy@$n1wUVXn5xI+JAaoc`s8 z#?GIqWmB7`_3F#X?yqmc;jkEpe=!PF5SIT5&lv>cqi;RM0>fZo?*;?|Ls}Xdf&!6G z!3_P+5XXPv{ci9kA_xoDf1&a2+69PnG%>1zl)dBfP?6Emkotttl#yt8&8X9+=IQMg8s(+3Iqb6hc*pWf z))uFay}FSbO2PQ3s}7JDZ9)5t@O3~K4^O6i>o-~s$iJQ|Zh`|;2^u~mv>bae8B zUcb?D>~r*Bp%WA1ewnfyMm*F@1elSVGq%N_*kM6r+gzFW;dcP1M#_Zjo&|+P`GeS5 zr{}jq9$P%)*nydpn2OVOXK3fEoG?MH5*hM+#tw=BI6i&k|>;UqD2l;#i|V9JgX-5F9Xyi9VD2tP_;3R{o97G^8C zpU6KdKn5)>p^_jc7GO%s9RY<*ib94sCJB>3A~tO<(z}^PBumnl5tGtDV4R!N=r<4k z?Ax61wR8xh7Un-~)phl@@r`kmlf;^u@qWL^y3j1gE7*15?#4!|?L8vv!O-z=(V@Nr zILbt3FSb2C&fMAhqVPE2U*#`-vG0DltbWYcFu}u$irpP}fxhlJ@JDvCXQOy$f$HDt zo81;!&b+<4yj{1p&qNqSrSeG5l!9@Y4Hz;`KX6Xgw<9{UDb6S3&o>=s8>ygA``1sW zUK4L=+r$aJQOU8X3}NldQ_zqEVG~9Vi15PmS44M$o)#*MIVjE-hJ8?zwnk5={OnbD zeBAKqXs=Y*JcC>!`yyd;wi1A}47fiUh6X;u!n zft)&GP&%_FX6%<}Y{Xl|)6}aIC0&G#!7x^$s7Bjo%g&RTDJRtD!SgBoFx*N6_&c}M zmKVU@RNBC)CoFY+Hvko{jJAqwm09fHb+xnFNd`O0JOMkGIK7?%`Tu1m#@2i^2gTkR z0(z7HdIr}rx^!`WwW8YhZ+G`>3J;i@O0VsS*IReaGe>^(iqoCCoP@UynkvWuF;5OE zxtsG>D_}ic-ZlAo43I(b9}jE*?AhHm-;CP6VtbsqAkN_hQ~|HjSQo$R`0)DN z5#Mka)o0|Tbp*x;kimyxf@$5(&8+U3?4j%0R4!>n0Y__y0`brOj*P9EZAofYzwSRn z)0UF8LhrhqaUlXmC4w~v;6Gaj%oRZLM3rb>F-+`WSgE$c|6J=t_8n)9)vGoC4#V4on6tcb&Y#$qD8iPxfRBD7YzUd$fJuYqMDP zL%8{VL`0uF`9b$Z6yKQ%pfZglvN>j_^2)_cScweL;@0}8iq7T<#Qon- z+$0&rFh9}2Xm*9z2sV9mLxO9-f~omR!T$qSbJ7o)|3*4RehS+nlih&Vif$hcLPehb z2C_}5UDw+skkI4=5V*{Ny-R?OOs zlNPT+R&7m<>k^9tnvG-jK;W;I5apVnQ7H^cJ~*e1K&Nu#WU;aCpL~vmdz zg1*dYF=MmZDTdU*+Kub46j&<8?@_5vO|o>l0S(7#(I3Q7#l27NgfA5W^5T2xXuL0I zH;R|jL!l{2Vl5SG;<0Bj7MKipoI>-7`6FR${ZTT z3UeAm=C+^(g!CeQ`<+PpO+AaW^h9n6aeZQnnq@T(j%9b`IY1IbAqkeZrN}kk-A~B(3Opt>|o3b+fvZM7I>cMp3UE9IJSUYn@guX_Sm?l*ZlNn_>^J zi2`RYIict?W5p&ETVYEqbHcj`QND;zVqnL|wHTiN#8*m64bEdOF%52H5mF=U&XvYY>aEm@-pUWu zDoYC$5$-+b-m>wqDh(8g3kC? zErruNdlTODDiWCMjqO?5*YIV1ax%wuUysW*x?OGt{|l}ugWfuzlAoO2&FmLIfR`Cc zgBxU;N0MlG!LI37i)7OZLiaa^|7@D(Un@d>`9v8S@RVktjg=&)*9!%%nLg7kFD#EJ zH+-J8Tbj**Chpuo6}qHPu-sm1Hqg>YHryB%(lXazYmi|VYrI|u3(F;b{R@3qJEH+c zn^u2(s!cFm0U+H2;!C5Vy~j>K=!zFM^BfRrW|mxO3E7&eW0$pVERRm6Wd?RB(brt;wwa%;Ir}B0dlIgP(aDr)YK+s$etv z3U&3Aycxb3|Do3_-??2=o6XTi5 z1Dzkk@7?UhP)%*o@jG1n+c_0uidycJu^L+FL#WU-5i2uc8y}y)xx%(_Y>s=`2_&QK zcl5k`)SV%?k?4u3!q6x$>o0rSOJd5mF28+yb>$(j_^BdK1Eqy$m5a|#W!9QkJ^9ER zoP;E`Z8>)PeL!<#Lazf{$0z+= zm$wWMF7&e~*y^dW=p{FyfDCZXe()!DOaq?*?1N_SnqL_chlXgXBFwR=dQ55H*6~Ba zX*!=0;Oc6+BpN7>`KNn`d!;||i%#tu_)DgkIiS+RPzzTT4PY4nYPr!CDpIrvvCPx! zhL^@B)tc7uu}`ORSVn(cjy#d@>3k!+yvv*FNrh6|DFI#EKeaU;O`7;6#R!@cf1~TB zaQVgjy!7;3n9e8fy7!7bV|BnsO}m&?!>Re}%YZ3meFt%z65d5o)3XMvF_NM*(aD~45w(%uLVJl4Kq1uedVapIJUVDzqG z_<3;jy2BYtG_d3gsL`R)u4r8mbrhUh9Umf~F-V?OP8XD*9sZF)OwZMkP zqyXkZjKy&PHue_=eKW8hxc;%@TaKxvOvX^BoFLQt`waEgg2l}het|bd2>vv#gT??W zX*9DNiQKZxJD4?xW(-=Hd-~#gl`cDgp@>j`oA};LGGNL8)2-3%_EG1R zX;q74`6R39(7XL|hx;`D7sU2!n5YRZf}eL)=;ax|6ASqrpmofoS9=L(NlC!*Gg#QzckaU1fb-<2v9!uSmMIth;F z_(&W8Hl^R=IU(aa_pG?vxaU0TgDa8Dso?u|ZSe}3zHez;^gF&O=euQ%m=ewz&~Q{k z2{FhpJ^`tyx!T%u@vnAw|=8?pb96Y&}+l(zQg=ECH3%Y#P7)#6>u=9IOO!Lzj zwWQ#_rZNrnAF^x>qi*7ft6#PLm88Iyp%J92;o86C5t~(&bWtu;DAx+S;2JuBV<3kNzYK;9uM9>-XPdWs;^=v zS=-xG;(a;Ks;eB1)Uj0j2^Gc(R7Vq-4rC?zmgEZ6ou8zq%N*H}EHS%I8rpk=n-&MG z@-e@)PJ4ZdtKAL}`c2OfPQNji?9IInk8 z%Oa;x@p(chj<&ULYH9S4SS+xe^rvzMDPK9Wrl}$8*c-5{t71OlLeO%=$$>pd*{9x!NcxRNKw@VR;#ri1}6U(rIs8now5wXB{RRxO}&S!tLl{rFOf!H z@sEUwpE{0VkRJ(9JfuZP6j9Yfbmp(UnA%o`2Gz<&tY2t#U0jkGu_sDXSMtvQ2p?3d zS`WPH0R=OH)v=7uwJl6RAIy*2x0cfmsP^;xL=*GlnX@^Eo2!qJ$5tR(-_S4y2M4W&ZGf_42j>5`R8Q@hNMMmQ5)7N zEQap*q&cK_qI{?%83v0+P7)6KFf#AN5vdl;Y>$T zQQC`cuMIW|1Jp^0wPY<2dT8QAs)Z+REYbwQ5y_B!ygtZR*=hfH0sE#`(#PnL3E2+{ zOq6Xwt`)3iZj1N-F% zToukZh^a6E8F3h(6zcC--m6kV`ixfkXEQ8X*yQN-^qqw-N*}kyDbZ`(SphM}XMs+q zh}w`OO@dK4J&uvvcw1n6Fa_;1OauD`0p$;meX&ft&j?;oLuY!M-dHzoPKzv^BgsQeL&Kx`$ z!+hQaUa$$^B<%6vKw^j2B&bNLUXu7>@=`0)o5z>?aUMC{+zeqX`BYGNd~=*Umrf79 zR|*&Pc}sffNcBmEnc-(mq9`ZrTz}ct8W`EW4!?=a8Nmc>*tP;&2!DU)&79QB{ZX!dty0fbz}psPL1m*G<5? zkjy+{EGYM&(E}%TH8R;VHlO-lW4~T9ecn)ztaCX{Q%a00=-~!d0j3Zf-YG5Q(We;{ zh*1C~{V5u^diQ~#1UA7pL|#Aw(LA8r-}7||N9RLwqs?3#D48v>6wkJk3L5E-(i1V1_pYpk2Xj9IqpHz zv2aAWqK)*UU*4wO!D{l#b>mR*E$pJdqQw9nd~mb8A+}uxU#s<%V!a;SL5ar;ox#uK zQie$`>Q<%GOPA<|T~pdC0<11hPxJ$Pef%~oybc#9W#KS zJEceN8qpdGTvZP?aB*yN5r;Vy^3~O$dMRN1kCeJ-vpLs#9;G+nPAtRRR+xB}p+AS^ zB}urE29X}6hwS)kNnlZ&G)vM*QQ=f4w&7Na~DAB*%LAl_}|Ae)e3-XS`u>} zHLI{IXwabK9ly7$8{9EVD8+09~JzQ@%15$j=!FB5OdS(D@vbEsrAq?N9TV&__gLMHa;pz0+Uz)UQ zg{&F2s32&x43fLu6SqL@q$+@eE~v&{w8q|oMZ7`w+lmc<*k2iMC%9I8*BN-S9C8Ru zZ#=N0osW_@F5LjAh=N7SMjAifM*gq!E{h-U=+eU?Ll`my1-DwN=B8Hi23HbMPGk97X@@LXjd%fp+^(lt2KkTH*;8V;sr4 zm|YPKGlgo^W^Saaic-z%n%GxrU;p(?I1!@2yhu#1hmz&L7HmLORB=?)fr%?hml|E% z`1m*|jxL4MyXu>Oz8s5*m;!t_^x zdYvZyZk@nTy1F|!mMGyStFITE|A<1{3 z#XG&Kz^8>^6HP*#87cN#YP{~}D{lclX%{r+Pzl?Ch9yAaKtOS)yJao}EtJZXN`x+@ zKawhiK@BdHB{Z>Hsrm0Z`Z)S@(Hv%;o(OWNNQ(%}<3a&|sD`eQuH?ROmZ+qdv5{dm zrkJ_}6#0{}Ylt}@QJgm~z7HJ&t#ol068knD*y?K5o=AL*)Y0DK1D+QSp;G=%NlN9|_n*AwCf{aMFHS{RTm?#%)ZcKA%(C(2y7ueI!GM0)b7C zN<$p#UXC@Cd5Px$Z48Dq6n?yv^m$>WJSsjss30;xy$P%-3R6x6S<}sz3j~40!Q@-DASqOWveFGlhzZIp5~&xxAF3mh%ZJ&1`!~5qV8tdE*|{ zUPD$pNW<>HcAOgANDL_=Xo^g7NdY@vX+2OSn>2xd1>Vf5nW(qI9CpbGU7Ion0^t~K zMo6RQ3MEX+kk1IRoF3SB(;+gK_Lw9@_;wt?kM!$mlwL(chJv)z6cL-0U-W~OODcvY zXD)qFJhB(St}Kz)SSZ62;VJ<=ihEov8ObjWon#vIcqSgB(0upDNU&c)YdneWvOUp57|t;PoxeB&=NsEwi&6u`cyXh|Nm?I>FNi_!94c>AKTenep2nL6#R+)30E^lDZ8F(%_K*&kAoaW6VM(oG+PAb_uJFJGKNkQi3J2t8f=CefQBy2yQ0BjIYRCLKcUX!(w^BTg9`U@ids;c`uzI?jyB*jySDuma z0-1I=-z&m2!`}Txsdt8jqDuz=W+)fO_T^*IXqrMNqUTO0*-Sww9*b0xpp2hXzxn(0 z8%_?8LXRzJcU#JIEM$7dV z?cN+!8s4woKbUA$OM@STALJH^eQ&f{rS}ZtzD!+`PVg3;+C0eSeb{H#44Hn%#zM)U z=UmpCqH}H;e`()f;Yb`wgRV*m$8bn1)h&x3SN&&8d8PL^vzcqD8MldvRVoj|hG4o= zcx{kYW>r9siB_ocaY!5B18wl^K0Z4p;qH=#Q-87awRX%c_O$28U^fEa%OFBRDwsaF2cOsGE_`IrEZ!EH=7!JBelD%x*u z2sN_=0e4KaMF@QZDR*!!>|Ha~W98|Or}xu2Y=%}U9ve)9t{DLi!V3{Gv1N10s(6yMYA-SIRC#qE`|j8sz=-oUv@7>fx+>p>N8Q926#c zz95T4L0PuwH&iJ=_)H=P2XH8SKjG@ct`7-01_py3D+enF* z{xq~?=)~S?d52MYQf*^o^RLK;-8YGxXhmtnOdv;pNA3h*vq>8~83jv-Q^|MXT!Lfe zG~~>;YGUKxA#_}4PM};A+Q<=3jl{~5#4xhN8G6YwxC3L$vUG%>=!O5%JudW~y7=Il zrpt2?&dK=taynq_#QG!qOCF=aYfP@FGsnMrcK~?d(5p1Wm8zTVe!q!U+0_|-P+Apd zLIijXJ_#NW-nK&PWjp8p^|az#pOH^FHk=$k+BlpZ>$x+4@o>JjFhbJpO_xFo`H;OV zg~_AA5@D-Lqz<8#AyZndWDuVL6+kW)qFW&fMj;w8^@}U|4!euLxgh;uD174qWv(zQ zCcGyH5hJ>)eLbTrRcs7jGcb&$#A=gto@SMIN($4+21nzT_zk1261xo=hX{c&}rjV(Js3nZhlIP(i-iDPVgqd}Jb zoACSTSwsu%xuP!MbCjN?UM#9y$pz+wK!pL>%}r~jEcxO5-j|_hH87>0`IsCs-@vj6 zgTGlSc+XJHAU^!)@tI=p%>3Ky)kpwCsrDceVe!XI6Mk2`7u+$B5gKU>Fu}d7uxdKfR?#ZJ;lfvl%^= z6w|bAtn5$$|4KKrdB-#60+RY*9oq=x(yi;23I9rhKawil<7=?`||5g`o!nShnG8GVkuKzaB4i4 z82E9v{^7KD89@WndP$<(BxwZ9nJTtwK*{UKY2OTL^TMjjX}7cuREQ_Zm8@DSQ|fYG z9V(wEFK74IVYJdVTYQx43~$7Of5wb3xI zbx2K2S=V%AleN*>YGgGZJj34a9L#l&kU%1qe}%rC-ZL{+Uuif+zFYxPhwP5hzFHe< z$-kYU(>BIAvRKitTQ5wvs_`6ZiXB+(y`5ULqk-$GW10;VR*dadeXVTJ+t+Fh=&pTM zTIh${IbZ0SHA}<82+#KzH4eCkrMaLR z>-KI((+cC;e0{Neo1W{|ER|OIbq+|JPOOAaS*i=uTfrsC49I>ldIlspSpSeL8`&0y zv=|=hG8>Y;oUTDT>NVUI(HU;i!5xM?faJm0&*dj1TYM$GlLO$<@{uL^Tx#WO;VYoM zhW8RWX5KTBZ&dZvrZutAK7-$a=DY;vv;KDt%x29qBG#r3+Gn-5K*4@Kq$y|J7KU=O ze`Ab-*xF=fk)t?<+hW6Xp_##ca?3V2ZJO{9{PfZmV|@Ur*~ux`Q>1Oi#K@urwMFly z4H&uWonG=HgtZ9}^`Fl(08BRvn-wG) z#KhtA`R|^SW>zV6vlBaeh`WgnugTI5U;2@GCIa6q@h07^=8Fw0K|~mXV4Ti}X5+rb z_T2JYU!7Zbp>r(b7Gsp5D*f$g;a0Z|A1#=s`APe`?REe@g22_~-o_r$-SUDi;~dKh zTem7}%1z0eRlv9=l=B_6yLe2ECr-?# zq0oN{@}6~{0SZ*DV;skbOLXz{6$8iB(^{bX(+&X9{K+)YUqU3ZThuDof1*C0UTbW! zKlfm!c8zkGeTa+qZ?=E*)=R^?$vg5?mIo4k=NM*Zr+p>;O~Li@_j4&&=1fxMxgn4C z#XJ6o8HAixu}0Ib?5%??%90+QojpVn5~sxn@4xXT3b0t~aaRaJv% z$LkBL!`Zs#OiNArkyZ7Ha}Vc}uQxC5a>mO2R%6)IzaujOW%hV^jMluD^(KdlJ4e9C zh*`(1u3J8*aZR}KWPoC-w(3=_b-%v;HtoH$eq#DflzAW}V;{O#WzDFKjd;UpGUiZJ z=lie2)IUX9P~%mqU-C`&FpC0Bk7e3kPrviie@@O;a@VlCI=j`_#Le|FXzo>%=IDNG z?FPcT#hB53vDVE3EZ(HXO}$K6OUCg-6X~nnqRW8sSl$1*&YR zUi!Jz_fc|*8b(oNyEC#hp&J&;7S~h(8_kxyC0p=SWylKG?4cK~601prSAN^k9RfWZ zW(XkSd5BSX1krr?XxzBe_i7sd_Fto_W{H$zBqNO^Bikg9nIt1gB((a6%=!RRA$06_ zaS4+|d0kUk3@thT45C=eIlAQtb8?Bx2LeH5N6ymH)n@~~-JY+A=_T1YI$SR=OF5}J zJn*TGm|+n3KWQM(RT@v0e4Z>{Dciu>_HZyv98n2NRc%`QnsOHL`Uu-gKXm^1i~?wc zy>=W`j0*0Qm+sR`YWQ*@^M?TXY-x@^E-j1x;nI|5>4jq)7Zd}!>MWR<7;p7ENjEG; zniR+r(Eh21Y+7`bjV&!Ff~0Pi=nNBZyiWQGWAg7QWhM=2?n72%cKMHGsio&n4Y^h; zSNj95%YV$%xV0_GGwO){XqP>leVv@TYt9h(;rQY0#4!93ME~&~RKx*5k$(0lDAcPa zQt{)`olDMqCpl14*VHY4l_vmD_7y4Derg@g#|~0{vD?tkj70nQuUDN_9RC?zY4O!k zJBb}+ggkj#!kh8)@ZrCSOrhfAUe_iM^ zc4Y68W3@ZQ#{F1-u1*2?75hlEcHf_gD}4!nU`k#&gkQ;`-PJ9lql-~b#`g8xnlP0a)?d>|SsB@D2p zBt+{LQuk_A`HO4{U@l?NaY#ZX3l!yv-NMj8S>PArZN+JXCn^WSmmecuAfU%oz_e2p zWv!?_=GzzHwJibTG1C|XnEd{&;Q)fMbmlWy-naG4P4JReU_9%H@Iod*h=R8_{KQlA z&vzIHV3J61!HIz`?{v1P1Tw>PXxu-!0z-2KB`D&w$y z!j6ZtRae!(;k(aqq#m@vyu{(a8eAB%tQatGX(MuXa~J^W7#*k7oZ)3lH-wa@T7XG2 zkOn9<_&Sp(6`R$dl+%0EEUA*nK4QvfX<#y{P;7CWeju@{-0u8lEF)^`u4FTc?zjt> z^*7YOLx%_l@Pvh!vL1FM6{W9)+96X6M=&%SRM{sH-XV%sQA7{kQ&@2S>ac=5?ruIU(X)c^GqGbpvTE_ON#K<9E5x2u0d+Pw6B<$Ra~}5Hbt86 z8)2)-@hZ7dKu{)L$rLJC9qcgo;w@A2e*-{{*NR>}W~z|0<|g8xuS9>=%^i;A zT?RBWYD~rKZ^#oXn}?`bY1d(6Pki{(iy`?$hRG4P`;KZrZ`UYv&~`Tgie?*9i`xXz$UD2tguAP=Cc zzZ6=LX8_NjOdNP^QPQzP#GEO2^2BNUmXD76lgr-D+;!GW=)*^7u(YYSRt@MaV*kxq z`CQTEynz4Z($4mAw)5M8a^NhY$I`0FEI1Yd$vA7gUKg=5`C?Ex7+Xa9{&`x}TsejS+BHFyJ?3b!I(T>)9ZmAsY1}P(yosXAwXCCPo-5);EOj6%Q^X(7fxRZIoKT)^4;8CTD6aQDluo(|(*2o$yC( z-rMKcL%9Y{|MvpXseDSDbpYe*_*B5><9j*f4!xO|5BNJGu0ivIF8#laS-;*v^wY#^ zl0Zv4zJY>?RgSZW=UWHKl#xsGZ87J9zF&Uh3sLgN{^+?L-rC2(>DUM1cGvr#&@D`npt9ZbKG;-q`#T}%cNa)3t_*=@)R=l*d8U;h02%+#UOsW!}93s(S zh6_zfTxV|J9m#9>U<_dHk0GG6`v(X^1&P3u0hG8G6RtH}hY<)_2#pylcJ!BqEX&Gx z!sA(=rb&B-)&_wR%b50B{x$=k+{*dmU`4!WB{R$1ZK5K1bpM~K=|g^{O}Ya6q-dh@ zm|kPmzTotS@DRJr)_E=EH<#X_O6I()#cNCZpF5HjR{cqjaU&_)2rut^$u)xPxG?Ci=7BVf)Vms-IE$W?> zc9}Itdj#thURu(aHt-+&b{eI9nREE1fS8L2Ztj~akLfYRrg`qT5IA3l*a=p&pvrY# zBVn2AvDEKk8MyS`O0E)ZGftl5qsJS!s3eBQ`JYsr5}$0GnJ)}>k&ygF$7#+*Fi~sU zNl13CBVu*|&=IrO>f2K0@u02Q2+&zEpTf13E?`E2o#P?ipmhGTcnNV|aq`VkPjC$p z>+=7s16?+b|7#s+s+gHGN{i|6v2wGqak8;68JQcKv9p^RnR1yhakHDT{_83>HRUum z5%_;jBr6^hg0OKWJ06n(*x8x>Hx46T&{CRG#_PR%=s1c}OG7JkZMbQdX*?Zg7)MFf zTdp_5q~R4$+(J*Hm37w=f#$p+kc*%6ytAD2V@>|?@Mp|_%X9gD$bS%g5FE~UcF%@p zd)Xt<4MDREz`TXfkA!9pW0_AYcZ1&U)3FSCAz1^o(>S7Q7hv1&LVnKzU(O z37vunBhmRAy&oevifWufY!yO=MDgq9UqG*rS15-YIf@2dxM3l*?85p6>CfVl6d*o^ z`XfOr&l-qSJ<-oO>J?FhH;hscJ-B9Y~h}0b7VAV}vXhj{O${W57BCI{W`DQ9GwO zGJxZDBKw)Pxf{f%Iar-({iNP`HCZ z{eeozAx(|uq7@C73)s#bj9k(5Ie>loLaB8JOjk6{E)aj$vH8ZXt%ZVOA4|nJRmD0P z#XRkGg1B^px^-ggzou7cX71lA=i#>cTK37FYgHPSx>3E8q*sRO|GdA|&ckudHD%4; z%f1Gln!HsmzT4XS_2wPYTjq5vcUv85^MA`cugm&-Rg})^&8=38TYm0m_jae}^So!@ sz4b%B{pkIYhHz{0KTisO#lD@ delta 30054 zcmZU)V|1oLvo$=iZCexD$sOCa&53=-oY!V#I6_NRI&K%kV5<~koy zsp}&l!s7KyS6A?2;ax!;#fFHld{Ziq&ZwXrxsl!4{o@H7;Qb@&htCB9aI7opN9dWi z#OL#-#p5pxXdhpOAVCO<^3nn_PADO`3}b4hls5*{@o+pQs0hF|0-8%gM1d~St3)wt zM_=yRCVr~i0^}{m4#oz*m9U0vYyU`AFk&~kSGpjar!)3*T$yt|usy&&swvRkG&)oQ z?VWX#Xf-wFE>Tt$jsG|jhG=t?@iXs-FIOW7m?!2Tl7o(j zTMPz7kilB8c*YiF)<;$E@ehkOt`#0@1+C4vB9LMtw0^ z8rnakvIx%-T|2+!E6yz=15!uD=a6;YQ;CKs2f|Q|3$nd~C0Ve5>!N8+z9{+qnGa5& zj1hRn;9LZI-}3%DP0{lOR)~)?|Vt{48(mEhB$k$lW1fkvF;Z5hxiGBf`AeTKjC*<{-Z3K|^zEp9$~0 zg_r%x)VsAFz+OO{W(<Y9bAWrIF00y*O(sH zYOWNs9q@H~I=yg|3JnRedti6siD8F5*ZkU5`S`Bz`+DH`c!^T(rxu5@_t1gFFktuc zSK_+qU;h|ZlXg#?g9N^H>UFxemKO%M=I@tyrYg(bo}%^)Z>#U!uje@QAm(;5%?<9~ znMWMRce9QR74DT+zWyd-*d~-Z^#@>ct3?;y|`16*ZVm`3v zh+U*V4{S|4^tT9|Ft6-x|Llw=vVP&gHVIiEqyOOl5b)Vr-UW`RT2^6K5itmXV>c{F zFV6F@Opj!uO+A`w3B_ww*kehqg=^0v3l`*WW)fKgCQlz8+>|6k?+W}7;*Yl}m3c;Z zTctxP%)5&|H`8*?XjCX8Zy`wp?qleJ->noL&bm6OSb;AQHfvOC{B6$*5aOb_0yT{C zsk4pfFctPY(!hF+^yA{P5fiONDKsp+$+AEGI z3mwDJRQIG(#lyM?IfuBiv{oFi`MB|r%xSk=tN9i4|LLhkfPuqzrIt3PP@Q;s+7z4c z^g%u|><7~Qn%_T}8Ijg9vL5s88{;P_?j^7jiI~@NG(>^Ydc;p<#iHlFO8SN@CKZxO0)xC_-XVu-ylRTr={W}%3`DGaAy-`egJ=L~;>sK+j^URkw= zhpU29@nVd zL~(l!C!h4<24($i(VO|i3+XI3hf#VOj(h9EucnX%Les<87?G|W0e~Sr9BCJ6a(+vW zOOH$fO@7E`m?^{&FWk@Uo4$uAx)s=h&q4mIga{!-XwocB*sz~QAkKVK#{?1FsVo=x(hihX zSLi|BM1QqDs=ijUDM=oFny6>e7{*z4$QeroKGEd{)^1g@mrW-fYOiRfR8bpEG|EI1kfe4SJAO3j3i8A@Dx1kcGW1yy^d%ilX%%10P4vJx=>T`q?Dpc|`&2kDRZ^};AKwj>C8g5zw^6c< zW#?-=go3pZNWzUK^5i#;Y!B;+YZHWA{q%d*K89%{rJ97 zzBGEYr#Nr3OeW-|BuBq7>%VYFj9l&tX`zdDU&>L~4;gM;)1ZF)YRhD16VCW|o6=cr5TjEn8X}-2D;xiZIIw?m;v(woy~Ui4~GHL!exo|3)c*Ox)c6TfDopM`Kvq5W0_PK0uc&4g5oq zKv+N$RQ$g&4`vqakC6}Jo_j<$$jfzOE@6%&`Ym+^^Dz^MIJ3T-ov7BoH_BdAMkg2C z-rn4aUYx%_?ytUyfSG=;>{&i+MVRhyzj)2|MFg^J*l9BTbicoh?An1^cs}3gZ#ndz zu^Kj?LndE$u|z=b&(q=p!5I0GMgbwmB^arA?zuTPLFgQfzwP*rk zww1hUUEbQKEBD+1 zIAWzi#tnL9bQ#(rsB4u-Jekx zy{F4v2*rhS(=?v@e@r+?wO^1e5~(gH4>dyuH$0AC>lqb$TCzc!RC8{IN-oqnA_P< z>GNga9M7QPE4i{u2UhrLPwSN2lkBVIqRYtp>`jhOf-JAHvgEy|eiP4nhbRVufi-Kn zglifAqFZk!g`Zdw&WlXzJ&&*jsH9;ggB9ww_?G_IV<7?kJB%j-zPz{F^NukvwHN*n z2OZAtoY0BEH9bwb!?b$nXz&yRa$TOP(s$+&wL42L^Kase%o_sAz%FPYQ9LX%%v39Q zz61w?t>wzmP(@7zcD4`=^Kzs)Z6M%$dC={!)UPlJK;>Y*MNDj@AMohlb3i&5pKXiG z_B)>@{$2nHbhNO4BoXd{w{bcCh+e27?OZEsrunHA_swt2uE}-VDxxq7FC^cD2ts@9 z=xzGDS`+Pj;6QT#tR5mDg;xvj<>e%!9$NQOZMCq1NF_Q#T|J2Kgp#dSP6yYG-Q4y9 z#3**&`EncLn@`<4OOeq}eh|VEv0jG-3MKO$7jhU#4fbUq0S)fy1S)#Y4H=&XVgkn4 zhz1)XaF5#yKjMAA#);9X$IT&3hNzHh37F5R@s{8oc1<(Zke&U`018; z58{?=>~urxc38=VtN(bx=vW3n;-|t9*8pp*czvG#97H|?bB#i!4auQD1#9~QTNq~r zfeZjtox$hycUzM|Dlr&tvK>=^b=7^~CyDUQ*~+MPK@!OtZ&MwT{Ybd~lDWM*1&gK# zQxG>ipn>??d+QP^l40_m#>4d>)eJs;3BQ+`hMJCL zoDj`3YEngf{0)7nqQK^qiR)t$_X-{cG<}#{Icl6FN)uyQEY2~-;3uebFS(}!f&LkX z)DqE${NTOhG}1_}g*+2jIuf>j53$yljWK_FEWNnTG{2YSR4AI6KV~x+miJr>H?|HO z@JKer`0dJr5%A5Fa_6o6C#cM9cI_>Di2+`@b)r1*ZkI$nrXJ#XpR%CtA`(;CqYW{V zO+sSgZ~R~k)G!4xnP>*ysKZ?#MoK@16Z}OtJ(fSmVcu~2kbYq?%KUwXcto+MnX0dulK64cuCeK!F<+1TWn$NxeZ_bdx#u*-Q>QMFM-$ zppk_eiidfaWztxvB|fxrOqr+k=ik2o&;p)t8WJ{t-_7^WvekQp8*s~8x7~&+m=_qH)uoKME0$4^96bs>%V56>J;tuZ#2{P&!T_#9&~k<< z8_m2I0`)LdLSt6(t$lYSxmRCN4(ha4vVq#IR!j}(B7!Y*hGKX2KBz)zI$L?yH%rg9 zoptxEtPVZRYIY3#FN86&w4AbTI8?hxNi~^!&S9}=raifLr0Pe* zny6uspM-uvpTmaAFl%4?-cLO&Gna8pJtm&RQuSaJ39`e;Ov6!lz0-Bjkb9U8{cPGCZ1LcIR4nTT*_R1n!3^;0_nwS_EcwO zT&2=EOaqM?8O)M{Q-qsF{I{Hcl5eXL=)cuvvdI&!UcyHB4e?V0FJ;B#^W$77&m)=d zB61ouv9I>iyf+X?T!J!*34R_!C*6}r;tw5F9MJFmfK6RddunwCwMaL{LSW$;>`$>| zq3PJZKu|u}waDSZLbE|P!+qp&v(9D$7fi_8gc^h7_A8|QEKIn@OBcNIf~A!b z&?hWR(y2e6tLdrS(Qd3>vL&fc>x1)(wn`R%$yHc^&t}Y6G`B)Y2ztjWZ(vU7+y2hj zYKqK7~`f7@!t*lpk9esy}jbPZH9u7t{b5M8uo9=9G&hvvWT&Nxg?PB z-R1V}5vshb!&4C#3?YseTg$x+o%zFB;A)E=ESVxW0p|8k|3C@$qCayoi)sSmaj31_ zKZ4(5_JGA?lkXYPi`8z?J}>1{TPBAkgtV#-8441;{APV0KFeOv4G1AJZSv6&MunQm z+xZ3sv$hsMJehjA2-HD|(CA8pd|fZR7&*@N!f<(oPZG%E>;Vn6AM(nBKYm}-tUdh| zA-~9`qv;bT1eFyq+Q_A)WDATp1Ms<_S{WY}@^>qs%2r)gduDzX9Q|S!V6Ycc@9zfj z0dYgT81S&d7NoXZ?gn3s{UYef*m1w8YjlXx=*YAI8dX)PU55E!3x>d#NVkY52`xag zWP1NR6@;z1+Zb<^JiW3{pHaO>O_s!AxT?nQ(%Zj=G4K3yPJP;670_AX61_ADTet@l z+P2%fyYi6uF^VOcbI)?$)Z*-Y=o&#i(+JLtD_RT^Pd68ksTDVLiH z$QrN@v{k;6I#{JtG;a%*;vw&w=D?$Vw!U}kI}zciE|}(aYkFqxBBC19Bi9_m z`!yHSdyI<*;6rxyqsIbOmj4sFoFHoYQjiKKT@5BBH-G9L{#ijEkH|}hSWBEigeq7nKt5)C{Ey+OQD?eT^TRWaC?0X=E+sN~w zP?pkGy}Ei-y;p{VWpDvHF%Hr|aMpd4CD|+R5@V#5?M_zo#1?zW4ccf)x3Qy(`3m|2 zc*B0FnG4d{A+5J{UdhPkvb$8m6nWOMcB8BbCEc^pv9CkNEPZP>AP1GQRbJPPpAy5L z8dGw5u8VM{NmzlWoR_fI^MXouXLqhf8asIWQifMl&hU%3vlIU}+^yC6_IIUlZ4+f` zE!t*B`KLaw^nZFTv@NV)CsAny4V3eL>VuR(*8hEy z(3{h<31UKr-0=pAF>s3C7O3$e=PmM>o^x1t)Qzjg%9k>Wdd~s{C-J=M{QD9Q$f-u_ z68R>@cv;?69?gWvDs+@+aNjC^Mr4&)g&cZST9404eviks8C8%k>3uot8GZOgx8 zW1Y9d$|alfjgU$TXZQ!z#^7AZ#g8<9Ri-+}>#u6CN$Mx;<&)4l6=OC~|IxOMFa3)4 zChVJXeH~xq+mtIljX`U@rE`GsoWax<#%Y|>_KHIaQT#!e-io|tRkfr|i}nl;@y{m$ zW2!EdhrVX@%8(?4m)OTfLvUrLq@SEYD1{a4_w`z&E%f}B(3M&6@C;@AU0L~GEdQsf zN&#fy{6AnOOh*0#Gvrx7EQKI6UkOhK*~prfOZK>=87Xe40_`7`dJmVw2hvz*iZ2Py z2OjnxoqS2sF$3QmU8RQP(W*@Wc{#s-I0dQyj14VJG1eXF5*uzhKBlS`^n_}7KlTN7 zcKc;c`3_?sEL&KX@Nxpr&x>+@FU;h=-OT{{LdHcNvBgiM7az#w_=P`KDZ^&@M$W3P z9Bz!CyJZo?%Tp?=JrCW=rOtU>a>Y?Sw2lNMn6po8u-UK-TdjL#f;`R0>5q~X=oWPWXRPVG5|Ldf$I%GjhKF{I?pLTlWS#^eum;AMa{o=7#UZA7c6Br<}ym>3T9 zGJvo_uog#M0lDJKJ`jK$a_t$})o29|thW@F zL@%N!t3vVp5j>kPB8=I2a|!27sqca&*`2lO>_*w(mSD%KhSVo;(mY{>ysWL3@%EG_ zgNoI@IOfE!w0QW}^vg`eB_-=3>Z-$1awVrkBm>w9yo|L|pWb3 zwj zTnvK?wt@5tQ4&{M!Wlyq(_30l`v=JiIo`}R{Lq8NpXpN^0T+x_b3Fg?nS{uazJr{b zgNjIkW_`26kcX4Yh^hyht{6Xk{O?07r51G;af6CasJYd7fmL#WqEbcd%6dg%S+saiXxyn;)&cAeCeas9a|i(jFdnTohx5Pc~=z(pq)eB z!`{iXYoa7YdHaRbZAT}%9*b5N#-{hLTjPXl#P2Ql>7H#j;AN4e>0AB%@wx_zz5rrd zWBwi0hQJ0dBf4kD)^<%-kL@27TJr|c@X9zJL0@i2?*m*O`RcSNgUl~=9c+jd>V z<$1Qmd&vq(AZ8)DF>E0US(iAA%nW)XBz;_oP^qC*X)ac-YvC@_9Hb`>wFIH0%m6&} z7#+;m1MSFOF$DJpxlofip{k8~t~FG?HEMDlXmUV3I^hm~!4yq6kJLCt;WCEU`+Zp$ zGJmNEV48Wt8ENYL${Gscx~gu!jg4M!+DyX`{05nq7MJ}myZ%!dOJw9l0Z!TnF(C(E z^M%A#mBaoH%94hrA&E{Z7qqhSqN**F93&3Izk7n1E)UZNJ-zp`=o&{p>X@8rE`WZn zu7SlBn_pX-ZR=@`9Eg{%LNKK}YsO9g=r|iAfxb_5@}TEM-Cdsdd-QAd_Io|)m>WCs z+x%X54x6r8$S;PJ5Uc@<0H%4i&{QACw`bXT#TN%4?+zFG5N@h%RGxiFw%l+1sTgf~ zBDY8M+;xu}XZlc-a6?y$Gt-yfvsW{i_oSwED&kj)6Q3UwZO>B2jH~({Ocr0OE9;iw zBuagC;frjXFpo4*h{7&JHqj<22G|Uw5u)h$H-`tHv$=w@5F==N0hRH+fBYiUV9Lfs z#UKP!jur~pAhWq58Yd%If_Xh80aP4>W>nKe1Gf^P8*fb0W()$`PN117OR*=!$Q1Iz ztiZEpI)g3@uS5#{<9m8Ng1Qdy5XAwT)k0 z0d`k2Ov#DgUp-@Hqiil|zr72E`lU5|+{5v_&cgpsfc|wG{aGm!q4|k`ZbHFJOJXZ- zscVE!X_N(c{}hk^VY|j$7zsi2h4Px>R_>#7BUKu4;G3DC#*ny4wGXfz9SYVaM3yWe zLP}1Azsl&4{`B!N@(|Gk_$Ytl`@Gufi8-z|D{p6IpE2|dHSc6?=+uYJKn7vgW#^MoE_I{KBBI)GBWbkD2R4{p3F}0;{Ii)xYF6RG= z9vj#H6+H!q0w(0aYadvm4sEp$RyXy?I8v zU++r%f<50KpD!%Yz%04Mck@#LDCh4d?Got+7vZ~eJIZ)w&afvpElb-AE7Wy6a?y|a zD_^Y*xsA)WQ%S*(9>HoV&XtB%?~1jXlCG(Hs%TTJcu_N)W|`e7S$@5vskrlt^nAN| zfufbAa}{yZ_wPNYAhY4b*JbXU?5pJm@^~wpQrJR(R;VTcBm73RI^Ajt4FTQpOpGC1#2RcKg!cK^r?f>FCB)V=RIfkfp1L#{ znYYz}S)bT`3VCfjEr?=ii%j-@ERZtW`+N!w1{hn6ynpYP{~O!?6!n2DT>qz%uNUv| zFaJg!+J2|GG8?A;va-=YHafwNam8En^JnAM%cUeagX{TZqw=i_0{2VxjyY!VQ$H$7 z0DBQszsH5LEJVfh=GTsK>{tKE_!}T8P=3EJ~Z|$^QuER%Fda9s#v8&9aK*7C2ck!|9{#w5^_- zTplvXUZGb^7~N(PX6^r1MrE0SJW3bt0%6}W-Fj9gkXu}5A$zQ;MtVzi|bt+ z2%E`&<;&Q0GNG#JxyfGXY(*~JH`vWyMdHDHJ8oQc$6gby+nHoAVSmpY{-VElsWk|b zR&@!z{aQ^3H%a3h|M0v%X=XkapD@ox_PbW!=6y#m@LbG1v3q&8qOEUg3!fz!-^}@# zZPsXyKNa06Ducrk)>~C|afnK=HDWlJ4E&NBwA~aelPG?3Csf#V<4NraA(-eFb07r& zmBurMpZFn6VgO$Fs~CWmS$Bv&z^s)HS;s;-6_fUBhgv&Oa~yp@JIxsRXC#ItNFZi% z02lA@!G)~M3~X?>q^V>sg?>=37_(5+06ywNk-H1(Rf(Xr&nv0YZT{&q}@r=irqY-{?#Yg;_lJ$zdtc9%uF(E87JHlHr4s{BslTYV za6j#0pc{k$LAmJSL}ky=%vTCx=By*9Jeu%oeSVz|Wd3q+a_+f)UGc@tPT$RJ`P$lk z&&EJbNeKoJ*J^c{i#X=$%p3rv_BkcH%s}jojw)o@NH)T1Id^{a)`3nf1>*fY2-Vt) z?+SVM(s5hc{S*Sk(umIzLUAR+cb`3x5t z2peGC%K@#+eI~-Ae}H#Ot-eWu6nhaLkWFW@nrjs6C1Ez|-V#7*R-pvSW$;XWaIY`f z2VP2ZB7N_aIsy%JT8I_alhJIKWoz~D@COYZn+P!QP0tw~f5F|B#oxY4M@M>?s%!#oup_HtlyuxCCMUqtV}qYbQk-1c7< zX))=w&TCDDMO}icG#t~aO4#})If;Gxa%A7H`qp-80WCiQzm3942AGVwm?N>}ev=HL z?uXwFfE$xCr>6O;C5-(^VqQoe&!N^9U z;3!g}Xv_ohq$%NKdl7JfB!OXp%Yoa$o#!t(O#|8uX!H@(AT%SjwRLHxbxV6mHzIjK zic~%(>6Wj5Mx=lbRVz|H8LEk~mBQYw4@{5n=Vce370bc;W?c|nHg9xSDyzrUu8P~e zzV~mBR~9GF?cc>;MI4`YPImf=GLSw@hHw5F2?St**l91lzmW(LwOLAi9jALcAY0}c z9#SW?i>;t}Mc;QPkPL#*9mDh-Y|P##XKM4Z`v2CJ^$P%rdae~(Jy zf#b0yez*zv2l8ij)LC36j5G0a7|ns-SP;$+?s&V}!48~84}1EpsR{kFM$%dz3s*ZU zPgg(denf<~SB!NzMxoZJh(Ihzec zRtzk-9`jqOVTvU44N`++yQ}D7`4)aa18YE&6`TVw(2d`kd5!o9gy(tUio$hfAYUzE zxS?mD&*!G{Vl7$cVL#&e7BFLlqDawQmF(S+rB>*k@u7lD_!j|11;z3vF$P%MO7tdP zZ@n%{2mV45$D2y7OgR(pU+JsaD`hZuXjQ*XOj9 z!Ak>NHn0^rejKToJaT=Hgpz#s=b1>({{fRP-t%|Qvs#|H?uQ=LEp!{Te`j`9ee~tW z7Jx$!RSdn!u4^z?zlTo()h$JQFWH>v03MXI$S(%|@bE%!5r1k(4WLI8y)nvCI!X&^ zp)GHr!3_0BxJb>mslz^q*Dm_EX3OU!8r%n%p}WnJB@Qc`?8iq$(I6->Mr2CX>x= z3jYZgPXNbtTR1pD;?0N?hdi8Gh%EDhS}k=vU4WKT5h^8lP!*h*oW4#>v{@~Gc1#J- zSmPqVd}q{>KI0X?ZX}X(g{KXKozIQ~`iT$lCkM8ztTdIJ6Qw+1E-8|YiNw+@5UauJ z%#V#=vUA&w<+y&WBi>bm26X>)X0CMY>@Hz5XWHQv{W&KbW&;VygBezfq@D0_3Zk?A zh8@ zQ4yvfD`{ydC8?rhWNuG5GligkzGqsbSh^_9Lm`qL4}4}IePx>P7f<|44cM8TO{M-S znrXywm7IZ`$Q||gGJwhs!JZWR5iNYa5({N))Y$dRfsEQ@^eJg>>hAN)d$bye>_gM- zBG>%F)dAF-dhm47C>)Kp_~smyrIga z;YoN?$gpx{-7(V2cKy)S^xh5F*NDBg#uhu>2{$Am&X&0BEeW+|4lqIB37RpDx+6C- z<|Co&Lu53(*=bo-{tEUa((tFw2N3sVVj^AfrQOIrBiuufDqKw%QJT(|5M%5w`?PGC+z@_VrFlOVq$Ll9NQe!aZd!11owU+Zm2y8aN z7>+wji(3yklFm4QDzYPPC*^Qo6sTa#h|RVv$&u&gJ>BPqqZ+WxTF(UN3p=M7l`OvH zo+1{UVlu4o zdB5e$AWbbAc#izZzvff2d)WQk)EN?Xhbdqy8s=e(H@7?ctA%XBKNPRj{EE}Qqi|d{ z?8}ytxoDPsD}Y}1++FdXwtPxj_j75^jF3K(-3@PS6ELyPI?w^rVps+jPVBKBFbkL= zq2MF6Y+ML&x#Lmf-YIn$0V$UXL~!w=3mS75i?vpxzvVoxOJznV9A#v zo(MwAeJhz0bkkCn2l5%?SHiuCY46s_BoI#`4W&^e6^91GW>E%}*j>dA)pEzjM)qD; zpe!p0eQyj$?{|P}l3fgAM=MbyF*uBIg+aJ8vCg8rDne4CS#Yi5|Y}eG);u>{oat! zE9EN?v4jOml%bMERQ>CO;3ytXLM|jKxHvJoVMNd~C!=?wI@nzF9akY>`Muk-e6`|# zAn+}}^Je1??lgHoW(RK8;$?)EkHJ299{ju6+z~G3W-8+~q}GtJ(uHcr z(kAn40%+DWm}p* zt*tM_2XARCA4|Kg(d*d6U&mJ;y|S_%qc$r=I$(l3TL4tcCR5Gu!l6bwkJtYM(fP=Xw2AJX9)UwfxeWv>VJIQU1-!00}t#@^gaQyuTL%*4`Flbo`j zQEE(^d>=8j>P(VC-J!5SvIQh?_1ry9$YOb4YpO^4p{h)8SrAfOCukIkq?il0>LMc5 zTe827N3&`$9CO?M;JWIv5M4S!sTZUg5h)T@4ZEN?c0BdUR{yxS+r^tB5sih!6&VG# zmA7Ed9d1G_nm-=joq11PD)(e`R(Mx*OABBHXSjBZpD#JJ$Z&Ss{|TVVMS#&?=lige z=QRVwE!&2$6oecGle=QBXQ;Ji6zo)Fd}VoH@+g^@WOyOTAgqmil9xr4B0e1Il0_+;{=m8_bL2+&AnyCF z$WuA(sfWq=;}&Z|PJ1>igrmK7RQw4X57M%(o8X)ZDcb47dm<3r?))+%oG}%-B+Sr} zXvXXt=S${_-Fz6_cG}g;@ZjVBT90%)gF0wZ>l>Bgo2u-;#Bac}l{zjwtxyJ%846KT zOEWT7=2e)C1qGSp3v=ec2)rK_(QboS`&*?Q=BTkGe;RqJfIE;6k34_{(8Y*t7aUp| zxjl{U8`wbNNvV|z!W(sR0*5&s zo?j%Kc)9{x#Z@z!x5iL|{f0x{(duZ!QF_Hw$;0zXzhKPk!i;TDu!NMOfdtc_1oa+R z(={WsC1NdM&D;Ysv%JZ(NAJP%sv0Ho75j<015}=>=$wak0b+8HXFq}NEm7S*-&q^UksX2Q?s42QA(yJGEH;}I zXwQrZ?N7_~aIbvctZ!8&b~Z{%^wJ;NFXAs)GeO4@B6&QNA%neHSdPT*>V?Nqa^OM7 zUHjlaS-^RsnQGQW!n}ZKb}XQT)kbZU2odPtjmU!*rsRh#p6wT%F4+WWZ{ciNoCDVz zn;+Z?q}l>O<>p(;E$tuF%ROTFU;Kv9t_v<_4u%r#iN5$POw;Lg&Q5x06JOHG2K#wH z$GOOFXu!g3PiXEpj%<2-2QQ;_+iDY^t^2V%62?{DJ|_?&OBlE^^-AtHi4k>|xR7B9 z3B*;TV)&_15w#+nEKVTjp7IIRpB#r%hU?lMh`0P|t0){Jo;8TxSILsXE4}o$zXrg` z)nh?bekDkD&)cB;PLxq}C0J%_t}Lg}Q`TwguP|%cuOB40o)}40x{Y>rD3#r@l}gM{ zDVS6LOXqh3ts~Gq#!&~b|Fs<>o`R*bKBWc)%juJbD?a8rQhiqq3DhG$F|grxLj z5Ip=smU=Kk$=Izcc%boU&Bwv7Sk;*s!MDC~WiXTf8H|keRde8{MMj^vh&wD_+)vMHuf2_g2K8q!v zZ{X#DP2*1^mK)B3eUsMM)#uiV7}rN}?}}No0=a$K7s+Q>?#_HaRxKyk(R-!sJtPpn z&*RXW8W0YcNirn|QJ>EQ0_GW*yDo-nP(gS_Gk4(m0*ScF?u?zezCS0LZ}ycQQO+BVlw&{HDHX*jxTrE-{g{t4oS5Y|&q&(>)xI?&eZ z5D8l6^a&TeC2zO_O}|5q!o-dE0s*}E@axoz5(7C?bm<~ti1{(&mE(e`y)sSd{a1ZH zw2Lr1fDfpw%50>InfX=XG>R)Bz69p0jiD7OXw0s1_T@bn?}k;8&PkL|-4;LMPR z0C_ebH4m#2N6ttik)4*2kpE-6nE|QJB&Cu$b7dq&^xu5ed#vdJe#acfBOlLuTc~=v z;4m_UT78Y!A`WH)0?uNKdR*6%eLy<#{XDSMZ?BjE-Qdw$n%Ma6z|(&#{RuburvS`{a#J* zDJ`we&pS-ovhyV*0t;;c5h%7XRrQe@QQMVE*p52W!lB6`FOPQb`G5(k3I#^@g8llo zAd6poT>5nN!esPjoOxBh$Q}@+)Wk&G+xryB#O`P!2p8?D7HoB`v0I}Q0FrsMTZ&RW zo`||b_G^Guma(Xev?R!;VKIhD(OB1N?xLX$*~$of`QqaN8IQ)AL!-@ta@024Ji@+E zqI!CXz&=*Jwd5hX#_x;qj(}rc1r_|?{L`!`QkX45+v09Doba0RHNk{c$^e3Ad;Y4G z$qkw|gK=XVPPKYAA4EckTI9nhTBB}#sKz$e+Dy+ty5twKElCkSMnKKFfndHZci=f= z8B(cp)4l!`E>v7d+eR%=&HihnUxBzxiE)jmdu&d)3A1!T2`10Q5je=;TSn5erF-`B zR~5OpQteqrXHGJ}PS@i;03!reJa$R55kS5%mSP z#>1VdbhztyB#;v+?!3utV}|8VDA~xTWdy zY@I!t{L!@Ae&B_K3#p5M3pC*b#PH~R`}}GNz{_m604xe z(Bq@*16|D=sLa@E_D3tG<;E}c9Wb)m6SB!=W}FYZ1N<15Pr^k~@dTfg8l#n+o?HZZ zh~;$4hueA2U6$p1s=`MVGSXG5gr9hOy3|opQtSZhJx@R;hxh*-MH!K>%{y# zyz<&`M-fgEsgrC)D++A=+Az%ljR9Ukg!z664MupQApy!Yhc_Ll{=Y3-QII$jTda(X zA1?swv(mIUQaD6=Jj_?`zQXg-Yj_&%5=NXaKyhnPinG^wil85I9tNQ%A4M=2ud^h_LvX&xL~4ropYa*3DRVhfp8v! z3-QG`;zH?G9W&?)MM~QKVLVB_#tq6;3mADQF7?v!#XmgMEXdt<8cD@SWW!uGwJd-5 z2wrq0EyJlCmDHpNS&>A!xpt$7S(uf=rlH!28$m|(wT1m_*16``K;93sa3=g2xgH*b zX@j>9_Us8Kb_Hjh>;yFMFp_4-1Ep1d9`2B3M$;>GNh%p`RkcH;+;tcQNTcuN%|hOF zJs-M=0YIX}4apU*-bCl3a%DVZ>FAc~4ZgcC)c{pyLE zey1C5)ksyv!sKHx(X$iE_Hh@yTqeC*+d=BhgO0ymhE|9M2yJ$-W0edZ1M6`jJO5Um zoN~F&aH%p#AI|>#e75kMZC~O`skxiBh)4L6Lr=|TeU&GL_Of2=sg2+}OJ zHRP|`bKIs+qbG^-2ZL11(H5jN>w@Bp*WQViG6)tuX(5!V8k^P^h?g@H zrRGjzbs;K>OIRf^=|%q9QY)pB%d32V{o9;FZniV?T9U5_!AFBlH1KRM%g804hn^ke z_keXa^@-TnM&pA^dpl0b=O3HcBq1V!xFHwVzNH9`vB1=7MzRpIqlZ&voNf7Srk=jcI=v+jV_)RVFl@&vOIt{ps4>`-|EiFjdm?~3$*-={r?I%tDroCbVp=@!e|-pujA@*x`9z%+}pdA#AZf)3Z7*g^OAZx@B$;;c5ne3kxY30YT?}R1zJd zo#Sk*Nat*Mqs#g*ya1O`$c0B-Df=BnzFovyR28{qVP_(BmJsr(e*Wk`|79;8tv9+) zGo7u+^!gL{LOxHnP4YhHuy=1XDgBM&;%E7AEJXy$$Nn>{Vlk+{GL$MfWt82b_N5c`eHl_SyBeShi&nVK!iFKvF5w~=*zx(SJ(1?Gok0eF^RGQr9G%Ql*?<0qOWrJ&*rWu?4OfrwaAS3I4rc`cgs_-@<_0yXjv9 zgK=b(-z1i=ZdWhcIK4?Unr5QC#rg)=2qus;iJCTsrJg*#YehJMk8%`!pHZ9_ zRl&FLfRwl9Ra*w5ZVDGeZ}iWA996)yurG6y7oc(udY|C8y!^tvTVR7bNkz$y~ z#gbaEaKij>;b6UBVawscZy;sqb1D3ZLW#pk^-uf+sV}2K@cjpBqXNA|5@H$L$AH7* z;%x5YdP#`Zg$S<8Ag7v@i_?z@ z4d_A%6|_=73Bme5<9L9JkDLAfrH3kX;IuIgTmRtF=Jl7Zf2hNXIu6NJv9U@sP0*Gd~!H!8{w>kt3V{rMxp*C%wS z*xk5TbY634=oN^XI{w+U`P#Ah`e8ywAx+MRZ3n#Bo$^Gfn#~?eWHwN9P)nlXc)5l+ zC0@Fq%0I#OOV|3fqjl0OcaBi})U#Wu`GhC_s)S_u2o*;do%>3iGxB+r7e@h$AV~Q1 z(RA&se`S7vhKD9db=A+)qeS+V0u`J6i#M(}Vp`}MUXBihj#)tK=8cyMBcLEC!lV|T z#sL5i>n&52s6X8(gZuO4|Gu@j;fy2t8IAi|a6383XDBCSl3`w%&hB{IS=}y99XOy` za7@8_%}Ls{YX_*x%R(q6b+3(XPJ%42sPNh)etx5$Ol3=N;*yE)8N-$d6+9>k&FYOC z*&4ddx4HI%W8wHYrPtsvrunxlw_g6QT`<5Kp!+3@#|}F#rRVTAk)30JWjqZ;r;x#v zNI5BE{6S-;IC>>wF%GBCbGi^i&^YPiFcEo$q}OX@HOlS{M-IpGCkv0_+eoUvNVmv) z=T}OZ7@4oBC>cE#>^GD*oHvN<7-=!%Uk}J`6T*gXhY^O+_o((P%<*aoy`go2+9QE- zF-;1)1dm}Ka}4w#d#OfJy##|{VoLm|+SP^^Bq8L-gd%-KRnIFshz%nPu(SJw1 zB(sA3+#Ytx8ytu|#S?LO`+zIS!4Lzw{3V7B#vK68`xzFJIfV?q8VY;aWvx^Kqev~q z;1ClststC>yO-})b&Agy*ND}o~AwJPkQG_X{4fI4Zn}lziFZ{!h|TB+qan!;=cE2y$Z3&8O)N;s%~ccjjpeAh(P+JeFyE;pg5wS$b=48k)ZfUdcGte6dcJ z%2SuNR~a_M*gDS6nMWQykJ*#dj=)ZasKfe)b(V(de$7cZ0>O=i@lF&DO>-QVAi(ri zd7M@8&5K{SdssH?W^#G_Wv>Nl$Nce)@96QgigiAFHT{|n)Nf5#2n|}|1l4$)n{hUc zaPT0bbwgqiZLGk2)*#zD7)2iN*1B*bo0qgu%AL_!^S4hbP^uZyC+8T0g{KnAQZxBP zlbgWzRJ*ga;yHzvL*P02C+Pi-;uMt?drt{@@nVDXI%(9l94>lO{^SCDP(lfA*t*lm zMMU*G&WMLn*QJ>3!JVW2J|mzz*kIxz8F1{j303>rgcK73_!O7UMxhkN@aZ?QV&h(6 zY{GkN%&xwN^Pr9OE+@hI1eRfR_#b1{SX?^e17L0^jQFw+oT~lqNTr;m(d_aXh_WcZ z8*C$0!AxIBf8x`5Fp>bi0h^_dTiz?VW-NXAKd? zEf&5CDHu2ycmdazCef+H>5Z|7e5Cg;R^B>S$7}YVXrHQ;CBx27`Z$i z`~`f|#hd3BeZTbl&%K)Pt_2cG7I#9&%OQjJ@MU(_2xJLJ`HRF$hvIv8qR0z<>A1X> zJ9D3tJ2gAukT^j9vx@!T{u3@BFqec{6th+$9?J(qcG5-Y20ww7kBhH^y{U6zZB^b6 zLS*kESu5(tv_deZiL9mfceC`S0lDyX2t$#moavKOd!WUM2}k(3*T{zXtC5%TYQ{k~ zY%?@`c9Q=5z($gklRj_Ea=V+wIJ)1c&{<&UCF|-%eLA3f?Zlhqhbbu{75*lV7J6L# zYxAs_U5^Pa>(0PWv{z#KxtK?39rf0DqLDu;J$I#gPwV$Y%@S=XWz_zF4SO{E2@*ef z{|M)X%_S3y-`_F*Qy}f!2poK=017itAPpKyL4vZP0B6g6SV*r6ieP3fBkFsLw%zz# zenNM44l7{6R^7sQFiO6|i@CXxst0%X95_0Q#$dsIjPQhz!SN4y;fKiXxhDKEUr>oj za8rUft8L9_Y}f}KDXSovY-!4ZD1FMrA0LK7?drNfO0$Vvssy0`4u@q9i{}wP0 z!Mt1(6nfzSI;JU_-M&R;ew$+z%F79Ph3dei#LyvZF1{3yWBXgD#Yif?hZqmj?o0}{ z3(+Vtn=;v9h0#WAjKOS7=KG-I^95P?y?G9)bRAk$v6Qb0Oj-tw6(>32FdM65vSn)= z;}AI6_u;dd#=q|?X6w+gAd>1FHg7NufEqyJ{B#_Ay#%%pgaL+i zk$rff#h%V2Lr7lo=|W9wIcpHL2s@hA7$aaoU%R5Ks~6+#8o7@y^IcWlNb~TqgEgmb z@*7o5z-S5Wm*jD%ajFzo-7T^Dxo!T%AOTy%8+7&t<%EP78HR;@508a&iQ&zB!{V!# zKdlU&irT#%M-|W#k%8z^(mJ^=3c_{RICa=CMfttfjAVAS5h_8)c$Sf{$9^I78khhk zNr%SBkQH+PL3n0)7=m!n*``VhhjN^7V6O1v`@egsb&2H8oq(sPl#9@mo<>cI(#v#Y znBL+gVz^@}#VjuVMYDNwH=PhwK?;AceK3r1Q@6f2y5w~Fn}((B?41NiY#lddj^bG5 z&i&uTY!0giLcaY8$gXdALL@-dj;o?GyGNlC0%%*ehyrgbS1+8(+M;H0jJeffN z_cT5OHli*xw$o|or{2o@p1b3V zX!`N5qhSTdv^90L^e>C4%Hr;O6KHCbntZ-jD$2?#ko^sLM=2h=yX#pio-tMjm){>R zE2S%O*7+gayna%%pe?yKtrt@Tcq znt3gD?638Q8)>?1;Kz3mFB^a@N60OYsP`SThc01qnC5=*VP_7Hi~(XA`*(ErtMMDS z*cMn>WxvjXzWC0VD+F0`{m}q(RsS9$lr7cK;jfP3XoX1Q)&(GceTC#mC*gD1@;ZVU zcfAbbR-g!=hFGGNN4lq~pvv6yeqz^MH~+3~GW6^LR|j<$-76ZAoH|}0DN$DUaSCc4 z(@0Irk)0bIo|lB1QvsljszwKQ?9Af++Jq_LpyjlGF+y*mo&wQh7QznJcW{l)%L zL#H|w=Hw60aysd0{|WmE;h3!{;Yv>RW7T0L1c&w#8Jef47aB1+KVl}NJ&^ba3yO#{ zHINzPfV>$wM7?lt`z>z;@ysiwsG?H1jWTK#%24;-a{XDr$N+eq74Mzt#H^oj^t{`( zs3b#$pxED`q3S~vaQ?tF3pDRay<5ArD0|p4?fZMu@gN0Cu3rRGgZs|bzRg8b(^Owr z*hAocV*S`{(mt94WggwgDig9VU~&IvaJ2Fzqp^4?&uj;(|A5QYTlK=opM&N@+T6a8 zhkv3Utr_N=Q4q+&3bG0Mql)^XpRHlWfc%aB(O0)jKeVXqE*cu)C*Hw~&L&+WK*{Nv z)}lZclO!)Ujw3bq^-kZ?b#vE``q>BX(2U^&iUqk_Z(oybK5|u|1C7A!r*EJX$?wH6 zUSd#5uT&>WnDy|MVDiw^#!#!}{Z>7Iy|X$T+$V!L*&nu{<=X z@}wj@D|IYpAfsQEo8m|huiZB2dXK|d`H1_B0YgTje?f~)GSv;q?;;j#8}LNG$3-NC zEb0rG&=qDs(zM@Z$U`*2Pi8CXmRcD(;Erl4$h<*@W@}o^r{qaTy0=J$UXC1v!#%K* zP{`m2*#vT0EVG&VG-T5IJe@e^=nfW*iLHGc6syHCNNhGiSl*!Pci zx+N{?(kvCQm%E9s`1dN@U!35<08q{}YPZW{%z6UW_t1<>t>H_V&buByF5%ysW_><$ z`LQ!T!r}nXxzmlqPOqerzqnGi*%7aiTt(pe3F>IxhT6OE*4T|Fpx9-KnmyDeHlj|a z^Dwn0*OEFR9F%3pz7JB3npBTm8CO(816-6S_}wM>GiOqZC=Gw3S1RNM!>3t}4i@=XS~zv0k8Mz6iuY{;XA0o;Sm%tczxKzqc7J=Y5CQ*+g&G}b~YorY=RH$_gm zxi!ysa*K!Wi#(i(D{=~?uaX+|DqWMfNmGGB`BqHlzZMsfOD(Kn_FTQ5Q1&M0R8iE< z%!s|_1$t5-bsUUBHJ>oLc2^5YS9)$3}CA^=vBp= zjF7+i1YB@MB6L$ZZi`6yIdkxPi&|gaN;p$h-D` zzxh?#xJr588{4(@pODgFI9IxVSKR($*5)>a>GUa}s-b6xT%LPg1I%4kT=X}Ejqs?1 zR%EZcX2*mhJB|QsN?T_^Go`iO;j>`)Jq9U(sWU`~#m~{(#Uba1fj-0(tE@nbzoxIm z5x31vDVl@)a0yH^GeE?`qW)WRjvCP=d8ki}c1($VO9R&ZMQ70R1=rotvK6^eYqs?~ z+Uvsmi9@P#yLlvMuaATxVNLKmSlKAc$SCH%lml48`7+}AJ zNSC~ZsKsUsc50v{tUW$r=@%HgE>R_ha2xceM&HqxjvfLV0WjfCmmj$Qdi4`BhATd* z$>jl}L(`6y^#~%U3rT^VR+*)HzYqWDi{{NR+gL)Lld3dCLf2}+7jJW7=|850&Itw8 z#Yt>1hyrjwo>w8&-BNqUW4|Z|0bN=(e^k)#sb{m{8A(OD$?FPcdsBB=QcX|~!V*@Z zy;#FXAM*sD2LVE)8U`B26-#}@lhFvJ?^V5hM-wIlIJ}P9y~m+*mwYG5#dWEX19J$| zVSRGQsZDWw3`fL+TF3kF_R@CiGoQljoPR6X=Y6Alm`?E5J{y1!XDKCxLeniJLNMJg#v#KeX@OlQ3iK3opt5_yErYE-e>p9XmBeuY1ioZtp6 z1h;Tntdy*B#sqnVU9gOUhX=p0CNMI2pb%?RciqdM;&|Z5NXInP!wY1b#r(;XP+EG= zaBYtb2SlJ%k(2-AU^DED++E%6CoI>|%>Ap;T3pwcvoAZF(|F%`V%{rd8|#YynsAvl z`0)BRseK+fKuM9H<17=D^sT1MDyLOB-Gu!_iNlw7fde%IM^cHW6!|D0OV?7p0+ zCLu;RfJ3R17?G{T-uYDBB5F#lgo2#QURP302zcr#Br~IbtUNkS37l6d%BA-8>qotN zEl&iyO(p#a%oDMCo$oYuY@1F0MK>}&-el*Xo6EgHKHe+Qc1-Rw&%Lm{2x4j?s6<_K z)mwoCPpD<}-F39Tc&=Bw8UTM1xtI91z2Q44pys-BfY-d^)(E^it#c{z^6~uokpyqH z33Pi7`#$n1G*rIt2|tnB-eNvtA|*2_Fj&eqrv1v%O<LJ$u6)KAa;p{*5D;BiJ*D=RO?J|r$rT8er1P2Zv4)rg_>T5QgU*A87o@;`}l`PkXwlb0KQK1 zwhv{zN`6PM2@&~P5htp^ee1s`5?E-n%kB8mH51USr>8159rZl+c-HMn*IM3f-kAQa zYGFe;c463nPoh`@uWAi_g@O0uJ!SK~AQmyf=M4kTFj^ReCBx#i-x;mx@syeO6QjHc zRan+di*ZH4jT>FSN_vjrz>F>speB2G$TWPKhu%r!THlx@TBC3=alenqG7N!PtBPOZ z-@L2e?jR~T{S`4sG{cd$PT3poi{GS|G2AC&&c1I!% zJgR&xdVQSe73z%0vWk;nfUQ1tP0Q`@wBA^0q+l|VI1A}y5`0ru;^ph!Q}V27?y0;` zhIMUb*rh_K%wu%0Xg_fx`%YyN^j{v5!@iIr;aJk)s36boXN-K}O?aGf))Zgf{?r6L z$)3EgSK3pl7-mA)gHEhj8(5N!TU(Xz2Q?e|wzZniw!tJfe8ksNFuNZtZvcP#fAV_> zw*M=|p`)`_D{_Cd??-Hf)RjSiF;@DtmXIfT9X5(dJk+N}hb0=lv`e)*iK@tF5+#LT)C|%IEbHk8s{Rjvc@YAc; zBffvHO?D;f4vL2sV+~cPFIB7M#HDK7OEic049F_-rHoVMBa+PVAgh24YYcP8&GRP{`f>~=m0idt{6!B}IY~8y#9TBl2x@g3-!CSFFn&T8 z9)ho&p*)E6FHUnoE@s$0YEN-*P=N$RxGf^Bpu{Zcj*CMWV>^AlTh0|KpD6AnshBeK zH#}HnuOFtQNpZ##0jN}gbO2`~#A66!d2}r-ey*rBVgsilD=N4w%n$5tD0;q}X<~Sq zuQ2E(#qiPY@nt`(xgn%ELzo@D?e=;#gBfW{cdrxwma~o^sIQ`H&j#OSU{S+>(r``> z-E0p(s}@oZxu&!~W2&SS+;WhxirHqqLY{x9?g*{%51h#l$|3&%u>x+W+|P)my`Q+h!>0cQl!RxGN6Q+&SEJLUvE2xZ7qYL=4X;{&rV6h=ZNwv))k6c2#(bO|Z zHCWwc`0A%`RJZ!0LK!mR$zOb=je9zUZ=jgKjg#-dj&`8Xx1zVi0a)teP;1fDzmZpU z>gdy9*yt1#ne^aWw1A-Y43{cuA2AISn+r41y)=o8KrSD>BsK(1cWx+L9=thtuvBvMuf_j$|O`Od~HKnU1;SV#-IIQ+u-s!BC*JKOit4~%8dLY0;p4YQBdm? zMREN`(eCa05||S4c`I07!$!aaXJC_5aT_T$GUVnGxD~DD;s4FD$I+eKAq|*+M!3u4 z<_*WowC?#P4oD2)9VG7kBooOZ{F2v8#oP174pmyWCtmJ#$2BtL4x(8AxO<} z4&_yxg&rzGL_Qo2L@E{z)649_eV=IFJ#s)YpK%EH%8&bz9qOa2Bo(Y?);J?E^=MON+3-r5e0-HoRiMJ*h@Pp37!HKbppQm($C(!2)c&37O3Gy6FuPbGjA%*MneO#1c}=T~7mnyRtX-=Bz$?oNBr*`5G}zpPR(5^O#D2qfb4CR#Uh z=X2q!mk(QJrXf-|R&YA4p=Xvn4Z=DAF|=<7Mf``5#M5Y^uy4+G=CqUFd)8mgU)Md$ z0C}=(==qA4j#zq8a#C=AnLs;+X#sMC2S`fP~XQI|g=3HkcBtHaL)2 zV-SUob`slC>QD)LTA;+h(Ch|{mLrkfY}V)#QK4mFY?y6-jCokX62|7){~cLz_c(tZ ziGjj2nHYSLUqvd-HHqES)C8I?EYfpQ=iHT>wE|E`sPAWom2szQ?{u5=NvR9>Xrc60 zVMo?ukdqh{IJE!H*Vm=ZiEb5C5?5?!`rgbixnzZOpkP&|?b9QOKyCR=t<+uHwBm+J zY?&x;%|35!Ynb;(wh@0mpt-ENCcxda0_nJGmZpgvNPrOWQ?xIW&9KzYbH1UPUi=3m zQ#9bv&KUFPId)%Vv2IdkqLHbp#Eavnz*rH(V+28t)AhM*8d%`0)pDInKk%ve<+f+0 z_;=hC4FeUIW#m>ZBBD+|gM<8t#9Z(4Mbyp$I5;y5==#;RGqrLBA>ArETuld0h8#X9 zeemHxB&Um>sf-7KB}7CF7Zeb(FarfNy#XYhuh@7?_{P+wi7n+Suna#^s9(_OkWpdQ z5Im>G(efa+iiuLmti%I!$O*(N;FjecvqB$*3RRj&I~Mo4IE6%FnE``c_Q+WukSPN? zE|EhTF+FU5ciZ6pof(&&{#0q6jt8HCx*Z-W22@s3V2dbuWr7Z@gcwD2>lcs1Re+^% zE~@UhD6eP1iwaV&gsS|5ask?(Iz`y` z^#$*f*iW0W@&LH}P7}4#Zm!QXRYcO}ydNmj*B)iMOolZ-S}`XPhPg~JC}1Ni?DCaQ zmp{}n;@e(wyWLE{=li2;ZE6kuvXQ(Wn9MJc7>Akbk zn61g>ptX;`5|`e4J&CHT6-kSgBAt`Ww9g$THBcm3Pw83Ty(>v+eSU$$KAOY{;gF{- zUL1h%3e|6Uy|R5XWqs}n0-nEjd1~+9#6UA(sat50g~b4-JxEYE^6nK9VmV80LwHHr zo{l#&?)r*WhX(VQsy>^N9}IcFWO;)cq_f=})o&OxO=Pw*oMM&DY&%uOT(W!pN2ziz z{%F-5@0I%oaO0?)dFc?u?XwGwGWq+^QC92!edg!HMV4CF_xi`o0#%81RR>uSBnNXQ ziH$d&CiG0@z#?4d+DWU`&45{MxNSXn!NqZlWwGn9RG zn1tn}H;70WrXoz30ii6JsSlkEpGTtv8D9q^|ci7`@oE_i( zNhnrOTm()n4m)t-LAx zy5M_==j{p};1(-2$8FLHIALAb`mq^gACd|gT-Xb~F8{JFV=MEECEzssz#8fhy+-4|v4tx}4@Yc!0C~7Cfu%l@TIJ)&!cEFHZ^bvs$(Aa8 zWv64|3?;U4+qez{^OHx4AqKy8@`rz!rBvQZ1CM~gKUGkeR@cy{kea7xJ7=EV)=ni~Bv`rqo*QDNIBSn(?$ zl}9T+jxrQZ)0|fNv?@p zJV8FZs!8gYBS@SPDA3RI8%h`cte~7S`#i$T{|3 z@e8(e=4G4qW>qZ8nTrosss>1M73mxB(=hi#whi^Mj*1~or2GBi&vS6f5>mrH()`A%MqgC7ylx^O#nq_%u>#?b4snliz0ivhCJ zAf61DRmUG0Jw_ ztfPM6Iww=@HI2vJAa{_n!ir$gt!4AnR=DF25(6VKp4u@S`R0$xjgwOo5On2Xhvn*D zTw+IFzdUy%kE|urlKbYfL3P}Di=NWSvjr;i%Je9G7MvDE=95}>oNh^g*)OVfaD2f& zA!?Z%r&7|u)A0mkH{$;is^IS$GdrbZaAWwi}_ zN}s;c`$g)=KHiOo$_k}L;?hILAa|d!X}MU20KFd@u6;exSi|6fJwGaXogAiyNnoMo zDsJRJdAeGSLu>=lhi?~PEMG3mwoB(UbdsqB7J2>qt{r3E%gqx!=v<`(I+KvS;h)a1 zvMe6)0)>4U&B4Ousm$rg)Zo%&ht-4E%wAC)XJtPH2oRU3L~r?e^py7u~VmQE;*QPEV`&R z_g6dgr&8?B={Jk(xGR~8maMu=v79JR#-iC>3@c+js6m=ib-%t3*o-)2-C1Tv7V>Nw!bM9!y zRVry3;4F7_+-vDOKcVswlEXU1>b+b@Gf3=Ff$4MO`aKT3+!gm64ITZl*ZI;B&LUk&#e z)@}{&{fUXq@lhpFu+OE}LS|~9ZjOKN6?S)G77oQ-Iino1A&Hrk`c2u*Em5=OqOLwv zT#_LviUC_&?o;@nP*Ra(6yXiZHQHvLd=mLq3Uw>87-PMNmkaS?S${KzcjlHbzp;*DJ3?qfo<%hiB(h!OD|849V$IjvCQAaryfTY?!WBLmDf!{ZJfF~bi}S7tmM6wZngkwbdv)gkCgFgDN)Kj#*CCHP!FuGIvReE2 z`nAYK6u9wlbryLstmO*odZ3GCHdtc6B4F3%2+D|ysQWfsFp@{cA-UUW|C?~TXb)eGyDTw+e<9k&+@bK?!J25;OiC`xd^T64QMdYvCH`L0=O5>@XK@sgpnD-_0Q# zE61M`&$?c4GW+GcJbrI4N0rQNQ5Z5QtARIxaLZVmzdN6TaO5bQR_a96Cilmnu{}!g z*NqZPj)re+Ad@KE9&lV2PR7g_j{Iy%45}u@dKfczEW$52d*evL`Vuc=&HO<2^dPS+j*CfG3+-Uc zJ>gYRbIp`kL|~hXK;m)6*sx$RYx8~guBZs`{n)v`b7f8VIP&la@MlY{c?FISpL1LN zxV=Rb;I5y&I#c}vuADiA%J?@(n!79o`G70?P|ok|PwU`CWo1#3uQUifhj`h5>O@4{ zHCFA|T@WkIGsu%xMe@<$h1#3r>tDhde_oPAP1Ij;zH`qB(T%?FB>}z8`S4ns8oReB zEmM7QhnIsClvSEf5+`V&zW@cL`apv0rpPS~4l3&FhSfK=!M+I4ZB!}h1`SS#n>uy& zD_+S3&o^1>Iq&-z?T$oNLogUV*4W0pHT(q6@ROX!UBBD1-;)7HpZ41bozy)ezl8K z!=+qlBotsVE%sCEaxRg5ynF#v{*{W#mA(JgzE0Qv+0-pd@UGWqF(roSh?0`k3EW=| zH6giN(9{>VPq@WkQO#?GVcY16M`uFxw#@1AfP^J{|@5rlB1K>q>*j6^9#pz;q}0ah2J)d=2?GAo;H3_ z2C89zMn0eYBz3?Ub$}!2f!N$tk5H!}B#*QcOu9?(<9aBIAa!!F0|m-qzf(3q#6+U$*ULV9F4+=)8MaqW;>jN|@f1-M zAMwP%hBEx|L&zWrn1VgDLi+u0uj_QL76sXLv5!XO5j{NaoLc#Y52WIGA?5#xq1jnM zO1HRTmZp~G?B=rz{rsjMmeCC{%+~#JMCT6UB>}I z?qaN7ZF6Z{Xb6`>_`<|bfyP~wf;WeRxR(MK6~h?O z!n|Cg4DL^_8E){`1XX{4-WkuZ*X;@nMjk>b713}DNthMd&xHQzCxwL33CaX2*c>Tp zuyL!`$D&)$7J8Q@kyW?Gb=49ZRAnE57c>VMW-n#)KTJqGT|(*@7yKOke4Y*6vDeoN zA!`fLFK7xCdWIFj)R=iZoDUV@mK6D*PfQ!^Ivy4d9ix)O2#N|&Mv_s6Y=}pR$^nBX z!;3V=Na{h?hKDhs$nVD1hOr~VLhe)1Mj6Y-rnG1_qbisqL)P