From e3884791f621199d77126cdb3eb3f30dab6e7efd Mon Sep 17 00:00:00 2001 From: Anthony Berg Date: Wed, 22 May 2024 12:13:23 +0100 Subject: [PATCH] feat(dissertation): write testing in implementation in full --- pub/dissertation/chapters/design.tex | 75 +++++++++++++++++++-------- pub/dissertation/dissertation.pdf | Bin 978368 -> 978954 bytes 2 files changed, 52 insertions(+), 23 deletions(-) diff --git a/pub/dissertation/chapters/design.tex b/pub/dissertation/chapters/design.tex index 85a6738..338bce2 100644 --- a/pub/dissertation/chapters/design.tex +++ b/pub/dissertation/chapters/design.tex @@ -648,31 +648,60 @@ within the GUI to continue being shown, making it look nicer. \subsection{Testing} -\begin{itemize} - \item Testing can be run with Gradle when it comes to running unit tests - \item Decided to use JUnit 5 as it provides additional tools such as - statistics, integration with IntelliJ to view code coverage, - or being run in continuous integration tests - \item The testable components in this project is mostly backend modules as - the GUI made in Compose is not the focus of the project, and it would - require a lot of extra time - \item Unit tests have been made for the database and Koin - \item Koin comes with tests that can be automatically be generated - \item Ethos when testing was to try and find exploits, act as a - user who may mishandle inputs, and stress testing functions - by passing parameter with hundreds of objects -\end{itemize} +% \begin{itemize} +% \item Testing can be run with Gradle when it comes to running unit tests +% \item Decided to use JUnit 5 as it provides additional tools such as +% statistics, integration with IntelliJ to view code coverage, +% or being run in continuous integration tests +% \item The testable components in this project is mostly backend modules as +% the GUI made in Compose is not the focus of the project, and it would +% require a lot of extra time +% \item Unit tests have been made for the database and Koin +% \item Koin comes with tests that can be automatically be generated +% \item Ethos when testing was to try and find exploits, act as a +% user who may mishandle inputs, and stress testing functions +% by passing parameter with hundreds of objects +% \end{itemize} +\textit{Gradle} provides testing integration, which allows for unit tests to +be run through \textit{Gradle}, with a command, in GitHub Continuous Integration for +commits and packaging, or before building a complied application. + +\textit{JUnit} 5 was used for testing as other development tools provide integration with +\textit{JUnit}, such as integration with IntelliJ to view code coverage. + +The testable components in this project are mostly backend modules as the +GUI is difficult to write unit tests for there are not a lot of tools +for testing \textit{Compose} components, and testing the GUI would be an +inefficient use of time as it is not the focus of this project. + +For the backend, unit tests were written for the database and +the dependency injection. +Koin provides tools that allow unit tests to be +automatically generated, as a result meaning it was worth the time to implement +tests for dependency injection. +The ethos when writing unit tests was to try and find exploits, act as a user who +may mishandle inputs, and stress test functions that were developed. + \subsubsection{Testing for Resource Usage} -\begin{itemize} - \item The application was tested using the \textit{Profiler} tool on - IntelliJ IDEA 2024 (Ultimate Edition) to find potential - memory leaks - \item One problem found was the initial VDMJ wrapper which would use the execute - command instead of the interpreter, which would require reinitializing - the entirety of VDMJ, which resulted in a slight memory leak and a - massive write usage -\end{itemize} +% \begin{itemize} +% \item The application was tested using the \textit{Profiler} tool on +% IntelliJ IDEA 2024 (Ultimate Edition) to find potential +% memory leaks +% \item One problem found was the initial VDMJ wrapper which would use the execute +% command instead of the interpreter, which would require reinitializing +% the entirety of VDMJ, which resulted in a slight memory leak and a +% massive write usage +% \end{itemize} + +The application was tested using the \textit{Profiler} tool provided by +IntelliJ IDEA 2024 (Ultimate Edition) to find potential memory leaks and +CPU intensive functions. + +One problem was found which was the initial versions of the \textit{VDMJ} wrapper that was +created. The initial version did not use interactive mode, which resulted in +\textit{VDMJ} reinitializing each time a command was executed, resulting in a slight +memory leak and a massive memory write usage. diff --git a/pub/dissertation/dissertation.pdf b/pub/dissertation/dissertation.pdf index 2f908532d81c427bf37bce2215247bc3cbb22296..19548920aa2a24ad9f9ab3685b80e1faa511a4e0 100644 GIT binary patch delta 27364 zcmV)EK)}Di+dGQjJCHvDHZhSw9e?u`{DG+ALodKE5GQeg&fbcy?bQEYOX}e`Svm-m zj?(dXv_1TQhxe2JCobFRZN&(f9AOZF?fZn9@qkdop+F#VffH=M@Hu%O^PI9qCf(aA z-it=LDYndK_N3Wx(af!7XqhQ0CUMWM?LDW?<6ATiT5LaV^4)v9_KdzFo`27kEa1K| zX45j>G&MVe<|H?ijeBisVi`9g_BUN;)ty^i>&_~eLap$%eVAPd5M2pDHwU|jDhQIu zC6ZwnE>#YtsnPM;MRzQjEwwPw!H#91At<68skFtcXHnd4hJMz3h*jRMhS8yCkdR$U zaUUPH27{=7X?hgYQB)UfreULFy3S`|F;DxX%=RXWYgU$hm&H(|3&H)04&H)35&H)66&H)97&H)C8&H)F9&H)IA z&H)LB&H)Oy&H)SLzLO9XCSVrwFAs9 zN$&=;njo{uERs!rKawa)q@;UocV|N?ZQ&TmLnG1}W8l z?HWyamq$C9|L)f>#*`=e1D@Eg@Mjb}TSqzrYn3(4N897;^@~;k6W7dy?&N4@f!6zKUSFo2f6!;JYj5`ON%@HqS8k_EwiC?j6QwcC@E3!jyILr!MnS%%ehkQ&ucHm61N- z8f9+XzX()ab!ao{=+8X!*7pxUk(W5P&{_85D;A3UC(N#YY^A;@zS*9co)W2lsk`Ah zJ{b-5-1x+xVk*{$Erx5!oa2J(RoEBU^^`W)(0#UZO9l>_{A*Xg2^NUr*YRVh^x(!|+g z^iOyFlDCr8hOWuJQ+YF*VKbY5&I~|Gp=H9os+i=}siqJ*JA(S9oV4-($fQ)ZLTBd{ ziz(H!Bg19m%N@zSezDaVamD4#hY_d{fs8iP+$MD`LbX;;=B95ziMivtN9I;(Q)x0Y ztJOO(rlt`4Gr;K-QFjc$G!yl2_CJ`Vbv?jb?krV z^H`z^+|w2bz>{JmRVFvszxbZ=-Q1`dAV0$UvL|(VgCy#JwQ1_r0*=1#gTPjH!3&*+ z*vScLq=YDk4)FO{N*v>Vsju=b2s47UH7%qJD?E2kQbeccRZJ{rS5=3B`6Ha8oqKw? z3Szj}^#kt(Blx;?b{gd6&{#TA!PuRGbn zyu|?=`X^^ZjPd^zrwuW?BtNeL7GhhZuYQ5Jd!V%mVyEcV2|KWV1alhCu%asd#0ta% zYF!IsPTj|Jh=RZfR+GcHg6jYzu7kG^Wb_S)S75^b9LG@F|_puMoZn|e(M?ii-x zM$fC;GChjqQE71zR3kr!@}h?MzBqb$ScGCr-F?tFu6#3r?z8u8XN0|u zi%m`^bn-I`JEj1IcHM>Rhv3O1EwVZ-D?Vc)v71P9Z86P%0OHYM7ddSeMrz?)WLOci zwdT~Woj}yY5$hS89pQiY#7+-UX!L3X?nS4BPxl#Ye(Tas*j^n8n~?zDc&^&F ztM-tF52JtxaXyk%SzR|Zw;=?IN|2bYrHMjj+_e*bC<*B_F4ngQkXc0w3khDn&y1LW z|4x`LiJ;Vor^Fdbg7i|DeMyQtf7QoToHr6&l294Vk$ylAnZi+ou5VZ%Oz~BNpxO3g zgYYIyAQ9#pQW=COIoCbWLjcjU4`Jae#T`&d2S8;fJsU)DewJR37b#JlmuLZnpsKi1 z&M~)t&Iq5x8Pzd0x{;I@Jp_&5R(UMIAYSe3S5=p&>Wwave^v)t--l7gY)`-ho8=Ed zVgW)AuYscPh+Rq|^6IEQXPU#71D);E95v-3EkrjSg(1wHS{;bcI57&MlMCbsg#l4O zCnTYcOF~VIq73Y%2y@odaWbovb|X!?CjWkaRsb+d(V)ik` zyxB;!F^ZV{Hj_)~#byW0m@6c9YlK)Su}puN6HaMGq(^{U`<#=<GzpXE zfLt08rCK<&23{ofymErajSwum3Br?IU2#tQ$4Kn3slle=nG<}P)G2Zep+_EGMl9Wb znUM`%Bs-v`8foU@-u*#6f_OcIxrAo~{b?Hd01eO{3kEn0qQTRyN{`>3B5LM>Mk};d zj(Dmu6q3VHJSf4ZgxO2UxBBnF;!-#YCmrCsWP#zV3gbQg| zLGrfoDxSueIJbsTR5Sr6C+GNor!mF~nGEZWk!tR)J2vAUUj9HR+R^*xnqxKhejt{8 z?|YPV28~{m9uV{=r-IHa{{Gn4j~#oY(`SDDeAjJJl$D=0)pBUvTVbr%8_bnKcUHE| zU7yjh$D+aQYI++v4#zTTn7osJIWp#6JYpkV3oh6rW@dDL-M|E!liU6Mr2MBl?e&V$ zRqBBoIo^l1{t`=q>iG<1Bof*!UATwc0=Ja(~b4$nw$ zikQTfVaQ%nFr$5zy?pcteIzOKX1+M(?b5`?v-r*xPq_jJ8mIQN-teXnx&P$NE@$+1 z*Yfq6_>H>ijmXPe3WvRU0qzu(q8Db4%yh|0&pQf6Sh+B}w)iFSoV4?KzyRw42S+D`3r#imeY_J4lAz(0Q@s^z3`IbEApD~`(By)t^4 z!KImJ=yv7ORyme?BcxQ?&ocK+YoxSlX%ZxQS8PI5;~8o0oB1MW^wnUXfkJ9P1^3fR}W=`Glg2-zb=QnxWHa z6w#>wT>oSgnMSWsWWMD@0WCVX5n>-zFnF(0edW1{Z&^KsJS*57FuaNIpnmeG&fkFZ zDKCQ)%B5#{$w!xeYc^e97KMFUZ4lb}H}>0sQ?_CyXHuJ^va8Y|U}gs@QTSu zxhGHETN~BOOUtVUhu?7?cCd|WTW$sO|7@ysI40Hn++>p?nj zfPI!5owz<{n0}y&I0wi2xmSpnH3DGDt;CELhBQbg3^i4+Ub6TcW^#u5qZZF*cgz=` zz3SXV87AAeaGb!jbu9Zf zU+ig0aif=0pjV=kCy8WR>lvOWOPms3mVnjH+??ru6j|a?IMr}&ti3YkRS|X#XU_k& zf=L)jbCH&uO&zAO-UK zOsFB3{N4S}hv-@r;A9q}Qt1nBkD+tko3X(><3+5coD!~Q&#!u3K6_sXI;mf;6*ZD6 z#iiPR#_~9Q-(1~WG4{68{St$6(DUv`!6=_yeV1*1L7P!bUw*7oZ*+A8;W1CAx4vM^ zC{#&WYWgJbr@wjR0ANK{yzp|m&NJ$JODzH}T^Z(kokyY8wR?$^6tVd3z2pk39Y-Fl z)=Ap4I3Q{O*}VtTQh1Vx{$Ne@p(f=}7u*kjn;M(_8p!DxM2#hIp_9T6v+Ik((aDwkDc5~+DQ?UnkMc8&zVvJOmbW~AE{Zv_C7!2o6pkUToae`^^N^6W6q<0 z>+W}JW5tKTGrO!D3ggVVR2y5n*lA*(pr`QiO zHXvh}&q*U*fNRdMC>pNY0uyp*l z?{EJDArflZ3T19&b98cLVQmU!Ze(wkuL}j2;>`;w1T!%)IhTR93>1I08_SL)sqx-l zkw4HZ1aGO-QfJqcrS-|{xvlnO%X`?JgMIPu8wdgd@=@8N@u5_eNf1E1ACz2vU*z(a zm-Xw*PY(l26w!e*%h!Lss5BrKwfG=FyT!*Stn$m(Z_BSYDdAm8{Y6T(N@=x}E~ICb zem~w`wblv3B?uedUcGZTd%b95xa*9lVu_7Y?N=KoKy0* z@WAPQ#RKKTWK@5BfpWyYXHJ%*GA-OcY8wVxOa9tjMsuhqB9}LTwM_ z$(T;`vQ~Ku>l>c<(Mhe>iGZk(mA4(gmv4=&nLf0ee44}T24MF=8p*fTbTwASuAQW&=yMmP#`?nBYvQ3jjw0?R zH1BzpEuKDaB+fbEN$eTJGFg6lSh;6dwUt7GpU9K7VrPkpNbe#FPNX*@9&VzN9&-NB z_mRadRBwFrPS)*sZ$~WLyw2&f*5~ zOf+3`hgybI3C>wS=QyW{50O`an~& zl}t}4yl_oK6I}PHIWTeaipAf&cXg`jfVMRvzT|(X&lupn(B58UzzF?}0ojCkLr>Wm z(I&m@dhhOofdj-+tV1PtdA>7;i}-TP=dW9bY$!{7_rC88x6X{zn|4{;>BhiME|t6P zhNTHzm%c|e6Z$Mfc2)`F3=fg3snl@m2Dd%mCz6)nwgk%1qk*)C0_|N7sX9iQ)yNw* z#0h_l;D|}$cOy7r(D=59$cn$S4CiOPHcR=;!jYtEoubssrecKN_hThvsPdL&xyYNA z>fttWF$GjTfZ#q074@2OXH1naMII)?aGk+jVO&~66aCnDt|J9kDVfmjD%nP8O9pZ6 zQ3|OrQ+nvmMh}Xtp)0R#hQJJJ`GevkR3?9ji&7%ml2&fC$p)XkTO`<$yNKV(uf3*Y z$eQ6by02YIy24cp;4uTDUsm_PzxWk=JCTtB%*oY1Q2?9#Yta58Cnsn{QTAS(YBw5g zPdQ`F5oauS0?m1qG^kH(@d!;AbF2bH($g%89ZYTA0e91z18H*F0rjXvmG{b*f?$8p zSxZK*6QakcB|)%p*n;LsT)~$ewr5FjCkvTDlnV?6JcR;wvLAa%p0!Sd08Mlmvmm%J z6-aOVt=o&jsLICtoilfY=!|kR7Z8AFHl*`?#4)&r8>f@NSx!se#FJ9FFO74`m1!32l!dX`}^nZ5J(?HbZe{ z2YRq3Z3kOt+u-FSH*_4DLP0Q>8*Rd78;3erM#l=$KD#uC=+&%gt$d{iz2AQZ>i5}E zjn)l)9?2K5TtXg)5`#+Qp>1JjC-td?sOD|pGqEzhJ&sT~zU_vu6(($oHj?+f>d{8% zQXYPcxli9nwI1a_gLG=MaSa5+t7fPx)krrI(fl!0FqM4XOq_DEvzP21PO%%R*7Tnlthfc1&cvGbPAYpc^Cl8CF2WBkU_z`j$cOxv`Dl zkg)1OSgoUgt7Y^DP7ZUQ`wvoCIxZDLx7CAD1B=FOBFL_vbA;a_#-R-PBx0QO$%GWW z+pA^&2^yeR?!iPxF|d-=8%hjN-b}`nW)WfB7?j~0A`5w%`gSt1#u~i8srSByVy-985^$N;tuAg^96s z6q$pQl4mOgrbQub*5FKV25aW@b{t=O(`k?!!_#pyX&BG!Sw(+lNEhO%>4{-udSa}Z zbt|iu4e?N6OEiQz%7%A2tDK0s>F9>uJN^tD+Ou0YlJ6(vZ$E#|aKJ9pV?(%Q0aBhG_OL-(uu~$`3Wla6XHu z6t3UNaCUOor-6WWidS(DGVf1B0NQ}?R|9|%7;{bX$8&#lJa%-RweR%Wb19OPjo$o# zwt6WFv#M{&;dq%vZkiV}!N7%oMFNheBNMuzdGcu;(z-gYt*HGY3}q@Y}-2uBlNVf^9|DYb~3h zynU2Sp7noqCP`+OjhZuBhxRV(hmLn4rf%j@0dCAVFYw?*@F5xz)zy;D1g&e*zP2njapxKh z%(Z_$ZnL|5jyF=cZefz*HJJ2{-O{VJ-_@+QxXbWB+0kObO97)~dOW*Y59(W)5~L)laMH zDuU4c1~A>I^&1Uf9r@#`wT9VUv0GNVTN{7vINg%kD*rgUrobmMt$Z?6)Awj-vS_R?>jv4j>@Pc5ionllopeBq)TqZuJLB^#yjr)HzR+h z)LWkaHA8tRl3umHX5gP(!eUcY;BDYL4?&omrKc34r{Xn_Pjmd@(;S(kocm@FHb54C z3A+_^2WJ7H19MUh=g|`4;n5P#%{m)Tq9q5w*p72XEc&1zM)g@3;p_QzK4J9_DHQgB&Pd`)}?M#qu6353Ud5UQU36%fPVA{ zI13}^imT~_SuwSs>npzED9=1_cY|TC0-54TYg=|ieG_t0R0ZjmLfJdIHS3O~rJg7M zHh2cDQBExR0FA%%$9(CZ0$URmnv-$36&2G{5@YcSK^IW1j z)ibY!^Klb%{XfZoo{&3&V(=mgp`*}y&O%=+keoSmJSo&9DdGBzor$T;~3 z__O%%R_>5uLn;0#D9>=o?BqRC ze`FIr3@dUh%DqU@cQ$y&GlF7YhLO<&$%_FGV+znO&}>Al$48E36r-4mwgA()yJulN z6}_z3mx)E(i%~QOhbd*z5|XkM*S1<_dqfz~aOBIc@npql$5tJ7n50eS8y4j^)edb z=e-Q(jq(BcK)CS1!G4eTLN0dTRxBBWx%!yI%8VD2El(q)RG#9E%;LzDA;DuLe>o6D z6(pwu!()U{1xuI$q61CLuFo2{IvuF^aQ@ zEfzwcBZ8Y_HUdL*V)g~*RWg$Mf06=8))S-%DT`^y;6zSxj58!zV3Hw;t@yzbq$ERF zRtaf&^y-zWe*S!2tLkL(0iWMCi?&|0D_OD`Yx}LL-qx$;W;v}_-7+rseylHMlW&?& z>OHOz+w8S0ndC?#IA@}52{n?3<%O@mE+c&hJat6_O5XkY8)mH8$~=-ze@MB-&3um6 z?}f8rosk!wy_WbqhL5SJcbT=Uyn%46Kkbn-TX6Bsyjh-JPo}l9-8(0fwyl>7#ogt< zKDBR7+euriZq}+ghC7vvb&R#hsk>brds(x7eSvIZS{rffWTl7o1%f0sq`N>onZnwe z7<$=EPwN&_s7}5+MiA>yf9>tm?g^4F_+ALT z(52DYhOI@Ls!ngt+j9Ny+2W(BzG;>h_42(KWX`JZs~@UwaRCF)WD--EKDmrwp;R*A zKTEaO7|2?yrL>+^uT_b_sjA*IKQ|KgucouM*5;p|uBR`ro2wV%f6y(*9c+wqtff3z z1EVlYhfESj^u`Ua<{$0ssvglK?8h1v8oL(hAVo8Hje3r3v^wy^4*JimMY?|+(HbU% zMJiQ@S}F`l_HBLLtY&Sq{5+y*He@6YDrC^u&9MxT zNBEyn6C&?n*qd_of74>VWn5QmT)r(f+31AD@=)p9f>VJ<8+E2I6z(bOkcOfi(lptj zXb=${vBdswWpb-BZq&br%H&3AJ-AGUc(+Uj|I{)W{brf;d0h*G=>_VAzJdl`3-Ql8 zZoI+?qK732B7#~KQNtbbKZAXNzi8YWlJQqF2yK1x(~qMTe=IJA$)Z4cA?N|SF$j~* zK{M#)g9YnmF>8CXo?;V~i(8vQLh;Wfb{Fo)_UQ6za3~daJEd&jbN+4~7R={b8Rhgqk4MR@;Ih!(>>h-HvWrXVW zw4F7J>a_ahf9((Q_to!hd%b#DRVbLh-<<1db5*UbK2PSKKTNLbRrT&tlS~TDTkqOi)Cms4TYma#Z2u`IANw7A4OvymI9f2N@0UW*lDBE2 z9L{af#?&*x)Hl^B_Cnupr@qZj=?QG{3)Sp>S`bcK4hP?1Gb=aSTN}>?|(w ze_*)x=;H>XIcp&g1K||W6z0d_x75fFaC%RT&JYXx20?;?JG+~FhjQ5N zw&_y&4rdRBv<>fwLx@@1!C>!nPGKnAo2=z%W+2>x;O8$%__Jrj;Ze>zq8vww@?Ky1 zY{8k0b{W34;@jt0X$O0d++7b6kKsYGe|xQyE%>9I#4fmW68G#qyWkAw;i7wf`hIw< z(vDb#QDPPM%Jwbz`q;t-Ek6kOtGAUAIwSd+!yP}f8N<&^d##Br_~UD02i!;2^23BZ z;Cc6X&rWy{W71%_!`>8!YX>=$oF58juPF@IPFBlLOoqY@Y4$u6?!d`VU~b`m1ppJa z#4ML#{Rmw~nn z6n~{y30M=?+MW=SNflGe7_VmRnb=xeR}|dsbpb0CkygYF71_d~ApsIL1tn}D90CdZ z8VCpsN@2 zd*Ana69M7qNC*UivFm-8d2aBU;=RgO6Mq$?p6NQxR~a6s3W~K~T+WT>UV~168%J=j z3OL}vF+xt^h&`Nyhn*Y;7vPq0qS$9x^eRCJDqpsr@4bSgPOtIboZX!!*ayCLdV`QS z5CUQ>0f+gihf)V}{#Q`+2^?eY(OcD1T(T zCPBMBQW2yMRd`KTteURy(IoJrk&3r8YDKUzB1jdc(1a=clp7RrT4k(O5gx0Fi`Gt> zuJDV9)G87*vD+2=XRK1C4ALq?6>;iNWvoIMp;UOTUE`-%u2Jh0-jN|nwN|N^Hcg?> zDwT=|oi2KTi;FHUe7Yt!+$D^kqknZ#J)fj?vEMgs`FlQo)4W%ByyLUxo$0znogz#V zs|Z!HqeSF9v)xu~9*)rJ3*kz*5p#(7 z#6n^*;ZArGUc@TGhgePc5`M&5VjU4k1QEeRD4`@GiS0xb5lzGp@kEl4Pk%XoyiUAs zPrf6ODv$`w4ur!ThXcZ~!aa_ZV}xkE=u7cjaVGgHSu2?!Nt2v?Y0XPbFa0(wX1HSb z1t;KiXoTa4_z|B&O3WL=HVo|BVXi1?{ zjM+Q07_1z8kP@tkS(!6dO@IDq5;Yxz#s-EZgK}eQo8%T~GM9lPXsigC#i#I0k$E>X zX3L{Cz*wLrO?5Y66Ww$j8tWJgQH2aAi;)CHmZhG ze=9p3w}$l9rl%<3$qIlx$X?j7^#Irx5m3IBp6|WZOKnZ5tFNl6?|%%3$;`pJW7Qq> zk&l!!nGh0h$zD8nk(^rc_7Ab=KJMx`W(8E!=KQ_khv?cf<+m6-_k?Vc`?f&;;I?CE z3|ds$W&+Y4J_lE7&_UK2fj*Sn2k&}+Pe}%x(Ms8u?ziypGC*}csJ?RXhWwjZxA9*9 zexj}sU(eHrF@sHHSbw(O10<+9Co%O5$-cYuBZDRAE7^+m^RN)$H;_r(Vk$TckhA#b zw%Kc$J@~e4fzQ%O0FM%HH5Rlmh(+&_KlaRB#7Hm3vjZ-yp!Xi9Z4eG9P_nE9T2l2n zSs4JkrD4fClj(QxnuDkd9YpURzW($FS3J3f*=>T^rF1#WtAAmTo~(vueP)hPp9%cm z7M%|8Z1te=O6wXy01U2N2z z#JWaXZ4mjnD?GH_|bfC`Rk9 zmv-1%n7uU}dwb~ftpPiWnbIB5m?W3tP`wRpu|g|apWxiwhtkhe=eQ|oxXhB3pP6pV z$})nvG4JYv=%9&BXenbw%_P-rGePU)wfFG|EOwiKM}OimPbMQF8s3G7T4og*Bg1K8 zG_&w-brbzx7Cb&OmyyOda-w>aRqxz+B(W3KcP1X8RGc4LAbaA`_19ydr}5JxU&-&x zJ?rw;U)^U!7DqNkf|6aiIamE9)V0Y08{c)8kAJ-42@>Axe+oR&uQH#l{;RhGEa?+b zExU?B8h^Uwmp>-n;<~PJ{EGpXrYXq$ZaC6 z(43N<4R@yl+&dU9QlrWlWSCL!KD6C)e&4e5n@u1+vWxdK-;*m?88(QKfg2%`;-Ffz z_S84E$W-gx*qwX@d0c_r`tI;QMRW*4V- zoMx?+S6Qlx%Yo`>2P~n#yZp)Ljp^;%_c0v@jzTk?Z-&NvhMK)ZZ^+W8%2SGWR~A;A zZ2&LA4zeT|ydxT@6QlI;v>SX}R}DL>8h;tq+FV>qQx{V2!ihQt5re~I?=Rl$GR3|7 z!$Q-6_6AUHD}q<)+eidwG19jnJ46pw%@c&UghDP+pK{eaJ2u9`<{SojllNegZXYO(xvzS+g1OrE2AUaY|@J4=_G zfyNIQYRnq$v8-8Z)oSA7qGN1v4b9g2dLUInc0e?QM?Bj_ksXwow38h`S?izXCHQNi!aG4c zQRZ*MM5+0C>BV%B$y{M!kYPY7${oBRenFhNTl~YbLrAt)5w)-v{%=K`tbd%Bkj~`% zVz1%2e@S2c|F4GejqUySYOdCxOZ9@zeq`tu@*>nPLpJPq*$q2PcEMxtn0qsS{;a+C zcn#P_;?&pt-_x$kYmEgKae=YTvR`gXw#LNl+!3>?C+H4(1&u&sQ52Z_ooudhiko-z zacdgb*$$6&$xp*$4V|E|x_^=Fr9Wgh>WY~fe>f*uF4fz(rFoLK~UATcCHCoR=G}gT2VBjpmAwn?9OVk#5<%T5;#dI)9j(0HU=U!zR#b zvaSa@_BLdL%j6&Qx@yVT$_#G%-%8_7##VQRUZfHE_#u)pi$~+(p0gII)MeHLpsP!+ zX_BL0UK4XmDgiaBtADxM+D_j%I|Dm1Qe1&|#6L?(5IpJ?qA##PmIqBcs=%9%*P!_* zP>$9eMGJZJGYk|LK~tXGl4UaNn(r~mA8eSYQ{b27uH|_62?fATAN6~c@KR;6{Ao>; z$S>N8OtL;b8o35Z0CIYN{-spfkY&uwhQ_KL%+C`~4Fmc#yA{hc z8}rNhuRrPr$Dh<80y*)mw1Nlt<&J7Qz<<49xVi5pH46QWcLB}OO@VXNE{T~S2MNU# zi{<|b&`qcK9@BVjNc2f6BSB1gxf@IPMl+Lq*zx`6g(jGj57G@gGo$6|y41>=nzBaT zI`9T(W}~3@41ZdA=8H2zE(LkZ&gr_MTR>P>KuKsZc4!*2p)8>1qWtRV3tymlHasWL z0(gUCD5guGxtc)%Lk1_?0C#18Z9by&n^u%=rLk~<>l>S@w(bvMT0>jYt|hgmpGqmu zlpNLVUAsoUWZklP0jo+5`GeIb4A*m7Bsqn82<53TD}RZ>0b~-)Dz@aBN((^CSy4#a zg~)GcQgl&p8#zO*6`zBk&kqEr%PaW6kB-&=d+ zJ0!47SD8S1ZUM}D9_+6}v8E@+rDcFUDwSnBjYov9@Jode?GemA%?BAr(oUt8W$#Il zR413kX@BH_v76jhY-;~G4j8I)Oi-S0G{9{7d7R^h;xy;x)>Z*?0W?)qN;bFm!Ycad zi8D9(wjIxXe{CO+kY%@poMu2EtHYTj9$_rA8kjh-3U3zK#Cg?4=gUeYmckpboJJAi z@p!5zI&>nQhu`Ou5z=`O9w-AnB$`x@Bu6g;UVnX%fBn72Gc`Z-2lqqX3-zOS`gitI zvr~B$3Y4L-)4zSwb=xA19yF53f?n?E1(bwnYfFu?GL$2+TM2_13Z}+YBsT1+s$fqj zkI&*2V+@wzXxxOHR(%bqD@%~z-UBq6nV&1$00R=0U{h@Pju6^A>U3=ylh&Z`zAC@j z_J7lNr`WK_3Q!paHwM~)%WIOHMcxU{zg&v5p>a0qDY}V9%07(qBR$kXp`P$w6+kU$ zJd4NkI!#5yiF2lfPnnS|Ng%0Dzs7sTSooRl)|mAJ9)+<(P}dI|6Hry|Aa6FKSp=1I;8Shi$-*3pvyef9g5KA7#w;K}4F7~Z@M#MF20K2BHdgX{+kTYp#C z4&^gRDRwT2=Vq{iYECEQvbc#dmNcqUpo*Sv;ukn*G)JY%(|Du28@z!_up?>}WtHbZ zv%H}lRs()+?0OhYPqEKEU2IU5GU#>uOq60aWtGwe7E@ILgGQrUMYgI#7jwr-(LZ?L z{lp$-1y#?s3ZF#}yk_4n& z=lELAqXKD)3v0!|%TMLv^b&L$&JMdY+?s3R<;aqsYwDi!X+cCR5GXe8o9PIBPe*YWdA}WNQ}|$k-e#=+*8k{`F6FHRez_Gx3atpg2t?WCq2=*lAkH&95#PF z(7XR@xBB+}-T(2tYwAJEJF>rJt*2#*_t&ncdMi(jw^*>5KDp|8 zb+x|lyxFS~q$+u4(_1EW(tc>$3mJbyjC)ze1f8_Dp3_TF6PuX{Y=w?i{q^Q3K8p_5 zmRM*xfaS6g)U`!Ps*q>$7J3XkV~dUcWFATJSDd5jcmnE#@iCf@q4Ia3j8O2Tg*cxF znWfxP0t!RKLeLTvfsh$3K^xS~Ek&qHVo-$4ub>1f3FrYaR|hXi3UZpLn>&Ba2T%%? z9ORs>Kr3XfL2I0Vx;Q{=1A=CRZsWP7l!IbRAx@9sI)qBXk%_q^(2Oyc1e&QMXh!HL zfo6o>6ZD><_XNF1P7^((m|*J8LtX05gJue6DV(Klo;<@_w{O`jh}rg!g)9f9^fuZn zVK>g~S|#b@*0fD)s_fTZxA6=18+zS%e*k53Is}*Tt_u^l{X-6AD*-c?F|P|1mw0au z8Gir=4k!;H8A7ySCQ63Y;oon4Wp}%~(>>`78EIE&pxSMh?Q(rp<+2+sY*7|kxI()k zgir)sh_WmTp#=!~%X<*Akjj8ih4d1HE|d&JC{-wDLFhtD^?(RN+=xYKbYX}!5vDK} zoQ*B40B7S0YrvWQawRwu4`+z8CC-jUB7dy(MKB-~I`qWaQujijx>dwQ;e}Pyl|jAI zIW)Iu3d&Gr8o!_+;~!tpvzH1@Kv@BbMis1iAdC%#6qvqMo+hhHP*i5P6M7^HgCW64 z?=cw~f)d=FHY5zqlr5BwEgVshqSe&1)6_>PWTAou7n-RSWr(BHGGIz1E^Q?^lYfY` zXMQ9e9XwM3!UShq7DieKPY|U8myxJxS|lP%vi1_AwNdyz8WuXZ$C1?Ry z%*4}`Brr{Kb<&_E)%gWaUDE zgND+&2au=`ux^gkM3Rn4Pw$1sXkAGm(HcE@QcQP?FQ{V(--pHY(_f#9 zASPZb(i1nq`pth{Togye)2Fvo*J`3j4aQa%VWREm>N=Q-G2^Q{F#*QLR@ZLg)cERB zO}rdkU4<|Sq!eSTJ3A@M@qg8goRndFbzvuxusE{1^yNg6evYlK^@Qxu=<21Pz{rlQ zF1(&NvH@eO+j8Q?`07GV0vWSb^WOf~$9hbeDot__W zFa9QuCH*l3ElHN#Ym!4C&cyAC*uWm87F+ZAg4rsWhV_7j7zM&k7Q|6wMBJp9ZZED* zXIEd)PkA)mpB_wi=zoE%))B^bf?4TOO~^{ae@qP7CsUFR(fFMW6GQ(VJt(H{etumN z+v&^m`M;-IPo8im)2)-``C>kOH~nyUfZxOK%jMnsKMr+LmEUan^*Cr{{Y>a@ zmzHx5D}UryCf@hkn^twt)g4*lQtJOJROP>@+sm_Wmse+Bi!b#Er@OQNoS)1NpKl*U zBv7pIrGV=_LU{b8KyY?cP*_E;DB3upa0wMCS|E}uFiBG&l4NvL1k|-$m#imYg2sM? zFr}{C#1q5r{+tC6%*3|c784w&JNTP@xCSdFOgiQb*r^IJ}c7FDKSs;L$qHDb5R?~y! z@x}Sc*8J>ZM#7!GTh4y`Ss>hIgALi%8euh$a z>xgLdC`khwJA}^K@y>#U@iFc(VVTr2k<~Bha3l#dUm9;rZf6>m zLQPtgNt?;svnw+xGnx51*Xofm(i~nY&KyJTC*)G-ZFgSS5Z)}ygQozXLF?8yXd95< zNm0||V7c}BkLPdRlS;f=%oqMPK+@*-v7$|aLr_u*-NYjvn|P!hV8$aF4d9W)T7TnF z)5u$R)T)C=E$<7DLo@F~qBea<)Ou|s4vM{tK`k-{b-4iydI|uVCBkhK(3~Hgh^u8yX#S zW!;_i)gyGxi?WKHVkvKAa4uDCS(r=Qu~VtBs@ki>`n*?>PFEH@(0Y0#Zc+%v&0`3~ zWI$7#A*KC^Hmcs*vk{DY5k&@}4wsy*ZM6$-G!}Lb4nFQbt5(F{5`X^qfNi_PsRBbm zx1pd{ZT97G{6q3x0S4a%gS#&<3{Acd3$E_)@_ z?It?hxrtpBaa0L`J8-@)6ZYZ_hNb(LQJ^Q=vXg<7rw!62L1MA!J1!+se zr-8qLQE02+PJ&wGx zmXev_o69%GO_OLj{r7m!n1yNFb)^##Mds{;p{UzQK!Giaa zY2J-ta-Ng*A*7+xip5YMO5NMK-0+25byQo=w#J=Mq(}+w?hvd{T#6U>0xj-dAh;9U zDU{+;pm=b1cZz#)iaRg8_jlKO>;CiB+H>;F?7e5cJvnod$xH^c^}atnP|O(iglmB` z*pJ#zoc9>KB}CUI{dKakOqIIkddhobY6D(x-pBTE*pKO4ywOEm%UnA<+!F}30C&IP z#RJ;ApaW!on)3uu-1bCZBL^Uf$pF|(g0lp$1h3ty`+O)z`txN3zNlQio>j{ykH`LU zs3TZ-YWKA*_Vq`(_sVd4ftrEw%~xE2icm6B+_l>#uglqb+Xt=M{^?aBK9iFluWBjtrpYmxlm0-Wt{jdeKoQonD?NV>S{R5l+9 z6N=139;U+Xr}L@b@@((@EX<#Ch!nusy_kU*Cic@FiP(M zrFkPtkm+$_UpiJDXD!LgBheDv>oHF2pb}hS99@He%3%xy`W3tWSwXgX4mSu^Bz?6& zhR|-agy2zxEeCO#sp4`hup&jYjX518UZxH-N?iATAINh2i+-ct;x{o$D!WA&=X&Ww z;Wah++umS|FAK~1W41icEs;z1y??%pbmAkZW6QiMsW-jiRLisKH!Y3_^E_hKhTjUn zbHjm_)83V!Q=8a*bk0U(!xIUNU!dt$OS%N!(i^t8^%l){n_uOC^0NDW77f2DKW1>A%Ku07Ux-Sf*JMxqX& zvraVdo$I$w7VbIxt^1}#eCa&mkJ~X(r}%~$ zyK{7chG#~m2`JP6`_a_ZwoZkX!AKxx*}7lHE%+zrXNub}dXeo*eZ;-Awqjq}w_i5s zsm7{4&blR;%)2HGmdru$$`|FoJ8Q;q(A{OBzOUxKjf~hxa`sQtGC#mx`U(n+qd^}0 zyldjvBX78EI&6#3*aq1{vY?@fpR>DEDsBzBNyYF5=z-<=F;-zyOb7Z!W=94o7Q=_n zjn=@0Vo%Js_n$G!g3hr4lY%xH9%0?cnK-u}4^`)>3-=E=n(Z~eN~HzYZ8shMWGEBQ z4KMV|+{p#(BtC@Rp2g>UllMO1H`K+tOQM|2QmFL+tv|H9+>ft-XMa&^-#ej-Df7Q4 z?)PhnQ3vm6-8xzGZTDYch_MUb1eg+^q8B3aoOTxc;DGQ{B~ToS@e)(00vvF~qclYeZw#8Z27arKDqX~okd z1xYi@bNYSn+4%6N;qukNDJXv>b|VQHJoAM?;5X{ZH=PX>i{G2WYea3Kd#k8F51L!~ zdpZKDj6&g@8o0Zr?vD%cA-H7K$)_O;Bq8EVH8j{K@mA)$+FzY{RdH0E^U` zbda^V-3&@KzZvh&XjsETPW{Wzi-TEsb%$2aL9PkQA7h+#vFPx{9tA;1B%Wf@TM8bb zMNvbmu)|gMg*!hV>C&^Rv^KvaH{^s8?!y;k-1BO-e^25|!2lXrMs6-1P97FcE(T6c z1|~`lB?ogUQ&$U0Mkyg~PHtXKK5lNVf0?9S^#R&bf0|*w1{W9@x{wM~``%Qpn`P-& zqpV=916Mrk#N6u1-ldRHH+SK1Jb@v>(j z4NvC-Y%&;1z^~O==ym-@%JO9nV6z$CI!vo~^My{6Mb9m&WmZxn?XGr&MSJIGX{lp| zRO~%oUYio?npr!8>NJHF<(1ZNcBZ>``6^ppaTw0oQRT`f(#_K43uYCD)j*Y}yX{UA zE*tBe-q?5pJzD$JFr z(9>@52A{}REAb2s^2W$#vrbpYi%q*2;?aLCmq(+o8PRQ!(@M|ROi-i$X-J#-9v^Oy zmd8yc;b50k*WCDaBEOfAFo85dkdTgcYifKBj~dga+5EG2#l>KqUwmjm&frg_)Ju6D z{ef%+HZWIeYpT{TbAi@WS(KxScXdpHzWro<4-xE{O;j%nlv|cQziR0fw!#_F4 zqKx9koARzbh&&AG3pa}0(kn_*gzLTmB2YhwZBJMU@z(I!C2A`gPTl%{axS((;-S6x zs*|ZD*(hh5?Q^}jdEPH}q8&BNQJ>j;IQwkf&;}N>^>{j6V?R|NSE*ck+;LcYncrJ` zjJs@q+;sPwW?8)b|(1Q*Vqb<^eX!j93LCq?p^~-j1-NAItbM7d)z7$mIt!gYmHyfE&t`AC#pz*t+x;W>Is548 zPk$J;@^vY@4`7siWYn#KQ{cs$S6k}21xhjZaJ95F`|RgcS31INua$B6w1nt4+Qqw6 zw&OQ@<8w28WBk0O$$gSpX<`r&7{%0a4qN9mF86ql)S^bd-8?_sIZDl$pAR#>xl6(T z`#mwI9qc%*6Al-R^0S>9q|L>~JX{>kkBO>@+aOOBW)lpw1CLe0Mh5TKI2^Pd9?eok zAv_cpzHPoaU=_t@JKt6nDq5?e-RxSNhn!q6caHV#;&siTNr3{6(%a)Rp3ALT@G&j)bHR)&+W09?|WZtJoA1>z4b zo1vi;1o1yvzS{drqW*YEl3B@*tM4x5zZKreeOHqO4eP5arP%Dh!;Q-_eh96_IpnG+ zTVWM%>f{QFfff=IMA#Odu2R@fg9RHY0zD?hf)}K7xp*o?AqEsvYSg1u$40wN-yM`Y zg5Oo?`-*#U$9iFT7^a2V2xf_K^zVf+f-Rx$6T3^Z{pq-^zR*t@`Z}PqE=`;IHrk#9 zh>IzUS}YE7?~KVe17~aSJSLqr`lcB~s?v zCHR{4eQ57MRzu0POPjm{?4i@_`kfHhVUNa$etqX?5Z5&bpe3e%&W#+vms$;Ynud zd;Luq>|Vo<|62+Dz7d7+hbFUiv8(xNtlvw+zYfy@vT7 zc4mT8a@6qb z?s`qFh{X;w6VaX|t)~isJ8P`3nAlbKq9jXb~pacQ1Ck?A=nz>;bZEJGRs! zE5$51KKYfw=E1=Ptf4!O~Q|5y<|z`DUSzLO~YElaa~^m z%mYS|XS-RBvUfuun;KXW8j zVJDwy`ZA+LumFQW^xyB^Fzut9JAAMD4J3M}>n}@Yc$&o%zG&t6acbSl^Q~-bQzj z_VCWd;jEu;A_I{zYxaYdN7>4#wab<4wVS@X!|6%GgQiv~(4)2W-nZ_HU)>5Y<#5zG zmBtDyY9rpm>R`nhx@LdvwNiTF?$v16HjF<{c8U`wlGBG*nE9YDJ+TyVdv|<)Y!7`v zTq(!~3pDRs9Ut6{-k)_J_&sPpUa#yD#@=6#4rf5+Z7(OJM?ci( z*HS1_PTzhatxc-Lxfw27uaU6a@m_(Jft=ZonVaD4q*@6rytnC4iu?nzNx zB72s*a%S%3{B9Na;c;gi?6le>QY(D?biJ3lc|m1nL2D~k?jCm2JlkvU)-XzG%}C}` zIZqO$ep`8SShiN_XJ}EG#`1ajv;(D;OUgJ`MOA!go5IyeE*AUHlhdNV zMhh0xpgpW7++9Ajrh>#3ro0hH51Ba!m)mb|=4?Mztu9|ixovR?Dj4s~W>Mhe$Y;%8 zn2~WsV1Lw(679()L=8tpbGQlnxwlh;`5Tn|qr~Ro`NVEWf~aENPvm$w+n@(j5R|dZ zfO9E$`G*PFH{hD-p88l4Fq?Aib?H{iVMZ-$GTavaR`x;faxh5Pp)F=$Vft7bEIMuK zXJOM#1AN;k72O4K`sf2R5x{6hJd!c>@Lyp(0#uQPtiZdg{LN`BkeN^{IIN%!h=ja{ zBjHnlOD~E;r@SEGhBwb1NB>vpe@Z_5#A7r^7(jp->VAV6VG?j7o6jI2n+He~`m?GI z5X2#4q$5;=JLVD1_M&NW6o&NYocWuJ!4nM%@%2HkUm*>TK ziO;DGh)^Cfnv=)55pd%S2w|jyQO(IhMi8qZ61(s)yWwHM>;;6sCRCDz*deTF_qSP* zZ!vT^FVzMDWhp{fkuLB0uN_vy&3~Ic2uQtGQNv-oXFSN2q>vUxaEp|%<&6GL9?+Cm zEc@+*@c_42xQ$%ZgWw8nhU~9i7LgBuTb3%ye?)D7n$m@!nlKKm#-}g7%V^F4d{!ABlxQt-KW-2c^6MixbYzBTWX3 zI3;nUEy$AYh);4RgqKwx(nSL9d*&Ek!E-Bskbv?u^Z0RUT2$+D3c4Zw>z2cA@aDA% zVV}vw6vQ2qVC@Fxu~GbsB_-%@Or2`~#AF0hr+%LS;DK?^AURbqZIsV{wAjgy-48^h z@mRjLFM%{9bchHL^CYZwp|@9RFq+W`@bI$Lq2B=zSW85Xw0X%Q5WIdDB2dC4wQ)y$ zG%Un_G%h}(;xe#CWw~LE!qf_|M*pe<&0vnNfG|g8oqn)}5E=yL`CqCQ|MfISLpT!H zTY}X8Te{JIowyYP=Ct*i5)FbLf`t^8%0mf~k%tAH<{Epv)`B}Y(SOYWN>DSRUYC>c zitwi)*`b3m8B#(%Nb*60Db8WNBr_NWQ&i4%#(UFKh-D4%J;LQqzH1^i;7>@Q#D zhTO?DK8uuAtEUYspKS_UC;l<_8mZs1t^&rh%xwm|MX{Z;*y=@^4e>F*U}j91^frDM z9}S*+z=$-jUDZ~l%@er!3w8d&-ljlm61KV51cR18E56CeM7beLbL*AoRk<%y{BM>8 zR?A1jcYtWZ!${@@m?h)QU--QT1_#<;PSP1%_qhI>oV@qAaJQjb@xgWuY^R9km(%be zq|tst-*m>oj76$vqsL1VH3P6I#J|WoC=nysx%cEkCjF0|~Dr~ICo*Tyh zu>MPWdw;YwklIVH9LA#PFW-Mdhem8%UjjE(T9v=&}4({BOAJe`pj~Y#x9KKG%7k#XpaVkF_)Aq#d`R zhK)S4D_DRB8r!0!N!b9zdlgkUMY`3UUJ~K|!v-(Z-3udn8#%UI{S+Brly96_OW0ycd%< zNZ22f2Zj}eRGhr+5#0LSO9n~*bG5^x&ztq= zCF9v5)hD>~yO#pOBzyYgs37Ql940w5DS_}gDbEcF!YF(C=qMqWvFFqR%Gl+iu-F9| z1n+{g*d(UKAcVP#6doKBiDDH-!MlFTEoe$l;6_i}j60`OYTiFvzoadl`+r1DECU?( z*^o~Rg6Vw?plG9ajqJD?=T7?6yjxqiqiC87Z z!EDQwXe*YDM!0YE8x7-e#~yaDjQ~O?p+^2UfqmbOr9J5^%TK-I*DbO^L>o8>{o}P? zaG&3Jwe0UpdtzF$qIu)4!dXWZon4Q6id<9MraP(JP)mhnRx;jQWkP+Q!q)8VOzw0f&10J%X|BN%A)WJB`)(*RJzhK&YyoC-0)>4{Vq|`Yj(M5<7|Af5D@`G1LhsmcW)zb1< zW=gl`uVlKs2zD85tnr&!S#x~m!0izeGZF?2vt7}u`k1+vOav`|CTF^QAi8WL9QvVp zX}g!Rjx7tgD#2D`mUWz?BujeXuK;zml{+?8##l*H&moDwm=EJI>T25`OA4O8(A5#_ zz2^(+x304yFPp8uTjfe_tK{tF8d+=qD)=2t6L!5l?;L#D;iJNw=tZ1J1*Sb2{yY`f zR)D#yEu^A3`IbO$HSrVazV>V)PJQV0w!oK|Yua&Fw&PCR{tv{fiq@9eFMCo9hWtko zJBGKy(JAg%6tf8xM%Zgp6(XjTB)2m>=G&9GTOPT+8yfsRq`MQuZAq*EeK_L~L0)s) z-wRbgH~M9WNw-G)vb-J@8oD?d~;?IDskyZDXewJEmUE ztt9P*cJ~>LTd6-rje=xnw!ZL(-E2E(t=U#;r-~hGZ*9HuYxQYvS^-}#?lhd9UccC? zZ;kF85^(_EG!t>yCOw{SO6%?W)p?0n+i zjD#e&w1glxmjp--gY=;XXTul;}@IF8mn$|U5g&;A}B7Ho=exCHW)NYj8`p= zXE`l7J>e=ZA5hIdA+bD#^4qF+-}0Maen>s-Ws(G=V4@>{Ax3yD?D3DF$8K`PiSYQT z@5QQD7H#RBo{@T5O82LQgj8A~uv)~uJ)SW%0MxKNk`*Yji;`~hF%1WKg1h>U486n9sF1k#PsOnh8atYlK)QOg?Nfv~br>u(@tV@h&$X6S&I|UrF83ua!NtSJ|6YapImJDml zPik-{MHybW_`KB~U>O^5iV%kO+#x|?cW*}^iB4GsTbE>qn>w8R3PLFhKd&L*L8Uv4 zd3kM+E@3?IMtCHRB*alreJ?zZrU(KjoNyf8vZd!}Knp4BcPao?2=rfVG)jxz3RE@?^Z{?gW;gp51Nash&@J#M@;_hUo zZZXWduv0nTp|&eF0vpul5w~Zq;P+jNOtG3iRQrKrmKmTM1?Mz0l;A9r42<;z-lcb1 z;Vq3$$+j<%kAvuO)=CH^G;$G%dWBVRJ^gG5xlVhDw`+VSZ_7;B2oM{*1&R_%=eLjP zw0rs;i8wWxYaSHQ#TY#9SO;1~QJrOtv7IS6P@ybDrTHhM=Qagd)pQ6?zvA5)QO(GJ&S7@OmB%I zIPpC}pCWz@g#3e2acbs#0^S(ZMH%b8!27W;*Gj+q0h*}7XfJ_@$P)+(^U#?S|TKa`x zumw->aV=?`-Zyc*ZMfk57Ldd;dLXmqaAC~ziieM;~~_Iulfo^0ATZ zS(IB8ZCv(~duQI+p`14^=t6hQCxs_xYh>>vqGIXXhtB8{%hXXZ-l4eW&nw*WF#x^@n(UoduXEvL4Y9 zUgKdtWb2xkI#`%G#LQdl)?-ywHTkP|>?>v6x z49w-paz4@AAxpli=X(nspt0zvyGNTp$TN5!>&)ew6t$n%PIRY3)q)y6Vt(Y^}c$M#C_Hg64<}MLCqf=4$`&X5XH&dFlQ*9zLv+)Eymb6ss?Zc2$!}ktFUdfj2Pfcg+{I><8H(Xf>)=|~I_#|DO&IRcf%*=F8}@`}^&zT?S4%5Ky8%Mw1; zf`x1X-Eab1bOO_N0;k9n4rPN03#*eex`Q#g6ZF1AH!YYcEtEvglyKLCoNyh;+J%>e z>NS@rE95njmzui+5KkT70pR_;prWO=;#!|r$Ofmz?*ItFhnnvDg;Ewdtty0JQ{D=P zI}w?GUzmOr)n-q5NA6{6UU$8|<6}N9sVy4Frv4InBoFyqNoirmlFZ?5JDGoerProA z9I0WYa`hB9wECy8g=xvs3j1u9COMHF%kRC#DOn-~$zF+(wLGiH&$FH`d`y+UK>bNR z*>}?eyfZHs!9bbq@7acxU%jBwqKDiYXZo2MhquS#K1+C$yNCL-Rvg# zoEH5o$v25H)uPM~=PfOrMj#~FclBN7vE_tdNRVyFVA~9CvTuQm-w$$gv2tW{kFwY1 zDrH}X2>vM4uixitSilyj9xH4=4?b&hWCct!Ka}|i3c*!N@&UMT=MQ!|INx^$bC;1P zLDRw!Sc>?5yx*r7Ud9^f0*-VeWCcm<1YS4>2&~VuYStw!?MlL{dMYZXS`3ir4%sn* z8w!?Fob`w7N-Ejlhb-qi^e9o?$;wd=Y=)EeE0f!Y=`&aIN3sts8@4-0%U;`pzb?aD3Gt*3>-}N7)3cq&n1n6`^c9^)VfV zMRq9lLTtFOGCX)iBwOKEZ%miaXO`U&LmCKHs|~FNLoE`gV165H5mmNwde-FI`Lf9+ zqHHWZfP6aA6kk~uT$6^$1ngn*JUWDwuhNPDR>7+6js(R20}vc22HsJk1^|&TV1N-R zm2w~Oh8cXZ1DWO-W~;~sy>$dpkk`96RQjM-w0fN@SqfgvtQMbOF2 z7>Z@yDGpFD;VTcQQ^hzm5w-n$k7RxW@^=$1V7#uvu9u`c@@HN^Z#EG)3TUlTNoUC1 zHXrMRx3Cvu?6wA>g{^Y}1Kxlz`qx2O{(8kh-j@C{mVuu@=xmM{db!xYauJ1cF`IHx zy>oHyH+VU)Iw)b^Ac;e9i9@)EQ6v7(khEkp$U?nlO=ZeXgun+J7 zQ(06PCD)igE#q2bH&IJEi|2_?Gfwbg@Wvo0!63l|FEZ~6!tnrn^Fsz8uu$}y6^`XE z#EfhIf5UtD4DtZ?ZGTZ;C5?ZqmEixvl-WyDz8Gz#BF$;NSy&yg(lv2m=Z^aJ!q?vn zTV9JazZ(nUtO9RUF7D0SE2oe9C;{RS8IEZen^UMcm@Xdm1Qn1L_BePWxGN{An0ZBN z-el`yk0XT2N_EqG-yj(~yZz+p!&4T(z$VEvS5@S|A81=P?ZYp-!MV+J@iDXIi7=|A{4j_HA915x5h+ml)=MnjsiT=&*^Y6iea}g#Aw$R-I;~}OIgcZ~7 zx9zz$=9WSk8WSj&U?rRhHD236()*)O24Bgdi7e#oF6@}MlG+n9#R-b-i@Be1r`0W1 zn9G}s(R4DG+Y6ZDq0qMN9ZFZ)nY%umkdEu>!0DkhOf zS1_3{WhsACYT#ukqW4@f&<2j9$R$gd0?3zXRtWi#3}~*A30_e+C-uoGXin2G&-+P= zOq@_ZX*wrm6tOCM8|2B>Nwvn_$~=A%~Lnt7L99gWG~ZFb*TT*Y^|~kE>BRaMOLiNq6Vq+A{JAX@9vCG7n>; z%&MioscHs;(Vc2t?M^GGLaFd|e5hT~0NCukY)*C|7SM1+ z8DyWIJ`{OF4S@wmhJCUz zhA}><4SE*;;`}HmqbM%uOkaD)cwH_`te&<>sqIx3g(bm!nqB)Aifi~Rg~>w7hRNBK zpi7CcB%Dvx_F=@@(A%?h4?UytV$O3l4>qu&94sdseQ$Nu52+X8RRzD!p}Vb-av^{H zZSKeP2g!-A+LvKM3KN6S0f*250f*250*BB61BcK71c%T81&7c928YlA2ZzuB2#3%C z35U=D3b)V!3*^3+;l&9dlMn(212Zx?mjQ+h6@RT;$&Mqr5xv(}=m(n3eE|dkrOJ|l zx!La9U`}IrF7AVU@$Z`qGRWYPsZ@Cmf}|9eV5~2KA%6Me!Y_Y$yZ?Cm{?PIgSg_LS z%a4D)iTDG*h)WR6YjtrUFeBXM$Ir{JSI+G_=f-ocLVCY_bIzrwf^(f-@mKp1-yP@T zet+{S{T4?X9$$~!H>J`O`JSKXkNi?1KbuDymDfsZs`s+T$L*UGl9z?lXWA+cO$(&O z+5(weBvXFo-;rEcGA?axBOkX^t-l9r4j)PV_ZQG`-O?M^e)$gix=h3|>0 zD2FrxBm*Px?Aos8YvgMFmgSQ-1oCbDX=~~O;^1IN=>Xp!GF*gU!GK?wl~P9aHgfbB z_1)aQ#jQBl&@JdIm3K#T+6--B&wmgE*NjIp92d;_%Ek}Z&90+`Ws%|I=w#b!pAK|e z$l1zkBCIN)s;Ky+S2cVJ3RTQ3nN|`-Tg4H>Yb*7_t15>QYBZo~4iqg+CyyY%wDo&K zg!Pv!EdsD!F>S(00Su$TF&Ayq#o1)1bNi+hHMjC@E2bdR6PtLWih+`IeZ;G zg4dSW4`?f{&HFeaN=1G95D)S`gR)Y8RYm6nGhCzSv>;xt?1R1^Xi#glLO%;5reyb{P_PScg!pZ-Kz)F2U~$;UdR zML*C^RoLFfrcKhirjV#5K5Ogu$cC=n9|OFOF3QR2%xc&7ir9ATPDKI}#`tdRY4_ESUhMT0 zAFUDDKI@S)nHMj?L71{(?3*)_x`=NcYj-h>aOh!a5GiQsh|k7bCe>MlHjIX}IbiaE zsgzw|Rd_mbvrpJ;F?M&Q>8I_|D*TpC32cEUowj*EY8!oGiGOip8jQM;rCLA|Bp^8? zV4`U!YQQaIN-E;SWYv+gH;S`>3x>3q9_o98Y^X_@W`g`-MdTBB)vcp>6(fw(OnOZV z0KF|%ZRSKCa!==HSd{z(<_GA|r<58MHajOvBLn&iy98ZzMA77GtATL(D2sYD@P+)u zlfvhnD3-oe1AiOiRY6X6x>(<@cj0KvcrNT4oYqW$VH(v=1}BJO?eV<6@ils9gB|h(s?=FI`}koAEqQ zDC9RlX^Bcl@f|NKuKB4VhlI2fhvpm)N$uI7#hjB(xqlMOOCzybDejdek;yLPcNOX$ zrl1Mmqn8#Ma6S}TchXj4*A7NF7MB{2T8wfV-AxZnL(2qc%7htm!zW4-0MDrpLCIiA z>q#o4gJ;&Ag=E8MDCKU2VJ>vomZm_7)?}HSS~O*aTk5>?Q)!VCk57eCIRq=&M^=VZ zjs_Khd4G-|fNYHf0)m4nWV95ERvCICC&caiP-e-ScI3kf7;LKt-H6t~916s0b#kk4 zWfDpR9!^x?f$X79BE#7j#DycSU60P8JXuvjK&YC8Me-crf$|5u%lq!}F8_LztrSXm zUyGO(Ab)ngcY=H89Fy+0BLJKloR?hdRIKno9Dnd&DY*znoNXBng&bS+Pu0yYsw^ZA zlZ^uq@-WnguQ-nVWQF96_ZhCtnHHK|1tXG{Q5Qivm&-L%+R6ovi0C865;@acnXWKT~$H zG=rEQBMr?MdZX#fg-wN5E68^F^S&w}bcIKBT4Q|)wVl}6Q5cSnpK*IO3=g9l;3V}O ztH#?(t9R=jwsOT%u4Jf%Q%48gT{_xj-hU7Crnqh;aYnG}oyaTig|Nx0^Y~R6&$yhJ zi8m6CHvpN$5@mLXU4vqpPt2BzWM5m;V1NiaTu>+POY%t6IyY*XIsIylXF#AjV=@fxwBMX0mYf}+H!~Nh{EW^U^dn% z-BhOxq~4C0sYLeW&TI8BF$FVvKOa%|mPD&A{m;nsg+g|{`<4flgae#{4a2!RHV_u#uTMVP;C_)WsyedQo zCm%bvmD`LP`w-mYTg%&JFlzM*OXeq4gm%3<+5{F{6tT{hTp#mN1g68;;_omzWdv1U zCWSq%H&OD;$cdJuH~MqODQh;9GpNm8p-xB#RT{+w6Asav5Fh7|qVmkzaep?JaAJbk zJI~ILpivA`D5I~Wiq(lQts%P327c&IaD1}wRQ5emq5oQp)c=@mVe2v|B=?gGC>p} z=CNJZp&Sa;d*@mx?oy|;Wx<7m%6vB2ET~jD7xzAFe)hT$Gyv!0irV>xAo*A{LCqL@dCB<_ zgHriLi?1@Mn+?887r!7?tCdf^h$c`3VKGl9rHnGB6{AD}M^3GYvGdZ|iPj9tHKNDVo9&O${W1v^r?+1hA%~J zIP*b_GuNT#NG&r^GQD~}Q#7e$q+5@>j|#A8{N(kf|Nr<0#f${HUZrR8GkUEU4gJKs z0GC^<_?hbJT8Lz z$E~5`pC_J`M_;j;<$-s!;}~t$u=F1;<=dTHh$Aq7<<8tlbi%S`TD|_guimk_sfo3c(Q2^x6!pQ~3HtJM zgLd8K=6|ErC_iSLc{FjBqxgJaf;46CRO(1GZ$q29@tk%AJ z&TzHQ!ANM#pyNM(y!{WoY<97GC47qp~wvtf3+LS zZtb{jpRe!_T#rn>fr9{XPELX8s?+QSvuZK3Xz!xk^!F=@qD0A$<6N|h;Mf*LQGAn9 z)bz)sra!%`pD#Z>3`}v34xE`je}7rhfSQ)chZ(e+e2lYQ{Pg*K`t_z1yeXwWlv-A$ ztX9f}^uDC$$Llw(b%JmS!iLvxf8Kk9|DbV~{!IGQY1F)@cSrB$jqn&xaQL2o5hlC_ z#JH^Vi)-N=t8o1F+oElZb;UF<$dz$L5ZE%skA}f5ufKi%{POYn@~`cl?dD}?m!75ySU zrwBLBC@^J~_B2Yk`76q7dEeq`^N5~`<&Cf)Wq=Yv*+GT9x7AI0)@$a=PY4VA8vof}7Kqe*qDbfxj+xBI4g8IVVk$Zw>xKW zLuc==y9f*d*|EQM&a4xde#jNr#FUDLitaTWS3Ho6oWAy^q3 zi@(%xYhJg$-v^fFf2futBoy+=0y4CBne+(o1j4*m=;YN3ctf3jN zt&YHSW_ivg+&Hg{BW+c5E(Du}MaBeiT9&kfoKJ48N!vNmQI&$Tx=6n%uzgG0P$jji zd|#WEG=nQ1z}u|g{A8KjP~r-G9oVRW{oI!fU`g47y&5YA=%uI`#lv9}c4Oi8R5I2a zNyf?`P=gl^f4erZW+XfTbd9$R#M)CmitSu&p+JV|&4x4w?Lc;vQ_FjiOGePytYxRy z7|{|{$Rxy$1XktjGBZ95*#6dBaAOO*LDCCK1w5w$cJLo4){QuonZ1Ilx zeei}~{H^(mET|$z{7nf#foOtqqZA0BWl+uL+lUize-+8q6e>{>kSoYpi1ya3qMORu zmSkSrK+eOw+)iUk9xqiHnsc&%LgTWwxYzc;M#`GU>_P|avpUs1zO_utivV#TIvZj3 zrq#C}ZAa+rYr+7siYiKG>}^QjO?5LRF?o)|30rQd4C7*@Z8;>5)MTzwQM2icvnu}% zbmvVfe+AoMTjAB9H@qF5!bz~y8*Rddj6)mDqb&B~e|E){G6x?wmPQd@hOqY5CF=Jv zQ1#x8Vjk-kh+0A&rxKk>;1K5_N96`(7W7x64SXe6rmx2tio~}iSa_q8+{C7ABiO4c z-2k2YLXW=oX@nH-kvG(7r#73=z%WK6d1Ncae@Rys@%+A2Fok{I43cuHiI@EzO|cuU z+1=<?P}g$C zf2Zu-U+wn|&;Z=oOM5p_a15*x{f3+a)OGQ7M>##q;L?_JxqVA7FcYF1ZRmlM@o0&p+S3qQi%QECj$@Iz#gavihC z&R&eP0n_bd@U-RYQN2bxJC16#8MTq5cXM+P+%{+D-|~v$W|fnLLF`;eltwtfe@KIg zY*ftz5VMliN`|RfNS)OM6Plp}mBr|@%cyH_jvLg*@ig2*8TvhY(UIxOg?Q?EV%WHz z7)xbc+p3u$nJR3VMleU!@UCE8swQnU(G9b{8QA9nS-n4 z^tSe3`q|lq!Vz(F^6d0$v3ho}T??t&uV@yhXB*r&qnv&bR9cB1e!+-qf9&K^{-v?I z|GU5wXXkO{Fq_a+)DH3bG!ZZ=$S&?d<^6>OAZ>iU+(Yhxsn+ChJZ8uJiO#d*JH57A ziZx|pH(zTT@2;Gi!lLV&YdG0vQJceykzpQ^0$uIZ4$!&3v}0GTzPbU+lOPB%H9)f7?;I(MUv&mYH26uAQ*_Fe!BAF!F=zhrK-q(fIJ&#>bwk z(M}~}tVVe4$fj#=A61iQ=Q@KXuWkD^7_Hs$t~d|vFGLKdnMVz{zT&(fgEPf9*zCNj z_Z_eECakBT(zSWeDl9KgD-4^NLf7o2>&%Q+GZ_TMt zJ+bc&Df)Xf>s}+ltbHOrH0aJG1u0S~e^pdH^x65?a5%V;-IqHa!_5GB-KZDyj-J#^ z^&oTE6ZY34woVa$(LQk~MQo8&njygA(WIHRaj+AyAue+;ZgVmjx)Vtd@sEq(dW+&q zhw0$etd^^GIzYF>fApPp)>{j_%}>_RN6W7JJ1ep|s>Rh3K02xf-ybYC%$C;9E2O#B z9bZZ5uR`?>FYa8Tfw9vkJ$BR2{yvJ-JPm!&=;t5jA$?(SX3St=R^e*>Ge8@^%T_+K zq#eSg8$2+aJy64NY;+*xau{>e9#i@w7!W2+l7yR#x-j;He=d>HU+mbw)&xU2bWOC& zc#2nV@APgCcKXy$d+K1+yg+r$X62YRQZLTqk9*b{#&9L>SnZP5`*FS_wKe{Jb}4|* zbQ)k@;$=``h_t%rlOdmBVTc2 zarKvrH_>tLN_I?zw>rO(yMRXkdn5Z*STv{ve@h< zGIIJ?0{oLb0sUwhFe;;ziYw)WS*f((%PYR%$nP?7cb#J|3K`UF+i^D^nsAWf9!R?q zD!%cZe_3~=EoDFWY-kT!lb%?P0h*ri&wRAM3|k5no`X2tN`~pVh_Up{&1{@Y{WBWF zxw_zId{(}X4XRT+^Ewskag%#rSBPSJ$-ski{||krIXhqda6c~7zJeNYTypp^WDpdWw&%3K6*b}>(7V77vb|2#*jhtc_mcnqe#6z)-dM6$@-_wf zU}?CVCFhGXzoBf6OUfu~ynICbIeY{sPpl$iRZfb0k_lFn1BhUhk1T{&A(xk(iY^P` z6(@59BB)Hl<7LfQ<}f7k@_!yF>yqpN!aG?(cJv%O83JKs@i=f<9dAb~i$zRw%2=Nv zNVX)ikS()p5RD@1tWXf0ScHxa(%Z5wDGEWhXFTI>)+=XB(L5<#5}SVlT-x2 zhjT>$wxIBqwcz*Gibf!UEXJUMDI4I;5X!OvRF>@_p-UtJC#;bv9e-JhAVd*Zz#Ex! z9t1>zbre>|lqV2TbV{Jel#MV6RY1Y`-or;Q7N|h-40eS)4mL_bd8YC%E1$Ym;4)(h z6;Ajx?G#h|i?MoA^> zCB`U&%Hm!`NFpb8Kzt`kvV|j+oTH{I*%N^`c$LkUZ&dZB zUNv{ii+a@^R(3L^GXfpasu=;Xi=R_j-e=Mdr+Fm13tk7r%z#~N zbKNXYZ)X>^a@{*8v$n053q{@VpC8)Sr|qn*Rj0M8j$uwEdmZB}QtBR8$C3mQj@eXV=bgTN_$8WoIE~App*F@-v*b`kCojs7Xtfs2dyYse;|21E{SJgMo^0HpO6@koI z^?mh2^(_Vv;7pXb5cRFka28T!^g2o&j8ll&CQo$(1GC&7RGzhlAc^39g!q~GQ(!u|b((xAp_k8~&Bgv>@b$dZud+oCo;CC$6#?DD#P@owI} zsc)Oryls{rClt-atV{iJUQ5At34tVq+ee%P+J8f|*Jbq6;(8!nmu`Z&PdC}%9gJd^%;_E#_@6)pJC$WpFQ2#Hr(Zkr??(ki}CX zeSg(7E%vK5Pbi6VPM7w=Y6iM>4!#0ZbvTOFxm}W^t&(i>i+!*)TaAuLC7?EoUchUQ zD9Nmm!Vr;vXj7D_UcG!-cBo!mwDV?BoqtyUe)EI;eerAC-mYF$74qe;cjx+|xv5q+ zA7|Ge-_367RrSls^=wh&G%m1hh1r{VTh)A?E^VCvqH{j?SLu?;nX72dXW6@$YU{7i zcBL<&+oAfc@gG2`^kXg}x8Yo)Zsxy(cF5TQNis6dJW?!l4J<07b9ttEi`i=SiGNsC015OQ$sTM5P8!XQwpz>E)M$QxV6i{a#$f#KPaiLAF$k@^vji-C;PmD zpUmTe&uM~gm-AkLZ@|6=e8{?HOMkp?U=PV@N29q>YT4Ma><%h~IF_4GB|VLn#X2$Q zw0-v=pavm1h`T8;W8TnRr#-uCtdfVIQEulRfX3A0z|?ouiF=}NxKrO}r}PZ0_zCRr z24x-rfQ-a|+unLj(&-X9T(=Vd^yLqa1&8A*q`TNG=ignxxVT}keA zMW%A+3V0|t&>6_u#GSI(=fJUbK?gu7mwHk&0LuW!GD7))ihf4+KpxoUgs3Y zvIm2HAlk9)E(WZg{^Dpj+{<}`mw6H|@Aa$CfSu4|`3&1SvF+zMX@3V>(E7&~v^0eU zt=sFI4A^&e5}Vkilh{&wHn9_shiCu!;rrpfN*jC?C-D{U73~A|^|ghIIvDqtmz4=R zBl$mvM|LJNg`LUnbtVSvyU)Z1_P~TTXfO7h+-UYF!lcpc9<_7x}Fe{Nfl$u7>{P`OtjY44G`Sz5d|w1 zkt*Vb${rRC36Ma*iV(ICegX;mmaxNs6w0EaLKQ8oTdhkgtybG=Yt?G2t>^xOKlhwF z!Pe8~o^$VWpXW~UO!EBmFWXMb@Tdn*1YR6*Jp#DDt{(KxxjV4 zpFA=_5fX2^xR#yH&HxS+I}KxB<*}3QoJ@RzmA91iBU5?tP3F4n2!K)a?tD0y# z-+cv&9cFOHoB>tCNe%LQhp}a(r}T zlt$+2;^H>Xc3vj)aFTh4gn#W-Y1Mn9Wg*INnYWW{gOkixrR7?qWpApKvQT+ch$2F! zijeusx62aL@_4l@GG3JstDfy7^N)&F%e1Qay)y1MUapXbsO90Z1ZB89UZ#nX%e=O1 z_Lr?yDK#>m=rFlbEtk!oFO#X|a#@r{6T95mS(6ayq>7Jpj^O&JoqrY2JE@&*2a&Y@9G4PM$bvVjlX3_%2{zFvD)w@<#k7Gq`s$ z=uM%KazrR7(;LhwWQrl@y=)rEM<1kws^Zq?PF3PR83irJfq$WiX7G@__}Uh!85m9F z)KNH908PSEXo0|#3Jf{YnC&2*QsTz?>!5{fxe5&RGy_fu!2$ic}<3VPy$peLxCIv5pL5kxNY+2XCVrqnl7 zS2y%Vg8lTN`hVk=9`fkN@&$Alj&|p`FIg!iR=xFO{FzVtdX8HuqGeY>TjXJ~cBtY8 zjh38{%=Xw591z-h98Q5N%Q}sec!0y;QVl%BI6`U|?jHtseC`sW5l6UQ^0mheG`^f7 zdLLLWoxdjiZs9HT7YaR5)(EfW>mumU7Ca(H=SgXmtbc=$cm^du-2RD1BKVDD-L|EO zPodYLQP^%QJVHT7;V+$ww$P2}mSnl_>e&>UBn&bXw$qS-@8UlVELlm5&nGe?&J1tx z9;2k9(Ddd)pL~qX_-$t7c!9I8hZai}J>5r~xP7R%E1UY471<0?V zp$@kIlYcHN*PzRy0^Smw4)p5qB++{0%6)=S7+i>4;5xYU9()bj(c)1YJcPQ3yxR}? z(1#@?&6?VHrB)Lk)0kA>Tvyvdq1*QV(k6aWSEKD_r`5pd9!Gd`7@Pyclf=XUwv3~X zS4Lq!&HfEXbeceke^!(kK%+RENeu4rC6VZj*?(vfA|A|!cEd*otQGWH91`})ASWe( zB08efp~@X(9KuTA)~jVbb?tOpO;6hZdA1|)y%M@?A21|K#VA}?2X|Y66>ifywhqIL zv&0#8E*vj0XBT8;7_zes)RMS&G$CZjtQNSMw!&7N=&v&Z>*Fo=(F7!Pn~7dVQ=ZI$ ze1AB;4`Q|S1~^56(uHtA(H%<*`5$I9JvxsTCpNQ!2AJL8*n2do7dG@J9VHa3KU^+( z;@S7tP88P`^s%AD8g~E$Jtw7eRS?Z zD-9>SC1~1rRN*TX>p5-?*uFeC?Q7^?2WQqz`j)-V21??fS}@xDf{9IkFi~i1_#U*9 z9e03%p_v$bp`omkhQ>Si{gORP=sH-HAY7u`GoNyUCBIYi6(O9-Y(>*6Xfd}M#ecAB zEe{_5l+T936%u9^yA!tpQ%Xh-NX?+o;Ao^k39DT22!qaJY`N$9zG2fhqs2XQN6;0x$+WH{-C8THHdmKaP>N$cpp^XK;%8qrXLRj7NcVIf117S-1Plc< zv1pY}pRG%irj(>s6(T#Fk+Hk0iK?h82A9cOPyiOv;x_>^CJ#o*2?VfkY`DfE0hc7eu+;P{Z zf<7Ah;!iJ~K6|!eyDx=O|9@Rao3r`wa1B%&@|g( z=ZmvAjW)iRgL8IJpk-tql#7SOJ(3!5AO;>_u2C zNf5rFJAeq}NiKYDY3%!Wr?Kod)yfDBN;eQi#<&8bnpW1}|J^i!P=5>yf1i$SU^jh{ z_XU6C-sC@M#J1ocol2B;BGmbQ?O_7dXT53Vt>^;B4(0GynX;QouWrA zcw|nh8>Qe-YJLdX$@ZUsp_xMoZDpWy4NEd}UEm9cD`B7eJ z6-7+yYwfpok$=}daY6R97*(QuiO*8Byhnq4_!ZJi@_}(*HTA~h&2SkEmcp&a;0mtr z7)O;917p6_oNd$}Smrr9fZ9GwBSRCVt`%tf2^obPKECN)%Grd`{HHl#5;tiFG)jhb z@a4@=L_vp*%Pypm`fNj14lq>jqkoxo8ZAS?QnYm!T7SXq(l|<&ZYzVbOooE;n^zz8 zQy)I5hZuC=(pV)&u8Tbu8@YZvr@wyiIxz|UjmyBTu`R)imCi|7R4(KT2?k039hq8A zasJ+XWz2AKB2z0Qygdx1oXIc1ANJh+vd9Q>3#bhJds(qkWqn#zO-*?-m$td$VnH)+ za0sp+`hRMO&!#{h$r(*wY&#Xv7g!ozg6vwRY%dQSI4`|?`rKD=X&qV|Y^J#4LSI6b z0+WS?fn&u*jvgGyr1tm<&hA`S7DOWca@W^)RtJ3$Mt6jFq+dzy$T*c!ktI5&Y1^_{ zx@zm1rGXnt4+l`2PUx@Zwu^F$bO1=xKz1^X0)O#jkX>TVGnN%n?Vkw3I?qLaM?(9r zAJ}RWR8pDtP<_&8U)qk(-TA2xs;j6 z-o0{=W5}9Yd{#BWlhmUu98EBkTlI8;P=R&{>V)~0;)~5-O9L8mlXr6Y>uia*iq)*K0+H^X-N!Nc_dcE`KAAe3U z5z&=YRRq`(Y$Gn`Nm2&-XdQpOkWdGw)e%qOb@;O6qXd84QyCKO1@2W-upLfk&~(lt ziKql&?)=EPE;%ACPJI3?Y7-*<7n+mj+Rt94#NY~ib{`5D$Nu|Y-U9c-ZV{QR4}6PD zC^`Ew{B`e%(lh-)42d=fo9oYlAg z97_{f7lvnHHGDRkoh4y#gE9pu$Yn-ufvuKMu#ys2XN4~}?0Ge;O+ z^|K)Uv)GXtw&j8iAc&0HGJlqC@iV!Wy;^B@PKJSdfS5O`M2lG<$jvtteWC=Dt&=5j_ZH2A}6_&E<8}ED33(1jrvVN3)yTgMw?rDjT_l-s*W=?1AkoX92eIob`7(e zhLwz?^%}Sa3$GE5e}Zf;x!eZB2ZmxzvJEo5j)Tl3AZ8*yY!qZwfI=W8{F^#JjV-3Q z04}CEwgE#$*@|)+&K|W3nhp&5jHxmEV&#FPBFO@1&{5DKZAdClrijXYi8`hHgNT!- zd;8Bd(Qq}pQgE^PSbv_CLk=neF*lJx7JrjZkDD+M#qWFy_Yf(2U}GRacNHP!&qj^f-K;`X z^-Az0MG6KPION;c_A|Ru)u@pY@ypCSzZu4pFYmd(6wQhJ=#jGnbrEz` zrW|UL{Tq=WF-E&*_O6;Tr=CsMyUk8k{ew>4$?`e~8ngbLw4zHTKU2&(Y=3&BUw;1m z+h)J=f4m-=x{yKWALue%3*~cDcC7lVPXA9P(_wZm%&gE)QeD-^XBIqi&h;NJQmmWW zG}(DGXOzuG>*q=e<=nE9@$Lm76IIzevcF}mr)7%sTh~*)ljp`;EZ9t+Ty?#=S>F%d zY_9~VN?zFXo=KgQ4{duTV}FQoFUy#qv)0ygdMj#TGc$pm(9x>D-5tee(ec(23oQq* zTsDHbwkSyz@!htt};> zFhnc_EkO|onb8uoMcv#|gt{aKMacXLN}!T}o)B|&@RFn;r-{0`(|>#drBGReoU;vR zgUlC8aRAzapc0|Kcy1}>px9D~^J4f6abCiaiAf~Tj4_D>nyDjbM(81dW`u4Nbep2v z1l>kX6RuOtEOqChE_LTYGljDh&Qdo)p5Z;)_i9$c?DxkCmV;7y|Li5OJ7%`4lJs#; z+NL#C_G>TLc;5}}w+7xHEx|Uqm(el~6t_c04rD6BBXaSj=O1P&Zf9zrsN zXv0jD46DPx-}=h#c6ZY~=?ocZS7^ZPw#(&meO2YM8!c>67FxJMyCQ^81YL--EDNCp z3iOxvD9A!8gMuogmni5$$v_3A3gs*cy3kTRpn@T4M4~jNFhrUPwlEfyjVr7GW#bEL zK-q-Cm7q*CoFU4VC_CbRL|EyIU{FvP&=YA(!wZ4tRuL727go_w2JK4c(A}adN`@K} z|AJV?Kfa)6FBQ6=WCcpZRj}rPFg6rYVER^hnyfBSqB_Ha&?A+=3<*YhkI4`VO7L*n zkT5itY@u}Q;iv>DT1_K6O=FZo7Aja!p_yt?hRCIs0aG$0Kr2CinM9;L(<2$_;JFka zOi;FEVWfrd1eJ8)I!zK*5RoOJdkOBXEl8L|fW{$-VB)kaGyyINS^yR^(R3vVOp{!l zH0X)7PyxJ?NS$#WC13c`$_I+L@e*2LNfEq;5?HSak|)?C$@t(&9yIkJOKwK%s5Cbt z1v3iGLW#8{!H`UUgO`{B$vy;&DL@*fU`_%wOA>by(=4?ird-L&g$f4^rF9P|qCvpA zIaU)%$|gO%7aH8Ul5~QW)SyVuqze846{)L)TqV{;DrkU%glM@Hiu5d<00BW=74w2e z6?qZVOPPSC5V~?0(MbUW(V|EQMU%{EC`tXb!QW1z)(P-`3RN{U#e#)pSdARC+bCum z%4Ce=S{lW8!iOwb((DC z<;08e&4ru{QH0~TTw2s>F6jvE|tmtwlTxIUX*f5tfF@pONB zFx{bl2eMkn;O!K%(xsZPdpB-k9Qmh`bcpzOHcSltd;Fl79{u>TB(l?&7xRBlx1K!V zL8e=$%ZtT)dNh51c!1x-Z_DM?%|EBp^NZ!TA73V?i|^B$?>|p2f1aOwpWRG9zP&t| z&qzvh8hJ`@zh5k;Gxx=xiJ2FI;+ik|t3PuMQk7qA`Q;>NW&KR(ub13)4l942FzbE4 zy=gV~+}x2RE~WmzLRJ2YhP^ufdUbvNrTAQPINhE7=i+pB_Nthtsj}fNSjhonlBz9*v zr`H!(%f)qkeof0y(BAsv{hNR1|9JW8aPj?QzH@SQBg)5zv-2O9Cunzha(+|j*kLJg>ki^4E5|6;#)z#(f zJ65NJnnOJiNgk7yN+^GpAya*v6qbuxregI=Ivk4xn$L|lCigRqMxicRm5VkP^T@8u zMVX74u5+ys86!>hQgx;n@;D*aLT|hC!iMnIy39NU0FAP4@j=^w{7#CxJPwvyum5=d z<{hcTtHpfbZv!Olf*&i|Bsc^mrO-`0;<1TG+5u)fqSF8#NvwZ09yM{^!lPClJZgDg zcpRE}9}>0cL!#DeBXLmdT?}fGF{sN8V9-+l&_p31Styx{Iu+ximhDGZH;jOc#daTS zT8~b&A5GoQWolmJqRz$4VrUZ$`3>#18|5}D2~@Ex8tsH`lx?HjpeyqX$AN2aYis|- z`?ShrY9jy!y`6s`oY2@_aRSA*!DUx~3oo1CdQ6c=4KK3-UZ(8AE8G{nhUVS}FC+Wl zWyIR>8Wj95@bV3KxedUpkglbG9XKh!5?!|O*!=whF_YEQ%2nXAS^v8@)IEa{X2F4#;Xo-~_?Cn=uCuEcZbXHzjgI$yu> zvM$D0EVshup!F;>!Erjcy?gjvhPB3)wRIcpTi}px1yFl0pw_ zp_LsiwBmohv~Y0leQIcRpBh@Vwi*sgzN?3}Z0KRwh|y;=r$e=&(Lq<%-C18fLf5<~ ztJo>l@v_H{C z)mwWuf^jdR$RO0=lC!m~cEOFt!tTMrhy7>Oiuiw9!XF>7ZI?JzU?}J|6!faiz8sE! zNWLq;;JaXO_XUQb$@gKwmAzO9Yhz(h^1ndAW++&*@%X2+yXaKA5wSqKiw<}0Vpl~R zRYKqn6mK8Vw_~0l))=81O0CC9-od12f7cz&`b?LyIQ3pc+df1)vo@lK1>c3VlNr)ZYy#3y8p%0j2DjrgQ&DYhT!~8nWd&%- zz9_mrT2#DIrQ@ID+ZCe1G0x}lI#%%p2Vo*wq6$CfD%uQVM?I?16~(nkuyb?LXdZw} zD4OGZNgB)TJvlJkq~LxO452SS+dK?7iClj$c0npRPPEEA@~+2`SJqN8G2BzAGkiki zWJD_KBn4disOJPml*=9#$G9{E?y?|CiqE=EMrdzqC}X@tTOwHSUUHdtW0;)hWPJ#U zby~3)3Ph=UTh|-rGtP9JDfsin^LNkdcwW00a%^h<2P4`Z04_ki& z-%W40drNN&&c4qY_}=`6Uq8PwEc;)qK_kK8HkaUV6iYS}_<>KH*iaBi@MGlQl1j*V z!;oWNCu__H!hB3>bhG!=UQruG>JiDXw~mct`rg**``93c#N-5UE?6ZPc~~Fg;EL@C zi}=RZ-J`FzbuwRb$~y+jB0^m>68nF;vJgVmb-t1g(@r@@n-lpFeksow>!oc7M>J$O z7MlAXwmxoe=kRYtRzF7G!QB;_a==ZKj8@>Xn+fsvmI)c0dM_?}Qz3r+RLHR4ySVg? zT!`OHE`(DV@Ma=sJwzkxQNK!AkNSC>k{!O^+IhEE&DGwP=^&d;>f&Rb^^Si^HkfY{ ztIm!>H`5XBEz>bL_dYEPy_t@%ex_qs@?9+pjZB9R8`CmeWxy}lX{&05i?t~rs$0br zgVwfDH%{sP+Wz$H`G;!i?l#LtdK4`if}!8bDKst+tTJt(n^6e&mQfg-dymrLf@z=9 zt)EgDmi#YD*T^Y^P2>~|P0oMt1l#{sP)BjJU^%4WxP;Gk9PhXIY{%wvogffpI9pTT z@F%v7K&4?)dfeB$wvZdetxmiV#3LG;cQ<@7Cxt&ez35SD_Dz|0H>rQD`0knH?TIk; zi*bc~byytDw6090I{zhruPdhMoMr z@9w?3f9yWbnd-OBIaU2uJzdq))u#)zv9S{s(sz@>NoA4z6X=y)mQl_!For}~Y&)u^46E2|^ih?ocUaipAG1B~5Y#&R7VD>|53 zOcJVQeyJ>{`jDr@`1S=-z4e;c*ZNAkSum3AiA&s`Ipjv&Qt{it-t0v6(mF^(N7l;&gAe$fG?HW^RcF;}D#UH;bl!nSZ zyaA8&l`y+}$wMyfd=`?`LpwV$dB0HU7U4rFp-T7C&PbA{tNMu+gV}#fK33ZeOVgdC z)^cdJ2dFRzdXRJ5@|;(y@`|37-UwrP=#lcUNS!vqOSZiKa-Hyba@<5F+d{tlkok4> zK7G=gDoO^Wh9tS|a#}N$a}m6BE9*q=v1`^<0bnQT zA^i3%AunIqk4n%4jB}Svog$KAck0q}WB+`W*Zy4IBwu~G4G7GBpUxfoCi%to?F-SFc714h z`6^q)XTt{Ucu(3q0a3>D-}@dzrdfR&T?u&(vL zh{_#>=5C2elro=40pK(APH(s1z)954FFCcsIh!8?EZ+H?1e}$3ExzkhO?lV%E^H6- zI{h8>nA4F{y5QAntp{<%t?>L@Ji(PBXPw}8%;zY?^?}dAZ&{BHf_^P9y@h;gVELVC zAbywFmfAOi(JZbTno?F1+1o|G8|JQ?-QI6`ttG~0oTp* zmZWz&VG;e8SA~^q@oFi0&s^OTbv*w(!k-5NXcbX;1cbS{)5wMaRR2QpVL&&cKw5AR zHZjD}om?pK&xu)YoL99K?l}=C;PGy|neMorzRVIo4C}^!HonfMt+u6%99Y(CgaQ zT73)U51+ntF|CFtIeLjyPUUAmK5;fCTIIacDbx@Y>(<(}G~JV7_+;|(O`*nw?mooA z@qNNv32b`evQ$&HXtqpKRVixvMJAKIW2Ux->U28P-g-%Q-`1~M`MXt;9%gSNyZapb zRJqy|yS+AJo#|JB3`T^h#IYF(<>IUwtAv0}*%U@210^S=(K==t4$h}a4x0MfZ_0;i z69STLb6h$tmwY144v7->R@jSg$`~N9`kSfui(h9{yae!1lr`tH-9|YM41XmOA>kTk z;{Uc|jH7qnF+V4pdGSl_p~AL#pV!UcKwEw$!<^QQj!yyEKIrn~kec)q43kL20dm>$nmDZEaFoTl)6dFy=k zPx&eZfzJM-&}e(j^6dEF<-7A+>s+QoPGeA@yFsskLW;9-8=`Oo30eW%p(LumQo@k8dhbH!l*7LBr)z`H5QqrmW!VgK??+trxr zCssXCyL0=9yn@3L&l|`^%X1;+T%2=tR*n5P-ziXRKp%Mh#k$Zvvug^F3Q*wu1NLkk zTM>R|f~Vzh*&tFPTPQUC>5#lDOAymfPjvNL_%-O6B`Wh5b=3p7>c)FSw$oa~{U#<5 zv_2SjflMvZ?S)$gY_?3-&r%NJ@3g!ZfMtFWqOVT~Y?Z2<7J;;$hIs#y2wjjb-~pQk z9JPslEtD${T<#q4l%J;v#_Tko50vrcjq&yHRwr$Lx0oZvHMsl046*z6tp)aQePM;a zdha&QZ(_08gDsTRP(3K}v?x-@2D8F0b)*;@M|1Btz&(`sLb<)T7U-Z1jMy=74V7dC zRvfBxd@7{-?h8>=+KlYw=%jnQ8M*ee7hg1sFFF>3PZ1}{&C}+qNjJk0M?L5chDwHCPNEjj7#+uBLY6n-~UzVc;q$3jw;#}|`PY}2)HZ9=2eC@B+ z-=Jn3%eM+48_VU9ognbwQA@}n-wNT`|LNu=60H$I6U<$_oVoouw^P7+g0Awn8hx5? zGi&p`xiJZ%UfZ;+$Z~qLZCh)$BbKD~th7>15mxn>p}X4mS(mqlf)6;7_W1%le$1 zrMI`V-F0$eutjj@tbJXd&T_h?ElYEHQqc@g;ZFhw`+K4d0>&JWuvc>r*+q>Dm$?r^ zfh6PXg@~u92KduUOwY))HMJ~tFONRQ>kJ! zK_xTDaRT2Z=|{Ycl|>U`r8nH}0q1_4X}0#N*-8S+tHTS|>$MJ-y+QeDB>d>ItaODi@k>KR&qMx^e7+ zC@bF!uT+@?wtq9Bg!SHQb+2pCc0kS?+WcKtPxOU+U4HjN!Sid)?O9&#SBlr3Cgm+H z-pc`5F{}?J&NYF~-dxqqS$%Fz_TD0i;kA3fyZG?6rqL&_hKY-x$%i`@osaS8xojtR z5#qT61jSkHO|*N*a*uC2{kn}#{seu4z+<6XI!s%*oInwIOYO&IznAf{1gMS)`5_+N zqVL=B1IDS^O^OBzo_BxOamo!(a1ksXgys zzipE=u1w3y5_clA=yrBTpvN2Qmz8Ui32a}flx%$H6BHBwsf+nI>y|^k3cS99WMdga z7S>F@9((@|Y#Y@~DSV&$zytk?Su*0vm;7gm;`-FABH>osXlP|=%xEk4G)Q@P z@$ycL)KM$M(!^~XL6tQvpK<-a;VaJ%Ue_R94W%K^(8VAi9~h&~(BT4*4jvibA&%m`AJ+mw_RIWoa&gDhuL$rRTJU z#HrsgTT#Uez_+X$dWDsNZiO2*h75O0EpZpGL;dR^6RyUF1%9!2n~p^p#!l)%RKHPB z7$1fJ$$`9ohQ%m-lWc~_{x~DL(vnrw#>4d>y26-Y!K#xH`s{~t5c`EH_*-GAV*bgk zzx1m144szuUppo448{;e7&{WLB284#nD&r^w8D5LVn$*7EPNr!N`RUW3yeDyDg#31 z-E2nS-Bd-e`hJXJHS+II<@h}U8RW_oc_^8)0MV+$+!=waMwncBK(zub{`addh*pMD z&5#QPdK2JsH?Gz$xB&5>1LhngD)ovyUqgudK-Gdezr&;PfH=hD8oqr> z`dNhQn+-g}VQi(uDHT)c#AMJpQsURfL=w1PN=MKJa}`wEQ>+W+1x1lOr0YLq$eTSjTli;bj^0cBPf~xfT%b%1n;0^Jq+PQ9S{w*u%WxrUrL+c!8n4y zjNyds#vkA>D-Y-3moF-cBAht2Fq|Gr$2Jo?Ml76}w9DTnf3yr>cs~2n|4#>QC@BmF z1<{c)Ah*V9ihdRqPSob5-cSN*&-5ll!@Xmz8WRV#w|q{J6nPDy*usgwR7`vRwZu-K z57{wr!K+~NMTDD&u`y!dW@(pb$bZfQFNt~Rqk`Vc126esrhhFYFDM9|u&E3Gc06e( z20UA+zX|8ofrQe_QxG4#aps1GGRR!^;sr$#tnMjGh<5*e;SZ`J?}#c2#V|7$yqgL; zoM+-$vySPW(NB zOEK&dfcVi;JmKR8=>#dY@W6xs{QTskDF9pxBGFjT9M(rm{*IR@gQbK-D1%g_gyvHY zCa+z_-1!h0tLET(yQXStVTB4$RCv>>*x*fbpuAc?L%*~2a$XBBkpMy#JFq@mHLmGv z(HCBIeWWF;x_L=7yf@wnha7WoXjfOAucQ#=i7L-)Sjonm`0K67>x5|HL*`1#8}$Fq z{;kA7KOVWT|JxTVLAd9L#9zqF1BdlB@InbT(Sa!W!Z~$9Bn5*NWkoxr>^zw0F`d{V$8+M4NLass|zwBBrli& zX-)u@Vgu(-O2s73SV~2AP7O*$`1eATihP`v`I5Z}+jgu2pSJB72ZFclXa{_^?dtno zx9zI??YHg9`z^NZiu=Lac3=9nx9xKKmACCO`*ryxU4IJuxkgyp_ypXI5#usJa`CCS z5?nPz{C-DRj{N!{l?~B}HGSBOcWaFAA=|N|45l0TB_@@v6$|sF;EFBwjaJMM0gx2j z0d1ouFXIa3?XCw`qb8wo6(j|1Kp`%fH&UFYp*Ddl?HKBhtzP(E-l#`w3^xA>XAT>5A)Uksu~O}b;> zu*nF$s@4x3Aa>HX3c7HDf5#IN+g?Dp(V0(UCx&l|`RbrugWe~DNkjfN1iHz0tP$F+ zK;`5viob^R3Jda4BUC6TJap#M*|p{yj~}UI*B(qV9zYVPhY^yf;EyLJ+i zfv*;G(28=1EepR)?>qEFcd8$w&|HUg_W)!COsE$$;hPUKosa5@9;dFmW4u9z!z0ffb`L^X@@WP@9^eI%xli0w5NGMV1lHR?xktRF-^?d#fns2+wZN#0x{E9`r!MKE2nXih z3a&SE>yQ<|QPhFe&I0-D@Kn1dsDhA3CF!$Ej-_2HUf#f&c9pNXyTMfBpoa$$Y!A!* z&H14p@}@YJd$QgIgCN*I@~-0pVL>LgYYsn&P3S?}i||yLUUJ~9ary*L7WTzxss*Q- zPscjG0KKVwC!9~j(O zer7CUP&JIF!FZPa9lPAe#@6OZH%VbPr%bVXYeNN@kA|@?a8pl}t$A@Rr^0>&+^J|T7QnjOn=#p)rmL-Yvn$8Mdgxu? z_7d_3P*_}kQfT<)VC+mlZwC>1xThqSMj{SC*@ewAJ7Tx8{X%i6jC;SG2G zenc+H|K9Gl06%hEeQu@ZnKX_52@Eq>1K29ai}1YJyn<eswY!Od2q545ML97d^4Myc|?7T&Jg! zYzjHlW%gy1?NswiI1WU%gHr|fG5ICzUo90g^@)hkC;zzoq_F(ZHgOn$&lpfNw!^1C>VjHnRUOnOi!+*^ z-Np-ZAg%s5JC?%d9dChJY2hT~j!s$~<~eq3QJq=9{u2#$&C>$O+f-Qiu|fmKD>z2! z71q_CH$kOV)v;}zI4!+iFwuRUGeLCzxM)Qh~p#f13aL;EG20dB`=7 z&|r2)ivQ5J_D7sZ|{4GDLjS)7-eH3g8%gjh}yXnP*8KxVJ*8zsni^rcL5343!7ib&Wac)Xn8tu>YV5RkWt3$v1>3&C+rcHV&s(Lbh0(G1 zqFAR&p%6OOSR9e>J4!ipv9Z~rNJmP|bmy_}dR-HQtEmQ4wp!OH<|DSTJdIz*zFTtT z5I#YQW$STWcY&_CmbiXh#Wxy^8MD?+WJwI$2;6xk9DsFd@YWk;s6hp~OqqG#x= zK$%tl^f}t#o$2?T)|78f)Fss8O}9SP9o6vHfx^A~@B^3ER}OnFurPEmcrmG2f=o`o|rtTRHIS zYXO2NW`$yZX3<3AK$iPaeG{peGj6?f{X8{@AKYTmOvNJ7Ca z-)BY1=x8Z|41Txr5Ep`QbAy+8fx=WdZ3MnhO}dFW1=B!@^ZAf-N;+;VOKw1kITE7< zmWC|Wbop)jdYto_kW@^^d{SvNIQqRWW4&WV$39MWFgQKLHy(ps#(1>@qAC5F3Mz|e zmr~YF(`B|wo^Wq@hMo}aX-@M8a;CP8(?M)s9=0CKZ@Z~++oCk8e0wpJKzSzoNIT`n zVH`stfn^rgSoJaL#k&mqywL8?6cyp?kreYTP1u#^rR2UD zZLlTe^0p$>eau+Hyd70qm-G=Oa3^iU{KGP}jtLh)W8%ZFAh&z^P>=+2qRx%B*rKejC*1nmQ5EkP?X0XtY z8j1Kb+wmipyd((ATehQz7cw8++d>CiN6w2gt_TY2ObzR-M*hR?_GH+KB6omB>xrCj zkCJdN*YU_JWU~Q?BzX@jetp|8G%j}ln|R$(%-3R!F6qXG{Q)lI|H=bfNpP6N;P>39 zd286UbX{uo2` ztg5rZk?V$GKv38}@-)U@TZ>m;i|1BlYGc9GP@4vM;adv)Lw|lI=!3HsCw>lbbxBZc z0|B25p$$7dP50pH*}>Lys_nOa*-`ty&7%CP5u8wIuTT>FKJq~l;i4oloFOHE{+lu9 z&L8>F35qRpo4k^bwOtYCq$gjiW?k(uT1(2ydNF`XX45MTP|+2<;}EH(P|<5Xxv_3V z0+k<);aMA??bKp{WKk=FAx*V_xjwW7j4X4$_rXT4b= zYHTz&Eu_%`B2bSCbBLP(YDEFkT#umv`k@8#`%v{-vgRI8X{ci@rB{!}0&2Sj-r0xq zS=Nn~?TUwjSAd?^rNOdV*bxPQg95}?1%D@=SOiTo{Wux&M&vka{Ww{44;c~J$b%_V4q2+wn4JC|N*Z&g{NNzhS$nY|4Z2*~STdDM`{DBu zOFffFZs*73m@3`CI?E`=6tkKgp?6?c*5k4+sj~XrkPen*yZzT2`f<7%ncTP9DV@UX zX1oJ$I%g6MeBN$;3S%P9{R@ij30WUzNFdN^iJ{r7!F~v?gg!nWi9bs zkKY2KHS5DY9`s4DM_~cS$eg?~ByzM$?rAN0ucw`+9J4QW9|XS^E~q~R zi!9;Q%L<_J-~+RhkY%|sw?~M&SlxN>Q9&B-R5GSotWWsW`u?3n4T9u_N6F6|Q_BrU z94`tGm^&CsRC%G%>^sen@zUW8g!stL!SQWSW;k%8QcNlUMt{JO`q^kaZ@8+@#w2fYH9 zJF|2Y!BQy<_UZ+8(Du2J%!11yvMwu_$;=ZsxsERbISh|T^1TiW#(HO$?Xd7=tS8P|DUIh4K$9kY2q5@B zlNTfeh@6SsNV-y5PcJHJY7*SDv}{g9!31fw2k?-6jL?P-GbF5YY9N-hEDcdFFLOAK z)!!+?TqOBBmI0=<7NEjhK)2_W0rsJ}#QUI_T1>${;svafTHNM7zyfBwc?+-RItLRU z`iB$|?A&x!(z2VGd_B241pV%Au!|96)-+FWkbD~N5x^f3 zXx&u^Wd}=nOJ}gv498PUGEeej@y8&k7fMgVAu7K*qI!$8m|M?DS8+(bJ)YeXa^`hV zvBbYHFsN8DpHjqJ(`=gPU+*{4aM)-q5MZFbtv78y+XxbX*8$fGO~z8x9@p5T+L1V; zn&rk{P~#jyZr@$sHDzhT7R`nb-8R1F(0`cMfudTQlBN{O1qJ+(Nn*a>d}bhel?%q5 zs0_D7?4$d#iT~^D*2c$;PrNN-rza`3fb8AEw9rfHc2LkS~#59&;4`D_DjpYK1 z(3B?JxMD3+r-7)s8Lp65z-9+1Pc#Az10^XuOeN(pHfMg-rd%I^0JzByCZnT!4i|2 ztf2Z$b%*sNT9Iw-)6vLC+9W{PKH{q$Yl|&A)xw3&*Cw6VDN^M!2S4eZrQ8_wrBPZ5 z+Z|>BO>lN2Xy^WZJGg6?jA+ffVBR<`J4?!e-73MMJ0URBJE+zRXj)FnG?6FIrNQKpF0Qse+TzM5m(HTpEimk5l__a?y ztZt|-4r_u#d}m61S5JA6YdiSoJK8>APU@qmHz*}Kka_%v&&Kz8+8Pr!*&>y$dph6# ztM(s7&Ga!YAh%B`##?S++B(&9Bb-B_mLCEQ^pGBEN;i