From 828edb17cc3078a6d20c0ce7735d237f75c88f92 Mon Sep 17 00:00:00 2001 From: Anthony Date: Sat, 18 May 2024 12:25:55 +0100 Subject: [PATCH] feat(dissertation): add what next to conclusion --- pub/dissertation/chapters/conclusion.tex | 47 ++++++++++++++++++++++- pub/dissertation/dissertation.pdf | Bin 848008 -> 849367 bytes pub/dissertation/dissertation.sum | 2 +- 3 files changed, 47 insertions(+), 2 deletions(-) diff --git a/pub/dissertation/chapters/conclusion.tex b/pub/dissertation/chapters/conclusion.tex index 9c9896e..930be58 100644 --- a/pub/dissertation/chapters/conclusion.tex +++ b/pub/dissertation/chapters/conclusion.tex @@ -45,6 +45,8 @@ \end{itemize} \item Objective 2.a. was met to an extent \begin{itemize} + \item Currently, the states of the aircraft monitored are only + the actions specified in the test, in the checklist tester \item There could be more variables that could be monitored. Such as engine fire, could monitor the engine temperature or thrust produced by engine @@ -52,8 +54,10 @@ as checklists does have a bit of logic like if statements, for example \enquote{If APU is available, then do \ldots else do \ldots} \end{itemize} - \item Objective 2.b was also met to an extent + \item Objective 2.b. was also met to an extent \begin{itemize} + \item Currently, this can be met by re-running the test multiple + times manually \item However, it is manual at this stage due to limitations of XPC and setting up the aircraft \item The test data is stored on the database, hence test results @@ -67,6 +71,47 @@ \section{What Next} +The most important next steps to implement would be +linking the formal mode, adding options of what parts of the aircraft +to monitor + +\begin{itemize} + \item Formal Model + \begin{itemize} + \item Implemented either by creating an automatic wrapper. + Done by either potentially linking the VDMJ LSP, or creating a + plugin for VDMJ + \item Or doing string manipulation on the VDM results for each of the + functions as a lot of it is copy and paste - can be bad practice as + it requires a lot of hard-coded code + \end{itemize} + \item Monitoring more of the aircraft + \begin{itemize} + \item Done by adding options in the Checklist Tester for extra + Datarefs to monitor + \item Modifying the \lstinline|Aircraft| record type to include a + states type that checks multiple times throughout the procedure + if this state has violated a constraint or if the goal of the + state has been achieved (e.g. Engine is no longer on fire) + \end{itemize} + \item Expanding out of the scope of the objectives, + adding logic, such as the if statements to the checklist + would be the next logical step + \begin{itemize} + \item VDM-SL would be really helpful for this, as can be used to + design logic to be used outside of Kotlin + \item This would allow for further automation of checklists, + rather than only testing linearly, which at this current state + would require writing the test multiple times + \end{itemize} + \item Adding more detailed test results + \begin{itemize} + \item Use analysis of previous test results to gain an understanding + of the reproducibility of the procedure + \item Keep track of aircraft state, such as speed or altitude + aiding in understanding if the procedure may impose a safety risk + \end{itemize} +\end{itemize} \end{document} diff --git a/pub/dissertation/dissertation.pdf b/pub/dissertation/dissertation.pdf index 80f11bde7ccf6d2999cb31c048bdbad1c8876243..cfec2282d02803847ffe8351495311a7a2ae078b 100644 GIT binary patch delta 37382 zcmY(KQ*bU!u&!5Z+jdrL+qP}n$rszUv0~e{ZQFKo{ilylz%ES@Gc<)#Zq}UPx`Wy&_8iT` zh+fV>%94pM9ru}kYMrHmsaDhj1{kVLv4Su2&HnwO(Yy8gBcI-CkyIds8ngrywgmKl z0saq={{a0Du>S!64~YMO{12$sB_L=cM*#Ex5^xy1Gj@=zVOISNqUw%J2{igIFe%Ui z*cx4%QMaDHtLRTJ)c8J+greSf8leWQjdJ#Wm;TbzX)#60&lBnts!#SRhwl&l->=M{ z-_G~1bKj5qG*c$4mmS*0PvZrsq4o2I4bOWsuijrr)d?R;QvxZ#xqJzFS#sQYt7P8A zwNa2X_tnQs-s|q4jI2Ry7qQaPDCxIo3=j0`?Cz!Y|5u@s{=54d3J#c5Fg?Xy0zi z^oLXq?En`1j+5k`#D}3S(XgAS%6$$j+j!FXEA?65jpm)_wgm`a%Sp3_s*qqgl_$}t zeN1P(OV`&VO!Q{}7FosAKtDr~(p2-L&BS!07_~c4&E)`a%x&wHhg%4t@&Y3_Q=y?l zj3Nn?vr&O?gx2P+iXTNDLs=l1C}`@CqJ%Rx4|Ef4OIUJQKRiAx@DJNB~-0%nKQ`I`{y*!Z~zRB;1kWerjKY;Jd4)*5m`6;WX5CYF!Nda#zjSRv3h$ADNS%O)8lac~C>p0m6DM zc)I~03|;*1h#X`^?xfc>OuCE-C-aq zL1>hc7Xy1*Fi26lm`rzBQ>A9opJfP-CE}}HNaSY7K5wlmlU|Z zB)yC%2h{tp=x2=nj}~A?tEAqIxwQfStv*p+>v~RozNjjVO4G@rj-K%4CsTvf#mLZ_ zYUz1qxoIHW*-($wHdG#S#JxFe}O0EatSJ~2XU7A5P^5MjcnaRsMf zDdo^ih8sZ!(sH*xw^#fn04#2RSoFnBEc}Lu(!S9?xQw=vTZ>8P_6s<&1NVFTQu@HU zgbXDb15nwD>g!h3+ZL}GANHb9qjl?~A6bIu#w^dlfg>RyF&~#}x4upQ%3fejx7)U? zfA7AmfL!Eo(9@5|dd21WB@jm1ddMSHXMi)o)!?bvxq0YO(7n0#5GOXE5Z4Sa9|89& zG`;|Ac5RT&qW4lf@`^`S<)hBekg7}!T(>i6kdg`Z_B<5k(4iXPusPAxKxQ=Xuh8U# z6ImkCWXZq#dkE)cfBbCLb(y8fpyr7r;);cDaF3~G!i^lWXv0AqS6q4hV8CV-gZu=J z5bj})aD{>drZw0OcRw9~LQUgF1eDYNf+4ej2h?g^`pp{9NB zp%VL`1axNM(1n#~(Rq><0YzX-baRG0@7QL4Eye%UW9xg!@GO__oX(`OU}X;~>+IWu z6wm$-R=4RET%9L&0!2n^`nXTG@Y=5cY1`vQrDAU_9&i2fpCC1WLoR;FVL?Bdibh2r z*~i^kvEd~L;%b1xo2;FD8`TaKJir_yQ$hMkapZ2BNDj@JQZugX-@jAT13d{vI6`zp z2qh@jX!d_X6Pw7M2bWumo}H|p+g3P4iq{$vZqGXjl;=q^uxf_@AFo>WQ(PANe4?CW@53dF&f6a?j8!1kA}Om97*!TN-!1?jS9Plp8A zI7>V8l-}JSqOm)9t(TzyYUKt-X(c*T*>%Thm*B{NSMbAet1%hxqrQ)fCofO`eZpDp zm(wr8;CG*XhBjCyjR*%CB~8-@njFBy z!o>9dJK=7v>6*(nxSdz3FW}K4z_>uXXnW!TB=)bq<$p1aqtSDN47)!Fm1yyo0gPbhMkyf~_< zkYX+=31MAu?vAYF6TcAR73$;HK7X$XmEU2ZK13ZF@Q<^+B|*w zWZ5KpKS$t-$xB*Xv`=dEa$8yG1C#>fdZSGnAQL#4wQI}b04x-Zghg6_c{4msRFj>V z_c1)IaFVUZya9ge2do?Qq>1v>FYY|vP-|)-R(CE_Ph*02+gv@NA@iUHR)#$&rtWb=qDGR zwJ;B~Eq(qcKuFy9WxunLV+;$UQof_JTgWOa<#``sw^)j(bM?bauj;36vBr{lVy{ZG zX?yw^oood8M@8QK`2?)??9RW{QU!6i9xCT+IMXQmDUekg5>vgCyf#VM7rCl|jfH=| zE$UeH3AvGnDd`4&bC9{ESG4VouC^<#&E;H&dRKua0OG$gRgzBK`@aq=kPV!bfU=W+ zJ9E9ogJ|Uq>p;8be#-SMBQi^i5TeZ`#Q;i5e53K>{^EqLj7 zlqI?)0W@S#tx5A4+FdBw0|kt@(CRgc?Q-<;gge-CS4B~ivL3Tjl4a}1I-f|>SL2yI z2g(iEjZKZbn&!b#rKGycGT9w-xY=m1jm|YPE^Jg)`5xWka458tI~5YBwCJhKst`p@ z=$}nuSsw-4o5C(0a`-I_NF)V8I`&?kponeQV>T-=}#A52o$$2^!4 z7b>Yn+q`=>=5V?+?455NCGIX{yLLtxTxQ9cU5wt(EW<@q&|u`$UO}F)DjZY9DH0a0 zfTP$4;Ku46BM(3A?MRhfXMsYR2iCY)lxC)pxtxU+#R=cDEvKj;3EdJnrI)1t%7%WH z@ZSR4DT6hecy~Tqy<~&eA|k}7@Z-t@yivj0RUZ-U0 z?I_Bwx$eUfI#Lj9$n`rMC)4K3iB{JqKw-CA3RJ^IBLQ7rW}F~t>Q5L$mf)GZH z2Tm{@gJ=q6Bwyz6Q&x(pAa;?(0J9BlXoH1XsekU_ML6=Ezi);APmRf$+6X58VyBv_+Q4pZCwMyJ(nG<03TS($i4Eex&-W$(wqrt{S z!fY5N%Dt6C->Hf&?NN4v9z4ee0M`2&cyn>(^AO(8^M~n$tDtGq<_;WqZ@D9*_8Y(} z-r4g_f}Q20F7Pi+qMw7Mf%6!=cQOA}jz_Ymw;+K5eYN-&V2SQTD)Beh=20C2X zT@?9^_BT+G|D4-1Pma=5V~KPB@e2`-@`=zF-C?K7&T7I5PTJxJ+#2YbP5Um@&F;zYtuQUsiaLz$4_WkhlzFdD3zFb23 zTg}Ot@e}k1^(QP*wx9}%v!W^(m?SreT2tBL09yhxBe_dG`#y)V+=iZ7|YR!bG7bySJs>1bA#BHSd>;yM`;7dvKo(7tYc`vvqq{IFOaV99-`v% zoH-%xG*|8u^ue=tXJ^|Uvz0S_N94Q!g}3omwbJ!x+Qu=Ll_)n!Q8De<2l&I=V8-{R z6kRE}!Sz)0jNfMdeCvYeR^ex_kFhg)q)8LY<#0CuUerrS*Oiqn?G*b#y4djw0O+Y*DrPB)NRrWN6~~2100vM+hUQz`t-_8= zW%Q=vj!(|vm@Fp)ttLDoi`nOZIv@mGt-wFv=s(0(G(`TP^H8m)YpP!*b+DLJJf0 z%Z*@2qv{wX=IE3`i~-a@(@Kw?k!&0|6>x_WdrUavG*}($Vhb!mp$c7@wm=|L!{}#N zGC{9>*M!(-x&5+p`Fq;XnX=;%K8MuKxO+rd<%o?%pk>;H9-^Z5(_xQ`CkC@lMjEli&0}EJ#W(HCad=MC9f(It@ z!G6-Q<0sS?R*nLBV z`F(wj6-NR7c0lGmTGY;<=pDKxG9XvUVSa4=G_pa~iIH6J@awq(@R*#a*v~z{=0HjL zHjF{SZe{VxYDY$gjSYJ~nDSt({2V3#XihP-t~GwsGdN4MBCPb*E8iXH9YY@jPl2+O z&;yk^C6KsPzCPW4EK&9tfU}G~;ah$K4(=Vulxd_BL#>*52_BLobvgs;(Pk9M-soZI z8o8`K8&%G5tHP7tU(h|Cx@#yKOxYCTFnm-QItQTEQwENC`Qr)mN}g^^xbh&?C$O#D zDNgVke8LWSEiA{S;4?mNQ(+#2Cx|ipMC8>04MplZBh;&>JrjOa05!f48q26HS`HaO zWaJAi$SXnuULjbJe66ym2jxx_A3wqy#FRVKv5^?{y_y5_X1YB|8*FIPsO}$u;4Lp zEvcflMpOCT!Ct&PU^(+q)G;PDCH3H9OLWhCHh*O+$O?`IJYTV`Mn$K*GhcQ7o@Y<~ zcv7?0=OB@a8t(5QE=NzcW{Bk(X>c_QJuGakf-)a#1iV+X9Y*pE-QrM+4?1IMa(qm9q0_=W(8D}uVB zP-_Jewvf*{fKI>$vqVd8=h-c1G>jnNr~#`+cy_o%lSt*uwCCd$)ctc)%?;JJy1WM zR^`N{h)yZ{1AhY|PXmp9^p2bK9ZwymBYGngbdXB{KpC3ocog6_bqPm%&8;5P&mG_U zs|!x?QH~#H*}E%Tf3niLF#P+{t=N%CFhX~3Xfl_2w2RvC)(37qHNe~fx_A~wZppEe z>#CwUK6rh^i6Y|&YO1{C5c0L>aP8ZsF})!XVv8z2l{h<5vOjuxGZ_wb={qnRR6AyKZh@{L#Bz zR`JKY509S|!+(XKJC53?}Lg*y~% zBOCd)pf!#R?(;`_%m^^v?h`h-S-&IP2twp3KFO7>KjkO*`kVNedwgugg=gP!?$*2o zz<&e#2s0$F5rB*L$$;UX!SXp0|N9Qe>$=+$D9mKg<`I~Ix=3$CSM^J7|LlGMejaT@ zGKT{lg6SLr?RN#TF$opjTfRCuMmjE{{-neozOI>41_|92@UY<`F_`pqZbL8sHvkF# z=P0smjPdRkBRNRWL*Ay_YuVPVH4DBA;M=(23IS}KP(mgHi7hAtBoF#m7$EW1Pt~Pe zjgC>ddU)>Tm(Tjt`|3c`W;uh0C+tqbJOt%tXmIcKeqqL=do>bu{_v5H!Ak2N0CWUA zhmLf`0A1fV9WglYYuT(l6(=%j(GdAN-_&fFbpCF!s~sVRt)&OQ0asF2eGfFGI3 zr$;bcjdP;j1@`L5wpDvvf5V5?xHa4#7iJo39x^=0O~r(PX0FroU8TMmG^UNe zcEnqm(g&xqwb;d>#mfCOX78>6sKobAqa+_Pqt}ko5OZA2HPoC)4hZPQuO&JOOGuj1 zVtZn60;fMv^Ird%6aMtIX6Fus5zcwV8O_|RXe&Vjfr}=*}m(UN#EU1>ZT8R(T>x{Qth*483oY?cM}RjWOIR}R6{SD+yKaTEsYGaTeq_bZ_dP2;EG-Ckb}OJfo*#@G^=#wm z*dI0%@rzjtcIRjvkMn@e&RWh$C+NA*zDfM4sMbf(}|hXfD(%*%1q- z69$?hfgUu@7>qJb`7@!lwQpMCuF>#5MHu^Ok6T2il2pNee@b}|TJ3&ut+7JC)^~fy zz6CY&f?!CF4Juvn%l9Hj0ui(0acQ}DBtUq??+yuZ+rkFo9Iic}())c`B$QbC@zca9 zVUz(DQ8fE!-96h>?=KGUM`!zCWAV2rOzaIWZ$oD$+1H+ft4!Kw{`S%BxX;?Vy>a3> zu`gY*oiD3#WdpA8dZLMrmTwAMGEtvq!vQf(f{pl8c ziPztVguvNyw~_H>Zo9pC$|g+n1$o6-1u}f@nHgwXgGG^69x5ym%?^vc9=`k(9!^bH z{C%Dg5Ik~sSN9cn#Aj%+bC+R?ot^T3^U^Ptyt?C>Y1R>0SK_)J&$-lmX{6IMtIrjeggCyhXgYD%wT|Axozq_Y9UJl` zYIRdk+*5YP72a>GlZ(#!%?cisSG%|EX7b(M4Vne2S2xxzBi<<#*o@xP@s#`v7U~EA zazR-<-i+IGH+GgYF&?bmgWt3a8>aRhd5p`5e0e%JBi|mozkdKlvHjz$dgM}0c&vC! zKb-QyuW6!2TpxazYlt5$8WEvA+Gj(#g;t%jqB|DPOAa+px!FL%#wAzCz)OFnXA5sv{*3T+*2dW|Lp>f(fG|ER?^zCG|VH* zgR7s%Uhp@V%|2NBqCd`Yn9rwQYz6hKt+maNI;9v#=$9CotxAPXO6#qIPUur4(^u8+ z&CvCOrb+v_bY(!Qsx#QtHKQYZQ;eo&D|y6*aN@>G(P{~Y)LM?6Q)z=m)a;X|E*iiG1G5KyIf3ob;L90 z)NqbFDnqPkV$GasmcGs>nk;;WSjNZ9rE98u#({dr%;fv3d{J9zRx%T~z2MplUskPK z!k1Z-fE8Q3w&Do(E%6#B>{Z*8We?4WQnKsXFt}{$vT=ArFg(v4CDSBroN89%{7-8r zfg2p-X07*VZIYDPa9302(j|g58Moh09P(9mF=I1dQF2z>B{dkHD&1rQm69cHhQ%DaxorS+d$i9nlfj{@ur{+` zq1)u)kQnpivs?FmkH>PT*%3}w0m<%KbU9gztcFpAsBa9r>|Y==Q&zLP&(dX2IRx&^h*qIGDm3e6A!b{+`pE}}u9bdn;=eRcOCpBf$ud-FxpB#@796nlyvZLC6; zaIlXt=imfv$`>ukd^(-8d({C#!`p1dptE@t+IbS7=6%thFT*aaYf!OY*T|5d^%OnWlFao9W&$RiCs-NRJfM8${x5pE0ZIimsP-wrvQ#7ujj z$Zf!7!`!gwu*3Ufu^1RzLU%FqZaz5)Shnfus_Arn_Io)0x~SN6nVhuy3<^zxIVkx1gaaA3 z9vBiN>V$`t%p+#DN1FITN&q1n91c;9lf%J9_7ru#y&$x}UP4>~ zkWtT~Bll&;ChB;3`aFN1Yc5-qFptJZn1=eM{a7$T*dX+hcF{f~TC6PqAPDUST|#Dx zPvCFEG7+XhJpG(W&chW<3aSU?vTfsK`f0gwWj&Qx_MfXOFfUv!R4tI@2Ncr?dP_Kq z7YT8T(WkRT>yiCM**4YE$>ggMv{wr{Ig&eR=wMA;*V(OY#~sy!A8<%g*wCs3~`Z@N9q3&BOdBcM^dDe&vx#tOfO zE~04uTJt-8551y_QducPhgNM38HMv<6j9G)o(U`N6v7UdAj?t$q~xa}&x9218X(c8 z$xqa-vfHo=7ftF(#ALrfHCMt3Oe0)A?XYXW`! zt}D9Z5S$o{3Ge^%^{i^{7U!XZ%pZhLgL@Ick|Yu^c+@6<$6;*zB`->|HC?}V4G*vW zjsdsWS(J&Q|2+~Xjj>JKOs)ryk1kh+Uab`ZR^!?K#?Am7OFl~0Y%eHzi_&v%E^hte zfnutU%)^XJA3x8Ltcci}-e4h>LtVDN;B>Ou7{mB4jj8ZKmGm1Q*r+ z?B$sJDvHDm(HGqu^pyw45b9T-VYh=jYzT48!$}69z6tcgAXT8i3g0t0*9Wv~Rl8Yi zZ*#89QVYM-ah=xxWmiXqQ7~+-j>e%RJ#Iyr-ERHs>%TL{g-mk2i81i) z)R4*Ml+tXD?DUV9#aEa&o4+#~`T7-9|4d7pWrk4)KrBT1DbiwWyGYi`POB$zlRcA27|1O{e4dm2G9U+;%%{=ce=Rv7OV}W zCIg=r?ya%kNr`d{PSLJMBJIemHT=Q&Iz;AK*4R|L=?*%!5 z7#cJO_MKi4Nx_GXEF;EKi^ODmYrI=5vNWj)wkW)dvE4H!JF3P_*Nn^|`4r=ybW zS^>bbaf zoT;Z>_v*yjKq8ueFvHA5$U+M+`5;Zj=L1QpbY?=60M?MH)}VkAL=)5#8a)t=PesZx zZ~Ci>a2<#nq3u^8E2WYbBIL`O@%foqL%%UK$idI#sh^TvBKV&_!@}2_5>8n3B*#@L zHM5E0hmo&k-}dToZ0z)?W8+0pZ3k~W;NTeU!WqPlD(G5ltV@!l=FtZv$HhK46Mkus zT#f8GyBwm!HiOqF@C6$LdVRM5R<aH+~@^V-sr$c$&DKW>f~yGw~I|%FRxmzkp%( z*hw0gAvm6*yg^LJ$w{7d8G%!g3eE_TbS;izc;kYy(wztTL}Iy3WRRyP=+iEmGah`l zIcQ!;Mt^NLQ((BusK?NbQAzsq3VpGJ@I{^WAf#ag`Drlyei?P(v_gI?wjW{8U~x_j zcvV5n3jE*>c#i_&GE-;d{k5Qe1o$jcY-V`#qMywbYdbrkQjBO_b&GF`P5A15oP7u& z+jZXH$^=^H!^8^zgs4q%Zz1RD(5hi1Wu2p=yFMI0n&*8#ubY>tG}5L`3jt|W%-0*d zA4-?N$B;#pPl%tsmJ!Azn{$J;>+MVoy###U;jTt8uFL@{w0Ck$Xc!Yd?d{D<2c45d z#NS^^BaU&?=4O-bPYTx_|wIGsNLEMVUF8Kd=0`cbF?1 zwBM1B{NlC`bI(7`H;lueb}D>TI>Kj;ugyRw zgB#m}_OQL@ZjG3;Cyk7M)CjD2@M_s<%;sZPTQQ>EU%Z>^8j9^JceR}9Ur2GBp>Il|o9XIG8Vl%&7$R&ioA3T2jYfac@JC*x!00N~K($m6aIRaCA_LPh`T6RG!37AV_}LiAL! z(c+31NDEk?<;1C{iR6gO756GwspXAWa)aa(VUe*$$VP=Kd$VzsSfn{pgaj9fFKqZH;ViUWszgLsU0UFe zj87H56-!OIMTtfouZ7zW(FZqy3W$(|UbO~aBnAuMlSYl^DLkBDhE9Qw8V?p{NQN{J z1*K|jqMl)jGL9x>&(}y#JVY`NAJ(ow(t4OW!%A6I6LEl1@MkXMYvh3Yg#@^?0P{9}bu5rH^w$%!2m^bbf%4JE-e0wCKbh!qty z#{{Ei2;*R4i%7CJ=3xL%#6&g5UTDlSMztq#>u=>DaZ5Z)D5lSxg)44A%wKGfXRDe} zm<`s$nT!;TMk#&(O5w0sP)j_%j^#)`3pEf8eG05jeK0}RY;ymPl}RCurZaMc$xux( zWQtL7zXHOfhL{$CqsHT|58!_mCazKr%!ofwht<=REdNRQiy2i+NMw69 zFj_dt!luyY$BMiIYA~>2Bc48-41&Kgm6g{vQvL^;k8EbqzcVB@An;F^i=dLU9`GOv zg_d9viO(ClK^vlG31F{-0=lqg_+5i?3J87eh9QKXI?fXLK6&E@GMikM!I{#bhXjbV zDIHp|B-oE^W+NRfFd~AgTFw>{#lR)&wyh&S%HLv;-;rF>JEs6$RU>{WGhLZbRjHa# zBsTSh9K^Jm@UFLEha(7L1seHWo(8gJ3G}r0>tRrz@B8UI4KTawbANcM@AvaucFX@` z|D&93?fH4oyZillh<$ZZSMCkSTn4JY2&2fOs zDjdPH<-Ki{JScO|{p9D+HrlL8%N)6Ikv!{H5yB7_;dHqS_emw_p22@RtI{|BEr5q>syWI!ZyVc^(YOFd< zAWv$^OB$tIFo=66O*{6`Kw4`dAX;H;Vn6=F0H_zMS78iai*0(xW@ZFj2v2*fnzuW) zZ(C$3)n>5Y;}L*omb_}3by}UkQ6?mr9T()n$ArD$DEDe;&ug+Pte_=-IU12ITpD_+ zq+WvCY&T7m(jp`ljIDkKJ$uUmK&0Tuh72bac=4Eo8MEOt3NYovBEp=wrg(VB*D{|i z0A<2jah8Z_{b@J*rDH7~mlV^}n@mgDZqw)R=_`dv#`sDwBH*%-Gz-=}mZeL;7`&Ed zgiKb8wc06w?;emh-SS>NA06*!k8a1W*hL*`dTYn#9s%}Iw2m)dTe1bQt-o*(vR)A~ z2njj2Ew{VUh%nizdYX+x{3RNISnOi+R_cW82}Wj{VUm*XZ*?ZvK%mx)v7m!-qNU$g_Y0Z1RqK7&j0so&-5F!z&bbiE02_lsc$SgMYeZ3^)H zN#}~kC^qklmHIpT<xrum{U+jfO3&PM*h%ur6c52Nly?kP za_#j(P4B7ZnR+VWj58)qtNGr3nh?^|=`I=9i9gVJ$2>3#(qnkgL()qNvt8h`1}y#( zM{+sAA6-oI$>CJ94B(GRc0R0kB!fRfFdlBqdxJV#2>2XrcS>2M{Dzqv9PVA1)UPCn z-{J5mNSV9r9kT}Gg4iy3qq&}LZv=B4RS!11y%OI(Oxt7rRn)R^^Bf7gAOdn!N3`TB z0Mun&p=tFbp~E2M#2_2|xw0?8rvJw3OgR`>NqqTJ`;O9>1K7sd?V{)P>O5QNhw->> ztj4hoSRhMoUjpK&zrLccw!T3YtK{vak4w5le)p_P!LhiV6w?3HekV2l0s9d58x@KGWadBYRt@f+GVryJO>+1qiuE13k_pby@12IO9) zKJq5X_8qVL6o8R+DbX{u?n)RJ^AFx_JlThiDgHFduuhRo+W9_!2VCMVpv$V&NjFP) z{+lT>jy|=Y$y;aK?&$s?BIv`FdpU-I{kXr!L#v|Z!KWJTZA8|qju~r360j4Y1j)@p zA0)`2(9I`peMJL63%mCv>ZD`ALSctTr-N&c`(|?fuOntK&)hE52W!eCs$es`CT3P1 zjNr`tt)6eTJ3PippOfdzlgjp!G1lYC;VnBts^Ufnq!z+4IEW!()voZ~F#cTHUSBaDRr&y@>bY1oyrbnB9C+#HH z6Pts(SY#t+_WQ49%+f@aL|Rmsy*zL&=R!=YW^|$yGv=w+LezeJT=HqRkj#uAan{<+ z@0UxrLrsERNB>_gzEHLO>J*%YB$}Ci9xvnU8zB8;*0A`6vNBdQVK|*PjCJr|u1zyd zCwKQ>Uvt$&E0bxpR?=18_oY_^E6LcY`U8zJ=lbqK8p|_LL8-CKs<901sX`mOdeMe2 z_M3OePW9nhg-I9oj52Pyy^*LcxFf;;hN(>BYn$&0;lZ^0{)AvMGieH)`DbX49R>R& zJ!*mo%@`oq7JxEwDpQ8QYi)%vS(FVs^2I)L%wTY66(AjO$l(~!7a*yfa(s3P@|p!N z3)j$ZZCyD%OHX%6m8K_W5-4D#(#0I3;YikQTz2|JEbJ1j;?zI<-;vL)n9d;{^j3YO?5ri z7iAq;)?_BM>vvQ_W3QJeHkTH3UPi8E)WkS_`7g_|YBB9r{PiA{eKGx2Y#G{`etCQJ z_43^%=x9;#tK$L8J^Rr-Ke$Z!^jmfGeZHMVfTcb*dBBo1w|BVMbh}|Xm(`hJJ_r3} zb9FCGd%sd%Eyi&*jZ#)hPdeCnWw(-ynQ}f@8+)g$y|BXmXdu?Dpy9N(_cCgkDW!0e zSpL1@5m|dz`cCz7du>hXJPq-)p=2Z#5d5S4XTzTZGS>$HveAzo$n?*jLq!DiAlw@S zY6xl$nhhsxA{bOtb|^&687xsjQlMo9HF?0j)kgO$CCN3|eg_8@-T(w9m@U~NBLz2WEMgua*Cu1`86o7^ZQHc zDQo)cYkLpQvhJm2##CY!YYuyb;?ozxM@?SQ)F%Yx*wo?wh!hbC!w#6V3t~VNef0@R ztFDMFyH<;gM^5~g@KL($BHkyN5Ge?+d2|cYqppieB@tF{4v$Z6Sg(C+!yS3I{OoEe z=4fGiI91Nyxe?y|-_L3|%6!wa#KUVxWhfzSZpD84MKomZMA&NU!O8u3_boLJMQi0x zS^M|b+K3d(iGK+}T0bB>xJx@NZPB75hxf^-9x@nmw`{6xUUz7@;r#W)%kSj?`%udp zRXtDiJTLjw@QpF2z9>A9=k?sEZQ0jYPFNL3eZ2?@ect8Rs6MBLhoR*iBMqzN8sXXf z_~iKBN(*09GuxY*he{!lFx6jaNJ4r@39*540lXfzNfb7jxD1d;7?J{Aj6|~SDb@af zKSWzqCRpVTVZ=N4WW?u&VC0ItL#Z9eG$g^GOoKSp01V13dLUUP$U?Hu(+Fn~gDD{v zZYy}FLh4a^78HEi)Q`f$3PlIyJRs^spu+-1M@6%jOxjVtS19R_a8?=^MJ{O~7>6oH zB`61m5rI$TA|sn*kjexzrL;2GZsDRe4~xb!Ex{tZ%Q`K=gYl$0C{wiPHAoMmn*|<( z!Vovcvj%Y1&CAIGpO)_>*!SGfvi|uY4E0NQf8V7y`USE2A6avwVJHFrJMxkhqYfBQ zLv}xD9ykV>)<|Uw2?JNqgI&$AatIVQ&(KF&mOl1+ciB$&`p{8(NLydCvo^V<-8XfW z5sY5S>?eZ=hT82ac6K+s^}QS)(mEoFkyUl!i|_RHqUbV9J`26+YxJfXo<~1_-Y#E% z8oSW}G10qx-^V|?PxktwI$DbF%yI+-IT(>$oA~&x{rc|H?P!yx|A(-*45}np+6HmA z!QI{6-4AZV;O_1YXK;5I+}#=6-QC@t!QElGcVjocci$g-e$DeHgv$Vh`A>T z=bKqp!klD{qy72_AJva$A$J(QtnqFMA%c{Q8xMRcCk$#t698~scnnGfjtWD1pWKpg z#6}o?2D3pj6N)5{VL_)6Iv2gIc(Q*2HsOvy-V|gQFJLCE=gorcJRaduX&Qo%9+nVQjm95ZHs8vu#0u3a z%Y=AgEn!DmEDh)%N)Fu{NYNW88H(+J4Gz{DNY)!Ds*Au+ZT1^Fcnr@&X~xI_8O{#z zd%s>FnUv9!63%6BE*S$qH!452OI9$nluifEYlytxaqp%StiVK0@!j6 zHsQu%%u>#4J4fUgapaNX6Mu1JrK1!70dL_df-8RrWGG;=`}L0W_0EiIj6TTabk$20 ze>WD_%Lvzelp%8a#WYT}i4fh%=;XaR1(rjO0#{A3A**uCmcCvaEP!_4C+ATdP=C|? zBrl+E->0*_9_`3fdCd-WHxw^Dg3|Ha=In%3M^|i5xMT{771MTEPVRI4{sBAa#af_i zQ6T)fedOuq%k}Lm&wXR^?7kT{usK%$Eo&jah)n0HIbM812Xpa)Rat*+pIE&@IPBVa z$|r3@exquASNLhX+kH9V>>RM+dzk#CsylomC$I_-7y0wzg1VNTS2V7{bztS4Z-6nW zNU7fbG746AA>@rqa_(T`XVu&?K6y?k5kA3xn9WWdV;Cs{$63r_0~bUOOo!E6z-o4B7XqT}z1i*jaSWUAwz?2oGch+t$Yr}QVc z8)EDp3c?hC6u>$;paq9wZAdGut!N1`O#q|Cj@CduK^^>ur$=>flsT^e9c_NZGBu8E zaDd$jm(m5jAX^fdW=eHm!37bGR|P*b2K`qLgER|9^d|xuUH>}*ow2BEU_B?l{C52P z6I)E-ZAymyjnibx;rsgJ(Z7ujdcVLATt>Wk%~$PPN9+{puTL;y!zb1M0*re6{{onV z?T7$j^r0)?h}I3$@CD0aupbksK~;Y$p;PZy;CRMNusT2f`G{fhExRUN z*=k>6PsakF)VbPN?@zLe$=!;y3p$BSeySqHoOj#&yqcWv{D)jl!6`(LFnM$P&?)3v zH8-exN^)&Z1#AY|MwwlEe8_N5gZ@ z^`Dtd#mKYwde2>FR7`Ilpe!Dv(f?HpapJdP*#5`&mZWdJ&Wt{|{XuiT!VI$m@xjquraC z)ABCoqC)0I(FJ&!`1}&v=+}}i2bAHbPP9htNq6+3W}zU9O7GycuN{%RbB%k{QLYpacgN35Ic zY@&~`8_pP_YUdC7d}8?zN7R4+@*J1{mT#&(U}4!5941EC{`Hybd6)z`R>ZsUE(0qp zHyP_qz0n6*ACkOTiHm?Js>IRQG&d&BGe~?KFy^?ZQww}ETZu+npq?zH!i3)u04hoY zc7n*nZ+fFbs*T|+Je27|1^9dg)TC4Ju(51mHK+(OkCnhuXYlVnE6n~kqxoU!QiDwY zosqa5YRP0HZdP($(%B!4Ge2OHV|S@Tgv0{Kg1KaNEHv*Sq<|q1Qn&)~J+lcrurc(o zycl-Ux%7sFNt&qM0bIhe0aL6qMu3?F;SzsL*}ey z^d}L`fJ>IrGzw*^*9jG>aNfMZ@0LUCNnD&mP;fWeWJfm7!R;sUTO2%Kl5|rNw4TEy>uNFu&5OyON8| z;~D%=$I07mAQ1vD(|;`}KKa{%{wHE5&DyOoqla91!s)xE)1vY%2vpQvKU{stX%Om8>3=vIHzt(J za_e}%oux7!%y@X*_mBydZ$FzbVqr7$TV29e>^s#}wDA(W)yashUe4RZ>k7)&dvy5xsb5(7s@jHV>bxlLK4k97 z-qzQf2G)`4D>S52hb^J4GRIHm@==@XLurnP#;A(><+lWYxgbkeAa2SXG`hiCUc|s4 zk)9EgT9-^DHSP)2*8C=1h34V$fC(k;>)jNF6lX*t8)x8&g0mYnL>I^A$qJ8Gb-|I4 zmL$dB04Ik&B!wYX!KQHCGTl{Axslh=Kyq08k z3<9>q4@tcrCgS(hWbsiWY-7@e+lJn0HurgwdTWX@`x|JTMyQ{lOR_5sW&AlFZR z5#BDE2tf2KSQ1BGw7OOtk!@@5TFN<2NW%BWK*AeCd6_#pcZW`>cAp&UMG*%lN%R$w zq6U|h^exyRyd{}>YN#@Cu2CV0eg=3qDZ6gZKop&E>laV258iC~epgl@9fJ^ls!JiXgo`PQf4@ ziLJD3%^|eqe)2%!h;<`*6#&*!Vl4r)&|T%cG5Ztc)u^O=sBW0RO{ks0>o}zUjqk>m zfG?L_ux1jM&+O#|db2Xp^}k{YPy1hBo~UiT&x{hh{XuuXVoK8`o&pt+=ZFil-mp$t zG#yiAf*5UreoXS!^$q68*0sBLQ7$fK?3Rt1wmMv4_x9J5Q%HL&t(+^7-62B}fda0K zqwuqClfn_(M>h0^Mwa3wXUVk;nMGLR?mr_VJ1~!e)kRO-tuQ(bwT`tKl1)RhcQUtWQ z!suznTXbXkIl3BCy6kL9H%BQWZG2?@YQ!q0X)J$Yr8v{`;b#C{Q|ImuQ?pH3naF;| zvzJn%&;fuM+G4r6oRKRVd&zEy>m>Q~7{zFYK#S`rbmE zAYKKSVVejN3MRCq#zsX)f6dJ^kaj3kdie{%0+0;&4%V$bn92X;-G+F5x5(cuuP6}$ zLA;V@upstUy=TW%NAvt(_R)Bt%>OX;#j$71T&RQY(k4*L2N^Q+`=-QhGG%M2C|MF0MjF@59<2=XXFB3O+ z<)vzTtX~EV{BtAKRaOXyuZHA*;WxDogMV0S@$lB^uP$~TAHTJIRq`46b**0_y_^mE z)g&VYnsO{XsRJ3OOIQyo^XQxur?WK+njTYg$@ji7B}&2{6J+;X0IUdi_MhIVdqRk-vqIkbkiAs4Y40 zHCnR~k8tk0)-Hv(UNu-f}1R8C~du%@!R-pu^{Lm)Q{U zY1Y2{p#yFD#Du`zfB0X80J6TJ$gZClq4N$y&@H_<&T0)-B7IJBFV4<-4Zw%$z*-1} zLK6D^@mo^h{C9lLcKwIW!h26Nl9G=X9UlU-MFIbm+YM^ouri*?rHCa?6TK7P?V&I)$cOKX#nd&p zLH;E-dD-c%A*2jtlxD6-Gh}!CnPc6HI3T1ohlz-w!yH|&!!B{+ct9${W{{bV_>!R@ zF5$R{@*q#y@bBoR#qCOeQeHva=hB{=Q8E8%^CN-q_b$r!gpI@muX_4|7cUcN#Uf1| z0YluxDu~zFcR6AbYj5Yih`@nGcHUP0km08MFB}aH9H91RixKg()P$Q(R2hxMNR8Z0 zhMLiB3{g8`sk@fshD0R%}(MLHx`a(b&>MOwPq!vB(@mC`AH52gkDE ziECdK=YSo9U(9h4h548NR(4rKlv0siDmVQLe;JzN_)=Yp2Izp#|I%a`^xPxAXm=N& zN(K$7DG3swOL;VC<3QW;?`H6_3qgwP0H&ncX0uqg(QhZn$v^I(wLa2^x0rh>ot0fJ zM!L=+2fxlMCo}ipYYVOBAM~Sav}yMs-}iQW>Sk&Nei?qRCu%o^&>^oi#_XT9i>U%> zbQ2$|LujZuS#VZGRbyE~2>l)+|1}P>f^V7pkBT_D35x$=a|f^d{>$b9<%NU9>7+B7 z1`cNSC8g*FeyR%`tp9pq;BgVzZN59Yn7B*@WFO^crM@t{)#ZjSR+W-Rf6&Vsaam~@ zt{_#cIn5P*nhrzv%PIIg9}uvx3F!MpJT1r0w_dfZ*iJ7@xHB3yFUy)ie^2-J#*K-O zET-o7SQHix^Di~gaiY>>wfGcndpSePyJyGSo+#)Nsw`HH($TF-QbTtY2*SfPCGqL_ z@D`K5Qw=?`2|Da1;!AZ#n5N?qh^UL*E&F5_>M7kiDYS*~T%cPiM&EyUnK@2>oIDjc zOs$lbxNIQ>pdC*_Ib?l-_wEgeBrRwu!-ep)|DRAf@jIy?j1v3}=AAY)y*Z1z-vqZD z1c{}rJYmnt0Nf~Th2FtMh4&vFHR&B^w<*V%f{dd#oklX}Zr5KJ>~-1|R`Oz8rx7d3 z>FPXwJ^z|;8PdM~DL=+!e8p$-Dw7i zL-u4}TPXynWf2CQ3j-lf7)Wjf)*w0gs0j^Qmwp0Yb%cu^utNwpgM=Qa61TV!_?QcR z0^)8VDQJZQiWo=S2n?2z(j2TNGhqm)Dh6eD~B;+6X-W1l669KsA{hcPZvoDuBG zUmHVipbDHaVMI&I-9qLJNyyS%I2+XuwO;m(@Vm$$yBpu12hFC>#{0#>hmN45dFHcD z8>5PohlhLJZkM!eq536WKy?4gy z7~askJNOKGh59H0HQEM?WWH)zs4ez9h@%^nu;@zoOV@sGYX>z+QpHY`a;y$&mYqY) z{PV$Wkog~xgxvMOf#N%hvpaiPLU)EhC#vq_5tWIQWvi>lo9Z=5nbSLHu9_|T|4Yi* zCRWJ6r7V|x`vB*=2q(A4nP$3Dcn(kqT{su#{|d>Y?3=OU=J_8CLj2~pPe2I1x$YR21H&@PhyoM*V8tH9FyR_vbU;n!u{m7%HnZ4_Oy2 zCJ_15z#;U~+uTSr53~&Iv8BeD;=M`-x}U(y{)K$8^8J#^DC33Mqjpt8 zu_dr2%Lku@SC&jd>*QMt77s4qW^!mK$!2j~wGWeS-sW+Sj9oqMI2ew3vAAHbdV_5q z_B1KGzR{G-&^(+Xa^8;6`j6n6_sZe#5rE9x{{te6G+@_}&@;iC~3ctZ2hGDn|VeInbyjMZJ`CyTGcn~IsFVMtc6>Co@0#L9e z*K2-#g%m0<-Q{FvWl^po9%t!MkdwiH?n+0I452ao03Q&7H1eM(f@XkS4x;t#OSaN& zU|j59-1IGOrex#*lJK(1lw3QwKV_PAPpNve(yE694O%2Lvdl)HxV9J-RTwo^^eHAz zXcu54a#%@}veJrUn9H#A*oBlXiq*49FO9{0+IL0t<5;@FGoxArTFC5Cw>% zv53?EkQzV(0>sPXpwoaIq8&z|>;BSM(hz@s41}$cSp_#R_ZuelD};{cqwSgQ@!lvF zirfZ}tIU1&ZD8H%wFo$M7L5Fz2b`!Kx&RlBltYUc=hh46CBH(xC_3Ra(I=en5+MUW z_cfeMY0njmYrT}{Y1z^%EnU)SjtRg6lf{tdL^*DN6;AqUi9)Fo3{rVz;fAAe9YJlF ztr+PHhdaz(%0cvdi5?*%b$IDc2Y>Ml!ITn@Le6S~?ONgF5fMU4RYKe&;vsy=5^z^^ z0o2<~$4Aj7$L=+`Gw>e|Y78Zx>Ta}-45u}da;kl3$snGIzO~ltezjb*rABxH)9#xx zjSN-5yuWR2fB8@^O_12}t4{Ngfu)(fLGd2eQ~5mbhYNdLU5eayj*835c)40l=nWEt zg=Y%CHVm#a_v>i%)&s%C_+s;KEDSYEaHL~zuyx8Mpf$`PUT3HLJcgebDR5jQD@^pg zHhW?YfB*ASaz1_Mc;RBR-|Yr}m)520O0S6p8iZ(#gyDB`Nvk_682y7y@O6KKhLWB6 z#hQcY{1;{CSG?wi9V0(PT>bO$l;&Bg!1EuQuI&UGkXQ_RHjE~=FbVs3A^eQ`xcF>E zBj`;Hk!=Bmb#i>Q+^jkk3;E?^+&YlQiJk;g)l*ZC3($o?q}*m?UElXk=xnX=bI$%u zAZr`g(K4&F;*xNrAm4J~G?c%6m;z+g$#wA!?Rl?Ipd)sA_+~tEx;JuXfF$!A2`Uot z$M2oT-zYCmNtK$vQgRiRC?&H_(Ts{%9?NXJMpjtVKj%E@H#%D2Rajq@R@y0w;m0=K6c z7Tp>N3Z~s4I#v6UE`ArQwW5cfoz1G_HRK_VPE~zS-_g5%`xA(p2ZH2Ewz~+gYyp?2?;lEFlQ+#mVBIFUO0mi5 zUnnRSzrp`_JncbC=HKtx9mGOZv>?2at*gtr0cy)2sauZ$m?jUxD;yN=wBS2u|vPc1cYBx!SMxzR4M4$ zRxy@=l#}V!CVgJ+QRQ%%Uq-HuyIcr?F}V0cro&-dEg5yr<|?L?B%fE)mj7Jq|Q!@$n`V5P9pTQrz>kP zjEBK%R$ut=9XUx}AWmKXy}=^CNEkfzIoJcuul{;tRWO@L(>Nwi6TE6C(-3%lw6A%}QesWJ2jKL^l_P_s1Uvk{^Gz8zKk3j|`_MWC>{hokiZ+{2HBQ zB&Da?6%#)AeV64gaa<}uy}kvA`tyNsEUZGb1N+!Ng=Kz+58S--LGB8!bvd=P@Jh)W zsyQSa(`w|bqNHJA>=OK2wz#wcQ&?^;!?r6+;{F3;9Cfhf)ZGxyd!8)^cDUW7r1hNB z!gP?bkt!H61*q97aTPSa4UgKQ$dynW?$$(uZE)8Qr|f?^Sl-#@ZAS@l z&IH5d($n~QG%ai<;1jY?j%)Hi5-m7Z9S}IPOhT+iMlv_Eg$D~3_(9fBABl3y(xhN( z%;U8gq=5CO4^!QG!aqM2u%`mlSjFYPe!%lLKjS+0NZdZnb=gd=4I$WmZ5!N>qFJ@| zPtS+>aQ`-$$ah?E9GnQIb!}z9Il*;XY8p|du95OA`uQ7oeSXb)T}uCLgn*A(MJL>y zTmT@8`MyFWu5VC4Pn7Pi7Pw4UEpew*i(e(w#|7kv#f6oL$m7ws<4BEeKk`(Bg}~Ew zf#cV@RQ4x`r2}z$y*?UK(W9JL61oUid6wsk(_E^NGF~Eu6;`mHZjV#ILo7bWwhOct>oK<^pD|xKuCj?N%Y8puB=YWki^WCp&wS=oAH`Z8tj6_r{P3Fc z@C9DETG78o+dot}GW6Cj+R>~MW5EuhM;?BarD`eMzHa%LYB&IB=``i4?pc#>NreLO zPuku*<8h8Kf6MLjtvWinih2FCwe@6+Q#dL~#hDD~nzvXyWm14|Wj~w_chW;TS zQnX9qAwK>beJCv0pBU7Zv( zUALgmyt?^!^w0Jxn1x`M0OywqAFE>VPZQagleML)WG20C7rU8%bAkQ_laBj~8*Tu* zctTN6UiLy(?l8IF5LD~z)=HEHAUWI_Kh_6gG=7(l0a1Vhz!LSgR3w=r;E^zCjSMIr z`-9?ay^E^=TfAvd(|3&guX;^H?18OoXtx+xMa38b>m8io=ez-sAcljDf`ttJT)C{0 zg`E)N6fF*^;8B9bo8!uiV2V3UFT0*fQ>DJ1UzrS9Vdea^-gA38yhkI^I^-5C@yF4O z;(jJGehCFrO*O6tTwZIPOr5DdQ6;dLh)Bpc%RUXTu}SCs0;lOEJ7Nh1SqGIVzo%U6 zlo1a=ueiok?&R(+ezx%}8_;q=RG*=i;s2qCHW=K#)B0>n7*%@-?f~TBmdvM#mUcQI z-GN3yU-77Uak+Tn60;ZeLuw8Gv*~k8$w8MzBo<(LBC%|*f49=5Q~*6mUI)yd)%E?I zfRdGU`j<1riP(+KkXo$weqb!ASYR>v-0|>@&2tbt)|4BmnYd(8AN=2(5qZlKNVM_M z;V5TcE;_|ZCQ2(=)MK>3&y-#h_ET@B@f!Ef`%M5RX&b7VM2~#$W8WbMV2X6xkXp zHQQ#m^M!d07)?h&_J$PcQtQ*_ar4ect+pEGapcwxp3GFt1jq+pLKHm^TXuhO?HLyc^9sn-6KZAWd+!Wc> zgQq;#?9m}og*RmWJ}_VY$Sjn-R+|a#_Y&l=EZS!I>**0AXDfd+p3`{aQo+F>i!dP(NB{AR8F`>6qDG|XC zn4YkA=rIYGPcgq1`vQ^WKOm25=`sUb6*%BS2&$VGU z%GS!kGU_CzP#peM!fGoWZSJg;lwnUhmeQR4JNl8VQ8qVS{S7GM%zp*UC#7mkqS^Ra zN*g;+gYXhN%*F#wRG`bCy&Wq52-zl~bmt?IgGl?r3?BNa-7v3WKwlh5|B{ReHF;b< z6Oc!{Wid*V9|;e4KGfV=Qyx>-IQ+cwqNS7EP?MuQUt^YKyS&4p<`M1miDtrb@56_1 zl@{Sz<~9=LMF?b#3`-9Rwuq%}2g4NQ!I)V9wZ32(guZ2wZ)D=uHBm}tvlyERvqj4r zO?@#skKr~&sgf!4M>wZGiQ_6xDgi5Zl1k94@?qK=D7)NpmPgR)V?fun5lk>I@Z?1H zqJVFEQ~t5-3_ep*ryasX_SRdaboDCiHL3Ej0VBCzp%09PeOVB#nJO}v{ghqXzrQdZ zR;-sh=D3S3IgA`LvG0>O_4!2dhEr1; zHTFPr8UY2tcZ1OR@0I5CQTX6TAUhBD|H;2}>S{Zq4=4CN)toegpMflX)a?=nL~0rb z_7blTXR{%T;tJ!{iA(ocf4xmI(Y>iuU7AUX4iUB$x6{%w>6@7zx^VG|FPBP&p5RrX z;x@5_;FUR2=EvjN3*i2R6;vfVrQ`_=v2+@^Ho>d%)X1*^s^5OlvaIT+ap=w4|-f59)K zsn-~YTMnTCCJxC3B&BI7o1hwXx{KFLqPK6Bgr%G@K|j_ zzS%rPZ8z8!xUv*|1_<;Dr1 zT^QL(KdzO(VWyFu!w{IoESNsr`40=!14x7fs?8qJ(f+*ww?r`AKvA@#Tvc}E36uof zQ3s~&LIeu&j8Y7F@Y^&{sausugx}Vh-bSfPafrSJ)_+IUS@8S)Zbg{8<9uaY=z~p>SvX>O~bTz_VahXJD zN$x+a!p;NwW2`O&)!MjI2N>)F+$vjr21r5thJp!e4PYxHs0&8meZlByFa)!5{tJki zWe9`)ytD;qeC3P=5V<4$WV%#)Yg!hd>hm!`kd$1OM>1a6c`2tC2v3)}p5|Z7?E3CD zcVWfF%98PL{`%2^F5>7jEJ{p?Jw$2}^2mN5?&_A;Py`x*&!{X*UJ#_1GiFdc zL5@&SQg79gUBI~rmz*z^<<5O5QPx)5Ro zQT~+Z7QDRvD`slMl_ZR~gBz4^p^~ORQS`oIk_yy&3$TJJ`dTAu9{8Zsd;VhJyl=`gfIG~!IsXFa9|&M||3J6?N$Ft0=LV0hOy9Y!E=ozbB=lrX!twKi}-E3aF1 z^$>GLh9Q$Zq3c$;0LYU7t#BK#*mGhv9WZg36HXsKOkMUO+&wyXD+t#oNze z*4pUmW|hk5DI15mnr=wGsEfOx%Q|f=MjoT0^>#uBML${5I^UpKSylkpoR;36%sV+j z;I-NppL(ez=dzFymk05^@O++4IgRS)(dc?wi6|H3pR>OVm8`GGDGNuElyq!vcNu5i zSROZhV$fs_ldM8!5k#{Ja~SS!B76*SM!OCBBV(R(D))1W%f!ciV3L<;+S|HE8;p*2 zn0tfme$}|w0@FTv&1=~}$Xq-yr3MNR`ZX(13v*CztRE9`{`u%3+kDD%P;q!HZqK_r z`-ew9=uL8ie{ky#y_y1u>LlnUW^V03Q?3Tu%9o8$p!O5qVhVnx6=tydl)~j|{N{!dkMOd4Fj$tJ0E8y@ zR>OcsW>1ZDpJ9xZ9WBDjgwVbv<*Y0pxB2;EwZ^aIAz8Lh{SvjmNXaj5&A11Pjrs+4 z^V6}n8$xZ1Am1v@$tOVH3EfzQw0L`w?x*QYKXNF02e~{)bvNtPYIUz?EH4uQHeJ3N z+a$6G?L(qQL0VL)!_A1(p=n2C(j87N%0S6Et`I&$BrP2NkkyXLo>hjJO760%oWzI@ z1Eor>zcQn$lSON_%4cTs#5-@#?UF#+8;UHLn3?3lg6I}Mz_~Fjezs_2Zboeg7stLf zY_9Zcwdzga;iWE4gS0jw)Gwo>XDSSB{iWOt`%5f&vhFnH`o|v*G}}(?HdOMpXZ-&#O=!XYBi05Q&lSF`Gu6f z7yAq68$Dm?*9yaupHM?*wP;;7{AlCF8A#P8L*)lFk&vB2Y|K~NSFKZML@Wz8=B-JM ztj{H9Tz^OICU64uU=};kkHmXE&`P@$ntOQLeTmm?66P``MKj2SYcJI^K%Khfz*V1Y+5cdWIZp@%xadlS9Ywz%N z7NTL%Np8K4JvUrD_l2UIyz0Xkn;9Gg+z`dYGOC|r$U90R=;GLM7V9uq@{5uJ4l% z$BJzR{sPZaOSs)QhKu;w4m@`91$rx+C{t^8xr_L>lfcj-b^htd)39=wqHQJp6Hy(5 zB8$K4untwW2s4gfmu{J(80^iWa$&`Gji$Z)tG<(3Lq{G$-9GiOPPi;lgXFO^~n`R}1qCXAY@$WUYHtP}! z>O26fpkO-sX-0I;7>%a=D11#m6SS!yp zQom>=1u^`IvbD)iXtm|A9DRVIbTZ>BZO`+gxQg0Rv^Esfb=ikOJCZ)Q02DF=s!@oc z+=t@G4z2c_NdnaAaV{XjYXx9|1UPF^yi*WsFFLEy#s+fpskQ`G2{$*Y7Be}2|gTUz(N|AC?`3miMmbBKaKvjv7Eq4M=z+ zAN5Tjl}VtLNs!=Jb^D^fC+Cn!EK^QbjD9awPpU4I?COLMt%hYwz@>0}Aum&Qy0Ftr zjbES!04M?SlmKN)z)wnmCM7_Zauh7BkTuaqn-ImTZi`CuDzWkju=EBbKl4q1lTSdE zPr#K=7^H*D!wS+v;T1U<0gEp@N+>)@DEya@pHcZMs4AIY_>gcr*;@tOET4IP5u-RE zHR*gQvDguH|H6%Le=S`6smav&??~z5dEJk73DQQyRY*TZ?`Vc_w{>bwo8~T8`kE&_ zo0u46!mN+RKFFL8-&-bNz|}`m@caJVWbfhXOV%;;TLzHp%iZTC??sp`JI8)&bMsb` zx~!quz4zdA`Ds^|Rkq0DGuhyIJU%htmG7nF0(ewq7u~&k(N68({c`^ZFnnPJd zf5%B#IRw7E8=2cLXD8G9u~Ju`&lNAz1O-v53WHx8o!SU~K5nlEJ5J8Wqrf|gSSqck zUoX~0UquVumzXvk?=3vOBSMi$<?3NljDjhRKq0@@|iw<*KW>E zBKv;t_rrrSH;O=bMMD0W4Q}9dPop`Em$wk%yT6q@HHl>n1^aU&Xxvq2$mY&X?_uxg zsy7naSar9S=l-dEqWaWv;{#pI!`f=Hs^JAG@Ghd;vl*`8GF^IdqBC$87ydP<+8;OS{eBwrG(Nei`@~gq z6@RE!Q2DT>?%$j}Ap^9|NIA2|=Rp;La}oqS2D3oa7)l3oP>{AnFN=Bz`CTZ8E7;tK z?_)cN7V^Wwi{BLVdUY)nR6rR;@_s{BX?g@<-ltMtBshfM56>%w{2n%7Fa;qFl9Fc- zI#0f)W|EaX&g+#cmcU#@0>@AxeL~+$&7heh1R-)Ue>?z>h^dwSCvG~bQa!Qh9A8KQ zK2`}-NkBE>-5Q^$RI%IllroLrT|;vsPewJ0B!t1l?3m%X^{7Q69WA(3WIIG4SsJoN z(7;2DSc2kBkOE1*&q@YBVfi*&P)>LZ{19c6An+ibkxQfEYn_U+=!4WB)$zMYYJNSz zSxs8g8ap_l1F{yawupb{2xhS%EX0%{?0bMg1_UDnO3x6kA+AGct*}VZpu(;W1OS^c z2i#{09p15iFoy}2(2iuYz~Ap>!qU=V4MlXG1ZW7h6XDS}gLE`rca#yskZ>nyy`irvd}0Pt zW}7G&ONhFVB$>f67WD@Rgu^Aw`K&-GcO4_S>)F2!e>fEh)>Eg4@|mpyb&45Sg~F${ zWx1U-7zcH82U3Yv&6h!Dywk(7)th@7v`XcR*LvE zO&?X(g6GW5We8ebm)cd#&^ArnQcJC=?8H9M!B=&`Ysf5y2FypkPiS~4ZwCYZ`nOh$ zP)QF{bDG}SFm*r4OaakRY<JPQ0N+tA9XWpt8%~`V+apAOB2es+LXvM~Ow0Du*C14;0Us z#yknwU(N$muD@H#?U{&L#J|IUWTSM^#Wt{>97R4O6=X#-ts{{GYP$#}4hx7cG;?ZW zifrB~!BOliRgfcPZ1CACKk#YFj~r3(w^7~m#207FMMPCmHAt}nvKVo&dFyJ$(fUZ& zYU2zim9-F1<+Qg@8q9r8j}JweLJkE$iQooH$9j{*aIlP}%EIP=2qm(nCX6ml zFGKO3GqA1hADzs-tZSsk?(*=6s`rw&qBDiWn#>(+wPVbQ(g~;J1Yz~RDcB9Z`mKu2 z0}?gcS}x%b6sHxK{$g|;*e=ymJ;%UXUCs6mhSd1IJ-2_9Fm?NV?mes$L6`7ud3Sn# zogVDqZ*IT)I<~&-ub#F8*{Y{Hgt}Vzzuu<$3+kIQ+P#^kV>yq9ORlc?`PMS^2=zaG zQ_NnUZ%po>|B=GE5B&I`%82a0+mB5#KR%Q|Te%l_!C)F$eQWGsEvQ~xFn%P|!w=9> z@k2J}@6pS*cPE}HHa+WzwLae47a4IL>266Q%eAu|QFm_JM4 zztf_KUT?9jITI2I^7{hoEEl%s69b>H+;aEc&L+$zi065PI*u5NK?;jz>x#`& zi+!B-6BH=k!t(~EZVR1ZpJwVb-nu6r8MTcNb0&0lSpyK{w zm{8x4j_d?8bWpJ0$cmb&2a1i1%&!xeBy57RIUzH!^c#+9Tf|NrN-ZPA-xe5}5FKjg4~iPB3wq+^K|knn zh)P>DfK1f^FZPoBs2`u3K;Sbrv(k-NhGA7Cyz2Jk+&OLvkb8M(0gGx^j+?dP9MNDC zmlKWa9iIyTcAT7#L#F{KkXYsgb+-(Mu24;iN3P(o3#dR6-JmDVh=>HeRv8lP6)XbQ zquF0%z%u9Meq%ke`qD|<$6+gXO+O1;-Me{r7J zBx2!9xH1q=(l~>Vv|bejDyg&|46~t~cetd5H`0}E&fa~vPwRcWqut!?o!_6U2gYqs zspXlsqo=u@33x@ZsGcIdBDn3Ai^kerYIc0rLL$tEe2vieeom72_uEHQlh(~z(Fr$LCpkA1 zBNv-Hd_Dx0dt1%{ZV<|wdJL`AjyS@z;Cl~2;MBy4Ll};&RO%{)P#l+Ris_@GL-4Emn z`+I$3kaeG!;2A33@;eyYH_YAq9ABRMdwE)!h19m1-UdEXw)KE-^UJaN9UjGtKciZJ z)AW3uz2HXTz2dp9C0aq%sm;16`KO6Xgv6M^1|1*TJYDvtx);U)sZr!48JnwbH`7)^-QEv-&D*a8Q?{SfWX*2K1k)Q9Y(I|SizR+G%!g|+F zb>H`d_9tn+1!)2OJzV5_IG+)v%=s=ZWF%G16VUrkY+SMJ=YYCXoh zBJ!b@_ro7-B|UH~1&BeLrr<1Wy_aEW)G7nk=rn$QukWkP(-ea(KYLc_@PII9b_s~; zzi~_h{SdINpNY~$I8VAvqKzbd#adQow|Xz@+*7~RqDAR<7wy%Ipp>0*!P;XXg_FzS z3nhIaDDC(4wm-bBJk`)Glm_~*icPqx9U(3qgVHL|?JbxS6JbaAgJD}aoQr)SE$4k7 zUiawf_-62CJ#lhyIIw?`SP!-mVvPm%eYXTFwvEUH&=9%KfUriV&Fn4PtpH(L!JrXW zS2rv~T9EvjpSF{LNw9qks_-d;CzIKI`$|{y z`t?P0m_oLmBI1mI-dwth;0!6s!Od>M!D+8`p;POCR-&3P+M{NF$N##BuPvms2jXm%sB=u({+ zDnP3hn9!aFzT((a3+-WAp;7thW#iLJz18B=rND>Rc3?AK5Q^U`&99LaH1$4=T9N8F zP7d^er@qZ=kPRvlbOe%LFrz5snx=HhG1glsgdxzoEFR(k?{hU+36$3m{0iCd#l0@6 zcxFBP%uEx|Xw0yx%t9#&I|!UW)VT~V-+!u!X4mZefGrTtplAc*6$sAYNdsrt(W{O| z%!V0MuBL!0L%bDrQGXggU%qO4io64T0ZYX>%qtMSK80Gg^Z%=eYmaBTZR6=+EsOW1 z93m^W6iP`Bv58LhD4vp#<5D3cG^3fHv(A{DDwBuu2y={Sn=wy$#ABYvVX^~@9ENSu zY?<-yegAp?xjy&j`rP+*U-$R=e(ukGfA0IbjLI(H>Fs8$)^19tupYDk#&z=QH5Sz5 zo$Gfu8EglkeqYm%0*)@SvARZOJQh&{E_$Sq*2Uj$t2|#`4&%nyIy1BGF!lQR8$~ey1z{SO%O=YC>Wqs;Z8`jgeVEU%_e6c zxDjV8apz5gz=-*H;;-W(-mi-D^l4gpKskb0xju%dOXqoVm#d?&?p1(Dn)G}iBxmOE zFckREnlsS)oU-z!eV+5O3YaJQI@1k>dIB5nApD2LY=8^?Ax=dC#8@0epR$)431+xz zuDV5RME3o+xMLD;=2uPCkM|3Hbrc3%R#*sc!Xd<|04GH`?hyF&ZA#(Q@%eyr3Xt@X zX6C2+S1)HvYRu8zH6fmoy+Y5Sjfnu|d%3t%I6Mrcun0$gdxE-4ZlE@rw|TVC03Js7-U@Xm1F?gCyxmI%r%9O7 znst%T1J*Y$M0zS`2-BSIUPAigtK<*~5M6o*?Szy12z0n1uHHp_VimF*|7_Kf%*?O< zy;$xbiIDyjM6dhpLoe-;W(Z2TIwvJuz_RvX z{G0nVGp69)V1!roI5yA(eYR$1k7U%5^{)Fqsj%L1=)aEvPShL=mdm{2`hBeHCac&8d%mEk{YnhI{ks50TDyD+AegHCy5U zN5|I8gh_09OqWs38D^7mi4K*9-SPym@8nv76QaLV2OjZQu}rvcASxVIs?IW2Y=HpJ zYzg(P;e3KWhvlKKiZlo_Du{=uB6YI-!?7>zw4r3j)CA1c?C zpCQ1wudC~)5F^WF>9jXoXjQjF(Xd*_Ep-{yVU<@3qVd21G_X+0R63YgW+Fv(Fxc7--xmJm~2xjm|v1}$$>VO%8NAtPD$LifbJ)}poCfBNP^~TZb zLlWViN#nJ1e)p$9*b>+5XECg{AG2myfA?(9XcnTcAyW8(X}5yIa%T*nvm|-mqy`65 zm+$|NzclDeI0wTlP?%x4qLSHZ60Tm$hJ%TUYfPpHbKQ=_u@L|CL~$@s%)6&b1>jZ^ z%c2d=-NSNYiNtRt`I|vtMk$X!jmsDVK z^K6_|3~TS-gVXJl0TbEeQ7rzpg`kbDRi*8F#Kck*BHVrE1NEMTMPot^?rd(YJJ$?F z5=~RQ^8M(&_v#LWeVlIdDg>GdP26yoYsGp(Wuoxf73mAYNLw8)5;Z^4MSE89bS)3( zkJ4W*$01O4jy<%tio=f(mF*SW2Z*w=io*&XEu{iKI6%v-(9sw0&iu3f>o~2Ug7rBj z%5)C1K1eIRF-4l=Ia_{Th!w%~#uED2znn8&e^v`C?`Rd)!prXhP^mTHk`?lO0pZeb zB%FQE!2}kKcH{XSKF`VW^CuqrlBMZ$jL2LsU!9E2ePX&X!}GL!=ROquJjW*q`Qp#z z_k$dmt)5$o2j9xJ#LR-ROmGSRcDQff+_t(7SMf>ejwpsc;o#bc=mqK@5RY)?%Pk_) zs9||Bq6j>bGoAsoqNcxUOdw>s$aLm}7HVj5@-Wl5A$B&Ayy-~#W7yws34v`zW}r#e ziOXcjku0+bQ?e$h;7lEu$JldC*XSWX3*qBx>8EL&wAgb})1FDn^0~W(v)!iiFG5lC zuxO0oUk=axSx1b3>lr_UZ*%x^&eBaYyfD78Jz8;vkSMY+j}YS;@H(ou3lqvswfageEnV_A7!7m8y<+XKZ87o*4Pm>J$ygQ} zP&Zk00*}QzsE|6wym${)g`V6xaS^5cFzQPC6#EE6bZWi_%SXsI@v^cfPAd`0aG!{k zL9T5J=*&b=`crC3c| zd+RFRdZ826XVJq4(;JfmdhAY0p|OIu)NMdi7e%bBIB$Q~Yd=+M!TGYTNClU->+gc5 zc(oV#9tjs8eU(mN;}Tt&nv!pij7c*NUc%i z)C#MfD`aA#VS=8wc7ZYUyuBAW#>{*>J)I(JHZuS0|E(?Dt~Ac5s-qGdBS-FD0($C? zq2MHNy^2(Oe;uSc$8U0wC^nb&8_}OQeuPfyldDa=gs?fc%R8B=`lxr4u@ioTJu)Rb z?i{EChj)%md4&R74R+RE)#C4JXBv?>{r(si)0~L?Rga@G*e(LT{lpQ%s?3nAVW_NW zCD@5l?<#K&)T8gH>zo&>Qh^@-r(%mTNyjG{LY7sn#Yvy;8v13m0>5E5W$kKi+#re= zziX$&dtU=SRq^92%q&{&;~EC2{xl`OShI3C-KgpaV&>I+wCHe!&5L`*rqpxohPRw> zz^e7L1#tg$^U+_1HjRAtb8D77sG^s$MTj#W&Y`qu~U0*TdT6a=xx@0cYfo zMc5>NtL?wtQavWD$S(^bX}lC@>UmUzIW)_}C5~VDdU)WPEy&_jHQSJ^Gsd}N|68Q^ zL?URsD_ea0L^F3G$zkspX?Xe-^(eH*2@p2^{2aF@OZ=f88F3~_*KmK>=9it?^}8ds zu>YA>Puz~(`!Vv|`&DRHHvBLGMtItcKBgQ2zT$%d z39j)#=zQU#HR!Z&8EK-6?{cjr>3VGWQww(5U+GQg173#7EdcxRcv=gn$>+!Z#532G zjA%YNy08jCnlu!zz!OjRg8p2D#Jt=ws@EAO$BJX>H~08cEo+>whiJ1ed8M8BQ`7~5 zwV1V>_^}^_4SkPKmuBK!7Q%qB{y*Z3Thx&$D{MsCN@AqD<#zRNAwC;{nFFA5^haFSa>lD3Q!IH^}r)x-EuO#L`FDNydu`+GWi zlrUvR{V&!y>fwm<-&LYC?45nHkQ~yE-kM3&8TyYF53DOVUz>KJZu-OibB?QTWz;wj|t0A0RLzDN+xjVm4*)EBY`8|Us<|Pn%k9D z8xv0k)U(&&SzicUT8_Q^xe+@D`LY3#3H;o6I`#3E9d*}+M|eK0?g|q{!u0YbC3e)M z#|AvV7hM)vvixdz0?xxNruCf(4wewrD&K=@U+u@!VS(7_K(n4YjW+1zjVLLGu(oKy z$^PX#Mb_FTA$;~?A$%3-xPl7PKQ{K9e1q)8r&a8+#yD0db>Pb@GOu9iuiF6@KCeO> z8BI5@I(w62<9hpBkThJ-%4v1EEgk33bB2h=guZah?H2i72~)_1VMr}r4F!tKz2=S_-hg3Xta^3x`@ku`=i?bsd`1 cVafh~I&fi_7_v*v%GTC$2ONIZ{oIcK06)4E-2eap delta 36033 zcmY&j+%Dz%eZy3GJ->zo@GAIj@s3GCj?uG29?v8P z)H{s$r+LfCCtD%|9nz*BWc5Qt(g_?*=8DoeES_)SC-3n@`D(ChPFKJ@rG0!=tfv*S zr5&$3nSQ}q8Dt7#`7*q(M=-Lxabwrqm~GC!o#bszwiiE4Hs_!oB+T( z*XL`rU_hn_5a6{P|5$AQa<6@jdg$oZ>FdA@&KH1V>M$~8IO1t3r?tph(s%6JJYS0K z&i!+8z^OMS?-c1`FohRqpQ~}Q#N*E~qQCf){^%iXTk<2SGYQ;7OZ)XHJT-0K$Pi#* zZ*VfMYpB^`jh+wK^VM5zIpDl8XG}FLXu$;@5;b8F8q?Lvn8HJp%t!`;gWjbTAagxi zvj<#3pG;z#9G`~uWx}?TS88*qbEnPonLKp!>?~|Pc9&RUD(N67=@^%?Z;H=k{@iQB z*J1;&x)iKZzC&>(S%cnIX)Zxrn@;+?GwKRu+C6^oZAf_k&8w-gNQj;?{g&nH5}yU} z5!f%phX%%+BAZ_Vy{vXo*SYi8@zW@GO9tFww6K&n@u^rsjgxzenD#lH)WF=JWDmid zFKPJAY2Q88O$^S~AQ!WZvs6IpH7`LpySBR<*b$YUknc}}IY^74Qh?TnwJ_VOF*Vp# zXHEnT;mwJ^jh$7v@bf4~tS4h9H>9BnhZ8gq}&hXClC zqiFKV(Nn;#w^b4-*!E;^Q^D;T<$2;I#RSt$(Mz$b5oV8jty~zR4@2!H_K#y>+tOuZzg^57D_C{AZMKmt3i*BsbF<;NJO?Vx zt|c4Qt-fvcYgji3#&=ka6cs^fWUhIZK9CKi}p@NGahQNfczQIj*( zUC#00pRbzhtQi_WKfxQv!Rt<~lSIRxfGg0mNg>gVy>%!T#U+B7ng`PA3<4nBC*kN5 zijtxsYI4T_XB?{vPawYQDK+H4JqU*Ig--1Ht}tKRdSyFUGm@CA15SEN`=squmEk$Z z87o9++191os(-@31G8k3 z$^UNnCt>sr|6S$l@aB9bTf;au>oKzU0uZroz&H zAg5ko=upQzTt%nkwQ3@`C~=nsp|(%l3QSLmzj?HL3OShRzpjYmrr+a=?x~it7mND? zt@?66HptSju5$i`rw0^rzC`_s%y{{o+Su~TCubeAK_nl_UA>m(?C(^H??I_TK=OCO z6wb}m{C!o>M=3Po^d|uOcdk>iheNxSsMS85UoJ`IIl&ABiz=!83M8AQX})kuV#6l0 zP?wQ<<5FR2)CoFx0y6#+GJ&%6NHg ziB`KLSEPr77`se-;{mVgfR%EOq&wZ#7aA@3?xEU|s@I$cea>Z>&;@?7)L4g!=QbWH zRH&QZARarhBwQU;@QRaaMG9wzvCGyN@g~Hogqy}M@)9(YMQJ5{(2>eUt-DL9$5I+Z z<2Ej%6^Gc|rW6hofu|L=E+27G7zs$-2>mXpH`~x!*FyzH=aUi(I3zDJKAMAPb${*b!;jj3-ekXyMgT zq<0!jNdj}E#tB&xk;d&=#}rry-_8T^rM)V-b~}5W_);a~6xE46a9B1;98O33ou?76 zW>zm({LnDWs5E1;#N2&LD8_^CU**xv69^tdcfXh(wiSRJ4mIG3IUmM|(s=D)PfS;n z9Gy`V=&S%KWFd-ZrklUTFR~~qFA9XpRhtcYNz|{U9Y{69mNh`^Qk@KF1MuM6!il3> zX#+wtU)Rg_;}}tLf&6VXALuVPRzSlmUqEsPQ$`kkJ^!8C+(_32_KT)j692GwoIcCn2J*td&YXR!3~~6Kz!QxvlXfDyghTnG5n~TU9qLJv;yCR&z*pkSn%LDl zvvt*>yH>BM8$#BiO0#b6J6m9ukv`rXoCLpDAe~}6&{ni$kI(Cg(T}sxd^P27EAmC}t{y4MZ~5xaZ+PC}3_C;5KFewOkga+( zx|ny+mcyRw)djHA8bV5G(@f?azU`2S@3*e(O&b`)gY3`w*zR5!YaWADdV|vd(Z9j~ zgJW@l&Hi^w4}*#0ytpM|^}9U%%TTE;lyAaBoz7neRPtA1=YWY9gP&iQ2CHa6Tew7J z(1ulxMt7ZNF$$TuVuDoEL3JafCu?%@VHDNvs<7s*WecxiK_M}YcBr}Tx=;LZ*WR3* z-VK4B_hhRaYzrx?Q@P(uC4qk``rJiGGTHp1U%Acz6;c6Q9gbWQT4in!jjvN_SCN39 zJ;w1VTb6WVUl?uxCo9YU7D~AqllHjGaNRGokDwalDvJHLg+jUoZ3VsP{GPeL7^jKL zzx}0^mu#+xsH2Sb&^^N9iOGk%u^jNeypjhF)$A&d-{r#UA3t&W@@I|@FmL2r*o9e6 zmdRi<;MB5-vL6oOi(MR@5b|>#qFs=4WkUfgdE2Xtz{t>nW|2p(W85CTt}~(4-QjY0 z-ikxe27S5yd41SJCVnCl;v$ixK?WA#>$V`}Ad(6Jpbxm=yK2s|)g7O{9E>9-^z)zd zHbwLU*_Nnt8vzwzJI7sKp8Cl=(kT5VkH<>C0%;<>0n0|bI(b&e^r_v&k*>7-Lg;|Q zp|lCw_oMR07HKIgKx#c&m8s|;wFFiP>T-ULXP|n+FZg&+-IMkgWUE*|_$^cySklnZ z?Xk`&fom5B^p0_v93`+0^BDuKw8K%n{zc#kCwGQ`Z&?QCtR!8_x1xM<;dWVNm=k|) zm)q?XEVpJ%b(t|>4*ioXmxah|7CV5rD6SG0eD)mLOf|&~iIm>cWUS|nd@>`)oCH6Z zWz(Wl=dp(u+nvBJyaQ+0@&&<7?24W!%F*EFepp$pMsufj-Csm-zHT<)g3f2)l%6X?1Waxq zII}yh8c0f8by4gwp>l?Z7F<)gSuqG|SF-@*8v>x?KtBxfRfzf>g(0AX$6USQ(#!3k z1k}$MoE^v~k;@E%i^l}Qx=SN8$LbwalxSFK0?Ve-y3`24not>73<%w|kexmeE`*y2 zvynyf?~j0HNh{2@o63le;rvAxY6lGZYXsvIyX22gKco$MQ~H4XQUQ{_W3v1q7YzyQ zLZRg?Qh~~Ee0Dllj=DKQgAsHuDNjySMavmU3eF=jn}lrVhHepEM>=!}c`%ERDp1Y1 z_fR|ykQ9Tk){$mw0bNl5`6R2Ay_MQImgrVo=Iqk8&PX6c;Gpd5;S7if0($*6Rvb`!R!4^z-P z)?RDq4iQFFg{Kh_*7HT;l))LF6|ucVb%w1Vj_G~!+k!l>2(<|2tV>1v+gk`dyPtut zVP>d0t#bgT?;rz^sav}NghmXiXsIR3+SZa{IYIE)F!xu($hQYhqQ8>M7_(Dm_I0Ve z`!GNp3D%y$S{V&W#|j~jj5k1}fG`1$Mfnq{vl?FB%s48L)u*uS{FyFroBTqqukaHQ z#S~&M>$JH0UIl_e&j~5*7$Z?CcjFcN)4OJZ>NEfX5p=duJM>&~!l)o+fzkdiQL}KX z0hhAX%3UL1{P~j;;2)r^T8;f;l|>`Bvu+ylT*yw|P=vkx1yBTXG#-orGLcqLTUQUm z;x0U<3AuU#Re84NKTrKr#{_ey48ra0HWP8K5EMoqd%*cNu9(J39sRV@OE?&IH0@km zhpK>57*;BZ-D*xGj#!+s37=oq>uf!B%!x(eK@+6XdR6WbXy^LdcIT;Pa%`!evh zpp@0DpzuCr1EZ>^2~3lA7;CDt@L_sZE0BQncGc)Ga$YUHRyt{WhWb>FH#|_lSdq4r z*4QR)KS@jz;hwU!2f=MQiY2iz2R1hQi-ldlXyU`JD`L58I5%~muG4Kvg>$zCPsaf9 zsOlIJ9S>qijd>T1F}EH>Yw>q4KKpAmsumt?Nyf7PYss%&;19^liangA2>Cq$I!!>q zGhEWu4a2(+!hy&fVaKnqi#eC}U*FdgeL;wx{*LQ%V14PV@ZU>CSn(b4KDi1W>tIZN zt--Tzm9V04ATK_9wdmLN$rmOBc=wgCrbhhqvr$Yd{rs2-+u)r4&Q~2_6x#HNIw1I? ze=#Zu+)H58Ot55vSTnI}uAu#791PIVc+EGbh>dSz9(|<16S5iqo9U$!PT^6NpJ36y zFWhAM%CR*1=gX(qm0d7Ke_?Q}fPTD>+Uzb6ekCK+(iOUF9#MY5v77&*qADqTW88%z zV;^dwtYQ!5ZD8;3hhsxlOCrn$RbB>peyZ$X{OVRX?BFgDC&Z*qu9pHtFf$-yQ*QOb zo;$lwMN#osGr11jv0>uyEcZ^&01^Hr`NPrp16}bdCYU=8iRc_&u-W4KFr=R3C0IV? z%cz|&5#%C_;^BwNheT>V_&32hmW0v+6-H31$}2s&F`T0>p^ixWRApMm4NvKh2ltl3 zXp=o}pFyi~P{Yu7Sx_jYw95c9qTD8cB-l|l=3`!K1PwY6 znDm$xbhI-td~CC6Pq-P9*i&knKigy$An@u#cEUe7x$Mfb?Yekn(*fYWg?&UEl+z2u zA$nuM^v_{^9gEkw|6%sp8weC*H*WO|$U$9VwxqB6q;h$YJOV$DcOsp^fr`L%kAx1o z09hM@i|(IXpH`GiiLbgW_C#yzVo`+0@(0~(IEx9Of0^FXDJg;>#R5v8-6t9C2k0pw zKwn8Epwo8i8Q_aMt}?OSy8Y7An_FWv%I z=6<#ZYj?}IJzU|oVyBQO*Fpn_FUr$756(M+mszXtC0>KJmg3;WclcJzU7xB8>~HZW_iI%o}e z0~J{RV6p0Zc}-OY-;{9SyEQkWbk#~+Y!3=8{!qGl5(Nx)Wf>02?eN>OX<-H$R-ltB zaXAO4aDWO#aTDr|##)J{R-_j9L1V+~F_J6N^EYq6vNPv1+Ps|{^ zj5tM)J0mmP8HEcV#^lN@Fv~$To|AW@nOa;@?2fX=`nKr|GU~)LmSq=@;a0I0V3=MXWsTmlOP7yr&c_L)R@^`qX?0J6|`FD83Bmc#tmaE1hiVsyV zW)RvVp!b-hf7u9oj*9au$}mcE-XJ+1uj1@;iGPjV5FFJBBL+OjGdcs5R!(;RNO7;( zE=N%eRMET9|-;gis?oi@{d7+_TaV@S7-j|Mx} zDZV~jkj{^{qF@u{X7*-RcaihsTpJHz_2#W}z<j+~;k*0K#}4{3|bfkE?n@#n219 z?kKW@h1?!~DxWp$Kh-oqsbk~w{SjWFGSs!%Z_6<0{&3pvGB7n*lyGRZz zw_a{e&@$y*PbsY>s1|btEG)oZZYzp#2+-wC=r>&n4R&Us^YG|D5FHKnf#Xs6e7b46 zp}a#$AK#6auCG-mDa&|T3~o%Xl39H$Hbv7BnP7RKR+!Aw2M2If1Z8J{maPk z2e_fOw$`g&HFt!?p#C8B;D__*^I>@XII_fm_A=gj4>UX_=0iri>|Jtp5%rE=Xv;>(etQou0YHkhI zYv<*CRE7T0HUIISW%oJXN}h(PHSsWPV&AUjn~zvm4HSDzl<4w?a>dy^T#r5rbN7&S zu^*~l$Gx@;oM-S^{EDdzyL~(S%XB^Z@ePRuaD!8*yJJyKx~MoSc%Jpb>FlFJS)6|v z><^o38TO;`WQ%=^1{XlsZ^RgU~utz_%VTpsgc zJ+Q@+;!cLNL#qSqy^ih%OZ1w06tjO}T&6NBItyp4J}w)eQtnT8ZxmghCHe{ahnu*O{IK+RW#r~aKq zfw8&0#l3nr_vM6zSY<2aOiuaWfkmBh0EbSDK(>xhRklDZDI zs_727i)_}}qC4zaEZThL;ktWl)JK|pX6X8R?ZaL*QM)o_CPQM+Vhm?v&Y9UPtQ_0lXR~d9f3)rPH zES)13rVLv7m*V^dH5i^My)<*xk_9f7`2vTTzaZ$&*l!c&{UaA)trkIIS81b>u@-3; zSKfnucUADyW1JkKlD!Sss3~d4*i7xd$X8nztY^Th0&ZxV=G9)y zR^b4Z8WDnQ0+2Sn#QkFF6vbBix;~?RH9S`KHp|xOps(*34m4j{c!eC{P;Vp7VX4?O zZ`u+?%=*XITEm29cc~Y1Bpj?`K?u{|GGS^x!VhITC=OX~5G;`3quFJYLNODbn_ai^ z!@|+;BiClfiq8TF_Q&GBX-OQe$IZN%BJDo+xinK3v#Fkx)C; z2##3rJ@yb#*!wcK{*d7jk^b5{BMSuc1K@5AuLM(DI;aFlgsB*BKqXP2_QTE`4;#Yq zypf&3tE@|y)>LuJsBJ2^R~lNDpSg~;sxRFm@&?*{P6G;%3vw2vrPfffd%x?Nh1tMM zAq(-r^`C($3ybL$+yd3igl&ZiIV)pCks}cvLE<)Qqtb-q4KRwI6H5@7V5k9W9c|Sv+!fuY3rP5nV~2lAfy*^6`3tQg})QqOo##T z^lLu32v;OMxDJBfu9KJTtNGHE<4krjXtBP)qGY{PyHr*PR9Z9WIpH`?BGf&`fXNQ4 zM@EODbF#Ue%}+0Qu5A8&k!zmvgd}Jp)h0(m1}+Ipm08HdbI3RPhvrx!Ci3-{3F8n> z#4%ZX>&tie)*kUQ|4Ujt)*9 zB@Gwzx>l4Wh8RW5I3bOZ*XWP-L}nx1O*AiE6fFiBd5xS)+9}~0lVPjORHP+V7(s$e zO4M5js7N9#6#W*+zcTn$>aVc%>*p|ex%%r{fb;3?u=>oN70@EMiS;CjSLF11aQLyj zljdTT7x#qs+%v_wf$sq<;eCJ9+y~Y_-nQlL))lDpep(za=&v^SSFpGDwX!P()1J+M z>W2BeTu{@?`6OnL8JO=fco_9dnNl1Ii_ZQ5&`(Uc0bsEBS9*S#c(@Mz8FWmTK_AZn zJE67L8`&ku6t(B{Ar{VGQm;**7t_oZ>C6-r?2aF z-Sqr7)p8!qjV$7{y}x&3hN1gpF&EiNdZbvaxKukNY$#eri%D(J5e`Q1#nV33O*DxG zLIAccsGfw)F8rym$Qr-U=#d_L8?H31!-Vlq3_$dMdxa+v&*F>Up?&7 z*losC*S?Mlqu`H?E;gr<)EqxGSCS|li0Xk%TK>g{k#*}kf=0l2*~?gM{YtvxN_94G zV3IIPZ{hHzz<1d2Kn6g-6-y4$r#pKGk1UipD@%8Mo(i)AKgefgOg3;-9duM0FyoQ& zmLD&1qi)o|DItbS{kyVVa!Q88-pIwTCvyg4EBWH>dc(fw?~F$^X<=Y;rPg86o{|E` ziPP)@&Kmvi2i@~AQ-<2^ue{eA2K3&9uKM)oRmnhY<)9YZ?OZYtBO8KzkC%4L++rzZavBEy&z$*lM+=uQujA}zM{+xn&S{+!# zs1x%O<>s#CU+g>A1S18SqNymsr-eH!oHsI~-F_=CyyMEAx+3{*N~39qYk#EZ?E&9* z$>Fts0Y=}D$AkfIz<0OUMg&(41b`dg?}>uhj*Yh)H~>>{_oiKIlq|Sgk2m*#xAz2C z=T%6)r4hU@E@CyfJ@t6HWcxbGVH2qwCziNIPLqYzlKBUsbhy?NW#biL1G zFED*;vSL2}@=2Y27+n@Q&eedqYr1O$cjJjtvYC4Hh@71MUqQTxJf_44#1rdx=5t!O_F zQ1bfu{d1Y_^_$be^zoEP*UO{BhW*3vmG6q*R-5nlnPqbE#dDX=Y@I@TFt{RFS|w%I z%X?yKmcXHKRzXY(FGG}dA%MelEBS|iWbCLYZI-NI!cjnutlD3o^LhLxF~3)9_}LK{ z#xc_@RK&5H?Z)cBO6! z$$a1;U6ko$ZSeXA|fV>8ef)i0;RQsh-w`OHa;%QkVB zb#20$%h(n)Z^D0e@jJ%B9<%EW2Mgr@QmPC)7Ab3`@slSC5kLqMg~qckV5VGCmP)rY zv^!Byk6X-CEC~ax;JOYN7wsY%-A&84Om1AVEL1WSKK?c+yMSeX0Gf%H+twtpWo~zj?_(P$M~es8%;n!-b&0ygKr`&V=gb@$!52_ij(AGGpc}KZ?OoypczQwO2dYhPOvC zvHJb$RfGs6SUEvWcn+pYsG$T$&=Ox&;euxz80Q=t=EF&89#1x_ET0BRIbY(pn`TL0 zOV^q3W&>ShZTD?-Yer1=CSxw8;>YHQ+J7fB_8Vhu4&eFhG-|`MG1V2?nPcE4siSvO z?MS|YYg&dQh&6a)>-{+$ya;y;Z#%^-T5!`T$4%wm&x}!<(RrvHNymhj7?ZaRF5Q}* zU8lQU!=#J4&zZ;Qfe)(p+d#m$0g9e>r)Q4o4~jXe+U;}jKr(vdzrmcv@AlN43{!Ul zGdVHr96(1-7JLHuc#t&oGkC22B;_J8B_tCH` zr@it+xyyLH8jDWG@S_%J-oOWU$V(g{JAH0G5TFI+GthUAWNI7kEMu8F$|!k2=XacxCghD150nTi?4WxhJ^ee>a^@`9R0KB3_kAb&UT3 z^jZA#k4#`8|MbytB14io)hqI%vhHvqQLHy!YIWy`B|>pex=?c7FFs3ThY|bUt?i(y zl}^EN@?f4lvUrz;bu`WW@x!J9?n!<}0J(gb`T8B!6=XCAT7?Dv^AHaD{}7S#xz9pnTN?})0Ii%k6V!8 zMKmL0Tk_quL3HVM4MtATUD*)^-!H1W_}=uCHxCtcjq03l_EED+h8ka21DiGtK+Axl zkr{8hra-m>qeGiVSW8#<4wnDol?8L&w52Ifjlhy8kAZ{6R1SW<10%-673?eg!B(_= zx4uXEL$wzt?ktagW2vq|Zyr~@eCAqmM^mEV$ibPrT4a6=sNwnE0mk+Ymv*q`1mhj9 zPD5lbzi-Lc4>0%VOf`(Ty_t(^+lnx32_t}u`G1?fsXCK&WNq+UC$u(axJ2wpQi&)= zo_lsdbd545p2obvMnD_TEYCkDc1QSqWtTX`9(Ie*YxCRA%u#WIs% zp(2wjlE;!IqK3-wytE!tqLZkSPe4dUE2T&ZRpBLy+#ufgp_HGWZ~N z61hQhR5~>!FeMr|;OX6S(J%&gQZ$OxDG~!`QpFhiDJu48B}K7~)YOb^yQ&i~@PkL= zCdBIHYGCtPGOAUT%3euGxayRVfhi%`aDOO4Y5mqcI zB!*O@3ZW3-e@ZMv*-s;LBsVfqS;{XMwXB!)$c$&H| zn46KtB;^}v54J8Di(MW_0UDN4V&Zhb4wDamLHF;VO$LVDrohj6LGi>3hshRa=9w>M zBDAV*)CJ7V7eI9aIr5N3K91Xh;=9U9*~M8X(E$s=S2^YZ%agZy#kR}-V(+(-cxl6i z+gh>-SV|kxm=%)Wn~S*2CaGOcEc_!qM1yXP2ogm53q*;j=CnMjLFJV0bBK8cQt6hu zDHr6}zA!p5lpgzxO3J2zoTNhJT)X3k{T)X2mLih}Eun;W`rjI)m6lqST= zMj{}>>}o!cZJDEWZOE6)nS2=r#E{lPz^fn)5^bzv5=wMO!wx*K;8+8x6+VB3vG4OX zT@fJY_kQ%iY54j2mYxszI{S$K$^Jn*(b?{Oz47?@=92XLcpfzD`#3w8j^q#>d~8cD z=xu3`9xw^YcX{FNZeenl;N8O~?P&pW59?;X@d)c}A?km9uCD){3vGyaIPSf=c0i$$ zu^bV&7#4uDAbTq=?bMO66a~m>od=md-ec*)Wal;&4h} zf|x_S%;30P74I~erV>f%5lX#WH})sx+%%EgE^Q_dR<&MVOCWA+MwbnXUM_S$eN(Dm81BW1e>PubDGRN#SJdZqj&sOi6KJ z??JsDZ$&5(9`G&ZqaL3Y2`&~dI=Q0z%sUwpHaX66x5v}0=RNr}!yCjf|_}CmY%Zc_L_L`K=mP`9J~_S@QF*y3_KT|^ie-?J#glo z=P2D~QQY_O#nMvfnYCW2HqQ%4bZw+Fn~1D5J9m)#a^8rV=?rYFD>#ftrA;(MoGfOp z#{F&Hl*M7nAr(dhFuWmb-f?+HWpWmx$e;O-KkdGp*Z1Y`|>j2L?G|LPu zQO@??s`|Wm!SBD3`Fh$v_**@CAiwXCbgbf~9er^H>q=h-m^-?$rA_4Ax3}ifN|H5m zj=1z~_50}oYv|WrsNQ&V&KB5iCDMHK-T>Lz5dU<&&fv60=G&4$8Y>lQ6xSbVlb#&N zEN*KX&#HIp6O=v;AK``8m0i54Jv|C!^NC5+uX$rYL7-{T zY&#=QqHG=mL}AdcZeTQ@Mk~xc>*RC4w9#8`FcOw;VB|hGjZSVHx@IHTlTtJqIOrD5 zyeTYv{@&4@pN>bTpKR+r@_0&JyG{N&YI?Qe=rwgEgXsW_oTJ>Ya`mYxiHz zIpz?7%HSSR7g&)b3sWt3Bb~-KO9L)-|2R zn&6jQhABD`TaPRs4GdiCNWV}l(*p%Cig>ihU7kBi0tI$L2SifYXNMu*v4{pB-$}Mc z-0Tp9U&@tzeKjGvE}clb=103wA)hWZs&LI2CW77WnpO3m-m2gaC&ayfvrxAJqyYwz z&QQE;jKRdl1>SxuX=|F_RdJIqewUrISQPenm%1o5@n0-1sV;;0mUY5?a2AatbM#`X zBPX2Tglm?s4Fa=05ur9aTzq3*3|VmvPHW{3hv9xN68@W(_4lKGEoIyfJEw4cRQQ~6 z0{qcDBUK20ubUn9mJB!j*ChD>Hx4Rd%Wn=UxBONKybY}^d>6&_=LKivwhliMKcOE% zBM+9Bw}6jrtiFvU2lt+gcgzbDy@Nt0hG%s2h}rW^wXWWt3K!DL-V;~E<0zlQnT4iJ zAUeP|2tZHrUHr~Jv(tC-aWK#Nz>RdXn?v9DqwrDJUh(V}>zVcF*nJghuk00IpF}0q zHsA}(hYZlQ4Q4`vy!8+iC*YL0Q(?r9n6m*lwv)75cd3%3T*4~yJ8jE9CVc-L@P~1n zy91w>zEQ*#wW)7eDV43E47H`m$+IGAE%vX1R^8}%T~^Fv-+4##*zGfuc8G zDxqQc!<@^WL^W$mJg;W;1-XZ)hHCJ7dO6uKHYPy(4Uh61b{>u{j(+5ly9Sr?$;@HH zyM6v+!9#_;Qla_sDl4tC+*iu0Ja1?Sk5<~12Xmu3EK6dXRz?j;mJa2q z&uLb2t+vv?L#M3kjBm?Hgj4&lmKgD`uq{=%Z*2=CxKhPYxKao+X)<}xb4Ev?oWd9< zx1cuhA)Ln?gbZ;qYcPvdJ$kzmf?W$p4r9MJ@C+u8P9pL?NDjx40SRdh!S3Y)#8U>c zMm&h$-myh`wV}sSb>8mOZCMPwQ3oJEKMOr2yZQh~5L{)K>pVUEDVi>XhS zv8C8WyQ-?Z4#7@pmh<%pY2=2FLf@LMK;V32k7;ez}Qoc0XiX0n-tbo| zbvCY_oCl?TQr%MUbe)rhePf|rzFP8m=80Hh;)Alme9BUbmoSeeqVvkOCrPWq2r75U z1i+mE$-N7+uOn~stA2j#0mI*nii1o@7)TfBZvYomo-Zii??5XMxe~BbMFi3iavK=* z5cC`h$3+K-Hu@4Z*_cJZ#2*W-Kr%Mdgj#RdzkggTsUC%)p=j`W!eK=hKtsbo4q=tu z0(}1jQU8^tfaL^GnG||GiX7{3GFgKs$NRV$ZcGP7QR|I0VKo@nq3!OOjj!eyv+HKA|ZsP#}B)8`xeR`kS@IZ zJ}xazvHX$QvnD6`mkfSCraGpO$lzYri^Go9oquya8d>U^DN(12?Ru3tG-!~pFB8f=Zk9OdQtOKDIgQ311^n7#E2**GE**LH^H_F#-b8e0FVpA(4tF` zN@RJ-bld|E(bbd-*KmS15Lo##6Z!x(@IX7H&4zmu8a91h=5R*wbUtcfkpfe=Qa4!2g>KJBXgOAI1;&0jPV%Y%zB)?U~uFo4xlo(Kr|I(_M3`+&z_+Rxv zKSeoup9w8==Y#g1Ym&t(i9#7kSQqxs%r(ml(}&K+DaJ_a()(`T4#mlCKL%PaS=&oa z_6G0d^INZ-1oH>K>+(SS{!;VPZvB>BMK{;G%OZtJWM`#>%4a=;dHz&mdgG6_L3hRx zpp`H?{zlNipbH?oKJoTYEx02vx%c)}o1n4u9kS@~vJES~eG>lR_L%PHb3SB~3dNlL zC+mW1b9k}rI__In>w|sC-|BCZr}r#^(~;xFha%wait2dW8{d$Uxc=M*a5XuBXzueo zZX>{N+dxxhnfu!M?Eu(Aa_3VAOcLXzZ=AjQ=1sVj&;gRjj}lX2OVAW(5=NvKNRrlr z(hBgJg>xW?^T~X6_Xh`I1p6pC+U|}q z5#n*9bcIhiB0}I>?+qmG4isF_@o}MifWOi4S#36lLdNDu(Opmb zZt+?e_8@`#+bVY5Wv|9u^2V(OdAehMXtt(t1{jS}rhZJSb09zL1j)FTXoo0$)TuNE zgbx|4&Pd|uI!2gb#^3lt{jD%#oIs1@HUDihKBlx~@&j;iiZhzD{16Vo?pA4tJMvX~ZtS+JJ!Z(b>Wwz^H+9s{KYI&bb z8X`g>cFL#H=XZv-8qeaNXFnZIa4&Q{Fgys41U}ad!}liLS7J#bqex1U=QLhod*IaV z{ElWgbjTJ}BZe)!qsBUq)A<$udEoL7tzg&W@?joXCLKs>ARCpuv8*r*fMWrL16%|{ zUIe2BjDLU?)NU7A1*H`)#5*g*`y9AruTmHyuLRPQKwL}ZJjc8Pj?VXj3X7Cd(HBo76w+6l( zn!=w9`u#?Jin+PmZb z)9rVOAYbe1uiA+iJPrt~d&y==USx(Rr#%BnKPV<2!MFVP&*w?a@_pg=(Sqp|;bv7G zC*pG>O*U&!oQGi4>x&7&-jgPa4*&@QVRHs4`XQ0=tL*TuhERjEEuG zeaswYwvQN%#zGd1MXgqgH3s8e;cTKGM*$q!?}xM zbQkmBpEbMIYA$4Z`O>qFTf43J7skl^N0ES(cKKs=+s-sHDJ*f!8{WGk9WNmXI%GrbGrOQb2U6Zrn^A+8v;Gz=Y zC7puZj@&bgUisgsV*a)sO40e|CpqUnH_h0*e16S?o2sTiv-#g;eg4~m{Cx=efaS^E z!kp^aR)0?bZ3#v!zwyI{T{8(;`p4iE%SPR$V(^+hKk?`4(d8uH*3ecRcHHx5=Q9ht zyUj;ayU#3w{gEU7sN%-DKSp3W*)%hJAP^*?eq~*tPUwdT2 zzsMt8ZnjT9YvhMA$>f^AvsS_akYEIn3`tESjtlW##t3n#COcX*gI?i>PE96a2E!Z% zl0;^J2uD*`53!9ANq7(WZFT_P$(^(PC%B1OShhQ&`*dc%q{d0iyqg1M7`iAxigbOe-0JE9d*qT$g) z$L)?K6tE7#!%Uz(6ig+op>_l7{6E6pF+7u?`4`^Uwspt0ZD(U=W81tpw(X6vv5k#w z8yjQ8JI=}Toa@E^Js;lr(AP|N&vaK;*G$!~t7|a%4HYmFCrJ%%f zDhed`wm5ApWK^(kFlnN_NK$Cs;-#h#Bl+em!}w$u;TXTtD!h)7ItxHK*9i{95;T#? z(|mc2jyv}03yP&DUQhXl;aIPhK9E-i6psvX+BHttTB4NBz+pnbO~-?=Tu_hPS*xRE zRA!AQ=s@04&@!Fh(rP5`N;u3p;r|I%%g2ZJ-zmhO^M7g(qP7Pts8V0j&F7&bXE&Cl z3meE~O;&fArijqp(UQc;(c+vW{`o!}Kq6>I8fdAL<()M)sg?auYOiGR!REHal{;Bu zeNINyd8a~om-wj2KT%zgeFn%1_$|IRbM(8c0my_hHo3FCay`Q=3=|Xuy4$B)t^nsh z-gJ;x9BbpfS=`reZqK#yW3U{TH);=PiMTFn*rSIgGoH=$Tm_Jfj?QYXgy!RK)~*Yb z#22onmNsno1=sRkKiG*>ec9IR+H>M2#%j*a+%6{Qkjy)k8znuS8K(AcZgr+r^*&nz zFjgPye}AM6Joy9wy#*(LQGUE%zB;73%4P!+T)|hra{Tek$Pjpy(4Hgr;o)ZmF$*}| z*b`UQ8H=0w$$28Gf+MPO+0>S!Kz%*nK4v6`hr48iL9j5M5Ll?~JTVNdhb(k$l;Ph| zjSty;ni+~WL4Fn(Y6#CG zfu`Xc^)pe830KFPkL?GhB(Aq)0@_?rj079`3=KtM<)0~O4atziGUV@#A|c<4g^ONd zY_{XeR^OJD#1$882^|l#Kk~+xym6VtU9z?oo`|T;7fP>hwmsk5Y+pVg2;%j?|2xH| z@(_4{U#17@w|^kNDBla*Az-tCXvlO8Y1Kyg<*IE~4wFhU>O;X!KvuF41L^?t_UT`A z%)dR0mEpS+c;Agtn&;<@EupDVYgTEd3UQ0k-x)qJ8Cw}>;x+^RVUzJ({Jxt3-M!wJ z>DDa#h0ER>-nw-WlCVwCR{QttfVRK(x2MAsDA-a`gJgyW0XxjG^l*h7oy(!+m-Q%= zD^cbK5iS4yIoGD{F^utySS;=M!xc?~I%aU%B{1$BS_eChBK(3SE~g;vb6c9M#K87u zVhb}5VEWY7br^$Po6my=C(yiJ{l;m>m}l zn4c2DNRZ+t+^Fkz@(V&gP3d*SDe#8cM>lG#T~CJa?VbcEh;s21buZ6y&!rQ4V0MTv zXq39ogSubztg3m|U9Xe6Pz`qCil6M6rxJ>ndhk9taOmgL(|z7Q9$(#iLDRi)K<~%4 zo1LwLm1C}z!ba-DfNdCh_}dzx&Dx^wi_NjRS>0TkKvI3|iKz+y)S%i?KV-Qs*r5)T=78BL{MQxT;4s)I4AX{GM2fY*#h`Bk= z2x~b9$T1HTqEQdfMU^dF2Atqo{K*%K=fFgSgNOH@Rbc_}sFuH}2jNo4^aqRmo$zjnD6dp=s$ zzz9$N-hV|Yc)LIOFGslw|BrWTlF@%`@S&Y|Oz$r__>_eq=gB3l+R9+OSQ@saUZkn` zFCrBp$bh<+?t48Zc+}yopU%Oz4bTcH}dk=8e3&mGrTHtr7OAVEz;{(;Y`e5Uq{Sp#zF0 z7NF7zKszrwCx{?oK1X!_w9BP5lj5}s&!F`61)~#j3^TF1MaRTLCx)d9oRU~!eRF<; zGluJieLDDuDv~Tt8MaYkkZk>x;f14#;SjonNxHFy96|uug|JD=c31p(xjbTEdFu%H zYjAEZF}a(yr*~Yeb6z!HWvs5O)V5F^`lmg6MdD@8e{; zUg0HQ`@sLwOI?DX2orsO2Z}^oY4t5ZXas|-aIG=^Z<$ot7a*i)8^VIwb*$BOkk;@d z*@}bK5=FWgP}MnWtB}W4M@2Rq{Mkd5D0nXle#geHKt-2bnfOQS-W>CM_75q5o9Fis zO9-(vnQRg`&g9kTj@_3>tGWCGOfG8SOXrLA`7!9Rkc!SI9)~cUpL1lRSxKqS8TRnJ z5^bJ{TcdRvy9_9W41b&RO(I)ia=FTh$93r-dBYz+PHGelxwYXg+hOh{4nq!sl@{JH zJ;Y7HIfv8Ss+=(K@P-TO@PP|TbnLU+QgjLBA{~DuK$hEs&{B49_LNWsdsa`R!gHN- zdcpmsJcx1FZp_d4V}>a&;ps%3{!;zp4eZ;t7x#ax*W@8E)b!|b1e$b*G6XE(IsIdX zYLL+)wW$mdc&Vb^1)xM)N4GOb8@<8r-;P$2BCB)`cC31GIiK3QsI=Re-rf7%<6D5kqKtWuqf^H9;zez`S`x%a z0HqOjY=T3ZP|JjwbCr4RFB({&$f21@gGJz0;BVyox2pvw4l(4qPEGsOrp9GY!tc5f zvO3V6W{M-2BeH5?VdG%3Xq~hLJngh_av#@%dKv~Z0TnkF>5KITJo0k!w*yfPSlu-= zNJ`nmzAsF~8g*;9=?s|I9~TF3k?~5+^M+W{B%IG)rvH}}Z)~4VP=|n!K3nl+$o~(2 z6oaI#sIQNA=(T^8zK2fK=Xwxqbxl>>7E`nTx8FtdUnsia{iT+x7&F(ef9BIUlK@jH z@2ooqlcRXT${?y`x2`k}cHY$e&Wp&*^o5(doGxH4 zlep3C)}z?v8_nMzj~-JOKbICo{QTif;*JCu^A05Zr?Uek6Z^5VhkSDmlkJfooXT3= zuNiEUh#c3B(lBkxGD5vnl>JQ7&_>3mrQDZP7HGz!%*OQC$Zd64qZ`bJpl@D`Hg6I= z94mKJ(^o1HxWRS+ z{QWg1|09BxL9(7>kO*q%&NJ4l)dDUPLT3gpx}>74jeXZWk#QZMBLRx|4HPO!Kq6N- zHgb_OKnTq}#g$pb?-LmPd10&BN3`@dpF_vYM(vxZ zDQNG&>CO9d^O|63@Qz|D%okX5oPIZr^W~ajIWv={{eyQSC(l4RUO@v%kBMk_v%dPu z=iRJPV@?0mzQc2t@>F+g^&%;6GIwFN#nUI@3+4tyCf?mRNvf%?96_DxZ;k5s9HiF$ zb?8D5SAVXZHf=Kaz0bX};4DlO@0<58IT9QhUW8tp45s>fV~9`>_$5#U0qN!&X5g>P&dWFbc0P);2W|CW}%y)?DvqTMy2gxf=Hy9&@3VZ zP&Z2`pP*(jiEU(5L?p@C1BK$AhrJNV-~#c$+Yk=P6QlclcQv6foX>wo0vghmiL&N9 z29($F63RmI2QTJ(U}mToVz=U~{Y$HXjQ*@vf=mU^9FsoE+1m6z{(|-kN(M(D7~=Vr zpZ}X-8r5G6`=6?mim1&X3u4zR7M}y{P^6v@Ti_5`!hpvHmG_q-RZ&nMdq8;mTGMTe zA}I4~E~Xd_%YI82BQOBEj4y@-?>9t^0|LD9;F`87+pN@3(YOxdJO&-pJa7~$5c&A! zoGx#uetezPq<0WVmx9<U?dRh08<-NHJ@5Y`&G6}jbqMfZa591d41&8G z+`Z>=>uL=GCm5t@hMU)ahKV1@`#DZb?to@|y90dm=af+%cs0AOnRB#a4bOcs3b}7X-D%8-nYC29h+ZJJI-lHijFx(L}q*D z&|#bH;CU@DlfoA5ZRcR-)%)|so98sGA|{gwF^w8%7e>%HG0_fdimIKw@5c>0H)(FT z)k(aex`dxJ2=Pxk^TNkBe8}*GzDJ>*nSNGosc%0?gGmi(_$!dllK5^(g)L5!WDS%@ zm~)c?=Luy$E-hdPw<26lp!-_Jz51D?QO&&x|93EHoT@a`-1;0J`8rxRnz;n;TzHY9 zj5-f%6ojQl z+kaaq*W{Rr7=y`_>Ptc#LwJF zpyKhtYZz<5N;Vf7m#E>C<5H?f2py#eE*dZ&cgoE7 z%VjWR)T%H?qciub@_94MG%`!kO)FQoPjv33^KKH*W<*IIqW^P9mr13{bf@1vuH2$t zF+18-B=#4+S)a=~Nue}t!aNZlsCc2TrKRXMXjVe^hcoBA$RjpjLH5#ygxmU*S|}j7 zt6L!LsY;hkC%HH=lwPBOrJah0PFL`mdA7&?-}g$Bpd!{Q@_MvYnn|ea2*qK2R&G0d zE{yEhss1Bl1QyRp485@GK24LJ43ZXnyk6)243P^ALn`(D*ZLcT1#M!MbyFZ~vYFTt6K)E9HX3 zLS-77WjqF2vnbJC#%QTq;DJL^G)*?$eS&tM@9K3RX&;Z8B< zJ!6jRQqvk%Zh|E&qcm9i$A9UR)@9Z}N))9FrU~k*$U_=B1v<&K3#i4crmbdkPDgjP zPSNM#1H4Qe=enK6xvg-ciQ_uOnapCQ#16PmK3mixvX`#HoU3DPrQQFgUnkKp z6!2AidB5K{am4hg0hXg1j?INFyd!zF8J>$$(rHtZ-N4HQbiK02O8n!GTv=a>P%dDd z1=w-@B`W^a_%FSiU2~yx)_zPsU-E#KLmk&@)V7oiLbxAzmBpElov--gMIX;_213(d z<~q6mGKu_$>=J$>8x02|Qe;}&7id!XUI%d%o=@C$drQrI2vn84<^c0&)q!`Zv??E> z57f!F=CER?{fvjC1{cs1kZB@pcg`opgfA%c zJ-bx5L}szv#Dj8a-KLU&#%*Pf*?vF$=P3q@z|)7j$EtroK28^P;BPcIgE@Wp_ZKa* z-C8jo6uANfeW0lFSXvdE(yf66l;a1$44d~13GyP~jZ=y_w6z!h!KREKJGj0;^@hh@ zV_(Qa0xQPGHEgSU7x9FMj>@BMNI%D?^w@p=LfA>73?B0-^bHY+KeVSHrV@=3DM1n^ zEsl0$B|tdqTQ{LA$2>%~mw>SJ7ZnYIdf>=s257yVb9QwAG!OBdXi&3er zK8Pugk!{w3e zB8T>q9bNKq!Im05-VaXrZAN_2-##_07hZ$2&ix81%o{ zUGBfhEQlU);k)mRkv6X8UD{xKt26(LvA@^3jkBDPYO? zFrK$%DG*Fz7iCt}VO?3v&}mVQl!Q)o{Q!cBcTXu~W=)W3qKua!1-uUFg$TfpWi#q8 zpf}+sX-|FX*mK1M-_gLK81jR{37W2I6MY5(xi1Ju0sF)+e`Zcz+i)mE`N$UQgCR{Y z^^vqlK6~)9Ds$~~H<-oZqkpMw;LXV*8jRBE;K-WGi65@lF>a`puV;*+^YT8J&H$f# z823W0Ic{j&j~~q>Gu+Ih>4c-#n@rUPbx-HRdz@I@{MP;LwT5x>Ile!fF9+ilD?`^& zEv*0Hux)PoqxxN2PLjj{Lh>;FnAy)%-f^oT+hM~KH)Bkno#k+TFeX&jAdO2SOSP?0 zpm$zhyx`gDCjc+RF17?ymUSJ{1s~|8sRy@CZ^vP3&rn4b$zB2K(?&w7{|HP{#<6qD z-Q9ln?y)wq71YpG`^J>mTJTMwZ0O+I9bY3JRQkp$FRo8q+qkAnWVay{ek{lRFv(Bo zDF>T;lOoEf9JCGwzEG||$71_8`D{JC_$V?^6BqbuI|F+Y_g&vh{_=~$Ao&CTrQ;~) z2pM!thl}xls!8*IvQ|Z~gYC!XUJDvJg{?xdUy_%zUl-}Xn)9kJgv56J-tZT8W2&&eZ&H!HxC<+jROIOPX!(@qVv^MBTL}awJ*yBh{c59 z-;4`ZM68R$P#=rnkr^yp+|kravS_%9QXG$9Zq!hzF^ zLEy3gZM4?J^pi zt|Nx@)A49Ok6RWhd|-a*u}qv`=t|Iq1f6ELkRL}ypKYheyK_e`di?Blj+CS;%^GpA zMZ>e@k2+_X0!~D?Y7<$i=HcfdUhQppMB^zIUGPX*WmLy?DaYJAzW7h#^>hZjK)27M zPb6$leT_9@kF=1d#t{`UX527B!Lpfn%@l16TE)x9N@!ZdJ>U~fXL$~JmNY5J z5V;Brzp9-N+n8C^EmmXl5+{EjJ&o3zh~mj&(fQz@R@kSq52TW<#YWbFlEid-ahq;e zS4}q`U4#%H(gePw*Hh0DVge*>xeC2=(xFw?IeaTJtho-;Hal*Mllfk{uuWzo)ppsK z+NN7I)`QQ7@U|YdRw4`jk?5z+<8GjGsO@E?$l{S1$*{=0?p@$>u#bv4LuJ$?Fn}M);X`*Z_1*K; zQ3S7FQ1Ep3|K>@Mcx!hs|I)sEJxry1Tid?{(Fc$tk)u*@X1FPv|@6PYG3HR@{N z6r>em3|_|~vR@M`6h$)(s32|NOxmvAOm?QZ^a9#M251$QyZFj>sp1!}vrO5FpEKX2 z)XZCf&+7*xpNw&P#Ch3Mmo+S5rSPI;jE_qa==q93J>Ra5o#&WQ)q$9=kI2n#?1g?` z9DHrxq>6*aldIz6GsKPMg0~6bO@%6xkCI4xv;CD4lK3als*se+jv*^n=x-ma{SL}w zstVA6htLQ{GJHl&9}4XKoOo49^WBa95PMgyT+eB&+P*acuR-+~S2RA*|3d1! z>yiU7|K(YDS9`o~yBmSOPuYbWE+Z5V8W6nBmCpG1>WxqWos>WJpBlMzX23!fVua{ru}DUVDq(1DR2WFpkCBg8 z=e3tpHL!*GcGXJVEpjbIf#U}iVYR6+wA6epAg6f&JxQEZ!RQDzU(trki$htbhHFUq zd#_RFLK`la0F#z9E5~%7YSoctq*!jD&9zU-29fRy^ps4{uz|F&_NNagUD0aB9!$cx z@K?q>D~z^&0`sAiVa;xc8UqSMSCGet4eZ7SWko?)Htt{y0G;7(Q+P-J(HTPB8VxFh$j5(f;b;vZNk zPYuwsLa04rdLt3X06kFX1Vj{9+NhHg>!Il=0DpD~!GZAe_VOn&eFD(c;sx~C`lFLq zOH1S^+jV@BBWEIQ!2A8LevwYTGWOxoI)SixFTL;|b$90$SKdZ}g64FCwckH-s#p3r zGdyFRJ}}JmM%z7bh1fBzk}eZYn+VM;z*zBb_LxL1Xh$Jb|J3$Csjt~b-5uMx)T8iZ z=3^O%4cxp#fJ=i1Gra@5Gpg%vzp?REpwIrIY?ahaS5HzvGuOjtf`7K$+oE3QpIKaR zLgP1b+V%o=ZM&1ZMt?$0z&L#5}*FR z&@J=iDKOadlxYNhl#cT9q>+E6hY1kh$TT6}{1Np&f{M+Y5A$N^^j0yg6+~@G33=92qoaHjk&btBv?nZVnsyfVI^4tfLKgT3;53%|3}(a>TvVy_ zex@$a>AW18Fo-Dzrqu_Uc2)74%$!_wv9_mn^Me8&xor513p_|Qg$=QdbcH4O#{&88 zu?WKje+h6PK+&=CiSdb9Y|)a4-u4-6KOlHMj%opn|uWQjvXb>4qlidNui)1x^ zJ{F0qqDlhA*(@YPUeTjsT>`faTOh(Lsykd>ihVXJOL+lfqp`a9@}Rj}hJvJotN4H( zVf`Zcd&sK9K|kFXN%ddXJl$f`LOfX*B)o`G79#2D(WcXmAL8Oiks|O!1%`8-z%abHtTj(^RDu%4hIVX}u5OR;TEaMOyz%~9D%F8uVf=u7NcB!}45U(Um&!ZZ{2bz|aM zqqC6y9!&^9PhYD?f_q(1;WOaL!&??a*@(lN8m%D3qn-J1E8neKN<*|^++UtVZ znZeoAgYAh$DTKsXm5Q7}PpgOR8xy6@MG|S?uz;%^?j=rRINLKeefw=K4g4uTi~EX3 z6mm+@?iVD$XT7^YkDE2a-{LKywxA)E2p?z^E7T;3Im@cToZLsEE~$tTK*2=A5`0xP zzl+3IH)Pee?1Qk6I%|RQAdYJZ`^Fatbv$~N1rZ@H!owdKZmN>}aZB~@d&i`&3vceO zF>##8)K98n8SHdP$g+@=BOtrNU>fr8K^ z#iBHT5VV~%-+h}1h(`(-6{IUK6;)glom+T+V^9dH(r^KbJOzcFdFU(}t@@cAEMQll zF6e8j0vUE{ukX!Y`_!L1^P>3tC)uJi^Ih zH3^|C4v`#0^C~1eCJsSf>Y)63CyYUOQ+6{Y%-$FZBQb$u?6w%c$$FkNOOiI6L{8*D zKvF9~E$%moWiN6uL!hXb7Xf*8P*$E_c6Dzmx?xay z2;wD8A!CkD!yoxyh?WkdI|XVo@j-u|k328hPn`va3ln6GV@HmhtrXCcN077UsTwPB z4>Pd+4-1p)@a~q_q0;hla*Xsn1TF*xyG}UkK~EP5^}aKRxGPu(rK(0b-*=i7%tuP2 zmbASs7$R!Nfwi39>o&?uh&L2sx8!myhLOAN_Oul|0aScfilZvvD9LrFndOtoba#iB zlWGOo`_~Vv*qV6n((*R06v?S*oi|et-3VP?dj-L0>lT?L>_hQZ)TdGWoxgIiW$K;Q zoz4F8SkwBPmf0q_3WHIABCD^NTpiMRxDjsl{e?A=fKPdrLN$8!GvKpGU^MIK->~hQ zzcn>}%ZY}y7!~;rKXBbmV+}DHi_8Dw_4MrGDg>`rY9f!c<|3%qkFr*XXkz8v`f~zg zVz6Y(3LES^=07s`8*v^9uSWwilW1E3X=i^#YjP6Lde@QYh5LOHV_zWXQUgkTkN@wb z`}D!9ArP**toh_h%>Udw6+PXXLrtJXS57>xF$>gQ&uurA6d4lI4 zhKJ_k625;^?TS=3Tsx@bbb#G9reQX7M8CX=C@_M&KQE$Ojoj&hul+8?>ZK#s3oz#t zKg`72AMa`^0fv+$e$u;|&nRG>{#K{ZN)(z5OFx)E#N^_RL_S7j{P9oThPVvS9yP$r zz{5H0aNv~YB;3#ZWc7UhjfQn2y6XEx`!rxeAe%N%&*~|3ES+%@5f_MwhxPA?JbAc;@NH-)Xd_gjqf*tx4NrOJeef@XW2P7*Ux=!p;W#3b7feb z{llnCy&gIB*&`kQaH-j-$YCKq{&o}SUI7*`i770}Pt%9e-iR>!c$XNa=EFI)r}_-G zxkh<48Px1@ZDF9U77Vo8de~T{G7T6;0N^6b>Q-a^iqxb^!{pT(&;Ff?n6Y0c_z#Yz zVuB(q4Og(J2sVe_e@Q!=9v=-tiN*3uKFrdgU6w?Q4R5(tJw^Sa2?t}TrSS>~9GPGP zqDR^H2NZ7RY>XYKtS};3b_X1E-d&bLC{5i|6xcDAM+JIRwHOR#P+V&Z9nfmR=(5ch znD;0cY^m0Ln%yX6nr?cRLo40Br)ItBztt|cwvDAbP9b6g|IyK{H@O(guyYod>uV+I z&q&^`POMGSD!Ei=U|(EH2l{Y4ah)^pmw&D@9t8+Db=QbB5N zREk&rX#1>l36F|r<-xu+tCjb=!cG|I`egu|1UsC=O%5RQT?n?(>x6E_P&1?6EgB~* zV3SUjKG)#{F4nXu-ronCua(Z!)|UVJdkefG=rxN7lv=N1TPz$5q^Y>~Yi{RxbqQ!{ zw;D`<0S0W(qLOfR*C^`k@^=?Q;LuBLzl=XvZ=55Li2XVTlEq{OCL#<2g?M|k>$NzB z@SIP_of=vHhB%uaOi-mLGGwcBDOA^2+PSS^(zU1n>qDa$)$IyQ5U}*hSH*^~=xS7) zL!;=`^$Yglv9!wD{&&_*XcV)$U%@^CmQneW*boj~kIH|u#0t>iQ&q}C#3)%(-R?^_RAGQY;78)m_Z)c@N*XYu|Pv95RQtp**zFCd?SC?+i+L-KhFP2DGjRF-@ z8MSG-O~a}Xj{_OM7fYHFfoqivZl|0DsL5R@W@=|Q&=5E?&>zvp8B96T&LHvC&(KIB5Lag%lacNl3G zYd6#^zaJ|tZ$@B7V4iKJXII`ly8skZHW{Fyll`$BP?9o*Axfy{SN(DT(Gc<>VRps*W>hOFZOI*@Kv@i9R+3eLz3{n=bxY#928Bke)EUq|HYF9G zb}y#Lp#Kdp;emM-m5tcETiP^h5xJb^UB#*Kn;=O_l{ zUPO|!ge-62A>mxJS`7=um&)O$hDP7f#Hr>$SZ|jH`D;Zl`9Atv6MJcbx?;*7l<$Vr z7i(PWk_qCEhCWt+wTp{G^e^LevEQ|u;qujxW12Vw%|7%`aodt zHWDpvsq`j!N?n&Vv*a^%IETQw0&X7x^J$`$No24u12L2bcDwFH0D53rj7N~fYFh-da@63+GR6OA_I_^vYscgjSUdz zY?6&EHexNqlR65vCI&Lrq-2tzwNUTX8qWg|3X3;?Xwd!U(%A&aN++d3RiI6=xoCaE--n9<^k?xlb!)kDFCb#z?gs1p^z*Zr7RZZSaFtJX8^WO5`M|p zBF$8pRDe3YoR%uZj!>xhaR{DlY*L$F(jrZ}2PgBSj7>^00GM1%m0V1dTuhf-%#d8n zlx!BHpqeS$!-xVan0cK%36ec}1>E^3JqyW(QprYA$;MKR9i|4&B8V}==90RZ1<9zo z%Bs4_s=CY0DK69hSssr&aEZSj7o>$}|DJJr2CpWoAm?!|y1)~8=04A=7Re|@Wbq}XWblRmbv}Et_rLFkRaE(xh$4`G~?}f~K2tDKUg966I zK5m|m{@q@@O)m@tPi-6tQ>TCJ=;GLaem;8NVk8MklJkAVRJgkCLCH_jp_9Bb2-?e~ zpoV$?-TJQV990v?_U;{Y(ggN?++KZhNv8)}YHj#J1DEbNT;!X4|1G2BmDInpQzR#~ z_p`&c^m;sMo~2L3TOJ2XZ+E`dSpQ>*>Z0A96sf-H-=4T@JYbg2zT*cHeg@n=KfOBw zIX-(#Q=G>uo~}DRqx+Sol|U%W+@6o0>B`<+b3v9UAC>n;DK8USL9sab++`@wEix5R z*Mhw5Kz(-X{9Gc(#}Ds%@0-833uCmR7%=(7JsW-%G;j z%{Ab~T4uV<)9O0jqMPlqCFf)ZA&1#AoM8MJ2YNNfEpk4)bC}Plg;_1vC&*?ok4L4w z+vL8(D^uu2&3Ijo&f`^EK}Hq1#jIyCgWEcXE_F`W*b_nP^EXD()#MhrT3r5t2kYY> z$(d&etJz)t3Z_B7PA|=tb^b%^1U{@k+Ym~TpjD2St;`KMXIye@4|W@4$T4>Se#(Ug z6_{RmUXgn2`W|3mqMMD?%PX~8m>ZJY%q0*K5iUE~344x*qg4{4X<#&>< z@flV_7w+MJbtrv94kh`v%_{00Unr`Z4Un){!)NIh($@s*AR++BP%ENhYcM#R?ZLN; zq{3GLfy5|jxA@op8kMROl#OzDG2-KZt*c=6 z6R?nJ!??g;3XA3%=iX>K1c@Jj|Ke+l17KV5Aikk95&bm*<2h;*-Qo$YLiE4HgbAvBizD z)-mJ3ZB3gi2a7=w;v4GZNG0~&w#;>AQg%WfdOIoF(`RCr{E z$3EAhGHb#X=RbiU3kAOrePjaC5p@1x{b<+|z7hIan{nmBVvXT0Zut zp0O6ma;x}3dR-lAPF|@w-Y#R&=EbY$ueImW<)j~vqePWIXt>WK8gq0v1D(Vx{1O}W zQ{j)ts(o;g4z-V6LUMu6Q9P2SIh8ldV_c(}HJn7`sJ7xv&KP$@%@cFKpui(|lKSSC zQW(ivOH)wV-HSQ+aJ&;U=m_^P<2uNMC9~w7tu3w_5)z?H+rN3cTlA~Z1yM*Y`4K^m z816Hrl=EeA%2>&P%O8r>El@&;OJk>5iD^p^V6(;Gl_DXAjCBIvGOQ<}gB~N8-@9^7 zhU&VQb`=Y7HP$j3Xjg_-zta_R4D6}4v*GZyUpSi)yNO*HT;ot_OX-&vEzxx zyW4s=hPTI^T?$@b$8k&cGap6&sqKMi3KjYB>%EgOl49UQz%}R1gM1N2HHq+N9q;qM z`g`xE*Kls?k#rJT=Lm%}GgR zBH!w>>vv!ssCA*J(UfgudsqAW+6`H~^Y9E?3jBQkny|8RIS4wGwsmlX!;Dzy^R#S* zna^X=UQB8ml~{x-laUM~EWsH(bC-TJ1kB713Qw*JmhH_NfdNkOEiEB)X&0647TOag z)6Dbdp3{u) zt@x(%xa><42c07sI-_3c;R*E_Y5$CA!h<%s<5(Ni4NgeuB1ezI@d@|r%+kpM4?F(5N_)m9f{3KQ+WmzUc61r_mCb<^S$GZi|W4$3Geg#Mj6L#T_ z;{e_I<0$k+Uvo$CPQX`-aEyoFF+Km=XW<7@4|#(tJmb?&FBlQOzYTm_lk9K(R`iIL zNh~G1MML{&Of01lC$6OV!|eGr%1sUg~9DX zCYVQF$K>E9*5cL4^YO-e>x>b)@XWN*i~}d^Sfd!0Pm6q_b@O)72rhf-)vuW!ST%IO z`;()*uc+Da3pOPK_nTNa-;yoC*voq1Sppz43>yCPNT`^uYJTvTZ6X%sMo7!M24@BGe=$>QStR8j2%&lY(< z`E`iFLev=MpY$U$)m6XU6;P8C0cMT-zBAX4*tNxL&K{p59~+j+>lFuFj^m>TTjC?^ z+`0;b&p{P)8jJ%btbsG>Fu=UcE$-Y+OH3X&ZgyRf3$IaPV5s9II!?SE_R0cggtZxyPL=Lldai!r|@E~q_ub{~hCQzHqqUmQ{Cj+Sk z^ePc6hGdjiEcws`j&PUPLv%52D?F~RIhgU5VnaVXOOf4dJeVocr#Sm4^j2%t_sMcc zSR8&`{#Aoz4`zXopR5KZ+~;wm>^<2QowWPe~>TVv*$`5j=4`cr~s&3yTRWr>Q9i8wU#y2Rkpf8LtVekih?6jr6)hL>VCW|8TYC%yLiA z*YXIzo{N!k@r=&=zYjbM4il*f6Dj$$s^X-nQm*D~o>ZP~b#wYS2rT}J3k$WsIUm#Q zpMDQZwL6^)uG>T07-F!(pE=ZKmngsY=vG;jM>DYD_h5E~yl{zAP~k%ps6)(PlNjhg zY?oQwK_k0p84&UE2}aKkV)K}JA=IOHeTW%wcYhc%P>#a$`ymznV5S%TMdSk3^@L28 z8s6%~K3ksEZr#bBs4aE>d{F|Wyr2YJOT+oYcy9yc-V1!?;ojxi zZH>-ax4YY49JlV|PId+a<=@kMOGCh*wh(?ZyEB)65P-zcp<7&;D+9K>BSJ(oubvl= z+ibNl$-wo==q}5nPdp;Cbbana7@$?kM| zCbM||^u>9Axq78kpgrA|_OJGJd~n=)mCsn8^8fjQ1PVYeE!ljnWOgPgCw@I9g9*o+cf|#|Is3d2lKs=AJu`MzpN9dMjDJ|W?xKipHcrL0O_D(H+$w+2h91$g$#Lb9aqk{=a+rRgPzgT zI9!c>1^n?Z@W~Ozk=5oK@~?kcxsnGk{66nd7X&`en4dX!F{jrFEW3vKR2|E~(bKip zs_tC%=zh@>86lPQx9pnxMZ)=#sUWwUHqm*z>{o@x5YGBMy)O>5R*u~C zDE?X3p1J($Hb0g|><=vb$bD6VgE{cIR}ieZo}na+dcO<(8Yku@ z(@#IjJ*SKO+OMwe$nc<_S9DfT)B^)5zGeYMtr25 zBkYdiAuyfau}vg=(#e@CAOCq$<7)j##na!0`MkXsqk>qEiMe4{d6PcM&HvO; z)NF$kBuCDl*P)dr(5ts=sCerqJks4^hM9j2G!$o(oARio#WS~TTS<$7SKG3cl}hiq zat9RoqJTP*SkFLL4*=7P{}pHom-SEX^(C{xB=;7Qu_X4K29j|z_Jl@~vHS=3hLZ7{ zhVG3ev-nW=rjqe*_1&9DX6=pc%_Ot#@7$Y9R^FQKEhQ`80r$?5l?d+bBr6qv$JUZn z@VD-5B!8<&ANRJBRV+TWR+3e+u6ujQDs|VrgJhLy;oecQ%EjK>NwO-Ib?+isl@Gah zm8`1&4B~j$9-!+S*FT5>@a?L!SO=9QAIdCqVM}K|~-XWQfKZN(;6Zi-|hfgI@uaCF9 zfW*$B3*jQT7%q`S+e&`rQm!0=FN4eB3b+!kf@|PvxKdxJDx67TYOvY%vzBz~FWiM?x@ zC5i7Ucyf?rwj}=jqbG+*=1AhF4W8IrsdcnozQIbXQ4SYp@3}(aQ zFbAH5_HHT{o`&`|#@-&Bf#=`_cphGamw(|UcoklO*We9!9o~eu;BEN1B$KQBn}5N# zU4q|*)|2nS`|u%r03X9g@CkedpTZaLIkXDAgsKg=h|cGdm*&-hK3;R%?6NmxLV1N-}x1@%g1)Vx2Y>wl)a z4e!8v@Bw@TJ91ZHyff@dQUvb_`;ZjXmN)ShbW^(WniRwD!yE7}d2v{Rdso9Xa2;F^ zH}E~@;)n1F+*OifDcnj@ik8>FOC+Va-oD`~k}@RI;70NV@N@2J zjDG>G2R6a)!-phI@yE1Tjiec#1@l20cgraN!s9+w4oNrsAhajd9X}3pV1F*T^~s*F7wpZar{EcQ4qkwlU_JN}zUHnz_?PfKNniW} zv>CM@eNv#!pZ)Q?(4J-k@&Rxlc@0<#)`j(9BiIBsgZA_X;jLgBlEJjxm}C&i5ZpMN zWGFrgj)gX}4TE;g2=d8r8k_;`Y1((#2)Do;++|~P7qro2KV?5WNPjXKKMaqO*jUb{ z|L>vwvE;^aB*kEHSOS)WrJ&8XHpkjrIv%e8E0avXCqk>a`5-uiWD-6U4ue*W$#4p^ zd1eG02}eWwo|EAkxE8MCE}Qw+!wn?U@lDX?&l&g@Xe-N1d^?;1uaVD!HXGl7H{mV# zIlK+;z`O7scg?{cz<;SEbE$t4+NwPdF8~XY%*PAC!mtRrjpBuH5xK3xC7?Z*>3DnC z0d|Bodo0E~!!9IC@UE~M$x^&KwDG%)maR|P_n${@v&0G#`_A?aSK#hXK$6Sm*u`k=vTMi(~?v2q(eGa4MV* z_tCPg*SqnfFq_22@(Fm7WG{XiS`Dp*^Y9|Hy6uMtpv~>JBiaeyz<2N~_z`}hhPInM zgl9tAwc4DMAAf#Ea)i5VzOtRhQM?{(02`AZgU3ml!sf6gYz^DOcC@)0AIe?XxXq|m z{~UZAoJev4p8}_oGrR}M@!++k~bqVha`;lD62S8iDY_~ZC z+6r|Q9|1?vvh@?28*O~q9&8qz1Ltz(VQBle1NePtdoY_tAHl~YHXffstAow1&*2La zn`vLcx3qki+|D3(sDPajY`1?GFApn{+{3HDsw8%1u^n}FSd;t#d`M!uVp~HWk@SF8 z+sAkx*ngMAo~G?gY&T--;8SS7-E(Nq*Y+fX;V^!d_5Wqi=2)9oS98}(+~!GJ^{hYG ztZ1vA^^MKY_T+D9*+#@oXnW?j@Jo{0&?;%QdH}5s_Pg8fYro4o+B^YUk-W#-K-&bfV3Qk)a*%NL|&rzD2 zXTVI7Ja}GcXIuNUEG!T0G-ub_m3CgM4r{{N&`v=0VI$a^yX;J1W5-qj+mYI?$!7cf zxb1aqgxV>iAM6hYlG{l$3GLiryU;@5YW4SoA9%X&T-W%A8vkbSr z=nA+B+FONEurw?~|11tmLQBfQ3eZmFHp;B`mc>uPQzUl1Rc{)!_XacIOla=}*22Zm z&c${Xw*F(Soq?74&P`zpk}7yByg#f8?SF|6hC^XBXea&Qa3r*ozSU`~6_>pT8_$NFMw7+zS zq~3nxo)>1oOla@5vS2=#AC`ehn1aP%0ay^)|KJsdMPN}_5*CLgU@2G{R)-Z}S$|j# zmWLH#C0G?!hE-rSSR2-WHDN7S2iAjiVSTs~c7csy3)loUgKePwPg-Z#7TSNEb%euV z57-s*bmx&d<}$y;WTLfP0`tC(i?p?@@UE2nvqD^KrE^K38g6>B7UZgo1ja3al%f0yRv zDrsK%l;*W-e&t$8UjKDExw+Dl{gS-(o%=dTK5gfINd1KSdP)9i8~3B?G2bA`@0Pn~ ztN)ezMoDG-$~{+7nVsD?NviZ0?x!VHrjYw)N!9sV_j8h}+sb{5r27B4`+r4A4Tyge z+$yPg6Wy<g|@$ZJ)CAIU4`z=ZB689aF$|>xASAC)TPD!2oOZNwo zI#t7cm!!^~a(}G;AMU#)b@Pe)GfCYl=DtT#&+EItR^RKsS4Z>)cY6c>Qc~aOGm_Nb lcTDr!pF{Y6M=32Q3T19&bCgbEH8D8~B_%~qMhYhpBTN7Q diff --git a/pub/dissertation/dissertation.sum b/pub/dissertation/dissertation.sum index 928819e..e2f5cf7 100644 --- a/pub/dissertation/dissertation.sum +++ b/pub/dissertation/dissertation.sum @@ -1 +1 @@ -4345 +4626