From a0347487b1fbbeaf344973ed7c21bb64ead9ca42 Mon Sep 17 00:00:00 2001 From: Marco Ammon Date: Fri, 14 Aug 2020 12:56:20 +0200 Subject: [PATCH] Steensgard konkretisiert --- verfahren.pdf | Bin 265515 -> 265708 bytes verfahren.tex | 22 +++++++++++++--------- 2 files changed, 13 insertions(+), 9 deletions(-) diff --git a/verfahren.pdf b/verfahren.pdf index 3fcc93439a7a404d7448b7e12a34ebc625721d3e..e5d864f7f73cd688009f9a8f07c1c514e588de6b 100644 GIT binary patch delta 33349 zcmZs?Q*@wBxNaM(ma3{)7G( zBDsZ^7t;G`+jya=bSfc#lc%n^X(SEC<=CweGY+3_T<{1u0u`z3zx6;0vSL*6uhWOW$x;-XhX7TTMB3^-8k0GkXJp7YxmFK$`R=)4+;?i9Sgxvk(^;I&*(1eQz=EA zY5Z3x2RfN?j#A!7?mz}L9)R7(D|3vLjXVkwL2cvimz_G|(RLV=Qapv);zJneAVbrZ zE3^5#)nE>jEp?zyWubzI1m6UBYEyCaiFBv>r;!HLuZz-4sZyKBNIW0oGA z4cV+1LT&6DsnwN>(7GcdF-jD9BMQ1Y|Y^<@`t_pH>6z_~?D+B&)xL5F(5UryU^S5h;m9Az1)e0vW zUEB~X$J&zO)N7%;51_94D;UosPP5(N3yztjyH4B31+fa0_-{pXJu$!So-*YQTmf-V zeq>yTC>sp4Md(;3Bg-64ny)DC6v~^UGzbGmbOKd`Km|;GP4cMGj0~ICPZ&dPXKLI6Ca2kj)i2Ts3b~Z zGBWSzZ^~d2qz|j_OdbRgignQl{%bg-7ek~b@?)2y35Y-TSl|Y|L|3tTq$G64X<4*9 zY-w|Yc))r067IvUoRymmq08wO21W4oReXMO%Phd@Bh;rK=;OL;t~ksyo&XnuHu)=mJ;8cT$r4r|cpWCn3`2zoyP5SwN7(4K!(T5g7$r2pp&jME z;(lo!CJDTE+wDbz@V;VvQ7t$23h5K5#yZj9zT2Usp_nu^b~R9*?f`j613jMs1u`=1xWqspLUrXU)<`b8s@py_5|(!VOHIpIJ&=g8)&Ad1DZ055 z*)ufz^2&92B+V4Rg7^tl5ODS(oOW3WLU2*L3gqk_#`r7cZdYz=rx_@ymAMlV@;>!V z+vs-BAerw%c}ki-izNKdgo`CBxWpNl}%(S6&3O%jvK9a z2bfCv<5nf7ty=6*N@Bv$B~WAXx%WOADH^Xip}39fva^=4C5W%$P<*}jL+oY%31#2UOcn-I(|HKI(%GLoT%<#-i`!#mP@WRD%yv`gHqKIN!hU=;Rh_~eCE9h2W;{Mg)9+4 zuT`Gh@1+N{uA2s9I}SVa8-$%~;HSWm>uGLGYx%-~l9Y19TVJAFJ>GdGp0{xL6_hS5d3N;&SU>ixc73(jt1ISi-w)q9wBwe>QxZk76C zWg|;+(sRd&H#FEVQQh`YeP6x){Ei#kh{ipIO*X~Da@9rnYayR=&HY6PxY8&YYxqP5zyq%qEHV2|awM z14&bEj2CB}aSpv{au78?Jwp>Wuvhr{j4WAa*|7$R`1<~ zv7bw*Wh2$1BD$>3b1}7uV5r-1qxtNR0(7yjOX56i1#0F1#NPq{$kV9 zPiPWTA1!^;+V?gkV|!Z| zh=BW-*`LErkMMI}Z-{YUK&RL9zH{OXj0E=V_|=7*1dOn1q817Bpz?IBdeiR7F4aI3 zVDQ=F{ddSB6Y957G6gkX;}qcBgpnG)pNK}TwNU$#WPoBX5>Hg9=Y+o*Oq#LaHZl@U zhRxJShRQ6n2L!T^Y}0=8&p-;p%E_a~7pl5Jpgr0*m{Mnb|3bG>(@Q7x`ML!ADzEI- z`eW+nUN_mZV81S-=I2`=a~!&h$(HlmRh7UhkV{%#hFui>%9`-6MJAT_y zO0^jh;pwCO@rb}$Xy`t*x8rcB)u~Ts6hWh&o73IF{yvwQ%nZ?}iy8_sw>4TNviu}I zdSdYCR`w7Kl_Q|96BIb57!)|i`C}@SSRSTM;rYnxJA6y(H+_>lm0zWUHiwEIrJ5Z^ zy?8CAY3VIv{|hw1ItKcSRM@zV|bqWTLpD zbUl3|J`qIu@`X9t^g8ml=HA?op!~+_oc;^wALOwK>GaG85zi9eO^Y5J>67mH3{kuk z*n@$g{myS&LCYiQ`{#ddKe$A!7b3obCjwu{a|a1Ya{~Lp;GF>V$v|rpqT!d1hH~}W zoQ$ok*V5YUpt=s7x~(CVUQy&^xemlwUdZ#UA)e7>p$MtDw7AOZPK#ht&?a@)e~PYt zG^_79Ca3e7QI+a4;8^41vqMxZrc3^+p}qSxgQ_rBOtQX1>2liZQ6|`seNdW!o&uNC z8;Ux4B8w+?87Odc>qN-vLv+_iqjqJ@nZ)_1y)E3XM7nhOgOE4W9OUm=!(D>Rc~P%g zanfi%;=$Q?Tj1j5YyE+yvP>LYD1@7HC@a>+O!L&@d&SE{KdeLlyVY9wVSPng=Zr13j7+tIE#$0kzkD zZ?ZDNvAu-8csympCo=g`&~J)a>O3bh5Zu%r7F4i2Uin(#=1tyfejh9pD9}A)+X4H} z3iucnvL=8M*^O=fCh@9>q;;t6E=(ok>AYLI^yBnMPT_=17-EWGD7JFZxQE-AiG*7x zASh^1Q;InE(bc&?&jkY}@p1x0W&I7M{&fyIZ%@-l-eXIZh-YOs%VW#oXN1&fUN&v+ z8fj$;M2S_~p!%$p2KOSo=&?qZu#R7rqlP?hR3G5bBpSror=TW+U9588LII!b$h<60 z9R3&;%R)tAD9J)ro=x{>gm9k&F)qRPed0;j*lk#8#rbnOc1Q)gGlDhw;r!H#q_BjV zB)iA!w-s`^o{&z*=&+HTvCUyqj^?hB?T~?!JT6GPtn||sN59m(@aSEmbv@~M?H})5 z7B(OOR>s|v{hUc-{J)&?UNTgzizn97)71{yCi<6 z&9TEonSwNm##r# zowZk2+9`iOz(kFSUNsZfr4s4(s>2;AP$&b)=IRRw=MP8s7!TIrLeB&=k7;%)F@fNY zLCu)02&-yJ7#}IBtxJ(5m9=Wjw3XbU`<(Y2NK6riV8P|S7odo*TB9B8m^Cw`?; z#?y@h;{7OnITU2=Tj^i}Mkdjs^+2LUa>{{+Y(tyi%HM$q9XrTI!czV`)qSYG%#>Q( zB*ZS}Eq%caa*dPuxUl@itrHFoR~%Nd`tvRp#DIAwGCox7c4<~KnB=GuWDh@2XN}4O zw`S4ypTZf)Zj|tQOxG3%&qAinzY6+Je?WCII@z)EI3y819tIkLBO-?kGy^JPAKmkx zJrLb6Txg&v-+rW{J8D(ufJrt(Dh{szNC-gqt4)NxCbmd}_5Y_*ae zdjHV51Qm1|S2$jJ6L0I7oW;sGl#S_>J@KHEG#Erii;^`^|B~ng0Z?B@2{zi)T61X6tTkQr&TG6rUNBlKbNYeGo$q5szue*(ySh4z69G6*{`tQsYq4@ zMlF!24VB<}5kGh>qb$@Mtp z@y4Sy3R9D~UxBN=0I#FICVSw#P0BhQ2zEm3XPpdkMs}wcHFC;ueJkE>9)Es*?C@*1 zu$R4_z&VLdZmnV#_N>6O?V}e&Lp8%b>VpgTh26yBySw}7V_090wDf47(y+?>y><@B)(n;1JFeQ;L2}7J?hrSI}A13 zdsKwK%3f111}qr(!)l9NTs%=64ff9#(?+QiVZ8@p9QQxpM->I(3Z_Tw-8=4`!Ia0E zf;7%^s$Ws=k*mQ^P*evmRUF$PPY6fKr1I65JxxLvLKOx7eNg1!4<5zq^<6y|a@ZB; zY)-zyq_+{?0v!cIRD9Wp-CyQp{uN^-VZpBux2EIhV9I~f#JBn?XntS#8r>kvh0=Fk z{Q2Ty1^iP=Gn~w-;tF*$|J|4@LhUUNl6AHwz>XlBTckFCmu)3MrJD4UzxpiC>br60 zkS?yT4%O(ayoA;Rmr2A@^q*`|jCxmBB4);lHE??y`9T#3(E@A#WCP-9 z`U>0oelNy*k8z^3{$z1vZ`Es~7H-aO$irun+VKqJdMv>#m~R0(yqi7lL1Lb<-Y?yh_SHu*o43=m&I7*1YN92 z^Utx0;aJCtHE|*9L02jX(4@$p7`k$;IvC@=l;q*{WH^@}ej5jVhta zfhCUBh_uQ9e01vKBf{u01)a9PkY2z9#Qm?jMPN!zVIn|HVD*eXAU^BK=&3v4xzX<( zFQt&RgQB9dM8%GxJ+FX5!@rPWiNk8ylDc7M=}s4g?de9v;rG#x>eIBKPN-5a{pe{_ zWU_-WW|c9^;~9255&0dXxU^52_$h*hR#|P3eU~>O?=qmTftm zxbKA65bL?XUbRFnV45vLJoAmztEtyL*&({gXzalloH-=@8=L_pDYa;(9|O2fkb zME9^;MfEET1BdOIk^}zv=zXS|7;Thyx-3^9ltZ8x_OmLD0mPMP;6XN9{XWWi6}E;j z)fH}Ju(IiOU>c%q4gq$;e5q>E2tQ1e0}L$St>J|Ot9HE6w(!ib)JtR zF6Z>VjUT;^-)@2Jtl$^VWJ}tV8sh4s85vbc| z)yUX#S(STK+=>5CiU9`D-S=VtxZVRhOBJy*SVZ-z%*Zp|5eV{f5boEiTT66XTpR{7VpOBXJ7|`?k+62!Og5U52`%Dwuj0X4!X@@J)7k~2j zcmdv3qts~gXP5Cw6Qsk&(fSug;vNFx|J^D53M3kN$c|DIT%0p&W2!exW}-RV^v+et z>ygRo9@!y=2_7sncbXSR!lNKCRn)am>Lr!#3g1 zqklf0`gbm25r?$+khBBJJeVS1Ae4$x=7Au*i3ENb&~gfWksumAUiNH$qoxzhZjwmV zNJj0O5_7+Am@Du~jFqdXS7^SL6_+|x9$so?l(6;55tf&TP!N?r#L5q79b*3sLH`Ue zAJ%;s;71i&0JBpl1rELz0QB7Es-V9Z^twR63bPlh6=3B=FLJ`_16VaBMUm(*_J3c0%2|7aBm3CWtU0k9*K-0ABF zu!(e-WXsk)7`lqpr%?jQKAI`7dciToHt%%NHH&l*hsi^g(>G+P#-v&XL+bEEek{>W zb#cY7GsLDD=;jlmcPxoAd{|xQXn??AI5ry#USr!zwvy_KNSGRTKpcd)g!r%!q$y{! zv^w2iBQ;YuH5guEE#7FoaT=}Bujtm7dYb#+lgUjbDz^Ss<;j24yixe8WwHSzF{Ql$ zI5?^7Q?TvAIdR;lezxC%U20TNgv)3myp~9#_0mnl5+NMAFH`rS2EhBa7E!Gbq^ih> zd7b_1`A}HYrxe@RP!UZ!nZpm344tB)Jd&hxCsrVg{KTTf2wXpntIa``Mxv=y~bh@yo1#d>}u)E@OOURxs#Ir)#^9-;7v;7B49* zcgM{~iQq9>weFhisW|i$E!N+{VeZL!jTru*K=nOw*+jE4a6v8m()`!m5%C+C^;4BPhqp311UZmi0ekW!%(}Rn^S;1f_tqwP5n-f^k60R`w@0hb)|D z+)ueGWN$ly$=qZvdeK-0H!GjVwtcpZXa@{;&+v(~`0uG|@3fw>Y_#`V;dM-@v6Z{w=3g@W ziD-WP>f=U?)YX(#vz*bMl%h#e8I5Lu#J+FN+TAYP_Nw{zeB?U7!*vt?X-P1J7?&M; z%q-|X)?KDW$r!L%KXjSB6l(TJEp7EveZEeT-cHjSB4=a8{PrmEgrXV^Z5nU0UfLJN z?k(~YvhcqXuboQZO9k~D+6*cG9en*(Y8Bvcb1B28C?PeG+~hq#xQdDUdBgU&34jLr zwAugvqUC>9zm2WonAtg!gk67vvvY9#-w+Bo{?ED`wxjgU)hRk9Dq}z)fsy4*4$Rh4 zW>v^3v(J{&T;iRf)3c_QQ_Eyd(1d+Fx)cpSTgE5%%u-`!At7&Dx&WW9qCTy;f7ip@ zyPv<`p0?k!xN=};m2)H4uZQR>4kUaA(`+n>LrP#$I#KeE!C53UciB^d)q@qv!$@ zj$n0HcU6a9mm(DRSB_1ZH0U#Zd)u|cxa`1m)m6J7`YWkG&s^nJ&&#_b@nOd&3**z6 zQ%+i1t}5D)a9fEKmPTYS>`C0KV+D7f!KvEU&)Emf1A}yU({Rh)N!rdA^EUd)YCgR` zcKT|b!h}c1lh(mO|9BY+8@bTB8vOt_It`D46AibMx^h;Z12QUI8(Eu>thg>GV0@Ci zlIv$=2@T{m`l6D|2I0Sd#G80`HowuQ%$XR}77RVVl+}7v>urqk04+=Yxk{2I_ppt# z-GIR5zY{fovU1-;)xj5@!;HHSq*v}0idQKZ3I3sS_{zEcq5g@tGOC5fi}Vh}`3_m+ zNMdvKL&~MwJ@IzFY2FCAK6|Jgk)0kQOup8Cs7Qbjx@EDSgX|LAwxfDJrrX` zS<}dh$-1rdSyQV=#wCBCqO}4%u_Pi0CD;sY9@DZ}iRX0J{S1H)!!W9eL@Mq@numQt zo_zw7cE;h42`D+oe3VNc=d-Z4cih8*1?7LqBb}J<-vrR)1IE~^`OUX)#!O_R=nhSu zT@R?QkT@)mj3N9w+rQmbh^yrlFdsq(p%_>;%-eBb@`G6;2w3rj?9Bm)E|NM#mtV*y zu!V|&QG^%~jT{|y1}K$ysSM`U>)ZL<%jvLPo;?lVMIQZAeCY0`AeU7~J^m6SNzT#g z*Yi2^u-wNs{G^PNDh;#HiOBo{_~*bJUvRC!RxNSWgFlFFZhb$J4?6SmmPr zc?L|HGHv(%z1ru}JtknYvV97TqtZ^i8h=K#^(2V{=gw3HDeDFBbV}Dbrw!BEK>Ap$ zhTry1NT_JLeQOSd#AHYd(yttWhfMvN|9EIwd(W5YHpVgdMUMoy6PW(`MIEj7fqDM&_WQPHGx8JGo~8%7J-!=}LeRl}{gfR3{8nPyvH$d6(7*-o%Qnh)5~jNCyHN*QSMxC}EkR}2t{ zYTqG#>B#owmvML>K;D?!y8pcW!(dn#UiK*lLJm2M23L?UMvvg_G!pbDjE|1c#9=-@xTa`+F675_z9JPT~F=8$V^s>{$u4FE~q@V9`H z2u((ZD4;X#89JDD8>X#emYf>I89&R)y51|mnFbg^CH6~j*5^JUfxVhFV!(Q9crYru z9C&eB2r?NeY-V1XBUZ6q>Et?)ug1IS|40Sv2L`h=9}|0h*-sY1$}MST%6%NP*l!l~ z4NZyjLi_g`4;M+;kkSXE!=TWn8`9wsKp@wnJCVk$3S~LjY;(bFLr{89EjoRQ;g?rQ z*a4vcxj8Cddex?T%}hx11jTx?zh~M+(@E;H=5fM9r?^tz{i}BpicSKl3d!zwuzz@P zFy+03)%tn*&nWH~m8`02%(&!|XawWOSr4!+18u?HT-W*5@RJ(NOIN6nGdGP@D1$PY z=S$?&8mdHeYk3wGBZ5&i70gR0${D2xp8@XWYdvysWj%g|pTU~YBeP=cI$otHdnRwF z(V$nY=YKMxYN@^ZA=}kvcpn;jOVwcK{iN$1X2`v70VVo(FBy*tu1woO&c46 zZN-KY-POYxN_6NFiD;q*ab{^*EFsfbjW=79m{78CgQt3Qy%CS__n2|*#3bwWTmmvI zSWR@yMX^-%)L5@{piiEHGsxvIuncGlsD&DK^TWzvipqgjBU2Dic0Z2U?pRaSY7J;~ z6)JA5`#Wa~87?PEODPinZlo3(_#H|R#rUm!w}Ez4wHkeeTXG}9!A2cgu~f}9d-LH$ zfvp)^EIH6g@MMOI7cH``vFi59Is)AD6rulwencBoi_Lsblx8+@EO#5KDC}1(s9$of zFEOL}8_Bq$_c?@w(=TKx3+4xk1pg`eC7mvxIWh?<)%uBnvrs_ou6v)qG|XW#R~u+V zAWZAz!81Kv9NN(mr`qQU`s0!V?Z3c7h~xrpfXbLf-2y#OZqb%(IivWpRTQ{to{l1(lOvD^?(Mxi}GNi`IQxypAj$gj9jn zV3A_)Q<*KwLJUp@tJy~J9IF+KONj!gb#ft8%VjpgLs^j`uz~L!XlIKLne|<*z^Yl% z4E63=?#7uDH0));bN$%K*Ljuq3+OM2`@iOsAI;hTdHzbd9UAbMxouRp1oyCd*uxVJdCuwUXz#wDm!R0JVW&jdt+{LgCZ}Bd zGW0iKI6N*ZZj9<&Sj0Yobe z*URRn`#0p9-VdGs2Rd?a{|`EXakBj1xb9l#mosh$O7FWyy;C6#1;%f~b{ma#blw)7 zb(u-^<9IbhQb(y6@fcOsq3xEZ_`cjx69S@v{rJRgd22?Jhyjr8n9)@OP9i=nxx1q} z#=Di%&3nwv-^2x(6znHlVWc@O~+@5al2{+n$Jr!K<-~i!B z8V}R=FY7lE%=z0yq8h11(z=T#Y!lne;}Mn~o+4|noQ~AnsF9P>+1tpAQ&!?KtBkU= zOI!QUY=;O_5=z$6c$sd)Q;STwsgEyPs36nJA9VG30`c)m#bUJkr|H39)H^QzM&Z~> z3I-ju(a>+!#m%{j0c1%x2zKPdNdPvLOtX#mb~CdWy0hIbyB*oNeynTuSPj)r_5xIL zGAr^JnrW2dX1#>pCP4$0M%$IL#zip0;+uz?P1p(6Ug((BO|`59N`^gVo%$L|f5{G# zk!qpW+VTIX*}}&gATyu2;z%d3@qgjr5Bu45>W)AgiE#4Y^wU4MB&0M9Pyx`a<7G=U zH1Q(AQKZe0ndTDBBCtMEWa(e{*%Q~asIx_$3mqu2a78GqLr?qu5~fqQM)jXNF#d`4 zN7&uWs*HD|z85hLNg(Z%^tqeE^Ww!=WTtWkTbtwPAdO>JzV}jrSce8%;bD5$ zHrq=D`U9l|3pQAP$qMPgwp?EJ^cJ+xlZ|B4h>K7Epvm1NUV|^FuwoLoqEaUxmY0YRcqgA=V z4dpc}oS&pd?!Q;FZU!10WSeqh;b#6b3lKwtjsPpxXApc$Xn#W$ zy<|-*pLNS|zcn~Wzr@uePfDHGAmIoPHj#;W#uB0Fl{=XUnh4|QLvZ-lWBa{4-;eEA zl;G3Lzh|c;E_lNQ6PP+*L%&?p{d5s#=!8ZS}$Y~O6tG_+Y> zDY^Ptf?39pUx69yv_AWbZGXo28GWGhtA$2yCMVg`UK`zR+n)wMU(RxCn|w0RFI}3h zH2UB;pL{(}c>n_oGwZW@8_wA`V(?Htn{zbqket0S;lsaKWiQqv~W05okn$7!;cHnjySop;douNg4_FHWTY2iteJf z%uIXI11sgE{;DPW1NQbjvYvc1qp&_m32q)C)WNJaQjSTxRVRBr)1WPx2d!`V(k_BC zEd`Q=I`<0}4&eP{`{~bln*&R1m--=Q25{Jb{=nOmnCub2Ak4giKjKilBU{&+?v1B> zh~&#VbZS719z2>Q=L~D&C4Lv$R^?ZIr!GsIKY;Eod@pb8X{=w3FJ{x-aDfIsE_zx0 zEEn~RFpZbM4AKylg_=k4ru)to#N&o**Pj z;;HY0L)3eCt^~J?uCTtf%ti*p!^<-*v#bfLF6`%pM2D(Zuc;BbF^&isX&h?mWyS~F0L_4=%Zjj6UaHxYQ=0_k~D%81|gA)nVb6<7?5HASR zIQhc8WQPDgfUm)!rt6Gx77Mc}Q5N)Cz5OpbIcj{KLjH$2??@J=q0 ztqfy_(ZrBXC!}>hCG#$hFw^gFr=EE*wi@hT0LSz8VG>6Fx@zk^R?`bY-)=^H{6Hzo zmq`M_!+<>WnxY!@Uq?}ktxd(@SnW9GYVK98JCH4)v>84KEW=}(6BcY{h$7&ZOi&JB zZTp5_bqjE-s+YI+^SIM*4gxiWTh@bYQ~hE2Sv#N{fxx?uUR z01LU#I|)-;QwFlfTUzsMWatEq<%ydzg(?#@%X_s=i|NxzG)jNqMlF%U$QIz&{SVRB zPe$`F#HLNcUqe76px%2`cCfm%Uy>Ph<~W2jjc!eWp~u#hJRFrLvxOEvQ)VbRJH~6f z1Q?Zf=2U#L(O>4~6501F%i@S1sO!1}1{K!Qc3RREvzO_S%Sze*=Ig%9JDm#mOBq4K z?mKOc9t+yqgDRTamxHT;{GJ@M&FKHCs%B7GyOqGC5p_m|nn)|8T>B|O(`4Obj{t{o zUixn&$Te3_DEYU$^!=LeItx>?7(9FpQr{8l?OD!YbEHlaCoEoA>9|Lt)acj4(6& zcKbbFOs99hR;10ksx9QvqI?jkg_{=zN4J{JDMrSkjN$@4C+OHhTon+0pdbhfEt{N= zZR(q|{#NuPQlF1(CFp17AkK~DXBjwrBJD7{CkYqB;>`8d#7j{`wEUAxk9~RZj{}Hk zk_J2l@GPt)YWdO>;&X7sHhi~W2=Uhv&-Ws)77(Xo45U)!I@{n5mo!$V zRn-18elo%;W=_)X8Gg%Cl*^E1<3|pftz0jBvMglIIJ*V zA1)>CwlM)mcMJ?hK`z+z-Ji3wAzlKL52Z9n*-4tBKeoZI+|U3bwNeQT_hV`uA_Wyckis|E=70rs>?T{e!3CPWF^JZ^z_U`nrXX^MbJ+j;r{`}BL83(f-e8F3$^!FYD2>n8ZVIF)~oqG zd2Z7ZmxMZPAgU4fT3q3h#84Aqrfo#v8bBQFh}qIvp&Pw7|w$02}A# z=l*rjCy;s(`u~7hPHrM5qW>|Ye0=|3aLLNV&i%i3bX$Add2O6!f&syp~tMJsxroo z3joy;sNGM=@phk`;hLFx@F5At6Es+MO)P2eUrY;h?OQbJ=d$U2M-B}%f7FNr|JbM4 z&Q`d(urEAMC;%@yG(R!$wPD`bc2tx1y>!69GS8HrYmKe--pZ_(8VJIc<3i#}x}nMr zdFRFetGLG4JsPjV@^E#I%8N0zq)zuIYfkD1fa@rSC2W~Vx;ebIwC4UsF!eN*u528G z&v3@yQEYi7`k}A{!-eQuJ$dh5L!aw~<6H6*m8Ei}R^p@@Q`W9+x*e39)f=qLkj1!u zO9dBJ`ix0VIjL?W7b?hu*c7r5GNU>)pmifJuAUkt&MzRNsq9Qbyim!QvC&k>jeUba zm|}>)*SP<$`RpF06wBfu%`mq>IFgtp2o#6;S>rF)=DniX>bhCs-_7pQFR}sjuB%65 z)t&+0ByV8~rf!X8O?YQeMR{TYQ1nd(-(!`R$B*lC7F5>`!xDU`^*rFTkflG^-yHqS z4IEx%`e#X^CDnK`b3TK%q=28b33H9WXXe)UMpH}#7{*_fwg?1G<)z&dP9y_LcsA@K zf}y~`Qcts4GvomMdKk2rmTa}r=7q?v1?4>jRR!&5{nVk~wd{@A6XOjZtB=2P$<2u7 zb6n1RPPpaKs1|W*pNXJm2j(e5DK@HzpLR9a&Ui`Vg3_O3HE$Lw6^F!LEY{?K8q`4$ zi^tY>wR|x)Dm&rzv)oQAZKK)Wat#KNY+{5r4F+fOM5PC=n4_aard>`g|W@dbW&UL5H zN5q>?b8ylrig_MGaG)guxra^&YA9}uYmu)8|K}~!Fq?y9^S=BP!Y?GG{rdjK#zi!b zRPaKxlioq(P-BPmDU^UQw1cI1o3u`Ti^F20Mh)vN5XNJ-^yp6`mJL!s$F4xaVr8|y zhU4%LPB{O`AZp;6ah*>HM99g)L>fNhZk}>ffd|)(a5x>g|M5=C9|@+l8_RAeTA$$& zOmhDC3J*;@QgsyXYcRf4D~swA+^+Oe`^VhJ0T^7)vVvzMPj>RGQ~$=|e}-gE7{QH5 z|Ilae@Hu%SE1E3=>fdVs4QgNMU{Fz;V~qDT=mI`#iVt`fCfEs3%habP)W?iALS6V8 zuKc^s_0^_mL{&Uj<}KFWvx8tG+Ig4+$n<2vSm=PdOd~qIDVAGd2vnqRZAB4iWei3Y z%a9lmK^k{PqWB40^4w`X7p}%bdI^%JRl>VmN?Q6jUqMY7teg~}&WiJ*BeIb#&wwlb zySy7TOk9RS#Gho}5nD3L$`Y|Q>Cq0P)j<8c5!TMVcoIZ)Isck*l7oa}eN+lW1d54O zm~5~3fl`|VMvLzPzK@R+%PcG2*)@v@5MUw>YY8C6TstK%2l@<7?)k*ER_-afLxKX# z641FPtcG@?K63$HFwW|S^Vs)`8(s1K%3>#i)5glhPm`iIzs&IS4?OBnt&lAaO_7kuvB8uw!d zI}j{2GAzB`qcr~3;YmNqBglqO8A| ze>i8yqGS21_SV#goG1fsaX+u@t@UK65{^eVh}47vzlxuKLfXF?oDE>0hw61einpsD zuA22uCy@Yk6BB>-nhOSfS5S?1I}f&D&O&YJd4^*I`YNm}-jJPON1({Hi^*~FNvU0% zHFF*hjAE4Z5b6aM=nZeoWqogqTWOOorgFU3-*Kv?S$ama@H~Y}>Qn9mxJ;1(1UcYG zDB+7YR_5={@yWO@)zps(MJOy`xaGUJo{zG-ey#(DC6tKx&<)|#i9Dr)xt^X`XqFZW z%}+Q@U_OpoAf;3_7mGr;n0H3v+;&tJG$?I*7B z9qQ`13Q(f*v$LJm%S)Ekdm60&9u`l8Y`6d)@RiJ^@9n_~crm9ccqLN}LY{)C_eHg1 z5W$igL{Ww|k;oJ;ZT>YD8E$d(jVZL!m??RM>TSFMbX2;tK!iT*UHFal!(c z_ebaM%f>k?kG=_Xt9p$qv|(Jk3@6V2{J5om;4Am6neyp)S0ZyprW~ZoIeUj2c(4JE;~kHgRCDEZe9N%Y#5X;hNu{-RHLOg~Fxg(< z(s>-McOfAci|LX!J5+v$fnMMYgFshymHNY~t2e*omojEvKYDmdsoQ!=NH=gr%rok- zPj{Y)9u!4+cjIEVB!O}fhBYJKzghdkqu#Wlcpum0MapevDqSz>^ctfEYX1O~@@~fw zWwY?RpXo{JLH<01^zlp>5-=^_tuMQo31JRK!1tH?QW(cigaxI__;v z-~MIO1AQj?Raf7?I%|#Qe7lcGWO;JCNKNVupZ>l~2F2$}G&X{H!1YanS9a$Kv%1W& z3RoJJJWqx>tne7>+5L|Ej;#iwzUR$8zgw6b(?doKrpre9aDOy8Dr6#;ugf?#b!)!q z^!mFWF)Ph9!I(gE0ej;lFK=1LUGN*^i_7_Sk-px5yB&)nK3eE$pxOaa)Il{Y5#M&BG~0vX{$=7jJ}D+ z^_hMT!RaH9K`_&ypPU7VZS%3pdR2_oSk1dAsY#lf5TDMPooc(L2ia69*3?$~r|D02LQ!5`5%vwZ1=J=0(6`t5|w_0Nk8U98eM0b5Om z1yTK|PrsV;`3DQ*D<7Icx?k_=3p+%QN0y&Vvw`apf;WgJMNuJuUAdi2p`9{B$Unl6 zxLmDsO=l&qy!0@X8vS;gSvxx{CX8mkEqv~JrYjzCLoCWi_m4%c(q%^%Jh!w@QKzk9 zVpGfQclKRsEow0)aQX{?MizTf4vka z#Wu&rdGhM1L@X%4zNB#0Au)PgRn_iCnQC4dVMl91ZVt17MdOkgf#HzVwNKx~ky0l=C5U+5y4FDd?bn5v7QuCSKeSuxy=0By z(gJCS;X8@PpV6!2IctQ zI^%zpiKNZ{DiiM-RGidi10F$JG9}j8kL}ry_N{zLc#X3GCc>!hRFmS$hhp4U1`6N^ zip9h8Qv$YXh$^CiLPhi22JS^VF3ni;^P8A1x8IlVn059YILtE2nT_+GKEoa&595|H zt|^VL`lH*cZ(j|n^`3l{w^QgHgG2;HAqe6 z;!LVgbkgl?lM7*Ns;2vEb&SbM6OML*w*FW+F38O@mDc_iwQI~`CbaW8kdHIBHy;-= zgOO5}%u;CP6Zw@rDSx-d@zJ`IkDvUFM);sQLHSR8X!Sk zi-RpRG*Ix((qRl6<W7UD$v9EN1KnVu1h@coOCYIH+B^9DUQq~eY zilR!R`E8prHj~X`+Z3{TlVGrY0W{kz6A{Rn#-om1e|5DPBSA-F+3zLgy+1oCtr=SF z*iMOWuXVoGGFq;QHuW;BiaW~Cdf9>0{RsFjv2p5^+ za5n6tdMf6~ES2h^q!jQ7Yn<<R0j8HR2Jf^?5w6i{KFZQ_iQ1))0EZS3D|1kM=`>ma~L^ zg`)v-LM~>9@9=~xNN3CkVQne&ZSC#WgKM*E?=}|elf` zkT3c9fn^a3ht*Vy^07ba0YWt2UTyqzsk!|-6U0+{{x-EgTU{QuYjPvo!|hk&)xuDL z2Z1`#h-BQf<7hL#bU)WRtGmTccONA;kj);x>*23v4;LI=l+?R>bp}wpv168FHuBM{*Ty*AEZ=joZ8KPpJ2p7z zj|3MB(?daSRV)zb>i_<&Yr4ad$&$#q*-#B>`3^=(f#{|;Be1F(B+*&5-E_j1g>^+B zbrL<&&=$G!o)=xA0>UoVvybiISKO*u_v<>uBu^C%UR0feNGL&c!DW2%rDN<93&}7g z?-G6)6ivh<-i0SGdnx4wE8^a;M!B5yBw zJ{Sx3l`u_g{zykN_iEqDKk?qtoHJrdxC(@w`O&Vvp0Qp48~ntAA#iDk347?ptjsGE zF{s=JmX}xdnRQCQ-L8 z8rz+uW1DYmJL%XqJGS4jW7|o`wr$(CZ6~+)xA!^sj&aTy_fL>L9UyepIbF>zSIT zPL}NRA50L^xP;tQGa^o65E<|yESKmH8z%r>39}JN!!(xi`3xCTPLAyUbogX*o1=G3VAmdUVseAl%Pdb^3~Ndv2a|F7j*n9 zZ+7cP(JLp~qsPh>IME;L*psO8n~+b|jZRwe*jA~qg+p`{Z>2Y=r-2I|Wl>bNNP6}* zqt0R3A+dsepE8FEXvtS4K;OGPWz$+Cn?!GYT22qxf3K+JX~9C2YI!CD<2)~m2K>Z! z>)+i&XziwLcsPfihDJnm_OonhMok(EB@t%~#l5~Hp#>D;!y@Si?9YcJWBy@o(G_Vc zGIBu2bl|EfF*f&9Z*hbNHnON^#?>)aK`?L*Wo~ro-#R}4)xI#V$~3Mf)dTTw$1r2p z`Cr!vqP=Tg=aTPTYHK)`_osFDKef|bwrxLL(8{F_={S|u$7e-(*m(|#^g9pj$8Q^L zT8b8&S~fxk)}jQgyHTFW{DRv`*<+%n2Wk%>w{03H;Perm>U*2|5JxahH&6)1CI@6} zsqT9%*Mxn58XHeoL@zB=zEXol*@soWU4wNe#`RS*=o0hETFoc|3Sl%LZrN*|il#X! zT^GCLXS5+Gqfk35jTV7PC?f%A6xyt4f80AFYJMvWAu$R~nH&89B~ive$*&Tg$WT+i z`n7FG!)p|0bEG=l6+J9a00VcQHqB=JVZyOmRMkcU1aW%1vY3r>K)2%{Y%MrAx(;b7 zGp5}K<;!2l0}@ZZm?=+-aE$FtUUjUg$WUWu;a4Jo-M3}cY9fZvhQ=2~q15lTm#S2P zY_m0m7ww<=7KFda^>Cv*-BE5*vQF&z2#Q_Y%_y~iwdFyqx`OQ} zT(}bhF+09|-}lfm+-=M~T5l#n1LfwORgZ$<2?G>CzTEq!qA_jBU7sUe|166-t}Ob6 z^s%o~ymS+n?*yDAoH?>h1NM84>?QcN#C=h|Euy0Nw1f2ue~HMo!y~x4Vk{u(-IhrB zIbZ(f0~4&)a>EhG!}B?}+Dmgf3IzMRas1#99P*YFZ1dvdxiTy&<-e%ZGm^7+K-`Rh znVu;;d&<}SIbgddB;qn70hPH?I*p9aHEZ!(A{rs4>Ye+9rtNY~j%>xepKb0h<3gl@ zgKydwgn`SRURB5iG*2KxLFL7M4Dgr&@vj{!|Wosm@U&qI_ZRvr@qiPH=olV2{ZCk~Qe? zqqUE1Wra~@r)+5YJ57d?4^h}+ZK`kEgrDOTj^*~n7%T;9r6>waQ=Zq}v^5JbG{nIf zDWI7)$j+rzd*A30r6ND9-{L{Q8UnN%v20)X1sCrK(3R8|MFUpnK~r|O0&fNGmER8k zFQhCNM;z)8a89=WiBWCTlySV#e!qNrrkn-k(=XWGi!KJ3WrAzjk$aJRXT;a(4|YF+OHx1Sbqc z!f%HK5A&jOakSp2c#ZqmJv~oOf3|TDy0hv)#7JfK#HRUv+5m@sxRt7Nb{Pl{Ol=q& z{%Zd;hvGHAp`kTp%YYWz+478Y`vhe4LpkQxImRWCM<3M9BIkKg|1P}=ElPq*X0I6o zwv*;zm9img#{QYwkWc*y;eOT~;&P`sVO*Y2u}jA(5ET{ro79m1Uf2D!y^#RbmU>;5 zwh_R2Z%lh$p$a^Q3vtri_hMF{UJQ8p$kQL;<}mZymeE*Y3*M-Jmnv_^Kw|53G0~j6 zbJL_P=UR2Sf~JF0uDig0B{ox}qxe+7C~M)UD_LqY$!EK`(M-1b7t=~mf|QX_Om_oT z$00DhMVrWDxN)rPSRD~hA`EQ6qC6Li5C$$W*5i=C4gl>0U#e)Ve=Tx8M_8|!og`5o z&Jp>@0WeB*+%uKg3q~kcg;W-_7E@Ig%Oa7Z-S+rR4I%uexgtL9?_Ql`cegfUB2`X@ zc~p;x26iv*x%M6GyLx>!t8XgCiV{LM`U(hO6A?EU$CqAILlui=>tsVjlvFus*Cr*f zCU_(-(}5S(M;}W`m7Y|KpLA%pjKQ*2srJ;*6b3P>KbXYea+Fbw8c?yI!4=K{_^? z&)ei@`=7!|G4ITYxW@jFPv1H2@9qkiccCKh9DyVCu{d!_x1t0VS{e5hQ>= zV^>6b(m&>c+EH>tWKr%x5wcL3w`))6R3U|ajS-*0ePabTmC*jCGboEQ!R{nKeR~&y z7wd0%P+VLAEmx`G42P{4@Hoh?l&$;0prRzC$OoD=RkJVFEJ(l%-tZV(5>(m^&X3bw z;|L@rvoHaD=_@VkyH3(s8nXAyAHV$NnO{0=YRLota1qa<5DrHZ%f>%|gfH7E~pKiU$>SF<1O2+F)Drx=c zF?6u=W?=*XyJZ2C7SpLNEfdhU_CB>R_5g3Q!9MC1Ar-(n@t6eCklN@G;UgbC{g*v^ z_M#^o>zvh8df5fwE z29OOllqe`(V)q1%l}a&Hsa+#t6s{ zA9Uoq?hlVRp<=M5S)ZcW48p51W>w1o?}3#MYnu}|o9e(O^dOy_F^_eC4f@geyAH$M zEe@1KrTrqOB=T9bx-A5uf&f!x3#RVbU{Lh+sW;&5)jBH@d$~=~I`@{9>FFu=S_#vE zU%WU+&K_5Y27STC40)8Tq>tv41%d!H!%B=}|eMA>0>n7tZ&qcJ3dGpA3K}sA<|Ms@tNG zZh^5YJ=|VrJx~_4G>K=?@u0>?^kE3aHlRg!vs30!SEb2^X&L&hF1H`c5Co1Bvbj|@b>U{A6(H-Oe z{wDbZoBB9T9MCt7OG1$>irA501G&_mYy^AmH1yfPf!=zs?E%&9@n$pyE1RHJMc~-@ zP?%)DeaK!KEu9jokSz*ZGzPBCQN?A|xj2dyk{uvG&0x%){IxUqNV0lA8f+V}u7Z|W zHWl)7vx0yhW9MV{qlqY)1i#ajH(<)Bt8L8?F2UC6?iH6z(c*OC^6)AQ+~b=05Ib7x z%5NV>HMxqb$FhM^5eFXC7&=3Q zWc9q0nfcpRXFEhaizQ%MtLQ&9+0G!x1Z>01@b-laQ-O)O4^%#}qA_OBsMpn?mP&&$ z(q8G^z18jUs#*=~y93eIm7D;%?mYoi{5gU;SobU1gbB&j#6p}c+ESlAhy~}@MUz&d z0dVHtmp6O;ZiwXi!mm~nL630X>l*4!O0hpID1S)3^)3yAyv+i*F72X4@T3$+aALofu)o0(!n)T%Xqq`!)ID%>}w( zpufAjd~fgQ<;}?u<^bgN=Z}%1WRhsi`%+jzQoQYYlV4ol_j~%w0@qufugOE5>cBoh zd(fDRHQG}4IxV{h9fo8@^htH440!hM%lm-v*P>V}dRlL_bRHYs{eXy!C@u?ecPvpu zR_#Ba`*K0wtCYJHPPFBYN!#i81y&!?`k0B+&1;0ZdxMX{qBUhVG8_OwMs>q zD;0>OMm1H2MrEq$Wl)@3>7z2+0=?6vP7jsNL?|+;t`tvoHD3x4VQJ=3f>f%xm97+#gOG$Z9?WZkU%7OLwRWAk^z#rPufg6V+u3OzNVg|K3W zd}0vgz}Y*3X`)!vl6I^IIWc>gy2Pa9j^tNRYKz6PEG3Ri>nsSdd9%(ERnm{CkNJ_m zTt@0Kkjce_QYC>eNWS5q_5}IQ9HsFI<4WWwnr?phe_uH5; z$##Fl4{cX=tVy(TbtcDRgZgrDdmQ3F8b5sO09);@@OSOBAGh5p`HQgtne zEp4$f+_yHITYoMdom)YwWygXw^J<6Y)FeWP&Pbu#dB+lq1GZ*ghuZv-ZJ-%&(+~|& zLikqqSq&Tzuwm|e&X8U~!T{Q$CblxdeY<2KqV!DK&05&{$AKTNRMT-}p-N6LutA)R zlZar#L{eC=p~sV+*T6ELJa2<!82mbj+~vSIoe`K?aO$RlL4w%(8~Bt)N_<2svIxKozYFomZyfUv{7%cyI&b;{bbSs-Yuxy&k*S=VAagU1t^ zDJ?a;wA`*P^hvxT^$b7uvbF0QH2g6yq2`etg5F9RAcACnUW!SNBAR)7q# zYbV@Ak#t8O#>gOzY`$PBd*%7EUWj9Y%XrfCxkiEX;T^Cl4!@lfSSicN&v?AbVTey+ zY0*U<_nOP_iiX1<&e~MiTrhmTWZU)o{7R^MH=a+*1p$L3bNHhaAqnn8Ehn~N%dRo` zk3FLF7!Oczo5P&NK4l&OUN;3DbpP| zYIUM5-Roa@mAu$Iw5TmZkV4RN<;UO$TxEZ5F4NM(EK^BJ8aA&pw<)Y{yEUh=)!v&h z%g@PB-LldoS+`0KRoq7Ij>|HC48*dvk+(iZ#0CoXaZC;&^36!xGoICZ4YNVJup2F2 z;~lZLG;^~w=C?LKcuNTdA;8mwHsWG|foTlL5n!cn0;VZyFB#;hOc!wb)znam=$%gg z7WXOOBGBGMAM?M=^%_pkB>TBcO_^W3CwiRHz?052+)^hmGSV@$zF}ivIV>xDT~_(~ z-2uRmf5iHy1mso;xT$M(ojZ(~KfmQKv&R zl76q^HSM{w%C0Yn=UAepW8Kx-9}Heflj8r@yi($OE+we*xJ>!op%9I^Lg+J42Vk=V zD*(?ERWG6X1tPd0(>TP2dir||;+~d2m>7t?PK7kb`WTU@Jv*-tk$8bbQ#*v@=73kj zI0?>DB(>)Mr<@ekp3W!`{w&l<(pKq(n+5SlKDE2)qWzx(ra=%f+?Oj5gdsrm0Ptn!UnE{K@_G-Q3{jd=NCF8a#$iwx~uw&iF?1_)I|N=$*ZCs(g2wF$e-Bqk&ZB;rM2kbCrUQ}qL+AIu~e ze!k|f0#OwDm#~yZZ*un{Cq!kmcUyF7vU5 z`J&7@ARz2oUiOM99`p=M7As9~HD!TPymxF2Oi{Y1EuL30uw;TgrW=nVzx4xq_1wN? zmMk7^8g}MJ*cYw}V)ErU_Udg9#o??t<8fik&WF6J=6xHIXmsJhw}!m(w+ z(!;|RXpwkM_p$22UcEv$(SEMe;fY^nLwsD(#kuxHX>*7R;qY9vGQ;*RMoFQC$(hW@ zMG-}XX1Ns`$mE_memFXwFmeH*+MXujqFb}pSC4xPbm<|;;Ad4aSYaiYV`oi5vcb86 z!7ue)o8Cw@1Wq--iB%hcuQOcdi=-7TWPky4Q-x1^P$&`WsCq)4shw5!PZ7@-<( zd#7g(L22?OnMKD5Sve|=gn~jeeHZsyRdhebKPg+GIfH*8Ec>PaV@}m@A$y|T$Q9T_ zG{B|W6L0rHi(T`W^gv~O@+HWn1MKB{d;xrEsR^@oxdsZDSQp@h#9cb5Ol?nhZ-d{U zxiSoQ|2G@!Ka2)D3)_F2Sc4j}PV4L_oyY1m999&fH=nz5NT*~^1+r^t;-}=N{$W&U zjiRQKG?tqp-=04qBvDz(H06pqSI}YUe!g#Ab&<=d!OB$;?2djD9>rwqNGG5~BCwOC zG5!Es&YTgIimX8&^^WV1`Og02|8`h;JctjshgVYR&9}WQH%h7=2QFPnVu@*`k%1?S zWxN%8`6bL&c66qiM%F&md5L2yX-Tm6;{RE7Kdy4cy?<=0QRnq}+HKRO<@_6-?d{Y^ zqt3xnHviW;Lu|Fd!$n)gl^9Pc2H8^74IMZVtdBO(OC&DZZDd?|l|IzkNV7!0a+x`3 z%c#8H8Ba=W+WpFB2;@Bqg7bFg5h90RHpU_iAchhpomhF5{9>P{qd#NcW+S|`tZFA! zEjLSOc6lx4nXHST>4l?qAh4JomsMmtY;yG9rFMCCTkO-ViO@g@5<bT zg2oe<-XuIKjp5FrLj}P`4YfQIiJ^X6A{$tzx~N^m)1yJz1%6=_@MH_C+>s?nqV8WA z+v^#BV?oD+dIjl@aH64{-*^m2gw^E2LjJtn5_84#93zs%`PhS^_TazkPWI~2j(D*J z*Ze!T*S0k&3CCfEEk%#GlVS{Zoz`P>R2#z7druV3vr`GPQi#G)(G7aVJS)kvI*h&# zbAe_FR^zlX3WP#Px|QPfZ_W;S^3{nNnzfR-0BL%8e5hlS7SH%g5JVhUsLC$yOR z=8g8DlUVNF^n0yvk_$zDO)Gx8VV(OAJz@A7b2t?`GiSHHlA3u9RDfXc$5DmivvJfO zt6);P$byFWgo&+K(e8Fvi#^RAnSVgQgMEhpCYeO|wR!`Q(hKN}$bd<@a4FJ&S~gmGwDP9Jv3_ zjr|7d2p~=c`r_a$*`>ER^7TwLvUs%Az>~k1FOj_&A*aRNl|^SjK+ho0n>0TT}J+=kaU_RaoP_g8f)fUgru6Bej(JM_1O4kWmAjxOR~NmOTSmxs$O1%rlUiP2 z3xQ3SeEnr9aenY*kYSLSc$7PY4pYXjL~pn4Y5jRZr8Tf}ihsg_gD5*T#lVLIUBmA8 zU8r6czX__9S5dOJ3(o_=tl&)~W>jwn*)W2G4xYzjtXN%;bh1?-AZKpAb4~muNkEC( zqZSzxo}g&SG}vgYEzo6o(z9>I0W6l-{y^Y+a-KXAnj^Dh(D6*DW+^kX>APVwlh8b+^O0cr13GV#Wf0p|3EgSw;g1BA{{r4R@*tm~N{0neg4oXlD)x_$%*#h)C3 zb<@nCv^!mxtQB;1$H7OgzlQfMbXvSajBhB5HKcO7bn!FPbZGMSOAvsL@aj)=gInn1*$<$a57^_f zDO=%!X=A7RzNf!T5yk|@6AL{rHoqWEWN6XzCk5(0`U6+(^gc|n1_w%1I#5srV#Sp@ zP>*RLsht9GKw)FNAT$l{EdCqg$9lm#mj5s!_TH*b%<7fZOvCEAjhC0QTFmAT{Slex z@`|#*wrlNxhk3@P8M&fuQ`E?5+TR6Q5cbG5+B<;ee56EihNQSH|+pLr<>=Yyv<`xvKiMy<^0e<>YlI@@rBLrVcqvWh?w*sBa@GS9Q?n7@Wd{~N6pk`cNlmR*x#`%Miz)wNYPzf>J3ZmTy@}vxShY?Iqxj@t&!$}V$ zUW~XHx^EC4gIS_1AhZ<#6M*0a-U~7KV80Crv{<2k<#qAUsV!N1{o_I5gz^z^Tm$`k z*gGjV{K9r5H7lXfENO~Y5v-1QCq%KH;0Q=A++Fd2hMbZ?XodiLD^w_Onh*W zaQ{jT6|F)4$moUx6~8%}zde5%#CKndmU^gFbhLv*A=dWLKj0Dl%l(}jQa)hJNVIZA ziAWo;iBw@q0)z#{X{I!V?Ik5?n7wgb{CgY%NOUl|+~-;b#G*zt5L2B|GO?)KnUl+d zzpz4pZvd|u(jwHvtm8MKO@|e@p-v;vGXiI2xLU|ju!X=S9b*^<1ax5zf0^>##MXR; z-#=FC{>+ag&zjT5<}ibS;gl#)paeq7s=;9*Kp_4k>K3a5hy2nepCO6er16Dl(k^NT zn~WobS6J4;rf5T@6WqkY+*ts)^tjl^{DjK{Y8gX&c?ItB#B1y2WADMLJv zz|*ph;V##(dTURXc{=lDlL6fG?tC|zN*OFIcaNtpcT4b_VZD!W19yc~n;M!W`oZad z79aEm(7%*B<2{1uOe5=wQkZ`%R{%PA)tCXa*u3+!8L7f(=fT}XTf6UV>5)n@!!VBD zet!t(j+3wEzHSb=9UhJ?{VK-TlWYS0hxb1$0KC$&Y}J&dn!lz8EA{7#PhVso)1o15 z4VW>pB+(=3gg;>H_Higem-+j71{s#;_AdkdI+h{kVi%YOYOoIX(4QFFvw%?@x0SJt||S$&-bG5 zw`I(Ka-2l+J$N{~66Z|mUW5~FVRp=#84CH73lpeG7#I_%jrN`KQVr!^<|`osmkb_n zQ7<4%7YZku;=(q0QzgXBQsP%w0dTp=Z6^Aqcj1uwjoi+PCAzO>;{X7q_Q*ZL#)7$4ZG`nqay}GLCu;pVdMo(Fz)idFYwUz4lkjqD! zZBxsFRw3g_-gPWNS9%_;d{0-?a8M!5_)UoQ81VF1JMmaKW#PyqGheS#^v0Zow{*3{ zT)p9EYw8;Hj@Dfody$m{ERszalZd4AF)sR*F)DUeqQAU&O82iSj+_*J&-fRPJ4!P$h>-_y)IP~1;l*PlF$#Vv5D$;y< zQ?~xyCM0O?`@E2qDI};-5tfE`9A!S5?8j)%sQiiOBe`HVD(it z>%tb^aWmqKQT?86=EZtVyRoXauynh6{dBPs!y@L`JjTSQxcg#bHtfmFadm0Gjw^7< zU9t1F<8Kw9}?6S7xZ6%a2I+r z1TiQmIVk79@sDO~anLIvFc!dnF5riPYBGVb{1*_jIl2{8i~yANKT^lbpif5sgTCVi zo2U5?8ohbV6bzXjjP<|JKbpVd!9IDwSpTzZGwL*0BK3dJ7|rc3U_Ae8ZFqEWJA(f~ z$1sBnQ-iVn7aFtqR2y6u4~*@<(K_znR}}w)Hpl@#!THbH7|nWZ;DIpz^W=|x;HEU7 zEGf3&5V-$eeaZ!3{@?nPjfsQvzyACffJ@hJ7~a;!`oD~z&A78}li6i63mlf7o`jk# zGxSZy{t<}XU)hj}g3^if95Eb7LMRYZ(e;8&1xcE5QooslIWjEaIdVKen`2?&^W{uP zuv%nVZZ!K%y#I(1TrY%t?;;DNMSbLbz7AVP{5+N?Z zMf2nAQK|q$H*v8AN(x*x!Q7Cba3O1mJyoKU>tLdnGs)yAuv9_h;_!HLR45U~P@ZV4 z2=Y|S0B=KGRPiym3oh1QK!bHp)>S`yJ{UbHZ(O=`j+p~EW^cbMK|yR9O-@*=I7vT| zA1RVq%1|6X44l?VW~T+rUoDfrxqbL1@A5A~ig=RK!CQa|s;PeMMW*lYCIF2&#?s~Q^!{+CR97I zpYc~zA}WIx)%~hRpZ@jO&}8fG(q!F6G#xM}ZMr{~($r0URNJ$r{WyFm`(n*jHO{46 zuNFvAtuLv*f~KPFz`=kq%>@1|tNKnyVA$M7M(#H0Fx(K+WIJ8{7HaL_mT|sg^*(jr)_rXOkhH z{Lkzt(o;^+Q9k?osY?%y;tFC;sEx(%s%uw&(aL)w^AOK~3gQc)XhR|Ov>#9pdkuZf z3&J-W@L8y|HNhqzOE`JY4|R-Bq8G)aYnaZJ*)Nw?bh?50b3_<=oDJxIBaX>$3VK>0 z=ZerL6)vqp|CteqmOVU|plElr2LyNcaK3*oV2J*u{Wy`&9L0ArfgXZ65vlzI8_IGp zNeNx_zrZ`v16&n?(-FL3k-{IW{^Uf`{HY}XQ7JqJ5;g@MftE~TBJc0eFX>O3J_KnC z2VGg*H7pug!+9_WS1@e20*yE#M@tlNmG)GGah6bEzzXEo7Bym(qLTE3JpJhyF*l;X zo+~edmNde3kkP^@^p%PWMJDlkt{BWh-11-v)%z!k@4s)ST7f~3{A@gLAruE3lWgY7 zBIWlJ4AdoKQ^3jIQXa#y_P(O`M$vxkaa>m{^8Sck3nG%b;&~6VsC869^9BWAeo3e) zQ}6H0h!wD-RghiKrfrO-VeoM&A#z!pIBdrK-ek4*U;h=xyT5J?TR)<`8XSCsItPTX zS|7<|CPEw%YFDIc93*d^*56cS0&-W`Q6NO{t(f}7R_oB)PMS9Q{-|oyi`t));%iIW z5Lqg>-mUrm=q=(nev@gWo`a9f(jEV2eto_-IK%)Y?PuCNxM zTVzW%>tNslk_4O}gQ=|)k13iUKT;KlP#5kHC`L40`KpHTjGu7uG0_!UeCW9?+13?`$Ja!;?=F1Ryhz9iM zGh;C&matB!D8Q@IP{fF~%D(wj5m`v&UPJ(m^o>vg>-eg6X4Q~HnW!Tqgck%Vb*7H6 z)BmzBWUa*8&Nb7~UOC|^V@g zfe0-r0YY>`i3f=X0_H(8?cjfbCO)CVqaQIS%qm0rm6Swo=Nsc_jQIH8+i5vN!41H! zk0@>le;SP=7ieJL>Ev$OdIk%$2}U(N%UWtS5XYCWRB+m9YhZ=aoQaMLMynf7 zDjySN9dnur^Q@+V7BfSG?ig*JPEt$y!7M?bjW|e-Lfj*?$dy{RF+|DI+$l4Jy<{Bs zS;ZYu)S&ROp64~5YLa&gY!EIWAu+8yf@tBOAHvxMXP1tpd*_k|J4Oc5#`b|Nvw!~P z6TilSo0&TL^u>~gFrRrPsvtz-Az(8$o}}}Dg6>^h@?g)bO5j zaG8oArefeFYvPy-M_PJBKrC0SQR9ZwUk8`cXM+QU|E=@AA#pm*eG|CK=ciQf(J;6y zL;F5Im*~B(@&Vy*j)V@Di0=TD5~ZIeQX|KB-JlRuwGAJPDKUO+7mHY`dJHV z9!p0h;Zj?8mXUxcCKar!R-ZbtgNJX98*)qxk`NSatWob2FM}5EZeYM=8P~9+MXsNSe%da;FyYRWD}a9 zPm9ExsOS{81Aph3>6!o(Fv({1B~w(m!`qWWmrfuFNf}Si9v4Xr&AZ2vv9pnQ-l!_* zTVq3WqMf9S4=0Mp|24J-Y2J7-;tu533Y42S85ipzhSmnta%c0p-jKOLaMBWLMj*RLs;)>XAlqRwh`CR0o zNO@m~&&lP^xbV~Fmr2P+Y}IJT8)k39jNoe95A-|v9j+l7-nTaji_D@h=mEJn(Gh`g z9a+Q6Yw*5kZDZ|$CGX);3x;;-4eleNu9MXhihgeh(m0`AOs+qSr$wLKD&jrP6G9b( zGLn^w6|(_!w6XqSv2iW9pMcDNOm|X2L_X-aG(ia<>u=gNjplD4o?fJ}d{hiol4+c? zkXRiM|DXzH8>CICZ&kfe-iM}fJ~Lex9dS{jl!fFu)j-F$`QUqdJy!gBJGV(Yj46Kn zD6yV0U%d3@#+|*tzeVhL-FF6lzkJGvP(l|Iih=^|DE7-K=6Mfy4Bp7!&*K_a^ZmNF za}x*BkFOQGwlh;6@is501n{=M)YR0Mo$Tjb6G;iYpCutc?oIf!RgT{u7Yl+=u{g6* zIP8Qd^FMraAPJEDbYjel4|(5-fw!cjK%HJRawZ2~wztC+FNgcx!-)Lt=-7;BkqImV z@pxbhoo|pzMQW|&b!Qs2mKua3ThBOW_sDoh1>?}9i*MS$5~}>8=icet(dMRn)Qra) z8M}Ml$tt`8{Gol?cc{Ndt1l=LXvx>wCnzk#K4JZ0r~cc6WvrUUte#>JM>g8 z0u^!)Z?eEb{lQ*R*j6J6w~IPScYi#4zn{QMG_^!YO|Fcn>G3=G?ds#j%fSbh@@keo zD;*?y+jeEl=1~Z57X@A2%Iv9l4vxjaGeh5udB%W&>5t>Xl-Dson4!DViZgy4@+X%W zA00WHoT@u9#2v=6BUk3HHPx(5F&9e49K1OOUJvF1ZhJE8(BLOGtiNr=G7gRkKJUO+ zA>Ty8jmqhqk!Oo8lEQ^a!({mWa!_FxU0&w42Yv z@$HLRYS&;SGsyBYz2x&Rd0Cy#aV!VhlT!udl_Gxd-7xF9+K)k=0kOZ(eB=@L*KUND8s=gE(VCJ;JN5M zFbR%yZp@|6&397Y-;cdn)hMOl9+EkmN{3ZI69q1ZF$u=q$cCxeD1C)ge8zc<*FNz-yZj8BcHma!3qv%(q}1g1gXSk#jI@ zSA=9HKKdxCb#zJ%#?bm@)?Amxf_mcP=7wRmMT(+*m~Lf+Z86N<%MCEbO~OvdxwyC= zyY@%r3z!cM8y&xQhrCjW(kr&Wg;lmF$Nk@Z1BE8Hw#f0Wh?SF{SNmx0InC`}2KsJ^ zxo&U<^7`FAPXzOM^ca{2hlwL_k@~jU!7kgJ(bzYBh}|Q@^{WpooNe`|AL)dW>X)W{B{Qy#pSBMWYl79u>f-q%fodp4@>5lFsy^J>*^|XR|nANZtvwXXJ9IpBY1#x zM;`+whLAn@+AyO3tAPzuZF|xP%w_I?wtm#}g1KG!;N^1hUs2;!?k)lb(X|QGZ}$Cn zlNndeK;JYcwpsDH^^-edY1h?_(eZCz=bODnT%-BzLDLsomjIk4OW*n3p^F0spa8$m z{W0yq(W8Ma!UmA)BXbS(bM#NWuybnfFgXia42|n#B!^j>jlnjiO4kFcm8&CncQ#&! z$JbkN!u)3fDE7-mToYW(!O0KHBrBC7VE_f!Cl>D;780g$=BlYFWk~(^f&KR;kHO)N z$&DmZh4MH_!pl#6A&R9^n`!R;=njpfyF2rgm@Mzn3^!o+RZjMo^V$RiER5BLTg~nfuP;Wa~|3$j~0OMp&p$CHqq+$WE z0$6DQ%#;8CB{dwQteuIdp|dFwl_)nefEfVbWMXCdk4VZ27(^l%JM(|&%YR)G{+Bn9 zh5i3!FaJsYcjj|&s&>r3u$AELPudr(pOPt=yBIKF5U_CQHuEGlIpMr5VKsmnj*3pP z_iG-Bzhp{(6GMV8^IN^0B&DB}W~6EFgdiCi)v%-QXyT1u;lra6)XO=sJ=n&Cn-#fE zmZrsLtPkp`s1@X>44XDK~QlQix$X!9!}loW<6P6dH;qmp(c`3OwZ%!;1cQptTo zX9X+u%u^@e;NxDD;X2`HBU`iyyhgEtT3fjm1|A7Lq`f6q0T9r{Frs(jYXg2VXvJa3 zcqRa9`tXv87Ba%jxN~BnA1Ne%QuK(ae+R|pt0l+c3?e%pNsehT(vw7p=%wbXE@@NA zZMpMzcsK!DUiZB_&mo3Fk8_YXt_Mz8J3cQTHu!YjF|har+`b>i=YVf3pR~(CI5}Hg z^uMK^OOx%E$5z{tE|09s>Q*!22inTit{(bdUmdfUfc&~<6B*Ajj7rCBjM`KE?SnVQ z33-L^hz1-n=O21aQRFpth}TEE_>5MA;R6kImQ%o`%Zt3``Y7v+B5T|=r-KUx%`C;b z#nuN4Hu{X0*04=o-Li=~)p3XPJX2T4-!Ami^pkorM|Gyz9*Q#ZjhssaQLC-Vb|y}# z^}0M>CzGW~Hpds6fre#^I8hTzrZv{OwhfJ1yo3l^cnHciHdZzg>Bvy@NKmRh3v1D= zgpj~J*Czl`BNF+fg#QCUYbg@c`B())^5j@l(**PVD^uPkGkEjAQ7-@&nv~Qr*rF`I z2UlWu|Fo;Uq+8F&{p0TK`TX?NQ>Fi3<6Pek*XQkweBM)MY744T6%^xgtbje~;Jk+f zZ_I-G&)2pS?m-{DzlcBS;DYK30+nh#sel+-D1)jNsNvK}5W&e7%FEPch<_AYD?VUAbuNhf~Hy?I~5z?I{)VKoU7> zHXPurjF~22$uavg6^#Bf$Tz2}#X1^*g9n$eb<8_QZv=&MGYSTEGitR$a8m;Q=LieM zz;Ilj%GvlSJWpLVX=*562G^IZ60cPo;w)ta8Td=e3O_M?LBulf-whU_0ylM(dITBN z5x)?TljwT*8Dan%xYz9R#p_6J8N>!+L0L&6YP^9+IbmZ)HPK3?56|S3AOq97Au$Ow6)bg zt)#|U7ZLwLP?0nX&TcP$&Ti3bh2{Bzl4ZX!ogH4o)RN;V%{2ot(Z^5N96az> z8qS1IuB=5u)NKpb`T5zM!w7Tqk{EoJr)$VpnN97`p&`1(UHJljp9tR2Za%vhiAZEE z%oNJa@Z`4`!Y@*L<-1>G8sJo#yayRImIYs>2-@imw52VH@mRB^G%*-mbl!TdndvzV zS>ZVo+U?a-z&0`4hxyx}}FJ~pfK4~;!4__0P_ zQF}c;IjesjGkNgMewf&7m^nUvG=_+nA*Qiyzuwwq*=?Y99m-8?yq=>=tT`Dr?}c2E zz~Y?)A3vTKN;95|&rh#zF$Gj@O=WIgWImQt&NpB4)Q7f789uXjIX@d(FMT~e);2#p zPKOMnyv_)=9uchG#9jmve?R>BpIw+Er3?mw1jwli$Ea-SX-dSx$qC1(PNdC5#6raM zZ&Jz5&iUUY+rQ#-N^p!)wq|z!&e;FwOq58QmyJW5iCvtPLzI>I-$u^HEX>KwCd$Ra z$s{Z$%EiSY&QJ9JFQSY1za3CqOiV=o9ePNO;w&x)yzzvxt%?fCU zu^_}(@dru+{I?-~MTqzc2yWi!q?NN}hJllr9zP_dhOHqtQocQoTp#39QxE$JQe_S9 zli*M1eqXF0aC;QV5=mh(a%Y6-eoIdH`U43yA+_F0sAW8DLq_Kwek9uvv*x)LTQl09 z9t6?;Ul!2w*qm_2*1y5!R5wo5-Xnm%?eNZXNX`Gy6+-!t0)fFmIb{*T2_6 z@PZASr-W>9cejyxQCmjX3wh4iA3jyuk{vit*`H#XPN{zZWc#q2!@e7g1Mm|7NMmO> zzglG(Ph*|z2_AAEQc`x9b^I+`;8+0A_XDM8^ey!K3#C>4Bs>~WkVsaz3+%uW8-?`} zdoM@%keTih$M@5;WOPm{dxf3c9wGlgFz8LhHr&SzgrC@~OgJ01i>D9`oE8o8q({r&;ENA9-n8eH12`Qa7kaEF9s)6;>7xlw9NVAe zx^t&zkvnaHhk9D$HQ~%m3PYeJ9N5hdrBGGrGwp@ z=Dgl>ZF@TR#`Q;4={)e$vZ{3a^RlDJb{Yz}&@f$3NWu2#{PcB>bjFI{z{3RWe5&8p_ za!$73|JiH~Gr=6C8!j6<6NC?{HTklj3K;pO*v>j(GBGpjvs2miJpq>4@r)cZ_f}!9 d&?+uTEGnreN=@T3GBYtXG2~KJb@g}S0swa9gTnv- delta 33078 zcmZsiQ*Dcys^Utignya%`UDsK)Yd_~) z=AhJMqcn!q}1ym02&iRIENxCrJ#LJVOc{ca0-*yvAR>%!3h^_ipKaX2Ps^IiZpjL#M_>57uRm8qISsobXQ3*|3#kf3 z=_wRc{3a>f#i5ce_l=pKXnqH=ia$@cVjtV9H^9pPhyjD40ymP!sSJdq>xpW=MTSahP8iCD@|xFE70e;omGmIVAKq4W!#jE==D6f&*) z8ClGYZmK-)Rdl@JFF1Uff-fI21PS^@j(_P18X zZ{~5icfmA@qdK*Mul)R30EW8cOuVXh82KL{1?u6LZ5*GdVf4c`9%3X49*x7hdSX87nEY zT@#3_mY(=U+kR{!KP^u|S|kHENFIr>m{Lyd>evDeIG<`}&IECjG6B{zmDS)_(G zDUJUCu^Y)MGu>7?%CVo0lNyEixv9wz=RzYQb(spB$SNp`uSRzjEpa0rWsm4xdO53W z?|D6;I_VW9oVXg8(WC7(_EkX}Q^aOjZfW7SLV_YT0Ln+z+5Ugc%bksbioI5o8u<~Z z*NoJ}W-40Z-)pr1bEqzR0w(*@+t^o9;^2wbqjZ7NessSahKabGs?r?Gm?uRf-57}e z81Qoo@oVTOdH?Qyyx`*@8YqZ_-5ZGwVSH|;3!GIghyMmp-PaT&e@vblxV)-&cI3Yi zuRt_5=%No4@777!5@U}QW(=}zo~*Zw?aVK=HI9ye_}Z5OXo<0?IYcNZd=r15LyKX0 z+5z#_A&D~2S|)AVg~4;bv+8Io$e9#DuHRX1mobe!FL6lsN&C0-_lvsyu>QTuos=2u ze{H8(bU%uCUT;{5zV@N?59d^pEV|MNA^tJ#7b^Tg_9J}q zBMe(vMYL%E+UIP@{s+}Wqr*&gB#L!cWtc9se7^LU4+*Z5y`x- zk!k^hQ6LCw=#jR>!ivaBOdk*Z!fWa`o9{fznXPO1FwQcU3s$PH^bX~b@L|wKwS@VN z*0H({Ul(#fj0W3wLXZ&Y%P)#Q$BEq~2y^1VEXpGbAp4_Qi85eGnaWEYn)F?7Xpy`y zd$$>Fr_7sr)M&5t4mq)-nmg?Or~-YwP~#PoR@YfDI-wY)d1mO&TTCTBC1~V^yIDx{ z#xaM0jc3and^R97-s|(mFJ$qxz2ZX781hl}2Ped`^iXA2Y6$BZ_2pVPFivk4H;EOO zl%jPCAfet%@AtM?2{Fs>jynT(B)5{uIMOx9aU7>}6p-RtuY`|euezXwcVysvg8~c= zN((ua2M;#+$L)gs#DeiGNV*waWy`d+UpzGQR_3m4q7zKQ)L#9tT#agBOz{$Z{xo`} zg?+*BB9GZ=O7L0wAf?Z^3dyYE+4H+!pzwtP5SV(>Vbi^I%w>9fc9>C-{xkOghrN3| zmt+5Sq+P}-+2KclgrrSM6Xu5m4SBFy0=hf_lt{4~y9Z(HJ3R*7QgP3``SV06E!JD} zX4Um_V9`SDTV3gwlY;Ftx z4OWmNi)?tDQ11Q6a%L1=9zRZG;W7p~UkQFdWJb(AIBE%_oxK*Gt~@)pjEHD&OMTbw z6wUh3q3On#;=hT8^midv;$kXh5ZXK+;9}oyC7IK&KnX_f_qStkEp&B~uZz^o=*(f$ z`MXv?a$O-uKvNK>)IaE1 zK$EgroqbH1JE35ns4F!nt6gMh;aNu4XCz28T^ykdRu?2)cb7W;Xigqkz$GZ1L*{#h z5ZvzqHBX{_YUSF~e~{LWbA0m(7?_58PZrJ4lqWY}W|){&AkQtJiYgG4q&UiV`hgrv z4izof(cU@ZuX(w;fqUQ`feWCjYe~m@w-`{xGMfAd$F7{Eruwt4+dI|9hC5IVO4&Af zp?JM@UH4jDomTZF_}UCKdd3VhTE7T4v}s|nwLNm}1JkQZ(0eRkM*k=T3_xfg9IDK) zeOc);`mx}MXdklR=&}EJj+qd5q&3TXS5;497Ai~Ex+YS5#P96Im`=EaG^G6!ExMfv z)<65^fYY=q)G=$`%r9pJn+z?Gs&`xeHBKcN-Y&I-ET<~3n)J@8k#D2cKP8uY4{tRz z$cH`OBE_(j>uPBgmf)oc_>QQX%Kb=;2}$S1+Z|XJxK6(s3Y6N}s~EZqUYsA6iRu^9 z(Zt(we1y`cDo$mlo#hNobF?NEL5lW~=8+LwQTpS2{!{NHK~29pDx-5cdEyH?3wki` z2I6YYpEGq)9^m=9lGjomM7+ATYcP8?;+!k3xHo*NjF3yQku<#vAR!wp?T??;#fcK< zgUC;Sg_lWf9m>(Aui_oyWmwIRRWN7K6Q}*i&N3GsxQMYm6OD=67R7r@$L8ZdVs!tVDU%+4Mb0A zGQ|XA<4!Topat~m$haN?G5cN`{w7u16h+0wRJb^;mZm7KsuN#M8<)El>NdtEBk+|j zZ%1(b@PP4Wnn})uKORb|((05_pBsEWJVMQM~lq`3oszG-1K^6S!$S=!z152mr zeY{lf)&+F`*bQ=1lT1M#i$|kz8Q3fXk$IH*G9&6($=yTo^t}8TtVC32ccnupW%hG~ zL(G$E>zY$JUqjzp579V_CLa7mQmBKOWon?$eb6A2v^{vAUN+Qzex+IaNvX;TnhS3SU;~;2T>gY|Z+it|Y@k0`JJ_4FSUXjF zyN!~{lDYEgmWm(ku>4#Yl(r12w?SfZ>mJ}zSD6*D6vgKcrkJSfs;I7`Jz3_u=6n7T zJP2o?)aDI?%k@xIue>XB;cRNBJ0SC3c)AzJ{_f4&Ez{`GwLyUjxn+m^!zu-wVV zQAp_KAMi6ENRt)0H*f$9V&=v>nHn+fE~JiyQbi>)Ifca>o{oal2pc)ZIFOShG-fB& zj%AwWPA)2Z*WWu2gmeR{({?zy)vmJBx&R?4#ge}r8U6Tix=ICK6Dvg~`C1>J-AaF8>zF^Z<;8 zms~Um0eXe~r6GhRwFbj=8EGiw2zpuocXK&;+Ie7x$*DaEguGyeg%CO5e z9d7)-wW)pjNl2P9=!%frw0;9Uk;2QXIx$*TkaC;0o#i+W6`ePj0Fr%T=m*qWGq8Kp z?@{5;bQrhVE%zYeX%x|4lUpY1L7-ZyqO<%=CXpw?a>4Rg2RpD+N@ z7}hil##h`Hq+UKl!mNwU@}M@kUJPPOKljU0iW>`}_Ti#~#It|#-+D(&A?pmt`pX@X z1@IT^``fl`77gbBk;mic4q!wPS=!N}x6k9Yj)5%=YbXSzq5AwM5+8c%2tN4Al%FB8 zn1C4@(~ab$T{Bsvknv&Z=1-UcH3{;h6K32^N(cy4O+Yr2ReFfYo?-aU{qwF8_d1a# zQard^a^vAGKf2{?A8~E-Mh;9LZYePtpHP-=odYc1cv`|+9~WGj6F^^JXP@t}T9v5s zg3JI@f^HHTv1tsLq|7PZ;in5m%bN0KnIDWY41q$7I_k*h`xjmEZIm;~(=|I&L#-yQ zIRXD8k_ApeHMO*{{E;rn>^SrggNLvj>~tZ5O6%xR9aONl#zS-IKRNIFOgNDzHiq)wU6)$ytiXXU?KsKjDOa%YL*#B>7%kH?tt4KWlVPR9*BNOvy3u+ zIn=A=Wa>G=&rCU3$`GWF{emLST2EUBd>=9QY$pwgd~T&``kKGTK@Ox-d$-Mw&tse0 zt#Uqiak%$M&(Ppfrk8$&dZrdjb^`t53n7Q&)E3k`v3brwJ{QdnePqvG&0UQg{8E$k z6?;u^jyRp}HNaKlYZ+84HdE;rg7Wg{W9xn53V)%7uPM!fQ-{l%degBcAsfu^z~Eze zgq2I}OO_;u6j!v^eE!jUD{Y+-rR0SE|$pCrqC@>~jU2j?TJ<(&`y3%AFvHouT5;fXfuf6BY{&7Zi@>x?KrHagz z9f-~&enNA$8$c)}+thixZuOTu8?*uuo%C}e1f2iAy;^{RhJMp3JlCxjSuhw92=U5` zGxLUpEx67;>~t4l&3Vt=W?dmV*uLSER7o{`^(b*QS-^dC<1cZy=O5pQz!ANjWkklI z^b^F4*6rpmQ2M45G6f13LK8)r{!=S)8glj+%y`iC@| z2GElm-`n>>uou)J=ZN;4At)tQpPCrgfy%{4fAFopyj<_S@(edYwcczC=!`&DgV8#> zrqc&4=7QI4HN4&c=?Mi5Ztex^koBXbc_|G#(K?(IZ?>~+=pule5dZP%88PSE-Fz_g zZ-uA|`x(sGqaYS>;ds?n$L90R(yIB5X9{dz8C=GbB-RTn7nW`_EV{YbWIrN$D@S7r zh&L4EuiZ%91Mb+{8*TD6$hF~};9{C-e(>+OTNqn9R(HAUY!Z!kKL-vy#aMxImQbE< zaL$_{c^5&`Ocuxd_=F1@UW-c719D`bT(}Wq)_|| z8cxTK$|^1vxR{~FqH=}7M(@SYN}$)ZgQM0F@9}c`=c;gJ@_VH>7iM`ui}K~%72NaG zmNnRF7=cHjdLCr+m=(0$=c>w5gXWY{N3t^UIM^go!Sp=b!GREGGzZGg=wwZM0iy-m z46kar>Yv7f&|{%*u|j}ZZp*Rg35IynR`ju|;dtk&HHpZj&==sd!rU6CbSxR_<8d$fj#0Qwa~;o zO`5?}1WFboh9de{-9}`&h2-R^ziKSR3GonR9KdleZguh5%rO8X9G0OIjf~!i_pp0q zJZ%MIbPTRyH20jA<46x$AvI_yNaq1sSf~t+v3y$-9u9~ih5_8apUX00W zl^m`KrvPT;NbEdCQA=h~Vr`@Ys}dS#whgj1_g>WC)7bmc$y+dQy}^B*h^@W-RPIdDagj z|KmZyEmjA#bd^CgQ%-_-T`Y{i3g7$Tr;~a>lTWY9*9+iULG-o9*~L?^bqr5vA+_&l)fIg*mE=Kck4ifpRlxfykeq~d!p}h{NeufSvtTsISQI=d@L_4 zc0jE$aPC!!4Ub(8av~jpH;aZ^lU{Y~FKz;K*%XZr4nseHugZuyk&T18`&5R!OKo~Gu5E`* zd`~`N)?zK7HH9&DeOTvw;2%ZtKx-h~!54e@0M~7xMhS26BB}*byfebMgDsXOFNOy2 zB$NB9gE1@gghHu#d027#{xO(o@{+))!Z2*zf}i>Pgt-Kd##*_IxdWH4 z5qW@a0V$0n!+82i+@gR~(m)Dv2U7!3c$=jK=Z4?on72qx_^lNhvImQV~ z>YDsg!LWRR!lTE4iL{O#%~1AB4$1nJPcq>mqFT3N6BKOn%kZ)2XsCQz36(Rn_M(Nk zU9trwR}CqLl~0CYM6$U(ybeeB(~SGrAinf%o75}|(_upFmNi+HAE)~agTNRtjDUxW zw61G8OG9T{G*q4&NG_73g37`Sx{hd{j49{0hLN?6@kdd51<@3{SvI{%sDxh7Zt^pS z_1NwV1K$Xbj*{*+{?u6Q;M12R8Vp%oS@?jzq;qcmq!`iHD4T0=8xJES!3L^`u=T}c ztyJ5jL`@U~~bvM8>onDy;G)=i_y+$|S{dV7^pCbEkUjb7O4Jg5iTQ@(iM43YE z$_B`weD?UIM?54p$u%b3x0*c%!Rq6>Z7`2G##{#QZu9Z%3yiq?yqVMc@wxNv{o*vf zxRRUQbTqs--Rbjl)^->p?Er65!bpoQ-myoClU{=DmJF$sm3Y$25r=I>RM3gre-6JF zubo&veg|0@ussep*Rm}l*<|n1N7Z)ZnrAdebX??Im;#CP&ynSc;Ri?b zW4n@e3MgN^R##@vK6(}nS6RK+a;v8U9ScuMD0V>4gXiwTw}W%3t|h^C`;S(lV}RPn z`NH`U;<{~vPSsRepQLP8%(R;0+}=L$%J}2p83bFcl2332`c*6EVOnrqJq0;w!%W*x zp-hI8mF^ZT#|+k#=H3tse^ERfF-3Gotk@dU#BfGzJq4}8e0+X{F|Od7bB!YapFdcC z)etjhjU%mB1nW|@oJzZXa1;8a0iYKsKc5S>rW)u+t3?#2y)h!6Fv1`R(gKVTlkW@t zG_=_6{uCG~T~k7y>=Wi~52r5IS3XZFyajI;Me-Ff7SML@+n?q`%@&`;`1SD%?&e~6 zIAFHuW22T&hvh>CdW^7r^Fln)g`ycdP<_r79nge{tMD=T7n?m~Xg+_h`$cGt6 zPOp7&p}u010w+YJeF~;6=U@)iI)$K0j;};X2XP6<1RB?n1=EdciNON1U-74*dR+n{ z;r3a$%-Q(g`R8yivFC6@m^?h{q6eni@D7;&Z9s51*hrX398GNC`1$|eU}oiJ=J=oZ z2XLh$m$C^&?Yn7Ec1cb~jpY(PQ8Bk%ogHnHsrG2Dnp8x3j4m;jEY?dkvrH5F_QA8d zrA=I-X{jf0$=U~p!25cAzX(6I6DVovF#Nmov)WNyWOjgrb(``XDsurS~B5@#>jm(>vM5@0i^@CRWqC4d~D=LAbrTi-${3Lq7ZG zPoA%9KT%3H?S`mY3XP!}62p?J0_ZRgr4EkPzIbceTB;9`b^qWr-hG8g4+mWr6v}w~N>Kbnhw)d&p4ywKDtX z;V{6^-|r>@MzOXv!ymur=0zJeUFdi{WO3r7Rj=`_1UdUNkbGqw%I>|n1+b6p=(d3L zNm&8Q67Amh*s#MT&}cO51m5tu=D&$uLdwD@oOyNrv?$f{S9dXMlu(OAc zfDe?OpLXIv5l%g6bRr2e|Ev-hsDD6@nVG8YXIsZ9Yw1)uEb-QR_nrIxZe-ErBL3 zh=1*`AQE3?+^Q$7c?<;6BWfzde-%ZWAM?UQ{G^K9n%-i~u({m94 ztNT3OB=quywf1e%lCA$&KyTBgok{?A|R`Lwd5|hgp?^=a$idS0B5|<_+^n!PL|4?N&_uG z7|Q!QvDt3=*bba;Zfo|z7r=4OH;DL+zx%cbZ6xRYdu0GE5+EWdx!nGGzhaF1w=To$ zV`WNT9pA~DqoKiu@n0=YAnnw}K$J>q;=Y7vs7!w9!B0|MwU=K@V|=~651q=Au|qM& zOEiWKI%s)NU5Yq-t^#_W7M(;;a(!arwNN=c=*OMaX50lSKBzr<6ujeYkhs2i@yb1X z8GWNC>5LWp4?v)NcTcTAU^}d({BFg~Q<15VOeQ6OEHD|&Wb#)qd4ev%Gfs2_N_+&C zwr9i7xxhe~vu6f&f_Zyv*eB=Ejp!tF_hpY!O*BRW>ual!ED6Kc66vi55~Wh02ll|U z?N-wt*|X|0w?S*JGcxA2*-xxemS&y30+w5l8#IodEx=xnv=28tM#XSW8hiok8hvwi zQm8CPmzF57Uh0#Ij+H$6Y==T$x)mj&ZQ+_`dET35p1(@+3k4mD&f>RgULEyzqvwsG zifnE7UvzB@SzVH#>Wmj?EbMB7t&^_AQjlp(4CRz1qbG zw0{SpyMS9pyH`#k^h@th8x{x8dlP41T-gVDEyP5FZGcL01p$6j#I@${FDX=C2Fe+r%n74=5&m5@&$051eTdHT zDHFDGcu+_~pc@U%5Y)(04hz+DFDhn;K+{sNDC4a(Jb>FZ)9UC5i><{wcXl8gel7$S z%Kun}v=DH3{1C$$=0n)eeTl_?~ z*$?eo8nn2GIwnt*)U2zRsruO<9y>~E5P(|IVtkH)kRuJM?6q?gc^Bnhz8k?R+oA%9 z5DHqm&vH1(m3ZTzmo@(w-*X90%fC36m(|Bv>#y|OFB~ml#!BXpK>UQSC+%~Ed4UAb zkaDqE7A@!6CP|?BJv3Nl$>>d$8ZMyz;ZyVk7NtrEPeCS(0UV&EAN?u~?B}$C8h{1q zuS?0R8klg{d8|(=b+SI$2HUSlm_MYUc-zsGlPfvL;E9*`jNGLoYS)#;^BQ$GqXv3V zL;MJy7`JYj(aw;rHH@lX2e9n5+bR%D-?J?9%CNFBKvZmvVE0u!ie>9fk4;ja4YR0# z5}pOM`UH?-6|#X|@3|#Qv+^Q+FTg9BB3|{w;e>fD-`BZnIqD8WP_?k}1H+0*T>F>8 z4S$*jL)ue};!CM#ZT#V8#rZa5F@sL)6i|&|QV+f98h%yopeo<6sKHKn$(`gcEHxHc z(=KB?Hn5u3i8{7$a4L{d(D5qy2|3442{V7-zOIn+>JOb1Nqh*Wbx+4x+VFiP%{ej?fw9UD_{1cRQq~ZT!}*uxM1b z#&|wdeyZ1%ib^xrL42+j^jR1BDak!8^#mEue5LET>~}gK<{hr{_A_Nn|A;0t^L~WVTrsx09{=8$b*JEowB7w ztPq!AGVb=_`yq>Bml+yLQdGS`K}fbB*O!p3(Q4qWHM;zZaYcaiQ2^tgC-Hgvh>I3$jiV1S z_k)c`UCe;0Hqik|WX)`;x9Yo3cfi z-yeOn?M|?tO(IYijee7smM)fZA^rk72V37UbRxW0CDTK9uf<%?r%a3y7f0cvK*zwC zAK{=9l?M{`f;Xuh%=;#wJPt&lHQquT=50NV`^x60M#P`e+WU|9Ixe)Mv-939+<_IW zw0w=;q`2E7tY(MdC-h)jGva@&jDf}Z|3PIQo(!iqFj~O2uCD7Q5HsMv`0!CCKU`}I zv^r;+qD97%Z`(S@>;11gu~kem?o_LsYIjr%-`9lz@D>cVnDN=d;sZ?%MLHM1?;#Hy zLMa`c|Lp;H=k?>?!DWsoYaU9hYHsqxh>0kUWcJ^vWE^8!D(r`eghi&4pT1YQmnE*7 zN+cpuX%zsZ(0XUVv|c7zxSDDyrnM!8yK6r4X!-hbTo%7E25lWRtfbx>=8r94AZ1Yb zH)D+Xb^d2xZi8daL0>I^7uzITL&C#dv7G*ctzZW;AS}jpru-t}A@tn3&&4!D%ZSOe zGW?oC@8^u4R8`?5AU~HTmF}`!rW7NO0z#&I%MF0$ODGjRKVh`8#>awYG`P=aJsqoi z1ED`YolRFn5$5fZ>=cW!a_w0I(7*wwVIE*yjsq7z8Jue>gH-LwGy2WpxU`tzKzCR~ zTE|xf!c*oe>g!2`0y8}ITuo>iN%wEG&wfle>w14}Set*+teQ%_IJGpdl>3@s@~mkm z9U9=ROLT0{b6_79nKbIrfg_{;b zA~H-vXGI}F{Z=(;Jsj#_xwV-mI9IbaMI$9Tak6yo6R`>87OknYMw0~vG)3`8K`i!9 zIa!#o=Q6R3_J2eoxg(Ih!@g67hH$fg*#NG0Z>p_wVTL98@kf7SksJnz6eHjT!r-&5$o9Ie5kHG@sS))^)9-gd)Y_*POeaNV*OZ3(Sbr0>8X|c<5pl!3 zRm0IZ{Am>hONKg4D7E9lru0hr7aeC`qmg0#ZJnuMa4gX|UOzXO$n~$ly))En5CJd^ z$HHE>mBGb4H$(eHQCKHDeqFPHs5w&XthViS*5~KcUw?0slu={X3(`zaxUPTffm9%< z{^D@|qF`Vij@Ipr-gx6`G$A8Zg@d;BKqi#HasimiGHkf;h9vOuw-*Q2k>1aQSVtRe z7&sVgEgB?;UGqy}_4_8OdHqI;mzV(=t;>r+Db)Of67oA9S z32Pm3jcYtU(mjgs$wJ>48 zXIGSXfd{RTt7`3c!dU{MsE<(Ugx>tp*85$2Fm*9avd&0b?R>B}@sm@b@@Lwa$N66B zV8wLr;VvRVK7G}Av_MBD{qlT0bwTjpwO@PkvICc&Xct!85X%0P{Netl6i0agQO~AX z{!XgN%l_@Y!|xI7$^6jJ1`C)i_@#s4{_=6iTODEq^7s6-W_70Es;yoyO!yxUd71DY#Ut%;+k`hL*XG|*39SJ@NEhVVK(bVoJ2TW zbb5+?XqF3xStDuL0C=dw=WZn}fj=MHyWYxiUWq73iQ>@5IUzvfx zAdQGhULgpL8ML2s(ZwP*TDLb<#+>xv*a>UQVrW9KFg!PMV$q&pGKUD zi&PN=6cZmZBSaT8{hvWiz7a~Q&z0uheDIf2{60M%Di$VLBl@Y)d#|6xh=|D~Qt8m} zy30s5qG9cI$PJfH;XZ(nJ+)kPq)3gkqIn0lM0iSJVYnL(WET@p8WRRn^k-+MfCoBxg4{W-#xQn)SEH zk}Xo}6+bGNQvXzTkDYaGu(89cnJA7u|6dIR z_S`nG4V3@B6Ul7*j1{&f8;f{Ey7Yh|0djK!Gb67aB31;s{8Bcee4&xT5?bKeM#!`x z%U9*Qsxk-cpwMl%#XVzmZ}Usx44XjqMpB+^HU}w!jV;?pp7CoF4qJFY$`~9L^>_Qt zs%Ic|l<#uBU?70&Sj|J;=*N6V9oNpY1U{{Z2R39^|y@~W+xQlt>d|qvgj$~o)=}>!xd}%&hi^yKZ_UtExD$N_* zJMC}QeuOK?^;Ufs7lpz)q@02eTHUJcEiKv~3vKCyk&k`MZ^$*`Vuculd{U{Km)AGJ zMaRVqzX@pNQ@O_6>nO39qVomPZd~1%z3Or>eHc{mj2bd=a{d^xU2`<)daExbZ9)k; z71a`By*IwR=OY^PN5g=SZ+raUSgy#r$^S^SMzW{MIT)+BX~K!K6G9g5(d;+5e;W?= zBy`$(-X*FhFk0!@04pAeUmB(AQC5$#8iA85o&YxLLu9I7yz4E?)n!SHA?VD}!}m^b zYgB~>&a8EaBE(T0Gr8mxG?N9Tr?v%)v^(>|n|TWtJj^Ave(VZ9=8IEl-8m}2B#`dQ zqF|Rb^UZe`@SaO@;f>D4-Wi~71WzEe>Vpadq|zhY?3RgRtaY9lz8w^>%;KG9Ca+Oo z9$+*O5Z1H@K+0ZtX0nCF%NDAKeqiZ7--%?=F<+*O@oy0;l*^%(#IDIN4LJGd@%t z32PI_&HMI~WY5LoU_cqyRjBZB;kLS~6r?O|5(|Wu@kX)FxB_Tv18FX`JI?pWC_4@nI^&1M`9@skP5mDU*$f`)@4?eUr&Up4F{yz?%P<<>Jo3 z!^BxxH*zTJ4dd9-I%|T#%pWmCCKe0lzxYcgf@hd_IaFeQ+yfPm4`LdgF(eiUas}$p zU-XUb(w;ZtP3Z@dIKX-aI8^MX$T5xK*)|A@X|58Uh!0jYd!H1(U+6mpX&DX{xMTgS zs-Nszo_9Z;=0qczGZIf_0PGYmv0w+VUX@6=64+?p*VFcCyPe?yYTbE=0?4*@glmnm z>ldx7o|YcDf5iT+P=`=x9H)$|3vK;`!LAlQ10y?-`B1!L8Hzz|0TcqxNf>Ly%*Xp= z{gQSzXo%$f@kppVTDy~D8)pnd@TPcBtef-~e z=2ct56T-8asO}VKU7M{c66~iUh(sp-UgUh`Ftr4UW9+KVAvx`$<1mtxr`esapCPHlFzDbs9zDO z9|V&8eSP1Kvr?5Wp15! zm9P}j@4f2t{f-{{O4$4Fq9Zn3KHkg$k(#M$=+v@Ws!+(d4cplCjFTx|=gsiKR6Cb{ zYz+q@BZo`5`ns&^TmG>zT1-;bh1hbw(u8oyEt*ZasN`htWHpz2k^w()`@5>-dDwuw ze`}y0%dIQT&td!AU7;*x#h}0)B#q%*{W&F6&n;WW@+fQTxdH()P*#fGWP5rxtmbs` zWyQ* z$7tdc5r-j_Ac)i=OCqfvn)NN71n!iexGWjQ`NvE24)GdO30WN!c|ol-%qoVB!Cbh_ zjmeS;do+rIBX$6_H%7W;Auvc|rpNK1ui;@4_EOp^)F~ zkKgrnE(_j_W;CYa$S(?cZJ?m!rbPqQ1XlF92Yl?l!MK2$l+a{F#BYl`JFg^Dl@eKcAqXJd0HUPH-nu5(DZ-(3)N49yR z(Sa2)1xIVxo8~CR3m#WOz_BRMB%rcGYZ=lgzg$E=nQnhl4v+4{RVx<~@rz+vAGRES z$B>JXMi-DLR8sd4OJ!Dri}=YwZq2y}&vcqUY0IodVMZ1`L~|e|gSXDzNCMXgE`omw zV%Kjsz0lo0M={B-erK?4xRfU)u0ZyltW05)m!ce8*Sz>GEEkR{N8P)xX^Gcc>&cVB zg?sRj1lwtdhf_T8SW>!A+%e^1fOllh_j3Jf;{u?CC82>R`WCI)WDnoFg8<4Oj0^PySdLPhQD}x2n@0`IbfGcL$Y{l%{`Gu9|r)puUBz z0immS+228{lP^|I#rE>8A7(xu6ZdzKK|%IzY~K*~quv9jYb{Xm_LQ}51h0crmH;(d zRkEnW3+1tRW-KIX|IAUN^q(j!yZOS+G<-l2jHdH#Ib(+T@3ddIxOme7nAa`wFdrTo zYCtfz2wFKLmXedzUsv+PqKv35y##ggad4;7tnpa%EhTr2q76hhL4qp!16y;M;iqu0 z`@RIoZ?jVS{@@!FSsTJwQU-YR^YoVB&f`R2#4CXZOm3x_6Mq|C68E+mqRT&VSVRC~ zk=$1Y(Qs5LB^^((a8EfP>hQ_y@- zx2%mdl)p~9v2?3LxloaNHkGy&-lKpj4ar46S_KZ*pwzUaF0UXDVF+ws z+K6xnwXAfaiHY+)TRGcZ)8BzijC7H-HuUf8f8QWKn~DjDwiJCL_w^a%awgUY{gVep zXCAHh3&QnF;%*x>CxOi{voea!FnvSGgm;NFLw{}ir@K9z`i&XeWg`Qc5{U6#=RNYPkIoiQUPF>;aXvH=lA-3 zpVG?Lq(trw)&q}re=;x(s!G3>Ek91+5QaBnv`n_E%0o0PjE3k4K3bo?MhDiaw^uJvwlTEzPZ}qhRIu{V&!Rh_Zbfb;f zYprmM5fWgyyBqe{>XPJqXi~Xwl-IKu8#6gQ!y6EuRO{e~f0%XviP#6FT%mXg{me0U z&fA^E_vXPOya`6UCvIU(6bh1oCI)ak;g^MR0y}CGFIuutJ80SrhH?v^ziE}=z1Xp*)#^G76b^( z#zl&YF&H|7xbmdO*`9=uhVoV2pj5#1l0uq6C~-U<9t_7qj(?tq9{`_84VM@Ufc;YY z-tA!5ipO{ZZp+cOkuPMR)EI{~Q!2l8veRx!H=&$EQrJ_ zzInKoDF#8Jm;f*(m6}Dw%Gszdx|S`&_+l^bF~GJVB2-0g!bxs!>s}dr`ez6CdmeUo zbN(7HR9WZdtR8kp*STktwi|a>#j0Cjgrqcn<^JKL(N5H!gRK1@`-bh3Z6}~xqIx8o zO{(bK8bSkiGWCadeyze;JuR`Km={wuq&zO0Mk}jqOd7xqp0YB5-_GU0DqkJy_N1~^ zV^~=iGYW*qzJ)^lnWvOiLvoIi=Zdbln2t#9Y5&?_v@h~gq%yhIWdhvPgRYg+37nYg z*EV+ZCQ}GB4gU2-98H%KtoqHT5DIq)J+IP*N_f@p1lF97DydLot^Nd83rxNah+9&f4D1cHNpnEvsPypt<6{$WAganz<8w9 zS$w%zD!4XRmqF{Y;q^V(=T#~Gq1XV1vRch|CabpFOc4Jzw{IThCTuLjKEHU+?#VNM z8HK$$WlS3M+V6XGkMRKoY7N*vD^$%W-R`0KO8`-o+51uW!P38$n zCeNNGV7lVv!^fnp=Ab)g!{vZZMxT$s4}0;2$=LH}#22p~)&6B-z;=j1OJVmf>5q5D zeE_8g#i=t#!LRH$ix_6SYf8zN`zsWY-+SXw0Sw?aB%F`nF>a6I*dkgKqO?o;mP9A05w(nl$|{k?DF=7?gBXksdpBLP8TWbs|vFJ;~E!I0v%Y2D|wXZ59=c}>$_ z0x{R;#p@M) z;&iDASi5r{y-~TD@E=zTknx6U#3f#`G?=Danx@Ok4MYZ_JRj$$nI90~Kf-u8^Azwv z)D+naEHIY;`$IT70|7v1KInx4(%F_q$9Lh(b7!HSzfRD+13nf?ajje$li*xTaKE}J z9D-4`f69@fUhR@aDpENA9|xo4)mgYbUqfzx{QUbjQbW&Z8JnCrYUk0C%R+?8u^5e3 zeRN5c_l4%f`t$Tp>8p6130}tfmXT{cgC`-l?Q0RM=Iy`zM+>mg$%ctqWdScMdKL9K z6*m-FXu^r(NZ+jp0kGB7c+O%CGE4U0u@n(7Y%FB)c7V%W#-bHmDkEN7di|oTmrLmy zWy1K;7QK#{fIEEY;?y?f&l?5#;k6o-(i;E;F10|$z+i%DW2SKTK(BZ)RNOWW^=COg zZ<~3?f!iDJ;seyOt_4OS?yVIteYqBK44B-GtEKr z3&20uAF^!rDFz^-BoLs{#lu;ME&~`f5|4Pm%-8=0iCnhKKyl)mE~YfDIZ>c0nz-sS zDjZ9^^zm_BQgv^OD*upk4C6CW>h zDJs~LbO_6S*EVCKO^(9dpUaMj)o44RqRB368Gme#22p*r_&LSVRA@Y5EZ7 zSpgZyNXJ(~z>#QMEzJgBR_NGqplkizDc77}f%2$Q-5ja=wJgRmqO{#Ix{loQ1P z7exh)E)RsUziWE}mhs4L1L!=fgh4);2+dXEdG&~o3&o=pG4HNbO zL&*FHV<2izEKOi&bPAZ&?{e^C{Ar>a1cY;`<&I1rBm6LBDh-sIDOIz2+G|+8MCx3F zN#P{p{Mk!V@2E{ES7U&Kg~s~tbYX&diF{Mup#O^TGLAZVCSEBOW=m4|e8Gdm&81{TSs2{>?O7+Dl(o@S|f^UtnK%lDO-irKx3yB?j`jN7Q8y(dFLNueE@;X>W{m}@TH{y{%;(}} z3knq~)0K8VXSU+^9r}?!$pRy~D!01FN{=?4gYU|8D7{U)HVgFnz?$rNctgvZSR1Ea z;sm%9qGxgJ38lVQ}d%gSY=3!l2y3Z@&<9Sx%Cq`cJI-OO? z^|tG8PKjN6#Gy^lzIatFV;WE;!pN|`u4HiVk6q2(5X@~5$Ib$aR#+Ki8B?lqr}m7r zzGZ}4FbRJ{(VB3mHV%Oz(S(f>KPqB2e#Ka)wAF=^0J(qM8m-4UhXOpYJmxPtJ3$uJ z3@S1^#n-WDTK+PB58QQ4flSm)tvz*ItIAhebLne?pe@`5i+AP5X`xcO5Rot3oN=ZI z2HxT-c~+g>1XZQ`wLO(T;vHV4zUjQ(+_Ie!G%?od8U#<^WoR-+$01fX86-m)nDzHV zuJ1q&l&+m9F?Iyd(*bYB`x$Js8n-?|#p^4gN!(6{A(}7^f&`7rj65x#=OVP#UhUdW)Z1zDHSYPL5KrlA+*#9=BLP%~L2epiv`1{5Hl2e6 zgfA}d1bIH6G1c{Ro;+2;th+-#z6)UCxx5z&^LboKlr|CYun97MF86`7i2*F{c0CG> z^5K2c*SJMTq0q}YFB7zCqOYe<0=`nDiNP;E1E|~JhZdoumjp~HlxpRZ*CH|>dHLAe zY8J9ONMf6#ZUKDw9H-OsYE1bOaR`s&OWsbO0So6uA@Rq*q@91oReH1wcNuF$)2wQd}ZZU*MEx_IjpZ%%19 zj+^#DVTd#Ka|%f?J0O;KGsKl@@O!uDG~b86Rzen@Jpr(S{`O7qWk+MaIN6XHWr(1Y zPy|#ub*Hh72kZ#x2!C3-sU_*#`Z%hSE+2s4TF*kR4$m5MKo7nUwdP*tM7MkNDvw7E z3Abxv>-vjs9h=DvU*C>@OGAWT*f+H`aiR2yR3Hvbn;*KMZ3wQ#i`U~1FQC)rH*<|T zu|^~@+yY#zvG!r9oYS?`D?^CeFsIN*GSW7GRP;6uRUqbH65xNjBI3Eeybc}nOsRH} zuH`kn2#Rm$f8nkAKcrqiVe5%>J_p=({?MUpIthh57p?N#^wt7Q@lXA@Glu8Gc$l!cZ`3(5FyE@G%9-;+ z=IP9t0;<#`LhhJdNpmx^3G7KB;28L=S??uz+Sp0qBKNoCvxuj*rn z{e1r;HM&=PIrqZvZ@2GR?2<;Lfm zKZC1H-D8|NVhVPX9)rvM(K$7_Aeg?Th$J@KZjBYptmcD=teKI>;0zCTZj36HLmuD~ zFyXfxkoY2!hBV^VQM#z>HI7#?1&h1=;z=sYo=jIPzN8H>Y_*AENb9D=FEi!9e+8x-3~mI_E#bvl6ErC0gky?3ff(*nFW22$&B8ZG>c7Ojs_mz%!x4e>;;}FiAo9=+ReZ@C9?B?cEhJe> z{4iKo>yGQ?yb9+4g@YPWRm$UimQI@`nNPi~>L;PZ?lS4zzxOKEwP16EGF1Fd}#Y zUm4#UDU~pp>>BzeGrjD7letw7r`fhSqBKPvl z10hM}g$|JC8#5Qdn>77V&ArMIe9f=LtODrfZzv$hk8>M~RnM(El)4!k*~kv*lhvAd zUkDe>J>Updt0>!^xn;HG`X(vm5$S&_I_@)<^!+K=t$yDT$*Xy{uadi_tB#R)RUmh? zT~yA5axh3a5$YJeXUk)8*_rQDk)KtV_FRpqdHRX~Bo6S3 zcB|amW;QdWvo=Ecm|UAAPfHGD%@EQ=f)U{OR%z8gGtoB-y_$sc zvjqvIC;(}}z(~FEvI9!PP|ikw)Ymj(#w7(s!o{#LvfFk;3U#XtGi4iNd-)ut?F>Ug{;*(eeKP|pN+D9}7z|(~Y zHSHgY?8U^9>@UOzsj7KRs^BdO-DXfbXX5e~0~&gJ73&5AUvdIOg>@W=1R+*XVWh-? zWF`u@?T`otjV12|;xp>EX#vAsbKS$;YbD^_E9t#eSM0+f2b?f$3HOK0(L%@sPSyNz zBhzJ5keS<&YT!ZX>Yj|={KEKu#?!JyAKWsa=Q`%Un0WG4^>LmyXbDq()DsJHb?8d- zA3!X)1L3Fl>CTK5V_%AV+*@A;h3L{MGCG|yid)W1Kg z%UaiyvLo7O8Qb28-vXF9w?XH(%SN<{t8Uh0@piI$_J-CxchT8sZ{|&689IO-=dBb7 zVL&5%tL)({p%uE1uN0ufbcGGJ900oOb+d5+b%D^UnGE)}sLY6@?&!aoA_G>48&439 z?8oWzCg2__jt$)Tzfk|ERMb7X$y-W#W!G2ss_=X1{kGh6&60eo?ev``MelnkFnqbA z-iCd)^c0u=vw)Xf7qHOX$eqCJS0cD>w&*sy*XQg0$^VcX*vaE2ins;wScrL}|8@Ji z`p3S8`0-y?blhD37b+er+rJ@+zX7G%3CA7C0r`f9J)6)oC*;vNMua|0tiFzcn|WXx zZUif~t+OrkoNjW8Jc#dC)J;-X4R$Y$pmaD^(>xPLnuhBB;+b=6tURBm==gqpoqjK? zzUCIOD5CJ$`g=22c(P-bl|`XdW*(hczg@rgNBbH21^NE=$$KUwrdB)zB=^4+bym7| z&&G_ZKr!#1WV1vFzRAz6d%tW4U%gWdBfizowY&Fx!{+UszEU6<4WA+2Cb{)ZwjYkX zm_Wass@r?=;+2oU?x)V}V8=>=EjN?XQNhE$=l6?P=Bj?u(r5{284;$GCPph|&is%= zr5RZkerGnc)YUE4&pBTK$YrLj);qKR(XwKmk7+m;5DFZpeB)=ls;ShG$~M72+&+yV z&mO-1)!Hl80mY2?YjY6g}s84x;;t-(~k`ClwOX_n?%ov8U^C&iNJW}NAJaUnUs72S92Lq{o z{v-M!{o$m$Xo8;xK=~kfyT9!c=E=`yZq!3!&5~KxG#zPF`spypvX zg393+&=6$k5J2P+#_X?qH|=E$D!oUj2j&MZ8}(zE?CNi}A)*WOQBV+g@dYj>@Dj@q z&-QDfkVNdO9tPvm(TaTRifA%*#U|6_2kOLxJ|YiA^fOj5x6w>l=KhT?q%#$QL-9%0^%4NaKTE5cF+BLAayi6YZ4QAuOd6n4-he{8~bnVfyCoSlddN z@m-JJmS$U9z7b5g0y|m*>-jp+_naZKz0liNO9{dC+pKMjY5FcbAgMAqX@rm2B=MaVZ)FCc{i`I? z1FY6<)f3YM*d{&;E%@_g&0~ZmzQ6uufN3IIeH5 zYn7(Vy+)ZAcj-@;m^0qcm;6Q1!?a9Z15-wAF=_798;%PWGHmw-sXWEfbt~D`K>o-@6m2x<}k%bPvbc47hzIu zKq6_%`^9mmR~>KC@j(C3`(oSpzwo*VDLT+J=WUeicd^2sE}i$dVp0K z@Nppe26bkm(hsz*`tJ9mh5AXqf-V`^e5oA$N1~oN6Rr^7a|)oln)txP@Jw-cdjQ+1 zB7x`uz8^dEEYd=d_|B2axZqIWvzjz&M;N=k4tC33Uz4#z1K4 zbbXIDxyz~c{-B7CHQn#KIaCetW61Omfcv`5Xe^?{V6p zt>1fz1nQ2NuiHGp!Sv9s#5rT?j*ve+1#=xyenFp^GQJaQs)p_FIv#~=kwxRMZVht{ zdaNV8oD`ce`1P$Pc1!e7vmHT4Qu3JEJ||M8x>MsNP^7i>>sU;!y(wr>?VUydhJZYJ zRGTCdoybB3XF**7R@fVfdXN1Q04A-XrFmA@53;Ss!&9=nX8_&e`NZ6gA9o=hZm6(< z8d4l#;S;3tM_3bzoPKea`40;RD;~@k1&Fv52Rap!W0Vg8O2Ykgq`J@t=pz6}zAxFS za?5^1pUk`J#kD2URAPn1z-YwgOeB-y39;i0k2gFNIS)=}PxW(Ak~o(PK!j$nMy_Yq zZj1D@EwX9Slby(_zeen#JJno6jq}qb{m?+EUh);+7!cF2{_{`jYUyu29jDHFfA@@w z~B{W9V{^ zN@fFKeg9)idX>;NkZarZl#BNjg=l3lmG95~Uat{F*gexQ3`&~kiEpV2>JIs1Ja4ZX z;>KA1&)-W6))W^IfCU>kdna03*#t}kb##DbQ*H4pVh)i1@=NNoF&_V1Xb#-b>Ub1k zl#4SCoivbl+qSyA@2Pkva1d1q^=h6g{eX^@c zfu@A$C9(_IOG7BstZ9R@K=MtjBV~GGQ|WaHU;4TJs1ljE3h}rylfkl6<|_kpj~Fsb z6ic6{|A<87q1X&phScVunDfyYoIlu)s4KWZK6|Jb?u?5?%YFU64?zfSm^m182QybU z7jt9#f24mRgISpVfiXbYSpO3gJgW6yAcKk1hC=KC3{KLgRZ_Ad9j3v@g5)in_a+uIT zwhC57WD;7@W;}`lWdOy1{O<<+m&f2}CukM5L0ZaB*#~bCcOQEIU`xK$j^kuDw2H02 zjuSO`D8wZ>$!%@TN%M<)66^S4$RQDF4q2UUasX`A{&#{es3MldKBdEjCYNLYngFFh|Ovd@(dO0y;jT?H>z zsjj*inAJp3EK3m9q4XHql3Kn(aQ>r-bt5CN#b16s(;C_ir9$v8lOk=NZtHb-I9-Pi zc}!(7W)i1wg^~&dBY3VLnD<%j;&{`zBRZk9Ed3QNu@y6b0m<@xxo@<2PBfP^l;j3M z98JpZ7L;7DaCxE~arZY%YU)2J}>MgODFRJlnV>a~?t&R-xFu z{9^le&v+@3{9Lzw5yvwj#}?URgf}m%?sr_|&&1=iRpyO7jSAB-ZJC(zyw$h(2c7V* zJzM!DP!JSRbHLATkb0-HW#jM%QDs0>QV_3L&Q@3eD;()E)bQBzgY4T0k$WQC$TV?W zbNYZK3!a%@ODDIGjZcvbAy}x8@DWf4g@^Sfx?Rr{W2xL0-33R|VnotM1!Uo`8yN^U z-iMXzHTpfXmh!0JC|>1=I1~MQLQz~bSU6V4y)hRS8p4-Zo)0(h^H+WE%u-a|dggky zTY(n<4oKD!dbLy`nmZRR;lh=1Iis9D+A2SdGo}Qv>h>L3LZ=0>2*mUS{stgpz z0FVe+UEekpM^Xe#DHs%2u1&=O!K0k zqAu{q%q6Gd2CLbRYwMA4;Vcu6Ja$-j(RKa?HJa0X3D_sZz`$epJ|g#dP`!hi$wy6mk#c6K~)#!Bee!X<>o`FA;k zCB;!_N9P*mo)a5|ihd{8@Tz!L5Hpcp(euLiAy2sA2u_n~wiWlC8bJ4s3%E%gATY-`d`aTK9; zhS?t{2cm(nGo@eLfKniFar|#7m)JS~Lu2jL(pB7+LJOF$&ye&wH@n4zRxdIauC{4M zuWZ3Q50Q>ALbfyG-EHd+=ud%lA4t6@gB5v*`knj9X*uQ`1WgfVK6Y@V1=Zn2(K>|Q zS* zW2OvziWU=Zlo%Gs|3PAkC+$)+nJh|{C6~ktue+qmXErMfgC$f?#WHywMUIMAMe0jn z7%V{o7Q+);648rQaFCRx6h9b^Qi2Vpsv^RAfM8Da7f*?n6B3FtV?rVsAP6oa3O1dx z;Y_B=cgboo+DL*tNR5ERHeMJ8KLV%$6Y$N1m4Z$i#T8^(3s*`^vzbGE>PWLDD+?3Z zJqgV?K>gGhkW(TXkXuQ`CJ{r@$4dhP6JC%xLii@ag0f0Xj?XkFLm8_Lmgi!^SVXagV-}+}i3Jb=Um}1h z!NfiVgH`xe(1a!Sl$wa{s=6a}LH})mY^pg-wJBp;0j(-x%aH(gN81%+QpDzp3j&)& z!qmfpA4~=sf}!EOG(UMviZB|I3Oe@K!7gL{KjH#N*XMXINTt;S#ZJ~TaC`517fY@1{a)Razj7hS2SHnxTt z3V2ec)SaVvNpVUXA9r1D3-zu%))x^Y0+CDX?I7Kl32w_*YTn9dmG7bM}3~n+Y zGdF1Bc=WwTvX^x3FY+e+2dndwY)=P^f63GZq8YV4>B`@Mx0$p(clOMKu=_AtT(Nj& z*rq8zN%A7V`j7B z$&spo*#&BMAb@QtfxvGBqX(Ix3;VlF&P{=+@X1F*Zsb`|1+i9A%A&b5F~aVP2%VIffS+WQ~-yW6xT!FHF5?R zaw&2Gr2GKyUqKes)VJ(09926O_Qsqe2|>2Sj|~Dwq=0pAElEdJVp!XvgXiW!Rwj!W z>|WHpwYqgup?s`_-k=3XBbo%PeE}@o{W%85>`idqZdp6ORDrZ*H=oB#P~E~YR1Sg4 z{dKRA*Dbc2sjefJ{Jh&<;Wl~xe8V|RdtJ5BFWKx@LK=F8+h+)NOL=GCm(V<&3;b11 zb9FVt2*9E)46bIqN=ljLYEf2WLZvY+tUf$PbMaH}rC)w&(~yXl>Z%r5%@nggV-|L- zzdwy@?^32*{b^;7oVrb&s<`oupw4L=E>q1^-GkCmz73hL)HoHL7Z7y+U}B(HPpHXxC1Y%!rpiHGy~)=& z+(vJ?3O`%$)I0g}-tSL0bOyolR-Lxq@-8`W!RJwjgG1hB^ZVGEVIv39G-ZQX_sMGc ziXMjMNNH7uLF2mNz$FZDAOHTRe(s$h#?LlPcD=gSz6Wn^t=7KA*2?yFeedQbkQ)={ zcP6nl&yTCQ+&o*yvUPn`wHxx5X!Dn7@lSqUTT&16BPRolo0ws^p)L2!Kj3R{z|ZLq zoxrFd%$(`QdY~B1>iycd|1iM*Drn6kTQao3%>T&f?PL(Z+PJ{1|9a4#{C7(y2WJ0A zL2WOW0KOFlVfmK@rdJxusnLuriO#%7M3&Q$uC))GpK~kyz>xJ|?2rq6*lPOC34>V90g8z=kX9X3Z z24UlD|Lc$|9>`y~_#gk)aM?+4L#>@2Rfi#W9` z;P*R*5(u?&+YVozG#Cic{S7YB_Ee?_+EnL|q*thj4CuVp1du5sY^l+;dLg)gd?CAl zePLWkIip)3y8xQR7C*X}Fj`LLKr$hUReXi8l)y*1L`V-F=xP;E+@ztEe!LQ zT3C4_Lr;t^%@zq%0cjVBmEQ*mRv@M*a!r^eT~Vq~cA#ZwIbBJUP^wZG8!~TKqJ|cU zp-$x+8(bi#A2=A-fe2`r4)k@X2=7nzXc0+pAmENh4N*y8N*F_6S%h~;Zf-IuS>29` znYbZGeLSRr#_d5DfQ;M8*XYbBCONg6WU>_8Fb22eFp;fR6sFnl8R z>p_ItlC9+eqDuJNK<`TYA&^C>8}vwgvT9HU2x4gfzA>CkngmEL5Y9PJ6=>v|6|S)L z0yC4?R4iyCY2#Q30(>1b0#$4U$wCkDY~V-9P+l-PaBCSq3)DtU)C7iIi$Y=eL#<>R z-)k`BwCF4^Fnva&+kklxh?7+#%BC}p{q~@bk~bBal@?D738-t*9QE}f3}jmw5+N0~ zFBB(W0;ny{QB>#(LIzJp2;68MHn0GxHoXAj1h`()s#PkNl2AmUMdU15*qhjdy6>tX_CyaTlp#tRfMnb!?Z-;i~*^T)_a_pK^8@-_)*hYsuth#B; z*E?d&a*Af&cZS{^`RJ_@R!wRg?etyK*Hh+8H2Z)(qd}(3tMAfLXnKN3Kl-tB>iGdi zD#ML(67F^~#9aBZG*cGeUjPFUl$tNA<5l6%i875P)mm~4F(I3F&#j%HW!fmJ{@A;s z!Vde7@hOvEqU_l~!=vRFC005sn&?_2P{5HJa_1KJ_;9u^5Q!a6)eBbd!yS>*h`FLJiu05`uc(zXDa_iV~{A%NnjqkenO*s zj~@qGk^Fx?{hAS_R^A&DxCx%syb=XhAQ9Zuy{v^9k%%7XTbaXuZ)66!fzX#YZrGLv z_1YWWPOr>c!i{Kt)ku7Ku&3V*YMUoT6Y=Z7ERJ5Wc*z{;1hokFjiGn#-rxb2%yPm# z6G7kbA8A(w9`V5w3Y&nXgt>p}$+mRXINFPK4&YR{hK71eA)2K}u7+F}1U$l=hCBw6 z3kecA{N#qpiJ%K#OE3>9f=1B?!a%oMoydbY4#y5+4L>F40awEYno*_=Bcdblc1F1f zT7hWIlSr7D5wv9kPG!h|#Hl1{Q4BSk!f3&G5b|l$#dR0=WfbzaElq0=2#~ zlrLheZws*)I2MYDkSviVnwMitNq#Az^%lbiIqek7U!h);BMeR06KTs#DvX&>4wg|* z-nP4wS&6dQ;X(x$BD5-%CfjMl=)36>I1e)ri@`ehmzm0T!kgJMXzp!0qHKH}`U7YQ z2AUADcq4w?5J!BzS*HLJ%B5P5Pkn0g#FVCKGl=fEo_`Uz#&To9X)&m9xndQ7mZHECqXg4}lR=gbQo)7c$EXQ` zLC!)4S2It@a&?f5G91B@rgO6b=^$p~`{2z4`hMg$uNL^ zkO#Rn*^zXF9u~;(l9J0v1|i4$CI1A9q(b}*gzY5Uz*BJxMF&nBj6Cd-UX}xIH7GdG za7lmp)DvD(5aI@4l=cmgmDS4edbOp2D$7kBWoA4p@}^gNhZWY?)3uglf6-4zf9{ke zkE(7KO6Q^6Oq3SHHj+Td_0spElwLNPTOZ$mB$83-xRgpnyJ%4u%@#f!fr29TxU0zw zz?GvTvyVy_EvNK)x0diZmX6>>z`LHap+mv^21XT-sh|hI5KZ#PoF0T_sPKuP=^-5W zP&R-qP$)4hXmt-1<|qI~${bwaf!8mZcFa3|%f}1~g>VhV@vYLYVCsG!iX%MIEjV!Y z4gn+zB(~2eTC%0Jf5$YM&quwq{|0nG)XV8zI&TjeFHutTj-G(9H7slfV>(R0t>mMj z_mXge@g)Ih6znV6M8vT$(`#ER*bp?0P?Kpcqy{II^lTS-F)Olu3Urp1F6YEmvqM9# z8jhJ9c-9SrSPx{Fa}u8l`;gV5RPNltkR-|Vq{tWcnzuUVk#a-Z#sJ5DdNcTHO*=hu zkb4M6h3VuSqJ}~Gm}eJEyu6njOqe$^G+CD-a5)0vO0TV?1<(SuGyMdNC!$rcUqEGO z$R!lQW7BouW^Jsy#z*7G0DpG7H2@iauu2|)o(sG5bN@C!mnh*Q!?juK|h<69QWnN{u?+Uj1| zq9C{1So3&LdtH~ZW;!T_>>Q)o__m+0k&6Q){iJF>P&f|YqQP%2^sdjJXGg=!iiYSF zo3&;Ra8fjM6W)k{QbOZhy)4d1(#cBhhX$M%i>&HhpEXpHWTUWOuheXDs@T`z75>7` ztld5HlDmh&8n84N;Au+*0O?lz-DEHP^D59{ytNQ74zV-NEL24G6+bDc;3B;AT{Hk< zCS~Ni01Qo@X;+kpwaO`!jd$7EF|o|Zl7DP*dtI@wgQkk{jZRo=+99sAJkn%5{KY1i zOzIvbzl{qJsK@Zt{b#h$8+%3!^DIu4eeHr-rrMnr-94PSVvp+}N|Kv2?ZY>HGI)Wx zl9RiZP+4~POy!d*+m&duqWuESr77S9yz}#zOGTMJtVD!g^?phWYql!AernXZnMnMO z<&nU~qOcYg3U)|*8;$#NTT(x03L)2lrq%ayWE&PnLWz2*RjN8E%o zc{da^zxzjis3nFIGZw$Q4!dzZ#nDvFTG_7{jKUVeF{7NKrj&R@w&T{qM<~S*w^GY3 zT}(O_;p`k5wg~O7Dy?M&@o3<}(wG4Zf;+i}NoQj8)&^&E|0miV7o*8~O*l{AYUIDn zxR*K~8WlF}zH)pv%Tm%_ni)V`k7;N0eydD@mFVwPUW)Y36_uO(9J9-3Lw|Pup>a|F>$kd_3S!hL8rCE3I+|11wI$sGr1A>O%IBgtld^6=e`Za-M zy!%4?3zRo=Mr6_NEP*ayM;!p$~byJr^DInX+F$ZPvx7JVu;vTmrdH>3|y z!W??_bfMlAF3ipc6nK6V7030z27Ec!`~7}tqnR3Cp8V>tVX%0)@#EPpet24h?|Hwu zJ~;UK8&R@6!m?i$*l`R{TwTW0^Yh;6qx9EPlFMjuq+m^;U>Nd!chzG-X9a~TT(j@V z;`wWORbN-0XoiO``O%x3=xLJQRu7)7rmUU zMdsopnxH+gQ`1c})srU`oeYAh>*o6L)6(4Zj*`tbEOi1iot(q7Cp9_g`Q1C?`W*nk z^Xox^<%mC)kpRVMTHAiOcPT_>J|NE{L)it>LLo0dCr<#}LIFa(63z+rfl@qn^lu>) zlX16e6|){8c&-6J%mX&9&S_1~yacBDOIZH;)5ojJN9O8!rZGE1IY#>~dCayQa34=i zeVs<})Ag*pe<#k2qwI%p;&bkwo{ztTd89$D__?dw1DfXg;ajK97JU7*80f(Mn(Xa| zb6ZV!AI#OzD9 zFirwZ`QbjjJ&k4`AMHJZ^^^UdqcM-F@10*N0rY<^rWS9}W&`~Fe17pxGTS`>!C0vH z(K3e%GZQ2OptSwyIy4mg-(#n7k!I*f-+DwrKuUwYQZOWB?zn(Oo)yD@`YKqbc_sJ8G9Q7;Tu=I3xtO~|Yh!TVZ z1Be;DVWI`V1q=h50JMhWe=}b7nF2b2vmGT;rd?J5flF7Xq&$dVH3_SJ*v|#?z=-%Z ze7Q9{Rdp8Xs+<|P*1|7uCTtM2AAx_alD`2U?IE2PCgEf1vkpMp?;Sy8KEGdHyRzu; zk>%}G6lt7Bsax8!Q*5t_kHtYP-rtIBn0|;@^3(${&^tof^EgbEbya4*mVJP6Wq-(S z#xiFE=BM9ZYO0u~Pi_sqRcE`b74K4C4fq84xp>Kkl|Tzq{0uOdLmf>qJ!158eqbS_ zpxB_eCqH6f7ayF;4*Km9CFd?p-bp4TCTd?!TomE(d#ke%ZFXYsA}f84B*o zfzgh7pLXOm-sMa%1?MvwW}I5I;*es^hT2@ z09a^oUd<15ck@sMBOZxUJp#X3HNg85@N;x>TQD-W&c=A(4SI<=hV}Kv96b~khI!~6yLPV87y$g-zE9({KTltb?BRB-0AG1q zpuaPRxv6<)4xA=qhpMCXX^-R59I`js$FHO0$W1Y++(7RO!xV>E5?r-rMT)cR^$RXFPQ>oCpJk>JY zan_sXI{sFCJnQ*dJTWcTdOY2o2S8d{3g++!fcuH@Iw6E*eIb8`XR|>77+AWKaJmw4 zOolzwNO)*2ex8Eo=%4m}ZJfA@GI3|>$uV9{qAw@|egWxHV5+NrS*t;EX}CZO6NlUq zzuW4&34I;;DTwBPiSppFqxWq(E$<++{|+Wf))uI$gVSS{d@Z8|=P()st8^@pJ~VfVSwQ@b78 zqnr2j+uew;`^t2@A-7PI_W6-G`fji2rLkT+H%@dTY!m-;>qZ^1-=LY7j!@&5dEG|? z@Asa#Dq(k*=&L}=Z_tjrU4X@NV>Yj!g2e`*k=Jfah=5Bwe&>vKdN-+|pwAn$Rx@9Z zGhSlvc5dKzV{^n_WUT_De)w--;&M;BOH#vT-V|Ma1QeGq_t)LHKHrH8(tVs;6AQN^ zV3WIi?vIJ}83wqm9njdQ9t1`cig(D+?0|>8VaN4Y1we%G?da|Kr@JfR z@2pMZ+8&kOsSJQn{9SsN|Fx|LCT}<;%QYfX&kIOv0)YSMWM?`tjf;i4suuO)j<6=_ z*~LwrT`5xm)9ZF49l#IP^|K~c)AGXl zeG(miOgX@1#v2QP1AzB+1@-lOfsOK8xxBm|HUe*`u%lwPi?c08p0+*X+~iBfA^A9F z)K5SdRh!4qae;Q2f!yQ9*K&_(HYW$ zukB00u_KJqBXMq&HG$!*8QQUaQPhp%y3k zT!$qkB0ByYimm92@#8lH{l9@)E|&CE5U>z%7G@S^_H;Z@FoOSxf}mij|5W$=i(=y9 zuyVmLN?5zNx)HIm{BM_pEG%6A&UF)}DW9;z0oOZUzrc)2grBrRi3A3Pf=0DfCcc#y zjYkpHh-K8@z^dEwr>}%=I+=c+0K-%;$uB{%s8`}DO~WeAWkRqZFj!<5kY#L&4&$Jd zL>h*c_Ru4tpsgTGax(BxuQ3;aU!*DEf`@}ncSceHWk3vu?*G%UT1Zj>Obr0E=B!=| zqz%el#zDl_W0or)dN6o1fek(=4VS)B@gB@QD9eONX+ca`rT;UAD%pFoIe^ifk1AHm zZ?FOZ@Aw@8^mYPQoI)!0esln{hB_MVE^RUEuEP-24#F7}g2WK47EY!S$Pd~2?e*sN z{_Mhqw;?3x=BtOd=S-H<;2RL&hjYs~Ir8vr{fm;D!Sim9ebZyE%yyFkG63iMq_riY zT8C?WDMqKQ5}jw0;)mVw=Vm6Z&!)p1$8P}_4};$i&u)Ea)Ded9XPwW7!^5nWeS_rC zvt$d23oWpwA!xQT<+?K4N+03LKT^AtR61lTZKrlzbz{EtrrQYQH#-3sFHN&KalfyV zvh^5oWjMxc{e_x!Q<65j=;(CQquM-R&jtrZjf7lV3O(_h3E=eLAlQN%{}I7geqT2V zU&E8n6a#%%Jz6j=a9WrfZ`R1Qm}AU5ftD$9C%erCdovlCGCc;g6$8yu9gI==@$A7{ zzPwc@AnxydIdco>172-%z+W!Qr=8wFuix>DY=vM^Y{g9EP(y+@aEOJI5e>DLE^ghl z8-8>!%32=>CxP@aSc6-)@Cf5r=OJ%HK?ir>LP zE^ZQEZ=RHKY^zOn8mfZWi*1-vc*zSMKbmYFST(_ zjb>WelG*#}UDDK$+lXqV?pDIOd5m>%)imDbf{`hVzEUQv8#Bsb{V z5L4t6+@Ow(UXvu#k7Wd>dmL2l6YaR4GiJT^>~?fg_uL&9<9tu8 zZIua>%hnfUbT~WRUY;&^Embsx-<6aF#MtHvi~PJMHZlK**6gRMx~Dh$f5X3fvV}hi zEO*rZe$%)7>H5-hl{!n3-}-?$eowCHx0buFD#g}^*4EXp^Kk5R3WoD1frb$24?n`? z{h=54p1{t8<}iFdQb!>DTQV@|}%#RkKuNu@$aI@#r!wS zKm~?T+QGu{ug3BpO^isFk6BbgLR6GpSX5L(oLO8%go8zlMTAw1g@Z+ei;YQCSb*sN z-$ft(e{PYunV5+Fz2=gy@H#14V~szYai9HBeDsWg3J%pHLxFZdO{%sfY05ThBtvE0$mB3wh#cLAfEdRJ_rB%)w8z8Bg*JO>+Rh?L@_^{P(_T$*Kw!bO zU4+uDLtTHhbqCPdf!eiW^Jgt5uMziSCu`r@0TXUGQ1=sc7Jf(=%lV36X@^P?)%Os~ zHNtqt{?{Mf%1u?K3y$yV(-sx?V<@@qS-*uKYy`PsvhyZarxp9}WQ9f6fbe4{5DQ}j zg&{t=0ctK#OY8DvuRZ&Rcn9|&ZWG)Qj!1i?ZK|%`ibcR&Vn3B}%~>=y4G5;YL%ZW8Owr#Vmxah# zMy!d;MCHOv#j7`aj$JkIkwQrM=RhX7xekap?lPDS%Zpd9zba2BB%T{FTyRJi?p}LD zC8ed|fB?o&E`-B5Ga6uvvX{Vz37~Lkb|R>LHq!Pa$b;oSR(J&B4xVIf&d87wOE6NB zGfXPl6hWz_w_xa#9f=MQv*t>;9hMDOqDT$#xRZ+EPDe&YX84y3P;d)?uRMI5ENTbfW+(q zh;9M;){cRoDq>rgf0gFytwB#&)o|}&c9s3@ac9-dZTpnkjT69ITfO{qTu{y3n*;Dm zTfN<~zej!bcyqVD%7@?gkN&E{{I^d<)%???p!&^Y&slU;z&vJvX6yD7t!WhmU%z0X z&BBxBaaA}U;7L5~$REU_H__0HVev>T26b27jdO8B%oH_Fo{i)GA@IvTvn?*K9EH{F r_OK{DOnigiS$5U_pF~(!H)9t!FBfwQ7#5DdY*=m>a&mD+37G!{U}2x| diff --git a/verfahren.tex b/verfahren.tex index a2430d2..3fa0a9b 100644 --- a/verfahren.tex +++ b/verfahren.tex @@ -28,6 +28,8 @@ %\pdfminorversion=7 % Import-Unterstützung für PDFs bis Version 1.7 %\pgfplotsset{compat=1.16} % verhindern, dass pgfplots im Rückwärtskompatibilitätsmodus arbeitet +% TODO: MathOperators verwenden +% TODO: Code in \texttt{} setzen \setlist[enumerate,1]{label={\arabic*.}} \setlist[enumerate,2]{label={\alph*)}} @@ -493,6 +495,7 @@ \subsection{Steensgards Algorithmus zur interprozeduralen, fluss-insensitiven may-Analyse} \begin{itemize} + \item kontext-insensitiv: vermischt Aliaswissen mehrerer Aufrufe der gleichen Funktion \item Speichergraph: \begin{itemize} \item Knoten: eine oder mehrere Speicherstellen \item gerichtete Kante: \enquote{zeigt (möglicherweise) auf}-Beziehung, damit Alias: (*start, ziel) @@ -507,24 +510,25 @@ \item $a = \&b$: Kante zwischen $a$ und $b$ einfügen; sofern bereits Kante zwischen $a$ und $x$ existiert, rekursives Verschmelzen von $x$ und $b$ \item $a = b$:\begin{itemize} \item $b$ ist Zeiger: Verschmelzen der Ziele von $a$ und $b$, anschließend zeigen beide auf diesen Knoten - \item $b$ ist kein Zeiger bzw. noch nicht erkannt: Annotiere $b$ mit $(a:b)$ (Falls später Zeigerziel $y$ von $b$ entdeckt wird, muss Kante von $a$ nach $y$ ergänzt werden) + \item $b$ ist kein Zeiger bzw. noch nicht erkannt: Annotiere $b$ mit $\lbrace a = b\rbrace$ (Falls später Zeigerziel $y$ von $b$ entdeckt wird, muss Kante von $a$ nach $y$ ergänzt werden) \end{itemize} \item $a = *b$: \begin{itemize} \item $b$, $*b$ haben bereits ausgehende Kanten: Kante zwischen $a$ und $**b$ ergänzen - \item sonst: analog zu $a = b$ mit adäquaten Annotationen (TODO: Übung) + \item sonst: analog zu $a = b$ mit adäquaten Annotationen \end{itemize} \item $*a = b$: \begin{itemize} \item $a$, $*a$ mit ausgehenden Kanten: rekursives Verschmelzen von $*b$ und $**a$ - \item sonst: TODO (Übung) + \item $a$ noch ohne ausgehende Kante: Annotation von $a$ mit $\lbrace *a = b\rbrace$ \end{itemize} \item $a = b \oplus c$ mit $\oplus$ binärer Operation: \begin{itemize} - \item $a$, $b$, $c$ keine Zeiger: Annotation von $b$ und $c$ mit $(a:b)$ bzw. $(a:c)$ - \item $b$ oder $c$ Zeiger: Kante von $a$ nach $*b$ hinzufügen, $c$ mit $(a:c)$ annotieren - \end{itemize} - \item $x = p(y_1, \textellipsis, y_n)$: \begin{itemize} - \item ggf. Speichergraph für $p$ berechnen - \item Zuweisungsregeln für $x$ und alle $y_i$ verwenden + \item $a$, $b$, $c$ nicht als Zeiger erkannt: Annotation von $b$ und $c$ mit $\lbrace a= b\rbrace$ bzw. $\lbrace a= c\rbrace$ + \item $b$ oder $c$ Zeiger: Kante von $a$ nach $*b$ hinzufügen, $c$ mit $\lbrace a = b\rbrace$ annotieren \end{itemize} + \item $x = p(y_1, \textellipsis, y_n)$ mit Funktion $p(z_1, \textellipsis, z_n)$ \begin{enumerate} + \item Zuweisungsregeln $z_i = y_i$ verwenden + \item ggf. Speichergraph für Anweisungen von $p$ berechnen + \item Zuweisungsregeln für $x$ verwenden + \end{enumerate} \item Funktionszeiger: Bei Verschmelzen auf Typen achten \end{itemize} \end{enumerate}