From 8ad8456861a2d2f6f04c5d4a0b4db5186d180bbd Mon Sep 17 00:00:00 2001
From: Manos Katsomallos <manos@delkappa.com>
Date: Mon, 25 Oct 2021 02:31:47 +0200
Subject: [PATCH] theotherthing: Finished review

---
 graphics/problem/lmdk-risk.pdf          | Bin 25215 -> 23351 bytes
 text/problem/theotherthing/main.tex     |  25 ++--
 text/problem/theotherthing/solution.tex | 175 ++++++++++--------------
 3 files changed, 88 insertions(+), 112 deletions(-)

diff --git a/graphics/problem/lmdk-risk.pdf b/graphics/problem/lmdk-risk.pdf
index e130f3d9a55ff502201fe4cc27fc87d783fcbe67..056534747d9f99c493b647c95a797f1b42939ef8 100644
GIT binary patch
delta 22331
zcmV)3K+C`X!~wUq0gzP*WNM~oW@u?(p^;x01lV#3&5?T^0XUJGs}wgjH7+qTI5syj
zATl*JE;cbaFgTN20r&?uHZ~wKH8+!60wjOEJ+Cc2lO2}#uh{Vf$KCv9sziVR2a-d>
zfw8S;2FAI8#)1F7xz?&Ga-VZ02*Qh*`&6CY-DHuhZ&v-+>v`dS|NgJ9|K<O>U;q05
zUia&M_10dg_Se7vm)Ac;+^_%qA7A<P|1IEuUBCE$uK(lzeBEF7>;Jx<`}M!Q{_B5w
z10K@<fB(74{2G0|w>)1xm)D<Hz4O<Tb6~z-|NHAdUH8|h_Z+XE|E|%*SAV^`f90Bv
zR~ww>*PQF$rZ1=atMvRz<EuS6!1pVcuT&krUU`14xjrd<^{2i{{%Qq(ZC`E9^>pc9
z4WrKYR~zHy)5`7Zp5^s9%L~sNrsjY3`u-~S8rynbOB|aI#=v(B)(|!m{rGx)PW1iy
zw_j8L5B~xpk}!*8Ymns`>-YCpO?mx!eJ|yW_zncd-?0cOe~s1`V$E{|d@V#>1bG%_
zz4Y$*N&d=x3c;@g;@_@cAO2_Ws{hV9j<2Vk>nPaPajX&b77I70J`wBq-1UF!u5+*C
z^Q`}9HP-TZ%2%oRSj^`cUxm}xYT~DD#A*t>4ubmwwwllLaD=v6KBQPpAF>daPso1#
zIbE*i4+4CyCMKBh)u8GuUpO3lIUP~P*IYCIUcXtZb+4(E^i}R;n9-+ZRo0r^>mU4N
z&FroO$Gxby&cR$H0bSGAgEN1yFu7&I`B|GTk409z=s?_SbH5KvUlS^X?~+N_k_$gl
zF{-txM$_Wm7_s(Qnwf}H8sYmMpl!x54Sc`m+PQuIxqtEfb$z$J<~l`b=w*|%U6_Oq
zuL0Ec-~@hfe0kOluI<1%&-?{K8+?5SqJ7P^!i&tQ>vL@lYW+M7FoA!9&7qIY&I5rX
zv&PnNNEevWI!ZAW!ajM9P8d>r=m~Nkuu85;!BXJ|Yn}6>31<9dAqsdM2>g@-?q7X&
z`-w19TX(&)B(V<i7OV+pu~?pdvZjIIV>9(yxOHp;2Ik+c-<$HE|2Zb^dv@>sz&InX
zgFDqu{L|MCNhc?NI=6q*wI3M|H;FTVvBp}*$pFS&yDV)6FmV`)bAW3jHVbf!^MLgY
zj?zwj3~Tdrj{DkA_`LiLKV}Y2@S7SxctO)y!?DHIUDRqzaB-x<d~+oI?!sWH`#N<v
zl{o6ykUfE0TtqA)lY&VvffNKcSn#xyFu+(2SjTW<8ZZ~XGWUN$#jxf$4=ylweU2x_
z+QWjmliJ#|*-r0Rr}<6PW6Q#$)7Ck>8@D&9aKM;5eo^oe$6O#spcW4p;L7WJI>eL`
z>m3Q3WF4~Fi+wfSI>%z;15aN2oW|VZB!k3rV?dn&nS@u6<lrM&AGxU@JiTb^;V5G+
zYZHszu3_eRz`=iA4-8H!-Z1ZUan&jW$U;yMt#wW71i$&+31*M2075M|jj7Y08pm0h
zDK7o8Uu24swMm-Z`J{(%#f&iQG|4W&r;lMR47u5Y3x`#TCN0E*mnzZxC&F}bOwEKR
zf;$z%CJf1X`E~<lu^TeJMet^D$I<S0{P$a1%LF9<x>kQw#~MFRg^PY;FW>`}E4X%r
zFlz{tn}(ZZjj&*H0k0pX%pt9JU^<54PTLqBJbV@}gYt+~XkC1LedF<Q;$>v4&(sll
zGze}m%*y^-o9r(A`0EncW!SHEXpQjDC*qXWt`T4rvHn=2HNuhG0prLeTYq87lBJj4
zkO^`s3(S9sYh7dKOIm=*H8P*UCl>D|J0yF$gt)uST0Be`ij!Y_?SDvfOwU|LVH*=m
z({+pqkF@@!O5$d~dXgUs>9Kb4k_yk39;qg2QzkxAwapUZBek1qvx|?^T<<aQ5r|;z
zfidQfk8qrB5%{=5eAvjh{D`UfD}GEK^5Zu_KIMN$!m^I8vpH!R;0)FhnC}C#I8jT)
z_^%9eZPYd?Y&rje*)LlBj~dtUqCi2Ls`j&LmIj#9@%_N8nNo)vA2adK?U@(`>d|6%
z!jv+J8A}6P1Nhsk{wH;rG}nGer}PetZO6P+zNc)fG%rhHj1RN)=^)?UjydTB+HTBA
zy6Au2jXB@qjkX)}qLNDz?#4jGMhT2<rM%2N4%4<;3@dh{4gA=RJ~Q8qKjzNe_=_Gt
z?bI%zQlLxC_4j-a38q+S(Bo<2uNX=2wT5|_e5tjKS}$4$LHy)-I)8PGgG0qxW5N_`
zHuGkguj{BmgkOQcQY_h5)A7g>)!c@Yn`eKS9MWK@Xf<0rDifGcnHLeQi(%%)a5pS*
z^FA<ZN0y@5O$mvV`Hi({FN!J&TnvL!a~(9C)BG%H2{~)h4l_yp5Qmt0Zy_u%5~t=z
z;;@kDJaFq1Fwfpx7%klRYKzo>?;(K=0iExr`BC`g%Ad@DM1FaB)(`oEDQmN1RWN@b
z+J%@SetZE##S^luXai=GZIE?7rx1piwA&<lpg>=d@Pm*AqGgG`NfA%FadA4{1(3$*
z8gxzvSYdQs_5-0Zw<q9b1`r0X#wRM}{o?Jd+o)#IhQ^`-eo~du4aEcVpo_uaH)r~A
zrvAh__P4wNSR+u5o*8bbdWqDsmBD|^o?@PtpGWC`NPy<{#D>)g4UBUvSQEKyb~KW#
zm(8)pQa7HHV@+rWn`13QxZWqnD)2o(S#WRKGD>?s%&$NMGYO1yEZE{ynT%ukur|li
zz&FQ=nfWVz%pDx-H$8rEtYu2JCX*d<<j;YrRIR^>ac1P0Y!a<<tF5snjtqa64&W!e
z6n&8MjN33>N4hVjRmHrZjRO{Q8;dVp`T<24Sku}~cqI=oSQkH;zn&2weo$=K{y@bK
z#r_61_gI6;W;y5=rbCLiaoK4hfVC|yxZ#2WciGOkO(Et^Sg)w2WOEwp8)7qSTAjQN
z)a+ta;C^eAnYx+twne%=o|AvM4Ld*n#3IdrioalRpxlQXTkD%kq;Xiio023h2N<dc
z+1EV|nC=$)g)obZlS?X$jA&@aKumZU;X!R21}!bx$HmrEF62U{yJkW|3Oi|lDG#%Q
zZEJBmu7`%X2G@(Z-I7#K!(jS(YE?3ZF>bR#;Loe}T}kf6E;!q1YEpk9VF1$*E?Hit
zjVK(@_kpQW=J^gfjT*;?Z_xi#<oVRHxUm8;3z!y%IXG+~uRy%HM`^9aBZZ12Ir?2m
zAbOzJN1zSbZlQTgjX*S{<+a8IJAA|Ir!Cn}gvm>WKYB$LHD<AoNRA{k?m3QIB(FBg
za{)e==<mz+Kg5hnHXna%FrUB}GcG11oYR)Y%6Pzn8JD^Q=zTEbvMkr<+4^IFr8Pge
zG5kT};Ks`u&uJXo*b$o>JI2Es>mwYevDz3{aAO<!=EgBKf5nf<gO0xm^2v=kStvI0
zz%F{##rB{)g$+_*;iq(BmO01G4E9`Lm0SfHK|U~naGi61X<L6FzrOxIX*Dn+_Ms&Q
z#+H4lT-xWhrZp|{e^?C_(V5d~sL+J>s@Lpc6JPa;<9=8T6=(aj8Uhgu5*S;ux*mNF
zt09IJt8N3|s~$7+SNxbeR{b|UK3Bb_$p8jid=JUxh(Xo|@G)m5mb|9nlI)@G2t@Gi
zQ892vy~soRv%r7GH*)|~x$(fb<+6as6mOtPQ{XpUj0fMm$*bgEe-l%StkI`xRNBjh
z3hRa|?YXyOF0wO(CxFN%x|Rluj|!ahNoiP_ktMjbIBt4YUC)mN329leAIkQd)ntx9
zf5WXn&HluL|C-{{Fxl%f!leXbXu~m&z!bWK@QP%1`O|-}vmTc~n^?E0U7#mHEkL66
zhEa<Au@w`=%N25uBd6xQmb4JO&F3x60w1m2cEytj)9;F1Lt+I&`|5pQnl|f#$=0F9
z<;IW5v#c14hDG7Q2+kn62h33O3&(<l=eVXSOFN$EG7$8Ji>pqb;PH_`QMHF*+uug{
zc|3Tck~x1M;pST#{LgD+3RjIgDNA{Se*#;nCoK`Y(QjhRlu2~hVC4Eqq6FpKXn_dE
zPqJnkPb7KC`37u+g}BYYsz#2-T-b6u0~Rlkhj_!9$=flP8PN6yX(ILmi;UtF>IBG8
z8gyK8kOt#iUa>}DYjUP@8>1wJndo{&lcW3i2m^ogI?8pHgWiqq(Vr`#Rr1ZD0LdSY
zjdr?WxSh<@pcqJE2rwh=YQ*T|Y>1d7op0(;h?tc80nak+C&CPFZoT3$?x{7Rx54yW
zQE=#J@!(|zAIMAV-r@#}d?~nXCG0^7zM#<ue}15SnJr_?S+P0|@Y;wyhmC=of-mTb
zJLi91^@(h8=j2N|rpKMfqd`6=sXrIv?+XNpKWjrQd(Dmi2eo8YYQgubHmM^|Ca**m
z&A(h}X^=2o{~Ld%@8JG#{`vMlJb(FvY}Cx7yKJkvsQoA4NyY*`vuvMvgTy(J`_Dw~
z3ugq+#?0dROEpM$W_AJcfCdkWL2zl4HTZvD<r~3ImvRM4J$i9Vu(=Xmx&Hhx1_+nt
zI!Hq<t)w8uXf$2l0cRRi-vK|6N$?oc;(-Y~;5cV&cUgIv83h=}Vi3z3gM$+bzfMeV
zG(s?g#jym*ld_~k@;_&t1pE|sQqpH2bV-}64=IigqAt?Favz|S(Ku7O(gqMIVfla4
zO<>?d<6%KCnTOJ4)+pAY^$BrQiD@DXhk~6iGGH7}izx_N)9n-+{@2DA@}~u)Fgh*P
zdI5yOH{@Reoz{ZDPp}>`s*TM35L6uIB@fugR7sn)iJtYwB$J9;O0f>=$ZM?;1H}lD
zw<9*<n}`rM#)O_~f6a=aPkEoS#Or^2EC9NwwssS~L)%XN+cl*1@hb@2Ijz5}z(3cN
zcXE=ve_k5|2cGl-u5V!*A(3Qq2GakKX3{w7rTtyZL3s#fX8+)e0+iGNO;9i(=%o0i
zW!b<}IN=^_j3O=!;^+&*w3j=P9j!qzq_@F)=<S7Sjv>Asaq$JrpOFVrCy#$GFwnDl
z9v&tnwm=2DrTyC>)?BWA#^JhKO0566(XoZ!CMMHh%@!mN@RUu6i5Fl;DI6Adq(CG6
z+rc4@zJ3U^Vl5p+BR;YyF}m&W^_jJd7Z6;oO7g;URPCn^AgZ2I%wXB@ee<maJuySL
zz2x0>MCS2Y5Tw|Ea`50IaA$uY#e=>tZ4Mmvb$CIO#&b0D<;zdVmLCFNu(GPE*u=xt
zfTDo+@}yw3mVAOM2(GuamdMJ(j)j1Au<(c~y=twQ!QThWSkC>>dpNT87885Kli<42
z(BNBxb7D!2HE?V^etX0;1S!p`HG{91bD}SLcKXGJE3u0_u!hXb=?i~YsBvtlC5G}H
zA;o8QI@Hzz!Xb=N+|?oNR`M(%z5{U$Mn}Fe&W>3)$hZVS94ejgA$#QG_=7?G;0OO)
z$V&is4bd40$xhExknjY=-@Eig>>PoqOY&0z`eka^PGj0gI|L|#-f&&U-xt@pLxdtD
zVWzc^c9bngp@tA;PQrf-DN3-lEk*+&IeL9>%wtInA$0I+tZax;<}$2vY;u(G`B_4A
zaxM#RlGE}4))qGeNs&XAE>dkl3cB%I(=yON<R_Ud-8A2_)CudXJYY#v<|u?TWs1T)
z#3`4d&k(50qgVtrnHf`Yk&3yFEn_)#m&b)k97`*uR8<;?B3yqaR!O(&V%4b_ay1Yx
zSPgNRXvOPXtny3w*>aU5=`L3}%n_o~cGu;w<%{GQ4}c63aWptVrgBJE<}CHc#jA*3
zT)=LcZvp#rS^i-p9jx4s)B)qwiCI}LWEXGys$0gUrS8MM>p~XrFnIzs4-SivvPhSJ
zGu{7~sOOuM1!#XV)ue2KfjOE>*<{XNld=aWDT|a4m?9x%4G~f{l`2J9M-%x821?5E
zdnPH@ieW$$m8L3lE{BxGR3Aw*{(X@NUIUY}DJ#n@1Z~R7Ta}~*v?N%FT7!enIc&lf
zZ-W#wY0Gcby2WkE=1Vtui|0XU6S(?$2;7v#H%#IJgynxDk!#RpLf0PW-z9XDIS@_i
z;?tDvE_Q9dnA|0m`cm~ITWv?U;3bWrk=q}$OK=EYED$WW5WHBxOs#?rCxBp@CV2yN
z$&1&uu_f<@X=D`U%v~mWIg}v|CdtdOjmIS~HZOLg30t3ti(YPg><|CD=Iz24$A&tO
zOJ5-1B{P5V8!IaLYv5%P*r>_}svSxN$V|p^G|wS}F*`CiA+GO@F`<i}zzz)<2fKz8
zb|zqA*uiTH;-75epNmecQnw@ygd{Qjt&dA$c*L*}A&Kb_Sf6%DT-`*`0fQk=R^tbd
zPL4YE-{F6BK}=sFgkA_@I0B#Mav1(joN|-H0J(q1T@DAr?AdE$B!~IBwE`xw0M35M
zVhjN4vdLl&cI|YR#hgt&WU-tZA&cERVzQXTy62Y1^e6I~$=nXa6!JJIzvZ!$*BO7n
zlE?I6CYQ%>z94)S@|cS;M#y8pw8ABCV>&L6G2cT#14K~G<S|{YX>Nfmhv4G^nZ%Rj
zjkAC2v<!(H2$#r)2#L)1-P5HqzgG^a%<&AD${Z~2goxwYPCKMBXIsX8K+Z6e%I*vc
zscgP56UroX)!49~gYa7@|6H4Yu2OI6JAS$j80Wt*323-f1~@ez$z{aUc<?2d7o51y
zC3+F*gAU+=xzr*Z)&8oCIup#L!f#M7lgxj7T;XvO%mA}!%~<6IC72O%!xlBf^}R6?
z%!_ss{W_|6fq@dt7y*{e1T)9?fEVfD$84N2VDg9>#NTgu&m@@<TtqlFBy%ZnZ-`Z_
zy@@a)RVqp50FCiEY?2v2rhO*K%x~d7Q;24Kj&ehi86Ze)lDSx}mWyV<5I-iG0WyEC
zC)sS^7R`Z>Xa<NIGbWlDMwPorqS<!M<-(bSnkIdnj4qo&=9ZrLYvlw@He-#J*>i2-
zj798jnsSAc%oy;G09`h73(YN@uM-1)$?rYQr87V(KrWp*I@q9+&fLLkOS<VBlX3aX
z12D5AeCCqQfNpu6B%MJhaN*0uvn_wCi{}HBbPhzd(`i<`q%Q}Pu_;_UV>%^o3)x|l
z#TYC-5CPvZ`z4!$Ihb(%<Q0s;|KJ|~Tug1LB`^n!5i>UlW{3C*(@*ZX`3du25NI)e
zg3OSTor55C!W@K_r<5tY{I6NZSNw#T8KWKi1nC<H%@{ucSe=^$AYQ_JrZ#`Jl5dDm
z@&Oxb11~|cl7W_jh;Q{!@;SCUlz5xSq2+sOjz0i#Ypf_KPYE8V;3Y^XqVJ8Y1kepv
zy73Z&W1$>2UIGwN3F9T6z!R(lU+a+h#!CQ$%*IRj^E!i<00x&eUgGIcVkMCZ6}%+=
zE?&ZXt6ZFy;9ImPoR|2HF;;(akx;|gh3^PwCZO|pQv9{L%>ZV?^q!fFmna9V(d!~+
zf;BCQEmUUS8R*P}Nmy{Axu$Q3%b5wkCtnwK9Cn~7M`9)%-3(Qqd3Q6E``8r0Ot||;
z*$>#%#Z8z8ST{3a-c<@!-<I`qW)jQn%p?$ECfQUnV-_4uDw~&F*?xZ++$0djJ}_Lw
z^f!EqIf|V)E4YlEe6k8U<$o}b#ZI0^^=`+j9AN>g1=djYk%QY#RUb*X{ZRFha$B~l
z&ou8-)mLJ8Aee9-sy?%5KU95WI=4{u0i~_#1AI<ZKM<kn2S%zsU$<3#e6O6UK8BOG
zs?Wh5sy=6Ps`{91-l~5-iLq6E66;j;LCbQe`Xu#M^@H+f7)#{caV&#9kcAw*2xL7H
zoja2CFu5^QeWX9Pt?I{gT-9gt^H%jS{kBzoCY7J6KB(2Us!!r=Ro`hDs(v6`)i*?_
z`h4G3_4&P1)#rFZ)#qThs&6~(Q1v<6t?H8)Th(W-_^IlHdL@5UeG>Xm^@H$dfa`N@
z{<)q(yOt?k@RJH;h;0DMEIoj@)Sy;?GzG@Pk)ng>T%+stG7EIsCNS7#AT2=2ut*Si
zCIYX87p%;O#>gGY2IS<Bf{t(n_@5ikMZ(>(mnF6!X-S@^$uvaRFV6!AOPdCL;+KII
zDt*5;tV^#BCz^kfNSp$Rv%Eipf*A!Ln%sf9{%`4i>w`$+vqat0=q$!9%*xpc4cF9!
zuZHXo7l!)7P&9L;3BDM)W=^PJqz4tgnAssyR{|>e5$+&!uVs3sE?=vhIN!aHBkLd{
zL#hs+@Sm5%iCa3|;wM=**d8WN7rSDB>?z11sw)>)tZ{!JNRaU<2zqmdwZ~tjs%Kf~
zjHdIwiyvPMK2w9sJhZ7x+B3O5pj&t24NS_4<`20rOb9ch7rT*c3SV7BVAh6co|-R&
z?=VlRw%G{2I9IF_eo8uMfw2wVq7q~1h)oy;u~!xg`=synH<B+|HMo@Jp|nRfw%|n3
zG$_f7qIQ39UEWaGEvY5zs4?FM2?M&3hCF33-pVMLLCiIPj_H40D&gcWv5JY_6y6`=
zBIJkmx+QBbs6EK0)&9{f*&-d|?JyE+s;*KA?l!1LInj+=7s(-wV;j1ul9|zs<d=tA
z4M!QduQ#_3aw`RqH8-(j`?FS-il&%fjhhb46~KRS>o29^;Tf<s5to%&oZ)rdRhWF+
zpO?dfjDwDA{{PAIOFg(zThMrLH3e5Wku6ZEJZhi$;03WV3}v<bRd<nDDFv77$j{6v
zekm=4>bu^Nr6&yOV_E-94(aVM+`l)Nmcz`+WD*I|3X1NG<4fIllePrRaxMl&$n<YI
zetm!U2zqOFPyAJ<2)``kMX<SxtE-(y0kt1E2T0wbyXzwE^|Gr>f203D(DN))g967u
z6F6g13z5Vblk6@ej^~b0;#{=R#$yr(=G<a5A#s)fMPiOg9NjK5i86J|YYQBN>RXOK
z>;8-c&KwjwE^p@KZZ~;@=r~TK3mk_-;v9bntFzz;$sB;T1(>oinH#u;&Q!?>6FPG+
zKx9G(r9!ki5<18~;nfTZooO4<gbt?Mw#<P&TKumd9gIekIrEm9=Q3wZMnzoa`07dK
z?6q{6GZiQe2I#P44h;O!UFNJ|(2#VYvtTM=CUm9(VkTB>3NCYIJtfjK_9K}yWlDc;
zp))(n44BYCo`S?6gpNZdbPP11gCA;vDRl7SmbTErXYcAl2Sds(Wqgyl%(2P1%$Z5S
zuV$G{;F2M8rtasM%rOd@%=x76^*53)o$l6c(<Kaamjr1abkPa%y%CiL6A+CbMJPv=
z3GSxgu;o}j%kDrPk}@m-K`v%xU%Y>bfQgMr6QbC+D3|4VGw>oWm-grnblqB8AbdTU
zp>Td{a7!XatEUlA&ob39wu)44<F}|RGdKHHfv2SB_4lGXsag$Y$%xD8;S5vvasdFC
zYL^BPpe~>(r-m2J2!99Mb<1i&6~{L>tI(4r+(U^&y46F$$8;a^854Rj5rKa;anwqQ
z2fD8O7DeP?idIUcqGBdDBI27)b_-ee@&s`aAT8ee?}H_aV9K<D1!pe7t)(gAtV$#U
zx8h|zTB@<n48tNnKepc5jdjXV;U<Q`ZeuKPW;ZgLZiQ_tqp1vuGySJ25Gt;ZJ0jE(
zo$Ws@^M}Uwk-Y-mVyqo0D=>ej1bQmQ!)UHOpc@Nf{wze1>Sq6_RDtwb=l`8bv)KRT
z;O71TdyyT%#{1X1c*Rt_A0T{roB0D{$`ccn+a$O4J=|1qD)>Jug*@2>0Fp$gR~eJ%
z)Z1ZqfKohh{`W-w;+97<=a}!>3kv~NBm4ajTU0YX_8Pk+z$@sG+GT%-3?W&7FCzWd
zgaN=&wlKi>7(<dc&{FotIeyH?1p+2~hzpPdOKl=S$w-&W1SQ7Me$STIG+j=S9XV)H
z!C?~%`tfCQK`(D@%LRTsj1i73SC<8`30*YU%&z@Frm`pDK)Te!A`#uHiwCEw$p-^3
zC;MMl0#^Uc0LGROUAceCTS7P@Bt%!0fh{56qXijULZBvHPc9+gkiqhXgn$qC=^-KL
zp$P%eMbRxE?9V11;OVZ9iwAs2Mu&-q-reR@T`jvx;q1TjXInb-Ms^W@uA%7PDn<lG
z9^wJzi+bDQ0VR`q5Aon&h=(qB{FV=nkbqzgl$~T1elkyN2#9}$=rYEqN+I#au?Ya1
zOIS^u`?Dnos4R<HDO*$OO$dn2OpzcJoUy!~D-j{^kPwcLgrIMDhJ;w(LblkJ5J+}J
z^}-McvCj?(@pJ1T2ke%2*(8L+CLxk#bxTAf<aC4Wx`+UR{v;C-DJz@LTv1@KEgin7
zMVd$YKb=wF5IKKuZxoZ2wuE3pQSbZjV#DT-D!Tl(9a2T*3f&`xl30sEmzf9-Z=cjg
zm{ZCT=9S`|>?hn(ekE37f-kt;8AHDXZ!CsmD$7T=JyWoqQwrBq2A?V+Bsh7q>blda
zZf_N6DGM1g0(8FT-nUqX8&wNUM8v8}L>!A84yv3K5($3~l_ShWm2>!~?0VexP~pGK
zjX)PwR%FRtR5p|FQE>`&|D9z-+(~6M>m(ht>bi>QeyXh6tnR3C&^=WKyQ?ZIICYtP
z;Ol!moK;!30o+@Kv6ZsjRoa5#uHwwD{pS)FH;gXr@K?b>fTzr1WdwDPmB0__@M{s)
zc|;)uTJ?YU&{~%I&@E|*?~PcJilCnVgm}I$?rCK^g=`6g{lM<>{R9&oF?zh=I#`DD
zdVj&eH3v8@5crP~`xj!wh9I9ChNwmQQmub~%Rg6rRN~S(lf%ZDDxw!_rNx=*qv`{}
znd(#BUro*gxCLjbk1ARPXR1$k?`4^~HcRFr&clD(sP$A{kyn&9YeF7T>#n@wl3hPp
z6Y`48fuA1TUdttvR|A7FZCHHCVX-A<B;BFB;?*XjOnC(c>8Zw+Fqjf-$uD&VTjB-6
z6uK)f$s)zZ*pA=B4YmYA9Zqx*(maCTOQ3R|hwh4X$!P>*ibWM;I@Z`36J7zPA7>&E
zVoZP4$~YNws*mmv1arawrF~0z<x&Q7iupKm!i0GQYg|C3wo{GRQ20*eRhK$Lc?ET;
zc!@g&XxzzR<4*c<D6f2bKa^M9?sVS7p_Sl9u?d|yX=c~{d#92o=0v)*XLBdfEp%6>
zs&OX+Ke*Gcl~`vI=l%|bNr|4U58?a;>4|^k&}D1RCL5%LFx&8H*Dp-4l=w!lm|tK0
z=PHGl2%I+<Xsn^2?o0LH86f(DoHZ2QR-VBc0K<PL)=-L)o`W@%(){oj7WGh~hn;-o
zag~ELFxP56@j&GzUt<kS@F`=n2BZkVC1I=q=}fSyU2AbTn8Se(cL;>o13-k@jXi(h
z^@`=X)&fil(-z~w1t?<=9PIOK_JGMCIoj9*63bY#*^WPFKgMPcAQp>n`QNLKo7e*=
z4Ha#hwpbk6ieeAGtl|!Pk)1gdnnZg?IxN-zhz?V+28@N4q_c*?!bUUnmSWev?d->7
zoHt;$UGX0NebE9-ZM*@r%F_N#a{+$_XU=#7GtWkK-VmVi28WF|@W;0DU=B<rQ}9j9
zfuGOWxdR7RhoAn~ht3^ra@T&KnUAy>X?oe*L8Keb9gMEV90YyvhMx<uPGrl9;rJmf
zRpw`~0wfB8+#Au9nis49sersq@)HxxAifgJ;n#PO@@5HV#vL3s_K@u^jo5z!AciQN
zJ!II3sRVn-U1<_x4}hp|I(t}}EuA^W9x{x?5&;iS&D!jN=~JV{1A~b&;tnhqRr2Nz
zOh|gNa|eJ;Bd6xzaBznMA?^?eaR-1UOd5O+&iN~t1M9N2FlmrK!~<Ya^&y8~a0ei0
z&5Ju=YAkDGr=OD_hfM?GU~hlN-?@s$96)y%r@<VsGA(bTCYCi>fF)Mh*#ll^M@-u?
z5MmGj8O0Zaz|zq|cLo8(q){f_fs45rK+MM(1ajk$YZ8B-ip5nU_6=v!p**nq8B{Yd
z2xXHwe{jgygMr2!tZrJU4$KW3Wpf7=QX9@4II<cck=TaL9WI|*JWzi<Y+sBpM^uD#
zd$Mx}r>fY)_4+~fzplhOl~Y9`adaye#}T?<@J$4xwt*N^VQb%iNTIIun6NzO7}^-k
zGk!)FgID_xfO?KLAwUvZSz1h>>ymCN<c#+*mOCu!pjzz)uGde~747dx?!;m7U5{W=
zrQ5A5|8L5Sf~NwOzr}z4=t$U5vZ^|cxL|`pD&g0O(O*`UoGguky1Ob0Yt$>cU52qS
z<=B!C5IaQFXD2CuSUK$nx(O-EHB>Qduyv)X4eOOs7_GjLNr`1Es`eD%W0j~6M5>mF
z$?Sk>`?c{FOzsw;87iEUn^p7%f<F1GJu#H4kIgbPd1c?IFcN=?woN4vP9^~T;r!-C
z0HnHhD|$7QqEl`^>P#PI@k*s44LK=_g$9P{V~;uS4#ZTIJx3%K?%`g-LPFcL)YVZU
zzeMy0lQm@%V4o2MwDmIZvdsn&?GH@l4B_W6zmVlt=-jjFw^Oy|ise5{b`iJ$(-|X}
zyG`{r9bpQe|NMVpqDs8}wqV%B?{`J0KrS0yQ2S#w{<=Vm1K^JPVbMG6avA+b!lKW(
zE`M6|K-9yc&$p6wO)jI^#%a+5F}FpZZ#5Zlv5Vl|heeNU!oDqfqzgV_(IZ<hofbWk
z1@pG(0gi3a8@R=Cz$TRqHld8f!)?(6d_F9Ce7$Xp9z%bdVbQZX?`hGq-t4yMF|Tx3
z^ql!=(StI1Tl667+!j5kK2D1st27RaJ{Hxa@?PVR%C}W;4XNx1lgbDJZ;L)#(TpvX
zZ+JYmMbD)SH9h7NLirwg%>S-?H!hTs6#8M&gMfKk^sH^XE&2dmEF0`{nLplQ8E-!=
zdVW1DdJcbWTlBFBqv$AScJ03_C&+{{=yF>0qFY$>PE}Ld4gApBf33tilej$Dp6z%;
z0rRRfC%NweAs1o%-~+t2R-fUgxW``*_6xa$eu0vem!4;)j_LUR#jW!rQyNz09<+ZV
z25pG&IRYUSFno@`-tx~?O|4Rkq67y=uK|4virRmawWp}m{eij8pP)a<n1981b;|wO
zU9YkZakAaAr}COXK0oJ}EMWtT{mL;HUzMzR2~(E!CP%P9;;{AxS?QW}$de6NHNJSK
zA*)m#4hs;q9EI?ZL*I7kJp80s`E`GySatubt7t$>D;{qj@s24z3SIr$quj8r>I!iY
z<G+7+tkxbc&&DTsf80i;QB+lWi&3(1+I37soz&jPRE05G9ItR<?T?V0*D;PwZ;kU~
zLFjCQd_^M}Te!7Iz*u25s#FysJE^S?YgA6Ft_*c|sT6e<T~~3$8p&*mRL3I-ckm7L
zM<U5eUr-creb35_PB_;uB3L3FI&@j9IF*07%`s3ZZuf1Cfz-sR-H#%a_Q@tWevYc$
za)<9nnyQ22t4rDvwo2_cH&bA=^%2>?OFrAG1qO8}Yx}@ZD{Z%K`>>SV5*f`|<Zi75
z)ZIh?FmjAOH#HG}P{Qn3z}aBU-#Znsv=c})t$H`_Fr$;$=x1?Dq&8an6xbVpReXO`
zvXiUOtOoRB3#rW8<Lsj{&-g2*=(bH@G(o!SXQjUA!>`DVvof2S4mOo{QP305mo+J(
z>4ja%+U6LmZsR-VU`tAn`3vS`OAQwy=5BrP=e2B1)r>YwgW@9)nqFhu0W})BwJoM~
z-zaJ+)ovN&DBK7Uvf*M^a88WG)5d=!<yALRpjf{Yqmar#8g$n0#X!7fElwa{E+{te
zt#S8<^$L|FhMy#r?g0hn!>QKelrVnP&qMO)Dw1K=upZrh)A3)Y1UE#wwxUdohI=7H
z`wFTPV3v<9Dyd`e#R{If%(oxWk^JV^xdA>gMpVd7z}l`|#kVmx=1Jj(bg_TQPHUY6
z`vH@Ua^hofwyGHGMLQe9bK^RmXja5}kYfTKR`;`N;N2>z58m-=7MEhr3h-W#M}2X0
z!(MY$;|x{i{pK^OhB;|^H@jf9_aArYb(G}Qw$)NijzHVCdFK(XZ3+$mi2;~(z}Z(+
zqkoul!+QOr5N6j#u9QfetU!M;j3CXIC)F_D2ZkBom!rIq5y$ThPUN`5{Ji^|^i%FK
z8+zjrL$*q}j=6l!mK4DC9cvdt#c3m&7^@Yvg$lTYMN8f$&(nZ_sfnCd2|z7%t0u3)
zlr1%5GsXIWG}w7f`w{`mmUQV8a6uJ3Ak?NrCDic~E1Hdj`E@QDsy%-s>wz!@v$1QD
z=jBaIR#E3fh6Ti9><)79gk_y<%+15sk|HW(pf^qjM$sffb&IsI_O6vgZIe@DHw<S6
zNzG*rX22TQ&viVaG9P@!8s^gIS=|@OLfS9cyHw~-DPUiE=ACTB^JN5{yKp`kV<2=1
z9dOcS;v3U&ZgQK`h{Jy@wwrM7lSUhxDJJHd37FeBCtF957TL<luH|mL!=+bZ3yXSU
zKfG;AV%p&Xmp1q^p<kTd$tr|%B66uwymtFWQ9WyUdoT*Gj?DV}80TXp#jzhTGx5Z1
zw?#O2tC9^?g0kjp6vN9J0C53`O)4lhTh@I<?%%aZ0kcn>If#E6tB$JTxNd)N#j<L5
z^R8jb%1}~IoN>V2s^D(S;5|gXw5WFwEKd$X-6kdtCEEsBW)31k&1!%KPxNx@!4ew_
z*c^q-)oAJ_vjuIb+g0VT+NsPM16X=vfnrrL&jwRRDb~3bKY6SMF-xj7%UNJi^Zp!g
zvzyfThBQ54zKMUCrYV2|F|MLyc);GyBG>ABz?&R#*EA~{PZ4!(N^B{Xx;4TvDV9bE
zDNGUYuwvD^!`*cE(YpY?PS%P%j32C)+*dwS8V^uM7W)m1n}H3d#X8db#4ttl`*pm>
zFo9sL`1}Jyr6qg!t3j_~)BP|jH&3@)%fnhG4XH+^0g-<s5J7p+n0NTik)<av7ZJ6J
z@Z2DIMn~4({3q%)8@hkqjU(FNSJV*OcWoZl0wZ=U{9Wh1#wD>NSPWDC3vSb{ZJ52s
zf;u_@_DbVW&NnOqzBgvmI5U*`1M#s?{*&JrEjYXb%}U#B??9`%+y7WalEz9P(rpkJ
zYQ@^1qI-Xjb}M)3W!-z$?ku{=7Zd?o>GPx+q;ooG22pE$JtgblZk{5VVk`~q0kyVk
z!5R%3EhTozhJ#}XBh3Kf5(p{%YJr4LG!yFbYhe_WGWhuVXe)kDS=jC3#3**G(%W0a
zsPPDh92m6e{DGiRS{T-mxGSP(vPKmq{dmf?wETa;*!}3BHmi}DgV&n_RbwrGLWS%e
zyYUH_aw|{QPbeH@!6KN`XxB`u)((j)#LF8kh@iP{%=dx08K~kCS&8`P=~~6xhH9r;
z-G-oE(9D7qlSTv0rdd#emPx9%QCc!r1ld4opDIr2vCB=xvC|$;RO^YZB;bn(_A1T8
zJTrd{{bS7X#;Di{RO<s-SCjR^eOxCJ#_Ifw7V(f2C%{Sj7akFS)%*@wJLkZdCt{t(
zVzu8f2X<`W{QAaVcDC=SW;3l)G7erz?a0J>r={Cbnd)-F8W+cQRI&VX59@ZuH{a^b
zL3yj;n+s8`Stdm#FCI(HE@Oi&j;kTW!2o}*9crU`3K43VH>_*|zEFH>gP^QwpZEu9
zE{U*e?eD_b1q_nc!r9fT`9#dw)#}vF_wCUh-KaWtP|J4U{1Iz$VcxFR>f!2YxC@dF
zR~HboZC6*rHJ<X}>S~=ArQFlibj@IYZ^8ii7!s<urme}ht{Z9L>FU`m_V9E$=J0=X
zt(PDSa7a7HY)@BU<mu`xi5QNqe)}?pqpPcsQaHNWjBc59bhV+rB;n_3UAG+E&jtF-
zy!~8&)e6!5T%hRa+s_5KTDP-A0#>zL4>y-E=S-X0)%^t%UM|O6?&WH@P-RkAbGf%k
zrpZ(l>5M1ppc)@;F7C&Ey14?gM^b;Q+6w)~e7Ly~D7H>};O1+y2S&wR8%mrcxhkmo
zj~eQ(DVC$EqU~c+zM*hY+r5GsOBK~qR*zeEX8eh6&ElyatQq!UO0$%i_r_G|8`xE<
z^79wWo*{mw)~unh^kFB*4|AW<wS<Rxu!d@!3RX7yI5#7ISiqdWa|8HG1}lF8>;{P<
zp~>d!pm3r?@mvE*D6C60=dj9){&{VTD#5f-qCGRVFN#VHw=^Fc<~m>2hH)(iX43Pq
z^M*>D9Xk)LA6wo}^l8=(Q>o5%dFb>!*2OwKf7_3=K_Kb;oo;rpq|UrPHjoW09?9lS
zQ8QW2txFN}{Zp7AM1cbfIEa6vs$xIM_ji*1b5%6<R0ZQl!6!qYt3YCYJ8pj7e?fHR
zq#&$jez*hEs0|vT_Tha*nDgGD<Gy%Tjd|55%vD$h{9*9w*6leKLUK@5$n0st${Xg7
zD{C)80^;4^JHvah^V`Vk9ulG$8k>!1!W?@Kkg*;oNu`DV$LHq=PS1Y<ypBbmDkVhi
zR@=X*mYBZJQp%aPe*xmGAu83&29sxvJ3{UT`!#97ba{I}PORMf_WiCJVF2M}vm=g?
z!+f?2hVNHQ&M*pPPTr=#kS0T0!#W3KUg1D=pbJ8)FC;3p?jY7fb*`>>fboAU54w#F
zc@RhOW<iG7+i7GP@_~Q29AnK$6*jd3)CZ!d4&9>&22vMaO3JHNYw#NCe8%ub7fscR
z4AmKCeZ}8x&)n27f*wzt90X#ZC)*hRFz$jc?^zgP57B-S2)sq<O1K@$iZ=%WA7liv
zsLnrj_EcH0t_oXkA|?(7P8S1HO3-D!vPS{Or#krN5Ln#T|DJytp@?5wZ;Rvo+N1G(
zD?sL>3(zjYIAZYeD}FwB!$Gg-Mr+01&d=*cSqx6eeKGi{`v>nmJAZ(a-#>q1AKUAV
zc=mNs_OikKAU(Mux?f~f+8nrTiEt#;u~;#LHQ5AYBNR!ARcCZ@UgtKbD(Sbk!Jzx(
z*amRw!)G6x2?&4a=u?FVn_Z!q>iPgMsRxd7!<t%es|-k1aO(EX7>VHwZp~s{T0MFZ
zf0wa@{fX#@+L!ZfX5-(g5NDOv0P^{VN=AUUCFnR}$cJzNX2Evzo}=u6z*Le&=d4C_
zWiU?F!f}9$0vb4V0xyq&jCkOCBa}^WAe1c7m^i|k?hJn`u<^JG%I9MAgHzk8O5%$w
zxSn9GGVo^wYn#Q&dX7IPRXoB^J=A9PX-hLwvq_3%6Q<h5{2oRT1Js@+t*R9cZpEUV
zhCrSOX{l<vFoqcVw9YXycTv(1*<(W+lWUu}h4CQ{hx@l=8y)MIJ}mLXsXdQ#L59h)
zM2*-a31xrnclbb43mp|eK=kTXR~seWF~+CzoQPRojDV)10*FlkQB}$}TgnhPfGu0R
zj|f>?4F9dAKy6!C((M`E(xu7WvJpCcI9ut<N@VxuvA=sd0&C5JnTh|2&rZLh&DdJc
zDp(5*{9(2^hgV{cvD9Wix25ckZ@#d6BG@D3atwbKhg(Z7R|k=*sdKjx^sHgGXgJUG
zD6gvX-hQmH$>w7*%H(~tG}Dt13JbEOqjA+givB#=5sG2)_cz`AL*0oUW&e0YYd-SP
z0A~GN6=YTbg;lDQSIE%DQk)I(Ed(c5tHLLhb&PR)6%g!ROy&0IOH+AZMw!r%w{oGm
zaS?y%>SUlrYk_zr(rK|1n!-N_HaW+$nFm9}9nH-l8}Ea%t(M0WnH`{7!3uBiZHlu4
zL=1Fz5Y51Dxwr>{{g1DWQAgQkZ8@p25@Ox*Z2cD*U`gaa(}pv}ffB-bjGai;F*jRM
z37^4C5X_Br&+W`&>S-KjI`Mk9U@c=IM}U8a8DYvsPWZ@x%DO`}R9cNo_%v1T9eat5
zzrOb_s8*BBcM13#=c4v|;BJhj43+oIF4@$OkNg!Joa<OrEt~;in~Xp$BrEv(-;0xy
z-fP5=knLwxgcW!4(GXyP(`vyV1A9b{0|9A>kc?xd@?G?{$!5RyF>Vrz2?u|HzM_Aj
z`f0mfpQllQqru3=ls5)WO4}!)eiUugjj-+|sIN7uMT7?Kd`z)oL`mRZv^24X1h=(f
z2EK`4FTTO;p?C-8q-NaMyN2jg^}hKFHY`wXtPuD@w}@p`&$q@5md2Z6-O7O}NYhkW
zP0a`ZVjHt)StH061BL%63{=!%uMK}q+1lM6M5yZjcxYHnSIBTC6D+tu$ZUdllC8(o
z{}vz>sN`uE?G~3a4g>!a%qV9VwX4%-FqEo26n`&jkfb_2t!5=J;{8pY?o4K}^~n0e
zoNz?1fsi>N#C2eX@_)biStMmZ+#?2#LA9`YIOsbaoB)%8iscVr(uKQ=qXvIbQr?PC
z6LZF4!f|nm>SCgSly$`lO!9?X1o*1|yd18IG**?vf*+#^G-UxNU&HI_Eb!DOm)}&~
zbD$d<9klGA)}Wk!FLZbEM%~!NLP=+u7mk5Icj}pdqkyV(b>e(7?$FfcPoUh5(NB&K
zn9dA`vL^GWB%M^FI=v|ti~)bA#C(0w$h_}pz;?4G2&|Dsw}oJJdKJopYxvx3ZK_vn
zY{tekuPgqp@`qEk+5oZ)Vsf6?*hWNM0OSN_pEKp43&bXw)c)U&InH0Ru7kf2Na;S{
z`G_3@o}097a{q49!dE_L{2kXp??-x1B{)>rIV)b_nEm~(+7iDI`*eSGX_Tkp*cA!e
zyVVg&cxhhKKPv;Q>*CZFMYwB;?g>NnNa5sTUkf{2*p{Onr*ANl6MwF%eE&$#Uz!3h
zEsw}}5$50rOxgSe?<u0{{BXo&n5-6eVENzts5MD|djKP1e;C_0L)r6tUuj0ye&D8<
zol1&#icFbv@1U5K<PLv&s!@Z1WEcqNXy;EgoD8<@h)GMM(N9Q;%Otcx%^dH)iwzJQ
z0A(McreFqA_O+3Q;t+eI4VJIkf3H@Locqj|KpX8?f}#8-(GOM|-fRBnrq(88KqI>v
z2k?@U*Q_@^@VMIzbhFu5PmXs?b|}v?NP*z__4+|7Qjd4UPJVyuh)PZfu&a**jK{{B
zqH>`rd<G8jWbNPusW`50P{`|iN{`v4{Q2KiZya;NW|$0qUg}bT^U-gWLW@J$Z<TZU
zg<wV6d?Ko9jQ0C+-GY9kThX&Ax%TEqDOHD3i107gn_+)UK#I*^F@QF8FWmoHSW0fP
zoDNArHDuUrP9T549j9U_pq+MFmlk8bso88b@Vph9%{q=aG>M836$;HMv?ld@y&M*K
zVfn-Zx=K5nwhr_)sBKMIN0>RERsav+ux=^v0tlo8s7|P%wlMhBx87&PfN`>?0$qO4
zrK?>BE3nNG4`ilsS>FfWSu?3mg>O7wA1=NvDN?}me(Zl+ZDrN@+l;^wQ^x7km9(im
zZwv<>oXrWSKdOr(IRO@XhK#|4#un~x&L0lo`1_P8EmM1w^Y)|-BOq7-Il+`gFk~O#
zb&rmgR;$S@F;(T_c!nAz>j5QEIw!z%<Uu!9Fm;p6S%DM7SivW;K)()8LigqQvyRHp
z_7<Ywsvm!kA1<JIyHAx2?6<X|eq?a=Td8*gDTo`gT=D}h^v(sMacuz7AzIaO2XD7{
zfSl_<Sc7^n5DW*?K+N&6p$=<KtH-S=*iihf-}98Sn7K8B7oS>+w-}}W9T9$4k^93w
zG?(kpc)WVYDfYp8BqG_Hr);n@sr|hX>H>IubNqiW6%1pD$}T6^8<<c|E>$p_Tg?xj
zQf+$7ssu-QI6HG+(G~t!gK@VSF*~lL|6NMlw5ERW1ZO)2Nz~95v)jc0oBS@|Rv-tN
z)NLI{Fg+`+3}Xb-g9B}lmq0l23s4?yV}0y9--%ogJ@<z*g6(7o%(uw}06LH!7Cfqr
z^yq)^iLogUz6%&rQ?n$}cCuxRE+Jz=v`U)s-2;JnFN2mlK<$<^WVu=J{-v1%w3bE+
zb#wn<yqW*Wel;BW_4+Y4PM3Ef83Iv&)e&3D!H1xJZ9fo7v;Fp;T)!~x7(5Vm2GV1#
zj1fKn#G2`koWvI~)?0-~3?8SdRx6ltiY9+yi4G+oeAC(Ar}mh{a8j3?nRLr1U{^gm
zGll_!eE~`>jOET`VBaGbe}C^DLW$t5=m>iGJW6+l{1v}>raGakP+CX3(AlZ;!Hjg+
zNc9fHCgvl>_&35zczo~Q#2OjGmi7B@D~;Q!YMz<Ye;9F8A#m9`4T9MUir{wN(EWe&
ztSF9!!C9$7RTU7*=0#gpPp_;RTUlIV@CGMpxi(!SFN$kFQM8yL>#>U*<8dqH<PRj4
zdGsGYx+uS2uKV>_UaN}qqjn4pWqxh!YU0`?L2+k%Z93ecWuG0jza)68)*?^U6&R;z
zAgs7rQz2WV{ttm{Ou}sax5ks%FQ<P%&U3gZA|}3u>9BI!?OkKLBzy8Gy1W8wFO4Ev
zA=zSnsmmEjiS$4Fvl=xdQH1NDel&`~aG6k>Nr%i<@pWNrWiNA5W4m{31M3YFyQVS3
z9pKo(=RUpa{jK)Bj!?1QYGrN`Z>v_THEfq_Y@gK00kP$4S3EH(M&z?MP#b>*wG{l%
z3M<5qA9ZIwUVnSRBz|29Q0z)8NX=|!JWRy2#JI~bSqXA{Tjf4#_O;G!W+CUUZoTk1
zq8y-xiW0uKk7=9UU|UG5Fb_nWm_knyDaC3(DvD7phvGu51kQD;uD@OTbgIuUuZ3tK
zSyW4=#Z@hsgnGzp*tmLmoVb6XiwgTh4!IGdm?NZ?PB>^sbCe}mbc2Prr8Sp_fY+5o
zn`D5<4bCZcSy8#cLV2bP2`hB>iO9;PIuL~&!7w~48_w*3p?+Zo>SC!;TiFHH7|HT*
z%tV6wcz8J9YIfT9(Fo#BzY)26aY8WpJU0SCdmX!^b{T(Of$+EBiZFk+$Zv%1T7Uab
zu3s3og_-R{s30D|sWNzs7~i^snH7MBX@6UPPWjRRvTA2#Vw!b9sCG3H4JO9%H};^Z
zVq_ewx_78>OdxvPhqYcHU17WXqe~XPT<19WKE_TVWSfkQT82t)4}wKC!xVz477EDn
z(q4dBFh`}o0~Dp+fe3$E;!<-~Evpa2buP61<`+V%>PZsn@n^L#0-<J(09k~i$Yb_Y
z6~3tv9W6@OwkAEiyIi8!86)?(o@AOwGcx5s44y?C?RJxcT~3y_V^E#qX4!~#S9*Yd
zA&!mMy}Mhf{W8o@UoZv0@m1|zI0<gGe^A96jyPKLXg(=Ng&cp*H}SkP`5E+3(ac%w
zCMno3<6=h1B-Q(%G)qzXCEBD)B+c&73Xzn6fUm>hVYN*FvQJQtd#g!z;F9?}9`)5q
zEmBaBKVhJ#U#+qp{(h_HeNw}zpnj5HVpBgW-fMXiDkB4``1@=-@OwQ9#a-_hP&}ZV
zg>2VbAG!2$@!fxc`8HOj!)u)ykQ9)LKggwMd-P?IY~U3|@pC$m?NX!fHz?6hI`(6F
zRJbJ`P={8^1_10h;j)2ur&VQ<IW*IXKquy1K-i{3HW=pEnTa*ee!?Lc9HzVD;+5Jv
zIpbFtv~0n^n|a5do64(|2uK?xo5hTUI6gk33jGISv%r58HIhOukYPTDTyR9Z1=j-d
z_zNPWfPQlQ!W?qJ5hfS1ZU(zt$ki*9x?IS*d+Bn4^~;0zXJyBRV8~W!*ZwNCEhK|o
zYuJ*(5kVG+gw#Va;Kp2!Eu{-{`IHQ~p5-1H3(mzQ0|LL4c`g}Rww|yi82~4h{iR#a
zL6;1UIH-SlGvfCXah+@OQ+PY#kPJVU8eJ0Ps7*y-Z&W#N+R@#*lLlg1G#|C&$-;hO
zE~^Efh_V+4=HISV<uLOfq6oZoMo?%2;6nv}ssuVZsCSlCR|qXtbB6I3;KVgs8Pch<
zP?Ks&8T@8hd9_V#oMlwhQM<)SksP{9>2wC^1`(vBkralM?neG}3@9<6gdmdA%@9fr
z3_}SL5<^Hx4h<p*a(VB^``+{ES^GTae0}y>=XdrI-^LYz&H(5(>UC5d`gB0-01Nbk
zQ_7GL4@JMOI=ukMW8TwAL~N9P>gzZ~mSO7~OCfJ1XS$-6k}79>MX-wjKCabP0tCQh
zHrE}}gMVsf*o)d`=i!(98T~vkkMMp8tRWTO=+H1rH<D-XTC<_l$WNL~E$&}}D{GgG
zS+LG;E)b!oq`hC%#G9ix34F9oj(~QT`&wnA?CO9|<A<-5u_108w8l22mbGijM}2ka
zZ52LvU)KsDJVER~q!<}Zk%RjrfhSE1L2a)ec!$=-F1j~?S8;Brf0}KoHFW#JyL$Jc
z?=kHRH{C8y%Sl#|bJ_BeHmqt)KI$0W-h_@3E^U8Ef#Cco=yY-Y3L+z!Z2&G*Y-#6+
zMhP49;v@6eie2TL?fo5mnBg;otY5(A8ckI!G4l;Fb`TIUS}xTPF-I#!lWISkSZT5C
zQ~jBZwX-3I!PS2H>N?MBtocdecLH<v!H>PNE)g9Ut*g6ylHfO*g_`frB*2nDHAp0a
z;)cC-+EIEdtZmZ0jTU~(38Xf6PSX-=nR<A9CljeNe0y#c<5juRtIlt`b~5>w-o*`P
zN4Ax6^iO+`*^AE<hsB2kU=oYdcS0`gjI}&FGY-kDtTJHGA(R9@l;cURjVNt6q}0?L
zTljDyU2&*0^_sASIfpeAk<+(SB2JCJqV|)Mv<vK2;D4PPw>ndw1%xNSr0<)EM-RVj
zAE5u~lysmj<z#qHD#kX5)l_sMy6yYGCf#u^*(<Uel|6?_l&+|X3TUj<Al^?eV@wJN
z-5Hz9>c9xc=4uU8>b6jwJZ0->!2&<XSx=a*Ux5$TCLf-@tNt_{^vsCq$JV-(lU|TR
z7N?wn;P)pv^Hoq|DqvccgWRoTAFsi3%A>cWd0dp;;8ju)wOk*uu`%1pS531oa`>9z
z$0?H+e$~+=8c@evwq70h$=!!Jm~o0I3vHdF-=}5W7##bSbl(YSlzc*)k)-=8%_jJJ
z`#C}b;dolSFuUz89&`K?dOH!$<s9w1rzfIEMZ43L4D>dkhXC@s$WgnV#(OS#cKx?X
z5g_uxt*mk$hW(rs-t=g3lB#QNc4AqRg$-N1AE6TFG4}raLG#tic`lRCZMlHl<8H)>
zd!XljlxQ8V;48|a{-F%{;PB5?nYj<FlU(qasjIHIe%7WwcF3QvHRVz_AF(u9KZi_P
z<s$&g0r%uHegNqCP1tph>(KKgV=b_%l7<MScYm+vcf^f)(t`=X<!nn2ThC*5-$bp6
ztk2bzs30+2TXfDK>7!l>bA{H!{m77qYlj$IkI-~kQ1)YW&aav=hE}+-*kwMFaE7?k
zj5!{;zmSk8M*5us8U$|olSms%&`L9v>GlKNcj?`~`GJ7Ii!vv~lJo5i^nP|ibiLuC
zrW)hTA$|+fJI$Px?9`01rO@>D9UL+@bnZURTsv1@zJkcK8WTu3ITx`XiC3dQxNcd0
zap{l2rAvl>-{&i^E%jwq(vnzc#ot})`{9S_tvc)2uZJSo$eKKeIH%t~ZN*nyt9MUu
zM>sDA0zJ}>={fs76=TXre8WP^tw>bcem$g-4M*x+1-_rQuR7Dprfg*YD8E}D#D^dS
zQ}`r<*_0hyluk7a!RmoFD36o^5C*qNV)@xP?ZXRu_o-e=j6V)8l?dt714<`Zho!}Z
zGJMLZErTz?jV_N0WnL)iAy{#=x;lSFLbcZc@sX%gonA9@@;~Bi%7T(x$K6ur65y#Q
zxdJ>+orG($b5SW1nk+zqH-{qjFI48fPtLESt7Sd2!(EMeSx+g4(>RaL)&A_-q^9hd
zE&(#4ELqVgT;cIdGNRF}O*=*k^PtGqUp-&d>7KkpE+>1+xTjcB1lM2->si~#-0ez$
z1hbV7MwvVHP$@P^^)mb*qY8}wPm6J%Y>MjimrEK&eVc;42UEA4X*vlhd6Kjy!n<`v
zt_~OeV^t)?Q0W&&2y(&T*YJP^%H$M{4Wac0TT)vu6#)LE3#5Z?FCqJ3FN04vO0NX>
z0PN;?xIi<3!<y$|+^C%~lZ;|7r$s<<=w=R^(sMBO79+T%?A=yK&hnD6w^~+g-Zq9y
z8VSO*2kJw*q#p8SA9Bz~L2I9+{<gVM&2*5M5wr3!w@_Q_9U7h&&rS1wI+g_z>%Ecg
zw`<xq4o*H|9jo6L7(Kt4P5S58I|3Tm-0J>MR7~FO-|^eya~m7bt<ml64X_njxIlNT
zfUQ)j>nSv6s{E`IqG;3@n1^8QmHk3+<`IBdqtZUr)bwDVEVh8Y`bw<ee?#ydG(<LL
z1(f-mc{(prN!DIOG5w~R60W3+zwlwY{+(_UwE&+Hig;e23j?S&l&(kaVq}VbKICEE
z=T0)PYI*XB4AsYaM+bLB1D~%Aw;uKHTw#apl_<@N)W9U9`nTWYC%)!_v^15pHFn1w
z3|7m%lft#$_FS^q-r=%dv9)Z0j&lY^`GM;SIl{)S7E=bXMROq{@ip$r7U2Oc=SK?H
z5fBEp-}13|d6FznaGZ)W4t6`*QE*4a9-4!?G*y{%R?|a>{JX~?5E&-&&J)=-7xped
zw?j^VCohzogU3{<rx3<9x4@|6)Hzj+C%(MJr;2CIrl;b|JtfeYneTdvY{1wEDKJ13
zkhZ8N`BAz?*GPxsTs%m1MR>Z6lf2U)#a>9{;(LMbqgIukx)b_dIzcytyXr@O)f^lx
zWTIR8I_w%tL`UrbS^`L^R!#$Yx0*MS7rxu3U7dv0Pd9UwYd%cC<|jK}ISDF#9a-CY
za)FLs0=3khbyEa3k83?p5hEB75;lBUniph7u4DGNOK_P<zjXl-HKB_hP)T6wkEbfi
z{V*Z1_n|Kr5w1yTLA>7PaHCwWn!ERwx24*y0u9rVK@R~gJo|@B;UzH!C*QNAwEzN?
zT(ynYPDh3`R(jWhbFvY>$Qx%KbV@N(bi%w^|F8S$E_hjKZ`qWi^PuMS=a#g?T@Yzy
z3H|*I=jT(x8KR$``}IKzQ(|9Qv26`a<@*oNa&(s!zR42q1;|E*sMr3g2`k1jk+Dhc
zKQ)yCd$0lF;oG?niIfrR`poshP^ZtZkK{wg9H+?4bgb{5FuIrFzIES#$RA$a3QKaB
zrzA1WKv@cprzh*T_Ap-1OYYC(tC+k~W5)tV^oag@xnC;rq*9R~R?BLo;ey5>L!*LA
zDYATjqP3ze=0isb!r)SKsvT1*5Xy;hZcsV9)EL+=`d8xDGK~6lo-EWORhLuNdRrSS
z9r-i3&B5S&HX(?5l|C90T?HhQZ}*X^INe%W8WL!4!*bu9>T_UdkGO5=AmK}>!u6KM
zZLpWuQ5rFd)FDBp&(j4*t)c2~tM~K9T;vCN!-Jif!=luOi3lxHIWhs$@){Tz=^1d`
z0$2-oM!I~1%9)hA1wMX!Q-7&=+|95zSj%kMH8!ko^eqUBoW#<9l&o-s0iJdTdv?`>
zOT|(AT6Utl^>b+cfEXV6;wJMlyqh8hhA%7_tuF{+)VimExL>veC8xS#H9OzzQ$<&`
zAd=y)TqGSV@SG8P^Q^G@AFEe|JDQ1{fi^VQmNfPO4@MZ}o#@;6%kkfYE^N>f9x(}9
zSXmd{`g8yuw|~9T&@;!K+VT=X7+&C^@G6dDG5zyw#2UMgj=9h6L96S@!5V{Z0WKPU
zvL=UQm}K?+1NIs@ldK-r#U7Cx8%A_<DNeWzk(NXr*tBJ<g-%VXCO4HQqM-RH!1A$v
zZ)WrA4#qn13GKpf(l`-^^L2wUmE1d+oQL)AxJ*cWBA?<nW{U}BmNR?o&qF!sP9xfI
zug!>~+>|n!?Z<E;GA8*ExL+WOFrvW0$4UvVpA|ly#g1I{G$V0P2&Nc6e8%G9f3AiP
z1nPKVQSi!;LhRwpnFv!)o@4@mJIX8PhhYZh0=HTxJ}wAmq5IqB?aTS~xWfzFWyG%n
zLlx^)Q4L$^#d5ptTc;jW7GV!7E;OVSJ~mH1+;|dVh<H`}56?^~eaa7ca3($)7>c)g
ztw+m*JF=7H^XwEpbqbAM7YZ-PHeVT{@-jevDe(>QOzD)DLJdFPvbzHE+U4hqU0B)m
z^qb4~PYA+iy?uNcM+;X(^(NX_UmB!X{f@ILh@9Fv?l<ma^1)7&P>W%Hxg@@5lUM0-
z=r!t)$A^mQiKY*P?VJ$Ubr71I&Ge3874>?ibaamxOu01^#%b1Hjt2gfhkTds6UGrZ
zc^l2VA6TD+xgdVe_g5bf_`M-IPGll&LHd3RZtbAsrZcIV(mw8IFK=mQADa1g3y&=z
z$6C-BBh5myC=^ybpI-p-Dwe;Sv2tq9^;&O->0gvg!NZ2EljZr^=g4tn6fQjd%ePQ%
zQ#5t26&rcl$byob>-BRBvxq6$P$2;+;RTD&gBBF^IJ2FY74?8{?!0CwKAuxye$#DX
zs!x4}a3T{c+3NKcw})*X8$-A6==to68^0QZ>f4(jYrCC>>5w2CnLbv#p%2(itexTB
z4#fybu+3Wm`d1KVGat!=uKFTF{R0xA$KikGR`Kd)e;ZulZ}zKte;`&k@wxQwBi%&O
zt-<DFS@!K)$%uhl?w)d@>P6(5>-<9$%es)U_qhK*x^>aoJrj1fEB2Rl(LzN5O2$8>
zH&m008G^6Vf5EdHn-inbG~T_x7bCFkKh16Y3GLBl)X@b>VdPoS-%#)4?U%}=|EG`c
zmVk-!iTFQw>#L}O^R3t;x}GmQZR1n>sq^>`aJGl!o-!lwWwvp)$DhP&aA8s?DU&OQ
zM77tm$Bgb32R4D#_PuI1m2UgTzl3izCc0Ek=nh_TsF|wpq!<_w(%JP0!zQN|o9K)b
z<SltB^ebtllyw@!#>nfdEh`)eD|KoTHcbr;_DXM_wPweNBQlJeUEMrcXe=p$*qp&{
z_tfGFP#<3dCAXCJ#l@TPUXN+MNl2woNIB{9LjPPhjtGw)rn%s>7wh<8`ep8p)9r&^
zn)G-ptx-qKKWX7$GdRqMzf^5p;+2Mc5rc@})X6bNwuBEc8{#5`UMlyV5UR>+(ixIu
zrpggr^TvO>SWhyq>|R}aR$4vyLiGqE-B^2e2?hcBF8|`c|2VbTCLg}HxWYf_{hQza
zJ&;Nr7dlV5z-OovHfKbKdevY<HGSfh_+gg)X&OfT(q5%`?xe&Zu}RTZKv2%V+5?h+
zZdec|sh1*HSs%LBs*xt8I6PP<|9F3nyCu9NuI6yoz0urB71~?I<fLj~UW3%(pIK08
z&(Q}e4@S`h{OG(JaEdk)$H6{c3n!cTjB>UtXMQp52pgE?Q>JTo+M7H7Om*j<WBYW@
z@{QkkNei>!BJEfw-DB}`Gtr;A#OnfiO=1|a?yRPLsJ5&-15J(7WD;pfT=;RXRE#F_
z_)Mea$qRgW1g^4S(gc_W7LWnc*mk%t1mJSsYa5F-G(MIsv0<vD`Q;S-pfv}FWSNU{
zg$3$_rx`x$!HWY$zRS{=pP8*DsJ*6<nHkuv^%BBe|5k7U6Y!JTPkEuQ-b=gHCXwGN
z9^?k|UQ1@_`VpE<Oz48P=Uc^NAAerSYc&kzW!yx+nHxvz;0V`fIH~rU5Xz~|0D<37
zYQAa>2X>g}J=X{AkjT>FJ4VnS`AhFjOlO4x=K0Tv&LE5P<y22T_Y@5ApA@mVKK-9s
zSOS<Gx%uMrIqx@*_ZWx556YcA<#6x27<uyjWYKApl#Aj!IvB(%ZQGwT(v5sE)N!P$
znYmwugKu_OnqNCUnM-}7g^0J01FYp>sC!{`;sJEF?v5@hk-sRae^AwmYdcGfBEXt&
zNlZTxt+kHQ1@~*S1j@8oW`)~s3rQ)7DH@H{jV>(*zZg2m0dF;kum70%1Nn}u`l3ly
z-C8;&lmt--gc^uqCJ&AVrB53+Jk#(jgZT5iCP$oq4!kau`GY?{EJ?7o3OvU_X9pPU
zk$+LLM0-w$&hsU>)FJQjn7g^-d3XrhYZ0D99#K;?x<@vH-MLOPV}loZ>2pm5{w-&2
zr)XPB)6^s^C#?s%xWo^@C{s6fmrru_XH(Asev#!tcB)NGP<pW7I8N8ztbPXS0Uu)a
z5~(aOB>Zrk=bOfTH@z`?z${zNFO3|3fiX%`=CopDfQ;Z-s6g4uGq+Mcq^+W|DK-S)
zWY#A4&@nL*1NcfGfl?JMI%c5LiNagNYq?wzZ}Baz>E9A*&9<xiKAD-J+b-C%3c_ew
zmNK>GNuglRj_A>L59&o{lN*by#j`@cE96!Fvns91X+gTRE!p(|J!x!#LWX!`qu-PT
z&}WR%0<H7`SDVSn)<XDBIVSX`S{)`P9gdGxopyu+I@3+FOy4#bE<h#0F<}OqbxVn%
zG>?;?GG*EsOw97XewBvSWK<GYQk!YSIQp%u6<JF<Zp3|W`8kE8Sc%DESxJ@m0YwMS
zi$CTaZM=le+8!$c*xWs}{ZD$@ZMXeqzRlH*E+cfN=Kbygb4>d3!M(!JtCR77Jd{3J
zKDb<0vfQySHa8`5IpK{<qWy<c4MEoBDUl{__eOmD0hO9<B(3Uon__uGtZ`X{nZx~*
zF%Qo%DDD;*O_|u-nHg%Q)flHDSza21^_uhOW*iVVePs_U7BV^XvEDQP(yR07Pdtk@
zgrup=F4Hq@K&_ASG$&U<U6u8bx7Gl|)eF%C3Hn%3l?6WmGxPqFz+@QDZ3v-iRspUU
z^_wG%Vf?Pg%YDPILL&+@&J3Ycsytaz8$!@m&>2_{uKG`MrG{a0_oYM|W50XH9dj*|
zzeWyRKdVUsl(2oY_h*DPSFvR!wWyXFycX2&2iN>u7Wx%_Y|1!H6l{qj4t|Ap_=tXY
zsX{|;e>5HU>7ELrV@q>pvpEwsW)vTS@a5kvoL;(cq?&Bq-bR+2a%`$TGvLFo825qV
z{E98uc+tbWR!tGJ4i>4jC<PCO1Ga_hIDt)xbq;_hV&2IxLHe6J!uVMg^o1?A$3?#t
zyZt7z4^BJJJ&^8oPb-N{&u<J5`5|7I58ow6NAJFVD8ZlGFeQU(`|sAe=WwCe6)>Wh
zS;UrhQi5Yih_J8es(}syml?f2&&g{a`6hw(dqk3<l7xGVrS@-4d_=En`o>otr|ODa
zYZ35?^Ve<9UK^7b33RTSe<+s6aK+ofNr-)SgYp-o3$NhOLB9OO*eF0#iTLJ-;C|A!
z2%$+=4fS<QN;_SXdgWK5WnENm?T=i*4ICuaW;{_gQ|z&$k_LBVkikv)>ZN#KWA1!9
zaa6KgDv>wTg5$|iGqQ5i7&vX^f@L_(3?O1fXkI_)kRN;C`lUP!BZ$TA&Xn_irm+w@
z%Nx4~-LScoDe&I21y7K+xzMxC5~^Vb-<2!X#gzA5p2rNp_9#wgLrMHzcbJP5RDXqt
zdhHo`Z0Uf`2n35%j+<7p(X*(nPM!uaXxLZ&il-y=OLPzZh$(^*qJHXqk_G9H9($$U
z4<Wi4{d0ryPj66g!>^x~{kPJ6yC;OusM>0u?l^F{z5WY?+?+m|1v>r#MwfkNa4j2l
ze2BD6lbcN@E|Co6E=m>xf!~9=35!XJi*thivp79DN&dG0gT*8v|D{1BA@F=CpCkCc
ucEn}G{*NYhcmMyRiA(=ipA=Z;zcd*cF}Q%8HtA!qxC99g&r>~hlK%m6<L1Et

delta 24221
zcmV(~K+nIowgLad0gzP+Y-p@!WN2<`WT}x}7zE&F3HgzF9sxO#nX48tF*Y(TGch<g
zG&mqLF*7bQF*h|bIg?lc_y{pEHZveIF*K7`0wjNZyN)G2lAfPWQT7_8Oy23r5g<Uu
zN~Rz~I8x6Kq1xDyq1RV_mmu?0^)42J!AuXM@??_1VB914FUR$P|NQ-LAOGQho*#ev
zzsLD;eq2|}ANeXDfB)YfzmD^B);4a)`8oLC`{6$GXFKc1RX(p#K1TgK^Zc0eGhLOx
z`lo-R)cje-__rQOseSg6o{yCL{>b@n{T_2YKmO}~`p6&u?;iZ;dolm#`0xMYp5*!Q
zzmDtt_%9#-axacc;{U#WA0>HK*JthJ<M+qN?K7WqLB2lz+s8lq)%QwgnV)&yIO_eg
z&T;=>mi#%-wjf^{GSla{Uj@kZ+1l8UV}pP8&+ac@v;GlMZ^SgdC_Zn<@$uI&Z`97b
z-+s@jUZ1@`Ct$!hKd&T!f3qNX&%NYX?w8;D(3;;9ka80M#%)fHud8$H*^FL4UN<1&
zbq7H$X97x@9M>yxJo>f9FU};*{CMJ~r7Oo94gy9_Z(k{&XT2WNxQU`YX1Rt~#>;<z
zgP4uy_4|JR;PHX}*-G`CG>3kFaz5tRKj&=6V;KZ^<yxp9#>C?lM%DfXae3@n1g`tS
z?Q=I?+@X1Yq^@1V4$aSc-cODD>0Gh1?ffjc@R@@5w);CE@jgGtO-!@hYiY!W0QXdy
zPSbv*eWshb@Cuv(jK}Ew$h=>TUvz(+k{gm!IS3e4GXpMX8=p0a;!5rO$$eH&LC$eM
z(eHoH$Gq<G%x}}``Lkcw<B58&y6U5?YuxXB8|5>LmI5NeKY)(=B_|NH&q6@%p8-Kn
zNG1|zPoI5as`qc|<Tww^?FN9t@TD6SO$fL#%yH_O<9?$Et4Xu3vDRN^3dny!6pf^<
zoA=?wm_&w;+^-atdrO4iuws1kQOy%5#4fac2m{_qf}YF0H}@LjPmudp^=+I!TLpEu
z@|i~6i)rAJZ)>^k12i8GU{4$0fFX#or9%^~T#7(%EU9zOe}FuB(*1^h-b=nE45YzL
z@j%xo3o=2ZL)`YB<m@;QSnhvKBvoWI?gMd8X5L$p?jPVp;wX+m^4jB@%0)#RP*Ng+
z1mwn4!`|KR<mtXq$VuE|3c!21K+KEt-~maW=Y4uH)K*^HWX!sy>)>Mhy|*tejIs#J
z@ApqY2dQoHzu(P+y$=Ya;79?vr*+Rbx2#hKf*Jj$N>O3GmyVy@6X$<Q?!CU}hjA;S
zg?nW&KDc-g#q04%|I|L=1atSFfJua6_j%+oiCb3HbZ}u8UNBFdUoCaiL<sPTrBd=w
zogyrC>>++ou*t{ciTas<jC)LOd5^&*`NmV<XgYy61m_N8?!Y}h`#6Xkh>0P})Itj>
z>m=v>;v=8{&{j(N%1D3XL3^amV*y?!Sux<7@pg*QdwJEzrEzDkee$QqNe91W@=8!g
z?m9sH?)gb(O2IaLK0u9N!dfeLNPw>=;JW3-VaPQ$#bSTc#V=gkf?NEGUPZs4Ezfxl
zZos{!V=v)-kzDw^c|OF*kd(R?z92)4^d4v8{KoXHA<fw(M(=+y_{WQo0`3Un>h=Ec
zY`30NI4<Clvx<>`v<tUw-h8~798dfrQ-1;l_jDt1-n%y;nsGWNN&1FJe6^bv?%^c`
z;9heZ99E66=`R9qHB)@HgZgg3*(7;Dg?pTNs$LJsjZb|+{IuP;KKT7EPB%s1_oP$R
z;ZL=2QMbt1hyQ<GHh!?r{*9;`ZO7w@f#aq(fa5?nF5);q%j@Gh&zo?{CAM8P_MS@<
zS%6Go{^Co^wE$mFK)RQQ;Z?=>d*!6eJ?;gjn5Jb1Px`%`l@wq)^12ooVc`&{h8)5~
z5v7fy?HyCn3WO`%iQy!PZ{Six2nr1?jPeX*XB`DDB9nhxQX$}GWpO9$wz%d!2jCQt
z38Z7%=VclxiOV{5BEdnt?%oLLIKelfPU=VZgE+(Yn8Zn<tU}c!c>)534dX#^2sT@^
zJFs>Dph~6vDp}_z#}0OCSwkA^222W`*8>F32m!+vS25F^MLL<=c+=@=3=AqufIuE&
zeZ)v`!dZXCv4al+WnjdH9K`CfidyEF+T1;c2J2H<q^f~y;m|;(y8me&-dc%d!0BI{
zqzSA9!XD$6#DQ*2<}n`pw!R_Nju2{ym{67=pvkf(26SH>lLO&p<qC3uV(LRqn#~X4
z6v$ZO3rwtBj|aMC(=ELqh3|16lb`70)(V91WKe%8b+giWetc)NV7~Vz-VDCWMgimg
z{jotyp}IjgCoX@4T-dKep!gkO@1RMu^$D8NR|u$GyK#%VLy%b4xSEKs8*lu@t?_~3
z01wbg02r+=z)SPHCH(PxXiz~Wpj0nmO6NQ4`jtSTT@sX&sruG=^|ju&a!G)+iXdYy
z;Yok!H=vTs@Fdhj0R9DJ+lqcvsP|$*#0UWS6ivZy-vHzDbv$7Yv`a(yBj~Y(@xxQr
z_Y-Dv_#%y5^G4x(cnSzQyAB<7l=B*tNn8#&$Th@=?!{ogIn}GnBE+u}#^71yfu*a;
zgm_@`y4h{6&u3tEc|#g^_PX_~Q%8Od$*h0tqN<>y(*>a2h%?{k10W7}#IFSFS_}X*
z3vT90T>zg7KuVrqwrm0yABUz)i>yjl!ZInXG=3R5buQ4?6I94YzK$m>%RB=B%!Y!K
zN8tusV+&5AxF_lELqFk89ukek(~*$5%$bPya;E1qw-Bp7-?<53>6jpZyl}~gdmn$U
zE`a<DnPTlZmiK}Pl}Hrm_<Dy?I&$-DS#nkYOskE-5H1+kS|>K*AS5W9Q|J7eRGV04
z(IJH8A@tQZeTlfq;AdN95=vWpJ~Zf*p~{qW7`nY;a_d}Yx|!Mi8*0AL1_;sgk~Zi}
zH?dhg4^3-<?k|->vM}h7_!@$6`=)=90zmQ6Yo@OUNPLXP_|{WT2^eT!zqQ;nt_31s
zCK*KFgIK%RmPF!<h#q2~kaXQtNn0AzPEWF()K1?BzEQ+}>D6?vJwe58DS^0!BGoRt
zVFSiK>I5B&DT?k+*=*!n0MN|@5i?Sd0(E&TlwAD=&{!8Lj*lPslDtf}_-cPoUm8I*
zN$$y+c7wv@B5&Fa7&<Fqb6;mZ#p)h}mXnO9MQAzuWXPjN0JWiTsqsYx0_wv~H33H7
zPPH3w%bxP|s@<SQD<#}&H=u*gj_1d_c-~`z<)mu09w}0}!nGy<j|P2fViN&-$kh8i
zP!RtFTJE(6i2gM$b@Kd&hmC&#@vZQ%-5^m$xY!7ggG^p0E-Z`k!ZSsD)GIw7syu?>
zW+Nb9{#4T`yAe&jD?Dw4NZ*mGO`9`x$aCznL65~}2(W(q0rnB@wg({jaO7(Ve$6?}
z&ovb8Z?Zf4cs_C;I{t<(H_`5p30kcK1;}$Di%y03ea<gH54YR>=4OB2YNJJq)3HF-
zK5u*G)B2z6lUl5ehu(|#WSvTQ=WveBniQG{C7@p7y$?m9OmW)vOc~hI!%7P2wM((L
zg7tcWI#m(UUA3b49dx{@Pxmi*w%<WIXqyuhxDg+WpiFs7_aVYkQhz&VH9gICp(EHy
zo5oqT2)`_jYqjJL-C%!VzR11z+#L!;?pU!CTRy<w9}iHmfI(bi+Q2_OAA2crHnd}Q
z_9hwbSXC=e;;g4BZ6CTD7pXrUDZ{23s1xUW?GF4#@B0P+Tb_Yp$|1-ou_e7%1a;`!
z^s_D!+w(I>3urbvgsrTz141oUV2KIo-?XVWuDZC+cYOXUNJf7^bkuV)7W($@-~aZp
zB9cGij`wlS;OHyv7=T+Y+yrxT7RWycpPMNbtEwKpK8kG;0gjIwO?0CrY3em8_Hwh8
zN;gimgFnk|t&MNLxhHtAN16!;FaYAnH^w=!N=HphMWa_tRKvBXscC&%Bry16-T(2Q
zKK^+}o&R-&;TM1XnvY*Dh){MDt2}PT66QoTU}5d5II&<O@d!d;P%w?RtJPZ_EDyw8
z2xIkyxT{;;6zYx*SWDcHxxT?!3Po#Hfk03DSP!gq`uE?~O)~s}3u5sfBSg@~S)Y^`
z5aBhoOMy)zEg_DFL%Q&q5I&<=k4L)Q9mZ?A*<U`d2VQ>@gz*Eh32Xr$3B)eITK0xa
zf5ZaNv=`F~#CqNfv3sHZ{kMgaI)5PJ-%Fmkjc<tr3*r;q&FGDz4B-#2(n4caxM`y?
zgJ0ns8;u!e!FZDAt%%5DW;Ev6^pQa00<1-D$Xp*`SW;M8(^>~y^ImA&3-#~6EgWe4
ziHv`oJ_~;=#s1uq1rcKJ57BO1%o48H`aJgqj#Na0160o}jVJi!$uPi!U!H@SP4LT0
zk;8@71z3yTkhwlF`l8M?sX(h|z0kUsso#HJHqiPL75`r9tT&xd$y&c$5FxRhm*lE3
zbgO(a(-smNjI;ST<n1;v$GH!AyKU!EpIB_k9wdLGu_Z-E78(~|EpkJqKhiZ#VQEb(
z(CB$DH136Z8@??ZX#9zce=i#Q=}74M<$?%}9sZ)ZWl+B{Fwz5yJ<&zFvDk0p5&2Ak
z#eUlcv{n`tJ8Zs%!+x7L{6gSx0oDpPWUfzejzUq)DNyJ+FBI-Y`sd#k4HW)F#6Nz(
z$31@^x&?O%RzQT*0iB_50fY=KnokR><2D{|BV%KAluWU0qz>py`GM2hN|F20SRK{A
z#K7tTtVM6g^e61i6xP<H0<E6)LhD|pfB$XSK<iIb2(2sm>|SS=pN9E4zaNlJZx3?D
zx|F{k5Uayq9|scDkUkQCS*jvV0?eYA9io3h<sJ?CWDx>q{0KQ{3@~O);@}t|m0747
zu3@9n{n~)8T#+I{eKTeF2>E)XD%@MBz{mY{V)8u6Uobhj*|ca(o)H|68F@Au=A^G!
zNqJbI##$jf5C&j48C0Q%c9urB*MYc-QUNfD#5v<AO`C%Z>OF?H6?Vqs1XPBx{cC@q
zM&Ta6-+`pp{(fdqkh23u6TOejAG|dk3@^~qUY{UJ)*A{|cKT$H38s`30CHzC4MWvk
z5hmu=TrosKPDKLKu^*_kY_LoBCy*jnn3_N;dM&_%u4<CIN|56L0*6(;B7T*>12C<|
z+?y|c7Yq<#{f-Bb@^~E|4zOb0oQHpgF9PN@_TNoD#$aHj(z$q}?#5J0Hg+}h-%M9R
zqQzq^hU|IzM+<=Wob)CjSzu(p#(<hH4&f<=9qODY?%7EadJ&-H!IQD_TR(+qY=10<
z-28CQVg}DYE4#@*b-@1d?j)?lw=*@zHM2Fu%wHRj`1rAYF2m99C%LtFec^wfnXclQ
zWlHxoaSnNcV`cGx{N?M{=c45nc&Va(ef*S%#*_Pob{_XG_vdvMM)-d-gAX|$d;gFu
zO8Qs;$0i<oJ`o~6-audzPbyG6@JR*8lYu6;sR`ktq&F)yrrLdrA1hOdA-@)xH3+~A
zeV0Txve-T%oyrChb#ka|Ao_n9{dZVX^qF?K^^klfub3<%Ww0T62H(ugoOGP^tU66=
zT;xA8fSy@6gqZNg2O@pVUjLIaLFsLZO35L^6sE!8tQLnwT@3jU@S%(%8qtP)Er>H!
z9sng`O{QBg-Hv<DEU-)_R{Y9BA#-yRW_rLxyvSRSIW&TxI8@eIugrhE^aB_1g<sc5
zBt&8=ZK~JGa|^-MEyo7slZRMo5HfOmnTtli*ApPl+!1M?5XZzQq6YXlG0JV^L294=
zS}vq$xOSNHg~L?2CQS}1%ryIqOiZ%HgNtVd#NwNXMqYjK%^@Wi1|+hR2lH1T&@ScM
zH8O+))?#5E94FJMoN|BIXNb?&0`Ne#%b9b6G(K|x5PAtLA&iGlN#s9nh>jyp+a-S~
zqVPRCmyUr`LnbriI>#py)v{E(QyKDFd6|p@Rh<U9Lx*O|EXg3u!mO+(sa_PKUwmy<
zNE495S&xiG`5|VWDjrA<vBzZ{%MIz+dyo(ak~4E=pLCx}2JC-KKrs&{P2-p$scWtN
z4L^t2BWR{&pML5F$Un(_L6C345D0dsIuDNlcqxL;_i0m8OP5mjn96a_U0E_iNm3^Y
z2|k=wG|vV35=0Xzc9jF7w4_RcQc7CYOd_XeIvD_oe;hJD0nClrTm!x&aZf4Em_0+A
zAe>gYT19HbFBgA0f}h@M*|iv~@&g%O#v7rgO-VG&z<dUBH)-17a&tNp>&(uEI-MX0
zS~#<RqDROvzaD^7TxU8ze>!XNbe8YuS-LWSt~hk3XC?Vb_JH^ekNY?yr43kvq@p5R
z=-yuJ01wvmU<b%R>UpsPY<K05>e^J9$!yF)^5$l^ftY{KcX@9MnPF*r^RannWDfF+
z0(>n3;y=h$#wWX&<E4}+_+GJ>(-X{MzU0B6V5r{r*3P`w!{OmgrE28AXO|2pxfQkw
z51eDo)2=j3hUj8~KN2%<)|1v4n}_`0*Bb<(*sljfwIT6J$<%SIkCJH4?oA5b#I3}f
zts3Z9z8`;F=XG^C(@rjsv3^rdXeG>;=q)`V&@JG{J10fw;e;*vkC22hDVi(u3@#+%
z6bkdKBW%D+Ao>R{<#gypUh1Xj?HlN#*#FWm!R#(&e>*3M(G!83^2B(!^n$`vh3oVg
z;sjX{fEAxj07aOlF-0g@gkoo>5}zSe#?F_j{SALNg$mk3t5XQJo8#ZJ2AUVh`F{xX
zGo=C>N^Woiq_{PCBCw(~os`xc=}(Tni~T6?V2>H6b=-74K_{4593!hKdD(4+tW#3>
zY)MNdro5Xq0Xja$+#p#tKOs(1{PGN_dq}Uu1V>-oL~BS7?Lw<;!ElU*PKwkDfU5FP
z#)N;(OooCZx6pkbK_+26cSLEsOxl=A5W~S7%Gn6WDcVA$oVLs`g}@P0I96o_=X#%d
zewyJQEQci0EYecddNuYImA5C5GE8R0FwjEbpn~+;5GoaE1XdmNb=*HWO9toN-<=d~
zEt0@eq^rdfq1ab0Qmf0NNvUo|fEZC087+StW$H-Z(J0iGi@9#67%fnHLs-?bcnPvL
zo`i~ojB6P#&c3*@emowjPF?Ark$j<4y0+4Oa#3Xhlo2NRWaVXJO{ddEin6E4j9UDP
zzLR~dvoiU9LijTnC2z256A1Y-&rQgK=ICP+ihcX>L~+p@bxfkMTnfORDn)p0&|`l#
z^cc>ckf#NzZFuwOac`Q5X_37lI4#);5p>E$zGE2-`C1-2Mt^}EW|gZSv2-e(ab)X7
zW#VzDUG})2(DG=6aQRjF;*FDdZODVU)J_`z35gX_qSR{jdLyD%^ZdsB_|o^4dE(Ro
zOpxJZYjRveA8!=tRW5=A8ZO~i`L2J)6nD4QNKH_QBu*92``Um=2YT#CTPfIOM7HS?
zA`6t69K2E*&Z6{gjGd)mXX3#*%fI1xG&4(V<Z!w4vn`tSRxz_<JyBelv}n{@^Q6((
zzri&a!}J7q%cyF#l6>#*m&<sv#(ISzE7s`APe*QIf#AQ+*dq#PILlsGI68m5HQ(?k
z<hE1wE&B`@GG}nnQv}?d?b4L7i8CNwrX@*3N+oW2R!vC|c&n--*hio>>9y;LVRvby
zxVPczP2?8nCsVfCKIh$a0zV+4<V$B@!KN|Soh*2rmc#d(Id3F0>r+Dq;Y!NSJyHHi
z)^sHch*p=b1^|Cm$cy(Qj#Ym`ixi*B9Nb6i2)wZ(0*WJ*f5g_SbUU9>=fpyHOMU<7
z;&O`I!~7D%pjV_pwxYvlC6UvGizfiy0w$$ytr2ywr@khdYx2_r5P7Q2sjTO;@Itxm
zkQvAtJ_E#k`@*N5q3!u4$a#ef)MUouIHs5f2YPLy+K(h9D1qZ}Ut51<5;rDWzBcKS
z3*6H8N$y!CKHuoyXCet(4~DZq*@?jLWT#?|b7_9%dS^H{h}*Xq&b=?=T0)S^lz>|d
zhpy4_cmkH7SVVB5KxSFVss@4KxQGNlyLe{B@$g!mSu-4bdDbVx!Q9H`H}{YgRl#qt
zJlJrX-w*@i!EhFig5iIB!=sQ3Zw+-<?jvx^TK*+n?s20DD?Oc7M^y=zOJnfy4*kzA
z9typTR8#Jc$Z!EJdZS+Nph%4~=%DwMf4g5SgIiNs@frm_2$|&Mj4xwqO%^jZzc-~+
z(vTMMcYF1!vTV;j-t_}`BvW}ZN0%>dy8uN6wQR!yPT)4evfzJDimU$})Eg4%Z~=2w
z8q1TC&l<mx*jL`{msTUa_#MQ|T~ktrql8+T>qD`?Q;DlC9VMuja6b(#I^2tFw1HK#
z34s7dth@C7cnF^4Btww(LjXv{ue5Gn!j1Hd8rB_sw9<3g=Hnb@k0-P0ymS_dLW*Cq
z%}_#ORSACTgCBomI@lu1H^N=S%*~TN_**N5j5kE6xa2aqJO=;9PF0ySpcxBp#Us#v
zqjB%LhxYiF)MCxD;RO162PNda1?-%QmQgcLAGH$uPZq{=B4=N8SL7SwmcwnDkH=Ep
z7Apim0UeBCU0tU+AX_TKrSoo61f+2rS;`YXGiXD?t^0olio>*%q!}bS2+7jJ9RVPy
zn(OM&!YSBAS3(7Rf)-FJ{XPg=BpVM+lc!kXR8l?PYr<NfP`LFX=AN9xr39?Fd=Qqx
zj}PVgUZxn8AGpUi0ZXJRJcML%2di+vUjm&ru$1LX$3GEaKdr|_p2F7xJ#p@CF+U-D
z^ZX+Njtzei4SfBPE`A+F?jaWVT}XY8;s^u27636EFrVx?LIlNnT>$lVnan^yOdnf{
zE;no|6kl0@zkYuB*Kt8ta4R3dE~H<(vQe|ykPEv2Ky&p?aVMeUs*cADcWOcyU0L2t
z;;KGtWKtx?I#${@H}D=0GI<<6P>uj9o~r%@0TF+nyvNjBx|P&>Ohda5)v>)e3)bLt
z`#5WpL$r7KCy*^$#v0=n(p}dB*-c}*>_-@ckgD#_fgjj)=I9#6EcPao+(X1!hJ1+C
z%@)om8Ze+wamIRjw-pV$XmhF?k@^$yo3pD6603aBfC!wvSM`%v>#FuI6BD^So*3@h
zgC~Cv<u0G<yre?;3t{u@PE<f^Q!)V2jVIT5I!V9~7Z9R+pvv7%qTsk|C8Neq-~nKz
zvpDXJj75-y96CimsPxy7LP3NMkRfssv_CKfL%x`_tG+6kidgDS{0CXy_(`2n<>)8C
zG~n)XNLIvN_c(pJp8)vl8lEPY0CZ+C9sGYi4RKQtrod8)MPisHh4^}+t1SqKv|~)3
zbBK_s2?4~isV<Vo_*B7Fs%wN0Zq^sF@lMD=Oc(?*y|*AW7v*%?9jRHd?6zh3#npQ2
z;w061!34C|6(k1aicbB+jTx5L^lD@$<z$1zCeJ4_yQ9q&LYk?Ub-Zw>);M^;699h-
z!uT9fp@l^6o>hv+iqPh7sH>9_1~84Nyn<<r4QsAFWs;xvR23+N0uHZG{gi55Ic;}m
zDAYUmyc+oe#_A`7KzCaJm4CGONz_7?y%d#jpIuq+L)Dv1LDjrYw<5xk6vibu5T)gw
zjIzcrZd;US=?TPfT|ZV6_uU0B@-BaXE>d@+fJ(CIDl>(Gy@oQXZtVasQ126gzCJcY
zjxc_beL^M^!!cHmo72&79)PQ;gA!OjPKe6LFRo{=>$3E~%2VDCz_pRhMlKz~YFw(e
zhR2jOSSk!86<jLn#xM7HxW?8Hb&5It6Y^(NbXR>;Qn0#>2WF*?8kJ!|jA?(|BOw5<
z+8nCTQq<a$dxK2Iwf_18XZv*^d0(A4<k$ZFk%w!G1^C*4K^Okl$NtSX$ng;FIcmOs
zLiW#~m_xbz4iR$7@UM~ujEZ#E=NII!Bcp4T+mysI;%j>yhET3whOlfxJ+Hoyb@%g4
zw_-J~)mQ~Q_|~kvsy&Aa_eOua{s`%E%G~cM(n$gW09hH!&5|Lbt9{WxQGgpa4Q19M
zAAc~^G9vx9u)|4xJTh6@1Y>00lQ@my?9zWsOAQ1Hl)-}lmO2i(u=Y4q-wl~GM7gpt
zRwEXEB)h|j7#C(y)vy7^8YZc36yg_HN3>NFN5M*ocR^4amgWDM>W+T{l#{2=%Q+_4
z7CHi*|BJD@6HRhDjOE$^6VXT94^e<G0+<6g)Z`E2?sg$abj5bi`K)dx2j5ZLq2r|A
z0~3!PDc~7<X~9&=WZ#?pz;MnQyTEWf-HxP2-A8p}2xyrYNADMyS$o{oD&X}1HBu<X
zl>JBus{BN>c2J@)H>7_^g#zcm9L<$77&um;vSALjKgAuC`1i6ZGT{)x*c=J$@TL8e
z94gf7Xej(RNWYGDxzw~$T>k!80I4ru1ki){fShuUQhjc$ugFWY!FbTQ*9VOk)LV1`
zCdsXx?$|n%@rkkKnj<3LPHRs?+6G=pe+paDbxuK*@s~5(+I4?LODH{nlI$WK5Z)0~
zqNsLU(M<fJxPJwY;yrfQW+>fpk30V5v=)d=8E>ElJQXd%H@Z9gz+3S$Hf45!(lN^t
zl3KWMM&vq*SgN|oq=hY)&qEh!XI*_&*pLpt2(HEc3yleB5*g4$_qe$;*@h@l;wvCR
z7sOyYAI&{$<t%@Ay1Rt9wn$7^aXhR9o*<GEj1Lk{%Zs+)P{BiVrVfSRe)DJE767n%
zI>}g&UilT%tiPGq4TEh0G_CGlE3gttN>wY9!LuQ9u6{ir?6G<fAo;E00(?b$Y-khV
zr^w<FU9?E0TZZ%A!OOmU5GPGMKX6?#t)@y7fS1diq2zySCY8AF2Qb!FiyL&jODO;n
z3RT1#kVfUPMHGg;`}`4~b(RO}gt(bZW98MU4o-pi_nrCkZv8rXQf+H*6iUB8da}Z_
zdIQ{4@%h%>0rgACwr{2DqhH-I?C+pQ+v4@90Q~jy>%WeHxVpPnUhFyWgg`6Dn3;R_
zc#a|)opOJl$>D$~xq2vt3AI6Lw38V|9(fy~lOh&R@MI6UU+@a*8>1*b1OWYMAjPZm
zD{AMb)@>Mdw<Kh5>NOtD$uLBnP3q)0xfdlW{5fmOy0#{j++XR!tYwxgsm?alxjnee
z$V&MO$jDh9pY;m&*?D~9Qk^!ZabsX0B}Y0qjFNvfT+0Z6vg+`A9{5Io4~7hyZ#3mZ
ze<Lx;BB`|0Yp7|11zu95r#_Guzc}!8G0h^&3h$Tpl+2R>snK`f>>OuX+CstQ3>Z_?
zYd-?zwI`14PlC>dZ!-C`Hz&ekj?s>KAe;a^Q<bzCy>?<5+Ssh|fM73~UZ+>MT#ZL&
zeWib#Qift4LHIGvZ%2dGVtFpD|75%F4UrF@L^Ry^GK=<`x`L{40{|2~WHvc->iR`t
zn3IdU(i-C@P9s=Pl*OmndkhGp8)2DUqC_$7OiFY=h9Up`9%~`5fE?D8t6tHhPeMQA
zN3uAtx+iiTmyQ%%ZX>$9NLzfKn9wJ&Sn7X6h5#GUr&g~RV&;#JOgELH<9j|ZK3P!n
zeNVJcK_K!c{pQ@lqXY=%-rZgtkt&SI4th{vCrg8ODd}WWvckQT#~y<?D4sXuq8!vK
ziuq<05vRIz1ffp~d!l23Q*4qkP`cJ4JQnuoQQMDnTi5Xlw+h|g7_0dg^a~)1aW8+(
z@^}FDLJaAOG4T~i?!2lYc^dRp(;A$z<FL1`6Y%u+ecz2g@6c_lb{$Cf%Dhe00I=*4
zLwc@H9UN5nIq<8Heo=26qz$k`N5t{uhA9zm4o408F<l#wryISffF!$~{%mr@pe%po
z(PPHBJKK(4LX4Omb?HeKpA4GlUu%EN6qo};STa)tlG)?N5(CWw*rpQp-~A7SZB<3u
zJsEcb@#uJQi6{>7pQ{qkmAF)7%drU%vD5jT%)mfVR9%MA5s04MO>}N^hq#;y)&4eW
zr(Emk=fe_9(8E0i=5c28x1ttQP+!n?x8Qq~vuJZIAUPchEOxGOVJBSta&Uj;3|eP#
zH1t(aV|@7`uv>~efxQRPx;qnjjDR+zz}E&O`5>}eqa#7%J}6~J3NLnp2HqXt!(lF0
z<od`Z5Tw-9?&5_|Q&XCQ9#F$7{v7sy`E;d+lG1^|>}=6nT>x@ffnp0T==gH=?~mR1
zbuiq~o#;^%qY6lM+XJ;l$C!UEr<x;y&*i0vkf?E1L@}%OlIed6n7Eus5f(S|_FwzT
zqh-c@C9x~%!r2XV$fh}6tXHRE)kQpO4^vaD<Z`sWtT6QgiR2JYX>lsS=n$eA$~||K
z6+xV-%pd0cBgm7QvSV2`v6eMl%S=2tfl*KRY68S*+117+;;^4C1xJ7Dwc@FeX3?JM
zbduW|Yj<7`i2E$o%hwy63cTYZ3|7KFrF7ex77;V!w_3$T6-f3gxR6sm8GS`X4$1<m
zXC$mDICw_FbRRJ(0=kGDS%p!nm-+om*(*-!F-1*NZ!PRFgKD^QF1&iE@EWt()&mOE
zOg9L_?F5P@yMrr=PKSTf934yRDq+W}HDn@$3`@p7*-oE;uP1;Z-Ky&_rf<op&X$)D
zIUN6EvIVyi<b5gWsr9`a4POMXSUdji)pykn0XdqjLM)8pm8MjVv9@=*ampT!^YUf`
zz+9s^zABhIX^Sg-S=LzVcUcf2Uk?b}^gKVz@ok0>kbPhz7B+v^$g=Xj@fGHA{NOde
z4n$^@V0V)5|NhvJOmh`u)$`&02E~ht(`RRmU;@24PAz7bFkR~$uJ%Ifq%tZ}`{Riw
z(mHv=%c0m!6m2L9)ygWvO<6I&Q(_xDDMcRUsZOD<fRNB4Vwyu(Hij0}{Bo*6Dn7}p
zBNC}wVM4a&R!4tHhAv=J!Qi{xG^v&tD!Pi-`Om;gVd*u(YYMYbC>DjvfmePnQ!^mi
z)1^~2*DkoigAJC1XHsJ4MtQ6p7z~*WsJsQthUInH6}H?JXd6?hs|et*W+ahMt>q-M
zEe5Je-GA@OcTNstHRlE9Xc@&^#;L#`aVHj|2&+-qUEzNg0B#pDIF1L%^J|fkqufh=
z(W0GvhBLBUgUdvbHJ5+@F`Mo*RuD_2lYRm?QBp3`hZ!$*>RHMq;*ytS85jbQUVYA1
z#8u2a|9PK&F`iS?<J>KPL_CIWDM;GO<6N0*67gA9`4;hcTux1g5NGEp=g_h76#M|^
zSbvqlVhMkbVI-tm!slULZV8{`Mi7hm=U6g6k4O|>GJb<3<MV1)t24|VUAa7De0GdE
zWISVGJ#87k*A<)t>pt`5EtzG&OT=fV06au|MyiSHb!*~Koi`-n_c$2khDgL`<-=?d
z&u`|3glD|Y)C>uaUkLq@@OndiO8D&LNlW<bBmsX*_%#d(zW|c(S#|r!lES;G@`rQ}
zVzP86!qi^nBHak1OS)&Z0XX&pm0k=>_soFs*wP)ls@4*e?ijL8K+@gAhjh<F`K(L2
zKLB8>{GN1T&?2Uzi-khElPGEn@ea~vOACqbwVn{~S@(0SKYR6-?l?zP3C|Mm*%>|-
z@7{k}OZPn*HV3`&r!w`j)0{$bXI%iZMLUn$=nv7pAr|EL4G+)*;!DUZ+848sWdFuY
zUXDD!@t0o*!lT(=mR#Qu$#n!wRsK%7j-d+HLarBH5IDD7M|>`d!D+@%=d8xzWB_i?
z#{<cE<`(PakzE-v+RLpjDAvn#zb%V(j<0|I5bK6K#Ckkqv0i+UfdyX#XqQ-L*nHF_
z);Vd&ImvCr7^!-PSm&y9+J9HRhUI#-nz!XT@p_Gr>qL9YA=hIU9&+7yUh-m%CD$36
z1;I<MN2q<t^}>=J$>niy$eM78?X{c`>kJ)_zW?qnAQI~gn92#@m~K|}jl?=PRHlCd
z4)a1~i1h$0u^y0PiFLlwdD;-`3el#AT<3<k%n@?E%;><|q-QR=3$b39%)9`_El)zK
zGuS;xNc9gzo|T4XvCdspzi*Ob?7>5<f8VBGM_W0<aqc!mf}KIO(wAUIOie`-A=m+F
zYK1Pr&d^^8QO=-p3rk)>wI$~<P%VGD1iM08<tf-(Tnb^q-s0v43-;$&f?d(vCF&1G
zx&tJ^j<GH+(J5}xj(!Pt#@$poL1N=fnFVFeu-6s5qs4t9>xrh?c}sSLV%cAQOZLW_
zLTX5M4Bh_&2W1U|PcDGOy5hyx7V9nUWLa_@-wbkwT*ugA9Acesa33Fwb%1}^eMe#)
zL-jYHSYN{s>kA;Uj$uc#hzxgpuBj)FBcvuLi*}-HEK5Cbx<or;o7-;3ra*PFWN&OQ
z<uivZbR{07I(E3o#s-t|@FCSnSL){@sr~?ftMXftvy7V~;9v7Ys&j7gR6?qguFo7|
zdo3lTI#0z+`|n!$A-S%IcpZORtTQ5>ONjN@TFdpvP=einBSgD0FLb>VNuLwS=^@$~
z&rVy|e?1^!wc}T=tCwi!`R{Fs_RTLO+rM)Zg`dB3nO_HD%j#B8+)Dcifp-LBwFapC
zQcrGG3)a9+m$*{HK11LH<6)+H3j%byjN%^MDbQ11Hin)ki#1(Hc?Ex9x<sFBxu@zI
zd|1BK*%?6Y2e@~hW7S<DuI&<t;wl4!^p1gbbhi*w#W9<Lx}}&73BS5pd|jH?qY`7U
z%#|2e`L$~ffjOOOwfOFr6zqfSjd}41(!1Or=MY1&Y*kV0adC#`h9u^2;+<;!a#0TO
zo1DU>o?-x8`a3>}=bL{y4_l=waY_YkJ-(n@0vY4Ou<<%R{(TLHyMru%dM_S$BRgC*
zdL8ijQ{`*A$|cBYs`U_2)>O_$+7U`MJc!dmdAc4@JvuvPY16WlbhWv}u4cES!E_Uw
zec^QDXnCmSH{N0Pvl%WKdH@j9!_fU2d*@W-sgS!slS}HOI0t{}y4s$)^^vs}4MiS9
zyhwk)e2r<NTGo>y46{p7!1z)jHKr6hOKr73hte($IM~Az=Qb%l=F)9~oQ)fL*6Fp2
zr4aD-03=l}fAL3hj41K{i*MB_QTTsz3n^pY`3d{f{@^jnGO7N$tcnehRe`aE@a5c$
zGb#cjD9K((VN`!GJ7X-dk8oo2my%+D=xQ_}&=bjQ#zqAI3i^amfy4x9Z!{{9dLi$H
zj0%o*kB*HBLmoy&JY%Cm=^7)nZhkV?ZB%el@D19ih$ys;2CfS7HjIklYh~8o)#Tkq
z1<=N?Eu(^H%{7b)3{`s1khk~XVN)2*OIclG*%ZvG0L_2PrWkpwKxR{{o}ILouaNQT
zWmBxxgiV2fH(l!ScOQP)6wCq{4_6@o*9e<}sJm9PzJ<xKDFX0t6>d;WPo=V9Q}By(
zK5Po^hbyjOQ*g%h;Vay97e<9*^!@R~SQZ5lb}c_4qMAf$p39;b4s3=+5j*g(D86sf
zZM7#RndE;{1<AM3o^^qFK)xOj#ocd6((SYxas((1@qawTH*dgSM=iXwIevD3tf;6k
zpUS4IMXB-GdML*iKFvPwrP6db`1nmMwdmG7j4OtT9(oV)136dM-_@NJLmbwM20370
z`K%711B3&bPu+)E^YBmP{NLlG+ow0+J`o3he{p}Pnqz#D6)ba#6039K(v-ZzoLQ?g
z)uWqBf{hS>7m<L19|OKNptH>60cdKFUtCgwhH$921L9bHHB~z#RA&A}nW*?|(-34`
z-L*N!FG473_anL#mv6Y4H5LZXOX3x=#Y=@(6VrgZ17m337}KA!0czANY{GgA$kzkX
zSXF;c1fP?ixfLP|Z-Y$JQXf#D92uHPE#|oCD4dx(shriV1E!f>z>k%{-IsV1aXGYB
z6a-E6CcqdvQ;dy1&MKa04C`YIE8*5~WS`-yy2`t{aSbM#Du<eu_KIU~s=D(81f)lb
z_<DeJpB~28CeSYotXd}J5(xbAK5vLlDo%f4mama@>vYr=HIfSmr~yhEzjF>Q_p0Iv
zx{(c#j`Tsyjt8ZvqdI3xIwnctoJfUQ0Cmv+;zyv~7^3y5b4fgez0>-XP`byF^0Fbk
z??5C4G6ewHU;yACa_Y2Et2$?iza<^O>$&zf?5Ia)#YI90aakJPC_{~CTibchy;gr8
z>_VHjR&|+MB%&bl@uVW8B$T=zY3do7?0&ih<R{<InOpG+fH#vEtCOeh!J7@?uSyL_
zDTHWd%CQCM!JxsIURRzeHl3+14h969S=FZ^`7Q>mCHoM{hlABZcp7pL9n<6v8xmt!
zg=9f24Fv{us?<mf<H~O~CUs&=w+nyfooO^1^tReWN$?XATSbaT3mpX8rV3c^?OPCG
zsWvqUBu;MbP@8xb*F*cIHu?>8q{+Eac-r%0_a?>UV}DT(``F&DS_E;P8%14ZIoxjM
z&n?Ipv6`-v{S&fQtQSEmdmy1J0TV<FC(D;UJ|zlS%+%E^AVec34?obBonC+5dZ1Gm
z0;_>890<Y}I#VYDg*bVYBw!rpQw=Ql_+-r!4;HF(vkrXj+!zB?)>WGd4{+k4UtvrQ
zLj8R;O(xl8w~53`pdfK#_eOR#VDV6!(#*^Fcif;O_HgCcfkOhGw%gvO&S?vm&BOr<
zn6I=j<?-n16|oM(OS39zKcatWa}1-+>jL?enM`h2cyjMw;YDfzQd7Pmj<_5u2zxLo
z#Bh_oda}oL9U-N&wvlDL4;mfjdJif_5VbyJ-B5o)kS)~A3exmy)$J0Hp2P|n_N~?d
z0f1Msy3UNVpl_(MalRm^*{CR~dx+f1%f`psyk@m(6_2Pul3#@=nCySxp4bJO&vX1_
zo|82i&vRo4*+QG&AV6WAVnNB3Viomz=Vj(eTM!^A2fUb=a|c6Pdq0&>`{14|w0$s7
zG#@s#z{~=^SdKlb+b{xhNwtD|6BuXKgRh6+4h-|o>1~wn;<4Bvp8XR7B0E_eV#pyb
z4e>bCpl&S&m2`7F7c+m9jIf`Ot;o~Tp!N;kaZ8MLErx(6`;z$i33+mL1~SI}-ES2T
zwY1C$`c%m)Wlpdj4zcgE+69{tbP98#xt*6;UOQD4xmaR@+L7}9`?Xjq%!zwKCpY?G
zPE6e-xy%U^DDo#ZC)PO32>}i<Kn|G@U~>XrkcKehMx|s`b-I59Fv|?Hv2ZYekT<|Z
zfp7N2hJ-<}A+jjwMNZcdCIxZVto{tYw)tSlqG0r-Y!d>J2C)r}6}re2$NQ1I$e!g`
zr^=1DNdXAdyf7&myKt2wY>EIpO$wrFL%tpmn-oB@2^K82vHekcm=u5v+Bzk!-$KYG
zObX1(yh|1Z7Gi&6i6(_s+ONf{7<QRkcQE>Dc|6e>L9|72s65e3RTc$({k4V)%G<U^
zSr!Gxpu%lY7;=P3;dp@z?6Qgpu}fi5uoBJM#^rt95c5$SMd-&5i-HU63jkt(xC?^<
zt39n`%b*}Z<-83FAV3O-42mGhZBcAUm=p?MEr<dliOPRRJj5%=xImc{dmJXkhRCGA
zSc%^@Dey|r#WpEOsIxDdqMa({+RJ~UM<xX>U^|N#De}Kj0X&vmz{$ZlSCN0!<!V8u
zRdLg{ZC^f6CGd2I1BU02<N|wqEy!l8tk%8Cb29_9IW2#d@^^@5cBRXZ-Yw9<cCN-2
zGmD(B;mLn2g2(0M4<j367zP}J)d@d7Lqo+mEvW%H`625NaRr@B0$n)s^?<BZrt95E
zI2LH@)$y}GKoHVMdUdhSqqC@tFH-pNft)PLdO%X6I0eT={tKSbMa6G38Ya|jssCK=
zKX`vF?jmG{Bcm_b*D_A~>zHIR)T#jYc4j78G<ARI@!0n=)^sdTb??4}1S5EWPC024
z?+&4^jp}jgeK>r&b<q|QwUZ6#_G$+N{3pHv{Uu*2A&qIp_!SdB_9I?dyyE-X<8H=x
ze7s-Xmgc3SqzepxYfU39$k&4G{Ytz^=m+3<xIhzcy`OIoRlB68irl*Q<+3;({3To9
zyrh5hQKYNWMw;q}o~C+d?Qw~wJqzMg-%05$v6(GTPwC3;2qTt~+@P9*k1RlLd(!rt
zLD8C(8vapIu(tgPF+$v|@=4<xv+ADzo9kkBtsz2^JamF2Uo|ezK#l2WJ?aQ5JZ5VO
z@&>kP^~9oF<Bg<%WJCsK=!1(V$6QFZNF9GieiwV%Om!FGMv$748OFt!4i|zBj0C9T
z(ps$`?Bc?b|0~qW-x7J((nD!Kn@Pj5nIp&ZEWTq)>fo@5GRL~)rIzv+V<jWM76kvQ
zQ`m-}3WloQwB5%(9(>Z&C3Z}%bV&!4)BX|>6`AN4-+WL@YWhJ^x1gzeSTx%$0_1;7
zcnXQk$bSH^zHU=W_ta<HY-!t5b&mO*B3uPmFqF{jR?VksL5MO2#^RBD%2E8qsl$MK
zhbZ8o$SnSq?=q>C0sfENjM=T9s6IHb;(yPGE67B+?8$Yer<(a5k4Kt~8Rg|;?Q-Q7
zHwqv&lB^551&6eZERzl6GUPy3;w^tVCfL;}v5iM?OYkWL8!x<eyu^h0a0-D~V~?tf
zFR8HE+)duq%Ygt{ONrSLX(#lmv5t@H6gsO-LRoZ|NpFzSwbXIW1^Ie|w61h;<mi+Z
z6pJBTkNnCd%YWKvzF6^2KIEy_QzFBBG1l_FT4DfgwVRHPoQWHvOL6iQj=p~;Me%|P
zD{YBM=vPs-6kUn<?o}z@*Fm_or`ez8L58-J9uG`=Sh8x<b2`l#<>`45A{HHLNX8u`
z<0n8a!D|70%wP!PN?@Lvq2rdEZH^;z`6JAUzjV14rU@qqFp`l0kuUjf4d6<I^MG*e
zQxYCb6Ubo^Eqap|tv%Z}d8vQ08vvOG>OKa1Bex7=Im7sqJVYcS7rd5>9lE3r-yNsc
z!m7}#`$TFioQnwJiD{!n9p5o#YhZFAl^3MbKN*@KwuQ3*8;(&^7Elc9CtD)(b+UkX
zzcoG&@{PlI>28sA7K3Qk-xdESAA#3`L??FAyM7?D%)S*N$d<>k=8u2xge_t(#!5J7
zH{@c64vblAamve;X)TBo%0&wZZ*B}1EtXQYix!v{pR$V<D<?I@-=`A)ZEqccxD*Na
z9EU$im}GA}d7Sh<oek|<cc5XpXE~$VACFXrNaUX7qOw?t{IgoNzDijwv}_0Mcgzu+
zDD3ZMtOGV*&TN<DJ->hdMOTiwHx>8rwDj2Y#C}YRCFj)R2t&xE<{g#N_#!0PzYV`?
z=AAX%9L%1>Gs)dFRh}Tw8=C+z{{&DNs#{$Eu)Kpq1*Noq`CP`o_7}M<eg8Sz>n0aG
zk!0nCvh}q<k16D8q4OQGbxZsT7Ui3#A|rC^(3Q;YT*{{%n2djUA`+fzXuudQS1dQa
zB&N8ozh9))u(~l0Uz)7$fIKHQKX>-Tu_2Gu6oqHrAu=?>=Eh8rp|gzcTtY3jlwghj
zc#4ryJ|9*&ka60B4ze_Ej;G0;amUC`{<!f~%d%bJWX-%Zc;{?joOybwT~)bnR?bGQ
z$$=vgFxvB$N6vpnE^~QR@%J)TY>O&vVf5jdvyqD{Z|r2nSU-`Ib&u_2-2monV5n1b
z8V!B%K{{D;8CD|YWW}8G+&LRqQo7!9Hi(4uv3;xy5H8jQkcTxh!u-hD0OHsrba_|-
zi420wpQ!1my{EbABHEp^fqC+Jr~SyeeY6M<mboGma<G2_qOi8ZdszDU$l2I{aIgY>
zJw0<aHbf3qBDk!a4d6G=x10@tMp-!<-1NG0HZZG{o;e$U$Pw<G4X(93YzdaUKclfg
zUrG<+uWH5?IU5-P{P~u%k!v_^=wZcB(~^gk<MGVd2*@L6V}pEbsxJ2o4=ctY0WR<J
zhJ=-z>t%mI5FS=8uxtpZK}L&QtQaeF5H40ylnev8SV?nb=WLiHw}*8B!oiA{qGb5t
zVC7D<owI?x)B5BF+vC-yWI^O$#h7Fo4pzJ}+bQjmL0n3|{i{5H^||&p?8w2ITO#Lv
zaISV*Z(N+%knQw~UoFV-$5;J2t`Gd@-}Jhra$0|l4=>Y#*z1-Gb9lp}ma446?Q~0(
z$89^^Qd7E0INex7&NRDlx}_%Pq@8XkNzUnG`P|mHucGs*O|I($G>7d@i#ctNn<l*-
zZn3EKhHuMeh4K$nygS@xJ;@hw4<SR>0mvs8gCX91YYr?G#Vu7(XR<FF1mHGAz@KQC
z&tiY&S=~=cmk}=01CQGX=_(R0x|SIorcj?=a6aY{V?3XvYsUkZawFpBr&12q>)i(_
ztEbj6-S{Xbm;0K%uA<IiASgRCH-^V^l=U&xpQgH_y%u0t-;J@{f_xciOE)EC-L09j
zlrPQ&4cn3$cXO^cpS;vk1Nn-u8cz!yE){<^^{LhYMLh<XLrz4g)NU%qPDHXtm;S5-
zBmOpV7wBv}ZPaU%E_|DnHnE3E-E(7;F>_tWY9dJP8x%C7>X0=Y4l5sj9sB}<8H16s
z-yaJglNUqg3Kk|em#*ky*8QL+lT2LkZk?jbDUz>{*79R0GNIEk{;unv*RM}`vG#xa
zv#ts7=Sel-0=x+*TM~Eowq5`okuQ*yAjlL)B?a3Yk&2qW#_m$t%$&0!cU88t=gQ7u
zx1=)Bd+fcWEhNA?GRjROu5e_s(_{cZ%}SP!517p~2UVmMc%PAqe9Hz!9#xWaZw<2H
zU<Wj}%#f!&j$G~XimfAA-9c$RP~(4$1AA3HW^;4bQ~(et$7=9!mgZK}X+^pgESE)U
z*1mKZ))!wtyj5=iV4E7=0w88{aDJ8OtgL_=JQyCnxICkqe{akH0dhggzOapH>^$)X
z?5{VKM*RSwUsx94lKU_KK)DR*B=;szZoqmAI(nr32S9U`f`4-SfMBwd`Qm>IpzBgG
zq=Mio;4V&rn?(x?^8g`b`M&pVi-7jkWDZ^N=*4k8%j2(unv06*INd?UtHPTFSZL`=
zz5$bD86=xx1`Xjt3*7IwsqCIS#gHFpYC)UjYQPZ9Gr}n_aj{+Ibf6<+NLM;i|IvS}
z*$JIp;}n1gE~}E0e*m~4yvKh&ezSMp0PQL_dQ=-YoX)+`0g%fC!&9t4cdw})J<BA<
zHTGGak*o@&iC)faqX{hy*fS!q)Y*?~VbS8P>GnAEj71wQW91bP^g=t?{(bhsqRAhC
z2OTy#^d5M?{Vh=Vbq&!MKifsSY=xp&D+;erM}jG*HGFAF=+Ceo$e({YPn|WTMG>6p
z%uHbnt%+!*1wPZzeVZCWgXJvA-=MJ3jn7AZe*_@Odx#0pf>Hg?98%v?_dRNJT)Or+
zHDA1b(zTjY4>Eaq(Tw4X3$DC-#D907sky0-HzD=7g5H~u)d^krW3X8(jrW--@I9u8
zYlvg(3B?0L23OW)4P1W@O}U_v;Y18wkQms2yr6J=M;9@Opk%!s5@M<gUPuV%Fb3I8
zX-}If5p1QaH^^3P&@CZ`GBUS>K%e<MLqed9F3lN9h`|i#r-T^JiC!d%zM~+>?|>~K
z0$>T@7+{D1-bg<lB4VmV<NAA*&(1Pp*1)G_gaME5v%2*Ac(Z>(27Sj<Lg=#fS+|JT
zka!I*ZD&yAC&X;)c>F9l*@7%Nu_1A<HcZ!$6CBCaS>0Y#SI*OPcaKCQw~fofK-bNW
zxnu?Bb!Gz&jhX-FmVg+Kw57!Y1V#u*OIq*??44keB7hOIAUe(wUYh+xc25;`%{`Hj
z1aU~Aq3hC4sp5ZTkQ`G}li1kfkQ)oK<piR$x)bFc^0rIgg!_hU(eaZ4Zd3PE@|u1J
znpm8uvNPQEDS^bRR&yK+cB?DFwv)<qFIi&o=RtR5b-P>T#ErOfUgNzP?V;fu8-O3^
z3OVHfCUs9`d{tBw4)gZXNOyNhvn=2eBHdCFOD!NFNG#p4fQ00d(nv_-(zq^2Nh2j7
z-6=>3xJdqezsv78H#6s%xtVk3%*DhLsq_A**|)KVT%(yX(MrId^gP)_jZIK|Lgy3Q
zT68s7pit;OFKXV9y>Ny(MIvZ}&qi&<b4gSRadT4>1(E4H6+yDq_a}qV%--UI>MMVm
zl|hNLe3w;E9!na5ha+*X-|(0xvm{7<Brnaf0y;WI<5Byv)(6^ZCj`Xf@m)d)@dI&f
z$Efh;%WfIO{?Ob13D<RD;#gI0`dA7NJnM8gwuGAU@*<@rl5cbd;xwd|^OV9HDsB~B
z@?MNTX&;4}DkA3TYN0=Hn5-pYgM*VFl;ak^pWlZWiXR0>4j$5n-~Wvj6_8;`;;-4m
zFsNnz{#gWr;n>Ix@efoL+p-f4jrCkVBAfmo26!?=ATe_ae|+Na&C=!{P*(<@{1AkF
zS==<Q5;^{%gJyeDa8Ry^`Df!FO4#>>cXqSO_p<kOv7;Y)5EU~V1>EHp{^fALwh*_b
z({u}mK;LbN@AB>d?aDigE!90`pWOgcbr{5%3#4xmSnrqRW>ganL$@mrCz-pm9>?iO
zzu{oD3@@q}NFDtuG2@F9KR65Djm#r5hL)t&S`wG(?iWKpP;vjFks_+IKiO)Cu_C~D
z3Y>|X{t=MfcIn{|U>KET_d8-+&im0{+|mNp)pea;4EM<vduXlNDtNJxAEkf>0CbIM
zI7f)spQveVWR5x}>lKdDaT*8zx>A9OS~9MG`CD>S`e~Pt+|)-m;nN@-w_-|&u1tIm
z|MSRuD$))iF{CFG5w_;w6YPyQRX?{_zYM+y-XBJ!Cne_hjl$u5(v1ie`%+KCk^qQw
z-P=5CcBl+*xnM&4aUQ1BfG?=5Os6z3nveKmyU%9BdRuG?uFATWpge$i>P5=5=uO*}
z=jPI7IFs4+Gj^^N_Ywk6GUpwA3PptB5L>GWM2+oNmYIuA9?pGNp0wi;kXISC4Kqhj
z@|AzTzG{};T{Hf{E8*k!P=ahPmv|G>T_FuB-Ru=%cB3~3tSqOx-$vf`vqt_LXA`q+
z`?TMCx$xFs(k2MU7gE$mUD_g)o@zqC+FU>W<=|kS9<Iwt9cc)^BK}R0GUFUQ=Xu)x
z1|IvC#TS>_{_mUc4n_u^%LuB@AJPKv%WGqT3`fkI=#{85_%|KoJb$UrtxS8?uQKTw
zAk=&BKMz13NycE1IATYeuCv3c7-5>=H|?TU%BswT3N^<JVrbZfKC|axRJrV4(&Ix@
zd{RxLv8DuX(PM5n!O@{0+LzZ4bAc5>@3Y=rYH47&%=PmgH46J`Tv+PYBd}cM*wCmy
zJ1bO;I+A8KXBRg;cK{&*0epCw$wtYkwPQ2_FO&MGYMk1CEt=$|54ZsI9u7WVt7AM-
zMb8OsB2;(7OlWuFJ49oNCG4rtshf6&!m~_mH+8!eXiqpzlYFamvW2!|y{X@mTCGo{
zuL3~GM2gvR_9_=DtJ|AoZPP%sfd5aTVhBjYN-fL-&z;@|#U@wFca2Ck)jf4*=Fld-
zQy+b}YXqROve_L@-qgV~`Snh`LC_*LR`fW!$MjX9R$Erej<HQs@8!sJW!Ij8Zp;Cd
zXx-B|S$IyZ6N|m_e$-gd&WDEpwDzSPGB$X{v^;vHy->1LG4gp{_SwWmJl_a%n0_Q2
zHgdk-YP!{B_whjRBa&6^ZtfJ;iYrE?rA4oa%k{A>Ohr<KQ6UwvRG}uQcGnW#EG|nU
z{BM9BksH^L>Px_PTrX3JCE1jCe2U6r+?n|@4cDb_lm(q}6*s-Efl<K5Ynah_YAWgb
zGhPS+UrK1kHBq{%Jyoc1nli07%9pc7Moj%tx&HXC&x_uvB(V#VoA1erujDMv|4K@&
zlq*ZfiQ1adSr|Re-mUx4i6mI}yeh@>Rdq5pil`@@++m&FK%u+|vLz5<=&R3s8w=9R
z@R~|B3~j%5LLt;j+Q{%0!>hXxK&ai)8&7nG4Met3&gM|zw*0o&?GH|^&E!4A+L_(h
zb5jaBh>fn$3q@TD4la8<G0i;3_t2xr<LpqmW<Dy}^G!D+ouU9F;*&5Qr8^Iy(y{{-
zEhPcnR0N5!%jKPxlFJ%TLYu}{k3^#20VE-p$QPPk;eP)XAf=J+38QA@BpQ1>ER(cg
zox@Dep(NBC1sTD>Inl!U6cwpB*)WCuqu5_U?YxX+DOuOH!x8lX0+vrbI-eT0B;~#s
ziFQ!zvc4)KOT@4HW=QrqZ$=|b3*R=Ol=uEP3I}X_d|Ea##kbk7*R$U2V8$#2A3mMm
zOC^~X<eR|ru>fe}Cq?k-;D^4i_MsxlDdbirlC|aD!R&Cx&qmv>yU=oMu6f-Vpp}8P
z^Y6W}=Iw0_ydzigHZbLGW@V}5SPe;&2wtw4u-r$xoLv9*ZS}C#Z$s_=y0|DFRpG=f
zm0C7#9$c^9{0tG!=w>D=E(#a;qqCILt$#cZ?8DXg1!@7!D>ooNg*+@9=Hes;z-@*{
zguPBylEsH-_W-jlMk(VZkBC0H&Fe?gw?yXO?~k#UiJ8#3r{W=SrwMC-0cdIbtabB%
z{>J8hL!^t$_!cxPDQyDyRxQ|G`D5L<ZZjMxn2A${y#*{&j^Woe78iumB`Hf0s`vk%
zw1_g4qW?(~uqGmyXcL+s4{=%`_x()PUuk?9;{Gf~z2bw!xxgxwr6sV2K~%35&{IRF
z*g>RHkp0y~m^l2%%3wu+D0v6@qrVEKtSY<bR^Jpvdl=Zfc_G+sau5?lnXOPiRvW=u
zfit)!_BstlT}#}_)<Fc%pQfRE`RQ=p;;d#+kD%VAljSvQ1|CPf-QSbhH;~3QOVL#C
zATib`j^@o*<80rYMIPtSYNs<+#COR-Oui+M5+nbtn|7SHWUZTuxC9P;{K1d<m+;4{
zt&qp$)h%vt;PflVt*lt`<6Iw@h_vwq9a;EJ7VF`}h%vZ}%Q_gocAF5W139f#tofT2
zH)#6$p@9-bYd)-Hi(QW5%ZqpwS4kAVL|u%`;p<Ag$FFg$5j3^eQ@42*it)6Q#P<S_
zFxnY48<8+l7fgx#6>KtH@Oxgrl?*sI3#m3TOnHl^-SRrJe=Uw|#24&PusocdtfK*0
zz(ai@F*(alI9rE*>Cr-zFum$}5>e!F&ycN3vv6~@IAa2nA*zc+m%a%3M!IWk$UU>m
zL_%)Dk`kPDiRrx`#w?|}_A|eei$m)dvZAKiI#85>Tw0|;Km7VrJEO(R6u|5#w(`9s
zdj0f+a`so{8qI4MExc^TXw*y&6CmH9EQ;R<ZtL{QAR3;T)#I?)WfrEV=5*a=Aq;~7
zgm$X$trtwrW@7z%!#?|pS8^tk1bgkj#7VYV=K1uJP|+Jvh-a|&TX|#Ab*grqQgl>5
z<fmW))t9NA$n?)`Z9|Us^Gebc($88-d?|GORUsJ-rB4=D@1N_FSCv*r)H$@`Vfd9e
zSi{l3n`Gg@=1a?;g@-GY`FoWFhPX@oeEz~0oh1(lxu}%yT6)SFqIPa6Q(@rdQu>vP
z#$I|r19`G5KRQ4QD=A$3We6Vdy8M7d12~zO!(}8+^aLE9_@e2rr=>WV@A}wC22=bP
z?5AT25dZpb-h^F>^B>~5z70+FBnZzImI1##77cu~`-Xwv0EqLIWN?|t$rfKF7t0pH
zu=p$jD|+EO)7uDqIWHT^$?nBKM1wt@RhZ?1oHE@BZbFwF)_h^Q7<8?nl!>5ivxR~=
z=%{Rq3E`g7t=^R&=Qcml2_SN}9a^ulV=nAB3)27tmF6@jJ=gu)C@GU#iwQk#`}O>`
z*WlCDZc8q1?+s{E-g;L(fQ&9_cWmW$Wx2mK#-{l6%}0{m=cuhwZHI=9%FXmlyqAw+
zEwHjaOIAyyJeIceJB+0BcM*q;%u|wY!YT-Za9`1$OF!!@xkt2nvFlcaf46HG>{_6P
zZal&honpTU#@QCSVDdvLX6%Q%AXYh^N5OyS-%=tTuKzCBX#5_lHYm(ede3WT6e^?S
z56L~#6dn>fiaeHX6?yi~yHMNfMbf=60XTgqT|L*Oi$@EPdaq<6lLcJwQo717z&7}K
zF#WXY#dUij>G9O${x>=6=mwn{WNCjiH*acZf)UiPRGKGCqE7psHLWlM(r<{wW`-N-
zY5O7qDZ5!*)l|hD)Dn?$y1tYGi{qbsZmq15X=>MGr?EhAkM%{}ctn>uXmTg0BG_E#
zsxkMg#jJAB>)Yz4^ox1&f=ECAI1!`2#ABQ!0JqcgJX9%%jj8$5xRhG|)kv42BG9w$
z@r*Sr^ZauFM?zl%3Mo8+7LqT?ggYl&TXC`@6l&cFKSUEgJ(Mjc|3bHYcE*YL8qhr;
zL-F*_mAcGr(+k&~FqPTZV?@FlgXb9Dq&^*BZlJL9soNJdT@<?qrEOQgLQsfKN#W?y
zNSwzbhY=*;YAUmyMSeh>jU=z1LSB)rEs$xHOk*lB!7Fn_!kE2<#EYh<0qzu&dG|(5
z{4F=cvKy@eW88e*GIYRqS(fqgIFYef#hSF;QeJm_;s~fZkun95e6;ecLb{dYtZMfY
z=QyY-y&OMD-a7UQJDRf-Ff7Az409)YqxYt+nq0-IQ2Q0bX8fb*{&y5kA=XP2PA7~q
zSh*Dv1>$s-Flnpi6y96D5%}-fHAk-{3WA!23;URi200Tlmhu5n?&T$BeCbu+WcNS)
zIlEx|r0b#EffOjY4d;Mfe&ydW5f&lM7COpZu&K;75eSO_y0G2bV6QiNi%<45<eT18
zZ#vf(W0@K+!wI@~!SG+K`Yt#sP2}hKHjuWQs-=79BZ$HKF^~FRW^nkcSEV04O3Sm{
z!-(Cv>paS4YFgAi+AtXTtNsDDj(S;^>$=rnOT+Z`ap?wYgSWASyp4Cn%NR0V$ADoU
z{&*3i@eUO&VVMa^E#;u~;Y5DuLiWs^t6KUG9O$eIeXF2Gy4i5ZJ60|1hzx`1=t3(q
zDHgR&rw_dRnbF^^_uz{Mb!hVnMEd9_u6KRv>?oV=Mjn4zCJ8$&SB6F&DQrf$cP)S<
z-bU2B_>lzOM*of<VQupWBLTT@D3!VLj$RE{aY|iTR4`rHP2^~K4$?=jrXxjg&d9Hy
z7-C*zuAY%1pW^%-TQxiOLjko~#{AR43Wt<or_4g+{uEa$D_rkdDXc4H^DrR$fIxBB
z@?2=_W8;UvSrxu4K8N3D#Jp<5ciurAmcxtl$6jEzoUJS|#NFvJ1mXHNc8b^yz6#iZ
zmq@1%$M1jK0cX6}E0JhdquI(AciKMT>BjBfX95Hy73wDLW$tqSR=#||W`vd+B(MXL
z#5B)ve$OX-T!Q=AWZu)~y~iS-t#8>@Tm*NkTngFa?UY~BE^FkvR)z03<C{A(zCgF@
z#3l)Z&9@{I1aq*~*!(=eqR6xPDOE?Z`%yJGK~jN?vd1RxJ!i;3phBpe0zl{765tx1
z!+C3KdPIc%46;<iZaTELb%H*XEi1FWH_oe(Qo#B1DGq*(^8j#5La=zXPqqbyI38O%
zsXWL*l==|3W`Y*C+a=AkHoPrsARQjdK?H7KhnhlA2OdT*{ZZU5WOvzueF>`qJ<}14
zhVQ(%IgnYo;p_$Ct1{rH5%B6tki6-R)-*d{2OMzo-qmycMb8*K9Ax#PGOi(F;8*Xi
zAzvMN;Nb=vG@;Qi4`#Wc)^N7p9y&L*b5{QRtzCH^EL0gP_ySH-|ImLezY|e(h7)tN
zMRQ7~5q@32YvED8snz;6u*lB$!9r5M?OkV<f^aOfsqSvJR$iZLPV`)ffVzswX$7vY
z_tCb?rv)ZB!9aq3B0C!gP6@VQeY3E{BFM3-2!~2uAn=N*-cFP=$#SSuCU-vlBzRT@
zTkvkO=(p5)MBAXgqImlS{=)zeS*hb!YzjEsaehamXq(l>N82q$ga-te0{+@tQSsxY
zdg%KJMO;1cvlocSVZ;erm5?r1xtlIcx%|Y^4>foY3~7NK>0b$!+~I+^A6b0`-<=HN
z!`JyZcA-e%>oN4951u7GM-=)j5p%|EV3ol-r~tTm9DlH;uZWv)mQkV%>W{gb)hIym
zUCu8VAtvgonHx6y0IFW`TYU<vzYiHI%N>k60p0wenVlp7C0=Kv(k8&yU1!n+EhAYZ
z57!LY6l~;HPdJRRzHYFz<MIKJ{L;s8^35vw1iPo!Qb3kkgEVTiUQC4vp2Xw`iOFIu
z8GfqHJ>ROm-vooxXu0TDkslCV5<2PrKNlE2cuvC02+~1%b21e`VOC)kGnd8HNW9jc
zY^evy^+4gH=bU$|SO|1ZT3w?0%Ws+jRB$CJoG*At6SZf^tOsEm49cu0q^=8Id)Ss>
zk1riZW508r;=1GUE|J^%?!z?$>3g;9*k6A)FQ4Pwl9@??h>NL|p4TIra<EdwH1ca4
z8qoZKTWhmAKm0&_x@_&rK)}s;YNpfOqj`RP89OY)rrz3Pmjx3soPN!%&-(avve{R|
zWv7lPHdt3ob9jg9)}Wk~A|?>7G4%z@@adbSv0mzadxh@6b%g})+{ke9Vl-4iV%^%!
zur1;cuhL_R1F7DsJprUq|9vD#BsCeR{z|6xv<Im&Y*^I;lktfw!3PDGBYu;pdV|cB
zTF*W4O7LL|hDz0J42C-3)1_*cTtemKT|s%g5_KaAnJ5EsYo#gzMJ0F@o&g1s3cd+V
zbnl_bD4P<$VmhvfXVN3{9mO2%=GJyiCH}gBC!kV;!K$Mmn$NetpXN$wRDZcIGUlw{
zr=fs`f@peJ+(t~eiCWuC466o3HE3Ln<!HE$8vzN*FNY+-Y9+w;Z@tBd@FI)_)k;wL
zj<ZvBcxp5W#G<bsz6il5R1Nvpb=>Q?iSP&|Uem;2hp%ws8&*mA(g+TuC?~Ig-==VN
zc79-u>D_|@1VGs<Id+)mNkT-lwU*@D2Jl2L?!mfJgFa{%7ZGhvGXD&C=D`aL`?-`g
zOg~jT#l)H}v@e;rdjY8Xrr2L_ECRV33>Zp~?bk4+IJkir;=m<o6%;Ed^QrM1!089T
z9}@~nrnM(qTYOd!lp5w_wbp1d%oR2l)Afto<fLST<EQkD2wFaP`#IDeH-hO%sHSO9
zyY=7amCMfoh_RoDy&O|0udKqM^1|whGfc2}MTpme18}$>hG0~)()`Xk(1md!opSLr
zk3W$)o(-<KhFALK+@S4r?mVPu@pUR;Mqg2AZe|e09~5e7Kh|O8Lz4|B2Gzyo;qLS_
zXl%>wH}2lBl@4?|DQo|@+<EH@q<tw6L%HKPWloifs-^H<)ClNu-R-ig!uLf&x)>#X
zhosyorZw%XrZdokn@v52Bc2Yy=3Sffb?}`r>Dv?V)oWd<7qh3vE4<>2=$u*T?*Z=6
z@h}X>z{O};?sj6T_&-`g4&lpe$=KC;-+hTMD>}Yq?lnh$><uN3J+00!>*==FYxVkN
zE5Dar3M$8XGl=uiGix*bN+Q_5t>&fXaG`iMPhYDa)BucbZqf(KpI`M?TiwSNX?8Y|
zib+euVJGiX<=Y>p(Sj{9F6KuA@wPcM70!ez<{d+Ew&%B)(aeg<VY=QR_n-5JIcb9}
zrY>*A&jR~DzwRVJ3WikGz5Yc?c<~Gzox}!x(rn2yu3e@*_wr;VW`SaE3s=>Bh>iZ$
zh0Kb7c!pLOHzh_X#EKCwxnuWG$t{9rjghzzPHPVp5IRe46fG{BF?N~j1i7dlC!(`@
zJBYu31YzmzjU1lr-TFFdu#i|-3O}|Ud;Zd^+NU)ym(1F`IXD+tVwsB+hb8t#yu<~A
z`VZrdW50_GRpRI!+b1kE<%~nMKj$<K#OdZ7P90nvV#VuKFqfKEC{krqhC*ltgoT&k
zAD?3-5Icb2=_`gND<m&5F9MO)6*;a5z5}3>vlh8jkh(WH5V~}JZ@$<GTO{d;+lk}o
z;|r?O`K~(EZ7W#{5t}A86f@d1v&jXW`bBDGl{|215+r_n{&`EQ$Le4zC$qjG^%!T!
zGnD?~Tb4B<Q8|)C%AZtS=R%%AB)$c%nlY&L_0kHW_L_aEv*P2(_~mQ|@SF4>$DjiT
zrqnQ#OwPdr2U%n%diTwo?bFcr%RBC?srwEIJG$Tp)5p_|i=T+G?F<AuWOMCU?!sn=
zX$~O`y@k)UyywgcpTFS=5Sk{9x2_0uUjVDH`WNvRRK@L!o+UG%hMjm>3`%jp1@}31
ztB=s$w5KDZM>eygG!#tuuva5SIYpyzl~flw+Z^&W8N6~L(*TKDN{0`}?IuLC`AS{6
z&wN050UtI}f>4~BKR{Tgg|r4=;<n6kF_vNbDc9oO0AIB)uhRVJ1p%8qxlLI1!Tf=T
zcxzsVw@HYqF?lGC3z>*r+^9F)YBK^&L`7ZysybJ+V0THmPnn)Cs-JJ~J%#5aacO$d
zNV=!2mS`&ijM3Wrcdd42cx_U_mHT!tNLZby+g0Aq`uY;EZ|$G7Ris&E%5XS>s_5kT
z{bPSpAT;KzrDoiZ&x>xSWe7T5=h;IV6VtZJmV{L`G;#An6Bog3g4%(b+t-Cn8is}K
zBbj$mwxhp!>F{+5Lw;EXZiq{g0&zvs!MV8GqrMK$5>!%4!<uiGdDK=w+cJ4+U+MK^
zkv9pXVlHbvC9KDP&s3kdxNB_{iLMD1>HZuxM@TxTQlm*V<Htgt9+49gwz1Uxt3boe
zD4T=Ym(ylzyo}HlIXZX&kv87rq9Uh@BbpoMz0Sp~X-_6z&DXCL4j4|O8yJ&CyL+l1
z&?3I-PJ;iMN2$y&XT^N$UjvGjpVH>8)Cdo$0a{i*DN@#MN{t-s9k^THC4OaAT8h_T
zT_iAJPq1!DR8h+g^Cr}j6!hTu`0*tpFZ*(!jEx238#70&vJLQ&!_-AQQPFI!=K5D;
zQassVj5M6^;bG&&uY5QTPzzi<<Vc2lMq&!0Q5S@gpD%a3lNZH#r-lD1=2t3k7`w@l
z?WqxY$ZlW+8?(hUdTIyj?3+XS##aAa?<5bi8$pY{+_@-53iMm1yjh{hc}e<s<yrL~
zSX$3HrbFWXQwLnD`pd`H^A6V2m-VZ{pljj7uN=e?x~wEYAyK-VfsHxmpObj6TjxJn
z{9zdIHD6kcqEAOwIwG)oUEyr{7i?V$Kx2cTu+1WwG@1<5;PzYbVFodwfmC<IN60*d
z1-p6Mi*LOHGkFg4_O7g>Y?eY&eL3^>gjPo$g!xNsA;oZ;`LHF@W52Ft7ul&T?~_TK
zC|j8UdB;ju+7!k^$3m9Ji~9MjHF6Bcf^R~BD552^IiXXwyeXC`xvafJam(|l%hKog
zDbL>7l*T~Q>px$+JnyduTGQt%eRTH9z9rmYPbNq|aTxNAkQ1XEHYbG251`*Ws?5-*
ziOGi@$|u2}joWDkkHj1&ao4QS(|;fAOk+CMgj#+Yw^yLuwm>u-Ce{bVC{1P5Q;C(l
zEfZYD>|>uW9PZ-anv|RfM~H&M&&szJQ~z-siBtjKHO}0=;9;HtQ<EB99yJ*|PY!_P
zw=XP~siraNLWWtXDp&K6<ChHdF>+V)1<z$!^?cz*Sb}78OghcdtbT7b%<lTYG+Mz!
z9HA=Xy6Wp{ZZAq>k2_gAf}r}gJGyhpLwwdD+qG=3nJ-bVyg)QhW*%ulhN>}AicLP5
ztjQvV5=NKQ17>r4Rwaq{(+Tw)C44JkH)8@CV?M$<a4ZmXA+%Bq%Po)A^;?y>&?ePb
z+6LTx$O^Lb$#NP}RD>kr`3ChOE%6tFaYnn78ONRUZ3q_-v}-en*L3<!a3-6wfJ%D;
z|GpLX57egb$%#*Xt|W}`DqXF)`;lxBZ4lVDyTnihJPP_bF4jbCndr^h(kaZF{w<Zk
z+G3$sb-7=I%#<zIlKhR5`)I_%=v=Uz2@9M9x|}(z31%M4M6EH3<er?yNE`;w<rlb(
z_PMt)H>rB8(MK-O(iMj#tKI%0PxZ?edG`L7-XHfioJW@@7KFc3mhy#QR_GKC(Pmap
z+&!mXTMT7atLJeW5B9C7Z~i}G=hmpAAMS3}%#Qg2oKqO6%8K8-yIXs}4A#SC@Bco&
zdLZBU{DR04=HTP&?fBCDf0l=x3z0MjkmG-vgM$Mk0hVg!Hp|2!0E$aXf~6!fI?Y`f
zB&C4=V*V!_Fb<;sX8?hqC!h=^3u-J-hKa>vNAdsoC1s@kKMW)(De>gLm^kP^m=svz
aKbW-ClZ*`u9b!otpbQZ&ubRF((f<Lu3q;lc

diff --git a/text/problem/theotherthing/main.tex b/text/problem/theotherthing/main.tex
index df656d2..fadf02d 100644
--- a/text/problem/theotherthing/main.tex
+++ b/text/problem/theotherthing/main.tex
@@ -1,35 +1,32 @@
 \section{Selection of events}
 \label{sec:theotherthing}
-
 In Section~\ref{sec:thething}, we introduced the notion of {\thething} events in privacy-preserving time series publishing.
 The differentiation among regular and {\thething} events stipulates a privacy budget allocation that deviates from the application of existing differential privacy protection levels.
-Based on this novel event categorization, we designed three models (Section~\ref{subsec:lmdk-mechs}) that achieve {\thething} privacy.
+Based on this novel event categorization, we designed three schemes (Section~\ref{subsec:lmdk-mechs}) that achieve {\thething} privacy.
 For this, we assumed that the timestamps in the {\thething} set $L$ are not privacy-sensitive, and therefore we used them in our models as they were.
 
-This may pose a direct or indirect privacy threat to the data generators (users).
+This may pose a direct or indirect privacy risk to the users.
 For the former, we consider the case where we desire to publish $L$ as complimentary information to the release of the event values.
-For the latter, a potentially adversarial data consumer (analyst) may infer $L$ by observing the values of the privacy budget which is usually an inseparable attribute of the data release as an indicator of the privacy guarantee to the users and as an estimate of the data utility to the data analysts.
-Hence, in both cases, a user-defined $L$ which is supposed to facilitate th configurable privacy protection of the user could end up posing a privacy threat to them.
+For the latter, a potentially adversarial data analyst may infer $L$ by observing the values of the privacy budget, which is usually an inseparable attribute of the data release as an indicator of the privacy guarantee to the users and as an estimate of the data utility to the analysts.
+Hence, in both cases, a user-defined $L$, which is supposed to facilitate the configurable privacy protection of the user, could end up posing a privacy risk to them.
 
-In Example~\ref{ex:lmdk-risk}, we demonstrate the extreme case of the application of the Skip {\thething} privacy model from Figure~\ref{fig:lmdk-skip}, where we approximate {\thethings} and invest all of the available privacy budget to regular events, i.e.,~$\varepsilon_i = 0$, $\forall i \in L$.
+In Example~\ref{ex:lmdk-risk}, we demonstrate the extreme case of the application of the \texttt{Skip} {\thething} privacy scheme from Figure~\ref{fig:lmdk-skip}, where we approximate {\thethings} with the latest data release and invest all of the available privacy budget to regular events.
 
 \begin{example}
   \label{ex:lmdk-risk}
-
-  Figure~\ref{fig:lmdk-risk} shows the privacy risks that the application of a {\thething} privacy model that nullifies or approximates outputs, similar to Skip, might cause.
-  We point out (in light red shade) the details that might cause indirect information inference.
+  Figure~\ref{fig:lmdk-risk} shows the privacy risk that the application of a {\thething} privacy scheme that nullifies or approximates outputs, similar to \texttt{Skip}, might cause.
+  We point out in red the details that might cause indirect information inference.
   In this extreme case, the minimization of the privacy budget in combination with nullifying the output (either by not publishing or by adding a lot of noise) or approximating the current output with previously released outputs might hint to any adversary that the current event is a {\thething}.
 
   \begin{figure}[htp]
     \centering
-    \includegraphics[width=\linewidth]{problem/lmdk-risk}
-    \caption{The privacy risks (in light red shade) that the application of the {\thething} privacy Skip model might pose.}
+    \includegraphics[width=.75\linewidth]{problem/lmdk-risk}
+    \caption{The privacy risk (highlighted in red) that the application of the {\thething} privacy \texttt{Skip} scheme might pose.}
     \label{fig:lmdk-risk}
   \end{figure}
 
   Apart from the privacy budget that we invested at {\thethings}, we can observe a pattern for the budgets at regular events as well.
-  Therefore, an adversary who observes the values of the privacy budget can easily infer not only the number but also the exact temporal position of {\thethings}.
-
+  Therefore, an adversary who observes the values of the privacy budget can easily infer not only the number but also the exact temporal position of the {\thethings}.
 \end{example}
 
 \SetKwInput{KwResult}{Output}
@@ -61,6 +58,8 @@ In Example~\ref{ex:lmdk-risk}, we demonstrate the extreme case of the applicatio
 \SetKwFunction{getHist}{getHist}
 \SetKwFunction{getOpts}{getOpts}
 \SetKwFunction{getNorm}{getNorm}
+\SetKwFunction{len}{len}
+\SetKwFunction{sumHist}{sum}
 
 \input{problem/theotherthing/contribution}
 \input{problem/theotherthing/problem}
diff --git a/text/problem/theotherthing/solution.tex b/text/problem/theotherthing/solution.tex
index 5c84494..54502bd 100644
--- a/text/problem/theotherthing/solution.tex
+++ b/text/problem/theotherthing/solution.tex
@@ -1,30 +1,29 @@
 \subsection{Protecting {\thethings}}
 \label{subsec:lmdk-sel-sol}
+The main idea of the privacy-preserving dummy {\thething} selection module is to privately select extra {\thething} event timestamps, i.e.,~dummy {\thethings}, from the set of timestamps $T \setminus L$ of the time series $S_T$ and add them to the original {\thething} set $L$.
+Selecting extra events, on top of the actual {\thethings}, as dummy {\thethings}, can render the actual ones indistinguishable.
+The goal is to create a new set $L'$ such that $L \subset L' \subseteq T$.
 
-The main idea of the privacy-preserving {\thething} selection component is to privately select extra {\thething} event timestamps, i.e.,~dummy {\thethings}, from the set of timestamps $T /\ L$ of the time series $S_T$ and add them to the original {\thething} set $L$.
-Selecting extra events, on top of the actual {\thethings}, as dummy {\thethings} can render actual ones indistinguishable.
-The goal is to select a list of sets with additional timestamps from a series of events at timestamps $T$ for a set of {\thethings} at $L \subseteq T$.
-Thus, we create a new set $L'$ such that $L \subset L' \subseteq T$.
-
-First, we generate a set of dummy {\thething} set options by adding regular event timestamps from $T /\ L$ to $L$ (Section~\ref{subsec:lmdk-set-opts}).
-Then, we utilize the exponential mechanism, with a utility function that calculates an indicator for each of the options in the set based on how much it differs from the original {\thething} set $L$, and randomly select one of the options (Section~\ref{subsec:lmdk-opt-sel}).
-This process provides an extra layer of privacy protection to {\thethings}, and thus allows the release, and thereafter processing, of {\thething} timestamps.
-
-% We utilize the exponential mechanism with a utility function that calculates an indicator for each of the options in the set that we selected in the previous step.
-% The utility depends on the positioning of the {\thething} timestamps of an option in the series, e.g.,~the distance from the previous/next {\thething}, the distance from the start/end of the series, etc.
+First, we generate a set of dummy {\thething} set options by adding regular event timestamps from $T \setminus L$ to $L$ (Section~\ref{subsec:lmdk-set-opts}).
+Then, we utilize the exponential mechanism, with a utility function that calculates an indicator for each of the options in the set, based on how much it differs from the original {\thething} set $L$, and randomly select one of the options (Section~\ref{subsec:lmdk-opt-sel}).
+This process provides an extra layer of privacy protection to {\thethings}, and thus allows the processing, and thereafter releasing, of {\thething} timestamps.
 
 
-\subsubsection{{\Thething} set options generation}
+\subsubsection{Dummy {\thething} selection}
 \label{subsec:lmdk-set-opts}
-
 Algorithms~\ref{algo:lmdk-sel-opt} and \ref{algo:lmdk-sel-heur} approach this problem with an optimal and heuristic methodology, respectively.
 Function \evalSeq evaluates the result of the union of $L$ and a timestamp combination from $T \setminus L$ by, e.g.,~estimating the standard deviation of all the distances from the previous/next {\thething}.
 \getOpts returns all the possible \emph{valid} sets of combinations \opt such that larger options contain all of the timestamps that are present in smaller ones.
 Each combination contains a set of timestamps with sizes $\left|L\right| + 1, \left|L\right| + 2, \dots, \left|T\right|$, where each one of them is a combination of $L$ with $x \in [1, \left|T\right| - \left|L\right|]$ timestamps from $T$.
 
-\paragraph{Optimal}
-Algorithm~\ref{algo:lmdk-sel-opt}, between Lines~{\ref{algo:lmdk-sel-opt-for-each}--\ref{algo:lmdk-sel-opt-end}} evaluates each option in \opts.
+
+\paragraph{\texttt{Optimal}}
+The \texttt{Optimal} algorithm (Algorithm~\ref{algo:lmdk-sel-opt}) generates every possible combination (options) of {\thething} sets $L'$ containing one set from every possible size, i.e,~$|L| + 1, |L| + 2, \dots, |T|$.
+Each $L'$ contains the original {\thethings} along with timestamps of regular events from $T \setminus L$ (dummy {\thethings}).
+Then, it evaluates each option by comparing each of its sets with the original {\thething} set $L$ and estimating an overall similarity score for each option (Lines~{\ref{algo:lmdk-sel-opt-for-each}--\ref{algo:lmdk-sel-opt-end}}).
+We discuss possible utility score functions later on in Section~\ref{subsec:lmdk-opt-sel}.
 It finds the option that is the most \emph{similar} to the original (Lines~{\ref{algo:lmdk-sel-opt-comparison}-\ref{algo:lmdk-sel-opt-end}}), i.e.,~the option that has an evaluation that differs the least from that of the sequence $T$ with {\thethings} $L$.
+The goal of this process is to select the option that contains the combination of dummy {\thething} sets that achieve the best score.
 
 \begin{algorithm}
   \caption{Optimal dummy {\thething} set options generation}
@@ -32,11 +31,8 @@ It finds the option that is the most \emph{similar} to the original (Lines~{\ref
 
   \DontPrintSemicolon
 
-  \KwData{$T, L$}
-
-  \SetKwInput{KwData}{Input}
-
-  \KwResult{\optim}
+  \KwData{the time series timestamps $T$, the {\thething} set $L$}
+  \KwResult{the selected {\thething} set options \opts}
   \BlankLine
 
   % Evaluate the original
@@ -63,14 +59,16 @@ It finds the option that is the most \emph{similar} to the original (Lines~{\ref
   \Return{\opts}
 \end{algorithm}
 
-Algorithm~\ref{algo:lmdk-sel-opt} guarantees to return the optimal set of dummy {\thethings} with regard to the original set $L$.
-However, it is rather costly in terms of complexity: given $n$ regular events and a combination of size $r$, it requires $\mathcal{O}(C(n, r) + 2^C(n, r))$ time and $\mathcal{O}(r*C(n, r))$ space.
-Next, we present a heuristic solution with improved time and space requirements.
+Algorithm~\ref{algo:lmdk-sel-opt} guarantees to return the optimal option with regard to the original set $L$.
+However, it is rather costly in terms of complexity.
+In more detail, given $|T \setminus L|$ regular events and a combination of size $r$, it requires $O(C(|T \setminus L|, r) + 2^{C(|T \setminus L|, r)})$ time and $O(r*C(|T \setminus L|, r))$ space.
+Next, we present a \texttt{Heuristic} solution with improved time and space requirements.
 
 
-\paragraph{Heuristic}
-Algorithm~\ref{algo:lmdk-sel-heur}, follows an incremental methodology.
-At each step it selects a new timestamp, that corresponds to a regular ({non-\thething}) event from $T \setminus L$, to create an option.
+\paragraph{\texttt{Heuristic}}
+The \texttt{Heuristic} algorithm (Algorithm~\ref{algo:lmdk-sel-heur}) follows an incremental methodology and at each step it selects a new timestamp, corresponding to a regular event from $T \setminus L'$.
+In this case, the elements of $L'$ at each step differ by one from the one that the algorithm selected in the previous step.
+Similar to the \texttt{Optimal}, it selects a new set based on a predefined similarity metric until it selects a set that is equal to the size of the series of events, i.e.,~$L' = T$.
 
 \begin{algorithm}
   \caption{Heuristic dummy {\thething} set options selection}
@@ -78,8 +76,8 @@ At each step it selects a new timestamp, that corresponds to a regular ({non-\th
 
   \DontPrintSemicolon
 
-  \KwData{$T, L$}
-  \KwResult{\opts}
+  \KwData{the time series timestamps $T$, the {\thething} set $L$}
+  \KwResult{the selected {\thething} set options \opts}
   \BlankLine
 
   % Evaluate the original
@@ -122,106 +120,85 @@ At each step it selects a new timestamp, that corresponds to a regular ({non-\th
 
 Similar to Algorithm~\ref{algo:lmdk-sel-opt}, it selects new options based on a predefined metric (Lines~{\ref{algo:lmdk-sel-heur-comparison}-\ref{algo:lmdk-sel-heur-cmp-end}}).
 This process (Lines~{\ref{algo:lmdk-sel-heur-while}-\ref{algo:lmdk-sel-heur-end}}) goes on until we select a set that is equal to the size of the series of events, i.e.,~$L' = T$.
-
-In terms of complexity, given $n$ regular events it requires $\mathcal{O}(n^2)$ time and space.
-Note that the reverse heuristic approach, i.e.,~starting with $T$ {\thethings} and removing until $L$, performs similarly with Algorithm~\ref{algo:lmdk-sel-heur}.
+In terms of complexity, given $|T \setminus L|$ regular events, the \texttt{Heuristic} requires $O(|T \setminus L|^2)$ time and space.
+Note that the reverse process, i.e.,~starting with $T$ {\thethings} and removing until $|L'| = |L| + 1$, performs similarly.
 
 
-\paragraph{Partitioned}
-We improve the complexity of Algorithm~\ref{algo:lmdk-sel-opt} by partitioning the {\thething} timestamp sequence $L$.
-Algorithm~\ref{algo:lmdk-sel-hist}, \getHist generates a histogram from $L$ with bins of size \h.
-We find \h by using the Freedman–Diaconis rule which is resilient to outliers and takes into account the data variability and data size~\cite{meshgi2015expanding}.
-For every possible histogram version, the \getDiff function finds the difference between two histograms; for this operation we utilize the Euclidean distance~(see Section~\ref{subsec:sel-utl} for more details).
+\paragraph{\texttt{Partitioned}}
+We improve the complexity of the \texttt{Heuristic} algorithm by partitioning the {\thething} timestamp sequence $L$.
+The novelty of this algorithm lies in the fact that it deals with the event series as a histogram which allows it to take advantage of its relevant features and methodology.
+Particularly, it uses the Freedman-Diaconis rule, which is resilient to outliers and takes into account the data variability and data size~\cite{meshgi2015expanding}, and generates a histogram from the {\thething} set $L$.
+This way, it achieves an improved complexity, compared to the \texttt{Heuristic}, that is dependent on the histogram's bin size.
+Algorithm~\ref{algo:lmdk-sel-hist} demonstrates the overall process.
 
 \begin{algorithm}
-  \caption{Partitioned dummy {\thething} set options selection}
+  \caption{\texttt{Partitioned} {\thething} set options generation}
   \label{algo:lmdk-sel-hist}
-
   \DontPrintSemicolon
-
-  \KwData{$T, L$}
-  \KwResult{\opts}
+  \KwData{the time series timestamps $T$, the {\thething} set $L$}
+  \KwResult{the selected {\thething} set options \opts}
+  % \kat{verify description of variables}
+  % \mk{OK}
   \BlankLine
-
   \hist, \h $\leftarrow$ \getHist{$T, L$}\;
-
-  \histCur $\leftarrow$ hist\;
-
+  \histCur $\leftarrow$ \hist\;
   \opts $\leftarrow$ $[]$\;
-
-  \While{sum($L'$) $\neq$ len($T$)}{ \label{algo:lmdk-sel-hist-while}
-    % Track the minimum (best) evaluation
-    \diffMin $\leftarrow$ $\infty$\;
-
-    % The candidate option
-    \opt $\leftarrow$ \histCur\;
-
-    % Check every possibility
-    \ForEach{\hi \reg $L'$}{ \label{algo:lmdk-sel-hist-cmp-start}
-
-      % Can we add one more point?
-      \If{\hi $+$ $1$ $\leq$ \h}{
+  % \kat{L' not defined..}
+  % \mk{It was histCur}
+  \While{\sumHist{\histCur} $\neq$ \len{$T$}}{
+  \label{algo:lmdk-sel-hist-while}
+    \diffMin $\leftarrow$ $\infty$\; % \tcp*{Track the best evaluation}
+    \opt $\leftarrow$ \histCur\; % \tcp*{The candidate option}
+    \ForEach{\hi \textnormal{\textbf{in}} \histCur}{ % \tcp*{Repeat for every bin}
+    \label{algo:lmdk-sel-hist-cmp-start}
+      \If{\hi $+$ $1$ $\leq$ \h}{ % \tcp*{Can we add one more point?}
         \histTmp $\leftarrow$ \histCur\;
-        \histTmp$[i]$ $\leftarrow$ \histTmp$[i]$ $+$ $1$\;
-        % Find difference from original
-        \diffCur $\leftarrow$ \getDiff{\hist, \histTmp}\;
-
-        % Remember if it is the best that you've seen
-        \If{\diffCur $<$ \diffMin}{ \label{algo:lmdk-sel-hist-cmp}
+        {\histTmp}[$i$] $\leftarrow$ {\histTmp}[$i$] $+$ $1$\;
+        \diffCur $\leftarrow$ \getDiff{\hist, \histTmp}\; % \tcp*{Find difference from original}
+        \label{algo:lmdk-sel-hist-getDiff}
+        \If{\diffCur $<$ \diffMin}{ % \tcp*{Remember if it is the best that you've seen}
+        \label{algo:lmdk-sel-hist-cmp}
           \diffMin $\leftarrow$ \diffCur\;
           \opt $\leftarrow$ \histTmp\;
         }
-
       }
-
     } \label{algo:lmdk-sel-hist-cmp-end}
-
-    % Update current histogram
-    \histCur $\leftarrow$ \opt\;
-    % Add current best to options
-    \opts $\leftarrow$ \opt\;
-
+    \histCur $\leftarrow$ \opt\; % \tcp*{Update current histogram}
+    \opts $\leftarrow$ \opt\; % \tcp*{Add current best to options}
   } \label{algo:lmdk-sel-hist-end}
-
   \Return{\opts}
 \end{algorithm}
 
-In Lines~{\ref{algo:lmdk-sel-hist-cmp-start}-\ref{algo:lmdk-sel-hist-cmp-end}} we check every possible histogram version by incrementing each bin by $1$ and comparing it to the original (Line~\ref{algo:lmdk-sel-hist-cmp}).
-In the end of the process, we return \opts which contains all the versions of \hist that are closest to \hist for all possible sizes of \hist.
+Function \getHist generates a histogram with bins of size \h for a given time series timestamps $T$ and {\thething} set $L$.
+For every new histogram version, the \getDiff function (Line~\ref{algo:lmdk-sel-hist-getDiff}) finds the difference from the original histogram; for this operation it utilizes the Euclidean distance~(see Section~\ref{subsec:sel-utl} for more details).
+In Lines~{\ref{algo:lmdk-sel-hist-cmp-start}-\ref{algo:lmdk-sel-hist-cmp-end}}, the algorithm checks every histogram version by incrementing each bin by $1$ and comparing it to the original (Line~\ref{algo:lmdk-sel-hist-cmp}).
+In the end, it returns \opts which contains all the versions of \hist that are closest to the original \hist for all possible bin sizes of \hist.
 
 
 \subsubsection{Privacy-preserving option selection}
 \label{subsec:lmdk-opt-sel}
-
-The Algorithms of Section~\ref{subsec:lmdk-set-opts} return a set of possible versions of the original {\thething} set $L$ by adding extra timestamps in it from the series of events at timestamps $T \supseteq L$.
-In the next step of the process, we randomly select a set by utilizing the exponential mechanism (Section~\ref{subsec:prv-mech}).
-For this procedure, we allocate a small fraction of the available privacy budget, i.e.,~$1$\% or even less (see Section~\ref{subsec:sel-eps} for more details).
+The algorithms that we presented in Section~\ref{subsec:lmdk-set-opts} return a set of possible versions of the original {\thething} set $L$ by adding extra timestamps in it from the series of events at timestamps $T \setminus L$.
+In the next step, we randomly select a set by utilizing the exponential mechanism (Section~\ref{subsec:prv-mech}).
+For this procedure, we allocate a small fraction of the available privacy budget, i.e.,~$1$\% or even less (see Section~\ref{subsec:sel-eps} for more details), which adds up to that of the publishing scheme according to Theorem~\ref{theor:compo-seq-ind}.
 
 
 \paragraph{Utility score function}
-Prior to selecting a set, the exponential mechanism evaluates each set using a utility score function.
+Prior to selecting a {\thething} timestamp set including the original along with dummy {\thethings}, the exponential mechanism evaluates each set using a utility score function.
+We present here two ways of doing so.
 
-One way evaluate each set is by taking into account the temporal position the events in the sequence.
-% Nearby events
+One way to evaluate each set is by taking into account the temporal position of the events in the sequence.
 Events that occur at recent timestamps are more likely to reveal sensitive information regarding the users involved~\cite{kellaris2014differentially}.
-Thus, taking into account more recent events with respect to {\thethings} can result in less privacy loss and better privacy protection overall.
-This leads to worse data utility.
-% Depending on the {\thething} discovery technique
-The values of events near a {\thething} are usually similar to that of the latter.
-Therefore, privacy-preserving mechanisms are likely to approximate their values based on the nearest {\thething} instead of investing extra privacy budget to perturb their actual values; thus, spending less privacy budget.
-Saving privacy budget for releasing perturbed versions of actual event values can bring about better data utility. 
-% Distant events
-However, indicating the existence of dummy {\thethings} nearby actual {\thethings} can increase the adversarial confidence regarding the location of the latter within a series of events.
-Hence, choosing dummy {\thethings} far from the actual {\thethings} (and thus less relevant) can limit the final privacy loss.
+Hence, indicating the existence of dummy {\thethings} nearby actual {\thethings} can increase the adversarial confidence regarding the location of the latter within a series of events.
+In other words, sets with dummy {\thethings} with less average temporal distance from actual {\thethings} achieve better utility scores.
 
-Another approach for the score function is to consider the number of events in each set.
-On the one hand, sets with more dummy {\thethings} may render actual {\thethings} more indistinguishable probabilistically.
-That is due to the fact that, it is harder for an adversary to pick a {\thething} when the ratio of {\thethings} to the size of the set gets lower.
-On the other hand, more dummy {\thethings} lead to distributing the privacy budget to more events, and therefore investing less at each timestamp.
-Thus, providing a better level of privacy protection.
+Another approach for the utility score function is to consider the number of events in each set.
+Sets with more dummy {\thethings} may render actual {\thethings} more indistinguishable, and therefore provide less utility.
+Consequently, more dummy {\thethings} lead to distributing the privacy budget to more events, and therefore leading to more robust overall privacy protection.
 
 
 \paragraph{Option release}
-The options that Algorithms~\ref{algo:lmdk-sel-opt} and \ref{algo:lmdk-sel-heur} generate contain actual timestamps which can be utilized directly by the {\thething} privacy mechanisms that we presented in Section~\ref{subsec:lmdk-mechs}.
-However, Algorithm~\ref{algo:lmdk-sel-hist} returns histograms instead of timestamps.
-Therefore, we need to process the result of the exponential mechanism further by creating a sample from the true {\thethings} and populating it with the remaining amount of choices, i.e.,~$\left|L'\right| - \left|L\right|$ by performing sampling without replacement from the resulting option $L$.
+In the last step, the privacy-preserving dummy {\thething} selection module releases a new {\thething} set (including the original {\thethings} along with the dummy ones) from the options that were generated in the previous step, by utilizing the exponential mechanism.
+
+The options generated by the \texttt{Optimal} and \texttt{Heuristic} algorithms contain actual timestamps that can be utilized directly by the {\thething} privacy schemes that we presented in Section~\ref{subsec:lmdk-sol}.
+However, the \texttt{Partitioned} algorithm returns histograms instead of timestamps.
+Therefore, we need to process the result of the exponential mechanism further by sampling without replacement from the set $T \setminus L$ according to the selected histogram's probability density function.