test_model_stochastic.ipynb

{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [],
   "source": [
    "import numpy as np\n",
    "\n",
    "import numpy as np\n",
    "import json\n",
    "\n",
    "from stochastic_arrival_times.fjsp_env.debug_gantt_chart import draw_gantt_chart, get_machine_op_durations, calculate_horizon_with_arrival_times\n",
    "from evaluations.stochastic.benchmark import new_model, load_benchmark_release_times\n",
    "from validate import validate_and_get_environment\n",
    "from uniform_instance_gen import datasetConfigs"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### 0. Set problem size"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {},
   "outputs": [],
   "source": [
    "# Change this, either 1 to 10 based on Brandimarte problems (MK01 to MK10)\n",
    "PROBLEM_SIZE = 1\n",
    "\n",
    "if PROBLEM_SIZE > 10 or PROBLEM_SIZE < 1:\n",
    "    raise Exception('PROBLEM_SIZE must be between 1 and 10')"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### 1. Load model and load benchmark problem"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {},
   "outputs": [],
   "source": [
    "# 1. Load weight\n",
    "i = PROBLEM_SIZE - 1\n",
    "weights = json.load(open('saved_weights.json'))['stochastic']\n",
    "model = new_model(problem_size=i+1, weight_id=weights['MK{:02d}'.format(i+1)])\n",
    "\n",
    "\n",
    "# 2. Load benchmark problem\n",
    "problem = np.load('./evaluations/standard/brandimarte/brandimarte_dataset_numpy/MK{:02d}.fjs.npy'.format(i+1))\n",
    "ub_ops = datasetConfigs[\"MK{:02d}\".format(i+1)].highest_num_of_operations_per_job\n",
    "\n",
    "release_times = load_benchmark_release_times(PROBLEM_SIZE)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### 2. Get Makespan"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "73.0"
      ]
     },
     "execution_count": 4,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "makespan, env = validate_and_get_environment(validation=problem, model=model, ub_num_of_operations_per_job=ub_ops, release_times=release_times)\n",
    "makespan *= -1\n",
    "\n",
    "makespan"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### 3. Visualize schedule"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAACg0AAAJoCAYAAABf4jM4AAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjUuMSwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy/YYfK9AAAACXBIWXMAAAsTAAALEwEAmpwYAAB3dUlEQVR4nOzdeXgddaE+8HeSdC+lQFvWsrVQtrLLqlCQTQEFAQWVn6CCG169VxDxyqLoFb31evXihqCguBVUlEWQxQCyCFS2UgTZhAKFlgJt0iVNMr8/UsrWYsA2k2Y+n+fpk5yZyfm+6Zkz5+Sc93ynKMsyAAAAAAAAAAAAQN/XUHUAAAAAAAAAAAAAoGcoDQIAAAAAAAAAAEBNKA0CAAAAAAAAAABATSgNAgAAAAAAAAAAQE0oDQIAAAAAAAAAAEBNKA0CAAAAAAAAAABATTRVHQBgRTN8+PBy7NixVccAaq61tTVDhgypOgZQc45FQG/gWAT0Fo5HQG/gWAT0Bo5FQG/gWATJ5MmTZ5ZlOXJJ65QGAV6n1VdfPbfddlvVMYCaa25uzoQJE6qOAdScYxHQGzgWAb2F4xHQGzgWAb2BYxHQGzgWQVIUxT+Wts7piQEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpQGAQAAAAAAAAAAoCaUBgEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpQGAQAAAAAAAAAAoCaUBgEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpQGAQAAAAAAAAAAoCaUBgEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpQGAQAAAAAAAAAAoCaUBgEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpQGAQAAAAAAAAAAoCaUBgEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpQGAQAAAAAAAAAAoCaUBgEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpQGAQAAAAAAAAAAoCaUBgEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpQGAQAAAAAAAAAAoCaUBgEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpQGAQAAAAAAAAAAoCaUBgEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpQGAQAAAAAAAAAAoCaUBgEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpQGAQAAAAAAAAAAoCaUBgEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpQGAQAAAAAAAAAAoCaUBgEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpQGAQAAAAAAAAAAoCaUBgEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpQGAQAAAAAAAAAAoCaUBgEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpQGAQAAAAAAAAAAoCaUBgEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpQGAQAAAAAAAAAAoCaUBgEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpQGAQAAAAAAAAAAoCaUBgEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpQGAQAAAAAAAAAAoCaUBgEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpQGAQAAAAAAAAAAoCaUBgEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpQGAQAAAAAAAAAAoCaUBgEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpQGAQAAAAAAAAAAoCaUBgEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpQGAQAAAAAAAAAAoCaUBgEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpQGAQAAAAAAAAAAoCaUBgEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpQGAQAAAAAAAAAAoCaUBgEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpQGAQAAAAAAAAAAoCaUBgEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpqqDgAAANTHxCPnVR2BZWj0nmUmnuM2XV5azx9cdYQecWpZVh2hz3r3cVv3+Jibf+fOHh9z44kT88U99ujxcelbqjgWHfXj83p8zPOOfrjHx6yTiRmXPXJa1TFYgZX2H+AVDihO7/ExR/xo3R4fk75nwrChPf5899yjP9Cj4wHAis5MgwAAAAAAAAAAAFATSoMAAAAAAAAAAABQE0qDAAAAAAAAAAAAUBNKgwAAAAAAAAAAAFATSoMAAAAAAAAAAABQE0qDAAAAAAAAAAAAUBNKgwAAAAAAAAAAAFATSoMAAAAAAAAAAABQE0qDAAAAAAAAAAAAUBNKgwAAAAAAAAAAAFATSoMAAAAAAAAAAABQE0qDAAAAAAAAAAAAUBNKgwAAAAAAAAAAAFATSoMAAAAAAAAAAABQE0qDAAAAAAAAAAAAUBNKgwAAAAAAAAAAAFATSoMAAAAAAAAAAABQE0qDAAAAAAAAAAAAUBNKgwAAAAAAAAAAAFATSoMAAAAAAAAAAABQE0qDAAAAAAAAAAAAUBNKgwAAAAAAAAAAAFATTd3crjNJsej7Ml1lw/IV28xPMmgZ5QIAAHjd9v1wv4zZpjFzZ5c596QFSZJdD2nK2G0bU5bJ3Nll/nBWW1qfqzZn3SzpdnnB9m9vyoQj+uU7H5uXeS0VBayhxgEDcvR116VxwIA0NDXl3gsvTPNpp2Xvr389Gx94YDra2jLrwQfzu6OPzoLnn686LsvRmqPWy79/8OuLL49abe1MuvR7mfX80zns7R/N2qtvkM9PfH8eenRqhSnrZ2n30Rfs/JnPZJ+JE/P1ESMy75lnqgtKj9h7s02z+8YbpUiRa++/P3+cem/etP56OWjrrbPm8JXzpYsvzSO9aT/45k3J2bd3vZo8fvXkx+9MLr4vOe3a5N4ZyS3HJNuvVXVKumtJt+fJ1yQX35/0b0zGrNq1bPjAqpMC1Mqnzjkwbzpgozz/dGs+Mf4HSZKhqwzMib86JKuvv3KeeuT5nPHuX6f1ufmLf2bk6GH57tSP5eenXZvffuPmqqLXypKexx209VbZfeONM2d+121z4V//mrumPV5xUgCgjroz0+DCdL0kcFeSLyz6vi3J9EXfF+kqEHpVAFghFUUxvCiKC4ui+FtRFPcWRbFz1ZkAgDfmnus7cuHXX15Ku/XS9pz3nwvyky8syIN3dGTng/pVlK6+lnS7JMlKqxZZb/OGzJ7ZWUGqeutYsCDn7blnfrD11vnB1ltnzH77Ze0dd8yDV16Z726xRb6/1VaZdf/9ectJJ1UdleXsyaf/kc+e8Z589oz35MSvHZG2hfNzy53X5LEnHsjEH/5H7n3wr1VHrKWl3UeTZNg662TDvffOc//4R8Up6QlrDx+e3TfeKF+6+NKc/LvfZ6vR62T1YStl2rPP5f+u+VPun/5U1RFf7vHZybdvSW47Jpny8aSjM/nllGSLUclv3p3stl7VCXk9lnZ77j2m6/JdH0s2XjX56vVVJwWonavOvTOn7vfzly077HO75s6rH86xG383d179cA773K4vW//hb+6TyX94oCdj1trSnsclyRVTp+aU31+cU35/scIgAFCZ7pQGX9hmqyRfSVdBsCnJmssrFEAP+1aSy8uy3CRdx7p7K84DALxB0+7rzPzWly9re/FD9ek3oAg9b0m3S5Ls8b5+ue5XC1O+ch57esTC1q4bpaFfvzT265eUZR668sqUHR1Jkmk335yV1lmnyoj0sPHjdsz0GdMy89kn8/hTD+fJp5XSqrSk+2iS7PvNb+aqz342Dp71sNbwlfPgjBlp6+hIZ1nmvulPZdt1182Tzz+f6bNnVx1vydo7k3ntXV/nLkzWWinZdGQybkTVyXgjlnR77jMmaVr0tsFO6yTT5lSbEaCG7rn+0cyZNe9ly3Z857hcfd5dSZKrz7srOx00bvG6nd45LtMfejaP3jOjR3PW2dKexwEA9BbdKQ12LPo6J8mdeXF2waSrQFguuryEt4AAereiKIYl2S3JOUlSlmVbWZbPVRoKAFjm3nxoU4793wHZbJfG3PDrhVXHIcmYbRoy59kyMx5VeqlK0dCQj9x+e054+uk8dOWVefyWW162fusPfjAP/OEPFaWjCrtut29umOw27y2WdB/d+MADM+fxx/PUXXdVHY8eMu3Z5zJu9dUzZMCA9G9szJbrrJ3VhgypOtbSrT0sOX7nZN1vJmt+I1l5YFfBjBVTd27PH92RvG1sJfEAeLnhqw/Js9NbkiTPTm/J8FGDkyQDBvfLoSfukl988boq49XOaz2P22uTTXL6Ow/MB3fdJYP79684KQBQV90pDfZPVzFwaJItX7Hupacn7sWvVgEs1YZJZiT5cVEUtxdFcXZRFI5nANDH/PnC9pz16QWZemNHttm7qeo4tdfUP9npnf0UOCtWdnbmB9tsk/9ZZ52stcMOGbn55ovXveXzn09ne3vu/tnPKkxIT2psbMp243fPzbdfWXUUFnnlfXTU+PF5y3/+Z/50yilVR6MHPfn887ns7ik5Yd+985l99s5js55NR2+eZfLZecnv7kse/lTyxH8krW3J+UquK6x/dnt+5bquGQffN766jAD8U+/74u656Jt/yfxWf4P3pKU9j7vmb/flhF//Jqf87uI8P29eDn/T9lVHBQBqqihf/4tML8wu+NLC4fwkA/LiDIQAK4SiKLZPcnOSXcuy/EtRFN9KMrssy5Nfsd2xSY5NkpEjR243adKkng8L8BItLS0ZOnRo1THgdXvq4eX/JvfgoQOz217jc/lFt7563ZAB2W3vLZe4jtev/7CWtM3u3rHopbfLyqsMyYR9t05He9fE9oOGDMi8uW256pLJmT+vbXlGXqF0zvprj421xc47p33hwvztttuywWabZexWW+WaCy5IR3v7ch97ze22W+5j1NVDj03t9rbrrrN+Nh03PldcffHLlr9t73fmlsk35plZ3TuN2aCn5/3zjZaxAeuskwXTpvX4uD1pi513TlmW2XibbdK+sOvN3sErrZR5LS35489+lvlz51accMVXxbHokWeeed0/s+3mm6d13rzc99BDSZL9dtstt951V5557rlu/fwzqy3fx9k7m2/OfbfclXd/9tgkyW1XXJd/TH0gh/z7B5Mk3/306TnwY+/L6HEbLtccVVmnZUCmDV1QdYxl5rVuz1svvy43X3xVPvKN/0z/gQMqTtp3bJc1q45AH+A1o77lgclPLnXd0GFDss/Bu+U353XNFn7o0fvn0klXZ17r/AwaMjD7v/utufDHl+aA97w1Q1bqmnWw/4D+Kcsyf73x7ky94+9LvN6m9c18tzy88nlckgwdPDhv3WWX/O6qqypMtnys1NiYOR0d/3zDZWj91Vbr0fGA3s/zIkj22GOPyWVZLvFTCt2dYqM1XTMJzl90eU6StnTNQpiXfAVY0UxLMq0sy78sunxhks+9cqOyLM9KclaSjBs3rpwwYUKPBQRYkubm5jgWsSKaeM7yL5MMG1Fk4c7989g1OyVJhq9e5LmnusqK2+zdmKf+3rh4Hf+a0Xve3O3/y5feLo8lmfLrF184PuZ/kvNPKTOvZdvllHTF1Hr+nsvtugePGJGOhQuz4Pnn0zRwYHb54x9zw3//dzrb2zPmbW/Lj7faKnNnzlxu47/UEb15xqwV3HeP+3S3t/3UZmfkd9ecnea//O5ly3fcaYfcdM9v89Cj3Ssgbv6dO19PxGVi44kTc//xx/f4uMvTEu+jX/tafnvppYu3+dTDD+es7bfPvDdQPOPVqjgWHfXj87q13UoDB2bO/PlZdciQ7LvGmvn+pZdlbltX+W+n9o5Mbp2XR2a3dOu6zjvk4Tect1sGtSYX3JNbdpiSDGpKfnxTsteauWnCfV3rh8/Nt7b7R7J935zpaGLzuBz/wu/aFyzt9px/afL7K5Jrj8rnRz5Sdco+pcwRVUegD/CaUd8ycY/Tl7pu1HorZ+edd8pFxz+QJFmlc0oWPjMsF31tSg49cZdcffaUXHTiA4vXJ8l7T90t81ra8ttv3LzU6x3xo3WX3S9Qc0t6HtevsTHPz+t6fWyfddbN/c/MSnM3n8utSCYMG9rjv9e5hxzSo+MBvZ/nRfDaulsaHJyu2QWTpDPJynlxxsEXzH/lDwH0dmVZTi+K4rGiKMaVZXlfkrcm6f50HABAr7L/x/tl9KaNGTQ0+ci3BuaG3yzMhls1ZtU1i5Sdyexnylz5YzPZ9bQl3S5Tru3ZT5vzckPXXDMHnXdeGhobUzQ05J5Jk/L3Sy/NJ//+9zQOGJAjr+w6Re20m2/OpR/7WMVpWd769xuYLTfZKWf94suLl71pyz3ywcM+l2FDV8nnPvp/eeTx+/Jf3/l4hSnrZWn3UerpuD0mZOjAAeno7MxPbr45c9vasu266+b9O+2QlQYOzL/v/dY8OmtWvvHHXjBDzY7rJIdummz7g67T1m6zZnLsdslv700++Ydkxtxk/58nW6+RXPH+qtPyzyzt9tz8u8mCjmTvn3Ztt9M6yfcPqDYrQM2c8PODM37Cehk2YnDOfexT+dmp1+bCM27M5yYdkn0+tHVmPDo7Xz3swqpj1t6Snscd+5Y3Z/RqqyZlmZktrTn3xpuqjgkA1NQbOT0xQJ9SFMXWSc5O16ypDyU5uizLZ5e2/bhx48r77utDnxoHVkg+HcWKauKRPX/aSpaf1zPTIK9f6/mDq47QI071usRy8+7jtu7xMc00yIqqimNRd2caXJbOO3o5zzRYc31upkF6XJnTqo5AH+A1o77lgGLpMw0uL2YaZFmoZKbBoz/Qo+MBvZ/nRZAURfEvn54YoM8qy/KOJEs8SAIAAAAAAAAAQF/SUHUAAAAAAAAAAAAAoGcoDQIAAAAAAAAAAEBNKA0CAAAAAAAAAABATSgNAgAAAAAAAAAAQE0oDQIAAAAAAAAAAEBNKA0CAAAAAAAAAABATSgNAgAAAAAAAAAAQE0oDQIAAAAAAAAAAEBNKA0CAAAAAAAAAABATSgNAgAAAAAAAAAAQE0oDQIAAAAAAAAAAEBNKA0CAAAAAAAAAABATSgNAgAAAAAAAAAAQE0oDQIAAAAAAAAAAEBNKA0CAAAAAAAAAABATSgNAgAAAAAAAAAAQE0oDQIAAAAAAAAAAEBNKA0CAAAAAAAAAABATSgNAgAAAAAAAAAAQE0oDQIAAAAAAAAAAEBNKA0CAAAAAAAAAABATSgNAgAAAAAAAAAAQE0oDQIAAAAAAAAAAEBNKA0CAAAAAAAAAABATSgNAgAAAAAAAAAAQE0oDQIAAAAAAAAAAEBNKA0CAAAAAAAAAABATSgNAgAAAAAAAAAAQE0oDQIAAAAAAAAAAEBNKA0CAAAAAAAAAABATSgNAgAAAAAAAAAAQE00VR0AAACoj+N/OqjqCCxDzc1F3uM2XX5+WladgBXcpDPv6PlBz+z5IZubm3NE6f7Ciufcoz/Q82P2+Ij10pzmlDmi6hgA9CGXlCdXHQHekObm5px7yCFVxwAAXoOZBgEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpQGAQAAAAAAAAAAoCaUBgEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpQGAQAAAAAAAAAAoCaaqg4AAAAAvd0VXx1adYQ+a9+TWqqOwAruqb/fmYn/dWjVMfqs4/84s+oIPeKLRVF1BPqA9S68MEf9+LyqY7ACmzv5mz0+5qQz7+jxMel7DihOrzpCn3VJeXLVEQAA6KPMNAgAAAAAAAAAAAA1oTQIAAAAAAAAAAAANaE0CAAAAAAAAAAAADWhNAgAAAAAAAAAAAA1oTQIAAAAAAAAAAAANaE0CAAAAAAAAAAAADWhNAgAAAAAAAAAAAA1oTQIAAAAAAAAAAAANaE0CAAAAAAAAAAAADWhNAgAAAAAAAAAAAA1oTQIAAAAAAAAAAAANaE0CAAAAAAAAAAAADWhNAgAAAAAAAAAAAA1oTQIAAAAAAAAAAAANaE0CAAAAAAAAAAAADWhNAgAAAAAAAAAAAA1oTQIAAAAAAAAAAAANaE0CAAAAAAAAAAAADWhNAgAAAAAAAAAAAA1oTQIAAAAAAAAAAAANaE0CAAAAAAAAAAAADWhNAgAAAAAAAAAAAA1oTQIAAAAAAAAAAAANdHUze06kxSLvi/TVTYsX7HN/CSDllEuAAAAoBt2+9g9aW9rSVl2pOxsz83n7pbVNzk4Y9/8+QwZMS43n7t7Zk+/veqYUFtFQ0Pef+ZVaZk5Pb895b2Ll29/6Ccy4dgv5juHbpx5s2dVmBBernHAgBx93XVpHDAgDU1NuffCC9N82mnZ/dRTs+0xx2TujBlJkqs///k88Ic/VJyW3mzvzTbN7htvlCJFrr3//vxx6r15z/bbZevRo9Pe2ZGn57TknD//OXPbFlYddYWy5qj18u8f/Priy6NWWzuTLv1eLmv+WZLkwLf+vxx58H/kQydOyJzW5ypKCdX51DkH5k0HbJTnn27NJ8b/IEkydJWBOfFXh2T19VfOU488nzPe/eu0Pjc/G79prRx31v5JkqIo8vPTrs1NF91XZXwAAOgx3SkNLkxXYXBqkl8nOTlJW5KZSUYu2qYzycDlERBgeSuK4pEkc5J0JGkvy3L7ahMBAMDrc+vP356F855ZfLllxtTc/pv3ZvP9vl1hKiBJtj34I5n16N/Tf/BKi5etNHKtrLft7pn91GMVJoMl61iwIOftuWcWtramoakpR//5z/n7onLgzd/8Zm76xjcqTsiKYO3hw7P7xhvlSxdfmvbOznxmn71y57RpmfLEk7lg8l/TWZY5bPtts/+W43PBbX+tOu4K5cmn/5HPnvGeJElRNOQHX/ljbrnzmiTJasNXz/hNdsqMWU9UGREqddW5d+aSM2/Nf/zknYuXHfa5XXPn1Q/nwq/dmENP3CWHfW7XnPu5q/OPKU/n09ufnc6OMqusMTT/d+ex+cvF96ez45XzpgAAQN/TndMTv7DN5klOSdcMg015sTAI0BfsUZbl1gqDAAD0Ba3P3Je5s/5edQyovaEj1syGO+yduy4//2XL9/jol3Pd2V9MWXpDmt5pYWtrkqShX7809uuX2Fd5ndYavnIenDEjbR0d6SzL3Df9qWy77rq554kn0rlof3rw6ZlZdfCQipOu2MaP2zHTZ0zLzGefTJJ84JDj87OL/tddllq75/pHM2fWvJct2/Gd43L1eXclSa4+767sdNC4JMmCee2LC4L9BzZ5bgYAQK10pzTYsejrnCT3pGvWwZeeqrhcdLl1macDAAAAXlOZMtsf/rvsdNT1WWfro6uOA7zEnh/7Sq47+4tJZ+fiZWN22i9zZj6ZGQ/dU2EyeG1FQ0M+cvvtOeHpp/PQlVfm8VtuSZLscNxx+eidd+Yd55yTgcOHVxuSXm3as89l3OqrZ8iAAenf2Jgt11k7qw15eUFwt43G5q5pj1eUsG/Ydbt9c8PkrplAtxu/e2Y9NyP/ePz+ilNB7zN89SF5dnpLkuTZ6S0ZPmrw4nUb77BWvjPloznz7o/kux+9zCyDAADURtHNT8105sWi4OKfXcL6V24D0OsVRfFwkmfTVYL+QVmWZy1hm2OTHJskI0eO3G7SpEk9GxLgFVpaWjJ06NCqYwA1V6dj0ezpt1cdYakGDBySBfNb03/AoOw84ZDc/dc/ZdaMrjfgd9nz0Nxz+/V5/tmnKk65dMPW2KbqCKzgnp35dNoWzbDUm6y57gZZa/T6mXzDnzJyzbWzyZbb5carLsseBxySay/7bRYubMsBhx+dP/72F2lbML/quEu1+kZbVR2hRzw5eXLVEXqlfgMG5C3veEcmX3NNFsyblwXz5qUsy2y5664ZNHRo/nLFFVVH7FX6jxmTOR0d/3zDmtho/fWzyYYbZmF7e56fMyftHR259a6umb62HDcuq62ySv50880Vp+xdOud2/zlbQ0NDDj/kA/nNxb/MwoUL8/Z93pnLr7o4Cxe25bCD35/fX3ZhFnTj8WXD0Zv9K5Hphar4O+2Byb3rudjQYUOyz8G75TfndZVqj/zEIfnpd369eP0rLyfJ8FWHZbf9dsqlv7oqHR2d6S3Gbrdm1RHgDanTa0ZA7+VYBMkee+wxeWln3Gzq5nW8dEbCF2YXfKm2JAPeQDaA3mDXsiyfKIpiVJIri6L4W1mW1710g0VFwrOSZNy4ceWECRMqiAnwoubm5jgWAVWr07Hoiq8eUHWE1/TCH+QzRszKyLSk9eFvJ0ka5m2f/k98LwN6celxwuEtVUdgBferH34rj11wetUxXmX9D34hq2+7ffY78OA09R+Q/oNXypYbrZtB/Rvz1v32T5IMGjw4b91v/5z/yX0y99mnK068ZO/548yqI/SIL+6xR9UReq0RM2akqbU1t37jG4uXPbXeennvJZfk/uOPrzBZ77PehRemebbHtRc03zUluWtKkuSQbbfJs3Pnpnl2S3YdOybDRo3KVy7/Y9qULF9m7uRXfZZ5qbYfPyH3PXxHLrr2Wxm91tgcNODQ7Lv325MkgwcNzr57vS0n/ff78/ycZ17zeiYdece/EpleqIq/0ybu0buei41ab+XsvPNOuej4B5Ik+x0wJ9dOnJ5np7dklTWGZr8D5ixe91IbX7N57jx/Tq8qQV5SHlF1BHhD6vSaEdB7ORbBa+tuabA1yZAkL3wsbU66ioL9F13uv6QfAlgRlGX5xKKvTxdF8dskOyS57rV/CgAAqtfYb3BSNKSjrSWN/QZntQ32zEM3nFF1LCDJ9T/6cq7/0ZeTJKO33DXbH/qJ/P70l59C/Jif/DXnH7dX5s2eVUVEWKLBI0akY+HCLHj++TQNHJgN9torN3ztaxm6xhppmT49SbLpwQfn6SlTKk5Kb7fSwIGZM39+Vh0yJNuvt15Ov/SyjF97rbx9/BY547LLFQb/Rbtuv19umHx5kuSxJx7IMSftuXjdmV+8LCd9/b2Z0/pcRemgd/nL7+/LWz+wZS782o156we2zF9+d1+SZPX1h2fGY8+ns6PMyHVXztrjVsvTjzxXbVgAAOgh3S0NDs6Lswt2Jlk5r55xsPeeRwVgKYqiGJKkoSzLOYu+3yfJlyqOBQAA3dJ/yKhs865fJEmKhqY8OXVSZj50VUZtfGA23Xti+g8ekW3f/evMeequTP7VQdWGBWCFMHTNNXPQeeelobExRUND7pk0KX+/9NIc9JOfZI2tt07KMs898kgu+chHqo5KL3fcHhMydOCAdHR25ic335y5bW15/047pqmxMSfsu0+S5MEZM3LeTU5R/Hr17zcwW26yU876xZerjgK9zgk/PzjjJ6yXYSMG59zHPpWfnXptLjzjxnxu0iHZ50NbZ8ajs/PVwy5Mkmz25tE59HOHp2NhRzo7y3zv43/I7GfmVfwbAABAz+huabDo5jKAFc3qSX5bFEXSdUz8eVmWl1cbCQAAumfec4/kxh/t/KrlT99/cZ6+/+IKEgFL8thdN+Sxu2541fIf/r9tK0gDr+3pu+/OWdu+et+86P/9vwrSsCL76h9e/RLbib/+bQVJ+p62hfPzoRMnLHX9cae+vefCQC/z3+9d8nHmP/c6/1XL/nT+3fnT+Xcv70gAANArdbc0CNAnlWX5UJKtqs4BAAAAAAAAAAA9oaHqAAAAAAAAAAAAAEDPUBoEAAAAAAAAAACAmlAaBAAAAAAAAAAAgJpQGgQAAAAAAAAAAICaUBoEAAAAAAAAAACAmlAaBAAAAAAAAAAAgJpQGgQAAAAAAAAAAICaUBoEAAAAAAAAAACAmlAaBAAAAAAAAAAAgJpQGgQAAAAAAAAAAICaUBoEAAAAAAAAAACAmlAaBAAAAAAAAAAAgJpQGgQAAAAAAAAAAICaUBoEAAAAAAAAAACAmlAaBAAAAAAAAAAAgJpQGgQAAAAAAAAAAICaUBoEAAAAAAAAAACAmlAaBAAAAAAAAAAAgJpQGgQAAAAAAAAAAICaUBoEAAAAAAAAAACAmlAaBAAAAAAAAAAAgJpQGgQAAAAAAAAAAICaUBoEAAAAAAAAAACAmlAaBAAAAAAAAAAAgJpQGgQAAAAAAAAAAICaUBoEAAAAAAAAAACAmlAaBAAAAAAAAAAAgJpQGgQAAAAAAAAAAICaUBoEAAAAAAAAAACAmlAaBAAAAAAAAAAAgJpoqjoAAAAA9Hb7ntRSdQRgKVbfaKu8548zq47BCu7Usqw6An1Ac3Nzzj3kkKpjsCI7+gNVJ4A35JLy5KojAAAAr5OZBgEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpQGAQAAAAAAAAAAoCaUBgEAAAAAAAAAAKAmlAYBAAAAAAAAAACgJpQGAQAAAAAAAAAAoCaaqg4AAAAA9A4Tj5xXdYQ+6+DTnqg6Qp+1YMGCPPjgg1XH6LNO+uYhVUfoEZPOvKPqCLDCuOby46qO0CP23O/MHh/zqB+f1+Nj1skR0z9RdYQesWCD03PFVw+oOgbLyL4ntfT4mAcUp/f4mPQ9B00cm4l79Oy+NOJH6/boeLCsnHf0w1VH6LMmZlz2yGlVx+izSv+3KzwzDQIAAAAAAAAAAEBNKA0CAAAAAAAAAABATSgNAgAAAAAAAAAAQE0oDQIAAAAAAAAAAEBNKA0CAAAAAAAAAABATSgNAgAAAAAAAAAAQE0oDQIAAAAAAAAAAEBNKA0CAAAAAAAAAABATSgNAgAAAAAAAAAAQE0oDQIAAAAAAAAAAEBNKA0CAAAAAAAAAABATSgNAgAAAAAAAAAAQE0oDQIAAAAAAAAAAEBNKA0CAAAAAAAAAABATSgNAgAAAAAAAAAAQE0oDQIAAAAAAAAAAEBNKA0CAAAAAAAAAABATSgNAgAAAAAAAAAAQE0oDQIAAAAAAAAAAEBNKA0CAAAAAAAAAABATSgNAgAAAAAAAAAAQE0oDQIAAAAAAAAAAEBNKA0CAAAAAAAAAABATTR1c7vOJMWi78t0lQ3LV2wzP8mgZZQLAAAAIEmy74f7Zcw2jZk7u8y5Jy1YvHybvRuzzd5N6exIHrqzI9f9sr3ClPSEJ554IieccEJmzpyZoihy+OGH581vfvPi9WeffXbOOOOM3HLLLVl11VUrTEp3rDlqvfz7B7+++PKo1dbOpEu/l1WHj8p2W+yW9o6FeWrmtHz3/FMzd96cCpMCPampaVA22eK9GTJ0zSTJvVN+ltnPPZx11t09a6+3W8rOzjwzY0oevP93FSetl7032zS7b7xRihS59v7788ep9+Zd22ydbdYdnbJMZs+fn7Ov/3Oemzev6qgsZ7t97J60t7WkLDtSdrbn5nN3y5g3fz7rbH1U2ubOTJL8/drTMvPBP1acFHrep845MG86YKM8/3RrPjH+B0mSoasMzIm/OiSrr79ynnrk+Zzx7l+n9bn5GbXeyvnevR/L4/c9kyS57+bH852PXVZlfFhsSY/7SbLXppvkrZtuks7OMndOm5ZJt02uOCm8xDdvSs6+vavZNH715MfvzBXnXpi878pk5OCubf7rrcnbN6o0JvQm3SkNLkzX3eruJBck+VKStiRPJVlj0TadSQYuj4AAPaEoisYktyV5vCzLA6rOAwAAvOie6zty+5XteftH+y9eNnrThozdtjHnfX5BOtqTwcMqDEiPaWpqykknnZQtttgiLS0tOeiggzJ69OiMHTs2TzzxRP785z9nrbXWqjom3fTk0//IZ894T5KkKBryg6/8MbfceU3WWn39/Pz3305nZ0fe985P5eB9Ppif/e5bFacFespGmx6aZ2ZOzZQ7zklRNKaxsX+Gr7pRRowan1v+/NWUZXv69R9adcxaWXv48Oy+8Ub50sWXpr2zM5/ZZ6/cOW1aLptyT35z+x1JukoE79x6q5x3083VhqVH3Przt2fhvGdetuwft5yZR275dkWJoHe46tw7c8mZt+Y/fvLOxcsO+9yuufPqh3Ph127MoSfuksM+t2vO/dzVSZLpDz6bf9vmh1XFhSVa2uP+KoOHZJt1R+fki36f9s7OrDRQPYRe5PHZybdvSaZ+PBnUL3n3BckvpyRpTP59p+T4XapOCL1Sd05P/MI2WyY5PV0zDDblxcIgQF/wqST3Vh0CAAB4tWn3dWZ+68uXbf3WxvzlkvZ0LJpccO7sns9Fzxs1alS22GKLJMnQoUMzZsyYPPNM1xvWX/nKV3LiiSemKIrXugp6qfHjdsz0GdMy89knc9ffbkpnZ0eS5P6H78qqw1evOB3QUxobB2b4KmPy5LSbkiRl2ZH29nlZe/Rb8o+Hr0xZdj3wL2xrqTJm7aw1fOU8OGNG2jo60lmWuW/6U9l23XUzf+HCxdsMaGp61empAOrmnusfzZxZL59xdcd3jsvV592VJLn6vLuy00HjqogG3ba0x/09NxmXS++akvbOziTJnPnzK04Kr9Demcxr7/o6d2Gy1kpVJ4JerzulwY5FX+ckuStdsw6+9FTF5aLLra/+UYDeryiKdZLsn+TsqrMAAADds8oaDVlnXEPed9qAvOc/+2eNDRTF6mbatGmZOnVqxo0bl6uuuiprrLFGNt1006pj8Qbtut2+uWHyH161fM+dD8odU/9cQSKgCoMGr5aFbS3ZdPz786ZdTswmm783DY39M3jIqAxfZUy22+n4bLPDp7LSsHWrjlor0559LuNWXz1DBgxI/8bGbLnO2lltyJAkySHbbpNvvPvQ7Dxmw/z2r7dXnJSeUKbM9of/LjsddX3W2froxcvX3e4j2eVDN2fzt383TQOHVxcQepnhqw/Js9O7yu7PTm/J8FGDF69bfYPh+dZfj8lXm/9fNn/z6Koiwsss7XF/jWHDsvHqo3LyAW/P5962bzYYsVrVUeFFaw9Ljt85WfebyZrfSFYemOwzpmvdmbckW34v+eDvkmfnvfb1QM10pzTYP13FwKFJxr9i3QsFwjLJkGUbDaDH/G+Sz6brVOsAAMAKoKExGTikyM9OW5Brf7EwB36y/z//IfqM1tbWfOITn8gXvvCFNDY25nvf+14+/elPVx2LN6ixsSnbjd89N99+5cuWH7zvh9PR2ZHrb72somRATyuKxgwdNjqPP3p9br3xa+noWJD1Ntg7RdGQpn6DM/nmiXngvouyxdYfrDpqrTz5/PO57O4pOWHfvfOZffbOY7OeTUfZNa/gr/96ez4z6cLc9OBDeeumm1SclJ5wy0/3yk0/fnP+OuldWXfbY7PK6F3z2F/PznXfH58bz9k5C1qeyrg9/6vqmNDrzXqyJUev++18atsf5uz/+GOO//nBGbSSv2up3tIe9xsaigwZMCCnX3JZfnXr5Hx8wu5VR4UXPTsv+d19ycOfSp74j6S1LTn/ruzyjr2TB/8tueOjyZpDk8/8seqk0Ks0dXO7l5YLX5hd8KXakgxYJokAelBRFAckebosy8lFUUx4je2OTXJskowcOTLNzc09kg9gaVpaWhyLgMo5FvU9o/fsvSeVGzx0YPoNGZ/Re96aJFmYLfNcx6MZvedzSZLGATtl7NsmZ8GCha9xLdV54IG2qiP0Ge3t7TnllFOyyy67ZMyYMbnvvvvyyCOPZN99902SzJw5M/vvv3++9a1vZdVVV6047Ypvvx2PXe5jrLvO+pkzuyU7b3bo4mVjNxyXTTbePH+48vc9ksHjGctCXZ4btbbtuNyuu33OwMyfPy9PzlgjyRp5dFpbxm40PnPnlXlsWlta23ZM64xks3JAFma3tLUtWG5ZqrgtJwwb2uNjdttT09P81PQkybabb57WtgUvzzvj6ey+yy557qEHKwr4zy0YdHrVEXpEOWDtLNhg+f2uC5JkZNfXJ2a0ZMjm/5np901evP6hWcOy4+ZvX64Z6qSKY9FBE8f2+Jh9ydBhQ7LSGv0X/z+2d7bliO9tkXmt8zNoyMC0lwuX+H/cnvl533e3zsynZvV05OVi+DoDenxfahqmdLnMLOFxv1iwIB0znu56/G+bnwFFkX1HrJoFbV7v+FeNb3ba8n/Vnc03576B6+fd92ybJLlt0z3yjwseyKbHjMrE61dOkswav1rO+fl/5wT/38tMc5qrjsC/qLulwdZ0zST4wonp56SrKPjCI69HYGBFtWuSdxRF8fYkA5MMK4ri/LIs3//SjcqyPCvJWUkybty4csKECT0eFOClmpub41gEVM2xqO+ZeE7vPUXHsBFFFu7cP49ds1OSZEoaM3T4FnnsmvasskaRznf0zwN/2K7ilEu3/WlPVB2hTyjLMieccEK23HLLnHjiiYuXT5784hvVu+++e377298qDC4j51x84j/f6F/0qc3OyO+uOTvNf/ldkmSrTXfJPhvum5O+cUTmtDy73MdPkklH3tEj49C31eW50TWXH7f8rrxM2uZvk5GrPJy5rU9nrTXenvlz/5Z5c2dmzdVXzvw5f8mgwaPS2NCefrku/ZbjOxMTJhy5/K58KY768Xk9PmZ3rTRwYObMn59VhwzJvmusme9fellWGjggT82ekyTZa+118sCzz6Z5dkvFSZfuiOknVx2hRyzY4PQMeHj5/K6N/QYnRUM62lrS2G9wRr3593nohv/JSk/fnbbWp5Iko9/0ibQ+0bzcMtTNhMN7/j41cQ+Fz3/FqPVWzs4775SLjn8gSbJK55QsfGZYLvralBx64i65+uwpuejEBzJsxOC0zJqXzs4yq28wPAcfPii//Le70vLs/H8yworhoIljF/8f9JQRP1q3R8fry5b0uL/jvPkZvvLwND/0SFYfNiwLiyJXzOwbJdeqnXfIw1VHWPENak0uuCe37DAlGdSU/PimZK81s/eC6fnSAU93bfPNm5IdV87xE+6rNmsfUuaIqiPwL+puaXBwXpxdsDPJynn1jIN94xkMUCtlWZ6U5KQkWTTT4PGvLAwCAADV2v/j/TJ608YMGpp85FsDc8NvFubuazuy3zH9ctRXB6SjPfnDWb1zhkGWrcmTJ+eiiy7KuHHjcuCBByZJjjjiiIwdazaUFVX/fgOz5SY75axffHnxsg+9+3Npauqfk4/7fpLk74/clR/+8itVRQR62P33XpDNtjwqDQ2NmTd3Zu69+/x0dLRl0/Hvyw67fj5lZ0fuvfunVcesneP2mJChAweko7MzP7n55sxta8sHd90la6w8LGVZ5pmW1px7081Vx2Q56z9kVLZ51y+SJEVDU56cOikzH7oq4w/8YVYatWWSMvOe/0fu+cO/VRsUKnLCzw/O+AnrZdiIwTn3sU/lZ6demwvPuDGfm3RI9vnQ1pnx6Ox89bALkyRb7LZu3velCels70xHR2e+89HL+kxhkBXfkh73r/v7A/nQm3fJlw96R9o7O3P29X+uOia8aMd1kkM3Tbb9QdLUkGyzZnLsdrnkwF8kp92fFEnWH5784ICqk0Kv0t3SYNHNZQAAAADL1KXfXZjk1aXAy76vKFg322+/fR544OWzVbzy8rXXXtuTkfgXtS2cnw+dOOFly/7ti++oJgzQK7TMeTy33fT1Vy2fetdPKkjDC776h8tftezMPzX3fBAqNe+5R3Ljj3Z+1fK7Lz6mgjTQ+/z3e3+7xOX/udf5r1p242/+lht/87flHQnekCU97nd0duas6xQF6cW+uEfXv5d47+c/nr+aWRCWqrulQYA+ryzL5iTNFccAAAAAAAAAAIDlpqHqAAAAAAAAAAAAAEDPUBoEAAAAAAAAAACAmlAaBAAAAAAAAAAAgJpQGgQAAAAAAAAAAICaUBoEAAAAAAAAAACAmlAaBAAAAAAAAAAAgJpQGgQAAAAAAAAAAICaUBoEAAAAAAAAAACAmlAaBAAAAAAAAAAAgJpQGgQAAAAAAAAAAICaUBoEAAAAAAAAAACAmlAaBAAAAAAAAAAAgJpQGgT6nKIo3lwUxdGLvh9ZFMUGVWcCAAAAAAAAAIDeQGkQ6FOKojg1yYlJTlq0qF+S86tLBAAAAAAAAAAAvYfSINDXHJzkHUlak6QsyyeSrFRpIgAAAAAAAAAA6CWUBoG+pq0syzJJmSRFUQypOA8AAAAAAAAAAPQaSoNAXzOpKIofJBleFMUxSa5K8sOKMwEAAAAAAAAAQK/QVHUAgGWpLMuJRVHsnWR2knFJTinL8sqKYwEAAAAAAAAAQK+gNAj0OYtKgoqCAAAAAAAAAADwCk5PDPQpRVG8qyiKvxdF8XxRFLOLophTFMXsqnMBAAAAAAAAAEBvYKZBoK/5epIDy7K8t+ogAAAAAAAAAADQ25hpEOhrnlIYBAAAAAAAAACAJTPTINDX3FYUxa+SXJRkwQsLy7L8TWWJAAAAAAAAAACgl1AaBPqaYUnmJtnnJcvKJEqDAAAAAAAAAADUntIg0KeUZXl01RkAAAAAAAAAAKC3UhoE+oSiKD5bluXXi6L4v3TNLPgyZVn+WwWxAAAAAAAAAACgV1EaBPqKexd9va3SFAAAAAAAAAAA0IspDQJ9QlmWFy/6el7VWQAAAAAAAAAAoLdSGgT6lKIoNk5yfJL185JjXFmWe1aVCQAAAAAAAAAAegulQaCvuSDJ95OcnaSj4iwAAAAAAAAAANCrKA0CfU17WZbfqzoEAACsiI7/6aCqI/RhY6oO0Gc99thjGTPG/+/yMunMO6qOAPQye+53ZtUR+qxzj/5A1RH6uHr8/zY3N2fC4S1Vx2AFdkl5ctUR6AOam5tzSXlE1TFghXBu1QH6sOY0p4xjESyN0iDQJxRFseqiby8uiuLjSX6bZMEL68uynFVJMAAAAAAAAAAA6EWUBoG+YnKSMkmx6PIJL1lXJtmwxxMBAAAAAAAAAEAvozQI9AllWW5QdQYAAAAAAAAAAOjtGqoOALAsFUXxiaIohr/k8iqLTlcMAAAAAAAAAAC1pzQI9DXHlGX53AsXyrJ8Nskx1cUBAAAAAAAAAIDeQ2kQ6GsaiqIoXrhQFEVjkv4V5gEAAAAAAAAAgF6jqeoAAMvYFUkmFUXx/SRlko8mubzaSAAAAAAAAAAA0DsoDQJ9zYlJPpLkY0mKJH9McnaliQD6iIlHzqs6An3A8T8d1ONjPvjggz0+5pgxY3p8TPqeKo67277vhB4fk+Vnz/3O7PExJ+4zosfHHHfcN3PN5cf1+LgsP3/9n19WHYFl6JaN16k6Qo/Zb8dj893jPl11jOVu7ncOqToCy9DgT/y6x8e0Dy1fB00cm4l7nN6jY15Sntyj49XJFV8dWnUElrF9T2qpOgIAQBKlQaCPKcuyM8n3Fv0DAAAAAAAAAABeQmkQ6FOKotgoyVeTbJZk4AvLy7LcsLJQAAAAAAAAAADQSzRUHQBgGftxumYZbE+yR5KfJPlppYkAAAAAAAAAAKCXUBoE+ppBZVlenaQoy/IfZVmelmTPijMBAAAAAAAAAECv4PTEQF8zvyiKhiR/L4riuCSPJxlVcSYAAAAAAAAAAOgVzDQI9DWfTjI4yb8l2S7JkUk+UGUgAAAAAAAAAADoLcw0CPQpZVneuujbliRHV5kFAAAAAAAAAAB6G6VBoE8oiuL3r7W+LMt39FQWAAAAAAAAAADorZQGgb5i5ySPJflFkr8kKaqNAwAAAAAAAAAAvY/SINBXrJFk7yRHJHlvkkuT/KIsy3sqTQUAAAAAAAAAAL1IQ9UBAJaFsiw7yrK8vCzLDyTZKckDSZqLovhkxdEAAAAAAAAAAKDXMNMg0GcURTEgyf7pmm1w/STfTvKbKjMBAAAAAAAAAEBvojQI9AlFUZyXZIskf0jyxbIsp1QcCQAAAAAAAAAAeh2lQaCvODJJa5KNk/xbURQvLC+SlGVZDqsqGAAAAAAAAAAA9BZKg0CfUJZlQ9UZAAAAAAAAAACgt1OyAQAAAAAAAAAAgJpQGgQAAAAAAAAAAICaUBoEAAAAAAAAAACAmlAaBAAAAAAAAAAAgJpQGgQAAAAAAAAAAICaUBoEAAAAAAAAAACAmlAaBAAAAAAAAAAAgJpo6uZ2nUmKRd+X6Soblq/YZn6SQcsoFwAA9Gr7frhfxmzTmLmzy5x70oIkye6HN2XDbRrT2Z4893SZy3/YlgVzKw5KtzzxxBM54YQTMnPmzBRFkcMPPzxHHXVUzjjjjFxzzTXp169f1l133Xzta1/LsGHDqo4Liy3pWLTLwU0ZP6Ep8+Z0/dl+/QUL8/CdnVXGrFRT06BsssV7M2TomkmSe6f8LAMGDM8GY9+eIUNXz203Tcyc2Y9WnLKeioaGvP/Mq9Iyc3p+e8p7s+sHPpexO78tZdmZuc/NzB/++5NpnTW96piVWdK+u9qIzTJy9S1TlmUWts3J1LvPT9uC5ytOSne9cp/f5cjPZvzbjsy852cmSa7/0Vfy8K1XVZyS7lhz1Hr59w9+ffHlUautnUmXfi9bb7xD3rrnXinLMs/PmZXvnn9Knn1+RoVJeS2fOufAvOmAjfL80635xPgfJEmGrjIwJ/7qkKy+/sp56pHnc8a7f53W5+ZnpVUH5aQLD81Gb1orV597Z77/ycsrTt+zlrbPDxm8Ut66y7syu+XZJMkvfv9/uX3qn6uK2eNezz609V4b5Kgz3pqm/o1pb+vIj064Knf96ZFqfwGo0G4fuyftbS0py46Une25+dzdkiTrbvfRrLvdsSk7OzLjwctz/59OrjgpAEDf1Z3S4MJ0FQbvSPLLJGckaUvyRJK1F23TmWTgcsgHsFwVRTEwyXVJBqTrmHhhWZanVpsKgBXBPdd35PYr2/P2j/ZfvOyRKZ25blJ7ys5kt/c0ZccDm3Ldr9orTEl3NTU15aSTTsoWW2yRlpaWHHTQQdl1112z66675vjjj09TU1O+/vWv5/vf/34++9nPVh0XFlvSsShJJl/Rntsuc/xJko02PTTPzJyaKXeck6JoTGNj/7QvnJspd/ww4zY/oup4tbbtwR/JrEf/nv6DV0qS3HrBmbnhvDOSJNscdEx2fv/xuerbx1cZsVJL2ndb5zyZhx+4NEmyznq7Z4Mxb8t9U39ZcVK665X7fJJM/s33c9uF36kwFW/Ek0//I5894z1JkqJoyA++8sfccuc1aWwfnov/3HV7vm33I3Lo247ND3/5lSqj8hquOvfOXHLmrfmPn7xz8bLDPrdr7rz64Vz4tRtz6Im75LDP7ZpzP3d12ua35/yTm7PeFiOz3hajKkxdjaXt83vs/M5c+qfzc/HVP6k4YTVezz40e+a8fOnAX2bWky1Zb/OR+dIV780H1vlWhemherf+/O1ZOO+ZxZdXXXe3jNpo/9xwzk4pO9rSf/DICtMBAPR93Tk98QvbbJPka+maYbApLxYGAVZkC5LsWZblVkm2TrJfURQ7VRsJgBXBtPs6M7/15cv+MaUz5aLJvJ54oDNDVy1e/YP0SqNGjcoWW2yRJBk6dGjGjBmTp556Km95y1vS1NT1Wautt94606fXd8YreqclHYt4UWPjwAxfZUyenHZTkqQsO9LePi9zW5/K3NanK05Xb0NHrJkNd9g7d11+/uJlbXNbFn/fb+DgpHzlSS7qY2n7bkfH/JdsMyDlq04EQm+1pH2evmH8uB0zfca0zHz2ySxcuHDx8gEDBqWs8XFsRXDP9Y9mzqx5L1u24zvH5erz7kqSXH3eXdnpoHFJkgVzF2bqDY+lbb4PZbx0n6+717MPPXTH9Mx6suu5zj/umZF+A5vS1L+xZwNDLzd62w/noZu/kbKjLUnSNtdsvQAAy1N3ZhrsSFdxcE6SB/LiaYqTl5+i2NsUwAqn7Hr19oV3pvot+ucVXQD+ZeN3b8rfbu6oOgZvwLRp0zJ16tRstdVWL1t+wQUXZP/9968oFbw+2+zVmM13bcz0hzvT/POFtT1V+qDBq2VhW0s2Hf/+DF1p7cx5/rHc/7cL07noTSiqs+fHvpLrzv5i+g8a+rLlbz7q89ls7/ekrXV2fnXCQdWE6wVea9/dcKMDs8ZaO6S9fV5uv+XbVUelm5a2z2/zjg9l873enen335Hms07Jghanm17R7Lrdvrlh8h8WXz78wOOy2w4HZO68lnzx28dUmIw3YvjqQ/Ls9K6XCp+d3pLhowZXnKj3eeU+v+9uh2e3HQ7IQ49OzU9+8420zptTYbrqdWcf2vWQTfPQ7dPT3uY1A+qrTJntD/9dyrLMtDt+lGl3/DiDVx2bVUbvmo12PzWd7Qty3zWfz+wn/1p1VACAPqs7Mw32T1eBZmi6ZuF6qWLRvzLJkGWaDKCHFEXRWBTFHUmeTnJlWZZ/qTgSACu4Hd/RlM6O5N4bvQGwomltbc0nPvGJfOELX8hKK7146sDvfve7aWpqyjvf+c7X+GnoHe64uj1nf2ZBzvvCgrQ+V2bCe/tVHakyRdGYocNG5/FHr8+tN34tHR0Lst4Ge1cdq/Y23HGfzH1uZp76+52vWvfnc/8rZ71vq0y95sJs844PV5Cud3itffehv1+cG689OU89eVvWWW+3ipPSHUvb5++4+Mc5+6jtc97HJqR11lOZcOyXKkrIG9XY2JTtxu+em2+/cvGyX158Zj5+8n75822XZb/dDq8wHSx7r9zn/3j9pHzytAPy2TPek2dnz8z/e9dnKk7Y+6272cgc9bU9c+ZHLqs6ClTqlp/ulZt+/Ob8ddK7su62x2aV0bumaGhKv4HD85fz9sj91/xntjqonqc+BwDoKd2ZaTB5ebmwzKtn4WpLMmCZJALoYWVZdiTZuiiK4Ul+WxTFFmVZTnnpNkVRHJvk2CQZOXJkmpubezwnwEu1tLT0+LFo9J4mYn2lwUMHpt+Q8Rm9562Ll60/do2MGbdWmi+/I6P37KwwXe/U3Nzzp2xesGBBt7Zrb2/PKaeckl122SVjxozJAw88kCS58sorc9lll+WMM87Igw8+2K3reuyxx95w3hVJFceiOunucXdJx6IXzGgbmE23XPK6JWlt2/F1Zezt2ucMzPz58/LkjDWSrJFHp7Vl7Ebj09o2M0nS0blS5i3cPK1ta1YbdDmp4v45+rCT/+k2m7xpl6w/dpNsNOHQNDQ2pl///jn0O3/OX5qvWLzN84NWym77viOPze//T6+vsxxSu303SR7+R3t22HG3TJn6THVBl5PRh21UdYRlqjv7/IxipWy6w77dug+taFYd2HfL6+uus37mzG7JzpsdmiRZecjI7LfjsUmSxvah2Wu3/TPnmb73QaLODVapOsIyM3TYkKy0Rv8cNHFskqS9sy1HfG+LzGudn0FDBqa9XLh4XZJstPnqGbH6yi9btqJrGHVst7d95T7/Uu2tA7L1jm9ZfB94LXXdhwYPHZT9D9sz113xl+z08dWSrLZcMg1fZ0CP76P+Llx+FmxwetURlosFSTKy6+sTM1oyZPP/zLz2wZk2e0QWbHB6nk5SNg1PucnEtC2Y99pXtoKpy/3Fa0ZAb+BYBK+tu6XB1nTNJDh/0eXn01UUfOGV23/+Ci5AL1eW5XNFUTQn2S/JlFesOyvJWUkybty4csKECT2eD+Clmpub09PHoonn9K0X6JaFYSOKLNy5fx67ZqckyfrjGzJ2n3755WkLMm/ODhWn653e89NBPT5md4p+ZVnmhBNOyJZbbpkTTzxx8fJrr702F110UX7+859ntdW6/4bOmDFj3lDWFU0Vx6I66e5x95XHoiErJ62Lzm653X6NefK+hsXr/plt33fCG8raa5VJ2/xtMnKVhzO39emstcbbM3/u3zKkf9fk4o0NO2VQv3vS3v/RioMuHxMmHNnjY078r1eXCF7psQte/H70lrtm+0M/kd+e8t4MX2vDPPfEQ0mSbd754Tx1z4157IJ//ibpuOO+ufg27TOWsu+OGP5Q5s2dkSRZZ+3dM3/uw33vd09y3wW/rDrCMrW0fX7IqqunddZTSZLt3vXRPHnX9d3a51c0t2y8TtURlptPbXZGfnfN2Wn+y++SJO/e64Rc/pezkiT77X547nv4r4sv9yVzv3NI1RGWmVHrrZydd94pFx3f9YGhVTqnZOEzw3LR16bk0BN3ydVnT8lFJz6wePu3fmBwNtq+cfH2fcHgT/y629u+cp8fPmxEnpvdVWjff4/3Z+qDt3Zrn6/jPjRk5QE549oP5DvHXJEbf/O35ZrpoIlje3wfvaQ8okfHq5MrvnpA1RGWucZ+g5OiIR1tLWnsNzij3vz7PHTD/2TGU+tljaFrpuXhL2fwqmPT0HlYir8d3+dmrZlweEvVEXqE14yA3sCxCF5bd0uDg/Pi7IKdSVbJq2ccnP/KHwLo7YqiGJlk4aLC4KAkeyX5WsWxAFgB7P/xfhm9aWMGDU0+8q2BueE3C7PjgU1pbEoOO7Hr5cwnHujMVecurDgp3TF58uRcdNFFGTduXA488MAkyWc+85l86UtfSltbW4466qgkydZbb53TT+97b+az4lrSsWj0Jg0ZtV5DUibPzyxz5Y/aqo5ZqfvvvSCbbXlUGhoaM2/uzNx79/kZMWrLbLzZYenff2i22u6jmTPn8dx523eqjlp7u33o5Kw6emzKzs7MfnparvxWvU9xuKR9d5Mt3pfBQ0YlKTN/3qz87Z6+Va6rm90+fGpGjdkiKcs8/9Rjtd/nVzT9+w3MlpvslLN+8eXFy7bfZqfssMOFKcvOzJz1ZM765VcqTMg/c8LPD874Cetl2IjBOfexT+Vnp16bC8+4MZ+bdEj2+dDWmfHo7Hz1sAsXb3/Ow5/M4GED0tS/MTsdNC4n7/OzPHbvzNcYoW9Z0j7//oM+nfXXGZeyLDNj1hMvW1cHr2cfOuC4N2XNsavk8JPfksNPfkuS5OR9fpbnZ8yt8leASvQfMirbvOsXSZKioSlPTp2UmQ9dlaKhX7bY/3vZ5cO3pOxoy5RLPlJxUgCAvq0oS6eZA+qrKIotk5yXpDFdp2KfVJbll17rZ8aNG1fed999PREPYKkqmWnwSDMN8q87vpfONLismWmQZaGK426fm2mw5vbc78weH3PiPiN6fMw+OdNgzf31f5Qh+5K+PNPgK+2347F9cmbBV+pLs8Tx+mYaXFbsQ8tXNTMNntyj49XJFV8dWnUElrF9TzLTIEBPcSyCpCiKyWVZbr+kdd2daRCgTyrL8q4k21SdAwAAAAAAAAAAekJD1QEAAAAAAAAAAACAnqE0CAAAAAAAAAAAADWhNAgAAAAAAAAAAAA1oTQIAAAAAAAAAAAANaE0CAAAAAAAAAAAADWhNAgAAAAAAAAAAAA1oTQIAAAAAAAAAAAANaE0CAAAAAAAAAAAADWhNAgAAAAAAAAAAAA1oTQIAAAAAAAAAAAANaE0CAAAAAAAAAAAADWhNAgAAAAAAAAAAAA1oTQIAAAAAAAAAAAANaE0CAAAAAAAAAAAADWhNAgAAAAAAAAAAAA1oTQIAAAAAAAAAAAANaE0CAAAAAAAAAAAADWhNAgAAAAAAAAAAAA1oTQIAAAAAAAAAAAANaE0CAAAAAAAAAAAADWhNAgAAAAAAAAAAAA1oTQIAAAAAAAAAAAANaE0CAAAAAAAAAAAADWhNAgAAAAAAAAAAAA1oTQIAAAAAAAAAAAANaE0CAAAAAAAAAAAADWhNAgAAAAAAAAAAAA1oTQIAAAAAAAAAAAANaE0CAAAAAAAAAAAADWhNAgAAAAAAAAAAAA1oTQIAAAAAAAAAAAANdFUdQAAAFYMx/90UNUR4A0ZM2ZM1RHgDanmuHtmBWPSlxz/x5k9PmZzc3MmTDiyx8dl+dlzP8ciVkzNzc2ZdOQdVcdY/txF+5iTe35I+9By1dzcnEvKI6qOwTKy70ktVUcAAKCPMtMgAAAAAAAAAAAA1ITSIAAAAAAAAAAAANSE0iAAAAAAAAAAAADUhNIgAAAAAAAAAAAA1ITSIAAAAAAAAAAAANSE0iAAAAAAAAAAAADURFPVAQAAWDE8+OCDVUeAN+T8sWOrjtBnbTxxYr64xx5Vx+izhuy9WtUR4HUbv8f8Hh9zwQan54qvHtDj49K39NvmqKoj0Ae0tu2Yay4/rkfH3HO/M3t0PPqeIqdVHYFlbGLGZY8a3K5lDX5HAABYnsw0CAAAAAAAAAAAADWhNAgAAAAAAAAAAAA1oTQIAAAAAAAAAAAANaE0CAAAAAAAAAAAADWhNAgAAAAAAAAAAAA1oTQIAAAAAAAAAAAANaE0CAAAAAAAAAAAADWhNAgAAAAAAAAAAAA1oTQIAAAAAAAAAAAANaE0CAAAAAAAAAAAADWhNAgAAAAAAAAAAAA1oTQIAAAAAAAAAAAANaE0CAAAAAAAAAAAADWhNAgAAAAAAAAAAAA1oTQIAAAAAAAAAAAANaE0CAAAAAAAAAAAADWhNAgAAAAAAAAAAAA1oTQIAAAAAAAAAAAANaE0CAAAAAAAAAAAADWhNAgAAAAAAAAAAAA1oTQIAAAAAAAAAAAANaE0CAAAAAAAAAAAADWhNAgAAAAAAAAAAAA10dTN7TqTFIu+L9NVNixfsc38JIOWUS4AAOiTnnjiiZxwwgmZOXNmiqLI4YcfnqOOOiqXXXZZvv3tb+fBBx/Mb37zm4wfP77qqPAyjQMG5OjrrkvjgAFpaGrKvRdemCeSbHboodn9tNMyctNN88MddsiTkydXHRVepWhoyPvPvCotM6fnt6e8N7sfc1o23GnfdC5sy3NPPpLLJ34yC1pnVx0TXma3j92T9raWlGVHys723Hzubhm728kZtdH+KcvOtM2dkSmXfCQLWqZXHRVepqlpUDbZ4r0ZMnTNJMm9U36W2c89nCQZvf5bs9EmB+f6q0/MwoWtVcYEWPa+eVNy9u1d76aNXz358TuTgYvehpt4Y3LClcmME5IRgyuNCQAAkHSvNLgwXX/iTE3y6yQnJ2lLMjPJyEXbdCYZuDwCAixPRVGMTvKTJGuk61h2VlmW36o2FQB9WVNTU0466aRsscUWaWlpyUEHHZRdd901G2+8cb773e/mC1/4QtURYYk6FizIeXvumYWtrWloasrRf/5zFjz4YP4+ZUomvetdOeAHP6g6IizVtgd/JLMe/Xv6D14pSfLIX5tz3Tmnp+zsyG4fOiU7Hv7pXHfOlypOCa9268/fnoXznll8+eGb/zcPXHd6kmTd7T+WMbuelKlXfKqqeLBEG216aJ6ZOTVT7jgnRdGYxsb+SZIBA4dn1RGbZP68WRUnBFgOHp+dfPuWZOrHk0H9kndfkPxySnLU1sljzydXPpSsu3LVKQEAABbrzumJX9hm8ySnpGuGwaa8WBgEWJG1J/lMWZabJtkpySeKotis4kwA9GGjRo3KFltskSQZOnRoxowZk6eeeipjx47NhhtuWHE6eG0LW7tmBGro1y+N/folZZmZf/tbnrn//oqTwdINHbFmNtxh79x1+fmLl/1jcnPKzo4kyRN/uy1DR65VVTx4XTra5iz+vrHf4JSvOhEIVKuxcWCGrzImT067KUlSlh1pb5+XJNlok0Py4H0X2W+Bvqu9M5nX3vV17sJkra4PrOTfr0i+vteL5/MCAADoBboz02BHuoqDc5I8mpf/WfPSV3icTwJY4ZRl+WSSJxd9P6coinuTrJ2u2VUBYLmaNm1apk6dmq222qrqKNAtRUNDjp08OauOHZtbv/OdPNPUnT8poVp7fuwrue7sL6b/oKFLXD9+3/flb9de1LOhoBvKlNn+8N+lLMtMu+NHmXbHj5MkY3c7NWuNPyLtC2bn1p+9veKU8HKDBq+WhW0t2XT8+zN0pbUz5/nHcv/fLsyqq47LgvnPpWXO41VHBFg+1h6WHL9zsu43u2Ya3GdM17/f35esvVKy1RpVJwQAAHiZoiy79cnOzrz6M1DFEtb7nBSwwiqKYv0k1yXZoizL2a9Yd2ySY5Nk5MiR202aNKnnAwK8REtLS4YOXXL5YXlZsGBBj47X182bNy8nnHBCDj/88Lz5zW9evPyEE07IMccck4033rjCdH3LrClTqo7Q5/QbMCBvecc7cvfUqZlxzz1Jkj3f/e7cce21mfXUUxWn6zsahill/qvWXHeDrDV6/Uy+4U8Zueba2WTL7XL9Fb9fvH7Trd+UVUeOyg1XXlphyr5l0EqdPT5mOWDtFAv6XhFpwMAhWTC/Nf0HDMrOEw7J3X/9U2bNePH3HLvpm9LY2JT7ptxUYcq+oxg8ouoIfcLKK6+aN7/lbbnhz1fkuedmZvMttk9nZ2dWW2313HzTVWlvX5i37nVwrr/usrS19b2/LzrLIWkoevaz9SsNG92j49H3TO76PDX/orlzWnLeqf+bI0/5twwaOjg/Oe1bGf+WN+WGi67Msf99UgYNHZyvHP5v+fQPvpwhKw9brlnWaRmQaUP73jH2lbbLmlVHAF5DFa9fA7ySYxEke+yxx+SyLLdf0rruvgPx0tMYl8mrziHRlmTAG8gG0CsURTE0ya+TfPqVhcEkKcvyrCRnJcm4cePKCRMm9GxAgFdobm5OTx+LHnzwwR4dry9buHBhjjnmmBx22GE56qijXrZu0KBBGT16dMaOHVtNuD7o/P32qzpCnzRixoystueeueH445MkO2+3Xf7xv/+bJydPrjhZ3zFk79WqjrDCW/+DX8jq226f/Q48OE39B6T/4JUyfsO1ctnXPpbN935PRgzZJZM+uUfaF8yrOmqfMX6P+T0+5oINTs+Ah0/u8XF7wgsvts0YMSsj05LWh7+9eN2MZ0Zn23f/Oo9c3Dd/957Wb5ujqo7QJzR0rJQFC3bKwrmXZkj/5NkZM7PB2LdnyOABmbDH3kmSAQMGZffd98ptN/132l5yyu2+oLVtxwzp/5ceHXPChCN7dDz6nj1yWtUR+oYL7km26Z/TDlpUwnxidO758eXJM0/n5OM+07Vs5uyc+snPJrcck6yx/N68ntg8LsdPuG+5XX9vUeaIqiMAr6GK168BXsmxCF5bd0uDrUmGJHnhld856SoK9l90uf+SfghgRVAURb90FQZ/Vpblb6rOA0DfVpZlTjrppIwdOzYf+tCHqo4D3TZ4xIh0LFyYBc8/n6aBA7PBXnvlkZkzq44Fr+n6H3051//oy0mS0Vvumu0P/UQu+9rHsv72e2aHd/9bfnn8OxQG6ZUa+w1OioZ0tLWksd/grLbBnnnohjMyeJUxmfts1wc5Rm20f1qfub/ipPBybW1zsmDesxk8ZFTmtj6dVVcblzmzH8sdt/7f4m123v2Lue3Gr2fhwp6dkQ9guVp35eTmx5O5C5NBTcnVDyfv2iT50wde3Gb9/01uOzYZMbiymAAAAC/obmlwcF6cXbAzycp59YyDPf9RcoB/UVEURZJzktxbluX/VJ0HgL5v8uTJueiiizJu3LgceOCBSZLPfOYzaWtryxe/+MXMmjUrH/7wh7Ppppvm3HPPrTYsvMTQNdfMQeedl4bGxhQNDbln0qRMX3nlbHLQQXnb//1fBo8cmfdeemmm33FHfmZ2R3q5t37ijDT2H5DDzrgwSfLEvZNz1bePrzgVvKj/kFHZ5l2/SJIUDU15cuqkzHzoqmx98M8yeLWNkrIz855/NFMv/1TFSeHV7r/3gmy25VFpaGjMvLkzc+/d51cdCWD523Gd5NBNk21/kDQ1JNusmRy7XdWpAAAAlqq7pcGim8sAVjS7Jjkyyd1FUdyxaNnny7K8rLpIAPRl22+/fR544IElrttnn316OA1039N3352ztt32Zcs2njgxf7voovztoouqCQWvw2N33ZDH7rohSXLO0TtUnAZe27znHsmNP9r5Vcvv+O37KkgDr0/LnMdz201fX+r6m649tQfTAPSgL+7R9W9pHvl0j0UBAAD4Z7pbGgTok8qy/HOUoAEAAAAAAAAAqImGqgMAAAAAAAAAAAAAPUNpEAAAAAAAAAAAAGpCaRAAAAAAAAAAAABqQmkQAAAAAAAAAAAAakJpEAAAAAAAAAAAAGpCaRAAAAAAAAAAAABqQmkQAAAAAAAAAAAAakJpEAAAAAAAAAAAAGpCaRAAAAAAAAAAAABqQmkQAAAAAAAAAAAAakJpEAAAAAAAAAAAAGpCaRAAAAAAAAAAAABqQmkQAAAAAAAAAAAAakJpEAAAAAAAAAAAAGpCaRAAAAAAAAAAAABqQmkQAAAAAAAAAAAAakJpEAAAAAAAAAAAAGpCaRAAAAAAAAAAAABqQmkQAAAAAAAAAAAAakJpEAAAAAAAAAAAAGpCaRAAAAAAAAAAAABqQmkQAAAAAAAAAAAAakJpEAAAAAAAAAAAAGpCaRAAAAAAAAAAAABqQmkQAAAAAAAAAAAAakJpEAAAAAAAAAAAAGpCaRAAAAAAAAAAAABqQmkQAAAAAAAAAAAAakJpEAAAAAAAAAAAAGpCaRAAAAAAAAAAAABqoqnqAAAArBjGjBlTdQR4Q04ty6oj9FnNzc05wv8vULHm5uZMOLyl6hgAXcejCUdWHQNelzKnVR2BZaw5zSlzRNUxAACAXs5MgwAAAAAAAAAAAFATSoMAAAAAAAAAAABQE0qDAAAAAAAAAAAAUBNKgwAAAAAAAAAAAFATSoMAAAAAAAAAAABQE0qDAAAAAAAAAAAAUBNNVQcAAHrGxCPnVR2BZWj0nmUmntOzt+nxPx3Uo+PBsjJxnxE9PubB3/tLj48JK6orvjq0x8e8+fOtPT7mqWXZ42Nec/lxPT5mFRoGHlp1hD7twQcf7PExx4wZ0+NjVnEsou8ZsPMlPT5mFcf6Pfc7s8fHrIsip/X4mGUFY1blqB+fV3WEHnHUButVHQGgEgcUp1cdoU+7pDy56ggALGNmGgQAAAAAAAAAAICaUBoEAAAAAAAAAACAmlAaBAAAAAAAAAAAgJpQGgQAAAAAAAAAAICaUBoEAAAAAAAAAACAmlAaBAAAAAAAAAAAgJpQGgQAAAAAAAAAAICaUBoEAAAAAAAAAACAmlAaBAAAAAAAAAAAgJpQGgQAAAAAAAAAAICaUBoEAAAAAAAAAACAmlAaBAAAAAAAAAAAgJpQGgQAAAAAAAAAAICaUBoEAAAAAAAAAACAmlAaBAAAAAAAAAAAgJpQGgQAAAAAAAAAAICaUBoE4P+3d+dhepX13cC/92QnCUsgUEgCyBaQsGNksRhQEUUFAX1dW+zLZbXa11pEpK8FClgXcGvxbe0lQgouDSggoKhsgsoaZQ9hjSQCiWEJZE9m7vePGcMiMQMkcyY5n891zTXPc54zc77zz++ceeY79wEAAAAAAAAAoCWUBgEAAAAAAAAAAKAllAYBAAAAAAAAAACgJZQGAQAAAAAAAAAAoCWUBgEAAAAAAAAAAKAllAYBAAAAAAAAAACgJZQGAQAAAAAAAAAAoCUG9nK/riSl53FNd9mwvmCfxUmGraZcAABrzJuPGZRt9xiQhU/XnHPCkiTJDhM7st87B2XjLUrOO3lJZj/0wksdoA1KR0c+cOYVmT/3sVx44vuyw1++I/t98NPZeMsdct7fH5zZ993adMQkySOPPJLjjjsuc+fOTSkl73nPe3L00Ufnq1/9aq644op0dHRk1KhR+dKXvpTNNtus6biwWhzw0buyfOn81NqZ2rU8N5xzQHY48LSM3v6tqZ1Ls/DJh3LnZR/J8iXzVsvxBgwZkg9de20GDBmSjoEDM+2CC3LNySfnwFNOyfjDDkvt6sqCOXNy0dFHZ/6jj66WY66NBg4clh0nvC/DR2yeJJl253cyerPdssnoCam1M4sWzs20O87L8uWLGk7KmrSy89LXv/71TJkyJaNGjUqSHHvssZk0aVKzYemVF5u5f7T1xP+T8W/411z1ta2ybNHjDabkpXixeb3xJjtli7H7ZenS+UmSB+/9UR6fe3eTMemtr16ffOu33X+12WWz5OzDks9dm1w8PekoyabDk3MOT7YY2XTSVnnTq3fK63fYPiUlv7j33vzs7mkrXjtkws55z2v2zse/+/3MX7KkwZQA9IVPnPX2vOZt22fenAX52C7fTJKM2Ghojv+fI7PZ1htk9ox5+cK7f5AFTy1Okmy9y6b5+DcPzbD1h6R21XzyNd/KsiWdTf4IALRAb0qDy9L9q+etSb6f5AtJliZ5JMmYnn26kgxdA/kA1rhSyreTvC3JnFrrhKbzAGveXdd15rc/X563fmTwim1zZ9Vc/PWlOfhvBjWYDGjanu/82zzx8H0ZvF73H9fmzpiWi085Ogd/4ssNJ3u+gQMH5oQTTsiECRMyf/78HH744dl///1zzDHH5JOf/GSSZPLkyTnzzDNz6qmnNpwWVp+bv/vW5xVUHp9xVe675qTU2pkdJp2SbfY9Nvdec+JqOVbnkiWZfNBBWbZgQToGDsyHfvnL3PeTn+RXp5+eq0/sPsbEv//7vP7EE3PZRz+6Wo65Ntp+p6Py+Ny7c+etZ6WUARkwYHCeHDAkD977o9TalW13OCxbbXNwHrj34qajsgat7LyUJB/60IdyzDHHNJyQl+OFMzdJho4ck41fdVAWzXu4oVS8XC82rzfeZKc8POPqzJxxZdPxeCl+/3Tybzcld/9dMmxQ8u7zk+/fmRy3f3LqQd37/NuNySm/SP7zbc1mbZExG26Y1++wfU655LIs7+rKsQe/MbfNmpXZTz+TUcPXy85bbJ658+c3HROAPnLFObfl0jNvzj/+92Ertr3rM/vntisfygVf/HWOOn6/vOsz++ecz1yZjgElx553eL7ywYvz0O2zM3LUsHQu62owPQBt0ZvbE/9xnz2SfDHdKwwOzLOFQYC13TlJDmk6BNB3Zk3vyuIFz9/2xCM1Tz5mdUFosxGbbJ5tJr4pt19+3optT8y8L0/Our/BVC9u0003zYQJ3f/rMGLEiGy77baZPXt2Ro58diWRhQsXppSysm8B64THH7oqtXb/5/1Tj9ycIeuv3rcqli3ovmDoGDQoAwYNSmrN0meeWfH64OHDk9re64cBA4Zmw422zaOzrk+S1NqZ5csX5YnH70mt3X/gmPfUQxkydMMGU9IXVnZeYt0z/o1fzL1Xf7bVs29ttLJ5zVpseVeyaHn354XLulcUXH/Is68vWPrsvaPoE1tsuEEe+MMfsrSzM121Zvpjs7PnllsmSd478TWZcvPUP71/FwDrrLuuezjPPPH8663XHjY+V06+PUly5eTbs8/h45Mkex68bWbcPicP3d79O9QzTyxKV5eTBgBrXm9WGuxMd3HwmST35/m/aj73bPWCP70DrB1qrdeWUrZuOgcA0KyDPvq5XPutf8ngYSOajvKSzJo1K3fffXd22223JMmXv/zlXHjhhRk5cmTOO++8VXw1rD1qavZ+z8WptWbWrd/OrFvPft7rY3b9YB6b9oPVeszS0ZEPT52aUdttl5u/8Y38/qabkiQHnXZadv2rv8qSefMy+cADV+sx1ybD1ts4y5bOz067fCAjRo7JM/Nm5t57LkhX59IV+2wxdt/MfvQ3Daakrz33vDR16tSce+65ufDCC7PLLrvkhBNOyAYbbNB0RHrhxWbu6O3emiXPPJJn5tzZdDxeopXN6yQZu9UB2XzMxDw97+Hcf88PlQnXBmPWTz61b7LlV7tXGjx42+6PJPm/Vyb/fXuywZDk6r9uNmfLzHryqRy55x4ZPmRIli1fnl3HjsmMuY9n93Hj8uTChZn55JNNRwSgYRtuNjxPPta96uyTj83PhpuulyTZYodRqbXmlMvfl/VHr5frvn9XfnD69U1GBaAlerPS4OB0lwNHJNn9Ba+Vno+aZPhqTQYAANBHtnntwVn41NzMvu+2pqO8JAsWLMjHPvaxfPazn12xyuCxxx6bX/7yl3nHO96Rc889t+GEsPrcdO4bc/3Zr8tvphyRLff8cDYat/+K17bZ77jUrs48etf/rNZj1q6ufHOPPfKVsWOzxcSJGb3zzkmSqz772Xxtyy1zx3e+k4kf//hqPebapJQBGbH+uPz+4ety86+/mM7OJdnqVW9a8fpW27w5tXZl9qM3N5iSvvTC89L73//+XHXVVbnkkksyevTofP7zn286Ir30YjN3m/2Py/3XndZ0NF6Glc3rWQ9fl+t/cXJu+tUXsnTJ09luxyOajkpvPLkouXh68tAnkkf+sXtVwfO6Vy3K596QzPxk8v5dkjNvajZnyzw6b15+fMedOe7Nb8qxB78pM594Mp215u277ZILf3Nr0/EA6McGDOzIq183Lme8/8Ic/7pzsu87d8xuB23ddCwAWqDUl34ridrz8dzC4eIkQ2LBe2At1bPS4KW11gkref3DST6cJKNHj95rypQpfZgOVo/ZD1nO/rnWGzE0B7xxl1x+0fP/iH3gIbvn1psfyJOPP7OSr+wfBq8/P0uf7tvV0DZ7lUs91k69KQLu8pr9svV2O6bWmo4BAzJo8ODMeuiB3HjNT5MkBx56ZG698bo8OXdOr4654ZY7vqLMvbF8+fKceOKJ2WuvvXLkkUf+yeuzZ8/OiSeemG9+85trLMOyZcsyYsTatTIj/c/Tj/32JX/N+An7ZPmyZXlg+tSM2/rV2Wq7XXL91T9IZ+fyXn39gt93veRjTth33yxftiz33HLLim3rjRyZ1x9xRH4yefIqv37zvfZ6ycd8pZ55euYa/f5DhgzN6/7yLbnyiguTJKNGbZrttt85N914dcaO2yZbbbVDbrj+5+ns7FyjOUrHRmbRGrRkyZJe7beq89Jjjz2Wk046qVfnpSFDhqxyn9Xt5cyithg/YZ/UWvOq7XdPZ+eyJMnQYSOzeNH8XPfz72XJ4oUNJ+w/OkZs3+fzqDez/s/N6z8aNmx4Jr72oPzimktW+f1Grj/u5Qfmz5qaR1e5z23X3JDpN92ed3/6w0mSW356bX539/058pN/s2KfJx77Q8464fQcd/aXVvn99srmLz/wWmbG44/32bH23HnnLFqyJLuOH7/iWmi9YcOycPHiXHbVVVnUy/Pry7HJkCGujYDGzZ8/v89n0f1TV30e7Usj1h+eg995QH44+SdJkqM+dGgum3JlFi1YnGHDh+bQd78hF5x9WbYZv2XGbr15rv3pjUmS3ffZOZ3LO3PHLfc0Gf9PbLdXe64ZWHc0MYugvznwwAOn1lr3frHXenN74qT71sPD010OTJJ5SZamexXCPOczwDqp1vpfSf4rScaPH18nTZrUbCB4Gc44yy2Gnmv9TUqW7Ts4M6/a53nbl+wzOLNvmdDvS5bjDrrhT7Kvaf/r3GF9ejxYXc7416NWuc/M8599PG7X/bP3UR/LhSe+b8W2JRP3zuwrzsrs+27t1TH3/o8bX2rMl6TWmuOOOy677rprjj/++BXbZ8yYka233jpJ8utf/zo77rhjtttuuzWWY+bMmXFdxCv108+/bZX7DBi0XlI60rl0fgYMWi+bvu5HefBXX8mYkmy/3Vty03n7ZeCiub1+k+O3/7Rglfust8km6Vy2LEvmzcvAoUOz389+ll+dfnoenz49T9x/f5Jk4sc/nkdGjcq9n/rUKr/fe1/6P22+YlddvoZXQazJ0sV7ZPRGD2XhgjnZ4i/emsUL78m4LZ7O9ttvk9/c+OUMHTA/GbBmY3QMPcosWoMeeOCBVe6zsvPSnDlzsummmyZJrr322kyYMKFX56Vtt9325Qd+mXozi9rixWfuF3PNpVes2OeAj96VG845IFn0ePq+4tl/Ddn30j6fR72a9SuZ1xuNnJalS55Okowbe2AWLXggwwev+jp20qQPvtLYrMSBOXnVOw1bkJx/V26aeGcybGBy9vXJGzfP9WN+nWy/cfc+/35jstfIfGrS9FV+u5r3vrLQa5Gjz171P3q8EiOHDs0zixdn1PDhefNfbJ5TL/txFj5nlcEzjjoyJ19yaeavwcJgkhz9qo1dGwGNu+aaa/p8Fp1x4Kl9erxV2XSrDbLvvvvkok91v4ewUdedWfb4+rnoi3fmqOP3y5XfujMXHX9/hm84K5+78gP5yT/PyLKlndn78tfm0q/emFt+fH/DP8HzXVrbc83AuqOJWQRrk96+n75eulcXTJKuJBvl2RUH/2jxC78IAKA/OvTvBmXcTgMybETyt18fml/9cFkWz695w18NzrCRyRHHDsmc33XlB6cvbToq0LDt9n9r3vB3X8iwDTbOEad9N3MeuDM/+Kd3Nx0rU6dOzUUXXZTx48fn7W9/e5Lu2xKff/75efDBB9PR0ZEtttgip57av94shZdr8PBNs8cR30uSlI6BefTuKZn74BX5y4/cljJgSPZ+74+SJPN+f3Pu/uknVssxR2y+eQ6fPDkdAwakdHTkrilTct9ll+VdF1yQTcaPT+3qylO/+10u+8hHVsvx1lb3Tjs/r9716HR0DMiihXMz7Y7zsve+n05Hx8Ds/pruIsvTT83I9Lu/33BS1qSVnZcuueSSTJs2LaWUjBkzJqed5ta2a4OVzVzWbi82r3fY6V0Zsf7YJDWLFj2R6Xd9r+mY9MZrxyZH7ZTs+c1kYEeyx+bJh/dK3vfDZPrcpKMkW22Y/OehTSdtnY8fOCkjhg5JZ1dX/vuGG7JwqfeVANrquO++M7tM2irrb7Jezpn5iXznpF/kgi/8Op+ZcmQO/t+75w8PP53Pv+uCJMmCpxbnoq/cmK/cfExSa2758f39rjAIwLrp5dyeGGCdUkr5XpJJSTZJMjvJSbXWs1a2//jx4+v06av+L13ob874oJUG1yVNrDT4KSsNspY64+BN+vyY71zDKw32F1YaZHX46ef7/hYhN/RipcHV7aR1caXBfsJKg2tWb1YaXN2aWWnQ7Yp45frtSoOr2UGHnNnnx2yL0puVBlez2sAxm7KmVxrsL45+1VaujYDGNbG619uKf55dky6t/9x0BHjJrDQISSnlFd+eGGCdVav1tAEAAAAAAAAAaIeOpgMAAAAAAAAAAAAAfUNpEAAAAAAAAAAAAFpCaRAAAAAAAAAAAABaQmkQAAAAAAAAAAAAWkJpEAAAAAAAAAAAAFpCaRAAAAAAAAAAAABaQmkQAAAAAAAAAAAAWkJpEAAAAAAAAAAAAFpCaRAAAAAAAAAAAABaQmkQAAAAAAAAAAAAWkJpEAAAAAAAAAAAAFpCaRAAAAAAAAAAAABaQmkQAAAAAAAAAAAAWkJpEAAAAAAAAAAAAFpCaRAAAAAAAAAAAABaQmkQAAAAAAAAAAAAWkJpEAAAAAAAAAAAAFpCaRAAAAAAAAAAAABaQmkQAAAAAAAAAAAAWkJpEAAAAAAAAAAAAFpCaRAAAAAAAAAAAABaQmkQAAAAAAAAAAAAWkJpEAAAAAAAAAAAAFpCaRAAAAAAAAAAAABaQmkQAAAAAAAAAAAAWkJpEAAAAAAAAAAAAFpCaRAAAAAAAAAAAABaQmkQAAAAAAAAAAAAWkJpEAAAAAAAAAAAAFpCaRAAAAAAAAAAAABaotRam84AsFYZP358nT59etMxgJa75pprMmnSpKZjAC1nFgH9gVkE9BfmEdAfmEVAf2AWAf2BWQRJKWVqrXXvF3vNSoMAAAAAAAAAAADQEkqDAAAAAAAAAAAA0BJKgwAAAAAAAAAAANASSoMAAAAAAAAAAADQEkqDAAAAAAAAAAAA0BJKgwAAAAAAAAAAANASSoMAAAAAAAAAAADQEkqDAAAAAAAAAAAA0BJKgwAAAAAAAAAAANASSoMAAAAAAAAAAADQEkqDAAAAAAAAAAAA0BJKgwAAAAAAAAAAANASSoMAAAAAAAAAAADQEkqDAAAAAAAAAAAA0BJKgwAAAAAAAAAAANASSoMAAAAAAAAAAADQEkqDAAAAAAAAAAAA0BJKgwAAAAAAAAAAANASSoMAAAAAAAAAAADQEkqDAAAAAAAAAAAA0BJKgwAAAAAAAAAAANASSoMAAAAAAAAAAADQEkqDAAAAAAAAAAAA0BJKgwAAAAAAAAAAANASSoMAAAAAAAAAAADQEkqDAAAAAAAAAAAA0BJKgwAAAAAAAAAAANASSoMAAAAAAAAAAADQEkqDAAAAAAAAAAAA0BJKgwAAAAAAAAAAANASSoMAAAAAAAAAAADQEkqDAAAAAAAAAAAA0BJKgwAAAAAAAAAAANASSoMAAAAAAAAAAADQEkqDAAAAAAAAAAAA0BJKgwAAAAAAAAAAANASSoMAAAAAAAAAAADQEkqDAAAAAAAAAAAA0BJKgwAAAAAAAAAAANASSoMAAAAAAAAAAADQEkqDAAAAAAAAAAAA0BJKgwAAAAAAAAAAANASSoMAAAAAAAAAAADQEkqDAAAAAAAAAAAA0BJKgwAAAAAAAAAAANASSoMAAAAAAAAAAADQEkqDAAAAAAAAAAAA0BJKgwAAAAAAAAAAANASSoMAAAAAAAAAAADQEkqDAAAAAAAAAAAA0BJKgwAAAAAAAAAAANASSoMAAAAAAAAAAADQEkqDAAAAAAAAAAAA0BJKgwAAAAAAAAAAANASSoMAAAAAAAAAAADQEkqDAAAAAAAAAAAA0BJKgwAAAAAAAAAAANASSoMAAAAAAAAAAADQEkqDAAAAAAAAAAAA0BJKgwAAAAAAAAAAANASSoMAAAAAAAAAAADQEkqDAAAAAAAAAAAA0BJKgwAAAAAAAAAAANASSoMAAAAAAAAAAADQEkqDAAAAAAAAAAAA0BJKgwAAAAAAAAAAANASSoMAAAAAAAAAAADQEkqDAAAAAAAAAAAA0BJKgwAAAAAAAAAAANASSoMAAAAAAAAAAADQEkqDAAAAAAAAAAAA0BKl1tp0BoC1SinlmSTTm84BtN4mSeY2HQJoPbMI6A/MIqC/MI+A/sAsAvoDswjoD8wiSLaqtY5+sRcG9nUSgHXA9Frr3k2HANqtlHKLWQQ0zSwC+gOzCOgvzCOgPzCLgP7ALAL6A7MI/jy3JwYAAAAAAAAAAICWUBoEAAAAAAAAAACAllAaBHjp/qvpAAAxi4D+wSwC+gOzCOgvzCOgPzCLgP7ALAL6A7MI/oxSa206AwAAAAAAAAAAANAHrDQIAAAAAAAAAAAALaE0CNBLpZRDSinTSyn3l1I+03QeoD1KKd8upcwppdz5nG2jSik/L6Xc1/N5oyYzAuu+Usq4UsrVpZRppZS7Simf6NluHgF9ppQytJRyUynltp5Z9C89280ioM+VUgaUUn5bSrm057lZBPSpUsqMUsodpZRbSym39Gwzi4A+VUrZsJRyQSnlnp73jfY1i4C+VkoZ33NN9MePp0sp/2AewcopDQL0QillQJJvJHlLklcneW8p5dXNpgJa5Jwkh7xg22eSXFlr3T7JlT3PAdak5UmOrbXulGSfJB/ruR4yj4C+tCTJQbXW3ZLsnuSQUso+MYuAZnwiybTnPDeLgCYcWGvdvda6d89zswjoa19Pcnmtdccku6X7+sgsAvpUrXV6zzXR7kn2SrIwyYUxj2CllAYBemdikvtrrQ/WWpcm+X6SwxrOBLRErfXaJE+8YPNhSSb3PJ6c5PC+zAS0T6310Vrrb3oeP5PuN4DHxDwC+lDtNr/n6aCejxqzCOhjpZSxSQ5N8q3nbDaLgP7ALAL6TCll/SQHJDkrSWqtS2utT8UsApr1hiQP1Fp/F/MIVkppEKB3xiSZ+Zzns3q2ATRls1rro0l3kSfJpg3nAVqklLJ1kj2S3BjzCOhjPbcDvTXJnCQ/r7WaRUATvpbk00m6nrPNLAL6Wk3ys1LK1FLKh3u2mUVAX9omyR+SnF1K+W0p5VullOExi4BmvSfJ93oem0ewEkqDAL1TXmRb7fMUAAANK6WMSPKDJP9Qa3266TxA+9RaO3tuNTM2ycRSyoSGIwEtU0p5W5I5tdapTWcBWm//WuueSd6S5GOllAOaDgS0zsAkeyb5j1rrHkkWxK0/gQaVUgYneUeS85vOAv2d0iBA78xKMu45z8cmeaShLABJMruUsnmS9Hye03AeoAVKKYPSXRj8Tq31hz2bzSOgET23vLomySExi4C+tX+Sd5RSZiT5fpKDSinnxSwC+lit9ZGez3OSXJhkYswioG/NSjKrZwX4JLkg3SVCswhoyluS/KbWOrvnuXkEK6E0CNA7NyfZvpTyqp7/TnhPkh81nAlotx8l+euex3+d5OIGswAtUEopSc5KMq3W+pXnvGQeAX2mlDK6lLJhz+NhSd6Y5J6YRUAfqrWeUGsdW2vdOt3vEV1Va/1AzCKgD5VShpdSRv7xcZKDk9wZswjoQ7XWx5LMLKWM79n0hiR3xywCmvPePHtr4sQ8gpUqtbq7JkBvlFLemuRrSQYk+Xat9XPNJgLaopTyvSSTkmySZHaSk5JclGRKki2TPJzkXbXWJxqKCLRAKeV1Sa5LckeSrp7N/5TkxphHQB8ppeyaZHK6fy/rSDKl1npKKWXjmEVAA0opk5J8qtb6NrMI6EullG3Svbpg0n170O/WWj9nFgF9rZSye5JvJRmc5MEkH0rP72sxi4A+VEpZL8nMJNvUWuf1bHNtBCuhNAgAAAAAAAAAAAAt4fbEAAAAAAAAAAAA0BJKgwAAAAAAAAAAANASSoMAAAAAAAAAAADQEkqDAAAAAAAAAAAA0BJKgwAAAAAAAAAAANASSoMAAAAAAKxWpZSNSym39nw8Vkr5fc/j+aWU/9d0PgAAAIA2K7XWpjMAAAAAALCOKqWcnGR+rfWMprMAAAAAYKVBAAAAAAD6SCllUinl0p7HJ5dSJpdSflZKmVFKOaKU8qVSyh2llMtLKYN69turlPKLUsrUUspPSymbN/tTAAAAAKzdlAYBAAAAAGjKtkkOTXJYkvOSXF1r3SXJoiSH9hQH/z3JUbXWvZJ8O8nnmgoLAAAAsC4Y2HQAAAAAAABa6ye11mWllDuSDEhyec/2O5JsnWR8kglJfl5KSc8+jzaQEwAAAGCdoTQIAAAAAEBTliRJrbWrlLKs1lp7tnel+/3rkuSuWuu+TQUEAAAAWNe4PTEAAAAAAP3V9CSjSyn7JkkpZVApZeeGMwEAAACs1ZQGAQAAAADol2qtS5McleSLpZTbktyaZL9GQwEAAACs5cqzd3sAAAAAAAAAAAAA1mVWGgQAAAAAAAAAAICWUBoEAAAAAAAAAACAllAaBAAAAAAAAAAAgJZQGgQAAAAAAAAAAICWUBoEAAAAAAAAAACAllAaBAAAAAAAAAAAgJZQGgQAAAAAAAAAAICWUBoEAAAAAAAAAACAlvj/r5Ywsmqwdf4AAAAASUVORK5CYII=",
      "text/plain": [
       "<Figure size 2880x756 with 1 Axes>"
      ]
     },
     "metadata": {
      "needs_background": "light"
     },
     "output_type": "display_data"
    }
   ],
   "source": [
    "horizon = makespan * 1.05\n",
    "machine_op_durations = get_machine_op_durations(\n",
    "    env.machine_op_ids,\n",
    "    env.jobs,\n",
    "    env.op_id_to_job_info\n",
    ")\n",
    "\n",
    "draw_gantt_chart(\n",
    "    horizon,\n",
    "    env.machine_start_times,\n",
    "    machine_op_durations,\n",
    "    env.machine_op_ids,\n",
    "    env.op_id_to_job_info,\n",
    "    env.number_of_jobs\n",
    ")"
   ]
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3.9.12 ('fjsp-rl')",
   "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.9.12"
  },
  "orig_nbformat": 4,
  "vscode": {
   "interpreter": {
    "hash": "9af82945d3fcc9f5a9e513a177df704e75e4a91e795d1082ff4bcabadd9bc4e8"
   }
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}