{ "cells": [ { "cell_type": "markdown", "metadata": { "collapsed": true }, "source": [ "## Assignment 2 \n", "\n", "## Inceptionism, Video Surveillance and Motion detection\n", "\n", "Given date: November 17th\n", "\n", "Due date: December 6th \n", "\n", "Total : 40pts + 6pts \n", "\n", "Additional readings (To go further): \n", " - [Google AI post on \"inceptionism\"](https://ai.googleblog.com/2015/06/inceptionism-going-deeper-into-neural.html)\n", " - [Dumitru Erhan, Yoshua Bengio, Aaron Courville, and Pascal Vincent, Visualizing Higher-Layer Features of a Deep Network](https://pdfs.semanticscholar.org/65d9/94fb778a8d9e0f632659fb33a082949a50d3.pdf)\n", " - [On the Applications of Robust PCA in Image and Video Processing, T. Bouwmans, S. Javed, H. Zhang, Z. Lin, R. Otazo](https://hal.archives-ouvertes.fr/hal-01891028/document)\n", " - [Robust principal component analysis? EJ Candès, X Li, Y Ma, J Wright ](https://arxiv.org/pdf/0912.3599.pdf)\n", " - [Locally linear denoising on image manifolds, D. Gong, F. Sha G. Medioni](http://proceedings.mlr.press/v9/gong10a/gong10a.pdf)\n", " - [Nonlinear Image Interpolation using Manifold Learning, C Bregler, S. M. Omohundro'](https://pdfs.semanticscholar.org/9090/d0c4de232112602e0cb3b313c88016261dd0.pdf)\n", "\n", "The assignment is divided into three parts. In the first part, we will go back to neural networks. You will first be asked to train a simple network through your own implementation of backpropagation. \n", "\n", "and we will study one way to get intuition on what the networks are learning, i.e. how they view the world, a concept termed inceptionism by the original google papers. In the second part, we will use a robust version of PCA to extract the foreground from video surveillance sequences. Finally the last exercise " ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### Exercise 1. (16pts + 3pts) Building and training your neural network\n", "\n", "The main point of this first exercise is to code and train a simple neural network, including backpropagation, from scratch. \n", "\n", "Consider the binary dataset shown below. For this exercise, you are asked to build a simple __two hidden layers__ neural network (You have to consider at least two hidden layers for backpropagation to be sufficiently interesting) with __at least two neurons__ in each layer. We will use sigmoids as our activation functions and use the binary cross entropy loss function. Don't forget to put a sigmoid activation to your final neuron in order to get a binary output. " ] }, { "cell_type": "code", "execution_count": null, "metadata": { "collapsed": true }, "outputs": [], "source": [ "import numpy as np\n", "import matplotlib.pyplot as plt\n", "\n", "import scipy.io\n", "mat1 = scipy.io.loadmat('Ex0dataClass1.mat')\n", "mat2 = scipy.io.loadmat('Ex0dataClass2.mat')\n", "\n", "\n", "mat1 = mat1['dataClass1']\n", "mat2 = mat2['dataClass2']\n", "\n", "\n", "plt.scatter(mat1[:,0], mat1[:,1], c = 'r')\n", "plt.scatter(mat2[:,0], mat2[:,1], c = 'b')\n", "plt.title('DataSet 1')\n", "\n", "plt.show()" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "#### Exercise 1.1.1 (8pts) Start by completing the 'cross_entropyLoss' function below " ] }, { "cell_type": "code", "execution_count": null, "metadata": { "collapsed": true }, "outputs": [], "source": [ "from numpy import linalg as LA\n", "from scipy.optimize import minimize\n", "\n", "\n", "def cross_entropyLoss(X, t, W, lambda0):\n", " \"\"\" Define the loss cross entropy loss function with ell_2 regularization \n", " based on data stored in the matrix X with associated targets in t. \n", " The network has weights stored in the vector W (up to you to decide how you organize the weights)\n", " \n", " The function should ouptut the value of the regularized cross entropy loss for \n", " the regularizer stored in lambda0. \n", " \n", " I.e. if you have N points stored in X, you have to return the value of the regularized loss\n", " \n", " l(W) = -1/N sum_{i=1}^N [t_i log(y(x_i)) - (1-t_i)log(1-y(x_i))] + (lambda0/2/N)*( sum_{i=1}^M W_i)\n", " \n", " Also note that when we regularize, we usually don't regularize the first bias. \n", " The point of regularization is indeed to make the curve \n", " \"\"\"\n", " \n", " N = t.size\n", " M = W.size\n", " \n", " #========================================================================================\n", " \n", " # Compute the output of the network and gradient \n", " \n", " \n", " #========================================================================================\n", " \n", " \n", " # y should encode the output of the network for a the vector of inputs X \n", " y = 0 \n", " loss = - np.true_divide(1, N) * np.dot(t, np.log(y)) + np.dot((1-t), np[.log(1-y)])\n", " weightsR = W\n", " weightsR[0]=0 \n", " regularizationW = np.true_divide(1, M)*np.true_divide(1,2) * LA.norm(weightsR)**2\n", " loss_regularized = loss + regularizationW\n", " grad = np.zeros(W.shape)\n", " \n", " \n", " return loss, gradient \n", "\n" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "#### Exercise 1.1.2 (4pts) Complete and use the 'training' function to get the weights of your network " ] }, { "cell_type": "code", "execution_count": null, "metadata": { "collapsed": true }, "outputs": [], "source": [ "\n", "def training(X, Winit, learning_rate, MaxIter):\n", " '''The function should returned the trained neural network starting with weights \n", " initialized by Winit. To complete the training, we will use the function and gradient of \n", " the binary cross entropy function that you computed above and combine them with the '''\n", " \n", " f = lambda W: cross_entropyLoss(X, t, W, lambda0):\n", " \n", " \n", " # The Truncated Newton Algorithm (TNC in scipy.optimize) comes with several options \n", " # which you can set, one of those options being the maximum number of iterations\n", " \n", " fmin = minimize(f, Winit, method='TNC', jac=True,\\\n", " options={'gtol': 1e-6, 'disp': True})\n", " \n", " minimum = minimize(fun=functionHandle, Winit, args=(input_size, hidden_size, num_labels, X, y, learning_rate), \n", " method='TNC', jac=True, options={'maxiter': MaxIter})\n", " \n", " # the optimal weight vector is stored in the ouput minimum.x\n", " \n", " return minimum.x\n" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "#### Exercise 1.1.3. (4pts) Finally, complete the prediction function and check the prediction of your neural network on the test set provided below " ] }, { "cell_type": "code", "execution_count": null, "metadata": { "collapsed": true }, "outputs": [], "source": [ "\n", "import numpy as np\n", "import matplotlib.pyplot as plt\n", "\n", "import scipy.io\n", "matTest = scipy.io.loadmat('dataTestEx0.mat')\n", "XTest = matTest['dataTest']\n", "\n", "\n", "\n", "def prediction(XTest, Wtrained):\n", " \n", " '''This function should return the output of the network y(Wtrained; x) for the points \n", " stored in the validation Matrix XTest'''\n", " \n", " # ===================================================================\n", " \n", " # Complete the function with your own code \n", " \n", " # ===================================================================\n", " \n", " \n", " y = 0 # This line should be replaced with the output of your trained network\n", " \n", " return y" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "#### Bonus 1.2. (3pts) Rationalizing networks architectures\n", "\n", "In this bonus, we would like to build a neural network that is given by a succession of linear filters (as usual) and +1/-1 step functions (not Relus!). Given this specification, Try to determine what would be the simplest structure that can separate the two classes given in the 'BonusdataClass1' and 'BonusdataClass2' below. \n", "\n", "(hint: There is no need to build the network, just try to answer the question. Think of the network of a combination/cascade of separating planes)\n" ] }, { "cell_type": "code", "execution_count": null, "metadata": { "collapsed": true }, "outputs": [], "source": [ "import numpy as np\n", "import matplotlib.pyplot as plt\n", "\n", "import scipy.io\n", "mat1 = scipy.io.loadmat('BonusdataClass1.mat')\n", "mat2 = scipy.io.loadmat('BonusdataClass2.mat')\n", "\n", "mat1 = mat1['BonusdataClass1']\n", "mat2 = mat2['BonusdataClass2']\n", "\n", "plt.scatter(mat1[:,0], mat1[:,1], c = 'r')\n", "plt.scatter(mat2[:,0], mat2[:,1], c = 'b')\n", "plt.title('DataSet 2')\n", "plt.show()\n", "\n" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### Exercise 2. (9pts + 3pts) Après l'effort le Réconfort: Inceptionism" ] }, { "cell_type": "markdown", "metadata": { "collapsed": true }, "source": [ "In this exercise, we are interested in replicating an approach known as inceptionism or activation maximization which gives an insight on how neural networks 'see' the world. The idea is that once a network has been trained, one can try to understand what are the input images that will lead to a maximum value of any given activation $\\sigma(\\sum_{i=1}^N w_{ij}x_j)$ in the network. If we choose the activation to be the one attached to the output unit, then such a maximization should generate the image that is the most likely to be classified as the object encoded by the corresponding output/label (e.g. 'plane', 'boat',...)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "\"Drawing\"\n", "\n", "image credit: [https://www.redsharknews.com/](https://www.redsharknews.com/technology/item/2705-this-may-be-the-weirdest-video-you-have-ever-seen) " ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "On top of providing the building blocks for the assembling of neural networks, Keras also provides pretrained versions of some popular neural network architectures, for some specific datasets. \n", "\n", "#### Question 2.1: (1pt) Getting some intuition on the VGG16 model\n", "\n", "As an illustration of this, use the lines below to load the VGG16 model which has weights pretrained on ImageNet. There are two functions we can use to visualize the VGG network. The first one is 'print(model.summary())'. The second one is 'plot_model(model, to_file='pretrained_vgg.png')'. Use those lines to get some intuition on the VGG model. What do the dimensions of each filter correspond to ?" ] }, { "cell_type": "code", "execution_count": null, "metadata": { "collapsed": true }, "outputs": [], "source": [ "from tensorflow.keras.applications.vgg16 import VGG16\n", "model = VGG16()\n", "print(model.summary())\n", "\n", "# build the VGG16 network\n", "model = VGG16(include_top=False, weights='imagenet')" ] }, { "cell_type": "code", "execution_count": 8, "metadata": { "collapsed": true }, "outputs": [], "source": [ "from tensorflow.keras.utils import plot_model\n", "plot_model(model, to_file='pretrained_vgg.png')" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "In order to access the output of specific layers, we will want to keep a list of those layers. Use the line below to store the name of each layer in the dictionnary 'layer_dict'. " ] }, { "cell_type": "code", "execution_count": null, "metadata": { "collapsed": true, "scrolled": true }, "outputs": [], "source": [ "layer_dict = dict([(layer.name, layer) for layer in model.layers])" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "#### Exercise 2.2. (2pts) Implementing Activation Maximization through the Backend \n", "\n", "Another interesting feature of Keras is the \"backend\". Although the first objective of Keras is to provide the high level building blocks to develop deep learning models, it also provides some access to lower level functions through its backend engines which handle tensor manipulation. Keras has three backend implementations : TensorFlow, Theano and CNTK. The backend API provide some useful functions which are ususally used to make the function that are written compatible with Theano or TensorFlow. \n", "\n", "In this exercise, we will use several function from the backend to access and optimize the ouput of particular layers in the network. The lines below define a function 'iterate' which when applied to an input of dimension equal to the input dimension of VGG16, return the output of the layer 'block5_conv1' and the corresponding gradient. I.e. if you apply the function 'iterate' to an image of dimension equal to the input dimension of the 'input_5' layer, i.e. iterate([input_img_data]) you get an output of the form [loss_value, grads_value] \n", "\n", "\n", "#### Using the lines below apply a few steps of activation maximization (taking 20 iterations with a step size of '1' is a good start)" ] }, { "cell_type": "code", "execution_count": 93, "metadata": { "collapsed": true }, "outputs": [], "source": [ "from tensorflow.keras import backend as K\n", "import numpy as np\n", "\n", "layer_output = layer_dict['block5_conv1'].output\n", "\n", "# Here we choose the first filter in the layer 'block5_conv1'\n", "loss = K.mean(layer_output[:, :, :, 0])\n", "\n", "img_width = 224\n", "img_height = 224\n", "input_img_data = np.random.random((1,img_width, img_height,3)) * 20 + 128\n", "\n", "\n", "\n", "inp = model.input \n", "grads = K.gradients(loss, inp)[0]\n", "grads /= (K.sqrt(K.mean(K.square(grads))) + 1e-5)\n", "\n", "iterate = K.function([model.input], [loss, grads])\n", "\n", "#==========================================================================================\n", "\n", "# Put your code here\n", "\n", "#==========================================================================================\n" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "#### Exercise 2.3. (1pt) Displaying the resulting image \n", "\n", "Use the function below to preprocess your result and display the result using the imshow function from pyplot. " ] }, { "cell_type": "code", "execution_count": null, "metadata": { "collapsed": true }, "outputs": [], "source": [ "from scipy.misc import imsave \n", "import matplotlib.pyplot as plt\n", "\n", "# util function to convert a tensor into a valid image\n", "def deprocess_image(x):\n", " # normalize tensor: center on 0., ensure std is 0.1\n", " x -= x.mean()\n", " x /= (x.std() + 1e-5)\n", " x *= 0.1\n", "\n", " # clip to [0, 1]\n", " x += 0.5\n", " x = np.clip(x, 0, 1)\n", "\n", " # convert to RGB array\n", " x *= 255\n", " #x = x.transpose((1, 2, 0))\n", " x = np.clip(x, 0, 255).astype('uint8')\n", " return x" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "#### Exercise 2.4. (2pts) Try a couple more filters of your choice." ] }, { "cell_type": "code", "execution_count": null, "metadata": { "collapsed": true }, "outputs": [], "source": [ "# put your code here\n", "\n" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "#### Exercise 2.5. (3pts) Maximizing the class\n", "\n", "Now that we found the images that are maximizing the outputs of particular layers, we want to understand what are the images that are the most likely to be classified in each of the particular classes. A first easy way to do this is to use the line below\n", "\n", "loss = K.mean(model.output[:, output_index])\n" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "#### Bonus 2.6. (3pts) One step futher \n", "\n", "In the previous step, what we have done is maximizing the feature (i.e the result of the feature extraction step). In order to understand how the network understands each class, we could instead maximize the result of the classification step (i.e the final label returned by the network). Code this second approach below" ] }, { "cell_type": "code", "execution_count": null, "metadata": { "collapsed": true }, "outputs": [], "source": [ "# put your code here\n", "\n" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### Exercise 3. (10pts) Robust PCA for video surveillance \n", "\n", "We have seen that PCA retains an approximation of an original dataset $X$ by focusing on the largest singular values. Such an order $K$ approximation can be obtained from the singular value decomposition $\\boldsymbol U \\boldsymbol \\Sigma \\boldsymbol V^T$ by truncating $\\boldsymbol U$ to the first $K$ columns, retaining the $K\\times K$ diagonal matrix $\\boldsymbol \\Sigma_k$ as well as the first $K$ rows of $\\boldsymbol V^T$, $\\boldsymbol V_k^T$, and writing the approximation as $\\boldsymbol U_k \\boldsymbol \\Sigma_k \\boldsymbol V^T_k$. This approach is particularly efficient when each of the feature vectors (or images in this case) are close to each other. When there is sharp variations across images, such as when an object appears, move throughout the images and then dissapears, a simple PCA does not suffice anymore and one might want to extend it to something more robust. The escalator sequence below is an example of such sequence. " ] }, { "cell_type": "code", "execution_count": 157, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "(20800,)\n" ] }, { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAATcAAAD8CAYAAAASeuPxAAAABHNCSVQICAgIfAhkiAAAAAlwSFlz\nAAALEgAACxIB0t1+/AAAADl0RVh0U29mdHdhcmUAbWF0cGxvdGxpYiB2ZXJzaW9uIDIuMi40LCBo\ndHRwOi8vbWF0cGxvdGxpYi5vcmcv7US4rQAAIABJREFUeJzsvXmYXVWVNv6eO9+ah6RSGSpJASEB\nEsZAmJo5AUFBAWlFQUUBW0EcPhVs20/Rn92ftt3SbbcKDiCKiAERBBkUUMIkhBkCSUjIQJKaq1JV\nd6g7nN8fJ++66+6z61ZVQtqy+qznyXMr956zz57OXu+aHdd1EVBAAQU01Sj01+5AQAEFFNDeoOBw\nCyiggKYkBYdbQAEFNCUpONwCCiigKUnB4RZQQAFNSQoOt4ACCmhKUnC4BRRQQFOS9trh5jjOGY7j\nvO44znrHca7eW88JKKCAArKRszeceB3HCQNYC2A5gK0Angbwftd1X33bHxZQQAEFZKHIXmr3KADr\nXdfdAACO49wK4BwA1sPNcZyKJ6zjOL7v9nZkBZ/puq7v+fr/tr7NmTMHABAKhbBz504AQH9/PwAg\nEokgm83K76REIlHWRjablTHyGdFoFPl8HgBQV1cn1w4NDQGA/BaNRlEoFKT/+nM00r/zebaxvR2k\nn2WOUf/N+dG/2a7XNJ69UiwWfdePtaZmG47jWL+zEddCr/dY4xjr+aMRx2bbt+N9nh6b/tTvhH6W\npnA4LJ/8Xe9FzgGvc10XNTU1Y/bNcRwMDg4CAHK5XLfrutPHGsfeOtxmA9ii/r8VwDJ9geM4lwG4\nzLzR3GyhUAiRiNdNPakTfXltxIl2Xdd6kPBZ5vMjkUjZIvI3tveP//iPAIDq6mr84Q9/AADcdddd\nAIBp06bhjTfeAAAkk0npywEHHCDPA4B169Yhl8sBAOLxOABg5syZ6O7uBgCceuqpcu/jjz8OAOjp\n6QEAtLa2yqHKNnjw6WfoMXE+OT79+XaTfgHNFz8cDsvc88Dn+AEIY+A1mkKhkPUF4RyQUqmUPI9t\nh0IhWUuOW88T50/vAXPP2earUCgI8+F6h0Ih6ZN5kJtU6SDR1/B3zk82my3bw3yGnkuS2XY4HJbx\njoyMyDWcH/adz8rn8/JbbW0tAKChoQGpVAoAZC9ms1mZg6amJmn/2GOPBQDEYjHfuPV8P/LIIwCA\n7du3bxp1MhTtrcNtTHJd93oA1wN25FbpsNKH0Z4gONuGMTdTOByWDcgFLBaLshBcrFwuJxvik5/8\nJADvBbzyyisBAJlMBoC3mbmR9YHDTbR9+3Z5Bq9jXwYHB4V7sb1XX30VO3bsAFDaHKlUysokTCoU\nClbuanJo2xzvDrrjGCtRNBqVNjk/hUIBVVVVZf20HW66P5pZDQ8Pl12TyWRkLfX8cI740sbjcXke\nP3l9oVDwMQbb+FzXlbXSSLTS/OnDX+/D0SibzcrvnLNcLle2X9lepTXgeLLZrLTDe+PxuBzS5rjD\n4TCmT/eAFPdgV1eXtMHP+vp6NDQ0AIDs2XA4LPfoPaqZrX7mRGhvHW5vAWhT/5+z67sxySZCmCit\nWCzudbHUfCZQ/kJzk+jNrg8w9rO3t7esHY0aiEzmzZuHgw46CEBJxBwYGPAdvrNnz5a/uZk0h9ab\nzkRs+Xzed3Drw40UCoXkHo1sR6OJqAzMDWtrJ5/Py988lGxIZ3BwcMKimn7xxyNajYyM+FCfnhuz\nDVt/isUi0um0b4y8ls/Sh7om8zob5XI52Y/cg8VisWxv8vla0uB1JoPTTJfXZTIZH+Pg/m1sbJTn\n60OL7c6cOVPGuHnzZgAlUDB9+nSfqKoBANuNxWITfuf3lrX0aQALHMdpdxwnBuB9AO7aS88KKKCA\nAvLRXkFuruvmHce5AsD9AMIAfuK67iu72VYZJ+F3e5tsuiiS4zg+NOA4jq+fc+fORX19PQBg2bKS\nyrG9vR1ASbRqaGgQpery5csBeOIpORl/GxoaEo5HrnniiSeKrq2rqwsA8Nprr0nbmlObiCwcDsv4\nKonolWgia8E+a1HPfL7ruqK7sunD2Pfh4eFRkZJJNjUAn0sxPxwO+3Rm0WjUtw9MJKefOZpeTCNG\nwEPbbI/PLBQKPjWEprHQs4nwIpGIIC2b3lWPy7YHzOfp/1O0pDjZ39/vM5KFw2G0tLQAgOjeBgcH\n0dzcXNYnmw4wHA77kJtei/HSXtO5ua57L4B791b7AQUUUECV6K9mUPhbJq3oJddrbGzE+eefD6Ck\n96ipqRGONnfuXAAeJzJ1brFYzMddZ8yY4VNUT5s2Tf5muzU1NdIOOWpPT49YqDSZOp1oNCrjIHfN\n5/M+1FfJUmej0TisiXq0bkWjB95vIuFKbfG5tmeb12prN/Vh4XDYh9Ly+byMnW3YkPx4URWfpeeT\n7epx29obL2rRejGuqb6Xe1M/y/QUGE3PXF1dDaA0B7TcFwoFmU/uwWQyKfpmrmNra6v8zbbq6+t9\nLj96n2rL9WgW5dHob/Jws/kY/U+Stqxx8jOZjGxewnXt6sDDqLW1Ve6h8jWXy/kWeGRkBG1tnk2G\nm3RoaMj3XC1+UAHf09NjNQbwOvYvGo1K2/ql5UalyDDRF3q0w9A0CugDRffRPIy00nus51ay7OqD\nyhxTsVgUxqFFRdPiN1HfP92fSkyikrFld55n89vT+9F2kNnmjowuFovJ/PCT+6SqqkrUJZyn3t5e\nUafQJzOdTvue0dPTg4ULFwIoibShUEjmak8OtyC2NKCAApqSNOmR218LoWk/qko+SdpU3tfXBwBY\ntGgRAI/DEX7ztwMPPFCgO2F9PB7HAw88UPbcaDRa5pQLAC0tLXj99dcBlDiadkmgQUH7M9n83LSD\nJlGS5vjk7nRLIYIrFos+UXG0OTGV7Po7sx/mvSZa2lOyKcdtflSmkWg8bU1WGquflRBuKBQSdE+V\nR39/v0+dwr0dDodFDcL7tLhJiUa7GdGQs++++8rz9R4116KqqmrCTuUBcgsooICmJE165PbXInKO\niTipEmlptEIux3seeugh3zNisZhcpz3CieI2bNgAwOOYDG8hmkokEsI1qSzOZrM+B85YLCZ6P+0Q\najor6/HyOrarr7PFfeo2TR3Z3wri+d9MWmrgvhgYGADg6c24R003ja6uLnFC517p6+srC8UCPElg\n27ZtAEr7pqamxup2ZZM4Jo0ryN86aRHKVGTaJjkUComBQItkPHi40AsXLhQF6/r16wGU+83pw4ab\njYpZoGSYINRvaGiQ6/QhZCrR0+m0Lx5WG0b02Ew/MxoqxrLoBfS3Rzp2W/sDUuScN28eAG/PULVC\nJs7D7qSTTpLvaKBqaGgQlQdDCsPhsPh9MrlEY2OjT0UwVhKDcY9tt+8MKKCAAprEFCC3UchmwreZ\nz/X1hPA6CwMVrITw3d3dkv5IoyYaF7QbAjkazez6O0J9mxI2mUzKdYzr6+/vF65K0gHc2oDCPjNY\nXWeDsPlqmaSTDei5ersMBAG9faRTbdH1yHVd8cukGNnd3S3IrbGxEYAXHQMAzz33nOwtRiUAwKc+\n9SkAwPve9z4AwJ///Gd88IMfBACsXbsWgLePiea0m4p2C+F3kyW2NKCAAgror0r/a5CbducwUxjZ\nnEmpL9AOhZWSHEajUdGv0SVj5syZPpeM/v5+QUY6i4jWq/E7M48czedAyU0jnU4LsiNy1IiRbdTV\n1ZWhQrZrRgNEo1HRt1Dnxs9YLCbXkVPncjmZK36nc7JViskM6O0jm9O2LfKASI3ftbS0iF6Nv23f\nvl1cjrim8XgcRxxxBIDSWj744IMAgObmZpEkOjo6AHh79Vvf+pb8Dnh53b7whS8AAK699loA3n7T\n7xrg7Vn2RceWVsqMYqP/NYcbJy4Wi8nLywOgWCyK0tw8jPRhSAqHw77QpHg8Lm3QUDBr1ixf0j+b\nl3Y+n5cDhO2mUilfqMzQ0JAvQFofgrYQIX0gsg82y6g2FJiHuU4zpL3SAe+AprGEY21oaBDxVY8h\nEEv3DukECFyrZDIp+4LrHgqFhIkyQeTw8LBct3r1agAeI+QhtXTpUmlj0yYvRySfNX/+fADevmQq\nI+6Z6upqiTxgoog//OEP+Nd//VcA5aFofA+3bPHy23Z3d8v+4iF3yCGHTHheArE0oIACmpI05ZEb\nuRLRWjQa9WVxzefzZVlfAbs5mqglkUiUoT7A40TkMi+++CIAYOPGjYIYtQhqIqNYLObzN6uqqvKl\n+dFJFvmbzghrS8BIsSISifiysOqEgrZAav5GLqrTOulEktqLnHPM5+p4Vu2qEtDbR4VCQdyLZs2a\nBcDb02+95eWH5X6fPXu2RARw/cLhsCAmtjE8PIwjjzwSQEka6Ovrk7a1dMFn8X3Yf//9AXiJH37/\n+98DAO655x75jcH0vF4nW6Whbd26db69t3DhwgnH3wbILaCAApqSNKWQmy4wAZS7N2hveyIIHatm\nKmS1iwXRh07TYurcIpGIIBg62qZSKekTOWAymZTn8/r9998fV111FYASp+rr68P1118PAHj55Zd9\n/dXKVbbD76qrq4Wr2iItdKYHmx6MfTadeDXq1OMxY1D1PGpltll4xZZuR/9dyd1E60KJmPP5vC9W\ndjKRTiU1URRbKZHlvvvuKy4/b775plzHuWD0QCKRkPupP9N6OM5jW1ub6I1prGptbRXdKp3V16xZ\nA8AzGFAntmDBAgDeO0CdHF1INm3aJOjrhhtuAODpp1966SUAJT2c67qyB813eiI0pQ43DasB4P3v\nf78oNZ999lkAHoRnVlweQoVCAb/85S8BlBbd9tJzE9DPR9O73/1u8bqmz9qNN94oC6tTI33uc58D\nUF7diS8jRdpkMonjjjsOAKRa1vDwsC//GeA/DFKplO/QKBQK8rzLL78cgCc6UBS4//77AXgHLSt1\n0Sfp3nu9nKM9PT1Wg4YtlZGZn65YLMrLbaoANOkKVrYXWT+DFjoynYGBAXlBdJ60Ss+wWeDMojB7\nQjaDVKVr9aft8A+FQuIXpvch943O8Hv00UcDKDco0G9NG4TIlPg+PP/88zKn3PPTp08X3zTOKf3i\nDjjgADnUNMM5/fTTy8bX19cnngT/+Z//CcDLUcjna+MT+6JDviZqLQ3E0oACCmhK0pRCbjz5ida+\n/vWv47vf/S4A4Dvf+Q4Az0uacPmHP/yh3GtyV11TlGRmVNW0adMmvOc97wEAdHZ2AgC+//3vl5U/\nA4Bzzz0XH/rQhwAA3/jGNwAAX/nKV/Dkk08CAE4++WQAwMqVK+X3V1/1alk//PDDvv6OlsDPxuWY\niunjH/84AOCrX/0qvvSlLwEomfVra2tFAXzxxRcDgIgNHR0dvlqYruv68uBnMpmKiQ/1XNuqb1VC\nOjrImuIwkcnBBx8sz9BuBdOmTQMAUbCP1j/zGW8H6fUhmhzL588mqhOl1dTUiKjGfTg8PCwIh0p/\nHXlAdJ5MJuXZ2reN68vfZsyY4RNVV69eLWiOxgZeU19fL0hLx0hzXfR4ifZmzJgBwNtT3D/aZ1T7\nXQK7J54GyC2ggAKakjSlkJtOo0K66aabAAAXXHABAE+/xQwGt99+O4DyStxmtXMb2ZTBL730ks8b\nv1AoiBKWfWppaRHdxc9//nMAHlqjtzd1X4ceeqivinhTU5PPPcQWh6frfGpi6iTqQqqqqsRYoatk\ncQ509XISdYecn3A4LGOzVTvXui9bgkizkrseTyXS8bOsXn7VVVdJlAjdEJ5++mlfZIaOU9zdql/j\npT3R2zmOI4YC6hcHBgYEEVHHPHv2bNH3ct43b94syI7zk8lkRDJ4/vnnAXgpuPgMvgM1NTXisrF1\n61YAwCmnnIIDDjgAQGmfUW+n94c2fNhSyPPd47pnMhnZS+yn1rlRgppMdUsDCiiggP6q9DeP3HR8\nKFECOVuxWBSURS6Ty+Vw2mmnASiZtP/0pz/ha1/7GoCSwyEtipp4PXVqmk444QTRW1199dUAgCuv\nvBL/9E//BAB4/PHHAQCPPvqocHNWjY9Go6KLoDWrUCgIquJ3urYmP3X4lUZu1I+QHMcRHRW55gMP\nPCBc8wc/+IH0+eyzz5a5AiBWt2effdaXsFAjRH5n01cCpdhX6k9SqZT0SYcNcf2IVmyUSqV81cE2\nb94sfSBCiEQikqmCVuzu7m5f1hI9j7oy/HgywugYYKIfzuFjjz0m+j+2wb3IZ3AMuvo8x6+zugAe\nYuYa8Ld8Pi97iRLAokWLBH0R4S1evBh33nknAAjCbW9vlzT2tMp3dHTI3FOP3NbW5qs7qyUUmxWf\n4+BvfX19Mg6N9rgvqIebO3euz9F+eHh4wlXY/uYPN03mRtTJGDmBv/rVr/CZz3ym7Lp7771XAoUX\nL14MoKR812QzJJAOPvhg/OQnPwFQEv+6u7tx4403AigphM855xwx5XODFQoFOXBXrlwJALj00kvl\npaGfkhb3tCuGjcyX0ZYV+LDDDsOPfvQjAKWD9vHHH5cXky4gNN/n83mZg7EMGpX6pPvMg5CfjuOU\n+QlWass86Ht7e8UNiC92f3+/BG7b3Hu04YVzSwNEPp/3xeOybzajyMjIiIxDK9sZp6kLStuIBwNF\nzGOOOQZ/+tOfAJQOxIaGBlkrfmYyGWHKFB3Xrl0rKYl4CN1www1yD1MaJRIJiT/mnC1atAgrVqwA\nUEphNDg46CsuTaqtrS0rvMz5MYtC19TUyFyQqTU2Nsq+5Drqg43X5XK5ifsGTuhqRY7jtDmO87Dj\nOK86jvOK4zhX7fq+yXGcBx3HWbfr0+8UFlBAAQW0l2lPkFsewOdc133WcZxaAKsdx3kQwIcB/NF1\n3X9xHOdqAFcD+OKed3VsInelEr+qqkoQGMW+D3zgA+IWcsIJJwDwuDe5BzkQRQkb2dDK9OnTcffd\ndwMopXhxHEdEAnK9RCIhyIDiwNy5c6VNeoa7rivcn47FE3FitEUIHHbYYQBK6WaOP/54n7Pm0NCQ\nPId9pyihY2B3h0yv83w+73Mh0BlXKo03l8uVxfUCnssMUYJGRyb60n/rRJwmstq5c6f0lddxzXS0\nCNFKZ2entEsVxvTp00Uq4L6IRCIiImuXGu3wDHgIkiiGqKq6ulpERu6Lrq4uUYlwrB/72MfwxBNP\nAPDcnwBgv/32E6U9EeYLL7wg99Bpe9GiReJ8TqSla7jqGGvAUwHwN7abzWZ9iVW19KCRLUlHxuiY\naMATwXktJYmxaLeRm+u6213XfXbX34MA1gCYDeAcADftuuwmAO/e3WcEFFBAAe0uOW+H2dtxnPkA\n/gxgMYDNrus27PreAdDH/1e43931Kd+N1S9TfxMKhUQ/QA7wyU9+UpAbOd+1116La665BoBnQge8\n0JXrrrsOgF+fEI/HRdYnt6mqqhLOwmedffbZwimpmE0kEr5ai7FYTNIva90ODQ7Uk9TU1IhO7o47\n7gAArFq1Srgm29VGBj03thqP/I5OxPPnzxeuTZeZ448/XmJaaQy59dZbAXhZTnQqc8C+TqMpfsnd\ndcwqx6jdePi3mc9O/z0wMCBrQHRTVVUlqIvPisVisi9oZMhkMj6dpM4rpjOumChS36d1bbyea0qU\n0dTUVFaFHfAQoWlI0dIAx7P//vvLftT58Yh2qYA/6KCDBB298sorADwUSZTEJJPNzc344x//WPbc\noaEhccrl9YODg75KabqiWSXXGn7OmzdP1vnRRx+Vselap4C3PmaKfZ3AUqfspwtVZ2fnatd1l2IM\n2uPDzXGcGgB/AvD/ua57h+M4/fowcxynz3Vdn97NcZzLAFy2679H6Co8QOV8+zrTq2rP5ykfiURE\nEatTH9G4wOs15CYRlre2tvqy1TY0NMiG5ibV7Wkvft6jLZlcTIp9g4ODZZWHOB6z/oL2c+PmjMfj\n1oPMZrGsZATgnOjEmbrCFuDNO/vEjW1T8o62p9ge50cfbtzE2hpoS+vE53Z0dIg4qIsF86VgvxKJ\nhNyjU02Np4pXKBTyGXAq+e2Fw2FRifCQO+aYY4Qp0sqeSqV8ImixWJQDRVu1uX8p0ra0tMjacu7u\nvvtuUbvwuSeddBKWLFkicwV4PmuMRvjEJz4BALj55pvF39OmcqgULWLbR0ypdN5558nYfvaznwHw\nDGw6aSzbMJOtapWDtiCr7M/jOtz2yM/NcZwogNsB/MJ13Tt2fd3hOM7MXb/PBOD3mwDguu71rusu\nHU8nAwoooIAmSrttUNglcv4YwBrXdf9N/XQXgA8B+Jddn78dT3sa5fD/u56jnwmg3MVDIxkiHO3j\nddZZZwEAfvtbrxvLli0T1wpyxXw+L5kwqKTVEJ1ckT4/uVxOIgnY53333Vc4pDYekMiN58yZg/e/\n//3SDsdDcYqihk5+yYwmL774oi9CIRKJ+BArYI/FG69XPjkpEQI5ZigUErRUSdk/mtFB+x/y/2aK\nomKxWJbdhO2ZCT5tiEtfp33VzHHrbBsTpUpxoTq6gmtXV1cnqOu5554D4KUlsrmUcN60MYRIiG08\n9dRTIlXodERMOUQ1zHHHHYd99tkHAHDhhRcC8DLX/PjHPwYAvPbaawA8g4IZqzra2Eyy7TH9nc66\n89egPbGWHgfgIgAvOY7z/K7vvgTvULvNcZyPAtgE4II962JAAQUU0MRptw8313VXARhNID91ou2N\npnPTecDIDXWab63LMjNWHH/88aIUZ9aNjo4O8bgnhzz99NPFWZKm/uXLlwPw9AWsu0jumEgkxFmS\nbhXf+973JMMG9RqhUEjuoYvHokWLcNFFFwGAcFGty6J+JplM4l3veheAkj7siSee8MWRZjKZcWdM\nIAe16TM5F7FYzJcY0ZYMkgjO1tZonJrfa50b0YJGpHw+kZ6OFCDZ0Keu60rK5/NWh+Y9JcdxfAlL\nXdctQ9QAcNttt4kDNxFXNpv1uVXodO26PaJXupP09/dL/ymhHHXUUYLSaNS67777xKjBRKhHH320\n7Dm6U4yFqirlvbOtgb7OrHE73rx2wNuzRpMiQoHZQHXSRi5qNpuVRdJpWMyQI8dxZKE4qdoqxZe3\ns7NT0iBR+XvYYYdh48aNAOBTbrquK9lNuTFaW1slXIsLtmXLFl9KpJ6eHol44MYdGBiQw++//uu/\nAJSHr7BPmUxGrFy0EmWzWZ/1TnvRa7Jt2kovNxXwIyMjPk9xreDWlkE9fk1aIazJVBLrfmt/N/6t\n61SYlb2KxWLZ2pvjsmUe1oeHLa2QjWy1Ldh37kdeoyuNMTRq/fr1MrdatKZIqQ1IlQw9/K2+vl58\n2pi2qLm5GU899RSAUnbcpUuX4rOf/SyAkvh6ww03SCif9rmbyKGjSc+haUnN5XJiOKtk9Qb8h58u\ntam9IibazyBwPqCAApqSNCmQG1OcaA6gA2vNuL50Ou1DBtq3i9xw1apVkqCQMDyVSvmCm6uqqoSj\nEaUQyTU2NuKWW24BUPLg/sAHPiDcmuLCCy+8IOlhyG0B4Ne//rX0D/BM+UcddRQAT5Ql/du/eTYZ\nct5vf/vbvtTjO3fu9KEVLcaZc2qSLbaTpOs66EK4QLlfk4ncbDQal+W6aFHWdLHQvmp6HumOooO2\nzWeMVjRbJ0EEyn3UKrkcua7rSznO8dN3DigF5AN+d6BEIiG+i6wMtWPHDon6oDuHHo9O2053ISJ6\n3Xcixa6uLknQyj3d0NAgBgwauuLxuEQoaCOCGS882lyYVAlVdXd3i1+fjhHWqbV4r/ku66pser8H\nyC2ggAIKCJMMuY2MjFj1J2b18tE88LVDLeCd+ryXn7rGI3USH/vYx3yJ/ch5u7u7hWvffPPNADzF\nMCtn87qdO3eKDka7S1DpS+710EMP4ZRTTgFQQiZf/vKXJe6T/XjXu94lLiN0/tQ6ydH0FyQbl6uk\nHCYyiEQiPqOFRsSm0cZGOq5wLDKNFkNDQxI58s///M8AvHXiHLCfeq/o8dnGzb7o8ZgOzTZjhNm2\npsHBQZ97CgCfTnTatGlS6IfXtbS0CGIk6kulUr4sJ7oIDsnmPJxMJkXSYJqswcFB0VXz+q1bt/qK\n6mQyGZ9blaaJGmGY5nzevHnS3qpVq8rGPxEaa59XoklxuJF057V3uhmKoa1S+h5C7Uoim87xxg32\n8ssvy3V/93d/BwD49Kc/DcDLkktDAtMRNTc3izjBl00XHdaZgJknjdW14vG4pFz6wAc+AMDzbTPL\nDW7btk187g488EAA3kY0LWojIyMVy/OZYwfsvlq2FD5mYLoWWXdno9rIDMnK5/MyLxTnFi5cKKFT\nVE3YfNVGq79gRjcUi0Vf8LdN5C4Wi772tCHHLAOp+8P13Lx5s3jos/3GxkZR8msjhBl1UywWZV60\nOGcebprR08jQ0tIiBxn36pIlS8reK/OZNvVGJb9CG5Fhr1+/3rffJlq9ak8pEEsDCiigKUmTCrkB\nJQ6h0YiJNLTbhybzumuuuUZyxhM5XXzxxdI2zfqJRKIsOy0A8XubMWMGHnvsMQAlsdR1XUFkBx98\nMADgiiuuEIPDe9/7XgBetMNXvvIVACgTT8mNn3nmGQCeywjTMB1++OEAygPDaajI5XI+b3stomuR\niNxak876alKlWp3abYBIhwhqtASCNhTA51MtMDAwIO0QQZx66qmChpnM4JlnnpFxE/FEo1Frjn6b\nrxjRl0abJpqLRqNl6FGPUZNt7nT7bJfzksvlRDxkbc+dO3fKPZxb/Txd+YnzXSkrcTgcFsMZKRQK\nidGC4+7v7/dJN11dXRKPWilO2IbUdfwu96A2WNCFSqsSdNZifmciVsCfuNKGoseiALkFFFBAU5Le\nlpRHe9yJXSmPJnC99XtyDSKydDrtq7/Y398vHIeK6+HhYeGMplEiFosJCrKlpCalUilfBpJ8Pi9c\nmHqrbDZbFj/Ke8kZ2W40GpXv6BqhOZ92YjYVwuFwuKJyvJLriG0/VDJYTCRCwZYi6LzzzgPgZc8A\ngNNOO03QBRHF888/L8YFomhdh4AUiUSsripE9DoqwIbcNJLnfebYK403nU5LpADTeT/99NOC7nWk\ngnYlMduxJe60oUhSNBoVXRdRYnV1tS8jTTKZFAMGEfDtt98u81wp4sC2Z/iu0AEfAM4880wAHjpn\neiW6S42WqaZSrLNG03QtGW/4GTMtAAAgAElEQVRWkEknlo6Hxkqpw4WORCK+fGGO48gmZvBwc3Oz\nZE410wyNjIxYc1Bt374dQAly79y50+fFHgqFfCXKMpmMiBBadOLG5nVDQ0Nluef5XNPfSoduaRGi\nUj43W9lCm+XPJJuBxibKRCIRq/LYjHgYHh6WkDWK4FVVVWViDOAVAebhxhKNo43P7E+xWBSlPecu\nEon4/NxCoZDMH+ddG2VsVnz9DLbBe3jINDY2+kTVcDgsIqMm3qtLK5phWjaKxWISNsi9l0wmhSnS\nxzMajUrkhE4lxDU1iwrZ+qRJi6DsJ9e2tra2TPQEPDBhiqWAnRmyPV5fLBbLfALHQ4FYGlBAAU1J\n+ptEbqNl7CVys6Xv0ZyayI6K7UwmI/BXJ4EEPNFIm+uB8rhCUk1NjaA03qurIZHbNDY2CgfXMYdm\nEspkMilcUyM4M6bWNi86CYG+zobcTF82GyKyeaJXCoa2BboDJQ7NuZs+fbq4LvzlL38BUF51TIv3\nTP3D9FM9PT0+d4bq6mqZe51OykwEqvui6yuYri+xWMxXnk7vJ9MfMB6Py57ieiaTSWu1KAbRazJF\nT63WqKRM15EHOiaaaJjIra+vT9AZx1ooFGSf6SpUZplBLcrzXiLsYrFYVscC8CJ8TBeQpqamcUfT\nmOJ/NBoVd6BKqZk0BcgtoIACmpL0N4vcbBzAFndp/qa/I9fWaMWsoKX/1m2YhWkB+JJGJpNJHxIE\nSnoMmx6FqEbr4bQbhDmO0WJLbYWa+Z1OFzVajQBN1N2Ew2H53VR+a4rH49Y+aUU9AGzfvl2iRPhd\nW1ubr8LUCy+8IDG6jAGurq62JizlWpHzp1IpmVNtWODveo75PK5VJBIZFdHGYjHfb4lEQpAR+zZj\nxgxftpp0Om01EGg0ZZJN50XK5/PWGq8cr3YV4nc6HpZzodNe8Xm2/WCura0IOOCvOzvaGGx7xdQj\n19fXj1rsezT6mzjczMHrydfWHE6wFqO4UW1KdFsRWFIla6MOgdHB4OMNg6pkgbJlI+ZnPB733Tva\n4WaSFjVsAfT6kDJFMVoAtVhqG7f+zTZ/VHbr4iMs/MxD6xe/+IWsla5xwT60t7fLdzwseHjF4/Gy\nIjAct2lZ1YeLfmFsKZTMA1QbLMwgeVu4VFtbW1m6K8A7RGz70cyjp8l2PSmVSvlqWugC2vwuFov5\njBuu6/qMMPr90lmlTeat0xzxMNIqHBoAaI2tqamxHsI2Hz5TLG1qarKqTCpRIJYGFFBAU5ImHXIz\nRcpoNOoTp6qqqnxcUwd8j4VMzGfZSIulJJtYo8XO8SAo9lV/atJGBjOuTwd8a1FjPOhQIzz9aV6n\nfasqIQktzpk+cqOhDK6ZNsZ8/etfBwBcffXVALzyd3w+fcVc18XFF18MoJRpNhaLybiJiNLptNzD\nPujYW71WZqHm0WoykEx0Go/HfX6Nzc3N4sumXRmIEtknHSOsqVJig0ruDzZxLZVKibuJVuybiEw/\nS+9LXTgb8ObW3LecE13UnIHzc+bMEdGX89TQ0GCNebb5LHLO+Kz6+vpxZ5wmBcgtoIACmpI0KZBb\nKBRCVVWVNTV0XV2dL2GfzvOvFdtmqmMdm6dN9NpJEvD0BKaC2YZWtGuCzZnWVOJrdwFNZv0HTZqL\nmahCo1jNcc303bFYTMZtQ7HarcFMSGlDgWxL91ejShNh6sSLNoU906zX1NRIOhzqh1pbW0UvQ3eJ\nQw89FOvWrZPfAS8NFN1CWGR77ty5uPHGGwEADz/8MAAPwZg6He0Mbas+pRX7ZpyprptgootoNCou\nGTqVui0+0+bEOx4aHh72ITtdi1cjLY2sOFYzI05VVZU4HGt3KDOJqO4/x83PlpYWaZe1QrZu3Sr6\nT51mie+hrnDG+eN1OtabevTa2lqJ6mDa/bFoUh1uWunNA6C1tVUONQ40mUzKhHCCR0ZGfBXItaGA\nntOxWMx3GFRVVfk2diUlpzYo6A1rin1aIa3JzAyryRaYTdIFmHUUhBm6lUwmrYezFvXZDzNdj038\nsaW9sRU20SFNZnlDXRaQYTRXXHEF7rnnHgDAfvvtB8DLRMz11qXuuH480IaGhiRagaJQKBSSTLR8\nAYaGhqx538w+O47jE031OutiNaPNTy6Xk0OaSvTGxkZfAe9MJiOHoI1sa8d7Tz75ZB+Da2xsFF82\nHgCrVq0S6yffm6amprKygYB3CJFhVNqr2jpM4h7UBw/Xp7u7W1J26cB9Pl9H8+jIEcB7p3X9DKA8\nvHG8FIilAQUU0JSkSYPcampqUFVVJZyeSufm5mY5xc1PoBxVmAV+gRJy0JlmTZO2WVYQsCt1tYhl\nKva1KKYNG5UUx5V89WzU39/v+133WyNHm3hpRijYagTYjBw2w4JGbqZPknZD0NXMiNw+/OEPA/Ci\nEZj2SSM3M2h61qxZgnSIqOPxuNQNYN2JYrEokQw2Fw9N5rroudDjtCU04Pf8jSLZ4OCgxChrCUQH\nrvO7ibo1sL2Ojg4R7Sje53I5QUxMrHrIIYdg6VIvtnzLli0AvDKDRIBEzwMDA4LsbJ7/tiB+beDi\nJxEZ16mxsVHWhVmmTz75ZGzYsAFAKbt0oVCQeaExJhqNypwSldfV1VndSCpRgNwCCiigKUl7jNwc\nxwkDeAbAW67rvtNxnHYAtwJoBrAawEWu646uSILHFerq6lBfXy8Ii0pO7eWvzfCme8jIyIgvrs+G\n8LTXuTYiVHLPIGmUY0YZ2O5zXbdidoyJOg/X1tb6EKNW/uqUPTbdmRkvmMvlRB9kxhdqojOmRkPa\niZlowOZhr9Pi0AGX9Vj7+/sFNTBDi0ZQ5N777ruvIDZy/M9//vMyB6+88orMCRNCsmj22rVrfcp7\nrWu0pdnWTrymEl07KvM3zp12+6AxhHsbKO3pqqoqKwqp5JaiXZPYB9biOPzww3HnnXcCgCjxzzzz\nTEmZr5ElkTL7F4vFpH82hKv3jInc9DvAe6lrjEQi0mfqA++66y5BZ9pVx9RnhsNhQe1aJ1opSsNG\nb4dYehWANQDqdv3//wH4d9d1b3Uc5wcAPgrg+5UaiMVimDNnDhoaGmRjc/G12KMDyc3wldEKolSK\nBuAE2w4gWziJzi1lHmr6wCXZ8vwDYwedj0ZVVVW+l9JmNc1ms1blK++x+QtpkczsMze/Jh22ZWZ3\n1WtDUfToo48W0XP16tUAPEMBi6fwcHvrrbfkeXwRhoaG5GBYsmSJjIFzddZZZwHw9gX7whf/ySef\nlBdO7wFtrCCZh5Uek62QtMlo6uvrfVb3zs5OuU7nWtMFWoDyQ9aWRkrvPe7bb33rWwCAz3zmM7jo\noosAlCI4Dj30UGFwVOx/8YtflHFQLP3gBz8ooqL2zdNWYY7HZLyagfJ6pgLT9R90qUgySjK9UCgk\n2Yj1fHJdNGPl/I2X9kgsdRxnDoCzAPxo1/8dAKcAWLnrkpsAvHtPnhFQQAEFtDu0p8jtuwC+AICY\nuRlAv+u6hB9bAcweq5FCoYChoSHE43Ef9NSKeu1CYfPKNn22dIycDcnotDSj/aZJIxJTjB0ZGfGZ\n8MeqxmRDk5prm/fW19dbxSkzkaKt/Ju+zvabNjKQdKUntkvS0RomYtWJH48//ngAXv0AfnfCCSfI\nteTq3/3udwF4yE27TACekprZiyl2FgoFX3yozuVPZNTW1uYLAtfpezQqrZROiuIe58mWPimXy1kT\nKlBRT/eUdevWCQLVLke81xYdwz7lcjlfvHQ6nZZIj0MPPRSAt/fN/Z3L5aQdoqAVK1ZIplxmztVu\nMXuSqdtM/KBRr1YBUNXA8egEEVwTjYDHS7uN3BzHeSeATtd1V+/m/Zc5jvOM4zjPjDezZkABBRTQ\neGlPkNtxAM52HOdMAAl4OrfrADQ4jhPZhd7mAHjLdrPrutcDuB4A6uvr3UQigbq6Oh/XyuVycqLb\n9EyatLsHr+ff5CKxWMyncxpvPUWdn990f8jlcj4jx2jptk3PcU06DtIWH2q6c2guqw0epqOw5uSV\n+pTNZn1ck5xfIz5bdSlbElFm89i+fTvmz59fdl0kEhGXH+pYzjnnHNxxxx0AIOnYR0ZGfNEAOpZX\nz5k5t+3t7b66GOFwuCyridlnm9MynVQrOfHqmFEy7Fwu54tyyOfzkpyTCG727Nkyz5VijgG/7jSR\nSIjOcsWKFXKNOT+u6wqKZC2K2bNn44033ihrVxtS9oTMzDn6O+0OxbXXiNRMXTXRuFJgDw4313Wv\nAXDNro6eBOD/uK77Acdxfg3gfHgW0w8B+O1YbdGiNGPGDJ+SVlscdUFZM8d6KBTyHX5aLK1UPqyS\nTxvbBkoKbl2jQGfO5XU6o6lNBOQm17n32T/tuW6KR9pyrBfb5ndkBotrUdEG7/nyaNWAKabZ8t4X\nCgXrYcBxsK2tW7fKdzp6gXPx4osvAvAsfzzceKC0tLRIMR+KkSMjI3KAaL9FW3ZelpjT+8iWv84c\nhy00y/SRBEoHcyaTsaap4qFF1YguU0eRcHh4WLISa6u/GQZVKBR8oYd6vY8++mhpj3NL37v6+noR\n75kxN5FIiNKeYxseHvZFANlEde3zZ5aN1ABAM0ubgU8X2uYn9yPF9iOPPFIsveOlveHn9kUAn3Uc\nZz08HdyP98IzAgoooIAq0tsSoeC67iMAHtn19wYAR03k/nA4jPr6ekyfPl1cQMhFbHA0l8uVcUZe\nR8itubItA69JY6UMIhcjR7Vxb53IUSMdmxjD+8mxCoVCmXIY8Dig6XelxU1yW52eRpvciTLHO16N\nBnQmWsAuitkMGyTXdQV1bd68GYAnBlHUYBQBUAogv++++wAA73//+8WdQIv+RC70mert7cWzzz4L\noORu0tjYKPNHBOO6rqRB0mmdOAdmfQzAXwpQk07ySCKCGi1xqBZR+Wmi/J07d4oYTmPI9OnTZX50\nRTBz//T394shgeiwUCgIKqQRRhdvZpTIhg0bsHKl59xAdByLxbBx40Z5njlekjZkmeI4nweUvy+2\nKmumOK4zBnN9dkdMDiIUAgoooClJkyq2tK6uzuewS32BJp3SRyetNPU8GvXZ4uYqpRm3ITdyk9Gc\nLMnBdUoYW/YH7boAlFe/spntNeLQLgH8NLOcAP7i0kDlZIg2Lru7bgCRSETGvXXrVgBe7CiRgb6O\nxN8KhYL0hehPV/2i/uzhhx+WbBa8t6amRmIr6TA8c+ZMcWLVRBReKftLpWgRTZVcFLQxRHviM0UR\n13NkZETGxj2/33774cADD5SxAR6S0TG8gGesOeeccwCU9mYikRCUtnjxYgDePn/yyScBlFxbFixY\ngI9+9KMASk7BfX19cg+po6PDNzaN9k0XHB17q9MW2ZAtnazNedPjrq6unnA87qQ43ABvgnK5nC9s\niApQTVrc1GKpGXEQj8flO4omZjuAXWTVVebNPPq267PZrEBoLmZdXZ3PX0hbF/Xm4Ljprc02gfIM\nrhyvTrNjWjXz+XxF0dO2SbSxhi/I7rroaH8mBnTPnj1bRCv9st9///0AgHe84x0AgMcff9wnDusx\ncl3mzZvns46vX79erLNciwULFpRZATlGPX8mcR5t/o82lYTpz2WSKbLpCBc911wfMuLOzk5R02j/\nPo6bfUmlUhKczu82btwoe4n7cWhoSAwJjOq49tprpVAzC2RnMhk89dRTAEqFZGxRKtribEYM9ff3\ny1rpUo62d4cMRltXybDojxeJRCqmA7NRIJYGFFBAU5ImBXKLRCKYPn065syZI9zPLJFmXm9DHxNN\nZmdTbpJsXuK67B85Kp/5+c9/XrjimWeeCQC48MILBXXp+EsTNUSjUeFKOlWQGXmgayjoNDpmbKfN\nlw+wi54kHRCu/bH0b7a50LGovG5kZET8qIia5s6dK39zjC+99JIgEiKFBx54AIcffjgASMyjjvOl\nsWH+/PkyHo0EiTAYY7lhwwaJX9VKaq6bbS5MA4AmmwGCc93Z2SkSAtFKfX299JlrvGnTJh8C19W8\ndM0Bjuf5558H4KUPol8akc68efN8rkkPPPAAzj///LJxvPnmmxJMT9G3u7tb+kKR9ZBDDsEVV1xR\n9oxVq1aJKMuxcV4HBgZEDTBnzhwAniHp7rvvBgCceuqpALz9a8ZVO44jCFnvdzOqIZlMigFpvBQg\nt4ACCmhK0qRCblVVVWL65qcNgWhdmiab0YBUKWGhjUPbkBv1I52dnWU1HgCPe5HLPffccwCAj33s\nY/JccrtsNuurCxoKhXzxgq7r+szwyWTSl3ZGo04dlcCUNhMlbUCxRR6QdCocW2Wo/fffX8YLeK4b\njCGkcrqzs1PGyLjGtrY2QS7k1Js3bxb9ERFza2ur1DqlXmjHjh2ybjQ2vPHGG/KdRm4aEZhUybl7\n7ty58rd24AaApUuXilHgq1/9KgBvH/P3T3ziEwCA9773vdJ36qUGBgZ8RqBUKiVj497r7e2VvlOf\nedRRR8k+0DpJ7jmOp6urS1Axa1ecfvrp4jzMfuo6FvzuoosukveL6JXrtGDBAnkPOMf77bcfPvOZ\nz8hzAU+fbJtTM1VWsViU8ersIRONLZ0UhxtQijowlbO6DBypWCxa82FVyiJr+61SUL2NaAHUVl2+\ndMlkEr/5zW8AlPKL/e53v8Pll18OoJQ/Kx6PywbQ3tzcOHr8ZpEXrXTWoqot2cBERXRb3izzINVk\nhhRp6unpkXFQWdza2irX3nbbbQCAG264wfdCn3jiifj7v/97GRvgiT98Hl/ESCQi4Vy6uAz7TP+6\n/fbbT9aIbdTV1VW0lFeyltoYIde2o6NDRGl+ZrNZuYeW4xdffFEOIR2Rw4OE+yIej8vBwDHedNNN\nMqdnnHEGAO+QM1Udhx12mE/tsmDBAjnoechRhQKUAwkeYHzu8PCwtM1551xzLPpZ4XBY1DRkCLff\nfrvP00AzcU3m3q+trZWDfrwUiKUBBRTQlKRJgdzy+Tz6+/vLEAeVyDbOWl1dbUV0laIQbL9VSuti\nVgkCyg0ARI4a8XzjG98AAHz5y18G4CUHJNqjcrenp0fM2zqjqY47HI0m4ppRCcKP5b9mur7Yrq9U\nnjCbzYqYQq7+l7/8RVQNVI7X1NQImuN819fXSxZdil0jIyOCYNje+vXrJeicIn13d7f4xum1tUUI\nmPUPNJmxtZps+4J9evTRR6W0HSkcDgsiI+IpFosSQcLnp1Ipnx9lbW2t3MtMuwMDAzLnRIIrVqyQ\n/cNEoIcffrisEYPqa2pqxCjw+9//HgCwbds2eS5RWjabFVcMokQdGcF3j6mrmpubZT7Z/tNPPy2R\nKDpiyEw44bqu1c/NdJWJx+NBUeaAAgooIGCSILd4PI599tkHsVjMlzvdxll1ShZdN2C0VOP602wH\nsKMlm/Mw+1IsFiWLBVPXvPjii/KM9773vdK3X/3qVwA88zrg6YBszsPkmjbXBJINSeiYVk2V0jjZ\n0FYlt5hKnvo2VBcOh6UdotQtW7bg+uuvB1BSEm/atKkshRHg6a1Mhf5f/vIXPPLIIwCAY445BoCH\nHKlXI/JobGyUv4n6dAUynS6KbRNp6HT2VPa7ris6PtPQ1dTUJPcyhvPee++VsXE9a2trpQ0ivObm\nZolQoA4sFAqJ7km7vtA5lyj1rrvukj1H6SGVSgmi5LhSqZSgZ/6WSCTE4EFEWFNT40Po4XBY+qDn\nzDTA3XvvvQCA0047TQw4/BwYGBDDEdH5vHnzfOnDh4aGKlaB43zW1dVZjYiVKEBuAQUU0JSkSYHc\nIpEIpk2bhoaGBl+6a1uhlkwmI1yOqKVYLFpdQXQVdpMqOWtqdw3T8TCXy4kOhLnH5s+fLzoQIrxp\n06aJnuWFF14A4OlCKiHGSvqw0czolVKK276rlOFhvPF7lXR6sVisbF0Ar+/U4/z5z38G4CFCIjty\n+a1bt5blRwM8VExnX6IVXQSHeyGXy/kygKRSKd/aFwoFWV/WxRweHhZdEp8FlJAD22D2je3bt8vz\nicIGBgZEN0id2qJFi0SnxE+d/YaoRrvU2KQVxsdeeumlYiX92c9+BsBzteC4iWYPOuggQVq03La1\nteFPf/oTgHLEyn5x/KFQSCzA3NPxeNwnzfD/c+bMkT1I1JtIJASxMg9bb2+v6FO5F7q7u2X+NJnx\n0joR6XhpUhxuTE6XyWR8Sn6by0c0GvUpF4vFotX9oZKRwfQts92n41j50jU2NuI73/kOgJLH/NDQ\nkLwUDFjO5/Nicv/DH/4AALj44ovlGbaUOuPNCkyKRCLWMVYSb20H00RFz0pt6agF9kMzLq7dBRdc\nIC83RbuLL75YDh4eLLFYTMR6ikJVVVU+F49cLicvKPuVTqd91+l550t+yy234OGHHwZQOvA++9nP\niq8Wx/PNb34TgHdo0eWH/dy+fbscTEcddZR8crw0pCxZskQOP1tiBVt9jIMOOgiAd/BxTzG4ffXq\n1RJTS2Yxbdo0MSScfvrpALwDknuYh1ZnZ6eAAn5XLBaFYVDMPOKIIyT6gMTDLZlM+uqCZLNZYVh8\nL1599VXxXSRoGS01l1m/Q0fsjJcCsTSggAKakjRpkBtTpBD+k9vZRLdMJiPcUhsMbEYAkq0dW+pm\ntkeYr7mFLkJL7kpkOXPmTHGI/N3vfgcAWLZsmcQ4aodds9aCpkp1SyeS8qVSBoVKHND222iGjNFI\nZ93geFpbWyWekUjq17/+Nf793/8dAPCRj3wEgIeauLZ0JG1qahJxi8ijWCwK6iP3z+fzZa4L/I5r\npD3hOfdE+4ODg7jmmmukr4AnRj3wwAMAIJ8UsWbMmCEJMYngdFU2Ishf/vKXgl7Zz5tvvllEQRoU\nYrGYzLOtfirbGxkZ8Tm419fXi9qDfVm/fr0gJ0YjvOc97/ElGV28eLGIiJyz9vZ2eTaNF01NTTJX\nZqYS7YhLEfjYY4+VNWMi0iOPPBIHH3wwAM9VBPCkHKJNzlMul5O6qrq+7HhTUJEC5BZQQAFNSZoU\nyC2fz0vITiXnXVJ9fb3V8W+iLg46/5sZT2mrYanRHXVt5I7r1q3DscceC6AUV7hx40Z8//vfB1BC\nJqlUSjivbYw2wwdpNMPBRF1BbGQ67o71XF0gxiRdAIVcXiMTPmtwcFD0XFdeeSUAT1djGpXS6TS2\nbNkCoOTioeuWsg+9vb1Yvnw5gJLzqXaQ1iifeibmMsvlcoIoiUJefPFFaZt6K4aOtbS0+Nw5CoWC\nPJcoZO7cuaJYJ3IbHh6WJJSck8MOO0zmXveXfdFSibne+Xxe9rfOGMK+896BgQHJm0eDwZYtW6Rf\nOj+cGZvc0tIibjBm5pN8Pi8omyiM7zRQevfWrl0raO7EE08E4MUDm9k+amtrpc9sr7m5ecJZQSbF\n4RYKhZBIJBCPx321E0ZTjE/0hbYpxfV3lRJXknRFrltvvRVAyXgQCoXw7W9/G4AXMwl4YilhOher\npqamoshdifakQO7bTZX8B7WRQyuGKe5Rid7Z2Smiqs6Ma1a1amhokLnXFkoyBx4Avb29cpDo8oq2\nqAL2myKwztvPBJovvPCCjIOiG1/KTCYj39FQUCwWhTlTrKqtrRXFP8ff19cnhypp1apVorA/4ogj\nZM7I7CrtFdd1Za4o9vX29srYmI7ohRdekP3KsS5dulQOLc5TJBKRQ0WvCw+wRYsWASjNeygUkoOM\n/nidnZ2+A0/X+yBTmzNnjoACWpo3b94shhk+f8OGDVYrciUKxNKAAgpoStKkQG6MOdNJFsmVbaf1\naO4PNmX8eBDZWOlUTJTS1dWFW265BUB5em5yPl533333SZ+I3KLRqIhEtv5Wip+baA75vUmV6jHo\nNOd6/umVznRIBx10kC+uMRqNyj1EIfPnz/fVzHjzzTdFBNMuD7yOqEUr+XWfOPfcF5lMRvzviNzS\n6bQk0eT60eVi4cKFvjnQNUrp77V06VJfdae6ujpRZ1CkXbJkiYjwjPvcb7/9BCXZsq+QtCFOZ86g\n+Mi+5/N5Qcp8/oMPPohTTjkFQEnkz2QyspcpeqbTaUHFbFdX/dI1TAFP5cA2dK1ZzgsRbkdHh6Bc\novJjjz1WjCCMBNLV4MZLAXILKKCApiRNCihQLBYxODiIY489VjgqOYBN6a4dazWZSm5d55OcLRqN\nCgfVKb2JCEwkolMj83Pz5s1lXvFsw5bjjM+n7m3+/PlliSv5WalOKymdTov+gv0cGBiwZkixUaXI\niEpc0YbOOHd1dXWShJLz/oUvfAGf/OQnAZQU++w3UMrJViwWBS098cQTAIBzzz1XjDVc+9raWh+y\nbm9vF07PGpvpdNoXpaK9923j5b7QyUk/97nPAQBWrlwpLhZcq0suuQSAhzyIiPhbsViU2E1mJ5k2\nbVpZ+nfAWzNGrugklFTsU+e2ZcsWQVrU7xWLxbLK8IC3Bmb+vKGhIZk/6sHWrFkj88w5SSaT+OUv\nfwnAcxUBgHe/+93i8kLn6mQyKW5NRF264I3ey4CXQp59phEhGo0KOtT59LhmOv080b3W2RLNjZcm\nzeHGCAUz+2yl6AGTmByPE9PY2ChKTZ0E0hR19TNsLz6/44Lcc8898gKOpeTn79ovj4uoq1ZxU1SK\nLAiFQhKIT5GNyuL/adLB1mZR6IaGBtmIH/rQhwB4fdcFgwHv4OFaMfLgmGOOkZdcr52ZrfX111/H\nsmXLAJRe1DVr1ogVnQkSbcYEwF/WMZlMipL/yCOPlN9uvvlmACXxiCmFFixYIPtGMzPOAZX0M2fO\nlL7zt4ULF8oe5pxoFQW/W7RokRgAaL089NBDfVXRbNTQ0OBLGHD55ZdLDYWf/vSn0gYPxLvuuguA\nN4+XXXYZgFLUQjabFYMIDzWOsbe3Vxgsv9MqFF5vC6UE7ACG4iv32cKFC61MqhLtkVjqOE6D4zgr\nHcd5zXGcNY7jHOM4TpPjOA86jrNu1+fopc8DCiiggPYS7Slyuw7Afa7rnu84TgxAFYAvAfij67r/\n4jjO1QCuBvDFSo04jr5QWQ8AACAASURBVCP1QU0vbZsSfbTqTqzGo/2fzNg97UKgY1F1TUughKC0\nzxZFjt/97nc+9DdWYC+Vpjp5Isf26U9/WvyeKM7ZKJFIiAmdymcGIv9Pk0ZuRBAc14wZM4STUzl/\n1llniUGBItuRRx4p800DzaOPPiqRHkQt2WxWxkv088Ybb4g4yrU6+eSTJS6U6HjBggXjMj7plEfc\nM8uXLxcXByrgiZx37NiBL3zhCwDK4585HvYzm82KEYLtvvXWWyLScg/U1NTIviRKnDZtmoh2jz76\nKABvHxFZ8hm2dyGXy/kMHtu3b5d9Rr/Cn/zkJ7KX2feenh7893//N4BSOnKiZMBfO6K+vl5QHZN1\n6kQApmuPSbbvuaeIHJ955hkRb8dLu43cHMepB3ACgB8DgOu6I67r9gM4B8BNuy67CcC7d/cZAQUU\nUEC7S3uC3NoBdAH4qeM4hwBYDeAqADNc192+65odAEYP+NxF4XBYktGZifO0Bz458J///GfRE9BB\n0nEcn8e64zj4yU9+AqAUz3jBBRf40s0kEgmfMYLPyuVy0ifq9Orq6iRLBb9jbKxJ7Dt1JtoYQs43\nZ86ccRV0CYVCci85ZCgUmrBz70RN6jbSil6iDyKJ008/XWJGP/zhDwPw3BvI3VeuXAnAq2dJRf5p\np50GAPjtb38rSIc6sKGhIdHX0NWhsbFR5pRobeHCheJ2QDTiOI4V/evqXew7DSPUG7W1tQmK5DoS\nQd1///2+GNBwOCyIkGiktbVVUB/7W19fL/3TbiLcj9zTnZ2dojN817veJX0jYtUGFzM2Wu8z9rO6\nulpQFPVXn/rUp6SwEeNnh4eHRfFP9Pz0009L4R6299JLLwHw3h/2nX3TTtFE8clksmxdAO89N3Vu\nOgMI90BLS8v/qEEhAuBwAFe6rvuU4zjXwRNBdSddx3Gsb57jOJcBuAzw4HcoFEI6nZbNrsVTbh76\nHH3zm98UWH/dddcB8BSonCSdl//GG28EUPIsP++882TRtULW3By2HG98Ac866yzxsTrppJMAQF4M\nk9guRbJQKCSLzWfU1taKEr1S2FmhUCjLuQV4ItFoitqJEDfseA9KzpMOv6Io2NbWJoprWttmzZqF\nL37R007wxRoeHpbfKS7lcjl5yS699FIAnmWUz+E8HX744T6FeTwel/nT81gppEyLTqZvl34eDxx9\nONDSq6MnNGMFPFGUYqSZbggo5YKLRqNyIOoqXXweA+Jd1xWrJZXuq1evFvGR+0wbFPiZSCTKsu1y\nrB/84AcBlFep4jvEfaZ9Ekmck+HhYRkv2+jp6ZGxcQ4dxxkXE9cqnko5CMeiPWHhWwFsdV33qV3/\nXwnvsOtwHGfmro7NBGB9613Xvd513aWu6y4ltw0ooIACertot5Gb67o7HMfZ4jjOQtd1XwdwKoBX\nd/37EIB/2fX527HaokEhEolYvb7JRX784x8DKOdKhM319fXCQfn58MMPy99MHpjNZsuKIQPlyRVN\nzqYz8Wpvdp1bntfbIg508LduAyihh7q6OnFhqBQf6ziOKKWJ1tLptBW5/TXjUKPRKM455xwAwBVX\nXAHAM5pQLNO1MPU683oWLyZSX758uVxHBXs6nfYZnaLR6LgTBphIPRwOl2V9JZniK8W1M888U65j\nIlIdKUA1SEdHh6hBuE41NTWCWGkQWr9+vYxNJ3Ew60lo1QejF/r6+vDb33qvGSWJVCrly1Q8GnLi\nOFasWCF9uvvuuwFA/Ox+/vOfC/LmeOhOcvnll8veJyqtrq6Wd4NzEg6Hx5W2yOZbujuqlD21ll4J\n4Be7LKUbAHwEHhq8zXGcjwLYBOCCPXxGQAEFFNCEaY8ON9d1nwew1PLTqRPuyK7K6eSQ1LM5joPH\nH38cgJcyBfDSw7AmIpW/uvoVHWbvuusuSahHvYeuCmQqXM3+AJ6OhX3SHJ3uDOS2vb294nSqiQhK\nJ1kkab0H2zNTzWgqFAqCCKh0H01HN9GUzG8n0isUCoIQmB77gQcewKmnetuCSuJ0Oi2cnJy/qqpK\nUDbdSOrr66XqFRXS+XzeZzzQqFyTDc2ZRiq6Iunf9L3cj9R31dbW4sILLwRQMnI88cQTvpoL0WhU\n9gXXfvr06aKHWrduHQBPf0UdlY5o4HOpi04mk/IM6txaW1tx7rnnAgCee+45AN7+1E7igDffNuTG\nNaCE1NbWJvGmTLw6d+5ccWdi9g7u2e9+97v4h3/4BwAldOo4jiA3RqfoNFWadFwxiX3XBr6JordJ\nEaEAeC+XLgmnC9TSe52LvnDhQhEPODEa8lIhvWXLFsnDRSV2R0eHvBRm8LQm/qaVm/wcGRmRflKc\nGi3zrc7lzzbMg6e/v19+r3S4ua4rG4qLv23btrLQIY7n7TysKpVF1MTNWSgUZP1YjPprX/uaiFEc\ng35R+dKl02nxV+SL9dRTT0lIEudZK++1n1SlTMaazOtmzJghFnDN2HThbKD8oCTjZA65wcFB8VHj\ngdfR0VFWWg/wfPRoECPT3bZtm/yu1SYcI/eH4zhyWPAZvb298p2u48EoGo6rpqZG1pIMIRwOS9s6\n0y7flwsu8ASvl19+WYAExVJeUywWpVgN52Lu3LlYs2ZN2Xh0ui/9Tpk5DLV1W+cAnGiKsCBwPqCA\nApqSNGmQGyMBTJeENWvWiHhC94JDDjlE4C1FnFQqJVz95z//OQDPBM1SbGxXxxrq8mGm6KLhMLk8\nkUkkEpFnEWmNlpLG5JTFYtGHFDdv3uzLPDoaMaEhYxw7OzuxcOFCAPAhzLeLKiE3nS5KJ1Ykh2Z/\nly9fLkpvIucFCxaImE3U0NjYKIH1jNb46U9/KvP38Y9/HIC9AppGWmORWa5x8eLFgg6JoPL5fFmJ\nR6C0L7QRh8kWDz/8cElUSoX8b37zG/HJ5Fz09/f7Ei8AJR8xGo0aGxtlX2nRTbuKAN6e5nXcP7Nm\nzZK+Mpnm/PnzxdeQbeh6IBRzX3rpJZkLzlMikZB7iRhpBOvt7RXpgb5o++67r+xpIrzt27dLe0Tx\nmzZtskZYmHtuomoWIEBuAQUU0BSlSYPcTFcQfv7iF78Qrk6nzlAoJByP3OONN94QR0edWoY6jYmS\nWVOBzwU8bsY4N+o1RiMiCaIam0f2tm3bRJ9RidLptDhJUscxf/586Zeu31nJGfjtIK2QN6sxsZoZ\nUBr3hRdeKNEcdPE46qij5HciIV0kmEryNWvWSDFhPveaa67x6aPi8fi4XUFMtLDPPvsIqmef8vm8\n7D2iFe6LVCrliz5pbGzEeeedB6CEoO677z587WtfA+ClEgK8fUw0xdjVuXPnShokphtqaWkRFMs5\n7u/vl3FzDLFYzGfM0qmWmPLo/vvvlywszCozNDQkSJXoa+bMmYLS6Aoya9YsQaB0Zn/wwQcBeGjW\njLUeGBiQ/lH3duGFF+KRRx4BUJI82tvbrQlpTQQeiUQmXtN3QlfvJWKIlS1P25133ilpc7gw27Zt\nE8sSLTfDw8MyYVz8BQsWlPmDTYRsljOt6OULWskAAJQWiZtd+y6xn1u3brVGRJg0MjIiIgs3XX19\nvc+be6KK17FoLLHUVOzrTLfsS01NjeQLo+gWDod9xpBisehLnnDJJZdIuBlTEF166aViVNIilq2v\nlbLYkurr62UvsU99fX1yuNF/S+d/47MYXvXAAw8I81m61HMiePnll8UX86GHHpJ+0nLMfZzNZuX5\nLBm4Y8cO2V8UafP5vBwGnO9MJiPiPSMU1q5dK+Igr1uxYoUkf6Bv3rHHHusrkTg0NFRWgBzwRGWu\nOZ/P0LRXXnlFDmvOSUNDgzyXmZJXrlyJ973vfQBKJQN1cRsbcW/tzp4OxNKAAgpoStKkQG7FYhHp\ndLoMin7rW98C4CkjzzjjDAAlrjl79mzxuSGn2LJliyA3oqTjjz/eF6ir4wYr1SQYSzHN1ENjIS4z\nKaIO0idX1oWabSULSbFYTJ7HCIDHHntMTPM6rnI8NSE0VTJG2L7TCQ7MOYjH42WVwgBvjQ877DAA\nKIs4odFAZyfmeOgmMm3aNBFRGbh+7bXX4ktf+lJZe93d3daxmah99uzZvtRI1dXVePLJJwGUDAob\nNmyQuEvuI17/4IMPSjwnEYr2X6M4ecEFF8g6Mxvzyy+/LOLoWWedJe1yvLrqF/c5Y5erqqrkXp3c\ngXPGvtfU1PgSRw4NDQmaozvOI488IuPg/pk5c6YPHdrmlc885JBD5Ll0w+ro6JDxUJx98cUXBZ1y\n/0YiEfHNo2Emm80KciQi7erqmrBRIUBuAQUU0JSkSYHcHMeRjA4vv/wygBIHOOCAA8py7gPeyU5T\nus67bmZVWLZsmXB1naByd10ltJsKuaLWd1VCOOReuVxO+klTfnNzs+iPKiG35uZm4V7U6axevVrm\nQqNSm56JnL6SscHGHW36DqI11pwFSvoRpowHSugrlUpJO1RmP/roo6K4PvvsswF4SIE6LD4jm82K\nHozc/emnnxakzmiNeDxudabWCId90RER7DMNHjQSzZ49Gz/60Y8AlNZKO6HSyMB5r66ulspVHP8p\np5wiY2Ma740bN4oejuvY0NDgiwWNRCKyV4jc8vm8ZFBhG1VVVT5Xlfr6etl71MMNDAyI6xT3x3HH\nHSf6MkaT1NTUiK6a6MxWp0M7T1MneMIJJwDwkK3p+ByJRGTev/e97wEA3vnOd4qjPQ2CdXV1ZbHd\nQHn893hpUhxuhUIB/f396O3tlRRFhPIXXHCBTLQOujUzmb700kuyiMx91dbWJgpbvlj19fXSzkRL\n5el0NmZqptE84/lCcUO6ruszAGjv69EiHYDyUB4+f+fOnWXJA4DRFeh84Wx1BXTmWJNshxsPtIaG\nBmEwVBz39PT4NnYoFJI1ZQjTgw8+iB/84AcASgp7WgyB0gulc+XRA37t2rX4j//4DwAl3zcq800y\nDzdtKODzksmkrC+v27Bhg+wzrhnnZ/bs2di0aROAkggaCoUkcF2HlTE1ENfnsccek7Cr++67D4BX\nC4MMkGs8ODgoYqQ2jJHxH3/88b6x6pyGZlKCcDgsBW94yDU1NcmhxsN9cHBQDB5mRIEmHZFClRH3\neXt7u/STKpzm5mY5pNm322+/XQ5XWpMHBweFcXBuR0ZGxvQBNSkQSwMKKKApSZMCubEo83333Yd7\n7rkHACQwfsWKFb5gX11mjLBZ+/m84x3vkL/JXXQAtFlhS/vN2VLLkHj9li1b5G9Wn0qlUoI+9L3k\nfBzDm2++KahHV40iCiCq0p7/RB5vvvkmtmzZAqAk5q5evVoQE0UnolWTzPY0memiNNnQHOddx5HS\n72nbtm3iskKxc968eSLK8/knnniiZIG99dZbAXjiDV0hKOpEo1FfbYKDDjpI9gojHz7/+c/LdZzH\neDwuz9MuOET5pEQiIeItFf+ZTKbMqAGU0OTOnTulXYqxhUJB4jip9E+n02WGMMAT3Ti2Z599FoAX\npUI0rtGu6ZJUKBQE1RDx7LPPPoIwSbZInGQyKSmWdMZc7iVG86TTaVlLJjGgAYL9Mp9lVquLxWJi\nBGIbP/zhD2WMeu/z3eUeWLJkibzfXE/6wU6EAuQWUEABTUmaFMgtm81i48aNeOqpp4QzMhuB9sAn\nQiDSAyA6hB07dkhGBHLZ4eFh0fMQQRQKhTLExk+z+hWRlCYij2QyiauuugpACc3ddtttuP7668u+\nq6qqkvEwbk977/P5w8PD4lxJjplIJHyFmtesWSMcjWgglUpJumvqj/L5fMV6rzbkxrm16fwqubtE\nIpGy7BAkIjvtpmK6m8yaNUvmh6imurpaEDARRVNTky9d+5w5c2Sdqb967bXXBElTR6VdVWxzopOJ\nmvU7dLYKM3vJwMCAuH1wX9TW1ooxhPNYW1sr+liONRaLic6L+rgNGzbI2nK9Z82aJaiZfampqZG/\nGX3z4IMPCjoiuqmrqxMdq45g4VwQOeq+st14PC6GDu7brq4ueb90TQa2r40GnEPOI41lH/nIR8SB\nm7q3ffbZx4fINm7cKMiT86NTzY+XJsXhNjQ0hFWrVmHt2rUiGlDJOTIyIovDRSgWizKZLDYyODgo\nohBfqDfeeEM2B78rFotlPmeAt+iExrzeFFuA0svW1dUlogvbevPNN+UF5QZPpVIiBnCD9/b2ynOZ\np27Hjh1yuNHnaNu2bSLu0NepublZxqh9nRgKxjHus88+ZXn6SZVEz4mSzmDLl5GbfWRkRDanLitn\nWvRCoZAEUPPFymQy0ne+gIlEQp7B+W5vbxfVBe/VOf3oH8V5MokvOedYe/6bqYc0cX/ogi68fmho\nSNaCjKmqqspngS4Wiz5Dwfr16yXEjHt/1qxZMo9sIxqNlmW2BbxwKNPPLR6P+wrY5PP5imPib9XV\n1TLPPMC3bt0q6g/2T9ci4dzpOTSz6ba1teFzn/scgFKJRP3eaGKmYrZ39tlnB35uAQUUUEDAJEFu\nFB2i0ajAYaKVV199VTiULodGDkm/opkzZwonJ6pav369cEa2t3HjRuEkTKHU3t4unEoHn5tEZb7O\naErF7Ouvvy7IjgrfZDIpUJ7t9vf3CzqlT5/OGU+jQC6XE/RIzlpbWyvjoLigOSRF8J07d1qDkUcr\nirsnZENu2kCj3U+0rx/gjZsogMh5yZIlghAo7tXV1fmqWkUiEXGF4Hyfcsopcg/bG02UYR84j5lM\nRlxaiIwqxamGw2GfF//g4KAvkaNGJdpPkiIq+7l48WIJKmegeVNTk6gaiOCamprKXDsAb93pMsGY\n0draWhFVtdhsmw8z8QJQmjeOZ/bs2RLP/MQTTwAoIbja2lpf/QlbqUuNWD/ykY8A8PxZKbVoogGD\nCLy2tlb2z3gpQG4BBRTQlKRJgdyy2SzWr1+PZcuWiQKRupLu7m7hsuRAvb29kiWCnPeMM84Q/QBr\nLei6BlQ679y5UzgUkV57e7vEvOk+jUaJRELQApHEoYceKpyNHvjxeFyU3kQ3TMoJlKIryJ0AiHEg\nGo0KOqQxZMOGDfIdOeXixYulD0RuRJhAua6Gf9scjjXn5e8ml9fJG9mPUChUhmb4HfuiERSRFpGC\nnh9+19nZKa4gN910kzyL80d94eDgoLhd/PrXvwbgOYvq+qeAh3hsiFXXTuD/iSq4FxYvXiyIiPVx\nqdNyXdeXsaKpqUnccHRcJxEt56K+vl7mmM/MZrMSb0nd2+bNmwW58VlDQ0MyF7rwM/cSjQzZbFaM\nbTolP1GpdjkiimQbPT09ZXpMEuNxuR+pW96+fbskTNX7yDTSaQmF++fcc8/F008/DaDkRMx2gZJb\nU3d397jSgmmaFIcbA+fnzZsnYhcnRmfvpAVz/fr14pXPzc5NApSgtOu68pLx3tmzZ/usldFoVEQM\nbhwbfOeCxONx2Vg8mHTKHPZ9aGhIftcKZG4EXVmdC6r9s0h8EbLZbJlCG/DqSTC8h5v5oIMOkkPf\nVvbOJnJrEYz9N4seay91HnKZTEY2IF+ERCIhIoQ+UMmw6Gkei8VkvBRxtN8e+zswMCBzz8OwqqpK\n9gpTYT388MMybhpmWlpaKlrZuN5avGefqqqqpF885HSxF64Fw4amT58uURJaVcADivMXiUR84Uy6\noAqNUJs2bRIjGtt4/fXXfRbUkZERWVNt8aRPGQ+PI444oqyAte4TYE/zpYsim/OoA/wpUjOUSltL\neZ323SS5risMiev46KOPCoPmnnn11VcFUIyXArE0oIACmpI0KZBbJBJBY2MjotGooB9ymFmzZpX5\n2gAeRCV3JZfTHto6m68uBQd4ogPhrVZ4jicol9fn83lBFeSUVVVVIhaTA+dyOUE1RDrV1dWCPnjd\nMcccI2iFhhLA74qgaz2Qo8+bN0/QAl1L+vr6RMTQiR9t2YV3l3RtCKIGIrJDDz1UlM46ASS5MedJ\nu6RwfhoaGmTOiHYHBwfFuMK5mz9/vqAujYKoGuA8tba2Wt1i6LfGZ+lstmyvp6fHZzgi2s7lcr6q\nVuFwWFAI/e3S6bT0WasobCX2zAiO/v5+MY5RJMxms7K23NsjIyO+7LyhUEh8yTi3zzzzjKh9iOp0\n9IfOdKv3um5Xk0bqy5YtA1BCsfvuu6+8G9o/tZIbEp9//PHHCyqnNFJVVTWuhK6aAuQWUEABTUna\nI+TmOM5nAHwMgAvgJXgV52cCuBVAM4DVAC5yXXf0VBfwTv5FixZh+vTpPrePXC4nnJf6s+rq6jJj\nAOBxOXJScvl0Oi1/E5nV1dWVxUWqsZR92pwd2X4+n/ddPzQ0JPoBjmF4eLgsEwXgcUD2iXq2ffbZ\nR7ggEUI+n/cVLNbIjZx1w4YNUiuTuo1169aVZdQw6e2or6CRm3b+BDx3DsZMUtep0xFpBMk+U4c6\na9YsQYC6boCuTwuUO1lzjC0tLYIW2EY8Hpe9YiP2ORaL+VKjb9q0CbfccguAUupvHXnB/cA2urq6\nBHmzqHEoFJLxcozFYrGsUhg/zciIhQsXSiJHPQb2k3Oraz1o6YF/6/RU7AN1iBqRaeTGZ+jKbybi\n1/pp9pm6wYGBAZkf7kWNEjVxfnR6Mjpw6/meaFaQ3T7cHMeZDeBTAA50XTftOM5tAN4H4EwA/+66\n7q2O4/wAwEcBfL9iJ3aF8BSLRZlMwvG6ujr5myLHddddJ4cAF7i5uVlEIC320HJKEcd1XTmEqGid\nPXu2iCd8Ufl/HS7FTRyNRmUhuICFQkGiB7gJGhsby3JpAd4m1X5HHAPHpmsKmAVQtOWKCvtYLCb5\n6HXufx19wTa4eTmORCIhL4Ut5ZIuiAuUGzl4MGvLq/ZJ4qak32JXV5e8vJyzhQsXihjDvs+aNQt/\n/OMfAZRe8jlz5sg6c82uuOIK2exaxKPnO69vb2/3hdtpq51O9cR147hbWlpEHDTTZLmu6wsLjEQi\nUifhjTfekDkx23UcR4LUGSExb948GQf354EHHihrxet27twpGY0599r/i9f39fWVlfkDvPXmXmIR\nmurqarE66xRJZoonx3F8OdZItpDC2tpaMQBw77e0tPgKB42MjMi+0kyX19FPFCglSBgv7alYGgGQ\ndBwnAqAKwHYApwBYuev3mwC8ew+fEVBAAQU0Ydpt5Oa67luO4/wrgM0A0gAegCeG9ruuS3a+FYA/\ncMwguoIUCoWyeDXAQwhENczCetJJJwl3Jwx+7bXXBLFphGBWn+rs7BS/H6KLdDrtCzK2BVmTs9o4\nTCaT8SWhdBzHB6Wz2ayIBoTrXV1dwuknSsPDwxKEzX7NmTPHajTQpeB4Pa8jcrKN25ZCyTSeaNq6\ndSve+c53AigV6e3r65PoC6oZLrnkEl/CxWw2Kz6JVM7ffffdgnq4Tl1dXdIHokidvodz/MILL8hz\ntSc+29ExxURxRNapVEpcQYiOqeDWIjXXuLa2Vu7Vrj22OgTsH11W1q1bJ33nWuzYsUNibzmPNTU1\nIqIy+kEXeTZL/AGlNSoWi7LnGL3Q19cnqJAGj1wuV2YsmAhpNyJGGfA927hxo3yni2Lb/BBN9ZBG\nyuOl3UZujuM0AjgHQDuAWQCqAZwxgfsvcxznGcdxnhlP6bWAAgoooInQnhgUTgOw0XXdLgBwHOcO\nAMcBaHAcJ7ILvc0B8JbtZtd1rwdwPQA0NTW52WwW+XxedAZESc8++6xwG3KWhx56SPQIRCH77ruv\ncAjqIoaHh32VjzZu3Ijzzz8fgJfumddpj22gFNumlazkYhrxaM6iuRE/OQ66HmQymTJ9A+DpPaiv\n0t7Z46FYLCZOwVRmF4tFUYBrMtNOaz1KJfeQSnUdbPfl83lBJhyrLR531apVZUkYAQ8lEpkQUejU\nQ1zvG264QdaIbgN1dXWyf+hFv3PnTkH5XIOenh5BWNSX5fN5+Z1UW1src0XnVMZBjoyM+Kp0NTU1\n+eqH6lq8OqKBKI26wf3331/u4RjC4bCgU+5jHbfLPXvnnXcKeudecF1X2ua70tLS4pNMwuGw7Dmu\nxbRp08riYPVvYxH3Uzgclv3NNWtvb5c15Rh0Wnkb6Xfpfwy5wRNHj3Ycp8rxenAqgFcBPAzg/F3X\nfAjAxLSAAQUUUEBvA+2Jzu0px3FWAngWQB7Ac/CQ2D0AbnUc5xu7vvvxONpCLpdDNpsVTqFdOMih\ndGVvOiPqupNmTquhoSE57fnb3LlzcckllwAotyTybzNdsuM4wj2IIGKxmC/GUtda1C4FtBgR/bS2\ntsq91NXoZIxENZFIxJd/zebWMTIyIvewL4sWLRLLrZ5jM7+WHpt5rSZtFaSuihx4zZo1Pn3lnDlz\nxBWEzqydnZ2+TCF33HGHWOM4P5FIROaFOb2AktWO+rOZM2eKVVG743DuiaAOPPBACQ0yK3Lp6wYG\nBnwOposWLZK41fPOOw8AJHX2nXfeKeiP69nb2+tb21QqJeMmgqIOmeNl38ysMnPnzpWxEZm99dZb\norMkOl2+fLnUXGUxlpkzZ+L2228HUCqYtGzZMmlbV8GiRZJeCR0dHeKUq5ON6hx+gN3xnXsrEomU\nFZDhfXQ4573aqqvbHc++HIv2yM/Ndd3/C+D/Gl9vAHDURNph8G5jY2NZADXgbURuDr4oiURCXga+\nZP39/WViGeApV7XSnkQxhptz69atosSlGEIlekNDgxgguAihUEgOErYfDod9CzJa1l/2jxto7dq1\nviLBiUTClzl3tIB39pWbffv27SLa6Beavnbc4Dr+jyJEd3e3KPQ5ZzqTLV9Ajj+dTgsj4AG0YsUK\nuYcK7pGREXkWxZS+vj6Zd/YpHo/LvXwpamtry9IpcTxmUsnh4eGy5AqA5zrCeWHNgXQ67Tv8586d\nK3uKomBDQ4MwUfZvyZIlcj33Hg+AtrY26TvXpL6+Xn6nqA6UgsS5p7q7uyW2kv1dvXq1GNFYjere\ne++VQ4P7vb29XdJ3/fSnPwUAnHzyybjooosAlNaxoaFB+sy1amtrk33LQ66/v18OS12wmZFCnCet\nLiDplEemC4ztto7iAQAAIABJREFUuqamJumfjjm2RU1M9HALIhQCCiigKUmTIrY0FAqhuroaLS0t\nglx4mhcKBUkhdPLJJ///7X15lFx1ne/nV9W1dFcv1VuS7k6nyUYWAiGBREOAUYiSBBjAGRwCHkXA\n7cDIezo8QR2dNyPHQRx9ARwFHR/qEYIPUJGDLOLMIRkhJCBkAbK3CZ2t0/tS1V3LfX/c+nzrW/fe\n7nRC0tTpc7/n5FTn1q17f/v3890B2GZ5ohBSeXm5ZMegGHLw4EFBYjSbx+Nx4epr1qwBYIsLzgSA\nmksQaZGbaNisTd9OhJVOp4W76fsoTpGj1dbWeiaXHAu98847kiqHz/j+978v4ptOqU5RhAp7LV4z\nNnf+/PlSe9PJKQcHBwUZUW3Q0dEhimuigkOHDgkyoqgzadIkT2OJUxQ7duyYtInK5iNHjoj4SJEu\nFAq5FMxNTU0uNNfT0yNzTwReWVkpY69RPPvGtrz11lvi+kFJgkaotWvXitjMPp5xxhki8vK7pqYm\nmQv+dubMmZ6iP0V5rvNUKiXGECZ3rK2tLTBEATba5fiwruu+fftk37A/iUTCFZcaDodd67uxsVH2\nwcaNGwHYxZvZj9GyrJxM3LLTmFZVVSUSkdc+HCv5yM0nn3yakFQUyK28vBwXXHABli5dKmEhTMEd\njUZdYU319fW44YYbABTWIyV3ZarldDotcryuGkVzvuaQ5NrkitQv0NDB5wE2N+E16lg6OztdGUh0\n9hAihCNHjginZ0aTG264QcKKTpQmT54s+jrqilasWCH9IZIpLy8XjkudWiaTcRkZUqmUK1mlzjBC\nVEVklM1mJdsH37V//35cfvnlAPJ6JvbfSWwLx27x4sWSIWX58uUAbOTBNUBnZx3Kw8/Ozk4x6lCv\nZ4wRXRJR2L59+2SetXuM02XDGCOogsiec7d27Vp88pOfBACp6JTNZmUuKFkcPHhQHJWpY/3Tn/4k\nsZO8v6WlRd7F7C4lJSU477zzAABbt24FYOve/uM/bBsdEfP1118v65U6uoMHD8p8UOe3a9cu+Zu/\nnTNnjrSVyCydTst4E/3t2LFD3Ey8dL+kE3UdAfLzR8mit7dX2kl0qpNfjpWK4nBj4HxjY2NBgVvA\nnmAuLG6iuXPn4le/+hWA/KZ48803RXmtM/dywPjceDwuYiEzvT7wwAPyHCq4KaYxxQ2QX+ADAwMi\n4nASBwcHXYkzp06dKocgF3N9fb3kyOci7uvrk4OZh3F3d7dYQSm61dfXi6Kai66trQ2PPvoogLxF\n78iRI66Ej+eff74cUl4RBxyT2tpa6Ts3DEWEZDLpytoaiUTEi16XveMY8F21tbUyf7oEIRcxA7mj\n0aj8hmP/4osvyvfcdPv375e/uSnLyspko7A/0WhURGgqxw8dOiTjwt9qpbdmZrzOfvPwyGQyYuDi\ntWg0KofmsmXLANiJVWmUYEzoqlWr8K1vfQsA5OAbHh6WOaXC/p//+Z8LikADtj8c1x6tpnv37pX1\nxX7V1NRIW3gYbdu2TXwD2e/e3l5XbYJMJlMQMA/Y80MRlXPBdZJOp4WZcO9FIpFRDzhd5tEZBRGP\nxwv8D3mfL5b65JNPPqFIkNvu3btx5ZVXYvHixcKNdDQAuYzOtkH0wyLG8+bNw2uvvQYgD29nzJgh\ncJ6xdFu2bJHvmU5mxowZIjKQAxKl6WpDOt89YT051jvvvCNcnlw2k8mIyd/pHwbkufvSpUsFuT33\n3HMAbBSiU0sDNmLkNSqnKyoqpA26Wpaz7kRbW5urboD2peN4z5w5U8bAqZDWvmVETQsWLBBFOMWb\n1tZWEQGvvfZaAPY8cfwo2sViMfkN+59KpaTtuhoV20cDzcKFCwVhUeRNp9PyDva7vLxcVBwcu+bm\nZhH3KApqlwOO59DQkBgwiCapNjl69CjuvvtuAMCXvvQlALaPGZE/Ue9ZZ52FX//61wAgmUDKysrE\naKMTZHLtc56uvfZarF+/HkDeTePll1+Wtcz7Ozo6JAaWSGd4eFj+pmuJzmajDWg6JRLg7cYxPDws\naoJnn30WQD5C4swzz3Slvz+eWKojD5zqBV3k2es3YyUfufnkk08TkooCucXjcVx55ZVIp9Mu7+vu\n7m7Rv5HL9/T0CLeh82I4HBaEwfu+9rWvCfeimfnjH/+4IJOVK+04/3Xr1gnHJUdlPdSvf/3rwjWp\nw6isrJRrt956K4BC5TwRws6dO8Uxk4rzRCIh6IfP2759u3BwIpRkMolvftP2j2ZGiOrqatG3UP+x\ncOFCUdrTaLJq1SrRSVK3MWfOHJeXfzablXGku8R//dd/CSq85ZZbAOTjKXft2iVOrERfX//614Vb\nU0c4ODgoyO2nP/0pAJvLU0dDFLR//35xTmU1M8uyZGzpdLtw4UJBwDoDCg1CfO5f/vIX0dNxPMPh\nsOSU47jPmjVLkPe3v/1tAPaa4W84ZmVlZYLsiBjZx2nTpsm4/OY3vwEAXHXVVaL/pB7r6NGjgtaJ\neK666irRtTH/2+TJk2WNUs82f/58GQNdTeyjH/0ogPx8d3Z2FsSeAjYqdmY+OXDggIwVvzt27Jgg\nVa17I0riGg0EAiIZXHzxxQAgSVK3bt3qqkJ/MgYF/f8TNR54UVEcbr29vXjhhRewdOlSmViKFbFY\nrCBhHWD7wDHJIUmnaeEAl5WV4Qc/+AGAfLm/adOm4V/+5V8A5MWJvXv34v777weQD1955plnAAB3\n3nmnLA5C5fLycmknxeOf/exncsj8/Oc/B2B7x9PviAvnnHPOkUOGG3ZwcNClENaLjgfE7Nmz5RCi\n5eqZZ56R35IhpNNp/O53vwOQX9jz58/3DC0jcbNZliVi8L/9278ByB+GHR0dIhLRlzCbzcqip+J8\n165dIgpyA5SUlMhzqYD/85//LN/rzDAUdyjaLVq0yFUo+UMf+pD46/GAfu2112Tzss1PPPGErKW/\n+qu/AmAfFA888EDB86ZOnSoMTodEOaMlmIZp+/btMhcc6w9+8INyWDNSYMWKFTL3PMjOO+88CUPi\nO3WYFjf75MmTcd1110k/eB8BAMd78+bNEq3AMdElGmlE0CoMHobV1dUu5X0wGJQ9pNNjcZ4p0tJA\nsnfvXjmE6QHgVSNiJPI6yE5FnQ9fLPXJJ58mJBUFcgsGg6ipqUFra6sgIp22iJCcJvKBgQHxD6L4\nM3v2bHE1oHtBZ2enFKmleHHBBReIkYH3L168WIwRFB9p7t6/f7/8Vpu5KRLwu0WLFmH16tUA8txu\nzpw5gpLY3pKSEuGKfOecOXNEcU33kKamJmknxS8Akq7p+eefBwB84hOfkCK+dP8YHBwUNwUmWezq\n6hKfIXLyVColohDRxebNmwVVUMwnkvjSl76EdevWyXiTiJIogr/88svidsG5i0Qiwvl1nQGKub/8\n5S8B2MjWWauzqalJ2kmxkPMD5NHP3LlzZf4onmofOYq069evF2Sh6xZQXCZ6jkajBVWi9Nidc845\ngiY5n+vXr5ekDFS+JxIJ8T/kc3fs2CGGDxptHnnkEQlw1+Ix30fE/Pjjj4t4y6iFLVu2yDxzzp54\n4gkx0tBFqLKy0iUh9PX1yRrluEciEVeVteHhYZfLho5o4N80Li1ZskT6wTEMBoOeKM0ZFaRdUbSR\nYTxTHvnkk08+FS2ZU6G4e68UjUat5uZmBINBQW7kBLW1taLAJLdOJBKiZGcMaiwWEyRGnUlFRUWB\nLgmwldPk0ORsS5YsEVRDYqqbc889V3RjVEKfffbZgg5Juh4qn5tMJgtQEmBzT7aZ969Zs0YQDpXP\nW7ZsEb0D0c2xY8cEfVDvUl9fL/1mgsrKykpxkdEZIajrov6xvLxc2sf+l5aWyjgTBbBNulgPFdJn\nn322xD+Sy+/evVvcHjhOH//4x8Vlg8+44IILBA3wXTqSgn24+uqrJTKBesVYLCYOz/zs6ekRJE/H\n4k2bNsn3RMfl5eUSA0okowvEsB8dHR2yVqijIpru7e2VseWzuru7BfU++OCDAICvfvWroovluozH\n47jvvvsA5HWnW7dudVXOymazon8kSrz77rsF1fz93/89ANvNh3NK6eGNN95wOfG2tbUVoGEABdlR\nvJCRTnPkLBikq1U5nXg3bNggxjmdYmu0d/B5ZWVlBenIAHu+77nnHgDAd77zndcsyzrf9SAHFYVY\naoxBOBxGIBAQ+K/Dqjg4HMBdu3aJeEJR1bIs2UgUsW688UYpDkxl9vXXX4/vfve7APIplP7hH/5B\nNvlXv/pVeR4AXHHFFa6g5FgsJgpU0o9+9CNpOxf4TTfdhLVr1wLIb5jm5mZZvFy4U6dOlU1D37em\npiZJO0NxrqqqStpMsWdwcFAUy9qbnAcnD6ZPfvKTIvJyQetNTiNIJpORhAIUBdmOzs5OEad4GN1y\nyy2yoHl4fPnLXxZrLa3Zv/71r8W3jAzs2LFjooDmoXXw4EE5OHlfLBaTQ5DvaGlpcVVjqq2tlUOa\nB+S5554rvmK8tnLlSvzkJz8BkLdgHjhwoCBrMD+pPHf6MAaDwYKkBIAtlpPRXH311dIfriW2d86c\nOXj66acB5IP5m5ub5dDneh8YGJA1z2esWLECjz9u11/ifC5fvlxCDslAFixYIAcz7xsYGJB5o5pE\nl9tjH3UIHikSibgC5tmmVColIij3yrJly0RdwvVZWVnpWVaS861VBXyXFplPtJ6DL5b65JNPE5KK\nArkxWaX2K9JmZ2eQc29vr4h+VFYGAgFBFUREU6ZMKQj6Bmxxjsr4r3zlKwAKs7DyfhoMXnrpJUFp\n9E7//Oc/Lwrcz3/+8wCAz33uc/JecuBMJoO77roLQD6o/bnnnhNUQ5TY2dkpLgbk2hdeeKGIU0SV\nra2toqgnlzt27Jj4b1Fsnjp1qoig9MVas2aNoCiO3erVq+U5n/nMZwAUJht46qmnAOSRqDFGOK/O\nsMv7/umf/gmAjWLZD85PS0sLVqxYId8DtjKb/lHaS54IioYK3V9dN5Rt0YH+dIXgWJx77rkyl7yW\nzWYFkVEdoFNWcbyHh4cLEgoAhb5gXJcUq7q7u0V60AjP+Yzt27eLW8inPvUpALZoq9UPgC2VsI9a\nDcB1SNXMypUrRZXA9w4MDMi4cEwqKioEbeli1M7EENlstiCjLvvqzAzN8Uomk4IYdbFuHXQP2NKI\nLtrMNpE4djo6gW2LRqOyv8ZKPnLzySefJiQVBXIDbK4Rj8dd6Z+1Fz11MKlUSnQV2iOdnJ5oYP36\n9aLnYfWixsZGMY1TP/K73/1OFPWsvk1Fb1dXl6A06q9qa2tdKZe6urpEP0LXjXnz5kkqIzq1XnPN\nNcIhqffYs2ePoD3quyKRiHA5ctm2tjbhjOTQ4XBYrmknZud9N910kyjPyZXfeustcWxlnO2UKVOE\nC5NDc5xqa2tdSCIajQqypS4zGo2KLo1t+uY3vym/pbHhD3/4g3Bw3mdZlqA09r+trU0U4HTeDofD\ngkKoG9RGIV0FnsT189///d/yPD6jpKRE9EZ8TjQaLahtC+QdWJlgVb+/r69Pxk4r0fU7eI3zw3k/\n66yz5P18Zzablefp1Oxf+MIXAAA333yzjA/RLudi/vz58hsi9TPPPFMMM9S1hsNheR/HTBPb3tPT\nI2ud+lE+P51Ou+olxGIxQWVEcK+88opIZpzvgwcPurKS6GSwbFs4HPZs32hUFIcbaxIsWbJEFgX9\nqA4dOiTwn6LdjBkzxKeKg7VhwwasWrUKQH7w//CHP+C3v7WLb1F8XLdunRw0hNULFy6Uhc8DjJvd\nGCMiHu958sknZXPrQheE0PTev//++2WjcpIee+wx6TcPskAg4CowXFdX5wporqurkwXF9+viNtwc\nXV1dcnBSLH3xxRelrexHaWmpRAhQ9Ny5c6crvQ8XYmdnp/SHbfvJT34i4ib7MDAwIP5OHItp06aJ\nkYNi39DQkDybG1+LcRR9f//734u/Ig+3oaGhgvxj/K0WY3ifMxnC7t27ZX3pcn/O3HvBYFCew03L\n8dfv5UEei8VE9GU7Ozo6ZP3yGdOnT5ffMMLlAx/4gEuFMjAw4EoYEI1GpQ1UUWzevFks5ZzP/v5+\nidYgYOjr6yuo2cD7+A6vPG3aqMOxZX/4/0AgIGOrjSdc87x23nnnSUjh9ddfD8A+hL1SGXGsdOlM\nv4aCTz755BOKBLnFYjFccMEFuP7668V3iFzn2WefFbGQiGzmzJnCjciVa2pqRGGuk/MRCVGMveOO\nO+S9dL8488wzhRvyGjmcFmuIWmKxmCjxifTq6uoKlK+ArRDn+8mdWlpa5Dd8Z0VFhXBPPldXgeJz\nKysrBV2Qs4VCIVdiyFgsJm2gj+DBgwddkRa9vb3SBrpYJJNJaQO/47sGBwelnURhLS0topTXaaqI\nLLWymv5wVBu8/fbbohynP6KucUFVQV1dnSAsIswdO3bIPBMxZjIZWT+6OpqzLsfg4KCMFdFPJBIR\nNKeLJ/O3FO+JhA8fPixjxsiQKVOmFCTOBGzEoVM3AbZqgn1jv/bu3SuIlmKaLgHI8QwGg+IGdeON\nNwIAvve97+Hv/u7vAOTXz/79+10RKW1tbQVJTgF7XjhWo2XY7e3tlTHjWiZaKy0tFRGUyLWhocFV\noS4Wi4kvH/f3fffdh9tuu831Pj+21CeffPJpBCoK5BYMBlFRUYGjR4+68thns1lR7tMUvGXLFkEh\nlMO3b98uCSfJDQ8fPix6G62X0vURec2pdyB36u/vl791vCs5FXV/fX19gqp0zKHTXYGIB8gjskmT\nJgmqIAqrrq4WFMDfVFZWyt/8bX9/v4wFuaHuG8fzjTfeKHCMdhKv6ToJRHjabYD94Hht2bJFULSO\nNuAcUO8SCASEaxMFtbS0iEKd+lJtmNGxjryPbh1edRBSqZS0he3csGGDxGxyXqZOnSqImrqqdevW\niUOvjrtkW6h74lh3dHSINKDdK3SKKcBeK5xbIriysjJBJlzTb7zxhqQyoj4sGo3K2tPoj2iYbWlu\nbpbviQi3bdvm0lsBeeOQjnTRiT1HokmTJgkCJOk6IpxnHUfLNlHiAvLrm2N3yy23uNLk6/RhXNOp\nVMpleDgeFcXhBuRzOHFx6KgEZ2hUQ0ODDBKhb3Nzs0wiB7W/v9+lONY+PHxuSUmJqwQfF3U0Gi0Q\ntwB7QXIyncpiIC9CJJNJOQR5UGgFLmF9IpEoSPlzImSM8VQI89kcn6qqKmkrF4mXkjaTycg48gDl\n4tde+XwGI0v0+4eGhuQ+jqv2JaQoWltb61KYd3Z2ynMo2tXW1haE5rDfzroXw8PDroM5Ho/LfJOp\ndXR0yCGoi/roWhFsE6/xMKJoVl9fL4cQ2/vFL35RIhOYD/COO+6Qg5QqgjvvvFNy5lGkbW9vl0Nf\nG2Y4tuyXVk0wBG/atGkShUAjUDqdlufpKAiGp7H/TU1NnjU1xkI6pJDiMNvuRYlEQtQKOi3Zxz72\nMQD5kMfPfOYzIjbrfeZV3Hk0Oq5Yaoz5qTHmqDFmm7pWY4x5wRizK/dZnbtujDH3GWN2G2O2GGMW\nn1BrfPLJJ59OEY3lKHwYwAMAfq6u3QngRcuy/tUYc2fu/18BsArA7Ny/DwD4Ye5zVGJsqUYBRE46\nfz5JRzLwNK+rq3PFoAYCAeHCzJZqjBGOQ8g7MDAgnNHpLhEMBsUnSldoosjI53d3dxfkheezaKDg\nO3t6egTlEV0BcAXij5WqqqoE1egIDl2EGrDHkYr/0YKXA4GAtI+fOhsrx5jcvr293SWCZjIZV+nD\nkpISGVu6wyxcuFDGgL8dGBiQfvAZDQ0N4p+lRWsaHrRvpHMspkyZIi4yRG5lZWUF8bq6/3p8qqqq\nBCnyXYwiGBwcxO233w4gj451BTZd4o/XmBE4m83Kc7h+N23aJAiZazsUChWk2eJ7eY1r76yzzsIv\nfvELAHkfy4aGBumjjuekAY7IqLa21rNewViIaPvo0aPSZorZOrqE1N7eLuKwXu9Ee9dccw0Ae68y\n6J60Z88eWWdjpeMiN8uyXgLgLDp5FYCf5f7+GYCr1fWfWza9AiBujGk4oRb55JNPPp0COlmd22TL\nsljG6TAAarKbABxQ972bu3YIDjLGfBbAZwH75GaVKyIDckxdf5Hf6bQ8RAOTJk0SjsZr3d3d8hym\nhGlsbBQuSC4SjUZduhWd5pymbOb5z2QyBQkNAYyoMyPX1gWO+V5SJBKRNlF/EwgEXK4gXohLO5p6\nVRTSxESOHE9NbJ8uJM0x0XPCa+S2Z5xxhrSPCIEoHCiMmqCOirrO2267DQ899BCAfMr16dOniwKe\nnvXNzc1ijCCCisVi4irB9Ea65inbOWnSJHGdYFrs+vp6mUs6B8+cOVOerfWvfAfXAF1Hvve978k4\nUUm/fft2mQMq31evXi3Vr7imOjo6ZJ6pO66oqHClCo9EIi4dcCqVcumgaZAD8nM8Z84ciekkpVIp\n2TdEwoFAQNw3dK0QPm+0WqFEaRUVFYKquN/a29sLDDgcJ64RHTvOeWYfly5dKplc2Fedan6s9J4N\nCpZlWcaYE04KZ1nWQwAeAoCmpiaL6WWcYkU8HpdrXDi1tbUy+ITXzc3NLlEomUyKBZUe4wcOHJAF\npTc0NyjFFIoVw8PDBZZEwD6gnOlfKisrXWJcKpUS4wYpmUzKO3hfWVmZKFp5fzAYLLAW6jHRpA0k\nnPyhoSFpCzfHvHnzZJPzcNWhQbryOa1bFHv4u56eHrmmrX3OQiT9/f3SVi720tJSCQ3ixr711lsl\nxIob7JxzznGJuaFQSFQInON4PC4bVG9ArU4A7I3H9pEqKytdzGTSpEni3a+J48ikAEwwoEOBmNqn\nvb1dxoCHzNatWyUEkH1NJBKyadnOWCwmxgWmvSovL5dx1tEqTtUJkC9sRIPBDTfcIIcpD+jZs2fL\nAU5GU1NTI2I1LdKLFy+W/cLvvNQmbIdm7GRM0WhUDmtdqpH7lkyvvLzcM5URLdysafLggw8WeAOM\nhU7Wz+0Ixc3c59Hc9TYAzeq+qblrPvnkk0/jSieL3J4C8CkA/5r7/K26fpsxZh1sQ0KPEl9HJSqr\nycnIjXU+dR0B4HT7KCsrc4kJ6XRaOAVhcEVFhXAhIphIJOLyrdL59MnlycW1YlO7JvAZOjjYGS9Y\nVlZW4PvFT3JUXTXI6ZLhFVuXyWRcyRAzmYxwfKK5xYsXS7wnOWUqlZI+EQH39PRI5S+2nUg3EokU\nuMOQ+H6dDonvJ5JJJBKi+Ccn37Nnj/iD6WpmzqyuOimCDm7nGuGcjRR7SF9H3hcOhyXhAhHW3Llz\nBT0T6dXW1kpwOiMAKI53dXXJfUw8OX/+fFlvdP9oaWkRV4fLL78cgL0+Oc9Ei6lUSsaMLh7z5s1z\nSTIaqetPJiPQVcmIxlmrY9asWWJUokHjnXfekThXplAaGhoS/02KtnyWptFiPel+AuT3Un9/v1x3\n+rM6iXPFtjU3N0tC1bHScQ83Y8yjAD4EoM4Y8y6Ab8I+1H5ljLkZwF8AfDx3+zMAVgPYDWAQwKdP\nqDU++eSTT6eIjnu4WZa1ZoSvLvW41wJw64k2grnV0+m0K61yMpl0Kft1AkudRoacVDslkkNQn9DY\n2Ci/1Vk0+A66TpCz6pRLfFY0Gi1ICgjYOgmNUgCbA7JNbGcmkylIsw0URhZoXRn7q9M/O0lzT96n\nU9AQ9cbjcdG9ODNdcEzZJkYBUPdGpNrf3y/OmtQZlZeXu6I6urq6CsaK9xOx8v4//vGPgmaIdHp7\ne13uQH19fYKY+P76+voCdD8aEXkSEbW0tMg805Axb948iXnl+qioqJBkkpzvhx9+GEC+VimQR38r\nVqyQdUO3jwsvvFBQJ8extrZWrhFNDwwMiH6L8avz5893OS9bluVS8usaBkRYO3bsEMRK9L5//375\nrXapoaTD7C4vvPCCrAemCPcyZnkZprQBieua7zp06JAYdbi2tZShiXuI/WpoaJD+jJWKJkIhEAgU\neCBz4AYGBqRTVFBOmTKlQMQACrOrausqrVycnOHhYVkwXGzBYFAWL5Ww3GyJRMKVusUYIxPm9G0D\n8odMSUmJbCL6nVVXV4s4zMnXE+ysC6Cf7bXAwuGwK6xK58Vn27VPHdukFdL6MOS4MDWU9lly+hcC\n+UON46o3Hw93nQOfjKavr0/EFLa3s7NTxkr7HrKPbIsuEENRq7a21sWI+HvdrkwmI+IjReVJkyZJ\n+yii63xuPHCoMAfyBxMP61AoJIWkOU79/f0yLto3kgettqCSmZBJptNpmTe2LZFIuNQA6XRaxpkW\nz9dff11Efj733XffLdgv7DfbR4PGJZdcIhZMGm2qq6tlXbAfZBqadNikzvnH9rI/+nDzijxwhghq\n/9Sxkh8475NPPk1IKgrkRiSkuS3RVygUKkhkCBQaDzT34n3ksocOHcK9994LII9cwuGwQHedIdUp\nRtF3yhgjz3UmVgQKlf7kNhQhQqGQ+FNRfN2zZ488h5wtFAoJmtMGCJ2oz/lekh43joUugEx/q8bG\nRpcZXnN8jndpaak8j9ydaCSVSrmSdPb394sxhM/QAd865ZEz8iGTyYibCRHH3/zN34jLhHZ9cdYw\nyGaz8jffr9NOaSJK4P3JZNJVCHhgYECqknEOQqGQuKjwuZ/73OcA2CIca0HQoBAKhQR18TMej8v7\n2c7Dhw/LGqEKpaSkRBAo57G1tVXGgtcSiYQr8/LAwEBBNAdgGxb0+uIn0To/tRsHjQi9vb3yPZFl\nNpsVfzXOhZcPnK4rwWdrtRLVC0SB1dXVo/rS6VoXo93nRT5y88knnyYkFQVy81KSkrN61Yc0xgg3\nIDcE8hyCCt5FixZJlgbWqdQOg7xfZ1pwopVoNCrcQ+edd96vUafWO3hlOaHimNd01aTRkvR5OfGO\ndL9TyV5aWiptYQaJrq4uV/78kpIS13u0s7PWO+o+8LdAoasMDQ8VFRUuXVomk5EsFnznrl27xKAx\nWoqbVCrhrodlAAAgAElEQVTlcoZOJpOe6ZycTtB6bIh09u3bJ8pupj4aGhoSHRv1Vhy7I0eOSGwp\n18quXbuk2DIRezQadRWo7ujokHHcuHEjADuigCnHr732WnkXx0wb2pxrqqysTIwC1OM2NjaKDo3X\nDh8+XJDklL916kpbW1vlGo0MzzzzjKSHosuMVzUqjnU2m3UlR9WOwLqws1ct01NBRXG4AfkDjhtE\nizVOEUeLipqcgeEzZsxwHZr6IKUiOJ1Ou9IGad8uLiytBHWGRkUiEflel5pzWpS0hzlFk2Aw6Do0\nvOhEApydedcCgYCIShS19CbXnvDsm9NoUlVVJaItRfuqqioZAx2a5aUQ5vtorOnu7pY0QKQ333xz\nTGE2lmVJ3yiCjzR2zs0bCoVcZfy2bdsmorH2a2RkgvbN4/8vvdR2GGAm2S1btoixhBv24MGDcjDq\nzU2DAt910UUXSXQB27lv374RCyFr8qodMX36dClIfssttwCw/d2cB30kEpF547vOP/98MapwrVx8\n8cWSBIJGGK/xZr8HBwddSQeAfBgbjYSHDx8WZn+qyRdLffLJpwlJRYHc6N0fi8WEexDy6uSJNEHr\nuEsd3O30ip85c6bk7ddB9U6FeSqVElFK+zjxfiqYtUuGk2uVlJQUlGQDbFFQx9Xxt05RtqOjw5U1\nNRgMCvpx1jLQlM1mpe3kqENDQwXP4XjSK5++YmVlZcJpyT3r6+sFOTmD39PptMuNRosVVI63tbUJ\niibFYjFRcOt+MBUVDT8bN250pTzSaZj4jEgkImIrjRL9/f2ubLFsN+CdaVZXd6L4xvn5zW9+I387\no0Cy2ax49DO6Ip1OyxxQ3L7oootE9GWkwN69e6XtFB31+4luKioqXIkAQqGQK0JheHhYRHmut0WL\nFol4zWfopKg6XppSCt0/4vG49EmniyLa4pyxgtXQ0JA8TxdW5jrjXtZxpETb5eXlEnPMtldUVMj+\n454fHh6W34yVfOTmk08+TUgqCuSmyalT0N7XWvfldFzNZDJyypM7XHrppbj//vvleyBfIxXI6zu0\nEp3PI7cLhUKCTLwU0qTBwUHhxtohldyLn4cPH3Yp3rUO6GTIidICgYC0n+MZCAQk3Q3jBXUKd7b5\n4MGDwkF5TTvxOlGVZVkuR1PdF6Imy7JciQr7+vpcVcTOPPPMgnhhoDAyQyusnTUrvDzmRyJn9Ec0\nGpU2UJ+odaFaX6f7BeT1Z4FAQPrDMYjH4y5ppLq62uVcDuQNCYx+KCsrEzRFl5B0Ou2KCPFaO6Wl\npeLawXfNmzdPnqcRsDPJayaTEQTKuW9raxPkxkLeLDi+bNkyMWhwXRw8eFB+S3Ta3d0tOjztLkVn\nY+pi4/F4Qd0OoDAOeqxUFIcbK3DrkCNSLBaTxasPI63IJxG2UoG7d+9emUxuvLKyMhlYDlZ7e3tB\nYV8gb5xIp9OyabShwEn9/f2yKbUo4/RVM8YI5Oc7ampqRg2OH40CgUCBZZmfTqMJABFL9WHtzJh6\nPG9xnWUYsEUIZ7FeHY2g20nrJucsEomI2MOaApdccolrsw0NDcl7OXf9/f0FoXf680SIba+rq5ND\nl+l2nn/+eYmK4WHAtjU2NrpK9pWXl8t9bHt7e7srwiUej8uBzTbfe++9UiCGwfobN24UkZvhXCUl\nJa6EAV4WYsuyxLrJ9fbhD39YDmIy1oqKClkjPFCGh4fFp42idF1dnVh2nemsnnjiCSxcuBBAYSQQ\nD0i+8+yzz5a9qYvqMCyQKoXOzk4JTSRDPhkA4IulPvnk04SkokFujEQgFyFX1LDZmRkWKBTJyIWf\ne+45AMADDzxQEAsI2GjOGZtnWZagMV0mjm1zBvOn02nPWFCiFe2y4Yx3LS0tFY5GzpdIJFxRC8YY\nVxzeSG4Azky8NTU1BcYSfkexWYvg5NYc73Q67VJYawOM811azNeplLQ4zLEmiqbXe1dXl/z94IMP\nSp+IAthebcDRYqIz5pYSgG67TsipjQJcZ1qJTf9IBovPnj1bXDuc46mTk/L+eDwu0gPnePLkyeIK\noaNBqMRnSp++vj6JrKHLxXXXXYcnnngCQF6kLS0tlXXLsdO1R7RLD9EXxcdgMFgQgA8Uzjef29fX\nJ/517OOuXbvkt0TgXEfz5s0Tvz4WRu/r6xMkxjFpamqS9abTmNFvjm2qrKyUfasLQZ8oMveRm08+\n+TQhqWiQW2lpaYE+QbtfOLMLDA4OCkfR3NvJgY4cOeLK769RmlZ2O+/TlZIYD0dFc01NTUEGDqDQ\ncVWnUqK+hX3Ys2ePuF3oND5Oh1mNBJ3uCJoCgYAgPK3TYRv0GNO8To4aCATEi1yjAGcMqEZ6RMfk\nrO3t7YIqtDJdu4oAhXGp2mDBNhPZ3nXXXfjhD38IwE45zjHmfdq4wOdxHIeGhgpqUOi+O8lZVaq+\nvl50Q7o2q4420WNx5MgRuY96pLKyMnku29Hf3+/KVFJRUSEoSOtEiebovrRkyRIxJFA/W1FR4Zn5\nxClJpFKpAj0zYO8boiTOd09Pj3xPpLxt2zZZ60R/ra2t8l6nwamvr0+SX1JXVlpaKoiN48rrTnIm\now0EAi63He1cPlYqmsPNGc6kF6lTYexVAMWyrIJDBbDFG244ignhcNh1aAQCAc+gcn6ng5YB2xLk\ntFC+9dZbLtEgk8nIBuRmtyxLFpG22DlL3L1XcqZOKikpKWgXYC9K9o2e99owwgNHR4Y4xbNMJiOH\nmzaaeB3EziiMQCBQkI0YsEUSZ3C+17MikYi0k4dba2urjJ/2undaRnWaHV1QmocLnxGPx12HJdvS\n2dkp1l8eBNlsVtagPuScPozGGPmtLonHtcdnrF27FsuXLweQT+SQzWZdPp6aOTuNDUDeZ/Ptt9+W\nUDBaUAcGBsRayX63tLSI7xn95zo7O+VA1MYkwD7oeQiynsTVV18t+5DzNFJFe2duRu29wMMwkUic\ncIEYXyz1ySefJiQVDXJjih8nt9anuP50iqVAXkxhJaDLL79cgptpbtaIj3C8srLSVeuAzw2Hwy6P\nfa+Cs6WlpQVpmniNiI3e58lk0oXcdGbhU0VO9xUgL4owz/7g4KD0l+hMi4pe5IVOneTlAqP94TSC\ncwZN6/J8XqSNQURHuhSf9obnNT2XgI0CnGvKsiwR1xnAvmDBApdEQfJKGKCNT/qT7eS1WCwmohoR\nUigUEvRMVJVKpcTIwTWdSCRcsc6Dg4OuqButXiCqevHFF6USF9dwT0+PrBWu1ebmZjFqaETN750G\npylTpojLDN1Z1q5diy984QsA8vPjLElIcsbF6ugcjq3Xnjse+cjNJ598mpBUFMgNyOvWnIpb7aRL\nXYRWVmo5nNyQZmxtPCBaKi0tlb9pNNAJMUdzJSDK0IkkyY2MMQV6NcDmRF7IyGmODwaDLh1QX1+f\noA8nWnKOm/P70tJSaT/1KJWVlaKb0op9cm0vdwpnRIaufkXSY6G5PNtOblxaWupSzuuYUaLKm2++\n2aUj023hGtDZLHQyRn6va9M6dTWhUKjAtQKw55Honchx9uzZLncTtrekpETeRalgypQpgpS5bsvK\nylzJRsvKyiRFOdMlaTcofpaWlsr7qb+Kx+Oeqbp17DKfx/dqx1nqoKknPHDggLjocN8A+cLQutqY\nM6MIjQe6JgSv3X777Xj00UcB5JNg6nokOlkl/+ZcBINBV73WE01UCfjIzSeffJqgVBTIjVamY8eO\nubixju/TFdqJPpxOgUDeqXLr1q3yPbmmdqIlgtNOkF4VlZwOqTqBJp8/NDTkCqEyxrhSk6dSKUGd\n5Jh1dXWucCUvHdxIySqdYSmhUEjuJUePx+Ou5I+TJ08WDsn+NDc3C6J1hvWEw2EZH46/jnUkOh0c\nHHRZXC3LcnFhnXFFp5921g8tLy93ja22ovN5NTU1orfSOj9nSvFgMOjSpYXD4YJCLxwLZ3yr7jfR\nJuu8zpo1SxAMQ58syxJkx7jKRCIhVbc0WnN6BQwNDYnbEN+l0+lrVx1nDKzWe3Jt6dq1TOI6c+bM\ngtqtgI0SWbiH7Xvttdekb3wux0YjcK6ZN998E0uWLAEAPPbYYwBsZ16d74191NZ7wEa9HG9dF1in\nRB8LFcXhBrhN7fqAcE56Npt1megjkYh0npD68ccfd4mPdXV1spEIg/XB6DTbBwIBmTDdRt5HGH7s\n2DFZxLymUwRpMZETxri95cuXuwoL66SaJxMz6RSjjDGyURYvXgzAXojaB4rEfjhdPLR4pzclGRI3\nnU5Zo0V0ijX8rU5jw0SRGzZswB133AEgL4pVVVW5RDs9JhzjeDwuh49Ol+RFOhUU26zLEAL2IccI\ngj//+c8F/dFGFyZ2PHz4sIwRD7KGhgbxCWScaGdnp6wpis86wy4/+/r6cNNNNxX0I5lMSpt1cLmX\nYccZ5D9r1iyJVqDo3dTUJIHtOiszDzKKsXPmzMHmzZulTxwzPt9ZPHratGlyqFEs/dOf/iRpkrRq\nwunGUlJSUlDiktf4vrGSL5b65JNPE5LGUnH+pwCuAHDUsqwFuWv3ArgSwDCAPQA+bVlWd+67uwDc\nDCAD4IuWZT13vHdks1lBNDzFqfDUnvaaW3s58VJxSk61Y8cO+ZvPGRgYEERALqOLDfN+HQfIvylC\nAe5Cydls1rNYrpc3ORWoTPGiXQi8ohFORpmqIzL4DnI+fveXv/xF+qvdXCi2a8dnwNu7XEdI6IwQ\nHDNSPB6X92vnYI6FdhNhm3SOfqcDsDb0cIxjsZgrNngkFwKOAZGjXntEJj09PfjIRz4CwE4hrmkk\nNM3n8f7t27e73Ga0ewrHoqqqStaljqMl2rvssssA2BEhzmpsoVDIleLeS4WhK5sxRdGMGTPEBYZx\ntAsWLJB4WB1XfeGFFwIAfv/73wPI11dIJBIy3kRwNTU1BfUXAGDNmjX48Y9/DMCOmwXseWJcKteC\nNtawHxUVFYKQx0pjQW4PA1jpuPYCgAWWZZ0DYCeAuwDAGDMfwHUAzsr95t+NMWNP/O+TTz75dIro\nuMjNsqyXjDFnOK49r/77CoC/zf19FYB1lmUNAdhnjNkNYCmAl0d7RyaTQXd3N6qrq0U/QSQVi8UK\nUhcDNpKhvkGHGfE33/3udwHYehJdN5Pk5LojxWw6v9PXnDo/jcy8HD+9XEvIHROJhKAaHffqjKXz\nyts1EoJwhrHp3G0Mt2ltbRWUQj2k1sM5Fbg6m4XWdTrbqV1giP509hCdjt2pCI/FYvJsnTadpHV9\nTkfPQCBQkJOM941U7xXIo8PKykppC3OIbdiwAatWrQIAfPvb33Y9g8Tf6ZT4pFQq5bmWnE7WyWTS\n5QLT0NAgRV6uuOIKaS/HQ9cldToqa+L7w+EwPvCBDxT0u6ysTHSmdF5evHixPJtr5sCBA6J/pE77\n4YcfBmAbJzin2k2FhgqGmB09elTuI5qbN2+e6J7pqFxSUiKOxzrmmuthrHQqDAo3AXgs93cT7MOO\n9G7u2qiUzWYxNDQk/wC4rKHHIx3DxypCOpCapA0UWtRxWtT0weSVckjHwfEebZEFbCufM4uv9sXS\nB4rXonwvxHGj4jidTssi//CHPwwAWL9+vRx07G99fb1r4+tIAGfCzmQy6QqwtyzLVSHp0KFDLrFU\nK8fpo5hMJqUMI0WXa665RtaDkwk4iZEgFPG8aiqwjUA+kmFwcFCsxLpQM5NEMoif4qY+mEk6O7CX\nWkH7EnLutR+gPoQAe20xDRINAStXrpTkk7R+a9/D41VRoxX0F7/4hfyfBxjbtHPnzoKEonwe1y3H\ndOnSpQDsRKOMgeV60xWveLhlMhmJbeWa2rt3r4jc2tquk4iyj15MajR6TwYFY8zXAKQB/PIkfvtZ\nY8xmY8zmUxUs7pNPPvlEOmnkZoy5Ebah4VIrz6baADSr26bmrrnIsqyHADwEAJMnT7YGBweRTCZF\nac8Dj6f+8aikpERi8siBvIwRXvUXIpGIcC9yB+3V7Uxx7ZUWSMf3EZn09fW5kjvqaASdq/9EudLx\niP2hf5RO/U3Rsq6uzpVoMhKJuPyodIUsujjQR294eFiU3jpjCDm3dmEgOWMT9d+WZQk6Ilr62Mc+\nVuCyodvmJCJWKqcTicSo6J/o59ixY9JP/ra8vFzey2pWVLpnMhlXBheN1rxUE3odUQTTxDkgMtKR\nBywGfc4554jIxvVONxr9Dq/MOcYY2U98x/bt2yXelOt27969UpOVRq+mpiZxceK+YjqmlpYWrF+/\nHgBE7NVpjriXIpFIQcFuwFaRPPnkkwCA1atXA7D3EvcwSauCxkonhdyMMSsB/C8Af21Zlp7hpwBc\nZ4yJGGOmA5gN4NWTeYdPPvnk03uhsbiCPArgQwDqjDHvAvgmbOtoBMALOU7ximVZn7csa7sx5lcA\n3oItrt5qWdZxS9aEQiFMmjQJJSUlwqm8vNO1spZ6La3QJ5ogx582bZqruvrUqVPltzrW0anMJfLI\nZrPyDo2CnPnctCKcVFtb6zLJa099rXNzFkWJRCIuY4XWF+rnjZR+3Dk+fAeNNsFgUDzlybW7uroK\n4mCBPErTBh+NRJ2GB91GPa5j4bzaLYZxl+l0WhCbVoQ7oyuy2eyIiTY1eaWVN8a4CrlUVVVJpTAi\nmRdeeEHeqavP8xl87rJlywDYyEinygZsVE3lPMc9kUgUZInhc/k91+M999wjLhbUa86dO9dl1Mlk\nMi7nc2OMPG/+/PkA7KwkRFvaWONMTBkKhQRZUk+5c+dOAHbeRO34DNjoixIC99sZZ5wh7+fcHjhw\nAJdccgkA4I9//CMAYNWqVbJv+QwdoztWGou1dI3H5f8Y5f67Adx9Io0IhUJoampCOBwuyOUPeCe4\nS6VSLq9mHQJy2223AbArCtHbXnvsO61s4XDYlQlXZ+Z1Js7TqXq0D9hIvkVAoW8XN5EzNIzv43Od\nSQS0iKwPEC8RzetgJDE9zauvvuoKbfN6lg6UdoY86bAhktciTKfToy5OHVbFzU2r3ODgoFxzzh1Q\nqFDneHtVRxuN9Nqj6FZVVSViGa/xYKmoqMAjjzwCIM8shoaGpB+8PxaLuZI86loCNHzs2bNHmAh9\n5ZLJpKuyWCKRkIgCpvMaGBhwMTMdfqWvETTwYEwkEvJstnnbtm1ymDKYPplMSvvZJlZTe+qpp8Sa\ny+LaV155pfSHqo+enh7pN9/V398vY0zL/aZNm6SMIMcnm80W+JmOhfwIBZ988mlCUlHEltKNQosV\nJ6Ngp58bqye1trYK16IIWFtb6wpmLykpEe5PFKILDDtRnQ7G1sV3ncHvQB5VEN4nEgmXT5B+zmjk\nVfXrRKC6U0wZHh72TPrppNHESS0q6z54uT94xQZS7OA4RSIR4e4UBXt7e8X4MhqlUil5B/va39/v\neu9IadBJ/E4bIqgU5+e7777rUuxrPzuKeq+//rprbPft24d77rkHAAqQmVciUKdRQFfu4vrZv3+/\nxG9yTR8v+SnHPRaLCXKif9+rr74qfaJrjRcRVTU0NIih5eKLLwYAvPzyyzjrrLMK2tTd3e2Z/okJ\nOymqb9q0SdpHA0Q6nXZFvRyPfOTmk08+TUgqKuSmFZkng9zoVEhFZzKZFHM1XSPq6+uFk/MdXski\ntcFgtGSRJJ02yXkdyHNSXWdU6/DGQl5tOZm4U/Z18uTJopMcjbwQKVFDNBp16R9LSkrkN/wMh8Mu\nNwBN1FuFQiFBMzq6ZCxp2Pfv3y/pkmgISKVSksrHi7QO0+msrZXY1D0RdR86dEhiHbUSnW4S3/rW\nt6QPTj1pR0eHp5vGaFXOtPRA9EhjEJCPOnEaupzv4LO5HyorKyWSgPrEiy66SFIjsd9eum/q7YaH\nhwXFsQpWd3e3jA+fofWuGqkzRRn7s3z5ctFT8jORSJywzq0oDrdgMIjq6mrs27dP/I5oFdOe4Dpj\npzNLbCaTkUGiwnzevHnyPELa5uZm2XA6HZFTtPLyS9OHEDcbP9vb2+UdWilPyM9N0d/f77KM/uM/\n/qP4EOnShoTmHItQKORpARspQ6/ud3t7u4jmK1faocKPPPKIK9Kirq5Ofss261xq7BuVxDr8Sld8\noujEZ/T29ooSmfcNDw/L9zzoteKaopEu0kvxVB8anIOmpiZpO9M6dXd3u8Rqr1A8LbpSEa7DfRjc\nTZ+yH//4x7LxNGPk/HFtjWTNHo2heTFJPrexsVEMLXx/W1ubyyIbj8dl3ZARaabD/bN06VIJheK4\nzJ07Vw5p+qvNmjVL1g/XNEVwAggAclBOnz5dDiM+IxwOF+SqA+y9woOW+3fPnj3SPh6qTz/9dIE/\n31jIF0t98smnCUlFgdyy2Sz6+/sxd+5c4da6QhQ5jzY2eImtVPCSi4XDYUntQtEkFosJ6iA07u7u\ndpncaZxIJpPCxbSJ3hlj2d3d7apHoN1TSNoYsW3bNgA2xyRHJRfr6uoS5OYUbfU1PpNjxf9zzKgQ\n1oWAyXFbWlqkH+xvf3+/jJnTj0yrDXQlJ2d1MJ1ZWKf54XN4LZVKSV1MtunIkSMidr300ksAbNTJ\n3+gCyKy05MyiDBSKUc7xSyaTcq/TEx4oTPVEpTj7SP+w2267rSBwnW1nmynuDw4OnnAxYS/SESRU\nu7APe/fulfYRsb7++uuyphkfq+OG2abGxkZcfvnlBf0oLS2Vfmq/Rj6P+4DPqKmpkf2lxUiOj5cB\nTaN9Rl8wakPXfyXanzt37piMbpp85OaTTz5NSCoK5LZv3z584hOfKEj7QvrGN76BT3/60wAg6V8u\nu+wyT+dM6k107nZynmeffRYA8Pzzz4viUnMWpxMr9XvHq+NJ0nnsR+PUmvsw6d/s2bPlfWzHDTfc\ngLvvtn2hiea8lOoawXplLWEMob6PCt7vfOc7knWB1N3dLWm+mZFCu85w3L0qm2unY6crSCAQcGXd\n0CmCtHsD20TdKZBPFErFdWlpqSRPZPu0wlon3+ScOjPO6DZr0sp4HWMMAIsWLQJgK/CdqHfTpk14\n5RU7KQ7RjdbnvhfiOB05ckS899l2PWac7507d8pvGLGjk6fqlEtEz+x3Z2enRBCwH1oXq/cGYKNu\nImW9npwJLA8dOiRSlX6/M/uMNrpx3c6fP/+EY0vNiYY0nA4KBAIWg9E5gEyDovPi0xIWDAY9Dzcu\naA7CsWPHsG7dOgD5SQoEAgXhMiORV658/fdoXvnaB45t8fqtNmJwMm+88UYA9kFNMYEHdGVlpSst\njhdUtyxLFhTvy2Qy0hatiOd7aV3cvHmzK8uwzsDrLLkYCoVc+e61d7yXsp2kxXadSZZiIUUcrezn\n5tGGIf1bbQHnO9gPr0N1pPAskjYsAYUiGa899dRTAPLMQP9upAD/0chrXWoDDokH/dKlS12Fvpua\nmmQcdcZeioh8Xm9vb0E6LsBW67CfPCy1jxqv6bRknFvOWX9/v0vVo7NVazDB+WU7uru7RSXD9u7Z\ns0cO9Z6entcsyzp/9FH0xVKffPJpglJRIDdjTDuAAQDH3uem1BVBG4DiaEcxtAEojnYUQxuA4mhH\nMbShxbKs+uPdVBSHGwAYYzaPBWpO9DYUSzuKoQ3F0o5iaEOxtKMY2jBW8sVSn3zyaUKSf7j55JNP\nE5KK6XB76P1uAIqjDUBxtKMY2gAURzuKoQ1AcbSjGNowJioanZtPPvnk06mkYkJuPvnkk0+njIri\ncDPGrDTG7DDG7DbG3DlO72w2xvynMeYtY8x2Y8ztues1xpgXjDG7cp/u4MNT35agMebPxpinc/+f\nbozZmBuPx4wxp7aoqXcb4saYx40x7xhj3jbGLBvvsTDG/M/cXGwzxjxqjImOx1gYY35qjDlqjNmm\nrnn23dh0X649W4wxi09jG+7NzccWY8yvjTFx9d1duTbsMMZcdiraMFI71HdfNsZYxpi63P9Py1ic\nKnrfDzdjTBDADwCsAjAfwBpjzPxxeHUawJcty5oP4IMAbs29904AL1qWNRvAi7n/n266HcDb6v/3\nAPi+ZVmzAHQBuHkc2rAWwLOWZc0FsDDXnnEbC2NME4AvAjjfsqwFAIIArsP4jMXDAFY6ro3U91Ww\nq7rNBvBZAD88jW14AcACy7LOAbATdmEm5NbpdQDOyv3m33P76HS1A8aYZgAfBbBfXT5dY3FqiPmm\n3q9/AJYBeE79/y4Ad70P7fgtgI8A2AGgIXetAcCO0/zeqbA3zyUAngZgYDtJlniNz2lqQxWAfcjp\nYNX1cRsLAE0ADgCogR3z/DSAy8ZrLACcAWDb8foO4EEAa7zuO9VtcHx3DYBf5v4u2CMAngOw7HSN\nRe7a47CZXiuAutM9Fqfi3/uO3JBf1KR3c9fGjYwxZwBYBGAjgMmWZR3KfXUYwMhJ5E8N/R/YNWAZ\neFkLoNuyLEYJj8d4TAfQDuD/5sTjnxhjYhjHsbAsqw3Ad2Ejg0MAegC8hvEfC9JIfX+/1utNAH7/\nfrTBGHMVgDbLst50fPW+793RqBgOt/eVjDHlAJ4A8D8sy+rV31k2Ozpt5mRjzBUAjlqW9drpescY\nqQTAYgA/tCxrEexQuAIRdBzGohrAVbAP2kYAMXiIR+8Hne6+H4+MMV+DrUb55fvw7jIAXwXwjfF+\n93ulYjjc2gA0q/9PzV077WSMCcE+2H5pWdaTuctHjDENue8bABw9jU1YDuCvjTGtANbBFk3XAogb\nY5ijaDzG410A71qWtTH3/8dhH3bjORYrAOyzLKvdsqwUgCdhj894jwVppL6P63o1xtwI4AoAN+QO\n2fFuw0zYDOfN3DqdCuB1Y8yUcW7HCVMxHG6bAMzOWcXCsBWlT53ulxpjDOzi0m9blvU99dVTAD6V\n+/tTsHVxp4Usy7rLsqyplmWdAbvff7Qs6wYA/wngb8ejDbl2HAZwwBgzJ3fpUgBvYRzHArY4+kFj\nTFlubtiGcR0LRSP1/SkAn8xZCj8IoEeJr6eUjDErYass/tqyrEFH264zxkSMMdNhK/RfPR1tsCxr\nq1bVDmsAAAD6SURBVGVZkyzLOiO3Tt8FsDi3ZsZtLE6K3m+lX44ZrYZtDdoD4Gvj9M4LYYsaWwC8\nkfu3GrbO60UAuwD8AUDNOLXnQwCezv09A/Zi3Q3g/wGIjMP7zwWwOTcevwFQPd5jAeB/A3gHwDYA\nvwAQGY+xAPAobD1fCvbmvXmkvsM2+Pwgt1a3wrbunq427Iat0+L6/JG6/2u5NuwAsOp0joXj+1bk\nDQqnZSxO1T8/QsEnn3yakFQMYqlPPvnk0ykn/3DzySefJiT5h5tPPvk0Ick/3HzyyacJSf7h5pNP\nPk1I8g83n3zyaUKSf7j55JNPE5L8w80nn3yakPT/AR2EnY/AcDWXAAAAAElFTkSuQmCC\n", "text/plain": [ "
" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "import numpy as np\n", "import cv2\n", "\n", "import numpy as np\n", "import cv2\n", "import matplotlib.pyplot as plt\n", "\n", "# read video\n", "\n", "import scipy.io\n", "movie = scipy.io.loadmat('escalator_data.mat')\n", "#frame0 = \n", "print(np.shape(movie['X'][:,0]))\n", "\n", "plt.imshow(movie['X'][:,0].reshape((160,130)).swapaxes(0, 1), cmap='gray')\n", "plt.show()" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "The idea of Robust PCA is to add a \"sparse\" component to the traditional PCA decomposition. Given a collection of images that we store as the columns of the matrix $X$, one then looks for a decomposition\n", " \n", "\\begin{align} \n", "\\boldsymbol X = \\boldsymbol Y + \\boldsymbol S\n", "\\end{align}\n", "\n", "Where $Y$ is a matrix which encode the original PCA model, and thus encodes the part of the images that remains approximately constant throughout the sequence, and $\\boldsymbol S$ is the sparse part (i.e a sequence of images that are varying through the sequence but only at a precise position in the images, that is to say with most of the pixels being zero). To recover each part one approach is to proceed as follows, see [Candes et al.](https://arxiv.org/pdf/0912.3599.pdf)\n", "\n", "We let $\\mu$ to denote the parameter that controls the amount of dara we want to store in the sparse foreground extraction part, $\\boldsymbol S$. The algorithm proceeds as follows\n", "\n", "\n", "__Initialize__ $Y$, $S$ to $0$\n", "\n", "__Step 1.__ Compute the truncated SVD of the matrix $X - S - \\mu^{-1}Y$, i.e. let $X - S - \\mu^{-1}Y = U\\Sigma V^T$. The truncated SVD is then obtained by replacing the diagonal matrix of singular values with the truncation \n", "$$ \n", "\\sigma \\leftarrow \\text{sign}(\\sigma)\\max(|\\sigma| - \\mu, 0) \n", "$$\n", "\n", "and store it in $L$, $L = SVD_{\\mu}(X - S - \\mu^{-1}Y)$ \n", "\n", "\n", "\n", "__Step 2.__ Apply the thresholding operator $f(x) = \\text{sign}(x)\\max(|x| - \\lambda \\mu, 0) $ with threshold $\\lambda\\mu$ to the entries of the matrix $X - L + \\mu^{-1}Y$\n", "\n", "__Step 3.__ Update the matrix $Y$ as $Y \\leftarrow Y + \\mu(X - L - S)$\n", "\n", "\n", "A good approach to initialize the parameters is to take $lambda = 1/\\max(m,n)$ where $\\max(m,n)$ is the max number of rows or columns of the data matrix. We can then set $\\mu = 0.25*(m*n)/(\\sum_{i,j}|X_ij|)$. One can then terminate the algorithm when $\\|X-L-S\\|_F \\leq \\delta \\|X\\|_F$ where $\\|X\\|_F$ is the Frobenius norm of the matrix and $\\delta$ can be taken for example as $10^{-7}$. \n", "\n", "\n", "Additional indications: if computing the full SVD from linalg is too expensive, you can replace it with the fast randomized PCA from facebook (see [fbpca](https://fbpca.readthedocs.io/en/latest/)) or a sparse SVD.\n" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "#### Exercise 3.1. (8pts) Complete the code below which separates the sparse part from the PCA decomposition" ] }, { "cell_type": "code", "execution_count": null, "metadata": { "collapsed": true }, "outputs": [], "source": [ "import numpy as np \n", "from __future__ import division\n", "from scipy.sparse.linalg import svds\n", "\n", "\n", "\n", "\n", "def robustPCA(X, delta=1e-6, mu=None, maxiter=500):\n", "\n", " '''\n", " The function should return a PCA like part stored in 'L' with only a few singular values \n", " that are non zero and a sparse sequence 'S' in which the images are black except w very \n", " limited number of pixels\n", " '''\n", " \n", " \n", " # Initialize the tuning parameters.\n", " lam = # put your value for lambda\n", " if mu is None:\n", " \n", " # complete with your value for mu\n", " \n", " # Convergence criterion.\n", " norm = np.sum(X ** 2)\n", "\n", " # Iterate.\n", " i = 0\n", " rank = np.min(shape)\n", " S = np.zeros(shape)\n", " Y = np.zeros(shape)\n", " while i < max(maxiter, 1):\n", " \n", " \n", " # Step 1. Compute and truncate the SVD\n", " \n", " \n", "\n", " # Step 2. Truncate the entries of X - L + mu^(-1)Y \n", " \n", "\n", " # Step 3. Update the matrix Y\n", " \n", " \n", "\n", " # Convergence criterion\n", " err = np.sqrt(np.sum(step ** 2) / norm)\n", " if err < delta:\n", " break\n", " i += 1\n", "\n", " if i >= maxiter:\n", " break\n", " \n", " return L, S\n" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "#### Exercise 3.2. (2pts) Apply your function to the escalator sequence and display the result on at least one frame. Use subplot to display the extracted background and its corresponding foreground side by side. " ] }, { "cell_type": "code", "execution_count": null, "metadata": { "collapsed": true }, "outputs": [], "source": [ "# put your code here" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "## Exercise 4 (5pts) Manifold Learning\n", "\n", "Download [Columbia University COIL-20 Image Library](http://www.cs.columbia.edu/CAVE/software/softlib/coil-20.php). In this last exercise, you will get to apply some of the methods that were covered in the last part of the course. \n", "\n", "\n", "#### Exercise 4.1. (3pts) Extracting the motion\n", "\n", "Pick up any image of your choice (some images might be easier than others) and load the whole sequence corresponding to the rotation of the object you chose. Then use one of the manifold learning methods that were covered in class and implement it to get a low dimensional representation of the motion. If you put yourself in the position of the viewer and not the object, you can think of each image as a frame captured by a moving robot whose trajectory you want to track.\n", "\n", "What is the motion in this case? How many dimensions do you think you would need to capture that motion? Can your Manifold learning approach recover that motion?\n", "\n", "\n", "#### Exercise 4.2. (2pt) Predicting the orientation.\n", "\n", "Repeat the steps that you followed in 4.1 but now split the sequence into a size $N-1$ training set and a size $1$ validation set. Assign angles to the images in the training set based on how each image looks to you. Then use your manifold learning algorithm to recover the angle of the validation frame. " ] }, { "cell_type": "code", "execution_count": 146, "metadata": { "collapsed": true }, "outputs": [], "source": [ "import cv2\n", "from skimage.color import rgb2gray\n", "\n", "# Checking size. Here we take the first 71 images (the Duck sequence) \n", "\n", "s1 = \"coil-20-proc/obj1__%d.png\" %i\n", "im = cv2.imread(s1)\n", "\n", "sz = np.shape(im)\n", "Sequence = np.zeros((sz[0]*sz[1], 71))\n", "\n", "for i in range(0,71):\n", " \n", " s1 = \"coil-20-proc/obj1__%d.png\" %i\n", " im = rgb2gray(cv2.imread(s1))\n", " Sequence[:,i] = im.flatten()\n", " \n", " \n" ] } ], "metadata": { "kernelspec": { "display_name": "Python 2", "language": "python", "name": "python2" }, "language_info": { "codemirror_mode": { "name": "ipython", "version": 2 }, "file_extension": ".py", "mimetype": "text/x-python", "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython2", "version": "2.7.13" } }, "nbformat": 4, "nbformat_minor": 2 }