From 414cf84b51e11517afabff00a09feae6f4bbc303 Mon Sep 17 00:00:00 2001 From: jaseg Date: Tue, 13 Apr 2021 15:21:07 +0200 Subject: [PATCH] Update PDFs --- paper/rotohsm_paper.pdf | Bin 3537727 -> 3537727 bytes paper/rotohsm_tech_report.pdf | Bin 112384 -> 112095 bytes 2 files changed, 0 insertions(+), 0 deletions(-) diff --git a/paper/rotohsm_paper.pdf b/paper/rotohsm_paper.pdf index e9be75279f332126bcadfa7ec49b04e545aa307a..2401be7ce9538f2797620268bad5449e7f1448e9 100644 GIT binary patch delta 489 zcmdo0?K&d}H?%OeFtsqZu(YtYu(hzaaI|o?aJ6u^@U-x@@U`%_2($>c2(<{eh_r~d zh_#5fNVG_{NVQ0}$h63|$hF9~D6}ZHD77fJsI;iIsI{oKXtZdyXtij!=(Omz=(Xr? zF;F;F@8|O(Wt#0No8%-T-C2M66NNsfXK&=s3}7_6pug|Tw2xaYHswCkx}FmI-$|~i zdS*-mlfIcoWkHi?(4wnt>)$L$XJ+FOPIHf`5J}aX{KG|ea-_awFZXeV;u}}bdMiAO zJmYhO{bNAon($DYm}_(8^Bf+{yQZGV?s?)|J?Dd-1NFR&6ZN-?{r7$#eL!8Xz*EfS zLXVVrmCaAnKamZNUwHSGY4wON7x`7ldN_EI&z8OO^^Y~FuFiWmH?`U0&E*KeWepcB zKD08^Y{q?b@de+Oc2(<{eh_r~d zh_#5fNVG_{NVQ0}$h63|$hF9~D6}ZHD77fJsI;iIsI{oKXtZdyXtij!=(Omz=(Xr? zF;F;F-{*TJWtmKE!OD3)-D&@wXB_!+GwO}AR7eBQmu~&dsWrNNIkR`3GL5{xe?t3% zI5qJF2fBH^opR0F?eQVQ12Sc$pM^Rq z#f*hNI@*NDy$%)SpI-XBU3$Wfaj~kbsCHR zu|L@Kg@G$IFQvF-I(v>OZ@czsgLduHhV9y?joP(O8@FqpHrcLy+Vr0yi=m03>2%$< zrt)Cc_JFshTaq+^d diff --git a/paper/rotohsm_tech_report.pdf b/paper/rotohsm_tech_report.pdf index 93dac756fd107300c68d09c435bb9a0ed2efe6a8..15d65fe00abf9ddc3e95ec4b08f041e599ee2c7a 100644 GIT binary patch delta 12929 zcmZp8$9DfU+lFr?^=*Ye4!qyork;7ji}(DOnbVyjLIMM)6rVijchT_g>~g+RzxVTf zUp~BhM2P?L_robs)l3nagaw7WWX*+t9C0WSn|eNeN8eOm^;=iVL+6CWyCl~iKE5g3 z*26lq@xV%K{~!D3Pp)q!2i_3bJik<{UB=wp%#usrCp9m9xnU(hMqP~Y*y}5OD+1z4%=H6v|?OV1^7WKHt$@Tof!zW^_E1G53-if(7 zXTd6&TME(U2Nnl1bT>MRv2AK;p1VL__n|^ygI)azsSiRdEFV5GRk*mgY>;5s^ z!yP`B4UEnX43WIP&Z?!X44a#F$vH5xupZP=WbifD=8)hBU}bg;2p8Z!aEz0!;m=kE zhPex_J-ENLerJ(glILzF9maL%6cm0GN}mwsDEjv{iQS?(p)Vo)`tfpx8=?u^n_CXa zS2L6|H7s=KnEf@MslQBmxqZu=M8AH)zW#mg2EOXyJG2GZ%G#LaHfQad^1oaC&N-of z*4wpzT;wg-RN1qojA_?jy_fy(1)p8y-p=A2%UCc${ZF}`cD=v>sW-29Hh!r(^Oxfp z5A*+p51($6{keg?us7!~UJQ2Lp80-EUsRvbB)uL&5*l?PbOP+Rw|f{JyO4?7s2gPacOZ z-Qwi>$Q03>vth@Txexj^>lx4dH=k%`)kF2oMvr``ak#2VvqV2#V=RAdhzo0=D&aa{t7SsxxzN)`stq&Z`4m) z^epA?`J?$fl9KBF4d%xmb3S?SRG5jwPEF+5!;gREH~npV`15+ySs^~=YNj4}?`O|` z2LGtH`yVy)AFmr9SIMS-w%S$&-YdR7uJ~Jj`NM7AlIDYQp?`}X$#efZ{_FgLW`}tS z3fJCD5f0F~VfVFGYR?>%)!%=6KR#C`_vD_y^F>;B|J-Q^T5k6L%J$Pr^L6u1J6Wu5 zcX=wYxD{)3nvPoY4Asu~OMJdccTO{vg|Y5&-&-dBDMIjaRr7z= znZ@QC?M{7{p7ZO%2KQaZq+NG?&z%sEx7JqE`PPbQ^=amNBI?zY!bW4DfRq;6`N}ncWe+;e)zNSuJNRL-YDhUcA|lHS56APUh;Pos^622UA*q~|Jj@)alW@zrhL0?B$NHI-bI=1 z!M;NY9UuO+l-xeJn>CYL^3=`4XBqEFewy)I`|hXRX>(ief4LUF?8BS=Ctlvl72D7F za!dS?Jok4F&pAKaUq4V*_UNs~pG|Kf4F$HW`B`Wkq zJ2?MO-s|uu-M$BN+~YP!eto(!L1pTsB@2JC*QeC?{>j^)y5L#^)6YovO|_jZ)3&Vq z+!p_{XO-%b%ysA9MQa|~9gu%VhILlfmgi*_`=?A_yXrKLOxD*^t3&zMD#!g_qrbsL z{qy%1Zk4YlIL^F%XZblM{{2_OzRWxDdiC@jJgNs5t4oR`zEY6pw7m2vYKgqSnuVOZ zBmZ8R#PIlhNPX!Yy9-~wpZYCg{e$cG(VvY!V+BIgp1OrS5?QotqJfag>n*1@9h&HB zE>?SX)1OldqhtLq-(58MM*e*#oqVBh$8Npx?e}?DK3P?1T5;s01wWn7H}CZ`U8L`R z?mctHk~>EHZx&7ERGL5kja)#Y-hK$_ebWl1%s>BZFFLyV^8tU8+qaVDCia%^SY>MJwe@AKRJF{WytYrz%nN;g^?LtE zDZFvnd)=grH#21&CmAty$}VwbIr>0xY2h4JlU}cK`qOXYZ!%^_R?=UR9a-n3>wd{B*p0txGa1 zZ%VBCHZRHj0)F?t9Lb&f>5#>n3;$*=k}7!{w*JD!TOZG|th$)h_2_j?WYzA6CcQ0< zo=!JwZC`W$@-S0QS~y{EN|o}?SGDYqS1X&};oDw6KQcCBNt00Gtv{2`FAA2pZhhgo z^13yhvb-hNRI=`QuX|qjjP*f{w&%=?-+KDB3=HRLB)A?{O?=VPw6tZ#s(hCZ5lw-0 zij(%r%ZHbo3OoOI<2g~CtvAjz8ZO;*#kId{-I9m>@x3>uXM0PnNKpH#qiD+GR@~{z zFKU#g+Z~Ykvfj+d_uW$6>k@OOuPU|Xa(Vh$AjF#Ea<9-F;R`&E-hD7OIm-O|z2hax zs2R7DX9q@pXk_VFkhSppldRg!+dl8Nn>n8?al^^^g)4*)Yh9FG9=jw_eB;!2%KmPa z&wj7*YKlK4wD&#N``I>!Vs?jaN^vqgX+JG$+Wk4Jd*A-HNkb?97G@k;iW=aFYBU z+0vY_Q7}I0jQ_p!^LvlQZkL}|uNP=NnalEK@7{NtHttws@u+^Lb=L9MCpIhWoPTD+ zjgo+%{M`}X8=h4@Tx%E8b(ec`MeE;`cWw2%T@1_jUc4ZCIQ9EYu4FZny}`kb?<}6j zzGvgT^5wwKJxi@#et30w+s!P6+$pOcZ2G_1u%$6|a?6KKnXg-twe{L2F{!Oe?Dkn# z|GM^4)gy1;V;Z);N7e}DOj$BfwLkr3o}DF2O=a0$vm+Oaz9!#mTYu)Zjb(U^a;Bu1 zbIX&(t%bs2F~*`C5*-gG7EOMcwTQs>n7_7#!SdM~Cr26_fL?y9d~JF2l|nw50i`(vRtu4gM9_2%h& z9+_}IA?X3v)-sKuzJ2hqOqpJswH22+vHuRpEPoRQnRrPXpty+d05mYZ!A zHzs^cnIY*FY}RV-;udac@nolHh_=~GzJ2#x_*Jf$u5`Rh{eZbom59b31S-<{g) zIFm={<~AY2L}haM(o@AVb+J-%h&Zv?|oRX@m#A_%-eX^J-@QPNvyre z&prL0`_6 z%D1}I8<-p~+^u`*&D*bQbblUXWA4e?U!f(PRH@+Ya8UN+t|xkNQ?jGJXK$W;!>yNX z|Lr)APiI(GT>mXR>&^Cr-2E%BZC)X^TYUD?ZS(JIyx4v5-rO{EpARz@N`@G|sn}A# zUG>+@%9t`8Za2Fd75O|>7K-`zxQli_p0>*M>%12iX7}z}@w4gI!=i87Zf~ed-+fDP z>ZiPv6~3(OSI;l`QzzK#Ezw$}IHREG{HzkY3$H&YIcTo87GqDGnf1f-hx=o__ZolL zJ>}OtnEgWiR2^@H!R0MX$rEzYZ%#jE-N!$_?^J!A?u)6lcVE{zbZ{)$Ew}Q}-hB!S z72kKtU*vQ&kr4ZS$1Ebavnry(S72xR%6DpJS)P~9&-me3bUCkahxd!EQ7@%`I&QR% zagy5KHkonOV)pJ0>+diYgx4P7+<7`)@+a?(KPv;LJc)iI-FSP>fu%FzZtdf3dgP_@ zlxNSkME<$I)9X#w>U>HwjP&tXRn2v`v-Zu@`#0oGghIG0{-{MPj-K{o>wI1bpJi#b z8yi>V% zbEm6KZ|}wPGR{sbZ^vcCYELYw9h?0e`Up`fA2yzem^Wc|LJtTptfT@ zfjh3~wmiC_yCLrSwfY~G>a{OtoZ(1u^07{t!?j+#|D~mD%A}JQEEgKS zD_t&#)GYGOYJ0-NwtD&ZbiU68ovAS|8IPJyp8xjZ4empRwXfm~Pwy^Z-_;mX z|LTrPO4XjpcaD7dwT@3QZ->#`9OrCt|Gr6g{2oa19dFC^xj02_-(ikN7cbs^cWy#R zpZSiduhkP}L`7F-UaPK==Qzof^PE|RP4E2L>^4=YIh@m4er%bTqCF?+MTc`nruDv` z=ReVPO8IMHn(Zuy z(ocK%gCjqr)}Jrj?c~k5tZiFQ)Uo9|A1&5$Wc)7sFh6RV=X;6!zQPq^bH%#FME46h zc-&VmopYnC(sq8tv-5Um_vcC_O54Bx5_bD+uTk)U_(z$}c^9R9G_^O?^4&b$eDlDE zDSuW(y|;|1iL2KS^kxlsmGai<A?)2nf$;4Mz zIL{uL-NSe5P^L-l!KdH;$xqpzU3M`2(2x9MEjC+geyTq?KUwI;GUg^{eyPXy+j};$ z*z%{;WNt5e?W|T?DdEHP?Zd?dJ9?7hn6PJ6~ZPndu5vSWrZ*wQw@9Tf2nrm957;}5} z#G8+ePb}Y7wf^a9-VovTqz4^~>YEjoTHKsBLo3na$L7w`M~ijr{O$()T{`E)%VXcC z3pv#)r7pK_-R;oSCd~T_R(gK(wvZJM=J?dB7}eaL_UQ6$Pp`XMZ#I55_jKNR z^1g*+qZOE{|>b~(qPH_v>&yu>a4 zYmAIfTih32`dZ)ewfpvtPfM>JpRqlY`FXs|2Ijcp$y%F=|6fQISjVHaaCyknDbJ5A zI2V8VderCb{hLy&mz#dqTjH*<=ylMd{F*CDmu9~AaB)v@ZW6q{*Hd*iZ`n$=Q}OP# z{9aB5FHcmjE|2s$dC771!dH(D&OBYk^h|JnRpQlIs-6DMw+~+nldeC{yLr{ZA6}99 z`Nqd0xIC<5HmTiwwbi-wwBP-et#JagYjn>0>Q_IT`0)4AIa+DPs_e_}O<3Rd*wNL>UMvn?3u`Ua^(GOTR?s|6H@?SKte?Q%l=)R+#C&{eFe-)Qrm? z{;Kn9mmZn=K;B*do?&3_j?c?i1-n%(OFRGu4O5t75 z@_4?VvMp=s8UBTGJG<897Uu>BQabSMoYG z?X#7et+Um9?Yiy@t~)2!S#CY@ZesV+smJpq?XT%)%`gyJo&F_c)8)eLmwO(blv=m( zcOJ_k#;O(1ZSV1jy%PR@X=fkfviQS1?41+kG5|LyMl+FX&!xSxKL6?52)kNjgPuz!E>;idV>XD%ck(yP7ngl)(6B=_(K z=OaZA?XKFHba6+}rTF6vQv8PubNdSz7d98lh}IRk^vm5`5mbAyKD+y}Rn|S7V|6oZ zo4Z5bW!^C^yCxpl6P+P&lV2|JdvN65ouba^*L@1!2^wpQR7a&-DyJ6itZv$_eo3^! z*6*K5d6L$}l^YIiPQ76{ouNDE*xpz*TO-lu3eBgUrd{0W`YL=;Vd~SGoc$-JyjZex z(OTI{+^#uJ>ODfA%OfU9{jA?p{=Q9{dBK*ea!8fv&5;1mSt%Rtqc~nJ^Jfas&UgWd!KBzlp?p-uKEct zCImm*@#?2+sseX={Qjr|+a`XvdE}+_QMMHq*Sbu3xBG2%s&sszLT2%cAC9usuNU;V zv>uwe@!|(X!`+MC&em6o6EpOeDZMK6?Z!L~w)*E&a%Qi&HJdl0BTHjmXjR=YsaH3n zQnilkykD=laq1T<_Z`=Mh}1kxntMZShWjRy+Ir`SY#O|I{1cZiF*|6HT=A;Q;osTf z(+iF~xZc<>GjZ}=CD}?o>-CDB_rFK`<>)9E-8gqyR;_IE33L99M}E%}TfNlwrBf=` zozO1+*Aj_$7c<#C*c6(&DX!4|ZGGD@-9DRFv$}2IVbEPrEAl7(PZrb5b1PVE4fD@wtd#l^ z$gQ_`tE;38`;ST5f?m6A9~ni|u4}()IjyK6e-^jJZvU@;-gAC^^ot|vywQyIl4H+9 zxtoIByf@$c_%m&A4#$8Ec$dl$r<(`3K(=*OR>ZeDuNt>5uo;8j-H zJ9qZSMw8D5(i}RzZ=O_c>^LBr73AG5HTf9J?MVgxM;TS8Z(H8|sVHdm)Cw9 zbFNRHWXpc?Wxd_RuTu*7*V)c=ky;%au5oEoQh%I{WeDfb9o$QISU3JyF2ufU%VuqH zj^CGWJ=BihXz;D>jt$G6Lldew8nTQ&pN^Vc|JW)yfA+1YjH5?i)Na`)cx&H*xV%)w zjM`66ivNVQw`gnUX)vwa%YRSS|BHXj=9{)ne>e;yi`Rb6u6Ha7pSi{InZVAgJAx&4 zcNmJB6@A@gsVJ0~vE7#GsfFH5^+OyJ<~8v+7i`*LzcqAawcMUdk8k>X6l>~JOTHcG zsW5Z(tVQ(^3PROW{swhfsQ;U(GE>i6=t84auk^~_GfYD>?$^wV+d1QN@;jg7>aSnx z$K9$;4-5R-b9vAHf*9VP9Xrau-te#9vM$qoCdcAKXRGY*-K^Q*dTZjz%z2YPiIuB< z4?S`B>Sn9MwNqF3-pn**?>i$`dvV#ilRPiCZTaE&x8#0l*2{Wr`4G+JE)U=BbJ_B; z``%n8Hh1kqak>7#Up5Ha-haCG-gFDYEllY;|K~JbmwrBJr?lTe+bn-?XXa(u2ilg* z4UJvD=hNm@LBeWvLAN%&xiIznh1S=CjY&Ckw9iUR+Lw9Qh55Xc1jDP6oBss%q$hUo zdVW9Zg67rBPv&R`nx(4W)TqB`aQUgn`wi70Q`ZXwTgiV?%W>|Vd{lAk+}^h(8za_) z7W?q^tTLEd*jcQXu~X*4Y6e3Y&+Avjo-PY~Smkfk7ID0>`qq^DS>f|8DJe%KZhfV) zzhc>sE;-G#Tiz>f9d7&kds_L)^g_=tzS2VBou4upitp^R6t64!ub)Kwt>kAH+ z+A-l#VtvB&!>`TtZeQ}Tk+3@OR6|$Y=ko!xpAVR~em;A0Z`S8Ff&7IgajsiCuho&M;in{rzIQO4_crjq)#RI6Px+>g||Zb9$G= z4Bpp_nKX6H@!+btEy)#{a2+)GF6r{>T2RT5p1NiAX{wu555}3`Y(rmO>w&Fn9%qvKy+zS-gnFCOfJ0t@*LmF-Mp~l?H{v; zpVKaTOntC+sr0wo6Yfm0lx=%HSGq$Y+Ae2ba*T7y^6I7YHyxY(WI6AJnAnhu`}E{f zLtA&}82@7_TJLxNw_thO`&sOJ1a5`g&;P1E`|dk4<<98`RBS7rpMO>5)>CnyzA2~5 zdEw*gx1syj3Vl^p_>q{cCGXw$U*S7@(t3ldOCuvq&b=`UGEgr&b1i({;m|kduA1_t za4;LNtkjL&dYb-q)9jLMr>smfpDN6pAFs6CA={-* zP_6FhUf-8TthV=dUHxbjn<&?9IkoBV!UtDe+HM>XRq>YVUFF}9D%f|pM)G9v#CMxK zGXg#pjCXsu9l}+)wmvGlo)craHe$>B z=zX6j)-Ox@YdW(sR_uD+6RZ9nJnryFXaLI#yb})l_KX@&sdhdal_{6pZd4l zaj;wdyo24P{N^IT{N!T0cbrGfId3a} zc7HF|yWaMA_e|T$I6p-jvF7b@T{p_lH$T;De!orQq3bFA`b(4gm=Ee#xpuFuPxWw4 zyIkT_>m)PT?y{G{wY?iM?o4uDC9bDytsFl^{!8rI@`mvJEvDYQ3?7?n)jKsS1!uOG zX{+-5oGIJ=Qm5TbaGk}TT{EYr_*24>jw#EcaDBR?KQvc2MOpT>?c5m9` z-?Db6eR>JsFNxTTLL&DCQ-$tKD4b~!#$PY}TJ+?N15c&4e>3>P+Lr$%k^6>?ouhoZ z|Gw@|VuByK#VTYP{Xbe2?vuTg(GRV&e}U|G3OYz|iFrnY>s^b(Jq9g{lLjD&>plr~v39V=X+ zoHgmhtPVqoA~8c=Z-$eaJ)#Pk41p#=J-sW8CML2S;|XZg3$X;ja;m5MvQA$KAf1c!LPT+!Qeq=iHa#} z(=oS8Qs?EC2r)2!(weN|Fw=Eb)RH+aQS}Q~@uY1@5Nya`He>R-wWw~ETN{^bq?lx% z5ks}IiqDG^6(J0)JcdlpQYwnNcLKR2C7VAnvT9%CePF&!`QSsoM@7<+T+9aRQYSU8 zJ21DAO-yaaLuG@26wxTDib!RL*bhb)a;n>3u&`Y+8={qs-Nm(S;`8+WE|O#9}L&{tk6 zVX)cCOdzeDQCq6m;CteMDaWJaJtV*R=qMIAJ?NMt`gzfwm}SZAj&BO%mX^LfCF69P zzy4>K{mwO)Z#kZLe5Auh?~_&44+EwC!s$1~-fg^JZ`@O^{CY7z`+=@K^_8Db_DXL_ z=PpnV|9floCW-i6R=b$)^~Qp(z}}p2g{J z_XcJuMdh#yY z_0nu5UG?KH4^6#kv9?d$b>j-Pm*0~cB9>ULagc6)c`B)H&z$8u>#dnW{~6~#SeIz- z)Yr}X#AB)H81&cyH6(_(gQIk(S3Wb295J2aN3 z%=DvF!*=(7(zaupr~3U8 z{H)&MEcE4lEXTMk_-fdG9pTHbrW4YHYD4grmum89A-un9Dl+*fLgZfDq z4!5~STXZ;ZJi2)4huyX#@l%g2IAqG_?l#A9M#}N?>yw=(`o?c)V>e??mc8)ZCeY00 z_O=fd?!RQu^+&n0XO{3j*ZmM$aNslVm&+5lb{T%#SoyQ%!|N6Dr^FAHm7nLnwtHjy z;mR4W-#mKDR?cWJH)d|niN(9ycO}Y4o3D?)Q{PyZ@p)REJ9Fw0YqP%eiL0I09$m0! z*1^!xRq_Z_#nTPp`rWAg0PP_9zAyCag8==F;KcD*LOHjc#WgrqJv={T9Q|0 zUB7MFe>>Be@u^|gx(mXN|0ihM%-%6-!F%Oop@rd)*X0TYoahx$VgdQfP8nY4XPCad5j-M)h~8Tlzk34^2yY8d475 z(r#8awu;DoVe&WaYQwr8ropj+^++OKs1NuTydYb>oVIAS_~2EWFX zA4#k9r*!^ITCec>e{(pNOR8c~^MaFX zC)1d^ZFmCSUudrtoc7jHD|6!-&tI1(eaqLM^i6Kn)z#u3E^~#3?A^V4r~#Lvzmt?YZ@w_tSX$T`+8B1Tt?gy?g-1jf8RX%dV2o3bMty1W=e-Wd%2~{g}La~ zJ|?TQw+|zgBa4E1KYsN$Qc8dMY31o<#`g6NY;XT;wrWlPHo3;C++xp~yN_~HUUclq zKiDXcaQ>3e{7$(EQ|?Uo7a_rsgFi|3!47k?pTHQ#Zj ztsmNTDk@r5M66~sRSt2H+!ywA#-m4Jxl>}Zl`VL;?mWBCVv~Y*&?NiVNS?1r-!H!Y zI=TFOTunX8UOoF6Z>tI~aK|eK*PLCuHTE^D*FER;$y!!tTW+n4j5;Ws8CDy&s&e9d`T1g>PxAdQ{4oF6Vv{EczRceZ2cZv;NG%otBy>gmMCX4xAQU zc`_@5qg3B~e*C`5?|LRjT4%4@Cf#IYz|!8sdNAk30fC|n4p}Lu7qV>v3uQ0FER?;# zvi-@nh^ZN^=h$4|UE6hi$-JrOCjQEH+&AHUw9>sh$3@cp&)v7Jy*lgBqKG{jZ{o5w zn4cZkUnKPZi8fPphH*!Iy(e?E!7gos9-cRf?2)fp=1emF)bYnjZnFBnyN}jCF)#9) zH(C6NYNe~*3Drv9dlR-lk*)N%o6s-eIr+@gb*HpAR?Ie%tuOm}=kB%G{VsM1&k7Co ziyp{qsHb+e*gg4>+=FR$aT7n9`a5*0#9*es;w6 zx zyx0XlO|3bsu~S<8Tb$(o$KBoP{`I$o)L&eQ-I!$9p1`|c_Qs~0HXWieY&$3AKl8fj z%6%+CUbpF8*EF>-1HZV5_t^^{Y2WAjUSHkLU$f`sL;2sOhm+^d-_!ohGTD3PFI9PG zkEg)~zGcoBRCdcYC6)sNsM4)X(x8<^9#o zywCpIey@LNd+yY#V-d%WRLt8}tFiX|CQsYdf98LVE`M$JOnUhi-)l9Kw;C|!cd<{I zw|kfU_ukD{)XI0BoZEgzl6S`J-^TYVuiO-IzHithBjLziU$kYz-F-*aYyWGCESqa< zrn>pJs&quhf7wZIt+{eI(%-k}avu(BYs~)7ce5^}&g|*q-%l3nO!1dflK(e7{^9(e z+7sB!j^*E6a;SdV?ESY_=DmBX&hxfDS$gH8r>o{Ui>-}X`9WFuyu{H%`k{XoBrd2r z!!s%6O08;v&`Po8e-#$gAC+QKm)&rMIpL4hGRf)hxa)*AZwpvbq2O(vkz%>b`B%`_ zFF);mtzDx3p?-UAk=M10f@S=&dCpd!^kfsOtco0#AO4cUa=+>3?9dBqXUtoEA=;o? z`g5(>GovZCcZ}xR^d5{Bn|tu)1j+Zj=e|qMX=i&L&2z50d9y5AegM1KvBUN9EWeuF zkN)_v$?x8b=J}y zu8qr?=KYJ_Z+bpwPgku|F~UV7F(CdRZY zQTt84sLQyi&rE;&_CUMYs_xlqq|RHVuRi!_y3y|`=hXG)ix#|MsXa3B|CYkt*Q6i4 zS1dZtP`~|VN$9SMIeH&iq!-_fd_AdGHN2XSmlz zcJ)=?{)QJ#xii@CrBC%3(wUhK>D z@%{1dOD4$|H9K=CY*ahX`}%(*m;2NttE_WEe~;JP-KgMk_}&Vg#Mo)`c0E6OWTN@h z==q9qOy8dguk`pT`TIW4e*OK^KW=6$40Lidb}}(FGIBCEH8rs`a5b^8v~;p?adC2W z1Q7;y3N{3l#KITpn;IHT7G%<_m%U`^ACf3?>|=4-&Ie4!4NQwIHm%-qphtPfVkWK~ z-O^eMF3phe%Fgxq!yu(Sd9s9%Hg~jr!``WLTk9CBCqMjae^&o|<^7!n?=6p?xi!mj z^NYr~6+0qN2Aw*So2!>-AG&LHeZZ-mPp3`&ly>c&&y)o`vA)}DLbtbulm-6_jP$8b zRh`m(W+ zC7Kc?8UrmD*dGe?G}?LJU+p%hadQFRxx+2dVfEqv`93?nnsrI=+>yXjoEkyvCVyJ8 z`~%Ot;%Ut6RwAqcvzI+&ifQpScx?79>i>7OGtOt%K3{(>?V*uD>x1N`hpAaJtZo*p zKD+Gcs{L1mXE8nIbQ6;_IQ_uvRGv5Q-*;kn+N?LQe1E`b)8cM((J886_Pk5U{SP_s zH0&;rpO$zrxBh8wUHR4AuX8V%?s&J)a;13!XY*R_ZF*b8*5>KgznFHFJIo|vNkY@Y zZN?W8%$x3Vlquin1u;76wujIE63%w#Ubzr|Y|W$M??sgMQu*Ix@POQ8zmvHqH-oJGZ5~OIdg4dZ};3_js;v>4GW6` z8gFWC&U896m%-m{UwTQ&rEdZgltt3CnTuLD81Fgw)H50h7&Oe5KA@_h@uP=Nfp>H9 z=Jr|97EBV2v+`#|L`3{g{VB_2Q24w3dFFEFD|f^k{(pJIv$5^wO@|!W`3nE8OK(*W zXjsh3lEAjLjbX{vD_=!IpECA*TIJASb3`nOe-qmZ>zNVG2N_Z|B$8e;Br?r7_=fRX zy)Hw-jJ29y$}{Wv-uOpM;$sjvaFCCw%`UfjN0VaN{@67P)*X9!uN-{%QkJ2VVaDy| z9NGC*4>*_|at~hfTehFm=H}UidXAen56@G|nOEbV@XCPQoqdDtm2-k0ri8}2z0;r9 zC#G=x{!ZBi{&@^%-e_JDVJrI;drAJj@R`Zi1zEP1GFUjp$ksnMs&8cQS;$v*O=0`; zJN^k}-!9mj%#m5J?b-jN16&*0XEeX@U8~5)=WpPDWB=~Y>#Z37FRq#}ckb5P^Y3o3 z5B&dxp|qqSV)jP+$B*hxahBDb%H`Wyd+cL%fJpAy1O~lx``;|{EBpV!()rDQla7zy z&luQFWSDsxI9+m-^f9 z{HNabe0}@0;!WGaSZ~_!9*7s`dGNBWk#P#+{`V5u6aM}e=G)X5wfpaE-g^ET=AYe9 z{7p{pU<@0WBwbA@l zzkDWxnV#Rd{Xe(pE=bV6eShuq-=|qOn*O!^sXp;v!1D`%Az^_Rl79Z4`%B&HuV=M; zuK8~Dr2ny9TxY(_@4hb)6l4(Iz<&EOXUgMef(#$*RcnqOefl+j)8EF2zph8IKFQ!O zWtFg*dgkQUaZ;`j@y>i`#=8be>mU##>spCJg?fT|6BQ> ze$9U#E0#xGjP|qVHZ`^~>rB2JBy+mMsJbnM$LiJ&foi6=pR~5_fAVA6p{UwP&S5Ow z_wLqnr>vI}tXfk(`_AU-8x?2w+`R6VarVM24$D(&-xnojoj(}6Bwr-q=9k9?=MMYa ztQUS)XtQun&yw@?=T~mtX|-fw=A7z&C&No8lKabQjy~~zJm+z@e|2X2Q(nJS9ZDI8 zRyI`!eyhx%ZV*#+U6crWv;n?5-v~XZg3ZU|Ki)Zf9a|}1b<$O zJdhe1aaex2#KcTNJ-IPVO|ks{ z^_=_DgNv^ED9eViK>ZRP^g@3aDO)-fTnmc`V(%QQ{ro0IA#g>`|ta{kEu;! z83V_`w%YS1nyUqq%1LpGAU`Rci#OS%G>#OC{8|7 zsxj;C&ig7w>=(0kcirN=y?O5O|3M+S`?rfHJ3gD6d9sIXdE%+=oAY$ug@kYUyRFyp z-@L~=8Lyx6ty2;@_hiD(@_FKHl8ae0zlNn6>eWjuT~xng-Yaz%`K|h~_p}pw9V;)* zf7>}tHA!lcTiNV;sm72~Q>Bj{I)iSG4fw6mMQr%WZ;WbRY|0k9H;rh66=Cb{d&NwVB z60}&B{88=FO~$b0+udht#edtlZohb{r(pl|hRH7VYrC=!=t+d@rcTw~HUC<;RWiqi zg*<*skFGx#w0uSBSGlicZnIBj>b1!j)raho?t5>Ybm;PPKeg#bl8*1zrrc0{kk)vd z|H5t67nOGo3Z4}i4(TXID9HSke%GeqoB=-7_j2%%O|_>)7|#|C$x}dP&x=`r6-2U!(U+3as z&0hhwrODZoMGh1+gymFly+0v6S7BM{`PoU*F|(Fk4P&2fx9h0a7N-08$F`^DR_(mF zL@RD-<>76Ag*9qqub(|&uMxMiQDUi|$NL(~x0f=vM+DXX+FSnevE<_<#lWkl%QfW` ziY%WW{~;l_Z=2rK)7$gd=kR-fkLFfdQJA&+@Ot--+eb7X92c!o*}-BL`hC{HhF6pR znzLjs?BCdW&-Bg7#2HGrEx4LI4~EDovx+-TnA0V5@Qb-_N~CaGH_Ma{)#tZxxITK_ zI%RRIf^}`=>KlwYJL)Ut{Y^aTh3soKah2?gdr`(5AvR~?q}Bb#yQ*St`>`J>o0R`% z%7Vv@doy`idVWp0@W7t$)_2zAJwZFPvp+vH*nQGQE-akCZ{Lqwe`+_bpTTfjD>`d+ zGKZTmU# z&Z)J`jl0FY1Hw84pOw8m-Q?h!f4}|KnN5u>Ym07NpBvBR+@yX)Z@$aBw3U8rc4Av| zuC*PQ7j9vZp~ZdleN5)*!hpBW=4_uVojZj`cbMapPz)n9LioHO0&&5xJWUv6G%%CXE|w3_iy!LFO{R{kpLe6MtE>!j=c zdzVTpo|<@EK={?By`o|{w(23jdRP7_Ue#-NW3J)uhGQ|yIxlFk-CMEDahbEbuzmd6 zUEP-t+i>U}so8$Fw}U&v?zM2R_5 z(6&;R^+wZ-?nh|vjepl4H+SDU!{nx=%10l)I)CAQO8tz_NgEfS9F#M3mQW&h8Iy$jmb-1@eC z&X=Q)kHq#KYTC8<)a-gMiS2LC@h%k6h}gd5(VUf~3T~EPY~%`@WXpCU#)Msl@ljTB&4y_+M9=s?53K)CEH}$% zU6|EUl>(U);yuTIoV)a`PdENTh-K4{y;WCEJql~;F8Q{j`AFcp!9#c%xSFM(a;iWuseT+3r&LtCjs1tQ3E|zw_l#@TCdoxgv8| z3%l=BZ+YbvY_EKWP5O^XR@0xYJDXK2Pvl-D!W>`mWyuC7IBF zDaBb)6XYhFPO=MbUUQjij&4!%gVrvG+T~AQ9eI7kPbTl$Z`DijKGzm`-1%udec!^W zII9Eo!FQhQyk+b;<8Y0?{a!;$mpyfhw;YaM75%9!wOp=bPA2>Gc=h>R(OGAm^pz%g zvhnzT=Xmchdxp&(p0lA7@_ba&8(k7!{V0mndeqH}UB;OX6In6)FAQ(((Og>bhO)k1jcLzxl5atCZrgn+jXH zJ|*41d!gdUgT)1^k4`^QuC~6En5C>;@MnGZ%_oN(Dvb2pMgDF-7Bkh6H*S}$?$VW) z%9@?09eQ6jsc6%D-g;G+>v~xhf#C<|KmWP?l(yi9k6T{O*L6R$)JtK%_ur)7hDTpL zughidp7O3>t=d&Hziw9c0;Zn(N}@k|J=r5R%v+atL-)Xy?Jc!ub!?ZaiNBk$coy@w zFSc#mza{Ns9Mk5q80~$2>{;5{l`{@2c|0$^Tvl~9dcx9eqFQes_6MmSuh*@w60ym? z^UVKxMy8?ef%+pacGx@af9L2sb+<|5t`DtKS1x=!bI($J&tr+E=JV1;nKM@=L`+{* zVEaNvDwA=(Uv`TG)49r}v%4Y$+kVU}6FK%^W1LKA*l(%V#vQe6%bS~981zccy=|3O za^L)5v8PTZ%SB!O&Y6n~WV0rpJjhWmo;Kn0#UC4wFm@$)zkTWbxc_aiTP3gk*18Mt zlggM5Yq>4_b$b1oo&F~df3v%E_?uRrZmi#0ss0068w&Y%-kT!%ES_7%C!J2mtSU*GvA{&-savX0Go)^@3U+8E5(z4B)Lnar|!F_(6;nkkc0KdtSGsDEa~yhiEtoS*}oMeJ$vPw`c)o(3{{VCER2s&n|F2fk)O>i+g>T8ZJ6dI+i(8w_N;uZ-YT0H zcZ|%YOHMD#)b=^rsG_*}dHJ?!F*)&T7a!zh`zU*&^vIzpffwTq3V7D%)=6|Ewg?0~ z@Ce+?`AS5X@t2*~t6ttCZ2k!b6GU?jY^1JB?GLivtFlWr%Ff7Pqe6Y^-1Q8X9!ktS z(5dMgI_1vA(=(TSo&Ky*?F8d?4Wx0F0a=1ZT%qSxoV=;vzkx;^z8?|{3%K5%j`PpMH{#o z7M1Q1UHoQ$_Bl@Fu9;JXOcwr}WLJN*ed@tITP>z;a=PPbufEYw@Nw1KqJo~Xz0;m< z&0yltnt89L`&QTw!L6@fu217uO-h~ksbXcGPvE@x_1E5P%Xyu(S7}RRbU;Su8ZFK# zf_L}@IbLYx7*^b9mEW=~YrS?*J-?B|;WHn)oHiG%T$b!*A>QbI@vHQuZ2r6i?Ulb` z>cw6jWQd>Ua`ISY(ZnMaWzRZz{)j!!Xqfl#PTYb@!S{9&KW;si-fZB&q_TJO$XNayU_%g*PWQTC+<2ULvuGNcA z-Vm<+A|~SfiuhSl|5~yS)vV=hyAyMI9UG70abfq8ofB$ZtZvCK+UsK2D_djMWxhQA z?XuYZ`U%=cj;teymPJPmt!Ckwlq2d?k>$ww?N>r8J&uZA7 zqJQ-0gUtsd9iP+}8p)Y+@M}$}{4H};UNM1ltM6J5=F5BU9iLjFEhHEkZCvwB`-`jc z#h%Xmjl6DZb~`;+Tlj7{pB`ZMlk1$4_Y&oWx}|wl^K#^;Zry#5^}?lf2D!?-SEhtZ zL|*vs^IX2-zy;gShi;U7vN-tbm9k&%$K1E4q^Gsp$=v+EZJzjy<@IlP@5?(Hxf~X~ zC@mM~n!)0vGi$=%x;s8XYxcej%raB@{Ez+6wOf3Zr#4!JZGB(Bx3+wL_(wlqP5qB+ zpLMP{yH%oB-%;iFKW)2dwb#z{{Z0K7FWJ)h`R~ugpB8WAoO!pdamM+Zr)zczx{18^ z*!1-L{s5a*qG=2vj46+57koc#Q$IuKD90leb-Msjt@eBGb*_DAb(6fKSj5biBVzq` z=kqGPr%YVmZ>9H~wtO}xu_&s);6yL)G^Jj{KcfFQcs5^U@HeuZSa>o_{`!p*uO-iZ z(3pM8>q;iW+83;w*65iRTu5jWUU;)=^W)l?_c#4N{Oh}-*@2V4I)jwHmHf_`dbIO% zy@l}qi|e8e`5&2d>6ZYC;!o!m#pTnPgz8k zRX?h^Bcs7w&!4}0VbILEb93Grxcs~waYJ*u2eTH-?^(>{GoQMzJNhr`LCcShAHGZn z>qXfVcW6ezBImU+7Y~M{{omQWcG=Q;ON}ilXPNYU&N2TBxRU3~5M`>6 zdhP$LbuLe`N{@!b9aeByE0_2ESM5j9+>8Rw#H<@^Cj?|~h0A9+ew(B7!dW6-Mn&}( zYq(>a>dU7ZtEWs`WaiA)9QgS7X6x5CemxIt+Q?Pf?mk0*)~`jnZx*EAoOUtJeeSNr zzMDxuWWros&(~YXh8=tBqW5LmcjL(P)X4RhH|6%;4o_s@ZlA4iUir9C&%A59LqAM9 z>(ZlqYIl72mGAmRsSQ8&otk06SY88o!*`>>Pjz?$G zvv#iq+>Lgbd#%nWwXS@5^YBvV8|7=78?8P_?Wrkaw%^5;uh+h}zTykVmM`G}(L7c4 z2|k`V!DSBxv`U^_$eg-~7uf&4#|W*v>4RQ*G5!XCRf ze$@eKJVz?d?lo4vxca`r_tN@R%&wMoo~+@PJ&b8v?{qBd_s`=(_&y_c0{@p?^~x*>iak85rX=#bJpX!OV_xMHv!5QP zcfOyh+Nk@mFmqR%eA`!dwG~s7_wM-oCp=Z?SG~*8?1Yp0`96`+0r$S~{FAyd#i0In z)zsg84s>Q@WQikp$uvTH?_p6J;odZO;K-Y~ACKRf*#zf08we!7~r;Az9}nU@qcN1D$`-pP0DbD(}w(**H*ajO?` zpZ-+R;pfeil~Hq5(APg= zMoyV;*M*vO718HP)Wojb&nfEHtl@reblyYBolEi#WD0QE1^=H`cU|sv@uP)ZGwRq| zJg4i`3huEMJ+qDF(ha@e{Cd6yClBeUYMlSDdUf~FkQn>QrSf}p zPP|$F!|Jf(vprgGGj$5I4!+6z{%F+WR@z<{w=i_9-Uo)SYrydHoml z#!nS)9y2|wBm7hBYH$XBt%ptK^oa$tdbO+H>m0bTu{Y_<>YW*vy>>3@kxsO-iD~;b zw`1RvMCFBZ?`;&h&%Dn0(c&g&zNBh_>$k4H*&X)S#kZHSs@^8W~g^8(39W|*`7J==wB!G`ecU*Puypl z`iDNO&W?-!wdyT{Yorp(#JdxncJI>{^K*)l^0`%+Gkcr+jLM#~_unfpg&z9Y^NIiU zfl9%HED>ovUfg=C>ytW_xEf!3FO^Td#kk1pX}6{7#HBrxYRpb(`*@tWHf`1}=85*( zEZ5tw%Xzx3zHY-~vo{K7RbO@ek4wMj)p$I)fLo>a|~gD1bM z{BdI1?eCkm*G_IP>TL4poO^uj)IVxbJysuAv$0*jDQdRcAp3s()ej5$Lnbz@db;0Q z;GOEzweu$=U*}hEdUkY&%9q_MMDHkHej@76$9b0R(2+1z%{TY&zEt^ndtK^Ug^-W- z5_7dwx5f8#hR>@KzE#CxeOmW_Qc|x zm@{8i%fH^$efG(cqKDfI?*I&nGU#vg4 zPRPjYQ2TEM``hk;9>QSvBr3Iy^K#!$U)y*XRWNX(o%1KmlU?;QV@Jy zw^3xxe785<8Bd=ze4n>*qgPAc4CP|I^N)?*{&~B|wz86Y@1|pwb%(X|cJkRiZfo`t zF`M+e>2}ysA*V%GB(9%d{A@z{p0k0rcKWk#eKWXqNv?kCJcb*7GYYe#H3ej=mrZW{ zUb>QvYr@X@kKepsI^MGj3D~BwNbkJmk%KXBisPfY+crJTD^YT@uVPuj@rv8(&N5-f zEX8^AQd%X~EfYyU$5A>@{PcMnOYsdVR%t~y&&#Kk#+zw+9ILA{W!h~oCM&4E#j4O# zb%OoepAG*Hz0l5B8k<&g_Ft%2?nhq9^J@kFK5zC?Z4}IGt7qHsH#+%_uzVr-Yz{gx_3a#$q&1hXADpy$vi^i!Q-#&% zdb7wWUu!S+nIszh+~!E%ezmT}GM-nzigRkr+xt1uWZ4BytK&DLHqW<~-t%S3gJ9uh z5+%RPoF(IDpJJK0D@35H{=I?4E&F>7OTt<;_B;;a4SIZ~|N8<-)yrQVO9b+1{%sSM zKWKaEwZh89mn76BuKW~@{-C|GpkTM;?5xP;(O++$pLY4}lby>JJv}UzRTz`w|L!~-^{m> z=kAHDcZCu!_pDG!H4wX4VEw5tlUuNhx^`F0HEzlib4@f_E+Kn|cR~FXiFoF;W%-NuUnw&C)3iBmbIk5L7boSd zH|DQ=EcTiA+5cZt9b=?K_)VAJX({n@S(I0+G=G|TsC&t*n5PWREA=0nZa%tce#-vd z<=dxx4~qLAbw7K${9MjI^URb3e+w_^_$anVXKK#LUac)@`ywN1j%?iNRr%yb&2t|e zu9UNu$Lc@-ESlPC_S9sfXoEbr@BN0gofEQ`zFoLc`z`x%BWrh;8iP%H&NH3NV&wCh z##3PUMP*|)<3X2@&&T(cy!!Vr_4TwX?NfdEIJ=CPi-zu-|l5&K8$Sb6&89hYWpTzHdLrSWly#uVAe ze+*?itmQT5xUQ;vd{|GlK4Ht&@4pT!?OwP3XVsL9(3B$y_n+VSDE(FR{AQk=V#$@; zdamm6IxBY9I+yvh-B`Fwf4SXn*At#U?N)Y}eb5r)X*8B|2=LA0Vv4cZ=x|9U@Zk)_ z0P{?oF_PdAiYfA%GaT{*VmWY;mBi7QUHxax_8ij)a?{qR+HxU79#ZS}-G9L$2u z6+bs#*>L!A*?e7bm-pK@9&G8c+%ie6v)(Rt*7Ki@!KV(_&a?bopRs7ywNtE2r5A#p zPZ1OTdYk=)Wk_@Qdhxtt|b46}$xUy}TlmCMWN7(Y8d@A24 zqq}L^qs+vw0VaoMxZdjfP$*>f_jc>e=1*Hr2TyHk*gg40{gJl@LV1(E-J=(!3GYkTtCYod3an^i0Bxd2?nT z*x!{~{Pft%gyhqeM`d1!tnSnju2$S%enBc;%2;f!f#_oM?;4#uqI-@9M#s%!w_kpB zxqWbGSg|6v=BJOUGvC(B1{S^KSaDm?Xri31vix49rfV(p{MWl~&pdN%?-dibX?zc! zM{~~E63AruVBQz$h@1b8)O?w1VKz0k_uzzy#@cT-XxHDozEI)ni8zJ0I1QJ1KeadZ z3+5hZZGIb7mE2)$_c=D^@7_~&ETs=EvS;z$t!EUTb9E_KYFm|nAlQ69pYzl8A|qXl@4%-g8Q;@cKNb>G)NNZu5z#?i22TTt+9i^)ff z&l#5GO_$H;oHoN_QTvjjGwbiKcMM`mJvlKwU4C1ZH>;5Q{kt#NT#IJ9c^(lKUCOoH zq{zf+vWbb{cF!j{DlBb5E{760CrnCS)0o1rsB%fG#e-XJVG%v70gltNB?}K)S~W~! zQ?BovRwR{Z#=7YFVxgpE7d>UI6c)-bY*iL|<{;?n?W2_EA;5d9Ell~HMayB|6CRg% z7aTdB8DOmW#OzAoiwQ{*9FuP`^KD!je*T8XGENRj@ue~$77{C2qKdVZRX3bl+od2; z5hbj7*zv+H56jm#owZt3Ppr;ex{8qB=^;5N+y;S(ycPb_jc zA6qegK6uN|>%|iT#kJNAjYp2Fq8Y66?3Luy;*8@O7Mu>^U!N1 zm0KM$em~T|KWllq@3ki!m9s1o{7<nDD`=+3+$>3w`$ z-6?n7TOVcerc`bHwo1!Ay;68?^Y_QVI@R=4_I~5PS3cLor1YQ4zgXGC`832w`r zc_?|QzKt#U9=4RX(dHgwbx2tK<2|3|{9vs<)^}5ojpGLQBwnuh*|L+j+`18=?V@+c zN4sZj_f)kFo1dmKPkOT?q9%=B-sS_(jl+S#Q@G2H-J2s9yxTl?*6UyMduspwGL_T) zq$W4Dc-x8n*K~I4Y|g5garW~niPWzTcj!F-YVo^{qoZ=$0j^sd%T}Md`S7bw^po%P z3s2QA<9)}rThLN(+l?o;B;J_(wO`)bEgQ7fqjZkaZ7y8_Z9Sn=M=o{k&Ng24X^rN- zCn{MxS3KS{YeS^rDe=;{&8OeDmma%hkysy_@Z{Ky3vppq+va5T^sTJOY|gAMZ&Y^` zu0QpvMyS6yY^ty2+UJI9%$%BY7u;HRxwCnBplLnJrY?{CW%C5gd~Mb^u33Kj(+9H% z)nv^hbsJ-R-T*A^Cv+_+Iv!0+SVRfTe%||x4Z;ee3KtPROy?wfla+b zO!~aA#h%xBduM;%AzQkV(|KjY_b;4&s{bzB+Z=wcl_AG9R(r!ruh$AnY?F_?T%a%f zYQ17qPhQxX%mXVozDc-tLARx(-o{M)zrWRQRY}#4Pa1cvJ1Oi~KVN&^d6zX-TXrkG zcipx7Z5(GMe>mHU!&im*Tle;~edC@S zSivhhS?OlSJFO2X$Jkfv&fRu@UDOM&`p5}3x%R&1OS#@kepuS^PN+6sL-Xf-ohhg6 zEiTRSKT|E@^(#3mR73dpVJAv$>A=CnYt_DzGm**-g#a8`LTTgZLFL2x3iY0R$n)d{_-xBCs#-;B;MfUy(`CK zm)d-A;XgQ;chXxH(MleV_ZQk%E3Mhp9C9hqa`qZO?_>X~CzgB)xVr z`|E8U=I$E~O4cif7Kw`0%`1Pky40IFJjX2P^zQxk`lY%&`{O3Z_CC3_bJ>?$tkF>w z^Ejj5f4lJ4dbZ#8v+*qa$GM5O0$!nUVQJqe0}`Cl9CdeLzm6M z(rzy4yCn7`@Voehg)jKdx1HG3{owE41?qzk>2^zK+>b;xY|J;q*^Y`oFkGGH8 z%i7vMJsBp;7kufE{H6~dI#xuiZk#2kwPY@{wg{#eOt=;OW%D;7|*1jh>=hj6Y z{dZ<{(TeFiy5rW*-)CL-QLt)mZT*JZUngBSt$8Kt*X-L8+plqZ-E&;;Jn!4ArB%z* zB74;@E&6A3ewLn^a4NqLWJh}XQ zTq&ES?sI*w^3}duS_5CS`aPOofBAscF}||KM~$H@_4h^P!dSxsn`6FCuuXD*WB9w( zHqrmDeb4?)_iu1kpNrct{f($~YWf?~>cjUomA|q5eZVfrrnh^~sn?6zT=iGye6h?= z`x$!qyY{2z3hAkviw^#ozvbSCdG@EDKVCC$Q_aKtCq38X!;Q;A^;XAz+^O+k$)u^; z*Y0J$ne}h?_cOKY>r?Ok{KWt5xY7E*|L4@}oK};MKWCF-pV9bt#oM44>+i;&_i$i2 zxaCx_JeT*jn2qsz$0|enPieWg)TG|m@X9;ZxjXpY{~wROyxe?$+YwI7((pAFr&K!Y zqqhlaPr2M2u`qFh;nTEZA+=iqde$ydeY$(m(q7T7$>DFlJI?v>Yy089_4gh!%jZ}9 zI9_-6L&SUa_X}^&*|;>~?U;-KB4os{dz9{gI3 zdgr{f*`_BTJ(V$fr8al=Z#R!a+uvx{SM}e^|5SF`-RVZ@s|DdYukZE*uaC%I*F9T0 z?W>&fr^y_r+#~1yuHTd|_lr&X%zo$Z`rqb>gx(F%2~M&(xyz30&F-W-KH2}f>R#vV z?frQyGI#RUJ1KK-HJC3?KGn5*pY``%;j3!pTTjNeonhslaeKG%{mKV7MGoIFXp)jR z$Wl~avf=N(CHXr4nu5#bI+&>zZ}&FaFyW82%I>!s8x-g47Tl)96D`WN?zeTy@4%lo zr}*DflNVoDlO_N2MQ@$&`Y+Qbut`7Oo)mNW_tS4ntm#-tKyi7Snc{p?7GZ*59v%$S^O`$v3=sZf?emCtk%>k7F=T1HfC6spK_~kYW+g~ zmc4lht(_FJ@T2pNA811!Ld(c{J@4=%JX2wXy+)FEvl#0nS z+z}%g^Twc}+iHWMZ2doh7vJTkFFw3kZS}0*8W-$NyidJ;eZ|6~+kZSsh$F z>*V7n_iwtXI$_#Y50|3(d`*W#<6oS1-LJ*A`thn6&!>6_d1n`GC<{%kf2Q$P=^>xe z&a(X*Cnv?3NPo(6-FYKq1M{r3Ev^THo0tE8lz(>fjPvO#{Dn*2Gq7iuPOI;2IR3Qu ze__IoZ!72M?U{5(dlHYBeYnNE1kXF);|1HiyZ^kld7bn4&9b&=mU~S*yw86!TK_Ea z;Z?W6c*%ePqr_aBwut`k;P-t+2X^$>Zd$h5#+~rYx9v; zllT3L5Ll9!A2PAS&fEXf^QRW+`LAkf+bTHUy=@Pg7?=8{o_UA0;f%=_nMI~Q+{73g zXkq5);^gFFX6a^NU}|b^gH^0=45JUVy9q3P)RI&V}q%Ir@;!UbkkL^xbYjAM) z9QC(NW)>%JT3*V#!CX9NuIg52_B#)9x)T|j+Hw#vuUG{WU{%cO(#*Zw@-8?f=3#3!Gx3<-p z^YcFx)H#qG(X{+Sk9w5H_B+d#f4Nay!T3EA2BvFsKEF)qIU_HFaOQw_J< zyDlxb{oUWoIdA{U_z7O j<9)$~-}5Vf^P44SF6NrPeJi6Jmzkj@m#V6(zZ(|-a{Aj~