From 114a7e745dc1fa2e036bc4af446a2ce905c55dc8 Mon Sep 17 00:00:00 2001 From: Anthony Berg Date: Wed, 15 May 2024 22:22:59 +0100 Subject: [PATCH] refactor(dissertation): change ref to autoref --- pub/dissertation/chapters/design.tex | 12 ++++++------ pub/dissertation/dissertation.pdf | Bin 825652 -> 825663 bytes pub/dissertation/dissertation.sum | 2 +- pub/dissertation/dissertation.tex | 2 ++ 4 files changed, 9 insertions(+), 7 deletions(-) diff --git a/pub/dissertation/chapters/design.tex b/pub/dissertation/chapters/design.tex index d974f08..fc66028 100644 --- a/pub/dissertation/chapters/design.tex +++ b/pub/dissertation/chapters/design.tex @@ -28,7 +28,7 @@ Splitting up the project into multiple components has been useful for \caption{Abstract layout of components} \end{figure} -Each of the components in Figure~\ref{fig:abstract} will be covered in detail in this +Each of the components in \autoref{fig:abstract} will be covered in detail in this chapter. @@ -69,7 +69,7 @@ Brief overview of what it is supposed to do... % TODO \item Allows to think about making parts of the GUI modular and what components can be reused \end{itemize} \item Figma allows for plugins such as Material 3 colours and Material 3 components - \item Figure~\ref{fig:figma-gui} is the final design that will be used for the + \item \autoref{fig:figma-gui} is the final design that will be used for the program \end{itemize} @@ -84,12 +84,12 @@ Brief overview of what it is supposed to do... % TODO \begin{itemize} \item The Material 3 Components in Figma do not include features that are available in Jetpack Compose - \item In this project, the \enquote{Simulator Test} at the bottom of Figure~\ref{fig:figma-gui} + \item In this project, the \enquote{Simulator Test} at the bottom of \autoref{fig:figma-gui} does not include a leading icon~\cite{material:lists}, and therefore had to be a trailing checkbox \item This was overcome by adding comments in Figma as a reminder of how the actual implementation should be like - \item Another limitation is that in Figure~\ref{fig:figma-gui}, the title of the screen in the + \item Another limitation is that in \autoref{fig:figma-gui}, the title of the screen in the top app bar~\cite{material:top-app-bar} is not centered, and that is because the auto layout feature in Figma allows for equal spacing, rather than having each in a set position \end{itemize} @@ -105,7 +105,7 @@ Brief overview of what it is supposed to do... % TODO components, otherwise a nested mess would occur as Compose is designed to have Composable functions passed in to a Composable function and therefore by design function nests will occur and the code will be harder to read if not managed correctly. - Listing~\ref{list:compose-modular} shows example of using modular code + \autoref{list:compose-modular} shows example of using modular code from the Actions screen in project (with code omissions shown in comments) \item Used Voyager~\cite{voyager} to handle screens \item Used Koin~\cite{koin} for dependency injection, to be able to get data from the @@ -229,7 +229,7 @@ Brief overview of what it is supposed to do... % TODO \begin{itemize} \item The design of the database had relationships in mind as the goal was to have a detailed tracking of statistics for each step in the procedure, - hence in Figure~\ref{fig:db-erd} + hence in \autoref{fig:db-erd} \item A \textit{Procedure} can have multiple \textit{Tests}, where each \textit{Test} each contains the result of how each \textit{Action} in \textit{ActionResults} \item The choice of a \textit{Project} was to allow for the segregation of testing diff --git a/pub/dissertation/dissertation.pdf b/pub/dissertation/dissertation.pdf index 7272d6a3043ba7854bf53b85c83a1d3c99981151..0783e8519ff63ff9124f0e11b2b6e4a20091e751 100644 GIT binary patch delta 31347 zcmY(KQ;;UG)~=^LZQHhO+qP{RU)#2A+n%;DNv2 z16rXa_HfpYo*FrTHfXKqh&WohbNhNFAnldTqms`_N?4UT!)N{7JvCa|I0k!g{XD;P zj+q7_>K1gIG;2_xaHb!uhyP6eEs68sKWO^XHF%+M%w7;JJ^SXzXYr;4I3>ed;N8^quvSD2hEd3HXvc^GrNL1fN^|vXogZbbK+p7<^$+S)=@UWJ)zZbdpvPA=k}}Nbfe#`_oKuPkW;V4Pxu6s01RBC zgg=TJqvgMFrx==9vJH3Y!|&0y%#5ScAIsM5=3wt9EJsX#}PLV9V~1;t&GFL#y( zIJ-XDwSZX9Fvtl3Jcrx95 zk$?~>nJjO;ZGjN#9Pb4j#+#(oM|pivS^rfmiYZUqt2ukWM$Eiz?&}@xU-4n8>g0~v z;gp(X7Vs?Kv1`Ht&h(jJ>!tP7!E2W&Fs`5cNd+xscVU+TfLiNHbhX}VjUK(2YQD_9 zfU*i{ow$V6jzk(1$3+1b2!sA5nBo!gug^vU*TsJI1$}`GpPD#D5XN;gnySm5h5Qbl z3NBzdh<$U1vl-)-yd({6`f}GHOu7Z69!W2cYCUS$YkKNmFW!fxJH2)Le1X}Ui+l&K z+9ye>gA5h|##$JVC}e5Xnxe}5Jx$*wVWKlEAtS<&h;S#n{K+NhaDclXagvW3mb*WI zYn^!!htuBGOSsb88`b;+P9d;gpxOkFz@bNNbggAVx#v6$W14gyVEdy(4T3D)4TMY9 zyGRj`gH+x9Aez)xpp9KrV5)6UehGSsh5o@v!ky{>n9Rk>yI^GGfJV8#h<B^ZtGSqZ&p!n_)QU6z9j)r?XI;rb zFFxg0eDMaqficcmo8@X~UK|`aKx1gyb2YoXm|~Q(K@94uMt0YJk?Xk5VVCW2esG7o z9P9E2G^ANr z{(zgYEsr^1+%X6L%zS+OE)`{xQbq8Fv>OBf4o<_Mf2zQ?el5uctqgKEF`wp+7CS_n z$J*4;WFR7f#R<(Y zNT!HoLWOHup@=fzaVP!Bhurz-YU$}FIi?EA)*>6pc+YKiyI+emri!8U29!`dC;n^# zObU`mbSH$la5_v**Eum&tOHuDh0M^t?;5Mi#y|UJcT7@SdfTaD)SF;>rC5<>!n)<@O5J3WO0kvX zxm|kTXdyjb!yMv5#btrNMQVZowzkYcHS@rBW`7{5nqgd)EbUMp3!Ly}kV&>?M8E^M z8R_Ut*p3WFa;kVH5dD+DMBUEfdUI2wG|En#v3o<`H1Z^$rRQ$MOo^Gn3+N&q#09&l zm;%d+s!+c6pI5twdo20$+4NO^i=E1!*NUIVT&s?IqR?-vS)+-u9i(c&fX#@yi4P{v z?nZOI1sGJ}ZOPKvaUhLZf?d>F=X3|F`{n0RtjFP(+|EG{(JN*iT#J>kNA@hxUBLZ2 z$ma~quw_5;EpmZ}2um}o=6W|VFJ)?b{DmoC!oJ*aOBp+}V3<;yjRk72B|y)~-fR1l zmmfBuvb(QUP*}{V$%FzxJm}b!%BW8LXp-lUmD$$5gvJ^i4%?^mTZiWgJB|tZkz>rc z*f6T{RrmC1`s-@By5XVbhGqoRq%F@U*~2FBN7yoAw;`?Hv;O1ZvR?2@nPdB=VRx}2=?p3|E?+is&?hk^)hNjc*KG%##vWbbK4Fu0k?llPS1s|0~z2R zMeWbP#z#mOOQD;t0pMP*SIw({p5-sMoO7;PVnk-XQV#OG`8kN*51{{3TmEXNI1;X% z>?xFtb7!Y`9BhH|i(hjw*0%s;sO2X6+3`S1#XwSP7UBAXXMYFgp>#}ulcy}x^a(*k z}=anDy?Yv#;KR!uP8w&-1m64AR%Gt%q)X)~nW1~cSGM2gncKd|-972a! zu@1?=1CfAPz%A*KZme*-mo;n3sB!#897#07OQq{_AY}fjP(;xOC$V!9KT1dBl^h)+ zs>yHr^Zv=(<5v3hOYQsn$@uNeoD#jy3)<~%4IPtj*$Svn%VBc#Kwq8kvJ3%WR@B!P z<;=zt;!x%noHt}`J2)Gn-`;kI-m4-d`VQMSSmt5-yxGV9-RtjCg~rAZq&%O0kH@Dt zePYPa?nI{Z`7MsiC09*EtiQLj-}61>NMua4Th^x^F+dwjanlyF7R_RayXR|kV~;vO1+!v3a3at(N2Z^%KN1T$EcN-SRtA7{Th@0RNU;Ex%nxdDZmhCtrPv}M zRKL3^mRh|QD$+y-AVZij9FdISjZnWd6??_~Zp1-E7FA-Dc^$e9T{4z`<%l16C#%wHPnOH}PuR)wi`P4LJ&9$N{yz7~7BXNl4^aB54Z|`je%ERby zE^ctK4;;^B&-8!L?kUWo>NxOrzd;bu5-h76YwJ;K3n#R@pdqkR^Op%H91AgZU*uT$ za-je*RC9QKQdmL43;Sx$L=VErX!Sir42aH$umFlH6ubg#d9L0NwbtGi21*}RMn7|= zZ;do7-Xdy)y(&9rtHdm7L%J>N;n|Uz>HoZv>VLj;P1}a`lis3>JCpmu#!hE z3aEv+u)E4~@C0B}dprCY5ey=A2b~Tq6uX5f)q*%NR~TWz2dm}M`Wx+}V?4er5F?cT z`wkT9AS*p+l_fC<1~E+>e$onC8M5d(PYn}5x(&4tn_>ysa>zZZD4b%}Qa@F@ z!dene5)Y2C?}w7GC0jd5GC48v2c*ZGELTJZ6;o|CzN@6|Dz)_?!W!PzCr4m+(reD9 zsb7x6at#bwiq(RIMURmehLu7aAiEb0_+=xLyY(QoKA>7rbZ;fiSYP zUd}T>iOQbj<*R;~R0@SmZz|Zbja8r`3b;>7I(CDn!1B@cS~@;$T))&#yP11^q#F9&!3mro$z_jR2xXnxvJMWU$i+K5a~^oJ&d$%FVa0tg%U%|g{yue#5*#t343BWO z@-}b3jzLuc2EHLqt07wr@JxkBgCl8H)P>$o27ZOQg+uoHqH5DhFWXw7to*5^;i=*^ zEzNun|1RANw4Zfcsw$&>c&fql@hbPB0B`NLv`!``UBJt38mkN4K|o>=E8(;~Q1X0o_A2`S^ph-2;NH}}TlyXh5D5_#h* z0dZ5B@>+gY2`^*LDsK02Mx-{ifcy+bnl=fI!ASD}&EwE;rS4UH4OL3DB<+=O_GVn^ z(SEn!@YfafhLU^%TFGJ8XUCocm<;V)8394l4$bGGHc0qS zb3l2mCZAJ!XyA1}J>h0G_TM{+XLx<;lqB4k5+HeApqn1k#H(NR&8-sf zzJvd)**F~9XW!fYCif`7;~i4&d7o!n^*pL);mH>l6@5fym78$uzeBVf^#6L>*Gl90 z#{adOt@eSo$tGv#R4I@WNK;~egrf8m^AYiF+zzKVJb?BogxGrq3HX})0Ro&?4E@KO z4#E})!xjMg2k<{Y{sH=QB<28K6Nu15iSTdtBq$OC{Oh5m0uzq(@V;Sh={Q^clZqnW-Wy^ z+RPGX0@YlGuBMELnxB|vW*!ZewX41&TkXg#danBpg^c|ut?E~DFkq8jxoWfPUcd?} z3;iiBpkqCa%!mMtWrMvB4@GeKcHzT0DR{CPZ#g-2z|>r?DGTxJQ2LQ?$K|o>4EmTPtR{%ECc!I^Amp7{uf2v~ z7XPWqg=#0+P!X80fz`qgxdu-pM4SBU4_gjVAz2NHnvTQ}msd`Coq&4LKQr z)A%*DJPdZ^ORJdxGTs=CsJ8$4DN!8hAz4V|)91)@hZW)U4Z572Mg4@QLu|Br>8l<342KUOS_fiDt#9guszKSPz z?8a3huCV~C>MUfXZqz+$_N@UM- zR{8G1*$sHrLB8!iL?zmk&69qsm6LgN*mCpmVl3_e@DFw8?`ccIS5LIs_<)p3DCwIG zgm(HYQKbhNoyIo5Qtz59*Hn$&G6aa&(bd_|U!DNs^4hTDI+`WVJUROVBAyUy?K*uS zh%fTC2OcK3aX8XQp9LxL1`o%Ai5LTJnG9Aqsq0l=Tl9HElJKy-17~(6B?}cl%CUvA;Px<|WnIbxSIjp36 zI932n^08~==!mm(XU9(el8Pj-8&HgG0Nk0>H0FMi_bReJ<>{7;_Se$P249w$?Qe9& z8My!^worm=ngOYy!7<+p8W+zEX4l?{H}>E7MObhTT9!4g`%F1q$K)*w#~L9EPm(2b zl_ru2OK;2izpO?jd*;;^l2&_STqz%0J=6j6K*hZeUGCls9lU42@|YgMC6Q5e@odO0 z$xfV;RZjf1Ud_TQE}5%cJJS|4)r9Tz7Fl+MTRYVDcP7Y3nLcn5O&Rkh@pV?al` zQV@+#Y7G+}T~u>7WwTuo5;%f%ZcnNIBE~qZ0q*xn;<}d7b>Ggp^Y7K1Fg(A7F&+Uk z3M1@PmPAjLSJKT~EZZ>^Ve_Z)8P(!6o!x~V>rSyPEe>kn2uWOv7Pa)4?dL1*aw5~0 zWuC_Hg5Y9|zO_rWkiJt!x!9n&5!Fx~Y>K>YSH~JqfLp%K1EUD=TFcTL-DX|nz5|iT z+WAU_B@eROYLlGnMM`nh%|^Op?k#|Wp1BwPQqR1(!x-p4*ZjoTkEyOhS=D`U;U#Pv zm|50vpe9#KVP_s?dx&ONvUahIhazn;b%M&6)tKt

QHmK^=3cV=)g6s$&5$^cHmX zrElu|9ulHy(M(bu>5nA2+W^lcE^S$1NFoiTYcatg;dHy1pW$4iJNV3TZZ{zJ#ynFE zyXj|!l&?itPkull;89*snY{)7TqRZs;|taip3 zpK-ywF)vuP@t0Vam`4ll)jME;uz9AM3F>+i&XB)hQtJQ$Fo&fbZeB*IJ#Shc!eK>% zcpq4$j)u`hi~t<>8p1)%0XbkS-Hmu|Qab5?`$*6u|!7xl)g zgRC1>?smHi50P4~S}@iEpQj-BjI^O>n1v|MV8`OQw9e=8OcIaE!x5JcoF7hO&+}Bn zm-LXpSfHpV!1?bgfwkJ#D96Jp{}+6?7jJJ`0W=g!8zm-`?hz1cTi7?$0Tf`^cxB38 zBiBEKAgefI6xqSWsPU$<*U!d-JxaU$?BEZ2t`|qAd8Ju&5!@DeaNnUWu2__+Culv` zFAY6}Q3B%?qaQEun+08kqK}Api}gWJbR=HzO>m$wlA$I_gru!5Sqg z?VnA9~&x=%r>-LYNQ{PYY8lsy4Q!Fj1zua$eUf}oGsiAB?@v8AQnXooQ358hi z2nbflq!pN&LsNUS%l?RlejWY>nM_Be&l-tz8I6|yY&w`Z)^Nh6XG#R{{MZq`beoOU zKB?LoGL@?=@0fx0p8*u%{R-A4zIb8GXz zLf=hOEQ|ZStRvOV({Y~VZDZZoF8NHG(^`;%)j-#Cf(07dG-Bp27Tp9rKs*Bb_{R7B z;2JnJhwY_2n_}?wherc~o*k4U)EF|>(ZXIj-A)dz_i)DM2VQ_E@{&5pt;6JhtBtJx z>>OBQxV!bU2PZ>(rM}4DQ7q2?=#A*UUyLaK)q*}Cn`lRo;k-TrOI#J%hFd)saPq*= z%oatZ7zdKW6iiY)1`PrOPrclI(PP~2d7d#Nlt1hB<{$nA%Ww)Hry7Y}s0{nAYd4`F z_vV4h9MWn(L(yBE#mvQ_{dlP_7zB!A=Hc#!>i*^R2IRHPAmv`RRk%#c z+^PUfzh$5#_x(Hz{c7NR3qs}k7i1(8{3~T1#Ai|jcd^H*!Q;>GXF!J;^kN>9;ZHY1 z-|`CVUmUdUI~!EMCv?tC`v6(41>P;6=1^G_D_4;u1PCCI}y| zI||)Zd!2)5Mq8lyUZLOoYr4r!rzhnD^Z=O`G3@Z(_1dZafJTI$zRec^4*+47QSH-grr8~SwX3eH`8Akh@9`o6xYYgsm`m<7O zPFHE-;ZYZ$)gjz>Rpmiq3%!2|^c1T|TEBk*>AcefN@I12VTjX3HpV2__2%KFme#qv zkd9-n^<0}7Ex-A=!f};?RZK=sN$1GcszM2X@v2(Lc72J4nN(8e2q@;vEVF{(2<0~X5UT6fcLZfc!MW-z)gu+793buE!(V{byF zW+5{}B4jxIRFz_6t8CC%r2B+%U7L!KHIRR108QmpP!y2Wje>*f7D<*v;(9*k*OtlQRBe zTqxw1+v4U=>u%n;i+i9o>2ilqXaF19##>~$UUSu%B0LrACs1*lk@|c48uwcdi@Kk} zCpEoK$3UBm5nT+LXY*W(xwWl%#^;|vu6s(|OUzjAanNO?dgyGfFv-`UH5ip!tbo6s zYA;+x?b6D43~sVb+0QAO?l4buiNcH=RDgIFi^V1bgH&aCA-*%o za_ZeC0?Q8`6szxF)040 zdca^_1!1Ze-XAflC|+>KcmM}WxW@Nfum(_{I{hXblT^0;lGQrfLH!P(^f`ILIBsa5 zd>CK*aZ5CH3S0)o2K7dQMtT{E&0+i{8m`kA&fF?AGLt(H{q%UV7~@30@LEAfPg4ck0=A*{%K)DZd}U8A;0lLX_us8N3eCV+5I0|tQDx6dCgPvVxE z-b`dHnjKk0L?s=K+)y!$h4w}jS~f<8IAoL>RgEgGby#5`ikLx!JKT+aAv2U8&W~tV zcr!$VhOJqgXW`3OGW>$PC~qT=m`nsNY8ie)h9!L1L7~dHB7zrri)KhcmLeg9=vAmD zf)?q3Os+zb1t`~^cQ&#Lmq9icPtII}++PVlL?$E`l5wd>m)_5h07igTEzXosZU_?f ziC9B&B%RPSNg1PH6crVSFhBw$W@`;6O9(QWh;l$0RsIx5lqX6Zf_KevaeU>$72h@93J<@6En$ zi%Po!l3vDb3Lo10bKLc`s|GER>pAQNw=ikcwdstWuQZLmc#ZTc%l=>IA2g%0Ab7sd z+ZLmf@4MyYxQC2xhgl=qYo$9ce+(sd9EyPW$upsm7Rx$V=|Ao6M7{Pevqw)p9qm1v z@W6&P0NFZ*dk>w!M@RS+T-nO2H9-#lxG3_)s;57{f-bGJ1P1Pk$)()#g33^Na%nfML6LE1OCLp81n6HUk)@H-PdZy;eXwwAX(9{hH z(#?I#hyG+WzV$ppGaK*b{RwNgAfW zelo{1`dW2b7cY)J$FGcjrhS@rXrC_z0F8`^^Jb(f>rTk4fAPL+O-rKU=_AHZoL-i# z-X;^y9kvFBk@nrRjdYvL>)Tx{~GcCyjRh~M zw5E*R^YR^z#MAH)h0{^Xh=Dr_q@=ZPzBm}ikVCR&RUVC+`SlnaK9AP{HmBS2_-SfS^j&H5eD5up0qxg$t63LW z%-06F4&KiziQAmxN+0mp#b#$T;PZ!>m>y&Uz7ju}#xB)|R7We$(`%`IL_KfpKFhm} zew{e8+k3z$7H%JBsA?#oD>Cd+<6kbzKFyjwoVs5Ou6cZ1+%isPkI>Q+4b_C8m2uCw zV%duCH1~G@;^O!cGdfC106IeL)y*>-PV~!{hjm<$RTs|n)S@7>&TaZzpH+q@ME54{ z*Mugvr>B7Zw%*NM`dP}^!D9!+21H;ii|K5f=8wEXCAx&M*Uj$2it8@z&aGCyt8jt2P@6o z*ts~3)ritoJo5T^TOcwuInyP0RW}^hBXp?fw-T0br~l0PXja;j(Kbvn*A&}ILfM?taVMiA^bs4Z;X! zXC*e)==J?N@?rg#e7O3x0}c-whlc|1E@M?n1poTa!vP)R zR~N*Xy+2P7K;&4QJVD%y=gdS_5ieKcnB`%Uvpz@G%ly{l>z7!Y7=DQbdfdAP1+CaL z5|;77Iw{EN;>DFwZ?*Yi)|)_NRjY@nNe0|D+1}zt3>;wblqJY3D2~%m@4jI?*=Kt8 z$p6JEbb|}+HXfccVg4YCVBD@XXIA~idP+_BlPqc(;5Wm}_&RA$gGOMQ0X<0KCPo91 z?zNNQ4la-OYahZ#$VKUBP5QS~pidCnMA4!%+xB+A-efAM*)sydaz9_Wth1cZMLm~g z3^*k*l0i|mkGY-fy zw9qFKAfPk+XlKMRLWsY8iho!3C5f;3!iUb+=8v^TQ0SZL=RI8NgZ5}#V(Lg-n8w|; z0H5E4fW8+WX7I>9`e+wqh*33EMu|w0QRXk}yx_Kgc%Ne+u5h!W2i^!D6Wwd}cG4Xk z+Ew-GFBgcI4WGNqvoe71`x)ml47D^@LbJ7vyDAIg-DSj8jj(rgTWd!hYdl1EL zeYSadTh-5=ZVD#3OET1H`<#e__#WtC_GsMEFbd3gxtDBWT88@$TDD&qw_<~zGzB3A z08nnI!X&m8L4zttvd)>z5&L4djoQ3_sm3$_5~aIGjKd`(sm^SiIkJ3KfLhkW$!$pw z5L*oxZfG_T@~g}KIMvFKJaH|_3^Yx`la{rt4b7;Zk|1 zw;38Yx|qRl(poHD4awEIPnP;_{I&E1+zs2T%4qr0W_oq$IYE(a@}b-~ibni2_mF_j zNHMahmc5SRBo(y(J#jUNVfL*JhgFM}Gjpl>^lHfBy^IZQ;UBOE?m9E<%GRN;CI6*i zQ$Fs}xL%ua#<!2#A{yi@MiTaZJe{v!D#LbFwZx8 zEl?Ou)c<@1dsT|TZ@YaS8J}>yM@98hC4H36!(Sd}?54!?^_QpJgptJ_ieUV7Xwu#N zap3oz*8~O(CVik+kuQdQz2n(W`TYXZn`-MC&DK6me9vEu4q}LShv&vvA$Gkomj{72 z^`PVLHS|8)sHV9Tp~<|WaSMel8b9~j|cedbM|-&4S{tf}UpT+Vm& zK8

G2kl~AjENQv8`b-z!mTc?^_0z?R~btj8@%F`{*PK@$mf>((>gY%N}Jexfk_5 zJ_Vp0W(?S4nzBP_^l}CP8!QMPAb;+`KN#Q6r?ITQ+%@dS$!CJMBp(Y^%P?t5E16X- z`ZMeL(z@T`t`bbGX$7m(K&Lj-{nD$T`PIAJ@GIE}=^XeqV+6_a~+k;*b z;z0bka{L5t^p(@y7}o;CJQ|posgVf;t{6ZGp^F?5=$@#t;~H&2b?jfpEyH%+9yRb^ zSv^z_gvmOuGkAx=j)Uy)(N8GN2xy|TSru$nV2L!K?-g+&{wXtlDp6(7s}wm420W<1 z)}arg-jZ)6L;h|#RmTlt5&_5Ou|FFDzj*AwP}T~f0cL>)OPC-6KhW($~6gz()xAn zlGX+b+$<5Ss1X(DHo_gs;^o+KSfm!KUz7KWENe-sELw=>u;Hp|H3jmbDPU!$u4vh6 z)s3Pq0!XdlT*Zw1Ug)G6zoiCi-~gu>)VmIB3e6D;L+aC~%i}~sb#hpUUOCp}a~CWt zS&CC<$$$CVH>p|-Y3RO2bvk}UEr}|gD%VUX8Io${tb?d+ZiM<%{((MJ$96Y7GSBI% zFOp4m{cQt$Rh2K1KS4$D+|$SooKrYxR_#JMV1g|Pfdq+c zMuW_|ZY05T{whYpWz#Vj3C`WJP}|nRMl-Ztfvc(Po*MCeVkE_tRb|l3qdpKGqsl-> zpf*sSz@kwPj<2RZU@*IO9*D(k%s!53W|QLWbNL|!D*#f-I(0|rkMCq)oMd_{uuSNF@Z}e2?-_1l%MDfXSv%Xeh$m0WZlp+2r$pLD!2+m2o+%+P%woSgM*V0>!;U7j_mewsU*)6}mg zX~#D;L#AK$?C$uY@56lMSFG)4uI6}CDR(XCw&9o1UCIZ)X#qtYP|LU-i!(KK)Bx2xmW|5suHUNnL(_eDoeM z%d0|k`f0j%yQAY?$e*5-RW+~f75u664d{dGvY?`632*+^=O}7dGakFa68-Wkp7f-z zfTX>T_sp%yEWnjLL|YK$%oW&mN5A{I5Xs2^%gxeTPG+x#timF>-f%Hs1yB2>_=qeeU>31CX{u z?3>~KoIrokmT&|8#kXMk#kOGj#J52D#knw?l|btk?-utVwd3KDdg?xI%U}|M+la-rQZto08Uum>lrfQfqqS^{qY8 z@lUGJTWH!f``7dy?^fGwWL}VHksVt9&YFB@WHkTG&5hnAKM&>~Y{SPnZQC^3`p=sE zgWs&wgBf`^tANZe-W`5t>fOEDLk9NF7|`tj1FP8w52o3N`yTNmyJ4%rFV^~RNZ|iN zymYJmLzVtu_fw)xAI#bK=7TDOUxPPmw=Qx0+c8P@^{X=D&inN(4MyBv*H47UFJ$uh zCCe$$o_(19@2D)--b)1iL0p#G;0?0jVBbfKQ{Hc8pV?TC_Yk}(2g?~_io&Vqmq*hN zW54eNx`ThU?iHqkLi>;7$d9p{}({xM5q=TS;=L7s`^rI_p_?53frcC6O9 zzFP>x)T>7LY$36k9{kPt)5+6;$9Y%a=D@qiv3eEM@^~TX@LX7EzGLll_(>qFdGEt`Obgl}E0fW-l(S6I(pURRL_WQ0>A<0MD4Z zlP^Vodg=_40L0Xm5EuF3dA2=*)4R6?^laB!Ccl;~Uu{LpktgWE(UvKJ&L_R`a2NiOUi{Rd7#@or?)3S>rEmhhFep%(q3eyv*lu$cab0{P7PL&C0Vl_3< zi?QA)uGQQ;JExv$YoqVg&5M`klQ-Wc>vNqDz`Tce+I42u-CcZ0V2VrV%U*4SXzc3b z*Vl?tkJ?G-^a-A^AHLeQma}=0=z8|4W%~yMX@->U+G+ar)pYOTyA*3hDwtlPMhC(X zs;ne?4!VhxE1^B!Be~&2HGhP7<)`@xrn|qy@dX6aDM=LK za%uFVclt2`Eh%>Iu;Gm7#Q_~<+tG4GG3dU!>dhQ!Y>jO`^EJFIhBH;sBA6XsS|gs= zx2nquYS>T}x?0IhQj9t0(S>Sn zvmf)Qv^b{lW*8vKs?(umolSrkX8{~D3^(^Q0P1#ncy*;mipj$rWrIn;q>x6C6r$11 z01+B6!YHB|#7P0{ApuG!Do7=b3IQy}g`l!zYJ9<|K`*Q!FL;6#5Lxq7`rGZgo1EPglP;{9jItgIBN*pDioTxe^Ud3~avVoctGz`+3@F#`y zmZHomb1cO3FutoS#CJM#?y$@;au=+9G%mJSFmnAoL=Of()2_abc33R@Uw*+Smew_I zA3+%JhC4@qzKuW-iT|o>EBR05|2>Y$`qt+H2*bM%l+O)EN;1!Nfxj~`sG48&te{_5 z$*N$NNQPejw)KtY28BRD^=)IGWRIJeozZQwJ`tD!K3cav1aU4(&%a7~o=ean0F_x3 z35AuD0VsZx&hw&8k1eNu=;rihvp)j zuN6Fb&2_FB9FZ;4i_vL7| z7gGeMMs4o~X^eVvLcg={(RV)Er#X6bR*L4~t|`(-`Kvw8x)?Y1$b4RYZ`=$f&N!zU zxFmoEKnYD^OF)T8DF~HN>`BlBL@R)45yJx}#49bt+XCL82em;YALMixpc2Rp638SS z$ixbvDKZ%36iy=8VuYtct(I>EQD}vf(g2(i-~t1GTU+4_R49k!V&#Ev8_JzHfcsvt zH<0*Out*vUk0zp0GpADWv}Gr7&RRN<7|awLfad}i2q7H^5dz70%RmMi2q7K_5z&j` z5nufa9w~?YmY`s`KgbZw!+~T5x+VVsoY|saBO!moV1`D88;KnBt68Du)`nJvS|+^2 zYN;vPNhW-_n*-_Jy!@?1X%%e$t`t7RiolnjoCb)%D;%E&49ygE#paL?1PRvR@^Bzo z@Ni6J984WVbg=HmeqisD;s1-0QDtkT`HtS2eE0@Z%9NE+mxVAY#_HJ!yCAVeM<>md znLzh>&gC3}yOTg`1&fZvu+}tNqVK9ZdR~1vGKPlWs$DnZUX1Lzd#$=DtG#|hKxJ!M z|98j1$Usv7m^l8&uq18A1`5E0+;~QIxHK^Wg9MR(6k@M#5gh)Zr4M zjVgBFPbp6&HufxRK3-2In^^fGH%WUn+RMe&b}0*cA=Dy|s?7wo71CDR+y~0k+8+MPF0eII{XNKBZ$CI4on9X6a_HaB0>vr z4+$V;Qh`#MP$>jsEG{G-PN9aYwtIo@pUdd@LhhgEH^^dZ2dqIOze6J-WLLoco(V(& zHIIzwF(G&!Ob%#G6++M8M(Cy>^GHbd!O)1*LGb#`=n0k*4oO8wR+o>&C@5+~cQ6Jf zc5N^Qj6XW?`;t>ey?}U}>Xci;iPuIVysmIge`tu$7Hsx9@y2U`j>vwiIdM_cYrAOQ zaH@UnxpkeI+19=0%$2aKHA`-N7oW@V`1`*i0?Yj~8_fTsVWNE0AOphi%@+!1C(Qys zqoN>`7V1RpwGryNv5k0}!D8Y{(5~NR_g_O0+RsE!dgi3NB$u4?M&s|ciic<}H(FQ2 z@)~?Ha<>BQiXH|d(G2(4Oa3~QgST-xR&Q0r2Y$7aueXygXZLdIlBTW&T?{}pyo>i% z3T9sHrb1(2Z9GmMY{Qsi=S;4xxN2n`t2PbK$furKYmR5*d}BHNBip5KMxacEy^V_$ zQ&$pi=CK^=SuB_yj&>IU=dr7xZIKg`)b5xz=vU;r(PrHmvF<1LiJV)CmEC>AhM zf|Cw#()<`wME_QTrBTJ2epugdQWIQGT%M4qt-v|-2p+I^q6AFwE2NxohrHl2fh(lk zt+P4LYo3G_f!X3N_*~_*lPSIm@2)+^uz4R@vu}n{d_?X(x7SckN>f({7|H?8V|4)|xJzB}S)|>yiv%jca)|sSe020uk!ux9m8f^=DaR*qK2YLmf>u%&U9HSj2M23+n=6g;$vohd)`p zctNV)I&u6LJK@WBM_=-HADeL}s|A3%8koGwitp3RvIA|(6pLw0`o3*(Vj`y&{;j&C zGiqi!dc&%3sOmUNI^s88_>royY#}NEZ?J);oXE8Y<7$zC|a)Y&) zTF(D0N&AMLOg-cYIdYbhUt|B;b6@*$^J2%FcGr<>N0vVP9}%-$CwV9o(QtrhJ_e)G zx#USc?M}3yhH^r^SvS}fuV}WqfgUgwBRq=qkP?CpiX>s_zl$76mnEEz4#nMFckxnO4^Hvo zt_Lgb?s9N-*xX=_rIPO&ztNWPbQN|GRb_NcGY|%gXyUGFv@U{=8))EvGi0t>E1r>F;4!-IFVI_fpWj0x!>8}mi7_#AD>->QVN>nkU6KR zyf>MwyyN$ga21rWY(kgwwAr!BI8P%&>-#=V@>{8CGH31BKm7Irb113#MPVCKzW7VO z&PwK7vo{aD1D~{l7;ubj*3j-(nWK!XEVG}>nt8b!ao28qw{*PaEk-R&h{BvwcYs$I zB@2$z|ConG1%(F~{T;-D0kiItWgM-ays2aZ{(#wXl8n!bzV}uG`2omLxQeb>?yn zN}FF-gVnJTwGq*aA;>_ApVv!IZYM2Qxr1x9mDH0zU{g<3E`wwxu@wI~UrFV-KI;YJ z(YUCjuZE=Gy`zQEdoQ#b%6DN$%=d?*y<(Jr&-~#5A?h?j>_0kzRNp2U_y3W7iOLR3 zEZCB34>-_1`%P-O?rbPB;}%#pqcxGJCYF zlyQx2*cJ*w8Cr8xA3@gh{?QC+T3fT1wtYX%vfO-Ifr<6lmvn~DTTZ-->UNom`q~BUwzpPn z;}zK!CQT_yO?VG+G@4}E?fs4W}7rDT*s&YhL!iZo^4CmC78_{MR9{a8T1&* z4u=+Pfb2{L`tyq1hW!>?vWX2#S)`}Ka_MT?N&B1S@;4b}t`vT_sd$#MB!zlNdQ8c0 zL`o&%T=M|LJZV7k27lHUPqF%8Bw9>i+6K>|Tk9odXtv<2Qp`DHb?ct^%TA6A=~kN! z*l7O#8DXeK=lVY$qtW<(tgi{WHd`zhA#2a{*9$e+hPiTZ|0Z}?(+d{$xfr3x3$oUh zRCzq;4|g_4M2}VQgo5MJQWla48sO2fo41A_tdShkDz+U3wms@vmh&vRoW-|d=&wcR z-`g>d#^%qqe%W;2wZg6_-#J7mS($s6@ec4(%z-X zP|9bqIRUp+okIN4V(IZ)DA?2U;Av8D?A1SHEEJO2+wJ4_3qWf$y061Ml8mE%Lv9&% zYMS%7{l-!LF^X^5G)Y0}tH#ZBVz}EX;MCkxvsL_T*_Dx1S#-^i;DulOJ6}X1K+6bL zhfH!RZiK*8m~aARj#2pgL_VW2mKr6zj%ggSO0@ikE^Q8^LzSRE6*6kvWQPJle-Yx< zv;zMMtNi+x9UNFDJU&3Bj1Hk*jsLFH{J{2Qhj6Puuw&LHM==+y$k?(P9Q-L5fQo0F6&t<;e|8IC`wNQ8g z`!`7$e8wLVQ(W>3;7h_#K`s!rPUE5qBMD#3m;Of3FU)ZyJJ;Pm`AE2!GumV=mUj%+(O zu@-fU1|HKS-eUW1$DHVy0e%{VsEn9h)3ph=ztjghnS(N|Rs{@S3zNR(rvVoe$;3*R zjdLz7*$M|){m-t2o$T0UA^|zHFd+kVb&?G4+bGP7VI)FD|DNOZDEEuJWBm?nQ{KL- zaZ8THH~WKQoP2!3ON-Ek|2t<8<-4i0C)wZkT%Yv&&-*WEf~l`5)?>QGU=+}j@a&7+ z6$<|sps%ISgrlMQ)7F9>!yeP)_6b%JD4+xFw|TjSM`4(5;v*^FRLOiRLyLzb=|WoSHLYT95DDH9o| z_jYP4wM4U20y*lG&)^J<{pROyKx2&h^shhxeP*|dcLZUCJ2l?Hz*bg-YU3CtjS&Ju z#wVD^X15Fzt&Q^%{TOs4C?Y{nH6>AnIw;Qm;suwc4ioR|@JdC~Nq$D(qFji`5+;&G z*?WU|YLU{{S$7Gczohtxfd6tzq@CgBsig`v;NfG9WR#vB6H8pM(YN`Aqk~a`wFEKNn~{qrEOlE$sUk(h8OTxRpmAMFQw+kVA}26t%34 zDhxT@UywDow9VrQdx9?7?;E|tzkbTfFUl|RsMkP?cVNqvKxmtacVuHn3PwXH&`u6g z>nd0G?Hyp0D+ygz5~QF~@Uue`8t>mVm8@86q#@cREIQd~9ft@T12oyV5wVqSZ8o66 z4Xq=HurkZfp5d8oOOt@nFb-nD562Ny@l$ZNOzMPj?hUu0l-3Ae>4z7Xzz#H#J%i2x zJvTqgr2P`VANwVu)<4~Kl(ZN;IU^s>uhdRoQ%4-*ptr2w8EKA)`+M`tUgKzdCm{8x z?Soez5eoU^yzpOVoekbN;{U3xzAM;tv!J#?HTM@-Wd-}ZkptpY5X+V=<4@njruko? z?-^n*&&J%>ECHzA{z_A-DzimPwCID}+LM36MDS&J7E|Ag#^kXv42#fhG}5(;y7b2% zcCFIPBMz2Bo7GQ_`gg23xx=1u`X9!u*6R0;VF0W!gl2sr(e~M!V(l+6EnGn%xj$eA z=~NSnKDbL+`S>C&;L1>$NiMjle~L4AKaD1c3QJ5fvjqt>eA3w5ZW7)!7uU$QN&KEM zPm53Ra0aN}1l{joFPuFLDNZ*s)Nu3f2d)+AvwkX{-cru3tO{hiZ%wad`fL0Go2==) zhn!$6fdwivMERO`v4M5e3BP=cD5qHbBY*qmVPz?d+u+GiCb6(wCu|6xPRQc)AYsPG7@Q9C6$VxD zus-*GODT<*et5ci@oKpyR$botuypWmPLdN+J1_#qlFfK4rEBn z&M@71+J>dQa1ewTEw*iRj4XKSja<;?I@u?ceMdU{sgol+vt*U@hl@5_URki&O$WM- zRxf#?jP2&Q)bm#wD`b#E)Gjj~orYk8=rmyy`Ri$dv2zeK1LWrNcV=E0yCUmUuhdt` zcKX<;V=PUnZ=~FVyNkHwq(kkzg`;J@VW9iB5=(k@1brbQJO$pX7qzY-;((n!!+Q^2FvSVj@mSV!>-|9fdGGMK%& z23hJ7gKXTe3!Ll^cw#-h?_AH-c)TM7)Uy<$<0JA+w)az7QguD}R?}{;Bgb?q`FJcc z`P?y?&aK+xhe}o+;6{&rzWcB5@y2fl1OZdB0$l_HJ=THMmZNd}qQB`yQ5@ zm0?Oc7X$4H%K7!s2toJq%BLaQigBzf4e^?uXVy4)Qj6Hp$>uvEoMK;md;k~Ssrs08 za@NEn#dBB&=6P;%@R@nck`g<=hP}_#r<%OF6)oSVLB4D?-WQl0E<4Wu`rBoK zq6qJT?B;xh+W6TNg$wq*0lTZ~e^Dl8C~`o2=!ZEwj*}dzehoG;6G9r^?KS3VS@cf} z=L6oo^o!#|t!mCNul?2r8!%C7UB;DC!RSBB#K~nV%nI-UoIzzERgJk09Ojp*22*iKRe}A=b5M?^iYmJZds;UPs#=Is!0FlRY6a> zzw;+kUp+T82OV0nYa)mc6+|QFmgm`tyOMcR4*hb@&CAo5R^#~%C*^a9uL^n&{pAYH zbh$gPzSm2BT45zE&n$8i+PH0sWWf0-C^T$Y`}d7Q3g>?N{EsYQBjzZLBj%{pu>bdb z)TXEFvcgs4zh)TFSU;XD*<`3#pk^lJbld~7&FC2%8w+Akj#eBb08v>a0Kg+$8d1F1 z1ba<=MLbfVuwjQi2TQjy9W8l?iU>-c6K9t$W)SY+)*NyHC4nL>vqa=f9QL=?iKRc7 z!S0IUl_Ak0v|_-=yvq!#$b@~?F7c>PTn$XGT+?zfDU4)9ae@s~Q7P;(EYiwg6fapU z11!}~`R9FkIl*^7#K-+|WzzCdC3E_J3FrUqkBB8A5Z6QC$o<8X8z(N0Wi1m|Cn*-b zU6ZSmzduPvfc4FCMV8j+lXBcdmkgf#?q`Mo1hhs;pE^sR;)5K@V#er}bmGr{ic>*< zFL@}k>m(xNzcT8`#w(YL$RXM3WyJ+Iuym+OTA~vZEyiNM!`TT|G-Dbupw+!J8(|M* z`8>s^(#I1c$oOFqYpX6$myGn;f_lbzTjlcmX>FHv)3Ox}gBDg2RT(q;fRnO_N?@1* zW_i?2P#w|{CzG{XO=yMM^(4n9t$4O9r0#q5lc$JM*|ywL~c zj|zPcld(=Q>}vg$4J&|$E^`r94~C{#nlVjEI#O~o6sW*wFnzXUOmqyzkba>V7YFI@ zVj!F9$5X+7+~Y~ZHPiSh*=tK6rHYk78=!|ykAWEfUQzlezb2eWqAV0;kX=R<)f>6b zl!MA6T<4dC6htQ3+^0tPU2H(`_D>I~#Dwu5IT*6AlH~k_Kd!{(azuK_%zwkGg-gi_ z9!clQ6$6+dp991=;GXE!Zxf|Ztu7U+Cc0v$-vxsZ?Y$%8k~8pZ?f>y=uLf!^2z$ff z8bvGh^aU6Xe1}6qmcv8trZ!H`K(bNxM~scZ3s4fSGGAng6%D!n$@75a8*8VQ%!tl$ z{$(n=Mw$`d1)pc8$2El>Mm`b7sP?BT{)S1DQaA8%CVV6hhYTjsYMUA4QZg9ZC2wae ziR;Z+Eh#zlB`-MFIfFtMKT|ne&xE7!A>OHT&LnZr*gNTpu_hJaQGtR;HQ}Z9%N>Px zxtOhYK0V=29|z}X7)=M~0aa5Kc3m9a-n~Q&BT5H$IbpKA-rseZT+&(|^4xrsAym@R?OSe%#NL4;EX+@t@H?^7?jMmTF+;fPR|B`w@v@ zvX{8gI&tiWU!Qklzs&q*JwjncY?+bqB8KDxpLZOSu3$g2f8U?|aI8wr+z}&n{`~Ks>8I*GK0m8;u zz}(#55#_`p%cpiFr zX*!-)K0%`{XmQX7edMlZM|{&i%Z`rBTWze2xZr$tIWExk)CErCweLBu_)8>M*vI{J zf_bi1LL_F`$IEqlSgux5B&Ek91j)U3rw(&#q2Bi@t7j+|cx zl7%VLGBu<`&#nLUd75B$bt~1Ogy9Bzn6x5YNEQczE3Enc`^bLTP|pafGTav&fKta& zq!%P)B$gJ}H-js$4#P(ytWc@;^npvHmVA<=I-BGC;EaaUKK*EOk_LC4yOGdGP^fwF zulN1UBPEjC51-B600~=(R%r@hpT#S{mhoS5v9>sRPM`d@@MWjsv-z>QJoblhVU>E_PyZu0h zF?%do%Vlo^5&>$ZBT4qyu~Ds}4=S|r?pUer^&9fOOK=3b95E&=yR11;t6qbn8Qbn( z3^N=&Kf-pz@!plrEvdsS!NQEf{H#D1R{ijUk#fHsrkD1l=JV22k4AE}(ULP<_4N~* zMh^iF`_TCMWkwr4w}!0^P{e}UzI9v>nuFJ&247q=uX?Qe6db_9Nwc`|E-P-?R)d7} z5Rq#c9&bUfbk&Ze$-pjZLQ+T5c~E)#V$em~W(vkfK@wya8>s2}Y?6z#^LIPnb3@%Fm&b(e5wm)pd^l^kOZ zhuDf%82%V#xpNu0(+hC(p>UkjeI^pC*Ua>Fo}Nxt>n`u>^y4FD$tdEtyw|rY&uZTJd&@;H6yASqT6VX>OcBz2h^#FSy1Zva-zk zM<1GANRe2yKqD(HiClm8OMpcwng30TP8wGhE5mo%w=BJ(!Eky zx^+UUMa;npo}L)j1&Jd3DxPZ)kr6y6xY(?}YO=Qc0|U(ihQ-rK-%moe7(Q&z!o~{@ zJ}P4FbKsffAphWGXW*{;SK}qg7`LLJuVuv;(~BNILDmx54&Kl1lEQ>y)a=PcBQ!UAtg_SZPgKRGDKtO5H|M5sni~+(apzD+6;U-7SJuL59 z&na~Jt%IRP{tqG09e86+r8~8Lhikz-%mAhhBT8vuSY}ba{hDh_AYQy6QEVyxwO73O zpLj8cxb}=hIH~ew1#RhX+GhR4YkK552_z-u%b&CxUw?N{Z>P;hkrCdNDk)2r#_Y$D@m{%sQN#i6VC?i3>Xz@vFD+KWrq{{13#$aAg{-!BtrWe^S1H%m85cj?32zvf+-(Y8M#9 zzxh?4ye#}KTP#a3cBnYnh*vcXgN{Knn-<+<6&|FDTY~!V)$P3gu6|`sG6vH%lmf=7 z*b!=2-0cIsnzs@5suh`7(cDpBM9p|-!=|QmQazzQ>Tc=O!JYp87GbNz<=;w;GT1Ap z;uH_WLGFLxn56~X>DQ-+{8z0FK3EE=sxE>#gr zsW}iwzdZmQ`I}0jITA;|JAmUdbFv$G;M9iM4Ed$!AYQ>uF;5sbP6beq%8Cmn{c4?& z5Cr}5Wx;$frMR3F->wZG7?$0h4%bTVs*WpPT^w-NlmD=WpW4V1Hy<#7GWjbt0n9FE zVs2Du$yWcz$cbv%+&@6EerBwCem9TlFW)~K?5Km=pB3dDOQ8;g0pnN(92U4VG4lYE z(^=J9YRX1Ra3>^P<=gH(1~_nMn|^H1eMmK=><-^Qig9?YPzLC%vfJ={dwR3%yS=Du z_CMcSB*i5i8(Vw*`tmHiHOflg-9akIfYza9NSwXGg&zINE#!QE8m^)7Dpt}V_iz{X zfv{4LLo?>`s~0bofUmO?cu32)TF?d!Xty%(Yi(<7qOi=pdKg^Zy$s!Ld%Axy|9T~J zbuk$?6m^tGxeVN5T%#FgwK~`j5$60^!8#-sgu6`tJ7{!%Gk7w%^QbTL&-|vbU^@C` z-pNW|2fxu(w!BPR=RlKdn~&xyvsSM4xB!k*mE`0Giy6x(@=oq#n{HxaUqb}M7Z&1$ zgPi*JGM~yShDLL6Qo|6r6*bf$ioiRU%IVxwWJZN=M+U%P+VyXJTq7Q*BIdv4B5#n-ceDp)qHLM9Zw8zdKdd8BQ zMM%t^wD%ap1O*tVSf7_<>ut>fg_NOMxg7^`au{l|IQ5?(*W@?Sx`)>oRa!`zCs#k< zVMDjnCozn^X1Gk;dYSEDF{^JeuRj~5ugNgoL6XUP66AjZQY^H8MADJPW|8*I($s!$ zU@kJ(=Cp<8e1J?S!UUi9YM`Q9sy>D_%%G!uab~m*a3}a1i+Lse1r3r)G3#>Q?Kq;y zkLtkm341VYVR_4MhyNRngbp3q8^Eb-pe&8IQ3hk$vL}N2p>b40P^GEzJ6l#bh+in} zjFbrapa>N;FiAFYS&HV?%Y%2l-kAc|aNsYx!tD*_ZRG$!ms4Wj;-)1L6 zVLOTP6YKnZw-DjGi!nKG3accA?FEVHGAno}cdl$sfuLP!x@A%OXd zA}^?d$xxeEx5h(bkRn#|i>c&9G@V^=gGfn^5YcDT?D&%Ru&AdL;ZFph1-P8~(ny;x ziWSk)oXM&1?e!q52QIsHO+wip%J0TzeY5ty(iBC~9-E551A_g=4e*{_1ou1e6u|~s zAtml|P5mHxZ&U)nvUK~(=emg*e~@B>(%*6~-pUHj5p;iX&lsRJ@s3cUGq6n5m;CFT zwmQb93zH~&&x)AAt=DSo>L<@in{D361j z=i?bYypjj=$n6tjr;qd&35u12@-%uLrE$}as*OEo&b1MB_*_^e(KT1UJRsR!S7(Ap zbwe!roBH9r?(eq?2bI=*uTCz~4PP#vdSj06Xf){nqNjycsHc~6)JElNOS2tB2>i`( z4=&ULm%DKu5b$(u@L%TV_jU7|(=*g-^Ep3`8jr&rZ$qcRs_Ef61RV8_Q#}~dfDrq z-rWRN&&)>hgdlCrJb53%3FHahkx?(OcG$flFQb`HN9c(gnqlLXYpza@`-iJ$l-nB# z!wGLn^G~ZCmOigIcJ&o=+@qQ`&wJbJYnV1+jJm6Vco*B7HUAvGofCGjSi3~{u;+O0 zl@R;6PNco8A8c@I79FuW_ZwAKrW_v!_h8Pl}whdL8@^)G*Tbf)_}X^ zVZd#3-zOw;H864wldT;ce>nES9tM9cC=y>dv?LntDfyHC(fe2=Lu@uq6g09e$yg+) zaAB8`;Xn`4K>joN)%EPfw1eSwk5_9uKNz>Qht&YyVe&Kzcc_@N(^FPRpmTyL0|rRA z-}6c=hLQ9s&nV0NGWN%O=@;BUKDjBp12cfkmau)-8&R|TGyD?m=flnY!@Lro(YD_% z-pi>HDf?}$vpf#lSfQXPYBKc`YC>Y4u=~D38v-;EA}9TN#HmuZhpdHV`g|{_*zI~?&ASlUt`^Foh5yFO?99@F>Z%NU zT7~bmc`YD+{4frb1n$^|6%_c_xq13$uayd55*9B{6r_^R`aQQh;_YTOFIv zFl_QqpHrMsFkI(}-%LOaiWMz+%08Zy2n0!*(*%v|4Law@NFQg2D?LZ*yIl`DvnR%TinSZ)_+9)AD)X@ZOeAcsMw;$-xP=__ ze5H`~GZGAEn&p2tY$JT%3p`r;bsQxxmc)+Q<2WNa!Qq$RsD(tbwgnOLO7r~2$n$+5 zHZP|8iNyX>#;sHBcpf1Vf41K|`?0C(heKz6v2*|0#>(#CG|ifC|0RD%TmQR7Tbu#& z#&^8p)7=rsc9|xRo;hGT0|qwvZ9`Npt3rMa_8li;4je)>7WR^uQ4ztL3y$Y!a+5D) zpKilO9A15Iwi=bVFxorP`s|bXG+s4TRGSQI@$GPi*R zJ<-NNOs_8`UknYFZK}xP?7S_!y<5N~?iP)dKT&gGVe>$J0jT4!+@Rz@)JZ@PFd)@4 z2YKzC2QM>%&V{C)Uu#mXu`kkmb(^z zPJaAMv`~winT26<-ziijXg5+&q!7aXpqh{2VbEm%2F%OHY{GC8W`i=fU2?lu`PWBF z$8Qf@eVjVON9F%!J!>Ay0YJT1t>Z*!;f}L)QNY)w6>95ZVWBI(81kV1k%=a+G`;B6 zmjs>U#{BitjhzR|RV?a!^Nl_z^`>D+X106lZ@bmVdU^q{f=<~vgs{it%33VQ4m`rCyxV>T!IP#{i4Gcr9%&;Vc;74A~9W2Sn89$ z%x%QlnF$`?n3r+g(BP9c8{T6ufHMCc@tBxz>`O?Cmv}ejpn@4oRXAbdeIHE zbb1#VL#R3E{wr5YE58GimSB8}Ly2|q`VMBVCaDt@gTs}bNdnSIAHshSVYi zNxh0~Ra2`u-d?SZK;DRD4ymE8}-+X)=S_~mW|MbCnSg0ZXwk!M|j}*rI*@wFw^(I(lCO_ zDU`|ULkmMR(D6<8_+7*Otm04Jkqnrv5u}O5uuo*iPy#MNds{o8GxcEo#|9G1({*~DMDT#gQZ@plMhxl z%uVWbji#U^9K5S{A0VqpKQ@l$-aC|fDKMao*%-{Vra}j1n(BlK1?tc5UQCw98i zgQ!#a!VV1vr}o%$VS8@pz`w|}MA@n%E+n@YZC686S3pEE^v^5An&hiM4b zS{S7#9)ej&EOPer`~}?`!WB1Furv928rk6MQGyjQX=LNYr`9kJs)5EAZzEGY|Ilo< ztdPZ&AZnHX>T2xdKB_{ND6=Yts#x+JNH8>c6hoO^#n#OTX-8flNXS6 zSfAsu&x(Zx=*FZzNwHqg(yots?Q6;2!^8t>U}w2WjvuYf{^SBt7{mB&HziB**S=+@5lfK(eG}@reKYjrwp!f zb}H9m5Wb8pViL6;|Jxn+ZMIEf@TtRt=Gp|)rG4S^8RUxU8gG479jbcPhjm%vbvJ9U zwQ2~>ZY!1BPu*LUhPE`m96#)|mRd1i*#CV-hkT^EKHOeag9dthLTZ!qo}b7%5m18? zo{?ic)?Jg7`HlF*-e$KQ$?o$_g0pUI&c0zia^CoB`cyVn0NehrJI~R}DXJUHss`s{Y8<92RV@Nd{1!jfj2P$ElH zS!2cCKPN#x>;8vhDkJHPai%5QHaU6;q+r$EN?mR}Lz57Jwz$_dxXLc?K-p_4gZuvwq7LZTbb>LH{am%Qt!^ z`ifVyE2RXISHJZ*1MN;}5_Efxi8^vAbJxq>qKb?-a;b6882`Go=A)Fz(jIh2b#es> z!9tevRGP>-5HNu5LFTFCEjI)dzzaSlx1??IZxeZ|I0|dG@5nFVR`6_e2{>npXK~2C`+Q;n(WM@VIdVzA)i^s@67oEY zt@_jHQ*)d-99GZDW5)BqSX@-CLeoIj&a*I|V9cq^0$#RM zwsrrFm*E?M#E{ZAeFdkY=b08fN;qI+~;Ov{19ZBNiVGthxm&9M)(SzJ0Mm_K3}{+ll~|A8eNb=$WGmz z7ij)v5*!%pN7+ViEp$^sWdsmAtSX$W9qLO!5zh3G5Rh9-t=F#R{Ko#3Kw6l;H7)7h zvAn^Cm-|$Sc|jgq`CM0Z&kDkZy^q?i&jDkHHW0}RL^r!g>YMiw$?kxc!|EP3=zPvk z@q)o&H5>bNMfXleO4sv<)y!~m3kfl?fciV z4y(ACFG+V{$Ifn=j)mZuI?Tnnd0h{2bofWvIgj)H2gqZEz}VdwPBHHIiiYW!L)&tM z>vM<)Uz~zdk~_xNN4~S@_&0Ii3YMNbYw+|)I+k5-1IxJE$9Z@RRKA(5B_5wTsqe|%{u+X`QTYI_yl0U3D@8s1AZi~YJzhU5sE!`eGnJ1_>(Ha@?b_YN zDKl@YIT$M0id3nPixn($v^ z=s}8?7r2>M+P-n&O_#3merof?+CteMwCo^P+)1LI5adpg1a-YHtl~)St)oichNc#| z>`GjtW`x%|axL8nX#(-2Z#Xz<{mOFGshV9uRs>Qu*UsG~Q`UjFB znHs}Sq=r5B)-us4+msRb+LVJ+r`m>H5qZE z@vRS2QW`8Z67fpA_XDz$4YHRK0;Jl#1MV{IEeDjP_>1I&4unjP0|b)pSG8)Q&`2}J zihj2ySne&!m0;Z}L=Yqn6%Wvgl%jg@s{r<-9>z`9gmo4tPyp0+9g(waHKyK&%DCw7%1Zq7^=9d(E>2#OuP&pu(LPz z?gR7M|8%Ucef#}&rT54k|?LBfYDk=EqM73Sh_lAvWr}S*y(qKAMam)BAEzjWUF+DPIHz{hLAhIL>Y?5!H zy}Qy1itAt$t9GK0>H$bWxgZiEd_lxXy&aeE7LdqWe=`%bKlNGnL zC5NW=E+{Cu!Wvq#SX8naY^Ezfm3WO_6~B_I*bMzb46k00&GXuzx9yPyHZE#7EogK7 zp$mBFo8WsvuD!o{Ez}l-O6XnWJVa8Pctrim>Ib43zY-?RA(C_J-&O{cXRE$ZN;G}+ z$X$)N-4dz0GX{{QW`AsdTe|T?Ia@Ef#~1ABCo-F#RDH^*P3k0GfV--q*>y=QzcN@z z$JD*@t0JXrc!6#SOCIYiL>)Q8ZMh><1i44qc8zKU>pIfgcb`~#9C%-oJRw%DtG9;E zUwrW&QFg!a3v4_`J2m4{(Sjc~=8d)%2K6IrVbU9!jQ~6R(0z2?67r?C>W>Y*?h7P* zKctR>^?8TpirR1y_VM2cwqctQam0W%v@~>cDKt9>~7K1x+sslQwteaJjw~umPYmaj0Ty$B< z8n{hFPYJoLdyG~5@wJZcNuY&ksigL1Iylc3XAyiw!qxrxZLjG<0=^A%PAqT17a4 z(IcM2mVWEFvcA>wGJhA%J*wfK(I+ttMfK=INzHzOd-%B?o%=6yl3-@Hev-%qmnTfh zWhd^_UO!8rdGZl4-D;`H3N{~&CE^8lS9ht$_a}-_RKp)u{uDm`iwOk;O9`7Fqlb!Y zi~&YT?@5Q;XNEQ_ux=s#LHDndQ*UGDK4|XhAao0+-MaEDhD+rqoD&P$){`0UP`fpF zl)4EOwDlj+IHeXB=QiQT%L;{@PTa4e0@}M@ZbFK7xB^!V8C0vsL14{-K_zgcy z-`nwh0^2O2jaGR3oJQt?Obm%S?=6XfOz=sA#U>ykd>xrasL|a>L}qPRnj6-2;3FNq z7{W<^p&GtOeG&JNw_=brdJlO}_Rfbyy-Ah?fOl>0PqKvK3<9F?tJ~~V0bhg@FAjXW zc~fZh|GKbYHW#^?*IKsh`?FtN$EIbpJIFqyyc%xF(0;+trtV+E0@|{PMP0|l zez1NO{jP~e9n_2DRvZeBFjydj{tzPidCQIW!4vVsg%|7-*^|RV)W1nvr*zwAM7~6$ zbNjGtn(@1KLeMBZ>eed7ugg3;$4(sTIxJYO6G3=R_8HjVS_wyR#6A7z7k~J&JOa&X zWHj+N>VwF!-IiuJ2@gho5E|xbQs^VMU`KPvaxxu`%zIfcEznXiAuyHfyBXl|*YE2> zz^Az#;WILy*^s5jHfk`X~B^8wniHil9np#3h68ZlF^d-(< delta 31358 zcmY(JV{j(X*0y8Ywr$(V#I`YUGBKanw(U%8+qP}n`sTdn&v$-Y)m_z9jdkyZ-fQ*L zvozMT#Bl(#)^X|r)5o_ymE|Z=43i*x!itNU?GoI3Yf;$3bx7~@B6i}GbF7U#&GhU) zT|=5Xw4@~>3!yg50~65zvn4*z3IoFJm5NgBBeluC%ZCQ`_0WhJN_UWNp=)+rUjSVU zKc8z1M8QsmsVfuvV82`b3PXVAeWlA{(fG+vpH_C^NFX>lrgR z!4O5wH-?>Ok;$+c7xO514yrZElg_wI-J?You_KX9=urGYpalcNQu!TVf+IgLJ_vd1 zlE9{GEoC2r?#Xb-w#P2KFbZHJ#T3=IBMoWxv;J+0T|EcaPC{7}F}mu4Ucs*YH_zln}0fOUQ_qw5|d+SiCY4BF7Mul$y}5FmG{f9EgpbTlds4*C& zzA~X?j08QGp{q1QT*#Z#yBwV-)g{sc)gOv;<8tVA-8Y7iE=+v^6LZi44^mbvY%m90 z6{@(*ZG#YWy%plIps_X9mN3NM7>50)#^~IcLFLZ2lhp@DE%~~wswuUh^q8*g0X)S9 z-^CrNfI@szivSmlby7g{UgTt9jbVC2@{{Ige(;Gv(@W{(Be^xENxL$MwvLPBCI-DD zCn@$UiMaYy_6$E#zZn666oRxXbVpf>lNM+!j;&Z1oW0zNTkLF5>DLoKMDuZ?^wO5r zAcMBO)SAK^Qi6-DeWW6bQg@>VsaiTr6 zo3adfo~M-8nOz->)JGQ$3ZDcB(&!i&B2$sKhO|{dXyUI8K1tbteAH|50(W07 z9V;=_R4eIsHYo1BJc?KNp3M(Fw<*f^OucvcyJjT81wHM}gpc+&k_tm^YE94XRn%zi z?Yk|@nU#%6_P_W zqe}+_nOW1N)Q!p7tcyuPa;SG)0vM^tV!{E7v_6nK84j?1XNliDDIYM@&YLKhW9t!F0&&F*{J zAKwF$=^21h^#Nq@0J#a3U}HjZ-CadwYh`u7xSqVbJ^xLN9GKy4eF}~A%i}xcwP!z^ z_4n>xt`Ofl>fiK`=YHx^zCbbLq!A}*#2aD~`AeF}ziV$bg=4IQ%`w`s%O_eMA*U=l)wp>5}}X zWegxf9o>->>df_LY_`FPrED3*b|r`*y@aX2lV!vWLoso}bWCE`Ed}-aM+qQXc_;b= z?bd$k!sCZy)OZx1FA=P(m@Fz>hu-RF!3)21XJmI1%&}3fg3p%ydFGx}at$7?K0hj4 zg5kfJj~>Cw91n#(fe@>n$_XA?$pRA0tqkC4rrq4l2tte3o2W|VR$8$lM#StJfw@Bm zS4)wp{dy^VKbT41=eH{>4`Hew^2BU`O(lLId9LC7%ytj8li^XH6IyqpOEJ#V|TN`CzQn~>`tNcbRyT9^a14O z&~4M5XH-HeRS-(_;D{Xrb=0(WVP;Bc+%aSQQM8(8)vCPm8 z*g&X9uPuyM?H$m}h(38&l2F7durWytmZ}YGMd?P&H_PR}PDbpRgq|t$P>rcZ|2@m= zF#v;jv3?42i3yWX1NDzx2V2{;dIxA{L+?)mK~OcJyUp6zVc+LD5~(B7ZOlqMPGzRL zaCdV)O7!P7^3B7!m;WgFKKV|UBq!??%=+T-Mt<4mXg*6%d~~1cT0yufFkRW#>Z?$I ziJR!@K{;Dv?AYq-A5ec`Kj0uu={yk%KILvJ&}*0*pH@A?l|)@$_2NvLI|IZeQv0e_ zDMAX+slr53l}j_>v?htRFzQ?~oOG^N&nC8RN4>H;d%VPNS$XiSmO^g1vO)Jji=QA* zv#}!<{7QEyMef3W|F*8L_mK2drgJ1-nfOlHQEX@}I2cj-du@?Cwzu)scYjXD(> zMOM7(ojy%{RW1Fkd#JLf8wN9N$@NZhw?X+4wG7>g^ap z7sA5LMZ%O!VvzmYlWl{wVsYO45NnC^xLM&mIVk%vX}JCJ!&T_MTUkp>)2)-lypLg) zgG4UbsguM_j04`Qu+(T`a0=vjgv1lu0S0 z2a!7L^Rocj8NSZk6SXi4Wy~3P-QQ^;i$G}-GZW*$36F?I5qI<;Tbdw@)HZ!B#XyX7 z%hYT+dU(0rUAg^md;3VWpU4F$S*;Bo_tNh?iw7%2>l>mXeBNKZ&15EBcL0)Hi+f%W zZ}i+@_T+z{1cO(GLvj&&9B%d*y~~?o9%+4p74FurUjRNI8zAGbqP^P}isq$)q>`Jc3q0JkATb{=$X~_=nAs8Aoo5_`Q~* z)`ezcteV-Ll0`J&#W9NMT@7W(f%dD6i-SMZh(y^Ipjf_C` z?V(_{a#gC7Av^$8#-4efY&d6-=Dnf7d*;&@7amDYg;V~i_by~kO&!#kAo{|m*wlia z=%aYS7!DI-dyYyz4GEH-?$4+VHj}3ZL6>gR#IkXv`mV}7V6!pJJX^mQGXIcwydN5J zrimkGf^!3KYJY$eUC24M%oba#FrWOoZpvw-%b54rHP%k<7{TKM4&>|LV+q=A0>m0I z%+du-;iYd0GHw49;ahQ-bF)<_iew3%T|u&Qt-eJP(%RJE*Qy1~LL5SbnX)B!Aoa44 z4_Ab~yY-~Fj6x9l)tC_}93#8I{}3i5F$>!0CpibmbG`1oa6{J7a98Rh|Dz`HA&|B? z-l%kstONd9&MjXtd{zZUIa#v3Ivx^dPfp(xLMprW{cYX-dSj}269iM}GJs+Dfm32f z)C&jd4CN!l`W=p9GxW{wTcorObo9_t)@%?|Fn!G6H;;zH@;HwTLpe++*IgT}bqm=V zw;v3Mq(e6#Ef}ja5^L7_W1Waw1?m3P*j+_&l(F(uMf?|w?)LByJ5a`eJWxi1S-9)i z+7V~8BJR3`04|gg?oc(>f0gU^%3)KUmf|8*&Z%m{{wLgc+Hv8lx+H9t5{(VM2U%Gk z3>$EvkWq_yu_bthgLZV@p`@tcvG8ym%BU)!zwE12O@fwDs5_s9K3~cEgsZh|{x3$# z8heR3K|I(z5GY?5iE_u(QKqSumIoKXYFaoYvdUgaGXLWBsclE`mG}KJXgqqZifDuBrAT*ItP^@xgEJg z-|1%5*`B=~7Ia`9OgA+Qtd%^p?Ukk|W49+~E@$$IoHvM^OImmMZTO$>&qJ9aD6;-2 z91N4-w>#~LMj79#)T3o;sR&n3m;STu!wj74F#$_;JW^x|`{%zyas=U*Y|<=pJmv-~ zuHj{JL6^}!8X_rO$kQ~{ZpwIod4v9Q76jlOwvSFJBLfWT$+*RI9i5jd?$Rk9ZGUz| zROwk(KRM#o7h;o)@eD%V8E|v*ACTk_8fkP{NXWdJJp_lI)vH-fZaYWpEAd`%NdD?w zW6jF=6Kw4!kKxc~4$3ezA{g3|;1fLB?9qy77ykj}zl!YQ{Q|pZy~f@EshKU@uKbkR zn`-~FOUTS}V2%2CQ!GPzA8V5v_4=#=kq#z2^MI8jEGm_7GD^vA3@Q5K@kE9i5L!H& zVCH%k-328|q@8Zr1KsyUmZG4b#qFw_7&tsxgQl_m6fGVfovS|V!<^*5wH!;@P>s#v zU9oZSP%UrW1s^b7g@7{vp51!1g+XL}bITL44gNJ^+n zsodDOS}(8datc%SS{&ZnNs@yFI@V*v49!f!sAyH6VWgr(oDh5uLP>o|G@!ZlvX)5$ zS7)gMP{T&OqRF_YgPR~{vO@*Y5~QwSZfs*d?N+Wj`xr@SEq=;Fp7WV7HXC6aZ{G53>tnU3`x8&;I2XPV`= z?z1wUYT#>Sqsa$EpG#zvp!I6_xuxA^R&L^08vM~IE&J}MzpZ#qO1C;EJ&p{4?dBg* zs>!LITxl`CJE4kvr=BdnS+YN15lDA!c4>~wQ*F@6Km|0j&><*dBhLHpB zfa&wD+AD}LCsr00Fq0(zH>6O@&yY#{{t%Y41spumZVH$#pFhGW5& zWee4@a0bU*?H5~qL89qOHFtR*Y+C-}DjFtW+MvHJGHv^=A8d&W`fy3RcO18+#@2bL zD2)M;RL>w=czA%86Bx06L!&kc5>NOORxuIOwloCzgjb)Kt01hG_Ffc)^j=T6EA-JS z^OCb5kr>-?VW^G~XQ-}jS8m9leau2;8Y8_*iyQ6_o-0-8;wBv`*?dy5hd1Je+96q* zi_>-Wvf^sd^tlQTC?`OuH+Wz(SAICMkUN%3^8iZITEYF64Mf>~{u90IQn7~@WP#QHEbd^$Nr`T4AL~L`wv5 zp`TSWmpSwHN3+ZsC`@bZz9w@<+^IxM$d)w)srl-s`#M6V{YK2xE(*ze|Rg+h^qfd2vV572*r z{R8|T5dVPu2UH8P5cJXnFl);REQ~cI0G}Gc3^$jhSalHi*F5uaU!>M#VS!md61XCB z9H+#!OmX4wt`s@Sf-*p#+7;!vZAlJEY?y;-MTP3>fR)(-lQ1f}vQu2_P>77Md z`rc4UoBj*3^R3$m-1a*!u}b4C11S~*&c9q5 zl#Bklueueo@QF@ACMlJ@_V-Ey0F7n(bc}h}I@=#q*^rz0YmB_3hL72XYI`FCSk9fO z0nHY;qA-##B`y<7DImq=dFAWwM?T@A3hTt!W-VX4iA8@FZu9em9IXh8RC`;TGfI2&QsXO)X zNPgs0^r&bq5O3iDXH++SLOUTbuP=77{Ykxhu9~NM!D89N@)f>27(r`6Rp<}r9|@@@ zRl8i!O08T;1Gc;z;smQpFq}(+sW;Bj;N26gRuKsG3L3gDYth|q8w}|wR>!gJ_w?%~ zyJan7pIi|BVT#& zZdmN$hPb5d!uBWOZO)j+gSTHDI#c@6-Y5LwvAnVEo!pkPYS)@l~vV)&?+IWLVOd zs)pGk%bCSDnv)$O?x|q*nM@OOnH9=pk;(*eape;Y0B{*T<&%Vt zw1WN%$8z!P#=agu06gw}`eyq|`sBF?md|V#IfaIyTV!2!R%!f*u4eqJ^?VLNYr#_g z#*?$Kt~O-1JI}T~{Et^n=TM?tl07c3yH^yiPgQ%4DG_9n8#Vsuvd$3A!BvG&Pp-fX z1&JeA+v<|ezb#_NMX>EL1p=31`mXmG4~dJ0W2RdoIHOr!fGGA(SyA|6Wi#X4`K&W% z34uhRsChj>-RXVAzS#u#@^Zfxwvg<(Y++ls>28J24mUD;L+)`jKNvRF&|{l&2gM_E zox2^9J4HRs;kwww~rXr@N+vW_HC^5SYB;Q?$-{XE9@j&FnEinm9U4TiZg11 zH)WfA?tPxFybeue)KXNrUm~J(L{Rs1+Hm}Rt?FQK44ng`L;Z`EMCdQEq-Y+6?vzi; z>{alGTDQim2n?C}qQ&@txKOr(jJIIniEV7IOs{)SKzFXCw(aCMZ|dtJf(JjiDEjbA zGP>>rLh^L|w32&hjl~zt>eH0ZZ;t0NOh9QO2Rnv)InPLJjnktGC`$Pc%$Pni?Vj0! zMLo^;Vnt)Y@tE5?*Na&wao7Oxl&4xvfUwH?qgTTL9 zPlN}P20xF2?Wp{@smQ%Bs4XnmF#1QpTrKh6Fb6OIv)$fXw$XbqIR z3+P$_PCuR?Qs&J6ux}yYNf70k#D-}!n6YmE5) zjOzp40QiDcpK~Q*m8&A}#pfIO5`CSD5W($%tQ={M3UO8PyA9)m3TqleNrJ1&H@jIr zbBH$*X`NV^lf!b|J234m{-Xne2{DFC%`7c(ckp#qanu2U!#0 zWIxW>MZa)ZbssliG$sTrgRf?R^f7U)!Ofn{z4X0-dIEO~jPCp(FmbOB+{%2gz!4e( z#D;~vTFb>~(WckEHTyt}v}NQmq(B>>jJw_YZoGJz9_os0+^&jpwg(kF)F8k zJ`m7f&o^E*SaS|y^4cBH4D%f< zZ?OqTqj|{c4la3G{n{0GC(R)P}c>`A?DOudJ@xLjQ@gOP4%FDOQ*ZY zh(nk-sl&-==1aUP233RxFZ=52{bi*bu^0X2?&W&FJ_ySDH0d!+F(T{JKI(bwi>}h5 z>PRhVsoz?Ssu$Wc=VH+7vic36wY!PO{g=B0_F+EKB@RPkR9w9VO;Ygz2zt#E>$fI<1C`kNC#PFXNPk{&{HABHro35?6RJ~t0;p-Xsmi)jsmBu^03-$ zLa>=@G7k}=sp8I3oi%^fKG$abMUTEZ*>|b!luMqvJPCS%%bGER3Brm{)RCeXRZYqq zxM5A9Rz9D$rd44*=>rc?!&#W7Sxk|eVo^yLR3n&8yM`DqYX(WXaf?n@G;ME|#bzz0 zZ{U^7$7(5?NL$MjI^J%&f}F~#>L;6grE&kIuHjEFU4UOLyGT=&9@W2&v`J$}}lDe62kVg>$d!8Wm3ZKvN_r2)Y(rptf5d2^vZE_-#3 z0q)d3PSonJY{&|ztCZzfXoWfLy{xY1NQYc*Ikq!*n?gI9U%gE$i_5jB!Z)1QO22j+ zXYApyo=<{|(p#V_ z^)Xw<7ww8XRE%oA)@HhIw{VQgcfd9=g-vC)?{vTpN>Slok03BVOSv{zVC`P6LCVp> zw4|!LJ`y%eaogi&oBIkH8h>Ju6Cd-sp}=N>tyHpX)vo{!x=5dTXqpG67<~Ez54(o$ zIsx~1^OglDh2{qd!IcaaUMsSXoqME%ENIuSzkAHLpUD&vBuGv=P7_&az#G1RnfceN zeUeRWRZ_bhfpHAJm?e3%nspGZnhj_p{n9>YQxx>xemut=#RJ2$_v8jPMjJl(4!;o3 zGE4C}^Beo*|GHCWJitnro#67QY7CWf;QwIm$gc$u7FOvp9=UrjST9U==8_!ynO|>= zjKAQ8sU3PDfQ5ew&uVQxfoB;CHha_wYd@Ho^nK zL_)g8PbzGV;tuP{@c@oH&kbGQTkw+KWSqY-NOHKGI4! zXa7ydv(ShG&ygRE=sPm+qH^jiVfh z*;v(uh<8WqQP)d@)ukPgSPvy&c+hAoiIqr6GT#jGpfXeKD~P3?^45h7Nno5&Y8%K} z-hB-|qHd^w6^98c;q14C4ev2a{|LLZbu5D9+U% zv(j)#76#Xliz!?KTG>h7#74uBQ1xhz6S#gC01b+ums8BEUK%1BkTi?whX29PB4?42 zRYF!INfYY}i>5D-KFmwIC&?PTL;F!0ObjEh3lO6Sr$fOetCuv58O4cbE~pmo4Kqac zCkYTs@>>ldk?9VFd;8e;1hfDWWvI*=z7Aqn7&oGQudg3c8B0H|_RYL{m0d>YNE}~l z-|W6xmOv6L^y_j0AM01IpEtqFR3C;KJHUF6Gyh$z4c2_$4MY_5u3Bvac)L6ucvCQL zHfTn6sCE(%-DmynicuRqawa}lZ(Io}HrnJx-f8(bx%ceW-Q2!{^an6CmuO&l@G%I# zw}y_#P%OD#65;iZ3?-f|y&L%nyRy^g?YhsSl6TDXEx_cI=Gf`NRj>T}*Vv$Bl|6E< z!y#y6zK4upWx|jhLx>SO0vis%c0=a5JQ*0!H$PoS`9%a7S;>Sn*&v|0zc;lS+U1HA zYHCF)F9#v?>F83T76tGhcy8@T^^W`%3!I{m61nEh9wuSzAd0lu znG{TfI{%pHH&|x^XU91q+$|*)MSTU#x*y|G#sH2b+Osa-(gRme=QFhx-Fu)vvHn}X z--YRy3l4qr9wX<)6G7F*;YoDTcVp2!NYZL=v|nRrXw z82Zk9Gw;&5Tmb}{nUEDu$&}R}QB?Qwf9g%hU=kakB+eXNS1#SB3J3AD`ti1Eifr2b ziaI%(cBu01gkpGs)xA7106ZP}Gm``wV@Zxn;mgXfC?kVBbC_zm(+@H0*3@Xufx^~| z`cKd_%;oDc6(2>r`tV^7NE_2joG=Ko$FdFsjJ`3CZvcL82zR&Oh6E{B@iU(h!UilO z*MivJH)_r8R2w}$4^clm9UC{C9h7nn>-KK!3w!4qPmvHj?&GZwdM0Reg2h$PkOuus zqH7J4wHE=-=mQ58hQ|2O1h`GPfbTZ_D>sdRHRC4``N#cc(HrYo;}!4wN7Ce;PpQ7% z+-r`&MgZn;!hBd$H9WJ+z7O-mOA~7qgCB)0UmjGaX7g0!)D){g3hm@vY&6wmM@ML- zXLGl`dgPjd#=@5`w|xvMh|v*k2@Nw(TIkr?5}naGN<-P^Dwb`j;0owpnRkMPlZ=a} z%RS$2tGBvz14gVipZkj)*N3YU#K?;`4ZR7AT!8mFT=mDv)A9Rp6mJ^kW=>a=shfQL z;`abVxfV~PFk72BM2@rr;XGg%3!k=4rtL|WwYfM~%KjVP;Hl+rF2jhETPqNF#+I*V zFnVx4`@)p*A3;5KLR$<2c@06?t9@$QDTgk)5p80mym$ zV}SHuR`cYh7oNP?^d|vdz5*SArx^^C8-JW|mvjp#elELx zd>nBfX{99xPo;ZJu~-NTho%em0@Vgcdt5l_T&VVuTLjy9jxfjY`*EZuw;JNLOy#wU zrH)&>Tw(j~>rDZHs;`AvI`iny7)+*KOaZ)g+@zaDrWbT~?CjuS+3MesBQxsII1j~| z->Y^9$HU<|`eaKixC>4T@Ed~)0>-fjNL6{T&6LZ zH|&--yy7IG=8M5OPZkD?Od*(QFr4I~g8r%@*y9nFALEeIG???brjwu+TlJFPz5yJ& z|M@OvWwv4CCY#>-{o%J!n}LlVF|%)wX~f1$cdGXA={naBL*A(Ph@#q*HcFSOv0BGm zuyCrKo{0n`2($#-!)lta1-W_^hq6f02s~!KVyZj+BX=e>JZ_L<2pvai(PUR>x1&8A zBISAhR&Pqpg0t)tD3Kd-&bG}-Cg5yYpYXs4WHG_ghlw;Ku!{by|Bu*r0tZg^`Z1wF zBAdcWC3+lpW)YrMNKyu#^{|0uaz3X-ZlRY>>ZZoHnU*ANT6c#;f?uW%PV+4G!xnac zKjqMUaB2o}{ofqH?z?ZCS7~Ni-|D~-5J7U|bU*TR7vHlC@x?OhZ3v{Y{!mO2W*ll-O%Y^w{+UQvNV zF^O3F0J4rXR{?{q8fG2%J3uC#`Um&S;4Wisou*%s83R<}Ds~;7;kk#!e;yAMMtBQ7 zC!K7;@UasDqNWCMu)~`jN*m#SL9Ga9+fYQxqlT=kosU5-%Yf z&43>m;V&`Om{`vQDrix_P%yaRNACDU=6(J4_@qU%D|<0EZf@XhajgK~Kf%s%HH)R?px{cEDp%=PLE+)wwW5bEI$JQLC2x zuIS3c(j6J@Y`B&YLkG_h-3WXVZ4SGNsIN)umh2C8*w@+G6sGO!dc)Sg$n3~5gOV_) z5aPIXPb*093i&dS~!VVH9R^sm1r5S!R%NYxc;sAf%-{Nn@P|-G4{0Y3F0>tk|9f(d6kh)kT^B4 z^rx;PaEobeXNt08%DcH$YqExN#Yvqfx5m7OZJ9b7fa}EJ24NLK2;)M$xM^hg#LDiw z*}s8HNxL$pq57(pJj>|gt4cX?TjKr*EYM`b%4Um1Iea@X|#?cKRjR3Ufbtu$W?LZfxGKK z01jOljkg0>^oa!_W3MGFcCdPr`F0M3hDD{37*$Quym{P>p^;6kFI*#Aq)A4L3m)tX z2nbJViya{>IzBLSY7ieRD?o@E{P_Vhvpb&(jX|SD3_xBq2m3Rn@=^kH zf%BvQC=Dze5(>D|Z zg~lLGj?Mb?)3t{Lk*w9c7#4;-Bl~bEbO9aen$0DcwE@9FrZACRYM!{#7pr9RQaCE~ zn<4I{wd&jfxMWt2exvuoIQwHH(Mp43z;!aqIOnRW(p;pKi4GEV<0x~$zcfkCYllC} z^b~868iRE3X93LW-OQ^%mZ-mw4YC|nOCz8pUB<&47Ta7wB(o*D+akELF@_PZn`P{= z#*SW@H5l?pT%^&?RVx!{CdDdQy?U*5HjtQ(?m^y`hV?Yxv`!cRz2u`x8Y(Jc`FCYc61&sx`xGnsntMG+MP-w61mFk?~E;?jme|_%)$! z_sJ^ghGQOn-|7ao3>Y)JmL9?S2fAcKM=%fbpaO^{Yc->z<2@+i+WKstLJ@ULqjIZ+!VL~isMr}^k->j?M7z;z zep`2X2p8xdNHW^$-&%pQeV*h}B`(~6v)|z`Dhu8J9K;U9MliT^#|RerOxq8)sA~hR z>;VhEdZJ?GG!FNh)el+t2D_wmKer;!hj#v+cD`1keFzAK-OBHzVg0ZGKG}PE@h`VN zDa1#HYQlE(8&1|ITIG5qnLA!HQ#Wpx#%EW)TQXOy&Qj01wmJg-vG2`fkVhy4VI@bFO_ih*@wuCo6~Y_JEik z{7r;nt`^M36Of%^*q8kW!wk2xPX;-IB#NT5#Oi_t!M2fQAN&u+>dT#E>JPW0v2V9= zCCR(Uzdb531lq^qTHv``DK8S5v&^ZH)%fkHdmO)Xon2PCWEt!{#qBFsl=eA#^e|cV z|1L&e6I_~pE<2ik_Q?<5;9CsO=mUR{9&-V0suK$krx%7ISmTUWvW-qNZhf^)N zYPye`btg8xwVud-d**T~)z?=%DSOHjtx`LVdcTHtK=>z)7QIUOM_d?30D{l1#)M~< zEk`#iLwJB10(*l;o7_g;k)4`M?(dXuH2r=VU4-F-=8S=xGbjEJkSv?0gq$yq%z>M= zUwcjODcSMb6;-6ucRRYvu`%2SFOR05+e(z5b>1I+A-)~-!(A5R-~XY|B7&1&sngPG zAJXMzcIpyP8Y#JgBnT*plw64W@=}TW+Q`pU-6`72cq%lT`0k<{{V!(Y!5s!qEZW9yHEL+}}C>3^+L>IB)iu(;c;< zZT@crbw}6HzU`j`Z6)hfCZCu{GiDm8#G0^ZsmG$QzW`?a>$Xi>9ZQ9%R&Yv$?^mU7 zp#pSyx4-_#+l@pukR4o&PBN~ga!3EQ^B}i8rPM;{P+Isi;HtTlQke3dsz(gRDuA)C z>O464l6!FX`1S6{_oCN#W$064-j4alr>m%WhNgn~;~r@c?}~1Wa6n3L_#!7bzb}nD zv}u5f&<4;{`HtH~=aXAcvUVR*Rqa^qc`qHt>oO>5j;&NQzqYEsrok3gK&EvY5;dEl zGuZEJ7cboT&UxJm)v$@%BRpmw-bZGjXUc9JPRR1tYLW|L~uykCV*xr`^y44 z57gX_I2-kk%QPnx_ZNR-u(8yMY#ta7l?O+X2(JV=;>km8PUyp1igI2s7h>sCU8)dl zr5D#nr!ad-@DiwkUTgQ-(RpfyM~W=BG`C97HT>%DU%(S5q(+|AI7gV zJQ)Ro(r?WaDE2Fs5R7?W7kX=;Z$pAI$^@#oZ<(Ih=%VD?H zKh2EKZm|kCdOGV|Z3X~W!Kbg25eoGJ4oSMN)@KQ_!z(K{e#DZkbrZ_t2cfWApGj|m zO|?zB^J_!9QVYgvj_Nu}#|N#;&%~|b8-T3!B~byVpP@7kXeXrsL7LFyQN1bUaF)L#z_v00!$KF7|qE$qphXc;t`@z?~BNS$&ox*nWLGzyHh39OHfR)|T3 zEN2i#j1^^?RVPqA%-=L<6#`5_JisDCK*~J^m#V{rAGybediBj|_Md5`gG1f=Dg{VO% z;T`r#HlC`L&-&RWMg*={PiLn8)p;voUkEAq<^j!zdx9nHn@|`m8bWtD+bqkd#$>+TpBb82|MfZZk(;YF zpnpZrEL){~k#57*RgOPw?WUU^(Fm!uz5Lz5*4_tukU8suB3?$-g*$HF-h;Z`H03Jt zTEh|AxOwB}^pE4A z9w|;TXd_!$BMQJ&sI1@*v0qrTHVE#vo8CVoqw{AR*r|N}53HIfzSaoNEuWBtDR%o^8l=Vk8Y@pK}<==bx zS;^5W+U_mqKjerZmYtmWiyACRXA6l97Dp8=APSeRiYDZL3}Mnn(Hf0_{P8i`2@g&9eb3Zz)5$v7enzoz z+KzdhYB>S=w6AtHlug>|#TD`$js@!1+JO`MRtj6?u?C}0*=-~kOx;C<=F#*EluT})L5iBktu5OP*{b@`w!7ojVa2cCe5(gdPni$v~~};u>AQ$&uE;< z__e_CrK>~X!*A8l-XqgjORIJ_^kDc5*2NE_aW(#QO4WF&3PfRJY;1FQnGIi6vv)C= zuDBjhe|&(Rjh&><*#M)aLdwI^0RC6Tgsq4`rhk#cCqma%D?+f`5|*T~S;S~V&*}rH zJf>Q)P^{~8qvkkB-$rQf*KyXQ?691CXkrEA@%Jgm%x^=pDi}E*-t(;0zzS_{-`)rw zLb`Oo_UN=@V#6gvJ@K)AObgqTK+p6_b3Bcg4EyW$JwRsZHObSXr?}e?JUMPtAHS~m z{w%KR-9ICdMh8P2!Q`5(@Cwl8xls?YZfQT@9zn4l3z@S2x3xzBB5jx zv0a)79Pvf(`7ZYQC|XcA)FE~OBS^aABExJr&(>rru>qmj$n5ehH~U^&fWcmPpwG&#MYf}wv9%+6XWv5zvOME|G^XO zc2{fpp7_-q^@W4W+k8zzuzg=h$h{r1H{iM~M*>qn$w+CW@e@T*x z5U)bS!*g1yAIv1^5K0{y7^d8Om}Q)Blo%#x0W5UKh!>LE5AgnV9$CN%f>w#G`PFFI|O$L5-dP)3l72E z8Qfh01j67F+--1ocNjFd+u;0s`&(zNy|2zq&#LaO>XP?)N?sYFnJ}WHZyRt#bi=AC ziAlYJg~Qh5x1q70k%$HaAOKvV2^Wt>GOPRZ+;WyjOxEt- z8g$ol5f>}kSv_!}**SYH=EA4bnN76V{l1ADn=h=(Y zjz$c-Z=RTStT(`zQXv!Cre7#-21~=UPJ~2-B_`&mjV}-}WTrEtDC6_N%K=kFieJiu z)>mKU^=D^oy=m<`k~46{qmB(fU0<|tS*pPS9P;EKolVAZm+$!#NiBh ztO!48UK;APQeOW+nl=Rw4Y;D&xWrY&Vbw654Zq$_#8Twhjl8q2yuJ82QoPuzD}o+9 z!UJg7QQ34faz6_JUJ*@i=3Ip-4+Xv2w)OSQP9Z#`5qUgVju3abzs^5`2_C9X^ zHN}IbDL3HMad9ggVvOW;iKe8>AdBP-dPY1Qe|3t5_ioNiZopLf*^+CXJ0n~aEW?v{}r*%S|1|D z{eOr&Wy4|TKhx_CZs+Mw%_O+@z))&QMr?bV@*)ulc~p|J8mkUtKv!059&wSQ)9 z!c?r4y2FzG(!J?5mS0D6hd^T$(*3bxUek{CRHb5_!Dsu8l%3|z?}pq=o|+IX!-|X- zVG)i^qqoj;5Afp>KunQB`>ott#Lt17jo4S}{Gg+rn!$1D`MI$8mydD3}0&}LMqpw@rJO19Z~cv{6W)zojo~qtG&l7+HbWu1phd z9(dyK*g{Q2cBTh=NURFo@2#qYH{;58p3%1LZy*0NJW7E7Y=uKF0+7ixzFs;O;s#SS z+8)m~6e;9t%Yh5Sb+Dsdhu4-CBT1PPx985|Ju1**+A1{pYc9urwiX4E2`}ii9hRr{ zqq`k{$7HBD+uIuPx7f^}WaW!{wDvLGK0muNd%t<;T(K_NwKl?-Xid3!t%?@3J&Ii4 zn7~vNSpxjK_aG{*UQnxFVE)1SLSDoX(owt8wt(Q1F)3!R*rdV0w??4vS=T}ATAVZA z{jm%FV-UMv=x}68tk9&!fUGss;?neYFb$z_6>v45P8NUNT&v+@5PPK7zw4Jz>yla_ z8CAdvT{L|AvHOJ=rP(iov4~eMy@Zb}h!24?%>}T^o+9m?h*0scNGSG;JgzBzL-KKM z2&Au;$fUsv%1wSya_a~bj~AyB$s>RUkdk9tyOgqSdDtyk_(*ZUfWwwT^|yK9hdrC% zwm(5%!0<;l`l`Qs%UzD zpU$L%f|d@^MPW!EG)2Jx^f>fUqITSTaPMz=dEPVJFF)sGOx2rg8Ym>XM-uTRLP@V7 zD4&l_5Mp0ma?Y&uZcv)(VP26{kYYIr%V8%SkdX6+W^~j^B}wogta7{xs@59{?^FzM zJ^=*Eu0B=m@dT&;JnUomrv=uTmKJD8A=$?LLUP$HWTdHd(7BtI`a^=@c<2mgK7L=9 zt)>ZM$+n%!zsUCQymF{m({QS5wi-HbDhS5arz3|n&?G0QVVPy3jSgGs!_Oqtu zrQIXDPgUZJR;MMxC3kl&!(d5M2&J)QOd^MShvWXt_P3Ks2{q2Z{;~N(YqRhLt>5^@ zF!x`u6^_WYmi|V`^XU2xK{tk^rdimfi#FlN?pU`g6^eajL>K!SuJ`tA{N0`* zKoI_3|9r)!ZG_slCxrdMe-#fW2}quR?H`7hI(V>AQ7egegJDhM((&Kc1{$F-ei&E$ zM*uzmiTV*{!R?fAKw;1aIVeeeSf_pFb1FHR{s?NEJ?=qbm+@&hIent!)P;i2jzwd2 z?0q+2c$8SwZI!WiMuiqj@3hgx=F?ZjF0HGy5U1F5xos6wiLK_jgS%Bw0NIoWre(9J znfM00ebyM&Mo{m$Wal_KmHx?3FcB*#zoes?In*o+3w=MNWqu}Fd!Oac z7Gz02F6Z&E#282{(aY@qb_|uhGe}XiN(rp0zZfaSS=Bf{A8)?@{VDv&!dSCeANGgV z(Z;;mYZ|^wwcUkUuXw0H#`wb*?9!Xx%JAF33v5=2%jy3IgpVi_ACPcN=hQ)gPj59w zVFU>NpE+Z8<7WsbF2bcRaL2$Sc1KRXky6T*rKNGL^bEG}>M-h9)MJ{A%M`~gEoqzCIS3S4a0FQ}ROy&wEKY!-X?lytcsetY(%*Ie!XQ=hEiZg@{gWsxT zPrt08PWP}jJTz7ZT^rd^wK4<`#!r{opLx4(Y&;FLmRSbXcxG}_yyjA*l2uiYb4%YQ zp7ojAmtNA31kbHB)^DW5|KL@~L))n8CArM5TH_`1(PqWU^AV9$YT3Ie>ZN!TCN}V| zJ``rlj11EZ$o9-I-de}s6U`!Ho$(azh2IOZ+3w3HRiY>~_%!fV)`@0j@qOszD;`Vl z=6zgg#`7j$9pO9K3<-27EbPyD53fRLFV5Mo4Po859lf%5i|Zb39C)Z4pffn zD$l0m3(CJUF@)~iPKx(G)(Rr3rK!rzXjSJrx2X3YV;yRF`gTrYl}w_e6VgBpSWa2& zkoFF&P(=T=au4vgi{NvZd#6gQe23wIPgB%$kA4?+WxTD$7y(~ zYG(Q%;ZX@fWu+%6AdjbX3iD(8iiRR$ddDNuikhASEBI~ikLq92_k~k?>;E=*(hNoU zQ_LmeJyKLNl{pF@G+Z9KTgiW)Ia;861*}`3RIJIb_Qh9KnuibasknUXnM~8jnQOL_ z?xM9_hDZI&7NE8hc=89KiHnN*z_BWn*|nNNkvNH8QTeZ%4_nZrJhtv*JQ25r%L7)1 zZVvLe$(CZ*#NvP9HSLDA|2xv@XOg#*cLwQ&?hXFy?7WBdC~`nG*M-7V;azZR`x+kBQ4`6< z`M%k`Aje~;8J7^h@(G~#!kJvx1`P!G#p|KQ!~SSM)?<3U&uOP7jodi3M!BZVGOEj}YI^b68BM z8BQksU1p-V&g>IU72qc%X1vrysj}R#nHJ*h%E+FWJ!jjnSu8Y$)O2duV|ipUBWwF< zL@8m0{3WR&%G5kSxSF>z_MpNop-H}MA4++oh+5rZ9u1-*9QA|~cODJ0RaAm@Zy1Oc zi6g2EN!@FA=3B2XXTCGgI*FbsMD37^8k6bxikdd!6V?)R9AkcrH7!<3sGd4)<;*wg z){0VmCZErd;i2fn&DdX;WxmrkIAMQEX@yt((Y?KBoq%5nX#8PAl~wOe9)-=hqCgzU zJVkS@px-c@I-6faOSC}TkUBm14^P1wd^nSW02~C0Oo0`hu_r>1RusS;9K@c^f z8C3_3MeNPtoO&V~mnusO{Phe#ONvd7oetxl7)wQX`yY?qU^+F0-lw`?QUW|$I3G0 ze)Px}qarY}j5namFZfdNs#N&(2x%5gU*Rh2SP;qR&8K9r?5Mv-Lj{<(ZACXD@`Dd7 zKGQ*M!4c^G(ojrFLhM&N8b{xP5m5N@b4EzY^fNZU8(`uG)rp*KUMNqf#I?9LecLH_ z#5c;5WLhq3fuWf;#(J2~ES7TuddXWdNP9jyK@y3yPEvXdY07(yro0C7ISRi`r!_d~ z3#eKZ=cPo1uT|7qDx!X^ zD~E0PH4ebofJmB8v}IgYS0Z96pW+xCh991dPYIH7n&Y(8b1|)Hg+DNNM=>&iJwh`G zn=GA6+>Fk?;vlqsf-Zf`k>+IcuqF8+f0UDw^3&As^_as( z^xC7ODm$q2juAl^gN_j@)g*-pJIy^@poUav9B6_SIw%&O!^|PLWxPKz-;eJvBoo6T zLJB|x+g&=<8eA1*7o`Hj70xf`rh;uV-ILh6wNvARD{$V@F;oNn+=*YZYX2Qu!$2;mHm3qk0P>M;P9meEJ3tjzE~r8qb=3WqjRv;7Fkx~K44 zEpXXIUfwS!S(`GEDA=Qft&~C4;zov*Z+yJ$ufd6GWF>57k}5VsNW}$Lxdga8cXw(W zjByJ?AqIs+*Iev~KkojqvonsL>@ISs%K@{+NsFP3zPUAwon?q-`s6L3dhg=Tj#mIM z9P(brTlizZE^}xMjgh{QR_ap^%w%l_5n&s|2{i#*KL7A>OBbB;cYLN(g!hzzFXt@` z_xihP%;d?CUx($HcYJKAzjdqUdRsG{@$g+wi}bzpDLhA5{eBZA{KOg`Z&8iGwED1+ zk`d)`_=sYZ>1>8y#yh2LOeSvcz~2lg_2NdR5S7|I8Jp0&S@`1WOht!hotk%;Fq`4% zsImw>M?)OfadC zPX0S&?H4o&xd0Y2@TcMm6b za@fbi_x&-jG0V|jNiu==bqDXudckZO^^xRKahYzc{(mf}#!lIzEu@I+A0Ir%Y$DPr zE~D{`EX!5mbDD2G`S!ZX!HLy?oSiiv(Qz3T%#Gktd>-2ou)|l9(y4Amgiw;0`E4rH zOU!4lY2is5cu&}yB90?w9*+e|SSC$XCh|F*|8efU$`Y^o#jjdk&y@~u*@m8j z>_VGuoYG}zTRz`2I(_FU4Px$r9#c>oUpLk4@OcZ~?I!I!_PE&>^xp0P=QHrS*&Fn! z(@l3E5udL)i*c5ef3j*-Pzt}%p3!ojIrL>dR3LnAvd$U$G43iw(teYiB{*`X)Y-Cp zO$-yj;(D%K*;xLe2!Q$x4P{6XSd84QCp+yA9j&%%&(=^BRcU9|*YNL?>CvNoMI5w zwYW`d^SKwxqppPX%HHX&c~EsvMc(Y7kjUJ_UVM9^m_YFLXQNdKU@_cK_#X78E9hmU z$Y1jBN5pg*nW>fWDv#I;>B0N3Q7c|CQ2j1x*0T#?!QW--L)O!?ya+&m~u>B^o*lKQMDN5&x z64%<-OFl4c_l?{D&|nuvE@ADIG2PhLk0{kgMt$}OCw+H)K5!a;YT49J#U7iziQTah zZqU{J+vNNpgQ5lY3Q%FpT!Yh1vlsBPQ3*v zmfmTgKRqXBuBFf7;~Cy@JTsOd|2Tkq2%YRf9c%d0VjaXkOl-G=@8tm03;3=>@*d@{ zVV?pyH520hw3Mg}ieLzFKy8zZ=M4G1F<)o4e7v#<^DD(KlIP9CtQ#$JNEBIQPT1?W zXmUKsLqLWbVD|RPW$)RfU*8*JieE+C&$?=ggb(RUBL!Y}J^&88cO4DB- zjZrMDNN1W6%V){&^);U`+RQQ^>sk!~AVFIPcyS9~!0S>(xDLqHr|BMa?judsJf`H< zSTAhFt3SKd#XjYjuIr&j?(*ZPj?Dfy4Yj8C+Nt{ZibcFEd7| z7zAN#fbVvB>SEV8Ro|S$qFKHhkQ%UJF3(GN;Avo@ z2+K?G+wT+#@bm8&EcrRvWaD&%vh=NGpJO5J5w4yCm^6sPHMv&M}ls9x*I%w0$=J))XVOXX)DT^(KhyP9;hD0VPC@8OssREztZrIDH9 zMMQN^F^T=>Fs$8w2@_a8;kF*>o;_r~44`$Ew7=(E4eRnZpe z09JK{^#^JK;}woJR^hYs-uf7@6 z64dVPD{viR>fF$-f$n0DzT=X2XT@--LJ6l4M|UyA+=d+0ARgsEv-hmEt;d$Z$re~? zsVZJ2`4x{}viCx@cjF5}74>6`D-O(j9N`d5zYVs^g>rA1@KLwqcfKYh=;KUgKpcDx z9=0<8dz)RzX@o4hOC$7=uh*}A?0K257(=l~`(z?lmiaN-q+GWn2@Qm zq}Jw1ig_I#2w-&|f8eA)8Lr!%%b>8Y&GV;KGGj$`%uR}k8y=9|Go^6}BW;z6H=vTM zN~F;qPMXS8;}NaOpwS*rV%aZU>m!=m_4zof!fFLa8aT>S@l%VZM813jP+x0A4eJ~3 z9bhL>D9HqHV?EBu>{;O?HKz@$GMKI)56L!pIMS>+bK&_}nTzenfDx!2WoRr_&Zk)8 zGQ%?SN9KdW2a@cv9?^sr)P;wPvJ%>I&*7@oJ{Jqawl%%|BtEy!p8Vkaaf^a!^v8Wjye1=nz2Ag)@|uwZF5SLos|4vUESU-0=Fj z_1)%dJ!Rx&y5(Im_}@V}!3)IWSz&RD{+@hHykqM{wUpZ zj`E`ll3BG9;2~I+dFG$iZMUQ)uJqFK=_=Q?R{%%t+`P&%YHTjw@=ceXp*0l`0tJI0rnpR@dbW z?YzV&W{$7PlU^=qq-1wR-D5u<7EAN6=%PY~Q1XARGI0cJT2lcT?2=i`dYmkH|G4yx z>JiVeoVW%l>scx=VVE%&^4k1+Nk0FoD&_ib0$YQM(_BNb`p`6;D~y#XPEy?nm(3?M z%1chOGTAs^w@pNWsXg#29+_NYa0yy) zTV4ZocZ`hw_jcw{x;m~DJjPQOPXp60J2RmKBDj8$_HpWn^hhZ7MS4x#J-||b)|t)w zB05CoqUcp5$EQS}LN<3FM4gJz@_TRY5U9DUzt)j8xH+!VSKb!?usJk$IksL+vNjdi zA>dz3{V7U;04hS<>0IfsykodqZe`{HPMP~LyTb~T53Rf#HWZa#E#4gLYU*1a+g)F9 zltGMMuHh$U^L~+(s1VO$`8(1#PO@?w)xNATxG#0|llNZ6f>SDAl71m0TE!$M=gvkM z5n9FU^MNJP+H?xewpesiq4dWCJ%LoncWTqpE|>~P0Pe~Ljg02mZgEa|W{bHb-<38t z4Q8d4@!L%~;)Jp06- zhZq)KgFtV zQd2Z!aaHOlL&Sk*T>7vgCTK4%uvk(Y6;hh*bnCm@nQ3KS`czD|ovRh;J?-yGpKo~b zG9p(g(+^AcZhUWBIEY55w`l?n_tH&#PzeC{x|*0fuIy4g{p-?3_uiX{8;GE#Mt5Bu zkx#JKo1=$s_D9IORjuMJ*NI1a%g5hDLT4ES2jbV6%cPmCH~{FLUahu6>*T*Fpyzm- z^YuFHpO}y^ISqNLr5z6K4x1)U327sm7*0zYqFs{ZxCrx22HEGqqiB18QTig;^!nUFM5EDX<{FmAeA#MhYO+*lc21q<`hOaAGQ$Y+BiQ{-C-B%&K! zW-_)S|Jk6?y5z{jc9)fcn>yBli!p%Y{7un%qxqPjk;S!LBnjQ#t&nz;?9chFQoLI6 z*|0^QQ$liHKm6ePNrTv#t-r#w;sqgM@vd2Z-yiOo&bcTPfZ1R^@7pY(s*2IeL&5!jr_KQa>IJ(aKR-a!%dazFO+@7FZ65$?Z3P8D zw$@yQ#*H1`eB`sm{91m3ckMW?=qU2v8(Kx%TVEs&j;=}21X@I1zZ^0q0GPV?xct^R z4P0Ly?osFS-Msz@G$(v_8LF1A0)|Dqy**wkyFQ*nxDT!CZ!@24>QolPJxmPC@C6e^QALYfMPfieX>V%*U&!0+ZRD@Q+dnEBb z^DBuXl!J`F@XvwU&GyZK&InM&gWEsGl};7a$l^1H#9v>opErH3*R_+kJ)xfhqkw7V zsg?9Z1<#RD^4ue78-dBOk2?yMtC6tdp;(r)&>5Mu0LC8;zX4FOVx*iLZ;wwa_1cx3 z)m4!_ua?9e8c?>cg56Qimc#_BN+CeqwUN(qHYOeSUO|`jE|Vb1XUf?E9~}yHjHx=o z7RDS#=X^m@rKwF3z>OKj%0M>+rr=M$4nRxo)Q?Oygm~ynI2Jk7c}_ums-e6zQjg4# z0P?kp#9ty;C_tW?e+5Qa0t+fSxUC^uBB2A;N9E1?T2Z^Y-B(#kn6B<|9J>`6_`?oE z?BRSdsRv^v{G~i&6)@scV%Y<2E_+uiSSVJ-DIl_0h&0^NM|E?37h?>hM#-tDUV^kc zX8u85In}0$z-&&O(NonN&Y1IcqCr5C!!k|f=;~wD1i*8eeBvxa&iMWM6v$QZv`nf_ zp-o7Nn(w#eG#?LhYzHWsnaUuZTC9*hz0B==j==Ms=Qxl|Po-y1- zXg90mU12%8OEj&t<`kHz=5L2ymQZp;flkB&o#`ZCZUlf#!~g>}q#oXW61Qs*>%USc za7Ae-k+O<&pNSjJmI@bTMKe7Q*B0cr_%`0XL({Mi%KYctJ3SkKDyzu%zm;;0I%_H< z3Yh)}Ec;w)dw;6VkF#*U?6h^mto*B^)%({Iq-%;~7y8Hg@maK_)!PmuDlO2iq`1AU z?eC-@k7zSnAZk7|bV>Sj5b6}PXL@ch>I|UMU!P*ri2rWUTA(bUGa%iBbGDL|y;;JbFWe`)6?MrbszVMa3XP(hRfiNN_p z^p2Cupg|V!H$je}5Bh~fj30Xl+@XIoF1`Ae`QeYe<#%lnYuoT^Nk1g(%KTOFy%-Q( z20jsAN#LzGBe!>`>eSub+{DuGFbUufIT<}EG#(d z!Pih-uCvlo8qFBbGu|Z!&8S7 zCEU%tEq0`eDeA;5f@meE_-0h^rni7uV;XcYe36-iBRWf{qSQSLFzi#%2X4Cu953|7fBf zi~s&Y=2Kznd`hL+e&pNa=gXXSIQ1vE!9~B-ef3bw_y*6S;jg*A;p-QShyl>0))H^b z<%0Zx>+k5WOB@5fZd9<8Jzjz;^bz=;dWC`K!OnD9)g0lqt;Dhl5>8f-c8H!c2{G6pjGwkoCHQY*0d{LEP0}mp8wbrfQ==kTdwx{KWO8lI865AK zn%o2{0<{AYUsmiH!Zq;&7EJpUWIIr+om3H5Br{2`-msFE zKTIOr1$lj)6sPca-`^M;_dWpo?sHLvUY=Cz=1oJk5y=O8bg2q^4{qH-(ao3Pp@47H za7H+^kBSFMCtl>>fwc#y3x!0-m%H9!PQOqfXHM8kMo1WEP*^P@{s3(;XWT%Iz_0FP z9b`o_B0q#NQ$f}Qyc%k)-ccR+@||`av~n}Fim1jKzQvw49gGt*Si8tL+P%*=nKt8g zvE5Ub8iQF|z7L(D^Nz1~6qmne+yEMO;S;s+O{w2lH;vz^swrsl*54oGS!4%iDr?c2 z20WIHqz0bep3p%7FdJCHCRV4xhP5OfL*yU9jZGX+L;UH!zxPaSCfumzJu6z@epo~Y zUfJAAj1Nd!+b%4EdHi~ZF-fEQoLWNh6JE0Urg&)Gs#1v*><};HTf8#BrvULKMx>3= zXKfbS>iai|XAJNSt=q-+#+T=CPk$uQuU?Qjqf=3dXWxrxY@a4bRf#`XA8>Dkbb-8D z-*NKueX%`06wKB^@)LOJkoy|rNr&W5?~Sn#a3U%rwHXffUVR23*uD?67l#JWblBR6 zL#n9q0B9HVtNI{!I>@^x;9?N_6YA|Ep72&D#25S1;A2H)$6$MzNA{E@w#%*`-%{uP zhE#8^DY&wcz`J?wZBk$RdCLP#@e{DO@m0!*%F%Gj+gVK5dg$?#(L_FbYI2pKL)hm1 zctg2&dIW6P2-w|_?yVUFZ!|)DA&c=hD;m9*0>F+2p!dlWh1v$7J>lb1$E$!_a#|Df z?5Utt43H~b?B6ZJFT#@toM(WmMP6~C$piT_0U!-+EYrEDo^X|Fhj?t%iN@0Va*No| z&!M|a4l41gsgYG@u@Y;*nW$QC%RV@zA;C9c>8%_BhqTM!l`t2u>#y7!`UyPO0P#{? zcuRpOA>l;$P61{Ejw`iq3x9&=8c{%2wnKMI{6xfz_Jo=_p>!VT3NcFpZRg2)04wdIFK*y3|22ZbVh=&1?gl;@;>6!kl z5}eie-q$YC3o^K1TLpSKrg45W&wkamquKWTutT~xI0r1;SnYd}T*C<#_q64>0vEjc zUUXpNyI+D!K57(z6tjC5Ao1}n$&YS}pk=k$_t$yOfM9*3^BT z@}>Bbo6wIj(7^sR^e9qEc5o9Lisvjg^>gU)MPAtG;()dy_Qu=jqcC`+a%Lan`S=@e zg^!d4Qu(f5K*h)V(V@J~V%0x~PF~wQKwx*{X1>V-`!f_UKV3!4(lgtcF4(i-qdwZb zPx#=rO??WW9HjAm>NzPC4W|Pjz7RiEfPl?6cre4T>g+G}QT(G$Z?OOnX!B8EROrOj z+v9g(u=xKZTSJ4r-u?2(E`UJAW$dK`#WSytuGx6V6bG$c+{d+X*RS(e4cp`a$wx~a zKT-j7Ccbi;YH(*UU}_UNtP9pNLGa3I*Ue;7&5iVh)G7m@1823%i{Mv{ZL%lUSu^+x z-KoRgpLy`XpV_y1PrcrpB=A53(3c>+ra9ab>0@Z<8s85MzxH+-T+Dum>X`hpagV;I z#`BU-`oh~xdv++SXvdhXF=WwyvS$a}#v#-)tPkNt=(<@HUCz4)KY@hZ!1@{y992DixxsclvI7UGC|pNJis0~|MK{(ufDeM>a{f!wFO zf2K8`r>nefRet>4%Em`-x2L}!Hzo@^+>PA;mO;(uF_V5L8_|YU=g5;ycS(!XYi&L! z@rQFpoym7(FE^hZ{g-mwZrK^sS#nzAhO+_p4h*yZC_rn`cG2Yx9r8V!KAwpcfQ_vU z-MRq1-Hk7GV-=8d=9Pb1zMd(k(JUZed5^Rr@CIGGYp18`$T_~YJI4rl()BspN&yZ4 z>`zYfD*;1aNG8v1 z0Xh&AsY~J@mIfeXn z0&oGHT3$1RP~m%Yxn~9KU%o4HhA6;K0??3RzU8cMFzru{@fUUqt;Y+wg2z{D`qcxd zsVfw}D91}htzdtcORZ#G|5sEq!c6Ie0l$V#{-Iqsg<|rD6Nc-j)@)^3-P)W4RZ~A` zQKB>c{xVP<=IX(xxkKuVZe09$3qOevwtl4q*uTyDz5$}LQxryD< zqU6)J`h;;S^GsS_`@1Cg*os8+O-FxoDjJqY@~`rB0A32?{)e9m@q|Y-F+{pFBQ^#8 z=14Rrw5?B>39J_89kh__nFuPwe% z=nf2fD0H@N(UcRdP>ocpJ`4khWj$`{Qzf5cE!e7t+*_decV*W@^=qJ-x3$*eg`E-3 zdqrDFAlpXk2?$qET*B#sC=>TUYWBb?wZ)JX=xR@)Jc%QKoM{f00?ZpBXuD9O-5*HHB=w10| z#-I>M^@Wyq+s%PzMr*5@g1QH7X4m}*>kDnZ{U20=o?8yu`Vo|y{AY0@FgmGAa`MBFH2S`?0Wiq7{Hq{3-=E>EM%1G_ zei^BK%ZYSKt?8J4`+Iggk2Bxoz++2b!R)OmX;j1&V@`L97qY5r>clM3OJvf{tv6^m zaw4y?sw6hG@NBi=JzpwG&?1I2wRzp}@GsB7mv|6Oj z1ZBa$q#N1wfVcvLT};w=8fVmf*YDmwA}akO);x|hwoYUYd!@)aNl7s4;leZLU!Jch zSADs{3YfWE$j*E~A&^TPztDs$B)Jv$TU7A_yD%q&|E`LhQ!8)4%Mn=mH~zKaG)->^ zTa>b=ddqPqPO!Tk2vtEIady2EI)VC5EDn8V)&S2Vy<74Z!s;zeQ25dnJ$Q$){mEgM z3>4v;8HbDCx1$qWa6C;{i~DPk`vLveuE_JD7O5t|8F-m^?T5Zy#91w@M?X8M#mO8v z2KE*;JF4D^Z?dPAbRqB~l7KTb`;JIcK>W6|NROHaUUt7m?B{&dT_V}jRww+kDW4{ReC9?Odp^0Vf|I$L3zQt`2Kj92t z)vwtSenVPv7GNR1q-z&+@A_v5#oDt{@quggm|3Y=rrmM#OZ)FrK?hZH-%*5dDPO(D zd>kFPGxYbss;H)8yVuWKjQU^h&p{C%v95XSg4hHT44e@iW@b;H20+Mu}NnisNNB4002)g z?Y23JkAwe=SAej--CjfAcud7~la7AM8`_}@ay~AuU zq2|%l*b-E~@_J8d)E(o6bmsHHBiDGK=%vd~tN!5oGld4C;XbNZ+&*j_e`rp-~=I&LG6n*-81c}S&ftfPH+W7@I$9BiJPHIARQ#tpaUPzAF@O_in$-(AkBC~9 z;i_+IV`&4|I#^cQq(*`{IT0RHKnV`X_5;;I?H~TKcGYW`Bn6@g^aW?X?ZiFMIkxCP z)-FP0D3B%Sdgu0e%*wA@``jgEQ6Rt>i$uF9mLcQyEngF-q4 zS!Vurp=dQ!oe}p-WXjVyM;8UJcybyI?QSS`QD-x6E`4u$1-wl?P0Q%Qd9Puza;LF| zH3S~g?LbI(&Iih7NS=QfpC-W0ynUh}z{vAwxAII#62OfB?COw)-H#ZF#mha*jEMoV zVl|xcR~hW;XT;FzRhLhB8se;h4l5;^w$8BR{r};DE2#fW2_ME80mGmRQ9jF4UJ)~( zAknkcTNM-UH}3t;kqk({Ak|Bg7|3BT>5e=8X+(QWO(Cu;jaa_|w_&B5O4Zq$>ZH@}BHW+zXgGUv>b7(7Cro zLzomghHnB&Ut1wI3a{tU5HkgTjpgUq!hl%7(B1dvSctBI)q55MMd1MT_Dz1aj164f zunTcjnMF$hS2rH`06$LO3Bbk*ZDtl1D9Pj+nC}-Ha=z^e#;I-&FMx*LWb*mxAr1v0 z$B+bu#;&WYvE<3>-Q9tPT?2pCqo{U2P=m*dZk4>x(*@7c^V7o;v96B#to}O-Pp9uCS{7h6zBwj9LI=U~avdI4rT9OaS diff --git a/pub/dissertation/dissertation.sum b/pub/dissertation/dissertation.sum index 081381a..7dabb45 100644 --- a/pub/dissertation/dissertation.sum +++ b/pub/dissertation/dissertation.sum @@ -1 +1 @@ -2627 +2621 diff --git a/pub/dissertation/dissertation.tex b/pub/dissertation/dissertation.tex index a994428..8bf0e68 100644 --- a/pub/dissertation/dissertation.tex +++ b/pub/dissertation/dissertation.tex @@ -21,6 +21,8 @@ } } +\providecommand*{\listingautorefname}{Listing} + % Taken from vdmlisting \lstdefinelanguage{VDM_SL} {morekeywords={RESULT,\#else,\#endif,\#ifdef,\#ifndef,abs,all,always,and,as,atomic,be,be st,bool,by,card,cases,char,comp,compose,conc,dcl,def,definitions,dinter,div,dlmodule,do,dom,dunion,