From c7b9cc36c11c7290af8ccde2a0a7a806427db40d Mon Sep 17 00:00:00 2001 From: mhjensen Date: Sat, 10 Oct 2020 21:31:35 +0200 Subject: [PATCH] added dotfiles --- doc/pub/week42/html/._week42-bs000.html | 232 +++++++++++++++++++++ doc/pub/week42/html/._week42-bs001.html | 216 ++++++++++++++++++++ doc/pub/week42/html/._week42-bs002.html | 243 ++++++++++++++++++++++ doc/pub/week42/html/._week42-bs003.html | 233 +++++++++++++++++++++ doc/pub/week42/html/._week42-bs004.html | 246 ++++++++++++++++++++++ doc/pub/week42/html/._week42-bs005.html | 230 +++++++++++++++++++++ doc/pub/week42/html/._week42-bs006.html | 227 +++++++++++++++++++++ doc/pub/week42/html/._week42-bs007.html | 230 +++++++++++++++++++++ doc/pub/week42/html/._week42-bs008.html | 226 ++++++++++++++++++++ doc/pub/week42/html/._week42-bs009.html | 223 ++++++++++++++++++++ doc/pub/week42/html/._week42-bs010.html | 230 +++++++++++++++++++++ doc/pub/week42/html/._week42-bs011.html | 230 +++++++++++++++++++++ doc/pub/week42/html/._week42-bs012.html | 234 +++++++++++++++++++++ doc/pub/week42/html/._week42-bs013.html | 227 +++++++++++++++++++++ doc/pub/week42/html/._week42-bs014.html | 260 ++++++++++++++++++++++++ doc/pub/week42/html/._week42-bs015.html | 240 ++++++++++++++++++++++ doc/pub/week42/html/._week42-bs016.html | 244 ++++++++++++++++++++++ doc/pub/week42/html/._week42-bs017.html | 233 +++++++++++++++++++++ doc/pub/week42/html/._week42-bs018.html | 246 ++++++++++++++++++++++ doc/pub/week42/html/._week42-bs019.html | 231 +++++++++++++++++++++ doc/pub/week42/html/._week42-bs020.html | 223 ++++++++++++++++++++ doc/pub/week42/html/._week42-bs021.html | 220 ++++++++++++++++++++ doc/pub/week42/html/._week42-bs022.html | 211 +++++++++++++++++++ doc/pub/week42/html/._week42-bs023.html | 234 +++++++++++++++++++++ doc/pub/week42/html/._week42-bs024.html | 206 +++++++++++++++++++ doc/pub/week42/html/figslides/cnn.jpeg | Bin 0 -> 24437 bytes doc/pub/week42/html/figslides/nn.jpeg | Bin 0 -> 68873 bytes 27 files changed, 5775 insertions(+) create mode 100644 doc/pub/week42/html/._week42-bs000.html create mode 100644 doc/pub/week42/html/._week42-bs001.html create mode 100644 doc/pub/week42/html/._week42-bs002.html create mode 100644 doc/pub/week42/html/._week42-bs003.html create mode 100644 doc/pub/week42/html/._week42-bs004.html create mode 100644 doc/pub/week42/html/._week42-bs005.html create mode 100644 doc/pub/week42/html/._week42-bs006.html create mode 100644 doc/pub/week42/html/._week42-bs007.html create mode 100644 doc/pub/week42/html/._week42-bs008.html create mode 100644 doc/pub/week42/html/._week42-bs009.html create mode 100644 doc/pub/week42/html/._week42-bs010.html create mode 100644 doc/pub/week42/html/._week42-bs011.html create mode 100644 doc/pub/week42/html/._week42-bs012.html create mode 100644 doc/pub/week42/html/._week42-bs013.html create mode 100644 doc/pub/week42/html/._week42-bs014.html create mode 100644 doc/pub/week42/html/._week42-bs015.html create mode 100644 doc/pub/week42/html/._week42-bs016.html create mode 100644 doc/pub/week42/html/._week42-bs017.html create mode 100644 doc/pub/week42/html/._week42-bs018.html create mode 100644 doc/pub/week42/html/._week42-bs019.html create mode 100644 doc/pub/week42/html/._week42-bs020.html create mode 100644 doc/pub/week42/html/._week42-bs021.html create mode 100644 doc/pub/week42/html/._week42-bs022.html create mode 100644 doc/pub/week42/html/._week42-bs023.html create mode 100644 doc/pub/week42/html/._week42-bs024.html create mode 100644 doc/pub/week42/html/figslides/cnn.jpeg create mode 100644 doc/pub/week42/html/figslides/nn.jpeg diff --git a/doc/pub/week42/html/._week42-bs000.html b/doc/pub/week42/html/._week42-bs000.html new file mode 100644 index 000000000..d64a83fdf --- /dev/null +++ b/doc/pub/week42/html/._week42-bs000.html @@ -0,0 +1,232 @@ + + + + + + + + +Week 42 Convolutional and Recurrent Neural Networks and Autoencoders + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ +

 

 

 

+ + + + + + +
+

Week 42 Convolutional and Recurrent Neural Networks and Autoencoders

+ +

+ + +

+Morten Hjorth-Jensen [1, 2] +
+ +

+ + +

[1] Department of Physics, University of Oslo
+
[2] Department of Physics and Astronomy and National Superconducting Cyclotron Laboratory, Michigan State University
+
+

+

Oct 10, 2020

+
+

+ + +

Read »

+ + +
+ +

+ +

+ + +
+ + + + + + + +
+ © 1999-2020, Morten Hjorth-Jensen. Released under CC Attribution-NonCommercial 4.0 license +
+ + + + + + diff --git a/doc/pub/week42/html/._week42-bs001.html b/doc/pub/week42/html/._week42-bs001.html new file mode 100644 index 000000000..dc04b8da5 --- /dev/null +++ b/doc/pub/week42/html/._week42-bs001.html @@ -0,0 +1,216 @@ + + + + + + + + +Week 42 Convolutional and Recurrent Neural Networks and Autoencoders + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ +

 

 

 

+ + + + +

Plan for week 42

+ + + +Reading suggestions for both days: Aurelien Geron's chapters 13 and 14. Autoencoders are discussed in chapter 15 of Geron's text. + +

+

+ +

+ + +
+ + + + + + + +
+ +
+ + + + + + diff --git a/doc/pub/week42/html/._week42-bs002.html b/doc/pub/week42/html/._week42-bs002.html new file mode 100644 index 000000000..f43b213b6 --- /dev/null +++ b/doc/pub/week42/html/._week42-bs002.html @@ -0,0 +1,243 @@ + + + + + + + + +Week 42 Convolutional and Recurrent Neural Networks and Autoencoders + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ +

 

 

 

+ + + + +

Convolutional Neural Networks (recognizing images)

+ +

+Convolutional neural networks (CNNs) were developed during the last +decade of the previous century, with a focus on character recognition +tasks. Nowadays, CNNs are a central element in the spectacular success +of deep learning methods. The success in for example image +classifications have made them a central tool for most machine +learning practitioners. + +

+CNNs are very similar to ordinary Neural Networks. +They are made up of neurons that have learnable weights and +biases. Each neuron receives some inputs, performs a dot product and +optionally follows it with a non-linearity. The whole network still +expresses a single differentiable score function: from the raw image +pixels on one end to class scores at the other. And they still have a +loss function (for example Softmax) on the last (fully-connected) layer +and all the tips/tricks we developed for learning regular Neural +Networks still apply (back propagation, gradient descent etc etc). + +

+What is the difference? CNN architectures make the explicit assumption that +the inputs are images, which allows us to encode certain properties +into the architecture. These then make the forward function more +efficient to implement and vastly reduce the amount of parameters in +the network. + +

+Here we provide only a superficial overview, for the more interested, we recommend highly the course +IN5400 – Machine Learning for Image Analysis +and the slides of CS231. + +

+Another good read is the article here https://arxiv.org/pdf/1603.07285.pdf. + +

+

+ +

+ + +
+ + + + + + + +
+ +
+ + + + + + diff --git a/doc/pub/week42/html/._week42-bs003.html b/doc/pub/week42/html/._week42-bs003.html new file mode 100644 index 000000000..dd248b28f --- /dev/null +++ b/doc/pub/week42/html/._week42-bs003.html @@ -0,0 +1,233 @@ + + + + + + + + +Week 42 Convolutional and Recurrent Neural Networks and Autoencoders + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ +

 

 

 

+ + + + +

Regular NNs don’t scale well to full images

+ +

+As an example, consider +an image of size \( 32\times 32\times 3 \) (32 wide, 32 high, 3 color channels), so a +single fully-connected neuron in a first hidden layer of a regular +Neural Network would have \( 32\times 32\times 3 = 3072 \) weights. This amount still +seems manageable, but clearly this fully-connected structure does not +scale to larger images. For example, an image of more respectable +size, say \( 200\times 200\times 3 \), would lead to neurons that have +\( 200\times 200\times 3 = 120,000 \) weights. + +

+We could have +several such neurons, and the parameters would add up quickly! Clearly, +this full connectivity is wasteful and the huge number of parameters +would quickly lead to possible overfitting. + +

+

+
+

Figure 1: A regular 3-layer Neural Network.

+

+
+ +

+

+ +

+ + +
+ + + + + + + +
+ +
+ + + + + + diff --git a/doc/pub/week42/html/._week42-bs004.html b/doc/pub/week42/html/._week42-bs004.html new file mode 100644 index 000000000..8b147aca6 --- /dev/null +++ b/doc/pub/week42/html/._week42-bs004.html @@ -0,0 +1,246 @@ + + + + + + + + +Week 42 Convolutional and Recurrent Neural Networks and Autoencoders + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ +

 

 

 

+ + + + +

3D volumes of neurons

+ +

+Convolutional Neural Networks take advantage of the fact that the +input consists of images and they constrain the architecture in a more +sensible way. + +

+In particular, unlike a regular Neural Network, the +layers of a CNN have neurons arranged in 3 dimensions: width, +height, depth. (Note that the word depth here refers to the third +dimension of an activation volume, not to the depth of a full Neural +Network, which can refer to the total number of layers in a network.) + +

+To understand it better, the above example of an image +with an input volume of +activations has dimensions \( 32\times 32\times 3 \) (width, height, +depth respectively). + +

+The neurons in a layer will +only be connected to a small region of the layer before it, instead of +all of the neurons in a fully-connected manner. Moreover, the final +output layer could for this specific image have dimensions \( 1\times 1 \times 10 \), +because by the +end of the CNN architecture we will reduce the full image into a +single vector of class scores, arranged along the depth +dimension. + +

+

+
+

Figure 2: A CNN arranges its neurons in three dimensions (width, height, depth), as visualized in one of the layers. Every layer of a CNN transforms the 3D input volume to a 3D output volume of neuron activations. In this example, the red input layer holds the image, so its width and height would be the dimensions of the image, and the depth would be 3 (Red, Green, Blue channels).

+

+
+ +

+

+ +

+ + +
+ + + + + + + +
+ +
+ + + + + + diff --git a/doc/pub/week42/html/._week42-bs005.html b/doc/pub/week42/html/._week42-bs005.html new file mode 100644 index 000000000..a5c18c74a --- /dev/null +++ b/doc/pub/week42/html/._week42-bs005.html @@ -0,0 +1,230 @@ + + + + + + + + +Week 42 Convolutional and Recurrent Neural Networks and Autoencoders + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ +

 

 

 

+ + + + +

Layers used to build CNNs

+ +

+A simple CNN is a sequence of layers, and every layer of a CNN +transforms one volume of activations to another through a +differentiable function. We use three main types of layers to build +CNN architectures: Convolutional Layer, Pooling Layer, and +Fully-Connected Layer (exactly as seen in regular Neural Networks). We +will stack these layers to form a full CNN architecture. + +

+A simple CNN for image classification could have the architecture: + +

+ +

+ +

+ + +
+ + + + + + + +
+ +
+ + + + + + diff --git a/doc/pub/week42/html/._week42-bs006.html b/doc/pub/week42/html/._week42-bs006.html new file mode 100644 index 000000000..18f9a7a61 --- /dev/null +++ b/doc/pub/week42/html/._week42-bs006.html @@ -0,0 +1,227 @@ + + + + + + + + +Week 42 Convolutional and Recurrent Neural Networks and Autoencoders + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ +

 

 

 

+ + + + +

Transforming images

+ +

+CNNs transform the original image layer by layer from the original +pixel values to the final class scores. + +

+Observe that some layers contain +parameters and other don’t. In particular, the CNN layers perform +transformations that are a function of not only the activations in the +input volume, but also of the parameters (the weights and biases of +the neurons). On the other hand, the RELU/POOL layers will implement a +fixed function. The parameters in the CONV/FC layers will be trained +with gradient descent so that the class scores that the CNN computes +are consistent with the labels in the training set for each image. + +

+

+ +

+ + +
+ + + + + + + +
+ +
+ + + + + + diff --git a/doc/pub/week42/html/._week42-bs007.html b/doc/pub/week42/html/._week42-bs007.html new file mode 100644 index 000000000..8d0486581 --- /dev/null +++ b/doc/pub/week42/html/._week42-bs007.html @@ -0,0 +1,230 @@ + + + + + + + + +Week 42 Convolutional and Recurrent Neural Networks and Autoencoders + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ +

 

 

 

+ + + + +

CNNs in brief

+ +

+In summary: + +

+ +For more material on convolutional networks, we strongly recommend +the course +IN5400 – Machine Learning for Image Analysis +and the slides of CS231 which is taught at Stanford University (consistently ranked as one of the top computer science programs in the world). Michael Nielsen's book is a must read, in particular chapter 6 which deals with CNNs. + +

+

+ +

+ + +
+ + + + + + + +
+ +
+ + + + + + diff --git a/doc/pub/week42/html/._week42-bs008.html b/doc/pub/week42/html/._week42-bs008.html new file mode 100644 index 000000000..41b6bf554 --- /dev/null +++ b/doc/pub/week42/html/._week42-bs008.html @@ -0,0 +1,226 @@ + + + + + + + + +Week 42 Convolutional and Recurrent Neural Networks and Autoencoders + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ +

 

 

 

+ + + + +

CNNs in more detail, building convolutional neural networks in Tensorflow and Keras

+ +

+As discussed above, CNNs are neural networks built from the assumption that the inputs +to the network are 2D images. This is important because the number of features or pixels in images +grows very fast with the image size, and an enormous number of weights and biases are needed in order to build an accurate network. + +

+As before, we still have our input, a hidden layer and an output. What's novel about convolutional networks +are the convolutional and pooling layers stacked in pairs between the input and the hidden layer. +In addition, the data is no longer represented as a 2D feature matrix, instead each input is a number of 2D +matrices, typically 1 for each color dimension (Red, Green, Blue). + +

+

+ +

+ + +
+ + + + + + + +
+ +
+ + + + + + diff --git a/doc/pub/week42/html/._week42-bs009.html b/doc/pub/week42/html/._week42-bs009.html new file mode 100644 index 000000000..a81390f5d --- /dev/null +++ b/doc/pub/week42/html/._week42-bs009.html @@ -0,0 +1,223 @@ + + + + + + + + +Week 42 Convolutional and Recurrent Neural Networks and Autoencoders + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ +

 

 

 

+ + + + +

Setting it up

+ +

+It means that to represent the entire +dataset of images, we require a 4D matrix or tensor. This tensor has the dimensions: +$$ +(n_{inputs},\, n_{pixels, width},\, n_{pixels, height},\, depth) . +$$ + +

+

+ +

+ + +
+ + + + + + + +
+ +
+ + + + + + diff --git a/doc/pub/week42/html/._week42-bs010.html b/doc/pub/week42/html/._week42-bs010.html new file mode 100644 index 000000000..e06a1db4a --- /dev/null +++ b/doc/pub/week42/html/._week42-bs010.html @@ -0,0 +1,230 @@ + + + + + + + + +Week 42 Convolutional and Recurrent Neural Networks and Autoencoders + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ +

 

 

 

+ + + + +

The MNIST dataset again

+ +

+The MNIST dataset consists of grayscale images with a pixel size of +\( 28\times 28 \), meaning we require \( 28 \times 28 = 724 \) weights to each +neuron in the first hidden layer. + +

+If we were to analyze images of size \( 128\times 128 \) we would require +\( 128 \times 128 = 16384 \) weights to each neuron. Even worse if we were +dealing with color images, as most images are, we have an image matrix +of size \( 128\times 128 \) for each color dimension (Red, Green, Blue), +meaning 3 times the number of weights \( = 49152 \) are required for every +single neuron in the first hidden layer. + +

+

+ +

+ + +
+ + + + + + + +
+ +
+ + + + + + diff --git a/doc/pub/week42/html/._week42-bs011.html b/doc/pub/week42/html/._week42-bs011.html new file mode 100644 index 000000000..f3c6f94db --- /dev/null +++ b/doc/pub/week42/html/._week42-bs011.html @@ -0,0 +1,230 @@ + + + + + + + + +Week 42 Convolutional and Recurrent Neural Networks and Autoencoders + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ +

 

 

 

+ + + + +

Strong correlations

+ +

+Images typically have strong local correlations, meaning that a small +part of the image varies little from its neighboring regions. If for +example we have an image of a blue car, we can roughly assume that a +small blue part of the image is surrounded by other blue regions. + +

+Therefore, instead of connecting every single pixel to a neuron in the +first hidden layer, as we have previously done with deep neural +networks, we can instead connect each neuron to a small part of the +image (in all 3 RGB depth dimensions). The size of each small area is +fixed, and known as a receptive. + +

+

+ +

+ + +
+ + + + + + + +
+ +
+ + + + + + diff --git a/doc/pub/week42/html/._week42-bs012.html b/doc/pub/week42/html/._week42-bs012.html new file mode 100644 index 000000000..27b1e5896 --- /dev/null +++ b/doc/pub/week42/html/._week42-bs012.html @@ -0,0 +1,234 @@ + + + + + + + + +Week 42 Convolutional and Recurrent Neural Networks and Autoencoders + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ +

 

 

 

+ + + + +

Layers of a CNN

+The layers of a convolutional neural network arrange neurons in 3D: width, height and depth. +The input image is typically a square matrix of depth 3. + +

+A convolution is performed on the image which outputs +a 3D volume of neurons. The weights to the input are arranged in a number of 2D matrices, known as filters. + +

+Each filter slides along the input image, taking the dot product +between each small part of the image and the filter, in all depth +dimensions. This is then passed through a non-linear function, +typically the Rectified Linear (ReLu) function, which serves as the +activation of the neurons in the first convolutional layer. This is +further passed through a pooling layer, which reduces the size of the +convolutional layer, e.g. by taking the maximum or average across some +small regions, and this serves as input to the next convolutional +layer. + +

+

+ +

+ + +
+ + + + + + + +
+ +
+ + + + + + diff --git a/doc/pub/week42/html/._week42-bs013.html b/doc/pub/week42/html/._week42-bs013.html new file mode 100644 index 000000000..0d3ae6d16 --- /dev/null +++ b/doc/pub/week42/html/._week42-bs013.html @@ -0,0 +1,227 @@ + + + + + + + + +Week 42 Convolutional and Recurrent Neural Networks and Autoencoders + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ +

 

 

 

+ + + + +

Systematic reduction

+ +

+By systematically reducing the size of the input volume, through +convolution and pooling, the network should create representations of +small parts of the input, and then from them assemble representations +of larger areas. The final pooling layer is flattened to serve as +input to a hidden layer, such that each neuron in the final pooling +layer is connected to every single neuron in the hidden layer. This +then serves as input to the output layer, e.g. a softmax output for +classification. + +

+

+ +

+ + +
+ + + + + + + +
+ +
+ + + + + + diff --git a/doc/pub/week42/html/._week42-bs014.html b/doc/pub/week42/html/._week42-bs014.html new file mode 100644 index 000000000..061a34475 --- /dev/null +++ b/doc/pub/week42/html/._week42-bs014.html @@ -0,0 +1,260 @@ + + + + + + + + +Week 42 Convolutional and Recurrent Neural Networks and Autoencoders + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ +

 

 

 

+ + + + +

Prerequisites: Collect and pre-process data

+

+ + +

# import necessary packages
+import numpy as np
+import matplotlib.pyplot as plt
+from sklearn import datasets
+
+
+# ensure the same random numbers appear every time
+np.random.seed(0)
+
+# display images in notebook
+%matplotlib inline
+plt.rcParams['figure.figsize'] = (12,12)
+
+
+# download MNIST dataset
+digits = datasets.load_digits()
+
+# define inputs and labels
+inputs = digits.images
+labels = digits.target
+
+# RGB images have a depth of 3
+# our images are grayscale so they should have a depth of 1
+inputs = inputs[:,:,:,np.newaxis]
+
+print("inputs = (n_inputs, pixel_width, pixel_height, depth) = " + str(inputs.shape))
+print("labels = (n_inputs) = " + str(labels.shape))
+
+
+# choose some random images to display
+n_inputs = len(inputs)
+indices = np.arange(n_inputs)
+random_indices = np.random.choice(indices, size=5)
+
+for i, image in enumerate(digits.images[random_indices]):
+    plt.subplot(1, 5, i+1)
+    plt.axis('off')
+    plt.imshow(image, cmap=plt.cm.gray_r, interpolation='nearest')
+    plt.title("Label: %d" % digits.target[random_indices[i]])
+plt.show()
+
+

+

+ +

+ + +
+ + + + + + + +
+ +
+ + + + + + diff --git a/doc/pub/week42/html/._week42-bs015.html b/doc/pub/week42/html/._week42-bs015.html new file mode 100644 index 000000000..d7c8d9943 --- /dev/null +++ b/doc/pub/week42/html/._week42-bs015.html @@ -0,0 +1,240 @@ + + + + + + + + +Week 42 Convolutional and Recurrent Neural Networks and Autoencoders + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ +

 

 

 

+ + + + +

Importing Keras and Tensorflow

+

+ + +

from tensorflow.keras import datasets, layers, models
+from tensorflow.keras.layers import Input
+from tensorflow.keras.models import Sequential      #This allows appending layers to existing models
+from tensorflow.keras.layers import Dense           #This allows defining the characteristics of a particular layer
+from tensorflow.keras import optimizers             #This allows using whichever optimiser we want (sgd,adam,RMSprop)
+from tensorflow.keras import regularizers           #This allows using whichever regularizer we want (l1,l2,l1_l2)
+from tensorflow.keras.utils import to_categorical   #This allows using categorical cross entropy as the cost function
+#from tensorflow.keras import Conv2D
+#from tensorflow.keras import MaxPooling2D
+#from tensorflow.keras import Flatten
+
+from sklearn.model_selection import train_test_split
+
+# representation of labels
+labels = to_categorical(labels)
+
+# split into train and test data
+# one-liner from scikit-learn library
+train_size = 0.8
+test_size = 1 - train_size
+X_train, X_test, Y_train, Y_test = train_test_split(inputs, labels, train_size=train_size,
+                                                    test_size=test_size)
+
+

+

+ +

+ + +
+ + + + + + + +
+ +
+ + + + + + diff --git a/doc/pub/week42/html/._week42-bs016.html b/doc/pub/week42/html/._week42-bs016.html new file mode 100644 index 000000000..dfec01b28 --- /dev/null +++ b/doc/pub/week42/html/._week42-bs016.html @@ -0,0 +1,244 @@ + + + + + + + + +Week 42 Convolutional and Recurrent Neural Networks and Autoencoders + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ +

 

 

 

+ + + + +

Running with Keras

+ +

+ + +

def create_convolutional_neural_network_keras(input_shape, receptive_field,
+                                              n_filters, n_neurons_connected, n_categories,
+                                              eta, lmbd):
+    model = Sequential()
+    model.add(layers.Conv2D(n_filters, (receptive_field, receptive_field), input_shape=input_shape, padding='same',
+              activation='relu', kernel_regularizer=regularizers.l2(lmbd)))
+    model.add(layers.MaxPooling2D(pool_size=(2, 2)))
+    model.add(layers.Flatten())
+    model.add(layers.Dense(n_neurons_connected, activation='relu', kernel_regularizer=regularizers.l2(lmbd)))
+    model.add(layers.Dense(n_categories, activation='softmax', kernel_regularizer=regularizers.l2(lmbd)))
+    
+    sgd = optimizers.SGD(lr=eta)
+    model.compile(loss='categorical_crossentropy', optimizer=sgd, metrics=['accuracy'])
+    
+    return model
+
+epochs = 100
+batch_size = 100
+input_shape = X_train.shape[1:4]
+receptive_field = 3
+n_filters = 10
+n_neurons_connected = 50
+n_categories = 10
+
+eta_vals = np.logspace(-5, 1, 7)
+lmbd_vals = np.logspace(-5, 1, 7)
+
+

+

+ +

+ + +
+ + + + + + + +
+ +
+ + + + + + diff --git a/doc/pub/week42/html/._week42-bs017.html b/doc/pub/week42/html/._week42-bs017.html new file mode 100644 index 000000000..b0a93025f --- /dev/null +++ b/doc/pub/week42/html/._week42-bs017.html @@ -0,0 +1,233 @@ + + + + + + + + +Week 42 Convolutional and Recurrent Neural Networks and Autoencoders + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ +

 

 

 

+ + + + +

Final part

+ +

+ + +

CNN_keras = np.zeros((len(eta_vals), len(lmbd_vals)), dtype=object)
+        
+for i, eta in enumerate(eta_vals):
+    for j, lmbd in enumerate(lmbd_vals):
+        CNN = create_convolutional_neural_network_keras(input_shape, receptive_field,
+                                              n_filters, n_neurons_connected, n_categories,
+                                              eta, lmbd)
+        CNN.fit(X_train, Y_train, epochs=epochs, batch_size=batch_size, verbose=0)
+        scores = CNN.evaluate(X_test, Y_test)
+        
+        CNN_keras[i][j] = CNN
+        
+        print("Learning rate = ", eta)
+        print("Lambda = ", lmbd)
+        print("Test accuracy: %.3f" % scores[1])
+        print()
+
+

+

+ +

+ + +
+ + + + + + + +
+ +
+ + + + + + diff --git a/doc/pub/week42/html/._week42-bs018.html b/doc/pub/week42/html/._week42-bs018.html new file mode 100644 index 000000000..fd562927a --- /dev/null +++ b/doc/pub/week42/html/._week42-bs018.html @@ -0,0 +1,246 @@ + + + + + + + + +Week 42 Convolutional and Recurrent Neural Networks and Autoencoders + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ +

 

 

 

+ + + + +

Final visualization

+ +

+ + +

# visual representation of grid search
+# uses seaborn heatmap, could probably do this in matplotlib
+import seaborn as sns
+
+sns.set()
+
+train_accuracy = np.zeros((len(eta_vals), len(lmbd_vals)))
+test_accuracy = np.zeros((len(eta_vals), len(lmbd_vals)))
+
+for i in range(len(eta_vals)):
+    for j in range(len(lmbd_vals)):
+        CNN = CNN_keras[i][j]
+
+        train_accuracy[i][j] = CNN.evaluate(X_train, Y_train)[1]
+        test_accuracy[i][j] = CNN.evaluate(X_test, Y_test)[1]
+
+        
+fig, ax = plt.subplots(figsize = (10, 10))
+sns.heatmap(train_accuracy, annot=True, ax=ax, cmap="viridis")
+ax.set_title("Training Accuracy")
+ax.set_ylabel("$\eta$")
+ax.set_xlabel("$\lambda$")
+plt.show()
+
+fig, ax = plt.subplots(figsize = (10, 10))
+sns.heatmap(test_accuracy, annot=True, ax=ax, cmap="viridis")
+ax.set_title("Test Accuracy")
+ax.set_ylabel("$\eta$")
+ax.set_xlabel("$\lambda$")
+plt.show()
+
+

+

+ +

+ + +
+ + + + + + + +
+ +
+ + + + + + diff --git a/doc/pub/week42/html/._week42-bs019.html b/doc/pub/week42/html/._week42-bs019.html new file mode 100644 index 000000000..8fdfb544c --- /dev/null +++ b/doc/pub/week42/html/._week42-bs019.html @@ -0,0 +1,231 @@ + + + + + + + + +Week 42 Convolutional and Recurrent Neural Networks and Autoencoders + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ +

 

 

 

+ + + + +

Recurrent neural networks: Overarching view

+ +

+Till now our focus has been, including convolutional neural networks +as well, on feedforward neural networks. The output or the activations +flow only in one direction, from the input layer to the output layer. + +

+A recurrent neural network (RNN) looks very much like a feedforward +neural network, except that it also has connections pointing +backward. + +

+RNNs are used to analyze time series data such as stock prices, and +tell you when to buy or sell. In autonomous driving systems, they can +anticipate car trajectories and help avoid accidents. More generally, +they can work on sequences of arbitrary lengths, rather than on +fixed-sized inputs like all the nets we have discussed so far. For +example, they can take sentences, documents, or audio samples as +input, making them extremely useful for natural language processing +systems such as automatic translation and speech-to-text. + +

+

+ +

+ + +
+ + + + + + + +
+ +
+ + + + + + diff --git a/doc/pub/week42/html/._week42-bs020.html b/doc/pub/week42/html/._week42-bs020.html new file mode 100644 index 000000000..ed1225536 --- /dev/null +++ b/doc/pub/week42/html/._week42-bs020.html @@ -0,0 +1,223 @@ + + + + + + + + +Week 42 Convolutional and Recurrent Neural Networks and Autoencoders + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ +

 

 

 

+ + + + +

Set up of an RNN

+ +

+The figure here displays a simple example of an RNN, with inputs \( x_t \) +at a given time \( t \) and outputs \( y_t \). Introducing time as a variable +offers an intutitive way of understanding these networks. In addition +to the inputs \( x_t \), the layer at a time \( t \) receives also as input +the output from the previous layer \( t-1 \), that is \( y_{t1} \). + +

+This means also that we need to have weights that link both the inputs +\( x_t \) to the outputs \( y_t \) as well as weights that link the output +from the previous time \( y_{t-1} \) and \( y_t \). The figure here shows an +example of a simple RNN. + +

+

+ +

+ + +
+ + + + + + + +
+ +
+ + + + + + diff --git a/doc/pub/week42/html/._week42-bs021.html b/doc/pub/week42/html/._week42-bs021.html new file mode 100644 index 000000000..d66827982 --- /dev/null +++ b/doc/pub/week42/html/._week42-bs021.html @@ -0,0 +1,220 @@ + + + + + + + + +Week 42 Convolutional and Recurrent Neural Networks and Autoencoders + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ +

 

 

 

+ + + + +

Solving differential equations and eigenvalue problems with RNNs

+ +

+In our discussions of ordinary differential equations and partial +differential equations using neural networks. Here we will discuss how +we can solve say ordinary differential equations and eigenvalue +problems using RNNs. Eigenvalue problems can be solved using RNNs by +rewriting such a problems as a non-linear differential equation. + +

+Instead of starting with a well-known ordinary differential equation, +we start directly with an eigenvaule problem. + +

+

+ +

+ + +
+ + + + + + + +
+ +
+ + + + + + diff --git a/doc/pub/week42/html/._week42-bs022.html b/doc/pub/week42/html/._week42-bs022.html new file mode 100644 index 000000000..b9642e0f8 --- /dev/null +++ b/doc/pub/week42/html/._week42-bs022.html @@ -0,0 +1,211 @@ + + + + + + + + +Week 42 Convolutional and Recurrent Neural Networks and Autoencoders + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ +

 

 

 

+ + + + +

Long-Short Time Memory

+ +

+Discussions about dynamic unrolling through time. discuss memory cells, input and output + +

+

+ +

+ + +
+ + + + + + + +
+ +
+ + + + + + diff --git a/doc/pub/week42/html/._week42-bs023.html b/doc/pub/week42/html/._week42-bs023.html new file mode 100644 index 000000000..589adfa06 --- /dev/null +++ b/doc/pub/week42/html/._week42-bs023.html @@ -0,0 +1,234 @@ + + + + + + + + +Week 42 Convolutional and Recurrent Neural Networks and Autoencoders + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ +

 

 

 

+ + + + +

Autoencoders: Overarching view

+ +

+Autoencoders are artificial neural networks capable of learning +efficient representations of the input data (these representations are called codings) without +any supervision (i.e., the training set is unlabeled). These codings +typically have a much lower dimensionality than the input data, making +autoencoders useful for dimensionality reduction. + +

+More importantly, autoencoders act as powerful feature detectors, and +they can be used for unsupervised pretraining of deep neural networks. + +

+Lastly, they are capable of randomly generating new data that looks +very similar to the training data; this is called a generative +model. For example, you could train an autoencoder on pictures of +faces, and it would then be able to generate new faces. Surprisingly, +autoencoders work by simply learning to copy their inputs to their +outputs. This may sound like a trivial task, but we will see that +constraining the network in various ways can make it rather +difficult. For example, you can limit the size of the internal +representation, or you can add noise to the inputs and train the +network to recover the original inputs. These constraints prevent the +autoencoder from trivially copying the inputs directly to the outputs, +which forces it to learn efficient ways of representing the data. In +short, the codings are byproducts of the autoencoder’s attempt to +learn the identity function under some constraints. + +

+

+ +

+ + +
+ + + + + + + +
+ +
+ + + + + + diff --git a/doc/pub/week42/html/._week42-bs024.html b/doc/pub/week42/html/._week42-bs024.html new file mode 100644 index 000000000..e4e5ca22e --- /dev/null +++ b/doc/pub/week42/html/._week42-bs024.html @@ -0,0 +1,206 @@ + + + + + + + + +Week 42 Convolutional and Recurrent Neural Networks and Autoencoders + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ +

 

 

 

+ + + + +

Simple examples of Autoencoders

+ +

+ +

+ +

+ + +
+ + + + + + + +
+ +
+ + + + + + diff --git a/doc/pub/week42/html/figslides/cnn.jpeg b/doc/pub/week42/html/figslides/cnn.jpeg new file mode 100644 index 0000000000000000000000000000000000000000..67bf3ced745f869c2069894442b02cb5c177b4c5 GIT binary patch literal 24437 zcmeFZcU)87w>Eev3R0y>6QTm5qN37k1f)w5qze&|E+En(1cLOAfPw;oQbmN&0#ZW< zLFq+8O+b1{5JG^EO#IHwz3=_qdFQ_G%x69`f6O5}IegB}Icp_*@Aa%_Jtvf3lm+0d zo|di_KtlrnG}J$Uf&rdrLS3Bzz`y{w1^@sfaEgW#prh{nbDTy1IQ7py0O-*O{@cC@ z&6R)eL(BE=`_#UFH|m-Hy-}tC4S=`b3bKiND@`+JIy|RtRWEdwZ_2fm^8K!f*eEb4p zm&LDKy(TRqD<`j@sBuqIOIt@*&-9_0xrL>bwZl_KCubK|Hy>X={{ZOA!0?F3sOXs3 zxYV>aZ__j0z0b_cFDNW3{#^2(ZT9jNIxepDNqVh)9{>c%Hl%W;!P-jS<8Db?qO|{>K~(`@iJbzd82r zexU&tIvVPiN5=txffLibxGTVaZ0dLE(?XSo039IpIYS_B%Yu-ZzVm48I*EUwe_p_K z;?7Ghx7tbXHaY{6KL6u@S3N)ENw*BylS%N;FrV>lk_bky{(2Mtvt=Ro&RgdNJ4oge zKWF@%SGDWrH>5oT4RA&Ar*n(jc%rggg~t-14 z2rb!d+&!X;i#NV!Z1o-)0|0)aTV+O}sG2fF&kYC5(Y&F;;pNdh-2j=9fhyWAL&gU~ zuQswLU%@np(SGO0|zwZjmA0!{dqN z4eapNTM@O;(|-)_cub{PC)f+SJPUTzVc%SgQbFAsuJMp-&%7=Wl1pzc;874{B7=FLEt(4F)ZO?l^XH%w91{THlUy09 zxw?eJ`Lb6XJV@B`P>Z%)1kdcNkl)c0qw#DTi>F9O=OUHUTi9L^?AC98DEoYCQ&8aE3co!-yBOk4e(5d z^rLpINsbiYahBH!%j88{_+}#o5JPlB2xn?3z|c=Ka7+h(q2&90NA3r<;!)fWG=cy5 z_V6^Su(lR`Ypjf|yyB!_4eNJ&H(vgaa?|#7j+_I3p>GYB{|ri#+mt#?EeNT zxXY~R{0kbcKkl`&`4uUl-#>l&VPkFG2RnTy`?s7|6x6jZoOi0ZdO5R!XPau#?MUti zcTfFKH4{!iG@E8Fl=h!lIyoQ=#*;tc2Q3m-&?yL}I0ex(Vycmy?$=@^mn4#`AUf#J^dDA1tx?$3ytd*soThydS{o^1$HVz)074Q|Cck+CGC z{trWC;?04)H>&+G*ZhGd&j{3BliQf)-`X836UH1}A%{d7rvP~-1`{KDJ6@k-Bir?c z$Q9DXIr=eWn|zzT$F_D7-?p$HCU;)icU!3~286g4{LWMNxG@-z*ThQ}0Cl7GbYvt+ zf^8I_bC?3KvM)l8Lvob&0p7-EstgAH5A=2+_>j%d4{ryJ^DLlnLu45W zkf&AxUzlSjUrr{vzy&D4@P#oH&WnKpaA{ZP?p7=(`^Fs;VDLpF^f zM0J(xc$ucGcz^p|Ti0N5LY_ty!>*r{!3=`1rMj+MTfmnIwj>uFl5!e^# zz!{;&6w4#$IN#hjI8r-4t%G;iPD`2RW_Ckl_31d>Cd?m^BtF&!&+|_~dN?s_&xh-F zyCx;ugx`txnh409dBf-rCXe>dJ4%RMDRo6+cjgC&g%aR3UNJD^$)o63s{HH1H*w8x z5X>83v@tsP0l& zp83JwR`mMxg!Ir093C(Dzr`qlqA0)-2O?_-Xh;F59kj#I_L&ZA9$S7B4trGqxlU6_c>45dc20ze<(DrX z4kv~KhS9rmYr{o*fomS<$BK4>$)^ep?6oamn4<+49n`^}TH2RZwi+!hsq)JgK+tP}s`enjXQ zaUkF$@R~++fo=a!^#2GlQid;{Xe{O+0x%%P+3$`E{m!>G>@J2b%z?1AwVsRBV0D!i z3SgD*g7%7(wv;|mW&A2VtwShqZ_i886(x(NO{ThE9YBkqSfdCzBm${JYq(~f$)&>e z2*zRQTAQ+^Ga0FQK2?{bD~=GI9GpK(zBmhejLKCXDo&kj8&d6`)sjLYPYXFDPynB? zgQLe>SWu@DB7yhMsx|knHBpgaD(G{!f9=PPuim-afjJc5KJBr@6{-zo|6nNF5&;%K zLa5oul-M8{{f7dCo-;S5Ue_AkSz*)JXd=xAJluO=;#EO~Q!EmQlMMJ0lGsmflbt`} zFIR7%08;^EeMkaolgonwe99cjSvf67gh;LTUCC=OV!4tR2mEbUQ~O@u+tt}P@4_rq z-)gLw8pI^__CoAZ%7pyTIcJ~HkA9*Ao<9}|%J#v>nr>;Uf#?5Nl4NV%^n7;n=1g^G zD}MJx9Nw&*%`08BHm|&+TliMXNgh&nPlfH}*APK#J%=$F`B+_L+eNuf;D zcC**?QmbYbvS)r#<4pa#zYx+QnPg2w`nU&+M>L6D`i`KwTsR-Ry0<#$vvF~=xgk^a z2F$u1*^<_7$C>hUauzs-J8nqW6;@H_{EJE@Dl4vUe~6{$>hk2PGo{CeMC z<@?txA6VtDntH#d6yP)o?133X(_ymDdZuc7nCO;^DHUXDxJ*&|A?i12)r3;^FtZ@w6 z*_6wS?0jOm-0;k!_La~3^Dk^%n~|@`_)BdqgK*EZo|K`j=UQ&85^Xu4p>k})sP7Faqx!h{ z&6J<+&gTtZd(QqoZOmvevvuA%+oIba&P!d}N;kZfL)hON6SA~8J{PT0;>umbirS^Jp;FP%NtFf`K?H{&F^e6y^tE+7t zBl+!k{t?j!1LktO3jYd)XpJLY19cW?n5o`J-;O(}5|JmxFuJd#yF|ky@u)p~5KOX6 z%*HQWJ~UDERE6zZC|yy=+g-NOV+YcU;U-sC40F7VtFl=DZ!TNBdtq?iR{r4pZvIRg zRQWXn!$>2Pe1kmxV){%^_!6VmbF_LXd|q?~*X6A2c=e`*p8G?xa7od9{KIvv2TK`E znSs7;J-^V9SITnvZhzb+goQ`G`nmpDf!J7Sp5JvYU*pj@f1H`oDa`5gRlKqg*RvIipX?@I825#+S$1Jrwe{Xj&-WC%EdRbCcAh(3XE&xb?3RuKy}wNH zd%zHg=-d*leN|!A3pp(mYAKfX^j=@xYGWfkENb2)X-bs z9&;k8k7{YD8uhp#={04yz0AlXTJOkbDngTS;rW>X32gj)0vKtY`)ss-;qX21{j5ui zJAD3%?uo?UGq@)t{wNX=dy{ifFH%{qyDGz9*X#0!N#Q^pv;6P$tgTPO7^Elcjr2`2 z$h6>cwcyy`o;6LL!-EAl+MSR@Oe?TiZxO`pH56q$Z(L|GIFouNV_Xy_!T#Jpf6)l7 zO-LoaEO_MBasfBf5c1wLN_Pibk*Q<Q@d9~=t9^R1ZYRSBH@F`>4EV3}lm9;-`S0c)RCjy^@6hb<}t9rQfic2Q~u{&Mf%s&xW0>g_5OH$V1?%H zy6)zc^oL>MsoIu{cdb4Q(7qZ=`(^Rd?iN1sV2kIA(Wh0PpAIiDmt!_oe$c6Oo$s7AKFt`t|WT6UQIS0!-|Pc2pQe#3{q#G^TL+@ zF&Opm4OX4&?w(V!QS#;JV$nxF(7t<0z%$D|e~mzpmBpi{ravZKd1Ct|P7%2FGsw5( znqI$8n2!%Nn=)UfJ{i;4f${Fx@thR>R8KPv;zt4WTaJgxjE9+tGT{ugv5@ONaWHZy0dPer>$)|EgZM{w9HmsCfWQDE$LuMiL`YPHX9WC z#5%iM)=5N^K%FtUor95fU}CUbv~mFZt5aKL^WiuA;vHaX&tF-uPw5LCFxM$WmTZ}TPvu$P=VIxv*I z0~5vdwOe?uekIj=C&0g&fK(5E!dAQ&^x3DJ3Hdnf4hZ0OkRyuoihJgTkW^+ZnLR-^ zDNf*b!j{j7isi*=UA|TR@?w(Z!i_qCQQMn_70EAlwiu2bh(Ux5q7@b#4LPHH`!jR` z#9=L)>xXT2>o!nQ8_5e{?M!=gE$ve9p7F=eJY*+Q{TUxV zzR5G_B<9-jc^zC0?xFy(xoj~0FONvZxRodpKRC{Jn$-k?oFxVx8jg+rnAKB^^ajl{ z*U^>A1svZd_o7%rlt^;8`7U@2I*sIvcaFI}vWwj@Z3?IyU3$)v{@O-_UX2SDX~|W8 zrrp^^!GXK5xyyfA8-$?%iGj|W8^`xa8u*{h*$^%g|Khi=c8g{>zaNT8#h<==a3uGq z&e{as?O?4p-j_YoayVADQ^09?h(tlj~bvbIcWd>i!~3WvcHzfU3e8 z9GTn+ii#~-OM^1B=5XNYRYfv-LL{Mk?|1I&wOaq`xym-&YZXx6+Q*Xo=5#W_>f|#_ z?)U{_sD$A@<+^zsNs2nLNc zNPbp-#5Z31QZF&B{ZHigQKAs`g9D)(A04JDOwz=w3`Qy|1YkB2%`tmU07K|ee=pOORk3&?yiD(#3f8`;M)#)@3nyO9 zZP%`92*;4Dce-pnI4X->1PnU8uhJb+WrfcFoJ_oe}#iGv0 zoPi0JeJ`=G(O-bqDWkn&O{`MHLTz+@BHM3!d=LFn9IA7P0(6061{Y5R9|qAY!aKGE z&Ui9i*-a`MzUrwh_~cYzz{ceExT1GS^Q;d@-6cB5vrKz}pOIDZZD8Am@;m^m7x zEC%lrzkE&hdB#D?F*`&a>af_n{o&Y{X+EIsU?0Xp|P zuPS9#SN1%!7~aQ&qe9q;`q&H-H)v62GTv7oe73E?HBf)ra{a+|!rasJUghrCSLTno zUwu38sd9*Thw0-}+{5n(H2)fI9x>ECw${Tpf1RE28kTDrglTw(dC%cV!vs(i%<2yjD^;=T@QV zyL2*i$(hAxI_{9U{RXJjC;^2m%niGa8QyCa?=a8YN_y+gXXA1+@=cPJ22M(^Y7A+??yAjApi_8zc=cOG|82^?HMC@Zu$@;}9JiE;p4; zv9_QN^FNh3h2uNe8Y{tXrXqk*1tLP`M6f4B@FWNBlqiT5Wo3x*-HAope%Wb`+sd4J zn$`QGQc1#|(XPHdVX_c*83>Q6i7$3i+WxE(AOA+zwviBaRpWP;`U0ZHh*>)*cYT?u4%FW986MJLvdeJ&9*k|9B`(Xfp8pxP;gQp z&Cb%E9(V^D(zh(gmt->3&((|nNamUOp`HXhX5e{yEFAJ9mxW|?%!zh8T8WTucCeY) zl>Gf|T+$=m=5t)XwChrDYmJQ=uOQ<}PEq5vr}e7LG*;%>Gv{#wcZ`!&zKoQ}A_H$^ z={9~tJRDm$thrhywA54^j#{kCE!mkz25enq*gV95*=NynE+{m*8{zJFUZAkop!Vy6 z(esje{p)U8HrpkB;zP%>k%+aND&A94c+IGs3_0VksW-kg<$$l;rr*3OaMdp2%Anqf*vMX%5W7)W zhe37S=;mYF*JyNSrKZ5qwa);1A@q^P8_b<-o@-|fCK9c2ZyNNczH7QR?Cw7uF1t3) zU2DkU|Hl*Z`|xG@YF-?XuIYa#v;MwH{6@q<1Uyu4xF3X^8G>oM=0OdA9R^N(n{?&Q z$f+evDVHosC9#k0oJf|#dwGp10OBQhj|(CU;~=_X416$7uYx~AgN&M*GR5y0Niz*B z=`1`w0lu!>eCUVyeC#@1xh}vPtIUBZyF7V+RHm78pnHl|lOI?U7 z@= zlytAwxUXIILU_{0$t)<1I#fcF2>>~2ges-{e4L3K-qgFZY@9x))%BmscPiWuvo@*4 zFFGpW6#7s5PwCL>e@&TcitF1F$-F;~s^YGcr*$wrtt#M9PF3s?p#8D^oSUs6r#;us z=-8|eM;>gs<1(9)SmUObeV#v`KA2H7M4D!W{9mU@w#)w=IuAc9MF_w>7%j83wkuj4 zkI_F2{m!p^x)g#Nm}8~@x$YEz#P^dLr7W8DBGztjq7Wpyfe)5Hw}V)D7U%!9(*p{? zvbBIZB%r9NLBc%A%&XtD>X-_(_{5FizzL?w=tG!@qZv zq$t3*TyhFBxCFvOQlXfVyrP*SnI@U>>)+FAY?O~X&Y`%Jc|X~>DjG$TE;`#k`)0<=wRBW1ytFSmnGVw@ z@*+qs`0F9!QS%zOokWj(%h4`jwn@+He%xw9(y^~+fm36z0U%Vu9V6bZKR^8o0zK$y zC@-4vjaVz098znbRmvI{oH_t8>OJ^84@33gZ0o{PJ`%D{`o+`MB*SjR0(N zbY=mZMMm(DrS1ihtCMTmdRAfmX+(6w3HOyjnN1K2*j^A4ccfWNt(>^5?ZCXSC%UIb zpswZ1wIek=euo~|C~@0?FV6=$my(uv-60(C$3o(*iXMY;aOe0^RJ5vmm658-O^K!IuAwR)FFnh)tJiKe3lNhb1 ztY0J^BRnvN@i`FVxW|mB)%JuUG>2P+-0f(IPUKTaoLt8=`|0~-+zlQ-My2IW)nC@Q zcv)LXZKkuXPhsIndf~CP>ZfCwRaH40A(@aY2u<3RWLpan&QNxLp)<@U_z9hqG_&~P zGykbqq_a)U_NqR*&nh}^?lS=TRhxzgW{OF^imq$PyDN6UU* z9jX(Xc6v^Dt9mo~)hhJ^?E*7i^@>8BMZ#%ZMmUFE(Au$=zl}cmuCR-J4-yL8R$(Yq z-67m3rY#Do&n;rL<7Gf`=PDF?8?fc?2IO&HT8kRVouFXkBCxlyQO}otNMooF+E-T$Vz&UfClll#*7wK~tN{qXdt(+7zaDc%=OK=k*M<-)6xC*vY4wAerjn7I|pV zy#91V)FMRge(aQqMMMSgTt$8l@lp9U1)!fGDqlah(nGLL?gE`Nq=P`CJFVY-Pj^+U z?H$q785P|!K0^moJIE|k3+$)oLORZQlXQtz@Gp;GH>+}F@Ziv$?WM-3iSe0>jg_v< zig(VPdY$&|g&{8;$W^PLd2efu8ZVfavMm}0(^aKOH^#}r#H2QvEUH#U2xc-ajvTGA z)qsqPjTL3CuS0HL=}_h2dA>=Dcr5iZ2)@O2ECLND*b{|e!TBULyj(&-MdS^VL!sN~ z^@)Jmv?o^`Yoh6TZ}XnA5Pfz&`zkA_d&{I7K5a^XkD*;wMsCV9EA_oQ>k#lp??&%_ zKS$iLHleqny5=OU<(3Nm!5Lgpp}_XqvP|_?NYd`RgRgGn?R?`^SN4#r)%~c2tod`& zWkCev5#OK_^|?_C+=X17iTs?$c~h4HTz-pH#w3U_`a~XDI{%iz^R|Iv{ZZ%sQeO>T zi5_Qc#jWtC7T5mhG%9aA4Rg5&1MOUQCuSDooC#|9;;r|%qxtTJ^MT@#(pw_>wL|&A z+FMGb2j1>X*IQmjY0|RaR%hst>w`DGdW)m$qU(ax9<)z^G$1T?zw9~+=T>7rnRjDn zpGN6~3IR{$gL2>kloKeQ*0!43#pORFw!@xge9J9XAB9u{rS4iNP8WJ-RV1Cs*k;MWXn}H zeq4t;c<~b@by{%69TXtRdNLwJ*j72x_l$Imr04a;*J+~u2T5&M({GDFO7>Ev=*a`k zAZ}>1FEc5GsP}y+c&{yR)uAA1N;G)RoY1ZO!@+w%$*Gx3 zYuJ|pu&t#Z`M0!i=zBqCRrkSHiC>IP!YS*mNxG(x+?h z=vnBdRW?55H8pwqB>uSCmvhZccfd@QZ$1akWgt;-;BBBq@NdvmPq^6MS8HyUix_PD zt4xCywf#4uhf_j6gCqdsSz{kwPcmkErN>#!jj(&@i69bO|9#MeTH$PDTyIuI| z<(4NWx$vbVqC2@>mjdM5Rg~d!%56y&Yh-PM#lb_4CQYhvZzK1FdmIx&O94_OssAG^ zsj{e`;$-lW7M}Mcyd1t~Y7t3fCf{r3B{w^e%_2g$#!E<=t6tPndNlA1FJS$NcYY!P*u6o}!>hT`Z?XDtVj&?0SVz*XnW(_$qN@qVzl5jRG9Xq4+4k zBqM4M=1Y@Y2=Bc)Nd8t#4!bsPHiBB>r9$6FrW8Pp$E~IL8B~p`5d24Bg~%XN3(LKq zQTu6RW5fmtDCdv$=1V=2IzpauFZ1`Cg)S{VIFe?d)?hc8D&>8_~8ozFhPm~U4_ z>5}h<4_1~tnCKnm61stJS*;}?=S(G}0uf$>McxHoFi3tB_SCsMWg5l)bshDJNw zD+u);M*R69LtuVtaMm4+NbWHT&*6*v4XZCC`dvRzY+9YU(|I$O(Yu@2{rg7Fx3ZPU z68_zM`H6&l9}zF4UyGgW&Fs+3%tBZQ-?o;n2!#7o4ka+9Xz^nWBUTB<^ z{~0`dEDhb!BBtROS_R1A-a_5E-g)RE5ry5SI&Vc|oB4&TboQfG>^r^u4RQFwNY@_bt z4tvP(Jog^+OBu;CJ&UtixexQ4+Mvrlrx*avAzbdqI3w%3fuIQI7>Fwk993v7XbL#z6G60+rN264b z26Ek?%0Rtb))q-9xP#2p__hd%gLEERPN9{~qo$m-xgx%c_n)Ur)fLV3%vAO{cA1U` zfk;nrcKHk6o^rYgpCy_}#UR2`ke4@G@Bx=Qu+2 zp+*Q+@*TI^y6y|Hs<&;4sa`62%(jZV=3x>gG^?Lm&*wZ}6ms8hSKxG+(3!I3J8f?I zT5VMgkwb-`&>&mfee&7nksD69u?hHN54p#d5rX~^#;V%@p9uY9jxdSkW{oZgC)^?4 z9nM0uScG&mCNo{y8rfry`=gU#4O75e%AAd;%G(o+;(p8)*5J)&rFm7`mZikpa4pvl z_5?qdg6qLp#4DR23|JHm-xdvegL9rEA}%^Cgy~m41YYO^3NnYNV+Gd?5FO0y7_^~! zlhw7z&NZ_F(!PRd|EXQ087PD-qlYK{n65$AaT>xs|0Bb6H#i znEkvK=7CCb=keWv$$EbW(O)ZPF5eFSRiV0u2V>yTA-A9+#<=3xP0j5T=tmyYTAfEP zQnfm^8*QhIqx7k#<2A8+`hrj7 zln(-QhB`ktTZOBV*q%oa5btEX5_9=bPX5X5w_v_R1FXB!W6obN!*r;OJ2X_#MB~|E zTKK`z(gMhSj07e+e1Sd38%E2n!F9#Nl691v^ziIM1{jEfqV-l@RMwon4JUZ);sX z*CTKj`*e6$Zmn0SX9$`xSmVEpv#RM9X}6goa&Rl)G+D(fl* zKyJVHTZAXsu@U{;y~VzU$WygmHfwoL%4@ZpQx{#&uedn~wOyDTp07)8^`J98Nku9& zfeX-U0vR2px66qBHahBAJV=_Q#OJDu_mY_QM6W7byE^G@cEcm=!;GgNwY-1sgJU7N z8+8U#F})<4kXAb`aXclol#zV2Iye~8ys;2_{f6{BQQ}#}lvaxR+zs9L4y#X7r|dNL zZ~icUbk|MFH+YJP8jS~s7+ zvCRr1O4jab%}Il*uzQH4gBKRXNlco5H0F^9E31AqQ@KmCXGthmdZEB`1c^?`n5?X< zCA#(Fv{i5Fr>lNGX~>I{*bQ&G^7(hp6#<#ldkMYMXQgQBD-0P*TE&IC3qI1mzg|Lb zB$`y&9a^oFeTuF`yrOur4_t#tCh246g^X|;+9NU&2zELD*V-%`%4!d^7mp4~b8!tYYR`L(ouGqVN&MH~ z(k37fAX=!(>mdyjDuZX%LjgD*MU!skQj^Q! zn|Ov3Qas6piX2C=kR!3V3lspA0#6hkCy+GILU5AIK?mfB(G5bp_KnKIUHQ)@z5xA4 zZ>SR1|JK4Fi)lQ&3w2!mizoSHfnyBfgq|uq=XnIj^Ys2lSH2~KV2|L)~q>J;5@RkWK^E03M?Gdg&v6dd4_^MI;Evm-7Ynk&i{D< zC;7?`oE*5+;Q!%ztuSkKnp5#t?T$yn1f1|vQrQsQ9xK5)iX>MA)zGLO-V2i7q{?AC zpHFw*;)a_T>WZi8if1azVVb4d1%z^v^QU^Kw@PSD1&)MRmg5(=zKwfhXWKK%RkU# z3-a;pnW{SXO5evZGZDL;U8iyN1GBT3P&P=CnoPI@fSuznoTmW&(2a?W{|`XhQp}Hd@hvgjoXq19t%kIQ@YF9J z=V^m!E+n_Nj3d~&NERo)DohYs<&Xn1@6NRNF^D7quX>rdbVvcv!cIR(jg{Tr3D_3H zlcHi`mKQ$bo`=<@1KyeNP<@DaYbJU2<){ZpZV=^9T1@abKnx2+SlPsPH=ezBGxIh_ z?&CRQPWA1LgjDZs_jhB59Sf|JTXYxdsF3cA1BT1Qm%tuV#ZuIs9{(m~WMe!`K22;~O|Dl|;UF&={>pOIR1rkAZF z2DFu(k?#7$l>K`~80R-3KS8w8^XT6eiy2*wl0+Tp_~Y1~aFP)G&)Sh+n37iYPxje# zSEfp(HomsDL-k+=JTpO>cmprqQS~76oFGSw8mMn+giCHjEAH6?rIxt!zp>Udb<6|wXXyI#N zJgo-E_Q#wOUjJSOp_2IiSce$h_Sk7O%T2f6^h$uC*>+aMY{4)!tBQSWu#- z@4%;Z?L}oI-irVt>Qb+D+lFXigmaGZ=suC_%;7~Es2+9O_bJw>1%$#QcNOH@+CWmS zR8>z5S%5@CjB2^_O2#WTm)-9&?niH&|9aj1zH|#3Z6!xeiL6viS(3Qfp^0w-efs5A^O=IJUIu=KSye%p=1|BDDAzqaJj#ozwAC2jN?%6XCoJrn z10TwZul4^5Q!+yc5-0Cb<;y}gon(=*OCvQZ*JiiNw^!sXhqYCgascWLoWPk27Gks8 z9**uHnpyHF`6^y}a~@M)qkrXD$W3U*BO|&V*K6eUev3Obrg|M8KF1|q7*OASv_zL% zsLDp}fHQ~ixqL#x*)5^eI@+YekMSl`Z2ZHP#+K~eo#R=o%peVK1^@LIJs1T0uXQSa zYlJ&kY$+@pWQ_oEiQ@p+cNupsu-!V82PW5-78GOeC2mMfR8$ ziPFY(7g*2mSNjB&y*TIz7S>yw@cOyNLyfrsG&nmNUsut*yxmF@adyW)%1%?I^_l@6m{jSGYAJM7v;mP7`v330H@Kq!aX-6bOuV?DriKtng9+c01-*7a zUGut|e$-unX@+ZZTYgD5-%7;M_c6bfp&G-d(=C1{E#%9VPBjlm?^OsalyX(Kq0zn)odd zlcomy$hdaQob0<3`Y&*SV_w2OG2VUwG{t~5SlZ2RsVva{G^O>G`H=y%=oF*WpR=OQ zi^K=XZiiqjTO?*MDiBQIP0SHYW^>7*ts0d%_nK2or!^*W+bV{}djNZTK%z~CooNGo zE*{f}hz(@#3}Qb$Z)4zrJA&|TaLoU*vel&v&Q@s%^;qhre{z38^5abN+fP4Dw$RJm zzg^Hh4dfnhWiW~wptub2b;&S&tkUJo>0`O}b4Lcp)|cP9K2seO8qx$ym*b^`W;l`` zBK_%MS%EhY;XRC;3m0<$gJ&d(dxnK)-REo9ogKAtv}vr9hrNvTE}ms=;YXsgs{+-D7cp zan$<^Eu^HZySV|SMOhv8G-KyZHUCn^JhSX+Y#C`iAMCy|4LMZEjRo&77Qt8ZAzBs# z{-|9aFeiMY=ROryYf(X=lwvNO()yLWrqR&5VUA5Ma&Db1kh+DUfk44e15rkMZKXe0 zL@?#-K~VM=+UBb?N2gsCltcuO4tmNX?6gE)Q{q9nezEIFzx~3rf~;F$CrqYo$BSlL zXMGj`-<@}YdUXUkM@TEFfV8WVIt*$Ov{{=pXtei5mr`GfroPPY2oW4rzW8Zs^++Y# zpL(126L}9T9}~DlTr};wXxdNLNfW(my@y9{#mpa#P^BK9d;bx={43J*+b~-~A>pK~ z`2_ez1ms9n5$O4kMCz9{$SyNgkz0P1N^-}<53b6DLa&(wW z0kmX-)gY22N$ThN0KTydKj9niw^&ThKVkiZL#0d%YjVdieIJ+6uN`}~XTbRr>BX_m zS~b!Q9-pDE;B30$LhPR|{GT5dS=)JqqVrJYb{&O4?l;uMBTq3HkMsHN{MO8E$@9bRF6z2EuD9zy21NOh$R3_S7d)76T}xYN^*J;wUDn(7)@(_2seh%a8A< zi&Z$uAJJKlkVXHYX)&mpo`?_-QP3(GOHCL!J;}__sm0?v#AuzYgUqlid`a%c?C7_5 z?POPeKgy;_K37c~bjLT~mBsK}1k}V%jo|$2wF>A1P&--+}0p zsb!?oH54FDKrdv7T9&zfaZ=d}TQB-;7~Aqd+L|r9s%pC9S#ji((x%?iJGqsTjq3;y zNgjvlGGeub!n=-GlVfV!-%5xTk}hd3IlM^gtJv(*pzFObscDV-VCYEi$n+xN*%EZ; zRTIxgk`k`y17?TCb>hf8+EKXQ-Nt_Rin!=XDW|Sjtmt3X@UWT?Is!X`lj^n*mK_SY zZA)Uom)G3Oc;M>Is?KWmiUQckzK{B2qwEE+q-Cdz)~VqOcQ#-7;7c(rr7u+*^NC!# z5KgF`{>lyM2H!93N*104+P5sj;WdE(a4`R?k>EAj#Iw-I9;_wx z$lR?IO@V}KUy=a21PgC`#)4N^iz-oZrz1pWXbb6n^>s|~Q(EjW?r!>-+wW$a!&D>A z>VWCllT;;%;y5L2M%a!Q2ttfrxZwt7aurDIX36;O+t(1>`F`PB;=$Re!8dnwMaMAi z?Q({)LT)eo1L}FZ%y34VDC~(kBsy1UCxm$;unFbbh%0(uRMbe#1;7(Gv(1{)?Md2n zuR?*(ssgr9Frg6d_!iNLNIswdyhv6>v-(<`2RU6?<*B2chDwatvBnjJ0i8AldQOQg z_*6dO5e~JvhPh&2`${I6-%c{O99o2XNtF+bvh;SF3r4&Yck`tyx2%){y9`ccwS#J+ z!;44#8l|fzKWbb~!Rnh$1s6SHb4XRt5_EaS`M$$pj8;LVN#U@bcb^z?nmq8Rsj1s+ zJHxreHEnIuzhY+X;4HGKwyIm;>Lo{XZy)rU+J&Tdh-i`n7Q!0RpL3}Rx6)3{8!gO< zfe5MZ;$aKJ8C|jy&vc!2@~+K0EiIKOHRQaIa3MkQ^GVd;`M(r%?cq?i`+DS7{GR)F|L)(7uR)KbWDpapzQ)PZq@fZHPWHj`7LsP@7_#Xev|Uy7ePniAD)f= zrdLMSzRG@ySD~G56jxs&Kmji62^Y`-g0H+)X@A{LcFRR2Z{ki=!IgeauA9j=P@&6e zUvfOXTdmzqdQo*v3zMQiH8e8hK0%0y+O|W5=%wB=735%@BAj$Q!wYc;`O&=M^_1gmBH(!H{xqOFke8aOo7uHH-CHx@ZZMd67 z&@_;c8ci)SY}LY0c0&=>M|>Z>y(gAw6B8HUnGY=ri`ougD)o0DDrMWu%&M*K_$wqk z?dJPlkUb#St(xQGC#tHwUz^lQti~pId9i$_l#?Lh)!E3yAsj9+?2S}G#Fvir=u zJ3A{JOt9wdjq`JLcJgCr*CEC>H+<`WtlN<3jj*keG*kvJ2%)lT@rF3E*WlFW?`bQ2 zmnsFLIL6=b%AyVo1aUS&q}YXwh69a|17IXYa@Xjd;MEyJ>4X!*N3!+LR`44dW1XUX zp~Xagg6JHK7cJ%rWNY@1?<}{^A4})4kB3iWo*Tz}0fBCS6ylWo=)=A^p-031Q|XBr z>0jSfr@aeb&13(*Rje)D^A;iJU-dx#?N*mvF8Qhy!zv@Y!FW*FXv998kdP8QT@!0k zoO&x(U1?35+uB0aL^gj{nHzZ`m#V8OXl6pJ8ByDgw3Dbmlj&9ndT9DC4SXa8>@m2o z0aN*srL0>`W-E`?8zC2Vjt=5s8?a^b%l+otuFZD#VU-lAZ(r{$$7>4J_3ahD>l0Kq z6M3Uf;(?67n(=q3#NxgCEv-<-Zywjo>S?fZ(1LW%);Hoi6*v92ikhX&PKphkKP1F9HbmuJC10OSe8X4B|UEvd1~lhmY;L%vO|?k zI1(t~wj4pL1NbJq=m#j;9{F zIFDzMI@fj%aRSsaCqtPf{yBo~AMxv5G`vUv(GkDg%IGGr$0A`IEL}Q3D*JN!(GlsS z4w1H*_gOqgLLN=D$}Om#X_BtPUHYrU_rxN0je8ijI00vKk=`S!R#~Y46Hk(Zt)oao z@4m940>E3F=>X@i{!MHNP{YauwjdbYaJD!j#``|w?kbfCUpwm!iRetGDsS@wSu(Tcq>C*;x*XAjv2 zpybBCs?C954k#MrmDy;3+A9zzxa=a?2R)kRQXQ=((L6Ijon>9@fy% zsHh$qcj){X4qbD{9*XF5r3H!5k!}5B9aM0;eUIdoYX~m)Jei>%py`g*5XqGS*HZEi zP@Sr>bb4e{WLM*%SMmT`8`p*tGV_L}gdgvvE0{z@A5Wy>ggvf&RB^J-Q%m0SnjxF_ zz2q3gJ77-8i(G!m)2yX3oUEt7WKTChHzDGq{^~U3eO$4GDAPVO%`6)G-Nnn0QjuF9 z$9)l3_5Evo)0k*i7|&eu43=96tfmLW5P`T&1Tax(@mF|9S! z136AhDJh*N&8Q@ue(~@#NVWSi=un5qz?F|$Mg|K>Px}f#XC`f%wL7VP0Q88?mUOXr zbu&+ib3;#0k0Trjom2x>*Bq!zCXz#jpVc{x=Ae3GV7z)NEZf2A`b1s7HiC359Ufa< zcAx#FHYC^*)u6IDlkCzcX=1pWrvdV5XZJjSU`Cf1Fv+079%_|s=ds#KI-#KyVcR@) zLkN^?!I*1|o_E^7?j@W#pAawGQf+k5+J*oE8>|iH&tF(6;7{=CmMv!SF{de5vKWPs zH4PSUEUewMj0$k+6W9;~g|AJxF1#v{PVHcCkQjYW@5&oc z(mp{yvd$Xq_VrZXA)BO$&qX?EXeqCADgXkfK=j#jFzz4G(()p;3$m!*=pae_&*L*O<>! zV@ZW)^+gJ2y`AMfJXjsWuo~ntcVT!xVmCwACYZIlf3kf;4>B;-q%@4KRps4X}Tfu_5N-Bvf(vh2wW$d@o6;{D$dZB zTUr&PG>jL{4VZIL8PlnJO*U3Pv#K#+4)0iHl)y zvxazNExtO#HNkDn)%K7Hm(b^Hz1TOTwr%)cG<29C?pA3GNY$7zUOUi1wTq7rT?zzs z=(a}QO_jM|=#bM&&eUjx)-%MP0R}wSKlZ3k_zbDIl<5NuC z?ei^O-?IVUlas-DNCEpgoF6Sr+iWEAwB*m7T1l-qHp5ELS?u!dsarZr2|2+sSyTB| z{&+O#x~#a|cK=I!R+b;bA@-GRv#tN>=ceivi~}1MV>MExP576zn~=Jsl{{1_b8^a(u0WAZU}@~r*&N-k_}1%QfCLp5{UV$B z$uwbmBNfo9DYt(!J~FHZ6PV9-y+7jvFsId)fdSRO9k=G3YksRDvT$Q&$=zMV{g`)U z`Yhs}BYP#Yj`VQql#T)K@3XyK?Oy6GUslGi@eO7I#jwkF-EGzPXqREHGdrkXY@qv( z)5P7Ptqmxja=k6yqOgiLV@%FtyjtGYy969OJhlGnT=OJ^b$SZ(v8NewqKbxp=OSK} zs0eL-cjfzJYOqA8$V&MH=PP^Ql4BhwX0=06 z4jMyqgWAY(R9|)Zgd}tKwkDIhcE*La8p}Y2Sr!;lC(hgsupQgmc@0+vwu2wAcJi_z zD%ILuuofqFi-yem5isBzw}5KrqQSSJ=ccDktu_}z#fKg#hC24jn-m3jY6i{$B?EIh zJU(FZeztNV0W!gqXW&uA6XebSKJVq(WZTq7T@a0n0*PxvL$W&842pwr?Ijx%qc*z(ngYFyhY53|LIY4FTVd?gn*2`uDAD%rEy z;iQm4Mo;B_;fjYhAb=B?H%4gQNt|7$uEp@YKmxYHW{uHN1S;d!_WAZX?qmSM$Mf=^ z(b9Se2rS9B*hQq8nsw49JWO$>=*=qXwS_yV9nb9CD_;3d-~Nh7iE0wDWB zLzwm-x(QXn`-yADKXVU7t_D89!y99N~VDRodgdWkt3or z3z$*T%ZToVp$_btbWq|>6A88@SJuqp20*w|BA^4V_yLk{hV5P$-jQ0@ES24L&qp5i zr*!i$puAB1e^Filb10v5?>}s>{$_uL&)NV4MCqY)4BH2IAma|F8izM+V2(DrW}{t4 z?D6_gKE}Zj!S`;5izTm17ACC~G=PF@Gk{sIhiy@@TYP2K7_lW1mFawOh&qv9nlF!8 zdZ5L*!+jY@%Y1-u73n<(sGIgh(5+Y4;n>^3M4K!>yM(S^M}gKqt)PybgxRM+r`ZD- z^MxJ}UIi{Qt1CBh0TRYPj=?B7I?h0;zz^sXZ8{HSSwj&eALB-fK9Azk(7Z1kYZINH zxn+8m1z{}ea}`elr@l(g`cFKMDgAGs4~XD`A$#{s<>n5NyUDNK1a&Nnm$%-OOh3c- zV)s}>CvQ3c)n?0+u2kJy-IBPHKTYRtoQ$f)@~h3`aK(=HZRC5=r5;IV1J|DQk0<%g z=j;jr=>i@t@4dFFUIQ74{@>G_f8|vqy&%Z!9Bn3fBs2Zl{FY!TEUlcwp_M@9%{{&KEwYSp(hY$2-giMQn{?iYkpj z0wytG_16}`Ua;`BSS;frdW`xKjzE{)t2lC0pc%hU)P z*%S_;ixxSTdXV@2{(N%mRH#{5kJfDFcof&c@u(AbIXb0N?XOw(`^gYvGS647L(XY#gJ|6%H^C6{ z?cb5bHA~9@{+^11(mK7Hg<<(#eks?#WPf<}{DS1#kFY z7yRFj`Op5dWPE+)k8!1j#%oa%N8ybfG<$5>YUOID&&OUI6(JlL?ja_yVV#TkU(#}g zMq|hxpoBF7%LqlLFcgew#t*E$@^7CFXarqUjqsmfP_bNqbP;-3ZCTT##=V-j`+Cda zklGgosJ_NsfVo}7s-`~pgN8+-N5|6#W#U#=Vad2Z4J`jlbu60v)eKv|i@>@q_(wq( z^bZ2@|J8dOl~UbFDNhHY1YWB0t*g&~x8+zTQa|=bdm1>W*9J$jKxlqO_6g3e2+AY9 z1Hc}T3)m_~0SEN%bu1XLYM>P-qYCFmEdYhli#xGoZgT0_9hsaoxJ;V4+rYnRN&N3x M82{_%Lw|hy3$jmvj{pDw literal 0 HcmV?d00001 diff --git a/doc/pub/week42/html/figslides/nn.jpeg b/doc/pub/week42/html/figslides/nn.jpeg new file mode 100644 index 0000000000000000000000000000000000000000..0a495cfe42c3419a09341c20d02dd1c7a4f452c7 GIT binary patch literal 68873 zcmd432UJsCw=TSq5<1d5K|$da0qICdLq(~JJc|`$f(u4?7 z1VWG+ih>lWQbLgq2{k~eC9Lfgf>Q- z1x{W!GBE-e7yy8Q{sYkPzym{s+amxlGXu^60Kf_`Gw=b7^xi+tGl&7q|L6n2bq4W& z@84pO|K~L)`2X3bU;F2vkNnR@n*^=^j3-X~`Opt0`iGg7nVE@+nH>aTVdZ4!(B?pMapipFtQH>Gv=(voSNX32E7m6_om$3G_jXYMEHb7TRrvaxf}FQ_>QoM2#N zJi)~HXV&zyVf6C=6E8F0DHQ`2e#`ry(>?;KPg8SQWiD5?2;LeX$f`Z?jbvjN5*85^ zJ9Ab}{;zZD8k$<#7j>>&H8e85W^(=Z9V=^?jjf%N^TS6ju5Rvr{sDnOh~SW@XVEdS zanIvlroBpko$>dZ%)I=9!Vg8oC8brLt7~fOzSK9gwzYS3;<~zf28V`!j*O0tPvGa~ z7Z!gnEw8K+w|92;_76yhM}OpE02u#GEc)+%lk7jq#Y>m#1QQb@6X=gz3@3vA2+qsI zd`g9d&%hFN--rLS>Qh#M%c;4QEo?Gsw+Mm{dQ*4 z{wdc4z{$u!e|e0&02H9y&Wo1^{?A(sG2XVX=h}Volg3_u6$afqn}^Av@^M*EQ5DcF zeEvVXXp3VA>RU3j+_-X00G37rS`A8QK>r?&LRLrpYu}~+@I{!reu~Y1HB$bcfuhzd z*F!o47ia+Cg*$48;zI*aT;PB0kMB^O!FDN5Bl2iD8t^RYHVw#GOF1UF{)a!P{W&|* zN5i2~m4?AkvaDDRnFctZX4;JZwZD&~0dGJf`D1(W3jO3WWz$n@FFG`at2(W!Di)%) zGk4kN$_)oH6dvvVE>(D+7q7s0^S}Hi>v<$swXD@_6GES#;w*1;;>}L){TKN)mT$H6 zd=wb^^*bwo&A0l0DWV%C2m1T!|Bt_`ZW@4>9;N|HNApyw*scX<|Czp6xAPT)*Lr-v z`C5GQ$gUN;bGl%>P^Txq%BWDl(!u4DrJ(@uf2-XQrUArxy6QMg9^TnwrU7KcFVv_e z)yi^;Z5^>EUp#|C`72023=4ZoN;g|Ocb9wO^L=(*uJSN=dnDby>mn)XeJ%gz zR{!s}we_pWvMvZt>1#SXJ~7P|XmH67e~ zQ0$PZJglSVmHmZ=hne7K;S5!=KuvjHah2(4YLl|&5;#`!$jXBTObGACkgTP=pQAn} z7edlSzfI&sZQUXpMV0;iqr3CsVV27DCz~F{iQi}*OMggd9wu!zXTy>(Grt=Si>~=8 z)==W+Z)OnQA10(jUC;TOdp-J9$Y}YfgL45|*pDSMkghgXtO~=(Gc@4zM#gaw4Y;ha z_;VG)M*~s=dnrRSAXjWhg$A@a7CDN~hsQJtSUU2qFbh~-`oGo;P&7bF3%vKeIo;wW zoCe^Ma1=l9MJvf4*|-!-L%}^?bc@lnrq4Bb$G-ebe}ve;R{)bgF1Qe@B<}kAwI{&cflUhdv`47bgT{1TawnhoFHHZh_6kM6h2E3%3vO@jP% z{gdT~8!M0G&tk(V5#i#FNM9nh`PhQ=`$yAenR=}h_osSMF|Qm^l{Yv2IdQ%$A}b20 z-s|tIP)_2;fja7x{8495BqJr_43VV{)IKu-S%t=dPkI5bxmfVeGR>3gd)iNfWj{7` za^6deSXzR5+D~@4cnh4o`oe(k8U5Mk@}5Qj5&+2kW&GjDWROd7dbNR}09{K{HvT$h zC+kykQ}^QDL)b}CY&#z@_jBdaf+W5!I^HZq;$J|BoS>-yGy~}rak4Xq2P;?iwLh7N z^O!Fl4UC-=A@1J|naTPnaxeJVUoBtH8(6c?a~+Ao^{A6GpC!Q6=$7Mzu#4fn^WTBm zB7Bzl+3m%c4ZvGod*S@s%h`x~Nk5srjjD@#mU{{{EN$No!xF>0!4k5h1A@Kjs0Q;k z(%5<9gNOB^rpVUmuf8x+&|k(lPtt~CKiop}uMU#{y_k1*|ArNlOsR&G$_EzIXCA#} z|8e_Sa-sn-P39l9Iw@Qs@_87UL3a7Pi2rWW+qRH$zrKE=CF0s~EZMD@kiCkUilUOB z^A5W+YjDcESp|1+5TyKm@g&~Zm`wEn1O~Lr&C$Z-FUHqa`q_vlGKamEn2wyqnfP=$374 zCz5Vc|Jc=kZ||FFK#F+E(eIg_qSBC#VNE-$g#&(LroZ@wUs|)5stl)nElpmwaOzq{ zr|iv4z&j^EaW g_s`YisLYY8Tn?zP!VE`IG!5=|m~{S_&HJB*fGZo}}F`+j6dw zT!33~qyeLDj(tmS_JXrA)~$+Co}+4WHn@mlyP`a?&QYym_nusDFa9PsnH?KYm3@)2 z7N|$rfV0tn7KN>kTj!}dB9<=?$)4vAPK|PYBu2uPW%&Uf_v0#zXm6(Z-Tv$6x~22t z&$0hQSq_D%?CG;t=FsB`cB7tJhUJLMM?;Q7n@(LX+=O2qTVd_L?xFmhrwoZ z4n@joz!Zx98Vg6eAQA)^&aKAvb?+Q^3Udor&2*u0Nfj?n=8BB~WjDL^e3yTVCI33N0-SG4~;`c2UP)`-IlyPkqO8Dxd631ez}Of(IM zTy8!TOCiB#s#7R}TpTojc>uMo0fdPgA{S`@`|*A%4am#QMa?!SQ;qVef(IKiG{Er6 zWx5{t!^ugP!2e%Q@E0OVPA>Gg)4p{3cb-78Jn-FNtTg#Y7=?A zJ@&oVZ>-1AoPLDZTRStPrSuU^R^O?SK>bd^M#=z6h6K$Y4>yMtp=Qe+mx{H$)|$nvlnBJ+6eC&;thu@ha`F_DqI zpvb|kN6sS!@%myYDde4>gv_8A|Jl1~Pr6?EV)AB% zaJN{(t$JC~yt>}>sn36xa}KTf`AbN1(81xmWD~~Sb}>D&lwtTK;shqB16=FUq73Sn z)k$g3;$2KR^}5x%sYTLwlW}Kb4QIEg_ZJOdIv^I|Oz=eE4dwaCsT%D???H=-P-nweN&af`a`B*8>I8zv^9F26NgIP(p{F{W| z^+g{0aw*j-874kbVOpo8!R{M17UOBN)Ed{3(HVBKs2{_U$FdMc!b$ot7?jqvlzF%| z2PX3^;TJ}e(8#kRHRvd;a>`QVjv?l?y|uT=si3Lq-Bz8Hn<2OTVMaInMBy{fH`HO> zR4GbcxHPp7t64<~J2r6}**8HYCk4)4hG31byAlcK6!Jkv zK-phiGQ%+Syt(y$$8=Zg6m^kR`MiR$k^f-qUXv`SM&il`DRg`}TvnCRiljP`4VUSd z(kuAi6h&~!QH_#|l_YV5xMTmSJifjlZm+4O#<*;)-(hh)_MXQu59?1?v0S2Za!Lka z6#u%i94E(C>i(ss1~htc!uaR#AgZ;7v_uqf>44~eCOmu=b+)bTN!q!isIvy(17b7~ z8XK?Yho51Z3_haP-7hdQf^B4Qhg(dW!mME7M#9HO-RlPMaNt;|-m` zxbtm+`mMZnQX-TTtdwg8^zlzcZ#`Iv%C7^vsb16i#+L~-7GzejeMynXe139i)%i{*_FkF&4F@dI=RB6=vl}zQfyBCj45p%z{z&9@R|2#QJ_vB97dpzBu zN+U+$#F}6C3r_Z4j2x5Tk9hL{bo{aT`oRX=rt*h+Zv{(tFHM1mLq!*W@4++;*M>z z>%ZIrf1GMO>Ge{}a&6|lE0UM3=chV%U2KVN)ToF4M z*HgYf*W?y1N>Wwxz$fV#zHJvPm1ydXYJW%r;ucQoI!kcMK~m_jEW!~?P);_EQ-A$h zd*tVP(~BlP60ty6g?aGJHqbF0ZoF)5Nc(LMhmYXIKjw<-_iIqnx130F$KhmqQkYNe zs2P!(1A1N^Ht+h{wJvy|2n6fJ=Juncl0OtGkk*!kDlG-)g9I2g~WMn&@0sw5? z=)UIY5c*EGk$Y_JNcL;4$(+I0JsUBTX%Wh>+|W|>f4xq}v`?jsnN$7#PV&6|woF6d z>O!v2_&C{_l0BR9HAI~%9-T?ok_M!vqaCOI_iB}AaFST`{IIiMM{rK$8Ny6lM^at9 z-gmyEN1ZuyO&7^|eb7jsgP^Fy$~Ip%?Ncce0XwJ;6vG%{j9qi5r-U#q^hASlXduSJXZwCLL~5mC>To zy=k&V0~C3_pj}BpbO%g$j_d2E<4_XHo~v?~t|R^O;n7ylCvf^tr&gH}%5C1@8ESvS ze!BOZZqaDCw3}=PY-d*%d%3pztAR1xX7O7 zspK0^4@Gd5x)-JFz@lkt?oImSdF$M1(9PVJPzsA8<_rR@EEk z{Wewc+pU`%YbHj^n~DW|M)SiLWO;YX)c+%)XcMkT?0h<_uYo3CDVuN;%GVBkb2$SN z-(+(ve-?9jXFqF{dTPqF2q{B&I1|TSX*8;F^@0s`@}4KxTiJ7W&DP6n zDSl+)%#`eq_Em#blUa7cmQeTzRVwPXj$EYrH;rsy0i&c`+o z^_jbg$i1p)Jhzp&Nxp1_>G-jWyI|8Erp>4)@zBZwj2Qi}8kEgM$=2i5UmE|2xtQPf zbkVMzDTB{x@h0fIOwKI}-)lf7a9A`Cjl!NqULpKysB15Gx=whV>Mf9=*`V>snoXKX zF7t5JgmFu&D$-;ABX6?8nsU69^iS&96(WKL%n4!|z!9_E1A6KbA19(v92aNFQ+||R z>0b{s(b3H=HKf>F2M?@r@Gb>z**0N6ai6dAb}@X(D5Fg=@yf316^!5W1A72M$WO7Q6ZF%)^LmNZJR zXmQl8O@$wOn8y6Rm&G^lHBQGJ5j|DPWERX!OEz~cAtSPSiyN=Bu~ANbV``-N&HTo* zl73E83BM7nFXgpf_)H}n*K~UpnouD%gCC9G62C>ztn~GfP`h?1RLk#c_qnD|vl8KC z-U>PHl~z@_nvT_-f`KDNI;MFSKxaefJR7VVS~s(y5=2;P4V>X1GvRKL>gUsS!rwl0 zpZ{JNdE;Y-1*K1m$ti;M(Te!(>qpXhQTqYIxXzS`ho!N*e`>G{#g($XISmVGEIxt+Oe95AjX|Lt547MLaQY#{# zAep=;skXd!`J528IG7mrVUgd*r=` zrV>94eV_q$G+;~2Gq`9%F-3|}3ehWCrw4gTmu#ye+@;PApSi1bd8jr+OY5bxT+hXG z?}cQrCl-VRhr-))sxFZD@y98mi0^c^9HN5AH5+OC_={I&a!Z%m%e!2P@lt5JKwW(= zrGhV)q0${Sc0+HE;A0xVL6#omqule()cPsM-ZiEDa5_<6Y&dju*(&gMQhNW}&XIs~ z+PidoV~xxHL!bGeL?ApQ*nC}t29$-=d&A7a5bJ0#cTE=TYm-xYtzhB80Z95qxCA8= zX*>sy$PubZ8As1?t-*h}JrSP)t=)=*R#*33$MySLJ?6}6JmWB@A-C&@m8E+r`3R*Y z6H*YKCn?YzLKKZ!d9f`HyxJP`}w&d-j$OdAJ0?rSnP>s>s%R^433paIXJm* zq%@)yY$Puneq+$b({r~|lkOw~60kgy@;-td@ljUXMRVA^eYJ4cQEuW9XjuKtIn-1~ zh=u?V0no$sfrWpt#!FHLo%x+%!{{90;=Bzp4j(mFcFdm4hINhBQ$W7VzHm{LtE3jb z;M205Ss5v#^WclABHxfwONvp3MCk!;TK|)3+dGomF=SPzIc^A-Bj`2SE~S9fugH8d z65_gAT6SO?TL&zVzwg`x=@%e4I%q%*OOYpo2GfmndvcTEK+;TV|k`so)&-YxBaqmB0dj4VJ-e%e&p8H3;)K{V1eiX5BZZD;! zpQXF>M&#C=FHn~ue`2pgpD`n2R(|BQ4csk-R1y~<^0?K`8a)pdzK9_n#90(|Uh1&<-M2u;{DXQr1t(+TXIfCP?sU`zRc0=zK zs?7D{>R^)1c2}`k%ajE4E1V<`Z{14t<>I%)Lb=F6jKRX$qC`^;TRyMo2kHAC-z_j~ zH1xq>`KD^h{cIs)@X{;3qeXNhvCCxmpBn`FJ>U`^Jbizn?1c>a~z9@UT@h%h= zH%TW$pq}K@9pO@BCsOLH!YzxVvsvXAqV->$Z3PWy@6Go!T0(iVl z!RK8sCyyW8u?Cw+-PGP=X=22~)-4H9c&=ZtBa7(M!!>{R;Y&Ttz2&$li!<9Yp?M`G z$t-2z`%#EE#TvcO?LjCydYa8^NdH7+$w3hsXPIs*ehV?J{chpN?wfRKJvK(-v4r3b zD>tN?uoSD_&+4iZ{yg8-u*l8&WO-A00mrj=4H0%|pP8GbV}}@TUb$qSSh}Qfv6UI@ zdiALKWESLzx&Cu~V#j%N?T0d{*2@)1-%^B04z)8}Jgx!vzZrQKPnqu!gfdhZwzl#WRSj zi&J@n0Ayr?&%uHYqFAU(5I+hNrb60<4sC$JhMI&Jaq)CJ75r5s~8cEHSAVWRl zs8v?INS%{U3}y%ByxCl_YC~Z2QUAufcHQ+CrrISKSJi$TCwnZR1(7;Lx%El3Bcc~y z%~L|U9;oI45jcM>DOmA5B!cHg`tCz~STnw;ox(VWi^&}!Lj&cWVr}ms*~(`m3KG(y zj-=kFe)o|CrMg3_I`d}}#`oaQvM)3dl7_N23LP(gseHB1q6 zMXH-EOVZ(d20!Uqwq$oLf{iJUIDt^zY z%tAIG%(N>)H?R^To*D>%8QXu>QE!(!_V<+wUhiD89g4rMGc22aMFO2=u0G@V-322FDMIgDWn1J?#FdmFzeHE zvvqgdWZb1N#h~HLy>kE|hmG1TB~d%vSu^ixbUeq6#VPuf)nDKy@j5T~4J7bfQuuX# zy?l4gro3GG4}71LxbXg}!7?z*o{1@&hvUk4qEjbV?83?rv7I3?{1yX>PhB1$c%&U( zV57>M80!IXurOB570iNxQgX|BTrh7H9)9?0ki9|?2((Ont;cyF%ea8$C)t;h4Sw>p zZzU-UHkH5g^eG~Fg)91#F8y+RsBaFOvCu=#Oi2p2f+HrLIZD%`6m(E-Hn@hp_@%9l z3KMzG<9uCjd9qSbAMJ@*B;V%S2*5Z7tH0> zpp^c>{!Dg`3quU6j0kHKz(Z{gp_5PqpX>1+C5tf6@9)uiq!og48@QV1sS;9c&f`HB zD%dTI^~78c5?R$g6}PFw`vQT!lGiA9%lZ*p^=3+XxJ38}ikAjB*=`^Ok1vnSAd0>& z&v7ZtIcA9eQZ+Ic^cH?C%ZVB?=Vroagy9IIbgv;2tFr7?Mw06gb9w%emAPPOQ^+VT zJFqJ!M3asozRC<@s7IZXw?AhNZci&T+Wx?u=YQ{?YQb!4!34en*CdTn*_H?i?GyR# z4QH}TW+fe7wr;g%d>92yXmZBur&?n|zJNl9T>MoO+;ZM)TyYq!?&nd|&sBeYnI@HfFybk&yDbJc0?$VJWouykg!hAy!MoUKj(7`*eUT14iQa7dSp*5sYy!A%E*HXam zm-P!#L*C&%q0i*xmf=i@wJW3qJV^u1v&!qP$wzEZi%DwCFIlv4eiFP8c)ISckm0$n zs-IezoO$7NGd!zQPgrVKqj%Q3i)QM+qwukFeTT-frx%#@!yQ3#ZjQ07`ZCL<3cXY= za@YVw(NOVuycti2W<u7S_nNqBGSj6Qb*U%4a@RxlUrwrpWPPb3#_*t;&5b zkEMJdGx|?E97XTd#Xp|^WlmaD+R^UbYl!gqu^<(}gIW8L+(kMnDd~o+(`T4}A&;JJ zhZd()RWlQn*K>%z9ckZW+Jp~SBlt`^7_Ub#%=q$9n?le0iQ6#q5UU|fl%#OEyS?(s zrW;zvX9fE>lYG}0EZ4Rh`PaDsWH}*cKW+rWPsne{=7_TR6n6XCkn~XDFxpF;?mabL ziin<_m3K7R_~DPfIY8E!^NzQN!$?Ig`$3D`&_}h{Z0c>(4xeKf}^vvcvIkaLKN4o5lF(*ASs*XXk<2Hm@qDluE+~ z8Y6vgl5}|UVh4J{GRbCT*eg+=ouHRj&$R}&+SHD;8W5i zw~nqlMGZfM(YbZ#^-UhKdPdaPJeAj5@+)*>;sJD+RYFSHlhi2@cR;(>zVp3YurU1vW6B< zY)(W`kIKy%CtN?mc}SCO)8{W8DK&mr?J+|AsF;6C0}SK@Yv^2pb$AncWmAV2FN(=;j&|%1GC!}vR z^H3#S!JK-!+zI$KrmAZ5yA9oH2f^ZHDtr1mob()HUla?L!F7f$FOzCgFp7i)zs8O# zhr1Ox^)mHcFM%v%FA$S=Iw0~xNMZaM#oMOAUSFq2=KNsYJza)hX%WD}OJ;X9=3Cz` z0nTX?*tJ2DY^TiOE$UoA`A1F7Pm}iTFYH?* zwday9m&%K<1IvI&$G==uy!mWjFC<d&FZJ)!uOA3r>Xw~lfS>k&o(w+~J}Ctq zrb;6DhjZHCJpLu&{c{#^#cVq~i1TA7O=R>+n7`)l?ovPE5twrO z9vgoEZxjp4jMYBnoXD7Sb7>D<-0XrL8^wFCj}~3lQ^u3LYG$FRIWsGv`CC~j(-1eX zG;}KQ+%f<6&}hU^=g+hQf8F`m$eG(atrjV$YFw;hM_<#iqI*zaTP(G6gfG}w|ElXt zmHE0=1=FuHb)#)bp>PXsM8k{?2|oAWa&6W;hnj0+3Pl}yE+tqKHdE7yv?OWGrX)E^ zWn3jT$M|pYxosAln{E}m_M9qTAcB~r6i6QrMM5a?mi4#(KS7!t&VgWxgO`IeZ_qS>&REZqQZz*Z@~u6Y-> z0GVppWZin9*FOhuQS|;geI{p4uJw_1TG!$^~dT+!u{iOQSdE3Jz4E(5KVW%tF;%ZWgHymaVoP3TT9;Sq@Z~%hf!2f{+$+Ac!;m zi11aY8ATd=KscFY-2A!6;i=lG-0Tx{t}|*5gqNo-BG zH~+7m*OhR9hecByuHET7&O}d>g0?_eT%jW5hsAbe+n;+`_P8TtpLp9u^#}0)%f1Iz z&QZw81JXt*}A$o1i$7!hSU&rl}a^jCiSlK7n}3YI|N|SVh{~ z;4grOBy!^jR@0^)#4B5=(<`3Tv+OGp66LU!gcT>b%xUKAL-|~5Ge2HBnWP%N4Ly*! zpGG}li1gM>L%YuKDI>)RppKBAd-3h`Tm#--Rg?S9=7?mc7d)0fX^#n`w8ZQ??($AXH?jZ;MK1K{=;q^7pR?c_x3iz)ZUlJEGR^=IelyjujwIu& zLQ*FP_p}`Kh{BuqY*I9zyo-60LU_m0vd*YQ*qK0zkt{xtr3hBF&z-Lxm>sXJ%|Sv- zx(?qR2Qq$Q#G25Njf;1**y}`Za@f4yFVapsyea1!n7GK+Vsi(@_SGS|#R~OoX|k9x zmXtun;wYok2VaiXA*X2ox{?M2(15=yAlM8xG9A#~wK&^M6rtw_D{n|18!kgXqoeYN zz30-bMr(vMCzPT*zIW#Od}V)s;&Nnf{U@In!1*4Y8wKy{3oGNz&AWD$g%E952xnt` zK9Uk(RRik9EY6tbtOrS9EH;U0W84<*houKpcIG@%{_QVA5PqZ{F{Pt%%tpa1->u5n z9a3SH6<#hPwO3CF-RCC?^E1DKTT9REjl0~d6jgzFTXHu*xC5QnR=o`$XYBG33R;TFkvGA(hQY4>as3ubbk?jlA8BNXO5iNv6`mA81~_BCs@36E(o{IqD{?w9Bb ztX>BGZOC!Y`9;XXV<>e1D+_^ONgBiqvy`@GLI1+D;?b=WYcCS#T)Bbscf48&mmUD; zdazlX4@wVR^0ilgJQ>jio6=K%m*3_7*BK(CZ&IjYdpd*}@m-DOym&&&wQcXjoX@}0 ziJI4H$~AvmaFGW4d0Z-N`BJ`w{Y>-X;6Y(@C7h+~@dq2s^mO5N6@>WQMyYG~X}qGw z`xE2t3O_XQ+a(Z;65Xa{lg1;dNr2mG{z*1?QWf z>#WizeR)Fc4g*Kq9n~pmUUNfaBQNBALem28qz7-sTKNSjL0RyW{^4%?aXILXvGdXY2(sw>ThwJVGc0fHP;LKxeFNnk6@t{EyF}*G(m|0$x0tsGR7M@;l|5L7b<_-o)ayy_^v>$LM1#>aQgH_lHz|GJiZ&9O*R7 zVgJ;v*4|9OKiI`@J2-*T`lR5|4L}f2$)Incq44qJ7PYnj#KcTuO+9vIPBQS3@|ndU z=TFl!Du(CB`ei?>v^-Eam$vBW63EZJX1?VdLRl;ji!K-$RgvA_IhA~^KooZCf`Md< z;Eqci=2Q_4k2XhBJPq3N3Nco-qWa?6QseUMLzxKWGHy_ag2q$x5a&%CE z`wO=9O_&GwYN%@VHy-Ix*@sRu<)#w~<)eEp3&F;*d;LPxKC$wT2MIp&&{(48;+NRp z4ONNB)KZ4cK*ELFg<&4EIa01rUVo8*6dw1RtJbPd?Ed)eWpuwi|$ooDz=MNAwiK?$x)u~0lAeO zNhFYNVD`yu1XNj1KyTDp6A~)u<(%P}V!{q|Shx9LxnYuSw!+In6Rqm?7EqH|Kxlq9UM zhv#qmaK0)CQtDLRh};z+Xowp1V4OA+lJD2 zJ^kD%d(u4YZ-audm7uBf||j4!KI|Fb^;Pi&?EhgJf8h-Rrhp)h8Jl$9sS4D;r&ZZMaTkTM>)vm}g1@*~#EV&}sP2%9uMY(MWKw$~W z6yA-65}04E($mAzD5-O%V}oW!qUWFe=$4aXF;e_;!s3j%uZ5(-2kJ1TKuZ8hmmSe=e?t+BVibB3;xSrT*^H{04q;Lxg$Lv8CIz1Suh?&{V)K zBi8BxTk*;^o2cyzHL1qC;rFy#MD#;om88)226%#c*B;mDBgxAHM)Za*R`jE1>{YhfuA)gDl zMWTracOmnUH1N$4a4vN^b!Pp;-Yw*@f!$@$TR(cjqOD#**pgp2^wI@@k?xd@Gn#`1 zX@FOA@(i!CfGOzNsXD^zR}!(jnl|RQf5bf9p+m5-kkJ{dow3a1LfE)ep@^>my_m@1 zLkm57lL==1X?oJk+lMnq=+Ayrc(ZHOi2ak^Nn?5$3jPO1Z{`!7O37b2fsd&ZhYPS+Vc)`rSp5G3RwhH;yU^EEEh+InXL6|oeyulOF*e# zubMotWw9Y9YT4n*2FF+3*g_`Y(dU)OPG!5iW2d%Zzp&iK4UzgCVS1&P**CIvo)zX9 zH84N0HGS1QZXAq1y*|(tf6K(r)A3P=k?lm?4pC7v5O+E+F|@w>+CHSGxo< z=>><=M(F}X0jWBORV1A|ZfhvTpB10|!jVz?cUZUZuOP`5nWiUMat@_}mx}?02$1`B ze^L%Z^;Y~o!Cf=0Hg=v1%2VWFeF!shNH>;w`DW>7Nb>9s{4=ioyY-A^6A3;avrWGL zKB@MA8?_+g4(eI8n7;RAsl5&F&2o$Ewj3H`M!AR{vj?$M6$D~sqW!FHan*iEq745;_xP&=sZs>=ChK;}2_&2d zYC-c(B0zKB3TIy&hCma{Z)lmkJNFHj@82tBWVFe>&9ED7=;z0kj;RyoD>!+zaN)Hz zdvX3t6ForR{dM!4zFO;%VjsE;e&zlLd$~7?-@ZSyoLqbNhmiu%nbY3<;bV5W$&B>Z z`Ydn|zi^zP)A*MtV=+7H0VDRe$W0E&8Pd}^iwSRs20}(#{oUId7*R5=f075J8f=B!AofgNbp7+Zpdn+nL6$nReW^B)vf04l7FNOrM?N z9x@(ye1E8V^3J#*Mj=AqWKVY6WZ|XB?;3eV@lMs{K&r@a5%HXzNp2g5X`pgGpW!FY zcO^{V4?4T(gm5WpUmDWo=Uxh!Mh+a_elL(!~s~~R>o{#Rj_VGN|(`E#kr(Z$dPQs!?i_0TV*ndj z;Wv6L0sm{J`k>>x-~Jn7c}b2*U45DP~fjwspC8oVJhQ-={ouU2%AVJ-&}0f1m&BWKy63cz^=G$bfUAX1HGk$Ohmr0z^v7JW zLEa=h*C~qG)AfEGmL^@OHwF8!n{i?L}i7?r{LSjMADaz-|2qQUuwN#6{h?K zV!>Bl=%2vY&uy)53CGt25K&Re{m;l@kC9z_tPq=uWXO7t&eDfM;)?Hphm5z0hXjx%PFa7 zdi?BT$ffvbOEU4S|NXP&X2^PQ1O?Mf2mF(VcEamL#cl_WuYYX7Vue)pV3AT6*S=VD z*UWBBp!buK%CV=&mjJ``SWLU+VHurg2AB$g`Xi{yvS@ZMpTw_&z%=VyV!^MpS?qvNd++14Lj?Zql z+-%zN>&LQE`ynipY_i@2EUG%X+U+u>%<|n~Mv$|=YIkzzi}%c;+LmdKX@-JPLBIB7 z1O;8oPsGa?sAUt;t-U-6neMKm7W?*?H|MurAomBOwePR0vKaepGKhl#h_ZV~5@oBc zS(2v;v2#_Nqsv@Fw^wfw6H*5kDoLKT% zX~5N=o=-9~mx|j^d`l#A;}6`d+n%~}8T1Fa=wId%p7ZxZq_rxwDnNzpP6f-X3;7J^ zpudl@m`|Zww0VX%x`f5jFV ze(X5al>K%;hZQNGZ1&mlTBBFZW2wu@y*P^oove0d@od}jd7c!pt&Svj3l_4NWq=aU zOuSQSJ<-i`zy=OQe~(1y8m#Jz&n|r}=a{8DtFr&Riamu9Z5~x-S=khMSIZ{np4Rtk zr{zrC_u#-1f^J7MfG!~Nw2IdUD9YmZc-Y`w&bD6xp}0N8r|Z+vvAvEtgxL9|*l?w` zGc}cAGVRvm!kLl>y*?b=;=p`JROh9xO=0c#Jf?Z^G5gzGI(?yyB`>E(SSM^BrAK~r z%|G9s9RZlTGUm|#Eda=b1jp0s*G{gf9tPI-Zg)0^yYWmVfdZXyb+QDmVBtSGp~u!l z@3;!A5@{7oD%LRUOucugP-J)V@&+jPpCNa|%8-X6gT- z?9Jn${@;K95s`J0?8{V05{hJ>NrhBQBC<|J*6iD07+XXbODKDhB_Y{mAG;)5GL~7$ zzRXz0V9fix-kzhsLnesClhEl9k0p>67E z6vU+%P+4*l1Y!kk+~m|XnecnV&C$Q5qPga#F#_G)_qk$RIq@#sR-05g%}gAQ*$nM1 z#@ir^jqPgXeF0n3;yQCSpkIWg?&gEtD)hSnlb66z)tuD~@-JS>1)v29r;PPh3^Cjkolq3-QSx+1g_Lxk_$eP z?p%SCF}**;aR_*;&ne0LNWpA=^L@5Q2fV$rgdx6;T=fP3OyNWQeu-dkF{wI#llKaRvj3H+Gtklu4Sj0OuepjPw&P`CgXLQ&)RuDqDQ@vS;1zZuzLHmH22U z?lah(r5@=}{(dr$oS5!4=MG9KH8a1Ysu;?W>nXM*?z;JzCP>vCPbDgD;3spQhXH;`Ocn_IF2{u`p( zE3~h!_-5nGPbH@5?d$-}Dh$fJZn76aehe17|B>7x{uk1LeyD zG>Is^(?BZLc=ZzVd<&;-V*`2X)$Wv{bQadXPGH`!w$(X`)5VVUBCg@(*~>oTi>>cy z!LTlNU*I>2(xUOL3yG$8shy+FL8)8&jTO@t$9cPk2x40dN=azi)=A{0NJwul1O9`6t>&8sP*IBKt7tv}okoWs?u` zL3`5+UOqjAzS@;o1i2MfOF9yyUw}Db-F8s3Ej+H(|A6A({sSr%{WofwhYSFQ#(Yrl z>c|kuhMB<^BEav4ON_tf85@~y&z#L;WD2I1;TfXz5HhS=_s*}qhUk23&W)XY)qBAS z3Hw#6uVPxfpSME4``suY?;ePO>Gs9Pck%xwMf>50$!*&zAi?a{mqagyV8Ys(A_ex)Nlt`tcdVN!M zbD~p){ERQpd$pfDV53v3ry!Q*LwO>oYo!3V14l=Y6RP3QWOL@Ge5yJE z?tm4GH~;~6$p8Gjxpe<5(hme!F{X=`OkZ|ndfc_>q5APa?V$Om5eM}rawr&+fOgtq z1KKM_9x1IwBs-|kYIjidxz`_yf!KB1xKT6YLj`LZQC_Ihx+oN0C3 zkx^58w@S_6TR-h8I_5bO|Bm5M4B!E^=eE2*q^{5mC#NsEjZH1I^dvpm9zZv4BDHyb zpMT9}0N^8J{{cNxW$0C2r-f4_=RXa{exy0MYpESltC`G2MEVzTck~suuXP35^lBxk z3rQOWW4h2dMQrO?8p4B=Bd{v(A7UD)q5VbJp)nh{-i&uZg$eD1M8VP%K&9~y=#&DT zuhLn97tlOCg?4iq=!FQxY-h|_EW770BkNU9>}d%e%EU=U!KTlohxFAZDO`#0UZ%YBw8nxM}m3JVJJp?$XRi4aK zUHFkadE?De_g+5-?4rsNnps7WW(}*`@7;s^t+MMFuEJ>p z@BFPiHG>Uc;$r!FR~-H$I8m-^Z!1PZkfLVy*-1dqTh$`-Y`Rdg;7Yd!Ej8g)Dz_A z5%nY0*Yf^-jA`;ZdaLR_a7PZ3mLeM{0iEi#r!q7vwN%yL-`v~oedo3J%vOCagijY~ z7JlSF2htiha5=v}5VP9-YeZ^OOSzXH1h*g7$xYBz=ZCpz-ONrw)U2`vM}YtXIdBP^ zBqg7F^5qBsi-(8Ik6g`Mc3QkO$HoghDw%m4x{_N<6 zOM0sqE&atLU0m*z@0Q@r_@UG5sflp-qbE-Z4J*6p8G!T^6w<=T^W)!0>tsLQ5RNU3 z3j$;{6P0oSY?tNZpIM(Ru;}8M4~ed>Q9OyQQ6dN5O~{b=wim~G^VZ}u!z2vo?jm42 z;~e-~R3p9+wS8A2pD*5>ibuYq3>@ODA3Q4W2H-BNZ!Ih%Jo3Bi^YFW>?AFdQqV?1+==gT!vYMD(GTd*QXfj%CvctE1nW_HW|} zx&8{L{f%vWm+=!mJHJ&L$egPJV?j)L;8ed-gPBwft01?-_F*LzkoX6K*t*Z3uMO${pQijOR+w z*trwm)dfIhDLr5A1i@d`tI4E!;S2hg zp>g@a=A$*{&kbIpc8g`d_s@{s?5N=5JeBF&9zKBXXRH@Ig*#3I;$#hR^=r20NglL| zS0tDlv#gKvS|wfaoO@qU9iL`rYB$rov1%5)-~MRXw`GDL0V?~tXZNL51${#UQQF6! zQE-CdYco72+6lqaOF#=-pKfw!VfqIYYgVBgX1smtTHnH%M(Mi=UyD~Q@id?@VeW*~ zWMBbv;3;Hlhr4{yqu=$f3pNCl=l^C3Fa+4@^@Jatk}~f_e;dZo&4FYCpkb_2DEF3U zk>9b`Vr#T*jaaLS(9E*1z%MeJK-4+dVnFl-pf8eFt%{Krw)u6h8Ku4T_lhNqbN*i3f9rdACFt)Mq3$H4I;ZL8gIo_^5k zbVXZ$eT7+UG}kAuw*;R2Y{zApjK`1B9k%KX%*>6_u(i3firMt zh>5}}>4EU1(C5ngo&v4SwEGlh9aDdLdIbZiV}kqzD{bT7a_##F`U=wE06r2T$y-ZW~upnmbB%6KnhFmLbPq+6f`y9 z7emGpC#bk$-y{{iv*x$QZ3@r`j{frVY& zSb_83^U*iYaY_0NG_pv5Rrtrb(@Ti)v|I0+%J~zZSkGBE22*$ zt{O?FKag$j=(+9r#pl(M(LU8-0_`|tG}e9ENdw(2&T&cb=svu$?#HjIpyuTBeNRtG ziHR`}P@2NDMeiOL(_zIcX00MLV}gxOchVodb5WMl*KhQ(d3Py0W~U4&8TkxZAF%;Q z14)>3>qw}`N(z_I##`&z4d_3htHTZUu<{^GCoB%iOUojbRA|X)UF$gUD%J2*)qUqY zqEqkeR)i8*?c(>(ATqZcRh2w3OInpsne-bLU%kBr{p8;-NcbE8F51>G{|YeTY(>es zZK?TAmZ3>e&k{a0^$at1n9`vOnR6BBUJ0#V3^8O-h-;T1WrfP?)p+16`t3rZMIxB_ zS8iA)2>1PaMCWhUtoH?Vb+5Qm4CP+kd8lL&O8{wR9+Uw$q#(+Kvi7KrT-ljJ)i~K| zH-SQ2PP^G~kiv5ySp>DqPAFLX{QJ;69_E@=(>(DCAKA(;86DAKG~Hs(b{;5^16o6u z=iTRbz#n}vT+X&UW1Cg*i*aU+9y^yk0PqRV>Pjyh@m@;V8_SRf|wK|I+*Bqb0~p zpjSUXRkgh>Ayo7@pCRPbsz$Eu%Q76d8*J|itV`vQig>7@AptJw0Pu1Hr-e@I>8x_2 zVk_zLv{%4^t2Y6ap|k({kB{usC_9*wqInvy%cv_`GG$*Ke0oV*IZT|Vdzhui`!mUh2D(Vd`p%I%{qk|4{KxuVehZ^0Bd8UI%k_>GqU)gJ@hz`QY|SsKlCve` z@NzxcfU|_qs(=b0v$f}(TAkCRnB@_tA1R9kC@lsK7e1`8y}ka~iMg(|wQlT6g`%Ru zg_@fBgrZDR0K3@Tf-66I!$2%4NRauG%&TU7*v9uGtA2|1qub;RVn?bGxjsAUVgU-f zpP>VP>PaBqe4^I(RF<|y((gjkF71sjONdsDhl+*{4=S}#E0L|XA4n(7j$SvOyQmL( zp(Fgfiv?mzgLH_Y7Ethh0a%ZjxMSYH54d{I2)``%{lCN&iD%?X|*>Ej@43-Y;DoYtniH z1i})m2#EM~Elmm!VaDl=OBK*rV`qYYqhU19J;H5q88>=@g&Zi!aMYEMW4P^1=4*Z*2O7fUu zHhlx1m|N?@vsXw@xt5&7dljb3oFXtKr;dGCZBRGaX=vCst=;-h63)Z!ApRDDvhDuo>RSEU+DsGO(4f0eB_ppeK)gR`c zmih;LC5+QIAvGW4zNM;kyI{83Ue56^i(_h^u(ScLr*#dm>8Z1| zctNE{v}7qu#ErQe>Y$sQUK@ONcIw_Yp+d2;GA`mc6-tOdBliRNUh$CCxib{*$xeva z5TMo^%lZ@|+Bi$5!nZeMN*{{_w4d8fNCM}tiS|IxjcUmgL*S;9pW?(NaICJWSGm5t z>#!-_68L#yUq*cGX%dqZfoE@fv))H_!;y0Ph-W|_!r83sDZyA(el@eFs;arR%Xf#Oo=|F9?RgY%jl#YzMV|Z6;96i6gM6(`g(HQ?p!>f&5B88JmHso;I`RCy};|M;6m-nQsA*4uso9LVF^Hm2?Rw zs^-(~;H@0Luc=>Po{Qq51rzbOGZub%uO%)|G+U5@*vBt#Eg$^7q@tLzbDB{?d3UqNE-9-foyMH1AUzjGTb< zJ@B$S`UbmA+gihN><(#m;(36d5W``!YDT>wAwIS-e|)@?FgCbcq&L_o^KoGt$zMs) zB&COwQ?W{GmdAgh&!~ z1+L2g*;4$Kx5}>2Jx||MSM-k7z*tI_L0YZ6#xha@h$;`?ugz!$>vE;<+S^<~p<$k=$Z_+Z0}2X55}%#R3M}Jfzuish0g%!_ zvRxTKdp^dU734 z;#TbmzzagJuEvro-(=>Wx95_W)(eYZ5g?%QH>3@W!`L79T^Sy`6;*a`&`u zT@C3FMNI7z=3JW#aO;Rmvr>W-&rj!7o!m+V#w~CM3k49b(LD z>p|88=qtbM*xjt+*OBYxjjY<~EfsMfAQ>e*Pg0Czc$`GpPOun+izl`S;tH6@ysm%_ zrO#1{H`oY133eTsG6`SiVJbaud=>@(La!LZ*n9-==nwnj>ue)G8KuuDlPhDj1pPh1 z(_h}`fvbp^V~TAm(Ic@9On3b13{@CiO8Y6m?s)nE{_X+}|H*&yUr$oAATS{fXCA4sPuuY5f_zt)7Q3LTkahc&hU32Dy9YU~=ERuKg&e@mc$v*yAS z>4wKSn;Z07b80k1P^%Cn?nP1U1NowS<#cn~u=>y&sr?}O!~ji`8aY;LKK@1P*=ce{ z?C#%ymT%1mymb*4A7v`VHWucKh(j*{qLb+wgO3HdLqxpxRU3TBa#_ji_ZO!0BsO>4CtI4HYE9v1UlY(AuZ%n6cAG9$U`zg;-~9Wc(~c{(09}zQ z_DGLrM~xz{E4mTEXKfT>=f7V%dtec2*Zc?e=I<4_FtRt$3TCZ;VIXd~Vkfpr?rP+&F z$9c-tFW#5ulyA>1+!4)f91fcA(sve{C>W<6HWmO%wb>Y>sdDGDpO5}OprrERV?V@_ zbrmgnSbSvJ)L1vD_v62A;s5bM{`fC$VX@(V=NRt5Ypfu0+}vnq80}I~Eb;qPC9!%G%Gd+vVm~{yqtiN2hf8{bs8BxdANcuRZ-h*gfRL=WTKgz zW233?;Z*=Y8=AIn7{qH9r{8a$m1AMB51125+W#{FBj(Y7SwPf9a%c=e5p&3;3&5U^ zo`fq(z~0U{kM;4Ad{!2f@+DIH*APDDZ$fdl67aL3{b<1}_8hlpF4Sd@l_sIg7aMCr z`OY<)aY63Yj%7~2n`T?~8UY;@JtO!zK6o!adfLIR<$RvA|`U#&A;nLIChLOf$m z>gk<_m0rA?A)=)W$d>s~CR>*WpGzJ$ik~1_N{s8(ACs>+7?t}J?vA@O!FqrIDGpra z(Xihc!=uCru-77suRI)`N#c->CJu1=G`8JPMyEgNnlxs=xzo_w+uLOry{6Fion_-U z{&&o0)D<#7H)QEQ*}eG5)$#g!*A^?2_jV~h5pXH8@`(OwVEINcwU=zI8UrV{{y!470k?_l*jeHvWQ=I9ZHOOKmm zKq()N5E!l7M^o`{hTh7EJ~RG9P|$zMuRkkw6ms?NGt>m&V9BQV!-B%;AqG<LI`BQ_xjV z37~k-_slaI>$gi+0e=FG((n(c!j1l~llTt>7%sFnkUIhNGgyQ+cys}!KwD9sqhYYg z*m8-?-{}C#pqZ`8(N;>bj{K)mC5Ea)DKDRyA zIh_1Tw>kdQDnjQnY`sRY$;}Be4|1+@2(D-Qux)oTO#5A!_FB(6Kp^FY_k571`H>+c zSi(#DMNQgnPu%R}QOAhA(C$yoph@l*(QRAu=(Va5!-@K)CmB@N<9xbq3-AOyMy6;w z!nA^bu$=z0c&`f&zN0}QLBA)lTYp4}9+7)hm99xHh|_evCz>v{3Qb4PK;N461^*P`vtM#`^$g|SC`;WiHh8AE2~fW#y^GeY=CoHYrJNd78?j3OJ=PWC zV7qw|8YefRehc_k{~wDgI3JC2CLCvUZhAe%;Qb3A=t)x=>e+A)>R8)MZ zs!Jy=I&Ex_9&O*3I|-;q1~OrwEn8L?t?bwCS3KK~gP14e-q<$#A=`Oda<)12Jk8GQ ze8$6H_cO8#_fjtSY-6^9xL`L)OL1r?d8>KtU4Q^~Lpp`DD4l9d5u;o;UKzQeBq(|Q zFn+#HP$n(1t5usKv!Pu+i@ZLsCOBVfaUHxt1{u&e7MHp0fN7pnq=fb_@CK19RSns$N+QVNc0=MfU_p%*QjsC>vJEP|r( z>yw}eA`zvgRMH+9`xcyLAl%Ph6Lu?CXCExU_&q0DJN^%-3ME)PN7tb+i%HidMYV%V z0Z3x*XQ7~ETY1W)HLX5?I2eesDeong`UUFNWe~Q&Ig_dnJYhkr1~?_B?S^NK)VRasexibpF04T~8NyC;SHHG=&$0#9b&UFz zTq(r;(z~mf|E%v?qR`H418A}s2_b>Iw>W54Mw7ccY(0>ZaEXP?)6XZ)Ge;ygSNWZb zfFZr1MsZTk_*EI|)@XZZLhk(*?0XBl^%*_@KskrMR$AnP`DlY=Ru5iRUgTu^ zWC1o8_U+&|36?HLfc?!bD1sYyoz~|%)nWT+j5=5|f>I28K?*rR9VV%~ed91E5hw5u z=w5cbT*1>x#J`iFz<4`?Rh{8s04S5zBi-FTh5vMwYb~-#f4R=AW`oI!L1!~m30fN7>*l` z*D@6Bg1_O)jBX8e)4X*~)a{zmy@=)rY>60Q+rZs?S%Zv-YLifrgY$x8+W7Kq1bdR6 z$yZu&dVE&YwRg{&&dugax*BS{W%_@&Vn(Uikmx4blPTYmT)AQv^fSZr#-L-!i6Oq@ z$Keo+%R!kb5M@9i&F}n{`3)7MjdkPMRSdpbF?cr~!K-syOuzb!Qx=(iUPC-|$t+Kg zDIP|b%vr5auPPk4yMKB@N(ixd7sl3DnMt<*rd2#Nt50i&ACYF-J|w;RoHA#kjdley z#PRuu7;O{JilBjnwqQF;_u@a7AyZq_x7FNkjz^DOwk^Is-cj&<;T#6p5Pq^WzA3!* zxT5WuA%etGz!2!|RTM|vuI6r7X>-2epXie<^kx7A$kom(eccu@)OuQVupsUVaIJW} zPO+@NG=`Nj!cIPmypaEf!68iC;+pMnrYI686B&X-vYbndO}8cE60kA5g8HvrAF<^bAxA(#sC$|M*2Bmy&ydB!hMfhghGJfX>qsB zX%_}B+}uhmqk2w9-B?a3my)jNw{rxpxfrU*LOT%ti2rd|Ixm_`%n8?`9IrN z!1wjvHzr(8uPk4ggH*e=JYq~5)*xE6X9myOt^T-~&sk$0gDjw8$*c)JRCy7rEy2~7 z{+}w|yc}h9#|A&;Wo)hj(}1X@`N^&nbL<>=jLuZ7PTEJL{%BxkG$tnn6M8~xn0D`s z>3i@E%6&1;pZU4Oq+hCX@a*W$%$wnOhHS(AHN#u%?t`~g-oBrY zH-4Y2uBSGA+)feOJU8#}9R%{48T5BbUmqbn-a?R#g1tU6e#3-z%Z@JA{s#6N#J(>~ zz0zlFE#A^<;MSx0awBsI?En-`cybjzK&(D#Ys9yuUN8`HB_VGX_@F1wr7{NU%L5J> zKx4xp!{B&KK%AY)lf(i7#U17{4s589!jPGT1iEh^``CQm_vt zPuh|;nDRLP!{n-1_G!^I_sBBy<=V6bk%VkP|7v|NS1s2oCU-hg?mSC-@o&(TJD_7u zHc$3-WU-mC{kXBN#gBi#RQ{bM`dQ|lhcr>D8m%6|NB+C_>uge4;kJbl<;;M^(0feu%3#GRpcKZ;;1e=ha9UbBv&*t7rYbk?OTnV!e|bF|qgj^GBezz1a?W%4A)MVF)iH&RoZT zTcu9DXWCZ0&^g2o94;-|i8{L#D#q)>1?gwxo=C6Y>4_${Xyz1sor&_^SD{kJMb>!= z^8WZA#vO#lGmtJOn|itoq6QLm?YNwvE!bUGx?em}L4Pkwc97XlY+k}bwJ7@Q2bEK| z=XLYCLc!+jJS{IjE!MMzNsAk4AMDDHwtgq$V{0mfoPOi#-k@1O6&KjRB(2rfH^tTPJu#W_2j?H%2@|1-c1xVjQp0;WFW!O?^q)chm}G8hsUJN+ zU8U%CIM0hi*+prJQ{|_ic`Y2uyL7oRDcv+-@!JI_grC^+F1!8(x z$zVJ|#*O*we@Kdba;$fW89`v{o_)k%>=5yZ9W|82I1Z0gwehFMU48I5wGP-E%T>me zV51KumMb@u=jLW~ogLky4IFbirCeC=D@%YRiduz^KUP35JD+x9NKyP_K00T%CVLjZ zDK}z+s_xO32Cr48C;6#yTpNDgzJtry;Aj&?>DxI{G#ER#$!?iFW6n)dTxP3Y@$a+z z3G6IkOgJ?mbr;aSVF1Yy$cQ@|S}p-vzla;SgQ6Z|LhN(*|u<;0jBRAiBAeSO~u7CYUBVhU68WHt0bfEntj3vL(2?vs~deccp#PV!x`TnAmLhUomt8I~_qLu19ce;fR0PR$ zZB7h6N=tR1&+sPYZdQ_e==JiP$qjSU&Cthx`MZW+P`|Rn?*ookRsD1%j9Z!{ftf`8z_Q) zl}pKh&Edp**8PnvigMQtDpZ)JPhj()Jwfv-v{jeCNO*n2?EQ(rez8iHgg?YP@#^;u zu~Z)#6R~otm}m=Z#p7ykef%v}Q8DghI%6Sx5q?o4{TxUg_rcWjWAhgW>Fy&n)KA>m z)cu9P%62eKW~;L@{FRDTjxvL zB;7rCIJu;cO}My4l|3$XXK>6}-&e#cimEY-23AgWf&3 zZ)lSBYrfJzWr%NW;L;bE5N*tWED@_v_Qi%X*q3PPyMI3xuCGsYAYz=|R^ivvd~74woMPpqi&E z{^ST`h*YB$P=e?6_}W8-5G>1QBvgR3$0cPAujoXjQww|}*612Jk52SAcnono!;;cd z97173s5xYrB_}lH>AsOU=Y6#+-k-nAS3-v5!E24&A=QM+)7Xi#PA((Lz;UyBOF9PL zvUyvQ;Qn%_p;Sx!d#lR??LP4d@Lq!DF5Qq)R37|gCAB_>(3$t_?p3dpf|7OrS5LiC zhhcV8Po|ygk}Yvo-L9^{-Z-Jt7cL}*T_S)#1q$|Th5bU}kaP>;cM1_LzEZYmwMv1= zzuPJA&Su=hk&d}8XH@lea z%AtSi#~ydYy}G3J-wJP&lgI5mq)voBJPM`A?Vq^N75DlBuO1*)F)d#LB@39^`|-q| zdhskt|3hVl_5CABlra}D)FPT9iHZEQV#oTx&2!WXVOK-X(S^wH?y`r6)C9L+<^1hEAy|NCff(=QZT)<8iHYr> zpGuHx#5~L*Etrhy3Bn}YjnK_7{2r}te!snEL^CI>vTlMUOh?NM5gB@kHp(D|vLRi& zMSQT-m6sbRizRWq-9vZ=@22OeM}@h!N}0J4wsdJ44EWfQxneeocf#J=V{Pz1m~vNo zDeAjGCanE1E z9A%5BLduKvy;I2CQTW#RUBU}En?yeE!W;|jI|&lO0OUV#cPv->H;AG>#RFDL<)v81JlP2YxZyeOT5$~=c-&=n@NJ+<{cPNH5CGiZf!Hvv67~}ACL-JzYmt_sRRpa}9e z`rhA?{HrAMpP#@y3Q2^&^$EEk*NAD?^?S)nH;2Z?v~%^ZL=2>pBR*dezGAQp5*|WT1FT~9 zwwHN{hiw~7q$4{Yf(O?eG=pGs;ja&0v*S{;y>Io zpFBp@rYvm)`@NXo!YMI!bje@h6@1armiEK$$z7rIHea!9k|}Ik>VFH4A~!K0loC0k zvz+@nnhojkfc*1a!%*vcmn69)=+1_)|DHp?_K+_yV7_PMz8#eN`QGKe%N3=cEL?+7 zRFQ<7)(>_X>*+W^RFf4PNegEQahc$kgkGUd0JjctB(YpEF_hV*l8hmVf%=l2HwQl< z#FhrrCGNO*vYvf8|8Cf_`#1;YoO8QZLTa2LOush*j|^3Gy7^{S;iiD-0%RLEv#=?2 z{xwTPp;Ef_#!+4C!{b(%gH>A`gS&A=p~{{!=1?EPIOb=67zdtLysC06CH4(pA;f)VdnaAaA z#C}*cuPmnVVJ(+1DooiS(GvwRl;@wq_NOpG6XfFcNC1yJ33D5NS<(Es^o;OkZU2wy ztj0@MV;C&p-z{$*jDD%Hx?VH3zOgPZd6Z;z2XLn7J_O~1^O`X@K@#Gyzs4gv$o}0) zyAz8$&Rg``usD&%!q8r*NMp0%?VhH^`uU-|V((St>hHFlG-(LoOx^%kdb*(JNV^Uw zg#5U2YFAvKS3fFD$YT1-i?+FQFEEWmZsP%hycW}gTHF7{JkaAP$+u5|gP7)8ohh&` zJReYR{>4W@g@!I>5S<_c6LjnL3SzEZ}-9?VUgmr zhu)Gsm-p^%uYpL5kg19OONT;CjnkJ6wk}I}TuooCyr2mHmRbo+-0URE#4-}2A}4>> zxSHH7*;KetU7sHK_wKpa`~6qq`HcY@X)cJlB~TyO4%0@|Z|4+^MLEwKs=`}h1Gq1; zN9}J*bhwQv_RmY56z{7{M413+XFS3x;80>q*$287OoEan$vhtbx!T6K0h==LE+JMt2Q06fbikw}Tg|ul;==D^&%6D=Oleaj8oIYK{ty zp8uPyf!{S+^0oipx%aAJ+CQN7OvNrds|!Pb!u=8Ngezp7Bk^@~EC5`pLRPa?jtC7P z5m-IB!CevBC2^&OCQJFeu|NxuR6@dfy=AX<^K7N#h*jI4m&E=7eO~tAHG_Xy%c1OJ zw|D@6LJK|y^|;W=)l&OcSNfz}64>F9x|#Ue}9cP>Hj)pm4Vnu4(nVnkdUGH|B%ggC{#3C%z4+PoFHOpyP z)RyA{^L14vCp-}Ke05PRZTBE_s;pmlUHr)g>^A%1ZqZ-p1bcer#7%cjr~=Rg!DA=Lh{Cr<3k3Y*^QN0pqpebqW9jC<3OJ;yXTNMO`&YX_&o}qCQg})j zej9^)>4Wos9|htXhD}n3f{wk%ONT!G+4pRK+ieY_`v7l3`)&dl40J^TVpx7y@9UBhw-3T@X>dlQsJW_9C(8@Y|a-g4Z$Q1#5RkfW9 zB#qJASEta;=v_XW42+gfAzh7J^noPqg1*r6Q@ab?Ch2RcGy9IfwDptK(BGH_&-;OX z-2y%ZT(>Vblsrz%ROA%S;!t;#74jg_n;-0?0_2lK)kNQ(MiQ&TZvJ#_J$#t8Wx8CrJ1_H9YaT<3 zIl6;KVgR8%N|Jc?8ZxyjRdH+YbziW&HrO0LP$j%J5E;G$NpH%FL{wAXlLriHTa5nF z4dz{ES~eR4GeU;;)2}R)ti#Q=dO)BB1_X8DH_DE57udY&?>n*A&irIqaTqB7IqErzY1q4Ci zof6zM-J@Hy8`E7^k@pS!8V=ka37K)ez9=*++H7Uz*|!8NfVyp=npcH>b)~{`t+NU6 zlF%W36Gl0q_rO0qfWmN%k0cXQ3!cgXC}Dc!@`4$fqG_^8SCD)Yg-IrMUYt$p5M-nQ z8{Bn_Y1S#GRo?kFv71%cGFEwkPe&_69KH&E4hE!F5E4ee?2%~8%YqCbeX3|Xv3-tm zGVcfWSF6-Zh9q=+i)INEM?ru{3>#Jya>lBX6%C$qbJ(AHFA5{`W&#Xw(7`62`iuNC zM`;>ai4Bz|znb$LL_fdByw~SJ_y2yWRSj^=Cw!a(HVY+)9CE(15E*{>jQuU|*x)-^ zk0QA-cefAC;lzemnO8j`|8C;gXDbh!1nx=4wipSSn#Po)4xHs+6(-9WJe8g8DE$#< za5!cao0p3g*jz_xl5#w-x%}e_`q7rA&TayPX4a=n=RnH7yM z+&*Hp4nHJYo~#>wCnOflR(B0xu)7xVf8uB!+&t#`bn=o#o-SkH(3}4JxUE$QN!?PO zqOlI(I}h*md7n==B>5veM`pl}JvxTy>>#M*mjt7cb1M2?7*M=`N+9Fwac;)Ri0BXTF|$tBP_mMHd{47zXPC$RA>qz zuscA8Cgw|R%gd|~sHpl-cZc0}jOm%=4#|_z?0X$0&@;e(cTA@|?4cp7y-DIjiHkYw z;*rU?igfUs7^&pOsDkhmuhp*oe6STIZ~Z$Fat6tE@7ML^#8~vlF4l~)X)f#A=QQiD z2`LDF>k3NIVar@<6{36nZazJ z*^H8S%e1%nsnpU57t+1A_ruKJfB8jbVD@Fbe=BbtgwmRX3+m(4gq`O*Q40GHds zH5U=etyC9iRo8!G?7hR;{{QxGN{!l7ZBew^TCH6x)j?5ITNJgbiYkiQkx+XVMT?4A zRU@@)#fZ^Td!%MWY(ioNNqWCO-|zRjf7f*%*Y7y)Kk^rck>j1$IG^YFIN7xyudjJi zZi7D6wF!~$qscs25smIgwk8XWmuH+V=MB*FWm`vPc=cby(NryXGxg|A1TnM`arZ`E zmjm|)Dp%boHipHeLjJ>Dp06{pRpB|SNS|9G@?GGmc+_+QN<)jKvwmbv9U0fNqt_Ob zB0kG1{7Y(Hqp#BX>&5%0dFIJm2gD@1SSz;4^vd2t4j~uMLmR7}TfCn>;P-ByaNq3J z9eUol0>dg&3fk7-B;d)R>jfGH5Yoi?XkvpQvDWVVSVxd;@;6t%RebM*X3GnQXN6;* z?=eHJ^!5+ZZ0Ch?)VUxs$sEK69IOk*-ccD4+=1k48~Y+tpcC|@jP70e7yBp4w>83t z<1oM$HFOAQ`2{d6oXi0t2Zd_wu1pKf1d0Jm;=6m-hz9xTVL;Ckm+d7SXiB>CB)7m9 z&IFvB=(?nT`v*yXh}R~bp%H$2yAZ8>hspz?s&Q6Gq$s|9}67JPtV$YH=tQ z!}9jR7*yPK8bIh>#Ra>CJW}Dxe6DSJ&7LQL?nr0DKWzZwe|}d-#=B=LRrij>)s9E( zI-tZ5)l;j0@WqTW?7#((NPxf5@ILXa)rGN=J;<*!!VJeV!WViU?4f!0*j%rw6f|?D zHaj;!$1tE3BqjEs;&z{|3FoFPN7T~&AKGt=m~YY5bV^E4w)_yyNIHmI4N02d+<|1Q zPLxQ#J9e@D{g)e(Gd@buBJ;PmL;j$bz+JN1%e8iA4I!Cc0YSK)lLye(UJS9@Pkwa_ zD%>@>*{*ee06IOH{;jXf*e15*EK3ovg8F3rSD+X48CJ8MrOgVR0)wF3*3_N5jkzE` zSCtLu{nR&6_JzX&i^QAMsD?iRAByEc5nxe$C`s{gs-;qRg`nEa(JcyTphDCAU&jPkaamdLB@XBQBN{=czS-n$31A*}T*^O~-AWyxIE$e}L%Yn22<70Sh95 zZZ7@$IszZcxwZy%b`qi|l`bFvR`_C}cIdp?z)(qY#3CZeg6G#xE)^GjyDl|_v^ynD zc}}(hLCRgZDOeM1U&0b+W_)*Ll5!5UyQjK z|N06z4piZ9%S`zM6(Vu;2ZLB=Z04lEug0UNi-x{p-j`5@rN>o~IzrEZf4#W%50)|oEZi19Q zu{WQ}0@nBCzch`4N16$_;icj&7AP=li_xj>W=5_&=`(AVMPwdK^*$jkwK*yv6&jtg zLF;*F5k*t-mxk8@AO02AkBOji-;p|Pu<9@;zawsc(<5^2QY5g+EbF$c!+52T3q7(L zMs+qR)}7ZGOSOJUrJ6|QWDVEXNA=B12M44wi9bx~=8k+~+D^kxBbqKt!@CMldWaO@ zxNjqLj4njy{NHl_1Ed{nLnKscZJ;=y0X6L(Q@fXQ=c{#jKJ&)U`+cgX20BNTsc{UD z%x|y`Me2p_ufJee5l6sUz~S*U$`p%tNzWKG$Z5o@8;#LcTz{wlL#v_#|fA=#I5x@U`6T zyPxh#RGBf(w{FK>6Y}&H@_bVeca`bdO7dTti`FJ58*PK769XXX?RxmZ1nlz@sN@rW zy?lVHw<#K9`u{Sz&(q=*{~dDw{GZUf+kp1SYakPE3hWGr9|+M~_`D8Z#DMH}6~w?b zi}&4eX6EP%8m?fu`)8Bs)C45YTngbVzH}BSl@Drt?nYH5tVR$i4T$w1l^~dltsX-V zEF}6Xd2_*VJ zsfuGvi16s0N{;&#b@wGbe?80ElpZ?3kS;TBO;uX+w_$A()gN%y{CU+-)pUv*yarpi zh5qPfM=$}!fEXOqqqmNU@lU^Vvh`!Z{P*Ryr07Vzor~IPpk}F*y-LM9g;Qz5-9Rz? zehBZLMJH%_Wo5P3kbuI0qKZh)L>-kPKQtqS@sZ^FFVhcF_8h|+!$o=j5VX_F1-<;7 z%Z!U&^=7dG_r0_`hA4k7D>w7KA@Mt`)}NRD(QY5+=V$PUvo8;(VZCQ8s%I+|w3PsE<$uMh_!z76mmU>H;Q{6y~CMuOHsD|77>5*irbbV^ANlx#8aph-r z%;O0eO|4>+5SR}Gykxq^)^f!@r7OHqDpYz!o`(eQg4Im`Dk~we5dgsVUa`5;rCNU+ z+*!`_)U3&yw!LHh2Vzd;Eu5Crd{{VMQ3q_BGE^ZFOehwpMCw|8*$hHS_P(PPA*r3_ z>&!yaN8e`4vKZBm0o8G@U%S88V{2jJk}w^nQ8(|+f&iQDId~7OdH_G!K-m0EghiB0 zpX7%7F;4f4{7$LKNQ3KblS&uiGUEp8-A z=V0)jzwaW3x9#OAn0I4yv5m=2HN3@#RzdIUwA1q+p86krhiqyUe-Gy!)Q+Mak!Dm(P(7TyD zhk7~dd~-d)A0bbK<8=sQ?WdzVU6be|!<0jJdCJvY4en27;GOG;Pj5LQ9Q8@XP6XWI zYK(7xqTKz50U-!h#YE$@z8UVFgwJ zmQQy(A8IY_GK>JU)M`TfAetnbU_jH!{61d*@NPLB;oc2+oT~$rVnSJplR= zFs^R(DT+v=OatvJwKwmd0SyHpimv@PH+X5q@TcRs#hoe7huOW8Cw`%Oe`%f@zD_eK z#e9d!9$kNPpUy{^E)*R9eFYgx@*&jRCOLfxfg3hpe8t1G_VWb3Xs=eET)}MwR(8gn zyb1_NOCmcu4{|0ZCyR{usgA5=y4O!4ss-m z<~^!|22iK8MTm?j3@1>c5v z-eMmr%forGu%~Cv{SZ4kHgXKuJA6#Ah)3v_7Nfx72m781vWB-|Vr7TV!qQv5bbV75-5mkIra>ngdo1_6Wa0%?E4BUF){iy*AEw^zt zq#1(fynbDbEc8l%@dV4SVA@^JyhL3?wT(9lCfskABfUfcig`YC0wg3;OuSI&Sx7Rx z^Ca^D;V@slC@Zqx-{Et`JN73$?GG6Q1^}A$7w8b2!`G9??Fh!F>BUEWVg+b7U6sE& z0E{BnZX{#=wKp1g$y}SVH9>%oNE@nQkxh0c;R+!lqXnn8wM!85iA~T%_upuCV_Gri zSE~uQ+)$ow8h3~ZsRWqXM&t@)TB5fjOm~3}iQi}i$B4vWI5fOe%pwjL#An8WT@s<_ z9ykvkV@v=X8!l8%$;g>OQLj+r0L_Gkg39xokQ*eCihzc$D)JrD_g`NFB9ZRkJDYA_ zE*mq;U!o4O z?pg}SuD2!}zfa`;6QB2RnsSFSoF+s$_pcF*2(YQAa=h{-X-n5Vt+J zs1oOL`Qa~du6ISEd2uxH_a?VA^@^=Ff^240PeMkSFE)muBoJRE$Z<`#!~hz`tK(ox zLIaQ@n0vn3CCU|r>jJX^v9t|!+UI+&Q-e-1IpjS5eSTKNy(klUp^s<6kO2P6>OOQ zT%+%m{XrR3kJ`GWRffYvgKA&H={%>V9B zn=U~Eaz}q8>r)C_SO^_O_2a%y$cfCbV%Nf;+^B zRCUr@Bc|=f6fMd3JPApS&%u9q*D-8V+5iyNswhh|o@@NPPpK{RWI5TVg))00W(uJF zRmt|SSa5ArwmS<+7sMFgaamO*+T8Ed2K7};*q)bO)t3(5;)bHKl3B*J#W#9Fbgz~x z30a;SlD=w@9@delh>@T_JR#cU!?v6x zRgxucQ$7yH)*_E%yE(E|H=u%fm~io@ox=5Qll(^p?*r*M-F_dm3J!GzDO1zFwl`RX zP+Bq?u7l@Nr5;t5{CTH`v(uoqW4PpyG~~NPj;#)yTZz8R_N8$$56t^bQ)EPBk;{|) zStkE>s=TK2lE9FN!GMu_)l=6wwVIvjD+Miuwg2P-ftZmmr2#OqklJ4EL;&!_7hEAk zo-QNGC+z3Tm-a4aE&sGrwO=X^4qJcM%|rT1w+fG#eh0Cpv_Un2F0rmAm2h`YtkBKg zYunkHl#=|ejNjfG_mM3WQ(Fz-k>dc-K+mmFMHkADK`i+%iFA_O}^-=lN<;jGjxjqoD(YjAge9zV|4YXF58!njeVg&4x!;8 z$IX|=(QW@pe)9gb39veJ`}E@Rg-LIe>;^O)Jz_a{E;!{%sfQPw5Nj6%+>k;*ghDEp z^v=_^okA+_)QIIN6W3P3|Mkmy-$R41p1U?#@u*dAEtrI1ZN%08?!nRFM?`Wy(4 zCX+0j?}>KO{?A`sx(^70w$^q!(jN~cqSS!Dy4d%_<0tl?J08W21CP+`pMO6`|4!-t zul1*ztB0YasY2=yhQ$}gzX@u+&?jD7!xq)t`1;sOe*B&O*0 zY=Vc!O)pjq!d>5%^b;s$S9cea6gz*_HR7&*ZVL|d)CRUfSmszgepAnpv-VAHMP_%y{9e}XeRx#17J0tfJQK|zJ zHweSNAb}}1`_bU(L*YRGbC{l6FZzA$H%tbQZMWR8VA54sq$J5Jkg$3fH(c>^Qj_l+ z%CYPie6?vz>UlB$sUm+b1)`ewH777Vsa(rh*L8m*gxS`an7yclj&iTi1Y-|WZDl7p z(p_00AD+{t777<{Ua~F=EHtl46k=G;aXNF#H5kmAbv)FO zwG%_WvnYFe^KPWC9q3gdMe50WSfR_X=$WfGg$Oq_7ijW$ni?+(Z43o-S?Z229>CC; zKL_$00m%<2*;}ubj4qFm&2V@fRO@G?tzqmRVF9LJOp2WcS^>WtHtg77&Uig5;(4eh z3E`dfmnLq8!|e;V;E<8X?a0$|6!n-9{t5Z2mn2IVx&z?fy1#9x{_-ttkMgpnH4SD5z-H!*`bx9`bZ$fa%J{(;ZAN5b4 zzS6$#7mjU1wfc0+=$o}QnbcTaJ(&C1TXSA{hNO7-0${$_Cp%%|t^3ng@m3#CpL{wH z+WiKbJJYJe_59x5hcSiczFnu;KTo@R6pLhoIFOEDzRAx zE{0E^9t=G!T6(9FAw0}zL(IgAW)jmn#$1ko7Uv@`xJnO&Pr>RpBdeCqnuTWaZCYXQ z7KP|(*4oxW^2Jphnux50+xxG7ZD-`pr(W)1KA=}Us@nEl0@pHj1R}*<4}$=d#%1bn z;(Qc@qHv<}=S9a*>gw>}(CrX`YTC_-vj8V9U>1f}p_;8=XsL=QqBCmjUI^2ere(3} zR9%Q{heg~&zsz%i=k9C5nCV47X{W(}e_0iDFwmC%#Q%1%s1~q2phfwAw0q`0Pn+t37EsQVV=hTXbZoy@&w~k{Gd~M)A&!u8GqVb zRo2q2o>p@tF93DqfGCpk%Nt^3%eTpVivufWXvhul)a5-evX7xN#F{qAWZ)T4pbdM4 zpcS_U01;{KFT0;|f#TnO+;*Bt*{vOw*~UBz-$z^sxKMVr&Hf z4Rj_kxVz~fI{IyZHf5#o&G+8iK4!3@XrF?Ky&E<=nVvc&dI?tZstvR+!rqbThK$YY z96eg%Id>hb$IBP}m&RV6Wy6YWdy!PSh~XwbM;G?|g6M}_Y%unTjQ4VHq%wH_pm8rv zVy^|-ynWXzznFA`rg?h74J-Nn3mg%gb^(tU#%|W5$^OB#aW=+s$!Dvt(_a-h3nkJs z?vAH>7HRVX?zp24z|H2G%R^{=Uo|Sj^XjTbuCA1KL&=NjKrV#FuI)?2JIu5RQ91MgTk zei<{$?xJ&ib4?d3>;R3RrX=w#hADufr#fKUdbS+OKc1(mIF;b!-3K*IsHfFQGQeed zwkHb!1UXS{-@q7GBi&8jhE0%KZiy zSZQ4UV60#HrPx@`-t%|6ww)9ptgd#zswQ57_$&`|!nYYo4Yll(6u~{!Yc?l zG}v`0%IZRxXeCv)swK+oxA~#T>a&~sH#k0-oMQD#c~^TEd%F<{xPE}_WQt{DumkL{ zoS~9VTO+;iz?Zywfx?iz#kLD;wrry>kVJ+O*Wy1kI;p$2@_(G>i9S7LO|#=^Nbsml zjtwe_X>%R`S+tG{N`+VrZ1JyqtI@A0|C9)S-zM#RQJ2~32*yJFr7p1%Um0*}(MF0y zd!PSx+#x>fEOZ+AvnL!L{uOFoL{OCnCq`^a44%*+$p z^2%1#hBo>I0!G;vbQY@V3cui9^1U&v7R={*Y@~Om>DVbT45dKVFBhN*Sc$8|1mHDo z-7^^eDZ2oZZkN|Bfmqy<-Aq5~nb?9cvJofgmCB*ZyH$q;)taE#p4eJKj0kGiNn^Kc zc2R;$uP&f83Y|cK@6y7?D=jK#gH$_Vu_qSYn6s7v(FXQFr^?EBz3sF;!`jSxPWUWm z@Gw2-zul%lHql*n2Z!M8wmsfn^e7e_4%#eTLQ^Hq5#iIGho0X7w1B+xVeq=97EX)X zv))DfVtwC$vswpDHF<{loH4tOnM2>gsWR`_mC_P{*Uz)#n=~00^zaA43n3meSQuW~ zMUxBnlqPDd`%$P;g%jhM$5(_L9Xn(@op0_A{j&3PJxQ#ra6F4o{HtajedZN=_T`DnWO(3}ZPp6FOO$R@)@yKJwND@^8||5x zdz)3RREPlSTg3gPbN{0lD9|@3IihXJrur`pFiBj~ZTSr&pi9yJzRU5NSWL>)vdL|l zj#m~`f3HjESMJ*4l`tJov*lX9@Oe^Mrt8|*e^s>K1W3Q~G1_tgajWfiOn*e+%@YtH zFfDf&I~j{8DoncOuTd(LH4^zctDljau@T%#7ALr?`Uf&^91~z~PlANo z9;WYu!de*f0hbsa8H+t-+LF1r6e$oW)ZFa*Qf(syXpPTf<%j^E-RB5zlCWA&$*wTK zts*BX89e0RrILrw_D$Q5B-1b>{|E5%&!yu3@9Teu0cina9}Rc*8sg^RSK__CGMlz| z9=*hm%K%s7$1`>{`tv(vx-qHkJ`$M9d>jZ|@Otq#P9Kr3;eY!-awCx5%}bpQiJ%^A zqr%#`bugsfMsR>dzDNr3Kz>O2$l>03Gl73ig#(iD4cMn-=Tk|D<=BfS_DIpDR#S<{ zhllHj5t6wKf@0nw>PdC@i3Pg`M0`HMV#}ZSoa##d9CtU<$kr>PN&F9cbZPcqnu*C! zFj(ock1Y|nKXG9x5Bh^C;YHJ~Ue;5ohWrJ0o#~TXx}ij2);C^u`Xt3p5YOW~@kYa2 z`^hw}taJj*e0<)kq)*7#RY2*js=wlNKi`e)*+F>LRuvCV?lER)%pTGUO^26qU1z~^=!cTsNQL4FuGllOu^znD;I&aAcH+#?+;oL*MFSL*t4{f}jU7c^ETYN~ zZaDCk#JO{}Orq4xa(uO#QejO)2^J%^qD0Zm#Q{-_*$5(Uymm8kj<>rx%KYGjYdHL; z)~h*uVtuiza>ZPWg?Y_Yef!UJg{2z;CiI{?cIrTaz&TEv&5cj{3Q6OwQBmTGU4S;= z%A93i5jSBRe!(>;1d^q3AqSD1$^(MCILS{5^ud}YUl8O6TRa-R8V?y3o`kHNQ}?~7 z1K0yY0J1>W9B2^}DnVpOmfBv9O$~l&|Dyhb{D9DDvhBh@aLtTZUOiMIUG= z{ln#-haso+pmyAU3bprYp3w-ibs&OK>hLWr&KePu%Tt$%>zFRxCF>QmGyE~+)*j(s zyLt0aG64@u2WBd>rcY{ZUiNpXn^hK<3^u4(T#<}>vIbaKCH^G!RHD%(A*R^K^A`Pf zfN9eO!%x;HrGq<$rgnSSJbO~kD8spD?blBPo!z)+qkN@u-q9Z4ZeF&ymhNbvIV#8L zqVRfFl5JMH}0WoK$#ct}wAA z$x1O<_3lV){MXGD_3xV$jKKjgB?l1TMu=!AON$9NSuYiqpsk&~+B88nesGATNHlo& zJ@HfUl&GH%-(*uXs2-7dUOiTh-;!Ara%`xJbxdT;Go#_?Yzf4zV1AVQ>#^|?75ADv zNmme2wS1l=1Hjs^M<`-RM5{-|Tu`Ft$+&z=&$u030g2Mi;qiPEKFU zXS_=$A!lV)cUJ3v?^2AEsKqSU>= zZ1sOIHQU+2?>ArFky|kge#-evrds&g6#+@K&Zoy+U>>ERh$ge%n7TWy_K6uRPOr7P zy6@jdZv^GG^Gw4}H6e=QqbsM2u%xy?oUE^ASCVP1>tqpI)i-#PL0B&K7USos-Q=jM z4nUq!57_HID+6K9695@CwA!cK|Eb`drU~fDr;)<=o14m>+`w$0Zem+W{@gDgEGF`B zH!vvb$InOZh9ZtJT&oe7urN4&qKrkF}wrAE|;D^LnRW>7NeogO|Tt}Al4jtom}-) zKTV#65I!s>TK28hnQj@SQ?E{WnXRDas^yPImur0!JxvIQa9L_;h-ZoAUBye?<7L9H zw5DQ!2FnJm1@fO^O3s?9x3$ix^=(+O4F~2I0*I+2uGadR=wmEc&kLgyy(l^N^QNk@49{D%zLg zs7qw~gc1EZSRD;*bZNK!T%XeWY`kz0++*@?K`N1~3QE=lgXYmnT=5Zh774UDtiEO- zeAbCU9L*jEc+f=2Ttss<^zBKk>hGIlm2E!WTF^U3$g-3j+ekocmN@hvNOet#Zk!qj z`c)cZzpcNpp7o&aajG;P*&7A!kR>p}+RO`U(>dVtEy{dghjEU~ue!N$OUuo)dthVE zhm50Uz&j&|q`iaN{0K3^mepX}K(3@Mqi4xKukAG_*Q)knIqQ&+%?a;QqAg5z@h!wP(jb zwrCkUUt(mS3w^wzwXzd(*(XoiMe}hYkH)NPM-Et6Vz##` z^A+!C>Pd^Mj529QSlqDHFV-$R)h3;Qql56jGevpY{Nbpqgw<^ihb9Is#T-^YNnr=l zLDPw*a9Tm?TAwQ)>XEWMlByP&FhOeCept2Q#%LHT_F@A&*46BBVIWuzf63-d6HE>R22Zs ztlg)2G`lJDK0T_d(?D#AjyeS9ZSx@E$)-f-Cv89sEd$5nn#(*2>Tem(myo{nJK{}| zyM%YDu3u3gJ9La>1SHiJNCFOQh%hp5(VDDaq-u(FbaPq)bbvX*8GnrbHUo`zs5(_jylvpK2=*IHI89>m0=aWvCP9n0@r1yRx;~w&O|Un_HUf zdc{8FzE2LS%24gQ@@yoy9x*9}p)7Bs-fHrb+HZ>tJ{C=reJ4r5F$5fW8CYaA4?s~t z=|hQaFaJqI3w2$4fEMLy`QiFDh}|TkH^)OJFC|%ihXq~(!)q}1SSo{ANSXID zJ77Hfpt(&^fmZWGG(UsO9q*Bxq?^(|Uc5KU9?g$W^z>aDH2CmL*{X2Pr66wmW@oG3 z|MBhF+E|GykvRT26V0)9zAwf+p+kE|Q&#uk1!gJLoYGeh02bECD5l)f2J@m~^kv^E||;+~)1KMh_egi5a@>vkZC7yX($jR0PExp*kG(8BQ5dJC&*U|O|;{eQvoNy-fl(OHa##?`B7&>bBse6wg4@hWW zKD4i~Ace!L1xj8gx_(w-8t=+~%0b_=dIPw}tene(mji<$U)936P;jzg#fAvbS7F5Rwl<}Eyai_wElORZ)j_{U2H zT=Lz0H$5lT=iI8cKUfSthE6uMMS3WmB1Fh?lPw@@_By?n8}~DoWSNG!Jx8W5+Bd~g zXNBqFwvj4ipLi@oG`8Xq+f`qZa_enr{yv-IYu`4W-WPJ*<`+>L3_=@pje2<_2V_5w zxl3lv+2VjvgMr0}bgSqb8J)l3%eK6X{OqbcF;1MZz8$%g<;)aQnEEsqprTZhT^Hp^ zcQrwkZf(w|c85+M&~Rr=&F|ge`nf-9gEw-7gDeLB(p&%#+90mB7um_&>$x1x^=Mg- zi^zN9z(Mq7S9$+R>O+A*)7?-G?TK7zUSX|kX;ytVTI=>2`Zg^_UhS*+Bv{37!aC99 zk^Rc}il?MxgZlCP{;xZ)yX+Bw)g@u z`%9DRu=tnelpcs3tz}k7n=hgIYSk}KjIA|Q2=E)gEh8@Pw<7lNR42gAiMdOP$ClZ^ zQ0TU4!FwZKY`q_d9@E{{%f9CPP7*284Q{KjsXN_*p6}XTR0!Ej%H8{tZJ(JobVHys z{!m*vQ=t1wQLbaYnu1i=tXrv8IVpFU9CCN1qmr8}b=sC2LF+ z?Hf%~Gpi4-7soy-W*(on;r&Y^Yq|fK7dJ0RDU^Zu5}d7xn5eg|JKMD}ORDOZe$U_i zMhqRy?rbA`ZVwwWX7~C75hta&5`C~M$%|!b+CMW#(k_*z{l0#`+-%H`;f>BJodhHA zh~W2}M)B<}_^+)2oK?CV|7~E zb`lRqJ;$87i*g94ACkhL=S=imwn{J$=AGj4T43o!mM)4wd#J&IN_Z9jZ170rRFUDN;7ZwvWEOtbTx@;v-W zf)Oj9bu6^;0Fr*E)Z!=fcE^tuf!Pzbs)o_2XednAG39dNi^TMiP$#FG^rAooTEij& zCCh>13sr_Q1w>(nMi0~;cvuK6diC9p*mtt$2btQ6oJv#21RJ(~Eoy*6K_WZmqiSGZ zEQg@6-xOy0MMRY4Q>;LMnN$hWpU#?t(e#OAc<;kE@LFr|Z_3$%_nhsVI*jk{$$A6= z8VXRzO$Y1HAsax|Ar>UBQ&ksl%}xIhP>iP4As#qA)^nYCq$-hbZy5@dOeXKd9m1#g z4u22BUe1Zi@)*Pflq_a^r&k9>ZuNeaHX!TCY!oSUH}li2_yBHJ9{E&iABe^m9yK|A zl%xp@P)?3RUeCs7O|07k$*@P>^*{CaZ511qf6_Ra8adzeF05hEnS`g#9+3*}OWeoZ zOH!gWJ8yqQgy#Iol}fq|BTr^vR`Oqc#6jtSo)Ld(mK*>P4oLX`!xMw%D`csm6>yhr zr0nB+V+Z{(3Dc_jak0NNxfT!0%Z{&$x6E__)l!`p9tK5{?%?2^pCM|km1A2~@7q3h z2i5U5E`u~dQ;bxu6%%xg0HX;Jh~qiAgXY4Y z)bBbuY@1nt6Fwmd0Jv=~NAFOaE%!xDYl0v3t?Awz35vsC(>lBY;V4Tm!-EdTNM6Be z4HGXWAj-ZuN>;_;XG$>rn6Paxl10lTvg1d{>XKUA1X+y zS{UMY7gUW?`g~h=oz=p1g?hypdu(B8tG8$}rHA#5ZKy@^HhfQS(*N@Fa0VI|Ay3tK zmPuC7!bAZwK!nsHEKXD9oA-Ak)#-~TuOIXGqLpa(jd=Ikhud6+7&6>UI0M{zFZ6eI z!x*PlB&cUNp&qVaYym)YesY!w>lk<<{+Fh_d3fdY5l6^3e%gZ|8a(tmbSR6X`(^xN zeaT@>3%96R^lNR)l+5j&4x#q;Ua_PuAGk_2X>1V`B`@_3sqFeoIepgC&2=&6`JSvi zXDR-p+SQe3PRS+(&}k5x^3?%kzW-N}-6rR2?%mC-NuWIa+6 z;vJ<~ac>5nB>!ej(i!>^V6nIw4QyR_!&{?rP_*m^@yFf~fse>DPcKr%iV#}t0Y6ue zMx@3!RA#g?g5D*l8*obN7p812zgI8%!TJPrPby{O<}ZPA&j?$2ZAMab;j4sG*@#Xd zxXD$jxzrl_&bPP&$GEqvTa)P1R?Q^Ud&Zh`CV`Y{ZTU?qE1@TP!H%|Yh$z*Y37ZmB z=xo<&%3*dMBH&qRJh8IPB%=_aQyJ=SsxT#kdSNQS?%uuTiA!ff9If7VO{b55loEm> z>EFkv)rIK41mBF!CSv;9FBw@N;Qh41@uZ=Mw7ii928o9x^W3uW+b&vCffOiVs}S2spJ zTLfnxgw?j(ao}B2pxd*WF$fEX>t6h>byF(}lGZT|i-v%moqciHHJ4ggU)B=pvX0Y+ zt}gs~!^o1uD*gU``)Lcvk;_v5RE_+X2C-R%GWeXSaV*+RIPLJq)aq7zv6`DP!onl# zpIN!S|D1~X#;(d4^um{1?Ty;7;{>>}K%`w$!_D*Sh9E3jX(ph4#_}>9uSj96_W+4* z$m$q{QjhM2$7OxEFfUpcjYTG{{cLE6MQ-+YfW#f8dyV-7uw|1iY^PFy^;;D)-Lx|e z@myroSQ=Me-3#+H75E8Qm>Re?ZEYoR$1ppI>da0b`BNRB+Nr;;p)>hxUsf=8Nms6z z=o6N4Cq6Z`-ZIdWvLNtQ-n`Vf!z57Z@eN1<3a0MXOH1fDacSNDwt%C|g^vrKu>B8n z$HuaXVl4-|t1a(8B{3oDXhWbRX6C<2VooO$|NGG&0HDj`5K*ERNSTg@cHCyy?_>Y%}z3uNAVf?3bCl#wa*aP_EZsY6}s7o*Y?h9fGmi7Ul6Jt z1lYJgm6OB|h1}M2cdK<#b5FT!`4G@w z8BHpMmum?9U0Kngbw0n|2?$!>Ojcu!SYpjx{@`atLrjhn^sB>4U(psOKm6fFp-BVg z5Jw4TGOlxV%9J2z?B99QYNn%Pkld7fSu!YZ&V_n2P%lQQ;G%gLYnz8rqdsqw_l-Sn z+S!su!1|T|{4K!D5zaP{4@kt3NmXt#3U}Pf*9Sgc{t*7XiCDYjEa6C_a266QvujlI zJ7tL}pU(#{XaJ7Wdfw0cC47hjibU>{@tMXGDJ+{Inqf--;_{PE1CWJ{tZ$c=PwA-HD@B3<+>&&5}$t|N7MoY1GOx8(B?4VUfM zg9$@C;T@nV|K$B<*S=S~hN9_?4Lh$}G+wY^E?!u8r_L?C?|>FhWa?aO4l_)d!(F6tr;hdc3=)Tc@$r~{Y8#iCxF zB(IKMDY`7Y_8ADBjd%dr7blG%-G{jQsY<3f6nqyBtzyrPHkxC+N0%Cy9A(E`yAy3b zYW%|8#J1@ep=_A+A|+W;E=Uf>Gn;#3-}%1}4S#sWd7OK^)8I*xGGY{U=Fi$Uy%)&% z=D)&R=2A&gjr9ccHsuWHlqmcS0l(Rz+wDbKtX~(nQ)*6A$}e_Q?)KQ%)ga5S$!$lD zdpR}Jan=psbtW#W^0?TF#ZL1}YT;g(Yoj6;X#DL3 z*R{E!LrwKzxPC;8wl>xw|T*3ld>v9N&K znzf#u->AzBrdsD-D}JQrAGthvy5FF@v$;IG1RMqTlBeOgpj_q*y5z1guxsFX>ImkH z#H?!KZF6Z1!~Hj~JJzDw6gb(l1Y(6GMH1S&ru~vjH&SG*lHldKJ@e0K6wZ|$OqU4h z&~pprm%YY z@9|ZB>`D(S1;ID8$U9auAQELZI4%*Z|oHg zGJmvMgymy|x%<{Pv{wA3VSG-^H0{!G8CPB}x#n^-G#xkJw|WR8c4Dq6NtbARp^m;| zeG$CF5_g=vm~i9+?FXHaL`n?^7U%WDhOSrB1N*`m^w&)|EmEFrVQ9m$D4$g8gJp8E zl)E@wF(v1Dn3Jpsc#i`l=?2HblJAoy2tr1rDgqMIsZx{3aeA{L^FglCY&~A^!$S+P z^l5{GeXX*f+HVtw=^xz58ghtKW20l+L)$Q`9OAP{^P@{5!F`zYhCNlJN?!^@n22gV zYg%CI4cm-I4?)@g(tHS*|4Z}dGT_EDkgO=%2?OA%A=qDJWt?Y>y3VlXyGW&vPfZ|w zV85FC&uz+n$l)7*GKNn!!|5O_NMHu}GK1t?VP`G7UvHt3YBO~qRZ>Bt`uptp91j6{ z_UKK6R`nkr7jN35m9@=6W{!~ffr8aXbvJ+1re;tu^2b7UH74Zu;4`p4a`MYIpl-Y4 z%cAmsX};gXP-BA@V9p%TFfJ;;EBBiA^~wDZyW2I97e^l(v#oT}soY5ud|{u2Pq6qx zLIbScTsHLEZ0AHd&n>CC*kVaB=fn>e#CQ^N->?PoC%yV(x!XN&8ss~bwZKzikaM{l z_kwCp=JYUmkD=o98R~wpUaVKRz7-$*H{n8H|jyIi1GuOhM6DSd6cbi|-Xt z{Zycra8Aawf3+p1{rYVb+q>)PIeyC4cY%!Kaji6r^_8s_VdZl{H)p+ieYTrqQ%VF| z9^22aLY_ilKQ~hYEBORxw`DcFduHqPr`&!Yjo_D8-i$>)z5T(;^-@JeFvdN|nmF4| ziOA2gkzRbkw|mE5(QUA%MLMSFdC?71%BWA+`m-GrTqJqwGgLW14&T|EA3dpb_dRf( zu=Fc(gO_!XG7z>vu@&8`HriEUVq!PGm>T=lwxTCn++e_)(}Vxxc{8>|_}i46eS|cn z6e{Wp=K;H#L|dKx5Lu_O#x&`eK&UtUwQ}{fznEddiF}>UV4~HN>%@|x*^un@CJc4X z6@0g=P@Uh?1>MT5l5y0M)$n=jbW3}zBNLD%+km?$=PZ=q7POo{zEeb1kb27qI2XoK z;H9NhCYLtR=OiO6jCA+Fj^++_wc1jadtDB)P>~85s7h&*-0s-SIw`RjR-*XpG>>?? zr@AX_%vCrwNSqs~#!KV7Avo+`nlO+6loRDs08uCQ#QI<@QkLo)i09>3tvqgCJg2*G za&XSrcqGk6*+t!KHm~?sKYyh~gX|VOJ(qGcJAz#{di-i9T?yYh_nGSc%8DdFXzs}s zA{{Iu&XdaQ2%jgmOYFswV-T><#gt17;z=V4awBynlB@DNPhbw4Ox&NIZPof8JuNZtbP)+>csIeKWdZpQJhkRS9 zIKVKS?7msnAd`++2xbGq$Bi2R3+2}TUc~*(t~)t=o|`m>z1gCHV-uIPFo9*McxG4! z-snnETjmc+YGv0EJN#h!U8$&iC=H^4^_+G*yl+r zF4M4gEp!e9#alV@UhoiP+W+=q zc-eqW1a*BsR!62ee(O#M^soP=fE#0F3$%-ey+A}Z9n^JU2#J@o-|&7kEHRPf$5qqS z{G|~=IDZ9}!TvSeREh%6Pdn`DOUvW)E6 z8SBi1vd&lsGt;@>-*de`=l%Vj&$-U|UBBNyzw^gj_n7N;&pogEwLPED$8yzK)%4fL z5mw^7CAxsLgU`7^C$qOqX=tb33JuOC}UeDr)NzXBD)(sxoPpQ)4|eHXIHNE+^-^q zu3O*2_Y3p)eBknZ3vl7j{MF6Q0DvHron0wl_r+;D9u?i|%NzH6r>5DJ_nRd#w-g;R zRd3Q8Mlgi(3rDuu0ck3y8vA`+4lDCt#uwhtjrIzD)Oe~~ASx0D@Q8cCG$d7AURVc} zZ^GA&|ImPNGCi9B)cjJpH#22T>uS@~*$kPJBa1^)B77Gw!XQR&!b=;r8_c}3Nt%Ly ze{y^55j-K>dV%_WGR6&TuRdN7~+NQhg~e1(uJz(p8HVl{)a|#N2S5U zd!&k0nlRN3im$^o>s!D?PoA{P2~fwAe7L&))!yk(dAfJ&A!*33DT|cjt4CekAIKhhZ;{*)%Q)oj6+teQ|qM z(WAp;GH}77-|vnZvxiKzf4Mr7H0U0^IYpWBUgbN6gjBTjj?YQ^UPJrw-FvlQLc*}h)L~T3h3Dshlc>wN_DbqNF{tQ zzH?xOU2BCO4AzZGsnNBKs{sx@`pWlZN_n@-NAXxGLF5QMeo7j(~!x=pK1<0hCAHcBa0|X%cJD3mdLk=Ny9RrjB4!fsgzIS!->XUwu)3ZVo zT@L45$%ng|TNY9s@0tCMQ}+VGVP^`-$|LMgMmEW%q&oxTUgbYDL9-1M`e$OR!!cQr zxDqmlEi)iX$h4@F!D>kUi|g9`Z^Xu7 zLI8(zGwY<}56ykq<%u=$ML@R6zn?Pphvoy1DbTwSde~O^UoInRoLK(Xf5$@qJen}! zh9fcZi2%mL0&P++KjNIvw|MaAeJY(~8{#eFB}gRWR%z)Q0eLQ=+QuE1vODp)mV(uP z%?|eeF+2P*5Q&`8Ad9bnkyJN==7#e;{r$h*2HKTRZScJHFHC4Z8`miXn>LWE~<|Me8T4OkDQ zs4blcfC>ZWIX4O%5~x8Xl%1O=D$w0Q$abnm%`WSv5V;_Qd>Z`=@%&#O|Bp-EO?eyU z^uPIz&J)crVF1TLLu?eA`TO?t4g%X&bHWy{r`WB4Fj_|t5Q+ZnKNp{}1ZHP%Hr4%8 z1s3;J;(PMq5c_c==HCELTFljdKC-{w8*%}x8BijOTy&Eo=KxMj|zYH zd)}jsuOFhyNwaKk+U+V6_Kh02kL}bv7tc}U19|cF(E?LsCY+Y!h2ITrm zI41MU0Tr)y*}19L0cSXj;VroH(jAz)3sseCa*aA!PTZNegJb*X%TN7Y_+P!rU-aYb zE4X*yaJL?H76f<%^QX(t!Z~2q(uZ71hqq+KpXElx6qetSU=?6fq`#OrOPV+_BOwmj zCiX$EK(%cJF4*Y7`dF&qFnbT(?bO|Fx7>@S&mE#&^FEjyW^4jgaxe?YXGx=TQ@I0t zx$gF~dBo13@SXW5Uad~7{;sUg05Kq%yUaKE#?x}^G{l3;#WLIjWc1WRX;*k#fznHA z{2~P?um8{vwhAhV2>WSU4+v@eq1j`%&iaR496+DkP5%5h!t=izPsflFsI5JeDXQ() z;|(w{A`mtIagn#x;MOb#GLT5L(!J3}7r?wpLv(s?@n| zLcfGF)6!iCqB9wmnM~XdxCGP)X|35#UckpLL2Bv0!{ z_q&D9@vf!1TO<}J@xUcPj9J+eY%}V{XM&Nst|0>PIe2Y{OF+} zcM}q@T*<9K(JlsG((}l8Q7;NaQiEO6y6mfvVE^0?vNJ`)AJjWH{jB`mNTKNHa$N38 zSw(F#C7H^w0AnLb+1pp8OD6bb7nn^6`_FCq$uX$AFLQ|IKe}}}8MOrrN8NL!YHGeJ zLGr@?kNuV-{$*J8w{g|~*^%zWx#AQW=A32f6~Ivo$l{&VcIn8;I;hURvgtf_bg?sz z<5Yj0nnAnGkkp{>=x5X1)URiR`BA$)?TEx<&czKt6^54-(w+(D{5)cP>_2kL-Ne4L z^VD~Xz&QWR%a)r8J@AZP{l*f5Ol`rBKlcJgszNNR>M=b(mb`oIJdG+0N<tUf=81zU9U^ z_A{#baAvI;(e{09K*2EW|Zxyc{|V{n(7aru2YFri<*YS4j^}*iRr-Hs#o* z69)`=5#=r+U2D669?Et{!XA@=p3Jz5E9nI0AD~PS<`~vtB9j_gzX^xV_;Yg4eBK_~ z-j;kksZcH*C8}<&J>yZ~zL>olX7d7Kahy_1*%rQw0L7$Z01U#nDg->UH6|>RmqNbRZHS+VY68DE$XqwgSosgA#|6#362r=N2tschhza#%@(t zAzNgeYpzYW5xv1b1jS;%zHm!qIFibD*`)BSt^J|VsA*`eRr1^Tp&@wiLiJk2{rAX_ znDfZAJ4(2kZ@5gc0xj>}svPq1;pX_B&jKh@JNg^$%6LnQth|%zOoOJ`&AQF!Evv;_ z2;b3f#F%anb0EDLVJjWs9A-1FqUv*S_YSDGUl=1amr#GRNb-*Gt$VA8vyJ6P76(8z zDXsrRC2YD6vKLwv>;ZTpi)oWIE1kf6$Pqu*OQarS{R8t$nSfQB!>a$PGr8(J{Zt%^9Y|kg`HcfqK{_6cnfFWy`mRqO#x~!0ppM9^Q`r(M$&5C+q_xeZs zePSziC$?+U3sZX)khm}=*)ZDQIdA$sSSqIy0!}qhkJ#SR_$dg!WcY@-M_lbmC!F9l zB30N*e?4=8-&EIf3)y_j;K{(R8RMXM<60h`;)svOC}7w%%iPEPT}-|>RUoo^Os_P{1R23Y+6eaCQKO--2j~lYH!W8FBgy0 zaVDPS;h(+6(>y(Cai7UPC-;9t0k_Ft);EaOd0uuE>leBYJXmJxF%s4RPtlx$68>AX zfYYFkCe0kt(5XSBZ?3K_tt!*JinJI1MGRC(Y`&&^o%`>SgKrr1&Y@t_X7L{cj z+|9ZBa1ljq!wR^R0_XuOYpe<%HYDy6WV1lU>YV%)ksK+Wx5s;e_0Je^O@C;T3qTvK z=gG>WDmETApjhOl`oRK5E_u6GSJcpfo&MZOG?zk;;<{O-J70&9Vr8Mryv)Qwqw}vl zQO`OLT{eyL8y=$7KbGGJamzNYB<8v|e%flxuTcvG2xb@`0}=|qH(Ck5;*t{X-kxxk3ODP~zjUDvD^|7QD^j(X-LPUR?aCWtd>WOz? z>X{lMS0{v_jNWfEud?=$lCPOSs^<3h(+gh;DKY!HagC_DD&iupKDJe)_jH`yNK|x> zc2dLloskrT;m&YXsFm6iPhZ<@m!zrE<81IHLT18JD9fxmftum;@wah*9k23bAh9XH>>CCZUcPVm+~-nfD^&lc7pgr^FC*gnyApc7A8^uSTMBoB42PPA^*i%_9=^O3v<-*?GjeHti* z&e-p;GYm6@`vN3!VLoFjTt$6t%}9b;xLK^g8Q5lxQf>fCJA1qAzAWd^XG4SO37jau z0Kw$oE?|_bp{F$Q>J_>T*UKccAUL&hVzgd+rB>vsDEqMJhgb!{sd_y%f3#Et(kMAV zSlA!vZciirGvw8}5G#4a<=Qq6Ic7sh|0Qzb_rD40{%fr8Z~ms`>mi5qQ-4#90C5-~ zSiEtKs6`oc_(St(v~@9qIaMjS_|ZzMAFvcDkh0oAwI+#FerGO>A!ZU;k6Q?FDt39k zyE!SdFnHM}La`%X=|!`v6;FDZFlWeE&QU$DWIKg5#*1VrVG&zw{V}oFf>p4Xtft6{4Ol?0^BMlqits(4lNcPaJdQawZM}u5nLPp8e3?tHeHCg>j(Uy zX9T?^ZC(XhUC|accd;zC6MOYN?nD0#pv)HRf{?ey%pFs&WwMG4`#kBW7M1q9rsSNn zvbvJX;U|NZ&)a>Z5WTsJztX;&%E zB-V`@BE3GTVM#X@E=tGTZHnJeF1BWADVssORyl^dS5`eQ(BMOi z?_z_@?C9jG`?|%(Nr0k=?M``i{Lpezgns8&?~u7Q7uJnjXw&m*WX8r;+M)&ws209? zNfrjGNqoc9gl0r}#p*DIbxAmp>_P-}6kGsuIFZ^TFx?N|gsNo??U>YO8-VIyoFEPv>v*}dmQkff32#I~6g8|Jdv&~vpc{_nS-7J5NU#(yY-6)mUltq(n5Xc7s48~ zD)7QsM`PQ;t2OIK>w>9Auj{TeCNkOHIO*09D0l*j14#a>iBouCGN2L6e|=1*;KICl zReqse6?)Un`{m7{pT+{$1eR#~PF;Q;zgw=~rS2zmu1P6w-kjVVX9XSBIcV57dm%4U z5!L>*dm=^V=A?0YP7E@`7|)Y@DN8J&HF@~qUIUPxseAH=hTDV6VQNLbpVDD&9P8(3 z%%`j-t?B(@XIa#0E~EYFqA!(m3pg_-+#RM%kd>uKdb=#J=ZHIxI#Q3z?FPT?G3`?9 zID5#JluWQF%!g3ekK4ZTo89H0I_Z<+F-+g$_tT5*k9NT5G~=vXWP2`j_7hD(rfHZMf^6Uh9t;yy5$T`v7!W zOSB>~PZ2Q1C|zdMEX7z4s|_H81amDLn<`K*s5+!@yaL1-5(}b(2|aIpk>cf=e`^v4 z&1N&aaNTaB|CYmoTKOVMlvJosLBKCLQF-5K#posI1nr@xPQMfSIxl5AtEybXV|RL+ zt|E+}s~c_H=$4WI^I**r&)A&(9V}BXz~WlyJ+Mf)A$pDvFS{9r6b91C9>gZ?Q3*F$ zGeCvEg(VE-WZuQ}wd07cf<{&JaoKl8x>M5M@01#KVFlu9SKef(XC}{I3>|l!%KmLD zZCM{fO6IoY`#gS4zd$CbhEXL2}@h_f{ry4 z1v2#S-LDv{;rz{imBdFp#N{XEUn2H&fmkpkbNz}?xfoZ#_M%zs>gF>$HSYGIQTkGW z$Z_fqP_5B$3izxeh!w_mqoBC6$ZEEi_25l)*|Nr!c<=9tT4_t^$vQgD&R7TIJTvu+ z6KWwtn;4T|U#)$+b_dfZZCo!4p==K_WhXR6Z#%O+mJro{r)3iMO8BETawElm?3T@# z%&eBO<0NlLp#EjN>dW$Sn$y#?#$_Bf_x3nY`)>1dWEOpIciq31$?Nz3j*34tKM*Qf zE4=l+oz);dC*Emhj#U(ZXgV1Fp()@F6NO;8Cm^e6XkUwQ{2sN<;EMvaihngDtV6my zY&fwk14Kw%E7-+LE(6w%AZXbP{Y2s14uYiar+Y-q+5wce@(idjdve8uW8wO~^3`Kx zNIrmSKQ~nNhX#CyYWT0~1Xpo{!b_fmj8lC2+W!8|l)tZoF#4E+7~hCo8`%mnAqyy# zkV*YVdjI1(Mr%mD{o}mXq2_mo=sSXiD47k+wU}OxXL4pSrz5TQIZQa6tC0=aBRY&Z zUx2OGXPLkDU;pl<2)gn+AULru8bkl~dfjGW$>WuOHoBT`2z`ok z;rMQss@hkt*IT6|mS1#yx4+8yW?|HmBr|LNSA9P^u}hpEgk&L7mX zf&PHS)(>|SQu@zr4lK{prx9Pw1rS^bh!n&v zog3~3nN=;*z^yp^D_?7pLH45LHcJr!4#efa_-!L3k6C&@kA25OA(NYC&*zd-Pf+OF z8Y)xedZrVFI?X|%=wI9Ic%s>h>k7?$8jPteIrCO#ROVhn$t&MBxi*t1l#`&@5S)j zr(x=oAAy=e0?ceg7RtU@5+yUt^euotFQ`=EGtxuiJMyEPhdArd&(Ei~FXm252YDmRXSR+eqyg(Q! zG}!c($~$M3L37{zcsG|3=lY2vZ=8kUm=*r0a2t9KrcZF_;;z0%s82vjUL16lmI+ob zIY0YQ3DzN}Kz11dUvp$%fRBM#P%@-?Q1lWCl?QDXhugXNh)8bJfxYA80I`u-eyCnD z_!*@P%n+z?U{4w$2%{Iz%XAYmmRI9!N4Kjso_le2-5QBt%)DyP9Pf1)=`-3ioYJew}=`dSZP*M+-R@%p-xeTQcY=Q zyrfQ9-$I39Xb29<`757!v}l~HT50NN?)sd*dAvGpfm8Us#829zsa|N^FxnyO9tlzo zQz4Fl3rYhgC;Qe8J9%1d8xkWMg#)21Eq97iH!XAF%s>p`Dmh!xgYihF%Rz*<^3JNc z*t|zpzt;37F>i4sE@$coKfm?t=P6dui7U0gm5n5ihej=k5oBY?0*&s4xF#`i4GmN( zwO{bt;e$J9O~!8z%e{I8X!vIKz6J>N?EsQ4F=*rTu0H;;tW+hJ{C97j&1M`mm z@wa|)xi8(A6FluZ_Y0u1YAw`;ese99X(8KROZp-3H=lDMPUg~#%d*?u9Jbl7P1`{NK-9R~M zxV=#jesSE_$Afdu+&4KDifJZ(NH&~%!0E#qz5ZrZ#V#d!=SeNYTR^P6O47~xX|C=2 zTn@`kPPw0XtL|~7pAexs+2gsnSZ!#A%i6?73p@0#%5YsPE7Wo=>>QarD8x&AejXiT zFEhp75G3dy&Lk}bn63%tH+(XMIg&!l1EU--St}C;7aF1cJeEA&P4n*5?KdF*&>AQk zeC7`gmphF6M2gHv(04urgGQU7cJ}d`k{`%!gsGIu;Q zL&A@fTVYq%X!0O_vbSj?+1c;NX)MB-TsGh2L2-uXk`lTaH6r(1@}Sleu1M`0(<1qQ zX!O2n1zztz!&~Id>D@(}J|1q$vyJwMp>lT?x64e0&5 zvEOA0@?>#}9iEGPF##=~f3+z~Z(=Vb);A8};5KS`DPR;D>hiw@s+ud z)ws^b+Gz}-Bv-;Iwu8R2VmTyd3~v&1pZwg_hY+rXUi7febOPC1%&7%=Tp>J8|0Wuv zY4@yeO{2Fo`1CrlJ zLm_E}W>TA+uHprXy}?|B;SE0mq+=J58oj7u^d9z*Sd{koxDILCFfNq;!e3A_edXNu zA(qQmB1~7>o(y^4;)lfga7<__jDIOnFHotR{1T!rWn6DOJ0q^6kUMk+`Hzf-WijyffL-9p1auFFE46%M#fs~p?uxIvKmYs=bbF5`NGEhvc6X+p z;ekZpn&BD{iIf}E8oTE`tj07sKlKJYI?QVy;du30T7|jX5F^#Usinu8&2HFnqIsYV ziXsJjOb9LWwF?5xGOJJt51QaZtb>VOhRrs_2jALQt?7s+3BHo&W$;oGHDwPRpMy4z z5~WEd=z?00c-=TzKs^C;@UgXC-nd4?&*uHDm(}ZH3iY|c^la@ckT~mBIHdqC4)9r$ zGs*+o@biOwUBXF&VGA2jptp#jbe0;syVrr@X$Ocm`n}bINB3MJZMTY^Crz zS9bjz_?^_miVDvc3r{^njcBp=RaaH!=oS|?h23o`s61A$vB8~}JO4ndwQjspf(s^Z zoK{)$sI`3Uk-#sPcg>{kB|zQUsG*726C>`1e24hFCaqmz@zHGVdCCo2C|j#htMRub zVmFNS1Ox*dCSoA2?}pF7u20A^6}*Dq8vEI(eS;`uIJSQd@5I}Gkvu)a#=XU-D*UWl z_a&&-;Z>Vs0VeApnqMh?-H5Ofg9|B%(MaC02()j=Sy>9IwzGFF?+%Xu6Nihn-5EQU zC%mKwDs(u?#!8Gr;taiV8x$>hHMJiTNmZd9wwFZuz-!vO-rJwbnh+g;)$rasjY;HR z$otIW%#1L%vfooot-MW&nWn{1BR@g5t@E}3FFG4L9L3Kxu3~~4eCQO+_tHT2TT+qY z3&!&D_i0)e0E1350#`U-%mil{g^6R=bwB@VG(5F1dA_^v{k~nVV49{%nq~#SVXjNU z^GTm5TaQ-m=c#;8=hY%za!e>ZtA4XR;sK4i2Hk1s+n%-5?rOM$npUqS`VWmv(Nwu^ z!#uw`G$aIupqhYbNkJ#(Bs?Cm*+ZBVL;(zD0`6ew*iG`$*HkP|CFn%~m%)4G=l$I~ zDcL3teVYBC5g_WtjYa{xrw?RKBU-~i+g~(iY51)up$MoOT9*m3vG!F-^o`Jc$qW~d z1w-?epL-K6Gs9|{Mx~#&_Wsa}8US%eo03vTGt&W)D1iWy2Qv?Pa#|zH7k=fSkp7>T zC`#DP)dYFZvf1kw`ZENt@JGcTVvahgj6nM4h6j>KK%JYPNQGh zrvfPasvn36E<-Zt3_AX(rhe^Wu#ignz%49=A@%&!>Wd7wzK&ZX@ zlcES~8q3Hpc@Nj%21Mz=&Xc-IufXQU=G;=F$Iee5i|c3$Gif&6sB#kWbNJMAiKSR~ zPDEVDeigO9Uki?+yxG$vLkPj>Aw14EjO)2Y*)-{+*qHx~{y#JoyUbr49Oltmzz;~r zErx#}J|Ya{%Mf+~Qw#cel$}2_bu7;B1Z)r2iS4#wv$~T^mbS?ktG7*lR9p9(HBY$9 z^jmz5V`a#}v#e>Tv&DSlV_|hZ=EWk&?44M^k)imv(qRmj9+7iD%4ab!YWQk1mri)j zqXNiPV~8l8j`pjZPKb1F%$cZeTVi(Wbxoyxk)AZRCa>Bzm}c9L4OvZmvtPcbUk)BJ z#GVtA52*0}l5Xu`3^@SWHx_0WKrD4RJ}9X^4?zbQ*V*Yer{On#M0i~Znch&HQ9l#P zhVw|UrY9Izoz235xJhBES%$Kj`8XDP)fvACh) z%0Ls-wi`jc9!Se?r)dWBbylD1gt}Bwk|EDQG~_3wYxY1cB+guvgh%t=k#^>4jINSN z{*@#kDryrwhI()bBxjnqM57#-BGg~_7VpDsufcO6Psz&=_wG%etXR>UzNT1f6|%YG zm6`WVq3y>8M?%73gMxl-XPfmCfNH#F4C{nECET$CCfi4Lft`z+7|>UgsY`_|7is3hY_3OM;{?XwbP=*Byv z=prIFpB7SsMwW$W+@0HOeFueO;8w#EfcQqIDzWu#V^)k`i!yX9J3gUBVoUk0=H5b7 zB2|_yA57>{+CPXBj@^4RSt;H+8&D#BhWE8zx8knc`KUR^&HcIg^kuZXTW=-Z||zJSaz zY)wG7+?^r|Jm}1vYRr3u>gKO}5;rWXjM@rzlU; zAZJ2wZ@29TBnY3gmLqaSwF<$9FE#SFl{-#iN)m8&Z85sdX>?7ogYL}U<+m?Na7Rym z|9Lz$VUDgZ2@KGA_jJNz)3^Ve`fqo{4bzW_!L?E}@Efhlz_c9xho;w%k`3ALj{%D4 z7A6l)tjNLylX$8CNxmD(MZNy}Sff*%pZgT){(<^S=sdY+faS~C^oVRD%a>6OEE9W+ zGt;jA&^P*3!e?$yx}jNo(v5^1(PBY&GcZ~e44UYo922Bn$&f}H$pkO?QpK+{57KF^ zNLY;ZXusv=TV=hlV#!kCtOzM~whr9xG!KifBufE9Lv*&QzJ`0#*9l>()r;r-@|(eJ zqfKCk79X{rVsbxc^oBh( z5ih%UxJfC32D;oQSrFGBMYYx}uGm__Wc_+taiB_M z{E@%`iS&}HLb3qVMSw+KqU#V4<&_mPbz4pm42_ifK1v+%{*g`{0thy{9<%G{9M(>X z*3#iO-c9qvP6*TFq~iX{SVoRh<%jDxZ90CYo|NF}+(oZZ9*!7P;0>EL1tTAvY5`8zO--(ASSw+6exj%1` z$G^(MOQFXSoota(>>5~tR-zBz>mG+`R6DhT#xQD8R%=;avk#xUZfbAcoAdOPPLC%y zk$Uk3(_^M2n^3nU-jFsX(wKI=JkO=F5>x93O7rUS5BUuaBX83H*lX`|0}7K3E&q=mkODz zZ=BV!Ip6FxtdsGh|9U6y_f^LCHQEm?=PQ9PFOe>UoisK5urlRbgHryd+wEvgw-Fz#3qpO+KdV0<20bg{i*GDSW=YhCQ zG<7xSOGt3gQ2`zKb}gX4?d!a7lL&~+4YR?-2xp>8B;FM|F7UiSHomz^KahD(RprjA z@|W(Hj2sTdBuQYkiCsJeaZU&e2N-&;ix-f01D=HH-kb8sqR5GVR2LDus1;WBhOfKf zoGMKQNC#$3>cm3BTNwbJeZsyBVEyNXVvm#^cq?QZr__||N&f+WgMcLAeXVB!9#TQF z31A6bkRmhnqp}z&$Im(-_xjoj(WnEhN{MO?4JoH~x1s9e;Wrl@d6H`h6+QkV)y1L3 zs;l5E|95aF`cF%Pz1$abpMPS_hEIZ!dk~~`1K~YM{=q~{=cau3!3_^KXSq)cVofU^ z^WEp%O+^{BK>By+&$Q{3BD7AUFFSLV+SMpXI>i;AIRg&hz!mmh!uL`3`4k(fiswAa zl3+6B=ps8Yk%eQZaV2Jdon%VtIRL`>xYi5s5&pB356#N&tpf`+MmGR;E&l9JpH8Cc zz%OnX@!h*v|5@tOBf8X|1$AMYB_GLQfF=MywS~$4*dH`_GKlJlm3`MFaHcMgahUs2 zKl?zEPu9^oI#@fz?;IpE!^y~Q-#w&QAYlk zqPgOmkLPA7lZ_i2FvSyf7>MYQ2+%}RfZj~tOIV}cB89n?tbP8STISFY^F2KGda_mI z18$6>fG4-YS!xBq%vU13+Kv)N5)NO%bp42OrcdOk?4eSaN7dikSvt3`dZ>O)!O{^A zia7^$<8J%?GU!|hgt(SH)_?U0Yp>{|pf#T*6NDPeSlb_ueVPF_(J^)sLXFi8^>no% zwa98;f!^RASiX)c%3MVUJjD$Aok5CRs5fqn>`#gyHcQCcH3-zX{MMc6q-t+tvnUBl z9@KOV>m;=xg}L4J?2z^oPNvB`XuzXtN3=@3+=zq~AGvB`?&eP49q*QO^ZgbSnKhwp zDLZV3hSc+i#;#?N`ZD9dcX91GP^cgKRc*N|L!B9LUb&K+doX&4O0$^p-*D04AELUo zwbUOMk)$Q%m$!^+h5*dYn;nu1 z0ba>DJC1YtKZn>$bc)}-DcVBL{2Duw4ar|5G#$We2mu=nHiUfqg&w&`iM&!RF2#JD z+{uF!XugI30g(Z8&@hYz_42z8A3$Vj{{1=+_lSFm61d6f`Pj^&MRSsHUuXKR^ab@m zSGmz5(2qVb{OxA-VrFgT(UkfUYv)2_gJ8MX$w)>~#(0iX_opTviq*~gxBWe5$d%g* ztNmfMh#p8B6sZA-wssje%JxLJp2L_Q@p!KtTo-G3yqdC5=r`NX9${#sp+Aievtd0_ zNWmbeXn+P^%!N8Yajbit=X$^u-DzW_VEjr!u%P3EtXS{t;+v|9v5<{Qh@G&zlT{g% z;M`vah#>=Y7(mrjHy$n#)~DCX6gFM!2e6K|*EgMSB0^*a!;ocIrycJTM(6y)mSPd8 zy+{1yl-s`aQ{*yarG6=matio=x*uYztfZR-||W!SaVN;89% zv);|9* zsGUP_Z&cqC77!4o{mgI@5r61qX%;7%Ef1QBu_b9QPnUU?{sXVLhNY12tPM%dgDLV7> zO8D^^H5C)Crvomw#>xzX_mLlD&kbjEc%}&9B}@uUv=v&!t0sDwrK60Bw}pj6!lawD zLl?b{j!t+2d#p&2Cw}B-L;%#ti(rO2n{zf3o#Z=R4-UF!LvtS~E5@pK`QLJ`??hag z2dGKPR1p9!*=eo(L)Hm?iIigK257#^y>oVmJ_~2|#<#Y|Yb>0-eLurf5NsQz{H_0&|L<_JU*&QMxOuFV-6_17NFR%;Qn(KFJ{Ny#F0x%OvT5~&J*~Qrir60-5mRCoB~I!O zjq>9Yo%r3h$y>5q=9g8jm+1J~Yf8BEFQldCF86QuYq@c{2)Vex`?SG9R&_0$Il+?3 zAnvel+K``mBn@DeoyejlWVQ}|j3*F-N+!Q-NSsbv=pMG%9vZ`7%;)FH35J`-Mjnk? zTW-{n?nS~=$dPD4tuQ6|2cSN+?z{wX+ASu_Q5t00Krmav;8a{IM{l9frz~&Rq~*L< z?N^RcbIY!g(HK=ovoXyke(!$#F|0PBt@am|uoWZYG*+RF0-MPiTMnWv5oua3CsQV4 z7VO3;sFkL9p+kU2QUrfSon7RU*-mP!oofV)uISb@35S|3^=%WdC&vy4p)Ze`OFx90 zilip=6@LalrKh`+(kh$6@EgKQrD=_niIYpmY13ZUoMNWQyr8dksBaYWmGjpGt^he4 z3zq*C{2~?fEsW{cfyd>CGJJliP#-!h*t<{BjHIVbEK9u`bt+iIt zv~U{d{c0U)WG*wVb8>$GdK1^`~WxRfBb7-B9dUe)CStn1zL(OY8O)`7y?W99b2%o)&gZ z&n0KDB*xe3fpJ@UZ_VfWw6!3qyqb@hb|f0-eNKW%wM(y~n~o@>RPZ$UFKHbYAVJMV zRbC`NB(3wKDxAzMn^YvRyu1(d(UU4aRR9)BJ>#Qq%=2&~BajanSV1GAVYf)LMAk<@ zYFivdLWOD#Tv|CmD`5F8wFT^>qEa$g6!s7$rHIkmYT@49cxTYeZj7L!Q!#WdI!BiE uIimW@