From 8e4c9200a4a36eb001991682681b3e011fc879da Mon Sep 17 00:00:00 2001 From: Anthony Berg Date: Sun, 21 Apr 2024 14:52:51 +0100 Subject: [PATCH] feat(dissertation): add formal model design decision --- pub/dissertation/chapters/design.tex | 29 +++++++++++++++++++++++- pub/dissertation/dissertation.pdf | Bin 55389 -> 59578 bytes pub/dissertation/references.bib | 32 +++++++++++++++++++++++++++ 3 files changed, 60 insertions(+), 1 deletion(-) diff --git a/pub/dissertation/chapters/design.tex b/pub/dissertation/chapters/design.tex index 0a40c19..a5af229 100644 --- a/pub/dissertation/chapters/design.tex +++ b/pub/dissertation/chapters/design.tex @@ -5,7 +5,7 @@ \begin{figure}[!h] \centering \begin{tikzpicture} [align=center, node distance=4cm] - \node (connector) [box] {Checklist Tester Initerface}; + \node (connector) [box] {Checklist Tester Interface}; \node (server) [box, below of=connector] {Checklist Tester Server}; \node (plugin) [box, right of=server] {Simulator Connector Plugin}; \node (formal) [box, left of=server] {Formal Method}; @@ -49,4 +49,31 @@ look out for \end{itemize} +\section{Decisions} +\begin{itemize} + \item There would be around 3 main components to this tester + \begin{itemize} + \item Formal Model + \item Flight Simulator plugin + \item Checklist Tester (to connect the formal model and flight simulator) + \end{itemize} + \item As VDM-SL is being used, it uses VDMJ to parse the model~\cite{vdmj}. This was a starting + point for the tech stack, as VDMJ is also open source. + \item VDMJ uses Java, therefore my language of choice was a language related to Java. +\end{itemize} + +\subsection{Formal Model} +\begin{itemize} + \item There were a few ways of implementing the formal model into another application + \item Some of these methods were provided by Overture~\cite{overture-remote} + \begin{itemize} + \item RemoteControl interface + \item VDMTools API~\cite{vdmtoolbox-api} + \end{itemize} + \item However, both of these methods did not suit what was required as most of the + documentation for RemoteControl was designed for the Overture Tool IDE. VDMTools + may have handled the formal model differently + \item The choice was to create a VDMJ wrapper, as the modules are available on Maven +\end{itemize} + \end{document} diff --git a/pub/dissertation/dissertation.pdf b/pub/dissertation/dissertation.pdf index be5e7f26d60787e2a92c3eb7350074c359dc206d..7e7059c0e4b191a4f79035441227e3e783f269d1 100644 GIT binary patch delta 40703 zcmZs?Qwr$(CZQHh;eeSva@ZZt>5M%5S>nY}%b8*L3 zElB$uNG&=@LM=KefQ^NPj}O|>$-%_H8rp6BN`p6Mg8_EygZdGoG9Kj#42K8B4B>Q{ zNPCX3jU|h#@drR*GFC^bmobP54-`pITPflte@rZ@^`%xSz*ovcd6N&X*!3A7X8QK6 zqr-o>_#v4^s>GO90wpr|eOyA})g-K`* z|Hkn>UtxX)Q6ObZY#vejBL#n$Y%m1LuprwrP=W~^upyG_;Qc#)AoI}ym_7`<7?cBd z|3}Vuw<&7T-@4sXA51NqD>-Mj&2@MQ z+OsMFKxFHj%aBHumB=fbwK#hi)Xdzy3CG$zkZwaEK?3Sn+;SSMGfK(s>L7VloCuyA zu`V4T?qhaqV-`+zDSMBAPSWJkkE>`%01x$MW#P3`n*;xm2MNikbuP5~9$IFfse5NJ zh_MJiLmwc8fvwk%S?u9nnPm%gw%&dau`O{#mHJRWuN<2wYI1~F53@;s^9?LZ!i)oL zVq^UOa`K;(t)T@p3sXWJI!Qwnm=6RH>wk_33UE_E9RHq#;E@1hHaP5vT_@D9AXBkJ zxQNGy1dO{Gv2B=qX2rbSqu_}V0DjfYwXFs>0w}~nwF*hJ3XK}IdUUe1Ui>i}22+q1 zKU~0WFS%ED%{Jg_E$0UV++Q0e_)31#K_OZ8kG&Dk#*7|bpf5S$q9mj{O1~MQRj+Mt z%c|@+rj9|5iyq)5XW>se_YKJv>1v@Ouy6fLi%dw&usH55??KB@%iu}u^9o;8!Od&7 zs}v7OHwj2r*!C!gc;?S`N`u5yQuAzYo=R zhK~lrqtWmO`sH`q4#l8_N(dW*%Yn1NmRFOP>xWkCtN*|)Zwm%jVigb=)~ExWC?$m# zIfmoZPXoB#Tt3)f^+H9F$pD_t@sLi5c_Tk?KvU1J?Qf3(qOnl2qu;}7)^eb|9!h56 zcfXd=AaDh`GDN7~I}_QTT^qpOGq+D_K0e4jLli+lBE~HOc3e`%McAgFBhkIUh;iLL z^OTcF){v=VBrIThrqtR`m{s68EwY^+;%a_opaR$v$T3O_;Ct^3Di=ZF^uoOO>8N52 z2q$73GZ39_y_rnXQRf;W4C4GWA>iu>cBM$JlLCc;twqS znvK0wrGZ_^T{dgPkaVe$TRRXEEO-%h-A32L#9*NdIeS9?ijaav3tG|8{u%`_^Kq;1 z%?1$T(3_zA%o5)(oW_Dx_lqEdo(CL50?}|b4MNAmgs>hs7J1q@DrfP;S*dmpnqjq~ z=KV=nlfq9J@>p3#%u=vF!gW)cDCBLCD)ni#FeN1aT3bI(YFcED;$au@Qr68ojL>{TiHB-XS2V)6-U-o(tduW{j6D; zeF#u9&VpNg*CG#*skiaX9ur6tvNVG!L`l;)|Gpa^O^L}78OFc@Yi zDqB%ZNn=u0$;i~_huDLf$x0H9)zhKZE4(QYbD?!N&H1@JF^p@imvwjDXIw2M!)1mH z=LOfreR!LJ_jlx-S@UojRhaKH$^%qI9XkZERE^}%qQfRtB6O(RHdGNy?HpZ8^$7~K zL(B;70?%&G`i#f{^vB7T9hWMIYTyi!+2LZz1#_GGqqbNON=ZwsXkj9GBHZ>Y$7rczxs{pKU6*Y%s zhI9FBYw=PFtiylBa>vbW+32N@_it`%<7x+YLzmY9jn=M&kAuREgKUQd4)hJ9Y}yV% za&&MS(zAZBP^nXY#t)W2Fo)*I(E}Ov&b<Tc2~E4`rLjz#qKg345=xDx`d~* z?VL-F=y%k&$!?1C+(JITZ~?(gi0AR?k)_*$diQx-nW!rf-zcUykFMsN@ECI=lnF>$ zP=yRp z_)x8ekG2^R6SA^O`qCLJ7X6EA7PaM7@mqpCwLD{jOLNl7@yQ? ztQNBz@^rg9yt0)F4)e3RVRT}PVuZZZ*zYNS{#5vUKeBzkMkozXh(Xx6X@jHcv3mF_ za@-DVe2%C}xu(p61KvAzJ6&7L3jyE4lZTHi)L@e7KjktOJNc%*O>@B}%$2ijcu)TD~+y$Wy$HTPva+jZ>J+kJA zUZ%YaZqL{bv$PB8WyFN z7Py#ZMl+G8pNusH<1{O5&?VMGwH6Th3-Y%z@ht?V&K@6K6eWW13w+?>PIkzYxJJ2K zrGhH{b{BnZrRJPdDwBoZffMpQMAHO*n9Dz&cXg68175={*U8s;+g=vI#6)uWYUt%s z<{D9;Dr|P80QKr=C&gu>Mw&~K$R^IyTC*^`qFW@ovN|WN;m3q9kL&Dtw@lUMOeu}? zG^lX6c-ZfiOi?I*x^rdZT(#2de_p5T?l3bU;VGczNkdUolU*mO@gVIin_k8pW_{C9 zRu)%*9HlXFN$y0I_G}lM?blQe3E-L~m0c9X%np1-0izKs{q9XraV--Z(I|K&!IUaM z?kfH0I9Q?qu~b+ljr~#-f`4<%Mp$Athk3ZqJb zCoq)NJt^dI&`yGmLC#FA6({RnE?k83S}ixKKE=ElJ+*L9FgVT>Qih}|lh4mvqLc1k zi0AqP02=#+gVWhjDNO^5aqs?dUc%x&Tx;R51x-8s-w>KlI4R8Nw4B$8KeABbUFCPO zk%f)wwwPniL*DhK!D{+@5G|wn7@N~|e#_&g3OHLrFn{V>+Z|#ZVNc<8S>@C!tM;+6 zH1fX;N1Khi`{gE@25p$lR$Y;#F59Iq;Wj=x0VJ3p^1>g2xg}z;BEmVt&38f*>a|ixA3+K(1y-Q*;8c}hL3nUY8pZLO*7I1&2t(Q>Y8odTt+e!Q zy2sYgpA3Su7ev(v`Xm=`=eYUpeccM(jzVR+*NdY&GuF^&S` z=92NHGGd9vqrS=vg3#un@D4+UR5iGU0VRtrC>=S;;}(p=bRX_z90oSiF_uR049zR& z?J(H!<9t@J$KdOmzj>YY{CP|e5IecAGA99NQ^%eSeV7eJT2D@(;Z;JjHG{d) z3W~YSs}^mf;*yUL#4wu-YuZ!TjgNE@!d1!h%3BsTOTttejN2Sz4d2II5Rs?t04X*3 z9>gt_H;d!y8&%7aq><;zdIt3o%oW?5@f5%_O|F0Kb|q`sOyZH&sz!1Zg~4P4B{lB^ zOjk1{IfM43i6KEahQmlAqi0{bA26OlPJalmecky=zV#DhZ04&hH{h;50 z+tczm&o6REA0PD`Fb7}?r4}QLcN%$D6KO%hG<#G zo|t72wdES@e&4c0fVE^4Sm5hywx%VKY8*N!V?reGiSh0s4j~W&Lm&sw0lXr3ZzYEP z|Kw@ThB|Zv5MZ`{d$NRMtl@teu|6zP05bz8=l{*zU0P$&%x!SpCzPMS%Vv7M!3aQ1 zK=I1HKWK-uOExEnhp{g`BAX=TI?-29$KnHK+C%wh@%Zdn-;NIC8$X+6ugYUni!Sf) zuK2HxKc5fRKlp%5pEuSlFP0)S*LQnvlLKMCEK63(Odp+}Zv$&UyC$~R56XKE?N^Mt z<=3#$_k9dLfb;8YWV}5y-F(e-_cHUYI(wQ<3;7*qaC3!E&~$f08N4sea4TET>8oLG z#JjJYuKW4U>qvEZf^!j6**)L)$#hkIM?J8tMj+0;r0n5g&q0i=erq$3#D^(?npg0? zuh)7Ii$W+)@n;GE!I2D!JfWOvbUSilM}|6ckfNunAigWi)GWO`e&#)Kx1gpEzAyJP z;KC`6ZjdbF6$H(eqkZDr-$n8v*dM96Edk^rAs^pC5`yxGzumjT&IyHyUtWvMH*QtQ zt=i?Ob+-DznP{Bil+zM2Uo&IoT&`1|OVEgsD{@MZP)^rd03VI~;p+a1xa>Py z>4GaRoS&g|Kgcj*Bhq>;ln_7I(_r%6ZN1~%5G-d279SCZG@?KfANh5Y=i%moZjSv0 zj&*qE9=!z+?0dQUNXQ;=`}VT9pHok8T)l~n`6g`~Ya&ipHUnAc31EW(X<=+9;XDISnwo&dQSWoQ@=z^9)k(2LWl;bPCnb z6NqZPof3LxioYl_u6IAi;3JoUnhKP!+vZu$ut5hP_;wgh`F(rtwCA0mqG>H=5Cj~} z?Vi$z!ZbZkxk9zNX{&P;3*Mw+a~<)NK*9(f7FymPkGtDO*pvnJY9hGjnEAHJpU?$1D?NJHes z^baY)di(C2f`!wKK2o_j9!1;8!`^NJioV(f`a=z=hILPXzCtv5>zoAI6~BsmEvhqQ zHZ_%nS0NT~F8cD4UQu>EACtV*|EVznY0IA<2B|Sajk`&fK+awRO_i|wDXBV^m(;O4pJH8X!ojScI0a ze#A%5Wrxv55>3Qe|I*Qrg9otn{%q8RyA!FU1BQkDEQdmo%=~f7p^&_nT9|Rb#-Ll0 zF>0hU7pmV6L-M_+Rz^UX$=v#T_A(u;QtM>7|NS1JSadzu%K=$I-DNnMl3N>mIE%RW zWN+M1G{gug0kKFr_L%LxKWg#-ssrq0H!Zp^+fm*~`|zK_;@=Ao>0)8U?j|Z~p4({_ zk~)6bJS#&w^rnv{YCLEPjjSnvzIRXySzLKeU?A)?pG36=F_A6Cm=_aSjAU_)DZNG} zP6#f>5vD0a!Irq-%5f#GR;u1!0pJ3zP)b4;U+=Atud=lVxLZ)OJD0tNDyUa4qBPRt zPeuN?LtN(ovHk4e1;mj1uj8GN*i&nkvZEZ}a9&lWty#fD+%RwN-zcPj9||8e{%FDY z2$kjZ*lVUSpd4LNUBjCzo$u79M9-mYa0r(C!bh~O9FE-K!z_@)QrTNU|3Y_(HtQTg z>DN!s$&{W(O&rX@A11f#8T-5i%5MUY4(`tt%&yj2sdE3G3CEha_I>bj#zci3gm`~x zvXt_No5$o1O-x@S3ip11k1M1OCWIT(S!lqG!BwD7g)V*9QbGV0AD$maA#gcem8C}B zE3R4y5}qNm*!F=dg6x~O2pdIeEAe3Mb}O1XWD)N6U%Fyf)_#aWDHtY`yU{yYH?3%`r`teQLt&h+W45`RxeI)b{|M`Up+L2h=prFX}H?O^rzEni{V-& zT#rye9LGtTTpz~rq{?WUzDjm9tUcT~acWLkHw=<>xP+?o1N(?*6vMvk2SW9eeoe%P zFcqFpz}JYr64d(lf#-7%)9h6&LywXBh-5tr%W}m#cKho!$R;hX1ry^Cu3fay%FDY^onzeA(b(Oi!!KTfv1gv(e>74=@Pz>04}@WsTDPHE3Q(t>%$!CnK7 z^4!hEy|d#e0>(PfT9GS$#bAfKu<>J-Y4UlkfGxwObvboMY5xU`{%tblSK}1?Fu@~XP6g2aU~-vmmljyb`j2aAC}Xg zfpLA1>bVI==oFAifJ=1(nfO2wjx&5*aY(!W3p!<0^|{p%*fh-$9gc}>Xdu~)iLzto z5>DxK&oqYv9oZ7a1nY^*#Uh&lls^p{M90hTW>sM~xNkJ6%>?~?^UE$^L)w~Ky#o;H z8sP~7Wyt`T6VGxBd5N_%h(!^L`xBM;OyCY)CfFDtdr%?eV`{`PQM%}n7bv9|k1}a$ zlt%IOQcX+lihOJSnk_+bRv(yGv|X}fFI!;_I+s3c+T02u&hHtgw23zP$0{;?i+ye7 z92e2KtA7>~cbtiRp880STB>%5@_H?w-ZnZa!J}5OO_vw%<2C93^jh(NY=8@rZj*}wGbq$Z+R4`| zn6m^#M zIp}7N!B1hf(ha&4^Nrh;zUz8f*JvA|-jNBgG^naly$bQd;17Z=k!lf36kLR4%Jif< zqP{X8&x>lNIkcZ;CmhW%&7LVIPAZ%BR14grBMPXqYX5(U5SgHSz@j@fg8#vlB0Q3qD#&$ zbl}c4@G7vC^5XYFl{XJ8>dm?#wrKekz4(o5)gXk+(X^ zzy5Gr><7;*HSWKd(6CRqx!DTpZ{RbOq`#FJy2MIAxu{3f9c2G3SOP)H5zFG_2C_#t zv=cmR)POmqrDb1GE3T-vKbQF#q3PLU&%* zGJpXEeAg2oO2;mCSD?y`n771be8FbXQ8%FyBUj2O;yDN4pThR2^X*SKBq1NGOW>Ij z3)b#{d)M)^6KL0x2Q2E)>(I)LOu}i1vi`-ljZZbrEE%%KD4P)7YM`jcXeg<5!B~powJQIXiE-Qs zDVJ!7>j>Ze7@g`v;<$?D;@Nwb|=$h6;Ne8%_kkB3{x#yk(PMji|wTXS&>Kxj0jsy`GCY3OV zf})8?ng!Q6!wpFu>p;r{*16Qe(Rbj@BNB;mW22+lP|5^^^a3^6>Iz8g27yUrh85C8 zBvNVmjA0W*OJy*!4U&!DLVA-L8ucyfAH1X0WrinBI;3}p&9GCTvtLAB*4sB9AXd2Y z)c*r75c|K)F$)9Z{{Wn@W#cb^7(M#6J!p33jJQvHhfkjClInb;AMKfC@bnjnSDQy=qHwOux5ZU5(mo5)8mmWzMI!z&N z=H#CTzLY}5RoDe`YWCJihVXzH?#uFcB4qghF+Ig#*fV`lYwqIC$(lWjX$PO0ZaM8= zDe&pQCUl@<0a)4pR}P6=76%Ofcx-73QYG3E@ zYGs+TP(c_tM=XKUlqYS>qGOxQnVt+FtbOfGFXyZb2C%lxd)z;raZZpREpNY+yzA&h z(Ph%?Lf!JTzcY-#f&bZdo$1+e0bCWC8Nb&*oNTE7{=)~~)|h`!zR9=AO^@QRO#Qb(By=oRP4B}FT|T0m_g(K`El1%^f!*}(v2J}N;j8MR`*VoBOCsTo=Q}g7 zv%c!HiCPLj{P;3KlZ(fZaU#St`?dJ}w=2B)i1M3e;9a{8{K^7L!h=MG1OTlN#Spsi zH*uF3lk_Y~BRFkriD0R|WN9vXu5;lY!#ubYw7w60=3xnN#z*D=2x`!hqy}e+;{VMr5!&uuyTkeQ~>jdGz3TDAc_HLML!M6lRRK z`WirZI8a?|sa!Bw(V$u22_|_9ak(-FUz!vPsld`Ex2Bw9slX9wb|e%FpRyDSmC@H& z9QCKw#EPuvoaJPS;hatsGbZ5-Nnp~4SqHqC=rZk<`Or+-1w1G1zb zDG8$z%lXaCJ;-YdC58w>aPFVMX39gffX^O0OuHr!k2|KOn+qUcs%xOJL>JcA=h}K& z!w2K!s^E-i&YQ8)K0D6G2_YX+9NcKRk@i*=e4cz-J$>FzJLbnv0X|zli!UKFRg3w> z;Ntu>AYrNQEtJ(KaqU^w9&yEfh&m*N+3{1}oOr?;C;x^U z$wy!mA{uEC77JJo0#fmQYx_2b`k}Bm12Yl8X?ZB&c>c1-Q)kFVLqf$9s2nR4v_xca zhBr)tGXwE>OcYSI6`WN`74hFrfNZ=qPMy{BZ##u#BrC<36eX6=3o!@Hp6wW}GE!MN z-O6>1(xg@sLe(;A8w??0!Nu^(4Cn^}EO^`TA zT$qRiA7_o;HtqTIbM!H+N#L{mo#*R%yC?dj+N8XlnRQm*J@{`Yb3^AJ=yXINRxLUN zH~@*0&UJ-2zkqgmJF)rs?|pf;HH2e9H0`;qUF&LZY#_1nV47-o6Y8bXCtNKB5U5U? zh7H9|;v3M%bbAIF*4?5$7N&T#g;5@beUmJkS(l18eCCGCYchAlN;5X)R?+ZScnNCh z-=g7hnGR8hiP+NAC7%LX#77d-E#l*G@Ch~av^b_QZ)TGy&E8PWQI7jceGhe~ax-+? zKR{je1$F;Yn}hMc)MnxMUuw(S7BC4I|Eiz%EKVg=k<1 zs=@5w46him@i`Ymvj0%z~nsEsh}r+b5c^p$}skAoUl9)w1GL`e{m@nbQRsjL>PoF4SRM!fJdMxx;M)%ZdW zT}o4^5`jbdvxo;uUk_}JXk=(w**l#IpBo|o);Wp=N*@mO$Kf&0H^o_y08@flP|%UA zoOYHN3~UNC2$)w%VOFLzPe6T{Sm7U4I5h~Uqgc$!REAWWEgKnvIf*t{J_;W2uuf|U z(~FC)tE=36$v$^!&@=9+0kXa@eB|@mxLV*vQu8}v}O>A8C!R{rZ- zri432GQj@~_jTiJ|0&23hj%_GuT4fMzRfMw5e-gpqMfnVeSBFsb#uuG&tZDLSjfHW z0ziFIJflzOeAJGM;z3^d)gG`Q%nFgvJbAUE?FQ7S=pzLr_$m)=wiyrJ*3#1GmkD2Q zhQ$BqX7kS^U8jzxo(<@08*py}(zgE4i(&-y2BV~m5r|Nyxbr@NxD;8ikc2_(&M>VZ zxcE<1%(8oFIqazACY1+Gu~z67<3+U@g;@CZN-M9>kwoagT*4igrCH2L`*SKugmWq( zB)z`)5G_^h^-R(&&Dm7L`*TR)qKbHme}tZjJPIZLJ`%Bwh9^|qqkzYu!!0wF(T(ON zn#V<$-a0qBYomFqGvd?YmcQ`nzp}^Fr1J7gp8KoV_5k5V5w81Rkaz591jf?2|`wk>t8OPW=$KJ zEvTOfHWRrlj+NqiCtJK`68n5<>rMtFRb3aEYwhju<%b6Ax$AIjs2{t{>+YBv{0(cP zbOwwc!0eGd?d5B&UWk;6Q}EsQT6}0K`^2aF&1o~^iP+@dY($?MwH@vclmhpq%v0;v z7jx?Rrnb;I!ilY%&$(vx_P8^V-J&uWbRpd}6(`$>cq;?C!zur7$swyP{xb36cUL_5 zJr}N&o*>-G0a05#Q2SJ_aU4no62aeQ@X}EJfE+{roXh~V+DJi54S(a%22hl}NT|0% z&_erS0p!fOBa}f#%{1^jCbH@1RQp{DEq{#(ltHajLqw`@R5Kudv?M27K?G|0LH`s|!@Vy)-%NRuxZML_JD{ty)qN}QEX<4$+ z?%Hf_Y(6??cWeE5$nl-oxzf8QNiaUnoOIp3@!Wagj#FS`OB5l(Y_MMdpm_(curGQJ=C?#^m>8Z_xBL*ez0SAe!)Dav15bVZRUMQ7JMt9gOZIKfB6L`F*B*cqC# z&g<~8HB^yMu#5cLow4B$;9NdHnxaCV^4Q8|@b+@j2o*y=tI@p4Upvfq7si*L4mSIH zO3dm5)YpD15XGl(fLkkzjE#$kS_Kt8KXM(FeU^U*4z?Xz$1W;yIT_$ z^@tEUKL`q8w%mDiRCPBiK5WJod3snLe3J|3y@dRT5zuSMS7a|vhSX)`StY#*Oj&3L6 z=b3w;>Q-u$h2m4#T3=Sy@dik^ zBSYMewS1EnFbUx1MG^`1Gq$MK-yiJzsC!x~9>0lg$E!UuhS~>gf4ccptqI zOPiu$2DTrX(_bK^$M^`2^RoNpv6sKOWtz zn@PKjv>vs<_vh}6u9K*$sOlTz(DJo3B`%GfJbteV-bR{A$87Scz%;v;xCKTB*{#qN zAs#fqZ1}CeEFwvlCQ>w2bA&o09_*iszo#6b=p-w>k}S@W5K4rCs&VFAsp;WLkvQ22 z!K!=@t4}ag{Ezzq8~t=ZCEsN*8k1H8nQe4&Qvm4?F#M z6?MQ1Zu>9Q47kUv0r|elK7OEeF@rqwmq-SN{k?helxI77r0ukzfMf4KUl5-rkTS!XhEyjC)I8(0#|6Brw)Aq}DTssq9yXAshqa&9(Yv!#*=oAR1n|p=@c(K!O zKP?LnR9V|42G*}Z&T}9hoij)4gk=Jf_Z^mgLTumgG9I{_BaCLy>0fI^qGs(iMTGnZaCv(v!!Lff26U75bNg(S1BY>Sew4ttI& zjKIL`agKuVoU6D0h_w|BTCp4g93hk!o=3`F8cFbK%xSp?C=`HoiEetf`Ocr8dQ+*kOP#IxTs=9(XZy#n<&}CPt z;)@lH;fxEGY2r8*ob*n&D0i;Xc9WuVyE%$QbB4%@m3_E-1F1CnL<9mcM{F_SdxvP`ik$!7ssYyBsn=r=}EE=T1_w5AhrO9NsW@7wJyTXuG_ zBnRhi>{(zo3w9=xyLJD=W-8~rvdTlqmYaSPe-gVCzMod^de$~Tsx3{;L}=uV#7Hs1e}^iW1D+mE+0mm2I~m9=CffCQbn~{B|TR=kXKDC5BVm z)q6;3Bt+ZiLQH~JrN3k^6}nB=E*>K!)Fsj3$Dd0_M4sHt@9i609>evG8gZQc$lHQX z1Qr}GKxyH1Y&;i$(MkaiQ3&M8WaepMX>NjZ^S0z-T<|<7SO!SEjAL7{mrVrG3UnQj z1@}y2%gGpizlr3W&q}zsnNLvHY6aQYj8s`zvXBVs-qNm_d_NNPONO_R12SW9jl~hH z=P%sFc`TO~kJH9RsUNTXmeyJ1fy=WJ@~$23fK5-YA&u!71{w4aXA8Gnv6I@!3Gxe{FtP@pEF`;c{U2;7as%dA~YW z<#qPl>jHL3o_SI2AaPTI_vhU*8Qq{wLraX8%n!LEghL^>5=XG2KI%Dz4Lcd*q6ouP zK3px~doZARgSRaO+UC5Bv*%O_(CE|5O7XqOq&YJIIa+;chv+Fd$9d-Zfs@A0AZ=}V z_*usC&)S+rpz84h;L@eDbRwF;5!NramN-+J9(>NNhaO+_h8gDE%YnGNcz7Dh&3;)| z4P)%l?ER3Oj^OkkQ(%1GIpZ;HVDX;l{5-nI9hWs=96Gr_A5R8+ET43I)R^Jl0^l#Q zebhpL);zQCw;%C`vma3i!!?VDK?{K*eQ_1&M=E_?K>x#Sevoo42;L4i`f*>rtq-s# z{03?T8u9)()upfgp|_!hYL$-o)S8rE*L=IWULQV;5MQ@NzK>zGT~_E0VXWkkTYsJ8 zK5zS+Z+|NsbzNd(64W}?TUqueG47{692qJAR(p!+h_L>)p6wKq&5Z*=Zr-oTupGLS z6X6cY#%{W{3)$5}%((sulZoZtA33qllBM&0CZy+nb<6-)D^QnnQW)XZA^wuovNCkP z3Rs5JIxW|>>4rS^IHB0;(oT7}jimw8QTYs%k#9)=r20WuvAu}c#a$Xz}?`xo#tYsb$o z?dI80)Rv(9N3MAg%5ELF%KvLNUEE(8go9BP1aP6MT6jW6ioqNox%pgq%fZ`0c<|Sj zD`zd?4zrjBT3?&ibz7M~?emxIKDY^By~KfRH5{HX&WD=o$HQ;h97EK#k>sXgFGEP- zQtL_Ua0R!YajOsg2HSE~PYNIZ$UfpU|DKI*u*S}fq_LlZlV)6ZU()wuBX&1V=GaE1@rZ`f%%0>_JtixsYjk-Bt@_7%_nO~` zx}$yDsK$_5!KM}-&l#199Ru-5YWlGGPO_@FwQbJO{y!^CgR%8xTycaubZcYZP3GXh$ zlaH4KiS{iU9&f4J)2T+^b|^Ad??n>x4loEC$)U8~3cAaNL3IZoa^d?ODm5z#_l86N z_X6=!tird7f=QkDvRJ1D;XNN-6zgK3BHY7zMc%s}_I(GO*b6uzW4DJL=`g0FtA|Cu=5g#HC8=8(3Rx@# z@*isaCxpMdI7-hN@=<)LueX6_b%F42UvK&DWRC*7lvs-}=82l*lwFGtrd)qb0e*uzP+3xI|v}KS%zHE9r{%^+cy)s zI~7!xHw&*LtsV~msgbDdqY_yc2`!`GMq}tdZbI$6wLupQdD^i$!BD$U2Ze>SaLQ+g zoc5U65Xz{SXA`r6XdUBFBjRHM?@LwJ_>1}#Z=l@&xn|?o3=LtKpNr zabLc+%}l+SV(t90aL)leGNH5(OQ_hTrz6v|S_#Wa)Po5KY*`}sW2I_kHtf&qLwv;M z@m9^ATs2zVGsqZy3o^y>{cSStiJ3Z4_Q-ypMv!TiLQXYKjhG1v ztjs{&kLI2K3tmZ-#TFLcYw(RJAj5yi!d<(?v+I(a%&-U$7dx_u>1Q_F*@7VNM~F{ow& z%%xPz@hR3c*&r}d*Q?9+`{^V+Hgwd(^oaXQu?T$VNbFMOFZ3-SRQrF&7@VyC4k@5? zP~f{$8;kPq=Fq`@k=TJf{nyI=@63XogY|!A7DXNq8YnC4KQt59`obnU13xH0~p!sNXU*SJz8JhX8aky zZ5Jf)L z;~8`_G`@%jCV>$Wc>Mkf6&ws1WZusKuFHMF$EJORbxEndO#~Nx6&sXEV=$j@6zwBq zH0a*u``xTe29QnXn*QY6Shn%Ml43{r*)6pL=xMhQ$ZsSeTdl~{>SE&z={+^!qT(1| z&^_71+}6WA*Kbj58B)Wf1P5(+gn&&5^^42bZk--r+hC*O9NSL(z$bu9Z1opqH`f!$ zo2Oa_#w@y|6%2@N6!i)IZm#g=Efm~S+PFKgwjL-_0%+%ihQ@LtlZ%aZl7oi0%Rlbt zK;>Y}ekr_)Jp4rIS@gIZye?6r(Q01Q8ViXy1y-rsrB;=&^iQ!9c=hMVd|dah@74;m z{PO=X2qhe3Fyvqi$B>OA97Z|_y&D8IBw|cU6_O$Si^v?NIcQ}Fe+P9($(W-dKtpmF zDmrLr2!N_f)DWW~S3{}@T^htPq^*nAkhdbh35^OQt_xe0u_A2#y#a;ZpJYe82_-Ki z<@TE|kbY166&Xl`;I~X5qJaqLZ%Gkk#z8rvV!3<^9B4;k*C^axbGav$u>7!xQX9*`<5M zO5h)pF0d}kcbaSEwUcURg`Ga{hxeyz)6pu$8;9d;+@4o8sxFGx( zsjq#J2zc;XOr_p-GkqQ4EemvyDU({o=8)VXAA6GsdI2bQA-cAfCLdF?wRu?sy|rZn zd;okoxE+72N?FO-&}OVQTt(o74FMxqbNrMg0#kcmNfIgv*@J6pPcHt*_S6zL(ger=r^=2vkIjT~Bv=WdJoFh4!2HD-XI(qg zf!XM0L%Tga`RBZmsMgEW+1lLQ*~el49&SU!k)!=aA7G8k{X1^wLn16D% z3$F#^I>9p#*URKJsq^e$zH0nPL(gEp*KOtHdXo0zLD2#F70uF0hQUr_mCJ-z$x z)pCq=zjVp(AloQ>JF~Ouqpm);1=w_vL{XZoyM}WA^zeuyxg?A2C;i1ggasxl@`;8$ zI=a+d!kHdc70{)O+8kpl9is*})siz+XN1TQDpIv->aYpmwvLL_Xt|kc^#%qkI_4mn z7-bpnq_Q7mUk%`YTcZCzRGnjRAW@q}C&?t4*tTsunb@}NOeUB(9ox2TI}_WsZCg9v zZf(`>udce){qxqn{nT^L`?9&A_r6j3zQNIc9gIKq$z~S;X=!^Khb6lg>Bmyt60`Ah z&J~qnBvA9lp+rIjjF)%i4?8-e^-U7rF(e_gW$B4vTSZ*JU|5*Vj2YWx#b?TUi;m z&y~jKN!p4C3~}t9HHcO&1~EqDzLaZuu)K_fg@vSqvZA4x9scwroZi{4Nuff?f)qEI zaB3{@L{I#}IPN1B-%TmFJu{O``B^yKfaNSP4KbcG;`*r%nH7jRA^I)y=h<>Jq>*7m z=My_3a--pggqewp=WmaZDge=w>aUY*(=%r~pgVc*=A>RQ5@{ZB%t~NA=);b)>1}$E zkWh|oL7Gfzj%V7cFH!c~$=C;Cq8wx0NaF7Sj}u9j;?55pT8+D|{L4T+W*(HZHp18P zHq*yy1^<}V(KMs8{3)nDx3a9h(y9LO=Z26$#qyecn5E6yfsM)CAE37Zb9I$9da46v zP+W{Pe#t`ua@9=G7>?V2+9dpz)X<2Rh_)A=!Qgtkc}3|nz%%Jcz@IH=mhr~Pts9dO ztFS|sITSOpdL?AVXpsKSYSENg&e8{0AJHwkOnx zmHQ5-5C2e=-i-HUT4lsa)(g(B$rx=Y<}@W{&G%3$Z6C7GmavVO-DQEloFOeb%c3}2 zj*I7Hj|+yP-y(A@Ls0LhV~Sz%!fVb6eExB+0K*qrsJH7i4xka?on&*pZg&M{-{p~q z*PiGhbsVm~X1Cr^=Y~{roFIWtzs&3LnkS7gxuEYhoSt{Zt7v<_)7{t+7<`M)ZzB@y zYJ)SoGxNKdWZWkRr^M`%!>+wxOeXl#hMcKzhHcZAPUg%-;osTvAz{_WsWClF{6KO$ zw7!MM$TIVb7D$O=9+*G2!?;J!XM%u)4b!xC!pG){MUs6Z*Jcn*x{xP;i5;0&pFLlw zu^fqz6$T+cf><^wn8c<|&7ClhS85Nj!-u1=7-9XeWf!T43Q9ZkkqsSa!=vMv7+V>o%g1CO2izu#|C-5R{^>WVAJEg9s%$`LKyU%e z+R@A90WjO)D5kDVO2J{~xih(=Eh(8)R4-Vc2VM%!4NAj==Bgui#&Q>?1c*l~Ag{<* zhez_hAMe8v9Yvc-M-Vu!jX0!Wr57;g6aAe&p@9}Oog0_a`aulV-?oTS6KTlxE(|98EyX$ICl8F#JIa zrDIA&?LhuzecpRi35VhRX2<;5g8L4~yY$ABg*~v{=n9eLw^4(W7F3)E$8n{az124g z{phy;5Atpg5&dH#?LMelpSIkIY|H6VQ`dsrGa4X;!}=gS+y(LD0F~;~ z@%y4lG)!hzq<33f&yHiIqqBJ%nqPe2GcW{xCfReZ$yU;1&1Bix@bsi_Ip;8Cyw9Ig zR)yKj9&SLWiq(#q6D2Uuf-4;LL8!#)wubE8K%ss$N53mV^tTOa^Ny{)k*ToN0bRd* z!lt2g?vtahucs)EwwtG;X{(4%*iOmSr;NW28C$d`h#_y0SRq(_<2bu+AI4=cJgzj< zBE6B7r#8*;$*$tm3xt!*ezxeqBh*>2y^KY&sM8;D*?r@@>@*iyJVvS$pcob|{HYRr zPIhE};-01UerLObGfN~A4S_8@0<@Mjqt6~}fG?Om9NnIJOkOB;rFE2hl>e3D#|TJs zZXY{abZD05_-mK$OOXQyrMJfWZY#%QDj2h56Udw&co0D9jJ}qp+LD&PU7q%t>59&+ zXl$J3jvx)UI{ZOe8d?H>f1sTmGdjKDF=`Fxd3`u?kEqE_ES;Ja&brz_42-D`-xiC{ ztI1i_v6&}|kU6A7J1ep0gnGj7c`eIPIP9tg%lcp!X+TW5)z62ZytJ36`;GZ)TGfto zOa>Ni_u@R_32b$In&MBJ2w&i*X^S_Z_m1%s7M=)1tJ$FY$-DmW=u0!R#mC@G~F7%FnhjYs|cjq`qTWJB@49Td`Rfmr!irW|Ce zGADi*x+#DEMLINm59Ui7CAyV=U}5;@ab!>58UjaBwL}2cu!BP|lL1HYQrTRLbfz{m zbcE_#^BxMZ)7}?qNw`Fovt|xj%g=<=1e9z+NcUb!$E#_JOS}p$VZen9iVgDY?2%zj zd$kl&hn=A^88$1SF6HN#h?T8XQIuTQZz2vH9sbRt%4v-oBglb1gF%l-HI$)n-J;3F zp*h9hP-eBkM%G9eLQ0VU-V`Waoh!yv^)OAbXmfBASO4@3PvXqsTY#L3da+#jUc62} zg_{a0$APV{s4T=OHQ>@5{@0TEYp!&Y**P}Hvm z!~t^?(gS9YZ1K7$|5^G>I~ z48+^wy>Ocur&4Pj9duE~Kc$rP_i_RI*|4u4g7Y(7K{;PoGO4lcJPcN?D~-H1E=Mj1 zXqUNr8~}LczszXzh17cjE&MiqKFtCGz*eB3r&ccyUzSP~!;^JM`he_9jKM0!c5d^- zS$eTi_!%XZIe^+*!JNb+wbrfznbp3TOvpzrkX`p%JEES(9&m}W*B0FS+=>!Q!q8ruR0Rc) zhY+@Ey^Hhz$p7Gs(N#BsWr!PqAa|n|IQT@Ad`9N`{!)*UEoJr+l?we_htm$G2XA1U zwo{vbPvzQ@hlN|dqCGu~Yjy2RZ%9Q$yd~iE0H4*JG*Tv84{P?hdn;uTmsgCuA2xIw zxh>TJ3q%ji)$mO5kZ(&`P-%q@=9La(MNlSeE4}ZGhZ-||&{2!LSnMAm;OFmz|Bg!a zABI~mpug;T^G&sUk(~C4*5BiA`NE{#zEiy&)0hW)csb#cA2&0V?#Rs_2j?8q@oQqP zqDKq8XKyAo;&5^%n+!DR=)KVVh{2=C0K4Y3M zyGQdZ@dVA)k>|~#=>R=)r?|C?0OI{|6m(q;!VWb-qWDY1^CJ$AX&UObll}@+09L`& z1vr~05>wupwl&l9;lP^V;GG3KV4VR5927{7$<{xM(AP^8Sr@{!2ufZBa34<^h|opcvHVDdG*57-Oh*JJbfabiQRlFy6v zWld0}3V(vnjT$W<r&FOVn-;D$v>2u*APWvV2pp|1t8K}gwQqtn`zKu1}Bh(rvRWM~N z4=0KI`<~?vW2&FeKAYjt)9ua%vW_+&m_)utPd&Pjok<^$qsY7t+qrm8fFe9@*ATkk zpjEQ9b@jf(ru#$&TG0%CD|i|K;C?wLUE15p-2Ngje9?`;1?D@ zgaHqh;dL~0weig}{&r}hYDD~Ld2c_v7~k{fu55J`mezgpy-sG&;kY!v-n4IWt-BOG z#|wp&gJBl0WM)PQL=<$hp!y({%~Ya&k`;x*R6N4WH`b(2S<<>BTynG_6$U`Z;g8jT$kltCM5 z{!cGloPSoN(WanCQ~zw$jaJv-Po(g!9s;oU6%S20@XoQjBAi2D)IGnP?~8AW1xXUU zS!he_Pc;XuhFo<3ex;Hi-jf|)f%R_B@w zH$U3MXOc|`VQ&V(>NS0VJR2^*Glo)x6350ny-RG!n84Qc8bHAfZnT=sB2T_^!d{%6lsD(k2R00(T_!)zuiwwAIU+gLG9LI;3M_m z8viFF(WUu z3?BDc!A2$`ySy9k&g*1a!Uk2No*G(itGD<4Ze_R`#KaW9*#=c1P}r7dS2wCkA&k~n ztN|OIIh@Hz#vq+PF$SuTylId8j9u;O!dNoYc{J?Dfe>@nXu3YloE}6n{2|egWQBez z0!B&!=0dR#*5y8B(`-W%+;ISYbUb*vC_YSV?BIiL5qC>i&`$bUD!o0=nu3U+GTKjC zI9jH53hx3iEo-%{_Y`xshz%|VFH-*vsn4@JO?)!On9=s+J)F4be`CZ(Etx+F{Y8d1 zPi7e;rmP0hpjARgSMR`Mub|sQcsp&bpJJ|XDsee;;f{ZcE`a91R3wC4fogo#;Kxjc zL;l!zN$jtop5fR^xJAu!22X1c6O5_7OO-d0a?=N#i#riJ@jLy%9|s>AnQNO{DHe1$ z-N^?_M)YTg9o?B}_PZp8U#}U3+`3>c4MiS=}P zwC2`ZD7s$o*TtXa%CSoR>*^vm2A)h(fBkLT01AHKVA$&BiPjk#3V4RZ?w4DXXzHuv z>GTD>wxi~Mm^p6;5`*J7Vs6qDUd?xTDtZ2>V)9dBXfaLKjB3924tf(DUg-+l;50SL zgWd+-$K(>Q5tQA&Pe_i^$V^QvfZRuO{KXKvA=R;H! zxQ;H_;3g8(Kcg|Y1})1#Yb9u$I%}1ZG^Pen=JNU-&dp*B!hzu*`i@UsBRU?dE(s3$ z<3hkZrHuUHqNSCET%g7ZN(meJC3JJun{TGxAAU8Hxq2|b@#{5^Ny=G z#2E?nRjNL?Zb$ZsuxLR-;D~RwG&FiR7hIc>qQR2HBG~0-x_tBcITyK#quwTN$ngw_ zS&5LHzRZ#Nf0K2Eep&h!_cY)+^0D9&r0(;^c2u=hcqPxr@@L=k?Zx}`nA^DZ?_~rK3<)0j`--Vnj`9p{EAx>;}0is*<=>6Wgm)d_b57m3 z8GVlGep1=dyZXWFExBuG%#U>x;DJ32(f#oCM&5)F8ca+x&JZ?Cu|@J5YC5qm!;7^| zlD*qsw_}4>S-?o-Z7aR3;(Yf~7sWY1!b;%t8DU*VN^b4%xLwihHI(3k7=mP3^aJR3wjM&Z81uii{Ef<2o=OTZAPhlxo>NjXGbbsO1yPozP=cuS7AAmW$+6 zCly=t%~jQ$^v`w!u_%#Du+xU7#WzoZ^Uj1N80Ev_>LejcqVPY?f00DZO-rCtkZr{b zA;NoGga7rEowKbW?gp4S;?jq&h6bQoVeJCkxj)boQVlk%B`c$$^3WLR*zjd~x$>Vc5?-uqA#~?J z$6hXi%0+yIHrm-RiU*E>I;^mc?uz3RPUmS(6?&*oRcoOGIA8Rq3|I#o0Wb~0{gjK8j zqO_Nu@#a!+W?d;Eq{?dRmS^ziQ)9)Z4nj2{3bG4mMKGxazM2wC#o~+0JVCqH*29W>Qyw=R8%RXIRTky3=;(UGy;EBoR?G5s|rKV?&WBOC=Sf%-t8c0J*IzyX|myYtdhT~a| zFHU!}u?_;!6H*;V_UpY&m{X4$>?M_$SXDD6#ngG5p9v-ab}d_rD}NOGd^BEXX3|4g zi@D_Th(vbtk}Wl4dNZ2~X~cqlD(ipmmjp?fes!ZWBRkSL@4?^P9nE8g(a!YvCl_U1 z^Q*A*jz1TpK;AAB;qbf*%Q=DTL3IEDa{1L7%jI&m{+0}8oB4&B(QYY7(0tG_b7u%s z%^QTDPhKDJz3?Ox=^Xt#&cq0J!IVF`tOLmju<83>I!Bi=--8xd2fv3`6RQ>djU&(I zgFn+L82x7h*^fc$jp$QLXX-J!`2rw_=ZSU*KIUxqAM_{1B}gtqD~6*;f)PFsUVg}x z#P^rw?fP2=l2?#JmFyZSfksN6hl}jjzuBrsFNy)e*KZ~eit;%3eoGg_Yw!35w%pHl ztE8lSs(o>yrwy!_LvP@r{S5dQ?G5czOnJC1#Z-RAmR+aMb)%!Z8%G>XbQx_u#_F&Z z5%x4&qY*=VO$I%{!u;E>OIacW(}DK-mfH^`41NnE(kx5K9mNJ(fhJb8Yn_egrPG7G zq&q-0vb2Zo3W6%+)Ph-A^B(C6;nZmf>F7$!Fr8Gff?F2u7T##8p~g1jJ7CEhOVBK6)D)O<`t+e5 zYzH#RQVc=9P$xOM+^@h*?x7yqyFSP#RtbP61Zf4X+o965w%?wvx6-IjW_mauY_zLa zZ?Yx-N~pvTl(Q__TS4|JRua3#5SZ1Ub5wqa&a=U;Zq*SsT`JMcptw!sb$OT3g5eid zn|YzBNi3oKskJ}4t!Er;1SOsMWwLdvtW*PmLKSKXm7SlJ_dI&o!VdB9dP8xDPxD(qE+aMY4aP&=O_V{K z#e%t0TCL`R;27V9bmx@xEcY|DJ61J7FhKpv;W_!G!+-1W56qi6sBl|3eXQ18iLE|Bn@{ z)cl7E9JOU(QsgO>%{DL_n=4uCYPo2aH#TV%+Bx?WwxF$m27H6^6(kHGB_)b~mmC)B zg^%Ss5C3tw(6(0AxVlkUe$;TZIhU0sz}3fhB-h=vSbR}?r042`m@@v=we{Ay_4a8< zL?TX1i*60PTc2@+D;duoPGmNcvyh7-Vz@f^|BAc%jVSZ{qhGwvvjgcb#q!?~l2C2y zmD(?8d?9%_v#0OTxDk18~*e94w0~sc*(B&IeO%Ygh&w4 znIYUT-C$D#-m!8uNi>bU+qQ096=?xkUI9Agm{b-3cwBFtszMBPB=zerkom_fIAV;$ zdg_mRn6m$}mB~;@$Rt9&Hk#davo^n5oI12cG-a8BcAXQo?9lL5l92+HPv~A7-I|Oy zyC%cx5DAr_o=jm%Z)TH>=@~O#Rd-F4Z{p0@00DDnqbx8x`Au@c7y>HKh;RAW1WZHO;C`1ZN!=gwPSUM@ky~m zg^XfJMSKbfOGADjksy>PBNx| z^@>$&IX{;FiDrV6$sL4w_nM+?%n`{)p!0!vMP&ZtYiIa({@_5=8J2+U`zKUsF3L}! z%S&Wfcia|WeVAb&n3K)mswJ_JT2@cN(GOFX^Yb?(QuoEUynp>;UN84TVDzT0?jX%7 zh%d=?3MbN#?e88T7LJ>I)<}&fxrO`A`g&mD6-Ojv%6j-Mf*GwPq>WsVBIu)NdXs?XL=L2{PH zkSO`kaU0^92|Mrh+00F2OV8wu_gd1f7Q!M?EMG<3MsZjVW&0#2cOHK9B643;BN#mq zv>xpr%~}?yC6pU`91k@X$T?9oG|h5S3Io|&?R;L%H7|VWpjEe#ESCE|4X5~ZF||9oRtS~edmjHMAw>zFUD)wwTC?tyD39u_WL{P6SeL~5mE;iW^2Rixp-zL6fxuEHHq7s8%estUibkwfC#|z($^{!vM4Y3Tv$j~8U zHE3*_;{)FuPie8GY+051o#4t?%OaR%RAHqM(i*M8l)f3g5{6<^InxpV9^PAJPumil z*!*zCNcVmBR#hTccz^MdNtbliu55n!;m+#8jGHb9@yY7i>be3qW`+?d_~}hiuv~-> zujX!=*C%T>Ur1j{Ri(owG`&8x8nWN$C>4;Z>BJdC#S^Z&Pc*b7q%FxhkFS&oK}d*T z$O&lG{C{SmTTsU7wPoT1U3N&H?|vxuw=3M7SH_%v@29)!UWD|@x89q$pWZ85^ZQ2wI$zbyhYw#+-adH* zgQPOPoUc!CP-UnZ)DhfK@*p&Ck=x&1LtZyt~i zS_jn=2+y59J+lE?f6-y^zx3)`(hKRkDy(K4cK>Jrht5gRnIG6l5c{RW8M)lyXgZGU zIm&nL6L7`2dfAW;Xx;qc%=SbT6%Y%0mq7|RDM{KoFJacEgUY_w^%U$CnSLqZkY7i< zGni=N4o}Zpso7Ugo2Xr)EF%p+7_elHU_OQ8Chi|$-LSl(WANM@<30mYFZ4k`mI}Y4 z=JTY2f0q>@tt`aYb{gi>?)r{1vz8J5r&Ysxe6Aq2J13VBFlDM~r9B)a-sMEy+DOrc zx_|K*okgNCWj=vjLdCf)g`L%~pf%9z0}qpu6-_iVVt^Gt zqvMVVL?Cx?SRka>f-jQ?l?C~R?S(IC>|gnWF`3*`%APuUzJH_;kT#Bf_}Qm}=CO?& zRFNTFQ*)*cjI^me*tw|x?&|bCKV`z?8afMN3ON(#;|409o>nl8V0C(Nia5Zr`K?S)})9DJ4YW`1f(LWCyM7pAB<6 z+>5?ER(Mdl(IJZqdM#*)tSN&PeNV8=!hW21`ctc-0;mL?sv|?@^xil@nH7OB{J!T~imfaP z(fmGn{7)bM_NDq2oD+L2mYjSZOmliFIUzzX-LYPJtE+(Cu8|nMurP#L%j8}+BrL#Zrno~3`$8{op zK+VSQ--HNL@*wm~niuvLc!qiVNC`bn3{#L$6yvS5tup>pFSv`{E`TtmTDN=-<-Hd z*Vq&#PL>l|aRkx>Ljzj7zjZ%9ezy6t136A$N38Q7zTubZTi?Fg-RU;?I#oFA%sWP- zrJ-ZG5guI?^!FEF;D@KIT$Z5qbjx64B>BCKdoKR;4_?r2jW}n z$Vv*^uGURGySS*WKk(fvh@-|a6u>o?vj+S9^_zRJ)QZj~`ywecnsXxIes$~W)K45z z^@2{wPse81fDJFjL+IvKAdb2CNP*fNsA&4G^-h-=yDoMftn~-!tNq@?U^lWcEif`l3C+esc+8l{`kJw2seW@% z`Qy)*Bi7mJrGj8*4ol(K1;7ivfw80$aQ)tPJ%${2xC&&KCGjQ)U80nMdmyVM%iMQ+ zX4YCa`J-Yu^x_Ov|NTCqS1>p+WxP;Sq`dy~EWTw-H6=AyYHoCRUKDCh5dhb(9v$4Z zHjdu343x(}%I$#AM{Xvcil;^``cZhGDN9GUi4IXqr8E`z%L|&}Y|_Q%>&F+UU5=WF z12I|1s_lwD2IUnzI7e|WIBa4;@Qin}X|y1?74aPQ1t)P@;5m-{`_Dk4Nsl7n3evOZWI`%hG3ACs<> z`?WjM^2cqXzRlClN3rc7WD8%o*S?sh zKBf4C0%B^T+9Pu#sj5n^?5^sv2dmF=k^nn~@9P0Fwi5?wp}o)Ld?j8=XI4Z_bO*K9ct>MNo6&%n7Z94*)P@yoQFK3Ojch8-{ik1UOJGfKjxSu$WhZwpy&^E${&80S$J zP{`Epu+FE=eg@X}kqpW#pv&kkx*k8Tpg)>t-M{j<(K9{+qk;H~U$?fqy`u77!ty!B z$DCTSM>A9FJ3W&295OyiB_!yVd-M_oeR}@}G@Liy0UUIFM|Ll$QFxSr9b=3E9ggQ? zPj-6*dMgsfF2S1$#E$xAZ#L6oA9F?0Q=gdCMH$)vUX;HMIifsCZ+q*^ELCr0|6;?1 zBG1k9_p8LdhnS69a<`&814j<;lHXJ0%mJ2B!S$Mdk5X#$%*bPd;%y#n@+&fP` z3b{*xIY0Rtn6lnP_XimCI(; z4Ac}n+bXO}dKez4=5?QT$A2T?-&$d5o_<38#0K2 z0Q;aleX+Vd&=I_0!?yC{xuyC_9BmQ!junRfjQkp(&8d~nW+WjzJu#C!v5r(5`yx%F}~|OPfs$KrmcQ}+A~Vm?kZf< zyQgt(9C6cr5w!BPO4&aXrIK|i1)ayg*u%O8Me?nQ1>eG9XkhKikf75u6kmQCtxGg& zy5Q|(#`xs))7f3e=YUd#^DSyrow5XU09~n3yE?`&w{vXj$JB&jXa zl4U6mv-*xQ*ErjwS@4P-JjM)~l1#9p^u z6>g89{QO6w+jjP`s2LHtdX~9f(Mo7@vV#+`NBb_J*dBF=;+6~BV6zQNmAD40&SdcIOjn&>V|>KS(Gw>jE9SRo778Bn5`w_HL&6<+&7}U25PL`TdfuZ}L z5BnHG?RJ=HEH?j_k~nB=*J>ezn+d*nmQj&?Y++4F0uv-G4^+s@Dwv96O7D0Sgn}>7 zrCyt*i2Oi4n*&WtD9}w@UpU*Fvd55OhA;?j z2Fw4c?(I9CFvP*&wA1K437EU$I!!F8PYD~CgP9KOlZH=ej^?5{#vfEaIe@kiw_cz5 z;%8>vtYV(`i0Gj^#a{br1U~J>glqvr zOXfh$^&;pXX_PDY5iavlxf(AD;Hmo!`doB^J$}KjmDO~mbd@#I*ER5xVH_mL@0~H0 zmd+UgU$v&|LFNp@8ADP$vatc0C*wRaD^o;%=_A9TBPs|G09S%f%*sWl*&VsRzCVav zuBVv$ryE~f*O9gtlrPWWYTtdG8+jD;L7rWslrL@IqIZj#RC++|Ssb*Yojym(-=bBbQBXW5J z_&nzN(i&XAMO!wJ9{F?S$!?10qDoFWrLSKn{KIv5!q0IkAqmT{BJ<;-Z803K&Ri9izvdoz3M-gYxwN$g{wM zh{Vo@$0U!k!|owg%dTS+@bPP%O^%a`BPk>S+IS1-b{Y0~;*xEw`q<}xCbqgmeL{sx zq?M&HlWIy$%GHWxlJ+fCLhrRpU zD@MT6jFx(Kex!|mbiTMWP82~mowJ~#++ZmP!8_@JIPtorcD&2ze81(1T=4horbusE zM~mEU6+5zDY`7PfJ?Ul4d&~*{s+_~)t;bq!i*b>hi6ByrBWA(%Rj}n#bqCU3hIP3_N>s6`*N|6eI6ps< zw>}D^U}N3iQLywP_z@T~OyBzLk(!^*=sCYoDvA;Lr5x31S7aU8k$KF;=V%U%seAx( zqQ}Qfz2|xG-Bh;qjaj@klHZ0-55d`b{*Y_cF-zQA_YFIpc%^4a!E<;sEUD|HE#aW~ zsq)@xd#Qx2H;=ORU{xI;7}@;pEce+QUqbIyY8?n$(A}nxDbg?wP;DV#E)6`Dg$ZpptR{dUT@kB}B!*l9sJw>^_7=>POb>r}RRZdh9=tc7 ziYS?-Lupgtp&U35J~|4$-xql|Dal!*wRKJ`syjo@I+Ol0?`#CA)G~he6P3v4tClzZ zQK--=Z)$$5nrrvEYNvpL-h^i$(1(9B$?km8I{R9BT|!bYGfVgf(m6j}D+B;En=UEm zXqW{_Z&VK)81^Ks&9!K|hy%5ta%R1q#-owUWA(@}D{4jDH1)}2p_eWLU3US$loJU1 z#J)b((JLy&Zoc4}8?Y<8Zl74VNS z&@c&=gCW0Do0e@0t`tjmdYM#(*(Z+knFt%Ws^r+*nxxWFGb*50D2W2&Y0RR9@OA2x z{zW$XMz6G zeee6IU$M7#ZpmqavIXRdkMpRfUZb&TQeF}hIc7@rB`fn32`C3LtqOOP>Q*2JVsv@D zl=7zp^T?y&w?&>MX!C&kXf|{XXlbO%kH%2w!hID?G&xZPDJfA=<=;geUoX)l2PM$~ zSc!rk+1>K?D*!o5f2NUO3J-pa z{iMlVfGBq_*N0@l^0d50u_id!Qd-J51l_8M4a)t$D8iQB*UMICVB^zm;ZD<&<1b+_s{gOe%BVvPxW1!6qX z{a3eXu5;0%ILs2z@Mp*=Cdb&QHB7BmEEMHqHVm4bBqqFy?jtEePXMAlV1b_%&r%xC?!e`} zSR*hWY!|Vfgx>;hllI|y>&|WI36HTT<{a}y}ND( z?|0wy5;jMV9}c-F2^~bTEg5|GbtzFjGZ!BAvLv@>yfK^P;63sJpnYxd>6}}(pBdY4 z;xo=Ot@RWP>zrq|Aa!yJ4r>j5Ufi5R)dVmEp)TS(^G;~+Q$km!<6*bS+%j))ORWxA#I!LaT893o{7LJzos{`EQVA8i zBw>uhig@jjy{U=VVe%Z|$yMUFq*jkEp305dP!AQ8CnFqrOf%vQa4?o>voS{M{PpAA z64RT&gfY^E467kv8Bv)vR@(iie@%La=(r|{QPnY+8KkViRhc9BTkfI^vwE*E1u{jh zvknvR5gdXf?!H9+751P+oWdE(NUJOu#G7)h{q%XLOBZqj+bj7t?cA297>(}ntT5i- zQJsEs(=o8*o~_gA^k9_S9KDIJVBMo`Jp^Xjav5V68TG=Eyhe42rn=V_V}Oh2uOkUp zV%RcFKyiIsQZ5$#>MeaOZo>IID?_nQn{N!%x<~W3@Jhf^cyWcuMf4jwbi%MQ#P`19 z_13Z)*Lhe=rf=GNevaKSs#p(+*n@cej$F&YOZQbPNiL!(kdqtwD{rvFsjD5y|frm^~Y&=JV%5l>AMBj@rEJjS2e-*P5qz9JrY?-FINY`_JLf*Z_Pb7KELYBDbzb-Nv0P?V zY?ktA)hs}F>pso#DccdbNO^j*%cTGxH>(KKb-#)IDX`t--(}nfA3dP3k25`)EhGCw z&oz!gtliB?1R{E&Xlwa@ZvBm5vyhe)^pN!u4bK9m%K|O6dc5%VZw(Uslb?^GvysCM zwqP3tKpBP+9|ZKpe~n5Ym`XNM!k4d>L5DZ}61JVlR5dSjL1=B6$ZCET9>@c1i_vTp zXPPS6;&jWxj{9rweXzDBAz5m?9>2-JDdaY+uQ7qP%xuirj@kw-7=7$oz<1=hnA^Yz zL32~naFC~x)$VWg-kW5gkgTZ0&4lHIDBwH&RLNeb$=PB=$g#r_qy24(hC&7>^(6z?WY}A%*TinKyB8{$xBs;p-^c`tOI1fd=FAT(q6IEB8?-CgQ7*?9(YYF zB-h>S`5j+*JstSZJ2tB7Yq=TlXs1Q9HuAI`lCXaM9$5eJ+so!`c3u@|C9*~`7D^=l zu3nuemvzMI<#kY$SxZZjql7ZMU>LXUU@8f1#2my~-IrY?Rn&PMkjr>4I^`1bJIT2p zPkSb!iTrJ$lOa?7m)zh>`bxiyPF62-zLN5o<5^7sV^@bg&nVS$`Dq+~$EPU67$>*o ztjj=i&T3syFP_^W(!c|NwN{w;VA`%x=aUlF>FJfs@WA7M%#<89iOcJ{JO9ZxhNut_ z;+44=jdSF*ZJ;WttqoUZLEE!b*h$zw2V2v5TW0ZmEypkuqMhjJ=|vR#={DdSja~s0 z8Y#N{LeWSv(hPi8K5^iScoEmsPmvess(pGMaTqWXF#?U4{g12D{^nUrb|Oj=h{piP!Qd(Bp-Q~}#&m+Yigd~l&->iy z^>y&;ZMxb)68-b7MI>o&G%r)OSdUkk%=;7v6a>TK#|%bes~h4DQ&!2X=T#|F&RYfM z$!*LksSlyV^;-ci{$j@*oU1S-SyM|)>6|S3Oh;BunAuhOC){(Ahn+2N#tL^+qXc=_MS z78+l$2?3C3m?d|hH|Hix=1p7Bnx_(fv?^{DjhpVR#=7OrHe!Uz8{V=nM0MxE-c1ac zVwuk39juKu*Mbjh3H@G?yz5AgZSaQk-;r7MaeTUVUcWTq&^Y}HiZW?y!3$D`BpOCu zFv!8{dyfZ0wUE!tvx;YBrIo}RVAi*GFtX2Jodn8YE*>mM$VQG)d?W<+X(*BbQNf&Kocs)4;VyAvNcJOP#mU zn+N3WN=XXq$QCe@^V2q1;b-%TU#Bz$s#;9a)lMl@W7Q|={{4NW^@IVbrNV?3!t@J< zGBlIoWUgd`+v0Es6V`m7MxZUw6*2nwhl9^~b>ue$`)cc;kKsmvV8kor`75tA1dbnP^qD_Ov0eLS7EeA$Cj7lVCm#4uirBhJ%nVHjRq4-bF`msQ~Y(D z_K6LD^#;s}3QTglPsWsu9mi1|@*Po;O;r~sPbYUfA!o)k;qyKnw3ZPBUFb}3Ze0NQ zu7WT}WB~_nL6MM>PpNR<76G~dU!LVz1MiO>61`G-?JI7iPOz1(8F}~?`n|DSB^c#< zwBB!7{@gJqDM()%8jMqa4iX^$YT{^pB6ED+>vLd7=mO=wZ-MU7&r__eNVANZkVV|@ zczfMs_DQ>G2_GzKv|)}kLLu9MXOG%D4boB&danFfz)oOxk{7+DmG#F>`fbfHC~9^x!Il*& zA-Df$$ZA|dtiP3)*YApiakUB9v|Hj&L*%u_7r9&Jk-^Ax+(p;qO|`tT3Ob-LR;lyS zj3NZNMoC#Ic1bbFuTAc-L87PjB0az2;nCuKB-B4R_K5 z3f6(EGmM{98YjvVBC?PSsidp2hpFiay~=kyMl79%qjBr9+qWvZW zyT5*P`gBW7;;u>bXkdJe$teJ>KK@k~d=Jk-^wnnaWvRpjwNZUt9rGTkqAHVYBwJ!y zRgN;s^QLUCvKyWx7)!Ewh}$>6;w?Wkf;CH+&cilvCre`mEn#or)`Fw=T81wE)^03K zM;w5FqDrbFLeZS`zY066sHnfF?~{@Ph;(;%ql9!z;{Y-YLw5}wKj|(90SW0IK%_eb z5$P`JMmhupU;giUZl0^>Zm+%0TIXDxi?jFH-_MuL_B`!xO{D-cBe`o@|L^#k@}*W! z6~R!~U>{PKD&TwH5`KGIZ#sp{Vq!a1T4+u)?%Xri9|?&nbS)5juKmG3ip+TX0+#Pl zKD(y}uT1>>n`a)n%D!;f&n-9S8W@x}$53&>-^BEYO$ekMRmFWxveN*!Vz0WPuZ72GXt7 zMu;WascIz#qI1yer76aKLLz?E0I9`QoV2(3-m2b|EMhK%{9 zB3$a~qy|(?(<6BtRql-7zPl;2Q`9ERlS(-eudE$()HB3WYEQ)J2XF$nDk zmgiH84{k`8r{%a#eyJaO=bn=herMbgM}_q{@%#5t4dA~i0NFFLeD77v3Tan*M}32$(LvPvUrczyw|-d56wt6a;D_n zb3j}f8Pn??9lh7g5sdJEH{w0PJ>+h|*HO%Q>!x0M8_|3;3ALxv-Zc<=Wr;3l3j67~ zzwP#J-a3%KxVQGGa@X-zdK3Z4ulT~?o(ngZi)oB?ZqI!S(XsukLe6`_5QZzBHJEO= zE@ZDFr)0($K<6Jp)sZR0rrTx%Rtkj90BVmL1eF=4@04?smtQ0D1weKb{L3oo;$1&d zgGS5yMvxct+QDREGiMSy*AK)C>}b~$P`LpFqgAHc6PBs7lQ1m)&Gc~XNl!`oJT~dU zTP5dY3v#2H3hAEFbn-)!Ha4&t*)rx^@Q~^wm%OK%>iNLWW_-yS^ty^EN8yU!0HdYi zW^PpF$4K2R9}5er(E(!QUjgGGar<={Imwuoo#ryDsBm|O_{t4ey6EVnxXY!w{KH#D z3SE=$y(BJIhj~&KL;ow)_#xjkr#U1N0O@Dpq8}QAzyKr zplu>GxZ9VaGQfNDZsz8@gjE%wxhWlvFi8l?Dkw9)6Q4(#IdFbC{i$Lh zifwA_zza_c;Euhx%q__5g>hG2FaGVV@|*En(*FI+MKq(5`i}n$Kylm0K|p&*&;%v_ zhcEqti0|(ohoz)QFRw}(6ya$s_7%6ek%r+?^wM z+PUgI^G}H+UsIeg$m?LLQex})M#C6Vlb|EPM6B;QMSw=Mn=l?^{8wzMg4cHV4I*y@ zh)~tBqRF~3xFqw(>2TTQu!zgcaO2_0mC<%$XeuIMe9o$yy}r#T=3tfXWx7layC~}V z8qW4S)OBut{TCR9Zdu{0?U6@cqz%H(Se%Y{t68MhoE2>o*7;5ermw$rgx3bWpC}5+ zXL>{kcmhOXxA+ykzL)ko?abpvOp$$Aa@?_~b#{{}l{D zWazIMz?QLl?&00f4RRO^1>kCu_2cJyYyENI+}X)Ycm68So=%x_3|>^|$4ivG4GiM7 z_%#Ipn{7Yb?sdkm*wZ=#;_(PFVrJ$XF4Q#+DF8ensz=mE$BrTB&PRKtLa+9!K$1&| z42`|JARMO<*9tY%WRhqPX`zX;r<9W&rTeTpm57xJ3{f}1)al`g=|@>d)y$VoB)H^t z9pBL5c{%ioXsj>}W0|=$soy*v-oC9!qL^H`Kq?n8gd#P8ovKIC$YPkSF_j|r#&#O_ z0ND6R>@hLVd#EzlP|t zy1s`JpW*))B9hT_GvVw_%nr(+#+J$>p`b}sl_O6p$$G8_RsI!&-w1cziqG?527=VJ zdqLRsLPO~IoU%netf5JT_@=?)pw z(}P>zbJLp%xLAdabahz4>O=KCfV^*Jzxbwr|LV6)PUk0YZ905e{A#ipWGby&uo;NF zgJT%wf^i@{QGejuhg!2Z;^zm6Efvny*oVd1+}zEcn9uVS^O`Li{iCYhT05kn*H52<)Mmdvwkgw4-HP3HI-i z!eg^h)vthqVO8g>^7FKXOHPGLYu_cJ^UPls0Y>wBORvP57SLTbEk7BNy{E>Dih13a zBM7N*^qFq>!le++!yE4mwDTm~_zYjwST9>tS{UZ&X-kj?YVlMhh?}D^k$3%@hrKU$ zd)snW!1e9ln`ak26J?o6W9;0lqBgN>U-9vc`?;MphZLuJ=a1tyW>8W2un=eW4xJg* z3wT+!@saw*lxj@4Az1_0JF@v*T)dUyc>H0q@)U^Ru$c)Apy@9?(0NZrIY$L$tN74@ z)WznGPG`F#<|H7(TEg=g`}w>OZLN$pgV9zY*qDi0p$cbS<0d!!M!H0|iJ@b5t4l;$ zHjxi7+Z2kO^hdzBi79BEKhbev_jk7qY+qW6n!X#WC^YtxG&69dBzl37oBF=xHB)tp zF}9*S^Ox3VUb~C@K*>~G-F|6d&x|iCx_a4U9`+QOl)n9Qb;RdU=t#tnm)MDV|d8;`FUxvWD203r$OGqBs>TLX>ryV*KZ zcy2C5^5bLJ?M$h1W}&A^sqT|}^kYwEksge9I#)&0;FdMF7aWGv6cBqFt3l>ua7`?= zkzEG1|8Wa4A}CE?8S?$Jv;eJbE^DQh(@-Np*>ADr2#dykQfAVy^e>((?Vrkp*o3VP zN9qi73~)>Wv|3Sf=`$>SwWbLJac5hBhsR5Pq5=NWbcV9i%(*#%OU~Ifi^G)@_q1*l zV?x~3$kA`_g4}yAZ4D=D3xqkGl1~*>w(bw&>b}Z;N>pZ;Qp#~E_|9PVhJHD{XL<9o zJiYby4ufoOlsrsWlcQ|*8=7zUyO#S?hrcj^+pdsXz`M%_ynUX4$xUitZNwOn0Kj@c z804DpDnkOq}JxQoF#PmYD!TDEJV zj-^AVp1gZrZ_p3cg5%F`>-M*h0l{MAx<|go)JfYy(m!~E{5e^^y!&rc67p{AucwcIX?zs<%=7F;uYAYWvJ|Khc)Hx=u|svHEFTny z_gtb$k8MBaACQlJs&l?QI7z56{tH2$L5Poq9&HZ!H%m)U-Cmo3DfU$;oYt68y^}!^ zKg^6YcjH$a&xl>NPJl75jHb#8Ej{;Glm(wOkgGQKXuRToW1gZGVEA(EZ67gb$-8^} zTH5DNFihWN_hJ3vw}iLT7g~MfR%>r}Piky-ZTI4(Dl)ZN*=GjNzW6^}>aMKc{_$wf zxS`9|j8ZAZd*4_WtjzlA;dr>mx?zIm1I@@A!H=}2mqx!Er+n4E6wKKrIv}7&iYx63 z1VBlSLix)CtcxZ5ajKPPqAM|vD56sf!5?ZBCgB^ApgeT**^*aT3b!`!bi=9XCFG+Z z-AI67!Up#l9DBc;d?TQL6hi=!R59$}4bh6sebqMBGyC%Ba7?@fv_IGP=WFXnTmPS; ze|11W8^zdMtJB-tC1g|NS+RGR&&2|zCy=N-C1%kHxRM?_1PYqv?J`K49XmT{VGr|mQY0}}$Y z$1-3um~dT<0OXm!0hf{e;d`+<0)=G8$DeQW-&j5$i$1jc33371CD z;=*5bYtPC>5Z6xOuc)#a-<3S;Sr4(rmU~MDu?)R71rf6_n|Xy7-qRKcHmCB79d|25S6a2mVZa&vmsm+k{-lwrMtUW&i2@(SenKV~WH{5QlMb zkDqO9li7!6Z91Qy4bLJ29SqsNiadF{)8%|q{k>mhXpsyZo;l_5av^gfcq)Ta`0HcY zbRYMuJ(V2_7XngU9ays#HacdG2ooFEp>+tX7;$Cp1gfv2(Lt3q%7qIJ;;+n}NL4Z% zCJ_Hd8V75~IuOB?e1Py@TEof_XLvDQ)d*Yo%}pijW*h21G#F7e z@@9Ur@sKpg-tv%y$%vqAgz5XD5ra#<6kYcFSN-Cd&t)UXYjURiW`dhm#TiX((o^8;yxeetXD9R*$rb6e10gGv{}I))EUIvK7Lfc%Cm?GtpZT90~~{y0<}> zt9666oa)?ttb#z!%th;dM_5Hkhm`g}-7VAa&|;4KuFwtFjMa6+s}-~`EPz2=Lh%Myp43B5!UW&f0U_467l8JT8# z`|WNqItS+(k>62Qsndg4jZof|k}Us2vL@%fmF#j!k7M90AA-(->X>1@gfVv(BCQ|b zXZwQ3Z>jIvt-3MJ;iqLs{mfZ@j{f~8akyE*fJl`s^{i*h>Y;;7$7c{X4;`icJ`U4r zboI)?p#=i7dbh)7@fQW1i$q`{+}ta74px5Ed^BJ{F>T#bF?uw^YE_*T_l}>u^^$q2FnE)Oult@ihD=tQToKNcC4MLYJ?}=PE+)qs##j%{a z=q)AbInQBc5}w$_dehDDtIcO`WyPyU42S1VI?I$ddkXhUFNOM*O}T;#!;1nM=HNyk zvMFF8Y&T4NMmBDBFplsWmRr_H#ZAsi!&J4t=3Co^pIDPGxel-Rs`c04|DK)6TI=VJ zR#&_%G_g585#~L&?qXftUhH@`mhSkQYqhLSteUrU&bA9i>dJC3953V!sZR7_Ll`O7 zrFnm|A9BvUw8^RV>!4f8L^b1=(X<^o3i<@_MJQL3J8o21yv&8*CR9hw9QBk=44%#G zJ#3e5m=mVzC{wKeo7uN2WwMo|`XSenO zLXgWBvk*-c(k8jTZXL}O+7<1dd$()I)(p$#;lp7+?IO{qSru>zV&SY7@(Z>7+!AQM zWF*Jo-$%~5qxp+s5f9K4l7+?X`Cmd6*-wl*gbL*XrXnYpY>3+w4fs`$1Brq*{ZS_nK8(2^iKZ^wPnW|+ zYQ+Ai82i0P9_>1fL4&6D@Cp~~IJ{eh0{zx*G3gDV=4CoBfy;8On)P^<$!&#oF8?y;TlR>(j(S?LUW6eP^}WOCr8A16Gl+-_ z#p$v`lVU_*FCcyK>&?Afsrzf-+{?pF_73t@G^FdAGm+11PUw_c2rL|uofK84I$1na z$SAC|+3A!?vvJ1k1k80eXiwfrr4rkQV#+Ej(^wD&x2MWOGZX(tuIMIopCnp)y!YZN z550AsinK8<8Vl+cR!`J;nV&4MTzoM3>^CxbYb#%m(Q{S?JvFyMB86rR3VzvL#7r}^ z7s;V~pl4qYJpgqg43%3cClPK?6+~FXQS_ivxQp=Qlnb%R1J}1)cHrPVLN7I5tiHQ9 zt&YnT=uQhxwT*r)ts~f-LEM)P0VQESuK6bwfNe#~3hQ?xsw%wDqE zQ9s-%tV|N+HF^7dXBeJx|HfzuMko7fU6fk!W&#Q+p3Pl-*t{$)1p*#7t}ZHd2znsZ+R!cl)1Z)Y8hz zxY&Dkyq;akJV0+Gs_u;R>+ofW0QoJ#heKEC#_W#GPgw33%|ws{{RbnWw4{Kk+m!gm z0NnE6UbiCLx2uMm7lbWieM!3~1I#QnMt>9!o+ExS11tvLQq)&vFWAY6i0)TxRRst7 zq7WBx6+|oSTFYfR|(+9I@so_dlj{QmiK+_AmU7^__oKLj|4h_ z>lbhuFb!$hk9?Fg$$Z#rJ8nX(!~1_%CIl=%3sJ)}N<6sc&|FJg*)1=tb?D|5U`Hy$ zmGoTzaQS=bqsW2G1aady@i)-KMy8#hs7dz9>o~_eCD%O6d;+_5@$>uxH=td0=XZv*O#@AcqWjtPQQ&Hvo}$QGt&Bk5t;VAW>N{4_ij{SI2d?Q zy0>|uALhQoZpS;QTf7xYt~gNoKG|Eab({du=y5L_Vm$Hrs_qvX}S_D zehHx}7uWU7g8v~(GF7l`3dKFR9{0N+j!Tz)L`#8avQOPBB`hhAjC_EdyzZkCRWA=x z6TBCp8;wp#W{zWiOr`@?ba3~t!v^S4w45-tvaT|H&$4`5wA7d79~*UsOew|kziKu- zg36|)b^e=m1cU?_1Q=Xl4!BZM{04q**8E^SYa4zwMN=son2nW?l?_bDT3iBVC21jP zC1N9HWoct!DIh5%C?O#8f3Gm(*K>7+;|e})p~tW0V&lpn^#4PBdw**NAt6Ejw^*iv zPdOp8r-n8)AR_s{ya{-x?1j@TNV?AseTj*ghNyTA_EMNMQoX+#)Z6i!;+YhY^3su- zaK!dbG5u~E&_wJrZ+T6{m5>L8biS|tN8=iNA?s=GxjOe#dXPd`=GY=oiyi)&St6gF zu9umD=miwt+6rk{iSxPFk|IT~m=(4;vz|R`#9cPDw%vwjHFJU()qT{yn8J)Cy)4a75;lb_Mdf`8)ZfIv zrv-^!dINm%a@WuUL&k_OCj{_dP`;m$l07>LvqYIWm$G^yz{Lhw~`Jx@}a$;PW_bjOf?hka?_6 zU+4+CJvgGI=5dXaK}*nA$oI55xNT5YgV(GEas)J?%*l9_P*G%vZX7Lr4ZyAM6>Y{8XQ}PsOB9~|AY!HFQePy&Q{Kg6FPawrQe#K^ zp)2UamC9k_R`8sM1|(zFjPtSLN>QE7s8HhvU?+`;^{sMoFLvx8n#-G&-oGokGHGS5 zKaN|{ILv7tuJ^aadK-`v6^;)U61|km1o_K&scs73mH56>!Xe(i zwRHvH&%ewo!x9LPS#6%LD=;`Id1VMCW^SA5yxZwROE?)PM~ zOVW->K*lbY24I}wG135gS~{{dTAFldq-R2ox> zF>%bg%4M9)3+?(MD@;A}k^e->_LL{4K8m*2_Yoj&{bUSI_oI_g;_C$S!)Wo_?ll!P z|27sutD6$_4I9S-&xRDPKDy_d`C7D-ikSV<69!4@7+^#bBy|CUgl9H40jwW{Lk^V1 ze%Av-=wVCJJa*mLVF*4=ZMjc_^_nn27|C6bD~y(EIFmSm38!eGchIh4VHCkmc_G2r-xki>=>b1{d$y^ ztmb8tptN8z)vA4=g>CMRiyal#6*|FG&RTz0oNl--bzaj@oPRQhSG!CMm7Hj7bwU+} zx~Lrm*D?C>v_&91N0$$6YG?9)sq@du-pC4?m9cRTtN;RtC2Yk7#!L<{ek^zZ>!kAb6 zyN!LFeP`JZ>)hozcb{4avTJ061pjSOdy_1ZX#jsxqvTX_%WSq7_*k)u7Gz{7(`aw6 zp^(?Q1~Gx66#Y8RP`J;oM~udtfeMG@Oc%2aki#aYj5ff~(NK2`RHF~)nV@hFz^t+z z$-Zg52P|DFrHO_qZQCV^*t-z!aJ^$6^)a(-vI@b%w_)ZcTTpTEliwnc6SqBR83wX~J<#!XcFlG#d180e?uz`pW2%RiY-!VeY zHZ->U8aNcnVum9;0;wk>xpNphp!s;~+{>pUq&6VHQlu_3|HnjkdS4nocFI~<2vJWmRUVz0I186bu zLq#b!erN6+son)jRpT)nj-J)En4ols?^9dTwgAW(P@l!0o z9p1@mz_s(&% zCIpD>u`R0$-2ciT$f2z}0YHw(U=0a8hJCVfoA_5U&Vl;B=Wz-Dl98vY4>;^MoO;zg z%h}jercfZ&NoHWu2DcL{Yc*+^8!@WiW@8tnP}TK>$XRT#n5jmtAgEbSKP(dP-sr4P z@hXWwi3z)@sAQ>VFDlnMHpnZXm z!1;C49N<{P0Di`PF4>!W^O7+wK-dAR;YNv-x&#)^am9$(8^C2lrdLQz6MS%R$91jF zX`#o}4DN|+mBVS-Mt>Wr#z$7Wp7ju-DK%&+jcclma2<+)h4Xh&@+nzfi!^+_q|eTm-5iiRgOOR^qqW<*_L zaLwGskn0K7i>vhkNE=ZZMk1E_2V+<|awxH$fC_5u4Y>I-Y;S3IS(6g& zL+vrW+5o}e%nl(i5TY$^QIK#7*-!-pe4aONrdHhz)6#%Cray*{s;tbh;?9vI0+zUv zYU(SRq{zV)_x|I*=R&x~Ro#3AtuWj{EF6pRPvf+{8T2V4nq=TCn->%sFi^C0@?;tv zjpx|q9-_~>0n4m5-3ggt18`r|8 z;h`4cwxbe9`ex(o-cG^t^l+Lov;MG9X;b>+r5Xq(s1mtZkjCAMZ{(#O0%H<=^&LNf zci%5j`|d}B>dMgGfmwWe$MO>f-L;+a+j=5*@NXYD09aGPMKU%lrLMs4L%j|zni`BR zs%g&Cn|UW(#)4QCal=po10bN9iL1cV*^fjL>%1vG_Fk&pgtlNNY#VPQEyfT{GkEQeJ)DUcYF!hx!a;zH}J#nhME=9 zK4Q{!Op(jEa10zVa@?bzn8sX;Q*8MPp^0>2Fx{BT}l6&y|P?6_o2SNaO7HGR0Zo0}K8+s#C) zUVljV`cQS7(xz<`(4znw&UWAVRwD$h|N6Y!ePfLe2_yr%oxD~)=-aff{skwM?w z9|CvT_N@NUMiR`mtdBYUm2S@oj;NVFS7!5xXOpen_kqmCgsn!Rn+pRIo?Yo~1&hWorl<)6s z9t0orbX0qkx6m;t+Xp{un3CkmuV!5yU?g(ylO%YY3e$C?BEyfhUO^S=#Y=tyfVoRC z5hjZ(CnU-XMY}+|U(vb+$!WNK4|WMGq!{v`$7`J;u5DkT(Vm~s2P>n=cEz2%mtW_h zrBxi0U&#Kochn2dCdsRQ*w90pzHEG%*o|vutcZ~wD<3RbOW%GSexW- zmuXm*Uw1p|_CH#StLcMl%AY<1D09N1get=o($5%MwmGic*Sq3QDK1E56kS@IiAQTj z^KnrO&^Ta$yo~*ZXyZ!(uU9j=#qCN)?~HWpA`s)Z>XkjWa&EA^vg$_ai+CM~ze?-Q zkngeP+LE`}v_tM*opPynx3xb>u#P%lYvKbnvqpwO{;F%SjT7&Z*ht(1xDYrNgQa>K zg*=v}HTHZM*`>OmSi#Sc=U6IDaU+esd<18&Hvfq3!VvGoPl+6G^_ZF-6Huv9zv-4` z$#@n4grMlb}-!Jas0Ob%dY{D1qiOM4=Qh7ED+0qxB{ ztz|;NG6@VB14>=8QG~XHf`b+j<{J=rVXEQom3Andr<5e$s@HPic&_@C_09jbF#q#e z9;7lhwdCgYQ@Qh64*352@xAx-_?7AcJ(sNgdG_QsPA|xxZS4vrU%RrSpF*~k0ss^K zLH(YF0gPNU1gTvIPu$cBG|antd~BBxDB;-{W<+G zKZ*s6$mt26y*#L~YcZT)V$-8}fZ7QhIKI~t)B9eL^iBw=q+;wk!9SViuyf!c?}&~j z=g!^|_14m2O9=LLz|eoHJ#w^!0bnk0wF}QQy<)h_i(+qjJnE?boI6eG2^4hIR`~Km z*YwW6;Vjd0Kf!~5&Q!|~Zs;Rlp_rRz$Ny3oRY>R|RUmoAF`vE3v=Y8SP*`1` zmbeji7u)ivcz*3%ay(^8;zv>DXm+O~OFtMIZy3cAW}lWqXG6c%Artt61Bj9RyT+j> z$6F)^QV6A`?^Aj(AJ%Xy@9B4KojQD-k;tahKq0q#zCR+hq-4aWEaTXR(%xXbu$ zs{1ttw8w!||A(gBg|B#5_<>m5HZm7giw$Tg;VtmIS3^E1pu$})=0BewVS3iukHx%2b;U_CZIh0iqv2rGS&SR`8a+=AOWJekj$k@VIs zxX(5O(F+2J_Y(S{(1Q|SUkdp=a+XcZYh=jB(dZx|5;>`lbVV*;&1fN!QUoeSfPgd) zIR$CnaAx!$RIYkdrCb!7#CW!W*n=0FOa>{yZS#^AZ3F|GMY2I$0|*E?Ei6N!=kNm# z)UE@}^(s)bPcogc{vK*-sH1=irQkDdf8aF)^^TAg#`n@H1=jugg9FUwfsyf4^W^f* z9~9L7SM`FkID__A_SG-6j7Yu;IOvvD|v`dL+8gVL$@a<=Mw=7xW7Pjhx zxM3$*ZPo%9Dvt#nUGjA+vgTz#VnI16B*M`rJ8B)$xN*QXk^tazdy7BA;Q2(-IAQpp zcsz5n+VC%7@x5<4&)wMHZfahrLAMrjbgw3xW6$l+6dTfn~gZM}9wi|LBM-3U?KZ%?;p)3p$pol3@u z%3{u?!ZV@_M*-3WxxEnAJ0sC@2zkyj$6`X^3;B?8JK%NQ+abo}p&klFLx*9236Suf z$_#xI?UM!pqJFc|LE@F^nQP8W@!oSZ>tq=_(h&{<(u23WWc>08Eg7D;Zyf}G)gy%b z9+N2I02ICR4rwcp)OhkHgSW}Q<9fy+0Wt(?9Gv|yG=MQ|1r87fno#cApx%ea$aAd1_9&qa>qMRE#WX$1gQi;;e+8ivbJ@16_JLM)K=OHAI>fHFE>|qyLx) zM&QBN%4%`Qtt#b&nq9z4E&59%+=J8diAxY)_!MKNwbAe?<(P3}vl1A(s31yfz*?pJ zQlnfvPF$`mKDW~TzGGM@GNJ-qffXp>*SCS=5E50A%aj1&ebeROTVdxzyaWd+kelIq zLK~sI zmqX1JwQcFfX2ThSA0dRr%O%HIzRy0jz^U;{BOdR@YIBO%jVs+J8aIzBb^C>g?_E$T zEVL(Lb>nSDRlnIx=k!`;tE3m^x6zW<%*OGXo^ZWGHflwE=nh}mjcM}pEw`kZUjRT` z58`26Be-?gJi*l$d8V+kK9S=K@LDuZSZBQQC(1ZiQN0>xsrGTzf8(8dmA|*XE{A?U zZ}X?(7nvVm!0>O1x+!N>;+($xranMMG#Xgs_UdY>ue9MgxqM_iR3=*L@{Jw zUGVj~Te*kmql)}WHTKQ8`Ne7_pHX7q6>)P3+G*>|d;D~`VJrp*U)?h1myI?wO0%(O zAg6h~;nDpUvhixYSlBZij+$ZVkG?ewQlp{tQH^pIT4*&o#U{&sv8otc3lktuYe$;f zjyS4WZfl%5S^6%UU2-`|UA=^hwvQe71SfZGTy#MZs6>b`ctt6froGALT^E&(FZnO} zL5*vfTny>lZ|u4CVZY2d&YSfDh;s?7e6UoESA*@Ex78JBJXk`{)OW6)>b)Y)GW#Xe zliQ3}wH*5u3)v>G4_(-tKN-g5ZV}QyH|UFRVl} zT&PSAj(N~%r4Gu#A6!u{g;lna0SpU4q8;l9r1zHNf)G@`IrT)hPgegtrv3ISQIN$s z*t%cEd^ZCtJ7aWHHzXD_Zrtf`KQau>7i&kr-Wz-u>+39hE$6Z$BxLF^4ne?pjQjjk z?`v^|^q1``b&FANDl3<+Lex1w@r1$)VDppw5##SxLDW@K6M^B<(#PVN%bf?q_WQMO z`Dqs(hrfs#gU&M$tS&mpZ)$hGK+>Y>krVG&P=ML~lW36wSXlpc1k#(Iu?}QJg}Chi zh{fO(z80$SAm%SY_qQjn<9o>-EI_eIFN*wpSa#=!f}!$D>E9>t@{BF$vXe9_RG@%G zS6P{qTbz=Ug>9AF6&-n1*$i3~{S+K^nNmn>10GV+d^_}}ht3WzJg&9rw;WtcyZ~Mf z&F%Wk9KXrb(tJIi2YC;8>2d}nZRsmx#Nvn2_(ItR%5pAkHQe024Bq`zr7GgtygSH) zuc=D90g5tCCNXFuUR)Sw;Wb71CjqFbY+CUwt!ZLwn?{i)Z}yuHh;Frm3>p(I9OsXF3c4aCEt#phib*cr>lAPG4v zc+TqoEM{Y3IN8rRU%kDBUm$FQ+*Rg&-gW_e1+vv<$Y7SuElL4A92XbGznRMOg`SS` z{Xt<;N6wj|W>XuKNags1Ki8Jw3O(bNy45*6>b-MIz!%0+s%kus+$y9lcpeEQgu7^+ zbB!?-%CNzwz%c1`Zk4%fql$()nGsCBZnA9W+^h!~IMk=%8?)xaOj81WQ8}Oz58)JL z7cvS98)OlpN$O}w%z`(%9-s^0*sL{MRWfV9jzViDQq^S#2w|nv)BD zL-1$&2E3}09l8%YldvOSrhv@{az7iYdQu^wKbpUwk&Lwo0q6mWV$9V@nSYcA1&OT2 zA&Uf&S({OvY{2(<)fEYAxSAIYw$G;ot9nU=WDrqJfcNp$3DtjV`!A;uQ;wp71|zCO zFs6=z$k9@fpMvRvwZ+GD3#QJ{l|^M2Wqr!TlmGhZ+*1>GShRge{(W7%?okSdR)Doi-@ z7~yyx?J&qT%N$prXelB$OD6*RKu(-tte2Tbov_DfnQ{mO4QT~gM;Us-^4dR-I-~@) zDF7Tn3x2N;dQWHp1sp*{kdT*?h_`5QXqPA%){Uu=S>yfo!-^rKlAP&LwCdQi%%h}?a{Dj(26$}x-D zFiQ&ypN@C{iDkZXa!PaKD*#)-NH`FNQ>wJ}I)k;|yoHJ8_X8AI&WG|}La{Ucmr$&X z|4Iz>66gMrSH$6+FPi(mOcBG2MS;Xk>j8Ckg;&pZPwW3oGb@7k9fb!xZ%x6y)Cu2I z9)W?XQJ4)_;!hVn*F2#t937r^S9gtg&bi`x|0uC7Rggr0hV2@JVGGU2O9L5_S?1@f zUT5dkv!0GN*3>d!t2xIPuT?oRW17>;=aJOtm{@?<4x~Al&)ujEHVE>i@ZQz|;jXEo z1BFk)o1lh#Wi`^{eH`BJ#Np|&%l-o^8Hk>P zI-)O>HG&pZ+9n#TfoRQaIg1S{m+h}f262=ZT?(4v1rt!xPm27QBbwJnF%a~PJSip- z#w0ZKn;zQ}`k$QqHfWp84zI9X{06+sdQ!U{+DlOvh!1me(!tdNyC%jf#J(#{@|^)s zLfO-}4uqUAQg-jy1!*r}g%*Wq5uEVcz{K=_uFWK4tdtf3^Bw`pUxcZ|jku zWFJWQ-%-fxriCq5d4+5|zt)~!b)miy%BS4Pod6B`l>g&5PUedVMZR-{+v|My;G`kV zg!nT-soy7vO=Jzyg$)Pc6s#^88&ZVs<6zR$X}tdM0J4x<1+t$S+IsVndlEY!{Jn2;%t)t_hIgvDu)Gg) zEn$eP)}|P{xmyUriO@gQ)Qu;?{jefLp9MZ-484;zOHrB5(gcQMC_Zz zBx;K2mO`JW4KRwlN8DQBXNb)X>Pe|*Hps&Yi? zsU5VCq%3Iu%Ids%qr5UvO#>6c+l%W9tZ!Ld?}^sQB)(aH!Mb`$rs%63gx&&aOtvMR zUP$Er?(^-RC8cH7= zPp-H#i;3x?sE2I~7==81O)gkCaxF|0(CTxahem4C3ixrBKW9_`H_r3i;r4?&Gk$zA z%PendUMa-{K^Z|93t4Lm01RSEU3U3X}(lk!0_NT^x(DZ zWh-bs0i|gu1)^P2!3?UO6G(u8_Mep5v{hdiBli+IixaAWFB7N$19X37g$O7$)P$K? z*N`ex&}b+&785#0lA$1emLeX51#8(;St7kL_)(R55R?_s9OyPm29pxq+@s;CbQwo{ zrW`U38#}3QH&KJ?Y>8$21Osr6*6jQqQ=HH_-y=W|IPmV`|9H=m*e6K_;QY4(jF*f2 zN230jc@bQ0S`h@cwlKuB?E$k4Ruef3CN3asP)Z2jA4{@lh7iae%)kIRfzW@niHLWDH-9di4BUwB;{^}Lr z=r2`H=~j%#;dB-FzzlMF9dWcybagCIg{Bok3{WMKL{ue`e5(69A33VA89&TC8WNS| z+>rZ}uBwRDc-15Yd~-3BB;(=Tc(%d?{Yto;^y|tqY3()|qD32aSskgdYbTwDFEMYw zuUM-;pjt;fP0DY-w8S&Dj;0CHu_B!QhunWtVgM^M%fCr4WFPPk>2E$G_|{p)SBLcE zV8aW@*_&-E@V!JaDZ}Yah5~=O>+JXQNz;5TCp&!)CP}xd-CM2)4=32({JE8uTO3@h zujwfqODbA~NX3*+@DhKfYPE3wIRP*GnP{9hrrM9>9$b9*?W~eRj{tU5w;0lKa$`0m zBLk#C2?*$*#yWKf@LOYQcy!o}>LG*D9xb1$oe`L{(Wlb&L+o>F2sJjOqvX%}09>0J z&%zoF*^q&xcSppV^!Cv0&06yGjc8zzbpYi0)n^6dIJ)ob5oF5~=AWreMEvUaTgIru zL6vi$-=AOP=F5N|W6Eh1K6OBg5>R7OBvo*7{v3tYxt6v+u;P5(LgAaogW zXwD(_pqFzTc(tJ7ELGT-BR&mdwGa;CC)Hw>IOj${Ug>Nf)u)_@;^i2lkX}K_a5bD) zwbD>t$3K#9_p$6LoXUzTRc7rnmM4Q9gR0?AG6d~lGOIUm&QWHmiT97>M_*%~VtH_U z)&}{ldQ^ne<18Pw(Y$6Y-OH8VUIF zV1U^<|7ip*U=GIrZfQsvLjiLz|ED(+_mtUzIavSM=Ke?FnEo}(gEgU4RaTa}nMgT^ z3y!b{b-Oqyr=dBkPG+^6)w6U^X|!<@MtQ}|6ipJSxS$}JDHCOhMOc~jO3}-;KXfh> zZGC;KmzU2Env0w1mVEDSzn^mdT--b&Xhp_tdQZ1|1H1t{-}0nM*?45}lH%2XojNIk z{OBwe_h;*O2f#+L+P;S)u+y$+46pc5OFk(}3vx7}Zwal-nL(=ol(rRDvS36=`vi>S8OZWElp6)^+U)Sk)auSQK2i zT*k%q85bbfPeIv5QqiHxtELoi(y7(*B6hyAxn$kkG4Ke*WJqLXTh!xK-QgA3@ebz; z+=g9{QxdCs0UXf0=Wpek=jGh1?y4&*=n}?%2+|MI z#02zx{#WwnkApM^Rz#|TperxmpMcD`1OuL z*YBrQP{?j%&Y(b|MGdF<_`1sVENw%30i|T1nkJ?`zWwg}PQvh;!>AeF>>KcvEtx%WIF3;uS!=w`_jnlEXjFq5~3tOi?4F?+dwf zyNVG)W6mH6?X6?Z^`VfL0pJ|vQje?JX%?&|^dDn{?hd(||K?oH`?TAm<8257X$?7e znJM=|_whe*28m=-fbh~|+gInJZGSoS#%Bm(NT&JH*xdu*=D;`CiGRyHCD?vC`Y5#V zn=qAdb>eS>2_#s8mAKu>t;6;ml~62L=FM$;-ed~``N zJG`xet$NHJsL9rN%SRyC#CAjCTtYC-&FUE3>Uu7E<@Lr8x4OHK^9gB#Om1i%)g2Kb z)r-8}|7%KPa^kDLLT7#lbQwc&AXpW628syc0R#t#`K`d*YNj<*uP#Ny*-KrQ8qrsT zUTjI}n>&}5F-2x}t##FBqygGEt;^J>iK*i;6c-%@9vD9}B_|c5ZmDotU2DhZbIo4@ zv)!*xQxCl0@#&7wh<3~xSPrHmcPO!Dw(u)lS)lej&f<)Y0YdhUmP8;BM0QMik4uV}4TX47oq3$Rd#Ah&4G zvcW=)qt~PHyP}=NVOGLnh+rl8tkL(N&_ipjoQoVnDV-d!;yoMb>H8abQbB9m$uLFh zZ8pN%nZK2RJh(pxnRan9+rd`-S$s?b)@%b9IV;jb2iCAnLG!`hQ;Sq#@!U?rUmWlu zA4ZxSPf%LsH@1^TZ)LZV>m-Pz!13=I9PoBJUReiL-AVFvAK~g&xp4L%iRAlX$Ko-3 zV#r}cG0XAP?(^>DB%6-QcMXD`0Sl{_6kL9RL{$bj z*1y`DN+_OO57bLjDCsBkHI(|aE^oV7-VqSd2*5oU$dax zO;})g9_(Psu*URoSo~kh$0}l=3b+qKK1gdL-inaz%gK?dL2GH(SjI9SKIb z3)=F7=x4>1EydzF?+pi69cEUpxMl{N|Lx<@(Bo98W6jY z(zBn8m1oX7RE2+m@1$DjrJ@}{4v;&D9UaekMZ&`N=nuS-jyn9a%dXUpN5|NDVh3|+ zJD2NV)!lPO)%o1C%U_r`C_g8smAY84bh@9o&ovxgvG9grYs%F6wv@a#)IN>qXK$qJ z5GSpIquCW}>?avHwvN~#b@T<8v(iL}BnvexZkBc( zRaJLNi{u7`6GCkc&G27GG?kz~L?5}np_z%yU2SRlCD~<2&Mz01N>njY<3#Dq;`i6~r#7zjiaSj1i$ZbHYoc4}k zVi1W^d*y`_ZU*(u`(Vb;Zd`754OO=N_>2V1g9r`*c@w=Kfpo5+O^bK=Li=DutcnIM z20UtbjY$J=fc6_s!LHqRQiu2m<7_Y+i7;!5*^s<)$qB1cVrRr!BBd82o`$7&P}hcR zg}6THmXHKVG33LQ-D7~LC@Rf+nwNzmI(rz4C!=tENU=^ezKt-BnXF^oQ}^wYNij)b;TBEzCDIeDz#PWFA;KDKU()ur77)O?u|I4DY5rNXp$83xl)M`KFvl%E9`w`G1Fc=!LGh|L8GDk34XC!jlfM~~<0r>iv^SKAi`A4ZIiy7gd z7ViqGLO)9X=JOkLz72RwtYg97V8J==4G0woKncZ*NQOa5&yl{2`u*z5>{C&t>phh& z?cZgyRS2lvjRhw%5I|EBU{d%iK4>p6T4V&gw+ecPzhxn4xY>TBDSc^BP$KQu(6Q^l zBcK>41u=l$IO!-L)meqs9tzHs1)^d3gU+M}wOCbqOKkUhc@{Gz6DJoby@_8WL|oq? znAsyaB=zTMiGkP6RX-5@Hv;^_EL>+6s`nfgQGFY=>$DL=3!5R*b-=p@R? zH)P|s4obh9GloUU%S)HfX|01@$-%jT1faJ+$lRbGb-y6%?hs99#gdinq@OF(8{7F? z)!h^4V-C&!l35bVA(8hN2NmhIl3Nh_$46+$g-gn93%iUn#EA#h5;8+C6^tfWXzS9nf|! z+$gKUk!&3t9<%7X&FSYmaJC9#fStWmbj4n#u;QlGl2y?K^j=!cF3d|b+vQAgZ0zk{ zF&7Ox_URD@XAe$I!ysJrL%MtN-Y;LpTS)-P^V1hF^gc&wL{r1W%ikRuB7N;lT$!Vw zZ%Ak4Lji4L|tJNOo-T zJ{t2|_tq_@%sCftz7~5m`O7qtTI!Ls{msCYhYcG>ZfKO64cmC-QD0__aPU}q+c4k} zR{o)-irY(P0~TFDn;Sw#U8j{`ZN}i1FJ}qkgS2K*5v7(hYrbr!Vt%kE;Of}08>$3% zmpYn~!9QA}t)BOpyilOAYSx6B`dC^z0)AzM#;p?|5S+B}@V-zA8k<84Q1Asdp)qY|K5UvoH>@K6zppKle1UKPdeOjRN>_yiyF@$|b% z3p^=)^60R{)a-e-_DTulMB$JN)fHisv} zl=aFNiINYs3@e%7C`N58V5T#adM)x+nJS7ziF`;vK|W3wZAEe@>s!$D=o_$~G?=yc zrM3BI05F|uT3SF`B+Z@R_m{e-sOk?2Ud~J^9<3OdSh9fRb*l z>>ro4p3-p?hxRHJ`OV4v+TQ3cj$62#@_3OTEMiz@pc&Mjw*c@~5t!RLV&r}VQ4I?q zALJ}Q@bDHCaX03!0=_79H*0|J85>gko_zsMGj7%|4xkSI*c5j8hfH=l4J7Hqb9}p$ zj_ug4hqE)8-1SQX9EV+(d!VSZCT=9T-htn%LJqcphKGqXfeVAkn#Dd8?>v`ty}k># z1R4SwTY7gy$MsvpH$xli&v@3nTCOeZUxUxWHH8o4)V~RcYQw^^@D2fGsA$Nhkc>sx zC{bMCV(RqclS)@~f)Z^HPIV%QpKin&vO~3FJbNQBVy07a6)~gYcq1nC3*zEdd^w$B z@W7G$KPM>r&%O9HeShhNoS=sNIili`b+Aho$DI#Yx)K-A(jijvOwheYp++P|1>cXR zYHrki*LFwi)!7WUYv}-j4%f}BpVp>t&u@LMZM@z6*fyNK)*{Gs)K6J?V|t+)9$`%+ zm9Nk+<{9A80>uwof$G=T3H5QQE-i)wy8K9v)VD&7hhuH;ZB+$~wYR>@bI&ph7V)lW%>D&s z8a4uWXgtL!5!<|Cbr%+nz$rSjQKWA|Jm zePeTm$*Bqs9=a|Lae*3XwFA@=q0KSy7ySo8l|t|b{R6n2U%*|$pLqRWc9njl0!Oe0dJ3`~(Il3^5- zu<$`rBj!CxS)vl8g>bAv??GB4cBarYnN9^CL0Up|$X`E;asL{6k13XD98pE^n<-E|}RzGxBU#`v~X#S(XA;y%X^y;0z6 zuxrJWJu=6bJ3yJ^j7nK%yFUE#WNv0tprWVZ#~cI~LUldD<^qBqOOxd`MQ=3^DG(ZB z1D+kukKg1W4*G-W8SGi1tXO0RliT@}MeCu?aDcvt2yn3MaI>dI5)yTbe@BBS3mBm_ z7%K$hexc1jLDKaQc~Njb5@v$q;5II%T5K z!ZXQ`4y9*oijpf;%Z{7WE6gB3>G(eXwUP*m6Tm?%PjNVGp;XBh(#TtA44uP41}&zz zH3^q5)~GmD#J~g+mK3?5a1aO#E%3ogk%?z(r>Z|#f)o)R1fV|*p)58^Jy-na7b+798w3lGtL}|)H%8}_wrbewb-fiuB{hwtwN90hmPG5(C2L_@bZ{}-yF99)O$nvcb_4=WWhhFD+$yhH64|HVgj&r{ztpIC zIc?m-?yZia)$-{L3wiiD7JD?=SzFPoEIuRqLO^3|R*rJ$B&{}G2hWK!Ej@57b*=t) zR5#C&H81R=X7Hl4{V5udjRGB3o|4b60+H8vWoq!~zkr)uTKuT)`08zbm`ET$7|Y_R z_f3*ta4E_h_|2WI>D5E6rZO#)STMJU<(cHI>0+)Hd{SBhXD+&Z>vt5W!!X&WSx9g0 z>i~fpeNUV-dliXSXjEd6#a9YV?wtiXBBVS8NnUj#C?bKeiPh<6AA4dQ25BQ{o>t%C zJfI$4ab~v``QutgcxMQrdcO``tnnSbycW6)xr&ewXl&2KWJL{4aQW8U@k&$pX7Tr> z2G{M7=vL7I(@d5BPe*hE%IUo0*ozEBi`{oXipbnOx4uA6 zuJYF_YIZ4vB{EqoR@FwzWZKX+=w#@UqCne7(&}%WSUHnAmYi_&-wKz3+XD-;|75%u zOh)n1zw4f$QLOw{&5*A;qFZ=TA6RC8X$euQmRhPx!#Tj}B=67IEZ`1ys99stFQiQvl&zed;&wTAvnNb40hSO8IeAs6^eYjg}o>Jx<^53KK7kX(lpFyDtj4$@Pv(CV-aNn&-{jgv4Tj zt$(}XZ%!umfGBt{>-C&%sEK=nTZbn)XuEmK{@`ZdbN4Z}jp#$&<)PMH6bblp@co{A zbFnX?`n!P3O*V*)F>lGRTHBC$e_$QzcsT#KSxEZ>BbD5RZpIm81NTtnZ0hhccTf+j z5<5b4b|mtVA$uvEpdDti45e7O3Rm`wmw)Y~FwB={2Vlin%jaJZYCW6bzz5cS`aVvS zl{vw8kD=RyV}okS_Uw-HJOQ-v;AW7W^4;UF+X5Wy_DCJd+h01!aUY?UZFsN0qDD30h-bCWVu5lA3wb0I&2jt(z(G6++RD z&Wb7s*`TccFkLLVU|C=tcY(vi;e;z;-tc*D8LG=C=(|?OW|N8r*93eGJ|W=;*p@`0 z@t+w`5F)SP3GYk0kzo@Jlq<9HpWrO;A8P@b`2^3ZPT))i$`(u;FO9^#r={(LACGCH zg?@4i`M4VOorAFFw&3w?%L!!pnVs`EV{nn5Zt-jh8cORVS+-7v)TPrOoGJ;_zM@I_ z{r$qx4Dd^_ecal^g#_I0GLZ4SR6HjyVAQzicldcu7%6U%B+_aBHJzRu!m!V^ZU3zP z9U=5U26rbRyaI)ePp0__843@x%6^|S)1~uLAZrm7Zgl`Sa3A%Wa(SIGOHk$(nUGtZ zcH#YVuAZ_Xri??;w~vl)c@rmq{(1dJtGt6eAe~Y|I{L=hzZ!rl$Jq8;adv>P17m9 zq%K)3mxLX=sTfMSUqipN6Dz1jWA4R{U}JsyKE4 z$0$04^TSxd=myaB0y=iBBm(hJV^InVm-c{)!o!OK0`hBJSebokyy7^D931ZbP{=Wc zni^&U+I&q=DGS?O45|{tO%~h_xA@OD(Hla;L-$RFZml4#%aHS5;TAL{ymG%JatsEzP?qWC*_aD zqgCPcI$4PlS}BI3oetR*Ht!&V$rm&Ppe)RB^%6oyi(A^JG4FF z?fZNQ$2QzniS4p`dHE7L#7hLoIbR3{wL(@5x~qe;xGImi6?~U0El$iL@I}-==`qcL z;25Cy+Ek*yqH1MSJ`qvSnGpgqsrM=m8(HNAKB}8)gY)y;P=gZs(u&9W$9bM-6nom_ zqijhG{_0|&`Y&P~z2NKTTMv`tVGm;aFKw=E= zF-l-6Xl3yx`&;WnAoLvl`2|jqiaSQ;=N^Cr^c{SNdx!iUzod5Pp4>jo0kzsg27SHM zFdEzm(iW$#nA22g1;R2hz(p9pRFGS=Sh$id@m6`5j2YJ)j98=CD?+O+^6hl>cq9{C zg99Y*b%hm<*B+QP69KIhjLAl9zNV#HFO-M&+km*ct3Z zBD!2Ns%>{@%=H0p(uJ+{;}W_)`~gVEqtzl)k?AxO3?#srm*x){^S6n`;WEvfFcXYc zrw=s;(X_g}E9i2q-c#G7Z5G8(I_y(+m}5Kf7BKiZd=So?2z>Wt?a8^M^iKt)c7*rF zn&>_#^k%#BTz%RYw>yV8?2#L$k>njK7>M?X#KDz(X-cnTG5+mHN;y?QT@EO{K(6Q? zK-nj5&4L$rcpI8P_{Fx!yZ$~yolf(As5+Y>J{v7dI;s<~$U)OK=-F(z2sEcYp(Qxx3HK{rw|+=#5Gww1zpcdW94RIW8(wewe!<oZ_fof|0`=&D(e)ubF29Z{6d=65qr&+{~D zctP-NFRDut)AhY~emnrKpY6`sb15V)7{Vw%HDvOSkgNGwMg+}udGzBT=v`gUD_z+G zR}IG)v!FC8SID4@)U9Ap$6R!jB1JD1SLOOg;#4N|M;b=`tMrB*Snlts#$pt+>7iUc z?NmFD_zmM&*{#@Ogc78KNn@i9N_%K)%a%lR_w1kMQ(I6aK~w=6{gd%Z${(w%dQJqi zZ@{e1N>*9i2GoycJ|{h_Xs%xZW4a-Y9BE(>n)NE1vQ0!$%U#TOKjh_=0J;v1(FTkI zeeUIa;AHl^#ebafAOM)pqnj1k3WZq%ciS01?B1MIEPr*7(c_y&E{~ifZ$o3E{R_4% zcZl40FWxJ~ehCmS@y0+S>E!071*~i_N;8SP8sM2Hvf?cJKE7p307F{vMWC=nu5sR= zCqNy|fF$mLfG3H^mivjbdbcsPEvuz+I?dVUSp#PdAS?fSTPDD1`LEPScz&ucJo^J* zLOZ&ZiUIeT1rFT&ao>@P{lWs7DG+3bWHSST{ErMF6$Myo>GB2%Kw2iHs981@+r(&< z#*}(f|3vMLk6p@SvrCW3pL??MlIfRDnMxVhkxdYgUF^l1=OJY2H=r!N?!><(Yu0=- zOwGUUs5CQ{FNf_c>M-|(S!7uDjCDWwJ^8Y}@;^NW_v-ef5Rs4zZ#GMOfl^Ftv#X&|arBmC23X zc~k-;XEz9Tx}%0^``*yu3mET|z1x1aH_%I(q(eiyA8-){g~<)#a_Rtz-hrHNh1<;Wv`?ToUgx@W z{s8O`=wVdo_gR<(tT8cUpnH>(a(*0&zo2b7*T}OvV&Yl*6{PiDwRtD3}Cpo zLm<*X-Mud~?Cl$S;C1&ewR8G-Ld{2yu%0s4GStWMV?W?~pl%-oID!FiwU!qA5jIG7 zOUiDSj2x7Y?SU|EhW=LXTBY7fte}6^?ErgV9xP$xSZ_!=31i=Hsw!@o*q=_{jC)Yc zIX6c{v7lRrH>|r_HSLmY8=eFf4Sq`dRr3Q;KpL>A0>s8hOxy^fUS3_gu(hS{PK^KeY zAI}~o>?jum-&mDa)oyxsw5`;7K5Cf(TRq{$p;`|MZ3p5mon%vei;clGZe&-pT9yqNI9ofG1BSB zXQapH|C(s24tFq0sbRz08B7@&NdaepNtx{by6u%e@$>tdu2DG!T_^LS{eEO9#! zCE2m47x+>M$8fo|EQnX4oa`&F2hk{#SSTsA3aFf?Sxj_{T6gElC~k*Z{26Sqpv;i? zp#p5piR9aB3^g4das)~ilL3^w&C3u_1=I_WbT29MpR#iU#bYuM%J)Yfy zs;CQ&P#x(Vo4u{T(WX4Gm`oI$>^lNQDaJQ~qhrAd>d!(}rhSZRh3p^~xF6oA?s>jE z@FaoC-wK<^62;`m0Rw1w6M^dM7lEGtTJ`4QSc@lMzZ5-eW3+jdErB+%(~~8@|J^pO zVnk!pJdd4ar9YYlxdsV4W)GLs{~j@IJg!eu&v&garRm901-n&{t8ZR>In;blOvJD& zc!}|7_J&tD&#RB43SCR4U0>UvG_z=;!Xk7iEMi*hFyQd!i z*37JC&h6SO<7w7fV|1Bp>}wjr)W_O^K|1F48gV#rOj1rRoxwN* zvzoBw0{z}R^7n>4e>pNXAxndxjDDB$Qz`a+5Fh<0Op7gBD}#Vb&W7B|RQlz{_IB)f zwAPARL&-1QvIub9{H?aOAoM7hsz&+v+=cwJNaIifUP21mM9n5!+-!OK5bBL-bJEgJ zR!iHdH_a}}PAMQ;pI?Kcs!u^*(gOZInTzIdyy2lxwQN@0o#f*2w`h%9*OYAbBEP#} ze)wXS$d)Z=bl~T8kr{J-`2HUj48_@an4c!kh>&WSj0)JWjHFSuNpit>PDv{Yt^brB z5@qLV<1l0j@+lH>=GSG0W9eZ0K+lHWLLdkYgBHZ_9Cx6;AswxtYID9NHkuvYdjla= zTj*NKBG7gI=mVC<6OXzM+bQ)5X1=BZdV3_O^Jx27#&gU|K`n50uvWJ%WgdlmeieL) zTjv|D?*hDCo$&Ez#Dp1vPdJd)2(e3do0ls~d=3cAIk;uWHG|r1-~nX`yPFL&S_{pj zQm+M*+)hBhn=LGSn1=0X!K=IuRBzBZbq;PWeBu~wzmcJnmn$hR0sTDe$R$jgq*3*1 z`DqzSs{IZC&I5EiB$&Y92Y}SS!w~h*quU;fR0GJ9+!2n_L;tWc?6-{X(>c?S#*8@i zsacpwTC!w}sx1DN1=g+(jKtKEm>^7J#eUT&Ar%-HnA|h(Qbs0lVx?U(H|$ldEh2_F zg}E>!3nEXs?q`vvB@;3fx*5rLfv=8e_&Kslf|?^g2YW|{OUaH{7omrKde8?ZNCF+q zX9D2j8yl+Jh)Fg%3*ik{+8mM&`9|Rsd(6I2Rj**z=w4^a>!P%0*0GiS$YaP7AHE{~ zJIfU9MuFA;UD?D{hU=~o_!y&mzrZS`=oGC@)WC-Bmr2J~Pee>XT(o73G>A!alu#qM=-;{3= zQwb4;pzxIW@*_hg>VQD-yUu3a@^AsA`*@<5{$BkX3kX3d!|0@OLS9dvoP~{D zqRG$dqbZunm7G=iHJ$4tMRL~2P=}X7o58$wgvpxJg6g_Rwg^^You>v@vzTSWGx6^( z-{BfJrTzZ9*)ww)q!a2Uff7{#MfRa6$q5;=DeHj2N&H=m$oZP@K(Frn+lqG=t#Vji zlGm&MBXQFKfU*wxN(9)^geSeDGzkh3Me_XdCZ&T2rA`C*i>-{Ad6cEfXoGJNIGzry zh~ZUwLAl?JD-Z?0v_a;Ep84t+S$WVwB7 z_l!u=#FSvbh8pXRUpN(uJ;PRUmn-AR2gPy549Z2z57y5|F}ZcC7b$`DwosyUJ-S3R zK^h3RJis&l{W!pBQ6Bq~j?QS3Xa5F^dVA?f>^nCs4av0ecaUa^&V9C!*#e$o2rk4R zw;X=c3W%=8$|FCleQHejF&VC79_vnk*sk}dd2q`XDpB=nb0TOLl1J39)@$qXR3W+z z5I2$bij3H#|%j%Bo)rknngC;!vxb`!@02Zlza}@8FDoA)Mkd$9EqSE ziyAdZ@A%y_R%bajUanNIkpqI~q{_x*z?B`pISqMK}*Xl z4nf$pH8C@A1W?T3bAu~L(?PUMzrL#owQe#-A{YBaY3oONBopf4&H^>war+o~GCAHKD!fel8>ezlXO)9lK=lYZmDfnC53k-`)|w+B&dgE`9R4mg}%+_CEEgB zPMa44L&P2&3d_FO$5F5u1O^;Ipasvq5r>P!{va*Tsy4H40(;s$9G0bEyG=Pr% zJov6Do$sU02>|f*vg!@?+XdzrW9a=ykxK^iIWhUy(KlWTu~1d}ygnX(x?wv)q{6{f z{BrD#GCEL(RqMg%9s01}U)n$m@Y!)hXF3%9kN6g+eNLBXMP=SA#7m_cvEgKpQALo? z5_ur#uWe;x%0afVO+ARaD(TzmOG<2R+GMk%%xoUl5&=M3Mx7PSOo@&?)f$6FXFr}P zMC^oj1irIysJ9$1C5d6qiCvmH5AQ$_1k5bV`m$OsxO5CsRinQ=FtZkLaxZ!NzjUar^2;WaEm;tKWmu`q>`6dP6C{yoJG7u%mQ_KLxPm>!b838&-v+;J&}326BPN zIePF**lH~+1{Wo`iR|Uu=I4txMe&G>e&ZSWF-RqCX}OwicdAw%Pj%FvFIUs3+i9K? zjYJbCyt;qL`L94mc|5qAoD?E>e*68>QB{gd1aXbO!Zr@E-u3Em0tc1eA&EKNLDQfQ^~sf4Yd(nov3@=G!@#6a`AW3*$08 zi4{#&T~}VqYL%!r8~du)KtyrD4q!rraltb8o(@Bbi3C`kBUL9^6gpk@iMQUEw=1x{vq+LcRt_!d zEwRX4=M;>`2KsGt)Ixe8$hJ*gIL26PltlPmgt3SB+lOcQn2#khgBrD5GU<$F?*Thl$~zFfXjI9A$%u*} zBNv%SLPGDBviIi`(4mom8Sl@Ckkx0(%?z3z)#*Pej7|s>KQxMLf>n>J8B!&tC#LsX zPjs2&FHzs9m1<6Zww_VY~z`u^=)M6Y=jN32b6>7Jru5wox5| z$HI7{W#_7f!sqDr@thI#`W{@}!137`&KP4otOo>viPb^J!PenBmSJH)`cH1|DS|~V zB745^{(6Lf9CdaU``ZVVc`1GFJBj+|VWK>`0NU;1lO^CRU?mI$)DDP)_w*T8&RqAF zzwgr?g$kaWp2*)+{U_8 z%TXGMk^*oB$CxYqz~#Wx839hIoAXA$%n@W03p2gDt}2*axKe5r&Ii4w2AuQjJgPcx zaa|C;U#l?>6LU&KwS-H(4E^vTLNC2mC49lg3zsi8r|D8-7UD|0QqC2p+^%^O41_=v~+;UVba|Mq;o{~`QDi|EU(m&{x{0Ho&^{kC+ela9QjPe?DUno?)tZT!B2l-d6nK^V;VPwj46OWq+~GX<=hBVg0f z2|_=P92IfJ5XOoT>k5cwF-=9KMo%88LDk}qUU{ma6b~i8p~{I;5(r{Ln1qV_k=Xse zFAdxYE8NrI#Nd~oMLCVpv6S>PHYABtpY^|=XN4%`L!;p|Z zdd#6S?|M{h@a#+lI^WcFm3CUUhJpkY1A%&Z(*rLO%1helhUvlVsCogFl2{UDOP$Qp z_+>#sVS;Efeh2em99l05ipD=?d_5M?(cB(M&-9(8TJ7y;I-tHC?WT_K_X8{ddjL^p zDt!sVHa7#eG+0xxK}O`-hXZ~Lm_P0CB-gckjysN1)L~MUD<>7)GDeUku>+wvQs;`-2CA%3Q~(udK9k%ZIw#iPw1p}N&#r2<)h`PXR54STUe2Ddv}~GkCKgy#^rtoG7=TD zcI7W^U6O-dgS4a$DOeoPHMcA_q{En3z0*vQomR$5XGY<+!dwS{q)FAB9$ur)@ucv{ zU-GvS8L{y{5V;BVFT^&ZX~EIG=5pow;7SRIf`5u21(%l{>sOZ{OT$5#djP-*5*a&A zZ5Ff1%40n`jW*JTWfg4ozhH*UDwm@sBs(_g6AY8|Di;ueLuBT3U3Odtj_j7nZfI<7 zydYcu;0iLeCnku`4%W0zJt}3vdsv*W7=U`kvREWbFTT?zhyUV63prX17&2r|!9X<6 zKl~nybn<7%QLw}|3X(}_hX&{mVflMC4jqHS$?Xdku{#Edq{@;dzWey%JHtUxQnI5a z;Y3(r1}~?x62cKg9+?~mM%&Po@gk^r0+lstlE%O_@wPkUn8+3PDHxFngc&Uwurj?6 z>{Secsk4|I=>)xH_ed;Hjk|YnU->S3)kiHn{wd%8_2$UZYBls{$OT}VE;o}V3PHzT zcNt6a2ph(J-S8-dC|~5b8@X*S>(<$!MN9~K2pc!Db(@ATTx??>P7(1jOA607Op4np z;zq#aO28xcv=<_pS3rp{I;JyS*?UY2G#rS0&&*ob!l@3^K$@=ArY3j3=ye5YC1b0W zCLYJYm^PJW57zLcA_m~EBNC?94fwmK6CjEZM=7`>~uQlS%$5^s8E&(8m@f)XV2y!X`HA}GO zoN~ZgH+0Uj9I;j9ZcCJzR3|MpEd=+?n+TA4)p^8&x*Euj~FQC_<+(xv7TfzoX5 z-^;v2kdwe2G&>PZG+@zD8ZNuG79SUtiD(rl5?MlyoXtIAda-|9)*ti{WSw78Q4=qu zoZ!wDMSul_6&47h=VSxnBG=EWsi=l>Jy0hwBcskK;sLN)dVX%N5NIH|U=7=^p4q(b zeA^N5C^B|eD-I4bo5VlbZ=*scR7r~k!=^_66<(j}mZqM;nao7s=G}p{iGZ2|kwNxz zFoC&!fgz*At-4Up2xPUvOdMAMbFUDLy^j^)!quE^P_B z?x_t|@&YguVn2rtd7{Arp0Z?Jj_h+DYoT|z)cJ1{;mtvHQ&Qr}NS)pGEZ-CMwY;;d zL#ucfK*e)M__r>&TbbzTnF2frp7~1X|1n9|`Ci$2P>iOAYNE*vlZM1zd)y5ZN~UgL z=*>9MM^k=N$z7>`55!~gEjRj4?;NgPwYNl<-A^pD$tt_>Sof|sR zu>fO}Dl1F&ywLyrEcR>Lird9H1mGe*v}BNcHqZkPPS;VkNTrj&E=NUCAwAZh%8!#pwQyVxK1^s@~hKV@e zuc+{9*$G+D9eKZl)`lk}S$uP(rtMHrJF%j?shY5W^X20umJ+<&CQThN{a#|RUk5af z$}WcrkvKw!=HtDo&$}5~KY z!FYG^9gCQo`c@}WTGMp*%V3X-nE}3@cl3Mz_Rtb)n2aQUaAg zz`d{)K+O$KwOJP+7s*-|Y+N-YW;7V0xMT!)T;3G<&Q6(K-JTWjUY>qUV*w;3x2gEK z?zX*fx!Sra?;U0XYHLOIGpLJ*QFj~}zu|yAmFO&>M~oMgk&lXKsl9o6#m<*^nNe0I zXyn@OxCxcUsjwC{R_4tWvc+=c|Di8xri$rJ{ZcLi7&q2Y52TFfs&7vm&pADz1fU-c zq*n3tv70hHKiP?XvT+_HD1c{J`Bmo&$0z5be7t&_{U67KQvdv_xxXc?H$eyhWkK=K zizpJ&l{I`A7w4bWhxI6g`k~2*4ZFUGxQU{^lZZTeJCAdjJ$R$P7J$>=yxhZIdH_5V zjvh&Pmn@6(etGubE7CAsM{~T+$-{7pbV}-bR%d$%gwh$7SR|5fQ2+^!KR7D=Vec5? z4-Kv~ef3F+`P5z*(wrlN36FypvpM4Oj(nLr*NQwDlVPmi7Tifp)fhavr`8R{Owe8( z2$CZ|MdLpc1@H<`o0iOcR=$F2U}WSn#CxNT?Q~1RQ%p(dv6}uHC)U&$Smal)QH#a} zwA7dzC(KmivRKY=I$)L)e>&88G|cF{W|M~^!yOrH3(UY}$n zsa5>!-d68~CL8EyOeH>(B@pto1P?z207WFJIRh(vQ|< zfC`tR7?v*54?(hJV$+-%X-z-!qRDB{W=CrqFeUXECmGo!fnDp-^*+6rh|<=!C>*Va z1!5=@%ntZNYs`60k(to>G}DxITsjK$LyTWw!sIdjC14?zzvsbK__m$2ODj|A6zx=A z?vpjzYc%5I;%S_h*ahKT?h#y=dpa(D=<^ShW0#+vkQQZXiHNrn)0Im~4E4mVGbL_$ z-D&~b41;Dz^H+zJbJy5!OxiLM1Pdn@ema=^H_F6(O6Y~OCiKcaix#9m1?^@X3-Sx*xpqUOPMueywizRV}Q zwmEpAGF3?@red;&lB$}r7Y&mYaxa@h7$OFJRaT4e!ZzQw55|0xr^!X#V`ZoPBrIGo z4bf&6I?*hw_Aj5y4hK65SWdBDxDa*-Q^7e;+km_7sb~>96j-xfpkt89RJaHt9*S(s zENmwVyy#zz&9hN3O%rtS9D^c_iH6&O}LJz8&#$ z=%IjPrjea(3Grjxn+;81qYSDwU;csKI3@MQH|OffL;nyYTUe4*n$ps!Q!>~Z6QGgI zZm^J8{EqF)oKh{bQUUcos_^b7kGAeIY`}oe6oHC_B6i1 zEL=8eG0HF$H5uvz0rhj}+47OiE*?fTYi2M#gl}VAzgrNn@9c1SVk2KOlDm;|fL<)2 ztW;lZ6_rsY$qco?cxTw|kKZ7_2H0`xe$)H%4sKgiy4MgSrIp@s#ME{Xbph^nf&G@p zLy80Zyk3(?VgyZ7BD zL@Xkkjkzr_tI#c%QZbtLN3I0*!kuKga%|=zFGD{Z#5@3fu}UNufMn*;1JV&WUKC9| zoHHL(P_UHe>Dv7DdFLPOP}W#i!7#E69X9r*AFX{K(mqq2{qxt71iVv}Htl(TS=C|^ z5G^>W6#ZGRd-xG6G`_|zP0UljUkSnMMWEuI>NRM@mS|}!>qf0i;9(A@I?l3~%8A48 zTf6zbz0$YBI-zbAkSc*R2l%KRWzcqgJ>xmx*tNo`>+$-UkMG=k#=K6gzan-YW&S}k zfM**eJq3a1omKNd-}ksvC9EMKxqnnN(0HKPEau}lrSP|y5L~Dk+(06%BuiXeE3e;!%Xzm_e`r(33$x(eKRTI@07QG9mc&;x<4}?? zII_bMdFFfObL9s(dagknI8dV{(crIXdKGeXeKqip2F-9Fg5K()T5)Bb3LIVLF*Cn_ zR}`JAL<}{Kz)unn9TQ%n!fWcR37_oJ~Z zu+4V8>5&>?X)r0Tt{E`2)6)>`Y0HL=Gl`Z%{X@aqT)sWD`2+U-tI*-UQ7G5{X*HB* zkdPT`<=EM`k%?Y+PlBw3IYDh|kyh0vkD1XAo- z6iIFq5=h}cRGczIDDrqO@O!p1~OE`wCnFWUOA5jx%fqF@I0v(0eF`TA z$u}6ar|}G<86Zvx6(6)VVr@Ue&&grIpl-QPVN#p}V86M@&tNH6y|g(IAhhY9E^C<9 zbF+)#V-wK7Jj8u?kAfzR`PfJMBrxmYqa)!}geTFE9Q7etA4Qx)CTrmrE0No&_v{lP z{Q09ek(gYe!S$meN=YoVgtT`*_<9SOtb>9_1h7_BsNGb@`Ww#>yM~SQ_fMRBHg#$x z3Gv~-^{1Xa7fLLV3we_&$}HnQF`rmPe+ZvgFT9m~)qnkx*X?%M+xO2K!pE)_!!K7E z8z5oLXM%1T0fatl@(7kk!l){Ik{t}(Gqa^Tm6j;rFS1&3vjus@WC%|cA1m7{=_Mf? zNz>(jmYF6Apb1tNfs_+cr)f#s=J%I5PzOc=ij2x^RcO(~ZA(>>LZu2^g!uPAkL234 zjqT-&m3}B7(R7-Oua;Nw(B)9EgMaD~8hYrx5}%6@X8HCb_79Av^NmN(i2&|8r)gIn zzNeMK2yk8dtP5w4wR;1%wF}cE**Ll;^da;=n079BC+k=2xSiQ`Z{{o<+;gxH-rxjnVA!INH)xpsPKk(|J(_F^}ERPvm z(;9?J{T6NGYLZdVr6Fd?s8@n{h%YsO_pIm*X8e!ArDFDLYx)buf-Ny)TO#I+=Y8fi z@e|Z2je5@5)+*;z=Jf8HkFUkKhRP>YqfXSPQkXxZ85fQ;J^KQr*jcDG!js!cWm6tu zlLD8w8`=79y{|?o9Kd!NzfI76%mb97;-o=Ce(96|1k47^vWdY1a$DKVJ5WVUD&a(0p#Z9kSqoH{D>NPk3kDtM+$+r{1M=aCb-2Cp$f!W9H;e z)2z-NQ-Ou(t&=lD8PiXy^bMFh@0S>Sw{C1R%#D;Ip_R2w zu3BqSz|?diGWT8DG(&ZgdQeUPrIolDEw&Z9G$hDI@89fowOHJCBx+nRkh#)%1!o3i0!Z1xA%CWfQ!4SxJ zo>G8FP+3%`1n#QeppS)Y8qOsIf_@Z(N3?_4d>b=9HlG6yJo9*36qsjvJ zA#M4j_g=}DhtIm~r0nAPfX9-`()0G!+wHjEmlKrvt3F@`?VA1lIz0qut%2gHz2CuV0dE9yLVH!8#?bZi6cjZ9`g)m>KLT50 z229)H^O78=J+2FgbD0?_f7n@NMXAoA{8!(In3;+#G6%^{@jpOqmSLO!c(t;V?X|r8 zbqZ|mrH`_sa-fpJnOkt9Gel=$uIb@zD{R`(1eCV~+b|jEjZV2cm*+1y7HjV#k6S1V z8(|0u(npBz)04ApHu}d@GDahe&30*s%-gN78FZwAVeA@^^LUrpV=-hsZrZVOrxk(BODr3u8*;ng0z3BO8MC-(=v7v(+9&>dE3 z{(Lj=&?UuUOh9z)j8j0fy?SysGA~%++oi&**II-5G)+Lk-G(mZwNWZO5*+Q5)QP;^ z?za0?kE0W?hPQI%cAKz_Y!N_~5-iO_N5jB0Kvk23LuNVKTr;ktkJtdk^hd?h%4Ldt zZBbOOp+&`Zqtp}&I5|Bd8g`n;~Obyfw?32}shH|H{rzuCGy!o1L>RgX}@ zTG$>ryx%1jc2x`)%2!_z8W}{ZDHNR08yCk`DI}jQJ_$jFA)m$RzLy9Lp{J@;!D`yU=#Oti)9S{utsYg-&paw8Y+nWb+CT$mthUJaETc5 z6=ff=7zW#H0B&0^6b?v+3mAGt;E2uQvsbDSB<1QPaD%8SELj(;o1XQM?G+s`mGowv z7A#7g4j-PIyJ`&#(Q7ZjYe6u0J4UcWdt^MIK!}L8K+-Gg)=s zbY2g&NVy|5Zu63KHtJGJPb*VdreNn-S>XT_21sFztB>=pA}*r+!V!x;mI6;vm_0<( zfTJfwZ$eN5zrz$!f{-;!q$2j1CqNhAmL1Zb52sn1E`5IrqPxWu*?gBjleg00Ta^w2oXx6dm%dd{!f{W>)hbs{jsns1q} zh|l~_TP*^}X>hBd$CnP67~}z$eB?;#{XRTkm%Y~;;=7?f?vlKpU7cND_I#i3K?q)d z|Gl`>C<$iH!ujBmJ<&tJ2xKl_6WMGoI^f#%Z!ue$hmxj*? zgfIJq3g6^n|93bohj30z!TlQ*TUP2}{);cMmS&!(-t=ccrFz0rLPW4b=L)cRz>|49mGd2+6~%K{wU@%j3#F^Cw*4 zkCp_pU62wo0(2ezSgvJ_-)x@>3?$tv%y6RgQK*y^%XWH$Te_VmBR8#?-3v?b7U7YP zl-DtzxM0Z%q|9ho0M-j&>PVaswme34Ot$`geH?T~<=B-)B{M_^vQ^5DJfVH{pCBZJ zvir3P#e(( z(Px<*FD79$EY8w^)y>UK+-w!y?9QI@=89sL^L`V(OzAhH4Vn7h?Gq-W>!96_nZAgb ztE%Dvn6G}GsWHmRy4pF?t26$GxzdwV4-#|w`;~}<^Tvup5n(Ma_?xjFAJNc7kWS%> zjZ`J=9_yWLrC+&U=QQi8mV+I(t}jIY0Q$9@X>kLzR>=y0qwZsKU=iw}K4MyNd{@8> zTU{KSbIyXg^YuJiEB`RICae2#UVn%9y~PVcq21=^qerf61DamIQz!A2_FPK~0xq34 zolK`};oP0$qsuWGq3Y_cPvENo7RAhi z`GOXT`Z_2;#b=pMSZ}r^r=HaimRG9TGcSLKiK*bM(@eE}Qm)i4*jCNFmSthHTCt=| zRQC6lRF1da>wcdw&hNwYt?8$Lab$bLd(I)IF+ay16fH91HCC3-`!(^FKLoA@_}x2C z*U9olyR3WYj^uy-&Sc}QWoeqSRS~<}Khr;6cPm!|ZpN;+w^@zv-jk(+G!q0tMAmqm zoSu|KQS8x`K@cp4_hxJAn*$caW*)?2=494)6%W#DUh#ZKW@Sz)ADE5wN5a+-Sw9uQ z;+faC3c4LHS96Zx2W_I+miMgIdd~*hs3V+NVXzIibTudr?^_)~)9{%!@}^jk;zDWuJswisdP zjb(N4NKDnr4^gbU*v*N0;?t4Pr`aD1J5!v;x83xAd9_l8QkBRv%~z#nr%l2@yx_9X zT%U8_*fb{iy?g%X7iK<2unvh@ikpf@jZZECY!>(m%geU=BvPx+2!$ivIg3JY+51HV`gG6FPQbE-=sZO)ZEbBx5J%uuwat#;eC_SQb6}4OJF$ zODmH@>kicw9nq%;l&ZYwbcb?*_k#-W7oc$+B-iw)4wi~4k9lJ4<>$zP@weCC1|%_6 z^(OmS?FQ^6uYSfIhC%EfR1gtTNf8+V_+n zEg{{ot=t-6`II!R8uiGUhKl9nu3STgI-=Qz`7q$G9I=O&Vqf*gdVoWXDpR2o6M|5H z8UKrLDbJuFvUj#xXp0WCC#b>$Q7?lF{TB+0n8Ai)XJ!zybaHkfWMbjuNUUSP1#ofw zPj0cKW9f`D()5+1&$L5KI`sQST51TIOpARdkybOwcmk4Na5t`>1*#TEq50c)`V1c^ z=wDHR_=}o4zQJ|pXmg>(enyB2T5(h%Sc5VIPmxl$3=`TEn#4EX#;}Pdi6(1EQs09e zN)#1(3Ysd3l9d!7K>|YuQ;z$`m543FQdvJABGK-G&eS|WvR6%LI zA9IyZ*Dy~FMqi_hkr;KkANDjKSZ=Jp51&DGZYwv})ES9fFhV_q9hiI} zIPV{by?(%}0`+=%MtphO&8T$_5(a+U=VVMsvm4#C+D{B9RsAi^w;5i~_&>n^un8_M9f%ip zF6C~OflNN&*D`wiZ;0^L<2*DoAZ_t0D#$;f`QZVCwsYsn3i7zmUioP9ay%s)<78(B+IEV)#}G z;eLT(k^(CsMtdNWtzy=@t^@ZD_ahP8@R1ph0Gq%aa=D;3OG=19(hh1xVD@q%5{aDG zk>Wu>8yM&q3MMh?1|}>1ruY`88xyzrEeaJf*L&X>V}jm)llRM*lKY;@C<+ESI6TL! z&fZ@f5QmpfIk)04Sb{mvHRFtbMXCx3PXtAX#0LwEg-JWWPKa6{d`|Wb7AH(@2dRa4 z#+)vbVDaqKX=aGj0_;PiNi2D##Q1wx#1nZc?jH5GorMBi4;BeIotQ}P@AOSY8DT2q z+C);uKV48b(}bpw`(Xwe*Ajn*;^II*NlRT10feT6pRL2n@n$e)Oz_wlHRYV-6!ZQh zdMO9sJOL+T3WzDjQDVZ!3#D5pi5Fv!pKgp*aW*1%%^yb0IR~FGCLunsW{xMXtsiFG zSUKtsdM{IFQP&;kFP<-#W)7-+GnwX|&dUP)-xK_ODV)V9Ib}Wpr|!A-mDgh)yy@;U zfE)fv&qpWL@1_qM=B~05zG;Gjov#}2W#8?@x7}Y`(;Yi<+p_JY@}UF}Ee}>&HW^oWkL_4tga;Nmy>n#>1(;C7_h{Aghvh!B~a|GR; z)@Mvn&^!g^1qx&T7R4(iqXM%-v9bS#{ZWmO>09qOGy)c0E2t3imwpgETrd1NEVWmF ztcElz5UL5b0}~^%PdlCHo%Vs| zXyox_B4pU~V5DepzB{tsovnG9wdgUw4mMc6dEYp5cc#DRuKt`XXpSlB>dErE{(b~L zsnS%3I%6cVK2l3;5+dqPCLVv7&wFhKNe2hrF~s#CBUo?T@%yO8oiQg!0GJluQJ8ei zsoHMi7%*Mr@C*DaB1S0G;7-~B^s%Vp;#o1S(`?&{{=yB-7e{aNH|Ap`DsrXkxyF0c z{kqpBg{oq0jYOWMt@Y5F`jJY)wuX)3CNyX&P_VR|#^a17do$J|FSyoIT^M^6emNhI z5vj{47LHK$7~ctmp*~#P1$ZEkC20-+5M(ksCrLS=8yZ?D^_j3rV=7Yr>kww;VY*Ep%o3;`?REhK{v!f!{BkTpMr`!2PW(+=!Z}fze$EiHBt0zf`dWL|ALL z7SQ__h6w2rDEMLxZ+^MA=BZG&Ve2~#6s$sy^P_Wc9)<-0Pcq#20j}U7TDGeqH9{H> z%5X$GqJbA`2G4)-hQ!pKFxjO0RFph)ShD5H)Sy_}SG;=ayvT0!mODD}-pCSHu9l9j9?wCs z5soz&qdQ8MO6O|503TNk?R^t-Qx^Oed|cVEvC}8JHs(#OaoK(^AAPb-ZdlSBt8+Go z%5$|u_MTgA8I{S!y~9t0D`dlR3RlSawT__1%J?Lh?AN?24DnPF9ArH}1c_9Sai> zA`Oper1n$r0LvE4)gr(;d#ir#i87d$s{S!a2s&1KiXpqnDLjDyt!WxOfl%XUZ4+z@ z(SX})uMyRNYtf=Dvk#py>pJ2-4>QH!yH}VzyIL6UGvJp3at7luN=a}<($n(dMy;@f zFT>NMJHhMJT>l7w%4vLQBdw)`pqsqSX{{=-1y7R(5&N=Q|Y;`{GVtu|k-t$=T&0t!M=jjnUE&3iS zhV%e`w_1Oyl39iOfFHk7pHx>g<9N^W#0_1L(pTx{!D%n&Se`~7%0SL31@#MKL|j`uy4+^xLfYmHu=8*21?13j19y{%@G zyXk+hLblAXrJFpwExihBths)h`Q7^`@>1(q(m7 zm#Vp(FLDWARL9}&qXeo`|BR$GIxguR;+ta7uWe#*etz1m2vOo z35V|;rcJgW$Dqi=aYJW4s{dGLCUrw+BR79F#F_hw)BA#;cLt#@@^h(H7`2lIHOF>X zpf@aVJNsw9?$O`M!)cV$M`6Nl)wWHw*-&kE_Ye2&zZ?NQmzm-+Q(R_>%Ru|gRiD>d zJ~Q5D#`_!uZ+CFY`+M5q-3F(c<UreN^d1UIf2hQ+|55urpCXDa-LRTI`TgS4==S3B=J(>?Pn1wb7~%ij>ExiIsyH3Yt0$-b$d{DF zbgqs3yO4hs;;)??|JS$G_#~Ae^|JECXx>j;do{VJxmQ^7_f2BWYeJ(S)`N!ntflY)Umc8V5nQ;X$7cKIA!}r z^@7xVq}?~J7o19GVV{+nAZg5Hd>aQpw38dy$u`dR44+k@9RRb@(Byw~WcXg1FQN`K zpKW1&Eu`>BtLaooje%gmlx$ow2Qw#8Q%Mhz^g&^%9+oB$QT7HOY4-wI`UMZ*mrvgd zAld>K_`w1{15lJ(ERUVZO&}`BbcvlULW2~jh2vrR@gY6zCq0r1;rB z5-4{p_y#^tkvV)#%o`2@V{3fsR+P;_!4Di($1w?$QYB4^L|P_Xc%1x1yCtdU5P^d; zAWcn}z73$Itw})#z=yt9Pxh8sUH}xmVxa@-%A*i?5kK}>(X&;Lwc!H zW@7X0g=`YPk>P)LHn5qdp#-?nSMjt=+ar7WW zkXI(`ty2kmW z1x0t6t%G2icFJS}Qx;?*A`7sAC63TBTq;LBY_~d>0V!-pWQy%kz=sp|Fs&w`J`*&~8-~9dMtGAPz!C3mEx7F3% z^>^?Rt;y$!thjL0H~CO#4SN+U_~5 z`WKeBnCEZ5t43EJbDNV-S3iv|P{Ig>1-*N35>ymc-*y6?Ly5dI-xpE<*)tn!N z>~MP-rhCTcXaW1tcinHs!^s6g(QTZ|fL#n=#Dpu0dSUTy^5b}f))ikU*=NRXww(X+ z{MmocCrfM8W3nY~u*J)Jvc)yoVrsTHyT%sRV2fU33o;nkB6zdTkS+cp+0u$%gDqaH zvBj$c*wQBdP_~3^w)n%@^4u;$t1`r;9&l2_nOs@Sig3i53mR~(W~gDY6B zgDdFimgxL*YlP!N{oh|MFw(JysC{?7{=1Mr6E2qD_eDUhl z(iZWEnWerP)1XWIs?5^L7HeXYEt>NXR&J6XQ$KWOX~nO}m9WN@AP(S4oBV_6vST8O zhtuWxH>dCZb=ENFky1;3S+BvBpuZ}$NYk2Hv}%$iFtzZDStn9z(GQ+lc0<^pOMZVX zaYYw%09|$pKa?x=yG2c|IB_^v&R%`{!*}l&wwzx>{-frXuvzB@|23Qm_suVuqU-#^ zZ??Dc%TX*1|15y;@~bkP z+N^!!SJl4OwKHg~p25VO8Ki^Tu~L6JlKlM8$*6;^Ddfc$ai|T-27BUq85|EOgImNO zyk^>wf7BQ7=JlJGFTP(`gGkICHT}fRYB<`*Nk2~NCV8T($z%DowG`qZ%bUFzHd(V? z4#z{v;e9#|rjFjGjy{|^Z%+Q_-TQYi>D6RBd0f_P7RB*?MX~o`#Tup5uA(@YZ5lUc z#9GRc#gXRUap9lp5Yp`?jo(9>*h-o<^qPEGD~Xjjq$F+;e=t?-HdPj-)_(vVHyo9I5{~mH!(3XVP$1GW??oqHDY99Ffu+o zH83+`Vq#=CIWsspIWRXdF*0FgWjSVHHa0b4WMVKflTYR!0x&X@aONd{HZwjx3UhRF zWnpa!c-k$}*;CD79LMqJQ$lizq_oJAljBHAvM0wD4p|COcCuuTbV4M=$*%0OTsCHO z=T;Y7xN_sxjDNs?VDh}@+s$j<-+7*Sp5M&xan215CAbuK6|TSuD1f`r1@|B>m*yPh zH2Bl12_C|Icmj{4I$ITgoQ7U_3JH)1BOnPz!YCLG$uI^|l$dEpjfJxifK*6>aWGy< zUA8YB&M6SKaRM|eHP6NjxBxHUnKA;lFcDgm_1VTuxTKt~HfBK#Uc*c1gE#O2-oYfu zh8)O)T*!yXFa@T;RONoMR>kPh9$5PieL_GfQ?WLo1hxz!e-b4C9oB0VJVctJXiy3p$w{E9ju4>5QXhf4m)5c z?1BZb5Ej8+I1c+@KOBYwa1ahbBOHOFa11WPNjMLu;0#=ZHfUAQKN=N&^MqVcvyR@YVk$Lg^fDy%vb`)Ado zwnnQPinm)mSNykCr+R)^y;5(`>ZbaKU-nz|58r!B15H-%HSpc)wg#L1hyVKG+3MC~)PeuwGD`;&1 diff --git a/pub/dissertation/references.bib b/pub/dissertation/references.bib index d35853a..7f5b2d5 100644 --- a/pub/dissertation/references.bib +++ b/pub/dissertation/references.bib @@ -82,3 +82,35 @@ urldate = {2024-02-23}, } +@online{vdmj, + author = {Nick Battle}, + title = {VDMJ}, + url = {https://github.com/nickbattle/vdmj}, + urldate = {2024-04-21}, +} + +@manual{overture-remote, + author = {Peter Gorm Larsen and Kenneth Lausdahl and Peter Jørgensen and Joey + Coleman and Sune Wolff and Nick Battle}, + title = {Overture VDM-10 Tool Support: User Guide}, + institution = {The Overture Initiative}, + url = { + https://raw.github.com/overturetool/documentation/editing/documentation/UserGuideOvertureIDE/OvertureIDEUserGuide.pdf + }, + chapter = {16}, + pages = {81-98}, + number = {TR-2010-02}, + year = {2013}, + month = {04}, +} + +@manual{vdmtoolbox-api, + author = {Kyushu University}, + title = {The VDM Toolbox API}, + url = { + https://github.com/vdmtools/vdmtools/raw/stable/doc/api-man/ApiMan_a4E.pdf + }, + version = {1.0}, + year = {2016}, +} +