From 69218c312a925bcc21ff3b35abc4389caf398c98 Mon Sep 17 00:00:00 2001 From: Manos Date: Fri, 8 Oct 2021 20:15:13 +0200 Subject: [PATCH] thething: WIP --- graphics/lmdk-skip.pdf | Bin 0 -> 21492 bytes graphics/lmdk-uniform.pdf | Bin 0 -> 25048 bytes text/problem/thething/solution.tex | 180 +++++++++++++++++++++++++++++ 3 files changed, 180 insertions(+) create mode 100644 graphics/lmdk-skip.pdf create mode 100644 graphics/lmdk-uniform.pdf create mode 100644 text/problem/thething/solution.tex diff --git a/graphics/lmdk-skip.pdf b/graphics/lmdk-skip.pdf new file mode 100644 index 0000000000000000000000000000000000000000..8e0d6af70cd815721b2bddcded87b6aadf12777f GIT binary patch literal 21492 zcmZsC1C-`W*X`4qwr$(CZClf}yQgj2wr$&X_cW$$+wME>hyVU}t(%pVN}ZF+-e*^> zq>_`6Du{^DGSaa^kv3n}yhE`NFc8=oT0-&g5YWq**qS+;6R`d@DM1ks5YUTRSUa0I z{w=KyoJ~YbjO>g}p!oQpoSYp^3~Zp>vY1sE07AOL1P0dTRc6NKwwA`_aaoh95J7L@ zKcG&Bq25qUq3B+9`~@HYJ7$otP$ss<|7rVo?;q5Ep#CZUg0XP^rPq)*v@|ht{?{>XYy@oo z1oV&Z@A@AMrvJeppjUCXHzA-`FfcPAASGb@7p8)NqlvBa-_!nA30V_k3j-lLHv;Xy zCI$jVMixdo238JEHUefwW;!NDc2*`%0^NVL6}Gc={@d7z;2&xKt)sZ3os0edqW^Ei ze_8(DAH-OKSmwElnH`;WT+ruQEa|AC=bb}@ARmr7!GjyC_Y2>m}| zF#VN*chL*Ph@8npS#xqKZ%ucey5flPre=02i#$ftl5uqZ= z$@t_kbenXns-oI|&OGmVwoE78m;vJ%;%nWZ`=;0Tdu7G<#qRiA|9jM-XJ*AE`C&rc z{qz0%{Y`l6^{w}7k-GQm80X{oHSyc$BlY`@i+^V2+ezp6{M+ku-3!cj?AzBD_w-HT z)g}47aO?2#@l5@b2P2<4NLkUuxfF^I06%`|D@X!@QJk+$=2SX<=?) z+S3bET`T#hgi;b=kxk;*4?Y(>{phcz}q-FU{4=R zq?U`{QSScpa^H5k7D^&LY^3dA=GJ8sr*(m|&}U^OGj8iDFfZjER0m&uh4@hlr`4(I zHq(jo{?U!d`ygWv798mD>nZ-h;rTXgMCbG**5Zm0?GA2C@MA>&A;R;^*mv*fs2e}A z?O1%&DB*b&n2KINlki#4j&F2FEzktDf6i9=K1f3l2oU z=ymeZCSUE_6uE!Dz_!tD&uCU-^>O5=4A&><{JTUyD%>+l(&%NxtI)nma!U5-WY6%J zB)o@{?>v9W6C2W_#>MtR;?geewern|$6W}_LcXt^oNF{uR&T#OLGtHw+cR<^s3(y#=8!%?q^zu?UAVS$G-qjo;FZlDZX>htZ=kn*&!bZ;)KZ}H zY)~app?jA2ijmiNB%gUQS|i@XkD7BvTPM_y;U7s!68J#n_qwZ{kUP6M62ED#+V2KX za}$3){K?^RaGWvn3lGOyxT!klXj}EPy~>1^K3%>ex62U;wzFBtE!!#I3N18|S@q*A zXESqs+X(!*##5k4a8JLU2mp2+%Sk(#$?E%pF=P4h*!}W$&8_xDrVp1@4lq+3P|- zJV!@Q^-{rdecTAeQ!+F(Ys#k`KS&^m?mTuCKuD%Oe?8=obvw^Va`q(DL!UgE8$c}>A=8vHesX+=UKANW zbE`=`I_EcnVuMoXm!z(9hF-p1Ut&pFB0zRaw8}V!@cAY&ylj!geGfem z_E3zfXOZOCVU|;fMP2}p9VkQWh#p#9Qiy zMBx+5tmgRBPoa5-JD&?kcYh(PMtZ|GY|1Vkl%O1q&I&4f8gMiKjT$u!AhRSp=fjJ= zQMiNM;ZzWPklg{}Klv>>)^_`%k-0VEhKtR>8QDhe9N$2gyG>xB#KZ=(JtF-wgT`Zg zC3HtK4mc8b-#W%P*G@t?*GdXXHsTAx0TnRXp^o^4Q3|#VcnR+9BHZId0y$lE%M%TrzJ1y}tDCCmked!oNELuRQyggl&J1d6sp^4PibSUkXBIQQY;dTY;vKEFVCVXOvY^ zX3LuiV)uikEU6>?ltZ6illBk&$xT8$FsX6Fwx9K6tnuPER67NaL2gYh=7XPtsIO4S z5~@V5G`D}UkxsuCWfFY>UMYdA5iEZ?1qPP#5C4PNjuAVdJ{K5Hjz3lqktFe)WW;^c z#TIm93)Bvd86>YLfnKL9EUgD4T}5&Wbo~sO_~*fb^%H&Lw>SR zvqV?{(TyWwJMTb$B=}4)KY+d0YhM1)hqY#V+_zaU^K1YkFVN%CUCrWbr>+3#7;SIU z+x>_la1}f%+xiYZB@6XdI1uGeJ#7FDzC>qdkTA%jB=Dmq~Xex79%?j$v#OOwU&q?0AC_;838{0 zI3eCA$Z;mIV~*_>B!fDT!2L6LMGm0EZL7f7$c`i$d$c^2y8t7kWl-Hi51xeb`8(8| zr6Nm6E^6w!pa@XMz+X|gSE2>*Sz<<~RE{D7^nC0G_t>Cnv<_J$_T<#R<=85H`8GKc zej(0HVXY8tVxPg3NwkC`z+AFT0u! zEixk*&Nk0cJk{R5xgwqS^x!J1;3jr(li{Z=P9U=niD{@7nNf4kS(Kdrdd3YQIsNyZ7M{bo9XqT5ifQ01rhBK(Yz4&nmk0L&PCZmg1jh zpl#O^*j4i_9Ww`uAmuOspM>exFce_IX>tyBAu358z!3|;P;3}rKj^$sk{|G;VVkC| zf(YcM0SK#D4;$${uizHaj8`x1ZiSO+hI|-f8WnY>$w1wwuCtVDPG6ue9v`A~&FCDx zCjv&sAtXwJ2kRe>6H5j`jjbm0ljRUlJ-loBYSKE7U;LLMm~-JV`5~*EGSiL@OU`TOYsW$kw-=^2DfE;kZ17K?U z7WgVl(D6jFpuBm!>LtZq!Z8GWkxa1)>b=*<=ne$5VmDd}1yTuCn|bfo58p%jg;T@{ zUYkO;hhiS~h)*Q(=?}U6-2=`sX?BxvPNw~?o)?t7z?n$&7gTdkIw%8t@*jNtkNHPG zq=J)g@3;S%bw*%*MZnA?8?LJx&+XHA`Vv8saNYtnGH7l-+8mGHt@r96>{~A&m#=9ISX$W9ROvz>_DN{OqP!1AwN_5$`a#o8 z=^mP{k}I&w2k{YY;9}RMv=I*C#|JS6EH|Njv0NMR)}ftke`|1z-=H&vjrc|&EQ;WZ zj(MyEK-8CKEqDiD9RqXL%0{CLd1BXE)C7?)xMfEW;fTX`mHe9cHti}gJ=WTB0a~tL zH?E4cPa%_@rJ6g_q;I-1c{}D$fo=K{8~&zqF%2Th_5T7u1h;2QVhdsdh1+pVO*`a% zN}%7zGJESo)n6%lqnCR)R3UElypQYxSCQI|-H87%qeQ9J1cT$f3?6Kj`hI&a@bA}m zdpSOB@Dr&akERcc(?YPc%%qzf0w=zLEqrr83iH&^InJn9FwAf-QmqH~>qA|J9 z1}??Q3ZF6%6J!H*^H5UFEy)lZd) z2yVw_)BRKW8uA%p2f9n!r?njd<7;f5f;P-p*_Tz?4PjTS-22^b`}2mK?&}qKliXp> zy>&4kn5gSX*@Du)8LqJ9H@F_R_1L{bfu|JGoS3z|=uAcMDqpU#VL0M?DVH$40>Lk! z<%WOtP{zP|h8n^0y^genFwQL<&TXI7@Mcind zC%j!K`mwO>^XsYN4_U1rjGW9^BB{M8)`pf-CxHwMKR`P5>w5q{-T&w*2KyXyWA0$F z%-_le;l++O<0OpIV3|ej{LcF`O1L*;wVHN+v*kA-(cmi^#IUvZy!bddr|8AcOced6 ze|k^VtJ2#vYoi$S3NSwY^7}UIdS!qJNuoh4*DCpqOXq73Yi`(a=57OoJETPYKFUVCYpz3))+Y3AAVxh@@!|9*%Z zu=KtN_V$#qf@QFF%_?`U=>~-PvweT5s2Jy0L&}+4mSJt0~fBuKb%&8zi zmC^wo*gQDvT2P{T?39^sLW1&cD(AOjI*Ew9U}O|p5%5W87y=P%C}*tloBqTUqON0^ z2+q;^+x4Q1;jg6+PK;rH82XYYfgXzUGA8|N>jz$gB7B*^>~cOvIyip_fmS#W<}s#y zka(tFo-&9xM<^$fY1WwjN;2tkmx<$~;He_Wl76WRZfSHs$BqMJdZ43^fKH~ge(uFK zn6}+wQ2&&DPPz%x5LPx6Op+>gn<%M0qpIB3ZKq<9VXx$&egh{JQ zNV5&ySGZa;rcPWWna6g5P2~Erz*xhF7w^zU$Q8z6y1Su#A&F`Ix`j{`AyU4>8v?VR zH6evQPTGD_2{!gK>MNQliKoRRok#HEAb~=s$k$q~Vv238@ z*QpLC8J3ki%k0E)gfRnmX%}AXZyJ{wDsZax%DzD%5-bBxMtk#H89Gb`UO4Sk@eve6 zcg#I777|~L1$G=q0TdA6i4Kr}m(jzdY%Q=zRIGx*6Dt9ILGfFpnAsDhLhseGh+}-5 zOmw}P3Yr`BkSf?_0v?}9V|1Csh4yrreAI9Ck7K zMY0QtcT)B-`2VCGq_3K?z=9o@V^1A#B94Yf>@QbFj*XM_;RBFU0$m??B#DI+w)={+ zC|R(T%CDVrDw;gSP0L`7eDpP^>o0{fKlOqP`i={5ZU!YErN+C4;OI?o83#PI$+i+Ch0BRI z6jT%_WNoTLgmRMrXlE zsGYcYY?2B-HSkHNvs#}iG>}m7W!5tM;0~UND>ur;RxsMYkkvcOP0LAyn>vBQuJgi< zagq|H!Yx@?YNg4fgM#RSd&FIN{_L|8&b2_aw{2ZL>Z0I{vd;}qza7kKSOX+ZLm1>o z5JMj50>fJ6U=uXrNL|X2AdO7relp5J%EJ_8MbJ@@MnEng;OlY@>)P&t zOEsXT7Pl}uPVlH_t+vZTc+E)A<@1MJJd`cou?0SJ+EWP&&FrNI57BTpm2RX}r)ccLbkiGE zOX92p4`NdC@C!)jfR$qgin+^|^cg?_C=yeRwe!cPu->=dapNRTL?My(^WJFQ8JE_s>~8u;=Qk-=gijnD!f5-yW7N(cx2 znmdWHO!!gMoOaeLpV*RJ*4<1#XFO{CefRubDM^OZUW5-bqiG9GLN zZLLthv69#HM%>umh`o>N@uxATy&k~%Sa z@h2N<U8l`8Kkuf<<qV&#UWs?fwefJ}>R=e8^ z%;0*~7W8mA>{jT509wPsUx5Pil(C=kEL@s~9JJ=R0AYK;*xfE;1c137H`KqzOPrqZv4(vM-(VnaXU=$n8)J8E>9O4fO~E_@ZjGf4z+oj`~@uM5U|e zk`Mkf?2XkI~ZZc#dUCRXMm>nsivJ8PlQ(FP+UGD4m+Z2I+#X zx@SDuk$Qb_$+#f%+pRozrYfHk9%rR#j|gNhl?K2f+;^kPJ;GE^$@jL00Dc>v?QxK0 zfP;I`H>}C)KzU}@2u# zZfWAQ`7mV_2n?8V5F~aO6QokUws638<$T@(c&!aNWNlaaOf=JrfB5e<;hmTW-c^&J z^r(g|S_HSr>=C z?lO(m=c&U~43Jbf6X$B|9UyK8pS{Zs%vq>1Y0nmBnuCMdP%$QH|?2_I!4zWX1 zt51dD`Y5slAr{9DiFPjzb_2wp=N_mvRam?x+pq}57i4q9I)1yDstb)N z)=zuPiIZ$a=Yl=)8h>g2nXRq;Y`|l}B*1BN?d@?6AvCB{)~6y7P7SZTNS@V{8=r?r ziGiNfX90tyWem>%>_MZ$you|F7|evIIR8UFIy1dB;t~6T?!i=dqR>lma7D)QHYi!e z2QkmtScKsvwlvWenHw&NLsR%|eqR-j%_>liVDedaGf}r}-t0Ajnh=IqZ*6#cJ4|6H z*_Gu>=8qC~Kf>AdCm5U}d#9@u*zV{P)Stm8{A|3x(KhO>ErkDeVKKT4bIn-Uk(0!xPjOB2Z6;9 zK%kyFj>3M*SyP3^Qt>W^C5@b)XS%0?6?rzL>hwrPg49wDXN)16dX`s40g+cxa;A?U z5ZmJ;xEww4GtK&iti;7N*moPW-ulPm@Qs(LDv6Pd8y%5M?Do{H!Sc5UktltN_L_~H zSQW699oek_35bv^IIO*`jXJI;1iitEgUtNIPE^vj-_&-Te{p{8W^1C3e92PY$j0kb z>ZG!Q7A$LewfAqnu%&P-izPmjtNCm^`3>99K$Ion@KMpr02N;!!l&vP-lo8^Fz9U# zV@8~qZ)k*SL?rz&sQe290R3Lz57Hm`)~OHWwx>q2yBf8ITShe?z~W2=XeE7B45wA9U^WJSToTddgiOMUmeM_C zeP9-_crwaMmN=kFxt6+SP%o-kWA?v6{d{f$a&$;xK1nITg^SZKi=*sVB_~+K8DgX; zF-FshH55Wj>|e+=vtaLFYgO8n^B4T;-IR*u4>&8uk_@WwXv+p{pz{Kv(fGr)h8xfe zkWR}3?AIiRiJe_DrZzUf$rVr3T(E&hHe!>OHH=dh_kk$pZI&2}Cdch=qAPHxLb6bz z2ryZtv47V-w+ZteR!KQ?37?-R)iAXtzH;0)Ion#fKBDWHH>aH*M^iey&cG3zzR55 zMIcH5t340((frO4>PMfttGSBzzu7pFSF(1Q7#al45BnNk`NEOtP|r^7TGOw!SgQmc zikk&5S~UFhy41&Xw4Ot{#3bu`RUh*~oFH+0e<}boT!8Q?UZ8oZFmkzkTMqcxAA9_j z{H!P8WkXLwZ@Qvk7vuU&^lOx59M2%_jZ|Bmk8r_k}-6-&g0h~Z^V^- ztsSdj4c%p`!8K2uj_VK@wfY-a_hzTA5tHR$N#lEn7h}fpMOfs1=DHZ`Jp|?c zj__ZCa0Mk=#X*^P7^U>!*1_#0tEjndb%rp-K;4}+@!F`D`{LX6CGA6 zHYBWx{-e>NIGV6o44u3o$$Oe$W$^;9Aw|5hs<|B1s;vi-u(iPde@gFGDl+q{$wStuZ&8)I)SrJS7KY8_8V}Pt6L6|Ek{_~M-O{>0`S@`; zllJU3=nO~|%(zj^)Ci$vv*D~xlyL8BjKZ%L4m8COtI5@L=9D1;3wLUH{*g6^lL^cP zJvPh@T5HU-Q}p(Z%FHyk4s%@P10k{^H72DxuilM6J%K|@LhkWqZA>JQ zDVp5pcAP}2GIn>K3Xo;K?af5^f%R*M_NC(qdW|Ga#x9>Yt6~h79b~UDi`+4mfETN; zb7K>cpC5w^92JM!dr77HdB~j=k};G~S=HCgmq~=%IZ-Dg5!RlOx6plNu){=@i2E z=sbEE`grbsefRm~yjr}qwQu;*mg7; zfAggw@O7IC`N8SIrS3Tvi3^g0aB}jQP$-%*yu&f%VhYDW<@ICOLLCYj0F&;IR@!&I z!X^$rOq)X?Oskfcw^vMcM}KAl3v-nR53cnR42NC&{&Ujw&bT>2;ve6)+6^xr9h59gILjz!p#5I-w(s%?_$OwTn?s~p z8SZAe!NwW4TEfN&D3!DsGz|L+A>Gppm$*zM0Y$y*9!Hkc+}4fiuLlb`uVJ3T73K}z zKG$S)fgg`+i6#z4D`z0U0iD(M=cu}Gd3*&Hl!s2T#AAFVulqmi02d7jtB3br9yVcF zuOy`;x;RoaWCKd?dYkS*%Bq-L9C9b_K86Q9~rf|He`1Q-BH9=XSZrmp|;=X9*(WCnpL8jx) zwpPh)_UIbjyJ*ZlUIpCS7>y_U{x^bEpBqRv%5$MzQuhx=NK?mWZ~C_!DYP@Kc9^hyK@*BP2a0Y9JHhG6M;z9{_Na^D~#EeXb_iQ)YRtN z2S)63=hN}wf8M)(zdx3M(jig{4t#sm0vulE$6TvmfQOQCj$y}pClPH$gtGiv2{X^h zVx-)g!RpbEGjIW!8>B!IEvuruOwHauEwrV!$$6?@;W!qGT5sklidD51mUotuyFpeY2Fi| z`(7P9QS7=Q{MAwO`WpAuiQ&kB^GFY)N(%uxj%Jj1M8;-(TykouxzMkzXvKf_0m-hNv#0}cHUm>!BUu} zsCjZX<%aE-^T;}umE9J6*aY3}j5MdB+}dpFJxh&5mnhuNBxT{Qn*q4w+jy;4sQRf3 z2z^JJ(g=7AcI7iF;UGqpUoV~@8wbeKbp=%P_n(%G_^-SrU!eKhcE( zb6|K_f+YIvFUrtF^$iL1s1Y4Pgp^`1x?MP24;5mc;3hwQX%9Wes4~ zDQss^2!N_)WmlFemOFVA0Z1k`SkLxvt{onN>-O{lg`5i@B(UHhX*-C5GYE4IE^ojz zO3%j}%o@P<#kTsjVkNAC9>E~@d!EraZey>m9s2JjP7bO_LCCOV@s;8xa>MXFi;0Kn zY(Jbx|7E;W8BWY*q&q!upF<8#N;96{>^KnL;i4jxc@vQ~h~Ml1l|wdOZwuq6^HNMi z;_G{(9NgRrq-~K+ksK*l6bn{5JM^CQ4l*;8V4i9W1#Mt@GKOh%K=~ z;nl$&sw9&U@EYuUiW8%7kh$8Lm=7F^oOGLYLB27hyG~YgKAJ>6fh7BkJv#V-DLm+lkUx{Jj5Yy3GG`q}FL+7YSc*3f{5(C!`_7kx2 zL9-n&rqXUcix=GheBHUp#bVY`IVTA$e1t8sERBVHR z@$eld=|jHckwLrd$pF6-?Lw4G_c5c5Lv6X`m5B)g;|ZIVh4_uKHL$jl@ce40AjRw& z84L}YwY{n%`2YcIOR?mZ9xr$*&Q8Poq*ca*KR~1cl9BuI*)ye#=Ss z*!?1W{YuQQ`&_3dyFaG5s_giixRmH24p<{9R0HB8)eQ9#2gu_t(riy|s^M~kW$`X+ zd1NVu985gA?K$!m9(uZy=x|xChiGdn^cba0n_wQ>5KGO{Y{R;bJ-dzE;R>TMN&|Bl zb`EhLCtV?2r#Xt##SOEgC%>azYp~WzMfOs|{=UOC-ycn={lOWwg0`2f!EY7zyc!hh z#-5Qnr(qQC3ZqFxe~TCYOuE%hnfOzvi#TH93Jq!7ij!~)^&J2G+VYL?bmoPUI)-M` zpGNIKq6690ke*`}I{9zXQ73j^KlZ*9LDQt6y{9R&6YFzUUuZn z>8*(NFeSOg&adWvq-z-Y)`lVO`J8v8>v~xD+b^fmFC5mZL=AE~VUjIO`}4niqKb(_ z-OLyiZCFXRta?*x2eMxV|kApPV#@@1jH0cR^i4x?RO=*33UK zrD-mr-K$hCrP-^0lvHDn$qI!>oMnM@xr-0;1=!bAf|#P+CO<>`4h^f78*2cOr%^t_zTE+gqqzsW}fLo_fu z+J20?#zwlsWlmw9V9JUAsHDg2bq_KAkgq8)e~_2EKQG2mm6=?f1Cg^+=6w_Fv!UnLypJCLQ=ASR zI{g{FRDx^MMHVFr_z)i;9K5JS+Rr=-qBeC0C;%4n+cS%vj-#s|ge#Vq` z>JW2CMBkTe3rF@R$kOg)Xx|PJyt{C=S|k~Ju+d7)e00<3uzMyp@YQ(!B!K=-%1Z^V zK-zl<>+|(23bYt#-`XhPQz3H#O8(3#v`1m-8j+17#2T3Cr4Q>DJG7=>Cf^X7Gv#7G zRMW)lCKcj*F?C5v{)n&uCUpiCh~!9_ctO&VeVng)31X+Q#pG%?(VNDWnNv4Q8?uAE1|px2jODVo(=|0W;k^1c8lz54+$qtS^rO5oad@)%!%@D1 zIvenEhic59Rc4WCymE4uU(Gka7uS~Z&$sb}%Tu8lybMFR@(r}l=ZrUM3P(1U`h)#u z!383Ill$)9*&o{ao*h(%7ob4^wS#*)<7A- z?4k&ZPq<`ZgEIW!Au9ZucDDS_G`CBcu zP}>g8ZH-5ye>kd~sixZ_|9zDpqDh5Z0MZH+N?0EGy^q-KCR}3Z|Ab?|_2PPOBq=*} zclyy$bny}uAY=YszOb1Wu^*vvSA@a`3q~{EnKRySd}D}|6zZm@DSzuaVnGilxPU6_ zw4*f6gN zLdkzoHp$P+LO(xLZn?gzYaF{EFhbZ(@y!ga@qWUuh(ldK02*QEV}`QeLKp{Vm`}@B zlp1d;1{@4jJ;YR+3r%n@Pa=FRE-~YjTwj}Agjz*7(G4QA6qTyoId+k&4rsjTk)g+> zB)MImwwJ?Qv;3-*^hc`mk7K-xLto)IEoZf)Ff?2H{bo;q{a{Cwr;Q>T z|F@ruzpbyS;ZeC4R6<6n30G&Uv?lffB&<;_@TMgd-oY0mVb$10BnB`t<&yg1 z1I!)Jos@~RXjOmExMFm5w)NTA=pQ?{TiYwTUwZ%>@G>Jg9#(kZ+Hx?Tp%p!A$kA4~ ze1d68FGsowPK^l3vZM$ODTwmD-l7zsMKx7K3qXu66a(3wo<3HCSI{ML73YG5+yrNq zC;1P`U_+4nBoXEUhWGSR8a?V4nx>QAmn=LyZziOAsSw2<$`@}@q@C6ZY9L}&UdB06 ze%%GYOgg+YN6^_m+)Ou{Ik9|npK0OTg_TR;*TW{=v+O^qo!+_cGG_{%bnkIL$M1+o zk|xeVlq^l|BhF+RRdJ~OAfh2oKhc2Xw&k1z;hg)S;d>9_En=Zcz5?D@an_QwYMg7> z99%cEHeI4Uk6zwF^Y@N19ab3=I%manD%d^8Zk4D_^Jnv!EGYa(VVRwR&8B$C7(eHz zjQ9|Ziu>MV3#V%vg5twdTz9fJe~;|>%yRu6q^kT~VH^a7#^heXTM&>unMWo3#{LIJ zf{wv0E-=orc9#Us{!v?sHJQ{P0zo-s2Np(R=(p+RceQj69!kJ6(X#E3sJ1>yU|}Gm zlHx1kQ7_0iak}}@=^zFs#W=gr&nfAq#fCpH9(1kYp5GyUb8>3Y7>;2E!U}At;MIqD z(XOv#C>b?a8}cU^COMcQoq}nts+zB+z<0(bNTR)jk;C{8S_7O z23i9^p68a@IBPmWe#6sgsSA%RDvEdN>%g zFfGn>%)O`zJw=nJAhu3NJBz-VZaS$rfm<(dm7i=8RUi8@(8joHqD3paU>a<+SudDO ze6OR$i!;$CI7(hzY&k(%kZ!+fAWX5DFXrX3j+Cpt9BetscUx^ikmQqz1kg+dv_9)? z(?IL%bkIclczCzaEW2r z3f57&;qXt$@_r)@AQTnTbH#vfA-3oB3rKXj2qOE3BL&t&L-UJS1V8QtQy8H8a63P7 z9V*Ib$>A5=MZPCut!0n?XOr4@wA{28A5QI#zxP^JKA~X6LL0=mS+GCc$!^{X9t-Mz zE%+>iW)QrtY@pTn3MIx80Tqzt>z@a@Di)9^XP_i341gILEW74snJ$kio)J>4HyR05 zL(LA_c2pY4`o$~hS2B{|_x?sImUx#=t&T+M0GXMWa4IbdQjOcMAPn)g-z+P358V!x zC2#sdO1)?YiQGi&*#rU^FGtlE$Gq7`zw!r+nlt8_18DHUKJl%(>QUmV*uK5M-f%ge z25OxNb2ecaU@b(@@6{M&ZzH6O%`_m~?+>k9pA5kWf#<+?X7Xib9$j4$SqKDQ(s=Ky z^7z+i9jY^%k!Fg6k=05b2*a4o<2S+}8q9o0bUVNWN3Q1riuBd4 z#~2{oh>nZZ_iqWiH7y=}Ku`Pwp2x=ro!@~hkmzN(l`eOUT|ug3V@7an^7BT; ztig(QqXW4;<=hXUW{**y)uPP!Z9t|>*I4<$2rWzaCOqbMbsHW0|lsv3(%j6ptY zi<`xr!wMT_6w_YV1w;h>X#MSD?dc75L9q0n&57F;Lw-4w1obK>aHwCU%=CqNS z$0nErZOUu%j&5pB8sKIjDEe9LhKZ3tPwCf;tZjr>F#4x5tvpZ8)E}w|w&bUEhKG}U zlt5$)_r;U`&7moyV@f~p6ac9Et*j$|e+6Jzfik+A&euZix}&>*O3ZqJQXrFWv&LxS z#57zZxirvE^XYd<`!2(a2Xu#8XXWU~2g)vLdBmDhn^H1>*MokGVgECo9JhKRAO5be zS6P&bZ0@2GIl%9aqt>u;tb<;a)F34k<8i9y`J z_PREPi<(6o$Kh=B-M(u*^5V)Nk&+8^^h)$No9v(H-KIVeZKh_#x_xLpQbCWt|4jhu zeQ6!T+tTX-a$+~EP3e1vK10axS@2%D9;V~EiR&Z^O< zW~F@5VYC)Sk;^^*5j2YmL35ctT~Bz|?ih)~f}M_$({+351U7bx-OA??oju*p*=)uJ ze&l^D&IYblvC|sPoy$MaB%+5MOa8l+R;LC7{xoRUar#dTj)#sDoCTp^Kz$&VV;k1Z zO)Fj4Mm2_E;J{{t!> z0g}y;hLmqyLB}@J4ZqFS^&cANY9#2)Y{u_^eRXKZk4IJCnDgN8&u@?2gwAA}M=%+>ENjN{%h3C#R(!hUX1!aZ!{1cC2K$}Vwt1L8WF-?WR)7V5=ArSGN4PK0 zTB!;kQ>0DxWY`z2JI+1sj!!r*9RjNiGzPS}t^FFWj)9d_UpG5^jZXS)v2DcTEBP1$ zE*B2`tnf*kQESO}N={ z4a~y+QNDL4dP#QEKGedaGQg0D>>Zlmq2$nVL#1P>z6)w)Y!OcxZFR#tRz7%nDjD4o zx2zsS%~p;9)fIbClk??N%+|L}b_vqOT3YRGiwu{QQCy=dbJm8vp4D)T2gxK6!B1DA zcsqvmYcxI97v}>Q80QS`;cs3=b07`L`D*~>Qw7yAX&E_4>CaTC$+V>FFu6W$_0p(9 zkdRr?x6i5J$$^KT6-B3C?TXq&&BO7gC3QRwN5IO;Wt~wK@*U>>6zH^YEwHPxBv_A# z&D2E}vjvIZGL~D8X2KZCH6eM5Gx)1V-VZQpc#(NOk@pv_j0r37VD%<1(bTabuSk|5^D2VO_ zWLRN*B<`bwCgM(!=mVPF`{K9)n8q1EwVjR*{D)!ZQ|SHaTOiF1VNF+9W4E&6I#_RN zlUb?TI~EEmUIsjtJwedaDiR##ARt7Sd!mTK%GwMr$e49L*w1_fSbH?}z+w8A9bdr3 z1TlZ~%sNIcWZ@QU{lWt;`THq(p9x~;D;PzG+PTxW>2(*-nyM{J2GLvzA$uk^F5p#O zEU~%9wxzJVTPsELgA8EyJw~N4;PN!K14r^(kp5as$)z*orE@rQz2|oYv|&`TtAHNq zuj*fI%2RU5-8em3JZ%K?{Gj0tSXV0)FP2v1Zsw%_mFEzMYXQ=pUVSDjX zdWB(7a?{*z%u<=;$t7WY{5|RS>$dPNzRTA6H5@OiexAh#v8;~zBKEhY?qV>%SdOYD z`ZcrQjc4%)0{Jp>1b9XiZM`w=F_C*ZU&bPnbG9MD{+J@^Gpx1<0o0uV72T=5S#gdw z*UpH)RXjnB$Ef=TO1K+NQ-T|SGR&G+_;xNSzkOJEkrW6GzFM+Plc%W!nySUkd?ry3 zW$ic23Hr~-P=E$c)2s+V*? z{S>S8=4G=xSNwBSzqph3bWS&|sYn=rrk0kHoZ@_9nTIJdB%$Xk6*>d0va-D-O%@cm zPH49~S6Ccd1mbBCON-0mBN6(g{Io@r`pLTNgOmG??imW>HWrfm&J(R^(visXJ*gL{^swW_+Ce>7LhP9%{%i*e;J|e zZSCI@#5p1(KN73(--N6mN(sjOAM_v6X^(@t?k3Bv&LuJLeRA`Yp5Tk9P=G2#y z#yrT%D@ov#eoT}c@OqOogDUTu$T^%@>;2|$ew=33XdGnjRqB44=KcHujWScs%78zQ zz^>Q&dL;ej5;q5x=d`L!y3tqPq{2sP9cp9^LGD5>lm1}d4D%qbG0u*_BBthF{_nCc zY6lRrEO)g*U@cC7r4SQAtV3A4ut>w;@r|&6thoXN_5NKqM>m2w(zlR!Ef_;T zW~zBXH4MLZZ@!cwhzbLd_!*ynanoR?o6i5m`dH}g^e5s_`(IC16}sNyESnaHb4s2W zT`8bzuGv}ZG2_&q>$f38kBP;E2_^nL`pXY$3ySU<*J7eZ-!TcuosJh&fWU&T%{OUZ zcgpc<;1qKCJOrwZ8AF!C1V(nKz?9yHoiCVY{=olSBPcTDru$J7C9Cp0p5I~|b8&-(77v%a%W{VC^^_V_<*!Ke?#)04Z_i-s?GhFl+&sEd~B}9kL$?P(F_8%9P zO{_;5Kgmw@VdhS7UR<&*)?SJ;IK2Y@{OuTlj{wb3IRJH%Fm@7i#o1e`;}r<_oXN^Xc*muG6S6cy@W50Ya57H}l|4A*6?GH5&O8 z;s*M>MOFOEoy)cD%?`KU$0eqEZo2LaTWj$^N3Gh>Jw#3Qm+$>%JcX;c{#-KV5VS)= zfw}5^#icvh{#OD03MuS9EWj-22PPtCq35@+UFX)Gwpyg!?%ySFe|K@aGrkzfTq)CH z>BSo-++Atr1TUIP^DIK>J%5)O)!8v-%`8>gT^|9LCl>Jxy~3WSU27{oij>m=2v`-x zEc-iZdPzlf?*<-KfB+b((%un&GiyQi>MKDAKv(lY_Dwr;c}KlCSE~(1AQjH81CV?N z8P8?4QxtgU9Y969N2iUNT%&w-Y-+T115RNhWMMNF!lP^S(!h1#>$UY=SL#R#Dywn; z10zZ$idXognutHBa{!S66`>~{KXvrTxDroLjUKtO19(~z3=spz8XEaEzYd9OyOCML<9NP!~5Me7W zVM`%V`F^UHAJ&i_3o_eC_&(z-l^I54oTm9eqe!n;UJP&~{ZD`UYh4`0;Dq8tvhckr};P(vag>~nY4C&E4VZ~IhObopawG4lZ zQ;Fe{Qfgu#rRU^V6G60=#&Ja@N){F5fJs-hUR;r=kJ(2vP^(!sIUtpi0mM9S5lKVG zo^36ss28Ls?%ul5(uJAH4t`OmUZ!xd?h_+LVWQm=T_iwJ-R4Ke_q)fI2B0efdO=NV zk|nei1+!D{!Qll)ZS){Twp~eOq(Jk}Ia6HS3?m42{#PvU$0S=Yd1Y2Kw{)2yLvS#^ z1HHnHSUHC~aYerUa9u!idsQ<~m^~qV>)WXH%~Jtz(9A$99^ah*@`@n1g+IGLX-H(w zOHgJ4G0(J;#dN%X+vQ=Hf5&4k`&Ayu;{>jf=)OnrXJ#*w6LM8b2ySMW`Y;kp{!gi^`)-_UUZ#NGds!*E`c3&>+0}jbaC~!FxkPTM$I`tyvy8G! zRN!(zJOi^yA;meVtvgHHp?Cm*m6S1~WW6h5?1AZB%UrOnALRdt&zT7i`HpBW;lcA8(YJ0qbjq%z3sxjE7gn9_oCK zQYktu!WL=7x~~trS<-ayu^>=jso;2XJuy-@il!j%wJQvQ>MX46J6N4I-Y#tX)RMOq zJbbYI6qW+K5TzWUF*nf=-=ayQzc429VqOgbR14T?6nWVGsuqdk+W*e&U8;s1_(>nB zLFQ?zb4;l`ouVjIrPh*5ZYk8k&Q+sTBrx-!YYFk=I3)!B*aeIqQ4Lu_JTNY(Fshw; zgk%|iGZ1R2-)c%HVV9l?cihv8`&ma_+uQ8noZjDRDzfSKnTg}D`?#B~IYhlY7-tqh zRy;FV6n}b&N~k0A>2U{szMf7fjFzm~?MCHy&x17zBVU?8q6+hFp#}N~J81goJ7W$_ zpfo7ep}9;fzo-W860D!)-iZ^Y6f{j5oYhCYah*!jDPIWR5!zzh)8Zpk>1wU!RKxbb z2T?B*7AcWrDEW?4W`LTDd*LW>K_F7!YI58fxt9IH8Jb;{Y>6~; zo(?Dx``Md6+MJ(AnQ1KwpSuf55hY>@_*W7 zKt(XM!UtU#%uqe6GQ*jru6xLXxjI`MMH<6^T3KOp!4W=uhIy#e{IIQ)b8ivYd23KI z6rhp!X~=njEVjwAheZ{Zv!*QFbI)%{Ae`p3vd9ej_R9FE0XIw(*FHpEd?~o|_TXg{ z@YzVolfwpO4mEUNbfUqJvBleMl9Xk+mn?>d7A}F}LjJHjh`uJLRQOdAh7b7ONcKLo z|9L+;LWr#fs1fD6`0x&SFQ||`nMLlZR;Y+u7Csy;w5}4lwXc|`lg$UbAMWyDiBhQU-%?DFCR~9P# zi1}h|@V(~LCqLMDuZzDdEUIB{T4MX)%%W?YGU1qGf!mKsQO(gfJmeAf0#fMaDf@AV8)}C>B3dU8UOR2%Wb(VU?L0JClB7PIDjx%T>#3tTY7mf4 zdHjpORU0seIYE9Fb+M?O+)fh6DW{|2G16uYQffvUp{CRjY_)LOG)Zc!FKJv5tptG! z&($wc=elCUm2au;2mz*@!?QMS>GJa_1o9sAt~sz!c|5(3>ByC3ia!!4VCS;eJ*bs! z;jG1q&sYEs`Q#-z9@oQO9p8M!uAB&2`X(K;*=CTs_^AEsSG%nAd9%fmA_Hgki0yAn zSdTnU739aY`-NR;Pakg~1F&*Y8z8_yJ>r&@_-N7udGT^pcuLmEh)ra@{@k|Okdch3 zCz)G_D@#dK&mN1!eQ@a-x2A5q3d}dE&dbiBdi(DBqEbT3%Xf7c)qI+Vj&3qQ0<*gT znb~>Gf>J`CasmXLB*)#@G$OU)0ys_n_)7K?Q`4!Y?5C=_C)4iy%n;}EY1MqXZJx!e zqjX4~p$Z<3{((h>)p5z;dZ{i6SK@g}y61|=7T@PSJ+=TNzGP+lf8+rt&et~ID$RJA z(f}B_MvNjTY~OsAy?%57SJ*(Wpz-?lT@CMdO()CW9H`CUl5~OY*o!BKkFxj5W6!Y` zNdsPf`TX$&ELoMX>kr9s0x$nuiz5rVHd_+BEu1A2rAV|aR>EM-%`>dncA4UTdhT7YXaSl1JRE@V|}+OB6{hj+2`q-2sc@02R_xM`0;2K4~6>23?-gS2j~#}^rDIR zSIG+WL1GEmi~W&GJxABWFgF1F%g5WG9^7O>*;}kX4ksi1hJony{FKA6udzV4ug<>i zP1)o2yKqx!rcNima3F~Bs`*R9i?^u7ax4wRsaR&JP-4HzU?9PZgl2a!Fg^Ei2i}*X!=l)6G z{RZp)pN!zYslYP?@Lz=9zo|g%@1$@?TP%qLJktab|HJ>epUHuLG5Dnal0X-Owsp55 znTmWiR*o1n2TTYiDI~_h_t4GF6)Pi5vJ6R42aJ{LLq{8|5E|nE2LE12nItZ{p)nk{ z)l}8gpinVsC{#j~)Rdr5Nl{XN)?lRXP*N`rg^~&Z6(#)^A&vQ4Pl}63k;agkq}ZR0 z6g$fydWZBMDfd~E_`mX>txXyyNm@vPw5W*mZ+=nu_ck5TE-GhSBcF?ov41Lz|9&A}7(08KGlP+awDUh7 z4heB_QE?7?j(^5PppsG~Tk`DTaQQPv+NA{PMg2z%_P@lSu>YP*0w4ctu9!55c>G&F z(z-Ab!T29B2`SPQ_>Y*BIO*trkHKJ~f0^rsv2sM&VSdYv`i|aqXXibm7!hbR>3W^j l?Vq-!hKoI#wL`{6(TsX9|r)6;i%&xP)p zuBo1(P!tts05Gz{QZ)ameS>8qW+t{bwua^9C1#Q}v$JrqBxe5`QidfaCT0@1vT-qU z`kUGqxtNKXnb@0}!SeINI=eWT8QH>mumVkT8j2Qy+OMI#F{VhUowzc3YzoXqT8{$BRKPRN;=S{Vu3dl2jV z4KWh~0Bit8W_B)a4q{dSDR#X`zYaL@9OZs=>Hq> zU(x?6Qu)in$;i&x;U8oZ&;N#{h+Ujq&HkGc`CCiW%+1QgOj$zspWuJ=Dw{dmyE>Ve zITQcmo$~+E`H%E}JpEtY%k@9B{(s&3kGub-_a77gfnic{HFo)zOXBuUw*QI<|37B1 z{I!AYKl=YK8P5Nb`JVxk+ua$*z>`dQbgV+}9ivQXFV(RR&m0g#m>C3bB-M!&LR+je z($({<7c^D5K?aX2aGg(})Xp+ajKeu{2#h-q{rY(8?fFdqy7T!s|MJeMyK~i}=)P6c z|N8Xr{X}-|`P}sPJY4n9@AJ`uOt5B|1L;`d)kY@VB9DPmsXDS8s2ei*Lz$ z$Haru)$Oa-LzQ37gLcO3>eu5dR$0ITK^Rq%z zFG@2lfKl;3`Fe*Y2e%rsA8j)G(R+6z_;vnqiN{ZuACKInK7LD00usm>ezy>P&l-XA zRWtE9i$4BuZ8~>VpemGwAn98$2CH&ysWT`Kojuz__ijX@%{f$iuWcQK6&j>lGYvbO zqfSTXH=?g&?8A77q-P(0$WHe!_W?27i}OT-Tg;TVh*LtZBMSFX-k+xadq;cSM8R#x z5~C&wPovm>Jf?!7KgrE$W2A08#E^gZhaB)eQU`54kzP3qZR?h_!+2@Yg^QgLS>=UP z&B|rdX}J67y6>?46Ma3 z@kVAnEKBM3nJ~&Q5ovXfL)(6WEtRjnOMB&o_e~iD@+-(vB7p4oYUKA;1Yf7t21DBb zd`{lm6sG-uMPGYb;auu+WwNe9^m6}B0dq{iZ$8B`Ss-M7!tMb8sd0ZGJ14^Ep z5R{ukkF54;agQaWpT)AhaqcoVuQ~`FvYU38IEqS!K2S2g14Em$p$RXgL}T~zSebHe zxH)6^H&v+QW<24Ung4{b@t%E0lz+^Nemfdc?qL5I&ps|4XnkDCFWITs4lg!?UyI-_ z=a6uJ-7*>cAa-Z)K>;il*8?@{&q9AmGhnV_m3|@%c9(9 z0gF<-D4f#Zh&WDo`X3LnRIvdkcT%$GK904T9jwP%FBbh-R9aJhrgrN*Xq3e^&UE== z_Ph^~m5ZDJGxC9;na*hC6lCWFuAnT7y_WCe!~9ZJGEh*H1NH&A!##^LyqJ4`{?N{N zEA{v}I*m*GbX1%5Jt3i>bQQ zHWg`i!~$B`9XrkfgxM5C3Aa|z$WGbgp|?GiKNY;1<*AqDk!6sKr_?I7svnOKbFyDk zcBIxG;AV1W-vSG*``v|ILEA@u0`$_`e$R3AHd6#hH9KgloY+7zQ|Xr*(nB&!v1&ct zc!Y!}*?*f2q%E=!Vtf`VV-y~V9Uaxa=NLI(ix}4$;wy|!iG6twlX9jq>A$w^3c0fB z7dfIOk57U(^h-JR9moJ~NCE1albM}kMl*t;E#ZB{=3)1L?cl9-+ZzwLC6RMQoH|2@ zjntbd6AIb$v&4f_C5?GhU^Eu~&Cm=cf!sMxf0QY|7BjsYSFq zrWKASf<&_hr~Om|=$>S27t#H&FrEdqONr9l5caSW8(643%KGVd3VrB^tQ0k)nayJ} z7~FW=4G@VU0dgmWm}BxP>8E^E%3uSAkseeSP9_HE4kRwq+3$j-cm`3OK2)A!mw#{p|0gu$$H*_x(9(~Tb`*w@pM=`>{ z&q}5E%LFQAo0gH;a}hiB?3#3fx)F_IT`&)dWVFq6C)Tu(vjR{)BT_+(QSU4L(2#-e zv>+kC?Wv2|m6^`0j9hQy0ipKUUdxs8Y~4pQ+(zz5OEHbjTe}dCI;zGH6tSal5CJoF z45m^($`8;QISIM5r9*+_q2{XnL=Hs*ymVt`^p?wvgIa({Q7}O}o5(Gx)sB*7;xZV3 z=uhi02w9jxq$wr}+Reo^40KE02QEUV)sjkp-|sn_@b?-SE+>shfx0&e*O)fF9xuj{ zSz&=pS3B0!c#GurGbY)Rf{JubHwKI$Fwd8Duv!({b}!{h@m0Q@N9qt_RPx}fmPJYC zO3P;gUcRj8a)NOQRg(lEx2iE^#88iR{!aC2g1l@c5+Fyk2;3sIcf8YZRKxAQJ%tw$ zeHHY~iDO-~HDFT!2JpTW(^0|WygQ6lZY$p?&~A&(#@1Hdq>~^S!#`s}2#@XYco2J3 z0t=jBpvXUjp27(S7Oe2(AHX;M1igK42}I%9&r4!=NfL5y4lh+UQ%k0i%t}PqM=rg| zcu(enqSzqcPhmMeax-8m+*ky%EA8SW4*npuBM4-Ur81Aus`>4byIL`5u_Q`v@5S96 zQ80n3&(w7?kwkgx4KrUoHh9I3qN3?y?^F7|HX?>vF8{h zD4nkU*KFl(C=^PWFcFf0O%jUVUR;3yr#bG1$=feE?XkdLgzdHxMh3=%wTGENMj#eE zVIyzQSQ+~}rCSLWQA7UyjdG7YGm-;eFilPpSU1l6hrV{y6>->sOvhQWE~nTWQ_?5W z$@_7JK}9`_-{%wX>!JA)-v2lJOs4Vr>U6;_y|+IqjE>U+n7L77ht>6mGzVb_mwvMB zz2o$kakkN?^DCFROM~ef@VEs;U{cL~ma_u2APjVmeroPGd_lIqf01*Yj|dqcU~ZqzsN0k4uZBJ&PC zvrlkc2c=6|&N|;9mpjoDvZCJ&C_kd`Sl>~ku+c0Le#|TE^RIyYDEj<}k95ZSB!wJ* zCfbOwN{S~n?fzjTx~3|B%HM!@49;EKjmM<>$F`%C8!b!!iEqdt`us|LP$l70(OF)(|Ch;L!MVNh`|Rb^YwYF< zgUOkykkh(w>5SDJclVga;43^prOZg8d-fpP9LQ_(Ak^cQ=Tw&I^GEhI!Yp=oAJF~~ zQDzWM&|5TvtDayVn;jvd5(WH3=6Dbwx7L1&J$OAFh;Xr`Eq$V#I_GE7YiC&az0?su zil#@pmeN@#LpfZug^*o)vFJ1CH^^zc&oGn)9D(;YwM@Yr22>X0gm-gn=au<=Id2#2 z*lWL!D!All2hVg8AYx$8H|N93z*M?oH~-{6*)S5xi%0vdk`%yU*}eLdk5>BYa*6JOXHN7U1y!?yrzU#=0zfc6 zn+PPhYB=1XecLt0HkQ8%^|+|;jGJj5kBh}gJ-;0X>VELR2U{m0Z2Oa3HkS^@g3j|YrwBD9;F34c>U3-Ma4Vw>&qs-#owFe z+N9UVnAzLELlCIHuZ(oZlRFm8?0sAF9^Ry;eGj_@fh?1naoyuEs!XXz`5Q>h#3;{jqY$Fl1L^L5RyYEHM zEcTUB4CIPweE^na4xLoKI5S6qq3FZ^3G`7~QZnn>UO({$Eg_N(&Mo8z!7>Ph7HUOg zGDkKWfg&}%;E+YRK0-c`%CNz~`iaewyFnE!gD4+KnS{&~dc&;SmoXcf>4Swk4K|O{ z+}B4WHtnzraz2oCNi&b)jvyC^At%j)4O`@j+l?27ey)bieBMij3!mL`njN=|2b;f$ zPUA>lTKQAGY<7(JGSCD~16)2v(1#yIla~=j+}rs|<9GS~xzh${@$T~vT_{IKcrowx z(ugTif$}ba{iR=03S2+Ahqd7Z{RM*bbb_ z?CEPn+!x;JMm-QeDEG<383Y({@%-wcC=KHaUgOnGsm=5+j;$?6KJ71n$n&xWK{+*o zC*!Nk+Y!Su-rg}82zSj6Geo2Y73}YZ122Jstcys|X|+mLs)i=qmW8>Y0S{NgAC6XJ z^lM%qHaSU$x?0POER26h5$!btPs#-tpQZ6&LZ1#}a|g@U8##oA&+)bmOp{>I1O;zP z?V5{HAH`y|d62pM$_9l8gI-~IADGA}okzZKan6G0LG`gj%lXcJ1D$zr4Cd%WwUe6@ zKR^wV^ya=LPCIpUFU7-02`lFqqLW6f8RXKU6K5q!2}x!ix&etKxHU_SMCib?FvWZ$CJI&X!0rY0zMp$*7n!O9QC%OL98&6eZEY zN=W!SjH5cYhLDm>=@?~f_or$0bsde5S$5BU6q-igIOW}NS@`T(uxULM+S{gLye82b z&QlN8b@p&Yf|?^*Tqi%eJiF^7O zwZrYdH{utj+1_Ydl4l)xVNx)LpM%4SemG^IKc2laxqrjk{y{OYoA zlm4x<%P>pPW|x%}kI~lQzej~y+*bk`C=uzBuF2w~a24wn1KA@$4J!apxJ&BotUHD| zT2QtB*?bt=FE!o;w40$)^q}5J6nS*y<#c1rr9h=_i}{T!z|{LQrxt8lbl}xPSc#sE z1z#_qCS0-gf*QhzFb9G^lY0}Gk+E}A0X!wP`+l%j4np&p|LKR-nLIW0t-ZCR$qMmw z)9;>s)r}lSR3DNrTTxd>Zz(H9TYvk;=2qf)#)L16EbHa$Z6Oo(v_VnpMG0P{%~XRG z{OKUHvt=J+fh_cV0Ochk&DHm^*Js_c-p$hOY~72Ltn{K?q?=`y0C#egK(Zo#+>4Qt z>0z`qw;0KPKMH@XyS+#Pv1el;kATa5l}YrQ_OQrjF!4N1{D%U|cTHn1dP{ zG@MOvL>67}EKNXc+kF`*!`(0%PLzd6dAOZ{6!sHY_8!r7f9@d6Vl<5`?8q?gV#V2j zojMk@bfVekD3l9T>7R=-Oyrc@@^xH%*d3&;T1p4x$P09TdWu)lE26u}+goT}J%!&`%iyh&E4kgKKq~-WIZA7-p{@V3 z2{KnmjZ*pxXGYlU=Nt%0uN2^lzNgKPC8sDlWZI!#?kp)Vr}SWRkL%j&aTM&nK600> zT`xGzOe_r-B5ctsAsuGCHAwMUoj}_e--ipRkfxHOgijA;VsWO2pHuQaH|^xX^ti(n zE#B|wH>WgIqZjF^Eis45IQs)89frsG#%1kRi{KLx;WvsIhPrqo6;w)1zl0cXwi1+YvF<1>kgLl^j_4L5rj|9r2)kXE96y&=_xgko*N>v=4AW;huG9L; zwY&ERv;+6$8~UelfCkZ9qT6@1CEY5L$L|-g??H%K-<5Epy*bA3`-kdH$WF+(*=s|k ze`N`<_$SD?02n-a*l~W(}04VnUAk+nu$8pf`y8!4E@YDk=6f3;! zrzP#t&hB`kGLc8-ug<5pa>C|C(A+uR<-iu<`sijiAK~#!9GoxLeX{E;0|cq{arIi| zf1&8GkyY8>_Zs1*->~|*ybp8@c)tw|No6@4N2xBeaBnIGfwV|4qT@l3$XrTx*{e!%jaa7*TK)`YP|b4)5Q8v3!^9XB4*v zk?+5W?H`w-flFxl@?gv{*o~YI=eX!B0IYs<9CGAeMT&!M{hd0%`A7TN8gW;M-Y7tfCYV+D z6O7eg1TrnG#|?<+#D}9EjPE?kY9Oy5WX-;0n)aylLTpY|TcP%r(k|}q#p~FKk0`8) z1VMkhYz}P}ESE{=%IDAR{e0k0g|p(u zi{UXycK;)OhV>xYG0k=?fg1*vm~|`U#k9I6DphiZVu+jj7(t^BM&p(S^&Y27N1=Cr zuNGpf*r87~fz!vUlO8^fwg~(h#X4wP0DGm45RYDnq5Ezh#LU7edOP4e9JQ!}oy1Uc zD$KFSW8m~b(xVPf)Le3fY9SmBQ7_XyEU+Ijmx>bOcz){_?=|H2e*4X)_aZu*T}W&b zRR%EoT=uFpoea0%I&h|iEJHQRINox8F*WQSY$|e94(Rf(m7ckDYdUao`(L7lUpo+d z+%nj&GRp8_%B-6*C_vhz6sx#zak4bnqu4(+6~oLNo~g8Q5N;9bR6A4(7rtroRxD86 z;;WI3f2$IQYjoHYrZy@bRv^`AxQL_{^Qt7qcT>KF{++vR&UhJ|OzlM1iGVet8=rz% zZJV~Z4?;a}d&q1uK5l;l7k+z#zLFMQEp)0Cc<}EF73#TQq(pJ%Ib445x&S= zSY(J^N#OiCf;Z@rmfpr6AMU(QLj5?!2#1J&zH1HbW$d#hUzW2M9Bpk)OB6O_(h%Pt ztv9DZVF>A(fZ%@IgIm0GmMqY~`K{GNEk+QvzJn4{yzmyi!>6D6>I@gBEpPK(Dyl|4 z(<6f!eZKd3BOgrYY2q$Pi`|hRBMY}q`?t{)GE>^pUZxEd8D{7rdI7`$H zsQ*h59=E?PC2LsQb*femsGZ>-r)zKFc@;Ud`Y3v9>=yfS@Ew&`}tTZAknU{ zs;7cdR;SUAVbw`!LT$d~Ke**IIrU_^ybL4Tj;0XOID`r?CQdjs-# zV}&bKR;)Rej;FEoj zL@sK($`CF&1cGMp28<8#s009_CtqX3Rn>*SKKUjcXMfnE*gbSEg~l>AXenD$2Q8z#NwvxudH5$Vo21h?q%z&soXXr&902ZdG8 zS_a}|?LUiZ2V~0@zR^wUjQt9z9+AoHo3ys)lt8h{k20uY3~R~5W~>|1kiF5@!xIf9 z{qCRSYF`K@r8%63zSy>_b9?b2=z1dUGicTxk|~;ZGsoA7s^zlbU`Q8z8Dl~qpcoIk z_&qLzyZzFuNE#Zx#`=#LR;Um&f*)#5v@5FhEMt$@!vhE>*8CdwaJ?_2_)-vawGss6 zkyQ;oahRWhQU2EP8mh~kp4Rt(C>^^DGnS1Cx z*6sFp%UEfR&{pi!E|ni)**<;u1^3q87A6O#A3lbfUH8bb3N&bnv+Zx?Fz}TVS@bq+ zw8|TCm1aWc>s21$??<08ruQ=EGf`C{G*AInz}Q833&QSF5?M!@v)>z*$h2@>zD5nm zv5Ybw`Yzvy%Bux5%TSPne;%MEzVi{f4*(J`*wfgKb^kWIW$7{IOeb9sH^)A z)@b7)!7n7qu-nqTLYj}=DV}RvhpPYOo6^o?} z6XWlFXNAPa;Sb*XMHd1Ct)FScBpjNtw zr9`iwHvcVqbc%sc(cMP8@A^Bj!O0Tlfnkw{COr88@0wF@R;}8UxaP+Tqt3)Wl~(DU z7x`&Kody@zpPNLLCk$E4le)N0meM6pI-DE)uYoa7crMsqeZXK1^K?>UkIbHdK@eP) z<5O*Ejv?+5nk*iDbfhgt#&2o;fmrF5p&RoAxFbJ%Oen`ge&Gs%~{;EOYixN=dXx8BO+5| z_E4hwp@NoVlw>>3ceR*5dTC_e(M`DNK)1D7TDuLldfOoyM}U8xz&=Ll{)YIOc-fCJ zGL7ajyi3{uU;8;VU^mU_&`vVmZ$8;#0PuWOI;!`}tN~^XzTLj9N__n-uzjrJ0agRp zCMu~O22UWAQY_IlnYH&Uuhl`kn-#dr2^f4mhnZ!@QJaa^5QUieNc2|QU*N)TXc+N4 zmpwMp+^G3;}LL&`&P(OJ7}pFp~x){FOOy8y7lPpn-Mg zn^B_$tTv8UaEb*ivIPg-US9N0!eaDt+A(g$T8p(iMou7EV>~$jfC7aYfVCW83QtYK*Pn<)K^Z#;rj?srUFFUpv^Zm!rP z&yIs7-}nxCZv&^kkFeo3UP}JL<-SYe$E2<6hD90Ep)^+~J_1O%u=z0)xi&ru=15*5 zsw;oALr|s;df3Yrc2Y`=lR+?8XlOcHa#be#oKR+W5lIc#K;&~VpFppm6B%88G$XJ3 znUu2Y7g#VeU?bYAG6iWnQ`gyaC2=7(wL925^C%G)MJzHKVC+}&4BOL!9i;MDu8P=@yURR0-^$z z^)+NkGWi%>!Hja4;kl0W`nb)o-RwB+%#b0*b;_l-980{HB&|b&8Nr@UiAOqUpaF%Z zVkf<5KY2qDdSL&Ie@7sV!sql;UWxfww@|U7vIKM`XqaOoD(|PFe_y1ZplYn5sT_r2_V0vZg`_djkwaijyZyZ(1sp#qtt@K`|3p2bY1m?kuK{%Yh9HmR2O8CZZg{E z6;5%js}l2`d)GkGe)K$hE>5W3u2e~_Y$x&$-o;>Bthj1$r3jA5jemr!Hk8yN=PQ7} z;0;V>0?Sajq|S~KaGWfC#11LTK?}7ZlKE>sJimhizvHKEymy-W!$bKHr%@S7uet1~cs~IDwhVzcM zC4GF46|x1$uZ9`jyTwaPC3fW@K~<2;fmh1)EOC#qdP{<84hIjFr_3M=?=_4;oc| z8$F!aRUq52?yYW-?`%Zcakn$EL^sv?2B7J$eAG~n_^Ou&-4}x zuNBQJwC=XyN|fs*%9sSHqsXXT67>mX9~G%gC0ut+NTIG@sd#E|&`NZpOTfnoeA3uJ zx`xE47zZs_LkK;O7!&i4^S(8ZI6|7-qrfXg{lFueM{3htVoiX=O>WH*^*3H0^p5@n z|5FM~yQFDN?Ga052G0CiG9cpI7*ds$Vc7f6K2o^`}kWXG^~T zmY+owPU6Oz3jBc8e-e4TYpP&ek57EmZoL4aMJFd~CYSN&)kCc{3Xu4hEtg#=XrXR2 z5*3JawpVcA`fotw%?4-m;n z{m~jAqN}kJI#_`u8X#hFDCr6L0t4Bdy`n+H!(%a1gW4X*=P3@kIR0d059!O2ANx!> zm)_e0vcKqHKz#ddG~^{Z!?+AHOC}BZTpc4Io{)Sr;Y>70NZC zM1&O8ym(cjqkX)FLlNd*)~Wu)gY2@1^hIYk+YUYO6Gp4?X3*p*z6cujvtGUJxDGr3 zg+PCUiCuBpG|nfhBzaJ&O0!LS#Y0i{Hz9v`3F->r=SP0IM192;nze%SjY)8)>Cdn> zZDm+d`xCCMuvJBf8tPX$ZOj|OZ%L#zfYD3cZ}ehM;TSSCI_ntkW0Q%b>TH!>iA1Xv z6prNJirZ|;uQ5!DFHFSDfEInvSAqPhS^235*QPkLIfP2tOyVu=TX0dZ<0x{>k}5(K zz2yM?5!*0#jCX-m+-K84q@^s-V5ZlwWYNBb$-*a=T0n6Rka-o}57gO;Qzla6UQBx} zpkWASc<|576p&zKX#Ajm;1pLDz|xUVd!_!g)`$r4W8`yk8U{L@%1;Gr&MJnswCA6< z)BCikrAVQ(5HWYs*kn! ze7e*cHBpK7r7MFkO7%EDAn{@e)aWR?V*xl}zoP+U9H&;cqagKqa_cI>&hjz=VS z_H)n1j05B2Z&96Ld<^9^c%<*o)RGNA4eC55ynRB(-;$obS=mc%Gcg~02up77``RoL z|6TWaXcyidwQKBxT4uz#!g5Ef=s4gTlV{R=&n20lIN)1})pi*3rmv3X-Xr^_#uRqD zy(6-10j0#``6Vd0edpcS(|`lOSI^VE<>w*a0L{<#*6{`8COoZ+4X)2oSzLwk)OYpLO=(aUTsL3LPqrz{Ek{ z5Z?YXK7j1|YG_Ry{VFYUo4l5oK+_-pP~IaNa3F!-%+2s6hovR?8O($|A=P>?D{G3E z_8ySaBRP)5WnCq8YZ7DKAwEC*Q^^%}{DH43;hnqa`zqS78CMqHMJwOB%x$oX5_&vU zJVJl^fq@~kA4weYd&sQAjfm-X5|7NKGsA)6FhZYgu$~hiYp~LnpL5WC_XrVF123%a z-0?~@#eJaSCOOQp{0}50*A86vNJdFSA4A+a~fm`r5h~SwCsI_1X^Ie8Q zgfC%C&)3De&RH;5^%#LMQ3Po*%8$#R%}c<9kWcMr6#)NXVn0IUOh0e;TZUXu%h%Uk zU_-#D$GZ7VV5Aob>Pxnchx>#=qQP2~ zyE7A;z9CK11D?5QOfRu;PcaC1-B7R5n3Kp}lZ2=a&f`xF$j;#`0Hr4{Isb+buP!IW z>#EcqmV1>BYQ6|A13AASys6Z?piN{iAnDm>kYE`yjNhoWnSvjZghB|F$Rx#v%|zJ8 zy*sbEs*`iii!>Zc3AML6&z9t-0e^q1#m@+dyHWF#hwt~B#HkV?DL6m#t(5Q%SVyh_ zVxR&3Rwo2MRw+HqC3>z4KM5sh8rohF-3C^$Msrx~44W|OLiTWH`80;$b zju1Y^X+G)GGcdyjE9*kbuknWZmQi|j^ZcZ?|B3E$x}5Y{ zKRk{X04nGakA&44@-@0+cRcS3Zs}CZnl#Hb%7thyUv8d1 z9G)~vQw?N}z}&dI6J8$TU}chC0*VC@c@lXI$KN}=5*adkm6BeX4U`^(S$ZGmY=n>Q znkX1D;~kp}#qgu~8o0O$LTXv}BQNx*3k|LgtW9N3R>%G%&DB*)d{3JLI@Hg_CeA_e z-lo00oA(e36B($j+rjwut#A84`}UADm(4*%8Ofl&ej`8ut?2DTeuE=vM^Z#o)qZ=< zvlq*?-eoZBSEx)i143z~??CN#P6nI??tb4$c+=#<(@J{N)Y?9jxzs2nJ4|?kBy#HQ zNV!RRLjuo06mU;Zcv~w-ZFUp6bT%0i4&Q>xc&xelJG=Yl#d-bd{qgA7jKoz{6AbQe z=4FW3Pjvoc{OcRVYwX&mZATSz4q{f*0L;IlJ+AaZ#6AaHOhB;l?~GL-gS{vuPn_aT`S#SlljrDjCzi{J4N{36~uuUz-0-`c=-qaSpOPlsZ>;$&1WFbdOKFOK|yNaC|sB@3q9iXlME| zM9kbIhDt6Oto5*Y$XZpTqH{&tGMy@D%Ey)s4VRx?&b>)y_^aUiV8=0-h*>)mMxq#p zwo`9pWe|>_D9xKL^n@mZb~IEqtaU7EP%v#RhH1(+;HL*({MnY;pRO!|+a&q-v%@}5 z$p#L$K0-_zxhb*KtVP~cV0LTaX5Is?_Q#(Mj+%6}SEBQkH5^SX7%QRSR7_Cu4~d@X zhfMP37w*;@!z}^i@nxCtR5uebJ-4>ZELLoIq^ouxIW2iCt*DYtcm_+#dq3ti` z9mn>1pV@&#u!=o=sE3O8RR@>bWNWS!I#ffIrzr(;ja(-pjMB19v*Q|^)`xJ!YY+rJ z`w*jt`uW^S3=0#KD8 zq)ab4d`R2V>KAC4L)xZBLm@U`Xfu-GVN?`z+Ho+==?l+$CHl2#V4=qFTX%xLQ>z!P zYvzUH?Hsxh@8FL?5!M=2x}bNd$Q8t*{?^+`dC$-1GfUJXms^soWy~8)ZBUx^BGAm1 zBI=U!g`D zA&V&mKPiYD&B$^BC!smGV6!6eem^?)(bh8N>9o|sE-sQT#|sJsRMC6|*O;7`WfolJ zz}>3JT{r^N?BlOnPH}Vo9bGqcqMhrov8gK->eftP;aUpw1rMD072bzmn%SC$aH|Ha zxu3>eURfq^Rx&Rk6R3e826&*NXYHMhoOo%TdXG)Y1h%ufqyPPm{n7%RNSsA@JQo&J z!i%ry`Ef{C0g|Gqq&|wx^k^UAkDutx z!<{aLgW2(ZQzaA)4^h3kpxfsk+8!hxB5FvE@foNSN#vY3h_KvV-|O&*Cs}5{nBpy>T%W%YcIKfVAP=n)cKn+hApm*j-CBu zCD4Ij{SzQ%xt*xR-?Xxv)?e^QP{2;&o@#X}O~NuKUdMkE*=u9$nK*-a0>4(OyO zx^};qPI<9~xPlGE zwoQ;F#50)uRWiTqT&J0o*{SY=SW#Dv!q2=!C~WRGYrWGvvL|CZ(Cq$S6Y*{YHbO%a`-J zy7wr0J5n>}w=78+F*{1OIY#^qHC2SoamR^o{y8!>1;v~BhvV)>4Kgb%b2gP4WjI`D z1tT+Fin)io`hDgR{Vj}$jij|W6^XhzJQE3Zer`FOtxG6vPT)^LPzH-uqNHyqH ztTe6Ds4?>i41lyNRF9@=BJLAt##?ye2w82<8evGlXv!<^mK2s^F%?0P2YQ1Ev*34d z7pQdFPgQ!_K_=A+m9z5#735eVVkRUeGgO4AmOc>Pt}B92Q29m&^?syiulPft=mM(8 zSX;e-BT5iN-PX}iQQes>^>X0gWxAAw1+Oq}qKIngrO$_-ITnmGvI_D$3>55aI6E!- zHMlh@4}!R)^E^twz!EKpiEzj>c{JS}Sg;A4te7|C4EpY*2pb4P0XhWz9stdgPpN$z zLJjfZ175pqzL`00;QMKy&HdR@qHX7g%j|4K2;&5Ixg#vN$ySny{0D!ydQ z%=ff(EKd^`MMr3+SJ2yvS7?JQgLUi+h-coHT$SubBuDUTx9NOG%*?4dJjC`{Y=)-> z4syh(Em}P11*7-z)s@(J_~j&W!ht=jFj}PM-Cu|{hAhEe-+jkQ&h9rvXE=r;-ZDOSIPY!Ll}Cp1SKGS zNU5NI(TnW&Dw=#;X8&Ef&I}m3&b}L-z++WNbW(l}YGmJ|G9C@I@#q6j3>FG-il<8Z*X1#ngO$gH#eHc31(7XwI z3NcFw*-8EGB7|B!+j7}WN&EG~26pCL^GPt*eSM9!)e33jZw73dD#&9MA!0%JNyjb5 zbRmU?e$L~(>G|s?uN&)lUgNW833{+YUYXpBpB>yT^Q_+C*Ql9STM|J;3~93bWMa#z zk7TWl`eEkytb>&F9lUp2p5Tm0s`0{jh7i+42V_!JUJd*iYHGdYJ}0KhXB)zr7B!S_ zZdcPfD9X7ToNmjN3J$zQkHu@<5!AJEt&8I;&)FFZLul(SWi6LvD(Dn*F5y#3zARa|_BJ~vFdb$oA`2;pN7@3PdzZ15I*|UJAS)oLjX@L)fiD_`A+iDVT zTzG9@w9(w>l^V^bYBp6vir(b@vC_ORsr>zx_~VZ!E~cK*0@7enRo8tZeaD@0x>*DA zWMi8e_`Q)9eGCI!!fG}~8U$`oL0{isW7~2El`I^+XGg0Q$_Gk|)qLt>lU#J357%@x zvVVGOn&sambM-(y?OI#y^3HzF#iA-o?={SBZ_O5ljy)2>mQaAgrg7l}Bf3wEt&Yp@ zKm0b)Q0D8Hx!lDHn?*8`OottlVVW&s>5td-3|?xY`;81<)PyYzzbJ@G#fa0)=A#jQ z+G=sN*lS^a+`rps(R*lN!kJ7K84ClRd*@g9Yv=|jZ4CK$(19e7qh4!LNpN%z`Wa9%W;{`5G=xY? z>LoW#YcqJoS$e6g9|xliJE*7d(0c_devnjBhwb~0Os{OM4GJF^!xwEpP6Z{6b-9qG z1DSITO?_+<)(?X`?~0_rGI|m zE)q3r1jW3B71e++B^TWpAazZRqK{KYSZluT_uGTHa73RwnV7OzVmDE-uZidOp;8< zp_abg<0J_@oU@yC({f|qwKIGFOi=ab$IrW@+qalMO6049^vF ztX$!c9s5IUN#SGNS|O&pDxjvlw@nbvPj(8I^}z|&8DX{jSn683);U#SrB4CU~rr&69XM2slt>2&Yo)Lr5!1|Xno|(L_;GcmN zT+n2x*U{?DYcA2{&N0W>o?+Zz-+WyuaWZ?BLNpSGUdC&&6{aDUx7eVO8`&}PELiF3 z(RyskUGjd$QrEF@sHI*h`*}clmXykYnV2}7!}U{@ts$#KKztL{JT8Etl;iB0sNZ=$ z(>DgU2q7NkaA>SPf^jn2k-*W~&I9EI2niBA9ydY__lLE~XTJ^lNx|B=*2k|6^m@EI znWr*&^oU-!vL9EzoD-8B{SNZctI6LM2wj%JEsVwa+0-w}pw6j>0s6rXJzeARd(V@> ztcqExmgBwva`zW_VhVR6x$U_Cj(wzk)oxBa8qUuC?e>~Npm?8^>v}ZtwHBlLvatRu z3CK`loUe`c=f@gh(we_8%HtKb)SBjSL~xcKFq>iCGJGp)4xrHztf_n12%!?bHq9J} z!kUu!YF|aZ@+I)Xr@TB~gfqKTvWiGekMEai`0K`j#*^eSijKwj_o-vVN3tD;MpfTG z!g$8bR;mq;!`dQvgt-FD{T$hjZtoB!iIl=~VQ?-LtMt}&Eph>7-XpI`@mn~my+_0J zxyZ?w0K;p_)wJ+iAtOnA^(tHbj^whVB=90*%FeaVMqNu^Urw;`74Z~FTP}`B%kkpA zhx8a$37E-gy{>4!|ApkltVKtmj1vr|aaX1O!@DyZ3^PjkV7?}=^w1TXiUNP(oB4xh zUg3cjob<7VGknPAt|Nc$8Oih2iX|Y1~@hNCF48I z83>>bUpiK!cXVdGQk_q;Q1r>DZp@L#&zyu=@7R`6yiITTSNtk*pU-@$CnBCt5K3QD zJk;DeXlknEJ(ZE%N%nO3hBbAluD#Sz=$vR1V&y!EWD^CwMckgPJ_#RXAW=$8#&JD= z+1w=<)0;hRPHf(jR%G?aj?o2bjG4;)pTjQRbU;lavy3U%ay86Si(bENznYEI(_?t*}5kVXA|3N?t4imc95sG zp4uzV_1^gWa4}-1^Pz&bS~krVt|4&dW4uKJs%goj^hj$P>>vaEgS*3Q=S2&Hg{LW< z3J8qt(|9As_Wp#OwX{XS46MzLZ>$-tJOoZ|$1m?%irLNsV(8368d~-9$!F9*pkE^X9cr&0E5Ya~EJ{U5>^Fbifg(x=6z1b43lNi@MZQVb( zLZGjQx9+-a%Kch{m}!eOxlPD>^QzfZP1N|z&^6=8eOoL`9ErtK^k8_sb-f|M$$ZOw zJ5cPvyJaIKDsqKb&%CEije@<5|0d(k2Qajrp}AP^)=X47TcyNr>-^~ov%iLV=lY=H zj&2V4`}X%`58HRzrLmHTI!69{O39}7cIVQFA@}g@Ncjkjrc1-udB*2gAK6m#16$U~ zAHQ81aTRSCk~Fdhd+o;o$)2OS!fA-i%!6>n7c4cFNOmpUq>Vp0wQmf3Dudk>^!w;7 z%gEzpBrT)NfQcq+5@iT~-Qu0D92uf|HR5kMQA_YzPD&Aj^yNLN^rQsbbL4Q;A>~HXP-33;2xmERF$i3GS{cRviC>^&(ut$ zfmokoOK|NI#;AM^z{fgK<7M<>+5+_HWD8EZ#GZ$(GRui?7@fYB*2fol{lxtk${ciQ z&O+HbY7#kW*-Fi^B_^L<89^8sUG1R5Wfg-eb34Y=(>t&D@~(0aRE4@Xz0Vp{iu$4p zAz$n~na<-l=#V3h9GRKog~U;9J+|C~s@<|!+ekeTR3_mzWgD+fO%G42dPnx{DF zIJB9xv?0*lmrz<0JwM)TMhU+IDoJ4+r1wP08{nF#M_7k&en1`d>sOL>+0Q3=g`U(K zan(|C!8@pmWXlZpQLMTzTIyWNoun~&zvFW0Izfj|J}R9@aB_#~SF&;@5i-qZuyT;7 zx!SuaSK%mS2D8tadzuJd>;!A!-zNq7g(fmv>{;HAy{!DM$Xh-=#deKM(xwz)%q(r$ zKKNp*!1iGdi<>QV+Y1A)DfOc?h`{l6T^LDH;*1dn(F#noxBZ@4*>^b!dxKurK;{^g zdqKymhbba*6~hs(Y%dr>GDjnb!+&zT8#2`USot|Ab{@X)<;mJ1qd|JryKH`EPL{mD zB|ph19TOR$JJ+*WB*bJr?&zt;Hhr3&CV*C#?cMy8&uJa*gY1W=ve+rV_N~oc*4ZzC zyN&x;lEfgEEiGxF>mAR$TZS_k?KMldh0z-<@_aGl-LBA)My$`Ot}!RNrJr^ z(**+`R5yYTo+bmU5KRxQj%PA=4dJw3zYDA$>pq38NW^tp zO%5`$bMH0i3?Z?XTQ8XZ19+KXS^u!}@zY(pOKC_H#Q|m?*0cUpeN-{R!{09m5@};S zLk<>5a4x&fHhi>J#rv6${hlY)@dO zKPKO5@B~=~-RUX>n?;S{8aVG|y6^E1c81F{&8oH*Pz143H&3c3n59L!=I|dTqHVnGj;Nw#6s6ywZ2`smqfRX$-;&s2Ge!0uh2 zDKjerYJFEs-RdgtmAgn$9~GG^_luGndnL=Z1xY0Ps*Conmf8!)v5nMQ@%MOUx(+|f zjg(s)1RJ?$<)#FcrE*k>W(f1ub$z~5{W92PD^v8a6v};c0wvUn!*%r4$}-Ute_eP7 zs%47JNv7SoFeOZj7uPN*j`mAc=;yNxP5_0jsl17x?(Z1-17mpFb~kFUElxA_h>tohYm@;7SF(O zb4f5CZwGrS-X@VnZh`PPxK#C-yfCh-NA3&*Vd}xZ13OuWo(Jvco3n1t75n1_+k;aB zMqa4EV1}MD%u+-gRKj^YS*jU7H!@{`)dKJ`JOb=(rn=^|IC?6rNx|q&Y8cA%ZktX0 z!IzO#B^?`WDmcYhlThz2iD7z;* z-0gW6`*JD$&@d9P@cK02j#n{$9?sv%1~-t?K{q4Y%vA%Q*U}lNPqXm2ta}BMeeWfg@%IARuWw{d5<@S_|0`1Q(cYK z4npY{V4i#@*8yvJgKxiI@L|*L0tz+~VOUf{5j4%IMhX@Eh%0)ohsPdQ=So#y@un@c zUJk4#LpmJ|IaUf-HT0@#R>C=bNtP)L5^5Uqr^*yV%xmV$8OKwe7-?-q*j=U~Itph) z4fUrO#`U6#+sTO9t!$tEd_X~SVlJ3ixQu`PpemD_jN|Q^fM)XT8NNj5evnC&A9pOv zWDG%3$m5Y!EA+=}Q1DhV{n_aP3)W#W(dGQ>rqXUPbKkG1q>zc>_;~hvB9}`m=U~HM zs55mk{Q3hh{?;-5+&+%a@KHf0hnxBZI~SM{f!HUZ<&rz|QHANdD=)oWsyB8Wk|Q0@ z)r#IY;W&}pa6aqdYu=O3h%Bl;$gt3YJ;hbP2OM5}>QEM6#Fl&M+B-@u}PfI%+ulrkzR2hrJ;Wd-S2!&u(ecmT{u@P@-G4K{6YP)V7K;gA( z+e4hpydb7t3`hBI{Ooglyr9h4)JmDmdfm6YU59?7RH#r90r2AspAx}V0~1@SUy+qv zT94|C#N;h)rW{rFB8UyT1AW)}y9=m8Q2@p*lMmK7GOf|PJfIKU6)TV-Gd61?l^fv_3}2QxpHmpfF1>~ zvZ{SU^ZZwioUX6!z|FU!UdRx^B#s^(Gmlbp68aWRJ|4orWU5YT%bbz@u2|XG+ag5= zD`u$~og-=%G8QNL;js#C2hTj&^|jJ+$Vz3cP?Js=ZkMfYa5Mc4aD86&!(+a&F=E$N z6AC+AIr@a3-z!fui)&Ldimb~3=hivVF7K~jDAwt)QQ2}tJJ<5uQ9)VjRIyhm7Z*zLszc8(vFJa1*NU!Pi8$oRL6dA%7ij_KutPE(UQ}KI zJJ#V(T|BT>6*on6*0o{S0~rvVedrs11)oPi9kNs(rs6yp>FHA`aeRIl9Y(zCRDQm89+Bzx4u-A^BLh!8FHsCm&rG3^X z0Nyk*^gPt5lyV)F3r%qkBU6|dFiVxUsXRj=@g1^_LE4AX1BNw3F58>Nr+-z)V2(i; z^lW&|-jELH-{wZUYV1_B0P{>FaK2@=2_8h78Xfj zH1L?-U>P;=T{2q<4mmvX5o)`Xn8t0Os<8UK^0sc00p5ljVpx=SMVVGgVpwAVoJd|Z zU)7T4OY(*{;06nOGuL?+P@(Bp>Hvn4;Pcen|HsU*5lq)rA$ zvxsGM5}ltq!t>Qh#*xH$q^==MD0_kd4%@B0{65yk=tROqoDyFoX)V-Ica9N7rme$3 zO*t&jR4H-Vyx6$40i#J$^;;WQFqz3TPBBWFdnWl#&MzvOObT*B*NRmJ->njla`f3F zmeo2SUR4hK8Sr4I%yX%RC1{l zf2G`Me$knP`(2L)urkOk6e{T*WJ_e?t{Ylro*6;2Vi)8$kc-8auCn@axORb(sUI`; z8I{jx6K4Xv;u)bLj{H7KR=&RCH)))Wea7|&WKjqZqAfMu-XYP6KVA3NdldvWnRwABl$7%0Ha`zj+nNwaUb zc;nu@wN8TL&v9U@t zPfn6K=+- zRza=GNw8)1a9vM<=e8F^+(PFyb$~_Anj7)q!W8x zO}^GvsuAJ$qi7n8`MUMv6$Au)fsTe68%i?yUn0*5V;6V6q`$40RSUtxZz4@H$M6WENf7(cDG70*mP+g0l(ZLF;XY+ygX+cDnlqeh$cXhzmk+J0 zgLMdhM^BRh$*4sk39Y)5>UkgB(@%JilCj@$ks4)~j8E48e&^Tjus@C}h+40Fo4LE( zUtK>mr1k?S58FsXsa8fmbbX*@8HK&M#3&{9lCEf-w+jU3vG51-WA6CTAB^j@yy9_s zWWudX4N!YR%iI-OkZOLfGrHES;xtmhWbYRrqzX0_f%la+w}N;Wi}~54xErNc>W~!j zU1hCj0=)FTyzV`68FpXqD>pgS%I*qA5i_eV)V=E(WlfrezFwC=tINyaY33+lpPvg- zRr#ToVcV~We`M)&7a=TSLfbL4hTiwO0o1%ld9e$S7gp1NcNFv6rsR?w(BY47U@8JO zL1n1rCtiay@2%;Jy}$gLCmHP4r@ST}mf@$g8EH4zE`EDjiBV2YoK`1$BX_eG_(4VN zum@V{Aljm-NnPNc{*dRa*0GcoxllSplkVyyl6I0gvma|Dm!qUmR4PD$u$b=LR;8~O zE&w}aOe#taZdGOEJr|wIHtS2jD(uVh(p01KQ7*EN-7!)uEG55>*M5`q#*X!=D_1!u zK{)fu8I7if;bvZr-%L2a} zLzB@Yjsrx4ob`#8<3Iuo*G&1>@@e%2}7n z&vN*$s-3?uuZbxCik@bXf*#fTC6d~EP!x!n3|UT(DgBT{_KePO(AUPWi+RdZST}=3 zY|gPnRNRPT4xr<-zj7(B3#uR6fphzgaeMb>`E@DXiD!00?(eUXoND4bV7c-2Zl=zi|w~xk?wCN+>jqdQu|ZWt9B*SX_Zbi|#(5M$!}f z(_pBd!WbM(<~JaCuXUtKEq5#)!42TO*(y*G@0^n6 zrvNa(C!^uzuXJxhI3fURml9KAdsA%WO9)_9pvFo%Z>;-gMP{JWJnh`4DWaUVc+89N$TiWG@N6eLs9a{@iG^T$fTbEDo=hBn|A7KZ=nGbCdn_8pq)|K{l_MY~HLbb*|uZGtd1R zcZGU->v55AsqJQdvyBkC{FJ=soyhD~5rZ`e=5vtgw!a6yIx%h7D^Ub2sqMsc!;zI+X;X#>7zm@bowcpi7lDLh&>1&<2 z+_g#XjMNYentQwYL^Yxp-x`}7yl~F7A_Eijmc?V%4jM_P$IrS)xWUrCK~eI^k#|!w zQ5Oh)TQg=|C*k~DtETOa@2koCNjk|lUrhmDk@?TJ>6o1DxORaA+Y+R@W0#veNW{x1 z4ygu2px=)!XeIf+@9RZA-7(2BjWMVl6jJA2sHAEHrRj6z+?9Qn%3uNqpk5_A8oVR+&RsaVm#N!k+D?_Uiy*cj5ZLh6Tg_=-O z@AEV02+S-$8`bme6c%IVehMC=PW$o6pEaiSsPr3FqXRNw%^b1#y}%hbsbZX2-~x2U zb{g3ul{=9uol4ff(5S@apUL8LT*E#^vX@NoLcT^j&BcCPm*C9w9|r@ffSyG>x;?2%v`BugmEeaq%>@uHA3 zrAdm>Xi?~pZpgaS>F-Vx+30}a9{B$-lSq_tiOOWx`dMy_yPhO}IQs-78qY>@k{Gk5=vA7Vh>ARtSDK zxE&YQUj@mdsrsI7a3%>w1w};=2m%FxgcZ;x2Lg!*qVqo{fIbGHb0H82jLrqo=U}wY zzvXBhEQaC&JT08v?EZS{Kiqx9-=zJ2 zc8D+B#+Kj@XP*FF^S=|5u#k|T5R)y_KQu5z5Q6TvKZ(ipZw*~bVRT3RhbHhpXdnUf z-UI*X_dmpgK+zcgfAa%Fz{2S6{!b0^pYgyD2ndbe{|`T5(SNzu6K>()Yyp!Xn%yK1>Ezm1_DDwAYcMEHU)J>g8u@a C&odeT literal 0 HcmV?d00001 diff --git a/text/problem/thething/solution.tex b/text/problem/thething/solution.tex new file mode 100644 index 0000000..cc9be43 --- /dev/null +++ b/text/problem/thething/solution.tex @@ -0,0 +1,180 @@ +\subsection{Achieving {\thething} privacy} +\label{subsec:lmdk-sol} + + +\subsubsection{{\Thething} privacy mechanisms} +\label{subsec:lmdk-mechs} +% \kat{add the two models -- uniform and dynamic and skip} + +\paragraph{Uniform} +%\kat{isn't the uniform distribution a method? there is a section for the methods. } +Figure~\ref{fig:lmdk-uniform} shows the simplest model that implements Theorem~\ref{theor:thething-prv}, the \textbf{Uniform} distribution of privacy budget $\varepsilon$ for {\thething} privacy. +% \mk{We capitalize the first letter because it's the name of the method.} +% in comparison with user-level protection. +In this case, it is enough to distribute at each timestamp the total privacy budget divided by the number of timestamps corresponding to {\thethings}, plus one if we are releasing a regular timestamp. +Consequently, at each timestamp we protect every {\thething}, while reserving a part of $\varepsilon$ for the current timestamp. +%In this case, distributing $\frac{\varepsilon}{5}$ can guarantee {\thething} privacy. + +\begin{figure}[htp] + \centering + \includegraphics[width=0.9\linewidth]{lmdk-uniform} + \caption{Uniform application scenario of {\thething} privacy.} + \label{fig:lmdk-uniform} +\end{figure} + + +\paragraph{Skip} +% Why skipping publications is problematic? +One might argue that we could \textbf{Skip} the \thething\ data releases. +% and limit the number of {\thethings}. +This would result in preserving all of the available privacy budget for regular events (because the set $L \cup \{t\}$ becomes $\{t\}$), equivalently to event-level protection. +In practice, however, this approach can eventually pose arbitrary privacy risks, especially when dealing with geotagged data. +Particularly, sporadic location data publishing~\cite{gambs2010show, russell2018fitness} or misapplying location cloaking~\cite{xssfopes2020tweet} could result in areas with sparse data points, indicating privacy-sensitive locations. + +\begin{figure}[htp] + \centering + \includegraphics[width=0.9\linewidth]{lmdk-skip} + \caption{Application scenario of the Skip model in {\thething} privacy.} + \label{fig:lmdk-skip} +\end{figure} + + +\paragraph{Adaptive} +Next, we propose an \textbf{Adaptive} privacy mechanism taking into account changes in the input data and exploiting the post-processing property of differential privacy. +Initially, it reserves uniformly the available privacy budget for each future release. +At each timestamp, based on a sampling rate the mechanism either publishes with noise the original data or it releases an approximation based on previous releases. +In the case when it publishes with noise the original data, it also calculates the difference between the current and the previous release and compares the difference with the scale of the perturbation ($\frac{\Delta f}{\varepsilon}$). +The outcome of this comparison determines the adaptation of the sampling rate for the next events: +if the scale is greater it means that the input has not changed much, and therefore it must decrease the sampling rate. +In the case when the mechanism approximates a {\thething} (but not a regular timestamp), it distributes the reserved privacy budget +% divided by the number of remaining {\thething} plus one +to the next timestamps. + + + +% \mk{WIP} +% \kat{write in text and remove the algorithm} +% \begin{algorithm} +% \caption{Adaptive {\thething} privacy mechanism} +% \label{algo:adapt-lmdk-priv} + +% \SetKwInput{KwData}{Input} +% \SetKwInput{KwResult}{Output} + +% \SetKwData{diffCur}{diffCur} +% \SetKwData{diffMin}{diffMin} +% \SetKwData{evalCur}{evalCur} +% \SetKwData{evalOrig}{evalOrig} +% \SetKwData{evalSum}{evalSum} +% \SetKwData{metricCur}{metricCur} +% \SetKwData{metricOrig}{metricOrig} +% \SetKwData{opt}{opt} +% \SetKwData{opti}{opt$_i$} +% \SetKwData{optim}{optim} +% \SetKwData{optimi}{optim$_i$} +% \SetKwData{opts}{opts} +% \SetKwData{reg}{reg} + +% \SetKwData{S}{$S_T$} +% \SetKwData{L}{$L$} +% \SetKwData{epsilon}{$\varepsilon$} + +% \SetKwFunction{calcMetric}{calcMetric} +% \SetKwFunction{evalSeq}{evalSeq} +% \SetKwFunction{getCombs}{getCombs} +% \SetKwFunction{getOpts}{getOpts} + +% \DontPrintSemicolon + +% \KwData{\S, \L, \epsilon} +% \KwResult{\optim} +% \BlankLine + +% % \If{abs($$)} + +% % \If{$i \in L$}{ +% % \lmdks $\leftarrow$ \lmdks + 1 +% % \ForEach{$j \in [i + 1, T]$}{ +% % $varepsilon_j \leftarrow varepsilon_j + \frac{\varepsilon_i}{|T| - \lmdks + 1}$ +% % } +% % } + +% % Evaluate the original +% \metricOrig $\leftarrow$ \calcMetric{$\{t_n\}, \emptyset, \{l_k\}$}\; +% \evalOrig $\leftarrow$ \evalSeq{\metricOrig}\; + +% % Get all possible option combinations +% \opts $\leftarrow$ \getOpts{$\{t_n\}, \{l_k\}$}\; + +% % Track the minimum (best) evaluation +% \diffMin $\leftarrow$ $\infty$\; + +% % Track the optimal sequence (the one with the best evaluation) +% \optim $\leftarrow$ $[]$\; + +% \ForEach{\opt $\in$ \opts}{\label{algo:lmdk-sel-opt-for-each} +% \evalSum $\leftarrow 0$\; +% \ForEach{\opti $\in$ \opt}{ +% \metricCur $\leftarrow$ \calcMetric{$\{t_n\}, \opti, \{l_k\}$}\;\label{algo:lmdk-sel-opt-comparison} +% \evalSum $\leftarrow$ \evalSum $+$ \evalSeq{\metricCur}\; + +% % Compare with current optimal +% \diffCur $\leftarrow \left|\evalSum/\#\opt - \evalOrig\right|$\; +% \If{\diffCur $<$ \diffMin}{ +% \diffMin $\leftarrow$ \diffCur\; +% \optim $\leftarrow$ \opt\; +% } +% } +% }\label{algo:lmdk-sel-opt-end} +% \Return{\optim} +% \end{algorithm} + + +\subsubsection{{\Thething} privacy under temporal correlation} +\label{subsec:lmdk-cor} +From the discussion so far, it is evident that for the budget distribution it is not the positions but rather the number of the {\thethings} that matters. +However, this is not the case under the presence of temporal correlation, which is inherent in continuously generated data. + + +% HMMs have two important independence properties: +% Markov hidden process: future depends on past via the present. +% Current observation independent of all else given current state. +% Intuitively, D^t or D^{t+1} "cuts off" theĀ propagationĀ of the Markov chain. +The Hidden Markov Model~\cite{baum1966statistical} stipulates two important independence properties: (i)~the future(past) depends on the past(future) via the present, and (ii)~the current observation is independent of the rest given the current state. +%Thus, the observation of a data release at a timestamp $t$ depends only on the respective input data set $D_t$, i.e.,~the current state. +Hence, there is independence between an observation at a specific timestamp and previous/next data sets under the presence of the current input data set. +Intuitively, knowing the data set at timestamp $t$ stops the propagation of the Markov chain towards the next or previous timestamps. +%\kat{do we see this in the formula 1 ?} +%when calculating the forward or backward privacy loss respectively. + +Cao et al.~\cite{cao2017quantifying} propose a method for computing the total temporal privacy loss $\alpha_t$ at a timestamp $t$ as the sum of the backward and forward privacy loss, $\alpha^B_t$ and $\alpha^F_t$, minus the privacy budget $\varepsilon_t$ +to account for the extra privacy loss due to previous and next releases $\pmb{o}$ of $\mathcal{M}$ under temporal correlation. +By Theorem~\ref{theor:thething-prv}, at every timestamp $t$ we consider the data at $t$ and at the {\thething} timestamps $L$. +%According to the Definitions~{\ref{def:bpl} and \ref{def:fpl}}, we calculate the backward and forward privacy loss by taking into account the privacy budget at previous and next data releases respectively. +When sequentially composing the data releases for each timestamp $i$ in $L \cup \{t\}$ we +%calculate the temporal privacy loss $\alpha_t$ at each timestamp $t \in L \cup \{i\}$ by +%consider the previous and next data releases at the timestamps $i^{-}, i^{+} \in L \cup \{t\} \setminus \{i\}$ respectively. +consider the previous releases in the whole time series until the timestamp $i^{-}$ that is exactly before $i$ in the ordered $L {\cup} \{t\}$, and the next data releases in the whole time series until the timestamp $ i^{+}$ that is exactly after $i$ in the ordered $L {\cup }\{t\} $. +%\kat{not sure I understand} +%Thus, we calculate the backward/forward privacy loss by taking into account the data releases after/before the previous/next data item. +That is: +% \dk{do we keep looking at all Landmarks both for backward and forward? I would assume that for backward we are looking to the Landmarks until the i and for the forward to the Landmarks after the i - if we would like to be consistent with Cao. Otherwise the writing here is confusing.} +% \mk{We are discussing about the case where we calculate the tpl at each timestamp i in L+{t}. Therefore, bpl at i is calculated until i- and fpl at i until i+.} + +\begin{align} + \adjustbox{max width=0.9\linewidth}{ + $\alpha_i = + \underbrace{\ln \frac{\Pr[\pmb{o}_{i^{-} + 1}, \dots, \pmb{o}_i | D_i]}{\Pr[\pmb{o}_{i^{-} + 1}, \dots, \pmb{o}_i | D'_i]}}_{\alpha^B_i} + + \underbrace{\ln \frac{\Pr[\pmb{o}_{i^{+} - 1}, \dots, \pmb{o}_i | D_i]}{\Pr[\pmb{o}_{i^{+} - 1}, \dots, \pmb{o}_i | D'_i]}}_{\alpha^F_i} - + \underbrace{\ln \frac{\Pr[\pmb{o}_i | D_i]}{\Pr[\pmb{o}_i | D'_i]}}_{\varepsilon_i}$ + } +\end{align} + +Finally, $\alpha_t$ is equal to the sum of all $\alpha_i , i\in L \cup\{t\}$. + +% +% where $x_t$ (or $x'_t$) is the potential (neighboring) data item of an individual who is targeted by an adversary with knowledge $\mathbb{D}_t$. +%where $D_t$ and $D'_t$ are the neighboring input data sets (Definition~\ref{def:nb-d-s}) responsible for the output $\pmb{o}_t$. +%Notice that if $t$ is the first or last item in $L \cup \{i\}$ then we need to set $t_{\text{prv}} = 0$ or $t_{\text{nxt}} = \max(T) + 1$. + +%In Section~\ref{sec:eval}, we experimentally show how the distribution of {\thethings} impacts the overall privacy loss of the user.