From e6b8e68b151348be359fa5e59910cc2108c9c011 Mon Sep 17 00:00:00 2001 From: Marco Ammon Date: Thu, 13 Aug 2020 10:42:35 +0200 Subject: [PATCH] Lengauer-Tarjan-Algorithmus korrekt bezeichnet --- verfahren.pdf | Bin 240782 -> 241100 bytes verfahren.tex | 6 +++--- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/verfahren.pdf b/verfahren.pdf index ac4401f5e2fd6e3881c9b546d74a78650dd561a8..be6a7cbbc4bae5d10f21c7ac59fd91cfacab7ac7 100644 GIT binary patch delta 35434 zcmV(~K+nI9*$&Lx4zND~1HfkMvqAy&1O$V$$PAM^1}FkEIFoUrD1WtDS##US5q|ft zVDbc3EobK*z^QDNRkmCkC5~&QBvrBe04*U35(%ns_)s45*VA+0*Met$2L<>#xv90;~j35tX;Qt@I%IZ}c+fygg%lgE#DBLY>lAQ(kB zB3dAkh(!XVVk9D`<~1d__vN3@spx$P&Za{6$Si-KED=Q^rtT~+Gv`H|SvxLQoQmM-Yg&MMD!5Cs z`iW6AwSS%2gAyVTW8rg7n(2>0m$0h~BM4(s>+;4e>8lH8r1c6gwNDJ3KO|AT=*%mI zAuj6`_DGpmC4U+r60+lEtSjN+^%9;R(a6 zYw_wXce>a!=Ih#z4@)6}*q(U-VHTlCLa4%71dm+kKo};a{+{`AY=iStm90MCELRW| z$vVw8Ws=(uE*~NEH#TJV@Oc=l6PJhQ%a8@}c3a*pA%8db)#h$Kn0tx&vS7aaZiD$Q zDNPuID_n-X%QrSd0eHBWi`zJRYED+|oCGU6|Gsk1Ar#Fo@4ltw%0j|V_Q^VRyY5n# z(VZ;Q&%apT+<*-29=)PSZD>yX6iWX*1|e>W;-frcO{RlVrOCx#>0Ch=>Z5Qzk7WPJC@fP{rOWu%{; z#_$s!6i2xa(10)-fqSp5gpM;ga17|uk1Emx)qhW3C=-acXt#slP6}{XVRuhb4N8Ot z9}Ui|XLTZA4;HCO|G}@c_05ycTP@Y4Cj`yjQU$m5{w_6CMw9;0TX8ao74RB{ zBnqRx*Y1-B6+hm_>ka_;kE-CiL`;TQh*)d>Cks$L9I{X+O;J3mYTOw320eW-5B3O2 z&wn1Hgb~0A07nCfE~7ZAc_X#F@$DWW0l@Y7T=5j5<|Q5>Qem_1n;#EC)f{`RHBS>L zt{!0=>NB0r=m;^@tk8AVD+i*A4s_}#9$-|9h}W13{m<((JgJUAig&aju5f+T%un+o z^Oq-bO_C}dx#o|5Ekhnu`IE`3t$p@X`G4V_Bhtd_sEt}$RpsMcieW%=IqSVO%RnO((3)QOKj?<5K!GZsPIJe$efL-h6ay(rr2IK!3^^ zl0=;3z+ZPeaN8$usv5dIuh4ss114+>NIo-x|6DlA!pqiY*XJ5DO37(b~&Z!CHf8yW!Z59|-XRa&YUH{^mDpz34qJMY`9~Soa3(e-uibAgjzLOO8ZyQs)!k0yq>Z3QA z_JP(I~q%Z55()4#f*?*2&qS$(?FQdoY?!846vZ_hjcRm>*G>*-R`+I-q*x?Bu z{Dl~(_)rlEu@WiV=m9?>;ZmFWdsxK)9XreB$2Teh&!09|{dZ+M7h=izv8AP+kx48U zusL+!-DZbCnbOsy{oo&Uw-Y};=6fwfk6X*MX0_{s!klEgB-WPIBE>ennS z(|DT}&}lRSC}4H|`W-Q(L^!~jgZj|VcnIn(?Ij3`kjg@5u{TDVcLLw!sCl02^|RQDFA;m5D-G9B~&vJY(}B|pZx?3pn? z(cXfgI*i4s1rXZeuGOl8sMxnDMM@XBKJfmqr0s^sV4&9vk6Z6p5b-wdGoO&&h5%kb zBLdev0qgAUrjP&>4-u&$`N~tNBBYnEpf%)J9T+3()ihmk+<(T8f66?L$^$!zv>+;eC;&YATRk2|!!u2!HPpz6tN9Wgj;D1tf{CPUBO!sTqI@#H0R@t^w>62xKp`?k%2UkZ?S;Lmi z<=Y8l_AIFlXpOs09Nu1>>!VIJ8vGJq!;Wf0og9|tpi*U+% zAP9(V$7gwc^=Si-{d%iutT-o4g3u!uXEl3QH z_a@YVp?{ggroVl$rO)k2OE)%wyeM_t933;}>QU8KkL~d{xy>Pc3qoh-Onb{v>q+r} zvG|y=i0BSr=8Pqzxx9R_u`cqYdU{w28N_y&R$Ifqr684w%Ol@XsK1*!c@;I{f&qeDB`m;m;c{r z?lw&}b=*SUle3xJ-8Gx)Tfa!?BA8*dEFDCj6^^WJU17-Gg)HZ*}R1eA_s9 z)_)gA8us!b0A+Jk97FhMj_^`Qd23(f@RS`%Y)Bnlb##>aFKQ@ZJ&$`-6735Q=0%(u z|JUg{o-g-|qVR+wv}w^+*q;@9pU@s=9(C zA-of+RyVQJJ$o%6ReOYN2Mt~VXz z-SFsYHkrL7jJk8+(d=dIseK)Vc`cVohzTGaBrLjn#SGTgS!QHw*bKj65N9a2qd_MghyuP&dk04SG`wV)!l1tIeYK3_MxFv z(_|61bTS9YIDw%o?5scmfTXepI|l#=KA&h|<^a%i zvakg~z5Xi&y^swQ>MX#<=HcPNYUb$5>IAVCVPFP$f7n8802&}y5X2p13HaSGK*h`v z^k-+Rs5AgA8(Y^uc}*uPsD~K@1b8MKY%M@w*XIZ~uq6lrcs?AUDX#=jbq0a|bXNM) zff?}EYyj-6?0={GEBbdLTks#jW)>Dsj?QLaFI%uRz{=JE1W=VxVugA_nE_^C%ioS> z4z5nmfAMDSX0{Gy=Fbj)RBi^45myJ8JvaDQd#)A`TW6>%tE;WU?-tp9r+J>TG}uzo z$yBFJ^H){`e@&Nn%1*~krmR7%;uyk`~(+1nRxPj!Q{&IPy zQ2*hqK~MlU5D4Vu=K_FS03c5b8@Au+wY;1`e}5R+f78z$`1v?HIRmVon*jOQT7jN_ zP<>p@+(7^+#0})<^KZj{BUE;FfTgVk6krarwgsd9ll_?nS^bHhFCSv-2`~UYYmXfO z{Qdd+pV70tESS|hVb*3I#Mt@2Q_=RFVye_K2JJw{ts8Cy?~rJ60&!sbu0{K;$oUNQ$; zFi6eG)%N$R0$^bW0{_SMyjd3Z&o77Tvm*a6fu0xVzmJp#TR2(%-Y^bs9)KAHV&;Vk zd=?T1H#fkC{dpBFL7snT7{JB~c7i^K0G`|P16VmhP=DVj4>y2K{5SOn;^hUfe<}Zs z_@9y4KZqZ|X7M-T<^Zr+Ik`dpCfI?T05cvStSoWuc=V0CxmAY%MhCpJD~oKW;odKku9l9(#;~b0EiJ*qhxMJQ z`BG?1q%j0dx#Vs){2io-Bym)!IaviAoGof-BPK?T`^RVu*>#6qLmsGikwag1@hY_| zpTz5G3ixucOHkyHe-q;G+u$O$C*25SKWz(0ea4B{R)~!MMIT;t`KIQ><>dRzQ=?)Q zpb%@NwWb6nx{AYFT>U)NM5WWY!gy{{WB%p=yk7!kik*yzzTag~gF~Nu2BH9~5rLJ9 z(#)I0c|Tmb;Rr=~?10AUp2um8>O;TibO(;U1ssJ%b=wl7e~$?gd+CptJ?sx3 zoHlw2gL)rAM#?W6Y!evkKmF};onoT{^|FUWCHKG>>sSTnlUNLR}>84YeHjfvESW) zs?FI1QVFrkQ>mKlyKaoLsqT+OSInf4TY+4C%j0m`I`=)d%Tt`FXaN<#~~c%=q@{ zq;lY9UQ_4-i_gc~v+kL`PFrpmNgSo&&At>JNwzLC^J+a6f7du;yw_G~ij;88PmsmU zdSsi*e-sk?UIEdw4qc$X_{;kAsh*$4!L;?rKEHq6rz7Z*gZ2ZyH)W*}T?9n*hbW^J z#pa!F;=;`geUbE)Z2xet7-APXHrPJf-}?~sZ8dtRSoKC^;Pb9RUTl+iK11GAMpcBt zAPQ1fHC`6EcGQ6IPeiZNI3n(AeCM}k?Hc*of4A)yxU?g{?#^=D#9+EKmaXiHMn2rs z8L0e|xF_R8G4(d(x;2FcJds?WCJb4XphmwA%s1_=z!OnQhj($xE7da`*0`#NYpi%- zT7$ePL=UYV(y=A<7xe_N!*7vSt ze{01zJ9&QKRit*wlf`81X3-(WSh>S|z;+7HtW6dVq5%rW%4W-_{KQuj`djYWS6Mp_ z-D;M1OI5k#I5@(z-Dao<)dW`x@dK_Ip(f(e?Obd@S+~eXwaWB#CW;T#GYXAzjDzhlXbHS z!+r-$Qkdq=+R!;y&+amLrn*n+`h_=&#!O(#E^=Z^kqe{;8@DF36wc)*GSYT%ojWf> zc0A)Ax4A*^uL=^3Z7{R##m+TNCgS%gBpr;6ktY0BTUlKA#X4s;K~JAi#2UJOf4xI4 zX!DKsP>zPASm5z*s^Qb`=I}aO+3|C!*CeZC}6r z;t1jvR<9?f432Jdn|fnPBT9m)f6hmK2tR{|5vS&D$_uNJlm(_68S zgSq^<_MA|6g?c%B6!D}0YaoHV`di{lf1%HUNa;V^ zeTBa9AkWLL?1@3+Ty(=@MYhKhoaG5?XzJ-->0Y^~j(_3xV{hh%b*K`rQ(UbLgr(pq z#eR{NW|Y#8#gz51)!>kHWx|7hNtZ@^{E2hj)Sgiby_LSU!YFS5lZRVlnZ=-=Ub^N) zT!E6)RR9shC|>k+y?6p0e^LKe<*2l4v&u}YW3$Dl%5zrMwR;ith!2r-7day8y%Dq> zq-i6bwfn~t9p2y!jNZs_d&%;8E0;GcE2%$2cwC~KkQpnO;N0)Qe?GrBY6z-QwV75BAIZ#W>J~9B!{K+&pG)*&Bt@o^cZ9aj)e2au zP@Sd+7r#}SBmH8g;aM<18TM#N*`t95`!+iuGOLC0yZ|YvcaQ%|0ikB?kd!5^{qg`w zvN?7AgUL=m2i8u}Ej zqWYC+mCDl$24!4TEANHQK1&yU8>K=^oBn$*-A$C9a!R8*@1=FICDzu!ihF!??r%{r z(<})oQcBI-CXf}m{i7Ne>)^6FwpWmYvS6%3>&ZGbnv@t%K(*!9-n2f?f_d?u7RN&w zqdF);vJq8FY1FWTHSO3O zs64#}^Dxbv+Y)z%QB@j+JMm?MwwBEU@rHwYFMk)Q2?Ol?Jn;mzvt)MG@G&_S(*%9H zay-gH_o~_totR`*=fd$3sD-3y=R&~_Fgt#*F|d}8f4f>woPLPzC^?c{Aq$NGoum%; z?VRv9SXA0MK7QNG1-mHPu`omD> z(Vuv@#0=H8H}IeUfGR~(&0Ib=82cTmEuRGUFUBv!q3NDm;2trGe(4`@Qff~kodqCj zJo)Rje-q<&@JgQm_0r^@Vr3pKrdv4GY z(&$tAXo;S@%bYSRc45S{+?v!AExCs2-Ej@Z_CYuTYMf}-_9~vok}=aR1g##CQq&ug z4A&&C?|mv_SCXi&n#Q40*lUDsIqSRpHE`Zef9_032*jTR;K5AkhAH4+Cn@skD@naJ zD^9(#`XbL>P9{2U2OXdr;}c+`kCo4pEzDm(y z<}KR=eH4yt4yfzm@7?zvkbh5!@NT#jf(?>Y>D5(n7LQ8fLeh3MG8eQ?f_)Xoq9kw- ze|yV@U%gs8;f!mxoc01!VD}Td=l#gri_tyPBqW`_)N@*CX}J6#(N+sAB8vGrADJ&@-2FxQ0ZbRCjF_DlQC?7919{M&pBdWJ5tCXUbGANN~4DK^x z;A}^i+3mJDZonZh)l;YVkD;BaLonFz+ zaQu~iaCAOy9C=jaqVE?Rep=+5o*|6SRuEpy?bbl`Zhvqa3qXlGN*!nae;b=YG+YlE zkwHpupsI!&sEqJYWM6i08m-hD=Aq6`?PDFY-J64;w*(riwQju4E-z2I?(7^LP{X6M zIP)pj&xrXU$)U$2akeN&Sf*}+e3Xsc)Fe$72<7+M+L@248^1nxtRo_-Lqw9Sb5q&a@4+bCQc1$Co!%p3bchzPAgjQLc{=}IGY;sBcPQyO?9^Lo zs}dWiD5fHo5qpf6acfmKxVLd1!tuGjy(8F`S012-h=uW|FIvH|87P$F^^w zfejI(McnrO3j)7-e{!WfoL^T7+MU;nBRtfgOqptG7`EymU^KAKdZ=s>{*-J;vfuZ@ zt@8iuCP#Hd&xbLs!rKIJ$J}I-CwzrwEqIs$RJJ1VSx){T!%2>k5*MQBAqRH$lWG8d zLw-2E^19wLvnmM*EYA_=6qUY-XVt*Um%xDCMBEQbN3@vMfA&?qC}-->CZ}$O%m}YU zL?zaef)jr>A8?yaq!u%8ZL`gv8AAlQMM?O_m(MUo)N@ppWc6*4L#j7#bCRsn!<~hF z!skpdM>B!*a+4zTADi9Y^vsod`(|rRH1F!jEAQ4>F>V%z@_fKYp0GHmT{RX;&(YwX zbZ7CXW!zWBe_T$8yuVCi57sGqhi)4ox>ppeAYm0&K%9F_uJH~I+16)Ij;fi<28})p zwt&=n$iEwv?>)<6{Ll^)= zA3uB4w;o{Mp6g0RLA0BFj>=IqqzJnO z6TQe;h6v)l{huZ-c%3Dy3yPJ>a7q;xUzMR zyZdTHG?it-XISlqoPa!1>B@ zwMo|jFF{JzjRLPIPZq7?l{tqp9H{2yeiS2UY3Xj$R%1=qldnVkFkKp~iIZxme}P|! zRN$2^J-3Y+l>Grd^Fs)!-SndtKReN>T1pwDu65HY0!)M~@qN5@1kQCno+IHW2C z&4|Kf=0@zboZY{>LD)#DpzV*gal3}0?Rg~*8%~WC8yq)J^AOK(VW@`wT9*FxXY`?+ z%KM+!E#ccIh+}>Ic&W2kFy3JZWU=|_Os`Y+0!iEPR@*}=b#~;UGn21Ze~DY-*kxDq zZ{<9rcl0p3kF**mXRF3wT@zUboHb*Ss`@3H8Vg(mP=n$5`8`1vNJbiSKHicI@DZJ& zUaFm%i>zOmwzQ~BA5C8`1AyZ*fbmAMnAv_D^KwI>5?0) zX>e{oh;uNhgjgQG-f@SK;X#qUPBu7Y#Vnkf(^pXmmLetJ{cu2GLxdk&>`Q@jrg$L2 zJsZQyO|Q89fIla~gd85i#MR}sAXbk588J8hlf=Sz13ilN?zh({f7RqHrjOXMsZno} z&L@*7OUqb%E3P$klp#DQmekmGako_-wIGuG&YHMy^faudtTz`gp?xW+rbOqX0g-u! zH_ZuP_I(=wCfIvs4WyB~6-WiXcihAKtXdEEYbBh>7m|9fm!Or$uyb=95nG zd_RA++y@uFdXBM@e`##a^P;JXi=}{t?5m;>)*#I+B&Jb9F$ldTfE9TGOcU2~|?QgP_b&d7(75P|dhOLFY}`4e?41mWU6n509z zor&BxEu`=Sd_J#|93{1v+XUOxp}$CXa}8>v^*1YVuB@ zm%kG_?d?BEg+YTga`gD-jxTqPdgC&m0iR z#Sj(}3uw=HSbYhEz)J1#sWN`S!RT2^b`KxB%kbT#g>0JNz_+<+Sva?yer&dZB`r?> z^{!;MV=gw!e`be=r_iLGc?$`6?UB5CF)y5XbZn6v>R3=udYodmQ_edej`)bS_zfY{ z)KOD>RBhraK3AYRJ)<)C1sa-ALH+Fs+|o}m^>2Q*%}UPIR@1`genR&#!pDoEN7m8f z#8pp|271MT6Jnv$vYj8cU!~ZYePyqHr&{9J3qMiif2QF6%jEk&kq^L9Kf%WFgW{DRR;jh3&A||qP8H{AA zXek*XADaW;b(FYlf!sqWIX1s^0N`w4d)J3gjQqqb5iJA zV;riHf7;Zv_8X{Y2b%8Y&6%hOoiQGK*Jg3JX^5ZfZ4?+QdRs8h3C>ew>{twn7V8_d z3g)J9BUq703Vtc4Ww{9&n5HS)kN~9Y6BwQK@+S-=SO)QaUhSEfH0%u?>a%2+QnM=K z5<2h1X}5?tUnyz$wGssN=<|<=$L2jvQf7$&fAdnA7^z;wB+8B}tEoW3zV=a+-T9l+ zm*;F#jnC-cki$oDHvMLoNv$WJiHT{i@ZLF+W~4KdVpH$VBpYtlv;A74+zX}0ko@@dR+0ZLA!>!idAuDZ zU(WQp$pF^Y+nY#gc{{_1iK(*XS6P_S#=w*iYM|^uA-tDn&M~r4AKG-~OqF2YMzD7> z&7lkM$-F?wX(2YToP{=nui?N{4^HAsf1%DXr0^@*+ftWC0Q}J6d63*7?Pd4r35st4 z$)|-MIRu}kY6TOtiVTlv<%mDAh76|E>~ROQV&*(Rux-@3BSR(<6NSUb(k<|*F$!~I zvWx~UM;wJ*+%%OjWSl5kPNNH2GZl?s7WLoFlUGtEJ_7w7iX<}6fR=s@P_DBpe_UUx z_{TG(aUthwg|ejHI?VdxWo%}zuW3)Z&;eQGP~lEwdcdRV>5qD_8`rD3Rnk22Ywo)3 zxZDdHzL2tb%*5B{O6RbWnas6JG4&}L?90WB3UpC)ACQKr=sXL90yb&ZLK=CSRJvkG zbQnC$MPhVY=3sCie`u7ST{PaLw$=kGb4`9%+|8xNVhac_+}_{`Cntqu zFMI3}u6>c1<~!5Pa3s{a%C(QlSvz!q z*Xt=8=>L>3!-WuwsfVpjsOr=S5>-F>e3hovZZk#uQK2E+H^#g64dT>>e;z7<2k%M$ zqk}wK*O@>UyK26As|EazgH&a{P6?v|Syd9BQzJtpFu zvr)TN9j&01a5hqW2P&uB>xFsO`YItpZ~JEH)}OV*IDfoT49UAs6*pb6wNOzoy%HvAf)}5)CAj+SH-nzT!unvPng@PFDO8`85la9pHrg`dix<99 z@~yhll~($vi0pT6vu-Be+|j0m-T-LfuMaIS-Fs3g! z3kGPv`9&X&0VX9Kbf!XgL;LR;bYM0*N*AaURQEKSI`-u<$F5xiFUjOggk{GdNfSvZ z^j|-8Xx@LeW41)00v?Uyt_*nHxY<@evbk3BVy-o)9K2>M_`st+u#=SrmN{gsX&4soX#3)U!IIsw&-5V-}!sNgU!LZX!aa!NO2V81IlK*_s zHu08Sb8?vY@f20NvbW-G#o=^n^)MKhzy12hc>ZGEPlpaff76V6Y*1Uu*EsbJ88Gx1 zfXqIXw-SW?o%#)amsAc51Gme18locTy1Qlca!PW2)g4URi$UEde&r&C^QK6OlcdU- zC;`^HkB9`chz53etQopx4;ML@DbX(8u6$Q8v7@z3e`@;lD^OM!S9LbcM^f-%Bn_);th6PyQpuy`QPjTm$4z^A!d0bpABWTH z#2HO!v8GT@WO|3pyAF6xLAzP|`Pw7VM_93Pw^F@E5B+AnMxkGvf=@S;97zGnuqS5& zaY1j>37yV+9^>xAzc!ep@TM_e4s70XrTMHsPEPg#e@~8g6!W%{>xPQ7J_iVh5yzv# zL^^Fn(bC!n)))+^1=?7ECK?AS{;>kgq-|a)k{kHpMA=;`s?yID-b)dZu=?azuV>sX7S`*fmTQ?c@0p-^HlAE|w9? zOgs=8u&G2&$#mq7q}oaJQTNo|BGPO|-R!bzDa@RU^^AV8S(Vd~dB}zu#>4bDvUZq# zfA&Yx2p}DwLG8upySbpv?iuQ~cG;NH~y48*^3A=>o<(=x zFBxiJM47LL(d}&%9N?TpE@1{yaWHC#eS(@W!o0WPu65;rPET|}I0Tn2v7WhbRd9*U zIg@2Y#kEg8a7ypRYT7pD2ik9Qa6aS7YRGKinP>(|lc${tg-~@xwa|hBR6Rz8e*{JI zgvY5YT5e(SnuhV9M%{@9)TrtJ>+1%DxSq_7PSvPpRR`F0BX@kIUz`&FBR3T@Hzf>k zSok^s9+1T%azT;Iv|z}Q-fw@1VN)~fQE6$3TGw5jY-G4x%DxSB>W_u+=;XJa^$Kqf zAcUXv7kLj68YpuWS+!WP&eCdcp4I9x8Dw zl18U|+g;Gt21gV_BdhFXojO2`;+QxnxInWgXti$Lzie!eqDFfBT77eI$P<es{CYcgu!k zrr%9Ig(Z=2aB2CUDp#ixf7HnI=o>e%SHDoc4spMIB_TXu_TE-hD43Yz1n=?0^ZsXt zNep7pCzW#95et#Ig~;$GWMaSE(kK&c=w?;5ln|8HAvBR3c*({ke>*hWFMLxZ)R7RQ z^K9`b5QNsU$&6cyOYGN|KTaO4(mlmeSOtBPwI2b-*ctOFT%>B^UmsMmNbOS9NOYg) zad_006pxuQ46O^$3v>}q;cCz-kEZfmqf`cxXu*&OyjZ7fep1+JKa|?XdI^?tm(m#< zV7p~WwMABZb;Z*CfAoGlgF*?&VSCicFCV4ZLY25It7vlGEqOKRmGseSv>fEH)Q~3D zyV;TC^)qP=`J;dH5G<0H>H4Q05U;gv5E(>Tme%e4P2M6#^Sc?e^Fn(@Xl;+g8io-fq8D4h1{~CbcP6n602)@aP+r_z#kJ zd4Z&Cr&pMSe@1!Z0$=TZpx{m5A?Ssr3h_8ex?R4HH13iZ-Xi7xhRyc#^Scj=^MR`@ zF9k}}9=jqA53l?_9X?%Qc`?$s4z*s3@E$-Yw^|d z#L+wGC!pV(B)x!T1>Ly13McD4JD-caoo=)%})jQ6a3GM@fJ%T{ZFp7A1 zn^8J+1hsUxRtgXo=J@J|*G)!wOnT1N&2Ix&f9KhVJXo0Tb1Y?+RU!a8&z58 zwcLff_GivBgi9x6)4Ya7X@UKT&-2Al5;h#Wz!=klasqLcY@460SGuH;rgl<^gS48a zf1RwOjC{MNkfbBkb;gkB*6w3XF!g(z5iFRSk+RpW6)F1Z3s}QPaB3WY#o(}F<_+fjFy!j?m%TDKYY)qdQ zqbYKQvN8%j$ye3dWrv3sN&Rfcf6FxN*ND}#RCWdHGV02wy17OLQvv!jJ3T)NOkf8F z2edB~!I%b`CX`PN#Iq}%J|6WlB&^56zRc%&zA1z}2{}KXvWi{u$1q)Tm6?JmDmGiH zu3f?LFW4}1USUqvd1|nZwM9kZ63+lHfyUw|7IgyYUOX2Zh2}rD!xsks1rOl(U`dy7 zr~wqW(o_OFEfF|33NK7$ZfA68G9WQCIWjSm5YH6^H8M3fm$5(tD1WzQR9xHA1sVt* zT!VLThsNFAo#4Tp#@(IZ?(P~Kg1ZL|?!nz1!s~Ocvm;lU7OkDpVf*iO3q6RJ&#sE16 zfHcU~#1Vm91Z3y#U}0wN1djBdM*x)(H2}!P#XB+L$;1vYu?LvA8JRQw6@Nt4-Ol81CGamXxDIbmJCGf~ z6kLjlw}q(*_y@t$(ZIz7;N;+J;_dlQ#s4A%AP`_|VdMlbG%>TVMfl?#EH*Ly7Y0v( zgM}MFn+ZIGKmgNUpZ`ATg6GT_WNYpIhyM3LGm48SX^5)R{`o&>6YFA6o_e|^b= zz!Pi&p!zfLI!tU#M&K{t|L?K?+vNXi+W+$M|6}0)Z%*RQ*4BSBsQyFwe=!VfEUexC z%>mD_vlDn9HSO4U>PZu`tNm`2XspoPP|!TOnj?X8qq*S~!YZxS1F$S~wY* z|7&ReC0F}v<*Y4iO%y?n7Jpqc0D2%3)Bn+d_sqx&e3dwYC-ZNW33!eEH>8-Y5y<$j zePd>02N*aw7`P*V4;qZv0G>ebVj7#c{XNS7Mh07u6W9a*F3uZZ3UWaB>r~m<0E|L^ ziGTiu*a3{fe-H^0V3hiU!0}}MAaFd{ zKL{L8?hgV-Q1~z6WCk!Q|3P4%Dt{0wfKl}i0!L8$gTN8g{~&M#jsGGpFf#aq!1Wpa zLEz{{|3z$Ioe{_yd`SP1u(JLov9bAM|9{u%F&h7Y%wX@v7A6iRj^KOm4+-2GlRtjJ z+5Kyr{t&>0n*Jex3pKTH`C|e6OJMy+{}&tN?C=kJFv08}5S*v^pRB>XF?Y8!H?jQ( z11z)n2Lz{N`40%L!s;Io+z9J`Kya6A{y^~6!}t%+;OmYN^d~l$3w|yBLk-T|?thOO zY-z9z@C5?;N56sKO8?OZAh@hQeP{a%nYjF;ZZr+VC#PbV+Ol- z{|5xO!sBoFKg(_8>;Nv^>F+BTynp%s!GFJ5O-$TOj1ZRQK}I}5mUThx4>dyguJpST zywK;V51*OoCkpl8oCd^Z^ta+wvND%t%Eg!Zf#Q0WUGl>A583Mr*Pc7|#0~DOcl5;K z2WG^EvGZ?t5I++efhggp`d(k=nJ7i1w$Xkt9W1fs04-_%$0kzaC3T#nPxJq;x=1dojeDwf<^ zGkNme6xcG9>w8qM;Ns{#`+vlH7oTPGLCNK5<}8TBy-$js<1;;*;nqbgr?0XCj_(_I z#D53_4^@pka9z!03+h^sy!N~Kt}F@`i28jRExk7}7N$bSXSfBD6RT3bDu zsQZ2eQo_ob**v+si*u`rI{@ELYAsscSMZrh490iaMN4^}>NLF8wJ@b0nC({`=t&}N#fEl+=jC2mYbk2$hyL0az8q7i7 ze=ngNc%1G~_|B8n=f<>;D%!S;IJ*BLn7A#%%%rhrhj{Xk?E%WXg804rP0DGyEV{ z8w}61%FUMmH9*S0J~4wK2Rl2g{oUvx9@uY)KW|O;aXo*QD}PP0`>M14(B3AIJGxh? z)a~~`)%iKQ&L4LmJ4IrtEANnSl*#H`70v3XC}+y`(_yCKxY`ehN&t${he%c?;n?7n zD(#HchJCEc@T-MJjqc~<^9A0;2?zQp28n94yh$cEviCBzu#G z1j0)MY`uS$JOM+h@Ej1oL}}ze#=j^|DhTJS)lDz}g%Cbxn6_}bPH|aX%8_i38bqvi z7q*(L5yozgG&}(eR)njrusv1+781S@!SxeopULFH4i!9lQ|1Pm;bo4nJdjOd`fB1hPj$s)X%zBpkH6Z4zQzF&6#HYmJ z1@1`SaMCQ)@_~0eEba$Yf#=Xg{*Nt!Eqg41K{<-q5c^XKZ|OvR72_2AJr=c!@ACuV zguh{Q@K&T4wF5DH=srAt(RFnw`=w4Xua;3C7qL<%k0=eys!Xc0jk#2F$99`Je!^zT zcaMM6YpCoyV63FmTWO6y<1>gy@9~s*vM@+b7-h_dgEaP>g23vn=7Eq|{J3dUpVaRb zGLCcDY|nXi!tPnwn_I{%9Aj%pv}H<(juo(b%^Ea3WBSxad8ApWyARha-n}d*H$N0n ztY}@a%7cwD2Z^~!JG9$rGTrjB3e%r>WyOD=JKH8IeYHqg4jZ|JWzU;U<+W|3f#MM{ICcklT~gu(*>bz(YC}-VJ`&b#qJ?vK_)NicqKUY zQ>4ikEQqfkudb<5vgF(rtVxtLP{wa{P?`CT#aJZe3{b~IiZINQ?dX1=j=f{Qn-hO{ zXrQ;07T3$vh#u_^WF0LmPY`guKisQsI@{4gsHkcH2DYn-Eu}?W&2z6lA4d^-UU#^;C*^fk8t;BF zBiV>~mMwa%#ONsLo8Wm5ZIJ z;8(S9SY0Aw+c~$x3+l+fdG3FF)EK=bF|Jc{Vw*b`D%kWUyi|zRx$7H2K5X#n5^Jz# zj5t#AO|)rOLa@V35h;PTxH2-}8}3C7@jcW9{xXuK6v82AWO|7^o3~y>-!d|T#zBkQ zn7!iJ8a>fRBUSivt05{4nswhRARa_n2@(WUx&-ARX{J|n;VO_ zm#**(4fl>;j{Um$YDa%zBt4T@R_>XaGtwU%$2>iiJ{l`8%rKJi?S3?+L-AUH1sI-$ zG_ghdHT@e|u_3p+&^~)vd=*Vr)~RwncS1rXhTN)yJr}PvNn*DGPw%5xP0R)@&2TN= z6>{&!uX{)gh(?lGkPn=RsuW53)fObN=dD->nmdUbBUu1n9bbRUNt&SC`R`M=U>J|c z!k@idEU1q3>S++-8v8INZYkYEQ@wRDY>E@t;Pqstd~lS-j1UdcpU+c@W-f~ga}NsDHUcBt6D9e2 zYC-KtCo^exiR5coP`iRAu3SCCBt8vbtzGB z&VR^IKdpZrmh-YWsHqm=P*(csDCVm^Qaz#SP60;Hn%?zRaJ3h~lY;y^Lbl|(o*UD5 z^?FvwsFXXnsSX>}S$1nYMju9{9<6kE>GYXH?;@*s%-D3cOT31EJng);FyAijvXk-@ ze@@bB{cI@e;;z#lDQDici`)}T75%QTY(4b$P$GZ4$jzXzHKWWmj$`Xtwn24n9M+k_ zlYLV~PciLk*kje4ksDCCzhOH*GGCYxoh(e8IeUJ5w)MKt-MM(5kX^gXX)I}?L^9*L z2V!C_Hv@K^-@4pUC%YNT3kyS$wKARbR_T@zgpk{N0YTE|(oqZ8i->n|3Tmi<3SgdhxD(D%i`Pc@i zUengn14QoK=83Ew8YvzIxl&8aWX5Ck)iytQG-taw4vO@ z@(0r3{??Xf!uQC<@-860i=^tR`cjd}qKTWDnyyBZc=Vgb;4rUHL$ zE-KD*_*x%I7USrAL%X0`4T4`Ey7xA6-vk}l_?VuQLe0C=J4>t$Esy7@P3t|tSe`+; z>?Bh(+uG;PG0xZf&Cut{vlt(vm@$F4^Qs$utDZY>lxu5Fdu)Zv^)UP`Z&*NU!2yzNrphQr=CcWr?PdAo{1vR z)xf)2$W6}VGClf5m%N$dMape}aHmt3YcXAm#5<_=#`7NCyhbr~dgL0OKF*L*zK7t> z^Z7^jA=c~o{1Hs^;*{{g=UGe35Sk|QfCh;{)3ItRqfVo9jckk^CUH5?>Mef?0RT|2 zCUmoen~JjQ^D=~}-mTahdyk&O9YF!%i@Wl|SP^6kOyZi0G8%G7liyuL1#+%4)Fplz zMIKuE)kh%mW&Q@~G$+4DQ|&!;%;&kwm^sa1*VmTLBYvJZ1h*W`OMy?j7FzL%4UR#o z-z})dRQQVSzi2{>9+O<~Aku&BbtAv>y-BjZBCwkyvjBVPB27(}AS?x6z2q1}V8R|G zkH6HQGhS9q40%m}TpH?@F{49Yo@Wnyacy@W@&|efPMmdcD)1rrj-|c{G@=Bk@h*4> zC?S;ejTpI$D=rY3R#eWLX$_6rpQ$TY%f-@7KAhEQ@d9C`b)h-k#Gp6rYlO zaUBlj^I0ozeYBgfMoq_~BSL?*!e1xH_WP2@W5UNetoD@oibHBdr!j>pl6#HgwQ_I4 z;8|BFua)Xu$0}j5u9>E}BYm#)44WZ#o4y`p!1LHbnNz!nTn&F_5Iqj~Ig&3h(83Q< zGIETSJVofbia$4fVF?{>=)Q8x$*gdLj!0X!?L9P&a_7q3oYVX5?UaADf4E7eG8i8L z8QYRC7I0M1Kd*J9~LCtnNWo5Z93O8~d zpQC(i)#72Byu5$4WlF}13*=F_1FOFgv}at|H3j#P`nSTRq|VS0!s)<*l2%!Djs2(d zFiB7d%V(aWXZqo`fZa&Jt_Q}oxr32!2QdC9l_)Tn&f|e`Tu0hf<@PT-H@Pj*9G~(X zkd(VN7|{8~i03?W$3pCbLg;@8PqWdn1__W$HM3cZ(zJhQj-;Vl6&oGCgtQUU%cZ{| z(+F-q5okF`GGK7q*?Wm=W!--vp=R+pILp>{7->!t_>q>f`p8P7bU_9UM8vV z$U4W%vNeCY_9-1QB5FdeM)E19a;P7Uwiv-NHcqLB3<4_QZ?q5*dm^N->=Q2dsc5P7 zA|$1volZ^0X>-!9<@?Gq=Ce$T2*}SEuq}I2cJ&?(6;F?50WRI-2?&Hx9!idpDl*{05mUO2BY8 zfFFN`pxBA1N#ZIlh#gDi+tOCdZBJW0g@JBL5_O`Z`VUvwEQiuur}1IaE;4%}VSNOB z^N(b}9oJ6`H?Rzrud##oX=MSD8}$YfxBepp2fPd1ND%Z3koj!*FSN?$)-^&c^4}s% zhT2D}-56!K-73g1VS;tEI-YJ2Gdk?_I(2^oYa)IY?^}Jkts|qzaVr7c6>6p*oX2f) zclFQyx;4#l#!@JGLaOqO4!M;TfpSAVMWoFr^fQWtl(1F_C&QLyLf4WxMD~c>pLp)8 zkkmTJlpc$lkCeJFweK57ao48h4fh@x;8mGByl6Z4-ikBG#kU)}n{w;w?^*;(4gPPxr-^xKmnq2OJ167VSKJSe-Wzp2 zWZXN8NE`Tes~U><$35_4=}|(OvTxGBG%l6i^n!Q5(x$ZK?W21MQW)V+S_*J4GdT9| z7qh7o-$M^!UWxC>)~~(|t&Jykc9VYzusKJkR)+#WZPp3mr(dxuJA=WJMUkV8|5;)UMgkb^MlE4B*6gQeO(PTHd1 zXZ(J(<(?PoD`!U{9o$7&xWpG68mOz%0jbHZ+K6b z0V)sB1(S3#u8b1Am1#v&y=9UmV=@S=dQD@R^2$HPYPu3v9OR-~q&{Z-Tu3OBe<4t8 zK|4D7sB0zd*V9!>xpRN1XULuWBrEPNfx^t-OzS+8C9MN;5*x@>vjo}#7c#g8U7!%=s>kWZ@F!C=UIw@Y9xosqzsiwge)#5p93iu}S;X2k#R@1suJt zSX8d^il)J^drWTvW@r0b+Tl+}qb*&e1~COx@P)pwr3=N`11QzCbQ~=WgF<(ZpS)%e zkm7x3(I`CY`9walOHCBL%Y(qo2|f>8a32fMR>_wLgTk zMm;%!?ZJL1b2NVx6T}xcVjY}Xf2h9RC)1OV#rR{{W_;sSLa;vlGu0XqU5<$HQPvN6 zos|>x`av7AAKCJd)|qCSIinj*#Hw55Ze!w83zJq~ZK4W}A?-{V_Hv9kf$7-GUB=UZ zR-(|s#om$&3G;Cs)7qr-oiCl2;q#@Lq!7@gvXmnw)2e@Q7Y-+WwQUsmG&H>weP2&* z8bI?Ue86w$VGMjE-qn^^iBoak3v4TQt&`|pa=)y9Y-R}N${B?zh?hV6VEPURodpT_ z1auC>6rxEKa2yuyrIdC}{&|Nz&#+F?GNjl7DcJKTzHiu9! zd?9WUb%B41*InNzXhT!eOw?>mqUh`WY{sP7_@04ZEHvA64EwZl;8W|E44UN1FWFul zb23eO=w8C+WoKbKWm*^RsZ2rb_q_8+NiexPh-<%#4wO1fss?e34+xG+?cW3986d{( z^r&&=)5SZAVEh}mv8+_$u5;%ObaOG1I5Hv2@;QGz`9gF(_!ORIpL{2Ey$p(m_Ib2= z+7FqyzVMQ-N8rRLQpKS8N@t&Nt3A;dm??OQQMaQ5UekWWb_}j4U8U>Xk)6H$jQ|uTHBqK z;hTSC)|N=`DY~Fak(ydGs{(L~#CkdqlI;5WMluu@?tTrA=+wqKzQxeLIblDRuPg%$ zmEMbu-_lpEa2_ow#V!@Hu}=5%b2t48t((A2J{3T$e-n0#^A@#OCv=g+{1ElK9gbHp zWJh%Jr)LQ@Srv>$#-4#VZcN&~Ts#ce z*aM~;v9#jOMz*XyQhF_zfuzw|kwK#?w{CDWVzXBdHtFM}l8%Vdx*IRcc}Ry%yPbY% zw&&;{lT;x0B>RIOyb@;gca4iZSCJuMWRpfu$}V*wh@12)%FefB4DA~JFxUlY7BAxkL7f^0JGa_f zLZa`i+bS$oce?oL$RFP`v}w~o!jP1@Iln-u_Rt-!w&7mBd8T3t{Cc}l*B^fr!xIcE zf*yL`3rV?|#$Uy9k3AD{t2wTW-{F((M&$)_v6=X^`qMejWnfHp<-V>j!_)0mF`m>TeBi4&8L_x%;CJ`4-m-AJhiXp6bn#OeMmSh;{MiRJF|D@? zb}GOcj49){5VaNQteX%*s?dMk)cdJ}B8jcfv&dVaTyxDQ=Me^j8}(S9tL6zL;_7Xs zep0VR(0TUdEic6msxqS3-gp8r-<8~#F&X73GoG;62ybkubjx+xSK64i!rQY%Gf`(CS-^_^?BXJxQAHDDY16%`&>&!WQ@wJs>f;=7K%;-6xl2PT{Bfs8 z?-jS_TKD{=JS+qvm#@7t>U2f*>?64(uxDyqP2fxMZChBqpE`$)z>3h!805Q7x0mf% zGyij=bse*(8aCkc_SdMjufSY*1TPdDWnqxc?gRU?a?S2=EeYaJsCnD7!;)oJtf8%v z6k+|&l3=Rzu#k{-OY48=?1=V^@9!Xtm%^@|s22|BZ9t*=vFeg+hyDY_kkOe}KM!`G z3{$@2^g?1cr61MtiXR-d_r?z9GJa}oezZbXhm-b1eT4w{T7Dl@z7PmWUS%~_WT!Tt zpXbGBul~@-i;-_ z16kPJExc~S5}=w0%#~XE*ZCWqm1Li9aiS{|jaVBce3;v=QE2;g0cn;F(1YaIc7fJ$ zQP@mXTWHqJn_SX79E?cXhMNI%li!K=V7yydv?HVA13R8&a6dzKaiLBtVfw2rYl_p? z3^d%=rU)_@?@NCUq~pN_(#&SUN|Cmb_NSPS3!5ePcGUAF%aNj8xT;KfeJf@p?Ow%y zM&EvkQgvpMiBbBlBUkV-`v$!kctZY3a_yNR9M#Es#$m1w(YQV*u#9>98Zz;*73kyc zy%*lwVt+VXf_9}Ru^30UDX)iZ z<8QTP86^=48#9?N%PsqK~6N7k&Tor|pt#I`0C;>SO>Q;6c?PJl+9jT-fA{E4E zo*ivl!I)u(wNSjti5dHc{N?sJ*^Tz>bbIXGS+jVb%9xj-ZHNoY$GJZ1+4ZjW?2vnw zXnN?}p9y0Xv+Pv1d{rz?!!p=A6n%y-jY-AGE+>DTI2(=(Ea|)Ozs>(#>`_*fH7C(N z>=6GIt%R7C#_4L}d_OtS(fMS9BV85%=QhZhQGhyj*}ZdnH%xuC6WC`7!MBa)WGTUL zah+kkr8}DY+APy;b^MxV4iT%$9y3!#h5MLMtvK2RtF?r7VDQ4CVS}o()QeRqwb-(I zhT?zdPT5109_7erbIBLx{iPmJ8V`6%Y4jYrT*E`TSCo}cP1$k z9ui(a)5#e;^3y{{7gp?4TIuZKwbBc-&DwtsE3wpu&mZt{Z0;ONpvR4R?L|!^kT_q` zcv;%JdY?vc&f2y2wiJ#|H%^ox&*eGxRa~Um`oNMNx-FsBeZoc-%b2xNTY>?A8A(UT zeCPIlwQ#+Wov6{7Y-$9eMo)U|A&DA`Ye+L7)y;S{9>;&btF#{3AR((fgfJd%G; zh2O|h`RSpzzA+HOY~wjDz3p&Tah6S!5s3z*$l6F!;x%wv$#*@J_X->u!6Ne}zpKVQ zi*j}-4;5dxLir4;sgsY!NUk=5wF5~wA~IpzM9Px{Kh4$v;nJ0Nd&xh*9OFWEPjyR| zeRM^~$OTRa{(h-pLJgoZGr)uHKZbw#y`f&jy(gukZHXv`*zln3sa)VZT@)ALJW07Z z=3yWczMa=?)FeBQ9uda2RP;Qbd%PZ8T(j47(DkKNn3|w1G|VL_q4_haCHe&wBC|ru z@J9=gqOXh+(Z*_SSW=h?^5(G0Nmg+OXrq4XA`7>PH$bQvJ0kg)gs-f_CJBFGPm3iy z20agMB2L0Nm_B*z7Z1njT{hhhE?9=k3Loo#0DOHfYxV_ZdsXGu$UQdlZ!GC1+;J64 zbl$eh7uB6(TJJ;;4E>P(ohqp(f=djKzV8}q%7ly_$y102=Th*^&UQLp6_^zFH65EL znv`><%Rc2F{Vwl?+*B5WoSuI%r{ih3SgckwvBTw&t+zRJxV}l`iU=b{&oqxW{5C22 zM6;bTmEM{_j?_c$h*TTkQ+;{ucJ0?!d#318Tl-@>@~Y=Hh3o>=aS~c+_(yPx+_ZRr z1#DF>WceYF{!$?Gw?28)BI)h4kB@iLaKntL_a!FsAy70R%$O5f^CivlQ(_j(mE9!UIiLA&iLE~skFfQ#?T4>_v_z5I)G7N}!ed*+ zck}#qv7MAMJL$L1hT2k`5WU53+_OzV3=3zTjTjaI*x1)kr1!HRw&Y$pcpY^b6p5}>hZuIJ#|4|#%*OXOSI(YBy`jPpqyf3B z-Scw`0al}I$sBg@<7vQOog9@eJRj;Lv5r9jr=N(nTDNMze*yioqlyCF>ex7_Mw^kW zhUkuWNkk`EQ?ASE^cK6jU$_)>^bnmxB44~&xqX-6j&WEurb&O3Ex*ZGl&shp8lYR0 zb$vgB*talBOz8ym<`THiLeLs(uy-+U27ZnI?&V-?{@bq+CZ&EpXAgx&5`7#}ku#H~ z{N}Ui;ylO7@EYr?%ZsPOjJl-z*I?h}A>82Xk_JzU13_3^#%$Ue+f1&$VuWtZFZ;t8 zbHBele&qd*?7M$gQ}JkH!#Ma)zvfvS?uCSfTQf+cO{jqH}H zhWF>`*S>R=$C(#ruX@pFu2rd5%+G!Y`sa_GRuq3IBJ|_KPo60c@u_X&rFfva!06U`~T|B}*_{dtyzX z@u6_rT&7iL!H9(u_^i_zHrE-PXvg*X>KH{-KzX|pO)P2{-0=Q3;WatURfTUyagmRb zh{5fYosxeDTM`qccqlxQRTi3xcnuXx^JX+JkFm?KK(lS(t!U-3<(^P>-j z@sd&bgs%@9ctHqMde>p~N<;JBW=ViHd~mIPF4}*Pn~;HK%+^p79%*$|k^hI=+F^eO*1>k;2XF9I{-*|y!gTI#6f0f(xvrlN2g!xN4^zdVL_rdc08 z9+q332SuhZ6|Ng2`M=9@)n!&6xgA$rh{YbST~*+d%<=7HHo~5-`i^FEsn4?-sp<7A z?N@)&FGxG!CxsxkK<`AgAjpw^44#gZy2v*>aj#;8i}@3}ss|;5E}R<;c{+{}py5)q zDm+8+m^ja<-2MkDm~^>`f-wjn8{KoU$WJ>}9ooz%?=Fz*P;Pa)) z5PpihX;A!XE>A@(8k_fwU}7Kfhw>-tD9e9xWKp+pNdtunXVO9rvOc{1xbyQ56_fx>T5#)z(FY&(BB zTaiy4UFfSn>G;m{t(=prIN%}z@A3%BMbft@DuD3nw9|#aVyCWe4%)cGG;}tXWdeoLSaT#()jQUSa&&*SZv&3=Aeds#0G^(X=D&b5VK}UG(gft1m1us`>-Z#x5w+ zjYSJI1)#E|PF`PrhLhU#n@8neNv7hu%s-$}BRPa7kv8Dk$491%q|x?U-4B181uf=7 z#9z=c94mif%(y+v|82|Y1c@}`(c7#6HddXBV7v@U8> zP+GUE%n_fei|r(UIV}DBq%&Od?FLp0i`nsee~`16?7NciZ$~=)QQ0NJ1og4p5a&b} zC}mL2n%5GpXm-EOR;=k@5siP>I$}GCh5c!vnqA4yf@M~M3}T`m7&zxeb3t}@z%EO&V5%L~_*m0$lMhTP(`{DdbjNqH&$#!hxWV+>u1_$x2PLkC7h z(=xhXm&W48$Hv<7IPn+oX{sw=}D##KFjx`-Tc)w9=Ya)ivn?UUW?5dXI+kqL145;wKX_X${ z9Dya)+F>e^K=*|2t6@LFr_mShJdu5sT2{%E^8p=A`PJk3YDK)?+nQ_qs^2?|z zF0jL{JShbK+OB_akxjFz8b?SH<|+JDM<^jkdxIB%3;{rW*N&R|c!G zh+uo|dEM~)y*-mi+L=iUYH66Blsd=G(rrrHVs9s0=(v9g1NxWwgx3JZ-wYyN{EGq9 z=)wV?t_0pYhDTBFF6EhD>t!d2WOKT-Cxi`pjNBaTUeE%IKcGF*PN#rk%6(MSCa1}b zL^dp5;>{KI(S|qb?(moumN}WryrN5NW_UjO*N*vHB00<7J1kFGrsDMF z#SF6@QE!$vc}%H#JWJ93I_a-?%_?S%a`FLuLCnz2DE-(`uT=?_I;7c1Q!^nf{Qv~n9|VnTw{CO>sz)c* zu7N5eGOC)ieL@7xceL2CaEBSTlhL96^YvMh?)PV0b`GWx zwG88Rl&tvtMtsU_KhN@a0eVOMBw*NXUJ-w4fp*t7zg9&ac!hVnKcwPpS?S^jL7xRk z(4U;kl+S5?WV76I(Jy<~?q|5?{MPVw$gAaK8Y^w8-u@{cJ&ld)8he{f#-jk)!Ksr3 z>r6DSql&Q6$4}%4YFi3^`g8K^eMa|pm_eWAD9Z7D7Lth_QSIx@c8wWxpi%v9l5*ra@?1!B+OYoOQVcfMzsnRiX&fL63v z_m-~H7eFs8u4vcO&jXM^ZjUm{z&EX*qmhD;>A}VyPK2grOQ7YVZ)PBZR&hbeRITAo zq*lFe>Bn;T5ijFQp{2B6g}JYpx+s6|g(05`Y1+*&2sN}9h$xK4v>>$LvGCXHF^_;Bc*NQrcsH$CANp}MTVi3zDc|sHui=bfX@YPZpgOJWqCUV2!gPQ1 zwMvT1pu!awk8tXJCUhS_q@|Hdh2sgOVI)vc;PCzCW2PvqR^co;q;+g+lm&ma;aw;y z!uqWG>4D2h7L&|IvRnwG)lkrT_I8owrfrXo71*YxJGF{YsV0;rb1s>A5@g98GK^WDt^PXf zBN(#l?xw>u32j8$T1Ano^avVJN3}Jv_@Efvt?=s;m$*Q&u1@-Ay{pLA=t%QH?Inf>`(_?+4 zaY(9cEQ3yzkGJQaal4jtm`P13n~{Dl&>*ySHVYTnRfo}hSQ>_${2GoPAL_Iz1b1?T zCfMxDgsuMNM$uU>Td`lTjWbH}cjm7~^f5mEk5mb$%Gpw>8ab^?w&z-WTcST@niz}) zp8WW6d{PnKTj(iW8cctY0b&|kQ0?{PR=yQ>&$&U`fNuIJnY3B;12OydlXYtYBa+Q zK4R~7FHMlVutA2l-`I&Wqv$Wq1_BPB9Mc($MLN8QgO!0Q^VvHmP$Vv9HXYZ3g_~Dz z7u+0eySwnS+0r+bAS)@YAWbRV{CJ`j&-cF^*7&~+fA4=TPL(?H*#Hh`upb78h1rOs z&_R?5glMM`>AgDo9FyUetIxJ2_k!y^m=Rug&u2?NU+wU)KlzwQo+;gpnbqps#CWT< zM|)hm0=#TJQ2fyUkp*FcXA>rZLPDc!;>!fToYp`|f5}jlT(e=(&buI36E){unE7R+ z<6NA|4!nQ+>o0c13SOp7XoxWy5PXs(sEc3tfg%FjJiCq!B-F@-1q|868<{a*cuUxm zq~c#x!h%MV^mUYSL*%Rju0xpHA71(T65GDQ>TuOAhR&@}b*;V5en1@S6-~FSMxD-g zsoGvo0GY+c6tVwc%wa1TEOyaj+cyrBnU(TCZHj+1pf%U>MCG=ckl?Kj|L$ATUI~1B zo#i4zCe7IsEG7K4SCdQFouFHYm8AG-)ei8}g#~;$`uX}94V)!KF#2(OB+X7z{EX;9 zAs5I^ANI#IYTZ$AL)o6uCXTU59?Hkj@MK?f#2t7(%41)!ipD3r2$WLz!3}Ts;blrw zf2MyV2}q*{h~(Eq5qobc5UG)W+Vu5%?Xj;#eZGHenY;R$E0$jv`xaX>r47kI`D9S3 zSxk#}0^fmHQdhXH#&8${6Y#E3|8!AH26Thza|B7q^V<&Z6)#J=kuQ#x)-yC~s5=7q z(pi?xb~C=>jJHyznazUVSxaI^I?_mBSy!G{3J_NLY=mv9PwF+(TLabhI|+@e#Wa2(U(TX^9X;ak!2ZLxo`Xd>HJ*S5I7C#w-sPCI7cCrnx$Ee%Y`J_lg zE)LC(w>RGN%L%j2Tc3q74&xA3(V7ZIJn4{a&E2<86jIcYZre&(xnrz9KgkJt z4164;wC;BV)%tfCBUJW^kw2-JZkCB|R%KKC$h-NB7{ifo9xai#VByZTu zRpYJ{9UgwBW#B+jtPXQtO zP}jaZPcD$bX$jm#xkwJ|2L%*ULqD+nKj7mzI=5`S0!+~XF_UqkD1WUx*>c-9wD0-~ zKDN^vli0zTPG@Y#Y0|{moUQH6gKX0_Z)M66r6lgx-?M-sNRhJTW)guQma}hwENMlO zCDQ6d8F-jP2z|& zpCwwryO)VJlGYl5Pk)mbdbf#zHPZXUN_^&tHSo+ccmlj!B-R2xz-kK?SJT20V6F_*L0cAOiN(rRpIkJ%_ibl1aC?HH3;7DZ(s8l$m6Kw&9%788)QM1X`A+chHQ`(t_{+gjS#$ zZPD5kv>6Ur1=uW(Ip`@wpgr{v21pU?1mWgrDaeKay-XzXXfm`ChgK^ z#2J*iL@5~1JM=8}EZR9xYz$f&ip^MHSsI*mU>efktben1A_1c?9xzD_6o7>Q6r|5) zpmB-Huo=!Opuh^8MfF)+BNb3!6~LFMaI4YZz?Yy0MvJBjGBWw(*I$$LBuRgtzndrN ztdi!XoxIx4Mrhv6MZ)$*cPRKRfZbzUWP zgZi>qE~X#^AYz!%VelOc8*&DaRedpETu*Vy{b0x*j73o|7a;M~qAV6cPk$?G_T1;m z-w=Z7>7?9~@YEKACyXW7GeYc%@ZOF}WA-4(2)E}G@TWZ))^Up~v=j_o$UOtkJcAwZ zgnyt8E4&2pV=&%Roj$k-U~sU;L!1&Y?u^4VPT;un&{`*9+)K9yVHo-z@xeHx8XSk< zhn!%zku;zc0szu6%P1sU0pl=|;fSVj;bGiC>#6TCWD^$H07*+AJx*e}Q?NX4MF#Af z=Aj`{8msp(lxlpphyjnzd^@> zvuz*?&9Y@FbkS{j@6?+d$ODa^=1KCV-6}&h@uyFq!BB#?GN- zd&uGbecIsTAyVzQ`Cg#IV|*sY-G80wZ0(Lg34(4y?UqeYrnm9TWe^}RTxfJ;ZVj4l zj!K0J7+Z2b?&I8jKVdhwpeu%HAWnIi(Iup#rK-eBcsqF`7G%3%T!EKp|eh3Xjp25evai%v4b8GE6s2xqprNeXbyl z1)%Jmp)WD4DauY|E*j3oKbr^%eKYErA{x+AtoFP(`8* zhC*vQERY6pAany_ehH7DRU(!9T|oqriFdLow6~~QjI#!(C1o&xaX*gk4{I4t+=f(_ zQPo5(k8q9cfL?*u8-EmN(e=4@w&b!{DVVTQc^o&|P`)rE9}2*%Os?1&GC>G^kCHMu zMgztY@KTGRxii2yDi+3OzauIF9EyvmuOt=C(V8G^9=8}Df_OZ#!fWF7yhaO+6&b{1 z(I^mS@vuapjmseJ8%Q7h-hEoCa7_5zf7?BPQZqc-;OiAy{eNX~kvh1Pu3%{8NNJ4G zBpec`Frt`LHF{W8fwXMk%Stivx1`9k**%NOeutX$X(n==` zS&1Oapnu?Mv49L`@5rg+b0zCTu}=+X4fWA_LG1qco>NgRGC_rUq~O*>7){%YSHU66EnJN?@OWo{O^yqxsDX{E6rSfZyM8g`*Db@{ zUVr|ZBOPDP1f_YgT{=oq*welDePUZ;<-i%6m6*A&M~>%rDiF8jgRBp#@1r7Mt6J>5MoUh4v`|Wc=^f03{-JlL1$+6BEz1MuP+bSel=SgTOQ_9 z-k!BUf}Ic0H}(m;BN%~Vz6_w2dF!+k>wlO-tHru@2(#=tM0tQf;lzY|JEfDR13T$hWF2jMp8WdjBz<>#QzYq=d9{38)MtzGW;tI>=zsm? z^crT~ob2x(efs6__~7JEk-^MtdRZr$mmD0-zbAh`k~Vpi(|4mv;+g03B;BviifV~r zc9I@WZ=M$A<<%0xw4J1g2j?D%9KbwVPG{xWeswu3U<3wEmc{i4(8(nI6m~(x10Yw^ z#YwSDeo9~c%*daVutjBf^nW|~?SHp>ar5WvSC5}QMs7ZhF=K!k`hrtf{8A-rnXyRk zy_v}xRs?c2!pk&0Pm8pu&ZqTNdXZkGWjaf%be`T!7ezHIE|%O|;O2CZF4J!v?nSl> z_n!_w?Em$Gxc4K>=Ye_r!uE$SFXbrn%Wv~8GjbPZj$R%eA3q0Xjz(1}HGgoETfAa7 zcqJiQc67%svxpa{0Y`YzE@DNAn3dDT^sFep^Ydz1-ki_BvHChAtj6`w>ZZG7brUVX zse|(JvVA*^X0FTg_GNjK(%0SLo6TkMec2ii!C1eYmfe@j$i5D`uj{4F+hw|{0Q`Ab z-^`}BUDfHGRQL4g?cpJ)?tl2%nCc*qupwsJ-(iUAo*~7_QT6So2kGPVDE&Qsmj02x zOkbxb>AUoO`YHW0{R^CQI=i`=rl;v?v7Dx7>Dm1H8a?;Cn8AAij(eG2E{Z9r037)L z(tpxfQP<$dH|b5WDCg(t%~hFxA^%;aU(;{t_w+XXw<|%riv-^voqxPIVF~&zwohS9 zWIsxPepG-5AiS4BT#a-tIx@K?aeM*(k^3I+JH_y)&z_xpdQQ9_jG2!xO&k;Uzr?YK zdm+?lBzp|Zze}qQQ*x)!{NeSBmv2#_Z^u}I{2DwW%m0f)*Wt|OTm9jXJmLxX#8dK$ z=jn^|82Eez-ti`V8-G0HLjeT}`t|yeJ>(iJy`EO*>9huwm-RpBE)bypDVFOX2Yn83 z=t8r3)jCpHEQ-3UF&EN;;>&6}0}Hyq|7A-5zk;K|*nG7>cPkdxfbDcvL(;suy}2r? z#`Vb5s*9a9WZLWEE8wil z?`b{5?7d8vSBs*+tQI?Y`fsu5ra8G&ntS}_^}CNx$uQ(ds3cDpN$&lRu?w@sE{;Z#ZZrhQ4Z-t`?uiq?O*DZWk7?UX&99KQMZ_ydUUUr098W7#yp{d#{2D^9_-Irg1S7i~4l zy>F_{OO+H4UzZhtsftVb`#wg@ zxc#tVN~I5=DvU3PZLGEZJUdw2W?u`?D;q5Q}V{(XbTubA>5VT%cs`fmK-(NvB?>K{}$+wr=&fUs1hi!Mt$#q!^e58l6g z_sj9g{_zM)K6#|^54-u#>N6E{Bx8<@iO#{Jhv4x5GR1$DT~>CAi2KhD_dk9FRt}Cw zFK0kI8h;^yf9IdeNITm0w3F}1i&Zf%e|7lKJH>|gAAjFJIr-(}$y?wfHzOw$sMa3g zAwg)3KZS_yCdRHN#@H|&m1G^2bmH|2s@i2QW_I};2pUJ#+5Eh$E`g5n;sUl*XGNX- ztz`!|X7_)9AQ4{mkbK@09T2}dUD7KKf*~DD>jGy6?i@R!rr)3-ndy^qQ7@6%#DTV7 zOrw{N<@xfereDYmYHl0){v}}#yAXZsXh&=8LaGS8-yMDLmadOo^|6~6JHD)utKE_J zZ`JzPO&@!gbrWH?55V5L80uqpee6PX(91P?{7ZkTozeGhRr=UBtj^>k*zpHhJ7eFt z*XZGw8+M0@rNu8|)#tn8?_ELkv8y{|?;_bhfcxG#w~yW2;d3Iw{s6=49wz(9-FD<6 zW?k-%eDgTgCt$eu)c*m&dZtW7%g92=yB^S|9(W-NoDsuOh1tv^J#@{q}T&q}S8SqK4vZzQWRb0`Ci~ z>hOo1wEKB^4s{g;uf*}gQ~8jvaud#|Si^tg^YcTX3r>r8qY$1ZJac~Xu@Rp6!*Q5^ z!!q^4g?At5XMMrb+=WB<2B>a$4|G~Pu=mw!IV&sNPFhQ3NJOMI`kgDiHS{-o%O%vl zl4T7=IQ<-(x`99ZNiDxGim&uj+gP_@w`q5);oUEb?@Rj0?!a!@?#{Zq8=@Jv^O1j5 zu1N{}1<--NN3w^+`{LOVliBTOjG=v2;h>jXeABk>}^w@2{1|<0qi7kW1Z{6Kt*Qx+ZVe?#=E%$&mNx*4=eByqj_Bp-`h*KUQv-kFeWyMBQXm7IhP|M}mcF z9bD z%uGZg^#678%i886rczTVG%5b5?BID zp%j)u8I(f>EQb}a5-MR8tbc|zPz7tD8rH#jsCTn6ZLJ1sGxK5}>}Oa<~zt!9}(0?jB-J0%cZWm~k zF1NO8n(Kx`(CgOmS99v$Zs>v`=G4E#Zawo$4ZsKtxeeUa+%ZTn>NYaJ)EJzAlQ0ga zU;-xLG@OC6a2d|IO&-w#Q*Z$;vX{g3PvM$zo9^K!A;@Wv(;%loPJ^5VISq0e zl(@Z`)oo-gO5JXJ(0`Dy24M}t8iX|nYY^5TtU*{~6?+)~UOEV7RJq;$sa1$=5ZfTO z!AVDr+x>Q3t%Z7MfJPvgK`?`02EmLL;G|>jq#ym(y_|Fq(U?2w$F-W{q=W1RXBnMt zPsep(C;KC(!NCWijy=o~;OGKQI;l+rJ@`_RT1VQ0uP3RUx_^TtCbd|n!0RWqUC$u9 zNzWxJF~oyrsMMihh8%4WniyrMkA#54afW<2K~&--!;4hpB~CFU0zqhEk|Cd3keoQf zkdy@RiNx?6m6&2kCPQ~zV5r||`DunkFSM7-47KPCm3jVdP!CI(>b+8N8Lk;N9 zQh$;4&;X5YZ*J->o7_HsQ?$|E}_ZN3mwYh)%s;b?y z*7;R7c{cGt)n?D`&abk?vv==RZT0NObyXdn=WkVQ^Ig2|iK^|M_sy!>;rY}XRh^z+ z8CIoaD^eq#KmWyCqW6imC)%Fqc%tKpW+$4R=yRgai54eXoak<%yNT{5x|`^3qPvOi qCc2yGZlb%X+Vf|#bJ=)#!~O%%_OvLMWvl}q3OP763MC~)PeuxKwNzIC delta 35145 zcmV(`K-0g>+YXM|4zND~0}zVpvqAy&1O#PT$P1G@1}FhElY#mvf3;fMa@)ueefL)| zc>=4JvvVK7sce;1mRw#Xj%%fCs$%&8T8>CqB&Y%bUzCUZdU`InkpqGfl?Thb40~pJ zPM<#A13Xzw@Z{Yqyz~Fr^{byR1fCF%7?*T%eK%1U#Zpd`#0X0oxMPxb?0!Npd zyeu}W)eR=1+HTW4e_j39>gng}U-t||*ZRt#|)9=|j1@8)ScrOV>F{XYm&vWNxnma#EXPk=Y@mscq<*8_? z^ZFCJ(9FF%a~mZ@AjaaS>@+uD!&>6*S{OkXlX@+0{E+@~VUM&P0j>_2f&IrMsRx|} z%`n7eJ;H4%e-AE+CWyrBcw6(V(D$YDPM&&X2JDIiNt_(N)wJ3!^quu7EJ+C!a5j9x zFzb4}S{8mSZjZ&hKF9m15K-#(JOP*`D3JhF*o)wahYr9{m*#i&$EgG7rz)R)zMakh z6ndWJi&7Wvi>n8K{=z|a1K-EdT>Ch@n8qwhSF3V4e}&lGREy;}n0tZwJTPDVaA02Q z(!v;y!bjM7v2YOz#KXlHZqxj+*;%#r7M$tg$IO2YP_!@3zh~vlQNmB|lX>Q6U1vU` zJ5gpn|LV@>7HpW~F(bB_gZ6=7Cx}yaTCi{YCOYZh)}nQyVgyJU^~)k#xNy!&!+#V< zXNDRWe@UX>&6(?>=8FY*aC>jv5()<*V!r7382|Hsoz=zj9BabM@LXS9&%JCZBjfcYusA;hINK85B`Wr zf6pI-f)U6G2*(hKNuxNabt84U@$CkX0Oa~~t$2!13kr`Iskj;UJq=`()2-6# zu1>UTV-;xgaI$5}OZijONLgg}F6FZx^mn%t18qpsZU>}R9R2c(`# z{CL_*eWLl`iV~n_Ij$HTthP?9!Pbor4j-IUNHKm=f!=uZHnlPU${&~?h^ur`iC_Z` zI=c9kt)*o21=NG(xOx4;7gavNf7n6k3clRB*Ox}k+Ywtc8uX6dy7vxK>uo5CC^cJe zBJEED!b*sSD;zJ|GTqGct*Ls3qy=I8AZ=RZiGf>t8fI7x#~mRuAmN++Wcd!>?dgQr zgo6U*yZW*p3Eb9kVaj|AXq0ZD2?(Qx89)P&rnN=u=GK`m^dHOI6@XItf1*~(X5CYU zqoVdOB$@8AVv2Cv8+hx+$YckqqHQp=TA*(UIJd2i@{k?CN>5S{H>khaxNFA4&}^!! zjQSHx;PRGY@&kRsZqUXIu~_!S+IwKQw9LLb|EcIA`~Fbn_vP%(Y5`6pQIVC)b>&xN z9Pu|3Ub#W?BCT|>*E1NEe~QF5HJ(Emro0S=WRti45mw?!t0LQ@?Az$cx-Y>D3nACU z^m)ie3{_<_;>(wCS=kX0AHrE0bo%Z>BmgNJT@K9`we-YD*Ewftk&iAsm z&eu9$=)(>W;ADJSbL)Mcm07yVworyN-6@cK;pCn$q(r${4C>_zNQ<#U9Mw7P-FtB>@mOp9{3WtEt_l}6kT^aVN* zHoCwUI+fs3RJTW9e^14x#<2SC6~k8}m65=R5_J-k&$6xW6Z@3lw4pAFT3>aqcpCBi z+6^<94{HLbF)4W&@3JRi{y^;uj_Sx6zbv58mUrE%I*f`#lTxHilIs)iiv?{L9y{H> z9z5=XJwwD>+~*-9y$ON5Kx0I{vI0rkolPMDEFL3LQ}T5ne^VvM44*;W$g$dUM$*e^ zCgb>tAO4aDjDZy;Sb)Olj-5RQ>rNz)Y?a@6u+9f{k{Cl&yeI)YgzG>aC%bz(5Y~_* z6RyTnbUYl^`2Z)9w#uw)NS|dpb)nC%*O|W4`L^|wQjxh>@@<`i zVxK91rt)Inf34wnBj9y$mo5uCJ4kzXxd1Bk>LJZ@ozL~!y?4uL3zfcBrcg&FadYU` zM~T%LiIvSkr^wYaUAxG+Z>~L~US60_-#yK#{+`P8jTYLK$W#Et==cq9kuB=<`Jq~` zb>Y;>>z%#G-R_L-8G|n%eyET0{~X>wu}#*Qv}9_3fAD9!9)U1qy3WVV8Qws(yL12M z(FVJ$`+>mOu6tJ0H{b5P{XxB>vL4;mO~admYDDqp?9HF;Z?1h0G{BDQ-n(0Nzxp&ikHVttWWn344*Z@fW7VNOvNSxLT@VU?}T;WopgB&-wP^YUaSvrpj#K zR*+bwe;y2|Jx4Q%ZF&1_PhYs5mcDBOaZwuF9E}-!^Qh{Z$9DUR!o`re1fipCrj65} zb)$ICS$xP@M0EQvW6l!N-d#T1S(k;b9`C0@Myczi)!uLqDM)2;dE`S1^=~up+&lA} zfD2~=`ClGsr*?XsPO9#cLB3CCzJF6cS~K8De;ju&6t2fQl;D?Gy-bHPTxv*x5Fx!bd$pXAGP(?E-rA zm?=uwX%Af3UZRDhODC>u=WQ3^O0Tnd2MhIwL-!6aJ(BH3__uIVir~Gg2Y;Bq)u|ui ze{JFE+1wi$+ADSmC?Ct>7~o?x!gDF*t$U6mkai?-kUBc+7?g(ZX((a66Avs&w9h-( z=WuHNpJ(%QJl!*j;uDh4y1{C=rK$T>!?ddM6 zx`rgg0NpQ1&ylft!N(gfkZCm`iS7`O=jGPS>PDVZVaQ>drh2upUPzt&>?{Ic(+-*H}?Gc)&Br4@_{3RJrRdJ z5dpV75dys!5H>kE3NK7$ZfA68G9WoOHJ1U$0Tl%?FgP|elVMgTe~q^VP+Zv-E{qf0 z-5Pgk+}+(nfB+3N+BDF(26y-18eD>FAi)WQ;F91D2@)(w;E|cRGjs3%SG`wVb^3hY zlD*d6-`Z7&kycxeQ^wla60GP9b>{?f@rVNCG<1Qy03IGbE*>6UbVf#fdv^%fP$hxAyFP4051=Z$bTH2VWI$e zkf*&hK!XdQ>I?K-rWwM3w8s; zJi*q0-wgvaK~CU5JL5uU1nAq@yZy=QIor5M+Oae$tR zIzY<>4E@tt{Z9uDz+Za<0CEBUPWM;z??m>{KY~G4R?bc?AgGT$)D~c44*>(T6xF%h zz1=wgAgJ|ke@76+&G{)Fn7xa;8<(3st=s{YU|V}A`ajv9Xt2$n`04Or z_TB&!o+s@A0X)Bdf4{wal9#nJ6yo!b`yc1at);0Uqo=|CXUBirWM!Sb0e+l(`~Xf~ z0U$s`e^?kGB)|g*`0p&*Ap5_n;Q1$11#06A5c#v%r(OC_!JdDeKg(aU!3y~AT$;{L zq6Gt3{?WK8j{uL=(*yYbtn@!Z{{IC2JInt~hneLM`~SxbaMSZcmE*!vuaBoc~@@0cz!J{d>ZA z1q1;g7!2ft&hsQBUI77sAMj}ut-;=ZXc)lF1$B0R3IRN|7XYwvhN1sHQ9%I!x6E(q ze-9)i1mM>A8;Lw2&_757z-{$665s`J+c@c0)Le+F=S{sVcRs_^+|@h77%81`rMf1Q(+2kfa- z_dh1-=@9>e|F{;xU~jM$`qI3!l~|ZVV_5gk1{n%3&Ye#ZGmJaWvsgL(mS8;|x7euZ zto6AeYp^Ss^wAHvU$+!kE~S@ge)%1BG^0j#rs{Ov`QMu->rU--p)YdSb<{Ep6Uy`UP#ebqE) zyg{64aQQ4_k!9W-DIJPCC)G1H{8Mk7*~_aL{DR3x8r5WW^nh>id}V&d>%0j!bG|Dz z`n+y^WDI1+q*REP_~TPdezN-+f2t%4eidbFu<^_};+}~Or!*jBpT&1aQ}-wA;D;F# zNJSvYXkq!!E@_736-0Z>*z7}naVe^-bJ4YC-IraNpgI?%AqXrMR2&)XL z9%brl3x#v>O3{>26BBOQe-I)!COn9hK5vN1ui{5;s756`utXG}Kd=38KJo7S=r=s2G`#fAOgHrF%QlRxtvx zmbAv@f8*wIDGfC1LA$+;PmW7dh<#^r?zr;wVpBCPXjmh@h>y0#9ee)L zp0Nv}7YC})Ynku3t(0~Rj3{2)dNlNJeJ8eDclg5YjuP?nF*T*=^bV`QNxPcWoB4Jt zk%?E(&%(uK-VP_46h&pl}7cXX_qEy%{lfNfAw1_!|aM_67T68Bk-{m zg^T^0F*VHhuW=4Cg}#1}(#c{X&f!NGFdmp?&3q_jCy#d08DJ(55!_f*5ke^j3GXn= z=ORqe(HQZRoQ<_-->@G}TCcp6J;)%O#*!LNu`LJrw4TVkX`C|KZmY6DNxT#x&KBT0 zuuo?XjeDnxf9ze4Df+%-_v_@zivZodN!#Hak-+-T2kr+DgIgkB+Nzh#kua${DK;CL zwV(b;b5~O=#R?Zn?}vJ&k-ISQppH3#zWdtofg^sv}JX z&``Q+2(zgSqWdL&A^V)flL}lCxul)8>lPSXxBnnue;VfL?yMk43SrLRT+gX&6edWY za#wkj@n#z@Vc4MkYD=SwNU9v92S-^gru*Iy?z_Qy&^IYs$eVbLrJ5;TTLP{9FI=Hypis*2TEVWDgGrLmo3EyXKQ_Pr@x zU-HjMf0^y4jxs2Hw3?_}E8fQ*t$@tF+DH|gw#yboHbLWET5I`SkVH*myzXgmk-Z7& z*7j#)H5_iob~^1`sLrFp$CqI02BGiO5MQV!^t)w+nNyXFH>SKs_DOiPMDFjW8&VuE zIMAFwmMNQ=DCD4WO^zB&5*aj-#hXd~s|iFHe|=xhi20Z$EyRx@{Rl^N$j_2O+07*Z ze+-zQvB;mcV|J;T-eUJo_na^ah-j3G9mi9e=fjhy63q-TYfWq^nkh(PW9r~Pb6JFK zddJ^y2!Ii(3lq)kaB>`_&-Bd46Lx6iAZBJL;{nU9oUS6$ol|Sz$5k}xw_Oi!Pz&4q ze`CBfVqmFOgd%I&L@e9+;*P>ysP$s$RYJqc+^HpP{F%DT%A{Qa?`mg)Q08|GT8I`n z6e;~D*uI9wg&`8u#DHjaT%xf_LpAjvgu>CveZ?+%OO_@QbAo&7j?e;Zt_WjCoRGyFQcsaw*l9ACts{DS8-8z1+oOvCpO*6~D!Ya4tPmx*cUxq)kVLO;P~Muraj~B~ z#gd`n*6?gNqRPxYgFnDd0Gzz4tQiFxP_9)eTO1sIflm&FJ$koR#@ybu^eY z);U>JeE-6Fg(Zwle>DH6bG)@hRB^G4#;vwxSX=}rv@|*LpxzxR=8$F>+sUd^;|ocz#F+Ji6Zu>U!1A;wU+o=7N_GC}Kx19E!KlGoqQ@N0kfAA1Z00`ke8HKCj<0Y#J8LP|F zflAUZY<5+E6_ir54(|QTqr#%xEO9FNN<{_Bs3>q_ErKz_NMw;&SmL4VMU9oPE5OfO z@BBrF;Exhf&9CaaM0$68`&Hi2BE1=Eh2epfG<%ISU1Xv&_)!epURsLTCc{(5bE=E( z#a(j~f7LA4jk^$l7BimVh;DrbdfyDE{TSJ{NJcU2OFv^$P(UaMmTI-aCB>fqNr)-; zC3E<-kWeG1#qbgXQhlw4=NjrE)giHeQ#g~`K-?$HIzc1a0b6>g^<<<;su$jNSTK|& z%z7yy(|OjJ=DOTG{9BqcFZP!BN>>#cLeyKze_^cmI0)2{-Wo|Ny=Le=7qun~*7Ev? z#`Cy0nA80Z18wUesrLR_Tzd*4UY2?Yoo<7&sJ=-X^VuWKv@O}Zwx|Rwd6R7HDxL{Bt%GT1th*d ze>d}<7-vED4sITJT+UZ`Mcwdz*dNRlNe>baJTgi+8^sV9G>q5rxEKe*LesvyJCIo`sv^VL63;Z z<}0B6dP*h&O9?w7kGDrVz_sug5TE&+$tp07`9^jsXQ7s797&yA%>^Z6d(_aHwd>qu+sp_T z3BQOLbDWXaJhRFZk}MyaJ)ZZ>l==GS=#MvV8LDV()!VSGm4pd?AVM9t+N)bO6VJ@m z6`1hk^r~aq(ZE?ue~h|0&j5xP7Qex?kCfUj4pEi02`?neJEGEkgMe!9x2;Uy%x{Om z5)NNTVLKSujV}C-b3S3=FuZ4iQ2HlJz_%RI`{-R_{ah4%42{g(Fzwp6Ar>btvr$DB zzHxpJ%sIJH-k8xRMC{oq=pRYMkHy^=QbaVfm)?)BK~$8fe+pOJ^7u>uZ#^7ghgOsiRil+ODCG) zg^mv)mWLJE3%Rsa^R}jk=%`mW2{o3w^kKCTTTAb;>b`vcXeYI7;uP*8MgPsaB$I~& z$!k~2*|+IOe@@%iXDXW>nzG6`%-`UfP7_E54WCyL#nBoG&VsXzy3V;@1-Sk6naIoj z&hjNd1Q`9jho^7bZ7C~i0Oi^PIePbkWUs+(xI_udC(5*xMDB+wTp?>P(^{XCMl>S@ z(pKSkFKV_al1%UW&*MLYT;ysBOVrEp%T#4McrLH-e=c)$18+*49tFih6Kc^swKrJ_ zl6z3tDFXsv8PMwD6l^kXICf(;KB}?<5uoLD% zSiEN&8pXb5LznwiizjOTQmQidcf7zOC5uRKCim%jeU;e5l9DB}t;+38ZZgDBbwm)k?D3^$cyUZ-3xf0MPu z1C^Ewu9dxGHecX$ALutuOjnP>yCreW;UI`e=$Rg(_iE{x8t;kp-P+lmQB3wEw^4H!pH{%35{`) z03#}sFS>jiw=%r!nxWQ5beo=Vih^hgmnkMETsTFaW{fp8L*yx_wm$69*pU*&mH5-( zpQ`Oi3QWgx39zVb+!D=5vZF?Xvh#QO%t==ets>_oe3qR%HhDqQ-ko-de^x`qX>pGi zmmZy#d^V9xTUO5LUwNr(r~wm1vu40^h`+A(ssoc3bk@dyXJO>B;JW&O<=&TyZb5oB z@+vBS|Ef6=3f!>+;6Qz+zJPV})`RGwH%{Axt6B{R4@(iGULU-)JlHgce_}hrd0WNg zy?!(-nSC!(qx`{DxPf=He{>R$@2vRKj~@%K=5j8IL%D+WvQgMaNTiu?dSa4I2c};3 zaxl@ehI1;so!M_XxJVKu z+i=PIgq!1e&s!)EiG}^Blbz%Y7Td(yble{(w(?BsVvN_S@bMgmf3lnXUm)u6(~RuO zi4z%vCl`-NoVRyw<-^@WbaP(_&m3)(KQ`%ZH5gJUg`QEElSY&AjJs|flUu&IB*E~c zNSN9qRgNVoA`>;3^0L_tg2Bsg3Tv_L;$!zLq<`UV}h+&ULm%5=v%q8oqTMz zgQqCTe0Wp3)iD#7e{HuZC|G3P&asZdbLo|`{9{()^}&%O~x{fA&!Id@w)mFZLtdQEKyT zSOJKY2HI@3r!t>9zB58{GK@~H@9X!KQ~y>f_E_$gQ_1|fxBqMNd9&;@nh0uWv81`u zOcooZ7DlQr6qQ%G>U#Q1JKsW%SbVSQ`yl2aUf+^YC8QkuL?5ALXkpT@M-zkFcGp=b zlO8i_JgT$#f4f}#ntXqIZ-qP1vH28f@W>;f53o6^74&n!%miXgYKuTnu#xNTsFG~G z>T4W9kOY6@hn$;Z6SI2;rhgkdzg|!f_s~RdS8o6f11IGhMOUnrigrvo4k7)Q@tNG#F)# zRp&@L_V_uRq6W8c$g+u?_V6q;Vy`&1!6B2X#_l~3rt-e$C}p%M>@^d?y@&$Np06go z-8qaEUbL{bXppNyz!U?yVpZnjWThAM<8K+re_08anqm!RT>&hyl`E-o1c7=otXApQ zKf~&MOL|zItHphR1|1KI@;Q;F4&~cA{fadz1x}JrsbCOw4zFXpnUPuF{aluqrxQ@N z9r|`AI)$TqI}Zy2YcNp$r0RWJXaWGL|w`VeI@~einT-62ZU{hR2HZlXNn#&X75yqeu2uLxm4{ z9#KB{lxZw9M15^~Cqf;R+o0s$|G*Jas?u`7OPUs~hMs^=9K z$G*E+r0_;?%R5tnAsY%lisKm>#eTyhf6J;mejzD5cC0i@_Z?$p^K)aR(Z{z;R=U)I zj3|POobSljSNzZ5m(=3s1?YP?z7~59VP(74V;LTHds)nSl}~@3*Ikbic1wM%9bOEj z(@x{Z_+_U(SCQZTaJ8_~tK@%hLK6R8Yf$_c4J2_+(}u?=IR6Y1WU%h#h4RZUf4D$u zzj@pLnVNWa$CpDv9SfbfI^N2*8&($6BdeL&HDpY|bjiD@o3F?#UAj$eR%#)&0^Sr9 zQC$y3cfTsCm;TK#yU++T^gb+2U+uz>#>x zC%PiJBj*t$OyuMTtpI`_TS!SCa1)l~7R`+6y1%$kDCK$2UF+zG#1g*It%wQZa9S93 zTTYXs7)*YgsT1YTe+DO433|DZRUkR(&?897W^}onym#t*)I^@Y(E{!YY_M zyuxmb?Phd1@wj1C$|=2dpGfWO-pTTG=am8#rlldimrSk<4}jXS@Mz@YvrWWh^+?46 zXWyk-^&Yw1n@+=HF9`BI&Bn@2uOBG^d;h+{d6PxiT)m6Zf9(ysf{Lnb60;jttD)Mk zJ3-(HLuRKgwjHD{L6H9~#PwS{e2(V1uEH4fXT&x!hknUcxW4D!<#%!5#<62SKRgLCI&+H~svtUsh| zEK#NT+Zdfbe<{a`zCZkN*{o^GJpOC#2g07pJEXg>erk~}f%$#in^ALuA!?mT1`9c6 zj0z%bFLk#|O{p52#;xfUOWXX8eHm6?t%p8y5U>b!B#V#f*`3$@bk~df$!*HCa`yK5 zJJG_ntGd&V z+f;2kH54?3i-=`{p>XujurVgb-%bw10dMF?Frl)@7@hA5sVd<%rXuAP6CFOH>;Qi; zH>;@wqITU^N*kEy!oOfj}i4rO=Q44UWPzZKk9xAlimf zrm&~^r3a18uKT)DgtFz8@?Jdo$O!c^c8sG3l89(Wko4_#mzu5Mz9iRl-(Ij974J2) zuWo@f6}(=5U(M;6zM1=ZxtzU^Z~WxpD@$h{e^IJ@3a#SHja<-Rf^C&e2*nC+HTS#x z3E|5QD`i3oo0EZT#IXcG(w8)-ibCxb3!TdNFrio}iyCis1)L8_?Qm-JNb&mUvM+^M z_VgD5Kiw^kiMlKT+>CL7JaN>c6IP~E@O!C40*U+Pv%ZJAARoLAov%YeeMsC6mLHBS zf9_D3tMjEe+-8O}ZV5lEB2!RTI?8&02pV5>l-#o+X>q%;SR(Q0eu?93eNKSW*tl+aQNGy&0LV@ zVdlGAJ%&cdvdB{c4KLZ1=(ugp!e^Zoe}0wBv^-1^C^;YRO0JC~T%m4}ORb5bkfDRg z4aV4S@_54sp4Fu^d1n}K=I`z~?q-{vU7csyKbZk^lo_14=5g8Qfe$3DmKTONI{kbS zmRx%;)%*eF3?FPbKVIsZQZ_b8wu%LhiE^q*yD72M?E&r3I}dA#?)w7EC~P*`e<`iO z-BDyp8OIBCs1H8qvt|?Ag&xTW$}lC;5|THg_w{7#i^1drj0^Z0H(W)#i3sMAOCv6j zzAuRz5|5P>97&FGCa1qjC6UphGSrjkcBOK>U(4=4i%W!;R`FlJt8+b21j9qL5AQ#puSU& zuP@=lc?W_HMLm@hep$l}70-2*g1P&nZoalGa+leqh+Jzpp6F&PFc|l0h7g%hQBw8l zX9&}jlWBe<+(k;vD(zq)BCJMfK*}?!5&P?5!P>~u`{U1WaaW@!kjp|Ze~*shDk%sG zPMiduSAPkN=DOa~)G#uv^cAH!S(ySX57K0%IW+d^)p zgR1DWe2UGBQt!->@kE6*CEU0f)We?zmwP?j_&ys;0~)BWytmSWUP-qU2bhJ^OwSh< zUf8xwnhJRkf~=*;xg8NR`%*Sju{5Q4j90e16;>ie-(9=7F82UhwfSCH=^PJ>)wtfs-=v8dEj!#&Mb@BNQInA{*&^pHvu{Fo=r zvXCYy#@ObBTP)&cJJ)e+%j9k#@k9k2~)7l2QVKVdMDJd3GhH7d_-wzk~R6&n*<)}OJkCi-LtT(Np zQQ5cRT}6T*68SEf5*>UrTT!=YR!nn^z6N1t2(Hu&xAM{af8*hG-|Ov%?%cgG%pzJr*0y(`GanDtwvRfD*w zK9gkhtm>#oe}QMWZ9Du=(YO5!^a?WU@x*NOci!#7Zyr~h=HMmD z$6w6c?N(^fAQt3CzdJNNGd^oR5!u(L4XH4vsauiitm6~3j+<>dLY)duBA3CQ_3S@^ zNw*Oa@eL$Wg;fBu`3E(V9Oun1Q9#kXp$$P<^+ zM1rWXSA2BLlA+tJ9eSGg7KMVQ0UEpEP8kDj3~5_E-Ph1t5kHhERQpx(QRefybIWTO zeV_TU;kqbq`R9@#AD!i5iu%2iB-)nN_kutjh5#AqcWao~o~S!6w<}Tfcy9w^Q-%9^ z(haEhe@m$wC58_NV~`1`tI#~_J{~?#Y!%vB&moXl5X&Iwhqau(j2!&sEv5lpdlidz zx=^So_k0dhw_Cj6vkL-itj+^?%YCb;K*)lh8x2>k8NQ9KxhjswA*!m7g18}v25s8J zz0Cc5zV&Fg=H%iGeJ+eAU8xc0)0)X*GPvc3e=&5bJ&;9%x&~mm#FE24cah9X0atrj zc4>-4vOBQ?;^=shHlmj=)gOY_wOLUrG(k!;VZu8->^TjSdS`{5_ieE{*ahO@b)ph( zC3NcGzvLVCzz6sG7^llhFn^4;IMBVeZ*Q@O0Tl!_ zF)}cdVOA%9jkje~n`_esin~LhMT1j3xVyW%76Jr!El?Z^#ob+sOM&8AoZ{{-#ofxu z-mi4O-#I_d%34XTnQQc(xu1lZTt%Hp)ZF0%NXo(9l?lkq$_EfvR96?%0kQ&ES=pIc zS=msisWrf^wxB;66lyJyvkTb4p6?$Vac7XJD?}!LVd@H@DmvH$_ILl)Zz|~Ud~`kD_2OQ|9l0|nY{-9d3m`R z|27AR+JT(GW~TN4MN?NRkR2qVnW-&6-N6hDa`pNj7jyzvuC9)JEG!-#9?Yh8F3b+j zmO}4;837((S1W)T$OYu=4l)P)RW?A$)DHCD;+RpW0UB0dmw&0$9V}cuOr1dhh`<(X z2C{d77`fS-gPZ}7_yBcT1%R?6$o^ksg?|wk0sn3f0LTpdue*O+|K$j5|F^NJnVEx~ zqp7_Y*xnLg0k#DJl%*7yT|HeH0jBome-TZ8ZCxB7_NMNpU|Z7<5W?Tdn*yXnRRN}u z8vk9PiVooDeiC43kQt=&UM&ATVjFu0 z4||_K*aB>CZt+(s=5CHGn)YBPH;}BvzgZ9w${(2}$Q8iJ%F4>a$^`&90YIK+RxE#i z1<~+w1pTc9{w0Rg;p^k*;0UmQlmhYvTYw-RC_XNx?jV4xvm40Q=bwuIMJPZZz#MGm z3itrB1lyzh@eUD#EdGTdQ{W8t1n9Fuh7br~{pdu%^RNPZ|JRd>Dfr)+{KHn(-ogRE`>%u{ zo%&DG?*EXqd%*wtQgVPyFbF{RXW$K3Ia$phZ@~ZGWB<3w|JStt<>mj!!2jQz zq}*(6|7Otrhw}eonA(ADz5dOC%&?m)WFHhAAX{Pof2rD_f32~YgRS}h)ycYlnnJch z)ZWtezpVtjNP#^;<|<%UGpm0M&A;TDf32J?*dCi`j_Z`Ux*99BK8My16aiWARYjV#2>^9V3GVU;${V~Nc}-T z0E_e=#13GQ{evL!N3Df<#dMFXCYXu&Dh(5TELQ5C?!o;}3#F(ENiS z5w!jwNCfTwB3=kG{evL&efWbQ(arvgI3YSS2V2M?{YS#V@t4HT?vMR{U#G`n{s*!_ zyqkkT&L9`az4wO%=?&W|LFf>JGeRj!yZDg z{0D^OY4s;-NN=pX9IZh1|6o95;D10!+BW}ykjicU0U>R%`vW0&4a+}VLGCvehd;p} zT*!0qA8JUlj(^k;TSv%$gUH?%Wbvnd4&c9~&i~UE4oIUMAvcD@KN<{#l=hFpfsi`> zG@A1-1akjJp_~x93*>73V*v5_Cj#VpVsW){2L0o3APKs9IQ+u^(i*paKuBxc{{bQ8 zdi>+~A=dv0#s+ck^$!SXh4)&@SWYzzJ|9+Hzf$>2!`x;Rq52oF50r<1jdmT2W@j@dc*M7+<cf=HPn9Wdm+R0+1d?n8PP%0#mSY61%=9c~H z)R-S>>v|UwJZSKLN~O5vLfVu%x@t-@74V69wSH}>xqkmJsIkj={gyUo%PuBpJIWv; zMJb&^UZCRvCElYNYhz$|a0R=Mq&qS|&OLDVoGR26Tatf}Sb_twT5BaA<2k3q{Wu-R z=Yuq^$gz2U`Jz`#CV#%CGG~TbeYeIXQXG>{uT;;%lS00KL-N-&D|R%po<|j*(W&l@ z2-_m|lNSYH7uW`VsWCC&p@y0FI}b~F(;qAO{J!|`bYZ@NItSLBbR-D|ip|hq&t0lf zI8`2L(ie$ub*8Rw3)7~!Tx7Z5*>zEgbq15B+lZ3R$5s6zO{H0}Glwx3{Sjp-^`&{T zAQw1ivc-viRa-TjXb8IuBW+{LW|iF4$+KC>7fAF;b~RebU*w5Z62X7TT~BR}?j)kt zqcAgF^Dt+^@A_IKPk)oM+XmA-a{EUBgBW1C!d}aR=sY+=a4=`Q8w2~MjU(Vt5`l3S z?lyiJ-0I7}*A6Mgf_G8f2>QH(Z+K$st8;`u z+$$KjiE_8e;T3?Ie~#0%6&c1omccw#ni;DG=n+t(jTEU^KRBNA&La7vv*(~h)I^oZ zjJJ6Umk2nfrZ;g+{18|-YV8Si*mx88GqZ|+6}3Enr>+MrkuMd`Go2M2MS&JOoD%VH zkND|(_QhGnSqkEPT4kUNwO^XlT#xRiL*SEa{CjHdoYT)cWIF!MNc0uoCOhfZ^0ED% zOo<20<)>By=U@#c^IWzBC#up8N8W$g;{t1s{m5n*!QP+?aDqNvPgcGZUuM!GJ?>|J zA=1?`vXlrA7=2g7^!VH3_c=qf?PYx3V1}S8%Lk0+DP3XFDyROaEQH@*537`l-1SlN zw3U;y@z@=Rl8^znHfcQh%Y!@c-(=x67)RN%+4p@%EO|PGP>Q?wO|i4Vll8?r@xnz_ zijus{$0=?bhrrq_^Dc%ZDC8jL1p=0TsODZqRsO+)o<_?_IQ5HRgIWA{%a`~K0-R>w z4mlXE4=NrE_*#w`i$0!aIF`@bQ zI8!P$#~0_az1b-t2M#-2pR|gN=Uz$E0cS_YH~YKM1N?~9XfrpU{de9=6d&D7e=JWJ^1u^${N`Gd|VAV@3Dz2>JtWXZ6BLq`b?o1Az~e{uO#^yC(@iN)A|AlI}3xi!7#Af0h(-nUP0(fytEO@oo4g5mJTes{ws&Qx-#GHtPmo~(9cRwyUBvE)@XaO$M9$3 zuf<-WBf+3&Ey5B4rwPjBb9S_sx0hFRDOrl1^R^Uf+L)s^23Tx@$CB(ail$hjp+&fs z$&QS_Pe!1)ZfAw>8ju_`&A}8(9@i1iX3(89O&1E_q`9X; zH$T~}zfpW&>^bWb{O;1UbvyX|PmdJqWhPiON-x)rOa_awh@eIEe+w%;{Z!(-b!vKA z@}7$3q|~(E8(FAJbjcXovCstZBymUv6SMtw9>r}PM%UJ0tiX#aQJA$8J2-VRvw9^{ zaB@t6+}MwcDE(-Z`8m$*0KTD&=VQIc;1l(XMQym`{BEDKpS34bSX}V>wyIZs-@nW% zWu_F68u;wdyokDUfBE`adEOB^?l{_|&LKo0xY!;kLVJSh~tRN>iP70BQvdFKddXWf+Slk~t}!cA5Vg@qPhPd+aH zRANFwrm4zIu~&?pDi_iKJFhH~a_*ct5(c;DUq5v`Xb;~|f0);4x^m8*i56`5l3XZ9 z8{GB|VH`Gm?38SF0=LW*XhjLASy-Rr zPUmbFa5l{>;R&$g)~7G|H-~>2V^b=dV3*5`2o1aCP@HU}KKJ0KvqeYawvM%$9^zJL zzD1&ydGj8dfBdGZ%2if4_nJ20?!@x+Lp%yFqY;hsW5pTP`hSIglSh^)+|+De!C2L^jaFGjY`KReQx$xS7ee|_~y%^B(oiDR3bNFR<>5@R09 zsJXD*nLdCA!a57GFu9m35+)&zF!;fvdRU?8GZzOOe>6 z%-{1MSrfC)KtEVZc!|-ozI6wK3;m5^+QAPAq#;X@ez^%l=5r$%itR<=$wCz)Ci&8*eyT7^SAAbx@uWD-f5EwCRvwu)4!?B>Q+(-|exTHN=YeaV z^ugd`E@$`o&!oer;8SWsKidpDr~)mf?+NpPJ2GELhSa$QkqO>YX6LX1HSCwm9wNjQ zxOj?^I&x}J)DV2gzGcZWWOyEDv}vY&>UWk=tc|5$mdv4|Ie7h2i<`W%aiBC`PlAB@xL5qU0(e}fxqQ4SU49*<%^8>82gXzUc=2Co`jZH82R zBz{y@f+FEeuIs+GfT}mL!N8*3d6(+EUX|sz%5R1`Ec;+%Ai!wM7Iqs|$#2PNuwC+T zaO`pCrJ3z!VV8@NzgQn=uj2wgN(VcA;P&7pKek*8^4e@jN0 zM;!O&lR|^W>?ooejSts`x{*rS<)HV96$>ArVt?I!bZD+HBRW}(EOYwo_;mASpRZ%# zE+M;iiN{<9q)IX6vFE_b_SF*Dd3NJ|`##yzTuDp}j;e+AS5Kuu8765G(vVG|F<)5x ztx%=*&h!04uL4UtrqXJ{TCRine@XnIB2(msqZz`3(?_`JT+!Or{(U!pG!3YggXK%W zC@H(`yX$f$<|;wXe!7>m)$~A#+k_l8oV@%3L%A99d6MYH%&bMi-3GK8z_Z7T(ICF( zD4M*mxT2^>aIdzS)Ga#yV&xdeVq2)VvG5PHox2A#-Q$tRS8$>48!EbRe=8pgf?B3` zgC7qI3EzM9xu^l|g73``0;CJa$1$406RDg*Z`$o)|a@C(lGFe=h zF^;zLVi<9wmD_*he*K_)pCQzyRV$o00gCig?e;PBiS!Dbi&9)B7T(_zTFkgiAJ8(e$sbBAM9 zqmnu~bcM_m_kmWaoA}n}X{_t;&CBTA5kk|#gxG=3w6%38eWO)igY*xJkt!Rr4zn}u zY}_4IDMg2s8%$yVf1qGh^m_4KD(0@=^8lJwmr76U9Zn8kBn`CxyX9w=@?d*l67TF6 zvjOKcrQHQAAkP|eT_X7~#=zoMFR{4E+%@`1PJXwpCMCQ9eHKaooYZp>7E;I_&vr`oRC4{qB8!e|NzzHv@ul zB51*5*=pf$n1PxC^WMU$C?&l^W?oV%^Q0E#6?2w)1EWr-TFT%#Lnasha0=LMpcJgg zzLuzu)nsB;f8NoKU%__7pW>T1NJT1Klaj(ND9 zZ96DSIzV6$C(((Skub6rU|ivqpG1f2$Dv>4oas1Je`lyWW!bppxbJYP%#h~$GCPq4 zu8zP&Z+PSDGkHxzp5*_|`A{jJqvFO-zwynm#b|V7*j5YjRdQ^fKXp7Fa;)=8cbUHw zjCOPyYnTf4$5Fx-zD)!|+j6zlQlqO_)i)fg7HMASIu$ywv;UUDO;A_t%jX@clOR*Oul9e|Z~T2k*iiMC0|~J@bmr38c60e=A?e z7z`Ytob=DD>XlX1IFX-)%Q%Fx>+l~vF%7l`?na4p-m|RE9t>3 z9_d$pb$Z^p&TWq7CeL?9SLZ33Un%Wf~Kk1YMONc1>*@9v3XCIkQ2k;ySqcW zOoH5-&(<4oq-j1leOlvh-Y?V(6&QM)T5{V*s1Fs_qYN#{PGNk6zK`-9@5D38C)8NS^8nBD+|tzm23 z@)0mUaCH&7&8<@@UKJfg1O$PS1)eH+;q3r)0i5jB)v~`(HiqW z%yKTxbsZhF=%jKY6*ERLwt7ni-0>i1zD8uWeu@2YmsS=ivtDm1eG@Q5d>}B-hYrm& z50lSH^vs}UWm_ZKtW+Hd8fY7;@???c^DL*rLkKa@Yk#~(%V>8r>M#tde~Fwa-nSvY zsiUIF@how;E!0gvIE&lh>+GA}y0OS{d!tQ`O|R!0*%x~POXf8C-}tHJ;due377 z8Fz!YeTM!GH>tJvC^Xx!c!VV0X_{?eLP3|t{Cf$DPp6DaJp-lFvvwQ=7-1=-@uIJB z7{R#p<(makA+l|6f7;{RW&D1z=bMx4{mO+-`C}JnC2mXG`BlM{!R)ueM(oYA+sESq zC$*uGNNy&Qxh2yre`ejNrd@Fu#%X)~nb@U@&vkQ+Y%Z(E-5IZ$Qd=jq4i)Xd*O8i$ zcIsA5# zq~Vy;NSfg<-(9+2osBB!;{Bw#R0r?EZeDPUe`*ZztWGiyw(Z!8z9T#5 z*2Y?q3rtP+&_`p8T8&%u$UJ0oE9h=bN}kJK6M=Hh9zZ?o=^bo>4Pi;eK67$chkLM+ z%BH#zyIA;0xcAJ29@dVkOqM6ap;{Kg_CRoJy(ufL*42r!eQMW0j2f%lt)}8MxgSG4 zc=o=cA(>sGe=*0q8-Xd>voC9k43|tiuXlfEH25@M*`t+xRkwl)Yr`baAj~q8H>4$f z_(%5ckA*-fzViVY|7isD0xW)@J09iFxH4MER;CqA^pwezjL4&K7&VUQDyfZ))O02; zJ1a&v%f8K;nNKKFdL~wB#y&cFYiJ|)sk^h3cIU$Ae*<6gqk@!|G$tFf8-v?amYjiu zt7Lz!rZvzWIG@2cj98#B99HVgTyxIDyK>vEe(#)S7T{8-Az)YHgnbBmp{`u-ZsOv( z-B+zouX|+`L=&qO8(F`!Iy_R`;iDps!2=aXF@J%16o+$INWN)mp>{;c=flRJF}yTd z#1MWAe`=dR_5JlhnZRf>7K`_5dE<}pJ3L=vHaDjmhC%Y9;pR?C)0hG}eU%;7LRe+R+1A={AD`a`X?Uit2XES9k)yV3O* zX_5ML9lBLg#vF0;qpUF{gXLd1^*`*W#NKCE9IZ{eMZ5Kbr{XH$L82)684attvbE18hH}Z{Rst;Az}|c1 ze-n%vP3us)8ey0QwKo%)c1F^T;svT5R@Qc)^4Bg*Bn){a>zVR-lo;+#>5R_QPUizWcc(gIr$$JJ0$-=f3M)}U>g_eWc zm&EMwn(hv4%JX9MDG(hiAF@ahmr&U^=&DR?Pp9u;Qb#P6IlDGcc^~T%i!-oA7O*;6 zgaXCV7`~e-3%m12O!|YTzg>7e7JGbA)EL9neHv$lM{YllTmK&7Z-Usy0fuKae>P&? z>c1{So>$*rFn(lK+hawISxgThz4jY_*hEe~yi9&+VQoz3H)^w!#+3uXXD9S%#p>OY;*=RAZ{? zL1*OwC?wZmm?X>H5M@{Wou!+oD(M$3;SlDFZ}jOW+pW*aSKsX^gZp#_TT)NI$Y9+2 z`N{5|U@G?gI(S^&w#Eolu;~ z5|!X=zhOl;A6*ocHSG7Xd3wA1ctyb$#9ocC&P%!RMoQVCM~b z@s~Ewoe!e|B)H{Kpq1(kCgD^UA)su7!c?|f4t)kQb z#VOqZC6+|oxn>+9D7al|Dt^U`E~WM|#`4o>{36 z%2FXWKj?b)8~4hMA|JnYev8}_Oo08YBbCHB!HWULKa8y4e(}xPOtS32wAJ7|&1ei3 zon{!5M-h6A8O&@MVIyk@h`Z1&oYbxVkX*j5?|#!0YBu zHOevaVoWPS^YBi2d|70PZ5R?WptEvMob@n5S>(T$iE0@ zJzZUgE1YjApml)>%D;9tIL#v5=&*nlQc&c!)%&qR!zQLo%#WyMU_Bi?SYI@bI)ObK zcInZ|dUB4Ee^ka0)+jvWa3C9b*fdQZkhl)7DmAC6 zpDTbQaus4F5)vlZx1xgJf|<)$wB&#xn!(v@Y85dU22`v7wX+ak541s%e$Xf;= zPtFPN$QTzvv-J#OiK7Eg5-M*9qL>htme2=O1p(J`+ zo0jZ4@y%qDhR0vH^Vn)yzIPbb_D5mjbJi~Ke>6|v_+!>2+6_JeOaxmA8IpG<9(tW(D?z&$;JA9Y{}-EqQxH+BcV= z`m6bTS)cBKpH=AkIKSCtZlJMgN0w=%>vjm5&^YtOsT>AhqisKlCRp4Uo#?=}Gc1)7BGDpmoB8M+X2+XrP0i3EwAjn7s;{)RGSoQEQ8yF?dLz5hR9J zf%WV15LD5l;Z{x-@jiJeVewHWh)=L`UtKg6Wxf`t!4k{qHNO)q^gC&zz&>>8FOGz9 z^b|}O^O5Dr92H0_(pESgPC<0nHbmOqe`P9#6)X!>_5LOdE4qDp$$(eeb`Yt`623mQ z&n2pAx0)t^8XbpAE7HsF8IcA;jD{y5iw8Np-v>lN1@<4LMz?Gf#j*HUizOi%;dqHDTjqMuqdv?;D`Q`Ks@^O@^O164j1TtRB`tu`Ae<(m|bxacZ<+v zyvW)Io#q$#dU>G{!>nu`30~kD0)4fKTw==c=S||JMw+U+SEz}Z5}y@;W4aeIM6DcV zp<@vS3!YgWZp#XtdnXUvTh58be-*RO%PY7xbcm&F%EyD7Ij%W8o0=KBkFPwpLywm% zCkavwYB=gbNeAJ5g-u`MNE2QsmQ?U&_+61>Etk7(A@lIOTV^(`(34S7zKPJ z?fSLsXLM4vS6pAw!*hIQiGMC>67T6V8Bu>m_wuy-PL+(rKy7F?X7y<#e?-m@rXV~} z*DHr+$+)4n{3e7qBR&XKh~3N+$DIkI*U(adL@3&ugaWf<4F5`if;yrX36Ouk;M!Pd z2>b?T5L7SOv2FrQ;i}j0C~r>BRtIda@6~r|d0t!GbG* zShMI^ZEi+FRb7~Uq|vb!f8DDY%}+m@g zquj?2gRsVGZ%4_k&G$J0^&@>lfh_1UzNRbZt9yYh&-p}0oT;k{!*FiDpxpRp7vy*i zhf3`UR2|7^<^IbO$~%}Tp^`;Q7nB}O%-;U-I!hiPObCYf!iuvb%tXt8#Yuw6vT%9S zD&<}&`7bKE$VOQgf0sKcB~;5!w!y(nzP=S1xBVYWZ-1Ut(`myD-Vl$LvN}B3orrE! zih?nJn(n0PnQx4}=ycb#w4k|U;h=wXR5l^gU2dk$Va;iqLQ88e)sDOioI$XlsGG3l z1xGTKeLlAX`EGD*q_^R)I%nXG16jPRh)Em^h@tG#Ty!Bf2@WPEwsl``?0^qwz!V^<5Ypfd(w zA0%1l*YWZefBB*}vQXoT+;Lr`!yfAV3891OxiYWRhqVEAKyG>_w?gSN<9=r`&fwN$HarP$ zoE>Y+Om68aajRfNg9lkTTn(A=_hBo`z0N2_io8TSf3ZFdlH2VZ%1;^ZQspMNWdL^@ z`HQ;+F(r)?h1M4mv-fZt1V?~szT)$N2lF2Zb@= z{Oe^hA+-qxPB@2%VXE8Dw$eY0xsl~3FmCW*uLRb2M(dZAEtLiyP;&iRjuv9(A_P@_ za@4QNec|eKNtBcS*NqwRTIlk+p(A>pw}I&*qX<@UpEUA-F+2=R zOI5#qTXX%m44%J(7=$Q2an6kG&jzO%onHv{XOiY`0TpA%JMOkc^ito5Y@)4Fc87}{-WAc;AAh?EW z%%3g1R0S;m@pa88-ri-ma5(4qLh5r|7~h7$xMU?^8;$0Z^(I`J6h+TKi3y*LdG%x{ zV)M=9e8w&F$H*ao&}QkG;Gz3+#HC|Se_0-ss-+z{NeF%maQ<(I2?#gb1h+T6DMRF|ORnv{?e&oeHgLkS$co1o={wn}F3vmnyMK|zs z1BW!cvPykz)GPq&D)1(El;68Me?EAU@JzvM*5$Ffu#V;iBal`eCG!esh8!gF-+(#rp5FY-+Ny;+tiIAOG5tHDy;l^Bas?HFM+F(!2lB?a;jo~c zPtDnh_8$#|+?$L&8^tg3ejCW~-75Q);PJlfNC)t=5fUNnjt=E&nt!wl2%qOa>J;oK znnfZwNRITyn~}rH>L5;|ed>AEngN&F0ff~ZtGHC z*3cD`Xv}(2NCkfcnflF_GkdPBY|aH3^xfFH?+EkQV*`BkwO-hJ{uH-WDyL6_Lf3uV zmsE!F?HhY;l1(z|r+3eqX8=Q=C9?$^MkO zn!7sep9hg10p8NwqFc;uzYUaqxKI(i8Le+60$<$maXZ}qXrOX4ePgX`eLUZ$q91vm z)`Ju>;rMg{o_L)f& z46CWRykbw`6V@e-FJ#NM+#E**vuGb33YQkk{i-m(;IkFOR9_`3R1D5KPNNLj1*Nh_tUk9aMFr>ZZ&WX=}10!kb$exHcxV^1shWyG#h62q1avr;#o$% zr9}&wQ%=z?&{KZc3>2F~w#tsFx<4c*~M4 z#<=SJo;%Ija=P(a=dbPo8dVwAJ5zm#dzb>NfN3k` z^}WZBKGbFfg}F9ltILaG^(^7GtsnE_+X<;Se}dh{R8VmV0Nefv_-WOWNN(aWbnS|? znA%7q(WC-Dr|h3_a}oNv7{NqxNTtDw%f5Z=OukPH81sM}g{)IOtH7I0xXfWA5L4aVl zf3lU4rPz3KeS~9Tr?48u<6*CX@dDxA0wvV#2e$%q6|uD)`z;}aRk^bzLEL4M+Xnu_1|-=m*G8xBQKm%q5NmXKU$+0QwoN}^Z|5M zii>`H&g@vF38v`o;h&;h+ZYtg^t3`^nL8`>wmvaM5nl@tsy|4!eq2v;eU+vTf8lB# zC!zhp+cy${EH@!`Z~G?tA(?JOi$339H+QhON*+%pbn>%8Ja?GH*&dyoj9E*|{$kTQ zMYCjKreR32I^$N1hZ@hBV`u}9PMyg8eEo9C^l)Gdmfl;x$23-vjV|(Pn?c`R$5~xN zoT1rb?9m9yus(O9ie*RfL{4kdf9s7;#^zY;d0{o3JZR;icPqOrA5TUyJHAYQk)-El zZw_Sb2)`GjUL5EVm%rJ7HPXMeS*Ca~n#fX@;JLSZXn&752cdw;*@_Y z0g6B|O3NE#Iat5+``SWdf5n%1Mw~fT4pSw|f&q@HULyl};kNqkm$)Xvu0fIc{K`Hp zsdOy*hV1%}^LSs3r9pJ#vsg|x;_y=@@!q!|+UeKJ>qR3Rl{r8CuAu2yS}UDdeytWp z|K^T2G>ufMc-6~tH~u4FWR17V``YArhu*07(nu!U@&g_$-qq#we<8u|pij2kvlTri z2_Q`8jM_6SrjV0X?$5O}-qAF-X?b(1_rJO>n$X&I(!f zB=G|LMf$S=^w%R)F2V)&dvkfb<*y*bD@58I7fNRxdltpDO0L?nb>%qLq#lM=7x7}D zpnwRLGrj51BU!7&e|O6viGp9OridQ3-%sKwgWh=Goe>Xer3#Wzl3i_3(#l&isrF|& zX#OVFxLo~#vSdM&u-#X^1%3X^eq{aBvZ)JS$`6nCfN*ECxf^8)~fq@RH$dETK z;Rj@Hrs$Y}1n&82>rS(QW_TpZFu;c11_KhET1VQJk|e`?OkMBZvY(Pbpfq_&qt zB(7lRgytMh42`1UI41vBAJPgxAJ%vV^lz};4*LZKS|CncP5C?VvcU8PN;nFVG(T~G z084L+xA1iR*yL86qZ-CA6rcK6V5QkPTe*o?W%Sj^W3IK7(pycr zI&8|GbPbJyf9Cx!$YvbAiIbmlz=MEb=hxX+E!ah@3>XsH@hg{n)nzKSCUf@jx2IZ; z8LPZdf>LG(XToW75pj|cmk6jMT~N0wdLQ);v)g=nl)H>Mg4OZJ=T6UUeD-D@ZXKl6 zly(Pjuhr*%-3}HeFGg!wu4Nmw{jwXEB z;|s);IDda?jz#=Nmt-%ifx^l6u=p!MxwpwUiV^7`Utm5POE6L-r5trUob~)$eksYY z&PrXV?A%uV+VBWPa%VHXPXfS>ij+5}>B7Xe@yt1yIP_w#NwvLB!R$?yOQ8i=N(8Xl ze@prl1&!gwuPn$OkFk87&B4Hjc$Fd^9W=btW@vq^^yF|`8k3sesW954wo2=1=6RV{ z-M28lUovsMGk)v1==rcQW{WEgmZi8$5p5=l8Ak45{4VXyp$W9j79cgj!lbS_<5clKW}!#+cn1!3mPh2BSt=J)8M9nI++#@?Fg%-nBfVa^9Ao0C4Qx`L{aYsFQ^dSGReK2{h?;G_NZv8Q7KAGs+4Yc8>Pq_Ss6rt>! z9N1gKPzeO`oDH0-Qol4vNK`x<$0jW4jZ;>ergm*MX!-_nMz?;N5}XMDf7E;J!f&G* zeQ9ayeeJcDh?&GxrXNM$h-DLD%m$JqFF5KKc&a&0PBeGq2Fi0eI3uSGOMkkdVJ=%TxbDOcO4eujjH8~LL zU5-w>NQN2*d~7ktG(+_y9J*&3l~8RaTmw-8y4AuXUX*O$wWG_je~XF<3wM3*?{Gci1FVoA|P^H)o1q=Bo2pgI%@va}}MqFvQIHO{Xvr`SrU zhqS}U#@1c4VQdzmf0Vv<-Ku-RX~ANr^xQI9UFd$dJUC*o+L7h9mT@5o9*n;BUQeZ0 zL$j%{bGaV{ufthrMiyF(BP6)rJ3|g>Ya?n<(x5 zkNd~83wRLvd2IRq?|EAycyNGpB|q|MS6&zDTY@7f$u$JmfAO1KClcbl&y7i%jkcbq z4Q~~KlBSOiYq|3zL{Khd?n>HxMC%>+&rEOp-r??tTZ&Z`lytx2+3PZy{01xp!}c|t zYXp|UebWmklPt-?gZ#mRo;rYjs*21(v7i+G+`_SLBw$+m(8=>rFTTo0GH}qpTAA$I z-NpNI+us`h1rO69$Hlj?z5-0q0XCBnlPG_!JK1vEHni{l3O=^e8wS@F0qz8xP^oZAXW9Y|RRCQ|fGi3iENB58ms#aJbVB9|pj`=( zIVoU705RI(2vXtPo&r|A06vrmnb&_BrliQc1!@(L;sXFv(qutv9C2B2uu#d6iK0+2 zqy+Rd>`_WV&x0tHLX{Lw?o@%n1h}| z1lm&%VR(;rgK&e!9?Y7e(0dYjGzD6VL#q{Jhp@v)jTQGP zL#~uT4+0!kgZ|N%pa<58rV27LV(-^qv-~8>f1kaXW%;A*r)GKDlxK@-R_~jA^>g;y zZ+kzTEXuNOE+_NzCOep3&gRwP>U!B^|1RfQRWHi<&3yK6dA^)are%NqKiS1}*)$KT zx`9pAqWV(S+4bc6gM)f9{oa&6ucM6kY{YhUH7%=)vi^A+aduw}mRI$c$-J5XJ=sD1 zwXB+DeR(So$v~dg=gUtx)DVo*>8%^1XdX=#Wj#5)`d_e{`m(zGR8}wmQpr|yWy|_J zJDATW-J>5Nx56@7qj{G1ee?mh8)0{m(5}h5?{`%avt^ckFsXpecby8LNGnS9rq`v#t&fF1CJpbmd4yae%MFy2?azA*tX zI9LNAtPn8njKeif;JEY9S|?%LOScbU82TRZ!8oKE90!+1PQdjFNdsCT03aQ+j6$*% zFb*RHj%XSe9>yKCp86Q83c>;#AZZDt$6=%t3YMp>D1d#_J~TvQV>Rs5M&r9hBu10m zf&^GbAW;UTk)eNV6r@z-O-tn57=#I#24oaeKytLkalnPiOCz_A;JbkE14>PKg>nHZ zQ4bEKM%0+#Q700|A)c~!jfWkv6+{=e4z;-68js@RHXVl?M*2cNj3YbXHaOfxty2&- zVrwMLa+|M2(OTQ{uva(;Be$MpDFizYi=6};hXlLT*0+K-1kJXAAQTcNrO-#W`&s+fk0>gzyN9NX`=>}9PR9e`Q`*9!V?)r(lxdmM@ zOapOR#Fj^(w8mC=a*+ZZ*b8td2l@vJCC2hlKv;toG|pj$b_PlvmO=$oo%p~d-eNR& z9v5=ovw&i}fE6C2Eh83!otUYh))km;m~xx+hg^R_8jC>LJ7ZsBSce)h?%>f@4n#3z zsdgk#h>kl~t9gZ{Jf;n`q?>e>WyO7NV{&$sh!x2b(h$%U!xVZ?@R*ERdId_=Vaw7M zP}BoS1;r0sj^altV&cRs45UJS!{d~tNQ)~i2ihViiX22IBro(`xuQI6;n-7f!yH;g zDHDJ4xTh3|5^B>Vq#aA?4Z;itS%(k{PLR0X7MK*3_7oizW^*UVq$xKQc&y#0Q`x?a zeV+L*Z2|ujh!d&>N12@Z#g>0ibY#eLfp)uT3je_&3y5r=o6v41rTZ5`%N`tI)@FzQ zaE+x?8uz&E;n49DqTa%40UDU^ZNU>bG6R1V83r!YKDr^`2~>kAL&X9r0uJh{))-Wp zwdiMH6X+m3;Rkx)gV4TeH%dn}L!a3FRgVt$E_s8u4B z`+Y$~l8JY+DYUnwT1>MBrzK@DfN?*K?)PgMPTIy)S5VbNEst=G4d;23hjkQa(e;11 zcDCfQSSgseQh6MQ^EBlPL-L^j%*y17ogov1*!L(Y6EGSumWY>H49&d(&QYl_*84qC z5#U%{Bz+~RXinBdVe`1f_z=b8kriH(uIDvcXspN}9*b6iIE#lR3T<2lao<4t820Yc zQiWsU=kD9?0F;`|qb9Yb4`epX6GB43ge8zb(2mjfZQzqD5ei8M zHqog70RVZD%ut}`2hXVJjA1buJ2IbJP6vs|VgR$*nl%A7L=otqNVdF7aNL-3cEVrVKIYibX<)Wr~nC`6m=EF zHcgJfjwSwWR6C1!!w#VAQjF>X_3FB3O1iCy01BX4m*qY5e(@hpkP z3xOpf>5^7DVaQ4ZSq24Hiv@pVJbNcjot`UM zABufygVsn})*xe!1qaPGrt%0+gLKKI+j|HsG6Q~Ng%+SV%t~}P z+9^pfAhdWj*23eR5jHt4q@or!u2OiOFYM~YkY9HU_j}zNg3*6e^>#fOD4MM1X$OrN zVM(tNb0hCqt>U>>2^4Lp-_0?(+^3e}1f8?V4!Gr8W9iwDi?xsA+{V^ou|{`%5fEcd z5f71~uz2~&!wgh$T|sAN_9DZc5muK6Y`>bVjV%xJDQ_=2Akoe@&^PvpyAv3ZV!jNZ zmU-*76ziBntHpn+c8Ig=IYfDcK;gv1eB@SpW1B$Zeh(VoeDKX*L3afyDVD2dzJVbb zw*5YH24a+<$ki&TyYyFTrB)j4DVx}cUmCEcc;{+0w~Aw`qziGn*@?3l%X_7hrUN_a zSQI^NeBAr>*S-AB_nR`yAJ6K=qp~@hS2v5JUl);`AZZq zGo4&EndT*jhqG_lKM$nM9t8SsR7pJZeB8?qnzOQAV3^&@A5Lzbl-1?c0>ZT2%MlOG zJrDuFJY7tt)!9LPIW1uX22K{`^*hkXUj8BOf`|t|t|s%7a*_R%zx#cuFQLU!!vo?R9RFHi%H@SXAMn0Y41eB)y@#QWix`3Td-F=78p980(tLXAeUN5K4>yzVh2cM8q# zUOj*D8Ws9_j3vmg(IblRUlh6uXEtp0hlk`5kHIINkXJm*pXbNG=S%R8Kl9hoL*9So z@7Y7H!P1*aeV$JmPSz{r>`v24l139Nn#)Ujw$&X#+{~>if-AS+}l7rdC&V32Af&?ak(7+Ir@6*??Jo zUX~5UPUy@QCBUWS?Ms_}o4hHnE2e+FDZc>DruvpQQ_S9rd~r1|OU!Diljr}I^M0C> zJEggoFOCmRj>$0ONT?)F7g_NB$JmA0Vi(6b2EeF_jWRK;J%%iw|G#QUt10e#Vc7nx`?$yzB)SlaIRN+*%3d~+^+j;7)xf|=< z5et5qPv-O4R|s>bv&9v^kZh>OvT1{V`t<}>oPuR@%sZXTyDF4>(cr83*|a1ZhPi7X zFE6ie7T=o^I^QaQRxc`WhFBr6XQVYORZu*9UDW`lE-&ft`WP|m3fYFu=lFU9hp6go zIR%OkEpMWFmD}bsKEGg+n)bA(cFNO#JUe;&_K37+NAfhDg+2bAF#QF^573=|882Mn zz;Ipm+1V+(Jbv-?&G8?^&R8skvLhJ$y9SS6ErlOpi{sI>H5OLi^>PZQqUrZdZ0?jX zoH?>K{}u+wpq2grHRC^FB*EMe^T|58u9c^ULwc!SM)7K6{|? z54!o!=?j%|BvX!zNzT8chu`sk05ZXqeO7jghzCy}9=v}KtQ;PXUdn)WH2yU@{(XOt ziFULdXeaE*i&ZHvfA{#%JH>{#?|(lyIr-(}@oV5Cn30nSRA~?Ja3HkCpFkvc5@S~q zV{Dk7N{XIJdhvP*)$C#rGy8mQ2pUKA+3dWkFM*Eg;sUnRXJwQ9qh$|&IOg__QB&qaCfV3#k(Hes}bP+qofjHNi zst>#4A6z{Qv8!8T?-JSHgZshxc8J~F;&URwehy#-FD<6WnJ!$eEl#sBw)?* z@D6H3_HK6qhDVVBdL_0xy|4-PdxV@pDLq8KW_LQZdVFb(-rvK2=m&-G5c$?{*Ne6H z5c{wi9U@A4SD%SA${CFSeg3}`2D8#3U&%jSUHo`O9ABTxJEK@IBeD{%l))zd@ zZ8(H)f$Em`NT;rJ6Xb$+beW*AsP{QCZY&%pM6As&jCqw`#ZN-~-2K zxnY!1l4IIcT^vwi8%o(TPPHixsLoB~z)fV&O$J{noA7SgIfgWwcQbCe$uVT-7;>v) z6g_RVf{db*J;!KI0I9bAAB2ze?32;X6PLE51A_-LF*7qZGdPz(qyroWGBGnVHZwT4 zW26IZ1yM0KHZd_WHbp`*G%-dvGDAi|L^d%qFg7qXH8Vs;K{Y-gJTW&mF)=bWMM5$( zF-ABtLqx!>tyUlO;nh|>T1s2AR9mmA+Vv&hZdReK)k8yOUNQ*#7_Ot*3%g+m2H-GP zTVOqGfL7QHTc8`Z!A_th1uZ%NgD?d9VFV7r7#xFhFbfyyB#j8(DAqwc@U+m=I-tp| zWLz)P%q9;(KkQ7}};fI<#0tqJECgztq3di9DoPkkcTiK~965204u~ zw^wg<8(E8Tf4A!&H6*M-Sc9+zVGY6>gf$3j5Y|}5UWS2}4uTmqZg+lZ6=EC2Hi&I- z(oygBs8d%Ppb?s&83<+&%pjOSFry7P=_sD`)4#fxlMW&p#gl&4qB%}F$Zl|!(c|`f zS{JsnKXMuzd=To`#T)^SUf`sY+CW_ zT%r=AJZO$e9U5cE(FUQ335NPe2uK`b$cGa|B~CEBKt*0+k|7ZYLK9OA`P72s#56-v z62vDG!x<`ZmLZu8-Ep3wey8PU84|tFUM?}zqH|Q{`ICD_rAInsa0+r*0NP&xO5h}v z!a~r?e=LGBI1YKv+u2{Iz7*Bf2r#7yy3K}ZqEm_ndveNMDE(c(mR6WvX8H__chcN5)BbT`r6 zM0XS2O|_mszfsJ_%P#v55hk!i3T19&b98cLVQmU!Ze(v_Y6^37VRCeMa%E-;GBY_g N2{ttfB_%~qMhYY+eewVR diff --git a/verfahren.tex b/verfahren.tex index a2bd5d0..81dbef9 100644 --- a/verfahren.tex +++ b/verfahren.tex @@ -64,7 +64,7 @@ \subsubsection{Berechnung der Dominatoren $D(n)$ eines Knoten $n$} -\paragraph{Iterativer Fixpunkt-Algorithmus (Lengauer)} +\paragraph{Iterativer Fixpunkt-Algorithmus} \begin{itemize} \item mit $\mathcal{O}(\vert E\vert \vert N\vert ^2)$ \item Zunächst Überapproximation der Dominatorenmenge @@ -73,9 +73,9 @@ \item $n$ am besten in Tiefensuchereihenfolge durchlaufen \end{itemize} -\paragraph{Verfahren mit Spannendem Tiefenbaum $T$} +\paragraph{Lengauer-Tarjan-Algorithmus mit Spannendem Tiefenbaum $T$} \begin{itemize} - \item Besuch des KFG in Tiefensuchereihenfolge mit zugehöriger Nummerierung: \begin{itemize} + \item Besuch des KFG in Tiefensuchreihenfolge mit zugehöriger Nummerierung: \begin{itemize} \item \enquote{Spannende} Kanten gehen zu frisch nummerierten Knoten \item Rückschreitende Kanten gehen zu Vorgänger (kleinere DFS-Nummer) in $T$ \item Fortschreitende Kanten gehen zu Nachfolger (größere DFS-Nummer) in $T$