From 6ac20afeadd5dfb989a3c23ea5df734c861abf9c Mon Sep 17 00:00:00 2001 From: Spencer Brower Date: Mon, 4 Jul 2022 18:49:33 -0400 Subject: [PATCH] feat: Added Haskell and Go. --- .gitignore | 1 + go/.gitignore | 6 + go/.travis.yml | 11 + go/LICENSE.md | 675 ++++++++++++++++++++++++++++++++++++ go/README.md | 3 + go/go.mod | 3 + go/math.go | 15 + go/risk.go | 130 +++++++ go/risk_test.go | 87 +++++ go/tree.go | 107 ++++++ go/tree.gv | 58 ++++ go/tree.png | Bin 0 -> 73927 bytes haskell/CHANGELOG.md | 5 + haskell/app/Main.hs | 19 + haskell/cabal.project.local | 2 + haskell/risk.cabal | 46 +++ haskell/src/Dice.hs | 21 ++ haskell/src/Risk.hs | 128 +++++++ haskell/test/Spec.hs | 29 ++ 19 files changed, 1346 insertions(+) create mode 100644 .gitignore create mode 100644 go/.gitignore create mode 100644 go/.travis.yml create mode 100644 go/LICENSE.md create mode 100644 go/README.md create mode 100644 go/go.mod create mode 100644 go/math.go create mode 100644 go/risk.go create mode 100644 go/risk_test.go create mode 100644 go/tree.go create mode 100644 go/tree.gv create mode 100644 go/tree.png create mode 100644 haskell/CHANGELOG.md create mode 100644 haskell/app/Main.hs create mode 100644 haskell/cabal.project.local create mode 100644 haskell/risk.cabal create mode 100644 haskell/src/Dice.hs create mode 100755 haskell/src/Risk.hs create mode 100644 haskell/test/Spec.hs diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..496ee2c --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +.DS_Store \ No newline at end of file diff --git a/go/.gitignore b/go/.gitignore new file mode 100644 index 0000000..eaaedcd --- /dev/null +++ b/go/.gitignore @@ -0,0 +1,6 @@ + +*.out + +*.sublime-project + +*.sublime-workspace diff --git a/go/.travis.yml b/go/.travis.yml new file mode 100644 index 0000000..745f061 --- /dev/null +++ b/go/.travis.yml @@ -0,0 +1,11 @@ +language: go + +install: + - go get -t ./... + - go get golang.org/x/tools/cmd/cover + - go get github.com/mattn/goveralls + +script: + - PATH="$HOME/gopath/bin:$PATH" + - go test ./... -v -covermode=count -coverprofile=cover.out + - goveralls -coverprofile cover.out -service=travis-ci -repotoken $TOKEN diff --git a/go/LICENSE.md b/go/LICENSE.md new file mode 100644 index 0000000..5dc6b42 --- /dev/null +++ b/go/LICENSE.md @@ -0,0 +1,675 @@ + + GNU GENERAL PUBLIC LICENSE + Version 3, 29 June 2007 + + Copyright (C) 2007 Free Software Foundation, Inc. + Everyone is permitted to copy and distribute verbatim copies + of this license document, but changing it is not allowed. + + Preamble + + The GNU General Public License is a free, copyleft license for +software and other kinds of works. + + The licenses for most software and other practical works are designed +to take away your freedom to share and change the works. By contrast, +the GNU General Public License is intended to guarantee your freedom to +share and change all versions of a program--to make sure it remains free +software for all its users. We, the Free Software Foundation, use the +GNU General Public License for most of our software; it applies also to +any other work released this way by its authors. You can apply it to +your programs, too. + + When we speak of free software, we are referring to freedom, not +price. Our General Public Licenses are designed to make sure that you +have the freedom to distribute copies of free software (and charge for +them if you wish), that you receive source code or can get it if you +want it, that you can change the software or use pieces of it in new +free programs, and that you know you can do these things. + + To protect your rights, we need to prevent others from denying you +these rights or asking you to surrender the rights. Therefore, you have +certain responsibilities if you distribute copies of the software, or if +you modify it: responsibilities to respect the freedom of others. + + For example, if you distribute copies of such a program, whether +gratis or for a fee, you must pass on to the recipients the same +freedoms that you received. You must make sure that they, too, receive +or can get the source code. And you must show them these terms so they +know their rights. + + Developers that use the GNU GPL protect your rights with two steps: +(1) assert copyright on the software, and (2) offer you this License +giving you legal permission to copy, distribute and/or modify it. + + For the developers' and authors' protection, the GPL clearly explains +that there is no warranty for this free software. For both users' and +authors' sake, the GPL requires that modified versions be marked as +changed, so that their problems will not be attributed erroneously to +authors of previous versions. + + Some devices are designed to deny users access to install or run +modified versions of the software inside them, although the manufacturer +can do so. This is fundamentally incompatible with the aim of +protecting users' freedom to change the software. The systematic +pattern of such abuse occurs in the area of products for individuals to +use, which is precisely where it is most unacceptable. Therefore, we +have designed this version of the GPL to prohibit the practice for those +products. If such problems arise substantially in other domains, we +stand ready to extend this provision to those domains in future versions +of the GPL, as needed to protect the freedom of users. + + Finally, every program is threatened constantly by software patents. +States should not allow patents to restrict development and use of +software on general-purpose computers, but in those that do, we wish to +avoid the special danger that patents applied to a free program could +make it effectively proprietary. To prevent this, the GPL assures that +patents cannot be used to render the program non-free. + + The precise terms and conditions for copying, distribution and +modification follow. + + TERMS AND CONDITIONS + + 0. Definitions. + + "This License" refers to version 3 of the GNU General Public License. + + "Copyright" also means copyright-like laws that apply to other kinds of +works, such as semiconductor masks. + + "The Program" refers to any copyrightable work licensed under this +License. Each licensee is addressed as "you". "Licensees" and +"recipients" may be individuals or organizations. + + To "modify" a work means to copy from or adapt all or part of the work +in a fashion requiring copyright permission, other than the making of an +exact copy. The resulting work is called a "modified version" of the +earlier work or a work "based on" the earlier work. + + A "covered work" means either the unmodified Program or a work based +on the Program. + + To "propagate" a work means to do anything with it that, without +permission, would make you directly or secondarily liable for +infringement under applicable copyright law, except executing it on a +computer or modifying a private copy. Propagation includes copying, +distribution (with or without modification), making available to the +public, and in some countries other activities as well. + + To "convey" a work means any kind of propagation that enables other +parties to make or receive copies. Mere interaction with a user through +a computer network, with no transfer of a copy, is not conveying. + + An interactive user interface displays "Appropriate Legal Notices" +to the extent that it includes a convenient and prominently visible +feature that (1) displays an appropriate copyright notice, and (2) +tells the user that there is no warranty for the work (except to the +extent that warranties are provided), that licensees may convey the +work under this License, and how to view a copy of this License. If +the interface presents a list of user commands or options, such as a +menu, a prominent item in the list meets this criterion. + + 1. Source Code. + + The "source code" for a work means the preferred form of the work +for making modifications to it. "Object code" means any non-source +form of a work. + + A "Standard Interface" means an interface that either is an official +standard defined by a recognized standards body, or, in the case of +interfaces specified for a particular programming language, one that +is widely used among developers working in that language. + + The "System Libraries" of an executable work include anything, other +than the work as a whole, that (a) is included in the normal form of +packaging a Major Component, but which is not part of that Major +Component, and (b) serves only to enable use of the work with that +Major Component, or to implement a Standard Interface for which an +implementation is available to the public in source code form. A +"Major Component", in this context, means a major essential component +(kernel, window system, and so on) of the specific operating system +(if any) on which the executable work runs, or a compiler used to +produce the work, or an object code interpreter used to run it. + + The "Corresponding Source" for a work in object code form means all +the source code needed to generate, install, and (for an executable +work) run the object code and to modify the work, including scripts to +control those activities. However, it does not include the work's +System Libraries, or general-purpose tools or generally available free +programs which are used unmodified in performing those activities but +which are not part of the work. For example, Corresponding Source +includes interface definition files associated with source files for +the work, and the source code for shared libraries and dynamically +linked subprograms that the work is specifically designed to require, +such as by intimate data communication or control flow between those +subprograms and other parts of the work. + + The Corresponding Source need not include anything that users +can regenerate automatically from other parts of the Corresponding +Source. + + The Corresponding Source for a work in source code form is that +same work. + + 2. Basic Permissions. + + All rights granted under this License are granted for the term of +copyright on the Program, and are irrevocable provided the stated +conditions are met. This License explicitly affirms your unlimited +permission to run the unmodified Program. The output from running a +covered work is covered by this License only if the output, given its +content, constitutes a covered work. This License acknowledges your +rights of fair use or other equivalent, as provided by copyright law. + + You may make, run and propagate covered works that you do not +convey, without conditions so long as your license otherwise remains +in force. You may convey covered works to others for the sole purpose +of having them make modifications exclusively for you, or provide you +with facilities for running those works, provided that you comply with +the terms of this License in conveying all material for which you do +not control copyright. Those thus making or running the covered works +for you must do so exclusively on your behalf, under your direction +and control, on terms that prohibit them from making any copies of +your copyrighted material outside their relationship with you. + + Conveying under any other circumstances is permitted solely under +the conditions stated below. Sublicensing is not allowed; section 10 +makes it unnecessary. + + 3. Protecting Users' Legal Rights From Anti-Circumvention Law. + + No covered work shall be deemed part of an effective technological +measure under any applicable law fulfilling obligations under article +11 of the WIPO copyright treaty adopted on 20 December 1996, or +similar laws prohibiting or restricting circumvention of such +measures. + + When you convey a covered work, you waive any legal power to forbid +circumvention of technological measures to the extent such circumvention +is effected by exercising rights under this License with respect to +the covered work, and you disclaim any intention to limit operation or +modification of the work as a means of enforcing, against the work's +users, your or third parties' legal rights to forbid circumvention of +technological measures. + + 4. Conveying Verbatim Copies. + + You may convey verbatim copies of the Program's source code as you +receive it, in any medium, provided that you conspicuously and +appropriately publish on each copy an appropriate copyright notice; +keep intact all notices stating that this License and any +non-permissive terms added in accord with section 7 apply to the code; +keep intact all notices of the absence of any warranty; and give all +recipients a copy of this License along with the Program. + + You may charge any price or no price for each copy that you convey, +and you may offer support or warranty protection for a fee. + + 5. Conveying Modified Source Versions. + + You may convey a work based on the Program, or the modifications to +produce it from the Program, in the form of source code under the +terms of section 4, provided that you also meet all of these conditions: + + a) The work must carry prominent notices stating that you modified + it, and giving a relevant date. + + b) The work must carry prominent notices stating that it is + released under this License and any conditions added under section + 7. This requirement modifies the requirement in section 4 to + "keep intact all notices". + + c) You must license the entire work, as a whole, under this + License to anyone who comes into possession of a copy. This + License will therefore apply, along with any applicable section 7 + additional terms, to the whole of the work, and all its parts, + regardless of how they are packaged. This License gives no + permission to license the work in any other way, but it does not + invalidate such permission if you have separately received it. + + d) If the work has interactive user interfaces, each must display + Appropriate Legal Notices; however, if the Program has interactive + interfaces that do not display Appropriate Legal Notices, your + work need not make them do so. + + A compilation of a covered work with other separate and independent +works, which are not by their nature extensions of the covered work, +and which are not combined with it such as to form a larger program, +in or on a volume of a storage or distribution medium, is called an +"aggregate" if the compilation and its resulting copyright are not +used to limit the access or legal rights of the compilation's users +beyond what the individual works permit. Inclusion of a covered work +in an aggregate does not cause this License to apply to the other +parts of the aggregate. + + 6. Conveying Non-Source Forms. + + You may convey a covered work in object code form under the terms +of sections 4 and 5, provided that you also convey the +machine-readable Corresponding Source under the terms of this License, +in one of these ways: + + a) Convey the object code in, or embodied in, a physical product + (including a physical distribution medium), accompanied by the + Corresponding Source fixed on a durable physical medium + customarily used for software interchange. + + b) Convey the object code in, or embodied in, a physical product + (including a physical distribution medium), accompanied by a + written offer, valid for at least three years and valid for as + long as you offer spare parts or customer support for that product + model, to give anyone who possesses the object code either (1) a + copy of the Corresponding Source for all the software in the + product that is covered by this License, on a durable physical + medium customarily used for software interchange, for a price no + more than your reasonable cost of physically performing this + conveying of source, or (2) access to copy the + Corresponding Source from a network server at no charge. + + c) Convey individual copies of the object code with a copy of the + written offer to provide the Corresponding Source. This + alternative is allowed only occasionally and noncommercially, and + only if you received the object code with such an offer, in accord + with subsection 6b. + + d) Convey the object code by offering access from a designated + place (gratis or for a charge), and offer equivalent access to the + Corresponding Source in the same way through the same place at no + further charge. You need not require recipients to copy the + Corresponding Source along with the object code. If the place to + copy the object code is a network server, the Corresponding Source + may be on a different server (operated by you or a third party) + that supports equivalent copying facilities, provided you maintain + clear directions next to the object code saying where to find the + Corresponding Source. Regardless of what server hosts the + Corresponding Source, you remain obligated to ensure that it is + available for as long as needed to satisfy these requirements. + + e) Convey the object code using peer-to-peer transmission, provided + you inform other peers where the object code and Corresponding + Source of the work are being offered to the general public at no + charge under subsection 6d. + + A separable portion of the object code, whose source code is excluded +from the Corresponding Source as a System Library, need not be +included in conveying the object code work. + + A "User Product" is either (1) a "consumer product", which means any +tangible personal property which is normally used for personal, family, +or household purposes, or (2) anything designed or sold for incorporation +into a dwelling. In determining whether a product is a consumer product, +doubtful cases shall be resolved in favor of coverage. For a particular +product received by a particular user, "normally used" refers to a +typical or common use of that class of product, regardless of the status +of the particular user or of the way in which the particular user +actually uses, or expects or is expected to use, the product. A product +is a consumer product regardless of whether the product has substantial +commercial, industrial or non-consumer uses, unless such uses represent +the only significant mode of use of the product. + + "Installation Information" for a User Product means any methods, +procedures, authorization keys, or other information required to install +and execute modified versions of a covered work in that User Product from +a modified version of its Corresponding Source. The information must +suffice to ensure that the continued functioning of the modified object +code is in no case prevented or interfered with solely because +modification has been made. + + If you convey an object code work under this section in, or with, or +specifically for use in, a User Product, and the conveying occurs as +part of a transaction in which the right of possession and use of the +User Product is transferred to the recipient in perpetuity or for a +fixed term (regardless of how the transaction is characterized), the +Corresponding Source conveyed under this section must be accompanied +by the Installation Information. But this requirement does not apply +if neither you nor any third party retains the ability to install +modified object code on the User Product (for example, the work has +been installed in ROM). + + The requirement to provide Installation Information does not include a +requirement to continue to provide support service, warranty, or updates +for a work that has been modified or installed by the recipient, or for +the User Product in which it has been modified or installed. Access to a +network may be denied when the modification itself materially and +adversely affects the operation of the network or violates the rules and +protocols for communication across the network. + + Corresponding Source conveyed, and Installation Information provided, +in accord with this section must be in a format that is publicly +documented (and with an implementation available to the public in +source code form), and must require no special password or key for +unpacking, reading or copying. + + 7. Additional Terms. + + "Additional permissions" are terms that supplement the terms of this +License by making exceptions from one or more of its conditions. +Additional permissions that are applicable to the entire Program shall +be treated as though they were included in this License, to the extent +that they are valid under applicable law. If additional permissions +apply only to part of the Program, that part may be used separately +under those permissions, but the entire Program remains governed by +this License without regard to the additional permissions. + + When you convey a copy of a covered work, you may at your option +remove any additional permissions from that copy, or from any part of +it. (Additional permissions may be written to require their own +removal in certain cases when you modify the work.) You may place +additional permissions on material, added by you to a covered work, +for which you have or can give appropriate copyright permission. + + Notwithstanding any other provision of this License, for material you +add to a covered work, you may (if authorized by the copyright holders of +that material) supplement the terms of this License with terms: + + a) Disclaiming warranty or limiting liability differently from the + terms of sections 15 and 16 of this License; or + + b) Requiring preservation of specified reasonable legal notices or + author attributions in that material or in the Appropriate Legal + Notices displayed by works containing it; or + + c) Prohibiting misrepresentation of the origin of that material, or + requiring that modified versions of such material be marked in + reasonable ways as different from the original version; or + + d) Limiting the use for publicity purposes of names of licensors or + authors of the material; or + + e) Declining to grant rights under trademark law for use of some + trade names, trademarks, or service marks; or + + f) Requiring indemnification of licensors and authors of that + material by anyone who conveys the material (or modified versions of + it) with contractual assumptions of liability to the recipient, for + any liability that these contractual assumptions directly impose on + those licensors and authors. + + All other non-permissive additional terms are considered "further +restrictions" within the meaning of section 10. If the Program as you +received it, or any part of it, contains a notice stating that it is +governed by this License along with a term that is a further +restriction, you may remove that term. If a license document contains +a further restriction but permits relicensing or conveying under this +License, you may add to a covered work material governed by the terms +of that license document, provided that the further restriction does +not survive such relicensing or conveying. + + If you add terms to a covered work in accord with this section, you +must place, in the relevant source files, a statement of the +additional terms that apply to those files, or a notice indicating +where to find the applicable terms. + + Additional terms, permissive or non-permissive, may be stated in the +form of a separately written license, or stated as exceptions; +the above requirements apply either way. + + 8. Termination. + + You may not propagate or modify a covered work except as expressly +provided under this License. Any attempt otherwise to propagate or +modify it is void, and will automatically terminate your rights under +this License (including any patent licenses granted under the third +paragraph of section 11). + + However, if you cease all violation of this License, then your +license from a particular copyright holder is reinstated (a) +provisionally, unless and until the copyright holder explicitly and +finally terminates your license, and (b) permanently, if the copyright +holder fails to notify you of the violation by some reasonable means +prior to 60 days after the cessation. + + Moreover, your license from a particular copyright holder is +reinstated permanently if the copyright holder notifies you of the +violation by some reasonable means, this is the first time you have +received notice of violation of this License (for any work) from that +copyright holder, and you cure the violation prior to 30 days after +your receipt of the notice. + + Termination of your rights under this section does not terminate the +licenses of parties who have received copies or rights from you under +this License. If your rights have been terminated and not permanently +reinstated, you do not qualify to receive new licenses for the same +material under section 10. + + 9. Acceptance Not Required for Having Copies. + + You are not required to accept this License in order to receive or +run a copy of the Program. Ancillary propagation of a covered work +occurring solely as a consequence of using peer-to-peer transmission +to receive a copy likewise does not require acceptance. However, +nothing other than this License grants you permission to propagate or +modify any covered work. These actions infringe copyright if you do +not accept this License. Therefore, by modifying or propagating a +covered work, you indicate your acceptance of this License to do so. + + 10. Automatic Licensing of Downstream Recipients. + + Each time you convey a covered work, the recipient automatically +receives a license from the original licensors, to run, modify and +propagate that work, subject to this License. You are not responsible +for enforcing compliance by third parties with this License. + + An "entity transaction" is a transaction transferring control of an +organization, or substantially all assets of one, or subdividing an +organization, or merging organizations. If propagation of a covered +work results from an entity transaction, each party to that +transaction who receives a copy of the work also receives whatever +licenses to the work the party's predecessor in interest had or could +give under the previous paragraph, plus a right to possession of the +Corresponding Source of the work from the predecessor in interest, if +the predecessor has it or can get it with reasonable efforts. + + You may not impose any further restrictions on the exercise of the +rights granted or affirmed under this License. For example, you may +not impose a license fee, royalty, or other charge for exercise of +rights granted under this License, and you may not initiate litigation +(including a cross-claim or counterclaim in a lawsuit) alleging that +any patent claim is infringed by making, using, selling, offering for +sale, or importing the Program or any portion of it. + + 11. Patents. + + A "contributor" is a copyright holder who authorizes use under this +License of the Program or a work on which the Program is based. The +work thus licensed is called the contributor's "contributor version". + + A contributor's "essential patent claims" are all patent claims +owned or controlled by the contributor, whether already acquired or +hereafter acquired, that would be infringed by some manner, permitted +by this License, of making, using, or selling its contributor version, +but do not include claims that would be infringed only as a +consequence of further modification of the contributor version. For +purposes of this definition, "control" includes the right to grant +patent sublicenses in a manner consistent with the requirements of +this License. + + Each contributor grants you a non-exclusive, worldwide, royalty-free +patent license under the contributor's essential patent claims, to +make, use, sell, offer for sale, import and otherwise run, modify and +propagate the contents of its contributor version. + + In the following three paragraphs, a "patent license" is any express +agreement or commitment, however denominated, not to enforce a patent +(such as an express permission to practice a patent or covenant not to +sue for patent infringement). To "grant" such a patent license to a +party means to make such an agreement or commitment not to enforce a +patent against the party. + + If you convey a covered work, knowingly relying on a patent license, +and the Corresponding Source of the work is not available for anyone +to copy, free of charge and under the terms of this License, through a +publicly available network server or other readily accessible means, +then you must either (1) cause the Corresponding Source to be so +available, or (2) arrange to deprive yourself of the benefit of the +patent license for this particular work, or (3) arrange, in a manner +consistent with the requirements of this License, to extend the patent +license to downstream recipients. "Knowingly relying" means you have +actual knowledge that, but for the patent license, your conveying the +covered work in a country, or your recipient's use of the covered work +in a country, would infringe one or more identifiable patents in that +country that you have reason to believe are valid. + + If, pursuant to or in connection with a single transaction or +arrangement, you convey, or propagate by procuring conveyance of, a +covered work, and grant a patent license to some of the parties +receiving the covered work authorizing them to use, propagate, modify +or convey a specific copy of the covered work, then the patent license +you grant is automatically extended to all recipients of the covered +work and works based on it. + + A patent license is "discriminatory" if it does not include within +the scope of its coverage, prohibits the exercise of, or is +conditioned on the non-exercise of one or more of the rights that are +specifically granted under this License. You may not convey a covered +work if you are a party to an arrangement with a third party that is +in the business of distributing software, under which you make payment +to the third party based on the extent of your activity of conveying +the work, and under which the third party grants, to any of the +parties who would receive the covered work from you, a discriminatory +patent license (a) in connection with copies of the covered work +conveyed by you (or copies made from those copies), or (b) primarily +for and in connection with specific products or compilations that +contain the covered work, unless you entered into that arrangement, +or that patent license was granted, prior to 28 March 2007. + + Nothing in this License shall be construed as excluding or limiting +any implied license or other defenses to infringement that may +otherwise be available to you under applicable patent law. + + 12. No Surrender of Others' Freedom. + + If conditions are imposed on you (whether by court order, agreement or +otherwise) that contradict the conditions of this License, they do not +excuse you from the conditions of this License. If you cannot convey a +covered work so as to satisfy simultaneously your obligations under this +License and any other pertinent obligations, then as a consequence you may +not convey it at all. For example, if you agree to terms that obligate you +to collect a royalty for further conveying from those to whom you convey +the Program, the only way you could satisfy both those terms and this +License would be to refrain entirely from conveying the Program. + + 13. Use with the GNU Affero General Public License. + + Notwithstanding any other provision of this License, you have +permission to link or combine any covered work with a work licensed +under version 3 of the GNU Affero General Public License into a single +combined work, and to convey the resulting work. The terms of this +License will continue to apply to the part which is the covered work, +but the special requirements of the GNU Affero General Public License, +section 13, concerning interaction through a network will apply to the +combination as such. + + 14. Revised Versions of this License. + + The Free Software Foundation may publish revised and/or new versions of +the GNU General Public License from time to time. Such new versions will +be similar in spirit to the present version, but may differ in detail to +address new problems or concerns. + + Each version is given a distinguishing version number. If the +Program specifies that a certain numbered version of the GNU General +Public License "or any later version" applies to it, you have the +option of following the terms and conditions either of that numbered +version or of any later version published by the Free Software +Foundation. If the Program does not specify a version number of the +GNU General Public License, you may choose any version ever published +by the Free Software Foundation. + + If the Program specifies that a proxy can decide which future +versions of the GNU General Public License can be used, that proxy's +public statement of acceptance of a version permanently authorizes you +to choose that version for the Program. + + Later license versions may give you additional or different +permissions. However, no additional obligations are imposed on any +author or copyright holder as a result of your choosing to follow a +later version. + + 15. Disclaimer of Warranty. + + THERE IS NO WARRANTY FOR THE PROGRAM, TO THE EXTENT PERMITTED BY +APPLICABLE LAW. EXCEPT WHEN OTHERWISE STATED IN WRITING THE COPYRIGHT +HOLDERS AND/OR OTHER PARTIES PROVIDE THE PROGRAM "AS IS" WITHOUT WARRANTY +OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, +THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR +PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE OF THE PROGRAM +IS WITH YOU. SHOULD THE PROGRAM PROVE DEFECTIVE, YOU ASSUME THE COST OF +ALL NECESSARY SERVICING, REPAIR OR CORRECTION. + + 16. Limitation of Liability. + + IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING +WILL ANY COPYRIGHT HOLDER, OR ANY OTHER PARTY WHO MODIFIES AND/OR CONVEYS +THE PROGRAM AS PERMITTED ABOVE, BE LIABLE TO YOU FOR DAMAGES, INCLUDING ANY +GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF THE +USE OR INABILITY TO USE THE PROGRAM (INCLUDING BUT NOT LIMITED TO LOSS OF +DATA OR DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED BY YOU OR THIRD +PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY OTHER PROGRAMS), +EVEN IF SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE POSSIBILITY OF +SUCH DAMAGES. + + 17. Interpretation of Sections 15 and 16. + + If the disclaimer of warranty and limitation of liability provided +above cannot be given local legal effect according to their terms, +reviewing courts shall apply local law that most closely approximates +an absolute waiver of all civil liability in connection with the +Program, unless a warranty or assumption of liability accompanies a +copy of the Program in return for a fee. + + END OF TERMS AND CONDITIONS + + How to Apply These Terms to Your New Programs + + If you develop a new program, and you want it to be of the greatest +possible use to the public, the best way to achieve this is to make it +free software which everyone can redistribute and change under these terms. + + To do so, attach the following notices to the program. It is safest +to attach them to the start of each source file to most effectively +state the exclusion of warranty; and each file should have at least +the "copyright" line and a pointer to where the full notice is found. + + + Copyright (C) + + This program is free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation, either version 3 of the License, or + (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see . + +Also add information on how to contact you by electronic and paper mail. + + If the program does terminal interaction, make it output a short +notice like this when it starts in an interactive mode: + + {project} Copyright (C) {year} {fullname} + This program comes with ABSOLUTELY NO WARRANTY; for details type `show w'. + This is free software, and you are welcome to redistribute it + under certain conditions; type `show c' for details. + +The hypothetical commands `show w' and `show c' should show the appropriate +parts of the General Public License. Of course, your program's commands +might be different; for a GUI interface, you would use an "about box". + + You should also get your employer (if you work as a programmer) or school, +if any, to sign a "copyright disclaimer" for the program, if necessary. +For more information on this, and how to apply and follow the GNU GPL, see +. + + The GNU General Public License does not permit incorporating your program +into proprietary programs. If your program is a subroutine library, you +may consider it more useful to permit linking proprietary applications with +the library. If this is what you want to do, use the GNU Lesser General +Public License instead of this License. But first, please read +. diff --git a/go/README.md b/go/README.md new file mode 100644 index 0000000..33c9156 --- /dev/null +++ b/go/README.md @@ -0,0 +1,3 @@ +[![GoDoc](https://godoc.org/github.com/sbrow/risk?status.svg)](https://godoc.org/github.com/sbrow/risk) [![Build Status](https://travis-ci.org/sbrow/risk.svg?branch=master)](https://travis-ci.org/sbrow/risk) [![Coverage Status](https://coveralls.io/repos/github/sbrow/risk/badge.svg?branch=master)](https://coveralls.io/github/sbrow/risk?branch=master) [![Go Report Card](https://goreportcard.com/badge/github.com/sbrow/risk)](https://goreportcard.com/report/github.com/sbrow/risk) + +# Risk diff --git a/go/go.mod b/go/go.mod new file mode 100644 index 0000000..3062065 --- /dev/null +++ b/go/go.mod @@ -0,0 +1,3 @@ +module github.com/sbrow/risk + +require github.com/sbrow/prob v1.0.1 diff --git a/go/math.go b/go/math.go new file mode 100644 index 0000000..5d69fc2 --- /dev/null +++ b/go/math.go @@ -0,0 +1,15 @@ +package risk + +func min(a, b int) int { + if a < b { + return a + } + return b +} + +func max(a, b int) int { + if a > b { + return a + } + return b +} diff --git a/go/risk.go b/go/risk.go new file mode 100644 index 0000000..f7cee13 --- /dev/null +++ b/go/risk.go @@ -0,0 +1,130 @@ +package risk + +import ( + "fmt" + "sort" + "strconv" + "strings" + + "github.com/sbrow/prob/dice" +) + +const Delim = "," + +// loadRolls loads a roll table from path +func loadRolls(n int) []string { + d := make([]dice.Die, n) + for i := 0; i < n; i++ { + d[i] = dice.D6() + } + rolls, err := dice.NewTable(d) + if err != nil { + panic(err) // TODO(sbrow): Fix + } + var out []string + for _, s := range rolls.Data { + out = append(out, s[0]) + } + return out +} + +func sortRoll(s string) string { + i := strToInt(s) + sort.Sort(sort.Reverse(sort.IntSlice(i))) + s = fmt.Sprint(i[0], s[1:]) + for j := 2; j <= len(s)-1; j += 2 { + s = fmt.Sprint(s[:j], i[j/2], s[j+1:]) + } + s = fmt.Sprint(s[:len(s)-1], i[len(i)-1]) + return s +} + +// Compare enumerates the results of a combat. +// +// TODO(sbrow): Rename +func Compare(atk, def int, mods ...string) (win, tie, loss float64) { + if atk < 1 || def < 1 { + return + } + sum := 0.0 + for _, atkRoll := range loadRolls(min(atk, 3)) { + atkRoll = sortRoll(atkRoll) + for _, defRoll := range loadRolls(min(def, 2)) { + defRoll = sortRoll(defRoll) + lost := Combat(atkRoll, defRoll, mods...) + switch { + case lost == 0: + win++ + case lost == 1: + if atk > 1 && def > 1 { + tie++ + } else { + loss++ + } + case lost == 2: + loss++ + } + sum++ + } + } + + return win / sum, tie / sum, loss / sum +} + +// strToInt converts a string value to a list of ints, +// using rolltable.Delim as the delimiter. +func strToInt(s string) []int { + i := []int{} + for _, t := range strings.Split(s, dice.Delim) { + n, err := strconv.Atoi(t) + if err != nil { + panic(err) + } + i = append(i, n) + } + return i +} + +// Combat determines the winner of a dice clash. +func Combat(atk, def string, mod ...string) int { + a, d := strToInt(atk), strToInt(def) + addModifiers(&a, &d, mod...) + + short := min(len(a), len(d)) + + lost := 0 + for i := 0; i < short; i++ { + if d[i] >= a[i] { + lost++ + } + } + return lost +} + +// addModifiers adds modifiers to the dice roll +func addModifiers(atk, def *[]int, mod ...string) { + sort.Ints(*atk) + sort.Ints(*def) + if len(*atk) > len(*def) { + *atk = (*atk)[len(*def)-1:] + } + for _, m := range mod { + switch m { + case "fortification": + if len(*def) == 2 { + (*def)[1] = min((*def)[1]+1, 6) + } + fallthrough + case "bunker": + (*def)[0] = min((*def)[0]+1, 6) + case "ammo shortage": + i := 0 + if len(*def) == 2 { + i = 1 + } + (*def)[i] = max((*def)[1]-1, 0) + } + } + sort.Sort(sort.Reverse(sort.IntSlice(*atk))) + sort.Sort(sort.Reverse(sort.IntSlice(*def))) +} diff --git a/go/risk_test.go b/go/risk_test.go new file mode 100644 index 0000000..6b8f623 --- /dev/null +++ b/go/risk_test.go @@ -0,0 +1,87 @@ +package risk + +import ( + "fmt" + "math/rand" + "sort" + "testing" + "time" + + "github.com/sbrow/prob/dice" +) + +func init() { + _, _ = dice.NewTable(dice.New(dice.D6())) + _, _ = dice.NewTable(dice.New(dice.D6(), dice.D6(), dice.D6())) + _, _ = dice.NewTable(dice.New(dice.D6(), dice.D6())) +} + +var comparetests = []struct { + att int + def int + want string +}{ + {2, 1, "0.5787 0.0000 0.4213"}, + {3, 1, "0.6597 0.0000 0.3403"}, + {2, 2, "0.2276 0.3241 0.4483"}, +} + +func TestCompare(t *testing.T) { + for i, tt := range comparetests { + t.Run(fmt.Sprint(i), func(t *testing.T) { + win, loss, tie := Compare(tt.att, tt.def) + s := fmt.Sprintf("%.4f %.4f %.4f", win, loss, tie) + if s != tt.want { + t.Errorf("got %q, want %q", s, tt.want) + } + }) + } +} + +var walktests = []struct { + att int + def int + oneDef bool + mods []string + want string +}{ + {1, 1, false, []string{}, "0.4167 0.5833"}, + {1, 1, true, []string{}, "0.4167 0.5833"}, + {2, 1, false, []string{}, "0.5787 0.1755 0.2458"}, + {2, 1, true, []string{}, "0.5787 0.1755 0.2458"}, + {3, 1, false, []string{}, "0.6597 0.1969 0.0597 0.0836"}, + {3, 1, true, []string{}, "0.6597 0.1969 0.0597 0.0836"}, + {2, 2, false, []string{}, "0.2276 0.1350 0.6373"}, + // {2, 2, true, []string{}, "0.2276 0.1350 0.6373"}, + {2, 2, true, []string{"bunker", "bunker", "bunker", "bunker", "bunker"}, + "0.0000 0.0000 1.0000"}, +} + +func TestCompleteWalk(t *testing.T) { + for i, tt := range walktests { + t.Run(fmt.Sprint(i), func(t *testing.T) { + node := new(tt.att, tt.def, tt.oneDef, tt.mods...) + s := fmt.Sprint(node.Report(true)) + if s != tt.want { + t.Errorf("got %q, want %q", s, tt.want) + } + }) + } +} + +func TestThings(t *testing.T) { + rand.Seed(time.Now().UnixNano()) + sum := 0 + n := 100000 + for i := 0; i < n; i++ { + atk := []int{rand.Intn(6) + 1, rand.Intn(6) + 1} + def := []int{rand.Intn(6) + 1} //, rand.Intn(6) + 1} + sort.Ints(atk) + sort.Ints(def) + if def[0] < atk[0] { // && def[1] < atk[1] { + sum++ + } + + } + fmt.Println(float64(sum) / float64(n)) +} diff --git a/go/tree.go b/go/tree.go new file mode 100644 index 0000000..b3fc79c --- /dev/null +++ b/go/tree.go @@ -0,0 +1,107 @@ +package risk + +import ( + "fmt" +) + +type node struct { + att int // Number of attackers. + def int // Number of defenders. + edges []*edge +} + +func (n *node) Report(short bool) string { + s := "" + if !short { + s += fmt.Sprintf("Projected Losses: %dv%d\n", n.att, n.def) + } + for i, odds := range n.walk() { + if short { + s += fmt.Sprintf("%.4f ", odds) + } else { + s += fmt.Sprintf("%-2d casualties - %.4f%%\n", i, 100*odds) + } + } + return s[:len(s)-1] +} + +func (n *node) walk() []float64 { + // TODO(sbrow): Fix + var ch = make(chan []int, 1000) + for i, node := range n.edges { + if node != nil { + walker(ch, node.node, []int{i}) + } + } + close(ch) + sorted := make([]float64, n.att+1) + for r := range ch { + lost, path := n.Walk(r...) + sorted[lost] += path + } + return sorted +} + +func walker(ch chan []int, curr *node, path []int) { + if curr == nil { + return + } + for i, node := range curr.edges { + if node != nil { + walker(ch, node.node, append(path, i)) + } else { + if i+1 == len(curr.edges) { + cpy := make([]int, len(path)) + copy(cpy, path) + ch <- cpy + } + } + } +} + +func (n *node) Walk(path ...int) (att int, p float64) { + curr := n.edges[path[0]].node + p = n.edges[path[0]].p + for _, n := range path[1:] { + p *= curr.edges[n].p + curr = curr.edges[n].node + } + return n.att - curr.att, p +} + +type edge struct { + node *node + p float64 +} + +func new(att, def int, oneDef bool, mods ...string) *node { + n := &node{ + att: att, + def: def, + } + if att < 1 || def < 1 { + n.edges = []*edge{nil} + return n + } + d := def + if oneDef { + d = 1 + } + win, tie, loss := Compare(att, d, mods...) + + switch { + case att >= 2 && def >= 2 && !oneDef: + n.edges = []*edge{ + {node: new(att, def-2, oneDef, mods...), p: win}, + {node: new(att-1, def-1, oneDef, mods...), p: tie}, + {node: new(att-2, def, oneDef, mods...), p: loss}, + } + default: + n.edges = []*edge{nil, nil} + if win > 0 { + n.edges[0] = &edge{node: new(att, def-1, oneDef, mods...), p: win} + } + n.edges[1] = &edge{node: new(att-1, def, oneDef, mods...), p: loss} + } + return n +} diff --git a/go/tree.gv b/go/tree.gv new file mode 100644 index 0000000..93dbf03 --- /dev/null +++ b/go/tree.gv @@ -0,0 +1,58 @@ +digraph { + // graph [splines=line] + graph [outputorder="edgesfirst"] + node [shape=record] + + SixZero [label="6v0"] + FiveOne [label="5v1"] + FourTwo [label="4v2"] + ThreeThree [label="3v3"] + TwoFour [label="2v4"] + OneFive [label="1v5"] + ZeroSix [label="0v6"] + FiveOne -> FiveZero, FourOne + FourTwo -> FourZero, ThreeOne, TwoTwo + ThreeThree -> ThreeOne, TwoTwo, OneThree + TwoFour -> ZeroFour, TwoTwo, OneThree + OneFive -> OneFour, ZeroFive + {ordering=out; FiveOne, FourTwo} + {rank=same; FiveOne; FourTwo; ThreeThree; TwoFour}//ThreeThree} + + + FiveZero [label="5v0"] + FourOne [label="4v1"] + ThreeTwo [label="3v2"] + TwoThree [label="2v3"] + OneFour [label="1v4"] + ZeroFive [label="0v5"] + FourOne -> FourZero, ThreeOne + ThreeTwo -> OneTwo, TwoOne, ThreeZero + TwoThree -> ZeroThree, OneTwo, TwoOne + OneFour -> OneThree, ZeroFour + {rank=same; FourOne; ThreeTwo; TwoThree} + + FourZero [label="4v0"] + ThreeOne [label="3v1"] + TwoTwo [label="2v2"] + OneThree [label="1v3"] + ZeroFour [label="0v4"] + ThreeOne -> ThreeZero, TwoOne + TwoTwo -> TwoZero, OneOne, ZeroTwo + OneThree -> OneTwo, ZeroThree + {rank=same; ThreeOne; TwoTwo; OneThree} + + ThreeZero [label="3v0"] + TwoOne [label="2v1"] + OneTwo [label="1v2"] + ZeroThree [label="0v3"] + OneTwo -> OneOne, ZeroTwo + TwoOne -> TwoZero, OneOne + + TwoZero [label="2v0"] + OneOne [label="1v1"] + ZeroTwo [label="0v2"] + OneOne -> OneZero, ZeroOne + + OneZero [label="1v0"] + ZeroOne [label="0v1"] +} \ No newline at end of file diff --git a/go/tree.png b/go/tree.png new file mode 100644 index 0000000000000000000000000000000000000000..cecfe083505a2ef5b8c1668f9c6de2936ce5fb7c GIT binary patch literal 73927 zcmeAS@N?(olHy`uVBq!ia0y~yV6kOjU{dB_V_;xl_>r)Zfq{W7$=lt9;Xep2*t>i( z1A_vCr;B4q#hf>HD`R>q|J#4KZn<1^;@VI*Memzx-kU@Xw;c-Dq1&wZ&aiBmj`O#k zwGwV+H&<`G(qk&>wQ!PZ_6eb`B^pc5RsR1sWB$JFf?Ch#yqDJuaV!_M(LOpKp`MZD3j<^3W zdi1;Z%PCq|L}V_!a`y4@e$idE6~F7}E!tjRDJmn=bG%=kTh=+1m7V?Z#l`MU#}n50 zRQ&&Eb8r7ltH*zTf3EmHZU2lJ5=V|5g7kdcu)Pf zgaidPKA9CCzJBTh6K|u%#sbeNW;Mn+Eka<&3eQd~;ER&5g& z7QVPTTwg*;>d=7$4Cl_B>*(v77F_i8`o7xg4wpqq|7Y7&Zi=~9_~e9OM0B*Xx3{<6 zTf?)DU%ld*=+WZZEmj+9J#*&F8ygatt;*l^WL;h57#}bH_4W1R6BL~bett@|T$I?fsB89dwcTNS64m!{oP|?WVAw8v4n?*tEj3@-TC(O z^Ye!f9%N)=W7|>qnC;#D{ruY6+7?z;kB)Q-7yS`iV^RM8UhC@B+G*$JbZ*&VvhcBi zsHlKI!-We0JGYo7ALH?vVZd1X>&wBfudh#>II(eU^mZjfL&37LGK-QI6Jo9%me9Vp zHhTMoeYMqh_SH%sJb3WLsZ&llIXYR_*YzeIZc9AYBdK-MEcwmpDL0Rw`h25drMcaF zfoV$Tmy1TSYw#`=u}wQOqftA2-Gd{Y!Y^)YRQ~eyYvAs(+?@OSWOwb_m6{i>Hu>Rk z`TCZH3l+EJ-ewC94!*J?kh%WPNA_3O)^=Z9?5=EYAK!Q1r8ag?g`mrqi}m~V?Tf$q zZvFm$T4INv#L@z9K zW`A>YGkefVk^O%@b>9JbYu>bJVoc1;7q?^vzj*ob;Hgtwx3}lJe|>fJqGCa zKCw+QIeuA>U6|l;HlJF}Uo}pF&mCtuTzr1HYZdd9X@|PyGBY!8>?l-jn~@(x*?K60)G}Q~?h~J1 z?pgzJsiLCd1h1tT_xJ6+bDNK!pPgY#&dpDYuiw+RE`2rS&h^v(&i{WW)ARTCwYAX` zr%Y)P)eh6BiM6z}toZ#+Hzzk&QK(a7pWU$=?QwgnTCL09EpY7?TM@Lh>(-XD62FZq zzim8aW0vr$@w|G=;uD`UU9T~Ec|UaRZ)ss+aJafE)G+s!Nkl}1gS$KX{hH6bYJPJ% zrt8Nu{dnH+?Ed7_d*)wRv0=l9=BLbTJPZtX_EZWp1gs8Q+kY)PFOQF5NA2%zi}o*y zy0NoZeU^ECUze!%BCn}huFj(OwNHObe^V@HU)Pg)d0FD?YisArtkO7tKQX1_p*tH}~6LHB0u{`S0%WX{G=5PHtpOKKgT( z-Ba)9j!z>!&o4i{>92PbdjMOjxa~ZTSet}bs}T%3e$mC2pEcc1=?l}J7sy(L3%RmjSwZ*OlqD@}ax;9#?>bLjrE z|Nmlc_ZU9aT-UGr`d{p%WaeXCpG|8|O+VLsYV)Ld{?k)`Pv63~fQL)JYR~@fVe#?u zx3}lFPn{~t!^>+}^P}L*982Nt`S*{VnyTG>&%X9o$%z!BHBnn%HJ2?~ym;cQSzPAk z+lAJC|NFPi=8SAdSC^B61H-<*-=ag-L)o1t{n4MFpIzTiz5Xrz z>Fs5{vkRV|ll}AUcD`!W|LcF=85tRYLe0X;D(P?=Z~WBRhGAC4&(1j3)!F6U+0h6} z=dRsi5jzSVvcJ~^`D2@8a@W_TcH2yTmuL3#N@)9K{+@Da4*N!a(Q>=kS#RTSSv4qW z?s@TXU)Ga1Z~k0-Vxp&~$I$Tjc)z&r>q|?yqqbx;zP-I&Sy_2;#?MbrPa9T#dcuFp zz{G^*!};2_|KI9v{{Ft9f3JMim;L?R+GoF|ud(2lw>#1!X}qEI^|hqc$Bt^gey^vl z&VIl4yR4LXUeDd#<<3eIPdv3YIOgT&?#|9DZFWSy{tsh#c=(yQ*5ZkYiLUGGefNJ_ z3UYYxB)e@(ewRn~@k(g-?Kv0PWzDbE?^TWL@WADMvJ4JiUtP7YI(y;-2g8RyKR@$N z^Pg?TyL0Exi2Zf84fXGot%{%Vxb@5ZJ@{M7EQbS>F#qeCnu;p`p~ui`{u3t_Ah^4zxV&dzrO{|nA!PST3cD`{{Jn1^89)7(^FF= zjML7z3(HwrS~4;`di>Zv>-XPHda=7|{!YIT;6KlX@k71+uJ2yE{z__}`|D4#%PfBP{TenV+ zp~l2=rp>RZ{#(yVOx}O#%SP3k`%hQp9Ed1MzAMX>rd;Rmh-w$1Ce}DU%uyfipF*V;=EnmKrtclqv^!wXe?XpEP{pMON zEPQ;7gOBgug4~rMUA4cz9Xxc1X>Zlnpaa{3 zxwp1xmMK?OR4nkCsx`wno$uGTx6xlt%;7)Oee}krRPMNaHJuZc-5=fDoPOfOi32}A zJ}!KIPB!P(7S5`ws;+-sTKbBLjE|4^yB8H1efspN;Po|K9%(b4j~_qIFi2#&wI%cO z#dNPte}D z>23Tqs|F>FJues;?(Qx>KGQgT!u09wVQZrf-nb#*Jx%9ekEF4Hpde#y?caX8Dt-!1R@6P1;CV?!bb z7uTW7%l$9ztuB|4l3L_D+swn)_bABCX=i68*@s_x`~P};y=ZC6%9Sf8crA7PU;p{p z*{)wvKD|BC=Id_!F56xH{@=xF?@zmhUrju@apOi0Pfx*=yFDu>?JRztba|PtMfp3K zIdkR&>?}$($-Km}+;8roOG~{AzrDF>^!;^eF4X7VRd;^GW%lvTc&2^&r;BG@ajGr9 zR{p6XyVy&$`*cbfTm>%vPQUo4zOk`U!lFRo-_{v_>$~pR?fGlpzr8=H!$s-M{r&Rq z-o0~j5A;-;$dR;B!e}OsY1S2o)6;bAfAp`hQd-jt| zG&DROsI2n5c)NZ3|L3(?zdw9-mrP#60&00_Yil1ldQ?$QkI&K3F=9`JVF$;uWy>~f z-`?Kb%zSHGF1NL{^}elrkoLRi0Z>;-o6*+Rc1!;KeHm(53@6T=bE~Pb(Tm&DQT+T| z;?XWq4{z`0zCOM;Z{BoqDf03085kQ28`x^EH!?D6>02On@BE|lpzg!j!(g)(pPH(D z_~glzFAC!i*sJ?rym+yrtLsoJxA=yhJGfTwKf!YC?C3YIDhUgIr$( zcKc*yV`JkTJ9moS4gT@#YxW%bdb#v-a~xArR6y;MKYwZ>A|n?DFZU}bDQQ`}SUKzZ zI^BYzW$TQLj0EK5`ZjDZ`1AF8e8s0HoIO1~7gh$V_eh)b+5h>_d_geu-le79ib9>B zo<@CreaF$HEt!|u^z`%!%F2#yzhB2a(L<%g2h_Ek$|!Ctp?!SOqD31rFRLv~&M;wS zX11`lK78}0B*TYqZ=;VKIr8Ak%gY@-JxAu*R)bo4yGma#ir$|0;@VnikgrZn)#jcv zXC){Uyr=6a>gez!CMI_D^sopnto-~;!Z?j5CML$t!t?o}aVyR5aln|oL3>o%>>RUEQ2rxu@|XM1>l{XfkTo~;kw zzX!E4ckJBx@$!5L?d3aO9E`C1{OBk*3kyra=Vxa@osTzf-n8_Etb6hL_2S~^=U&{| zY1~lXrSSaxeD{b53BNfOfhALK-n+MN1;?dLsoowcLXDG+6>aPP$sF&OKYnqsd*P!a zoO>!hGKqgtxfxUld=n1r;n^g`v$MUReli~sn1-d<2bqT}*%|HV$NTu$ym+&g#f1ce8vbYJM) zp7iC##f)ofW?tARk?f@+X2p=~^Ra^?FfdTUx(wX6`T6`KZ(qDv zSxh&og3CCoJ|EoeSQ6x*Vp^G<+zk4dVt!BIuRQf#PwnvqN1eA z-rj26Rr)&V>Z;HUTer3@U8;JlPqzEQg#Zx|5f0gznKQ!I$0;f(FzD&&85kQMesXeh z;6f+XoV&ZGsz1+9=V`;JQlGwD?s zEIW9w{L|Oh*WKIsWCi5q`Qzi`mn>U$=>Glr?v*PRyt=wN`N4rkP^}?nTh)?%eO=laCxbmh|Dl!H%x3rq!#peSCdC z9_F`yaNhpEi=SWLg~FM$PMtcXrBxy!EuH-4#zuyQv$M^WZEa;2E?g*KS7V_Sx=N)W z=xgBCtk8;ziU+T*uI}jWZk{_=cA3virsU-09lLic>*)Br=;$$I1q~=jwRIHy`BC`g z^>uzRF|mk!HI^|kF%zatY1y&EqN1YWL*pc=jT<)}oT3?A@a09|o|>OR?R>IMlhu4T zl)b&xzs_iX^>@D)JJw9$;^HcJbHlKrqT;}rGdz5Jd>njyZs+IO3Q9_Lrk|ge`1{-2 z7uVOzzu&I)>~G3)?`b-YK|w-!_xJJY>+6Hk1v5LJORtpah27=(pg5D4J+tq{+uPe+ zkMbBB8}~?=a#dDV-q?~UeCg7quDHj6vGM26om;n};N|1T&C=$13$m}T%ec445|k6n z^Y3xUPBc_YkNJ||*sx*4fiEvFPnNH#awI-70FOHMx0~X?D_;6@eBtKMahFj0zqc zV4N{yM#8NvnV>-X{q60;=g*H98%=R`X#rJ=e|~&4FgAAHU-$RJpP$8RA~&;vir9(D z?gmLmI3%Q`xMa7+Y}~&6_%z+<4^K`CS5#LkTUbbxzP<)3neYEPG=uHIBKG7gEki@W zW_EtJx3{)#%)G4TGuKMAU*6u$!GU3xNv2YX&9aoz*Vm3dIXPKSRJ667Uq0zz6YGxp z|8~E=z3tAry6WKFyK}h}yutzk8utJHC+*zM*E(^cAV{+M`@4g;Z%gyb+qnb<3GLat zH*kMl?ZU-Itg8YRGR4Hi2nYx?fRgzAeYFPW=EvXM+?<%0$ms6wo^xXZqkh~T0V}QG z1?>EC2{$*TW?Wdncx!8R`-u}CfBt+vzoYm$pOTW2LDiRxkkw(nFJ?TAo2nIRka`sHk$LPA8;{O9p-b8|0TY{Ura(&pvm-Pm7m zKhM6t@4yev|Qrj<^TTrdU#*$Z&0?Au_$1esug-@hGB9-PEL%8Rm*&)#c}uUpL+K09iOnU zu+Kaj$+WaIP%4+RtKqP>x8IU~KkmhhH6pjRWHv8Ypm1kLA+w*K-wcyXAst=ahmRjO zuUVtB@Uh`BuZC{9o|OhlP8k^*QCqWG|NZ^FIPL7Lj=nxUskaCF*Q6{>OiXOl3|^+7 zr^k1Fef;qbL1j>fCL%g|aq8)5A3lG6toUtd!S{Eu71h;?^X~52uyyOvgU#%QRbMjh z>?mCPLMv}?)z_B3lUEM>_UvM2X8!o)WiTjXfvS7ctdNV7ZT#lj@hS;fX=%6ls5ygT z*mqV-)Yhzp`SC&gST!;fvU{I?fiyiZz4eB z78^EfXqY}-JZ^85YKhIU8|eiXn+-)(CZ7}#5ouZGJ9|<7{e3Iq_uGMrs|yzbEG#TI zWcxE4+Nw>|Ifp+7%AU)+%ByfE3wG;D2@X^*5a8>maM*uCGN{$GuXn%bd@ z7bm)>ubgq^N{CMMHXc}=E+*C{X`H5DYAPBS82G27f;TlKg(W{fA5;TfUgq1pf4}{j zHETc}HMyS$XLNxoNUfF*kZ01)&Pu$nz!4PCS67E`%)f7U>roqT?t zZN;}Yl7IgG1&tWT?X41xJy`YU$HohWtg4ew3W$ldJv`ig_|6>}`~QE8d3bp@*8i`w zsrezG9low*?%cT-3}><#nVN#ir->6LG%Q)7^5?^0ehv%r5f zxu@&JI-Q?qyRrDWpGp3`n9SGld#g;Fnwq9;vs+fB6~34z2-&OK5C@*jIuF}_Hpl*=C$)`)!O`1HpnM+h_#g#%AM@L2%rHOa)?7Mq=TlenW8*}T| z9jhNPdn@MO`X~RjM@&pi!XTj`$Z6%`sI6I=CBIKp|K4Bmk;%PJCUE7$vYR(=TGaiq zkh7@>cy(T@>NmHdrY7gRcke)L+f`v}yMFwrXlZNH+WNpS;Q+&xRiWOQuYXT6PCxhH z=jZ26$2E)+4m1>f-_l$4_0_@S$JzVk?T@XC-92IE%+7VOyB7s6b^|q3U;P>~#?fixR{!}hqw|UK#-2c-& zR6t#YZ}0Ac+Z}IjZT0Z=b^ZSCZs7L3Se=+10gLqoG=jsz!Y*D8&&kOt`0&87N8VoU z`}_OHPfk{U`0SZl#lhy^@6QK6`P^z@ML=yPq*$T;hIrTkh>` zKI&h0?%dhY(Q)AHY;(~GtKKLnD;K`KWx8`~dVYTYw%psN*6yv>e*H~f-)`sM&dfD? z_Sj_I*l~rF~sZ8`Z zar5R(CT8Z93l=!M$jCZ*_wL+X|_F=6XgQ&v{ikBwLM ze{h_fb^6R1mH7DhtP2YmJ6)7s-Q2u9O6={X&6_ii_sKqa^Tvl^Mcv*bC(oX_33ayk`1qW-e0lPu$&*|AmR$-84nBGO zc>AksYrR3k6McXF{?)X$j((Am)%yE=f9&qE-k6ve4u;a#*Lv5*@7F6)Sz7h|oowmb zTT^{}eM3LZY3W!Iy*=;BhD7I6r%wx8aRm$LRb{Nu4qrE6+cvYc(cArAXw3ie?QL{X zL4ks|_vxa-Ns5zCX8iv4HYF>|>*}h|#apwle-ho{|DajztHR`yFP@y7d}VieK9j@Q z+2+e-t;<&YdC?KQJ#XUj`(YLy{Un z)zy={mO35(x#s!#`N4mGeO(#4I&8}1$;u@%t)1Q7%IxgyLfuDAa&8!Sd3y_6P4ar& ztoC*Cgb5CZ+jy0Ab#+$-FX#LD ztHXSs{+|D7N$%ncLa?;}8#YYflehD^yQ@@rqKC`0Y16*k&fkBrTU@`TPp#w1m5@*0 zzNr-#7fTpNLwv^s=6Cz;{k5iE>XWrTapFYBs?gPL`}XY%iHOiB(P@p` zQ(@?-B4kzaV#0;MeHm9*g)UjVc(LL3x10D2FFG@?jo8>!Qd)ZTnb*-?Y4a6XS67)N z9AN0R_Ne>!$Ff((a?+6`!_qf5CJG4)xArX&`?0{YR#jd7@{f;?S30$Fg{+M-on>3S zZGr2)EnBuM(!TrO`h26BdEYtEDDt}Gcza7ohv)nzCP}S zN0GRMgh$fG8Q0duYL`qAs;s}b!*{k>P0s>Q&P#lEf4~1!t1i{rw!Wu6bo|ZaA7|T~R15F21!rfBuESD_rs>EBA-5kDIuDz5dLZGXq<>L^B>8 z>HPBLW$@Cq_G)TvZ9I}rR#sMEAKKMg-Q8Oqp7~mTJr@_(ilV2dv}&_ee;POGBg;?}-p6LPCV{7$r|qr&KFLER=y&te>hJGFc@@8X_^<%f%v4?}YnO3JX6MeGTZ*1~85tQV zF*7sIvaL2tO-a#6i49sg#mUKOMeOb}mWHS;8IJ${{rmFltaR&|{@OQpb{4ZNxZ@kJ z_T9g7mX?hh4bRRt_kWvTTlwEa+S%C|=8TIvN6f^*U#tkufAHT|MTZh5eW&8bLY;f2z9QA+gtVI@#DqcSY=8N{Vl(_x8~<0 z8yg!B6`{cQ_x8R7EiiG{+S=2@vuWElHEV0@t$QC#m_FUTSK9p9@pah}dQ}-6%l+pE zU0oG=HBaK^{*x(2Qg$^Kk`fXtuKp1ZUmv$rOgC!6zI}GOaeHQ{JOB2oxv*qs-2OUW zJ3G6Oty!T)1_lcL{^yPSD}H@>89d88Kknikmcwnl+U5OBA*OzQekL_P3Kk}BSpNm& zRq3l0e}g5Hlaf4i#4ewkYu(y+=t)broK(_*2F8%( zezH}6e{H=GxbN2P^7kver|YGpr7imunzu5=_+B+sD^8^W&qVHLBsPduo4A z`|{<>l~)RLYvU3V72n?9KmXR2%wUuE?W=rPbS9sCaimlD%KCWwNggUGNl8wd)6Xw! z=a=V_T^sZGU$k9OQBlUJDVi!`-7Dkw*G-u>Pp@Rj`AH{JKn3usn4LzkJBwUjSQHu7 z{i#?Lx7W(PFwnW+qBC<#TiYZLl|_$__jAj-=Ed!;a^1FV+m%JG+*5U*ELpN-!s5ls znc3Nw_f&okd87~!{J}B!=fsH<9gWk^E#VT?3fNoq^~Hfk=J_@GAt54P-`$<r^{2y2N=&YgLUxDT#@W&FuVQ zR$P;r^{Q6vT(d@JRp@H5UKz`v7aB$7@9)_fnVBtkk%cfoK*)7^cwvq2-vpz>~aS?;gD-|tTiD)8|2T^hMLEwES0)FV86x?7*j%CPMR zr-|RGKOG+yCRSNdA;2JImNVm&?Zed9*VeK$nC0A1C=uCdUG#*5G2msBu(l+~4~EId z0(zxPUw|6I?tvZM;`%|YT%soqA9jAB;qvADgg^Uge@}8zS{PsVv-Q)bPc3~*CW8F2 ztKy^5*6i!+UhJ!}w%)xcsol!2AZFf{%*$=ZdZpD%c$TT~%h@dG6jq}RE&x}stuC@=f__xJSlfZ9QF_H{bnzZ(2}@GrWMPsYN*H2d0;U8S#sVq)f8 zDD3FaFfy7{Qc{v}ZjPmsd*F!x_f$5CVIFuHa0rB2d;SV zAVH}6=$5LlS&qd=jvk#jb*kvhnKLiGyu6(C?4p+-hfnfaTJqyV;;QKFdW@jvt^L0r z%KWk6g*R{BT(WfO(vN=ye@9eRS)HA2-oGkjrPI~b;ma#OKf8E(y8ixEzAHn#*!g4@ z^vPNaF=XA^qM3Vl*HnFz6^!rpi@v_OIUUpx+_h`hmb|-Gj+_xI)P?CfTkd4J%d-m=v{QfTX&zH;oA3lF}o@-TVQ2s7v zPu15|A-PYVKL>T{%*@Or3=$YhN=gKTgqn^VaRCiX?b@}A>z7#1O7`UB z`Y?4-(bEqP4`11m84POBmAnYpRrvTA`+EDTFCA@svR+CPJJ@(69Q^0oiE3#6p5i%K zE%5WRv#osxLma}w#6aacsJR7d<*Is5yD-~4-|qL!o*tg49R-S#l9ChW&6BIFsJO5; zdi#_qGfoPBzkf&~FnO zY;(z(H+El*nA^T4G9skDt*;rSNrS0i4z>0oSZjy7OP8{<@`AK8#I14*ScIu zNr@?ZU5w-5Hr|KNpR>>OQ41*gmcQI@uG4hA*cOl{pPrg(n0-wLG@JWR~*e?QpEFJ}W94+0IM)ch<0&BvcSdGf>e@9kT+ZgsfdVEFaHix(X`c38}q zF=IjQ?QJ)97B4?^U32nDgOn2jcXk%DyZ6aBo}FbXy3a2ZwBqdX$;s*wdnz_w2#kp2 zh%HTA8XOSdP*zrUWn;2?@4otX!J9U3URnA1*_9Q6i`VZ<|54m0Z|~RE)|Qf=@4s^8 zO0H;rZMh#_6WzKyI~VH3?h;@qDl1#oEv`T9$L5_ocY->ELY*yEB`-c)Tp_TmCNncr zMX2+|`~Ckx?SDu8xIGH~{{EM)Utb=zH4D@-jNMZ)v5i;S?bfYZpjzqkv$KoOobg$> z*vRt1zv!P_TwEEyzPwZs>dbg{W~RziFVSu5G=rCcI+d=ju9`WrtInK1-@j$cmLDg3 zvpTxvvW^`;-d<8#`tsM;*G}$&K3Q2>kr5FA%l+nR*xSdyd;9zM@5$S?neob4OeiWY zetOUDw~<}OC7Ba7HDJv^mvVOh)=VxbwPuyn;Gphdn zPE}V|_tdFVLRMVCiJ6(1CMhQbgu0KiG-O>}<$8O2{_^to_c&#HPYQm&f9U4sbpDqw zUk09^XDj;Yd&T2py&zv)Ul&`HA06wlG$`x(I$2PAJ-;&CxTd;WYG?6tzGvs>^XKR1 zn`B+_cwy0GXl#6VqO$vh88bQxA0Iop_U@rWPCm0tI3FMDJ-jAz^M>;GaW7uKKE1Z~ z*s0aW`{hAXR~gsVNXpq%G)$Nv;NtFHe|5?9v$M_Jb8>X1>BV-5YKJWdT^+Wg;^U$} zPMd|e`T5;nUt1fvvnX}pVgu3APft8~WGn=Bm%neDJ6E>q%ZtYJ^YapKZc4QPHHbb+ zT;^zI=RdYGc)5VQd_SM8)q{i0>_yqXUtC=L}>PL zudc3+*qqjTp)f+T;G(myfZ)I1_x~>fP2rg3&bm;@lAfL2y|?;%((`k3i*|0;Gd32s zt@?6cnr^g!j0{hHetz$~&RK@3pvl0r^YeJKv$I>;+m$smI5uwFSWs9v(ffB)RMZTU zOd%m5p@fVK4t92S(12BIYim*F{HZ+WpC7bS)zRU}y}iwKd*0oEfB;aa#Ox?wbnlZn zI8{45V0&KdmseN0*R5N(qw@2z3x$%w)qH$>9i5$xAzH0__u8JDZ~y;lZrrXC&?ppW zB5=>1Jx?YC?KRE0Auw;=ycx#neL>G8Qi_zm1PF&2Nt@@X=<4crb$1I}b$M0VU(r)g zSa2rSrt(wEER#&9tyxzeReuR#si;^JHQ8(F7ErUo&~V|Z(AAUr`}v z-T%Mkpxj}Wd+Wm6+uKEV*?sGuGDU>xL+Exb!?Q|Ly);!+THd^Q18qm!|Gu&{c)1^_ z!1VO??zXY9(a_cP?aZ9Hr||z;sZEdS4A5e z8<*xi{`&elXv&0#hX*tO_u|D14TY6emo8pBI88UY;Mp0;H#asqzpz-tvg5@+ zdDh!&YoiOw%iA|^HqN@Xrn9Am<;U;ehfkdFSZOI`meVm~hJ?>76HZV7&Yms3Y15`D zvliNL^7DfxzZWcD4(e_StPJUj-CcI@*fF-n?)`1e&CH-N=e^b67iC^vrkdrfBL*4< z26gE7?Afy+H_K)rV|KvBzyA$!~yw}no z9!VpX%*;%Sq9+_Yyu6|_LTtBYUS@lIy#M%?%*zv|O;an8`NkUaC7|%&!GjhhF9gi; z?sR~cs<^9m9!+|4Yb!TsK)+wkcEY@Q|BjwNa`foJ)=0r{MhvLVu(viM+ZmA zyE~CDG<+D0X7V^Xf`|M0?f*2Sot*_5;Jv*qw|VQ<(wVo`L~K;Dv9&Gy{LHuH{XJP_ z_dd{am`Rf+J()9a<0nTIp~R=Brh=9W9qW~DPdzWgAwbw8Jg2njw}tCswIKiv*$ zUcG*4sdr*VMn|WxI+tu~Eu*+?NJLne7-+e+eElE6bLY-E9S_X>_3IZ0FK=svj@$o# zf97NvJPC(Gf**P&iz1^{yZK3C6 zwHMSzm8{|M%^7K4|s-w>LMN&2n#PXfCV*O_E+)8{K~3fP;)xiN_0zH^nV; zgIa3Otq5Fv;>eK}@F=&)*22HPN>@c~)!Mmp=fn`Lzc0SNc#*LxWTg;jICgjWdlruq zUQ9NEv%I|h{6HO^2_7n-!SI!Tjx-0Yobv4ae1D-2)a>o;pRxrPJGb+x1_uY9I&((Eit9Iv+{=ZFl$4b> z=H5126TO`;baj}hRo|_QD=P%~-Bp1J!L;XrG9yLS9-2>`LTC*cQ0JK zRyV-w*p%inLvxoLFc)~!eP_EuX|eo|p#VhZ{9&0u3h&(7lKk8W&C1_{c@$Q1nl zSGzEI<=zh;3M{OwoRlVldYLymh1D-?O7;Ho@-ll^SlEu5pGHp3&KK828n>?h{kKN` z`np)>=jY}c7Cdm+v15mVs;cY5*J(bNK@&@$MJ!@^F&y&p^ZDbtySopAQn_LBu@7&h zmOgp?ntNqP*G%JdP_kqaw+#u%%hNm7Bia0Z|9`pr_5b%?D7@mg+;8rN#KUYlk(*eg z&2ktRVs@ADo;!DL!{*J0|NZ^F^TELgO;;C}1(BQ6K$B3Q%<}Y<=+@n958k{fIbAQd zY1=llsBJl&lhysXWIb~|mj=zTtBrbF$GoOQFJ?!>xw+Plcfa4)+}X*g7rQIOq`!UB z%o#I4b3}rIf}mM@Df2u~wfp4xb8TDhV|jfm*z#}^hl|Cz#g%uCVMRu;5M<@vd}iOI>$(cAM5-o723D<7MlnAiwf zQUzLpc5}1(wKb8-B`RB|OqkGc=8Vt0BO%Ur_f!hMd-ra`_U-O@d3uKq9|o-<(N0Y{ zKE34C6;4i0PSCp4Y5MVfV!BZZYHDsTB6?O%onQYC+}8i{@-iqx@7T5L(49LnzrVkK zez7{$q~b%uj$OMR?f?H*|K7e@?Gl-9`Y~Su3_CkJL7{MJs&-;to?eN})@=y~nRe{h zk#J>2;EKS-Y<;rU$NUc@t`T8kW=_n`?!Iv&0yLX`@ZiA}p{u7|*tjpMl}i-VR?~^v z!V$d8=ire}Va2Ilt$jDGc~SOO>f8JK{WE4r zSXf$e%D!c`va*_Cnk}|2c6ZyYt=XUzW1xjF^D_*>xPq7YG)|u`4l3l-{pUUS@bK`8 zkd>1zY`k*o*Voq*r%h`EkJz^UrckEnBxvoIJVt%9W6X$}4S+jg3JoCQeV+cXx7X zx=?uI|AR&CT#?&yB=hd=>GYj#w(^T(o7IGqDH2vC8uM%_n?Px%=;^5!mzVPw6&1Dg z9h>1*UBCa|&f@0+Qc_(94mkAA^ZEJv{r=-CgO`Jr8Ch6aJvupA-N`+u^8LNNhj$h~ z|8Y%>7t~nkl{N>JhBx-rT7!DrkB{;4$lJ*zZTuypv}@9AJm=%g?m#I)56Ca{`=QfneZx3^%9hl z`gQTs?d|!=7Z>@9svwi113x&+or+BVteOZ?U(xx4Rb=ZMrZqogy}jK2{{CC%em`~Piby-Z{IP$3e+$aU^epq8{b>dNF}uY3 z`)WZhy0#{=`Tf4%e4u{8#EF7c-`<>DEVqABgbrw)y72Y2wMoy@_msbvTNkra$zju{ z-flUsX)|VUgolTNmRy~mXUqKI{EC)~i`^F|9&Vdqk~!%B=hge)-rn9=^wbNq8ey(g zDHB6PWTc{riHM+};0&|eTki8c{rueS@2j0EJJoRNhq{vEt=!@TkB)Hm%HIu?@%Hux zH8PGIVFCFwDQVG#i6LPX6&7pOtVzhs)GQGRW8>uHEGQ~+y1p(pF*CDM+C1;T`Sbjt zt3m{=X2tB-xl_^5Q1IHdYcDP>G-`!cntr@gZ1hm+ox0ko<{XN}+Lq#1k zg4V|Eowa4l77uUlZXO<BI>S&`>Mmf)_6`Qe9K$Gd6sCe_y|Zr+517+1|qHeku&0*+=jM*Q5ua z@q5rDmb0_7Rq?Z)3xy$|(c_FSFD^PAPgpu-)+{eMIXRVy9xFmuhk@o}7bshvMhw<|^CT z+RideZrh}sJ*TOODeK}QR!b|ZOG~|{uc-X|Ol6`62gA*qH#ue3-+8#GebU#Lm)nmd z88Rv`fX0HZT$ysLPgc9cWb5>4)7;e5)V}=veqa1=q5io^s@|Z%@`cXr8PCtnU9xtq zuTWZY> z_13<{L7>6^Teog)DSscgaPbDAQ)kbr=I7_HirA=B`}wT-mh$)a&VQRYOHEa^RYpd} zBR+mUcq~<>7t}hjD0<>?ac5hE&N9blw!o|`t*fiU`=hpIxmsFU&j0h~++1r<6`_lb z%RleyH8%ZGV>zq`|tnNggT#W{?F#~Z^w&;E=DtZR)wvN`qEtgfBv>@W}pe^ z{(gQ@F)=RLVBM1`Mz8MfHov+qcDGCTYWIFQ-)GOBsR(s?s0fMvjehasML=5GG9jVO z=N~q!9i4bG<;m;U-n(|~dh+6hN58zinAIdNEghXDiq37INsqY}g-$Olv>w0T|6gsQ zhYM)v%!*69v6-DeXs%W1i30~3rs+gF<=@{YYBfm#G=_3-PbDZRfJXKwPE;&W={@>) zdsabd>E8z`(ca$OXU?8o={MKv%b%a0_3P@+%rFeunicBh=^5x0byh@F)b;DDtJ+d` zKfeF3q@>i+7qRZc967I&&(C~Q($ea->{+mY0aSRdiQIf)O{DRWtC2ccDHC+=_NOTR*C=m^0GPe@-om;nZ(3I z19Nk6t7%@7JXCIMOlH4x=MHH3-2Q*RykB@|Dcab`n30Dy$|27|KEG) z(4j@Ct*xz~?XHfFj7COA`)(YYWtyFknAn(jxb5Q~xusL)&h70KR$t`Y&bOoff8EC0 z{_gJV>F4GMD#ZRg>dLQbRsBszMd+k@{PdG4phiAuA!7FRb()4VtGfI9K?@f*W?WR- zl6(8x=J#jMoN>9nE_P%7{eAphvhPo(82$NpT)wO8)Qkkb`F6d}&dydgG!zsR6#Ve* z+rKyWmB0BvOn!ZBEvUaad$x3+yuDtD%E7r-rChPQN(8Ogez)AY69ZbT25K)@l#e-Ru6A) z=hxTP?yoqscKPyl+v;zi#c|x?dLbbpy}=O?9qVFuC%wJ3Rbi38SPvH$mw=$)!Y3t9 zrNwQhyf`z{_~<{uDt~Wp?$A{s2k+Pa=Z%hzR#gj*&%d|l-~>hI2M-=Jyu7@;{@dQ~ z@9(?MHp>+d7XEzF-pQp!JA9pjqN1Z+b&wXxV2AZMo$k<%+8`#`OwviK>e%a;xh*FrXG6`;BAu8W0uLWP?CMxuxMj;0&@lS9x3}xR9TE~$G&2)p zWo7m93Ex+E(HXQd`Rhr0r>Ll?j5|9F^#l^)H zUtU}kzkTJ}wPVM6rJssUG(4D+mbNH-eH>_25~zx0X6Ku-+x_CH!@m!K_KaOz9lpLO zT7;LMzuiN{>3E-PYu}-N$3YvU*G8LzIw!K$WiCZUMtk<|UATC$a*4@QRiRFU(pMpK ztjqZ{H8nwfhM%9GxAq;q5#HU?bEKJ_-|n~EM30uHCMM91p32I~`L*wVe0&TV<`z_T zQ?Ry63ZR18mC1qvM-mwmsMgDOg&YeDec&YdFDRb8Sd9OcDm!|s1dEBOsy}7+TUrlem~nU4)(aC&n)>?qnwpvdmix(;yuY{i4sYl4pEe=K zmwHc6$j|Rz>OK9?>C@bxjT^hm-nR5Dodz1^dT@a8%zS%!&@SE^8ebrd6&p)LR<2wL8tpp&TyX=aJgcl+7`i&lz`(#EDM@M1-o5tKsncs` zdZ;ulU#|Y`?d|rvyUQ1QPuKJC_ZPPkOJ2IE`1!ehwP#naU2Ahu0=3;h>CR`C$;-*g zbM4cAe0W$;QgYBJCZt!T;TaJT z5%@GzM+{{8j;gO(QQLAf3yi)_o-?OssrU4xe}8^%*s?{Z*ji~KM_yhY$jP8lX<6C1 zinmw$dd6*(3|?WLfA7HEyRya4&K#Vi>Rs_=22<$zI9d08Iae<)E;c@y z2tB#y;$mWKv9Yn><-1GoSQS0t0B!c|l{QcM`|E2*M@Pffty?c_H0j#C+Zwc*`*^?n z;?&dAIzX$ngpyUi9ha{cnd`7$KK97wkjVb`YUXijxmt!q6ocHwG`lk-Z|R36^iwJCI3&cv;}xy5z$Kd!ys z<#qc^%{ia>&mSAsOPu|=C(SbbT;=)ng|7UX72n^<&a({T2zP@8Si=RJu`O?#>?+9nB(~McOoFXGVt{^09@rH7L@OX6hfhaz(_-$|}i2!x}VN zd3m}2<4;ddi@rMd`_ohJn4LvS58d9rZJXQgZ*M_^+T!|g3CH_nUtC(+eWzS@+qP|L zvW=@2wY0EAL`FKgyR(BPBqyu+o~rG!k&Rbfs&qWu*w~nbo&E5&Yht;#w}BQsFBR@% zSQyYDX`D8pFYqyF+5P79^KD&STuDhu1{oI?6v;b(fB$Lf_ImN}&x#5QL4y(#r%iKH zFPxId$;l}iwby@I?%iFY3=7t*;mOX<22Bjzym?d9PVU94SD+mdPygLL)XH7>-~i)} z-Mf?j|NDFOluq}N(wf+9Ig+5E$tO=z-rU~K|Mm5C@zZ5D8@66w&g0FvV0%%XprGKA z`)Vt-baYZ~ZOJ^`BX7U&P=9Afhr&O*lZSe9vmQO)t<@)Id+N%%*x8a+B^r|_PY!-~ zeB!@7Cl9SPns3j~&%dnf?Jb|Aq@>V$Zr7@Rd{AU=*je!pV2vEAkGXIxzDZY;ys zURY9+vT5^X?LQHhe)s9z(b`;}e{avshaW3?7B5x~j);hux_z_T$~UjIc^A9&D*c<8 z{5$u`ia^mi+r^6)OY*fJzO%13y6L@?^~AdQDG!fr`@3Iab^CS~7ng=aiJALBO{n|( zYK32$WiP7z{Y}x*Qqs=OZfadlX#Df@^X(s>n5cZj-g(k4R~HwL2XhxKN&Noqu7qWg z%9^!n1!ZM>tx8{oy!!a5sAlSswVS5tMuW~G0nO0QoH=u9oy~1d7N!-eR$a1OvE<2> zmBFB+O!VUS^*lb_pL}|nZa`q*$}46s{^{=fTm9_JOwdR^XkZw$-TL+Q^;7S$x!zk5 zxVWSKn@Z{K($`||?(L0!dc0rCbXCxL&?NlDt=ZSL=JuavE|ibwm$7It&%Y<|U#9c% zv9vXMRVTRF+1WKTH7E8dUgqNB+EDQ^3AE#fjg2iRJKWcoxBlPH&%?{>(1U}`p2rt4{Q3EOz5rKiM}NQje7o8Y|Nd5k@?*=yiGsJb=j&fJ z`}_BA;h!IcDk>@-TVpFt(#}X^WMxh2Q~aKBv3U}wb@{s^tHaknc>C7Zipy0nI3$F{ z+STAHQ$=FQE` zpuN6*ves?M$NLnGjD)_vx~eSO{cAd?{c)(38#MiR=Iq&*E`1@rX_=Xv#l@ecZr^U6 zWV_{sNs@B>Bfy43N|(}7cXAiuz9nxZ0E0j(E5P$ z=lSL2Cr~hejw9Nbe0r;A+qyS_3pGaDuy z;V{X)HKjzPYtpVie`-J@ykA~k1}*0Q_5HoSmC#r28aw&w@9$ibl9aBkjdr*4+sfJM z1X}kJqh}i{u>8V>08kI0#!h~F-rc6Xdu?BOgs5g@WIVXDv-rZLOHS+K_JRiMFHO|w z;!sytcX4;W9Op0c`r>AZuB)JJTG`jv9Xxrm6KwyUJvN}(N>F`K{Y__XxTD*ayt`8O z?%n(F?c21M-3t#La*EkkGm|e@5VXz!w3&Lcy8p2)nU_IlDQ(HP*i@pkitEbNtDuIT zN$xF?+TY(?gMx%!dWfi&f+p;?Z8O`Jd)v*5%k{62ZdJgVZFzUCK-+T9oaq7CziQ7O z8_-~uo*rNN`FX7?S89U%0&1kSwYAN#tKD^G-Ls;vuR>GO(=R8@o&lPUetUcS@u#P! zD~fOlN=R_Hy1HK4xFRbcIQZ~PnE>ck0$kPwl#PaUsXw6?Z_HXnoL6pNpqJ9y+sONq*=Nk3}rKzn_&udh=y zF_}^_M@x`{<-+C5i){s0d8!B{o}8o#+Wg|<<1=B#3=VE??n@gr3|B^P*8_D+!`4P6 z9%x_$?O*~0Lg=?|-+p|0%B`fNh0(=D>_?*n1qA~_LXNBmT&{@Q|@)KyWQHi zg*eB=$bhD_e}8}f_|j7E4<9}#$aYRzu&ea-qbn3_s2m(cdSN-3w z;#;KLq7dEr8U)e`S>XXaQ6>qc!k(8S8^;l9#fVL*pj?yUudkB==`d}7L( zGd`dklb4qlv7+9>6CmNFQocUm4y8iwB zt!!r($8$1!8tA|~OG`;*_dXTbrA}+stU2(oU_;5vppCi4YHDn2qqZ{5KQDgUOtWlP z!9%7uZ{KcAILKsSWi_cUSe56nf}NclXz%Chu(b=8ENOA;l{$Fl4A1XxZ&zQNw06E- z?IF+<#`gU9E33o#Pn|lIadVR@D196`;$mpWeNxIOg~P|k=fU&m?p9tq?dt#a+}@sl zd0yF6(0L8U#>QJRE;4P;yE|#M>N3@x{9d1KI7UH6Nt!P&_fNjICUVK+03oH`&!(Pp z(!D^N#}=+!+4=Z*|KvWUVwF-}&6nBnkwJ^Qw|wkJ|;&*MjpI;d9q(q81tRo<@|@+ z`Hz2icz9#ZO`}VNtKM8(>~3Ie>|9i2v}n;H&^D^o;p?6J{rR_T+g4CszW&p;yLayz zrk|4m)!?AnL%W(EpanLd6=$FhW6_fiiTRx=KY#st^yA}W(9qaRjr}6h(%fx{33+*b zR$Q+|#l%4Sg+V1nPHt}Dt1Fr&85bH#bT&?UVyAI3nO(Z%^)=q=Z*LCv$y#s7yK4o? zN0YAooVDY;v1;e(r-v?G5;8P2T(bCtNENT9tm(QJpeexS#2NGRq|I_xd@^%Y5?tmx zo2|68^v%7!(zkBi0&NuDmUp-7+1c5kB?^_5l}R;XpLEsK*rrXJw&wlQ55K-?5w6Hrk4>y ziYIFWCLQN910B&7wmy#6+}zyiexuC9V?Sr9oHJH^+i(BRp{B;huI`VARhQ3%W2Q?~ z*43s4_G(vo99rrRX;e*auy1F8Y_Ef?4Q=hmA0Hn#y2^U* z_HAiHL&F_qZ>3&pqzZAclw^2Yf@b&hVt0Xd_U$No%C%$5}xmxC)t#3IJu|t z^MfZ(KrKD1H<5lGk86B|p3j_QR`9@~U}wx6>+-%5k(mzb6_>V)*&cDw5Mg52Rr2!F z<^Q7h)de_~%<>GIYhN$N%F4PXex0$33d{F*cMs1p%|5d0ZoT{mjh`w)od$J(D)!X> zmoqdp3*Fu(tF4~-O7-*a_xleYIpXr> zIA5WszyI;W?ffrQmhIn=eO>R%o14O*`W-Yp3fkr|v10-xacjQ5wzhfcQdPGeiN-Bk zOfD6!$eQ%!=d2~?j8%PoeR*xGza0VXm~)@V`9&(IDl6vV7{Qbu*c|$Lo2Hf&*#@GnVU~9QSmyo zYL|b=6Pw9r*?1%xZrq5tWSHXQx?XX0agFZ#TichdD0J=jpKqtAqQW96DG4f1K=lNt zu-bu>Cpj4wtXs#|mY9&4$*DKJ`^uG&ipomHA9nAiBuadFagq7q!-pMRT}&VTE?{FQ zeRbvMN?TFUsguf9emZ*e=)&;zaZ8f_Oqx4a_E^9C|I_hKt3O#TdU8L${%`Bm)#0G^ zhIe_|)@y8E8JUk5QI52#CE1rLU-_a&k?u7Jo^~s01+KjQ8X}9TzrR~rH~(r1sK!{}*u0_mxnE0LThhr%s-{(zw=R7<`0CyL z{Z?fsxJ5-pL6hSzU%uS1b?elX3oApOhL+A>aiUUf_RN_xA3i-jeT#cAYseR=O;*RR ze_B_Y-6i$4xAy0!)RwlkMa9q0fli|0;o$+*FT%pYIk&dFY&X1?mzO8d>0*C&o2i#4j%{ie_#8!R(4tT zfmT1aG&eKfxqBCMyyB%om1Cz*b5~YYR(yEC7_~i*S6NwECvwx1_Wdi*)qQ+;m>txS zIdq8W_O{%~CyFPS*v;>sX`BvP<9XuD85P;*>>D?3G^$>ttEs7}X<%x4w3(eBG!cK} z#*GPmE+Lh_6GFeg?~<{8;y78&7u0?O9n{e+uCFHBKB?){8{w(8=TjE1i{0%M7&!4< ze6a7*Sm&^BKcZ%4$5)0g?vhK@e8=|Xz3ReWUthB;D=UNMS`tLv7$yHe5H^IE4)6|JeMDfsv2=cNDZU)4>VJ-fS+nSD|2?QI;~ z+|2#QC;up(C{kTrZNSrPTm5Z9U(lnEkB@_TadVG+i9a{T5_Dk1iq)$hgBBXz+N%B1 z!zDCDe$Bb>ah1pUDihPv+CbAE_wUP3oH!BG5D2?iyGZN#%$y}_*7Tg4YkhfFM7O-`|>d zSL(ob!;1f3UtQH^a9AC-_Q<^Gdq<8RcaD#j2k$}BSZY=G$HK_iI59Et#qqCjD}~ zpe*qI-d>~sR#_Pt2aX+U3*8&a!o-+$eI2i`u<)h8h{WT4vJyrq9BjN&EDHlTbaizv zP3%~8#!jQ}{oYM|vY(PpP0<9cf?MW0yY2V)_mlgaJtJJdb*`G1z6rFZy71?x)JujD z>$R>=cx16}TIpNu^BEVJ?_WR2209AiZ^8c=hRF+7ua4g2_vhBuY{S}LU*@ZczPh}e zzv2De>;G5(u={m7@+W9Djht=OgucLKk(<+|?mG81zWy&OL&T;O&y%&fQCl>iUY=#1 zFZb^5?)DWcGnv{`l{YkB|AkhnMXyC@64T2H-g ze)Qv>_Ujvp{$@Eh7?hQjK`TxoBf;&!kcqX6Rz07YlaiIywPcCPlP6Cm^c~6y-PtB` z{NvU&+3}TO$z5`w!=g5B{OJGPm?!ws)(tHk&u*}*r!+~`d23K)AIw3%s2K_ z8iU$S+j4JD>Qgq%%gakWR}9(_!SEw9!Xfn=x4peRs1fPjFQ>axU=sVWW5+;MPE&KU zr#s_egB=AAoqF{z)c^Y<+04f44y<%6#55*Q&J1L&XWy3)ff^HZ}W1SKYK#MQ^pwXZc)YX2`p{t2J_S znxd(x=>2`Qhe5;0+1cH*&GSKfBwt)xd)vQ%C}E_(r5nAXhBuVia0J8jyufbekl?Rj@U zyt=C0(%zo@_*m~!JHOD-ttp2r!^5u|ZNI;_x*T+_(af1MK@%~c1;3LfHF1mUB|JFL zIH@YCXz`B)Hx@dxAM(`7JJut)v~TN{EnEJ)%-8;9X;t{h?CpQZ!yDf;_T^6ykNcE+K(DTQSo99}WKRPv48?;>O)wQ+U&d$ypEKHyr zp{KX*%0oucoBB^`J=3M7rA5TV9z8hN>{86Z!UXDV&9y33n$w!kehDhk_4N8mWL7b)D%uxzvG`!pRLk=z(tPdBWp8gi ze0O*ElEoY1Lf0v3e~Mi7YU}ztNfBHOp#4KuY}qGozusK;w+gf*BKTbT#L(WenBV#!! zgDq&$qD3=qZOt}jX6H*WGB)-+zS3-0{eP+Gc=?GQM|fndrexmPVK{l>L`N&XsT)6j zl{L*0G0wW8amg^kJ7|6X-o3WTd3k!@-cCAl?7aEx4L`rGG_!ICCt__= z`HAK1EK_CK=0&S?^!53ZkM%gdzP9$^`}h7un|EI@Q3?uyOl#a~m6*g5TeAFBNL6I`!r2SH_z8 zDzg^N)lggxTMOW^*p{O%87E=0%H?URq4)k+iKc z5fT#W;3*X3YBgOp-QCZRuZ>R@bk@p)A0HosM&4d}hwi+`_UtQ5;VPyq%jX>iEFD<6s^qG6crb`iP+xTQ`rnUBy4{DKgXCD8QCVcjbhVJyJlo)*wz2zNl#A)dCp5j zL}bC@#m(ye^Ct8;1#WraI59kiahWT>m)PFg-(r*1d=EW2IoYu8PX#FMmM&S+asnh|TSIP7-KOq8Z$bF_IM6ZdF)=Z{v9qR6lI@i?cPl6`04;X= z?p+@IX?5i0v@Ofok8*8!;VAh1&(Go&t5-Y6#?CDf=~}gArg6HHt1D|`W8;#=0Y-Tr z9vlQMr?#vAr?b_p)kzVwR9Ve;md9G(%-w~L*{Z(0VC3cHRZ&p^9s0dQIWVL(A~G`Z z*O!+CB_%FZRaP%8L_#yq&N6idjRi`8Q%dE_moG0|yQU`Fyhtne`np)q?g!9OjiI5T zAm62DW^yuEl)syE<(3EsOOfpsR|SCu`Sczdi)_(JBG^c*sw0SdV1H+fMx5KsGdfwhw``aMnf&%DtTSG&`Ee4(^mspj)N;p5y zR)B*Av>F2BC(T*2W}P^3LP559QO3n)C4FV(W-(ihnMy*P2C1h+Uc7j5;c2Gk#$S*7 z?Lo7W6FpQuZc9o|4h#uVnf|#FG_!kYi6>~5``+H_g$ouqSP8j?&Rn@t6S`_@$`lb$ zvN$AVn$=SN{+{Pk>)u6mtzxzsk3cghrmwHBKR#7ETtG~$4YVPz&-vs;PuE=B3vso+xUq3@4DZhb2{t)7IZ)m|HB}olQVkma5OWQky??(w=)m-q!OJgkdw8W~ zWMwVdut7lHzD`B9b=5;Cr?r;s;dv*zCC*#gW~b9^>Mwox95BB zjdgZ*22InLnT0*d~ zsHn)OsHj-d$6&cV=cdsd+iEe;X?M4`eBqJ>_5c6vD19w<=8}FM4jar_GdIE00TudIy@Ps;T;yxf1jLBRuuB}7|7Uu*s-k4?4?EsuY0$gNT8*qWr9T8w=WAK zdJ`oqEG!({-PyUt^;BfrCn@Po@4mR${qezOcF>`dpc%JkXJ;oLY+^le>eM8U*}1p2 zG%j1FrWdnAVd7in1_y-+Kjj4T@9%4EZDozyU)Q^1hlPZc6euQw5>rxG#Kpxyvnrqs zrJ$HN^0a8-nl(PvRRKpXE@F2LDSSHp+m{75bW~JWm>LHg(ccDB9#z^tdi?n4uDeN@nVA)zo^<;7C(W8SudnX!FGXu> zY0%1>ZZTaC_eB~jKYjk(JZ+kojI1nZ^c@rq3tjoUEbLw~?4LAYf`b*4YU0kFI~f|R zN?&TiGmj{i}pPsJY zzIn4TXm6INb{Ob@QjuuuySqvcuL@m#WZT|)>-v8-SyxxJzPr2IJLUJJZ*OiIgBDqL zb#;MC*1F$sLG9`GclST}M@CA5>cRPTwVswCe|}Q671ud@db&Pn(b&ef zr=u@6%f+XP91dc5v35?hiwn!k?JIA+ySw{1L&Bs{6W zb(rp*oyE&<-CpEX{_&A(OKWT5D_rtf=p*muvHHxD%bc6)pN>aBCXzrWASaBiNh zcgp-<-`6fW9&T%E+tSwd=+@TkfRGTE^>KR>a&vpt{pW?e1|1#I*3`tbE_Qd=+P8ni z4;ys!_D(&yP`CWu9mn_g_JXbe;b?UN4|A)8tvd6(=4hAbg93{iTeGL%_%^pwSpCqY zOPiv8$L%hA3o^Ur|1{R@Yik-kRGPMLH-D+Iru4&ugITq4TwGiiHmCb<$-d6FbLY;W z|8`v+9SqY?AHBP~T=m+qgU#%!-+q1m`DfDS+DP@c-{Zvcb8Po*+V;ZnD$gXnDvwK` zBamNT)76RE(&6zNw6|iqUTi{cu5bF$X$^b!*qoVR$lT1vEA)B;Yi05Kd$wz0cZ-2k zEq3c&wRP>Uudkh5U0Ki1w-*n#dinC!R&BkwJsqI=nty+PXIx&!3!3MDcXzi|E+`GQ zwY4SbSJ_m2Sde1J6It~57%wQjzP+{8*~f?H%9Se~?vpBCUtiz8e7QO((Pv&>)|tCo zQ&ThJ=BCuC^6w!_%^uv?n4EN4<@~FwtJ_0Yhb5k#rn}|#-WJeVyyxaxcl7kQyuGz` z>Aim|0vCf0I9?O6(dkugH)sfE_9AxG-QePJTDRQk>H45?3(x{nrMI7d)_|5l%G=k0 zPQjeW^C{=%rqqgme=N=N@A+79WgGG|TNXcC;M~qvP*5On+N`vsB&Eu<>EGYqkH5XW z4KBdsY`d+SGJwlMZGC+I+1cicb8l~RF)G*@Q&Cm*=s+WL#g`X?6M3#W zcFT!KUjUVVA6Kz&3j1PF_s1gd&JM?#pFy&+vMp_GN=8OP2M-=}*?eO1l`A1@qPB8* zPuFw3yv*10c;Z^nv4WSDdf(VryZgqsL|a?inQvZx%m=Lm*}nZa=p4w}UnQVZM{9q7 zv#9!#v2@$zoyF-YYHCg@LY=y^12kG%TU*b_6#LJ$V)gd+j);nS^x@&*fUqz%SFI%vmY6(wa>VwzGiP>|zrPo{dO7=tz1xq^wJtCC^u*Ipb#nb|^Za9r-TODB zo))_l_~cl(xIXCYR-d_6qLbBpm1d=$nPCWOC^IoJbv#?aRVj7P>7-uNmjxY{qeuQziWT_(I;!IWNt1FT95BN zZ_y&9m^~GNX>Hp;Cmi3{kSJkYrgP})}@kV#v%Zrxb;*zHo`fyW;= z6g+eSt)@D8^5l}oAzdCSOznpiWt$<5t5rW#!lvy?o@Z6cb$xxjy4iI1OwdSmaBy%$ zbhI*Prd?)c*}FTIprb2ZUthmmJaYeoXV2K|=7Wyn-k2929v;4|eftzQe}8^I2JVQ*I#=onXn+FvCs z?Chs~&Wo7c-dU_36B7g4f2k9(!9gi^$&w`v=btb3oUC^B-n8}W^+D$vUtaFttr&Us z!PBR#rKP1me*Bowr}X*G-Mb&p+y57seSEPAXd&(AXJJ#wK2~sWb32!nna#bwSc;2_%OL%nOpk;i)BgYetY2EJ5fvA2 z-&_4%NkhZqjj)&4_b(HU$Cvy1_z1|$_dj@$AY)r4!p6qN!Na4o`S$uvn~Xq*?&IJVq|Ni~Xzf_oV?c?L)plAi{XV1O0MNxJ+ zOaJl1O|0A>uE*Cue0h2KlE)zux>W%=pl)IyCuIgnu=0a4LbS?jV1 zeae$TCFYhbCTk)$x0Q%o0}adeNE(A$Z9Ni(PH%2szk2m3XzFdxE6&@6J7aw2SO~6M zxe~N5(#FOnAtR&1IQ`s|U*Bb|%S3K(FkKkXQTO-P#$6o(va-E}kB=q3y0Q{<8_ep> zr$GDF6OZ*sMr=yyJo0>@m#^>IZx^Q3fBydc_}1*}1@G=yZp;n7=R3oI(YE?q%jV6S zW5oJZb#--lC#(Cn?cHmelbh>#{O8Fdox-3BaAwp=ReSsS&>o1A*R?J=@9BD=!{>c` zd_3GWL+|gaefaWaCukSxwYAYp9-o-f)58PW6Z`JnJJ9(SFD=$=t@@e;YC zx)(2A1Z6VNny9tW+b=b>OMsS79z4kS@87>5$w`rSpJx3(edC4%GdrKiZv(5!V-E`i zBqTakhpz{fwjeh>sopP!#6e}8uuG{XPVLNq8KfC03W$8d#I zpO~%2qAvcX`}=B@=PaplS}0IhSh!}^>BT1h{`~`;t3SgqdBV(@o>qNlK!?|_TD8hW z?fYc$%*;#<4vvQYe*Q0Czp7qpn>SC+LZMV=H=n}@aJc7&CgFuqu#2hs3@45Pv7d=UoUP0TC&6~mn0x0#8h2f{p07)gQrh> zYvnFmvLqyX=dDXWe*IEXRAh8o7_jE{)O0sDw;4vMTzBr?oj7^2vsK@j8Rq$NlO|0P zkd!?6YU(02-&riOva)NUwsw_F;W~N#{Bls^7gPiXg@&?%wx|jD1?@Z9EuMU!fziO& zSXuVz^c^vJpvBvF?!@@ax0_ocGZS>_3uty`b@+O>xmKkf#}n5^Zcba6d3o6k^Za>7 zZUqDdIW2bUeX?))@p@i48;SDw_geSwx4*V77BosY$F5e2jg3v9)5XKrckQ)rtW1nw zzJ86o+5Pg#$;lG-bvA1L^L)7Fk~UR;&-0mYC%bRoz98wopD!<~*Zlb4xW?9&0eoY} z{r&dSbRw0my*;)2>FMdp=H}tc+8if{h>Er@SfG$|dmHcC=xsh&*`su<^lz zge6OtPV5U_H)oE_iWMs+^f_KF0QEVSE?UII*WUc*P0ppjI!!w}IdT2CDYw?AUR}C! zW#*MVW)z{9O zF+-w9!mvrq<_PGNxDA^(H?Lm3`pWdJKAxV9ixwrF++*_yG$CSF`|H9zxv3`U=VZ3z z+?>RB`%f!q8D4ZWsOB*;?cCYa#02W_6+ideQ}wm0WRB6(Cr=s@B|vEwJnFZr^!27) zFD6cyz|iQRF!}Yp-#>nUJXliKZv?vR;9wK$47*yZT_rD_toX8ZqqcC|-&gDG;Ls3q zYxPUl{v^;E!K5T5&~;=xc370Wy(JpHE@tJIGQHScEr$*{trS_K_3FyXUWW> z4~@b*R=u1vckaYVlMel=wDC$#PjCPA_4Vdm5y3Te{@rpSnV?h{zCABCB{g+oUm)mY zg&DJEZF<$Ta8cLu?>~Nh)mHPH<1u~x?|xD3Fi@%Ruj&W4dH%g4*VaaF%)4u4l5xR7 zEBDo_SCgwvw6oKzWTmOgNxm|Q~Q>sw5vmEGj zw6L(Sg5qN5z(B#57HfngB|AZvPJVxP*TBF)L3a72DO09^wo-$#-}?CdYO>2ijtalL zWNE8$>BUSo*O_~Z55t){k$7gSEzhl=f zB}K)?5}B|MpFcOZwXuN?Lbl?{&b_sTb9?^%X}>-&+uGW8xG3$Z`5BazyJ_aUd2(_4 z>v|6za^jJ-67lr(1l@4~x}7jFvC+L>ZtBk){PK1W=GXsAJgTzH(9lrAEJp%#v%y^J za!`Hf;_90C=f_7-bKxT=uj<{)%s=jBgOy{DpWhkcJYy=VQZs6-5k(8kD!T-bN=`CR5I&L*WNmBkw~am)iFoG<*;Ga zkCUUf=RLf#GWf&i&&sl{I%0Y;9s6p3C%w6`@yCaU%r7lmRMpi%b!)_~l9gwAA5NY2 z?I=!y0t_kzz@jduG;Q+6+*@O4{{~w#K zAAezGusRD1%YqFXJ}f_e?AWoU!w&`Kw?t})Bwbk%2#VC=ijI>Do!bra?pT11V|jgT zt@5m=huiso{P?)|NVnX9@0M*zNl72R->>)Hqg(mt@#E(6^X(yvJOrLUdD61ne?I7_ zH!m-*C67aHpP6Y4nje33yz$bW%Fk@PQYI5_#Mq03f(DcYk6)W7S65f};?7RvI?!=X zfk&E7KYavR-xC-psOCQ}X7Tgyprx3z%=7uArKK+gMw~u*l9N};q+$8;sz3f8vn2l4+V=GH6nuRZx+Y>H)9Gotpesi5?(Fz@_&x^*^|2adB}LR@Tt0ed?JNzrX34 zn3{SXU!W27Wx8pjmwDC%VCi6i1dCYQdI9Txs*8l%& zzG(4c&@m&wPCHA2mL0EHp~1q&CiIf?@WX-yix)e0%l%)xb}g^n{C;u$xIbU&Arsq2 z?f?I2X5*Dw;NCAc!@4}rQ@m_pfJaG&cT$oP=n_=B+FuF(|NVXNvEs<46Wxc~`9X)I zff_g3Tyh8g>xW0*@%Fw1N^i->`~HSJSzLGa@L}ezt}Y|{C5u-D1qCJK=kuqhr-Le? z5}A#&EQ{4%U0K`=^x7n>WwE&=9mq*26t<>H7HnN!Qjyg4&~O{Bk}z z?epfvtrY)hD%gMgaQ^T1yTgSNId(8O7VjT{dz@6sus{x4m&40Oo_s1?sA zZ`T8winndv)7jV8wsouNn>TMjcbJ9A9u5i$T4J>2>3z^`S<3Ex3WkP(tKOd4b#rsN zb9D6XW4c%Eil6x`S-SM$fkx(lkPsDFcco`%W-_a)s)l|2w!qd_W7`7IjNcysW<4BUeFr$ zlatjKE?T6tb=%X>kPs2jwOcELmnVIGc6N~XyqNKe3+&it#-96b?%}?N;Ne# zpl!(Dr7+5(zrVjfKF_uqB$9S^*2F$#LoF>W(3uwr2?}<#zg(>N7;ar|PT~hOakT9u zHYFNe{{8(u=rWgk_wKE+UMaG@>gy{-B_$@%!4CVbEHnX)hIMv!Zm}+rlxRCR$Flgs z#$@+1GYp$cWL~^_rKGFdTf%c~g_q!qkB^TRl$N&6oGIDHE8PaVA;#D^*okxh=@Tao zG%zwRShcF_^Yin=9E`WF#Xa^WfF1uEfJ_6Z@14{rvnM6zv2h$Cnzadv|1B zY))bZ`D}IYa=ws|kcf+ylRrK>nsIrVZ|{#JmWI5$yAmP2^CM4BPxm}NamJrNH9vm+ zN_upp6Le|DON%ukLPAa6)Ac~pu4`uG1o`{(TUuJK`MI^rL{?T7beQU)`u{I3DuXWP z3JVJZUC8k8aC_miGm@aQTsLmqD0K42zrWRA-rg2>b#(=mWUsET*PmFHHL0V61JnZY z^YdGyTLIb^Jm0Q%Qq@If22fkc+1WYj%sLgl>D{W{(-f?%qSihCcIxceqaPj~zPK&- zw$x?i6?u1e6%-X6`t|ko$Dg0m7e(6D{%YB?$Hr<;YZ5DHCjQ~}`*nw3Utiyu23ml} zCuhSEA0J<^(=`2hL2>cn35w338f;Jf|9K@couI==tx5*Vp&=%iD)lXv_-GXj!#NYgfrjCI(Q0;NQ>Z@)FY0i{tm# z6%-U`L_TztF)}tb%($SClAaDa!tBDeYht&zWv^mp=R0uh7+dl4bE&2Id#+pwVQ}ac z(_M1Uto`u8MXucfl9HWEmZ+@Uu7A3XN3tnyZ`Hxmr@Ko;I%k?@i(R^W`DvA0|D_!} zb}%r2#$Qd`KUUg;MnM9K*S*mQyL|on@yEyeJJUeB8hChk42qt3EV5kEd-$P(iV91O zoxHHRUkhlPfajWhwZB0J?%ue4dwPsVuzgW+G4uTM>7juue(YWJxvD07eVna`n3$5a z^=_wneF2Vyyu5#hyEJ*F&0IoduhoC(Q-QCq2fFFX*SEK1j*ym?)`bff7P$8RUm3n$ zjv*vN(`ljyXg?gN%w78L|BH)@K^ss^a&8FR-BsE=f4+QISJ$d3+WPwZVPRnvKRzg) zn``avpLbNj!a@SH8KAg$a_8ehFE6fH=J|d(5i-+HA3fB{y%BU5Pt}(W54OmwyUX(< zA|ejlzdyf3WTTgt*P%I<#h?zg{r^9cOJtNlJ)8OS`*owY37noVYZg~-Ztj(p!R--j zU0PwE*S*sS%euG6^5Q%>&<%H+)6RmXDs-4L)zs8L<0IR*n?HK=$m6(R_n$vCp!=9E zFZWm9C&elK^!fATV?B}*76l4!Jra&q=lox6+WLRJk!$~vBQBuj-G6_5)&876%Otbu z#*GNjWjoqoYaG_c?bV8{(9_a7^yA}W&^Bq%#BJ`aEi11)UOE5mt*zYOzI`hwFF)QT zs_k)nrGSw3_CM3NZZ!q1WoT$%SY(-UagwUHfV6bC_jJ99eM(|GckbMTSHaY5eGM-RVWkm%CS2{qaxj zl4ELQ03GW1``g?4pXD-q?4WL0ueAAxudl;FR~;VjlNCL6*nkIgj?}9wnxLh}bFE5O zU3k1=)7u*xnfdtmK79Q;b!HR$fxboT{l^c3Vm1H1-I66s1kNgDpE+|TAumtQoR!Jl z-F;8(Z!va0nIDN2@xD)9z3SSt$0q0YwqB3lpzGp3KResG#W(OjXl;+SNO+Uymv0gK zYAit^zcKl^*WTQ1n)B{EM@C8ttNE-bnqF=OT1vhubhSb4uaczXvp02gb$J;X89~AD zb^=S(mml@7UcGuyv{N+dteb|&qWJxFqH?RQ@2jl_onvtEqF`TNpM+&m%FfAB`Y}5M z6crV3Y|odk`u;9zWwoiwZB1Q+jjHyuWq~P6&ounC@9#`-#>k2y!3x<3k!+-dwW1vI=$3b z13DkxB=?rc=Vxb?WtaNw+O?~s;`IN5oiQs`ubzJU^5P8}1g7i9|9g62+NCS2Lb*ZH z5<82Z7d$@3Tk_%pqqts-#@GDjrlt*`gS77Nn>+RJqLj10zP^6=;zft5_p}ptyrd*0 zB|)pM?}0jRw+~;wEWB{x!iryCG+$a6E%l#o2fA8slB&0d`^rtb%ikZmc~f%Uym=e8 zY*CSIHwBIU&7K|oFs|lNP((zBxPIJ*MG9Vl47ybTIty2<;E0WlUFn~;tK?g}dj(CIc=SG9ip`0?P+&(BL9heSC#GJKTh5)&0)YOD!ZAGf!tTMl&RV_8|*%*ivREziHd&%?*3W#vlEU*F$@PQduL zVNq~Igv7IRbGt$FfVZ|}hGsSYss~Mxu3oKuZB1meYq!|MzTnKG&Ym{{zA!LEM@O6F z-U?a9{cVXz{r%IA=EPZAT7vT9^>wk4Te&2qL5Hh;`}QqjXOZf@y1!am%jVnFb~QCI zfofXNDx7N>7Z)Anx3%r+>H_URRZ&$9t-c+;KJM?!g#V9@a=*E|Tbx^5Z^>R8uZK^b zv^+fAe)!liwwEtoE_pmf)5u7uva-_tj<}FeQ~3J0i#u(+CZY_7DabybUQ${b7!h&e z)%p1*nHd>>4EChHzqc2(q}auU#mLBrp=SPhXMg|oQR=f^y?O<@r+AufG-&@CXc`rC z(9X%p>V~POM0V`nefaFzwYSbMUlzTu#`4+u`Te}oW*c@Lzq%f@gd;L?rm3*&=L#Fp zl8N2r?~iRxKkspTq9$nI>ixaF-f!Ou%FCaBb}!5BXos)+W008j@u!XKJ*SOq&Vf1~o}Ly@JJKQOvpQ_81UozX zu@fgc0)v8*7z|d2tzGr)+wZThk6&3IKRshr*Yw@B*K}C;0|MYo#Yis=u ze`n|B%71@;^7rfN=%iHG$X(u$=$v-6OZ3e1^Ydr^`BMX0(VcWstv~Jjyt5#?E5E;! zeW~%(%iBAd!C<<6yqc`*t3FxlV>fQ!HvabQThH9Nvc^?kGM2^eF6)^%Q7}0#@7#>p zvyFA5wj?kZ$ndp4EU*B3kDHr2?ahsiK4D>DQ*ZHda3t)j`5E--{cQ7mqqDQk(@jiF zW<+hxGTgRpTaSl|(Dln}HioT@K_a4}hVFebiMz_)o?=Mgle778`F{BG-@7+`dw2Krk6*uxTwPu5 z@9a-KE!KAWsZsj5IV-PydwTcI&SJ^j+}vlcudnAhY~bVL<8!k5_sh%6vvNVC>U~$= z*=DJ0)~=P**4B3O_3f?v{cWwqqu`LOpw%)*K0iM{(=_{{O( z=f@3r4tKaHr9C}0m1p|tR1p!88RzHQhiCuJzP|47!@qiOk3B4qNKSq{U+(v_v$H4d zfB3Ni6rGaZ-rjDGj*Xt)-mAm(DnX~uwH<$KSpDsdqU=&9E^cl~yZPte+}}UHL}aD* zz8?=hR`AR}uU{^&xldC=!+=3TZ~AEoX=&qbG2NsVr^J(;@7AlRsv0s#2n!28`}_O5 z>UVV&6@#v>E}r(oiF@|$t>5)xf!6WUr@KMc7Ze!0)VP|Kn|qc=-fm7w&wNnD1xmbe zdnz2Qy3QDynx^vb^3HsAcDAt$-|{CCTQV;%oBwZ{)&2WZzaE#bH(;32$jm-XX1apwBx8J%wy?lNA{NGw?Pp&XLqs19Ql3Q zrOa|pL_|dy#l^*)Iod6L^h=M%sv^*eg-4H%_xH55u^oO`aO&@&J@xr= z`cY%Ic+HwK6_u5tyAQ<*v#_!n#^_D&?CMI=(bbjIn;u=1C@Loxw>Ecw)z?)i)v0%X z)YPrq-*InW?d~hxc6!rKgNFQfR)5diy6NQPMT?Y{MQ_jZd4F$j>Z|EhwzjsQxLcC! z5gQmNxOnZ_*oR5(k>+~SPn%?2S>a?`4a!X)e%7>|e{OtsmTB@lo619=EnpX~T}#u^ z(V4Mefr49L;KY~L*UNu?c2-(*57#GG6(PfO=g#r;A5Z@F?yk30Uxb9Dq#?L<`dIzv z&!0Y%)qH1I7C)QNr(_H&1$d>+48Fd;p1vdI9sl!mFE6h%i(I?ws(ecK?blYew%)yD z!RiGI4rF9z8a_WiKOK}>xw*UNS1k&%w=RDtvv~db|IQm1|0sKNV`EnS{?OH7PsR2# z7+kz~F{#2#B(!qN3rE4trLV6Qb<4%*ZNGKc|I+2l^*>W%c9-QIJAAnL=Z}wzXUv;f z^XmS7`{3PWZzl=&KhpOr{B!F1>hSgP^DGK?-U-s**@GCmNI2E=d-6`1I-5!~eo=eO#^7+P`AOilW=6&Yeqpb!Fw} z!~cTU$Jx4thfg;&GD_567H z+`-YY@#Wp!+a>0Sx`y)3JuyY;*u8slZEbD)=aj4}e0(e*BxFsPb!KK}>c9BJM8$nI zKbx+u4hQWbI(hQs)hus0Lmtp58R&R}%F0R&4GoQ-`xh-zI&$PlNcG?H=;+%<|ND3`(7L9gBBM2H)?8TZ&aV@>X~~IqdP^)OdbEIsNpy60CQh7KP*Cu|N=Q3yZ&j=R ze7n$DbEEe?fAfYXIXRhyjjc#_X%IIDheJYw0;pDbRqa(*XJ=$&X?y1LHup?P`huH3$5WnnQTY7c{#e8}FKpPSAsn(3ebx=D1iax87%FWhI@PW68nExlne&DbS8_pP5EWuY8}$^z!9P z)wsBekGC%=Dk>`Y^W&osw^7nYiS%=G8fVUw6cQ3z^2+_@ho3c|#m2{u9ZR*_URhbW z=1s|!Et!{<;=BG%cTi}UJzE;IIHc6RB}7EjmSZ{S$cV(lZBrv;uU)v1u=K^mY16{e zzRo=USkb~lV%@rRLEo49%(Ja-1I^W6Sm>NuH+l8Cb$!h2d>&V)FI=ej>&wgFM+Z93 zKcD`~@!{3g;RzDUuEZQWcC4ej8+4`5l2gl1Bqb+rtp8uf!p`pO?%w{|;%Qn^(xOeS z{0uW}DvLU&XJ=$2JUKD(!u9L=AFJ9D1;oVIl$96De=B@@%M`S<@yPX^5jt%VI&IzE z++pitA}cKWkAtoa5fB$|U$R66v^?wLVs{}st*aAe&*oNFR|g#u1v;^Ffn)QIz9Xxq zOaZMu4|(-HTwGjSLQ*pE>@3q5_mx{JY~;-H@A0UsFE{EIUmw3;@8hQ~x&5l8&(6#= zN}v4f>C=a2XPbjo#DfOESN;kz1KmL4gwvm z?h1Kj$1#yj)RyD8^t90a$bj(h_K6b( z^OHac?=Mj~IXUQL?9RSmMW=-V@9*zF{`~y>oqdNoA0BR>{^Qr_vu8m^ zHm?d_ANR(p(V<~u^6{h>7ZwVA-I#fKnNj@X1KauCxW#lFJUl!mo?g3l?ZhclSeTia zK^?PpKG{ht{8OjTp56WMaQovYCnsB!y^*N;{_bq4$~Dl~cH!e=_H#T>f|kfsR97pj zsIcVU+w;)MZ|TwJpFu-HJkn-st{ghv&M)uvHz0cA!7D3+ z6VubxL*q}a$h^D^bW~l|wKb8i-cRh+7xS8}dG`6|kEiwbAGmQN0u-!V<)=FZKG}DR z>1q`+t~E|S=W(~}|G&T9u`%9}VHc(^y}mx)*tv~IbJMRfPy0)D;gOM%J=3OzZG66B zjq86MU0v^(g0m-1bnGmDKQE+mO5^(0Kpvvc#6x%HbiZo^Le#R z-o7s8$^S|lIndcT@9uOKK0fAoci*Pffs5HdC%BzBaUv+amV8UakA~4=PiJT5#csV!3|H30?mqEb?XUspR7)OSUe&DX+uL%Nu3N1lz_DQY^7g6P z;h+=CCCu|;R^ES=ot2ezdYbNy4T;R4?(f6H?cRG2Y*adR>QvL*xw1mS!iBG{XhuXv z7Rq|21qB6N*io3gF8R-dzCOM^d-rZkJk0jz^LhK2<14SQFfoGWEaur(Ppep?pPM_S zOJ=`n;lo3%LgI?y!NJV^#}9)p3wv;o`OAxo&a3J|9RL3MTKMvk>Xntj%a3eb;1#`j zsm;Fmb7MDDWJYGM7gW*@`JyltbR$9C@3-5PmM_f6%-r}X@h#{~(*JrI6`-ksGcyc> zwy*V)k(K@U;^N{%j%Vua|2%p6RME&N=vAzYTd!2;kB5E=0tYT$6ufoo*3x_b_A}pT zYC8V&^Ye?#e5F?wX;`%-f|fFJb91-GuReC-1V>d>l~(MR7oata-w!nfM>8y_`ueJs z*{ig)6f`K$%*HceMQmH5fQ(Gcniq-!91E5$YvUAF16^LeZ{I%9!iE*T{QUf&s zg`i{H@7F)dB)*SELb*5&UM^z`^-tx6tPO*&)1(|o*NKKz!e&;I8RA2P{q1#EPcdh~BKDOg zpu<=DWUa;aCI0(z**|E$_Md-$e;>+~sI-y0a^;GEsHo~ivA!icHl@{qB6mmK-(4YZ zzrVh|z99R|o;`aG=U)+>e}h%=Jxc~yw7iLZvOH6{eJH5 zv#j;nd#k@6JKWAMC??h>Wtug`I)8iK-GaBbOjA-*7lO`DE`02^^LBvA`}_MrXT43B zHm&W)kBTi>SG!(&7=8Wp)Vt>2pUA{6xm~+<&9E$1Gt0T*aC^2FXa~v0jT zEj~|3lwe_D@wls|n6q#Z`^u1O>*M2ptX;fw=guo{MfY@yi`ekVTB&?|RJWw0udfd@ zsq*Xld;SNv--pM>%ChszO<5J&=+H1x*`0}jhll6F>hSeJ`OyYH9(}A3;9vn=C9FM~@#TW@Vi!RhhZ^&F!nxQht4T2|5+(*VorO`xXh5l$L^y zW_@;cws@U|-s%^D^B!+k5fT>WF7F8p4|fM0-SY2G<*d60o1(U6flmAQ`ue(lP2SBL z+qOk+PCIe>bn~uVRy8#>BCq~7YS?R4P4HS8ySoguiiBZKDRyMhM}D{rgZ z2aQi&ym+y7v)!l9p9KX46-#%sHZQxl*nN7XT*kqjM_G@qSr@z8>+W`=8HUMhB_$tlgqOGyH+4CBE>6hL@86nzebcqFRL~}D(4j%|?dy;I{QO)rsh8Uf zH2f7FE)KeW%c|?hs*sgT{{H@JqPMR*QmW)p$i~Lj(ckaBIqj^1Q0FO~Duzk&`&9!! zsCpfI(^vid-NNYYc|lt}|1B?jdkYj5pcS8g{?vq}Re{EBc@7^qaDbt%u1;r(N{j2A zHS@hhTwPpTX0HBq`TTZy*W+K``wP}7DJku!n^gz8lADL&*@=nDG46?1H>IAQajaMR z^j3d%cJ_1spK1N>Z*Fcrvj2QT0|TgQ9TykpwR!XD$?EF>x|^t7bY z<;D-T{Wg8F)@;GS!7KNh-rk-sf9CAjNXyV=D&gy54(=*_opNd0p0jf-g=MYFrmX5+ z9ll=4*jV`QudkC=&Ao9W;>+vn>(7|R`pva!)e2p8;MT3ERr^#PK6#?@*>1_#udl;F zV~+<9GM1H<#T-wZ8lVB%t0~bov1;!8Pa8IEYMMTM`ki0DC%$=;BV$#v;=}C_&>0m6 zc9*|DwY81qut7&(pWFF)whNap4_~PBbnaHe>TfxqyDdRW0_NG(cHOW4AN%NNp!VY5 z-`_9xpKrG!csXBEQc}R$DARSyCquowx}5xC*GFyDvaz)VUFrf_?#af+7UQ18Dt-LD zeC7Xtwn|D$51u^>d-hhvvhKe}Rh3mzax!=a;C*$Ghd*>VBjx%xZQ8V<@^e~6b+z~1 zYr9Hc8zdj&*(tYrYN427qI`eizs<31iuXZ__9jmje)2bc((Kuw>82MiUU*#fOG{G& zEk5-Ml?mT3zwKj%jf;y*!jBIRgSJndKVSdrmM~AdJ9Yp5MCLvJy6NZdiBoqLKTo>6 z%y&oq|9wvRfzgvbKR>@X{rtR&pP!cAS$5gl%8H3$(V|69F3n%EujZ%H*WXIgTEBi< z*8j5s?KC#az4hS3!^1|k_0y(Go98X4|Nk%J;v&{QIoqfm6^pepudWgWof;LoI;>E3 z=^Z0uy?F$l5i=@bK_;k59C8c5?ox*>~#wgGD-L&Yms&_{g>6Xi~|$JCgl!wvVhP zxg;eeUD#h=|K-I+=5{_=P($SUM2m?NCxR}xY1OS_09~nBR9q}5By^}$#EC<($ibE0 zi6bxpw7azIt(23q^TK7zj+M&Hyl~-yL$8$SiWduAK=b6FDmw4(t{1nqYEPOxd1qh9 zvKKEhKr8G(n|J>G{k?GI%9Euk=awv6#?;{SJ|sCMr6u$7GDQUihWYmO&#d?qTLdH* zFJf10(O3aGjOX8!-ozn`mkmCsTbex*SGK8 zYYSSN7rVP`<)16Rr%VwESsBD?ntknwRaeNKy?a4d=3KZCux_z{6URhDtttVhj;2|L z$!x2_)^@dWix^x}E>`*OoC5c;W5)_gOI;lt81~itJX9*<#Gz>9;-2rs5$LdS<3`YY zPCW9mRche@{VN z?F5crgKlws&^f^Z5)vm$MRp2uwSo?K-L!f0&OWD=;j^XV<$Ty$fX|1Y zoSba=^INQrSn{ncnV?f;x8>jOn`xYW%GNnGY(wl?CH+9>M z*Ye}y`W&L{nKY#xk7C-Y@6TRK<+25y6 zo*X!Nk`r_n=0s)pg#3K{&vv4LUS3=b8le}N8UFnF^WoiH>zw=h=0g1Au=RVaa*F`# zrozW=cXkvqo9EvP*%_;nb!7!(Zfl5w%q->&l9Qr6OTh*TqVMjwM(Xx*D|8D@r>95kC{V1asYysnJ60;Q^YO9V8ZqmqVr*<|7cO6R zet&Oo;m=R0VYk#KB}%YO*N<;&Z)cxnmdoYq>w9HIAT#JPyLq>mKG5lBw{G2vIsULGKqKVFOgVYGngh?y&c3)g-5+!~U39dx?<|vp zFD@?r_R`f4|KcF%G#J2U#W^c$)g>`o z22lM_@$-`^XhG__#UWfd^2tw4%@ih0yk0T$ZK0i_sG}?Yp_Q?_%O1YCxOmOh^0&84 zBch|7{r&ktM^1t+Q)%Os2Ay;UIy5xJ}eUw76!GMO>%As zOxKGIS{XZGiK1Bd)V$rd-gCA(^+=oZX@{?KsjIWQUTC4bI(f~S<7_TPpQQ9R+n!Tj zvS`H%M~lyoj&h%wV=0_`yf1aB?Z$|nlatjCA2`5pdwah7+gn=$*G8GPw6rV;TZC$WWo6rf z&VONO0Bxmud3iZ#(DZtsh4Sg-H9E)HT#TUpb&(4BqA+KsQ7V^=tn9_@`SD@5b{9Nk zdUtm>J3D*3(sG6sD_15yIWZBmo_=HU@rak*Q_fzwB2rmdX<%ZaQ?#?KjSX~i@Z`zO zZ{ED&+Ac3A2U@Sb)PC*LW4+QGe0<09_y1j1vRgHzB|yU^EKKa){`&K!Q;KfyD%Ey! zcJ7Y7x2rTeBRd;(9;E2JTe_#WX)EXF=Y#HjlarI<;O3tEqpqD_zHRMV-8XOEfEHy< zwF_ONG^KR+t@ogtc$1Iy9Q^e3bZFVO_BDMQH_1s0oIH`e=gc>Y`2v{%7n=)`Zg0!o zQT|?T_5HZ{*5!N*7xvZuPP#4{Q}*pmW@^bf-lqdZ8 z`zt@E-MD@G@Xec&yUX4-IVenU_If&L(j=zZ+S-uSVZE<4jJ78nWLmOxsppsNOM9Nw z_M~R#IH)N1f83;V>}QKdbC;aUyLtBYeEIqLIk&g1y^=Zk|G(e*6*h4b=QpuV`1JX6 zcg(v74;UCgE3p_BfJO^$t&ZNV$M9hN{(qB>IxE?K`1sfzbR$GrSsAF?RQC23>w={7 zn^$pgaUGg#T@GsJF8zHVD)3aq7tpDQ4ToYYZ`AnK+~2k-a$^$fGXME~8yl5nE_UlRD0<=nT6mtcamH(lsY254 zLznjQcI0?k#jSf$taH+0zCh(-W&4TNpheVDrd+nw-*mp3v9YlwNU;6={hfXOdH1X= zEis)4h6lHQF5o%5Ao+M7D4BkHf1m%sZAJ-(lG4)dt>H_(L>cavSt@+mnsk)w#p~CL zi=UqZ?a&8}vE=3PfxM?x@$F6IL-U(wXPZB_@>{xa@nYuW^U)gx;y25Pk}^`71pbKHQZrl!WA{9VkN*xh2Q!`DC4SXvbD z>}{6!rhC&{PZ$E@Gd!S~q$d=r+(ty6oxa=kacg=rPT{CbIL- zr>Cb+oH)_2c=2MFw<2@S``w>$`hF8D_k_ulo7ws04qUk+l6z|lDE)TdX+oxKNKUOp` z5iv6}ldvdI$h*6X^}+4!6F|3LfL4$mm#fGDggjSzceR*}Y z_^mCO&9c^I5ANID2i^hZ%NGrulNl6))n!0*;aDdio zXIxa8V_CfH!>>;^=TGS=DKQ=Imp^{2R~p<-p5x^%*(Dbl8TsP+dikg=8IAYr|I21& zWgX26zIeSwC0AS8)YSCNy}i<6VqzP%ZauoU`ny5JhXl}C<%<_D78DgdvRZUVxcew* z3@S8h8T*IaZJ^Uv3twDNT(>wR>XOX+BXJ;Qic#zS1n$E(Ta;XWAf5hIp(Xe5?(&JRmd5^n5F~tswsgEB%FdQ~G zT37b|9xp@0zM9I1ssHCXy?*k9MOb+9p})78nVAh!PfbbcR{r|pBJ+Xmxpw=*3nJIY z?M?amp`(Q>O}}RU+Z9XBZ#Me;?HlL{yshk~7QArnUm3hyNnM?N;>3xr`xtZY>@Zvx zw>Rp^wx_keQ- zw3nCTx0X@dv?rG9UVw@N&=}^ID_5@?CLiMg?Tu+{Yy|ZfY;0}2@2-p9o(JmAetUmE zK4pISM30u*-`@@%Il{7S+qO?V>o%pGpVw=cd~8ZZtd9>51L$-HSH0<9D#OA)e*6e( z7MSJSU~qPJUiUa8%4wm1e%v01xH!4%fv0j$PErNc0ev!-N*7mpKdtngvOPDo`1v{6 zl9!iQZ{4~Dx;M(tkB^Nwf)L3eY^SnA3hX-)|!Gc znT_4;I^y?D+XnH@WK9z1r;?di5>y7~(PI3{|ui0j7{$S#d3dvl|4srPiyi6j>; zU)J8n`{42Me(yc=Rn~WQZCk4YI)?w;THfv@HM5u2Syf{qoPPyq2oI{J2{wnfcJVuD^eIrLM?O704LZ?o>HW-RUZ;fu3?g}km%H+I>YU7Wn!2s{-@SRZ)d|VT z%+}V{pi%9ttE(9H&21}ubHgxZZcj8CA|fr3o6|tMVnLmkAAcU*e>}&!oNwELs-=ul?{c@u{_rub@{8pT_V5VG)z#+kn5j`t| zmmfNGh$$~GFXnh4M^;wWis0paPWowHOAZ_GfHuMC>+6G7JUco%s*2e#EJ!~;5449E zv?M+0D3_&rD4)_qj?BzVE!)e?44`74k(n*w=BCsbcf}TgAit&g^L#lJU6z3kAb5R! zy|STU;L>g4Q>O)JgzUH+&0$?sTnsv3PR6D}0CdrBhoEv@g?x2&HE56h-Mg~9QYIRu zimpMMwrnwZ^6c5Fnv2W~pz9gZgp$|2Ju0wiwsP)6wudS`E ztk(-gx&kzo%#_o5@%j0A&~Z*qPE37rwq2k}lA8GN@NiJlo~-8U^!C=)%-^4iJbZmw z8Ez#BIqWWbdtrNiyiVjMXy^RJ7cnP}hYh=TTZ1kQWaSnskac|+aMAheo|>ORvAaqR zf{rEm_~>Yns14VT-@gxEyeRnX+qWIX&--|Sw3bhqA|fFzeL3vb|NN7aR6RUA4(u#` zzN62HL(#=41k}H@?C$DvDk(8>a&pR$e#!+I#|Sym%+7ydW3u~`Cr=)nnyM{2Px9#F zj{FMbgmwJnXsvU9tIG4Y_zAnx3_x9$#c=6(e3l|#J zuGQVNX;XyPsy!=S1m3x{)LT$oyq#NIuRyj{z^Q{}#S2Fc#iA#VA2~ky}bW?yQQu^-k`l$pxHBV{kSJq zT#79d+9>(OYMuiy}g~|;^fYL(QxdSv%Ro2JA6&d z&Pm{5kh+F#YgAhVEI|u~L906+AMY=gb=Bl(b($$+dnCyabQjZ)9~C8UZ%zIB&GRK_ z^A6~8MLRpWc0Sod3mltM?k!)uSXs`#jz?c#f5wa%pauO#?}H~US+ay-!P_kF%?SsY zzP!CHK3zZFZMomv9evImic3UHE;kD}rM!7~xc$f1>+u_lo_c|X$YYKNa;d4Qt(kvM zNLsoZbWh8vDVhcb1`QE9XHC-po!8bzJNx?fPW|S2^WUG({-CRH?Cs^l*T;bh$S3m@ zH8eOt=b24Vbe=G6n%eh&+S*Y^z8nWF?Gje^Q!q4~2o7d1M{qh{IAMZ7%Z-(thgxIY1Ff7E3hdmuv*Pcs(w*!V1HdL$ep08uQsKg z-qCk><(@q@HnqQ|q*Zw&JUGz!;=)4awQn6c6sL;xe&SGcVdImrXi#?V1MRBe{r&xYW7XHJ7cXC)G*bKN7ZxT4+6;K%LICKhh=@%o zoYyCIy}Ytg*ew5EPwMGuib_gNuPx?)ZeE`_f4;vfKj+!`_VS=h$LH7oI|&|tzrPTa zgEzc+e7qmz7tlQ__x4s7%ere`T^lW4WB0$^mA@@5*4Vt31E zYp1DuYkmsd-CchC>FMd9woQ+W<)qghOJ`XWDuIrzFMQ-O)i!lu!tPscy;6m9TnumA zyty#<_O^(fMN9AevMG4baOam&i-7C0bEOQ6Br0s=t_ybbSXx?w?v#2hG4-Oz)jnnyxii#e*f3M%3vdYuhnR#p0Rjti03ZI{o-LY%eqhDWNgQBNPRQr_a zX3)iWU+#sov9q&x=2w4z7klH@EvM*c>FeuagFE;yy}q{ga5FnUXa@7h5tl0~0-IlZ z6iuBpscDvJcG13TU5g%kte9b4t_Rwn^ZcCbmYkbGX|;PRJ~GM4$$^eKWw5GS&15Av zb*;^D8`>a@UB`vLw3=R)>4+#;0oX`^hYWU2WH7n-$q}f-lgjj7|ItP@Lrs+l} zU0oIW<8i-zME?9l36K-x;^Hn`zkdAWWOdLz1J{0QdRJ9hfw}}!wZpZ}C~d!X?OKfc z1g}&(xlpl5a{V1#$sCGHCNUmxad9b-UEHA`zt3RbzI{CN&!^|){oC*E??3pn*SEK) z&$K91x^5`q=i+v(Q zuCCI2TCJ_w%+1X~l?mtul4f@P2hW}@o3eWoN2^n(c){QGcD26}K0P^EP+YA2eVzH! zsdMM{atf;@{QL70w3BdK&P^s>Uf!ACG_}vpHa`x!QS|Qaa?oncnBx;?Pnjap`crMc zQDH#=Xa#A6^}(Zv^}|=MioSdIZo|fnj#X7wpkdvu+1C%%`RB>+?(765u@5gUDzCid<>%M7bgAkz zy;!dJ_;?jHHPEf!I;y(+`{nH)eR_I&!^Vvdb(j@fLRdgG#gaMytY0hZ>hgj*F`%nP zb8~es^G{x~;?~ye$Dk#UmzHvahBQFKJV%eVzK$?b7vTaOa`xc$_4QBptzWlJ@6e$` zpwqVQ*Z-gUHHY=}a?k{lqN3x`sAc=hl`R{RmgY5rKP0zG@XYv+pf$sPFE1>ys$pr-mh4| z$)hsxVzYpg){5lgeLE^Yt3_?iYE3^s&rwC_A!sJ*cn~M(9-JmtZU%;b|NdFj{MZn5 z{@o8yKeH`S>(6%3n)Zr{iiBHRGS~du`|j>;@x4`Foo1Wm7X1BHYLb1eXX`d?X1V_M zwb9!bIX1INSe0mO+O%m$pNjF8*tI2Bu3Rz5zi0F2=H}%e$~9NsxDhd9=1kDA)oim| zr<$6YrIorzj~sdMe13h~#*K!c>A)p1;QBBKbefisurTQ6kv+A)w-v1AZ%f?Kw`>b& zP}AG{^r5%ux3}e!v{#MR0W@Gv;0A-{EzlxbGNr6rz0|JQc8DE;{P6LjMVXjrCC z)_U2N+jCyMcmbM12hIDU2-h~L5@iqCC;5Y2fEK>mTC5c zIdeccZ^!Q4i|haY3#!#nJ-WC4zg#mr|FI>WlOMc&+narTouj+E`_sDfS678LZ`-yl zq(9o-o!z?Z4X6(xASW01unaUcu+X_(NkfAJbSq0hz=TWs1sO?6O|`$jDQanPIXXJV z9G}>EQ#*<));hBphg91hw%d6a~MV$f?+JBA}qaU|rnauH4((92Eo{yuG`k zm%A-?>zy!TM#s6i*5YyMkU`c&tGo?gcTCrh?`z|gK6Lcx(wL(=C#(BE0;S4*`|Ku7 zn)KoGd3*1|mfB!0qbw8aGQds-z3#Xr-AE=4Z#L8Xp>r3X9HIbW7 zkZqs z9ov$5`N6w)eY?xwFLLjflUc44otCDyE^e>a>q-G95iv-q2pWw7U10b6+S&`3E@^$< zCMG7fqwcR2=$MXHZt+FY+w-2rosAc@t^CAt?b(gIbtf~0(!!S4ev{Iu(gJtnE&}FQjpPhC7{q60+=btCenbUK1b-4DCY|xr4 zf$pPTTUkvNUA6{*%Ewa==hy#h?CZ{h*ZL4akxMv@o2lB0Jw-{)a*hMLD<7;`_s+K-k zYtR`09lgD+)2EAP*J@i87Z>N;-6aZY3$BaZy`xWg>y;}ZA1Z8at()e0cD8wYgpQko z0|V&T%WiS~LubzPyp9m+?(A&by4AF&rw2UVAPQdFpvhidUjE|MtE8h{qEGkbzrMB> zv=sm}BHJyd>vVlx?CC#gv7)W5tqa4~$Gy0=RvI)Ax4^O4C_g_bsYyS6A7};RC(a1Z z4S#oBy?S+H@pC^Fb@k-4vrJvrSretmtt$?M1eL0$E$S3#%jgI0AYDJd;jy!i9s-=M_| z0Xu_ZQaNEHt7XmUeGB(_rzDbaS1+<7JEKKZJ zuk`W_(V@W?ovlFK#T|u@4Kgk$L_|hDytvrCps=uU*)lcg88FlJ~)I;oIF|~fohO_O{c>}>Cd;@`D?aD8oXB4)a1N*^JeR2JFlo<$H=`^U%5bi zCD75GudZnFNE$7P`F{P{HMgxi^=N#pi_pgt_s!Oa~8B$Atj|{ zYxeb`8Cz<&wym1FMZlLsajGDwta!o>I@IXx?d{4I77=RPJGbWC+;n42zk9#j#(Vy$ z#sB}+f_(q^`FT+B0otUtumE<>E-N!LGBR56BG3w-wV;#tZ`{5OI>GtH?d|y+Z)av^9=v^9dbU~a zq1op779LS{pp773UtfQDMa-$=5O|%|6h&=q?sMnPf!Z{0-o8z}*1v0)RZVRzXeR&3 zvuBHZXPbH1z6Ra@`r^`3ZqQ8lgb598ywYJibhnio1&ZX@y?gT}$HLkg)YOfOi`!BA z+svx`UC+nI$Ca(EXHT^Y>D<2EJSR67bd7RrRLb{{kBxZ;K74M zFVEk(BLiCG`RHi(#)^+gB`+_r^2^&z@xK45=;0yOFE1~%Pn$N)qV(02E1T0-yilC` z@5Y|lm!}6E`5D%VcFYTMX$FfTyqZ!68iM{^VFw7LNbiQ!y+O%E1!otE+b*eUe+>xA=l#rO%xMz=zin_XZWbjhQW;PBE4$v_V zda=7ya$}|@XJmBL{{Hsx&CShg*0HL1gBpF&+x2q8quW4z-Sg-9-`?KdzHOV?q{)*v zrktEqr2FOd!-tHZlTPFJ$F+GbRTk?me04?BYHO>&A`!5QRZpBedGN`}$)MvZd!)_# zCi6Ud_6#%-JW16XblgYDyE~HnayAcCxTT?+)e??$2wD_8U;tHInc*5DphD-w>C?$e zZCw>bxIVtRx|+*2Z=y%b&(F`39~@|uuqa4axm;rBjvWg?C-9V&9lO3h{$|J8ARS%Z zjWs`u&dfIVSG@LpfveAHF?o4@Zf@?JdwV1s8yh>iyPH?8%-nhV;?=95iUxFS`1kks zPb;ka0&2)SJ1Y(9@q)(MluSXzod>6wPDDdb4^Pg$Ju@%M{EvO@tRe&&BjK`q{rJK{ zX9?3Rk(ihm&@i>Bsp+*_VqC2P-A7NHIFYc{*HuA;OHruv)ZZQV_f#@VOG|@JVadL> z=HR)x*4}dq4?q66q4aeaDD{4Rb~agg+o_KqKL*bDYP;e^;3jAj`^Ck@pk+{9yUX7v z9qW;N@LAigXP#ZHm5GUo*4vzZVRb*yq_}~x@ng_vuSYMa(fw)e>+9>2-`?8F!NUVu z4SKzhfgvp|%{8qSv~c75`}@zWrn&gdv+10u?4ERIMpV{fp zJ03rJ1WGnrwwQp5cH^`&KOWYCPI%jzeLd;#udf~5-K#TVriO0V2f9D(SigMy%In`f ze0`U?`s^1L6=e+$4t8;OS2i*da_^UO-COl_N#1s^sahYtd^xhK^!11L`~Pp6FeTQ| z&~U@ntxMNtaVmN>f}JkUx_m2Wq55QX|7TWyf~=eEK=;hHB_<>$GTPhk_o|ILKGQhe zAmxNWkBp^IVq&6^q{H=9q1;kZQd;3(R>bb!cBFrHqQsBizZaLkzqeu2rbD1ZQ+JhS zcm9^Lud`|6k!8o;-On=D3!cogJvp)3$gq=sby~v$*2K?B@6H zDt)~w=HlW9h0B*OpI*5eboZp0nHi{>XJTe9{P4h0LPBE7?)_(Hn?F81UH`+!k1I1$ zriN|Ucl^%IV(q8D7L>Z8v;3knMl zzP-I2bbYe7xA%{qKNZc*r@zi%XaFV54-XE4)*yU)dpkAkgNA|#SN)HN@sfXE6vpo; zU=$M*18p4vZQQn+yVT_B>Tvgr3=L2RUsyQ!VOhw{IhMr+2?rQ@WGpvbTKj(Dq)AM6 z^VeUxef8enYVm8=u6_9M0W=Tw?%rPQ&;0-5;^G(@d}o`T+%o@DM`x$w^>wiemoGmK z>ggnchpAZ{>gw#&{O9%X$yyyad$#wrg;4gD6@sAp^udD!7IyaVu1I_7~-Jq|ou0DRs>{6GSzCQoIfB!(2pn`VQzP)7%8k&lV ziZXg19Um_bUD~a6bY-&A#ExyNR9iG;L5YW>A#`=vL(nBK89sX~eh4zN@izqc1u>$|MfxOQTmfK$qYgU#$eo=%V7 zkaU!*Rqo4llh==*ot<6u+TPq;+_|0a=wTms@fuw)lb?u`5g_dbE6ee0*`~>uVpre0gHkccsE6?qQU?o10tF+^?YX z)sGx;k+H9fc^CbctJMh<>@#Q1EP6XVo3;P<{rdl|2?+{TrLS0wjg3L;0j^!UX7sxJ z!GT6lXXehGJD?jAXMSCLMod4hXIt)V&>^Znetp%xUN~XWq(w%zugcli$$-Yi-re0T zC?wQ0V}=Ci2$st}o72y``T6lVIXhdPEqru@bJkNwjzBB0i?`gb`^~#O|GryAg@yY4 z4=242xA7LfyJMMiXNRD)d7cX>r9M8!JM(M!h67Kx<=#HERa7gw#YvH2#hqPpto_v= z9vlRXfP8v-T2NM2ck*1decSWyT4iKsC%?L~(&)Xn4@XbF{$t}f`@-W@x36v%QP*e)5eZrwT#4vquU_2Vs0f^JMy zQCAPX*etN91XPd&M)u3u9=f#Ddt=H;p&2u07Rt7l{-665v^o@YR^<8f{Gek6zZE|{ zB?`J$rCUt5skxbXb*}fS2hmZX(bpG0_-I%0f#Lc2`O{Cn)LDA*`t{@6a&H$rIU(rc z;&NiCe`<14QqzSC0W9q7%2rmhHp{GBxiUe*ZDqGyU|=BV?D(VI;)2rB-6u|XgshL7 z`#QoEX2y&7 zoylKTRwlr~^5N@O*XQTvKApEXe0?0~bjbF0_PD)Os^9-jZCt!q8ML1L50=Ij3cDwJLAa&=Yc;VGKI z58l6ze=}wI?(+AKUR_ z^~aBjozEvNeSUsEXdlmq@88`M5)^!VeL?3`pZmnZ!gAok1%cpYJ`Z)87v0{HDGa)R ztm;cf$I(Yh*Hcqc9&Eo~m%MiUl`A1v)<%ni?y0}Hh*d^L1~i;6Atj|`Xc(B;75?+* zPYy0Fr`2I=LD$rS4)-@P5vi)GigDMzJjb#a)Yee4v5`5jJ^99l#KRX>g=)*#R!!Mj z2P*wRD_#$`@p}0BwtA=>y16+W+`TDE;!tdH{`>oTI>Vn2?y<3RD}R5>-FcgzhbM)> zU~Saaq`dq4&KmF>2A%J+GH5B+=8~5|+vNM41iFvG+}fDTe)#dnQ#utNe%2g2c5Io`+uJv8 z7}VI!4-5}azjF2J%%$GbjrLZ3O^Vu@wX}daaogX&-|vHt*O4qOEj@Pq`t+0M&gp&r z=IQC#`hQ>DUn^w+jv2htW+$xDI*p8sBpMw)98QXSe5}{&=@tdzLR(Km7RPjE%|1jpp0e>+Lyr_H6IVTU%G}Sv2j`>C@d8uU}7}XIFcwRHPMj zLx!7zfWdPA`Dt_J%;DlLXPEK%`T5P)`d6-e$sccBV>f?i`FpwS+Ea(8>&MSH+AVI( z)Yt%;vIX_K*C|iEy*7HgM0E7+LrKT$=L>s#dtdwY^XK#V-L}uAq@-H^zrDBDdUMs+ ztY-(C+1Gsavac_5d{?6OyPM=OLDJkjNvUJ(9V=rF3FsT0a zX5zucfj0l=e!aNJmHXMPt=X#g-hFv_xyL~vK}bkwhW~s!L*H2@iNC(TKi_dQ$x{8F ze0lkIBW`)7#)iVOvS&K+l`SnT1`IP;xy3|wzq`2D-DkF0u7s`aUZMYa;cKIgf-1vL z9g)l4yvaFs=1dQ0;p*~w@h%?~A;W3YruFRGS2uBgE-x={+PgbD*L*cDeB|O58@u<+ zb-vk~xt4r=KEM9o2eXeKKl*G=J1bFJTbp)wS80!j$|Pr_Zz}5Q#?I}0x*Kl+i(zkPDnfq|I_7X3EEznwrk^pKmvH_ubXu>!($%;+cOw z{6yyYO_Qcg3$u8A`10k+Cr_Qy+Vk%5@qVAXyGkYH`j1~(71}LnS7QM({n^*o*Jaew zW~85=H}&U1Utix|PJaI9CW}?%>}pPAWM+!iUFhiV*WZ)({M=lhsal~k%HG~G)YQ~e zy;uMJ-Ca;{e)|0Rsp!rS^SnC=EKJ~8%yo-3=72H{Xd1NtxOUMh&x8FtcUorGu8rUS zuYLX8D_26U{hEC2@$r61kk_A|o2wf4|KVZwV@Hp+KKxj5=0GF!%=Gi~PFgPfvS`tw zE)l6yS}sqXJ==8Y`H6|jr{DN12pCM8Hf`#o+ExLlC9a?~9MAb=ECOC>>b-jP>P&~A zveuQngCQR`v3*NROYh zsQmY5r_AK(dH42I_N-f%x6)NA=+4{Q+h;yIJ9~O$$Aga*Yec2=V|Rr-YmXHd7Z3Y2 z@!E9#cnM=;W6)6)zkdBXDpy}pViLSPFLqhj+Nh;st|CVlxptq@sSx=CDha3l11*27 zegEWRMbEZvW_#N>6}_6v@)cVO&Rx4Ewrkfe)i`ybPJ^m1|2LN3PxPJp_y2+Wkqyj8 z8@Yu<&9AN!y(7JL%ek;4UrUp&y01=(U9lo!Yu?(m*IGrzwfeHMU%R}TXA!lsX;ILD zuN~5?#^>Ji*FVur<+nj6 z_!}fN`08cPiWll+`TP6(@u}M3pdC)2$@kOx`$0!nE(lxAxF=fBQEB3XTU)c0me;1A znxc6jYwOK>&)&T0d3AO5Y|FrZEiEk%UR_=N>v{O{%MVXZRtF8hgYJpQzi+1#y^V*D zkI!=3!l0E53a5+qCUJ6dI)WD06g)T}^PTsve@KXk-LDtQcXkviU;nP%>C$w#onLzC z`CngOKi_rh(w5B2J(v6)dFAb7Hg4P~z{0pbe*duE52o_j}`=oSFiEX@{+e=v&X|D6paGYgWkGsH+;af`XmBuKY?u za~CgG{`2S0roRc{TQUM`{(LH`|KO!wqF-KJ)jqxHuuvz9?`$*CRLQ%0 ztZILmJUcgc_ELidVXHv{?4V1$=hyvuS$(^(xVYIz%{eJ)(aJ^7x}6pt*j4(v;Nc-w zo#<^oZ!E;t`_49t*qp{YXU?3WSi5Mgsi3Qb++J=jcz9?<%+8`|Z@F5T7Q6K}?cTjR z@Rw$XsCHPwFVoF+uAJ+>|Pwn6Q$63`y8>+52jLqbGA17$%=y*lSyvjFW3ZRHk! zR*X>tGjHBgn|^v>fClJn$(Hu^#TgeDv88TH73yR$G&J<^^gQ|Pc2%bfQ+<8? zo&ELkEhRHq+1b;7w#6(ASWx--nUZSNe$crD`S$W;IetLR3 z`iuuZ!;0wbdQHvEpu;MU968bMLk zkBx|LVL{b2Vru!s@WKrwVuM4O@M5b@+PFjf)rc z6G2;Q?Ee4x>~nw8{@UMSzOzgO4MX37&g59KWXboqx~K2o&tEDrLw0FUrlGQ}kt<3`*r&JfODXQrrqNDNvEc0PVi8gs}*W*!fZuWg;G9qyzwG3C~} zt69BaUo_(OR80GxH`fn551(>!5|Y0iwWcoepKmvlOLX13br}~IwK~3)wX3l>&92+& z!W17L59<8#N}K5f#6?e=HLL62-{1ScUz)Hz|Nf&dFE9W2^?Lo;DLUzwm-(I!ahTw> z^uxDrVupd|%HH4W?Ugov7WIMQp6FlDynxSqyT5yLSA}SGOTA>=^IKqV;$gO!{dKn2 z6@P!R=W1m#PCs{Kp>un{rj(O9i|u4&WI!9b7Js?Az_Hoq{X{=MzaOtwukX3EZJ~)2 z@2>Lqed_-6o<#VBuD%M|ck4ITD)m{(Gt-(M1#6j+TlApi#L|PkK3_hhlJ_&wUL`rI_s`D_&L8d&e$4tW|k>;JD;qP`xcq2Yoo>I z*Zo>qx5fSJEYspWX|X=v-`#a~aBx`1s=70VuhWI8)rnDFUS4DBsqb-@5;|S^AKa}2 zg&n95{NhE%#>Wx8Wp8gOs;RN%-rjchOH|dTAM4s(k6*sDbuE)l`J3fL>$-0?d8dOerBfeFZ(u8F4j|1G@FIh z{XlCZBHOrw!!9rLbuKD0+Lm{hD?k6ek9^N2?IuuR`R1nZ$&)9a_02ljBWb)KY_;N4 zuZx>fy#qI=xC^lG$k|A&T)FbX%aUJjC0Y3xGy)f~fDYSvdwV-*Cm(2enp>aD&wJO` z2Cdw3ViEg?ycKnm)qDj61QI^W2lcM>nP~(rdvzig*?(hkJTTKZ{llxPtC_aPuZb}H z`#X1I(out|FE5z3M+$(JMNCrlzE{0-j*C*GixTMab1|KWgk>dZ58t#EPOV&^YVPgr?S_emSnlj7WCq<9`h0%)x#-Tp$$9YU z>FFPzoD|NvwT08R>dT4i9->pdT95b3M?blAI%uUxVqzlbTIDs7n~(G*hpGs1f|ksI z)>q%XD;u;@M5>o<|Nnox18?Qu*pR9g$JN(YeGUql$4bVzq||6h6O}K#ECFrCQ=ebc1lpEz{kr*SmVIrY<5i$7hr>zsdq8^%8yg!zQ&X{L zS0=Cd9^UKLe0sXRvZ5km=;|=gSUcC9w459r(3ZFO`1oc$RTH+YQN7&adJq2n{Vl-4 zXf%_jNx@Tz6I7khir^o49b)pmb>zuynKByCIH-CYMxe_6JC z`Qz#Fb&fwjJ-xUl(pXvbjC8fle4&XuBEBdnd8i1PR;{=eRa( zfBCv8f2#ic0G)yX+TOM$|NgxdxzgPV96z2+_Mb3eLIdbvihzYqN$y76$@};J`}_Sq zXq{J0O%2zbYm43cC(N4Fb!w`%wBpRfvUhh@{@>r;&R$bf16rT5CF7#gm6$f8uRl#R zH8~l$?(Fkhet7-BEMU#Gi|eERY-_@a8s8PM{_ zs&8*HzcjHkOwo&#a_th?c%#y`q5Sy8U8S!Bmix*2%(uI{F091x+wa$JZ*PD2>=~Q8 z`*EhNpI=?owy?CE`NVXlI6J@Gk#lpcK`9+{5#G9W>lQsRFbkgVfBEud?mh1t%NHx1 z-5b?yJI}wZ6yIdV>xpn4%r-_r~I9S|=-i zae&s;U!mnXQ)kbX2CY|7^`7?N$H&J>$2UgF$;r9>yZ~Bua1nHM(7o4t_wLPI_8^h( z*p2TDJ8X0XZ}N)Sc64Y=?&#pSv$L2zzV_?X8-W_~AzD+9irY4nPc|xhdrOp=ozLWy zmWqpui_6Z$i_IM!MkgbdF3q~SD#?9e&4wqb+5dBoc8P+{Hf?HZI@0Il;^Jb~=gP07 zbZK|tW43d1ESncPw|B|5emXg;OYZ6E>Bqm{ukV+y`@zW0FDGKnCnzX*(*WcQkNmf{ zwyp?SDRgUFu6CKoDfOvdt^5D~lfJe|BYM7F?Stpf+Z!4fY-)dnys>a`aYCFySl~Tf@5lcCzwJSDUz(blNyinHl$4|oFJc!IeE9VA zbc>oF27mtkJ=*8QR#a5fw0iaGtD?3I<=Si~pBD8m^0Qo2xY|ES5+xer`ipB0K z5wzwKZSY#^l$5mShT*5R6(1jgc7bfmz1=2jUDhGn-qF#K!_h70;?fekyKG_U>uVa3 zo0i-NT)|)zR=87fbF|NibxDZU+Oj3=3?iCAEQyJU zH@4@?o8{h8DU(rBQrg6*QzbC*B4<-W@Nz%UVuuxRd#z+-WdoP_NSfr|lbLOv-=@I9 z`tI?msoF1YY*dbkiFxqmO;6d|TMw_S40iL#uLm9ISM~MP!kC>!N$w|~yu7>|w6GV{ zznY}#y(nOz(~7XQQlL}qR)?>bT00*!{(g0JczcYVdDQHrK&`2u39WnkYPHKmnoaZX z$;8+FRCVi>O1-)`?99O%>tl;$i>K5tvv@x9ag47^3MVKq7I*jdx_*9k7PO^ku5~%+ z)DqAJo)9h3UteFha|)}8toU2}{2Zvt1XTfFUtb3;n+NTAE`5E?qU6PdiE^!fK~0BS zTeH>6dUQa$00I}gEzG{Y?#Ju(`zK7A)Ffa3M=*R{jAJt!?}qgA^O&~E%ggtJ4oUd* zM?KFU;yekfG$0+s@moF_Em`$XcYJ8QP$Vj*Sr7x z^fYi+N#>fEokF3jLJm$)bmqysEq8Z!Ilp<{oreDY{u_atOe;Pl^hg@BJv}wm`Qf2f zP{jipb6$NFbOjM>R`sndnHjgXXf9g3_~Dy3IZKW_3R)S$kZ^VS4hDyZhgw1NsGu#% z3l}a-I=<0jSjAv(=3R`=L zEnK)TVsBOHw6~zX%0j1B0eSiO1%V8&udQ_s2$gU%zr(=IMOR^OehN!i5DRg~V(-PUOt9t!|rbp1-K>?=OwGJv$t8 zLB3*m@bu}_r`vjRCr+H$*1p9UbZEw{Et*{-no4C;Y`lGaL1(oD>@LgoP!Vdr{qs3H zN3`NZj|b15rF~VlH3FT<0XiSZqCla|kUlC@(*M zsekrtX$A#7y>l}Br`15mK(3A2DrD`p@6C;k%nSyluR<8w_V(q>+^Qe_+rO``4^(rX zn`_+9>}Q&Ti&*i;&E&-$6L=CRW5!0swdiVa$xvMTN*FY7F(Mr(mw#%1; z)-kP!+^hyV>MC+`TI#OzKR!NQc=_dql#`QuZu`%*YK7cOtL$H!8k2qQ;q^+;IjbB^ z6W(sf^qw+l5~wS=CGV~jsOwy`dt;pYwR6|H%x4%rr`JuLRAj zfYv0;n>P=%`8dTWa@y}F&r4HIPw`rMR@C-Mk)>JAjRx)Tb)aT#((#R2ZF1t3md{Rn z`BZ&Q`^4`DzrjJ&<;t&QwEEm!Yi5UOH=iBvm2SVjKK^mLd>zAwcT!IuAMZ~-F+p+W zyYS6vz6=gQK|#~DO`bfNk>Tpl4#fhG^}n`59!db1w{ZlA@xb;ta!NHqZvTjgKRy{*e>^Y5DBL79Pvzl8Kv z_Vwk=3|h&;FkAX9BZIJ-kHg_MUc-a~3@ff?f%>sH9o3Wf=f_7-{k=aY|MvcRdxitI zZ(Cn3+ZhAe%<$miVt3G54^X{(aj|>)&%a@7qYhraEDT!W9u+mKZg<$~quX+CF9^}P zxG~vX*-q;AmoG1a@9eLam#_KIcq6b#R0uqs{O0cN@c-@=d7pk+ZAul@4r57}?aIG0 zq-(2hwSmJCr@`6 ze3_wq+3?Gp>DRwII)l?8sB3Su>*eL;$!~9MwW$4Na%)RwbJEeSg?@9bI(mAJ+}T+S znpPLl3ehnQ za&>lgCLK4J396o5yTv375*(K0?|<8>xc=@Q8S!r$mTWdPdNODF^uM_;cFyWJam%Bn z=j*zT6M3F0LZJ18|Ni|;a^L8&?Z=-US!=Q7{_~IREPmc|EzQM+rRv)o&Us;*($76# z?mb;kBW#U?S^mA8Py3D(eSa5Q^W$MV=;-ceXJ@OI&5^nJ=y$u}&0C+7v-^+V`0+#mcnZEc{Q&kU>5RglIp)5aH$E-C49HWdw9wwV0Av@E4ML`&2}idW92 zLZM7#^6G$vO#A+Riv}&G3JeT{G;_H@&D@D|Jv}@a82Y|!NCY*d-#ii$X8@g$V)y%v zF{o*-AHNUM*pCzdHTK{5I5{z;7)jo_bLU8(liH(a&)9axYj*gTS68_~$74)Z_dn9-?Be1g z1{!lwvi|(zWAct&ySgA6ZeI21=du6ufq6-gCKEIBQE=Y|rt<#(f74z0trPl{Z5a+6 zJ<6&bzV65}-`Swuo*N&7n$IV|F=eb%b%T9rQ08=HTZRR}%l#y5Dh$BGzz+|%LxN8b z66QfcK>@o;GB+kq=+vC*wPeYX2Uk~zC%FrPx_p5v0u*_q&3wS!1QjK40G|2${Cwb= z2t$yDl_6RT8%}%2Ff54Jm;_ohSoiN|dd}Tlq2M&50&3WFyg9QveEowrZ*#vAoI7!p&%tF{B50^#V=^e6 zAGx=ul9@pxWW|J&zg}Ei-0penYSz{X9x4;O&c?6z_xEr2QEQIL`;i&kW2qXVCHm;` z)6cp@We#r2_7nGuYccvzg|;QQzLZMl$*cQKR^08rQ^h=f+g&N z2hX492aS*%-w;t(R~Mi)HR-qkSFam0Lx6^eTYmJ)kVEIspMUW-4YdDbqO!ZswYt1M zdHcT8)Ahwy@RpaCPqwqa8K^Z?=H`e0mR43thue593LmkAt&7RrR`>tszg3rC7QDQq z3L2!kxj8-U<^L})FYhRN+7K1-FK7+Yx>(TG z+r#YgH40^OY(OnUt?+d{7Zu?({Xno|p zJ(bDVCh|_pxwRz|w7(g2)^yg@RWsM#fAS;+v`|n@jSbW}`2Ozh*-QDL)g;UP87H7rS>~`oDaBT^DHA<&h4-9aUdfX-M)c z3|cv1-n>5dez{KBqe-AuLtC@19y-v-yzpw)*-OtqK0f~N>C;xwLYFr;H>YV=thky5 z8gBqKHN5LxTwJDgfW`}~Cw){rKdVb_<;szkZqtENy⩔1_{pqX1{!_TPx$v??N&O^f$1rFW(qgw>rRfi{yjGP8rupA38!(%IYV+R7#R;LV$yZ~HnsI&@e;0|R9$k2g*0*=ehD_taGF ziL+*PZA?DiCF^?r_;Gg7@s%qA7jx}d)NQ#UL`%$elj8K#pmWecOO*fp`RSJZ9W=7I z*sb@$ix(Z;;`)bX(X<%=FM$jG}ZeI*)h#x;0c5_oIc=6+{t=y}_)(Tns^;uj}E)QBM z0?Ic@NlIzw=gob8e}BnKp*?%{6g)o03p(nCk&#i&V`e?*V#Q{5eo)y63#-DC5*CIf z%a?c0Q7O;9zRuOltIM_T(~sq#ZDXgVXo9X=Sn56fNZ(}Lsa~z^{PI#ZT?get*2PGE zet!P=pP!!#-`&}1^Z(wlUg?W_DvLo9;`(td+qZA$41VT+?3C`FJ*^!bZ)CwSza-=0 zB8GcwyOLJk+gICtv|Ajs$ZAEv!loOA_q0`1SahSextyP83p$)=T$BRe~Lw{F#nt68AkbEiS3>-#pRpMUiEyuG+$>b(M?U?rtR z<)FCRWDFkcU3C1{*Vhy0%*iobZ1Znr>FaBtBLhH-1UILj?~--*SDJX>?%lbr{Wel2 z83MaXU$=p3oTsO!GcY&`fY$GViY3soc}Kg&16POXPMrL#@AOq6LBYL{#*=2)8i_bi zPU+FPl4bhr>}=3jXULj}z&93boP2z4v(0iZtPa-)okRV`q6*fO-2m#dI%Q>Pf%*Z{ z_2WUOA3Q$ZfBenO%^OQ!hy6`Wn&u_Ia%Wd*x3VqhKIld4f)np*#_lqav#--B>(MdG zz16a0iHgr0i@-M;Y^P`3cV2uEbjF4Ni{l#)hI^v67MGOY$Hc~hj`{*+z|vP&4sJ|7 z4x0b;nPuYnCZlrFlqoIY>*ETSunP(bf`iL?srU3__5XjzZ%j^EbT!Mc{$CBK-rK5`rsPi-NZeeNZ)*XwEKRY{HP+mU&Dkv6GPfr6)Rkd&m7d$&7x$&{X%8;TZ z?sA!1qgYs37e;T-dvSNSxz`kp##V0eE?MpPq~zp>j~*ozo_--DDA?HuDq*Z2zj~Dw zIDI>4)^x75IOw>-tyx!(^d*~2R`+k~@8<{24^EjP61Z7os@I;XucsD0licXiFK^$r ze!V_u5ypiJ0iY|GvahcLorMhATDS4>(@0nu`RhM8OpK?MRh|Ydl6`$mmxYzJQ}*bJ zB|)0oa&9tpx+wknBL`|RTij9>pRO0%1i2iz;LndjP_vog!p`FKFYoWmA8zMAzSzCr z#c!th#*G{IY-#Q2c=10OJU|-}bkTYF<-~h?Dqmb)-tSxI0cx&+daKRs{Ghp-MNdye z@V0-hO38nGtQWNAI_v7HR_*Y0;7;ya&;%Qos8)+%^0AI72KAu6NXLtMh_lzNTLzuT(;Nc;S&{ZPtRewNdT=msCD4 zFD+&4i2nl8nv|4eQ28k(uy{tZi_*bgUtcRuJ_*|U5cuqSz{(JrmmmNC{rCI*hfklJ zqN1cgTL#bD{nqi{zrEsP(hkTK$7+5VJ9g}_@K6y7SsN7!ZmEkwlGtR!OU`FJC0QL0 zyt%mloSK})^n z)$jM1sKmj|4W8cWl{TMcu<~J2a`M6ut-u`xi5o#f^^q(P51pK(3K9#nXLx^eGkg7? zkL|wapH7_H#w!iFWo(93sg~ayi^OaDrg|-n6}JVQ8YE|11-cWv_}Ll9iVBM^5zR^O z%VwEow}IN1UtU}k`&m;2E(*^;5`<7Ei>P*(i<47Rh9oF%YX1Fv{^P@8e%I3q(+VFS zTNu3D50nNY^$mkohJa2lG?D7P`D=^F#*G_6n*%|uW#@Lj#7j#&S+nxr-PsAc;?BXL zVTHF~x;nJZUsMko;Xc6^x+;XT{QW)ArSIeGezIP?c(KfIx_g<55NF+=kM0^GT%azT z)!cJBe^-TQWo(VQv%CDf&fmzcz180rB_3|mh}@*IE^cp^S?(>79lq-7>T9C6^92S5 zMr=;&6%3N{ht>YS*ufze@buJFSM91Z^K7MKca?w!>Rn#m7fLzv9yBs>X1@J>om#D_ zUJM&fcpLdRF21Osp}_%Ktpq9@PMq+Vq91=R z?N-&#_c8R)bR)Kc9TGapBbNB4iiL&|m`JhW~L2DXPQkIum9+=yU!@Ko2u#pVA2 zP$4h7DrBY5q{)*%etR3e`P=Wa=J!E;&kx_enPu;vmUU)^A!yYaXc~o`Uv9=0{h2;( zT%uYEhK3iH{O!=SvXY96i}QdS4hO39Cx3nV;zb9qwAq70t=vD}?SAib%|Gtwv16bE z2JKgYrlG*8!+WY$Xj9l~)7R_|oZI<8GdeTOa%bKAwWUO;lLa&^KT*l`!g7E4jIB|V zzby}1nX~H!==KZHwIuR29~jTgx6hx}S@inq>UPcGWeK02oCM9E_}q)nd-Uj0z}hI& z6DdZ4#R7tmf%=X&pg3bZux9!WP^|6Sw=d(yhJ`nOZDG^X)4Q>+*4l5rU2p!rpU0Ne z-h8!bYi4Gqgi#6ysAaP;`S>GH%eGTU^~|;Z&=U+;SXgH4DVQqlm*nN*GG%Ja8wMAb zl)826)@ej-(Eu&)=MvQdtv~$n`Mf>o=(xJZ5yzdmsMt^76%<#pzozE*{FLeRp#+yK9$-oxLYx()~`W0Jw3gOUtcmCe`!T;(~+~SVwvf~wl=IgYHQZRb91dhn~S5inH%;q`x-G)IWFS)vSq)F#f3#a16u45oZu@<;raCPQa9A7mI(+iV zfQ3x|{(SbIq7!*3qgGf@FjDy3OGlR!c2GMtXsH)y4ei_8+bz#oe>li4FS0^@YgF&? zetG7Gef>9XL@ZglH1WoU#2Y&b7rW}b&0INW?p#4Z!A8*BXZ-#;P$^&d^;IZG6GN+0 z}=gd4;c4oTd}aRK74q%eTI3y+?J@d`!qm%;BD&v-N~rEx;k7x_#ksd zc!{UK|8@D~pp_zbcaTl&%UtLM?qEf z+Gz8?smcGBTz*;b=7!;+?r#h^T4a=9OH~#YQ z@Hp|&Y_1=>qX4MC*dt-cv_1d6UO@ad4NXl>-KZ@G{{8)}$l1{l0VXAmiHT?RptGi+2@0<(j4!3mTy6b!&d{BBMvzobUFwTu^t$Yr0-9 zD3@ejUY6v36*R;B_*k!D>8p?xS6}HU8#I(F=l982CT+3vo~qTlDfRTTirq1K$9EJy z4p%X}BT$k|z@#x^Si*T(OcJKiUI z`s*dR2Y3HS{{H?R)G$t*!I>pZ?WB$C|y2TtCs2d@y}MDeRQ-t`O1pGU)yw2g)X!6%PANb7+n9I z(i5;Ue7&5Qeq7E+`BzViES;R3Ksza?=tLS_=9vBe-}n7H3Lm!x{+j5avLbr>x_{}A zO2fj!0=!&UDH`0|n+w`O?=?k(vD1YKnoaNSUOxZ4^TGg!l_8**EGREGcZ=CQ(r?EKGm@7Swp4Q**5)~CS?IOQqYtyRG)k&|etON~oFZG`O z;c9riSh1PS#P@ZS0VBI{Co=w3kS8ypkviv+}ynU;w?2L zrA@5hftr<|RPyf5&R_hqk45ZctuQ~bujuJ1&@`Y{$clgmbH3>%UvUR@Jw&ya$*-ziuG{x>Nd#Rs&vLYvRb=c7@nU_K3CurhS zQBiS4*xFe$0(rxh`AEuGm2fC3Do*fPdLhGvO>|9B(E2#r6<4z|wnphhZPB=XHMygs zwZGk5QjSlWGzoMd)#h)JTQUN7?A!@DS+1k2ODiB+-G3en!xa5^IZ&H^WAgDH zK|}8P`ufRRvh@T71=;@2^HDq8#LB%P?W~lGyZdWy#hE42Zf`4bb7+lMVa&ZY!5EK-YnKh67 zTHUQvnU+z%=D)qYJvyXtwR^uDo3C89|DQj9HY6YC+n6jMD42TCaDt1An4190=KsHc zKA+Eh=h!UM><>>)3QtbGv#)mdjorsGw&mZCd+_}6zrVk4>@HvLxc~R}`}H8+qCMAG z9385vtj^7|<(}&|{i&Jv)926Aw;W%8`DMZTd$x_8XpM|Tx3kV86 z?U=q@Kv2-C{9VigGtgLovdY3eTH)(tc9pzLy70csR&YggGqaRwmP!_zp{I%vqzmOc z+w5#cE@(xdRNof`B_*XzNk8XaZ|&$fF%LAM2U>#Y;$qebD!P&2G7jN*zQ!3*@bo#l)-`tABUL64X^XckUeMY@v5|b~5wx z^Mjh;pr!to7BAQXx)pM|UMy%F!=~oPg{)iK(wAA)`PAM4wFIR>9?rS(;9#?1+8K!{ z+Tnbl$+>PZT>&{czO`Z9oxnW2OXXk6BDzc?r#++@q-5QPEFMgTYyK&p| zVnN~b@#9AU7Dk~?mHWB!_H{C#jbEl&B3zq?DSesc8PaJ&td0ZRP#C@3EuAE{vJ^nq9k4qf46%?EZUU_oj9AZV(fz9dX6()KZ{he)FZN}iR z_+rYfch8@*Gk{up3C@;2@Ib^G_u(^Tz$&-78= zf4qO;ZykMbn63pkZ;xe~NPT&6kvT6f@5Y8i=XLTm$B-8q<;68(S!e`0u80x5(CC`8 zg7WFtb!wLlp8PoZ-tP4ILVp*Rl+&O*yQ%PS8?SR!m6ei`l2NU4%+{>XIkweimusuP zz2RIM)cN%EbY)vxSFLjXzGq)v#>=2!Wo6}EFL}GBrl#j_zzL5}yXK!X z;jygywEO(0VsLO6fr29^!o!0jDJf|~`TIBvE319q{}t_&Nj}zdaIt&;hKi3#Ik&g* zE_UxfSF|7Ra-YR^Vn*}!yh}IYb?%%0=gsCna-g`|25w$Si;9W0%`{GbbZ2LAL0Q?k zO5DD>??1kw?VAx0u_hSsV_DyhMxGv;&@<3;p3t` z@sE%7f{vE9ssATqnsvotsn=9c@AS{V-|t^sSlGO9<4K0!-`-xXU*YTL*A}+=>VFw2 zsabE|KPk1BzGSv{zT$EJxNnlvrPY*_PWdRMtm$=gaaq*W(E+*~^WgTUZ*HFYtUS>J zbROf6-@m(Mk19nz`aF4~%9}n}YZt$ynLqvr2u@Ue?7 zqeoS0fBgQftf$8Zx@^xy$s zYOg_k+7l7rLHrYJXXaXqgGN>6T9*fGO7Wch?d#9y^B=#vySt;W?^y;YVm4)fXIN66 z1_cLiEO{B!BWHW-3CK{pS}V|Uf%y8rSD(~^>P%4<_bSlX+fG()u?Mf$?>{!zy8OYb zS6S2Sc9*^Fdh#SCW=BEeVvq|@B!OpxCW==7{bdUBR^Vc{nQI>~?wNi2@uj8S78M^B z-29~i8iv;gSMr;Zyr=0L{POa0;qPy`Q#6B*t*I@4b%j$?Q`4gOSx@9|RghBfh<(SJ zkfzK&L|-Y+_A&Z*OHKb?@Fi(BRCi?fLoN{&jYAblhtPMT3&|)|{J0ph1Rj zZ*ObF@7tpxSyNm4@zYc9IaZ}!Q@|>VK(lXx6GcHc&rQ_|eenK$zpD4Nj%kn2%rwrp zwM7$jM~7MNt&VA+aMiE|w>Badg0{K-`SEc_>1(k&ckZ~Hy|k~kI>SWD#nrWQ7D(ZX z`=A0$X_HabRw+;m;rcr84BE!WpsPYMuC0;mleKP}rW@S_Uc&Fu4{`10tgBiqY;2%v zqoBN8+?tPJf$way38$Z0)cn{0UY^zQ1!AreWHrM9&~_wI?XV76cYQ4_uH4((j(&W6 z9JFp5ywXOH5j2qAabi_VTU*kR4nfdx8F;RCvghiswE-&v6lE+59KaJ5E({QZrJ~k~ zZOyt0YTK@!mRMOITf{CXII)$RpWprezrUaXTq)D6 z4q0`7DYG1or9qvsyURLdL5t1aNPwG;Vm`|+FU-5U3v^{Ccz44bo7=m~_3eJYF^<_+ z1KJ%c3URU~*vUE(pf!Ns-}SBzU%#mA?X9HaCygBi9=v_a%g@j6;^NW)j_5Zc5VO4m zSgx!N=LfCs-Br5!M&YO2>+51c$H{>vEUZdjK~)PtRG+%l&2}wr3&_*2A)aR4H1)Le zny;V0J1%%3A*>KRljBO1dJ-tJ+y?at1t+p*-PoXb=k8t52 z6Hk-uYd&u*+?HR>0!^oH$-K=3N|{q5-4+2)|}NHN{04(W48M7UVh{N{8VIN$)9OT4-& z6m;H`i4^an$B&Qpxx2Wyn6-iD@6YHcDl#@HIIIl=&G+8kmTOV|PKM#Zv0iDV<;H8n z*T;b_;t9|YiP(_9IM1e%3AA(#G|*mgRaa0@P*ND2pwh}dKl25zi_O|9)uiy?NT=|J zFJD}a_sN3BUj>Dw?w_8n51O?Ht@pmP#Ixe-tEu~LOazS~ReX6d(Sx(IqvM2Fp;EAt zl9I7@{5~5wn~DjK-xlqZiCQamzy80iTc1qkv6N+k;^OUYy;7hJs25(A?7a8=&CSgj zS5{1%ISCvzkcNTrr3{nzvS$@InC$-jNam3=I^wg^XLZ%rS2L{3-&O0!PV`Xm@bEAQ z)&j)}J2t|)DQuy zo)`%3-KDrmYHv?*SDXBjTh7nV?-_Th8t6FYO{v^Vf-<)q<#!YSr!b|(;7;U;9w8wi zg~=y3+Wu(Hj+wdL>caq#oEyC|Iu`Vp}D>WNV4 zoN)T-%xx!Aj6idvpou6Eu2zqeXO@HRtJ;6RmdxZX#Xa8{Cw0)7@y@je?9ZcQZ7AVGQ@o@EI zeBkHhow$=l^+rHKbo31o(J5C%PMz1y zXZX8|)&1+m?;Koz{QdXp`{^I|eVwy8@ng{R`dv4*85|6+z0Z$i*l_C8&l(?JUso5G z>gwt{d#lT1#pSsD=2!^!%iG88ncu0tgMne`q?6A-|J-_yg+b(%f4^1gO3*2Oxw*b6 zc|ZT}R{6}%(6#xWo&wu~N2O(DZnd?4qw*JLJbwJx(8x$A{oEYSoZfBQwjFsEHzDO; za&q#=UteEmWM+D%{9Cft?H_}~!zpqMA#;BH`qlNv``4K>J|*Sl>bs6*)x7Yt`ag5# z%oQtFdglC7(X?e)uxG~v35GDwrF9eHbBmZ5yj)*0GB7YKnRJPnfq}t8btyXo1H%L_ zFMb9F28F3pu4T)Xop@R_@od`T7Z(>B+StTgGS!N`B&k}O$Jp>`*%yX{yVd{y)y}c0G+Gz8 zR|<60(#t!_%E}inToAaKV|H&}t+c#dO-JnRGSG(K$1g80SB+gAq&hQj(sMBeje0MB zhHHC4OVXU3oqPKF+{|X{-rV!~GkC?>iKj&$9~^AHu`M?`=k6}kcXxIQ?=FAe_wC!a z8FT0A-mIFc@v>)<)piDl)PO364e!2w`*v)qcDPsF%flBg1njB&tTt=*?BvVKe7he@ zo8@#|UhaSVc)xsdLBWP4*dcSSEx@CyN1_q~tJo;_PxDJdsMM@gyd z&5eyY``+H(?(TBr$B!Rcdz(LnWVmUclxJ{w$;iM83dZx#AOHCHI50F+^!>fP-S6JL z>*!dqZe3rEo&49YUq8OMxL86$qN8Jf*QAb)v$M_hXXl@urYk7;@$K#Hp;hcpS6=7| zn`F<>aEY0rtKjFSr!(fy@1Jd+uO}%lC)aoKA1A+Z@f1_mP&z{}AZ{NNZYuENJTej@#ovNFWo^Gwr_!&TvCi>#V zi;h{dX1#d#t`Brrl3m=__p4T|TC{z;`M$cpQt9XC^{!mGa>l%Qeca-DM~)nExwE@m z-z@LW4z}I;^4e!tO!&jdFh!1GO*Lr!=E)SL$tRCId6IJG>{;Eq+W-Il+W+%0o88;j z*LULi=Zjabeyx9QSMecXPt8xGw6wIO^Yd&$(*!eS%;*4JM6)sZ_@pXt(NtAQ(OLh! z&gn8tkem7E(B}sX3z$-jX1;j;zW>^_Yg_MmMS5Au|NL+Klfj|#<9rITGXuHh094}& zi`?AYi6>L`{QEGe{?})A2CneE*Q6O5lD>TZzW%G&sW@k6=cMA(|L?2Lv}XvI<6}4f z{Q9qIppwSx>{DGV#ZZW>V9znjy$lQt0-i38A^#&^`+`(YxmC}2`Jw27=-|tXL3~eF KKbLh*2~7Zxf7cHH literal 0 HcmV?d00001 diff --git a/haskell/CHANGELOG.md b/haskell/CHANGELOG.md new file mode 100644 index 0000000..801383c --- /dev/null +++ b/haskell/CHANGELOG.md @@ -0,0 +1,5 @@ +# Revision history for risk + +## 0.1.0.0 -- YYYY-mm-dd + +* First version. Released on an unsuspecting world. diff --git a/haskell/app/Main.hs b/haskell/app/Main.hs new file mode 100644 index 0000000..fa26f4f --- /dev/null +++ b/haskell/app/Main.hs @@ -0,0 +1,19 @@ +#!/usr/bin/env stack +-- stack runghc + +import Risk + +maximum' :: Ord a => [a] -> a +maximum' = foldr1 (\x y ->if x >= y then x else y) + +maximum'' :: Ord a => [a] -> a +maximum'' [x] = x +maximum'' (x:x':xs) = maximum' ((if x >= x' then x else x'):xs) + +a :: [Int] +a = [3,5,8,6] + +main :: IO () +main = print $ maximum'' a +-- main = print $ possibleOutcomes 3 3 +-- main = print $ Result(3, 5) + Result(1, 2) diff --git a/haskell/cabal.project.local b/haskell/cabal.project.local new file mode 100644 index 0000000..0432756 --- /dev/null +++ b/haskell/cabal.project.local @@ -0,0 +1,2 @@ +ignore-project: False +tests: True diff --git a/haskell/risk.cabal b/haskell/risk.cabal new file mode 100644 index 0000000..d1ab5e8 --- /dev/null +++ b/haskell/risk.cabal @@ -0,0 +1,46 @@ +cabal-version: 2.4 +name: risk +version: 0.1.0.0 + +-- A short (one-line) description of the package. +-- synopsis: + +-- A longer description of the package. +-- description: + +-- A URL where users can report bugs. +-- bug-reports: + +-- The license under which the package is released. +-- license: +author: spencer +maintainer: brower.spencer@gmail.com + +-- A copyright notice. +-- copyright: +-- category: +extra-source-files: CHANGELOG.md + +executable risk + main-is: Main.hs + + -- Modules included in this executable, other than Main. + other-modules: Dice, Risk + + -- LANGUAGE extensions used by modules in this package. + -- other-extensions: + build-depends: base ^>=4.14.1.0, containers, combinat + hs-source-dirs: app, src + default-language: Haskell2010 + +Test-Suite test + type: exitcode-stdio-1.0 + main-is: Spec.hs + hs-source-dirs: test + default-language: Haskell2010 + build-depends: + base >= 4 && < 5, + tasty >= 1.4.1, + tasty-hunit, + tasty-quickcheck, + tasty-smallcheck \ No newline at end of file diff --git a/haskell/src/Dice.hs b/haskell/src/Dice.hs new file mode 100644 index 0000000..f32de7b --- /dev/null +++ b/haskell/src/Dice.hs @@ -0,0 +1,21 @@ +module Dice (d, dice, total) where + +infixl 5 `d` +d :: Integer -> Integer -> [[Integer]] +n `d` s = dice n s + +-- Returns the entire possibility space of rolling d dice with sides sides. +dice :: Integer -> Integer -> [[Integer]] +dice d sides + | d == 1 = [ [d] | d<-[1..sides]] + | otherwise = combine (dice (d-1) sides) (dice 1 sides) + +-- Returns the total possible dice combinations +total :: Integer -> Integer -> Integer +total d sides + | d == 1 = sides + | otherwise = (total (d-1) sides) * sides + +-- Get the union of all combinations of set a with set b +combine :: [[Integer]] -> [[Integer]] -> [[Integer]] +combine a b = [ x ++ y | x<-a, y<-b ] \ No newline at end of file diff --git a/haskell/src/Risk.hs b/haskell/src/Risk.hs new file mode 100755 index 0000000..41a131f --- /dev/null +++ b/haskell/src/Risk.hs @@ -0,0 +1,128 @@ +-- | Functions for exploring the possibility space of the board game Risk. +module Risk (Result (Result), Possibility (Possibility), battle, fight, odds, possibleOutcomes) where + +import Data.List +import Data.Ord +import Data.Tree +import Dice + +-- | Represents A number of attackers and defenders respectively. +data Result = Result (Integer, Integer) deriving (Eq, Ord, Show) + +instance Num Result where + Result (x, y) + Result (x', y') = Result (x + x', y + y') + Result (x, y) - Result (x', y') = Result (x - x', y - y') + Result (x, y) * Result (x', y') = Result (x * x', y * y') + abs (Result (x, y)) = Result (abs x, abs y) + signum (Result (x, y)) = Result (signum x, signum y) + +-- | A Particular result, and the Probability of arriving at it. +-- The Probability should be a number between 0 and 1, inclusive. +data Possibility = Possibility (Result, Float) deriving (Ord, Show) + +instance Num Possibility where + Possibility (a, b) + Possibility (a', b') = Possibility (a, b + b') + Possibility (a, b) - Possibility (a', b') = Possibility (a, b - b') + abs pos = pos + signum pos = 1 + +instance Eq Possibility where + Possibility (a, b) == Possibility (a', b') = a == a' + +-- | Compares two dice and returns the casualties as a 'Result'. +-- The 'Result' returned is relative e.g. +-- @ +-- Result(0, 1) +-- @ +-- . You must add the 'Result' to Your starting numbers. +battle :: Integer -> Integer -> Result +battle att def + | att == 0 = Result (0, 0) + | def == 0 = Result (0, 0) + | att <= def = Result (-1, 0) + | att > def = Result (0, -1) + +-- | Returns the losses of a battle given the attacking and defending dice rolls. +-- Requires pre-sorted arguments +fight :: ((Integer, Integer, Integer), (Integer, Integer)) -> Result +fight ((attHigh, attMid, attLow), (defHigh, defLow)) = battle attHigh defHigh + battle attMid defLow + +-- | Returns a Tree of all the possible results of fighting, +-- including intermediate (non-terminal) results. +odds :: Integer -> Integer -> Tree Possibility +odds att def = unfoldTree buildNode $ Possibility (Result (att, def), 1.0) + where + buildNode :: Possibility -> (Possibility, [Possibility]) + buildNode node + | def == 0 || att == 0 = (node, []) + | def == 1 && att == 1 = (node, oneVoneLosses node) + | def == 1 && att == 2 = (node, twoVoneLosses node) + | def == 1 && att >= 3 = (node, threeVoneLosses node) + | def >= 2 && att == 1 = (node, oneVtwoLosses node) + | def >= 2 && att == 2 = (node, twoVtwoLosses node) + | def >= 2 && att >= 3 = (node, threeVtwoLosses node) + where + Possibility (Result (att, def), p) = node + +-- | Returrns a linked list of all the possible terminal outcomes of fighting. +-- Assumes attackers and defenders will always roll as many dice as possible, +-- And will contiune fighting until one side is dead. +possibleOutcomes :: Integer -> Integer -> [Possibility] +possibleOutcomes att def = outcomes + where + outcomes = [sumProbabilities p | p <- groupedResults] + sumProbabilities = foldr (+) (Possibility (Result (0, 0), 0)) + groupedResults = (group . reverse . sort . removeStems . flatten) results + removeStems = filter onlyLeaves + onlyLeaves (Possibility (Result (att, def), p)) = att == 0 || def == 0 + results = odds att def + +-- Converts a list of dice rolls into tuples that can be fed to fight. +toRolls :: [[Integer]] -> [((Integer, Integer, Integer), (Integer, Integer))] +toRolls dice = [toTuple . sortArgs . splitArgs $ x | x <- dice] + where + -- Split args int attackers and defenders + splitArgs = splitAt 3 + sortArgs (att, def) = (sortOn Down att, sortOn Down def) + toTuple (x, y) = ((x !! 0, x !! 1, x !! 2), (y !! 0, y !! 1)) + +groupRolls :: [((Integer, Integer, Integer), (Integer, Integer))] -> [[Result]] +groupRolls rolls = (group . reverse . sort) [fight roll | roll <- rolls] + +rollsByProbability :: [((Integer, Integer, Integer), (Integer, Integer))] -> Integer -> Possibility -> [Possibility] +rollsByProbability rolls tot (Possibility (units, p)) = [Possibility (units + head loss, p * (fromIntegral (length loss) / fromIntegral tot)) | loss <- groupRolls rolls] + +oneVoneLosses :: Possibility -> [Possibility] +oneVoneLosses = rollsByProbability rolls (total 2 6) + where + rolls = toRolls . fill $ 2 `d` 6 + fill rolls = [[roll !! 0, 0, 0, roll !! 1, 0] | roll <- rolls] + +twoVoneLosses :: Possibility -> [Possibility] +twoVoneLosses = rollsByProbability rolls (total 3 6) + where + rolls = toRolls . fill $ 3 `d` 6 + fill rolls = [[roll !! 0, roll !! 1, 0, roll !! 2, 0] | roll <- rolls] + +oneVtwoLosses :: Possibility -> [Possibility] +oneVtwoLosses = rollsByProbability rolls (total 3 6) + where + rolls = toRolls . fill $ 3 `d` 6 + fill rolls = [[roll !! 0, 0, 0, roll !! 1, roll !! 2] | roll <- rolls] + +twoVtwoLosses :: Possibility -> [Possibility] +twoVtwoLosses = rollsByProbability rolls (total 4 6) + where + rolls = toRolls . fill $ 4 `d` 6 + fill rolls = [[roll !! 0, roll !! 1, 0, roll !! 2, roll !! 3] | roll <- rolls] + +threeVtwoLosses :: Possibility -> [Possibility] +threeVtwoLosses = rollsByProbability rolls (total 5 6) + where + rolls = toRolls $ 5 `d` 6 + +threeVoneLosses :: Possibility -> [Possibility] +threeVoneLosses = rollsByProbability rolls (total 4 6) + where + rolls = toRolls . fill $ 4 `d` 6 + fill rolls = [[roll !! 0, roll !! 1, roll !! 2, roll !! 3, 0] | roll <- rolls] diff --git a/haskell/test/Spec.hs b/haskell/test/Spec.hs new file mode 100644 index 0000000..48c285d --- /dev/null +++ b/haskell/test/Spec.hs @@ -0,0 +1,29 @@ +import Test.Tasty +import Test.Tasty.HUnit +import Test.Tasty.QuickCheck +import qualified Test.Tasty.SmallCheck as SC + +arith :: Integer -> Integer -> Property +arith x y = (x > 0) && (y > 0) ==> (x+y)^2 > x^2 + y^2 + +negation :: Integer -> Bool +negation x = abs (x^2) >= x + +suite :: TestTree +suite = testGroup "Test Suite" [ + testGroup "Units" + [ testCase "Equality" $ True @=? True + , testCase "Assertion" $ assert $ (length [1,2,3]) == 3 + ], + + testGroup "QuickCheck tests" + [ testProperty "Quickcheck test" arith + ], + + testGroup "SmallCheck tests" + [ SC.testProperty "Negation" negation + ] + ] + +main :: IO () +main = defaultMain suite \ No newline at end of file