From c0c2d91a9f874aed8f4d863e7efba224491eae55 Mon Sep 17 00:00:00 2001 From: jaseg Date: Thu, 8 Oct 2020 13:11:11 +0200 Subject: [PATCH] TCC scenario performance: WIP --- doc/TCC scenario algorithmic complexity.odt | Bin 20034 -> 31921 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/doc/TCC scenario algorithmic complexity.odt b/doc/TCC scenario algorithmic complexity.odt index babafdda64b95ae9d9635b90200b3924928913e4..86d63e353447f870a085b543ae6c3511d37a70b9 100755 GIT binary patch literal 31921 zcmWIWW@Zs#VBlb2SR3gP7geC<{W?^seoAm#e z-aHn~pha@$cD_|LE^N8WD%O49?!$une>a@JbdNi2&V@fK?WJ1&%AHG|HKFG3mH%Ha z`yX8M|L|}7J&RY1c79Y^_|fd}PL3TGOJ;m`uz1exTk|SEa^Hdu;e96p+kQG7;f{K6 zhfBBSU8|JW_7&%Lb!n%?M?Kj4LQAJodsD{E+LWVjyw!Q$?&9)}+pto9-=f&o?>4+) zCLNh!3XWM(Z-OV)*S*Sb(GWZQFmJo`n`6wUt{uKuV<)e*D%hf|=IFGgUD}=P7DtN= z>|}V|oKMeAY~1xqy|Q-dr`&Bv)@;t4;NZUcRQ$EMf*&{K8T#&VTw`n|Qe0Yj-1GZW zS@nH6ZAX@+`lcP`cL@3a^FvHhV`}X2NqaZKc=B;83m%_Rv>ui58Nt z?#q3Dr}Dc`uyN*bx%nymfl}7pm)D%kIAAWts{QWtjOy+o>GyHb3Y2i@HWWp5!my4U3}-9<>Co((F~$(=Q=gi?EU77 zNVGbie0+y(+7g~sId2dB>&h#h!Lo!a*#2ov z$}jQ$uv)P!x41d$+MjTp(~aD7?izh-@87#WXrp4`YDXD&@!&ho^Z8Z!&A&{soAo&F z7tifEC%3$Qb@|oY2cox@EmPZSE6sbINA%LPY1jYoadj}y;AApgGe=asr|wvQ>k^Su z)7~GO+^#w6OSO@P(;Sar_sX7Ut0n$qxQbi9&|1(MV5qRX@lUSH4>r{j@rG?O-3kA% z@Ut(znB(%v?bpK@dJ9B27Ze?4)DPe(P2RAur)Htitju>8pNM?#o)dlN0Qbpt#rxg& z`0kY|UT!c~R&cgM_+#xUMf{PhNgk2=lFD5t{b9VtrNz#;V|`)sp2MxbNN~QR-Lc+&;4=}_Wtp7{_*5fOg2YnH_I$M5kwG@$_v-&Ad&=i#o z5?+C#j6stG&A0a*(A!q2vu&5Nq~igW1d)h4pHFO0;1gm}RG8k}(tOfp*0eg!?828j zC4Dz+Ie4r1lzBmY^n-5?TXP?*O745eGtp*3btw0q$lfA-r`#37#;?6uS4&;Jt{HXa?o`k=5B_XCp;3I( z#`#66EpW%I{=-$*E?NG5=lPmPYu-YJU1>Z0TP}u_-Bc_HjnTJyU$waU=RDj0FVhyv zPrS9_-bM8TDm<|>GIES|YF=DnEmM1V!MCbCUV(AR`U;22T(*m>+U4uzaFTELqo@h? zJMY}eYP+TI=jy`?YYo1Zl$I>cO}F{WQ~ma@>_wN5dfAIp9!>4(2vso@R$skVeR1J+ zhcyeFue@xUcq!|YmGKIJ_uLo%?=$$^$)SHUo}oKxV~yuQZp+0J#Qnst?dgBGLRX|z zui|fv%;T8Y>bbs0WtD?WJ}X~3H-*uAmfBiI&+ZBr-PDt3H|4Foy+pQo(t94(&5MdI z%1Er9I_u$!-a7pQH+mKBay@O*ted#|Y9MdG`Yp|`X01H-@VodUr|y{UZnKx#g$s?^ zV`kps3fs7FN0oWb!t6!Ym(Sc_c=pD%>t4L3J~lBj+FMRsosltdpOCP<*YXpr_T1d3 zE4YnrG5px75Y#L3Ht|uR-T!Oclm5qE*}6odef#R7kfk2~!jvvt42{@(@LYS*qW5O< zY@aivrrLHpGfoc9n&ST5Lr#50Z7|bpim7UN${p98q*K;=Om-6J=I&ZO! zd;R+CTgStxJQw-*%4EhVyF#9a^CKgww|-9DzuxZl$;@|`roPJIR-FHGd-<)&mcE{s z4sBBI{A1^2dnMzU!L2Fz6Yi8P`ZmEmGc6&a_T=N$6@Mg_JD&UeQYOA|(bt-!#3zN< zif^x)Q{kHA&3yC!ac8y_nQ{j|eO={qou~Q9X05Wc8Ct>WJwMmx6`$Ph@Xj~=e);zA z_VfM+$!|Yw93PsQv6gvn^Vh{sPgiZ+emnigf9F)~wfCQ@vPD6D_&Q3lnqT9G;-Ha#Ob$st$i}1O>s?hcF zly?ksPdC?HRJd@-*nM%HL+!kVQJL?K}{*9RU^_t8PYo~<1ys&pHQ4^DtzO0V98hBx! z=-Q&w#*4!yzUsReKWXAi_xck*nl7#VGv%a7)Y%=|GehK!ei~I7tL-nD^!H}|>7|al zXEQwStY>?#?J-Mq%U$ou)1^#!FIRn8YtI-OUiF#%{o%E0pJ&8*8K3B#yl|pT+AIB! z6SlT|XI=Yh?Vo}$xg8GkHzaOmv7KY0ao{V%kCi#Cb|N=d+&>UvZ51R^yv(@RUnV5` zXWib?qGja<^EeV7YuVp4KkYL!p`)WMU8H~WanIX39~z#0XV9;i*PiKFcKltv`Se3> zWs&n#G?~{(dfo{?Sg7$o_mP3OoT=z%expLrn^6jSw9~)2Kf4nB@_N$HI zYsEWkKdpbiVvgevpDaHrzLA zTE-x#x?sk!&ymc+Q784;q${KPl>(LI)3f3)$}PDq$r8LcBxK&*U&|LIzG!`smcK#x zUIo8W+dk1f#~$~2?YAupaXukXUc2L>&*C>LAMN|P+c7@<{K35yfv@Xs{P}LT_dh?V z3Gdr+_I5Wn1B1C2z9u}VQ&5~*Qj(dM4sOKnjk;fa%R-=T|9+*z)m(}@RSZ0>+FGVf zV`0lMzHXkVzo2`~SC68G|Np{_F38viWi7Tdyz%K>*4E!|w`bq4nREQn6VWNpH1fUE z<+YXyPf&D=@yqkR-?sMh>r2OX@6Ri+d8T+pndh>^63eRzJh~UvzwEg3_06|j&CpGK zKE<)qb=YFf6J>=btUmrKKm7XKO>a)c6#OiTo+UN;%IT*!bG{{({bRhkq$X_j)l=`@ zWo330ol$RJbt-IsXlqBd>$k=;63f>_t&Ewn`Tx?%ODE>X1nb^i`)9+ge|OIYIesfX z#e3wMx%%nT*S6diTDfL_(Tufw!)|@O^MC$Nzt_yHIUSyvrN?!Ib}0w=d6kDx_4@j0 z*&f|z1s7!{X3yQEee{Xl=Mz5VTz30+th(04`Jbo8=x(l=?EO@~={(CUUOT%KvYpkO zEPO#)%B_QGhR$8dsZMsXxivF z(L}v`cj;wWi+7Z6>wTW}Z}A=J>Z_k$uipHp==;*sUvEZ!wOJo=)}5(uzOLVz>3_;5 z{jL^1y6j=7;!R!?w#Rc1Wl#0eea`sLp{HFX%lOH%6+Vg~uQsqQTh^)6`!p?0f2nxK zPM<2~k54mJ?tMF5jGK3r?Y8jZU(43AD=3%3P9%SUp>SU$)FZ9#+^6PM4zUaOu-w#f5zOiP4`{exMW$F$%513GojhD~huz4KUjmi|h!nmsQBtgoEE z<0C)QXJ&?gbnQpRnN9vGvZoFtTyj3Ed#xg2v9RZkJCD4icds`~Tw;>@bILL0f`Esb zw;bNO*e`qdY0*K|;BIG!F0Y*loo($FhTUo$7n8eW?|Yt}*3fW7pznfZP3ziSUuRFN zzkEUT;w903hYd2n4&3nRJ%5>J(ThaC>Ipt24X*DsPQL%Ixb(&*vD7DLpT;bZT~*<= zf7`naf*rq~${cKN+xIL`zA)ItwdHN%`PJg$mYwy&s-0}9+{ZU3d4`v{{}*bhxY4XF zRXeAa^~1pwk3H|273O{Qk_}?>JI=p8-}4AhgqvB5g<@{CWI>%Q^Ea;hnA#hIr)AwjU2NKKHvGc*L6YC#5=Cn6%rM5l?|AkqikOYUFo(^P@8u< z#fasjyV;XYmb=i{1C_^f8uQ*%fzksi&i@A z&GuF>KGybJ_?VCHk84|=OQ`*Slb#cGW96~+Me8jx^`1;C4HA@9klUT5^@qiJVRPxp z#l`#Ce{Ne)CuEV7-IaFvbo=YsD}z+(L}z|0Z&=CoS>7eOUiFYn#<>*zsS7=CR-e85 z(I-Di##r+0jI~ymW)@dv++^U^wD7E1|Yg)}FVmDgW0R>nys{hL0${!H>t z|66Bye=Rr|(ZkUbI4fvEmk;;eFCx0pM{0~V=fovcRw^uROPEr$MKOBmY@e2uA4E^e zrUcIa{P2S-I`Ux+>Xr0lQgRmdiQ#AF^xI%$Oa|W7!pY z=D=Bl&34nLM4g#&;o7oYy4EqjXD8eaZ<(jIyzJD*)i+y4gIFYd~Tl-4@tc~iyNM*gvyXUa(v4_S@+zkSI!_Z8K92L3-o>_mbtlb&FlSPZ@2U}a4&jOYZ@x86cM+=KJ*pKA~}9t!w(A&rannn__A&No|4Ut zrJ4)d-W)A!Ji~MG`G({PeLYXjkEDO;ddTu_zPP?xTA_W>oA1W`4!1ws=fPDg2ex3=wSk5&|r^-T^7T(aub{40;wxf$Q@+cNuYqRffzO)CzD zm?Ueep7O}p`cm6!x8BaBx2YDT9oZq}iqhi)) z8~;5@2d`Qbdhi_E(#OFm*Xxw|^+}DC<+(?kY2kq-uNO?H{H|czeb;K`f=yhB+k*DC zZ&R4q=+MjQbE>7JS!S1?_fg|%p93uqE`0mwc*5Sx&5LXjK4|xyzj3dFXW7%Z2YWZX zi)p@JGc}{?U2;|F<)a_(D^E$7WAx7d)o$y`|Ih#Fo&PWSX#JKlmmG(4i_?Eic)sP6 ze5m_+Q1ET}o^gqlk%6I^85VpD(4j@7!9WHX1_lP_{JgZx^wOe4(4bRt0?KIXz1#wD(Yyc>gecdX&Y%9S{dnT8|xX`87f&BY8o4x z7#mxdT3A_`7+aZGSy|ag>Nv_6x@nrZY1syvTDzFo1z0(GnY%|=`X$>2raJ3Mx){iM zT4*?%7`RxQI@wrz*_n9RTLxIG2HF~WI9i9hTPFHir3c%2xx2agg!u=Ddj~}axH|@U zyM_39NBX)%26{zCM7o7#xJ4HRM5(lM<->6rB!Ra8_&YbflHFXVy-t zsA(>$pHSCOm)kh4w5hwcp{b_1yP{)yW$(h;iOZXEBU%b#+sZRq%SxK7OB!pdI%|u& zYHKIfWi`|{bv0H`Y0R14UOs<9{lcE|_V$j>o=JTZ`@1L2nB3Dbv2Wt^iQO}1%xIai zxN+*L<{4|crY-E9wYX>Qn)W%HX3SYUcfq{gMcd{qS~hd}))h0_7EYhKc=nWqb7!xb zJ89*-nVaW!ESR@&_2T|zi{@-w*t>Q4tQ9L(tXQ*o-G;SmHf`U$X2phe8@6v+vwi#a zIUA3y+J1D^zKh%U9^QL!@7jY`b{{&n^ThR?=N|37^z6XeS;sfcJ+OZ9(e0}aZrgBp z_vV9pcc0$7>Eym07x%8XxNp&Pp_YNbocs)d#4}VfAIX#?T-)7etL21(W6I?p1yqi>gm%L zZ(crq^ybCWw{PD*c=qA(>(7th{e1oI7w(`vV$Wqy?>z3D=k z{@pTf@8%RuyTscD%`%akZa>asED26$v(zn9-F{+ge%hjo5$acC@^U_XJks@a>*CTa zhnTK=cv#iny+2XDFlf2Pgf_j^6K(rH&-!`J^8WqDXU~EFzZ+qEWuq!z? z_T}sMsoh5sau~z77uras=gbg^xFs=9QTU9~Ot)|Q_kXet{kGR!)PKU9pcHkFDTYbe ze1+?F>wbQgpXK>%1>ee7o*IjS`m?8ouMdnZwy%EqDBs8|{Ku=^lB;hEnB3iVb;XAH zd%iAy|D*lo_B+4WtJUm};wptouLz#%%c& z`%ACSGY|dujQQ*Kf3FXAx83HOzU0*ENNM}MZ{|yMyO!@+d19Ktmd{5;wCjIfvdv$0 z?Q^xBlidA-+ZJEWU74NtdwO@DU7hHa*cXqM-QdHSpCHIEab*StMi{P?Hkb++HPUhjLd_s9HA z(`!X)A6=?EHZT8o(uc$0{@Z?<#hU)Ix}VH1v**Q&kK6uTzrX+GB8>w-P9FW8|HI*p zF2BR$-9L8c{QAni?|WOx?RD$7*#6yn-E;Q6*toWj>DzmmkN&T?KChgar;PW?v4^MM z-Tip%XE^V%W`%%Pr)1~1`EL9B>|0xd)Sa5&;^{XZEZ;7d$hYL3oAOfknlIkAJo5e9XyZ3}Q+ab!nYVw*f0fSv z?clq4v2WJ>J)Wo8mv`^Z|65`8-tz^@_N@CcKfas)USYQV@ALeRO;dYxjuoUW{_v~0 z-A`8Lc2LUG;P#CdGCiy3$N2AN-p?g5Ie+JuUE9{@vpn9k+)s86N9g|I_qQ&3PmeFD zsJ-MnKdM~dE{_&3f4lR{EuZg?W_3b{a)!vc%aborS%JR}*U%&HhvE6&!_*PlP<>hL(>puLrsvk3@ zE1@j%`q%F%^43+2iGMiv7e0NzXW=Qm+ke;IZ;+1O|LpaGR`*+Rd)};+)~me!{@&?* z*RCCptGIh||IXR9-{k-QlHd8Y^yAg}Io1qXAC`81e_tzpBcQx))xYPv|G$y;z8?SS zp52AVd#CR&^!~_n_{XVyxplQqUpa2DiQ6xqaObCHp3k0zKjwC)=~urx$G_>zk3-S< zdsh8Ar(``+ES-=1F)_Jzwj*7F_ z-Sw<~UcLVI-^=KAk8)qN?UuY!0%I``tsi)V>(KY&Uy8rsI$l5)7N_?G{SYAlV zDm%NSDnv>Ca$$P!Tb_K~C2D?b1^=hc z70aa@_Sx>Pp4OtccCyEI4W>_u{tUmX=JO~C8W$Rg9NFi)(81$^pq$Un$RoNAehbY- zT@)KT89I7P{@j0-&~QIkPuFOgzIf!u7_Id>IjPYZG6o#$Hx#XnYGTNcTyx;D_~(cR z7ndek@?TVC>(pLq)Ex3N*mXluYd+KFf-ct+A==`J(N8u`Eh>CaF!SS)RO^$k1ftJ9 z|Ejg0>srLdny*X&d#?RS?%e#NYU|b0YyR$;a`u2kWNy>pQ18WQpIUZ0w%^#Wuk5P# zu}H42^K-M#tlAu-&~oK$&#_0d0*y3VGJ7+YuUdOL!YJ(Ubo0x-=XO<0HgMaxOgLfN zlF1WdFO@V-ZQc7hRq&msk{i#VO}hlutvZ|8Wf#nnnrR_-Dxohv5q$zK`P?KeK*RthqcQy&BzS)ufEdGUUV_f;tGexsx+BY*@ca`*8n;K!& z_wb94@ME^(5;27`C+TTwuRfl5rK*~}=)av>?A=|^Mx;;AQUSTy&z_x{-$c993YSk~EV2(6b|^{`g)j7Xzn!E%$oKUavp z3VZz7_u!1p##XJWkzSX$Hh-Ej^{m#?ZWHG3t!cp*WPG$O-B-pYgdIH@5N7;FW$Vhb z8Izt(T9X!Zd6uu!+w*6vB;Dp-u}JMxyp@s0Gil~AiIi2>&M=*gcANRJ$k+J6vYkA0 zrYuu9$+KA@bz``%=#I_enPyjs+Y@ zpRmX|#gmcgaRpPhp>l43Z1(wCAMJ#exG4YVaGi2^F=PCcIY+$QLQ@{8CwmHgHr4sKb4x~-V7QaZL8FN(mL5jlP2s&QTE(+`8t$n$CLa{J z$W(F9ORd!Rl89)iXG=z+Z!_;o6JF&-x!r1e654pYJJ_5fzEvNax=5)edX~zkb948- zS$t)6tvLVJIWmg3%(iOq|C;b;tKG@hvueA$|t-LzEGw?A~Q z$SlX;&Z-yh->}fHUNdd_v2dT1TNj$_=UKka zT=hkKU)QwTSDG%O!NM|$r+>2lT$kYq?p}TPb^WXhH#%lyWZ6hv7ux?QzIbmN^ZUO? z#5t5cJa?YO)Hl0+_Ot0GZ*R3PU9jMe$CV%JCESa*3hsO-_VMuB_&wjAMc>=@a@+a4 zCFkY0?Ek-hTb$>WZ2OmWzn{I+_9%&H-E_s`K<1y=54n3aB~H~^-}~qzTUQlzqTm+_g2~W`6gR-$X);1!uI;%ivp2ruRgR|K65{Nwe8-% zo7eZUE6fG}t1AnQdheh5S9Bn2NACP-8LCHby}NbLOLAtZMPXw!x2Ry%LB9z80Y*vo!wdh#^k{?)s_`0XG0u-hB|e{OpHdC}|x zieQ~qc69= za()fR%C{-E5A)|{zQ6P6Q=L@q2h^d-~I-`FE5* z>&8W&{Pam`ecrW2*A`try8hq8t4(2#!@V!hYFWq~)xXB0KrF&#CWlLa@`l@sO@2kB z%3tf~s1;cB^}*AS8>Q0~G=n7miE73zn3s@G#y8#+_CFHuG%^7%p*Mduis8po;N#~ zh3kSx@z#sg(eHCDI$S<=Jouaxx%>3fgGK)A@7$Q&>P~hG@Non%d)zHNKW{D5dbOU` zzPyN|)3=5=pFg~8;l=|cnK3&1kA<$?x#q=>w&fWstZQ9w>uT?D^Gi7Cl_?+@?8$dt`NyK=vhIJokeqj}YC-4ki|5PpN^|S?c>me+ z{aEhpJ<%7gy}d1WZ(Hr}#fPQ#uXy@8`ts-A-+OCv4`;ucVH_6iC)N8odVkZZz}j8g zde&~tb?__TofomKSuX3{&3KlDxq5f@{S6HNU3R@}`ZtTRomEzHqK;*`uM0dScJBGG zeed0+zpQKLm$UDYy}j?t&b4~$Ul&JPAK7|TH*ZTteH_#OwoKdCK`eXD9-MLZX;H9W z9#`GWm~-<^`5gQha<1{g8xfh$hhy}bHP`%PV%(n%S{A#wiBkBb?_tQtqBvtGS_^0(fH zEcRoUs>8p36V+GfIeK<>@Ak9)-)%p?jP|d2)3b$_SY5N?q!#|f9dOkXNTXMj=uLVe|En5^m5yZ zYWdUmHr}i`{;YaadCjeTALm&sZNGEHwB+;I-})>)@BcoOjlO?4;-`Oq-lTPN_PqLe zJI~^a-}Bn~;@71wg4yjic-+7A?_bv6x2eC_kJ@ite|y%i5B&A3tNwlnJzt-8e!5=% z{}=b)r(b>_`O7x_^w-_?Avya$=b2SL4tsv;|BuCAuJJ$C*1G<^?pf>Yf4lyl_K)R| zP?itxk+$i-`}yX&*T3&St$EP8`~UO*)#2Z2`Ry9m-p%{>{?s~tVfoedGjjHteX%yH z`Xj&Y{r+itjBCGgm)F1kr)~N&pMS&B`^x*jzPZ}X1iEniPfn~6=tW8i=X^u z^fF+F)aSGPE}JdBUcL}BWtmK(n%(Icu1{R&yp!&8Fez7lpgsTfOyu#=Sdr*YB=Rl<2c6INiJX*H)!}KVI0%?|$7l+pn(ZxcRt)_peV1(Utf=H9=>|wfg0|&rQENcYbtC-^=v^N9W$W z`ok*q;`Hgu_4$)avpS9cNp9FGV^-r=<$S2>jJrsZfKqmnP20)3w9JU9TRl#6ZF+cc zf*60M=CapVv}1>Z%SkmA z&TwsmH4_)CYTYUksJU{JBCl{r>fwcfk$rB-7kB6_ztP9cpX#9_u(d-#vB<4II%S`y zgvFE4y>^v5Y+t>8%k@r1?L@+k>*^oH{jD^*OSvTTuNWVEP;q`;qw`(arngoq=ZxPc z8{hcvvcyWo=iBuSMz7RnadREiIJ#+_`jifrzCI5NHH9gw49?cO+c1Sn>#;j}rC!!NL8pBRk0#dDYaIE~-YoP=s)+r!Vg2`|!BP{|W;GWod9LI%H=AXi zaC}RSm$8nw=F|7*KE5xI&9X8MYqXR!OtuuZT2fSWQfv0?l{3|rUTy6OOr4@8>(%_X z*mEBHql~a}uF}JvH#zTG#%$i)8~!_kf2r!>ZD+k=%`=16r*Vs=C@jm1wyfJ!GfQgO z;r*XQU(T4h=@{?sB0Z6EF8leB*Uo!yNK{;2`^jtezgzdM+&xRJPR`-EtX=%N`PJzy z@wIEq-|oJnDHj-QZg=s{%<0xUZT=iDKJfd^N`K+4yo@5(j#`~PB=O37xkT9I!pMXw zn-A}s8RrB%ps$(brft;~~d7J}(!weKrA6D^F}{YGpS)?;~b#PCV`P1!m(T%Y80sjxo7{IF^!J7;Bb?2Hq7enHDR8kO%akNb4D`QeXm`xY7P zux@$6c(Y7)+7I@967F|2k0v;V3w1wqsK0h!e`B0WnIdao9ixWo>9beaCY(8E@P9{Y zn#SzKTa3~#8O{onjz4!;Zo`bIR-ylA?1UfaEH`fXZocro5pf0Ow{YLf=Ak#l`wGHx^Qvw8k6viJ91WDENK+y zOls+8X4tsR^SopC_1VAYmGjiik=y@b`FCldIrGGI{}o;D-z0SQW^1YV`AwgD9V^4! zL_OELicSj?n0jr(+M4{pZJ$lT7p2a+->`eVTlf~vt2rw@y&i>_2S;r(Snx`vH`K_k zCPidhSY`uiG)@w)^Yv9)9W&a-{H#RqV_J3mGX6L6ua`j7|TGkGOVm3D`f3{^UD( zooD#;$G2=-wEpB?Jm$T)P>0=l!o+X8mVSgKb zg4S+Wb=>o4*X&z%nFcP0msLLx)Lt{ug2Ux>%%zS*nfLwK0TYi+l55XcQPMew{Vwg&IoG8W%Zc7EEvFq^A|;Z~bv&(6JhJUps4Cqi$&cF)8*A>p@| zdW;Wm5;dEC`gyLc{o@NfETNx@cPbs(cxlaK&8Lo!e|Jwym|naqcxCVFpL-_HK07u0 z$boM$8|74H#@u|yI;F_XET6sO)P}h;PhT$yDbPCOUleRPfw4-@`R5LU)c-De-pAew zX*fuoIbfNj8DL)g@@H#=xc-Wm#g*@bOqi2Tz78_{)@+ipF~CuViT#nX7SV-XFgejv!O$#wpP zl*LNt78a@qi_BwHcoTtCa9HzSuS}Kg3 z+WCFohcDr1yKOCdbV__^2b0Tdh8T_DM=tZyBZ3MT-?jR59$Ap`^ya!L$C4O#$P3Ew z?dp2DV$F$ZEPN(6_I;X|$+KLSGbdwqlFKUbu1BxeE^001J8`JOSoYonSrK!c(zeK7 zN9to6qaP$|uk-3oy?F4xmxZa_;@+L6I@hmB3Vlnt|7x!7HU5b|jnC{?t+UUL460e0 z&Rf}bJzOZ)!=8iLGTrp&-(wT_9gE*(@SJ*4^jMs|=F~*b>tQVI_a=9BY}kF=-tJXV z_1{2`6PMyV^sDZkkoEa{ME&?*Ca%|RqO z>ei=6xafUlRoQVz@j-Mz&>{uZ6v2f>0WMLh9TPhC%>836q@$DgP*UWR+&S}b>GP-W ztq?h|k5BQ%JE<3THXTatYN~cVNp1vyrTCU#O6qe%>svcUZ%4g)9dG+dxU#q@7sa!kr zsgcz3=t)neo;h2z_@C6mw?AjNa)+1xHHqw4eLCmJYNo9+*Kf=b`m|>9IuZT-jVh!oGTQ-q`#&2hL z6)fj3E!(kIf~P;P>Q5)bD*?gJkLRtD-^7`-Nq(bzx#73^nkM$;F=8ou>(fiGsPAqJ zVN?0QJvXWUpTsxsW!^ms3#}fBg^D@+a^B6{!D?uCOQgr~`((zA%%&F<3YI!bOj)YSu;1c^TUGPtJ8H z2r=356uG-R&ROE`8D)Fzh+}5Ab;5t{Z#*ZrSNa=G@civ!sLD2@!_`v5PNn3>x1FXF zsy`l4d=gj`3M+%{hGXMn%a)r1>1Jr zVsO)3(<3K0Em*PAU1Mout>@Eu6FiP(yC}LGv(lTezlWt4u+=L%wwM=}H;c+P8%%%<{ z!Msau9Vg_~EEZjM_Au)1<={+O)S4=(lPYP-uDne+y1l(*gLBeHkN+J4<+~3qs#}+T zrF*_imD53|uQRg0Z*G#&)bf}X*{;mG)cSj}YLWd>fkP=vTw6<+q>8zhbQwt{`x(`MnF_V{+-9~`49LqY7|_Y?)}Vs z^vXr8(DrYw;G!?SfR=d6W0n?faRLN*ya-Zt5PlV-Kn;_yhR zJoEjJOYc3-_CHuPf41e*C!8)n7xe8^ve;6VsWaIyB226IBGcSWGBp``oZ&@${h80M zy}7i~c+Z2NXH)0xT4S?LXaA+b+{1!W%cnWdy*&G0(mdU@mYO$D?F^`SlG5y+GIP4L z$HAA*`kyB$e7o`RSl!I$Gt6EsKXCJ!ORTLg(}zuB{`K=N3kY{#G+uHfrmo_zuy+xk zL7R)BD(fj8!9(+V+qipwN#2{%JUJIhwzy4D(q=!9<=dnx zpXAJTDJ3X&f?~Vk#EJ4({w{RrVE7q(E24vEMbOjbPU?YtjfZ;<&Qenhb58X1UaWCi zNQSvzH07vA$o0Sr=I3>qH9a{`OI`Y5YQpKPHgB%ou_p~J-@P24UJxofBqX%q(d5){ zw#|x{pRx(hv3+jjvOhf`T=Knh_52&@UpHUu)4OMRx-BTN=i*7v`A$jS-%puu9W=dS z`q~ScwLdpBC0X;mt=_2TU2VHL=fg$5c$OCC)t==$OXjOIwj2-=d8A&`^Q_rJO<%9H zeTIzVp681$e!neaKJ8dh@SNmrlTUwU*Siq+vt#AXJ3Y*APWv=+&XqhJ7`3+dre)L# zosTDY&VIhw;GKH=+>M-*^EOqwowAQuw#Ps{|NJ>i1+5n%Te&6Wp7&U@K0DKQu=1JF znq!&sPCt#9mbS@QlD&Cju+I6X#}te$9)7zMacrja?6bZ%&#}G?vhX)HwA}psxP+(v z_1Lur*A=q==^T9~bw5AYw(QduyW=;FPaB5wP0lW2(qT=Pt=CQ8dvbe8)%Ras?~XQI z{qo|-WW{11brp$4uL{~u9^W{jOFSaR`$(?S8Ije(cYR(+T`gS{tSczX!q9DdzC3X2 zsg8-;4mG*?Uf35lBVa1;R}V?%@Cb+A*Hz~>{ILqnlzN@q{QG9g1^265o4;(B7Bcmu z-Bq9F2MWtpE_vj!UB&49r6XG&Bw2-Mdvf`7a<)kMmepl-%x2LmUd`p?Xrm`6UVm_* zSP!?$!}ps{#@QQh_K8Z9zfWXfYzq^$6v$LR{8wjLhJ>T# zCMK@h?f18TU+Gz|vE_TG->vg*9k&pgd9{<%YKE|7C45x9HW;+-6SgdlLyuV{%oc+>pu!&wYYAle54@Y z-IPD>Gw#STt*r}RvHZ|0ySCJu*S7#-+S+0A1Qex5!`^C3KvRt+w3#yr8YB4`|%K7PH`g6luYj?G8 zSjLilva|PI%o?+`N3YvF&M9T~zJKpTWt^q!+bf=4o3qnn?oBhRan;%WX492raR=oi zxBi@4JX34ol#l5vCYPk$&!7?fhgPJXOa0;PT>9v|#Wp@)fz^DnvvWW3%KhWfSM!>u(S35kf!ZBs zraV`%J1HoAQ`7eKWF_^VpY1j*QSW>{(d5#*$#=Iz^Ljk6e7pU_0Z+DRX0!R)Q&mD{ zurx6SdB2J1NZ2yF@#MYc!t*9vC2vn}n4$IlCAZh9d3K$R$_6`T8_FD?zqv)EzVg*c z#zc9x%MQl`Cw|%3A@t34gLl@sLuXgDXlz<|X44iK^}i1;8F;fSDcHI^AycKVg};g^RyqwV_rZ zQ_E7RA8E^c99C?qh`GLnsry90HkPeUNvqr(k~SE0YFIGd>k(;>@ob)}-?e$O^_FxS z?p5<&mR~!`TAy*PB5>2Wusg4A-Ms&IQ}*(W#ar!@A`R9&h>F}2sf6!dy{wB zY(}SrE*E-2SMq)dKFhY*@8#*>Sz%u_1NKaN`uP2y)E7_cjOVL-6M35`5}m1h(x4#v zUpLt9strXf3)?<;mshh$G%k zC(LD4-u_UL_L&^L^i%Bf6e=I6nZL@o^VfE|K`W6#XAMTbWg0hel&fSX9wF9*|I~c zQU#K{mxzTKsMvB^{`6iS)wLm!E8SCCe~-k4lf^T)ENT{=YL?>Kf8eK3p{3`IIboHe z8uzYTuKOz!zw(OY&!?Jk*3AJ=c~6AKMNYr&I^}$i&F`SPpYN=gAB5yA)ohx-^!f*f zo6k1i+_=fp@%v5NKe`KwEZ6&NDAJ5y@p0#8gZW$YcCGF?e(LG2kY|rG{k?x09holK z$`cxPsAik>ODt&Ya64Jy*=;om3w!13oLr?hFd^%7;Pm%ch!H_y(R|7RiNr|I4$ zYSK*$S~)F3x1Hb$2oUq%pyvKguBYYBBE1a?^EG)N&T6o>cJh{;TjA~S<-_y0b_M;Z zYFri?1-ESu%WbkUTRk;7_QdgY^^_We{Q+V>nbbZl_DGn1LTSfiZbpSwFZj;rS5yl6 z@F(5rF6Uy8d-2&z=wILO$o`2g_u>|=Kga%e@+*s81Fo8T&20hfA0PbmVCi%hm2sH& zOvA3}?g@3SHxl>c8;YCdH}apoUhP(+=W6i7V1WpGl>zsO9nlK5786#MCn>&8KE8Cq z8Qor~KkRAZRV+GPb~2qg<>73lnhfHtE1UZIswTW~(`m487ks7im)*Is&f&$e73@P_)lOe08bu;U7qOPUi4SUbbySyYb8ya4^4h?@Fw0W==e(Bzu}7OHoxUw9&`|8S zUE_)NjE&Qm2<{P0aW)rXvO9DC#z*ddKOOHp^!s=*I$1VOzQF0o#0=R|mOD=C7gV^s z`6`p@Y&iY6^F;UOj}pr`TO)j2=J)TJadh@$*-f)G0?j%4`zntfiVm0@d-2~QBeyFo z!B6BivcGB2IOZ54nw-=e=k2sze&@xDC+ix2x!jYK;ApC5m?n6-tapNb+KfLjA@?-9 zW-uK;C@W>6n#7W8GvnpL9U9C9T2~F0?Uj=Ws_FVT)lOE%D6=7vuy*Sp7x|0 zT)q&(-v94<-JbhD-lQq+Qj%OF+T0PI#uIkxmCA`S&u4iqm8NfZvG>2a)pMeE%hr#g znVYwKI*`Ases4w8X7{$b3nz4Q@5l$)sY@(gbwT)JtFDT0ptJi8JE4z>Dw7g-Y?^B{ zEhUm=W~*uJw{E*K9juF1 z@_wEq)|Jcn?TZ@(h55NWzLhp7rJra1d(rcmcw>mgicN}vCCQe0M|Zsbuhi0f;$Z(* zQ})LT-Nk<`gH(5^lfx@K=w!D`JbkKAvm%p3&^p>vKQKe+J)Z z*OV4KS$k27S@U}Hit09A&4ssLYM(XFdq*u$*h9Wp;f<+NY(i0L3EKl_vR+^Ii{r-pciuADb(+8>eKuNJqT&-0iP zzR7GCzu5=P8<&oJsk*!-F0you^3?EcQDINbbx)oRveDAC&=C%iJ(8F4>F^zk`4)1A z7V@d|^mB3icCn9GRqNQ}bpFd1+sEG*PF9X65tQ|eo43H0Crka^n9^BK8 z?TceNRrG(7iAPhyr_)X!W->dzEd2Ok5{tUB-7ny5x}a!m)`BEHmxy| z?eGIf<&7u9-zIBHawqk7tTNnWdbn+GEZ2?enZ94yc+RLXr=(vwtX}3C7k%UPTL%Bz zoA>`>x~a*t`rn1;e2K0r`jk|kaQ+bd_DwTzLc!gLB*ul|YCi%meV_DxXNLOCSA0tv z9#=16KUp3>X~ThU7kj3AAIQ`C)ugnj&R{{TXFPwUHaSQuX=@i7VEfqT$!|VhuZ59@6?TJ z1ao_CtkQdVc*&ttix&G%saU?%Eu$;3z%*1$-b{JZLhd0BY&f1zKYNAfC zvTxK5=4-+y#06*Ek?v)^a$DD2agnvLuhV}W)dB_=_Ln~F4zJkQ-tK!}ZSajZW1U{x zQx2nt5d|i%SYvP9xPO6dvE@vW9#lS zyZ`N-_J5zsV}Bm@D}5^R%NhCK9Aoy^^W=?Zk74C(%>10Zy>Hg*JnfgB%~EQMe=f=W zS>$Oqttm8O!4xU8tt$j?c>cV8E_Cm-HB*F=Ps*h3lzb+UIeXKWHS?ARr?vVw)y(kU zy6$uTmY;8)_gs?PW)Z!BPbQ36(#pNii2Lc&(nD)hT8-xN6i+glX+Fm%cFXZ1n@qFR z^o+ZUu56lY_5a+hS&N?geQf33^*gT6>2u6R%_eiZ^Kt)9RXskxYHhKwg!CbgH3ea- z*Jiihe7ZV*-s70+x4)%did=fMYu%$A0pCxj99pEvz51h~`*eGi^k>m?tU=qp zJYD@<);T3K;ojCI$iTqhpOlrFT%us8k9`vn$RHRNKvtd!*|0>U;e+3PSf?j-CR<2Nm${fsnGW?dstmJXszU{p17V$M>!f_$ec zBNryk5@mCiD`r{N{`g?Ui)U&!>A4>d?+l%CN$KOxtg}+nHt!9-%76Nr(8mon2WBN4 z4avT_;N;iGbKBnbmrI3RSJR1?wU~VRp}WMA{dRRXPBnSmI&^5KX&9?l%G#4An^(VH zIz@HWjsqGR3#}!4)0{u=HL9*H`4!bUXZ5Ks4_ zy1Tt#=2mkyj`6$p@Zj42-##9Go^Vun+gu$#|99OX&vot=xjj^rS@NZ3MTJ^uoRL~q zzQMySYN~mwZ94f^Tlei+=`GsU8_YQOr9g@2 zt+R`{k1bX_r+HPvB_;dG)lFZVC+Y+#Fx5;?Rj5C+L&)MtQdC*!?S)!jH`W}QcC9?L zY=vaW!Q^y9uSrtdCvKXbA)pW-GBY+b?E2qkFS*;f?WYtEXOth8br#I9Jv;l!!*`bj zj{kZgcaSl{W9o*4OS=mV8#c;UMc8#Hh`n&vdGL1v`^J4g58n9nX=D06<$KrnntN@i zxbyiy+HT3t4)d}F&#zv4cfwJ*9$zTc=2P;`3*W*4PV~tO#aos zTlnnd#T*(lH*7Ie7OrGS``5_$N#nlkgyfZZt(S|g%f+)7TfRt7@ZWKY^?KY(*>wjD z8Wu8_OY|-azPGw(%7I_j#S>0&opa}yv4@HAcgDGz|4Alq8=id;{b|FUe(>qfLc80R zZ#ie|Rbu@7`RJFVx;YHi%WWB-ulG2RBBHx&@ne=7AnE;TjQ_saShyZIG{5XpV|Tbp zLe6eAAE`)aK#|L+&UumSbE&odmKDkVa4ws zknp@@!2?st_+&X~R*N8hwu+*WKA@L|b?r}_(~D#c!V zd-VMjwchz6yF)Z)?DLyvQWw;5N$~tynGG*htW>p4mODHBS|afD=A3t3&+o>`G+o%$ zomt&bop?B~LG*X=0=ckRt{+9))Tc-8tKIhOh1L4%eLaWOye<3EF6Laj-TJ5}Ve5&I zjm-=v&Kf+>YGzv`ZB|fTuJ8MzZeh`cd~&g6D$2`}`I7Tlek|-5Bw?$Wh_3lBegcv+f6WcyMk$wORG_gEKBsN6Yvx=_#(W z-+sS+GxLng)8Ye?Y<6XbW!$@N#Pl=K``&la^zR2g$B6C;&s?yYWn!3T>TeIW)-sk` z2X(s5|4zu>=<~ai$NN{K0MoLc_qpfgRk#1<=M7qTA@Yn_ZRC@U9+q?dG0U0k@RKrg z|6dg%1wGw08At&+OmX>;tb zIkTj<^fI3+^YZ-rRe9+%NJ_`S?j)ab zfpzoUaHr~br@Gs#&a!CmDJY9hlTE$if5S+$Qn2WJdgczX#C=U4FE}5Ld!izy^Q}pj z?Mza`p;w0I?=Z3?zf{y*z#ezNmAHTg_ zu6RopldRW`>*)t=A5C9hF@Jf1!GcY4_uez!_E@Rn(6Z5O&BHsktj|@Z?EJtX%oxu- zRcw8#V0+%Vg!Y*!B?8-a|J!vuI{W$=E!E;5r<_;6um06AV;9$#9pwyc5&cfAcXaLv zo+z5=;r#E$`M^!TEZc<>E$_Rpi+a25Xy?7KbsrdX_WItIb>jcG;w;|CZj2l&8H< z%z1?aZFs#G7dFj3pYZDm%VqWZGyZ+@nLjV#*B9x_@$+787WSE6oBZpv@!vlzm(TAv z{QGpKo&CWtKh2lzx4EqEXYltCSlM*-8FfE z*~~dR*$!TLUUvERW63`YW9Dv3FW2G~op!CWtZeiALV3+QJ*WRPR(^?FZp)^-f#dS# z^I=`?*Z11j{QT7E{*Ld^bp3Lp8GhpNdgqUCzW65Tj)=+ir^kBiIdqHUzVV;m{V+du zQo)))7FG|AnlB%Y8u>RXFuVyeZ8J~y*4>>MxU@=b|5A-2ebk;m?=GC2S*^5F zzVh6QqdWa$xN8^dNneJB}A`IKU`hk-ug7 z!VLjeLthx*(MAp3)DcH&C0-kq6E2e$WacbnUk zd!eDAMkORO>fg`)|JUZ}KawbSoAbp>!XTxX=Uqh1G>4TQw$J|lx%^iBa<9ma_p@@# zPVe%)#{TL0{V+5W&=JqKwe2QM>grMGIi!X%-k=90Cav2^&iuF({ok7T}!V$gspb!Kz4= zNniVq#J`>F+ZrkiT&^ZPkDS7J+Wh6RU8WC?7Uiox4tW1VVcAw57Uy$OhB_x#C-kOd zT9h|eiTe689!_~QOY+^4uWGyuigOPt7TDyb$lP~d+0v-q?I4uE_37_{Z8po=8V}08 z+_-7VVvR$J47D0&JXblMXc^jaJNMhpn^bpNKSg#$m6FN6)4NxPMK3+LwX8FQ`Tg}X zIUH|JEm5fYuy_(<7t0H?ZJt4#=L4?`ds;72WNzmvDRMBlQV=k4>Qmh~vC_j|SN)kQ zDQ5bCp?;D}u2FT6X>fpgf_AW|;~}=~H+SiIF5%8OdBE$<2_~6`UD_sG=bS=Y@68o! zyeHmtiR-}fhHmz}-9CA05sY~&1=-qt(r)a2B(}qtFGH}?t;+CD*8UUh_o_|2x$XzQ z|Lw!P+DKI{;HS5d&F4!iAFi;R)UrtU2b-hFtVA38`O;^n@t1f!d$Qp!e|6$_FE*oZ zch<{fTzbi_xnbrsy}&I#n|t}EHBVYD)^l{*u|-8ZKU}Ukt~Wf6-G8$s$VfE4a!2-)`LEWloxE=QhxWH~E5b@2Rrnn|c0114 z;_bQo=Qq}_?F!Xs%m}gd*fB-Wzww`J^@eTVBQMG-PYF%U+PIH}O=?f}(e10Z$=*Bl zO)ZF{K{jpC3152&oo{{7g}G6@RbEC3En-)g>yr+!?@Y7vQ2Qlcuvfoqfqm1d0GSq# z?GNl-j{h#?Zxgd`4t3oW_F`qtl^Z92zL49K&*#-&ro)yuqqgz3+0`SzodV}glT_pR z(kyXD#Ace&@%Mhu&de}a`^~6)mHpZ?YgBgdrtGwckyZ_m4Au&~$jD)dR+ z(pS20_~VNryZPtadL*vQPpfq5qGh;UEl#?nJ2y3C<# z_e^7~Q*giAan!coe8~lc$63Lgfd{i@{pL}-@m!*;)62=><7-K`$#Tl>YY(ok3S5|= zYjM|oLAbSY{Ic>Ez8B_9ELTDWo0m0xnO_<6VAu3Zm$xUlyL3dnk70c|rOkKt_xa!Q z{(XD7T=CCK=6J{W!(E?Q%4c;f-o$#7QLC~!MrO0hWMQG~39E9el72D1HhP&8tG0i6 zDdX#TUGBdWr5-c2O>EGpobf8a$L&FxW7Y5P*)#bz8T{IN=H!|@KdXm-cz$1Wm9ptF zGK^(^n)amCp?J0V#t5y;zDnFY43n35++C~g+@v;{>EKD`Bg`d|Io9L-qkfp$+;R97zIe$1dJVfJCmmc{ovT{Sje zjIj+k(0wAERy`_-!11L|SCC)G1de!7iqNiiG(X{?R#Y5dQ@8v1KaB(h}B+w&ATsiRRBzGdC1I)fHc?H#KJQ zYhT4;F{PSp%|OJ&_FBCtY2cd^vm%W=iKFUzSb*0`-$ zcZ2!rld`QhpKoPa7~IT1ZR3JK5#Qifr?=?ZFI%zy*7LH{=7M`~U2OvzHGoGmdE77$BqVWGy0p|JR|of2oEln;x1e*+3{!I zpI}^bhl?Q!)Nx)b%oTtX^kPvLuy6&#$Ge(gH$xZe3Y z$EMdzeeZUuU*=CZyg}R9z@_O-Hq*z>;A44p557HJz_)!)zWkDdoq;@wCM!LJCA&Nt znp9nTin#R{d-Z#+x*kd`tNzH|p&{wp^>&Z)OP;9moNF(X48`U;9!i^Jx8+92gpym& zPVGrKH+O0I36mL{ss+94CnxVndUsiUhWX@*!~c5PG)kvt?qhO2C+fWYeX7vyIZacf zP52`j1QN?@4zm6b3TSa%sa@)OAi0c(J`zNC`FQ2ri?>ZlR$n;#e{AFY_fP4W*}2_~ zd)#yc443V{vm)k%*}B}Q({%>oiL>5RWi>ySd3?*%*mHVs+{UT$0z4t|9Ip+YZM{&! zc#dh#fpmc~vH6wdHqRC`2s%I26>gr7J$=lMHzmOWc* zrJAiA-q?r{%zWV=N(zc4p<~ONG5GLf551=-S2mo*xye-&wgKLCvwp` z=*gMu+MU~&n;ujfIZT@8FhjG}hb?ACrnRljos(vZC6u3Tn#ydQ)o8lm+Y(=`aPyFr zNqTEqg|#01QMl*0Hh{@j$YV{Xjgz0?nnpcGH6L-Q%y-6b4vAPwUD|)=?%iFNes17V zHTfH1^0VrI#2N1M4Q5Ms)W&u`wd8)cHTU(K{uye0KYPASyOFxtT0C!-`J6Le)+)^n zfv5Qw>AsQM*Z87a_@3mmgl)4sYHv(>Ea`M&yXEnBV)kD9w>4gsy#35+y6K0yHF6rN zW>;bsP1E|9w9$ldb!PiwWzCzMEk_dPhMkE$u;kN}CHKXoR=9cEO_;rBzmkUA28pL@ zTR*M*$m?~~Q+?$}iAUO1$M<+7b0?Iny4G{(s^{rBlU47hf*hA|=4>^Zne9 zD}EL+jXQTgUuv!PPU-ihx11BUyXP@!b1w`JS)pdj@UZ{2cjmfd`!YQ~HL;2KUO)9E zMpCq{Xw!bZ53Ti%QA}F|-x{`;oK>0R#OnHqh5P!^tTS^?J9rlJG3OY&gfF;W5_N9D zk9FK+iu3z1q{e=Wmux=4YFUWdj_hou%lQ8l`ETDEUftH}O+ z<$bW$kqHxjw}{(YsASwL-~Qgdc7Jc!*1f@u_b(n!x&4aw)>IiGE4e$jBSg-wVf8=D znWFSdY>S%qiJ-E$sI_~UxaP1Q$bH4~`18H9{;rV^vu{W^U)j7#Hs4}Pv}x(TWjef0 ze2juVjGAqa>Ro1;A2}Rz>essm9dB-Ln>s~!eSHJ_qDhe_-t`7ZIEhFmVNZ~ zw}AVE4^JMK$oY7hOD|A|4noK<}B=_j7v9<4q;Hj1- z`Vqa0x?~(qcb`eUBJpJA>i7umiZd6>4qlwhdP^wCI6ER?!_yzydzN(8JiE%Of@=QkdG4%fPHzJj`#!GI`~A39b&>Tf zo<)2Nnd_D{ev;tayfG^xfPZ(?s`kQS?aTkzoL+QID7zey~WQpb*mhEfv~ ze$=j+fB9F`!rbExA{hx6%fuQO?rCpSSi>|ouyE7CB8l0K_Nq)$EumfNk$op$aPHmR zr}knpL){Zyv&^UOr7lW^)v;v!K3n#U|Bri>`G0oM*@22tUg~xd3=Ez540!JS0AEXz zT9OF5^`m#PWB+Uef!6nbMLXV!<~TPAcW(&d4-L(|>gBuip3?DeLfenH9n*Qaf4$)h zwcVCeq>b;-{%$kl)5oH`MdFE8E3fLgY4#{DobfE^>h2%M|0QqglwV!Gw61QNkHEUf zda+Y#>4}+7maI|^&KCdfCg^K@Q_%JNBIRjdqDasD^Iaw5+CQk1@%vR&)9GRYQg zgT3s#%;uPX=X-ENW=G4FOHW+89@fg7J-$DxLM%LScXH3FFNsSggkN&NziGg2&Ee~SG|pI5wE!%}&B&>r_02YOOom$aG- zIPWRD)Zn|WX}8WQzl!`nYhK;1`>J_<|AI%q-+XG@A-c(ajbLnRcleK(`46Hr68}Wb ze{!*7eO>edkHB4io7>e_{yP2e`7#TU)i1a#wz&NlI>W>wZ}(->Lr=5We`cGXjn6Ah zk3DwIOYG;arN`Y=e7>K0msD=K?Cbo@zspwiFAiRjR=jnuQn>fo3%4$O+hTI4$5C3Y zizD~*&NF^~2iF)ZY&W;?nDV>ouxHf8ty3&lU(aX^6l`9_VlK{e=l9Ij`$5T~GvKk= zLq-M$E*5;r0yKf;>l)&y>*?pFp9?#hvm!U=Y}moPI|>4OpKI&z?G0(m^An8B=UXZC zG{Cj%Qt{D82fbSkwkk&cuRYMYdH1SqQQ;e}NE;lk&YyQ&YFha1Ya-_#G?#5t;{Meu zlCX63)?BSmpFb|!qY%D&bE@{5Fo6mE-AZ>iKTM9E_(Hc_>BWJy8Hxo{?vy5Et0!}d z{YoGN0^br_Pe7D-Aj**xRz+};P5 zr5!EryD6*Ht=QQkbAHA8tDL4w*Q}pxxo&RguFkp!4)$sP&h8e-)tm0-`_%4`$*1GK zIoHE7geCgCZ{2*>!Ev{XEu!zg_imlE_dkx_k=_5p->UAOk^BNVPle3;i_ zWW8XSq0ts*L+u;34z{@-Vd9LU9*i$_6zq<0e4ISxlJg479)~jih#tn1nQH?MAIOTD zVDY7>#LC1+xxuYTre0=69J5EVmFN=%^$pDq=Y$eIob>V1_0lY@Ts~-@8zN*Cfx}uUu4hbE55Uf!=bVPdUtM%GbW{kyeR0*IvpvHHvff$739&froetZxzoA zI(5nHbK--_NU=R?Po%#JMx;M7d9}Ue^^4oq8iLiUWoMabB|cVGkXk(3UsAf6Bl4|m%aRkf{T}amccp>dVp+|tvU%G$VI|M%ur7nW);Kc>Lf zxZ0T0>!seNW$nc;RnO+Ci`{WnTKUC-)3HkHg8|b#zR%mLtF{KiSWVe&6R(aPFD2#Z_1N z?x6|(vit89efOP{w~bvm_3%4w+0~KD9_D{tU9_y8Y3{jA>b0T!&up9f@dC@kFB??( zlN_h`HU00rue&%nPpB~cP*IzcW!>T#`c^K7n2V;q?7mX6dBM9Lmw_%XL9k~XF57du%^L0Yc{Dz*1o0qm${=as-fhn=C z>y7Xs+q}n|GwdAiCCcuu))IYqu#rczLikoHPJMY@QM{D_?E}ziG-&aGP=AB-(WL49P7~_ra1tva;=KoRhzH9%&P&Q-p zi`VBw=iPh~H~C#-vd2!&%eF4!xke{MNFfh*9`HfT#84)ap z?tsdn1z5|W-LP_~xHrG|wQ7t$v>Yl-XxXKa=rHHooaIwCZ8=->qB3q8>w3lvTdk#kw?%R0So{NV67zGCu&DI)v(%g!x!Gm5mB6WCrk_3a7YvkHrE z$uIqtH2eIbSIi*)$qCGGoyWkyaE;hv$Y`_}8ZCxKi=hE6h8USd7;xVX3R{i|p>v^k zg$8&-bitZY$k%y-Zv26$29dsKmx7|}^zA_0BE$vK0LP&A4C3-nbbZKoIH1~?#KXXV z+_*v4iF|zls!kbU1_pSyvM41Drjr53^#*XKGDM3Iy6gZFUW84Wip3<9m z1Pxk!j4&m~3+rNSR7W6`GcbUbYa{rxk+nkugm}wOBI^c4E}=*Pb!-rp|3KD`y0{y+ z`$4Oz5k_cxBYB^=OoM7b46*^l z5Ul7&9?|7SgdhV0gMtsr;&E8~!!#m~`GE#}5qhVmFfimohkwy^ArBp)x_Dh01A{NN z(Lr=0kVjEKV@wE(=Vrj79qWh_@djPZ#AlEpxzh?s+ET`^-Y4Kn*d84uVz4h{~G z)tfbiEg0FMoQZ2>>+km8-XU23K0fisgncKcz4^Q0ZVum3#_P*&Y-#s?_tU|9%h@&| z)=6=b?EW*j4|TOC8g;cZ$1KrN zKKd*1$L;0w7vKDFyu7~hbeQ&}N3O>%<@Rw)a#k*g;BnX?&@JQr#o*4T`lN#s6p{iL z$aJ^*h_5-)DjXTIhugO2XRg&d?cA#zPmKG@YL|-YpIL2Ylgxj(cgoWwn=qlY2EoU# zKdSWQAA7d_aoomz&Tm}XM*{Ms0%OZHyj-Awyw2pf_c^_AO*0TW3&hMMnZ+NuUI&s$5@t{M=#+?#Y*dbdSW2Cot;e}26XPOpUgl#-Kea3e)u}LpZ1UKBg>v`dw z#l#uxZ(e$S6S=sB>-fKg99F)2m|JF?GV`eaRk|i)V$+!&X@@Q^G?&j-yKny@f^o|F zTD7S9jk%0rO>a`S9{nv;yvU;?YoqJh_Oy2vD_w>9Mf)Ewf5Ro3bBe2qBQ)Z(&f?rM zW?`S>0seiHgjoY)e%SAWKQnd^f(7K=u|Sx~>aV`|Xzh9=in z+eHPXr)-R6xy7Zk`0rr@In|Roimuv!3w)*rEOZHAf8;Smqji?)Ed#%O22*eFmKPOw z{q{VooBOa;=l1UV%J;U#t=*~VlkWaR%_#K=SD>K6Y8RQz)7Rgu^X#&BiavQofx&!I zVp@ctuK5Yx1z#hIdKTodrB4j0x9ZX=n^I(X+F{No554RUO0I2JA1x}=eV8+6lApVV zIfLUG5w7~XS=D7rzhBJR#?&my^)$wIM{Dns=$PPD+P2JVOkyYKJNT;`dT;2 zSy->cnM<|(3B#QGc2(SooZPivBtJWyUsrmDBP=%LO7pHq0gJ8rROIeXyLZBmvEKdf z`tqKuM+EjPAeVXFKma*jkqE5;(2Vc*`Oy%YaG3_S@&p(BJN=wSAfM)R+S- z2_gmWel93T=rdxvxiFyl$l}>QpKRm0S#@VhLj5bPxcGyAk295X=)VyP7cQ20-XSva z)?KRyvdo+Bboov`n&ai9$B@(ICHUlHcJk?*M@=%`g&aDYZR3pAEpk;9ye8Hl+Imp* z+T5K_C`el49RpqAC>E2s2R`0MeFR)nP_}jf>6VJz-8#ANlRBH+)M2IGa z?vefe-M^=PlfotI-OX(EGU8iT2dzlpleBX@{C@I}@2aQyaco zUvGWUC)Yf5#r9P7`1|s`nU#8LKhKQ`FMa!B>Y>=qjiH}~E$h#{Dx7yX^OdD_=~tP% zx57L_Uq-XOo~e+_Y^O6p)wNy0giZ0MWn+1%PifobKXsSP=al4bIGD1xF~V!oZS!4M zL*%BcxoWgsbkdqXK5x%^sK(8>#8*^w-RpAT-IBId_HmH~jtj0^%saCBr%B$r?6lDT ze5Y?o-m!5KEag@3Q;Awtzw6D!TUiG!E#>E&^mbit9rr4I;rt2r*!L$~Y4EhzRiIgP z`t0UuO10Y){a${p3%sIfweF5$-JRZ_eM#51XmV=&PP}|Kg3WK&?TE8M(JlL}WPXWm zZ(KJoZ|mFM<=;2N-`}q=tK;2!m058o-q-KD@z*6~!?C!8*KWO4o^v@@?g|O74|)E` zI%a)P%!}x?n@@+HpE2jmp&55>E-gBlaZPfPn~H*zrhDG>uXQgcedCGRxBdQ_pHo|H zi(Xyrc`BiD|J3fh%}2Hc9p^skpXEN?WY7P(Ws>fY~Ar<(mo+^t8%UL zCN>er+n!0;B+tGn@OFNNws_EKJ+7V=Je_ZLWk$qN8Z^nX*Ynf3 z!z$LiIJYe!KW|?6j8K0AuT6Z@WKUjM>|A^K+PTE7E7#53{Vr>3nppYQ)3*YSKK^}8 z%+mkzr0MzF<@_z&-forKy{G7r)P zv(=jvPp*=6+;{mkOId&41)&qaW_az5&wah^VAAhvz1nV?w;$?6$(`BD5Yp6W8CA-h zb$v^$iPTldxl$()+OyRE8t&9CD4YR%?v=8SrqKFm=HnXpCs#jbF* z^(Gn8%RW~es9C z=cN;ZcO<#qBqSQM{aBgXYB#0QC?_%N%?Hz?d3)29%V)2OUR|Cvck<@F%^y>aSOm_O zh%z_Uvs5aos9`9#-@X5(RfF}ioyH52yR4Z%sVqKoQs16OZn4bUzi+Nc27O&SIaT0> z?8oT(%SRSl?Bjp)Ant;@H_x*ROtUhr=5IAvIJIi|y;GMft(uI!&N%qs(1N2|ialh) zR(h6l$;e$fQaGXSmhF4BJ)G}Ujx7{zI`+6vt4FT+l2DOKjeMQS?G;t49Jf}6NxYJ2 zu1XY`#~vpdC$ETjkZJuQ*)=6Rl;`p_HLCwLiTB&sawBe$)OLI1M9QI zWtS#5PJh+Mw|@4A6jReR!LnE1Xjs3pFkO44yJ279%M7En%eVbsJD z=!G0Szvo-Z?1`!t6MALJE-;EH3$T3_(_`y9TwgTvox$8q66s5}6m^*jZl7eCeEPf( zJ8MP6ESATow)gy*mfESP*LSKpD7eQr;`>;9Tj=lbOMoCkdcYaiEFDqG9HXtR4PymMOAt&3l} zSFQPD<|mX=Z`heQr{>4XKeDfO-(7EWJ5^=Jf;Umwb>8nBSS8ODhp94gZ;BF(6AVhN z;P3QcJs0kIs6y@APnkz&^FP_w3(oyq{bJ6egB{jkrbdsRExD`q<$I~sF6Gtl9fEl+ z^DcgC>O4Oqb!+O|M9l>`>%JW8V)fyi6D`i8FHf$|JC|AfJ@}pdY07n@cXRVr zR?Jmb)Zi{CH9xrczr#;{P;y~CubiMt$ zNrfMnyo#rUPkpTKK9zZbqFapLdaeG&-yT*zz5O+Qy2Z>70#br)nLL+dvJBd$y*B>#roZdARw?eNiCaJa{PXx{>UnQJ9zE)M)izd_H_-3Lm(A>_!_wJL^Zz_$vh~#0 zQ+(QA*Xw@{-(=r@#~~-Tc*6f2^WCc^l=X`9ecpOi>-N3h|E>3D)Glb~HCVZ3Uj2+z zCx4bxnNN3>ecM`B7g?+Q?DL}C28Pk8@>3`OKB8=VTkFS?vcUCIh5s@CDB1S+hPwOm z^y5dD@TXhIJGh)^yw-D4^F^=hu@0sgYht9QI&HMI+O)D@-9tI$8>+R3TK;YMad?Jm zdyLzLh8Jr$ZficX*SR75^!b^4gmYy=rH`)NSg$+JdqrkX?E_D&zn8v&ng+O@B95{H+M8$Nq9E%@9gfF&)icUDhlg4epM6ZvXWnA z@uOUG-BW`Qn}r@zcYoJh7cjZ?d~oZ^k_nqRKe}z)ss25O@!LOBrCn=!{CRSoOcFb0 zIN3VlrMi%(!jF(io^5QC?Xv3gjDP;)pPT+faYo7Hdy%T=Uis?HjH-KfVCM=uZ-=d- z$D&i;G3v_JvU{=3GQR1bni2GEUZz)0ilB1}o5)V1zy-P0d&{qht8_-#Wp(KvI{WW$ zbu)iP-LhLBPEPU?exaV1_T6Whk4f&UuL;`}s~a!&T-uou^Cn(d``_*ZhQj7Q>wS() zi;>UFlrUC|(z#fx;HJPk`_Rpq{Bv@BWuhmzeGHXIzm~IqlVG6#HkK@T6)W$xW}Zt>@m4_Pf-7Kar8=%G?klA@bH~OU2ao`c(Vm>3Qp3-!Ys!Gw^+Vy~oa}R&m)k7KtuAeQd)y_Bx5K^f-6x zJ9;MyCUxpr>nPf$34c_pYty@5X3JFjOA7bo_wCQq8DL zckVp-Gs#+kj`?f7Lj?{V z0dvzLo(*LsL94Hy@8W!?)Xf%>5YVMG`7HlI?Fyk6rO&t2&st@t8MW$G(#usV<_BJC zk`X?XAK=mYrCBPfPbf(6Z00#zfqqU~SO0`Jp?+;Sm(D&rr}?yb=DQPm*X_9GxZX88 za<%`wUY7cD)k!}7yY#L{Z`yg?e}&TR75ySx=RWzR6H%LU^voJh%e&8N&6ia67f;*S zTFaO^Yl)~vz3I+Yr-1r)?(Kz1)3%94Pk9?J>Gb(k(9y##2Xt6pukCbo)h*rR%0 zFZJ#PoeO1m9^}?d(=xA!|7dUC_Q~=1+b4ywAtzeSPct+&cAC%2Yxwj@X#H%%Ihxjc zqrZp9ZF06Uo7N-n^MbaO(2oB#B}-zWuic*QqvQ0auRBU4C}!D=SJ9H5uk82q7BhK1 zlD&Mlc6nrh&dVqD+Zk%w-KOrjr=TWaS3S2}a7C%p-}(AKr?E#l{MlyK#1=|9FB z`mu@XJzl4`$1ncLv&}4e%C9t4e$DgS*W`)2i*w&fdT#D>)qK8MczNxX+Q0gsicWr> z+=*Rm3=H3N(JMM#AKCht$o|JW1nbVPSJ>k)fg$&F`0oBUB^O@aysKlt%ac|$xi&jM zBvn|qlgsnxjpcu(87J9q->(v?qI!C}$-6guz8pSt!{*hGR|%r3=eO6#F5{e8ytMVq zy;8Qlb?qN|PI{zVE}uJp-oE#7<^QU_x96wIa39N8KG`)Tec9=hvXBRo& zFXftg*K1YlzOxypzOGH&ZuC5I=kv0?->!Wsyf6E7+3vkETmMd6)V*wXp{~ZZgK?+I z=gu_znJe&s@Av}st0ofPem_1?s~>)RljiEBe!DiZ%(*m2N>EMONMCs3-jE#eZr6On zO*-u6=H`ua*Ir4!x@%8BXRPSP26dU4FY6O7NV7bR$_?{OR(bnqS3sM-@8z>Q$}V#( zUa?cqEwFa|Jb&raHuL2irkq`orL#9S=Kk8E;v<}T%twn?`ml=d&OV$Ye!Vi)RjTN! zgih9rzNH7!#ogzYEo^zXYTF#y*mD_&u06bABjUI$F_mGhd)j<&`&zDob=`WxISv&z zU-FphcduB)Z?sM}#CLUw$Y~|!DGIffnLmx5dp!{GeY5R0FW2pzk5`B^*EM9H`r7%2 zNwDVBs=yW92BCpd-W=vtkYE*f{ea=_&IjH3t7KFvg4m)}-^U#bDhs|VI$`D1Gx^!O zUo$Paa)xioqSp@u)!xSU%U{zBSn3%_Y+cQaPxW`x<>gzU;mvj}l>`?&4xwg)li ze0E(gzhl_6dG_)*D?7CLt@WeU>PVEmJ0*2srYrkZ2cE4C=F57@mCp&)eqZYyan+#k ze&EIOxz(x}MlS?B>YqOC3Q^Ivzo;l(UAWBpsiXt5q>p~fwYd*0{_-9elS2j_^DJ2(8b)pv=u6u*F=xZN#tgpM#xB|q|1)h~ zv*qDS%RTb;ljWDpvrvH>Rn=Jb8A-d*Ua-x zTa_IPeC{n^yDE66ExzgYeMgH7O|$w$=fG^C30lAJIXSf!vz_bQVJ{UrQ!M@3qWra- zQrZT;gjnY}giW!Va`9ERw!uGHksG4LH~RD4{)#2V{p+*f&p#AcUm}yff7wo^$?Kaw zcf@V3xZ`wY^?K#Bl442svqx)go!ow6ZLNlB`i{vf`i$1hwPs&6A!1jiZe8QchoyPf z>XW(qGJnOYPw~8RQ~QsFT)*}0m|X#PFXw#Dh+psE_LS@RI zzA`B@{B!$?aBiKy&n~=Qa%0-IyxH0F%7T)j+nQIuHq1U)puTf!s)dZ3dAP2`JC()T zc-;5MZ%^DYIqa6vo|Nl>($aDBPZt<<9oxcscy@8UWSsAhC!2h^-poI3C=w3ZaF_^rfmLI0}l0qqu1*1+wQ1T`O{kLBYbu>uaBDRtW28~cik;6ck%eWa$Ig^ zw$!qNXKlFet$JC%+g&W|)qeJkTSLFHGAe&-bXZs!ep=$e;^2F{qRaKAE`+kazoOS2 z(&e;zi<{lFH5ZmP)ft^%*x9#3?DCq~r&e5&7uk5m(!}4 zDoT&mQVw&3%7#OTao8 zTb{aiWfAe3-GzxlCi`Ze$lR8GazpX=FCQGdPHlMc&iJupsMDn1DOytvHisB|df;W2 z81}?&@kuZ4x8I-4YwVr8u4nb~$<}9TGqn2!C8p5ofPaG5AD-j?pvc2&%OzdFj#XQ=(d_UmT55s{|&wy_@DP% z^9K2dXI0O5`QCYD?%r#A@1XpvtGVA}qEgSVb$RS&z5n*x9sHC3Mwp(Oa-+OrujrNo z-Q9iivo+=RzpnZG=TGPHr>B|EpZA~C>t=qw{`&Oh!ulH18{x+JyLxBO=ho%v-_?Ho z?nm~S%VgGT$Z-`2{P4IJ?0ho)1M`DeSGNN552r5e{`<;W_^tWNiP{Qr)pF5QS9AEQ zQr&A_2&qo_q`EXqdCi?`!4Yg{9acy*bZ=LF?>JNT+PZJEPGsz#w|Ex!z4i*plV`;4 z2EVws@a4yPTdzI8CrJji-zM#xa0#ZjNv&c6Tov7qaOlxT`DRq1&d~o{C zM^VCD9Cwy~5uZ8H-JwOgBmG$Qleoz;2ir4@jTh=q2=a<=IP3GwQsc#onUemTR}ZMn z{_L~B;sbBTL6(D89^^GXyxpav5qHINfrDd!gix13{*wE3f9toaE%Xpt(qr^;W%4X1T~_^svnIV;n3bPGj|IV!VoIFeAnkuU>!=%i1d*76on>MsOf3QtJU13U`<1Pa)gZfG0iA?|Z zFtqe)Iv4Z4^AluRZ~8Hy;al#S+u7%YZ_W8_wq$dttl5D%QbvATP`i{;oEykf?-8*fm@&8CB8%IXDn~83fq)y zvfzWJh0w28%XUoVu-VwpC8O3cxj(eIK9f;Kyx?%a;u)V5#Dc$9^&URCyQFpXch(Ya zkJBqJ{FwB$j4MXn;?C>s9#@s^pY|!tP@I0~RkQrm6bZKp?cFL$Gg}JJoL;#_L{L`4 z#=)PD$xX_r^3CIV-Ra_YBR9)!7B5@koACDV>d-$QdRB(Mv(0{Naf2mIcJo$;Ud8j4 ztMlsJ=AZR0@p`!A#;4eVUdeC`&q}YW!U4$#*I)O`KKe&#`Cgs5+pI(%2tQ6bw{>%= zr>K$bcMZmYm=?>k6-`Ypl|nj zvX9!5KfZ0-(vQb+er5xYV%xexnZhp>ytw}Wz<$rah^Vv zbFR|#))4(8wmJS`W>ZR59+TTx!_eM$$>*fcpF@l9vH8qqJ$v)&GE=_jiC?)Hm%l#O zKV98REvMUjuEnGU^>S)z87@<~jT)zF*9xdH~)5` zfA5~vm69(WiE&AD8SJ>F6(VK*hQUhw;gcqXhASzthkx3-=>6+aYq_vM(L!gMeL z_&0A_@6_lk@Axgvvh1yZKnoiiyVq`6MzOp02PE4J&Te?dY1q!A|GQp4KwiotQlP0| zoz~kIOvZQP=(B zrJroQ-qOG4SDS2V-d}Ygk>y`^f|bOV_3D#PS}YJ-@J{2s)z;k)Pwkz$IPBoPKDijv z$J-jc`^>-oFG$|8Y2WFsKaStsP+$B#O6yJGxx2fYW(i(nE?9K8x%)~t*P_&*8*6s^ zRen=r=T>xk$h>tSU*?X8={7;GdL_YDXInItGQ8?dBBNMijWvxtjwPWg0%z(U z{1tEEzO(&qd0plYJBK(SL9f3*KR#xjWAd+ehMH$p(JAwWf9L1l+rDx+Kg*{Dr3(D} z(-fT7ojr2t--nB;PZY!g{;|*OJF;PYamj_}(_7EXD?Yk#)0?M(f37lBY>_+|uk>4T z;_YLWQ8Inb7BU;B9R01<;h4qG&0!E_Jug#jb7;L5_nHrvwwz!o&Yc<@efvcFqExCkd|6touU3?nF&LM)|wyNHnXgaIqRLv$iuZXiSt@spyT3zh`$aQ*SuUZ zc2A!pdLy)T_1)_JO))HA6?qTs%(?k`t=EaNxwBU9TwC!WEx>oBu3;i~+_O&AFH9E{ z4<38}A?<9?&iW6UTkpATo;l^#)r-407#Zh(4@iukyPL`D*2Q08GRN+@u3NSA?8e4J zm(8!dJ9k?1ao+zmPySV%>}M{y(KT(Ya8~l|*_&$iJ4}rgo^ne_pd~Iq^rzr?t;6Ro z1n&9pJ#d?h?t9x;e@j+QTH7vi<=PAGZ(@BaA?r_ayw(<+vp;}C>|cG(EFHm_BLOQeX-WmUJ;o!3DFj2=>;Fw7G7+veShs%W|V_D%gOfSwJT5U z`X6z2=lg)2R#VqMxbibE&%5~kdx1B`#@n>k_nua&SoMU7{~eE3-iMp3R{B?%wf65@ zv3~cH$tD+GwI?iZ?MUF9ykMoWuxHbJOQEttPZr-O!MNpOEDrJ)Y*y^OvFG12;m3{t zIiA0(2X$e?+D`=Gf$(1{2R=F{{R0}`ozv#YO&?_x7~iHzPvYAcAG*G z8#7bNyJPi_3b)VPNDzM9>z)(8?|os-7RBlB=YBaq>tjXx@umLX%iFCEUB25qZSCp5 zcY}X@nREGe>h|5X>%PBRUGJ^ae(%qYGxO(s364tc=Z>HEYKH#XxPG1K^WUGEaaZG3 z*`K1tD;Ir|@N1taBO2^>Y2E3Q?+W4zD&AjXlL}21XALf~efz`6(z?yJZI%~vb z8EsO@+qW^^-Cxpme6Qc)d%sUh?msuZsNC}1v63ghpU5x!XYw% zzI;WlXJ7v1#a!iIi!`P$f7*BKa^f!Q_;{dFA4ON^}!3rnd>S4o&ot=}#7?)YP&gk!>bQ=eTfVB)B*x4D

j)~^#0e8jJiQy{2AM7;x@4VY3OU_ zRTdM-TlIzm5HGS@&@D z@yPwvpAY9m{9P5q-Er(g&o~v(ZJYZ0;nmX%M<~a+M`cA_yCH!yL5+t4{ z{EzIM!nK!^o#C41zarz7s_6IapHr_d|NHOVrv2WR^C|`0N_Rh9sk{6~z*#%nc|X=| zvwpa7v(=7+<;#yN+noIra87E95C2z3Th=YdYDA`g$v#_Qq(AA2-J$S>iSzE1NKT*o zWBcT)lH~6WmsUQw+IOu}>gD&7^=Ax}KmYZxv-!38(6ZB$-cMcsVe<3Ei{o>Ty=hm5*?3Fx2m_Z25U{ zk?Aa3yD#xMZhQ8xVCQa3mzUD3H+}r+h<|a@H|r0{mwsHmAa$IxylU?r;RRbZha1a@ z)qmeH=Zgn_^^b`h&2leR{M`39YuPHcAQ_>6>j!OY-qp-fORu`T=u+_Y)EfeKJtn+; zzIje!1OGSIuUrdPTV~ENk-Ol>Q)^$6>Gt&g!TbfGb~Q3`_Ph6Nss8o%&i(XDRyA6- zQE&Fomz*te^URGiKZMVm*nd^I?ze{dOu;qWAOG@8)>m@bteW?;rq2If(;#^;)^D=i z<@pz-P8-edyId5q+3NiBz59Ng_FJs^Eo}bRBAeOvi%pxhUbOzB{O#bR?{99l39Kn} zX*>B}a&6$NU!VW9)X(3wukz>ry7TA%X8wIV|DXLU^Gm1q>znAiTAcW&m2<{i=-rw{X=@*ti|su#Ynti` z3*BoOPq$v19QVjl@AQ*%6F<70_qzG?)9E{%`_A$_-*T0UZANNYlyz_0h5Bzw>rHin zZwRR+Pj}Vr$^G0TUN&#a-){@!=Y4st_UprfuN;5#l-IJqy3RlI>uKprAKh}6^gsN_ zr}nb6y6WDuzwCFd?=r2Je!i~$%6G{e;a9UIQQ`gzJo{g~7ZbXXS|^xsU#01G*uAJm0A6Y zjjy=xznS;*d2{B8o;S_&`)l33F3;>s-1zPW$J<2SxkXa7_ch<#3RYVCz0&rBN4nk9 zrq^!Sa}M?CcYXhv*|St-FH7~j^!?HX$#cXX*ELF>{Sj!=yTGe&;g3gL%UjB0+P^mY z$Y=je*s{+0ZcZ$J$x-t+o03bG9xkZQnZ$QaR8wos!X+6^o0UbZSDdN($!`!k_t_r7 zcWK8!@c(I^xGNmC&u2w@E4!b%pz4#{rEJQ#(`Dspll{9T>%JXpyhWY0w zh^&$quU2w)FW)$M`Ood<&3>mob3U$(4+NS)g zUl_dfR(FWtw=Tb{QPZ6cMO5ppUDEb%t7DDvfMrhNA@u= zFu2KFTpF{ZKgMb69w(+%=F_!=GqZ9mwA9`lUbr=Em1JP@gkKx(I31mLgKKKrWg*ty zvzyX=JC-n% z6+G?2H*LwQ0OwDyS7=(FRs3=Bt7^uyIk7=go=rF`xG{OhjU58jP6+~1dW}B&F7o8x zEZlVDCTqUMj|=q&4)x6`-m#jbPqg z(5U!TF!{6$;|D$i=EtUDB^@`S-oE&|t9*U+Dx+YvvJE_ZoR;QaShE^-PuG1>Yhge8 zLZ(Wi?#oBY!q+YKl&Kp1$zguAH-KfT;9hOc`Ft&@Emv!1OJ3Z#`l9q()|D30H&klA ze0cG>LUKydZD9v_TZQL~xxJ6oM~bdzOgn$8qTzC++&-hqlW!h5d|=z5q+0T8nZQ)$ zbsTTJ&$I~d?#`KUP^C}#U0ei%f$ZxKb9a3&Uf{9MJVHwOu7%%K-viqjFDkgzm>ck) z@?<=}Blg_nk2~fmnHmPN^CorcH7%3gp~%l3#c+OWA2WOCo<2nbi@wH6At{fe&GpZX zid*OEJ)5zU@$Ler50;ZPUIZSv{-&7CF+E_4cfhqDetw2`Z%KvQ)ZS&a*Ro(dwqE1; ze(Ug;$_?K)bxvHL`tJ2=g~MAqkDl-QcWSfEr%>%R(mzwfS3dlCX8WeMe;$Q)f4v#C zeVcp)!+~-J#RmP0ky<2Tv$ennJEqU&x3-v6AEuMdz+V`g8!1|^8CTu?Ew?o5S zD&w1liF6L=&Vbi8D{!9NM1hxokTOI<5bwM=Ptb z-V-)9QDu(d&EBe(%X9l-Z^U)+(}}6Rs8ZFxhE}HxAd{gfAjsnwC4u=`r(?E^YK{P zvHPtR?;oaJYbcQV*c&=uULZo=(!Bp)y=>QxYnPU3$A7;*`LA?)Jb%vXLf%Chb>X&k zBKZoBf**uiD?H_L{O0mPF#pzn+%ssZh zWxo1|m7D7K{q4Q+Vy|OYdWqhSq=}DAo%2sG(-N(*U9h>stv#=uL;gZp$2vi-r$JIR z#%Ams;hsmr_Oz$u8eZ2)-~LB@;_=M|56-hhEc<4EHsopZ_qX1Pcd~2i<@fEK8)*Ok zz_0MdeLtJKPcZ$fSRCN4(jd?%aICuJSKbd9Hm6NF!b)P@Cz!2Mm`{5!oYdIud_&;F zvaKU-!W0$c{|5}k+kaYs}~T>5a;il`sAQ+Nx`dG9R@5}4&QB|^_A z@0GSXm9DJ#hF8NzwOBc;~$Dm2M(}Vct_PQE8#NUA%wy-Aqc8gnKZ}S@lzOHv**Iig8dhHBqvJA#mP)R$hp1o2+wWT*(!za zlpW`G@J)>DbH1d{Vbrr-@gzq-&(CWL<_A6Rv1X~1?%w7vaKo9`;m~5%)4L*k`wgEc z1aYOE2vj>hgXz$buD?%a>m;f_j>i78mRjxi+W!V= z70)hy;&scaeEsgf(vjQdoA%c3-ruAD;C@u*e0J{bp3ZZlKgM2-{ubo$VH*sViY;Sa#^5uw9 zXK2{A!|I3jMmcU0)ISl(y+hFMw5o^FHRfNTmv)MLo%O_{h|Ny>)f&Ou?DOWnpZJEA zXG(jxMf3^1W;K(urDw$K#40XbFgVwC>Z*B(Mq5=woBsCtv%gOpsn6V{o~ZiTx}a;p z(MqOUiif&+Qf7#roV4U?+%hBe8QpFN3spL$5~3~6vMM)gPWZOk?)cl|XLe|v7 zrrbGnyntyvFKfH6@qzWF?GX*L#5}FfPx?6Z;OXR@7rUctK3=%EqVxuL-;Qj4fmVlB`X;NO{|V#heak+EZ%%p!p|tzHN7 zj)ZKQrz6sI{YJ(sg9nxps@Hk0O>3z)UANnMa>ODFw~Wuq#YwkcAAEm3`%ypJqqVvp=RYWhC6=&#n%r}1vp_x-9o_wM7EFQuHa?{Kxv;kTZDS+Cf~ zsQglQshYY~T|i*lm0$w~D>Ee?hCP#4i|(>}IN7Ul$LS9Zk8ZhN*!myZ!iBb5z&He@j>&QN<*1>1Yg;O z-FwYey3yr@DF1tV#k}_4=kCnj#VSYBAM!NCuVIxlCxpZ1(ZcCD0%OT+26 z=Cc@Ayu4w0XY0n*uFlJHBc6x6m+Cm`+MRD2d?L2}K)u0Xoq*SFo7qA=!?qQ(s50!Z zWoI{hGS$7gZK=bd%_%kyjz9b}+0jJ!VBtOY_{4aoPitGVoM$uyD|B8^oO38za(bb_ zN0)kO>9zmX`2AJW&HA(C*Q1gwjR(I~O4ab#E zH{M^R8l14FBt3ujW`QM~5>Yz8HL|Ogu;ufvf2Xp_fUmmEK|_mcvsc*clcE!OCd*&b zc(1;e?KbB`i<1jxPbt!T*vtKAez?uuV<8tV%H8KZD9|x?O2DQ(!*%tMHX6CHuE+Q# zH+LKi@8f-8B3mbJA8_--7PXxV9hsjPt9JZlo6pzmAi+3))!e2(2Df$zJ!@T%lq0#L zruNHSY1LP9A8)eWSIyqqU@~o@l*ze6cNBH!>@DRH-zX)uzFe`8qbXwHrB}0#IFdDd?AKua6Et zaZP)Npxb&=qe9tT|GEsWB~B8v|MBd@pVj+AWIyyf#$+in^0#c57%Tl~QjZ9`wfhC0 zH$H_%r<-%4{!Y%@v}1zaq%w8s5DABskGL-%U87tsu#ZK^qj(d$nVaN~I*SPDsq?

eA%>H$6UsYP?k3>m_!j(mye|#SOynN=AyYj2XP3suC=F++RG1Hm`N z@4~|7rfBN%8P!WTtUDm=mX){TNkmi3iz{sQ@&W}*Bv@iN&hGWsD?BnWNXemaho!|z zy=kr|6*#A)oQ`nYF}dg4Lig;6itG55PafFgvU-7To-y+-Nt305n!-DEPFkFNrKx`S zS3}X1#(y2TIw$LjjC@`wm|Z)i_$HC%_U3bJ_xaoV0%Q$$HLspm-<~9TTBrH{hb1|i zrBzN=b8cLm?$;>BqW_~r^IK+QkxbT&X*H|oeN22THRYriCqY zTFov57-{g#+ZuVQD0QB16KlQbeU;$Ct`c*b)@iEJ96=K=9*-`rx2>P^{=b&3hK(k!RxYV%>~ zq)E=przi>WWvd1#Z!goIG-<*Gi*Sp7OqH)Cf89DMVA`J+GC9davZT!HfO7H2`cLXX zIvUIy3%2E?cujZyZuG-S`|<6D-Dh4Uyb=Dosez^7@&VQtRYA$=Keh>$Y6>Vw7A|_l zqsOK1vmwa-$%9=Rn`h5poG|H4)Do74rnH?2Ii<;3*UaYn91k_+cRP@}yj6{(?~Un! z1Dx|s9clwucU;riRsZdXfwKvZ!Tkq*TSMwkOkm~Yk!+a55XNxlthrF0o=fT8#|la_ z_gqqS?Bbv9v(M-3B#UJY1*x6g0++Y4EKvOSq9HJYVf~5flb5{g!sbAJ|Y7a=?TcU%@IYYBU9dYa$EJ7eCY2@JECCE|_$nBI$6`eCDTb^GUkiI?8( zpM39qeEqJ^pJKCCzrXQB-!3eR;Z^^vhfBn`U7lR_cyVQ)=iS`8d2XH@DqWn1q+*Mj zj0A<(i7_h7vR_j?ze7P(cMnt31D7EGX;0@*k10A4=jHumec;)k7%5p5r)NAXO!@s| zkC-0V?QI*$71$;>d3u&&3-=_`mgPF;VjH~9`l!v!jNK1h$o#%9Jg0I@~Q(7}MjyI{T zIl?BxYsdOsvDvaM@7DRCi_CHp^0&{+^L@YE=YpM8+5O-NFFcopHAXJ|!a1EO@#%ra z2Szg++x`j(9#y#+R{!R(d6VwaMT+A3O z`@-VY)@{rG@$15g$k7h-40Hfrq;4Ef%YqFV6<_Qd3>#S7zFp#c zn4vP0=R9lA{V2bfo2nK0A5U;h>^-dh%F^Yvpk}+N{JV;#({H!Lq-We>dHBH5M=Y>< z$(xjy)$R_57>0u~n24aaI5 z#M52=aN5PZSXWxTb8FM_9Cfjh$x5}F55_Wc-rq`;>XBeC}o};Bkw&ZhIl7IMZm6?q=I3>;1eE zJABsqW&McRHRb6-W$zU?j6)S=euT8}E-k%q;%xoVyB95n##kgsew6@xFlw-=GpmRjWa_Lmon2Mg}I%ci?}4sF3(%e5aCkO zzqYeKr0@ib#w@q>=4(GJUL4?f&JD{6BxBl<-4?iB|(`J^5B zzNTIhI=`dzLA~Bd1Lpw7xaeah4xtw%^^;q|jF=N<1vqR=u$&pIQfl{rIi}%Hq89(e zhHV>lQoWgTCZ-;3XD|ymtN7;p0{7i~h9@GJUG=|qvFzeesF`q&Km5aqKh5WDKl%1$ zo^`kXfAArH?GOHQ&wKw@3)KHCKKt`@%K`Z`H>c&{7cQsx&f8M&U%x`qFe`tlko)T% zfdg0Vw*>z+zk44v?hL~3)7`Gc^JMH@dhhbp<|AR&i=JHZc3(05!E?nGdtY{3y_KKR zX67Rtzbtj;-JNoGe-_C-u2{DDQryhqk~*_WnK`!Erc}sDZ(wBEpX&1j}J+A+?sbkg} z^PM)~9?~v+$TD(84OENva znOUsbHes3$zuv;x`@%eaAAQ)&e$>Or*XVSL$DK(stIm8&Svil7&n}B6dy;&H_u-4_ zTu+bJv)lh{S2vn6|J@1i-}1>?|B_mYMZ;cu6kPP3c4p$zT$__S=BrpctvftTDw>Ub zLR;{gl~1J#J^UH+iV`g%jm0XSMa68+jXmKe^yKu8bJk>Kb8f%OLgQrf_&y$hd$Q65W|Drt_yCaQzVBj+I;$98dDOoB|QJ?JKt2RM=m<|(DRk<`fiDm=ej$?E@iQuVGqyH{LGMC>B+Wn`mJ!a z4>NgHqh_jSF4A!c{?BH%&-G`vZSen-UQ2S~V)BZ1huN+Fc*&gkgubfC`7gDx!U}t| z8&BXrMks?xKH!& z<`r^Y3(J1IKZ9-28$PQDZ<*w%&l38!tFPL#OGob^yjlUI!VyGZ#~g zN$bxP(0)u$S3j3^P6H774;rB;|G=zB=m_lVVmo@6QGAmoQCPclCzpljlET>n9zq+q{`+YtxJ$CM!J1a%JM;4FZ*u?o=MQb~1-i`2Xzl?w4xKj5ny7XFh&lRsXWB&)?}(YL2VcO>==5 zTNc}vmWO_tx{c>W+%DAx+j<4ua)`a;{NG@~Cc~}bFYgF!d-3`rOUBj}!S5F;9;#ma zG@~PS!_s8_7kf%(b@3j$R`H`~MalHT8q(X}c$S^<@P28Mt@WJi^@Gb&ylbnNVm965 zDv?!QcF#fPjGjQ-yp2~AHi=ED*qPBX>RtwM{0xE05b9i%O|NWHz+@KXU`!^))wP$2t=m77AWMmRy zfS)NdS-V7^9lG9T^2Rc0M&HRBL_{VBmx+Rpf|*z<&Dc75gNWi}|0*`Px}I`r#{H9{ zL}e$RuH*u%1L^!a`IU(LWN)ZQPq{RcF5~2hqGFTpi?Z>eT54Y|&6LbI`M;?0OBg z9uPy453$`iKpV|E)iBzPFgL@$I;wNsn0uaMooPi-ZKd&S;uLRjq z(6~Zc8^ypN0a6dgUsWf+FIQ55`5HNYp*mx~`{cS3DPNE?kW+{#+$0c#+k=6@*EPgZ e*VE5UA0E2kP-0~RDG*{1Vwlguz|iXn;sF5cFSUXI