From 394d87dbaa6aa6cce84fc8080233f81b61417f7f Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Mon, 26 Jun 2017 13:28:41 +0200 Subject: [PATCH] Camil's comments: chapter 2-4 --- img/manage.png | Bin 74015 -> 64284 bytes methods.mtask.tex | 44 ++++++++++++++++++++++---------------------- results.arch.tex | 1 - thesis.tex | 1 + 4 files changed, 23 insertions(+), 23 deletions(-) diff --git a/img/manage.png b/img/manage.png index e73071f585689aeddf7c7fc6807127d3d8fb63c8..aae3f8ce433741d23956b4b03dfbc051f0d5242c 100644 GIT binary patch literal 64284 zcmc$`2UJwcwl2&zfNn$tBuP@hL`Ecs-bz$J6v+)Vg5=QT3=IZAnji*p5D<_oIny9X zvgAyYb9a*)==4_OKIfi&-yP#0{~Lc;!f;WmYE{*&Fu(cDS?k@?C#p1mUi*`Rf`aCe znvymJ#rba(6laGooB>igJRgMs|DCgbp!tA;q9mFc|KdFG_jL<3ZA}Ua-&+(EL2oE1 zPJpDKH3|w35ekY8GYSfscnS(;=j7UFa=-&hb9GfE3KIF>mxi2=K*|-17f(DXD5!#f z7fS(ulP^)Qrri$k7K%qo4|KdIw`O4eA6Ek~B-&43WDVy$)!qwS(|HihSOK?#jx$iF zD&{RXZ#9L5`-zAP3O#Y&xK(W>y>f@G)nVtI7SqOlPmB8#)KGQ&h(^}el`HW^4>f61 zlijX&>9r9ljR(xtA2B$MPl9d#LV{khu?f8HjW#>COA{3;*9{a&q0C$4aH7HvMAbVa`|U&)v9YiH&}i zu}XQ`9w+HVYK0$>-92RmoBk&TUgh#ehR5HQnT{GfFpu{Ny5seI55RMsFV5`v4T26u zE|Uwr|5d)Tb#=GW{hHM^|44=2&&5%eTH@WP#+!lAwuU-MEkK4p+avDf${sFo(>=TT zR_G6MvA=d%`Xi!+pz2M}Y8)#jXV-?59!|LxC_7FzWfH^p_y0tMjha^6yFFtkkyP0C zS+~&{-`riK%UTj2ro_{j_xVZPh(o_&RoUjQ56cV4$m5(D2MKVBaz!9&FqFW!-WT2u zYhK5-01MVJmXGy2FoRG^QTvDP8zx$i(SO!#Yz|Im5tbGLG)zt zuLF7^bprAoi`3Dkmmc-#mt^ngcv%F`IB7vvY2aaRDE+eKb9&gWtwnC;@#(FstVj*1 zqWj4m3SzThZ&v-1l_gvD3nk>96m{RX#k^CvyrSx8!S>bc?7~O<4*@#SmrP?E7Y+|o z<(}sHcFQ?loZX5v7MPr=)GCy_vURbtmM2wQJnrR1lZx}3QBtP<4OQ5sc{_{l#L~*{ zjA$DhNRmr;aO!MSuL{)Ask0FW*;6e;EXp^?%XgR-_KBGa z6jb>A`S{RMqTUE~FH-wbXKw}S^FobnTVb==_EERfN3}0`HYxpj0dp^*(C?WqPy_-) zM#fAddaL#<)nzaCJJC)J1)$Su>-4FFii@ZMy;COA&wJS`HLI+RE&Mi@Y(QezT8bd< zlQ%luYI#*wBRtI9Ev{~)kB0{_rmo|VonL=no$(n**7EVB0_J-IK{GN2-}`yu7G2vy z-t_y?*}*{DBJ-zvU1`qWxS6VCpFd}EG;n;bR8lijS=84wqQIbhRdAT`f-QG=+Y7Na zbrl{#%NomI)g-J_r?xUZW6RPabVp^k%E8m{DxGqL0eizdWIXFuQnR#aC=FH_p>F{jGaf_%ql2$7zqO5C?iw`NlGJNM79Hj(4Cn5V7r z64>3(=9luGHH?c2um3%ftRtF3(e@5-rD*TLLcRQvMDP?xKz`QE>)G`WRjuL0-Bm-@ z0uig6CI^;aMRZ6@Gf=gI;FEn#p?BfRE$M17ne?=9n_G*&x>c`cw%HiZIQu^p8Lu~L zXpdz%PWTozGUds2`H&I}uQ>UT=t)QSI_qe8MOpQ6xZT;ae{`toMl49?^27MJz#_Evd;KadJlwIegA5xLpLzV)-dzV zPD5v_ptw@u%R8IklSv8jeiTcszTS(HjezVt`2u)Ykw*pY%w$DnYgqr+?y(ixb?%I7 zk$KJ6Lx?}zOr{PSZEWw}8Rz_^dN*V#=h}$#ov$>98dW8|Wh2a^%1WENUbe3ZHQBRV zn11oN18edKH_?b?&+$xG4&@XHd4M&}vgfOtBvxga=5!t|`$YYzWrlf3IbN=iZ_KHJ**kKiSjTi%Vc^-UQQR2H=a-WN7$tr4U@X-y z01)a3Z zLaWC$I$#%!wA-8)l(@!7?w?a0pkFkyPVXuHD*d-ovA?ECF>Piz6~&c(`fSdkIpY5( z?ecGBmgw0@xTzld>rPPE)_4g|;Nojqg)ibkNh?KlX!BoxT#^ZTKs6_m=y{y|nu>N% zD1IsAR#0ux(DkO?^gDmPzHCO$LNVs`OEdFE&_J8H=(Rt7CtZ>;du1N^uinM){9*h@ zj9k-~vn=iuEbdLM%G*E!ES`dr14sjYZVA1jo%_@LN7^l*K9MyFk+q2Hg7SHnGaTl$r7thT=%Z9#}9>CM3s`Z04MuDMRJlAXlW9Y;JstnrLEyWH7np#_a$glBe0CGI{b zVH=^qqZ+5zPV8a|c*b?Mk3RJXJnb1-462GxvU9%#Seew>(vXh%p0B3abLyyPQp6RS|ZyQkM;W|G;8i(_n@ zThr5Ibiphc19w!}WpA;6-_Rhb#aZEYWv=aYw zosc9MP`5W7QCCPi?d3F=7Pcybs5{PTkY8201iaI3^En(%cf2l1TB;Lklv_3KuR$g& zSPK?S)b69_Gq-~E)f*8*(r>ltIe&!yru;gjkA2tnm;l-OI2lkS`GV)YlXCeZoU7eJ+)2(V|$^|}j+=Rtv zTPv9Pp;w_Q)c0gzoE~xqISEiG$@co;FLqMWDti{TjneZS>pfD2`#|)e5HS=gC?57x z%d2}z-ix#d+DhbsBKAK+1F^lKq+K^={)Vs4`_p1H-PSBhOG{XFzDmS#OAd%xes`wb zV22h~?H&@QlsV9RHYK3W>!%ghSfZ~z#8l@z$)?<$vBZ!-Ad?h{b5h)C2 zYyg{cV^Byu$Tt?)o7XsFu!n(r{KEKsE_=?z8{9dT%}Cg0F01Pa4s!PxokUAo-hSq} zG!n1o(4K+#cD$PeA@zzC%Xy^z^eemxS!ZqNqh-bi%s_h7j(CHYSloxi^cCEl)HkOf zekTgj*rAz}Jv{|+E%Sj;A>7n30`n^^9ZY}uX3zt#%S1`h0B&3=e0`K_FK64?qwiUXe0EY}ck?OL%cr$nSC-qngghH?5$O zXmJ10t7w~6{R&r2b!#;NpCq;oy{S*>(Wdn)S=?Oso@!u!2>Z2x#-n0W?(#HyiV@GL&P;;w(d;MTvm` z)5rMM1;*BwC$B7PR@O`6$C(WJQ3{0}>>=|VH3m|?<|Jxa(*PW@?fUAIG>J4hHn*Pd zg5MiVAjgu3z_s8WD$b+nWbb7z%1w1XjA;!Dqt_?4-DaaU`G6VzuGL(W(8~jrjU}W= zGr={hgusJcv@>@%W@hxTMIBT?B(=uooH=} zhQ1ho&wlTTD^{MbSG`L^Jxn&Fen@le*-=vf|h~>p>sCKF`KJT(QAJO~{9ZtFOU;UbfM-sx=qj2O&OFTu zZ|lJ#B?%P}1T(xhCPsBr4aOQO9~$!~Z=PNGZD&afuBud*^IQYy$^g5~V6)hBcJSE3 zTo-o-7hb+~YMsWwFO$6Ks2XWbC=orfG56Z2F6T>u+q0H@aH&q;IVZ!oe&urc?{h5( z`Q7I&Q=?Q4qBU;KXLq;yVdm&WY?GMR<*R6jx~hJUE)ffGei6KmEhJ3A3>03{JCfGwq!xI6C*HG5JPC!U$UjaQ zf{I=7GrM<5CI-jp^Rj)h4td9TTMH^XO2pRPWMbQa4*g2spKk*>4h)3c4jLd0zPrR~ z%oACV4qG%AO;8A!6VAM0YPK{WvjAyVPix6KUt~O@_V-+F9I^Zd;)h;;_Mm0DUc2g% zQtN`z%XReDHSg=!Z0~jpQp-)&#|@vYs-_#IY$OHav=EhxIby_pB4Fdib3|c1(MO;m z4s4R;5$G(<5Y1{|O2hs0tcRFZI7so&G+FHYOy#ibO(t2dm!$swHfn_5$;@~%j^yq$ z-+ln&3$9x1Mroy$crPLyOB!oS7H|(z#FLI64Q8P&=+h!a2}CNiAMWX@;k&k_8J^3Tx(r`&e!@tTRUDqEo=lMqDYl{ z`)ARhl$dSk(A?8nx4xMnEo?o1Nqn;W?oiP{C_M--vPO^3s$0Sggz@mtBlxJGyex(K zCsk`|=i7BgnrPY;Kvi>J*v2Ag$@T@}rShqLq4pyqPlm<*8~sSe*&5aA!U22Nsv^%j z^~LSy)D(nH8@?GpXb8nfcJSW%aM*!OnL6HUgW17pOkc6W=1Gf|(Zl-19+>13GmFKv z%efooVW8IcKMo)P_$U3(qq$0Fr3rnkqpaNY@RZF70`o{{-@7o4w2yT=k2ag6QUh}q z*<|yQQt|NHnIkap*4)V>-uW+VEK)1NPRH#@sU2MQqW$rr*0tgatBYvMkr9kMZXwU| zS<61HWrzi;Y-H4rQq}OsjT&#W#rHcbYzD$dT^?sT<=2#yR^+OCb{5LyqrExfIX}k# zQ!gOkDcz(pIUSDa*cp;X~ij z0I4I3N&fmED9K{9;8PvC7JdpLDLH~R#n%*$=3egzI{A+3gSmbRc&UA9tkmrF8xf6? zS*fi=1(Z1WJP1y&IJj6!J6&t;??c9-zai=y@kVu%!QH*`JYzrdW)GMfGVMOjfEi&5 ztcW|>hZ4+FKNXze=2o)*Q6_4R$9`((GF{B=O5@Uo+RVidYyjNn^dHv?l=3bK2}Wh( zYZs4`DW|)RTFwDDmy!ec5pmJXycjef%1rlf?7RRN4Mjm}oc~OC1Ja~8#oRzL15-1V z^Z6d-b3k)nUj}~St1kd}`Faf1KNIG)82+n$zhQUWf5Gk|x>wO;_%GD-h2=l+`5Wms*IyuWaNX>CEJZ!Dwrvq$_e?}pFZhq zE=-z{LQ+lg?`c2R)@B;R8oMp4cB2k=E%Xhma{_b4#g(7wq2>$7RsO{-Y2F@+8tCd$ z6||Vu+=D{mlAOf*?}1T$(-}sHzV&9oyNeT<@}XTgL;zuJFDXiJcF1d`CtZ8mR(nGwl!A!Ytd?+nYQWJ&=>4e)6Ld+Bq*L6{#81?AE>~YB!bl#)Q=ScaDD0Z}{^k*3?RMe+|n>WG@;~EdBV+ z^K0c#TXBGwgMYR`>GHb`76MlBhOyx?bq6g6XrYVUx^`$ti2EPBTqHx(=6X-6?%^O| zAanVUEdIF!#iUp(gXdS3AC(Btlp~4}I{idVbyRM6#@DY_1v4W&+@;pKT?;3{9nrC1 zR8ka8p%-jD`~=cyg19d(K2mF^579#X_{3P(cS+8-eArG<{_&~EL3*dr9M*zTx&-?%HdLfuvoxDl9HgM00q+&Q}F5{a(IqlU9@_ed5qnRI%*mPA6Sy+m=T-oXoU#ZxF7| zzt6MGw_#$0$k~66{fx$JZf;Ig@BxBwY){W7SSu+hfpie6hRk9NEq_S%1%_W77NM{bDM|vh0p7vysTYQa zeK3dEXtAoc>lyFc{Sb_&vZHJ&6GcXllbnSdVhL!O}qxIFDn%2oMT|DHC&T=CFVQKZzAzS zX?c`BT#%bvWkkyP<%r1BcbwzvJHxnIo@aCe;+@f#*i3?eYvan5%JL2eI0i~|}fiw5>02H_AVQ}?f5ze$MvxO(aN zD1(;3J$J7VmE83FMhE+!GtN>hmndHswlO1=+C{w8MU5ibM`${z&cE)>*ZspO!VEPD z$i$Namflga;f8~?c4s{3?;Pa#v;D>WR8-z=a0vNxM)aTk-=wLRR`RvK8 zj?qamCLz;$JN>Q&+yYoE6**KcW#FXs?9)|T-iZaU2n(_*`n&e1QLNO=u~aBH$ivX& zP&Y|$|C15pO-tM7_$kPzwk-Z7RO(xM{jY<=@jAYT!^B15mSWgmG`f~>I0Z!z4)0QL z`q?nfg~(KPDl8vPaZS=)CKZ$Xaj547EePLB6hRlQ|C2l194iKSZ(m2fdgRpk;ijzT z)|Hs^)J&IPOHXq>MmQgJj+a}*)_WV4zUFwoXiwiwmCx5c!Hg9foZttn@dYTPdFB+*w(QfV%pamgxI2#je90U5pCmHX)1{Y-cy~;|yLe9uCqLWBbJ(4m} z!F|(mo%pt*UuaqO9r=lw2Efcs?`rFzq|3ss$SFZCX6^rSn4RMyr%+tCb;+d`Nd!2} zU#D7K#D&hEA~QkOODOX6Im0j&m%qrv?UI+B^oisN3TUoi09X7?7>1F^Dc7aHSKlSy zP^cOG`@O(>$XC!;0GC8`+Cx(1Ee@y4h5cp65$UT`kiKMDzr!tI|D4rCe$4oqvx8jV z=eK^1duo%@6Jl2W$EwMvG^*O0xw9JhPmtuA4%nFSA|1N`T3xB5 zy`2Bn_0bO4G@)#Dknzcd4>LO$|6}R|H*1YFg{mzNqqEgJefYT;)*-51(~hRI6dLa5 zxSA?{!C28^SxD6rifJjzq1Vx%F=KtRjJrWex2kTqA8t*QS@#DXp}T1Z*?}>R0$Nce z20AIt+^VqYQ0X}Bi1*5YHD{+rlDtKG#6*;8s!t(VbK3XIEyT-`lib9{2wzl{mQ*3B zgtwSWaC@($kHZB4moSYVe> zSDM`6ZvT@MSuDDr_?YmZvz=?5+ZCViS-E%yTLtpNPS-pSUg-eExiTIo7+2wTv}UkJ z(OM}oBLsqQmJz@k?T;b6<|4wv){0@)#ie+c+l90g)h;p;R=p{*V=;tfl4$(mSqhOC zqKjv%O|_F@#MO1OA|VaJ2-;l;b_Joqod&KqaUkq;i=ML5qY_!v-NkQG9>@C09LTAu z+uSFcNZI$L_!4&`HVWt0U;WXYD>ER4qp~!@5fpKi5c*j?Rr*O11;wpO!2ZASFOMQh z+H&?i&?pnxZr33I<%r8yIatRDaSvAZ)fR|OBR(QOq6@;cR=4%P%68kyE7wT(?e8ah z5V8Uo?XPKhNHUG14);A~MOG;pA_MV$mXMzsNwQw(>6&Q&992*zd=}fSFcgqhJDTt# zw;QoLw}U~U7zh;@4v|7bi=2`_C?q2Y^B|bWj9o=G2(Q!PMvFxe{^+ElFf(UU-KP7- zXS7Jy#bTz^ zUGMtDu3WneSVlF!RYbD*eyXE^FEw90UDNg&t7zHLfTB2_1+iEA2Y$5E#syBett?P3H+Q(f zjzMt14BQ7wJ_cLtzC&OJeMsl0-^_dBRY4mU4pRmW8W%x#aNT3tu5oU`H_4)O+fG+~ zNM|u=y!;_DCTzf*eca}em>r$tFf1i6PsaOs2K};z*$+1bLRC$NI(xzduCg&#aG!3xF&1ufK9|3Zf*%Wx{DsFI+=ND zI=p$bFRxiwd}Fb7)^LCPxJwvfupqVVz8TF`1-}EC3_zUJ&)2a8S5U*Dt(mw{Z`hZV*gs0(`q+8!xn<1{u}6kVfJF$Knl4?9?I#=)Yw zJF`H{N88ege^eW4bNZvx&PGU6{B@5NmnCHQ*2yBtI$s!Y`He1P1_94&Jal{1f!2oG z$jmQt?7e>c-4C(0o4XaE%1RGq*#cttbqi1ZeJ*;=)PCQKaKpLirf4oiC$-}m2WgKh zum)eUOx8rvn9J^IG9DYtq0;>1{r>$=DJDq|2iu}<^sdxuLa(0nqako&*d4QWi_kECv|C!H zI614?E8o3d$(%uQSPh`34F9c^#3OG}sJLtl-@SGk20?aFncXKl{^-aVfntl1lGVfH zAR9p8{SR>>*Iq>awyjTdT)!A`#h+cy`@Lr~uPXjj#dZd(o18xTzZ-bMZ~K}SaeKy) z@yHu6KFJqXF_`aY+ix%>RXsDrdGX$!z@|)^0@|+5&aH>P;iPasi5w$D5tK9^o3=xD z8UhktJdop3Nlv9`ijUwwx^SGQCqwp`+V$Vv3jypC%%ou~U^*uiuGd(~*16NgRCQn`DWw~L!HgB_GiBXZK^9Gd5$jVFc$7j1GfWO$=T3QnOQj^*4lN(E$;ZTi)>&r*m=i%kp+I zat9x0cPnoPqaM-e6P*j;UaYy8Q<10NJ`6%Cfb~%O#`f?bVkzZ*x zL)QT>#sXm;#*Pk#&quQ(OMYV*=X|#Rquudh)W{l*CDTem>wI6Cd*!~C(4+5uU)q>G z^cCixDh+RSxyHQ!YR(n?fT+1Q#hYPZ{F!ZV5(`&&ud|!cF;*?L!EdiJ)P={7e-&&rapUn$(M7;%V|>s!Zf4n~ zPYhr{K4e$jr+Zc^QKbhCGE@eteM#HEe*5Gj zv?pl@8e7qGd*KeWuzT}R&IZ_~4wFBe1WEYPoVLqs;eX&j)#}VXfJdnHU(v!GN5B)s=lpz41uKma)(hCLAA?TY5wvN`-W(dpM=v@HeQraJ zJ_I6v?Ah$M(<=(y^o}x8ICJC!CJu!P8|*Bf)Q*rN#`yF7=ZV_?4ezN<$!wOk2X_!s z-K|Fe+}s#09+^|iM!n_fcOnCoDwiKKS{k9`JkbA|qkkj~KCQ=0qy3uyw_{;12RBwG zU9WS|h?6&(mlE1Ms9rTR+@{sZo4u!%B*Yz@m*JrRJ_!EU(9j$eQi09ae^zWi#oy*O z6b^pfJhu}!a|>SgYoKw6SxaI6FgxIJpbL{V^=Sp{MUk07`t5u zf$*jo(_bv%cFzWQ(!)d@(G@~}n0G-^2zuR(-`5&b6f9n(N4ou1L+xvmucC`iN(*mz zwaf#dMwcqv5sS*dS9{>2XUe>JsyGa=xb+Lbz5J%bGYd38FpJ@zGfSMm1=CX`c=U@q zvH645Gi4=v=)NaBOieF+YJ6p4gL;!Y!{fN_K3zn93l`T8$>Z2fRk-E(XF1~)a6z?Xli zd_Z?+&;HQT!j4J4-G%R|$)CQlsd_rEIdny^w2yz=Qcu736L|mbZ^a3oDF^TS@yWBjG81Y&&0f~mT@ zV?O`=Zf}P3DTzSQBwklJ$Fr4hv|gUnYn5O2trB)7^gj_murx;oF0azl3Ti*QP?{Tl zCwA-hwQJKx4INW6m3@Zua8KW4VBR}b#i3-`zI9gQ2roYVEkEbTqMJu+d4dLBtvd^w zcOhuDMR)Mrj(*MH@AYGxX@5Zh|G$Mj7Eu}bKl55b(G`_XIKHXG4v`jYI$eb;J7khYi7{)8JSDebEnz>)N- zL~f51ue23U+H)MWh_)QdSnJZL-)u_tgQ9uuxPl-5)Pnb2uGW4n?96!=_NG3vvCOyr z`@*F5x=rz&yj>4lZr`6s1MLM}bxGz#so%48jxxcM1}D=6-h7$4`oOR17G>tmy6W1# zte3iyadDrPrR+7@6A}_8+_Y#uRbH*)d|Krz*NvK?OOTcnL)0IPEC{Ul{hlmrR{z&j z*RNBIAoAe1r|7rj|0hooIbJSe;m2F*`{Xqk^lp(?5Oo4Fvod)j6h@+XQ z$h}qgdTU8o*0G-Xck=Q2p<#4KUKvY@|>0h?5wp`L>cDj&x4A zC*feg&pHq{uln5D2xKn_JXn&1B983|iqeN=-!(LkwP5(rTMczQchWqvds%Agf7X#s z${<wumirOgfFQqodyaMKfdWt&OGmu9P$vTms}6=m`}p0cp(K; zH_AVe_6_%-v$3F_ll_#P+nzU=;GJ&)n=sngbm^f0Q=M}^<{v_l z>tiI;ue1rbkda*+5_bQ9p~{4KdEEi&$80sVGA(`Z<9yAYY4;X{3Rmvq_2iwV__SlA z^&}vKm%ib7_>(OJM5OO(jR;;luDOnx{!?_@f@tsC;K3bPYb|V`ca>=l-V} z?Cg#Tl8URh*3a%06N@VO+`;eI#r(U8L>fi64yI5F29o%xBD|HH4z&|XMmQ6Hs1kBJ z-cqmP%A%>6$-fFGYdi_Q6X5jRw0O^X>_D`TF-xkDaaiEdyrWm3`IjTdE=R5u!geP0 z5Ww}=KBqbZ&n=-Y*<%(mUV|+1NEl$}W(;2KGMm%0T~aU?T}LpFfbeRYzAd05fox(k z22|^O<5`o7n6>|!$!uY&5e6_}SO)LysY~iJTj#nz)QJB*CE}e!8gr#d1FE+byjMT) z8~2fjcvY?xgyWxAla5e5xf^NO^3Lnv^eIfDbRljAtB~x`$#`=pTa(m4oPSFl z4iJe50-@YC?L9R!<-I>+ZUigK{bZ3?bzLir_vhsKB*@Qs7XY_W zwD6&*_VK#c9RzMJ!l`~$;$7nywi&aWO1;{j7AK2Nl|MkGa*Crqib0cn=QEK69IO@n z6jS}c-v3R2u4QU0&y8L)m(L^<6Q5YV461A0kMj=SGOAmx8+{CWrljN!85!-{a_p$8 z)}fAMl!_LL9hJn^D>66pP6!+n|7>RNAEc9)~uAe!c&p0HBf*L@qURwId; zmF3;JbXoDST^H1McFSMY%77?>O6Bi6sz#;y^&0gf8YaA^%GbSSr7cb{C&hlxG;Bx5 zg%zP3L;c;uQ`tyqzakHn1<0Ne0G%gad8iuq7GwJK6cx0Z69NCDm3|yR8)%zcW2l*hcm;&LdWieh*0ehE)_rq_T0J6tRcyuRvHFm?7P9}gIKM~YT^Mj; z;YRPoU=dqD!#kVxE(4kU*4+&likUvvuuE8RhI3Yk^r3Y1E)ukrP)HehHj(^ zckR#jTZ+`mO5%Ck+<7umEsCGNF=g4m`g>>g^iPx}&ME%w2h9)d?cMge){^ssn~9E2 zo_=(psx=0oX0keyQ!{h+VkjEAW1Fy?5dLN@Z0>J~otqstZXxrMZFbFKx<17^R!LV) zHaE5+WQ?O8#(lbf%vWZd_Z#4pgoWKH68s#M9G<~<(B>M~du6xE`*FRUt$q5V3kprY z)#Nmbh6N(FO_Kv~7nTm}eQ5wQydL;qVr;UiU7DBFt={FDEPiXTr>AGDCWrDdI2=s- z4J@C!e25O~Nlr=t;=}D+n2@utz-)ix1N*K|cY#%tcF(el7e6CxTrJ|Up+ond_I>cd z<`@^i`Sk_=m# zG`V4soc{ILS-%0B{XSU??{2kewnoA|0B(^xJ6+?3L6925@P}211|So(PeudSrjr0% zhN?mm^C5%{pir`?1*J6^3#pws$Mx4k{YwgfuspS+H=TenszL_(K_JL-+aYu#4xLng zvJd!7Fu<*|6rKvUO_fYG+OJ>yyCrxc76Ax)$~KE_o+0h16$1kXh(yHR`nbNrHDe}% zM|&X_sRMu_K}&yoJtxn<&o@|nz0N85)2t;>03yK&(Eyy1+jn1xA~%X`A{!~5dAA49IZUs;FC@f#~LRm#Az4CJqA zcsUPLx%~SygsgkAr@#I!768Zdy2}G%NgBgFX`jTa4k8I@=LH=x3ffX&Uf(TfBk@O_ zJph9z`&DF#*=zQgE+e`}^#u9>hEUkf((DXO8XP!M?t1J7GTogK?z`$^-BG(61)6Ha z*7YSIWbl%kso#=Glb+Uncm!dhWQ|AKI+_a}=z1u8nd{@tJ_v^_Q?K{QP~33B+Akhm z+<7b>>W6!tY|{ZEXf!@ey5Z`utsgkQxeUU6oE$|-W4k820(a0oN(aV!c;>N6{qO)q zVULSs>f93H|7F6Gu8{wV9u8LL1o5)$2zI=6(GSjP{Csh3e4+ZTHQA-#)Pa$qLthCWx&zXm&jL$t<>Hpx#}lZkOuX#}wn|mg?(I zY?+N(JB+xbsNNyFfIpar$c`~L4!Le|9QTy8+*Vj5_S|%PM9<;7WQW*pJ4POID&T(d zh-G%vlN^qIbh9eLETL0%>Xiy9Zp9CjtO8{eN-SD^V+CsZ>{E}x^)YzIBoiiOB^_|A z%yy6{V%U+MPP9gSPmZl2SnzU(rW6k7H-*z5W1>gjfs?X#V+S7F5K)Z%!?-g!8I+lA zv4%&+iaxQf`BhhLmDmSvvY~8_SG`hTB`+(({6|ql_m5Sml!{GE0Jgykw2prXOGv;5 zmckYk?>8TI_asYOY-cO=t0?oHpo@|6Q_qf_JLb}9(xllwCnragA&GHbQ4M?We!O9% zo5~P%N8mvM?6?h|tS&6}?w0>!9z8z{bK_A0b3GL@U?~RTP1}$E(VfPjH&TpDN!fYS za`PbCAleu?rx^W)yS=9-4)KjeXR+;)k}hz>vG?z;T?D%Jv}_tZz&SR__owL~A7p(z zDNChgCZ*BoUHBFMxlxZoXh3Et_;Mrm#ePj23~!7lhOXAn!oZ~cEk7#+HXqANWV|x~ z*q!`oSLsA~#{$#LKDi2|FWx z!c+1C&#%=O9lyef347Bb#P+O1t?QCNe(PdB*jB%1$K~@~T9^~<-wx33EOl?Cmh>=A zSjB*r^8Jqk-VA-@)73%X7O7X!O8n<9n{EIeCX!0|coxbYbJ;$mC-_WyUsXoJ=QhJz z%1WZr#`&Qd;?Z`hcJR^RlZWP=`GHx8hX7Zc(lIr`@$Q-cJUoB1vRY#&Qx$IVqPSRg zBX9Ft-(_50*MdE(k?}H2Uq8^rQx@Qob_y{QuV-66kP63AT@F<#FqNN~@B2i{6ZV-& z8eQPapwBU4&jSw@V_Q};-g0yACY+lpRtc$dUa3X+yy!g4NiL%qD8sPJG7&WTtgZWc ze%4@XpjEv>4vqSk#7Hj#kFAOYCW!0Zo?7l}=SI4=ZlWVriDN4qh{P1qQjT!It>ZFy zs^1OLa*mr7TVJEw*31NJT57_#RQoKzw`#4%5X#35kXI5ydk!8|PM!%@3%j`_EGKm6 zV#*p5ePLEUvFA4ICx`3xIV6d{H*n<$`}Ph-{XZi-ac4dkbA6L|WaH-))sckotKb8o zBJBb+Cp_==^|?z4DDJ(pu}RZ6mHss(fJ&XtAntO9^eog4T7^EUt+zaHnc8C^yvol# z-~?F>IUAY}`1nuHI#(w`kST>B{;99TEp0h^kAdh&g(6fTrjDv1)VdZy`q@xMRoUZN z+CxmY_8SNaw9G*Fgz zyR6fQxWu)URZimK?Tj6$N9WOg&zl2do}@ZCWS!`YF*n?FYrJ8Se8$sg-ldOPc@eom zPpfdr7Oh&52t;?w85O!uAN^JbdZNqun+PFpErr91Bf@X^<~(eIXFL=i2r)AO;^E5m z$0hR$Il$~KR{o#VT6P=_0lDZ(pPz*9$ol>qGbn4wYAD0$3|D`vt}T*5a&rTxL&de3 zr(*@V>A$%$*}}#Ud&U%@0~eCXNQZ)9@<_;owf}K&OMGdnxA`+oLu<8ghCo^k z{eX$lr#rJPZ4$b?PnQK)!t{ln4CzNOWx9B@>}&}1@j6imdCr~A%=oo-Y@yJi;oYYX z9V=$nGU}BtCq4Q>Y)7eP*d`6B+$~nV|N3TcMtIoh>>4U|tGoLpBUAqQex2n8?F2_{ zAVRTBY{OZ)`h;Sv;|??+;j)O!OGnv2Z}vI>00#mv?>(j#g(oM4+U!DG!EwL2;^vF7t@w(woEO{Y*% zk(-O2OG*U2zj3wm3n0Aa{s4_Q07j!Xe?8B6A`c_V<&X(IwKI!G)9zdR=g%;x`@0NH zIn_C~s#=tct8xW=y%XMS_NCD24RD?bh#vw@B=Fz7xoqKch74r0Z2?SqJAR)`?`yaZ z*_^o^Luc&|P(Xm4r;#KPIlM?&aSXs|fV+GRI(qHBK?iShvO2i}nl3Ob%NSV01Y+xQ zpXYq|JuKInsowtrax=*952$jrA)t(7GXS^+qU0%8eKk^K4y=m4-Sd_zoA6)hNf5K{ zix{MFp3zLW_x8LyfI%Zco=v@yQF9i_w9fyLuI27M&4bEJ9f#>G&HJybcq+FlErlWVkG~O2+Q7M zeJs@#Vs^V4aiz=QW0<*%u9KQQ)OJj{x2xYP{wiJDijY@+is~8eU?#}0$?+RSx@Tql z-6kQeR3fap1Kc}Td3?YA0Q|$fdz}7vH;VH6^h4x7*7#&OeGCh0tN1xMGttJ{rYYIQ zEv}DQDKK8dex;3+5UT0kkfsQ-_fl6nW?YxnHIbax=jhNT`1b&TF0XADC)IT$2~|LZ zL`FrN^b{3mINxPKK40vU=$zRxj(6cRNuazGo20_e`*hwXLIh`#5CIsVdKY9{mKWsoeZpb;A@IrRu6Ln_W7M zj>c70GXi3n(;EVgBROw^xw*~br6mQ2bPY_8l`3tMD~{#Yk?&Wc>^f-pV4G!RfJttv z&k-WPZRd|I6V1ca8qT(&p$I6&V?d>pl^s7v$T+l~4YdvvBT3ZhX)+ zDDX|owW9^xz4j)k#-Lk9N@74vNnV%@Dst9|j_#kHrItAE$bOoORQ^+Ag%j6Y9Vgz) z4Jh17fWwC)zMqM@iTE`-OV34>QB`%six9E@+4sNs)VV*H-AsYwg>|>o^A%=?riR?M zMmFRYf7bmo>d~=w3B5fpHMk*Ni+rw=8OJF#!2o=hh45YQ!_gW=5U*RsF;PT6e6HA_ z#d2BISOHd!H~ITmj1Z08eo=~L&AMLML}Dsizn zz6`!Jqe+?e?sGxlt|o4Ao}wTN@;7BL`?lN}UX@$VLjZij1m%TwTg52@n*sQL(e~DH zQEqM9F!okNLD95MM8@Fj zuZpSbWJ`j>M91-x_!=20*2gbTo44JAN?xCJu6cR9_QC1TsdfCB6^PXOQbV^IfkBQr zM_C?spO&IQjlD5lS#>M@n4*c$AS(8Pt>ZIcoOAi-v9LZga(3_3^;;i&%fg{nw9Q30 z^is1q54=6_wkiB_oWki9iA#iQl(9TQSFl#S66)u`pt?IY+(_1tzC2rW5Z>E>dx0yq zh-!mbHc;~%iMV=Pf`OiD?~)UuCS^MRO7uV?1kIct93!%(N)=%Wc`eUwgiK$XG+7GC zEA5z{Uu*KWDc-BUL75SgAVPuH8UNOqi>|gx$Bv1|j=k>!*4^AHhl->J0UC;cj)Lcn zcr6%_n*?tq-%*_~y|vWd-Y|Kuyj;1tVdeNjG5}Q|X}Pa`Ja~J+$1)JFLQ-%P&@L*j zjO55GuwB9TZJfu3fUH&!ko9G-B6>kwg&UE3Idt-9Ga8=5y%0d^C}T4OwRG!2OLr;b z<|Yws9%gall}X{PqSVeTeS&woPDJnjlbY?xCb)#yGEkf5H&fpX{khqV5+0Godd* z8eun6M|J{QXIpY{P}GPvW21GWO;;i z{np@iK#AhGS;UzB|Q6qXt(&;jYE0(YMX?p~2?V*-Sya7{2?3v{{H7J;PEj5~XBWOH{gPj%=}*)^&XwC#J@ zSe{mc)=Zgowc0NtV5fy=Pwty5;#X-r=&MLP@MxU5*Dx{zF+$rrWTmqXa~7-rhJLk$ zHGkAkJBr+r0hn$zfcz|an!q5-GJc5@RKM+QQ1-KKRl$Zr47-?;bp#3-ujO%+_;NVo+JhUqw>lrflQL06 zdbrd3KUb*HMLiyV{ex4x!#;D<*OWK3zAj@DdTzgdwF|H{Y&tC@fx^+@A$=7NPI(A( zZDr*`LblY9rVjLchIgoS#M;8vGi8&<{yBxkZ|Y!)&$_3(=Y2+KL`Tv+=j%`aXp2T8 z#DX&Br`G~PDyRx$<@A=N$dU}vb`8|EYF;H=`vHrc3M&BPiGOdL1JF@M4TMXG#k(^A;3&PiEHf^w3kpao8U04jRAO>6OqP`-S)c$Z zOjK#`I}Ye~;M;#kH~mMP)c@>F5l`{KElKE-JA6Ck10olQ6&w0U<8!7bR0h_R?X-%1 zTFEAR-L?Ge-Zhh|^6Mw)f%|DEia8rpZJ{5(C;_&_?g3d!Cw@`ig-l5BEq?VRNnmQ) z!KzI}u-sb-lAT&TErNZc_fvos0mD%0L*g6 z6Pj1?gxR>%q*x0TZaKo3cZG%S{($7^MtS~OFr(z%pZ9hM)K#HaBozHuEF$>uHJ{+_ zPe|Ywc)uX{-qQUj;+AvkzeL=;MN=~i8XC{t#{#Qzw-zYu>9Yu*=G7?(MoN3tC_K8<_ZJc1+v_%b$V5cTY+l zXR1I*eSr>U8lECav|1sb&78USM#@yGHCqv}{(;D*r=RZ})&4_b^-Swd`Va?V*DU8*nG?B^6WlyQYc%dc$DgxB{Wf#$LBys_?@WH_o)#m2_6NIqSYviY@u+m@tPUSGR2I^`u#=z}) zRJ{6P7xbspBM_|njpP(J4zUS~oDM*pL>zHVM&1VIy?ftP+J@Wur^}=`_ZAw52^Ysm zPFGG662Ex1JG5QebI@_DzMGlEa-s1{n62;XM$%F1vPdtdo0k-*b?&z{w5sCdt-f3q zw@_d|(68pj0n+$iw9T#5 z@wRxadU{LwB_r&TA=CVwuF~!}>;QnH`Vz)v^Cr>%6PXwZgoY%ODns#HBfx_P9;AvY z=u}Uq(@8CNn}{{iXCj$e**%4-jeXPuORVw*ca?6XXKFQfJHq4YlphSQ&}Aa&TNUQ` z!-_T@0pr+QZXzk!IH0Du{lJHQ6n$fkeA0q!*lgrzZ*KyZ?~qGSVs8W;GpJhpi&oKh zU7>x8XL@JVd3J}3?G;QMb%&)iQUyBJiHl7S3uBnW^sf3_M2`#|bO3=T3O6oXzWmKJ z;qA8Rz%*vD1HQ#y^owp^zL{ov0O@kAd+00;XinK&Kl_bvY zyR~Mb?CtPYzfLZTQ?O)+$J!>Zw@Z$gYLr>E7>1TJ2{X^#kH!9Qbd7bKexQzTE4^g3 zj%xJ*BqAUgYN}EA07OW$f7N6%#{3XJg)RFOgaCW?6itcl4H_dBNx!#>pUOONi*DGy zs5jZ`Y{bgJLNH`_G*uDJTBkI6OtY(YDd1qrr=$~lzxNUEl9+C4wpleINI(z$y z-C!c8JwGQJg272k$)R+i|)@cDKRb71WyRMY`krcoj1oR2e8bnE6; zoRcO?O!*H&!<}W&vm*9H$JK=)x2}<&3ru9*H09ugba)nbB^lP&dXip{PL~~ylztX( z6Ga)Nh|FiFpwPsz#A$c=6~HFv6cP^FDMWYK6}YKcp*V#Svy>R$B-5<~gDe{4RngHh z?u~I?v=#R|6~-psFsd33#BN;~*9=ae}StU;*)nz84ij zph*VM2!!qF6MfkI&lLsFiQF3aGNiI7EleUMkJg}j#Vs2x9N_LbpM&!GP$Q(3T@uPy ze6UZjc~pZ71WX`hBEIZnS5j2@;fmHrixjCysTdzFT~Uc-<~N)@Km;MVeA44Fv^|AJM2F_8t;LNTruw?;PP>E70y62?wP! z%Y_^r?0IK0@0tz&{inZC9=gNccJb9j{ctD~@>GY0!DLTT)fN1*HSxAT*d)k{zp5K^ zbeBA(5t})D1A5ik1czevrOH%V_nTOgb+nw+GIrah^WJ7>xruOD$VPxT9JR&K%#Ss#0WhnFB zpq?QU(Q<8dd&Rf`H9)UZd``Gwcv?%fPH`la%jDU&I~3!n2IbBh9W61z#jZHE)TgLZ zr9bgRgb3U>Aqjt_BBv;%MyPTgzf(u9VZuf`d%v51S!r`=s9=A5J#QrA*px@_VEZ_~ z@qysvjOuG*W~NBz$UEJ~)I!NpE3xf-L-(`p*KO=~A1w(mkUuPr;=l?-F$2{Y@~|ZV z_|pYqLHi(y&{<8639VCm9Um3_W+S8T=_x6;+T|W)pGAqUUa^=8{p7FF_jEa1vCk&~ z?rHt?s~Z4C;)6_ZyAhvH|8+1&36rzD)ylFJ?$AfrPZ;OKe|xyRlpm+LN=aKA9$isBir_$sMB$ck9Q^oZw+rWCGvJn$jlzi%#_ zpGxEQmfuKPzCE71`Q62ZHD|xCd&dCZz8Z*#>}DtPYN7ccwm4XfyQ2QlF6E2Xj8pmX z%*@Nj2TQ`oJeO}CoZT8H4pNdx9;xVU&&{nrZmVs&NzuMN%+I*ptnKet-yNDfa$M;+ z!rx`P6?Z|m&R#?v+kx}Y+jGCRhRiCP@@6t|OEeGt1N0S?_yatyp7s6_g$nkBZ#=jX z$IXV6WlZqJ`-)B%Z_NcWKK3h{H{q2Pd*|mzRCU26QdCCL%b@ZQ8e%7a1sb-9HozA5+>l$`7_d0Z-y7D$%4dxaPyb=O@su z74ty5#d2XoX0P_+k;Mb?{U2q85@t>jazrOO&TR-}YP{Cm+rX{SEI6F&Cmm7N^%k@I za$?9XF+Zj(&++NiMwJu$DP1E+{03K_hfQ4!Xe1{hk@iOiyR3CqJ?bx*JLc`wt=q4M zeY70mws%d-cP1F$^4bWPEzq{gSbgg`^TiV%z$2Y!q61maA=@*QX>EqAh@jAPP}Xq{ z=*f7D=+=S-e6nso5dW&rmo%>nE=PYQjwJM*JOAN<*jPd`45$f*Fim5v6M`C!zLi%NrO+oyHkkRyIac zaSOH)9q)@iT)m%|-eL= z84#NpP3Flwd`qFj1Z9SL$|ism1a3P76wF0>g+WINHq6w*geCD>BzDBoXf>vsMejTW2R0MXQoKl5VEa$|cj#Zq-cL+aY_u`eINj zQU2)?;Q=ak`l4fS`XE|CWpO{>q>=e5c#?M}Eu;d3F52osqiysKJYF8&Gu!&_mO z&VVR6qt{Azv^^oI+h4$@=FepE^btx#3}dsXf6#|DJ;gcud0c-7OYp8H{r!gJ}+whHY@`ZBj4c_j%+15Z`6s=(>8 z&nPCUHJjg~0Ts1du9Oj}PhkK)^52|LM!FE7Q9aXAkTol!;$Wa2r(G8V5T6f{n@NxC zB0t3-Xg{Ub#<9Um5uj9?P{V0TYvA55}>?L43wPSZHnV~8@_i0Qd&##3=GEH z{V5B2zWk9nhQ_;Oa3Nn~m288GvaQ*h@D=Q3x@OU0FT2q0723lt$E5xJy*)eY%xC#X zl}Pi{SI0N;JdZooPQ;L;*!jM`Lp#Qm9jn(q*$>yu^3$zio9D4hZS5DJH9m06FqJyI zv(VphvIj-{wv^<2gLM<>o`GfQPyXbDX|>4MSD&6u{?HY4eG2Iwu>r}sq)_wi8!ouR zC0X3IZWf@N^gENw*ZT7nrqX?R9!qL3V)Z087NQ2i!i{Atz1xe>V{fdwzkS7k^?`Y# z#5Z?8xZ1lu!DBi= zoJFGHGXed0;Ua=P)6TjkPCMsGg!N`-s+yBO_$o4eSte3lsp5+m*KO?TO)Gp)wvjw9i# z1+5<)HxpVz$l(L>rok}?p5?POA8<8E;z7q}%*Avc&88}dWF#h`0KnVy?eO$1K;K1o zW0tY?DJYT;J~ur&tPOQ|Y7=AphV2*0fV<{=f?Mb(ZyUKTt>X+wES-`R!Zt#!-delF z!pvMVo{Z%(wxKPVBO&Np25{FlbiFewBH&n6BpsZ{51s z9kQaVq#9$6^ELVg@LAbjCnZ_s-08k(VHkgY-sYw*B#Ze=o9K-BpAi+@x%;9inQg`; zd30YxrqPQ`eiku(MphxLWl25?tuSgS z3orYB$hc`u^~Q2^X(&5^kJftsOANiApIj@Fz&kcrZ+qot6MgN_S6?=^O$H`7o6_cus~oHO)#yt)8HH|T@p*926s zN@jJr{PeT0(f2{Y`yVC&`H!GrAAf|PrU1QMIgf6)_FpuvB5S#irP&r<&f*w?q)DbGB_rA@9>4Py%?M} zjn+}bzNKz7;C91!M-rc*BA-2VLh0}`)q9jW=5v>nH;o+UVq^`ow))^XTE|+t4w`Df z%BZM0B|99)z!cy;!gH~O_wC5N^|I|8-0uXFW{zMAi>zNY+}L0GoR5%I`6elKJzrJFBboQNE5Zz+}L*fsH78dPsVBqvH}k`A{s%H-1?8?QlFCoz;Wm$Oam z@=1EXpW1>{^-$>o)=!1LsHp5`@K&_NWShOPZ7biA3&rRF0XAW&G_a9F*lPsX0W8QPTXowJ zp;qN~d+T6SooLyi^}^>4!EU{6*32>^^UmzT)*8p)prEeD6wjW4aA?o`Ug~d>h|5g> zrNAL_um!J$tykh&6&YZH8A2%Kmlg|FX4@OhV)HCint}N?s#@%O%7*aJ3Cj6FA%}^ z6nGcTvKA!F@pAGzop%E82i1sGV|W-l`fgsE`wbyB1XPIay_w12vrCNp^~_DTax8wG zAd+6^vDpTY3Ltag|9=h0aGNhf7n*>`c?o7h_?XlaCM>;0^4FngGSw*}*uu@OWw&*Sy**eYwnT5K0_{>qjF7UzOY?Si&rq0^+JZSF2W*QFUui*$#Y)J zQf)}}Wel6VovZW4%tdgEqjqZZ7OGQph*88HH z3LCuA_s;ku_X2!?xa0!o?h%laB-BtA(-sxFYxhiUNL2;*cziOu8>hA)AikgJrm=mz z-8E80bB^tpWt*HkrqgPQrT6YS#6YWxBnFL~{~ZsFABEDAoJd=)JzX*sQ_gh6#!1Pr zI1lt(kcf1p@W{vs320c4;cbGPDWVd1Ux+yVC*)q{QaFZLz~7i9ExpD+TIU*`|1x=j zaE>^L+P$%Ii<;l(8;=8v{%PkT0RQn$WQh*>l)gb^woTt43Hzd zXlY16;oVIb$*t<}0=^-w+KBg_e#G21dg+BXrQ}VkeOMREViA$yD??r_TD66%#ptz@ zCxu~+z`B9`PpV~NbSHoiaCt@0uX%65^+OvQ}epf#`ywH5>L8z3YCq_g6B31 z3szU=234f9bPZKRtU?l}ia!W%vK# z=(@Y~lkBC+kB{aw78x%aGu$XheX6e~_Bc~z2+e5!X2Yy+OK9^h_p%F^BXv8s&G=@K zbJF+qA_WCBzbX&#XgmNW{B7o5nuqSgTOw&SLDm&AL3j%`*Lz4ghXFS3;E|OIXH-aZ znwMzNJ|kmp5hqCYB$QoUUk!=$Unm!&nq*W_pbXAzCbIDSa{#}GWzBs5oQld5Z?B1U z<)@C{&k;GGigUO_k`-;0*9a+@7U?KncPq-R^a$lWa+HjWm??kL?uqmU;|}&}itd6N zUBlEig4}_JkxB93VSsey2tl_cV;4Yabr-4y*8l-8?+K@T3q9>e_;}4D9oM8gjh^E9 zf3z8T=%>)HHd8RW_i+#3NJ>fS-9+s!aoO17_!v>o2L&>)?3J63KoM#>tGIDpkhrs1 zccCGA4BDYLItKj=*ov(YWtBXId%+DygOt)!QEYlGYssRCNt!KD%5!H%@FVkggAE$X z*{pN9$|ma$2hKMvyjWp5_k5qk{&^q2_~tPB;7$K02t}1va2;%Hi@jSYm0{^6S)lZz za9l0tPua@LY1$ISWdV?(!NkXQ{Xzryn84X03JNspl?Ll^z@T=}_b24{8&CdgIZ%;q z86`TBT0l1ZdYwOW+dgXKqnodRNC4YGv#A(XSl9C?&TP%9)BUHgJ_ZfHnef@c`HfQs zRQ{(w>ASpLIqM05{G$MNYhJA|7vW4G@pC`<1s>k&PlA5luK3187jenjq0*8YUt|`_ zAiUFnO*M0CLnr?fp1-uJad4rb7P|?EQPpN3PV=Z8=#$mnm4@ZD=pp#catb+m+q1Tg zj%sKU;vCic%s!=X^e);pPOM(Z=n7X>v$@?nV88Y#X`XRCuO|1yPf}D?*=FySelrm4 zPP_YYl9%Hv%vXCmdpqAUm1v@4w`&@X+5@!D2_UNh=@YR33=hi`*twr-8$1OG@xjCN z=9fQ66-no=t&;)*L^kN<8qE0bDEj}vUjmT}M!GW>EPjQ08R6?ez7~rKTHHtfg^QY^duD?PHO3)W;Zrk`6Fv=Vc~`gN z3(dVMfqJ+8$0TcfdYniVQ)R^A43Ew{OaD-Q5yT z#^)(U^Xhwv#TrTIYNOnsbX@!E*e4%ChhN7|5zpW?sxGXd`EWtK62X^}=%l}VryW`A zQ*52vXXI#xP*770r(!TUQI8Xp*qz@)dDjK{IWjsqAMS1b#r$Jb&UyLOmvnUiQjdEK zBs%9nSsYTMA%*_!!!hhJ@*CAvP%&!zgCF@uqGeG z6pdRloPc|4Y4BQF8hfA!jr>`Y!S*?MNE{?!|0%e&azr@*4ye=xo`}LCip_JlgtlM9 z98;A|Y(k!iLr3NNwcbA#x{jGN<7*#Od9?v6nX2d4~(ltc6XfW|uYwf-1wMuX1t z*6Sy-OYZRbYqth#V&tZA>gzTy&-|<%XKg*Vx};){X@~-Y{{Ws^QDOJp)Df$iSU3nD;Z!E)}v{4BqmoM7)jNKZ@i33!Z1AI8>b!nwuEp1%V~i#x?-memm9 zUfb9rjGZLX#p&bv<)k~oUVgD-;?w_CdGqkxFPc!QyjMNlw(@TllFZI6^%`x2Ooc3# z9M|~91foKpEwS)Sh&9%UT;8209(Zo<2JJEl{r}gXx|QlH>rc|(JEfP|=mkbz$O>JL zEE&wSCi9e{dyr~7CB-R^=RFXeM(fR6|a&o&Zrk!9p)pV4sF3$UpCCOWvd0vIZtFV?EYNmXZTUqcG z5*F&YD^RZdA^m}q;DZ~NpEg#;oEK!JLwl%U@KDhsfk!y6mQ$_U^uR}B4f2Ae$e&wV zT42}JRlPo>#fmiHRF7smFlR%x$zaA8WF7gn$A({+?hz!^+?ey7)sk~FB}t1xyrG6h z=hfKb5)H`vKMKyh{n~2Z=hy?frdi_zP*@=um!tc9YGljG5cJwr**S%Nm9=gY5|Y?; z4S&1m!@T=pnRnouLC&S2TJ}~24Imnq**KCUHg1O$_0~Tx9wAHs;7aWSj+hF`ca-WQ zHIhGR!>*#LZoYV-=q!x3fWvAU1_w!I+N@Ne2dxP;I(}0$n%;R$4Cp23Qj^yAz+M1l z#WeCd`u`iM5&0|lxF2);l#+aPkI7`df9u)mVBUDQ=KVJZI)$`VpOFwh%f@=>Ex__$ z2@)wprd@0sgH}h)`yaS%*1FC64n9Ck($S}2Nh#W}SC-=F(td=#U=|bT-S*Qj0%oW$ zW5%V^SR8c#phw7{1R0fp4xl`ZR{>40BR|7;&FeX+jM?3XY5kC_ zPvs`mX4Af3l(mo)Kh{>Ma40Xta?^*E5d6%=@FeO+lE7 zdL_3$_?LTD0gU7#t{><1aYA3)jdeRgMG`q=!2GQx(TfI6FB@ly~0!o_+zHCtQX!ssDz9~kP&%})=|eO_V>m>_7gxx9p=gM!D_aqa;E%VB4g z?=&M))UoQl@bCj&a)Xe8=%kK-iBZ(a%-9z^f%?!VeDDB0{0r|v`=ox%F1|RwV-{go z&rI?2;0MXOCoF?xoW*IBs1)iOu6-!k4~Cm)3&v=nlBtWp#FS^S-~L%@Pf5rSr4k+p z^g^2zW*X=;lqT06Qj$}3DX2~@p-(Zgzf5id1SZ`id|Bvrin#tMqEGPLzen`F5ZU+@ zuQ&elArTY$#g0ch*@pZ3U0cI&6hxyRFzW0aj70O2ZXc~0T!4eFD-cKqTT_iPP=34dt#XdkKS=M|^*dQFniTgE!!aRKnvu<4D{K}x*Az%<|zyoGnhFP5Td98hsQX+0-%VW zNP(gJbM)j>)DQ)UgM?Gf7;i52?YM!HqfNoBHQP(wK}lAu#2V?np#@7j2qxHu^zD}( zD+K*B!HQQlSj9{371m8OkCfTY8Pu9rn>a;eCX{g*SY@ zi-$U^H3JA>{tj9`wpFRfruQ6~SG(2+OA*U#+G-A8`PMc%QbggBdYNS2qY3o8fQY71 z_Udmb@)`wf@}=8m*^&eo<+-paLSg0vBE`$`0<^iR^Z+a?V>^nGcyPjFaxV6Pp5@Qn z0@PycKmh3aF!~jg*kAPhGUHzFqY=ekeW9`nI?>FOCT9|<;={caI#R<&P)$N zD-d=U?C^qMlur-7RJnbg_`>$XRJT;2z_MJ|0lL@G)(G2fhFrds)B?En0kr(ukAd-k zZQP?;2Nf2!)@6qDwKM=Z=O_VkF#pC?g=#pC{UWBC*FJxf*GX}rRt=P73iyj)^hiY0 zHISP8E1i8&56G5wh^Fws5~DtDR75o4i1C~7vm(X*-jQC9^TWowcCLqdF!zaWWR)9sn^OJ5!;TaF{nN$26-GgVnTG5v79LlUV){(~=61K)i@Rmtwal}QZ; zvqle{r@Rect)robsPat$HcSryw!%GVZk~iIp>esA;ubo}LEaXsNQN$jfg8=@@ofCp z#TAb8dDE$yQ}s<<^CC-cK*}Nazbw4(M-FlaqJ)rmPg;M7MpxaN1>H8hZ<8KqcYqu{gtv9%x z;VY}s?NKH3Q^fbj6L)ji^f6A+hh#K?J}7`USpbTeZecCsz%UiXd2RJM1M!2$&T`s! zoh@_<#Dq@Z;Q57l3tluTsq|Mngsyv6>s|v@ya+|*m?W>%K3Ci1klk-D~)$(lS!^CDX_VW3Mh zBeCxTUKCui5~Bs4pz5Q)nO)1>{)0PkAgKwEuwOo!ZTml?ZX8ecqM~oqeUO%Jkdt_m zU`gJC>qPzJ1{6;cKseAJ(t0rcS_nWmry*3*W>uz&Ib28KbD0QTxP*7)9^&<)0>XB9 zjc};!POFd&w3m>>K`7)g+Jkquw`Y922c_Zs*SNIrVzYP^fGF;8>nu479NSPOv2)-;8nlHGzKK@Kbh1qN{!qogDylWt+TxPAa9 z$l-x>>~7xjqvPlMPnbS~aWE5UU*|E1O*_YD&n^+2cOkyd&wsS~mE6zA$F+KlfL`JL z${DPzkJ->3zVqb-IutiHPKlUD2h+Lljq+zL{kk3!Mz!(Yp3&NE;#@hM+m;!o0Ge zalF^tt8{=1k}X08P;3PW$9q$e9uuVH4FVbYgfh+C&bZn_{c1+lToBST+6UU-f0!%S z)+rreoF9>?psMR>&-uc8r(_U^lu}GN3t&IZFjzZlVVvi&Tux3&%<-;I?uesx(!J6B53P>9dkwb* z3|G5|`kM+$Gna=o<3n622bJ^VXw|Iih<#lh1>LQU^BOkKlkY|449!ywoyyKB1pu#WCqC&$Kb>1FPvkXJo2Q)wfNYS6l=z zE^6WHWweHZH4<)dIBcPP8(zaN2im%bV*2j1!9z_u7YNFRUpAZG3g|0D?{G)XU$HH| z3~W%A8T1%-58x&?Un@nW@!Q{>VJ%h!=dU)*csPM*0Hov^FYKgPM zh9`q_9+rX+e;1OdKDcqM;DE$&8+mCvEl{reH= z+{PvvO4#m>B16QIp_iu@tT}Ak5Yw zl-A*LRW;Ivg$f0Y!ATyo>oyqUFelzDif6quq-(Ci*9}9KIz}lgxUTZ&y%oO(mL2=6 z>@(on_gS5Z;C<+rJ+ z&AAl0tshK#^$(@>OgZ?50>WutryD6KX=R0s;zsqdqX(DK4xLZRzOkAj8mE>QdC0oD zE?Ce-s09J@hU9IZ3Vi{!!JANy=X#l3S0;|Fs5c~Fr&Jhh>heZ zFE~tLrTva^oC9RuC7@VvR}!UI+Dx!pFy&1+XRMRyg;U%~G{ua9~E##8-fkjwuDm-O~cz!5A!$DuTDL^iWoepQ63Rbe0(!&-+I zwZcQRG4$To%j!dNv(uy!sKL)F*;Jlg#L`s9wox$FzqB&HLDt-EcnWa26j||HKSN)m z=N(v|`xU!;Zh28&=_G*^Uc*88aq$cy0b*8)u$OOVe6|DnT8%oyCT**i1i(YmZzVS zPeD&J8iKS>bLa?KXy^rZ49WYOmWX6emn4sS#C4lw8imq}|(li zM96sc4=I}tJs7JE?zy~2Hn3iJ!9uD>7`wvD&3tS764eq(g4Mz51!U@aFzKyJXHUO< zWE0HBg`FI>hKRVrc6@=d2V^~!@1U$}Jrb3hHYXj+0S!~(FWgVnZ7lQ@Rj4^XXXMK~ zG{)04NE#lIJ+`#GxDEs;IKnr)t~nohztR?N`B;*kHXvWn4)CgDkCd|eGwkp#k{k1H zn7pf|t{P7+@PX+Nuj%PlgXgb#3he!VY(NbBahnI!g0*F@3&+BUkOo7+_~bg;!oJ(h zPO8GnyxSk6xVPQnE~zR!cXH~x<9PHwlpLtBg7x}H5+ZvVE3D`LWK}Mr7aGy|Iej?E zKFyBA%;i2S(Gy$Go7d`0%ipX+s3Wr(kQaczK}7xYbisg#jt zTRPgfeQoM^t48x%#c|10Ba!lgTPo;-RX(YP5SfX=m`NWt8DN=Q&iQ~N2EG2%$qfG+ zdGVu%vlhz6R)Sq%g|Lb)142lX%^1IpvM&t9AiF`W+ESa$?-K#tU5`F36_$%F<4J^4 zis-aw6+xXVbsSP}7rK54GBj$~AONg9m|h_6cukl7TEdIQPOjU{D~H6a#}BgJH{ml;o3=7R0I{4vxNdR*(5pf6+kpN1c+ zEi2ZzQ>@!KwvHn74op39X>Ws~(!0xDl3n+$=Wt;~+!Jp-rWY1j**0C-Oateng`X?y zDdcjHki8ZQL}2bwPz)#I=!oP-xU(|yPO|5lWXxXn_CO5`4bDvvLmr|O8so7Z`L}?i z@AEGKN%^iY9@XOdmEF%2UTlqoxcotE#Bdz|Qd)3xKom0bGYiJ%nrnxM;mH{3Sn2GQ zCkU>#?D<$B8Ol8JGZ^k=O!mNfuY;fIu$zv2^bpmsu+Y@*L^=S0rJ*cDi*?>+Ds{jJ z$sgqXl^oDEv;`CrtZ5!7dg8XnRDPYatSyX5_Srs;H&uz=nCJ&Lu? zd(I@z$6az#5OB5Y9QGg>aj)U9TC=lof$WXTyU`FX^YK4Dc-QJEgHBf}j%OAQ2NXMp zLKd$4V^kaHkD&)divyT>cnNh*F8yO zDi3rUTib0`(#^=ZxhJt(4SM#}h!;-7M5@OgX}~{iN^7Qa9p<5n<%9Oj3eQkq1%1M?Su*rdCnT%az+Nf4)zAF8|RD-P0#%{?xyTr&r zyvMaITX%;Scr_6^C9FGjrdR&NHU5+ezK{|phzvE$l1S(f`dh%q zKB_dxeQwpR3IJ-M$|YCWluO`T)HOk{ZcEmzPvRV1Y9X;YvV@EeVWd;g8Y+c>OO3X? zXfQ8cBQTAX5_%9WacaaeBktVkvAO4a8D7)NaV~_j$V(-S)}-*db8-^9FiH1_{fKojBg+p1v;2)K=m)fKH1YaFoxT8W6gR(0XslZUcreI=DxaP|D#JZ(7@I?E^lZKhAREy~cszlgj*B7GM+fPjqoB%jVVJKNp0H^{ zzqCw9f}d%-TSTLg9VliP>(67iE?%8QHWtopda0Y{OmpCPwnit7^m65vp&AS_=kYI+ zXAXSS!O(lf7aFH7Tv2oCZAnH8syBd~$At%gEdQ?#SMnZ_qa-Yvy^uM>wYofE*@rsY zBqNK|c*%DK0sai}A>g8jpOnwvI>*X5SSaqC`Wa(8hr{~)46XtHIr9+7WfN7P;G ziw+XhA!z2u1Ch0oad#S%9Ren>`OvT@j@q!0{%c}bPD6z6d7&@pYzhP_pXGLcd$-A9 ztrr6xo^fhEoj{`j2;-A+n)w-{{uEDk!!?#BY;IE|nbLv|@SEQq;Eh8@kTS$9C$^^R zFOyx;f4iKXRbtd5gZIEVqi)`CY0J9MI+AX@*u4iXGeghAdi@U&#V^wtc62W~8{Ryb zCu}jJHP-FGbO$^aSNBmU@zKze>x|}oYQ3vU983$}~&bd9m zQ~_3H*cB$woo&yDtKD%{%!OL+W4VOa-yQS0`_Q4`n#(?X=M)B{Z2L zb;Nmel$H_$jZ00%CM*J)x)nR)-m8FG`3>t_6{7`EfWot#^cSJ2QT#kGbo0KB^5zTE z8Du)Qsd8)~t#`WS3)_Xv!k5bzy8Qlv~03dl8IOelOGNcNAb z2`*fq#vDZfZVzOm<-}RZf+!zJ$6F^2cw{>$m|?A}6y+KS%Dquc+1B?}$9}Vq zE{pf1xemfjtRlkypl-Ut%hztx5o6cQ_JQKkX7>dSgxF8P6bNeBt zIK9~9y(EeznMBd1vS+TLaGszhLSTUgga|n7AO^D=sGZXVM`Gv>^9Tf6n&Rl z@PLDTWiXFzI85Cc=M|OHlA&wL$vYW9t%#5k5-OD>Zt&G*!+oXlrq0-4NU8lMA)ZEI zNpa`bAENTVS1oc}|83QRk<5X{kR9D1K|#@tv#VgL;h^ruuQyT45J(Z<+c4j-;V9xh z9=%Dtpr&kxXQ-_FTnUVK$pVnRh6bbI@;i9`<o_Q{&Stc&L(OJQ^?w`)Sum9jMLY6K3T;pas>>kP4noatXDAsflzIH=$4+jy9U(=V z693G(4rasp$yi)@MP61F!q82PUc`5)IwEqtToW`^&}zi4czZ)N65Y<2$D-%5)> zmRKe91nbCx;y$8@?>ga&6J}bI_67uw>xr9~Z6T+1PI$!~e5|J%6Cevd)ev zZ6hvSe*BOOmFYP6x_aimbZj_WfOmwR;EKEO%guSr`S)*uY@ta4;L+ygvF7$MQ0TQp z#oY!z325mQsiRj`1Z)BCqI3A@3=j5`<|IGkxuTXuK`YMaD{S?RiGaATnZuvWeLlOE5k5seRSfnWg;mQq}8cfSkq#t5HKiI3O==5pF*c`f~gv z#!6iArCs6Mh^D59Q~q!F7UyV*kHX*ta+d`)j4#pKJThf6dt*19F8^iyH6|jg zFx)VQ3s_270L{mIFQG1+>=wy}_lF|!Lb66F0YgY8rWu46a{h zOh(IO)6{QU^rBHg>gj}kptkn#(ILTzjPNyImVK9V_8LgFX!XA3O*_AeNmefp6XU6J z%HiznKoJ9s@BAK<Z z(3UGfJFWih=$V~>59eVNaUPfR3jXwp&1_}^14rNW>vh-<*s(!(w(=O5`@E`x>V~A^ zua8tkQs2zvo&)1VWLQXUri+f7BmY0<-a9O+^J^P58Z}V?QHp>-q$o<2Dm_Y5k)~2) zfI*Pndl_I<6oxJ;z4s;^hTfz}m);qAhhgY240E21zmoit_k7=b&ih^G>_3w0N;b3G z^Q>~Od)>?NbY@cNkmYmf&zI8LGDsQds8po?P=jnj$VyrCzwfUPVsy4JI#P_19=F|d zb?2tsr~>8%OaTI}K8)fLP+3ja{Kn{OuWDq}M7d6*%5sHLUZu=^Lswn7NZ*2?INfd6 zQ>*BMMweqXkpi@< zrb{2*j&$rUN!?t99Qdh6@0y2C!#hz68|g1Ca%8$W&ehKon(64nEY0|*oC5d zdZ@jMh0EQG{h}0~Jh3i2RqF;S@QNV5f?{Cns>GTJMgCt=j6b;KNlsw8PK?CCut{MzUVL zs;ih_6G4~|{UzU-h^DtCS%q5{+1vV05^yIWWM zz{36;S$S=?kaAp%w&am&KuE+mkDJlpi8HgL1%f5z{-s+_)55bOT%t^M7D;sWexnH* z9FVXq6SyS?I2R%BIZiIx3^nqGt>f`Zv7nEwsDxPC`BvF(NgpPX!-rRE~vS1yy*urMs}j##%1m;+i^+r%tGWvOt_Xx?q^UQ^KZG8{!KcAp&AC)RCi zT9ndfSZH9m_RGyxW~O5D>N484rKepk2NbPAC&7XW%7$^rAN<#`1FNhhj)hP#R0W-(P?@*QI}-3we%cp zPqHqyEhMX#eY8pkiwlcxdgm_PfHkpP5@`&B8i9U00NxV*u{-`T3q|mofly^!VR4x( zdE--M{1aCzSgzr1uC7J#MZhZ%9CFks(umxxq2 zm5XN%F{|WLgpAUWI-ZT`EEyFuRjF_vhy~`B_ltJ67Vp^g8I*0l6x*v8LRI{kfaOuB zff97ftF9jAqxJPgQ3X#gh8Q6@-7QaN>-Q2yJ=_oS?J*c)r_T7+PM6a*Y24wHOG{=K z@0iAo$I{s>%&mHePBd=Byv=M{&?;*Rei6W~o|enW=G1T5C7^?Gc_pR;V=vKt@xnsa z$)u{LfUr;QeW|qMbLhGv*6QrFuS8cQc-V7|2dzV3 z1RyX0<2sf+pG%tIL2Lc!IaNl!=WAG8ti+nT9a8mBw>cm6t&#E-esAt@&pcz#xR7q4 zyP%*Ou0Hyu*L;*z$w0K;LR-biB1DQ(g+52qs3^%onL>r>IQS(}S~`D-?}~xold7_A zn{%eTTeRWqP(m&ZVg|a)aa`p89Y3*HK>UDZbD}L@c0#<3L`ln@lV#%FyT^CJccF#f zYru3*ADG_}_Ibx7B3~{;2_hT$X5&g#f%N+|NY{4_?v@?&RKAI9zKOj)C`AveLb+Rp)+54(=hbD7FdPj1}#9 zkno{SFFZCy|B;aN1M&_Kdc5#UtNw0?p0jYk)ark*>CI~eM(TH7fIH-H1Ljy2 zCbTN0E=jGp#--MTf;_)sWREgnK+=#eDjQvC(b4PjUbE6=Z85*jf0NxxHxDb8$L*9X zf%gErqAGi5?OT6SMCv_SvQj1zm*MyCSp}>{?b5IzHe$UR8;%Z+Ixio!43G*4iBCjM z*;C@3UPX2cD4h4S+b&b^iz0QR_nQ^*%W*C773^_vmNt5%#3M8}z|9_oQY^lfMw6OE z+NjI(?uaj|^H5GI^S-KdvDF0ragbB{s1A+E1UfA&4&uR2Qt1W&^ZcsRwX<}7#F)dH zo~_h2YuU}9UAUsIdk7=B)AMv}|FO+XaR8rGzB(?%7`CU&Qra$^QHzI+S0`qVHq#KP=XN^BO0 z*ib3)yAj)~Xr1iRQZfCm`$`Q<&u7|N(eV5)s}uVL1&M|YSPvRwg?oXvXBazlbiS~U zZ#_tHuh8~_5A`Ono5I%%3%X!MZ zUs%6*MHO(}&dTNM8qO~z9XIEWdvhg_5ya(LRy4bQ>6ul_wJW=!An1Od+&6He+#x`2 zx=Rv-hQIefl;qJ@DVeg&VVpL+3MH0CN<`eu#3%g;W`y6>Tp3=(i{YH*)%Mb_;z_!U_{nYLwVZlE(KhM*gEy|mW{Lng%YJu{gUna zu&udMEnQ2Z%J^<=I>qA4jy}<=CBb$#QT2E9b$5Iiw%qiU z^bA9wfl0rVl%Fas2F|alaN zPD=A&Vv=;)qGRtIdYj95+(K{cAiX-<)Ur<;Q%d>0mjA1XA#Rwg+HV zjqra#3jc?QP~hJG*UA56(~tPi0*Dt^)tQai#7pp1c!ZyZlBtr@0L~uc8Q zOULeI$KtSMaavXY%buEtkk5TykR)qd$ZTEf?tWQ=612@L=K*mVjPGI=Ss+j`J0lP= z+`oRP;4&OBywf%Kr>M;rRns>9{qBR?;MZP9y@ZGr-12lwB4UY!V*1_Z9K#0i?4v=9 zHs4+&U0liY_*1|_q~9Dwfo#VYk+3Wn2v(Ho5nX&5H^2})hTyy@99tdP{WJm zIq+PiFUuW75r;vHd$HHI7=~fy~*U;b5wALRtOq-_}8$?njW@CQh%udtXwzl+hiZ5MNoFj?%l$ z#jQ-Je^w_aYm-v=+hC%OTHf0=Q6cIfPTBs&AuX5*&6>L?gEbI4V6NADuG(+>NQf=? zna4cTPd{l3GMkNlmFrz-Ax$054*n=Ud3Z5DT1ezGyNJO(?Z#vJ2*W~$-n#e(YN0ie z;t#DwIf*^@hUR}YO+2U=30%71yEa&EW}PQwoSz2&vi!SLY=@};hFCAyaquKK*z7X6 zM%WZUt*rHVwZ!#v*fm4^JMe+#6Hbq!^g%#1jOFZf7w`1bhQi;AS@w^?Fc~ik*s-eS zbLlXhYGU!}oygr@Sxxks#M~IM=Sy^h3jQ!kHTb)(98i2Nk4!!bVyD`$TCkXEvniJ{ zUG$Wamy16Ebjf3(*p?XB<27YA)Pb~yWxy=VF;R#|)d}gcNsT(IcLsOONBN?YS)soV zfQlhwnswbJ%x3KD^qD9<`_Ex%K@2N9$U2GRKu%UfGMez(E+_4@9P4sTX&$sJcpwsr zwb_eRjLLa3^d&iI7T)gzf?raNwA=#yQhk78%1Gm_qJ2?xXrEjrDR7hgYkG)R@iV&E zJjq0pIw;U0wXmpjO6LMU#sykfff@Y#wu*Z&(;`K%a5(xv+Ix8fqj4FYZC`prRDg5M zJ3B!cW}>NSYIsC-4XM7BmG+?7V|R#Pa&lz6$2DV?6ORKAIbG02MPI%~>Svjet&X;z zbUKt?hk#v6f&P3#O6;0Cdemt*ZrDX8%K#tD_p6BC#}(Iz}e0d4A_0q#`hb|IALrFiCqkWF(|QF_R8$@az!uPbFbg&zE99z z_X-S-Qp+cIigkI`+-~ACP~7-rV?*ZVty=^S49tpDCDo$;u#vbFu_3*DnS zfS+G;vjR}DdSN3Tem%0nekK3y8LR4#S%=~~DN4`N_88f?x`uk^eJDg#$+Js3m>co* zOlNvU$%M>@ms{MIzP&l^CoSvcnTh)LFww@agN(+xdfxhQVkVb5J@LSsAVN;=6X+^y zh7Vd5c$}x-rmwV`zlSaAy8BtO`+g%xi+zTiMELd}F9eZEZpVo_aj~xi13)*+o{o_b zC|Vw!)o7j#ZFC zdQ@X#Xw*xMo(DgC&LK0mTj!~LzdNwlr7zJI|3$p`1fu+rRk!QqjuXE$K7$+cjc%gL z(+1S~GrS@m-8iR8;`PAp($0%S&k3FK;t+hGGk`T1GE_w~S1S1PDZ-4l(Jraez7v8$ z6k(#NH}i(#5O(IPuauG!fNEP#Sz?g1_+NTTo>v$$0P`)G!Jc*ZJ7it-ItrZ>> zgFxx!U3-vpLxK0RJl)j*KEy-(d{wUb1bgsQXm-lz?w6hQ{zv?aWF}0$DC4vT7rNqVtf#&LM!S)a z$L_GvEw}2u2_&&SEpD?AdPJ56f3nGQK!L;WXK!(Cb9cRx8r=mxM<9}xGJ-4gnux#2 zr1>g&kncJ<`CY28Tzbn1TxIhlN4fb=BywfF-&Jcyul4~0&dYNpxU4zi?(`Dvh8a^L z?WIh`TR0gBiLF%=1{6x#D{9X^Lq-v=CB-VXm|Z$9^{)(gC3U2D%2R;VB|;D&)9e;F zIcAk$X|VX5x!Q|_Q_J5y2;E-t{v|7m)2T<_0Tj9SxQVuh4UaHsab8BW#EpZ6TZ)Gh z2rPlmNJ6{d)uYF)ydJzK%MkR^mg;oFttuoPq89DhNdV@OIfD7p4idm2?KS)>If6dA z8?|^TbgZ?>{VWrcDQ>=46ipa8_9LisTsOtI=)#LqLCTDLo|Z~2#9;j@-7b*N?kG5v zzP}%!=ZeK&vPT9NFVkGsF5kj^i+wN}59g2x;2vyB3uU=}XX?Hc(5V&a*W*|0==y%C z_o{$wWEMzE;42yJ$}(Pb1@bc`@z-+0Z`+aBy-aPt+i&pwvKS>rJ_===pexPc)O6Nq z>g#)?u=`;g2IsNsE%~l~s=eL22Cdf!>Qb^81h#5#f=rGHjP_Mgbr|kpJ+g*kT6Iw5 z%#ruXTJSf^31~V!_~tEpNoJ>dQ*HRKrV%l&gi{otE2FxVGo%sMb4pv z*4>yv`^P?{uA`QFs6Qee>9dM4E;a`vhx7DZc#_T$XWALI+~@Mh0p)F5iyW11CT34h z6~r6y?uLK{@wSVvU|DGcD)GKGNsU_(YQp{FpvvPz)iHW&#Eq6TZsXtqqdUK_@WF)7 zRd56ywKyS(ouWzDDq^$bu?=pzF*8%*6=I{8j}f;8p@`7_J2j>jXheH)BB!&Ho#XcK zNWy$-m$|Z^P%gc=V7Q9J)rZi>^p#y@W<1^!o%o%H4f<3OV2XRAUPi{=5Q7^JAqvyCWZxXPGduew z$@o-G8_-2zaG51v21)T_tEwHfqq88zdsLgh=S-&hP){Ugoz4V2SekPyqmLDk2p8!wMLUai{T} z9o4K*PMBaXsPD#%lR&3mid{Z^YOAkmk9GoK^~z05q{61SSV}-8bM^2gc+;Rnp)7y8%C`aQQO_fEgb6&y@ z+9kPk>;~^N*SKr@@mQ3;{w)M82~gT}lBu>%_XE?~Qg)6L3C+z-fmrU%!LW6P@Be`Q z1ti(+z&E8%Ww5z@yL@Y*xhxc1@gyK96-cbfLBB{FM$-o>7H9nl#W&ZOZfX8!-Sn|d znbfQJV%FzJ=D@y4=Tr1ae3}>?$kMh&NlSHHvt02NG0VE1iCP9YP7=L^C(}m&{vk46 z=K_uZm?r%NjQtzqePzY33Rmi)Uo?fRU2c^=gDP8sN zOKue%NmRw7GN4jQv6S7p9>c%`!T;oQ(>Jb=3RFQ!@c?Zq0@gzktWUo75o&oq#c~6B zgAmpk(5vJS@#wd|7wD77b^2#eRb;ut zyNwC@Ab&D#8y#?av3_??nThG|z(C#_Y9Rm)o!Xe=JnViZNgf<0aWJ!w2fVyxAV3$- zr7<~>3nxzdaW}ywH)_vN{9Gaf$K*S#Z06)|0(P0h`@DGU3~{H(0+e+2gstH)(|0zm>c7q0|Em1_wOw}`+7 z0HgBeU*Z2LU5|2Xbw8trv#If7$wC+0VnPl~838t{8W+(2{1Uiq=@p3F_{@)*8?7;* z!C}S*J)?DfX+QLD@YVk((zM@gY16yfEw9D8Mu2kVlSklpU%!W1ZmhQgO1BtR9AexW zGa4{v+OTy@j7Ksuji7d29OP)4`C~4sQGi*wAw`s9eBT)-i43u93r!h=qJVLu7nR{0 zbl|s2f%x9*Zn9<>kuR%p58`(*FhN$v77R6r9n7;QH!6hQbPezR@V_;dO4 zVEVr{Mr8l5jFIjCjWN=ubvHh<1EYOFnH#t55>)!Yf?oaSpGIoedt8y-$20o+&3n`b zEAmcc#!SY} zC^j0!uxIpQf*iQnnLlJ(H+a8~T)E?c793;)$e?N5Bdou>s;hv-!AsD& z`2IntL$6tQW)|nNfl)l@K(E)V-zE*Umzvd(juL6^CDQVZyN{9L^OYqPcm=ugtt7qa+INb52w`ZV&0omhtIlHm;ju z)cG}u;T`7akxjG!JQRWYkDyT7{lJ{G5oeA_n(Oa*QYc)wttzjNNRkS6sr-lWwCWCu zJ@i2xZMQHsgOXI=Ga$2Z&Y|vf2^ddH4R^bHeE8-(L;P>0oIgT7r+}Cs`jwWJ7joUF zw8F05QiNJ`0LvFh)dIf6KGZx19sgB#0gnGWA-l%^jB?XCwm~Kgcoe#pVjR31Jse0hDCu?0d zRtlbU-dsBfXfKB#TMkz&Mv(en6*Ts_#IQ_c5grG-Vn8s6P?IGB}+|(-_kER;$gRt61eC z8at+?TXIb`N#D*Q#h_?!&Dqf2l;4<*jhp9AB4EH=d`{#6ejX4``9TyXq&;{)sJyJz z13pWy3_oLa^;!G}v~dI|{zZ%!cn%sX(e558as3~!*vY+xoH@e?6I1pqL<+iDx!M> z%I!oy*XYZ)Fl1OrP8PKnot47`e#!n~pU&jltpb*r>z6PYh+3QX0c2v~x2_|C_Ey{D zNqvkXQ4jeuwY4Z4G5N*G5>Fj;<9ZWKs7E<>vFV=YVW8l0g~r&7POX>k(#2d|@B_7% zz$*?P1X#zj-X4!3+6%=YsVOOjO;*}CCxIH*JNBzaLE~|uCx_-Wqidckm~hWf6$Amt5b+wl`P!yRcqU2HbUQ8%@sk{^cBXO;LtYzAA;|- zM?dIiPe5@PU>0Cf_NkIulqk1@?{H*9Nyhy9iAjgmSe&!P+6+}Igt<+YgEw0$09ZlD z&35pKstD&Dsoq7(GmiGybPRhhTZ_=&5rAR@>v70l@rsb2$n4}qx6S>s) z%FxOpefYTsuy_$AJCi8EehK%iHjpnm7FT%4ztnM@UnRY-B=rd0Z;IBmh+tg@`sRS0 zkf8tW#9m#5LdDS={~+4JCm85={O8w2ZIjc8DE4x^k9hsBBA0UA*B=57!C;$G|Dcn! zwDh^yT;b>m=P{xAEt0AUjaQe+afnD*xuS{*xL4gbCrbOL%55s4ey-#XsVr-xI(JeSH>E6tf_QD6U%h zmfn_XQTJ6n6TZ)hKX*v=yrbd+(7QiL>a1uAIULhj4r_ii;!8^%F?Hoen=+p_6Pz0c zv!M*l93Qz4HkR>$B0Q8V1C68(j*O)ZyKHDPyoByp)Zdvjh<0FJ2bUab{GBmUvqVai z()SvPml>_%e-KxMA|9vk&8n@B5yxi2)R_(cnYe{}UrEz9jZX6jkI= zVxt0|FMG_{ve34h&FN=Hoh-TXVE&oi`DN%H-VwZ`7>|emEkDI)Y9Pl1()hEP$nZ(X zCtU=iA78_m4_7Sq(o$0=tlB1eCRMUVFk+YCnKMtz?H6W(#or5NWf$o?%(NBnn$aPW z4dehBSP;fIN}n;NzVhL0ajD6V0wp^WQ^8-#mlqSE)m(d`xgZ3GK*yCx*X6#qF}da# z7n7u<{2Iw)J*ZUa={l4918yAty$n%R{a#tqBH3Vc{aGi0TVamwucgb76(|?HNCU~4 zbP#>Dn zT1SgT@ZO>0D+_}ZKqm7K+}zym*017#f{P!jTSrqvh)N@)a}K3%Ps)ywg1xiYAu{ z^OSF$zOaYTOLdiZohY)b~f(+Q>wWpgv zoslPZ_z!i((W|@a^rP_QVa0K9sn_@Z7f~ZP=YJ@6`|B@FD)NKaYLLg)y`s;^Xprm~ zR8G`=3D~mM?9%6ShBU)X1kxh2(W_rM*MZ)U^toj|s~6XTe;B*!3nwR^_(1#MoXDO9 z=3?%>ntA1W5MOuNd(BqJ-k;^*L`{c96p9VtuIrlpg=vTH11DZ0XZ7srCc*$SQyq<{nwa4R zQC%VoR)$46nXk?UYZfP!SIb`wp7P>^iPHqgDFz0(;P=$s*C39{>eK zL)F-j*qQ2lC!MSw2lFh;M-=YH_2NVfir~f(B)w)6> zEhdWQr=x{CHu7El6O}eb=xi^IExXe?a^0prr9%@N$cbPIS(~_Pg>Xstkas`2FWmi% zyuYll3QRJVTI;%2j<&FY7d(EHmsBlm3eTPqfsDdipyxC>zvWamPJf2^KG5+Zt=#yU zZ+uv8PY%ke=Lmdl9)K$v!#bYm`!KmAMgO_9^q-p^zBOiC$hx>&y&Ij9U9|n4y&#BO zY4A1tDtW)IvV%y(ju0U@l(XNn5x*yFw2rj-te#0PX|_mW3fz;dt9U(mgpgm9A%(ig zMO)4=*1IG5p9N6?F`+HAGd6hIkIqTa>5ipaN-6Fm0g9EMRPj?`MRnW`N>4Q79DkS7N7kTF zRlqs=Zt+l+l2T|5L<7t^s)RKF?1{zHG|NQ_Ri(2#wdyWe0&FC;i&xD~r;U5Eq z8K>Vsh9V?#uj+IQ;65mHh3g#m{mVmYrdFIkFJ2FLIuMntW0c^yJt)e{$BlRhA)+6m zAq|nOSSqBR{PSLEpRN_<0adCtv^Xc_`8%9R0BHV@xa;5x>JIv5kKB_p39msu5Xpu+ zmRb@HVPAKfyI`8P)o7PJg0L$_9+1HTFST2dstF+VE69CC^8Chrn2|BELz$N2%_dDCda%iS5WstIUtmm0sE+-0P@5iugh zN04o|HO%!6w^@<7q^%*o|9p`-mS$8@8`}TM|G!`)j-6&+uk151giQ^EzO-2Hgvc~I z^%N(iH1*dY_RUVfAA{%-8mLr`#5l>Wl&sx=ic3I_^#n|@XMzaj1+~+RJ7&|!gzx1k z%)C`D02wJXtbMj6-ImcE`V?CE#mt~#^G^+ZuQD@OMxhBt==Ljnb2nO{Y(YUD^sRs* z68o3Ep9$JKtbhU{T=>eADC||0N?-ivR*I;J{1NS%+uWjj701M=MZ1F&Nlz^(Q>o>I z1~d%xyahF+c=s4>a=*f{3B>oSO1~6M4AeiiNlE&1zldxwxzo~s{_euWbvn`EUSnfK zVmUk0nXbX>idJIlbXx~rI#wLKS~j24iPm8+7sxRh#6qvY<*ydrHCtLW*x4x6>Eq%1 zH7FK_T}{Wn6EdaWE+ZqIXm!muIJ_JIhG+ps&bgYxk~E?-a;8RUyX=Qxs2lO$cZ)i9 zg=w0CW2EMA>VAfsV#=r2X2Uk6+3d?-vH|@#vtD(@-?50q7Z49*RHHa?Nw*HQ zppZE1LMdc1U&A0d*pnsDd$I)Px4%~xdzYA-fR&%`Y_~pY;q95|Lh5>HZjMHMHTC^b z!b5cjM?cE-{s+&p{uvr%DcYGn2>>kfPfx;2jH z5L$P)@u`+hJgFn(DyUR*=qy&QNsP_se-^zud&aj;kH>rh>E<Ap3g?pmoo zvD^9(2zOQux?l0}t_r0m0i`c~!hj_0Q<6+3-r~0{MchYPgOBNkv^6EmE#btLPXzox zwRTm?jq3PEezo-D3j${hw-XGG*4qFWZNCkq)v<|ih!iwUsEx(W3eN6Q@RPD zC}nLXjjUQb2Aywx{IHjV#gV2nT_V$Kk1b__{SN_3sF2$i{6`1K4yQ>aKx95G}_}{A4&CYMuD2F?JS>FFCt#zUN?Evgk)trS9zD<;#chV!# zeowcF+bht#L~E6&=jmbn{5C;ucV5Rfx@_bp-O#^TjXJ^#S3YQ)CFvmhKr!x~cZD^W<+mp63C?Jg^+`YmI< zdH=Cwm|pIfQ?hLw>f!8UYWwzBaqkPSf5TZ?1LSMGe1&2QviY)N8a@1rOa>dKUwF>kl);jpjzF3VS?uD2vv6< z>e(Nup5AvO`y28o=W$l?Nw!T1l2u)aXV*o8u47ze3L%2%=vDi;A5W7GIVtG)-yFTA zX&^W6=wB=Fc8xG>alY#RC$(`={?XNhfJ`HJ|C#%5+)r5UA%c>fWbHfZk&p zwrnBxUC=F-e_q&^l6}2uPlsF>d3@B9BHtA!2{ZsU0i~(iT+q9IihVcIzh%15YQbZ$ z$b8yud)27!>I7yt=0H8jFmnEzgkJuB{w*ur6#*!#E`0YOp-Yk&Epn>X!s&+w0nkVQ zMx;#;dR{}VUHK_6?-($E@-@IqGGIg=;h=ZMrA_PCNX4niFCkIwcCgvq-R-_%^w~}Z<{8}bT?7LBoTW~ z#KeHM?~>;X@{eK2O^YP1?qA>_GAZ3Tw_F$(N+1O6=9Ay& ztOt3t7nkaRSE^2eXU4c7o%iV*acj9sO?r1DqQk@QMd_}TFz_NbbKFL89Tn3?``*&b zZubkoO`PzcJJ+F!I3>0Yha+!o)z@~lW_CzE0@xy3<74I1DQgXB@HiGc*Ger(GMS6Ep1 z?p+)35ie46u|(s@D_(U3rnH5&zQ^HOtc}gxRGXGV%(dsqg#8&^{B#~xUAMOD9_<<5)l_I;Lc1eE;q(Sx7d(@E3#mj0^q zps%lwlZ-Y30O!e#T7xy*=tqrQGlK)lF&yGaK5lgf`)#=|13c2TfF?lo0z3YAiVRu0 zl2dU7vwY=~JT-fN;(|d-Pa}2W$o~6p-(Y9>#KCVIy>CgmOYWnf<8J0w)Y9O7Gnc^v zM5ce}ie~6Qe3?4<$tX#RWzi%($4YcQXp!S=4t&i{n2CFKjy_A=BVL1&JQ&DISQHTV zb;_Kx{4l-BS1~dQ+?HYhdkg+~COz!B_@c>>8ise3T16Gn|7K9zk=#c%u&hLEYInc! zY2W^4bq5U?_3BE89&ox8=#?naRt}h)q8I(4wj3on_KR=nW4n#(s*jt-e)g8P{^dt= zUayOLNiSG(@7m4+O^h;2;UC-hAmy@;w7={OShdaj+MM!XT-s>!h+*^NG~{90{=0P< zKdQzBSC&ZJ-55kWe;j_hz3g+vx?*q(ur-L99qkoXCF6)ADPTle9=#B09@uxif$P4q zckmW&2uU`4Qki{%v2*^;P1*rEvo-482*F!a39*Mgw=#S2WPrlFYO*Em84Zod8ISC_S* zIR695zCL_S%9AJGG7;1@D_a>$7>zP>-0XY1IO1LO18s8nn7y8!%-3wcP%a7LLD}NF zg6GmKHjID>Vab(rKja}B(-{lSglTuERs4kc6+1qVMM(|bj_{(-y_ig>SNygmko<6n z&t?YGnubsN0p6~xn_lzpW?yZ%a-`FK)D;HjHJ|&r-|_yQAybTtxKTDI)5Ph?Trhki zQN-781~jj5EyQv*d!-EBNaUkXwTRW!XPKHZy?UJqRA8G+NKQS1M7ntNce&pi^V8NS z06utXYAP@+z}W$xwttuk43#ft_T!>jn8p*mxS0L5+FxH38MpAxnE{?L**IeFV@t~; z75}Ayq4UQj-bKH@sN|T-L8!y9vHskaBErHE)>(>HJ;-VN_$1!8WNvf`t|a!gUy{1+ z{08e;DIl(&Nww+CRMkIR#fMa8+x@|u_X5oMw5>JJu-PYpzt8ofA>F-Y`jEHzo^5^@ zq~<|Fvh%(|jGg~$Z2kdda1_za2Bi6Kg$sRZy;7+N6fswd*LE`BpG?sRr*0p8a>%6&_ zJo?LilN6c4&ci$h+lUFhUKkhYr}VBL&olRr`idq+$4Pcj*=@7rSPV!l-{)ym#2KUx z%)-QK)$VFsO6dM@lcqH#z^5rfJQ>Oz1hFCCfKEb>1!BN;Z+ZS+$^7#8aqFP#9lqxP zXd4)m$d1eL`sKn}k2Clzwm^<1Yz|b5OW1BYWCwv{YG`N>#a4d$__1enlnxo4jpEQQ=Vxa(J2qMbmSxBH*mabU zF)Ez~GkFMyDfb^68XU=927JD_)pTULAT4=J-ACAPY3}dR(hxhQ84Vvr<`aF}YauZb zV+HqJ!m;sD23O!EhfW*AK*^qhq;gmOEBzUv#j1E(qufx}+s%9dXO*5CEzocRO|jy# zrC&u^MWS8jZsZ_rdiQ(e>U4QHIRpI8owBS5l04Rso+d_E3PL3dC|0S{%XiysxdqtF z10XV@=G3I9*_yk!7wP?X!Xz8+`hO-?D}SJaJlF5P{l)}ZwX)Q*BUkSFf@VsH%=Sr1 z0+8d2P{}DNw_6+OIFzFACG;+_k)Qfq8mOHgsT8-|ptvw@*Cmb{1QDY3vo9L?4{`@V zI0iHdnu!*4r>qemuo}*gyAG-Q+u+U@b7&T^{VLHmJNwG*pdXssA|wy60XJ0^NQ>&! zn5=JNa%!qhge#akcS<)hkuCV)Y)-{`Bt6ZT4~VfOiAP(*&uD)I1zTy~#5|xP-fjdE z=GUcQmH@_KP&>|j_XR&~Rgxr1F|A@D76Bx-^zt<-{}IGT9)vvr&1_nwd3ue$?CM{u zuS$MfE&26r5D+=sazDfOTs7qvsIzt)>k-BT>isJ*P7?>SpOofZbq^kde*CD%Puttu zi^Pv&T0`oZtvt5qOy8Aaj(1CfAHGWHc&%OO3`L2nj)2~;Uw06M4@n!Q*ac;CAN7y*iV2G7#^~-o^^m<{5-AK zrgu8TUSwQ~Onh63xUB?cCQ!d6)0#{BHf5choXk-q&&0~gdVH1FPM=Pa0{YweC=dyK zaMgORnAXc5FnI>P@vO*xsRu-=XZMGJ$E6LB1@8|W?MBHAgJ964-Lzgjl#`vZPGjD$ zjV`@5O*LP1qL#Qdrp`Z;g!Fcgx_-@r%kJ2%Ab0;W7n#JqD8u?YzZWj2f14%UcR|rk{E+RE%phJ8B!lN*X$oCfze79;TlK8D@&N*e1(x*anI6; zq+6d=4!7d`=GZGjylEK2d)1xpK8d~<<2*>czfCrB_R))koO0}&ZGnvP6`C7I>ypPh z1q0&FPDg9D^=HUX>r~p=N6OHRmnJPUcwS3p_$kZ-p{`$*t)A_4rSsY~9S0bXth|T%rx!9SmX4bi! zT$lyTd@g73w+dpLXhf*%)Xc^(?xLT%CSyTF4O&{l9?S+4S%}t0 zVG%f;32Ej<5fNO?rf0{p&=RrK?u6gdibef_1<< zj5vc9jbG#JIJby*8@ZdVV&UNaz1=0ElC<8ZPoJ)Sx{4!ehliK)*i3zGXn5~a5r!c& zUyNgPUl_!+Ij?T2NZ=QHx0Z#T}>mVy}Zj7TjP8t7?0JYfPH}(93S?8(Ckrn zR%?yh?m_a)ly9>sCFSjvG0{m#4yquNn`wwj57@aX99R*9S3hK!#+QFCd1XjIpF;1|XbBgR<8BkW>Q z&O<}b2zMO(xU}B(*??Mtu7)S#$|qKNYNhj3e)^yCeOg*tminv>S0hUDg%6dQSOl-S zHCXWi&Um!H=?pa!vlU5ubmMexObw54*>>a#WSUNGHAI(`H!$|_7VeBQ=hm3HZ6l~+ z&`ri#TNuniZjeq7K?sLjyre!#%V-`bQP?%(8pQAnnKw68BeLP8?mmNhDZf__R?fT! zP0Y)HyBn61S{(XnnKmQ~)HLpGI<2p2l@L^GV;`M#3L>H z2R`t898CM>w4Xc6a$La!;XM-#J~#IWX-QHySDk7JfIr+|R~xU`*N#(CAU3rc_}$`; z#vcXcQ!ZZsSr<607a|a$QrpCgQf$tJ?xpAYUNcI_&1GW64#Ep;%iT!zsJV!mqe0Ad zACz9vtmSy`QCfa@!}KTqE0!JmdjgWqa}id#nIEua7*~h3>&$KuNq(9~3xP&=h;iOg znyI#AWzLUDEIJ}rxQVlL9ttXa9(idU!3nL!(e4J*z&5!Kxz{dp0J;QFPv6v?!^6XAWHwNhpSNG5u6N=DQ;Qc2*n1f?A{-AUZ)b%1KW}4I zU{^zq3fj$5cy>q-3{SG9RM8wLfAV>vsMt9SR~y53c!N$P5l)L#_a6z?%0c*#Xd>J@ zr#$B@7ZX@pSH?>ooDdFmb$;6~l?^-3ctlUe_pt6nw)xc9QaJ97u+3d%s8(`ni;7Po zha4EvhHXXzojZ2Sx8VA4o8QF=v+Xwn2JoJ8sx^2l@E#GsJh|)ouOA)pEoxN^021vi z-=wQyS?ALrATbE4B3>~7N;5+d#;h{nM*@c)_{uX+TZio570ep<}4|RtP{j&2e_G)5(-REYLN5p-W08@q%soV)!68voPI?h(H0h&lB$JT4h#j zwcjP5s7D2mY8XDx^=0)x^InT2=!3j z@Pk2`Q}jsKj!*T7jM}!|S$h+Y=3^YhEe194b`&HGw&0p2BrLYt+RXgK^8-aT`sGg5 zp1Q%z;f_6R~AgTSt7$VglhjS5RK(UNQGpiUV^RUWgADRv(QQ%CejHT-Gl zh!G3l|DlB+ozzys$$X^Q*JVy-s%VBubk{h3=n&FmIilK2%_BUG5fw`gaUb zndcY`E&lqBT{f(dvBInpgeoQdn{}CgZaZDesv8^TpS{ry<2~kd*rB8}L8Y+swtmo- zMgAbmg|$5_JdOB^)NPY@09(@?8!1L%jxmU`C6f{@91@DybRD64f>7%0&lRK&_D1t$*`D!S&y@wL)`^>w4YHVyb=d~am)rCE)~$P|&rcCkpWXTViBk*VUPyuT{XxC*<&@>0~7a&>s0-2MGypvc!y*GnH> z*};lTiieRUyYPo|lYYj{pRN00upqMvnm1Sene&<^=KE3VDBiAkuDiHhR zAjV{5OzMkw(XnDuI;M<@U@)>0yW=4L%-^dbAYY@YX*sove3hz*rzNvqad{TS(SCs+ z3mn_cTY6g5Jdczio>Bmh#*@o&k*j($tj;4_VU6;grLZ5}?Qn3uRZ#ZT^V2^6qqbRe zKk>T~0oFmod=Xl;)Y|cuDktZ8Tbyxz#=#AF;pFs1jvLCRIqBxQq_up9&Nbl#0v+BJ z3#}=cVm8sF0ZltW%7s#v8ou=kM`79L?D2B6hQyV>DtzhRNYcS-ZH9Jt)y~A8BmbM6 ziq5oW{3ILgZ75mUMdF&F55180EmrOMrX2C>l@06LP4Z^XlbvuJ_FxtyayGdyt-!f| zL}tbZ?b(=SP{#~CcsnCQFL~xA#;CZsGMEP4P{P!UQCu^}f(|81QmrPS{L zmCMwN!aP=+=7%@kFWVb|#S%QUW-BLfxwp5l0==m~YB#B)5s{>%rsr*nWO%?YsR050 zsl6mQ$^U4wME~^a7EAA_MKk^Jw<4~`rT6=Kg4{FWTbEe`N5%L@p(EE#H$m9S)~nve z+rY?KTho7jACK-yTtM-S#oNsEYrFXZskb2%d){;Mf12b0<gBw_Gmn3}v$qms=8TsYgRY452S4`GLUoc&p*D&$ZK*IRswoxqH+I z*e=i4lBGbAcVcy`Uv=Ya%QXKD$r6G_$C3g6LSO;oE7N29h6J+i?KcZh+~8JKv+0~T Ri!!2<=b8-+!K&?t{{;;?Z#Dn` literal 74015 zcmd3OWn5HWv^I>Obccd;x3qLfcXuP*-6bF;UD7Ds(jC$b(lsF6-9yYf{>!-c%l-C# zf%%=Y=j^rjS@Ep3o;_g-a^lDccnDBXP{@)JB1%wDFd!%>z&#uQa^)&kW(o4|iIcFT z3LG5V;;Q_2C@5kmNf99xcfA83ydaj#O2;YC1bUNS1%_8p6szU10V(CAbH@;B+y%N)!`g^6 zQG&b^@l%<6mKa})-!Z6Gx@p;VAp{BlN9+#;*kmF`K}Kc(YZXF6!=MR5{rnSvfE}Y^ zZlm)4pOJqJhx`!?hLZ@^+M6y>Cvj1P2Q)FFy?9ZyFPrQ0?|>iUvorizmP~}80<58< z9>1{unCYL}*~fsra}Ay0(&KfBJM>>Cgoa^*Lp!n*G{pXQ?BCz=Z$m^o+Pj0B@cmst zXkFc50B{3(_i$xm5+eA;P-TyBddJ{13D z?U3=~#DWba(7~#|t_m_9#0a^3O!oh|=-D<6cf1Ck##GTXe&iO^IoYa3UQ`Y8b7`~~ zChg-NmDbfF>DWz~-sUNUM!Z?>5uGNtNn)`G7fchTeU~YCOx=c{Ek2fEUn} zr{PW60%=$&0IGQEkKU??M2CCTP_vr@w^xspDV>>1LT418{i4TBOxdapX`a2{pb$Hz zdc7wt!uRrdQaYdu7XeIXZqXe*%bjnmw*0MDL4Nf+F^ivb(A~%YX0vlVc0h~B%KU?O zTW>A;Q14mK>W5~pqW#*gCRZGTYr-3zAesi(Xn5R%8ZQZiO_`8~v60gxdK{qJR|xMX zZx^@K>Uked=@4zB7d%&8=hP2J{VJJN?l^KYZY;m%+2W5qo_}uw4_n^h*dZmGMCzqlG1(OtK4)AW^0@^qQ(M!D3%zq&VA@!2%| zXvWj$AqTqJ-pv5&?$r@iGwyfDO5MD7I9#$~KX`aN@~eKb$@|QK?WJ&2Ezfy9R44tA za;!w|>hlU?Hg4!tfc`@pxrO$Y^D#epM38T108< z19}|{qc4G*7xL^u7g!LT<}uVLB$RboW@2cnX%}M`@i9c+F)Mh)x~j(it&e; z%J0VBavv$yT-n6TaV_w__94DmdsBJW??UwiJS$UdTSa=ckz8Vnq~C00PoNxI*zwkc zi##E(8L+muUUy5w^r79$yUuOtD9?(;6h?Px>2PUq1UD#SrduV>`K|m$C_!??0sgi3 zNE`ubFrNZ?thu-*01=Vq zqgM15p^HxXp3HJq>YdhiTp$f`O83`qdh-~SWf`(kN=lYMNORT6 z6QSCq^k_BUHVwCTqxKhYk8_b*JKbKb9xHBGS*vn;ZGC2OakPi0TUW79;BJ8%6$ zEK!P|aH?^rjm5_YXNbjq{Ag`c!i_*yS6i#nd+u%KWf|qE@)G~@?y4GZUsi_b7V$H%6_ZmRK~5Wo(43J9pqsR^J&p@a^l7(+FCfZ1r*Cubk&Y|DhaPrC(IL`6j(GW6ZQfR=sKrI8 zbaDDL!z#y#@bRh6xWsbJjTubn%8VRcC2Q-ZrKyt0>&w7rN4$KkU(~mQQ?5macn~cW+_n?DrwS(*uk_T2O24_IQH_!0T1VewTMU;|`LbdDjIsd; zm}nvI-_Mk&S9I>>kis}?60@*W748zZ*BeiCM3;e&J5y~rXWE%pC&?UabJT1#*=y>; zPBzNKcou!PPKMGC!Q5AwcMqTe*%E{dS^n$kZceqw#2tRiZ*vKvRG{~^goZS60tg!S zqot8lMB!F$8C8zJ(xbsZUYY<_tyaA6)t5`jttHf1>(e{ehO-ILVRG%24YImEQpv1X0c-zU9}eJ3!1Af%zcY;eFD(7#LYLd4cF-P2 zDTQFn|Br+x#@5sVgSq|x^jlM;m7`*`fhEW?HoP=(!(;#KIuUA>kp}?qfW`90*`iprgF({tr?KnLkzPUTXXx-Yix%vd zgMo94wCUcp`vwqc7R8SRKtI7S7{nhpn81b!M>A-{h3+e;QC{v*4nu!-3~DCn+))6*>j^P`5C9g3)$EC2?LT2Qddd#s`MF%dc|Q)dDC5XTuTZpK!g>3k~u&iFnUajbWyCKSH?W@_Igy14c6 zxPqV5qZe0EIXy;?Yceh`ksb^{WOuB~0Z!}KuQYY>YNNU`@*P(JHxidXftS9yt`&Ff$7Oc|u_moG zTrcy@n%Homff)UKD?Ow9Z7!6AybqZ?vyx4Q!J(}&>v0eyX$(M#sT5>IUf-!(cj z2O`7FeAs*WOYY+jw!;Orw#b}iLV{@Hk4C1qt-xcKlH;`*&*6nH8#=C?x7ye6Udp1M z&6<1b(;vH%cKP^p)A!xH*9+2i8z=JqO?kFc@((<@8M7ao(k?4ZhFp(08AWoJx%~3P zs-a~GDl*&CJonew?@VP0x(6FHCcIZMh^(@({e1X_<;dfLLnu)6-A-=4Zn{K!dz=Wp zr?pl6c&!_k*!#6;(aX2}*`v?a@QPpQp7&h|(VKW-zf-Td{gO9S@&xlY`46$|Jmo_P zf@eF~W3zldF1s7~s?)(IOb|y@>kn$BzD`gtA8M%g8bO&n)sA}k=uqX+t!gM`%DYf) z6mfHT`Pc{Gl&_m>be!djog#lc#)KzpQyaZjqY?l&+K$!(KA~0KHb;B@NyChzlH&XCuwad|tx!yRA)mayGn1%#br&c9;4#xx?-rTr zA&@^g#ia^1truVaFnT|3#z^Mxj{^5rR;O(2D4#&!WNd4Nk;$`a^)fc=k>hOEf!%5N zVK|vmNpd)=`N+F^^By6dj8z}xZoKm`kASt_WNC%ZO0j!CZ3eYG=W%K*D}xN)mGt`!4ApP6xz`^R9fJx&)9I!V+4;PQdHx$a6BGt*ZF;b#i`-E&n~V&ppU|? z4@Ng54^+<{%J&-P&hp?=;)N#~+CAIqtrfTRzPG=)O!TM@pF9y(CLwhoTivfq4AV%N z^jFzM05s9W*k#VUTwY$?or?%xN137Mo?JbQt0kbjuw3^!XO4NgbeDMN^k3J-l-qCO zAp>8!YngNdv_hKy$?imze5Mqb+P{>r$gY;ZI`4rba=W`)s`PuyBXmcCH9E2-p?tTS z#rR#bj_h~lcXMZZC{=t>lGVsZK;A+1g=#c3Jm*t^GQWL zALE(xm5LnmBubZNtNAe#36$E^`bWWE=sS*p6|T-jHfiXuoD9AQtJHoSqT{@5@^~EH zjo0SCx!n+7X=708&yqUW*W>d zhlqMetIH9i$_d}njV4I&+=uiJtGE-PJto0@vwU<5ytiV*CawGOMM0OQ6XG&AnPTk9 z!^(J2%^}*oe!baOUW4~)R*ak{`Pi7-i*bl`qnIWui8lRo`lK$~lgK~_3OWO0oEwzz z`t<@GW`xb5wNhLhLh6VSz8C(qIvRtK;JjnrjUu@t~R*%Ua8L?yzy~$x^mE{udXf)tr>q3vXBXystWM$@smur?brb zCP*%Zz!#aPCarPc3<0Q@SU?l zJ^42OF_M)XX8x{?kn*YLsxTS)D;;PDbMu`98f6GxMA$dp%Y?r)?FHKnf$H%D^uVD0 z_?##kuUb#7ne&h;B9VmiFp*nAWwuwQefY)?ci@KA%>~Nf=^hRkTFH*SzP_=s3cXg( zdQv-eCCow`Xc$_Rj<3t3f8otfJ1Xx5Dd1nN(7|U~q8Gk|HXQ8h?L~00a&zT;Ls`Ge z-ha8h8d(qCpYs~M?kd3rW0iG#bXUCyc`B==cziu?Lr+(*I2G>C0eG1yJH6x+=KQBj=(x?cG$ zpCaiVgaqTE&UNDv_R(HxKm@_vJ}CdnJHigyli(eU zPgKSsVqK({#U)F~LCVsG(D^MWs3@{;vOhrJstJ;m1Kds%B)uq)MmsEVhc0(6c6YKA z$;N>Fc$OF{KMkky1+uPpUyD!zq;QFs$}UKQ^aMHs9WDQUzS=B!OTsx{k`3nf920^QFo~BK zSfvmk3h-+_IZgoGsSA98s0DH0za?9yfQ8`Ze=78;%`*pyc=e_Q(_d84aY2WRZ8m)S z+&qm_cAGpl>%rukHfLdWP_ zzWk8Z_wZD_!V|n`^+L;xisbjNLjgqL&54c%j}Lt-w0&^vXN+gwQ*6_6+?5_w>#l3d zfenW)GBY71a-O!+$&m}4T_r|8*5cWqta1T)N!dgVp2mfgGzo@`#kPm_`9LBz4n>N@ zw<5NF_01vGP7iW+wvh@Z$pTze&d$$JajDF%)!y)5`4QvJP#nKpxgRk>1hG5&Ir$Y+ zuRjKOyjkQZR4us8mPg@JvNaRR9)?l!^J*;C(7D`PInx0ufDo`y+dOt_S1<<4?kDPF zFwkC!1x(%baeBYX{uF7#HSB48kvj&r^Ti)Trk7ru&}Y_)a-Eq^VnF@_GW=OaXM2|T z4+=v9IzGD2rPdkhTO;|PADjLM!P<{3fU6m(R(AN`TyARQ+ZWxg9-WF(iZn(T>K}}+IgXx0p zeR;o<5KS(1kyAKgg%%kS%q=5 zB9YIcYz_@5V{`S9P;7W@E$dU0rWfR19=g)rC>=Qsrs5B3!Gtr#I1bp=BnO&A&e$Ed zlq?%hlKJ@*C^OJG(am1j-8=KiYUbJ(&hhW(DqQVv=!;FKU5s4EYw@U-t?fJvy3I~t zN6(@jRD%|na!ON2+WYhFdx(%6i527kTTcY8^{?f|xL*d+QW=Dc3O<9yf)Bxc(4T0Q z4w>!e1%D2-$(4lcn=o`)mu^^KPAg00+{`E?g`|rWjcmkR@3PpXnxQ2nHcC=ad@d|g zW)u5NZB#MTC26JOF`M<-5>p)^%5BlzsfSh9)M@qHf?9^|YsK^w-N&2$vsq8J>%#Rl z6|=L)snT$YtLc|2Jv10=IRG@NxM zcxCBTJ*I!@qs=@@e-P5BVBj=<1oGW%rE~FoMoh(3D%#k6)F;(n_Tk|;yF)Qc^1&x{ zN^Nl)qHb2?iDP86&TmU-m(h|W`Nz8`&_mBBxB&Fo^j3Mg$Kmr|xEbSN!4vI)rhBw4}Gow?n8^qhHmER2P{+-`3xa+U13m zKAyPsy;zjjYxEH?(gow?PP z$2tN7N}TQXhw?M9ncZh5bHan|(S}W6HzDx#zU;^b; z%dI6`r8JJ?<)dCE{IQ-~O0j$H+S&d~bXd{Rr=0H2g~G5{VW*NfGf7-g7jS*P7&Zro z30B>%C>)Xw#a&#m^hVmxRHb55QY@~j1<4Wro%m3#4ldpZGg^CdNY|G%paE1SEnPunZyo+mDcYE1|{i)mG{~! zT{R=d=lL^hExnL6Fy?(OlQH*jrqCpTmDLMiuDKlFSyW+dhFeSTgU?5k53234!&=tf z+e}tI_aka9_@L6zJsukkpK>II2);m;GXyyG1#QY+ij7e7V7M8|M~l)kvzD{Dg43C+ zy5fFydO3OJj4jpf-fnCRsO>WU_J11o+3#TE07+^=RW;JiDC1I^UTGlTEbFkQUaMG#cooKLWl3Ows}=UmicvMFM<%nszu$u8L+ z@f_B(ZY{mkel&R$(I=S7k%Zfc@CR|F5B5dF%fr!Snc40m!XAorJcnT+T=qIpsODY? zi8TDOn-hx=`sU4>0+|#HG&F-;C};ctdT1gdA_0N+nKJEdQuMaFnfuF4@y(MZ;DIG= zHiFoTUvP#o#%r&u(sA7=(-)H;Cuif}a}S=IBwtbk;}R7l7)fTZ3B?nXBoH`$FIxrk1G#tV z1`=p-|ITuGUJU_{%+dTlzmr0c)F9Sw~e=3q7T07dXPA9oqyNeq8O)_XBUX z->yTu$R>U;ZA~W9&GZ=MxO16q%Q}2`yAdN__mbP=tiM7!q)D;|rAyt9Z>H?n%Q?$>)%T@X``Ua5%Xzgkx5T1-4!7}=y{jFe@ry%4fL zbXz$zree$vc=5t|yhea#{!`>ewE4@3EK|^t=Yda(;UU zf&;KMh;Dhv+H9chjj#|0Ln}S}yAf;>kwnkBtEN`JzQ&zxc=c<7CSalH8;gKQG&D9cy#H=@(=IK}85k&NPyyi%2jV!)B7g)Yj6bq@tvq{kzr5 zfXLlkA`^?1l{-i$ogCH^Oio{1YyJECgOGseer$oL04U zI82q(QsGZAsl{^V;bk^uVOF(x0F2+?G+aWfzw2r_{o2HcC$On`fj#YN^2$Os*k8?+ zkF6!@_$2=d=SucHXr|Tqs!4`CuCIrD+HNsFHKkEGgt;wq?WI}Zd5sRFuwZUzMK@gz zsygPN_@h_!yw2bCG=FV3OW$tP-DjUj-?`-xXqOCeKCx&uwwIAtL)TA_G?yP2ifhF& zg67n4+MFgYw-B#jZ~b=fc24w9G2-8a%L_E`rkSnR4LKfKVOgkUiv6)|!42ZY?`Fc+$jDucLwnq2d*^fTft zC^NV7*e`&etN-yy5DW|FcIk(-3;p|21o>s!Djl#a7_)3i;anCO#LFHqQh;$=ZvoBJoqo#rmtr{i+W|!BJ4DUsbHLMm-D=-Pj4rv z%eR@s#eZWm-Dh)-Z^ZL<61ZNSCZRlblXY@(xH)6xuO14fnZ6vktc+!q&Ia!*Y0rGmKzSd3JN@w9gYXtcUlJK6jG8c}rL`;*X7#{~_jXvM?jt z&bsnq<$7n%S0`<$V5jC)s!qH%mZIwTV4n!}5HCHrMskr{So;5&gH@O9P5lqb)85Lt zWq+J6*G1Lr3A3!ta7isbPj1-w`*%qf5nn$=_Q@WqO;%|whUEa|VCfd~eXibxoACXv zuKtg3SQzYEJ3*w(B=envO7}*Iq|E#Sy`yT4V%Ao6@h`J9#^-fS5Fq7XRXt_aBH>s% zLr|~)%JK<#Ve(XW(-pIR!7!r9dHkd3-|Q7y@xpKAF|T!F(TK2LcTGCHuabzJbL#E5J4lW z<0-qtvVvk^Aq*re$+j-I>kGJlADx^;^m5UAP79Np zKhjhecH=Ucva_)>PUN;^4a_SlQuz1=d9lQgz$-n~5nQ-Zu^RrvciTrCzC4UGGR_LQ zd!|Zsqr~7sM?U)GDHjnB^-`*Z|UmrPfpkJ#i?ovR~(HL&gHjJYjBOU zC+jemt?*cC8`G|L^sSJ0&6vihcV3oiCSPx9`Ft}zn-zcg48?xHGAMV;Ur6q&pWgKI zK?t|Shi&@c4mwj->_Nv$fym0EiJM*y$htgF;^d&n_d)&bI**^`{<>XV@#46dsLF~( z*IpXjCwJ)iORENRhCj5*6|gowK2D>Y4+8^Zo}8%y_q^0UIyxFcDA=DVL#_*P{*`{Q zj`kNYRXiL$!V7_G75OF3K%CdB=Rc6x3n}hDeEo^AzkPD+zo7jeAJ+i|@yf{d3cDD; z3k0DF-2HBo{{GNE%BbJ7Cn$b%kWi4>u73BKP|#1XVv6s`c^#&pc*K)`b*B(fKd3?q znaFT(uhgJHk%IY9&wS>ve;M+M9GcOTBllY_(;qK21rn+b5dOIMlv=RC%0E!*&q?6i z=AZrY&>z7CNdba6p`Il&{((f$j;c_9S06~p69P_bdw~Mm$S0)&o6%EBXn%zY!wQ9W zYu`|F3aItJ{P7iH1%7}Q#I+WP-}~0w?;N{486NtK{THP*K~yLq;Lpu8{lW0LP$s&* zdqqui(u!kuB%Sy_s(R|!X}>c>Qx7m3J@gR$Xn*oZy=n`uL3R!ZCXY9|>-Z=Sa*2tM ztp2yP2TUNEqaUT#>0_Kdpe>T5+1kCdc3f>14Ozk=h-|<|f8E@>?6EIbfQW8=@jJ)z zZE&5Gj?WT@fQbe8rT5U?!D{?i(A1bb5#M5eeO5J2Bu$Mq#~-+hI2$Jh2UU2%(N-ab zTe?-KjluNLk2F12wjImylTa3uC6Ai6JDWzWVw!X!MJ?#I$;az8n~PupqENw-w}3On z0>iRF4Bqcc$QBG(d;jsQPdur8CZ|!H0JnfU{<@%;QB;kbl3ZIuGaRv0)RV z>_x5xik{y5A=$lKQ0SFko$}1=>`2h3KLDK|q?Q~0;z(*QDr5R_>?`4AvoG3$<$(IS zF|JG2QI?uHp&7`aLF1su_<*YC)g-o`opO;@wpV_&neIS(e#Ktn@gSCIHUzUn>(T99;I*?L9Zsi?LHuy3KCoSvSZ zpIZT&*jax4HiW8VHkOIKpg&yQY%;e#^`OkFEjy=g_cdHS)MaQq@$+x`3Jn7jV8kC< zh%_?%%=YHm@I{ii;;&Ep;p^Wbsw~gzKK;X;K?OMe=ooNnA&C9%6bpGFD08s7!1NEx z_&*QtZ(*%I>Hg+e^6uTQp!dgYh2{an_M8xK{Mjm>AI4e6KaiiBgP85vPbCRZg12XO zD!S?a@Vh(6PJ{TiCN9Prgr8%7e9BgVT+dr0WBuJZ``i8?*=;q9)Bdp`mDW4cxoEEkyFEFazOgWMK1whJ4su|Ig(gJ!mpR5^13rBCaB_0e z(D2&$<}+Qa#KGZV8k@!Eq*(|}X@Ht$Eqd6;WHr#i3f0cqipUETf?5!D+fQjPDv$qd zlFU~?%NMI@l+$8gVmbo4yNLpwQoa!m&hFW!5@YZ$PDkMd!0l)WJ)(zz$CZtf^S*(O zo&9p5)=D^edZGu#jTHio1zaAPK1DNVN9k7@3az9L4t;`vXql86wpZoLLlGe+y$Ioj zKE98U+k|Ngd8r!YReRirC0r!H+2gF~#>eCbek7?uI7{Zv_Fl>92+l)WD~IIZ-%h5|^~Jv|)F|izC`K6#9?Y z6Gn%pWy|1F!n>=9j!`RbdTd3Wz=wR*S$2p2%Ce__0Pr|q_e|m0z<~eYt{!g!R-y0F?z%B#x}X% z+Hjxm`%l{atJfVTupd@gOe1qNhV9k=#;2=g#)tapb=dG!;U$#aJ#-?fJ!j8Nf=YB` zS{KZn$&aMJrB%9;z{&`gDvp1JEdTpA^1m~>V1INPq`B^1m}HvRC7hd z^`aYaGd|LC7FjBf)C#?E>!al|>iWEx?s>iBQjIf`E)vc3(nqD*%&Fkao5Pm5OLuY$ zxClI1bT0=_y=V3^m4B?g1s%rY|IJx8+fIzNn`&sWIo|wWImjPQpr6X?JiU1At9czU zK=9IN%sRc1*KwyQxyo-yyXFZES|L(El^0XthZ*Hx`Lwq%gL`zgVh54c$r#0)w$nY| zgyS-?9>y-MIE(9S*WM;o^a9kWNZ@|>kvKBg6!5`@N=)N`O3SZLk< z*t5vLSK7jZg9vD%S7^hOOZJjm{At@rDuQiY%Z31P;VA;{0LKKt@e-18F6St z@{^|VYcK$6F5SiMk2k%WX{eYcN^}KJmowQJ$UlGRTP-j;0E(d6@=2+wlr3i$)ko|G zeyIji4uSdNHkNxCxDLXUXY<*yZsRq>H|0CQo~290_sj*h|m`bwNI()78 zDwudmJD+tMtbTNAzwSAbv-@lvpQU6qD-5Yk)@7w7H6A4nXyT9TqiUWl#!z_RpM0*t z?b(v;T7grE^S?TVO`H-e7X2A0vfTj-U{}sFNf8wtmFuT`>?+w3q0%+>=ER9+Z~47B z#8WS*IPECs*lkyaX)l-aq&bP^*&SFC=|pxFqqEp;Cq4yGZ*4(HfJRnqh4Zkvq)Elcc6j6JTbG^a-PD`z4X*ea!NIqw(BsPW~+H+N^> z;T}TB-{;k^&`%)2jQy`}{C_&j)xMVb0U1Luh<%XaO(qHE;}F_oe9>cVx#fdS(o63{ z^V#>n^QM7GlNXdqVfn{H;oWm0hy@@HrAmoCm60_e9bqvSuV7)4s^TMSGg>T&amGHf zvA=0>)VwVu46gcs%Y-0HS;J13M@qu+b)vDYtVrXnR<&5-$y_&**EB&qq7IxJVybTY(|oey*5>vh!AW4P+dj2Ie5>6AerRi zs-D8h$H%wTyV7S{xX)Rnr(Bpf&ZCQdw1rQr_PicaV|IuZX#KB7iKOsDl2w4=D(_K* zhI+$WjT?bgeO0t#J*M=1RSA^>11AR6GKMUHaNn(sxMRIxgs?D`q$J8@M9wlPX=Smt z!5huj&2%Eu#Y#Z}Ec&=-r0OgtA4@)@hziHhVTNN2qD#xj5a89=s;rA*rBy^WYRf>f z5HD6;+DQK^0c&bmhK*m1s0bQVha#2xY?Pc}GTdOde zkf#LaKFm0aGo`M_y_bs}CAwv@$2Hn#_>U9WkzX=zZic&m#w zMQ?y*wBLPB@3b$iD$h3Tw2JB9q}HmwK(LazqUYe~nNf>%2TR8Fmo|;#Nvh(Pm_-xz zLMEV%Xv9RfneLdR(cj2GOti1>yke%EKn);8LE9ClGN2daU86&$KAz(}%fX!XA#X zb9HJN-Tk5G*ApUJ9C9v)!wK6lhV@fL!i|49 z^D@nmlGV-m+SPfCzCvpT(^Ixomp8THt*X8R&$J|*o6`p@CUga0F3Qt?pkHizCp@&5lgGIUFDng1NL)KvO>pa0(~@u{&(ezj9ydXR6^M zf>|(A&wM^ywF+jv53lc>{C@<+uX7Wk|4!Z^0sG;Kj&Zd- z_UP2PnHW09hlv_4=<;Xe2QeB*2=p<`XrLY8L_~DIXM*I&H^wrk|Cy>WMvMeGONz|R ztOPfMch=YuJ>+3X+`uVFTSi@*X5wdtyc6i(*yv$o^f@mtk6EOpGx>I7pax4Dm+@yI>KTW>CVT$JV!As6Ytg@(l)!GRgn%{CcI5}i4{IbGk`*}1rI z2CS2o1+9nX=jTHXTURLNh`Fv6$Y&w=k7WsP@(O-xS1nP)2JL_Uu0W0g|1-u7suI)F z%QV~9lb0!U6Q$e@c0OC5AzYrD;lH{-C6XgJkCpu%p2@Kmmmo$6137usPnTl1(w32s zpdwleS1Bu6Bbl|22GCk-jsu$}ZrCyJuVS8DQxhoitOEjsN^%@n1VFaL!TfsjjIO2Jz$ihW5}H# zD7Kym-vC3C6v%&`AfiSMFnZto?;%<*?~-eQlD@W9wlC*+MAD*Dqj@Dp`aq{mhUAic z%GT7aS4!p?0UzZ`LcJY7?i=Vway`LuI6=Uwpakv8}Ryrw)mqD;eRs)GvN&S~!gY1hM^B0WQX? z+zbsHlu&&!zfkNOPxs?=qd=R6wXqoiE&&;CqbdKW1|dGCnXw(+J;ht}#kmr{E-On) z_LjS8EGHz1avnf%A5~}hpvf==KK)l&zHi8nQ{@ZdJNaLju-kYNW#V*x`iccaEY_vO zxdom}Z7=tIjk}keyONl`rAcVG6=|C@g65LYp$vCY~j(ec4pjnJgnw2F1(>E`2X?DJFSBMC#)=mUAZnDA5!jl2V~m! zWo`_7bC43rnkE*RnpQ3CHkmN!$sy_;uDHt4{}v4qA>%6g8SWVlU1e4IR0zr9Y#C^;4^wtV%<>e* zQT2TAt=r&=;>>@b4sx&yQn3C9#$r(X3uE2?cNm)%m&2wwI_oic$_c<`P{28r9GoZH zPP?*0Cv*oj%8wOe0|Qyg#!A7d)el28-JcQSA>Au+A0G)t8tKN?hGX6$p?!W-H$O;% z%xYFs(Maz~b!bKQGwuuO1q|OwZ0e4zz&+3NN6W&hG8c{WJUU5v%GAnPsHpKhC1Lm_ zjk;gzLWRruRhIylJ=6Kusm{q__OjvO6K`-$rc>SFN7kA*n8$T(;0Jc41_NOY7D7V3 zE26Br5$y~2%j#?@$J?B&zUy?%3!PdTZxeyz$E=W&aQRy+y^7OC!q$fM#@?p0Bv){s z`l9?|R(3JX?sqQ&y}Q#W@Wsp|YO$|%mgjo%i-$!vD}jr60ixoek$Bz2GUo_V%kz(h zD@#l4ZLZ0i$!~w_#i`HSSZ}``lU#Y^ZLMyW211yb!4xHQn1mp{@(i!C_pK`{4|a8B zC+;V|5+~z^jzP$luYJ{9XvNo-B{KtOR~Gob`gAU0n&uc+{uAfcWmZc!Y>!ez-sFX{ z_(lozhd$hu?&zD{n}$?Q-;bwiO%KGMP$KE7_i-|13EZ5)Kxv!P;00Z*PfKIGXl3O}23Ru9yxFwU3)Ss%iL|J}&dPP=2Fby(scJ%XgU^gH3ll z768)h8zl8MVckk;Pn4MfFR4cJkPZ|nF7Ly>aPuuYVT2T?<%XW>x9V|t$lGU>VdB`d zFKxHx$FcIxOD5!+YRASm^y~`fU+hO=&DPE?R#qKDzAv)y-BKQ(1B% zmM=EVRYwo&0ob4@?TWO*ysTNe`)TEt5cP2u*9X*80neSmvQ!}T_s=yr>5}`IxiWZO zPw-+}cs99*HK~DsMIzI2@c){(Ah9x}f1wKRod8vZsq^usHaNuJsVDh^?IvkvO+Qjz{;|!E%w(3;eVc>d&fDe~Tw30KKnoGs^ zS-g29e=mQl=GgD4EjZuYlr!RBY%_PImZCP(;vdsbT#O&zM?Xux-ka>(E%=VO%U{+R z_*j0#Ixp+UT5WYpCpCHD>@YdJ(F4j-I+p7xj_m&F%spTSPwp(1Ki}d*w_;KszR5O8 zMj>j%Zm4|Ir8!uhHs#v*y4eRGLfT-JhOj0Ai-Mo2l#Df6>ZD9cTiYbxT3b#In<>*_ zU>ZgFOnq7vFMewj5l}JMQ|5V9aorVr?jY&6Vmt3=L3BI!WP5Ed6X!FqXj+e#PR3Xl zPm0yzTWiT}OMLx=wR|SaVUKd>7hX>tAKH?k-rsb|;Z4&EGNe`P4l>hE{a~AqT$u^*WCd zT-|65Yv2Av9{pIvOD5`q--88dFM|72Txvo?}PNiunj_|mOQSeqzcl= z`H1P8((b&a3@H_=l%K9c5AriURh+~p!r9KJlD*R%m?%E&u4-BBiLWnrx7jxPr$3k? zr*Sl_wjcLq&lc-0x|}pEDQaegmIOI`W}4kIX*tst6dd1qIBi+ z2C9vsT5|a1*UnYFk-wJ5g<*SePxTp{{EW9hp^-Y(Y*tXP@@Rh{*;gMFqmbJqndlhH zVSV)C)a*OZ7r9>kUW3hVY#0ZxnvO_Xtx42++dLTyKaJ7t%yQkwXC;6qu*LV~rT#ZC z?1&v1R=Tgp$`xzi@|pL^kCXk;XBdpH)XY71>U;YF(>V5L`Sv0zQ27q7R!oJ(re%v0 zA}rd%*-V)fXQk?S66NBSeroqpakvjuKsq2VT%N`DDWTg=eYxoj!Dn)I&_&tfRV+TM zDbnL{cgJv`3m+INjDe2#H?nYp_BZ&ySd%Y>`g*wT{x#F8-D? zmC@&8U9ELL4%8f7lUc%LU|D(py$AKXi${AU(EQqq8%@ns4PwjTZ2Y=9?s64(H+;p~ zHpdRGXsR!&c3r>8uP{s>lN)6Jc9Oi~C|5H0zt+BB52U%Fmd?(;+a^eI8umq!e$=JQ7Uo*w)t4@IkvK2<;Y)9_);yVlS9la^cV<{KEUM$z%gR)qd;IC12-% z+;)F>45zqWAE(kxM2M?#pS#&sUjJZ=MM$4Kjtv&FR?=|EKbYfbTeNI1Z2Xp7bCe=! zpRqty#S(CM_zoMJ;*ipXMfZEMp0o)M87^3}#Y z$_lWiBOL)7I}Klpp7B}niKQO9D?a)*{~W{wE$W*kdB?uPhvFvQM= zPm|$Y;qRR`w%H3yEKfqXX}$IzbolW!YTmW#b@;R})q@4&9$PW~BhDSg0)zi_Fep2U z_^Mz2{Z1R@k&p1-J_muLW=n>mkCQ`rnK`?WYUII36~D+T zHgvzbzC1E6t-^$v!{}6QWi9wC&TH_S1so+GbiaPerAo>pee2Y zpJk0iAR<)$1|EN1$$tJky;jnhp6~^fz0u#j?_yhVmj8hby*#8jWPh_bKVI>%7ikL* znc`ZygLvdo?_lkFY6D(sEwdyJVNkKOv4~w5JGHa}F+gUBTuZOC zL@`VBTNq5z+TJcGzB1%ybn>MqKHctE`2^#i=-uDe#OyhRM95vUi5^A?MC+@mYZz7dKAY7YqIu{Ok z?S$mXZO&;$-dPuEO@FYj2{SI9*M1oz=&19!<=X%;MV!y!sC>@@={5Eq<5f1)thKG={fQ~I=7snz_4vLD(vz`48F#g8%KYm|GJpR4#V z!!ys&3!Fxh;XcwDc~;{+zD_i3MvV5#?y@FkL!?FZzPR_+ac{C12pUaOrN~=P+=xTI!RnA-NZVP%N+niur#|hbBx_Wi^|pyS{cxYP927-^_7J z3iYhI2_yAOcZhs?uNw^BUQUPs`O(I{Xl;M2-+1xiC>9wuak2m9I?5ILMF=k|CYP(Y zw??H$wPcJPCroKABY{d$L{M}cWAO(X@Gc~fb|Mtr6sec&J#)4F*)fM@N6j8`>j?0h zlE(|9f0Y2Vz13>vgX;kVsu)Tva`f4q+-Wpc^1v#TS|!Y;r75s!4Ir8^+s#xP)+ z2$L98Nv59H6#mmrKGQv>{aW!Dz1o_eV!v`|u?h@FG&&Jz7e^s3Ad&L(s$2JdfBli9 z!_T_nSNQXH4MF$g@!Zn;__PT!eysd-k&(LF3&*|$`~TA4G8(7|C(lXD2b7{~?$?|i z@*tGlj}+BdpLTx=QS1CIxc#1bU7+(W^~f+nE%<*NY|%rWXAA4max{Pj`={L4k|Wk6 z6FuUGem;E%A=xr4Pz@c?)_1ORmDbiIA*ng*7vDR8@GFj|j^v|Cw>Q z(K%U1zmh0920-p+A-=%$uD}>wf8mrO4$F@wK9GaW9-4 zQn{_>?5O`;ArHTOFjdRrSjm#4+^)*w(;e?gm%rY1_<{86r&6_WHO6#`&c7;M{8h5h zCM?5GL8ATol46-a+w!Bemi1~B65JHkq-t^wxSBu60FokaL|Wh+GJ3_46AlSe`Y2MQgjNA0aatjsYpvr0bVb2Rhe95mPq*L!k|$qr!+QHIO4O_;0oK`&aDpX7OTP*kX zDr3B`qKP8@^-f;{Sc-vnwRPj)xkM4!=BS zdMf3EJcV>ww1}vi!R|KcdinK3d4(mxkSSBj@6k}0m7hC@+qU=gw`>SNnW6K_TuZ(* zvHN?(5j@-#57oFsT>EvbQ}G}f*@5xrTap}E?Wbrz8JC>m96ntfa6?krS+L_Ikvv!) zdZnA`!)-H8cIDMJ6QRRC8kHr?7RRnt_8d0XBwWuAMQaq1>>O&dwayN8JAU6K3LMQi zJ7eOdT*d-_$-eKsu8v=p1XPB-bVf$Ldd-*fIhb4kYyCAUxEX|IUbVm{-a<69;;Dk- zO0$Eaa|m^tu!eFo3iz_Lyw4v5N)RJ z9M_YzFt;085-m`6;az02@{_`VgXFbNM51Lc!G}6@Mp~IX2!gu)rHzM4Ml^jOkgp!g*qSoo`DTCEI7@q?)v`7 zK0R8h9!*DKj7LgOJDqnumEr{vSkUkmh+$cf@YT#^=o-FHXF~AutiQj%(5rx;LQ$uQ zf81#AF%9_fi_apWiDp`LyVjVxWk`{YirqKW7cz~F`Hy+uAFrP_YH<&mn7F^P&KrR@ z^=AymCF@8B$=MA9Y73c%$z*$sZo{U)wNMo>0v&a*WqDky0$zNGS-C zLp7ED;P6~6p{hC6$$85|PM+dk{ zAV_RCxR0>uyPeUziLpDgmktuQyRt7}2p5>bYGsXU85(lzH(a=#IJ^y~HN8sMo+!>8 z#JO^3n&5BsS6GGHiEjI1h~4{vV>3~xKXGweYjdgzaoKqS@zs#-cso`TPKvU}W2UPI zr)+qeHIs`29Gdqd;%);tj5I95(S>`tLxn!V%gU!z3-{HNjs1YHaE}hzmvI$oKpt*% zF8^VPPpZ{ZttNivC%4@z=?*3<8wwc*@Nlm1V0+MvN03%>9$BrD0iIuoxybt|#D(t; zR0Uei`Y_`X6J@m7*be-^XO47IvwWO|bLhXZyDs)Q^YLvK!DEA8(+Qrw5e67qJMf&{ zJkl#a4Sfl}_Vo*|QB&vH1qCkN`Tg*RmPJ8E_VMw_$jEq0k^4{wOlvLf<_?+FZ#v}z zCBoWC7}IbioyhksduiR!j~sXEIIQ=S=|?#Kv@}FNZ!1 z4Qv~uJ}13b#&wgO+So93bMmx09lo~Ee{83N`UXuKKR7xntLGmduQubehGwiO^Efg% zre1iq*2Wfzz>3R*r>E@}X*1K#YmNT`42m}`2+F|Fuz7=q8wf4{oaiL)Q6v}O>(M)z zo#UZSu*js;bog@r!ECDt0%_(fPgvl~w6)Iae292f>1~XJZB)C5r~Tb7o|323^12*h zcrAJ}bNoTGj&R6AR0;EYlZl$Jja+A-)w$a|^L-pzCHhhG(wa*n5*JtVr)~s)KurFEj2g~eWf)zu*IL%@Lfy?l0&^6JWiqq= zW2<3~Cq<58(YJHSSqAL@{%Hd7u53hqnanuI2v56M44Rq`L>9t7Mq-1c9;N{+tli&k zr1=t>gOW^ljSgTD0akL^Qm{^H;S-dt6iIfvDrK4MnHLtTqbqM}j#8~34bG!VwTFRD zunPJ6S7u@LL_t?H4inBc`-$bPyT08(&d(`cx`6}XU?Nvu`KdJ?ce&V%EJk8q8#^_4 zECzS|SC%vZ?S&qIQ&ot*#xJ=kxbEwNhbc--_hf<$+pP)p4ED>q@dM{PPjW5`AyY4r z05wlolVawF?Q2$Tet4}nYrVPSDg*%*O@)4^%67B)7l7SrK}T%p9_%gVe!O(ax& zjc0OAQ^5RVgtBikXaMyulosr!*hZ8#A=K=Zs%?Q&W$Q>b;GiR7^OLhNy_1Bh51J38y|(Zq+SkI^M@?Z~eKK zU;G-5BI4^ezqA0)Lj#bFUVN&}0UwW^6P*bq(3&l-Nk%qbY&ORD4)?3g^L;;`CaaTn zyGFfNDKDB@^ke#5gHz)wOir2E)BjB~mtvj8npPbgcW1We#)`w?VLGHLFKJmfQCfV^7&UsV7`s4kpIy&sJ}E6nD>iEzFz{V|7-Z|T1hYe81>J~ zQD_LnW5;$rq1bNQvLS+O|9INGw(d{@lay&^ zmRRIXpL0_Vp>To|)aO$iUMcQ3eZ&e(bolK{#QgYbDrmYwujB4gOVVWX?OmigmcKL^ z4+5<+LSU)`a0Rczq(eOr*9c}h-!Sz#(>O|L7c{d}VPUN_mKZU^_5HmQk2F{P0j-uz ze&(J_q>?`b?8oX9CqjM7O{D?S5PeSAObih1OGZBUE*Pla&zF*M)(8fuy)J2wM=mA0 zW!!BZ6u(JLtgEo4ezQourYm$!x{b?x47V<=h)r8eZ{1A zezIRBRz>EmZhC2<@&4-l#;qpba{plFO6b0ML2jn?nAdp1?n8r$p3>sN9t)?gjw=}* zla`j7)Yy&JuNU13@r@__2H+0`MaPr%Y7-5HS6%8H$WpdGZ&c!??d}k?DD>wbHZ|9OP|h#PxPm)80ZPD)@`b83f5{@SQ5g! zW8B!ROSgzZ(TdohxBN%Um%4eS34mkca#)^*>-#`hVu}(2&VjlrSrXg6t3<)6Xd8{# z>;^$X?mj6V9-aHa{%@!mKlVc+?abN&gGZeFJ*=|D2dP+q?E6M8@9F;9fN2D@n% zKtmyqox>K|f^QUyVh?sFP8h0s(48n7)x5lQQ^rL*ultCTs5T=W4-XGP|3QGc%6(kO zL^9rAM`gz>4*z`$;5_-)_&)PN zhl1}Y>c@^SghYVrrg@}=2HRW})*qKC^ju?eO0r|z&NT;@I1BcCk7lSntW`X8z)N@M zt+DY!7ixxk;_%hbuYTDFS&`3mO7ft(kmlP-OUbI*m0_(>Xf@rhd=oAeL>t78^HW7m ztfhr#F<`07M8h1;k~bqNQVy(^#e&1;AHSHNrmPYfpRq=~k>`ti_r8xSLW$*h%IM1q z00#IqYVHgCQBJVofhPA$EA>tde--rzFS1UM&Q?KT!PQgpc)-0R7{abjQ*%&2Sy}R( zew@EwaGr&>nrVGTMZ_$!3gMiXM!ScL%aO5_2W9Z3L&!^@9<--O_QD8H*%%Y>hh~nH zb?xV&a)_zc66NlqB#*S-AF7$jO_hZyg4CFX=2_P3v_^A&vF#FdVjKau?w+P+5&`UXY07 zwh?e^xUxrHUM)5utpH}xS1)Z=tyPY@tezH^9NH`F!dB#+iw-9SS}^IVyu7XhVBxc) zXK0!Xjkf1&(AWCpOX1vEU}_o3ET((D+#y`XyPfd)y{K$Kz-Qaf73e{~ufIHCnY32m z2l12Kb1CkgPv1+WQI%!NYb^oll~-ShTu>V#S~faU(Hpq$&Pz#@E~R^`D)me*{e*Ip zHcchzd8IJvBQzayt~3;i(i`?YK37N5bZPDBqj?<7f)`ckli0nkn?<(EWn_ZWDz%I+ zg@sr+FkZ{tBDFWCsjV$niOksOUur7qit))T$Rm%5J|XclXRbITWIntZT1lRSVY5B* zbd>JCLSmvY=u33{YQcR4c$~Du@Av0t?uIq~YDj5>!?kX+)mVMH&J-RsPu^HJaz(Y6 z-E`uvzI~~KgNw@@+h!VV)~HEzxS-(`=ydxy-CQ@?cFJSfDBv2+8>_(Q|7>0v<#-Xt z1A!`IHU)0S+E47*?L6~}II-6JGTIHE2h*38AT6l%QsR&FiGF#zp%^@Eb2pEDZE`92Qr)_PbXqgD|1&+$p;RRvwbd}W&?6xflmV% z*RT5xvyhy$YzW;+?c*a3Y_d0;9&qlj)&0$};V)HN0`uE7uK}UuZzqReUk)>**EP6w(y)DY(t8Vv)MMRS|vu=mYTeC9+(MTh)2^mae&#jjYy<@gw*? ztEfdeJf0NXBAMx=+NgZs#PrZi#``Kv7!qfx=Ir`$HPxd%^i=}GVUy-L%Te9;9r~G2 zr~rr{#Z#7_IG14u*X?@wfF<_K{6d~&{4irrx1b^BE-~W+vr5m8@%Hzvx!&a0E{Zp| zJ;51GDoUu$RUykdJSp|&)wSsf=_N3^zEls9l=`|>R@|;zn^+3`p~rBkCW;)5i?26& zhVD7&Yga1xzV_P(_Q*hT&8IWYxy zzwjRZz^kdOwt&_qfh(kcqqvazfx2-B<@6e~W1*PImdG2R1$(}4*V>&ZUGBDy<Y!dMte<;iA(fCj|v{ih2bR zhrXy8OpdQ@VM}JXLgpe~64s08^^yngBbYbhQTjGUJ!?v zT5cC+m25%nzL5t4%ETY1CH-~Ie*&VgqrNb@%_Pp`3GNU*+)oAPc^?XfZ@SucUM^bv z#2>XgE2C5RW3asuptCh*hQw%0RN^lD2Nsg`7bgW^<&8 z54(SXq+?9UhvYoyVpG?R8DGtll$PN`QNR&A;BrzYKM7n3%XDtZ&7cUAiR^>cmwHn7 zdwXn%eAHn6eW*{iDcg?NQ60jS7O5>&B)Eup$XDy<-q^ z>s!vk=hO=<-ybevlH1p@=3?&@4MAb@vJZX__oeOqQ|vb`%!_@DPM&t^ zVleKcQ7lf#xR<+z-2`0te)e#w-h{d3n=izU!%55Ni3^^}lv!lRm#hQ$5szzp$@>ol z!8^a$*}-D(BNTJk?LlvkH~4QYc{KtvjACc)oVF}qUX#2E%q1Gqj{I!2i(%6vb3)?} z5sOQcx6JckHvFMYV#JVyGgb+J`lMs2#kfSb#?o_g-Lj+Lbr5ym0(@_!;^}eVJ|EkN z-0FhG>~I$GGKItlbL}bMddq?quQVe=URnEQBe2QGVrwCg`fRCy59z0mJ^Id@y|U2< zLH4QmTX0xTFxR#IEJFgkUxB_^hK4~=;b30~*QYhQ5G6%Y=Xc;d`ckfIun9tV162$? z@><*sR4q3L>vqka%k=dk7`GiHeWDDYGZfcjFaN&BEDRVZzCr3NaaS}`0*2v=43vn? z243eB1s0M`2yO1C7DYsK;yS7gFI8$V6VCg)XOf&Nulr^xXXdlGzZOsFCb~1agv^5$ zsBz(a{J7Psv+tCl_1GAcB6?)@W)u_3ULH)1O{g+FQtKj`@&3+BFEz#)fhD@8Q&a&B zb(5UpmEC<)U~RN*AdDVtMzx?HDGJEnB zDtQf$w_VG*mgyqVgJJdbpvn!TXn7w`%5~~fz~JgB8s^oCcSP@Q=DhZOBwkptJcDCT zVy#cM)Xp8fpd4@*Cegu-b^PQ)I?$~h(3AcB=G%)xy1g$sUPLI&E=rm+8cFe*5op!A zX;RjyZYl13&bq~T+OgNIxd1QH%#((~*iSk^N=4+b(jXt*~9 zy&+gmHO}@S8gcsyRlBWhd)Oj_+g6V|jbR2*wxx)7q33o~HUO)jgv?JMhrk22NUbu5 z3@(Y$6!{c`hk>GzEFe4wA503)0S*q1mU(mH;_qR~M9!%nySKOIjMr#J-yE>d zLE#plMV!_Jp*NB^l(Yq{BK7B5I=6xeVA_X$*9ES*g&91IuIOmNT$D7vKr1g zt!#Naeo${=-Kz8vrD5&E0y-Phu4AQ2!z&LaXY=x_?{lq3Rc$@4LA05&px!G%pdz}z z*GG;#SP=hvRE&WX+YP8Hv0M}+7}O+`tkOFpKqDRYdn!s^C2Ur}30&Jbec4a+$9w*2 z{+^y==s+ql`*mj3?!N}}%k2l%|0=^?scWD3o0OHE|N_zts4bHAO}U5O+-cx zxmGeMCingi6xoCL!|q$w|I1AxNI#k*a`1l+4;fTMWLI>^GS<>Bz3MAOgnX2wq$FyzaHMiQ=`URQJ5VqR z`X9jKn$&V$i9aCp&r4o25MPlk9N@#A`+|a=S0{3|s>=Qi<-0hASX?nG^X|9cf{qiP zMU{7|_)7n5JDLIt0o3e_@h!~ze@+4%H?_||up#JQ4>`Fue0=Dn%9je&*>e9-LEyeQ zFCsDu^ZQMLq5?#qAcU4_)z}OI(!bGd+}hS=k_LTFYJIv59w3#vX%+OhWUd-_sia7X z3V);9C=QBE8|k;+|yd z0Ryysnlc!`KVRhoXc;(wn3?|aXlaSJcL^&kG3~@DLCWq{b3QjM2l^9{?XNp&G(Gl; zTl{nPigy#y1Vf5^DQYF-j_;VP>9pJOr!-jc$DFR~2#Z%DHH9LYHJj3r{m#S2v8vYN zu=@+wCj>;u0-9r}I4j-zv|>j)i=ti&&;Q1T;#75D*Sv-yy442eJF1&d<1!szkQx!oJ! zJx+P}X@#v`$4*FvqEdpYTT6MUlw#Vn6^x$0*&VMks-JwchsCh0KAO;F$}#NlHZ+N8 zr>m4Q28*$Oqo$OW{RZ1uC(D*&1^%KX$xCk|drYu|uQ9GJWWXn_tED(!Z3W{-dzJBH z7R!jfkT}JX0DpfgcS-uhcIkkY<&eFPA6)&*6*eM=xZ;G>U&iVLs2Rv`f=kjj-arbx z6mf~t&dg;s>mUE-W3E%Fux_Q{N$*isk|Dez)1yYzlM54wEVKC0eGFv3p1&a8T%^2y z*SM}d#%5Dnk=fd54-AfnPj}~&k0s?R#WE&5;WCkpquj{0#~}Kqz+^xEFr&$9hr$=q zxGf<>)7W8a-v8QZA3MxH(3d@6Ax_X-PdV2K1HCr1x1T{4}o8XVQ==2%Vr~TpsXwlJm)y;%` z)WV~qatU8+jD{AJFA`Lg&xDnjIB)JVf)7mGw3w2)@ft^|pA>ks_vw-G=H(K`jMFjN z!H=rZrre}X%0~t~#RXHcnrt&!l2*9QAZq?`;$3yL12NNniMAatXNDlv&R>a{Hl4G zh=dtMCAjGEcD<(+Lo1t)`4zhp!kjjibIuUIj9$PC8sKhNt1^|StL@_Bc0n28Q?f{D z7)_Fs+s%`RpNz~c=iQorCIp;TyhQGVHqe39d_Dg#qloAAqWXF34f)cK-bc@UPmz^H zt!0rz3NW#*WOIxiHOJ7WWIPW;re5cL)NPid97AJqB)S4QP+nEhmfjfTqVWvB5dc*j?c`}iW z*SHbs~|UP50$pwN&YbTYisv;o(B)y z6{CFAjFVF>RlggN&47O8{J1yDIXSti?OA(|d@n_B`LZ(O1vVe#u|Xko^LiWJ1iHZu zkiHlaxZiGc79(WIZGn204cF%+FrM+v{55QeNDe&$m+Ql|F^!5l_GuQGF}+kSuv5(Y zVB-vC;<|1r1-pW!maJY~2x-l#kTx>{p6Z$U6ybDMS@@Itd=f5Xx7~Z&GaC=jMHzo^ z#=Yve8CgZeoAuYitYj@1TJA*4TAC__CZ-rjByp5t(|~a-BLT1GL!pC9SKC z+D#WtoTsWx8EZfR z;Z|1!6Pm>7#qY1s^^q3yXqyFo@R*raZx-&C2>`+4>{pmIk4ML;Y{^QWEYl;8+MPjG z;Hu*_=OUgf7f{O6{l@#^$?74I#B{!4KR=dcr+k^avCI%?sok-1ke@LB*3hqX?r6JV zSQ$$iYXC{Ie@h{tR9uHhsJquW1XZJ;cU1yvPXXo zW};X@I;!%QYgQ6@8Ir%9Cht&U-lM0!0>It@PO!&QIqV|TlGM(Y0EY7Xr@q|6ac8W3@D_k0r2!F z2r0MxAvF@R;+XHykmWk8(w)Mc=wTDeCUC>6p|(?v@J%5kSjD-#ylG`@J=60{v0xXe zF{x>XhN;oXoOGRlB9PR}bC*P|&C%5elzHu`#v@d_3}DN07&~fRLh4j!sY?_t#bSAF zy}(+o(a{PnHnqFtC-)EUzMPCs_I@-U;x8ySCIm_zmtK;yhyUd~iz_R~WM&e)2f6>l zB;VuWNcR;5$~|`um|Xvh1k(})v1u4@E$q>LHU8U$m_Y)a+78`sx%_@R?$6}fs2|8B zc1&**R{2l55y~Ft**i5Z8dLba{Lc~NOsKMdyej9Sr}gEg2LaD{!h5o(H8=1WppxmdWdBxrDis&48>S7IF6D zjclZ2$EXRMBMSmBWrNQx#O0=@dzh-Mw7Jw=5$e;yES%v>jPEO+NG9Dbg#v|`w7m+I zCY>2Rq5d;XdqXhg$?jCZ#ha&bDP{ij{bhjvajyjTp}(E=`Jj@J!iWLJ)+2`wKBx0} zGC7Q&eQutpwrStO(*drH^F#6eo-)f5id~^RGlb>3pI|Gg8xlio!&c!CnIIdEoj~0J zT@PHbl@u7;%94v;DXcAS_i-ZN!oK4sKtn$9U2FfXpaH0Ec(sw89L68`qzB_WcJtc9 zm0Cye7Ey!z*>#MUB?-s*ONBOJPFNKI+Lw|Hca#_Ws%gzN8Lp+!+*dAhG65u)5yz;8 zYtiVj`FVxYaLH_QVJQn9oYUe$%3WqjPN_R#6`*=+Re}ri3-G>;N0x%4DOcpYhNOGy zZo|+#n3AwdpK3&DI|lmLY7HcL>;yKrmwB|D+qSr2FKaG%x7oVqdDcJ@u6F%j99}tj%D5;=iO0WOO7l19r`0lalr77 z(_6dN^)J3NzwjV$S~Nsme52E57<5^7(0+8{iSbw}%C}pz0y6|R3Y;e}ZJWWZs+KQz z$oO=7(sJllrZ!_=M(K>q&d7zo7~!CMwi&QCu;r$5-=zgV5)+)c3-hQz%9$+nCqJ(4 zBOZIw;=}B!gWEIc=$tRi$bW;1Q2D=yFt4B~*7~VXavD8{G=fz=nO&kwi(V{oQHvd1 z6QW@FiW<;h#70TVxT}_fBqcabCstQSmcvfW4>mz20!n893hKC`x`B(qFn3$2mEZNvhBORBdAb{4<%)O!>azfO6^^Afp z=rBNMiLeqj$GniG??UjiWMv{M;~+0zOJkt~U_G`p0D++4F=KaEhZ7FXFnX{_&0SI8<#WY*7DXwYqpjjEm!O&!r{W}A3> zItv3jS>%r=w9aetOQgw4NLy;9N$jmuYfi>H9RtTzD-n;GbH3;!en(wx8XQmoP<*=6gW~aZ{yFTq}_>$|}iDOHoWJ8I%IO!QK?vZEVHl z%A7Oy?$tShh5Zl@ZLI0U0+p_v1s}uo?uUeKw{mm&Q8(&|sUnG-#OS!N?*5>aMgu(_ z{g{Z{@%_V>MMjo#4%RmlO_{9xL0i=`;cMqFknR}0bz7Yw}q*vwN^E-dWBwF-v@_@B-AP$ z)g8d@*0omA-d(elPLP!|z|j0U6n0;MA07Y&m(&+@LdgM6RX2G*k(AJvYV7OV@EI+VRj}_yvZ>`s>#T313TQY6fTge2y+FPsVIf8>(X$K=mHP#%#8%w5RnV z)Bje73MKbd%v_1nbD4(CohG(&W0`?#`vr_eM2s6FoTgAWCoF5q~>T+g-mHAZ2i$P6?+6?SxV?9hKJu{#faC?mCW z798(LTzf2~UQALIBP8_fbv~&3kk0#QdNcQdUhosm8#TxAC_!Vp!jZZQEtJEi9(dGC zP?~PbM!qc^a9Y9@q^$pSeBg-jTD6A*>mG!nC_?Y@?{PfroLunAX_A^^MOw5j%%<0> z^~$NA&#{sJ;XxtmNEt{D!bJet)+ zfuz|gJO2Iz5in|oSYE@p-1xzGYqZbw9L+I^o?AC0@s#1otc`TITiL;FZK-#^S>1X_ zG!?51Y9NVEsoJ4`9fSV*H5Z&>{YYl}2#*n>3ImIA@=f=GY;=W9mibA*Aj`Y2&%~Vn zkk#DnMIi+!X$h4rpDtp4gLKifWvL2lNEg zUwro(aa8NWHe`x!kRxLWBjhmce~YfIHdw0BZ~VmCpdlre9m`*OjoSl6@%tsV0{z(q zFJ(#*Z*fXjbgn!aVQP!UgxDDUKy-QTh>=c`{xBl9sLHg<(Mx#HD_9pJQ!TnQS}f_{8YuDajAw?q~@2 z`WnOz=nVOQUhb5x@X4{OWoCt5V=yzT=MQY1#8x3S-d0?O$7MT(@#uG4N#NG3rEhR0 zB?*~N`#+l1=0gg2Ou0Mp1ZkOQX?n#|W4%5a+L}h!G{kUPWHU`s+HpKq!;tJ%H8?H=9%VW*d4~R zz|!(aUL+X_z^o%DplWQi?GBW~!@7LOdK5NUo8g@W)h<^M5#fG3q4^YLttNJwxs*D0 zJ<3pVdUq@sqiYq%2zqV%wuR$fK&H!$E)<~w#ZQ$8Pp5YqWX&9h)}?@VZwUXEm)X;S z>78!Y`sA*`)Yke`#|kBym>TMZ?N%?|bZq(5>#Qle*sY1sqn;%*1+gjQy%j)DX;6`s zQ@dkzoxs#ztJN&HOS>hJ*M3yFW#+luy#B((emteG>XH-GY&p8L4FgqzV@ZngZ^91) z$gY96#v&Lp24qiaQ{+e(U3a44I~+Ia4_JxXx&B(T z2Qfg!_)P6^u17t^X=3b01ri#zRTsUlNFCF2#J49Y9GT#aM2C+DAM2rkE<=o#x#jvt z9!7U_@>a#b4=4TvU*J8alk2S1=s8Tq*JPrsGn`UrZ_ey#y46%}v8A-a@;MkHQ?T(na3N=z&Y5n<6HQEdd&(rz1*5_!~nSP5Ay%T8Qz3bAla!r_RD}q`g zjC6o9hZD#Eq{B{>@~=s}@Gc<)O{8($B(oIJ1O;r| zu-2KVi|9d3?gP4KW>$M^badUaO1ffQq=u?2spfo~1szp>G3Yabb3ChF;1Y4xDCo_P z3o}Z{U6dr^SHL1r_@Xj$e#3%ccb?KpPs>D1{XPdf9*f$EY)NXUYEuR`O{%{X+CTsJ!F9k)ws ztiJVnfu<{sTj70p4mzLo+pHfrO(hj>GjmVy3*)&%wOO+f-7i1 zF)`tRxwTT+cWZd-G@_GP?-qCJr0(1>kr~#r9kWSt$R4#%EBh%Hkjax1s^dxru)IC5 zo3K$F34cgd>N8)uhr}6lKG#{EI&uSWz-<8tholoCOzfsQvfNy2n$1(QL^MCPP^gsg zJ1-ya-)CEX%IxP5!GQi17To=Z89_9`274Ag$S-d)1N5>t>9sni8eei-?7@kBSmd!8SN2X(kyUBN&gi>7r}sZ zO2oGeoy~3YU6YN8M$2LINtnOCAzn!2G-5)+R}c_FLP8E{!kPJqCeUESkyvlvibq)( z8BHT^We%!?eW-cZ-JFF);vVvlrA7SPH^4Ri9c% zMp_e?U+xTu#wdhdg*;Zy6c$1>k@D{B6qIv-a?()1bpSd0;9#fzRS5j9Ntey5S6^u&R0xMSAiJUPV*lgCEFEOO&nnR^I@S3f-XYI(KUzyM^v zje!rj8n?cNDab>|72}RF*t$l#Y!=J$?@Hc_H6QwTFfDkIJRE&-IzqrT$}XL;TMhOI zn|&Zy{I?R(u@uO9GxUkV!y_nN2d5#`RW~LvyCr4r^WIc_FL`@aWgWA&z#nY0 zFerGHY@;}qi;nt>$K)4GZCbY*K<~WP!b?m+Wq$9uwl86Q$;ByUEwobfe&3i#v)-`X zex}qV=oCh}c)1-qprx^g$n-H~lRV;ZYkepteF6r^cIrI%#4%S}d(qfT_Q5-^oc#70 z4MS2{v(Guk#xz}eGvbIPAer9Y%x1FBBGtpGB9eJw<>55aaLyAl0+fjA&_XasG$!pS z6z6Ew7Wqo(k3m<#f(Cu0hdKHUp78%GK;JW%gFvav2ob41g?($3_I_q*D%<0TAv1d#(+g8(_-p>CHqox6RFGYHCtRq;;GX3OACzbdW&Kvx&1fnirC-B%aY-fx4>hS^(z z{o<4Af)R%fe)$D&3w$o#sIiBU)VU_ypPkK*EZ(VN9vr-deCjGtW02q^l2U5cE^$&; ztX0o{47%2v$x6G{%qdixQD>o`YjrDXx@ndmzG7hhL9Qo{ZHf9j3Ob+ug09CGvhUZN<^I^0UTkc+id zmQiahO7}>w+gq$L)a#e^hoQlddQsVkW7#>n%#5+22EKe^cz_AG9t!J1t?ei%N;!|&oLn>kkpWNL*XXa1l}ZC0@+Dj67F&uwS~s|EfxR zzqIiU^`Gg0MB<#QN@z*2Fcy?~xsAKTF`?CBC}JK$7n2*%RYvxWc;wMd&kVOKo)DcBU8B}(w;SkeS}=x15ywI zPs?}N?6rM53W}eEC^Wx}s4yq^d3`U+Fw%MPFs!~$oaUJ5N;|1Co?tX8M_zp zadcUeJDKTexB1>Ur)8;P-vpNqZg_yF#Z`YSHy4omEx&u9Ic1ElXE7U5b~Gp^cs9q69oGJYq04c9v8|*TOBPB9f-W zFuFN_pTgRAX%Dbb)?GOBIV7y9*rA{5graKoFYr=F1SYtFeG+&jHAkbFV;&hE!(1*I z`~D@JgG4RP4v(Tvcn*t8k<{!_6}cBzf3vS!bB|?>QgkM}%xU%Qk&dVM8oNeez~zrT zc91Ww|LyX}SCj+qBZBFd`s`5CFJT$exeBcO41}V6wmLg2E8`!#jF%F}J+q#5kbmdB z?8bq|Egi*ed{q`mdkHN{Jt4%Hl9OND2Yg5;FC=fJq9IXUT91y7F3f|Tp35jO1?3ng ziB8W&?7QmXd_(&4vp30kVdRtu{S~xaymkZ!8g;8yYii(PNI5-RD2cy(b zysM88$S5cvO1ts?DYO^*-#*Nd@(T&2>VqTz_PbnP`H{Nyt4Y zYxmdd{)J*iLFWgK?d+(@Kfvhk{QzpRX0^f1`pez>XQ$xEgMRRT$ISTlKYRsHhi@@J zd{G_3v#{@vF9oy<{896?FMbP{$&XN+46ZQOmRjvzh(tQNw+)c@}D@A-k8KY7roC>-Qbq5i#U zmNX#G@2KYm)$e=%9(F#+UOfxe4mH7xdS7@*=}nA})0KVFmDX}4tPcLan0xD}D%&S) zR1gF~Qa4Bmf^;bM=?)n~7czyN#owLsR{yBf> zVm-+Z&+2?-074PYlJT6)gX-$m( zUvfaqb;xqTjD%LPNhoapS|JZ3V11s0h( zmd)3w3L&ZLwqLowHvikoJKH$yr@~;JR5_-j*779wfadc4OvdDM%&1zJXH0LoyDWor z+LZM%KZ4l0v>MF~Bbn7wB$YF!#!t48{#m``oGY8ZqJQgT`ZY{dOn(0Hx-q2*F$FDm zxycLX>HWfGVa?m$vB9-_^3x3id-8i-NGY%7>myajUfZ3=mOsq@Hn>6?AF>2-QVkp4 z6b2KwsnZ!Dl}-%4|5R&K3rT9CJ6oFiJB=cz&}^y}wSpOX^n~^N%z2%Wnncy}|L{}`#@q^-*YS6Ka`pkRKUyE(6qw@w7FGF@ ztBdN9e^+b^{2N4J3_zG{XiF#K7PU4Oq{PTg>TH*tAS;3fyMEyFvhA4)(^cmHoWLjH zxdJCn_7UnAN!52z>c}nTS)+AoPwMVp*lJu_Y{kvUpPXRv)v;Ui?0=zQ6?Ne%h8Z~I z!mJN@?WNtUcrxpSd1L-~7q4=<4$YWch6I0~Hu6_&75U$%jl`;p`Yri&NsUZNgp0xt z-2Xsfn5t#3%ah#Rd^W!DsC*qaWd;+cjhs!d2M$nTJLL`aDD>J&fJ!p-JEqo#H^^CE zoD^Ty*RMiXR3l$AXwdRyUJU^BR%zk9a2lf>SpHJ z`DFYpkq`$Z1&PWXm`ti{KV8!A{_NqpJmmU^>kifKG>HNN0^zmM6_^vB&iMsO%x+(hBP6cY$apt2p*MDGGrB)JsM}a zaeq$!yy}P_=GiA`W7`(i3WDEn2zklsXC6V4z})U;xtOP|6a3%@wm`Hd(XB={PJ{ic7!z=jj%eNM@=|ZEg~@+ zoOY3(>C+YYtf1uS(`3{_}i?QrDQ?V|qL^d@oe0l6bJ-z>wUi4M~ zyQtX(NVqp<%VeDI`ygx@;f)2U zSc)fh8%h~=CyLuV;(7I7%@%Oq-modekpBdLR=IySV=xxSK7}h6oezPm>p78bIZ&&bzbAqU_UY8#|huzDGJ{7vH%aljYNS z=c$6^_nOjXU$8G44frqSxu`iF;X|%oQMH3%=gXO&!4qb1_RiELrPH~A)pLe&V39TRVuIy zctQ={DOcNGqS!4%VWy(v6+51M9}|Y^A^mI>Z6@JFB{_S&<1h%_CtoE>1OYv;qQ!{~ zbdhGHOvFo^`fRar_SxyC&h%9OCQD(vLgXl49{Oro^U){NYco3@ddqd$T=2a|I#A7z zxHaPpB>*&s#3tp=Zu?{*C?2Cwp#?%(zQA~gqYV3 z44}-Cn+b#5a`ivYw$+^!>K(@m-2YAl=&}ckYZ-#_bu9ook%L|&R5Bxg$8MU6f?jCU zX)kmZ{i}8ov&~@tMa@Z=T&NZ4UeANXZ#d$qaZ8`%Qw0mJPQ(1fgVyRE>7J14cZ?iC zco*ok_7Rck_0|8TRbF6D9D}{?dAe|2Auq6pl#MaH3T`+MR)y ztnsv%jZ^y!H#P1hSu~bakrIjvS+{_y`xn-)Y24UN-D5oF3mo(IlNcAWD$I0sN2L4An zh_kKB=h!qLbW2IpT6=mQdxOVqn`Zxvp1Zl8^p0*`y1-rAi8jT4EDx9mFcTZ|myaTS+mN&TpG2~7GX5JzOa$2Tgb~yP$-x}FAHf-c( zw+7NfG;1L6U$@=hhCKS1)X1^n18xm~ zhb@D?yZ@VYtgwJT&Kf5&(o~*NDjkp=JZ$?{gm6W+s@-J*jt?6JoSh65bumWAS1Wwc zQh2}_Fn;DK_~q*&idYpx>o5i>ROv6jPnK?nb9KJ<-)z#(^EluXE>7`ohaqqZ*Smrm z1DuM3W2+86#H%p#w8dmY~u)P?0Jx^8 ztMG&YOaYXlq9bknQ3jCnU~L|hq*6vyyLmFYms$X`jjW(SMQ+>PYv_3yZ_lZBnE;%Z zKY>m?2$dW%UHK}h!8{G^(ZU`N4r~qD3cXGJ`!d8*0qd3}Ed->5tAlR=R=j3vmTV%s z-H-#I)IK4%znKmcUShT>6SX51zWO04baPI-og}iEy&Q*%&<6hI1 z5x!iJl7aob)j=hJT5cTm$g``5n4R?9DQHWvJ9QJ;2EXl}}Od5wX<+SJry z5WxdX$}1-=O+iaH(_%7N|L&!xqUgVS<>4w&jwE9J)kA>f<8kwEFWqYba132!e0PAQ z$ASG19_{ZYbA7!l9lvt5YjoCXjEj9u569ooL(H(X1zn|i zo1_Gj9``!JGI7;473*F;)YYA}Ywexj^Xvcj-nad5wJH3#-4X;1G-+q=N|-^Hv(zi^o-M|?REO$yB#~5 ziFE>2hfjgRpT`K8fnL8%4#0~6hlkD|`Y7{u4rpbU5dMqs0sVJ2sz z#M>P;H?%B|93ULZd`*CuGNWc*x5Dy3rSDa&=y1R&KaZ1`JYhR1BADaW?YjhXx=`<5 z5DP{9`#k7R6N!{I^EUc)?aLugGcNr3g@me6eI?J!lgLLrSix;7@k}=h{A;`QV!+{| z+T}bV%{WZNU(y3p(vxJE^}DSdPSg^RQ7_5JZOo$-3!+-C4YhO~PMo*tR-bU0QoNWS zsB^o!gZs?@+OxQ-)|QrwY=ys=NPoU)jAv}6qKc@dVR7yywh%QOc1e0LBH`!um!Vek z@M=(tNgU?dB$#wPIM^-9X5TiEQy!g+To$Jex^y}<8nv$cyvx!!Qqx-b32rTdz)FE< zt^9jqoiH}5tEx4J=Rzg3#ek4pzG>DWgEUJJdUOB7Pq-cq)2_3tj8%yUh2EoRKyR~a zv+`2`fF_ZlZ_8T-#f&+ph!MXt0}q`Z zGVHzSPV~$6Z(5G2SS_vcLx;%&fYR8UtVtX@9qYT>6rh3qX4 z`P`>Wm)CohEK-iM+QD5wOuQkC6DJdT`IOyx<{;-gH4AHmyBU|`tNBl*5c7qaJesyM zr-qH^ES@jrr$)p#=M-^uL^qfhu+vrT&azceqCWZ ztLv%Xvd*;r$IB`w79Q|<0O5x85@FY5b^SA!aGv7e^*2cl?x{Zri_z7krH{u;wR4(l zhGHH$eb~44?y%Ys`KS)S@*yE3s}yG?6oGSdX*BCP0hV1Cp^x%f@qoq?(=OkUpYr~8 zilm_!l8`^Wgz>vCy;2lw9KegH>16^#`~I!AYQjLifCJa`yU2p=ATAU9P3-s+^9W*P zx}alNAR7p72@BXtHFHLX} z^>ZHSb1xW(7TP|zISUCG_Idd12DRMPiTNJ5TfE7-aGCc=)r@=CX7rdel2G*PMw!Lm zx4YOltjF_XTe0m`E2(pV|oYD7wlU}fAq@uw3pugcRedOBth$sE- z8l7v8=c}pElg1gph^^%19C}ckm?~S8%m5ltn;LHw<{6&a$YkCTk9q}$enH5Rbin?b zikS|=d(csD0sVR5=(4k2z8!TIWKsBktN&gPeh2$~IH$7c17)gV>~Zb8^x^4<_V&_A z5n8c4CaWeITIP}09Uu`D5EGmo?;spVC(`oa$Kz=nbcBcKk)|J~&#RMIs}E^Sc^U!CKScePS*)~uNzaooD66O^$N8!%o?)ywp@p-WpvZF4h@ zi?m*QyRbuF-p>Cc`{mo9Dy8MBm+$=|)_0>*>&i}Fc1CHIqb9b>$@Mxj@bS&!isHh5 zKoT9$rQu&)qhWY^-3gx;0w-iwYFz7s1!D>d`Ka=7UPqVu6|qatvZiLz$vDeXrZU2% z&Cn=k1uzT6Smjo0*=Mpn6El-BhrNPf@&;|s4`oZeiVC*eJI;`=4HIz>m27b^mgL{| z_$`FT;*KavtHk)?-L%F37J6%$E(sW0nu+Rh#?eNpCq@&&V>xFRM1wyz0nJLYDUO;w z5b?aHxGt%qn~slaQD`t(QJA)RIwNc+Js7STXagD>V+(vO7J-NEBi7Z090V0`cIC{wB^2s~7A+$l>ed=~_>l)gbyV?zb5qtBO+6Yvp;^kJoobrkwt%;FG*P;qQ55xnA5B04#jNn66F(~m=z=ao zA}M>|e@Q!28#WbUWAYLQ6}D7{*Ks=|p}cC}#GDATjX0{Ne1KS|!xwqPtSQg_QzJ?P zrp&IMYsc*7T|6YjmYO)@JDJ#kpiN9vd8kQbV)|MKqz8~NnFGn0S-^!lC{zm?%Et%a z0~FkjR>zxMfM_xPMC^4Udf?ic0wMpNs?*8Ywj7j%TlpfIp)kTL?})S6%=s-EU+G)V ziGpyXZMuBIe$8*mi-Y-8$VNsYPwI}LgZn5M8+8va7xfA9&noD_OE^pK%9sz*TDwn1 zjLmeiv+E*0N;n}7oB|4v_RVrCZL_QeH*)H+)a)p8BF&0`_B{t|`PyRXXRe#`c+qYS zGS!Ydtk@A=_`e1;BwGQ}U}v4b_t0YnBsrJf;+^lTZJoKS^7uT!vv%JkKEcEU-{ke2 z8=-13PakhZ9Gk=wmg1+7q(r)Kyo$pW%lVdGM#KKKioE+Ls7h)yoBfIkb$J;bo?H|3 zI-)Y-rc+k6L=pq`(%OLb%jZiKPCa4Crx`1>mPPPCN$>W!AlOj7RCy?MF~m0$w&6+; z`;p0F_dNLdSwUD+>*lPffAe0!(2-9eF~?aky;Za8^JHP)Txo5YojHxeCpM@@!KMu- z@>7JS>V#{#3h}(!8h&e?rzm0_jx`a@RN3;tIm?q`=$rhMImP2~sv)Y9=0ammC0Ty$ zd&eWQ;i@hO&smsEmY#3Hm!}@Bk`^7}#%ojw{G2!8Vf26qnkQgV^^!LOE*0`V7nilH zz@*RhOTg0{yE0S!)lA1+`F^9u2yh+zb2d&MwxZb<4fwR4b!Nl5l$MDBJi2wRkfm5o4#wFPuh7K2T;+=6nsSm)M>Uc!?JVb*<9L#lJi5f3@`E=#^{M+vlKo4BEI%c)~`QF|-uk2cb4Mt<{ zo?HehWAKE<_bA5u$i~&|;BUyQb_fP zvz0klp&&pdzgBaj4z1k{ci(lioq)xB%`E3}$H1hl?QqS&DSd4r_sTj)jvz`>Wt&~g zYP)L(&y%QxJ19H%9&(h_EbV>242&zA=iv#UIhdjl8@l8w)YC7M*YGy;GGWmVoUnhP`YA z-^H!$Gn*-YOd!h!u5fkvJc*Efp7{XnqKnx`vTpBve(=)=%LuGV8++O2v)-Oa2l-T^ zWg=EGUIHj<=iY}UEM{vMd)bRknY;BOd5*M!{U>JmF2L}{DyDpmy5rsZ0uE<3FZYEk zD!n-!TH0lx?@wbQ)UxMBDTj4DIc7bANMo%VzaZ*nETcyn^wxk zn(L&h@^$z0us(fCL4Q|aC?tW~d2bDT-W8p7Q3Bx)Mhp5NM(gYlu@m4`7;PavuwBf;u-DaKS zOix_(V+vB6ZA&RM40w^BRwK7&?lc?Gv$4T}ZoJ-`jZfG0I{w#0caJI}-YOMrz0hYw z?z~Wp*1%D_Z;qo6^3&nzOH3DP*0Kv|BVE1k?m8yA7CW6jy5GHbJa;L(`U##DPX&Ix zTXr2ue$NkjHX%&8AV%A9vJK9n{B-Uss!_|GCa4m8d9m``X(J@;l+Acew65Wj7Pb9+ z1)dxN4o|6aJ=hkFTFHUn<`~3hqy&Eb`NmYZ+P!v8R@4%?dYFyL^DQEeljjr)eX6CJBGyXJ+Kj#PW1CCIcN$G>%zaB~?DFxFH^%Ido zz5e~5ugU9w1=$RW5U*#|{ra}#6yP?X$Q1m4%f=n+ZpemFpAH7qzpwN1!wcC_Q}MH1 zL&0A%pv5GD4yCja55}U0Y}_p~qru0*5;KiwKM9B}C1p{O+UEVRV*Ax86_lTxrE?re zVU|zGa-jt29i(0SO~}1QfC%yux!>hu!F>LL(q?!lZLY?406k4GbH3Q2)@YW0?#7IS zSc8T8MmEx7fwY-?K|vRxTNWgo~mta_=9-xhOCbAMVOsW545C!6OV70){ImM=IFC zl`a)NWhtMN`&782;3aC^M%aN(5vX+X`j{3`K`GFU1_S>3t35;j$>lu}itPizxSW3B zZ7C+#(s?-*R%m_@ff(G>LYJfjrPW$FYq(T)Ivr0y<=E%_5+d-33p$>WwBKOp)aF{Wu+V9_u$@v~W`&=|Ly@QE>mzR?87cJ-UD>QHI*QmGYMNum?ehTh~% zme^sZss&YkTV_|zPxHZ2+I1YJ;7OFD2^3(Y*M>E>899@_=)W05xTOf_RSTxnEe|bN zOe^H#c$)cLNRib{sHvdX(%9r^(e9FFo`hFRyNZ(&t3P6Jl&{V+O*fY9Z8Nn!0y6(V zAKSeHL(T2U_|G!~T>H#&*hK>=e1Aj$WD(e?e+LoeZ(=Hv<&PEoQQq;$*1FSJj5xW1 z%eqV_9K20@sgDkQCyz`w4-N~8jf~a@ZARY}Jn%d*IvY!f+)}lh4}Onzy<0u1NPvB6 zw-6R88_au=F!!LC46D98h?tsj{;iL{XF+J>ub5%ZQJmW)FvwdYl(cCcs=|YC zVh-wz7kt{=pNW`d74STWIXE&xvwVxHM+YZ!w>acn7hCH?YoH0r%B;q0X89$JiAwVt zd5;pkYd9yri&l0i^l7RU7)P%S&-4g5*%{F4c%TxTH`Ag>U|~Vz4%KpO;qM>77n_(Z zj`7T$?p|gl<+nlWANgkpojP=PT5&1xlQx>{1SfIW9dc<}S_Zo@bCl^D4DP3PoKBaY zIj9@Ft{pe3UQDKP1D_UZ%3NC}^vr>);K9)mM|B=qi2kBvSH3)P9px3VZK=cu#Fga&AkrGm7{`F#m!c@_7DD6&p;c^<}ly>Xw zY~1=wjnnH>P+PKX`AJ`t%aOIE0EfEN2Ra+sYG2_xAR`ia$Q7rCt*p^ViOOIuh^Md} zf>IXgmi!9{av5!S6F$%C*~-U_F5Hh!)hwf=?8NelInf`LK9VJjW4qERnXu|K`8E(* zOP;=p=xE`;u}>Z%=)eYpdllP@0>f|S=zP@9D&QSk3+nGtd|2$^luxJNdXFodtSe}O z{nKX1ki|ODQ-}mjJ>DQ%Yx zS^%SI+Sj+$HD7|;r#$(D7LYIcUW6t%OgDCxyk(wxBDhbFcapeiuG~+pJHWwhw(f{P z&k=P3mtWA|Th5Z?=*Lwff>xdxs&5hqtrwZFyz|3Dc(7l2FG2DsO}P}_ukR8)b^Q-+ z>wQqFDK?!|Y$Akpks7N2E+Yf#dFO`%$!e*WDmiso8MXX5GFjP0_PYWZ-_2p1-txu;(S}B*Fb;z?vDtpnj&}`>|a=OwIX}nfg*N_+{+LNP5Cz z{N#jzB5EEOTAyezsC9o=K*4?8~*<5HFq&G`^B< zoTt9y8E;9E3RDzHwfZ0Y^k}6jybYUSr5tZk_>vvrWm)H=hSE|idvXc5i~TgfBb)xn z<%EgSW&!w;Ti%ZAEiQy?;x)Ozs>26xh)-JTY0VI7(B>KpTC~qJQhJh~Ubq@pt#o|) zW@@YByvf&nz@z9!EL{4&gAR)KEDg)L~9Sx$LtLQ!4ar+w1bN`XZ%Xi7OUvjb~ zEz1jz>&-O3rvrb{--USYgKUvc#Ybs7Gd>%Y7g*$xDj+*ij?$VKA|s1xmOmY;R2|aO zUK!HmRvQ|b6Kz&FNJ3%foTfBu@*406$H!zbgRJa(?bsexeRRL!@^Z1u3YTa@T(R1V`4ml&$>k4zWw-?OLPM8J1 zs>pNzUm`>9TC{5tR`LnD`)VsK&hQX$GbQId)WTIIfT4??xN)ET~IrD>xuZPUo%a*?<>s{_p*s0deE5L=Ayr;e&>Nfb zvhI5pk0r_B8y7CjYocmQ);bdwWzvcevJ_D1PLu4m7V0__H)zcyYapIO!k4&&5zT-h zsY@5#t0*_}Mb;P~?H`Dyc+k%Eg{iF5Op}>=7Vakw<_!d}*f0f80!gwH>^_IsxhBvI zB;U)aw5V|NWF<_LfG7Ua&-9qb&q$~IDKsv25kR_4Oc+o8ef>)~fZVxbu+y$#&-MGh1cDdpbYG%Bt|z{B zw?1sEruYp+{}@jSx(Y9ziNX2)JG|J^0j^6d@EhJZ*q`^$1H9~zpCPf(zps0c-zS2) zFwl$qF-z9K6NruEU*CW6M{L9yb8C4c+(8QWS}MPy7wW6%MJpB&69&%6!`)h)jM#SBu`Qa>7O`EHVTNHbcOqY(Jf2v?o!{p=76EsPImc8 z%GhrY2SUv0<`v!yI{0q;f+!U{(kb5Ee5<4;Aao=dsVi-;ryzP})Ne8OCU`aa`))*r zjxS_t*Q(UiY@(Y(M^qKOBinsIbXbV2cgi+#ZoWhPUS1uFF__X)U(E4-{hiXnyw!*6 z`^pBpyY5@_(F10WR}E8ANai!^I_Kh`OW78mZ0Nyme9WRF*l&C}wq&P{WO3u*!Zy>h z*5e7unNEWkMs!W*1E+!UHGFGIrY}NIs#r4V*q<i#wSGxu8lVPTzYJ(B7!KLI8H6 zOoE#B_ZtsxEDY4yLtjWJP6V>K4j&IagT^sGJ+wD15Vd}l`x>Y0<)G~s#QbJ2OxNz= zBBdwzzi!zJf^kI|h>X#TMz5B!gSIA&w@SEG%87s*XYGIFV_XVPt|P@y8;IQ7lbnTNmWEvno?y z+E^71TfFV#Z6-P4rt`YtnwfPoebe=`q)R$~A^KZ%2C{nL1w#kp+zty`3Ed;3W3K_`Jr2 zg!#D>bx+o#n1!2Qza5(hN;~bH11#Z}S-5*YJnyR4Ko(n8C|T}q^=~X z{DjD#+hTae)1x~u0GADQ%OZeHZVOBnND@N6?tHpWNWgPyVN35{52*)bEjAFFFZjK> zvtY(|dt8m%$u}>XY1{%ZQ$GTHKje^&9p4|ilc@z$6Llb8ShpT1!wrFK^5&NEQO~$E z;iB=kcjN3zx8x?sMXVw<&1KcO;xm~Jq|q2IG_5n3r}&PD%P%94DFbUFCzp{P{*}}J zmWmvg|0A1Uo{bKsEW00kOsot?MfXKs4pg40n753@^5S?e{;>TK^gzH-i>C00 zBPx-;a!?t8$$wn`ZNpug(JMJ9Qv%#wxM@9!|C!K1Kw}`^z9!c8ZR|)mr~1d#6R3tvNPaCc3dj{ zpy-k#uY4<;Dcm1ESF#rHR>$0`e-MDZB3Hm5p5+~w8)iB2&1!SKre@z@bJpjcOeGbq zVi0IkJ<|-kT2Of#DdKnR;L#4KN*=zTa#jbdfCpaKz((3s6;SAV$N@b%n^&j}$a{NX z^Z?zFmg!3--R@JC-y~xM><6>;c6f!XQ)eotdbNXN zePwBT6gP;+-4=1lSn%U3UtUv;-g2~i)~Z&-0xT67FPdw|WQaMV z2q)$oUB-M^7YQ%4v&!?K(V7{L?j2;22XZ=AmG)R0wEjXq-I6MqxZWQYhATawROysreeHCUeP3zt{AL(7Kl~WRjW?CZq4+{V~(N@#**0$Xw!1*RYlEHV}i#jHr-z(BfKj?lCAn@!A42Pp3>;VrMr z#y`oluFbJY#Yt-*QBLpK(thgb#Cl4{sk|`ojBKrkjC)pD6pUp{^n*@QAFr>s?CyIz zR5>Yq6%C?1Y9@JB{8Ws+l>RI}EqE~mMDCT@z3BhyWE}y4%N)w9#q1n1u~Lk^`!4rY z?6_3K%7$h`>9@Kah#;1D{G*eW(o+EzH38Qm%czN-_b2B#&W;UlWQMZsGfLIa)^SOW zZH7N6@d!*kJGiG@qE}{a)m5H?NIj9}&*h`U=-PSKfOC-FiTC6qC7NbTc~|#~=#p>E zJBEbSDi`>)M<&9@@W1T?NuuOqRv~KutI%BM^goyr@XPD9&!A%?Ym!iljvO|GZ=|;F z$2*_k5}?%)iy`uu^|nk1=VyZWZRN$^do_O->@vy(4`Y)PraS3@eN2dR z{gSZcn>-bf9H2V-jwvK2YrbE$-RLz1@6N@u2ZYD1hhFRm27T!HFd?qGIBGwEtSU$5fp(1e76*1=bmA#^OvtU332 z=7_};YwhT}`umGYVDzs^c^J5M%*^|BccYk}caum`!ouf7U`5f6qkY8C+wU$5)Fwcd zzbAI4PrJp=Ql?F#9yf<4K=D6F3bV{Aoul~jA++}sr6{91JKdepaa309Vpm^yuqH+0uXr#e?jJ%+ zPNxb1m4Al^$+XE?1d0x$nLavK(0*1}XmOtVj`^*FvXSyvy3w>%qn;Q>{m+aH#jpqm z=Do?a2d~6ZuRSGi7xG}_>6wvw7~)E%`&OsEw6c`FUhouqj}pOZD~ju4vD=2mjEXLK3xc z2FP*2^KLhA+&O4srPi_Id5fULOCJ0hBVCBjv-7e zx~Fsd>5HtJY)Sc%)G39F^kpW7#{HR6(mU&nZu|(Bo2Al8aN;*+6p>TFeF)le%K`@m zj!KF5e-t;AG-g+%lNzH~7*LTF;<9VMo2j~>GvjkBAXtJ5(RIkIcbZ^VXMCH{L|GrK zl3CQ!8UbG(Y=v&|kce}QloltdFRRuKH@)V)5ufRObU^_Dq-SFj6C-7gRUS=NQRef2*?U}WxxD|p>wcc2POQ{zUze)^YzyKfnH2P&nI z0gRbx2~(&znPFk4LP2JOaWH**_s?OU3qlRx}0GF-KTekv9MgXi_@(O$a?8|(3 zSr=BhiH3LZ$W;AbOAH67qyreP*TOvr0GlgE2<|f^lIO7h&wezN!l~z@xH06>IJ3ac zYVO@)*MMs6HJlQIE|cknmGYDb6V0Hy(pQR5(_*XMwBB1Jp+KUmWSh}7pqt6U$zhn) z--`{`ZxAeh>7JC?a^+TCkKvPODeG?i2BeYTDq>ij(u(L_G47T zxxRrsmlGx3^}mV&9Rt#opOeZ!a{nXu&bT zQD!f|EKEwB+r{1aLCaIQ9+fS|@6}RB{D$(>-;1oRkNW!Hv6{(iy=U^g4hjYx0IfzExsD#oWp zw|pX%T05(*Tl=RW%%xk1^1tYf7{U(5{vzDi7z#!WTJG-n!0y&gB>d637w=D$Iq$u^ zAxE;+0K_rgwu}x#fZbbcVOvyaQSdDE(&cT}#VerS{sL#{3xqm#O7B|kkja7k_Z~tz z-==apA_@6=QiY3W%fy#BbZk^>V`H1K{J?nD_O&vT!zdXtR?;M_KrUhEb4_n@83AC7 z^>p=-rN~LAxpx&xBsyo=blguT`UaR6W{M9&SW1@^__KB5qhSmL(w;dffiyTlLe=Umu|+er}lLiDCYt zst6q_E8j`<_f>;jOf(4AUj{tiR~_kgbX=Jo$?HM>eDfxW%0Gx%*|PF-`r^Cu`Mxh8 zkxuE^1pBb8s*g&F`DToH+H+MXu^*I=pe5;6T7V$g@<`-?5u_m@A(8-hWbR!=W%bCT z9UXlNqOwPv(wUp9;l^Q2O-VVI$2v5iHpBm_+OC|T!0nTkSzE^=INx*$YG9It>N)rt3dEA0675FmPI2ZZ&y?COZ zj$!$5=UtCqPR%{)E@wkmCqFB~MKMWcgUTvP9dx8=e0=$s)vW>@vV7^tp`tQohqntI zdROi}H$Bd}o7NpvMhiu7wf<&1gOyX%sJ3}rInGjUx=2t&DsDrba)ROwufg;0+60LX z>$})j+~%EM4n*I;J^RM2i6e9JRjJISXV7;)uh>=oV&|sDQQWyZ=$+qP%VI6FS6ZxL zb8KvAkQ%Z{#cE#sLBNLE=O*o8Pdls6% zrvv7~m6B6_VL%SU>MVCR2f2#Xn8@s8{7rNqMq$yXnvd9k9p^2F{~%~(gXi9N^Q1^J zN#SMiR!YY^1r^+fE26KFG^{9{^CT&vO+ZR9l-_)*G%sZ}{R1@~M{0EbnDfQ&bHL?+{#o|2XFZR^FBjk5`|$^xoLhgp~o0rp%b7pt=iQl94*!fLV%~%_W8_hMFD%3cZu%i1u35<(X zKbt+|=tn3I0*~WdDIeYN5WDx$x>O&9)}< zYsC~zcHfB*xO6cm{>-w?_vgP@{8m08`1-B+I=e}ZX>w8}r$(yXL%}oDPIGV7H zYt^kA!t|$e&HVVIe2c=+++3q@C*oytHxgog9Q{MQX;d5AAe@IkEhrlNhq}X>>gp|^ zcB_gU9R!kN%3M)`<~ex9Lqq_}3MfP=71!8f1q#SH{MG zxw^l^<2P6Q$v4WCp=>H3*3T5;{GXA2Fz-Hc>*gb+=N67jgd-bxW7aswZS6{CJZLM2 z`diB=@5T62*0{9U^VS^=Mjp217n60KJlhE>)bCAUE_R8-hJfZ@giY9%U)KV3#%^mb z5Ox>1=}sk|y~9AvftcE&Rz1Ld^CXOPBbLRrIk+!|%#6P0M6d6uAYbVC&^dSL=*3=f^el!b5N{b3D*5<=sCTB~(()D39t;pxUAU&{Md({|-$4XuJBKB%) z|Io9QY5>P3Bx&98;YGRo5Z+8k+{yZhIUdU(`XV^;lv7fKohecl|zcpNr4cQdRrTaNq>}ZY-J0J>y`Dsk0Qh% zmzah`>lqqm&Ce1!U&|<283?#@BICLNllJ7#a8M34_YXEf;P(E` zeyRP#4?))uOBMo%qcnWrF)TY>vi|Ivj`r*uZQ{$*Z?WgTcj}>?4uC~+t&v7`aUrVA z&_K8y+WMtNA)1=UD^WOHuf;T>*RFM?q8=qn*7n4dOO0-A%=NKKtfkRz;_gcHhnzbE ziJK3~Z5oyb;|E&jU}aWr6PY*DSF|ERc}N zJ7yz-g|im@Um@UNX1IB@KLWk&_Ij#v3-fkT>6g{f(V)C|7p$}+as0XD46i5u6&gaQ zSXM7*st*L;bK!FedRMwJ7`s;%ROOhO&vRklhuEH%dk25G#IabZ1Sjn84YuT~Bw-8q zUyF;g^oPyMG%+{792Aqp@Thuxg)yF@*AlEWe=wS*_;9#^RpUd!NWD5TjS3YJL2_6X z+qYJ*$H3Tx4mG!t>H(pcDQx}psk*v)DJ|9a7q>k0v3>mfsEmN$e zJMAGa$R+rTN>q+3N_>93K-J@`fbUsP0FaI-k>sVpvRfTjLcUF|bE8sMIpkqKLn6fM zE5D3rJBXq>W^8h@+HxYVA@A-gZGDH-%GNC$Tp(0UzKR@C4#Y>U;R2A!wBK7ZI~zi_ zF?=J(6gAy|Dks&!bR~uY1W?kA-A={?ro&WXJ~KqRx%A_4$z_O3W>wU=14XhbD%@U; z06x0DHSm*c8Si`=q!NM5*70y;vK_U6Y6AHYM;29FhUp(KjeDPh9@w1`omJNLNRx)fbi3&&8<-WR5k(Jgep9ld1$0BU^#J z{yZ8hOKZv}ZuQ4upJ#i16T;Oxm#QbPSu6B>9hx~?0M*5xb8zGv~rkW*~LQ6 zgNy6(A8D7E?kr+7nOoB3xYI1G+AU}-bK12K>Z8&+JUcfDXgtixOuHa+?a=ONX`*rX zL=+8vT-3H%OYrb%@~g#qoEc{n{#WIHJXnHWQoL%yXs{o?_Ry}&d1&Hucu$A98$nb= z#v1wNSz?W2L&imZvD|yd^zPf!E?ozsp;p<{o`Op7JKdMn8g54=-@wBt0j~+p$q{T= z?N2JGYtj{I)GNNtE+(!j4;F2ez7=?`vFy@E^!vI48FD$~h=dKlSB_m(fyee;^ltH- zPD`uXEN}LOj(_?*9XI_-FUoQ4#S`gC zbsm$mM_J-B&+Kos%!3NEH(v;HXFQP^ZzvWmT^(G-P@?32#N?Of|3H#B`uABfJjISI3OV1Idlku zfP|!ogwowPgc8!7GedU`J=75Ig^GCJ&-1?jcYoP?e^K~x^>tqBJl3&}W1T$o&&y0K z7dKa+MMszn>h(jipiRhONTyd9A{9fm_;ZME=^>v`8jK)&MQad$Fko{b_C60NF1*l;LIgZjmllBc34>j-6%GM#kuvSa=0D5>e{QX7*jz~yFwa04`B;`J;)P+H%^j+sgTzw9|(pDK;shusX zFS5d^CJro;d&0R^eEOcrqp4>vTY92inHU>u_=XlTu`KPB3mJ$M`jL-Ap<^$Zi;uiI zST}@+mktnQyFXQcFIFg{a5b~kJ)QuOh3hDu|Z%z6#-KQ3q-39$~9&ZBer zUWa5vQbrzI`K8v+UHKDHL`$!4#A%k=_TNM2e{f$A68D*w6l|3MXJ4(h1;jcXk?iTasCw1lAwtogy+5jiq$Vg3nTu|rzJ!I+(*F!xsC z*?D;O;yLp=%;ey6qQf2}S(*28(DwgM1Z=#1&T|Rf|5H(<+7`iLj0@)eceUbb% zCV39@;-E{WX}>1M>gCCt+~#uY#LMS(P)I$Q(occi*~Fibjb0VEb~Q9!MV&4RP#|Vs zneB@#j&nR3>}z`LkuP-khrMZE!BbRi{B{Gb zj`PPxLo#io5#+n}lg(M3Pz75g+2lx1!IznDM5E!;QR{&-7x}Fd{l+463_v|g1VMSh z>glvG--oVyzcB(g=^eWSYq``uLbmh1jC37a;yXkI#vCmptkRDnbVJM2{ckP`K^YI9 z0SarXQ!Df4?(im-1d2MRFrTfWm3QF7qX~P8^v%<|P)Bn1^_8_I$0pZRdO6_JA3-V< zYMkOO9G|!pG!sD$6R79&iC<}#e9|1z-K4~_x@&nxBDam@$}lTAF!J!^#Sp|qvf1AD zP-)M%&<3wJy{%~&071R! znfPq`Hw5OUz{Ce&fdTfJ1c+OsqUza+8nmSZ$mmnAq_{Ri-XD)S&rbKKmvRl?QEk9` zpw_S;e~m(D#G*24BCbY=IEBGewmkxzBRJ^3Wq!LiKlH_%r`4y*v|g#^+x{=cpqpzg z_a+WccU+hNRaNT1Lh$W#$hVC?SN%?U!2)14yxZO05r7V$^5VIe2x)l7RUkp@l9zY$Q+ zQ}6oRtdTe=I-|tLM7LjMGoDwa7DE7S&{Ee+P9@Oo=M!0hgCJ0x`;R|)(9g?Q^aUhV z^0J&hf9m8vGi-Y~K=m_h_<8f6z?`2FC@S3U@A#Km6$FqwgQfS3s?THK&s4!n9!O)B z8@V|DDLxe)21KI{7C-K>{h0;MHcz?@Fh2b3oj1-!TE7^j9&SKo1B$cx|NUieEn%d% zzR4xQ_J8|CnIt_#IN8u5pi@nyn(s>$XoK9Oi78U6$X1J~oQd_XXPSfn?iwcS)2M^| zAH_h+J}GAfuwS_#Ff!=@wMsi3x_98U|3{WOpZ~#9m$%pwJh5x(i7SwuHY5-7XTf^L z@KOm__6Kkj#6(0zHF*B842)n1YF{Uh70HQw6KH6uiu{dO{3}WCwBiGFf-RJN#QbPksrC2ron- zr)G%rV%mfAVw%Vip>oRFr&9wD>5)n+*946t3;P7WWxi$VR-u!@)sciRio+4C>z)%^ z3(jBI#qNBNW)6B}ufH*GH{8X#zBRnCB9E;*`y@Z!H3>PIY{NTqQ^BIjX#TnZN2b;N zRxA~6+>_d|1_sY-@KX#dHSYY2uv!&LWw%bNg6C;bR!F_sqr}!M(a3WS=>-A;R z`?u~OqhjtRW_0*c*r^nZ=xa^^i{tzb3tl&Y;_Y(JYt8`~{9jEx7!oIb^Xp;&zaAYg zg=^-{A*ePEgF`eVoJwRL1YJWF2ZVxGzOFyiFqbGvE?2+~T9_xrNnFd!&#W@dE!znD zPe&GB78YMoN<+b>yZQ34*?6`Q^dBNalovDJ?^0lF}X| zGtQxtz|x&yoe%L*{YhU6_wnEPEt_iorw2>ZiL$zdaS*R`>VMN ze97bmgcVDy=0)5#v05=Vs~XYG`=>*B40bao5M87vNY*Lx5Na3&`}6YE&J4bT_W0(V z7skN1a2uN6K=GL}*%?fH^`P%xHA~GfmPd`jvc#{AvaFVKGOG^vm!SuK%&4VM>_U_n z@d;kh12K1mdd+8MJ*cYyi&)v`3TuSgXdn@}MG#Fi!GmD~dzIeZ#G#jUAfi3U0-Hfo zLe1L9)WOXV-sJ9yI{OoOe^!gZ7lFKax`-Fq=o5P4wg=QE_A4a0=Px-ZqY`MI3iqOlzCV@rQ)q;)vj2pWuL_bsw`` zI$|s^XEymZ3qO~m%I0n&ac4_$v9j3Chm2=(AkcddjJt-wVdrJFI8nFlZst&dBdE$% zE*omVqPF1I9aq3GmX=z{dYa)H2&$FIw)ArtoxioYSNWk%N;1=Sz)0=93&P)Q>Pa%2fVg zS~lNgDwKW-FKa?Ax?)o&%v!V>NSm#gI3D!<(w6+3R-DwlIo287hWs)^MaS^)c<|(9 zn9S(I=Y@+M_d6IpDz)p_SVujaWGYXsMZZ%lms0Gx&ptvH0pcm<`zC7wuKw$*dKTHG zX)tI-fkASJ@=ZE<24?8qo>qU9&Y?&(qg!rfa&xIp&P+PW$0Lq4k4PQi@VU4{^mWgV zP9DA81GM}yh68aab3TzEo4LN3qac)Clplm(kW?}WdQ5bp2;FrtQ=Sm`8}nc?-e9OJelZ3Eh%Yd6B${(9Xgj7v!E`Ra5*;J_nHf-*l$Ynj zXI|T5398+vr2LX}W8!9L=~vM^*Ju4|`j=Khq{@zlx2A;0E2knLK*zR~-N|{qDZbH| z<1YWtC)F`x{mXgA3I*-uH43L(SphHXPt#8wNA}v9keA;^JX!gsdY4!3r!1fLmt-o{ z;PGu%fEN}$E4F74WJB&;O2z^vwdWS-#N!%KKZ_|UvBy7MDS?O$5C>~vfb;k4tQ$9w z*gC4JMOdDHj92y&0Qi)m{iI9f0uNV_MHbPhlF8Y4*OjXDb_1|#HL<)t(=Ne zs5l26SNgig_m3q?1#mH0s%D(o6z*@7oSlAf>OkH`i}$m9=hNWP3PhGV?x0yB2`_ie ze)Bpw1=o@cRLU*6xzV-IH%5rqQa!x&M|0@S4=i-4m7X5+ozlx|=-S!EjO3j9Z^I~X zcC9x^$>vX5bI|6+EX{iO_7S`Iw@0-gH{qrvi$<*7>Uk%o{DF=K;igq>e;P9+tz9or zRUM1hlHBzLH2g^4R|LOiJJBGFkt~@Yy3ihcdUdbdthTwS-!8{LbHgq+pxoc>rUY7O z{E4(@Khe_wml)`Ko)!V5^v_*jfS^D7*scZZFU)whrwlN~L{m*&kTAc{`YuqpH9aNe zKtB)SzfR(<1R$?e=|>kd)z9N69iIVL5&!r9ycE%-NZ{Es+&UkP=K#*Q4oEZpU$}JB zFK68G8Q$J(;Ywf@acV*!8-6gs8M5L$x65OXL8L!U!*er(wzOt0%B)_j*A`d$Ufp8? zn#072YU{b_)u!T=DvB4gh;7ba3$bZe)Xh2CQ>ze^w-nup$Gh@l7#Y9UZSbj z1Od5qR#1GdT^$%a*5Wy0dXnqTsk6Ll4DWNFl)|)Zk4is<;?MG#9PdROR=m*S6Wlul zs~ZGHTKVH@Iy*=`471mWb)nd910Kwgz47LSe8 z@aD915S%XLBpU(WtA5No4lf_ngFK{^ZRL zie3|!SEh3~Xs?)tdYxBp-$?^pp4tYr)bIN4SDTq1(Ru6sbYo8$TFjeh=d;48E{nUr z6;u4K7&-W+^JFZsLvFzzsS9RsXmNj=7&+Gh+vThaIYD|)U_6Uu`d+^F&Ab)#AQVxcx+aJZTBKx3fj z9jr6^dyIQlKTvM&E3_Rtq`5a~>TXRJ``qhI#`GUI5%fDmq|7dupOdETH>GjZ`WFh?q6G z$*%aE2eDt{?>QfERZ%n2=dH2M4+v~;U#=#H`Tfr@{S~-XLV$=k_o(ms`Ah$`gJ|wq zhZ)uW#}Cir`|s04owY;Z3n{s9z5d(*;9;e~W`p*4e_Fr%KF%EQG}J<G? zb+g@P>9RHt5mP=rN9d}&+gdKqQ8mL-W8zQHWvV2~8Z-QQZzovP;#Ny{cW6LBYfDSd z_&Roggr244+WdUlT3dc%>5{S}GuFTzv|*wu9i2n1<;f{IUpMs+9@fLiH7iI8S**xE zL_d5dL!p*z_|eYrb2G0JivM(|R^zte@m=TU5l-XYPte*XUSS3R|!-E~BOG6-gz4M90hEOQU$CZtQfc=6Z(<$Xe~ygTl` zO7{9!GogR_pWLd5RhTcy{1S6*JOV~q^EDfg{}o$1JDeLgN{-{i?!I}5*9Rgyoa9is zVk-UZ+i}x)x$wckyeB5MI5C_Stm?Kw9;L@XAKkgaxPKD)Td=~tDhPr?>54o-HBBuxX-RVD2ZwUpO24E zj9pw@+@f+J7GOJ1UvPR{$&&uov)xo%zOWwroV22Up<(wb6*RzL9Z|Ax-F}TiVEYJ^ zEa<^9p1)Bdt({lkQ2e2wP}L<(%t2AlbiBjr;ENpfb;s(gucBsJ#r0#brzTlR1PqWL zxML!dd<`%{s-Lz12ZW@cuf zQ7~hVwHzVkSngBzL&+po?7NPu6AN8*iR-P)0?nX`%Nmw|d?#Z1LcX)q3f`8Gqd=D? z{*6|z?zRflnwq`;8oTx8XP+Fkw+YU=Z|q=enKNZo`Qsd2iutT@nW1tY$WEX!eEPgM zpIh!V{ruRTV*rs$)k`Kqlll1&xG`P;?0cMOZf@>-q*kHz;t?^AIX(0Cj~_p-L-V7e zR14YL*Ci-UR?4%kNxI5HTg%hco_v&2-+xW#;QYIIXkUdqQ(X7pgqar_tYu! zL5|I#`OmJM#a~jicx(!9u zJ@n>chh>$&66HiK4T_8y%5Yd6Sz-Xg zd)n^3Y*)?OO~!OQ$E#hXMs0^P9?SgL(V5`jHuM=hDNnJ1StYc_pY|7aM>8GMja6FD zzY1`Gi!@Y5v|Sd?bRG^jD%YvpSW+4G+{1J`T|A4{lbGmhtZTJ3BjXy*7+# zA|fQbd5=SaFrigBX?CeOTxxo}s*3-BitXf{kju_fS19AwFuD9EE~-NAYSmDnu|EVh zur2kV^~fLgLZhTOqq-}HbC-l)kXl%_x1`-uCTmV~{O}E9oMeCuiHI=EtaP(Gh+93O zgV}1rA?+b#<$8bxFt>TJVa%#Fty^@}9)KIGYDqDcB`?lNMR1-UrO$MjGGs>@16r zP{mJ7*kDx>KLevD+-sd|^m$x2gZtxK)~UGpRz4?_Fy3Ojn~-F|U%ega4tXdIwAmJ= z!ajRzs@^jzB5)ql!}cld+{iWn@Of*~0SjoX_vcqhdTpF+T2@w8$ij!wIOgICMESBkWl{E^q4ILp3YGHJxSc@B#LpvibyefU z`YQ0P>@fvIy^uAqJa!0Qz}b`7!}tXDET=YTq;{{?;p9H61JuYQ%^0}kFAK&$nIu44 zxJSuZb*q{9##N0ZCcDbu;NUxV?r?K+7Zw&4MWo2c2Y8Tuw{G5Ej4Z9lf-(brrB?-> z;(|P$a@{eHx4`ixim8^pl9~bNC;UT7s;W2JFRMVf3x9xl4vKYt5I$i2T}df$Wi@z zP`BjlS<+d}h{uBng`_!`N-~~xSaeAhZRYl`x#cZSJxO4lfNx7u+_A#L#U=faaVqah zd6AnsI>`BYq&avNe5ERHcul4RUgW55VVNUPl)n?kI``7&hqg-v`||#mElp)xCp%S> z-VYh?zdUtU2>@$tnSoMGODOrxA}XQ8%ZyQRv3zdlbPWJ8tr>c3)Y=Sad8m5Ku6#D~ zm0fOI&AU>wCCCUh#s#UW*0zH>IX0Pk^N)J**JPBMw_AiYv{WmcBMKNa-6_P)0a4%P zm)%Mb^pyq9kHPNU^A^hnF+kO3Sp}Q5j|&aSTA1u@V-xQe-x+waq2Up`;*nNe1d}2MMX;5vMlAS&qkS^@Tb|)_*C1dpRi2jnMa~N zgGM{tuHrl*f!tb4z)@|xC=70Z(dt2-6qK+95HM2l@$nTwpcyF}|hOgJ1YNt64=W5YGXQ@f%4pgb7LUzs$Q%*$o-TuPk|BYdCA!g}40lGHf zqP67C`h?DSEySRm(3vNyW0QZ)Lb&v)hX*yakvdu26SO3M58BC> zkQMV7K+k(LlX>qb2b1-ac*P3(Te%BJ{+La)f@DWr78AmHzgx>u(4le#vac)8mzhe9 zAd#$C@o$ibIDgJ)SGuY$O|5CrrM>xvAGUX6aCo>qB7@&I$h-e?@aJ9tl0}4+SaD8S zUJAZ1_s1B6x5$oGKSrLMlJt!zESBh4!)YCLB2kp9Pp;JMos?)(l8>{FJLA+#(aTIfLcuf$w_`ZGhx*+_6> zd}!ElH*rW|4r}M5m#iTnA)%Uz$_wUbawe{a*x_Jm8d_RlKkd# zeUs9o8xe_#I?Bp35w3x+-QQGm2rx0VXF4x;i#(dbGbu7M*() zBqaoHG3RNAyxCiY&UC5C(U`g0gV!UxbN z%TXlcwWu|L1u+bH%sP?R#`iBiw`?!Lmu++rk|%tZ#3+k3d?6=%{52)2wt;Q#yTUg( zQXNeILl&FR$s*7BK6sPp9V=BNqK4qH)`GEYbm8|73W#(a?)icFLX3+%)q5A+7qS+D zSq}npnD1qIDOl<|4vYW%?V^f>br)^BjpUZckz%r>qFDXRp%LiO%0ivT?2iwUO(4t% zo`7a#)zwq&V>YSj!Sp>`I%ZF}LzZ3Wni}j&Ru_CS3lwifJ&G9hS7EzW5%iFS+W-Ty zOKxIZl2K(XKAmLehvZFIgBP3ommhCG-)c$@FCpij%VQ^Zqy`+ge_oIdRz<>C6z{XW z*kg|-*J3di9DnSg+P#kayo&kB31L_3ly+;iWE1Dxr37<_!2{9LV>Clf;LI*Gyus~Ut>zi(U;5CxfDrv8#cU;gX;SnZA?S-KDU19Mu z>6+ScF5eFmEj`z(jDyoG=SHVIKks)74C_?bIzk~F{-YK8tq5M0{hgMiI70XRz7Cbx z!sQW0lj3yTsXRK$z8b1Y{(6;MwK&Oi+`-n?^hKOwDOp+7l3Rr`BmaSbPoW@Td9Fy?%dpoL6aDPwV)E3?3A!Nfqw@0GdKN%pE__%KCcq`t_*467(JnG~TH^ z$-GZmX=Y?k7O!@HiaLN*<;vO7u9yis@6r5O?z3Y2hY~?z=jeYv@_FyCmfs&a^6QclD1SZlWm>2AGdHM%qRW9M_Ta->79 z#iOlWtHff#jn1`_CUv2L2kTiA?*}W5RU_$0>p==)DXvexb;3a6b>6zp&Ln0tw`XRi zr)S>lY6cIEC(O6ig9iO{p&E+8uG`pwOu^za_P4HRG2&8)(3y$(rDa*0ZJsPQ-iYY4 z&u~&u-dYUE)NS5Hj9B*5$;c&G2Hzh=wtZB-cK%g)d8uQRuy3;COboR)6&S3D)RB3> z>suKVW%|f?(?Es%6XBe_(CB{YK?p+HC-s=nXTR zXBH>+u+6JtKfMk*Qk2`O8aFn)Lho-qjQAEdDTfBeH#DBEg#LhKWi5Xaf9o0)=}Wng z*6eFKP_QfTBM%&*0_1FN$4 zdl&&lWqC9dWOb9t;bIDNdiQ@*BziJuEt0CAhCjw!9JwD^n!7^|iopc>6`zMOpTK!Ie=z2%V5iTeUtk@c1?b z8UEKSLS@;$k|wk03Fd4kEs-o!OIMYsGE`<4oG#uBtX1xmp~5M+&_|K*q6S)$Hr0pG z;E?sQR{)kHagTb%Y}wq@NelaqdhV7zoOa6c6Q$9xR=qxkD2$dj+ILT|1x1chCetR?tqk(=C_r3CdPPK>RxtI)4;PJMyOuyP znV&vZd_2rbmK!2aM=isSV4e8j%)T&1z6d5l*2A2mub5I#Ni8kSicdyYbKWSZA!3Ey zmfq_aCup6{I=QDKtM1heS$nUz@(P>phI_40KPQ(4dMcFKY)ld)YwPEY>1b0VJbIp> zlj=v3974gE&rRdcs~$y27SMM0(}0u*cKEBILat$QRGHhb-xFU70Zm1UxD*kO{Y7@} z6mIeKv1Kud(WR3Ie~E!6ana{PtwMsriPo2?!~I@9T8W{kbJS0xzQm<{Fk2kAUctQ* z>(k~HG+*~nKzw@8&?pF$x=cG(_v&fa+r6E!gRCHTIJitJ%Cx@7j&`;BWIMCHNWn!U zJe+G`6D1t)`n_PeWJTxb)o1sbui0wOVrl?iL!&OzDb&_wR{{eAIXF08M(6RU zA(#ZLOTL>A`tGndB1t|HQ{(DJho(AuKGk^Q{tNBqCi*s*I@oBdu73Q!E5HGBFDDaF zQE@96Cng*g88537c6lwClT8=>j6_dQkJQ52!v^|*=kL1}L8qaixlJp(k+{2GO#}GG z?X|n@IE%aeeXfpRjLK*DNv0c0rYDG+I^%qBv-hiw)o_QGm9JXLkXRJukCdjDqsS9J zeux_R#Ln|2BI|Qhg+)hz;ReoMGoB~DwL52VT}f9A0*FJY!VUr$FDE)ysqfc=D84JR z{0T~z(1jR){4e5Dqyr4y4j z22q0xz=B3ETCrl;gY_FP{5niE{|yztGpgVxS&Qd&1{SUc|31t&7%1OX`QG_oy+jMJ z7LkW(X=yz@J+GE}?jgnLuK;ZO)Y?6hBD+v5<5JlCyx{>jG}4jyZHv7n3Klyigd+|t z*?E4;8v&v!Dk>TpP%pI0@0@6c?p#N+xp`$OPa)(fqtMg)%*;8pwZa@6eRTNwSIW=e zD9>zZSpU9JEC9T)+ELKYhyri%0?81%zOLx zEs!J=2GR5|%uaOx94x@R1uCdLyUI_2xPV}10Qk+*Gl2T#i|$B)E+TP?IEjoat`h?T zW9yw^YGEO}C`z>W;+6jlKQ0ol0Ou$a3Vn>X!q4?!daTIc8P@vCr4K$nVi)lV_{sa* zoiMnE5A9HtVpy$oc&nXm~RLSw@AvRQtcq zU&WN9X615l;t%vP-E~)uZW&-#7ul%a79rDr-oa$GcsljjeZBkown~y_t<#T&YwZ)l z3`WD?Jry^)rH(bnH{!Sc46d_5*rRpjW%nA7mB(&KxtzkW0o=gkYWvh^`C669$ye+l zVUCxoO-~$64o>Aoexkqqn|zR3*K`AL0)Y7{aWnt<^z-qo$tq#92Ev-+N)wCEb7{He zjvz6JBMs?{G8(5r9-Wg9!N{=T$_Q<>ElNYq0|$#hvB1; zZNdc!<4<-(?;-YsJA;)9A=te~8%;-rY#}GJ(fN5mXGz`8K8$up&HgkI&+0oS3T}hofqAD7h7*kuS zxA&}S5LfRr-j`*C zQn(tg%%;Lmd8WU$4};1llNr`Qd}fQ-*+UeGE*i#5uu^WnWo|Q>TzyPli~ZMf^Bp?r z%XN8&_Rg(w?bzA_$1~&Y#HW%QBNcJX{QN8f-{>_hNS z%R+70`YULeV|zgyk-SWZO1NdLU6&R~8Mlt-T#hbVE^NeUX`@s}eYT@r1BHZ9@1=Ou z$$TAa4v)gg;#h75^DWmr$~II@MY&u93*lT_`uqBTZxzp42x7KgaVu&!87dOvNiI^0 ztV#jET2=q_4LaSjCR@wGL6t?D78f0sjy@cvEA@118utH02Iedm%4#Ej zQ#M|oLm!<+tBNz2F{sL&yT@Ig%835~-(irOhx=tAS#FMP3ga!v5P5D{)|93evKJQJ zqJBGulhdxZt*LptS>Bb>Cfs4vs?KR^#<4klwKF%U1z%G79D>axuJ&u4WB z{W0q#|7dA+zT3v9I_;gql|6ZxLd5ZOY*S^!f-uF`tZ3!vrM44Th3{g#j=QQyCrziB zj=N{vCv)64QRk>9#qP%q_~zyoVtDLB$?>UhS2--*RQ0&!^ijTXZ(N+=c${L1y@u}Y z5x!Cdtzp~y@1YYY=iO}uVy+KFa_w%5|-LjbjAVyoQ{9~WBm!;a{Zcc=ayR?$yDBYvlroCe>~e_rvg}rF*HKy zf=xIJrFc&09cx#|KlWaTAAZfkp}-VR9?){Or})Oz*h`l#nLU+wtn$}Efn9we-n@n- zKo#!qNhHY*twwudV1R&_80K6i`ZTImIyADnx?0qP9ia99vF#%gbTxo?F2=e0@IDrm kc7Q{BTbn)qSRL9!sjP1F(9grbX)ir}A}^6A_Ug_50?Yn~z5oCK diff --git a/methods.mtask.tex b/methods.mtask.tex index 3ef01f1..d8d9fdf 100644 --- a/methods.mtask.tex +++ b/methods.mtask.tex @@ -1,5 +1,5 @@ -The \gls{mTask}-\gls{EDSL} is the language used in the system. The -\gls{mTask}-\gls{EDSL} was created by Koopman et al.\ and supported several +The \gls{mTask}-\gls{EDSL} is the language used for the proposed system. The +\gls{mTask}-\gls{EDSL} was created by Koopman et al.\ and supports several views such as an \gls{iTasks} simulation and a \gls{C}-code generator. The \gls{EDSL} was designed to generate a ready-to-compile \gls{TOP}-like program for microcontrollers such as the \gls{Arduino}~\cite{koopman_type-safe_nodate}% @@ -12,18 +12,18 @@ is used in this extension. The parts of the \gls{EDSL} that are not used will not be discussed and the details of those parts can be found in the cited literature. -A view for the \gls{mTask}-\gls{EDSL} is a type with kind \CI{*->*->*}% -\footnote{A type with two free type variables.} that implements some of the -classes given. The types do not have to be present as fields in the higher -kinded view and can, and will most often, be exclusively phantom types. Thus, -views are of the form: \CI{:: v t r = ...}. The first type variable will be -the type of the view. The second type variable will be the type of the -\gls{EDSL}-expression and the third type variable represents the role of the -expression. Currently the role of the expressions form a hierarchy. The three -roles and their hierarchy are shown in Listing~\ref{lst:exprhier}. This implies -that everything is a statement, only a \CI{Upd} and a \CI{Expr} are -expressions. The \CI{Upd} restriction describes updatable expressions such as -\gls{GPIO} pins and \glspl{SDS}. +A view for the \gls{mTask}-\gls{EDSL} is a type with two free type +variables\footnote{kind \CI{*->*->*}.} that implements some of the classes +given. The types do not have to be present as fields in the higher kinded view +and can, and will most often, be exclusively phantom types. Thus, views are of +the form:\\\CI{:: v t r = ...}. The first type variable will be the type of the +view. The second type variable will be the type of the \gls{EDSL}-expression +and the third type variable represents the role of the expression. Currently +the role of the expressions form a hierarchy. The three roles and their +hierarchy are shown in Listing~\ref{lst:exprhier}. This implies that everything +is a statement, only a \CI{Upd} and a \CI{Expr} are expressions. The \CI{Upd} +restriction describes updatable expressions such as \gls{GPIO} pins and +\glspl{SDS}. \begin{lstlisting}[% label={lst:exprhier},caption={Expression role hierarchy}] @@ -122,8 +122,8 @@ class assign v where (=.) infixr 2 :: (v t Upd) (v t p) -> v t Expr | ... \end{lstlisting} -A way of storing data in \glspl{mTask} is using \glspl{SDS}. \glspl{SDS} serve -as variables in \gls{mTask} and maintain their value across executions. +One way of storing data in \glspl{mTask} is using \glspl{SDS}. \glspl{SDS} +serve as variables in \gls{mTask} and maintain their value across executions. \glspl{SDS} can be used by multiple \glspl{Task} and can be used to share data. The classes associated with \glspl{SDS} are listed in Listing~\ref{lst:sdsclass}. The \CI{Main} type is introduced to box an @@ -143,11 +143,11 @@ class sds v where The \gls{C}-backend of the \gls{mTask}-system has an engine that is generated alongside the code for the \glspl{Task}. This engine will execute the \glspl{mTask} according to certain rules and semantics. -\glspl{mTask} do not behave like functions but more like +\gls{mTask}-\glspl{Task} do not behave like functions but more like \gls{iTasks}-\glspl{Task}. An \gls{mTask} is queued when either its timer runs out or when it is launched by another \gls{mTask}. When an \gls{mTask} is -queued it does not block the execution and it will return immediately while -the actual \gls{Task} will be executed anytime in the future. +queued it does not block the execution and it will return immediately while the +actual \gls{Task} will be executed anytime in the future. The \gls{iTasks}-backend simulates the \gls{C}-backend and thus uses the same semantics. This engine expressed in pseudocode is listed as @@ -202,9 +202,9 @@ count = task \count = (\n.count (lit 1000) (n +. One)) In {main = count (lit 100 Some example \glspl{mTask} using almost all of their functionality are shown in Listing~\ref{lst:exmtask}. The \glspl{mTask} shown in the example do not belong to a particular view and therefore are of the type \CI{View t r}. The -\CI{blink} \gls{mTask} show the classic \gls{Arduino} \emph{Hello World!} -application that blinks a certain \gls{LED} every second. The \CI{thermostat} -expression will enable a digital pin powering a cooling fan when the analog pin +\CI{blink} \gls{mTask} show the classic \gls{Arduino} blinking led application +that blinks a certain \gls{LED} every second. The \CI{thermostat} expression +will enable a digital pin powering a cooling fan when the analog pin representing a temperature sensor is too high. \CI{thermostat`} shows the same expression but now using the assignment style \gls{GPIO} technique. The \CI{thermostat} example also shows that it is not necessary to run everything diff --git a/results.arch.tex b/results.arch.tex index e1773d4..6b67064 100644 --- a/results.arch.tex +++ b/results.arch.tex @@ -582,7 +582,6 @@ variables. All example \glspl{mTask} are of the type \CI{Task (Main (ByteCode the devices can be created and modified. Moreover, this panel allows the user to reconnect with a device after a restart of the server application. -\todo{redo this image} \begin{figure}[H] \centering \includegraphics[width=\linewidth]{manage} diff --git a/thesis.tex b/thesis.tex index 782e142..757f23f 100644 --- a/thesis.tex +++ b/thesis.tex @@ -1,6 +1,7 @@ %&thesis \usepackage[nonumberlist]{glossaries} % Glossaries and acronyms \usepackage[algochapter]{algorithm2e} % Pseudocode +\renewcommand\AlCapFnt{\normalfont} \makeglossaries% \input{glossaries} -- 2.20.1