From 51c319c54ceeb88f748826b4c621ace15223c7a5 Mon Sep 17 00:00:00 2001 From: "Andreas M. Antonopoulos" Date: Mon, 22 Sep 2014 18:58:53 -0400 Subject: [PATCH] bip32, bip43, bip44 initial commit --- ch04.asciidoc | 158 ++++++++++++++++++++++++-- images/ChildHardPrivateDerivation.svg | 4 + images/ChildPrivateDerivation.svg | 4 + images/ChildPublicDerivation.svg | 4 + images/HDWalletFromRootSeed.svg | 4 + images/HD_wallet.png | Bin 29100 -> 30797 bytes images/en-hd-overview.svg | 135 ++++++++++++++++++++++ images/en-hd-root-keys.svg | 111 ++++++++++++++++++ 8 files changed, 411 insertions(+), 9 deletions(-) create mode 100644 images/ChildHardPrivateDerivation.svg create mode 100644 images/ChildPrivateDerivation.svg create mode 100644 images/ChildPublicDerivation.svg create mode 100644 images/HDWalletFromRootSeed.svg create mode 100644 images/en-hd-overview.svg create mode 100644 images/en-hd-root-keys.svg diff --git a/ch04.asciidoc b/ch04.asciidoc index 53ea1f81..ad84e979 100644 --- a/ch04.asciidoc +++ b/ch04.asciidoc @@ -462,9 +462,10 @@ Another method for making keys is _deterministic key generation_. Here you deriv 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). ==== +[[random wallet]] ==== Non-Deterministic (Random) Wallets -In the first implementations of bitcoin clients, wallets were simply collections of randomly generated private keys. The types of wallets are called _Type-0 Non-Deterministic Wallets_. For example, the Bitcoin Core Client pre-generates 100 random private keys when first started and generates more keys as needed, trying to use each key only once. This type of wallet is nicknamed "Just a Bunch Of Keys", or JBOK, and such wallets are being replaced with deterministic wallets because they are cumbersome to manage, backup and import. The disadvantage of random keys is that if you generate many of them you must keep copies of all of them, meaning that the wallet must be backed-up frequently. Each key must be backed-up, or the funds it controls are irrevocably lost if the wallet becomes inaccessible. This conflicts directly with the principle of avoiding address re-use, by using each bitcoin address for only one transaction. Address re-use reduces privacy by associating multiple transactions and addresses with each other. A Type-0 non-deterministic wallet is a poor choice of wallet, especially if you want to avoid address re-use as that means managing many keys, which creates the need for very frequent backups. The Bitcoin Core Client includes a wallet that is implemented as a Type-0 wallet, but the use of this wallet is actively discouraged by the Bitcoin Core developers. +In the first implementations of bitcoin clients, wallets were simply collections of randomly generated private keys. This type of wallet is called a _Type-0 Non-Deterministic Wallets_. For example, the Bitcoin Core Client pre-generates 100 random private keys when first started and generates more keys as needed, using each key only once. This type of wallet is nicknamed "Just a Bunch Of Keys", or JBOK, and such wallets are being replaced with deterministic wallets because they are cumbersome to manage, backup and import. The disadvantage of random keys is that if you generate many of them you must keep copies of all of them, meaning that the wallet must be backed-up frequently. Each key must be backed-up, or the funds it controls are irrevocably lost if the wallet becomes inaccessible. This conflicts directly with the principle of avoiding address re-use, by using each bitcoin address for only one transaction. Address re-use reduces privacy by associating multiple transactions and addresses with each other. A Type-0 non-deterministic wallet is a poor choice of wallet, especially if you want to avoid address re-use as that means managing many keys, which creates the need for frequent backups. While the Bitcoin Core Client includes a wallet that is implemented as a Type-0 wallet, the use of this wallet is actively discouraged by developers of the Bitcoin Core. [[Type0_wallet]] .Type-0 Non-Deterministic (Random) Wallet: A Collection of Randomly Generated Keys @@ -474,7 +475,8 @@ image::images/non-deterministic_wallet.png["non-deterministic wallet"] Deterministic, or "seeded" wallets are wallets that contain private keys which are all derived from a common seed, through the use of a one-way hash function. The seed is a randomly generated number which is combined with other data, such as an index number or "chain code" (see <>) to derive the private keys. In a deterministic wallet, the seed is sufficient to recover all the derived keys and therefore a single backup at creation time is sufficient. The seed is also sufficient for a wallet export or import, allowing for easy migration of all the user's keys between different wallet implementations. -==== Mnemonic Code Words (DRAFT:BIP0039) +[[mnemonic_code_words]] +==== Mnemonic Code Words Mnemonic codes are English word sequences that represent (encode) a random number used as a seed to derive a deterministic wallet. The sequence of words is sufficient to re-create the seed and from there re-create the wallet and all the derived keys. A wallet application that implements deterministic wallets with mnemonic code will show the user a sequence of 12-24 words when first creating a wallet. That sequence of words is the wallet backup and can be used to recover and re-create all the keys in the same or any compatible wallet application. Mnemonic code words make it easier for users to back up wallets, as they are easy to read and correctly transcribe, as compared to a random sequence of numbers. @@ -520,19 +522,157 @@ luggage oxygen faint major edit measure invite love trap field dilemma oblige fcf473bee22fce540af281bf7cdeade0dd2c1c795bd02f1e4049e205a0158906c343 |======= -==== Deterministic Chains (Electrum Key Chains) - -[[Type1_wallet]] -.Type-1 Deterministic Wallet: A Chain of Keys Generated from a Seed -image::images/chained_wallet.png["chained wallet"] - [[hd_wallets]] -==== Deterministic Trees (BIP0032) +==== Hierarchical Deterministic Wallets (BIP0032/BIP0044) + +Deterministic wallets were developed to make it easy to derive many keys from a single "seed". The most advanced form of deterministic wallets is the _Hierarchical Deterministic Wallet_ or _HD Wallet_ defined by the BIP0032 standard. Hierarchical deterministic wallets contain keys derived in a tree structure, such that a parent key can derive a sequence of children keys, each of which can derive a sequence of grandchildren keys and so on to an infinite depth. This tree structure is illustrated below: [[Type2_wallet]] .Type-2 Hierarchical Deterministic Wallet: A Tree of Keys Generated from a Seed image::images/HD_wallet.png["HD wallet"] +[TIP] +==== +If you are implementing a bitcoin wallet, it should be built as an HD wallet following the BIP0032 and BIP0044 standards. +==== + +HD wallets offer two major advantages over random (non-deterministic) keys. First, the tree structure can be used to express additional organizational meaning, such as when a specific branch of sub-keys is used to receive incoming payments and a different branch is used to receive change from outgoing payments. Branches of keys can also be used in a corporate setting, allocating different branches to departments, subsidiaries, specific functions or accounting categories. + +The second advantage of HD wallets is that users can create a sequence of public keys without having access to the corresponding private keys. This allows HD wallets to be used on an insecure server or in a receive-only capacity, issuing a different public key for each transaction. The public keys do not need to be pre-loaded or derived in advance, yet the server doesn't have the private keys that can spend the funds. + +===== Creating an HD wallet from a seed + +HD wallets are created from a single _root seed_, which is a 128, 256 or 512 bit random number. Everything else in the HD wallet is deterministically derived from this root seed, which makes it possible to re-create the entire HD wallet from that seed in any compatible HD wallet. This makes it easy to backup, restore, export and import HD wallets containing thousands or even millions of keys by simply transferring only the root seed. The root seed is most often represented by a _mnemonic word sequence_, as described in the previous section <>, to make it easier for people to transcribe and store it. + +The process of creating the master keys and master chain code for an HD wallet is shown below: + +[[HDWalletFromSeed]] +.Hierarchical Deterministic Wallet: Creating master keys and chain code from a root seed +image::images/HDWalletFromRootSeed.svg["HDWalletFromRootSeed"] + +The root seed is input into the HMAC-SHA512 algorithm and the resulting hash is used to create a _master private key_ (m) and a _master chain code_. The master private key (m) then generates a corresponding master public key (M), using the normal elliptic curve multiplication process +m * G+ that we saw previously in this chapter. The chain code is used to introduce entropy in the function that creates child keys from parent keys, as we will see in the next section. + +===== Deriving child private keys + +Hierarchical Deterministic wallets use a _child key derivation_ (CKD) function to derive children keys from parent keys. + +The child key derivation functions are based on one-way hash functions that combines: + +* A parent private or public key (ECDSA uncompressed key) +* A seed called a chain code (256 bits) +* An index number (32 bits) + +The chain code is used to introduce seemingly random data to the process, so that the index is not sufficient to derive other child keys. Thus, having a child key does not make it possible to find its siblings, unless you also have the chain code. The initial chain code seed (at the root of the tree) is made from random data, while subsequent chain codes are derived from each parent chain code. + +These three items are combined and hashed to generate children keys, as follows: + +The parent public key, chain code and the index number are combined and hashed with the HMAC-SHA512 algorithm to produce a 512 bit hash. The resulting hash is split into two halfs. The right-half 256 bits of the hash output become the chain code for the child. The left-half 256 bits of the hash and the index number are added to the parent private key to produce the child private key. In the diagram below, we see this illustrated with the index set to 0 to produce the 0'th (first by index) child of the parent. + +[[CKDpriv]] +.Hierarchical Deterministic Wallet: Extending a parent private key to create a child private key +image::images/ChildPrivateDerivation.svg["ChildPrivateDerivation"] + +Changing the index allows us to extend the parent and create the other children in the sequence, e.g. Child 0, Child 1, Child 2 etc. Each parent key can have 2 billion children keys. + +Repeating the process one level down the tree, each child can become a parent and in combination with the child chain code and an index can create it's own children, in an infinite number of generations. + +===== Using derived child keys + +Child private keys are indistinguishable from non-deterministic (random) keys. Because the derivation function is a one way function, the child key cannot be used to find the parent key. The child key can also not be used to find any siblings. If you have the n~th~ child, you cannot find its siblings, such as the n-1 child or the n+1 child, or any other children that are part of the sequence. Only the parent key and chain code can derive all the children. Without the child chain code, the child key cannot be used to derive any grandchildren either. You need both the child private key and the child chain code to start a new branch and derive grandchildren. + +So what can the child private key be used for, on its own? It can be used to make a public key and a bitcoin address. Then, it can be used to sign transactions to spend anything paid to that address. + +[TIP] +==== +A child private key, the corresponding public key and the bitcoin address are all indistinguishable from keys and addresses created randomly. The fact that they are part of a sequence is not visible, outside of the HD wallet function that created them. Once created, they operate exactly as "normal" keys. +==== + +===== Extended keys + +As we saw above, the key derivation function can be used to create children at any level of the tree, based on the three inputs: a key, a chain code and the index of the desired child. The two essential ingredients are the key and chain code and combined these are called an _extended key_. The term "extended key" could also be thought of as "extensible key" because such a key can be used to derive children. + +Extended keys are stored and represented simply as the concatenation of the 256 bit key and 256 bit chain code into a 512 bit sequence. There are two types of extended keys: An extended private key is the combination of a private key and chain code and can be used to derive child private keys (and from them, child public keys). An extended public key is a public key and chain code, which can be used to create child public keys, as described in <>. + +Think of an extended key as the root of a branch in the tree structure of the HD wallet. With the root of the branch, you can derive the rest of the branch. The extended private key can create a complete branch, whereas the extended public key can only create a branch of public keys. + +[TIP] +==== +An extended key consists of a key and chain code and is the root of one of the branches in an HD wallet tree structure. With an extended key you can derive all the nodes in that branch. +==== + +[[public_key_derivation]] +===== Deriving child public keys + +As mentioned above, a very useful characteristic of hierarchical deterministic wallets is the ability to derive public child keys from public parent keys, _without_ having the private keys. A child public key derived directly from the parent public key is exactly the same as if you first derived the child private key from the parent private key and then computed the child public key corresponding to it. + +An extended public key can be used, therefore, to derive all of the _public_ keys (and only the public keys) in that branch of the HD wallet structure. + +This shortcut can be used to create very secure public-key-only deployments where a server or application has a copy of an extended public key and no private keys whatsoever. That kind of deployment can produce an infinite number of public keys and bitcoin addresses but cannot spend any of the money sent to those addresses. Meanwhile, on another more secure server, the extended private key can derive all the corresponding private keys to sign transactions and spend the money. + +One common application of this solution is to install an extended public key on a web server that serves an e-commerce application. The web server can use the public key derivation function to create a new bitcoin address for every transaction (e.g. for a customer shopping cart). The web server will not have any private keys that would be vulnerable to theft. Without HD wallets, the only way to do this is to generate thousands of bitcoin addresses on a separate secure server and then pre-load them on the e-commerce server. That approach is cumbersome and requires constant maintenance to ensure that the e-commerce server doesn't "run out" of keys. + +Another common application of this solution is for cold-storage or hardware wallets. In that scenario, the extended private key can be stored on a paper wallet or hardware device (such as a Trezor hardware wallet), while the extended public key can be kept online. The user can create "receive" addresses at will, while the private keys are safely stored offline. To spend the funds, they can use the extended private key on an offline signing bitcoin client or sign transactions on the hardware wallet device (e.g. Trezor). + +[[CKDpub]] +.Hierarchical Deterministic Wallet: Extending a parent public key to create a child public key +image::images/ChildPublicDerivation.svg["ChildPublicDerivation"] + +===== Hardened derivation and notation + +The ability to derive a branch of public keys from an extended public key is very useful, but it comes with a potential risk. Access to an extended public key does not give access to child private keys. However, because the extended public key contains the chain code, if a child private key is known, or somehow leaked, it can be used with the chain code to derive all the other child private keys. A single leaked child private key, together with a parent chain code, reveals all the private keys of all the children. Worse, the child private key together with a parent chain code can be used to deduce the parent private key. + +To counter this risk, HD wallets use an alternative derivation function called _hardened derivation_, which "breaks" the relationship between parent public key and child chain code. The hardened derivation function uses the parent private key to derive the child chain code, instead of the parent public key. This creates a "firewall" in the parent/child sequence, with a chain code that cannot be used to compromise a parent or sibling private key. The hardened derivation function looks almost identical to the normal child private key derivation, except that the parent private key is used as input to the hash function, instead of the parent public key, as shown in the diagram below: + +[[CKDprime]] +.Hierarchical Deterministic Wallet: Hardened derivation of a child key, omits the parent public key +image::images/ChildHardPrivateDerivation.svg["ChildHardPrivateDerivation"] + +When the hardened private derivation function is used, the resulting child private key and chain code are completely different from what would result from the normal derivation function. The resulting "branch" of keys can be used to produce extended public keys which are not vulnerable, since the chain code they contain cannot be exploited to reveal any private keys. Hardened derivation is therefore used to create a "gap" in the tree above the level where extended public keys are used. In simple terms, if you want to use the convenience of an extended public key to derive branches of public keys, without exposing yourself to the risk of a leaked chain code, you should derive it from a hardened parent, rather than a normal parent. As a best practice, the level-1 children of the master keys are always derived through the hardened derivation, to prevent compromise of the master keys. + +===== Index numbers for normal and hardened derivation + +The index number used int he derivation function is a 32-bit integer. To easily distinguish between keys derived through the normal derivation function versus keys derived through hardened derivation, this index number is split into two ranges. Index numbers between 0 and 2^31^ (0x0 to 0x80000000) are used _only_ for normal derivation. Index numbers between 2^31^ and 2^32^ (0x80000000 to 0x8FFFFFFF) are used _only_ for hardened derivation. Therefore, if the index number is less than 2^31^, that means the child is normal, whereas if the index number is above 2^31^, the child is hardened. + +To make the index number easier to read and display, the index number for hardened children is displayed starting from zero, but with a prime symbol ('). The first normal child key is therefore displayed as 0, whereas the first hardened child (index 0x80000000) is displayed as 0'. In sequence then, the second hardened key would have index 0x80000001 and would be displayed as 1', and so on. When you see an HD wallet index i', that means 2^31^+i + +===== HD key identifier (path) + +Keys in an HD wallet are identified using a "path" naming convention, with each level of the tree separated by a slash (/) character. Private keys derived from the master private key start with "m". Public keys derived from the master public key start with "M". Each level of the tree shows the index number of the child key. The key identified by the path is the right most index with its "ancestry" read from right to left up to the master key from which it was derived. For example, identifier m/x/y/z describes the key which is the z-th child of key m/x/y, which is the y-th child of key m/x, which is the x-th child of m. + +.HD wallet path indicating derived keys +|======= +| m/0 | The first (0) child private key from the master private key (m) +| m/0/0 | The first grandchild private key of the first child. +| m/0'/0 | The first normal grandchild of the first _hardened_ child (m/0') +| m/1/0 | The first grandchild private key of the second child (m/1). +| M/23/17/0/0 | The first great-great-grandchild public key of the first great-grandchild of the 18th grandchild of the 24th child. +|======= + +===== Navigating the HD wallet tree structure + +The HD wallet tree structure offers tremendous flexibility. Each parent extended key can have 4 billion children: 2 billion normal children and 2 billion hardened children. Each of those children can have another 4 billion children and so on. The tree can be as deep as you want, with an infinite number of generations. With all that flexibility, however, it becomes quite difficult to navigate this infinite tree. It is especially difficult to transfer HD wallets between implementations, because the possibilities for internal organization into branches and sub-branches are endless. + +Two Bitcoin Improvement Proposals (BIPs) offer a solution to this complexity, by creating some proposed standards for the structure of HD wallet trees. BIP0043 proposes the use of the first hardened child index as a special identifier that signifies the "purpose" of the tree structure. Based on BIP0043, an HD wallet should use only one level-1 branch of the tree, with the index number identifying the structure and namespace of the rest of the tree by defining its purpose. For example, an HD wallet using only branch m/i'/, is intended to signify a specific purpose and that purpose is identified by index number "i". + +Extending that specification, BIP0044 proposes a multi-account structure as "purpose" number +44'+ under BIP0043. All HD wallets following the BIP0044 structure are identified by the fact that they only used one branch of the tree: m/44'/. + +BIP0044 specifies the structure as consisting of five pre-defined tree levels: + ++m / purpose' / coin_type' / account' / change / address_index+ + +The first level "purpose" is always set to +44'+. The second level "coin_type" specifies the type of crypto-currency coin, allowing for multi-currency HD wallets where each currency has it's own subtree under the second level. There are three currencies defined for now: Bitcoin is m/44'/0', Bitcoin Testnet is m/44'/1' and Litecoin is m/44'/2'. + +The third level of the tree is "account", which allows users to subdivide their wallets into separate logical sub-accounts, for accounting or organizational purposes. For example, an HD wallet might contain two bitcoin "accounts": m/44'/0'/0' and m/44'/0'/1'. Each account is the root of its own sub-tree. + +On the fourth level "change", an HD wallet has two sub-trees, one for creating receiving addresses and one for creating change addresses. Note that whereas the previous levels used hardened derivation, this level uses normal derivation. This is to allow this level of the tree to export extended public keys for use in an non-secured environment. Usable addresses are derived by the HD wallet as children of the fourth level, making the fifth level of the tree the "address_index". For example, the third receiving address for bitcoin payments in the primary account would be M/44'/0'/0'/0/2. Here are a few more examples: + +.BIP0044 HD wallet structure examples +|======= +| M/44'/0'/0'/0/2 | The third receiving public key for the primary bitcoin account +| M/44'/0'/3'/1/14 | The fifteenth change-address public key for the fourth bitcoin account +| m/44'/2'/0'/0/1 | The first private key in the Litecoin main account, for signing transactions +|======= + === Advanced Keys and Addresses ==== Encrypted Private Keys (BIP0038) diff --git a/images/ChildHardPrivateDerivation.svg b/images/ChildHardPrivateDerivation.svg new file mode 100644 index 00000000..38821215 --- /dev/null +++ b/images/ChildHardPrivateDerivation.svg @@ -0,0 +1,4 @@ + + + + diff --git a/images/ChildPrivateDerivation.svg b/images/ChildPrivateDerivation.svg new file mode 100644 index 00000000..05575877 --- /dev/null +++ b/images/ChildPrivateDerivation.svg @@ -0,0 +1,4 @@ + + + + diff --git a/images/ChildPublicDerivation.svg b/images/ChildPublicDerivation.svg new file mode 100644 index 00000000..7d3518fd --- /dev/null +++ b/images/ChildPublicDerivation.svg @@ -0,0 +1,4 @@ + + + + diff --git a/images/HDWalletFromRootSeed.svg b/images/HDWalletFromRootSeed.svg new file mode 100644 index 00000000..1d6893e4 --- /dev/null +++ b/images/HDWalletFromRootSeed.svg @@ -0,0 +1,4 @@ + + + + diff --git a/images/HD_wallet.png b/images/HD_wallet.png index 18f8adca188e28e17bb05640c8ff48a6040ff798..1369ff12bdee5e820e0bfebca4574ebdbaf6889c 100644 GIT binary patch literal 30797 zcmbrlXH=76(=Hkd78DB*P*71iK|qvZs3L?CAP|yJ1r(JkAWdpOQA9v`?>!-*N|mk% z(xfJ#3aIohC6v(i1HSLK_de^a^XL3wv9g|WKXcDqbIr_k2WTTy80gvPK_C!=nyQix z2y`3|0v-Et<`nSDjNCEcuN$+Pk^J#V*+{U zYPiZ1i8&=jG|}8O!#GR9EW2|_#zU$^sCIt2buW3>sZwNm)Ty&}deSL7^qO>C|Au>Y z>e|kM2~Okp*SDuH-jH$o`|JPTKOe?F<+Qj&u7fMj0bgl|@L9oD_Pf`oys7%z(l8$J z=WDG)L~`V{twuh%mEqPqy`smW-PtuBiudKgY(F>m`SG zT*@}r2`K#j@IzQI*c&zp) z+*;u0(NUlqpX7v7CqA`SXKl8@6kVFjT$e{1?7i365#}J!>uWD*>$44Y*d6*r3ENd) z9a~%5>~P9~=j!-c(<5D_Xcg{IEf%J%i_yx;JegfGYZ|{B1DKN1fR}4;{d#+m{`7@w ze|zbo>hu_Y(2A}g7h#2NVhM`05;NfdSM6Cl%RL&^L_c-X9k?NwjgWYJ0c%7lbSHxw$s1xI8M^uF8)Z3i?Yu6w!gOnJq)y)pZF=-O@k!7 z)n5uvJ>_-5JpT8DLUGc!%nKlol^9Q^c2RHTY%iQ~+#+E>2;IBm^nIIZg0 z3YmZ!owpnaoaoOe=Ec*h0?nyDMC2VPg+8fnltRI{O((nVj`c)qtCiGgbzx90SS7@* z&OqElIEn90!4P|ZvjyTDy%tX^qJef?Oj`F@AJ_xRbV zo#pyvY+;s;{Sa;R>OJ$VyM*Z%BUKb8Wi`U+PwF+btO@6_I&8|zIjWyp!KmK%=H|Wr znAb5zeX%#^_f$+t%UNCpu7#gJucnb#I+;f~O@Kyu)olR9j z-L*Urxk}Dk)l8Id&mbPeCM7&DM3bB93Z_*N;9v?nw(L1}XK-?&R800kMqtvzd)<(? zB)d7jrZqFa$cfke{%sR<Hb)gm;et+{n(N5s3$ki*{ zNXb<#cy|@*XP)8oboH|nUGy32NDia26_?nwAlB17pa&bHmS6=6W4*Rq4t>VDPoU#a znW-;fIZ^|z!IQ?Q3RW`ciI|)kEUtA_iMD}=V&0KV+Uc|3<$tgA%^g#d9~S!1yGC_U zn{8?Nu=%L9PzhsdVfyeMGNgMOQXVe`1{w>pa2s?5@X5g1-}^Y{AOIt+xFn`(#fZ;twY&> z+k+sO6=_?XC7I*fxRgziRy99J^)BRn&w!>4r+wvzwji;yE}m{xO%gPHD>G!inlcEK zeIKiRaK{gc50{(LfZmhu3zB97e*Y;BIdw3G@uQFy7lHico7z@vl zgIl{SqPSV0bgw;nIvkMN2Zd_F4+S&bYjD9HBQE`W0(0?gAP_P$Jf1Q%tcIX$88;9E zUnWAH2?c2&D66WJiNHqqV~X-wXgQn#6Bl+;y@P2lxmODsGH#Zo~Lx$ zr5}&KF1<;(9m`&r?G1*}MWck8Dw%>_{NNq_T%H8i@bvKLyiCee3H9jV!iJVtX7pIs z*v~TSKFEkVhc(8cC?#ksuT`uzMSTYApVNZw)G4E3YPZ0oRK_8|EV$X)HDvOJ@(5L#g5el&L{e_zu*yB(J zUi^?Qqq@+OgvZvN^G@tfATK-xGxD!J5%L^jco#TSdJqMFf+B#5U)!~mLcW|N&^U5i z@6o-!oo1t7nS!I1Ooua6=a*=0{;;cvXVkCFWZ$PF_?g_{HuH zKOM+GU062ddhkhM`nlVM%$R4g8IhY1d`YW#V zE}`Ch%Q6=(`^S;c7k&;Km#8<>fr+CS_Pz1q*}NPMfsJrQdJb?_qP%x zI)7F=$#br7fQpN17QE%8q~<2&I3KhsT7ec=Tbvxwo}SW8$mcii1@4s-Lv~MqR8dbt z_KdJ}Jh?5e=m&_+PBy|s_u z1S>hBybS3^esjYF=DPXcz=JNa8h(1EoOl;X+}etkIKygkc;`?SXGK}~e*V-FaX+Sr zND0^di2j)AV{{|S!*R|NBUB)HA$>;BN(*%9bmv5lUQe$XdHqk2$bL)kZ4fBys&PNF zC}!>xr)&tA%R?<1y$`x6s4B*j^{{=@5LYqj(VEjrC|ZeQize_B_s7h?%rhuPhA?9&#ltPOXsRiiS{|SMakK|3lgrH302ZOb~Bd_Y1j~}55FI+H&-qc;bu5WNN5zSAWv1# zy9Xu=&7Z$;fn{T1@Y@F6>jB7SbfB2a9N8yvy+nN#fJ3q&=QV65YBx% zBAWOX;Z@#z)vgCma zLFlc0Mkm%esQ$~t6`?1Nfj(rV$SqE0_Re1g83yYF1v=77WC93mH7rv<;uT3)fWTda z$9HR=9CALE1atojgYNaK$;Gomv2dSK+K$5|!1n~TB~LOyyLZBeu;KmZUb0Z10@0J~ zeu;FoiQ7nIHs%E2y@uiAHsfsguDIXW(pKXa9IwaRWn+UJJ?==>YRVt^Rq{m;s6)Bd z%!1j^dGbr_IUnqVQu+=pv8D?kE?y#=v5O}szNWt7Q#OurfsPQ*y{7GcIt;CN8QM%H z3j^f5tyj+9`aO<%!QHuo-TsD8W8V5#^h-K-sv0p!u5#9i>n@iBQbbJKn?CEX_X7m* zk|d;#QYvKh-N$+OqO5?>^R0bG|EYbJZqE{DQdeeH;rLYuXgon3bV0y$jc+o;lLyZ@16B-fsa5>h8Wt z29jKdWx!L0CXp&P@88jH?e)N@@yghXZk)N(1Zx8!{6I=rGuVGEX!@y6aq6B>$ zxFwMGBT=%;^J(o|Lbjh|NG+?XMzG$+>w-V(*Y7TGGd_ZB-wMq$sg+t2%HB8eNn^WF z^6ePNds^H_&p9-E+|qqEJ9hU&R|nP3?wQmh&$!WCMR#_<~A^va?yK! zMO$Z%^K0$iQt-Zw&Bp!VYpV}Gjal6a%G986l35+O?#*-1-5ti)_`;_}3V_gi(8bn-B)iNj^q@;5 zrzSKsI3lHgR3;?t{Qz!bieS4nUQZj=ZzQ|T`RVP#_v`B9Ho(tP%53`0%dZ}^)4sJ( zj)5B2ABl=zBGaHA>p7<3K9d;r8e~@4gyUwHiJ*+!#*3Wi2P^$!tDDgqv#pVQgB)Q7 z%=)+6X8ZD5XA9T;ugiJGU1tD&unLId%%Ntgz10mL!|rMNNgn)m{>6ekCu}++E243d z%BrH}v7=MSr7*R}P#kzX2nNMMZ5(NZv~OaBw?_|nKC7T@b5BBIN^hd@MosNf;I6oj zgT+l~^j`?yXB|NZcJKRW^r($mRC9ClpnMqAc^nf(GJUS5A=1ww?z;5T$Aa$!$js0v zI3rhnF( zt06q8Dtm*edsl6UE!O&WDpYHbz>;qpxuYs*|ar)C3 z(D0|pVpX0MR%C1p#UM#8vZ*4@LdzSIYdyB|w|8oO?{E|(EED(020yh%Mn;&ADVonL zE|xv5zX+uRwNwI6v8X77*>k_9tjfP_BXFka`AiKp)Tpy;wQm53kwbeV+Z?k5*2JJG ztLS`a{b-AT*@+3U!O-UQ)3N}TEj$K2(6~(2h9P4-rKTG?-^XrgA~<~JDjynoR*TdW zUh|UfUW;~>YM=c?tL5{V@F~a;3QWIglV@5FAbV$C%dGAMGw2fPq&PkL*)z}VWyod#e8v*}E5L}k=<*SC4rmX}M|lewl(KV!)E z<^oz+9|U~aK>2Nh{3PjR_q0Fd5$_6iXtH%bh)bR=C!`+NM+)b$0R+0RPM?xvyGAoka zu)2gz8)mEg#he_XNBrncu)SoB$ahnp_Ayo|b3}?vEA(WGfFn@saRAQWwc07YyhX~w zX(mnu%_SbZl|)|Hi3p=Sbr@2^@)+QHjFBF&z_d~+v3^@Uu!uNz58!{+m}f-XXk*{S51AFa)LEM z_Qxy1XcXpG;ydC0?|43N(JeGt3^tqeI`PlAesNQ3+CX79rNWbG3C2M1Dx=u3`A}MA zO4p9Oh2^-SxA6Rbvv_D0aj3r6#)eF+eNQWK>^$Zem~sOG^zvE{87v^PL1ioV7sKb930(C9>P5 zsh(c!*o%6@eG6?U=A`oqrJs4qxcG}{`55(&5@mW0TJBtENz5R|;H^8hJv}|GIxik= zba%oB!Vm+&-h4nt^`y8yGHNoVv$Ck7d5OK0QBwgw=%lfML~ZGCAP`goEm- zwcm2^2xi2r`0q1HodxQraYl@{@a~t;;Hw4{?=V#hacCLOmX^pYq{d;Pw#sCjqS#zR z@4d`WJK#h;irIfIZJ7Gh+L6dlG^7vEohmUm*5-Nr?b|o+ketA$R23 z>fpqM{)apIvf8r96!F}be}5@-N3wSmooBh*h40f%CP4^Ge#|7Hd--bCD%46_}968AHeb@R-5 zc>QFVce(x8lBRj@nA^1MMf6XWh;A3t`sUcd)AdxhXTt`C*qssfz5Y?4JvM#opEu4A z!PF4o@M?hUU=m9$47AJ0bv_6CF=8ot@<=B1$jvBa#gQ2tEnaSWq3h{jU*M?WAqlv& zjX!eB*Ky^zP=e6BQMg8JleobpbVro^^LHCx-kk7T3j(h(BHOtrqAxqj+V_s<@F#5P zDUxt`j`f9wp)orDxnDw0gX%Gckz#jI;taN~2UV~wFZnjA16ryY{gJ0c$ z8v?5hd1vtFMp_13t+s$`YLKg##9P$gjK0%VZq!7c#8V2T}Te3!}#lq zlVE;>^38GNqR3hHsEjn4Ypp&z4@|^}C+D#Fd{C~8;>}a@ z5o)bJLLa+_kP&9JkBd}vY4*=YokmAa*K!94+WUN6MLqB59MaA_;(=o3ZzZ;mYH%Zi z0^2(R@2ARPX;1C7k&n6(g>pQwiPy5(qwoANh2R6jtPifr)3y%`KmUh^5I~fn4_0^H ziga*sp;u2F0>gtC2N=JAugAp5W^G+!gaWvqKXzrO+H}2pS+aB`Jtm0Y=+a)R0CSNQ z0h2!uX$X`l7TR-ZehY~ZibiFd$G!8W0h}8^3eN)*=-=lehJ{Z%y$rbA_{*`Inwfa6 z{W<2O*W(T;`G_j&>1x5ca>vm2Y&7V|{cq+7ElMYdi3Teo%A9R6yR=FNp+$9%{D(fs zlQ4&Zq`50q1=DMOT_*kG?RZ1YXwT8Vdl&UOTq)iaeYyY%na=v32UXt8iTi#F-6(n_Ep>^shX22a0*OQ|uQ+AA9@rPt)>#MxU~2h_$u)W+2Yck~`-OiHH@CGj8Y#ajuh+xUr2Q|v(xwpF^I(*ygaiw*nPAAHrWCDil`1J+r~^~h zE#u(sHPA%Zp4}&@SIyl}v&no>Yl~W_^ccf#-opL&0b1JZmr;7!?6VHUZ0n$^^0KmR zhHaxyWB(`MdH0Vw2Z{WY+{6-ok1Ove{0Hu=Een`j&H;IbVPvTEQkdkf}s zQDoQh-tx$I)=7DL42Km?%SMoiks|9tS;dRN2KTc^5qidYjSjONVqH@}T)rJdFal8) z9I_R(M{~~-aj&8eA#LhM`9?!z*S<^)HftsyvnsgvW*2o7BoDL`AvxAO&p0S8vbko~ z(W`BGlu{h`($0y~7u=Fhlm>HWlrNVp7F52fGzEcSOb6C7)CNKCNpDkA4x#LSDNeyQ zC5<>|#35cMwxHU<9b{$LT?%m>J8=7BzZ>Xfs~F6gUsemoU`&V`R+&2*q_4t|{YQ%> zk$hUkKL2?_u&K5&bZ>V5+Xt(M8?~B|2@A1e3q#{1IydV!W$QWXA6>8xa}F+Yw5}|W+$dQ02Y(C=E%~1p zX=&%*v<3<;MGd9~fHCb7x5H1@U$yo{qoa5K%U*WQ9%0iZ@_K3fLk)J3f#OyqG0w+p zVNiRPtsn`)^PqiQnX9?`M5xzvo>=Hd?bd%;`i%7|9az-%yvrr+AVGF3w(|S=Xax9{ zD<8aeV`}BSi5~Kmjd+;{)!Lp}aOYoEyF^x^hnNlB?|X|mjAk@q?EZ$yv)~1bwe}!UKtyfx+^ESQKt8YqADFb7T=>Opu555PQdUyb& z2z}7fktpfOI;O*%PITV0E(79xC5@9ScPRD}F;3t|aUF3@ByQw4RWQH8lsG_pJK}wr zjNKgZk2`*Zth%uqBi=Ek;(?%;Qoi3%P1 z)knL*Vn6JOqhK(Y+*%n=A;)p=1&8ZBIS-XhgZ4}=C&k9 zyY8dq+PaW*prKwoa+LCKwwrl)f6!Ze|KKRy2H8!G4=o8Duk zqk%mthhASxuZv#!0#BMH^gNW&jFehk+WGHlWTtlLE|c<&Do&Yf*vF(9J~?leaQ)|K6;QuC{_oph z8u>a>s!DCa1;iEtrM_M;=Y!S8%i(ZQ>VIH_zkkO>K`+wDgp#wjzKDZX@7=Ds!u}@k>YWdNY&%;d6B&E$304 z_1G|p6lv-H@*suXZnsAME;zz(HBwW9f=BPcDHZ5FE6OPi)8&N)Zpc4Kb7vu0s}rcI zFBtc4oKVobF*ox|f-EU29rS4f<33yqy>bEK9B9 zv~v?Wcr$fuv%LXm3vuO~{kG`8^Mz|nKsu1jE1wU9kvHE5S)}^<`T4bfCracma^t>pjg9=)TUCEK_%GuV9zeq;XXQDQ%v2c z-Jjk!lC^KF*i8GH!vA>{rdHk z0r)G7K;8jK=W`v7^OmgELCmH3r#cntvc&{nrkzn>KK&f7!B7!8)wDK6nvtFItL>>jQYH899Ij;fFlHy0GRzl~+)>%N((REokU^(A}DhOj=bdA!a#Rk65U7hq_nAZ)p}h znKic^_$4lBt`hR9cM~#ajoEE8&?F{RF}VTwO-&&u(zdqT3K~n3eyVD_jDOuGZ;9&J z&Y_?$hEG?9Yrn(n1pUWMga??J7*^snouD*T2z5%}choz$l>htpHIjF*#^ESzeMV** z&q%#b{iaN7LY>}a42;a}2=M$-C#ussZ}W)qH|%sH)voqU%cQY|Kr5YC#c>vtp54zG z_V#a74kxMx*3n>%)wM4QrA8<_hRWLM@VVb1Ch(7a1aXrMQ)07n=|aH~*QA{J`++Es zP#z#?DNLfHx09RtkbUp!hgQD)_xjh|mS%{sN%w4-&t?haYwhMi0=|YENKGt+4?i}x zm!UT)qWkluQ~F-b+HRW<6<$Vz=^~#XI_GaYVZY#l^6a--yp&B10ta zOHc{-dJWg-?ghm9=|p74x0XCy-}kC(Dn>8dnBa^C*1xIXZjHCv8v3IQ4q&l zX62sSM23N<)kIiq=peUCYdY^-Cc%Nn)Md?=09Biy-hMUg1!K3d2qFr*$d}^%^}slC zDBw5OOjX&@fOspRaZNMkF^b+c#lC!l>i>b#UKif|~Y@hA^?oWSDZY7{f@L+@<3sy8} zBs(G~I>Pyq=|>bA8cuRFBj#8~G>28`Jl^)6n>5ta7!i#y+*bj5!#N~48Q$^CasJ{f z{|J;3E)`mmztrYa@z7^Gklo7wfQsxZ^oRNB=Aa`)G&-l!UVqMpxRULWxd;@4S%_LB zPtk_#)2B~`?A1|*-Dn|uw5*A-sOB8IGh1V+*hBxclpx;x`1986lxk!9+C`iFwQuNs zPcW@Xh5~f{SY9m*eBD2G$X!$cO@V}X0-9lSG#&mlk>YRpd3d_ z?{Ora$q1Gxo3jy`tSBpUk4!sX+d8)+VL!SM42dqX_CV))Z}$4)tj&mLmOnC!-PFpA zi=l_0K6JtaFR|noN;I`5)3SUa(x=duz)kyCefIJjU`@C^HDS<6U^WqklAlJ~X9T7} zAP}{=g@tu)N_TNxMsT0E8f%EInkpeqH|XT7tHxWgYy-gLbCz@uC4Gj3=TL@(h_Pf^ zsq=PVOX#uMeIR%8)w!?%{eag=wA5VfhsAtn7nhbcI74W(6j{$2$$L9;*wB>Wz?t?# z0ZtHMa*qdF2|Wk6MBiw$6u#7WD#j|Juqz*0hm#`^ysz!3G{LH_~p=!NEU9paRth(T0?qsm_wj6_>lmRg116sLz5C?I* zJ*AwolFnI|rJ>Lp9OWoiW(+8)YQwX1OP`s|A+W?o_U6&Gm;)HsPIEGEHkc8IJ;K(k z8v*H%u}FR#tqLH8qqoh5*nUEn^4rz`c@ln%bWecpB~8}(gk{fUbZ*@rd%Pnm6#~O+ znzN6{FNp~x>vhPb0=5NxIDgi(BooJ|!GwZ2B4%H_{+xEkCLn~8=NVsFQ z_z`Ma&K6sQeTWtGWMd9<6%~pm0Wd}nuzypx$zQ`l!D+A za@fzIm8{YzT^PlMiPGQC>H%Z|D8?b0xZ4!SZYNxt>Y8G@U1&nkO&58RPi||g4bZRm zmgPbm5zn;I(X6>vHs^=vl)zLC1kbJ9)AphHLde?BixIvdp=FZ%FnQ{-NBGYe;cUUh z%t1*}>*_udiD{6G*MVa8a~gH9Xj`@@qwQtgnJxiR8}X;+JE?Qr*`#Af^tAN6W?J!a z28@v&O|If{{pk8-lGEhT+`a!%bxqNZMIjF{u--(WOfrYRV0tN{Dr2ET#+-Stg1z7f zY(0Ql>zsP5izhTM8gd9>i*Nrgxc#}95kGK~ab!U(!t8i3eo|xA3#px% z+&a0Ev*BDS$0h%CJ+0;ksD@O?!dH0` zsF>e3kr!Qw(l(8yUevOaN(bJ+RG>DAl%~F8oi=t`LHsO{HwW2H82LGn7@74czWHsy zr-@x)I{z+)1Wfvbe*j8iufg+%hjug?77ZXyCh_k53}gy+G%0^E2xZJne6lD_)$aQn zp{%2kMxDVbFP?E3cNuk`#!f7Zk7=!Jc%vsiqd4W}}U0^$MVC z?Gt>%e|3 z9N1Tn7sQms6Vb1qI!cL&k+qS2*Y(sGQBV5|jQ1UCtvjlUQArTZWAkxNPo6~|4DIXw zE_AwU-@Yw1MK;s$sW-$g84o7-pn(FNxDV!JxE;l~RN=`houXAM`py2=T42(4=68@BF{SoTX?)jtdW1#o*+c#Pt<+ns917Smu}d3%mw|^GX`&k34igY0q7ZeB__RTa^EP#F*$H9v!qD z@Dfsd={fSXIA`q38}i;YX5mqW*ppU*(JTtdBR%1k3Y3U~7+MK8ZfPYZhCeOQf26N( z37ijzM+2(~&!#Wd#e zr872@${Xo}^~6;MCq|8x1vjgx=w-Z6Vg8NEmb)E{s7P7x{VV|=o#`)t=9FW_xN=U= zyZSIawWXH^$45Hm9y|XeW3~?mpZ)^~h}xPv7{vuwaA^*yD$ETfMs*~_#W105!b0Qr-#Zn+ zZ~ZE@A{_@Pu|NHaZwsMdKCn1up7|FdQYXx;D@8Vbpd8NBJC>!qb9-7*C@HbYw#6za zR$3~sJ*?_;^pqSS&8*We*<#=4>v0j0w~H~dqR~p0g#P?r!Rp#0tx$tbCnq`#@=jxv zQ-N-0nMc^EWEy%Xt3DOq21B3H<|TD zgf*mQ$Ga(sw_UCGdKvx2&nG%!;tY9ST1BqkKS}X8KWEMtU`BLOtn5dw%m2s(8b4Ga zsF8KhDq=pF#*9XcwE3vB=SbXXNal@xZ}N@O`P^nCJI4N+)1`@|(#@PAEU;Cl4CD2| zWx^j6mdIrjnRNlLzD9h0S!|)MA*i_$pr{@Bs5HYSfZ<$su)e+;mG~f8=3yf<9A(s? zaacz{3Us3D^&P%-_^ov&PU`LF0zf&Vt}j?tyoyr;hZ?~+NLRwTJJMMNmX@aC-hR>N z3s#d0O_DfEy;NF#+&GQAQ#3luxh7Kk!)NUV2Zu$qxvIuE3woqmwJ##6KJNn9?t&e2 z1aUn+?;OO;&@@rJeJ#{%4n;_U;L(NHjyh3G@yPe;D(%t;LpYye_eT-{Z`Q_9Y zd#U^PTO3Zm`9%4swto$3`w*N^^0l^cQ`vJ`Ku^sIw4XNJ)Hu z2kyCaF6>hC^^;9Q>a113)dmHfrBabm!I#gH)PasXVdBPJd0t!Kdq^;CY-|} z8yyDewJB!P)iG9}Y%}5Sz&*G*B&wK2HFf=&r8&wNF;-T!H=t$xSM^H@ik{6DKZriC z^Q#L{53rmS6{{Z5)eavm?MScqdY)NPfr~D%#p+`~ZGx6vt-APeEpQ^TPEUgF;9hC+{gwA|NlMOBnt}z~kY83nFZe=XUTEYK_Jk`mtZYG56h^1`u;3(gsca-6H$1C(89ncE~bb#93aP`KhM=H zBwqZUsuS^JiSR(K`1PL7<0CTmLI+49I4f54O}7IK;7oc{Y_->r-xWfXot{XXclo1uyx7cg)y{~ViW z+#Thbbxxgev?U7hI8$r7BXQZ-4f>ZPgi~W7!|612^YF@l+AcEeR4aqUfmd?kIusOj zqL%X(y#R3?M0d3sm0D^DZr02JSM$1Co^qsbv1;f}%p--i8#UyL`IcfV*JpvWxHpEZ z#C(*~tcc@P)3yPNF)%Q=OTwPe{z8rm5-1MrE@U#SvfywUQo21|od2#v2srkWYUEvy zlM^2*k!ta-u+m9biYb5frbXZ;UP!-K>~ar`*aPV@7g`hS_ySR&h-g7yC!L%HlXU5= z%Y1Q7L9Ct;_)mUFmB-@7LLoU;mHQr2dMO^i!Hr_gGmmsS@xk%s`{XJIQBfDX9Om35 z%gO`%&PBwvfkE2-x@d=Tc#(p zlf3F*@~KjSfMhxS4M<^Ohhsug$z`sJ`V3yrlle0m^l<5yDycvfLShncGGnVqgG;r8 z#R&d|^a+46>8hu?fbG-GgFk@@yqZAM{uv!NFlA%01j>>qL$ESJ9j`Xan;*VkcW9`q zis}L}+=Xg4)eKf`m`6H{)+=&z+XavR%2LJ0edozZ$YOR;KxGPLzmRUeF0L7PIId{W z+Kjv5HHWI?-9uhuUlJo^h0*~UEoiWVfeL%usA}|1=Cus5AVRwHN%ivB90)#?i7OeH zo2Nk*zr~Qgv55KE3OrZO?f8&THL#v$4h-KC^5zeQ%53&*o@M$uBHOHH#R%r9Oh+53 ztR5rbX~24X}3lH%M@|m zkKF#zOlPfs+WxsjdInY+JTq4$$p^HcjvHdO&$+l;asT?Q83~~$b`rQ>JvoGo;45H@ zNBXya#QDrV_XEUMqxvIH3kc<(xn6hhUXt-bGnYhKUFk?@c^)bi|1Pt43%niaM?v=ThWA6qHG6?4H1lzsG4HOLS2 ztm>O4;rQYvZq^LY_0*jq*r*RAp)_NAZPd{7n$^8F@#w{$mG@k+2x^^eE|iwjZ>MxS z`gl5v%RR;$SY?D0FCOkz@m7aRRea~l<@}F^GXpcI5eM88sk3H72}t}IAXs2gb!N*~ zbNljgZKTq4(@OJ};W!VCc^d_kBAQazhq7XO!d8|<%xMi2iPp)=_)%0y_#+T$44^)G zqV%~vzxA%I>sN(ou5a-vIdiQR!-)1;1DWs=2=0vaJTN@hlr)qrntaUg>}+rAB+z9# zcQ1&vg+4P$pPT)j9GFIoY>UrrF?--4^P!@W%QHC5^tSTi zckTWt%#Bbu0n;XKVmV0Aa_g}!Udd{s5qASi7V2%9q5wLF%a~*mAs!iE!z=7etry?mqZHZ^j-PMY5Kv+rsv8?NJxm&M!>3a zW?+bwbpmE}eyX;I(+D;!es}o&BW~MkR)Q1c3{r>Vc?wd0SgG^+L{#?PN0C`Ud-Bw^ z{$YM%`@--NgP$wDw-3J$YfUKmR6Nw1m`B-#qaXF%rA z-QPy_oKyOxf57@V=rr;;O&=zMTP?{K*G+8mGczpN!Rr=7D-Gh84wwB+o#wf@ln-70 z%o1S)Cqo?SZyqA!hP!XeKl864NDU~{3 zb9uWZ$X6(+fcLNUn2GZlovn(BR^WRwiSFOlRT9m=_nJm@ym1SEd(pyKZR~>BfBIxY zHdgP5{p>|0fHJdES9p@o7;zcha=eYM>{GSj(HW5T8}n?ptXJ7EA?bGT1zN_M>In^E zvb~|&r$Db{dxNU@vx0ct>_Y6|k1iFZJqo_cC(X(JI$T zgLD%J$gHcFN1GcPw5J3cYKiWcdAs8EYu7$z*(P_gYThXx`%Pdq5!fl=7~U^EC@D*b zElcNpQn&{>MOqV=E03?Q7#YZNxGn9N;0Rc(-W@|jh88*DSJ&6qPqOgAxDAbWCjgM- zr9I+0AIYDW?K||*qy&V735mPU0!K_v*R6y|c^C+Ku&ac$%E!KJ=^-Hc zjM+dHXUXHgLiTbd(foYv5q*@3J1tI82Nw3s`GGOjj>O42K%@K-+n{kJWo%RZfFX)U zSoLn(#r2@>0t2@DW2BCqBp@Mrk6HlI97aKDf4h3mr@sLWK5L!ZyxyKy|Lt?y12*-x z)#mNhbOmUQW`GkFm!|f7-vN4AoQ%3ng_7ZE$O|ycLPxu8#3(&9I&R~qvwDV+-mGhN z@jxbO7~0u-8}y_*IMTRXyrizj$*6g^cT#Y-W+MkO6)kBmNir1pggB;PpVtbtwd*8g z`#r-R+ywS~x@yIn>}ai7$df=-mi);g52#FRES#D$nnn{X4I86$Rm0GwoQ$y0p4D3A z;Vyxe^TRfn2Aik%*Y3RGUnm>%2!T*C0PB1FnwvJywgHG-L-3bg?;3U5(i@yi3Lu56 z>N#hWphr&c$x#-hqj2Ku?|bwHrE#y|&WQSzq9=yMI97gD+z4Gy!1K6yF6KDi;E}Gv zO-?4!3*w1<-NF8rx=7q8$L+1J?(YGca6|wS`ET>%v86oN|ES}HH5idXBZJdV);Iu7 zCGc?&H-O?V2F00|SU+kO@O##SlIq_-JPtGLBEGn`NV<)0sJfv9{(52P)`Oiy?1!Vr zde*NjHYC)4zUQD$D@c>*9Va{bIHwn>-Ln49LAmaDj}G$(pPCIZ-bskLh{5EUoo^JA z{w&mP*#zDzFXNq+a`oQT^I@NNPft|MorvZCB$6nIm+*ou({+6KK0NazpICe`oTMSL zD9E|CZD*e9xV7I2@FuH15e`>)#n-cmG6?iqvVBZ)DxD zZs4FYB1%qT@}HHaz5^QYxP}KBB}^2O68q+7n0DsxnV!u3ZQ`q!3cA(KqXZArWKlL* zdFT8^XWsjO@+4xfhZ{IduB4)(f})Sg1F8GMqpm?a)_d!op)36YW6qAe8D@+!JTvQy zZ^@b}nEx}o(SWMHe72+!c3Gk|@+|S4ZWm>39ZPe)=E(L+O&$)#tnJ+wzLGB-;aE|& zQDUcBs#TVi19X;ZWczaD%-Hhd3@?s00m;qKLG;H>HnE0*0+N)L%Ttc^D|##GDXdd6 zJq(i>f7~NER;HJc6%eE1Tif0Bm@+J& zj7}n1*qa+w^Qq8ooW%>mt8S{pg%W0`AaLtHVI=;T^>4a=B*uef1$>FS5-=V@MpYkw(7e6;gRaX6en`mi`XITJUz2#Hn!9*+M&hNbX0@;eD%_-s*2rHLe5 zv@AfoYTxO)62hsZRHPNznImi&_&Q!`Zj4x@M=cK$4vat<-&8-)`eTSdh;v9;Lv5)M z-h!$RImqU~*%`LbI1?Fr@1_9LGuC^<7=nxhMd-(eF<=T3_N8NUe+f{cCXO4q)Zt*5 z#8DhZ!W1~H)Pj8RFmxWfv#~w==rXxTeYeeG5ooo)!dh}+PCz@ldh3L9+OC&&VQQZB zrcd6IWK47Lgdgkfjd-TZs^Ti3Cjg>VWuaMhTn$XsjgjqE|EsPukB2&H|GtV!B4jBl z5@KvAvag}++YA|7mM~+>p1ri%%f9c%%!tV{WN$+#!b}*ULbgyCvJB6e(fxaV_w#x^ z{xsWnIp1@xb6ubJ=PFNMTNOr=a7%_yioVqC1&C_}3_i@zX*%NuDlgHXTpqcb&)BxI zh9{i+nIQ!<#-C<+utRoxYP)@)VD0+%&}IL;x#s$O+X`ZKWv6hBB8wX@7cM8O0M4(g zfR5+V6~z(E82np?{#vh}_RY#J4cAtz7-?M5=48fOXsV4x4kzZ#@2&YA0lbs8HunvQ zZ81pW(!$2wo*gcgnkbQIT#4*_6k1SxZpP3gKv^WFII&xa*hcOUDeP~Puskhon2-T? zmU;?s7xGM2>`O;*rO8>1E|q*dex`O|{|ZUa3R z-LI6YqVc^#V{5ZPRTj?UszZeLt0?PZ^S6K9y2LcVA*m4Dc>jjg={H74)}$wf*eIWXoYK%&~R# z2`s55b{OGU5EjI89H&MFwa+(%C@&b1!=+)?2WwyqPH&AW4a5QNn)n%>z zI$)%bt0djb98$_f!#J}8NEKY6DnU>B^JPt`w z(2iaa-d%5!+rm}s=&Un?q?4%rw)oryv~(;c+neO}=84x@EqkGbBp_s&xuJ7+<3cG7@I9(ac8=>T$c-KzSKr`Ww1G3Iw? zA0bnBkgo4rH9_*>HX>groL&~yWeidGDb9&Gu6wRH>Dm~br~tgYpj+UT&XuCF3UKl8 zt-R+x;p?3y6TXL1V!|Xgk2D0j2N+x^^?c!f!L2BpVv`$baOOYXNU>o;+FZ~jcSxO= zi1#INa7~YB6XWdL&Db?tybv0x@uIbfKG%(t`N626Y#UVMqBxlHqqy`>1IacGTSGsY z2a6qg;SCTpJU>3g@eBl%Rs((c1sy`D=@=8J4^C)zK;YtZ(!7orD1JQO3FCx{BH?h8 zQqxCU@SJ}0ljgW<8V{H!*a$xX>KdqHBwK;_z1}FcGWG{WeD)jZ;a|FHZ7i6&#a zhdCPs=XLA(W~%6#%;9_pk%;l94MR+?_NGRT-D3@*wvFE_7HIY(S)XP)QX(X?(%OwJOJ zB!staPbD7vAAAm4detJWXI_8x!wpHX&Hwq8i&0sE(h~Kgf|#&RyhFO6};E3{7e@kUyE#G*7*PySPZ%Pp==FUj)ln#v36Gp&~ z&zYKP8xIPibh)AWv2Gp9B|A<^32$Q%3JOG7Q{skKF{Lp6#Ad?_o?I*&mP@xHE&s*S z%9h6oa)9-s4NA(#qe#;GS{r9W^F03?t3%`gY}j-aBp;vlRf|m}pxqxpcjf`T!lov< zaw)@+7su9aI=6mV32E_dTxgGe3##~>yOUVl-<8eTI=-~>19sqrmh(QnD$_LkM~#Rg!}Fwjzji2(|wf3tb; zN47dAfj(^q6E!`GrjcJOn6e^P7-VA|;VfhWVzw0mXP#`FY$nz?u;C_-Z1LWj7q~U! z2h@;W8o3!6zbog+w=i7Ty!uHMFAX9-7>G+huY|BFz;FW%x!jwBrFIH`1HUbx4WkDX zA~srFm5$EFU&T2Y5+iyO7{{3k#)A{Jsh$Ns*%mD<-v)k z<~z(ruPx^{pHMd;7&qNj-8f&SU_+haN20PUr8$#~-GB2vN^yZ1OtM0)V_<^Ny~-oe zo(({J8HIh@bozGM(1SY^!+H*s(XrCJP``lVsnJ@^prEtHkmF zR*vk$@?Eaa2G2->Njl#~gZTm~iH@(!`;()?cafJfMTHQ9Nvdj_FX1 z_+m<;#PZehp|XTvcT3bl4qOoyj~fpdo^kI_M1-(oN+{lO#4Lt9f4)9TaAwn7(`KaR2V-NMPkmJt9-b75eff~nJhW0((z@>Bc4L|XxrTM{?-Z0sf_KNSy2@TN zDNY&G13zR^V&=EF7!uU^y9EHzX*&T7L1#5BNDRR6$k_@^s_4U71%v2vz*~?hJv1(5w0_>QUH%E|+DuB%7&1n?438>r zi`Umbr;{}|82f-Jx-;)5%BWjYkPsg)+ss}(Y0_z#^q#OQY-~gna0g3N@#xasLHHOi z$cpsDbmq2J)}Bz}hIKwG6SCHi9sG1~DEv`G8Vgv*bnA@f#)* zu5fP_D~OR>YR3Ew8lUqlZpVMmK`I8>E=QCH1jQpDY%-#t2M7G`oo4=N)cHK>ww!bK zjKz7k;?YV_t(bCV^ZPS)F%k+8%T9%c$(SNbq?3^U$G-#0my@zN#B?!~vBq=H;c50V z)gen?8}{s!&+U3883TM>fdg7-S|H4JwO;kptKfPdkeiT^u4o5xSLO2qm#bBgkW{gX z`M-q%SPRKN*GK#aQ!Sf{tX6);g;>H4KnKxG9uoo9q)W105`!&{$Kp7~pyK3>Qx zxIMxXXf_uRpginHJRwu@;0jN40g1gWrUdjCFUU1X3DYdUiqd zmr);Zg)mhaRTP3fwg>ZMMpxQQ4*j**v17-}ha|vv z{n*o17K7Lv+H1|g$OnsI_*mRc$#R`CDp65UaW~Yb4VVt?3H=fj0n#sqpc0Mp)v;;WX+~5-#;+g2tCWUWUBt8? z5Cf)6eMn0&G$O)pye0jb(8U~y-LY%b7g$ulI!TH87TS2kqK4phI7=hWMVo4WtM9Sp zZSy^4Mc=0L%4&h;bAQcDs&OITGc@CDOE}$=UC(*elgZE-+WOMhcVUs|K$rTm^u~DT za-=;TNo=$6Y3JNCGgIHRzc`o4K6wZzcwZJ^*{k8(EIn)>LzI;~Z)h^PCF-9oGcbbZj4tK%m-M5O?bx z<%4w9ygzN~nQN(G~`uHT%Z>eDES;8>Be7|2UsEw5 zD{_C#%bmM_il**1;j9mb;$v>XJ~tXtYWUF=*qG}E$xoUzS^Xc*sT3!2P}jh5z}y#l z2MX5N&)QG7*jZbLIxLU3*c8*?7FGf>YQ7g`N%Vl1c7U4WDQyFVBM*_> z43uI?CS$`l6<eDJVlrG)#UlFD2Cvil>+q4ZLnkm!^_wmyv@6PNe%3kZ@Fji z7%B+CYv;G<+eU|l+7#<7cDzUen7!1{KOmKrkfk3(mLVHo_G)_Zf{It(d{gj~G}>@y ze<`WE{VdvP-l~Zz24!(C-ZmQJ{WUZH*hGx`7avuJd++P_W7hb?JM7Sf`$HomnWSS* z8_VIqUc@ld38%AgP}*?!Qx;swP?SrRK_cz)8ik#3Y1>2v>d7~+^Ba^pfAP}Py!5g$ zc^JfIXzDU|*(K~fokvnUPH^`aR!0)Nqobqu0|q6_JZ=}H-MUrqIMuu-prtD4cEJ~K zI;tA^nbrE@=nOYABFm_>=y>=TYSHceEqqKQaP82$a8zmZtaNaF3p?r-;8%BG$|%?K_iBeOH^M^roTO zMll(@@M_$KEZ^NJCD+nm=ZAU``^S!l6JPRrVlDpUrxm@Fr-${Mg^q=+aI+2mRS1|* zv7ar|+nm{;Tqf*_qz+zKZe6zA)`#+j+Xk?{v@i$WkCI`(-yGSeD(;099-h{?sKwx^ zn|fFyl}>A{$Ly^@%DYq3?iWzsN9sJYBY!>S9Q5^tUMT;^-sTRsgzN)h97_+; z@F=Wi5`bP(w+W()0jfq;TI$oSY+Fn8*9MKs*LE_Q!n}6&-huMn<7?*WGF@Lz!Pxw zdihuPsV0+|71s(jR2K52jJ@n!6!tdh)eQCms>=ZgQ6oaSUuOk8a%!Vo`W<1`pY2Rg zjRdjy_zYG0@p}RNmTK*>b9e_Hf2)m-hR~+wJ=0*o*A_tHHB;%Svqm5AlBLW>er7{K zP-X;ZpU=hnRKtz&Aq(J(luQiKNk6CH`;c;griIs_$Jf^nMIKV|pEYS;R*BfT`z;Jc zEu_Ph@C-~`cSr5E3oL}%4ojfNlE2s8yNo@n2J(Zi?)0~>w&V{1_f^?|!}}M2p3`L* zdR99l#g#|K9`-h?u5Bphc9tl(0hi6J2&J0aw}2+GYB7{^{1Ze6xxKxO`LGWmzhWTf zzBd;;%Rd)cF6anwHrBy26&%NpAHTa@1k6s{U+_)0Mu2BBq8ts(cOWbK(CUlYIcD-l z-XLpYmu%@KmN;-ANfOO-{d7Bl@4bx5HkdRjlI&NP-YvPprl=6_uDjP*W2z@J?W|2_ zZezO}vI?;I&Y#`f&rz$ zNAWdq$pI4_>hM{dMOUQLvYxTb!dM?t;p_W}2CzM2aeOwb*Xy zn?BV93K{?J>wkz5Eu(qysLhzGVGTjnTFK`dY6Q&&EpDfa<~CTb?hnPg&LqMdoL5}F;d;0{u!7i-K52RU>6Ki^L(_Sv;W?s zOF6!W^y}^|-CB|}EeY?5AgavbK>}_)|pmZs`FQ_W}v!cK^>2=^fu`E~^ zr~t-r-ZD5ByMRvviTKl+2FbR=9NL9R2@_OqnhadKG8z$Xw43ovOk;6Y{-oi6{0HRf zJ95hx?De57h>IHtxXn#>d|K$vvM?5 zPMUK{jGQvlZV0&Yoh-Td%Q@s9iOe7o3U{tb^KUf05e`kb#iM;j+VF5w;NnVb+EVk( z0egdZ@JxTkRj0pR0#=EOhiQisTmV&cXG9ts8$;4xt2QCjlU>A-cpjwP*>U0S@fIt9i=%w~{WVo}i+l_uWSubiUSlpw?yNObvs1W^=sUfB9fKzv5{RFl$9&i7j8Cv>z^ zcLT+k>hsh*#4TRUc92)W^(k4n7@iYT+bwUa&^KUatYDl6+F)~HDEI!<{qV-x#>NqB zO4^yYxVXOx_pz-myqcxT)Bg*Dy&EwhrSgV(pzPmA9_YW+NL!RhG>O7OJnGKhWXn?0 zvrsX3_Y@<&yJh{TSGPYNnZ>a`!yTgqS+F+y)ZZKx_rBLH!-4CdT&CDDX<56_)w|zg zwC8@cFx>+VP7hh3auB%th@BZSsxf%grOv@fGuzi#+-);g-A!~V96|De>^J`)c(e#QDwSYBOvyu6b0#1`LFkx90X9QQ_$31 zfDmz`jBz$ph(%wW(^F!D1Tu0_drg<^xM_erD*@Go$=*Aq1q3)9KAlOuZEMx9M;p^} z<^$H2fj!nSDD|W6jP?TayKV1BNKny%a=ZF}(C7z7pq^e~$`1(*6_YFkt~l{AqM$%I zf7X5OWQ>jK#>)NAzF57`9;u2lsyf+HIz`(+Vg}mpzYb~*z*cRFwSH(CAid^O1Wt2Z zvtm0Y|j+1{bUg;t20mo0rMDDQ@y*wDfhSY`|Pa9Ki8XQo!y=%wXz3_ zMa>#nQXLfvO>K(x+GRX;FGP_}T~+y5lu!2Bu=d{0+S|Fb-CzD$>L&*H)Z2^{GLBOGDmFtoKw0eZyR){9`|wM5;Z=LTpLVCLrrRKE6>sf1xBheH zh$$%N*T#aw)ICEqwZ3v@dt-TnX%cJb<6EZssmb~N1k_%|pm;bEq-z3tcg+{X{{5!9 z$9vjcN;szizxnc8+#Rej;+blVemV{4gfq*w+CmY5DtuN-bVFshltw^z}&pm`fxjzIB5CjAyq6O1ha)<90c;h z(3Kyc=0f#dyDZhRmZat>f^eKaHm@zp2Azqoe0lfJk6~*FX0Am`9!uk^clt9u7azG- zQgYOoyDO;l+)N7M_OwxQb? zdZ6RurlNR8k20=;g`HXdxe2A|oM4?ri8FCk)3jGU!g9I}X?=6*@<$n|WOEp)K3}dU z{Zj!Aa~NB@0R>O=XmT%DZm9N(s>m4CcZl9RVQEiP0g2awVU>pUy zbo_e9NJksG?2pHHgbw&bBLITaX7X^cCX++sEHAJ7t4_>{iV(Vj%lz7?hC;q;NM#*& zD{zBtb3<61m6M{GK@3u!v{1f&*!3yXZCA;m+Yf169YKw(e$2Z%_KNgmPJNCcXC({TLN$s7inPuP1I zARiGlbdsFhvC`!WfN$xz5?6G4s-S&D(Ak9{YYWOUc8~r!SoUGguzg;66al7>oTmMF zH$a-Wg0R_qP?@7=0o5{Bth|hins4qGs{Y$4Y=Jp~_zZqJYi$U-W7!^AVRQh1)4Eq? z_IYLJqq-(n+6nPFNKtA+{n|$R$EX6N7J|JU+Oq{5cT}#BF%>OKRJR5~#ZGF2 zKQbjg?u&sF3$pyV;KtgT7O-^yDcm!&t9^DGuDdcKazi5(pYzR8si{ha-7yseEB?wq zl^{5vQ~&tG!LiY!oosk=5RM+!-i*V3qgipYrM_weFiL$6gp<(xA+hxIQ-B=%`XV10 z{%_!zaki5CVs~p@(ekHL%YeNCY;cY zmGC_+NG?jtf$)q+jEmb}ePBVIE+LPrpJJwSDuHRYC4zf@q;##D3Zs2CWGl){^z`eK zOtc57l|l#L6DSph-E$Az(!gZ=^r>qaICc2Qk?>6DHOeI#`8!IQucXf8>9|*K(uw~! ztwE>Zc`nIpS`dhIooI8>RkM`91yB3cd_L65#DB#Yy|-y|*@vux-lf?aARi%Bm-)!# zDI%CK-z|Kz0-{sWTi`1ai-`5iT20Wyv;85Tc)y6+J!RWa9Ho(7FW0uo3D zdv&(pQ3xr_w#v=N@p|k2I-(_l{?z+N%V5y5Yhr9{(G%BjJ8Npe&piQ$G4|oCL9~s? zh{k`1WgXi-vL7shJ?|5dA#;U%l9wk~@|Kq)`laAmu;Sh9(~hhfg3fa1s~5-4wHCPvEF~NOS+1`^ z6XC8rWaAT{u|lnG41FV0L_@G`+@WNBXs>$GXUS8e@TAY6@=LJd4 zfEN;Q;3YL;0Qp0{mwWu|AT3cNT2}1^mWC3{tdNlg-VH-fO#2JaqH2&(*}M5vfZ<)L z`82P-9vLsE%$5Ig=Pb)$u8%&>KC5a=#09w z{b-@qaE2N!h?R zwC7p9NIm~l;Hr0#YQgri8Zjtrf0&bU+?utNz|xWyuT@dT)@Ikk^T+(|ai9LNG0)DO z0ITQbR)ODvOZs0GV3$1*HxU+YM*oj7`$fX{cq`N)KPlpVwB|9I>M`FDGS}bUf`1OP z;3Sa0`ZHZHC={hKp;P{BR2xzg4d&4Wc4VxHUw#C_~9nmn9pnLDx!GDc#+x}Ta42A?Ol;~-TC&{6+uq@XBh!l3$rRveHEv#r zkh`TVO$qoyYdcZ3Mn`A$7E+&0%QHR~K|+$(^+9c8tlbcQmzFaW!Ml_Q@MX3C{rjqG z?mqC>FE=QsyC*IgRAJlng`4naXhPG#FG87`xX>>+p}dm&dE2Jl3_0M9YXEteI$0S` zS4~nc_*@{x0T6Z$*AJ zlaf}EGTs{DGP?^A68EXy2taOj^(6<;V^O^-wQ9!0Bd7+#F*~4>UA1kYkQ;~B7oOjv zldD_rRJTX^%&Jb%Q7IfI7CzNq(WRDMY7Hl-j*$i7yYq!k5!$;%OM6@Sh#mRSlW-j{ z2X)N}0bz>5);rSZ=-v%>IXY*~`1;z-1ykymL;!o-?~JJR!iO~$b}LKyEubI3!cE11 zd5%#wI4Qb_TDwo`e*$Oa01YSJvmCi+VCmTu#Uld;(Cl``EO7B-nt{lUM1l$@_+^m$ z!F+gBf7Mn$Uh%ki<9P4zz(O^o%x-+{W9Ah# zGdnJ&v$XMn(=YvkoR1ngJANIu&L@B8-r}L??)2V}R*XtSsancOR=O3a$t?zHB6tQr zaU+>;!#>9twXF6kd2rw0i21=iy@r3$gBgn3>%Y!-yYrB`Bm)`io)+<91`s~R1OdH+ zuXi5{Iw}k#D?bZRIQy9|WD!4<6m*QPfs?Sb;7#@aWVk2D^;>~rsFoa{;3@S}^5w$= zbPe2uHdWt);I;SC($Wr&TMMEJ!OF(v$LT)Q6iC`N4||I~%s8k%V3I#pl%tx)t*}Vs zQ;yu-QS$}8PtNssKaa<2864n8*y?~ytbvhKeo}F#nkoJSU9k5cbsFq2Kd5e2zBZAQ zRMTle`HrQZR0j=F=x!ValZbFx(6pfuZh$WW7>4ve;{*TaKaiswJn(*PBRR}hkA*L? zjG5XKkcHa)?jF|_MMWg&&?2f3{(>xw5{Iun-$MA9P`|GBF_;RuLGjtZ2$!8S*{O!S zAhMZuh}wIlK-Mk9)zsjGLD%M_WD(c{(a}XmXRS}$8o3&*SbN6(`QyU^`nb^D6Q=H} zzt$yUc~n}~N$zSt=%@|u+|JEsIbYLwnw1w`YrN7&5&?To_9N8Zlj_NzFFh;D*gYns zvQcHq`*Wp7s%)9sf=~VA=UL~AL;iGUDR-CVCfp}MCyMAp)aI1@E+C9CG_b#>-J_XQfz_Y<9q?f~NA*P|T_5r}1&}d;VZMd59VOho2vW^+J6zsOxR0>xfCO ziPqc))c+S8rna0^VwkU)bzVzUlX_f&_zarl(3vol^|u}?2r-+a?2py_?6E{x*k;GdbUU!TsIqa7FM$-zAur8lUzeB}eM2sF@Z zx8RUIuYj)21ZQ;bOnt1`pTR?J4sWr4L9G+KEBM>H6Kdk136fcAev~RY@}+4R*#7?b z1`g!jM_`m2tr@hjH!)6mpym76=S(`K_~Kz@R&l`_&uZT?)V+K;>=i4)<#CY9F7vXc z_`{=?B{v*=ZaKWZ<&b^zXyEfxmoUl$55+XuqXfAQ50o4|Pn-(>>5^u8kg+p&sWM+G zEVKPfP{u^_@~ZNx(K!QmJSqQY2Fu^{l7Z28%YXW^va@^qSCR$0Ocy@n=jHW2K(yHH z3EA>RM?UDw?!xuxVE$@GwHqV}KB1gydm$x}u#z}HE*zG#$=#voh<5G>>iTjd{E6Kf z*wAkIUTS`BwXe6=1>pN!3c5*Wvc?87wEQPewF!;KcS!G9PD>)2#(I1E`XoY<1QlN9 z<>agd=`*PX#i@lTO9q)1a|MKlt28w?`yYBH*mYmJn|0{Rm#spX+iCWLc(IOn$v+)` zbWL&3KlSyw9yxNv>u{1_@XYnUN=iy2A3qu>2+S}0Q$#k^!9ZISxYm|FZV(~HeN8;>Cch>`Hz{na zP$nz4$f1c{FVbizNLxl(WZpCq`Vmo}uwWmb=b)>oEmJ8NFMWe}OOKob zLxE-&N>rt|dk6$*U1MVw@SSTYypc4eKa{Mqc?&nxBP=YuRaiUXp(>^+`a6Hk>;?sO zx%K?snfZ>6$I?*nwUNOgAz6_`jE66e*yC9_o_MK&<+@jo($B{{&*zZkx5D2?`uSZ^ zQdJFHGfoopbJCjr{@p>fvYPY_s?fN1>sR|uz_-+wIXkr$b%llM^_DEQtWPc^XZ(1os`}uZP=u)xPZ^rH)xYvVm9jWm#l5OK%9C@)QdvAE zGan^a!sq>%m>p1F)x#6mG}b%cOPqmBuwy63vAsJ}R$E|u^Hz{cTN$QMm{auUeZPAB?!Nd3e`}?-Od4&DL VgX)MM&DzxW=xQ5jRchXf`ak(E8k+zB 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)11 + + + + + +extended + + +Normal Hierarchical Deterministic (HD) Key Derivation (BIP32) +cluster_parent + + +parent_private_key + +Parent Private Key + + +child_private_key + +Child Private Key + + +parent_private_key->child_private_key + + + + +hmac + + + + + +One-Way Hash + + + +parent_chain_code + +Parent Chain Code + + +parent_chain_code->hmac + + + + +parent_public_key + +Parent Public Key + + +child_public_key + +Child Public Key + + +parent_public_key->child_public_key + + + + +parent_public_key->hmac + + + + +rel2 +Derived +Mathematical +Relationship + + +child_private_key->rel2 + + + + +child_chain_code + +Child Chain Code + + + +child_public_key->rel2 + + + + +i_norm + +Index Number + + +i_norm->hmac + + + + +hmac->child_private_key + + + + +hmac->child_chain_code + + + + +hmac->child_public_key + + + + +rel1 +Mathematical +Relationship + + +rel1->parent_private_key + + + + + +rel1->parent_public_key + + + + + diff --git a/images/en-hd-root-keys.svg b/images/en-hd-root-keys.svg new file mode 100644 index 00000000..f5c623cf --- /dev/null +++ b/images/en-hd-root-keys.svg @@ -0,0 +1,111 @@ + + + + + + +extended + +Creation Of The Master Keys +cluster_y + +cluster_x + + +entropy + +128, 256, +Or 512 Bits +Of Entropy +(The Seed) + + +hmac + + + + + +512-Bit +One-Way +Hash + + +entropy->hmac + + + + +private_key + +Master +Private Key + + +hmac->private_key + + +256 Bits + + +chain_code + +Master +Chain Code + + +hmac->chain_code + + +256 Bits + + +public_key + +Master +Public Key + + +private_key->public_key + + + + +extended_private_key + +Master +Extended +Private Key + + +private_key->extended_private_key + + + + +chain_code->extended_private_key + + + + +extended_public_key + +Master +Extended +Public Key + + +chain_code->extended_public_key + + + + +public_key->extended_public_key + + + + +