eNrFWFtT2kAYffdXZPJOLigFOwGnpdoyoyNFmfaNWZIPWLrsxr0g9Nd3E6IEJxl1de1j8i3nu589ITrbrIizBi4wo1039ALXARqzBNN51x3fXjQ67lnvKFqiNSof63jB5CRouk5MkBBdN7N7U0BUeL+vLr+BRgDu9o6ciE2XEMuDc0pi4v1AYnGF0uyME60ZTpwVyAVLum6qZP7WiYTkOo7ePeN/RIpiiPziTdkqYBKeHofHZWPkZ4gvgFYC+CWi80rkGTfCjBXnQGUfSZgzvq2ETlA8aTWD46aRByxGIJjiMQyRXAw5W+MEkuocEBFg5GR2n9wAXxOQmZNKcF9gaQaOlmgzgrtBddBftLUvN7IRNMJ22Gq3w5MwPGmaFYuXSlU9QDoJP+UsmbRaYftTnpQP+inotDq7p7xdOpTAXyXpohGz1UpRHCOp18Gwg0PGJSKWeodF/3AILfnhcPfsjCRYpARtvaVITUuFONJm4Jov7CWSZXDLNYMRXbMn+FQR4r8y6nFBLZYizpirzxSVNQxzMTItRJ9RCZv6jpqRotwUs4hBvB/sX0arb4WhmhIcmxKfpiYFQo5Hg3re+3jK+IoEjLk9zviFacLuxftzUbn3lqJPczqtv2uD9umpGXCJfA7hX6JsauFL9TkshTYgztH2AJdoHvFu8kOuQ4DO5UKrsAekwofuHmy6bvD4ep/D46Q+cVUqQ/6Qey7i3lsif5eqCaMO6Iy9lUv1QlZDPazjB29iLhpZjAjUyMaJIfnqFXyQutaW3B6B7AyVoN/Pb01vo58K+HY3+pXQOOlWj/fLryYb952e2drIX78BO3az+EWheDV3LqRMxWc/3xxPEw/jiTfj/+n+KwkTe988VtTPdHdzv6bEpvvynHR5qxwvfl/I/kofkitjdnqkVmsEODh/f07da3FrYQ8PKMCem1w351tqS6mpaSXiG1lcN5ZecL2817MZrvmrqHYw9won8jPB1Tv6B7HbOqM=
dEDqotelatexvELi