From 446673f5b5e5af3309de080f81a7aef95f731146 Mon Sep 17 00:00:00 2001 From: Borko Rajkovic Date: Tue, 2 Jul 2024 20:55:29 +0200 Subject: [PATCH] Typing systems explained --- _posts/2024-07-02-typing-systems-explained.md | 232 ++++++++++++++++++ .../thumbnail.png | Bin 0 -> 72573 bytes 2 files changed, 232 insertions(+) create mode 100644 _posts/2024-07-02-typing-systems-explained.md create mode 100644 assets/img/posts/2024-07-02-typing-systems-explained/thumbnail.png diff --git a/_posts/2024-07-02-typing-systems-explained.md b/_posts/2024-07-02-typing-systems-explained.md new file mode 100644 index 0000000..7f072ab --- /dev/null +++ b/_posts/2024-07-02-typing-systems-explained.md @@ -0,0 +1,232 @@ +--- +layout: post +title: Typing systems explained +date: 2024-07-02 20:45 +0200 +author: borko +description: "Beginner friendly introduction to Duck Typing, Structural Typing, and Nominal Typing." +categories: [javascript, typescript, java, go] +tags: +- javascript +- typescript +- java +- go +image: "/assets/img/posts/2024-07-02-typing-systems-explained/thumbnail.png" +--- + +In the realm of programming languages and type systems, understanding how types are enforced and interpreted is crucial for writing robust and maintainable code. Three common approaches to type checking are Duck Typing, Structural Typing, and Nominal Typing. Each has its own philosophy and use cases, influencing how programmers design and interact with code. This article explores these three typing systems, comparing their characteristics, advantages, and disadvantages. + + +![Typing systems explained](/assets/img/posts/2024-07-02-typing-systems-explained/thumbnail.png){: .shadow style="width: 90%" } + +## Nominal Typing + +### Definition + +**Nominal Typing** is based on explicit declarations and names. Two types are compatible if they have been declared to be so, usually by sharing a common ancestor or through explicit type declarations. + +### Characteristics + +- **Name-based**: Type compatibility is determined by explicit type names and declarations. +- **Static**: Typically used in statically typed languages. +- **Explicit relationships**: Types must be explicitly declared to be related. + +### Advantages + +- **Safety**: Ensures type safety through explicit declarations. +- **Readability**: Improves code readability and maintainability with clear type definitions. +- **Tooling**: Better support from IDEs and development tools for type checking and code completion. + +### Disadvantages + +- **Verbosity**: Requires more boilerplate code with explicit type declarations. +- **Rigidity**: Less flexible in terms of reusing code and adapting to changes. + +### Languages + +Java and C# use nominal typing. + +```java +interface Quacks { + void quack(); +} + +class Duck implements Quacks { + String name; + + public void quack() { + System.out.println("Quack"); + } +} + +class Person implements Quacks { + String name; + + public void quack() { + System.out.println("I'm quacking like a duck"); + } +} + +public class Main { + public static void main(String[] args) { + Quacks d = new Duck(); + Quacks p = new Person(); + + makeItQuack(d); // Outputs: Quack + makeItQuack(p); // Outputs: I'm quacking like a duck + } + + // it can accept Person or Duck because they both implement Quacks interface + public static void makeItQuack(Quacks duck) { + duck.quack(); + } + + // on the other hand, this method cannot accept Person object, despite the + // fact that shapes of the Person and Duck classes are the same + public static String getDucksName(Duck duck) { + return duck.name; + } +} +``` + + +## Structural Typing + +### Definition + +**Structural Typing** determines type compatibility and equivalence based on the structure (or shape) of the types, rather than their explicit declarations. If two types have the same shape, they are considered compatible. + +### Characteristics + +- **Shape-based**: Types are compatible if they have the required structure. +- **Static or dynamic**: Can be used in both statically and dynamically typed languages. +- **Implicit compatibility**: No need for explicit declarations of type relationships. + +### Advantages + +- **Interoperability**: Facilitates easy interaction between different types as long as they share the same structure. +- **Flexibility**: Supports code reuse and generic programming. + +### Disadvantages + +- **Complexity**: Type errors can sometimes be harder to trace due to implicit type relationships. +- **Maintenance**: Changes in type structure can have wide-reaching effects. + +### Languages + +Typescript and Go use structural typing. + +```typescript +class Duck { + quack() { + console.log("Quack"); + } +} + +class Person { + talk() { + console.log("I speak English"); + } + + quack() { + console.log("I'm quacking like a duck"); + } +} + +function makeItQuack(duck: Duck) { + duck.quack(); +} + +function makeItTalk(person: Person) { + person.talk(); +} + +let d = new Duck(); +let p = new Person(); + +makeItQuack(d); // Outputs: Quack +makeItQuack(p); // Outputs: I'm quacking like a duck + +makeItTalk(p); // Outputs: I speak English +makeItTalk(d); // Compilation error +``` + +## Duck Typing + +### Definition + +**Duck Typing** is a concept in dynamic typing where an object's suitability is determined by the presence of certain methods and properties, rather than the object's actual type. + +> The name is derived from the saying: +> +> "*If it looks like a duck and quacks like a duck, it probably is a duck.*" +{: .prompt-info } + + +### Characteristics + +- **Dynamic**: Types are checked at runtime. +- **Behavior-focused**: If an object can perform the required actions, it is considered of the correct type. +- **Flexible**: Allows for more flexible and less verbose code. + + +### Advantages + +- **Ease of use**: Reduces the need for explicit type declarations. +- **Flexibility**: Supports rapid prototyping and dynamic code changes. +- **Less boilerplate**: Minimizes the need for type annotations. + +### Disadvantages + +- **Runtime errors**: Type errors are caught at runtime, which can lead to unexpected failures. +- **Lack of IDE support**: Less assistance from development tools in terms of code completion and type checking. +- **Reduced readability**: Code can become harder to understand without explicit type information. + +### Languages + +Python, Javascript and Ruby are prominent languages that use duck typing. + +```javascript +class Duck { + quack() { + console.log("Quack"); + } +} + +class Person { + talk() { + console.log("I speak English"); + } + + quack() { + console.log("I'm quacking like a duck"); + } +} + +function makeItQuack(duck) { + // Here, we are not checking for the type of the object, + // only if it has a method named 'quack' + duck.quack(); +} + +function makeItTalk(person) { + // Same here, which in our case will cause runtime errors + person.talk(); +} + +let d = new Duck(); +let p = new Person(); + +makeItQuack(d); // Outputs: Quack +makeItQuack(p); // Outputs: I'm quacking like a duck + +makeItTalk(p); // Outputs: I speak English +makeItTalk(d); // Runtime error: person.talk is not a function +``` + + +## Conclusion + +Understanding the differences between Duck Typing, Structural Typing, and Nominal Typing is essential for choosing the right approach for a given project. Duck Typing offers flexibility and simplicity, making it ideal for dynamic environments and rapid prototyping. Structural Typing provides a balance of flexibility and safety, suitable for projects that require a middle ground. Nominal Typing ensures strong type safety and readability, ideal for large, complex systems that benefit from explicit type declarations and relationships. + +Each typing system has its own strengths and weaknesses, and the choice often depends on the specific requirements of the project and the preferences of the development team. By understanding these differences, developers can make informed decisions to leverage the right type system for their needs. + diff --git a/assets/img/posts/2024-07-02-typing-systems-explained/thumbnail.png b/assets/img/posts/2024-07-02-typing-systems-explained/thumbnail.png new file mode 100644 index 0000000000000000000000000000000000000000..1d6542dae477ed5cd77fab36b560ecb4fe10c3fd GIT binary patch literal 72573 zcmeFXWmH_SxkhXjYHV6hWZ3z(?rGcd)=^ z!fROtxWL;j#OKNb ze6%(O>yx@#TiH1Bxbjo|J%R`L{Cb;_N&tcMKmYML7@6=WiirK^P~b0qDl;(Hj)#%a z#l?leg_Xh9!IY7io12@FiG`7cg&r6|@91U&)_0}1aU=uY^slcHF?KX`Ft-Dn+uD%6 zzFObF)(Ol{MfHzS|1l*a!+-pYos)yr-#=nx$Y^Y3Y;9}1Qh^V^UdLBVz{}QY9y_ zt%JF~6{$KfLni}cQYAAdYXcj7b1PDMQf3xD#@Fdvng7%K|Gx9DKgsxiF|ogg{gWO3 zUz$h=40bR#_=lNn92xZgzT@<2TL!@GjQU2ehGO~`L;c6Mc!Z1`|7qf{EBR_{|8I8y zQ@uX0(|2$*R&uj5=BH9LcC>YJFf{(>`1sEk3Og9kR3=RJAuK)PT z|9F#_0q`Pr7Iqd6c5Y@iW=?K)E~bBc=kJIA<10$GPKIW$%M$qSnf~{^{~rE-p^G1u^!54;&-e9$W&(l+E}xR1-o5^*|9>9- z?=Zp>V9J-5qh%LYB}nq%`6^quSbMfV8ag_(-zR9OoK#<|6r!r`-)q0^!#oUP2A!7- zVw)&Z$4*+THn2@&O*f6&^$mmJ=2E%dH*~Yjc(CWVph06PB|W_%6T?~_AsREg_09<1 z6=J=~aD-vq&A41~T#*K$y*dyCdZ!Nq`rFeWUo^4*bMyZvgX|!I-+t%U(}gSvJ>=QK;;G`%UHacVRz)%fVX6jGs*l#YQd} zTZ@l8^6+s*T7~363U1-;-n+nH?(I5WC2h^p632QThZ3!a$ar(ZeIfeA8qLy%Q)KWA zZ$4Au*WP;*bG1z3gY@W}t2{1>evzR~XPVJ{C0XtC63YW{&SM!0pzbi^h_v;~wois$UBa7Btd7R{qM4 zEv!FWvoD`-md`9-)mP6lJ4y3kFVT(2cGP)T!)Skec(J@pstBppc-r}@I?XorWEI|V zdH)bJ!TUIv+3@gtmiLeO#Y`uYmbmmq?etaGbuN1`moB$=tbj42k@F}@^g(t?TSv7+DKy@zJSm2;siB? zz``WAxLmrzx)&o}MJYQ3<*587qhn-}TmJb#_-Ti61PS8wRQ23q_{bEGxlO|`YLW+LIU;xou%mY)g9Jk$Vynim=4BFErNwbmE z?nix*@rcZ5+i*BZX8X*z%-`>iE$MaQty4Izq@#e>JqdR=Qsm8@!n?cji8EKo5;A^N zNAC4}U|2K%BmO2hknZ}4b4TMB&wluPEqJr2$C;#4?@ny_@^ZEQz9YF>(Xvg4eJPHn zvTS-ic6-5bD{t;(p^_rCBd z?E%S08fg~JKbdzMmDfWp$JWFc7Mo^tyAmoA>E}kNr<%(^*p`%6syfM*)0S9*Z;hJ& zknrXsx1w6~1Cg{?vslw&cl{pZ8eh9;B^4404`yA6LnES*ydPY!cE9wfMamTPwj&vV z_9bqVrVw=t;<<}dv9dY8j=N1lX>QU+!t|5AJIK7JZG7kR?$R!SsDPyOO`A1?{6Ms%(5sXmrbAwdZ% zg@D-G`F)L-ZK&Ka>#5srFXSiQv>W$&JK04Hzk-4v)RSQ@vI;N6+Tk3P(MjL!WQi2A zipdb_tXKcyze&BjKb2Rle|Q`Rx0}-rZ=#em42pbfyz>@uO)@^F|0&l<4pNIsw^2_$ z5+f56@GnNaz-b)8Q_6(QRix_@^Hh)(4l5_kjD2yNsl+o=2Tkr*9Tr%^($a90Ebn?Y zc$=o4rsB~h*Kc+yc-0xit|T=|XxL}O*QEY1& znH;TVq+(=qM4S|H$0$FptWe%yprrGacUCOrxL|u$OmH4w=(fL;+yaRdR(riDSkGH} z+Oe_-F4k~p@lL9p$;Sw2R1ekMk2T>^yWeFL(|VnXK3#gvU=o;nUdvaF$Vn^eh*@N% zP8FDTa4VFqxGJvVuDpc$`^bvAEv4{VmvKBFsLK*BOw>4(&vCNK(s`eM^Y(sWlco~q zNR@rvZ26V^6^W=~-mOiZk%+=Av?Jr0C_m`KbTJ~p^ z#VdF;$i{G+K#gsgPw<=9qUXnClDx~8{j0M@n?WEE0e%LBjq1A_Vevh`>?D$3OE+J#K&26#NS8J?n;v=pY=zsy^zM|vJ+fE znJ`^1r7#^gC9=zMb^9NsZ=gPbX?--?XV184&Y5Y)M{4q(V{-U}2URmlr~J1GJ{B(` zC=fRiw>FC$uDXcB*5p^#l zdGkpnSRDiQW;O;wJkymiw<3G9?Z9*Os|-HnWm@k0&_Qr##j;b@un8a?&+FFKQH(5X;-P{aiQ=#g}k0I9#6RO=V4R!$BH_lje|qXH|^-@uK`;G{GQj3pdmZ z(L zhx8>K#igjWj1we8T?!-dHCl^T$Z2E@NrEb=rY23#j$AKwCc!8Iak?lU(){m z)-)2V_NBtq9mngjR-EmmTJ>r>dy`19u=7^OmVE!wt&$^w7)dWoBLS0OwkSP**P`yy z*XMo~csu@Vz0+wlN2e-%^`h0Vlw@6*>|L@sZE2Ckt=mk7a7m@$>cM&U0-QGeLW{G_ zvWr@&%h61h&VWtO5|e}P%9B|L`M#EQda-@{vdPR=_CN!_ceS;A?P`8ShfeB^8t)1d zT@O)#DoI9mPudm7C8oxEmNt8z{cHDneHXolk+u_>ghaRApP%U$?DQ91thL*VmnBql z#5D|ZeRgw=O)rMO6(aSqZSY=Vt?9wa5ZRMPN{TlPzdZ%Qa9*^=JAG~vP!ON*+@Hs7&E}fAiF9ng&YMfRpYFHvSZ#PINGfEk z+^&p{5Z^$Q>38?6q^^j=m0{Ff}0D0IXm^&Ake6YfVeRIxdhBZZg{o zdsVlL3&{861zY6*TGuDisGL2L?bwtvwL^(L`a^jPR%_fYFFqMM4?ke3ttnS+#FSR; z<4*O2TUf9oIP#jDU2}kpyGcU`7-~Hn+7KM4fnAHaZJ(;4Em+N^J7jZ6z-<0RHYZFKa?>(TZ*^;eeC|!+W2kMc`fOu9r79cG%OEf{RgvX%gg-~RPmxs z?f%&5a*1bHV=wM?skkjGTX)U$GKTox^Pza-UHg+>_4(u17`8h3$e>Pfx6!vC@f*&D zi?c9mkCgVEYjpfr!fMpIUK$8OxJlMoLkepWi{Wt;6?*<@_8-d6XzSDAAiB~5V6Yhh9bFeF6bDT zV6FXzYDXgKJe*`E;?kKrx}FiLGtz3Y^Ygi>UYzCUUcZ2If$qK6K^U#uh3|Vt-?l&0 zB~Bu)y3a@C-qG=J4N}B_zGVB^N{Pbx*j~L*+bFB3@7$=O8ep^HD6x1$!mec#EluWbi*rlzbZiQwXU8nvk$lq|LX}02g@B5za`~*ys55) za>>~9^PY#d_yH1-wbJ1t%#9H_xfo3Ig znpa6v)%Lb+V?`a=hm%#GGv&qhE@630r?gVA@`6+Y%2feK9^S5td15Zyyrn_{sLJ0F zP_;mIf9k4-_t1Ur-aH*yzHvA2S?iEGTqDf_Kq!`#3T&26FDV~7Gio0&TdL_$iebl! ziZeVRWl24;Uqv^)W@>FvT@9};Yn_g5ZAJ{bN_Q1-I{fBaDPzY?bpIzW`XD+5^9-x0 zN-px3bgYF-()lNq2@s!TE$g*V)N@U)jFC_UCeGLz{tje?Z zMo$qYm2e&vHN@i!R8m7s`{kN6#cYC1@+nJHISm&PG*Zeki%Swh zv>AvD2G~W1rDW^a6g)_;hGZG2>_a)L zMTg5Y2T)iZ)6WxA2ayz$Mv9N>@~{JJ5EE?Kv`k!+q=ns0IUcRR%ICj78^fcY9ZSI5z<7Ja<>McvqpUH#Av$>Q-zlIU|) z-Z}EHmC5ThGRhDs6jg*A>#DEW=H6c`S;dJb55XfiI*+CwY7QdrN4YQL0-zamHLe7Z z;}*((c8`}zI?mLTKCE41_DBAOHBz^@?nj>yjzkWRV=dYAl5uSb0UwW{$t-p4t*S+* zE2i6he+udJ76=j%(5UthN%p@bo1S=F*B6x z1c!Oo_UZlF?sjD(VDH>N^)SXI;FiwBE0^#<_~xBVzoaD=cUCr|k)!l=ZBqu&A$rdK znmvqlTC6v)EJh(@{0hh{^c=F;N^w;{bS5vT9657eUkkaVJj~-8lMk9hx;G0JA;b#A zH~GqVlt+B7GKdhX89?VLIX6f}XD}J(lUo>d5+a|*TAN*;hysG^-e8fKVo-G7$Ssg| zLfhTKQ2WWvtHnFm23OszXcUS&Q3XppsMWZ3e#?3geYNd}Qg3Wk0x|U#?|B+aPG|Oo zCm`e}bycjV7SbP_j;`>U(@^pU28*~DU)5XzC9ffZqn6yD@l0PF zAhVZ0kv0JQG1Gd_6Yy5}=!Cgi@d^cp)Sz4@vRzo&?gUone6gg)^{ntaVSW%bJF)nn zh%30EoE(5c$U0fcvMe-f=3+ms6xpWs#!tL}IK~~K=(RMYJ zYI5ls`Wu7>X1%K7?4VE3+@IgsEm0&&J4kxN?>GOFX3%ojiur`_{uBCV_M{EiCROzY zD=bZwQ*90N{NvV6!8whwlTnM^Wcn05{!@r_Wg=TfGSTU{z@=Bm#LdH9kq=Dn=+B?G zZlW9LBdQ>!+!GX=%nL#lZ1=y7Ic)6Gus$gv-mtD0PS zpv*%=4@7+6ZE4qtVG;|P%6|FBIrj(x@xvq z@e_aGw1jIjDWK*W38~h^^sq$GPL@n0R(I zF6??WS99+J%MYR&g0HlfUEbZ{Yqzg zk!`==pUi=Re8ltKi6y@uMm5emG^)Ho`b>hXSY!O%l9Sqn2j4M#rLjkaOXhv6;d#{( zghH7mmDqodseYtzPv6N9>dvy3l4l#ULSo_mpf7LC@BP@Q?SI^VnpV_Jvcmu4#r?=e z=_6@r8TH7BkVy$%uOY_IF^O*9{*vFj;Y#C;;7#6%cC6YAgQ9F+Sa zssiO&YEfsyZzv*!YQsm4yS)S-g|)_y!69K@I`?O6-WPk?A~%R5OilXQZ=Y*+xo}~B zN^pp3+1>tTHwps>Tc*OqhE`j>JPkh2+&%;s!o1MW8hz52gXK_(TPr{w(TlUQrP{A+ zG7;ro;Z_KEJOU$WQmvmyHEN9{yK;f#yW@rQ)M3TiLKutZWEZGZVwiWzug%xakwhk_F$z9Rb-D{(AFi zvVlCEBPZ%H=JQ1YT;)XYI8+B+h0-5o?XJy6ZCUW>!bMNlX#shAQQzc2&F7qWgTloC z;avi^MZ+mdgXF3}FVw{cKgTg`*QZH!D~%R3!TZtlKDo4yy?VeL+MJFE6=h)alKNC7 zheHA{YoimBgEI6H0cVvAp-oDKagIn|kSn)>k$$YzzC7IEonk~n!d5#Sadk3LU)&$q zMRs+Y&uTbOHX(0AcDG{d+MPlLJ3K_}HpaGHy$~~QH&GsUR!@Uf$h>2km?mtc^pmUJ z^Ur@HPsc`y$e4*Bo4p;w5fEZK|5f#ogOR@fWS9r^PAY1&Po)Q@`io}T;32XEf>xt@ zG*HUgyr#e1skI$%lHcv3etv>5ZuZ;q{m_Co2PGKW^=}v)Rg?wj6pE^p;00ip8f0=R z+IjHRdLvi+>-+WxHba>s#%yVbDr^w>#&f|A`OSCeEwOP*~)zwl_={8%)=A((6{j2aR(D+F)!55@Z2$2ezuQvlDVwWqio_aWYHCkhI%mU z<;$+SBFMweyK9A!D-`?0nNm9}NKuK&_%{rsp^w>PYnc5P6)@}1HEo1Og%oc-kuqb3 zq;f_nAO5NX!&5?uVf?0bXzO_Ua@WHfgCw4SEw6e%DlH$eu1tXv1XZCSuq+n$VZ$*3 zOY4RW-TQI}YD#hga0`sJmyz+~<@DD#SajwlWK(_damM{yJbdlFhPN{w;-beME!pY6 zn-h(bdYLF&ajSw5!(c*5KL&N+_I?^vM!Dy3@)v~%z%3hK<#O9#U&gsaA5Up(`p z3y_?RKm^e0Pro~%Pn__GJ>qY_of$w)hG)yl?hBsgGZ!PR)$hyhWB$Ie8{TUg5~<$I zM8chD*lHv^{bQo>5b}{SW*WDC0S3nj18>HDpAffSHN#DII%fxc+{K<2TLtk>-Q503 z@I2jj*1DuCJQq)F$uk69Fr@|VEPu7b|1UbXS$ntVx;y!ld6*|cGyTF*Bw3Im=E%vg z`$h>*f^k){A=-ONW|4()x3-SJ#<6_|sna&BT)ZWq|fx31t^^H8yt-X59_KpSv{|K--p{~^nn|{{`&_^r6)l&~@@(Tav z03VV0P)e|d99!+&%)dv1C+>Jd%HVvJot-QAQZyU%6$b_>kg|}KTfMH@|<4oT1;<>UhIw;+@k{u=rHBHkyQE1}dSrj6l<2Elb(Y=ztQq}r zN^k#QE1RpgJ!94K@&_eyJso2=B$6&A5zj7r&YZnZ`-6jt6W;u1H3+GCzM8j+#+MC| zW4W$R5`?lCzO`~UQEwSf1!X?Ae$YG6O0P4UO?TaBgraA-Q4Vr$V@2T&&Bun=&oviu&7lQ|>rdBvdQ+?ZAYOskb z6N`)!HHq{l53^>>{K4F-JnqD+Zf9g75bd;7EVI~T4T?;21J_NSn$V5mAdZ#x^~?7~ z_hj;)NACK^b-IsZQK(W{;oQnYFr48I7Ci#MejmEa?F?{9XRZ3|eyZif?aF>UyYnov z#_E{JrO?`-O~7eE=Vn*AJId8BeOwQ5-b;> z6a08o_i0f-Wj=|?EzY&Jj7$EiL#Gn8kYFKX%c~9_+t_Ws$o58%7uhi@G?YNRka`l{ zwSZf(uFr5O0^E+D&|m3tGzg>+B4!(ed@fE59Nv4-?Y70Qxo7$J!cVz4fw+a=$tBBR z1sVr2;$g=DWB0*-I)Rx>$_rNM4bryma5u(d`Px?*S9gPoXi+L_?$nQ83Bh@Oa)ehU z6Z-((=Ib~6Vg${^OOH1ax|>^3j-&VJXVU~P^l@kmO?R0+FseJCcVA3c)#o?-pZNil z4aksOdWL5T8F^=Zj0uO7gO1I~x;%J*^2iK6SJ^DND%-{N2emJ%tVDiN4AZFOoH9pU zcD)O=#1St#(isR2eBRk!T_n%jkCB7cQHoCB+X3o7d%S z*2I-KhP8QEGjc^3aJN)W1>|0U;u31MMoCSy2ZJy$_oU#90%_q}g2YVAD)6e*LQcJE z_3s^LE!pkOhvG^s`!T-WK&8KVB%l2;C_?(ns^@3(MB(jPnH}9987sBEStz8JyTf`7 zt1{}pymT4|!`^(L4W(FigjVJU@`iq_59m9xpX=!jp;@vb>m{pVfPgSFz8cU&fwyH< zy2lkcZ-wGrHo|aemkYDDOaL`4!CLJ!LajDB5lwNULfGI{Aj9v?EghT4>Bmj%u}zR# ze%4?~=_~l%HoTlU}3v99(`|yD%ePPa~TPk)kfu80jZ3ZiC@AA$Q7eCXDMREb5 z2-S@w=IS8xV=*3(hQ8-=nxmb&#YlbWgU*i>!tA7($-b2B8?+~y3q+sDJMQ!-J#bq* zl5^=<%;|l<&Et=LV;}m)wS40LQr|i`SzC5e3=;dd@En zxUVt91YD(w<~z5QIx&R?x4$VUZOFR6X{E~%Jc#=$>4R-NpwTjKNZI7EdGO#KmE(iQ zFX`OKszVMLh$$sHOpKG){@A^%e?g$2k_@K@b-ss7bluwmR*jUqRQ+uuxHOZp0QyTP zfo&bN7gElxo7;=|hW$_xKL!nSBNq)L6Xt-wwRS152E32+L`2u{-bpO+7f$tk z5S2@&Z^B~YDd#wHF$;Bo)~-;?4gx4%Wfz79Oh{inUErdxB=Y9BC7)wC9Q)a%B?V#Q zKNkip#eM}RP#|x-_vk;|wSRv2eoqJTTjSyxi&K+TmGYdd8Gc#$nwR^Wk2svR_EZw) zdb=YlGH6w%_8kC7&~x8pmsyqY(JWn`>LDOX3ArF$i^Q~Zl}ZvSDj3~OV+=gWgHH79 z1lM}F-XrBpXRa8Ie&@GZ!2^_Q;MNej_Jp81gwUxmPw!KBPgm!Ak3<8h6nm$Zc1G81 zQmwgn zwAw2{Dfl^VcNazmH*QIchCM=#nIb!QNigsOD{jjzTcN_qPtj~U*Ha^UduY4moVTvd zi7z*kq3LBxtSX6E2!s?e)|Qc3bZL`D+95ybKON!W2k`fYr`2tJe_)^)6*UQk@7;`@ ztoo?<19q0&B$t9XRvu8C6+(#E;}fB6tZ*j?tfUn@=f#`?NcSGyZAgIT`0FWU{rTbe zskg}H013gJEZTxYPuU!5oWlwFtTELQ!xy6KT!=Zcj^6?5nBDPJCFMS{HT_`8$S^iC z&~vA5*31|ES8nQ`ohe7x%f05VRlFg}xSd!ESF;}B48ZgXo1We(?xfAow{&_v6rg&1 z?EdCt|Ca&dKAw;tMjeKwO23$36&~9hvJg7&m)b?*RcOTCyp}^y$92A`lnMd0he(W; z7h*oDk8j??-K?tR1~GGIb<_EuWbZeuHh5piV7q8dnX^q=s5O!8?GFD{Y+pAYg{gLw zM~%}wc1Rr}+U(_pi4g1}mqvvxs@=>anB|o-W8t4RY13@LE#Ku$8G-oyx^;Bd2)_=%EcifW@ z)<|OUtS<}LYS2iL@@oOCI3ba#(@-#vh*&OGI-=mVsE5k2b$?m^+m5AZeOGZLNhd0o zHuFO=c@Qj~AJee&*LZaC+KHDY4ATYR5!)+!pN9>M+B;IXBv^c8qpG(ARFRLebMP z(TLhHBQIg7hodcn9@V1;-z)OY2kPvc&|5-pu4tjL7Jf4=p^!uBhVMGNku{UH=Hh`f z$OI|%zHW*Z7|yk^5vey=3k&fq z-G;#Zu`0biR%ekkjXKR~Mavsz+N`#zWBUk)-`l+&H;72 z+9Ibet7o`^)soR~$>W(2FAJy^C0ov7S1Axb96H=BIvM`gnt@_l9}#gfO~EJW8|%~r z3?hQ@x86pc{(F3JeN{DVnS1lI<9LSv4eqmE4&*+thfcs3FMNlau0V~sowcM8_8DFu zpofnex+m`~RJTM9&{UJren-zHOSH%f?7B z#vh=E3tLPXKwIb8aebsI)NSgmg0DvD>2PUas{4TfktEIBcX>Z%E9z$3qcQiwfB^QR zN=CF8xmbBal8U*f-OdN%wsong2ZAdet?E3ktkpzd=l7g+Ii)$*Nw~HP21!TY!Ma@SCbP1t3cYd@);X$G`Q@)xNYGQFBe2OEs{25ieYv;7`m}=%qA-@=* zvZRQ*bWeXr>bA8po?Sk!V7Th*-jZY+Iq~5VXGY~^!`)t|WVo)GfV^2V=C|5o>-z?^ zhKgx3G$=Y#vT|-ei!%b2TyYL_+IbtOimDRgjm+?|cP-?>R;-2@9uFp#G_(b%0b^>z z_sD`+klq-^oWV57d=rx4D|rE3{}93ytRxW-_8d*v&R5e)k~V^!0Z8w`h?ty~nWAb( z6c^~tCqoyz#Y#-7HPN&L2MSdX^z?>V&^f_t#2A0Z@WoWFR@K{fro7TX=3t013l)_D*rIu`)cAgGXTM4#^LY7gIA_Atk0 z<;i!NZ_8nT5FS#3i~6ka5db~~ERqas(&;K_-}>!9zg0*a7W&(V!FT=l7~#L%+7!Rt zTg%~CEcDfT6{aAmjr_%&AvIkTaw3Gt11Bc>(#Nat6x(?m<5?C2G~t77dK=iKO|EMf zgv}W8^yhtV`9L3@Iy<77f7M-JV6*PO*x#M&y8IQk?dWzEM0b8RmKvQIPkBd(x&7Gy zre}5tOA1s$OOF;WVRJ}k+es$$w@)pDe*zTH?34ss26v?SDG|yoYS*DuIzvn*{~Yr( z)}Ryg#F7N&*vPy4#Ud(Bq!>iS%{}sTm6!qAz|YBEX3$YNJOW&f(Pl6ISqKGHd?>U^?5HbP;Dh^-#E72ze z(d0?9pd22Fzz6k&?wt`VUaiyz2{!Pb*OEu$@&|{SjCa$qLm0k5(Orc%d2Zb5LtZj= z#C6(4;sJ;329rvUZWZF6he;zsi{ltfR-3YxtVzM$vB{gB&Fe} zM`RUUDbjv%@dOS`VTOKC_!ILs@I%-5=I**(a|qiC$48n0UMhUP#Jp%y)VBTID@7}O_-<8PYoBP#qA0i6Iw&nx$-2Uesix4X|}bU3;So()=p?*>0N~_KEWxL%1dz0yRcu|38Ur=(K5}*Y;!?r)@LhoGVLxsr zC1#-8ul5|FA(xSRO+L{LLnT!mP~yi4z*0ab7#k#LJydp{hDbx(0rcmGhILE}fyqYJ zrw2f=G(D0S^w+~MGbCnYuK}e!99JNLaDvX=z044b9h{q&&+a{e6x;WwUi!OEE7-fi z0^Jw%#i^Kxv#j)c6A5R;oSB-sGE`_X-1qDQML3|5pcH=bw;B24uSMXy{Exs(4d#J+ zPe7qUiPPz#VWjv8k_A~mp)U=I#BlJB^MJ0Z$(Fqecp0Xk@Po-xT=2blene!V5M^X} z0)(IIMZ6bt(+8HI0m`#m#+OhRp9@=seY1Qjg7X_&LH|MTbJe!GPL?25F4j|3?XIkT z{7D3?UaT?JD1exi4c^_pJR%ondPBPClho;K(y(V@zsaZ`5L2>!-ZL>2tmU&FEk{~%tfQ=Z3l~iC)Z-!Dy z5eHDuw7FN&7QlB6oIn9ceBPjGboBgiUVdoL+nsZb`B_X*r_uq#*Z2-l=YiOS1?axW z>09t!Id0vveFNmiR3KD%Fnge(byP+}+k!6*rj$`p52tASulj2=!O4EPIjFVopL)!D zPRO0n!{8_`YtJCI-msaS4?L2Cs_YlbU1{%Ad>w$|i^$ckc1&vE<3}HZIAhW8+6o2( z7(PpWiKuB2_k8Z@*qu*3Pp@4NLp$Y--%ceFW8sV@&R0Mdl*|V6z&;CpanQq&s?If3bo2Ax1I=9kC34$_? z6q5QN$jiUy9c~=6R-U_ScrZ#(@#LZwblf>KK<;_-m8APp-V^`Fx9VFhM^4++5wg=; z211}yC!&1EN&&LexI2|5zm@A6=72UoB}u>(r!#(^{%sV~aq?EwU`H&Q8cGA;F!Ubs z5RCnR@BRA@n^jS2FCvfEFDFZF_^FBUu+JHFy!!RrT{TFGvSP0c><|Y>s51V~EWpWu z4I9w7OtZ<6L<1PZqeM-i}~z*XaI2LIlA>jx$%6#Q~&5ZipBOZ zEbVG7#OCx2m+$+N=_L6VDB_3>Ejj3@Tt8)nIJ$$|0h^1GRJE*M%o37D`6+7~Nx?Ea zkJVBi?OK+9dzBEQS}mf*UItpe#2a{{BOhYZzmuYFUCQu<)dz?%;DlV)+CZdj;526Iolx(MCu-`VeHVizrnWpl-)y@~A+UV5q+;q3UCsgEC zoEdcl0d30Aq$5C7K}9arsQ>C9z{Z&vg3)uYftSXXkslW?=eP1?2o4cZHmW;J_ZFaM`u3eibWq9qda-l9Kht6*X(;KB<&_ z0v}HdAoJc{$)@HAK!{RRHX;H`^ znTK-yWszEsK$jmO6leY!V?!aGjvh~T`Hj$`N$-=3vboT&n@t%&-G7;%99Xn*q;@34 z(KP21)gbXEa-~DBw7PoB-x0H)a%LF~I3aoU+J-*0m*Md+sy9jCl zTITQI8|?2s1{8s9YVW>^6RCm zu-m*xXnWe6=+DQGVQKv#`E33dy6&X+`o9$9ZSDA3 zbR@ZOHED##&Fgm=^fy#KBNQ@R#Omb%Xpkx3jziqxR$KH(lmy8pcX5Pe^ zp##}}8j!Pr5cJI=?8`Wr)siizcBEZvtr*~!wZr;v@pdKZbS4n%IbF4%SypjRtQ z*ORSg6|eu{%K|Q2qIy)UA3dExCb&ueIHv2ACtjJo@dkDC=5v?;f{l|LD?xN-I=0*3 z$mkY`uOH~pZyc^2WI_8XycHvTjly53uk=Y45Mx<;)k-MvGIN90D7OarbApJk=O}hx zev{qWN+F`4rnQo{I5}+hK&RA2!K#e&Ep*Y(S6_X*a|sY-dzcT5G?=hXX?U0UHX;^Va$*BrS%g*r27T0R>tJx z7_~FYmu%hOdd*sQg>dY1^bp>qP>0v)}!HY_|`Y8?tkcYY7jwX&cOz38N%w? zDrmnNh(hE53dg_2&kb1;^(1;b-_27b>ApP}_aCc!np0Go$QX79j#e=pTmn3_2-6G$ z|EpcA#LXo2^XjQ?@a%vK`ybc#JrbhKz|xqA#m)Zc10>cQ2Lyo$0xMH5bK8Mf40;AZAz zQiVSx9k&c(15{^Qrl)}dpt-@qS8YSL-BsSCcpC24ne(i%@S;n-M+ z4?BBKMr7J^V#2#hQmPUlUW2qhoH*LTX;}#G6DX*74jQ}J3rsx&iavX20xAqE0GqC6 zrjJ*K;F>3HbOJ$1mO$wXRM8ff`|kPWUSziyeLjBNX9e_Efa13$E+23aypArKa6B*| zXnP;;Es*JOZNLD&+OX{O5&lB(76dC+9*WtsqPt8=YX{{U&MblS)nKGo(1#c}mLcFV zSg(-2i=heGRMTb!vOg@p{)s&e*Rl;^QO7r4j>;eRS`JK@_nn-mT^25D$&6ksCGn3~ z6nD25UW?~|3KlbT5yaHOBx1c68#r%GhckU(`HojDm*e7!bjkXa>_ihc=SKB?PjW3F z#;Lj(skQ`Q`w=4{bcYZ1Kpj<8C9d!IaS=k_{b2ftj+#tkB1#1U&Yqkv?>Zweus}V- z92Y686A^3ChW;e<4FtwT~6d7TV-yXgL_Yxntvg713ZxoEt*1}UTI#UyUav}$bbu}=vBjfD2O-(%CDt*Y|5eKT=CyOm8h&#r8b?l~t(Fa9~TJrB? z#`$zk%Onxnnoh|Do@zTq^5OIK)gLd#8%TNSxv6PH6o|7ic9M&z(<%mNhQiYxkB<_4 zpwXgkaM^I0Ek|f`o+PhjW5XqzyvGbc-t>(|hUio0wIPt*-r_Lp+YMXYZXBNn1oz;< zo)e&d4Xx>KM7bgACKR#f1@J7SNLd(b#KzyEEGM#m)vfh|fFkud_f`--(4Yxq3Fonh zr-^&l=8*&YN?*1%Ef?KkoRU6bT-ape;-`Mn)2;N|jS{($9rt%oJ$P-|CR%Sl;Yyey2JW`5Ka)IVKs zi-Oo>qiG$XF5C8E_+pM53%;FE6`;6lt#-Qp@R4yS06?#AW7!L|$~3p0pHA(pXiGQC zYkyDD=)5Ur6C@BnOo@)RLXW?-CV6K*7<;Y}t2LM0E>KT*?^6dU5or)?n(pT=(1nN{3ox!s_tV8s-`}*3cGqHW<)|RoFL#s?oe*P&946}mS@*htPWe{j=t zblrXAV)WNS@KIkm3j-$_-ga@3(i#uKF7q}4~6gDJMTB@AFNO^ zU9uFnkDdoS(PAUmfAZXCX|b?+dUFs6Rx6NdIr3@uGE*IC?_7@=?j zH!opqmL7w6So2fTB@3Mh-dwQeU zHTnJB*o&2tv5hD8*ARz*d*p8;I;MuJL?V9QvIK&MEBy_T>2^e3pOv|Um@W@7u4Jr9 z30-X_fFYuukjn%I@LI&W>nNOtm8!h5tKGKnIh-IcQjXzmO>r&n=Vh%QT$k6|d4&NS zdMIF`G*;;b{2H1RshTAlFqYIPcWtb}c)#C&OU+)`x6AGD)tH})A}^;Vbp)LgY*N`1 zGHyjw-Z1F)*BGTQ;r`3~a`<=pxay8GT{vxQ%9j1dM0H!O-i$pV#OLO}1GWg&vZF?| zjGwXv!j~4={RS(+=E&bcIY4CNoZQP#r-qLu{?{VV7MUCb=4*NSD)5xJ8?ND^#agM| z0gDK+`$Np-D^}mt6SfnqEPcOSd2)7twiD-%TfBE4SC0CH5E5HOpK-G!6UaY>4F zKjmE@{++fpz^i8uax=jF6WZOsCWgD9dZ9MVoFBA9EM}F}rS+gPX#~-Wjdg*5kAO13 zO8TZS!adN~AOqfIN}drGn}XmHia_}Kx!CeVQSKUr#1&+NVFyAkat5NXrnm(4a@&gS zv|zq5VEI|Z=F=p#d_>ajBl5(k$dsmX(@d2f+&)3FgYCr(odnPA3j&dh4c2@>Xsr6~ zy9go-l&m)O=$?|gK?B&PoIg|*HTWm=#118DajqGq1MvkJIp8RMTj3We`~lx@AJ zm!>_fANS_@pohm~BS&skbSBxpg`mKG=lPS{+!{JJ z(!M>HNex6)T1AqO?=jC@eSpGot_Pb17P%tTaj|ltf+$(Rj~OZhMNZ1ZJN>fpTxy{! z(d(YH$m(SR$*+{-cLfUHhjDywSb;Pb1~Yc!6ZNAJaTWU1SOmfj$uIbZA4E%AaxEkY z8zc~MxzuR(dO6^FwTYyj$Hv5SJwaNouMz~T&BJ=U-QNYp!hSxCiW`ib-n9Upden?h z)Drg4VT=tuY&F5>iWagk?c4qiJeVg>XZ}4xI)&L=eo3|pSV4$>- zeN7fKhgQA-XlzHq1k?DHoew_rSCjQB_S+44%SItJe7pej@huz&TolZIusa;EuBm?y zOO|J&69H5xkY4~~gbY~ek7jNQ2zc|n?YUg-qaml@4`jbI9==*?dtN?meR+78zwKXW zEG-A&aC?A356iRX>r#Swu$^@^>C_+s=$$mr==^=UZc%^SRs_5E>}oru%G*!h_iYEb ztDc(a($gd&oDzg34n*Pr9xHmr5Fz50S5h76931t4C#q1oV zfGG`L!=-E2y!(0n8{8xSgz%clQ-P?imQUMa=LNX>FFz*Xq!KTLErGaMK9qj)UeePnKs%^e`aOd?nQ58Lywq$R%e^q(`(1ck7-tV+%r!95p za(W6!kUS>9&PlR=0*`c;BEuF*0*}t8!Mqh>2hm^(A3~~eopP&ktfUBrL$t}yf1mnJ z!EfWU@1!JHG&d|Bwn2MCn*-QG{JeCP-{WM=&`lca>#1iB@jqc$laUmP{W;k=v8Qon zk+U|6BUq|!NBr@~m3M#fsWGQCKD(Y@b3WC9xca;!+^b}KCGRO1C3cW41;-# zEF&}b!yM-a%yHq|;^bMRvqPfoHhHC_=!FA>8FzG$(K%+rjuq{_(Eea~*Tj_&Kosgr5%m#pb zCpn}N>jzSHattCAqH9~Uyz7{m=nh}^)hL4V3xnGO#H(fl_GHuLXzj%_W!Rkh8NsO8 z!jnXxNC*RWM}DbSkS)JMfVu8Vg<=4UyNaNg%*PvPY`YLi1`MQy6#38CDCjfwmG}f) zcf#rsB*_>nb7?VB>W2@nH3v=*J{aIAs2c1bf0Ea{XP2Cmy8;d5c)R)<+aAyF)`>E0I2T9{)+_cl)nW$nUCg!(~L zuN_4!Jr?B{#a%CTy1+&3|A<)c0(58*VZ^x$;b zY9=$B)Z0Y=Zi&r0dNraamAg0Fx0Jh&^2pNvS;kgzbkxZ9w13jnb?^NNL{6r>V*fz! z9lG%%F;B5ChJto>?du%w?fX4sz3T*_s#(*IP1#zy@7))eslo?0_P!q2k?yUZ_ap1@ zEQ%;*;}aIZL~}UQM}m9Xg(&N2;-?KaKR7EA~#f;TvD)c)~w)Orpn91 zI)Td*^}dmu_Zr(z7FLaja$@g?r=mpzpKi}gC>Ohga zwUzGDc9&~58S6EEGgNY(n}DP9ie!sIX&F6qXOm<6Rj3^-?Gyj#Uq}Fka z`6FTQ=LE8DqaWQyT1PI?Ir<_^+UyK`5Ew)!s_(HzQ~&O2@YSO$T4jd1!*D|JwXs$t z(A5|&cvi|`g^P?ZX8jy{OQ9TVz2OsSt2JwkCtzqsO|;K!c6rk&IRp$F%(=zKNKwHM zLFkG^i_Y!S)ke2SkqgqZ*M^-oH4kf-{%BX}s(BtdHe24w^K)SrU(~&_g_`thD!RXR z2tdyrmlh}q@VqW-<*WV4W@w*`Q-8c^tcBjJcdT(djuz}igR9^R#ArNfAoB;B+W6>F z^KS#qO|M0%YFu&-zDXe&xNiczcFB}WT-QuuNS$xZMT@4 zlf+9Gh4}ql9&o&Rd&JK5uGHt&f8Y$H#mG6*n=5o3juxaQOUi32)$^hlKw6+jU6){3 z6q@~}Y)WjS+2JN#HOmWn>oqaDB;a zzFnqR^lgZ9=QcOI-ym(223M%uoi+lut8KxkrAKh~?6B;U=6yZzHi}g)2=_S+QPudp zg=}Vdk@H*#Tj@HWsp%@&rk&r8 zPa~pKn-l(q1C1p*ncqTyIlH~eSjZ92nGPJ=83IzDuvP#<@r>IZOgHeeFwG#S+I+3H z=3e4QOCVS`y@nQt%;BSU)@sCr&t7w4<%LzJO!FtX*VFJNf*7(kb8tWLiF_&D=sHA{ zwKgfYt}sk7WnmmAK5Wp`zaHmPQ6RJ`(}H!ElZw%tF8zI~BV)7K!*niryVrTF=mM27 zjE{L+_3!n}XWTD`cO`nK-%J#(+4+4Jz%AT`0XfX88kr4t&I8fUwshAptj1ih$IIz)Y z`u75HkUlH_PS~(h?Z&aWcViM;;F`=6k=AI^#}*Xb+g#oJS9;`Dyc zb=HkH-_JYuK38b7qA`L8bC)?-IL0pgSCmlqe zG7%33zTe?5>>(D(%#QBDmFHVKBRZR<>m8}=n-cB$yi(rR?&WF@KX3IhlcAp6_5yDE>@SBXwo!a~9VD;lIH0M5T5wJ> zvEaA$iAEH_xK;*;i+C6N)<9&;pLv;fH|uX8;0H>q3mxcg%h zWqPEHzSWKXZLcQZQ$-StgrapmWSxatId_80PM@?rL3$QG@?iaJpH zWgr0~6uz?(;ZY-QPDp#ywgyNhp_PzEB1HEWVIgyptZ^1R5SuojO`6^7u|1;oJy^EA zJaudc6iO2DV2_%>vmJ<){lckj+Z~0M7!**LI$a3@ZL&#+q=&W!)&3!QQd&hyDgwuN z-yyd+(yI33!)}e|BSoC`RP%#PS-JV#Pg`a8LRJxSmjSDCoMUDqI7V;$8QBxUjv^|Q z^cRFaL11CZ%(k%C>7c6c^QofT`_E03!nd?H`*)gLqv+P>V=gUv?5%E8^CqiG4T!iq z{vRL(nd*)L30@>OFGrHLag$b$c=7RknlFvSycLU-V}4AyqrFQCmCOspqM~f!gcALc zzLsdPVwVC{7aY49M{X_)fCP79Oeoy0NpU%PdLsL{v2}SGgLxA2uw>!Ryp*pbw5~$8 zlzq{QyX!zwKp76?f{l=4EJfs$Hp;J{UOPP6Kg<4)@|EgD%WW`@# z#D8v0a0VgOIoU){-OROG!>~cFWMHT<78wbDMn%}1(qJV~|HK|!Sb~2ArDBT=BWyUI zJ?{7cG1i-%3iPLg6`2Iwug)@IhY32TO7WtuAOl*7TqjE?=dhT>Zy*C6)+R(E&Xm}o ztHK#OCA`31tX8tDvY|nn3p~ihHm=YAyeIb(HC6XCy2^b{HzFRt(>UZ!G?-sNmd{5k zPePOAb3*UM%xveuT`b&=9aDMfv%TKG-Y}HXEzTkx2UEb=5@P6+Y6+CVTjESYfs(i) z6f_Jle2}CoDwnzL_*=~P^5DvjXY7wg`@4UUi?KuTrneR0f`T5o!SK0aCn&;q)PJOX zUMWhNQLZ`*Ua87-EwRpj=>?IX?fvX9O)7)_Hzlw=aPRY63M?T?%=pWl3R}9yv0B8G zkU5mR&c|IDP5s;3G4=aW=Mi()9wBaPRpwzcxWbHU5LBV2stjYASFZxEheZ0&TYAIl6*FM`cJHBpC0gS9-jA zAvAV+>O3NS;!@2Es}1~+4Rmet)ES0{d%$|x-s_-3rpq29G#(!cAeAdNvU}? zyjiQZ5>@h>r&s|*^*m_v@s4QA8^A7qO6iF`b*wlR-~~UhVz}jr^On9(o$jq?mf%zz z)Q`&{{^`Q6yqAlPA)Q11ZXOq|zPA!{IpS>CBJXy0vs>mC_2nU8 zNx}c3i{CkjhH_R5DPB3suZi%ar(Zb~NicgVceeebS}mw-G&(^b1tlHhQTeJC<1H%y z2+Kl)ChK*k|F-xnwWFjbr`kh(*f`P~zzBQ2c4ez~k&;2IF*aRMiE)MgXF^1X1Y&fp zI8NQx1z}y^Z!kC)?Ut&II;#(GiIz$`(Z_aB@O-u&$FsY_vO8a542LYuP6iiz?}TT5 z+O1Wh^-WOVXKi?6`rZ$}TO4~72Lp&MnW~9Wmw|=(l-+6o=cuSexgAXs=$d0Mt#Lkt zA805?hdsX?(^aQQ$1Iz#C~3{N4^3)z^gw`6!DU!>NEd&bW(*sFIdIL-SyiA-`tXtP zHSGw5*neQV7P#$O7HMf3P*h*kX;7^FJlk_|^94 z85Y0u)Eu2?X<{vYs3>VNKLm zq7h&LNs79g7KNPqDq|r^Tn0<{#!d>nAmT0epNz^ZT)=xEL7%)NX{Kz-)X4h?{`R^=D5Z`YOr|sso&&hOwpizV9z!4I zPM)_W?LG(jqcIUJwPK*~0{D3p3)NS@@wS!qt*!9XY-$RwS$VGm?N2X!w<6HjF;mD{ zUljJnQlAhc_Xa4?+8c>Wwn`#PGy-djA>9-8&Gjyg&{<2~Z&0jU{(dQr5 zzG3^J774Y$l)==lZ{&&M^+_*{?E6(_S}}V02J7KnE_-gVJ0*QK2f`l3fbjFb=2a>6 z4cy$y<#4V!`CRXIe^kcb@zO45z1+FmBUDVzWO$Kqzs8E)*;Rp_Wj%${#;}Jk2+;t1 z!0$@vA2DQ@%Ltdbme>Zjz1;LA8R5&N@PDY8#O!kkgQ30-$Dt+XT|)KZ+Idd%aRwAl z@MpHJhR>!{{dR8eH2gME!JVe47XVdPX4s%rZK6mx&yW@h7)<#UZC%ecx*`JC_`tTa8OCY%%8Fe9JdH2A3#kYNA!F>B)-e5 zm<+zLUUTcJVXv4dsHM;Eu!V*A{KWP)96XtEo$#HWSpAT11u(DisE#zaW;MT(GBErE zSbZ8MTYVtlw9wl^QNy6GA#xvng9I*!EU_|f&av`$iVoh+Y9|S!UO3FQ ziTY1EaI3_thd{GqOq6Yk{JmDgMSMZW6b}rFj{Ub_C@77(X2!Dx#Gqc~QF%=k->=ey z+Z=Vu-Y(HI*N!vFj_Lv-RGRLY2nPWFFg5cf%rAr$#@J@RjY3G2eE1B-3>joWDrVHY zxD*P^bg_N1;l`55DbGsg)lUC+R_>=;gnn5-=1Wkc59BRdWSSrKreWXWIVkTT1x+n~ zN&Ptp(L#?AR|1^T`%6GBNv_I+QPTqs&FE;K85Tslx}1 z5u@Cu_wa;N>?pA1zNLfvaeXBM8qe@$R0hm{&J~R&{i^crbElsj2sJGG`KQ7iE9-Tz z8F$4za`#9OTe}`VBp@7f_Lbn1z#Q7qHsgk3!J5?F#CZ2`Zek@xMQMg>5%o!;B9wMg zPCQ?PGHow}#LQVNGJjAr(ad|H;l+ruY$N3OE+)>I5R(C_OC367nrBx$x{g3~kK!s_ z0FQOfn9E1#!r__u@a}5D6dl5b37SvuW8*oC(Toy^Rh!Ykhq4=>*`ZK7nfc>UH zkFCLwTmxqcU=Gm;GR*i*l#ngBpxX5*e@PUAz_75e;V1yWk^Rq$m8Ei);(z}GAj^Pn z{O2Vb1puV~^};X$#r>}jhWq~y_y2$UmYV-@AuReM0_8NiNqkQ{y@KO`z$FmKkLAB* zQjCDWE#Nf>N%C=tf)o6>;9~fFT$q8ddEjCo`=7!p-KqcojUS`(e_?Qd`d~l}l@&f| z2t&-^Egn)d@(1N54fq~m)CB`;qYG&Iwa|jLsZoZo2AcXm@H555xGYB2DX^@&m%O(+ zoyuLz;3OZv42kid`5;LJ{iniB52WD7e_<*ATla<;>_0OZ0O$AdUsT!u&X&Rd{aa65 z`9Mmy>4jfI@pV5c@Myp>*;cXJu2h-|l7peXjpPUv=XbnTngSn{2R#>sKE0$n^Ffe3 zLg9WisCKkYPd01`v-JKh+gTo^2^JCq5Bn&$^4dF!_{n)dOB~RCL=;>xZcVziz&4i6f-t)@`f?qe0XVmlR z7tfwFAo3toVOY{2RCKI;st^{wzX;5JC5R)OoVcc&{8dl*_6Fr`XtN@Go3Q(OAWj$% ztk7=<1e6{PTZ}(6OSBMtF}aPisrZfo{vy`!!!7SdHmg!#B&54!@E|zgp&w5cMH$R( zGso!XnTOyG{u>F=`iZH(iU@=eu(BmRbVY3WE!cQ*9$AVSg&|_fI*NJeOH)fF*VXC9MnrBInC;i5 zV;YG~4>Je9CP?LB)jeFw4Idqxan{MlA4TLnWG ziQZPqlgyo$`CW|9UL_1j-+a%IRqt`cV%mtFKMxiiP)sUn$sBa!^4~x_W~YsvEh&Uu zcXi{C9+OIaJNk{|QH*tgF4@2?xq zEx0{dy5{^%ru3X>(0`Tdp6t3Dk0trcr8wu^d6Rvy89hr#TCpb*%O5)ODW&u|4UyaH z@c6dbU7Z5HP6<`xau?g?e#;B^)6BWG<_Xfs+R+!6XUPL1W>HbJB%4Okm zg&72{GCVSuc-zEdUvruCMpt%kM{>-xF*peUiG3_c!xDc&By6SPeMWTg%L2>es)N}0ot*l&OS>^PNuK0MKzFrMl$ zmJ}3s0FS6ut~M1R1#NnTVs!c5@W$vKB0LglE$O9|;esrFTxe9m^$h+473!gU&jfCf^J+`VW$lz9&%r!4@xS@`?K=OiZAG(Ti|>$XlO66 zJ9T*p5D&GoRvk0Il`N74=p}rwPxfz7jL!FO9GmB__<`{6$>@+FmW|2V68f#5poBu4 zEsTq_;tW`e`MWr&RBzZtdmG^&QK<;v>jF_ga^iduwGHq5RZv42r>VbEY@cOoQfq3+ zd5TZwlU9slv&{)%Ee+aQ=waU9mQJqb+Ny#WhrQc+e>iH&i=N-aqgeIl-(R56zO=1= zhcd0+a24K0hUotEu>Ku(?rZZwk^M_kY{0YEX395oJvaFbyZZdcThs0yQm=h@yWj%= z+a5ZGKimyPfRNd`?(k)iopfpo?^CD)BKb4j?iAfj2dneRKHcm76y72xB{!bFTEPZ7 zK5kW(ZBKbq+Z4Cds@r~VD8e7(@y;I!HU0^68B(AQ0Riow3`r?-k|;Mm5L zp?gT-1vaG>-4IO+7S{*klJfoUZ~qzq!8c>@BdDLbk@@lN3MJr^Q!1h3W{3X!7ic_W zk$;RXpX~m`@F>2gP$}N`-uI9SKWH#`sbf8@`1avevh2S%TRVbxI@_Y*;@I!UZiu~R zXZN3`LPX9=h*sf4AW2-VR}uMJu7V{>#o`drLSU45WTB#STYv$gmlNY0KKa{vGtvrO zLj^b8u)5Y@I zDCnV#v&Fg^g}Y3Kz2oqzy%SU}DgW@wx zac+4LTls*TFWo2U{)e|0q^)&iP`+N(n2p9@h@*W1u%x0R$6a&Mz*Sk323uvfD0FXm z$s8NV*DS2o@${90vnab^?=VqB^_<%??KgoU0iEhqoh``8E9Jo*NgYGe>Qs`5m(k|~ z2~m8gSbD!JnMRe?5~}LoH-fWB=K|^L9q!+v(JXs@*0D!f-)6VEgMaTKB+ z3A)_EtKRTN+^$d^Bf^)LfoT7BE+h1u$o@dwgk@k9j|FE%6kv+3skRxC&i3*&_S5b8 zDkAtYR{22!b{bL@gf1*eP+Bn|k>Ra!bF$vz+81&EqU`+Yjc+I1*Vxxfe+!nw&{w+T z{kfuWHRNE!B5b&W_IgJBMK}n&`zL-{rdXLb9^8AX~o7~xI=oK*#C1(f= zX1lIha*TwTvJ%-f=e(W5l-)b|=77%BwGa@V<~}fFO*<~`uIEyV<)g6o&Cg}3~vBMJHWsOXv4tc)?D%$LFC1*oQr3#aQn=CGsP*dc2 z-KUYjZs(P;%i#`nk*Y+W3n^6GM%8`b7z*0Id*C1|b2Z#s?&c2urJGU5+3!y&r@tXT zTZ}p?EEMumlc|W2s$5Y};Ku(l>DgS23ZaW=&v<`qia6lC{kc+IDd{sj7)s>LSp0Rx z72o5k=A>~rE8m1#*4nxA6a){z2w?O}7aCOl2ixdfw*VSu9_Pn)r8j;}ofd!2-xElk znobZCp}E%dYeQ`vt^Vy>u7x%Ah!Ss+tsDA=+Y{11M0uU-NBvF*_*ma-t$~Y+c?bOE z=Z2~`O7aABrCPf^0Y3YYgXIl(qK+cu-us)rsoSWY`=4|va+A80&~Li2dmDVPq&1-Js z@h(aOB~-5pqhyjV)lE0I$QRUO|9DwXCZKDd*EsY0a+V<`XMxhxVm^3B4v3106mdJy zY1)2tu%3voWk6K@`}6Tr#KFrZibQg-FNm3Ir`Kq*Ggvc4;_hk=KKBc0O{vv|ZgI!E zJ*+Iu)tvYt^8M4;f!R3{X;88F2PEw;Aygf$@av&goql>8JVIXDsUomcZ5O9zDD+P% zh0WYHv~5kVy{z}vXVfpOXtkAecPO3T*l5^yD)ZtjT7X+DL4~F}d%s@~?#x*zn7_~y zD07o<4#9=WZ>7e7qYN}z7?YJ!DbG1~iP`Zg`sV^?r0f{s`2~BRC*xBPWN)fp|34k8 z=Dn`KXVI{4uY{6H=h7rWsMq`-_6528T#_Y^+-$lTFj+0GqIYfpKs7noqthriv8FOE zbr&k%>kKR_C}oDgj_z_v`SQtWSiVk@$hINYz+-~JGui;UE^aS|gC^9`!PC#ANYl6r z=F5$Z9L$wY&Ym|K@{$_iYt1AMON((cE8J76C0aM_dDrg$H{OWRZhR26OfI z`-4KDVqkb07~8G8f3zH3dk!JV^|EjSt#T`F)RDVjzw6n%8_oK>P}$|F>wlW1Y`XF* z{hSbQ_@Ukllv-@Kr%T!XBt4ocmXP?JQI9z4`_6;NNdi@)9#Dsu_8QQx$it3JISHe?!ZJP2HIOJ{K9bxORV?t6e4U@BghY z3>%J(`JsuT96bxl%zFu82f*|7sI*(u(($#G&G$MtpfqU=txc0HH?YKFD*ag&L-*)F zpCCq6Wlbn&kQZD7>FPVIkra;9Eo4O0BAjyOW;g=krS`tQxqZHMjbOpPYxEG7jN=?~ z)Bl2tL2}9n#!2A^7^B!wz&rX*x}qgWbZFzdY=`pc!LPfN;u)1)7musqS1{++S)0&^0Aa?giN@s+)O1K|x`T%?E`B0?*JnIGb&aP7Ug!u%s-(;DSJ}?K=W7YBP@MIu2uTAXxjT zA{>5;D3mCa`HFV_bZ)S-`|FA%O|+qfmen1=LaD9W{BV0=7v)cvR8;cmkMQma*|1#1O|u|wr|Kfn50$=kfD+c-9T?4|Fbud zGf(1(;Hw#A{T1qu2ooxK>HZ`jXI_(sC~=DK7A;j4&cV`0I4T(=ETvepF#q~>Z{Q@| z8J$E47JANyWvFX?`@AJ!gqR`y`~DrDAS1paDALry&_djSj23~FtQpV!hLK5}(v$*l zl$fY{h6kC&I=bo96~B*tWB%&_KU^*NGT7k9^i=u}5EJP%u}%OpfPQU0V9AysEHDT9a;bgH~KX2VX{HWkXWUPHH8qf+(>U%GZ`k^T1( z-`;XDm`?3|wvjR3r;+f4gVMA=vb%E)CvfW45aOq-uo z)KR7#A{cfta-XRfF4->EPOhhyIncLMq3)JTT-seqy&F=5BsIeIP@uKt1*h=4z4c_d zxtZ;@V7-WN;(kCqPcWb&A^LUE0`eq``@hg)QzKE=fm*N@$X^7zgNWqd3*1Q1Ekl=jP<*Kqj zlI3~YyS(~t8?S@qEa&G>8x(h$Msz+9tnM2g(#0P_oZ|mTk|66plEZoDj=^*p1 z4LS6SHAKSDS4`8M;-c>KxG+sO5#`};q19FJtxRVyo^L*3vAQT(#rGG_5=+FSL6Fh^ zS@IYT{!{bp3OzFdtifC<64!2;Hcz#aQgV{mVlnb*f-HEM=07XnwDgmp>J(RW`L8MN zq#;2mE1ptgP8)F!x5nYo;N1#@)`!6>bi_$##iM~EIeo3YvLlWY&YUb4cNQJIQj~!& zll$!}5ZTmxb36oqO`Vwe^vi(Nz*6i*AQT;46&GSf8~Q4~<8n;{d72uO6`V_~@(2iG zy8n(^_$;fxg0mqs`gjOzrHS)mXaU_MxEwfR(jvay$KL;DOcxj6Twd~xm7L|1)1o59 z#`P!q7Vl^1K}N#V8TK3Ht7qHvIeJeo zHOgU>l$sK*CED#@bIWhuWI@F>Q~PB&FI8G4*T4)43yTQC0y>nywzlsCBX@zp*A_Tk zI=7LQ7+@nJUV6!jZOzcJ9>?fj{kj>-AJM@!yUqT|gY?+Ac7!v$G3U^K>aNf^+W+p9 zNc8+sq-h|>EKStazSm@G2ToLl0-e?vQWV? zCRrlmi-H6V7VdwpPnY?1Vkgb-Yel2|3%)yQx8H9CM-q)o;+HJXmk$zgp7Foh{?DJb z=~bSnXbOKAAFHZA(a)f2Qw0y=enJ1lzjmn4lK+rFn#Wepe#W5UJ$^qdcYl$1u@o3T ze#Ib1FK8%M)j$V^0nv`nw`&il3@a3|8POiA&2_@pZlOl>dH(lQ{LQLYnT>DLu;s=r ziQ_IWO&uo?L}kM=5~XudS4YDkiRw1A{eiCMir$@oof(KCfIoYMoF8NH35UY<(s{H>FJfA z=NnSgaHzEVrxAntSmoi?Ul@l!;X1*F8{e}N9zSWp4Zb7}rT8q)R4nQ%2fRNAXH=US zhLM!14=TQn z0vsv8dT!fAkNq-F%p&N-^U4c*zn9-Bt=tl=Bg}3!*X}lIIZ_*NaT5*`=Y)CJMhK!T zdJ2kmtnT=6`6}}BSekSH+W+;0)LUS>Gul%Kags8$iEwv;O&y-^)T} zw_prgU$Wr|Ic8k){97}%zKJw5+(bB~rvg~c%1K`vofRQ+s4Kqb)rtCK`5h|=bo)#G zw2B7KO?K>PISBPr6lvKpys?@tnE%Ly)<6%b$Eq3s17@n;!Q@qQ#JUc0HRR`RE+zQ+ z&%VzU2Jkc_Fx{zs`|8=kc=ubA8LnWfFa_({(3@B5^6jivp-bH=&d01_1_sQBufA^! z7I)pHvor#6jxXQMKwU@qd@^vPDS3dofPT+!zcU}FUvCYdnh9_G%Wc}GqLS$|f}!ri z`rV+F^oR!^uoVhrhH58tJ3aAD5c51O2<(GqUa+AK} z4`O!&P8EJvZU^TUTDzM7oH40sDDC=Yzh93op?Du>>@N-Ox8M^$bUxT-;S52P>>qI} z2Iaa+nNo8Glh3uv5TUO@{rDYRaBwAGof*3GV1;Z0IJsab!85-+%EmyT;<{z~PU<@X zReDO6O6Lb4`BF)`Ng|3HG`4OZF^T)YtR(93*|kZ+Q{*uy@)*EVl0U+p&@3iDd=QVKv@GRHJA`*1+X@%5EX z3M{P>56)5V5OB`T#D@Aj(fYg;87X4Cfpym)cqe=TOF)lGnCsiRRMW-bzX^oE5qP_a zc0_CAAT5h|d=F(2x`Qx4MKsZ1Md*<*CH;%^kZt@sOATAVb_RmV6HG|ZBKO^ucfgaS zk+)+(F;m1_w9_6shNt5GC76s6E3KlqJ0PH7nn zu%p>OU}m`GJY>G{6b5|>aEP;0;kZ9OMZmXwJ+Ws=#1j|!?!CKSW5kzlI%0a<^!qfa zi2hy3YZHq=#j(FN2rhOL5H_epz!;SLXqPD5(;8>~dA<5i_16>LH$XcW8HKmPCx14? zv+CyxU7=%qg#)1e4p7b zlE^seqTkpT;Q{3h`sI$O`%L?AN!Q_gprn_e)%EOh?!M1zTu{jdOLQ8)k>VJ)&v~ST zTBd$mbc`H1Gqq&fNMqBatT7|+@pl8Em)G8n>P79Y}VTPs-h zc}p4q^SSbct&Ca#J`%y?f;2qqfcV1|s%rv}WDHp1;g_+FIgTWE;N9^fnoh`3GH+=j zqzi>~5d^xdef&=z-1wz5y--duk_6e}{q{wYQCV4RGE zI*>yNh9Nw>R}7VkioQ?}#5eNluL!c}0KUEHd8RdZ{EOXXx5!#$g;cEO3TG=1WMJdj zG0>IoE_bSr8c&f*m~_?jTzzWho$(|tflEu$iVF7tWF4o9ESSMtrD8SW;CdtINCF4qC6S zKmi#c5|0lL9w5*$e>o64I+)yCfe{DGM>dH>HmL*Ui-n#mqCKLpZFWx!xpDRBe?5mh z$ZPFDg(DS({?NJG>B<9;A%o{*%T97#F4C+UG zpF;V?g2sN&9}<$%i88r}d3m%Es3~UvM`@Rh;a6QdnpcLlMT=c-v$jpudb zTkOSrK(IkaE8#y9yDKFy0UfsKz{#K zCmcP)3&GgjhSulqewVV!7XS=aCf)h!Gc3@cXxMpw*bN2Jvan+cXxM~ zOWu2H=06NySc~qy^r<7YYwxN$>nGKF;wRFLRIw14v)~mfF1Y#X1*UQLBcpEPlU%;i z`G>cPWd6bs(B48u%z9TVQ9oPvxS{dZy8en2^+;fKg4!6s4if4H78;2}%{W2r(Q8md z6%2jr7}w)n2z?yf8vd2m8T=|&6{Bz9&t2*6%dv?8lus=ef1(K>^j=RP1W+pnV*}~- zlGZb?&G)eaasFul-~b5{-8gGF#}1mlcim8&WA)}pf`OyxHl-uqTztyE%a@e>=B)+W z3K5u^gE=v@bFm>fhFYI!Hg~J_YdkaUCj)8kPvir_1Bnpv`eb?zjI^>jGEX4#1|(MT z@QaR(ZLcJ{GG~OzZ}ornGX3@){1~7!KBM`{oK-+WqL}RNKx=- zatCfSjTEfveIs^J*;lnKP~*PHOazL~Fi({3)yiAw$Q^fJY{{8lS8AYNH?oG^DLb_L zs|QqmJ-%u)I5dC5Im!Bq4-lZ`viw`K6(hX3w$68dbDEP)-!$zty5T?4-l>-c);7yl z&bVu31zQ$gPA?kI0u(k7mP(iRVhdS{>VtRYe#M0p%thJ5ztQwd)sPJTFMX%h+esVf zo&H4p$gSgxY(ma5e;L!SGg2lzw#?hJi$FlrUO^!E5eGuOI zu{$B}TkU=~KZMceFItapM%M2-FZye1Z*Q}TeHSH%U)8fOG}*yJ*^ba|fW zFSQ6bxLE)lq-q%18fsnOoB2N5krKCg9pt9C0Jc{}3ZrSs?GNzHXb{}S=Q}y_RuyAn zgCm*n%Zz~~G3&cd$K!K3V2?~c>uTWhp!v!u5N~IWyXJOEf5=Q&T!}kc%V|9_I~iTU z#8c9Wr3^3=%^8zV`w8>kV~i8CzLioKE9P~R@W8R7K3Tg%diSRuuj7+65PX&fWdeyc zY6kPsnem`Ff#y_t$`SZD0ZOjMfasZVHs%l@wAl`rN9JQK!v`hK#|zzk53nm>afJv# zMd$W%qYs)<1_MqUk1IRW6i`f%+AGQ=R6dP%|#1E>5=mSz^*o{0@?zojFE zl|Iv`3*f}WCso+TOXbfI^e+5GukNYczSic6OxL=SeW6WF_z)S3J93fE1 zCTJzm`?p6&!<+^nUWxuiMy1WSK8^5?zYrtGvWGd!e{kdqOMkg2cX+tJM`F2OF*8ac zXfZVV%xgd6+H1yaZ-xPGGdjV?9e|#IVd%EGA8^%#Y%~C-<5}Pi!u~r~qAlWJ5JHmx z&X1n(K4%IRA_H?Kby3;%oZ7ePVy8=CRoZW%Y2NdtqFL58T9~#$l}%1Rs(hh9ydG1m$7|oi0Wm3DW~3`s zM_9TEiN%1mw_Z_xn|-QygwPQLbP_7!1RdkUmK(6AW>`9`&weQuY!3Y1tDu6Kkb0}T zbNDSkQSY5?~)&jkDU&eXrmWvWi_3@+N17NPLUE3*6&lF^%s{s~G>v+PySZbAZ> zjD7p?F3Qk>F)7iLW_L1be=pE%Pnw#)Fw5wMgLD@Ui?2o=oUaT_473lbU~bR{JrdZiU-Nzo*-CS-q69%M-tC!}mQfaUaIaH=ixp=stSvfqt zvizvseqt?@x5eqzm1Z&6yABiqd^cgMDEpgK?JnUm8vq%y?e7W`c*RSXW!j}AS)+mv zenrm9SP-ZA(roEqA+XnKldZJYp;sfw(T5HR5m{f>@qKC52nFFyTTjeHO9 z95D|{lp%+y#UEOq^A)ONvB6-ou`7Wz%#YrW7%RB4n5+Jm4N<%k{xEw|dkHv}CZps_ zg0W#DJctBgUE;PHl%s#!G3iyDxu&A)c{rn8bmK+J6ZLd>2`;j$X<6BGz1T7@)=gfX|mYihvs8E)3nq`zd~E6;7P>4#5DIpDFJs%cq6P~kqiL4pwYZMk;_&3~`@=$?3X zO!$3y%teXHob=hHl^y%*gkjCgbl7eV5BJr!ZcFsZ=+>P)7UPfzcf>Ug(+$V5F{pDFN5+$y*#w8Flr;;rJ~(QZjn>p#ZjydA zp2lLCBSBq`q1Rn3kcJGTH>i@IIsMv@bvkR!bX*r@?^+@S$40iTc5I4?yoi)DS!GAh zDT|L4q+J@_`DqS3rd$=WV50q)rh7w&-z*8Uz7aC{3lgPUytvE<_t6DAn-|Y90hIE6 zri&N`o_05@QEGKi08`vZ>lUeBsF*s-;#&S|By?T-OKGaMm)hwM!Is2|i7m5=L1C}f zDyZyWR1kP4xcu6tv_nRna)-+X1i|I+PX#=j*+FmD<$L>mRcumMq>|jAnwUo zuA@DBrAWu+a#e2ahgu}Ef!J)=0&hOyTXRa%+idf{%CRj|SDT8H<6|fqKWq1uq4@m-2+k zSBIGK*4I|G`3HGVc4>#cKCy_N3FXnUYRcwnrWEw0K_X)xE|*?KB39cc$^WJ-L4 zUjO`{sJdIs4Y{k(J(!seJo{!6CgSjbXwq-3UA0arzlJlfinO3#>p7_~EDp5YJtQql zwaMPxW|;CVVj{8_ccsI=X()U`(VlJP2f`PLI0T_S{hJG8L4rKeZ)yjjI&yeJLrPeY z?&ZZvoPr=NVi2S^)bvR=$E+f^$vj`GJu z%eMPfhPw2Vt8KMv4uY2K6V>+9W@Q4NhY|SaYL3ZSrY%rq_19c-)mOr@5wH5q-q9Xg z81E)S6!5Eq^$^;Z?b8ZZ$5k;guA4R4(L*jS)_uICS(BT|;`9|?jH22|r_8BgB32Xa zsb!iEVA1N*RHa_#jRLdMX3GwI7AT1YD96i#6%i7T!%e>lP0hYDvRtT^R3_+$TNahi zFdeZTG+PTR#C#$l_7=ohxd6@dcH#&7|7mvEntfFi|F~Q6WvAI? zWTrZ<1HF8PrXP8~XWTn{i%Ri(`4FZ9d}2KH#9Ud->u+WT+PP*|-6`qE(@k8Q9U@Rc zX^B{#rfX@Ngt`+?Y4MkejGH?yqFVy1@%f%*hd>Yl4yHE4G2zsE(Y)}Bb|D5BH4%*#Mm(JW~@s?Se1ccj=>G2}n zNfH09TRNTHb@QbCav(;DI~^x8jQ$Eng$hRe{%Me1Pu(Qc+>G5y27KVR+MD*E53nN4 zntByB;KgmOVWx+c>y*TkLxCC>5P_^u#C{R$L+XyHw30&xU-ZRHR)@?@gU>{a+jNpON}G_nu4(bXmS03@VhltaWD~o=sxt z)i^Wf8I9KNc)8{Mos9m8APe^Q3poG#C;8=nYd9vfS0AA@6WzWRSJ12Ie+nU} z2q9In`mew`Ax7P`-~S2lw1vh@4tbUqyGC`5Qz7`Px=4s zjUUs`5dN8B{k!O6^UPGO(74~ka|<V!-87xXr&#~P^D8{DkA%_TOS5yfiMG1W|(*2RwA zU8(As7@jVREM5TUU@V6MNK1NG;7|pZKVpfHeeFP6?PAhlx+8tkmd&ncLknl17l`(v z51jN^l23Vo>%>M^G51v~guwY?kZ>9%x!an6(kbolY0e&+1@G}`a#F;RbprH=;Zs+50k|uj8pLe#HOKVF zd#GeL&M{~NI1+uvJP?pM_Rkv85&~sc!n3<&=hp~*{3>6N+nx~+?HjgYrFcf=J#}EH zquk-40~^WlP#KI8R&0XIUPm5hQ5ft-c-HZaKl23o(eZ?4?jG8>i~6H(;(mB9@c3sD zMhQgd!`TT@_`bzzyzt)a9{K-$T|T&}$_ zxvCv@0$**%6FNc7uSY2jE!8!^FAv2LW_0nHEBX7!KZY!Mn*;p=Z|ijXXO{WI#3cIP zbN?S3i0$n}{Z-HMUS0EVj}*mUdi^?d+rg%IB^x&1dxVx)Z?CAw)R+C;EV}j4l1$qL z3$hNHCci)WX;;~vHQp~QH!cgv#|x)}2Z+x9EQgeM$U5AV1`D56Yk=OE(sef&ZU$kdydROXe`YLts@~Df zFB^0v!`@29?!fTT^Q~j!0L$0sR2hHi7DjRJ*w?t`JMi6tm%hthLjt1T?iqAyHOWdJjcfMK*+@r|{5jab~$&eK2RGNvBvJ$ASg%AfLM z*h>#X6-*C!w*ey@)DxcdQs}~u^p8+pRxwK|Z_n(esa)hh@01|3Xf!L^ zSw-@;mc0+J)mP^W6-2EjB<&6^x!qfc$z}UEmDvqzzKe;pACy_PgjGo+(~E43@yW+L zrp{JHEF_b*dA+>OIeP+dPAuQ{bx1Njj5=~T4w$JmI-DtH4atca2e54KFg}(b6;h|3 zpH;|ib{0_&dhAj7Z=&!uew*M<*X{MAKChz)(v@+zAD@^JB30q#C5h%Z|j9qgfTnK8$*!;-Gxi#jicu3FeS*iVg z@?Ng=&}TrhAq{_^juSrJSkX8n)#$bRHoOgBy*G0SwMK+#fP_hztidF1usB5qJ0b?P*bGg`X2xfR#TH&2MTFAU;^^Aq<;|RTL zjVNB$M1{meS6THLpWZma@mmy%T9{jl+TzL*leI&N?6?#ArRhY3=(91J2B9ZsVlV!q z9j;v$j%xmek@M)A&3zq>xS9(L_)nv(3=|UoMu_(sw*rXq4($n6-5k7RU7$2%}0pD=_oT?UE5Y z;Ck+5C!vqN?nt3g6Tg+jqnJo|M*T4iknUg7+zcQRg*g(4JC_s?tYm2fpWC9b(Y#qy z;VOSv-0uoQt-ewdiLjLEarTF!Y6nHZp`1hOnSX05*W4LDFkJwxm+lh>^=G7EQ#ZBc z6%sXxI3P#4F=U8BW%OZy@n#0Y-}d^(i-S5tCZSs|cHr2vYt*j ziT*D5y?@`vwisP@OA$Eb>Kn$-kE`Cn;R$jkJn2rng0MIc#qas`asF!L>lf0J*8PX} zLB3vlQ^iV+CI?@icgr!)v3IcJB=jrkJZotY#$L{;As?xS+8{Hzj|n?aZTM~(oS?B`BoMME$6 zKFA&#t*BtcC!8rMAr@Hk4Gxcud_1^f>!;w!+6> ztJ+1m5ftqoUDVIBiUge3F*jRywB5kBl)*9EC>7_f)y+}pOGTXgDRlnqq0&8OX6p{$ zVd%;2X?@~exLgZ!zkjjRqC(8vxdg{VYHN>+N!VyYVyTtMdC2eyTnuX<46d%jJa*ow zE`(kAJ6(&m;m_nvhB{MBL(y+WI0TNB!d=E5N0-9f4r9~}u;8MQkKvDZ>YtlEWt8xN z6P|pn)$c#v)nvxdUlQ_dG^uI>%^6CRzg8{!sxNN;NUmOZ70rC#iPmO^K)hoE>^C!~ zJxlyXCm$hj?jPh73aBpnM~5(7oV_2@18VWOEW4$-VP(k}VKXTf&KD>=inu!Yi*DTKKMr?GszT33+cc~oWVK|!g3P0BOeUX@aUql`7Pa z+{#@iL&OGbR3*ENIDv25CezgJZ;MhvQCG7^I@g3Nwl~4VYT(>zZnBDkAM&lTjYOdY zN|a~Qh09;p4u&XtBfh5Z6y(=v)I+L#6K%bIORLI0+EZltVN}u5ge!%L>hVwq8!R1^ zUxAURwSyv%|L5J;n4JrG88MkBcFkowWMd_^(+2g$df5x)-H9&V+>x>~Af!WJ2Jv=Y zoQ&mE)GRdZ;Xc0U)TC10?+L@&I4N|1K9KlJ*{Tk1B%?9%rtoxmLVq0#?%SiK9y&!X z*Jj3el5I9}>eu0e_?Rymv2;I2EB@y+J=O*O~n?eG2c zbl%b4bg#v1PKUKMay-#|$R$Li15bwz_k^S6XIi}hkEbG=k#qdf(XI5nyn5Imt;dJP z^sz5g@K=^E`BVMm{!#@0&?8%ep{H-|ODdOZ)txZZp;`-Y%rY=hqb8Ay@uU7)(=Q(l z&r$~KY=X-ItDd$_xCvOr$WS1oWKp7H6uiAfQw2>&-7EL%-7dl?}7H+3wFd$ynYFpC+*=N}AxU6S{Tufpu8r)CwtJlqt%08Pq-TiB8 z4?VZbp6$K^Zc9If2(-re4TRT=;;lQMT2cUB(l7DTt7*KoaLM|f#H99~)ho+PC0`Km zt&$3bb+$s8vDew=y73&WXL!$xQE%Ua57foI%IkLHL@N^%R~Zdq^VzGp5+4&tzE zo6P}(KN#HtkFi4-!ScgIB1po;;CK1yha$(hh&kN*U`{AS{Ec;~!5dphk1*r)~j>nhR2lIN*k z3I`rxKv0s6#!o|y5Aq)NY{geVe>ZyM--_VvE;}8l==&_Y3bvyYOGe$T>Y4e`fN1>j z-$X<}-S4Aqo{=}nT6I8mxap0NckzJ+K9}|`Y42>6v)COIo|Vl>AC^L=QRNmiVVs?E z1ROK5+z-FZi9>UP5pysO&_H;@ZGcrjabL~0OIm7yW!D&iWZNHEw4NRs@*&#c!H0U< z%U8j+KhBUe{6!dM<;A3^KF97+@ZeYb>= zPdLY?7(|x-4TT>yJ#Nh`MkMGZGASD>EvN19B~;Ep$XL^eo~X4hP3Agkw8ImayFF>= zmqw!maphSGSVZB=0ws68`4uqaZmWSRI*{(&7+`%LpxW87V7NdXb(kIm(tyuj&xM^Z z^qHN)<0K-DkN9Ohs^RaDjq*VBj6=W@0NR6VN5bBTCoiC-Hww88Y~3+Y zX;WB|P^qk;vv*KT?ms*SF-%h&_t*B}SiI`kW%JK7K}M>2vGIOqx%oq>P!Zm92>O0W zP*&14dTnT+baqSMHQuy#-=JigFV z6_kRmDEvN64VEG?sc8<>krHrgo}9PFKhEv->)*wwXCA{#$orhfKV}ox!%Puf_3gWXBqwzUq6xv04r|vP5-=jN!=*6Qp#v%Bf z>{yUHF0naH!$^L!h`-%Jh-)~&Kng&43+Q-vVk=UE`F83L*QG}xom6~>LsbM%hUiBZ zEMR*_iotkS4Ey?bpRJ6OmRILj{ccY^2R&MEF85NtR*wx}?Xx*^p7l+sJ{!ERjaIEk zBP2xH{scxs0>;7;;JqJa28>3jT?in&W%2|oJ6_i9<)smt$r;B$#J1r${!=R(;1BB> zqOC889Xeiq+hf^ga=1$8rgp_YfUj3G4hkXaQT*JP5BwueDYin z^&f2p*Z5#_7}t@r@s~vW<2l}uz#zhWgRJn!ah)aqlF|5+s`6N`vZ?%xg0DqDkn}*cn4Wf6R z`s^^pmSAa0jZ3S!>cHSP`jS}@B?acnzc8j&zMIn3{oj_~SM@gpc4 ziRIf|q}d^Wo9WQW7#n|MoX_KPD@B0SU~-ndGz@%q*rb(=jQ+dGt2_xRk;WhXU{L3D zC&^kH{Uv6d+73hTVk88%9Sh7%Ke7G=RLUH-=ilrB_k&+?keDQiUgy3N0*N#n{cxKeUm%ywX#Nf!QUTe=Ne zBzyRuyxlx+Xth>c%P;>HeF z7YMrjrp?Yoakyg_2wPwBFJ9c%^_%N}e;U`4* z25zAQr9+KrsQKbSR?)7`c+Yn2-`Tmomlw3EP_ncjZ%nIcj!nUT-$ z2%l`ri>^h#4@zfp+0KmVP`{L}`0V$ru{AyZ#6%)UM*BoS#_W2uQ8t$&DL|Yaek?9P zvnx6Mpof^8g&!G({86i#hK6o)89n4!h$$Ch;Q^P;deNJTp>xdZZAYZObBK~-G^ye_>rqnWEf zF;xdRU#n&NwuhT&`avv6Cw!1dp#9d2{iAY2c7Dy6>Qp-OU*)A>)yi-Nee$5KZZz;B ze=3sS%)#3AXt^Vyfm1MYl}F^(qiE^z0j*wdgc%O`z`>hrH$_ShDZ2rLfFhR-d8cf<(~cICX>0+sd_BWF((xVN6%+G0fYBWq9KB1(Nh zpGN8d8=q=3S7j`;h=RO;LCs2Yh#k7%XOOsP6vJ<3HDHY(uuAf!hDGJ-+)4iCzGP@l zE6JHXh^czbxng`v_wlpKF1!2?Y2}5igJ_DvvzfFCt}ygxBZTAp19m6Jqe$e?E$^Tw zMfay?Ze2M9Yh?;j68*>Qcc!heDmGO)_)`$E{GM!~(pKOX!%gj$s3vQ}IK09?3q1km z8lFWT^#G#h_ULY=!4U%V?Pzh7maB&HyWwYsm?Vz^WkwM8=2?Jo+!|Dd!IXjN;t8M9 zPVIvo;3aVPYw=*%=&$k{-vBq4&c3GudR#p0!iK=&NCsUqs{oAi zZmr$?*B1a1dF9pALn0!^*r|}Zb~(ruIq0dyezA=lHWbsdvcw^i{7~J+_pv}M>QTc# z`rseAx4Da)QJ#nda&jaT${48>5`)8J55JF9{rrMZz6@~ z>$}EAo>8=;wZ$^B*ZekHXDT#$>G!0Zk9x^~V{4!vm(4A# zur>UiJ+MpvTAa!`K0X_P>Q#Z(pq+?+$_mC01g?VVeqqY^E4MKAvzS1P2c>6EjVnXc zld@9b4Mz>xJBH`s9ckwcHqzS!Osp(0&~aRMw1#a%NJ;}FB(BGGB0WU#J?Ce);q&nm z6)Lry^@Aelnh?LS5M^dmLHzYncVmE--P(@p771-;8I?rr-YpRwtxlG4C%60)ghW?J zreAu^8L{mszy15WT!XCTf~C?_6T>J9bR=2N8gU9xN6De4LD|GZ&bfcQwnr`wgyEb# zJV$RxTw04dPU^1dg8@t=3h@72&efyUxT*?x!YsxC8*gxmS$kOLJqO^6tlxccTY>d- zKA&(JRK8mS>6>2%e{E{c9h>gx2%nhvrGZdBcDkba_@_TYBkM&mUOH4535!6EJHE)f z5@2IDBb{-7X`GVlan{I407N`}E~2M2q7-rPprOMh4SEbl0)LpriX|9C)=T;7ZEi+! zPS6i6r}9~ivcKQG5{Ri>2~bUJ1-P{R`WFm|zu&w)jws_(|8_iF?(?o} z^m7EwEC+R0yrL&?WPz{4rnMnnvGKskX7N+<;X&`_2#k4SYI-G*7?G4WX5KaDvQwUto;DbJ&@;$kt)J?+MK+3gY!$89?3P<9 zKk?(cPY(bTX7&tTl-MMUK;ZnfgI2`@PlqEX#i)0loSLoexiYva`;!j{cTlq+| zWn9Hm;vH>gZ0b4~n(D)+0DsnkRL1RqtKXAm-RNCDES!_WzdGTRDXOAJj*SuRvV=ho zDVk{!-2;@i?=%RYD*hgRgQn#31d}LXB_%sxJlN?J(qqFk$lEWO(>*xx?VCaf0bZe} z?QT-_!bW7ar8jq9XE}a8gxuzQVx-p}iR?=9dZL9?dzFN>L46NA^wEEtoc2Vv6;|o0 z79Y3c*1>l)I>13vtPkhq(Kt9h#e3^$ctOA6kPEMSwggnyN>)CiUId0tArIJ4$*C(uIZXsN~`VxKf9AH2oE# z&6swmD`iaE=i8Bwck+T`;O=@ZQvTDLkijjbj+D2o@mIt02U>0qzrN}HZrZ+1_Wr-@ z7?<$H`f(p{ylZ>p4h#V)<0s6&fydtW_csj$qlo+z_C9VmP4E_DqYW%nj)+3WY}Rqa z7*?<7UMzJsS4%)f3Bj`gIa{rnV2y-IDHSnvHNFhl|CNm$Wu+;$l>hJycgxl}tYGH! z)GO)v1&>RoYLUz@Y8q~yqk3%m8#D-DWpvwxXBqbJpDw@j>zR^%3y1ZN5@<#?RafZ< zGqlSAmWCsQca0up0kV#F6d{vfJj}4jXbfdldP+FcsBTSi%+sv$b^WY>Tv3eYmJmIp zzb5uGSD1jDS+wg&+rZm79bgub*C#L0zQ-UyZnN7MU#E9+BECB*!``we5&D|lo6@rqUEQ-;nHMww%2`9Sv^in)6dai5f8X6HWTmWV9bR^Huh&~8 zIVy5*B4z03oze*FWpkTl6_=XyLURDm_VHAWYwvh2Qw_=Y1(B4Nre%J^H`SztIhCEZ zZ#xK!NXzNgtd6*IY*?sz>4;u_`~K)j>_Y}6ulaWNKxG(&H>S;vTEoZQw(&2 z+Z~nl%#yvumD3!ht>VAVElZL|iyDje##g2fqH?`;WwgnI`G7swmsI}Z+o-!Iqj_o( z8lO2@SObOLWS*{D;Jr`k7N3;gj%RGr(WRqGgA;{W zca(r;uN+#SP~7c~gG}3jZQez5IW5dizVgW+I1!9qAfWc>)Q^GFVmWi<0b6ff8EyYq zskSj0g-5$@{&!j$s$c=-KXJ|b-kLPjjAFN70L|dW;(i6s?Yv}UI7fM~W5XbP!);Dq zuwrUGD~r&f3$Z_IaG#}kt2mA8;;G@5(}h)^ddg%bm?5G(rEiUQNK`ANS}F&J#4~nD ztoT7?ZIT8Dgb4IrP7|X1ZM@H~q!*;0WLSivZwqgh!AaC-EfJUnTpRgapSWB*zVvtA zsqjqTUz%c}js?!2iS@+v0RGccaU6vF8!iPM4oCHPh&2EAWy&{t?1`g+|2Ox`N(TWAxeE}Cubm6O!!N>iA8bTUPNu7qs|MzjHC}7Nhq*$Q5k7yWFr3jnWpLq!lC;Ss|ZAdn~TcFV--DGShP#F zJ+E;}&aW$e&g%tGj)|=rrc((A<0dnqOtA&2aXS(BBW7;`|H!idDI3EQBrlIQSjW>Z za_&;U{@Sh-_eDy!t4uA2{QX7W(!bA4Ee!RPn=8<+MI4i;`Qr-?D8BkkKS5zH_5)5Z zLB}fl;TDZD9&)DRX?i@Py2blJ1kiJ&mRT4?-@y2P!a!i_u-y4DfZ0e|1sdb<8(CC! zlLq|yDk!E2=el$_#_~+{7aH3y>N7M0!fe;_6tdlzvj!KAc_NtgsLinyQgJGGKQ9@~ zW(4w20ki)#^I1Ni~Eqm#I%~J^Yd#^D8J$L>5Aqxyy?&Q zvkGu3f45=-v8xN*eoDzS-_6P2NcXeD1E$&KuO1@>qTv{l%ElHx5CO11j-K^%*Q3v^ zy`dCF_G9}gA1$7)`bQ520WxE>iJpz=2T#Z0pMyW2u+FkB=3Tj8X0;mrLN8a{F@IIY z^R(UCk%JrJy=yaY!A<3Kt9^{rLHAm) zfqfzvc!o!)Bmy1p9}rd1swqw7tNLJt*=9F^RnY;&6d=1+kFd}>);3zE8!~gU%J!jc z!|4bl3eTy?gIhKfF|VX!F5V#C#_ogki?EAlwg#4$T46 z{AfY%aaJ*!0;Cyy%Zq}8C7Jp|ng{!egog~?T=K5X?&Q;98Z{I_f}vRcfaRl$vdK(w z3t@QB8$OYwbj8)j1)2&HX{3b=8;K5_;t?6fxAxaIOgB`OiQTdg(N2*0v+oA`5hW*= zvEsAu@B+zIg~jKwY0SPubTu7c)g&-57WqdX&ll$QQPD0an<{$TI? z);OLt;G?>$?q2Z#iKWw!VC|AlSsvdU^b@217L~(XaT6#R`G-^#R(DGn``i^`(2V{> zNPbUeCf(!Gkn_`Sy>Hrd4G?ID=C1VIU>_TL`PH9N$;o7yTPRQfmO#7?9K=JchcW7x zKbG80VAgdV$|fB^-Bh4`<|i5DKNQpz6%N&{Xgn{c@_e^#ZG{*2d>!^_oWI4wPMrE> zBH+O6Oy`tLGy#pj#ER?5*gUK8F<2N`$awMl`w0n>bJ@m-KV5NTjb>BB_Z}T4y0Us> z0Yo~`sC=^%9spXI8Z)A_HF+FYv(lMe>C}nt9UF!K z*58jr!U!OcJH9yjNUl&Qkt^;3+~V50HNH@BLx`LF+!mAaA@D&$x4Ns%IF9J!XlM^_ z2yU+Jia|*#8MrsiN-zQw;B!xkL@GOU1=Dz?Fi%!qsD7LGmG0|^JQ-!B%pXzj@mtE% zXuWN+Uy^}aVr;yF){-x6JaywH+rz5t!vIXa=d5@>o|~hU`Xg(lv0iwL9M1IJrv^zVJ&b{W z8&SH=(0q(G02XcicB~tuk--bW6#m#X6mW_*N9iwx{w~f)nP_FI`QN*77<`SJ;MfW; zd>6BCO0@NkoRq1H;hg&quO+ZRrKZRHmJ%CES7sJw$RXWPQwl4-_eCTo7 zma7X$ZRlPMkH|aBI(3W=pgzYqn@^zw+Q%Tn$3jsF7?8o?wG!*1)vY{f3<3LB+G%kx ze#$}GQYCy){9{TK)E>TJiSsKPfcM8&tOS5;5Ef}5m%xf&Mwf;fcN?!)%0IB)QjxWO zX~a|M(h4i3k6p}KkfQX3hidhT)ilZrNg!X~c=N^&iCZ)TOoy7qcXRL06dNoQU>qj} z@<A zXgZt=`Duc*O;!3IHSW7nPj1`cp9_fjwaKUeGLQ`kBnHSn&!^>KXPQi7r;cGtJ!R?*P1d3cQ$7kx&JHSs@1pVG%XdRa3Ckq4_v+Oh zbfEJUCM3wn|9-Rc^A15shz9_10iq!A*b^Yy4~mcu*{+2Z{3a9W1$oceu_~@Rg9=fDFnz&5I@JVL~8pLC7I+#DMjJLwT zKK%4FwjTL~Df_N6%K@EmAHpxlvB%Y#GXkE(6S}3Jwf;`0^Jh(qrbM)aWe9_Od1C>l zL)i*!!XWe*O{#|K492_00&EB%Zzx)V_N&F`X+qcZ=Y1$Z=m(!L75!7K-k+Y|j}4LR zouabh7ri}fbJ_hSq9O!^+;&YhIs1a;-i@A~3O4|(ecZs3Db|4s#$7)!At#+%D#)`dq|v}xF$BAGa5M4!z%P=H*v)K)sV`<;&T>GMFKb#eHFNwU)s-G*MM4#&gr(1C6wBkcR&4RRF+S@?@sh&Z9yCJ$!df5BGaRCIitLZf@0~k2Y7@6)*8! zQIHHpU`RToUi%ywspQX@7+u|(btv>Xe_Nai21+Ge=4W&bj;mifZ(^7DW+$kAGK)hzJZZ?TEQTs#7&4_s|B0msD>3Q|h}q<8&vx4;cMoa)t1AMo!%#l;E>uIGcAwJTvB@K$lOZasyD<}`B zO+7Q`pZuGj+NMeJ2 zdB>?J2PLvnii)TOxlw=k>d*hY{UFz2Llo-Rj_h`7hw!A`SLYM{Gc0}eAHoQ>y24~Hll7(bHFT%;3qh2%EU>f}8@_l$hg4-jd z`GcwUF;!TQ*_|6~+-{?j-oWWEIpkF0@`Rj-!hn({5WON%p%RMrg4^SQT!tGv;tumK zTdNp~-tvwS$X3G3MJpVs&lFi8bZ9wl)7`8Th>#MB=vQyC%@+dAgizdgxm zzM5}R=v2?syX>4KJKl7Ve&vRzx&7(>aM*23HGJ{{vA5+W@=ZJm{vfs)1#*3j`4cWq zGH{OwiSAb6!Vg9}?#b9qci#G*)!>LMWZ7G7F_ng0$GF@#p2(%LH-V~dejGijefz@> zWHn9oh|{T!4ek?}lQkBd<2#Glg~IMmmq6c`x~uTkS=Wk?;&1HWm2OU^f5?SCIunI{ z*UNn!pf2xANOIHOoBb`<;u+h%&GALIUNn0>E=k^IpD4N*FD`Lqx6pQ-7aUFj>yzWN zJ^sQqc6yogz|%el*@%|U=aRES>9Z-`EL5Hg?n24U6F!m97=xVFjxkCrXwcf2 z1vNf2q&BCzUBoU+Jni25&dY`mC99q%&8g)0k`{C-2C~-)l>2Kg+d;PbvTEmC(mU5b#=?!KyJ$WO% z$+>Y=mR}%cJRTURkv+iOR<+nohv|>{vO3WT%Wxo%&A_WSC!DN*^;jB*#IA+6Lz2I> z5gGz0eL(Erkc?0E|6CCf_Pn;jb32|Jv83Dty_TYbjECgJxxs=QFlX8RZqt z+>&EoD%MUdpCiW_NBM;_$c&HdIyN$KDqPZ~Bcx&9XgHPTKTq|eTguw8#Uqt;LZ_tE z%BQW%=NDLFchKSuaK39|jPD%tU#zm}j;%oCBuCd@D|cjxF{snqT#N*VW_fS6rEUDC z>FUr?ykS*w;a=Y z!}Dt>_A?7hn~Sus5LhuCMw*|#X2pd@-DaIPzoa2h9(np{A8y?6PAx~)lw~xM4ej1E z!oe{l^Duxl<<}85L=j^8KqfjOwLv)i)cCL~E%7JjQ%nB| zYZy+L;V~TV-A3DAUvIcqFn$?{h|@>fwH8ZWMv92G{k<4g1W$)O+n#<=Q^K_!TQkGj zfLLxiw!l3}S;?NZwSn_Si>_&XccT&Wk*$ms%MbBx$UW($rsF(s-3@fTzqZ3_IQx5q z*Bg#hJ}nooOgsqp;;h&qVv>&Cy;{-z@%NXceQX-}*++N!BXANsr%h9kNuu z>PO?N4Vh6XG_ia_8v=~h15Wc|8r=~1@l(YoNZ|&A+@-QBYk>nzgz<`D9CUec9cW@S zc@P&c$Hh!E;uHIuI2b0~MD0#2wvuM@iVNPfNqBHo@;~TV;22_7Ye*hHsIXQuSE`se z#94lX11-DE;D60zAq9?#a@_dw%p5^v5 z*Z81yf6=kIKWG}S#MV_-EKbM-k5E8PD!8|c$fcwDUEwkb<+%qvR#@1BUQi~OWjgG0^(v(Ok z;m6f_pJzs#;IIlM^@g&NkThql|KbhPwK&yKCoW~LtR^fh)c;}btJ>;nnr#>E?(Pa;wHivHxuT0QB4S>TTx-z#S&N~e;L1y^5@1m%`DOSfbFM7*kNehufU;SY) zx4i`QXJgEK<`scLlH&;)+zWM3z*Nb5o25t_&Jto2-s}sy=|0easu4+H`&CidQ(B@A`cC%J3FA8N2<+ScJ+; z)c=iE8m_^nZOzqUxmx6{ZqlCxNMz`VzdJpZ4Nv)xwK?l?vDzsQtUu1l%Cr+cLU3@j zJp|mP8JLoK2l~pMJ;;@L+rO)y&zxoCqa{@2qv3)=1%&{U`n{=@A4H*Sm=OG!zyv?_ z);TE-Uwpduy?O1(-Rzb{WNiBBA^$tN&r+mnaH*VN=gS`{L)4qBpk)+#LX^$0Fwj54 zSX-J`Y-<)kyYu+uZclEoniR~Ub)NWETI!}gkQ+~->RAY*i;BHD&_DAm#N1XxCEd94 zIAAzsgT|k{6uo#t z!E4U&wRE&bTiWaLU)z_GwfxbzTHx+V${o6|$Vhr58kujGn{|JuFIIaRio$~5P1bEZ z#G-C(y2?Lun*(mTZud%jlCkPbG?Ru}^tvTKg)v|C0!~*1RgZ|O#Ug3&)LFxVn9Z?h zsr&Bh8px-VhgmAcye%5{T$jUuj3u)KVNY_mGuW+f0i7 zM@W;>YC}=e-=R?oC+dT8L zldBH+`0}2c<_} zGv#DPm$aSbs3NafN{+|sMs7Vq>xKHw9?ojCsmuINLLXcMq0rjfNLp)0o_XKfJ-`|) z*X>kQJtT8}5ID+fo48{V0vz|3GV4{GC9fGCfamtb`XUm6qO&R3W6ci`qNSD6z``cKb3gRKB-Xe zRV}&eBO#X-MG;VO<1P7=Bfq+K@R@{zFs4+Kvl(ye$v1b@N#RQ;nIx zQS#VpJ;CjYE`ym3PjPm1}sy@#1Ff|CG*fJI@5@4SJT#Utsyc32DTJJ5nu z?NKrGZ;Q>8&|3Z^Iap*eF^<+{i!vB|bgx0S9GaU^B~fY*q(cKcIE_#sbuFITw+G** z7JkS6M>=$jG~PcSML`=wh3mO_Ifzo=H#CK?vvF8F$jCEK47i_iUt;mZjl`V=741FI zX=P+U7R&lF1}{Y9Oqh`!Pn=#OQE+d~$Vse-KR1tWE35;;qKtuTY6_mVK+@n7^W}&& zP&8BIRMaAQyC@nvOq3Y&f$h|6esSAh?0nXsQq<%^z2gj{hyM!;#R&ez@`I-HHzJY~ zPm^6LS~2N&Sp(_yz+ezW@P^8S8_1uxCGidMBzOIl8!LA|{!zH_zI=G`D(* zSBAc!%vq8~ZT2-6yD zAjLjgf)*t=JJpcU^BqH(I? zi2k9OO95@U?^d-7{JLUTk(_!j3D6M(!IC>f|B7c?_LYt-MgL?K2DaE01l8U!{ak;6 z+FN~-;e&P^OW*A(M3005d$+YYMsJ8KGCdWP9!#C7P4Df;?rvgziF0BNa|6Vub-Q0Q=0rzRSPL^Aw+ z`mdm6b^`z+3Qv=b2@woh!MuO|WA(h%+$o{q8t@&`!|~Vb-&tbpKSDe%GZ84V<-+e?J$M?(=%>*X5seO3!i9uB=8KXi zabc-!{7usTX^<&F%Gk5S%dtHqUNk zj<$b()fa{L|8uXNzkZ3He|U-lDU6bX{8mx@CnHN%C7T{HBKMD=*DX%2MTG<1W~hXM%Xwl95Rfm}Or= zDN$wRgcyM?JVY&*iSod$q^oQ1$sytQ8k}zgg=`|6Z&5Q`oE1n?0*a(DT)2R#dZH*zUGzezcQF#XLkYiee&vQT!HqEL>$szRGb&{ z)G-iK620o(oSZAps+~>!oMz+lYD?9s^^u$Va-~LNS^Z6MnTNWyerzc`z4I_eCAza1 zIR!#rNW2TG?!=K6L@(3nNXt={#^4Q@erxjxm^<0Rloh)kayX4(fz! z_m5RY=*$`v#kGK`tPFiAgt5v+n1X_|>bzdmj~4g{Ya@Ia$z+s&t%aTH71&v*7V5MY zdG|}ja4Bt}xeT&=CaydUc4ygt7}4$3a8JSH>gG zmAb?j7xsb4Ut|5IV4nd4MKxtAh-StD?T#btLvZ;u^jKSHYZzR6UrWREDTsFV2fEpPTq3N??TjL)(R;X z={rZ(#IWM5@0chw-YN|zI8DbwAU`P=tc#(*W_oQ7SlB$s@e(mP1mmz!lM(132*17u z9KX}%l~{ERe@=K#Zte5E<>32Ry2edC2|8*};BZv>oI917oNx7;n#9QIR&O=mac?_v zZd@O*@lq5Yl+an8$wTmVJ-!?0oB3Tdb{ryd4plyugw94+8Q`vbXt;_U>XEH0J71sH z$;XPl+6)#k9K1;lI|Bqm5c9ikc_{EnFm# z3ZQk@VA-*!NI1R{bJb_`MW(BjRJK?1DsbJ~7En{%&Q*X^b(8 zxE~43d<;GweJiSRZsGj$>EzFGOQ+h)(k#-vz&9U^2 z8K1RPwFtVk-+2Oio4QFGzopa!4ammsfQ#YST`1?PQesL7WZ8-h9!+J#XKw5~zzzhj z4(<%;Eb9g$l(~L!m_>K(p(Cpf5+E5l_+G5oiQb9@3sDz?`zu*?Gf;>+JcZBcevuVs z1SNSv-wb#$JnQ+{hnM)2jhzZi!jZfJo#XM^9xey~1UByqq=F=NZjfWBJ%%}z>J}xt zm93!WWEygjeD7^<;$qzm{lsh|u-I6K^|dAkDzqj6sJjQPn36Qg2BDUN={tIig*gJlMc>XdA;mhR0uR0AB86c zY=DaF91V0!Ty^Uytb|+|uqgB1glZf=89VUPH?^7^ax|`wBpx=>>}%_~+$I6#KfVQE z9Yc2Y&GJ6qH<%3(WbItJ1fdTpL=WC|G@u`8jdguXyE8JB{Rq;MmE>e&peelttfcQC zq2kBae6jf4gP1>%_SDeLe9d~gY&0sY$G{z~t zeZ%3FXLQzFKM|%50!s8>Z@kH2Vd61j8r5EFp9PD!nC z+MEJex$x!VlRZ^u`jLGpjv`gc>pYr!hnlMV`h*6{ZcJf}gsJvrP*RB~27}|1vShPu zE=BnV1`d`-J>jJTV&i=H2eRxQ=X+8fTOIYn8p*H{ALN(@`lMl=g|7*ZMtAI^dM;aXhzEf>W0J8Re0IE(EoVA}>PsuYB+b=u7`gZY0A4WNG<5>+K&uk#|;ZuvLuz)k621>G)#-6|GnTA0vZ8X7b z`q}_q(gKQghdh_531a5sD}O%C2e@5duOJYvA`#v%Zv}4yU6z#Q*p8gX$3fDx`rX>UF8Q(i_cp)YzR(b##uqov!A=-b}F~7dUHs`L8+_3 zc$w`aM4inbzmOKwteo2+x9b}WYDz-;zkvLKox%?|-`*|Ailap()}5|UK78lUzjYlx z+_ay{=bJI}O}8?|AHH_KR4Tb}bFM-<@Fy<#w`cjtQHmA8uz~l`4SO2$(D1J+;is*> zPg#4Hp?@uY5n@KQr9Q|9aeQW}jPtx5vK!XaH}cybp5i?4CNd5a@1T({JWLQ1l1|u* zR8f~_%Oo0DbU5&8lHgskU+!(v_(4{bpo7M&lb1O^Zn{iwFR1zQR9Fh?k%o5Qtm!*8 zXzJYff98R{h#nHC-%9Ms8aHW!y4EYw_G8fwSTApIX5ul)7X2uvZF}mGZW<+ged`d5 zChK9okoY?`lt5V=-Yk$9bDPY6UhgUMRGa?NiCf`jp$sJo8X6@IT-Mr!xygj8G>uFA z9_X~1%aFpsGIe$}ARW5xpgDQ@)Fvs37l&y#M`Kwb3<0{Y%9@byN_YqWTojr*$V!l$ zCP>VmlfGRk`9dgL8AirQh9NvEmEz^H=^L%tgQc|M(Z;BR&Nfyra@VKlN zss@-ppBB3C?Z;I1R$;*mB!_!eTC$Ra!snF1qg2`&tL0s-mxXf^*)Z*r1zY&=+$SwETKpa9gcVk zA7F&+P%P<}kTfAMryT#umq30t(vH2a^}-?F#z|H^+}#;6ecVMd-?GsKVlw@E4_@-u z%l00Msy0M>qTT_0({LX<-JUBhwnA7WgtSwtxx@0bc<_j*XnfcBLQ^k1zU?4egQ3mE z!9+w)pFS{h%LJN$N|qpth?%Bee$f22rL|QCU{MoRPKqHir$nz zBibPj522wEmnDK>qxlgATDfK$rRlhVV)COTC$?a6dKf*l?V3u|dPnV9K$?WDlfjIeg>W*}omZBy?5wIDYmo1)s?J#L_*x=cx;C$`L zqGs9wNh1?$J<*1Zwd&8Mr&hhHa-BD?-hY0ewZ}BS4Zvu3nzWpz7}`D(>!M~}KXe4| zx>}z7JoJq=ipCA={J?!5k1AWi38&CtU z9o-0f{&;Z5yHTh!W8EVVPs&@^o!FifN#DZ1;<7^jl>1 zxY|^OeD4a?RqR4P%?gYISV(ODx*8|#8V^iz=u$LaXa=s%F(t__41WudXvoBUor@`d z#HwxQf!H>lgHKin27|{8!evB`r%a{dYOTIz+kLZ5VpZd5u1K}6-gt81qnA7D{>O|Z z7yRZ8$!fOk8P49>oQ})jx910hs=2BI*{R;O(Ft1)Bl`xh(#eEO_*^>+&3QMTS&L}{ zN$G5RW-2;LZ8(uq7(H8g#&{fNlUKiX7nfs|P>v+U%JD1Tj&rkPVGE&tlKt%LJcKGG z)7ZwV|300n9B&1xpvQV5I*6aB%*f6G;A_LeVEx^{QT^V#=xzPq!#CJPtuc=aC>QPv)xcD+h^R*od9y5(sKB$t-V zSJ}nksgG=F(2_jWo{2yoQg0XyQu$kctxV+!6s{cE?5}Nol-zM(X~j{r!2^-o$T4w# zM0G5!3R3Q^AqUi5OHR>*PM;@Uw0*~Kc)wobV{2@@IxvUk4T6hqZZ#k(_4#lRE---p zPiPpl@%#v*m-%N7Fo6`wU{Eskg)9Iik+oaTqS0r_^qB-ynaQ(cW2RB8{sti`os2@G z@u>Ubz1nsh{(DD1ZfGFfRi%qsezOFR*vZ&9!Im8Bwbf~YD(c8NPLV^5NpjMBR!q0r^mX~G@zLXS3q#n3$@FE+5-!_|gpqk?(MgKq;Kuq~YwF24$CDbKW5;z`kS#r0%_pmjcM` z&4#YgAj#PxTheWHbRg2^K8Hefr@1JrAQRh1=TIsBh<|qqJ0)OgZO&1uBp70sm6TiA z0i{(nCMIXXncoY;0LL%nVab^WReL#IWAjGvW%j61o}3bqTJx_r5U#EF5ka00-zme` z6pi_z^s-J}wjm5DE}ZE%F$9&qJs!Wi^cAlv5(cj+=H3(x8nNM{^u7t@(nCI|4L+E$ z%#98YzV1w(u~QNX<9O3h0xT zUG04?K-HF&mBg0Qb7NHWeWlY*Ero!WNrvKg)f* z^9nE$YPs(Q?ibhP8l%-v`rmHMxm3S%!qt>}Xdys=PUy22J~$M-FHb~-B-6E9-LqTW zi;f$XIeLozJ#6UP<{N%mSQvfK*raT4RCs1D69}kAwBt0fz6P5;cJD0)6-Ro#m=)1^ z9HYR4`iqFBfLky_S!Vy-s9(F20bfnyKUfpG2|t0XV|`%d^=X(~i;S$wLu!k#B67R3 z3FFXlBEf6-5_R@M!IN1JB0J`LqF>yNFY1;&&UhTUiV3F{O(b6H$$BvVig z1{eBmCU4|X^3I=_PrRu;>z4OxXk-yI6V`j~Fz#r+_R1;Ad+00%?G z(Na->vk1zsE72uc!kTal!x%p+AqM!d6+)v$A;^NkA`gc>4%4-|F#A#z5wP;$v3;@c zG^%teHn(KY)N)~Z{C32pOuSE?C?opOQQA+;Qt6ke%bhW<_~2k$4SSB;H5d4wsq0RF)d3YP=!=!=-4hasSWzoZQ$mtL z3?4p56h6E3l?nC5ULc(Xj?z>CM6Iq7eB2riF7_q)!D5t0tWS)ku<$d zC|ztG!8r0+XA>p_xKTQMv=ab9%;Ce%;fLgClF5AxY;PrL&GLp9SIKz?DURXT>~{!7 zX42Dh^!(GF5|R0DAz-QQad^UdKD%rPeN9S)c=-hhL9R5lx`?;Vdx=k)S&E6qK>|x>Oh#@np92DF{** z&${jpOXgpFj}_3hIKR5#WcU{zIFzMkeS-z1@X&m8Us>C#_0>%lSqyB8b~Th8hnZvA zkK{~a6Oac#aRLM&i|H%ZQ0uF=qZJ{!pVWFMtQrr?hp7V-$snm-GaO5YQ!#l7JRPEz zsU_RMGU?!gUjMA;({*&WabCfvHF;(1jndr`8Ku}D<&Wq+`01R#HpOM7pvY;q29-MV zz2z8;Pb|AFlziZl2CV5Ly4rqhPfgw11cee9v0b-UB)O5)J z>`#oRPmt{#a>!l`>GuUrDvPfPgX}(`x_>gvmzV4$aui|GJAZs!12g~p0(Zx`71F?x zUg;oVZvE`Hu>Vn(=td(!5_=2S^P0cZwB^5Ue0N3`l2?Rek#<0v9Z$Bh?6c$%p@;uq|vDrcG6_oN#! zHE$mbjs7i_@7`N3yd{@}{%OYygsJ+?#r#vVykP*|$G}TH(3wU?iZbS4>9wNK&!rWohxI&A?@u3Jc-R zzT$p5)B}DV)e9d5nETIhtzml3(Q6A zll-Cb^NtJy%Pyp_`H8GW3CA4Zx!2hLVlQEC0N%ze!4C4>B z^h3eJZ085jpz3vbRxz+D4h-Kmrt6?(s-&qdfKb;3J(v6|OXTiirz8(sEp?0DxcAbP3|id{#)WxqmMH#usgfGMLfJ zZx@@(WfUzLc%SW01I3B`WcJDT`oDl*Zz#onY93Mm} z4CM?$Hf69uPE%kf=;eti$Pcs7Wcwv8+X@p_jTiI1kPkhrw>u2dVyl31%Pvh_Iv=VG zig&{+mbuxWDE(B^-6@T7y3X6Pq-0<}Kn}o*YI;Gwv(^dmCcw^}-?K2bF?NJXjnA&m zMYXxA6*P!tBN8%TEU^|(>pxt$>5~l6KVK{^O<|+O)f!KW;<}>q_VM-nSZlbj%~-Y? zo={2)+!M2J9*g1ytOHKU>kxks2tivQZA#mz>!rGLVNFXy7$JwY=?%Fn;nC~OZdoTL z!<&%;Vn@%F4towHgMe^g;NlRrU+tE+cdj{$bK*BX4J(5{;a4n!^>Z+d0y-Ps$)JF; zSA?>K6L1krb)BR%f0|~3Avt+qAmVT9TC;W8xeYL_k)_qO^d584*uVEaM@xCBB3q~O zhj=rH-AG-0S_LUj`m4T?*dOG z_xQieCgoK$5WC3}5o;omLr6i8)8tZq^mvYUZQ70r4&%V@di9muVf|+a;fOq&WcIot zX3bDpi>ZmHsL%_*JXomUyk6a8R3rB$i6AmZP*&R;bNjx%c5fQUDW3?bpp>m1%p9~B z;*6bic34`T^xXCqg`T{^jaWPG&(*@VakKEj0`#Sr0S2&*f`aDVU0Y!33mIq{A@5!F z3u_s>gU;8p@K&EWKM?YEcFMr5@W)3V#tL-Ep6rbllul_MQ@VWU7Tv?@t0g#yl4c2+ z%^2!n$GapLP@q`%D%i3rB-HyL~ibQRd2T0Z)-=#Rj0pG4mx4=95*luKA!jcN8K9l6W*J*jdWm z8BdZof0&HG&Mv<0!{o+hjuvcwo0O|D^JehtfRtETw^0^_#FUYb?(TWOavU!$(Qe~K z+MY4RFjuCScp@=YKEi@bV!4Bxj~HpZm*lMeS1!o?Yx-RK{>7xH`G@J^r6k*C9_rW}NxOmXPeMhMM2_A=sh$=(t&KbO*a3|RbsB?QALaB+1NEOG`~u`DLp>Ct?$ z|4EI>1avK{T6>0v#?889b+0#wx!svYZzMynUywLhX#`=^J9L51w$j)ashG&}v z19t7NXGH4ib99!j(|9{KlN;9zdD>0Zqrd{F(rL*lABEWXnR^LcQRs~r$(Ztl!aMBg zdN2_-H#&nDqDr)%8BR&LZkv>#WRUw@7Hq`4KTbO05}O{fj(7UBK$`u@#%Y??@7s-Q zaZ_a5!2R#pZaUk#?)Q0Lk4M}0Sq?iO~97#OQy zy3$ffV;!U<6XFg7rSg@U@`yGKTW`^o^NS{q%thL$mMjeIPMqhqw_HQ37S_5O&MLQ0 zo3lty%|Oc9#C-S}9NblST9lN|DW66sP~?|7wuGvat|mz*R-}73v)DJK@6Sl_=x&Ok zdOM*J8(=;6;u)JCr?FDrE|mz&vzg9oZ;mL%f#-bB#8t?S|~=%MC4bcvK#YyzPv}hY=~$#`3~3jnCC&SXDuT@61q9 zymq(PQroa_%1r5#UJtE9_~~s8%Sb{Yjnl7)R4{QiCV=xy`F!VA?tbAk2F9TO4+K`qBzpytr@z@k)C>| zAMy!m^5l}GlUNs?RfC($bkU|0&pifubDNE}+o+eJyM3ha~67CXvfFar67&rN%V*1TsLYYY9skFg7PFTUFLxRcL^TL!J2Vb{j6 znw@TB_SrCl>}{`o3eRg2fn3}9#$Tx{Mcx{o5 zJi2c5ajtox16l9`JJ+-A$0;a>l>luA>Usq*Vj$e-0kcX9zKb8y2@5Y(EL(VZnKE9f ztXnBAF_UL55F7h84NeEg!x@BWLx-J7UH;uBY}mOu45B_RjIB0ApIXi67$X?9+e z@O(vn)Z@#<{^!D?%RhlyY@Cfx0?+}`6(>9tTmn3(WjOJl^Fhjz2|8kQWik9VI_mcI^8jglt@S}9_n@7E|%%=zIeah=(@jmki{6pLEcQ?zM_gDN=oaO9gMpF zaMLVb2lTDv_p+p7lE@+NLOp_z)6??XN2rdS))@(Fr6cL#^>PONQ*pRj0 z4=Q&y{&;$8h#SoM)Yovbndvjoh0@sBS2k%7it?o$a!rSxX(fbx(@-Er7#TA@hT-qh zce53n^m-#<0(-182;AT+TP zUFNUza$^|YE%%=O9x%|Einls=Jb{*AF^K)m8!1C(${fulU{$&VgG<`+B-u7VoN)H( zXzM-%YO1&MMORR}%6Mwpj!C=Pe`{KZlLxMY)RKHPt7jYBPHe+GuVe5vFK%H?hh$BE zMb_UaEZERCx3ZD|S(~Yu&$qNR6~LDM1`@sLxl*af-HUzPZ4Y8L1_XgkZONFgh#)EI z5)IA%Mo+MWnvLH6x1DOh0g~+D9rX1L)F&D;>Z8UYzmoS3V@b1-k1E})6|U)Q88=$1 znT>%QPm=W8>r$x})(SNvMs6L)=x;nQ<2#BzZzAFAIm70&naZJ(+}yoaB;<`3IS+j4 z5sB?Jon+d}?DXy0W7fdXh2f9cET55fUJCvudvvz{J4+;XIhwR)K45bHy!VW(cU&Z` zTfVAtI~J_Jvg>*KCM?KckO?+}skFi8f5=zV5Q>ml|Ic!}h$(fr{+d9XnbNuCw+`0U z9^u+ojN}#WKiU+ai`ia6)1>jTTF3WSBtD+{!4AnN{|*phl36!Jt`~@aXxgQd-sUX~ zY?}yhM|ZR|+vvcs>(>9M<~RB}xc&9n6CuQrX0BaoD#rR(^skI@Bwm z{zmY8@coasDO?3SIgk)(=z$un%Ur=Xe12Xi@djOrt?ol2D9#2ArWoOiufbqS%y>vq z3|Z@bGbdEgwqO=@Xnh)5xt_O$6NZSOjrFWuss&lrdJ&{(c$OKFyW;~vhJd=1B=sj~ z-8A?HPQT!@ED^*Rv4XUEmY5>48pYQN8wBSG7_^_(ANl5WSa?~p1RUOQXJQG$ZajNj z$k^By{gAZFgO4iHM_d;qU$a>+c{aB~n1XtAeJY4ve{O$at#e@(V6nYYt-`Ips&~uyTtZpk7JWQDid~(w3{$-#OPyMZD3z0B&E=E-H z5!FV&lm|R_Ycm?x9gmuLX{2BswBNHpIJg<2Yxw!*x3gf(X2*I~AEQghWZgxx_JX)P zI^?N;Y<47YXhZb&=8u4ff(5BtXZ56iY6~uCdPXgGH!;2wuc}ucoC=5k7>iG~_R2_! z>HpVsUTEzd)GSwHo{elQS2FA8r^z(z!1Xm+2QhI+ml_8X!0ro-c!STyYaOIe$fVyx z){nk;Xoondc6sEI=3g94tM0w#q1!Nbwpd{5nMdx+O2aT6w+Cjj- zf}L8uKw-wCx7MZBgf;Wd*UciQ&SCVFK9T=)q2EkH2=#2QO*aL48EpDi#)j`K;G3H) zta4h6r|965LJ})1`1ItlYhG$Xe0fnZoHryFt5-sfDchz!HGJv02 z%E%6j_`yPo^iRIA-46H+zbe%G^bLKmEC1r#mgGz=rHchvnBYXk|%CH4xClp7e*{?_aJ!u?Zv^V?V$ zbzJen+G;jzhprh``dAfY2CW0Ar|XN;7pb@VP9~EiHVPJ}GdL6ryW5Frc`>r`7nkei z*nKx0(>zR{v~ZI>#Vh4)qI$LXXVOOYqhAQi7Z?sHr=k4!U_qC#g(g(6Zt=P+t(650 z4dHjfYkn}5o#ul6N$B$}?W#A8A~we31FN>oWl%`(En?_)KHQ^o2V`)4Z0oFsU+8IC z(lWAJsKkr!kOqR>H9@1GV62w#r{w}0gNM(|z%N!Y#zXyHIP*bbtdc72a$i#dD+cy` z(zqYEE(-dlqZEcm3YKw+q))Fk1Jso19u~4HV~7JlG>m=np?OHuR9E|?PnO(FXz~nv zVT^rwJWR%Ty3t?$wQ|4}9wv!-BN1LKmT9&nSI=9fnxLIe2vDpJ+2eE?V57+ ztc7oi&%v996-(kjGmJj16WQ`lm%Wb%DO!62wNN`>`i?Z1m$3 za%@5E*Xr~X(*fiIvYQ9VXFj}SjT+%+f@cIT-!1F@(-C*D_4sZzFqJm*c=CHkQyS&Xj)A8H;JKI?Q@ zVA-!C_;)+A;LR3cbrK_(jYNsgP4?K~C26(oW{qFZhCaphQ&ok&WQ=XRO+Ju~svFC~ zyuD29|IPEBH~FxUM~!6^X>l}eu+NHf^UL4aztndy44@KpdD8W*S+^K3XQFm?_-K)A zo3?d}xPO3%?W`5ty0ReV;Xb^H9)}olI}_SD%2;ag8R-MEg#t-rH>E6&)Rp7wVi()W z@^H_rQxC8wf^;k)zU!E~66s{>IRC6zi@B7Ol-@g;#*=chzU(204tB@aVXWL+RUz+3 z6_qm;6@4X_C{0L8%6M&?i@V7@wKz{NBHdsH#$jjp?VcoJKe1)d75qh&PR9?jOh&%Thj9#_Q68&Ofav(} zLygz;cMe6z!nWfPO%aFj=j%A{?c2pWbd2z^X@^B#rVu*;LMw!&7+u>%%T`$A-jLf~ z9ZPG}8YdT_`3AcZS0c6`k$f3-E`5(9mbSNH+}GD@x$@w&s;vIFwsOT#u+ja~cGgc% z8ywuwVZ4=J-bDrBLl{apew3858(TlHnmzXVNXJ#w8$yL#qe+Atoz;$&Ip_8_!7qOl z5amZc)t4kZ7HT^Gd>%_-OApwrY5Y^U{F8CZg{a{qraAcG{-W38ah=8d;E`jb>~`zQ zgC0M#x9*vO{mr<&s4{*WC%go-vOGJ2XVd7k=M>MFKRxp`-Q}xr6}Ul|!X|DTcFAJWqnFWlsb%)Zp|R!duZGo#KgF^8bi@WvG`GBjE2%4{YeD3|w(YI9xbcydkqJToeet2_sn+wOqXoOAaXa^R2+@f@vY*jNiLP`o z;@yBuOA^|z5!WH=UT^AF$ab+oz&tUQ-BGVwIffDccY$|nrP8)Z2@~&n&deHYu-R6?qL5PjRkBPSLs`iR=piE*i*qn{V zvY_B>Y!TSrMz>B`lq8|y??8et`>|~MgISyGHzfN8^Cqk2Q7)FtXr{=dS)ssjpl%^F zpT751_Is7OMRB`#0T6*S*yVi}J4WfVO`4D`1JyN65lic7^7=lEFF&X62d_lJXNRjL zK8{0}XLySY_$_3O&z`MfHr|BGtY!3S;B6$ImxXq{87;f2pL5jp>tXPa4O%4?bS4!_%ohF}#K;m81%9r3MG$n6s0htl|Z6m z=tc;56UWvYKlDWqMPq!Cf%b@##bi!l!;i5j^)=6jq8+reSoXeh&bs+&6J|WU2mBk9 zaU(&6r*7676*NH%48HF`n2#5paAkgb*xIjy7FQV@H`F1%l3YHuLE^h>;sjSdYFgs^)tvQp~jWf4+R`lQsK&w2+ltt#WX*s|?7 z13+eF8{?ZTr6u$_;mqwu>2dGaPrE0*M7u&_(|Ejf;hq~BdvQ6DKq+p2t#o8TA`mj$ zfQ2Z*Ljx*Qec; z%T_b({jPUi=l-M>8}sh?l?0~M^Uk{kbmvFQ6EH@*zpX!f^iC9by+e#>m{nUP&gDkW z<=#-mtIP16g=NCwf=H??-_ru?NUhCk@tySC(XXn;nr=kRAkyo2;$aOSuQVoU2jIW% zE>ykW4`yY@hgA|x#2Cyd=m1krGamvFJ}q4jDh9&(^v9Gb0)C1v%OeShg|SCE>*F!sHPx?xLihZr%zT=aszTZYCV+zUe$YhtQ+vVS z5hljcpbjjV4@Vkadp8zqlJnrW8h*z9`rQ{^_4kXS1iaEvp`?4pQQb{Rt*^U+wAecr zwT2xE5)w#g6H7x-O7>x+93-Y)K}vFDd~G61ZzrMYU$(Sum+d1hHx0eB2|)HuFJ_q@ z_6SBp1OmZ%ldl+XT0#+FUy|MdK=hbmG_)JIo7VKo>hPBrYy9j(&?v-FC0(?~&DrR@ z&S-dk$J2Q{?OM@|{`NXH2;|$<%gdzt3mjl8_Qn@GQt!jm7A|S`_QrDRy_73O`ai*m zG8_jAFb)>X%T0m0q?rqOC$B(`uyWHEig3aRgw5~lQGC1NUtblXpcY=Y-me5UJn7if zEx`uXXCgK)Of}Xv*+gKHsY*fE7_zGK;x0CRA$uU#Xy)%p zTD2`-=;Y@e&My23fdu|}MySeVEeg_?&4to56#36=r>xCkn&;gp<{pdo$B#ZPjb|bj zz7!73zlRbnKJEe};qdtFU|V5FNg^xH@di*(s{G6=UA{XFhY2pw19u}oT70OiOcmsg zWtVuoqc=+IFngI_Jub01oIT2Z&#g7<_~PTh;r$z*Mc9WD>jP@vQTXeRn);;iM6R~> z;;;n~LnXHSy=%$@{P~tBfvb1(9WU-3+8v=q2Jd!%%MY4Vtg;%tU!4CK$Bkn-IgVNZ z-KX=FVif#*`t`K+4pSVZ;=9)T^vcQ&8iAUs;Lf!Y-FqG=Cg{W7P%@Y_C|{HXt59zO%63WzQP}si z$ooKW8B$cDVHCot8Z>rLL%NBs0Ql3|+$KSm_7Q##dr6j=%h0&A6FNqr#A{Bnab~f@ zG@X)42lJD?41hyhGL~?}2xl41>bbxQVK+Yq{d})FtfKF$Snr-KF)^6CweoAjgdWB>&WW5XBnJ`hTXxl_2?*#;^1JHY<{l6qGxo1sW z-wB+r!7ljotm%yxEC>agBIEWhsVQ(6e{qrYuu$b^|r|H-0_VY7j7X7X!V0b`lv`XSL8>amfo zTy@UNvNiGAWAeGCVdRmHLTc>#^8tzT!1Hp)IjhSr8S~X^@G#-@71X4pbAN}{iizOGuzkq+_T#;9VR z$45Sq4l9-{<~4v~f<0<$FL8;>$ZT`$)dvm=_t_J z%RJ9WH9NkdMbF{z#z1Kcl1gZXB+n=j_chmsvY({9?(E&mUc|yGb&{@(W5Ty^a=|UB zsEmeeWiWl}NbDbNP;Rzitzf1QuZ(0zt*qBx=ub`(>nk&J~a%fzR?wo5PfRP;5q{?1zb z@yV`-zn7&xpJZC0vom?wh592Ed;a9;PIPfm>4d2S+T@u8YS%)+q#3}56BJBTSq4kYgFwp- z=-kuogPbi60kqt;S7%+mb zd_KhD0OT=n2!k&ySMXtA87RpO?4aF;Z*Mg609|lEq5gGsP3uI6a|{_dK#oji0z3H_ zivoz(!|4E`B!nA4lz|%90|`FhSUfOeR3j)<$Os(PfPc4*QaE>1f%JR2`njxgN@xNA DzF6(D literal 0 HcmV?d00001