From 28f446e6d7acb95b7385893a56b4cbeabc68a68f Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Thu, 23 Oct 2025 17:14:16 +0200 Subject: [PATCH] [TI] Notes from exercise session --- .../02_finite-automata/03_non-determinism.tex | 3 +++ semester3/ti/ti-summary.pdf | Bin 940783 -> 941163 bytes 2 files changed, 3 insertions(+) diff --git a/semester3/ti/parts/02_finite-automata/03_non-determinism.tex b/semester3/ti/parts/02_finite-automata/03_non-determinism.tex index e841b11..5e13ab6 100644 --- a/semester3/ti/parts/02_finite-automata/03_non-determinism.tex +++ b/semester3/ti/parts/02_finite-automata/03_non-determinism.tex @@ -79,6 +79,9 @@ also aller Zustände, die aus irgendeinem Zustand $p \in P$ beim Lesen von $a$ e Dabei benutzen wir $\langle P \rangle$ statt $P$, um zu verdeutlichen, dass wir eine Zustand von $A$ und nicht die Menge der Zustände von $M$ bezeichnen. +Ein EA, der die Sprache, bei welcher das $k$-letzte Symbol $1$ ist, benötigt $2^k$ Zustände. +Er wird dabei aus dem NEA dieser Sprache mit der Potenzmengenkonstruktion gebildet. + \inlinetheorem Zu jedem NEA $M$ existiert ein EA $A$, so dass $L(M) = L(A)$ Um $L(M) = L(A)$ zu zeigen, müssen wir folgende Äquivalenz beweisen: diff --git a/semester3/ti/ti-summary.pdf b/semester3/ti/ti-summary.pdf index 88de9266178b4a80cd054e595bf804c908b33ca9..d5059117d9b4df3f5d58e2508c059608d67882ab 100644 GIT binary patch delta 33244 zcmV)aK&rp*wK?m!Ik2P(0VI>93jG3wptGb4KLP|T9jKI((E}8-`wa~V0Wy;b7b67k zMq2f=Fc)G90W_0g1So%%SKV`?HV}XJU%?}u#vDS}hQ~{LZIhW!rxVZhA$Jc1WLpy~ zxgeV6{`&4}7mR(lNnh;MO4^U#eu+5P1#$4p>~=Hz@N<#{d6ch`Rj}CxX&$ZORj|&} zC|@swO%*(bo4vA)a=I<&Nfz$ad?95T-kGg!4u#Xt^RJuxAccRM0)+Y-_l40d9+Tm( zo%@CdW}h~*zh-zM4#Y`~h(wkLtH4ZA+yAR?>=2`IKPafdpDvDPU=sI|q{V|Kj zrl)Bj(nzMOWNiC#6)i9W5F{g5msI4v^6B*3_TDavPfpE9F+oMBc%&)Eqp;{!HY`$Jx|u5s_k*U zK%yf4wt>r@avqcHB0qmR@3AE3U$mhN@SZ}#cw0KkA=&{4MF>EOP$Bg?J}<)~sc%~i z4n)`DwT`kLZV@FMuLpfNdZ*XRu(TaT51=CsA`J}H6d1<#?Ko}_t|W)x6s=aRqXj{M z!FweJ!jAu6Vv(X#6|?)>gy(RdkSI*a+ZatRR~zGP#RZnpSoVKQqaB~GEDCrrv?}VF zh%?w&a_35WP;ErZ&Ayjf7Us+}TJ-T}&8pJ2Yo|i&_O{z`EMNA@P@E~bfK_XB6{($a zoCLKsJJm#kv~`qANz(qDXEO9blVlhY#yVy>Z#7chRU}Rbcy_-{f2d-hk3297TEfP04+*XTC*quW>AhfMwu5;@SW17-aqV5=(2jaUib3=BDaEKh zAAMGR1x$-W7$r$94~hLAKe9{ z(x6$!;cs2-^sxqD8AHfDRPc6>y7RgrAB-Yme+@a>mf)5q#^9^%6cxOUl$QWGEbEJPiHj%!MgM`UQ!k%UeFZx$TW4^av zMZ1WoV>7e`4ExRZrWvK!VE?v({{xyy)$+>5`mumV_I%48PdI*GgUK?=^3|yZ6RyFJ zRi)osedFSjr?%{0P2NXBlbbNx*{HzwhHQ|G?9@a9x}yx{ z!IGl_Nl%UsoU66#A4JpM$gqF3UwL}KPG42Fa?Y8Tlmr;cR6tfH`C=LMbM@qS&yKz?n%U_pJzhf#$Bhf#$Chf#$Dhf#$E zhf#$Fw^4-$ta~ScKI4t~+cuK#^DA_3 znmP+12!H^cO5KgKPO?dSyNv7 zEbWY7}QYqV2He2L^87^Hf zEO-6_c3 z+<^bGaDe1m&jR>izxSVhI<&M9f2x1UxZE~fvvaTNW?MV*zo^?9mQBxZx43wK_I|Uw zT)^!TX5kvWw}5}TvQ0Yt^AZ2-+OFRPk;h5V zxcT24ws$zmrfxfeENeHlH%J8yYe~yjx0CTQH&E_b^sxgqPLN+V+g0_R1|x{2$aYEX zXzAC4#U;l!eD0`pwZ6Zt9QU|xKM<$TSHSmqly~p0@7Q8z%+6zxElyH%;fe z-fyehO-XUyoqED1 z2(IYy9_0giu1JI7LR#%fbhzFfNSD+tQmk(hk_vw&45JmuBt6Yq0y(15gPkwlEb9&3 zytK6H*Si|8BewV@%L-&@GyjUTG>HA6rQg9DJ-=~pc=!gUM_OIa3NV1eAT*bn2@QIM zGg&(Q!6RQwCW~?wH2M$*5EHr*O12DTNCj6J$1*yG)?>4gWkUGlEV#Rq^%CvvRGG(QZs`B z1dfApQwTdAugpS$^=-EIhs3bKTJxhfu~pTE8DogbYP6_hG{LDTX;odT)edAKiD8U? zN~VmAjWn9XqR1GmIxN1>)QWk*5nx!<1F(MyI*U95dBphvpGZgEKS;k3m&zP$sv6De zE=E6|F%CxRkpvtI#4!QyVgv;J1Zyg+qA3b$c(n#4v<1HYfci7f=Qq`QeTfz-6FFB6Ott#$NB7TR_@2xX!%{m#IW?wt>?D~Rbv22%cWr~q2)6##J z1BN5+1MxCqtW7{!f+K7dI=H71{JCPV7NKrIHSP#_cd0;cZMXEav1SG4x9_U1i>nN5 zcS2?0>*`?5l=U$ZeSnR;VT^U)1;V9X1I1Fkk(TQ|q2{rGx1`aU1<^1E!+KZIxgvjV0Sm);ex57ZQa>-rWO~MEmgua5oqdl!GBv@t zfoA4h5~LbAInp~rV*d4QZ4tcNd%wl|K}%S+=TTh@Qko0nl(8d7bMs_HY%e^%lK6dR zU3t7aM;XL=u9Rna0SwZ5m#t>er|9bz%lqp!2}qmf=3oG3)il?U0Z*)(AoxF zbobTuf)Sn*CRE^}wA6$K`yE}YyH7SkxCcUXE($U}Xffr1fzche^&O^P6XfJ zwD0YFYXoQrji|x(ZQKOlN1!UvM$szZKsMmOo1RLs>0*Pcc&8amvh^%&Gb0FET1$wZ zy*Q9r07KY^SO_Qf0;i6tQk-oO5{E~4|+trXL{eFS=1PR4}^i%7az>E|8Dd#UL zAXb$9d5&?_sG=6Px64KO$q-`}%)wcYhOC$lT1`SXMbn z8>-WI^wfuV*k)V#)xoEAv%PaT?JOa%iwHH_+I46h67nKKj;i|vCOCu2IfK?eS=W7n z(&+{v=Y1ZgcTrr!WCm*4cezXui##uR~!4A8r0Q`T~dP$V)nI2x>)`!l0N6xWLC&JUFzHOf~n4+M-P5in#c#rnT z_l1^&mov4N@bZ1N1TlI>eS+lOFuMI|x4+)?l7$nooOoEf*;M!7Um}Pic69RHm*3eb zMOY(|BEvhEM5BlRZ)z)qxSq)LJ&&|az+H9c{pxSq>i&PWPMAsf@Y_UOrsDq4RjN53 zr?9{HrVKgDhRbTq7r*2@n|w1>23a=$u5tvh>JujPp{du7-+$QdI!^$^_^Sj@%lY3A z`;Hau$Fq++T?ChOrqy?&YygCAm{1k6S{Ergy-g)os@+ZI!d{G7rorp7(~=rj=c3BBG$_?zE1_(-jN)O+OYV0Y0uQ(8;+ z-H`{G>ZD0_;@r*XSMgMWl#&d!m6vBUJh_C$9CaB@wsyp6w#oiKn*`BFF5*Efto*ml z5W_psw)|?p9&3>w++I_#;Sfckagj@$GD`RC9T zC`k`ZURCWK_)IoVUnM(=^4y#e5^ucG91LpQVG$6{<{VSPB_BDM0LZz$IQZY*TQ|en z%vH5r?fuqD!g_kKsXzJch;4mZ<^@Dk5LiA%=)bSs9$2V0rPVUdBXEmsH+=wk&;`qQ zHZOm*Mvu+rdA0qqX~TV6@WmLoRgc}dt=4PD_cpMafzg$+crewl_Qu3H%S)H#p)9-K zXTg2;$u7Hsz&6J{_TOee`EO^I{1!F*4?`IKo^x6;h{|JAFBUGXo86ae40I{5DuAYpL>t+%3L-;t9 zEHh{|YvH>u?pHVed0k=Ot39DrqKJ!PwxP#7hou)Vt+jg=3QVvDwwAza+yK6!WJ;A> z_n!`s>)C}g1>@3WJOD#qvgEADwJZZLRcMq#hocNIj|q0#L;aZR5a>}G20_#ZOe}v5 zXBYlke8lhFSDwn@vu_Gt-OesLmqdV)A|O3(5`adO_0SPzJ&r=Hm zjBshBR|{AyRTjGRYJo%Fr3M*>W zP%dz9Fyk^9U;ud>u*V+i$6JTM9;x;sYuU5|Gw|ps&6M|DC%|;R#Yts2fO&)n=f+3$4!*7IGn{R}NQhuTFln zK-C0>73_>ad^SVv;85`ATKRuQVKtAf8Ei*IgCi$4bqyS`N$(`YJ%%*#ML+Xiz_#M%;s?!JTm}budr}^Eg>!--G)ZtjAzK*7BtNrG!?IW@N~TSAh2E7yn;tK$+?5G29) zNQlCyW!%9;Sp0+*!;F7kKdf6&X+rP|Xc}dnpj`%Qtk9sr6@-?ehT|G)*9JUTCVT}k zZ9%%)TnhePADZsq3a{45)WEAmCP~vSyH4j$UVj}acWc)m)i6+(G)F*D0`Gqgy^l9Y=9vlnm!C3zMX$o1qeNVos9Csj5QTx z+J|vnr@(zv+}j@|o>IFMLq=C4>uSpAmhp^kIb?LV570mtEblh~i+~0(B24ov!ZE>k z(zuII?UT7_w@-tqBfHx|g_ro)oyHaG+heQMoVi|>AET)$VAAJ_d}rpDd0OvKU@|Am z zlj-3sQBH_&?h}+!bGH|^#N8(+G!VqFlGaCu&O2>l@?|Z!2u!&9TpSj$wJcy6|?YL)=>p@b%|?rgOc%SSnCr+ zDS@{lL^+cti4rcZse~&&$+Y#6!6XwEGlA)mSbSkC0Jt1VWUPL$#=|z~ZBLHnCn`_u zCaTzO;*oz7G|lm20!pa~dq;BolR03H|A*ZcJ;K$2w(Zj@OkxR}wLPP%D$If(_DShU zD1IuEO(_0R1uZ!5fvcl4R$x3`@SaC9aeB*>K3Ujcoj-;$Z@Q}O?#?6+?#v`N6oE$n zjH>A8!#;FE%g5Zk+?GnlWc{2o5dTaYi&L@mgsy)j20`U)>2GfLmt;JqTnY&wM1cVaYA1ymC{#I z*b^71uZpq0njZFLctB*-PVuLr@_#cm!&Ju4n3`b%k52>*mo5k4%4UVDT%^5zBhPYr z3n~te6ulp-vhjIm4YI2LkQ`taIy0YB4y1nu{|C2zo*)O~^CF;ugc{31f|~bd8HD4| ztHAoU$T26G35L10krNVMB|Nuy>WmWyq!xU7GEW}0%##NnhLHM@3Nx(XO@&_OGlX8~ zVWww!pRP0kAL|m&q25&fXp(ajuD1P=aBwZ%x#>yX<5APp+*yN9qPWuVPbz| zPC8q7i(#^0LW#$i!57Y7#y{7$+e4y4M*-h_9i55J(N@ZgThh5Ck+w-93H|ry|LHL( z1I~`E=(9vUI`?CbO_;*aMUVWkCar%29$}TZGlvx``bi21`%nh=a3wR6e+~sCF!`;e zMT_V8BP}r>mu==;hZ-nGHEqviO-X+?adqF#|2=j*6WB{;GIVVjE&Ua;GA?OYc%N9z z%*d%*S8%x z7B=Bz57Pkr1bv;3d(d1zI%#xu2`n)>3&!Q~S+FTSK-?c6SNHrX!Kr2MVWodp!X!lT zV_fY6_ouu`olHj=uysW&9d(p<%`_*y?;8FZ_X|~)m@~3lC|RS^1GaxSKg9-ga5^3c zXD7Ym6eh!AOUj(PGt{4r(&3TA{D?To$z zrKq9>_0U-4Cfp$XDiHvs(nz0|yH6BFpVbkv%xDvp*6Hf}GsHF;r!I^fPO<)gzuHjQ zA0OJg!>d>l-O^i71FnB^zurzh3{HWJcXAyl{D~eTLw=`Y!QfMlH(7@t1b7C@K$dj& z)g}^hIh;Jz^De55vCR+bie`~Zcg7gZ`Cu?thqc==2G^}rXJzf3{iQywRy0;C#olq?crqNG4^MEQ&<5!y@#V!K+$90VC)o?VTwwIVNm698Qc#iz36T(E57vXQ> zH0$np0;4i6Iu_Tq_G_0vbqFRwvy2+cj?Vuzy`i>;jtVULvjWMV2F!yW9Rt~LKiPKI z?fm8|L2~DN&SU{R%$5IXK%Ue4FGxe=*)(YVAD^AZ54Wdv2%sAQlLg zZ;=RD5Gbc~N_71BYUiyjTTCTXMt`+ujVt!xzuS}iRP=~8qQoKX{{j}Q(=eCtp$IAg zIFn%nD7QnR2v->=^~cAXlR zz`F=40W*_f1Sq!?ya?tOD}j>ZkoWIz_nYVyO@J`}fH0Wr!Um7}f6NQtUc&F6d$%hY z&;7pvk*%EZm%zIS6t_3j2q+gOT;znj)PQ3Sg_^heT-)3tWPxd)=>VksKD- z-ae=`t*yVzP`2F)^_#o!Rh zBMol~07`FsUp4g(x2gCaeYeLAv&-w*#~JQOBXL9{5>b@Vht2HWZ)voIweO=eQDqT* zqMaMqnI~zkV7!j5W^ZTdlcZ;Pl8Mq2GDkA<*zWkZ-gP)I@rJ0*(nM$zEz(3Q&9D5I z76AEiYP(w3e0B!XH%lI@f9iF|qiVfg+0EHP#I|nEL_B9K%WCHkFKf$#t9pZ=`Zcg_ z+wk1)IO89FMkqDF0F(w$!cw=ioozQYaFt*7K>OBhqQ{rvT@5|7?v<)(=!6S@b|I27 zbE0l-wXS!yZQob0UuFd|Y|f)k2*$$O^n?t>U*@9_X;K#IOBgu@e-8Y!JZk)o@wr+3 z;HZ`eF!6`|7OF@fMV= zS=t7G3!Z*oq0~Ble*j(ESsuP#S~sft8y;M|x^mlW>t-JCVfUU6r}8v0rhH1QRljja zydqDX@2BATL|VoPOZ8<-n%Bsvulcl>~wJZEto=p5=Y+ny{B$_1kz znr%mtfbphAK&6Q<>D1kgZ5z}lIDVLZ*jk6>1JDj8j1SCNe;E97RwyvNytvu2yM*zVv_avVwfcegsDc_7zO)ySRkhl z6YQg;P(Yn{f4+~JGZgmR0OlHn*;dWY1-`Arcl5#{-lKx{Ft}mA2*F5a0hBN!jTz$Y zZ(CwJqWlGooLuej82e9%g;)nqPL&_BYoQEycB#kK(7T;_tO2Ho^AKa>Z^OD|P}jnO z0LFt$B6)g0%P9aEEk(uUoO6fWmREf6P>GS|d0g6&f3o7spX!#O4dRuo6sUrN<7cG;p^o8jXxD4aB!=;y}j?i|B_Q?qz`?nV@B`8Si*dS^9^Jt zGo6@1xS*n#gf}SZJ%k+a`ghxA*R}l}s^2#glF;#G-LS*?wcm9Wq$@$;mpL3JAm;c@ zaKBLHf23nFPq-j67205hO+`ZfriFT*7POOS!lY|qAQDSCq0}aRJ4u~wZ#h*g60qhc zwPoFnJU!+qOWSuK|G8UmVJRQz6V3Zr*YfJhuB`WKJ}ptHNn|OCLL1ps=?S>o2O<17)9b9vzGv&=l#<#}?MSWMiI z8xRjEL4YaB4Nc4{yj@Rnr3%mm%Ak@$e-vXCcjkc}%p$jqPlq7dUsx!pHXENZ(;V9t z?D`3VRY;5TEGhCLGKn^>WV&*6rUOkY5|yHx0|w-Rx81vKYOw8HECVkeMKZ!{s6>!Z z*Zmc{xOd821+ym9v6Q z6UoE+eOR~Qz~RuSK#Rj}DoabJXtv%sCs`QWFxH?S?IB_N9aUw@cVikA76#^8&eNKq zr^RFnJngs)cNx>m>R4xJeW*G(nsj@lNM|Xfkim2T*1nFhBXST)*9A|Fc*5*Oh;t^g z-|!h+X+dKOgSJJxT-QFKobwtde;EFFG(ZjEMXw+<{a7%?^|1FOng|5IJ9cXf*5!mB zH5E6p51=9Xg<*~8l;dCy0&+iTo|$VrLzO1d04=>H?0w{Jd?RP!X&CAehodx$FVE*Z zU=N1_GDsL)-M6kWWZj-YjSElQH(MV{M4#jl5O}U8(xxFr_fBVi8Fm4I( zq~IU!unmafOj4FC;n?;`4JjCMV}&^{z%WcCT6Hi!rxRE z(Oooqalg9x`-e&-@X{`tL8c`PXpc^0Cdwk(9H)T4DUcnlk5ky$%!>jeVP51~MUYoY zWk8Pp{lmnEXr{9yFGXsOlK@IX6_VvZ+40pP$z*2q5&B`qlYqedf1Jm(9?W@ij==q~ z4kWk?WGMC03vC6lT246uiiPKwP+XTe@*DCzVBJ45YShY0uB0#%20gzvwg)Icg;et6sXwfG}B@Xe@Y}0JG_I1^N)S~`x#!j ztRYS?ESD;~4ldyOCXh%ja&VSLQwkzW*GDgcZ23Id&XwU#mcg1P%>zXgn020_Ulc<5 z!YEb2K(6q4K!ukjMyh9ZDT;|M#VE(nE-3>^I=2#1zal9#MGU{`i~1T+ZAv-9 z@pxM!8?`k)e?Ow3*jk)6g~xi8Kt2NZHhs$E5^@3am$>{DdqF2m8`t6?A5C@rUtr}! zt^XR;8f1&eDe#*T5=2ojX}{F2cE58yo21B|PMrC|*A?zN|E+uI_4?4>1tF!`e=~A#@T-oFixD<~%B1O9hkHZV z`8?eF5Dj!0GB; zo^jDLA;IPVOBCA&l@A&E@TG>LYc^L;!2EgNZ8z27rfqavBOo;`g(M!9#fXP=0XLYg zFeYF;f9NI})ajvZ3?$rCAg8YtuFoGes;?NTFD4pAuD{FC5^AtiM0uhxUPf0gUs%v)s-KQHF9SLas{;OLEHK=#5s{AX`T+bvNb#I#jmZ+kVyg-0LJ(Rqssuyd*l8$Fi~LJIv77v~P7XeFk}6>${(0AJ2jL24WGXZMCNS4Y z20HA%3KRvezu@!8^py7h0j^lr;0k4Kw-)yZxDf)mh?md^2_pmZS5cQ?WD66w2?+@c z3nwg&klTOWv>W#uD@Is??{vU~5|Fq3ERxw??sL2gBV*qG3$PLOESEbJ2}%JqlVJoX zf6ZD=ZyU)Gz4KS}F}d_~RaaGa1BQ|HI&uOefMNNtiJ*g4%NRxsQIP4t`S*F%BxMdo zQX^^Y=s-=+%$w?}u2&yDqf9BJkW&rB95QiWQAebc(RY-z#acqQV={3 z#c)g9cZD$Unc+0i#4Z&Bx1zwM+OWx)cl`K4bYb`CO&J@je&U zNZHpJ^w1Sg5(aKAY*V!|%T>XSf9e=KRlyCnUn`6wXn@Hf5Y}o_c&A~C)?g(ZY{{np zfh<+1(IgnLgB61U55i~0E3f5I7}cJq6A#8Nnp@l?I-`e@ zO=$Mw#cX*0-|Kl8-d=o|&xW5DSIha;@-t{a2*P)>;obc6;>*qD{Bw_xe(CS?-#%Wv zT6_&>9;jHN$nZ}UinX23An67oz|6FQ|8#Y=fW)&N(zp`NXD?rF&D`(LhSM*k}{>*<^JBSMWNBaL0>B zS)ULR2onDKtf2PTe+IW&!dn~?2j9+wle`iEn})YHi_6nFLJNkxJ_*D7`Pb!cwC?5! zE_d<->qGK{*S4KJfmHPj^90-UJh6@4#7ChLiS7Zf`DR8@Yn_JG6lJ1VECTB2aV%;_ zH1C$CfGc8?y`TV#dUzDOPAXI?Z2Nw(G>VvUEPbQ-$^C5cggw81S zkK*V^9oXu&9vdxoH(KPQVtYufzJ*G39J~%KZ2663FmNcyoplO|+)VHy>N!>TN z=^nwi9X$24Ith#XZzhwl+Da^`PQzA>MW^YjCCAe4k-KiE$V1!o$CQfE7J1^9VHAQp zz0`Kxjw(-0{+jgn>-a0*iNTtl7=xuf#~7?MJqEY2MWTRmKJgBtf6O*>M6DxT$TnpT zHSmvSe@VT|5_p|u7okz6 z@GnKp9=3Ve>Kz}MLnPU54v|$>dVCJ?&s)zge~0+jx2ZW~j6Iw~e#{?=_UL+6SDl!Ih)d&F0(!oP?Q*Io+l zl`8&f6okih;4nsUQCv~KlDMym&*NRWf0hK<4fD8cc5Mu46$L2)haMDnxBqUhlTdOk z{9iT5Jt<7xOV$0R-Fwv~q5wIrd)VKmBiP*I@RI)*1L11zUR7xB|L&38dtSI;r`saZ zZ8ofOBoS}IiyR!Ix68Sph20Th2-?E#$J08Tz3PJST{4gePihv0vRV2BVv z#?;Nm0-(eOPy~a3&M36fU`J1gjg_^_^D+PV2w*U01aJxp^0WLI4v=&JLTt=UK>#IF z7i*xy^NHrB_5cmAxed_8^S@Fsh*-P0I0~_|ySuxynL0SLfgx66j4S|m8y9PUI?#U^ z2yp{i0R9jRP&Rb{{-ul!g%+S`ZR7lxT?1_C;%*870-g=_Hs(N(^K*nN$N~rfJRc6w zPC-M}0Cj5TN;U+dbL;x>-9A*d65kH?Xt;Sy=ud!ot;& zT?=I6t&mw@nHkQEWA1L0=rfxuh3&a)Z>-}%Xe^gr*HT~bL`Q$dgUFU9}(q@=(e0B=@q z9snyBFDF1yKmfqc%K`BH?<{|+rZ#_9!SOp(0b~gV2>w;>8u-o7F&+zwdFarKN zmooTyXn_ER-!pE&!OLO({EhSfdD8z3`Tra6KeGJaX8eB(dhKd&|EHVbPyheNZR%iS z@A)_3d1hT*p66c){JaIA|E1~x|Jqq4poNXA!~c2}Tuh($KoVqS|4)A#ZJb}*cmOR_ zZCuQ){~DIR>{@>;nY|4Ns0wzr`QudquyS&6{EzQ>v&`+DUk>NziTu+Ad|sUYK2jEB z4z~DX!?<|)0HzR#sV54@^B{5Y@&dd$pI6ZW=<(+a1K8O>V3+3*z_UDGfF&4$^2d$x za{<`p|1kZ9xB=`6zY%{AfL-x75(KcT{DTCZnHs;*GgI>)B*+0^*Z+<90qmx~kpO_* z>^FMOY5ou5efF7y?Vnrm9}DO6#Ipl`6ZoFdpZ)($c&^{_H{rP|OB=U;Mf~9gyF&gI z@La0(Kahv_8F@Nd1OI*Iv(4sT@VS1wf5GRH9ezX3XRZH=ecpd;cJS})&)nyS|2KXn zJ3ha*AbX(YZw)-0e_J8{C5`7@L<2;J+IBEWyPc{I7uL_PG9rT+b1n|ANm2 zdi}2d`GUQGkiUPT|7(oRT_Mj6aQXA0d7knA;6HzB0D&GrbCiWyu(@!EZEZ;Vb+sg^ zJL~qC=oIa?P8uVt_X4ED^%es$nX&3)&>G}YGI_WMYk5nS;X-1O^1=I{r5-V?HBqhY z&gb4ZUVUP_4Q2it!N7Rofn;4jIWifmro@iVgOiVTpxuAV7T8Wj+FU1B0SwiA+-vtf zIgh&j(j{o7(GQG9)lmhvyKi&qy!H?o@N0FM!qlztlj|r!y}V)MusL;f7#|9@tp@L- z30DmU%~wWN@EV#0F-&C1TRH+Ztv=Se2kx(EQVoAEdkiT|pD21wesJ60VzS3OJ~z(< z4|MK~I$Jmp8^I>iHZ%l@?p3!Y=g6QklSUHMWs$pH3bv5KlSES|f6T~j;ciex9W*wq z-9A8N%&gjL>vu=F{?Pwp3$IkG^hvU+B3Ixeb|JDnVr_2M_sx0x z`-?ar%y79MLUU4XL-F5R@ecUC3`!X~fH>e6lRAIed>VO!)}4;IpUS`7Bd(T4N07<$qEEkXnlbgU zkeMXhL9LG-SCDUGUV$GW-&A0mUgqPAiC2`m90eyM%^5e$KgKOq45ju{@Fvm42NSG5 zn|d}LNq(xGF#6t9YJw1ZAxMzH%eHTm%p4r`MG@Yk3QefHU}t&!NY7V&ciew!a9hx? z>f64{zP;8hz86)gA$=G`{7#(7l5*|ZCvN6)f+1h_T&{bdQv$vX4I5;a>F2cvJY0s{Sa%#Ny)%wfzPODhX|*N2SIR*siJt`*)Z`T*~F6ivi?f$x}f+^n9Xb=7=| zOE<{T-dcG42cA42F z7mC8==IAKOT}e!5=nK(uWL=*M*B5*;6Q+A9K4=v_nU7Yk%oslV=~b)K&LI%cworjNx$HI#-rOj)Nmg*KUfkTTXDU7}M*V z7Gg|Z0If|(hxd%}Um)@ERu9UL=Ig7^9!Zr-jpeshxFSIeBn%4}O5;i;d8jkR3%~zN zi}sWz!Ow##@dShagNJ`1fvlZP6!sTjl+q-7(wg3}d~%D~BiU_K*Eh6QJQ9j6H_MGJ zLoSpWWYiejkT;bR$3)k{bK*D;+4P9M-{1wlq{xjmvc}A`lQ_{ZhQ@4DO4}P5AwYc> z8(EzMC0ZxefKRK)5;bj)pAd7Kd?MVHA|Q$8c!F!H_zd5(MeKhB+7PRRlS}yr<=GPp zns`#x7v+iCc)wIk1t83BYc=4{vAibp8D&}yjtY5+TOMIbx$PK^K@_a4f%fek6zIxStvCs$ngIE^yBxO_dBCG^ zJE}zyLi4iy2pE5Pl%$300WDE$EeV;_HR%!hwQpF(`_jeFU|j!6@( zk)g80FuNC%k5_%3^<6iEY{gGWMJjG*A$TB@Wd4uk0w@~1{$uHotaH8cM3h6l`M1&& zHnyc3F|>cMo)1%}AH~!(#6%5PCBd$$q&JNPT^og zrZh)pwo5Bpd;MGpg|!Q5?3g&W5Lc1Q!pVXs9qH?IDtD1fC(0v?!|JxzY)VrY-b5uE z!Wohrpj)$qN^!S7Ts`G6X2sNjtt#ApKDu0*pP7GmaU!UmI6tTzF|Wp}UxG-2&uy#O zG`}aK!d!$A?a`HChY4&?=XllhXUTy-2zEiIUl|cr+ytm&72~y}!4h>QG08P0IBDkkP<& zl8X@7`CV`)mr$d!U&aF0ZoZc!!HlN*R{LZywA9EYg~!*L7Z|@PulxbhCtsmZ#G=xK z$Vb0kM7%MMZJ%F98JdX_@)WA9@`GrR+QWYo26;q9GaE^Jo3)LhiAu4dN&kzd?izAO zF_mGJ*W9wi99v^R$qhal?_oI1IBRU8%-eciW5|O1_I`zvRnX@ub_&Su=OC;-tI;Y| z+Qdi?K)J<_&Xg{X+-b=N^Mn4hk=F6N{Cho%6^0Ndq3mmLw1vrs{Cr8JTUE1=s8D}a zP+@%7ew7Pcf+2N7QTTwp72WU@usF2>b1%h=*8+EfNktZ!Hx9iTPMjer#IBh$`6 zNUFy=s6&FXTlVgSjOvqEYc7xmPvK(er%^L#q01CiuT%{GIxpXjdcD$JyxV`VcccDk zG_m(#!=)jMfPATo%9s<-KGkOdsr4?pw?IqSVo98oI5lLRZ;bDVkY2*{YPkSmd&BK> zsQ=We?0j<)MaDum6S%lfN?C0{GEfn>{QX-#=Ub`jvT+=0#qYJS4aZ$)kG&_&{)vNG@3hvWDBLo{Lr`)Nl z>?j$Y!h@jYY-lEI6%R`h&H7eoH|mNVzkIP0>WFJPpMr!bwDpbC<7R&_gq>q>;6K#w zw{Ew#ZQHhO+qV0wZQI7ywry{w-PrIhd6y}G2m{U>szoY~!94O#!2HVB0{7RPxU)Lz|!m7lySOP>CN40K0w+HgGf0@RkME1>Qan0u(Vlyg9 zPQ|bB#1!sysRPgNe*3Pnx7J2V7#JywwuUG&HqLD7OL>_mKQux=N&C@IA`Aq#4oeeY zr0RDjTA+TU?mNbxZZ;snpFKY?LYd4xhmg29l}ru`&U{?`fnFjGxH=oxY7MQqP^~u0OD=fbG`6cJY*apzAbH?i&LAdIg*L<`_k7`(Q zGDQjbH!h|1@521G+-j{0;g_)zgY-mLePC`RA|pNuB>N5NO*lQ$su)n=Yz@w&#ea_}!^V-4~Btt5zV zB%zQ5^Jw)EBf%DdxSQWH{-dLLLV}y-Ph4n|n9d4_!S6J4^}W}$9HU>W7efR&+EN7n zf%{R>YYY6692ucfL~70BAVhwu(eC$(A&|?W z+`fl)uWuhsL@f^D+&mCT8fM|di;irCxX#DimZygef{YT9caEAfnr^H#x|A{*t^a8U zQ{A5(Z}n4Ch{@7znXtYfMlFUl-gizbE$jdyKJ*Pxtz1B+KOjG!8j-~^HFL$B%)YTy z<*rK}a&!COO`P6;ua0}wtSCt;-!4#_&J?-DTfZwahu1&<;=xxHHxS6mUihH5hbXI~ zku7fxM(QK*6RUi8I4(|-x{!3=Rp!)ql_|F;pLyRvy5E{2`kEFC=*-^*mtJf`+!r$c*qO=f*f9g5BD|OH8&6e2GhVyDV@&xJsP}^>}!W#fX-3m0p zXqgO0oXnyvkFlHEOTTOG>@??zh9lYu?0}8I#pfMw;%iaDp)^{*w>j>8ht@}q+Gs{=bGwS{lH*bf*t$8l-Xcc-q%#01p ztcw6n2n0pHp+RQ!35V*O*bcx&{Z)6XTC63rH9fqgk%l4YyODlNSL`MII@u#K$D7M! zxS9Kw6Nkzlms|iVfpgV?e=sBW{LkVw2J4XOUhFJ{nx)w6F7qk!65P1+^#)c&hLpK? z=OBJoBDTyeB2G5zEd;oNSZnyoFe^mDHk+CQZIVk%ON7DkEOsmcKM4>BMU^pUGKZ(r zsw|@w&9>KCK#WE=lO2w?_$q3G(ND(~7sYbgblr``Dc7_B<#(ZMuE+QJ!i_t`7S=mh z^0@09Pl1^xH=UEqUft+LB1Mz?1eb`4E_2Y5nUkMjVp9zI?EL#@yHv=$?he-BE~Pj3 z>XuCNeaPP#OBLzAZBf7~S+ra4&pNS8N6GWG3c-r?sav)`GKhb4K7NgTr-E$v-GwsY zTZtz-Fvh$u^EXy?`f`MF6HV>iZ<{nKtP?P5NUW!!Fbe7-w1y4E%AP|sfco?1!fZvEB-Ac3HuvJz& zoE$38mpS*Rl5Sdmm7o}UlrOWis zV|Ub?cd&43Y}LFhZ*Xa4{VIleHqXbIqnXpjsFj<2N@(WowmnVtvuzxMOL@KLE?*?C zUWE&2YpG5vniU0xO){zAU3gw59l%w088kJ1m7 z$Z<%|0hM9nI3-z1sYi#xDdsvwf1)?(D`t0L+;(fb7Ow!L!w>U}H@@)Lh!Ll{%dW4U z@W2#-_oAUa{m3T8s#f&&m0s_GvqgVZvtG?K-!e8>FXiau^kzqd79(hg`Oj*cJd3(b zUJ}Djt-DFG_J*CK568qRfU^rB&UG4SSeHJZv-Pl%x5YDWO^l z-Ef#pMSB?drTl49c^X!UqPC!!@wJo8^Ey^XhS}`WFgjQx&zZUIH_?O%a~r?G^f*@j zl$I7^CN+fpT!o-#tRdu{DPckeSYpV$!Jx~ybw;T?!C}A~KM|NDsE&P)Y`gU2L8>e5`4@`_ zP=^M!N&E(UzSPb5Lf1_`NtJ}IR3Ijmnv9FE8p-G= zSWM#R%&A^ELhZ8EI5=WtE+BB}XNk_6vg3V{U}1L}c=zc;oT9Nl^oe0IBG1maSGn4S zrI>8KrE!-lSg+OpX|kAIsh6XGF_@q>$}F9*NGNkuz7je74XSLE%^eooq8@U5FPIMy zhK(I_8gW%v=i3PWNBg&E@u_RRGNkw84YQL3eJEnrd}eYTnzxbLf==*oZr#=DR6l1- zfUq#pT#X5uCNI0sF8ocQpoB_7#f~8ho0AqSOY~QB`}yF1Zweq8f%nwyP2P z{J`6ngY?t9e8vNPa1-)uR$>G5ymeSZUX;(LY=W|bj{IgjeRU-^JpJ1=N}a)zyK@GL=`aBdlURl0%L&20-)Ss9a|%$hLX$?j53;H33wv*FDh2t& zM`p=3g2x0u@w%Jxuq!h61Z)Ze)YC*}ogA+n@r;;0mdsB+2_mkw7LsDFCpK4)3!S4I zhA**ac|31dC?!kIG(>qy%v=KUJ*5v2^yUpk{yZ>kD1HI8*o_zaC2|`%Pm_`GC)TXd-Nl90w1LoqFZL34eix%s;{G3L6`0E5ZtNj7+S+73Y@Xv7(^Wjb zJuT=grN_1hX*c+ftXO>L{^*#!3gX+t`Es6^9=yTwqIzd=XXz5#A@zx zp|n4W6c*R=lQ+EeTpC{@68V{7bB{REs(j<&aYFM{GK#zK>E9_m*AJu0x&{1rH4=9{ zg1s5Vu)>QVJw50REmU?x+Jtdvbjo!yd{+*Py3K&+3d_xqK98Z&R5X+Z*(+1d?Y-i2 z`LxUJ^}%pa%owd}mDg zb=Whh2_GRMUdK$g9EB-W8#xT+2+fv551#1xp}*sls9RL7iND*AhVmcWyr1% zZ}th)q24Ic>Phj6fgVRr$22CpVL`k&L^!XjWu7Jhg{ZnlVUnDPt6Hk|{Hl)r+m4z! zYI)4kj?*>xEue7lG!qOu_GE}mcugiY2U(o*_Znzuk#9ut>OUb2z~lknjYtK@1&R|$MV|AQvZ*`@z{ z>bSpI5AU%A#fj;Y;G7AwyB@Km-`&@iyyQgX2cv*Osh{56G_d&K$urLM^2D5b=r(VK zr3Nnc?E_s+)=tzs7qq<;oM-C^jyd1O`><@{$S(P4EIQck*}^bh9=wsaCd{r#w4c=J zcu`)nWQXC5hJB+Or?9q=ujsLa<&-i(37&R{cCw1{zP3I@;jjY`x14fW_T&*g?fXe? z%15~EZ2w{HwzDf~7!u$NaB9r|%S^z9B?LzH2~Edz*1>X85(M+efBzaZQ`L9x%9rgF zXAY-$KZBKZqBiueU)eBV%Vt65ly!QR|6>&Y%JSIz9VRYoylg{9jx%SvGww%KAKj(0 zAD1-6r?YjU)Y6g|9#72C?~#9X=(h!$IKj#t+FM~8lHwR~&`DVAz2bj~a0cA< z@bZ|##USfQOyjT28GyG{hjO)=u{5k?piK<1becHNMlNKT>aZ-eoGH0B+QGC-*PH`Z z-M?!utxc)muC!?+((|Z~2vaDT$+E_HZ#k2i%G)m%|1=TmUq*$+P&)S@Q3pb_kSN=u zLVN^&2wL6HdHiSMH2B8jD?~A*nE`k{Lgs0vlBPFzj{3rJY#N?q1gLw^%9ezt{PnMQ zfdRSaUZ-L0CV7VLRQ9jPDw?|;xKt#g0&*@ zm3+1KJ8_ruZk(mG0-2NAz@%&H(M=d87MP3~#-goRurjZWHajRkMSA zAYEvkrTvFbcx_rcm{nga>k~#Lyq3R%f|keVcj`JHk_@DX4>>1dcWELhB#pa2|8+2u&Wg}zj3{EL()^kqngUg2;A+FP0NSG{?_-H=us+X6L+ zI{lxJtk}6-@XjPc{r)&(M4xJpas;chfc;Eruefw{1w2J<+n+4o$(;}gmwsqueoj-d zdIrUg-{VNB!r#$$5i{uTouAe+xp^xk1iE}b9faZt2>)0MzQovt zMRcI@L7n_pTNnkw|`bR$Owmy>+)g?^VF{H>GeVrBtG3v zMWgh@-`OO}e|g9f3$}G`{-3roPRoPO0zdv78|Et1SGLREn}Oe|RpLY6EADe}mE)rH zd1IJ80XT`78PI30M}j!6Y<=s{-zs+n%CR<%G`jhKGvjG3-&4sbe4e4IRFA zL0!v$El!d7ltbM_f1-h~3da>I2yHwP(Z1polS{FdYuezvU_Y_nG~xy?_O-N6SuDPm zeKq!pPpylmu%3zHb>}#e^_@h-^`NXK;or;ASbpHIAb^~6&37-8+ET7sYM#rZJZpL0 zjN7=OPIZ6BBMTwJfKHDVFdM`F6-#mNGkl@G>nv_cTxXO~c@6hCA@xB&wqd;_?-ILCa z>fP%o0q`?5>yt{$yv9mp3ETJ}>&L$d@Ne&9CfAJMT>M!`44A~_>RvNSMm@(yOuep5 z@<>7C=)iU(t2z?>7TmHmXp@t8s56 zE^)206VG+48g3QtyoXw{a0!To*~*VB(`Mvcr~4$pSR2DKHN^fthP0IZU)gJHL#x_M zog_v(B184$eoqo}ADXZE^pt%Zab{MCx40RD`{{{4-rE#oPRHruJX3mO49~B1Du1M! z0VW)e3eP)jDX1(5e6Lt(UyrB+q*P^tFA=Vdk)D-#vDaH&u)l~YYKjKDf<2EX7+iQi z_K$HColK-^=axShT;c~|1u^`xr&MsMm0DPoI!}69Yl?Yh83kS~^<|fD%&&;fhbv=p za;Nk}ihQw^B#n2V#r|PVJRC!5*!zps~+OBPPk-c6gE{4&9 z^L)~1G8{b*Z)&<^Jk3O7;ex?G#@s~e|-D{Ww>yCTwb862z>nT zvaDvTbW`|hz|&{6i|8-H!!o0qBw>G$T}D|y=xvfm@eM`Gfv`22Q6j?L7@6Vfnp@FZ zcysVkEnX*28uZGe#`y*-(xaU9vrMXA zBhQX&FVyA`FVaXjUxRT*Zu1>_16egGf=c@jC}G(TFDd+*A^t;Kl?nriNRR~7BL%k- z$-0a>5aQ`b-;v<*38$u09vxHktxL2_?>08+;}6c6N)FVEdBc}$yyo`Qj+`L$gCI~9W#_cp8Wjc0tu3%L(@>@VaQn{ z|6%VGG;nZ7^xz_CJQ(bn05#AT>35H<_*z3+*EQ$K3$iP$`*p*QJ~8Nu>}n(Q0==3~ zY!eQ}mjeGrLDFW?*I!`bdW$z?@Rejm#PzTqcIPT)K=ds`B;Rc2=gn2$VA~hEvLh3F zlP|T6rLo?~9I?KCtm9lV_{;o2DBjQvGJngg8t%M&)=f@FzAIA(UQvzEf855NJCGh4 zQ70KQs4{QdzkP{bXy9Em*i{L+qqzFE^p~$O%h5IQkS>;EjT883S(*9iXw%>i5i=^D z$jWYAb-hklM*HAo⩔D+uNSi`>OVbyB>(H61>nY1@6RQ-FT=S-E_n>%J*1c5_A{Y zF=JREZDR3H3DP|Q?B$Oq5GWauZxqSsD-al zG;yOrX|B7&Ce2WMY+s)r<@zM*M03n1LatuoIEO^SRBS0Kl>6?fjO|WNha;7hZHzHy z@tog1HfSn9u2V+nqM2jM$XW8y#k$5~!VeP$G6Rq2T~p!jf}rFbR#iKA|91%sPY76V zuR~Y;pEQsax-aDBT@AsfWeByTv&g@azCQHNHwjP%Bn?Tw>sz-v`xHIti;@Hbutg#J z`Tx83l#bS4%v`9N6~78yiws$kxFzu*sC3xBx7XhX$bXGWv#M$>g&{{<~$qN1;@)5T4)-BEWG%4<8xE=b;& z9}L+5Jif;y*qd;ZLBUiNsxdMu20$mB&N3WGTq~bG*Dr7>uLU*})wdj_`jl-T%P$E@ zJbGZf``+_iN7sw`iE^=C3``iARJ~~F&B=15rM~XjP1k<@m2qm$%DHbpI{BM|b%(t% zwC)k>#>mjYaN*S8P)1aZm&vt?p#8;&v0Xn0kf;9xWa+t!>n4f8lceWZn3B;)$h!F| zLaB{6r%$f_eH!Y$AK_idiAn(TrIg1o^?&LuI`(c|B6cW=VXqmUox1Qac7X+dtaI=; zy$_>x5i5LP6UD58vV{mxS)598PLwEf&5G20vma&7`Uvq!y|4G**;Lg@pWgIrEMBz$ z)~|0)hD5hSLi1Z~QeX;4GL>JHjt`tbW0=F5I@`tQkzW^vu(qBI@UIihYi9Odq=SpV z5aSkq3GO-&lk5)nj2UK~jXp)2Qcw7{w#3gj=q|*9U4ozgn+Z$| zS(>gd$UB@s8!Y_TS#th!;?AwYq6I|@PM+GaDnYm=#}^JxC4gh@2GPHpdIheyZv#%@ zeJ^ynd%kkaFuCia74{*DV;TT(@)km8eUZs~U~#U4YAQ6b&nlQ4cS){~K~%*lopr}Q z*KX9Dv2JW2s{zv#@i7PIC@kLwX?nU9WbXdPxukl`_Kd>bhX>1Xp_)dl1?nuw#S1=V zX>YN}9I+_tHC+h1{?r|i5C{iZQX=nZqrml=2eI2(GPgR$u6B!uOg^TZ>hQbvg0%@4d+zJEyPK z1pmo{z4I$h&{`so{e1?kVPsYt8l?`0ruPzl6Nb3_p?8wraNsuCF|$FdVO--I=Efzq zvmjOmTmcJ($*9QJ*$ogz1%`k2OWb_5(te#ec6ua%hnXkET8`>cIU^_+r|=1eD2rz5 z%-zthMDChLe&-+(?~USJAs6R*l8`kskUe!gzQ|^#3S>7D@71&zCdxz+ot^5vLRoZ# z_EpwC0LNXV>UHbf$CBUBrYS7zPpRA~kuUFq)M~5U*~E$;o)3^{3;qR$|B!kJ-Lb{L z&6R*^X+toI8w-9`vJejdZxtxK zyOl?hGBP>REYKL8xG?xlH^wZ+GH(oJM}>;#r^5 zGokm>^FT?E0Dt;@^T-w0(cmnQ?q!$`9#$(lnT<1s=!h1Scjj+ zpR?zLCYl_Rn-GPRgyP(eg0B@i%%p=mB+@IV2E5tTJoTML+2XFzn;I!#g!6@b>9N|r!U2EeA?*C z2)Ny$@)Ii?eE${Vyr?n#mMGDKz>hr^`tyf7Y67YyHOeh$)% zZmjQkMiCz8Eu)*M-F(Y+>v#rP03e09aQ(}6;c^nVae?m zm(dKqSG=E1kUh;jN}dn;b^Jqxm@hJK4VV#*R5z=?wcV=gOaA*0q<-xW$N%V&(IT`m zVgD7lcCAc!(p*rs|HUk2l(8Z3Kn8_0@7pP59J3*i0-2R=#J$7Fs#GP1@ycxrLjyVx z4Y|YI1V5zlK%{oX&qjuD>R?MC++sr!eqa#n+NyKi-lZ}0ur=uA4AEA2#I}V+5X5$n zOh7xeFp4xZbjORgKtp|-pfybWFcAS$AJaNRCK(fD93n9_AubE$9+Nr4zV(a^Lti3J z!_b(Z0)FI%q09JO4gM_SA8>6DK}Hi&wLv!qplDl0ckpT#2&}v#rbf^HasDFr)`sUV+$Z5Yx%at}lwAj^fK)eCi}82ZV` z4^31o#dd>i9M%r9NmzKguMHx19ztBX5CaYZ>_QIoD-CF4qt&iPstZL?7s^0hsu!Kt zWf)7sUP1h+LSaJGg7^S&NmeGgO%zoY4~;b?gB{S2fbA+pT0RS6lo{w_{y~X$mWKk` z0hD>S%HIyvym5AUB#61iYh6V{`2E>~R zu*L$tp*oIl;yMw&Rq94BjNTZ|M1fv~IRhaV!i`TV4HNMzv=m-UV__N(R-iFQmr*o9 ztOQRB&Tlq>YL%mA+#f+gGjbE|(U9s~=^!b_7-Ck|p<3aJ<4=Wi4mG1t=K0x4WemZD z`v*qPICS%U*!MrCug*s(lIQ+@-~YhofG#3}uHy9}-1-$!hyseSi2Hf6nBqMhkP9*X zFxrI%fmn#jeNkhhej?vE(P0!#CF0fwTU?c zo5K4OLI-98qUE|06IlnI6I{Gj$)T*ZArJ|j;spLh`$onnIB07-$moh}ubsoY!Xx}%L z^z>nmG*KHs`(9X)AXGuuYV>r^nAeZHC1iQeV4q!J#Ob>bzYSR@t$04@l}d^m$p-!_ zM!>-br6tfFB*dsvls?pvi`}`XcL$!ZvHd514rwabJ!_$#h**>`6{vq5a86H8XmkHn z_!2n0W(H5bDQU9|$At=lhOYp1uZld@6OvZCTKiPk+jPGC%{C653egV74AjtXu7h7w z$lWecWNJ_Q9=m#t;4b+V-P^IuB9(F{RLp6MryCwp%`OMM6(vHIYCB~M%`u0J;K*Dq zBbXg%iC9DBOWVhqp*JA|l-3oo_1u~+*>4M_MA%t}J~>eB`)M z@ENNJ=jZx>U7Jdzy1Z$b{~XC}l(gk5CW z8Z+KRE*_UeY<<`O^&eUgA+h;=l1o_PpEvLrN%)dK0`r?fL3N>aqn|bwv6W6VWb>P6 z5-ZNz*igdD_$oo>Mh{y3Hm+m59erAW8Aw^J%Z>U*d1d4Wa9Co;kBw za~x$s!w4h=aY3^3#R(-~M(Gq{-?b$d{}fNe?=7PegHZA1az*GosP(Q~lPIO(Md4U( z?Eb3KjZaynl6*O;#4;!*1Em6s&EV!iAO?h^k4uPru~Sw>9B`s5)KE>uOi?5QYp7X; z3{G8+JVwz)vn`C_G1QqRSh9(d6>ySS$zC^n3XUo_Z-Wu;`J{MA$2>rmG%1;GSO*uF zmrBhMj(&Vx+W647fh|vLL z^(`!6QsO@sz`K< z|J0RX-1N40eB(|FW}`OPz73T)+patxZ1>QhZ9}TtTCZ$*S*xEd(GuGEd?@af#B8o9 zJt?v0W~zj{MYzR6`NM9xQIzQH8-Q2FM`bthCTG+!-_(q-2Y4B`xu6M7z@q z%r8|lKVvyljDtUJ;!TlGGIb@XKg=WOarEeBqgpT&33F+hXlz}}p9VY0+r1(0XzdYP zschYoYXi&P=Jvf2S(4%4#1n&x@tg32#wST&CAmRMWiZa43q7@Lj;MpbkO2r)f+s{y zv9&@_u;x%QMDvM}q{)W~AL<_Bw+UTIN;Jb94TKT<9M|xm2DpKf5J;I8>N5=E5u=TS z3JBdiGY9YsJc%cQnuZDTh&B`zRWfiyL>ih-GzLT}IIP7l92B-}#weRZ`gku762L8~%_b`ml2J4eCX-l|&n(It z!$mMyVv*IiY^SQhHz2h`NEhHp>`fb4$nNnShaM{-Sf%2La37AsT>yut&-cjLk|w** z)1$-p-)s@3SgJjdR3~~ei4ZnqvJBQ}=P>=x`AcZ|Fw}_Xa`+j@52XS+G&M>!gL9kWV?s<8QL4y95(Q0;bKlbn2=b~)qE<^3P1$yVTMITEeJaOz=3;1 zLR8A;*Od-SpFk^LNYh$ixN_p_5Rs&^M!hsne7sAvIlekuY868G_>PNx@Fgb4CKp|R^wdNoBJv0hcW;?dLfW!I zEiQ#JF_%k;NX8Y3rk?WcY1c$?rP~?zkv%p{Yq6ZS!<6urI8Oh$RSV!>f4tK!(jR5V zu4~ay0S#wehCq$)0!P0MlQ#&T)QU_G_G7o$!s=GuA)JBLprX1!jlM~s!YRwr@#bkq z6QmG@k-+0T8VEA=)yew^aufSmP2>BkS7r+Gd;J@*V(zY(0@a!^S$#wR^9o!4GTZGq ze%<8#dC{0rjoQCJk_vnzcnx`Ko*_v#O~|=24^0QrCLbdt}T_F z&($Ta4jr7)_pydPM}ULgNlAXN)p77YEIsXN#u(gl8( z_^y$kRpRu)TnugWZ+zgb*=G^oZht}$IQ`jw<$Lj2a^K(<)om7~soSCgy|50TeKTP*j zPaVH%d+P_#_GbuA6&&yVXSBwL3nnZPA%X@tdVW9G^EUe2o`3J|+gh~Z7_~}hn6?!k z{%z11;cfWP?p$y9OvL(5*9urN{$T2k+KW0)Vb}Z5mVQt2(T1mLE@L|fwSg?Qe!baz zl(c>N`1aw}M!+^|EK*+V@&4_wo6_%R{ArsL@H%O=b9`O(i!hj>3>409lF@!|8WR;TfhHU5{DNW%K^y`2w-fu6jC z;JdN*U#&K56At5vtrSeh{C=|Vx92Y)@#lL`_yDz&od7F1g~MC|5#)Ok*FyQ2y~u2Y zqT{OpAt*ak2&H6=n@cE6dnUX8c*@}_k#wuRuZDo5-S5i>c>KJS2hn$AggGmh=Q7jP z>PZ(h4b2#4f(lnIuEU2tHw%iA>3Pc%7ZrL8w*Z`o`!xAwvzE7H{Ip*wOt{=Yl%nsg z;8nk|0|FNey{!X{r{cDoM`BKt;7DHm@hgV42PtXy>;2(4C8b!lzHHV@6qEe{KQcxH zJD_LK7PUE1c`dlN13V^0V)G2UuN)ooBcmSC^CaAWKI6CcuHCl=I z(f!_E{NCccjl$iBgjKvsJm>@Dgs{xUg>%y5uCS@jKQk)J9V2G2M=;KRL>n$Gj|p^p z)iC?YoLs#_heaU|#%Oemja^&$fjB-k*t@}$+c0P62UUsAziPIURTO+&okIw#i7Yt$of zRO6Hm*M|s-yjXl}~u~f;yqj#7d9L-~+g3G~E3ru_a z2;Q1tz3SWebZSaSg`bdLRWPJ+XS5vNGm|R_?${lg{NuW)#ld3jM#C_mB|o(Vhe{CC zm;b8Wnsn&>OTbUJ)m>&TB8=xOwj@fys#m~Yh z@%Vnli}yX>e4KF-WLX|zN8l+KqH6uXbVIJF7Ds6+cGq)WfqD3TUdodbR7tT)zM!U& zp*dX;6K%%%&5^CPteSX|aBl+RI8HPhlkAR&gZAlz6&7d1d0qlU)eN z?QHh+;3*1sWdQ3b$8RB=t2c)j~9L_f3@@g2{|hEkr&*LZE0Op z4i_p)#aDw~BYCW!4D?i>e{p4F_8>K0i=c;3DN=Tq`dOL}H4{#Od$CvLP zEKPhP`ZXW#&3QSWaXaHI9T8t&36M#l4pit9leC@?p8)^rPoq*?i+}m29NM^@F)2Hq zjE4AN+QXwX_PEV9H?-1loDx-7B{#~|vtzBgNjU3}FS0cl?z$aGIoi>izx}o*u>E=b zK5hPkc(kWdadn5#IQu-vAvoGPY*oJ*bh&(2(&D#uy~H8e@<1Nyo_%w>JGy5*ShhFN z?bIdFnE{q=(&svH@sKrKnYMMRGK(rATy02Y{oNjp{y@Xe+}|6u zLFWelS+POvamFqwwPXHCh$}%|);5VwD0-IQvr+}O?!E18f&|6Y4*8xdq92cqz|+Bc zXIIhet$wONKNl7!_c(n>Noat_db;8S0ny)Bcn8p;zN~X|=CZ}%I5=UV?H!z1$D(cCX(C@N)g;$682N;`>9mzwpGk=oauxO`)Y#J6BK(iZK2f1L?=?)-QHD zGg(7^;Q8n;$il;!(cJ-(AJX^2PiSRKM=F<%^o?K zJwnocZi&CR=L`xyV7X@hewE@@*ooO@kZ6lgo?wbL4og(=4?Q@6c4tuOetTmOaE2yC z?t1%^VZ||4;fwxTyt00yiJax1MCXM$ImdLRSK-RY>@(WlCDv@l3+)rDiauWF6QdzU z$*?ADmKg7QNa)TN1;BeHe&MCi#Ubk;2L#df(n@f1XFD3{=W~$>*D$ zapl%JjJ})CPkWct;bRdKo{xS%}|Jb4hG6?t}ycxYR2o!`@ z?M%x%E=riBzU!`S5;gzRidMkP%Ykp5AO8Fv%m9@|paOOLok1syKmal>DxhsD5c4AQCTDSP*ut5@ZjPe{q_AO&YF) z%jyE<{2N$%EfF}|A$6eNcI$OaV#7w7s0B#-(TIQ1oCzmx*QY1FqMfABqr2{cvXv%2 zqF$M1m+oCu&{_N|nzzHEq!Uo_f!U$;#|zxQ9nQb#dwBd^Gc>lIYY=M)Wj~UR*lT8O zTJ7rE-0`M;YreQRD#<=B;PTFW3%hb6EmC+otCiL0L0k1hO!RApRzJp8StvEf-5WG& zHSQ_2+>>*S>V{?OuE+~f;i}2QyC||o7FJnX`A|ZxB8zrI z+fy$m(rB5b{0}eEv5t6{C(^LQ^bl$53?ibmm<={?wbnKMiw9lTVmUR-amDfcLd-<0 zB+ejaL_p2xkwXZfVP)oIW@BQdWn!UZVxpw}$tdq=CT8qrPDCZf!@|VE&dkK}e@)u0 z5G@>i{>;&h0e$ZlFKbQAl; z!z&qW2pxpBvv3p5#5WObhLl8+PbH1*uM1XnZr4R}_4fs@z;^gx;y))|O3-)jvD0dr zq^3$Ew11SCNpuH6dn|eY z=uJo&FM2Qa36F)K_8;{qn=oB>UH3GJJB3j7nDuy@upf6HcTwH85G~hTw>@pvv7{Tvi^ps4r8sYD1^k5(PG=Mll z-a@m0{A2Gh!E=Pr8+CVHwVa6eRxaDC#R`;ty76iuKDor%5Z)@i@(waI;9i0F4hl37 z;{AXcBzD3&YsYC8kT9&8U+=LRVoS+3neD|0TYZ3AZ|=(vdnFq}MOO^(0c{@!^u7{) ztFvrNH{hPp7Jx^Iv*xUZQvKsFBX&1_dV6zcH?UBvo^FyE6#Zi5%+y4^&Z5X>%FFNl zvo#~Xx3G*b-Sd%36MQ3G?8wPkr8+?S`qM`cA1NmF_+B*K`#w86QMFz!Uh5>S;3!Ue z^%_v8&Ky}x!R()?zKOdCT9W<-zFdSZzR4=YNA~5h!->8Q;~=H=$pc!xO;; z;4fS>PXvGwsTe#KGow=1b8kRK2JYD?pWC{(;-B?i1g3g5?Q8q@uNUu=+Eg?qq5zTY zNe61u+d-06d`0(SqqIOcz-TCThU``4AhZN;2EOd@g4mc#ZwmKn*e| z85L0e!r9_!#+rVQ1&}Tw&NDF6!u4X$>6LgQ@(?3vxDaHfpBSJBJ!ad*ijL=)F$3UQ zaOpohWSTJOn$Ol!f1eWp%ah{aD0!MVy$aO!6#NSy;%dopMtS1>eI*EPB;iq}8(-9?JjT)*|IzmE@Q56qml7tciq-vFl3w12v2yv(k zC8C6S2Ms{iqb8tBk#0e)KzE-u zPy+3s19XBepsP?1&;>|0o_?TvjxIJsU>J;mQ7~r3T~lGCha&es0W)%K3T19&b98cL fVQmU!Ze(v_Y6^37m)cqm3ko$dI0_{tMNdWwK4dAT delta 32917 zcmX7sV{o8Nl!as4wrzW2+qP}Jv27=lOw5VRi8Zn9iS1;+-R-LL=czhKEXicn|{FygF%q%SEQuQfnzkiBO=0rs;0tXlS5oR=sq;DV4K2$ zvZtCr&;aRL)2;_x2)*yL?rG(}H8Cvo_#D?Aa;Mz+^1WLlFNiRrTX~aZw2E^q3wuF8 z#~ZaA=VK8=D1wmt)Cn#^cwQ_#yRrjbc*jEoCbY)sR_#MM5;bq>v`=i(>N5w*;E0B% z4c8=jw=(W2;Gb=Klh_cirDyYClzl9R- zb?OC~Fc9+GOL4=zt_sc!eO%5s;U zIPB=TC~*SOgD-AIYsqQwc~octRD>-Yg4w$#0rzPgMdU6MI23RvZX&xqV(r_pj^jkn)DSn)2pHjAzW7_H^vC|xP+1Yr>xifHs%wT` zl5F0*@T;^inUOD%AO@Ce=p4E{>Hau6brFuAS@b-+)s zbN=il%IXnbH-*Q&n14+poTa{7)sCMHG_}N*R_jhtdli_dOAlO#5PQzcuZITjBkvI< zOlk;sM{)$QXAF8&sU+_VMk?J*>m0{!yuM7vE_q(#VONvJC=3CR=f#9y$0<^H{O{x5#i)fo#Grsu`54vx=+$m3#Dg#QiMZDc`zUh8BEnWaRu{9P^>=WT ze}^s~Le@GN;q*Q$RYEONy7zob9x|pxb}#uEvEz)P3(0O7x@ zUu*D9k|Rkz^fecFbOy>FpuRRS-kAP_XCXPjm1Z{$9>-W6A@tny!I@y?@@9bh@iS{g zC9n2t_T*rRdE0!^EHw=E>+6ESF9e+-I+Zfuy6z4p?AfS0rBxUug`$_^)9BLtJpaG9 z61@q5nidIkKb4D<3>+1W>Hm-;CnhRgTniG-_eSm(-*-59AhL#yGyDJG z3;~QX0w_i%F)a)^gu)nx@c&UAT9^?GP}ocoAs8|U(+=a#|EEGQ&3K?unMgV?6ySxZ z=l?;BHW?k52x!13N6$=FS8TI@QF zWb~GuX*G+sPoBJf+<>2&(?+MAXXZ&q_Riu7Jn7*Fb1qQr&{fxY{PaQW1mww_j+-cN z9E{p7Tr^~7eK%YSnT0l;IL!*>nZ(+UMB4Bil;s)J&2E2^=Q8eXBsRrG&rb=hW!PEk zG}NHnbm#Q&`UPZ!SIF@mq`>MNl3rCA$7F^@^B6f7RKMO&yDsS$z$?DkarUix>524h zlX!AqSOKM~o)z}3W036nohsT_Bd>L~UIsn7m)t9hPU3>6BZ%lD3SXZcsP~uuI=30@ ziX+0CF-1-T9Biy0CKv6KS!p-Jz8jr`4s~b2UIN?h4TP`t)}yZf?XWR%E3DXWm3OW! zCVb5PYmIPNxX(p&Br59BbDG7zX%EwAm%L^yssrp(k-lHUzU?>auB?&X4cjJt?-w1* zcEZ=htmM-nYxJ5_VFpv0TuQv)(=G0eTrMB!jLH0KR~ktA>#KG98Vj#s3R?#$eQ1(C zkBu+C0~{$hx*HEC?n93H>8Mff@Vx#aJ?WJ-e&&qmX(mtr4s9zAEr#!}o;UhVyV%@) z+kgo17csi*VTWmHb`n`)YO%|C-@22dOR~b2Cxp(jqm5G%9Ntq(YrP}&y@g}(X4B~p zYTG;#VJEJYCBK|Fk_@t3%9fH^BUG#tf{mMwlKJ6(S7ol72N9prd15_5*M#7gIecPG z_VNs`r=0p1UMob&##$wI6-wenD;>d*QossG)JYt;QasjfbDY%;!y?-a-N|Rz)n{vA z<(l_;r;<}1#>?$GHG~m&KCy3GrQ zX0ohvOmOc-jz?3~`Vuh*8keZEM78gty1yOk*8AUFUMrlfYc=Q2EaJ0 zR)p%zW*Kb^HQw;T_tr$G{%o(KRHJWa$(#81u#=7^$&cJu?q8*%7toBKNWG`8>F z%nbtb|9mxrKrx_xb}Y(U|E13xpFcw;I%CXcn9%uqYDePt^F-;kyomS`=%p&kRWjf6 z&l#`5QSidofzm#Wi(D9HnCB-mfCT8~g_1F?1tqqKJ}%r5Z8q~cL4nOVX9D>J_in<| z%Sk5QEfUG~e?f?`h%Gdn>@*^~JTz@#&bzlW3>exwmTqlI^7t2=!Y^nW8V*^k5fwF( zxqOo7c`+%TOD&z-Aq*6(akon2Y01B{C1bTQa6=6ur?GQ%S($mj5Mn!_xd2hCWGj-y zcA;JLv$1#TGwyxW>`(=b5{<2q(^2-30cpXcAhTc|id~1eprS%!rEm=n2~k95&7v@_ z{uN>s;P~~UO1E}qE@T)3oa;qUl0=m@nd$a8q2P&n)TcvZm{9f)G0S_tM_H{7wb{aj zZDhfgQ3FH9C0d<4tE+|XKY-VmXI}_~nS5j&B8`$~Q1fS~AKpMAJ(M5nKP>fwgrK$) zxQAuSA5M05n#KWLb^kisC;C05)S&|Fo|ffxh{;)@R>$Z^w4n`2J{IYVv~4-&UAL?j z1+Z>1ICPsx@Q#hUTaGIFtzU0O&KTE|w|%TL5B)<-HWLE0uj%--{s0cfCOET7ZW4NU zC%oD6vpCae`5p~T*K<;3R5;v!C-US%)XAx(e66IX`g$rEL)!SS+q{LXVK<&Qs$xZD z-AwY>JRxlAh-#xQkrS^eo~~=?6P3zoLRVotzpsf&sq*3LL^@ga;S^@;5wE~`pbBZS zKn~Pz#-J?swl%ovCjl(ojiT6s?RAlI9npSg11Z)a%^fMsBnI}R76OlmiS9%;6$zb1 zH{O9Y?a_Qv3lAx*9mQckBdeO{;_Z=-=yKAVn`KB$g%qgsc8DQtQ%mDw_=iU!y>HBt zL`>0v@k>~x0%iekQTO`kIFa31mG+?*T?%f(Y#K?Kg%d>|Qj3Z2ParchO5v&2dLbh3@8J;H@k>}=TxvG7~ z>Mog(HB_vd|PO!_&}pT13Z0ZazB@C?`GSO9jo!} z3aJPLlpgv`z(FsXldkz(NceAlX6Y&%!9H68U#^YzDm~d%1)U3>fGw^*3;jh;ZVK7H zogzX}F;;D>QMPE1H>gBs=lw!lvJvt<{~=)CRQYkWyHT~a$(Prffx;smmg8^<)rvCwi18dR|!bPe}C4Jv8ZF2zjB4rp|;7yyYTNpDIeCAX5#ON*PyWZ8~2@ zY`~#D_n9#Eh(d&3w;b7i8*u2Fpj00~>M8~K0G@qi($2GqgmxC+XCBE_?fDDPqg>Rk3n`R%@oO%6&m^n^y-G-2>xUhy{p3!{A%1XaP%7=4A)lN ztlzY);=f@=6-VXgd#yV`_LM45Szw(5CE2T?5n)SXgo~-?vRmU}7`-q%C?XObO{ySP` z$QuZBta%oIMBQ@37G&J_U3(EqpcEImv*AR{#|bD$F&r|0XnFUd93Yyp2W?K8<;%L3 zOB1z)VJTb(iB{)U@k^@Qm~$L_uu_zg1K`zgaczucIIq0nTJrIJpW`+pH|V}Su{Yd6 z&275wd&P7A+Q441U0HL+RU|nw8>e(C!Jm%YIm27^khBzpmh?<&4#AGFVFC|a##YZi zHeBPkeOVB5@=W`p3^gBZ()9R4olZc%jtzh5A%*2_MH9m}u^8Ya}Sns|FYtE4KvN zy_7@(d62`+FP@j3Z9VRx^{I1Px1M_`df4-`;j*ubL~^c2muzel1ySQyoS)ynJ*|v? zuBT~E@+9^;M3}6s<}u>rQg1;J%*Ioi$W|H=`qh7`z!A={^$Sq( zSR+5W)rl2JIb=bo5VQQ|0P^x*dtYKc4VaaVZnn6?4Y`||s!aen&Zh4h96?cn4l2e= zn}4FD27Xyd2w^(Y7?W-~B&3MOQ}J-p=cMTKz73^6M&i==ASP8C#g4KGs9;6NCwxz% z8i`I>@sDrDkjK2GMNE)Get*Ca9RlSy5W|AGpw^Qmp&6E<@L)lm9;9;b zihKk{O>^g(MFJ8p{qHAvim!3v5=*$0zsRsC*t{=F+*0E1d&dr~fapJ14{)2`>j;Zp zKObcV#h4BsGKZMk`V<43MV25UFfZan{Fi@R?keA$=)Oteh4;uv4KZDK~5h(b{5ZOC5l9PsKBmdUIv9`=^0t~f95C)a3W-H+ zhho6mskK%+f}BCP;K02*_3wlxwLlcW@~eUQ-SPGezATzBpS+si z*8`t$nr00~_AF{jX)qcx1%oZV%|Y9U?2K-w5~oO`Ys$|G~$sd6a$2~7LOD@rLFe%3V6yhd}Y(&On41uDtCKC0)^$KGJ2k8qWM?72NU#3t_P3ynA z*kKvP5kq*kD^LR3RQ`~xgrc46`fy){*SU_@aP^wwi~ZH&R5A;+U5Y1)h5(_k7K1y^ zmn3qsNn4DYzIrmX@V0pVh@_~Nc~AD3dB&z z0p%J1sMxF#b;$>dnF3_?lZE~Y?ad~}?2}Y<`6BIb(%jNmXAWDZg+PfO67JTtAjeBo>m<>sjo7RMy+k( zvL0;6cCud`3YPgXvZluGUT*OM81`Q&aPD`2tK3Tx{L>jSiApr+y`o`Unl9#owoq6d zf(_MD8M=guG~|Z3K{;m+4#7Oi3E107gAi5QtC_(J@3+G+s1R*~!$U*Gid3^@hL;=e z%u@Sgu9J+1A2Yqbn$o{`xW!VDU5L=voa6AW=}P3l_$vpBGtEXu-+p*~&HqxH%$T8HK1-E%x(A&F!j&w_Jx`z zXmYDHm$(`lCRqM`ae1n*KB`@be6Tw(Bn;1^cV^%K5a~_H zqi$##q-lKtER%bpivitKDc#3;2$R~kT~tLB>YdGZfw$nv89t6qbQvEe@}52mTn61i zZOy|a+E34NJ$IZet^LVoS@e6~DU1<= zdxX&>h9NZt6k4W9GqZjeG8Z+#-M_FXXpD`#`4@k#zlW-#RilPLD6E6!taUx^U3(xZ zq%c|)C7fF<`I~HIT5rnWcDqP`M%?4lLnHGLJXwinj4)REcWxkD7rp)wS^guwPs)OxvWxex(@*8}_-lTZ%kDz1&s~v4LH7$w z*y6i-mI%+@3Z=_P`k4$1*JP8WZkmk znVhgT&8iJYqi0SebaFRfacxivAr%r`R^ShUklPpAmzz)18a16e#?5rwT>2@2L+MmI zWxgDmO)f{P5XB-acPh< zg2fGj7906%rm_fF>W;2%vv+~;U$lFdHOm=~ieOXqg(t=3G;?%7>v`*A$83c?xW}C8 z$4bWBvJnaWK}JOQbM*97_cs3+Lpp2=*+qC!1uH}FUaZvGE49o+Z~W_52(G~&{qN}U z^og*C-#_EJT%bkiQlB~&&RdI=Iz!=JpU*)wd16VN!4f-LqA1sf~ zy~^Fv|CVhAiQUgrDZ-5;EQkNbMEeiQ4iS>d`={L--MUKU6|?R6X_HqBtTW!G$P|{b zbJ3%7yYiV}n`_RCDhWiI9TT5FscjjecCbVXCQTBMXQsUZs4HSpun|4Y`M+)I34H!e zH&E#PvHkGln|Lkj=sp|!-2hANmkqTmb$af;*>n6hAX5_SW*j|dz`}%l9ingxy8rdi z(0QT-tH|hwO#kUcDKCa0JiH|23{2!Mj=QIU>S_I%SAq6fk$0PauiLwJ=~K3d<|OY5 zPvPtoG>*Lo)a*sD%MXH`Js0^EP1y8Xe@%6CvG;VBA_&_$cMp##j#UttpUWbBO?(RQ zt_dEF7n*Vv8B0dZji0(H$I$62BgacP4ua1+p@AyX#Xnedyi2P*$bgeh#v!TL6f!CH z{je`_!5bXg!#bDys76fxJov%y<%20#toH_I+plp2tmMj!?qZF-P^<(G3eTCDk6pVn z;`mS8lAhl{gBAp_B~fk#v_yyLBXKJ|cE{S9+26Zr%+a}?UEzfC5+fWx1|BKK4S3Km z$>{i50XFj0nDI+7w+!XZ5r6iTxYZ{^Y#z{+x{G2aU$!izU7~`%TnNeiI0@n_E|ui7 zWXDDD1f;$eQB8^`VsD)GIjXO0z)IMd_^?)5pZqdKJz%KBy5jIA6BNJge1A9~8(?Zb zctNHBcr3_Yr`iQw{B*)Qo_fHGY|`dy0lN+evfI%&2g&T&yVft#JA1t5|1ziS2vX+l zPZ;#JE)SS^d{DDYndJY*rOz8`6911wlVK!LXrNo8PG9bqX7u!0vt%pczHDdlv@QmK zHtN^PQ&b1>=pXCfkXSkk%>V151Le+i5rUy>lPreOz@-Xv5X1R;o__MoqDkRrEgR$e05edPx|9t?9t`!{-w4MXGq*UUYK!GK`n;r_p-X#rh1w+$Y&-gB)R zX)PTX&=831TJ>537fbd;d(|h+Dk^?xst}7h%88$26xEYokC)IS$#B;EsTUU2mZm6) zSCS>SkKnS!7HQ(b(=+v!N`@6=bQ0Os0-c=+?zDFliSm^aHjSsYs6Dauju&Mu20fq7 z#W61<1yc*^qs+PI3c!EE-nXa2#OgwFM0!e;QcPhjg`Qy>n~%2MjlHn7;iZcM1S^VU zfrex;EQ<#dLBD4yG)Ci#6B<+-9q~e&V?4`avT-%*`r^s8T%Eh3QynHY9bZvJl{kS` zy)Qi{e)}wM1y!r)q;>Io@l*Btl<&VFEW+*%8Pz$@GvaTS13}}+rR>S#b-t0*&6&U|i{Vptp}bha#2Z7;V57!CNRV^%b%IR;3wVQDU4(_wr! z5|zq}>-^d&9s^ii{uUl-9$3XaPai|;wNL~_&pOz3L_V)D)S}0?G+MdJhbrJm5k#Ac zhqyQGAk$J?o#n<*U%&mcbim(x;?9&ztK8>3X_Z{}@pl;kzO&6`z;(^`Tse>}?+zvC zpqJkhBxk+N%~u4#G=Bg_c^G`#LBBcSH$Ys*x31|0T7U%M{^iz;TxRU$ma4BD{1axT zEsl-Og8GMs0Hs{HdvP2!A@>@MK2P~>Ql-o5w%spt)sYaTM<0c>#uv)%5Xen1xy%@T zRCV*sTWH-oTH+PMnV*dJTWUw!?M07rO=qVRMLl)N$~OD(>mFVX8&H?9t;89`Wy^c_ zptkSyaR70Rj&-*nt!le3f0wCd7#NT7h6A?+G>gFW$=!~7+YUJH?#Z)9{kF-+Bt=iD zLGW*$4kx-_cBUMT|GW)vceKoBXuO(m^i2-+!Gk{)a5giHxQq)_ncp*lkaT|OoI#B0 zfkkp@2C!E8>f>m_qM1~xa9IxEAcI4^{T;w5H3#74$4AW;Y1K>)q1d#%vmBP}^A9$7 z0--T7Zjlh1BS$z7$au)}A+^O4*(}G}`fOw_$L<&nT|?IQxI7D!;VY4P^JszEIv-n* zwREDLi0$b`Gk6w>yhsduVfc*{Q9XEK2pS@i=$VBBhDZ>1n{j$3MPAQUNAExUiRw5O zL_m2dBQ8DDmwubP!|smi;ST`SYDGY?4fXvL#G%L3IaN1?BRvtETVL_T>7ycRl}MXqQ{zHdamJZ`&-b-*|56LCh-LN`l{uRNs@rvCPq*RCtbqZ9XZtKGXEM_)NQ z_0NOYPLuxEo*hrjF#3TZX17)O-K>L^0pOL5kve!>07TSsqGbTa2ov%)H{EgZ<9HYhfqoNyc5Upi1Af2V)}B z<-D){y@^Z?&QDp+-ZiV~x=zsV6guZS#P3f&p7l=pwPivdkvzy_^~X)~q);e41fUT5 zhR#?I*#Sp>`!>Rx9cG*5iLb&i-^$-e1%!E#_w`-GShD0<2R9)S93j8+C6c!#@SPk{ zZ719jigGho%c6pmZLFIFL;Hd`g%ifKbsLFg_w$|& zPyP+wnw|TWsoN-CO!~o}&tzBZDDGw1~XDLQZb^DobfpU3}y>D zgXeKHh*H%x3EH^O;`n#c$*_e9tMd;MMIB@dz(>caiMBrEHlS-#a=cm6bKE7`l%)*lKLrg2trJoabFtc-vI`X2$JFjZ5$eHGt>!S{kJ1N6Uz@q2kA!stcMK2q!9b1aC2W!ly?P$~*1-nDzl`83!tq z^%0}ViJ;d3m`jZkkp^{>ehk=hp!TegWD~_3ZSlW@IJh*O2j0P}#D{#l6pm?(kK9wT z&Uj0utBe)kQ&|Qy7HFMA`1r{|QiVmAYJpmdY|!uu;TmD>aXR>>W{44`<&%8Q0d`%l zs+RHo_@00~CvQc@Y+;I&FCzP+ChLe~&BTV3Egd(YsQ3DojD&UPgtrzdz%UQorLVRJ zrVgCeN5udeW!-7?df`*>>RB#$LV=?z!O}^3Ns2F=2(YAO01koOc4q;XZ{!W)Wq;$k z2>*|jg&Zr|BKALTxZd>XDUixNYY3O)3U_X+nHq%pYR;uDbQq;psZ&r-p5n0WJ-qhz zin%%OwLQ_BfC5L(k-eu7%X+=sp#?3QL4w3r&k6k_^UWQT$%yT2+YZA!Bz=u~m^j(8 z)&4UIJea&cpiV&|kXw9no`#R)cYXF&LSLG*UobJs&BmXLfVyfln4FGhH$@q?#Dw!U z`u6QmP4QlL!VbA=kWzxD4yZ;!PTnbL0d)qfc^MdZ>d{5n7;8~!7;xv#p}|dw0iS0O z@CWo87g-tb*82H~-hznj?>40m!bsNw1j2e|@uX0@a>id4p8} zzSj@e#Bftk>o>YhEfuiaTgumM*_AV ze=&A}vJh!BG)=TihfB5^y-b~0vPmL_$NQ!{x%$>G2_B8an$<4td6(l%LEBz?Ed8Hb zowOgGx?Rn+=UW1S(#I{EyGi~n>)3m{Nhueo!K}MgsR#al6pC4G=z86t5+5rAJPOQ< zQhKoSC(Zx1H+!6@&WQQQ>fBA8_{w68tF-h3%%I*(h~&0C$JZ;fMg-lWm-}(|1(2|1 z&i=(&hZ@@!r=NblvWcWugs^Y3Z;nlMPuHX+Ih|pDo6}<4wXw(v=h?@Ly2J{DzKU{b z$f@4j?Ml<9X&D)^Tk4|233?n%=RAK1?i$kEe7m$4;^hT)Kky?PF)Pi;&oJ3Ikz zmt@oLQ_L#zRZpvTixaaUa6A;AU5y5#tC!*K+gXOI()l_~Xk%U1bTQMga-u+G+6ZfR z&gE zx?OTGV%Lu2c*tnsO`y6f!#e;vJs?{B|FL}G8Kwdij5jee02Y=Uyhuwq^Y?$h`?gkC zSa^795~9PWLhj3v&yg6^j9q?0mY)!Z4#KhKt(orx*MnnO&);D6y^r+&AJ^Y8V7WnA zGgbb}`GBs169G3`&uslJtDi~gqXZgDT>QaUmk1b62J$!@AI(IK$)CS4ciwxS&pr~< zV+$qODsqkJgpvxL!dN;rTErJvCm5=`>OZL9@@SJ(oz&R%85?$ej{7y7(@E4_mPm$g zu`q;ZC@V^FPw*IM-x#x+`_n==<4OtOu=Q!vasXB%`1GLAk357B8L=766cWKM?Xrl7 z$wQ3BcI6rCcJ&dsQWM|fq;$}TiyEdZ*3C|Hi6IcIpxo9vXv)zjh~hjehL{MjDB38z zWooRbwE@WZm~=TL3MS=XR)*A4C^`@}t{B^3D1>0ds>VjA+$rr~Ipq}6{M6?~eLMSn zEMP~HVViRtQ*cPy1UMAF#wF6bhtgCgDF{fEwPELisR`StQ{^N!3_ZL+40Z9prGy;t zWio{w>-2Tn8ABp=444kcb6?H*pO9~99jeO#eJgW$({nqfEX_g zAsP08yR&+XSeGX$rWgZpfz^a|8lOJRj0lEAlxNcRHHkvS>2e<78u}>e zZ_bBV&K68Zw0-yGMeaSWb-miZn7I7TGhz^iBF-GlUAwXTa=AVG=l}KFPrC2%{^R-C ziW#eLD4L(Hl?LrXjdFBd(JILu5_Lf1`sSLM2`kBa-T=>Q@a*FCK0f>Xe$Dygtj*&3 z`{8RpaqY&``~OHauh^OW8^QWHNaS}zT2F)n4$)sH=jSp(R1Ui(wUdPV@S(^u=B;b># zK}{Y+vRm&9*)h7@e$LoE0FV;@ot8hnX@NQA=W^U{8;8#@c zz@(PGMyD2Na~Ot&XrsoV9xEG-R=8LfmSti+;qRyK%|5DVQ5>?3VN+q?0`+-d$v_WD z(~?u`$Lx)EkBdtnk&gUbU6djh?zl6PDM`fsRLbnWX<3g4dbQSkjD_Y%0BEyvqdsdYAEyxuWLS`sDf@UyLn}Cs;!uUYAP5 zlaEZURkL#Cqjo&{N|H0ycJM*f#BJRoabJ7dC*0zHn-htq=CqPHPb4=*tt0$T@SjwV z)Mo|1EyMj$dbF`DBf!-I-aUb!L#cXXquqwlGPLS}wMO}}p`l1F=@fAi@UZQguX0NK zIu|U^pyD97sCUuYc52omQTVHERj_;5GfDRoCjHLjW}-!#@eMyzM!QZWDZdX>Ny?m0 zx%i@1P!d5>M}l$3V434(PuG1I$1btNrb|MNKJi!OTIw&G9spY5{Gq5fx(D`OV84PF zOmF3`8*+7OL)5n=8*Fv$pOk+b_DkCC>%J|{43|h9)vk11cDY}im8S0E1>WX39lM&0 zEoW^dQ);PwRG+?>K&hUP_5yi8Lv#6QD5ui%fP#H8O;H|JUYp(*{!BKxBO%QXF5ag4 z5P(JDpF_@S0ANiP-D;!yC^P?SGnC50w_-bd81tP2F}Fu{S!T88+R4i#cEmFBr%?ht zZJB)J05>j))Y@Z?2X?D5@q~ECalQE@M@^?A`VpGD9r{rj-o1gRo(bfaa^=UCjx`1? z%5eMIry?`{@Bz446vajYsViYR5z&v2_vM9H(yvzsTL1yq?0Gb)?>LE{Z0PHL@D#s4 zOTjPYuR$K{&{5a-*Zl{>=pwd%AXfM5hY#S3c$PI;?bR2aioX<@dH>xbT-fLHxW9P9 zBU-_ipO3?!<$@{MaZ0RK0xU_%z}Y!ZiGEO=>e8$%HRlCU>>O zU}1VK0WRK}eyex0%?M$v?elWxQ$Lqj4Vn8dI9r7ZKBpyEly$|1q}OjVCmxj=klx{d zmAjauT)$k0X{^ucIugv^Z78RlixN!NA@ry!A^)d0pVuWn$9W&NXi7>1px>bmm(Gy7m~QGEn`D2;i(flSqswG zFy_T6$qjSJFL;>KC)-r8&Yrt8LP8L@E5H-PQxSwe5rn@U1Rp;rG(P@YSX>GlGzjA_ zxIL({B`6IKUywd(B_&~gw?V(=vSa<|#|e4ROde7H%cWbg(Cgf|MJ}*z|j!>R(u$t`1(q~6S19mX%jh7S11;fSnuXp~pL~-Lt;n3jYGRZ2^3-FYFV|64F6xYrN@Bjx9p6q-xFPy8qoY#?%6@9=E-d2Z=INFYe){|%L43=KaiEUw+o|J#;7 zD1S@zP8CoyREX+x&?Mmo;l{_uXBNf=IYa>Q$<}N7N;aI_fPE-W{Y1X62EYI#YANcV zqiUEW;Z?MUH|V()%u`UX_Kx<@kAUyX7pJhX8Kee~+%C}VkeYs^sJ^DY9MKG5Z)MU8 z)DIM4&Cn{5u>WavR=6z+6wZM>ZZF``29QgMz`Q=!*ZszP?_2|F68^hUS0m!DotN~BhqraU z)nEp|ZrAjC&kqK12bN7<$HbchAF<96=DD>LjqbxnEDt-YMtoYf!2Vv> z>E0z=G+6$3#S+@7Ycr-i?y+Ux7ik3(TGOYl@&KYM_% zfJq3|iGWO$#Bv$!{onK9MLD`T{1(z$iAetS1uzp?r5WXM!b@|$#G~FJgxc#~^wp9f zg?jeeHGx-?e}tyOKDcw&VTMcyG7q1993N`Rjk!5Icf)6@`wW{cTwGH8`}%htWiJ#z zfy;BOQ0|g0L0u1oIt0`U#b53$^d^p8w8%<0@5$aH$_*xTo7ncP)UGGu)k~x^ehM3(4@7OOk$*lj`to5iSTfis`PuvOn{*Iu{w%id?LtHgRX;VjjiKK% zxt@9>cd2&WNp!bT6*A+O;D{m#30?JK(wTbA6KZ){YKhpwvzuy>vR!2}b>GOgl>y(j zcMD6|E~xCeC~~FgWe|9cFdR>5q;NKo2+#B5OmKbd>M zRf1Zg`X?xD${a#Ajb;p#y~(z??5S)FsVfox{g`d`1(zxZl`>H=Fa|qh6$Nt&Wo^N4 z!d`m|xclvc9n#1Rj^ab3KgO&E^rT5drbDa-Z>;!?3`n5|S%`QZDFGf1& zvCv=bdHo%zEU`j~dM5oN{?RzF9L#!Mrc{r08qULMb*nPS;9FIM0Y#E=lO~;yyS?+E zj2?ao>oebY(gkIZT_Np*(emf8*s5s^iOYu1-3K@ClSXmyF?;rHIHlxONC$Y$i4*cS zu&&`ejvP&0@Ae=mMd=bKtvU-nw{$t#t(a1xf9?$KQQK_e=Q@vbbl&q~9+!bU=~KSD zSgJbhu_k`nx8d>jpUz{*teGpm2~-p=9vTfXDX3wRPOC19=hN7&u2*K3K9}%dn>@Mc zK5l#v5uS?9>n}Zs84JL*mI7?L@jr|IopH45=qrapg~C7B%nrwesXYA)ZPxw}=%T;t zb`BTm1=p>#uh4;G6KpMxy=|TH8#%CvRWOS#QNQ5Dm`kRpW-IcV%=We!su>ToE5+6S zKooYQ;+{n131_7^P6eycVr&#Knp=rKV-Eo0ofb67p+Bx|tr9j9E`VlYXa6z!cpGwk zaUhyaJH=t=m6Bn5W*$@4Xz~g1IcmU@%#3H%vge)`BEL=o8MAUb2EqQ4_HcwF=49?f zu~bU}2Z^lTL(|ME#aapxMtH!taCqNsXO|~{$7x|~;cLw^T7rFWc}XQ99YsEOqB~V% zu0JxJ?VReH>}r@r1rTqM>ot)m1C3|Ku7DNQr>vMO2Y0FJL4Pqw+pOcz^l9|?8e6%WY|pDDSkKY8CW%=XK$Fw+^W-o$qg5>bW9UP*F%g`r>tpa z5$z`z>!tbGn1Tf*P2Lh~G(|1!h)q0?{I`*U``CA5tI1C$=Cub&E@?{a`Pl7K)iDaM*_Q8=DnqP1~?{Tpl z*_A13#0O{=1;9R;-&E#NRj^_9AbXp&c#rIa5+EE*+Vv-zRDvuC%YGhhN1vrIvtMLk z#$&H}|8AK6$t4pXLLrCP$uvI0g5L9|4IiqP2$hYMDH!)&-}2za6!S7`7ozW)7)tfE zKU4Uu(_`$DdV;46*XZ$%=FrcLS;$@WNgK|6Km`tVDgofxLg zy=W`0X^P^<1^0LZDjGUmyapj61;2BQ*f6rnoOl5%MR{fLuq=rXPBGk#-iM76B4zQC zpo3o9`|;SYV2z@Y{2FQJQh@AAoNgM5LVn`mx?09U48@I31N?X~M4iKs<0h&}N<;nu zEU%8=Gw^SuC-X$E^KjnJc91ln7GF31JPTDUmp4jal+qLJNER9>J@J-|x;F=1Ib!Vj(vXUjPeH^yk^z;Xh|4FAJzeO zu=Mlp2A%IH*eJHzSQ+3jr%=uKD+$~*+z@fu)6(; z6(uFE9O6L1w#vnon9uBZNU_IYzl9cg2GfCVU>xBjBAYQ3%N2fW6z*UXl!M4I9@BD2 zi0>@tdLQmEuMVt%1nPG1AifyZTs!n+Ld9ll(GT@7>TB$E(jN7( z0D#HyEM7#dPlTpMzZ60`s}M}yYfU-w$e8Jzs-{&U6_`;;xIs8mjALli~_9!Mj#%$m~YWg0vPQGYC?4Bmq?Nk2Fnv}q1=nOe@_yw(_aHL6X&`bEi~5gQxz zcqx^hdEFd_+x9o+{4)=F3kN$>>QPjqYIy-}pBy(k-hhnCBI|?5=N@(&LHwrq4tR2O zxF?2WP^X!l4~Z3`nMMzQwDmqhPKp%NP4coM5e*!Ji<+{xY#)n+|F?GXos(Gp>LNV> zHtA^*#B#={u@yQqEbUzytw)#H$H`6OBBw|>Z=qZ#*&8O)f>{vhSsrHWg*Q~!kjx+e z&-y^AFY$;2#LvUS1hdptrN2v_06`t8b?N#)JC=4++qSvHym&iYYG>~vR@vm_jE4o0 z*q&`L{&2YYH>Rngw^dG7Z4Ri!H)%NQFw$2}wlx|*{HPw+<@|T}Y#3x4dr+`wSpNZe zOMRdE^Wiq(EM!nBAXcGM87g>_e^eX3X>3r;nN^SG|Nj0}ym*c^3446#D;M>D|jEx%9GAnY6`=w!w*Cj=Z zC(3KbKAISMZ;Gm~(=s_?1E+B+I1cK5fV|xITAE$@VQOD-peUnR({M^u^lQe9UxA4{ zmrbY%ci9}ZJpsfvNn6+=w*%fVkp$z|$Kcv;y? ziC^Tz;^B-y)7RFoX_FT0s9#33A#PgA)^Z*9b85}AHpXpd7HmGdfXzxRFLb7PPv&MC z;a^T+>%IA1y*umRyynp~0cua1srLDlRYJy&gyV(4gP=Wlw?AdK2JdEx`w|GO=+mZu z*HKY*@=^Dk6$VGXs7eO|!Oib|u9xonCGexsiHPuLC_wN{Wtrtc(aBYk zS43oDz_im`9bPpGfSx>U_kj_IAkR3ZpmZilA+1&tCqyD7)9!3)Ux)}2GC~QOu-`>L z2am9vGcVJ-Owk{7cp7PoT2uQ@`mIF1(0S$0oMYjkq%}*Wl!j#l=+fa8H3F#+X~o8R1VvE;_rs17VH)A-pB5vLLyym3a%wIhwllLCixo( zR*?~1i{M+d5475ufdq6AYn7rcd$CC0}2SDy1Lga`c_(DO4b>kivQw{!d}&6r&3daO<&c+qP}n zp4nsDGw;~8ZQHhOdyj4H^ZkF$xjq+7+N5oI(Kczb*0Vx(OJ^1-9?#?us$D9MN+oUc zoS$=FCfo1N7%oh2(yt=BLar--kI=ReyhBkjuV)i-^^6fBg`>#)s*+|pXpYdkhrT^E zc81EkC=8NOT^kI9<%1b*I+uV;-280peLc^AX}kdIvX4$G$AyGROU2$*EV2{c6Tv9= z;{|O-pwuxx#JZ*pK4IRdnx(A`ToO0z10qnRKMXlSdToix#Lgi*ciyh|DKX`G7r9?;P`tH z8vXa~T(?_9Ts(-hX=F6clXtWfg7CiXZ%CJErLc@!_Ob=u>%8F_<^d=kDLiL`)YZmp zYMjh{#?FofRbjjpaCgclLhg<@l_QWxg=+wb8yEWI*xU93#10%A!dwbi!pNrr^<~monogRG+#RcJKhw)S+bCc1RYjCW%3kzJRD;ZQ(`l-G` z5PhOzZ}f$^YWww{8>t@gh+lDu2EVjaSd#VcqjBVPI#yDw?v#T7)Cp=wQk!I?hveT} zJDIbQDwf*!uO>HmWa*QW5TP}7d;xx_YYcfsfyD!zg z`P%Zrz!&7=(4DqB4Dh^emlD2Qswyx$hRYFS0&AqQ88-G9oo8dEEA2Brb$7sh9@!PD z9b!*o)t+7Fv@*fsL!m}qrFkYJ9U&;B(ieY7aZbn_^;c&Wp&7TdxTnG$jPe@2caquKJ-A2r5l?Cn{V~%VoY7@ZLrkOq$rxWrC2Kfo0A-5!|^1Oz28avQ%xSGSi8HE-Z zSPzs}_tglx3Jubq>+ZGOX}QK63FJil3}1`EvfGlU)5@_M!7>Orj8-!{>BYKA!b?v!gJ7(64U@Rz6}qt<+VAnohEA7Q&S=g zhahAYW;lI}EW|T6>)InrX=n}2D(e$FD)&oqtI<}ZFNu2Noi`KuE^|x5GcuWv-D;}X zSm?2*>WX5;V>6AbG29QvTN)H+%a(m&-1+1CFjrSvCzFX6PYi%irgyGp4e)QB$6hjb zX1VLt@AtKG`L1p6S6%f*Vz8s&u5odn!LeVp3qEy{_(L2U%~*1eTEIj(V$tSpt7cpg zMbPGS{(0a$TM+WyMRsP#iCa?59HR=&Fr9LOrA2q=XvgG|r-z~GzadgA6wTm+!q-p& z*|t}wJ0bXdoLa!(QU;H~Dm@iZ-;WXE{#=vn4#ux6aM{F$iou3GYbGFCtK`DfW_SX?PU>P<#3bz0OlZE-nSdt{^*jY??pl~xY zexZB=9P#nnEFoe_VIv)^JpR(*tl$q`{PGiS4dGh+fM8EIMx) zu6ML1P}`;e&3e|1*O|#N&%6kc_FBDIuRoh|+Ql^U=i2!qjGJEdloZ+KD~V~mC1oB$ zRt#Am_|aqtI(Pk%6$Uxbyb9HS&PN&Jq5)jDTQx^AWZ?-EU#)w*M$_MA3J0-v#++G< zw{-$Nh!0?xO86c22vM`A5AnMK*`bNEwynR!?OxkAKo6#kY`!5~?Dr;TZ+E2&V+I!k z?by|(WwX*e9GAZ2LOIMZlPYda={H>n2VN!29bp1Q&$w?F%)a*0^S(8TxLktI#;h8{ z<_L4}*t=Zv*JClL>9dgaQ#8W1jIi~6^I?7^X&Rtst*cQV+xiV*vAfCQ>+YIb%-#>Z zPEICj$c-dyj}kVsX})X0k2ux`Oh3YcKZd}tml%mjKY3EK!O_^q-nGeVd!MlX{ow{z zg$~^%gzp0TL<6Z(<$w5onSPUNV_n!PC0nMgWkSHzCQ=)Bn+xB%HGbc=$c)T3Vy>;< zjRq(!&{nR9$%*(md-__^&6pj5$?CJTdBcUuvR84MaHM(8IM@Kc4CnH9A!Rp((dLPw zKPhBPeN*I|J?!2$9{2ugP(529_8l^c`181gMV<5p8oAZ5z9mBA);A$;LAG0i%r@RM zU3dDE@)Y%36u;(HvdYA*$qsRmHNbaJf(-!GT&3LHNVua5z=E5dzXN9pXI;y9dr7Pb zk2^FPRwUlTCffB)Llb>ljMVd$9E+9r=w%Xt$Te#0eZySl=ktywO zZbIIdD|?CZq%AZjR_oR@VZj_{Q;g$KI%xDX>JKUr%F~)BdTz{9Zw9t*A(YYb3IgmK z#*aAa2fMrp=L9R0j~s;@MMH+bAqG9mCmmwL>I|;*1V+g;pdn8h{NrS?@y*E~5oDQh z8Fe7pakg4Ig9G!A%GjcgHC&K_>T_(4>`E>|aP#AOgj6_IB zekOP_XG$5Uj9qIw6&Ds?4+R?uhXRaIznZ6>NF$i)iz!}H;<83#PG3<*YdNtO;r^Mh z5wX18w^8o}{tVy*oE@-sBP>m9LYKI9wD12Xo2d=?0yM9x1vrxkB6m1Q?XNjMi z^jxIYIX|vXyYe`zKE|TW8$0Ns%IWISL(rP(Vt_M-UYZH{gExv=EPNHGzy`p{VZWXA zs_xboGN@=$KWd2r#d{x2GsWIF!|cCU;Et!FM~~h)0RvE7kT@!PhzB_}-0S1xOLSNg zk~|=NO^e0Zvm&!Gsd`e|@SdhFIt!J>XhWJGcX4ugjL0(F0jBa+3BCA99@}l^SSrLA z9(uF1McJgYX0hdVn&;wY8!klRK38}=d)j}g!jt{{F!Gc(VlK1l+yIqNpY^V$u=n;0 zCE2aF-;j|Y+R0zdZ_7L*%IMA-5=A z|eh?&af#4F1(H7G`QreHFS% z&+wq5a}03nG_m_~E%~H`el^rje``Fa#Cq)LCaKW6f)ck0D>3ocZ1#E#8VK z$nxyw4rdKIPyicrc>|?a>4oM(IT)BeNR=K!^KveF;P>O`m5Sdf`M9~}PJd0jR4;#L zI|6y8R4!Y0ZT;05YRw9WDJDiHxfe0`$YV8AX|(?N!|{%AT`dkskp@gn#KM{GK*j0} z`K(kjS;oWK^>7K4)1+t{;a9AR!*o89T7Mr=>X#JqKtO5p9o8iITJws08MR;*Z+?z% zTs&>=oGD6b-LtIdurHhkleq1M62{ay9F~22jzy{I0=d)?jL{OAIz*WOyQ06ti`%20 z?3fp54EL>H*?E--Um+YbbNYo_rzS7iQ8;^&X+5)B*sL1r<` zxTOCUrEK0&gpvt?^?9^L&Q~To>7!TKl(@KTy{~w2U)>e|yiQH^{a&amoeZO}hBF#C z3RsX7`*uVeSuanZ84sWNL}Lpsi_m8^u7ZruktryZ(Yl>fb)>&`q_FH7&QdIbLcc%L zjFHJmJ>=~twcH-e+q>(qw`QR+R*5LYShWwWMmk{yEr(%#za)U>)&C z??Th&>S2X8vSvJ!EEb^38OUw=WI1S~>w;oQYO$j`*LOLIJIdIF_GvDJ|HXLbQ2po1 zSnrf7GJv2yoL@&3OQ>@>xeUX~eTYqrCiOYjnXdnBOI@`gyPG$%dLlY{M_LzR1Sr=? ztfC~XC>pM)Vvx4#meIjumr8<_vSgu{z(HI~pS$$$f^0d!HQxtH>ihXT7~Kyo{_#U# z)uDts&B{O6m8`7DSG43x2X~GgDDiJzQ*zykD)kb-M92C(f8OirMxR}x0rs272UYfE zD0|)9l_<%N;!Jud6*>66z19$F0es9Lldf4RS{dIsxyx*4Yose-AC{uUm`IB;PE5d> zpwC(Ic(*M!K9D{{XZi$B6`hbLVI(!R&#!J|Zei)rot4n38Ac!;$280 zG*jx&1LX`@FBeOSK)5)*WqMZn6e@wg?&dx0z%_q--ChzO$xeknt-irJ0h%8;$}UVJ zZddKq*zZ|6^531oS2m{OV~#MPV@isDhU6ifJu$?cI1N&T2j)QlBV z9)O^c9o$*2eHI~O;@O`SoM#lJ4{sTB7`dgU`s=URO_Ais7rmHKm2hH+t0C0ivk}crC-If z`?r?FXe^>-Acb-|iqcmS1ADE8 zzhd^7Zj`41c~FO4T!p4}D(>ojcXsQMuNGtb#=?T&<*3t^>}x~J4l$1Tr(-8LT^?E> z&J~dyq2m@5$rT9B^%;tn=lX5VM7W&1+Q?~plwqiRcZ0&y1!xWb;Cio&feSd%J(sKG z%6TI3+KNg@U8{Kh$X#1kMz=%u$s_)GVL&^!xZ;4;6Q79M$#XrfX zI6qKGz*mOE8PMYLOZF&RsQ_;Qvr`=od1H4k%B+-P0dpvIqf;PujW#A&#dkODqxZHA zyVYn!AL#W!xW>JiPhb}%5hF2IcXRQ+(}%has?GqRI6-5kq4@{-Z94W{4Z9RSD1cq6 zd?A{xjbauB_7y`@nx^+J=bjhCAzVkl_uem8^#i$T380cRLgKxo22*y*X&{2vnT}fe z$NZQU+E&suY-N=PE{Z6Q>+Vn62+ATn-`aN_g|_%pQAr)P#}gJA8M zxa6JCU*fpbzwYf8?@Hm0h4$(*ggY-zoj$$yk^jeA7o74ToP^O9l&|-f9Q(RZmg?~N zn|QFhtybRw#GQC01YECH`0D}Q@-G};V~iJrGQe_3vGG&W+k|fh=G$c6TsR*hRhn)( zKXb#dBYvc6LK^eSDqs^)-WlAXj!!_f{|@?Yyt8_@4~t{|z94fCcg`ACgG0q#p;mbs zRaIY1+5ld-`S#9X(*L!rV1q?{M%n=5oR;>HCWKcpMB7R#=*e$Iiqmr_3rgs*u7{k; z9Pq@b;^vk3qjn3|Uuza~8SmAsrt?OTV?{Yck&xjrTHmnq));&q4pho!oVKz^v=i7( z%UFXTLmv#Vn2VH~6w+H*O~~9Z_Ma3EOQbmr!2yBKp71ak+MP^9Qk!0yJHyWkdvZImaD&fkT(=`WLET!rUahQ6 zEk1z7tV=cm<$k?meEY6^G${;+>Mty;2k9pp+uB%YxAD6=cBUNHb9!s9g%!G zPfECz+`!3`B>T!plQBIu2;1AB?lOq%{pw1Q{3nAj{~4L%w2A)*0?87o5-VFJ`kiZR z++cr&Rc8p!g-b_MtS^241Vmw^@;)}&Beb+i6{^)ez%vgmd<@$|iCF$TmO~jY)q3dj zo-WK-hfRmc{U-@L5fjt0Ly?mb0}Y3YkcyIT{q8Q+1O7E6{81~5L-}qeP2v>P9CO7( zZ0~M2W)wf~q#c zM59GDb1WZ1Rkj6O>)XgYWKBaFhg$NhR$dygueUMX7BUH!l!<} zGOh_GtBU(FM}k=iN$hN`YwtM5fT-0tNuN?Jnj6URJa2JFG>ZkWB?J=-AbQ@HRG}Rd zDNRVQt6=RYkNuWj0adArlXPgMVJ`6yrCCxgoR?+rzuaULe0Xc`EUvG(&vGDSou5uR zbeNdwiUku5t;b4dZ~XJK4Mu)@m{(WtcEmId>nPu`-Up01qIL)<^=KXPPt-vz3IXDo{8Q0RToN&}x!q92t0KQ-~KG zA>$UN9V%*bS(78It7Mx})_cbl}VuoLd z%uQwdthpN{{1)hfh2+2Rs11lIrPlP0pidI~hYBs*!^$)FmPy6D$fOY)*9YON-d9Eb zfZG$A>>uV%Kv`4CbaYQ%#jC$?$LE5XRY*NaG_19}-sjsO+_%}O&Rq<7 zuNPq3JmG*YrAB!M=DiV#GmOF?m8iJGf9OYDfsO7&W0mKPMt9#M+YOIk+&>*u;E$+2 zD1Q4j{PtY5B0ob%@kQ~$F|Q6!n9mhXeO9od%K=v%0K#`8CaxCT&LsH`Z}gHCPCFAr z?i`3V$_nM_DC9u3Ap_9;0UKyK73zff2ou9z5TbSW%5&}X*3g9Zzy!BeoAN=HiB)I; z8mCiV?S=I;LzZrJmewfyx5I^_E%GcclqIrz`4xF2Gz$^@2EKSQAsT+5Sq{j)EU3LHOpwjo5f6R!IMF($43&PCkxJ-^ide- zCMu3HNiG$FRYS$?b6C$+p1U~g6p^8tz1vIiIv|4MSOiRWvn- z>ZnXXx=#;{A%P-$0(Q`=QMD!}xjGC#iP&lw@Y8ch;pP5)Y0m9YbWVMa0f9Y~5e;mX zobnZ&GbMS@$w>9*7zMe1QjzBr9-Yc;MpnrDhQ|kjq0@V!=MUqdrai?Ab`A)yVsrCEVEGG@(y2)ksqEi7U$vPM zK$MO}{(T7(xP(vr4R?rkXQ;B11L|~HD*PwWibF!as>df^MfV@;*iO5egVJ>H4#ZXF z5zfsMdYxoPVV&ZfN)$L%f)t6+4!?^@ai$B0P{EvJeG-j9u(jc7_tou7-th0DqAMNg zQR%cJ*yE1C=`yZ)-|moUTtR>&|6qZ{Ml@3rf6!8SY3D`Kpah( zQAt02bMG{RLjaVIBH218?o|5e^J4ZLH=T#-&q|M*3SJiwb30g>1BctQY z6bHF#rBYW3h}!GQuBg)B!!pobQXhucwA2tVD&CnYsdQ22St~ALbY)QnTp@QG%OaOb zeyGkpA z{#4~JJQYD|71Nb8{e$^QK|bEL`Y_YT(~df2z0Xb2VJ^XQ|1@%N_hPc<#s5q?TzF#b z#C0ZH9WL~-xLC5Z-j{I#ba>~mm65AaZoJFBzQ$w9V%#yl026zW) zBe!=W@%O(uX}G^D!?PnO)>atH@(J|nX=h{B_j8K*#jn>b(4UDv)#%k2%YYzOTcB9+ zS0$&4YI$I=Hnu{tH`W{7XdiM2;K4r;s3to{~d~rb&27I_61WvbPK_46Aq-CJm#|g$PK=3j zBYd0Oq}$hegNq3s8kQ6h5y_K@3Je8o(gfJQTLx*xoKmKc4o7WJt&?1T#4w&?e7Po7 z{A*g6(L3u4f)V_pQL4j&dhxjyv%YR@Zp_LOzlBWztZa2j^(d=Z-_$`%o40l!2Tl@# z?zL1mBXZlQZx+RmkP&zjEar}c530#kTm;>lt{FtluovC|F4^MlB5~BYPD|q`SH4IJdA=Z22$#U=yw_g7%P5A#9xthfm`QWqeGD!mRv!%4=0F-~QYo_oMea@t z=zt74uI8=3YFj(UG=@#Bax~+K;RLl!JDEIzis@|2A-rLD`caZj?>on9!;tHl7BE$S zG?D?jE!96T;x;8Q_SHqzS*ATloMWm4!}YwsxBHH~oKX*D!#(*>CK-yPChAN?Lj&(6 z;>wKrWBz?$waNX#*7;p8F|#%-eGRvAyt0jIefB0bDAsbfr=*3}zVL@S@%|b_Y&-yu z1s;*Kx^!Tk2CCq<4Q~aqC|M~uCvGLcC%0|%-=qhVb?`KQ%csHU4P1_70P$-Ud{ykG za&Xw27p;vT^st=sP2i6 z?`9?Dn3Wu!KeBwC%HwCFA`s{?kMwoq&s*C#^0B%^a!CHV>5eUvuY@kWAfrEEIm^|F zQSo;{tHi928E=e`xWMzx?8Y4`oN1N@r4^-jTS&1aTMu)4JsUM#IDR(?!6^Hx;sv;| zx?lb@-JA`*t=F}yp z3XspJa?@;Kf}P-xzQsu2N+YiTI)>^KlE!0F3eUD^)jv>4Hi5|hHSvb8Wy1bf;M&(R z;mLA9*qQzp-;++xfxr#n7|?uZtCnucfj|n-s&FOl9Y$8ADn5==Zd(`vstM}N8D=No zNa6zF^};Mfg|%s6h{0H3M&W5_yl1LcKkON%*7vjm(#syAEq9M;3k@fT=^&Ya`m!_( zF*x z1_X3_PgX0O!!M-87@!JFWE(RO4}_#3tAz-ykj!yy ziPVmw0|Z8eeE{DDq$WBq0ZcFAIUog$XiRy6B_%8k+%w*s3dVp2Lsn5T_HzNiOCh)p zpoHlzri%+yNpz>hW`96cKm#T|z#|7$iTgulH3sR8fu>K5MEh)1+vJHZlwAO+79=A) zkKG)sQRuYHXS{=wZNlTEJj0C8p5=&3aS9 z+-V=IyV);IRSAc%RXyOf%M}Q-cx>KgrC)f>zywZn@c~WHcqp_o`cLPrph`P9b7=C5 zbf3?Pz^y=EFMYj$(k5jm0hW(nD#@)2->d+gU&(g^Zqa57y;rH*QvLSy;R37-@V>0C2_W2+}#>^Y_wof)<|4EtwEqy|J|vn(XV3a zEKCI*gUiLw2DSGBPs|FX;!dJgiaa07aWg%ejP-JjvV8>fioKZ+(hYE%iqf^ly#>;( z2L2g|QGn6|=|ka&IOo;*>JblL%0P)$=Zx*Cv7B;f4=o!YUUbVw6u_HMhmSFvPSfnBi77e2kK`aQQu5$$c)=PRor#X zt&!kvqLduHM@Uqz?_aw*sr?MkF zTYy(4nm6XD8_ABsvF!oK`mO9HTxX9s6Z~g2Cby&$4kq2=Ur9|^8>ZXw+rosS#xcZN z&Isk|&`+cz*-^QoA{W{;j)uULbs-r%x(U`5*D$l2OA+8|KjD}M@-Llz!<*8{C8IT> z?sM_n4~`)N6-72Junf1AJaB577*dV{s!S61=0C?z!|{qF0*C&o^Pr{(&TWGG)OeRd%C3M`x; zZV05_@#5%BDdNApbXb>@${_xN^v*}{34;Yes-B2q3F|@I8oen4E zfi5Npb!sOgFQow1lx)=hJ~^6H|K!&xUnmo?wDv&MaV;^HHl~np!E|1zEOEamoZJR$ zy?Bw=4kpZ(r>(b}r#jrc(ApL8+kBMx!pDPIP@7IxAS9t^AWSB*DxaH|Hin5{u*4v% zZ`({&fo(u&J4ot2VO(HErxHiH_(IheW6Th72iZ;}<4yrO7w`U(a>P$HAsZye|81~> zmu4>WL{^^ZOmWAkNTlm5Q7)n6yW%gU?mq!t=ReZrp@bOPYJivpm# z21$%%2T=g+d_yb7+LCLo;L^mH=@{(lQ45}8aMm4Aq6z;|*e62Cg$X;z5{gXtC{zWx z#Md*csT+bwPzAJP=CH9~t@$6KnLV`oWm8*Q*|a$->+c0>N+ydtV{#p5p{7ZMIjX%v z3sW|=tfe_V=$@j!b|~P5{SwaMHHV0frCKSc7AgTqp?u9TXzD~kr5(BmZHq`rS+w10 zG4+b{^#wKP`=nUHd$7TH;@Z6wR$N_E)M;*N^d|zfrhEyOxjK8T?9-WixI0lT(wD3Wy=uoIIxm;TxdPVMswEc?XIe zGJ(z>Y^JXYA`k(Hta3`nRh-d`&G<~EgxL|I=9R+n%rN=F3mMlWkVLO6@lScAbxkLb zbXp5)a8%Wz$unk?xO0Dur`FIo6Y8VvWuRQ)!N?tiQi_u}UTlm}sPi0B%A6j-l29RG z#H`?Nr|w$>XLYY5KiTa6APj3opxbo?^S;KO_IK5fUUmWu!slUbXogH%P-;rR;55rH z<+v`F>fQ}DPRuf5LM^E$H2<{4HsY@S4E7j>1{Dbup8p_=7q_U;D!!#1jhj*pMjQv? zaXH#5E>sdqNtP5;HT~VHF0nlT-24m2X!fb13mB!-;J;%E(0r%KnZa%6%b!(Nitkm+ zeGkR(sQd?b2b-~wv-ScD(pXYUR)KW5^hi2)BwekbZYhnz)Zvp)_+~(#)VoV#S#m1JqrV~Agqs)u) zU`?E2=Z;m$6=d`1*V;tllMN?SiLYWU2zYE zC0V`l%^1UpH!6tH(2^=o^btPk!L8zzYPJBu&egLG#n%$zRp=-`PtvI~eVtm!Un1z^8`Plcw5OlKnt1=PT_iiqGKY8M>#U%x z!BnnA5L1)(L&}l+%D^pgBG*`Ae)#-6zq0#CC-iHdWHp@O{A3w{z8R{oKJ7kms~icf z#%i71*=m?s3z)A?Yo3zpXZJoAbi(!8$?h6>4Q3lQJ7;f*D#P`A9tbI@UW;Kv_Rk$3 zF^o~@J^BP&1{>XW=Z6#Ie z+$4$_Z~u4r%4SqtWM)7n&C};Z5GVnxl;ezX0=*wM4}-;sDgz^?u8mZ1^`6g`uf^}j zfo`LqF+XJfAMji+e-%2rxoXQ~dw_UPj~7=B*!$j_M!GH(BF7JQKqHgCrWZ|pyLfvu z)WB^4Ej0}Lg}uAff@DNQK(FsCS%m7-NB^dFAC*5kd{qSK-=@<~s~-!#dwl`=1gYbv z-H(1Bm3XQ7)60*p9GUWky*+rT7N?sXS(?!gMKv;8&3ugWvJa{)hB3N?E^UHu;KS=zM_TD6I*8MWu0f;AWq2sQp1 zx9ryfWMTc}Y5A@h0yFkU9wr~A@az9{rr#EOvJ|SG$luOdv{A;^uQr>G61PtuJw80x z^IOIKj8GJPcz!?ZqV|E0e~G>cjk+S<`wZ=6*@ZpnMuzzZ+`&>9*mR zvzbnACZjp$4N*kDz5M}Fq2EHH2WVUz`Pd++oPQ;eg1@EkELD#=3eSei+kNU01G9n$ zvy0WcxQ9Y?XR`W^XCJH+O1A3wY4bTbZrnb?>gJ?B3csN+E!a9gml~~CO}S~Rt4Fcw zm$~(FoIV`7Sd$k||28XgS7N|+3C0e;PnB7*==e_7$*fCf#O44-%6s1kU-y|fA#*~~ z*f~?XDeZZ9CuTc;C2srtRElqBA_2JawRdh~S!z3*@IIUg1)ne`M8`+eOddOrl+ZM;R}y{^aZTtY+|&yS(~_ z42?t_h|}u*Id*633)tkd#nlh0)QKsxFuGiL`cbE!yeJp&`5biowB^W*Ig`)Ol%HQ% zQa7xZOm6ygg5eQM9J^WE@85pdfBt-AEnx4<*rP`4$aCb*_%$o_*aHT2o7f}|f3;GX zmha>s0nE9YE6i*lkhIy8-ep(9;CT7?XV=4LWCvKZn%z+Hn^SUcgqL+4foc6Rr?bcp zcX2`h5~Ch)OTg46zbD~;a(}u!?h~KL$9o`Q{ik@;ZnM23`8LG(PjHdpZbIJy$0Kw% zvubO1y3Fo$?LBAaVmVP=yCdbh1RF#GM7&VHVS4d}_$`}8{7m$sufP|= z`tOtNN2%9A>IJdx`0o6HLKa+%&m^S!@gx>9pTnn>37=rDnguJ;YDpJZ*3{*r^@odc z;`P|RM6$Iv%+fcr0iCfs+)_`5Ch0v0-4-*M&6BvBOdhDHCqdo}!&rGSwD;Ib?(FpR z16m2d$BSP(uAV}0+RBYtgy|LE_9vmb;YFLfevWcAe)Pp+BqT}1w!g4Fw}su9RMYv< z^==h*Eu^qvDTu_#JmPl*(v2{R$=88pGZy1q2NR$lC$y6d+eF#-@a)Tn&j_Gs^LY1R zCp2tpR_RaN_I!PH1l%DrI}?$tf?!9U{t5y1OS%vxx{M{vcWjbd6T7)K{oWo|nG@Lc z%9h%gtIztDh8_R-MlD_tkZ;=Rb+=YH*%|e>R4KKC<8)@0TGr0C$L1`S54YF98ZzyN znXqZD8-(^T_FV|~@f+yw6VSEfA%d?obF|kHm)WHg_H4%}LMjpnk_zmewWfBHr;P%> zuk9mqx(AVs@gaw6Q@vZ8Q%j6no%Q$52A{gl<~hnanpPw!6%pbV2Ji?G&msq?p%iLg z2XNDwWu`ES?;DL%RIIb<9+<&?DkO8W9CHVADIuH!Tx>k&Cznq%-h?4NAo6ZpIqENK zDn~mT60Q8bzE6gu|D5IE)a4#{prZl&wTFIr{)R1=Di6~$yt9KlpGg?(+3Z(0B<>0b zZ1}u=?m9q9c0+=0p+rG`KjCKm!e`ChrA|e*aYR2s(jE*q?t*|6cx|_a#oAs}|E!IGgE80KFf zBD_!w=;4MX3EyjjOEexeYWn`bX$pMxN$N-}6+TZ8jXgcfUtw@MnHTtRe0}*#&VNLN_i5Qu;aK+1E*PWxTrwUh^l{U( zPm81qoF_uF_zd{mS5QFLUwZ+OesSw~a}w=)1zUy5@z`Og;!CA3I581`YjpC7^)btQ z*&ls-RKhtR{ptjheZ1lqx;;Aa$^?Tg!CZr+QWdYXgI735yTTyQ7p;glBpJdW@cxn+ z`*6_*c0;nFX}gJ%ImKoAg*Ex#M14}%My6j;cFr-TGoEN)Se5j3I$uAAn1y{Bu-Sje zSYk>p|CDf!S3IHAM<)V$#Vtutv+hVuIV3Bd2x_C16l;6uksddD)0^VscZV=q_e0$t zF05LyT10K$n?qY~d#o-Fj=gzmXBX&~ZR|HO#=4%|i~bu{u3xt_X!?FGAfStN`Fa(? zz{4NP(WyOxRlG>JE@=VFy6X?QAYNWRS5_*>vP`%-E@^LE)}4MJi+~MmnEok?Kn(nq zjwgqJ58R#3BZojic+<|byz8ulN$Rui(-y{gxO9qC4w71WMEQTr%P-``f=a zC#Jjuu~I}CQ$Pt7MqBU!y9^kgky4#_xt)7@S7dF{qXXdUcWY?jg0~yY zZe5g6Lon_6X~L#p7DlJ7!0x}y-c6eRICz@KJ|0nvPlAeD;v()6g*t0A^=Kix^#ZN+ zDkPnKD0&xXH@)`ts8yQ17R_9;^4_(>QjHi*_a6gjZ~Wu`$oiKOW6>BCW%LlMD5Cnw zawg}OnL2!t!tNtVghP^3ZYNWzSS5YPUE~m*3UJQk5XkFysRirCBpNZ8uMlgktNq0T z>}fOHn`b#=sQ*A?ZAu5zDHIUWXjqsz*g4tRXqi|jnV2Z4VHo8dOvQ{{&4{SPcvzTN z*qNDF{%@D|GX;b|NEKFgVPSD`Rt_c>PA(=+aSjeP4rXz27BOxXQ7%>vE>-~|zW;9* z{r|_(B4TFcV*1|*Yw|SR2z7P5vGspk>3$4fGpn73xnHx3*yD?MZmvEaJy&wa`s0$p zRK68Nt>@xC6;x3K?nq!FXs5CvYc2_3vfk$)fmr%fC`k=e8Ebdh>4f|Lwy$b>Uv>6% zEV%z3jm9*efN?=9WV)a;9P4GWYWA}a?5bOxUBg$#bk6*jhQ;z%&xyGJL@g*w++}*} zxrHpnE#*x;Ev$(-g`86@EwqU|rBtzk4$(}JYI;mfLYO~kDvP$CK9v!5@gj=oX?xO8o1RH-P3F8v;d(Vg;7!) z5$8Vb*o+!i7=UWPZy>e_r*n^UKSix8jB9{ufNjQmK5#WcTY3#fd*5|0L)9(BX~4P1 zGDWZuy&j!jcn$jF>E|iI4FvHZanDvRYJ}y$cS59JfCo(buy&AJjt5?SZ+<_gTnF*T zQ}SU>B@Wa-jc%A%lpA>MDD@z>EC=lBe(OO&xehY^5b$!8Te1UGc2Du3pkxo0eeZsV zU%mrZ_TYXzt7;Fd`*8L^P%byX(SUyq#5>5)u&(DGekR^qvCK~;k-y~Eg=q`y-6`Rg z;ZgDBXC%l4gb*Zpz{CX-7xc#nV+Qy~8a(=REb=!MY3n; zf2l}@3i2%$mzG1W-mgIp9PP(0{C3SVval*(yUAkv*7iq5e5VG&cZHxPiA{Wc`z-1E znyAi~sguIfJ)Vkt4XJ>)`jjAPJbtf-VvXOY0ssM3?#X;Tc*$Hn=#>{__34W?B=Gbx zbUG!R{}hRCwE+k4&_Q{iM!xu~E^y*w7G`Xwl-KMafe_fYeYDPPMRl*xojPR6NHYBV z<(DW1{7hx;n25|bodfA;WfE7gq$OYBgV-o79Mv2+|IcixF-(((M_AlfBg zB!FEBI7i%~o?8tf1*9k`B^b&Sm|Nx?KI1=RXRdK4p|xJ_yc)*krW86uzZn%atlwsF-J#0}+KCM!eW!JSg zm8lwaR-~`gnC|sgu9|h`l&{)#eshp=)3SentyGvc^whBqJ>Abry=?lv=}~Jx?dNA) z{S#`bQne0~EUWlc!}PC5tsk9%9`NHn07KYI$8H&FXfFe=y>nI?MlbN4w-PZ5i&&ze z<7*~ny>fK*qEb!gU#w!?I-1`@!fyV6e@c$u{+@j^cXXEz`+j&F;DZS2j|cmHF&SW( z5B>fV8UVQt^6N`~P~Q&v`%81szaZJeg}uhv%viwILTmmP