From 74b8c0c313e756fe85718762b7ece91cb3426163 Mon Sep 17 00:00:00 2001 From: "Andreas M. Antonopoulos" Date: Mon, 19 May 2014 08:33:01 -0400 Subject: [PATCH] chapter 4 re-flowed, new diagrams, re-written introduction --- ch04.asciidoc | 192 +++++++++++++--------------- images/HD wallet.png | Bin 0 -> 29100 bytes images/chained wallet.png | Bin 0 -> 17682 bytes images/non-deterministic wallet.png | Bin 0 -> 13709 bytes 4 files changed, 91 insertions(+), 101 deletions(-) create mode 100644 images/HD wallet.png create mode 100644 images/chained wallet.png create mode 100644 images/non-deterministic wallet.png diff --git a/ch04.asciidoc b/ch04.asciidoc index a5b1f3ca..9b0aa0ee 100644 --- a/ch04.asciidoc +++ b/ch04.asciidoc @@ -29,17 +29,6 @@ In most implementations, the private and public keys are stored together as a _k ((("elliptic curve cryptography", "ECC"))) Elliptic Curve Cryptography is a type of asymmetric or public-key cryptography based on the discrete logarithm problem as expressed by addition and multiplication on the points of an elliptic curve. -Starting with a private key in the form of a randomly generated number +k+, we multiply it with a predetermined point on the curve called the _generator point_ +G+ to produce another point somewhere else on the curve, which is the corresponding public key +K+. - -[latexmath] -++++ -\begin{equation} -{K = k * G} -\end{equation} -++++ - -[[key_derivation]] -where +k+ is the private key, +G+ is a fixed point on the curve called the _generator point_, ((("generator point"))) and +K+ is the resulting public key, another point on the curve. [[ecc_addition]] @@ -104,6 +93,78 @@ Below is a randomly generated private key shown in hexadecimal format (256 binar 1E99423A4ED27608A15A2616A2B0E9E52CED330AC530EDCC32C8FFC6A526AEDD ---- +To generate a new key with bitcoind, use the +getnewaddress+ command. For security reasons it displays the public key only, not the private key. To ask bitcoind to expose the private key, use the +dumpprivkey+ command. Here's an example of both commands: + +---- +$ bitcoind getnewaddress +1J7mdg5rbQyUHENYdx39WVWK7fsLpEoXZy +$ bitcoind dumpprivkey 1J7mdg5rbQyUHENYdx39WVWK7fsLpEoXZy +KxFC1jmwwCoACiCAWZ3eXa96mBM6tb3TYzGmf6YwgdGWZgawvrtJ +---- + +The +dumpprivkey+ command is opening the wallet and extracting the private key that was generated by the +getnewaddress+ command. It is not otherwise possible for bitcoind to know the private key from the public key, unless they are both stored in the wallet. In the example above, we see that the private key has a "K" prefix, indicating it is encoded as a WIF-compressed format. This means that the key-pair is stored in the wallet with both keys compressed, saving 31 bytes of space. If the prefix had been "5", indicating the WIF format, we would know that the key-pair is uncompressed. + +You can also use +sx tools+ to generate keys and convert them between formats: + +===== New key +---- +$ sx newkey +5J3mBbAH58CpQ3Y5RNJpUKPE62SQ5tfcvU2JpbnkeyhfsYB1Jcn +---- + +==== Public Keys + +The public key is calculated from the private key using elliptic curve multiplication, which is irreversible: latexmath:[\(K = k * G\)]+ where +k+ is the private key, +G+ is a constant point called the _Generator Point_ and +K+ is the resulting public key. The reverse (division), or calculating +k+ if you know +K+ is as difficult as trying all possible values of +k+, i.e. a brute-force search. + +Starting with a private key in the form of a randomly generated number +k+, we multiply it with a predetermined point on the curve called the _generator point_ +G+ to produce another point somewhere else on the curve, which is the corresponding public key +K+. + +[latexmath] +++++ +\begin{equation} +{K = k * G} +\end{equation} +++++ + +[[key_derivation]] +where +k+ is the private key, +G+ is a fixed point on the curve called the _generator point_, ((("generator point"))) and +K+ is the resulting public key, another point on the curve. + +[TIP] +==== +The private key is just a number. A public key can be generated from any private key. Therefore, a public key can be generated from any number, up to 256 bits long. You can pick your keys randomly using a method as simple as tossing a coin, pencil and paper. Toss a coin 256 times and you have the binary digits of a random private key you can use in a bitcoin wallet. Keys really are just a pair of numbers, one calculated from the other. +==== + +The public key is a point on the elliptic curve, and consists of a pair of coordinates +(x,y)+, normally represented by a 512-bit number with the added prefix +04+. + +Here's the public key generated by the private key we created above, shown as the coordinates +(x,y)+ + +.Public Key K defined as a point +K = (x,y)+ +---- +x = 32 5D 52 E3 B7 ... E5 D3 78 +y = 7A 3D 41 E6 70 ... CD 90 C2 +---- + +Here's the same public key shown as a 512-bit number (130 hex digits) with the prefix +04+ followed by +x+ and then +y+ + +.Uncompressed Public Key K shown in hex (130 hex digits) as +04 x y+ +---- +K = 04 32 5D 52 E3 B7 ... CD 90 C2 +---- + +[TIP] +==== +A private key can be converted into a public key, but a public key cannot be converted back into a private key because the math only works one way. +==== + +==== Addresses + +An address is a string of digits and characters that can be shared with anyone who wants to send you money. In bitcoin, addresses begin with the digit "1". This is an address made by hashing the public key twice through two different hashing algorithms. + +===== Base58 and Base58Check Encoding + +==== Key Formats and Addresses + +===== Private Key Formats + The private key can be represented in a number of different formats, all of which correspond to the same 256-bit number. These formats include: .Private Key Representations (Encoding Formats) @@ -128,24 +189,6 @@ The key above, for example can be represented as: All of the above representations are different ways of showing the same number, the same private key. They look different, but any one format can easily be converted to any other format. -To generate a new key with bitcoind, use the +getnewaddress+ command. For security reasons it displays the public key only, not the private key. To ask bitcoind to expose the private key, use the +dumpprivkey+ command. Here's an example of both commands: - ----- -$ bitcoind getnewaddress -1J7mdg5rbQyUHENYdx39WVWK7fsLpEoXZy -$ bitcoind dumpprivkey 1J7mdg5rbQyUHENYdx39WVWK7fsLpEoXZy -KxFC1jmwwCoACiCAWZ3eXa96mBM6tb3TYzGmf6YwgdGWZgawvrtJ ----- - -The +dumpprivkey+ command is opening the wallet and extracting the private key that was generated by the +getnewaddress+ command. It is not otherwise possible for bitcoind to know the private key from the public key, unless they are both stored in the wallet. In the example above, we see that the private key has a "K" prefix, indicating it is encoded as a WIF-compressed format. This means that the key-pair is stored in the wallet with both keys compressed, saving 31 bytes of space. If the prefix had been "5", indicating the WIF format, we would know that the key-pair is uncompressed. - -You can also use +sx tools+ to generate keys and convert them between formats: - -===== New key ----- -$ sx newkey -5J3mBbAH58CpQ3Y5RNJpUKPE62SQ5tfcvU2JpbnkeyhfsYB1Jcn ----- ===== Decoded from the Base58Check encoding to Hex ---- @@ -165,26 +208,7 @@ $ sx base58check-encode 1e99423a4ed27608a15a2616a2b0e9e52ced330ac530edcc32c8ffc6 KxFC1jmwwCoACiCAWZ3eXa96mBM6tb3TYzGmf6YwgdGWZgawvrtJ ---- -==== From Private Key to Public Key - -The public key is calculated from the private key using elliptic curve multiplication, which is irreversible: latexmath:[\(K = k * G\)]+ where +k+ is the private key, +G+ is a constant point called the _Generator Point_ and +K+ is the resulting public key. The reverse (division), or calculating +k+ if you know +K+ is as difficult as trying all possible values of +k+, i.e. a brute-force search. - -The public key is a point on the elliptic curve, and consists of a pair of coordinates +(x,y)+, normally represented by a 512-bit number with the added prefix +04+. - -Here's the public key generated by the private key we created above, shown as the coordinates +(x,y)+ - -.Public Key K defined as a point +K = (x,y)+ ----- -x = 32 5D 52 E3 B7 ... E5 D3 78 -y = 7A 3D 41 E6 70 ... CD 90 C2 ----- - -Here's the same public key shown as a 512-bit number (130 hex digits) with the prefix +04+ followed by +x+ and then +y+ - -.Uncompressed Public Key K shown in hex (130 hex digits) as +04 x y+ ----- -K = 04 32 5D 52 E3 B7 ... CD 90 C2 ----- +===== Compressed Keys The +y+ coordinate can be deduced from the +x+ coordinate, since they both lie on the same curved line defined by the elliptic curve equation. This makes it possible to store the public key _compressed_, with the +y+ omitted. A +compressed public key+ has the prefix +02+ if the +y+ is above the x-axis, and +03+ if it is below the x-axis, allowing the software to calculate it from +x+. @@ -195,21 +219,6 @@ Here's the same public key above, shown as a +compressed public key+ stored in 2 K = 02 32 5D 52 E3 B7 ... E5 D3 78 ---- -[TIP] -==== -A private key can be converted into a public key, but a public key cannot be converted back into a private key because the math only works one way. -==== - -==== From Public Key to Address - -An address is a string of digits and characters that can be shared with anyone who wants to send you money. In bitcoin, addresses begin with the digit "1". This is an address made by hashing the public key twice through two different hashing algorithms. - -==== Private Keys -==== Public Keys -==== Addresses -==== Key Formats and Addresses -===== Base58 and Base58Check Encoding -===== Compressed Keys ==== Wallets There are many ways to generate keys for use in bitcoin. The simplest is to pick a large random number and turn it into a key pair (See <>). A random key can be generated with very simple hardware or even manually with pen, paper and dice. The disadvantage of random keys is that if you generate many of them you must keep copies of all of them. Another method for making keys is _deterministic key generation_. Here you generate each new key as a function of the previous key, linking them in a sequence. As long as you can re-create that sequence, you only need the first key to generate them all. In this section we will examine the different methods for key generation. @@ -219,20 +228,14 @@ There are many ways to generate keys for use in bitcoin. The simplest is to pick Wallets contain keys, not coins. The coins are stored on the blockchain in the form of transaction-outputs (often noted as vout or txout). Each user has a wallet containing keys. Wallets are really keychains containing pairs of private/public keys (See <>). Users sign transactions with the keys, thereby proving they own the transaction outputs (their coins). ==== - -[TIP] -==== -The private key is just a number. A public key can be generated from any private key. Therefore, a public key can be generated from any number, up to 256 bits long. You can pick your keys randomly using a method as simple as tossing a coin, pencil and paper. Toss a coin 256 times and you have the binary digits of a random private key you can use in a bitcoin wallet. Keys really are just a pair of numbers, one calculated from the other. -==== - -===== Type-0 or non-deterministic (random) keys +===== Non-Deterministic (Random) Wallets The first and most important step in generating keys is to find a secure source of entropy, or randomness. The private key is a 256-bit number, which must be selected at random. Creating a bitcoin key is essentially the same as "Pick a number between 1 and 2^256^". The exact method you use to pick that number does not matter as long as it is not predictable or repeatable. Bitcoin software will use the underlying operating system's random number generators to produce 256 bits of entropy. Usually, the OS random number generator is initialized by a human source of randomness, which is why you may be asked to wiggle your mouse around for a few seconds. For the truly paranoid, nothing beats dice, pencil and paper. -[[Type0_keygen]] -.Private key generation: From random mouse movements to a 256-bit number used as the private key -image::images/Type-0 keygen.png["Private key generation"] +[[Type0_wallet]] +.Type-0 Non-Deterministic (Random) Wallet: A Collection of Randomly Generated Keys +image::images/non-deterministic wallet.png["non-deterministic wallet"] [TIP] @@ -240,8 +243,6 @@ image::images/Type-0 keygen.png["Private key generation"] The bitcoin private key is just a number. A public key can be generated from any private key. Therefore, a public key can be generated from any number, up to 256 bits long. You can pick your keys randomly using a method as simple as dice, pencil and paper. ==== -Once a private key has been generated, the public key equivalent can be derived from it using the elliptic curve multiplication function. Many software implementations of bitcoin use the OpenSSL library, specifically the https://www.openssl.org/docs/crypto/ec.html[Elliptic Curve library]. - [TIP] ==== The size of bitcoin's private key, 2^256^ is a truly unfathomable number. It is equal to approximately 10^77^ in decimal. The visible universe contains approximately 10^80^ atoms. @@ -249,35 +250,24 @@ The size of bitcoin's private key, 2^256^ is a truly unfathomable number. It is This most basic form of key generation generates what are known as _Type-0_ or _Non-Deterministic_ (i.e. random) keys. When a sequence of keys is generated for a single user's wallet, each key is randomly generated when needed. -[[Type0_chain]] -.Type-0 or Non-Deterministic Keys are randomly generated as needed -image::images/type0_chain.png["Key generation"] - -===== Type-1 deterministic (non-random) key chains - -[[Type1_chain]] -.Type-1 Deterministic Keys are generated from a phrase and index number -image::images/type1_chain.png["Key generation"] - -===== Type-2 chained deterministic keys - -[[Type2_chain]] -.Type-2 Chained Deterministic Keys are generated from a binary seed and index number -image::images/type2_chain.png["Key generation"] - -===== Type-2 hierarchical deterministic keys - -[[Type2_tree]] -.Type-2 Hierarchical Deterministic Keys are derived from a master seed using a tree structure -image::images/BIP32-derivation.png["Key generation"] - - - -===== Non-Deterministic (Random) ===== Deterministic (Seeded) + ===== Seed Words (BIP0039) + ===== Deterministic Chains (Electrum Key Chains) + + +[[Type1_wallet]] +.Type-1 Deterministic Wallet: A Chain of Keys Generared from a Seed +image::images/chained wallet.png["chained wallet"] + + ===== Deterministic Trees (BIP0032) + +[[Type2_wallet]] +.Type-2 Hierarchical Deterministic Wallet: A Tree of Keys Generared from a Seed +image::images/HD wallet.png["HD wallet"] + ==== Key Storage ===== Software Wallets ===== Hardware Wallets diff --git a/images/HD wallet.png b/images/HD wallet.png new file mode 100644 index 0000000000000000000000000000000000000000..18f8adca188e28e17bb05640c8ff48a6040ff798 GIT binary patch literal 29100 zcmdqI_gj-)vj&PHq9P(F@Y2LWld4iek*Y|q(gQ?5YJf*r^q$SDFIS(OPX7LahOumFp!2m< z0^h9}@AMxkq4<%1&!JDQ3z+}ky1 z%r*?YJ^BCBPZmdq*O-KkT4cZ}Dyob{@81(iqd{wfUIwgZvq`nW zep9Y#4nzq%dV2a}>BC;2&kNVPu!+XPg($Ure;b72XNMmWAnm^Q8+R5xoVK?a)2@2` z?%WH}O1s~YDB@*a=@8L3F|k_Vzv+;)GK!LG@LK~8_{Hm?8n=`kg|Xq`1vF^%z^8DB zG+gO;+)8To%V$f?gCdBJ!v3k24t7Mm%abuw_fAPkNvo-masS`2G9KsnQ<&o!lg$r{~#cZf&_A z$DfXN4aMcw=IbXK!3X|ezxJmJ$#S6EpdsqQeZ^R&mDIks}Q zjWB=m$XKma!tN;aG0p0O2M@Z`xPzKBE&|<|J;=Krrmw&j7Ua|9Zq`(-Ftd-Z?#8lA z_^l|py100T5AyT#%a{WPbRFO9DVWeH^k#SFmDhTHQs&c-(rTveTe;N?8nTIT(7g)uDPZH{<4XmuS}W?$3PTTepR;~xk5!WcXv!Ff6i&?|8 zM?;^15gX+MsQNh;^}am$b{b5Q@;!wUb@40+4+}`jzQoVDOBoVbFusn@)jHhh=!DTn zoLVs(9~T%2rKZSxG3{}_u14^oJ;O)#e;9_f*Z%yuLn{k3yny{4G~NC}>(&_z4{eBE z*_%tBqoM^G1oStTz<(a~o4@sfTP<*La?X6E*ja&??O)-t*=?#VEjp|-h{u=BDgWLP z$D|S=5T$_W&X3J~{@k)WFB zZ1E2IJWku$N-TVs^4IrU`R#3MNYRW^kD?ZE|JG^XzlW{BtxS`I4)hF**xOP2peY@D zz4l4Y`I(vDW|H1l3PwE=@)$zFxM>A|CZ(q33G`^w4lF-8JlF(w(M4^{yH6+GaEkKX zWxci^74{w4!Kkcs0vlEwhjr%Xl=J;aeFbQ|{yY91U?2{O5;X-~(s^88>^oR4sRIo! zJ}oRSSD6!&dU~F=f~qHzgv~b=`unfa-U1qxD(J@DRn_9yyuAE9yLx&q)1I8a3Pr!0 zb_6sLPXdQOFbkRWPy`%(9gbgxI%=z-&a{YCl~e4?gCZpEH_}K#w>`Gh0RqZSw(zq0Uh~;t$mgckp4sIQS=Z76D$2_ca5uan?=`u0+8BTp+a2R;2xtqFZ(_(Y>W_6CZg zUm5!!qoTkdRApVQ`J;!^QPnme*P*X3PnOM8R`;7dWozZ3X*Nelegu5?kIf~@wRjQV zLnOkc4%qA2ar)8~UcIWUhi~691M`Sa@M_wYe5+8wo zL^)O~GbeVQ0tP4i>MwlU)t(?U4%!_UFafp3ubh4s35KBw4nb?m;2-qNn#Yw=c^3*~ zYJnqij=UznSnZT1?pJnDo}1g8U{k~Jl^+m$blBS6e#uwM6U;&;f$c8=qpsog=a(|5 z*l104sebj@(bVqiKKQ2FDv?#xa{gmvWJOxWs=-vEY~AgbP(*m|V0&wZsHmLp@~^L_ zsa`xBMhBp9wld%vg())k@z#|&*5egOY8-ZdXrbOK`(Q2B7Ux@z&X}NFjLq4UdFW4; z=3BRJaT)<?Qlj+>J#7aRRahp~7lc{k#&Y3!Dd#dz6}cnyF5bX@G4 zy3Hquj-H{7)@#?ePf;luRvK$1iTV($keF@RxwJU$v$59GrFQ&jT4LDmhwwJ>Fb4f7 zZ$G~)P!?NqsnqB1-(@~gQ7L$E@H?5rwl4H;EEXf-;>M7LUBu=QFR8&dyFHF4O(z?4E3um?%tux@-804K*zz z)pfMYg4OyP<1VdtA*-T|D#1SzK6?B3%sSX}q&Zp#%HLbq+8nwPfNpvx0luDB-EMhy3Mun~ifVygN+^uX;?Nq&WnHgA{6Q>qs*!rX>%whW9hiII-@YMI zv&J*N4Ub(9I@m5x&&cb^v0qI+V2zg=avD4fg+dP)E?o!Ka!j*VdZ+Fi%dmj?WZ|Kh ziDh227zQzHyzpxM`%=iNWo<#*f%SfYsQUhUjSk zl1kBuxLGC)35*K)6C+d&Dm$#$394}oYAWVZ*ei}oE0Y7k#lHf&t52#<4_>ujlkAsG z_B!qIl2B|q>TxLNw9+|k?N)+I0eJxi93M_j!~wRk(sQ;BK03?jYKq-;c{!rvhLQ!1 z_5TiAS^dV%Os=1x^-C-f8whskTFD2jB#ZY0Tt@zOogJ3CR5kDvm2I5$%ueMBv{E;= z!*Hucx!F`4C4{USFo&Cmo3>|EyfcIpBg;L{;!Z=Q%#O>FouIBaG@dBmypGwDyEfP| zf(`)DG61^q6IMXuZnD(yT*Ir`o`DZ@Y(F2}*E2NVMoLj5GLW{4Hm!bjTn^qyW^Kem zPhF!M%@`P}a*hjIlLvNXN3~8vk$=Q#k$)<^-(454%555KXTp4Osov~rW9WcKpd!<} z-eyM z9)-BG3@Qp0KVt4~+=UAts8n_(?oxonV$dm|ugr5mX@K62uCATtpR`P(X8;Sm-CI3K zoELEj&pP$!_KE$Nq}UHLaiu^;2;k5GiGE&R_i$Xm=UR6T={-8aYq{%B(^YeSc9wII zG80EJ+}}rk*lGSVy5@hN(%LyQ!!vjJI_ACD$?ba7QTRB&Q4|J5Dcd}|;}Bh%$lK65 z&tZR&2%$+we!g)#Rpc$UqrFVK zaV2=-XFpp#_&J$ffXFPQawTxp>`!3p?5|_Ab|vy;WImQgVuAM z$>ObtoAqUKV>DhxH)_@nr$H?rFslrg8mG{@etxLY;N(sE%aA4j^#F%KEiNrRkIQ?+ zXlmlrV!DTQ!*#n){FQTmB&mqc zC~5+*B8(dxn@3Btu;hgO$*D) z%8En{)rl+%(8<>Fe5RtVL-mhmKtrcN#amX5IdxMNv{#77_q=~PJGqjc?&Gr8X!qfS zJ;Y4W(N3GA^`E0Mn&-l<)PIK<-Z)Emo2MMOq#RuRq!Z8esFw?uWw%v7h!AV52qk3p9VfTR~V~f#8k=2Q<&D@Vq4_M$J^9P=m#7gjW@wHQhLj zsw)5xEPBr}i)T)2uwlzyi<$l6l!wP}UOJI~Mh$C4@~&paKnZ#{jsEFxP_XaH$n5!L zJH2K4Dl6Y@#TB2Rh9&S$;`mmn{!R_jx6BWM1Yp06_x$BK?vp#Nw2}u>53JVLtV7zc zSlz(R0vG)n$_^3S8n7BtFkch>%bmP^_*p=aJf44Zv`tVH*@-AcfiZleK4#1wT2M*--U&a3T0tYz^i;qJ4QEf73>ILqmU z!3Rf3aG%!m`T6 zlv%>g0P%RAq*#BP=S>@AlpRXmhqQUdR{l_)@q7BT3H>=q3s4Gv3?ZHfM3??n6As;< zS2UjW#M6st8;Mq8b3Jk+bi9QZeR!s0J-dwm4zCaRP`(7W_q_E8d!w!r%^O$ia`zvH z#GMhTDe@f-#qybkoeB0YJtHDjX+G%Ewic(Su)qttTC|sTK1k>CdV)3>p;n%f1s)l! zL+0N52w;pZ^S>jvvvG2gHY`K$x9c*UMM@_H7* zTl)jOIw0kdfdu#Lz;!}r*>?K>K_;pZxmn9bpymIzQIotvA{znZ(5Nv>^Pql}+X>PI zW6G6{`zR4GcVRuLNUFXk1!6R~8MqfAw5UBR3J-$Xan=NRV|I%yo6qbZ2q0;IQ1du0 z8FP@g@44$pY%oeq+eV`!9SFsYhi6X=;R`ZfI{*;UOqWv5E<`*C6mkCMAS)@y?N}H7 z{sf~`uke(h#xPw63iTf4BR04(zwx@>lvCGsCtqeEOHBnuPc>AHQ z<2l~#E_z^c<>wDtj90H`*6_TWWfXo!3P-kcy1O(G>L&A~^jv+W4d<8O++*ey7_)=% zDFQ$SbPI`}`g?$g&wDy?q?Q|)BKvA-v6ZCSTPr3=>lMkOb6#FHQ^ivKro!OWD$70W z^W2Mq0Rmgqh?QyzGy!v=9I{HwRRaR#B1EW8&MBJcqJccd>8MPcx*HWjV+#D`+u7_rQl)#wC(ZHVdlL+ z=0V;zB?mJJ90H{*DTiY9~-+~mHq+{Wc+NA&Y zyawKo-^NV5pO8im<6PDbtQvg%6}wN&-QoYYxzhuk8JMB|k2o%B!Z5peg^|XUU0z<{ zxcFjA*HMjU1eKBCcYgtjDzfw~@Ak;y;bCghUtd|xiv_Sq{pNB9j3okF#JsR2=Ac!t z>T%h~(RE{V+-qmf!Q-&9Vw0VH{E($p0bf$dt5Cr68V>pQG@~KSW*QYF$7YM$3^gXX zg8-=JE)jKc9^0Xip5I^B#PAGmqie?h3&eQedU~FLi;JrX@z>Wqg#;7YO%|y3D-mo> zyhhH^6D1jge&T~NNAfnnEwKFc8& z_1jnta;>HtZ#>~@jGkEBoQczex6!|G33gP0TrmkOt=Uc7_OZ^6I*D`sx&*1&ov%=} zu^N;Z*O3f9g~@k$XfjvGiBCb>5mms%y}VUL1=#qYW&RTxQDt>SPdp1>E6GlYW&S*J zY}r>BIdU_lO7QN@pEv7N z$UqokJ!bwFrySD${lt&*Nu>S7Z~?sJM)M93uGfc{4x+vwOZ(3qm?tQ99{uach4xh8 zKknYWJIO2KBMcegDr7>dc)@AY2VtcLB)SE`Yl_VEF5Jq>Cc@wUf&LxS8sgJo8$Z{)dg zCCm-M#^B(XiRV49?rQl(ySms|d@`iXm8OJ#@{iha)GUHAUufJ$Yup~d|C;c2F~2`^ z)z=gPYiF7do1-L;%X@t09_NgQ7DdXXOj*gBQ(gmJPAYI^`i@S%0J_%(H1c^j)q)0+xz7R-jPuLayq1C^d zpP;e!{e_1Kh9UTADHLuFH0Rm)29A926A9n`^4l zhsST!{bo+E#(r-X!>3r2ttLb-_0C4PyZ&8Hj280MafdnScSsJ`?|tJ!@=f#tziSex zzWlG1c=*awPX|sYu+7^i0&MY)7m%iCGzVd;-iE~sngTLf)_49ty-nTnOhPVI&bxVf z;@Q~QFNp9d0~Z)~ZPwR6o8#ZhHicgjdo$GN@3ma%F5U(#%k7o-|F-hX$CPU{YY(P8 zcz21W?D*s)M(WlD`~P><c1I>->9%jLNhvCy#)L{{#MMg=eY3{&>AgRA{ za9R=yRbTu1Rq2=E`<$6U7MUC9>QF_w{qL$e-gbYL^PCvECQIR`HX_8tjBcRlaPt6I zZmB#u=J|hms6T{n)wx(RdYedV#It7(e*>6|FA(t;*fhxl*2|EyfTIrk`L5n_czQZH zXHe`XKsmZTC^&Z>33RvzxGCy&nioU4gZ1_raAQ&ZMX!d2hQ|#BPA)F(X+f7{1I{f7 zXl3$o{2iz~o2|w(XYjbLHHur0uy)gCqx+f#N?M)!h>zb5HNKkn%ra=j=Vj!Bzfs0H z-Vgf)BW;H1qXPqp7I$N2YHDiW3rs&@@ZOJ&8c5IQ39ZGJ*0W+lA9Rl=#>TWCvR%hq z1VXH-mPD7Ky3e-rlvN zLElL0q&UTc;)*%=P1o*+SN?Ei7o{l147tUIqfwV$^fI zp;Fa2QP#KO=7MC^6A$Ip+I}5|e@*uWsN0_E_io#=rU+=)P^jI&l5&<9#wf@8xdn zEG#XBYXe)}b+5YMV<*%C#Ess;zP1%phZ;$szgqIO5`_Q~g2*P`2yE2hM*~fOI1mvB zI=`+6bSt;WJ%|#8omdO~)?GO}91q$=_PWhK*RGYxQD_sz--2tJ(*eQegNmZnFA_~dViRP2`0Cg2?HeCBUIEYU%O2&fa4U;-qn1b za51y{vGb1xY--m3jBxs%SKBM>Xfg{8mz=NgmWr`^zSs z%=4`|_U8P*f|3-yzW9_m=c#gXe(-|MlIHVb16@Nv2EQH>B1)ro6%IC1+}U579n2!7 zBR1y(&NH^3uHm6=dsZ$j_pcn4BD(8wMim()kD&q?QTcl5kATlBdU0_+cF@QS4loc8 zSexEMPc0gEk!jNP-v8m35w^x#8r5$$G!{0#`xhaw<)+G7X_P_WeeApGX8~bpQD_Z9 z@1ydeJCMMHa~|Ue6M!(8I?s3nOuy12bc+UZurO!69XwFQm-zSopLyQDEM_hpOn%;S8EnDcb_BUdQG zgFdd-W@_}{mu|kt(W{CpH^~~8e3#Wx=gq%0@stvXQu#q&gG;dTCR#x2m)tGERdnD_hhBt@ zguJxSQc~?Q_a#vdV6TM+^DL`4??VAL+q{S8LjWlaey5)5PzpTd!j4k{OsO;E%d}q3`v>sNX48#Z z4j+0oE6GK=rh}WF24SHIvO^w5D|pu9$L9%qiK7uB1-tuKZkEKWFj)%U{!W|~!Nr7} zIK3B$Chi9&E_q$VCfnKe1RpW<-V_j_q2xwQg;j)BHYoOO)4@$hdCIjlZV^+wC831% zQd3i#2lm>uGn_>9?z`SJA{Nr@oQnOb^N|8xK-<`KNbafW;hC z1F#?KJkIFteKEMz2)Q*`vCYQgrL<&75(q4vf969Kk1f?-xx`XJ+ixhj}2m<+S+~(GR)v8)NFUp*f7j>wr+2O#e3^| z-32gGq1hkt$J=Er?`Yg?4cvH4H8f#IA7LE{9b;pICGD{IsT2r98Ao1@g9NYcw)Ygi z19{F0ZaY;xNJ;KiF4jxFWTF@$#Erz6-ypnMRYBXR!sEw}eFEh1K94|CKrIrTl{MM*{%BK9II0uK*Vx#JS$aCg9=%o@J|EB_iGe62o# zkeSPrrTmD1VwW{OHTn!F-5BskEtA#iO#+dO4;5$z zLEy#atfJpG5YYSNvOg5RFGmKR#Z#Lq?fNNX}onC(AG6k%Oos-i~xw1iG-Q8#VZ@0mHQ@k;} z51kIcOs~7z;6ffhyH5@7bx77L^vZ+*lP<#~a+FUPee7}%*V6q5ABV&1u9+`{v6Sb^&~nC}0?>UCU}tAt2P_H~ckb;) z$e}<2E)JQ))&$?8PUS5uB{g#l10vorcA|?W?Cy;OvPngBE*d=^N0e}sU%Cs`>X1pc z^4KcM3S$7~8yv5#abm5xW6y6Y0!a?DTrT*+Av7MCst|;LN?gbMF~?LHevzpgKD zHU_ezwpJ7Pi6glWZe_Z``&O0k2nwMSv0#uo8!bq(GEj0&+W(Yn-2XUUCZA}-iTO#wGReyiH%bxK#@|w?JENMRqRnlp_zcj(Y&Ys52`MeqY!U4}Q^N*o> z<#xUUNl52xxhU+zdJ(~hx}nY_z@cpK#qRgHEGyB@H;AQ6GSH~B%nibtfz6xNSpUst;y@p%-o(zHJk-M9<5Z#9%T6Dc)l7eWatEEQ_BNkF0$@_8^ z1W&6>NN`+Pp(?y`?;mTnhJ+k9fl@oZ^@Kko3bzvkCf7Dhg!B$vC+$jcPXYg>D@;xB z6s#HzXd3WQ>ouMzx>3n~2Y1GaQA6H$ztDc6nt56o-0?OB0)CRkQ7EB_?4l>st1&u3 zq5!fb(RA_2tU}SI2#N!&zrMx)(Cqe`<3=&UtO%X?h)9E*4knDR91kZmY>? zcM4|cY_d&{-JRK2BhC7TIb_2c#}##$OsV~kb{K;7`htb6h_+80tI3P4_$CM{jHD7= zr}v5C+Dz+k`weDwF4cX~Aup3IX9_>j@{GR78vfX;p>Z}6oN(@`PsIaJxv$7{Ep-#> zl0jsq1IrjFZy`M0>${`}L5#REJCioEEcar4t}xCd|YF7$Kun9!zI-+u>GFJ>Oq49OPLeuS(E_aD)M*cwqb0O_d5>(Az+*@(CdL?k zvGv+@jL++ds+AaoNNu46hhepiV8kDI_s*96#;fDf=VIgays_y_3Xp1!6_yMHjJ&CSIP@^Nb!V8rH}h4BoFx3a|Opb$XGi zFx{$9l{4VQ?!b8`t8ncK1zn%g>9B|KVDwoE;tBwC%NM<2D)&hnvZRZ{fj98^ugq zgu>z@J*#4JHCi)GpH1&*4I%b5VJ6LD+-7WpBY*cMx|cJg-WpL*#HI?+hk!R5?9un7 zOgGt54cU(D20{Tx*=E{x8sL`v!^XBg(Nz8HW~a7_Ou_5#EGkYdu7QE6hX&MmFm$8% zjcUEMy0wS}u4j9s8kz*YX0#~Tf7o_2R*+di9v%S>o@N3zX<-zySepENSI&Md3Q643 zK`skxtGrH`i7ux5ED24l^jn+ggn^q_FB93t+I?`#dMos zg(F6+OywrQ=io*l=^rqx--OKPS>LVqV%IT}KQkY^YYfj_Z1nEc{E;&Aaxn7wN+h9H ziPcB9%2f-7m_-duNr0ahUJgzZvI!X|a0sa61Ng*y0$gfavm;$V6_l~W`Zr>Pj^6N8 z?YHVT9nS93p}VK2z-sgKV-v5(TMhl(OQcgkU7!viS?I5r?K14-m+H2l6G!f*`_)%b*YBV7$K3dE;h; zNDCt%ouxBqwv?Iq(`E}Uzj8FWjo>yyZ+(wrpGa>t-im%TjK}Spxx>ZKK!51Jn2rSy^ijmna|qKHMx&okE#~ zk@&RN&H(%^07wA8weF0*TEAO#^~XK^t)b*AVh#9|9P%TybZKg`ozN}A(r1>H=r=Q< z&c(nSlrM|0kYRUZGY}bhST8MIXG}m`O$HqXPp&PSh#rZ;WVtVKD|`e*6~4=N<;P4n zgK=wGhEPb~_jLw^4bcpD%rlr+GL|iIqIMRA#VT$zJI{7;E(Po!iL0H%6KVB0XensmuuhC)GqiLXaBc<9JzyRR-ZyKL; z79zBQ36sJh9*7CoAC2z0;;l7l)1Oy#!YQooccGWbR~k=(CIe0mV5#O#)Rcv$d{eWM z^;prds5U7YZm%G*3-*3_b0zi(LErPH!(;e#G$i4>S=dWW#v(STLsUxKr-#8;K+tfaaS5|Co}Kky+UC98`VeH{wyvRmNf=Z4=d9 z!cPYB9Q;qu=7L=I2p$<63I<)!CPrvpH$jr`a{Ry$}`|wYcYSbi0Km4FSR=1 z2cV1_P*AX7K!I@NjEQ0p%mP*DqsD|flK1xNjQJim#|La zvIZ=Equ5Rfg0=5RY_h{GY5=UbHxQ}Lb9ETR*X}l(>d{w!H9KZ$zS5MR9x!}h?pUu} zYP@bNlTZc{GA+BmCL15+?ob7*96QedBv@~$PX01^SD>a2=QL*co`UtP1)_tAH(A-) zKhU9%;FY{+gSNHZ-C7Vd-;Z93*65rlX-NN{YVD|S`n)FkCf}$`G zKm3wfF4sWhW7gQ17{(ls9iAhBTx1uIn`&W%CRX#Sm>e;_pUHh9lqS>M zrxyHKQX3XLT)s7?;%JlU;(SqOpiECI&?nAK4-u~=)@H2nLwnY2Aiim06fdn636v?7 zi#_?0FuF>UGq>7Lxg~<@`bRm6iq#XE+!dl|gP%yOh@VlpgE@pWlSI^fY#lw}IyOIa z5Xw`Dzm#@l_>LOMwa)&;2(F;`XMU&A%M&PPD#VDY0lTr{t=m3Wf*Y;YW#ivRj(u0{ zsLU^6STChpC)kZK*CDQt_by#xpFF$|c>iq&7NZM>#ZeVdWB8ADWKHNqW0kZ>M7U#- z2sVL}LmgH#L?NU!5Y_YzwYc`S_6W5;;d1Ma0h{Gf6tc`SkT-wep(be3CjH@}a{`Wi zX@MD+dYOn|fiTyCBeF&=9XGF^=RuwM;8Ee*TL0^5F7z@!B{0Bl21qri@@Q;-Erm zV(OuT-NiI#A0R(ouVSWDhoP6%(To6bCKkpm&MmGEb9*+`bRHRmekxIB={TLAJv~uZ zw7p@jH5{fAm|&7g;|fo!mHp^qlPbB~hL4~D4CGl1)X1Nj3G6>Jtg6)|dHemr=}b0z zf(New*g_1Thg$-c3+SI8oi@)wZEyQQp~Ve~J|Z8B)2dxwxW(QmmMk!Mk3_#^Vw)nH zmrB-aUX$)(BqA6g=i}vzvdT~!1>$asZ{D<`u~pA+g^d)$fpSdHgq?cSHyuDhNf~1% zxMfw3)Fnw__TtRU-o0-xO>MzOC09dB5)7>t$))BhWtuZ4um>*q)h3N z#1%9VstKE2+ikM)QVw*Uq)amExhs1Ad(Up4>Gty5YWvrN}kfMa^J z^*M{*#gB+01nA5X9Q+&JF+(IfH9T2NdL1;-*i%zlb=3Bkc$-ZHBB%k5xK9*2AWLvq z2D0Lwqu-(1#vR|6&_r zICyLCC6|~bH6Zf#_1v)=b@yn;3lAJmc(ABO?;95n^7JE;t!JMt9^7UQO(u>2Z?nD! zsbtn0)~Na9c9h1A@4p9KDZXeO?hrpCu)_agE&r29!=(A$Agl8ugth+^y+i4(wRB#6 z2STw;UlGj>N0V&6AYwtqt5d+7nO*Ii%ir_O!H0F0V)k3;py_RuJ!Ng?oC1n>u&z@_5?Zx|s#5%w+o zd*ZO6FE{Y{;V*U#SM?q3FBzaps={M~BR#oqm^S2r=%&KSDv7=A8xZ5u?M4&Fn_ISkz~g0ow-|cLqa5miq>a?7d?ZE5{}5aZrG^PV#&g zpCj||HfB4|cD!O_WaP9~vV&m}IvNL5STB@!=>UGc`36?w>22!Q>26lDX{NAiL5hEL zg8D1V#Bs8%cSkLuQ&7k#k(fT;U9u}piFh?Ahmb7suAtep;A|Jmb%7-DpMwQJl>fR& zvLjs## zpM&@5M!+g0F(!hK84hUIOT|z2lE-Wij-+YPvh7GqSZ~!feh|D8u?M8X#v8jz)Wtk3 zqfJOW{2wlke>bm>h?#BG%;N2Xj{`oKpyT)j5PL_zjx0f$t$QC+9bfhma5eFAJVRCA zMFWdcig-E(6_;#hFCat;y`}OH8&GkKqTJnuF7kb#ATiqd#f5aTS&|6jY+XE2UZjZq zaaeqr^Om>n8{9fUM<-SW0}uHU#@r>|gyL&PnY43V3$R6|JWj5;M_W!Ik=QWx^BSI8 z(tStQY9^{IHkOd^$KiH_-ka#^WYLW2c-5D^x6T9U$PEX3AJJwXtLlE5@!CP# zMHNJ|DbIKvE|#YXI~?*Jrt<+-8ZUPraBit`$A3QeC&=v1qGB&XimUOe>JdUDN6Cu! zi(LvDdjw%5CTTn2Fh%yh^Hv?pz;#NdTPjMrb{L zyB59j+=hU0W@@3L064|TBu z&WU%hzB+|e`-(W)6UZ~_An-Tcd<;E;@cJ+;J8H?!6OeHjNOPs{O|};9E-Ow2GS%@6VC^5!A@hK1w?M(RFmM zCemITnL3dtd+dCMiQWb5KIoj5zjov)_~)*BIN`fOd5kOgFn{DqB_!5-%oQpJl+AI0 z7ozbmmxEr+KWak#K3O8Jscfl!y3yPsKq5aJ6{7t1$m(W^!Up10e|yNWFtXw{<<)^{ zC-B_iGw8vX@90YTd)QU`OE#vi{5R;GV<0Q0l94?r^)7VPQCpSsZ_h8_5=kQ^3RZu< zXB*zua-Ro^P?l%TT5$lRRF~X%$yK>ypyv4F7n+*;m-HS5@-}FGe=jtmeMQhjt0Yf- z8PtRlZ32~f(h}S?9VC~E!;y>4%UL4j22}}1<2~IOpms|AJmBPx7uGDCOOmI^;mK zLRM~B*= zYhl$^!eh4KVw;UWi@UQcbM#GZRl7Jx`uNz}Lsv7f*y^`FJpjEl!o=_#Q6%dMlHm>~ zJ^nQNUYdVHQDa-Z$lJouZdQnn(mcZX{(2{!wcU9wkDjNhX&0!Y%rJZlRFDHD*NVlu+9B4J+rKw8xg_LD zVrdd&=Qnxej@00>HiQt1!q78AN8JvQ(8A74fL=MUf?=eJbJk!75XmuvLr!&ARg}7j zNpU=o#hV=jkKkUn2Y!Ea1khDoylGI|O>Vc%r>6GKh}|B47!iDhs@dA~3j22TBAQ2_LN*(h$E~lkq^jIravx%6wMY8e{HmUgpV4w;Bi!SXizzj2&zKlC9?iZ`(N>MMTH~v(c%R`?H z&zfR|2nF16t}YOtC3ks?F1*!Le5dH68p4-Ly5f-ncoOK>qEhyLg~(y%l1y zo2W=#5MFeo2T()jj*pkBNg)=0_-=o=*IjX~gA-r>t8`?R9xmRyr*qKt2LO3z?EqZR zq5QdUCc|>wIQd7>(tz~w(mw3DZSfK`6WRChVd1_lINCKli!`5l$co(^IjDAz7GCUh zDf3Y%yr`llNbt~;oZ1h7LYMp*L+fjn9J3zMtd~O9OA{Pe;$^O54Z2ACtgH)AAMO54 zJ7p|sF-#{Hrxs02<}lvv;L=RsJi`o;m+^v`h@!^=tiqFo-#P@8rYcu{MMU>tq2Iqj zet$jEG6_8Nsdw?rG&-wwB=C0exiLaQLgJzM1xlPx=)6hSACUZ@v<)`2aW+8MN$oxnJT7p7{ve(PxVHs#Cf#w=^GzqK06V0-j$H04i$fhRne zwU^!QXMwa*SBVXCGw66BzD#Z38nHsyF`=_Pv~pXEu>w53j`a8qA^qR_avK~baLE)~ ze6iO9I*oq$ZV1Hj7@5zjytrKP(PT}H7eJ(*F%Eo~fgqja`9*}eyF_lgC}|5Q#rOT) znfxH$yd7Y`C}4!PopaGFINR)}gPzjWy}08LIC}=Dn!MczPc7&koNltPxX(WsWkD&R zn17A{XUtqb2O|152o>*J@cuG_uP&wN351$c^+F{6p>(bm}I1&>MX z@E9YeY8KJ$+|Yr zXQ-!tmA`*%%yNB7nk&ixB`9JFC*0=?3wlpJs}=a=xuASzd-|K5?)IW#J<9{#y`{wE zj2e`%Cy;0S&-y~~ONz8cn9IgDRdU0pU4NS=r)k*d7J1)t22gzm_#4b>)5tSJ)W!GO ze7#%v@RXp=I!dvoiB{F697*8?Z~J9*p4!8GB8}MIJYFtwsN%^p2y^Ud_K@0i<+-~A z)}aj3kX(^Nzg{{)+cRJ^p@Au|=Lzo(_yibo{{Da2@qtWd1wofd&Kct|%encf9RzT}Nqjq_Z)|NKtu8nW2~v4Vqe=5OZ!PSr6; z2R_adej$bTI<~D6z(YWkD(Z6bnDH0P+44dg33%mcO(G9qiFizx5V1Gl9HrdqZxr+s z_BIEl?=}lq?(sLyd)4);YZD`j3X=LQ&O^-#`_{3vIMJo<`rF~q0aM($Wxt-RT#2;w zpRhoj$g2;??Qg~%-SR&AiO4RjZQQwSfTuQC(-HkI;g*nCRQ4L-UZz&=N3LJoISEsy z;il-04aGs`a2xSQX&sPu=}5%|E8G(iU%il z@M=CDLM*v_q|cMU`vS-~pThqN3M`HX&)*K4YO8?}SC3rxD!=W64$~FX(!mQ^wE~Vo zK)H!|G$hRG)1igC%*Wsms9+Z5wUi_z(5GwB$H!`ntTuXo*lN({-2q8&t~zMVaJWko z@dZhs2Q!UQ)Qk1x%DqFx5GAx=<*HD?M0BR6sT~bJ!7)K=YRAgl4RHGo8gL+#G!cw# z>dt|~ntq+;Kew<{c|jy` zx_G)1!7!5#DsVU3`XL_n_-Z94cwr^znPXnputYoZye^YsoO{7?*mrGSS|GccvqM*G zA_r-h7S(h0ql8?83$?e6Ate`WgkqeaP%YumzZ@n-pWkVBzy@+rm-o56$9p2|gH1t% z3&m_N3|Tgyx3+v-UfJM_B*HwgsF@MW(dPs1_L(}M&}Aze2Fw^q9a8t;lP?~yY%43V zT4Foaen25YETs6qo@41L?riwmU)r*Wb8A&ai){eahZHjxO_WWXP!YId28-P@$MDtg zHP*b)P0u#@IeXy^o^Ls@tBBMhf&~gVS0&M$CFF;<>3kboMX>c!J0#K>L78(mF+g1r zJ}_)>YlZT33lnLvBb7G2Bmc)7|Jr3_sVM#vV~8BDU1naaK|8M~S6`!e?3b6zujm*@3+{{H!M z%yrGRoXc?@=jZ)7p6g;rJq3|={Q+1Xuor2Uf4eXtsmw0fHpMA=^T@y6k351lSyb6N z>}=+{*tRrtiR( zdL=o$Ej_cGLpA{+LK%AA86Y?=>g`41r`bdDaNXB(mnT)1mb~{jZ%71%0j{=^HELat zXN6_LBrRf3S+(58}q@s!T#e_piJ;Th`aa3{1%OQuYVC019w zN+V&9EkUY!tK zWVu`1YiDKUfFp(qHP^8UWss^aJDw&G71kCGFbNEMGWRDWKv zvARzx5Du)*;$wNY)@D=f%=dgTnLEGP)4^}7pO=@_Ui_IQ1c^)HeQh|SUZ9DP`wfqn#(m7N0es~r zW8s9VLwDAG0f0K%im$S6&RzVn`H0V8V&_b-{c)z@?!TW)7|S?2nhVN3Pw&O*u=eKa zjvZ89-JkWmRz(WIP^*NujqMpJHvrX){(RrVzgxd-tgn0YR@$%M|IH!Fd-yX)8nA%{ zc@s@9_@fq)5Q&DxlvIz8n+;EH&pyqaatG2+!63pv-TZ|^_%^Etni2+nT^v>uO|KZk zJ}}T;!RQ!gE@_@wVS!anKPJnAM31Nzdg`is-j?Z1-F7VW+UGuwk2aEmze#Z~pmjv{ z`SW`T+F2R9LBxlK!WXl_wpv8|cK1VEVoa0BY_JfMvX!u8gP_DLn!7 zrFB4rG2`>;tCzN_fz9)Rs!!}+2yq5a;k1Se(!JM!mf8fJ+RgIzs_`I;9Rmni4H0U)TD zAB|;7pk)$HgrPC~cIjP`=aDne)M9ut8P^{iCeQc{&)PJkGfNM&R0RUpAMYBU`|z6P zjQN4vX0I4V*VDE=jVz+^|OIT(0hORmLyY%Hjnm-1e_F)w>zCw?%ZlLAEJxI%eeIirqomWau{wgU7+OJI-T?sb z-x#=deL1AH#->ozb?>vS*C(yG?7t+*zlkEqj`BR$)_sjr4p1@5b$zOS#JSqEK7GTt zptt9tGwM>k)wyeiNZ#3bgEfQKEV~)h9Kx{2+)Cw0-fLH;tK`!a24X7CuDgvVNP2D@ z3h$H7f=iN>BGAQ+CL>XXZ?s}!Cjwr@@Jfmzx1+)^>70)qj-sRX7z8|9fN{mIPLf7A zfk)mYGn)5ht1$X{Yd5|iQ?YM?zvC@>WBAjN7A;4O{H>g#31~($ByJs5w~3lF`Zr#8 z)?Md1(B4Hqt#e?uAHWau8;2#Ad<0y;VFCd+CN^T|B@;+9N*iIatxel&l7wFEAy{f1 zc|UPNFp^m2Maj!y-HxrJ6v!dotfH zF89Ic$kP1_{Rf@ayQv*T!AS3;WbO3XRM9@R?W)ids!s-W!4A$lo>c@1WiG0d+m}24 zEl^=9mdQB$g|XyDjgdgVjNt{{af({{>{$B}9|!Kh?xmn`jglbz<@4giVtx=Lcr@P3 zc~OcwI+v4a>rNq(SJLmnyAS#pSi8$!{qYWY z^AHQ?I$Iii>+8c-o(DsX3`+J}EHbso{_7>lw8T^1Sg_}PUrXW3g50oKSa|p!NGq9n zMgI}!OC29$Jgkm86&}qtf`9uPNDSDjxFHfNf2+c<8?ng0s~|6idtTcMN7`E%GjaLQ zlNHCwN7g3cwBNfYa{7+2_;S7ku4;{DC&o7gix9?z9sp@NIXHA3>~_`ASbzLH_JNa$ za_Oc!KOQCy`q!nTUoylzbRGR*%x4hFa~7DL;L2J*nQ-aKaBzc(4hUg=e1CT?d1yI~ zt#+6a4<9z{?kIVYVHv-B6Q$j=j)%Ou*=E7Hyvs;AAMG);BTb}Mny4fIr|a~KvL6J* zoId=g`=9}g$-GZ*)r1o-qPJY4gq}NC0J%^b*q84IqF`XIK!0Jv*=`j%_WSp4JwK5!v>!!iDR;3Zxxfx~G63cBl zxA7^-Y{;=$Z69uXrJLu@oikEcPmeLyEb`Rn80FEd+8LO;9y3 zA*C-}UO{JEkQrc{x+!N?z<7ri?DZ)iOOkK^?^E`#fnms-I_pKrcjgazatm-Ruj&{n zS6_IM+E(9dYkA~5a;&Q<->~vA4`_$~WSQ$IbCwYEI3-%%V)#@FAH9r9KIWi9_~O0m z%2-1AP2urUEyZj{#`^RNs<{!=Rxj>%six_ckD~A0eL;dBzo#@Mn$kiMm#2rnv4HF6 z+C7n(dkvN%3{3c^*Q?fl0ADEB*VJPnH+|O~bZIZSeB0U_1kkWu9){tn|F=3IlyHP7 zJ!_-SnOyTsWX*im<4G%xZLq|Qk=Ipy4O)Jqpt$&~WbuiCk}a@PG$(Dq>reP}#l4f6sneH%1nrMi~B&*0!-mFN^O$2+DcEcL|uHh5ead|eo*-*2Eg zV?k#N(^EbjC>7Yk<+8Wu>^xMyg;E_}Dn+c%q9z_tknEEw@*+J8DuSjtb98#F2Jq;6 zd3`@K*#R@Arsx5ZbVX;hzS8$%dry)4hfXSVRT})@g9l1@!eF7BRs}fH4V*h4KVjWwS)*oE~>*d`;Ez@qU@j5K`2P z(d!7bb@f{_w)8Uh{ybR@ju|gUfkQ-M(_^Z zQ3NE|7|!|;!g1fSGj6;XwV(SY2zWP~ajphBFVLhT9JeLim!JJ+2m#D37}i=(i5u~e zWR&S-Oq=$0w+H6z*FJffEldJN6++&`j?>UoDVD}vL7GJ0duKU0&?J%)0e(V%%PFUr z2sQZR{oIDaNdw2%jEGM_ySi|aLZ0|uzO3bg4-`fZXYUC&qhga+Ua$2WKghbja2U(@ z&#lE46pQna<&T?#XDNV(A7qDA905Pd62+CN>%)OTJxwdcGO&sR5V0uSWFe20xS9|% z^u_8I=by)x+@rDW--u~q_UC8r;(aOEAkd{R5ppJ8)ZTS7b=(ygfVB;_SDjg0vzrIb z7PTT|7RwK$w;l@`P6RvlkO9D*-CfBaRlv8Z4Qh}+OLMrTsFh^`SlfY{clka&omKj` zk<|&oM*EI-HI{?ZF6rQzsZG5@!d;6k@3hQa7I$u_^r(EP85v`6S45=FmGV*$GVj%7 z0!k9v)e85F0LqtytdK?gs#4+$mA4T00mhocy+Hr0%c<`Sv7gXL^J-5-I5Ga%6WXV( zU!!&mkVw?q4?9Cb&GvJxr5;cdKBJs{#iC^E;V%C?R`X#jfwsS%{6hUKsTl_L+7sjA znsWCJfB+#)v{wBZ)U}2cTdRKh3d<OTE^?opRd{fH6XbuHLi?t zSb?#6TAf0TRR^6Z9Ht_@0AUEdp_nxNc5&I4T*<)bEOeA$Vnt3nSXnWNZGdrFfLZkB zCBoLiZWY&85Yv9$|8r2@9-OmGYy5*TV z#%XP{`whJ90HM8kF^>7+$CI@q+>Gk=5C8CiF?gLFhz}GV(6!DzLTT_0AffOUvfFrL zdqO@O9Ts+a^QrD_@7z6L8$!%a0VO;1}kw!=)0&_;Y;R%|eI8`CQ_H9FsA zec5BP2%?E%TcVGXM@FUWy&VfDi(4-umgDvoAv?RLnd5Gzg|3~NH)1m&iVosEO+u3Y zzK+{DEa%W6qB)&1`p52RpkM6UKo)jMbxH+xHnm&*Aukn&b0*1=W#6 z(En(njSpu%eT`nC63h08ZW$Xb8e$M2So5pBY94@Z^FC_ng5(3q=1Xjjd+DbH@uVGA zH?)pB0D&Xh*)f`^Az&EkP6VJa(w?TWXi4(u9MPiZJDK$H|ARJCy%#X~ z`xfq&(?u2*r&XN=|Ep8N07#25@~NGoKDqtQoJFw{Vh3{;OQA(I4=m4>d8&OA@MXtr zlur)?4a88GPGDrhc6Pg%ArLs#QKOJ$wY>sWOagrT3JvxX)5q(8R8Fzu9q>ic#(0jT za6&xIzX3wa=LTR4dTB)=g)(DFbFDBHw6fzILNVAkY*T1ANwLsg(=c@GStU-V)4~a23 zc5SD!;DVemE@$vU)Vvg6YCff@ zH&A`$UL@^d2re_w$=6#DYD-!IoFHu<>T*$dXl-`6A;A$^hH?%tQ#y-Q5adNXcO+V5 zrZr`6hwvaViU(GAbuK;dtgWr6Vh_2;R--SCv)JvR1bu%@k$G4oZB2G!?}Y7$g&{#m zux*=S3*xty@xVv>Yx10@7;x(J3^}e`gUCiEg}9!lQ`j5jDaR8rNzq35Q%tH5HLPR@ zToAeAn4e3b!z9~e$YVNHn&`0=v`#yxRaEkVwQwnL`z{C}08g_)J~iSLVCK2>>_Bz` zKDmWXoJ*X;ZKX?-J71KrlH)3i6>pP#diE(ZI6QQfo*Y84>5`N7oN1z9M@3Yw^*6u> z*{n*ASww$j6Ov%5Z_m*)v89c7p!@Zry=L>3B5q2k&G`4f=(k}Fh<<|&M!q>szB<1L z8gj47v319FQ3UphUc#x=GOYEFcv~mo*kDtK7`VA70`ZS#o=|LcO|J?Q5IlTHgodax zhlLo)vjnWS1nnTDZ=hs~Gju%Tv}e>*d{WOF$G<4G#pt$|F}f{)Y3H0;D>k~)5a-h? zT7@|i33bf>>ex<{8>5<0OWjl8!*b%3c^8?PnODp|0#vNvnOm_e7qZlf1o6KBT054+ zA*L}(iQmE7(eO!SG{%n%To>|w>*>%7MRM(`F0fTM)5`I#=BmK+P1Em84o~6s2_CzO zBeUS#mtJNGCXQMofGnkQ3ju~r@)Qf?uyqkMFQ{8dwhI+i<|#~xE9=i&I#%I zoVL(6Uk`hiL}Vr3a&j2pxVJpI;*)U9jLP=RHNgC%ShN~U6(15O=GqtXqStnCzCh@> zyDvb|$k#Dcyw`;Kd^ptSfgQNeM%`7)ow&TIk@Y_tvj%pjX2s5rQXS_^ZeSH+;PTRrw!ND}`>#@Q1sCiZ}6qK=eQV?^ts)7(q923{y zb6Yg5_?8yTcll7za;mNZqfgicaWR`53 z*eP;UPVav92{5HdB6&}Z2R#CvUv>)Hwk$S`)^|n2x>c0}P!s<0c_4 z>t@QsjvZL4m^s^H&_Gvi&z=s;Nq2pHeY4@dm0Fnax1C*x^lUL+-X>$85a=}J;-SB# z3tpR^_)&78X!aET5Yd}kC3a^fF$6Nu>j_u!15(F^#7n?R?60LmRI)k1Ui+Ce&Q^W}I2-@Aw%)iG65U2=TbIm$7bZIWZBDI? zRxxhJLui+01V75j6Y^!c5WZ&+r=2TW5cl!pvRxQ|DJnzBl1NqtO)% zYG_Y^8R@8L756!;GF|Wwfd4Te!I@tdVaND{fx*HV${buW49Q3bj$yOJ+*h)wtjpD? zr+m)V(_F54~aKfKW7s`eQ1i}6l0^{s{JnHkapyfNZ&$d=yB&u@W& z6mx?dI+6c1I(@x~3($Z;zHl-KbOQ*4{^`t3n`!vJVOYn1HJ=z_04-C7o{zRMb4lI# z8M^S%p4`Hr9SPCnpI-HD7!+-#{J%pI{l`?r@C+k}8UP-LvsZX176ih^-@2`p&f-l} z_)x2vwrSjl7bz?6ODG~d{U%#g|L=cA6^S6K$eFhJCiVBDh3wZN+}u;jesM`@#jS#r z@c-_0T$8puLX1;|<38DCVD7(M1{_|<#(iV#rRw+R}1u zbh3!bR_0Q=pvscQaQ=Or0lJQgZ^FP&y8iZ`BiQIcJ`?#7ZU}DUC6_`j2Gg!;^PhMk zAmTQp^|UH?)UDm^1Y?G%UC(s;^@mo_UEnE0^m#?Jp9X~J}0@{Vvqxo6Q`io`5MONo*-~B}bre%wRrQxq>sP4Y9 z>s}x^B&>M;F1`V|mGUrLNfQ<8zMYbn$M@CF2H2{K;O#6*?uyr3SXe1pF66g|mSTr8 z>^4N~6%rrJ%cb=DkE2w&df(4y?&-lWnH#w2C`q=e8MBu!J0uuWxKv4C*sqN0pvR}E zTv6R9oSiwgdnV=C>SQZ zmV8_9(XV1QR<^!K0G+S-d)x+I*E$i;vWWP4ITGxAS?#&8Z9*jI*!|&+!9oGa!O2W3H?}+qW z;Q|MlMFHD_bRE#L%qYGfx3o`ImZ{O*Uen9j;rQ>r{Pf-vzv$*G*>3<*mrMGSLF3UKu<&ex zi+mQM*>&@-I#>Y8kTzgw`*=n8yl?5~tkbSHum^4kg1aEicA9QR9M%;6MOH$%x!DP?fPuMl>v z;jSWM5Fc6a!nk6Uy%Uo7$y5e z)-%9Gj9~gaUHHxLl-`yr*=70i#f#7MK08DfeX7FMkjer2i`N`8g|$NTs#qrkS~tjOZd$@Zi}mcLj2O4iX- z9R#HegztifQ`inV1P^8)h)JFGoFM)ctNTK5%uurF46rM5Yw_gRV`3M_8Z zHkUMem&Z6p^{A3RO}GJT6{Fk>;Gb49RiM74qrgc9xAO^kb#Kb z!Ukq2NQqdEpzLh!%PCh>=)pZ6t zK;U;4>enOU@PWhvQyNMMl$N!%wU298W#l7SOCPPyfigZ`h}mxLKgClnLSvX)PpIP=UG^RKdZZ`$>RBtH|JBh--!^mvld<$T7}F{vQ>G zMV@Y9UD~F4XY1Nqp1g6HU!=>q;3%q*>4k-2h9JRTtiCM64|_E}C8T}`0+Es9cjyUd z1@}CfNZTZ4N)g_eXE@DwK7s>n5O8}2|I5nFcN_T`pfmdALe)bsm*YMYpxP;H&W1}Y zSuX--y&*}h3{J^~DH8olv9K9{{Swys|QFX8AV@cFajCANc;OKq-4#bfhGH04%^ zIDPOj)rarBX|l-vfzAe-FvX&CQ*DWJprF;uXVA+Yzau1M*0q~d9wMjE6M2=9_o;LX zbS}SeD3_4P#{T1TNu4Uw_yF?_9CWUvd%&ChpzmvaXYD|!m}j%O54R`ub;Km73$)q3 zb{~1GCu0w5CXC~C2j}-gKvVr2*s0`T7mZcbZs^qA4rZ~8UnSo#_Gk`N9}_Bv4j2DD z7B1xql#WXFS*r=grHugtEJK#eiE2gMQ>7iTb&2m}ni@dxhbc3{M@CaZ%w#;RTP-HFa&Xbwy zN|D{c&d!kpahK3@&>0^$7ns(6(9LDZr-r$!BGBOu;KRvpJG1BnOXw2TzXpQchs^Twev_sH)19&3Lhq(o zZp>?Vw-5)0yW@ndhurC}I45|4??#*lVV27$P~pb{j5h?{C17TAfY=$sPcz?`9S_R; zMboP*(c#=N^IOgjTmhTi2&jJ$Ub#hp^(-4_O8K0VH?0v{J267A`s@A})3dykZkfi$ zlio8O$K+V-WKT)sJV-c>*eerNc7W?tF=6tyY@8Y6M=Lr3BY;_xBSUug!u-YX>}3Rp*@oqbfc*9mMVB#o{a~~+;sIBh|Ee=;E78KlRx&{vVE`KK*$QbR+a(oNo zw(^KOdARt4t$L<}If3ub(tL{4SG$U+52X%{>W1?U3=SHe)#($W9Rml>TD*$m{J~xU z7-_pCD%_2Shx=nQ;q8x{&N0_EteBMLTWzSRF26aXDy?|tqBk=$WiigefypMJpZrqW%^Sne}8`zfmY+o!&~QHoK~(#ci&XH_8{pTAe*~xIPpWz0Ee?EJu2O_}vl3uH3GztzBPYduC#nALcZcKO7Lk zKP1`?W5txKd~4A`vCqIfD=)?bT}F?2g;zsw<^RXu@)rS)TSs%$51p2vpHr59^dMjM Hng9O)11xD3m>+5Gss)$-c~xFqR2zma&yRO_oTqH-oX8)EKfP zyRk?1E&Dcj&hYF0p8MSU$Mbsrxz|5lzGwTKb3W&@zCTd+b?(rgWIqXkK83 zj$k1Ws>Kt>!I#g^<*!2^sw557TlzkI^Med;;=Gd=kqxI#U8S|HQzpFPg{9w0jw|y? zoKy3DSQf+&y&vHis`lsO=g`Z%>Z9o&5~@Fln7M0c4B8e6734kC(9FC4vtaDFTa}#Y zBi&z@Go#EhzxjPu7$_RBE`73IhRpMTZj|r(Pg!P7pSpT#cX2wvKW9jaJUuB^E3%7DM% zlgh)7111*m-3g;n_SnE5G5n+ouUYJTf2jk_=?e`}7jDKRD-!#$dg?SROYINNm6c;+DM3tq1o7V)u$?Q zh`G0HQV@uF^K?g6(MuYJiCo+RS))rO;_gB#4_DJc$4H~hNEaBZn3>U;zTAR}nZ-sGVabKl$8klfAko06dQQRLMH`vQ<@XREmLGU$Q7$zl~D7+ z2bzB!oHPPu*PW!L^jF15@E3MewT?;#6CdDpBJSoC?E}iOtG#n4qHZ( zvh}hQGc#^smW{Ub?(St1UV(iK5`X==AMhM`qpjGfV=rf*S|jWW69*GVs`@=!aGd$_ z`{WhU`h8x48N*m3~shaLBk`e?SF+5ZhYP2nyG+CFQuR ztjWa=dzx(mn91yYvYa<`5n?ab56xUXCeNu$7_AG}5P?9x-T?1gt73CDRnxN2A-<(` zcj;L3J1Jqx3(=s3K(6XoQ$2qC_-Z1lrlw}!)U;q?BA;@7`w_KDk4K)-(vHNum-m&# z|N6Z;-9bDG(R_cyofj?RW|5OPs3VS!%|-h81uTq;LB_^^eYhQeF^rB)tXW-MJ%SDr zckbfFpW=HD#rvz|GsRfH`sgOZhpNh-1T8ct6}3ARldWlNjzPp7`b*sm#rr?zg+7l8 zuF1&A5a0rjki5ABn{LnCsx8mr!!pQ|X-ITR3bBK`Z95%K#jx?lc*^}musthq*jgT+ ze!1s8ZEqt9Z;ZRVfAcs=^W?MeGbJnTJdPK{Cu$bfNQU?|v-J%8zFJUy&9bMRm-Ni{ z(av}7M}N)toM}!`kn{hw&p4kKn114>X|ZE;%n^vqlZoae*!N)ic$OYHXqC*)-fP`t zK@18n|3n_yzmGun6-W%T{K8Nx%M>}ZrjXy>uxpIF)|Q*<*DWrSB}N^>z$HzBRE2?? zw?BIH=(wIu2R3B??`z`OUgv<#mBga`ze^!kq>9_Z1T>i<1fRLu0rBZ1F(R>ToVB{T zN;Wt(17ztvNl4)+MO?Z}j@@t{dl5wH_%3et&^mXkBP$r&^D_w@82H{q&gXBMJN2*l z3pbze?LSuXUH)UKR;kD8H@>CZx5+&t17<-@(N@~Gywki~o6J=uh)UCZT*;@8}uGB*fM^Q;f6GY462B5e=4$o+7((!N#o)p5@ZEfehsP? z_IT#Z_VqOXMAk~HSh@JxP9`q52X*d=i@o~$6f%`S=QP&q-DP07n`}U8DvaFaKyyJt z4W8$lmO?dYS@FB;bCu$Id6${cn-jm;icE(#KQ*r7elk%_eKQ~#%z2W}7qioG`&EdU z;_|R9bHOx9$r}OiPXvKnVOM?5IgJhDRL0b!ONeX-c!7%C!VaE*?|yX_+=gu z6*W<9s&~282L}c?A^Z6Tni9oZb>83j?R)H(yJ~%ck(CJ7qH9_Xn}$8&3S(t?(e3#OV98oljzVHl{$r!fT< zH!7{)NW*%q+9Br3uxrRB(NcX}(%@cDJstm-lFZ`_P`F#A?GL8@{v%VJ;WY^lyCvSS ztgfx?21+QmD(zQk9QC}>7G6^5W@3jXO?8>*qw*(mhy4n$)$@7AMR6KbQ|Crudd9Z< zuW%M=-mvRKQpV4I@>fLXnU!OouMRTxgqPrHlP9ZYqLGGDEhR&grC9V zDcF7eZQ00*l+<~N8)#{`r17)U{J5mZq1+`Cy!}MpT)1vPMh3XKe7U_c?2P=?t5$#) zg9M}O#u=txc9vY}$kN@vb*j1cC5`skw4*M$={?SU_J|Rrt7$KxrY44E`if=jv8lYH7OT+6o(-2mbiXth@&ws` ze%zwmUEvv>Db?A?;+rZW%0v~uAce%_?2UAdBcAG)Z*@&)&6Oq&MsJwR+oQCfBL5f- zW%9t?I82q^U4w)Xuy#%DOa3fDqISfH^GZ=v=h@jMZ#{d#T&CbC)z^ppmmEkj z{lgC~ONGXt2HfGev5e^qQdc5r#44UWiUBG=_NWkd8;2J#RY~R7ggdZz5CNz(owUvo zn^ZE)4%wfnm1tl8no9-`DHfeBvm6zbRuQ5nB#4^cJC$ZdkS^LC&;9EbFos@E$tHM? zKHW-MwDqvu*nTPx1UwwvGhD0dbR^f5b9l0>*Nlt}_xi%1i#3Fr2QY}m=j^zVUGHJ^ zh9-Z8;m?i0r&o}Z%ie}W1hAqDxFEj}`d*)WKjy08@c4bzQ?CNTlqEtbydmwEuI{FP z#3bC~m`T9aK+%^r1QB5c(&{!=C;9 z74~Qn)YVNcu=X28N|{kPvYqBqe6PArGdPElA#f9ZDhW{ksv+ozwas2nUWmH*c@WnE z6D}<^2TwH~V_AvFFE|eAODE(#HQQE`37^Ay1{G*f6^kR+=YB94_0-rS);D`n`QM6; zv<>P)aiv{utjcnXY?%pm>m`F%urDPbn64yRFu;B7X%&^+U+|3#3sw@c(!|z#VZccRLd`9$8rn10*u^FAR#ZqBm@?7~RK@g| zAn9mPdS#f0y$WPr7Z&?&`$r$+hjKgWm5G*XG*rbb?&`@6OvY*V2c9&EZatsXO=ahO zr){-c&(&Bj2UToVf~Y1m94R}JzN^>wDZx=Xg@a8*9}0N}#z59a{{H?xspB<#HPuo2 zZB~fo{eKO7gew-6JSMM-++jX{I~q?y7>#-9(o*tFOU0CY{O4j*`QIOYbWwrS{RVc} zR_$!0TTSF+>9Rbl^*IuWROHYicd+zl8sJF$*xuP$Ioj)ONj|>>vogMw7l8JFgo;E{ z-@gMbv`FUqO5w(tE42|%!Zxe%3;m%;7|rkQ)mv3|9E+xzoI+ z4mAo-?osYR%a-bT7!ZRF)z#I;x~S;X_X1e2KhHzO8Z)>7o0ux_e%U<)Iu zEL7*;d~bjmKTd=3uAcO#kFA)u^pUq*OKuxZb^CTT<7qT0M9FX8x0Eg^rB6l_53evM z-xPb7Q!`jJ%+=xw9{bPa3cRbU4%zp|{NfEayRD$qlpp(|dy5n!0<~jCUhn6)g8g^m zv=@{DS7m>)w0y2Lf8pMQxxa==rLycF+&!5$Ms`W#-9J|R^>M{ssFYi3ar zpV1iGFG#v6%;D4DFYe3LHGY(>()_OTfEd&geHlBgA_*Qkg@b?bNxKfb_>ac}hMnEejkoj|9sbj6tj7N+J(51` zw5q__>a^3uZ=S|7e(b@RAFxR#atqt`OH9-|>P*}#KW9fKm@jRV^$L5*+|9?SsE;X* z)~FcWwz_RHwx2UDZ7#&h%UK$}sG;CED@x&^;Tr#mvxhtsTjJ6)K~wC>j!$`I6--d4 zy>-{FlSrK2@9S5i`@-1gS!pyL0X4D7UsXR(u`n&fs(6|(eJ03CqvXh8L07g7HnbSQ z`SIL>LH|tdMLTMLfB&s+`~>si^wDL?mn~Ye9fZa3c~-z7n_xQpjyBSWV5#%bHcV}- z&(yGE1Y$xe@lay15W+@-Dvnse(p7n99{)R7Iv|~NGn*h9oLoG+|DIYM5aQUUZSBPp z;@B7e*uykI%={f!Z_VZ(nb4UVO(*@dgoGgnY|UC^Qy=A#)o2*_HZQ6u&+75xUjtMJ zEzoPSvS3WWm{d_~za8K&;m|&74;n}`KNiyW%+$3!lc& zno{Hf@>#LPvtIsx!mao`aP59FxEA8w6`iUf-g!QS|ERk&(SlCo8UZ%m^RjNn{2%FR zN&lK|cjuderi(tC3=O&e`6zTcxrT*58J?JWlO<63mxV()e>I;ud_sD_EJ5n@4Y|{x zM49DMF8}9%q$h#@z7@aKwy7iynL?oamoke;5l_m4{*mZ0+DP_EuD`tI%0>cCa`8VZ zPgWx48yP$oYgWYUsQ=y04Z`KsgU&Zf3i7NTO3TVRyB@xhGe%WD?g3wr86%q8G@6?Yd5~J6Azrxr2GDeBK)kKoI=J1bfUhL!F z-^kB4fPCul;@!#8rT^EGj&&a+lAo3SuGRHUZm8K`K>p*W2j|&kORtpwosjV~H?A!y zOv=xL99(KxBjB_mQc)}IU^i#rdj%ln3J#3JJvnic;s*IcR!YaZ4pw;nnw1@W=63pU zQ@3vVZ+qeZhml8mvI-LAUXB8{yg6WX121%przpziVC9jtyS9fXe?TFHiUWcu8k*7gU|$F0DUalU z?t^tySr2+0e56o$@R1_^4*G%#q<8?0{|BR~57s!?IE9{rDJk?EtW*!{`XR$lIgiLe3dOY+TDnEfFyj%TpjVn+H?LRoMLiAdj z>H43IBf;CZZ<9>f#1(bz@j%F&6im;b2vG{W*$@2F*4W7H+Po^=Zh*sF#fUn~*m|SNG|cx1K6rEj+wa4Z`%Ik7#SsN@LC_aATqs z6v#&&alT~SW!$?CrD#1R#)X<7OnRB>dmRa+2j}H4JTp9VdQHOZJj*<*JnIuj5AOKv8^_CQmG~V^ zhCaueEcsdK)CPhlV4=Pz{6hV_#CsWiTa~UVMsdm|xE;f~4c7$Ey$#u3AR3J}*(Gs? zkMmmq{`5TS%g|Sf&|xsCwt6l+>&G-&0UkSSsLGdqSd>BZHw}LPp0EaVa{Vt_1;@1) z)B-<0+z!ElXz&(p|T{<2REbvoVCzd&Yftd;k7)ZC}pC;=%=LIc;$xt0M$z^Xx3o z;tUVg+id7!Ny`M11u*-^Lc0wX-EJMwyzLI+q+!K`AZ6mQ+O~{4xpwQip(4+s_Ez_P z3aqAe(XoD3Y764F(0ah-#Lrq%zn&xclHm+kP&>o#S5z0>x;HqynTJ5nN67nc7faN> zl`4|BLrG@5R&#Dqv!%NC)^D9MjpHfIHhcc`s22;?`rc!noQm`E>R@{<=s)qRY5DWi z$XJUn%D165Y@#L~KSJ2}O+4bokCW{lARw2pkeP4e>uLVr?#umZkI+-h+$|T_4H9Ng!-9ja^Q1ZH!(2wE|J(h#2(`==h{fJUV7S-&dkxyGW7MY5X99(G_G-2D6@&p$O_e72E1o z8{U;*ilpbIqexI7)~OE!JEJim?Em?dX>o-cO!chc#erf_w!K9Wv)~0De*IR(^Z(MS z%6iyZ^KEL%QTqDzxcR|Knf>zGz1^Ln?;#8hS-Pp~RfoEx@3w6#kP=$6AU}r%T1}9u zf;*f|{3k^ga4Pt9dZ-?(=UCGa{B>cV{2Kb2!%yGz3ZP6W`M&br0^mBDRwCdy=dK)> zl@<5w{Jg>xB&(IVml8Rlm;vC`A~d!XJg4sCK;9+~k5}3s zdeiUo9t23%-k&*8YV4P=JZO*~C^!Mjt5R2(Q(c&)h~!{;jw`vv7}?z5go6XQ?;TB# zie!3T9L8=(z2+0a^UcXi#M}^A2s3eKl zVsasy2xDv_m6GO9M{|O_2|lnp&$!%HdQ2kZYJF>jHnV&PxRlW_zPUA-pM_N@{)V~D zdbc5Zo7Y_DE1#mI0`lW~XO{LOdzuA`%z3ex54VakB^%k=Pg|wj1`I3lh!#2jzI+P} zT|=Kss*YHyTo@g@Llm>LjuS@zBk< z5DunrH>SyF5r%^F!;iTe#KnrG$p5a4v6Y6-M?9KD!HRps7R`$tA9Qee!yGu2Du>`T z%C>E_ObP7fukV17YG7m&$N#kDA9KV=j!3%@6m0c$)S`K{pBES^n?khtE6-%i8yU%`4gIPQ0rVfT%j9#()`tE?cqw`{C-ke@QgmM!~=|)v6wGL4^T20s4A3KZnLyC zxk7_D!;i7Wm4FPuXzXxp)=Yqc~mqY@+g=#vFboU90z?EJIBA;uGr>_sR>~ zER7_~Y7pNYZqQV;Xk11`()50Get`kpKD%LkzJEy5PU8AgWW+5$z=>+b6#FI6o(yZ{0XK1Dk=gYce_pIDu4~ND z_Pk3xA%@hgIcFp}dvbLY1^Z(ABZjO9w6#)bsZ|m1*?#`zbpYxr?aJlDI8|m)@av&{8f?bDjNES+5-4 zh6fdY$t$hMAz=E>Bida>=7k=qy&(Y!B-dzEsRff+n>PPN9J3THLbzUuY7j`Gyod2~ zVD0fxw?)AcnQ4NDo?Kc+#D75~kkTV9<$f4F;KOljuZjtM z-4slU4Bo-Kj2rWoP?g32H~cBJls`8rpr}=TrJ3K{j;<5wgv$c1n!1q`gH z0e(S=M!hP@XlC^y_uV3f31E^3vb=9SC#E*D0*( z>#?`N*zH-_iI%>YC~Zm+Q}VRPzt>)~j%w#6+v29idNj`q=MWIq;DD(w>@x(e1|0BR z%1fTSrEQJ+Ho7zEmDY7(u+|g>ZITt0Dl2ttuhDOzcC?XP11u}TQrI?cim6}2-;eFA zCpnOkKBYwaY;j+CO_598!1P;AWqZP*q$C}O!qaqc37guoH zXFXA(55aPrvU@y5AV?sd#1B-zDz1ZH8Y(uLHjLtJ6H1!LE#+oKc!d*KKTxLQ+Gh*! z6EFoKN8!ljAHX*PoW`kqq1ndttLvLD>J6~cC`$#~yna4hGKIVt3VBm9>^39*2WAH8 zh!!mGo@eZl;4O>y_e1kwkTr;_m0OW+jrIGj3<|pTD3N9k-tcV=*agCv)lh^?*f_HCHLa2FJr81Qu4tmzl4r3sUq1hWPTuI%+=mtPjhgkCnipBFDTdm~fYr{^J znAZ}a816#~S)bjw+nTC`pJw6^Dc|LU3uDLPN$2n!rq=@`5c5~CW6>CB0yB9$dJHa# zZCU8(pL_D+j<*sC$7?EF6wWGor5XC|aI49LPcm40Eu%B4>klQ7uH>O#*d-V5=<2r- zB^3g=6TJO-iq-j_QE>0*{CE;CjQ`$&9fyK1bExGv5YeWgYP_}?=61L)Cb@(L#lL^K z-pd5cU$IfzZhLJK@W?Q~A&UHG)z_v+r=%!yuA@JPuF_d;efl@sPmX;MW4V6F6s$HL z%YS|}a*)ujNK-97m`HS_Or*~}N}v(J_FTVdE{0zVi*|F}-Rug3nW-|rcA_K{#T}h{ z;_CpsskBP2)<_te?dmZ;!{9Kyzm$!$NK){aXlB8$o05{P@>ob^&m?AQxX8^JzVtqo z1nN#UU1|S)w4?TOpB3scOFUDr*judKg8#Bp>-euh8d}~g#_P9Y3+O^_x2!9(b2Jt$z>%835V7*d3;Hpm2#`tiWi>NO_r7V&=YXiNUmx{MBUVo5VB zq#KzWS#tew0|95|+n&UV-i$6u(`w$G{-%Y7pfpYwn|gNq3|-XF)Be!}glH%W>0A>c zF8dsQi|uXTTE&R4<`olC3Af)i(IpUssH1yN3mJ#IoQR+yHhJ}!Z_HvF#JI6S@0+3F zu$%`~>rzE4e&y+AqC=WV`32y12R}b8Hk&TyVnN1yXg@JkL z!wUjyY`n1H#2C(@_2SrbEs$eQ;KRN?V|-S}KEus6uckYJ`PJJxn^2jO)lcj%FnePR zc3gW?yV}tN)LqpgJLzp0vGrt2d;{>>XOfsNv)9$&MMZ+~)sTz8kqGA(&<1eLFwoVR?$EX>iydn{6B5BXrm1|^c@ z&q7J;JT(ybTyyvGt|=pyLnYdTH|XhgzY>fIF95v-7z;mYi6hOphhgryee2r4C_IoF zNOn00)g%_#!>&rSEzv!q1WxsArBf37d=q}2(BI#wUEEE3g5VA&xmDcNA@_>aE>yhiJo$z2T62}j*i&ET zrE|Kgbbc?f(I)QV^%;jc4yQb(`o$XH`ptnz1oH)aIs95c_RtN!yf$8B<`|pXi|Lcy zK2kC5ZF;H#!(?E;?AJyWS)U#y7p` zUFV-zNLLGAUNQqoY>C?3iF#n(nM87?=%+CnOUm&$*Oi>%?LUEXlu3erZ0JUk`?SHV z`o%Kg!$qtH2 z4~=vfG&`x`QeJ07GqveR_6tSBJ2y*Wo7J@n${4dbfI6m3=VcfxH2*oPA*Pr3WaR7f zr?3o8wj{L+{iEMHu!KD%#g3FvPr;t&+akGxY zGEbk_ib`%`_ww6UG3){ErOx?Vuq=~7Z=BFd;pZ`~6=_YnhdrT;t$tN|8n6{Zd%dJv zW{^+lTi*HKh;@MmmEOCzADF<;7)zRNq!e|*V`g~H@E}^^LZLrk?3H~`b2WCnb5a;f zv;7Z!IQp|+OD(h+&l?r!+{R{;k`gY=V$9TE@s8w4Wi)e*|JbdZWP_)ThB|!EXukr*l@GKWj%e;nz#PzF*-_)_@`Ner9gG(O2SlNCCCMKj;`fwCaxaqIrEP;Rvwd(tkwv-*;AO20?2 zv_V7lqrq8?=~`0(!}oz>()=-$V`ekr+h)nbPZh@2rV9V1Kqn>?+5i)b1V(xo0q08A z0G0(xqF?LI6($LJ`GMLonVwDUH%2_#k}SemYjM4< zzzXFA2MU5?;ollzr5dW$cDR0G;gF=7wW-`cV&h4!@u7Y{D0Xx;g;>OYXCD+hV|b-# zP%*&piXI=XFj54WK4cZe+bT8}D7H%Zdv^Rf z*MC|&Zpmf-zek`k7ym*>C6o9c z84BouNXLIk$WI9EX+huN71Ohi9Nx5Z27#f%nCzJ)v;&!4cJEsKx&LeFxzamPc1PWi z$h{4;o9{~*OjDfkn9R}=1&fp_6Hs~%|0!bMOX|N<&tEQ`;(5dzD=}u6x^xMXA5Aj+ z#~W#qTHgxp5hI4G^cD_GH{3tB()A1<1R4hQt0XF?Et#_`bA>vrq@+U zm~i+U1u-6NJjQSktQ2bJu%W~mp9Xc89j41p@?&ieI2dxjOon)nj(M;ksAW&#HY!Mv zugz1>jo1Uwu9|&Mp{3i?gTw-)j*--R?1PEDjO&17#J^9*l9XGgg9zm{96!KXXrBSW z1?#+j?Ie?=!E%qRr6a)QriProZTsVZqabNtcsXGE-^StF-C+ z595b>slZ!00to|;`GDN92}-hVVoHi9oK$QP7|6TCn`)^^FaO@87>i4N{(a z8Tp+Q#F6E2J&kDq%=qUpbolNt4|`%3YU_9CymZp5f)#;Cw9u4MOiu+$?c3k^YM-wOmH9F_HK%bO9^$ zqP}EE5+%_HGYo@;8itykFoDzFTD!bbhG+2}>be>Y=U=KE*s4Ve@L~B_9V42FAzBAa zrDZGLc$8uPRzQDvSAhDw$z7Me@+=eEu^p9#(ZwYxTxvwWVc@=vrLU~G!QD){p62)Q zJ;TtRbfSMfyglsk(@6aO)`!U=uZ=)naqqj|ZVbgwl)dgf%ey;(9^U)}n~hQ`kgq9A z-8|nles*cI9=Ng5y^A%QMRNd2XnMILbn&&j)@vR`c>-|f-ScEtKA(T;*gttCx4R3k z8>gbm^|Op~>sHp8!fYRSompU$>2WLoUdh!Q1t-NsT0w=QM{xiFGg>xm71Iz*4oVAp z6~q`KM8pd&ILyc_v8Qi;GV372=gL7u#-055yV|73H3=fTYjDa0K8)Jj|klE zyx-l?j~-Sue-OL1qvF0c{4OlwL8ycL`X=XX=P~!7 zG=U`g=tzSl6Q13H#F~es?Q5@O7K8%=BHStpH}^NILm6bv?E{h15C3z}t%B7WW8-O|pP3!co=M`4fWdL`<8DUX*I8RhBqH%M%?;%x(Qdbw|( zt~Rfl`%2$~y6L}_icc)Xth42<(53jl3dcJB$>nfa?b00gH5Pbnf9XFW(g2kV+-w12ELWtO`C*zQ)Jq zeQ3icz1=Rh?94q(7uRu>A-#F{z=n~&

L}nYrbKVMFuu2j)8*Tqk1mvzEh~wz!X+ zHL&&)rwAv0Y#~#I7Rt=IjRlLyUN`OH<>04wuVloUw1ssIsH0%p$wb+4F5&Fyv;GQw zZU%wpLLa`I8T=-u9}wM0OU#+ou6{a(%t*i??v(TmRl5J~Gb*LNdw^l6w7&g{v8Bu( z7H}0ho3Bsz4oU}Jm3trn5-wbOmH&X31Iy0lSEp$=@3c{tmIHlKsBe2)Q?EYQ`9s98 zgtMiK_zf+oD$Eu0%9-Rn1;rcs-nT;w=$8UZDuel*UKgDCL&J9fgfJJx^4!VRbpfCp zmSvup2bynQT_Z?n{2tG1PzPwr>z_E z-RS&;Nye_u)56fqj*wTXagLq1HqDQ86~viX4mM2Jo}&9O+pIs`n*%rjqN)Mf^N1K` z8ERWxbv`%2gLmWn2Ai4V$}{yduayE`Z<0!m^ov;Y%RzO=BnXYubrq*x{pqo|58c`M zxD!?=%leE!L3RN9b6nNwR-VP{5_3^yYXCO^Jl2L#byAL#Rwb##Jt3eg+^J9p*pKKn zb<+CB?U7y~m1^O;c{VqIoX$gO+EN`-#OjrSz@1fqGP>Vb&@tclzohlVud**6f~rl>Ap2IzorE=4Cp z(jN038Z)3Lv+;oi32ce?4KWASDn$9W>f!81ASVTZb^yC$Juq5mlvafPO|}?`$tq1e zAOdvTBHsPa(shqOLgwEXd7V_npu+9fi?3FO7y?k?O-ea zphkzY9a>rk;1d8pIxwvM0h7QJ1fTwI-6$gHf9)1JXBRdH9IJbjvdAMCP$k66ag*aYtZ@Z zGk&cEzG(CAdEUzF$9dn)yrZl--wGlpu?-f(^Sns-Db+v#?r5z20~#DHL7`2w)*PiK zv!Bm5)1&tH_YiGxFwdj~#D4W)(hh1wlx&oN=ji+b3@Dax=_%0W-JxYgisix#z=8hS z(}!#CKu?+)2=;^ORA6xv`M^0k-UhMOPm1eDI4->peNHLFcmRg?y%9|D;ms!o#8yM? zW;(Mm*Hm$KO{~m-xzgytwj(1M#on+;Tm?mF0-!Qf8GQ!+Fn7CtNYlKvwfNy4|MAJG zwhRHVePs^!zazE!TszEtvg!rp6YrG5srssXi)cYz>M!*?P$HX8+*5Snl*3rMf$Cj( zW^lx5+BX0&Zpb`G1S@mDo9@p{ZsA_YxsSI)PAA;}w86ioC?I197wvP|7A?M9I(`Ka zdDR_!H_?Te7yz(6X{N4-`*;o>KRiLXanT6?aGd5XEEC#y&heXWITLWno2zS!i&yXN?(Rz+2kxi8z*%q-%%mEB zWK8d3M>~q&MBbKibd=Arp+6r04%6V3yQ?8sc16yH7!im)n2p@k`y*Cx|BkF5HKh!e zSPX~5UfVyRP!~1DVcL~#Ma@zDt@-`U6+wx&030D*3%1MNK#5Be6zf!GWBDm1mxV|q zvIrCmzOx0b^dkVqUrtD zEeL){D>-_CFbWHt8#~^Vi1q<5PTHKW4Md&=NAQAGgv;rYC0 zsl6vR+kUL53KXFZXM|G_cpBiAu2NZl&(0B}cKh&FyRpmAa<{zr!8dR++Uj6zla;4u zvESHBB*`wew9r5tT*FmNMK1tt@nHhhg-v5QK53)Z#h3WNO}7z_K_F$vC{8B@e5H9( z=W{q5o={g{xnw)ni}`*Guy@%B4ry2eKcx;9pI9@b$#41|WJ3y3;rLMvUr;r9?;%)J zqPN1!C8l@(gC&duRA^pCkD^dI$3c1eRZu}X|G3+a!HOwr`?X^K8BtwP&7LNls z&y9M3xml@Gb$DaptyV`9m40bW?oYNKwZ3d__ zkHDNHFDf7%rlf&LNjN6$^XejNu|3p93^1IiYHIIPp{3WO9{;>AUk6V;bP+=ffJt-` zdy7f8%ImsmdaY+zkJ zWhX?sT27xnZ7-?(UHtB`wRvEZ@P{@oViR-jgZdZuU#{Vvj1Ci!? zVqd@u&&&I^PAQ?Co^8?BCdTf3(oNla?X*l#^#fdSLKIB-`71HV3_Rs*u}ePLt6nTp zu}!XB2BSluWPksiKnDf?NBb!lTzY5GaReZ6l6DS&m;zO-GA&e)t(1rO@SR!PvNgbr zkwEsj3IhHgz^fTcn>z&txllXsrn-c`1m3pFd|+%4)7y5P)E@MxZJMH|EZ#yOBQc`I zpaAmC21Zv*f>Nv-?_x!hopAjUogWgp|N8tjdosT3AqQIsoP_1)05u1*W>r?;pC7oU zUswX+2NHNCKP!E5bDoaq@fT!4+jB%fcCF8FdwY8ix%MZb<5*LIXp@UYa7c)`&~b=z zqS+Ug%n)}R0u&hgzTS3LdJ7~}QhSei>>QCFo-j4d+Jf>15SFfe-L;R}UL_P18Knpa zL_bB{W~C%0N54rxASW9@xixk&HBfPQLh&b2J>TU$$SQej+a2ZijZ9W8P1K_CyBvF# zr$=2IJ{{YeXy5#H$-Bhb)YO3^x3sn~UU-G>hc(S>qZWDqWr#1`2mBN%D0?<@W5h@I zG^h-V#_QH6talAk6Rm*~Q;G=6Up|s3YMW_8Ksb3ShyF0%CLkQQSEmI*x%pmCodr-> zX}eSN^Sk4q5P$U4oZfg>H$%LUidm+x_(kDV*AwaEL=XZz3VD{Wbhit++_=26ie-|y j&vxejH$Txjt@{kE@0sRNUx!UlD7}u@4dg@U+=B;*88oumWrIS_w1S3vuDqIX3jHhP4qqv0S*X) z_Nm>tb{m42i4epzy?YmU!vBC#4M7MUwQDLm?%gwe+%KYNK5I^Yu}D4@U=g};mg!p5 zVF|1b>3wZP)aCaj*M1&${DZ4NJ@m<8;vYYZ#R@uZd^{nXsiO8k?eG`(BS*4dYGysY zb0Om8SY7{n8Op+`s<%+rdH1jUgj~>HpmBoXUfMzy3 zHfi2JAZ1lK?7Rb;7GJLcDS6O`&9YJW&i#XE4V2N|c9wdtA+6Wvh6Zb%9rRPOp%5Q0 zjWsKf9EU!e5V1MKgDxFLZok45W^Y`!?S!DH#_j@}NOx{~TU$l>q~J}HtOI{b_>5n}f<{Z9u8gTiS`1=s0$f)6xU zyfV`hQ#S>)Xd<{jd#2XeI8<)**_Rcqm`c)EOTtF`Q&Hcw=C#H~nWK9qz7YPLmY|iry{3SG02jBc5x&3? zQ6HDeHt@~(l4YXD7{RU2rK7s|_;(pT=$sDPh${bjwR{|j4m*%lS3VQWIGxAeSnNdQ zvhO4fz0hWZz6xi7?UF|79xbfH9VJ_P4LfdF=7nTj4;R_$9!D|OlU7$&=ygocljcIZ zo`}ZC)0SvMYSg3RW7TEv4Q6ijiWT^AlTn*rP@DJl^kN(iKu2Z9i|dS}(V+sgZ>HIs z#e>uXS(i_(-1hOV$+i#md|OaJ3v$>C9St9zeXVEgF)Gb&8)(7ZA(psmf!3vdWq8e& zjK4Kuut2Zy-=ZZOJ;oDa5(c{UNH@E62Z${#x(OF7zP1jh@k;wbZzCSMxt-RCk&>)f zP>z%&eH=gJpM6hj8qs06bSG{bkRWDcWGwemWL5FGBZS_P;=xq+3saMmT*&P;>eKQD zCVy*^O-I(q=2B~GGVOHj*2pckS!Tzhi8UE_(pFp^K6H0tfymy$pN4qsFKhqV{yHJs zlSbBCEg^A0>GuRL+nzyY)ADYUE=Xmm&oz2cLuIzzdJ&&Fk3i|JaWW24;O#NB*8}Ue zEA6$GN=t7Tv|%>LT1`Vk!>}k)`2N-tVb(>Ng~)3U>W)|nl`yt9YQ-S!$nNg$h#a%} zduUuwu)?V~LQP10qA!hLQg9H0wA)?h`V%f)x)gPta3b@IqD_q$^r>g2rzrapuIkv4 zrw$l%ek^kS6N@Gb1RZvKUof%^@tf{zS0YSMblnDgim+^uY@J-@Nq$ow+?D86F3f#m zmT?8$()c+9)ej)wntvnc-hS}wbk;+!lVxZ9eK1T=zrM4x^Mr6tZ=Flfc%wVXvg!3P z@L2ORoi>$cwWU^Vt}l1V*+#L!tnT@`s-(p{8e%vPW*U3vXVJ=Xq-5$<9{pe@>VY=CxoAe z?PAV%wJdK*A0>s!3bR3>ZDUyOcCmZk3%O@+Ud?dK_kpoN{D+`V z-?1dT3STC-+V{vfqlHgC(`KSmOIMho!}4CMvyy#?L7xlDH6PBGsVK)A3xh@;G~hyDP4ZfM@7Q0_}tdBI+;Dtx!z&? z(DNe~eJ9RL?GZ8(ma*@xwni=w zpKQ|4i>!B3jC-CWtCr6UmB@dU_n|LO8&a-&&{y;ia5r`4m@$e3!n3%Zll>-sX&P^4 zKW=Pqb%9A{qxDUq($QURw5+mOd2Dlz{JXoi7ZWOs?i24_6Ng?Dr4SFE)_fS{^66$+ zs5N}zuNxvw?6lSvN55^DA%^oWVN}5|baQia*Pj&E3_8X8vd9ZUc4cXHw`oC6&VsO+ zZa(vub-}kSEt&??OlTv~y5~nCg)I`q^g;~u?FK35D4H7e6 z%d#L?1^%Q*3$jJkO?J}hBL-!OsCQW2%ukLrA0=1(&F(Qr)r9_u$4GP9#Yh6fW0K_L;1i>YI_{cEdX8 zhtOsB(gxq*8JL+Ic|_%R=N7qfeh=RZx!A2wPnBXf2hr?eV%Umj{;-y=9^<;q z_n3w+V4oUZyCPjO62WMp9?WqVsC@tK-Mi!+mcZVf(`ixKnC=K^lYbZc*hS6zB^+;Q z+vLz`31yMthDBnuR}Ow1K=r(Ufk)jJ?*DjiYeSeI3lW_dT_fDvgWTKMeBs3Yo=r#k z`B|^|^FSPO4J;1&uH@G+lCfcPb*X%11FtwnsL71jQsw>U;-*H$)xy`PN@`awJ3)qL zKY=2MCmA}`@^E1&ta#Y}fW!9k*vP4i;= zivfp%OIWH|ol*YRiUFJQ_1ZYRw+O$ntU`yI5KE5y8X99}P+`08Oud84HF2GoHOUgZ z=U*=0 zI&kfG4rEn0g<{!qa1>{Z**-BhQZQyeF@Sbyy1zmpBRgAKBcDt0DXpcoPcPaot41t{ ztjJ2RVyhOzYJJHvDx;?$TEr#wNY{l-O4cULZHLTI3ndVc!k!JfBz0+#j|yK zLSia=lzo@Yw9vVU&4HUIa^sVpO0FoAI4F01c6Z1ArA&(>nqP<9tA(AtZfW46K=ZpPdYRD+ZmRROHSuw;hnUR-C0n*c)t!Y0MASOf~VGn zei6wu<-JD0vVldBSp_y7D`=YuRZdgh{opxx)@+m?mYJ>PU~>k;1PcTtj}61*a3mw< z{{A(-bbT!DsUo2LV%3V5a1_gC6Go%aPKJhtZnc$eC2i{xnGw9dsb!L^63#i@EC;^-K*7>D^fAQUJH6R;FyFA>l&E&D~{)6*^adZ;nojsQU^12ob!Wq zfk|P+E@ARA8xno9uIAq^01`3*c{1j)%|V!t=Yg((X2o?65RzY6Kc{q>Y5}2iNw-yV z#BdpfR$F8~uivykKGSVeFHrrxqp2JqLb<)K6nLD%!pk6tfv04GDNKM3-Up(DWL^j? za%}Z~=uuAW28e4Qu|@cQNPyULJ+#o232#cEAGR~27q7;){!Y3sok_fyQUG8!X6q@Fr(7>hiL?5d?GTkq55YyU!?V?o|k%dyD-V(i)7p zZ10V-F9HN7sq7Ax9Yx^$W_H_n6X9Fw&BJYn=oukg&TmywBITbVT9SkfOp*+NPdm2?DF%v9kYvAJLl4`D`drJEY3kpse6xrVr ze6)$H^!DH*hV!S;tT2ZpBo3d(zH5So+=X^NtwITdzOkVZEZttsHKP(cB$}a1d zJh1rD+4;ID35AkdYP!f?XX90^Sj_>A+(x6(7c5)ix82_;xY_4=ER8L5l+-P;j>DsPeag#Q>-Af5ma!Sz1f0X?cGkvkd%}Zi4kaTZ;uo~ipo70iK}(= zk#8L@=DGVq&>aW=P zzouROJdhd3D*kDI@Cns~goFv+RuS$sS^{M1_R4)AJS0Q$)Lz9OI7Q^3qlk3P0iv>Q zkYr1)3>ElqI^y)+@4db8zJ4`tC6aZcVn+Gzrj~5bx=bm*Mkg3%RHPLz=iZQw* zX5E7X#*emy@--9o$h4%X{h8XPjS(j&RhjL)MtYbnk44Ee*(|6MmuqD0XeuZc&*0HFr>Ov8$7=Yp1W(5*Vj*> zX3x&SulAh;LH!l*$_c!ZeQ^naNX_1InWA_o${t(za_c-+j}zm6q2{AiD#fmobj+u( zUWq8etyu%IHa78frSk(u0qJ$XCGN(|(c(94u9G6Bj?Q1#MAUt>QYCq2qe-_g8dhfI6+^>zcHkVFCEm0JDN+DHU)tgz2^gZ4S34{1C+au?a@Hq-mkr=$73UQKcM1+%8-LFP%wkOcchjEAd zbRm}Kzfpy6u0gQcPj#5_sm7^aziz|sK3og9cttJXQXL1CPM{7K{-aYp`au@wD$vURC(PaaD*2 zu;YpBCF)$rpkkl%pGCG^KNzdEFZBk{e=kN(+;tAzdLRJ;rV~&=AP^W0*70%jSoAfj zmCed(T}gIWJ_n{+3~ZvVN6Vxm8yJWQKpcOty}3RykO#0QmGG~!tB4SaO;$7~KW8y)@n}7=W(NAP_X9XBRj3{ATO1 z*kzXRad(}e(6Kkj1Phe^2k8k0OozMIhes6W)!O?KaZVG&z-uE1Qxr|u(esDm5f(@P1 z&u0I440}Q(&o1q&hXQ$QY-~F-OYteZ8|0A^zd5z=8-b#mzx=IIkEb945S6IQw)72i zTOXeXFaG%sVO)Me`Hwg>tTn?vBZ)mm4{9?+e|^JXTyoU54XqeiY8d+IZ) zs^-;A1acO}7vv8Tg2L~3Ww&nkgbK<;Z!LwD-M_yxbCLwCj5qV~U68M}%kFctD@SeR zb-KC0`K2G^@vUj z>YHU&sR!J+9nE>gR)r|;C`T?}RYbWvo-uD9I2gI)pCIOhTX>6%c0<1S{8EhN@W1T z-k--nqt=)>s`%oCT^ho9>}Kmbu$spr#VDY^G_T%5FKRVZ5l;FTl5X3o0)$bnXS)NA z%pUjy#MC2VSPef!m05jQu1^a9+i#)n^?ukf7@L-d4<9Zk@$GLDh@;0`#5$~vWHvh7 zN_u0Qemg5Xp-=r{2pM~r?GfPpMH0SQs=RcYKJ{&JJ-R=ZyiNdigZUJwck$jUzZn0t zZj)bCceG1dj1mR|#M@%OfH}JHy)VImixJr`r5fQ9sMrYS=J5^$R)OJv~T2*fuF9&z3M$YLxMG!Ssm^u8D+z z8ZnPhOinN!x$-Av%?r3wr9YA^%ef`6q@!DhbJz*vV9zKV!IWw9)ga2d&Q6q6ek_PA zKZu^tWN9!xrZ6dx#(oJo-|*JA$zjH`5`_Wjm=vb*)(#gr$hE=869dkm3c}Tx!PFJX zY-;J>IoalX8f+5Vv)A8}5yu@!4i}HOu?FvNfum*mKye;QuqmaCr-7$>fp+QgFh zO0;~y1ERue&*49h44in(o9XmY*YG>9pM%fP)-eimYaH0XWS7n$-9>?&VT*HUr<06C zq?hJ~%(Jfh5D&r5&MxsHtSs>-XbNdjCOUKtXrSaUS%UJkI3d28%>9nnt+K#Xh^EN&}sI zwazz;fpvl-V`7VZwWW@_=(oMO9RCvp2B}U0ZiHZGlkuiEONETS-V*1?1O+$GFxc4v zQ9(S(BYKse_@>y-=9;z7Lec&D3%;9c%YOU@X6tr4Y5{bC;YLYfHL};jdot{M3MG+f zgp%v##cgC*U9b+2(B={@&pGHg?x}SoBhrQOMQgd!BHk<6*r%fP?pip$d`eV4$3l%V6c<*QkLgJ6k_uW z3q9i-b@T6eK_R;PiMugkH-wm)lM!Lh6E%sxgI7go!pX&P&+20oufu=Xsvmv~97G=8=p?o=Q1&#UhvQ5#O~I>-ZstM>%!>p?qws^uY$2;_*mk`v!-<8# zza)&yWjQG)177vYc7K@SA*|%ErhCINeFyENMzlMKFabv26yOq#Ke>}xeMC=d2pI@~ zI_sN8IF3Ihq_=qwfy0k9yhMp_=4p~56fPV2S>|-Qxw@XJsHhO(erpQXa6(@I$QqE# zDwfT5e@GKN@!(Pbuco$;OPGOg-Rez=?JynaRdPngS);OOX_MK7!D3J$j$@muXA=j3 zB)~Pa)oeOT#uMYRjO?K=IW@xPsR+1cxO`~aBN`vb5lWumZ_*SQSg^ftcleJs4xK1l z6a`xZG7800o84y}PVyUMioDF@Avzw&p-T(*O&Awwp*oJ?9tHmZ`3k5ezMsO_?wvdT zPRGp5jE{h7YOlor2G7G8L;58+kP2g(^;XS@P%sc~Xve_sE`q2?J0n+ck2xBbAfnxq z#uU{{o^-7K!6PSJ&5?GP0A`L@HHYQbm5yE^b{~|9dVSGSlaIj886DcNup1*A3SuSY zlSv{k653i&abuR3~%o`%0Hfp0B1(r+c<(aVRAe%@A0{ce07MKRP}Ymwfs& z`N`yi^tTm*D*2G<6*mU-@unhZ#S9(Egbzji7xA;7gS;P0$rYB>)+ z=Qqg10n&&aI3Nmv$*yp^MR#kh@_zYyaKrdZGK@a}00+hn8bu^Yf6 z{)UQ>sd)HGjObBXTK5I9-^m^P>J_e|uMcTk#GKnJ5Co+M7 z8}skr6N$Fn`DeF22W?V zdW`4Olh_lOaR3u_nIV+=pI`Z-zC#op>*eVQpdWZbc~_Cc0O^_y>l9q)`*>3HCTiu$ zEk6`7M__!>6A7>$m3$G}Zu&^RYEOs{ zhI*Z82;4?Xb~4-zQBR1!Uo|w(GJ&!?tn2hQz)A0D_V1q@u>XQ#8-Qg8>+WE3`D3uJ z-_hScpw5o_|G#>KNr1am0BE4*;E-LP@)@}1fP(!%jhXU1mv}BOcpH{D-Yvy@8H!y5 ztM6^W6@SO=264`q^P`p^%Gc+>qdqR<+bLZjEIF5#ul$0cIP=XKwd4Y3KK zKR__RWqjA2^6!JHod^GAgkRfl;7AV32^U-*tOXYJo4!2oNh65);JH%!PRW+Y9fm>S( zv)m~~#TKRP>0wNmMDEnr4)a;R#dLi3iWAjr0cDkCGua;;@Gj5mnXDq$u=gDC->3+O?ZMZBG6^m*C&Sfv@3W+V=&O0;G zQFf2QnoIMrp(c-N*KLfs@sdr+1%@!CqTY4>iR@7`q=Y5ugUyhH%`vben9kZ=7cJo& zrnrY3mC+ud&tFj_fxbL^qmGsT2vo1nY1t&kkYY0N&6Pw-4s{E5M9uW-?o17)M9Mxz z*tZLCy4WV$J=$e`633qS1qS1jwl@Hda#xZS81PdCTpqq}v4FCTDg)_`Izyu6et|Me z!T!vygsj|lXgJAPy3G5AR%9-`w>G*GKXd#o+62aB_N|y637J=oF^u(nE^8v*bL42) z8FRhK{`p1&cAA;5O~=v}=Q8N@ko^8>Pj=wNCsvZrk$NX?w!2Kk3icP)nr!OFx65~W z-8O(#R$yJj94-0tpx~)jK7@?w6;RSHV%&O{lXHGzYHCT5<#Ykx^%2-sI52J2k9J)n z{PtOyR)E!HGA;-l7euahy@w_!9jnEg zixT7Jd^kN6EBRee#(vq5iE?E};gr&~3}nv;$~RWDg^fNd?S0;B=oF|TCW?N-S?wH_ z#XN0;x4>Hz?1x>)%oVUJ#K4`?HTqYL$L+2w!sA-6%pO&OE{9anysY{2$Qb{E?>pj^ zr>tctZR|n$c8h*x^8`4-2LG>}c>Zsu#n<)ICBOe?^oZ-bLS+`1uicnks)~g!wLTDa z^JBYF{LV4jmsF0}+5r8RkrWCh{NjH|q@DJiYz6WOILdP_vnwsPZL@iT4ha#HfB4V& z5C7KkSQ&@@X|>jc{|F%)t1w%f;u?UM?2R-QaZ1#c$X_U~U)RflL>(UaZm0GGVy0i- zn*+Q~1pW3y$LC!($CeFB9;D(etZM#zWcx0RZ4JxmBJq7m+T^DwVPj=xX^ja{!FL(U z`R>$X7Z70?=MO=6%Dmxm6b_vM1hMEQfurZmu=wz38x3i&iWdvNYx zJHu=iM;i4>n%Q)G0?-SSmZvYc%$UL7&(B_8y8q)HjP?yjEVU@Ko@J8zPA0#~2W5?& zk_4>Vzo=j@zPawcasB6~_ZF3Y3|}oJNI9^x%*}z1AWgnP+CEp=iS$}=Uu1&BY5-80 zhqogH;(f#_J3&C~0YAM4x@7r?aW==Wanz8$VyBeTqM%6@26FXD{W#9*QZRP(TTGb; z1PHIq3~bNXY7lBcCky95x6;TJuN-DbCkWvE8#GgrW;&p)=bZx@_B@b<=y_%cYAEVV zDLzbKzy9<4dj+=qq9QLI2pTaolrYgyU^QRT_HJA4b#A>Y%?$Z_Z`7PtTDW%}i!#!v z?*7G>2|=%h;1)`$;#fV6>e$43oSvRrF(~(OGC@bvUNi>+{!o znY<4lK1~0bbpEm2nI|vu{>a69o8kQXAm#Ptm6cQDiC(ksOi5BNQ|nP*>1Jqs(8@dW zYjX9E35C|!Y1hmZn6@XVpygcrGz7-IN;!RbAe?>rP7?j+G3n!w|2uML=bGnvOj6Xl z(@LBiT;Xs78tB&cIK~9+eF>12=zg;G$Gyms^{4LhQWeWT7)z$0VKSC8^Mhsr9S5vL z9Hr&kuR9;<4pnWAN|(KXpif83R{Op33`pA~_k}V!a@?Mu9UY>c>!UFhBnaBo*k9ol z3HN9_Mfz92S#dv_UB0NE23q^~{>Xs%4INbq$0w-|mX<9axLSWQ*&a2ioK@WgIeKEU zjkm5hW*56+oX(DEXUpCxgL((Q5NK4L z{PinHkkuTmr}ypKyAnGaPo=53?b$hzcFc*FXeBlz(_W%QobE6| z{$|BsL;5938ov4xEE0RD)!_*&070B(11+AP#+u{ugqenwO;Wst>JnJs9_-keEC}*V zO-(&{1g7Su4P95e=K_UG=nT4_>&}^tvNK1cH9%vWt3?E@4C? zg4cs7%QtKkRitW|A?vn^)&96Z>tgirv9)-L} zU+W?ZTE&K@G?~&X^j`_vg*qFcwkEVh`>Xt_95_JNx@k;`phNk>4Yl;TKgkvsvI@tH zPV|>5U_7mSKL54nDd>J56J&)Bub43EXLL1OAz7Vrk#UK2Oj+LB!Hq60Y0!4*i)e8u zhyzX9vjhgXB;s!-$kPfUQa+Y(+-pQcHpdQ&+?(M1!&o9*iJtBVioS|E)PRp}RU3T{ zQGZQxa|(>Uk)!Zo2_fS_@1F9{2+b$)es1^H!5X!*U-rMxu`p-x!x)nS1raz2aAL$Pafr z8yk&Qm4#b-pqh-o08p~?!N>jf53jCUuh=kJ!`yBB+|8cY^6_t)shCV~p5vO4#^wKV zj1NB$w^@qkgsjIuXUN)}<1#gJ?Xq~f^H~7XOFA{6`9yER*S%kAe64aGIXG8W?Q_3d z=aG$uKaHpZ4g8TX9P`Y_cy+pq$}9z?Ya@}!MgSK^b}~C}(P?S`sDexNGN562Y0RHX z)=)8(l(8nxknb{Iyf7!0xJ3URR8*L9BP{jZyP;6Haj_Y+0-XL9BdvwWGJFHyn-k=K zV=H$<>MS7sILxx|RPk-va$V_~_`hVk?9F@OWJy_tU<9@R=2)rmA@@>k2;Le*r;a+A9D6 literal 0 HcmV?d00001