From 8ddae352669ce890d5ee2133f804dedbf09b944d Mon Sep 17 00:00:00 2001 From: Nils Pukropp Date: Fri, 19 Jan 2024 05:29:56 +0100 Subject: [PATCH] tut 12 correction --- Tutorium/tut12/README.md | 10 ++++++---- Tutorium/tut12/slides.pdf | Bin 204074 -> 204847 bytes Tutorium/tut12/src/functional.py | 5 +++-- 3 files changed, 9 insertions(+), 6 deletions(-) diff --git a/Tutorium/tut12/README.md b/Tutorium/tut12/README.md index 1cec8a8..aaf86ad 100644 --- a/Tutorium/tut12/README.md +++ b/Tutorium/tut12/README.md @@ -249,8 +249,6 @@ def has_cycle(graph: Graph[Any]) -> bool: - **statische Typisierung** überprüft die gegebenen Typen zur **Übersetzungszeit** - also während wir den Quellcode übersetzen -### Was ist nun Python? - --- ## Type annotations - Typisierung @@ -259,6 +257,10 @@ def has_cycle(graph: Graph[Any]) -> bool: - also erst wenn das Programm *läuft* - **statische Typisierung** überprüft die gegebenen Typen zur **Übersetzungszeit** - also während wir den Quellcode übersetzen + +### Was ist nun Python? + +--- ### Was ist nun Python? @@ -266,7 +268,7 @@ def has_cycle(graph: Graph[Any]) -> bool: - wir müssen unsere `.py` Datei ausführen bevor wir wissen ob alles korrekt ist - **Pylance** ist ein eigenes Programm - es soll beim Schreiben bereits **Typverletzungen** erkennen - - **unvollständige** Typüberprüfung + - **unvollständige** Typüberprüfung, es soll nur den Entwickler unterstützen --- @@ -524,7 +526,7 @@ print(add_but_variable(3, 2)) # 5 def filter[T](predicate: Callable[[T], bool], xs: Iterable[T]) -> Iterable[T]: return [x for x in xs if predicate(x)] - predicate: Callable[[int | None] bool] = lambda e: bool(e) + predicate: Callable[[int | None] bool] = lambda e: e is not None none_free_list: list[int] = list(filter(predicate, [1, 2, 3, None, 5, 6])) print(none_free_list) # [1, 2, 3, 5, 6] - kein None ``` diff --git a/Tutorium/tut12/slides.pdf b/Tutorium/tut12/slides.pdf index ff4efcee0a06d16325200cffe2b9b37bef858ef5..d85884037a0461f6efc08102caa4cdf8d51d74d8 100644 GIT binary patch delta 125647 zcmYJZV{k4^uq_-rJLZmU+qP}ncJjowv18k|ZQHh;eD8PeJ$0*kx>ilCsjlijv(`*k zbimd2!Nqd{b0lyxfw;;i*vms7R8$ty>z;H;CX84>Y!mTNOsFQY02=|ab8QUVPD&bX zwuY$L*Xzb;c`5SRQnobXZOK*A703N1wTv80NiTI4E1935(zG`cfh_6DcrAT3SivQ5 z8r}5W)%Ash*7cCrSTHgvp04GD;RZMuTY(^%I(M0ZK^i^~Z)E%&ige`2{efgnAb7PT zU{hf!oMQc$S{ea0`}F|)!Vvj~9IdaSAos?K$2GxH{nxKwD+0&SwGtLn0V+A-k8i(` zVfax=N@9r|Rcn)jF-0;S_*G{eNIr^VjG_V4+!UlCnCgF=-Qa2iQ5v5^;XI; zYptvrM$b}`uK9}_@5IfeR#}i=XX#7lbC2KWyja=$N?7ItnRWHC!(1RuSl*NF?kg~% zngxM%jM_$Lq0ZzndTL)oDj2x4HUatmwDU~4f8=v}=}noQc=zVSu{Kbs1b_g!_0>zh zc{991TM|FhhL-92jeFG^rjOHAxec3Ya}97}O6iTm|VZ0VaxW{nusFx8t{TikDhRMF0j_fGt(6 zFXEcL`OAC-(XFpQ6gVpQxruxv!@X5Ltrg;Ats%behwy$cH(zBcPt@Qyxh6b$XYj|H zN!-o2LZI#!MqQ-cO#n^upDU;bWKmwD#T(cJ5Lo+Bco#@Zun~)T4G-@_e_<+Mg0*DS z7LvmlQM(>(tvcT--+)hfnQc@NzW`;A+25A~NJ!L`O@gb!=}4xAjdQ=B2vTY#uh%i5 z8Krh#(M-2zgcY(`kD}+tMGgG{R#msvdD=W~Vt^fydKYrCxcMqp8*rsSf#M z1B{tm_~>Tj z1ifiw1YL%<4P%Y3lS1#WJ|2Q@1g`6FL1>8e_#SI&i`kpo%MXZoVp1)*ATUePJ$M9Q z&fsO34@Y4x2N%yas28u-Z*`@|7CgH+P>320D=T{s_;bSWXI8g4Kbgxyp}dgtvjxH6 z>htmQaMWE#qv9H*y6e|r4+bce(VBipWe33L2V(Jc`tY+0`CKuFY8LSDgMUo!&$kMs zY7vMETE#b)cVIJMxkq0r8YI{~+_wV&r3QvIf_pMYe{3=!{AUP!1WJL%Ez#?+rQNhK zf;vJDs%r$aDpe?D&2=0hdMW=>;^G|4TF~sO6mQR9xvAMWfVuTPzRbFEkq)|W_LnBr zTf5R(2Iq@}fL1el5ky=aI%-EQic>%tD);t&`?ar?@9yPWQG3*=yC6j>^)wZ5S6fey zAD15@IAQKhu>Ww5+2{qZ3<<9A7oZoWo;zx(3-#p+UE8D~sh%m}nV2-pV4%7hkZUj z#WiK?1!5b$(%NR|y!aQJ0XmhwMK1Iwvs5gj$!9b+Lwud#(MkVt>e(^-glh| z5ecO50Qss|ElbvlB_iVUp0@3lUVS2gSu!xEG}Jb`(FVO^WNl#|&TJZBD9l10CCGJ( z+1g~Zi5N=jNt$O^H0|S8QZAUi4NsX1k9M5=8Y+XyoDwFSWV!`2u7K9W(oHqPsES+8 zq}g}*a$HAFeJn3NWgHK{J=2)2L%UhaF!X499q|(y^h)EL^n@2q#&+nS8+_7ewe9#a zDwBXdWju>?@mMDyDySDe+GlVO znq@=$uF_E};WB7Vpw8_yzTBzAoccSdlFais3&LpAeqTWnwzUn=i!w(jA2<(!34m*hzf*(0;N>prdWCnc{e#qs*sRFvBY^1Z#NMI+$yuZ(GXK1iyv|T z+9NvBI(sXB@|g5~2))x||4pYqdhg~3gS0`3AfRMnPxt&ZeGA+BSjXMV{b&3s|o~gGKE?)Xf^y!rI`JPni9j0 zoc!Xh<4`7>i@kDJLe1P(*42z_rCpP^zGY_mg56J@x|xra8dz0dyunD}8TWQ$T0u3G zMu=;T(#2_kDsed&B&tH?JV$dMNq1{}-MK>o-Tq@*0cj0M zYo0+Sghl+n15a7`wa;0GwNF`saUa!{((!!C$k=8_XysO8g+9zK^M)q9hP7b-gp)$- zk4?&8K0e1Z-DAr;hPn!t3XU~|Hs1LXlmry@M7&_THeME%B&$5S3@)@<~l zpL92H{N~{9;3RDv2k8HBk!G&&+7Y=7PNT`%9mrN?`>$#KN&1O2gvvxz%>6ih94RpJ&syB+R*&ZtL45bI@AY#&)^wsPxF z(^3MqDxt}+e3~b#(rSCKJ3g#>CH?ecKFF48Q*%hZmp_u8c1Z#>hq7%FcS-4HICt6U ztU9_=bx2b64Cor9YdN#fj$gQ%&Y9D6=WM)sH(b6(FWT(9&A$ERhfo(#97O@npt~&8NJf16^yPHQi%S$HdC<{ z!2>{Rug)Vo>BuaQ*RyRW@8+NGTeeWE8(%ZY$0IGyr)5>~J$8+tcboAgjdIAtU)i}K z2H!(;X`P`ml&W0T;6Az*A;fkA*Yw|)A`keSce3L9YqhoT%RWx8gmUwb$@Z>q_P$@B z4)&kTwEGC>5Mq~A+n(r0I{r~BuLx8xQ+@996v?$5&*8z743`?7Kg zxm&)ip6T|n+J#O)N6LHNN_%wjVrQ@X?ukyAu0>pbJ4+-i(=$jjedU3|9`o{TNSYA)dD zd^NY_&eOM1w=9lqDeP(XO`X`hv2%Svg_6K#_fVs^htmym6gy zKc=F+ZL9<^m!C6sI-cqT#O!+hbuMKh^X-V~e%gMune}}rwoa9&{EYE5yNR>v12V$V#i?XSeZ{PJX1xwLSCuP*{u8jBsAq0X)KtM+#0sSV(~v*=JzSQ z*dF5(9sUfKoC1`LS9V`pV+p5OyYrs*#y1pM_sb9*cD`fvMuNO*zAmgew5_wA%P?kS z>4wC=y))vNHZKtEEmwOcGvfHp|KS^?h|juSbDsQE#5uM!^IS4wa%HMW0YT);QA~oY*R!(_OvnW++Fmt}u-j=)@#3g}ZK1R{Co!yX8xA8VU9B#V$o$ z#wI@+mK8+Ax9oJ_k>-*3wP{o#yK2qVcO`T|{hsn!a2>e3wKHSibcmb9L^rVSjh~9n z!zVds769twWhRQjF1}_ZK~6=7+evcRNj+AE@_!j8<}O-X=BnUq)%eS`L*4wV+UrjO zqQ$ckZPBaWiG;bImZt{V39C1^o;WFt;XfFq9qj_^&vDRAQ@EB;s=Q`j+iv$@?|XuR zaP;{+WS8#uB*5A5~ zOX`QOt$?=g`xi`K39slJZ7-QF^r$y+a==>>boG#Y(aOlfS!0Z2c#VoKj+OBXBY{WX^KNoge=8|R~0D?ybP7B}oMvpxK_-=I1E7~f~*3~kdS z*62rKIwOwNp1i|h}{NWNW4> zci394D(d24&E6@NqeYV`+CbrIqdcT8EP)_nE8#0HP^4lm74yO^p86=xnAmew$6cI# z{#W7jrIeLpUCtK4m8@d@>McE(u(Bf+PhEw^dLipvRB@H8R?V?|)gQr8k$7PT70)-Kkp`sJNlDu*}at_t;lw$3uuwIoScQ%*pInB1wYh-@t^0n^a==;XnH zc)?>#R~U^nXT?lV&puhW2W+&CakEnyWnl9u(DjeGp$gB&yuj~hJ$$Au=+oVVrapeUdmKVs4Bt$ zEEWIxwO+>pqzI-nRN z+w&jt3NB+Gu^8uaIG^6wZ+~aJ@WUWI+_UWR=sh1^JnbhCzgW;M0Ofr@D=n!i-wf$o z^Gr#{IdrKcAdmK3mBO4O^^q*!wRvqhO}k#RfTz3U!1o>jM(^h+a0`ubLTRUsAV`IJ z<&ZEU;~!kO(b$Os46;FgtCEvL7IL9bIa76Wq_&)DGqc_LXPP6Q7@BzZr*8eno(9u( z;j+%QiP9Tm3(ZmkCgx^yOQL?f9gU!tq5!0kw+ zd^4zt*B_2Hew5B*s8xqA`hxl1ZMQu^PUctpBrItNA&{}kjP-&%ZfHfWr zu_P=Rxw5XG@K1p-YkR4x?UO1il(e=$jJ}|h9BZUj{fe)JT-UhUK}m{ozyR z-M8k8Pu&l{=YMgpfM0H|RwB0!&ff9;2q{*~X~-`+s9F?9q-s{DVKr@( zR`0^?4;J;TI?Lz41#?Sk)xi8H00+5$F@OI@k>f*NgZ?r7y4nO3Lk14=tG3Y#zIV$) z>`wgcxnm|8rjwtM4XDi4(o5VCLJFRnJl%R3XCf~ZhSk^s1n0+TuvzuMfjdOw zGA0se*4Q zIDjouZoHOjyiUdXIg=ITdNye(M$)>NgqK*O8p5&6SI3o0_|#z~aQ~~7Mgi*5bG4W3 z0W>06JaJ*4bSJru*k(YevBKGh8b~N8NFHa0>|d^|q}UR-+)|l!ZD`wHKt0Z*;ku9W zv4r`;rqeXAVgX(tp}{N)_)biVs7rY)iR}o1Tk%FlY3CeIT?>WPN1j9LlT&tEg$uKG zt-HS}uo?!|oK3x2$jottKG5KFl9#53;x(&vui3`^Gmx%J)>mcu@=(my-@0#kUU@b)cpoE^TX!_dneP}Xh{t25X>3N> z)IbFQXh=|AlHr}~^eS_(LJ2wYP#)-qxF@v5`~9=#k#=CR0BA2MU@LGMMCDo74LyZa zgzc0dk(Fs5I@*i?h0R>j*i}_<^wsHj@$E`b2((^l!`nHq{%D$qAmMe|8=qPThH$wL zYaAu%8l6o=?cTxKN;xbyc2yeJ_NH4fH`QcIG*Ri_+iB?`)7`plX_0(9p5A~tKd<6s zyo3siI#HgoFIy+PE;xurwmuXzCnlvDol_%#S}q7#oI_p zJvPWl$;b$;MQ2IA7whfWOjT|ua+v}b40e~nFx>=sgaI0aJ#*roe+3j0=mC@g5nfJP zkCwNmXbjSUyS~eVI8uD51nOk;0Wv8f5Zag03fBt!D#~&)(vO&cbN}bv1!>B&N@ zvKgN-lWUKm0Grf?xiV~`J`_rAxf%xK;fii8S#=X2L;*EK&$yT6ge)PlzeiyB6mS~S zE@Z3iId)-J{(s1ye zy-;(ytpJtYg<*!vA=cw<5Z8#bnzBkwJAVQ=;v?;<=KIC%#q1Tm8vglP_5?Mb?rD)Q4ppf9~Q89BBC^>nD z5`Mxu!J)EBHh{*IitU<#dS6QAHH^mH1fM}+QZqY$t(_32u-NAr%uKlV(GaPxcFzIm zs5(ef{c4B=8+0!_jz(v z&ORwpD2S?Tp1yc}fuO4~yzaVKq3&b#NQ&Kj?yyYN+63#JwT;EO4*3BP^ZAC6Wp|1B z^8y$xj$s{2M+v+0&01JM@ReCj9O*XaB-^zzBLGyXd0YwzAc%&|BW3jwz0>rpyWTPD zGe4&|X#D4IAjBz`Fu24JEX_if<2rz487|dBtC!mXY)lV_g*kYj18=1!mWNk@s3_@Y z3{k|hQ7OGXvY^bmSU4?FaVe>TL5su% zoa8Wu0)&o6>rPHuJQP^YXMX1=t|0=`zAW%}jGB#!zr29Lv&D)x>kah|VHJAI;TVuc zOqSKSqHU2646$Ylk6nc=xANM94_eA2tXmYTsk`J4AXX*F@@kDzaW_)Ep3+qebtx8= zizq4~ei4oZRYc9YO)t-@xk_JJhc#}=$=n331Yvk6;$w|OaxKhN1O~}S-+${59i%c93SRnY6j#8W7 z@lQD^pb~1Sou9<~IZBfMYoEDdu92r>q_?*kB0NG!3G{RL122aH_lF(vF|@Wsg0Nlq z5}Jsk94Xx?JOYgQ&-8HK2Z%sfs7f)0kQM0gJ9tXC{=4}T)cN4f*$WsAV)CL!^u^6M zs7st%-+jl@R@Qs4%JWfRz`mSD07Q-gKao;907KP6kkmb~C4*uL)C@C)ppknENp0CZ zr|~nvNIpN-5K+x##rIO^>>syhD({|{S6QQc?B{%nCcX?9Y)`jx67f^S^10l$zL9wP zvsNV4%v{K=gc^9pm)vqA=};?TRC_`*cljyS64>JXkwh0z6E=ECyK=W0Chk;WX^HnX zAQ>^^{DwOo75P0o&7!6qUQp%Za>}L~ONcNJ(Hpmkm7(J~!)t3$GL~37IRM79%f(n5 zTvl)e0v;yk!{r69Cw(e?~AOxZeBZp!WwB)_5?v#8Z6w!(5_!NrnQZ;l0tWKRF_dS+V)4l$wo zBn03YR5kggy8d)aEeY}JjKn1YM;&G~Frccv9v^lsJ&qxACBKv~a=HkFk~0hdVwccl zr7sjCG;sg?X@4XfAjQxItvKOxD}q8EzNHMj`>Xbb>mvnAPa%-oD0JW48C*h>`7yVz zh{^)%J$EK2rF#Fd=2ckn@cy$Rk70qquUCDxPVk}55bD68cx&rO^2FwkJ#hF;MVYYw zFh)m-bScyk6z52apKhzUp6?U}(3o%45Y+OjS9)29Ei0-|iVGl_cvvQ#y=W|UfhJ(+sONF|_N^C|%b&X@%7Y)lQY2{ia3_N<27+ywLl2(9F;co& zag>S+ZyFncA|qS{M1R1;3_jrR0T#3bLIzw<0-PFX}1U(yP-v_O-9^FB^$22RkiwO@m^1p?uzT zmMOgvDp5X43%nA*0n1tk3Cw@o8xucp0jx}|Cs5W^3r0`)S`=UJp)%g$sO`(|gsu8|E6Cw1*74x>SCuE~+|{lB z_jkyPk9dZv4E@s?)3(*{Gx!-QXai|Ux8a5l!g9)%gB!iLb{V@DP-GF4s`;3 zrDR>LBDYNyhtSe1%A^x$$Qxy@$bLh`)Q5}4eSaY!2IaImLe6Kgx zS&i}_a`SK&k-dGP!~5uslt>g>E6#SVpxQG*x@e$5E!F3WRk0S413y`U77^>0ektbE zLO%_M2I~Rl6qKj9Gg=jE#ZuVF{2nbv#3O4tP+p<`hGHDK?C(KzXXQ(v>REL zprj)bB^3KP;9ySTwQm(E_wU3RnJx)8>%uTsy`;OfZk7w-@T1Vlp{!sB4N^PUxO24w z_74_yPM28WH?AiK*><&x6#*PKh~#3|NeUu*QKz%4{X)q8tc1IkM@gxbx1EAt0%gM{5s3g+BXyYGl-9B-(K_p)^yZ z>X^?@wR%z7Osx+;xXeld62`0*nx2G{11V1c$gSr@t&ctQYq!~5uC{Eh?||<~YeU2) zeyrL~n&`jKlALi|=^17R{nKMHQ-J2zB0<$!oWYl03vD2Y%BQsYJzwN#D@Q}wcYM8(E z*R+9Xy5WVJfPAfYTjW*cVf?@s~l>d1yGV12h~xEm2^WXBsz>G=}q41LFN6VN2Pih(G# zaS}=L{3=S*wsh8t^$D%UtJOg)MPDL1(`;@!F$Wfg;`Jw1xVryUm?J(*}{gVo^yU^7d029I%pwLMc zNi_Yin7>?3*h^NN&O3tE!rhHjgsql%oRj=pJ5g5OqKg!Puv5O*OB`BvcAGAg%Y*Jo$*UoZhinFN}wB*6)n^mLnGOzQ-@2Bu9rq(;{ zJRMv=qNJXNY=EVtB~HMxQ_j!>=+|ttNN(DqkY4;ixzNE^dI6m z?SkZ&53fkUQ&v9hoxiu}TQ{cmiv)9*Omhc5&sZ28bs{re0r*)4=+D7YXVs4>ghq_vX zda@g+hchY+HpgU6P83He8cxI23uG)lOxduC#NYWW2M>Qd<>gkkRfMObt~F+Zh1a{oP8tpY?3etpYr*?aOmA#tr9F4v09&;LIbv z-dG2a>8=K#$c8KL*6~ zSoCE)SiL5MVib$fR7D>~T}j{``R)vDXpLQrCp_9``W+iGxZ++|SV-P;CQqnczYul0 z&n^WQ4a4DBS*&Y-*|XCX$*`u`=V4~v;t7vmtOCSo2MA6#H7DwhB*(%6juz? zrOwH0>~Pabp@aWx>J%!q8n%VvekrgNH~R+XLv%C5v^Y^AbaC_zuR2O9Gj;#u00RP3 zjR&MxSy8&E+piL424Zj<5rNw;FGNLRLw>Y~#u(Si)UzC?lW&qOx!bKBW+3`d(Kmml z$2N-(jiI9(M$Z$-{#~21v0^^GCY~x%4_8BPD&uVA+flRNnqq3@to-UkV^oM6H0G~Icp!b~d>Hf^+QV?V$wcn2K0 zZsGtcc`G;h?5nsQ1_?{AH$yKXH)AT*w{Fl{y@#*$96NI-Kvu;4;$NET^AvmRFp{Yq zUSYPLsq_On)%R}D+PuMU^a48dk=mq#jv1GQ7@6~ z{jW=&rkP*IOtL+!cIQ$o@9HTQ50M-lM6osDg~iWb%OW`UL8wR5mT5g^Ab{VK?dz=D z{7)V&>DwOUg-(Q4duO_D_4951Z7ELzX4=r#?cGv)XY~2UC4A?norxZW z>j9r5LC+;$!?lq6G2iH!&jI`A0UyNw{>cu6PF(Y&btc~L_4z+X8r8>N<>^$c@l(Xp zh{F5d=U02ZTRo{>nNIqZuK{h$yi&6Qa#r?dH;y3*I))_bnB!<-P9X_hq|rt28d+|b z5xB(9ihnOu;d--omSG(JA8Fu!sb4~dB)Mw-5G)T>mR`FhK)M76`k3Kw=l3}&_{DPB zzxLR-u%cZGL$IP>v*AQe`Qq7Y6ehwEv-@480F49XrJ8k=XGX0;&Cglm&|y9hkHRU< zQ*)ryS-K_H0DKZxGtL^Y5l(OK=LFq-8IkL@hb;3rAI|uVUR3mI7r(B_S>h^r?Y9qA zbMBn(i)97HgjtKx%G67dUoc)&OaZ_P@oxEk5+YQ@I&&E{^7g~ zpi{5;O+6j+-+7Wg)_0-i!*=JUaN>8^`;}?-2x|$W&XxY`{=W?x>xYJAYaXdWIrG1e zR52I%WO>c5bcK)3WaAkZRJo^qSzTLhJDvu)P(@ zJ{Y>nBgPI{E-vs^lP|5k$lJ^Nhwl~)rf>XaH6xJxT<^quZ;Fsoq1DYPUQdNzX0Gb` zXcnA{w@xKS052H=HpKCZh1=_YZr7grnz!!}gaU&$P;9gYx}3kYBKL<${9ohRsz<7o zP)@R?^GHZ6>WyXg#^bm4zX(?ytxNw6hoU51anb-YC1G(T09urc>UQPg%T|E@!r!ef z*56-vN1>F#aA^#V9DVvB|BMrKGO4_Ug0WoZU zxeeF>$*47wfJm_8%kcv#ygPTiuSRHzv6f^KY=7~70}(W{Thzc6wXr9o!gcNf|^4<;rN)t%{2_mGffqAhckF0f~YYU=UV??ntWA zWvqW4n&-9qVZbN0w0JCH%1BfutI>{%j;KV2`czcgW_24Et0AUzvQj)+G@ASTiw$9? zhSo~w0c{89-&y>M+I>5cNydE0kYaEO|Gf>cGU$gV&v!Q?7f4rW(ozbi4KiZLQZS@x zfV$AKJpV-J%aHulk1>T` z_S&iDg(9ZhY8=8;^T)0JLS~`I4~LJWmwUkRHMR~4Vg5G`?l9N1+>kiduU5Ivxj)7F zr-Ygv_fSlfJOnp!AlO{TUF9#kcGo~XObeI10N%D5y>lI9B+U<|hIKWKpS7L+;939v zA;7)#9S1n zs#E`jcR>LGJNOm(=wRXVJTr?^*jO9(7UYuzuZ?NM;ix!%))D{n?Z<>x8ad!8Utft5 z58;#4{8)?hofcMcw2Uaz7^dKc9}wb1TuW)+U6@Jat`c4Kk))O%4lbr*{bZ-1>LW7M z4BdWCZGx{Pl~+K)syZejH4>mm85xVV5E=n%2l()(Q*)dW zeGVUDMMZ=?tw}~MtE?!RsOiEEr%uLkByIgkuH1Rnl};y4)#yx6qBUf@Zj^9hkB-_z zFq2n0yZlfGnYX~uB)e$Ln1(dTxGvKH@K9(j$LU1jzlNFx*K1~)x~v( zoLDL5{@ivtMD4q`z@HNw)N;($0SkgK{?{V|nGIolK^GrnwwA(f0>H@c56bVXAq$II zU9?mz3nCk6q1^3kY!qnS*_MiJkdThz#8rN2rY&)=`^Y-TlQWNyxR?7GVR%0x`0IKD z@vH)hYFrf4nO*WHs~-NwO^AC9#vQOWMo*-RFzC7^jYDixTr!-6R`u-5eyZbWd2GDx*qB?TCZ3*$;H3vuJJcnhs^4?m7TlS}R{Fn8;m+W`- z=r{9AKj~Nf-`6kKA7Cs3&BZI6eUR^=TD8fCp@_YWae0V(q+*>RcGw~I8>7oTK95_I zxmH$bHO|d~yTLJA^MMxU`ibKFxo_q6QLT-htb0puo;bRaWEzSKEHiD?DPAnmD$3O# z`+5#YKPW!V0DuSP`Cq2aB`=aq4qb1V3wL@8%CJYA3tyZ%UCGX}f92{3oo>5VDCugl znnAqqMe=t*K3*V|STj}R9wgX5K1(34?)xyX5)sOKv6~;eYnaLjHhr;>GxVxxDhLtpQMck1FV#&Wc7KX~d`14K&L2 z_9yTo^apb61u+%|4Gp~Z?9*<%`1zWhYT7D-;zIaZww=2=5(|CW5lX7Y>BgHR#n@4Yaw~fkL-gZKd zkVSD9_W%)3j!28m8WSg#)58czLFcdirWbV#xEwR9^R?gt9r+V}qL5y5DE{zLsz zqE#>8GMc_P-mgg^S9*5z;+I>dr+|j2tsO#WChD+<4`)T@lmjjr2tsLU6|W3Yv#b(~`8n)3cOE!i zvMbT=*C=u)@2gIE#8GK$MLdHkI<`VfH3$Lq4brBqd8uhQnBcy(PDZ+pzZ)Ro{BLKIFB{Y zLIC#`={NE*ZUQz{@Nwiy`kR4#{>U(9OWA z%tjp2Nlo4@)(2A9EojFKB@r%G{N!n8G09g|APs;!z8ETuRKzg3Tw;odz#v;EFB2zgo6xeN*l?#{lNs2H5m)4*GmO zl$WZ##2ZU*q`6!Zif>9wc~@aM4ydsHO$waB!Ns>3Bxa(!&(|>njCA%%V=&&+o+%#?LZHH%@)nhKq!LA{q{Z2m56dk&l_WCA(@&WkZeUu zS=O?KxCX@Z#qPZ*y_FEYikDEiP-EjDGHeHVa0dm=85WncbblxuK$sD)!$2q?q8s9k zaVNB;q)ji&N*g~kKqXCMBP-DapQWu}lt~cuLQtiOG!ddb7m=K#iY< zx<;DQs~DobDtF+8?zHqG~Ibq!-{yRwoHiE?-iI zXA=gs+31uFPPd8yWOCe_jsK0(VZgDlo^y2)HRyKC)iv9ok}Nv9+7d`XJP!}_uY!NI z=||RZXYYcdhK=ms!0``oB)3$~gD4pY#vsJCxZJXh{O-e#J%2cS%q7A;Fw2M7Z3WT z=(g9R%LN(UPvmQQ{WEWw9yqqCtW@hwucpi0GB@-GnvP}DuN6zLB1D4EKol3K&Ns$$ ze&rmQQij$J5ogenx2=|8wC1h8aCXp^|1_12VTG?+O_gLwG@VMbvD0M5gIO8v@cz+6 z_$^DN6gDmd6dvA=xzAR1noc-{F)au9#+Dn&RLVA+DqB+tR^Eu`XUhDe+K?Mjc~@I7 zp-P}`*Y?%5K0gU5Kf0O8jC?#=DUZAbW>Ed)RVe9U2w7SZeA&z5n#L;j_2q))UyS zmu+{F4?406HoCH2Keb!LA-+rmJa?^p?%6&*el)ua49zA>YWsR5mZ~B-afegMSK8uy zf7(Qv(ChX1Vx+}llsM>$+1yHzTdPDsiN$RKSjT2Y#+sE$`fZ`utj9o?w`??PPYA3c zklM)sEAxfA3`);6ijlZhQ)P*HW>Q=#1!5x+2@Q8l4hsG+`TKDm?RKAjk+E z6_I2k)d{Ghkx;l^Mvhnm#!Et%goF16QwO~D>D=`i@{nxFZMr^ZqM-1$-uL+cd}bkZ zR{T&Vj8H?rqf7)T8D#hZt^1-G6lgBW_`EhiTxsH4Jnjq>uA!^q{eBah+WbL>-WFYW zcQw1ar*b>t8w{xdCbYv;=vsB){cr;`4Aw%CVW1gDM!;G((U{eynd88~3|B%@UU{M% z4bh7pp^k^3$3T^0%AZ}5we&1mIhnccps5=%kTOhCUzljH^>D|?Jg`ADKO`IItojxJ zF%`#sQ@O+eV*8GiljKpY~lW z2mD&}CU)0gB2Xv88_xFuQ@DmR`2q>UK#fL;3ru{3uT)p?0xWUBDk?k&Ps_=*#1WXc zO%K!ZA=|&(4!s>(aaWEU-ik5Cb4B};=hhCFGEbG-WxR~bEi3l*vP5gqEs6zzlgdnt zbhg!%%%@@u0s^k;r^B)0j(IJ9j6qynp+1gd6MHJa^Rsw$#8am)C6_(Ay;W!NQm0>8!mlYAEs!_z_0WWKh zw;x4WH`y)fw&}}782Olon!vBxQiEW(Oz&>4reJkJ^cU=`lfg&ZvZ&G?Jl?&6NZWPqF@))bTO-~IE_40Q$l;6pTz{|G(KyXr8YCT2BDF?T9 zL!?f*yXg=E^|Dkb{P~wK_$S^LZif2qJoIwHM&5Qd_lSUx!Y3IN|5t1;VVzEVhhP8X zAgove`r-7qk5FO`JQxfUf<{w zOZ)sxXg>)pYBrCfCo0aqape;0la6m1r0*JU)Y%gsuvrXun6Aw?v|=?3p?{=S40<1; z^x$V7b+p{>`k!A!u=V`nQ}g_h?|2Nj00jZpLJOb%?k|++(mroc4M6urCeVu>y6qZW zyA%(sPWHppP~zqnzvNNZK@5e*xEhhPRy*Nmrnm{xcC-&UYN$h*+&Is=t^V2Mb?J7eP3(+uC);$R~L0yMaz2^3IY%&=kIZ_JGGW@w_306!Iu*&~`| z%K{1r(R&BHBw*;?ehICpqbfuAjzA!(tKe2Mp8=xunix39%Njsre8PH|D1jMyoHxWw zq@0@0uIv$!OAX!~&_vM}(H%t1A+Qg?n3h+8-UQ~F;?eVHM&$Ihj_O3?Kg~kL&MZ9T z?*!gn%h64BqAz?B>!W+-06O-}2n_RDC@7uiCNR#!SX66#oPq*u^U4^JqICyCM6lB` z7)7hlWNC!)On15YDkdA(Z7kL0-VmNqf|(^xlw!`4v~O6l^x=7gVOU^D+4+O6^oWPwDpEydT&qrQkKi@GZ6A*jjY6aPQGA1CgpKweX%dpYu&T6|6dTZotqA#>V zJO=u$r@A8XZ>YK*yZkO9t4<|kJ>fz8D&DLI%!?B-T;`)rfQ@?9;yO{c&|&H%D7{n^ z9*a@@+CH~S>ZkOIbgZLfg_fy%?j*n6zC#yg^K{M(7}xteIs@Qlrjbj`TGJ@+ceGV&Q&HK$NEzOQ1)E)5WY` zlzE>Qj@Xqy0!%h$F_C;_Kegx>v(4R|tfX9sE!K3JJMLS^m}H6hz&tp{DQ0CYHdGtf zw#i&%EA^dy9`Az?WX}Yp8VS&n^j~k-;*z8X8whxy4W{O-NFJS|FEHz}+$8hqj&`+` z#z4K)Hl3%5Fx!cLKdt4il~!{&s93wysfg15<^BNk0eIoKtM1dLsiIe$(jUd))13O< z)nRS!zPw-1qF;;#-#T4AU-CY*FwU*``E)756HpdK_sn<3y;A&$lWoVe#fHO`DKS4b zzG~N@5FKgWoM?OlO$Jc|-M<)|6`g#w3AKyWJhziT1bMO`IQ#43_xe?Qrs=P4!MN&C zMXmKI0RGSY)NS%%hk>ihU>z3_ZH)_PTdvb@!j}Z$QSLgB{>d7-#9r`9G&~d$Nu&t?Q*xyO~Cyb zs)^UCFj1M%IS+AatejdJ1%OHjq4&a>*_*ojOlpBdOp?>41LaQg)J{OC7@t{VEKMvr z^`}K@#MIG&1Kmh+G!_23+h7_2h}gGV!pBGvFe-%o0KVVn{w!UE+mwZbron`yrfUuJ z9sc!Mz5v^#X0oReqo;Dge_izSa`5<^g3)XZ0;0uG%SnJ>Sg)^Z)a3l)=M5%w3)K6l zPta5|IfWcOa5#V!Ix`WqvG_J*BFe|9MB9rh?G~YB! zIK+o#5TaEwkv#hms8K&m)V4WJ+wE2vnnJh3N7n@CrYQdH-vf{R%a-bp)lnOmo^NBh z4g!3hx6dmJr9E5gdfo3wsxOy+4_|NZtvo+&hq~|+a=T>OqKFM_O&7FV*OsU)2b|9_ z>#XK#9r%9B4?wFxF}fK5`r>DZ3sfHlL6Os=#;R2Y(5i!E4u1cY`s`S~=#a;S$4`DT z8R}XePf>>q(MYZbbAKF!(Iv()CSw@a;cb&@TSapX%=x#R#ls@Zw^LBcH!-zX_imKd z1>OjyZ`@^Z8?Ap|_<<6|qAnyRN0)VkQNokRpmdlst2WdwV+`n>pk}s_$PYFdqA%ut zj7uqM86O76z3xc?^wAv40ymU=3*4n2^yM{Or`a4o=N=t>3v??t}Nbi@oVG(gYea zTY-fqBjr}~mkb*hFyph3aUcxu&ae-&+U^ReP(Dg6z|)ZZ;&S4XI<`+TyF*sci!Wa~ zAOm@He6WF!SF%56vy`GSEzFiN;Gm0_#>^8}kpj@fmoIrS5$3LO^nqYt*W<9Hd$CwN zZ=YA}r8>3rO62isFIPR|C&=4O^HdSq#n?zYd6H1!)^h3oy<^Ju9-0G>cy5?eam|3J zu~E`h*TOD9G$Q$i(EaL+V0(?Z*QU?UjY1SwXZQzSNu$0r^MG^4TH!M&9w-p%8zUta zhcjTj8MU=dzaATv6J%X*k1H*AuO)koDYoMPQ)n(ChDxP{25Hbj;*U5E8}j_*DOD-B z5q(^4QYx8V$q(5DO8p8^eCeOaop;#NT_A9lm`c{N1P3n&Y4YG0AO>LHVshW2nb(F9 z_(lI(8{)1$5KMS?3kh>^P;nguR-`<9%0&`&Z09)YNKJN%h}6#Fv{^oNv55?!_B=P< z8K`~`xcqyt+O?tsWlci1jz{1~IKJ2e`vaq~Yzf&|VGRlkzGo}{?=yWav|ubuNtZ4$ zU#GA8$9F^-V&Jv{{M+T@#`hS)0Sz1t8iYI*<#-<`_hr_kmy|-JehurR$znIWuZ~QB z_d2$Ny+KbZY4u+!p@WGh&Mczd*=pV{Kh}gkb zM|vTg+=%IE5RbhQGKf6RtD^aw2ictgUtbYvcV9~D^KhskUGEXBT7JI&GgV*+Akf+2 zdKrQ+hI|(;=?OSnuQ-CF9@M~R+n#OHG&DhqR+0x3Rl9fV!b42BeZ)HcmM0{RbC``_ zjfVs5)`@D?2-m&nUDVuz%KkpeXFC|MEL!EMstrD!YA>3j)L~bx72R| z?8mdlzwC(YhbiLxcs`i zNQ8j&S9^80jtpEVr5g~dD~Q}un7rqpf6N)x)YtHwC+U0p*r2tdgg|Q806&2yZFa7` zO(!@WcoOgW^bjw!_0gCRml=vSBmW+QhVb3-hBf z;?aH3+F+Q#dGRJJ0f4a*m0*seYi%t0C0%czc7ydz0p%!$Iw6a{BsvL7vF+rSxr~twGw)2Xcxkl9>UXor zxp>|oh9u$_&x73oZfdh!1-U=`FT5!MNqFUYSp+g66f^WGc|pI*Rk9&ADd?H`7rMzP zW6`Xr-87gfCY9aP02>Lr%<4z1j&U>}kB?JpPn=6MDiyAl#YlE!k)MRmI~(&QzvBkW z%iwhziIP&qZEb06r$T;~F;7$$0?=cIiRx z>f0i}2#9yaVg>TkWD`4lnKN>7WQ94xZKm}6lK=BY4tJY9VTa&zI?E=`fyvn~(5sV^2 zA{~V0h_yK10p@rQLIbC$Im6U-9X!2|HmN!9t(j7T*GDIIzV7trpr`q!QV^P&&sI9S zw6Y&#BXe`%tqrA7-DWwvJS((uFRvYAb8vHwC)bXPS`gjCOB3!1`{XwU(ID)N`h=}* zk2T8qyN}ZMdLJBK)74TdDC@)?c=8-xTuj@ZT`SoD$_uL(XY-`1i(l-TQZ<|_nt;bu zi-`fvdb+7BY;pbcpN8Ch4|=&Q8|{g>7m7D^mdKSqBrjQID*Y7sT?x;caW3 z?3`Z%m#mf-*vi7?ZCwNHo?p!h1sgxeg>zOWb8g{qro-k!Gn&JIHEw8P4M zC~~>hI_IuhSM(7}OHM{=`$#laE!PKy@Nw-rUf4}KHe5i#4F<8TO187NpLY&wEZ3f6I><8Qk>$+0U}={F3NNUm)))RPzH(jk4Tn=&2`?A zQ!I^5!w2f2>dU`%?+JAqye;B4Z^nPG$bKX7o45bA3QnfOkHnUy0H!s;+P{`5{6M4* zHebdEl~SgB)GO7AA4D?`_4hS}M-0aTuqW|j2+VF5p1G`~q9CCDwGKx^42KC!G?*$f zheo$hA!H<6;@sVflLPE-lJNHCr-;Y|A1eOKAfEhu>DZ8qyQpSDth^}hkW4x}a@51f zAh+!-g;I+e?XW#B{NROjY-`L&=NLUPnXCs{iRGN+P!v{X6L%!moa?ri5zzG(AfQ0Q z38AY5!hid6iRg5Hx z8?>?F#!cQZrtM+BA7ldR_t2V@-)=tzDw)vb;4d7EypDbbQ}|Z*#Z*h&Z5VdoOBBR$ zL=Ni=I61+(iWJ1}LE#57H%hKUfSmg;NIH3*;&23}unXAVGp3<`Uw`f*2+_5P?hOU< zwT@*fcwe(CCvEq&yVL&}^aP=2+++)P#B*5r^AnXscfKi$X3xmiVKWe_^e#15kE3F> z;r+I(Qenwr<%L9Ngl&*AQtRn!p#k%#@YSZmV-r@MqG^Kr?R?*68~yEM2!M+#SeW&7 zX#7Ix9fl|l9U3-FOZsL%Z_VxeH@qcG6K3BSFOp(hu@sUc^~cOE+ih^oz*9>$(PI~H z%(;Sl|DQeL2rEUG(%P<^?Bm;hcbRpL)p8enm+vcf57|*I-fokdesU}PZF~y>K?GkV znS9mtt0ZIQC8d=sWkV=n0_dH-YBDR0N(|q?cl9|8tMbbnVNZ;6%vOtc{aFFGXPS{G zI50lUOG2DnRFr3T2m^>-Y|v|Q5Fb>K|9*X&gzPm~8VN)AP~NpwUFiby`MuuA6bcUw!ue`|Pg!sD@83|LX#V*#MT;yzXAtQ$|?*B{ltwiv^d=ueSUk zG>LS#3@m>{Gxmg#2%@VWj}IRG1VjjKKYR{1S5=GnC^-)Ah>8+s{_1Ihr5Nov3oMJI-AQpGNixC_?|=u zh-#g5+QdHkXf#-3n(RJkvS&VXP?4pX@A*h(g*nE4U@udfxBtWc zNllQ*NiKkYCdqk#U_e9>ume#>GrevGLeMVvBk592x6iwLTd26;TL>g$T`kU?U=z=m zjAE--ksw>)3!3A#wQ2kBfESgq*V(0I=Qjw}SreuPEoa;sK1gEj*n|PTr#O3we%|_< z@+JsS07i!woSF#YhCENhjUp&X+;2sDUCx%|KX{)F2zHApydsd#&nJS|&gUnEICVo& za#I%DR}d8HCHa@`-BeaFQ!7_%y*xJbae_6}r`wm2sXRGh)ChTTU(@LbPs`!Zo0Gn= zX?b1rFLvivEV_j*V#4-Z8SSYj({cNF7YAOyU-IBMgTJ+(NksMWd2DXkrr@RiBL5oq zq65S@`9^XsIn`-xm54?nygirInugyJ`fb&P^D)&cd$akO`xl`@m&4&37Zn&(>|4aL z^S;ycCuQbyQ$ks9pe1nto4;uOdrP3SV)6>V0h=Pd$_8Y8*&|$dctpAN-u?wUP5t-L z^`tgUSXWR`&eGs2Tvek(z9!Shq870rae%C$sGQ*!%WF}|QQ5}-IcGRw4XHO3M+|)j z4UwhKcT_`9D#7Xu#YL54Dj=s|Ld_UI4hBElUxx~fVQZsq6pjFM&qvcT{UZ6{mnXNz zX!evaF7-#MV2{}EXJGBWnJzF92N{5ns~HM*12w%_uo|!OU5SeDZj#{hhxW2!fbl#q zwj>J2)Buy_C=}=lINu3z!0Z}~6a@9#IzLi4%MP!Dm;|~yhzs>D&7TwOHxjk4=Mev*BHX=FB>o zhYaF2^c%NL?bT)=rjNtt;5O>MKZnn;Y{;@?bs^`?+=gfT7fFSyQ;NmG0e4I!_{$P& zE;&Ta#Vc`7srin-b%#d^JaO4NBF6YK{OC+DB1p9xMRndy=~sWJ{?e;qV!DeSSNyK1H4A5kqG*z3S~w+%ghg@ZZ@l~ZkQY|9Ql z_;?)JEaH$huJ+b0rY`I&0UPbftB61~hf~j(9+2G25soMyvuyRG(fJ_1bKvV=3H1)$ zrz89=O_+B$BL>cTx3_DokFQYxi|`o~gJW4di=W7?-(*uap-mUoIW`!sOp*C-V_EI4 z!~!FOmKRHazeN4+5Dj;IUA&2OY~94&S2(N;bo(QEugfR4$L-GmfXj3&OiSiF2lk-7 zIzc#NbmG&#)-$h1Uk`ukYl=p^@$pR0g%Y%}T{eD{VdzzSp zD7P(qGPUCxQm7ByckBhqq`Y7uFjl6d-QYL`&IE#sF!Y!eB$S`@4)Hc*YSvsb`mqGvuMc(J|FpeB*0)!r#T~sNz3SXk&8scz^SZ<-gzYct0Y%GLuD(2P`#MYXQM? z8Sr9?-)SP@=9uOwO&E|D`*4XY>UeIhPqxIC06@3f9g{_HQOpa?)F5t`cacJ*`q|}W zNunxKzQ-VDNlIG)4Hws91yDT8-t)=gE<)P!Hz4>2d*})TI19ilPUxv*EP$jl>h|U{ z)TsS62Ievk7}HGTZ!96Baa2AJ-vX{5PPn-m!2C8{N+%3+SZZ@)6(Xy7V4Eh@!POC_ z0QHJj$Sw}&(*l#2lCO@xbZbAzVpci=0ytc*di%JUL}DUHXukS#M9HKV7tGV-;Q^7? ziRROT0Rf)Ry{dcGlk>kktA4^*Tu34T#i}qh03+AE;h?65#g0N|L3BHExB{xUvYT{y=g7EP zFGb+AigtzthZF={B7xvlOwzP+!7R|B(p>dKx4kp7CBXu|`PdWqI?F-fmTa+loR?+gATK-I@GlrN2Z&{>j#`m!| z6VOE`?WdN7lrf$DkifS7bE12RjkWC^fj~95U-Ju2UUX&5-f(Jk4tj){+ymo2%*1=j zsIJTO$P;OZd$wk!o@=StL+4lv5Pjt1z`d&#y?4TFWKybNm3AH-t*Q*Q-VDNnz0+q= zR+*fIy^~ZX9_b>DT*-Kw<(&a?!PYT9>PYcN1}2RJ-AMkHZ;J=3(_z7Nz}#>q*Jr;v@7rif-#>GpU7Z*B>4X}7Ne8t()ggj2m!pXIG}WrkBv!?x1cgr-{Qfv zUI5?9NIU*$)4OZVF4xB_G`-eErB$ewa-FY4&+lr|lo!?BI@9XSWe85C!|)Q3W4mf07c1H8WJXM#^TAN zLK+sJ1{qu`N(F@9sYDFeeyG1S7E;;XNx^48FR{P-dztvPLLt#`bf0_sk0bHx^<#lK zEUeJ%Yir=*Y)4dv`4X|hwDn>^NMgo;NQ#ajj0!gsh_K8wou=*h$ppo8Xff2NT(O|E zI39$?d?B$}`7Bt!D|d~yX_^Mc@bHnre(vd0B*J2Av*%OHl?cG- z=wPBdqEnMdq)5v%U8GT7#V0CpQrOmJo@rjlE2ol)dE zj%^0tMR<2`Cl#9m6Kj3OJwG>u`b5d#iK%5~$ImJW#j}bbHaiZO>CHIH2+<4M70a49 z_&fgivaS}gvXvZXVv4^z7h*o?1UFlsNUb*#+3`q#=Kd@(r`A6Z7G+8_DL~$6bB3Ej z-N)*oTD8QKTOshmGz7RcPmKsMwBY6rhq2Pg4ypsrmj4I)9r8bT5KqD8Bhk zO)%UQK6#!wyQBK~{`*3|ZNvup8)2p@|l?RH`f5N<7H(yx>aOmn(XPJ1jwls|( zAvG?VH*IX)^G_>rBANv4>Bd<&4CXEem~a?ZjQO->1+|8ng(#N7;988tkc888jsY0L6j69)d<@k^Nw@cmz4m72ve4Qw8u2yqaZ`IYzz@A zG?9UcHc{6d?co|bAQXuWsnKNuv?KA_gvM$Xzna&71pyh1EO!wWQd6>Tn)Yc(=>igH zoGao%WoYS{dVZROYYYVI41~T3Uk$m)+uRfWiu+DzGJjfetkPe#tejg-sp$)8)it7( zV$!Wt5Nr*ofBVH1BCDsm(65|K({^V4?NZ_A;E(mcsyiMn2QU)jGo)gPG?LT6IMQx> z1@*u3UM`@H>am&bPD#@F^9MU1h!uZkX~pa~+VKR0B<>nqCfS5owNksyKer1ZcEFhfhnT4Z_672VP4;xz-JdrJ2J2O37}q z(1&WJyn>xJnnnNkGDOJznH8?4g@aDLFS%R49iZ*9d7YxWw$2%9CkB}-{nYOK#*573 zS&~ZtFt1pi-Bp6-MGn2&(944K(t4ueUX`vJoa<8vq_{_VtnADF2+nIyx!V7pPjLTn zCM~c4QvB*PJ1@+tA_t#OXe%eKaSNaE3i|S!P!Sy(6>kYxloWKi#(~b5H_Rm=s4~Ap zR8Nsk7@gp%*WIRun|8&ZO2WgUZtBMIU{3f1m@a1KUjnLj4f6zJXXC?{FeHkil-iUy zDiA9~WKZU(@D;L9c!xSzzv7)}LsC+kH~l*29vjU|N7z&Lqa?OS<>puswLL@?pg{ z56QA(wK>T!YCN4Z%ty)*tsK=Ak z8`8^wd@IGI1{>~L(N?&KgJ9f&N?L7l}DT2d{jUH0;LD2 zuFKZ7wkI!Af#>CJpU;`nR4;xase4zDK6=WnL^9rgZxjCBzEFFRK@RRpKJR;Pv)=1Y z;Ay`=gjKyK5=3&sOl?5&>7(qWjB>B-*$C#UAVYgQsK>w^thU`D5Z`Jzjy>fjgsm-H zRkAsZc(RB(V2G2CEeWqvCilt%<|OQF33AZOeapiXHA8)2{lu7CPM@TTauNgH7Y|?q z{Ed5@Q(ow4QH3T>bAOfU`hlwyCD+FTK)e-z_LW3E{u00fAkXtsGVFT~ms9TYl$=VU zph)7!=3uYjmkrMQ{`s5orX&o-h4wjX`LjfIvxjj(^+PYhR`!A{!)p#u&5>_@Y3;bx z!>Pl`yl!e_Yd2_QJkYlsFgV7U!eNg4nw6em;1LOe_?ai|w?a9&w;XRJ=vNhH{%(p;fE7+a0M6y-*H3nE9$Cej+EIj@Sbntz`9}d%76!ctruBDO z`9^+1iswwr0bHNN{RwKWt{uLtNOK!4wWmpw-N$O*CvWERgkMV>;%KIG1PObHo5(<> z!!cHm3}OMFh3{@}evXo}!tOQQMwKp8xk$DTueG_WdOjbHKCkG27GwZ|xfE#34^u~P zfRLz~&Ofv*;P;{1AGZE~Xq%?9zdLW@lbRj2+STG{F#apbE%2xu<-BuXZnNG}lf{;TK>p2y5t1r3g?kDq7)UhRU%y)L!i zkwgyI7;1^35bI##nYI%pRvwhjhl+Hw15rFVAgQ~z0Y5Mm7fZj##OKofFKvJGr21j2 zqGSP@{08T1^tF&m82RQ?zTo*AxlC!xKeTQAvh`4_9}0thYW}-Ja?|TPnU^FpByPd$ zmvEfc#+fXq@6E-Dfn$->TSK>kAD}V#`@~vlVUlsBpLn&4x=zZv?D<{Tzyv-oP|;;* zMu5nEv2sk>oHqlzqMommJ?+9#hNx@@;WlblvNCq%%wFa%xbB(`;FIN(E&37kDfD3*NWbSWM)( z>@0cl3FR%;G;D}r>=qj#cN*z;)Wh0DO>Z}PfEX0T$tcNUgL#UcBJ~@SA?>s(l~JfN zYwjs+xa;0TSVdY`{50KJ24jUp&d->auKCDH`Q^oi*Xluf_0tccPWC?&3%Z>ACJpQxv_EydHv>D_Z)pjeLjlDTZtPVM zyo|-J5mjooYw9j$=NAgAEZ!ZRlW5DAfYwTt=Cx}Lm9-|%lufrTeF`uAfvJ(&k=Meo zFdz}qqF2R1YnMSluHd*d?#oQs`7BwVM`qg8Onkez*Z!E*Ej<2>q3BBnN4Ho1=h%!u z7H{a)URN)L=;|Bo;*nP;>+!>+A>v*vnP}y*oIYP^^RekM&TFNJt3RG7=vR;t5EhaW zsfX_IVpr{c9_EY>k~76M6?63W(Hn30kM8EedQ07j7~EB&kWXoHCw<6b0FiA(1L6c` z;7gly+xq`S-rro zoZ>%v>>mz5%Dw?U&f?7Ue0mlAYIO6x z%clcm#D(E7FAbk8@6s#XMCccmTh$5~+Rh0bt6xtq4%RqTmMcI(3_V}(Aj9D6el2N) zcXqxzz99MUPaRzJFwWCfFnb2vJ`x}B`X8DIRkFtK3VZ|bLo3m`Qv^|vZaI){$elAW zVOy!=AX*{bgDsbjKXzq%%berK=(YLD^iBo(KAO$+U|!kLVCZTBbAnRG9a(3y z9NSjd_*wx@qG~x`14%qbULV*Sn$U?@YPa-h*y$2#%hY0}qT)MZe0|)Rn?#}yMD>lX z4&H~SS2= z)hzh`_)lE2s|cGzyXA-Vg)4vx?iMtoq07)2{k>~LkG1ALt0Xf+2^>K=s-Q9 zaFkVSzi&tMwmV-z$F&(zl8wISGLGDRZ*Om_D%9Zc zd~XI*bM_oZag$3+_FIM`&;G1#H2FRtQS8SIhNb5Cg{{-kaM*7GcmCXi=!2&<_4eh_ z3^FDc;Z2RG?b7Qz$E$f6bUXQ152X%}?~Cb&o4Q4nBI7CTfr?g_*@?eq|vut`k(cAaj(6hCn+k;{P@5vvVNO?-cqYZ$Olm3H_|g z+c1QyQSR>ospJ(&caCnk;Y5q`aC5^%G;71ytdlv30q;uU!s?9_m#)s5ZK0W2&qQb# zTN|#oY!X@SrM|Y6JGTSHabYGvlg1!eiyDAxff)uqpnb& zWXM#z%JVr+Z+VQb@Z!8`;T`q<67BMCHl6s|#{hL*?t78;BUlE824n!9xkzq&@jZ0e z_2Giblcp323_E$fMDdx-G_@4|zmfX*oCN_1WRxXLft<4#;+!7nf!2|H)2Z}n57tPt zbj+krgFIgI2rOlrbMHv(=C+B3_{vBrQlgc;Qexm}v#}whsbUg3!4; zl=RFR6x6Yps66+ByDWfUX2}@1@=}D6AZA%p@rSH0&#o3xPKtkyv{;{QdRik&^>k|_ zx~;O;xUkQ@Y2A-z(kfA^B7I+|l`HIoFM;VhBpT)AUOAi3Zy6pkSKv=&T80xg!b;$A zKvav9sy#z^Lh9Y2@1~jtgdks59-{F@qcN80UgZHg21`*;2`oTozRH&uhXP0Vkft)^`8ihAV%*G|8?rwV~NK1F=dly-|?Y2$WQjnR2Er|VE4gWz_3ohgo-8-15$ zLMCf0ly->0q*kr7vq9z2d294SQn8k%PO83Q$aqR$gK}aOBj>>4#wn#-d|iDimcSsz zL42Sho)*tmgPvbvxuTsGr^T5c+^u%A5q-2Va@13SI%%hp6p&dkfslJcB1$uLrx^rr5jD62d zn?upn5w0Tdew!w4!fKt>e5yRPRu~K3h}FW#mhsE%3&Zm^82zlI1uxxo@8;yi&HEfZ zyFn~}QgM762S8cy(zKho!@^Er3-(Kwt1P|hZc@eNPT5gSS4F&LEY-=KlmN6Y=3eD` zv@~4ZhYf_sF*>iC1XZF2H=_2JPDzyFvGL-!MaJ2ryU~y-8d!9P0A_i@I4AeYG+Uh_ zB3F@)dZ4fSVAOXbr&l!nn^iem?to4TK+aOKkF0VDK*!J+_|w!Fn`6bL=eVEDCJ%AC z_TIx9^q5i5+2|d42*8yb`GZ)uleoqN&CGVm?UizxAE96_;jxMWw)HPnOb-~3!z>F|$?D;IretWV7At#Cqla^e10Pt`1Wa}c_1@M5o);`y`a_c(>kZKLGx&h(8*!T~`|K??m^`iI`5(z(IA-tV*? z3f@&yOmQT;*zwO($W%E^Hm}hp;Y$vJH=l|!xPbnsHP`M^+gEQH`s1Y$S*4!~fKODK zuVDFR8<9Yxcm;w+NGYkvcPxYP!{?r`8@n4%-$6f^DDZ8!xV^7`RKSH!sM9#TLw_JT zzCL9O4Pkg~a^e!N>+i}&w`5TS2+83o9W#rba+~rDqm_Kb$1PBYuH!BfA<$~DnV$^2 zqm@<+nQ)e-F8pkgtJrG6Ua$z|O=c5bu8n&Ln1!xE_tKyC=`5DQu6IARx;*n*?0cy@&r9IDb6j z`R`{w-oFaZ%w$=ySt|AbYe9d?1w8Z#g{BD=Kv-rE{N5=c-O8caVd#cUMZM@h76Nbv z2+ZP?hT>7JQh?+vvWgn+q=6i)M~0IgvqEsSBu-ieX*;0#=G{)WKL-gBy~3;JZ9w>j z140w7O8mXHza6zEgdqQ(mBy0RYy^F~f?dSrjjb7oZ?1mB0I4{U7d^&6Fj`Vf3le$j zhzN5ncq>!T=Yt_I$T@+O#0$t(s0GX&GAU-KDN24HN*%#$nq0A5aUwP$-XyA-Sr#~FDsE$ob>F+mLZV?(w8i%enWhkbiIs_T`F(r63cE%qy$%X;x zC2ajaf=S^9zGZ1qdUmHpw9KX!1i?WPC4$P#XlUKtrmUWsU=+`99#puPBJR5gyr9(C z#TiY{2)|8!iG0mf@;zwql*@p3;?Qi7fkz>9wwPXel7TV{#nIGOCP$oyD z^-TJ2a+9G>-$@pD-O$xVimH*&TrwfD4-&PacRVz;$dV9hOlbQCxhiNh^C=7ZgWWN+ z%OJNF{EWdn3k1B2>PRTvHVZ!0;EvtZTC;G_e{p7{n1Up1oB1% zV)Zf4dZ?6(ej{^I8KG|d^kjK)hm2urm=vf>Z|Z&7^R1Ff0BXvsQNkG;6U{u1)wvPX z!UChPG~#Xc9iL2_b^Tuu&ISGx=o<&d{u`e;!pAVZi{Q*?G;4~51)mbd{`VQ!o_~}- zj-KGJy)JG1wn|D6l=f^hifg3+3cdr4YkeB7e+10h!;HOT>T3%PwSLbYt%Ei%v(JpN=H-m1D}WsoZ-~+(D}25UaBT zFyatz)`hCiWuU%CyaAJ1)0Z2VLx42VP=KHIKpPC-(*KqEW(P$7mHH+l!`DxEIUMT} zN6WI?vUxAy{-~dP3LD_yS6Ae@)?cCAe&|TmytJGw=h4V5zZKVsZH@ z+!bV_`xK9FtyWL{PzP33t!Y!4kNSnI(nie{dDD?@wf}$q@AAL-zl{Ip|4OVw+SI`> z1@D z0(Z(#2GoO9oZ!NCdwIAKLwCI7tt0$@QNpcL$R#7_RjAJE`fWL+TC2VgRE|!b(9+zP z^7B0Y87NX`L+Oaevb0%!EdXd5PC_&vI~1h&Sl8j><#D*{@);Xr=E=t)OhFEhM`H^h zsbS9k;>QbUg9B1nQ+6eaDQfL~@u?j8lN`+Wdy=&;0EN51mn9tPJ&WWA z#d;iNIsoI985kBCit0>!R6_Fgu})7(XPb<=Wwlah8bfN{YxZP#y%+9rG_aJaCAMx} zWUdx%F_?CYYcXgQ)A&a(hAth~D3Ps;F5LvJ(^sB3NzGWXK0SI-c?i1Y?b`Uq*qIH49p;jAV?r0`->eXJgR=BUCpVWKS&? z7srJ1R)npPNF*x52G^TQ+(RuUkxPN^ffS0pyW*Y_D_7+`C=w0~YeM*cBXlo1C8$<6HWd3uA+ z{vf#hw@&E|N&`5tVClfB2)%PTQR9)78j!%adwD*QA=FJdxyhW^W@8y|N1OL^1}L?k zXcGAe6DmGosf(^fvjpHu9ba#**ZOq0iZM_qLKHuF-u4uCdcwAlFhGZ1?KB1JR_R-a zkx|aSGUP}XyK`X!xqy=E9e@Cip>#mrP<4*Mojg&$Pd3iRwrwXHZL+a# z+t!A^*tTu!7u&X-jcx1Z|J-|DJTIoYdb+BoYr1<*O`r4q96vToNov8Cmj@6T2&6_~ zm|P@VegYq9m>0&~!{1Pq$n_}6v3--j`(vmjEZ~1(NTwRt?VQ5Lk}gK3i(-CSoGGek zlmzpK2~*4j76_`U@r^ABIiies3gvUOOHdt@dxBkapph(vW3mb0hLZ|12(xG!&zk&t zV?CCs5;QcO>GS9%vs0zf7*%t$>KO?na=Gu}5DN>EfI8}MBa-bY2cbXl3Ll`_`^o;CW-Yu5 zkW^k%X)1c*vjd;4nsT5VY!Wx#S2DG-SW7}8@vup}{o(y0IO3}VbOwrG%$ z5mu{cENVua5ttVMLEEGtgUir6R!lY-O+gbW3ewJT;CLcThRVFoouX6FCted+bSwe!=+W~ryOU_ zV$%N|nzM2WKb0g6-Y*14ClR9!7_I9|i`ksoNvD^WVL06>W33>2dRPz8qi#Qa!Ubac z1zQN)6bsz#pC%J69N8L|J|?lPZv@?hguO6S z8x9R^UuyGj#1=qEpm3T0Ds;9{n~N%55Ah%jWWtVrU6~rUbvhMBJMU}Q=|4(G|;sgSzcc%(n| z6jT2U@DHI$4;d@1oG1fvJ-tpBj(#P&@M}?R6zF0?2UGK2`e%?>U^>JU@Eu;ZrTX7h zH&92*t>GgBI0L9z&ktEl$m0yul-gF|?Ioq!^JKBD>yN2dFPeUv3~q`QgLD6yPqcDt z&WOLg%+|W?;(LF)J|o7U$1|Kw6snA`IC}ToDM75FfYd}AY&|R;P%a+BGN-k6EYmDj z41EmW`#1LPC1I-|#FFqef&qY-#o=#~D)?vHo|syeYPLv477E}0Lmqxy!m-!4r_QiC zTg!4H-4BN*T=QI(K1>8(=$urQO2b+>ya-k^m5O>Twl7)|a#nrVpK@t+WXoaa%AwTF?%kt>eA{R(Il>*$3m=!=2hh$mw>Pqyg z*BldRA9ulg5WKUckYGu76KED~f20zNYW&@mbHcdrszL%<$RCRKf1#tO@DA9`?b5dx z_OR_7nF9;XXt3=|ju|3<;(Q!DK}uTzEq91$DX}BamNL4yU!0(zW2XG z^Ok8TWVs@P0gD9~Z9?7e2|ZX&LFXgp-^_4%unExPgaDD(gH40L;NZw>W=LE=(`>h& z;sG7VO^}47Ju>gn;#_2`B!@`5&{aZ9q~M4}k@9?voQAKJ$H*TcGLdx5k!Es~4QWvw ztmh8>;(~$VzT)g*jYng zYfcvS9}&2?!AF<@4s);N9W>rwtisSE%;U3{f%r%AL_5o&Yj6q}ZDGKn9xmww-5g5*X^3A4WbePLA<5p!Xgzu<%8X+D zHL?#^%ZTIznNz{4YfglSBRi!cxAh`w^kOVrm!xup7vfHsiZbJ~+2jFj`}Y^~2d>4_ znt*(h)myLDD0nA|JpIK`Y1~89zZ{i`;Mq5ixg=-e%@dMY540j}eUE5j^$%-i;m+es z-O&`acBSAR&%Indvd z@$s$wGZRQjb~>WP1uU7BJW5}xW8zIaGy#BfHK)NnCbU}&Gb7jp%LHx7D@MFNt{?gO z15K41=2eR;c9i*cpfN26g2tA#1b z)JLWOv2a$0POm&OTeURhcpuU27H}PV*}W_C*|>kCUUFCboHn_6z`?=D8E4X|&~E** zXDyMld-RLt?~}7^_d=eCtdvi3eHW9P@;ia!u++GMrQYyu!vo2NY|d^#<*Fg9QOuNbXxU}(>~ZI*nUCx2=Q9ss|qfMgPN}%Q_=8Pnxu&L zbLll7x;#DV<0JpL!RSFiiTT5#oZ8~ndh)oC!K($cGrnGSU2;eD{!j7BpcuLXDg3-w zqd^;dPd~42zrW2#eMg-~u|jWV@oUu|xRUh%A!;ZpF%}Zfvgy$+-LTZ&oIQN@C=sLv zwuE4dTBAo6jCwclHL0)HhsaLgGWc4%{;Qe!(~H@gUd$U(W8Dj&Q=~Qe;b{adN*i?! zS>fGQ4KZ1rN-fpVPeJO!Y~uD_W#%2d#`DL1A}J+nJ+YY2{9sX*uQj`~_?jUtbs~p0}@B{vz3*`ANtc4U%7C8fs zS3p$(qs{-s86`A9ASC$C(1CI#+(6(ajLg`7W8Q`=2|1`%sxDgQqCY!6-b*48+tD{9 z|D*iiDq8Obe@xka%2mix717Y9l<(W5cKTU7O^!caw5zID{P^})ztrx+fnosHekLTR zOs~6vEOaq4cH8cwi=?Tyw2A;6g;+_D2 z%rx={_hzi;sk0E=W4}Ont3pBqw5LI>hZVntfHhb>t;!XVh7){Z`=g0RO9lw{H1Lb* zpEqdSF{M>5Q-1te{;KUTa}~T_3%z#P!Z&4cCEo<6NTih7W-~!;uUqG`O$|G}CP{oL zG&q{1fYaU=vGeg^nMhdH#Ob}TjWIxp44hSBn(7D;7Fr&;0M>c}jP#s?c_3PIqzK2| z>fnPzp0d`jY3S`6JI}?01mvh)5;1hGfwium#+VTWGjW~2Ddtup%rq^I(OobWy{*~PGrZHpXg%DVE=FU=%v#T3*^h_@gi@DTX18bIH;{fgW==1$OE4kIO!dFml)-OtG4|ll*8L;M z9JkMGl}S$-C&K)LN+xDGq&E`u;da#qW9aDV)k8ndbzF^{)V}dOJN2IPs-x}W9upu% z?R)kso`gm$vqp= zH-BiAs=(K5h`;GQ0SQoYV5d=adRX|STALRjIFx*$ah`prbD4G?uT`QAfA{x!ABB5B2shADChta%A*jk{O(+o z0>~f?Cqkytsq4GeCt%^RX9VTg$pRw!>im6}sZwB?KPET+N!XW+77FKPAytvN{7`bx z^)_xjIh??MYrA-)10QwE)8Rxm_-#xSbG9>}0;a4&$mLlrUNK*x?Zz>sz^Yv@f zzam$1*1sg!ism%UYPaF_CxYdNr+kRWFYPt?Dk!@Ws?ubE2k8N$(oo@k@Bos5XLm zeMZv=9ymJ>+S>Ll*!%CkA4{7z%o!(AR&XxJy$l4EbphB3a@AND^t*lKREGs_bnmQN zo)djad)u>Ge!-F&-B#eHxob;kFy|C4KfKYj!90<)6HGWv8+GgtJT=ChIxAl++%FJX zhtEmflg~NbPl2pOfclUk!fDkM1U=7x*lE_;*ge+u*rz~TO6qz$O82S9u7=2JZlae| ze}n6$cEA}49fJS7h`%uno+LTyVIpgqdd1}^nsiX2M7pHq=}a$eu#SUC8{<{hcL3N` zB_ZaxS$+!@F5-p-@boycE6&2b~d z9pvr>^mpmYYrRTKFDi?U(sam>I3pU>Zar&`dm)@thhCA%iGA0*#fo^A>J*bVdYq-` z%P2ceZRMziH^;c5Va)|iMAP4vRoA2sT@0on=)`xj%^95G6T2o=HRsQ(n$wddnJ&!W z0KlL|H7;uR=H4b`dNqR8GzZ-iZST6`a)L1JOFwW8(Fs=BjLhZ&U3G1ASM@L__wt7K za_P;znE~RWk1rTS!pk6A1x2~>L6WZnZidIw}YK z2$KK(XkgM0zK|o7k>zCg(bO&F5*G>N9r^p*JaQUKFlu2_=hfD*A9&{3SaX+zG|+1b z9slzN!sEj;_8&6uX&RbkiV|_&@)Gvm+p|Kd=)gV`@)zm-Z?JP)lm8!fn?Sw70m_`9 zzv2UDxKzL=3yw#?s%tFTaI!K93O4Nim_WROmN2J^aKR#{h-#Z!4cQ* zGjR-s!Aa8epHh8%{C=POqORY+wwAThvrcPFiYD(nv1cS0>`EY1d0)L%Q6%ky!0wDTF8 zKnMk+Qk$$XyZ6(ygC9gtX;=FO;4s5$6__a1KaB&p-QW02Jo$K=D%&&7 zPcO81#C1d%b`KlwVIzGE1O~N(X(A2QMTX$T`PZylg-igDTO_tblO&0u8xhg1puw%Ab z0`s7Br%8zEK#__)4fRJy5nPmeYxG*hYMo}(y@>8SRM05AD9u$&{0onG+G3E*&~DVa z$dap88KsJ6vJ=adw#JYnM&q`lER@CpQJ7?1dql4HOPQOwmh}mZFnp82K6H9o+P`H= znw^Fw#pYihUmyma3B;TK`H+n^;{bEYRn6VM9rL31GIjFCFE ziH9)BkRjEEWj=+x17qyOUSTFd6P3b{z*BI!>Ph-P3|{;D76E%nuH#~ zz)L;SP?%KbZD|xrXlIJ7@xYoRt!QOY+2cTw&P1l?t1&)R%tl0<7V61Tay^{rx{pK9 zJW5oBD^3*-a>^2D)S~ZrZSzc{mYfUL>?Y$JQ4{yYU7j5k&oLucTV|;AVklhO-*+>o<**_q-DQJp zK+U2RN&|y5+;Ml;k+A}dq)4+MI&^E6;zp5k3l@GsIQL{JDINNlzfu6wyVAfr+>qt? zWC$(;?tY3(?~ly{0>D4kyem1Gt3o2}5Jc>LGc*;Bez7%qgo0n?=(Vuwbn)A3Sd`J4 zxg20InCFk3ZGrE}cZXPv|2N8Z$1x0H4`pM@1=ICjNKN`)T`jNuzGV0}0U!svfr6k} zS%QTxw^Dl)@F!k~Egc~BkQ!t^r?u?-kZjc^TGsz>^yf_pA;8VY2PaB{;ev)Qk}9(y zInyQP-3&3Oo7lH=ItyB7@!u6Tqtw)^_Y~pj{?sQ>Vi@Q%p>gxnE;62=dd!eiUt=L< zF$rkCxZAX&>{LCm%(C5}vleLCYbI>6z62ux$7h|=~BR!M=uJ*a`I z+d57zn=DH$7LL1Y4}bBXXiYBWE>n!N%ZmHMm*a(>^wu2X;S|SV3SRk|Z#$d!x-{ad zpWd9nNr!RXt$@Gqw{z{RFPZy840-v!@W zo1J>@nZc1KgPkigDBh)`pE@$EQqQ8A^jQ}%v;gxtE5_8R_hut<#n$7$qDP9iwA@e* zt^0yUip5X2_*nrRcpp6|)C9-~fuOSiAqDu<1f~ddKO6=N!14s{XTI^vBeY}q;*f@c zM~e3d(?(!WK6SLiM^6U$Im6W4_mLA^(w%n~u^eL~y>_vOpkth)g!1@}&O2^1lsAgc z@PM2MS-r&2X+bmsHrswn`zt1q2XUlS1w?E=hpMYxCj~@dsGNXMP|<-SA`knYmUFk^ z(<0+bz+@i&oS5j|z~vZ+&0y|etl|R<+(SSl&n*t#?g)9yL|pFPT}EvHCBYzg4j+wk z$)}4KgUPUhEoHO@+&L?ow@@U*$LWSdAE1OQK@qoe}PB2H@@?t;2+8iMf0 zggnhJkV*20EHyf5H?iWxGnLRYs%FmYo6p|sD?t_PTR4@FE`i0o8hMvQRA>Zc{K1JN zQf2%_f2lBemxZU?Q}geZMzvDzHP8Q7;+Ib)g@LK`JB5_z5r&jEBjc9?f?Izn!}D?} zcRHNOvyTksS;poFEoKzrmlI^+mEtI;q*#(FC-pMQqc@tB(gZ}>bqT7-Q*OtFy#G)U z>_^|uEx$LoS^!ZI^b9V~HNfC3g#E{=hz{OYw$K`HpJ*$$LD$!AE8u|C+{lF6Ji>Hl z)E?JubnpUEDjJ609airGfZD^%#Ytk?q z8aj!!7H&kXX13FwG5XT-_*G3w2JbmXo2 z;!q2zI!ruD)hftQz<6Xnl*C)vsT3cLYEl0EAS6sLJ(lWVMt(Lo)Kr z_-)SDd`vESY8en&bo_E#S~zw-FKhQ*TRwDk5g$6vCpwc- z1s#AXpaRD9a1kLM7;e&x;!kZZd=PCIX+C-}U^Y`cB!>lcfj;P~>6DO)BVZNlCQb}I z{ewij>^owOw2**e&U6>sE|A_zZ`!Ik?%{JwYGXF;W^iC@KZ7kcbeZ7H z|EsIPft|7jgI>V&W1T?s`+oNp`50(`vtyBCcOPUR+m4DM2cY!IjuXm!0AOeT^}_n) z@K%dQ`i?v$0U;Ke&D>Ob5^NByDT~5=$}@UO#a#?ELZJjDnEw@ai=`o5HjF2C$==}I z$F$ycg?0G1Z}e^02!Wrg3q5Y&rZ3=EbPj>_55{aP$ZS65iJRy7OX1-8?J#18eN>w% zJUM0Vj?8QH)<-V40jIuQWI)02B-ItFevGLs5kC$uG0*9m(HnDk!jI^iOl@T3iBTHc z7|IvC20jZKoM#F1VRYGlJPdo-EPt0q3x^@pK6PZ<8g82V8GxfA=~df2uB$w!_ow+_ z9Jh@b*PWEx=6S3BQ0N&d;JjB=r`I7sUm>f8{+uNegt6%D?q-3?a)8{=f${@)KdeF^ z-#BKQ@)?gOwt)B6cy6g6?}Z7-Bxn4KW2WV{=aknfLgNvH;fyY3sGzql5hOhWQbqLo z4+pOy#}cWQg4-0QBubKgMhl(uy! z<6?%Yn5a4Z`CUKGZvYVH=V|HNpxBNlK}@*9Z7@D4^Uxwx1*$2c>H28kLtdD;U=18C z8d#HW<4iU$?!N4=2!G%2f_I#t>#jt|`9;_e)qxM@MvV8HtDc*nzs3_Q|M`u_5~q5o zMhAzX&3_<72ebg_|JI>oeHBczZB7`VwsDAYq+1g`wqf;B4yc4j;B)rS(j7{Ej}WJ- zuqhvsfapF@JT&z>emKp-StPDtgZH5- zB0tdZ(deY21SE9~&E>~MV}~jE+G6`Cf@FGqYex~*#x1q3Us#vu7F@N4>Nx}1 zm-pVX8GTi@8;*7h+|Hrve{pQFoN6^{y77oc_BLflbCqd!*vQeW02+_-Bl*;0!%