{ "cells": [ { "attachments": {}, "cell_type": "markdown", "metadata": {}, "source": [ "# Quantum Enhanced Auxiliary Field Quantum Monte Carlo\n", "\n", "This work was done in collaboration with the Next Generation Computing team at [BASF](https://www.basf.com/global/en.html).\n", "\n", "In this tutorial we implement a quantum-classical hybrid workflow for computing the ground state energies of a strongly interacting molecular system. The algorithm consists of two parts:\n", "\n", "\n", "1. A variational quantum eigensolver that uses the quantum-number-preserving ansatz proposed by [Anselmetti et al. (2021)](https://doi.org/10.1088/1367-2630/ac2cb3) to generate a quantum trial wave function $|\\Psi_T\\rangle$ using CUDA Quantum.\n", "\n", "2. An Auxiliary-Field Quantum Monte Carlo simulation that realizes a classical imaginary time evolution and collects the ground state energy estimates.\n" ] }, { "cell_type": "code", "execution_count": 12, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "\u001b[33mWARNING: Running pip as the 'root' user can result in broken permissions and conflicting behaviour with the system package manager. It is recommended to use a virtual environment instead: https://pip.pypa.io/warnings/venv\u001b[0m\u001b[33m\n", "\u001b[0m" ] } ], "source": [ "# Package installs\n", "!pip install pyscf==2.6.2 openfermion==1.6.1 ipie==0.7.1 numba==0.60.0 -q" ] }, { "cell_type": "code", "execution_count": 13, "metadata": {}, "outputs": [], "source": [ "# Relevant imports\n", "\n", "import cudaq\n", "\n", "import numpy as np\n", "import matplotlib.pyplot as plt\n", "\n", "from pyscf import gto, scf, ao2mo, mcscf\n", "\n", "from afqmc_src.vqe_cudaq_qnp import VQE, get_cudaq_hamiltonian\n", "from afqmc_src.utils_ipie import get_coeff_wf, gen_ipie_input_from_pyscf_chk\n", "\n", "from ipie.hamiltonians.generic import Generic as HamGeneric\n", "from ipie.qmc.afqmc import AFQMC\n", "from ipie.systems.generic import Generic\n", "from ipie.trial_wavefunction.particle_hole import ParticleHole\n", "from ipie.analysis.extraction import extract_observable\n", "\n", "from ipie.config import config\n", "\n", "cudaq.set_target(\"nvidia\")\n", "\n", "# Ipie has recently added GPU support however this remains a bit tricky to use as it requires manual installation of several packages.\n", "# Once this is streamlined, we can set the GPU option to True in the tutorial.\n", "config.update_option(\"use_gpu\", False)" ] }, { "attachments": {}, "cell_type": "markdown", "metadata": {}, "source": [ "We start by defining the structure of the molecule, the basis set, and its spin. We build the molecule object with PySCF and run a preliminary Hartree-Fock computation. Here we choose as an example a [chelating agent](https://doi.org/10.1021/acs.jctc.3c01375) representing a relevant class of substances industrially produced at large scales. Their use ranges, among the others, from water softeners in cleaning applications, modulators of redox behaviour in oxidative bleaching, scale suppressants, soil remediation and ligands for catalysts. In particular we focus here in a Fe(III)-NTA complex whose structure is given in the file imported below.\n" ] }, { "cell_type": "code", "execution_count": 14, "metadata": {}, "outputs": [], "source": [ "# Define the molecular structure and the basis set for the Fenta molecule.\n", "\n", "atom = \"afqmc_src/geo_fenta.xyz\"\n", "basis = \"cc-pVTZ\"\n", "spin = 1\n", "num_active_orbitals = 5\n", "num_active_electrons = 5\n", "\n", "# You can swap to O3 which is a smaller system and takes less computational resources and time to run.\n", "\n", "atom = \"afqmc_src/geo_o3.xyz\"\n", "basis = \"cc-pVTZ\"\n", "spin = 0\n", "num_active_orbitals = 9\n", "num_active_electrons = 12" ] }, { "cell_type": "code", "execution_count": 15, "metadata": {}, "outputs": [ { "data": { "text/plain": [ "-224.34048064812245" ] }, "execution_count": 15, "metadata": {}, "output_type": "execute_result" } ], "source": [ "# PYSCF helps to build the molecule and run Hartree-Fock.\n", "\n", "# Define the molecule.\n", "molecule = gto.M(atom=atom, spin=spin, basis=basis, verbose=0)\n", "\n", "# Restriced open shell HF.\n", "hartee_fock = scf.ROHF(molecule)\n", "hartee_fock.chkfile = \"afqmc_src/output.chk\"\n", "\n", "# Run Hartree-Fock.\n", "hartee_fock.kernel()" ] }, { "attachments": {}, "cell_type": "markdown", "metadata": {}, "source": [ "### Hamiltonian preparation for VQE\n", "\n", "Since this molecule contains of around 600 orbitals (which would correspond to 1200 qubits) and 143 total electrons, it is impossible to perform a full VQE with full statevector simulation. Therefore, we need to identify an active space with fewer orbitals and electrons that contribute to the strongly interacting part of the whole molecule. We then run a post Hartree-Fock computation with the PySCF's built-in CASCI method in order to obtain the one-body ($t_{pq}$) and two-body \n", "($V_{prqs}$) integrals that define the molecular Hamiltonian in the active space:\n", "\n", "$$ H= \\sum_{pq}t_{pq}\\hat{a}_{p}^\\dagger \\hat {a}_{q}+\\sum_{pqrs} V_{prqs}\\hat a_{p}^\\dagger \\hat a_{q}^\\dagger \\hat a_{s}\\hat a_{r} \\tag{1}$$\n" ] }, { "cell_type": "code", "execution_count": 16, "metadata": {}, "outputs": [], "source": [ "from openfermion.transforms import jordan_wigner\n", "from openfermion import generate_hamiltonian\n", "\n", "# Run a CASCI simulation for computing the Hamiltonian in the active space.\n", "casci = mcscf.CASCI(hartee_fock, num_active_orbitals, num_active_electrons)\n", "casci.fix_spin_(ss=(molecule.spin / 2 * (molecule.spin / 2 + 1)))\n", "\n", "# Executes the kernel to compute the hamiltonian in the active space.\n", "casci.kernel()\n", "\n", "# Compute the one-body (h1) and two-body integrals (tbi) as shown in equation 1.\n", "h1, energy_core = casci.get_h1eff()\n", "\n", "h2 = casci.get_h2eff()\n", "h2_no_symmetry = ao2mo.restore('1', h2, num_active_orbitals)\n", "\n", "# V_pqrs terms in H.\n", "tbi = np.asarray(h2_no_symmetry.transpose(0, 2, 3, 1), order='C')\n", "\n", "# Compute the hamiltonian and convert it to a CUDA-Q operator.\n", "mol_ham = generate_hamiltonian(h1, tbi, energy_core.item())\n", "jw_hamiltonian = jordan_wigner(mol_ham)\n", "hamiltonian, constant_term = get_cudaq_hamiltonian(jw_hamiltonian)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### Run VQE with CUDA-Q\n" ] }, { "attachments": {}, "cell_type": "markdown", "metadata": {}, "source": [ "We can now execute the VQE algorithm using the quantum number preserving ansatz. At the end of the VQE, we store the final statevector that will be used in the classical AFQMC computation as an initial guess.\n" ] }, { "cell_type": "code", "execution_count": 17, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "# Using cudaq optimizer\n", "# Num Params: 16\n", "# Qubits: 18\n", "# N_layers: 1\n", "# Energy after the VQE: -224.39455094949878\n" ] } ], "source": [ "# Define some options for the VQE.\n", "options = {\n", " 'n_vqe_layers': 1,\n", " 'maxiter': 100,\n", " 'energy_core': constant_term,\n", " 'return_final_state_vec': True\n", "}\n", "\n", "n_qubits = 2 * num_active_orbitals\n", "\n", "vqe = VQE(n_qubits=n_qubits,\n", " num_active_electrons=num_active_electrons,\n", " spin=spin,\n", " options=options)\n", "\n", "results = vqe.execute(hamiltonian)\n", "\n", "# Best energy from VQE.\n", "optimized_energy = results['energy_optimized']\n", "\n", "# Final state vector.\n", "final_state_vector = results[\"state_vec\"]\n", "\n", "# Energies during the optimization loop.\n", "vqe_energies = results[\"callback_energies\"]" ] }, { "attachments": {}, "cell_type": "markdown", "metadata": {}, "source": [ "### Auxiliary Field Quantum Monte Carlo (AFQMC)\n" ] }, { "attachments": {}, "cell_type": "markdown", "metadata": {}, "source": [ "AFQMC is a numerical method for computing relevant properties of strongly interacting molecules. AFQMC is a type of Quantum Monte Carlo method that combines the use of random walks with an auxiliary field to simulate the imaginary-time evolution of a quantum system and drive it to the lowest energy state. This method can provide accurate results for ground-state properties of a wide range of physical systems, including atoms, molecules, and solids. Here we summarize the main features of AFQMC while a detailed introduction to can be found [here](https://www.cond-mat.de/events/correl13/manuscripts/zhang.pdf).\n" ] }, { "attachments": {}, "cell_type": "markdown", "metadata": {}, "source": [ "We consider the electronic Hamiltonian in the second quantization\n", "\\begin{equation}\n", "H = {H}_1 + {H}_2 \n", "=\\sum_{pq} h_{pq} {a}_{p}^{\\dagger} {a}_{q} + \\frac{1}{2} \\sum_{pqrs} v_{pqrs}{a}_{p}^{\\dagger} {a}_r {a}^{\\dagger}_{q} {a}_s \\tag{2}\n", "\\end{equation}\n", "where ${a}_{p}^{\\dagger}$ and ${a}_{q}$ are fermionic creation and annihilation operators of orbitals $p$ and $q$, respectively. The terms $h_{pq} $ and \n", "$v_{pqrs}$ are the matrix elements of the one-body, $H_1$, and two-body, $H_2$, interactions of $H$, respectively. Here, we omit the spin indices for simplicity.\n", "\n", "AFQMC realizes an imaginary time propagation of an initial state (chosen as a Slater determinant) $\\ket{\\Psi_{I}}$ towards the ground state $\\ket{\\Psi_0}$ of a given hamiltonian, $H$, with\n", "\\begin{equation}\n", "\\ket{\\Psi_0} \\sim\\lim_{n \\to \\infty} \\left[ e^{-\\Delta\\tau H } \\right]^{n} \\ket{\\Psi_{I}}\n", "\\tag{3}\n", "\\end{equation} \n", "where $\\Delta\\tau$ is the imaginary time step.\n", "\n", "AFQMC relies on decomposing the two-body interactions $H_2$ in terms of sum of squares of one-body operators ${v}_\\gamma$ such that the Hamiltonian ${H}$ becomes\n", "\\begin{equation}\n", "H = v_0 - \\frac{1}{2}\\sum_{\\gamma=1}^{N_\\gamma} {v}_\\gamma^2\n", "\\tag{4}\n", "\\end{equation}\n", "with ${v}_0 = {H}_1 $ and $\n", "{v}_\\gamma = i \\sum_{pq} L^{\\gamma}_{pq} {a}_{p}^{\\dagger}{a}_{q}.\n", "$\n", "The $N_\\gamma$ matrices $L^{\\gamma}_{pq}$ are called Cholesky vectors as they are obtained via a Cholesky decomposition of the two-body matrix elements \n", "$v_{pqrs}$ via $v_{pqrs} = \\sum_{\\gamma=1}^{N_\\gamma} L^{\\gamma}_{pr} L^{\\gamma}_{qs}$.\n", "\n", "The imaginary time propagation evolves an ensemble of walkers $\\{\\phi^{(n)}\\}$ (that are Slater determinants) and allows one to access observables of the system. For example, the local energy\n", "\\begin{equation}\n", "\\mathcal{E}_{\\text{loc}}(\\phi^{(n)}) = \\frac{\\bra{\\Psi_\\mathrm{T}}H\\ket{\\phi^{(n)}}}{\\braket{\\Psi_\\mathrm{T}| \\phi^{(n)}}}\n", "\\tag{5}\n", "\\end{equation}\n", "defined as the mixed expectation value of the Hamiltonian with the trial wave function $\\ket{\\Psi_\\mathrm{T}}$.\n", "\n", "\n", "The trial wavefunction can be in general a single or a multi-Slater determinant coming from VQE for example. This might help in achieving more accurate ground state energy estimates.\n" ] }, { "attachments": {}, "cell_type": "markdown", "metadata": {}, "source": [ "\n", "The implementation of AFQMC we use here is from [ipie](https://github.com/JoonhoLee-Group/ipie) that supports both CPUs and GPUs and requires the following steps:\n", "\n", "\n", "1. Preparation of the molecular Hamiltonian by performing the Cholesky decomposition\n", "\n", "2. Preparation of the trial state from the VQE wavefunction\n", "\n", "3. Executing AFQMC\n" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### Preparation of the molecular Hamiltonian\n" ] }, { "cell_type": "code", "execution_count": 18, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "# Number of electrons in simulation: (12, 12)\n" ] } ], "source": [ "# AFQMC.\n", "\n", "# Generate the input Hamiltonian for ipie from the checkpoint file from pyscf.\n", "ipie_hamiltonian = gen_ipie_input_from_pyscf_chk(hartee_fock.chkfile,\n", " mcscf=True,\n", " chol_cut=1e-5)\n", "\n", "h1e, cholesky_vectors, e0 = ipie_hamiltonian\n", "\n", "num_basis = cholesky_vectors.shape[1]\n", "num_chol = cholesky_vectors.shape[0]\n", "\n", "system = Generic(nelec=molecule.nelec)\n", "\n", "afqmc_hamiltonian = HamGeneric(\n", " np.array([h1e, h1e]),\n", " cholesky_vectors.transpose((1, 2, 0)).reshape(\n", " (num_basis * num_basis, num_chol)), e0)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### Preparation of the trial wave function\n" ] }, { "cell_type": "code", "execution_count": 19, "metadata": {}, "outputs": [], "source": [ "# Build the trial wavefunction from the state vector computed via VQE.\n", "wavefunction = get_coeff_wf(final_state_vector,\n", " n_active_elec=num_active_electrons,\n", " spin=spin)\n", "\n", "trial = ParticleHole(wavefunction,\n", " molecule.nelec,\n", " num_basis,\n", " num_dets_for_props=len(wavefunction[0]),\n", " verbose=False)\n", "\n", "trial.compute_trial_energy = True\n", "trial.build()\n", "trial.half_rotate(afqmc_hamiltonian)" ] }, { "attachments": {}, "cell_type": "markdown", "metadata": {}, "source": [ "### Setup of the AFQMC parameters\n" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Here we can choose the input options like the timestep $\\Delta\\tau$, the total number of walkers `num_walkers` and the total number of AFQMC iterations `num_blocks`.\n" ] }, { "cell_type": "code", "execution_count": 20, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "# random seed is 96264512\n", " Block Weight WeightFactor HybridEnergy ENumer EDenom ETotal E1Body E2Body\n", " 0 1.0000000000000000e+02 1.0000000000000000e+02 0.0000000000000000e+00 -2.2439413574858248e+04 1.0000000000000000e+02 -2.2439413574858250e+02 -3.7639365205439407e+02 1.5199951630581157e+02\n", " 1 4.2258301041774035e+02 1.4118669731586463e+03 -1.1708882854710750e+02 -2.2474916437261574e+04 1.0000000000000000e+02 -2.2474916437261575e+02 -3.7647296651452950e+02 1.5172380214191386e+02\n", " 2 1.0031504281308401e+02 3.8297737898314341e+02 -1.1739924259761827e+02 -2.2490532145733003e+04 9.9999999999999986e+01 -2.2490532145733007e+02 -3.7651477069597922e+02 1.5160944923864918e+02\n", " 3 9.9899212120920296e+01 1.0007733169797531e+02 -1.1733630843942882e+02 -2.2497023748199670e+04 9.9999999999999986e+01 -2.2497023748199675e+02 -3.7660510012883196e+02 1.5163486264683516e+02\n", " 4 1.0009065798675080e+02 1.0004728284850617e+02 -1.1745681184714668e+02 -2.2496787246373897e+04 1.0000000000000001e+02 -2.2496787246373893e+02 -3.7676975956887520e+02 1.5180188710513633e+02\n", " 5 9.9997283679139173e+01 1.0010516558962367e+02 -1.1749487126104539e+02 -2.2503896183474415e+04 1.0000000000000001e+02 -2.2503896183474413e+02 -3.7664507184180695e+02 1.5160611000706268e+02\n", " 6 1.0011617434070206e+02 1.0018130110278446e+02 -1.1766576516987034e+02 -2.2514130031354973e+04 1.0000000000000003e+02 -2.2514130031354966e+02 -3.7662478860477643e+02 1.5148348829122685e+02\n", " 7 9.9932111671046385e+01 9.9917484318648320e+01 -1.1761313306634769e+02 -2.2516961022020205e+04 1.0000000000000000e+02 -2.2516961022020206e+02 -3.7661715794903222e+02 1.5144754772883010e+02\n", " 8 9.9903333135890790e+01 9.9912269122680755e+01 -1.1757680866079117e+02 -2.2518386081760287e+04 9.9999999999999986e+01 -2.2518386081760292e+02 -3.7676432976591940e+02 1.5158046894831654e+02\n", " 9 1.0012009650415450e+02 1.0012104365758209e+02 -1.1776314652530120e+02 -2.2513280621097532e+04 1.0000000000000000e+02 -2.2513280621097533e+02 -3.7678702690105990e+02 1.5165422069008449e+02\n", " 10 9.9637195525722973e+01 9.9239451881972172e+01 -1.1746129307287680e+02 -2.2518449097868390e+04 1.0000000000000000e+02 -2.2518449097868390e+02 -3.7689240664007951e+02 1.5170791566139565e+02\n" ] } ], "source": [ "# Setup the AFQMC parameters.\n", "afqmc_msd = AFQMC.build(molecule.nelec,\n", " afqmc_hamiltonian,\n", " trial,\n", " num_walkers=100,\n", " num_steps_per_block=25,\n", " num_blocks=10,\n", " timestep=0.005,\n", " stabilize_freq=5,\n", " seed=96264512,\n", " pop_control_freq=5,\n", " verbose=False)\n", "\n", "# Run the AFQMC.\n", "afqmc_msd.run(estimator_filename='afqmc_src/estimates.0.h5')\n", "afqmc_msd.finalise(verbose=False)\n", "\n", "# Extract the energies.\n", "qmc_data = extract_observable(afqmc_msd.estimators.filename, \"energy\")" ] }, { "cell_type": "code", "execution_count": 21, "metadata": {}, "outputs": [ { "data": { "text/plain": [ "" ] }, "execution_count": 21, "metadata": {}, "output_type": "execute_result" }, { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAlQAAAGwCAYAAABvpfsgAAAAOnRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjEwLjEsIGh0dHBzOi8vbWF0cGxvdGxpYi5vcmcvc2/+5QAAAAlwSFlzAAAPYQAAD2EBqD+naQAAaq1JREFUeJzt3XlcVOXiBvDnDPu+KKssIqi4a1qGZmpZbpjevGXmLmre6y0ss7S6WVqhhVpauaVgvyzTq2XZJqm4p2iaW6CICLKJ7Psyc35/DHNgYIBhnRl4vp/PfJg5551z3nPkXp7e9z3vK4iiKIKIiIiIGk2m6woQERERGToGKiIiIqImYqAiIiIiaiIGKiIiIqImYqAiIiIiaiIGKiIiIqImYqAiIiIiaiJjXVegPVAoFEhOToaNjQ0EQdB1dYiIiEgLoigiLy8P7u7ukMnqboNioGoFycnJ8PT01HU1iIiIqBESExPh4eFRZxkGqlZgY2MDQPkPYmtrq+PaEBERkTZyc3Ph6ekp/R2vCwNVK1B189na2jJQERERGRhthutwUDoRERFREzFQERERETURAxURERFRE3EMFRERkY7I5XKUlZXpuhrtmqmpab1TImiDgYqIiKiViaKI1NRUZGdn67oq7Z5MJoOPjw9MTU2bdBwGKiIiolamClPOzs6wtLTkpM86opp4OyUlBV5eXk36d2CgIiIiakVyuVwKUx06dNB1ddo9JycnJCcno7y8HCYmJo0+DgelExERtSLVmClLS0sd14QASF19crm8ScdhoCIiItIBdvPph+b6d2CgIiIiImoiBioiIiKiJmKgIiIiImoiBirSSyXlcoiiqOtqEBFRhQkTJmDMmDEa9504cQKCIODy5csAgJ07d+LBBx+EpaUlbGxsMHz4cBw8eFDtO5GRkRAEQeMrNTW1xa+nuTFQkd65k1GAvu8cwvL9V3RdFSIiqhAUFISIiAjcvXu3xr6wsDAMGjQIffv2xauvvooXXngBU6ZMweXLl3Hu3Dk88sgjmDhxIj799NMa342JiUFKSoray9nZuTUuqVlxHirSO3/dzUFJuQK7oxIxbbA3+njY6bpKREQtShRFFJU17bH9xrIwMdLqSbfAwEA4OTkhPDwcb731lrQ9Pz8fe/fuxUcffYQ//vgDa9euxYYNG/Diiy9KZd5//30UFxfjlVdewcSJE+Hp6Sntc3Z2hr29fbNeky4wUJHeKSotl96vjYhB+JyHdFgbIqKWV1QmR8+3f9PJua+vHA1L0/rjgLGxMWbOnInw8HC8+eabUgjbu3cv5HI5pk6dirfffhvW1tZ44YUXanx/yZIlWLduHfbt24fFixc392XoHLv8SO8UlFT+V1pkTDrOx2fqsDZERKQyd+5c3Lp1C8eOHZO2hYWFYfLkybCzs8ONGzfg6+urcV08d3d32Nra4saNG2rbPTw8YG1tLb169erV4tfREthCRXqnsEoLFQCEHorBN/Mf5iR4RNRmWZgY4frK0To7t7b8/f0xZMgQ7NixAyNGjEBsbCxOnDiBlStXSmXqe6Coetg6ceIEbGxspM9NWf5FlxioSO8UlipbqMb0csWR6Hv4Iy4Tp29lYKhfRx3XjIioZQiCoFW3mz4ICgrCiy++iM8++wxhYWHw9fXF8OHDAQBdu3bFyZMnUVpaWiM4JScnIzc3F926dVPb7uPj0ybGULHLj/SOKlD5OVvj+cFeAJStVJxGgYhI95599lnIZDJ8/fXX+PLLLzF37lypB2Hq1KnIz8/Hli1banwvNDQU5ubmmDJlSmtXuVUYRhymdkXV5WdpZoSZAd7YHZWAiwnZOBpzD4/5u+i4dkRE7Zu1tTWmTJmC5cuXIzc3F7Nnz5b2BQQEIDg4GEuXLkVpaSkmTZqEsrIyfPXVV9iwYQPCw8PRoUMHtePdu3cPxcXFats6dOhgcF1/bKEivVNQ0UJlaWIEZ1tzzAroDAD49EisDmtFREQqQUFByMrKwujRo+Hu7q627+OPP8bnn3+Ob775Br1790aPHj3w0Ucf4ciRI5g+fXqNY3Xv3h1ubm5qrwsXLrTWpTQbBirSO0WqQGWmbECdPNADABB7L19ndSIiokoBAQEQRRE//fSTxv1z587F+fPnUVRUhNu3b8PV1RWff/455PLKp7hHjBgBURQ1vh5++OHWupRmw0BFeqegpKLLz1T55ImNuTJYFZZyORoiIkPTuXNnREZGwt/fH5cuXdJ1dVoMx1CR3lHNFmxV8cSLVUVLVblCREm5AuYNeMSXiIh0z8fHB++8846uq9Gi2EJFekfVQmVR0UJlVeVRYtU+IiIifcJARXpHNYZKFaSMZALMTZS/qqopFYiIiPQJAxXpHdVTfqoWKgCwruj2y2cLFRER6SGDCFTx8fEICgqCj48PLCws4OvrixUrVqC0tFQqExkZiYkTJ8LNzQ1WVlbo378/du3aVesxd+/eDUEQMGnSpHrPHxkZiQceeABmZmbw8/NDeHh4M1wV1UY1D5WVWWWgUo2jYpcfERHpI4MYlB4dHQ2FQoEtW7bAz88PV69exfz581FQUIDQ0FAAwOnTp9G3b1+8/vrrcHFxwcGDBzFz5kzY2dkhMDBQ7Xjx8fF49dVXMWzYsHrPffv2bYwfPx4LFy7Erl27cPjwYcybNw9ubm4YPVo36y61ZaXlCpTJlU/yVV2GQfW+gF1+RESkhwwiUI0ZMwZjxoyRPnfp0gUxMTHYtGmTFKjeeOMNte8EBwfj0KFD2L9/v1qgksvlmDZtGt59912cOHEC2dnZdZ578+bN8PHxwdq1awEAPXr0wMmTJ7F+/XoGqhZQVCUwWap1+Snfs4WKiIj0kUF0+WmSk5MDR0fHBpdZuXIlnJ2dERQUpNV5zpw5g1GjRqltGz16NM6cOVPrd0pKSpCbm6v2Iu0UlikDk6mRDCZGlb+e7PIjIiJ9ZpCBKjY2Fhs3bsQLL7xQa5k9e/YgKioKc+bMkbadPHkS27dvx7Zt27Q+V2pqKlxc1NePc3FxQW5uLoqKijR+JyQkBHZ2dtLL09NT6/O1dwUlNQekA5VP/DFQERGRPtJpoFq2bBkEQajzFR0drfadpKQkjBkzBs888wzmz5+v8bhHjx7FnDlzsG3bNvTq1QsAkJeXhxkzZmDbtm3o2LFji17X8uXLkZOTI70SExNb9HxtSeWUCdUClarLj2OoiIh07syZMzAyMsL48ePVtsfHx2v8W159Db+dO3fiwQcfhKWlJWxsbDB8+HAcPHhQrUxkZCQEQYCDg0ONxZOjoqKkY1cliiK2bt2KwYMHw9raGvb29hg0aBA+/vhjFBYWNuMdqEmnY6iWLFmitkq1Jl26dJHeJycnY+TIkRgyZAi2bt2qsfyxY8cwYcIErF+/HjNnzpS237p1C/Hx8ZgwYYK0TaFQAACMjY0RExMDX1/fGsdzdXVFWlqa2ra0tDTY2trCwsJCYx3MzMxgZmZW53WRZgWl6pN6qrDLj4hIf2zfvh0vvvgitm/fjuTk5BoLJP/+++9SgwYAtb+Xr776Kj799FO89957mDRpEsrKyvDVV19h4sSJ+OSTT/Cf//xH7Vg2Njb47rvvMHXqVLXze3l5ISEhQa3sjBkzsH//frz11lv49NNP4eTkhL/++gsff/wxOnfurNWT/Y2l00Dl5OQEJycnrcomJSVh5MiRGDhwIMLCwiCT1Wxci4yMRGBgINasWYMFCxao7fP398eVK1fUtr311lvIy8vDJ598Umu3XEBAAH7++We1bREREQgICNCq3tQwUguVmfqvJrv8iKhNE0WgrGVbUGplYglUa+mpS35+Pr799lucP38eqampCA8Pr/FgWIcOHeDq6lrju3/88QfWrl2LDRs24MUXX5S2v//++yguLsYrr7yCiRMnqv1NnjVrFnbs2CEFqqKiIuzevRsvvfQSVq1aJZXbs2cPdu3ahe+//x4TJ06Utnfu3BlPPfVUi49nNoin/JKSkjBixAh4e3sjNDQU6enp0j7VP9jRo0cRGBiI4OBgTJ48GampqQAAU1NTODo6wtzcHL1791Y7rr29PQCobV++fDmSkpLw5ZdfAgAWLlyITz/9FK+99hrmzp2LI0eOYM+ePbWusE1NI7VQmWhuocovYZcfEbVBZYXAB+71l2sJbyQDplZaF9+zZw/8/f3RvXt3TJ8+HYsXL8by5ctrdL9p8s0338Da2lrjGOglS5Zg3bp12LdvHxYvXixtnzFjBj766CMkJCTAy8sL+/btQ+fOnfHAAw+ofX/Xrl3o3r27WphSEQQBdnZ2Wl9jYxjEoPSIiAjExsbi8OHD8PDwgJubm/RS2blzJwoLCxESEqK2/+mnn27QuVJSUtSaEH18fPDTTz8hIiIC/fr1w9q1a/HFF19wyoQWUliiuYVKNW2CatJPIiLSje3bt0tjosaMGYOcnBwcO3ZMrcyQIUNgbW0tvS5evAgAuHHjBnx9fWFqalrjuO7u7rC1tcWNGzfUtjs7O2Ps2LHSpNo7duzA3Llza3z/5s2b6N69e3NcYqMYRAvV7Nmz6x1rFR4e3uAZzDWV17RtxIgR0i8DtazCWsZQqSb25NIzRNQmmVgqW4p0dW4txcTE4Ny5c/juu+8AKMcgT5kyBdu3b8eIESOkct9++y169Oghfa7ahSeKYp3n0BS25s6di+DgYEyfPh1nzpzB3r17ceLECbUy9R23pRlEoKL2o6DWp/w4hoqI2jBBaFC3m65s374d5eXlaoPQRVGEmZkZPv30U2mbp6cn/Pz8any/a9euOHnyJEpLS2sEp+TkZOTm5qJbt241vjd27FgsWLAAQUFBmDBhAjp06FCjTLdu3WrMDNCaDKLLj9oP1aD0qsvOAJWLIxdy2gQiIp0oLy/Hl19+ibVr1+LSpUvS66+//oK7uzu++eabeo8xdepU5OfnY8uWLTX2hYaGwtzcHFOmTKmxz9jYGDNnzkRkZKTG7j4AeP7553Hjxg0cOHCgxj5RFJGTk6PFVTYeW6hIr6gGpVtW7/KrGEPFLj8iIt04ePAgsrKyEBQUVGOA9+TJk7F9+3a1ZeI0CQgIQHBwMJYuXYrS0lK1aRM2bNiA8PBwja1PALBq1SosXbq01v3PPvusNL3CW2+9hSeffBJOTk64cuUK1q9fjxdffLHtTptAVF1t0yZYs8uPiEintm/fjlGjRml8Wm7y5Mn48MMPtZqa4OOPP0bfvn3x+eef46233kJxcTFMTU1x5MgRPProo7V+z9TUtM6JuQVBwNdff42tW7dix44deP/992FsbIyuXbti5syZLf4wGQMV6RXVGKrapk3gTOlERLrx448/1rrvoYcekgaFazM4fO7cuVLXXXx8PIYPH47PP/8cQ4cOhZGR8v//R4wYUeexJk2aVGO/TCbDwoULsXDhwnrr0Nw4hor0SlFFl59qqRkV1SD10nIFyuSKVq8XERG1jM6dOyMyMhL+/v64dOmSrqvTaGyhIr1SuThytZnSq3QBFpSUw96y5mO1RERkmHx8fPDOO+/ouhpNwhYq0iuFZZqnTTAxksHUWPnrym4/IiLSNwxUpFcKSzRP7AlUhiwOTCeitkDXE1GSUnP9OzBQkV4plCb2rNkbXbmeHwMVERkuExMTAEBhoY4WQyY1paWlACANhm8sjqEivVJYyzxUQJXJPblAMhEZMCMjI9jb2+PevXsAAEtLS60WFqbmp1AokJ6eDktLSxgbNy0SMVCRXlGNj7I0q/mrqQpZbKEiIkPn6uoKAFKoIt2RyWTw8vJqcqhloCK9US5XoLRcOSWCpYmGMVSc3JOI2ghBEODm5gZnZ2eUlZXpujrtmqmpKWSypo+AYqAivaF6wg+oXGqmKtW4KlW3IBGRoTMyMmry2B3SDxyUTnpDteyMkUyAqVHNX83KQekcQ0VERPqFgYr0hqorz9LUSGNftnVFqxVbqIiISN8wUJHeqGvKBKByoDoHpRMRkb5hoCK9oQpUmqZMACqnTeCgdCIi0jcMVKQ3pDmoNAxIB6rMlM6lZ4iISM8wUJHekFqoTOru8mMLFRER6RsGKtIb0qD0Wlqo2OVHRET6ioGK9EZRWd1jqCon9mSXHxER6RcGKtIbqqBkWctTfpVjqNhCRURE+oWBivRGUR0LIwNceoaIiPQXAxXpDWlh5FpaqKzZ5UdERHqKgYr0Rn3zUKm2F5XJIVeIrVYvIiKi+jBQkd4o1LLLD+A4KiIi0i8MVKQ3pKVnzDR3+ZkZy2AsU67xV8huPyIi0iMMVKQ36muhEgRB2sf1/IiISJ8wUJHeKKxnUDrQfJN73s8vwdpDMUjMLGzScYiIiAAGKtIjhSV1D0oHqkyd0MQxVLvPJWDjkVhsP3m7ScchIiICGKhIjxTU0+UHVF3Pr2ljqO7llVT8LG7ScYiIiAAGKtIjRVp1+VXMlt7ELr+swjLlz4KyJh2HiIgIYKAiPaJNC5WVafN0+WUXlip/FjFQERFR0zFQkV6QK0QUlykAaDmGqoktVNkVLVSqYEVERNQUDFSkF4rKKsdE1TYPlXKfatqEpo2hyi6qaKEqZAsVERE1HQMV6QXVHFSCoJzAszaqsFXY1BaqirFTRWVyFJdxklAiImoaBirSC6opE6xMjSEIQq3lmmMMVZlcgbwqgYytVERE1FQMVKQXVJN6WtQxfgqoOoaq8a1KOdUGoqu6/4iIiBqLgYr0gqrLz6qeQNUc0yZUH4jOqROIiKipGKhIL2iz7EzV/U1Zy696Fx+f9CMioqZioCK9UN/CyCqqtfxUAawxsqoHKs5FRURETcRARXpBNSbKso4pE4DKwNWULr+s6l1+bKEiIqImMohAFR8fj6CgIPj4+MDCwgK+vr5YsWIFSksr/xBGRkZi4sSJcHNzg5WVFfr3749du3bVeszdu3dDEARMmjSpznPv378fTzzxBJycnGBra4uAgAD89ttvzXVpVKGwYuoCSxPtBqU3pcsvp1oLVfXPREREDWUQgSo6OhoKhQJbtmzBtWvXsH79emzevBlvvPGGVOb06dPo27cv9u3bh8uXL2POnDmYOXMmDh48WON48fHxePXVVzFs2LB6z338+HE88cQT+Pnnn3HhwgWMHDkSEyZMwMWLF5v1Gts71bxSlmat0eXHFioiImpedfev6IkxY8ZgzJgx0ucuXbogJiYGmzZtQmhoKACohSsACA4OxqFDh7B//34EBgZK2+VyOaZNm4Z3330XJ06cQHZ2dp3n/vjjj9U+f/DBBzhw4AB+/PFHDBgwoGkXRpLKQel1BypV4CooLYcoinXOWVUb1RgqZxsz3MsrqTGmioiIqKEMooVKk5ycHDg6Oja4zMqVK+Hs7IygoKBGnVehUCAvL6/Oc5eUlCA3N1ftRXWrnDah7oyvaqESxca3UuVUzDvVuaOV8jMDFRERNZFBBqrY2Fhs3LgRL7zwQq1l9uzZg6ioKMyZM0fadvLkSWzfvh3btm1r9LlDQ0ORn5+PZ599ttYyISEhsLOzk16enp6NPl97oe3EnhYmRlA1SjV2tnTVvFM+HZSBil1+RETUVDoNVMuWLYMgCHW+oqOj1b6TlJSEMWPG4JlnnsH8+fM1Hvfo0aOYM2cOtm3bhl69egEA8vLyMGPGDGzbtg0dO3ZsVH2//vprvPvuu9izZw+cnZ1rLbd8+XLk5ORIr8TExEadrz1RBar6WqgEQahcfqaRs6WrpknwcbJS+0xERNRYOh1DtWTJEsyePbvOMl26dJHeJycnY+TIkRgyZAi2bt2qsfyxY8cwYcIErF+/HjNnzpS237p1C/Hx8ZgwYYK0TaFQAACMjY0RExMDX1/fWuuxe/duzJs3D3v37sWoUaPqrLOZmRnMzMzqLEPqVF1+9bVQAYCVmRHyS8obPXWCaiLPzhUtVNmFpY0ej0VERAToOFA5OTnByclJq7JJSUkYOXIkBg4ciLCwMMhkNRvXIiMjERgYiDVr1mDBggVq+/z9/XHlyhW1bW+99Rby8vLwySef1Nkt980332Du3LnYvXs3xo8fr1V9qWGkFqp6nvJTljEGUFJnoCoqleN+fgk8HS1r7FN18flUjKEqk4soKJVL47OIiIgayiD+giQlJWHEiBHw9vZGaGgo0tPTpX2urq4AlN18gYGBCA4OxuTJk5GamgoAMDU1haOjI8zNzdG7d2+149rb2wOA2vbly5cjKSkJX375JQBlN9+sWbPwySefYPDgwdJxLSwsYGdn12LX3N5ou/QMUNktWNcYqqX/+ws/XUnBwRcfQS/3yn+n4jI5isuULZNu9uYwNZahtFyB7MJSBioiImo0gxiUHhERgdjYWBw+fBgeHh5wc3OTXio7d+5EYWEhQkJC1PY//fTTDTpXSkoKEhISpM9bt25FeXk5Fi1apHbc4ODgZrs+qpz5vL5pE4DKVqz8WsZQFZaW49C1NIgicDEhW22fah0/I5kAGzNjOFiaqG0nIiJqDIP4T/LZs2fXO9YqPDwc4eHhDTqupvLVt0VGRjbomNQ4DWmhkib3rKXL72xcJkrlylao5OwitX3ZFVMm2FuYQBAE2FuYIi23hE/6ERFRkxhECxW1fdpO7KksU/fyM8duVHYJp+QUq+1TTZlgX9EyZc8WKiIiagYMVKQXtJ3YE6hcz6+2aROO36wMVEnVW6gqWqLsLU0rfpqobSciImoMBirSOYVCRFGZdhN7AoB1xRiqQg2D0u9mFSIuvUD6XLPLT9kSpRo75VARrNhCRURETcFARTpXXC6HKCrfazNtQl1dfsdv3AcAeDhYAABSc4ohV4jS/qwaLVSmFdsZqIiIqPEYqEjnqq7JZ26sTQuVcY3vqRyvGD81+QEPGMkElCtEpOeVSPtV6/bZW1QfQ8UuPyIiajwGKtK5wpLKAekyWf2zlavGUFVvoSqTK3AqVtlCNdLfGa625gCA5JzKbj9VC5WDlbJlSpo2gcvPEBFREzBQkc4Vlmk/BxVQ2S1Yfab0S4nZyCsph72lCfp0soO7fUWgyq4aqJTBya6ihcrOQtXlxxYqIiJqPAYq0rmCEu3noAKqzpSu3uWn6u57xK8jjGQC3O2V46iqBipVl59qMLqqhSqHY6iIiKgJGKhI54oaMAcVUHXaBPUWKlWgerSbcn3IykBVOReV1OWnesrPii1URETUdAxUpHOqNfma0uWXWVCKy0k5AIBHu1YEKruaXX6qsVJ2qok9K7r+corKoKjyNKAmfyVmIyY1T6s6EhFR+8JARTonTeqp5eLEmlqoTsbehygC3V1s4FoRpKQWqopB6aIoSk/zqbr8VMFKIQJ5xbUvtpxTVIZnt5zBlK1n1KZhoJrO3c7E7LBziL9fUH9hIqI2wiDW8iPNisvk+OVqiq6r0WRnbmUAACxMtGuhUk2bUFAqx3cX7wIA9v+ZBAB4tFtHqVz1Lr+CUjnK5MowpJouwczYCJamRigslSOrsFQKWNXdvl+AknIFSsoVSMkpgoeDZYOusT0JP30bkTHp2N/pLl55sruuq0NE1CoYqAxYbnEZXv72L11Xo9nYmGsOM9WpApVcIda4ftX4KaAyUGUWlKKoVC61Tpkay9TCm4OlKQpLi5BVWIrOsNJ4zjsZla0tCRmFDFR1SMgsBADcqfhJRNQeMFAZMFMjGYZ17Vh/QQNgZmyEOUM7a1XWyswYr4/xx+lb99W2+zpZY4hv5f2wNTeGtZkx8kvKkZxTJA1+d7A0gSBUzndlb2mCpOyiOueiSqwSDhIyCzFEq5q2TwkZFYEqg4GKiNoPBioDZm9piv8LGqzraujEv0b44l8jfOssIwgC3OzMcfNePlKqPOlnXzH3lPRZi9nSq4YDtrzULqewDLkVY9GqtuoREbV1HJRObVrVuagq1/FT71q012KB5KohKoEtL7W6k1kZorIKy5BbzPm9iKh9YKCiNk0VqJKyi2o84aeimpOqrgWSq3f5kWbV7w3DJxG1FwxU1KZ1qrL8jKoFqkYLlYWqhUpzl19xmRypuZVdhuzKql31QMVxVETUXjBQUZvmZlc5F1WWFKhqG0OluYXqblYRRBEwN1H+zyW3uLzO8VbtWWL1QJXJ8ElE7QMDFbVpqi6/lOxiZBfVPYaqtuVnEipCgU9HazjZmFVsY8uLJqr74uWonFbizn3eJyJqHxioqE3rVGUMVVaB+jp+KtICybVMm6DqtvJ2tIS3KiiwK0sjVaB6pGI6D7ZQEVF7wUBFbZqLnRkEASgpVyCuYimUml1+9bVQVQSqDpbw6mCpto0qlckV0qz0w/yUgYqD0omovWCgojbNzNgITtbKbjpVq5JqQWQVaQxVgeYWKlUo8HS0lLqyGBRqSskuhlwhwsxYhkGdHZXbcotRUi7Xcc2IiFoeAxW1eW4V3X4qDlbVp01Qfs4rKUeZXFHj+1VbqLwrWqjYlVWT6j55Olqio7UprEyNIIpAYmaRWjlRFHH47zTcyyvWdBgiIoPEQEVtnmrqBJXqLVS25pULBlQfR6VQiGoDrVUtVNVDAgB8eSYeM3ecq3UsVlunCplejpYQBAHeHZTrIlafZuK3a2kI2nkey/ddafU6EhG1FAYqavPc7dRbqKqPoTI2kkmhqvp0CPfySlBSroCRTIC7vQW8HJUhITmnSK0rS6EQsfbQDRy/kY5frqS0xGXovepP+EmtedW6R4/duAcAOH0rQ2OLIBGRIWKgojbPvUqXn5WpEUyNa/7aq7oBq89FpQoJnewtYGIkQ0drU1hWdGXdzapspbqekiu1TJ2+ldHs12AIEqt0+QGodQD/H3GZAICiMjmuJee2Yg2JiFoOAxW1ee5Vuvyqt05J2y00Lz+j6q5StboIglA5ML1KUPgjrjJEnb6VAVEUm6HmhqVGC5VjzS6/tNxi3L5f+TnqdmYr1pCIqOUwUFGbV7WFqvqknpXbNS8/o2p1UbW2AND4pF/VVqn7+SW4lZ7fxFobHtX9UHX1VQ7g1xw8ASAqnoGKiNoGBipq86oGquoLI1du17z8zJ1qrS5V36taZMrkCpytCAqutsrWsPbW7ZdTWIbc4nIAgKeDeqC6m1kEuULZYne2okVqgJc9AOD8nSyDac3LKijFzbQ8XVeDiPQUAxW1eR2sTKVxU3b1tFBVn9yz6izpKtUHW19JykFBqRz2liaYNtgLAHA6tn0FKlW4dLIxg4WpEQDlOoomRgJK5Qqk5CjHm6laqOY90gXmJjJkFpTiVrphTEExd2cUxnxyAteSc3RdFSLSQwxU1OYJggB3O2XLUfVlZ1SkyT2rTXmgscuvYjoA1Rp/Zypaox726YChFUuunInLgEJhGC0vzaH6+CkAMJIJUmtVQkYh7uUVIy69AIIADPXrgP6e9gAMo9vv9v0CXEzIhlwh4se/2udTnERUNwYqahdU3X72FnUPSq86hiq/pBwZFev/1dblJ4qiFKiG+HVA3052sDYzRk5RGa6nGOYTbHcyCpCRX9Kg72gKVEBlEL2TWYizFU/3+bvawt7SFA9WzKZuCAPTI66nSu8PVXlPRKTCQEXtgr+rLQCgc0crjftVgevc7UwUlirHAqmeTnO0MoWNeWXLVid7C8gEoLhMgbtZRVILyxDfDjA2kuEhH2VQqD4AuzVkF5bi+I30Ro9LupacgyfWHcekz0+huEz7JWNUrXWe1QJV1cWkz96uaMnrorw/UqC6o/+B6rdradL7uPQCxN7jWCoiUsdARe3CK092w/8FPYRJ/d017h/p7wwvR0vczy9F+Ol4ADXnVVIxNZbBrWKy0AOXklBSroCTjRl8nawBKIMV0PoD0+UKEbN2nMPMHeew/eTtBn9fFEWE/ByNUrkCiZlFDTpGbS1U3lW6R1XzTw32Ud6fB7wdIBOUs86n5ujvMjT38orxZ0IWAKCnmzKYVw1YZJju5Rbr9e8dGR4GKmoXrM2MMayrE4yNNP/KmxjJ8PITXQEAmyNvIaeoTOOAdBXVwPRvzycCUIYoQRAAAA93UQaGs3HNPxP4sRvp+LmWmdi/PBOPv+4qB0yvPXRDCoQNOfbJ2PvS502Rt7Tu+qs9UCk/X0zIRuw95VQSgyta8KzNjNHTXRlQzlUZR1UuV2DVwesI/S1GL8ahHf77HkQR6Odhh+kPewMADl1noDJkucVlGLfhBJ5YfwxpuQxV1DwYqIgqPNWvE7o6WyO3uBxfnIhTWxS5OtU21Zp+ARUhClC2YthZmKCgVI4rSdo/EaZQiPj1airiapnD6se/kjFrxzn8e9efCDul3nqUnF2E0N9iACifaiwqk+PtA1drdP3JFSIuJmTV6M6TK5StUwAQ9IgPeneyRX5JOTYcvllvvcvkCiRnK/8o1RaoUipaAvxdbdQWp1Z1+52vEqg+O3oL20/exqdHY7HhSP3nb2m/XVOOmXqylytG9XSGIAB/JWa32dYNuUJEaXnbXhLom7MJuJ9firzicnx2NFbX1aE2goGKqIKRTMCSJ7sDALafvI2/7mYDqNnlp2nbEN+O0nuZTJAC1pkq3X5/xGXg5W8v4fSt+6iupFyOl3ZfxMKvLiBw40kcjbmntj8qPhNL9vwlfV558Lr0hx4A3vnhGgpK5Rjo7YDdCx6GiZGAozHp+PlKZZmCknK88H/n8Y/PT2PSZ6eQlF25dM6+C3cRk5YHOwsTvPRYV7wxtgcAYNfZhFoDnkpKdjHkChFmxjI425ip7fNwsERFwx2AytY7FVWgOlcxMP3CnSy1EPXx7zdx+O+arUH380twNi4D5S28FmBecZk0BcaTPV3gbGOOB7wcAKgPVG8ryuQK/HPzaQxZfQTJ2TUXAG8LSssV2FHlP0i+OZeAu1kNa80l0oSBiqiK0b1c0NfDDoWlclxNUj6lp7HLz7FycHsnewt4OqovwDzErzJQlZYrsPqXaEzd9ge+u5iEaV+cRcjPf0utADmFZZi5/RwOXlZ25RWWyjFv53l8G5UAALiVno/5X55HqVyB0b1c8PxgL4giELz7Ii4lZuO3a6k4dD0NxjIBH/yjD7q62OBfI/wAAO/8eA05RWVIySnCM5vP4Pe/lUEtOjUPkz47hb8Ss1FYWo61EcrWrRcf84OdpQmG+HXEyO5OKFeI+PDXmDrvWUKVsWYymaC2z9zESJrsFKjs7lNRBaqYtDwkZxdh8bcXIVeImNTfHTMDlN1ri3dfkkKdKIrYcz4RI0MjMWXrHwhYfQTv/3Qdf7fQE5XHbqSjVK5Al45W8HNWjpF7sqcLgLbZ7bftRBwuJmTjfn4JVh28ruvqtIgDl5KQllsCF1szDPZxRJlc1Kollqg+DFREVQiCgFcrWqlUvDR0+VXt2qo6fqrqNkDZsvT0plPYfOwWRBHo72kPUQS2HI/DpM9O4cTNdPxz82mcvZ0JGzNjhM95EE8/0AlyhYjX911ByC9/Y05YFLILy9DP0x4fTxmAlU/1wojuTiguUyAoPApvH7gKAHhheBd0d7UBAPx7hC+6dLRCel4Jluz5C5M+O4XrKbnoYGWKz6c9AH9XG6TnlWDK1jN46ZtLSMstgaejBWZUhBgAWD6uB2QC8Ou11Drniqpt/JRK1S7Th6oFKicbM/h0tIIoAjN3nENiZhE62Vtg5aTeeGt8TzzY2QF5JeV44f8u4GZaHmaFReG1/11GXnE5TIwEpOeVYNuJ2xj7yQmM33ACBy4lSbOyV1VQUo5Tsfdxv4HTQagGnz/Ry0X6N36ylysAZVjOqTazviFLzCxUCxa/XE2t0VJq6BQKEdtOxAEA5g71wetj/QEA+/5Mqrcllqg+DFRE1Qzr2lH6w29qLIOLjXmNMlVDlqo1qipfJ2s42ZihpFyBq0m5cLA0webpA/H9oqHYOmMgHCxNcD0lFzO2n8PNe/lwtTXHnoUBGNHdGWuf6Yf/jFS2MG05phzL5eloge2zBsHC1AjGRjJ8+vwD6OVui4yCUqTllsC7gyVefKyrdH5zEyO894/eAIDf/05DWm4Jujpb4/tFQzGujxv2LgzA8G7KUPZ7RZfa0tH+MDM2ko7RzcUGUx70BAC8+PVFzNt5Hkv2/IWVP17H5mO3cDTmHlJzinEnU30B6epUrXndXKzRwdqsxv5B3soutNh7+ZAJwPop/WFrbgJTYxk+m/YAXGzNcPNePp5YfxzHb6TD1FiG5WP9ceWd0dg2cxDG9HKFiZGAa8m5CN59CU+sO4Z9F+6iXK7ApcRsLN9/GQ+9/zumfXEWj354FOsibiC/pFxjXasqKZfjaLQyUIyuCFEA4NPRCt1crFGuENUCx1+J2Qj5+e9Gt5aVyRXYdfYOdp6Ob9CUFc1BFEX898BVFJcp8HAXR8x7xAcAsOLAtVavS0uKvHEPN9LyYWNmjKmDvfCAlwMe93eGXCHi49/ZSkVNw0BFVI0gCHh9THcYywQM8LSv0Y0FAHYWJujmYg1rM2MM9euo8RiP+zsDUAa0Xxc/ijG9lX+Un+zlit8WP4phFbOqd3Oxxv5/D0GPikfyBUHAq6O74/1/9IZMUJ4rbPZD6FgljFibGWPH7AfRyd4CRjIB70/qA3MTI7U6DPHtiOcqAtGwrh2x799DpLFfNuYm2D5rkNStNsjbARP6utW4jpdHdYO1mTFSc4vx+99p2PfnXew4dRurf4nGnLAoPBxyGFuPK/+LX9NYM6By3b5RPVw07n+wSqvVopF+aq1Yzjbm2DR9IEyMlP8GA70d8EvwMLww3BfmJkZ4oqcLNs8YiHNvjMKrT3aDvaUJ4u4XYMnev9B/ZQQmfXYK35xLREGpHDbmxigslWPD4ZsY/uFRhJ+6jZLy2sPCH3GZyC8ph5ONGfp72Kvte7Kn8t/yt2upyCwoxbJ9lzHp81PYcjwO4zecwNsHrtZYaLsuUfGZmLDxJN787ipW/HANT6w/hp8up6g9VFBYWo5fr6bgixNxuNHMawr+fCUVkTHpMDWS4f1/9MHLT3SDq605EjIL8XkLDNouLpPXee+bKr+kHF+eiZfG5qlsOab8XX1+sBdsK+aWe/mJbgCAHy8nIzrVMCfjbYisglLcy2ubD1TomiAaysqkBiw3Nxd2dnbIycmBra2trqtDWopLz4ejlam0zl919/NLUFQqrzVIFJXKEZ2ai34emkOZQiHiSlIOurva1AhDKgkZhbA0M1ILU1UVlpbjXm5JrROWKhQirqfkooebLYw01AEAbqTlwdPBUlqDr7o7GQW4mpSLnKIy6XU3qxDRqXmIS8+HqoftfwsDMKizY43vyxUiLtzJQn9Pe2lNxaru5RXjiXXH0dPNFl8GPQQTDVNbXLiThZScIozt7VbrdQDKP6T/d+YOvjgRh4yCUpgZyzC+jxuefdATD3V2xG/XUvHRbzGIu69sVTMzlmGAlz0e6uyIh3w6qI2F++TwTez/MwnPD/bCB//oo3aey3ez8dSnp2BmLIO5iRFyKpYs6tPJTnqy08HSBEtH+yPAtwOMZQJMjWUwMZJBVX0BAvJLy/FxxA3svXBX+o6psQxpucquyQc7O2B8Hzccv3kfJ2Pvqz195+dsjfF93DCsa0ckZhXialIuribl4Pb9Ang6WqKvhx36edijj4cdvBwtNd5XQDmFwONrjyE9rwQvPd4Vr1QEjF+upOBfu/6EqZEMvy4ehi4V86w1RWJmIbYcv4U95+/CzEiGGQHemPuIT62/3w0lVyjH2K09FIP7+cpA+5i/M14b0x3FZQpM+uwUTIwEnHjtMbjaVbY8/3vXBfx8JRWjerhg8/QHap1exRDIFSJkAmoMQ0jJKcLnR2/h26hElCkUGNfHDcGPd0U3Fxsd1dQwNOTvt0EEqvj4eKxatQpHjhxBamoq3N3dMX36dLz55pswNVX+sYuMjMT69etx7tw55ObmomvXrli6dCmmTZum8Zi7d+/G1KlTMXHiRHz//fda1ePUqVMYPnw4evfujUuXLmldfwYqaquKy+S4mZYPhSiiX8XafI1RWq6AkUyoMyw1RGFpOa7czYF/xRQWVZXJFdhzPhGfHomVpnOoy865D2F4Nye1baIoYsjqI9L3e7jZYuXEXniwsyNOx97Hih+u4ea9ho3JmfqQJ14b7Q8zExm2HIvDluO3UFym/hSjl6MlvDtY4mxcJkob8ISjICin03C2MYernTnsLUxgZWYMKzNjxKTm4mhMOnw6WuGX4GFSuBdFEbPDonDsRjoe8nHEjIe9IVZs18TM2AgWpkawMFG+ZDJlaASAorJy7DqbgAOXkmuMcTM3keG5B70wrGtH3LyXj+iUXESn5iEttxjGRjKYyAQYG8lgYWIET0cLeHewgncHS3g6WMLcxAgmRgJMjGRIyy3GuogbiE5Vtt652ZnjXl4J5AoRggC42pojJacY/xzogdBn+qnVIfZeHp5cfxwKUdn6+3AXRwz164gHvBxgbCRAFAGFKEIUAZkgQBCU91QUlf9hlZpTjNTcYqTnlcDKzBjONmZwtTOHi605LCrup1AlSKs+CwKgUADlCgXKFSLK5SLkChHGRsr/LRjLBMgVIlJyipGcXYSk7CLczy9FBytTeDhYwMPBAk425oi/X4C/7mbjUmI2/k7JhbWZMfp52qOfhz16d7LDiZvp2H0uscbvjCAA4/u4YcbD3pDJBBSWylFYUo5SuQIWJkawMjOGfdEd2BYlwcbND/aePbX+nWsr2lyg+vXXX/Htt99i6tSp8PPzw9WrVzF//nzMmDEDoaGhAIAPPvgARUVFGDt2LFxcXHDw4EG88sorOHDgAAIDA9WOFx8fj0ceeQRdunSBo6OjVoEqOzsbAwcOhJ+fH9LS0hioiAycKIq4lV6AqPhMnLutfKm66VT/dd+7ky2+nDtYY8vanqhEfHEyDtMGe2PaYC+1Vo0yuQJfnrmDHSdvI7eoDGUKBcoq/lhW16eTHd6d2EuajkElJacIH0fcRHxGAR7x64gne7mim4s1BEFAbnEZfr+ehp8up+Cvu9nw6WiFXu526N3JDl2crHAnowB/Jebg8t1sXEvORYkW80p9PW8whlTrvr6TUYAn1h9v1nmphnXtiH+P8ENecRk+i7yFvxKzm+3YgLKLPPjxrpj+sDfuZhUi9FCM2vQhh15+VGOrzI6Tt7HhyE1kt6EHDap7uIsjgh/vBgcrE3zy+038crX+qT9WGO/EHOPfcNJ1Fh5ZuKEVaqlf2lyg0uSjjz7Cpk2bEBcXV2uZ8ePHw8XFBTt27JC2yeVyPProo5g7dy5OnDiB7OxsrQLVc889h65du8LIyAjff/99nYGqpKQEJSWVTxPl5ubC09OTgYqonVMoRKmVR/kTGsNac58zq1D58EJabjHScouRU1SGgpJy5JfIUVBSjn6e9nh+sJfG739/MQl7zidCFKu0slRrSFQolIP4i8oUKC6To6hUrmzRqbhGQDlO718jfNVaMkVRxOlbGdh6PA4pOUXo5mIDf1cb+LvawtPREnKFiPKKMJpfUo6EzEIkZBQgPqMQSVlFKJUrUCZXoFyuPMmY3q548TG/Gt30FxOysO1EHHq522FRxQMftd2r6ym5OBl7H6di70tj1WSCAFnFRYuiCIWqxQrKlj83O2XLn5ONOQpLypGaW4x7uSVIyytGSZkCIpStW1X/2KruiyBAaoUzlilbvxSistVKLhchCAJcbM3QycES7vbmcLI2w/38UtzNKsTdrCKk5RbDw8EC/Tzs0c/THn062SG7qAyXK1qsriblwMXWHP8e4YcAX/UHaP5OycXGIzfx551smJvIYGlqDEtTI5gay1BU8e84PT8M08v341Knqeg/f3Ot966takigMm6lOjW7nJwcODrWHK9RvUyPHj3Utq1cuRLOzs4ICgrCiRMntDpXWFgY4uLi8NVXX+G9996rt3xISAjeffddrY5NRO1H5Vi65una1PacHazN0MHaTFrqpyEmDeiESQM6tUDNlC2BQ/06anywozkN8HLA59MG1ltOJhPQu5OypW/hcN8WrVNL6+9pj5kBdZfp4WZb/305dhY4uh/9XUzqLkeG+ZRfbGwsNm7ciBdeeKHWMnv27EFUVBTmzJkjbTt58iS2b9+Obdu2aX2umzdvYtmyZfjqq69gbKxd/ly+fDlycnKkV2JiotbnIyIi0humFQ+8lHI2+froNFAtW7YMgiDU+YqOjlb7TlJSEsaMGYNnnnkG8+fP13jco0ePYs6cOdi2bRt69eoFAMjLy8OMGTOwbds2dOyo3X8NyeVyPP/883j33XfRrVs3ra/LzMwMtra2ai8iIiKDY1rxFHMZA1V9dDqGKj09HRkZGXWW6dKli/QkX3JyMkaMGIGHH34Y4eHhkMlq5sFjx45h/PjxWLduHRYsWCBtv3TpEgYMGAAjo8pHwxUK5UBLmUyGmJgY+PqqN/FmZ2fDwcGhxndEUYSRkREOHTqExx57rN7r5KB0IiIySJf3AvvnAT6PArN+1HVtWl2zj6F64IEHGlQBQRDwww8/oFOnuvvdnZyc4OTkVGcZlaSkJIwcORIDBw5EWFiYxjAVGRmJwMBArFmzRi1MAYC/vz+uXLmitu2tt95CXl4ePvnkE3h6etY4nq2tbY3vfP755zhy5Aj+97//wcfHR6u6ExERGSRVCxW7/OqlVaC6dOkSlixZAmvr+id2E0URq1evVnvKramSkpIwYsQIeHt7IzQ0FOnp6dI+V1fljMVHjx5FYGAggoODMXnyZKSmKh8HNTU1haOjI8zNzdG7d2+149rb2wOA2vbly5cjKSkJX375JWQyWY3vODs7azwWERFRm2PCLj9taf2U39KlS+Hs7KxV2bVr1za6QppEREQgNjYWsbGx8PDwUNun6rHcuXMnCgsLERISgpCQEGn/8OHDERkZqfW5UlJSkJCQ0Cz1JiIiMmjSoPQC3dbDAGg1hurOnTvw8vKqMZV9bRITE+Hu7q429qg94xgqIiIySKlXgc1DASsnYGnzr+uo75p9DJW3t3eDKqBpPBIREREZGI6h0lqjJ/YsLCxEQkICSkvVV1Tv27dvkytFREREesCkosuvrBBq0+VTDQ0OVOnp6ZgzZw5++eUXjfvlcnmTK0VERER6QDWGCiJQVlTZYkU1NHhiz8WLFyM7Oxtnz56FhYUFfv31V+zcuRNdu3bFDz/80BJ1JCIiIl0wqRKg+KRfnRrcQnXkyBEcOHAAgwYNgkwmg7e3N5544gnY2toiJCQE48ePb4l6EhERUWuTyQBjC6C8CCjNB6xadt1FQ9bgFqqCggJp+gQHBwdpTqg+ffrgzz//bN7aERERkW5xYLpWGhyounfvjpiYGABAv379sGXLFiQlJWHz5s1wc3Nr9goSERGRDlUdmE61anCXX3BwMFJSUgAAK1aswJgxY7Br1y6YmpoiPDy8uetHREREuiS1UHFyz7o0OFBNnz5dej9w4EDcuXMH0dHR8PLyQseO7FslIiJqU7j8jFYaPQ+ViqWlZYMXTyYiIiIDweVntKJ1oHrllVe0Krdu3bpGV4aIiIj0DFuotKJ1oLp48aLa55MnT2LgwIGwsLCQtmm71h8REREZCKmFioGqLloHqqNHj6p9trGxwddff40uXbo0e6WIiIhIT6gGpZexy68uDZ42gYiIiNoRE46h0gYDFREREdWOE3tqhYGKiIiIaidN7MkWqrpoPYbq8uXLap9FUUR0dDTy8/PVtvft27d5akZERES6xxYqrWgdqPr37w9BECCKorQtMDAQAKTtgiBALpc3fy2JiIhINzhtgla0DlS3b99uyXoQERGRPuLEnlrROlB5e3u3ZD2IiIhIH7GFSitaDUq/fPkyFAqF1ge9du0aysvLG10pIiIi0hOc2FMrWgWqAQMGICMjQ+uDBgQEICEhodGVIiIiIj1hyqf8tKFVl58oivjvf/8LS0tLrQ5aWlrapEoRERGRnlB1+XEMVZ20ClSPPvooYmJitD5oQECA2hp/REREZKA4bYJWtApUkZGRLVwNIiIi0kvSxJ6FgCgCgqDb+ugpzpROREREtVO1UEEEyop0WhV9xkBFREREtTOpMn6aUyfUioGKiIiIaiczAozNle85ML1WDFRERERUN07uWa8GB6qCAqZTIiKidsXUWvmTT/rVqsGBysXFBXPnzsXJkydboj5ERESkb1QD0zm5Z60aHKi++uorZGZm4rHHHkO3bt2wevVqJCcnt0TdiIiISB9wcs96NThQTZo0Cd9//z2SkpKwcOFCfP311/D29kZgYCD279/PNfyIiIjaGmk9Pwaq2jR6ULqTkxNeeeUVXL58GevWrcPvv/+Of/7zn3B3d8fbb7+NwkL2sxIREbUJHJReL61mStckLS0NO3fuRHh4OO7cuYN//vOfCAoKwt27d7FmzRr88ccfOHToUHPWlYiIiHSBy8/Uq8GBav/+/QgLC8Nvv/2Gnj174t///jemT58Oe3t7qcyQIUPQo0eP5qwnERER6Yq0/Ay7/GrT4EA1Z84cPPfcczh16hQefPBBjWXc3d3x5ptvNrlyREREpAfYQlWvBgeqlJQUWFpa1lnGwsICK1asaHSliIiISI9wDFW9GhyoysvLkZubW2O7IAgwMzODqalps1SMiIiI9IQ0sSe7/GrT4EBlb28PQRBq3e/h4YHZs2djxYoVkMm4sg0REZHBM2ULVX0aHKjCw8Px5ptvYvbs2XjooYcAAOfOncPOnTvx1ltvIT09HaGhoTAzM8Mbb7zR7BUmIiKiVsaJPevV4EC1c+dOrF27Fs8++6y0bcKECejTpw+2bNmCw4cPw8vLC++//z4DFRERUVvAiT3r1eA+udOnT2PAgAE1tg8YMABnzpwBADzyyCNISEhoeu0qxMfHIygoCD4+PrCwsICvry9WrFiB0tJSqUxkZCQmTpwINzc3WFlZoX///ti1a1etx9y9ezcEQcCkSZPqPX9JSQnefPNNeHt7w8zMDJ07d8aOHTua49KIiIj0Hwel16vBLVSenp7Yvn07Vq9erbZ9+/bt8PT0BABkZGTAwcGheWoIIDo6GgqFAlu2bIGfnx+uXr2K+fPno6CgAKGhoQCUQa9v3754/fXX4eLigoMHD2LmzJmws7NDYGCg2vHi4+Px6quvYtiwYVqd/9lnn0VaWhq2b98OPz8/pKSkQKFQNNv1ERER6TVOm1AvQRRFsSFf+OGHH/DMM8/A399fmofq/PnziI6Oxv/+9z8EBgZi06ZNuHnzJtatW9cilQaAjz76CJs2bUJcXFytZcaPHw8XFxe11iS5XI5HH30Uc+fOxYkTJ5CdnY3vv/++1mP8+uuveO655xAXFwdHR8dG1TU3Nxd2dnbIycmBra1to45BRESkMwlngR1PAg6dgeC/dF2bVtOQv98N7vJ76qmnEBMTg3HjxiEzMxOZmZkYO3YsoqOjpZagf/3rXy0apgAgJyen3oCjqczKlSvh7OyMoKAgrc7zww8/YNCgQfjwww/RqVMndOvWDa+++iqKiopq/U5JSQlyc3PVXkRERAaLLVT1alCXX1lZGcaMGYPNmzcjJCSkpepUr9jYWGzcuFHq7tNkz549iIqKwpYtW6RtJ0+exPbt23Hp0iWtzxUXF4eTJ0/C3Nwc3333He7fv49///vfyMjIQFhYmMbvhISE4N1339X6HERERHpNNSidY6hq1aAWKhMTE1y+fLnZTr5s2TIIglDnKzo6Wu07SUlJGDNmDJ555hnMnz9f43GPHj2KOXPmYNu2bejVqxcAIC8vDzNmzMC2bdvQsWNHreuoUCggCAJ27dqFhx56COPGjcO6deuwc+fOWlupli9fjpycHOmVmJio9fmIiIj0jkmVp/waNlKo3WjwoPTp06drHJTeGEuWLMHs2bPrLNOlSxfpfXJyMkaOHIkhQ4Zg69atGssfO3YMEyZMwPr16zFz5kxp+61btxAfH48JEyZI21QDy42NjRETEwNfX98ax3Nzc0OnTp1gZ2cnbevRowdEUcTdu3fRtWvXGt8xMzODmZlZnddFRERkMFRdfhCB8mLAxEKn1dFHjVp6ZseOHfj9998xcOBAWFlZqe1vyNgpJycnODk5aVU2KSkJI0eOxMCBAxEWFqZxFvbIyEgEBgZizZo1WLBggdo+f39/XLlyRW3bW2+9hby8PHzyySfSE4rVDR06FHv37kV+fj6srZVT79+4cQMymQweHh5a1Z2IiMigmVRZw7e0gIFKgwYHqqtXr+KBBx4AoAwWVdW1JE1TJCUlYcSIEfD29kZoaCjS09Olfa6urgCU3XyBgYEIDg7G5MmTkZqaCgAwNTWFo6MjzM3N0bt3b7Xj2tvbA4Da9uXLlyMpKQlffvklAOD555/HqlWrMGfOHLz77ru4f/8+li5dirlz58LCgr9QRETUDsiMAGNzZetUaQFgpf3QmfaiwYHq6NGjLVGPOkVERCA2NhaxsbE1WoVUsz7s3LkThYWFCAkJURswP3z4cERGRmp9rpSUFLVJSa2trREREYEXX3wRgwYNQocOHfDss8/ivffea9pFERERGRITS2Wg4sB0jRo8D5VKbGwsbt26hUcffRQWFhYQRbHFWqgMHeehIiIig7e+N5CTCMw7AngM1HVtWkWLzkOVkZGBxx9/HN26dcO4ceOQkpICAAgKCsKSJUsaV2MiIiLSb9LyM1zPT5MGB6qXX34ZJiYmSEhIgKVl5SC1KVOm4Ndff23WyhEREZGe4OSedWrwGKpDhw7ht99+qzGWqWvXrrhz506zVYyIiIj0iKnySXe2UGnW4BaqgoICtZYplczMTM69RERE1FaZsIWqLg0OVMOGDZOmFACUUyUoFAp8+OGHGDlyZLNWjoiIiPSEqsuPT/lp1OAuvw8//BCPP/44zp8/j9LSUrz22mu4du0aMjMzcerUqZaoIxEREematPxMvm7roaca3ELVu3dv3LhxA4888ggmTpyIgoICPP3007h48aLGpVuIiIioDeCg9Do1uIUKAOzs7PDmm282d12IiIhIX5mwy68ujQpU2dnZOHfuHO7duyctMKxSdUFiIiIiaiNMVV1+fMpPkwYHqh9//BHTpk1Dfn4+bG1t1WZHFwSBgYqIiKgtYgtVnRo8hmrJkiWYO3cu8vPzkZ2djaysLOmVmZnZEnUkIiIiXeMYqjo1OFAlJSXhpZde0jgXFREREbVRnNizTg0OVKNHj8b58+dboi5ERESkrzixZ50aPIZq/PjxWLp0Ka5fv44+ffrAxMREbf9TTz3VbJUjIiIiPcGJPevU4EA1f/58AMDKlStr7BMEAXK5vOm1IiIiIv3CiT3r1OBAVX2aBCIiImoHOCi9Tg0eQ0VERETtEKdNqJPWgWrcuHHIycmRPq9evRrZ2dnS54yMDPTs2bNZK0dERER6ourEnqKo27roIa0D1W+//YaSkhLp8wcffKA271R5eTliYmKat3ZERESkH1QtVBCB8mKdVkUfaR2oxGpptPpnIiIiasNULVQAx1FpwDFUREREVD+ZEWBsrnzPyT1r0DpQCYKgtm6fahsRERG1E5zcs1ZaT5sgiiJmz54NMzMzAEBxcTEWLlwIKytlE2DV8VVERETUBplaAUWZbKHSQOtANWvWLLXP06dPr1Fm5syZTa8RERER6Se2UNVK60AVFhbWkvUgIiIifSdN7skWquo4KJ2IiIi0o1p+hl1+NTBQERERkXa4/EytGKiIiIhIO1x+plYMVERERKSdqsvPkBoGKiIiItKOKlCxhaoGBioiIiLSDqdNqBUDFREREWnHlE/51YaBioiIiLRjwnmoasNARURERNoxt1P+LMrSbT30EAMVERERacfGVfkzL0239dBDDFRERESkHVWgyk/VbT30EAMVERERace6IlAVpAPyMt3WRc8wUBEREZF2LDsAMmPl+/x7uq2LnmGgIiIiIu3IZIC1i/I9u/3UMFARERGR9lSBigPT1TBQERERkfakJ/1SdFsPPcNARURERNqTuvzYQlUVAxURERFpz8ZN+TOPY6iqMohAFR8fj6CgIPj4+MDCwgK+vr5YsWIFSktLpTKRkZGYOHEi3NzcYGVlhf79+2PXrl21HnP37t0QBAGTJk2q9/y7du1Cv379YGlpCTc3N8ydOxcZGRnNcWlERESGxYYtVJoYRKCKjo6GQqHAli1bcO3aNaxfvx6bN2/GG2+8IZU5ffo0+vbti3379uHy5cuYM2cOZs6ciYMHD9Y4Xnx8PF599VUMGzas3nOfOnUKM2fORFBQEK5du4a9e/fi3LlzmD9/frNeIxERkUGw5hgqTQRRFEVdV6IxPvroI2zatAlxcXG1lhk/fjxcXFywY8cOaZtcLsejjz6KuXPn4sSJE8jOzsb3339f6zFCQ0OxadMm3Lp1S9q2ceNGrFmzBnfv3tWqrrm5ubCzs0NOTg5sbW21+g4REZFeSr4IbB2hDFavxui6Ni2qIX+/DaKFSpOcnBw4Ojo2uMzKlSvh7OyMoKAgrc4TEBCAxMRE/PzzzxBFEWlpafjf//6HcePG1fqdkpIS5Obmqr2IiIjaBNUYqoJ7gEKu27roEYMMVLGxsdi4cSNeeOGFWsvs2bMHUVFRmDNnjrTt5MmT2L59O7Zt26b1uYYOHYpdu3ZhypQpMDU1haurK+zs7PDZZ5/V+p2QkBDY2dlJL09PT63PR0REpNesnABBBogK5RI0BEDHgWrZsmUQBKHOV3R0tNp3kpKSMGbMGDzzzDO1jmM6evQo5syZg23btqFXr14AgLy8PMyYMQPbtm1Dx44dta7j9evXERwcjLfffhsXLlzAr7/+ivj4eCxcuLDW7yxfvhw5OTnSKzExUevzERER6TWZkTJUAXzSrwqdjqFKT0+v92m5Ll26wNTUFACQnJyMESNG4OGHH0Z4eDhkspp58NixYxg/fjzWrVuHBQsWSNsvXbqEAQMGwMjISNqmUCgAADKZDDExMfD19a1xvBkzZqC4uBh79+6Vtp08eRLDhg1DcnIy3Nzc6r1OjqEiIqI2ZcujQMpfwPN7gG6jdV2bFtOQv9/GrVQnjZycnODk5KRV2aSkJIwcORIDBw5EWFiYxjAVGRmJwMBArFmzRi1MAYC/vz+uXLmitu2tt95CXl4ePvnkk1q75QoLC2FsrH6bVKHMQMfzExERNY21K4C/2EJVhU4DlbaSkpIwYsQIeHt7IzQ0FOnplX22rq7KxzePHj2KwMBABAcHY/LkyUhNVf4jm5qawtHREebm5ujdu7face3t7QFAbfvy5cuRlJSEL7/8EgAwYcIEzJ8/H5s2bcLo0aORkpKCxYsX46GHHoK7u3tLXjYREZF+Us1FxUAlMYhAFRERgdjYWMTGxsLDw0Ntn6qVaOfOnSgsLERISAhCQkKk/cOHD0dkZKTW50pJSUFCQoL0efbs2cjLy8Onn36KJUuWwN7eHo899hjWrFnTtIsiIiIyVKq5qPIZqFQMdh4qQ8IxVERE1KZEbQd+egXoPh6Y+rWua9Ni2sU8VERERKQjNmyhqo6BioiIiBpGWn6GgUqFgYqIiIgapuoCyRVTELV3DFRERETUMNYVgUpRDhRl6rYueoKBioiIiBrGyASwrFh1JC9Ft3XREwxURERE1HCqgel5abqth55goCIiIqKG45N+ahioiIiIqOH4pJ8aBioiIiJqOC4/o4aBioiIiBqOy8+oYaAiIiKihuOgdDUMVERERNRwHJSuhoGKiIiIGs66yhgqUdRtXfQAAxURERE1nCpQyUuBoizd1kUPMFARERFRw5mYAxYOyvf5HEfFQEVERESNI81FxeVnGKiIiIiocaS5qNhCxUBFREREjWPjpvzJJ/0YqIiIiKiRrNlCpcJARURERI1jwzFUKgxURERE1DjWXM9PhYGKiIiIGqdjV+XPtGuAQq7buugYAxURERE1jnNPwMwWKM0D0q7qujY6xUBFREREjSMzAjwHK9/fOaPbuugYAxURERE1ntfDyp8Jp3VbDx1joCIiIqLG8x6i/HnnTLteJJmBioiIiBrP/QHAyBQouAdkxum6NjrDQEVERESNZ2IOdBqofJ/QfsdRMVARERFR06jGUbXjgekMVERERNQ0XhXjqNrxwHQGKiIiImoaz4cACMoxVO10XT8GKiIiImoaC3vApbfyfTsdR8VARURERE0nzUfFQEVERETUON4Byp932uc4KgYqIiIiajrVwPS0q0Bxrm7rogMMVERERNR0tm6AQ2dAVAB3z+m6Nq2OgYqIiIiah1eVZWgAoCQPSL4E5KborEqtxVjXFSAiIqI2wuth4K+vgagvgEu7gLyKIGXhACy+ApjZ6LZ+LYgtVERERNQ8fIYBggwozq4MUwBQlAUk/amzarUGtlARERFR83DsAkzfrwxTHbsBHXyBg68A1/YDd6OALsN1XcMWw0BFREREzcd3pPpnj0HKQJV0QTf1aSXs8iMiIqKW4/Gg8ufdKEAUdVuXFsRARURERC3HtS8gMwEK0oHsBF3XpsUYRKCKj49HUFAQfHx8YGFhAV9fX6xYsQKlpaVSmcjISEycOBFubm6wsrJC//79sWvXLrXjhIeHQxAEtZe5uXm954+MjMQDDzwAMzMz+Pn5ITw8vLkvkYiIqG0yMQdc+yjf343SbV1akEGMoYqOjoZCocCWLVvg5+eHq1evYv78+SgoKEBoaCgA4PTp0+jbty9ef/11uLi44ODBg5g5cybs7OwQGBgoHcvW1hYxMTHSZ0EQ6jz37du3MX78eCxcuBC7du3C4cOHMW/ePLi5uWH06NEtc8FERERticcgIPlP5TiqPv/UdW1ahCCKhtmh+dFHH2HTpk2Ii4urtcz48ePh4uKCHTt2AFC2UC1evBjZ2dlan+f111/HTz/9hKtXr0rbnnvuOWRnZ+PXX3/V+J2SkhKUlJRIn3Nzc+Hp6YmcnBzY2tpqfW4iIqI24fIeYP985Xiqeb/rujZay83NhZ2dnVZ/vw2iy0+TnJwcODo6NrhMfn4+vL294enpiYkTJ+LatWt1HuPMmTMYNWqU2rbRo0fjzJnaV9MOCQmBnZ2d9PL09KznaoiIiNqwTgOVP1MuA+UldZc1UAYZqGJjY7Fx40a88MILtZbZs2cPoqKiMGfOHGlb9+7dsWPHDhw4cABfffUVFAoFhgwZgrt379Z6nNTUVLi4uKhtc3FxQW5uLoqKijR+Z/ny5cjJyZFeiYmJDbxCIiKiNsSxC2DhCMhLgNSr9Zc3QDoNVMuWLasxSLz6Kzo6Wu07SUlJGDNmDJ555hnMnz9f43GPHj2KOXPmYNu2bejVq5e0PSAgADNnzkT//v0xfPhw7N+/H05OTtiyZUuzXpeZmRlsbW3VXkRERO2WICjHUQFA0nnd1qWF6HRQ+pIlSzB79uw6y3Tp0kV6n5ycjJEjR2LIkCHYunWrxvLHjh3DhAkTsH79esycObPOY5uYmGDAgAGIjY2ttYyrqyvS0tLUtqWlpcHW1hYWFhZ1Hp+IiIgqdBoE3DykfNJvcO09TIZKp4HKyckJTk5OWpVNSkrCyJEjMXDgQISFhUEmq9m4FhkZicDAQKxZswYLFiyo95hyuRxXrlzBuHHjai0TEBCAn3/+WW1bREQEAgICtKo3ERERobKF6m7bbKEyiDFUSUlJGDFiBLy8vBAaGor09HSkpqYiNTVVKnP06FGMHz8eL730EiZPniztz8zMlMqsXLkShw4dQlxcHP78809Mnz4dd+7cwbx586Qyy5cvV2vZWrhwIeLi4vDaa68hOjoan3/+Ofbs2YOXX365dS6eiIioLVANTM+6DRTc121dWoBBBKqIiAjExsbi8OHD8PDwgJubm/RS2blzJwoLCxESEqK2/+mnn5bKZGVlYf78+ejRowfGjRuH3NxcnD59Gj179pTKpKSkICGhciZXHx8f/PTTT4iIiEC/fv2wdu1afPHFF5yDioiIqCEs7JULJgNtcl0/g52HypA0ZB4LIiKiNuu7fwF/fQ08uhR47C1d16Ze7WIeKiIiIjIwbXgcFQMVERERtQ5p6oQLgEKh27o0MwYqIiIiah3OvQBjC6AkF8i4qevaNCsGKiIiImodRsaAS8WDYOnRdZc1MAxURERE1Ho6+Cl/ZtQ+qbYhYqAiIiKi1tOhq/LnfQYqIiIiosbp4Kv8yRYqIiIiokbqWNFCxUHpRERERI3k2EX5sygLKMjQbV2aEQMVERERtR5TK8DWQ/m+DXX7MVARERFR6+qoetKv7XT7MVARERFR62qDUycwUBEREVHrkqZOYAsVERERUeNILVS3dFuPZsRARURERK1LNYYqMw5QyHVbl2bCQEVERESty84TMDID5CVATqKua9MsGKiIiIiodcmMKuejaiNL0DBQERERUevr2Lae9GOgIiIiotbXoW3NRcVARURERK1PNXUCW6iIiIiIGknVQsUxVERERESN1LGihSr3LlBaoNu6NAMGKiIiImp9lo6AhYPyfWacbuvSDBioiIiISDfa0BI0DFRERESkG21oCRoGKiIiItKNjm1n6gQGKiIiItKNNjR1AgMVERER6UbVqRNEUbvvZN0BNgwATqxtuXo1AgMVERER6YZjFwACUJIDFNzX7jsXv1I+FXhqAyAvb9HqNQQDFREREemGiTlg76l8r+04qhu/KH8WZwN3z7VItRqDgYqIiIh0x6W38ueVvfWXzU4EUq9Ufo75pWXq1AgMVERERKQ7AYuUPy/srH8+qhu/Kn8amVV8/q3l6tVADFRERESkO50fAbqNAUQ58Ps7dZdVBaqARYDMGLgfozezrDNQERERkW6NegcQZED0QSDhrOYyJXnA7ePK932nAF4Byvd60krFQEVERES65dwD6D9N+T7ibc1TKNw6CshLAQcfwKm7slULqGy10jEGKiIiItK9kW8AxhZA4h9A9E8196uCU/exgCBUBqr4U0BxbuvVsxYMVERERKR7tu5AwL+V739/R32OKYW8smtPFaQ6+iknBlWUAXFHW7WqmjBQERERkX4YGgxYOCrnpDr8TmXX393zQOF9wMwO8B5SWV4VrmJ03+3HQEVERET6wdwOeHKV8v3pjcDBlytapyrmm+o6CjAyqSzfbbTy581DynI6ZKzTsxMRERFVNWA6IC9ThqkLYcoZ0dOuK/d1G6te1itA2WpVeB9I+hPwfLDVq6vCFioiIiLSL4PmAP/cAchMgGvfKeebEoyULVRVGZkAfo8r39/Q7azpDFRERESkf3o/DTy/GzCxVH72CgAsHGqWk6ZP0O18VAYRqOLj4xEUFAQfHx9YWFjA19cXK1asQGlpqVQmMjISEydOhJubG6ysrNC/f3/s2rVL7Tjh4eEQBEHtZW5uXue59+/fjyeeeAJOTk6wtbVFQEAAfvtNPyYRIyIiatP8RgGzfgS6jgZGLNNcpusTytYrCEBpQatWryqDGEMVHR0NhUKBLVu2wM/PD1evXsX8+fNRUFCA0NBQAMDp06fRt29fvP7663BxccHBgwcxc+ZM2NnZITAwUDqWra0tYmJipM+CINR57uPHj+OJJ57ABx98AHt7e4SFhWHChAk4e/YsBgwY0DIXTEREREoeg4Bpe2rfb+kILIkGrJ1br04aCKKoaTpS/ffRRx9h06ZNiIurfQ2f8ePHw8XFBTt27ACgbKFavHgxsrOzm3TuXr16YcqUKXj77be1Kp+bmws7Ozvk5OTA1ta2SecmIiKi1tGQv98G0eWnSU5ODhwdHRtcJj8/H97e3vD09MTEiRNx7dq1Bp1XoVAgLy+vznOXlJQgNzdX7UVERERtl0EGqtjYWGzcuBEvvPBCrWX27NmDqKgozJkzR9rWvXt37NixAwcOHMBXX30FhUKBIUOG4O7du1qfOzQ0FPn5+Xj22WdrLRMSEgI7Ozvp5enpqfXxiYiIyPDotMtv2bJlWLNmTZ1l/v77b/j7+0ufk5KSMHz4cIwYMQJffPGFxu8cPXoUgYGB2LRpE2bOnFnrscvKytCjRw9MnToVq1atqre+X3/9NebPn48DBw5g1KhRtZYrKSlBSUmJ9Dk3Nxeenp7s8iMiIjIgDeny0+mg9CVLlmD27Nl1lunSpYv0Pjk5GSNHjsSQIUOwdetWjeWPHTuGCRMmYP369XWGKQAwMTHBgAEDEBsbW29dd+/ejXnz5mHv3r11hikAMDMzg5mZWb3HJCIiorZBp4HKyckJTk5OWpVNSkrCyJEjMXDgQISFhUEmq9lbGRkZicDAQKxZswYLFiyo95hyuRxXrlzBuHHj6iz3zTffYO7cudi9ezfGjx+vVX2JiIio/TCIaROSkpIwYsQIeHt7IzQ0FOnp6dI+V1dXAJXdfMHBwZg8eTJSU1MBAKamptIA8pUrV+Lhhx+Gn58fsrOz8dFHH+HOnTuYN2+edLzly5cjKSkJX375JQBlN9+sWbPwySefYPDgwdJxLSwsYGdn1yrXT0RERPrNIAalR0REIDY2FocPH4aHhwfc3Nykl8rOnTtRWFiIkJAQtf1PP/20VCYrKwvz589Hjx49MG7cOOTm5uL06dPo2bOnVCYlJQUJCQnS561bt6K8vByLFi1SO25wcHDrXDwRERHpPYOdh8qQcB4qIiIiw9Mu5qEiIiIi0hcMVERERERNxEBFRERE1EQMVERERERNxEBFRERE1EQGMQ+VoVM9SMlFkomIiAyH6u+2NhMiMFC1gry8PADgIslEREQGKC8vr97JvDkPVStQKBRITk6GjY0NBEFo1mOrFl5OTEzkHFdNxHvZPHgfmw/vZfPhvWw+7eleiqKIvLw8uLu7a1zyriq2ULUCmUwGDw+PFj2Hra1tm//Fbi28l82D97H58F42H97L5tNe7qW2y8xxUDoRERFREzFQERERETURA5WBMzMzw4oVK2BmZqbrqhg83svmwfvYfHgvmw/vZfPhvdSMg9KJiIiImogtVERERERNxEBFRERE1EQMVERERERNxEBFRERE1EQMVAbss88+Q+fOnWFubo7Bgwfj3Llzuq6S3gsJCcGDDz4IGxsbODs7Y9KkSYiJiVErU1xcjEWLFqFDhw6wtrbG5MmTkZaWpqMaG4bVq1dDEAQsXrxY2sb7qL2kpCRMnz4dHTp0gIWFBfr06YPz589L+0VRxNtvvw03NzdYWFhg1KhRuHnzpg5rrJ/kcjn++9//wsfHBxYWFvD19cWqVavU1mHjvdTs+PHjmDBhAtzd3SEIAr7//nu1/drct8zMTEybNg22trawt7dHUFAQ8vPzW/EqdIuBykB9++23eOWVV7BixQr8+eef6NevH0aPHo179+7pump67dixY1i0aBH++OMPREREoKysDE8++SQKCgqkMi+//DJ+/PFH7N27F8eOHUNycjKefvppHdZav0VFRWHLli3o27ev2nbeR+1kZWVh6NChMDExwS+//ILr169j7dq1cHBwkMp8+OGH2LBhAzZv3oyzZ8/CysoKo0ePRnFxsQ5rrn/WrFmDTZs24dNPP8Xff/+NNWvW4MMPP8TGjRulMryXmhUUFKBfv3747LPPNO7X5r5NmzYN165dQ0REBA4ePIjjx49jwYIFrXUJuieSQXrooYfERYsWSZ/lcrno7u4uhoSE6LBWhufevXsiAPHYsWOiKIpidna2aGJiIu7du1cq8/fff4sAxDNnzuiqmnorLy9P7Nq1qxgRESEOHz5cDA4OFkWR97EhXn/9dfGRRx6pdb9CoRBdXV3Fjz76SNqWnZ0tmpmZid98801rVNFgjB8/Xpw7d67atqefflqcNm2aKIq8l9oCIH733XfSZ23u2/Xr10UAYlRUlFTml19+EQVBEJOSklqt7rrEFioDVFpaigsXLmDUqFHSNplMhlGjRuHMmTM6rJnhycnJAQA4OjoCAC5cuICysjK1e+vv7w8vLy/eWw0WLVqE8ePHq90vgPexIX744QcMGjQIzzzzDJydnTFgwABs27ZN2n/79m2kpqaq3Us7OzsMHjyY97KaIUOG4PDhw7hx4wYA4K+//sLJkycxduxYALyXjaXNfTtz5gzs7e0xaNAgqcyoUaMgk8lw9uzZVq+zLnBxZAN0//59yOVyuLi4qG13cXFBdHS0jmpleBQKBRYvXoyhQ4eid+/eAIDU1FSYmprC3t5erayLiwtSU1N1UEv9tXv3bvz555+IioqqsY/3UXtxcXHYtGkTXnnlFbzxxhuIiorCSy+9BFNTU8yaNUu6X5r+9857qW7ZsmXIzc2Fv78/jIyMIJfL8f7772PatGkAwHvZSNrct9TUVDg7O6vtNzY2hqOjY7u5twxU1G4tWrQIV69excmTJ3VdFYOTmJiI4OBgREREwNzcXNfVMWgKhQKDBg3CBx98AAAYMGAArl69is2bN2PWrFk6rp1h2bNnD3bt2oWvv/4avXr1wqVLl7B48WK4u7vzXlKLY5efAerYsSOMjIxqPDGVlpYGV1dXHdXKsPznP//BwYMHcfToUXh4eEjbXV1dUVpaiuzsbLXyvLfqLly4gHv37uGBBx6AsbExjI2NcezYMWzYsAHGxsZwcXHhfdSSm5sbevbsqbatR48eSEhIAADpfvF/7/VbunQpli1bhueeew59+vTBjBkz8PLLLyMkJAQA72VjaXPfXF1dazwUVV5ejszMzHZzbxmoDJCpqSkGDhyIw4cPS9sUCgUOHz6MgIAAHdZM/4miiP/85z/47rvvcOTIEfj4+KjtHzhwIExMTNTubUxMDBISEnhvq3j88cdx5coVXLp0SXoNGjQI06ZNk97zPmpn6NChNabuuHHjBry9vQEAPj4+cHV1VbuXubm5OHv2LO9lNYWFhZDJ1P+sGRkZQaFQAOC9bCxt7ltAQACys7Nx4cIFqcyRI0egUCgwePDgVq+zTuh6VDw1zu7du0UzMzMxPDxcvH79urhgwQLR3t5eTE1N1XXV9Nq//vUv0c7OToyMjBRTUlKkV2FhoVRm4cKFopeXl3jkyBHx/PnzYkBAgBgQEKDDWhuGqk/5iSLvo7bOnTsnGhsbi++//7548+ZNcdeuXaKlpaX41VdfSWVWr14t2tvbiwcOHBAvX74sTpw4UfTx8RGLiop0WHP9M2vWLLFTp07iwYMHxdu3b4v79+8XO3bsKL722mtSGd5LzfLy8sSLFy+KFy9eFAGI69atEy9evCjeuXNHFEXt7tuYMWPEAQMGiGfPnhVPnjwpdu3aVZw6daquLqnVMVAZsI0bN4peXl6iqamp+NBDD4l//PGHrquk9wBofIWFhUllioqKxH//+9+ig4ODaGlpKf7jH/8QU1JSdFdpA1E9UPE+au/HH38Ue/fuLZqZmYn+/v7i1q1b1fYrFArxv//9r+ji4iKamZmJjz/+uBgTE6Oj2uqv3NxcMTg4WPTy8hLNzc3FLl26iG+++aZYUlIileG91Ozo0aMa/79x1qxZoihqd98yMjLEqVOnitbW1qKtra04Z84cMS8vTwdXoxuCKFaZQpaIiIiIGoxjqIiIiIiaiIGKiIiIqIkYqIiIiIiaiIGKiIiIqIkYqIiIiIiaiIGKiIiIqIkYqIiIiIiaiIGKiIiIqIkYqIjIILzzzjvo379/k44RHx8PQRBw6dKlZqlTbUaMGIHFixe36DmISL8wUBFRs0hMTMTcuXPh7u4OU1NTeHt7Izg4GBkZGQ0+liAI+P7779W2vfrqq2qLszaGp6cnUlJS0Lt37yYdRyUyMhKCICA7O1tt+/79+7Fq1apmOUdjtFZwJKJKDFRE1GRxcXEYNGgQbt68iW+++QaxsbHYvHkzDh8+jICAAGRmZjb5HNbW1ujQoUOTjmFkZARXV1cYGxs3uT51cXR0hI2NTYueg4j0CwMVETXZokWLYGpqikOHDmH48OHw8vLC2LFj8fvvvyMpKQlvvvmmVLZz585YtWoVpk6dCisrK3Tq1AmfffaZ2n4A+Mc//gFBEKTP1bv8Zs+ejUmTJuGDDz6Ai4sL7O3tsXLlSpSXl2Pp0qVwdHSEh4cHwsLCpO9Ub7mZPXs2BEGo8YqMjAQA/N///R8GDRoEGxsbuLq64vnnn8e9e/ekY40cORIA4ODgAEEQMHv2bAA1u/yysrIwc+ZMODg4wNLSEmPHjsXNmzel/eHh4bC3t8dvv/2GHj16wNraGmPGjEFKSkqt9zwrKwvTpk2Dk5MTLCws0LVrV+lafXx8AAADBgyAIAgYMWKE9L0vvvgCPXr0gLm5Ofz9/fH555/XuD+7d+/GkCFDYG5ujt69e+PYsWNanZeoXdP16sxEZNgyMjJEQRDEDz74QOP++fPniw4ODqJCoRBFURS9vb1FGxsbMSQkRIyJiRE3bNggGhkZiYcOHRJFURTv3bsnAhDDwsLElJQU8d69e6IoiuKKFSvEfv36ScedNWuWaGNjIy5atEiMjo4Wt2/fLgIQR48eLb7//vvijRs3xFWrVokmJiZiYmKiKIqiePv2bRGAePHiRVEURTE7O1tMSUmRXsHBwaKzs7OYkpIiiqIobt++Xfz555/FW7duiWfOnBEDAgLEsWPHiqIoiuXl5eK+fftEAGJMTIyYkpIiZmdni6IoisOHDxeDg4Oluj711FNijx49xOPHj4uXLl0SR48eLfr5+YmlpaWiKIpiWFiYaGJiIo4aNUqMiooSL1y4IPbo0UN8/vnna73vixYtEvv37y9GRUWJt2/fFiMiIsQffvhBFEVRPHfunAhA/P3338WUlBQxIyNDFEVR/Oqrr0Q3Nzdx3759YlxcnLhv3z7R0dFRDA8PV7s/Hh4e4v/+9z/x+vXr4rx580QbGxvx/v379Z6XqD1joCKiJvnjjz9EAOJ3332ncf+6detEAGJaWpooispANWbMGLUyU6ZMkYKKKIoaj6cpUHl7e4tyuVza1r17d3HYsGHS5/LyctHKykr85ptvRFGsGaiq2rdvn2hubi6ePHmy1muNiooSAYh5eXmiKIri0aNHRQBiVlaWWrmqgerGjRsiAPHUqVPS/vv374sWFhbinj17RFFUBioAYmxsrFTms88+E11cXGqty4QJE8Q5c+Zo3Ffbdfr6+opff/212rZVq1aJAQEBat9bvXq1tL+srEz08PAQ16xZU+95idozdvkRUbMQRVHrsgEBATU+//333w0+Z69evSCTVf7fmIuLC/r06SN9NjIyQocOHaRuutpcvHgRM2bMwKeffoqhQ4dK2y9cuIAJEybAy8sLNjY2GD58OAAgISFB6zr+/fffMDY2xuDBg6VtHTp0QPfu3dWu2dLSEr6+vtJnNze3Ouv9r3/9C7t370b//v3x2muv4fTp03XWo6CgALdu3UJQUBCsra2l13vvvYdbt26pla3672NsbIxBgwZJdW3oeYnaCwYqImoSPz8/CIJQayD6+++/4eDgACcnp2Y/t4mJidpnQRA0blMoFLUeIzU1FU899RTmzZuHoKAgaXtBQQFGjx4NW1tb7Nq1C1FRUfjuu+8AAKWlpc14FUqa6l1XSB07dizu3LmDl19+GcnJyXj88cfx6quv1lo+Pz8fALBt2zZcunRJel29ehV//PGH1vVs6HmJ2gsGKiJqkg4dOuCJJ57A559/jqKiIrV9qamp2LVrF6ZMmQJBEKTt1f+A//HHH+jRo4f02cTEBHK5vGUrDqC4uBgTJ06Ev78/1q1bp7YvOjoaGRkZWL16NYYNGwZ/f/8aLUampqYAUGdde/TogfLycpw9e1balpGRgZiYGPTs2bNJ9XdycsKsWbPw1Vdf4eOPP8bWrVtrrZeLiwvc3d0RFxcHPz8/tZdqELtK1X+f8vJyXLhwQe3fp7bzErVnLfvsMBG1C59++imGDBmC0aNH47333oOPjw+uXbuGpUuXolOnTnj//ffVyp86dQoffvghJk2ahIiICOzduxc//fSTtL9z5844fPgwhg4dCjMzMzg4OLRIvV944QUkJibi8OHDSE9Pl7Y7OjrCy8sLpqam2LhxIxYuXIirV6/WmFvK29sbgiDg4MGDGDduHCwsLGBtba1WpmvXrpg4cSLmz5+PLVu2wMbGBsuWLUOnTp0wceLERtf97bffxsCBA9GrVy+UlJTg4MGDUuhxdnaGhYUFfv31V3h4eMDc3Bx2dnZ499138dJLL8HOzg5jxoxBSUkJzp8/j6ysLLzyyivSsT/77DN07doVPXr0wPr165GVlYW5c+fWe16i9owtVETUZF27dsX58+fRpUsXPPvss/D19cWCBQswcuRInDlzBo6OjmrllyxZgvPnz2PAgAF47733sG7dOowePVrav3btWkRERMDT0xMDBgxosXofO3YMKSkp6NmzJ9zc3KTX6dOn4eTkhPDwcOzduxc9e/bE6tWrERoaqvb9Tp064d1338WyZcvg4uKC//znPxrPExYWhoEDByIwMBABAQEQRRE///xzjW6+hjA1NcXy5cvRt29fPProozAyMsLu3bsBKMc9bdiwAVu2bIG7u7sU3ObNm4cvvvgCYWFh6NOnD4YPH47w8PAaLVSrV6/G6tWr0a9fP5w8eRI//PADOnbsWO95idozQWzISFIioibq3LkzFi9ezKVZ9FB8fDx8fHxw8eLFJi/zQ9TesIWKiIiIqIkYqIiIiIiaiF1+RERERE3EFioiIiKiJmKgIiIiImoiBioiIiKiJmKgIiIiImoiBioiIiKiJmKgIiIiImoiBioiIiKiJmKgIiIiImqi/wfcxuX4ihJJJQAAAABJRU5ErkJggg==", "text/plain": [ "
" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "# Plot the energies.\n", "\n", "vqe_y = vqe_energies\n", "vqe_x = list(range(len(vqe_y)))\n", "plt.plot(vqe_x, vqe_y, label=\"VQE\")\n", "\n", "afqmc_y = list(qmc_data[\"ETotal\"])\n", "afqmc_x = [i + vqe_x[-1] for i in list(range(len(afqmc_y)))]\n", "plt.plot(afqmc_x, afqmc_y, label=\"AFQMC\")\n", "\n", "plt.xlabel(\"Optimization steps\")\n", "plt.ylabel(\"Energy [Ha]\")\n", "plt.legend()" ] }, { "cell_type": "code", "execution_count": 22, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "CUDA-Q Version 0.9.0-rc2 (https://github.com/NVIDIA/cuda-quantum 61c2ecfe1cfd7fa2ad6cbf192c300180a89c75f0)\n" ] } ], "source": [ "print(cudaq.__version__)" ] } ], "metadata": { "kernelspec": { "display_name": "Python 3", "language": "python", "name": "python3" }, "language_info": { "codemirror_mode": { "name": "ipython", "version": 3 }, "file_extension": ".py", "mimetype": "text/x-python", "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython3", "version": "3.10.12" } }, "nbformat": 4, "nbformat_minor": 2 }