From 3faa4a8d61cf2324e77505c30f9d4f141d81e1b8 Mon Sep 17 00:00:00 2001 From: Trolli Schmittlauch Date: Tue, 7 Apr 2020 13:22:30 +0200 Subject: [PATCH] specify protocol operations and affected data --- Hash2Pub/demoserver | Bin 3469976 -> 0 bytes Hash2Pub/src/Hash2Pub/FediChord.hs | 9 +++++---- 2 files changed, 5 insertions(+), 4 deletions(-) delete mode 100755 Hash2Pub/demoserver diff --git a/Hash2Pub/demoserver b/Hash2Pub/demoserver deleted file mode 100755 index 3c98f5177005e8d03454aed9d65349a8672d49e5..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 3469976 zcmdSC3w%_?^#{IrEG!V*RYBqdjW%d}fB^v$A-W5R-h~ZD0gVbKAtWS{$C_*)plBdO zShw4z)>i7Tt<=_E(f(>_YZZ+R0VKqCd^T#;`0QR#Szj1@<^TQ8eeCR->w^#dfBydq zH+RmNnKNh3oH=vmaqr$(;JYw6DamGB$+q)tgj!a*1xovCvlU0C3YdS~wjA3C{5{>4 zWg7-KRp1!IICtE0KqqZH9U|6dOTm-*a*{PfPO@7BjAxOCwi!=@Lq6?#oc3_*koHWU zH%h?9)8^8mnUB1>FVo`Pm2*Xe@!U99DRD6Gea-n?7Hgavl|2T4Haikubr|yXL)l@)s)H8uc>LyUApX?8voSV z-0UT*v!|^pUp{eJP4$xUiBl$>lYKTqXV)y9SW{is)I6~{XZpnHQztdnPnsfRMV=`A zi{>p9r5Li$5YW(nnEt3CqE5EJ=UU)>7Wf4g_*x5mqXoX%0^e$ZZ@0j2vcNxVf!}3; zf7Am1FAMzJ7Wlmucsm+qsCGFM_#=@g@hY~!FSEd}u)yDBf&Zli{(mj-_gmn*E$}Z| z;NP{te`fxpNCf3XFAu?4=u0$*c+4_M%@ zv%t4m;KLU9+b!^SSm6I?f&Z%o{viwelNR`wE%0wx;8hEJG6v$I^lgj<{!9z}xfb}j z7Wfhie4Pb;tp)xk7Wh9{;2*HSKVpG@(*pmY1wI7>@=)>|XMvw&fuC)GUuc0}Vu7!* zz&BXnS6SeHV}bvR1^#{u{68)5yDjifSm2+x!2jC<|BeOzeGB|27WglKA8PzchEqCJ zyN|HIyDaeIEbwPr;BzhT=Ud=sTi^>V@RwTPue87~vA|bZ;F~P)t1a*wE$~0Hz;Cj^ z|JDNke-`)-3;dH7_~$I}?^)o#w!qur)Mq3*OMu4!Ka?IG5ByMic(MilYzz8xE$|f< zbgr?$*ID43Eb!M^;MZE<+br-Q3;a(l@V~IY|BnU!4h#GrEbw<*;P17-|J?$=%L3nH zfq&8h|GWkMB@6s(7WlU<@TvuVzXkpi3;gF6_^&PSsl$iX|B)7Wmj(VL3;d}T_-PjS zSr&Mo1^!YC{8bkCN(=n87Wg$5_@D*;77P4s7WiLV;QwHO|C0rNs|Egk3;aJV@I4mz zr!DaRvcSJ)fq&Zqzt;kPzyhC)g`=VD_6Q67F&6j?3;aY2{8S743=8}$3;bLQ{Co@i zl@|CV7Wi5V{AvsQ%@+8dS>SK8!2iYqf2Re0iv|8K7WfVe{B8^UGZy$)Eb#AG;NQ2v ze`JCG%mV+F1wM7e(E2>e0`IcGkF~%bYk@z>0zbh5e-`jV`B76X(id3ZFSfv6Wq~iZ zz}Hydn=J5aE$|yG@ISV|-)4dTwFUle3;g{S_+1wGr!4RWHcz<+FkPZ>G19v*3d zA7_D|V1b`vfzP+VUt)n@Y=N(`z&BaoTP^Uvu)zP`0{@@|{xJ*uix&8IE%2XM;FGZJ zG1NHdw7{QWfzQ(IQqlSD_}Np1zrLoXq&!e#yU6FAHM<1c64-v=4h1(NrrRo3RMZ73 zmzJz-s18(^Y0kBkm6uoe15-`R@l9Jjc@LUpTSXEPB zzMLiL5iBm-R#{nH5?JN0DDl^WN=1VW^1ARsZ^` z4>ET0^!R8QX8bu*;^SqQ@zbZq$II~2`lcl{6|wlrn);1pX!#WKhhq>-qRP3(O^s#CDr}9b8q3SjhQP4(>MNI)t+LhD zmia|YeO)DE8fvO*p)IxkhWbE7dBAM6Blh3s^mRD6QErH^cq4Daf1FKMpN+@0+PE96H(-W?$uBcgR7LII<{t5`Ly4=K} zjBns{O*9z<&j~2eS&Vp15tmj#aP_N9!Wx!5nyAK#no0=>uw>?VJJy%f@fpltrKCNu;Yh4S|x{vg$fp zrDoMjN|x2u*Xa=@6b#x*P+wPLs|(au)!3>lOW213 zF!5jy?OnGtP*1FYk&uJava)L0InA0?*Hr{c%9bu|poyVURy9GfR@PCm8ewzl*#}}l zVEq*p+90Q=5HuSq%2!l2)Yrn4mO~p+E^1p>$F5RCS=ZT?fCXrN9foSsMTgQJ{xVo> zCZTwtgo-{&Q;tr9=-T=f)cj?&{<;z-)q}P5OG_pjfWO{fUf)zF`k^0v6qW)$ zf~J>Z+-?#BdhPPcYA}wzR#EE@tP*uazgxOg4`Ea&uPtj_ZVQyNqJcmILWmO~nmN+0 ztZ(43Ubo!VB+@q3381Y5_bejX;eSsH-WdDXW8xM2$oan-~za%pypq z%#aW&8537y(~=la+f)++kj%(|L`D!vj9_4C^@@^f8w?OoLq%;Ye?wzcb!EU-wuClB zZ>bs$C!p0FJWKR4bf9DkJE@*{S-HvQYIGNjEJnU^Ggo;{MVZb4NR*?CnW-A9S3@C} zlnG-Am04W^+9ofnVL$7alr5ndg?ZHrU0qTK3Ib&m2J28OhcU9#jtYX+bt_=WG^nnm z3Z6^x)@Yl-w*?u1pw0tO%%=#EK2nfVri4fq#>64~R619_a{=oB7a@K5gsj{5L6_ck;E}MMK^wq1U*Ho`w;;&t~V(Rk7 zs_ExWTvlE_F_(psbFyqqhHxCfmW(qf_%F`4tv4cc{D$Z+uP16Z?i3_?9Z#MyGOia8 zI6()>@LZ#Z=jhMt@a)#ZVLVsr;W2m);QpNszl!J0dYF%2<1WG-A)sH2@w^MSaZK?y z2xsB`74ENaAH@A8?t5_?*Oz)=8=gIScpaW^>)``<-iG_{xQ&yIAM0^7cy7i0g%1A# z&lhn&OBk~FIUYQpm5F;N?v1#4ZNU9++k;i?dkoKP+(+PkLdWgGbF3bI6wjw| zzo)~0)Su_#xevFB`x)GKKH;cO(HAK)&~;g9s^@p!(ZhiBng zjr*UtpTm78?!CBq)#2WPdp`mF`m_Gzc{dO4PTWu7?!#S-dmQe+;(iM^ufO2_7w%7R z^N8e=xOx2ocQfwa6Tr0{H+4FI+mE{ow{dOO1E1shTiiF`{weNxxPOBCUEI8WtUV6f zU;80Ya($0HX$fhLO@N01o}}ZB#`A34qi~<9OTxLb6Xk8AYsd^~@I`yaTM4zz0tOR>E&tlJ3`bC$&o+V=F{_M1Kzyv8T@tHW*WHS zOHp5!?Ph&IAU~7zx?~`wR^E}KJb;3qH}$#@4vO-Rvi(cPY3YwP`P(4k$Jn-^6kbIS z)52>$E^V7}m3GANhMi_ym4v6=H?D0G-mtZd^Goz)JGoWI(>~sA5W#bsg#WdK?~?Gp zmGC_h{&y0-SHj;Z;rk@~A0&Lgguh$DMd+siHCpODfk68>=sUnJol zlkmk7{!s~ED&c!1e3gXXBjNoL{vHY6EaAH)e2avCM8a>B@Vg~^yM*5*;WtTmj(f(n zS;C{cn%5QyFORWXCHyO9YUsa&e@()7N%(#V-y`AQlJLC}{tXG=C*l7s;rk{0vl2cc z;h&fAQ3?NogddRb&q;V&XH5Tf(YARZ}^9dZkO=YQu<92zDmMxmhj~gev5?PDdD$D_$3m4n}jcu z@LdwVRKoX2c>27?)hpqzG>~}qN%+MQzF)$ZNcf0^Unt?D5}y9FaScfL1qPDO?J@o5 z{M@)468;JUiKk1#Unb$xCA=|LVswUtzgkM4CE+<|F|KS0&-sIKz#bH-IA;WY_rF@6be%%K?5Ea4{_MDT2p@RKF{MhQ=U z%(&Vm{J91a&rK4Z^B?2dEa9gcNIbVl_z4nztAziNgx@CNPm%Cl68>Zf-y`8OBz&)g zcS`s^34ery@0ajt5A;mrcxNq8*bb^$*`_!z=10{$CePO((KfbSv9B@MMyz;_ZpmT-}PZzp^lVYh&9 zA$&aHYysa)_yock0$xX$%P*=+z^e(LNZ2Oe2Er#1j()}ZUqd*9aKC_;5T**Ny#l_H zFjZac67Z#j*(KDi0-i%SlkjE%&mzpOq_zwAJi@0EZV~Vl!lx1T3-}DeS%gakdIXA#a2a57<<7S$!-&({E+MA#e_6qoA!Zamnmw=xod=BBQ0)C9}RKlADyp!-W!tDZnh%il#+9Ke;5vIvf z{Q|y+FioUdD&RW_b7@E|67cPWX}VRnfNvo@gK)NhZzepGaE5@_5$5uc>Jsp3!sipV z3Almq1%#tti1sJ!CfqOJC4@bMdj)(Y;aP;c1bivs*@U+Wcn;xw!kYy=i*Nzqb^)J9 z_(H-h0-i$nBEo(FpFvn5Tq@vG2zv<^3HUg|a|pWyd=z00HEOniM-t|cq-F>>nJ|Yg z)g|E1uLsN_PPGa6Bf=LGj(#rMpKuZ3egVHpm_w`DE8v$2a|l+u1pF*vx)kbG0Y65V zu7tW-z&i=k6;ay-{19Qf2x^Of|3>(7!hQkYLzpgyS}Nc>3Deb3iv)Z-VY*1FTfnyv zzKU?RfNv&D*Fnt?@H)bDom7{AR}-eoq1pu8K$tF+8a*i5pKvMRegQ8bTt>K8z*iDp zLbyx7ml7@~yj8$+2-B5SHw$|nAj>qq2%ssdW%ErRf~5Khx!D+ zQr5ngg))5MKV-H5r-UEQ+=ypnKPo)=Szqwo;Ql@9GaY0DmpAyf0?&^nO1;)uwZNFDqjxF<3Nf$f8g&q0Wkc%eSR6UYlSp-!m5 z@W}@v4?HpgOpWhZ3Dh2YEn;}-RkTO4UVv!zDu&13j8uE<8}T1p6^oI3dxB|Py0#G3NE{#6PrDe~C!!)>|aQxUat?;iU=K&PvVQ0I2+sx(`qeHcY; zw<9cyMv`5OkDTj91R(Y5F?1Z{O9|UYu=QHEZ6&&C_^wLlNw7|C=lz3f2{kDGYR!A_ z9;ivcNGHk<=T!h1>4hAXaNe;DKZ0;;UYKc{#wnp`pESX-3JHYZWGN1aGa!^eDk2dM zjs0KHXnVG4*e=1BXCZrls8t!d=L~x*q61!#UV?xUp7wap2wP+rsfY3|AZm|29}ixU z8=qrC*)w%mQ$x=p&tg_u>kr5^LL)RLbEGX&3u^3RXrf;$!5t6TK}K{3)YCN`3C@CU zL58p1jgms?O4}>W^$#MAFFdg@W2CLJJwG(pksq3!re#9c42@F4V_%sz(l)s(^7O#q zU}&}j#ET0izrF7q=SjBw;G0HLPwOK|N+_+@7u<`qzen2q8Rd?~iRi7{&ti2p1Eqv! zyTD!39%4BvGgss$J#oWxMANuM8b#u(GQeWsIFrO;VAW!nHM9Ofm7gXsE9nKNk&BoY zHe?W$ReuJr2nqCy@?zc5Q!+JOnD)|RXo2-RAh#P(&L?ex|}ts`Hd zO+m67*@T)9Hi{BYq;H12U#J~r``B5}TX8v0PtA0m?#p!TNzF__DrHZ;W-J&;rwJJJ zR}K102mQr^{-Qy@GU#^?`f~>T*@OP9L4O8Vui}k{`SWTx`#KouT1}Ig=U^QIY5AeC z$0JnG_H1BeOkZ?;T>Boa(;oY$f7EPfxjI;&quLB$T8-*CoTLX*|+$Gvm z3GPALIoGdDMFZ`mCI#&wq$NH)Z7otp-rG$DwEsfKqNT^EIY@4{S14~4sRxidXs<-D zbs!_4Zs!0SdAfUqZF@CCyBTU`r~{$ayqQRt(R6HOJA|Ff{8L5#Q_cJwFe5)j+K~N7 z4cT-&+mG$d^r<5Kf&bOZQ^Jcfp+jzzzSz0miB>=bcH(7;?etV57vl9h!BV$7Jqi6O zGR@@dOp~*d8KNT+8OKmPL!%j5%1{bJO$;4`NVeB7w4WgkosoACYR#(zI~gXQWq=}! zAoZYqp26q#Q;^#8PwE7ET;yJ43)!

?whX=zp^|rk;s9P5`Q~{2g!W?xe`Eg2X5- zQPXP$;hM~(!t(b8saf5rnYPF>kU@Q4n>-T3yJ*G8=mRu^Pu&H+lwg64 zrZDeOKtex)_WKbO?G;&oA*MC&E+z~Xq&1x+wePQ({#NKy(0-GdJ`?FXY0QHK4wUoG zCoHFu*-?%wF8>wGzd+=_(8#}CwC`U;q1nvUG+wj&;O}&%&lKs8G17;c9FSMrfxs2! z__WZKAME#q&)ON;1Z(R>?Lzi<{~+qqlp)*Gmw=2s4?zU&-CBG=Z5=qvxjq}sKy#Hp zqr%Z}uV$uB5G?%$=`xy*LwkUqUoro!BL7WBekIhzs5(Ze+aP^*qb`Ueq@?8*ra9Y& z!H9(l9h0AJdo(a!&}ni7pK09*i#qcuCFFN0!I@9ZSm|lZDnmUl>3e zF2FNnKSq>yma}aFrb3$0y$+QP*}wX|sHn3o4H0_3_z<|rd!MqNuW8Y&=VE8uhx9ar z5k6lVm-Zl9S^Ef02Hi2wV)ZVxpBUftiv5Bqf_o!j)J+XY_E}@%z)ot*N+il~wmk@g zEX%tZ=*UvR$7Ki#{Zem5BEhFz>@M_wj#wKYxXwXvqXb`%%t1~*XMGH}Dm>xu*N~Il z-q6g<$k{+a&v#FP2@79uPm9z&P7C>-!yD{V!lNH19;OTJd}kVj6v1C*&rWbZD6D%? zVJIyVLs`{F@MDY7e0Ly$=L#|JF!en=-op|@Ga@^X45eKzN^2e#NkU=1P>MD@hDTpz zmR1Zhle_eiA|shCls6kl^?os&*tgfv`6x67wXqj6YbXb-6n@Au@+w!t)K12bW%FE) zQDEG);OjDB+Lho}^l78}l=r zO6a1DkWJaqKO8=7GWF7|U#P(0%NqDhR*ebRt$K< z^P;U^pYPnT7z;PSs8XKVswDLd_E)yIUL`&Xy zKlpRD%^r^01V2+p3FWo5-q1w??G5MeLDx;q^yNlZoL(6G)TqY-B-iTU3!Rl&c=}h~aKV07pfDWhb~x`x zqqO9$BdLw{HF!AN{)Xznleli51IBB3x4nXq&IbyzDrrkRf^D}g-}yj9f!~hEIiWEK zCM%&i4uwZ7Y)bA9XDgHvWIPb`EQc?ct2(s$4#{vf7}o8l!8hNxwC1}d?`h2AY|iy# zHD)i=m{otNb@_Y<2J-5*-@{aqBGA%nx`~L5_MhY7Y|GIyPu4P1y6Qq<4v^m$9E|k+ z&Vlx+U>0w%+qr%~RLP#ZS4c)ZUA8Ys-))~Eiu;|&Hp$4=_E#<2&8o;I7};n)64C0p zaGUjdYy5tWsV4ka@CDcv;mg&fL?Z<+Bn&g_u#kYe+0>O zeRhfbe+PoZBKMHc3m6haKW)joHlB_W&QC&zHGA}Rf{>7tptGFWe~Ih{ACpD?G|e73 z+aATzF%o8|4NL=jab$daH{vODriq+LVw^vl<3~&08$YI8OnMI^J^DJ02|8YaF_{Bn zqVZwq^AkvJ*psQWCr2v5sAf-&)a=Pq-)2wX#KWHKQ2&9YCtW_5kRRvz8PGz#j_c1x zI6+QAHW#CCbv3fe`f+4@ecGWu)HSXCx-cSRnUm{fsDDV5#}+cmdz9fgdxhMtNIyua zqXefhl8=*q=;HK(Q2iJs*rT-e4=5p5XjTO4GtTv|rs9b0K(cfFeF)Ib@ViqOao+hU zMACJ9~S zV#9_5yKRwKcc5Pb0fV~Rrj7xBar*rnctX8hsCU{o>-`R91ft##Bfxs^7gL0>@BbvB z-VbA5VOj6LBGb_I=4aBZ>h0>b-&~D0jbxKWnwitI0Q6rAI3i;a&<)RGrrl^S#>2V( zpKv2FNF4L3uxV)ZEcG~W7}GDxwcCCM^Av{b(<4uSMQ`hkE?Zz?!Q=y#?V?|FCq?cf zKD@>e`I8oKVf0Op{1!lA?n>9nK2dmK_<>FE!ZzApsY26F$)Ma2n zx2N6qdl`>5ba+EIy3ka6(j&LwD;DrbZbghIcu^W7(Q13rb(_2fcy&Gq!4Kd#rL=Yp z*N4hIF7-S_B-U>Z%ZNlF452>%K|q(**^Jp}KLZbE+l_P~!}e{av@+E9Fpr>~VBCQ8 znjOTEBqd$VP6ixUkM2N z(ya?3fTGpgIlP(cp<=~Q369B(T)GI0X7GuWU=cdf*cnJWCz!fd3GP%vibHj1@`Eqe zFjqOVAYIupkfJ2nry>~^P*IVBbm8I!Mq&MuGm3Sjx5xgUN>mpYmN#-V=ihU+rv!^z z>jl~yT7=Gf`Yr_?wMOw}Wbg$Ce8Dx2eZOpnct3m-BJ}EV1v~6|$u9#w-CL_*d9~O4e7yKOl|FC6ZJex!e~XeG!HP%x~TckJP6H-r$$ULh-rYP_8dzKZ{9%pL&CzDy{Dfcv{~XuH^1_ zZWxb^O>b_*dD9pKlwd?z`!3$C7^D~`bX@?{h^X^{qDhsX?HrZtY&!|to=Rvjoz9{& z4(v*Dw*48HP~(7@3*^Ej!B|>;!dh?AZ61%O!tMG(|y4k(tR^-$Z&30BiKpzVT$YvDh^+0Aq;(y%NyL|8xirg zKAi-0gA!oMfHhi4O|hOiJ{Qyra$jy7(~>s@LG=5}!DY8S6F^cy@L3FJFP4*mH;2y& z-*;4u0XND3BQq`p1DZU*z#1^n?AX_4tSewEBAn+uS+vKEHx4)a#!zDv%c!4(>>VII zFI+PWC4GQulZ*cY3S3-*P2z6*Zvi0gU*Mt$!GfUb-SHnXa-PA+obb#Z1(HyNB(9>& zgXx~uuacZMRY1g$g~JoR`fJZNm>OH_Tf-q3ho|-HWamv6BAWAMcGcD|k^gNbOHsr-OigHLTk?nA-y+ToKzStPA&{rVY1Vl zItTfEp#`sEJW}kw;FvxX{wh-q0|Nj8?<1yoI5=^DiO8JLg0EQ20Ej(_z|0Ii(=@bwTc9Y=qN*K_mPh6sy~QEP$l^;EQO=$II9V zpDR#DC4AqxMkCA%pU~?IUJY%y8rm>SQ%6thAR3_`zL+8!Vcyps4#2k7H-^Is>y5Aj z(QS|Fjc|~SaFC5~kd1JVjc|~Sa8NWt{`(MGYQ*zTtq~Tzj|!du{ob84FLXWQX6k^C zK$-xAgeVy%gHV{qNVb5<#)z1L+z*^LO#?4z>h~euLNr1F8evTehWS)9J?4rFo`k3u z+A*B;%%MUc6&m4$u6ZHfSBNPN7oJ03$Vads81e3Si+$m^STjIbOsi0j zV;W{(xB?|%HA?FXVov~lK?(ZxW;hSg-?uOLSf{jJ&qG=>T>k<^+Uvz?9Mqq2X9)m` z%9u1gMwbMWK}i`iMvuv7o>T!80WqmXwVlR;49G#bI=Uepf6mBW|#>{2G|#7 zp&6z^{h{PYg=UzEHbJu^IhtW7`a&A}!mBK%55%;NC^DNFnF$4=8D^qH-Tt0YBJ3~w zz>g4w@FO_=(rq6LfPDb=c+b@s9MA#0l08Id1CB<}MOrH-N`2UL4< zl7p~|yAl0;bs_&rwq1|sK}{C|v^i6IysbN+3jpTnfM_Vnn=xo8CQH+kEn>10bO3z} zT~YuAxlcQ9$^|dzY;5IApbOU~d&8@s3s=A{o&eJZ)$xX}fL%=OMMwV>&F_IOOpPk+ zl9)oF2SNvs2THL6eRE77dLnjWg;Kz7gTF2)h1Oe9Aar359cIJ-X~{crv5@*~9HHvA zy8tAqmBP7dfhDtr@;+ZgeGv`xF@k8IEm%wHw!Z@ajrRf?=r#nsJKkYWJ>6&>U$_|U zZx~FwQ|Jqv1?US#h#u^!6ypF}6Q+TF=uCm8C+BOd!5M-j&Mg;%>KV<$rS%iIs`;V3 zN)$+IuCcX9W9x2|(QTinu|*qVLoj$yHX*)H9VXIf(%8WM1?ue$E{5q?>?jPXzTgMm z)<=_o0e5TQV5|X$`+dPeEDoNP=?hn+M;;vKu;oMX$-Nh8;4nV#%RS(1ZGq3J+yxE` z!!sZ8<$m4pky}KF zF?PQkt#`ay_#su`VKMkCHhUa+LNE1afcGpV*qnt9nvI^B?F%*K_=5f%^iVf?sM{A> ztoVY(3Ranml%P_C&Qgs2QS1v9l=_11QeUXH3iPW$-w*nJvy*EbI>F1ryeuE*4?^~* zu0$2Xbt$@|vkM^Yi>T&50MNL@zAR%h%+q1q;qs*$HJuY4GY~T|mufYoqqCx=AUrRr z1G6<~I(i7Ym#$iUxWfzc3$ql0DuGJ%ys z2cf^f;|l0U>@8^m@X_@8V0Ibf3)K)fO9vJaI6(*U38V@@$^971B$%D}LOcNxo}c6k z&repub5nfb<*B~l%swB7314_NI&m60G0Z+v(V+LDJg8!L{&1c&LAgB`PT!}kh?oXl z%WPz1CKTB8b9K2sAA;P+gzT4HA>^K_%Y80D$h{wbyX|=ZG~Z_Q{$k2~pYGdCHsn4p zoC-r~c)Issh20!fQ&9|@%Vf`k6uvKfT{1<3fz`P_NO97uti|8tz?Jx$61WI|Qv*}+ z7fucS4htM1?69!GG{7)dF#`x;&`xSbGtQi1oMp1JbaM(Z8CEyWwif0dbgt*ILI{q& zizf+I6r<_2u%Oj+Y79TdYo|+smVZH5P_#Z<;!_%3VK~7=6!!If78CK27#ds4Y-VI8 z6bRvefC-`Q|A*`^U!Df-Uz4fJ{%L@a{o9aYw|xfy==?Lj@U%uI3l4hGyP@+(7_!HP zGb zI+XYe*`u2~w0QwKyJHT0I#x&X>f_vX02n+(jH!D}2G=j<$fJq05rr|{+^BQ?+n5bQ zkh>w(D&f_8!$qc7kEWu(;)m?%tDpxV6&*@+3DFRmS5LVL50jpyXcetBklD=0Oehet zZ_w5+X@PJm1gEDSqI6PBc$;H2F(?+PrrprYHS)d0Z6pe8IXCmeH;L^ z6sKX2F2sP>+Lf9(51SWG>+%KXp{eGfseX>RmDx>R<=mgL4&U&#M;Myc|G@Vw)_u=T zM7Is5FcnjXo~TXu0ChB<*gAu%nK$ZTe0CKL#NgU1R@e}ijH7{KpZz==TB zaPN-yQ_w1$5a@&XPZ5JwSr74c+t&hM|A9Af4uS>2z3e}8!uL6i{u4hhdx}#rV{)tr zC$JEWvf^uPK7c7577w(!@fq|14>;GiLVMsd2C6V)4qVpybxI(=_3PBYl-92?dbEBm zIuV>OI$&ZtfLg+UbH)QdA7ccg&e8#xb{KpepwWj6m`o8y-;9CoQ|B4u;dI~*cs;N= z92e$b^q7_G!*swGo`cZ?#b{&1rJN3E1_`OyiL@3#a*Q53;rY!(7t_rttf4V0gXJ_c zG7}0!lT3{HSu@5TdGRQCKLrlw`U@z&8RH#5INNr9z$Gii1xo^TzYkDrmrL0MFFaLA zvA>7kG4qbtO{YlRh&aQa3{89NQu>P@(V^dkASi7C*>3wk0H7^jfGu2xApJ!c!bwI$ z`oi0|mK>Yhy@@Fc+VUYN0@zzLmO_W0vuG?v%0(`CKEAPVeS9t#q&pT{3fH^R;VzHO z@CEZ-8BofxSw6&OL4ISim0-XHA85f?I6(_sIcT=AZeOs*1wSY-R`DTLfe?$7wV#uR zrgk;W@Y^_}bRXy*-h?B2!?q*^97@=auI?UGX4oUXQ8thB)@}q}(1N=QMtlJ1bq(56 z;P~3vb~lzGfZGL}b3H#l?hQ`OR9C#Gt#^jzN3l$V6^frsK7 zZu<%V5Fb{n^0E*t2!5q6SdB9zI47JIQDC1GVW0jE`(X|xd06qJeJU{5i9BL*Y#6BV zh%exb=w=Ap!$G|cf0F}O;crSn!Qa%tH2k#(PQhQ;DPaz128{KhxWPo9j1Dn=NW+X6 zHel)XF-KZf66-}bV=WXGh(@Ovqk0kSR5R>U5#~i{U32uogrho)R)C{=@h~X5Hjp4W z>{J&zg&0t@={txe3@9QaGimEZ=_s+C?X6xZoU0bd0wVlCeSU9Dzp?)*&I_#n`95~q zChTOaz;fpaE000LtXzfDb07N3Xa3ZiH0T-p56|(0^E{V{dCU^*gjTkDLRWth?DM2t z81;qoQMr&G%ObCz$r0z>6z_o!5>?Uce1Pk39u1f37SIc6TMg3v?*k z2?|1&Me~Etc}89RrE~qmM5J8y$-FR(p1K%^1GIVjb`D388?d6N29U(G=iBL3M=FVb z75H{faHo120){;}uoJ7o`;q8CHx`ULL8bN0WM4>0ceZ^1tP)g}GaVi=hATS`rg(x+ zdY^mKv*Z0?7l%(!y`kg1Z7)09NYFdt<-*|6Sh;?z5VZ&wK^9}TGZ@UO{LKD$ga)0? zwy#vS%CvhKfkk9-%xWYThJyCnfm1>-1=BVnq&|m~Y@gPBN!}5!(vF2DIw6w$+!vfT z-H%9b@ZZYXx48Q4-SOTq&)T=S{_Pv_mh*wxS-HENH{F6X-S*c(D@nZxVNFg2!I#x7 zg7kW-k8L}w7|s(GKt4~vOtx!soKEKy6P`^wT*OE^A-)X4c@=hI9E2xe zyaK!(lU!TmKt3>^;w%u-?~g`sjy&lIU_xU?}B#g^tKWH9gZCVj{FIL zH@I6J05^L4CdO|Pl|cT_A{z;B7DissZzjB67%)MA9T>qLQHZ_7bZn(moe>({hK!!v zCpn1TfFMSJH;|>9T=SPT02L~<_fEyi$LZc9D_6Swq4O%S6yOO>uMGOnz!pAI7lt0<`FUlJn{TFJ)NRI6#ytYn_I@B$>;?wc5e~Vt zy-Dk~A*618m)4{-yP)murc{i9VBb*~s>XO6@u44Mk4Rbj20M(tRn&99Jqf-4LoqqV zYEY;MmBk>lNYs8l25#(B;&?J<YM$+AAsN`a(A}bLk^AsWMoVRS-H2LMT1M+qxzPf{A{p zFI)tpsx3yYJPQLaPTzC(rC>3Mb1wxeNZg-NuR+RvGG-Pzue0W_ld9eLXOL z>WM;JKOuXu=20N)-x37@22#Dj*`R-ufJ3zoIME|~N%!_3TK)2Ek}n4N`EK=pIC~F1 zs}{hF=LbI&FF1+~j0KUAP4((LM!1tcs_XeN2S_!_X zw7wlJT7boyk$>Ug;nBapmyf&?o&oK#_s`$ViSZ?kpHwJCZ08#tO;!=tW&5!;F2 zdB9zjvAt{BfliTr?FZt4lY=`xxIo)S?pB`pI&h>(VYp5qF@Hyrg00E;5(5U zz)ZJ&4=_oKwf8R))9?FXScooM5G9?Acsg58onz~0xkY4-suz@u z5Sd|bjf;G=TqO7q`Dc6a?o;86yNWSlu8d>Kik>fuQ&M+wbMS3*~1u)Ju|D%1&wg1lj0W)vrSmEcpX-Il#jsMg(4^_g-jo;JS`#7gLF1b`Q4A zT`|qeGGrj^L0tJi{#H4(P>mDi@JN9s2fCTO_@cH;sz(Ltk!{qYFtHxct#mTpS475x zi!vkRzK^JAuRx`W=7qYwMqM-O^TO4pu4SV{p=+W( zd_?+nKFkh+nP<1Bvv;A-))75ISBmz4oD_d9LUUud_ z%B-Kt+{MU9)f&pu?Bq}mvy%^KogBMDcwGg>52(MsILX%G+A){47|?C30v^=RE}UJ9 z*>M~Uz}wU@d3yP}0URVK7+y8N3I4|i`3eFSFEK2h!HPCl3VSlJ-T&-dTjvZISx;wm z66Ba+7`{HV;oy&i4z`25xG2XiNq;8DP1U)nfK+;S&$V?77_E`48wG9rGvvr|VY5W% zdyESiH^%Fl+1{I><_W`39KTzCD&+Em#@Y4rv~d=5IPtQt!S@KjQ8(LvHV(WTK<8B- zgfnI82kW)P6KjXdpd{vadcG_ybG*xFp+0B^;UF5TbK9$E?oKxvy~8$A*J)o&r&)y7 ztMfJ90E=U)2$XgA%IN4KHWLaap5YD7)NkLZdIJ_^|HBI@sb=IEwd_5u2BMmtal zMb$AmUnptWBi|%C_15tkpbv_6h>VP z@?Do3)rfEZ0gaAm4{XH7#^VKvMA-s;{dzs5vADGL`!&ijbIeA`MgwTQuLU7TeESm97ca@K3j z78@$f-X>{Xp{8}yyk-SWUs8pk9M>xPtX%~ zqZ#!qG6vI9T36O20hp-R5sMEOQjIszqRe zifdoxccs9I!K*U-AnOjB9qx z277LD+d6um7g`jdhjQ%TkMwy($Gi!q*XcZ|EzK<~Wx#!)%v^V${X- zSKXrIDkvazRk+8hC|=pX>R{etcD-*7bXOLb`k0}ykf@LCIi?&NgzILk6Ii=$<54eG z#%vGzhnuwa5ccv0ng7Z}XYse6#+=2A*hq%6C@Px1QEMcvj_m@H>!_QT#h9v!S!JKP zB0mY9q^>P`EitU+gDL$Ye>pLIX}BPfrBM<~qEi|yc{DCx@AILQ2@SXNyAC(XGVc@4f#6ApWzB;f5Rt{aYuRXr& zb6ZC1#9MwAALEB}tHo?gh?#E2R3*fGX;M=XVs@G_SqU*4%@{{qOw*+>BRyDr(R|t# zBr~u0eh)kH45Gfb9f3up|F-Wbv;W1@8|G|V%lLaO;%SGz&5pnh2|E(=ALHr64yhNz z&RE6M4xK%u9g_Vx3PTz{2Dn}^4NW}Yx<%6sEVvo#eN4;C-~;aRX-ex`T$^w}%3R{2 zl*Rf0$0zC`FT>6)fPZDK`^=;Q8crM6ec*&=D4#te=7c9dE?hHoxIh5r+$ujG}N(H`;skK}Irf5ZQg95PKG zzomb2AI!PV7?;{1x$oa@7?*Nx(8eYIZShSK8<*Uh;$vdtQbs~dY+SM>#Kgv>{)BR3 z<5E{bOl(}*92X6H7Xxbh7tvh4f_{Mzn=yxssw|fnL=#R&n z{?PZP+wqPi-TMr>7as!Ma%;Ms2Hnq&`{DeKvZlMspnJz5(Ea<{mU4L9pnK6F(7no< z?h6Lp{m1@rIiy(AechmY+ab{X(_5Bu*lWFXZn9s=FD)^x`hbYCC$!{zYt8zE%dhkgB)ayZAJd*dO{{kb*WJcI6Ohd_6RHQhM|-KWR?a5=oi?^x^m{0ZxU zmm73f9s=EvHQjQ9?n#G0_Z(}w^#kol$t2NyX2HkNny5Hgl zigkE==Mk=dB>Q)U7ijK)i}}f27|$`?%zji~8*ES2CrSx^antcw*u;cxF(!0{oE>Fh zn*&>^nEvd$gKM5B#4)g0_6wWFVD8kOg2^5)gC5c%`!3A63e%NQqr{}Cb$15N;R$Lz z>O4%CFkf1yWsBvD&HI>%ETrqxzGl>IsA=EO4)+|zj^97kk#8Z$<< z3?HH5*U8MY0AwX$UhiDDlCxM4i|UfqCye7b+cPG^$QP^k?7bS(WfQut0O{IV22syCMYN-2D& z6y7U^r#ur&zgi0Kl)^9J;Eqw>&n5h&I2)wnGvN0ie>-3!{}#!as6<+u?8Wm{ua9B)^xAYcC4f7{>CBc zeycu=vZnj6A%{DTFy)&HVlvh8io5sp3svSirirqlo9WnBa)dSZ0-)GrA&lvUn%V@K{T>sKdxw&7x zRcn8-&beIfzVq3Ax$%i59~=$Lz;e3oGBl+lU6ge$`Xh{R`77ws1M156@vaWH)452g zl<(5kv9M0*>2%fmZ0cz@+l{p>7x-YEjd~jPwL?F_u5DSl@oTCve%S^NJ%h}qTd)XL zedRq$=sJ88yipuonEa>@;{h1I?H73I0KSgITbHrMb}+WSX7H4FevCyz{^I;e{84R; z$XQ!Z|Ik$&$ixwgV>ocQbuMG=F7tb`X%)p$GjZ69$IP^GgxyFsh>!h>=OtKo>L~S< z?MFGdCyM^nE7pk~)yA>je!EpTE|!l9`tYhpzc?HoY=RT9 zhD+7GT+SBbtepkmVte$T1^QTTbluG=;=>&@=JXW`GSo58VJ#c=wBy}bUQEA{>2)8% z%{=BpVUxN3n#u;n#q`BGeZQd3BPU#WEpU(-WBkpR(r4-EH^xwPGIyc;nLJisX^q{k{L@vULlRJeg^}Dq8)SF*x|1;v`xAH3T+tVTx45ym0jNMB&P^@Po0CC}983GU>4%kp! zP-IvGP0O_{i^uTcOrh#o>WAZSWVv6rebN%Q8vUiw%fH9E*YVGpMk$amkJ)S5KZj}m zC@1!xBXRpL6><{q8ypK6nOiTuP$T-EBa3U&i`-ncg0Zr(LN33uc1Ho z2z!T9ayD=IFmL(QsowH=4sZEoY2MI^bo9*L$X{pzKl26;!1Q4ljL(UE5;7^zy?O5XpnHr;ujh);qeno%-7mhkE%2dcKJ~4}(-QZ*R zY(=IbUdZfdelc!#)(k!&MO*1sw@sb)GYm+rk8Jeub%3Zg>}9JLU=U%s?V8C8WNsp~ zx$94E)Z3T2mC&{U0bw8^)GJPvhJhBN2+wbB7Q+Z5Bd7ChDNsKn3I|NDHx8IC%6ta) zIa|1H-zcv1|K#E}3FvzjH|3Cuv;A2vE=NG$t2l9T_6OH)b6jzK-@my0L#mzoUb%M7 z0{ULHD?Fs)`s0dAM~7w8e-Bl;?7NE-{rW;D)EF20b@M5Dzs8!^MrbuwuDE^$H(ag# zeUexe>iRp;FLh*{f^`obMF|8&g}9UyoO_AJ`MeesC4+3w{+3JvieZqOP7!;fe$oyVPIe3kKrzb^BfyUx(V) zCqD1A@0kv=x$m(Kx|sWRb!>u300*$0WGLAzbtgt@MlKp+~sM~3AUIp^M zYIv|X6<>7=DrtC)oDBt8YM&IqGed{7_%tS-Ja2(^GR7H3@uFY7F+;SA@E0c(wjF44 zh?6VGfVxF1g8#U;nUGA*YyEEq3g?LqDfL zACMQ@k(WGgIEBVh92p@Mb`VTUv=PHy#zIpCzXt{~0obh%UWya+OY2q#9_UO%!o6!!`oh@4ZV&!LSlge*6 z+~s={%g;(If3sZvN9cKnxBkJz`kyG;SE~Pma{Ui?`QF6xvl7eSESLWgn(FY@e4W1 z4jy)7U2N`Ypl0UFI#bb-SVg<)2=W|>3i<1nmTMT1j+|J&j!plH^OZADta>C^x3s(8 zu#fY1#_VpKeH2W3I*S(ShYA`F8pc;%XZ%jP{_&0&{e*Rr@u%ygH+*K0j?;U}5OUV^ z{+9$`zGc17{-@A;4!C%C(NgaP9qK*&tx{&eZ`)z(4!`R{3#?X;!G0an@cQ;~?|a$r z5p4*^ItU9I}N(jk0R2A|FjL+`5o2mJPz2&BXpk5hu~AFKOIM( zyM>Ij@((Uyf5&P0`jC(2nfo+yyjzb~y2#d5!2_>t@q>tsXO9qF(t>SL}EW+~ui*uGmO8<{~C^yKR1wXl^y z7`lm|@LRLeh5WVtdyg*veiZN>=SicKgFH^9IM?-qCPysix=S=dw%(mWN~w?%-iHEG zoRdyLI$o4_g!R+=een*Y9%5g>;F;;SF+F#kLe~w)?#-jSStPzl0Sn)}6JjwZW3cn; zpPVD;ugm#CLhk3z4SR{872hfhm9}I(K$eUlPH&rZ^~c!mL;aE)crf2MyzSi31q#?v z8Ad8SSFo!`?COydvvFC8<=))}Sj^;!J(qcw*D`eD?Q<)ot=w63`i z!~Hn1R39xuA%;r8%Q}hXE%_tUym4B<&L`;`-^1@gxu*TU0|<$@b3-c-ag~tJ`VhTdMXot2QEy?ANKuCo+H-v!r zrd(p*+lusvg7xp;P(Yh@n*zeBZA?Ik-`yEF>RaV=_mPS6xeXXyJ{jPOHIeHP0X?v8 zey-#k>Ijjxp`g0WEjz`hiVslxsrbS0c zUw1R~hxRCo`DH)hd(3AQR8g|DUB(Z4))Bx9@YUBUA$ zvOJo}kN%y?rI3aB{XE}y$)Qg{jcJJC&&k4|``zd1yc*UR^@*yJ_L>$s8{%an>GK3T zKwfN@Xqw4~bKRXlfR`$BH}57Otodog9@|yfY@5x+kCP{Ef8m`!>~jV1eK$Cc+NQ>q zB)ravRDIk!6ipdCkDFeLGB-03>cLS32?n$TshNCo0fIYVQT6St6hpXGU`VS;zRh+l zfMK|ei|ZvBs1K@OekSNl((UaBd;A#I$wOlh8%6q9UJ5y6#jQ(VFB7&7JNG%|9O^ zyU-haMLVao4SOwJ*qH6XWbIxNJd!(v*bt+YtOKN{gi!MJFTa#%hl z3q7Jp`P>p)e?Tq17eDpa!qi%NhnC(J73mk}kf?F~XpZh-l5YPgkJO>9N;Zpv2Mdi=}VT)3?OZyOG`P+U`tc4}X={M==OPM~@q`+NQzudrMmhQN8 zexys>Pt#ocB6TX9fADB?fQC2pn=1Hg!Xpb-<3rK-5&r8*0-^Rp19! z<7c)X>_R>De!?p2d?=wy9KP@p%=IQK<=$-kd{&w=_$W8rlb-el|H%*NDyM&h-@vU> zlE9o&g{_Fn_6;YIgr=WchL7U!X5uR&cpv{Z_9qOs9pbD3PNGFcE4{>q3Kr&|u`;MH zm+R{lGM!S;LH{>iH+ODW3|hjrNaq9~E}YQbcbDF7yEHb0K4&0*Y@GtXz=1f>Gv`sK zl2$aU^CB{suFVlW>Y_o@)@6ab>JtpQZL%EG zhiUr0m6FG~Nb2uQ@J4+cFex1sqeLfLO$MdP_R+hBlWif-cF-~AaAP4d1qKDWB;LzN zS0{>J_0?8OH;Qg;ymrm~gde{Fz0v6?le4WzQ!!x!dW0=nT+AcBp+YxKx)ia?VtX6EQUc~6!@>}LDHVrV zLYJV;uL1ZAcE3WjIDWA1O8nRy17{wG_^QIw@goVBi0sBSJ{j43mKWEJZMwpa~Li`P-gB+MZe;bs@pt= zP5tRf5q722_|(B__Pj0WVl>tEr?)~q#W~S!hGjs>+Bwl41hUvWdlATHpbvo@2Eajq zn}G;jAjvIv|ht2H%u(Dfy7+SxHUfI-}xKy49?S zHdL!gsElOhR|+q5U>n-sm;in5=?ogK{qpxvAI&?ba|Z{~5TdYJzUA6{WhgoJCh2nY z8ghKmlw&$*F%RX6uhqnrOlX?;v- zy(LR4_FY3+UfJO9d&ukL1bIy(7XvmFCCTdwLtZoXneyTQ(b20r!@3NG(8gUup|v2| zh8+m;4gA!&;_2Q&dqkMxV`HC`~zF#WNPxSXm>kPBdT!(d?BUqiV&f-rjzw{-k{GI4> zhqe3>iRDKJM<&!?E`QeHE+0RC8o$owPb|OmWx4(^JBPRaiRDMXPOQIN{;b1YesEc0 z{S(VCeMPQ6)cWw&Ke7DiSBdqP%b#_)%MVtf{zhNrI=f#hUt8z76FrjyfV_|1{BM}I z*qU1e-c>&bgM{^(EYdN@fx*ltH{)m@Y^mXhJ2&7fy~378x1xs|Rty^&kw-90z-3eK z`Wy-59N3c7a%7`VNI4wzI+&v|F~>Wo5iMnOYkZC@BZnt32iz~c4CtLyhGOJ!Cgxac zOqi<)k9yt%SO9O^fwx*|B{eeTfW;GpL&atdM#2XF5l%X)#oc5+aNNV z=FP{AZ?W?z?$@B-*5^@5zd$>hes|LkI**bKRiSeMN8*IcZ=Oflj1MeJLwN=`Ro9k7 z9}y52&x>TSe0`nm8|P7W-J!eO_#J=@Dynf_PwcRHI(xLurKo!4fWEFEzCTWx@Zxxr z?Z^1F4xDhyPMz{)3i`JkpYi3$xW+pby6+MymGQdKfLM*{EJaZ`WsVV8{R)NYBW*fL zVDo6>qD(iU)l2&>GS@j0`dOq8%Qae8tOqlD|x%Bp_VUca3 zK)wHn(-~&Fxzr8JruoE%h;=Xnl~8j^9i|UPyS|xx=>3SlFJKn;jo%kAgdB09j%N4O zi~qN=I^F)9*}^Q3N*>p5fP?xrx;&lA8BmBaB#&!f5pSH=`VA8&j5GajLc+TE#SCxg zaYoR=nuhBww{5%lMxS5ku;g2*XJp4{=~)kMc1do9+~TE-`wx+(yNZy znYryF_PbA^;Cp*b!E=fv^w*eAlm2GVM}N`m#7}^L(wK#<7+U7iURNK)Ou3_Q{fqMy z{Q5M!$^ z2MmxcOk0Q8dOC`NdEjYNFxk3b z>J^Fgk0#b%mFs`F%dbu>zbLW%7P6>e#q#Y_CySgopE99{1%KZACatLI}beLe(!cdCxB!b~fIJ|^fb7kjx5 z{Uavy4idmv`*%DjHGV?kg|dGK9fEo9uGGc;gtF4x_Eo94q7C3^uhRqK=MPbRNj=^Q zI6&EtXTWk0lZc!chh9b!m<9WiMTgdGCKzgaiE#*3&_nh8?-}d6(%WUwSJFvT;+Utk z_~{*Uy3F5PIu5Ws*8X1rgnV0OW;lP@puqt!kF{g`J{2SCdYuTY+UTRAhKXxOH3#*^ zmwyk)q3$MKgyDvmz`5kxu7Sa_Huf6ppU04t(?=JQvUXGFLsFV70Waw0JZduj z=|#Ww+P@XsRkD7ZX#-jz?td;zXS`ox5!K=GbPNadpoa?nIuGk0kHqk=5Ae}1CNIFl zcnXpX;#5A$b3`xsaVYRREIS1JvJZwZR>0lkae9Vt( z3`oX2+A67QiFxqBo<<; z=XBj|A`rfT9TS%#?%{s3@H(q1Hm~ypEWGk&IzIbG^SlE$raHe7#68UE9GEd6ssB!| zN^y;~A@`j(rUa{_SYb`!d|NKEHl#YAmU-Kovb4(3h_kQ>sB9s1f5b`uFD#_8x8d(_ z=`{2z=w#zpege8d2ZKiJn(FGe$m2{|#6Xy8?^6#mE8#4xmpXKA;rHmr0_hyYuhe)a zzsRxP29QPNleT>FP4>%@8d?AUqKRK|;pV*UxGyD!HC#*;mQ%%2Wqq-JZbajDVf=01&g%gg62x4j@Pd1nhjikm}kswQvCfb~Yhk2k}&Y zNKL?@V0W8<9h}L~h=3hDZe+lY@1OD8D`%@qfQj%M#RhFnm4TE`iCnS%I=MtHN!~7_ z!(JyFV`@2ebQbH+s*Z|fnWwXCzI+M6Ng~N6?6At>h&U{LFRf&&^@^dXmIbJMZ zYs%-^{PKb7HbDo-%3^lMNQI2^pG-pH;`fEWqCVzY*f=}U2N(z=oXUM*7;oS)Y@}II zjX|IAdi%F-b?aS&@9+}kkivxpmSP3i$`z%Ltw!`nH|sI_J-+-oR17^E*pc_+L2<_| zkc}{zI;+5zW&1rUO*_#hyI*+1k~lX_+Vy^( zD+`Qt^=B!=D2-ow&|)Bq1oY>=+21BCGDFva?*5(6Ce~)u)qg5%@1zr9GYbDIUDWO& z|F-@`=wkfrcN)5=?Gs;hLlIpTe1wdg&7qq}6OcokBn~-R-^MGbte0I{gxY--tk4VPI-gns76};+o8iPc!1te6F$Cb6(7*$TmgJ&*yt4ESQ7wJAQwnT!>ew~L+s`l z>xpjnW!i2+ENl0QjNk4gFiQ7W%gO4u5!-)4bo;wEZCByFhuWc+l}}KGT%=FzPeLE@ zYcYRfq46CI*64My%nK+_2~KlZi~(+@?WeB*1byhN&g5wJXDkS&b!awC+)&bfDSqjC_A5FaWq^H z2n*cZ-rGj=YUn(t(pCVt9A}HZK*`~(8Ryo%%ia#wvMk>yUaF74k{b896zQNy*a32- zr0O)Y?C2DfC!FBhLE68HALDzPUiRA^U;ZyVAdac`3>TVUZr^R9cCmg>{F3}$`Fiq_ zozkiQvVQM=EVrV=r^Hv@h;ojQi?8}V>!C3rs-9Nq)$p#0@@I;!wWfRysKf?|3fRN7 zv+-Ik*5CXb>M!EAZ`K#{+n$!+_W61-zy0CoEcZwu{Y|7F!VTj|sYt9*Au@Ek&v4#t ztMlz4{esNNe#keYAGz#CglqqadoGe-AG6_&n0M#tleuoF^w;r9{mo1HZWd`ji0_f> z5zDT6hLX_V+jyQ zeMy;X;pwz;W>olh{3{&)siVNZ>--V%?|sq1e^NeEBON z7WyF9@IIJM{1FQfvT4Gz1N+H42T6ITPZSRMFabE=@j8Et$<263<`_(YAY^u`&LK|1 zGkl!wGmkN`5RIxal36^aCVh$H8n{#p0v9g2Je|` z$HhcAn*Pk8V=H+a_sgmF7vk;v+A{f=^oDh>vEvx9p73U#MO=&cCJX&q#5c<Ph1dq4?!-hmF%=dZ1b!Qz2daafkt zpVwZ;=3rg~jO7aW4XOpAI0h6rCdAf`dF{x_B;{@KK%P5!tF82}Lm6)esi1DO@IMOp z?&rTd&eo@LQ|l#PCTJ&Fzhg6yE%XA}VeG2h^C*vESroIPX_}p1`T25OI`pwTmi#eS z;ykI+dmCF4(rYali{}L{UfuZ4TWHRI2*aCYfw$O$bBIv$#9{H4@`J5b zphc{xKS#8ma;W?Nwf!{p)9l4IwnOQmbf%unUcSBdV|@7!@BlQ)cTAE_nlcLeX$`** z?57>lR|eJyttXtY=-4M1AO2MFh++%sxJP{pYROzXj$%!dfe3~^ttXtn=ZqjRZ>E2W zZDZ5q(($7;`u5FQ&{^%91VCE*=5b@{#k^-v6#J$WPO)9~+L5;3ZF>m4m=9H-hT270 z)Ej0O-7ZO{+E};ti?+kpJBLH?jG%WCi@9IT+C|exVHYhurHn6z#edC|aQt6KrlXPc z=3=b2j(~sTA_xDAM`0J;6W||a7sUY2*PCh=HBa@0PncaaYdM=zY!?k&Ch=+^c2N@u z5@Ht(na8DeQ2~!#{Zf$yE{00AmI3|#hg}ql86BW@QQOL~*+sFVM`;(ep`tMU zjHAMl`uBR+1tautE8;PI{_GlsU3AvTe!XFKQ8nQC{i}9S?Y3-#V;AiLCMmXy@|Q|~ zhS)_Z5qiVhMM-oT4PH34m{&>dqUk3Q*CM;9!_*V-jc*sNp-i(|k{r9J(qSjZE~+iz zn^=B3mv6)_`lk$qV!n-)*6-Uzb?E4j`g_geQoATa{&Vd4Si|;Z^1nC-SW9p--m6*Y7dq9U*1|2>DS4tUuV_YaKFwoft^(rCw-FxH%Z0q$4O^N*ZvwF zOSJ+{qr;wXbM?;O{vC{9c8B$750SX&nxJx@CC!3@Q9mBjGm=2Y8rx84msnmkdvz7KOhk z5`N!s@RyAMzgyw&5(&R&IQV;x0KZq^-|=V^eOiZupZ?15^chn4r$)kW91i}15#Z+) z{+o|P;a@u({P(^*JpPq~%Kwq@6T`v3X$1H+3jeT3_=Ts2E9sF0L$=FyUz6@1o`OcODxO#Sn4sj?BJ5PW5QLt?IZy97pjh61N_A< z#IVtMTIdFf^lZzP6uJ>`yxcC2*-?D#MnCwBt{>Em9S*P)bzZ#-E5n8QOkC(6_`|IR zdkHE&LYg5D?eKZL2?yu~p#a||EcpD1W+wGv0x{={nOr1(eo$tPmUuRGh_s+WS)WJP zf~G_MERJ9(UpI2;ei-YC&bP_7TbsEChPg75iX%iu5vfw zrKo*#_=5EC<1s&@>mS5(s1Nkuye(^j2z}IXQ&@Wv34%hp5*d<{zm{#d|Dck23GuG| zt;kOkhj2MYL@C~b!{c3e0^fJ(xvq@}+D<3`Ec}EWf9a;+c1>`b4Q`V!24#cWHNkB* zxJ_n*vcc_|;5HlFCSMB52DfX1+iY-~d^so^+^z|3v%zh0Q&2XzUE|-nEQVYwhMn_6 zWKp}Gl-!-{D(jQoI1|Eq@ds1vNFxi#ML99>@OBmboCTR6ikNq3Ki5CnJK!u54t%|u zz1hYORF1Jfn;)0;4Btx`?1$_?M;aE9%3tKBn)6Y)1JsQ8qVb*pJe4nWYx;l>D`FJ8 zAx;KWBU>n&ASGUd(FJ+0<^Ce{SyR#ef!@c0dPcbqaIMrM&J1%t9+HkfrPI-loBWm~ zL6)-ms)KgLmtTVtXj`Mk|6U%|w%*D;*tS{2hy32lEOZ!}Iqv)8(Cp4QTnPQ79dA-UG9IiA4gW2mjlw;5h!~5$FBy zoge7$l6a0Crq4A~^J{zjdH*ETLtUZzg6k~2`ZK7T=fS@9BPPHx5Apwq^)HLAf4bHm z59+60*ZTRFp2qG$;j4_~^Z6$ppldS&dx?&6;+Pq~{AXD%(CB4tfB>o)tg`0xjg_^6bRTZSkF)JL&n`bYzHX6tKfGiS-rQQz&O7o){%ZcIxShg(-f0I~)1EuB%K~!hH(ZbDQ{!h|i>V zlnvvp-bb`z@jiuz95_Rd7Oev>J;~LJ*=Eq2W6L-k)timzQ>IYksgYMyy==qw7`z8b zl=R-e6{DdEh(IQ2ut_x<=>7135leS<=je-7aV`*UDlcN{GE z2(ll_7?_W~Jp-%r5?3i%G=%?Qq{~G<9(n}u%K4uF%lO~z&mMf|%C8nxlDU{5V{E=W zh6Q>M2C-F}vF0Rt8r|vjx3KHXaj}Sx6$kS4n>0$djR-!-|8NPO60ag_unBMTnZ6QA z;=Q+SKlZr4uE=jluO0C(5B=-nS$v{N3vjjJh`#>0qUu$L)w~;SDXNRiM!4*Ey*SQ# zQIFNH@#Shy_v}Y9zU59kE`}Vbw;!@y4g8K#Ei0TDiJS3)Op;wgYWd?r_{L5C^)eT3 zcxG~?xAw;%odY*%;UbWGYuB8AVx!f>MZ4nv`o#y}|4EAvO7Dfzn>+Ah8y+6@&V)s~ zr7yuFZxI%)@1+TXO@xxdymEOT8W58v~2OPy<9a`!gn`AfC;Zt*sIPMmn6FKhA z)N%Lrb^f>;HQeo^;a;L}Zw`ms^N`<-UVgTQ{AQImL|0)tO@16CG zAHO(id>2H+{kr1&diU7rFfkhL_Z038;cy#fozbXAC?S4Hw>BGURP$3TR4Z@ z!q6Akad+7vAK>k^S?;zuXb;$dO zyq#DLHnPL4pJ0f+m5HGVR2*3vRx(@0O*L<*Q)*qEQqhOnopZ?7f(3oWQtLhWJ>=99 z|A&ju&;Z&2!IiQO?KDfs=n=JDWFk(vr(idv$d+YhO}n z1C^@1OK|q0X}7CKfdczM*PWNn6+J_xqE=UsGuE!R`kK)$Gh-C6!d_s8%4%gKpAFq$ zX(Be*?t8$mGF-iqU@$w@dfh74?_RnugF0WwMGffV@Y~Wxbfz;;Sd4u|%dqEh!69t_ zV4HB8_+I8!WoQv(ZLUh0`d(pDOwn$6+_eps!CrAVfwF`0A@{C5-_-7VB+YqC{CL^n zM0;UK#_cqW+xhK}#jmBqGM#z_NuCC=xI5c^PrhmDmvM)=15)F5odLHTb9!G{jW(wI zSXoL>wr8LR%)s3xgKPyHN*GXf>n}D;%OGO0qC@E)R9m7(@|&WEhbj-^sHXXn!5kr5 za@gsRFCSbybN7eii4^BsXLr^8bIyvw#6=&$|MiPMhW{rm{*o9X-X~~itSG=1!T%E$ zonmYe7|dJi`zV)@#@4IEuXG}ZTw386Wt^En3g2*0HXjJXM&l!yO#7Y`xfHMufhW$6}WQ|L)$c+<2Km4P?CqM z@EaNDIJ-7+HGFbwO%@ya0WS|Cw&BbAL^$kc}7@g$Rq4Gll z%G@)3Be`eNgT8yF!D7krs(KZVI^1{7u+iy0 zuqIj1wGVh7W*;13>;vvW8G#R{i!#VHZmUphB)%kUqCkb$`s&{gu6dZRV4;q`sL?azgYX zoPj0dT-w2oI^V>G(w=ifMiQ^Qrd`A1)RJtEj^mi2XRhW@rRRd3FkLobs<5Ai*&mv@ zSI2V$#mP1F3_iOHR_CXvo zig?slKIYduD*S6^gyVmnY!YY#N&LBu@}H0Yrb9-=f9*XE{>w%Yk2-CdkH5+xm;Q}_ z=ku|~qZZHxjyLF`uz1wFWV=P3Z@;h|m4E|24eWXKSq$dUp=wLQ^w51eO;Sf0*LL8s z8`oFSau|(yf1l3U1HfDk^K24V2J$5iR2IDPeSC62qJ9Ud0sZ|;EX*fobP3~LOvDT0M(@T zEx2Zj<6sBxD&eDxEr`LIa6VdN9+yhLK|C(vqmEA&@lg|og^mNZv!S%!L$%%^a8?Na z)`5m0Qnwk8i|Wl5*P8>CB_?$*P?dXfVtt80h|ap6o~ye|MK_4sJuwgImDZ8g6|MaoO8 zlXg_>PG8@KQj?5`fyCFh*8*_{Q;>_E*qD z_S~RZwt>X2&^(^Y~ZQR-; z`LS_y(Z5w>>#B=L+9PndhX_(uIkt{tDdUGUI(O?=e? zi-+(<=LX4$l>5b}Ci^UrUjyXqqO@$K%~v07@Oh)Z=InVG%-Ev+#+g`^<2qC4xpeL3 zy(XYG+ja)=YCyfjD}`?rFZX>7-*dh|zarO36_p2$F{og#K3Al+-H!(USae+_&#So>YEsgUa0vugo7 zA^rpy2@BDM9DjY8-{34f9QQH6UxOTt#)ZQfKynpjdvON0)w8M|Gl~{>_nN8stg7dr zawf*x-vh#Ie3S4y^7M#fGTy!p&#?~W;@kVnaD2TpL^ihJi;8bL{-`!n9&JK?o38oA z>sKe))?{N40(P3hR3~Uep;aEq9{=jbPZ=HkGD97>j#cgT?HenqC*jv4elL68?>3j? zh?yldY~>QHcA{lZdtV2l_V!Y_#YBv!Mb%=KXYCwkoKzdQHve!3=3+Bm0I3Q&K@Z8Y zgpUhe-NBeI^1ID1r6~?JKaY?!{CPG_=HC3LGkP4;yp{R7^l z;5Xe5?3qEZkvyl~wde)<+#0uNfK|2C_Ok*%TMb1be(f+juo?2v+W8`nb3>qYs`EX_ zJkZ5#*Vb{Ua-95K!|$LM99MF}OT(d=uCy(@pgXL-7{2qmj2?aY@2cU9j3>c(rM5oA zzUZFtTKRjn9cOoKg96Lf*5jct4fze;D$f zx>MU9*1v`C2|pQs^?$MO#@V^*I`S0tD0u2hE*eRWDwT&WU-j{OeA3EKWUA@rxia%O ziB$k=Qu<;iyMpumMUPm3 z%2T%(iy#5CCVx()_vnRS_MVX8JbQv2Z?2yUsDQ3=reEl|X#F|H#Y4vLfcmHdATO81 zU_Z!r-p$|~YY(~p1~!#k(unUdj!oRtVJHhCX8M3U+Uu-m6vsWOKTn2v5clNTBNc>8 zd^XNb6oeM@lhnO)sQotjqrVeWW5$J3Ucou@^=vFI(!Y-DfDmAb;{$!}zE7I>g%sWc zRmqd0YE|XVa)D;x!9_v8r-KRhGt4j_1W1 z4Mzs#VO`{^XT%ZbZP!NiEfY`IlWDK4}i$&oazqIS7GzSHTd4!)94QYivLDjmpS0*$a&aL4xP*K zmG|zs)Sriq8txNEMZ*1+!aZ*sa2H3zU9WJbjsxzV(Qx|}?(LV1oemGxM$%!U!aZvo za4(LA`;5Zf`jxTcyK6Mu=M?VG#sN2dWF#G4R=6jR1Mb3TxH*OU_Ls*_hwY=`zOHa@ z9tYezkBFqh+Y0xDall;=4R@OwJC0w!c~z>PBa#l6Dcq&wfZG)fcbUT7cN}mJkA}Nk;cmQO>~wgcCXx={Qn;6n1MZ4wxZhQ{ zyNv_x^k}$0Qn(L%aqM(>_RvT=+^TTDG!D4SqT$}DaO2~Edq6bY`xNdyUl=kf*f!{G||xN*QeEgJ683ip-s#!iR#4vfTi zzQVnB9B^-mhI^*MJ#rjyPmG59IfeV;=f+Nlx2hxQ@I{5YY8-HHiiZ1Tg?s2Y;LePO z`&EVe$8*O{ht1O>>CmQduNnv3>!aa*OW{r%2i#+#;eJQqK6TF6>9FZzk#zW>!d*HJ zxLwh3f39%%9S7XQqv77Ea5pX(I~`v5Xe1r(Q@EFo1MZ4wxDPAb-NpfTdNkZ8748F{ z9XlPKt%{_>9~ADF#sPO(G~5>zZhRbY4~T~Qs=~eJ?6K3~i31|(@V3G|FMvybwq2SM z7c