From c0f613f6f6cf318e8668f764c68ae8280a779e3e Mon Sep 17 00:00:00 2001 From: Krzysztof Rudnicki Date: Mon, 9 Dec 2024 22:38:43 +0100 Subject: [PATCH] feat: added przyspieszenie wedlug definicji z wykladu --- report/first_part/main.pdf | Bin 60220 -> 63746 bytes report/first_part/main.tex | 29 ++++++++++++++++++++++++++--- 2 files changed, 26 insertions(+), 3 deletions(-) diff --git a/report/first_part/main.pdf b/report/first_part/main.pdf index 5fb2950d67c9573446e32a5cbddda6dba7a625ea..47303aedf071c0009ded644ed844d10efa368c54 100644 GIT binary patch delta 32816 zcmY(q19T<9mpDAJZQHhO^TnPx6Pq1-;)yYFCdtIM&50*ACpN$Q_S^rS-E&@7S6%n5 z+jVcBs@Jgy5qu3%<4FeaamO*G!@SWqgUZFHV8Yp26HwYsVx9|Va60A<6O9~$vLZ$3_UZ)kuQ zyZ4)m{!QTd?s3<6O=4wGr<$a@i-ekac4aurQ^D!r>hzT4;uJW^J3TRbdf8R_eX5ta zBg6jWc-LC>x3Xd~?e|n(vpd)G?j)rC`4~_8H?(Vz)p7e$Clka z(~I72E<_Gm&EkV-^W~n1{^>;Ja}G>>=rhsIhO{@)NKTkL$za`RF4q#s?l_sD!z}$UYXEJ3;#mikMT;s`2>2tSrzK z)(Vdkay?;8NDW_n&h@CmsKPvey5=v;pXQ&xaLG)*wPh|=z@5B#RF!9Aq1wCE3`IiMT+vKF_t_+b~ft^{N!4% ztTaaTyspVB)(ZpQbG}lwl@96lJ$b_%(jx)$t#DqPJX{>sJ)Oq6#W(*}J5f)z!nB#a zBM>(F@aM<+;wZhwFO3t=c`^6&)4+Vl(Yo5e7|m`QG{5Gfte7+=FdQ5jV`*$Tod zjzJ>I^knh3^qJFH z98f-hA25D_&qU@Y#x z`4`h)N1f4=m4SaV1_jc5n|-3-d_EADQiYiTvcvu<^d=5eZ98%*@9#{EkW zY1-Yz-|jjP8cP8aLHv&wi+XR`BIF({6M$w+)73`?U}`h}O)97WJnO<)x|b-LX(tHsq-eT6o+joU+NZ0<>ruxHiOux)6dj)!r`d$g}6xX~r z5BOnLb1bi@9upJsE0$!`D0hE?Q_burbt;3w9Iv)G_6LP8ol+@vZAxIz9E1LzMFh$k z;v7TOc=@G)T~;wXKiUe%jrcF}_2mFREsye&`Qlvq;)2v^=Tul)iM=63XsSMkhEB#* zx_9mO^Gw9F%ve^cJn^YyQ|b_41cyD^E>ilfe$@K$FxH#5k-3x>={ z>#e3G#%Y=zTh}DtFVrIyP0|AaEPth6_0~3)j;2#)Q=@rhqGO))9tzP>EUHshpQb5LalBVwFzbEWtvxnog9hX75a11?fyH{1hK{?P|8h8r)keJh*=mIpwb%;=^zEXm1Eu zU)oT&mz!)(e*sypm}F&CXkTrUv8O9$+-!GtcKmjJS|wrWDT;d9XZ-wr!gYKU+bi-Q zU8LZdN-vwUamWCa6(UN17(nMUTl9=wr?8*bD(BO@9P`Tw zi9akVU9)Q_gb!!dW|QXeYDNEijARq+ibpxiT3KO(x%1WF-UnvwhC+_SFC31N?M@Nt z_L?(QO~awwW2kVf$zl!h7A;*N-oNTJj=aGq%u)YI;DrJ8Z4<==CN-j{&7|TWMY(0 z1b|@O5=K*|dsFU&DU?w))?`xH zYV62`%LZp4k{gZm;C$tI`sNkmg&mL!$$=-?kq{(vqD=g2lRQ_WC+SmFq=-q+l0n%8 z2i6GvFVx3p1i$Z`L7&r)m1_QE`n9$N5LWdp|4s1HIe~R?q+HbVz0mzwRgm=WSE(%G z;RM*kFFeSL#jt^hDul)><2605ua1Nj@f4;`drOI=e^$;o9;;CnilO&jYUZI2zkWkenrhHY@w75_AH<7N|&w%v(cYwmxZW6f2`5fGIv~$A;SOeTZN2n@aF+O#V02nXFs zV*4oYNcfF5glfP5dYi@k(sdSC-6A{VBuYVZ#T)ow#ed;o7%uP5%b9m#XJuk85=ED# z@`DQK%7iQnCYuDsCdLUQZ+r&!otec-v-4)MGXc*!bJCc;>BD<&Wx=D#X_SU+wktWW0U^Xlz&Uo zT{5~r^n;?*A>B>UdY9`X(ZE*mpS9}K>dU0kK*!;}iY=>d`)jLiMBXPj(f7)v;n|j$ zCGQZ&zEzd}<>{Ys)f7UD75_BSJLbM|5^P-xc&fL#24?X6LR$?GBk^)|>;L zC|+OK1l&t|3NXH9zU7J$VXxqkwAVMy+N?XNDJRSNgru;ahLg&ZH`t@L+`1@vC%MBa zC=a~bA`i60@7eJx)0gXx+ZTDpuVZ;OPu7z{xjV-whv)&1r82|rTf2gQc*XJ6CJJYN zUi{97h)^yw&qLb#O1z`p-hxVQ{H9RA$HnD7%;TlwcJ&!w|3O~opRM5+5rIhK0MY(q z4Hp@wyDLm`NFih4ArwP+8Q86^p+c|jPUR(%rd%1hW%7Who81Q#ph3^>XZ1`gL_3V} z2~;JlU!Rsl)iSH7KEe}l^=eWdvkduqcC{q)@YC5^4fP@p+W-+-#u6%=H^nd2y2o5= z3pXy)zfp*)9=!C%TG$JLx*qzFf(N#>cS8$m@?5qR>NITvKRfP^SxqfzJ#;gLx2N)! zsn*uc_Q{}GyP_qO1L{sf7SLZNq!M~@2JC;Q^qv5)nkpFSNP*lz3wfm zos&?!j`9U#<{32dHodT-Az6EP|4v#+g!@3xXw`+64*BkJ-QAQ21WN=sQ{AT;)h9C+nhc~C zqT1AD>f2AnLA@;e!V~z27$ac`)SKo!PRk?cjC>e=%Sau>R!RZkDDA<36;ESrVZbZ9 z{w9G(z31=xi;mq*o{vlc^0n%@F8O<&i1XdFaiTxYKENiRgN z3i>~j#t6ybf(YG0Q#e6W7wr)0da-^YY*$5Wp$TXtvA{B}7-Gxs%1|EX2H(0zzs(%W z`seW+nQ|XF?d_GoCawG=%M11&3wEp++Cc}IN_=|W&Mh#fB}^4Da{?cU;0kYhk;|H$ zz>S}^6yRJQw@#=j6^G}2BC`DM@vp4v?+j8!@4aBjU!#PTpL2-{=?5?wNc^IyS;0BJ z=8M+LBy-31KO;b<`oZ~ItB)b6~4=K&wN4SpuJUIMKhBk@6a+(xrsL-Xzf1 zerN8qNiK?tKI!GQ904WI(ehfnKjo_5jq7X~lPIhlE$eJ6Lw=NS#}H|SAtBZIni%4L z8p0&Qz?F%hs1iwAz*r>A1}0~-Ib@O114ERnl)roUvx!t0_egDJ&{O1q={ZhGC1 zyHFlM&*^nfmIiYUjwbwZE zO$PK~u)~}^|JeQZeI>`r?)F?%ztEHBFMg-MAMPXV=>{$j&ocX&EDigR4MMw5bca-- zC(J5-r^pKT{bJBRy3bKu>p%XRXTD~s?tmHl+3Gw_{M-Ao)vac$^-q?wrlWP6=3d9Rb|fF) z4g0Hh2*;Ss951_9aSxCg<5?%&zMaZK#KP{a9yxYFMUoknM}8|kK&54dlT?BJpHT}v zk(MdVAZV-xy>&+a2Yf|M{aU%CPFT)@R&lTVnK-2CpTGg;2Cd>A`7?Q&1@KC7mQbzV z-SoHORtwh^($nk}TE zC-HN6sv*{As;{_K!@_yThJ@|Wt%VKwD< zT46><<$4aFBVBEfZN<=3c{#Q|mX8+b$6|R6f)YsKH@=WUxt`6!k*?Z;c!ebJkdAwm zWY{^7CNBif=zV98*CE+W6_N7jPhB{pKdZTGysX9n7{q(npsjKln{3v=!`k=jZk5 zu^xCOPmuXvDk)gnnn&x%vGTF`J}3>{9~t;9Mf4T?8VCT6fd$Cgc00JTl3oePpza6g z*RL>ywz_hzMyFnF?D8fl4pUuF7Jh>{V}*+bL|Tdk$kBEyseXd06k9Rb1LSPm8{Eif ztBj;KlM0&rC55n2N6+8rBxa!H4vEctz9Y5%ODrbro0?a7Z&EuWy$X^}LYma^FX-_F zKQ&+5o?xJhG5QmDnb!KM`4uWiHzg0h(uCEuH@x?{q={B^L8rBlgEn`GVXbfUhySnog_%(E2{bLj#f{UDpi+v6^HRI@e zR$VlQ9LCk~p7r?X^Nko}sAj4NfggdNVDYXLa)v$(QvsWmPFb(pY_r?H&3aI<9g2u| znM%w11xl+Yfh+dz|GpjDtqg)tjB%ee_bMdi*w8@x%!YJ#8?d&vHdxH>ZTE-=-M7lG zw_QuYj7ER1po|dIo%MU>S-)}%7+tt@-tXph0k3b}n2K(s6qoTAK=w0m`G(T{F_g3U z{_@ZbVeY?GEMN#DUf_NJQ$v=X9oZ)O@%omvQB#LY-)XwP`|-V}cOy^Y84vuhtFFiN zPUe-*GW%l;{E%z~_UbU*W!o;s04d@FZwI@(u0=?!?MOm}gVp66z~VbJLRcr6a>X(; zY2lJ^HTHBP^BfW71!jSx@M^BMyMg{0WA2uBJ0yo&uga%!=m$H6gxtXC!$_D3FRdp# z>GzEmsO7W57cMfuaV`2(^K!}WHOJZ2O2FU+NQ&!rn!oD18hoz&>d$&*1#vRh5##6RQ+&j91&EsNyy(30|I}^h2;q(d{isJGG5uJJ za+D*Aa%xzIHI1T2Rw$g6u&gMqHQ6Ul(L-|S_{0gFaBT}HHSu<-9wNQb$DG5R7JMVU zcTACUg>g7kep>1DeLav9ccxD7dGu*XVnGp9A!Q}bvjZ@Kf>0$rr5z9DdClBrB0#@P8P{IH@szNgQbE?Yu76GTmtH3y)P$ESOQlp~X^|8AP|w)4p$( zsG!V_g6#$+)O!!)J@>u!1tZpmFXZ>8qVH$ER!$js~GLK`G*`{Ym`@^j_9FO4IA|#hqbHitVZULP3-yi4m%d4{e+;-u*XE3VBIf=%p z^uuzfCg-WJvIws@QwRi716#qmk_b?~h`Sp(xc5UMnK_$8`?o*}UU^%UzSVxu98y8x zaFCl7IIdkv+W+aXvKmTqAdIdWoAAmc?Js59=xv-RzEYQRQ)%`Quy_EkpA`|aEBMF) zbparzkLPclkT-vr_WQ!NWo+NbiJ7)=H5C}t**9#6C?CX*8}vjptXO!|R2P@&(dd8h zx@(Hsi1zIZ{>RwLgE(!*8vK{JsDT6BEVW%*ym~H82mPCM4{>~TkP+v%<*zLe*Sh+k znZU{}x_EPZ`v;U{u732nyi!ZgmX+s9K%cnj-SnJN!kcx^nfRWlT&lz~0^Vgg-Ei~i z-26gUw|1yRx^nSY<=?|G+>__faDlfk0rlCp-WaentuM6$INWdaYqd5Ft0D?oN0xwF zPA64QFRDd-e<;cRJ6nP@TgPN!Cj{qVho_%j7!1i_C9Bu#fvF16+{7?p(m;v_MfFPm9Yq?&Pu&ot%lVB$q(b0JVJJZUS#; za$}h@^X)c4YtM~F_?P&GQ+;_2&=#W=0VguHPC<$i{2yCyf-~UOudezp2E%iI(Cx+u zkaI6=MWj#l66GeV=voY?6+gHjs%~8;n%GDEA;|E_dJ8d+p7DYxVe*3#6@zE_OPKnu zc0#c21-UmF>sq7`4ZlG~*Fs=+ytWlGJqG(E7ufzqajOnnrwPAAxTP9^^>D(g0q~lA zV8cW6UEmSrdB4uBTYu2vk!6D=IdA_K=iPpfoiK_36Or@(iW?u8twhn;Z}xael!jfS zh_Xo}p7N-hC1fD!CkS@kLt$E&gKD8DizIi#eMSpO)zWpqj#+>%q}2}>-^Y#r8TuTS zRCIFjyvJl6V%*A28;`(IiRiWU$hP3QfO3pPFoTw(5X~|X#hQ1QpcE+qV;ESTdb#GE(1xO zGqX{9%v+4xHeas5;vHk)bWvgIWdDdu?~wIl5J>wb{T5|`kYoc8RBFUv7)KAFBc!e| z!_}4|D!fC(^G6aD0>lrclX800aa}@{Qmz9Sua(j*E`#Q3WG(w@dbyXebfsgGQXoBf zmtUc%;Ak%K{4k^S39;p5aiw!;wC8YKFAcbDd!2J>s_n=}&e#hUGQ2ACF2(&ywFWtADIQ2C zM6s57iADp7P*FA{erb>*MOZHnU9w67QYkLg9BHx{J|aK~-g~~x`4^-JQQ!q`DEo(~ z>*P0GxCFHn7i2=X*!jVgUKJTce#;QAx|SwIF+`G+Vh>&NFh-ePh~m>|QCavGWN5Or z#A637HY5XX{l0pzd+0Z4Z2ZqRuqZwJ%OBe19HQS;_~h`>Rx>MYJ9w-EnbR8Ah<-AlT33ii=E^nIu#Qf<7AeJ&75znC&=B6Jd-lY?_wm>fqpcDq zewIo1NearAB+h6ApN@hL*3g!aIfY2naMZ<0V=V=;LLb?sZlHICFyYLe)X-M-@)Co4 zXARpPg~tY&5f(Mmj;Wywhs4@o7T?hpP)5Ak(sBX)KWQTZk?4D;mO1r6*$^Jqo5t|e zYj=hHw0cC)gM7F{5~Nl)I$XyIWU7@Rnlw`Uq);%?!RD5fH%JP4(KqTf_|${ExU!7F zowYWc6-Uso5FU&j5TisjRC!Lr+a9Boqv1W@#b6!hteF-POdrqxJ+CU~5<~}U9xg|+ z?3@B9#p^qeMwA9$iYj>& z8``1>yOWe;e`=P?g@e$kJGY2c@Kn%VHYRrtSm{PXD;Yx)1WfV&(RWhrQebGi@OAX& zCOn5vO(G}%k;fe=Z0Tf@wsS|vgQiMO(5wJ7(FNNdbdtrNCB)&6LNMt^ia61slP<+J zmf7_{;BqH?E|Gl%#47?FRcnkHDZ+iC#E`97GIk4Sc+gC73D&;{6Tj4UPfh5$w#4<; zCv`X`r%L0>xy{+^4-H9egR7%Xtf{HGpOPriY6*lkZt0Q5T!~gLwzxAex!Z6DnD%TA!Gk zDHfJCKFn~cKQ{#p5A}C!>^1bDwuy$kJdSgXoynx&;X{8x3w&>65TXiWKrD14CAb^Q zeVSq&HF!2_k2=L&jOm|DSO^=_Sc-pg8zk_0(3M%^{g8#co}fxnN{ zMlCd`$h}5@{kumaEx3Z>F^u~j(tU-`qRC#2!+%7CeR1*4k`|C7Cr8vn$6H|5Ll+}z zYawkBJyQJRo4A=Qr;ZgwQ5@3opU|K}gS8(u6u?V@m248{rd;?mA_*1@_^$x}M;R5# zYAt7u`ECt@O!6{*8Kt2^NypBWbHb{#28B8odDif-f46L81&@llIGjC0R`+h&CgF|p?HE%8FQTJT)x zha1IQT9}*p0Dl`K-iQg}_Srx44$ z-W=U8+?12{nhR+T9iJ~i%KBVST*_+8s9KnkER zoMTxk9;WCFQE}3u<*Eh5PRHFZivJm;L$;%c5u$1tYHGjIV=u7uYZBQ&flAbi9@4t8 ze2URytO>O6?Z9WYt1Ms#TcTS=4{M&OXf!~dOp;T>gZ^B();aaY%_T886Z8M5E18=J zgiF@&$)VxDvTB1YxfC-;SQD0`{wvO@*^x8cD%8!qUAzL0owm`WYWqu~Vgs+Om-huP zqeey&tjRgx9k}Ab7S#yLuuIeUZ`)$4 zZSG4)$YJ0@|H1t0|JZrI%J-GLE-7NklTUS5M00p^opl9JT_1!1g~G;A0C z+!RnJl>P$4g?2vjnF9!+CGb>=n9q=bg9=;Ebj&C;QGDq3tRXwySj12>HqFE;9mF#* zrd#%c#Ld2Pe^v?gvVNPMM7tbn+rP%1(=-)8hXUb#H5xn5|i7-26b4WdX4Y;s(yA8 z0~pkA;?bwRQd-dA&q@v@+qwmPg<66Zg3&*%;VXlLQ#EYqYYbYyj6#a^vm!>9z%HAR zdoj9RgxW6y_LC1p}m48R+FoNRt zd9~+ssvsJdsqa7dHL#g&0S>^{`PhalgVwuZvPG5qXq2?)4J#5M_a1I;&b@Li{Tp#| zWe1HTVlc%Rr@*{kHd)$cnbqx#m4(U&1=JQw4^UC5ptc5w#C#){5*?vI%zWF1N_j=)7 ziiK+?^SbOY^V*LuVe-d2L*SJuedVn8`7j6XOtWC2XB^I8uZN#>zzuP3MjjS>%gf7Y zm<=)jML^uPK~ivGTG$_T6X>@UTP8{P=+h@@H2g5)cJ;kSyI@u+!HYL-dGL`q>&xTg zz0Iqi-}`9O6(v628!13=m-1RxYd{bi+gtCoT>GKhv3wM}R6*``w%N*E+2I%E8Tz@$ z_@jGh!4Ar#FbuY#{;qVRRM}u$!sCHC(uf50_a(NGvX#^A?ocuJTUxju+hm9 zno}w${7rXvTqD4+T=LMTQm29VCjMC@z`Hq+1-l?ct+K}^vdb^Jp{I|gQFE&L6 zv5H6UGIvJ60sj`f29ndqL!~>ec2%->@NfHHfuQO3&L+g0;tI!iCuJ)&5uwKqgojeSgkAqZY+7USg75)kZn;`x@~d#S8WPo_5g1(m)yiz{4I6US zw<*-O2&WA>Dpn=!#LADrSX8vDgS^MNYY2dt#X>~@SW&Tv_teW|arDQ3jWiN5VDTMG z!s_?CLv8$nvEkU&z6n#jK?t>0@jY$*Z9B^mNBPnj1W>%+kaYRG@Buf*4BC$|v{USU z{x3|FxcgZ^N1{?k=-BSXYE``3*7y$E>)SPxU*8H30?T$!gl(B|eZ)Kc)(cm_OwP;V z<1v`EcE?WpKEcMfGO&3U12ax74oE-XlJyNsD?5JaHBo7fMlH1LZh>uY9hdz3cDIq2 zsWv>}yf3D$ZACI_Je0~C5yoS@>d=}p$%Kr^`})V1KLb~0@D>i{|9vL$v*&1L3(v`& zh(-l)@Us2yz1EzJafdZ&RH=t2`1e5mw}3A}*kDOtR`4Z5Rso*oQ^%$GtW zut$5yEe*_$jkHL#c(Uf2N0qSOTYq^y*3P|XKW>sZy|%wR*|X;_aQf$ob8!tGQ$fw? z<#Z{t`OMk&jsSDUbEV%y4U~X5F!W0n$z46&sgFDEw^!fHYz`(Wk@c>gO)f64kr?V_ z?seh!_rbqAmESl1evzsCJSVV4nwx!h$?&pKIf)m?KaAj~a&?!tnm6ajV>uRPB3?Ox zC5`;8bw=^hd!Hf1OMdIHU+-gMC5uH87&E#w^#Hdee}KdVAI9aLA$dg7#= zAO#hylO}4ejjyU-rhg9Hy?3ms2U-TrB7?}#?xK_oN#rn}$tIqEVPF>r1gz40hZmfg zTS#nBx_i&q)Y9I>3|7qz+|y*};sMiEJQyF(=cvU3Co42^8yB`Nz`)!k6Z>27g5`Ins5VKk#hzQ8E3 z1!BrUEW>VMr#y*nJg}L$Q`ca656F(iw_BeJ;_#CDBTLWr20kUz#LhTGR}cAwtE#@&fOrfY~iLj*$Sd7 zu96O3u*znFwiI1OHSPJlNd2Mc>3RAU=V;0o?}(pI_tk+v*lXsZq~gd;sBlA;Y}?;w z9OUUsmdAbtBj%|n`q(%Gj(5IzKr>)|EjqRhT}WO__g)08w}Ifu8+ugdm{7I*`gA0O zp7&RwYRYyZGaUkZ(4nDqZ`?!(WbFamNH{lA)+?Cw2GAJ#UnRPYqJd^6gYuyj7e%dH z0kS->_z^&y4LYkz+FY(x)cl7>7-K_^$){A^EbOMmVR~InXLBVUQFAy5KXPJ}mctQo z7(@&QQ-b8Ay}i~@4-MNO)J?i0JSHMXtQLOH{(bh{j61AoxMfZ*a)ps?#e^v?#6DOi z*kw)x$<&%ar_w{NTzPCzc5MkBXNL3?iN#?7iUWJE8oWi z;3xVmA0kL!_{y4=DE4>UZyA3qCVIY*|Dt$qv1nwYD6jBhCuJQ~D<06UU1I&5a4_b; z>INV2N}8T)SCO?7JsBq?rJyWoc_%oK!5EE?q#(?a6RFc2A*w-NkdC9_vA&LnbXJLq zlh6W@=lmR2OE{PqJl`_;V2DQT1@Iq%Y+34$T@ur<>G?BQhXE~XeIyDN!@lhS1c2^_ znYE++$d?cmPth_sgvh^dYbPN+;s~+A>)^H26_*(v@8dtDr3(XZkD+0?O#?4vQaqrz z-AHHPV2=JX>6sdfEaN<5xM#aey9(#V;=LIGyhOk90-nLZ%Ib1I*W~1e2~;rlMAXlP znCJf-dNE9zbqE$kmD+rY_HVF3WZbEu4wtNLDEZ4>KoZERhpsykjq>hqdOj5406x0X z%Hc{Q5KyPfCG*O1(sB1{p4M#at<<*} z&_Pl+z4XsvbG|jvrvoS*f6H9Gx=N6zlINH3_iCUNAI@^WZ*kXjoM=Uh38M+!ECn@B z2@hE7a?|+Wop;&GHL>Hc@l)e%nm;skswD?7Ib)Johx !mF^{d+Ux!rMGqNDul zx~6|eLvvT`2}SOSWx@CIlWY2v_i@)*rIORbf)`MBVdlZ=db|kBCLrA1bXYKZaK)AD zkSF!=_}&D}8G)`w<{TfG=_xuk3D48)1TV6_R-}$csn3!9?lO33_Zg|UrwAap=)47; zogNesZ!AT)9Xg%1O?$;nf+ndeKzhoB+D)JiHz~ZA0=~gf7j6TF#xxZCcWD~-%FYBYdG{;Kf{*}&S+SUye*RT49bd9aCV_u7#OUazM4>g@ZhfZq zMc_bg_(|M3{>I3x*s%9i3nZBVp;g~5dT5!$3XF>TxPuR$`&nM85o&>gmR7!k*2!#f z58b8P=xh|Jr6#PI^c|_C_#Yg8v?Ix%7(s8YXKp*pii%?) zE9&5dA3TZvZ~B^E4{|BlP)7Ble>pz!CBx=6B@84O@nz8;MrnGy>#(rgPNs8DfudF)up&iO&smP z+cs?RkE?;%?VXWWcpTz4Vb$*AKc7RIL`iSuV@g}Q@I}L+Hs}0%D;)czr_sTZ%sfGt zt~W>HQeF>1u8)(N&~X=J6?BT5uoUt!Oxi(WU@ltLQOs@zxk1Vt{x8}ubWKwh3i*5! z&Joe+z@G`%#F*;B+N6Jib>gG2v?O)G-8EBdH}F$};8Ew12rX23%J{zuP4)RGURniU z*ua&G&M3^Pd`CWkgmfP-Qv1y1Wm5Ud-}NvVdh&*Za3AXxRhN!Bg4!&0vdbne-}3XI zf%Qg3r>twf7A0LU2POv#ZYI?~;;9SHD5(n>KOMHMjf!O5HVUxE2i`azeE+IbXNcAt zgwR%N?itHRr!b6BUJZ?bXJS36q9=|M2*iVT-;Ap=7W(Dw9pLu~>TzChHjMkZZ>)>J z?XohL9z8%b(tN4>KlOHU*90^eN3ydlHNeXEzsqeywQ+|KR@9CchWqsLa@GW1$+`r+ z(!{dNCiqbpRA0Ho=vqX+y^B+r$$XfOT~klX&a6mV{bPsVy>aBaA-KQF3^BV-jp*C4 zY0Al*5DTL=U11vc-^rquc@7GX(UO*YUfw;tFkk$CSgMrnGF$wt0lw1>XNip*_%{A_ z+zs_FUIpW&`7+u|7nj`GyQ7O_<#)MO3bGdP4;qx45BgO-^lB3C11>+tK2lsu!$(V~ zL@~?#92}~l2fq1FK3MPVMSCFHm7$wJ!7H^*F*8O<&g*@LZ8Effyhj5E)_5PRU6gkf za>DPOA7L3PA|?_cUgB#U!Uo_m_ThJkoxx*LQFdVXc>+|4Vq0H_MX0x6(Pc4u;axWX z?BQv=qS1lXRKavFfInyGg?!S)5A+xSCc2i0|DU%CoP#r2%zy)6=lj2DGe--~DcJ)5 zUE=RELL)pEI_5`r0W34@{<6E82hN`AOlm!*HA9j8Sq8DqA8Px*29r+*U74Kr9}W39 z#SJ>N#jvm`^9%4XRnZWIb^Yb1CslE6#%^Bxka@SqcS3(!#WIH>s z0CGffgX!?I6_2BF12dETT-|=HidI@(6YxUKbv4^6c^jadl8Ig1I=kXLe>ds;A(!nT zBIcAj8Jh#=xs&{OR<+#vg+#7IS5hz{*-0knuNpHtHmtgaHlv)9VOLd$I5RUnZAua2 zgfFGVN;xQ=Nm(~HvyI;3w=6C57)DAlPy|OACY~r7yqQvRMmx=bF26^Ipp7F>i51Uc zsHdS(FG*Uir_Rj$_(l<BE!fM`I_jOvQAHcm(78!0zBkQK#A zp0h0ejjCze(F(OaQqc^hHm$`9zn5$$Qg{a;&M`AVAVvU{hvr=Gb?DI(-D9IEB3mKa z@#Eh=?b3@3=LenrAW2#HB(a#>&Jj$j@u>h+VVx-SvuVeo! zRVXj<9x*{>oZ>5|AKR7KDVSsZID*z6i%Xj_{uv(YAMM&WH3mA8CGM5}F+Mm`9mM=Q z8?)`F)0f=Y9lTDzZ~DYIF{TpbXeTT~XEIfIt%>@jGN3o0R-7E<42w1Y0tT}xPrX(T zUX@x1I)M%1ow?y=>j(B(AbHlHsCj`~vxR||RcmaLRt!e`89mOX zu@V?D>1dCv6HWSr3c;-+KrgVi=?h=#B|9O{cASB*^^L8l*ac+$@N$+g-Y^dvbOrqU zPYxSQO8u8RAL21Fp63;UE4f)f^FfjMbm!-HH1k*|nu~0|@IxC&42v)Iy1!<)4lFY# z2Qjkzz)4rk@3~XWcWrby>MjQL^2pSeR=wIb9AV}D`ACDW>?Ikq0D3j_cdXHcKPQQs zyn8L3P2kR`BU1kau9%mtPr^T%aB~J`%(wK)uk@PP*b1{vq2OeXzQD>3NX*SDawdm= zJrUbBahE;U!4GHyeNBe3)5q_dQR#Ykzl#?UsPT?^5|tmWz(`U`8j({`AB+L0?O|C)cKV%N?(zuqcBC#r)z5$rvT5wyTD z>#{qWmrsazE$IFmbAm;Qa(Fm$*7QyAX<*^{I!9!{KHe7^JV5mcQxnb_K}mk??DMA% zjfLc_oGozz$6TIeFjT+%TiGeWhzq+H5lXuC*J35>=p?8_nxiT9FT%#$Pc@C1GA53Z z3hb)|@6{Fj5CfKQJ!{g#_f-zBu zJNX==;z0ho65SQ-bF*;e14IXNtKGwpvyLBD+Cbca(Z|@uz+y@4vIPDlN4IVzDtN0J ze?WA2KT{r}!3m*|?>*LKKOaUtiMETMLO)M|bKxZffPasFdq9Ujz+>Yiu_dJt3!Nip z$6Znn{jM^8kHA?kF|wdk;tM2NB^CIx>Y72n#cjuSga^a49?=zTx%X0?jxIL)8sPl= zA;?Vlmowh5A$^_K@pTj>Ah_^fK_ZV0Y){aEwj4}9fwY3K!+HPntrq-YErXaSO@6mx zqWfkepzD}NBGmn{zDJ8MigN9+&30nPpy8?z6QsGg>SJ?cdvbSYBz^3cwYmUrzsEM4 z*r||bb!dm=(aGRpe|9hW*hwLQn^-z%ATD7cQLEJ!q;zRos*ZJsgoXNAfEfFl8MYW6(X&1I>E8e`aXRbN!t@8C$@1 z+GNA#1ht_V2BnD*zT?_IV~=3J{W=g+%y=tRQ7$>puOAxbcOv%Pd^(g7?rJyjT=KkNCdYcZL^n%{tQ7(wP;R0s*L zujBVn{b0YH37@$L0}jEk3(9#2d&2y9=ymY3+gcwFdy6wHzd$C1eIgmDz?wTbe$mP6 z&>xr7EdulM!`tg2c@XzeDZWErNbmYLz}*X3ApO4kI=NuUA*n_%*agT8`q%nRTxn>! zSC?vHyc_B;uzCs4WQs__nUx#rupL!il)i$g54FjUMEr7pvGxN&{0cL)5J&Ap%7K%> z{YF^XSLnxn{X-2(EehlN?lZ~^p&&l7IEw1GK>PiF-T_DKNHl$Uo_YAKE?qaYKmrT# z=&GoMk$W_&(8F=gkEdE#jkr=8UMZp2KcQ+(it~bEIYFKGngLcD zA0;+F)a()!BlO|r)Xij(7w_{sU>Pz0XQy~X8 zUHHx1V`tv5BEPjF7mHQWte3h{pe75Qc$?aiyN9mYoT1<*TaWanYY6G zs{YpHfnZtCm}$Pcq7+C?A{&O%oQY*^9vu5ziTYv~4aA9~21|EC0~ZR$gC!0q zK1tiL@vdshx278raP~%u6kQ&-(V=3uH9}vsoF?J8w;GiY&k$YDh?~btwNtK2~(I`IJMHWHQXeOj&njz8c=;W+SaS!KNcO%z3@p)^nK# zPwkxC;Bj%Bj>GEV$aMw310F$#o6hQZ;li*H!Ea0u@36}OoC?TKU%&o66*@R^ap!A~ zFBpETf@skoSgE|FFJrgHJRLZBMQkdnO;99elXx$u37XK1NBqOO=-+r_rjgf=g2-pU zpMDpj)A`^uU1|#*^!mz} zxlWuM6E|uxuT{C6`a+lxRyS41*{~YYyM$cW`g(BnzDrZ11+1gm_E2ioy=2T*6!QFb zx_-Nsy?NSWQA_x~3xd6gxerFKtBl6r=Gc%8IGD4>Q9j*B8tK{vhhMgdAd)QV3*H-1$xqa#k9Uvd7 zUw@~Mc3)SYFO6G1GMH9WT1Jd}Nl4s~{xoV#-&B5s@Q@_8kblHqJsm+W4tExCVLyM{ zGMqlJY8W-g6vgqkRAs{2lZv|F)bj&pf)zviKNbDw_ffAh6~NBT@qa#$5)|x0Sy6{C zo-ke4)T3Ff+eyVikoo^#Veb^5NzkotPm+lzwr$&<*tTsOPpnBMcw$X#+qP}nHov^@ z{vYgp^z~tP|LR~>cU7&c?t9f*lB=%Qf=PWqS}-QU+eLcVc}|##A4{tGr{cn5#WqAP z1D$0U1UY@mpsHOOaTKSsP&_JTk=fI`Y_d>XF*n?)u?Ax9Rpa?qRm{RkM!x(UdQc^ez#sAm_r&4Td`+9Ic9D)9^1j~xvjPqXgh-9O1o`Ih7 zSARaGPaA3ZZ?ZmBIMi?0Ke3 z7|5!q$@nRU8@4*WVCK5LIx9L6#Mc z&g-#4?+})Y5Jk;oI5=wCxa0*^a82!4(T?ddG*{$`7PE7t>(U)|^rDC9qDGOYYkIUh zZyICcvLAuWoFkXwdQSlJbqN8X^o6%>jQV5LCgP-k!UWm2F#OAK#=B%qr!Y51hhKr6 z)369u;qVfCv8z)OOg+CB*1&`~L*-o{+Md~`u}+=btB}C6H5I1ilVxDli@n^m3AQiy zdQj57Y$7NQ-k6}BVvh+|*nW0N&9{2+Y*$Wp8^S#kA>Mwp97>mhX?+{)9$mF$m{eVH z1Ajcg{B*plNdz5jQzhX$-uH@6Qq|o@7pMGcQpCG3>yW5UsooLza&FJ zc8~eE^0N#1O;ynJkxvxM_KFs;+NJbR6&c6{_#PM@(+Yn7zX9S#ivsX}wkvfNWaYng z4jo78&z!*uU5KmsrO0P0#nV43Z~~3fn#qu5^H}-rw}3IVU}2n7kKT6FuEKP%=7V+qX(oO55(BwPtW1$B5zuu{?gy+MM+LUp z`~phrPysUykpcQL%I271T_V!nl!@wP}0Q@kYiEUcOPa<;-GbG;%BW6Q^t$X?)qG zDkr6?;(%orTdpB9nlY8~r+rL@*?Lnn)eNa2Gs~D_mjfupKnZFXs$i%WBIx*BLDXP9 zA)L5hFE4~J(25|ff-eei^H2OdzJ=gD?Nt6TBuSqbTBxH%5P6Pg)(N^-D(684kt!b8K^Am9vj0tUq5j zk-iBL3OO9h1~q!fYm>Gkc+*w2x&OWD)MbIT(>Tw3{)3-cN89sDmXn!ePS8vLL8_0H zH-N?g#qTuhRR6QU`bTGQ`jAazR!}u8^EQAloaJzOL3-LC=4&wGo zgW!sSwl}zQGh-7o_A&Aeq7S5c*zp6sW84VlM6vX5<0R2$j~k*W$)?u%T?^%@;&q;H z%dhs!oTzN2!DY#he***~uU=DaujNZcRkA$_cxcjD6H%X@rHRE)mX4#!{UAUb zRwoT~(BAawf3%>Ul>0}x3ticbD$PZV&4dN9g|ur?38R|kV%f;!^V%HdPP?8pca z^|;#;pW1f-T)nfu1>UX3I3#!CZ~*Xn$S>sSu#0hcjq4Ct7`^7T7X189{~kDJLms6! zj_zzY735TwCs>c!RWNa+=47#F1Wu)VVecAXd<9VKu1|qxX~HJ1WY?vYK-RU)2p%rN zawKlo@$iD%jULU-kWm}{kHYBjf@#;uPnP$_ND=%IN&x$td$}GW;?1P z%`)la5^+%#q<-YuQ*dh6_3lKM;S=yanQ~$iiF4L_qNJG3ykbx!pc}=T3em67G7UH` z;)%?SAVEj({j$(B`$_io5-mkg(m>lY2? zHeh{4{fR*^#0S@ix#tr)E)2SfP#)_Mqe^qp)cXQfQs-9l-_;f?%YOkg)A#kiqaz#d zZKG_8IXI;${lY$a-D`w$kbyD}RT~w7jfsfNoEPqv?1WRzILdi0wp7WdtuEH&YJS00 zWPhc*1gpIPp$*<>b3BMnk4=9{KrMt$mSVAwV4OP>jQ9bclxxXB1DVvL1aCyUzuLM}*; z0T3Sl6Te@4BkuWW>-*QRtz&y|s~gB*m(P?T^Hu45hZ;N(;3qwxe$f-!%AXQ|J8nGm zYj^bh8K>t|d*=y4$A3#D-xp?6R~xUwoI6tdUWbSsm)4d-n}B5)K> z(>i z_)dvly}!m)pQ7Cu{ULedrOy*Gr2Nt9AO&*F4DMx!eVtDG%@M_z_@|{^1NPBzGZ*OA zNaIV>f=S2GK}kg}W5KtXCZ`dBGFkgeh8=K|O| zjvun{4XSh1b14h;S7$aV?JmT9;CC#o8Zv6V~2B<({)NE}te9BQ`q=L-0ElUegO0L?M9FQ=fcR39g&jMz%qYIpl#62HTd0%Sz`F zV1_<+^4bEy{#(yn7@4H|W}Wc5dD@JU({pw81g_w>7OR7Ob~ThlB>QM!!<1O0_m#!Y zkvnl`nVd1vR!535Z*{YA005gBf|U5rzyn-zpaA~0L;_fS=e-?AG>6RvsK)RYqM)KR z&DCqQtzr1a%&UU3!cmZ4o#dnV-+mYt&#RkF6H{e2G05T0_Cz`e%z8z9^EQu&>AhmO z5iCl&KBfX{iX90xz2LS;Xb!if410p9gMyFAld+DnJ9P!l^H@7qsPmNcQr#neWn&0f zQK28TYu1IFkX^kex-0nqb}#2>?pLE6T9a*8>;E`+apph^LLW)eZ}CZ%Ik*YuVwn9_ zQW(uCww9YN1^{f#?}OfvJ_VVRSUMkU&ZsIjk*@@Qhon3psnT!SuUOUMw9=h}tqkyk*IgD6knuqADCGj0$JPjcZ zYw3Vkyn=(l-96dOm;BKiNJU?pkN>@u4D1+(1ZCy=&(s9OvBQLXaBy>raG9^;wj&4m z`NCo9|KCr@FOVF-%=v#o%8a!2cc%1XyA2TX7cVd0lhvB&=c@)$wOyVi0#9pWJQnsE z=Sa?%-(OX)6e9M2bl{qQ-4;4$t^AMIuoU-xM9!s^uv`e+~fZDuNu#O9WcRgB$5%-9~wC2{wJ1K=i+e%f(^m_!j63go4%12gnN$lN;L$s(Q=5eglr2Z$Jq_q-yLI-eBXe<~N@&M~3x}NkPpBj#e z%vMse_)>95jX49vIgPf>5txV-_H>Ft9{DU#qjpB^8lcNkzr>lEVO`{s;PeP(O-xsHlqQ7e}70DdAE z`hjQjUu8#OXBZAP#lgWikwzSG{G9l&Nv^#5LbR@ihn;rJJ}ha^%S2iU$!TID zI!PKOsnu9DAqM4rn(vrMXwPa-#{=Djs9?3oa+XV|^&77q^Hz4vE}oyS$#N<>!QeA{ zhpMn_ebiC_4kwWv|1UiM5ifB5--Tkl?4NJ(Lg>|JByJn+z*RmtQmdBG@@4Wx0Y_OL z%{*nvcj{er2*+n5xFczH=*xn|Gcu>+hEmrxuYkr{QwVIxU2{-JtATCEtk;QI&}GA# z{VHV;ACrSWcvgJuKj#%NKe}3a>NAWDIx7bhcjyD88~E{9lIzm2e-aRoFikmRp~tNK z_N7k`5RDs1;VW`&lH^;qQb)k>(tPAsl`RF*X=la@U!guZwkydy8T~~YYR!OkUr?B{ zrKM3Suo;QW@Eo8WJw($cJp&wd#?(tIe={R?cR?#rrjb0spUe8sGeyDhjlf zG|KuJ^_r^jwPm7>9--^kxwBqbo6_C$amgY|P|LUi#R=E*x6VZK^$qMNOdIyw^ zB@T%cz{2u>MMkrV*5BRpW7{1diq9j)RHLen*t3d`d)B!42$?@}5{xY}ANKiXNq?UM z62j2JVovX;cMh}gtN)8FlhTk-H7`G)6DRtIQ&6iSK5V#6|F+3i?!oHa9m&#GJNT~o z+xfkx*B5tITM~^}vU%|k4}fFr?4X;NIH&h`Oau%%BG|tASA0Yw_4BSgV9aDrjrZLsE-hD0r8} z=D<^~^X01{HAL1VL6L}*ll5*GQ>+u|LIS}w%|ku9^uVqX4ReFA;?D;mih63HYQ>R8#p>$nrkXXy z!Tf4mp7mbxoOhT1R7DYA)6o#0fL&J9Tl%72U)yE_aV{+_Wt;@-r0*PHaoAxiJo#`+ z7Y*yszH^^k2C0zPT5g*%00TNwF|b1;#UMak`_EQGBctd}7S(L3GHouIGL=+5zPaDm zA^1-51M98rt&=t6T?j)t9+ej=SuSl!O+r+>@|FT&ZWdnctiUXTK?gwaw~d6&uFsL@ z9eU;8D5)rDXqdmMrPGKZ_Q737L3KvJIwNNj-WKfK z6eO&iYgnj9I9Qe65Y+9U?P!jr{+Nlxl;q6xQfzaYJ7~DMO8w%4!PLX%GJ+cZRn*=3 zNEkZ=hmrZfzl%XposXzdOZ|U{I@s6%=9w{)mzxQXhEoWW z1)0SUklC3f4~+CUmL47^^qe=As`T1coGYAdgv*H;nZ>@_Ji|dQbovy}{G4KlQ3FVOi5pEWbf8pr_mZu#HHzB+jN-}1Q>RJR zhRh#vKwiz2ZK?R7Zozy1R;67-&mT< z!GhoIDZ|I$rpSZHT&vK>#>=D%wY{MFesXE+)&tsyT>GpGJLd3O#=`$$_TQQQ#t1>5 zyU8Wd7~_PY`!mY3grN&u;o~*ChhL*m_4$UqzikJgF(^m@elbe;`IicF3ilI#)+m!Z zuNztL>y1O!APozd)TY!?*y{hu6IjN#WJfd;JeAy_{y ziLdYS3nW;+UWg3W*zW^otr)gJYjtZO5f{1e)es!j$gn-X|Dah?e)y}Ur}dGUh*mfo z*6;;#nbRNj{Z7&F(F6w7V@D@VjY)H1l05On&8uuVKCkP_VA%FmTGx;j-Xw(4UlX^_ zLnIAkX!<8wEyKfq>n!AdX-3zU?O=2~id{Sb5UgOhmz1#X7-0! zsAvDc0{{s7>(x?uQGsZRC5kK7)=9PD&(jb)uskFkRIskMfr2c9NA(d;)2@!*+B%xN z6P6%q+b3HLfg>MBr@u1a;nOs4`U5RD&(AWE`*&}kQrxF<1WtIK|JWw~!CtreG*Yw+5~ku(lO{yXZiN%1{&gu4O-nsSPio=skr+c)v*xhvV5{7W!8 z%Y12{aM~@RJ1m02H9)341`(YKo(j_gpz@j^#nLnR%IY|G>rpK<_@ibT^(d1t?T$>( z$^*1(-O;wdDmrIXQ@zcd^`=4R3aYa$(eSlL*7Dst5Ez=>d&+d*-~<9q(hM0l(TnR4 zp@EodtU{1&rUrHU(!8$!L0D0(q~x45(uLKN^nO- zPPlOI?6v|n?DIWqwS7me-ELaTd3EvABWHmgK524-mg1u>FQ#NVrlM~rQ!5~>Pl*c_ z-1r#BdY)9l=BO%LJM?^0_lg%Y69GGKDDHIcCQMN~m;*2le)nuqN4DYg`C^9h?ZZ(R z1%$}36K;c=guW&jWaatk^&w1v2y7R|#J(7rD(M6V80i`b$uq4^@r(0_tGL3{A-`(r z&^T1Yc7~c4rUfW|v7SW>Z}9USN<{mtekc(RLP@iHHfnGf)0(iq=O$MYWs3WqnDk`) zv>VAA+Htcfsm;)uP7hg{e>pUwXtXr|zFD?gL?Mps zKu)^>s}avB*Jv8ejEKw{5_r^~O?wo|TVRaVjgMopu9l@(y_8g5q=Yx=g95hdH$zU;Z+Hsg8;|N3bDDD#}| zlf9@OgtZ*sVMHVboP9laY=%G1Gj|rW)>Mm`rzQiF(}~s9$#MC#G}Whe{55MghFyt< z5)@!(ChE**CK$SYSGIXpGe!f!A?T`=BQ!x0Ib&%-U6t zJE(@XWFf z>yyorDY7id*VcysFb0IZLGM1C&EFH}HDwZW!z@5I7y!^UtRDP12WfG}cYRuN z+lFM*6mb)4(~(D`1N!eAL@GkIPmIiP{tfqCD4SP)$?ii7r6?W8MD|mDXCoI;fkJW* z9yO=Z2DN>R-7*1k9?Yf_+52Kgm)>)#vDrSt$`>&28r=kNe-?5hreXhRP{38jc+g81 z=nJ{4=!gAJCssRFEkZxETGHSRm|vdTeorp#!_AEkUOST|fiXsN5;@pDzJ9I~9Xf7HL=(v(c|Dd|fA10B5{ALrX{{H# zs2#z|_g)Ps3=!`OP5Q-Llnq?=2ro)a@8URpGts?!>k|u7?koF!y~|}7oByxK)J@EL zXU3QWK4$?-BC}_Yc1|*bEF)pwJa&r~o=Cz&7rSUd?8qst-@}#|N7|rfM_}Ub^+@$` zjY|RqTJdwZux+Ov{r%D0w22q7B#%mhUf&{WVj=-xH^me9G-GOil8qNTx=}zlr{5|UL`hwpTjKPrc_u{%gpye8w_Vd=e`k>l1)drgQ zL_hQbF{)FV*;&p~xW0Q6ax-ka)-85u-0;YFKx@Mk78xk(G zGmBW`8a#3$I?^V)UvQJ-q`vWD9}m9^fqQ@%{QN`*4a@#`hMB6A2Vx z9)_pxZLdQ8aMa7m;+XF6siN;n;eAmHne|)l6P}{vA32Jw0+>+`jQJ=`9DPnwAG$$K zFk7`4JkM6Jr~wFaWiGKmmx5kgq!Tl%1m1)pq)eNkd%N7<4SOSwlu){s<~(kdLHtrd zw5h91cEV7eY+yheP4kYW!N^G-8)YV7LQ=G(MM61QA{JL0^9H+J?5}%g0EQtf?T(Ui z!>W#_6*#v_smOykv@*mi#0bsV{-FfHp%c83L^Ijh=GNg=m%#Yc6yoBFrN!By4SgZ@ zycnmczgyl#b%|JzFUvBEs|W$yuoW|`5^}vJm6n~kTncymMvAL1A#mz)>=hB93?Xf> z2G_J1|HXKLzuBKkIy$68zHFlszYaMe_OZs2mleq5vUD?V!MBASxVt#AMAWs3`1b^^ z(?Pw=98lVg%DQSh@N>7Cud4n-Q!w9aG>u_wGN$inh#p!$cH^N6LUWQ3D|h>|ier*KV1 z6M93#E*MXDdzGx!iGcU=X&nPL8Jgt9Y|fX~YWI4cedL$#W`&ez)y{36xc+4?${Cj{ z$n0XxLveNhBtk1Z8o~JJT%ozcCQ^6~mP0f$HitU7v1uI1%-ZC-I8s1031lqDvPJyoaC>jO^zV&&NmbZ&G zs($ICj<;u~nIXYOko^kAh6k;(;yno5W+HSmPzD|X+wiJ`ce!9xTbjCcjZd!^&zFWO zMZWMqi-X6_3Gc|lzM%tv4EEe&8Y@c z=$)?#5Ml8H9x5eV`B1pCV%JekAJD%$`4}6+JV`ZrJT(7Z!F&07{9Zmg_5y>X=z+$qoV-qDBAIdm2nen4G|O56I35?niWvNck+e3UahJ2&AyK?mZJ`r(6d6wum)(0Q zZzr;PEQPt6M>eB8!*$bIs?xrk4p3e$7Oo8NwP_zT8td-5XOe)f<~XzR=hTO--geo< zkJkIx_*re~sL3-#Gig6$OWF0(%WB3aMKoJ(^NC%8c^JR}u&f*A2(?2AUcNoh1e+RK z3yaiOe=TnIQp(Xfk&rs+1#C!EZ)fH4-vu=|HF{K2)~!)>gGaVOQ2O(Apb}rC?&dY| zA?N7onDs>=HP4C3nE1s&cc<*`{b(R*2Hrf7lg3v$&D(AaM6|s>R48C1o9jZq{gXvdtR3Cn#sr&#K+U zO<+ev{mucgL6$D~1;cl@wGEy>O>c;JLA1yKA7(S_3ZytY0WLG`x72XyGJm;BMv%Bl zfKSCDx=Xb!CB>A{O9xGAF2iu8uh)!;+$KwwTLN3YXMJgUb)JbP7acL}Q5_6$JX%5qtWCXf^ zA3W%V60-1xAd+U(qZ6@1=p=j;^OCj>JXRQkh+ZVLXt0~t5G%|4ER!f}wRic`)DmRB z$y$j$b-AUsuNh31&`g%XL|^9!&90;!(<72h@`+@VcsmnW}(Cw z<=O%-J6&VG^29dk_~$9CmeK9s%CQD?-k#j^QapJ=#5Ao9R93BaQrH}bjSO4t}TFgy^7-z@^cE~eK5?|j~&70<_8?A3IF;mRyRp2IYYPc z-Z{`istz)GR$3Z5@9YEtkq z(<`XnMo4_eJ@PPfV!1JZ`1)c(81(v={g&s=^d--%XHbz@sD%0u`4WR5zcvrklZX0< zPgNG{q=v2+x0o0AfSHFDK3I>skAb>>b}Jn@X0NUNgql^snNLGUKb?pUuN8y#$!l1w z__$R{!CLZPn9lwmr7MuQ7L~a4-f>U3kk43e*5OIj)KyfV_zfeITfiYeIavO)H3sbKVgcp&A4bXC4g6-5 z|Gj%Q&i+4;vQB3r00xBfKl>cOpUcX>*crquot#|=nV6Y5fkG2F-^VWeUvuJwwzl)y zAeQe{RkwDC+3)j@*&7eBBx3CdT%P#3WwRGS>DX~9(OS~|)sF|hEqV!h34df1>%tkv zw&gK*uC0{;Jp()DB*$dO36>t_9a(bC!i35E@n3hTtf{8-K>oVTTw>=*lTot_NnW!I zSRlYMe0$X#drJ6LMkH&Wmj$#$oSNug$v9^IqL9I0G+L^t_nA#7@g?r4?_h^xDoQmt zc8;V&AqzrZ^HZvNYHXCbp1H8%X&knEqls`>)I=~-HT-JGg9(NS7wbN*ZTmrLp!}}| z2MuO27P?riOv_Zs)2bcr@=4a%ZHp>fazlVD#8-YSw{tOu!cH-6AX;~v!zyDw1l7J2 z!nF!{;&iHzH#pHTapE1;I}lr;Pp2dYmpb2#8Vvs!{^i&_0c28wPN}}G8kSRvM)z=L z5>%)-_HRTK@geE!91EgYLVn-ZcKkhPw&Jw`>Tk)INpwSFP{-dXSQ#$&natyXh97n|xbY&W{0%b%+xH=;Duf6>pHEl<9C8*yby|10jaMmpf7grw?<0Aab-m#>ZE!ixuxKT59KQH|ir zFvS=+aZ$>7Pgq9FB6~(rG|S8+WiGm;?J{ z+boZ23T}-WwPlA62E~A*;e)qT@7^``H|%We&tOZgRjb$1HXA8rxHX`fnC(i5QyxKV zW%{gbn@c868`;MGpe@?!`ZJ_T>$?HOW?{Rvnsz7I;t@M?@ulS&6zb`3I=-F~`X(*12;{lk-v?P7WT)$Y z%pyiQ)&pEb{KAu9K`pMtB4UK@tdcXSHaiF8(!J;EM-Th}V0iz$mn!m_2HU{x=4U_2 z;vlOnNq|Yi8E&j}*p~toX+POcoJ-4A{<^6P`Dn>#J-9KIup^X+RhR7)IT}~nvu4|_ zB{^iyk^hZM-mrvh=FzeiCEDk|M_9W~Sxvch2_DG7)m~oiIcwd3S?Y|sdVeC|H*>`M zL-%iBlskPL5Hl3C=tb{^IImfiaaMx&pi%KuU2|NCk&>Y5&bL%+zVxwR#@86b*B*c7 zRkNTk%&)%jQImKYusY_|cF}cenAlamrDQK-U*uLTcTsHKY3}3RaZO&+S%CjW+*qb} zmbIx^;eouKl1dGE{#TqqAaCT<}+*6EJDI)>w6D-g$>J}XdNoqDsF0fqiJmGnngI4 z-^ZEB>!XPlUHU6jReubsQuNIq7#^zgJJ+@EfOBJFN^- z2JKaQxTAx77;(@1PmJ^C-Wr247_wXo92M7aG&-ZL$uWkVWu}=O?sbD$d9PTG`0*hY zr8ABPwynJqrQ~Cza*-I*j0DZVGZdi)=}wC{fIiQGvT3`>3N!isvMOHkDpwq*O!w-& z=AyyY{LOq@R6?eh7-EuGq}=c0en;61NJYgB7|&9LOL*7oRhCKt(JK;blq=WKLu@AP zWSYTgq?sGePlZVJ9rbD7A?iX#FB~{{CUJ|WvrtQ&|s-9ugbvJ zK;qVd`#u!F7%&uMQ`8Gw@)fx@axFXAL}$~WGh9@X@U;MydyICJ(2a$ugsf|hR+D0Q zjXwby%?%I^cDn6*j8Ge`3kXJxd8Q5tEk?xpIL^{FjMU+y!AS3xG!{m4T@>`U`{aWa zu-2g@{|X?{#XxbF@GoQlpiC#E2rp%^UV?K~y}F2BHA8b2TO=6!TK7xQm;3_7E86OA zF`!IClv4|yZ3TZf?VcY<)XxRH(sA5YLBKyst zVLQ8RY+(p&$eiL{2CdwKNhcxa@qJ;;Jz3z(;q%qVizCCq+e2}4GbYU0%J0QiG11)| zm~N@TyYUx&0r0-oGxKn-oQh$8OcOk_|G0gQO_QzoKo?fHVxzM;6Bs@dNN_7ZII5xe+GPPV-q=^#d65dd-kD+w>JEN|qZd0fMh8-J6Y z8LVZi`pYvkWYnaU@?XsXAdT(QTklP5EYt42c;LiBXSPK_=L<2{R8+sNp}7NQj%3fd zIr!sR^=5D1$}3s{RZ{ckxfc{kVSQ}$+4AnjebWe3g>-q}J3Y(liqrkxN!gRV+G2Q- z$)7cYKLEoRlRuIxxmJys8wP*A4~oOF>45^%)_9hq^l7>0TbYf}A4T6X__O0(T_FA0 zY2&DE6K4Zx^m%vi@^Q(~xHIDJ^aCyJ=Xp(_KAlnkuiB)qG$_e%8o=I-EFzNKsv3c> zgd%A+%M5npftrIi>_sO@x0(5FOZB-^rR3@Z8=&JETiZUv8_Gb~4y7+WsC($6hzG!* zths`L-Df^Q7b9&cK`zQV6 zgBOJJ=4Ix2@!uQWjj9ot{sk~1kmASJS;xxijI7F1c%+Zf-`x^0Lc9 z0v<=USt=N)Y{Gq>DbQTXY<*Gqw?Op+wN6L;#(J8HlCSvNHRw6UQ7-XzhX5ym(;une zM1ogZ2-u0+r7eTSkAKm#AKR{20d3pT7(tCKnD^ea5Ip@?ZMacIZ_x+YpJ3Wy|2ABJ8{ESQ!pT)?b`@1>2nQmm1J~F~71H+=i17lY_P_~KVb#$yB)g1{ zy4}xleJFIf5oMNcRfjiB4mkanCM6ZkUOt*#ikkJD`YJ`rXxmAd;ecIoWDK;&m% zYC|AtaU%|2{nzi~WN9JkNwTHZ)BoUe9YpOYCs>XD0H$LD{KJ@c-~t8Lz;!#hw&45e zBTu(gau=!E;*#zLACAx{cHoCjT06a4LQ3=c#BI3UaQz=wy<#e$m~P$URa>G)$( z`rj!)wPiy^5)l{?!SC)6>x3{j|5VS$rOrmC7eQMOwQ7ckbC4b_x{z01F)Yz)R1rV1 zW|NNInk&ROdFoICnj>N$h-bdz?D80R{-T!AEQG3efh2 zBq@gZWVwwk=c~1OEZLu-TA)XZQHhO^NzjI#`b1n+qS*2v(d)h*vZD5jjfaCeZO;l-*f)xneM8( zs;3Ln(>*gm*AU%H5DlJW01q3NurR!_d zRv~9?st$jhy^J0cJ0lGN$Wi77t^Vpu+%O?RC^!^szW%W4f z{l2!GtSW}VJ4w79Dvx~P%6Ft*{E?CGUwUt$bm2Kz?La`x(^-6vhp`p-5Y)G(kND=> zQrRnUb&_+;*PN#WJpaW%hCf?JQbJyIs09pRjA)9__P$Ck0R}k?sVBdgAM(bnaxILa6V<FIfd-h?~8S>FLg^t z7KNa>E}0Crdz1jN?UvBqMOIK{%fo4<510OfIdD%AW^@J+6>iRj{r(3%HFtY4Yb$u~ zgMF$KzCSO32uApO$>uO%g|$>72g&O@4kV6^%P8U?znX*I@|P4g#TNE0%C zkb~So9xX&69^dU|9T$5ayUsZTp3khCJSr=YI4*mrL{)@4&gWJMR1vy; z)in*Iq4tt{_G#v+&;YlZB3y|6_luc_sK3b1$nM#Km#Um)n9lRT_E-&5v$G|uo7S=7 zjeg&6+%H*e=uJj^1o{>;wtt8XR=N9(3^Qa&glE0 zVI8<4gx9#|?5EYTRMY=wbFgaav0?lSu6!j^2%(RqdTNa2qjdVa!NlO-Yg=dG8nTA6 z4@SV)Uw|Xh62y;#u@xEbp+h)fLdOA&Vei;Q*vb-56!=jyMSdFzo>?(Yp9^cnvp;`} z#0Zn@Y;K{lj6^6dL$FvoZ25Cwq&M3P6?lp`W0>nQuB(Iok{BRIM4ucl9;;y+lZa4S zhEVt`lxxW?UHl270wmC|zJ~i2N?$Dj7l?KfrG!&8u4Dm`8qcvFxG_|Bq8tI7#xc^; zL1)(unfE-qWsKjB{=25MDvLyi;EFULQ#$G}b3>;tKB<(0w}nqD*Z$$ee;v5Ka4T78Ne>-Flnwz{#ROH+$?twNWJKt zxa^pS(72}iBZz0o9^pq;+!+Q~H;ZJ)NI&MV%~d;egyW-AnYIQWLhr9?|ZgZSEkQ)JM76{eO4$5P^_ z^-m5O0$>iN#bI~4f*IdLNNGyIcyz^+eEP;oI%n2&>55x-+R`ehslg&%Fva&|$P zwjY-Z6wVUKp{z5MXCX%gBPDI4^c$Ammc2YG>qs6*i z?3eGB(!Y~GAv*8L{;P4GdVcQD7DeuW^5u*L>4^Ydm&I_IwyafC{H5_IZV5?w-&ABd z{1C{CgMtXeYS$6vYF7*_|7TcSKRP*~lzo1TzT>+s;K0)!X%`fe^uG_GIWr6PPm&w( zSf&+7V}ZX#!VkP^O68hn$7SSCF|sMK9sN^1&PHyT)M3Rn-k<*QbIMg(#c(DLl_S`(k!_+Ze$ z*Sx@Lld*daD#d22<@3H8AqGt?XT0=E&l=s~ySh=2=6h32mkP)n6i=NWG2|2@2EHpo z2QpjyY`mreEH)r=#b;LY$4KWx5jO}1NnYSjV!l9sXhIkG3)4_+8%Yp>U|r;f`8uiP zR%8}5l8=||9!)J1Ei#Za%a5zeKIfZA~Yfja*j)ZWJqr$N!i#6v@ zTz-AIR@W_`y@AXaBVALm(41bwPj?h#BwdU7lJ-Rdz!U9~{HZ?OW3=)aYU!Feg#=pm zL#yPUJ{fcGeOfhZY50sZp%$s&>t~TPTZSc zY3C|yd0P^>d&;*nAkR!iJu5HM z3j{!~Om9|V^qhKq?>+_@v)=pOA*_v&DFk%Llo)n~u+Q662?cQv=bASlW=x1~lp^}k zc_hz-w0T+WmScWWwn`BNRUfWJ->@%pz$XI{@E{&3p#3^R=Y=%_Ym(r@ShStv9Ow5c z(6aKfa9cWm#^d+ESI;lY#2P(FeeFx^0LY1n8Ywe;DfdDZuAGkJr0jh#CD?V)CoNE~ z#GwnqWa8@WEOj2~;11a%9v7^22;bZ}BfO-+sQW_^NsTH*_e3hu4WWW{q_7Z;>-Gq@ zQHK&K{u9ssEm0(VTG4J0Uh6pVP3QoW&@-lY!ar7)?rVCKaNr?R28$eNp6JhK{#`Yn z#x?nk<6kRX9qA_gLuJvt1UN$}Mqh?F;C0YT2!2k$joGbEJrHlefiTIAl}zF5w{>I6 z%BhWNJ9Ecxl#4orf!n%zqU$4+%OsrMJ3D40d{QuS5=;09e=;y0oV@ACe+%*KlH!x* zsPE#?A_P51#Er@e{Tyc0!HtJHw&^toK%T^ zIHEA?4e z@|7G$@()JpWTrS2;M{N`j*7=+^M&ExypbmV6Lp{%3*rj6<#O5=mS0T?dTEwy7NSj8 z7Xm?)X>V0-O;=IwnBP=Knyt}|ZHNjU`VPT;`mF=H>B7KiE zK-obt*MnCS7h$dR>m^J4^x4pecZk-)K0pjRC_*y)@p0`1bPj9)w=@2J`V{s4*M6^8 zSLGsuBq9UheSyG1Du@01CIgax_lK3h)w-uOi7zh%=E;4o5k{^!XWPuv-@EPrltiJ%|GQ z0CQLkvE^4jB=$Ew39}t4H(*2S?aMDGcn7xU7cV01^>) zBc#Ukr{cop{hG0v+dzirHV-udhSL$2rrRD z_>bLJ!L;_U#o6qFxCpTKI0kBMS3Yt4PAcEpajY{M$_B8Vq6AE)JkEiNy0za(znxx$ z%hsw%R~i-)6*7Lod}=f!D=`@%?$1Ix`^w*=bSsM0Ms+L?DOS`TVpAtD?UHv$4h!1Q zi&NEShsaW$3gzqZaSTH%%sPvMPmX?){^ZS@Xq#SCg4s~}$uO;niB%kyL8MvS^dPCS zxrPvVG{2E+I`1mi17tFTRGO}X&fMu!p3)V2(mI{F0#gU*RULS(pu()r-k75(tQ;-H zxt9ACHL?$oHJv4bH-##gr#?{=bMmo=2-KR+Le|?EQDYE=&+mcj0;}tf1Cs{cKZ%aZ z^hfWDr5%KsvRv?kX4UPM;C#u4xY058`{DZGFH*CA$R?x zORJ|Bi}3WfP-A`|t3FY5EJUvJ&>R{jFskFZGku#Iz87;6NxZ-u8ihw^o{unNZ+P&t z!s#3km5H))X!Z7nR*_L%*h_daLE!J*SB|)BH02{zU_MY*`b*U<9#(U5F{Lf%$|N~8 zh~rEk5J=KBu}(E9LjlKH2%ep=yb&)j8(7|5`(}o$%7(M>X47iS>@{&$C)Ivy_RkR< ztBJS)JWB{X@RV4O>1hIMJGVi>Eo_-=3VavRIExBdbNhq_w%3|_GsdP)#DHN;83AH( zW3kMt=SbK7i}s61IFDT;21IdIcDzsC>TUF_F(4-Ef7ttK*frdCVYT&R>z`J5+l-ZC z&&L+4-d2U7q3!$oJo7(&<)-}0kjcPK{{voqSC6CBtR8{crN5hzt(F&Y%}6hc9QIS2 zL^cHXhnnjRJR@tLY{$93oBf|`l~yFcx7q%2y~%!Jo5+FS{oZZ;+H+(*tWRjW^>q_) zPTzG@Zb$O<9kPGw;&2$;CU(j8Ht`+*Y<+bQnCbSPwqLC$anrv)qlpdc5jy35J=bm9 zbwuuB^7UM^f6U%@7~IP9)PMi?^HVL&R#snwVJaSit)u*tp2nT&9dA!sOz25fjn0^% zSKWAI>PF~6Rm^9Dw{AQfv@zxkq;l7oGrwvb4AB3xYoo`|a<*y%c{e0=v4W*=k#-=| zgZMrhE_y9s)hh_apqKino=e@9x2n~qsj5xwVWak%HNVBbtLBSa)n+V$TJ}9Q_jc{p zB+@^uqCt4|QC+M$Ef=4{eO30K!YkEl?x2VJ0mH?zYRj3!s(XVwpqnkTdfa7kV@w|u zSAD3wl*ZnT>1kSH(+B#2(_7W5kL7z0N?ot&XsWK7(i+Y)1Rb={{~OR))cVwrR^_3` zcF^-Wp&M_XCtVP8X$<)iT0ft1~m zU;p<(M#`0SUkMigr>y=yh)N&m(ueA~cgw##rg`G==}hW*aD#e5%BwTK5HcLw^6db~M*;&^o((~-U zP!s>@;$L2DIm6NTXU%cvvljOFYXJ*l*Ih;1{Pgo+a5$02oM?387TJ8~mf7)n?)cwx zX2+FVWc!U<=6}j3{r}~C@`3+L=)VD(?f(JY{eS!?VxP?gtnOtYL$M8?&ONQ|PaFKt zb?%?AyB>X(&r#N0x@k+5ZK{Wa1VzP5SJYG~G8xjQf-)-$6)GF6I9l8aL0X|@Y0N|8 zRr9}ROZ9Y9fh@hw1cquo4Fwz@i(MOiZiF;YOQos8a3ehrmm8g~)?HZ`GuMQHi_I9P zwKi6H8l&b!(c$lgP&?hl9KF_Ars|?k=zs-C#^hv=+30sJerv`kc4&DPW6MO*_3wmG zFWrQMZk9mg8<*HO=#^hVe0E(nHpE5|Ts!(5^w5ZJLd_HvlL9Z6tm`SgJr6HT$!4BdG zZOv5B-~vTtccdw3XnzHS&=`-v3>*0?)VC)ODx>J3rVa9|DyyGVwQJEqvN;{%Ahpt8 znF^Ypkem)_kVfcuX4M}~*B|6H>Awzu@d{gQ7!Z7Jhw>+9J`(|S_q}C}Z1fsLja=JQ zp~sk3r3d$YVMBmnL_naUxMAyv|XbHc6r$kSq;$^*bHX-~@OgTL2HR-DeBEH!tpY<*M0i@$cvij^@`dX3Z zF^-=IuLAI9=z;CTJ|0If?3ZKz?S#+Tushx3i~nn`x2u(a!3)qx1ngGqhwew;>5e=b z{9%b70R)LZzLOxQZ4n3({?)#_*pB&lUY}XkFnRYeK|(qF+A|G$3D)f`;2v@x-Y#pQ z-F}!Qo{Wqnp&0=7f0zH>q5sZQRweS&{nrANj~6x1_Eb@tZ8D0PPfa+CLznV*A-_U4 z3uEF-ByE7;ToW0^)D=74O3)@W^0}%G)#B0`CDm=w+V7=6LqmS@F4WYl?n6D&*&64! zM)~jy1@zJF;FosvBit-yI6rFNZk<##Q3Y7FBZ{X%3r{@YC?_6s4!Vk;2oAi|qoX+` z4$_5K7{go|UKn>?xm;sjIV0mMJ&VPkznSe}QB8Q>^mxDABgNuV2+2@ZkhoOQJ7caI zeTR7A4tOQnPlbkfuUMf~@}u!+oGf$(zW$OEccso4dh}^es)rR+CS@bex5bDI#FX@u zb{vuCHFN6+dNT0*@W2q02Fn>l_N;QL+9|FA`i>bxeH8hwy`(&ud8K%tZbxw4qevx& zWqfJG{tb%KNvII#8zLB49gm5{Ig`|}L*9()F7{v!?(Ti}Rr7D~Ke-h{%!zl*wDf2~ zRfOE)T<9s_Q+yVb) zogj(V2#)p7fAtaRyH7+kA?H6>sBGWYN|g;3#nA-Y3?h6+I<@Js8GH}cMUyE=lS`^t z8L_DF2pf44TuwX!JwL-2bVAdZfwmfPdAsH~5*(*?im`+SXAfSg@gkb%BUGQMmJ$JpChZR|qma6WG0xQ!DJ^YAq6H=hnL*q2b-<#JME1 zN6sXwv8Ah8f;%HAN5IlNO@QTlcpG1~(RMvzz|M$$I~n?Qs5^M<+!E8p<>sJ&LnL5I zpuX5^ZQ?cT1oNkSRX4mDj-T`w|mM4UoZ-RJnl{#q0T^ z3@n!k9@vX|{ebF2e6)c=Q}8pL zt0yOvDBgV672jolDLx})0z>Jf%_c(iPpOZO{2h&E|L;7vzEIdTP%#+(rO8wr``?qPbi`=gINWF}ii2UuTOyd=d`>*k;W*_eT> zH5B61H#iDIJhi*mHO$|YGfcWEpBO##06s(;ea`7e6>C?t7EB1q!2|`lXHd~p576@f z)r8)8voEuufF#5~yB{q;&b_#k-kuvQAV`znxJG0w+c!QZ)(`On@2Ze82YYINkAjX_ zcm*x5KLr0Xh^gD!mGrIH&3)Dh)|>1{S`|LlAFcV>F^7hse%}lb$4?MF!60X)-va zf;DDHQR);xq?x-0LnQKtescp(D1L896swxglnNKRQdBB`UIE_#x%`Vi+GvQV7N^qA>h06S5>cdfD8tMnz@3bo6L11C{uQrF;Zs zJ7>oF&_CkFJfgJsXpA;6IyCYK2^}X+ap`LL07<_qj64zN<_J&2ibg;;DCHS-Xbuj| z;j}iDm>o&pI|f3sQ~+Ig82y=`<5!$;A+7S;M#eNTOo?PT>6W^lu}{|37?i%J-iFjp~;pYZF;a+XDN$c4#- zR5L$nDObjbVS%-)aqLC{pK4U_D>fCM{D4)0GlA5)52sp^#CNWoEHK(JGHVHWC)Th} zU%37R;Ll$a`X$@_-EgI3hdAuZBiA2tR9GM)kgtYTCnd4(olfd zIE5)W9tmb_;#?KGtok-ZIBn5xV$a}3YBrVZ6NTa*W!3hMwk4v(Z?lK6nM-Sga0xGG zlQ}}+XSjk46E9)STmzDg0+NEiq!-rk;INF*BkMh}&pVr>;t<98k-x_|zc<$-DjtY87ieGC0z0L#j19|L=ODZoogR%~$){TSpcm9E(y zlr2@SPn^Lm4Vn5fKz8JyG9959;UO*U9X!v_KudKH&8x%JV43&u0HLNAYF#2KP01}H z9lVAP)`9b)K)s3qri5!!mH0j!&`dKRd5RU9Ex?~iP7bk#iN{5}hB+1`dB<6c?6IvxB zMsq*I(~(9&vP4Xuy!cY4iyUZ(d}zt{OS%bIAK-wi6_4Dgk)g2Wtd2!n$$0c9 zp4v5GK;f}c6aE!y{WZjEeyyW;s;6ZuVl)VyK@*~M2;NRJS)lq_=F)w>7wcXIy5J41 z3<+tV9~ZyYCK!^MD8r^yC-6Hr;~y>sfqn31F>%gsR~!9@y*59{HB11;BsDlo#w0Jw zl@Wz-$UZ{By<~@hpD_~Rnx?)n0pR#b1i_G+x`Nd%vUS-IT-B}Y{AGmb{VD!45xft+ zt+JBRy>H#u?GKvsvAMmBB^0P<$LN1W!^{HmRdN_ZQAuS_@Wge?Vsv6uljWx+Jp<7D z3<3o7Zgq;W%$p$Lga!f5Q_SJ4&Tmk$fBVomJ(&uVIGpOWNs@3}z%1ckvx$pp#0e9U zI6@lb3!T6_^+0COEOYx{bTAMV9f&-{ZSo1~9Ev5MAzE3lHR%MOl7feoDnIsU^aBb3 zPXS8D+|1r8WjF&uT|F$4Qtk7`=h-Ab4w+MKB8NFAUcclb#|bDTB(W=&7&*09wrPz; zFj|vIl$Pp^{&Ybk=szrxw7#4$0A(%)G$)vnS7M;W|CnpWW=BqStDZOWcJcB*aoR(Z z`T?;ZF8zOkoYLG}zBvI8s!eYs;FK15lQIqV(I{05l=`V6%5)EvhR~k07*uL1>i9Em zZcK+a8<4v7?3e@l1~w>p3K5>oFHnh-2*qS1eQ?!8cR!##N5zD8iDWBf8;LM)VJMlx zW#GvhCf(IqgHYmX&rWFm^J`$3wWp}wAgkJM_s!kIcV&EOO7U;FRRdc1(0|l|jO39Z z=xIlS(Bl}|VM;h-NRhvh51?_bf$*U<@KjQm2?1o_sM^L;RDKAS+&y?u>8*ucnp(UP zw@Ox<9(pMN+XruMWqY8;IQdq{K@=W$FNTRblq@7m;}mL}B?=fulkz!L*{0Ox11RJ> zQDeI}$ft;!2c+%|5YoGdjZd)sLZi-nk=WVd7DA6hSezl&OvsiJ$O$8d#x@Jo8QY=y zfxgpFiT*pE*KF1kmXdaVEi((J<4(HC-$D$U?aT7zF*0Z=ih+EyBQEkPP-P4_CLH}U ztcapxm|_H{!NF{9JXM1P@89K+{4Vrje^ER&4FGX8x8=5}$cLY?Z(y0;Cu98m z-Z(+#y%kuf$2V8<*7Q^I?ga-%4=*noe1bNykAuD5?(rcVy`?V*S)zgu9%Eh)g#7@+{|FBtA?*1R##@l97gp()NBWEw9ycC zO|^v<6yC7>&Q)i`@CAX%ydbw$lug1(pcXnk}WKyqztHd?&_+$S8-8k>xM)qP#%vbwv#yMB-|kPr^- zHR^x9-K}J?;+=M$+$RQ#{>%_;Z%lc{Ix_Oc?zYf<2eIG2Jiepv>mR%~jqu1kq3;uz z>ym8V2^GKeLT+6^J>I|&&c@#Rn&Ksi8_=pZ? zo1acUEpJXXC@U6(O;MzVZ!3VZ9>FXtK>QK$jV!Z>3ZRvoOw_2$ATN&*Q$C>uw-<$P zhN=}kCg!seK+UP-DWl@AKn%&^|I$CfZmtey7MIXA)C@n}T#Os?4eR;aWO=T7@Q&VB za-?N^40~NVi0Nd8xUq3W^W)`Td0O;Ibb;%$8Ih3*X%a* zgQ1AU74!o_?n2+he>?*A=@3S$x616BHh~dFweQF*d#j)~f0A zyq*t=qsL)MT1Vo~n2eC8DnSzml9eY3TE>oV;Xb3)_e}l-7jGxkE6Y>5LfsB=C(~D3 z?iW|++1Xi2TGh=t()D)LUguHl_foEL$p?1rS~eXdb&HhTi|JlYB|W+0fRu=E-SXgm zlWv)IBzL5sIU*Z`u9^6aqyrMbRKS#yY(+-zMMl3uxJHfdK)sfjF6MhpS{=y;%fS+o znJW>P5q{ZxO_`^)ggNsivOGc4YRWE*<{~|E0vsKO%z%B%(JK`b!)54L_b?L9Gdd2A>R6OajD1o(nw_IBj2GWUVv0Gb z7YYch)HjD_B>B%OCs7Sfo`(AX?#q z-_db@vrQ}Kyu~w7v*>I+GqU%5R#DBMmwO@KvVmOq&G!XF;{WO|6e9ubm-wv4=5J1% z^d#xI-GeVYjF^X-)jf=i*tbfYGZ(Mek(2EWqCauJgnO-d?5_%kH}P!iZg*9C@u$l0 z^KF%%EFdpUkw-=a4aogjip%X$QnLNNU&p;hIiV4u)FLQlZuoF6tlxj`_e}(!WYVG| zgC;UfinKI>9ZKGLq?sHT_blMDMp^4;hXNJE&`K%h26JL^!m6paZtP75@KR%p7@%3e zB?kHYg11$LUJEKHPjnB%cY`w%iW~4z^qo~HG6kWd_q4<81{MO$I}j&htS4TFS1FTaX{Raz4eh4?Q0c zd62+3XBcdNXf5N<9w^=ct%g}yp+`p-WssOZlrzSJNk6V9rxV7f51m2772~4wv;NKY zVv7YqOkchlyS2#k-Zrt^8Q$pj9mcQuTIqki%=LK(rvg}c{>#gWN{)l1h+!A6@FW6C z8n9>cTH=Y+MT&fGxoKr60_(>7pZMW9J$e#GQ%G(BuS1zhkgt$i7r$kKw9Emud z;Gb!(pxeS{CDXR`Xm;CZ$JB>oPMG?G6FgBY|zc z&td_fvavx1_eX5!=cT=$)}^i|C42TZcs%DTNu`|U_r7GU&Phq$ev?k&V321oMlj=T zGm3xG-l!>u3;MAadBSm6ekbeQ{2Z&5&Y^z%5En94N4S%52KmXR|e9p7y8nu&w#{ArTRn;>taP zmtUQoj?VQ<=A*E;8^bumc-<(b%gNAK-1k+|`5Gx>W{eUO9n1eryf4fHi?T%U@^RKnuH9>$;vPw+i z*%3zjrT+rm!&cnwcE3Ar@BEFk z*DItyICIhC3%T`3$N3x+ne@Zko#HFIW#eNd)Ip|nsxAVl41ak4@HgCM?q-?IPSQzAsQYt;xD2Uj}<&@047KRi1 z1v!UH_e+Q0?D1ki&<2cU{11u)f5df6b{$Xwbgo>nsOB(FeS;Hs@21jb9udi1rNo>R znX9$`Hs+Qngbe99|w%Vtr5VWde z&t2Flmqu?epAHt0r8KOeP55p?P&DxVfJz&7a1Vm;UNqUuAls(p0cBuOcj($xu`Li*_v{Fv;B&#)G!H{} zcv0!+c7@aPjNXw~1lTm2Gk%AsAPm>uq4MM?<91~yJ&ULz^zMr^#k$rPAupU*T5*~> zMCrA9(BH&ps|V*N;0JQV#LE)0n8r~{EvzgdkQ|EnLsYg25!s&WOirvOk2RVpED8eY zOO@-@MXBiPHMm<_L!ZN%d_7eWj?Z*$uAb+VjCZBldhZ3ku{gz;aNBY^zPh9a!B~g8 zxrBry-x=Q;Afd#@^&nfRN13>%;B1meW(ZR678&QbnuFlfEkgCD8^Z0538u+-1l5?d^n=cv2JbwUc{vN3 zx_fh@D^sg0h@xrQww}P^?qQ(;74a`|%RS+QWJ_O+-n0K#$+d&IAdXKEtS-=)5(E6=fsj??SIz}dGD^~TxqhT6M!;TNFgqUG?n zAJVo++BTdS5~Aq*y%#+zFMmFc6TCYVN0+aT|5mzQiP>7Gt}Tc0{aEt-a+A3G_pn@h zZLGYm`#5xEiKZUC&HPepOGq}~)ng66TmI$cujPDYaj}Kj3}5y_x_H9vSPC1j*%e{h+qxL_eeN#Dkwa^ zj^}WWJpVbbKz2|b7Z_wx`NY*?jkacJLWkC2B36u-SM9q66b~c#L` zcounm>`XXnLTh*q$oF-oBL`Ixlj!kO@{Ci(CA>(32^g`h6gDOIB}odfJxc>1EBWio zWM$Fpf)(9mS?cLP7J>fIPE5Ha|M;s1UFXqkfOiT3VIRA&kavdm7kG}WP>PzF(wwA}6tf9%}84#ME^RUV6{9uu0@TB?Nv#bbYjlU?w4<)Cq-;fc= zz#FtNlBPL@d2Z8j#GG<7l|cSf7LW4xbFec2pblY4zEpFAEozNsNMEX6F5 z-Kap4)YB8-k0yuV?MPrcD*N4?s{k<$1iJ*P>m}B&NV&e-izdhJa~5c6OI>|vMi}Wb zTa6z68)nF5inFvzE?y;WfU)<_E zszM)At>r`o zM{vh%+4jH>!RhM@BCS?&nr3dOt~1|P43n2FvA@?U7rgZkG1XIxhcUPNNOsH4_?1YD zbUpCOY`-Ji$lZw*fN8-Yx>vs*en zW5-J|>dGjr?!n)JLMV{dW3l7@$^)?vJAYPH88!nNS3ZR@>sjG;i zMTpr<@R9wc!v{mLKfxKfoMK}aes1N*e1(k`xev!pRJnR-o{1{1)(Pb=&3Nz4yw{b{ zXg^o9q)1N&hw9>F9}6Gz;47f|_8a`f4K$CWRlc|to2i|(28QI*ZnkF1AIaVn;FDFm z0_tWVx+M)_2jV9-!CGibfQr;eg$ei$iAJz#R=0ecQ3|1bQZH^C69a|8C$HtGMlU+^;22v!0nNi7vEB;MMl_$Syiq890i8 z;8eAog>O}ruhcEmGieHV-@ZJv+`8%T@2HB33K!C?#W3`gVBBH1=q@9GE8-YP_E)W|+}Xa4I4MZ*Lo+mQdP;GVEtH`Jrl3eSUJ4W;Pa zx-2%CN_mu|2`c0wd@i?nNE*Y5le{h2jlGMDm~H7SBZOnjkfvu5#*mb4*boZ`#bnWG zenMsQ%xv4)aYaUbt=?WoBlCF?{_fwig)`!sBWS<^dW9u?NdTO6xx^cv+*fNBV!kr@ zLg`9>DQdFkow5wwM9?PM>R1{3d>e_}(1jfv&l$bc$6J&Wm?ZdczSn@RK}fU7&RI*C zV4iZA00JqiUIUIQg+*tpDz>s|g6oR%wLiL1x;_11{Tg!AXO?v0AV%UO>`!eL*qu(S z95y%IXcm;HT5)i{K0N68SZvUQ3}tWVebYXeA(_tfrTmYDk{#3#lb^llk`XMJVN-un z>ZiscRwRpA;6bXvnrb8)Suo)gk3ZUM){VPApJpLJoeW4bockXu5*s8JSx_K!Z{y6` zAlx*sf%hcOS`Z_wQR+={Cug85iPt7SS&)&j@njn^9SRL#hZ|xdQfKRWb-QkTJtg8k z@}K*QUPa_PnJi#Q3dAv&U3;(^PtaS0QvqcuN?qZ^{~}m#(sfB^TEr#CW6PJ)yfExo1yeJGz!4z-Jk0kINOxLK!rLx@u9J9)9dNPXVn% z$=5U1;8Za zykWK1Gr715D8{D^YPkT#*uS^G`rL4C1dp8@BND%m@uF~KEG?{W2(Mt@qn5qVQ|>@d z4xDRfi!YZ=8->K1NE2>&HA2gqFldTHbfS(mU?#*(##{i(19LJV5`J51` zln{xlP&T@~@#nY}?h$I6p))IAL$C0lf6Z3N{@hl;!ava2&=u^Hv5{MA>B|b7Bl+*BJ3SD&+mExGRcgB>kWI;D;x>ei-H37w6kNTy<5A zeD~K&~zz8Sm;(CK^OWYvf!nG4!Z-^vA@dvWYcQaJJ&E_qbLmq*yvWk^C8i#Gz zc`l`}&_!Im>>HHDf+i%@$1+2a8SW|%SIOi=w53Y~-FKP&WPZX0yK zP*KAZH+-hBR7lh!*gNdn*@wE*^thmb5f&YF6}9PS87d8>L$wYqZA!`lHf1R(qP+3n z3|O6&`S>pu^L!huQAFdi?#}3kLCE0?5npd8RuSW_L>`aK&K*2%C}*ZvE?yEsRAmz= z>Ac%mX{sAYg#{chxcmBa!K0PcD|xx=%o(y%va-m(CLdgDa#yQY(y^#%{_uuZ zF0IjY66PDgu22|HH6S8LuiI-sZ61>BG0HEfsF72(9cOPH*ZIy@ZuUTLn}VMUT%%?e z*X^zNNtGtu<>&0kw01V?P0(@KB%Yua` zl@*u8#5fxJ(wO)vY~mZBjoP0r{zPf_LxiOvai$E)8chGV&geLGfaWkROoJDC?tqp= zmArrrGpL9;R$s;4O_XMF)uSj9s0=T9n;LPVv|QxHX@F#Xz&$ED_B#ClnO{#CNnqpW z{iaYOhG+Jt{b)h1pw>{R##}4tS&q=@c82VO;03$n;f0jB5Sg7d;g(=nwE1>o`E0tU zzAT3sse>~PMOi4WZDn?T9PaG4DSe%|4=#*z^36@n+&y5S5-J$eSdusqz#=4s(SryU zTA|>!4%{a+NhQyZL@aRU?>Ds&_fDT~!T(D>f}QB9_LE?i5s4vo0c%<0m1#;1mX{E@ z+d(z`+%7)&!L;oFG;@Ddqu-Le6BybX*;g^AJ3+3fkukX7#`ov;ERCS&5|?=p>9Nvk zy!Te&;fo&}Pu$v{p3nvez@y(c!JM(cE!zbVYp41TIFHDl@Wq6A4o*SlBCAhDPjMEX zPGh|^v}ULmY;Q1w#BaT}_TT0yY*p}c85Us723}vjCQUh{>R6r*K= zhJ?@xIF2bg`z~_2wtc32-QnL0R7Y*woN?1iCX%E39Db~+JmmHm0Fcs_kB5^#+eC$~ zOUh-*JglgZf1Nq;`g;feKwA@&xKf{EUBmK{G@s|e!Lt={m=5tNaEcox`4^on8!#>0 z#V)(0Cl2$0U7#`t;p1;MLrr+Ebs}7OVVZ4|^lbC z!DGhWd9thS9oDl#0Fc|#;kH+?JQ01{`Ih}PBXDj|%YLMzay@M(5I@Iui!rpV8Z+#9 zoWj7@U%$3v_5Ug4t)l9PmaSpj-3jjQwsCiN5AN>H4i*URPH=a34-nj4Hy+$we$Kh~ z;k!@&+ZxrYM~_}>Rdw~8vkD108ARzn{I-lH+4hX;k8TCTxtg%WatL82ng_FVO9G#+ zNwF^zv1)ln;I?En2s`dM0C;zgfO=|4X{K23qvbB&_W~umLQspAA+F(F%4nvhtRBfc zywVIqu?0=Nt_&h7)yXqX)2hsZ!|1qW(e!jbS-6~TfBrX-;z)9KrvY;OABaKz9}N~Z`J}T$i3pvQz>Xi6oMTPG2E#oCdnnH^IAP4B0UMRf6q~#6EK1fCtZJ$4 zhSxf>yfKYw2q8@r7*jg%T{d#TTA!8Yk%210>}Y{68|l#wM!Of*YE*v8UbgTiSy@i; zM8%-t-CKpN=c2JoRHJSO8UzbR^Z)5?k(A{D55d9xUx<^7jr0Fq3^Q|M6BA=|^L>wN z7sRW_dC!OY`zA2>6|B#T*ZUJI%u`gGpCs(j!sZ!)f7w3KtP=c=hi-DiWmAKKKslrl z{*$QWxrjexJV^V!)gyw!5)ulVD(3t8bf)|I{_^(bHPCVh7D|Xx=&JY6%*`1{_XGd- z^{Mr<@ifzN@UkiQ^VCyPaPibb{T)?>n^K-qU@F&`sT-xGqpO=+W?^AjmY-l+8fTGf zonKI;on{CG7pHS2U<2OWA;5$0PNlq=op?f+kEy6hfCmKpe zcK?kEiAg~*-bg~^FZ{sG{MmEs@%&=9EK`?X+0o%~ zfAO88)Y0(8V{J*i`iQBn$#Fk{IHv;XF)Mgrx0DBj*(5n#W*&}u3SFnj|i zt}j+sW0GBxFzlQN3mW{dke${L-A`yGt8+g86;CHoGgi+Z>iXO^^AlU2yAj+FRM|A` z{*Oi3!=v(HqHEx?qIBT}HN2vgpYQcKv-c;`KOskTrk>Usn@gK~WxF8j>FjkcRTl{d zPRNKTi`S#^q8_t+j(D_ufnVa8vj2?_*D;t$C+1{Hs~-3;Zg=i6aEpyk9*y8o`~PZm zzouY;vwkfMb<&9!DzN`66GQ5LWpF>k8~lZ87LJBT7lgGI%SUu}ydr0-W4{Loe|xuG zzN-s?^7U1o!*u8fuyO}`IjG*pGhUGLF*rM+`pU$(i_G(yklN*Rrv}j12*db);Rij0 zk3VMga!Y^QUVEOe-wlfrLi3(%D6<0M}AX4OT7RMnscS!jE|Dyjkt7$@Vv``Q7G3|j_8*cO$PQrte`AQ@tg2lID;n6&<6ETP8QzesK96WXkr&IrD$DQffFoQV|-4I1+b?c@Ml5yrb>AP!S2 z;|lIZ;57~z0O$Eq`u$cHs(mp{s3j#Q?)4Ji^Jo4-^kyo%h9vD%~VuHG0TTJ$=(hWYRA}4GAu<*bkyf` zGInzWbT^BeC+VlzuYOLoc-dKwrzHK4EWivpY2efF}vw zp9C0&rZW!>p~#c!d0GCwL!{93?2C#kz^_w!iL(d2bA1+4u3+@!!nND zIun)dhNc2CwelPmu?wRWDZ;C=rHJzrKc{#Lo8)N%^-l+V*upqcZ#Eco6B6?@#q_?; zadH!dL-5w&UnV-La~Z!m>6y%=vAkqxheVY#gA|r^uh&(3msU?-|EI(mt?i)iAf(&n zXl@~f31NSo$Upx*Y5&7v0{#!_W|+7cIlzh*cKM3c?yg((`70R9pjky{*`g9vWqy{) z8pG5NwCjTY>O3m=ymgb=QM@q?3y=z+TZ)fMb z)o>@ZDu2{FE1VK{2Q;j9EL!xj~+dPR}NDJWh}lG8a~@4UK=fzJ+~E#j6FoGr7xqD%GUQrGcUd$f17vAOa(p| z7d^;z!vuVnwCrd`-XEJ5&i$7(srxT+GU+tH1*t%PsfZDPFTIe3P$;aFXlh5@8`@pg zd-;lPN1bug?bR!XIPlxba@Sb@nv4I2Mkhvpwq=?6-8cWj$>f6`;pp5k`mfC)N$ON4 z0CN1_)M-xi%hR#Ib~<~>M`BeK>=&^mtj`e!I#Sk%TlBx>GOHw^-Om7pClLi1^RB2a zGpxQ36l|o)p->9wGSTD7P-r^jFBf8qIL^pn*F`L-A$`AK;&TkH1GwIf@{@w<1#*Br zM#8aHn=V7gH%RB+M?g=XZbBU~TWi*r8&(nWOIIVo7w`@>u1s@X5g9=7XkZ;`!^+YN z49o3CT6MqNV&YJ9*@gnwH@9$<1rh7`qYF2ramT((hiD*F5j1QjCZs+US^;zTNK zehN7lC&{Kv@KVD%^1+>@-`m8yq#T@)Q(n5T4sN^Zrm#Luj+XFZHv6A3Gvk~u-W%^t zn>=kpJ4tJX+<1zDkBHdUCUh^JAx9!g_WtVtfF$EyzQ*kzl}JfHe5sOZW5m9MK>sl@ z#^Mt~aQ#QgL7n7Kp$Ngn{U0-slZ*HN#NJ6AA02h84q-A%SakJqwlZE{C6&C39oG?C z+-fc7!GZ!)7uk4CPY7_02d-xs)+&SuC|U?9^w2gBwEDg1MXl=UbN43CMuloa`~cLz z453HFrwvCpe&ELQ-l42g;;qBwbNBjXfMjwZ1r^4x-$1?7UNRvqA|9`;GmC4s{0IHO z0ZJ2gR}fSzhIc}qJKDz306@BHL-H*(s*nl%Q6W(&cR!srLqV1NT>as6vovhkpd{YN zG0srnjAzU1y2u(CgzB_yGAL z8))pw*}_;So?Q|%wMbQpa;TKjx@1}vMoP*ix%^soR_-PT3kS1gDKv~;eOGKSF?lq> zM6Oqn05YZL+GTXCS+#Rum(yfywJ}9bQ74_99mvaTQs3(3D)%S*sR-`UnO%C1h=W~r z&%uai{V~NOsByVQug7$A7~3szJ~0J!Eju<-XYQd9Z8^ol_MQvG@=+`(QBg0qS#Yq(u%q+{ha=(l_qozC?O?YP#tM5dB_k0eCsCRPzlS>w z1@798JY!@~imOq#(;&yM9sArtml`VZNcqI92~~`&u0LZRIZ4$Lycfzhj&HI}N6RL* zkKR~3nxp2@6Y|^GZ|ZpaF3zuTftn=!K5rENh{O!$qXeiD&O&zdjlB;T07O%L9B znbxBMiobvE-2YY&_o1dGEbrO#Ek-{0JF&;aDktP;;(J#~mdarSw)k-$sH7EM1-z0* zcKCMLena5v6CI^}`_mb848tp`I?Lv15%Bfk|J zHz(kOEKXavSAWt7Gt~`|bqIAfV(e-v=HyFQE{D~XiWCR&QEaa8!r*{TXohCjL<<4I zE6MnaBx{Wk5>378mhgSOeI3d4rwhq@Vk;gPksbGVCXebfs!-0 zurm%~0@ToneR89A?KJ)V+zqCdZ{rG4f7N`NoUuSOOJ@;-gl~@0G%l{yg}ho>+_{b8 zv4HafN{M1t-6g_VsExqC9v%TmxAp$=Xo8|70-rE^|-5%k{>`HamNx~yFsXpVf4^S}=w$-)HmCxtZXw2iWL`>K@; zijghrONm#a1PtQYKdm|Q4_n^!*Qaj;Phwz~8dr``f3ILO0Iz~FfULK7gM3>A)MG9+ z3p0jui!&hirjNGOF`W5Z10b_`XOK^+nwz%-$=n(rZ@f7s|N)vWp zM}n&<7%Ruvq)^Fp2s6Jq_oKr9h`k4PZDG#Bhu_LIXa+&On6=jjpV%!vEy1B!%S5{3 z?}ZRHDFz~w;}Sk8Fu*v6tV@FDR6c3W!`cWZoMh#DLfH;fs%b(bcT->p--_8bsUc#V zxN#OC1s$okH2Ev@I6}Wx|Kf=+{sxGPbS$S2PJG!oZbR;rQx0o#7YuTBbTetG;K@+d zz|vMBHgl8pe5don|JY{Is88}*d^2V~V56F0TkE%(Q$HRTFt9ylnoA?kHnlGTNm1a> zY|P*E0VYFc-c}cjd3naELAN>@6q*4Anu{X8*TKvlN1>M$f^QW1G4ysmD(G$-fmnyg z8+-_UvBM;84!w;aGDbh^jzNH`SlkYolbmpcR+#mCGvS^bS6HYPRDC+4zl)@Tg^V&* zFAb9*yI8(05Xos}oXyC}4&g0{hZdryCbYTk=^{)&x7tau;xIFKIq%tiPDw-UZ{=76 z-zoM16_+M#+aEVvRb-d$4^+pyVGnc7o9br8Vh@k<9OJY{!z4~(O7tACEO6!}gfn^pn3u;6~zA}bd_7h6LKsLHx zDMWz-Na)e{g2-WWi2PRY-X}lE>}}>fcv==F=nDNW)7x@D3q*2rQT9+5f4rGbHe$-x z8K>6)$Z$a3vP9n^+;ZUn^rHM$hsp5Dw+%P=TX-$^`qRU*s1h_ONvmF2r&#D^-rdH` z)VL5oe$GQ&>|>jk`?>Ksr0Ol$@bhj!hoP!Lziy1! zJcAxY4Nu{xt}4r&Yr@EGN%Ch}bOOrx{kxj3p{7d?6?aa0zvgU(` zz|5@%mcJK*5$=L-taAe)CX(_n8JIJY?gD@2C+@fD?}-{}4suM2`+tEn$-NJ&SY-;X z_vCmgJFj-~v889%42mWXTzbv{Q@FA6-&{w5IMNAuH!Yl!waSdU?*GbP+_^I((uaH3 zkU@hcvq}G;h}dnP+SCGm>5|>0&CJ;Q0VzkfoW{z{P8Cu#Uwy0zT;r2h+;SIY*dt== zM_|rP#9_An80ax}RvRu+jz-U)c#tsUZar@eaD8clxlJjD4l zW~zmSrE^2*y;9fcy{@%SZ-*&ZKiU>BQSt$`Y6+Mge7-(Ks5ieU2z5$pz6}(n0$-(> zV|ITQKfm^-9d2&l(k0Sk<0J^?YlI-e52CTaF1->6;IbI7Vt0bBAsbDY8Q<;*oDb^c zi{Er58uAG{$?!bFDa&6_E{dM-$QWLwq{aM+fB*;wc&+#=X1r=`8TT(avyO~MBy zLx*N~K|2?V37eeByvF_9UO)*Xkj5tq9~1HCB+M_y5CLyRnmc4G0+^}bPH*eRcnVnC zr4es*t1K=tOPLlQi5rm-iXyv%>I)S}mbt5qZQ+lgkqgJl8L_iT6XKU2X&4qPH;ojL zJo^1fX!v&i;isfQ3li27E9l<_C!Yx$!9~kwJKJtKZ+DJb3_kP$kpGeof$FkAOOue4ev*0qYn!3n7BRRiBAAH<}mQ&XvkEh^tVOG;q{e!z(oLHASDti-(z+O*S&J z)btu=c|RVS&UA}eJy0k#UscWEv;e|}eqT;Gi7!y(dz#gR!u*ldNqcn|+nTqh;>S9q zkH4tVhhKUF0DRq~-AD8qc%Iz3lG`Y&fm*CkL`0NG1$%z{wg=BgW6T+FW35$?;S?oC z$AHbCD&vGTawqk>w~(iCTYH=T?_S{mp-)~Qcwp>cVIHKEyh*-`Dj4|1J7`4?$;J5! z)|q_5>6gg3Un?PepwO7ML)<@8I+sr?phHkAoOyNYIoVPNnAZFRkW(IiB3#u#%Jbv5 zyJUogvRh+u&AL*d%+`0)FeaM*$D-pKLAbVMH)Tcx^7422Pd}Z73DD?yqRruM7A$sm zsyr&Oe+P1$(@v9AQLPn0e0@SVSO;;+`8dnc(Y|YiHWjk0ey3%f_eo;APE&)~dOy;~ zTPg)~$mn*7#_5C}uoN<*`dSnr<-z9+KyvG_lQKdyM`1=^DLFJMfRZ<_5~!#vD=SH* zt*Pmf*S>1=ntNf6;qlsae?``Bme&Un$(_F8*{rzWgZ%Iv6LCH$Emyv&h!XV#aA@^8Y)Gm38dL(ujWaE> z;(!pXXv4CPsLu#pd^Wm~Bx^eqB_u=8)bb!I;MFE#)Nu4G?=B(_M#C@NulhTN&kF?K zpNGNuMb-qFjGBNh7EO0u9V(p2p92Ts?DQP-kqzt!fUNO2M9MJTGBCP1)I-8Dmg)*N zm*DX|=*0I$;NMUzcERh7>4?|&l=$upR#Aau>Z+7djFQJ`tDym9f*h z&>)AVS_GF!RnFZcme4B!GVuXoy*M;F$PPo>n!#Sd9_yv0BDdr7|1VAEuyq7^f-@OC#fX9@KX zFH$cBpp7b??EU2p20Gv`epsQ;FvthlocWR)TKa$(;TnvdkK~VuZ zK|-71-~gcO7^&}QtOpAtlkLS(I{X#(WYdQ~XL#V@d7HH2W&XNWjd^{tF1;Ut-+jc- zp1$ulzkz}IB^F<;pw`HWH91FBIXHi#*)q<_?xvE33@Zr=iQ~gz<0f!^bU8piV46}s z0;|;w?+CGmhbQoUyQN(WWBs--tYg7{PmCT`lt#C|V>Fj(h!eXI&Y|>E820C|<4#@7 z^wyy+Gig_3TIKg|3sE`m9HS_;u6%8E}`2+5*NZP+iS=vj5R$B4I~vO zuk8>E>78t3WuT~GwcAB;Xu3pbp+(GS@DZ2Q_b44Gu!)G7wJvPQQTu$J3VT!{IwX}- zkw?jt8?UWv&^?a68p6je4+^bR*pBBQq{4}iJ}6FzR*V#5Dc>RUC!?#CdL73)6ev2d zm$G@NQ^#cIDSmsu-5DOBET0_Y29l1Bi%GUe?z5X8hWgUcm8*ucW?n&=B|zT|>@`U`N_?G3WgzoLOE z3QFZpj04s>7-u;i;~4mXfbHMW>q1PQG<2AhkM9r@e>@)I8XQ zXDX;J-0rh~Kg`r*g3{=l8cbPKn_6XK-Lk-P#dq+4nLXAr`!%a$N={41QrU5^JE!hj z;@g{FFkxLr>w!=4=Ch%a^wtYr9P-WW3s%Ae=Sor~qe{Z=#Ud}$XtR}<+$(e%MMg5t z>+9R;1A|3ILZT(4hQR^{8##qX|IZB&+^mhpy=gGu>pNkqeJ5Zs)ND#OAs5Zv5J z2@^UH-2VeqQB5Wx{VyT1y~_2!P?hpp5CS;Q7tuPnH;3`;+A%0)hMJaseI@KBzd%e!*VjL#;#IHA*?2JeQH2VIq`7-8f+}XSJly zX+D*qV3D1#rkfmTbvzE_P0NrHe5B1+w$23snXl8(@wJPl`(o=<(p?HAEXka>wzv%9 zX=kU!YeTxEDH!1`4Guwg(ln?f&?)qoY6V*sV*Peg64abDPBVjW=@#6WIOK#Uq2h!H zOiKAhULza=2+Bh0GjQ7CVXfTr7+@mbA%oBez)dZFGADB6@HPS6p5)+Mo?srS!YO`Q zsDbf8^0vj}{}pwy#EQqF<_M(?Mcyxlr0&yz|BWwFWxSE!8|(_}gWOBF&()9YgZzVV zAGyFa8RIMaPENIYGSZ{w=wq(d$dK%Yo*{l`dJ8_C14oYn5N3-y4-1k zL?JnUEr+$#NxYyT;7Nr*PJZ zb#RvE%j`h|=?+p8FY?q>Jn@>_<-8#Y1fZVLmewQp1`<*7=FS1WFc;myJ_<9UR-e3%6MlnKiEd!uwJGf63eF?|jsDpue z4MEAjo3o^S-IDE2ta0yy&%y_biOk-Zg3C!GekdSR?LW&4ieWPJiCcdDV z4_8LJ(AMN7!X7zD>v!;Ze$Zrc=JqDkXuRkLUOzotRh%eSzU?&8lkf{%Vqd<*Srp1b zdon^{RXZ^+--U9kGN>|8c?hP$$s@CC2i}*sPOjbk)63PJFLh(m`le80kp+`Qf@HO5 z{qax#^bKF{rR|7KOC7>(XUnAp&O!)&rA z5LeN`^}tk0i%JT`7-JWZV&Z837W z1ieH1P>^6NBkZEpHLc(oPt>jqT2Ab(H?O?970BgW`NGw`<#miW6_ZSwkIQzB7<$s-DzmUd!HC24{NZ=bZrAp- zPR^HNslJx-nWOKe2nk|N->}IaTQO&Z!u98N=v2TY3$Z)m3QJg(|N?^xvkX`S}TuPZYv}o)!A5UjMiwqmCfbG#9E1s zgFEc$>yqb?A#7C2!yoH9-;uI-!YX$C4RNtq`-~ITc_qG>t`(vSU~MnZnYP8}k@ME> z+|vs<^m}VN0!0gNWzMT>lg-L{7QJIr*v3%$0xu~>wRN>B{TQ&VB(Sg5qAqVdaUs|J zP*sSt$#zYg)@X|}g)sO)b@l+eSm*Czw6)Dq@*0ir?-5-wjv-7e{9@5P1my1_#vK_Q ziGL7zx8bcA$iT?}h8qG^066QmV!z7PVAPpxhj5xNOApeV&r(<7nM_!ZY52Xl6E{Zq zttorL6wW2_9ykY9;Z3^dzM|0L3 z&2i4`d#iD{sO3FgLVgVv1sc2#m4Ma+zN`E8#MpI= zeRQyy_i6jaML7B`e%7}hu%DUwZYv-NI5kQmY5YW~m|nG7Nmm+w%|@xdIBY$*+d17# z>)*flxVC$!h3pSCja&sD_?*RnTsCUQLiT#qG5xP}K7hL*+~Lo$6{B10V^g)**a4l2 zUL~543S2Q>lI@fs_#Of6*7*j)AqSZ@QL_3dA1=b^GE=q!+7~J{@c8BT3SmOwnKm}j z6X}nYA6s#6v+jf9UVQEcVy(fT(5R2UdaZrT!(k!x7T1^$ob=h)a(`_dRFwlb&6At& zMoUiXoPpHFgZQd%h1saW<@a|)4NXh=>qV?X028h6a{=s!&BXA zDw{6pex)S+qua#JyiY#2o$?#=iV;b-W@TT%+bphRPGqZLsQRb7q^a~+1xHl<6MnX_ zzIRWwRUI^W%DlNLbC!D*Irn&V{Rd8qHUO<3X#>bLobN8m0KnbY<@TlPK9(!-D~m!w zKtG{FS^w&dKJAMkckHM|2Uj3!erHx+uaVB2dO0SE4rQZYT`=_xZpI?l3N-Q!w}LKE z0l~djHiHuS+p85uao21LV~nt9e`U>}@0<&!v&t;pNXJq{@ppE7tT~5DNDXEH0{Xyc zqzX`9o-`1K&{SEVl6i=HaPgvG3RYYMY~`0@7n!AdzJsc$@hTWSm$khl&a7*GxfxXY zRyPfg-wK0??Ytm(Zy8b_B1sTxo78hWm>4oAxpWM>C~@wVid3+T1sz>1TZcta(ToLI zV1(zB4CZzjcn&AM2V7k#`0s=ax1FejWN_eL<7VXZpIB&+RQ}+Q&DwuNDxh8n8GcO2 zOJ61F&BSBP#&HR?{iu_{Q{k88IqYYP)+i_-{Rh`rSZSEH*bO;BdDQ3bzt$GJ6oF9>ZRZBq zE``S?ON0QC5cx704iTYhVn#6AFbo|Q=iq__qLWWn4K!6O(`+#jJFELcKvcbDntm82 zF+9ZTf3nz+U>T{?VJR4=1eF**$5iM7?iVSM#o7;UvrC2GO&1SqipGJCgL}wIpd(IX zppXN3&ME{#NyI&L_@`+ej&_F#lK>AyY9yz(ePw0`+w>cc<2Phys#Q12C7$Q!s@v5B zYW-Yl)#fQJ<>}4NF^VO5rEo-L84rK16Q;VZbZV^d7a-b<8x%V*VXZ9LMv1)`&K>J& z%kx|9KL+jGp;X3*-ZO<4kDBWU&FzNFBH+H%KX&GzQ0riaM)|yq5r0Z`-tGchows}S z>{;Fn?`dN#TZ_io6#f2Q`Ty-^uGv|HWwg4k{{5zhLM$YmQOJVYi+oXcJTn2KS!$>h`I=i;>HJu>14t`2teaN`ZM{#&W; zUT>O*eN&6|NF1dS%pgWqfF=u&G|2jwhi=z_9-?1H3C-b=Gx#g0b|`E1{0XI;Hn9V4 z#gIfP+GZ9{SuE=GdeR!~9|j^{{df#c%SIRP^U>@a!F9C#FCGhc{U(2MeT6X`&Bmc) z7=48SoK<5)V{m=E6^uXviIv>3RPHy7mOqG-UrHk(dz;x_7X1xs{rwN1ef#s??)g89 z-O0-9s|((;g5`2kU?~05ev8YH@tka%DYDB@lBhhvB~A?-1?#as{GKP8C4VTLzCsd{ zBWjDiW)F+zu2RKl%B5N=&mXfFh=IndPBRyIo*d0u;m6XI!QhMC`O~5t{D7T07^YwJ_Bu4XuYMp z8`a4k5mc}_5!T+wO}-H!_WQ27i~a_-1smY=8xNT2KCC%qq^@_d}+fqZ>6 z@O4IzI`!Cn)cucVaZ#vW@}}l-hpWt7WEOqtrJ_E1h*T@$@l6k)!KrvDRShN|7=G%b zrhjH4?vObk7yFZ;bk9_PK59o-^}}k5g!-xkTo`}z1m{)Hwt4@+Y$2`Zp`h+z^nJCC4i!Dh=P^2J0O42_KOhGg58ICEizKqfgFv}MIFxwWJy zq1n^kK4rR6?;`5muk?M78%M>}?q8xlCG_KdnpnC-e-QeDxEM0$tBdZDpORM~jDq#P zjRrFGCf&}*eYSnCVw`Yu#C%&@o4z8^eFeX3Db7`eugSEFHdpTbq4=q^N8?1lz9a8y zrDL{f^@sSh2j~8^=53d~w*E#PXqt8fI^5rU#_!@Ki5s@Uwwi8MjOZOsSCbU}MUPXY zqbBLx8ADGAOv)B65?3*S4R<*numH1~yIi5XBFci=mP^BdQg11v)}J7@U#$snYOp63 zp=}n{-7?4_>~1g131XP$sZYP3r@w8Qr;lR!jARmH#A*KbJJDQkHJB*0$SG$ZWRzxa z6}8D$+k{z++?`A}*+}0xt*aUJ(p}!*^OAS>p}{LG765!6xg6g-cXJ)8$<fRtG3R7u18}gi3;qAk zFl144a&kvtBV{F3W07^VbRuQ{?@-;w*MgJ{z|Nwr&-P_vH~a!M?A?=wt#N>y9RH^* zk7n9mrD7rUfAu9^z z6-r6}U&{=(WMG7gE$pE*D%xNj+A#Ju zXcsip0~K(1X98w%9Kvw>HVADHltGAT8ww2wE4dF@1{j)kg+>qJ)aW;CgOznAA?_mr zK#n@&5Q|c1h$FY<;hf|Vf7`(q_-W}ZpR)a3!Xv2Ib5V_CNqC;F27`YS=;0~r*PgRU z$JbdrVrF&8k|VfVA5OU?lrueq+tesrbQ^~BRzEN7i2q`O-||RPnDDa3VrJC*UCvl) zoF!;mPrSQ9t%8g3tKWP;!^7vqq4{R%K|;K^ov4^&wKfKdZ9w8xO{#VeaQ=mnpj=Pr rxxJVR#>oVu#2CiX!f!Jjh!La*NLqU$MB?J*;$cOgqLNgWLiqmxWClqG diff --git a/report/first_part/main.tex b/report/first_part/main.tex index 85928825..3a56d45e 100644 --- a/report/first_part/main.tex +++ b/report/first_part/main.tex @@ -144,7 +144,7 @@ Wszystkie podstawowe funkcje wykorzystywane w Richardsonie zostały zrównoleglo \end{itemize} \subsection{Wyniki} -\begin{table}[h!] +\begin{table}[H] \centering \begin{tabular}{|l|l|l|l|l|} \hline @@ -161,12 +161,13 @@ Wszystkie podstawowe funkcje wykorzystywane w Richardsonie zostały zrównoleglo 5000 & 2.170e+02 & 9.077e+01 & 2.402e+02 & 1.368e+01 \\ \hline 10000 & 8.615e+02 & 2.378e+02 & 9.705e+02 & 4.643e+01 \\ \hline nemeth12 & 3.630e+02 & 1.105e+02 & 3.863e+02s & 2.133e+01 \\ \hline + poli3 & 1.291e+03 & 1.187e+03s & 1.363e+03 & 7.561e+02\\ \hline \end{tabular} \caption{Wyniki dla różnych zrównolegleń (procesy, wątki i tablice rozproszone)} \label{tab:test_results_full} \end{table} -\begin{figure} +\begin{figure}[H] \centering \begin{tikzpicture} \begin{loglogaxis}[ @@ -266,6 +267,28 @@ Wszystkie podstawowe funkcje wykorzystywane w Richardsonie zostały zrównoleglo \end{tikzpicture} \end{figure} - +\subsection{Przyśpieszenie według definicji z wykładu} +$S(n, p) = \frac{T(n, 1)}{T(n, p)} $ +\begin{table}[H] + \centering + \begin{tabular}{|l|l|l|l|} + \hline + \textbf{Wielkość/Typ} & \textbf{S(n,p) - Procesy} & \textbf{S(n,p) - Wątki} & \textbf{S(n,p) - Tablice} \\ \hline + 2 & 2.69e-05 & 8.17e-03 & 8.83e-04 \\ \hline + 5 & 4.48e-05 & 8.91e-03 & 1.85e-03 \\ \hline + 10 & 9.57e-05 & 2.34e-02 & 4.04e-03 \\ \hline + 50 & 1.27e-03 & 2.58e-01 & 5.58e-02 \\ \hline + 100 & 5.52e-03 & 5.78e-01 & 1.73e-01 \\ \hline + 300 & 3.33e-02 & 8.23e-01 & 1.05e+00 \\ \hline + 500 & 8.30e-02 & 8.85e-01 & 2.59e+00 \\ \hline + 750 & 1.63e-01 & 8.67e-01 & 5.08e+00 \\ \hline + 1000 & 2.67e-01 & 8.98e-01 & 7.24e+00 \\ \hline + 5000 & 2.39e+00 & 9.04e-01 & 1.59e+01 \\ \hline + 10000 & 3.62e+00 & 8.88e-01 & 1.86e+01 \\ \hline + nemeth12 & 3.28e+00 & 9.40e-01 & 1.70e+01 \\ \hline + \end{tabular} + \label{tab:calculated_speedup} +\end{table} + \end{document}