From b143225af5380c1bcef40dbb1e767ba069c9ac4a Mon Sep 17 00:00:00 2001 From: Christian Basler Date: Sat, 16 May 2015 16:34:03 +0200 Subject: [PATCH] Updated documentation --- docs/seminar.pdf | Bin 135662 -> 133158 bytes docs/seminar.tex | 8 +++++--- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/docs/seminar.pdf b/docs/seminar.pdf index f01bb705344c2a5eaf887d3d005a9094fe829960..e03d29dad2b5cf20225130817bb37b930169ee3f 100644 GIT binary patch delta 39935 zcmZ^~Q*$j&0kvZQHhO?%1}Cj%`~V+g8U;I{NSD{f_@SnqwWVv8u*3=B#y7 z0#%*})o=}hVyF%_yYBQ4aQbe)_X#RHwpQKz19C?K&dkKbp3!&*LY0C`jsO%%NTVYx z;tQW`nWx~~6qOO7ppOFMs0Z$)(S?{s2+1v4ONS?28)?(}cYj>lj7}snxh!v9ws|0+ zQ|2yYj^?^CN`a$k$&uJoIf-}qyI|n8doy(o$Sz_iJH;U$5g0Tf8w8ljLYnq$8m1WN zVqM*rd{ny6+dHQYK~V;lL;=_N;(Y`h^jm+=BOmk2B;25LE`CM2-S_7mH4=SDU($Z- z^T*>(X{nf+pnxKPv>k0AO8k3!Ks8n?p5R?`mjkdtpdUPvU+fe85mnkIjG#NkNvF7U z0u|;`g4RiOPEKaQKjHFkL6UD8Bx^3@LaH)xAzl+@yxvM8e3J%&(*&0N9>VTm=C+T( zAv))iOSZN#&d0~X9Qz#71HQ{Nb}0QAQ#nyj#h@B&8_Z4e)YF@(KbZVLQDn$Q)t2zst`ZljVaTGmNTc&fpCKGTsojxdBi2CcUSzEMY`_~__xx&B4+!ten7N-}TR*_UtlpO7^ z`h=PnyB&+j-Qe)PP=x5dmV4d=JDa1}EHsRJQ&y&CLomfEkoBtC+B z8B^>xUDHBSn&TmM$rINdY&GmgFkaEK{P6?s?s%K#{xLjWsGE;S^iI!jFm+XpSUBLgZU*U7g)1Q6dDb0<+p zXxvesIP68N*a9W3jy*M@@FZ(Va31?23LOhR7_;M?RJ-S0H;`EpjP zU3B*D&De737&u2@I3RB!x~X>>N-;ny0&Cb*FF*~wc@*$b@AoYlIu_AuOOL@%l2ymY zzVm50j6b*^(khasp_p*^mpzD(dl=d4jY(1Hk8*7^Xo1arS=^2-RoE5JDEsNivUS+> z*lGCy#Lau@HJi*h)v57Hf7^eR@K~JUBUR>(X_4l; z9vscQd1hTlSe`VCggcDn)!J^`_PmUzDi?*mO+Xb^Hv3)kwq^m7d`B?Ioki*@!Kvk7 zn&Av?QUC8ZEohr))IW3aG6XI>Xa7XMiLf+BneTndi?NhOkN@b6#7C5zf?CdzK0_+g z(bT34>Yz5GP-8=bvvaZ&{a^0`ud_gsLx|u2j~#s+ju!z2)*Cqnd z>hXxKL$ylT?tq}@Sc^*i>#~e$b*r?lhSUm~-py5q4=x)VZ)eV@&4XKDW%akWJx*@1 z{dMJK_(Nt}dBtHx*4Qtf__k}Sk5)G!Ub>aDg#c5cx)UI>%Ccba%`G>#MFQr>g*sf`NA+DucZ}W^F7_D_5ak{@(03Kh4 zNA3ymgWQ|R@Vl#RhHGs={%ef`N!A+Kt%wZ+-kv8{fO=(;;j@71T~c@2Ya{vLmmaUA z3Qj?LR)76FQ3KLc9Ge&;wdX|CI7RK7-qxt(oO3mVLZ4Er-N_2hC*e^FZ# z*@A>Gk$s+Oj<8ow>6N3+W9_p0W;=E3ElbIZl%VW`>_*@w3to!64dDN`-aJ163p+Oy z|M#eXf}Btwy(#UI%30s`I!m{ZJDQmV|FarY=(3&~|PBvANC?CW3G z9Qy&mXy(2iv?onapzwtYU(c{=lN8F6bC|b|40VFX+R2s6)EVTQm!&P0>I~E|G_BhC z+cn9GF$ozPhYjHcFDe-^q--zjpHI4P@1Q^W%@KxvyvrF~pwV-j{d%8nu1SLoK$=Mu z*lKIdF!hX&n0m}g2AOFz<&^NIsd-uLx4z2+-@MOtgHP1&zHs;YSXOKG&f}>e6bxuV ze~n3)UqER!8>4ATk{!xbjLI2VtJ`EjBV=-tySawavu7HU^kXykWb?{tSN!S8Of_`! z>B&+e&^!Z!lTMvaglkh@Z}VjnAoNVRsPLd|5~IM?rtEnD3A6XF@@OR|p1kz1qgF?w zfBGTQm7^eQzQG0fpMs`@4Dc|Oy#fDz1!#b=-+_?Q=0@Z^7>D<=oGkV=}z?Smc}gRJb*?1X{=!r=PSV z^DdRBQchKD5NWRw_5xOlEd-)&>+a>IMc7%DPe>^qNZ7j`^!SSZB>aw`hq4U6pcPWB zQp?ga|D`a|{K8dzsic&1ihpHM4Iv%p1sqsi#9jLp5hD(yjA(o}(e$7%lNRj7a>1t*W3)XLYG8U<`yUaWEU@n=o#~jF~Sj2KvJvlf2hLB{2nyh!bPP zybNdsk{fHB4A5yuX_N~h|GiO4U*Xe&W4p$pA&X*kMFAW3L`@Ag8v4=~1rJe8zL z!$wk&LQH}rMFra0V)XYO#zd3UZdV61&d;VW#UGfBSsA1sHylC<^(u-Dg-YI#Y#1%Y z&T!`T=D4SFW35gHpwNw^5YS`R2#OgcgsIbNtUGsQn$<P z>0;0hKjgsd(=5TTJVn92XX!bX4tWc!rL4>0k?Ujr5x_XiS{Ax^q>89DctD|e2%66) zpf})I7^*^EsqCGrbUo>-Ov6T) z&2=WaAVv9Op|UU9{5OsOhGv=s-0oq)8)Ms}P6SgJ=*rnJK4?SL&Znz79%~&(yJ73} zh9ZfWH8ipyC{Ks#56RovkIF`$!Q&gMqr^)Cb{p&uu=vkgrj zMr~qp2vQC~8F8s_`0V#UlG765rUDl$>m8PcT^h?#br`31-;YqndroM71<&rw&9Gtr z>-TYOA?n@gSf zJdv<;41!*>@%T%nz>BpBl6y)9vdQ&=H~tZ);O;&^G#nh)Y3O94 zG4FuVY*T1ChcFw=KhN z_td&_N9&n*sFRp_NS#>f+3wd4lJX}OyJ#CNANmgQC6Hem+8#3Om zCMOO0epTFAOjL0?pB@g~&9sj1C?G+QIw}}O72$|f9Yg)Yso^x={!kPI(Hf@lCwIeC zAOhPvh)0ilOO_-I9>F!f`9j%cW&^hAAG%R7v_NdSg9>5XD#li z9brn44~k1drlNJc{gmzGE2x0a%b^-f+*f;*QU3PfR0 zjYjjN|K?WtoJ)z`Kg}u`i(DLa1FpBSr|y8&rY$j0_hiYe1>hz#0J!qbKu7*{qa< z0b*czq@b|G8Zizc<|VQ6Ab&_eE!|;&=0SlY6)*2wGZi+}hi(%Y@5+mgv6!LQDDSfH zLJ2bQ;)%dQges+_V|)@x)RF*%7&ZeVMq1k7Ky{W3m~|lR8)nleNK2;!38S6&!CG*Ewrtvl(pQnau%D|3T+|orDA!82Nt+88rd6)OqPd~h>$Evn@v6f;~IB( z+I~TAxg=%jwn6`qr9#yh<^%g9+GsN$e33$_hNp60!*5f`RVeAtj{mo9^2GGtJMipk z;Xr(e;iC)a$5^C;EI|L^(-kgPKe6j^J+H7eiXVDLSZBrP3Eat7pK()0IMZ)64(mD; zto@fy5%cmGjt;#*o0#!f)t~ckELc{npsH>h2|d(+`>SJSF|5w17j*p(=!)4q=sn~RQZlbMxkHN`6`?6*6JG+ST%>l_`w7bf2 zj#tkJ0sd&B+D0Qoaf{K7jw?Vihc@XMVjP^k zWJ0<5PAj;2C7$qcf@H;T1MstwYV5#UlR@!d@S!c|=l+dZ%k%omPsjhL3AZA5-%s1w z>)RMhFrn))nz9LWw&_rs#-I=QbNONT{n+(yThJEL$;Ula*g#+KsvsSINJpcGZV572 zo8y7+_djb*#&dHqamTy!61-cu z`r!-@&h!S>P^S3ZV&pVmd2q+7ju`>Q1)M7JU9|e&(w(=Hqv#kTSuUHOtz|CfQS52= zYoPk5W@GKhTNhvT%@UxT@{g$}2&6&LZd_B`&`H8KhX^@9q;qCkaCz^kI;#L<44s5q+3+oOsos5T z z?XUt>Fz@YR1gJ;i@HxMD=Lu>jwgu-I{WZm>Ed$<^7GqrO9B z;H<*OXn^)H?(%6ACNw#2XPHt?CGd++%#8l%r zeGe402Z-Ab!d;rO>j*u;2Ozoz8Hvlt-J_J7$b->6Y(xx%jL#tSLfh_dLVhb`Mr{W_ z_6XRafAAl4R91+uTc-gBN9Q#3Y<8uh7+Sh3L5;1hbk1w~8XXM`{5h z6$Sl$q9N0Sh}0T4T#IrPLuf>e20?;pP#2eh2rMKl?eFOx$&3H|ZL9CV0ZILc6u*A1 z{=y(C1RI4#WhbB7b%}1;9#}fgzgkN6f&Ci}8Sm9vR;U~C=$EnHLkx$ARcat4=h2RZ z{?5M9WGS78X4nXaL#StIx~(AT`;@#M6yOhwO5$cSk&cyot@^(&Zn8eN}}r z=ANpoVRfb>+G_i>99k8(3R)-<&&i@>MinUlcv6`iqGp2po}ysMTUjaQv3Pu+SVztFrjA395nOdzdE|i*GQ*Jrt@}v zIsAKd*t!-qtCp3<)7d5OQlY0o;Z2pgB+%IX zb8m(A4LDlw?(P6n_;&QSy;)P!631f_C68<0VygIv$1v~9y4S_U&+-~nlz zVYg21p^5tg@$;klC}(rAs+cNe83Z;Wl<;RF88`Ejelj(TUJ&(y#+iZY%+(7h#SkP- zL36Gpj=dC=XtsQf4xo zIe5LH%ycDZwkjx6$a=vssK#gLI|#CvnZv+b`Ro&or+q)iN}+T0-YBFJS=c33-G=Ia z+^F@N-J0#|IKK7Dgh=5>%3?Bvs(&VE?+a)BWmIpeo8-Gec%T{wORzvGv{czP)t!t! z4h){icM{U&;?WAJ&revjqu{5 z(`f$$XJ;gPsQM?=rWKR5Ee|8idX(33qDOvNoz|uHgvqnU!>^t&6x}(R?u?In++QhM zQAA#VeS6AZK53k?<#e3`E&b|dE9~tn0?4_4C@$rqev0kg!I;JWPls3ZtX9ib%xN6<{EHi* z8Pr&bs}RD5@9#`JB#nieB8LBQqdeTQgY9l5@hi!=J!D6R;|x zTMSjdCwv%j*-WlHc2<}W;Yqnc;3mtZX5LMXM(4|qa&hKX3kI$Krl(`~VD{3(&q=TO zR&NM}Ji4cRUgv&aC$hL2PEMtkeAOo%x2P|Em+$Q2_fchur3QrUxFnD=)k6weAP@N* zb+W%a)4Gb_%*l|$9=&Y? zHd;mL2#Jv=c%1WfCpTT}(tm_o8ZShB3aj$4K%%i>8`)SushbdA@u@*w@$!A+FMo2Z zDTRT*QU1t=zN&DO$b>940_oYIE5QcG>q4;gXAKI~*1lf(|H~t0aTZZ*iEiv%!3CMT zfD9x8`Jx(QL=6z7xPL}_dL-y)sY4vdlx;mwwR(#`72TJM31G!zm<5&GH0^g})uN2J zT2Q7F>AP4il031^e(5kv2~)C&&l|%TY^7u!Myde(2R!*p>vdY07SrT3kP3OCwV;LdOc5+X4HHMj#z zdVu=oG*t)ROnyfj__ae8C`>cQn{3r=LEkm#rLV$*JmaRrengZ)vVbNGk&;k7vS+>E zqjWCbfvJEN{pd6K?4rqtAis|O+-;-$3Nhm#G;~^Epx{~Dxi6L*V#bXQN&I^|V)!q` z%*P!;1V-lhI8E+ywzbCC@1YMzR@e|Kh_vyh#{%X{DS_My;AkZbht~w1h2G#zwm{iP z;#*4WJc1*5Ny_4zo`O1lBur4%vA-0L`8zkopNGB^PV~fTK zIakrrR0ol#HUy|oS!3<~)W(TRWBJ6c<7NE~yk)DziMJal16}S?vzM)2;gsH3*q?$> zrCK+1y$Q%u3d7;7=s)nX;ZmV{6*I6YX1lX(Om`^IK+KUGe~7D4O4F>7^%fBfF)97n zfBe@w(VAmE$z+2&1_ncOu2uI|cQSq^oktMUJE^=^haebITQZj;=7~^U{>p`L3ad5o z)jrWUYWWOSPwCc#mDA0Z3d>cM$0p%m%)gT!$|=(5!dzP*Qa$>oC0_jsBH@#B$gN{A z#-aYm0r3W#Jn=hmP1Y1vFSu|o-B7O2P!AIQ~z%z=I(wDgK5;+%NFPI=2g-l z#lXL7mK%h-JFpfEav!LymtW}B^?AzjA}lN2E)aFA5N^eu zdDuc2J<&H`1Oe7t_sp1X90ZC9bYI*8JVcU+7eyue07uvVWUcF#2U3x0j75azj!L2M z)1V54Naq7@YT9_~{*Ybmn#d!N^ibJo(+GjeME(9-m?2}EV*KvN!zT8ahe+b53MeOM=Dur4MQG(}y6Q^&Si?eG)8%X zn6C+61_?HTfZ$^xes?HNV zqUh(}9q)clGUT(>d1Sm{1d>jqFS7N?fa0BYVRlshS| z2!FR(vRo&uJf#-D!FA(#kjZv%UDP$3sF)J%{s2Jyss~`q9n4(aT+EH_|EC;HY+zWJ zScsU2{!>JJd@zhDv4T)wtnB}1n^6O`wH=TCW6{@oq6ZY51}lOY+dUR33ucgD=~d7d z<77yk;`mr`8?mYA#Lu_d=5A`+rWa7yVX}{^y1IXVZAJ%qB13??Jvn>Z{c|ZqQ6)Te zDMo!TGN@S{2vfz;a>+E+}?RRf*Kcd|slx@JSQ;u4r zF~>(j$AHW|vIbc^vLFx}Yklpin4Ou794dO5Vb&f+9GR+E9P=XoS3(c#JAdFK?5BUD zo27Q1xVkzdD;OD^!hd-n9-Z;sI8i*y`h%FNXArZv*#k;nK`7_r=;tCwh6qGy9SUP;-b;O zFisZh-6>k#zCCHDhm8x*aXF1g?r~kLaZ&HL?mLv_n_F|mdbpzVCmo6|r9KCh=i==! zMiS@7DCivY}@?I z;`c*(+GGi^ea!BE$G+lw`u2rx9)+Vz$MJV2ek;#H_KiA_u!i@>CXGe9v}4FbRN^$; zDlWUrnHVxa7}|k9kx{7~)D-~K--Yn#+hF9`L5L{Tt~Y!gNP*(PqA?%W;S=L2$OrzA z94VzO@z)L;E(ruSSh_{L`$8DW&=WU{Ha9&jV@VH) za(o#qbWa&okC;~mqqF_)^j&agP#v90vc4EUF2v2k_^6^e7`5^FoSmv&Z1t$GvHJd$ zkL~fZLt~Ibm&v{hK}mlSbK>rT3VLtI1n!Yb4MI^Bseq(?Aq}wuKhkf8Rf=xIykErQEh?mkDb3aDi2iH`v$_v={6xCQ`kW);j&O&Zv zzHsHpmpx=0`m3bnbiI`Y`{U*^OI>L_;haN|#VP#u?2BmH-+v2q;pGYP)vid#$-T5F z-?dHCZGeB-xZd>QBB;6PS8klUmddu43!~bME67u>Z#t&)>C2kQ{|;e~&6b(^W`j8q z9^LH!P9*Tv4s0@TTpyh$s&mMl1737sQ5!)(!Yef`%-`xn2h}pdOA*kCQMOTmIXVaOuKTq>f$m@(UBt{xQj=;9!>Ca|41S{|H!a!L zC&pzdb#QaF3}$Mw`Vta`5I83y9_k;BAPO4R`J$Zo3kicQH&P74a%L_IM~?X8>lz6; zJ1+X0H{Do!(;Wy#{q_>c=95ki01^cbGf+Es^mvZ1*6`wG*-aeq>sd{;kyY`*yD0OZ zQg4EZLkYbZ^zT$nu8�(fsd@=7l=#b_N*3(!E;P23kzfUcLEh-u2lVy-pS@sPT}G ztkM18ABQ>T96yQ^x;S@NY*On>FD33?7=CRX32BZX#b=GTL@{C(G4$n=6tjKHM&Lxa zf}%yK1T0TwncGF^&#AINJ_C$m?&Lp+!4qw}l+o-Muq1F&MZifm6UP5{wdh!#h$9MwFcUSB7Q^UE21yeYDW~*TesLsE|ZDV;TR0Y{e%9b5{8lC zWYn8~7ifMMedK8=dxI>BL`LFjZgOmm2bZ8SklE1?jyN)2k{Qu5iL`uGNZ*d5X6Zsk zee6%(JSKeF1yd{XFUb{j1L(N)&~sA_-6dA8H&Rns*2^f&;umZyLK>|z+G-PY zV-uB@zRrwabN;XUSd2=Rqp{r%=gb5!)0cC}g+Diwjm7=m6LU#g8z^q{>cc3nIkT_e z;zVgK%sJz(CaP0l=B=jDnW4JVUoWpD?yig#ou{l^elAh9Zoqm!3D30S+qc|NHA%+M zDaMY&F#4jS5Zxy~B(NKai+O?L+f2%Oys4XOKcc6gz>3N-O%?YA^<#+0y2oXZ&jq0- zgryMIW;^*7+A7(%2s|bC>eXx}dH$o5t24ZBzJ=Z|8Ha6Y(40@;_w?p$9I=(05JR=< z0&ntWFlw|fY!HvrQD`}O<^7Ov)>)r!{zaoLuufb5O-oGwCMK82Hr{*wO!#`&kug9m zNHH;A__}F_>GKMX`5DRRl5XV7T&rcNwYMfb2_K@V`lWaFl_L01eHhJ8vE+>s_rc|@ufCoM?;Bp2* zH66{ad$*-_ZxK>1?>_5!zD%C|MVejk=BXZ+ZXus#lYl&JlI}-?5~fb33Wp>Q2^7*_ znUp1InJ!A;ayd$Wpipq(tdn=Johi3}!0*ohbFc_T2JS+pgNOhi7}Aq#on6ODnY13* z!&l)3pc}aVDPBPaPXq-!^9jZGT1d`FNDV|wUSKv$iRrflkFW)wnX|4277Y(b{dgb~Oq-A7M zrdMRy0Fs0ty|L?m6SNaT`K@_aTg0B4hcvt2&go>Qen2*nLF#aPnx-m*U!+Enfmj8I zl3h!4sY}A8ZB;>f^}><*|^uBJBAu zy-D9^d@Tk6s;Qvi(b4D9UX+Vwujq2@?X$m5BT8u6X(^^4_IaU6_qEb<{K(iBdHFXe zRuM!;tSQ%WYn?F=9akH5G>zC)ZxLrp}!vqQhLbBO)A+h6d8Gku@=Dk-$ zp{Zex!5)$sSW4tE`^Sz>C?K#SxQYfB2>|ZW00_FGT3)s>vc#SLIi_01A(EtI8j1fw zgmsooY-ClVFusCgR|{MRF$3z`0qpPq91Z~-1OY@y0|?*`Uvo%@6NrgS9uPSoXj*_K zB;G_+m{zWl-C<-q;|sXB$NqW%kE#yzPyf5Xmn)<-4rIl#@+_< zTSRV<$THzaX&zdKhj;6-xv8tOvk_~Hr}00E3%$q!I2c*V4(KML0w)&G&3?V9vj{D$ zV>~HZ(@`x0*kv1*_F&W_JDYPFNudDf>w)sZ9tujBn7pisqyQZJLK;#;r6$OYFMGP5 zb`aG4f>Xe{*7|qZ$M^>(^7;*yPwh8j`p??+Pd~PF=lc3*S;fcJ{*R=i9c~EW_-4 zNf9830IB=OwhH>+2On+Vp8}}Zt>3y zh>Rmx8yK}{?m)i-9)J}W=?&;MFKTH6->aTmxb#mJA~?VDCp@)_O2~tDnfn@m`7NC>QIe>Q<`CwbVtq0IpFf8sz=5*^0 zASD0-s^1((V2#q=;@$u?$v-3nM1ksmIZePC`rhN#L24HJks$-sPdN|48>YS`=Jk#P zNUhw$_MmX|?>U1dH2-1Vig2x#>;0oI^IkR!J z{t_<0I-Tu5!TXu|*}Vp$&!@`$i0dh_s73*Ehcr-fXvPEc%Ig+3;DJ zCXkQ8d)a}w!l)o$r(pGSIE32;z(A@7b*W$Zs-F5kiX zf>?!boX3Z65c)q8M;Qc%hi{Pl%Oi(~P~@NZxu`tavWUL2i93WCN*jbALGx2J-+{n+ z3#}iJqOX>BFp(Vl4@vrYiSNPBYL1E9btT>Nly^jSHqVbeo8R^PPX|`71_t3L~p99Fsk2?dv! zpq<|foD9D^QJ?<19GQ6u?u}2&MLXa;9S|~bx2tA0J-$#d9Fl%x1O6cbEOqz<5z4;p zk`O7oV~a2cJx56jcDSptJ3tfq_PR;X|3_d%Jb?S*Yyn(gJt%Ho}%pg*@Yto-Uu-E4-ND$ z)zmW?(J{-ONbGn=$?azzmM_iZGS^&VvhMzvJeITPJ$*N=K&crbF^m#E>VrMQ{E_NJ zBdm*|%S8&SS-xM7ZZ219_L!em?wbn-ynuDk=sM=fl&HKC@n&5_BhuE%%GEr`mS-l@ z20V9F{bjRdN#KA)u&Kj{PB9Sbmap$}tQ4M(@zwmrt->kyY}&v2v<_~NV#J$LHlP2k zF9V5FK(%cUI$R?5Qm2P4=*a9ZuH4N&;BbUEyFF^ET{f)-O|!$PS7>Z05qHNdL&|i)y`R2t#`n8;4W88>^h?-&Tv{+`d){y*gN84(lo4hLqo8kHAF0w z${>+Wz;5e1D7A`;is+<@#;Ffebz9F>GRPuBv00OaPbn9&L6b1!KK4@iBn#E1mx}IA zG!AloI6ko8Pbzx@{FuS^9`lmW6LYyRrYcFz1)xdkshH0WFRDJ>_L7 zSjs%^q_SlEq|UCjE<5z3gzNY-fbNgQamdSRTD|q(&!ak7c!%~ZhR)aQ{^-1+4SkUz z<6Kz77=WBIzMQL(wrFOWo%D6xvof}5QI?=!MOCYO-V#u(t(}q5MfroDrBQ!C{Amtg zvKAyxoy{LdZf}56%@&*Q=|G}MPxunFOPSXvo3T9mHYs~&117FOzjj5(n@iKlm&qv_Fy$Hqb> zeX2>FPXbgZ;T}TkQ&WQ{i64xJ`<*pE9Z*u6H0AbAoUz807(Fugt0R;|(1rQ?D1=ha z!kDT)EWNIz8R;Hl(w4CzU`?~&Io5cgPBAK(L)WEF{x1}JGdi1^=A0hm72FN9A2Yq- z?}BJT7?y~7H9TqBC^xmd7PTXue({zJFP$L1Ke)h5sLicg+3aR=0mH4I7o3~;r=g+G zd!cw)gQBB(4eLSU3a7b@y|!o#oTOA0*;^0fH~rh9qh1c8tg&G?4?PISb={}#Z7X2X zn1~t4y6n12A-C8CC?V=NZx^%6yYyfKI&|1f+vNl!uU=X4|Gu{hK_NQr+|#*!qw9AKQ#7KbQQyVcNk}w5MOJsd;@}L z@5PC?3A`>sbHB4w|IT}Hi25CXWB1K2JfCO@?L`cuAW2Tj#dI;QQzI=;ThmU8w_<2_ zhN^);AvMEcTb)ltSC5XH+Nw}s{!e+oM79%wb}GoV+rrZ=!PPen9d^Dsmgbd6bUC2> z-=jrALE56%U%D$J-|&nVk-N)uCSqWN@{|a}=ikRfx;{)^gWvF10f3?yb z=}p1pwaMJ`Q7HpLu0lKeUoQfb2H*@yF$=>Kkr4G72SVGEyrkH)nN^jNNXo$1S3BQi zYP42n;fwTb>^?8zU$S&(qU6v?0v}j;oXo|)i#qOe(_yz`uTc#xBz5#pqJl~@%FYxq zIcYonP(4!7V5(Z_c?-|kg zs~~5&S)th6J9$N=8w)~c4-kQhucmps+eSZfZ~=sdk(cX)q~*+T(GBb_Xbe4v8NcHmkA-E}G*?6p(AJLR0e28@MP<@S(3+o;IZy5`06{b_yV2;?IC2mh)ShI9?zk zaC?1wED@gX@>=s?xW$a)vpTuv6< zE)uu*D`?dNt=cRW>wz(m0~lT|KL z;;~q3TJAsbmj?i;mUx)BLaggeHUoDgR!mV+rx*9qwi`A5;y2yXH#l2szdXF8iUUzy zW&|Hkx>sXZ^!6A}i#B}`G)R-vc0s8mR(4GIxC{&u(PKFdU7)kE)sVy z9UZq5(xOYCw=LgyS2cnZ?`lnAZP(_O&Tu~RsOKM)3Z*aMVk z5+C0oAv87<(0x4dP0vpi?W-AP17hT!6As7Twb}ceEfx58v5%57Df4E^%JXH+u{r0? z&DaLe+S7p-pRC%b_`hQLqBCZvFYD(?zHUJ$hI5@-8KLKWWFmUa{ACT6!`QW=f&SsD z6&_K4>5|ZYQ#_a&ByUS8?KN4WH~L?4`(1Cj#eydMx5XlS1Em>~%1qyTx*@q~8&nVP zN{oMZJm zf|q6j-b=!8f)|kKxx4W?fYP1uK;2Fd*T0Oq!efhh;}#92oT{`*L{0V1g9?NFtn{XD3ka)#kCrzQ7(T?YMZjMOrZqTELaK zx>hpx7e2TC1j6zc6%yW+VsA8sjg!>0O`inm-}sfsnCJ;Np(j*xN*`2oIhEdAPqb8E zD^&p7;+(sMtKb3lFhra_*hF(IhuX7Xj4jzS#f!9qBr$}GRiJ#sIFe8kk(e7XT+_t& zxEVtet4H;KfLA0IGCV@>8ACkH=OC0G60Q|1CP&%jIUe1NZI3K9w3K3V4a@1iEOUGq zx;5jJIR6bP@WsR1QE(%IiJM7aZDbu-e%$~a?)3G<+>5~gLX+>E*9i*=T4*7E1B*XMxg19$eB zww3GnGUFxF*(^N_ggaC(pib%glV#A-jT%fpP>ySOLPlI~D3*UW(zvnODct16Q&-&v zp+;{Km{CrcWyJFUHTg?YV={kBP2PmNz-8t`I>I#C)+jWkpHe1Q#Pa_GJ3z$0slPXN z+Hkv*bmtNY0?s5wQM@%CCKTksU}GEMtAAZA4LhQ0??yzmbMbudU_lV%2%2=; zBdO0hp+$U8*XcS$41sg@L3v$rcgWVRar*Vc;<(HlQv$H?<&fzui%HRa_PZlDd#r$F z1mpdOebg10bMX_$Q^92Yc)o44Q)Ta66#3BOTsR}Z7tZVK?x~!_Gkb;?w%t)a?td(j z*xzz*^c6-PvfNZe88(q*O^!mFp3^6eCaa(YjAmx8+@>`1O^76XAjD|(6yZUo=ETgn zr}+M<@TJ;*@#dT6a{gnhL>RldrIo}X@aB59$B=c4AN|r!(1&clTr`#>} z^!Ss@Fk#$jA;w!^OTUcLyD``vXMgQ%qS*xLX?Pa>Ty-oWvh{+-Z!*m;$#VXm1Xh4n z7c0W8Jk9EJYHifkNwakU0Yx~MIyQ!$bOf3o&jP`DnnP$J>y58;w6{|GC56Q#ru9Yo z5BM?y*jMB&YEleiu&~kBZ9?e!c?mV5kA%r0<@2I#MUJ%rQmN%Ck3WR_<9|ak0}d5Q zgd{w_+0_Y%zXVby&JAe_*T#uf6|*+Q8G4xBh7EMRl7=uYGqiaKAv}I9Ndv27a1eA; z4_z~G@MClUEFIVKJc87J02SwF!K>1#-pn!ap9@^ieXSFGim%>2Wpw4Z1*RFHVKqc0 zJ{}0-%~{PK>4%jnU(DZBvwuFLqbHO**iP%Sr|iUOyKu4#KXa3@#bUOHt##t+5hN;3 zpp0s>bPT0cStHV@mLt4WR@fC%;Ue=lLt?HTcXMqczZ2OEM&lw{Q`fW*IBAO*J%3u(^p)IbCP_C#r{flo-6FPbu7j zJ{egkBoT=u_nj1ce}BK8F4+O{2nd)xjhus9)SPWp-H=N0(9W-zk#59y%&~ySl~yqf#&eBU7SV;{ zC6|5K9xTD9(Vo`pcriRx_Y@*)l6xX^9-p_RGzM-Vs|(?)3xCbQ9RB#BlFOCs++H}Y zmml(k-;O8TdvQ*eLLyADZXaF-x!wBgNjsv-W`zd8-*>IyD$Vk1U#1QU#m{a&YkA7XZiTxHB{S-oqm@g8(?Gq9e z3GNYF&*_XM@T__*l~&J_f&FPI(|lSB-$lcze_rm^C{mZ?H&fJA@az868h@#4q=*;&JpNKzd@-4s8}a6g|_;jOCcs^Dc&Y=x-cfr$T+^v87q))74oSkig^l~WZ=zA3=S>dRiRw!CB`>o^ zAOHeQc3*z8M)0=rVZzK8O+SXwRa)ivcae*qyQ>Wqx_``nil0H8-LE)%zK`EisDJNh z&Lk|(>P5cyhCHK`$pd9YA`ng7Ax3z1>;#iwgDxW|!l%t zQ5zS(M1x|SSo~>PKYG$}RcsNZJ-x-Z^-fWE9{8Tor^M&vk4xlYejAspufTi1|Tb#;0|3dCITO z@k4=H@a|SDHI%t+<9p9N>TrloP`jGGo{6LQ*6sTGxH|{+f$+7h-2*ees2{>iK*&+|)f-Tdk;511J%`y4_dvpA2W=Wt=r`FXTFGuA0Xy4glLvi!O*lkmDa@;fHd z$nA-^6mPGy>k`tN^-mYbZ=Tz{4i@>^n7}%-PYozfS79)UH706T&N@pFe3z;=E62O! zFWvP;$?Ga3-8zk%*3Jg@nQ5_z-3PkOL)n+gLBd&qS$}@f`;tC-Wc%3PMY#wd12N0x zxN-Zs`#oHdEii*qw^HAv%Q#0Sesb|r{$P-Lux}fl^!;>(2z^aIgSam9#2rdXL-5H_ z$oNBO!z;PYKP^3-|MWl}vn`RoxlarQtykO=B*QWwG95O*Zdg<)Lu%ceXyk}RMFWOXMs05EO@`&+shLdz@XS!8BzVh$+^$cJA zfCr7ScWo#}DnOSP*cj7#o4o=VK>Bt9n-KpC($_OPX0ZgFgpQP5M8s(3RI@y|@sgIY zGQP-Gtif#^R|6uan15h9ahT~bv16MYO&SKg5TjO`Dqqs_gMXEF1LY294yUJxfF6lPEhUf%pNg<-18 z)NvyC@gNaBulvbyYe)IelsY!!T>whm!diLDepBlAexI*62I1uPr5!x-qLUpj6iw=l zRy>>4n(>Evl#BFM`w#LFeF#aEkC;Gjn17Uz0-U@W-`K0>(3t(OzM93Q37mTJ>Zu6a z*jEf=YMwra6p<`M(eexdMtxZx8A9|c#y~YdY}VGFH=s=yOGL|-5e<1+(WC8e0OgtL z)nyTt5Jt^iq0X*FY+d)C!csSG?`I{BDfRHqTcs$B)}onM#?aG5GO4azW(gc39e>?k z`fE8`$Bp$yu=8*^(VgGg%WJ?w zs6mdref=Y*c`Er16)A`b#|P4(<;X=-nGyct8A?NO;~VuLnqKctp_&lD%lF}7L&1gq zC2GMdG);;qA+?$6r=D|)eK2NBvVRZ$7jWbJM2@P;a8`(do{1?+3)7HMQ@|-Wq`cg^ zPrSgZ+vodzo=>($)M-seg2&=FxF_AqbRqxzS?~MzXHu!?nhPT>E4|dSUeVRq zOcI$4)A*!Ml!~#~sn2^iUhm6CQn$xX^_-eC&e)~LL>Eha=($zVcVTY1oqy6PbNZa^ zQ@yWg9x&&^wRv_SDDas5#t;SX*n#;D7o>)d+hY3IS=Mg9($r*05lX!pMXMz?ug!(K zIAqumn|2m%B#`NnAWHt>QQWC%QeREttnyZ*N^%=iM>ayUc{ba$Jh{XY%!ZE+YT4!) z7|&8W1sYQVr(>T*p9&ncG2_n?yOC?bco;)}M0BSe0VD6?&t= zuUyc+_P-dUOpJFW!J(CKVo;pgks1i5o?N059U$79RwCsoJr{XB5Gm}Rw==~g1YdTM z_N-m_04|lg2rFlElDje8TUSyfCE`lj#5X2^h`2Ew5`^8xFfyCJw1>ln!!J7|nY-#t zERIk2fy13Dd4Ihwr}n$~WKnntghY+B`KyD4;)|D>^jCe?-ZvJ0r@)zBR0^W^0*EWu zKkrq)ba!f&Cf@m2Zxpr=mnQR2_)+Wn5xdQ8qq=k`C*a26NC6bKBnoaNH%Jkp$CTBc zw~SKV>LVyV$jNSxV-r3Ou~LxPPv~qH16uC6>0|XjeIpbSuFOuqn)hUgvA74eyFhZ64Oov1-4E{I8ZpWpfg> zO+O3dwkjoRNK#4E9Y&W4GEP(mVvJfJdfTmY1qx?^@_St89`npzwbj13Y-|G?2tOS> zEr0pqB7e>jYi)^W?XY2{x~8eK)i7L>M^Ce)vn}N(8lZZkF`TnBa*tSR)H`MFj#$3N zPc%LeI7@q)>8>-*D;r&eFKqVePP)5Ijnm0;H`iPJ%X53u^VAn$ec!gjL#)^r5h1jG zpx1LNZzJsVmQ$~Rk7P}utj^rpZy=w9q?O4qh<_}{)|uQe!y6GeU(L9D3e75N#r@nb zuxjG24cs81$D>oZ#pq~u_6Y1N~S=Yqc8A?%ft`>cliSOL&p- zlbHxk9z$PYtX*s;T)B-}qo9iEQ17s>e6#80bS|vh@XWZ{YS$giZv1)mzRA~bSEHe5 zKgRR`Q^VASj3jc@#ynt7 zndDua=Mt}Q=r$c<31nD4|9|ed7v^t%u<9=r^@Djs)M)S07SWbPhLdCCM@9c)_oexA zVApA%o18Q{G0-aDjHxfWgdkoyr|?Iur5^okIqlG!w~o=S%}#OA;ewPJvSfB6KeIMn zWyutr`ZDdm^oKD}z=!l^4IwjGv8iOex7Lz;UXPNVf$HW&mPL!>5P!S;35|z7w*zU6 zyQ@js&TO|P{~h_;i(2^3{`9N565M)sK5QYgJn_xX*h^h9=uT>uQjF=9^SAxM9t$~{ zRZNaId&>~lqD0?HWoA(dA1`6Lq}J&%N%}y=7PwT{EK7l!c_VlGW5~}=N`DC(wV*w> zXY{h?3(t!0V|XhL(tp+?**@}#H=`oH^{*AJMp+WZsXwI~lCJ1G^P)%&@Wn-Fqj#X> ze3yu6VLxIU&7*a?qVUFj%3QzON<8ITxt#>i+RE^gATI$)_6Tqu;pcqSv=e%YJyro}^z9euyLF*7gxJS9kN`*TdT$gu}nM@rx6-#wpxuz|<=XO!CeIWkWW2y0 zfoADq5*FW)<$H3Jy;msaK1=F@2-+Id&!vvCDpt1!>VNxCk96q#&2YQtcbVEF6PDl| zny0Wo0~6%1DWE?oT$8wZ2Eol;=Gx=0&6AV`i*ilO=d@-*1qCCGn*$q+w_jQ;pps~e z)EW79ZRmB!98!PYm^ipnZ$r(md?5fE%ur-6qFWWu>;vOJIqp8yg@&!r1x}^ji?IPu zLqHy2!GHS0P-)n~(5F>N8rmoeZK#NPHJFR4|iGiN&*ys)pEGexi^M4K`zJKkpoa`lqVNQy4co}n8LY=fr z@P@x#pSrZZS=t+&nd9tyD%xa&x@S#E1DdF+ zwtvU~%w^eqHoSri?{0GVL(#+3z#>tDOshmAfwN(FN0x%p@0+> zZ@c4^*}VlkT;so;6$%7tB~6mU#dHno2Y+T%U&WK7Be4Lv);0<{au8QhC30b^>)w44 zYA@KEZQ0|A7<;5T`2HrTb1d+z8?UQUIAs0{6P)r=MuHcARu8Q9=Wm}Gs{QX5 z@V~Qbd`Bvdn8xsdn@!pmQTdEj|7B4y&12D)370$trIK?9IbC~5g+_8+Pf5_SF@F#h zsOKlXj^~|F62{a^`-(hZtI6F)wJqZ#yZL8`V;AmzsoP4K*|ngxY@)r1euTZ(ev=X| z;WUwmU#+o6USD8@5^kWv1YrixlgOF+HPJg#7Oq*CTP!{NzWE;rB{?R3kXUL16|N|g zMEp`7wcS#hjg*UYc;)zpMPf;^E+*u{`(>f+mh`t3G0Hh4dljpvTC1RQGg4Kr znM|n(fwC%^K`;GhkZ7KOcP!tI*3!&qk8%ejOo$jSHFvf_xEc1)Rt6tcFn`sLv3n|R zZKXHk!MPTA7d?K>5UJ=2JLp9?N@Uw~yZ0@S$9A^#QfEVwpGop08xPfKq@2%zg|2sxV#1v7#?oTzk2c4a+WC*^&GbaAVX}zER>N%FoznxFobj)2 zvDW4ucb;oq6xEM?gkBYF#DBAPp&+&fM;(&}b(>}1>Qa;z6&L_Rouup(>EyFpCRO?b zFD@SV^fh=`tOwiI5_=^a?z5}|vDaIwqh2l2#Pdzvshx{?yq@eh&l+ZRIZRr!#Nb+^ zdqlD^L>E(bym4x@vv*N(?D;4T(Uim-qryhLT&;FI>osmf3IsEQU4MaMaL@0VKq~#J z9w=#9vkMy!sl#~Y$0oyw?oNUfsHv;f*b$PpDYZM2O6q_Hw+S6YKg2#ue%!kF%E7ua z{TGJvbgE>}11*ob(9}6!uL6WI(&e};8h&=?+0kJb!E$VT@M%W0hj-Sp#_B{6y}`o> zWwmqVo^fez(Yd*T>3?w>UHL?NdXH2c>jD!QLrkn9z7puaG@XHe)cU-*`APU#fE-kx z0hCAUdM5KaneC125few*CpP<@WTl8e+uj^rru1+=4}X&5?4SHO^XOMf`4AN|)`AAU zDsXtCNZrIbprw|3Ic}Wqr-!(L2lCBp6C4s@d*p_^BSDey=zsWqu6H8A&*5S^KS)pE zON3bjtdtm5XLAZfpW7?Hc}+%K#v7ASM!QkjMB54}%wpuEvS>sMBDQK?UZ^dueaCDQ zl+qWL<5rfiX728Z+>rl7p_UvSDqE*^s5+3RnGx`mti!dIzIj+@(qOxYyoAJqg~H(- zy^bC_6Sq(Goqs|CZRRAo#p>r(+?>L^iuM^=T$FY~5QFA^f-npZ-@e~+Gq3l4zp44b zIfvlAgtX)+PDUIx-X=$X^QPEv+J2hrk;RH)=R}aQN$~KM43z*Spjxa}8OKq@4?;b>;*H#c!0Jw0tj} zGRavPIF4J`lI-h-UYNi!#2RiOH@0Nq@rt`=^OZ!l!JZJMxr$>6WApJY)6;mDQKffm zZesQ|i+_6<=I$Ad=MSff9_|y%5$TpEodyR)c~i3$IdPV!oynkFof%q~Bjj#{bOQyMGRMM2>XH^dyQJ$TA5m(tjnqL4B?r)yTA}HO>pg*%675jPxD4wdMA z*+r9#=&pEDWPmOqw>PHPBi-)9UV2FMk(p}? z^_EUgn5*a2Q&Q;<{G;O5e2mj{zvxcx(`Gj*jv2$=ANPG2)iF%yq4Ndan0uTZ+JBh% zLl+BfXBj;uT8zfY+%g}IDAK!VrEXPCkw0wUa}l>C&{*d!pZr|)B5>`&mCkW}KVg5R ztVl&pnji}x=cuK0ArDh z%Sc)z&$jm3_W1#Fwb?h4dKnvD%zsTp$#85WM&i(?$R-KT>5Ay2J9=DRH(TY_DU-{S z&sAYnu{V|{mgRA`I#H5&dGr(&W;)>lc#brvEzcTS<`IgMFG&GCG*xt12x@@RLZJmmggnYS!1Jsy)a$@_(o%`%R?K z5FcM6tow2V4+i?y-mCrCbPFase@xMyr(f>hNq&9&D5tderM(_jmN5%^ zv`nw(T-bjd2S%^?lm3;T1%GlF(;5J7pSSyoHBA&mbe{12^a$iIHD|)8^dtfwf4>lt zD>vD=SZ!1yl+r=?;dC1;N`~uFF#F_FJ?&ZZUd53^sOm7eS?W0nS_F6LA#VRJeq;17 zBkxv3(zWnlb$P_Ylz(Iv>{*y0^5A=I-_i=4weqpRn6V3UAVN9&pnsgkDA4rf)&*Om zu>{NlR}J>2Spl1RB+5ZTYx<9f^FXG?v@u5^xEm!`eYoG>H~4j==5^$*2_^G zg-f@y?u0JFnyM<~%YV|1S0>h1On430lD3aeN3~~CV1hjt??x^hK#%@PUenItvcpi) z$I4Q58*apWs|doi(ow7tI0C*|StbGl(%^#kUl+S_jNeMXC{)y-jl+@bB_bXP74 zlkF#=Q}nM16Xa{i>(230ok;o~YqAlvU3ZW)3;q=H?t4i{Q34U>80x2IniaHJi+V{; zD;_V{%ynr$Y1N@mBVQ@dkVGYms{oD^s>4F_#855>LFpFiV;51V2{elmcyPL`LYcDo zUi0TITX_&v34i4DPuX!Oj;xnvJnb^$b0Xwqtmh~I<_Y2-Uj17Z2^O+e@Rgw4WU3wO z-5&2(zs=>9x4wm*%ztIq)v!nr?76ihw)ZOFAXtt$8b1dt z0k0%gC#L?vcw%8m z-v0v;yaHp5v&pfnBo8t)3NK7$ZfA68G9WfNH1f)wsx?7P@z;D!Fyzl$} zul0TFt~K}WXU93u+0Q;}4I7hzF`uF%+#ak3hoSg{_ywf_WnE)qNkC9ggkMll7>|w3 z1d4J4{{`c*nSl{VC>$pJe;)zL2rvkR##BHkbet|6255P?0YV~xkhrvvgtVX_AS@^- z^>-i~Aq}X2yrGVOE{Z|Q2S!Wc=Ls~$<$H#{s zHFW@e4>0Ucu+EiPP0)aR~5ES46_W&Sh65t>x z1dM*+1t3A*U;u^i0tW^Br{ljZJRu>#5$b>f?7>b@7~a3t(J&bD$3{0F0rdr}1ku_P z0tA0O|9m|_%gYfCbMyN*{C9r^)OAgbOx1Y)F#gA3ly`q$!T<502hPD2eW4)Hz549}qvz?rmsEv0z#V@Lp0JoW074)@ zet78Cqb)HYKnOjdj$q&4(gp^W1whja0w8b%-mi|LlLY=yLc@O$5kLR}MXUQC zKo||cf4va@0uq1#486O508uGG0RA5~dTjwD*c*MF{DX+15wy(zv4sEulrsYSA31_( z#0UP{{x60OUI+ww^nYs*P5*EE_dNp!`+^xRN%YAS@_|%Y|*v{&v6-To9)MbQ3r^sg2#*3>q;UBDf9 zc}l{RMvID5%x&Af5o5{3x{T_#v?hrsLs&iYGSM_0zPb?ujXzUriKV{qTeXVM=wDdq zf6IQ~lP>b5K)dUec;(|e)a3qJOt}L|z0?#>v$YzL80<=7r^=;?QDyI@V{TSVBOVyt z=QafZ=^h#56*h0dn_Nor$*AdeWBX-&Vu=E3ir=@ zIv5De%2IJ_rgB>s0|!NNqrP`bTiNu@e@p#w)?*_@nokRxuDMbiS-s%nhkXu5@fFQc?w`SZj7_rb zphJ_AZ+Q*_w9xhwpPpyC8BOO1X`9W(`{8rYSw;T zblimZT;hrabSvihJ?%8d7Ib@YnrhNbLM`Z*DM`4$Y(eSq{SE!3lVGye_MrHEDy~l zR90HQV0!mQ@#HpO^jUF=)&@W9zaEnWoyr!FPmN2JWIfL0O6&b`s>G2f?IHa0ta3+b zZ&cCL^zI1jVKCXO|9rdWkyvWxm(wzr6S#(VL|VRo_2dJnQ_V?sV~LBd@#at}=lKPb zUl~`c_3F*r9(CC#Z!)c5f7$e%l1y+@b>};58Ro)N(cDuuZoXR8xn6jq{A>~cCvW^P z|A2{E%bL_FwYT$wi=}T9lh$b$tBMyt zi)73YsTF5Bvh8fvi+@K_ymzgxD97z6fHE$`CtIqX8CnLiX>K`Le<)u-$ifC}OB)2i zkINP)Yv_dA;H>JRR1Z5h$CR zfxLgSr54U{G$ni*e+9M_{T_bY2F26oaj|pxRO`J%06M+!iT(PWR}a!ULN8q@CgobPg3VKvR8;k03_PRcy6sMoGs5-}y4wRhTE!ft;CL2+rwbluE!Gvzx_N|OJ zTLsRtI}M)Zf0PZ$hSzU{s}^8$ylNjzG)uB$9YnrQ@wPNO1}Qw@C;fhsy*in7V1aSm z0?`vH|B65%%9AhA0>@l{RyZ*oD*c>3 zM&FXmhsC6tS@Pm2a(~x3oSBNJaco4{lzY-pxdGqDe>0=GJ(Pc_fr!>}lj=QPMFRQv za|W`_=OtP=@+Tn0JK}mX!!+NB zNi_Mgf6jq}LF>3-ckQB^TT5LG=)(;I^`w40`_Suta}(&9Nwy&mJfcI*J*Hb9v7r== zzKuJWhFWU%rjApc_aHKx^YJC*D5-8UP3*YEJnv1v1Lzb~y`9aFv8)h~2|7FsD1y$s z_~B8}@YM!a#Lf4ZU~!{0weplM)2Fdx8pP6HfBvnMPAP^F6{SxYn;Q0w7N#y!7>mg7 z6?x=T{;)Ln`}bIFwoK!DHX@2NxuToC)d_l+^7yp^ksp-;-lv~JHH^0%O(#D!#ZGf@ zUW9G%Ka{!)9NoO+AtXtC?heK>B6q#$Vphi|YwP2Q_we>O5zv|NReH&ND8bZ0>7`#e ze~(&!m~dmYHp9b&7e{E@N7*;g;^>s82vD*U6D%8dvPOikbE+79WRD7DkSJ#%a>RU; z;-FlM_wLTybJH-1^+a$mKyHn5s9c1Uk+Ms6P#HIJi11>?CY zrZjbNU&19JF26^ZKeiEp6&r2MX9waundzR24cd5i@(5)6#?@LGLn2sNfhJd2Odm{}wxu*urtNPmY>j}wY(05XedE0w-f$eE7co0mj%n!Ym0+g{B(-8wT>z^;p zthG`m7%obBHq2C=DK|zho#l6}J=GIbT&L|4r0#)6m(3(7n3{+qXByc{VCzvQ^0~5H zljU?3-+ugegL8L(dua`<^RwlPFPl4W#Hg zekkyev5TWMAiP6eI35yvxbvjOHNSk`^JC6_wE>1*Zrl!jXA(@N;O3s5-NDbJ+Kp;x zJr5ooDU9Q4G27u}b!fzx_o1JS?x>My)1E<<_bsNpOruNRJx~_7>l|Xqe@OA7VfzWF zS5S+1WcpiRW37D%iTIK0?$~@B0ec@1gVG-?e@B*$H`oLytUH;oxYiRhJoX=ty>Zqll*WscyN#}SfYGx$>h3)i^{5%Q0byWD| z{5$MBAE z_$2oSY5FMn%b|Le>i4rhh&yaF(2k?pDRBE*Q?D|*pJlR^gOy9b)^ATi*p>>ZVkM zxoV_3zOh%BPSIa}@13wOsTLx$rm`7aED-~@6Hs42*@}laEh=uj>og*-43d@WS*M7+O)N! zd^a|)5D9Z9xjI)|rEgTU7^;ge{*D|CywEPB31wxV%IY+(DvX(BlI>@xYND=W$ zJBBl?$C4IH^E{Pjq_fLW3tlYq8(1zE4$fl;xbv!!f7*7eBrUPlRqEWRD|K1#A=aMk z64sKDt+)IntNPC)5{%r3Q|?4?k1xCJTbfK}&IUDfS;a2<^8>V|k6AJb5;gFG6Jyit zkH*3r)uqhH&vaahMn*>5DrFxG62>t%Gu3!gR5`*p^?8MJM2WWAJNVS&gKC;*V~38I zJd?N6e?pmO!dq9PW#$jB*2Jh^JJ+|G)aUDk%Xh{dADl);jB7mzfH!=^^JY(Hu3_D* zAf4+LePe=Te=rnqrC=Jxf0NQ47pS*N$y=6KT0)DIAXxb(^h zwR5LicBj413tM!oE7xX?VweYz2~6n~e@3}YMz^nB&vk)(>iR9JRI1O6PAO}V zWEtArjgLdR)NAp?=Y3V~>sEZ2qW!9KXGlr2xkb7r0TKir!7L0<7^|zZ)-pv1q`i}+ zwGMP1u7o}7hRiu~lkn%<5M^dfd$yDp7zT=@i?++B4Hi%AsW8wG;XXUai1ibvrD@R{ ze{8w4O^9dA)G_@nk?F?9Rdv?4_IttDAqz)9g10H-l28Ou|KPf?5v!gc@(xeRyAej3 z@0V6(H;74Q@6T4>sB9N5O*-PceRk^;SAo9DZZ4G= zRvpBCX|%S|;})<@;I?xmidlJNmy67Hm3p$bvdWz2H26yGE0(G_?4nECUn7%bA3>V+ zEzaOkFZj&6uG?PguIMe*6PZtAp)NIM2|E{a_4cM8e|kI{#!b20|5m76lUsrvf2aRO zx{QOO*=BTxtKyGGG!jroZl2317*0$d;Exa0gpI2lolo@fAJ7&;qU>O zFnI%tje}KQS>&t>-1ojbf8Gy=6N@x=x&n4v>_%t%Xwnda4|VO3iq=ox&fOmreCeh| z&UJ~0i<{%OZ%0>El65Khqg>4N|mY=2W&b~uECsB0)UKl1up*2!ag zHzq>8Pa?C=a+YNsmm^QNb(}k@O_^LE6xD6LVj+Gm;YN9!)DRiCf2R}VXvz=JL`YlP zcGUC?8R3HY-at6Y-PgcQl&n1qzCgQa&y(KZoK}(uik|HB4u9{OBm=|`QmkYLd+#5_ z50!9;ry{B8FQvjMp|+H5nz?Up>c4OgEgBM{+-41a`L}!j_+) zr90AAxDiZ-u5Oyse+7L+**=hU%Z}%IB3Nh*hXe}-Av_AtV-z1EnY7iIY$ z)q^x*TCp-^DDIOa>jY&v*=-SH&*`U;2!H9nPcPxDjAD!nHraSyM#6*NDcd)sq!vS? zSS`{*B4?KK7#QgV74Ygk}|x zS<=QDGra9Bf7!?o1CPzo0Dfa#y!Bj*-E*74{=Byn%P$+J)Mzc{PjX$vJKY1l-)N^x zkx%sgkbh7&Tukcn@UcGe%vcOx-bZ~Rx6Q6}3N5f~?P#0oz|-#h!{=hQ%;sK{cX}>E z!e#c$t?u7; zF(Yeif00|S>)y(-O!l0>NeK{t>SN^jX(yqojQxE^X8he^e>&7L!O@EhS z+@YkUx*vl>7h)MrTuDASJ_#^7f))Iz04cm; zI+}T?95C^!bbSBPI^-!$(3wn1*qg_Eb3e&re+SppGq(~R>x49MN>*=@FmCq?qKC zfAyV3ftQuhI8ZJ_ zW=L?jcfN^GkWf$Q#~4d}u#mlRFu?oGh zn}?C)cTf368SN|7i&;r@O=#V+dG!4@e`(dq_uT@oBJK0!@s=}szVVuABC9;QT*#2z zsxI2FhdhoTvBXvpBCeJiRs_S0SzL6Lrf$edR#EGC;_VW}j;VzbGStokT)-8(+iE`! zJ0a9G9=4@aEZhw4^0w>}74UyxWAJeYIL1)yq$fcUQO7pVNc4*ihR>6J?SKTA#`;{Kr49GVG?0AdtC;=8KK+O*e%EDF+1s%!@0Q6Ue?wBw!%V@M z0Xt-E5q%R{v+_ZvW_dlPf_xc87ixs!^h+*fj9A-sn#@yXK^ zKVfT4<#JWw`9m7pi&wkj(TdO%%@eif&^~|t>Z?cf%FavjAH3^Abyy75c?a>v8NUvN zIc6h*Y&`g+)xs34n{E#H2*I4u^O+p(1qP=|s}L5myeSdzJH{9wfi_7rh>lu8p%-8h zhLo^}z9hVju0_Sj;76QoTX}5XsFq^xrxKDl(!4Wx_-3!YXZi`{7u&LZUf1E7iQsER z^!!*D9A=OPzKd+#Qz{)9;wJrvffafD3ZLc*%2=-uF>p8 z5|U;19qs0=Gn-#~Nb80v9yo3CN7x3umGE{!WyOdBsL@yjTiTTcY2Hf;w^4_@AvFxeno%SVjgVWW202R zOMGwJoM%QNc+_f`D_%n5kYc4BcB)e%3#G6+hU@MX;xc2XRMR2G#Q9N#BL!BbHo)CM zu*_23iy5%Pn#Rq@*aK=ksuumaqe@n*&o-UwT3q+pv1j)f-_4qKGekmqK1R20TfEAi z?50XluCV8|Ygu{s4A~8K>k|iL)66@WfxAAH(Qf-DMdq*n!$<_2x+#_EU=q5~g@}JjGfa(U(4;#({5@-tSHcS(S4XM}niN z+I4hj?((ib98 zoYoY9YhEvl)zKyg<6D$b2AA?Cty=$Aax6Stb$sj%el5Xn=Ko>B!53C>-&S!CD+`as z`+vst)O^B%{~69hjU3#_6c%6W%@(Ne*u}wS=vJ_g$#i3hH%gv*F&4!90-40xWrIU8 z4{Lqux^o)uW79tvb>$(#eV8dMJUtaHsxPETAW+I?&d1Y>OAo)3HKOy@kR79Lei$S^ zb+QN>X~+9692|%P2S!Rs-&&%HJLf-r+ zcEq;@i3V73tcIGe%76>Lz<={Wiiz4LC9fR=7g*#%>{-GRtx&^NNt<}r4-iI0P%0BP zmPji2DV2Z&gcTlLyORr=Dp+))uZ*=Pw5#F1oR*5u9pMBPC|O^r%X|zL5TX*}g5>wr zBF*IoT+t|bm5SkIOBZ<1C^8V7ku>v(z7Lp}QMkt7UriK#z6zu5(j3c^aKEL&Yhw>? z9>(;-#lTvMHMgg+C&5Uf#}UUD5=FN!7GW)k!=eCA_Bb8~r2m-T$A6(h@>he0oZ?=~5hP%Ny0n#n_0ZQt1ZEru4Qnk)^vRSHevNu@~LhqNuTHVX{`^(ISg5{7S zVCvri82GL!B^koZXnXN1nEb114ylvc*qq$wxR~IW0=fzm9cX+)5H{7t1k;a%dsq>F z`h#C{ef=dFbbiG8h{OT>R9L$gFF&c;7HGe-Uatr?uVyP%LG3N3ScmA_78#8Y!y{We zmAHT4LI?c$@&5hL4v<#F*1xQUzoz&wg@~I1sC+j@xL50dY=;K?f_pyrRrAod`ZDL0~fcN>rg`{yYC_wbTK)9LzH)kkd~TZCZI@1@eD^5T#6@$nBm0e(^| zAXEq=hn_{o_7P*oPSXb@UD(Eybo|>c_{Ea@Z#xrJ0+ZccIHIQ8q2INJF z-?LHtKuQiq4A$xYh?JwZpy9iBi^8+>KHD4UF8s{_QY8xwz&F*N(%uvrt8OaG-=Q% z%Z*TWAN&&B>z8$FkoJ0Tv*H{q`OCy4_|=HRj|S^T99YV(o~V841Nt(HtnBXHT2_)D_r;82iL7%$Bq6+JIJ3<_+i>gkkf@ zKh4<2q_?1zgZ*<&>P9NCx^QIET3T+E=Cid>(yl1#th>#g!Hxf$rI{!*sou#EqUJ$| z-CUwTbF^!6O6>FV7L+9D%j|P94GyYG%hT3(RVvs{7wzD1xbDf~7QQ@*-cu_7?2%p{ zqU5(GN%Grm$TyZ1$$|ilBoM9~CK!P%8U5*j!m}(WovvKTA&?e0Hb)6e1QiX+VTggF z$RF8Gkuc$j%Y`x&sR2D=nM(7{+_t1B~v&JZKg1ub)rnGE05?l7=zlQW_i7S zet!(SI%F;UW&92t1&tU5z5^%u2b#qcuiVFclM7O?tS!c*(Yr;mU^B#H&HAC&%zVSz zQqV5Urgyt;IhOtWcRZ}mIpWUGSyfhdt9cdXE2wNt@>a5}QI%|d@QOtz#Sm75Nz}PM zRM04!>58HxmYeOKoH&zGc>x~b#~yquLW+jsStRXWm3$8X*ULr9KQ-2LYHu7}E%s!x zS|qm~VVU%YO+Qa_uJ;o~9l1mT0i_L$#48#bxW>c@n^Is_zgh7b<>2cK%Bj?1m_z4n zdAS!!kN^9eD@J*G46v-)35Iyntz@kA4c0aN*d}8-!@RNuCDs~olJJm>nSz_=iK!Jq zt&K1Yg%lnTek(1-)>xW?z~&$SPGSdhaF8gVYQ(oz=_kLzELme3A4zb5O=7?1I!p3{ z39X_Df(iX&9bJxxmeUE`773fexDuI!t?&;tie`6Cjq`p|B*IIi#+SRdmbb6gjn-?6 zoS>7s4inz;;ed(H|FT#)k|;NvT#-S1(%r%g0-*t5;ro`8Zr$q=I z>@QsKU;6q_caii4<@x{%KxY~&~B9r&V9MF8v2TO6HPQoOJGH*s+| zXige1+9Pa{A8HG^N+r)_cOnik$U8Gt;2O&pA8NFs-09W*=d<{4%h{7GUK1ZPQnDND zOtrIC8*MY&Fv!-oY!EMyDY?L|6LaE624{;EsgDeLV!X9Ch6}ypX3cE9(dchXrgaA& zNI1mfl5#%N9d#1Dw5)ZKk!cRQrau!nyomuRk&8nD#{M_Igb`$jVJ=e6&_h^RF{zk| zO>`%HS#PU0xlu6SnBUVC5|rr^psc9eWHVaVyYv3@38cb@mQW^!(NK`Bz+~#G%Cp@|bdRcnq@gmc;MZ(XfcbV?|Ny;~7AP&AX z2Du|n-bB-iDZ$kVqyIZeM|4AX!ed;X!oHAnMWjISH3SGBdG$7~qJ`E40i!CUKE-Vb z;OiPHO=<5}ReXTs+sQNy6C_2#ItNm1XG|!Mk>fa``tzK%m&Qi6E1>RdFAT2YZMQ9s z$$N(B{U;U$He<<{Td$3t#_XBXj`=#C$q#{D?rce%B6%y!bXES<)5aQEtAzag))s4Zu$TMUIaa;zi?L0W@5aW+uyYBFTM|NuJDHhaVCT{dK0;0zh-2{tg!z5e=sk z=E00WTHnlA)8F%#uNXJFztj$N)Xvn+MJb+XD&HFdjCMq6otaI$z?dhe)Wq%~)pgTz z*0a6@31F1(&K&}cXEC$;7zk9Z<+i{su^+=jWEJae^gUt45PYWP@qOscB#3Kxg z^*rMETCjk^F~|K6tjhEwV7`OipPT4k;GcSy5KMx=<9hFL>%51mhu=c4b@9g*7l zN_VYIo*(z3R&UFOUi@mswwABYb=6Es*Y((`3474<-;>)XxY#5$p#jU~IuBH$r8P4B zEmy3^W>jKqq7eUKLC$*#BkAoZU4A2U%aIbJu*F6JsH;72J9Wl1w~-r_7oTJ0G)>%R zn-&0>q19U%{Rke;Q|@XZpIW>DHx**5mA@FbStEZHt?{07f|W2qPB7fMg1rKxJ} zL(0nEbDsi|uX?IArK`%Ki-)ob%NJz0><1T=v=5cj^a8aflZ63Sj z-VG`KChG1(kyJp-+tjXUcko7@34TO#pu0}dTvX3QV3@&DMM`OY<@Hb|bj}d&Zy28uVhPij*3KEqhWSe|Jc|=Ha%FaFX*_56x31$62;lugC0aWiM zjPtCo$6;btS&lS(Iw^1|*UWY2%W)RQoRsW-Rt9p|gtvSy+GGJy&;1~z`tf+r*_Y>V zw-KoIIdGY3&?~H&s$4mI|IzTfZ)RH;SDzMgeXZ-t=_#k5-ajF!m5aEBWviOFJhDtb zE%$a`cn{KnGx!<34ZJnjMMdSl>@Ad2VrApB7|p%$PFPsc5|Q?g)`E9tXm1v zm?j&tYg(_7_D-}}y>PtczeA=S^4ec%qnvC3DPj1%*4F;yDh~#={T?S^*KSng=;7Csk=?~_si2GeXTd0XI zw57^Fn!Koh&+BM<^h_8LvmJ^3vjDaAAI5z6pD-D)rP8dh6|m)G^GNAy5S(VF@RIm- z7DPRN4LJr4Qg`_fxyxG_CI65Tq|*hbh+|X zdQCs|!t;B#&i(bzO9vCbyIwdnRxhD<`-_E<=Hvc=gH)5i{*ms}9Lxdnt~faN7>6gx z2LKh0lP~FHuQFD!=5SgW)^gie3hLTwIL)LgYUgB+>Z~M!)eL|O&NUj=^*(W9?Zua- z*U*ni9+{Fkj;$&L*+kj_-_~WA34Lnum1oZu156x@nVNhYe3x;<9oU=sa|pE^ahh%& zXgdwmlR72@GFTH7a&iCz(sI`6gYH30z%~t4BSWGpwQ{kpGKEoHTazwrOUtEfqHTb_ zP9@DaVm2zwEfPIwvCc) zHO{){i`#9Afrk-&8>s2(=gf}ah?|fj`poIIO!1VV8P$8TjO$;~lirK&auO4N0RM@A z2CSk@w(g+Y?!KVsG52;1p;JMD#2ax2?}_*W56iA~1u<8yI(&QSg=zU;hs_ujq-)~GrF za-zAYC-dkBubqf|;9;C(1 z4@C`Q&YYmlmR=I%2N`DPDCQ_|*&LtI^C!0TE7qA-Yt^oxsu6(DQ0{{UFZCe4f zfbMAYhhyBDZbvJdcU7r1853+(YlKx_Zk^(+6H}eynqM;NxEwF^o($X2cXY3X3@fhO z5sh4Ohys)XyPnfamDCQ+ys2Vhe)5pK5{94sktcY?kJrzy&r4dI*-*p9R&FV|AP(`>B?>in)s1xn}LQ8B|0Wb*c_*N zbxV%QE%=oWh5woX>6Ra+hgB?p2t|hu=SB~2_pAQ{owVqbVRt{@;5o5?#``De)TUF< z6CYm*v;%Lw%7{30TAE?ClnGI!hsVb;znKP`I)A z+2X46u>sU(8GfG%vV1u*IDEkZxH6oqe!wcyI$4(Ej>5ai76iWscVag};f~H8 zsw7$cRMV;IBg4+ys-)rXNm&=~vav*DJ^k)}V3 zaAP}~57c$3l3;}8h2$?K8y%~IKO!i*_UsZza{hU@jfCCbXml9Ic(zC^Apz%v0j!Mb zwxu*yXiR)Wy5(JGh}?MtuiX37ajWiCB<~-PZx|Iid)H*}lUO0mF}ORMk0n#^Sd1Hc z()OYSl#aL@W~@%yir4I+g@WD-4rPZ9eI6reBsoGOL46884|9;MD0W*oyl>VO` delta 42452 zcmZsiV{qP2^yp*TMq{UO8YhiyqcIwr-=GZ}H)?D*wrw@GZS#4a`}^OS`|AE*?9R?P zvpeU-?%B^Alq4Ws6(ZGMLgScd!%nZbyg?nkI&Oc!C>AVNG(ezlKEVnK3MAJ#G9{DJ zVF1xvsqtzQu-tfS2Qq?iI9zt}WG+6S_p5O(*NdA-`7dmiM5`F7P5)Xtw*TtsKOMw{=_Bv3i&LIq zW659_5Ycm9>MBL7Xz!>b2`|NX;o~1{0gl}RckZs#?+@f+3=_2{*# z)R8+nYO<#QlSFHQ2C@2}yu!HB@7)J{Y7*7=eWuVoamJXj9~)?$jg;>}I~g!URSJM6 zI=733+ZtM|hQzyTmXgK~-ykzRqI*<#&>`tiza%IkKe*VIL&e8+-I(FLpguu+ECzIJ zvW0A*&87S&-x69u`EM$Yp|s~#l@z>&KCApF-J(5xw$Kln;xOm2vUvJm|7!9)OIuuq zd>@ZX-B3#MVP6!6ZXNiiR#4ij3Xg$z1QzK2>e-qzIOUGe?wgZbs-?UjDk3d$G37qI zBBZCkZd+{}s3{xZLW7qH=4$2vxQaNgBHdx^eoP9^6I~Fc3*poJs=soYk2b2Lre)dB ziqW#MKLV{%@#6Ff5$uDOf9Lu$(XKW!uYRHq7t5bWSG@I@1(w^ejdtyxbFBdVVX@`P znCr?vpWxs1=nY$rnUNVR$ldRvNJwoR5AreYg{sHJSC zPAVJJa^?qlD{eVi{OqZTz{RX15RkQhfDWkT`omUYG~k!1&cg zSjEvl%lNF}jCDgpy+j`#%kn31sboZSp6C+Sh$dKw4I3v_jAk6Hny~@rLX50|0(%*| zCeBvZsZa+Q#k&Kvn*i>hq%<>t>+cRYfzH9dO;gGE)*^LI+x9mA!%zkv*jn~b6iv4( zLYrAilj|Qa8t3h&4=TU(;?REyttyaIGzc^h^^1|&!Y^%%*A%jSV?y|~E^Myt)~+#F ze=StE`bTMlI#!6~6y2CIHA$P}ixY1)p?kUVtl*a5U!p&Clrf6SDw8peW-XcmhL4C@ zGHQ;mTnv>nl*|qijzNEY56TWc7rOuLvBV5@&8DQNv0?thRFRRD8Dr}!z|8LQCaeKK z?fhZyXh2|MMTX<%=KY*@dkxJ5{PB0u(j^~p_Cdxzjh4g4PLurItd|y1J-fVAg1*%3 zL~ZZDU5i}A!!ye(9>KJCK}oQFb~3I--ZX@-7=rrKF~8WHa-vY&cQjSja9DjgZa|={ z)r)mUVE#Pz_sl%4^(f2#>iJ{(`dMiEzC)M0y^ZG>n2<(%wR%_O z=WlKMbyZ_N?=`T=>Bg|NWk%!&t@p5U@Yj~K$#~W}AxF_z-0{yx)8-;rvE`$q zP}8JQh*I3(fv23^u2LU`W!;!uQw?%`@|(kP;C1V%$1mcLcLKJ$(NS!6vHCp4Q%b^? zbo#Hu=VGBXzmW>PO{JD?AdfJ-c@Eyufwe8q5mg&(z?O@Vwv}HEt`Ra^uXUNcK@yo? zdpZi8<0HFo#&w*EYW{1b*+kNw*XYpn$;8;knTFE+nfaWnxElYL*Job`{530ucb6Ql zws>38I17)l9!+Q#y_Wd%X}F*H)y2dQ>CJP;jj?}ig+Sa4m=iJ0fVQ=v-8vtrG5D-V z)~~W92d`>;b2K0>AJ6%!ab7{8rKaVZUao_lv>8JFgL1oamq!-)Kg9Sd3+byywl|~> zPx`DX$im}f2kQvu)YjA%cVHFgonr86qtLQ{w*LCjydQz%M94qMjQ+MnT|D*jwd#`|9<-OXy@-a06w{Kbccn9`0#_ zRq71atVv-EeTMn@gp2aCi!S9J$qp?$hhq1XGvrp6#-{qB>J&Q1YF0Z3D|tf}#We%p zf9$#pOzTP-e|hDUb;Ordeyi+nX-L*5s zB1-J(e0`gpFSe(hm*IW}3gJ^M)o||nW0u`6Js$hkFn1P5KZ&4l2wppN>S;ZS`KZiO z=((9HdV_$#b1lf6@C>Eq%UK8t13%LS5Ig|t(YPEKVJ2Itys;ie?JT)*Tce5SZS;?0 z44|8dsaE%?Ufo`wbyMZZziF;>3d7#lIa9 znpO_Km%dguxxT*KB%=U?;5uEr?!w_spAh2;0KoD01D(^-#87)PL6O`<9cVTxTa(fGt1-zgT{Cf!-H=n9^Q> zPpyWJJvK(yRe%f4Yg5{tZWhQ+h9mZxp=aZaD@fRN5nzAq>yh4N5*#-D1-kJ`+~b!B z%ALOdbWkG*?-!Kx@x?Lksk`&zMOIPS=^4?apVD}ZLl(kA&jGc+Sof`mAmH=@6ti2SUKb(P{6R|hUv=7C17L3AqX;EUq9E9(Q@z*paIE|_W zBFNxhRhTa*`nh~RTQZ;YfsK{fs%)*71};&7PtW_9gpvFlm!QF1m9-gJ{|6903qh0?n}d846w8wZmd0O`0y<gaw;VSnAJp(c+IP34DDQ*0y~%whH+XdnJ{2#B zK7S?=KLl?vZ^-MrS2)H4q#8|`ZjrhbK43q5+bD&N*Pioptw46U)c*+$E?~Q5{u?@L zW8SD%U3NVxM}TTz9}8HjyJLFNW~v(96ME@b{x+8%zuV*j^(h8)6OlV7*8l3Czmf~) zAHDB0O?dC)S9s@sVCV^t>@g_!p6$_DLJUYAGraoxL@CW7bY0JTf_6=FB_C53{-_gBzjqy7( zeOTSv+>Q9|(S4wwIb6Db=D-92jORl^KCu^RjWf(@T{Mau^;?+g@o3+5US{@k7fSao z{mnd;V-Z2eA*Lt*z&UcS7aZUz`0oCZ*Dq_7Q(p#mEV_}wzd!UeUVpHM-k_X{Zv7_%zHv{AdfMQg^m)z z6^8M9`j+F$;z#|*C9F4yO3S%KK+a^-R`8b4r(?FK`OkuH7HFc|;_?$=Y< z9Ha9i4pPjrUVImd1I-7QdTxVjO1_RCYT@5^bM!-U`sDll9wFUDkACOOr;HX$*TVQ`RF=a)*yCK|0zf7Iy7L7S%=OQz^Q$l5K4~S2stytKz5;-E zV=0{XZI*YASNkgA+?RKXec4_9P%p6=F%^Fli1V;mz(rbv^mg#Ml^6mby$AoHeT(Ru zOLH40O8Q;2r@YD6I`TfwbUJeb!aK*kBP7j{H*+@Dg1vT~^auqQKcK!i&E@VOAOgy> zqBi2Ld!Hx$E?tP7)$c}x?_`l6>i~xzQoxSU_03~F<*$T$8nD3DuA>)GV7I{%CdBaE z%oOudh@J)>UjRYdk`QPhs2z$ZwyWo0xHEmqh)mXWAD(6p*58`;o^z$PRNV=f3 z`6+h$9M_pU2reCj?6izhZ~Ki!Bp2sMb{o$4NId+N-KxQv0dRp;>zYzHVAPr9nPD~) z^w!kF;ozv0w9ODjaRjng+Dm)fj52xH&n>?nii)7U^-iq9Y?Z%=4P2+qDW~kDIu8>G zVt*IB1b+4${{{tWl^ctGoO5(Nh|((spc6v!gM?*2C`G^wbLTgL`@IbEf#)Y}dn+Ro zudnoiJvi4A45tIi@3_zxX1Nn|5H#UB2eS@ z76co3hcpx4K$*jNY^p1^zU|l*dK>@W=cgdTM(als=pWUV%b$)p>K#OV_t;O?!*O%d zHDNcWcmYW(;0GipujAR583sXOo?mLPFdK~DWFL6n-^ZNpsX=L94x~8z4zXY0xu0S* zdOotm_%rVvZ0)nsXvKtgG%&x;#;*@S%G0zI1JnT0FtOK{oQk!N#o48eGdi&0;CAhH ztkXHm$$hI-cT9p9!)TBK=;-qjOD)}gprPus;$F?zByh~4TU9k}81K~7lY7OtjqU7A zDA)5ds)f=50{2*ZJasGO$QE;#vyFNZ^Jz$yD9|MY#HS>xqEr4Bh$1RAWV+hptr%z) z1`71aJ@$_jtwk-VIG4`BT z=EXK9{zricH?n`xC}riFgOw}1{tVwM#j~1BAkB6R$Rk}5K-1({vjA`ObgpF%5rRI* z?{y6)_TU2@dk&!ApYg7rCq`cHs3SlO3W4>2_F2tI7m%@HG@Y_}Mts+YS1x$kP8D4h=Qe5)=>31T^02;l|O?>9A1mn>HJnhvp!j6y})}bJ`YE2MQ z7vJX*(0CYFe)MCuAQ99`^0#O<3$Jx}YB>s1PB@y~pV{`Rt-k z=?g-m{5E4fpO}y#JqYj+%iUH8J6y+ zm&XiYlf07zy|H}+gh2kT4sdjnpD7x{3>{~hvIn)djhYbxDV9+`7d^DYwbR~XY6#1x zQ77=!lf&!(%_=6ocb~`mXMe1ieBgq+!#!)1tp3$kC9$9?>d}5Y=+m(febA|whp^>F zdgSV5mM-DXZqWg~pA^3CY3VN8VJWrJw25!bVXko&Qwhb4i*Ww7lbH@7nvAvtxq@ znOTWY43o64$?XowT@*(T=p98l-Yp48|5l@ zA>LG$p}N=MAUt2MHl_62Y4FE{W})KD5Y6~Uq~A)Yi*$SNYDDpg+NRdw`=7LA0&!Y^9g7}CaH|W^vzH?#?4dA4-aV3@27U}WF)G-> zfuN^rFXm2|tx^|c{+C6yUm!f0xX@QWX&{;g>QNLM8JD6h#xhKqn{V6Y$!SUb3ujdt zh*nQd+b8;ZFt?9AF{_Y#T^{o9 zSRKQ#>wr$_05)Gl#9+_`EtQ>$M>WPb_kuB5PLd4R!$YKdZoY%>Zyc*29C%>F>E166 zT=8UO+N}m@T7`#k+mOkP^i54p)I! z1!jS=%EaVKVOTP6vTAU{!E zih?}v(alDfSq-1?3j~>&jhF}Bc6!?7SJs_L{iqCQLedSVT5KTpkotOSvG7Zz0(WEg<}OZXDJKlv zXCt&(t2^`6rlycnM=&|+D-SFe+kJBHS5bgX0&NW>wisk|mFp>&r_Pw`E^?mM_)_fG z^d%_l`n50Z)nXZ|l;KMegNCS-!!Me|6Q1{^cXEL6B$-KPD)HE?|D&UZs^2kKmFo{< zepDbz{zrCAdB9D@Gwidg{nHtK?QbK^eUNE?7&h;B%=qm)!F|dI>WtiAR4s?fmP24Z z!H@9RiLTl;iSN0)9?NQ9PR=$jcB=h;=@T4Les$f+)@f8iZ%`=`?n(gdL~}1s9U9)0#K!br68M+YwE&83M2D^ zLLV;`eL=zBT^e-C6O$(nYLDvf9s?L^CoRjzrW7f+#TCn023q*vvUHB36f0rQzOxrF zL+O+_{t?36+%W~pSOqqjXV}_sMzMKJHqt8Y+TcbL9 z=$6Y^Qri=WU`Z;A*|#2rYmF!7dnU&52>AOFlZ$alT;^!z&0A_3&dHxY7XXYLwWZU8 zG;@(}iMw&2`joq)!SQb$FIw(g-_%H&UM@GhY;?Eo=wM(l8;e+bRnRHbTz&!(Oz7Gl z?^sI0c-6yXmHn87a4#<2V!vkGm2;z7SCH$kd|~WTlb~z#ubk=F|9)5vj_rx!c`yh7 z$k%NMtTx+s)vq5mUZwLm^vp?cK=olEx-&z*D$)d8lz{I^bWRm-OgmK+=XHXZLSf>J>7d=DE|Q-X9${(f zxKu4Qs7`6Y&!BJvAumToluv}xWE^c-86YofFLnp{P*yvMxL-wbCP{dBaPrDHs{azS z((h@jX^3xVk#QATm6$X>Y;X7FZsQs7sizvg#u8V{3!#NKjuei3A_8E-N6(2#xeG@H zI`!*e!f0Z&m1rGctw;T&b&|uB97aQC{M>v7Z6Y4CXgRcw@bdOM=$ttP?k0bLegt2y zV0Am7=uMKM5QLRteTIwH(CFQYod_*Bc@Y|lgeD~jJ>`V)`0)iULAp#voL#OcGOtN3 zB{Uq42ro6kENSfx%@R-}(n;2nlBq(L6oy;knlXza%2ygFfTIX4MWR!fsu=mv-;U#_ zxda3MyEJPdV^AlBpA};qlT}4>LXr!I(Nt0l$9^HYPSR%0wyM$$Z-UB<_j0w0Gan=F zn**2RINHlMB2+=n%DG+sG?3ubvQB4BvZ0S1pE$^@6k=w!%qED34%6+M}62m^Fgs@lsI(J1|zf}mD( zhko5@>rK7`WTVZ1weYp7vg1WgmIyaejE+59u@B1Rbxxoaf1uv!Xyv)y@rZOGlk@W1 z!0b)nTh}Mm;2^t_&7q`YzF7w0h{w*h84(;un7e}O8U8#@T@x`j!ovtZbxguc57-=* zzxkEp4MC)FEY8*7s-D>*6EtmIXSMRSgFlU%$MuFLu6y3-OwJe7L;$%S1z<>nED|C`nR&oCfxw!{M{6M-~P5C=71>Y=lNU0 z)L85yHa>2Ak|K8 z2j}0f{=Qu@9LK`0@z)Si$<$rpSUkLZsPCBzf8(o>vlxTwH)v}67-d4<$4wvOwiRFU zt-iF-`(J#PG4K^S%+je+a;_OXtiw%Fj>5x z4X{lCv&*VrVxSI%7_JFRv7vS1LaKa*eze+D=aS$-1oqY(E6U(drJc3D?M+g4R z4G7XJ4S!NEHtY4wnmzrAO8ae?&;`Gzi`ac`^l=YOyQ1T5P##oEl6SUu*$3BA*^TCr zRE^5=Z?tCw|8HYAP3;L@>eHVR@)tSR*m0z`ug0-_vFx#;vDC4yyv&I*88Ruuw5oKz z%wwAJISO}LNu^1`*$1bzstmqg#^wR}9F@C=XfY<21=BT4SDyiQB#QgRZ;Y>V=uPo! ztpq0~OH;CNZOxh5n`I`h8p0eVc<&=_0pG%UM@KGflHLiD9h_QtvXBU#`wu0B5-#W7 z#yv_IJI9AsAmtl~oroERluHF_9kSm7oRZla_x84qZ!($~AFkAXr297t$FTu@#@VuP z;_03UC!Ou2LzhW`rE0%NV-LIk9sbE@6xZ^~57d&hH+y}zK9;>ygwm=%xY z_I0tPEga20B1KM?&9Y-K%eTEAa??d^Fcf#ecbe>)q*00gIsJQ^Al?s3c=~W0I-y}y z$w+!-gQbNoFQPUbzwNLiIrsz^UKYbREP6JC;lhNH^M`WXr#`Mk#&s+0PxZNg-I3Tq z@4GcN{QDhFRBv*S4Z1Cx(mTe_RDc$aVMOgaK2B(KW_-u0ARaEZojF-HF&&D6NxWt= zanzaT zqdO74dYj(?_c3-Yt2!Mu_dFGf-DzoMRgGRng@Ye&f0nN(ejYY6{Nm;KkfyPbIbRNW z*@dnu$PeS(@{KTxEz3&=VyO?`K=UfIdID_1Fs`(iC-(vyh^1<%g`*upOYCz_N4sBO zJVyRSRtueGHkPNzC$?dX?{4)|>akQ4W1NGGRSx2$J<*Q9@UF`VD2}h1iY(08Vw#@32@_XrbrZ z4ApB;)Ri**LoX3658ObfVCU;Cp1ah0(+1XqGT<) z0d6Wzs{an55*9|`P_lBe@vx=h;^yM~k7}3!Mdx)nobGqs8v-&}G!u9?~ST;~s~)iAFrXACRS6nuo?||Ncyl z^cosirL8}@Dw3{k0sZqpD{B7;RBy zqj_J>#%yE1s03!XqZLrEwVy?0Is_Q#!6{MPmhMKiG6im6wn&V**0#(i1s2-uz#8J@ zn$v4dWVhB`Rxv8EZ22l*ITlnKBs$QIZ`7{dc6Af#3^LVc-5-!WOW0BT_+xJ0n&Ll} z@J?dTa80V9i19onxd*=YN4ot4(6%w(|N69%Hl9XZSMkulIW9S!eoVZpWdQXA#D>uT{Y_0E57A!h z(S8CJpSztVUi5b53%z{{@AZP3kNQq?*zAZM3b&6=e~2Wa9R*|T*)IDWAkA;tpE&uUig^A{n;+rD;6L8GG(9AL<0V<#84SdCI zsC|LaP^hEfSZ^}@+29gHfXx=EcsEfqC_+7GpYf=Lnz5ROm&jKWRgDzdKETad%Akk& z70nh}hr&Aded|KeSZ7i+${&fX<9dW!GB0FpWRthe(V^L=c!`TK>tez$5XKo#V z-DfmrL^J;D_Mg^|xM5*)6lbO6g+$>C7}yKPB5rTy;hC3_++4zgK*q9qg&z(9rPMRB zjpT27YyR5OA3JRWMCi%c47^esCh3UPDC^SK@8zQlGHso|Xw6-gT8`2jg$D1iaYCwa z-;5L&37Yi5{&mCcs;434&3kaR)~pBrMv*N?MK@b4k*ZwFp2?OW4D%{U;5PYMcI++1 z<48tyiIMIF+9C`%fN~wf+CxxCx}5#}TF79SH=C`9ZdrU|)ekes?B+`EYrvQAieK_( zsEqu2F}}XBI$4_V#)|n%Wc0Ou@{hT1Wzr%9(F7KOc^7}z+SAH#`dn<8a;Qx`9RJ~7 zbCsbrnyZCkXhr7@5Owk)vJ6p_Lw(R<327hrUEIthi&vHV17Hj)QChRVcQ7FWni+{@ zFWO(A9vDk0!Zpw~eFqb5&zYp5L<3HTqXUFh+}%gjT>I28;szY?WT0fnExX8fSMx|; zer#Q6V#%z9=Qd#}q&Ic_d8nriq#ZXg#0;&^Ct8Aqn2Rt52N+?|lF7layXr-Z(+gn86Gc%^!KeL_QC}V9&Kz413Wo+!kQH273xTas5zHUsKPW*upqj<5aiuwHJ zKxL+<Wv8ULoC@Zjk+Mk~#cVcENFcbMMu7abfNvMwcc{64#Gm>9^~r zaQyR5+FMAPP}PhDvpMu0i(b530g-7pKj({x0Faj38CI`T#swGQfi!~X$4uez+%D3b2#rMe$0~2U$Zit-@Gj|9 zj&1lqtbuC|r-%f7)=YGAZMvNs$w>j2m}W_@%v8afsYQ=qI@3tF+UlI*lf}}P6ZBC`1 zc$+0C0bn2dNyeqhg@F;FN-dhQ>BZ6}ic^tm5jXfFQFDtCQ`0sqtzxxWYf+&%!k2Va!?DFUA>_sYl{2}LEP7H3WEaPvX06?Vp zE3&%9-krR|Nw7(?dIx@X1RndD%q&oi4^=H;Z|;YZ9c zni5ivdrlB9esLR@d$i_wO}obE@0RsIRij(1M;vosLF8d_C2!&xc8dZp!oWeEFm9^B zo1)J{aNk;`5buegZi95KaVlJw4Arc?$ zYqAWmYN>)J0{JD@RrFlhTvfr z#<4aeoNM9K{pP(__X<-agr~*r`yTxWNa47YuIYIG!80?s6z0KoZDO-!OuliuiFP4No+-xyJozGD3PD0cTu4V9Zd z2In5n>XfdN!^M{ym=JzqXhEN6arp(B)WJGAUmfwFfV0)_%p^8sRGdnQ{{hvawrQ82 zQe%|TLt2OTeaFbNFG(?dxpKD5y{A_DV8$2b7-m;HiYeW>(wBii63XS9ldJzqTlyyQ zLq=-DMr>ZTTMz-Cz2&;L8Roo~K=8!o%zX!**JpJS!JX8_l;d{cjled=`T`Fn?9P8$ z2KsM|sO0`1E~5px?HxURJsdgLlS_Q%6<_`c{tr>jU(*}(9dIPdvwnY-EQ%Oy`{e42 zeEoicoKB=30`^N~K4-;BeK@FR^o;V9CO8{g8^ohK9|P!~8#WeiBPdc}ATy4t6|Gyp zGK%H1j|V4v<;MpF&R>gMqbJ>P#n^TWSNAPKn78&VT3hJ5m3&M|aeS@i^%o}Zv-NBR z8fnQ%T;{iC>X~D8E!T)wnnn80F&m*LEiKP=o<|^rCUgGz23Ye}z8~LWx#=mI1xC*! z8`URAp8?$iZyZsiil?93Ge2mv2GbCUs$6-4E2PTVqwAoFP4v368Q)Hwhposlrto)l+*x zH<^`ZQTUX9Vv|`IsXFP^TaO*QDko<^w;rc9>}A8bo%-dc*q8E-sop9{J=g(STJ}oUA@=A z+{JpC#9|Y-W42)mwcjM0Blr<0QM=w7vH2lF6t&C+T;+;V#}g>Y2UZ07HwuClugX8Q z8!C-0`e^@Z}_Q$h6HZ?L-{Qs`?D>{^he zITjr3is2gyxrLJ3(l0)ZQ2&$~3QS;+4P*`dS(L(nux{p9p9I+Wyn}bmBykpdzyv!B}OcfM;{&gLEhtV zwfP;fgdUzpbOkypI9n%&hjU_jv|XrCbmb=Bxm*?0A zjptC3NRuK{)XCu;xm%!7UW?`y-M&4@nuTu~lgO9VdLkQ#YsYRu*8Zb+R-vb?AYUKn z1X}qr>ea3YmZP^#rK?rCMk=&7Ibp_`p1=C*FFJ~=JJu)!hce+qX>y94T)&6>f zCKT?t@$}*ofyjJKZ~9gQDK>xu7}4g$$kVWHF*~WWu(>N=*4=x|-PX}M@YG1>s$!~e zCYhxx&i;+3$92H#Y34u>;Xvo5`B9?Ar}pEX-c`+twavEpxx0|8^|3BA&1pxEW+v4x zmzN!jk>u9A$oz?r{(PxjBrtAnA39l;o|QuhZ@k{Vl#h@P4Wq&l)r^v=XxW+2Q)tQ; zRAH#jLKPNvj|I9j9>#((ihkhY4;-%CTj~3xi*!Kh1R64A^29o+K*O_GJp*g>I|Uqm zXk5yS_e~v^=WBODQ3q8pqt@elUC-AZ0S*}BXFu~x*V^L^lw)8WBZl^(c2qYQ%{AB_ zQoZ2EVC9NYr3xQJg>L758sAQ;en*ehu^@pqIY5;D2ePDxzp9N#OVoi@we#%)ZsGRd z7evM*ftmgz4=)10A2K_T; zTYUs}RLdU636BM>E!KZ@{D%eB)y;^GjS1+vJ2EkHXidPg<0AaXv%F*PDShWb-Y=T1 zrTAr9E_@R_*Vq2FJ!2$8qZ+KCoOh{hB>leVY_D$dSB{hh_1V?B-M!_ea0Vsw&Dz5Z zD=bu^(JlnoOKLN0@80hFOq~OFIqG$;WB?t+KOHFAH%L#qy62*#f-_D*YV zkr%8{ZhCQW>XNutU7{iDKY}R^xzvUdH6r~6pO9{b$0wF{I9r&nQpRrM9U3JG@Z$k@ z{I{DdtGsVtH4?r=*nGaorQE$`6f|;rwW?S~wRuwO>VUngI|;$nIDQmxHCvVExuGm8 z=q!?%dTB`29-Hd%-iU^mMhMCYn#uic0&&pJq0?rgyEbL|Du0=Dq%mbfKlNCn0ijgS zqY5b)RIy~DG;P|`rXjLD+qOb>4NZ=4w16H@K6fMr#-@{?pqHe+r5DiNCHna#eV?Fx zPuloBcF>@$B)?m%TeVRO11C2Vy@9Njn&QyB(^9^7iJ+Wz7J5Bv$ISCC%OiGseU893 zwZ^=NL6dsO`l>~bQYlwLMD^$CD!AP~Dedb?XE2fLK{(r?QaaviD_@%G*83M>+iA?UE83?18hNKQaR#@?0NQE*0xdTPa087_opAMhmElE zT__QqKYt4;mGeLTbt-ouKcgsx*c`&sR~*XI1BRA6B0VJ&+xt(jA=mAqQ@`dq?OmJW zz*U9vO#qdmTb|W`7{aM#x=Mx|PVf=`*MB)bG@l36nyP6=&ly=r#MEkcx8*!GMMGy_ z+e?Wy#P&6&&+*~672zxMJ+N$+O@=tx@J*&kS2}}a%xI(rF5hmS;hB-8kex3hzoAg~ zsh|;sk&O$6W*Hv|?9se397|}n5iFIrM84h$H5&*hp@9O>Ytw1?9ZG_|Z5QW~n!0sW!7U{%ul+{tou|Pm}F> z4O(x9Y_}{4#x#YuUA15NOU=JBjdXJlmmREDC;FDn_IMliG3xBOm#ZH8qe5i*2vr2bVh%m>9=%Y<}tahr?fA(=Wo{RC50<>chVI^3+nY9@<{ z?MDv;la8+9@7j~2>+~^gt(DwtJ!9!SCLXj2Mw~A)$mYR5hJDO43NA*Op0`6SN&`3yXb=eK;s`C~ipOWK9Y-<2eh9*xcr4f(%J?wJwz!RnqC|= zf&A|J1ncwchcjA656vif-UNcam>1M~O%Kp>D#bU6_T6UxcKxFUyJ5Ui!B&2P8?1TP zqu}aVE7Y5u5kcNN**Ar-b9{_=;|AQrc0x#xwh=yRUV4h0V%5UBR;^_r34DQlEhGYBLA0qph)X?g1@_~>zhK&Ir@ zhK7$gL^ih(AYy(Nh6%AFVgw1EUasL}=+c}A!7CtBP34{KV|{E}1h+a6&|{!)V=;=2 z-Oy0`+LB1cV3!~?d%-rkx^Q>R_O?w%wd*ME)!SmmFk3^4*gH8r`~-L;NZHtP!oIurY(RKlu0HYZX3Z0-$upwj(KfnIAd!tYB*uATk$F zIvLxMu)S|b{CjY<<6s#hD4n)#q@=AF)&y3O(3Aj9*O$5x)WNq!L66K{QBV zZ_aR0<*yuj5mfuzNd0Daq!RX=t~`8A2$DHON7FrrS&(ta)+GSoC;V1|NN*&Vm6(x^ zYC#xw_ulC0nn21g4jWb0J=BP_Y+M`N5c9bb#n)Y{smmX|H6#PAV`>>>t0|bVZijqp-OZA2DWf) zpCjPEJ|R+*76B-gVpK&g=l@OKe1N!|g(IX4{$HcmCrAbQM<%H`sxJy8Km5Q6Vu*g* z6d{as3Fg*de*%gi{N`J_c4xM2}(I?KnpCWx&_#`A{ zZ}tKL;^wU%(9~02AXrHp?{^Dss;#U4?DL8L&(gMQfB`Y;f#T$ae-XH1)FhOZ^Uj9& z#fh`mLUwz$2!h4E^O){7&{niKM=R*dE=vr4t;G7?lYWdF$of=y0Yoj_Q}JY~|6Lv) zAVVI}m8JnDboZd8p_m$%+hh<;mcQ`IZ<822A@5wDonQ2}JfxcL9^o|8!4_<3ZT2bV z^VY$Q=j6TszJ>>lv7Ygo&s0W)*%rn0<#=`I2u7(RIXEzwE$;*+>{HZ=paE;81tq;k zW~lwtYh^Qq3|eZTQ*=!GMMs@%x}4f1(Bxx?w_82Z?xb|KTwKgS3=0~|vhls^(iX<2 zUil$#eaKiJE{1`#H*7V^`$b|d(%n@4_pm#K>Z9Z#8t^k$Sp1Ps{j^JMOvx({8w``b zs&x)O*DWK}kKHDziT4RR7fSEXmh#GvL*(r04*X_Iv%hpD^vLdC6Dqw^e>F>019^jR z6D*(X&-{Wdh*b;_=_zBT0$hdI;ZnaPziZQxY>BiVd;9#RF3)UT+&HwXX~O>VOqA29 zvqGAUZpz<+9koM;l0@6R>UEf`jt>t{YpR1VjczWN?%>4o@8ZS*L*XZ)!VQcUsrh_< z8>LoWwi?Nx*~&C8W@7==u+j1n5bWXmvU_eaBKyCITT5f=G=1Y z%>v&El98h0p8Y_6Fwe9<+^gj2weN7vbcQ@;U$G2Nv%hU7ospbX@I> zXKA{%yOlU|)i~nD0Uk%kiZZC6kT>I-@DR zELWRGC3+nsL7LxOww`3okslUhet}JcLob|83?h}+`QDF^FRM#pQ1GNaP$I@{Yb!&- z2k9b9B6>0WCk}8mM38^>0USEx?lXZ8hTE(nSY)t7-0Ng+Y3Z58;QvOLzraSk1^Ym1@MowUlBjkixv#->4GQF=Dk7cTFD{5|^`G3(AHio0EB zHRh#0ex#HD)_MOnJ(9K-<|2vS5|K5Xu11SRpx&^W?GZvuvI3J{t2#ha(ZA8TC;_00GMX8gdNuFMlFLoh|=vuphI9()sb(7#VregO#(T+csd z^&%0`=_LUPu-EvQD%sl2g1en%mIyFXyfg2ZBE8|L>y3p}*kAiz#uI)k@4>*ctb$kq z@1rRuztMyx(L$%}0Ze;Zf27b7QR$kf_J{(~BiH1+Scx5D@k(Mo$VC4S08&7$zvDnE zQa>BEMP!B1^NGiN&leemp?nrvx{l7m#G9nAy_|+zNow?rVNkD5h!Qv2vad|)2{p46 zHPlv4UC-?d?g)G_EYaSbNE`?;hcA~OzEKwKt~_q5!gW@Kx0ifc2H($r8JGy!+wV!4 zvnL>|?)AQYaZ7e?Vg9f$&#j=?ePF9R@339C>nmVeN&5z#j8aSQW`S*8@4ow^HXw<{ z!}Q053f?zwv32>ep(2g>$OMp=h^1g_i1Il;299@hQ{>WiQS0T~GX9E)u~ygxyQ>YK`%Q z;q~@Ks6>IRSA2ZR%83G^MfD8(dhf!}QZ*X=BUxQThdtP0l@~1rS`w_1kcHySiazr1 z3^=MtmEf^y|9nYNEHb|>hN4=V|6(GLdoTOgvo z2raP$2Dl}sEP6s~Q+|@T;(7msY{49P2eSB-3x12EXYNWw5z)TyNdcqI1{Rl}c{$uu z9bbyB+i?hS(>3mY8s;PEyRpbMYwJE8E4R(ZM`U_qBB5#8UQnJiCt0oCQ)rk+wS*QJAdMxnKrCfs%wqFVRV(#kL zNB`p1H{{znzPC-mPxUy`u4;;U*<-yJsjGblF4p#+YHnNM-v#0ax|>o=`Gu1W*Nk?7_+22Pc_p?B|5wk8y>#jzclx z8sC5swnmO3g_nH98fqhc=X{>LB%emTUuYaKkK`a3T;I6*=Q@s&#vbHS@x>ew=z7F* zJE^^Wt+7AgnE->5_vRd_ zEc`N6+^gOlSLqfwXJoc`N$67J303Y`rJ4NQfSpl{fo>dwm3~zd#jam#!emxK4h3(2-K|yOgK~IBD^VL?!E^E6z4kKb9LwHg zLVC&Ui8nhq+G5CZ_&qYs;`c3uPiOf-l&6^Yeb5X{Jn|U*_7<_C-<3uLVluHBb1=k# z%hKPGX*}YuT(n}jTi=?};u7o@qT7X!F1LDC7}z9RG@`-2aYcUB6s%=qj<;DQHitid zD#Z;tI3L<2Z2#PPfNYp&2iH7uk{(lgP(%G`1`6n{IK)HxJ%Lj@rOK5wLh!z?CH_eW`VZ<=fteMD>Eaa?;3ofYSwt`4Srvzug@N-BkKVsAGtOJA7nRd&k4LEGnJiY^SScdwNx_67u zQ2I_YzD#Xtt9~1iEZ_oP3CuLFYoV3l`Zk+~YVSH&jY?H`3nCj;^^5c3czJ=B(L0Gh zNz%-q04d>kg}*{IE8>oLd*fDDD2>JQoaT93TLnJBc1$g_t`fMsTLT2(R0dstkv2FN zq0}*Td>O{qN*q^7%#)qZG|I4Qz{e|in_c@J^Ssn|sTu~SsX$`q#_wV0=q+gFihO}; zFNMb; zJ|Ts1+|ycW>Zx3oehp10s{wj{bz_+(Fq1jiZNSK@bm6?TMuHmYe;Ys%=7g(#L4Z0? z`prwuw*;*|tkF`U9U7-z{Q|{VGBZ$J^l?s#!bnKpvSkInYZC#sPBjg^z+>tVI>;UF za+orvZO}aHPM1HPwoRW@@EjCe(&Q4wvAV#^HQA!Bq8s1W(IzYK=Tp zbN`TFGdF%H8s)cS9Av9h{&nV0o2UFQDv~(PuD^eA<5a;cn|WD!Q4`{kHQro;EXe(tCAer@JZvYPI2v;shU&$cDTCYvC7Z%yJy zWh>P-9NNsy1nbW%BZF7is5)dkdNlshPgHBHeYn%fqC`=`sl(uZ9uIutL|j{oK5Z~?zETjH`T7dZ!T!XnXtEZEtgN;@8eVt2K|oAYwi~RU zAU8RfplFif<-Dzb_*U!HV-x*sPZrM;p7D#I@hbpDrqNF|{Td04#KD9wQd?1oft(s3 z6YOy~pd1kXr7${qN4t^z)x>_jf-?0Z-qp^F)80C2YWSS$fhlEr4{XLhhPh`>&8_&Nh;_U zQN%xSZglqiBwaX}&{f}LQ!8SCeM3Jw$#m!uk_C#alsmJj{Ep>(!ae8rCLBXT13jGL zBT>TCOO}Q^W2c{Pw^HuhqCspkiBYdqjlU5J@uIVTvybxEEtG~G(pjI(8}IeQqu9B4 zesr)P2yz5|ciSax$Udfp|47&4IzkM7;p~I_y5#nNy-VYyJ%3?Bc9togtq^m>^oGTx z=q~I1p_@HcKr5W_-u)iRGSr#GvEzwQl71Zj7V61c?;T`?(4(9eMu29ntE~R1?1WQ$ z1~l7${wN=J7AfrBoNIl>(fdp{6)}blL^+eg&=v&xgs~(Q)PS*!jOCl;R{lxR_mr#iiMu(b`zD!(6phZ%6z&La8||7IGNML*{q77_VcK~t}6 zt4or+|7XEvHmmbxkq+M0ceCo9)YgeV>H`9ba4vLg3_a-xG^Z(e3Kq4=hA~*!FV}2B=!WW#S{FjLM&xx?(`fp*{iDeTWPOY1Y6aw!;wN~X`x z`4>H5h_Gxbkx0V)KG_|Wmn^5bPcq#JJ8@{kS6tLEWJF+wVdwHKH!{Q47Q(k_I$O^u z9`B;WVJ&@1U(D;1lZS#65J_`?-b=#{4e9BU?<0)@*|MgQvT@U?waBe%q9RbVr~>KK zKil&oMZkv7iWn#c*(2R1&8&ajw(~E0S1-Yx#6*vhy@jG1QXvuA(~c48MtsZs0r0Tg zA&$;?rqRJ7Hh;9}vL`oyCG<2l&~X(fj;H3HOk_=ZM`X_HqgqO1;1;rfG9SJ&-x|#6 zj~^w=dG4T2V0S%+bloQR+Mx84 z317uDOZs+AN|wjFM{FX{8B5|>4O%L%oF%ahr6y1FYt65Vg;PIY?9?hzm*lm+s;}UU zgr+@5+G19rpT1vMU70OqH!fL7Y!Q)kEMbq^!m^bMRir$JV*4C_5Jh)4A=%Ho!#w~EoxEgj@S&8 z$YQyy$Kh!KdsWDP`#0zXSoL}X(VIa{vBnXS@3t^uPcHnJ+6XQlV7eNMpUK5JtDOi& z(4}Cm(|bQ$z2I_b0*=XJ$S%i}EM+|?XfU06v|RppJI+aE2>0m9a4NRgbADV_MG6&z z|6_{W>d2{=a;Sy6A{~wNLn5}zs6TZh%_*Yku$KIN%nX@-%O>VDV&7;H-^;VO>avrF zPa$zi246PVq^Jo~e@cyNa$eSegvtdPl}p%^>Sd=;SMGIRiHqCH3SBgv=)kUZ*WG=q z?Rh8dGkcj&JP;#cZT_Kv){qGf0OpK^S#dFmW3P{dLh(%#UUCV(7TvT)CAZHP?u)tgm(ZB*TfhOim6Ql7_ogXp|}Q=>fz?*nGaS{rtY=#dimENjl{ zIRPX-nmZbjoBX_YhYEbhOZ)WqQrtOVs&B;)vf;MAUqF6g>!<0E#?M*UxWDfei>jG3 zIanjAFWr;6$Q%U&2sAl-1BEjlKu`5H7UdrTwyet`rD&Y_#@?-oMgWxA!dQkF7%IB^}kZN$) z3Rme30nOFo2;7*Bi(i64G0q44X<9#evI#Y8QRQ8|1=R+pC_E4R4)#q!E&h_NYG>HD zS*!76vm9DPmUl0!ojQ*aOuCEX#DeCZ-&T5m91ROI4O6ZNfstmrf3{MrH*J@9Q=G>< zzB1$2I=na$c*psuNG)`GBc2k<-1&2T;11-&}Xhx!<5&oz8`Xb zJ#j4c(m(b1;l;8IolI)+fsy*pf@sj9tPtES!84SzPpvf%o z0&u@$?1oueH*uXutWlXzk~w!_D9l^CX`^pz^*PIe2?K;@9bQ;WoGK0|#EnVh^+Q>7 z$b{hR0;sj9arx%Tv7r!zuP71guxc59!#_n+Z2agX1KM2bX0H$)rxx|nbw32_8zgcN zIk2nypvJ-zd%Pdz`O@CyEaWgMM%m)8^KRw??4{yhrPJWIoTW^0j*z<9KFRi{ zeGon6GFNez&eKR}NVJTep&xFwUh~G+gIpIHnAq9s`=VvnxH#5-UMya| zG}l;IxJakk>|`*yv~|*67SHn?6Q9dq_*l`~Jy$oZyhsDF5G8i9obywOAPlUwL{Dks zqR5F$8YbacG0z;zr@_1j$72MoF{x+7*1i2E*yD!!+U*jZw^r~TlBg_53di#t*xDyA zib|=_Sp`FEan=Jg(pZ5zI*WpTFIhylbMoak;qVT5+8TrEvFwk^CiNOonG1PFhg1gx zaTL@6lJGif!dTOBDPbDX8x(Hc^|ATUOEmbHRU*3CFxfvz7&gB77RSogSu5pQK`)N& zjvm^Vs*5Al3eGeWkihBP4_K#)HkQ)As0$**W`$3INmWsqS7Un7*AS?G+9i?B1O*E} zF|>KX)_{%DVE^qvIE-e;5~kqg&l1I;QrY_$G&<|hbz|FC-Ri9cg4p0%@kShLN&=>? z&P0{SVjkb9tkW=evtQh6PJ(kHq(}dMmvj<*)F^%XDy#FDh*?RC?y9Qd0<;_HZg=Zd(DfGLp=JC0 zO#JJr$aM_F(VJrlX}&>c*F{8`wa@2BGVuDiSsO^YY&y-$Ow+n`waMiUdP#SKy534v zVIa_ikLI2`^N04PWctmyT+4F;GAIRF{Dh%|{M&$99?o*hmJBL?f`K*3=&_475L8}n zI(-mdU-i4{QBCW%Zif`VK=B^DuXaC0(`BYFC^hHEIF|_qw4>ZdkSzh^f@|W-wmU4N zrS9@`F!T?yer+@+rq z4cIV$B&`aO=7f8sVdhR$$oAZeaPru=&z`hsjo@jQC*Cf9)g)|=zD}IGzoRN|iloQ^ zNsf8u$eBc7~0LIJgX(T~> zY9FOS(cvwBUxMJeyXkpy)scMm*FP%=mCG_YLzts+3#X-wWOAptcf2IAEedf+`j9hw zNRuU@N_y($kmndUDYqW>k6To@9=%!k+u{A4e)4EbOD(4vQt_rbX(P;Bw><3961nHc zx|EX3pX}Z(g#x#@KJo{k@j5B*=s1f6xt8{Si6St6tO|a^y!w%)SPu3wQ1{s7sCORo zGVQDbx}{n7tM#Pc{;o-auH=Y{pO}zJ>t=X6%&k%xL~1q zCBkdFAiEY@%w_Gi%PK-K2J-@HXe>*TPO0vF;rYjwk2t;1C&)jo8IdZm9|nE|JF?Eq z6uU%ybSZdkR8TY8b>biD$?jG;?OPgKNH_(5Ub(j*7|(D#q#mcpLo4K$dVQZfPZ;za z6`yR9DO0%bd#fc(pU#Sr&Os5KwMZYe%@~^7Ai;3M2M%0=j}>G!vr~44GiC-EQ=S<1 zp`w``;y8n5EnPDrIZLoJfqpB@A#!~QQ?wszJUENS2+MX3gqz!Yy3_I$p#z}$Q&ls6 z#UxvLtZj;liV~lcPIi&vy7Z3IR-iW)2F*oA;MB9QX*m&5`iF8B{OJy3&IGI53m#7` zDjy`7(n*AB`xo675#|%lP|lrYKkRKkmS&RL`S_Ysh6Jbv5lB!AU|z6gOhxN{oaRa@ z{alz2(9u@Trz+Vago|`tZgGF4oAn)kJshjna&Px!fU%F~^=~y}2QEE!wybPzj8uuQ zuXalxt%?KDjoL!%4luz^6wPWg=;5p(#B9sL2#vhA;Ju+`K8C&O3^^FbYJE|h`$l{I zxG&7g2z=vjIH6k$QbIjHp~x{Y+>u8!j==|**r|vbhSQv@I`NZnGx&SKGE~)n^RNc! zCrZuA1SQ0hLVkoL5vSc^3Ka5}?{F(k01VLDTl6-#Ui&YF6jC#MMndkkS#EVWJzQ^A zE4nXQsTOqMW#GT; zpm^_pC4MP?UUN_U(`t5v$(-brOtCSkK_AijjI%J09AWrWUV$umIM%LzPRlH@A_=KQ zsY5Ztqb>|!$`)pfq|~8xUC#MTm1Jc`_`%%nyeJOCC=JS)A9al>E+#rwvZ&p^Pus~3Q6NSGrKvq@2wVi9wWzn+SKgPTLA$2306DCUc z6&Ws7j-pyk$u@yL)(wl7_%;et!)l72%k-{D6g02=GiE2D0@>G=Dz$F`hLLYU04L$$y9b%_NWJ29F9?;=@Zg$pa!;TVC|j z;3=NOvOS+KbaAb42a`NF*$1yCwMwtYnmS|RH_7`9?3)Dc%izc3=u}m+9di(G;#j3V zCTTyEJn3uJfA5KZO$Z}w#x=#txIjl+7o|1cEW?OPSpD#Me7Q+?JxA+`dkapqn2frV zaxYVcjW?DJ;GC_M9=F>TSyQ`Z8ByTjXWybo0E=e&bFKOvb|O@!WU7Hy?dwOc>5jKY z(b>5HAeCc~|8}OO%nX@g-d78KR5jDQpoySyk(L%6(Az10>qcC*Y3q9F{1+ljlfXEq zCGc&3_B$_VrJm6nDRP5ii|O^9=M|SJ?tICbdf3Gd7N@E91&0(_icneO(ZYTMPa5C# zqk!XbN*>R_HmCJFcoVtR8IVc5AA|pg6kjtn=)nV54Y`t3|EUe36yjnb=>u9hw>Dm_ z%ZuXy%yV>qCFeKmjwx*;O3HW3ubgp7h|ul{&YfJp%cEhw5K39%8*kns(?m+-Iv#M6 z5?nN8CCQJ|IIgBrU2bfp@2@*D_Y{364RFr)YA!7{xY#ODJUv;c4M}&Vexr-(=q8TA z?F>#D0lU~R>2{ctD!0T50-vg2n0WbJF|@*KdaX!*2we_*Gf&ESkVU#+Qz}^Q;|{EO z1$l9%u9G;ANPBPr-56mSexMT zTup`yw^|RJ)5k!^n4F@MQAd?+1UQp;#*t@T6k!gb+x2CQO|HzkAy<7pz~Pr?L&Y?- zXp887H?UD+PzdeJurv`1wK4#;c>oI+JZg$yd=`434ydQ4Dz}?jt_Y0(6 z&f)JZRANV(UfZuhOg7uXzzXaLvDeV~@QP4>_@DIRxg*OO*^5|&btJ1>3cmI{649Fo zeg5idA7MbW^2iP9R} zxZNDYAaagRaQOKvyqJBAa;p5f+(OB7?J~lh5c|G#sdQ}l=kIf#F2`)G3|Sl;(bag2~K%ix=1IF$WIW*k-#b!rYzs{n&5Kij53x zZ%YMqs@~SMQ5gr~VOVrK9JSxI$TaTowy5%((nD98+9kj!lA4kxVUha?+4lGqjbv_b z;L;+SZU2mq;I9-(?0V&bqwV-I!aM3Z9FHpi&Pv}*VRDj0;w@EIeM9YO}4a_ z46(Co=#m{|fCe2ZyieAZ9A1>SGh)`)JY|&PyV=m&)@&M#PWwfDPGuP}2hhfNFZT~b z2G27C$fS8>>>WWn`AGZGO=6x$FHf zK3GOGqBV!A)M0nzh%dDWoPLn`b`x-QPnJ|@yKA}{k!aw2SW~Nijl!XhC|#8f<5FT> z^I#*;{4w#dvofjwD61K{fOkSkJQiqsI&#Q|Wgg7=u?h7|>g>ItxT(f%DPlL%T{vBv z+;<@R`}nM2S%DOMxx505O$43-#HqO^M!p`Bk3!aQE%CF5W-U8XWuG;k&aaa*QlzuA z6fJMV_wOi-O9_U5tecUUwWGgd?Q4Xcz_%B-EUpKOOCL^X_!pm7X$_4karXBasfY+f zBy{?z1h5GgwrJV;<-;tPfBpEj7`tW%U9)KIvC2OuWG!2Rym~@EHSvpI_xk?2Ic-Yj z>;=Hxpc1yr+av1(<()vg1@uuI=gWh78Ty?7Y-pJ#(uWy;9JLeZ+#eV$;t@VY?JDhT zu`hF7s=hYF(7&B@fC*oc6OClt`zjn}KX(3VAha-(gmbDcVTSMdCvoqhaJgo`T_EL~ zns+hZI<0%13`km}8q0*n8oSm8NIvOHQ!Y{>F62LMN_wSi^u5QO7+BaKwyL+j#HW`k zW05%se_LvQAgb8Z>`&I9$(hbzJoU*n_>>xLqd%v4&N!kY#u{s(zZF-$Zz)IO3-=B? zj@M{meZ-61mV})lvfOQF`d#ZE1bcC}AXv^_94OZmPPYCBWzMAfK~cWChnWI^*vD)V z)DL7IELO5Vi8NV>I}AxAvXrs)jyOy-l(ZrgOCFVft|pV?#O|x0Qoaz_yn8vzM{)P< ztG@1rcBDz#n+jC+kgc?2%VM9Dhx{itnFae+f`3FHwA|c4bD~UWGxUW6ie797g;WT|^&L=!KDX zxN*>br)adDUkIK3X+cM?Xg#O(r&6`eHhp%?l(1Oj_0vcB(HLGp^EW$3JV{=r_CyQ* z`l|8g_OUE_l`KDpFV7!3e*TQcExTrg-p1mjpyaHXkcrXRPYEOUi{?SId7Zz)^+EYo zmemUh5z{P&k>#!d-Dvh%#ylTdHOhsC<*MI*s1nA`zi${+;pNk&heJ8PN(DE#`fN@Y z;OEW417aVOW`=358mW6ML=WTiYwSUMnGhBIE#Sr*;ZhWb{N0D7gIJ6aAL-3tY1PPb z!sCtPd*v-@>633B5ztTuQ!ZdQvA4KVY zLTc*lNwQ~#RYK48{CjSf=Xaq=sV}u|@1c0T^Ij&S^N0$orW9G0Ki`SjihDNF6m3?r z8ELLd#`6#+A9$D-$O%-#pNG_I>LYkH%%J4phOYv8Q$lpZV^$)!F5ZWKH*{Fo z3brzFOlzD?T2$_?wm61S)to(k6(}>Qt$0&0+kSRb8DbF|MC~5agLgPbrV$v1{t-oD z*eSMZAMBfDTEJqx_TXc=A7b1xMJdT}mxFG150*~Z++o5>;0x8ykncoi0>}sE?z?Fj zf9XRvtdHCmx&&LU3WFYXdDSp~J|I`YFCJpS7L1>(Wp_VMI1C|Vu3PmxUBiDDOi%35 z6wN& z#hMjUGv-|vC}J`^Vv3&i35;T^Gh^HAuWaptOy2r59q&4uB1_XEKS6%~t|!cqF--1o z?0IzlNZGsMzuFTewliqq3*qL>kk6IQ?6vH_y_ZpmDe4Cpdw%SHH>b^dtnC@}FDB=k zPAMd7)sm_e<(R9;qHmSDh$*=UA`(&eS)hZb)X$V2K3=2GvlildE{~Jcj~|PD3C4r-aHVr?Ev8IIXRf_!(7%|3wHeP)ykqwE2!PH1XY;;E?(Pq}KqENH)HT36V1KyJ+!SMo$7D?WGUws}Y zf6RP-90SAa=Q7Wjs7U-4HR3J_L$yS*^J0gTK=(@kQ~elMHOo7^En4l$z^^V%vNWBD zn->+;xn)Yi;8^Gi+2I~M?j_0hR58&@gtY!Kd8%NsAa((qoDl$qbC0_*CZg`W|zPo|&#+8^vV!NzXq2Hj0Xy+=)aT$N=rBPhT2Ctq(d>>zCLWIl!|93k^ zp+$PSO5O%SvqYF+Vq?y-WbAx_#qRwExjiMHdSKabl9X`9IoZ4w zSeG4+zgKGv$@$pEdp6S)j{8e1j4EM7h>p%SIq_Z1g2z*)zJH0;%J6;2wtKe@$H*k0 zFguZFG--(cQg%nf;s#+!#eeF=+qPXw;d3lXCH7mT;?wcHiPx5=egeU4hHdLws3Ktj zHK}TU{oPRNYFfh;+p9T2`7hp~5V_;f4S%?7TfxxKJqUN3lnO&8eHUF7OB}$w3YS&k zAy$cZjIeom=~%>ENg9)XHr7`EOp>~MuISTdy(zX{e@N~4jThn70eXmRTkQNAVbbutBK3p!22s**P*+!+n^n zJ<%Ye)du*qJ1yJkS%*+6pOOHpUaH}MtV4q&{4vM5PmC<+E4|DIBb5`!7-LYPbl{GE z#`3*vVOSt{9u};fEDZiocIzYZ0rv7dcb0327{~m#=cQwVP4ji(e0AYAGdD%nGp-e6 z!Psyya3v+F&Y(v{b|rPg9hL$;ejolOP_ya718( zOYOBf&zVq9Y3%)1iXQ{J)?~WNGcjrV( zFvi(>6+Ij{WlUr0UdlNeFWShVyW z^wl)V(JSQm{*%uhkE4&~FlJOIixzsK`0D-0G~AEY@c1fiR^2xNZz9~(8{$Ym^EQ$~ zL9Ko9dalI57|)AeUs{?N@60QI4+Yl|@Y!!v!|YV^@G35b$Z&9+-v;fR>mM)8gllsf z6+(w&bjz83@dhY=oDnuB_6ndeY+m^x93<@pI*zlMh9(Ql**vf`k?Jp2F@i4uQ{&FjkJ|xZFJT#obn7J10 z5g6Y6DXO=p@dmG~ERoEAgKm2)m(7^aBx>F9sr_j3a^Nc>rbI8?0WK!&Ny5yybZFCj zoMk}?-b2%z$GGmilD3~#ieoQ0#Ek>y+nX}paMIDLEC-py;)V5&g>2Tq&WTQS{TB=d z2Mgow>ykp=8h1MxB)9A)8Nj%buJ_ks^4byckFv>qdSXv6*50mJDXZ$_YcTB!b)U5Y z87OcOtRxULF$ynCWo~D5Xfhx-F)}lgAk7p6 zI59LclaW~{e~q^VP}FZ1HVh&lASoctk8YN3k?u~BTwr0B*oEDtOG=P#qy02nvGqhByMh2m^XxcgP=Rf`lA^2^5C--7e2ma~}AS@{SPr1Lce-(nkeMk9(`8k-qcXzX9Rf$A2!GvA1%`w;VA}2n`ZHNqIKl@W@R#8P zgF8C?BH`%e0WyWdJiQ>ADu0DwAi{q!X9yY)7ZMVZ5)uX=o&dzx0Sfw6-o(!X^4s|v zf5tEf3h+R908SVZkRX^71oK50fC76%05sAI5)|;Cj{mj@g@pk}m;)NHhd9IFg#T8@ zz!0ZDHfH!pm@i-{gwdWbAoT0=&o66?yc`j5H@|Txs&noLe9ARGW|LfI6gE8x&2zPe-f2WNw zlp4$z;%ERvJ3#+v=O(|I0skEgMz}$>bDDm*{ANY?5n@J69tB-ps**R9ze+*_C%#=SI zn+l}o-8mihwd%|b{gk0mfW}hoT~^u?D13MJz0(=O18`={l4^9z#VvYOvaKykB(Q&Z~uBN)`Ero3wpr9iY$QwY5Ca8 zMALNS@>(n`;Y6u5j`qxNf7vo2YhYoaKlg2KrszSDcK36M>W8;zDgCur@&{A;XsMEO zwVF{_oJ!)y%H>JX6>p|vuUAbYt&Q&UngWw@?Y8%>6h`ltM0m9YVlj1uvwD}VrNzt# z=e*I~mk$t7BkS8dQ|*6qkM(sL@6WqBSV+z4atSMzN?R8L2SrMwfBrX%8@Y@viv#gi zaN-V@_F&f>RApihS=#wA&+{REd%o5y zo-{{xFT})dzr$WaRZFz{CrCf@OSuk8rj90J7Owyv6nBv1_M7kbFDHHoq(`cvoEEN7 z_K8^u2irXcduguNe;+9BmFhFh_L~=IaVyBw+-MgwD2mWdgF2d}%wMkJW(0oDer-Me zbb8Urc)y4$W033PM9Br`k;Rz;HfsUpk5UQ6WtxMf=ieAKOjz>84^p@FlH-v`TZYqZ zyJ3ZmC38c`=o?Le7M02j8#Pjz_1`}`t|NLc2*d+=6bt;4f4j_ah1^2&bGOAPuG3XX zKpOq+o_cjw=|{GTP`4|WKVTYQV5f=BO6}KD-pX;1N`GN6n_o7ug?5JKQs<@VZ!e2E zum$L~(NbuLS8OpR74oam_PWWkl$5rYn9)-RSOg45d^w?9XpY2H(SK@1H(q7VI^gqy ztrHLR7%!2$e-tZnA(A6;qj-ZY#B5S!sqFyUdmx%GzX_|~l3T1kIAq{zTncDdRz6)uMe4e!W| zLjT$i)-dO~!`$XF7hU7^;dJiPGZw!Jo;IuH>o+_ae{v6BWn02?8M~xd5T@$TTO3*D zA~cV9r)=DOwQBRd2*(6DBmr*zgb~3(6SLM8>0?@N?H~TL=_Xaw`#jq9)T62jrPoMy z%P*?w#`mKm2=hLdzfMY7rT<)0`uUS+)(nYSX|^NB)_SAF4;0l~*V?K|g3cls^Fl(Z zh3bi+e?=gN=7#e<DHzjf$4Y3gW5wYJ6Bh=?}v2*!Y z@4a;se0=5;_x+VO?=aPM=P>dKbx=Jri*(FvL-0ZV3aoU3XU?g4ZXQBa!FZlhtDZub z#6KAAuP@}5(bRDCxQcP#J}jWV)=He~L|LZh(67vj(hV-?ej}v+<#$F&GXD=a+^pxd ze?|8oZr*v=isx6ebI$iDhJ4uO!&=co)f7c7eEqNX^u07y6-|e!*ZdyRc zZNprflD%`UQM-Ck)Rbb@-uc@iZpTv;<4YC#O-J#4)mvL<7S_6r6l*cEkOl4c^|SFeL>7T|OIYVS-m%W~r! zM1M^2x3)M2DZ~hp|2WKD{*beC4{N{GNl&{t&EqOG0mEgbq<`=^b%Xw5iS& zD!F@aB3PW&?xssH_Z`(a;X)AXzV2m&f)RR7c z{I1Xa`Z~}%lWId5xW|B=d&salYC|pd=mx=1270m0n>Jo`-h;$!&c~OStE{%&G^rDx zb>5qC3(zU5c|DsYYf%M~4cgreD1ps9J@=?;`ffuY>gKzD^YdC;di60wf3{C^=QNmY zpz^4kK`E9Q9j#9smmYpZ4_B8hjzbpqi9T?y3@Ok5@gq)~Bis0{ji@4BzSz2NZKB?V zJW)L;>b+9H+stE_hViDO>4%Rm)9JZWW{VoY8?yl9g;Ej@S><9F*$`-`skAY8o!N8s+aZ$u&RKE7j_su(4Dm zrP4KfxXLS2a-$*Ymh#)j&qlzc9qlxdADsJMq%y`5?8}RpvDw!}e~Ek~Wq4!ff@V8P z?XQ*52A0#tcNwkBDDA_e=kauC;Cz>*)TS=(iv(n(m3N5?$JZip;vQKE*nznZXL_dM zg4P}%J^pvxB#eZ4gG0wj>cEY20c{uIxNJ|LZ}bm#U3`*ITT&>QJ@ zx5a8vhgxql5UiyNe{{Yh9#?OO2Rh$fbsyaAXr`m2^wgkx-dMkSH7T_Z{z0xWZ+q7+ zup`5T&66d{t!PK-7zDvm){I( zyzyBIvW+f$f4_lqAl;`<7R*#nn>J&>eL`BKqti!$&Gq)7WDU&rU;Z*uknvB)iE z*=388UgH2!S#`1C z@T?|fd2Bx%e+AVkmKlh2Cmg-@(|7Qh(+(tFphvX6E_!@$O91=FY>1iM`#A35k@D0U zY<$hq!@Hk2O=p_wP^`&7su2IDp7Dh1kj4@oyq`6rR$M2W8`TuO49u_UiO%}G)d5FGqVK2;9I?9KM%w3_ljdqPvbs?cI}Xm$u-Ai&e&%;ZAa%Z(qm<~@Mmt+ z_JrC|MNf8L@w_XUA`n+z^%M<=eKe*Y4r*m8f0w>~zeOFAMptOlB{wnJVJ95VTekb0 z|8i-!QU@#}Eiq0Iq(x2tiD;EwP-d}(sBMVm1>K${*w%+Rx;m!snhi)My8R<8$!c>Y zf5iv(l~vx3m1n3Y-*ITtah>Z&EdMx{PwGIBrjL^U9dw^k<96;l35T^N`U!Lg6+wSn zfBI!s&*L0;jf@Hd;BpxkTO&bnR5xS)f$cf^M*qda;(LNO{KG>ojac`FMbl$PO|vVu zDA=;w0^84URk-EbhBK{Y-m0DIvc%B?m*KP4*~g~O*KO^n-;B>IM8Vz3E>9Jg8JiXF4L2l|{y>cdo@p1; zg|Rcy}1=YrHOiF>?4>~8_>$$B8SL`ZfI*`urk!Vk8?KodW6!L3J&&e{sWmES{;G8DXq55pBzlWaoD;SHx*wKpWdk8VmIz zk>)6+;$me>*UYVdct%n0H6-=WAuT$F-0F9PO0*zX> z!4GR+(6k$jSnD-sPo!K=f9G^FKC?Pf?bI3H?zr!TT~lx+K$o6q;$&iDV%xTEY}>Yz z8z+;AZEIrNwsSMFZ9Cbi-P*tQZL7~qSM^gre05Hp4|QN=4n<)0leMm9AUa@7*B;w1 z`i4PYi|myPpC>fEytrnkV2bQRv<8<|8FcX!4u`veS^EcXkzZa0$#3myS0%?iXY07? z^R`yWe*ms%ZS^Yb5r2Zi}dV5({bqkvHnoY4-Z+u9hI>OiTu%rJWb2>B}57Y@5Il_`6Sw=P)2a4Ixb^&UlgPJ_95E6h8h z|2;p2l1FHOZ2AYBr%cQYfd^?tJXbmfX*a3BiHS$ZOQ1QIM&ijYr-ZbI+& zMTa+OpYHhza0Ld&v9U)H`b)AvS{N;7h=kO`PW25j)X;g)Bc1?tw79OqN1{b@1ofbL ze)?Bcn9!M}jfFS+Yl@$hIxH`{&;-gZpjwK~GaQhB*_pYA?XrKUVY}tg>!br_QjK#V zE%a_)8!$M4h&X(kZncQ*6Q>WK=KJjxO2ezk(VxH8nt*I`?4$CTX1fvvOd8m&aHitJ%OQOe11=m(jr7T@(kW znq#koenfn@p|r&-GW_d&-}}od3bO{nAMNP|y@|vvh>rZ?UEWdMI{!diRI-~nITe)K zUHuyYU4XxsXtqn-62v`ucrWB$z%rz8XxFCOH;qWaBYJ5mtN*bWBUsseu7Vh6jaKm% zu(FmVFr}9=GgnTo^iquj_$WuD-D;l%C=r$VNwckYNT|rxK#a9^7|UY!t8`ZFx#Q^znzGFkttOp ze{?n|A3-#)m87{vE@WoPc1}M#o;rd&)UPVTs?bJK#+2$D*;5SfWKAd2b@=#mb|1Bo zXMwquXqk<^H=s-_^=i_r)?FQ)^O=Uo{-;x6+&Vk1m3q~uF=e+P=d243DW{`*)=@E} z@0YAHBFS@;H+>W~3N)k75$*f0;mM1}C+IffIwzgl!LTJdmKITABwNGTYMrdwBJJ0w zex8S&{J-w0XZtb9af>fXEET`F{S4h;egdndv~-Nb8+%Hy3CwpJR`AHI?WJlnY?^$G zS=kh?y>BNP4yoB+eeS|v7*O>t12=0LS&OMD-=+_$@FZl$^h5|x6Q`p_;LtmlDV=n# zriH&o6Mp7Cz3Y8;J5i(gMZJ zV z)B0je`8P7F|8hi!-E_E+%l8#NX1v_@+XAanj26~I4&$ECEdkv*clam1bYSMtvmIv) zIlMocM7Le@3ywIaq+)XF`$=GpcrDQCqPOHXj=0NN_EK0*G~aL48R^c(Z@)~5NM~Yo zez9X@IW*Lx*{2qmmvbm2&D2$AU|oPd^kiVeIIWS6Hsj=dDi2bUa~Akvi4`vg>aLNt z|GD>Ug@@1&GH15_8&acSnO1|bvNZxRavIL3La3l+1sHSxcGtqmmB91F%fSPI4~mAD zlxFL*k=~CIyQ0~%sk%@uF)s=W!l`nsA5HI597Nnr$4GB`C=-6BXVU_&+b}?Hi>0Ss zwkE_#+>}FMF|4dmnm{f^stJ;gGNR4y;e}O#!$`*dU?tB(^f&6$Eirc6)|=(g zT~th==DwX}X&ET-flIir zAj-r13A@K6A(8kbMDk}UEZkd_QumwAA1+o?&rTi50#(ySmDjpq7Tt_tC5x8=T<)LJ8n#uF`r29O&054+OaD}XH$f$^eO7;cm;uQRmCliDme5p zw5Z--8jl11A{2~S&ia~iCIurFWWUbY+1d5E+d%)@4f-Lu)kI(~oaR`$+H0y7`N`%? zFjojdl8+XIkqPG`Wgf^qD9wuaVP1pz zsaL=ymU5?Jq8(V@Vj>RKJq97_JhNe&pZ>97LT%ml{sht0S!(jQW5L*{?JnKo^m5&E z^5T^NIF;Tw?~u>+D~eibj8SB_sOGBqYhclIrZa>`jODzUZZ)eQOTL%WM%PWaQUim` zz7~hP#5@xu9*>1D)ydRM$9L~w;)@C^&N2RQX`RZx6A6so?EGawdqI5z@`{eq#us12 z3tQ^3cq3>bo?w6Xon#U(W&oEIlNL;BhNEk8jty1A6vk&QM0q2vQv^J0;%fX0q^BEe z_4rOOHQ*v=x-~d8q-E|c_ftGLb}&|d4UWjbWmk9Qy&f|x%Dd1}y-;e_e?XPz&1Z7eT5* znu&E|mOj)D>W$?2)8Itm(-~TU@fXI3N+v4zZ>)&SC@Wvnp`^*_f_KNLTl-YQYGMll|>(2 zvIHva2|S^j6%9ofvM_>X;9iV#VmL1A13YgV zq}p)OQI%M(Sx+ic#tAdRt1&s5m{qn&Isw_)Ql8X}iZD<;R^r3Hh5 zg#{ja?z*33+tq$uZSJdSP6$)L@y$g<9liK3d-GML9=)aI+yp>I!F|sY(;_hC7=PP6 zjG=o!dJURRh9NN(F8mk^M`J60=M*Mx&viM&^({RQZqMh2ekk}EPA#Prj!#gf9oXHh z^vuHUfROe_lU96tcYkTRE=r{WHUoUUYjq)`z2kWZ@WajNNzW;Evagn2v|Y^H=>SG~ zsV**jU;lzxH<*0R1i3xfF|;WTN}`Dk3e8vS(l(P3H*Azlq6KPyGXqQ@`|=tANz9Ny zu6Eh{UMK<|9YorJ1I=H~hiGvS4V<*>e5De-Z!DQyu)L`fC*3!68^!THKhb5!FC{1d zoEHB*JbIWS?-oqUri=$)>{v|nZkIQ%il4iTi?7Sso>sR=**SS26FmN0jkkRdlNp8f zuSATIJrEgbRIXL^R!-cP#kXd8+3@p<3(x4^*lipl42{}n+Y;8J61BUZE$hV$D zW~A@H{)IGXCbNQ%9<(9YPYbJOcs_tRl98)d_JS5464M~#Bl<9P#@LPgD^KWCfAqbl zj3gm*XED@WAZLZ!vV@a~u&*jtJje|lWl4g(hN2pZyYCV$! z+mhA4%|%`qr)g|WV6_(m8<@XvYZ!{no73>h{~33Pl{Q|MOS-n|I1Qm~!HgO1U@8H- z92^`rx_enmUaQw9iKp2lU_XO0LHHu8Zu$&MMBFA5N*4Zj!S-gH!!{GG+Hi5dnU(IA z|6t-L-?isjmvTASt+JyOk)-|y^P15(I-@4e&}{t;-M9J%;V_qS6v&zk#Ab)=4TzgWejcwVSIHSt-08kQi~E~Ff@ zy3}iq5K*H3NXX1NxR(=+f9WAF=dO&il+lffMA9D=sRfxx(@WU4RM-9J?h0eR0l0m{ zeg^`s;?9X{*4r?qN+2ZT^BEFiuQySuU(@@E<=Ew8)Pa*k&-Uo@Qe5P7337_*$;4jP zXRiD@l}+oWFA`Nnu`_Q*(N7c4UwQy+`|CEw&Y6wRBfTF7qoLno@=xs58+AF6Tqrp0 zlbx!WrSbc_q8XOy;RQ-D3A~y5s72Xj>V)UAdBlKk;&L;i&ge5+;a5R ztg^9%^F~c{qUqbb_vZ|Hj`XKT3sdRIFYU3Y3{~)_$-Q!q^kXDeBb1McD={Q~VTU@2 z;Ls;AhQjGn9fg1vHTpe+ooKU~pI!TXUhhd#+yO6S32J!|a?*p+RK;1ft?CT0cp<>~ zVoW5qRqsHzWcfxWJIh+--cVSjvWSc9e0FBa<2amOjXE$QspM0UBEh(Cg@q9IfgY6r ze6swmVw^ZS+;gI;S=h;7M3odHz)%2^6RH(iU@&A1#!VI*PdtSYB<+HKe_BXYLZG{4 z1*92N=t-ItiF67dWQ;i=aGFN0r2tr)!4)tGDpxiH+GJzoBt>`3qA)ZCyo1CUdz&A^ zC<10p@bt7T<%a0>g2+6hQ5bE-3Q;2pL-REMQY5rSDOUBsh4uMbC zZqC+eI|!Rw7)k0;q!kt|F^v??F=a8|5$y=B9?Th6XAu@}@@vI=E$I&ej2=g@) zo5?hk4^oCj;M|AX|K_eo7WE^XOY-BgMyem=48SSUtTXh_JAxPUZ;)He1!lo;^keRC z#&}a(X(p^I)t%|U!LqoR8UW242JDBGYLnOw(Qp`QA<#6~F!hLI#TbQKu4!GVw0ooJ zlUKd34FLkEBja8n+ud=J4x5pN@Bq+k^L50?=l<^Q21r40L(Ha$mUvIQ(eXHFvK@&Y zk^wcOEuJHze}FZwj6~!YYhy?7rzW2#@jin%u54d}JH1Xvw_&g>Balyr(tvE@djWhU zWvss6bJywN!y|)qs=xPD>Q0`IV)Rg5To2zW#%=8@3q|>~RugH-Ilg~axllkKeH#R* z{L@qHT4cg@?8BNZ4WVNx!YLwLUzM_JdY})>Nfv@Zc&azw@~5?TxE`-4UEia{E#*Mp zek4Azf&J4PgstOb1W-B))%Z}s0BEjsguU;jb8C2OG`T$E^AW3ayJP67jF=vOoBghJ zIhJiQgf+->?_3En8T#zHiH?F&j3$sThNWwi47R~RdnGhV89WdeKn=u}6NqAJ<2=SH zseO`4_ZWb8h5D9zYn;bAxcC)KfDW0tkOGpsepNK!7m(x0>dD zgLxNyHxku2Kt5m$*B??UEHVHGu+kb-gIPBP7HXharO1w7UMD+SqlK`9vx*PuTP=XZ ztr0yVbv0WiX_~{@tZAuqb3`U9aI=g*fy-QKM(Q&A)_8pi5~EUf?3N8wPE z!&UB^)xyL)K2HcUc+q)o1*}IYezT2su5*mRz6mX)QG}4R>kLKl2+xxymL9??h@CL` zhLGI+Ju3ficPL6vLcAGoVK1t6dxO*d1XYo)*7JS|6Y$q*({)T%CuW#g{2DUhHIj3t zN;qF!&C}EISNPq{^QnQd`p2%zmC02kcqul*44K~82o_dXg;UL2H!qHV`KCv>LCtV* zgVE9H`&pNRIe%EtxGuW?c2@SvJPugUw$QbQIiI*HlBxqQdN$W6Hu^8s78)4i4+5ud zXitd3J>cp7$DY7l^w<@0`_Yn_+tpQyNuj>r$n-3z*rhSF?!Izf7gsG~xWR~57j=`k}5 z4U$peI;j$@Q(2-`_$6 zmYj^Ow=?kreD0Jisp&msc`C)vV7={he}f8!7w;70)#v)t?vHOJR=>{^1cqqErp!k^ zoz00fyJp%}HL^HFHpQ5HeH;mC)0@J3(|D(@1m(ErObL0!L=0m zYROdi8Ku6wqH2dbSLnv-WtGG6%sLzc6SuCsYO%nTZC9=LT{T)HAlAh5ph^0T2N$a( z;RhrQAgx0sKcNU%>NLQf2iuY38?~lE5pq63+)pFqnd+G*Rr_CG!ZQg)yvjoRcaEiw4KM-zc>P3p({UGY74H?<|;g3&WY*dE|=+nA{pD0%yE7y zzgJv~AUz*uTSI6s<2rR?C7ZdBiVj<_qX*YKS%EKhZP&qJfZLhoncl4uI`uESgxHSViQ-M=Jn9i*3tv`t+SqCA z%%M?IW*wTDEafARDcfQZf{ykuZ#RG{3#Ax#>x}Y;>${(7bo;>Ok|)#T$WCfDVBM>^ z$EES@d?XtS8oGQi`uFsT)L+?~xZH?!$;qwdeNAem3vpyZ2|aH@aH@?2-t3Cpip>=- zKk1IyuD3{F_2Y2%Z+(vrpt}-mr9V?O0}$iqZjs&$*rn00yXm+Xkl?7@i{j;|8A_!PA5rVMfg{60?2n$0!s<*;mQ zaO=&1x@#Hs$?Sd;86~zliMB66^q^2`!$5(voW}JE4Bj9LiU#m-IYU$cLte$bBk7JV_WBZK>z17as^s4&glJF ztLuX&fW1BJ`Urmgg`wZX4i8asvTYD@Mg}afonpWKFrzgSwoYAOO52ToJGLf59C zck@h!pJyW+da!j8pbWdmpl!SnVr)pQwv{tk=6+FQBDwoDP6d#tiL`I?Qo)ztP}0p)G2w;$;kOBt ztl3Tz{a!C&1`oFeGZ4FJd-cUDy1E%T8a83(H;9&eJTf_B7)Y9vg%7^I&I(rl$7C{45H#n!znSPI5+kJVPlILlK$<%cXo4_!4 zMUzO$N!!@Q4B6*w3(cmf(*4s&skkcOYs^Jjv;kus`{-_PNhCb_(Pvf)%=D#VBqr`^ zj7`MzojlCc>RjEU51Hq7Yw`h+WCQ|X z_gPVz)+r4WiTdi22Rv-1o@lPV?3EI$7*VZ$@Clwr(R>EklvG{LOt9RyS?CKXjS7S~{qYJX-3S zI&3EN?Ym!e`8j&p^k+M>QS^WYSJm^J5#5RnldOhV*t4t%Whu{(If$d4$F3Jwj+QRH`!46?dm8)h54$nroNOou1XeDgZf>(u z|FL{9nokVS;h`4d{aq(L*T2o);aY|>d?o#jt~a8o*j1n`m7H$Rq!I9JWyYKG+xlTw zw=K0VsAiz!@WD&1hj6Cc$72A~dkJ&ujr9Ql&sl|%$^GE-IaNXF;-W7%j723P+0-mn z#iN`O(KN#8%!%e>QdF<{^=YV6w90CevR8S>>?Dimbk90?KhfgLUn!6uWQ!By5AQJr zaEbS7tFip}`bKOk;+D$r1(pTP&cw~i#loCA_XURkpUeFhSQ8@q|5ELVx!Jf9>+Gn3 z$r@|+i%dWKwrbKOBOz^KugXNq%YLA0IC+WqX|5`gG-oc^j~`s&{L2+^%94`Wpx}N? z=XM#E#-|MoG&B4W^_`&~rv4`)O|mwe#zv` z8d{YIIgWzSbA_YBa*?9rI9Ag+%7h*t1BpJgAVOeD)!6{bB1OHrbGk`vLrlA9sk{<5 z=pSjSt|C+{K$35v4=xdZDkYCClont=vW75dAcC}ZMuZ(N!lkGaOc(Vl4lC~NmR?=f z9PknpQhar*7y}Bz8jv$Z8_t4>1|ITX4zgjft}+Dqe5 z$r_I{FPO^)W0XkAs+)apl2Axr6)yp)HHl`ImNBjk)WyPq95_bMT|WvsC_!j+{gf&X z34ieKOj#5#X<^0+V$w~=yx83Z!jRikhoF+PG@Jv|D;6tJDVl`qUYOE&byP@I6p9#R zC;Fwdj3_$D8JM&vgw!z$WF_EufkYC=e6r%vQq^#6KPWuZ)O9h&)cOtw47=yWhty=N zjW?D8wc0wE+9F$LLF-Gcs$uL=FSr6Ygv+%I&g5q={kVs151Ms3lxJRk!pM`6YkX}} zEByqS9aWN?wu_jNOSXUhhFi>tlyvfT&Sx*;>m#%9sW@+TOzF9V)WkA$0M96MU#Ic~ z3$=q4J?~F_mLEE*9devS9?;D!OfwmbipC_8%ZL{K3=VatR=sOPxChF3FkO^BVbbP*3)96;w&dz@%bjhUPaSy2>@# zN2(kmF;-5gph3FCMi_QZDRo#*PAPxsIz@{Fy#w`swn`*>W=&MLn@ba6Oi>vNH?uXxUJuB`lpBEkgg27gle+cfdrYE#}#?*+N{M%t-?aEd zZEZ+mW^BD1TU%bm!pzKcuc2v{7g(2W_D`9Vz^m>I#gNE zKtou@Btst}3vB|@?)N?>8(O`DHRuVJ(&8>dBHT=KJrhB$fZ=H^PJS4qd?!T^8d5N+ zrR3bbOt~w<1wuv+5Wg`$TU;f4wGXz@#nM_2`dI8tT*afKSGrMvt*HwyO9W3Ok(Ga& zO&ewQ?;s+o(S?RyIJI396(IAq~pKkdQ7wyd~%B3i~@C zfVZ?j=g8xu7D0XeRge{d{~Dzg9@JO9HfkdWDung+M&Q66AFc=LoWz#Qj%h-9;+&%n zTK}eA{3|uLMUqKc-C`(v(w{0D4;1uzV)u=83_x4YnaU1 zHE7V*@-lHByKDnpw?zy+{_jaz*Y8?nK(o*FFZ;KrXs)&%zqs;ITe#dXDK}rASSmN) z*!omvKl-dIv)=qT;#K>nj4>$FhV;b2%fU@~_!7xw^_#xuHc==6rpH+DQl1{@onjgyldj+|UvK?3f-0O^xXX#fBK diff --git a/docs/seminar.tex b/docs/seminar.tex index 5134281..7ec82c8 100644 --- a/docs/seminar.tex +++ b/docs/seminar.tex @@ -108,9 +108,9 @@ so she just uses $R k$ to decrypt the message. The exact method used in Bitmessage is called Elliptic Curve Integrated Encryption Scheme or ECIES\footnote{See \url{http://en.wikipedia.org/wiki/Integrated_Encryption_Scheme}}. - \subsection{Signature} + \subsubsection{Signature} -ECDSA + To sign objects, Bitmessage uses Elliptic Curve Digital Signature Algorithm or ECDSA. This is slightly more complicated, if you want the details, Wikipedia is a fine starting point: \url{http://en.wikipedia.org/wiki/Elliptic_Curve_Digital_Signature_Algorithm}. \section{Issues} @@ -119,7 +119,9 @@ ECDSA Bitmessage doen't really scale. If there are very few users, anonymity isn't given anymore, and with many users traffic and storage use grows quadratically. \subsubsection{Streams} - The intended solution for this problem is splitting traffic\footnote{Addresses, actualy.} into streams. When all active streams are full, a new one is created which should be used for new addresses. All users can send messages to any stream, but only listen to the streams belonging to their addresses. The unsolved problem is to determine when a stream is full. The other issue is the fact that, as the overall network grows, traffic on full streams still grows, as there are more users who might wanto to write someone on the full stream. + The intended solution for this problem is splitting traffic -- addresses, more precisely -- into streams. A node listens only on the streams that concern its addresses. If it wants to send an object to another stream, it just connects to a node in this stream to send the object, then disconnects. When all active streams are full, a new one is created which should be used for new addresses. + + The unsolved problem is to determine when a stream is full. Another issue is the fact that, as the overall network grows, traffic on full streams still grows, as there are more users who might wanto to write someone on the full stream. \subsubsection{Prefix Filtering} TODO