From 7d573bfedf0a47f03ff85c5f3425e9e5cb528b17 Mon Sep 17 00:00:00 2001 From: jaseg Date: Tue, 6 Apr 2021 23:51:00 +0200 Subject: [PATCH] Update PDFs --- doc/paper/rotohsm_paper.pdf | Bin 3563874 -> 3563872 bytes doc/paper/rotohsm_tech_report.pdf | Bin 112557 -> 111888 bytes 2 files changed, 0 insertions(+), 0 deletions(-) diff --git a/doc/paper/rotohsm_paper.pdf b/doc/paper/rotohsm_paper.pdf index e8748993170bddd7064f49b15a8590207ba92028..ef83a8ae54d6de8170083af11dd6c7defa43e4fd 100644 GIT binary patch delta 2006 zcmaEK=qBTXLpK>4S{PfHT9{i{T3B1yTG(4SS~y#{TDV(yT6kOdTKHQ8S_E5!T7+9f zT0~pKTEtr>iU92?&z6q zO5Oi{iX2I2xGk!x+_ix5h($NMV#Y&%|CN8a4=uWz`QT~E>Z_KvUl$k{*Rja|UwXzc zcIVOxhN7>Ro2Bh;Xg+;#`}Uh_XPY@UynnD!-#{y_v3=i~>pbbDD{h~@dGSBP8`09M z(+g+l3Ab}DHfZNuY}n4Z*r=Uzv2i=+Vw3Hhi%qpQu$UScn@=|nHj@Xlwnqh<>9RXJ z89SSsIGdOmxELEaTN)aeJG(d=8@ZZU7#cenni`wfDcBHFGW}GPS$O^4fN2X;-H)=~ zQJ%d*C&HskzdHv&`rqn(NB51KNiJS-_Ol8 zetu5+{AV%yj*7S=lV6?sjh3Cf7|> z;eLIqU8|g?#IRaMyYW;_ly>i%>Q?0}w)5kYH)6jW%yvpX*>Tz<{)Ky!j_7^TyG{NC+PGvSIuC&yufYG z8TU7PJ{mCQNKWqPIhkwL?(w)fJe=W=) zcG2tbh%HmNCBL+tKm3{1YI3&1ql3S5Rqy@OQv1T0g*V=d!E>+Fo-Ll=D+s5PZuCR|U=lFE*a_X$By?pG_+`hhoX4R^< z@ux4Y(PO-JbK5gZhoiE;5A!zKbl%Im7=HEp_M8a24cajqkKDRaCFFfN)GBVn{!1_V z>dIV&_TJ9fDKhz1a69Fv<$d@~4ynt%O&1;ft*YuTZB&dA4KZ%C zmD_dhVrk#H;^2ep41JR<8`bwFotwPpebm(ZVK={QnK@g-u(rhI%Z|m?vUgv;@Jnw^ zV7IuPZ}w7YRkm`D{Kr!TzCx#e9V-emjk*%q{VAxxWW#LzgPc*WO=cIwZh6{ly*0Vw zt=Vs9wusGcDsr}&J5AQzW(l@ZbMfI`Qmc&ab;4cHi~U z)$q4d)(Nfud1+DJ1U}mX>kI`ysqFhYMeoxsLw_OhY1MzK56EXFNThiGIVx?|z1NKU zK-{X@h4N24{`8hwd3&#$dtILGfP)0fx2$tlgV(*P{4LiMKlR$vf_Tdfo|ZpW7I|3L z8~(ed`_$m8^`{L*Ut*u$aD4j1{nTyasluYCPR>5{((=?y$5S``r+j9r*A(9uaBt`8 zn4GYC-P-TV1MGfy?%d+F^Nyg!&%@!lU$+LZFHY1s)8y0{e{y5+v4a&4+%M;|RO{aC zFf@>PG-1LK?XPA!4JsmzhEp88{C`HvA82zvbxfu{H8?!AST*CIQ1q$?+Dmr^-rN;? zQ!IGf>$&P>PnyLHH?Ed>r?I|%-J5y5*Qf5C`N1Lc=CU`|%ipXIj^due9JTexLCsUM z?`yTUF>_n(iMK3@w%p}rX%=evZ$^=lY+ayV?Xo#Dm(SU|e9rFN?NMw`0~8NFu8+!N z2|45;!5SK%d$3;E{mXyRs|!A}YL{BG`~O>E^L53iFXvAgpFdQ8s`!^g^Yd^meS@T_ z*R&#RW&Z_SGst<%m2hL1^r>GvPkH~^(LDXKW436{jg>iPg3M&w>!+NJ+M3W^mVTio z>ZVoP&1>#AFmXzl>5boYDkY5jWNYJ6>v%tOzWD6>;&y+K?w1Ch6D+?Mz2FSo5T40X z#dyDO-(I6%4rX6k>n1S&Jy_TOqu~qt!Gsg7iWAfiE|rST+^2FmT32hrlS_eOyi=ca ztrO#&{N&eOF;TA~_jRs^Rd?Fg-(R#t*ZCryI)sp(j&F> zz>OmD@wtJWQ+&Llrc9b-{9H$CYRIvS?o%pLjjt>!@)V8Pvcf6ow^)RUQ_%Nq5h0x4 zQl@!i9)ADC$xA$F*MwEAA-Y@i^L`&$mZccVy)w$DwSK$l3ua4$IF%Fl oSr70RTljdT&-=b)OJT=%`%R5=#HL#$nkjJ@ajB}h`nz!f08QeeG5`Po delta 2011 zcmaEG=qBT%LpK>4S{PfHT9{i{T3B1yTG(4SS~y#{TDV(yT6kOdTKHQ8S_E5!T7+9f zT0~pKTEtruV1MS={ej(6G*$`FpzN_2A!29TVMB3s2;B?wayl zuBN+_l|l5ZOUvY=F-NvPE3=#V{OZF8Gp;S*-CbT)RHFJuowx5`t;4Tl>~VjE#J6pj znyInn#eILr8n(mhG$aE#cny{{biA}H6!`aN%B}s1I=A++rTKl2ntM5!pUe1h`v*be zgj08>Mt5;2MBCf$c-p)-i0{DOw|TO*GZ=pJ+5KjE{7Cf2i_=wS3&PrW?VTh0mw(m1 zvKP|}XXpvHvoAJiXJ2gC&c4{Foqe%!JNsgj?d*$9wKlMrm>OD4Hw`wE2eY#c|T9!!4izpmc6eQv`E)+cW+_@#-3d-Vwl?iSE4NPUu{6|J(m z{OOY&QA?~{PKHj{oO)yd`%c3r5t&QWQzlA#pUYb)o-%p1U*GPYFKu>D(k5)aeZFzu zleEc;ohH^@m>=VD&dZ#EEo*18WkrVcpM5H)dG$JdhGj zG&#fg?z%jGaDrY>Q)Lf_0;lT}r8Ol|I*pwMo%^pj$@Yk>_iv0X66t9(G~iu!SY(Bu z{%1w&e4QTV=wmEO$x1iAOx`(xcQ&JOqSzH@=K3>j0?!mQzP+76h!M(`1v*JTtc4zsX!yNA17FCCDZd){aPOjRo^Ebs7CC|;3 zsk(EsEHT_7yKdr(evm-IMO% z0kdk=+xXKL*XS``ySeQd+k!`Ze;=|r&U4A%{$lm3+tFq^@;5}+MI^1wvh7^@RO{{e z+wqwt?)JNtI`3s}i|O)wtGVH5ZS?%Br{o-XFLukSpWaD9f-#yJNj%NaiRyl4J<>iw`AU$)GY);Fvzarv@iv9;{o zmoNO%TNBtVZs(i5WLlN2oFo77RDrM1>0hUc!c3#CM0S4)DlpkFTl*mAy-z}0nyy`N zd$e-uyd&A$Z^;`Sm}RQ;@rCE<`lW?;)n*(?WM5S1V!Mz%#i{%S>%JqOH|OMtBwY}# z`22g@FF&F6`?8joOshEiT&%RQ3|2oXDA-s6qyrR(aw|_JIS@kBK>-!Yu zdg-an^4jfNgdeZJAH)~DUzuOa{eD=VY)D`If<1=LmVpcB>{&S{FW?+cz`435do({x zFZyTv^pNb+wP{b2Vk(!<{q)ZN)Kbw?Prn^F`F?-O>h-Nw5}b<@#YDXRc=gRSVmroU zKdVmpM)pa!o~DHY?JX*CbJ7koc{mA*ICC!fGG%}LSH?B=OL9&Gnw5o_g*J)lY~0DU zFJPARRNdQC)*7bHzE_!4ZI>Y^Y<>En_0y^TQ)9mt#NM3D`F-lNwWsbCpW0`YTHjdY zuzH$>g=gj4?57t35**vVYr5xYyN7EYSJOT&ALzH_u>Pr){!@&Lr)(~tTD<*j*y#l_ zS}GM^{7>^Xd(}(uDKFq!rCRZ(vHYgpQhZs)pu~-<+5hpdIM>vjFz1S{LcO%JFqI&Z!(-`;EM1zsZs;Wyoj ztX&SqEj4_>SY!R`+o>08Cfx9W3^wNUfa-+PN%MAl|+(3r3&n_Jh*t8g~I zuGXYS%f9PqO?&iuwXW90Nt{Q;mM(d6rn1{hb*ka5MMj=aMWRCVRyK8ug?ePYXX!>x5OUA-YSl7An`4 v1;aRra!;HYKOC0fn|Mi5+(t9^%=drnFQ3lwm~NJ6ro>^wrK;-c@5TiHk)fu; diff --git a/doc/paper/rotohsm_tech_report.pdf b/doc/paper/rotohsm_tech_report.pdf index 9cedf4de8ef3bf5e3977962547ed4fc565acd5c2..36da78385bf8104f8f35076c7896012e1dec4282 100644 GIT binary patch delta 12794 zcmZ4co^8S_whi~Q8Oc)B7*BdrA~)1NX;&SS)bj@=MuI zz3zoKcplx`WWXoCO0D<(W3`+s4ClYhobEK^xuAB}&ZP9^FJ}BZYu#?QT-nIpX12v= zjoSPE)3&Nts2T^xIc*Y6J2dZ2t%akBZScX=)XS&RzQ&51ztG>bZU4jMo859#=I(Mh zv69Pt)}6imwWgW|jJ4~2{pa}-DY!A+VvYj;a<}*kKOf9$UokPgdD|}2+byF8RH$*niFV$+7F*h|c;?nm?%}X!IFjg>tF%>L~Elfb(tX~^i8gV6e zI$P!vl_iNwc1te_-X$%Q#wL*^(B|f_%XwF@lT*-ycX^C2C-He|cDmmGyDxuzdHMgF zfB(&R{mWMUUGe4Gr}ZXEKwJF4 z;)(K;=fxf4WNL9vecuGwe<&aMZy6}f#CTw>B7^q|Sr&!G z>k?NiS;mkM6mXeU!$C&D&%wH(t-DoLge9P{NrCU2Kw5+98P0_7*BKd_EE^W?k1l>z zUvXqo5gP;Jxjq4bFNVC2_?j&Km2G5{QS|#3kpBF5KEoBsgr_Ve4ff|4_?R7J9m@0` z+-H${J8gq~i_F}Fe!*}3``it9XBgj+e8N)N!YsEs>%^)5M}_lvTmG+m%TrszoG`6_ zVuHkpr{&)DHT?$taTWrv9`H0c-+8z{JJNw6p?<~Y#j+P3Z~Ue_W3liTeqQnP70p-o zOKf1AqY&nxzCrfL&7XqL1b=@o`FBX}-ExAx0*q zUUK2NPXXl|5zJidk<2=cW&M+XC0{RPaGvvK0pA37*Z(}i2hN?XKl;^texIpG%Igo+ zU;fnZRN#BCe{#LZOa4+nQOnv~SLSQ`_phv9WFoh<{dI+fozU;|VIheR>gDQ^J-iR! zVT^mzZ$4ped$@qYhlqfV*}vcZ4|vPZ^L_uhRSr9ZugE6+xnU&!eg3ikpTDo4{PKRn z6B!4C5AS0ywlT{d=zsmy|8Rc2`H7<^Uj|;aH~+WsVf~!{I#w)?_!tw`*;Z?o*X%zLxA zjXB@8+iy?K@oxHaVrhl<={pm@=X5UgoKSjs{^d0s)}`_GmtJRhrLx}iXzdw_0e^9*MU*)#1uX4-gX|GdQ66(GP zFBWT_H@|Z0zGIyiN{%wM>N4-W_iE{ZM`>GjRDW!%X1QP9ZZ-4U%!0;M%cq?Cxcckdyva}2)j3E$-v2~Q;@Div2wNwS z&pVS>M7}As^hxM_o5#Qx@2xs1$cf>}rMvOVH=Hv|ozJyS=E2$gSUuGTi*~PiC-G}* zz31oURy8+L^le2lIk3hL*3>oQ!XEJ_J36$aw7Q5M4ii}Z{{uhrOUHMH`o6C zIn(BxK$XoLxfj}2I2m&l^|efR7nQ-j%D*=>ds@lyuWP<8j-8vx+g4qY$u%{Rm$`Pu zX)l%);*m>3SnF1q(ycF%OzMa$l;;eWdCp8uu~ z*EhAlsr?!0RO8%ZKEJc;YYFQ*+nA+J8P{2+&AV_bzG%`sjk`)A`n3(;`gDK0C;a%a zcw>m-i5D_@nfeNFMrKetNbo9yh5ozp})_tzI_MPJ-vzW0(@Z;~)@FZuTO50F^$$6>M#auqyh|i{ zpYyB}zkg?!%=A;*YQLu)_M17a-cIOx(0;$KOhG4h-%~&G@zeJ5)p0YbWeV=<-p|wR zT6lEz`@TI=s+rRlxXcOoGWChrnKiFBx4g{q;EfSp+J1lk{}-QUDyuR@=ScepT39}5 zy`FLMe1b<@>AZrrI_=7HQ%(vAiawHC_N{nhi@uW9Mx_aJ|IIPI<8UqAHSzeYl;@$k3C#suI>isfnQF*re+_tOyKkKhbrz@S`zUH9i!euvZf4!pW=w(+| z{`Kb6=FVH88~CmHyAB^Zu97!1Y5%i08UD7Z+w!ipAKI{L?%b^*E<$B`rB5v5-#nXJ z8ZaYoO25GRP}a@%)6ceFEfd`pq_s^*UL-rVcGKd?k8W<5TawBBcU#$41r57@)5@Da z?>gPRRaYX-r2g|i^$#mge=W<;J;=IncE$IsiwtL{IbQKTr*v#b!S=UnI|O!DPVDkO z6Z$jro123FvO7Xi+Bcs)-&WYMY`%1=_17&N-B(}l+PP;<(?#dCW!5$wI|Hxqet0$a z9qU#V$@+;4*1oSd%$%vQ`;^{Zkvj_<|CwpHKK&9HwTb8A2FG{HR@JvJo73c+zWUEm z#)q1jO6y9lPPq4*RcW8vJ%I@vZf^t2W7{&i)h5blmVcVG^hv_Qo6_XvE3u!}C{1+fK%;q<+KOZ>POae|^54d3F5imd8b`ugvcJU1z^<^69VF zbF)=qJs-&*e0fDtv*W_5vPW_`+a^jmCrSQ&`O16xpEzCVqpMYNZ}zVVi#Ggv9iO`_5H)Ibf2rw-zjd2`?8C8x zhnGgFX!cpePPH|B8+W%|{P$`m0CYj^8ZK z-5k2e<6g#*HF~+KyG}mwv+(|>QDV2a%WZXp$(e8Oz8$lhFVM3jN#^Kx;SU!NTsxZU zc4V#UpG68cRBk-{aW_2op!Oa|mcmKxjwNnvlh)5T94EB@$Y%HD3vG(!o*G_xvHqu} zg+qJwyBh4Re@nWq_bp#{ zrFkO17Ted~YWEc`D%8EH`CIE?#9Y5iF7#74gLmsc?loPG_co=y-&%j~Ok!wN9BV z4cy?gXv5b(JL>&H9(8%<8iwgE+3~NzC2NY&-dh(-1K+uO7+zwxPi0*c;?JiN+p{<% zvtqZ@Y(s(c)uI0NS#KvgXkFb?zj~YajoX2ab=*vs9z5*3YS!gn<0Dh|?CZvb`c~OF znK#3w>~}SB|GZ;$@cTip-1ym%t_#GcONmOUp1Z2CsjX}O`^+S>EE%<^W|!D+hfhw- zX*qU9Y|4iZ#d=SZ1(Yn!Wv-sM)3aM`$H%pf`Pr_sdLCcc(EH-`+$Vct&OAJFiNp2jeGv~2`HTtc3XAw?WD#B(Q+|z z+sV-vq9AvpaKk3Ii z*UyUzD!FnuHuUb?C>(t7Sii~Z4Snqgc2AqQ#>rw)wC@-04;EsT6DPz~Phnv?C2Zv3 zysFRP)N<)&!>U^S?v-omTPO2BnQ`>>6BSh_j``mYe0P78Be-vSg}<0<&0+5>PVroa z>}?hjPml4H{jE1FRHBg})aqMt^83}KD@#N5o-b$8@32dFr^S5my=U6g zKc{AQEU$^i|t9;!ZAElFbU(|>GdwRmxMbDkN zB584dhS}z#mn&x9-+HsF^KRj#{;N+meEydlZd&iMO=DsbTbF>4N>A07lkS_Ie-@ne z@7As9JKc_c{rpVe$&YVRhi%{N_CL97bNHpnZxlWK!xsng7l})V?Q8G#J0hicb<6hN z)dwr@UEb|;IR9$ZPGW7 z`v0r$bjqfxJa)A_U)1ZA=iE! zFB8^V`uw%3h-UtkU8df?pQmaCycM7O*#C0q5Q8iV4K2g`(>6zwRvzc);Gx$bG(3lSVMw>j?Ip6IePo-^NtZNV<# z^oL&z3fi}v&Cum~5ok2+gOqvwb2g387?z*UKF_J;y0P)tB)`n6O`9J%yubanMf=~` zP$tjI#}fO~iuxJ0-Me7Eqq*m4yyhiK&qV^l{Y^_`Mbxb>Z!>6)o0}Ew^OsA}>CbDU z<7ek&luvpuTJSZoQ{uCmt5WVs<%P{j;hLuZb&S5ue3||K>BY%!zTSQ@JH7WNmuY>a ze4f*VRyKhz!gXsCoZ``=eff9yD?f9UMRqPz1h zGb;$1wa3rZ_`#X|@2nE{>vU$Z_09%mp&ykli?8F`;&vfh_vQSvy^uDftk?VM zoOq~dRm84c^%jZzV(V_1>}b&vvplr(=4z{#uNW^B$r){zkdA-4PT{n}j;@(*laHKU zdhTUn8UO7=j-P%=A8Y6~OSF{O_cBo4Z%7 zW;fAV(y4ar9)F>{ew6e{iG!PLC$6$MwsgnuuW|7|=KM)WS^T7?o}b+(h2?LeaiDwH z3jWCJ3nkATTxiLoWj0SdIFWb%tk4!; z;Vs|qM&C_kUpi&=ZUK$+)9nA&n=I?(U#01_@N{`!>Dgxym*#pdy1(J_oN2SBoJe^f zt3Tg9@zxK$4UUbD-XbeD|BEYEzp!kTiFeq|{XC4-p;ey~=I_%=TJh#t&jO#%g@^7Q zKU-6FT(zk?d_hpyY z-!+~kwEo-g&32!q>;enqKetId40>K*AkHnGa8xD#Zrg>mPwyzPNBC}MsdET6dr)~v zQeWJ6bK=}7FWxDwDRf%UV=ew}*POe;zUE%7U3FG-a%)aCT%CNsRI|L=$nhs%=K6s7 zSAS$Td{UFk+j7HmX5u9KH~;1x4_?xiP^~g(>2Mp!4jwv?XoLVIFOC!Pe`^JC=Cd*yjSDn03 zxoZdau_sGv_ug0i``p6REcfHSyGKgX4=uP6KmV*JTXykh?%V)@E7QDIwQJtdjsHL8 zZI#*L&S)F+U-ir0mi36R~S{5tu9PtAre(}Xs%cS!~}wKmIs zJ=XPAOecY#At~$ej@(~eS{usT&gIW@`IBiCbG(W5Ci|hT_?PlF%N11DRdkjrUlp`A zchfF4@Lg=FYO&VZrPk%KZDNbv38!==HZ#HF^LEa#+Aq4sV~=P3O&+=9h3TBXJ)#P@ zUrZ~_G1({YXn%L@mac^bE1#audK<^*vd^kSDtYhR%*(qp@7ma=o>>^~eshbC%f+Y} zC+jy|{WPInr^H8T{e^9(e|2~K%I&Q_a>v8poiRtEbi-m?2Q^GXqi@^_JSMZx>lZFaR>_91f` z|Gj4u)VH5LAfRx~Y3D4nx|iJFPOj;j_iWy5-}d^9`#UY!R;CCs2ru$~s++!weZf@o zqiZj%(p(;Jq4CzGG%evH(xocS@yQw!blb}ubM75eJ0|ruB~f9zs>Pj6^%)y( zzI)lc>A61`XLg@=SDA0V`sEL;8)tIZ6CZm>&|dcVCNIzpLZ7cIjJA7 zaG&RCbl1A< z<*UcdSh-cF_xnHPAM$BCbWe->teRLkq1Q`yzVP0|du+b69oeqepzq^wdAC=O>eXg$ zgAJM89r3yKB@MRW-E;m;@p)1-U3=?uD~{MD(=7r&9=Gyjxc5nVPgB6dr};1M-(Tqd zW#XihJO;BGesg+s9%Swn-`FLTE#&zTaT;v36i#l600>s+coS!jBbUB`3l@(L-} zI|p?|;%hAnq_g(B*vnmg?jPY;|IX5{UQ2xY&7YI4md^b%C+A3}T_V?`oo{yS?sUGh zHN83g^|40%_Qn%(M*AA3t*rHqkNzfeaEZU0QD%pD>NOR|`RV_?e^36E zlYLly^6i%$vvf7f{&6y`{T#Sh z@!_KPGpeU9W%y{FmLv4bue?9@Ug9aOtaI!6BYwYL>r;O5+iW(IO$z z>dNo6PL9~W&_495N=i}4{N2W{oJ~#c_~jitc``HHf4@eKVdo#K)7^7Tgp%J1FAF%@ zsDEkx+#`ROlP|n5D9L|b+TeHZ_M$f*v!e^e>LXY0=15x;e)aI7jMe_TR>UoNzTfba z#2(xK1*;Z^FW%dJ*0QBUye8e*E$yza*FCqb=ezDZHB>l>FZ=3zp<(%P^Xwl<+lmi- zwK`fYnLV+%Gwn#2g^hVTbDPh}J$sG|rKYd8=$oRWx$2k0;v@Y6TeM{VZG61a{+&pkPt%e&vnSkL zd)Q=u;DZAt6DEnzv54OtdGN*u_G=Z-IowwS$)C{M5xjaTALs1m`aG8p+a7JUc(IVmEI=k`5l*4oRcc=+PNbL)fVuQXj5@IB_}ZJ+-8|2nQu-Y@laU&Y?TmkVkR zTn%`+e)`T8r)Ncc_0_kuuA{>AG)R$6;`G-;`9P8NGz%|?ST8c>Tw_D%5kG{IuxB7O=+M7~dfyr}{ z7DVn0DJiN;)NNnte&oEl`PmtV+gDoepY+pMzUEx*{4++?Yo91fon3VEV}{h;D?hu! z>r2dnBe~BdrV7W}<()a={JQ;}#Im|hK8-K8N=_D^zAE_NY~IStGG8pc*Zoyj3h%m- zuyD;ShKTympLXWU76@(rB$<}bbiu6es9$vbG_R|NW^l9G)NFJ;qne#@YekTQ`>U zVYPXGXHOC2d=&R^-VL6f^DKoECuz%v=Dqg%+W*EwCX(BJLEF!Dk9MV&il}F;dgUgj zuy?|{yfvNCVS8r#vI|Q|y!N=eR5D|h^k12^szF)XeJ(6}lK#|lD&H(#m5cK?KTwvw zeCKP?YW1qZZxiajekr(H|J$0?-TLIOZS!+1cddP{@_*Ygmnpohmqd;y>HB(js~wr= zVi9h*;HB5pIjQcVnQ7tggH{))&WK?spH}{*X_?^pg`ZEBv$m|6a{B1pyKgEtJ-Q(g z)?94qTb!`cBf>TO$Xv~;Gx~

&<3IZo0VV#+L@K=ARQUb)Lw0qFB!yu=r8V{VAd| ztJ1zs*my1MYSF0+SG8of@4kH4Ch5b!orgTU+5$u>Z|}97zKGMx^~&ZCCOc32%h?`HFTYY~;Nr_6>RNl(_;;Y?QU+%lq{Z7rxLF)A%jfFDl zBGvWGp90Ni=|w)V%zGskcG>8wTK$CkcR%`v&Q@D_t@3_K@FeC_d!J6{?OW?nr5-cS z%1ov4phfB>leBbQ!^z(q?=bE;3zJ$~6wQ_TxT^QS*8)1A6> z+9WaFi1V5P2lkmY&#aH#={@OVdUs9#Ewe>0mJ~*s7www$qh(Hvu|2acw@TV4!O&xO z>bKa<%$cNj`D^yq%h&Iu3v)Q?Wd_aM8yR>gc_qu@vt5&~9nvbjN_yYo|` z`9r3xx$PVet2w_)errCrXGkl0@pf|H4dLyz3XCUPSxgN~jHi1oW0Z%ma+filWwJB` zFOqm061O-dTS>eI?*8{L-(@(sv};m_x>b;rxu~VoLQkn>g4;cx}L8m5U$s;sOOlh|aRUSQ;U z%a9?n(4*hv;T9K_N1BF74c1Gqc3AU0D-brCRKl!rv5@UX5bM6+R~aQ920SjS-Uzba zzSKSamd7fVjv#SOJ{_5s5~h_qr%n`$cpm1Sz+;jt^>PaH!qSOl*Cw-vFR}cP9WeL-->ZBNHPNlv$(aBy|aQQX=* zZL`oU1-3~o7Ud}{jM-d8EiR1R3ZkmBY!nq=FXQ~G^0mc!SAG5e4%@DCi2*+@WgfZr z|DWQd&K}-9E}DYU8C6^3boBcEee92JTqi7n5K4-s003I@{) zXUTO)rmI~mm?L13r2cf#nse(md-AD&tByBYal1*?6QpD8Wq|2wl@aFe{{`&ttQ&2Rs%K0RJ@DX)54i{w(tYjNREpXlT-D!x$n z#Ud&H(|TW%j?d3-m-_jf{iJNLJL^+uu(R0yza4X*mF`@pR{7R{+5D=B{@rg9f0|nP z8!VjL_fjG1X!2`42i?^TO@Hn<+efVRQn2~Hu*G6gz@>Yx<@v6+l1{w0PO9fWoi!_b zp3wdT|C`2TO^h<%nkt$PJU@2i$Xd_boD#0|2LG&{wcT44H*Efz$~@&w<;Gt}}2o)qlLtZaQtWdfD-tM(evg z!{q%>7e)GS&OhD|k*2+7f$xG{t72s0_3Jl<*6}a;lYZ&JyhkQV$Bv2_URt8*H|yv8 z$;XazI7|#s3+vc+h~r0BcZ*+g=Fz)LXNFW>6PaI}v^C~xVdU8xi)K7oZMFX9)9sI~ zlC}J9%ukotXz2G+CtFy#&iTLEvL~rQKDT!p+i1`FksS7XbH%L9t8z|N?(H#@Ebw^9 zGBa7&uU8;4u{InzEjx0;|0;Oh|B91j> zY=$%B*;eP~wCb&2&$E-rRks>>y~Lt*N)Yu{I@ z{>us~(u$g_A(`2hFv-?_zaOLP_FB~_sVh3iG8^t+R=Kxg+uH{({eJwmy`OC>cj%(| ztnvlf0o#7F{S0bps`IJMnrDAy-4?%3g7u0y_20K_xYuthb2fS1_3rD^@3;(X<8Aw0 z7VmH06gWT1etucCd;O=0=dAzO@;#dP?uyD)rRVKg-U@qfT{Qg~K2<5P^m>_Et89S6 z@ku)tMJgw^Cowy!8bt}TgciPfsN&_D(Jbt;`}PCQ^@nBo z$`Enp%D2882c})^Ww^a)3!73(fae;w+L;0M%opFiNIS~L-XnFIFO9kWu9L^{$6p@( zcYMABb8pr7abMe(owqo?Yi0gPIvEqTi>$fxc1_;k1ZF=9Ju{jcXrFx zjW3q(di-=f-@aA5vwv@yC?NdrmeUrVr7P@0%6VNgG^1kBy|;TX5h1&rBto zwt0(%SL{AZkcT-=r3+C@CV zDfRrqFAh{+_b)$j_p`(+6`vJ$iIeuN^j|+$gkR^P^M@4fRBK01Ip#^$TOLkmDGm2f zy{nf#d0~{--`m|wcDE<-K4Se6w67#y-Qn(spIn z>t$IT=jRd z%*M%Yer3j;c~-$x13T{hw4f>(P&ENl_t5@QLz^NqJ7>JxIKSm@kk(Sc=3u!Q{wD%_*1BpeGpIguTv*QQ<*|D+ zOrK21IaO44G%e@cv-|6w|LhWdqx}1bSiQl!uBmUNc4;i%P;^#mo1FHcJFbG~>#NGY zeW_j1ak*yOy|o;A3phGESkt%FEa9*XbCJ?=T3Ri#(8+efE+<-OJa0{L7zyN`09Z+Pd)q>)-y#KaR(VYAA12 zetzAiKA`Qv?>&cJIY?HCERx&M{-(t?$$sPUH=Xqxe;EI6wN2N*;r*>^Z`$%VJ$n=P zZ`}Syw)%Wsy8MaWWv+2gO9Kzj)?1zPNi$#UXXxec+KZUYXHV%aI{IgK8>^?MWE&Hd}S54Nx@{D}?VS@e} z?aGtB_J!qK-{s@x*;W2J&1bK;_}ynwcg7YWhWp<{xt=zzzhJ;IrN}zq)xGEw$Jz1& zYvym?vd^jR)2zQ%pM>YvfBQD$zI08><6Q3g`|F~`UcY^!TQb|Q?8%DxVZuAEWU*Zp z2@l`!w(FmPmH0hf@rfmhTVs73o#*z z+J_VK9`EM3b>Di){&yD34j$~8BQy8xiI)fJm8X}9-G0)#wxwb5mDJ|mI^`qv_oB~< z{;jy^n(*>=9Shyxmtd7%gpQl=Kq|#{HxicXw_S0nLB->ZZ?=Lf0eQz@10-m z>It`&t=qox^n@J`7z?Y*A637elWTTK+UtUHz3LK1dD)zLy_c7}b{B8k{^7>6Gk4G3 z^l<*P{=u7VK?&WK<%e@!Uu?4~iTNJ>;oIIXo6pYQ(`&Ei^zVz}pNsN8P5(~b&t`5R zv0vo!tbbv7|FfTGR=?jD|Kgv-Z7$LE*UmBpZh5z3k-m>jVp6wV@WuIbw~W7@c;TZ`ziw|3id5oh?yV0huB!hk zy1KsW;;SuM(<)Ub9l111W^HWf&HY77$|e@DPm8I(cjI$Xq)GIjcXx_5>L#$8oPW{L zw2aaB|HAuiX&YnoI^-95%>Q5Cd+n9Z>;(Dg-~X65KD>3jXx}HNB7F~|s6QbKZ4OS_ z@!VdHXL{Jr>8aOV9=n;#S#Gc=`LUhl>C=0n(ptsacT7sY8h%qoV#nsX+%>Dy(ByAb6Ov_3pQZ--Kij+UY{tjp(3&%1mupP*152IcO3&9{-x2*v_gj6w zW05ms_|cr$ryo^zFXJ*(+uMCkCE8o1>D8T|QXlP~ZD8g`g}Bwo@rKtdolNOs<%2enoZ?zry#8FD+kr zuGMen-4fd=`}u+MOzF?F8=RzX^WQ2faJ}*^FHAZj$Jq4!BC+>VPQ*^%6#M;VjI`6A z(;uUqPL{7+$Z=5Z;<25D|Lji&teUcU@wRCa`<}c$-K4-%y|l~aOJLQs{Tj<*BOD0|9NMt=}k5?6rR3*3uAnsfw7aTg}ITlk+F%fg{irdsga|rk)^r0 zrHP@Tsgbd>oq`QPC9&|e?WP8nlLeVH>t!!_7W*WM9Q#;YwWCw~rjZ>r9k+**ceZSLJaBv#$}U2nF(>fG;dzVB?G&xmx_ zP8YM?AigRuY||8@;^=sv8~Rhb(Pv3}SvcG9@J?A&cYJsp`v6-`$ zqvWhPa}`Pt>P0+$W3iHHcjDa5Y?=He!9{|{H8O*jnH5Txp3-{L{PzNP?FD{j0}f{c z9%TcrWCK3-2MRJxoEOqxR$uKfHsDTwDC4s`we;)zdIS9>>ojE_`uGI-IZym#sp((E zbv~havy8=sg&GaFOxT}4WQu92+}^qU*M9Rv&a6D!`qFI-(;GBd<^ow6^!`}S&iUgX{c*Jf8PHHj>1 zX5KR88@&nUO?Np!42hEJ&#v{UC*CGczqH|Y|9LOvy#3}=-0uF%)#}~({coUDdHv0h zq}oMnIi4F-4^Cr=7V+5ztRJD_J_Z*cbSuUgG(bdFQvGoC^a#cD>W}A fKPii=xFoTtq@pM_jmyx`(9p=3OI6j?-;E0Zo6h{M delta 13434 zcmbR6if!$Cwhi~QCkIT?+RT}Anxj6(-Sen_{x6n$FRLqFI{aExxBr2=;)Lawt)EDD zZwhd7zI1!S@rTZbyL)e#BrayFSbp9{^pH(wMC7?pYwOnIU&`-UzPT+pQ~sXsoXQ#d z-m71}C46AgTn$6Tn_R|?{@?88Da`3g|I5ED_428-ud&kRFZ4HU+y5~8X1CmwxwjlV zR#|ZEy0e$R&Q#Mtv3A{`|2$tK1vjQU%rW3!?iPRH_k-E(D<-BlZ`);h`$c2i;{WF6 zackrM@PC-;Hgj^o4Ux_BO10W$ER2kexb%He^U_N)j1>%EOa)5=Q`5wV zHqtxegMz&s9385;H>_2;Ag97`foUd#O1!Pud(cjabtXUGCeBwX<+0UBWIGW+?=WgW_Qal?OZ{D(Z{xjcvRigt#b+N#KD~F_5 zCIkdsn-)5S?SiLv7Q+(9Z3-F}q!zqMNXbp)nXuh}?dGk<7mUjiG!Fb)&w4;2Cp+om zZWHVJY3VwK)(ip(?2MApHu=n!(#;C{V|^GnII@xx)4%`W+pvLohGXNlZ|7|{ururA z^sbflsS~c)HoNJ+K$FA4^MYpQ_oW-8ZkW4wuHhA?B>swXt8_HKiu+d=FZlcZPMO&G zJcb)zEHAO-y!o(uiT%Fx8R_e7FC4nYm%v}N?f=}<9Q7;)8#gpZFvrd-wr_S^AXcAY zaU=4^tiRoi!VFwS%uc>*9Lvhi8=SwffA{D0R*e6bRw=L~z5SGK{=@%@y=BCW+l^~{ zBjYv|+dMbfR(~!xE%EoHuiqD(xHYSZ@l8(sO{~s)y7Sv0*e6LP>G2fHH_rSJm zdJMu7UV4YQZunbV@5ONUzi;Za`uQjRvvvO0W%?ieFjm=@{I@Rk)b9`e@1kj+oxlDaQ>EIs`Aan# zeE;qI(W|J(SH`x($bP;<8lPVr!}($-yRx$H{}pe`OMI(eE86fafIGe6UGd4BH}zcq z&p(gX{=5I+p3SCgv;WK!HLYH-_GJC%iocgX+|GT&&}z5(*YhLx;(z+T&Ua*Qoa1;* zKV9wMv8K9dotmECQY+$jv#FHcj=J%1*B`~5Q(xVTj8lD(cK*nM)PINizc2l#6Y9*= zU#hpiOp*Wfdr7mZsCyBY&5k$o8F${*d>OrYgIGr0C!@R{8>F5rQh%G-x>L^gg#N+T zAL=(`=B?pbu|n#}9py9bx6jv#s9^&%IEFtV*!t~nPcNhQM zR9otK`{M1pS8vudUD)M!WQJU)lP<@R&mFf_`?r?=atex*Ib_-p8b{B=|9(G)uWmB>J#U$|Mr#F{rz_z{Y{=Lvwkhy zrnPOdW5dIXtX`sArsjW(d{sr<>rZktYKrbW_D1*oAGekb#rJjZjPV3&KHZOh3{sbq^0H&Qg3+q2Uy6SAo*idkNVQg@V&#!{H z7B&XT+(Mq6g<+i^{dw)PZKCUENKWed?e_4*#m^Nzfp3>dulmAWytMaGxAD2QD803h zQUjP~E$CF5ynTv~;X&yyQd>@ZyY{Ki+w1sU(RsWxH^!byEBv7QeQAA$n$t$BE63O` zHUFz&7fw3c9{=p9U6=5AncQ#1KEiGj)|7a>mE7|5OU4>+wGHxn&gR_D7TCqSa%+rh zUi-US=N_hrhdGy*FFxC8voFd>;qZzX1q-*Uby-{y%ah!8!R!9!MK3q$-+yxSaPmJX zgU=^Q-BlMEtFO7YM(5BYPSvTR7wf}(nm>n}diNp1EbQfUHJkk2?K)y%f|uKKDyI0J zuD>$hI(-c+EDA#JCFVO=-=5&|H1^iI1ns-_r!_6XSXa+dbRe+kFcyFmpzTH+(`-FW6g`+1ud6) z`)|X+ptfaCGfQHo-_qUmP`!(P>&#Ntug-Hjo1dQbbG6fmd>+p*bKld&uQq=C*P6b- z|8#@bpW^+qv?C>Uyygx4G5^Q%b@$KnoUfel<9Yr^&-%KL-}kSWrtW3ZV(c5Z{g~62 zS+8RwZ&Y2Ln8|QU#V_GO^m3k%4IXFDSv+d4&RFtht;N;Q6)_hiE}C5LD%iq&J?njt zs`qr(>)*WO`OKW)8#Z1QZy3&sKE%-#VjHs8&E`qGNiW#^&IADS*b>zew&<(u5Hq=&m* zuYXwNuhG@szFB4J(oWv%Cq&F|OmjaRq9AvC=9aYG{=q^2zpa^5!GEctzIV4qbMSGk zbhnEh=lR*f7SEYJ|EOL4Sq+oPp|$(7pC0dj^XS=^iq|ua?Y44})lgrbpC`bS@qJ?V z7r%tJI~P4_x%zJBq#S1Npes>Xi9zk=Ge1mAtoGe$zSdXoy0nPvs*wB{+s~P@tlwX9 z>C>0)kadS$we~M8+%u;rt6fKAdQWM+KHL0Dx*`ukC)WBDu?l%x+8uK%F4|tA5hJzh z&1PGjd->9@;N!Hl6+*fj9vetU6dFtHku)Dcj*8;>|?>*?tS=poc;m5&A5?y** zS~U;P7w~vzHKksV;nb=VkNmG@DV>^eA^L!7>)qOw-`q5|`8n8mF>JXzd1KSV;~i6_ zYwFiHRrLLzkoNR_h3);9OdHPFtEz;_EiEqFyKU~L?o9Q#`+9Dbxo;eoo?d-lxt&M) z4*y$Dm#33=YG;2;G2Q#K%4EeF8Hv)5dkb?GF6R(GtQB0dIhRAF!*`MMa= z{@&U#A?@9d;ydim4a}V8%1Ub6pSwN%Ow+r@9}}}*)kmkb2c6ztwqyQXNoJ#_FBi9G zo%r-O)pn0u*1l<9kFK2Byg%RmB+m!=$JR?Z@1C6?|D9FbEcXga<3+7EZ$h53CT(AT zWog98@=fQWI=^1;X8#y=ih0I;k2>b?tc*T&d? ze(Ag)spoZR`8ie$A;dVZsB)G_VmuZBD3WW-QV==l3Tk)Zf+Y} z)OoHcQ!Y)f_uh8V@So50nf{q-H$NQHk_!9pzBgs|GA+M(L8a`oS4T1wO}Oc|np@7g z=@R=HsTa!YS82SJwY&5xZf@M;jEi5dAJV>8%JpNVoncT$ci;Zx*Oinc z_VsMir`kEeO%^;KKh>R`VHvY-{+z~ROd6r?vR79&^=j>S&v8Ro%*XY2(K)+?FD@*| zKXdq+-m}+7tS1)qRQJB0V0cWPW~;y8Vu_L#fBwxV!7Q9vIAfCZKE>aL30phHcW5=MN_9 z%wG6lTVzP?&QMtux2*l4?d$vvb zV!I{#-X|>N^6OEJYF=0nmh8doJ@@MEsFF5&{i(snj@K7H2v6F2hf{N1ZMV$t5{P90E@ih1BLO-FIi^~?ZTb89S5%f^~d@KI0)tw9H-761!WVUbETVXTh zqN#yYg5j!yS4%4EKW%fmW+VDM#yN{M;kZQxi@K`A{S>1apZDt&yb01g?K`i1_m}Ix zSN!4l5Sl)}^wFg0^$HhzbI%soUGo=f)_nAMw~~S8ycK+QmyUfdf7v2_KA}!@ok{rV zqemaA+Zoob;Z8fTsXyVmcAfLh^&5_#n(#^aTgdMeZNEQfH`L5J+v!=CRdOug)fax2 zvuV9Eoy4Q`xD~nAYp#r%81*oD_w2247en5}n|3TJ-^ZgG^&~^Jc8+U3Z=QDS{(C8g zcP{&^{V#POe)q)N&$NC9zL0t~N7 z*IPCPtb6lpMYcop_t1@x!ZU-HbJWKyJmuWVd;Z-vn?1V?Col;o?^qRAu|*+|;q=x8 z+pLvpD-tgT%UCaJ;r(~V=Gy0zK860har2gQH}hOnikY!CE`e3B`u*m42PfohNKloD zyr?MRWZ|(eKUL;;iQ(jk2mIbg^7>aKXB>!=40!)<;p&wtkxZBD6EuGmS}SUQe(DfY zA9A*-i`iB5P2{@#&0A#j%+tHiy$t%1vq|I7@h3UAAE>PUyjRNp*a`k-(^XHRXZSu_ zBPD#y!uOHj(l4{5erB&cRW*0d7u#-$>pVh}y@C?UBD*4w<;A%hEPTGPS=8kkr^DoG zJ|4bh@}is97X{f3g;u|ILtbqwrG8RwPx;1*9mn2XFuLr+cj-Ni~SbozzuvAGOYIf&TGwD_>Imz z`aOXsT#)N~Zs?_Ykzt?zT{TxYZIULf&8X*dVh#5;ewl3L|BC~85-slOsyD9O zo1h!ieDR-vb$wOC<*VB5mT`1L>p7wMlE)1T zU*s9^R&0NC;?m0_ubwa5$W(D9bd`1HtcNGhml?8l=4{@z-Qr*34yT@)d$DiU&3XCK z^m6TsYEApa8P>I5ck#=2Xc$k}uNP)@!EeGV!6Jo=+`3CTJv#cQ)UW)NrzUb!DSYdV zVBWwb{@QB3XNqo~4f_#PbhyQx&tvf)5#e*e=d3d9_J`arX;q!HvB~?)%#+M|HS;o) zYzn;|-gqyxtz**tL#%sOe0lX}!V6jMuWh%wa`wg5dxc#(xKNWtEm7kTH|zG(dluz? zku98Yb2ej;GQV6}s>IZ=hu(4Z%cZsVBzv4n_xgE4{>Rg)9lLfcIw6$OZKXfoI`eSe zRj;y~Pl=g}GZh^#Sw5KPRX8_&^$y(wZuv{g_A9x*@~GE*s=JeA^~+OJCp*o$6La|b zMDu?U6YeQ_-kWqI)>n1Lqi-fxRx@|~3_3QI%}n`goz~P`-8s4aj&>4u^JTm%(xW3OsJbEQ@yvn)b5$4`)-_ zxpz6bH)rmTc9*>V`q(zbE04G*xw)k-PI?u4yXQ66Vz!5q61pa5vu@$$&aANQ%IyDg zl*MnsB_Yvum+hpkNPN(o8}sNcpN{M+rCGv8XX`^V0+L@zALKag8zyr9qQ}f7U#2B; ze(YLz`=f1zdH>QIM_8urw-Ei?lNlg;)w4d1H9zLAU*ChEs|R8o)1nH4-c)_ovOl|L zThOzGsuGUb=4|)kJW~%Xc=ce@9@c9K@kVJ$m!h9o>-WrOE1JE~AoG1}a+pTkmmZ7# zf~jS%RKBmSFKIj5dU8qXpR!qz7fmN+JkMVKSNX~7t32OXl^q;DUTISd@^&-`I{rES ztXk5KPfRZ_CcW)gW71#N`!e_Dv#U|A9*eE^A5aPmWiqhcAb#Za^}q{Des5sDo$q@u zDtg5q&K2D~^WMpI=DZ8>^_4GIW9j~JFx_Fd>4tebcf5*@Y|*aQ&52~vG>-o0%5?YT zO4}y4%q@HMymlpL?|bF?=6T)!@9UQGoGR#^TF$~0e49;iv6TFe!n_cR=|z6-D-!~W zqGEX-o{@FtTfcVKgOkSl-1m3#s$M&Or8#ED%BQlYS1x<%9~Wf3TB5}L!Sub>?LSr7 zoAnw`1SedosZjssyXeLihx*2?t6R1`GLBP!7B|Q9?u-o@A)5PZ>(;K#D=aeLJ>Bsz z>aN5WhtNasQnx*cslML3V5;R2>ulP3+=tm{xp_S|FLMnhaB6Ul$TjGjj!JrI2TS!lbTz*U+LXaukxG0kvACTZ?L*k zxNiB&xmL~xYLsXH7mmGmY~!8I%KHw};(LW31bJ|NU%Ov=MuB4cv11>Y_q~g?abtNl zTk>SF%Q#$9)`k&>q!d2@Hwmh6(C+c%Kh)KM2!}AKe z`O_A1F{eB)GUK?!tszumGVS%1^uqfoq0_|~o0_j~*r;^jtMt_D%G}9c?Pp$PO95?Z5>~m zpiTDgtOGal9;KW;xsd(;p+C;<`!{@<{dq%b@8@+hBh%{7?bU2w^+nX&xYc?~_2(M7 zEStBVg>wQq&Ru*^nsA`oqr><5mT#eEpO62W^7EjhcFFor-=@@WY)eUtG}da&@+_R0 zQ+?w|^W{U^zqNI~+;&&%MfaN8=UV-9|9P>-x>{!13vJQzSI%%x_vo(pA-SaQ$n2;I zDuvhAZ+d)yX?-%of_B$s(Ho~vR_WQ(G2dz?UqQRx2JbRImza--xHVr}%e+!-7M1$c zvLqq2mp{lj{#x@&eZF-y^>(s*s>7e{tU7yQNm?8)qWv&OpN zqdSv*L*bkfGhu@zbq)KrM(_G`t%2o8{n zm~ce6-D~<9wIfEkZ`88{n^eE*{S~eMxwHQC!jt_;-_II8JiMEQ7I?AQIhv-g_x(xbY07032{ z6uIzC{n_K5jRD~k*RI_0CyH%{LV@qUh*?{u|82W*_7V4?1x}&&`vNi<4=(L5U$wt+ z`9f<69*+7gUUKPs{;AZZZehyzUUPP_Px~bU_fr$LMO?h_w)N0e^{i(iFH)9#yV1^f ztHV(sNae%%s~jO;J9q50-1d&$)>DW5X-qY_M zx#?}Ks&03Qu$Z?hZ?&yxmY{H7`1fx|OJo|pKVrRGdXas~ksU>;4|N(BtKZz1@mcav z{)+80F7~xfW?X#7W&fw${rdwhWSqY#X>?(8w)pRxPFQDiC;4fSTm7en7xLyLHJBM%nz6WFSf`O*aGp!-&(|RCdebep{O|Zq z%F(^DEo4ID6&-KEC$9?bZ+tJy_p0^9wqMCInM+J}_bHdFKW48s(q56lmU6fC%H>-+ zCK0R7$E?};e~V&m)ghZMG0r+3=b+t3p53+)f*{FKsP%Lr=~+_mE2*i-u5)O6wJKwF+yu9l9EuWT)UQ1~~X zEuukO`LFNFpS>TSfBVYPzvIoSXVc@(rJbu!+kB`{apD!0N4I8uWn8~?h3@v1Cyv%E zzqd={$ef_bwNhqnh4)g|-fZ#Z`Np4cH{U?(gZ0b#L9b&DK6=Yk{^JXa+U};!lm19K zt=v*4^ZwHEg?FC`w&m@&cH8}OYp9IQwU+3gGuH(CdgQ$Opx>3Hoik?N|N7f_cBDgo z@!iYfmlitL^R8|T;rtz|y=>osw_ZWJ8R|B_Q9s}4_~W6c%yF&A!z{g_?LMxx8xDAE znHhb1m$GyD0rxGB=kC*7JySMD$+Bb3$+p(UMP6PhmnO8nqHGlp!EPSAr<@?i5i}(M*W$X8>n|)Gdsc>(*`$OFy*^cRZ z`);Q=Z(k8|kCof+dx-ojhgydl3pe=Rkh{P3tMJD6mmbBhSzHpdTqb0LQozQIhi*-F z*(>|F=;yb_j3D-9JnJ78Pu^7Tyjw;4UdA~|jeP`Rg?ccKeRVE`sT&NS=L{a*_qdGZvQM-?taYh^~<=2Gj;^{ zclO3y-M39KXx(WU-`b~hdOEo5-`9k92+B4pePT3m-v5F#j=?l?!_$G4k zQ|Lj5)X4{zDr{Wj9lB`EV)kgl8 zeA6r{6gGqjZfsrE5|>@KU31a3q$Kvh_EiRIPW2o9N^?ysUwg^@&i?OwYvre2S9m25 zv+iy7;%6L-uYJDc&iPm2uw3UNu7*&Y&9?c({oEk9|zql&C@^YdRZ)e^r39({{^ug zYps_UFYjNISszkv^XZIptj?1)_P-Zr_eqJGWjR+WoNg8{{yn>&dFjTPr7L7^Z0u)P z`NU&p%!IyxAMG;^om(?sdB*AQH{IQfyD$DuzIkP& zKm6zR-~MN0-?{qTq`lfz!rp(M^GKP=%3ZnHd3x!dtsl08sU|mnYYB9^_kJGl#I0Gu zYqtNc>EhI?)bxMcJy+_iLB!X}`nSh!hRw3q*md-4>(OaS-m>LFg}2hqB{+yByUo*YZ_3yrvD3kd|o?A}{T3jlUu-E2!b4#Id>Dg`VM*W8} zuf1RWRp-bddu^WB2RBkbC@t8!@>-_u)@Qp{8!1k`>+t;1#dr5Yzx;eW{aubdRc1u^&C0Aw>75fX7;DU8Wt#D`sAQ}+WYzJtyMex z-7S@K%A*-tn{IG*dCZ9jOWu9pm&M_Qo1g5P*;Ba9Vs)FLTF28srJtqgsRE3joNcFF zUAc0N+>=v{6MQDkmd#3HDdpOqJ-s+AP*(3*a{bip()avC?c;ND}Scv!MhTF&TG&+8GiZXCyQ^#dAGml?!TD) zaPdFe~l6a$(dw-SAHJxZ_Iy!I9hx=ykSLAp3Y}lIqVq=({WpQ0odgMgATPuxb zpI>_N%1utq`rK2zL4HqCUDCIFP|TiOum8ZM_of>?-M#jHa#4i+-p12w zYs{6VELYJw5uYgbZh3@7%S55I-HQr7E3bQS-TKA>n@cs%-{jrd`Rx40V;(-{SEVL( zpVBNpmXu_v^-oREQc^*xNNAP8ngR!YPlflqy=6<^#fq)Tn!#MpdpdRb<>OPADI~~! zs@}3d-O$g+RMOJz1q#qss&dzK6_-Nf#ZO7>`ae?6xNhuu*-`K5c=0102 zs<6=CCZ;V1CZ&1iha8Ssv|!&xr5E=$Wr*#RK6tdrsobj~FFm(z*ZR3dzj&qRM9XYD zaAt{BkC=R8OxonG=+B(XMC*SFcxEVTnHE;x{OcDWes%H_3EgW^%6z93T7u69PN1TDKR)vfko)p1MK+?0eX?jNdZcBiXd;rx9@)xz!> ztFFue#}9=+*62E!@F}GnUgG@CuH5K^yGG4>-t#+EL{%SVZSPY2^Wnyy6pI7(O$xQ5 zx3g=iQ*Zt=SlfE3DBALm(swbx?=JFtDrR2w6s^);xGwePVbLPTl=D4C_@wB(6>Lw$_fhv_miN#*I|B@9PW;L}rV9 zPZ!Ue9Da{ix5!JV@7u;HocAARs6MX^sMxaP{@fE*HP(j{&QEc8GdZ~@OO8WHCh=iK zvCbQXcIAQ#*RIC>+p4ko&uYeZ|JcsT1j(;V3t8gr&vr}WWQ@d|6V;#PUuZ^r{a(E| zGxydneV5!3h_lNFWS9heZk%q+siw+-YYtkq+HSPlf3`@?PGqnuZM3g&{4Rl zy|yHUKXO?)gN}&Q|JSO2W7&6wy6fKib4_s)=iCUUr}+o#_w9D$Na*Xcdeu7NJNTAw)LyIcK+IRWf^I|j1RMwemHZd`Bv7(m}hhLW#q44wP+h_*x~Ni z?~C^2-QRh^wpxm7Rpzk`k{RN2Tn=3mefFu%H~6E9h4}PSmJ3g_@ZMXkCXjtv_4fBW zT>Ed&lbxq9sqmdZ+viF3XZUqk-6mMw)9>Ec!GAg<_S*ShM}O~q(l|NCYtFOVwiKXq5S`sIC^2rlj&D{+4yG~SIxvO9QM9n4d z)51if_JU_ ze#J&b$l~qpFP%Y}k5|gN98gvW)Lfs<6&~2|;QEk9~XV_Wzf2|q9?E?b@fSe zhG)r74xHboe- zf1u+-?8)V4z2z#loVP4wf7xWa(CyOfTHf0IHy+!|OHSx`dU2Y%?XmJFXUq*ACM+#bcGRS8wbtJY@97 z?dzYz8)t}K%=OtM_-xN~6~j5oO+UAM3i`h0wJ(?8n+2bFkJ`=ubD}nJj+|7&M|*~2 z`mQnCPsuXgX=O1nH8PsMYB8fcgmrc?<5?yPbMPvjw^5PBw=IO~zOR3fyeC+VqhZIk zpkQh1$;oQhZ|sb%Tc8@1q|_-l>6GFAy8UdPoKsZY=gqCXu}W9eL#DQTv9!p^R4G+K z|BxwKcP^c{$l-hGg3BGXiJK=1NO%cyHmf>#^=)LE#Mtp{qS&K`Z0X2ELoo-|*mbE# zSf9UO@RI6LsgF99*>Y2)V_v^k$4oc%(iaUaMGRN^JZ3Pvn&=vK?of0z$&ilf-SJp} z&sB@=E3xG!|>N>uR4;P=2NU7$n=A>&n&MyigQXP zKAzE1I5$9QSCjS4V~I{t#SF}@e#JsEE6iGpJ{b91c)mNq+0^6KIAMwAAHUC?ei?mx zvMs)ErA&K(hZ^qzf9rOv{ybq8XO9ed*`S*;evF-O26N&V@XHRslC4(wC-X0d+L zvXiS>oo@5j|GZ{nm%T~N{lw)XjMX7}vtIoB+hMyX_L*Bm~58YOVXRlvXR5H!{qGg4BjmXC9Kewwzt^EA!cd4I~?kjyR-W3zJc+WTM%l@|KkGqz|)ODW|_R(0LbgRSc>Bds=2h&0o91Gtql-Chc<(T(7 z#7QVnEA#!L-P^TtIi7svyHOa~`}tIH{Uh-=oYklN3>*%`O~?uO5%YS+lB>s#MM<(S zCkfqliWb-QO-Mg|noZ^A=A@4^ZFkh)H%{Pp^9|IyAz5AgYs#&?nU`a(|4(`I`uh5h z857Mvu9&mg_21UCo2fHHA1}_C7k*S@b^ozc%k{@^ephxlvzayQf}25X=()ai={J?^ zTeSYy&otX1{l@LdjvGquS;-qNfB8ShOs~vitJ2lNt{m+x4r_LJXb5|2zgu^9#i`B9 zeoUIY;_0Hk(^-eoj%vhTsXVK2@wJ3fO)Wl2d>)^0y_zIkp}1x{$yEA5?G<#fa3;|8{k^YTs~ zzMU|&XQ{yNgGDJO@4hu%HJIo&_a=LoWv|Sc@6DlR+nnz6oeqBTQe>*khLd%lv{o5N zm;CR(IqO`QT4ZmFz2ck63$9PsNV-0G_3Nx6$+_!~B=LXNzrnD)zhA%O%1*b)|Mk0r zcUxGLzbNHZZk02&y7j1Dp-EuL;-z0}vpV-@IXk*$Px4Ehp*SPu`1$q0PJy}hqPqN9 zV#&f6zT0@3SuHF5P@?|J_FR9Ie|yH4-e$i{I=KU^Wus3FJ&ymIZ+jj-dkFw9Vy3<&f^0}|hzrHzTiM6R` z`ozz*YgGf{-ag3sV`{1qad+!n!w=1#IXa$Nv#uJIeW?&woT2R~VAk8)KG`DckklN7 zs2m&r2Ork${+f60aoLrnYCKDm?p{{6nEJ!H`g~laIMW8v(zOScX{~MUknj;&-fSo5 zbs^q)i^SbE5tkc+lW!hevoMbD*oBpn!##hQM=@> zX~@E-Ifbn{eP+v;_?MU*thN7G-Sr})s?RT|W8oSlO_wIwG-3a6wT5R-lO@F3qu$Ba zmv3+nz9lowuifF=6ix%??@_)grcaq|dMfUQcyV+sF}jg@Z8@Lqg>TPHx5UrrIh6fk zhR8{`lJG`#W4nmlms|dpU3Ciob-L+E=I_j1nxPrz8}waEroZ^@$_*4h55HuBb^C66 zZd7e=e|P_8$*$agN);B%*k`m?+OFz)y==`b_F3XLWwej)pFd|`-OtM>PhJ+Bw{4@* zX|>WR+Z2x9jdyTgWNjm@bXx9;@~_|OmI>-NzfRsW!{={o?hV$JXm}?w#YbcIp0|y@lC(7d(;uV)ZCdO#`srVlJ1fdcV$L12{-gfT-q}6# zNy1^~@0^mWR!-r#DpJ+{yW)_u?p*_^&23DRdLz%RyV2r%^ULqACh;4ZYLn*QzYaqA)vPjhyDv0LKN&*R76+w<@g&hnpjoA)3qkK)9Q0%xZ2^DJy@Ggzn? zwE3_=W(K>_^@8v!;Q$-|Yi14ax@8{jy=MQvskO~C-uqi??R}xI-}IhYRQ`E$cXIe# zOTW`UyD#0%63k5$s+v3b$MX9o8#*^O+b*a`5I$JWTHhYp=zB#W*f!z#n-<%Y{Ttlh zZ2VvUG5ni!^|5)I#owq_AN9K_S$+22hV5@;tIykQ=oj&QthD~qt`&*rPislno|_$6 zclFEPt{)1w+@7w9G59aO)_nK#^PhfNtX{4Y|KqmkoQuC6XB}I2Ds`*2l{jlm$flyB zyNV_M7QdhQJMQ$Z&-IVx-}I-({jRtCA2H3>Zr_~B6LlAueh1!OdLTbGUi^N9tumt^ z%Vn+ewHi7%i;mXqlz1L$tF>B2@YB@V#Tq*$)!+F={(szk`M7`GZ6Wn1S7J9l(&$(D z7kkrfO@JGJQfr&zzA3YR27SHgWVo$s+LZTQ)6Bv&{Ngs=XD@uT`aa+H`s#N6nmsQc z%Kt7soV<7bp7y-rW7C4Zo=$3+5ap9F>(MK&eX$p+7Z*P~TqNcxUUXYcMCZ!O8=6-* zZ+f{JRrGr7Fq=>_;djS($7hGvn)aGEY?qq%=Gw;YJAW7Z{`x&FS1RYsiIWHK^~~XV zWL~uF^Nn3LIagS7mafxS^Hy4s_5P;y^)Ga*_Mg11E6L+AA`jrH%l3XRwP<^HvH z_gAxL(&}4%uN6%$&0@Ychfh=c-LH3d%+CeSzH?QrT+&F~CL!A^h3hdHtm zScFg1Up)Bj_oRIrcI-~EJ}*Ce($3qe(h(m2WGCG%6S*O9?k-2PVB1rm=ySb>49dCa*Mm}jI!721uR}RPL*W1EN=96$Ep1n z(hak@U8C4GeQ6Gxrfj!l{g#jlS9uca&6)NRDJWSX;#KZ-MS60WPb5q{PSu> z#wUxP;byy8E^QL)^x%7`U=j1RbzjVv)kzzy)^%0Jb*gOKqQ;&b9{Mf4?~(eR8kT$%K!^t&cgU9a;Fl%^)V~N&NH3bm??+(>qEZ#E!&PO`Be6dY)@N zpQmd3vh|xZH44)I-n#I`lx0TI^FNm^%(v+2<34}uwj*Eel_}F*ZD)NucdhxTe&|Qd z*}b2SZaK12_}7y5f1i)Njmqz+=bk9dR=-0_?X*_E`%Tli3CWvwzlhni(M4-XtVO)? z|Kl=s4-U>KsN{HHm}B7Rm9cr{5nsWo7t)um?fftDOnzQ@`o^m=D^`~z`z4;^d&Uu} zc35-66lb4FvG)whPuMlwQC&8DMf%n~F^U3JTHDSz_l4Y_5w9-dl(RqkwvuS!?apmN z8`oY5-g7!?kFipD?8&mb*NbzxKK`G0f09?-3Ep-Ag-)~cys!Uzwk`Iuw9Gg!w3`3d zuVlvwZF>Vv0Ts%7z(C_29pJuH0xzASq6s$ z3bZ|Z7pb@7Ku^O1jYk{0G*0y_-qFnT&bnifj@HCf$yt$0J4635=qj(aT4-WyXl!6& zZghRVqUpTv-t&I_nzOSYzkGINv~jwa?FMeGys%AEjEbXYd*9HX`tF(hl%l+ys!R9G z+-feYs^Oe|S@-_(+fG`$HUF>BS+;3X{i#FZQzNyigClDeZc?3kY-?_ihmXl^`FoP@XM8pe;edEy2F$5TgWh?X-R2y%xOb4|L`?hE!8dLohRfBrPu2fUt=s-x){8ms zzP%RjuD@~NQboVFFEn`*SG&~Y(Z8JF&aa(P8&nTYV~G~Z@iaJ?&~%Wcne$lB?_>PM e|G!=R$IKC*%{u-07Djn4b4x=mRaIAiH!c8_3Q4#C