From e5a5757b386813c8088524c4c373468da135d3e6 Mon Sep 17 00:00:00 2001 From: CDaut Date: Thu, 24 Nov 2022 11:39:53 +0100 Subject: [PATCH] began table --- Socksorting/main.pdf | Bin 447883 -> 448577 bytes Socksorting/project.tex | 9 +++++++-- 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/Socksorting/main.pdf b/Socksorting/main.pdf index c7b9adfa04563c992587247898c64c1068bdaae8..fbc910c5cb59d7968bce073d9653dd60152e7efc 100644 GIT binary patch delta 30497 zcmeBPEq!o<^oHY1^-^1$>lVG*ZnvcV>T6{ZGaG zR@_uGvr6IkoBYPQ?4WDkZ|GEBl-<&prto=>&ApQuk5eRO>zye+!52|i&vQwc)wVa> zDcU-EzW-4Ub>BI5pT3EvpV?z(nEP0qU1`zQoGbiqB=l<^e=8IJ9NEjn5WThFK&={= z?1={lWK%Ba85m88Uw&qBtj(2stgBy??r~(%%1~pHIrXO5l;a=oo=C+S)}TkSdm_Wr z_e6$UJ~?ajtie1yX4zVfTLM!*{;2;}w=K8q(G2tOd#Ze{>KFDL+^zDy(7t2Cif5w1 zp9A)kfBHLn^3-~JS*}K>^6cG<>^`jB!pR<2SLwa$>(pc3k~W$?QrFK0REexV%DOgK z>cRAH`*i2dd^7dN>Yf{U7dJJqZC4ju)BMHFoVzf4_PH~+T70i2hhC0&cyHJG+mW9x zn%2kfJR05ixN-KPU1v@yn}p6f-65W~TKpPS0mO%FHVZ^}L+;bom9_&`VN@-~PVk`^Y_W zYi&_MuC^>MRx^4QNT;_dMg3o+MBTdH!% zNJ%kq)kF`*XD9X?Kefa5i?pamaz@bST~-rvH|18;KV$sS;{8+Xq@vyOyTX^O$-4bXLZ5wI@02t4D%I-ke>i_86nZ{rE4EoV`_B944{MH3 zeA@Nx9=G<%=w*BAPrU75kuICYZ2dfb?twbTS$nr!T(fj~_swS#cf|_69e%#v-|VWW zdi2ESpZ^Ftb3f95zI;OIx161Yfe-Zl^UqY;^pS0ED0_1!KL@wo4&R4W7uGAhUv)OW z*_N%n&RD{&kvlxk#qDHTPwfje6P^X;$tsMO7H+Oh)_wb!^J&4gxhLyq=6Gb994%mR znH0DB@QL3%#+$FD#%XOxD?Gd=wCu~;BBcm_qwTA!CVZ}`Is8(AXXVYa+g?|vWo@2S z6l|q=;_;4>jef>At=XqZxPL7Z+HQ4fyn?L*D4AZ@*2}QV*Fz=Yt098?2uHxKb7z zc>F_7Yhr2RDobBa=IdWy?R>S~fALLDnUcfN|F7OylgA{H?W%U5wsKj(^`6Chg%uvR zNL)HE9lO9RZxfgIqww4XO5(+$?z7A6=xb+f6bKx9zYF zTK=Mgd+CYRg&hv%e-pJQHwT~XKO6UZnb+4d6CP!Vl&j8}H8o4J*gx+6!MkzlZ?`^N z<02{hj!W=X(ih*I>$km~*YiH`&b6Ygdd0;r&$&e< zUVq8qCb9ULXMz3ndyg|SOdQ;1UR-)`v37)H&!;PEN_l6>xvp8VfLprN<>}YE$5)66 zOlu4M^mf+QXLmPDym(2sg7v}^mg~)SMWu(XKiyOMp?sttZ zgY_R8(vFw!cHTEjQt7}-HJ{l$K8fp1jz{@Se#Y>)rMqsmC7-Fskr^jnRc?x#?tI>a z^+m}3<)IIDZmgO6_WEYy#|I34-<@A5-2U~{0#}ZQOcT7=QqRTrb@S8^E*eve^;Is@M-j`kI~ErD?o;v8GoiIzRyCDZ&$ z_mGYEcBONCI!ijPr7^#r(Q~3+Fmq9mr^8+MV;XN5S}N~JJ(~A0;auZ2k>j(Hzi75! z+;g4#k7DeZ-S_K?d)!;gl-NxD>i_RN%lX>!BG=;M!ux)oH4UGKKlL)QlIfL&cgKI->0<~FJ~UuU%yiM|Bqb34pGm5cPW>$7qr~;4Sw4t%rbv> z{R6emsOj$*Vh^s!n817HSg_tlfvX(8YK=+UcO9=U*_AveeeOilWlpoC(&q+*KD?3R zqwb-8SJ+FogN^(V}8mzGurn5^)=+RN_R zwK}7vZQX~biIc?>BGwown0e3r$eE?WZtN9Zdf}I5+c}H5QljB&9tI1`sRxw(6SrjT z`ulcURn+HY^~cR5dJ1MS+iX6-^;T3!VEKaAAyW%3Wq)$Hd%>inabeT1XGa_zl10x{ zm1m#QHVM7>h%dluPk(t(T%>wV)8X{FFCCX(m~m#wDXv35Pkv1Gl+@xA{y5FiCba$5 ziqy8!qn3PIcfBvQ%8<0WGkNj5)}32Je?8u^Q2V9Dc~PdnN$;1{>lDXMPj+g1omjO~ z-{n?mObYY8PcAuk|5-84m~q%yT>I$sC5N8xJ9Ko%#np+TDY_O9g+tUXH@o{e?FYAko-g{?Xz2F|% zn`ty>+VXAN_3eB$dmgiNOgeF6!TmW5p07OlH&<$GOD+y#J94~IY|fEdiMUr8Wr=GK z@4GTftoGlhgZD+3rB9D|DXHqb%k^i#Txr0Av zhVcctzoCy^6FfiM4t|+cu;!SFiL-BS*m2%~-hjGAN!srxACSIha^2{osLKP9>E~*t z0(O7z)p%Ziy(Y$Mjb(RwDd*Gub_*6KH=k6#QU6(+MdZ|#lCMkc{(ZPB9-4RK&j!Q2 z{k(^inJ>;-b3w(TAZ?GJ2#dp!1%aIT)yiAni@#Ob`b%|l{7uctMO)|bDJ}J1{xo6T z)oZ6NeOjb!x@f2Qh4R~qoHc6i&1Y2oSMmO|MX)_UT|VpIy{q+QQH>6^opq~(C*}Rz zF^l#6<*8BGX>)^mcFsBQ-21Pf{f^4%>lsaopI-A`z&f$;&Y|7+<)vBPPFQlWuh{R7 zOfTPRv&(aW?bW{uxq9@~XswyOTSoTFvI`eK8V60?Dt*zX z9ddkn!nXk*s9&W3k{D?YKwcHU#16%e1XX!D^YnY^P42Nx~PK3S#So*60q{L6=_(X-de*W2ct zo|>&P*=Sa&@2CHBTGn4Pef;N)=ewORX1$Yo|3WIc#ck0iRlic+T}nlFzOGzVc(VH9 z<2l8llY>$WpP59jdCRmUt8AiBNZLzD&36`7S0%cvXJiKcaPz$9ye#5;*UVYsPmaY; zDe`zdY1Zk)&^_8o%qzEbrD=LdtbGs?7p<6IA9nBOauK^yU7N2POqR3mm4Ena>i44T z>9K1jZ}_nLbZ}QrrjyV5l4_$bZELNHR$FQ)yqM<_y;x0@f9CZF0l$LEv$N1;_Oava)jTdbP}nT6-(NndyDD^zE&Ow*EiL zC8iV@J@HZf&t@wd^Er2qPfxwk_qS=I@wct!YC#oCUR?6O$+3SD>zS<~A7}iR)(e_> z>V|JiRl&-|TU~a%E)m}td+>wKb&LCKccimG)+zb#=FtGMsgZoTe;(+s&!7jE&~ zEb3+HUl&$#n0L3E;HFDUmDi|-zxw}7JG{W<&cO$_yN+Amx*}Fz&yW-z5SY^R^tt8q z;O2#TJi+I@AF#zfU*YEP--fXzDR<61#<`l!Px5cibo#DsckR@c>95w=O!$}6J+p69 z`genEAuITAPI>)>UHll!xigzi{eC9;_V3mW&v`JzkL>$zRCWdAay>@~)Sw z%JtLD6dv2%tz|Mvvk+q|EE9jMut>UHOqJv2dLf^^s`~Tg|FM^a{W;m}EYR*Oz}W6A zz|`(6z`WgAfW>qNv!SuYL`RYOyEZ5LR6T>f|LH1UBX&ySzPRtCps@639fCqUSJu8{ zW-=6V=9kj@W0$tCb!K~Y#h&Y|>{ql(_jMS=pE;9jF23FV-jTQE{_*>5|2_-;Ia?%J z z-hZE;blLFEKkM3Gr_WYINdEaMzrDWZ*Wt+;)j}otQFoWzS+w=i<-G@0PTiWlJ+Is9 z%39A>@23B+x2&-WVC70PcKhZK^cNx}(RMdAu4_|og)c9x`S@$iXDgdOi?-ApHs7@7=BZEX*FFDw^E&IE zi@aAJURob9e@UW%=B}F8#xiwN)x8WljNQ|lv+nTQ(o zY6(SE>1gmvWJS~)luA||-#syN_AURI{@20B&ceWPrqaXMsmtvT#mGC`cx=whmXf>o`o)3rgQZWj{Zpbn z7ENAuT*iJ=OB3sn6t?U+pOou^1@d1ydNw_{DKT}%mUx$>AV*fegP{fG*DfXT%(XLq z&LQfQ<7hH5?S!EZ^9!Rd=LA}>PI-AV<|bqB>GG*9>(8%CT6}S)%nlouxSU%v^PlhM ziqJkS(enJ13UkeK!RJ5Z79L?0>0GyPiN_1A>Gw~uh}UnJ@^u$W6#FGk`N$0m@5phO zNhVIc_+F?D?WLOeLT28+t!|oTXj}iUw6!Mja9)$g0V6}ft@=v z6%6hkp1%LL;^7~L52y0Xo;2<7A7P*H12GcKnygtnX1_Ww%C=^LZk0)?gvXr(d4?o2 zP2>6Xf!$X#AGmMu{&n@Fyx-2q%o+Ayw%BYuBXgrQPL{`*|M(`UG_Te5XHQlboSo%a zR6T*P>F{ zV%3&o>G3mJGA=0{oU&P-@7We*qe=BAU86;Pra9g8d30(2E#aA)*^IA$pW-(h`gV9F18W$^B!8|; z$2y7?Sszt@elV#d!D)VXz=TGH1R3^dgLxrrEZHwEHdRIKP2cZpD8E+f+qTM$&$V2d zlIvwc+P4OLf3KFszK^%-@SnGq%S3bTWt~q9JLSMwc}C{!9Nh6weZSp4)?(7<10Tb*z(;uk*z&x)2S+r8w{O>tDa}CDxGqz_MDD` z%UToJx2FmjYZuH(3b6nC=dkQK=E^%Za8g?LT$Wk1QbPQZM@uve`fJV4wk~eUVN8qLelWf?#HS>>N7qaF@m=?&(hnb` z?b|fbpRGT?b)88avwQu6bxUtE^UywX2AR>I^gc% zEj4#{SIy)I`f;sH`|qdQtgOxr!i$f8?$P9szI~vMRls1U*N;!9A0=olJaFWat?b zP04+HxYbL9BU6S;%Io}Qg~mb$uZ414LR&a^DxR|GD0!tv>|^a@ny{nynJZs$qFvK8 ziyEJ1P18Gb`xdFPeX0z(>hU0at9xjqfaRCCnnH=5K9#@;&Zj=6_KO50H@C2!YN(&L zqkdas99P42ea{v5GyZQ{zpgt{Okl>H{RX`^5*?54(A@9t-PM?!J;$Nc(pr#RTGL-w zaC#S8-|2|2+pSgR8hGUdw{ZryuUf|Uc|#w|(J%WB{+YJarYueGk>)A-%*~MHpg!3?Tq@h*zbtp z?&AWt3rv|prrrPd>yEhnnM)b#&0Z>d$HXqrJ?Q3@+4+6t#CMmB)*Zc)RkS_gu-@B3 z{~NQK@5Tq^ni%>N>BaP(5&nLw$z0czw{+=|y;k0L${k)!l#QE|_+Wnn4|k4|`<;!Q zmp)3o-p=!@-sudRnRw2dg;$j9Ske}=hMalEq@28D9ZQ9u;vEx--$u_S9GG4oXTj!h zltF6IVb0TAnO&pz9G7)k*4OIuwspcvUd!gdF4hp~A56iwl}~aT-0GY4>~FiJ;aZ!? zcdqL5{nb3v(>3A$*W*S}UJ zM=xI;)Va#p{NlpKD~J2NZ0kQAm!BFP{nXdn_IC1&?UhRf{ltE_N>qiJnmphOl+ipM z^T=5!T_)zm`Vag850z|fi{+28pKXiyZSdkfMIUkh&7 zw?HnW!==Z9a(KI8b0Y?y;o#X+TlEYWyL!r-J3${>Pi1iau#9 z>aVm~HnmM6Drk=OuiKZU^bFJ^Z(CiP-BC7CNNdmZnr#K0T7fxi9Zg?P9gI=ss?lkB z?4bRG$=*7}VUx+LkJg?^H@EDF5dGQ}b=7oEZJ0os_%p|8r!3t&s-NyT@j`?7&ci1X z+l42x@T4v}x9HZ7?0Th>iHi<>tFT)3i@&dEsqG7)wdKEcCLEg}74%o8^2Us^yRTJ5 z)|wUUdEGR{aYx#wjX{-uvY7TPd$SbB%+0?6rbwftp)J0#p8fa$0I)CR=g4{{6#RkJ5zK z0x9!1zgrcY^`6~u#c`Ko`o%I^-U}R5j&QpfnJp=O`Pc^4ZAD*JO84AMuD)^2OHJnc z^h3_e-Y&P`{uv(c67t>DWdqyMrRB*}UpIcX*nPfQQ8~tdv5AFQzhFfxE5jzX&%8V- zi3~0Q8~ysyXTGQxJb18FGiPyDKwbUX{~Kj4YV&Qq^xrElNJembP@t;*z2G$_QzCDz zeH`VjICX`Mw#nHTZvz7xO-+;ZnXlhH=B{N6H?mjExfXG2nu*m{g~0f4dU7J?o_d-_ zyU5Qv`F`>S@#AuaHS%#CLEo4BT>d)bO!D%{&&oWDJ^o!&{5k2uJ1_5pHuEp(KRKel zx&B}7t!fT0yIsy7>y2LA(do_bnp%G~;pb(&yZh{yM805(b{70OJGEfeA=Ag|wmWY% z@6dl%+s36HX?S_l`qq~RS5`lIn6YtVc$EMv!?kUJ6H2v(f0>BM1+K7Pzl81GZ-a|o z84EVNC_*QWd&9Ae5XK&OxGLbBS0N;j*yU6*${-1GAC zp$UIa&wBpm{M&i0+ba)l%~>|3~;NvNg|Nr;r@1DqXZPw+7X$L27xtK8VLi{{4 z)eUu$`xWY!g$LdG!_B?x)#Lkr&g%dA_HVv_y~0%I(x&HDhmB`0nkMSH;pst*#Z#^v zn9Y@AVz4ntJVsT-v%aS*%*3H8OenkO*yRJS-&xE{%C&pn9_F7nt4GL-`TEk+-fzqN z%B?cJR&m4yEt4tF$o_V}vpYw7tEAwJsr8{pqzznic<%3IUf=t^u;!}+_dL7sNm6qR zGW&&PxC@r47UcGx%XOUbf32IPuEP!u0lf!VY%k?9r(RC@R*`vAV0HbYstFGj&cxWi z{eL{oQup8`R`)v+GrwH;pSV3nSuaCv&F;Dd@$1&ktCk^*`ic+stt^ z`R2NpJ03YbxL=`jfL|s@u&w>_#(GAzdbR=ULI2REqk+T_=1l*`eKjY_+b$zOL21#k`zODqjn)Sv|jMDRe?0{@)fM{sOZD{pkkb zN1BxXb^L}G>mF5N0(kEr>d+t9f*nYH3y!&xk z{kPNBZExFu&Dl}Y5`SO(X4tc@X;W?93e4dUyC6K)mP=3D2Uy7yBcHg4s;vaQ?Qj=lUg=h@Y6Fthsv01BM#MmtDj<~mwAEx*H@{JKLmDqWIYUN zsC~dUp?{L>m$vdrz1v=iN*&UvYArEXnbCc4PWoPxv~?~XzmHbvpRV$~kmX{wuKLM@ zDU*Nh=|A=$n03AU%V(Fx)w6ELUn}1) zUU+EAhDREgzhB-UeXQrO-M@WHe=-zxwF{m38|H3)W-sp)4O^aTwG$Gji7{0Lw>7Ux zdBl*SDr9?OYT33;8$DR;z1S3{vwNS>xvif4#v@TUbVB*jzH@qBxsU6$oY&vhsccH0 zb;|tajJK12&2zbCw_{doT`$Bh zCSfVMCuqiM$sb)Wzg+qfx54mR#oMIUGi$8xoyd^(d8=5Evqa}})Bjr+TMnwINL8Df zCU6u<-{Cr2@w+?icHCmgJEj57JoRaFA20^j8J{cM;M#UPsVQ7;`7RG1o$^a%?~N^X z@?Xd>-Oqo4_Z_pzuDA_1nA+3c=khMx(tffmSBW<*uq(SVr^>RQ`{28#sX67V1E!1K zsJwVkr^WbQn$Sk8_Csq{`Ds66o;BrN)(Y*^q7CyJn~t`I9KZEE#LhM09Jkbgid#(e z*UmN8zn!}`;=+QhK3%nG6*;>us9fuK zXHaF}%gyU~ADZ0Wc6d{di?yiT{a;7&Omnwy{#I|ExZJJ!WqgIA_tq(qtkb{TRb}0k zKXHZf-1yyd?7hzQ+nCJX{(Fn++do&T>)Bsz-u^9azw5Ps1{BB=ZdU)Ms zzket1zKiPLd$IoNUvbgPhT@U@?{e68Z(W@ppmN!ldHuhDL$e*HA77OseCfKk_SV$~ zL2;9-Z=LS>^637b7PGqFg?SqmDK(fsdomFqNES$tmmptz^v*rTY6h9)@|?F^1ZMl!E* zdBggA_MWi!$G3HuvPFYi?3dq140I62{*S6lpXmGAw9yVf64xw}tpuZ+}GW4o#H zstl^p8rdg;?w1=MI3Vq|@JCwEmXi}t2OSE~O?uvZ`ZuT z!gQ3;czVDI7IkJLGxO;mFSCi(*G@XKZ@7=R87}k+)~KT7F_DdC3*F8 z=BfWnZ`{iGw%S5b{Y#6cWV~?7to-h>;=_;P0!@CEZLhz(zI$f%BRy;TC#R3yvsvo< z(sjRQ_Q%N{#f#0YzNf$aS^Vd7X2I!+f6`=CIJqSsR2k>L5?{$s{b+jP3RYo8BX9ss z4_?S>$7E?d{mLp<`|Xz&vMyqq?tg+sWBZ&HtQQ%<%;{5Cu_|z-{{Q!ni9vJ~%k1fi zM_EM}O+h*wm@Et?I*8WqjpB@%61v;|vBeo}B{qwfI~cU`GBx;?eaqarblGI5B&l^A zJPSBFbo4Ttxp|5c7+6!-uA3A)w>qk{9JyO`At+e;>{6B6SEjw6xAD5w_sVk%N>~5B z`u^X(_igje{oeO{PWo^A+m5W6_vUDbaP`(5*>N%W*w<^vReL(Td-}aS=GNO6veZdD z{Zd}GOm5$~z9Tn1AAZSw_9fWrw#oaa3%698{C~P;&&uT8eD-TYOO;#-H=FjHJyvO2 zRnq9$zgUj(hs~kI(t+m6T#FRnik{avroBuvO*`p-PfWl9y$$wzJY%1%@1HF^caG3> zfw%VQ8|yuCVrpW7CjGzR@PERQA3yBg)eBEvB>cx+U2Vyac87v)z8Pjn4j^% z{J`@gUv{)e{J(he;>CZHg?Kez3ZA@J5R+1J=+KMS^Sk;vFaG{6BRp4Nu8iP&`AJsl zc6y&KUXT0tvQTqlft%B*%NM(q7Eca(BqaPtS!mH8^}aUW{X(@{>@L)%6qUGml}yQ2 zu9KcyKSM_N?R{f2Rn?a__tk#XVBW_WlfmKB;rH^X9jD*d_xIP&U&r5fFiA$?So#r* zfS%?f781u7)Ftt}Vs@UKC#QL)e$oGqBR^K$-!CIK)k6K((G@RRrtFwrQuG`yR#a{X#Ca1e?2Y<1C!E@c!wtJ#kxBR+y`F^p}>zQ%;;?AgV z@ZIsuZ{kiLR@0agi?qB|yHhtB)V5YRP&wPtZ&*|R}JRlLU zd`_V|Tr<^1R_@932*%ycq5SNB?>Ig-v7PbZ z!jos3=j~72(&FD#!~3+RaPdQy=fzvh%wptJ-rid`EBfB#txMO4{JWDJx4Ztk=jVGt zCv|t9Jp1%xNS$BP-5iCSbkijJlUHszS>C*mF`<34VW1(VC~0 zE3?C6x5e4H+b_SKbUJOC*Xp~A;-jbJ&8g@9oqVIIyQ^qh-4CNBStS>LEtv)b&ZlYaL_O;{B-Nm+h8~4n5 zQ|#}x`OHe^Pe!4)gDg3>-Fjp(Gtr=-_wyPviOD=|-!(rkiRWJ`E-i^s>O#N*QwT@^i&r~TCp`nS)H*h!q4qcpy(E@Is2U0eP>zYNjf0itC&UL`kKKQ4%U5xgpP!#C z*!>~&q0{5vy47X3W2NFl^H-V8pSW&!WUlme(Ns~1zg0T}6XsaR#3Wu}ZLUu${7_=C zJ!-S0Hdaev|cw7L1I`liiB;lT|KCr>dgPKjP~ z>in70_qtx4S&=&R>zUWycVqL*T1!9fJZxlaa^`XS>^GkF3#9L4csx?!_;SGBaFXnt z`mU5)(mZqKZ)H~Y&&V}Czw6D^69dYgUf@#{;na+8s^HP3S zZFPNG{QT+FgEQ9$FxMvfu5mqOw(?r1@0|Y`TTh<0+e8>&u~&bP zp0ni=^VPcE43D*b?2C`Bcra(7R@7njfBt{&NnSYi{=pepffM=?q6aPq?(X}>HQRV{ z+l8Oe4E1t_&$cK|^9fCTv$1D=%OBA-i~7#43z12=mt&E=KIQyoW+}g2%+X79`Qj{0 zj3@DiSS3E+!}ilQPsM1axZLNg2v+Hb?%gl9%}L^{spNkXqV&i1g5Lfczl$F=8><)H zIuxZ;{w&69QljVi=Ee^SyJOjnV~U*bAE?}T*s9=1NAtuZI*(j(Rm5Yu6c$fNiGQ+m_r1bT7k;-M*A=Mf3%WMb zmbLJy$&sm-ef~)|x~|LpXTFI4HQx;XmF3&~!V6qAH!S&Z@s`P)`nC%XJElt~wVi3| zJzz9H^Puui)+bXRME|Mx6Jcv+(d&Lx+p}l&foBY@>%KiWIHzRGw1T+S`?nSzd$rcA z^Rpe_h1;2HLxcIAn@IU}1-@aJ@k5#S66+g<3Wa|Sk>?yQt6X?EVK1Zmw+D%=bLyAo zN93Fh|MnKU`b9+>wivUUtlTnf&tcEv*HsBJvO83N6;F^m z)amNVyeic{-rr1p_r1u-^*hcp-7qwBIJxP4_8i4md!uu=>fF=%K7sk^%*W3aro27z zIXvoi+ueQo7TTtT>!Vi4SA4xS{qwO4iIe86U3Per+uAugO)+y**Xyh6cN*MreShLv z3Rj0_J)=zg&j~Xv9j8kjIGOb$eun(>{NyXo!b=XSU61*+W`X$4uFE=)<~+(4TadE) zMhS25D*nJ{iB+Qf|&TToHM#pe8fUMo*nVIIoC`4YDul%<5_Ekvd{n8 z}zS|X>1$dK%_oP(zSj(iRAKw&znN;%s{fU1s^HbhW{N?e@Xo~G}mFFAJa69hTk=kKZJ!9%} z?RO1NS5Mfy_FTZ(gq^Qu)z6AMwR^+1I3s3{Wiyi=FN<99{{OL;iVwbAQ1;tAA$VCz z=%!El*HZpxOU)~K)wYGbuF3qVY{F~(&VN@Mt6zjZpILJBJBQjS9;t6uIVb+UZJXI| z79r<7^KVDO+NEcv%l_wOITQAoE%8&AyW0E9DWA??cycc7K%K*`M~+Od*QPMb)t9v0 z_`w-6r#OD%XN9)x+)qoAPD_`_vdl1w;$d{_4AeR2vCUA!=2mh_;|i_F4LXwCznjh% z*hx<`V|aWh=10k~w@TI1CQopSi0_F%w51_OJFn=r#&`XR)saurbEi39VY3gtlGc^} zIr!!i)-yU^mv4HSSR&>U6?ZQq;jeRK`HA|%0Dpdlh#5wGR{cpD(hqVNFCMtb=KcNL z^7#`NKQWxlej;zvapUcg62>uEKW_CGR_<mzS|ia zFZTv~x^~%DZOio#Kepsgx(AyU`rKdeJY~`aDZ6X~@!ms|^aEJdXq<^ikvR5Fe?nUR zoY-sKK^kIN`qdx&&b==AdvMBohY;^&MXN(Uul%BK`zyDh{>|bRn@ zcE!{@H>1kiCLWU(#Z?LZSlRsRsz;VZCEKel!C#)NFh6W4{p4+Q@sfh&9eCH zuyJm!;;Xur=PM1T)wVpZ-&$&Nq*-Z$on_mh{Vg~DB%e5%Vz6&_D*w93jQ%CXFEq}r zf8F%_pwR~5ikx!GHGdACM_RZg$nLM{^3D?dL z-LP;Qi^z2emlM7|WS?wOl(|LvvuR#+FPk@iV(Evb>reb7gG8FI21+i!kzVgEk}7a* z*CzF;7dTb2H!+8bba|*-9TB&%Ftj~5VbY`|pCz9&U-|8lH4#$aGVz&ME1>q*u+#a; zv>P%zr?$O2k?i=O#h3FtJByRK>=pj`$+PmGTXavAy0KST>!F0rq-jbso7cHty7yUZ zndA2jnK$G%uUhl&L0?wYggoIh4Pn{|^(VE0r=8R}srx8&Z?MzyONJ$1Zm!^O2;&c2 z?yxa7C|39BuE^&(kwIU7lm;wbnDJaX!msI*>XA3+Pc%l|-(Y1wX<6h8xs%1=ZnC@U z`qp}f-${8J!68yUr>6JlA%=ElrL*N4Zrm5O7kr3Yr22~CtFU*_^>~nH9+g$&8!Iq4+?D~u5A`7mSMD)Eb zvaF1{zk#z#{Y_|x^#zvswFz6N?mBWLj4ka%n*8dmnepKd{~ip;l5L#Cf0((-u1X?g z<=+oG#k01po;c_5B%Ui(lRoDco-|&O^X8mK`jso9F=7qx^*Wpw@9$-AnBkjjtafgS z4SVC?eXE0I66(Cd>YrcPB_&|7Y4Svs9L~x2PTl;)yCbva<&3ZEgLc|Zo&CT0l;f39 z&q-z((~31}(=V=A$P@c^mqtd!)@>;nhh0xE5qEpf%M?C+ca_^ErnldXjc#(SnCj*I zIkdCz;c2BzrrtZ-Dvm#rUGL1zIF+Yjm&GD|uZ3=t?jBSeaL;qCweH3!+_Q3@up4f8{*%) zHScs$c{w%o82?5yi?wBmmp)2NKGVVPR4X1~eVlr=U|X2-tbI|9=>eu$H-#TZNMG5*u62NW=O;l?jjk(! z_v;-PSK3|-csrq$KcLgP=Sct7Db-oC=Glu0^0c?R2{EpjE6h{ZbSxuP>ldlipI=mb-*}Su7bXGOWR?65mv3^q zk$V-HKl{9BGg)3P`}(i*joNKaNFJ1F0z9y)wZn^Euf8wNrtV->ryALg# z$`eeE>c%I2Tv~suc7CR}%KUtVlTr7y*d|DND$d~4;oiFR{MD&H6=od_(3lk$;Joz0 zcf&i^Z%9ZV{OOu|a*gE4Dl5lX>!1C}P7&sov$)^zqs&BAZBNQ$d&!eR2Uh!SpYr+t zCG$OMPuDZ`R4qK2@Ko&NWe-b=qxgx&A`F$P;*312o2BaI4(lA1{V?0YmU2Jb!dc9Ar1xeGUp}XGcJ2cw zSt;K9yy-Ug8S_J8Dnq(>65mcSpUWw=lPy7=sfXi{)A9*SjvF}+zdCO4rJm*Rna9th zsv>{+#m1E8$EXGLw;n|gb;-m2K{nL)MIuUsa)53#bTbL*Hg zb#{68zSZ@MrpK@{Ui@47Gw@^iDSm%T?i88H=l0B8|HzD^;_%OAwW{zvclTw7S62R6 zcjCm49~t-mv`G3G48sY?so z_DwB|6`kR6zo2WKVPqKd{QIw^H!;p$u*_vwLzkr5{s+rWD;CsOu5bv=PJhmKSgm|_ z_eHKmo~OQMv7c{nU9I16sPTB%i?1iRl8zQ$=Q9eL!W7`^aOL}!TUP>lAC)!EoyO5U zU+`|;iWTz(9ywpE&6eV|PB-1Ua<<^!wXWNaO|5lRx%Tp!@`j_ecUc4%Fg6-6Ngh1F z_~kAq$Jy^6E*$J_vzw!n(^aoJ^}>dSw+lIb1lZJR9MRI4DmF7k)pt?g;{@qD z3%oKf{N^vny~S*WUCN4xfYlOTlO2o_Vpr_@Ip4|c-+m`G{$Kwu)NhuI_*>r)To!Gy z;gRr%dj~(1D-@i0bhBJ4FwJ>=$H^lXr$|;QemHV>dcz@oCI+Sa4(Y7GAZB*X`bBG` z+>=>D>iuIoue@!GNch5VKzy!Rc2@9oo>Ll|?cYthX!ve5|DMhH&!a=M?(fN26aW3b zUYkKs*vB7Y9OCuMmW9nqk1JnM=UvD;wQT=Ht84ln;`4Vd-zQ!jq_%JUCC!)m{yyuO z#W&wt5PE~}q2-)?ChAr(pVs^fb(MH9r!}WuC(iAkL|p5^bS1X=|NV0tpZ_&n_sG@p zY_dkFK)|Lyp)p5&ch~RDig_5cGkxP~+m$U$byi=dP1SKy&VJ96w)e*6`OYufi)NHs zJ+pna&L-sDt=f(|*Qci%?0t4jZSNcP)z8n&zG>R5x&DsUpAXCCKliK5lk#4heBDlf zi>H-2Qm6j*>YG9JYu5C5Enlc;-Q$#VXyFNuw8FY89%?^TFE6P%tf$F8?cdCzzyFy} zO*LOxsCLeH(!~A6SGtbhdi%55{V%KaA@88MRsOgBh5l|l|5WLyd%}z^(aSQ0*2d>N zg8Ce{Hc#ZS&Is2%zdq6D^MQm4!J-d2tK!A%#F9LI^Jc!eU7s&9f3f?rfA-ZW-<11r z{=L0AjIqBv>-tgw$<{|(T{NSzbN5NVe0GNS^b+2kv-h1p6|8$Qe%9_8e#z{E&d6)a>drsN*JZBH@L;I6rQ8vA77Zo?ZDE`9g*A(z> z^^6s43-uO+?3UP>YS_Ev^5e~m9Z#)ZB)fCT*4&x(Ogm;XF5PmiY?k&h6RB4s*B$R~ zpL^K!|1+;UM|MVL7yo^iutc-uL;xzKGsf zF5muzZC1hE6YevT9zTjP|CFtEF>}$=Z!7tp*6+FYutA{EQT&bdd^M4$ag&SkSF_CZ z_BCOX@U&C$2>J5abd-0V`sL_%tldUAGO=r!0sj z>V@QydrBqs1%GmF^$%yO?8y|+3g7uk*hu(dt)PEYi^J|#*Rwv&i90i`V%?@+GT3#c zDDGWh*t;U1cYHT@71Yiu&Y9J8_QWNTsBcNatZ!dL34eJ}VJpy;z6wmGi7pWh&z2nlhibkC}a_{YiaI3SsOg1c+inu;?S!I0*>mQYiQ^hiFb@!&s zx+68^FI&O9r(*0cj3=>lWVlT_Gi81Hc_V#xxx+=%81?20m~-z+=y)c-_-?ea)luKW zx;ZaSZPfi8!k_!FuCTMC!>Vhl>a@PR1q>-Rf{JSEHa~j1tMWsR%KF)hG=ye)Opla$ zGVlGVx&4czrk(nj$=`HIw0`!S#U|^Pb?xu$@^-qr{jl}QcM;E~zLHk?Ggn>aw{Av_ zT$}lf_$x2xJ^o{}Z{3#HT{`T=7cW?E>h^hhrdzj6??$oN;VB9}Sqmh^53hRzvI@y>r_AmRG`r|3LZq1YuBeQ&35 zxhmPHtlAdBdiIQ1(%}dtzbVI?>h1gVGnWcVsR*#w@7u|q+4DK)Q_ zy?GVW-o4#fw8!nV(R;4k+vRJgh8@oO>|^)J=>E%TJ>s*U9-H;;Aa8z7-ODL*%ii&) z{>pjt-J@Q%-ss-z`wz3fZTk0BXrI*VnV*t!!gDrH_!j+b+1?!&|N97TcX_8PDE}e& zdaveN<4!rvrSF=jhIVgyadcKfk+!><^WDiCSM4)ZIleDnz;Kbzy?ZD2KWqKn_Ur8K z?8~o`lKoQ+W=}l1JUZvruUEhASSIJLEy;Z|v**2N3G?oCtMqp1*E?rSSmyF_^6Aq1 zr++WJka8(He@e9J+pp{XeQ*1_^-@b^Ux2Cp)Vx*B>s~k8zD{`dCDSV{`@08o?p6EO zBD?$47f4Io`?Ne!^MCP*+6z}$15eEh@-Mz1vV}$0LHmNx7PhrEu4jT}8j}Q=3j=tB z6!<17FnT!%O=)~KPh#DHLe{o=pFW>9B+M4g7mb8(&uF@)@PqTm(HBY=RO1?q1cF$C zEM!z@H#{!DybS-CLvFEhsv*)z$OA|V4k)xVpS#>Jf|Iap|{c9U`x9sk) zQ59inXW?VwO=#F(z5ie8MGx-}^}k*ELHyj&sI8zRCCp@K0GVi2J;5p?oAUqv z8Mfcw|Jxhzq#ihN@W27bjhbu~Ph=SGq;MF5)lZ-Kj+J-%{Z*_cEEbl=MxcE!TcbH0 zf{$OD$DtVRx+Y;&h;KoB_br#~+`HFr?a(h>&&{%et0RXgOQ2-}r{F}>hD9qf?yd?f zbX~ifH!Jp4)2~;@f^SDfZxy~D@xJ~X@1ok=__zOmEs@nfd1j_@`pALA#Z8m9Cay7C>38_mjl z|2iLTc513!#`gOs&s+ZPxV&FU`|^A368{As{`+?h_s8A;6cZWi|Jki&I(*o9_qP20 zC0~AYzL(jXzoEY3wUlz>s`J*eRvEV*u9$kv@6wG(sryrp>0SCE*C%W3k$k+&V9(|mt0R*u8uv_n;v3X|Mg86r-AfHC zJcKVzF;PD2$$e?k7NxbG(wC;yZ&A({j=waoL_xN5T8UDuNBAeZm%hIy>{}xL(w}WY z;}d72ju$5qj9Pe951%M7YU)v0d?LfBt;Xlrq{0-NnGeja`WSSK9a4@AEJ2PpwKfUL6Is3mz*G^M=F8omZ z-dx?p@|Axgr^ica$R1nnJWukjO-0Vh(&<9emMxhq{yE~=ads~4&rj#)Jv5!!waMm3 z|4!qpzs@>UG|su6^X~NhixO&BjVVr+|rxDi$ppTws$`&Wj-l-bUB-n&{ns}8bamF z3zaIF?F8mOUi`yf!k(8;^1o)Uc;{?4<*xs$E*ze`muKFdwd{!teK-57@Rp>0kJj(S^qs|qFz8Vv$#Epk`s-I&J`|$YIu1yIu7;XMoPL@BGUz&4Q>vmQ1%lsW1 zD*G;l;3l zHjDR-Y!{r)WY)57)#cW#LHTF!#9<% zrlxf2noeIPnQ0^|a`W)|+cJrs8*0*T-COfCL}S5a<|}vBEV%2lSlFE-ZSfqjXs-Hc z;?gU%t}6N4Oxx5S$GC6h-G!Zd$|KZHu{E4I@uJH?T^CuX{9 zo>$rS@M|-OHId;L5 z`H%0+@|bXC#f8P8i#DaqDi2t{Q>k!c=0nfLqDPa>a)mVf)|+o@tzG{p<)d}AWY6~E z;@}3;87?Ua+>1K6QxC*xU0B_hb9DmSpNPiang>E$FDYK%RsG#>;+JpR?umICoBZh8 z5gja3m36Pa@n~$(T7$YrbCtW;CoH}9%OTL`GW!L-4R0sjxwCOmh5zEYtVgDp<<_5M z_bK{uI&K@^Ql>>KyN~QCyu8cm_oqEuUmgwFq#w3r>e1YTz5 zq==ZJL~pD7!F{gn*Vfy*ZND@rvqa#pN}gMVOGwFwLkhbZq|ST}YV{Ynxw6%ydEN48 zF|l^;xbkrKCoDnsjn}ip1s6CiPRadld8;8bZ||E!+ct%H-Lh59x)^cthTY~TD?erI zGi;u<(sJso$^A>#EO&3I&8y#eZEB>X=gW_;`XhEp-%YTaysdlLtRUYK#a{2e#T!fB zC2`eH>b+v}B=%lUd)=Qt0sHG23qCsCIkn`hmf2ayDSt%%yD$cA+&J0n+qad9>9#j- zMk`D``Oz!v^X%v~$I6@Yio(B|SZNw6IclW*eKKGDt;aoI*7e@6U$}kVW}^7Mq<)d> zyV7!(M;VVLRxJI-_t{TZdg4Hn|*dq6Bqy5 z+~c3KE;Fh1yxiFNHT<&Ato(B#H?qn?GIgfan@3-E`S`%~@8ml7{JF*UV?1e|Ix>*Y|*fGfQsdW-dv-eEntMyg2q7-}^*Q<<*q% z+tn!KD@TaUjn}b1v#b8#E~D^mQ5`3z99KQts-apT`srFo^1Mwdrsp;_9J^?dT;esS zAg;-BqE7v>#s?QpI|O~Ok(T*wR*|>Y=3Tbgi$gPB$4$S%bewhR-WQWQv#hGlv`o-Q zOlyqUuKTh0*USyohp#1TeaowUy7M7>l<9lpExWt={^ZL3tumq{L}$j_>u)m| z6DJ>RniVhmx#g;L_5Vd(ax(*svNjtWQM3zHJCSDy{a&ezf?2n@B|BEjF_xJElJNqr}j&`w6YWmdkS02k|ZI@ejZoln5 z_Ve@i-(A?#v|%Ezg8pYCfv3y;CW!67#y-pC5(e66i>6aSDn+9XO+tdUUR*AHn;0_toi!mYkrCEwLX;j!J|Cz z@9~LS1$OU^Us2jz)%AFRk;XBntD0^&hT$su90zm%0AA;sxoJ{=LF4N;N81j zbGE~GyCwDJFSa-DyRc4ZkId55+vFF-UkGm8{zE{@W4Y9EMwX3YAD8w8?@s+)UsSl~ zC*XRPUYVr`hANu&*)2voOYE z`M##i@{{68E=CiwAhyi=?5M&J#{?TwvY zVX+(A?F{F6is*<{dbMfRi!(*HS(=+V8$>-hJV{OUqg2R_H4GvDH1~QWy6LYwd(}CQp}gOemaLkn>N{5CjW_59DvvS!b$H}7mYthxN<^+Wabg-2vw zcHGqOw_wlB^r-249K?BJ(qcw~t<9m~eqk(UCAMXl%-R3HeU0$y^S^4?KipvOd3b5Z zT-!KP)}6k)*%lmIc2{YpW3mDBy~*DnZ>`XHe>AIkpV~?nA-=pC-aG7f*YO`>dE(#1 z+R(j_|C)nKRiEE~u_=O)hlE)FT9y93#9ZIRsc}q#InYjPc}-h$jm?eY3P-(FbBaYg zCfYL0Gq-5dzW<#6RN+I*=Z9D|6_>G2c+@gWd*!ksr)l8VjFF3a}0Iq6dz#}2XT z1KE3z?U`bK|9tataTmK#<>h+)4X3C7UaoZ4^#9B}u1masYj-j3dA@OZ+KE#&2foz4 z(>C?oQ~!*8Rf5&^tOz{`pHD|F{9tf4*|gter9!2ottbDQ8+9KJNHT123z{j;w(j)0 zea8g%{XeZP(0OoKXhW$2Ti1%mukKCg5)QA9{Io4|jpqB(_T5jSyBIf4zo@k9jK+uH zo{J$rUuv%r4ZgceB)g|+OR633^3S^OO`f-K&w3ZIQfcS%deL7M9(N7m5_Gk?3V0^| z2z?RnoU!rC4(3yP%k*>UTy zY1F-+-uL1no|XBjtTvfdzuDk&Tv=;r%Skw^g|}R$r3gpE^cW zrA-IwYRn?$iB8{c(Esex(VNdwGj(nqsd~QAU^yS}BrhKQP^GTwr8UX3eYtN69XMWW z^PE%XZJo=H744RXDr;UbH9fg+)pj!R+j)Uk3$#opEMPex$iHlT({4L~#WNnqdtLkC z7ya%ydr9WuyF0AQt53KY{$1>Sf7MOj`hBh^k9|J2Mo#_&`vQW?g^MHSw3(Dg&#tM)t8Uj!R(a@PDat2W>IzCW$0%ZTGE>kR3VLn$T3QVYBm%kEzDK1xH;Tz~u8 zb7#+MY+2K?=kbFnrp>KBn`=HkJJT!qT4logU6aGZTQ5a=9^`Io?UnVbzO1(Wcs&1> z_ILlMlr6Ju_m^c0R9&oasqpuN9@ob8u76n{R10qPJ3qO;DXeSiIv?FSRVDlC%es@= zW+$sME@`_^ppg?a`RSJuy=w2NcE|7Z9OIDd(~F$wAMJ8--nI0vQ#JF>-dN}#F}qSd zxo4sYTV2{^i46y>G9Es^cCxh0_f)8Rb9P%oqN#>X8y#qzt1RTq46 zO>&87W*Skq1gD_7c1J-*{d(6^N3InP7QespnLpH!N1a?i3k=i;Z# z*r1_el<`i-Y9`zI#q%%DZI#v+XIj+vZCg>i$G7aHttFhI*E!Zcs-EIuyz>3ywFkFN zIaQw*&opClb}Z|;Ck{W>i}u{*f#g7Fp^HPfJrH4jueT<%#K{A*!Qb)Muuafi(Q z`lhD=r7ij^rK96-G3d0f6ZJIRJ$GlrgUIIcYhM=FzEG)+Sd!p#PJTx6B=PrmGHyGY zUrzR%aym1qXwyZNA8w~+x7VA@;#;uSt68ssTl~39{SD5Q>3hy9Zr}Ju-(ZqE$)>r6>rEl;nSVx zV8pj#p@vydNvc@F-DQoBLp?tJtXn7Abjp?4a1m#ROQYpI))KSu9GSfBnVI|#Z{Fs5 z)y`}6vJ|+?r#b7 zUl9C^{UvMvvyZAtKcawqgV87o}lw&MtB_a?-?_{7n)58 z^4+<{IA5ddq3AE|MGKTu|pYJT$;xMyn+P#$GQ+vN{ik}gq+4XeC^>8*L&sPh)ixwPu;mIB;d(BP7 zxp?i-4z{YVc~K&vPxL>WUANLCcgG!Vy`xD{Oh1csMW*-X7x{`r!7g{S`H<)l%>EqF&ozZ^+mu)umpPlnq*Nl^AHDC1F zGxaK^)592cJi6(6NvM=TZ0-A<29}y}wR6jZ*?#%=NV4vUojhx6dXChG*|*t(l)CEq zHw0v8q*lKOU#k-Sp389V+M?55@sqyxXZBbAO*^~$!?YV4?Aji!>@2ctm|G9=Obm`&;NLRe%B@oMcw+qIE9l1%xgAgh6f!y)4t>4ys3L9 z#aehI6bP}X9o?_Q+19P~c>b5SiJ9LtuRNR3+ofbtD167uYks!pUH;kECZ!)-X3E5$ zQsxw7rSq3@<`K2+70feh^0v1JCwjF>-<`8%z8J&Ia?@L`&3N%Jr++<;+44h4t=T`+5n(?#!7Fwthd* zt@R{#_Aw>XV=v{7gsk-K_qf7P`rWy;F4rf`V6HAtWxkvG)dl?F^>e~DzvatUwH4ka zSJHAUP&(JOb=#-zE3rk3^ye(xD&nJ%S~~5d_fn(Em79Ioo-NH6e77#?OMTPr+~W@= zCsj4*c$}!Yf1As%M85Y%_V-49tByz0EfnSNPyKR7FhoYX;;of{jHrZ9^NTHu8oW6E z-duL@Wx{!jpN2xe*zEuFsYcX4%)R$?&E1J^X|Vs#o}||bY4UB4HJKt zN&RztT$10kKC?c#EHE+S!?tt3byybh3++u(Q0TE`OX6!uNvZPM5%^(OO~O3QdsAGT zU#vM=!X7(s+Ww?SKc#QGzjRL8@j|(Z$(#GeRGy8~Iq&);{Aw>rO`N387g`y~U;m}^ zM(whkyM4;vu1@~7%9iUuxJ`fJpB=&H(x&ca_+b~e=^9rL*SZ^}R~EGIUbMM{IrHz) z6%7LIm9`J~?N>Cg-d=j6^G7k)d>N^;9?PGvnPQWkI`z3l!R_w`Egt&)H3ui@CG{`) zBH_^1;@}%txwJJf_UeIL|H&G+-j*HsJXz{({rf2?7K4m zTkmfU@ApaqM-ON``@1;(XaC#Nd*!BCzteQ?ezqnuIAlxO**S{>LSM|WT$r_f_sl;# zi>5d=G4`hEY{=4={>$F(u(5RF9dXy2a*zJIKGX@>BJfXjNvZLK$0p8`IwB{rb-a)} z<)hVd-n-SH{+aK0)eTG;6P~-<=BiH=8jntXsr z!LF@W#N7jQS09m{={C9l{STFZETzV|dv%;AwH0rE`{K6q1djTBGgRJAC{V03V}E*8 z$Z&z^J7d%9Rr34l#gkZ%{K$B$abmgl(_#UCX0>ago2*K{NdNe)Jmtc9i<*8RCWjgP zyTe#G7M*d;(zFm3d(Q2k`Sj(->%nq2Pft1CyuQ7q?#F%gg0cto2UMc9Ev?hKf=}Jt zQZ#*6Y(#p&_s?CY<~+2_s}JJ+dZaW}%fK~d&f|j6AiE~*S?cEw_Fh`LOQx$W*UH4P zgzNH+miwh`Er*xgeQ|KB$nNhlQS720rakIt%!+$^e!5M_g_v2nr|uOWn6_^!7kl{r zXS?J@wkPj@Zr*STl2G z{?44l;Hh{1dRad^`)d0A)UOeT?`^MSj$2<`eb43SpPLd-Cm;G=p*cA2?WGBi z1D5S5DLy;5I;)@MU#7~wt-|FCU!G~S*<*aWer-(QgBN-ij=%J6-uY+mhhuiHBCJXa zADA_+E&jWkr%S(H(zxKCpGg`^s6f**e#P$vs(1E%StfM!Rpos3hLDF}0;VZB&C>qj z&-VXB?A5xGm@7-_nvOfYoS@1#(|6lt^6%ahKr4iu-TZ zyj}cvx&DfJ*GpkeTibS8dR{7R*y(gkv19A~WMv|X@97dgz0scQyjiZ* zhL)fsJHH1!5pZ5+E$r*yxR%vnmHv#qfA+jllX+KL799D}{8xQ#YDoDkO}$^q#>}e z?@_V4?%Q)CHa5Ro{(AXZo_f)uv#0eNzBH{}ye2tQ|JL39vW4%vpVS_?WGykp&f)WK z$MyC?yOpQ)El>WF*1J&n#T8z~=*HfOkrU^8?_~-!i%8d>cvruCr@pA%eXsXV3-A99 z`q-FM*Yae^Y3=_je+YQWzAWoG_fK-oVby%4=PbJy^oo?M*vLQEl|6U<&hEVB^{8j&wrbN^pV9uNe*USW$F`IwD5;1?O}^sxGc+~!^H;6c zhaZ?d`>P+P-QunL^24cr+8=t0th(GMEqqzO^x%h^Q4hCnHrl)4alw{L$;XpDYuA2K zi7da$|Bw0QQspzkhT>)6U*hk-Z+yjK8?tL*$cGp44ee7lo^(rHrpkRg)}%X4;`?SX z^$20>?41|tC3@GINx6$hEiusV5<647POz}gY$R6Xm@MfvGBcIjabn_*6YP3( zT%|8MUR0YTs1Ye2@=<^}lHHUyZ~3|l<*X_$+qS*>I&+%prTSY;5!!E3O;6oiad^!+ zr^jc%%v0ANEp!S)k{*%`71+lZsq@GL@{pEi_`GG_F z#dYr)rfro<5Mj{BdQC=>xAN zyZ*XH{cbxp^V%cEg?^Lc3hQra=g+ZR?8hy0&$&9MCB9@^X6~hK?&wtc#e!1*IREUE zT(;W%Vw~!k)ot9by%G}jPcP2c7F6ub^!(PP$sulXhcul9{QZ=t9=x|Rp-tjao5%W@ zVGkd3ax%(!zH4{dmtJfp{AeYk{zpsmjn=XPW^MZV%F)LQ51MPNpDfxq!QocDKjZ2X zPhFqvG4|WptMsW|VbUF8!$FpD&AIbW{9c0--bRp+gs_C;}es6~9kN>(pIMnd*xk>%Dr^R0wCxy>(Vs(2o^W1|lMT^&5^HhA8 z)dU&U4Cl99tdvj|Em^K1-56CFozC9vvF^fqmcI8D(Kl-=_m%AASIYew^LkRr%FI4v zMIE)vDp5QC2G2H=Ncu0bT|+9fuh{JL^VySMIPJQy<-$#!Oe8#0Eb{=l2lVu_z z8^k`dm`-kK5?6-0Ittlb0?{RzE)NRY~&k zS0Qrhk7uq{zW(gwy@Yjt!|nh4GFbgAwYBC zheiHLgY>1(X7xWcm{h5pZ@rcKcT;%VDmS~|*Wcf3zP4|N$+D?>y-!2#HecIU#eXZV zG}GtzZSUl7tGtsNL#Njtdo$Ji>NBfTQ`)!pOD|a_ytrxkYu5Fvo7^frd z_|nqMX(geZO=3$$pRPG|B7WX>qx$d17OQ^YT6;k@+i$7MG(JWZ_qQIrMIN;*$whMe zE=BAuzJ1R*85(ujPK9zvuB^i+>MtR%-t#e6lQg9{;Jxgq_#_u=CX~ox~sZ zXIIqvQ%61)Ijl1lcE7wevuo2_-&QVo2R>*+jm}L z)wgDU8Jwx|B-X}2xU*8)V^WKy{_nH*BeCvJNbI0Vl>s3#F+Y^88&*|OMt8 zo)+un{lDc}{r`Q>MeX1G%eKD~_H*Ii(!T{V^7B`&SahB3C8NUsdFiX;CO=xU|Lo?E z^F{YP%y@8bk)Yxd@qf+-Q~aZ@2d;^k@b<;j;0dQ~jLn~}IjvFhn0vFx{(l|~{i{~* zN;CcMRI+~Gk-cu7y+Y;RKh1ioeK-5Be0JNME#UPtOooty4VcZ$O{RlSekh%CG4Gav zgxmYiBKKH>svSLLZZ~o%ifRa54qJ7}ckj~9mr9OJPCFjFP5(V1Y?ee&Apf?sc+YEA@4&G5`shElkDguK_ci=<{N?xgf8|q6bzjFu&i%H! z?v4MRX>ZTH{qtY#Vc3zWqJn+@x1HU%W_9(%J4XxO*j23Qiro8sW#7dINos6!UvFE} z^=y&)y}db8JOZawRxkW8?|rQ8zYo7^a^BWO=DyCb5o;FTUXe4qc*EXaw$;lv_(s-t z%+{{UtFNuKk}12kyTf9Zk4xhAcN^DDUVipoS7ZMkojX}K=dDluf9rphU4$aDddIWU z#Qt{QyxG2A6BlpfmiIqW@i1=kiLj&guML;q+rHrTg}>QucZ2?=Uv6RVz0>?Cf=|6s zZh@dld)ftMlXkHS$qQ6CryQHmBBar(vSfkCr3pN~XFc-`Qd8~KpDeWd5&TfU=UU#D>L}es`!`*hIv<>N zr~7ELiErQVj+I|wdSMWo*!HV@Y!x!oCG*)twS&5MK4a{JG%Y`T0*mZp;nCFNL*4GoRKtI47w zgO#_7)jbb?QMhc`hOPRcD?>J>7!@cwA3Ld|Xd`ji;r@-hOWP*T{QdfU`IYY7(zkE4 zh@@`aRa)|Gaj}Y`M0%U%IUV7cO$S zkoK~JJtcjS2Ua(f+n7ceH<(M9SD4>3KH9>n=n(zm6zY-E2$t61 zSbVHu(}Q`E&yUP&;9bk$+Y@!6IrW0!6XpfEx+}Q$+^84mWzTG7^yFOqI>YYdoUN1I zaIhX;%5vwh_sefAFRFRlHw5f$tqGW0F7|~vgrVF>#p=m+nMKZ#2ZU65o-=WuIxMZQ zN>OeB*Xl#_8dkG<2RWuCHdyYMFIg>gJYrrJMoA(auXmmgU#)N6_reS6u55d-!tHl}@ci7cj+oR7vOE*7FL<3B zKPjl6Q})WK=q$T@>zB5slX)|~O5OL*cJ0sdOe?+o@vr)u-wShhx}N=3B|81i%(p#e zd7FQ@yqLb@tyF8@s|ho%Rs37GQe|s>N%_~;OWygKdzN}uPTS1C=D*q8&Dx9n1oqcd zdqn(Cs%ZbFG5g%)mo>*G%u#;Qo-$4MQ=rk}9I5?t)XiUhF!;??@`aUig?nl9^+oMl zid<(DEm#n0eMsJCxuk%S{blWpxS*=#|3aHypfF4u!>Z(J3r4M-gwDo!z&FKBOTFmr9 z*a4@P^RD`De3)~7;St89e#_a3sT{T zY0}Br^EgA?R?b`asNUz>icP_%4!wW#%43)Bd$Gz((!BE1JlDMx@iUe2$l+M3mhf`g z3ekmZ+hsSH3LVI@PFPzT@+IuRDWxe18`n0lmWXc zc5BwWv0d!$BT-fdQ>KZl*M*jf|9-iu`^fG&Q8kD9cE~NWO~0DIE=J{kp^@~{mxpam zcYmMXCfrl=^XHet&*ksUnL9uIvd@RV_53IACfTS=`1m33SP5fwghW~V;+mVwlX;fE zc)}F}}Z|1N%b7(40S-NP4d-2C3D!F$Z}@8q8abNcv}l|N?Ddd2_joED&*iL!f(+%~UYoGqYhnGXqMR^u-;_T&jysbV2OPVq zZgp(M)DO9AbLaZxZ+@|M#_V&?ewu%K^+0X6U)<(@)u&ulzOVLrcm2ra!-p+qPLQpb z>87{W^0 zt$Sf18R@b(Z_(Wu%a(@MADN@{<_*%m%Pt}K`P`_iNz~uVnT+!-# zHXpvceZJrQ1!eX=n+vUCeeTJxJ6YD$yt=lt>nNA|Prp-c`#uN68sBwvJze7dEpqO= zhN78oQ!>)5PdzzXqQ0YUWzF`eSI1BG^=*_-wYHM3&)XHf_}#Y37bbgs%1RFX`*d?1 zhw2Z}zpDZ!mDnzL^to$Y`h&C;OSk_N4XzIf+`dz5&zc_ge?99Y<}~mJFXa=qdQf&L ziMjE?B%4E$i8I_YEUbPkSFRCu?q)jSaNA9oF**6CV_sg3q>9u5q}_x2^)JiBrYeJ+M}s7;e)nX;vdd2Z*P7ZFc6 zwKH7n0}Rz#r>gAkTEn?IIZ*1+BxRZ22pywo!pkSEo2&O&_xd)$U;mz5KYaPT?(|9} zhg!h}TYUc>|JbQ}-^gy^!L%B#i+%nFSI7k~b^d@#MY;Dq>#yh+EcJ??#Az5TJCRb}c@eGaLdUx)0PR(xW+ zd2_bRUH;-5|3m{e|9fHQI@wpv`I`T;jAd)=lmAxEM0)FK zmQ8$}QSj&K1KB51HIdoXPd5EcSnRB9ZFPA<&y$*I&WGn;JK1(MZ^rYR_v@GL&6M|Z z^Pl$3-)pwo(^Xgf_a)6;{IzFKLX)bnpnYV|^OuKzNQX5%$@5U(w)ta08NdID&Fw1v z;@vZ5sc(P$B>StGw|eHCpZd#Q#xqFu-QE?t`^C4*=a1X}{g!;?ZPaqd2-aWn%#AAV zVk!i$t}CA%WXfM@<$0^=?G}zYxf-dOdYj5(I}4lm*Cqm4@rzX^dTHlG%zC&WS6${% zkkLLhv8aDZp}{L=KeU*6fBVtG-A4}`?`}RgyQa)KTAn#Y`f=FUoamr|B_&o)~IF3*zY&i~r9=Enai z_s-P6PuJOTcV+pdl<7O(3c0V`tHReLntSl)yCc>w*LdG4?_8~xyLHNM$*BD0oqVY$ zcTZXQZ>?wWp6f~7cQebUf6^E9DKGo0^Esd<@q&))s*+pCMc|4rN-7`1-o@1+<2a@8-cUp-H9@#%T283)b(Pri3% z+V}HMV&L3jK$*amAO62E|ML#qQDHJRovwM2t%1$N(9p=-c>4N_ zY_c%+rHgDO)73As@lNMD!Y06Ns-W+dSyWu2U~CNPhAHj=vvc0T_|9&gi>`O`yLGot<};fV9i6*Mnz?1yE5{p) z%J04s^DX9jz4f>so0;Usdd}{esyCN|`R(4!JyiZkN4lc@W|;hQeYY!W4M!x?zpJnH zUD+Emfx)79kw#Ih_UF=Vk0$xMb|vN8uiUft=_3uT#U(clAFY;s9l6U-^;2H7)81R( zgx9ArF0oxX@i^nTV_dUdxH!oxCu_QCN_um8-Hdp|c!YWN-yLt>{5v2j89q7TO~2n; zi?7ezRc@<1*}qJ6SF+p(yQ`5iU(Ss+mu<_wcZyBd?4Xzt%j@NnW^g3BEG(YALT2%S zyPSt>v$;Y~9rKP57oGjju3=}*mH9?B*-ug}?u2i;Qz+`=JqKHeK^F zn{vImLac&*aAsAif}ydwf_}I{w1T06v4SB;I4D2AM8VM5M8QBINI~B-FD+le(AX5p zb5V#^uranYceQXdws12tFtKoUHZ?FeH?(jzFfws9b+vFaG_oV4gcYPF7LowWpb0?s z(rG{8M3Dm@i%*?l=Sb2H)hyc2k)$0IxU(Z_i9_JJZ%Q0mA6RUh;~O^^Gv1UGI&|&_ zgV!!4w(@naZk=GBG3Dp{v-|Ir=O$&6K~qR4H(E+Kk5O6Iw;57MxqQ{UPs@1j$bq80Q*rrO zzmH@I?7C_lyWz3yi*^f@1q`+ZJp5PeZ)~65?xGUUsnKvlznZ20A!pBu|3CMysNW&` zK{Yo!*`S`!KapwP!Qu)=%^4y8Gn68%t$2QXJXy9}f%o#O>5mRBC=vMZeZFtH;^Kct z<*m=H?7kAQH)#5e%~fmlexJ>XyL)ch)uvr{1y{S49#37ZS{ff5mi_A7RIQ@dU3a!F zTK+EGa>v~L=bi|4mRi+vrRJp+mlUNY=7L!HNm*RQC5a+MB^5=fXLT&k+B H{%%|V42v&) delta 29834 zcmX@OLAraj^oHY1^+qzLKRZ|5|25%X==`XZ>q|aAJFJ_dq~+Ydd)qxu;ax^KO^a52 zFmapDJIQeK1xf3fX7x+A@0+{rWKZI;#X4VO7>&-(nig7lReJ6I{N$wM)iwflwwlFn z+fRH-ebp$lc|Yr~wVsjplQ%zcEx*7vtMSa|PZjEmdnYI6>@qm7Xr1u0-q538jkuAOPG94Y)HU-*mNZ#|M_xA1BGwG&W3^`X1F@B$^ zQKHbyTt2~Z_kj}ub#smS%RUBFi?3O9{Ue*;iUl({3N$wJUsL#D{voaPgQ!Pm`G>UF zxgXPFpH478J%jmPOySIJN*T@}#~#<;{(W=X&CcX|F_qITMCLktW_v$r&+)$shZfBW z_c`nQ@!rYr`F>&l{+4L4aNS+|w(Hk{?U&SKDtW4-}=3+ByCf8(t4w$-L9vZr0&df*}!*6`mWBAwYgTt*}`U_{h_|et<|sh<)xo= zzg}PSR4m`Jk3FyJm63M;g^)}=<+vGhyLe8QoxFaDL%Orz<(#(2zZYyGtz8<*gc;vS znkhBqhfNO4Zdq|qQgh!j={%VrE7oT2x!GOIcis$D^=+Rz-|2gZXLifY@7t}9=%-x! zcJkoXw5i6`m2OI`Gn7BeX+QpUAwNW+ccJIm*RLG5o!s{D?@aaw!g^1mRoZ{dDLY>y*5#$S zVa=iW=CKQj{`vduZia-< z$#I=`{-bv8kQRWD|zprq<-!*2^`UodF6*E5mDqy5~s-mP2u)u$YeELW>f-=w(oqR3%E z0ne(ne9G^Q&zy;xUb*tXtfRb}!){*OeyTIU_T-&)uN=>P{>Zz$*seuuq%$^Q1`Rj=x*Q*-Y|l%2ZtX4&>n zZ$7WMYc4bW=+#o5loJh8kM3M`D@{|ozOKaKKdqRmRCt7!^{~u=S92Z* z-}ZHtJ-k`8?JDc4XC|t=G1pf=U$x(^H%-0Z0&o7`@Z`0&Sd!hbf#0Rao;z; zh92Q05BvO*##=j1YUy;wZ*A;~ITO0W*-ER2`K88czQh%~)R)E2z28_+{v=DfxnHl7)_A)$TIUd_@G-rpsk@in%{u*Qf^9+c_dl{&e51ZPiBm+zX?xr^~J@QeU={yZ-3)h?MDt(h_Ac6aKgMEVGu* zY>i#6ERonVOa0*An5zEe3okNArn*gM>tC0UYH%ue^EK0yDv^zon)Gr+gr;6EmtP#^ z5Fr(Ia(ni*+2x1b+`P9x5OtU=9K-+X#8uAt>7TD1ygzjt&+=QF`z4&dd`t8B)bhbp zQE}s!9uX7ssINu!yWV~+(z27<9ME}ePps-JMfQNYj~h0HI`9T(PAQu2tLJ@szUD&9 z#{GwwXUX1w%l9)Yt%G6tEQ4GlgVw#5WU>u?XEFB(>-}2$%;JiIV6xik=O?RT`D`zX zEC~KPFRbzTu}`Jj;?JM!VLtq(y#AQ4%r)(1F~t^c2QA4dmi3l;M)fXp9$wvZ(ov=7 zt8o4l^;;J_Z_Uv9{Pg`kLo1+C6gqKi=6NFSy_=66Tj;w=hiV_10?T zoeVh>uZkZ0R<=BqFM-{o-u@WViz7aXhnxOA32@_jYG#x1l+z@+NH4YXb8Ntgc4^6t zs|t>pKlPrQaIE^_6_)SQzq|S`XZ-(fY2Tm6+g%mHR2+9s_FUg6lxFU`RohRX=3RZ$ zY?Z9oUCbq{ix)YX8A$u@JmMUpY%-IjOSgnQcJiyf!g-}`*Jf~KX3Z&e3T;i^Y&ch8 zZi&CfOqNFl%cjZ*i6384`>^B9#_1vzn-ZsP4sKOg z6C{10?C7oj7e9*+xqW&b_wxFj^!!@giSFuU%VXD*W$wk4v&bVm7w<`&P_xxcM{wiHOFx z?YCcLo}FDUcRRu0P$u7pGfdiB!aW@3G_4B`J>dy@A}IHsV@rr`*w*xyB7Ac|8m>9C68^wIlgr7on61_OlfQ%r{uc!mrwTz zWL__v$Xjt*cw_1B*DMK1eEhL%MB*oL&Hv3M{@87OTj+$X4_f>KW-ht*n$xWRQs~ON zAN-0BYsG|?u2Asr^^yG&=FN18bLp3gO~%YCw*(x_FSs@7ubm$!qiEZzJ?|rxY%>o1 zjjftlT`+z3osG=*7MVF5s*l#ab2m-FA&@QS(oE46eNS6@%+pLo7P#ww%?opuPc>b3 zvLI^St$X`^m@GBu6ISq2N^Y(zW>Q(HZhPk0!W(^OJtYO?pGOu5eNU`dx%g)5R=(ds z*->A9o@TEPpD`~sX=(Zto|j@zoqd_LwL-V+cvN2Bq!3zijw3>RPwDYhA?5Yao$h{} zCu1heHv1?#RV`)v17G_`lj;k8F7$X|+PHL)@8`w{>C2MuRm2bdKJa~lv+_Cn>b@3H zGrrx+`~KS|n3+zwop>tWZ@~?PMR80wKQF!W%H`9Ush<=Myp-fm=j-N|`1!iC>B)!f z)+T?KM}B#1njG?i+vT=()UIo0H>$Fr=PzU^z&46 zq+n9$>_B;T*}XYudw(8qziT6CoBH_JwL5bJ9KR>OxaDZ~;Z*z@p_l7U%-~hD+mLw9 zq54aBuXv;C!F>Ovs}F9Jx_p7h)HF)g+`-i8XJ^;iJ^oDj6_;a99|;#|434q-p6T%R zp829V_3@tzH8(!fnRiun%Ku*teSN%Y{R#iit``W<2)=xE`mY~{%i}|KCVoDA?2DZl zM?a5C_9myv4-U-y=oTQrAlU4ty60{0m3{GBCSQ3q{Y+iza-UOItE@Vv*v*~RyfZ9X z+xv8P-<6JM_Z;r$wyS)Yx#xbutG|$6<*4mk+UWU(#nC9z$b^r6=S?oTx3umTA>oRd+R6iuM@s}W7(v7wq_?0?{e;v{sw>Vvk7K>A*Vk*_1zkG>|4^hmDd(puM3ck zZ@TGRXXrWC+f-)3=hH@Eh8|THG>`YV*@_we@{<$3m>?rPckah2`Y$E+TFzb>6Q6uG z$|PPfu64raHM}3+t#GVe*m;htyKskSGfVfhb*iuD$}CIGopbqccwX+dy8160bi>z8 z^f{Gr&Gh8|VxfIe*Lyx2tM7ciD0^4-p2gWcf>NEQrdwP!ebIHI@cQyq$5h|D_7|TE z_4S%~bjIbJjoY{g+yv?Rz*CBA zy|eV%LqD$T;9YV{Yt~YQ#4Sz1mAS2Z>LV+k&ky=>W$TA4hcC?$`%>5PI{e=0wXtOz z{SF;^ujjA1X(^}S-b-&!UXb4Q>crY-3mO(w3+49C3b9FvOLnwiJ*;`}@533@y}^fi zje~xyIG4QqN_>8>SpJd7PuG0(${OT$A6T(+YpJ$iQP$QhXI{=d>vMCib6x)@t{u_g zlIz-4|D6BThdTvj^6}FWt-o;}J9p#yy%`=4Cob}~PgVZoC1!9v=xFl4{2d;tTFK^u zuMRHlyC(E--R0OLWvquc$2_i)E(zXrC1i$5-qy>!5f5s$W#8>^;!dnO;hb%pa@thL zW>?fjUh_9nt|z>v_idOKv-1D!^)Uwp3)!3VwdLMt1V`8ZVeE)?be+gKZT|BZKi;-o z20oVhjnXA^7fUhz{mdfJwY9K{tz;R`r2V<+TzA+1h|sTDyM>f$sS+Xvv^*r?GaWLzw^5NFPE*pw|CCX zhMwOg-#IVLco-pZ_RbG-2T&n`PY#XUjqxJ~2|jg@nP zkL0JL``>rm(Nfahys66LcY*-_oOP>CsBY^qJ^I$)yzuwi%h&V$_x}s{r*>3~^-uZl zZ^zX+^N;x6>)AMaULrU4@{Nq+(BV{r5lTyFR^%o40@Z|N8m^)}Md5 zMt+<$KjL=X%0GL5RQ&yT`~AFo`)&WO_09gPwx&7qsoIh~e}DV?+yCLv|HtsZu3UI_ z-@|YBUtXS{ckJ+~2kZau_D`}r<6CoibJ{7UVq*xIS{-tnphUc0xaH2TWIJYTIC zp+E7HXD~9`4U!^_%b3Kbl_q% z?fU8|#Wr!#>FsuhABI;hVrka+{I#0(0@prP7YMmaKrz_PbSn=`-rG-n6 zH+^bY*v48PJbhvL9_g84tK;{31eRqjIkZ3L=Zz<|x4m?nKWyX|xGW{3r@p2AedXle zFGLcZf9JG+`ju*#m*pT1PjcwO7Uo@tird-(9)KE4|9825djT(-5USY>KG z`!P{fL`Ol*IO6e?_djPhRd}z1xmP}#BP#unrIPxfm?XrGp7 zd45WTx#qdx^B-~xkFbVxu3NYya%eSb@~#_ihMM}u7>L#MCYKV!<%@1Ywr z)V_tvH~7^kUfJxzeY3}Y=83=8(hOWwMJ6n=UKOEIx%ouktHlC0CN154Fv;EK@e#G$ z!v`F`X{B}Us$aL`p8syAsr;Kd%GqLH{)~&zxM)%w^CZ1%QM#AfqHbp;EkScumSxoy z|Bk;m>X8?YJGntK)AG#zLnW+dS`B9e74Vb?|J{11L3ERA|1v)2PU$zy4rkO-pM6f> z8Znoxj%D|f__=@HO_@El?WeQ?QdbzsTlc~k3xBC)^D!M@G-M`abot$M{7?=JPJE}YO3|t zs`L}0%(L&YwK20#c=oKJ*Lrn$U8?u&O+^K>ugvQGuxIY)aF*4~scrtZ3O>0Ngk<)f z-)F>oVT)^%<|cW*XIqr5CcUh8jpm=RrghWIBU|gYsvD*ArmcIgIoV(>$Gr~WhLl9} z-iq_qYp+SqTq)%JwE&-~A4gl(u?ZQC9x%f@vg`B}!iGfNI0ohm!)|DGFybL5Zh_}G`0 z-Z$0Z+>Oc0B)#@_7KCi&_h@Z*t`_Gq7U(*uwK`w}qfm0l`RgICHP-%~6WP!am1%WL zw6O8BgXPf$bw57tW-sGsYcb!Hd!KKcz2$`0_1}JSm{>TT`O!1U{RESa!s0CM;^tOg z3%(g@O*dWKBRVIDi}iXH1+YCn{`|59@=e4hW~nMzqr^%H-6I5sP-=2XGl*GoATI4DUk+E_b9S)a-G zUPfWq=9@x{)neS9feCWI^JZ}`YRX|ui`#y1zN(hmF5P2dODBFz41DQkv18`<>z5b% zF53UxMmnvvsNfFM3a%N73+FAYS@qv4x8kezD;el3-sV@+#P|Nvx4^{hbC^mzO-Jw=W1}5ZZom&xu66Gwv3ueDaqQ zym-si1GgM;u9_IUu9g~}W@4KBTf9uEEaHM;-l_K&CnY_&A*CJ=d(Q93LAO)E-dC0` zYJ6-I_V+EHr+Saj?J0?et}I-&^03VsWk1HXJ-= zJL3|2$JBboo$ICQ-ha|iEl;}r{c4xbemBedjQ zBX78}L+a1B>-%dz9@gpomNnUK(~+yCx5RRmOqsUBzqe%iv_jowVUu?sl`6~ZuRe55 z=FPuJS&KUpClx7+jpvwW_UUyb+K2poR#BTFpZ!4ZZ;ujJdeV=q#n^~6F z9Q&o)yicHhbK_Z7>1vIw9sG?qGZ;lT?>ulqLN=VqX1PF~R8OsBvB!g-_r>}c0}Kyv zUVPZ{^j6~{-FuJu6oZdDE&Jwl;!4|`gBnMfR`J#}u6#T339Ce|yYJ_Jhv&=)o0s|S zm3Vs`m+@kyC-r|<@_anMf9b_gZo4e=TTcwwtZ(i-d__r>#kSttp{?tA#MUV5>nfU@ z5e8aT@{B&LR*9#YV>zDO+R^BKRH1(JhNChS>l02H%!t=r_OYsYYtQqUH#_TgXm9*< zuOTGrH?xsgrn#i)iNlQl?VlSAIEDDe&o~`jY`@5HqOpY1!p*Wt7D}fMi>-}* z63&~Ucv*Q{&_k68jH`Rz8Rj%Fi}=*=NEhsK(_VgK##^lwXSJ@s*NXJt7`CH6RPW5v zkX>C#zqDtj=n7p7y>Rt#V*Bn1JZ~%ogPHGbl<876jhZI%k|k(~@zjIn`lK&EH_tno^0b&Zy*BFIfCRk31d09VwgJP zjqGJFXC7V6bE1FWX7Y;9n7k%e_O-9eZVyh;d){`@J6xt}m@&H?ta_TTPKeb`>|o&n z(W1urvPKG#QeS_}RoR#m6|?5l$FAk8vMqkEP&lJ^rdfyoxs2jF{^zc4?vfAq)Q|6& zyFw*FL%1~T>aqCXdQU!K(QU^s8(yt1n4?c~&Z3?Vs4*n|Xb&pVP%G z=Ht8dJS1DP)ugqjs>j)`^gi3-$N2h(RwhIJtBMbQ4j!`USn#v?rCE_l%el3zHdQUJ z*gO?i^|VgoTv2^8XurmzvKhy?O0J~xZf8HbT$kDLufBeWSMue??SJd#-Z`&gj&4`@ zJ*PB$Zcw#-hoh~UQQgeP3u@arx)LN))7Pfv_(&g~cH`8=<#`5a{cjVawdWSxiRa>< zxo!RJyLTXBU{rvwCeJ@1Yqvrni$_tVa+-|kVD{jy7h)j*mTcVF| zo#wPEure%T*3M}O2^B#>8Rv|y-#sq=i)UR*ozsmq8@K3Ys(f7#82?RAF67)(Pt#}@ z`B^95Pu?VcT+XmYKJLWAcb=d9udkeO+;7seGT&m4f7cX$PP*{U%ln|s{7d>Sk0wXf z|2KPU+v04u%lTuy(Th7ey%}Cp>unEyS{}Qrw%%j&1=ekCN}tS6KQL*{KIUIlw3WRu z{!DEfmwKe(Ggd*^%NqN$f0 zQZGJSBgsoDS=*D4}4k8 zq-I2{r4ReBYAk2f5N|!jI^#_3vS7dFtB;p1RbJ!uy56z5S*!T&lK=A7 zPq(lbi|;9za9`K!XZ=mB>l)niddglIpDoJ$n$i)veNNZ|7x&YN*Z$f|9WJ@`C1JG| zcW$DY#H7ZxJI?<+d+Ubsv+3E>jiv6SU0j%ZQLp{J)b+RZ6Riw4RQ9AA%y5;F%P#Xh zE-Jq0-?8McwGR@yC2Ty7v(1pH&(ACqv0`!+pT00mwWI-Xw2JL*&YX)xR?9?ezwQTok{Z1PkrsL44VXH+IKFJ6WOr# zX+rAq;-?I92H)%r7fdbESh$`~cjdim{yUeY8`sIY=arxQA}RqEppft_wy4}%ZPe8D$i zzN+;cnR}jQw^oH_aBR*Hy>xKNEM2zZd0#Hg*dgQ)-qTsKc8>5GsSgvbGMKA8OtF(w zHq_`2nee|tfBv=)0pFDW+=<(#IamHcTtGrZdv|ERUd^_>YYPqJm)(7s%4ay|Y14;m z3X(UQt}usr9IQ8&OkLTTV|Q!U%!z!RY^oOfFF9nyCwyg}UA3_BgT%pX$6qVumn=LG zqkDM9KNilL8fh}0KJx4OxbDtWy?N@)V>5U2GmFnoUZKT%t!6^vv}cS~!EMcJL>@7u zEal&OW6s>QIcxY2_D*8dUi9@@Q{*?lYX>HBDPFy6FJxi0TXk!1cKzRHo>hPL{Z26L z&);NtJN=6-=jy%1&f6Vq0@xFZl+p^sW93%ohxyFEtSxXVU3?N>SVC+=vUPl_tWH7E zx-wOR@XPN-FCRE&B42ZcJ8Aohtt4dY>APn&QP9t1B6u zC)|DzmT_!#yvglvQfD75(>z?CcIRW#mI>`kW zL4eA1- zr++Sf^81AI^UB>m(U-RQ?=>%fQ2FiJJ?(FCvX@LmHI0twx+Mv{FJEs}r}{OzermAx z!5Jmer56uh+q$S&F?rXrCsBd|w{H2(o?UVxy_)AF-|B`77Z04?uzUU0o3;11^wt+` z+|xCu!LU_PxC+0h{;fA1^Z&gUHRlgKfn3@JDz(F>scITJpD$(eRDO#vH9oD*{=(=f6KIk|DJWt@;@8hm$R=u zIXx*-ORM0uqi&wl5zl-(i~0YVg%@}p-9G;g3)4|Xi|Gz)ST&}rEoQZ4vap=KYz?dZ z_9cs17qKxKOb9oa8izL@^@GRiy(9v7j%*|7r z$iSL%%=YY^f_3by_&{i`S0C8ynuW?Py6X?EF~Bxw5|aIR9aB#d)=dKX!lq#P{u=TmSaBU7aUzbnP<(GpU=K?r96??eh7~b?Eo= zy;g#y%8L}FF1dYNlhl*cm9$Lh+xcy;F9+Y>tZ(BPE0EAJTXgOmq3Hs$2HA-Y9yu{J zF+o8GUd&@u?ELuAw%+Erx~n=%kB^TBr-yGxmmeQTx8FQ#dxeV<2`$$0zP*gpR1582OIN&TnX+R_E6cxZCmT=WN4~R!nL_O30^e;=>e{%85NHi%(>H5~`djaU#N~uSZ=` zWr~kNVv5pCmpIkQo;!r@aQ*+PwD-cn#~yrzT6;ulMFhKExhBiw@u|`Fa7yxj%VvK?yWewaoXz|y&ra$T(+P4>V0Wj=H{($ZAeGwtdS08Y{`zST*JnL1*^##T zW1K4c2IWV6c4xv*20wJGnfU zFS7H_PIrFFcKQ-Rs zgvlBIgI06G!scEPam|T%7_qTWY-Xm-TyguKOIstoi-WGO*^{)pXkMM;`s365;?>uF z>Zq%A+?8o|ra!U%vz{j3hO=JVW}m%0<;JNl?#(%pR+S5nZ(6#sd%C!e?v;aTFV{3b z(%=q}vt6Uv7qNdu&CV&$H?A*u%oe?K%KErn`3K#SJEyRA>-ofUb)UO6;aOB*p=Inr zvCU;((1Uq_eNKyV@?OK2 z?U@mllqRml`(?rFZ&!2fsoeb?R$uxkqEvD(lTi7ZX|pdq-17d-laP~hwpLzH?9MvB z@{;*#&5k6i6FGd#{C~e&z;AuJ=IOIF?eG0{@}{S8m|CaJpOh96#QrpO)wZQYLOGj{ z7aE<-V3B`*^NoR;WbganXTJMi#v7JwO$q(IOE1?Z&N=_Wdba7O?uGcbAN#vYRsC&X zedob#lX~Z{NG4lK@_A3a*i~TF$v4Ab@ntW~puJ|_b)!5~@6Y#>@qfE;^3sdN$$u}3 z<|IsAE&Suqu_%q1XQ!^5$bTyNs;T)p*D@p%6M?|+OuEfUF> z9}4fOKfbVj)@LT?xqt3B>~t*)d#1%Dpb;6EFzF3<=+BvzH={4kk-WNQ&$O+7yy~yF z$EG&!E00KPYpeWQ(QUi5xwiRrujiaEjMg9geNxz;&wpf=+v9fbyrshgv8dlB9S6#N zS&s4hri8xY%B(kiy-4e<)x57}GoHTki<%xiPyOcp$kfoE_bO9E3!bTDEzw`sx7F)r z+SMq-&d>96$|^OVe}CO;cq!~$tQym`_YK$bUvtzoPflaIv9;XRDroif!z&CmEz&c( zo_*;0FMPk8VarGBil>|$PsDw>CcK>C?7zG9>?}X$7k6|S`YpU~)hlE#TV?aD;@EYk z|3+b9htsBM^BKyUP1zc_N&JQ*ulig^ol8>f(=1GkCh~?@y?n5T>#1#`lF>|IxzAA% zlG4i-A1#UY+sLwU4||%H;J>&R)7|^_&H3?YDz|EGlJ-RF0=?NMCM*#@;J9PL;f3wm zf1WH`*!MYU`Q)5p^X-qXIK>2`=WNYeLgQ}CG)W;IA-C72g)DLJdf(|s1r<8{ULH+xbOpa-0h9JmYgGZboJ*IhZ$X78Mb_2by?55StOn}h+Xd0kB=&T zY!82HGYEaZ8Y^PU<8bI?c2$VMrI$6YkELJw6LfXL!^G~YAkVOdg^vPv#8%nPJ}4Et zW8H4wY~@qz^&H`0nfTlrj)9 zIdkir^V_(jQP98Q&r-cNbB?Fg|7uH(-NuqBog|xhljnnig5RDwrCU10p1wIBshs+J z<%&N!tL_}De;RgLcURn}Z4PVZSR8&fC%lGz)s7_j4AY{o@p+L|Ct{Vu=A5we*Z2PZ zzwh1re{SFPR`!?byWTDKDw_AgM*hv|MUJbA-ETCO9F_f0!|Ju|s^}_7jqsT8%ctur z#jjuS5@R?iQk-)~MEmRi`zp3PljQ1jGR3@3O5x0vTn@U3J& z^6Rwk|EzML5-sH=0ejsNOp9*JI9W>QQO-_cq*$dUf9K4;z!%?9}Fh z%A3j4zh@NueEy;+Tv@owmxq^1UtTcR$*p7)pyQuouGKFXnD7E$7N61U-hoZ z*Lcli%J-wb#J-``^6`w<63aH#ty7!88?$!8u5yddYh+aWXWj7sHev6)y=M>2_*it; z-0IlVw^Cwy+tb%RwWw^9(fB?={j}nm)o+d;vfSAtlzQ#Bk?d@)%47TtYSCQrrAE7cG+nDHQ$uWHf1?CN)GN{U&G~+lhUD?dz3pRc9U(ynZvwRWzIZuV=NYw#5ob_uto#Ui12_vue!@ zQQ@#NQ;QN`&3$=hcInSgtKa|CWR^>DT*2eO{l_*Jd=7@wf|t$3buy&3Di%=RX^_UKC?A~73|7u>2n_s1mR z$LzK@8&`N`^SxcMr2U1NB2Pvf+x#^q=`(dF-BF3VYO7jeB~F4u=vTwU1h&qc+DRp5gz4?}ER~KYr7@;CL=y(W~C+sy(}z2)ppR8*dmc{?53hcERaD zd%;SEe=8TtGif^{HU%=9))`7T?3WTRnSLj;Vxr0?Gk9+^pV*?Ccq!U4dVgy`SG;-F-|Ub)=cmX1FDR0Kl~%n(bk|dx ztox28!7H5I+wHh!d9AgTj7q(DO`_%U?&d>N+3(cKW;Xr%&Dxs7wtMYlvFG)xg&rT8 z?sADmYG>}lzEVsB5cC+}73il1O zp6u0s{N#>F_-?6&W#<)79COr_*!OE~j`Gn39FUYoR4ROlV!W2xR< zT3SALFU+ZUG*wtf|GC+@r9Xv3_pMKl)~#p#$16L>=?6FCGKa)Fao>dgy^hP@GNr?5 z*P=sT6tBHE&N5e<>u(_Whh_4ngPLGEwf;cL2Voy8`Q%UXuUKy@hAo)hJfY#NdvIWj z<$uQ7TE>H4S1MP$`SNp)ywIP`LD|!5RzH0<{kOr=|J7T}yh8M zN;M5`cM_GXu7$i?mAT`8M2dlo+$;~4jhnW%esBu8=jUZ)|riua{U;z{FhtMK9{L7TXivEn;tkEv19h#RTHG zUbiGHXSpxys<``MxqMO|*O8sq113K=*ztbmiPS1VGuc$7{Enp0a=MXQ6`2*(+Veb$ ze_q+}&c1E$`{H)S#v3oIdsTPO%I2%c5!IcQab`~5f*qGv9CAtMKemY7+=BZ+UtfY| zG4F&a?+s?i)jw3Yb=uvmnrrGZvC0P@8#>pBB=XlvssH^NFvBx_`Dcy0jW

*YvV@ z_I|dzKFwp_eJ8~&`$BmXj3+u32v>;xnE!sO=+6bSE=Fib1sgc;-0;0{PI$b$^ueF1 zxhH!vPqJD0&078JkFf!Ku5#9XDc#rUcc}eGio~MuB?k=+&hK`J zi#ypCU;FU#X})O>KHNMz%kJ!!BJFE4z9!ug_%PgdP*(1*99fUpE;};zc6V6u0a$?fC2^o`Hd_qSbC9$%OC zv$Q*8!!G0OuY9N7_z(A#?e=ko1#|L6V`_SZ{xlqR-(flB>Q8Tlj&>cdvn-+YN4eq; zaWQO=NRJgVyEMbBovY29?PQbGT?3BOzSZsjuJEle-QgK8==ayb5)lK;;`|F`@dSl<>OEdXDhu>ji&EHjb#pQihxkcGqs{)0(@RXFAnl1JJoIQox za_^=nJl(k?LiT(x6O;UU{*9`O){8!Rcc`Lknrb3~SNzcF!*_|x>_n}hS;9s&8DhtZ+= zcPtk#oO-9{MXuf|)B3ub-YH3Y>ui~#=dA1%=9CiPP|i_ivFO-n&A0HUoSxN&dpDXV z|K#1dL}r#&%`YP+JCW(~JUh8oTw>b1W{IcCtJE27#YZo`3T^qNyXV*P6Rc6z8~7z9 zxT8cj*YRYqE#kgx{xA5%iT~jzo;dc){mL(6Uj3Kf<5XTZLs$*dMQefjf8W?UBW-@i zDQB2{DUR@&!#j1MG?V`ve@+b>AqIg`=Q&E;Uc5po98q75dPM{N{(a|l=Wb#Tt0O;C zjbX+nHS>~92|Yo_C;N#pKi>E2f%WgQeXdKHXHW0BR{HPl@d<8Tr{~SN^5FRV)hm0S zMP8FzcQ+`;ZRy?oC4JYv{<$9fZe{)Zqw^+p{?Gn$^-K7%<<}iLZoavomDB!3#_#yK zF23n|wCha;)hxmlrF+@i>|4VVK1ueUeE$D(lt5+unbkMWgxfX-MKh|tj(-|DXUp&F zj}JV}n_Mlv`}X7_g%80Cx9g+}N<~(uE4)57?vHMfP&gAEgMf&yA z4%YL`nmwCmlV8~RS;l*l*@EN#uK92{+Uot>Pj5`7MIByOufQY0#l0zFTlnUs-zqXS zr=D|gE@PQ`qs4h*=a~n8W_0>oP`$jQ=CPh8zujNs$83Mtd$jX|9#4%p@6z^PFW~gN zi0!Z6Gk+Bg&8Mf3?3i&+&Hc>_1>4s;yUiq@MHCX|+j3GB^0rjNUA`8#6Ed z_?&00CqD>Xc`)oz7ubb3vT|s{rEyAx#?HlHA@>Y zUCr)_GP!>1ulc33Go`0_NEey^oiKHI)Rg@e<%)B?mix>TXI-`Bw8fSe(qU0Ai@Pf8 zPR;tIXK^ZI*3rA6`|78{f`a+uASiB#C9qTJwV0)0*Z!G%Ii| zzr4N6Z2HBlUCCLVi?-ONKhE{|@A>V*Bh4-RvL?-T{_#(i@V~0%<-W?Wg*9NS_rz$i zOCDCHcGgl`_Nd*OcslC$w4LgXyD}Y?ZvAE)W4P*G#Nr){-}b$gTJ_W1xW3T%x!Bsf zwfpSjdYE6tSe2fCviS>#ZBWEVwb<>a@}lNuo!W4wIcQp-+i6vs%@4jFD^GA;`*+Kf z(tNg2_+?O2>rduCf5@r6<L97^TSRCM_Y+oe^~Wiu3@wKYPib&Oa05Y|F`(R|2o^Q*7Dm+^#ywxRqrf+Civ{e z4vX(Af4<@@>B`tytL<#LzRXI|HRcNY@AFGJU3Xqzdgr#*#`90xY=6!4uoLkp|L&@s zI9KAk73+G2D_?(|RPt%_zFAZ}HTB88i{&dr{Pb`1&7Zc%n6*A=!_73`!n{mBLES}* ztT%Lgs6X}WNu^2dw9c61y$jVI`_AjsF?YYr^JAv}^l0fi%bmQ;Uv!f48QCoUxy_ya z$WUmW3CHBscmA~axR=BqnkuGn!Ol6z_-;l_);zE27mk|r=xvLeuzSvA=Kj-j7eS2Nx@%p3RoedU;h%Af3&neOu>WhD zIQ`a})@wnA<<@7Wp4)K1>RXBI>m7$|+V$G!tL!?&7Yu2Td^4N#}g9snsI#0=u)>e~G{MWG-s@N!cB4d&jUXb-vUB-8=ex zf`Wm^Cqycheqmr<@Swhv!?19U==%%j8>@vQ)A|H4RP7M%DYe0G;B@bj{W>?&S?X6j_FdFZK5rEI@d+EzuVK~yziRb=B(XYY}jjl zFdo|>xcx7OY=Q{8{iB%&cV3ZUUZlVDu|vg4>Hmze+~Lvd&%NbTto7z0E{6F7Ns_?TyZ-3Dd<_|DCV>uB4~hRP)29H6Pb}{FGGZJ9B>cW*PnW|JjP~ zDt!mfK287lmQ{n<)XZ#p;VM?K`YEy9j|@cG-v8F#B;Hhf(a`sDiR_YuzYK|GG9hiL z@3(a39ay$hUi{y0-%qzBB~nKDxe< z&uwvP=$EBNcV`C$om_Zp--PeWw7#uUeta}-r{S*ZO=qQpW2#rStvl|!b63XatB=k( z*B@j5YW?TN-^#O}KZMSX2@lWxRW!T(imv60cUjT@FT3V++Gq*dKX5i(yY38k=RD1& z-}|RxplxwiFU3s$NyGZGqcZ4TRJ}vFi;}Kg@{%OB!=K2ZId-iXgt7ZNyhIO;# z%r`k3-_DwS{JM7aplgHRH&FIXN87C7?C!R*a(!m#`SoX8j8E#TJacE+&g1Y;1 z2X*)5JIa-|I%M@-VOnV!#Jyx&q3u!y3l56{3l57LALbPa^sw|;fbhHd2mX3LP=7Gp zWnK_hlQUO43!kQpkj0V$j|USDDK>%y%r#|%miR4~oagu7WEcC*x5v)=27mEQF7LU& zsV;qo?ZVz)cdnL(?hgI;I-dQo^vR25vVWN0zYVQ`B&GSsSv97Ionn=dP5A%+4BPMT z|LqNUQV*Osc;JBJMoqSgCo&ATggErUiW$v8v!3=W7M2DUplQ#o(VPyG-M`J}P@LZt zaWG`%tOvDXTRX4ax>}W;yQjbEIx|xUtBW3^sfN>umWDel0V1Mn!&SBBt@yglF}6R< z^={S1tkqk$mObkG`g{L(){A+&qrdNu-FUe_<=NTU<$vyd>@|Ay$}7bv^6)|D-~5sv z65V413idCUVCi^Ju-N^<^ZI6)takp=aLZXj?#45nLr*U(D%6O*y?ghKJF)ZUKXdh! zHvj3)Txsl-vi#NIi0q=~Wn0yEZf`g)mwY$+p?dP2XyNTqE^bmn`H|)~9c~8Pd~yHg z+SU2t_vJn~x@_s!%UD()Q4z3V|M@elcFN4n&sbX9e(`+#Dk*7{?zh}Z+39b6b1hpd zOZ#sZmft_yfA)OkpKX0#-R1q__Vvz-nwpqv*jj)7{@ufQvEBVF$7lAU&3~Go|33dd zGW~sq%{~i37X#DI)PtOcX^^9xX`L}<&u(q-@^*;Ep{qN%RpY3hztt`LKaD4kL zX~-eA_s*B2HTSLl9{!Ww^82@?_@nY>r$hBje`;^Bwzao^dviz9^W{h3`#-DhC;b2L zt@Ic}==}0sB^OH$1#0)+U9xev$v*8~+a(`uWpc-4;>$JbNpH9`)Wefk>)GvydCNvnJTqU&R!yz>9gl#^b*cY$EZnROH4DJZ%ry& zV*Ap;YEr%5liWw%R+IIXXkVO^w}kzr=RNhm9`!~IJSxp65{z1EJlce0CEeO43#O<@ zy1Gp^Owo~aKQ_7lB#Y5RAEn86-FEbr&Q?Ccv2m;Vu7*_)&pQ|iOtqV%qx^K!%1x?U zv#!nx%g?Aar@7BKzV(-C zzQ+9@+YTOMJ8vsqSy{EzY|fQ}{YL-KK62~qoo7<_Z0}~y%&OHlnXjhJ=d(+n6`!|p z{nABG%h#UU5_fr7^6ejGjc-@oy8rq|;PK;g&;7dg`Rm(1sn?&*>dD*u{KDV9>Ze8$ z(QnIdzW)(-vg&gQ-~W^5KF#&%)B5(G-pOyR@Yikr(vv?$ezbm1JAE@&tNz;K>1tl> zA76e*cQfagi!Qsnv}dX2%Pk>tr~mvANGxsqb2)d9UU1+v{`#5L!MS&|TEtIP-o3W( zPwlC8?hQR(_r5!1RQPb6irDGDHv|-I-1eQEfAy)>sm~Af%b%~h$$01$Yf;$u_TBYw zYEKnBoPKP6%9_BHr|%gp^#tJgqSXtoCuGX2R7*dbsCF+ba7|0) zl6l)hJ&J^nO7D1K$Y=lJ>!Keg*sjzai+?Y{v7z3)QC>l9pYee=ddadir(bw8&UU(f z<{Z}or`y|qO4lg8&wGCMhICdxKew{%v9I;rlMI8Ga_>ImrWv`b$!OD^X_MS9_n36@ z_5L}q{(4Pf<%XK@Tl?Nj4bfP#nd!=%H4FCoJQi}}PFp-@S_D`4w0en^T1S=qE#~c+ zAIG?F<=usyd&*tZPO&wgIk97vgSgnU8~jFB4jFoy@2%UU@owFv)sD~OU;62b9SzpF zZ5`TJw`hlV`gg&jB3rs@rX0^SVEnk=O5jxSlrzS%XGFd-E;^AL6>fI?D>@H|{gt6~(IB9=;XX!+RmBCBh zSG%O1GeF&%NamFefhm4ae`eqbDDgf8&zKfBsaJIoqJ~!~roE zLGe=!dqoz6OW$0j%==>_)A!(pm0e4`=artH7pwI0dG21_NnsfuVhguVv-omx4|8{Y z^^?fNKS!*?MfjDx|9)v)G-Db6g4l%Hiz_RIT|Ulpvlj2r%)R9}iGRkE5BAkZ*`{!H zEK?Nve9Tw+)f?^4*OyNZIJqyPP_tY6Ys&Ndx{AZE^*+b1|HEyX!(pp+WTw)uh@MYd z1+AZlUdq>~eyx$(`*P~T_Uh%_nOy7L*^9LLF4e#O@@K>1w;B0XY8pCD22$O2O|{+p z`7!l#rd`@Jvqa;sN?uuoOGwFwNea7WNS)yhZt)kf)O0nOoVVomv?(pzapl+Dp0EYk zH(q}&BDlb5afnzVOV`Yu^v$m?%FNMd+j*Uzt7@VW&MZmG@>}?9$>NjJ zF9Q?zN6#y*FD*+;s@n5QdD=TS^O@(DyG7mT89K2OydL^bnmDU%|LN$D z7y9oDJ`$JUHHqtpp1ULTXqr{Wr1{V0YdC0`m7O|v&(8MG9Chn*?j=ULaVKBZ6?b3# znfJo?-Ku$>%hgwCg}a>B&=>btUY4bEB2d-bx! zdxGl>UAz4`3NIJ^=x%HXx)t{Fv+Jc>4h*_Aj_aFh{~wRJR{841!B=)A6W?Bbe8?&I z$nTYIKWBCPb&Ov;ZCXxhs+m}z((TxjP5C6@d+YY({dK9prSy@`9} zC*?KY#n-48r)Ia#(5Z}h)O5tM;E&S1d0A&JPhWl{QtYyYRCEn8IF3s zT3!{&^P5j@te>3z@@Z%M#)aa?24<)CiNuoV&KMvvbgQ(Y%RXb+*!4ye}u2S zxbt^?=$997Hf@Y)kJHJSo5l5V_WAD@o-yzG?TfRw&pep@eg2-l{U>*=$ocYN)g#`v zcZ|$x{xc0S&(t?La!SZ}JGRIw?wHf?ps2}m$%~+mQWuZL3CC_(?Te9)L*{&Pe zi@Lu}eQ_v!*T3nr|J6I)VlH^^YAth0ql4G7;fawxb70*om!yx{wF^8&@?X7a$lAV# z@zasu6I0GC>z%Mc;)5=S;v3JYcCAg?TaPc;&sCYz=a{(p?-q}H^@k)jxTmw13RO|*pA7$_fLww{ZdoY%zD3m&esd454u_NX{%n_tRT86bG@9M_{CknUu=+D6_H>eFSyrnzwEEpvfc+zHR3lvR`}aAk8jV>_R9`dhwCi_ z3);4J>X*;Cr)>RUarfii<+)S#h+qF;HbMVO?Fs9RH?t=C91QS2ws^&?M<;(ROzm;G z+a)l;BevjusK5eVm0$)5nG4xRY~s19I^4Y@bJr)FjS&CF863A~**<4|mYjP36Nb%V zv7d@gC%SO)@~A{}U31#x>Sz7#xttcinZ?ffGlgq>zWr!({1ltm+o%^rEDB^}?~aYMwDlQWmubi~bkwr7gZ!HkLhK67TBcpdO? z6Vrn4$G;@iH|{+e(!J73H8k&(!9kZI37yoQW2-~(N8B9KJQ?}Mmy)5Fm*J~&i~ zlihqD+q>qx>+*?AlT;2ey*P4#{k6gy8~5e)+*z$Ti94I>rfyPxydZ(8%kY@Pl>Sqi z^8*#+`M()@d<>GjEyWs?QqSM`+_x|A)c2oc}*FVz}_xQO!g91@ip7 zIxX9uT_{~9<5{WC64P({&ksK4R-V6VV(|3i2cDk(8$99Nu6loS$(L>a z?Cvt$d;TNXcuAaH!Y{k;Q)juveb--=up5m$>gk3XxvtXJF;QFVyX^h&+I!bZb_DgVzzWh_knoIj^_>616Crsw1y zmV9G>@uo-A?bMAO%VnoD*4&ENcdx(y#I}?`9v4ZI+Zlg3A4!Wz);A|lJoZA&GHBw% zRo9(E{%i1Sb-e7j)oc=V@2~g0$cTq!aVps+vx*Ha#}&4gww~0J=sBuoTd_pw@Hrn@ zmN5O8dg+F(-R!3_C%GkWU9%wUN2K@KV+`M3#yk^0G^xda#-qY^v;+2-qL^JDkZXNmcbhE*7KHf=QJo=$Z zUB8#qB=7d+))YK&yx8Ws=bHO<4nHzlEDy2Pykcy6a^K4BRN}Yu0wv9!vE}S zg}Pm%f6Cg*+H38-iS=H~(t<Pmmb~_*2{(Z9zzL%e|I#ao5e_U!^ zd2Ga^w5Jlc>hI4BU8hdOcTT)0dMp zOB8wQ9(`wCiR}fsst3Wh=6;hjO;&N4dghSF@wbPK#8~%Uo$cj}g(sf4-%-k%k`kBE z*KDP8Pb596>y&t>U?QtgKo~m{v)ymTl_mnSxt)03AO2z1wEEI`$oS{x+)t_A(~n4s zafw~{EO?r&UR0P-KKd3TSI2a>-$FfW^^Nrng69dHlwN70c5M1)_1!7E*KJA+kGY{K zw$SHM>C=*nn_8Bhc2a5dgjFKEdv zaEbCfE1S>zZC*&(@1g^9Y+g$hsIebPPoB;8;4|m8x_Jwq8mz33?s~?o?x^zVTG5QB zF7o{}DRy>l^~R2}!gtorE9N!BU}5gc7yjBBn9Xv0 z_qs1iA9{~1JSyyQjL}r&XkO>KLriOKn-uKP(zLsOezQ}+&sz>X8B9un34P^)bI*$I zZnn;e`qlX1O)l%#!+J6`- zed^|YO_RHoZ?!`G^2_d~FHP>RfBfyaopL*Gr$P5()fF3f*W6?Js(I>*Zpbl953!=N ztJgQyo;ms7g57K7w3usi%|(xX(E2MHsPl1~5&zf1UFl2L#&qa;Eh_r25ctP!ajaHX z_<;v4b&ItbT(f1@t_Y}}@reISf5{fdnN`#3@27m$-urE1{EQgQuBkh&$MdGFx}rAy zi9>5)F#krjHO(GwPa?eqc)z@|-D0uoM*M^5*x-y?8au;dHXYp}^XX}ohQ`b%wUah3 zxL~_v$=O&Vhx1x{HLrKhv7R2|^2BE00`Xu+V=L>50{sc=mWb|NBKmg!#jb5p+D2P! zmxr}!9V)I*PjgE&-68NbaLL7zr@mL?epmeE&Xo*&yL7k0b%P0Ol|CLV+8O@GaM@-< z|Jga8bRPD$=Pv6HPf zrRPe0n0=cqNUe*1V?c&hYW0iow<_W9ISuEoEj;ZPKkx7Mnf3M`kFAaR{vdawcCF0O zVDYClGP0|7subo_Z*k!N$943F9MkFhg>m&Oy3b$Mx4&P;Q1oJ_z!ItH8$V8r_B$aL zw#%mE3+vOn*A=bHCyE?QwO7)Vd~`8bx&ZvXPO@})PISDbw~Tl8qbBe5M*r`TPe zyi49}t?K=zxtT0-C*HIiDT(-HYt%V6=OdfZ&pUbi%MX3=G2dnSkwKTm=zZ3ft8aU+ z&G6gT{#^N9(Epf~n~$fubKXp=+_kxf`QyU?cJo$!L-V*<+Z1$Xy>d`vzu1{yuM`}9 zq4WH!H~%IlFS`)fbUa6H|72b}%T14F^}6PKzEe^5>M5i8jTNUO#rLd}tGN=y8EyJ~ zTiyhwH`7F$uJ3EsUo~NSu2lDxzssrxgO|qHCHgC+9}{_MSZH^kXK zrqu0hnZ=%|Uvgf!T@aLVuiYXldh3*aQ2ELF&V2=K-+~Mpr(BIxOZP}EYTN9?_H1ds z;JbB6U+SA~zdi6!a#B@?j>n0b`?tCLO5}TQWS>8{zeMn;exVcNK7p5;jaR6IeYjO? zV4-C&gYDwXql{Mter@(`zIU6+6ud`sV%vqCD@)X4XNGOaa?NAUiGN$kypB=twG=NTf(TctKDca*F)|g#h%K`wVZ1hq*Q+Hdf3zbf@f>MC9?y85A0d$Pfb-= zetrUT=r4`1F00a=hnHz&v*auMox7-(GjjjK$iu&z0f+S+cc;?_uVFBUMge?R|C3 z_4PeMza-n)H53_ITsLHgHYl8mSu(B3II(cw)5$^e`2T&L;{MI(>Bk4siVNkxKIfbx z`$yj3Th!Q7(_p8o7AD075BP-x=qjp zn_0=HZdPBI7U$LKoE=|$_j}jvjrC7mO#Aw}I{{cy7RQm-V(vSab;ZTpz&b6)61ao!Q|fAe4H!G#H1 zCMn*WIO({|N`rUUrV`;>cWg$zJjsb9w0Ri=BbN>|Ao*OPr@!rkLH_7d_$Y?hVWN%2l_X$yoiY zKJZNUtSuI^xE8a$NsyJ7wI)e0JFls2=r#Dbqkg-oDF;{D z!ea4z5hBGov-DjI1H%u7yizXt?v<@4-8-zEfpg zg{XR1QoYE$+*>6HoJ%{3-!D9&*mkB!ZB|256nDcF27~IKtT%lv?)-kUY||_MFTY={ zcxMtE^JV?nFRp$)X;lu647FT8xAyw!25n8KU?JtRM``{QxtVN33ml`oEE2WZ4g?<#a) zd=i`?yw$MKx>1hzsMuZq?fFq#C(A96PG83-`ss|ee$$txwaIIRGvaUE?*F#nefN{v zBlVZ8C8qpqdiH&9T)jzIy3SmeH3rJt}ofC zFDiH6OaFf1{og?!82;_H(`4 z-_6)O``rTR&1GwvWj-4o<4QmLh;35UqRs8I4+SZ%tatmmb3s|1TdMi7^4&|Ud!%)& zUlul2=2gGFmC|UU9PvvmYm#Q(hCGe7{FiNxwr9L!c%Nw0teS8pz({7v@2n$LI$zx{ z9QhZPo0Ac7a)SKhw+bijZH;Kq>9>~=dMP3Ev{Kf2TKE>{Z{?}04ByJm;5gZOO=W9f zU1;R>+P$ZKaqOt?{du7KI@iM>Z>v4K{&UqVp40bmVoJuZ`l|^)a@K#i6*@QWMxjO6 z+l`YqEZG-UJL%2tSMC4XN{(fG7CF;;SG3uTuV#gnC;#+(EpZz*(MO7@IkN(1rk*@j zCVqC=%wx=J&U#)ubncd(pr=Co?FW`=djJ;`Fl=jW?Wx3mvd+8 z)PKTXI4mw$Zdq+z@$PL#`1ZHo>=OFo8J4E*7drUWUg+S-EWw%wAq^f&!j+f56@9RM z^9P%KQU$6(xBn@vt#y9vll`$FV7cddi?>&=pPCc6oR{zYLR+)L`nzs#F?)Hmb?vVD z{);@k|5fVlb6vigoUvZ$+0{d>ys8^Egg*&3iC(!=wXwMNrKgrM|KlkSJJi!BoHBTC zW8ln_d3fn{pX?7Gm$WeStA2M@yuaCUHs{AH4d!3x%)T*~k3;(K^yw4V3h#IzJ>~k! zRSq5sZTIq$Zw0k4irXCe zG3Uhc*u^QTeT-fw-WY~WS)il*@a0c^kA13nEI*Iubo}smmd(3Q#wLBbmWS`OqqCZv z;^)svy>m=zgTV1UzRMpw&i)wEvHXGDGzPun-dzV;86TgQ%sKu16|>5Ei(amtBgS)& zu5~K7CTin3gRS02iODBPkasb+p_|qVy+AXmt)I4?;}e@0vh+Ty%>9qsHvRs@^pZ{9 z<<_mrYfoPWU6x6Aitt&~xuxp&aLmI-B1%mJek6UYoOn(zepkiJmdoBttF4<{54l^exhU1)`pHDJzPlvav)d;ueX`B< zDQaIGjaJWoa^O_bmKo|RX1a*1;n?>0;BAXT%8{Svr>rT|%#L`q>3!y8`|oKR!gfjK z{6Bm4LDQ_+2Y1%j=yvU$|K;`Ri2uy%wwT7;jGwH{Z`Z=96IC|Jb@!YUL$BDMEy2rA zo%WwQD`4Ga-x&*nE9Z2juj{j^pRHcqypu2L_lwoaYo<-VEBJ5AT%)A2FBYbBal#kC`b9Za){Y0&bTJr}te_r30^<6#g$v@417i?B)|0#Sj?eRQ*?Z||s z*B7<(EuF+4{AX9x`jbaK7CFo_7Iwe9HM4GRr+xkZRT3X6S$k7^ z)$da)Z-mQ9OVt}_CIo%4x#c}$>5s{`-pf6I)Ze~;QcCr`^(p_R?$zGA&01=q)@;YF zZ&^_~6|VdJ(sI_H?Af|L4;3+WEQFz51d&7tS zOyB+w-T3K{u7(w>>++11t4}yDzi`FEb#lC=>l^Ro8k6Q6QnPG5^tis|^WAe#9&c9B zpBM77^sE23N1p3lPwOpRTJP|BfBpT>UGm@lZI#c;{&V5qt~!f}{-=VjTzK8^g<(Sd z`OTs0JqzE>e|Gc7d$#)pCWZNzdju|t|5r^|pq~3eBT(;L;g_?zXOibdMi-fH7MJa|($Za{d1|NB)wR zu(Q^ygJm`I+&{$CR7UZ>JN4`;@2A%xHoKjRbGXfC{Ec}(xx2eESf+g4JGnX9u{YPt z~JCz@I?dZ3NU3J%g`UZawyIMa#`jG9TPe=dC)%>;lZ5Gd0 z7xHyW*0#{vJGOk63LY(ewXN>?e{;_LO6S&eRQ#Eq%^waZ}9(vwXx@B#d?%_ zw5b~#zKJytjoqeh`%x-ovQO70tzE)Lzb8F^&DkFQzWvQ$IgGUiSO%wcL72zG}jOyL#)_ynm9ow>U{cN#A>aRO$QYo9f@y zSKhZ)R8H>@^L@$pyY%6$(!b9pZRDTtcckKB{Ny87pW46HTpnk>;QodG*=~P>KBnJ2 z#(wt)`_h#%zDjo;%`eEza{PWlCd%Ra#7#Ou^PGfEEs&Wsp{dBjnagNGeVb0o0>Ko; zHN|U;*A%bWtXU%N`DjtW#2p$jDtcVvo!y6Av2j;SKFu@BY0K)2@Js6!#d_}UD*G%F z-uul9y$iyfA5zs^GPp23|3aDm(PyxX;- zjJ7N(Fx;V0W%y;$i=!917l}LTcg6AS%>W6!JbI~HZKCQ#LU>uM^lj6NQOhFFBs_X+ zRAb0IGg4)rt#b9NqhIWltE(oxvfpWWSNdDavd8PK|IIqAz_IyF@-va+%GN)N_roWo$<2d z*mU1FYwqp{n{871SK;)QvujnVG*|h4yZ*lXK(|NNrl(hC9#P?to74Pxt~5i}=8jA? zr^29k-o#tWv)o!_DD z{6o4KkdGgmAu#d-c>Lk zP&&NlsO(%hvrQYOeh(1M$Y$dCqT=n%8^YnVg`-A7!0f6+`(ZbkHseDT2^{kST13Rp z2!!)#OUW}9ZrCPs#*(c*%2k8=#x0>UADCV@s;^<+?5xOKp{mAHF-PoTU)wCVi4`ld zKiDOmW6V}QVQAv!oV$bl!B+-RKGv-##R~M+pHN+3zokk15#RNRFU&WzurNytUfMC4 z)$ut?rBQ)H`T^z>&a!f@1vW(oI~E+8%g*`ar@@tT{Pr6jcJSU`x_?PdMg5sF@sBG0 zmwq<9-zZ;y=jLDMsAl`$?jo+sOJ-hHUGD8ReTv@plE_P`LHm7QZU4M?ZmH(!*--)W zS0wK`QnGXP%(Jho@!dg zUwc{q`90&$i?^|=o8CSi_2W^dgUfu!_=Ju%YIk#f2Th3)F9~Sg?qrv3{gOF0&3{9v zbdCMW#(7s}>Adnj{(b(&_o=swPFLNUt*Dp2e7o_jEw)F~o%TP;HDj<^>6{ez`RDFw zLf3EIt-s#Cd6#Lu*J|xm8w7W!9NzAEZk?x9;Ga)l4bu*Hf3#ia{?exZ`Ol_>I_#%T zS4`B~?73%wl~mQa$G1~zX4ElSzq%O5pK=N8_WyU3L!?XP6{}sg-Rn9r5uzSwGmps}*@sndyUZ#jl zUe2rEcmGiAV|`0O#hAWRzh4?}ObIogw&sWX#wUwHb#A`+nsoAI%eMAKfci#l?FI;+hCHfKpinr}>BIZGpG^+H$iw^!D^`qt%W ze2Vk^;|jx*laAY*?Rq}{nDL&Ue?I>{egEIrXK()4%w2ACYk$xC>6Z;B`W*kxozuwl zHgRHo`8QFozjnFb)-L&LDdoYz-p%=R?gtASDf@XxPX1;7B=Bv&vyhkm;RO#f?dGXX zZvOe#gw5q}pxk-8B;|FD^_Cp7UpYOxog$U|KYG^R7hh)hJa|>=7`@f)-y**a|E||e zx~KNJ`ox~rKPvxs)i-T1i#x*l*KKPz=lwpz<|&^(ioUJi>U@di{g>;NO#2MYmYnxv z30^j@$S&IB-Hj7dGye$7GF?%qiDlS)`Dd(@jcD>@*Lk(6yVzwJ5YKRqp#U2L~KV&`GAYZaI3Pk-E6#gwi0uj}3t-h-^i zq)wMwHAcs-ObO7Nu95Ji+_!z*3MH;=o?AOLy!P5$5m{IDf89$HA?1L$`t>g-Or2Ig zXO@~t=E)<01uqWtc8D&|b3VRF(6((+Q_E{s-XN8eRZ;0#N+uruQJkxS)y^>Lwc9M! zk^SAItF`ZlG_PREKMl)?w;Z~18+$~8b}z_CDv4PYyCQeVf<>F-u4H<;Pd>tV@QsD< z!FD6fzt@(&ef;!&dV72RhDEkMmon>(;?LR1s+fM@2S2WZmEkWUrkG7 zmRNnrZQ2X{oP?dLvJaWRmdZ+9z2T!q)!I|n)_<*vT&#S5>n=C-zxShVm>sxl*8e>; z^z%FGkgZB73~GNv6_r0|r0$5ne4NWdGOY3TA5mwgHxd#T3V!t@ZnS8*-DbMYN%}lf zb$!N<4w1kGmm|up-Q6EP6p^u$dE_?XzmmijrFFBK4rYJKd3$Py!JbB{0GmAmwb_Y|ugKfb=1Zmdzd^Wp>#m!*mi z-~D%4X|y8|$Ny1K!m;bzB>*y9mg)4ZTqKsqwd$wAItCGXU#FU;yrZgGJ8#* zQr_Bn(G2t5zMN;1r=58;E$NY~=ZEbVmtQ=7+5Gw9!=HQon3sMNtz9?WE6My44|}TB z!}Kh5w4{_?Vjf3*oTX>WxU@`EyxewboO*=efg@$@NKV7P4m52r20$RAwRrx zUCQODKBwC!e%*uZF>ggftnd_9JUHng~320q>^mNhg zoh!7f&tA+H(54B-|K{G& z3!9&qTPkuv>PzCx`sB+Eg{=W$=NeKj<*)5p>y(i3s*zJHyre9ort!$Ttr=72tG!$v zb+lOQzw68$mKT#W*0*_mKN1jW_s8Xa(v+y@%DHFVZI8N}{QPpp{nRY~FD&y%p>g<%aike%@L6WZ~B&h&z$yz-}u#*Ww$lIW&9Vjvc7+* zv;9@Ab23--TRSCgfu&--=~eM7?)(2SU7Yj1!J}l?6S=>qwq9NO?FIX~wR(Hq_m}3D z&b0l-5LHrIcO#>Em*TA7TmOBCHoLeW{`XU*=dKD0eYeb_;t~Zz zV^F7v+0f7gGCp8zvMInIz`(>Tz`*Fqrj3CY$~|@UG{X!`jM%x@HE-N(WOdf!4ifz` zSJ+#q_|s+4FU&%hgS$n~D0qGO>+M}+^f}0J))@t*y3U;m>sVX3gWk=aKWUYG)Eutx zHSgmm%z8c}X41_0%M+5=HuEqfx~pq&rRJp+mlUNY=7L!H(-*8^WnnTlntu5zn{vIe zLac&*aAsAif}ydof_}I{w1T06v4SB;I4D0KeLnzNhAzH!4 z*}}}##n8aT)ZE0;(#_Gr+|k6u$iU3m+0?|)($Lk=j*t>okeXO<_!yfSK*C4$(rLfo zK#_)rTVGj53$|#5>IJzra)meqIIQf5(VFhHRrf*bZXQX8N5UUCdP-ikOi<&IwK6*9 zryYE+;lPE?&eH#1VrGVQ^frWj0 zqO9H_)gA2F0j$#(a)&LH%32^D_JFJYij&Z^g?x)HaKC@371L~2!TwdCnf-&hHz{0JpD<8UO$Q diff --git a/Socksorting/project.tex b/Socksorting/project.tex index 8e48b17..9ddd419 100644 --- a/Socksorting/project.tex +++ b/Socksorting/project.tex @@ -150,8 +150,13 @@ the algorithm always yields a correct solution for the problem (proof is left as an exercise to the reader). \section{Discussion and Results} To evaluate the algorithms performance it has been executed -on different platforms consisting of diverse hardware: - +on different platforms consisting of diverse hardware:\\ +\begin{tabular}[]{l||l|c} + \textbf{Hardware} & \textbf{Algorithm} & \textbf{Runtime [s]}\\ + \hline + Myself & Conventional (n=20) & 352.7\\ + +\end{tabular} \section{Conclusion}