Explaining the Transformer Circuits Framework by Example

post by Felix Hofstätter · 2023-04-25T13:45:27.000Z · LW · GW · 0 comments

Contents

  1. A brief overview of the mathematical framework from transformer circuits.
      What happens in a single-layer attention-only transformer?
      Introducing the QK and OV circuits
    2. Practical Example: Taking the max with an attention-only transformer
    3. How to stop worrying and analyze the MLP
    Circuits in transformer blocks with MLPs
    Analyzing the addition transformer
  Final Remarks
None
1 comment

Acknowledgement: I want to thank Joseph Bloom, Michael Ripa, Tilman Räuker and Alexander Spies for their feedback and comments on the draft of this post. Some of the code for creating visualizations is based on works by Matthew Baggins and Neel Nanda. I am currently supported by a grant from the Long-Term-Future fund without which I would not have had the time to work on this post.

This post is meant for people who are just getting started with mechanistic interpretability and have an understanding of the transformer architecture as well as the underlying linear algebra. Maybe you have not yet read the mathematical framework for transformer circuits (MFTC) or have read it but are still confused about some things. I know that I certainly was: concepts like QK- and OV-circuits seemed to make sense algebraically but I was lacking intuition about how they work in practice. In essence, I am aiming to write a post that would have clarified the confusions I had when starting out and that would have given me the intuitions I wish I had.  

As part of skilling up on mechanistic interpretability I tackled two of the beginner problems from Neel Nanda's list of 200 concrete MI problems [AF · GW]: exploring how transformers take the max of a list and how they model the Fibonacci sequence. This post starts with a summary of the framework, focusing on the QK- and OV-circuit. Sections 2 and 3 then give a more practical explanation of how these circuits work using examples from the MI problems I worked on. Section 2 is about a single-layer attention-only model which predicts the highest integer from its input sequence as the next token. In this setting we can find the "full" circuits which map from tokens to tokens and can thus be nicely visualized. In the third section I consider a model with a block of fully connected layers (MLP) after the attention block. I explain how the ideas from MFTC can be applied in this setting - this is similar to the derivation of effective weights in A Mechanistic Interpretability Analysis of Grokking

On terminology: In this post I mainly use "circuit" to denote interpretable, linear subsets of operations in a transformer. This is how the term is used in MFTC to describe the QK- and OV-circuits. More generally, "circuit" is also often used for any subset of a transformer that can be identified as being responsible for a particular task and these circuits are typically non-linear and less interpretable. The type of circuits that I am talking about have also been called "effective weight matrices" since due to their linear nature, they can be seen as connecting distant parts of a model. 

On notation: 

1. A brief overview of the mathematical framework from transformer circuits.

The idea behind the transformer circuit framework is to look for subsets of a transformer's operations (e.g. multiplication by a weight matrix) that can be understood in isolation and are interpretable. In the language of mechanistic interpretability, such a subset is called a circuit.

What happens in a single-layer attention-only transformer?

To identify circuits, the authors consider a simple transformer with only one layer and no MLP. They formulate equations that describe what happens to a token  (a one-hot encoded vector with length equal to the vocabulary size) at position  in the input sequence, as it is passed through the transformer.

data:image/PNG;base64,iVBORw0KGgoAAAANSUhEUgAABCEAAAGVCAYAAADAEes6AAAMbWlDQ1BJQ0MgUHJvZmlsZQAASImVVwdYU8kWnluSkJDQAghICb0J0gkgJYQWQHoRRCUkgYQSY0JQsaOLCq5dRLGiqyKKbaXZsSuLYu+LBRVlXdTFhsqbkICu+8r3zvfNvX/OnPlPuTO59wCg+YErkeSjWgAUiAulCeHBjDFp6QxSJ1AHOKACOjDi8mQSVlxcNIAyeP+7vLsBEMX9qpOC65/z/1V0+AIZDwAkA+IsvoxXAPFxAPB1PIm0EACiQm85uVCiwLMh1pXCACFeqcA5SrxDgbOU+PCATVICG+LLAKhRuVxpDgAa96CeUcTLgTwanyF2EfNFYgA0R0AcwBNy+RArYh9RUDBRgSshtoP2EohhPICZ9R1nzt/4s4b4udycIazMa0DUQkQyST536v9Zmv8tBfnyQR82cFCF0ogERf6whrfyJkYpMBXibnFWTKyi1hB/EPGVdQcApQjlEclKe9SYJ2PD+gF9iF343JAoiI0hDhPnx0Sr9FnZojAOxHC3oFNEhZwkiA0gXiCQhSaqbDZJJyaofKH12VI2S6U/x5UO+FX4eiDPS2ap+N8IBRwVP6ZRLExKhZgCsVWRKCUGYg2InWV5iVEqm1HFQnbMoI1UnqCI3wriBIE4PFjJjxVlS8MSVPZlBbLBfLFNQhEnRoX3FwqTIpT1wU7xuAPxw1ywywIxK3mQRyAbEz2YC18QEqrMHXsuECcnqng+SAqDE5RrcYokP05lj1sI8sMVeguIPWRFiaq1eEoh3JxKfjxbUhiXpIwTL87lRsYp48GXgmjABiGAAeRwZIGJIBeI2robuuEv5UwY4AIpyAEC4KTSDK5IHZgRw2siKAZ/QCQAsqF1wQOzAlAE9V+GtMqrE8gemC0aWJEHnkJcAKJAPvwtH1glHvKWAp5Ajegf3rlw8GC8+XAo5v+9flD7TcOCmmiVRj7okaE5aEkMJYYQI4hhRHvcCA/A/fBoeA2Cww1n4j6DeXyzJzwltBMeEa4TOgi3J4hKpD9EORp0QP4wVS2yvq8FbgM5PfFg3B+yQ2ZcHzcCTrgH9MPCA6FnT6hlq+JWVIXxA/ffMvjuaajsyC5klDyMHES2+3GlhoOG5xCLotbf10cZa9ZQvdlDMz/6Z39XfT68R/1oiS3ADmBnsRPYeeww1gAY2DGsEWvFjijw0O56MrC7Br0lDMSTB3lE//DHVflUVFLmUuvS5fJZOVcomFKoOHjsiZKpUlGOsJDBgm8HAYMj5jmPYLi5uLkCoHjXKP++3sYPvEMQ/dZvurm/A+B/rL+//9A3XeQxAPZ5w+Pf9E1nxwRAWx2Ac008ubRIqcMVFwL8l9CEJ80QmAJLYAfzcQNewA8EgVAQCWJBEkgD42GVhXCfS8FkMB3MAaWgHCwFq8BasBFsATvAbrAfNIDD4AQ4Ay6Cy+A6uAt3Tyd4CXrAO9CHIAgJoSF0xBAxQ6wRR8QNYSIBSCgSjSQgaUgmkoOIETkyHZmLlCPLkbXIZqQG2Yc0ISeQ80g7cht5iHQhb5BPKIZSUV3UBLVBR6JMlIVGoUnoODQHnYQWo/PQxWglWo3uQuvRE+hF9Dragb5EezGAqWP6mDnmhDExNhaLpWPZmBSbiZVhFVg1Voc1w+d8FevAurGPOBGn4wzcCe7gCDwZ5+GT8Jn4InwtvgOvx0/hV/GHeA/+lUAjGBMcCb4EDmEMIYcwmVBKqCBsIxwknIZnqZPwjkgk6hNtid7wLKYRc4nTiIuI64l7iMeJ7cTHxF4SiWRIciT5k2JJXFIhqZS0hrSLdIx0hdRJ+qCmrmam5qYWppauJlYrUatQ26l2VO2K2jO1PrIW2ZrsS44l88lTyUvIW8nN5EvkTnIfRZtiS/GnJFFyKXMolZQ6ymnKPcpbdXV1C3Uf9Xh1kfps9Ur1vern1B+qf6TqUB2obGoGVU5dTN1OPU69TX1Lo9FsaEG0dFohbTGthnaS9oD2QYOu4azB0eBrzNKo0qjXuKLxSpOsaa3J0hyvWaxZoXlA85JmtxZZy0aLrcXVmqlVpdWkdVOrV5uu7aodq12gvUh7p/Z57ec6JB0bnVAdvs48nS06J3Ue0zG6JZ1N59Hn0rfST9M7dYm6troc3Vzdct3dum26PXo6eh56KXpT9Kr0juh16GP6Nvoc/Xz9Jfr79W/ofxpmMow1TDBs4bC6YVeGvTcYbhBkIDAoM9hjcN3gkyHDMNQwz3CZYYPhfSPcyMEo3miy0Qaj00bdw3WH+w3nDS8bvn/4HWPU2ME4wXia8RbjVuNeE1OTcBOJyRqTkybdpvqmQaa5pitNj5p2mdHNAsxEZivNjpm9YOgxWIx8RiXjFKPH3Ng8wlxuvtm8zbzPwtYi2aLEYo/FfUuKJdMy23KlZYtlj5WZ1Wir6Va1VnesydZMa6H1auuz1u9tbG1SbebbNNg8tzWw5dgW29ba3rOj2QXaTbKrtrtmT7Rn2ufZr7e/7IA6eDoIHaocLjmijl6OIsf1ju0jCCN8RohHVI+46UR1YjkVOdU6PXTWd452LnFucH410mpk+shlI8+O/Ori6ZLvstXlrquOa6RriWuz6xs3BzeeW5XbNXeae5j7LPdG99cejh4Cjw0etzzpnqM953u2eH7x8vaSetV5dXlbeWd6r/O+ydRlxjEXMc/5EHyCfWb5HPb56OvlW+i73/dPPye/PL+dfs9H2Y4SjNo66rG/hT/Xf7N/RwAjIDNgU0BHoHkgN7A68FGQZRA/aFvQM5Y9K5e1i/Uq2CVYGnww+D3blz2DfTwECwkPKQtpC9UJTQ5dG/ogzCIsJ6w2rCfcM3xa+PEIQkRUxLKImxwTDo9Tw+mJ9I6cEXkqihqVGLU26lG0Q7Q0unk0Ojpy9IrR92KsY8QxDbEglhO7IvZ+nG3cpLhD8cT4uPiq+KcJrgnTE84m0hMnJO5MfJcUnLQk6W6yXbI8uSVFMyUjpSblfWpI6vLUjjEjx8wYczHNKE2U1phOSk9J35beOzZ07KqxnRmeGaUZN8bZjpsy7vx4o/H5449M0JzAnXAgk5CZmrkz8zM3llvN7c3iZK3L6uGxeat5L/lB/JX8LoG/YLngWbZ/9vLs5zn+OStyuoSBwgpht4gtWit6nRuRuzH3fV5s3va8/vzU/D0FagWZBU1iHXGe+NRE04lTJrZLHCWlko5JvpNWTeqRRkm3yRDZOFljoS78qG+V28l/kj8sCiiqKvowOWXygSnaU8RTWqc6TF049VlxWPEv0/BpvGkt082nz5n+cAZrxuaZyMysmS2zLGfNm9U5O3z2jjmUOXlzfitxKVle8tfc1LnN80zmzZ73+Kfwn2pLNUqlpTfn+83fuABfIFrQttB94ZqFX8v4ZRfKXcoryj8v4i268LPrz5U/9y/OXty2xGvJhqXEpeKlN5YFLtuxXHt58fLHK0avqF/JWFm28q9VE1adr/Co2Liaslq+uqMyurJxjdWapWs+rxWuvV4VXLVnnfG6hever+evv7IhaEPdRpON5Rs/bRJturU5fHN9tU11xRbilqItT7embD37C/OXmm1G28q3fdku3t6xI2HHqRrvmpqdxjuX1KK18tquXRm7Lu8O2d1Y51S3eY/+nvK9YK9874t9mftu7I/a33KAeaDuV+tf1x2kHyyrR+qn1vc0CBs6GtMa25sim1qa/ZoPHnI+tP2w+eGqI3pHlhylHJ13tP9Y8bHe45Lj3SdyTjxumdBy9+SYk9dOxZ9qOx11+tyZsDMnz7LOHjvnf+7wed/zTReYFxouel2sb/VsPfib528H27za6i95X2q87HO5uX1U+9ErgVdOXA25euYa59rF6zHX228k37h1M+Nmxy3+ree382+/vlN0p+/u7HuEe2X3te5XPDB+UP27/e97Orw6jjwMedj6KPHR3ce8xy+fyJ587pz3lPa04pnZs5rnbs8Pd4V1XX4x9kXnS8nLvu7SP7T/WPfK7tWvfwb92dozpqfztfR1/5tFbw3fbv/L46+W3rjeB+8K3vW9L/tg+GHHR+bHs59SPz3rm/yZ9Lnyi/2X5q9RX+/1F/T3S7hS7sCnAAYHmp0NwJvtANDSAKDDvo0yVtkLDgii7F8HEPhPWNkvDogXAHXw+z2+G37d3ARg71bYfkF+TdirxtEASPIBqLv70FCJLNvdTclFhX0K4UF//1vYs5FWAPBlaX9/X3V//5ctMFjYOx4XK3tQhRBhz7Ap7ktWQRb4N6LsT7/L8cc7UETgAX68/wsztZC2JFMiHQAAADhlWElmTU0AKgAAAAgAAYdpAAQAAAABAAAAGgAAAAAAAqACAAQAAAABAAAEIaADAAQAAAABAAABlQAAAAAQOwhNAABAAElEQVR4AeydCdxdw/3/J3ZZbAmSnyTWxFoRtELtW1uSovY9tf/QotIWRX8lRZWKFuXnR4MWiV0I/1ZiKwltJRFLFrtogkTJZinyv++J7+08k3PuPfe5y3Ofez/zet3nnDNn5jvfec+c88x8zywdFuWckxMBERABERABERABERABERABERABERCBKhLokHNLVVG+RIuACIiACIiACIiACIiACIiACIiACIhAnoCMEHkUOhEBERABERABERABERABERABERABEagmARkhqklXskVABERABERABERABERABERABERABPIElsmf6UQEyiQwfvw4N378+DKlKHpbE1hppZXcnnt+y/Xs2bNNVJk0aZJPt1+/fm2SvhIVAREQAREQAREQAREQARGoHoEOWpiyenCbSfKQIWe6O++8s5my3NB5xRBx++0j3CabbFLzfN5yyy0+zSOPPLLmaStBERABERABERABERABERCB6hFgYUqNhKge36aR/Oc//z9vgDj+mMHu+GMHN02+GzWjM2fOcif94HR3wQW/8IaIRs2n8iUCIiACIiACIiACIiACIlB7AloTovbMGy7Fl156yedJBojGKNoePbq7gd/5tqbWNEZxKhciIAIiIAIiIAIiIAIiUFcEZISoq+KQMiIgAiIgAiIgAiIgAiIgAiIgAiLQuARkhGjcslXOREAEREAEREAEREAEREAEREAERKCuCMgIUVfFIWVEQAREQAREQAREQAREQAREQAREoHEJyAjRuGWrnImACIiACIiACIiACIiACIiACIhAXRGQEaKuikPKiIAIiIAIiIAIiIAIiIAIiIAIiEDjEpARonHLVjkTAREQAREQAREQAREQAREQAREQgboiICNEXRWHlCmXwAOjH3YnnXq6e/zJv5YrqqT4M2fOKim8AouACIiACIiACIiACIiACIhAMxKQEaIZS72B84wx4LkJE928efNrlssLfnmJ2+eAQxwGEDkREAEREAEREAEREAEREAEREIF0AjJCpLPRHRHIRKBHj+6J4RiR8eOzz028J08REAEREAEREAEREAEREAERaEYCyzRjppVnEagkgeOPGez4xY4RGWkGijisrkVABERABERABERABERABESgGQjICNEMpaw85gkwTWP6K6/46x7duxc1Ekyb/oqbP3++69y5s+vbZwM/zcOuu3Tp7OUgEz8zOMTrQ9i13TdlQl1Mvt3TUQREQAREQAREQAREQAREQAQakYCMEI1YqsrTEgTo8F9w0SXu8SdaLli5917fdifkRjHEBoLpOePDkNxUCjMgIHCnHbb34W4feac7/2dnuYG5uLgrrrzKPfDQw+7aq4a5Lftv4deH8Ddyf4jPehG4Z596zB/5g4zrbxzeYu0KdLj2d8OW0CUfSSciIAIiIAIiIAIiIAIiIAIi0M4JyAjRzgtQ6mcjcMT3j/MGgZ133N5heOiSG9nAQpL8GO2AAQE/HIYDM0BgaNhqyy28seC2nOEgy64bPz/3LC/nF0Mv8TJ/dPqp/tr+YHy4/obhrk9uZMX5PxvcQpeTfnC6++Pw/8vrYnF0rB8C48ePd+PGjXO77rqr69evX80Umz59unvwwQfdjBkzfJprrbWW69mzpzvwwANrpsMdd9zh0z/qqKNc165dU9M1Rttuu60bMGBAarhK35gzZ05BvSqdnuSlE6C+PvDAA67WdSBdo2x3stbxrOGypdp+QpWb748//tituOKKdZlh3q3kr2/fvm7vvfeuSx3rXalHH33UTZw40R1wwAGuV69eNVO31HRvvvlmx/+L8H8ZdRNXr/WzZjCVkAjUiICMEDUCrWTajsCDOUMDhgUMCoxgMMeoBRyGiNtH3OmOP3Ywl36EQlJ4jBcsNskoiUJu7+8sHiGBEaJzbsqGXVucx74ajXHZxUPzox5CXRitYaMsLI6O1SFw3nnnZRaM0WGXXXbxDRc6WHSuauUmTZrkrrvuOp8choeOHTt6PazRVCs93nnnnVz9n140ORp3hKMxXytHoxLjB43KWho+apW/9pZOW9SBSjDKWsezhquETvUko5x88w7jXXb66afX9N2QlR/vU95bhQysWWU1a7i3337bM6z1/6ZS06WceUeF7qKLLvJ+Z599dk0NKKEOOheBZiIgI0QzlXaT5vXW3AgGXNLikfhhhPhHbhHJ47/iM/UrI0McnpESO+emZBQzQnwlJvXA+hG4mbNm5Y0QXJ/xw1O9jqwPIVcbAnFjc+HChf5LP518Ovuha8uvI3zlwfF1CWOIubgRZf7NeIzLyxhcccUV3mhz4oknmpeOIiACbUCAjinv1rZ2bTVSq63zrfQLE6A9UC91tLCmuisCjUFARojGKEflogABjAYYEOJ1H4iCHz92sjBXKLyFKed46EEHuN/k1pFgVAXrTOyUmyKyVW5UBnrYYpflyFfc7AT4Ihc6vo7QaWWqQ3wvDFfr82nTpvkhoqEBAh1iI0qt9aqn9GAT80E/fdmsp1KSLs1MoF7eqe11lE4z151a5L1e6mct8qo0RKAeCMgIUQ+lIB2qToBpEaW4UsOXIvuQnBGC6ResC8EaE7bOBGtE/Dw3XYRdOOTaDwEatDYiodj0A+YcM9oiaaRFUo5NLvdsCgbnZnyw+3bNvdCPrzpckyZhwnCEDR3hwriFwobxWnOOXgyfxRXTizAxN+IbRxuhEvtZXoiPs+s4XyGjrOWyWOJ//pp++CTVgVg3Cx+HJVwpXEwD8obusAhlMCfb+FjYUnRBbpa6g2zCGuM4X2lpm7/F5xiXj4UxZlynyS81LCxKyaPJTzqafnF9jnnHcY1ZWr7D8KG++CdxsPRMnumVFj5O38LH+Qj1CM/j+OE90yWsm1afLFwc39Iv9iwi254Vq+fIsrRMfng0fdABx7FQnKQ0QnnhOXIsL0nlEoa1c9MnSeekeyY/LtssrIhLftPCct/0CPMd1wPCmR7G3fKTdMxansS1sJwXY2hhY/2IGzvyY/kvFN7yZXyRE/tZumkcLW3iWVzLC9fG2MLpKALNTEBGiGYu/SbK+/zc7hhpLr7HqInYLy1ua/0xNPz6kqE+OqMwbJHMIwYf5xemlCGitWRrF48GxbBhwxyjFMzReOFrStiI4R5f420hrDAsUwTSphEQ7pZbbsnLJz1bw+LCCy/0aXBNWlybM7+99trL3XXXXb7hafcYKcCUjtB98MEHXrcwH9wfkFtQkkUv405sGLfUcxqDLPzGcOjQkRYLwcXc0I2RKdaYIw5hCM8ineH6DybX/IwVcUJ211xzDV7ejR071o0ePboFI+QnlaHFCY/Mb6eMrFPDPdMvXNiOhiv52Hzzzd0nn3ySL1MrR+KRH6bdhLIoL+QUKwPy2qdPH99wR07oiF8JXZAfLuJmaSTVH2NgYewI77jc7J7Vddhbo517aYypx/HCsHBm3YG4viQ9Zywum/R8mD5Zj6yRcPHFF7cot/jZoXwow6FDh7YoS54Hu3f55ZcXTDKtrsYcjDH+zz//fL6uITypbht3yvbOO+9skQ/q69FHH91C51hJix+XG+EoC94rds+eUbsmjMU/6aST/LshLrtzzjlnifTRk3yaI1/Ucd6x1NMzzjjDbrU4Ghvz5HnjFz8j3I/TwA+m8WirtPrP+kFxWGSEjrqNzknpm672PiOesSJ/8f8T/o/gH78rkBO/45KeZeohMqi7cXj0Iy+kic6hS2LCfbggMy5Pyp7yCl0aw7huEyfpGUdnnqUkV8pzbnzD9zL/48lDEvP4OSd99Ig5kV/qA3WKOJSpnAiIgHMyQqgWNDwBRh3Q0WcXjLhzj9+83BoNoT8jEtLClwuLBS+fy60c3aN7dz8aAnnox69Hj+6LR0c88dcW+pSbpuJXhwCdKTpLNCj4ukFjxxqVYSPYOqCEoVNPQ4+GOfHpmMYdk1BbGn80WmjU0Li0nTCQVcjRkaVBRXy+VtGIojHKzxqaxKfxZ518C0s6hDNDQSUbTKQFD7jRqCUtuJEWhpqwwxHqBgPikG86MnFHO4mF6R2zs7DkkUYhPGjs0lA0XVigrFC5IAOdkW0dIOTAGd34mVHA0uNIp5A80CDlaOVoHZ6Qi5UX8dCvmIMfzKgj6EQdQ0d0gXPcIXrllcUL7KbpksSFBnncibD6g+6UE3lidfwsZVQsTzxPdGSTGOMfdmbJO/rhqMvoQ3nAFh2pW8jBEZbnA2f13p4RjqU46gCd9S222MJ34Mk33JFjnUJ0oTzID4zMWYcuNqbYfTsikx9lQr2mPBkFQN5IP6muco904/cTjMLnzNIgfJwP6uu1116b2qknLnHIG2FJzxyM8Yd56G/346NxpDyoQzznMCTfYf1HT54N5FKnYcJzS/xiDs7Egzs/rvkhI3TkBcb2LFGf7VliQWLu4cij1X+rR7x70Rk9kZsl72HaWc6p+3AnTRzp8V6Fi/nhb+848hy/46gHofGa8MgwowxxjD/yyT/O/ofZu5J8hkx8oNwfyoO8W3kSHuboTv0zZwzpvBOWOJZu2jMOY8rewpJP4sSOdyLPOfUJ2eH/wqTwcfzw2piTf+KSJkzgFDKn3pJPyh4d7X0IJzkREIGWBGSEaMlDVw1IYFBuVwuMCkx/sNEHlk22y8QxRcIcW3ISni05mR5hbl5uNMUDDz1sl60+2tad9951e4utOBmBIdd+CNB4DRc7pFE4ZMgQ35mmkULjBEfjBceK2+ZHBxVH4y5uOPobX/0hHD8adDRmwg5MGC4+p0FH5yMMT9p0KOgYmD/n6Mp12JCiAcVXLBpTlXI02GjkkpYZCJBN/sgbHEIWNPxNtzA8nGlAo3shZ3lMY2eNasowLhfu0WiOO+5hehb/hBNOyK+kbnmBM/fjDgjpxJ14GsrkG+bcM4cs8mlMrONj95OOoWw4UUfpJFHP4rwgLwyPPNPF9KRccOiCfjSk4WlGNvJodT3UnbStTL2AVv6xhnuoJ7qgn+XLGMOczkn4FZOwOHSmc2WdWa5xXIdc0Dse1eADFviDESd8dmCOEQuW1FH0Iw3OqVNWLxFpdTj0S0rK6lpcV3nOKdukuho/Z+FzkxQ+KR+8A8J8JOlGB5RyQqbxDfNmZZAUN/SL02ddHnsHmVw6rDwPVj854sL6GcqMz6nD/Kiz1lFMYh8/G7DDUQ7EszhsQYssyj+sA+iD7pSN1c9Yl3KuY1aWHvqZHrCiziexCvNCfQ1d+Kzhb0YV8hk/W/aMJ9WnQvXPngvkG8Pw/xX5SXrGCYs+MW/Ssp0tkGkO/jjqj5UZ1615zhlZGL4rqEe8g8iLMef/G2VgzO39SXrGivTlREAEFhNYSiBEoNEJsLUmIw1Ye4HpDrfnjAsP5owJLAz5eG7UASMfwi0xMUj06NHdsbXnj88614cnzhHfP85v9ZmVF3IZ+fCLX17iZRAPuYccfIAffRHqgoEEgwgLU4a6ZE1L4WpPIG68oQENExwNJRwNeBpv1qjynl/9sQZNJTv6Jp9GUNjowp9GPQ59zBGG6QlhJ597NML50ckJw1u81hytI0UDOnbWiLMw3LfzpPDwLNdZAzHOHw1WGtsxvzg9Guuw4+ta6JI42/2kekADHmcMLCxH6/xkqSOUOb/QkR51Mqkci+lifEwe9RU/6jTycNaJTtLdngWLX+qx0LOD7jx/piONf35JebLn1BiiO3rDyp5B0w2/UvWO6wnPjdVZdMKhF7pybezw54s7aRbrqFIfqWtx+dp1KBO5uCSZVk5WbotDLv6LjqEL84GeaY5wpGVcLZzxNhbmn3aMOZI3fuHzaXoXKuc0+aX4J8m3ehHqQx0l/8bV0kBvwofPit2rxDGJFfUr1A1WXFP/rZ5Y2ra9tJWR+Rtzu+Zo9agQk6T6F+uILPOzdzvxOCddu0c4HOnZM7PYZ/Hzwnn83FIGhA+d1cck2fgRpxQXp2npYewxZzyp8/Zusnv2HrJrHUVABDQdQ3WgSQgwAoJO/u0j7vQ7U5BtOvzHHzvYHXLgf0ZBeP/ciIRrfzfMGw/ChSN3zu1iwW4WGCSyuBNysi8Yeok3ZmCPt9EWP8ptxcmoB9aBYJcMcxhKzjztVG+oMD8d2ycBa5RZo5Br+/oa5ihuOIb3anlOY5mRBzSozIBiuldKDxrFNPziTjvy8adhSJqw4toad0nhK6ETjUp0YrQBDUQa2zQs6TzEDci09NCVhqc1+AlnZZ8WJ/a3jiqNcWvEWhhjUE5ZkB/S4AfjQs7SM0NKHBY+6Dh79mxfjsXCx/FLubY8WycojhuOQjI9OBZ7zoz3aqutFous2HW3bt28LEuL+kwni6/48OOcZ45nzQxNxRKnXlFHmIZhbCzfxeLafetIs45FFmfPnr0T0uLYs2RTMuy5oL6ZjLS4pfhbvtPqRCmySg0bvxPQhR9lm1Tn7D1gz0qp6ZUaHj3CcrK6R32J9TPdjGepabU2vHXcLV3TEb1jHUmDPBlnrglHHca/mDPZae+yYvFbc9/StOesNTIURwSaiYCmYzRTaTdBXjEq8IsdnX46//zYghPXPbcuQ9qWmD1yIxauvWqYH8kwP7dmhIX98dnn+rhhvPPPPcvxix0Gi3vvvN1Nz829Zg2I0B1/TE7P3C+LLmE8nbcvAmFjyxoo9ZYD5szyNZ5GNo1E66jSUQkbtZXQO27IJ8kkTWtQmy5J4cr1o/PH3GSG7NIxNAMAaTIaotiXKzqANh+cRqc1PGngl1LW1iGw9MvNV1p8SyftPv5WX9PKyRr/JqtY+EJpVfKe1dOww1JMfjXrlnEKdaA+YYTgWcMIYSNgOC/mqE8Yy8gnHXDTvUOHDvkyKyaD+0l6FYpn4Y1vWljeG9QZ8sSzg4EFV+wZSpOX5m/1Le1+W/jzLNiX/aT07VlJuldNPyszysLKo5rplSO7GMNQttXJ0K/Qedq7rFCc1t5rq7Jurb6KJwJtTUBGiLYuAaVfcwJMkyjmmKaxU27kA8YIc6wJwUKWuL4bFJdBOIwVjHBIc1l0SYsr//onYJ0FhuvGQ3brQXsaz3Qc6CwceeSRLUYAMKfZGrKV0JXGYCF51oAzZsXCV0InDAf2RZ2GOixgEi+IlpQWX+7oFNHpCofq4tcagwK7I5TawE7SK/Yzrlm+/BdLP/7yTllVu2No+sf5SrqmHCiPQs7yWKguForf2nvWUcegQJ6ob/DL8lWf+oi+GM3M2IUe1FVG4WR1xtIYZI1XrCOHPIwpGFnQh1FVuKxTMbLqYe+GrOFrEY7yCBdarEWapaTB+63SxqBS0g/DWv0L/Tin7sRTAuMw9p6J30FxOLsutY5bvHKO9o5Ny2c5shVXBBqRgNaEaMRSVZ7KIsCilIx42OeAQ/w6EhgemJZx0g9O9yMjbM2IshJR5KYgYI3mUjoKtQRjeiXNYa20HjTWaZxZmqF8GpZ0ssIOVqHwYdzWnJMeHbjwCyGdRBrC1oktNA+eNMkH5RsaIPAvtQFKujiGTVfD2agMq4uF0rAOcZoRxWTZEHsrr5BjIfml3DPZaVzo8PLDFQsbpmscqqGzpWN13PQyf54z6octxmdlb/eTjuhJB4yRO7G8pPCF/Kz8rLNUKCz3jL0xKxTeOro8N+iMrlniFZIZ3zN5lo/4fi2v0QXjDGVT6jMf61lu/Fge11ZXqlnPk9I1v6Q8WbnF74+0943J4lgqb6srWWSH6ZRzbswtn+XIUlwRaAYCMkI0QykrjyURYOSC7YrBwpQsIMmRqRMYIH6UW7dBTgSyEKCTQWOIhiCd3tixqnw9NFjihioNN/vyFOvc2msbdm4rlody6JThwg69ddCso2nhadwmsbT78TFpRAVfyRjJwI4KcWO52Fdfk29yY06l6IYsWySOaTGxLhhL4BX7mw7hESNOrAvs8KMOWqM8jBOfW0eSVfXjNNGDNChH+8po4UknDp/U+Ld41km39MlnrDsNeowi1M04PM8Mz46lEYZN4o9+9pyhA3LRN65b6BGnZTqmHWEVOjNw4Wd87L4ZeSxOlpECZjCIn9Ek/S0djjYaIfRj+0Ac24nGLja6kQ/T057dOE54zfPKM2F1LkucMH6Wc3iSBiOW4vqSVO5pMq0ept3P6k8eKYekdxoc4voVy7Vn0ow9dh+ZpeTH4oVH3itprJDP6JqYYRi/3PM47yEnWwclfBbTGIYc7HmJw1JX4+cjlB3rQvhq5N2eb9KL5du7KuYah4vv61oEGpmApmM0cukqb60mwI4a/BgVMXPWLNc5t6bElrmGW7gWRKuFK2JTEeDrOmsH0Omlg2MdIBolXNNYsi8otQZDQ5VGHo06GkM0iumspTWYytGPBjtpkWe2UyNt8m5+MAg7LhgkuEfniAZzoQZeIb2QS5rw5wscDVnSRT6NRXThHD8Y0PGi8W4N3jTZ6Ep85uqb3jSErbNLozuLo/NmbJJ0QS/ucyzkSA9dwrxYY91GdxSKzz10YdoQ8UJd4EdZUD/CaUWEp2NIfbHwyLG6zXnoKPPRo0d7WfhTpnTAnnnmmcSpOqRF2pQ/DCi/sIzCIdzkkfyHzxlpWP1Clj1nTD1iK04zAoZ6EKcUZx2OuH5SDtbJNHnwIhx54p59Ebb7SUfCWRymSMEBY1DILKkjw3PDeweDA3UHDtRN5CEjduQDuaRFXbJ8JeUjjmvXPDNW52IDjIUp50g+2CqRcrPnjvxQ30p5Zxl3mPCsY+hpjb7UKdI1dshFR3teqG/wS3PUB/TnvUG9hT3PA2WXVKZpcpL8Y1ZW98KypR6QfjUcawpRXy3/Zjgij/zM8SxSlvY/yO7Zc2vxCc85/iFv6qwZy0ymHe2dUInn3GQWOlp5o5+9iwmf9j6knDGEUza27XEh+bonAo1GQEaIRitR5aeiBAqt51DRhCSsYQnQwGCLPTpSNKD44Wj80kgKG1m1hoBudORoAMZ60WHBjwZypRqqbGtJgxC59lUWDjCgcxE6GtEWPuxk0EjlS1pawzOUwTkdBRr0pMnPjAuwJ41QF8Ijn3vF8oxcGsDEt44XcZmDbV8ZafCTRjFHGZBeki400ovpgnzC0KmwziN+sIVrKR0s8oXO8LUyQhZ5S9IF3QkX6k5Y/OlYhQ65YXji4Ch/yijuSFrjHDlheSeVER2As88+2zGiBLkmO+k5gxV1K3wmjZXV+1DvQuesB4CcUHfyQx1KctRdOqlJhoCk8PjBneeGNMK6Rjp0YszwFcanHHl2k8owDGfn6Atj44Z/oXxYvPBIuaAf5ZalzoZxs56jE88VuhoL0kqqb2ky0Q85PCvwoSxKeUZMLvWZeoQecZ2Dv71rLHzSkfh0WMP4cETHsCyS4hbzI4/U61g/nhU6vaRRLUedJd24/p1wwgktkrRn0f4vWJ7RG4b8zBnvmBf5xFGeoSOfac85z0b4zIbxyjm3597qFrLQA3/yGDryg6M+y4lAMxLosCjnmjHjynPlCAwbdoX/J/rsU49VTqgktSmB628Y7rc0feONN2uuB50IHI2YRnN0WvlCxJe3ajXSW8vMOjLoRgOw2q6U9ODGEFrTjcYcjbysi64V42660CgstVyKyS6Vo+liec0S/+STT/Z6Y+zCmQwav+U4k5NFl1I5lCKbPJQiv5SwpeqRxjOrHAwqdLQoq9bWNbYdTHtG6fjxo1NO57oYCzp0GEXorNH5zZqPJA507Bh9YWknhamkH+lRN+GI3ozGoWOd9atyOXmN8xFy5j2SVj5xPLuupC4mMzxi5LN3aKn1LpRT6jlcLN1iTEKGxXQslVep4UvNZxw+zos9GzyTPB/mCIcrxsbC6ygCjUIgt7tTB42EaJTSVD5EQATqngANjWp+fSoHQLkd1lLTzpIeX6r4Qgk3a6Tx1ci+YGWRgV7FuGeVk5THYrKT4hTyK0cXk1sJGcgqRU6pHEqRjS6lyC8lbKl6oEuSyyqHzghhi3WyktIoJV8Wv9Q4WfNh8sMjQ+5x1XzH0Zk0Y2GYjr0TbKpFqFfaeTl5jWWWyjmOX0ldYtlcU99aU+eSZJXiBxd+WVwpDEvlVWr4LPomheEZwJgH67B+2rPBvdBlZRPG0bkINAoBGSEapSSVDxEQARFoIAJ01hjmTmOOIbk0Ivmax1dejgzBbYtGdQMhVlZqRMC+QjN6h/PwS2iNVKhaMhgFyZNNJ+BLbzWfS0ZBsW4C64swtYVOHAYI3gukm2UKRNVgSHDTE2DNG378z2KUTu5jr6+fPB/UT54POREQgcUEZIRQTSibwEorreRlzJw5y/Xo0b1seRLQ9gRYjNPKte21kQbNSICvSHTW6FzEawtggLC5t83IRnluXwSowzbXnc5zI3VEMADY80knK5zDX41SYpoeU/Yw6PAzR9pMz+IoJwJtRcDW+LBnwvRgBEQjTjG1/OkoAq0hoDUhWkNNcVoQmDt3rtt++2+6Tp06uoHf+XaLe7pofwQwQDww+mF3zDHHuvPPP7/mGWjkNSFqDrNBEmRUBF9bcfb1s0GyVpFswIch6rUaclwRpZtICOXDugt0RMIh2tVAYKMuCq0bEabL9AZGM2QNH8bl3EZB0Pmv5bNJuqyvw5x66r3qflwyum5LAjxXrIWh+tmWpaC065kAa0LICFHPJdSOdHvppZfckCFnOo5y7ZsAIyAwQGDRbwsnI0RbUFeaIiACIiACIiACIiACIlB9AtggNB2j+pybIoVNNtkkNw/uoabIqzIpAiIgAiIgAiIgAiIgAiIgAiLQOgJLtS6aYomACIiACIiACIiACIiACIiACIiACIhAaQRkhCiNl0KLgAiIgAiIgAiIgAiIgAiIgAiIgAi0koCMEK0Ep2giIAIiIAIiIAIiIAIiIAIiIAIiIAKlEZARojReCi0CbsaMt0VBBERABERABERABERABERABESgFQRkhGgFNEVpXgJsC3b55ZfltiWb3bwQlHMREAEREAEREAEREAEREAERaCUBGSFaCU7RmpPAqFH3+32fR44c2ZwAlGsREAEREAEREAEREAEREAERKIOAjBBlwFPU5iIwY8YMN27c0z7TEydOcNOmTW0uAMqtCIiACIiACIiACIiACIiACJRJQEaIMgEqevMQuOaaq1tkdtSoUS2udSECIiACIiACIiACIiACIiACIlCYgIwQhfnorgh4AoyAiNeBYCTE2LFjREgEREAEREAEREAEREAEREAERCAjARkhMoJSsOYlwGKUaaMebI2I5qWjnIuACIiACIiACIiACIiACIhAdgIyQmRnpZBNSuDpp5ccBWEoFi5cqNEQBkNHERABERABERABERABERABEShCYJki93VbBJqewKBBgxw/3LRp03JbdP7anXnmENe374ZNz0YAREAEREAEREAEREAEREAERKAUAhoJUQothRUBERABERABERABERABERABERABEWg1ARkhWo1OEUVABERABERABERABERABERABERABEohICNEKbQUVgREQAQqRODhhx92L7/8csnSPvroIzd8+HD3ySeflBxXEURABERABERABERABESgrQnICNHWJaD0RUAEmo7AiBEj3P/93/+51VdfveS8r7TSSu75559355xzjvv8889Ljq8IIiACIiACIiACIiACItCWBLQwZVvSV9oiIAJ1R+Dxxx93M2bMKFmvDh06uKWWWsott9xybosttnDrrbfeEjIWLVrk/vSnP7nf//737sYbb3TdunVbIkwxD9IZOnSo++///m938cUXux//+MduhRVWKBatIe6/+uqr7o477nDLLrusW2aZxf++vvjiC2+M+fe//+0GDhzo+vXr5+B82WWX+SPlQbl8+eWXzsJuvPHG7rvf/W6eySOPPOL+/ve/+3CEJT5h11lnHXfIIYfkw+lEBERABERABERABESgfAIyQpTPUBJEQAQahMC8efPcsGHD3Ntvv+07pJ07d/ZGBTr+dGI/+OAD30Elu6ussoq/xzkd4AULFrjPPvuMS/fTn/400QgxZcoUb4Q46qij3IYbFt5dhY4wW8B27NjRkX7o8DvjjDNyu7Scmdulpa87+OCDw9sNez579mz32muvuZkzZ/ofGYXNWmut5VZbbbX8FJWPP/7Yvfnmm47wb7zxhjdSYFxg5AnhYGaOcqVcxo4d68sX/xVXXNGtuuqqrmfPnhZMRxEQAREQAREQAREQgQoRkBGiQiAlRgREoP0T+Mc//uHeffddt+WWW/ov4BtssIHDEMFXd4wMRx99tO+oMiXi1ltv9fcwFtDppbN75ZVX+nUe1l133SVgfPrpp97AsfTSSzuMEMXcbbfd5h577DF34oknuq222mqJ4Jtssonbcccd/foQ2223nevVq9cSYRrNY5tttnH8pk6d6g4//HCfPThcd911LUaDYKS56qqrHOtnnHzyyT48ZXbJJZe4r33tay2wYJw49dRTfdn+4Ac/cP/617/8VBdGsyy//PItwupCBERABERABERABESgfAJaE6J8hpIgAiLQIAT4Gr5Obgj+5Zdf7nbddVfXu3dv/+WcDiyjIDBE4DAKrLHGGn6UQqdOnfy0iq233trtv//+fgRF0lQMDAoTJkzw0wD40l7IMaLi+uuv9+H5mp/kmGbwve99z82fP9/dfvvtfqRGUrhG9FtzzTXz2WIkQ9p0FPy7du3qwxKukFFh7ty5fiTFRRdd5A0dhcLmE9eJCIiACIiACIiACIhAyQRkhCgZmSKIgAg0IgGMDH/729/8F/EuXboskcWJEyc6RjPg+Bqf5FZeeWVvkGAof+gwKjzwwAO+s7zbbruFtxLPWXiSqSGMwujTp09iGDwZqYEuDz30kJs2bVpquEa7gVGIESU4jAeMRklyGI3eeecdf4vdRGy6TByWBT4x5Gy77bZu0003jW/rWgREQAREQAREQAREoIIEZISoIEyJEgERaL8EMEAwjJ+OaJJ79tln895pRogPP/zQrb322kus4cCCitOnT3csiJhlnYFnnnnGp9W9e3c/GiOfcHTCiAqmDdARHz9+fHS3cS+ZQoGBBodhgTU5ktxdd93l3nrrLX+LcEybSXKTJk1yL7zwghs0aFDSbfmJgAiIgAiIgAiIgAhUkICMEBWEKVEiIALtl8CYMWPcLrvs4vjKHjumPGBEwLEIYpohgV01GJ0Qu+eee87NmTPHsX5BlmH+7NSA+/rXv57fBSKWadekx6iAl19+uam27GRhUBy7WDDKIXas7cDok3ANCJtOE4bFgHH//fe73Xff3U/FCe/pXAREQAREQAREQAREoPIEtDBl5Zk2tcRRo0blVpl/xK/q38ggLr/8sobK3uIRANu5gw5qjl0Wkgpvv/32cxtttFHSLffPf/7TL3LITQwD8W4VFompFvaF3vw48qWdKQMseJnk6DBjBKFDTLiXXnrJp4HhggUwSY9FKDGAxA6DCFt9ssMDUzjiqSBx+Ea5ZuoLjqkUjHCIjUcsVrn99tt7NkxvwSUZIViMlN1QhgwZ4tfz8AEr/Acd2fr10Ucf9WXE6JUjjjjCbzWKbvfcc49f2wMj2Le//e2q6VHhbEmcCIiACIiACIiACLSKgIwQrcKmSEkERo4cketIPeL6bbSuW2WlTklB5FenBD6at8CXHcaIgQObc0h62jQMigyjgK0HQQcyzTHSIXZM0aCTyyKJaes7MMpi5MiR3gBBeL7uM+UAf37szrH55psnGiFYpJFFMidPnuxmzZpVUSNE2loLcR6LXacZbYrFK3Q/HAkRr/VAef3lL39x7DDy5JNP5sXERgiMNhgrDjroIJe0Dkg+YhknTJX59a9/7aeFsIsJo1Zuvvlm99e//tVP/+B8r732coyiYfcO6gmLosqJgAiIgAiIgAiIQKMSkBGiUUu2DfI1btzT3gCx7+7Ji/a1gUpKskQCGJGa1QiRhoqOOOtF4DAMbLjhhmlBE/0ZzcCPL/XLLrtsYphvfOMb3gjBTXbmoPPMAol/+MMfEsOHnsi0DjRGCNadqISjw86Wo0lTHUqVv8cee7gddtih1GgFw4cjIUIdGXVw7bXX+pEGGGcsHMKYVhO6u+++268DwlSMajiMSVdccYUfGfbb3/42r8ubb77pFxPFwDRs2DCHQeX888/34Z566ik/Lagahptq5FEyRUAEREAEREAERKBUAjJClEpM4VMJLFy4UCMgUunU/42Vu3Rq+Gk0rSkFDAh0FnFMh6BjW4pjBAXTBRixkGaECOVNnTrVX5ZiTLCONqMoKuXozKNzPMogSb51mDnaOeHs3HaySIrbWj/Lc7wmBCMMGOFwyCGHeNHhNI1wJASsmAZx8cUXJ5YLIykwFmB4Ih8Yo/gNHDjQc0H4TTfd5EetkD/ukdbee++dX/eDLVlZZJTtVk1f4tm6IIxu6d+/vxs3bpzf3YS0MD4ZN8KaY4tRRktQJhbf7ukoAiIgAiIgAiIgAu2JgIwQ7am0pKsIiEDNCbDFI2tC4DAMhJ3aLMpghKAjz1QXplUUcgzdf+ONN3yQcEHFQnG4ZzpV0ghBp/nYY48tlnSb3bdOva0JgSIYQplecdRRRzl2DsEZG87DkRA33nijH3GQtg4IoxPef/9997//+78OAwBTNtZdd90WxoSuXbu6//f//p9jXYdvfetbbv31129hIGBnjgMPPLDFNBqMFUwXwWGEwOBAWZ922mne4LHvvvv6e/zBwMJ6IfwefPBB9/TTT/v8yQiRR6QTERABERABERCBdkigcIu4HWZIKouACIhAJQlMnDgxPyWh0KKUaWkyVYDOJJ3iYiMC2OGCr/h8ESetrK5Tp8VrsHz00UdZo7T7cGaEICOW7zvuuMMbCVgg1BxGCHhiSMBIwXHatGnukUcecX/6058SRx0QF/6MOmAaBVNwBg8evMSio4yKwLDB6Jif/vSnS5QvoyLiMmd9EDNqbbXVVl5NptMcfvjhpnL+yKiYP/7xj77uPPbYY6m65iPoRAREQAREQAREQATaAQEZIdpBIUlFERCBtiFAh5XdE3BMpUjb3aKQdiw0SCeYL/YYIwo5tvJkhwy+qLPjRVZni2Yut9xyWaO0+3ChEYIRIExVYIeRn/zkJy7kQLlhAGIqBgYD+DIKgukaxXYSeeWVV3y5UR5Ju55QphiOMFjExgYAJ41YePHFF70xhJExxUa79O3b15199tl+sUqmhtgomXZfeMqACIiACIiACIhAUxOQEaKpi1+ZFwERKESATiudP9x6661XkmHA5GKEoDNKJ5hOa5pjmP6zzz7rb5cyCoIIjJ7AhVMPvEcZfzDAMJ3ADBxliHLdu3dvMY2hHFkWNzRCMF2B3UVYT4Ff6DAOMFIE/vyeeOIJ99577/npFWG4pPMXXnjBjz5I2vWE8NQPjB9HH310UvREP9aIgC27rITGkqTATN9hlAR1Q04EREAEREAEREAEGoWAjBCNUpLKhwiIQMUJfPDBB27mzJle7mabbebXdSg1EYwQ9iW+0EgI0mGoPi40QjDV4N577/XbOK6++uqJydt0hKSv9YkRMni+++67foeJcOeJDNESgxx22GHuRz/6UeK91nqGRgh2lMAQc+mlly4xZYGOPFwwPPBjN4ohQ4b40QXF0sYoxIiFNCPE7NmzvZGGtSKSHEYnplT06tXLG4gYhcFilbiwjLlmqgjTSb73ve/ldzvBX04EREAEREAEREAEGo2AjBCNVqLKT5sTmLdgoXvl9bdd9zW6uh5rZB9SX67ibZVuuXrXc3y25uSrNY5OY9KuBcX05ys8hgg6yYVGQkyZMsV/qafTHE77YC0AOtn7779/YlIYNvgij269e/dODNMazx49ergnn3yyNVGXiNMabksIiTxCIwQdfdZs2GCDDaJQzi8GasYZRi0MGDDAbbNN8W2EmeLB2hEYEJiOkeQos6233jq1XgwdOtQ98MADbtttt/XGD0bVMGoDx0iI0LFDBjtysJClnAiIgAiIgAiIgAg0MoGlGjlzypsItAWBJ8c/5045+1du9Jinapp8W6Vb00zWMDG+WtMxxDFsPm0XhWIqsYMCCxxihJg1a1ZqcO6TJtuAMgQfx84cbCN5xBFHJK5JQBi+xtOxZTeHnj174lUxh/GgEr+KKRQICo0QlA0jCJIc0zGMJwahE044IdOIFtYCwQDVr1+/xLUdSIv1IEKDUZg+ZfnQQw95LxhiLGJ3C0Y84MJRLRhHmE7yne98p6Bumpbh0emPCIiACIiACIhAOyegkRDtvAClvgiIQGUIsF4AOxEw/YARC+xgYGs0cH3llVf6tQ1Y6JAFDY888shMCdMJ/sY3vuGH4TMUP20xQtacwJDAFBC+7GOwuP76690ee+zhvvnNb6amxRQDwtIRr+SaEKkJ1skN1tngx/anlAU7VCQ5m47BvX322Sd1akUcl7LHeBBPmwjDYYRgBEaSo56ss846vj6R7n333ef+/Oc/O3bMYAFNrvfcc09vaBoxYoTfrnO//fZLEtXCT4aIFjh0IQIiIAIiIAIi0A4JyAjRDgtNKouACFSeAGsy2EKE7GbBj2H7dPr4sUDja6+95r9op60BkKYVWzEymuKll17ycpJ2TWBBxVNPPdWvC3Deeed5g8Txxx/vdthhB69LmmwWj+TrOl/kmfbRTI6RDRhfdtxxx9RsYwRiOga7jWAMwCiRxf3973/3oxI23njjxOAYqZBdaBeTs846y1177bVu+PDhfnHMU045xY+sYIrHww8/7JhqQ1044IADvLEpqV4kJi5PERABERABERABEWjHBLK1xtpxBqW6CIiACGQhwHoCv/vd77IELTkMstdee21vhGARyaSv9hg99t13X9+hZlTGaqut5juuhRJjiD9bPrLwJYaOZnMYa/r06eO3Ty2Ud9bTYAQCo02yOowMGBjSprjcddddfiQDoyXSXP/+/d1vfvMbx/oSjHLBaII77rjjvEGEURxM18lqPNIoiDTS8hcBERABERABEWhPBGSEaE+l1YC6zs8t4jjs+ttcn/V6u4O/u0eLHE7PLe444r4/uy2/tpHba7fFw9GfGD/BPZFbc2Hv3bZ3Ltf2f/CRv7qZ78328fCzcC0E5S4mvDDVy2LxRlxS2Btuvc/LOvf0Y93I+/7innthiiN8l04d3TGH7ev6rtvLX4+8P3dv8hQvp8caq7tjD/tu6gKUpJtVR/IxIid7+mtvednGJGlxyzA/6LfjgC19HP2pTwJMk+ArPB3SSZMm+a/eaZpifOCXxbGDBV/TWbdgww03zBKlocIwSiSL69u3b5ZgLcIwWoHRLxiHYseIGdaMYJRDMYfhwYwPYdhwTYjQX+ciIAIiIAIiIAIi0OgEZIRo9BKu8/zRyWcBx/65DnhshMBAsXhxxw5548L019/yftzDINFjza6uc64TPv21t92EyVMd90877tAWuf7lsBvcg7k06KxvsF4v90ou7NDJN3hDAgYHcxgdkMEP+d1zsme9O8cbHkiLsDfcdm9uJ4KP8/cIi1Hkpt/+zxKGCPwxbJBu584rupk5WYTHgBGmS/rkc2hOT1yfnI44DCFPjpvgrrr4Jy1k33DbfV4uYcj//Jx84lo8/OXqj8BOO+3kbrvtNnf33XcXNEJk1Zyv4o888oibO3euX5SxmdaDyMqonHCsz3D11Vf7KTqbb755XhQjT37/+9+7//mf/8k8giEfuZUnLHLJuiSMfGHqTVYjVSuTUzQREAEREAEREAERqCoBGSGqilfCq0UAo8AlP/tBbgRAf58EowgG//B/cqMOnnLHHrqPN0xwgw47Boi9cyMpfnj8od4ggP9Zv/yd7/iHoyzwxzEC4WenH5MPe2VupAYjFOjoM+Ig6R6jI2LjB4YRjA02OgMdTz1n8a4ZYbr4I5sRD6HBYUTOCHHl/93m71190U+9boQ1wwb57/+1xV+/Lf8+kP7UJQG2vGQRw0svvdQveMlileU4dsVgR4Vdd93VYeCQqyyBQw891O868sMf/tDzZTQDC1Gy08n555/vj5VNcUlpjJo57bTT8luAMirj8MMP92tRHHPMMX7XlCVjyUcEREAEREAEREAE6pvAkuNM61tfaScCnsDB++yRN0DgQQe+f27aBiMY/pnrqJsbPeav/l5ogOCejUR4MHc/dsfkplcwesHcsYftY6futOMPaXHvoJweuGlfTaHIB8yd7BVND0HHc087zgcJ08WogCOdcOoFecTIwOgJjAw4jB2403IGFTNAcE28UE/85OqPAGs+8Lvgggvc+++/32oF+SrO13jWgmDxShZIlKs8gZNPPtndfPPNfneTzTbbzBsfLr744poYIMgN02yYbvPoo4/mf48//rgbO3asDBCVL25JFAEREAEREAERqBEBjYSoEWglU1kCfdbtvYTAzp1W9H4LctMlcKybwBQIOusYJ/iFjqkMjFaIXWiA4B7TPcyFRgLzSzsiP3bogvww3Qm5aSA47pmxweKR3gQ3NTeF5C1vaDBjB9NKYmf5j/11XT8EWMTwjDPOcGyr+dvf/tade+65fneEUjVkSge7N1xxxRWOtQvkqkegd+/ejp+cCIiACIiACIiACIhAZQjICFEZjpJShwRmvrv4SzMjCfY/9id1o6GtD2EKYSjBFdJx3oLFhpVZX42I6JtghDF5OtY3AbbqZD2BYcOG+S0/07aATMvF/Pnz/aKIQ4cOdeuvv35aMPmLgAiIgAiIgAiIgAiIQF0SkBGiLotFSlWSACMMWIOhnh2jLZh+keaSRn6khZV//RPo0qWLY3vJ1rjOnTu7X/3qV62JqjgiIAIiIAIiIAIiIAIi0OYEZIRo8yKQAtUiwPaZOL+NZm6xynpxjHwIp3gwPWNRTjl2Bwn9k/TtnpueQXymbZQyNSRJlvxEQAREQAREQAREQAREQAREoNYEtDBlrYkrvRYEbP0FtsKMXbyGQ3y/2DVbViKfrTKTZLE9aDWdTbMI01i85eh/tuHkni2oyY4fSS5cJ8JGdJicMHxSeuF9nYuACIiACIiACIiACIiACIhAWxOQEaKtS6DJ0+fLP8YCOtpsg2mORSWHXX+rXbbqiGx2r8AAcUpua8ywM4/8waf93G9/2SrhGSKxMwdbhJojzRtuu9df7p3bOcMcW4rihuW2Ag2NCxhJ0PvUsy/N685oCQwrbN8ZhkW27ZxhcnUUAREQAREQAREQAREQAREQgXojoOkY9VYiTajPcYfu6376y9+5K3Od8Bu/2q6SDjjGCeeWHCFRCiI6+PPnL/QGDhZ+tB0rGDVQ7W0tWYuC7Tf5ka6NVECnvXb7Zj4b5JMtQ4cOu8H/4BAuXkl4m3qBYYXtOcOwCDJe816r7uiOvNI6EQEREAEREAEREAEREAEREIFWEJARohXQFKWyBHYY0N8Nv/IXbvTYv+a2rly8FeWOA7bMLSa5oTcehIsybrlZboHJw3LTGRJ2h9gpF6fHmt1c92hrTDrtyHv8mefy8g8e1Nt9Z/dv+lEFlhtGJzDdwaaImD/HYw9LXlOCsNwzIwFh+6y7tvfbcZstvTGBER7kq39Od9LAOBE7jBL4M7qBsLgdcjrvlJMRh7ewyJ317my/jgRyyTfxPaM4AV2LgAiIgAiIgAiIgAiIgAiIQB0Q6LAo5+pAD6nQAAROPPF4t9M3NnM7535y7Y/AY8++4B7P/a677vo2Vf6WW27x6R955JFtqocSFwEREAEREAEREAEREAERqCyBDjmnNSEqy1TSREAEREAEREAEREAEREAEREAEREAEUgjICJECRt4iIAIiIAIiIAIiIAIiIAIiIAIiIAKVJSAjRGV5SpoIiIAIiIAIiIAIiIAIiIAIiIAIiEAKARkhUsDIWwREQAREQAREQAREQAREQAREQAREoLIEZISoLE9JEwEREAEREAEREAEREAEREAEREAERSCEgI0QKGHmLgAiIgAiIgAiIgAiIgAiIgAiIgAhUloCMEJXl2dTSOnbs6D6au6CpGbTnzH80b4GjDOVEQAREQAREQAREQAREQAREoFoElqmWYMltPgK77ba7GzXqfp/xlVfq1HwA2nGOMUBMfPl1t9tuu7XjXEh1ERABERABERABERABERCBeicgI0S9l1A70m/gwEFu4cIFbty4cbnjwnakuVRlBMSgQYPcwIHfFQwREAEREAEREAEREAEREAERqBqBDotyrmrSJVgEREAEREAEREAEREAEREAEREAEREAEcgQ65JzWhFBVEAEREAEREAEREAEREAEREAEREAERqAkBGSFqglmJiIAIiIAIiIAIiIAIiIAIiIAIiIAIyAihOiACJRIYPvwPJcZQcBEQAREQAREQAREQAREQAREQAQjICKF6IAIlEBg37uncwpuLfyVEU1AREAEREAEREAEREAEREAEREIEcARkhVA1EICMBdvwYNWqUDz1y5AjtAJKRm4KJgAiIgAiIgAiIgAiIgAiIgBGQEcJI6CgCRQiMGTPGzZkz24fCIDF27JgiMXRbBERABERABERABERABERABEQgJCAjREhD5yKQQmDOnDnugQfub3F3zJhH8kaJFjd0IQIiIAIiIAIiIAIiIAIiIAIikEhARohELPIUgZYERo1qaYDgLqMhhg8f3jKgrkRABERABERABERABERABERABFIJyAiRikY3RGAxgWnTpvnFKJN4TJs21fGTEwEREAEREAEREAEREAEREAERKE5gmeJBFEIEmpsA60AMGvRdD2H27NneILHtttu5bt26eT9GRMiJgAiIgAiIgAiIgAiIgAiIgAgUJyAjRHFGCtHkBDA4mLNREdttt53r23dD89ZRBERABERABERABERABERABEQgAwFNx8gASUFEQAREQAREQAREQAREQAREQAREQATKJyAjRPkMJUEEREAEREAEREAEREAEREAEREAERCADARkhMkBSEBEQAREQAREQAREQAREQAREQAREQgfIJyAhRPkNJEAEREAEREAEREAEREAEREAEREAERyEBARogMkBREBERABERABERABERABERABERABESgfAIyQpTPUBJEQAREQAREQAREQAREQAREQAREQAQyEJARIgMkBREBERABERABERABERABERABERABESifgIwQ5TOUBBEQAREQAREQAREQAREQAREQAREQgQwEZITIAElBREAEREAEREAEREAEREAEREAEREAEyicgI0T5DCVBBERABERABERABERABERABERABEQgAwEZITJAUhAREAEREAEREAEREAEREAEREAEREIHyCcgIUT5DSRABERABERABERABERABERABERABEchAQEaIDJAURAREQAREQAREQAREQAREQAREQAREoHwCMkKUz1ASREAEREAEREAEREAEREAEREAEREAEMhCQESIDJAURAREQAREQAREQAREQAREQAREQAREon4CMEOUzlAQREAEREAEREAEREAEREAEREAEREIEMBGSEyABJQURABERABERABERABERABERABERABMonICNE+QwlQQREQAREQAREQAREQAREQAREQAREIAMBGSEyQFIQERABERABERABERABERABERABERCB8gnICFE+Q0kQAREQAREQAREQAREQAREQAREQARHIQEBGiAyQFEQEREAEREAEREAEREAEREAEREAERKB8AjJClM9QEkRABERABERABERABERABERABERABDIQkBEiAyQFEQEREAEREAEREAEREAEREAEREAERKJ+AjBDlM5QEERABERABERABERABERABERABERCBDARkhMgASUFEQAREQAREQAREQAREQAREQAREQATKJyAjRPkMJUEEREAEREAEREAEREAEREAEREAERCADARkhMkBSEBEQAREQAREQAREQAREQAREQAREQgfIJyAhRPkNJEAEREAEREAEREAEREAEREAEREAERyEBARogMkBREBERA9BR86AAAQABJREFUBERABERABERABERABERABESgfAIyQpTPUBJEQAREQAREQAREQAREQAREQAREQAQyEJARIgMkBREBEagdgVtuucXxkxMBERABERABERABERABEWg8AjJCNF6ZKkciIAIiIAIiIAIiIAIiIAIiIAIiUJcEZISoy2KRUiIgAiIgAiIgAiIgAiIgAiIgAiLQeARkhGi8MlWOREAEREAEREAEREAEREAEREAERKAuCcgIUZfFIqVEQAREQAREQAREQAREQAREQAREoPEIyAjReGWqHImACIiACIiACIiACIiACIiACIhAXRJYpi61klIiIAIi0GQEZsyY4RYuXOh69erlVlxxxSbLffvI7scff+zefvtt17FjR9ezZ8+6VXratGmt1vHTTz91L7/8sps3b56bP3++W2edddzGG29ct3mVYosJWN3s2rWr41cLZ++svn37ZkqOeonLGj6T0K8CVVN2KXqkhbXyqfd3R5r+1fA3JrWqs7VOrxrMJFMEGomARkI0UmkqLyIgAiUTeP7559348eML/qZPn16y3FIj3HnnnW7YsGHeEFFq3GYI/+CDD7qxY8e2aVbpdFFGba1HIQhz5szxOt5xxx2FgqXee+utt9ztt9/ubrzxRnfrrbe69957LzVsa27AjrKUqyyBSZMm+XLnXVYrd9111/k0s6bHs1Ot7ZerKTtr/gqFaw/vjkL6Z7n3wQcfuJtvvtlRF7O4WtfZWqeXhYHCiEAzE9BIiGYufeVdBETAdyjtK1oajgEDBrg+ffqk3W63/oW+ZBqTany1TAOW9qWKjrV1XLfddluNFEkDWAF/6vkll1ziLrzwQvfKK6+4TTfdtAJS/yMCYxtu880396N+/nNHZyJQfQL2jqnWiATeVfxq9XW/+sSypzBx4kRvzCf//fr1yx6xnYe0/6MaxdjOC1Lq15yAjBA1R64ERUAE6pHAgQcemDrEfrXVVqtHlcvWiS+ZNBivueaaJWTxZZGGNJ3RWjm+VPElbe+99/Y/Sxc9jjrqKH+pqSpGpXrHuXPnunfffddR71ddddWKJkQ50hGkwS4nArUmYO8YDMv2TqmkDoxEwWCKbN5bzeQwPPBsN5MBgvLFsIrR/vTTT6/KVKNmqkPKa3MRkBGiucpbuS2TwMKFC7yEt9+ekfsa21EN6TJ51lP0tdZaqyFHO9QT43J0odMgVxsCTMn46KOP3DbbbOOWXnrpiiaqcqwoTgkTgbohgNEFA7KcCIiACGQhICNEFkoK07QEWChw/PhxbsKECW7GjLfz8/VHjrw9z6Rv3w3ddttt5y3gXbt2y/vrpHEJMPd1zJgxuToxw2eSob18/UnrYLGmxLhx4/yoAyIQll/alzLWqSA89a+Y7JgyX6KYd29DRLnPFIZQN77cIJuwOEYf4BgNEq4lQBi7F381jPMUp4E8vgryhQi56INeyMSF4U0WXHF8rWSEBlNBTG/0gMUBBxzgw9gf8mDpJMkOw5E3FpQkbXSxKSfWeE4rD5MRHuM6QHkiN2mkhuWPPOHCvIcyOQ/Lnmv03XXXXRPrSqwDcisxbei1114jabfVVlv5YyX/WN2L61OcF8qCss8yHchkDhw4MP9cGmO7Rx2MyyauU1ZHSZPyLKeOxGWeVsdMBzpv4XObFp6yQHb8LJVaRshg+Ly9wwqlZ++U+HlJSzMuS3vfpYU3+fbOQhfqfNLir0myKetizsqD+DiuYR++Y/CPdeGdQz0kD4Uc7yx+xpP3N7yS8h7ngXxSd+P6SXqmd/juQGZS2FA/i2d6847k/XjGGWfkgyXpkfauQV5Y55LeS5ZmzNTyEcZPKzN7lyc9+4wwgUP8LMdlRnr2/Ocz24oTy4+xj/Ns+th9rtGfZ5k6bHWCvFAvkIc78cQT89rgT12xehOnkQ+YO4n1SXtmqdfIgQHM4+eWeLEswqfVwVAHnYtAJQnICFFJmpLVUATGjXvajRw5wv/jXmWlTm7zPr1c926ruJVz57hPPv3MvfnO++71d95zw4f/wf/T2Xbbb7pBgwY1FAdlpiUBGhYsrkaDjn/cNFKtsUFjJP4SRFgaGYRjeDsNJjpGjz76qB++SYMgdKNHj/bhzZ/GAvJpdFqDMgwfntOovOKKK3xDzXSjcUOjhIaIdfzwQ1frtFvjiGs7Ry66hteWFo0tfuSJdJBFGjR4aORaA5k0aZQhhzyQJ+6RPnJJj0avpcMRRz44R7455BA/NEIQ7tprr/XyTBfLb6wLaZkM2COf8kAGuvA755xz8rpbuklH8nvRRRf5W+SHa+KTx7CRT4CQlZU/rPCP02MKDMwsLyYXwwRDfa1OIJd8Ep58ER49kBuGIVxrHHnp0KGD69Klixs1apR744033Oeff+622GILt8suu7RGZD4OjMiX1UVu4Bc/U5QVP56n+JnKC/vqxGSiN7JxZrywe8iwevlVtHx9sDpFnSBNZFA+XBOHI7L5ZZmeFJY5zwfO8hMP2cafMqPcqYthnUR36khYpiYbmfhbuVs6+BdzJoN6Q3ocTT/KhU6TOXSyd4rVS+ojLOASuzg8+tn7Lg7LdRie/PAzXSgX3g/mwrBW5wvJtngcrQxNZ7tGjrnwmTJdKAN+xeohuoVM3nnnHZ+3eNoRdSvp3UHaWd8d6Ba/OywPdiQdOKKTPRN2jyP+TMfj/WF1h/cicdDD/AgLY96nVv7II378XrI0iRPWIatv+KN7oTpr/zPs+SWOOdLkfvgsh3UCndHR/gcQNnzPmJwsR9MZeTwjuJiPcTC+6MKPa/KJHvDkyA+HvzmYwtbSsDoZcyV8qA/5tP9n1M24vEiTdOz/XPwO4x1u6XLP8gFf6pWcCNSKgIwQtSKtdNoNAV7uGB8wQqy91hpu528NcOvkjkluo/UWNzA/nLvAPf63F9wDD9yf+7o0wZ188sm5fwIaFZHErD370Ujgnzf/uOlMWEONf+IXX3yxbyjQaOY+jsYABgjCEZ7GBs4aFHQa44YnDScaAibbGiocixkh6JCjy5FHHum/gpAW1zQ20cW+LqEL7rzzzvP3w46VnS+uw0uuCYEc9I/zZA1V9Iw7jTTAyKd9pafhhE40kuDFIoX8kA0TGkmxDK9w9OeBBx7wjbu4g2C63HTTTe6kk05qEQsepLnXXnvly8M6/5RV2OlpETG4oLEWpolMZODPFp7W8SiFFWEpe8o4/FJmeYGVdZZRxToQsR74l+N4/7355ptuqaWWcnfddZfbaaed3EEHHeSee+45v2MGdTvsYJSTlsUlj6Qb1hGYJj1TFifpiG4mA3mtdZRjWEfsGaIeU0ZJHSRLi7g8H3QCzj777Hwds7rNvTg+8nmeLrjggnz4pHKng0N83iPUEXuerP6ZDoWOJgP9eA9Ypwi9MTYwWigsX54x5PNVdf/998/rhx78YsfzS/i4XpIf/GNnBo7Q4GD5IQ7p2vvUwmaVHaYVv2O4DjuocLFnKun9SV7RI+39wDuLn3EhPyFH0wXOsf727gjrVtq7w+QnvWctjfAIS0YOMLXKHHmlnMhP+H/M6igc7P8A+pJWXJ9Nj6T/YZYOR6tv5dTZUF58nvV/Xhyv0LXpHD8jcKBOkmf+R1v9sf8f1Jv42SYd5BGWOmcOP2TFaSRxTasLpg/PbNyOiJ9B2i6UK3WMdOM6yL0s7zfTX0cRqAQBbdFZCYqS0VAELr/8Mm+A2Pkbm7nB++2aaoAIM81IiX1228btm/vNfn+WQ0Y5jeBQts5rQ4CGBB3v+EeDwxz/yGlY8g/cjATcoyFhDQz+yZujQYGjw2AGCK6JT2OFBh4yQ0dDJpRNo5e4hC3m6MDS+KXhbg7drDGcRYbFSzsWyhN60jCKHfm1DhP30BO9aCjF+Y/jpl3TYKJxhhzkhw4G+PNFiTRChz/3w/IwPsjM4ijrME1kmoGIL6DmjEVS+SexQia6hc7SwXBjzvKVpIc1jC1sqUeMKB9++KE3Qhx33HFu5513dmuuuabbeuut/egIhvBX2lFGMAzriJUTZYNOWVzYMQ/LN0vcMAzPX1hH0MXqSJZniDKjHEIdiI+cpPh0BuM6YunNnj07r5rVJ+7FrKye5AOnnPB/yfRDH3PII988j/bMcG7PWGiAIA4ywvj4WScG/1AfrpPqJSxIi/yEnXvC06HHYRjEIdvqSRbZPlIJf3hvmy7x+5Oywdm7rwSxSwRNembt3UHH1BzccXG9IO9J7w6LFx9hC0viWH2kHpFXZIX/awiLLtyz/2Oc47hn8bkmLn5mcMUvyVWizibJNT/05VmNywzdcEnPm8VNO1qeeSbCOk4d5RcyS5MR+sPf+BlDjHs4/t+HacA1bhtwH//4nVKobcA7hTjmQgOaybN7XJfDy+ToKAKlEtBIiFKJKXxDE2AEBGs/fGuHLd2Afn1Lzmu/jdd1a66+irvpnrHu97+/xp155pCSZShC2xCgMcM/6tiFXzYYlmn/2Gmg06C3Bos1IK1TbY15GixhI8Pk03AiTJxmUljCZDFqmW6kgV6mmx0t7dYerSNgjbBYLnwIE+fLhrOG6ZJP4pOvmEEYLu3cGsnWeIrDUZ40gGmEhkzTdInjF7q2hmQYJs4DDGBhacesYGgdH8KE+bC6k1bmlvewbpousR7mn/X4+uuvu0WLFvlpZSzWau7999/3/iuvvLJ5VexIPsgTX+hosBszmIRciiVo8YqFK3Y/iWFSmSfJoeNiBoK4HLlOcsiOdTcdwjjUJ1z4VTtJXiE/6p09v7F+cTxLj3qQJf9WL3n2Ymf5Cf3NsIY+8fNhnVvTwWQn1Yck2WE6Wc6t058kn7JBR3RBz7isssi3MEkcTX9jQLmQX0vH/E0GunA/iy4mw+JyNJa8C5NkUy72/8zimzEq/D+ZZFgK0+Hcyq+cOhvLDK+r8T8PvpQTHMh3mOfYSBzqknZuDMP7GJIpd+7FZWD1gXIi7ULvlFBmeF6onoXvdYuTFN7u6SgC1SIgI0S1yEpuuyPAP8sxYx5xjIBojQHCMty926o5GV9zDz/5XK4TNCZnOd/NbulYxwTo/CR16mKVaZzxFYNGRFonkTjW+LIGRSyHhk6lHY1XOt4M3S+kW2vTtQ4ReWMqR5prrWEhTV6Sf9xIjsMY37iBF4er1rWVP+kXY2WNVBq9fG21uGm6WdlaHtPCtcYfow1TMeJFKa3DuPHGG7dGbME4fA1kJBJ1lx88aHjTIczyTBYU3gY3KT8MKtbZq5QKVpe7dStvqh/PDiO8iulXanr2fshaL60ew4pfkjMdTLY9K0lhy/EzXdLkkyfKFX3SwpSTfhjX8syx0LujtboYS565NGc68BzS8eZ/io0KxI/1YRjVUYyFcS23zqbpSV4q/T+P/9kYWJjmYHmm/Mk3ow+K5TlNV/NHZ+NSqHytnIjHe5n/DcWeWUuj0FEGh0J0dK+WBGSEqCVtpVXXBEaMuN2t0qWT2ylnhCjXbZMbRTHltRm5Rd3ulxGiXJh1Fj+cl0wHyb6s04i2jhoqpxkfqpkdGk18uaHzRiPRvnigV1ojvzX60CBL+tppstTIMRKLd7fIwopyo8FLA5cGMA1ec4UaqhamEscvv/zSTZ482deb7t2750V+8cUX7qWXXnLLLLNMVYwC5Jk56DS0me7BlBZ48KPR35qvj3nla3xCB986d8zFpxztXYC/de5qrFY+OfSzhRH5ihx+5bV54fnANTrhfZXWsUvzr5Fq+WTCDmHes0onVl/Ie9LIDEu2XDbhKAKTacfQ+McziB4Y3ukE85zyvwZjPGsRFDI6VZtbtf7nYWDhR555J5FnDDH8eD8XKhdjmHY0AwTlDNs0Z1x5Zml3UN68U9DLXD28U0wXHUWgVAIyQpRKTOEbkgANw2nTpvp1HYpl8MlnJrhOnTq6LTfbsGBQjBlMy0Au23jKtX8CNEioKzRA4gacNRwtl9ZArHYjzNKjoUKnjU5PPEy2UkYBM7iQ1zj/pketjqZLWqfORhNYOdRKL0vH9OM6Cyu+5uHCxQK9R8IfK0/KvJLurbfe8lNpMF4tt9xyedFs2cm9zTbbzA9TZmoGOnTqtHinoHzAMk+ou2Z8oVxpYMOFRnfYKSozmapGR186GeV2VJKUpFMCF9aJsOkKSeEK+RXSz+qVxbdOkHWazD/taM+aPXtp4czf0qNsi3XqSpVtaWQ9Ir/QSAd7z8Tv+azySwlnXIiT5d1RiuwwLB3grPlBJ8rIyol6hGGbzvHll18eim1xXok620JgcFGL/3lmjCBZ/v9jKMbwERrvApUynVLX4Mm0tyzlS3q4tIUvMyWqQCJQhwS0MGUdFopUqj0BDAW4tF0wQo1uv+/PbvQjT4VeiefIWmH5Zb0VPTGAPNsdAVskzhrEYQZiYwONOxrX1rANw3JOB4tFMON4cbis19ZITtLN7mWVlRbOGk98FUqSWam8pKUf+tvognD0SXjf/K1TG96rxTmsaIBT/klDaGEV8rLzsAOCnkmGBsu7LdoX5sfkhH5ZzzE04DbcsKXRlMY3oyRYpBI3fPhwN3/+fH9e7h9kM9IjXvQPftbhSWKQNd2k54G45cgslLY9F3HnLi7vQjLS7plRAGaxy2oosHCxfsgz3U22Pe88S0n1KvazZ82ePZPDMYl3oXpMnNCYUaps4pfiTD6G3NihO7rAo7XGn1hmoWv730F5JL070CdmX0hefM+4Y0hIcmE9oNPN8xnrgQEDHsX0MK5Z66w9r1ZPk/QzP9PT4pg/R7sX+mU9x7iSlGcMEjyD5DmLfoXSMzkxV+IgP9TfGMf5LLceFNJP90SgFgRkhKgFZaVR9wRYfR2DAbtcVNKt0qVzi38mlZQtWZUlwD90/vEn/awRYA1QGqrWSOBePBXDNLNOFMOcLTz3bG4n95M6Axa/lKN1UOgAWCcA3Ugr7uCZXEs7qSFEZ9hYWHiObG2Ji4eBYphgmDdfxsp1WXZDoEFGY5rOAQ1lKyOOt9xyi9cdvnHDrVzdSolvQ21NH4ubxMr0DDsGhEviScOe8uZ+WLZcU9diR31FjtWL+L5dT5061a8Hsd5665mXP7766qt+KsYGG2zgXnnlFR+GHTNClzWNMA7n5IUyI9+hfjyP1iEMR5XE8YtdWyeIYdTmSI+t/arh7DkkP/bMW7lYx8X8S02f+sRzSZnH9WT06NGZxJl+yDA9eIbidxTCeD+wVo7xsvD2jFl+LGHqMIZXwvFOJByOskzinVaPiUP+eJ9YHQhlo7vJNt2Ik8VZ/i0vFofdFUiD9EK26G7PYJav1vYcJ71TLa0sx7R3B2UFS5tSk0VWHIYyTapHsKTckG18yI+Vp/khjzrNteU3TsOueUdbWlaWFj+pztqIJ55XS8/0iplaWZbyP8/0KnRE57Q8owN5DvNt7yerk4Vk2z2rSzx38XsPP/6/2vNl+QyfWfhTDyyMya3kkbrP/9ZQv0rKlywRqPp0DB6Q8ePHVfVBUTGKQLkEaHyvEAw/juVNmDzVzXxv8VZp8xcszJ2/70aPWTwaovua3VKnZmDYqOY/iVhPXbeeAP9s0xyNZea+cqRjS2MqnKdPI4uGAg3EsLwJS2OGxgPhabjQUCEM4a0hkpZuKf50GJBHWnFH1HSzRp3JtU48DR7ycPbZZ+cbVzRUTW/uXXbZZT4ajWPyYPesMYZswjFntbXOGqx8NRsyZIgfhh9PLQllc48OAuXBL+RLY7at1xJIKn/0N1ahfpxTbnDlZ846dWG94h5b91FuFp68I9ca0BafI/40WsNt7ML7nNu6Dz169Fjiay/TMKZMmeK3S3zxxRfd0UcfHUfPlMYSkXIe1FvyTueH/FOH8ENnHHXaOibeo8Q/1FfqBh1LfsaJI2lV2ll68A7fEaRnaVOWnJfqjBXvKnhZJw55vJtIs5ijDtDB410V62fvCe6ZfuSHTojlx/LAEX5xvUxaZJSyRHaSC+sxepFHe0dS7uH8d5Md1/k02UnpoTc/8sM7hqlHvNtJl6lQPFPGNq6HPM/FnL3DqHO8x3iPtuY9T77tfW7/O0gblnBny9TWOvJPXnne0vJKGBw6UB48O6aHlQ962Palabogh+ebOmv1lrBpdZZ6TLnT2bf0LM/mb2lRPsYo6/88i1voiA4m13QgvOkRvrfx55mivNGB/BK3WF0hDf5/wSTpvUca9n6iDvEMkgY/c6RlzyC6WZnZ/XKPlDnpIZt6LScClSbQITcnaVGlhZq8p59+Ojd3asQS/6Tsvo4iUE8EWJTytKMHJao0dNgNeaNDHGCv3bZ3555+TOztr1kTYrlOq2qrzkQ6yZ58NcbR4KyFs3+yhdLin3vYqCCOfR3gK4h1zPGjQRz/w6bBawvuEZ77cRjTA1k0rkJHY4CGH42bYs7S4isGabFAJTohA7nIDx3p8iMsBgRLm/QY7k9DmnuxMYCGCTJZRJD7jBJhGzZrOJEGcRnVALu4gZSWX+TSySB9GBl3/JL0Jx1kkQ55JgyNQhp5oUMe+sZlSRjikdeksgtlFAoHdxrO6Bx3imJW6GBfI0P5cTga3eTfyj+uG2nhYRXm0zptdBjiemfp0xR45plnHAtSrrPOOubtj59++ql7+eWX3b/+9S9fn1ZdddUW97mwNOjcoHeas7zEdZm8UF/sa6fV3bgck+SmybSwMSerq9QbnD0TVr4hO5NBx5znm7wV04m6Rlh7R1AfKG9GkVBPwzqSVq8L1dc4P9R3dKYOZ9GPPJH3NP2SZCSFp7zQJakseR6Qz/OYxtvYxvqkPcOEI71YNmypAzgrS3+R8gcZcIcxZRnGCeUTvZR6aMlRV5CP4/mlvK1uJb1j7N2RxB19yJu9Z9PeHZa2HbPUV2RnfebQMfwfZmUavu8tzaQ8xvkoVmfj+gZHGPD8xO9B0w3GVl7oALfwf4bpl8TZuIVHkxuyRw/KIHamr6VH+lau4fMex4MLcdENR7ykNAiHvPiZKuWdUqgOJrEhTeoxvNFLTgQqSaADrlpGCCrv0KEX5F4IXd3gwd9f4stKJTNST7JoQF1++a9zjeDt3EEHHdyiQV5PelZDl3POOTsndpEv7/a2ECNbabI7xlnH7++Wz41eKOROOedXrscaq6caHsK4v7r+LrfRxpu5//7vk0NvnRcgUGsjRAFVdEsEGoIAX3f538QOFEkN6Epkki+GONKQEwEREAEREAEREIE0Atgglkq7Wa7/pEkT/QgIFl7DYtosbuLECd7wgOEltBA3ev6xTs+ZM9sNGvTd3JeYlouatYe8m5X35dcXW6MrofOs2R+6Tz79t/9yWAl5kiECIiACpRKwr3F8ra6WAcK+iPMFT04EREAEREAEREAEihGo2poQNk+wa9duxXRoqPt0xnv2bB6jixUewxpx1WrkWjrVOmI4wWg06eXX3RYbrVuRZJ6ZtHjHDYb+yYmACIhAWxBguLmtZ1Kt9Jm/Xu00qqW75IqACIiACIiACNSeQNVGQtQ+K0pRBMojMHDgIPfGO++5qa+9U1DQcYfu4/bafbuCYT6cu8BNzBk0mJbTbIa4gmB0UwREoOYEiq1hUAmFapFGJfSUDBEQAREQAREQgbYnICNE25eBNKgTArvttrufSnLvmPEOI0Ka6/+1jXK7YWyUdtvHvenexQvgDRqUvNBlamTdEAEREAEREAEREAEREAEREIEGJiAjRAMXrrJWOgHW8ujUeWXHrhaFDBFpkomDAeKzzxe5k08+RaMg0kDJXwREQAREQAREQAREQAREoCkJyAjRlMWuTKcRYE2LM88c4pZebkV35c2j3OPPvpAWdAn/8bk1IK4b8bA3QCCjGdcGWQKKPERABERABERABERABERABEQgIFC1hSmDNHQqAu2KgBkiRo263z027mm/tsM6a63h+m28ruvebVW3wldbeLLzxazZ/3Jv5taRwADBNQtcDh48WCMg2lWJS1kREAEREAEREAEREAEREIFaEZARolaklU67IoAhgqkZbDmKMWIcxogpr6fmAeMD6z+0x+1JUzOlGyIgAiIgAiIgAiIgAiIgAiJQYQIyQlQYqMQ1FgEzRmCQmDZtqps4caIbM+YRv+tF79693WqrreYND2zvKScCIiACIiACIiACIiACIiACIlCYgIwQhfnorgjkCSwe5dDBGyG22247jXrIk9GJCIiACIiACIiACIiACIiACGQjoIUps3FSKBEQAREQAREQAREQAREQAREQAREQgTIJyAhRJkBFFwEREAEREAEREAEREAEREAEREAERyEZARohsnBRKBERABERABERABERABERABERABESgTAIyQpQJUNFFQAREQAREQAREQAREQAREQAREQASyEZARIhsnhRIBERABERABERABERABERABERABESiTgIwQZQJUdBEQAREQAREQAREQAREQAREQAREQgWwEZITIxkmhREAEREAEREAEREAEREAEREAEREAEyiQgI0SZABVdBERABERABERABERABERABERABEQgG4FlCDZq1Cg3duwjbuHChdlilRDqxBOPLyF08aA9e/Zygwd/3/Xq1at44AIhZsx4240YMcJNmza1QKjW36p0vtGkUnm3XFWj3C+//DITX5Fjx44d3bbbbucOOujgisiTEBEQAREQAREQAREQAREQAREQgbYjsMzIkSPcmDGPuH4bretWWalT22mSMeVJU153v/nNZe6Xv7zY0UFtjZszZ46js7zc0h3cTt/YrDUi2iROJfJuireXcv9o3gJfPynrgQMHmfo6ioAIiIAIiIAIiIAIiIAIiIAItEMCy4wb97Q3QOy7+zbtQv0tcsaSK28e5caPH+d23XW3Vuk8adJEP+rj+KMGtQvDi2WyEnk3We2t3DGUyQhhpaejCIiACIiACIiACIiACIiACLRPAsswBaM9jIAwvKZrOVNHLK7JMtn1fjR9Tf9y9G1P5b5yl05VmSpUDj/FFQEREIF6I7Bo0aKaqNShQ4eapKNEREAEREAEREAEGpOAXxOiMbOmXImACIiACIhA+yfw3nvvudtuu83NmzfPffnll86MDXYkh+F5Uo6L3U+Kk+b3/e9/36277rppt+UvAiIgAiIgAiIgAgUJyAhREI9uioAIiIAIiEDbE3jiiSfcm2++2UKRVVdd1X3ta19r4RdfhMYHDBg4/Di33xdffOE+//xzt2DBAj/q7KOPPnIff/xxLCp/vfLKK7szzzwzf60TERABERABERABESiFQElGiE///bn7aO489+8vnJs3/5Pcb55vzPTftI9bdpnm2e1THEqpYgorAiIgAiJQDoE11ljDHX/88W7o0KHuk08+yYv697//7U444QS30UYb5f1ac4Ix4tNPP/UGCAwR//rXv9zrr7/uXnjhBTd58mT39ttvu88++ywv+sEHH/T6rLTSSnk/nYiACIiACIiACIhAVgIlGSHue+QZd+udD/ivJ5ZA755ruX6b9LHLpjiKQ1MUszIpAiIgAnVDYLfddnMTJ050d999d/5/8Pz5871h4tprr3WdO3duta5LLbWUW3HFFf2va9eurnfv3q5fv35u33339QYJjBH33HOPe+655xxpzp07140ePdodcsghrU5TEUVABERABERABJqXQEnDF9ZZa3W3/8BdXf/NN84T673WGm75ZUsSk4/bXk/Eob2WnPQWAREQgfZJYNlll/Wd/vXWW69FBqZMmeKuuuqqomtCtIhUwgVTPnbYYYfctti/dOecc47r06ePY2HKu+66yzGNQ04EREAEREAEREAESiVQkvXgG5v3dUfut4fb91s75NPZuM/a+fNmORGHZilp5VMEREAE6ofAOuus40499VSHYSB0jFJ46KGHQq+KnzNSYs8993QXXnih23nnnf10jaeeeqri6UigCIiACIiACIhA4xMoyQhhOF5+5S1/yhDO9XqtZd5NdxSHpityZVgEREAE2pTAN7/5TXfUUUc5RkaYY0TC1Vdf7WbMmGFeVTtusMEG7uc//7nbbLPN3B//+MeqpZNV8FtvveV+9KMfub/97W9Zo1Q8HGtonHbaaW7MmDFVG5FScaUlUAREQAREQATakECrjBDPTZ7qVe7WdVW33tr/1Ybqt23S4tC2/JW6CIiACDQbAaZCHHDAAW6nnXby0yIs/++++6679NJLWyxcafcqfWT9ifPOO88xFWTq1MXtgaxpsJgmnXYWu3zppZfcnDlzskZdItw777zjLrjgAr8exuabb77E/Vp5MDJln332cRdddJEbN25crZJVOiIgAiIgAiLQbgmUbISYO/9j99aMmT7D663T2624fElrW7ZbULHi4hAT0bUIiIAIiEAtCDA14pRTTnE9e/ZskRwd4FqNTlh//fXdkCFDvEGhhRIFLl5++WW/rsWhhx7qvv/977uTTz7ZPfzwwwVipN9iccxLLrnEG12Qs/zyy6cHrsGdXXfd1X33u991V1xxhZ+qUoMklYQIiIAIiIAItFsCJRshpr0xM/+l5ev9N2m3GS9XcXEol6Dii4AIiIAItJZAr169/PoQjIwwt2jRInfzzTe7xx9/3LyqeqTTPWDAgMxpsKUnO2owauHDDz90jIpgnYvWONbBePHFF/1UjO7du7dGRMXjnHjiiW7llVf262Z89NFHFZcvgSIgAiIgAiLQKARKNkJMeHFKPu+brt/Ln3+5yLn3/jXfzZw91/2biyZw4tAEhawsioAIiEAdE2DbzsMOO6yFhgsXLvQjBJjuUG9urbXWcgceeKDbdtttvWpM69h44//stpVV31mzZjm2Jd1mm23clltumTVa1cOtsMIKbtCgQY4tTUeNGlX19JSACIiACIiACLRXAiXNpfj8i0XuldcWN2xWW20116VzR/fHe8a4ZyZMdrM/mOv3Ll95pU6u/6Z93fcPHuhWWG7p9sqloN7iUBCPboqACIhAQxOYPHmy+8Mf/uCGDh3qOnbs2KZ5ZbeM5557zjHVwdz777/vfv/73/v1EpZZpqR/8yaiqkf0xWGUoC1Rqrvxxhvd0ksv7fbbb79So1Y9PDuH3HDDDW7kyJFur732alX+qq6kEhABERABERCBNiZQ0kiIDz6a5159Y4ZXea0eq7shQ692U1590x1xwED3v5f9zP3qZyfn9g1f5B4a+7S75qa72jhr1UteHKrHVpJFQAREoN4JsLAiC0F+/vnnba4qu2SwIGLXrl1b6DJ27Fh3xx13tPCrh4svv/wyv5PFJpuUPqXzgw8+8KMM2KVjq622qocstdCB6RiMhvjnP//p7r333hb3dCECIiACIiACIrCYQElGiNffnuk+++wzH3Pyi1Pdjt/Ywp132lFum803cF1WWNqts9YabvsB/fz9iS+96uZ//O+G5CwODVmsypQIiIAIZCLA2gv86sWxPgSLRIbbdmIgYTSEjTqoF11fe+01N3v2bK9Oa6ZSsJAla0mwRSijIerRbb311o6pGazN8fHHH9ejitJJBERABERABNqUQElGiL89Py2v7I7bbukOGrizW37ZlkM9V1h6schPP/3UzV2wMB++kU7EoZFKU3kRgdII0Plk3j2/sCNq/rz75IoTgNOCBQtyo+e+aBGYL+X409GsVxeWe73ouP3227tvfetbLdShjl588cUl7WDRQkAVLv7xj394qUsttVR+PQfqwrx58zKV+RNPPOHjb7TRRpm1oy4lybdnttJ1bb311vPbhr7yyit1xT4zMAUUAREQAREQgSoTaGlBKJLY1Olv+BCrd1vNnX7sQW6Zpf+zKrdFffv9xStCr7DCcrk1IzqZd0MdxaGhilOZEYHMBGbMmOFGjBjh598z154vnt/73vf89oAPPfSQe/rppx2r4rNg4MEHH1y3X2ozZ7gKATEwPPnkk+7RRx917733nuvWrZvfMYGh9fBli8np06f7ufSDBw92m266aRW0KE9kPRoh2LbzhBNOcNOmTfM/y+Hrr7/ufvOb37hf/OIXjo5/W7uXXnrJq8B0CgxQrJ/AaA1GDDCVgXUUdt99dxfu+mE6Y6CaMmXx4tjssFHMMXLzmWeecTybLGaJ/H333dftsMMObs6cOY61JV599VW3yiqr+C1DW7NIZpIOpMOuH3//+999Xf6v//qvpGDyEwEREAEREIGmJZC5RTJ3wWfurRnveFAbrr92ogGCBRtfzE3TwP3XmmvkpmiUZOPw8er9T6U5THhhqhs95ql6z7b0E4GmJ0Bn5rTTTvML8B500EF+Zf7hw4f7xf8Y9v7Xv/7V7bHHHo6voFdddZUbPXp0mzGjk1ypXyUzwRfna665xt1///3egHPEEUe4uXPnujPOOMPdcsst7qyzzvILPWLYYdj+hRde6I06ldShkWXR2f3hD3/o1lhjjRbZ/Mtf/uLXJ6AT35aO9KdOXdxGwGjCFBIW0dxnn328IYq6cO6557rbbrstUU0MKvPnz3ddunRxTEEp5BhdMWzYMHfddde5LbbYwlHXSP8nP/mJu/rqq/32phgSeZZZvwF/1vmolDODBqMh5ERABERABERABFoSyGwl+MfkKfmhx33W7d1SyldXr814z304d56/2nCD5DAWcV5uqsYrr7/tuq/R1fVYo5t51/2xUhxG3v8XN+L+P7uZ785x/b+2odtrt2/Wfd6loAg0KwHmsF966aXupJNO8oYGODDi4bHHHnNPPfWUo/OH4YGOD51svsBOmjTJDRw4MPGLbjU5ouuvfvUr9+GHH5adzHLLLefz3alTZUa1YWjgS/0ll1ySX0gRZhMnTnS//e1v3d577+1+8IMfuCuuuMKxxSTp0knly7JcNgJf//rX3XHHHed+/etf56c3sD7ETTfd5JjC0JrFILOlXDzUzJkz/YgEQjLahdEZ7CZhox6ouzw3jFxgxEK88wijFnCrrrpqPo73SPjD7hSMROC5NKMM8Xheb775Zv9sYvzC4IGhAAMFI3HWXHPNBGmle9muHyykKScCIiACIiACItCSQGYjxItTX/MxGc65zZbJw2MfeeIZb6igQbHTNv1bphRc3XDbfW7kfX9x3dfs6qbntvw89rB93LGH7hOEqN/TSnGYN3+hO/e049xzL0xxz+UMPHIiIAL1S+DWW2/1nTeGiZtjEUCMDYw4YCpBz549/TQDvqbynuzXr19qR4mh4MRjKkKlHYaDAQMG5DugxeRbBzA82jmy+FXCMfXi9ttv9yNHwp0c4EAHEGaHHXaYZzZhwgTvR4eQbRxDR3hkYZxANwxAnTt3DoM09TmLNe65555+igOLOJp755133PXXX+9+9rOfVaXeWTqFjkylYJ0KHAa9XXbZpUVwW1iTqRn8YiMEhj/cSiut1CJefMHzxUikM888M2+ACMNQbw488EBfx5gegpGGkRU9evQIg/lnFFlM5WDkBnWRBSezOEZr8BxVwhiYJT2FEQEREAEREIH2RCCzEeL1t/7p89V1tVXcmt2Sv0o9//LiYYfd11zdrdtz9UQOM9+b7W649T531w2X+hEQXO9/7E/cDgP6u74pIywSBbWRZ6U4YHjBYYSQEwERqF8CdHr5AnvUUUe1MCqw0B1f63HMT6fD0b9/fz9lg84TX/XNIYNtHRlu/uyzz7o//elP7pRTTvGdRQtTqSMdtP33379S4iomhw4ouyGwjkbo+AoNHzqBGHJwdB7ZWQCjD50/c0znuOuuu9yYMWPc2muv7dcUwO/QQw+t6NoR1lG2dOPjJ5984juwdJQZ0p/mMKxk7bSmyWiNP0YZ6uvzzz/vpxqYDEYB3HPPPf7e8ssvb941O5pxaf311/fTIOKE6ezj0D9p9A1TMXB08As5DFSsORHvvvHiiy/6aBj/+vTp48vukEMO8XUPw11ohMAwdvfdd3teTK1gxA7pM1KHKVfFHPpjEJIRohgp3RcBERABEWhGAumtp4DGrDnz3D/fXbyl1habbeQS1qN0U9/4p5s56z0fa4fczhnm7h3zd9dlxaXdbtstHhnx5PgJfvqBTcHg2Ge93m7C5Kl1b4SoJAfjo6MIiEB9E8C4wNoEccdn8uTJjs4oHSYb4k6Yww8/fIkMMSSb4fH/v707gb96yv84/smEaSMK/doQLZZWSwtDlL3S/IeylCINxgyimbEvIdsgY8YaIqMyjKWyFxmUKW0alFZFoSiiydb/+z51ru/v+7v3/rbv7/e7y+s8Hte997uc7/k+vz8zzuee8zk6dtmyZaZh6erk5FPp2LGjy6MR7rQrMaGG5au0bt06EXDQHH69okWBCQVwNH9fq0EoCKD5/bK9/vrri4yaiJ5fku/KRXHVVVelPVTPUwEl5TRIVzQkX6tTRH/RT3dOXPtatGhhF154ocuxoL9TFf3NaVTPQQcdlPibjet6xdWjZ+1XxtD1w38HOldt1L9TKkpGmix4o+eton+P0hUFGJRbwo+s8MdOnz7dfdR+v09/d3pFi0ZSaCqHpjbpb1fBrltvvdWuvvpqN+WquDYoeKYglP5OKAgggAACCCBQWKBEQYgVH69yS6bp1DZ77VG4hi3fXntrtvs1S7+uHNpxc9bqDRu/syeeed7OGvDzr3LKBREttWvVsPVJtkePq+rvcTpU9b1wfQQQKLlAdPi3OnO+Q6MpA7vvvnvayjQX/dJLL3WdbP26qnnv+VaS/fKuX74VkFE58MADC400ifpoVQ3ZqQOpX60VHFLnvlevXqZpBy+++KKdccYZ0dNK/V0jMv785z+7/z9LdbJyWKgt55xzTpHgVPgcdaSTdabDx1Tk565BvgWNiBg5cmQi6NWlSxfTSITKLho15Ec66FlHi/YpaaWmSihIkaz4vyGNSkhXNAJBr3BREEEjMVSKW3FFf2tatUOBMD9yR0GLgQMHWs+ePU3LhGoVj3RF19P/TsQ1nSndtdiHAAIIIIBAtgmUKAgxb+Eyd1/6P+FdGxXOuu1veMbczdMKdm1SYI2CZJMqL/37Hdt2m22tXSRwUbBz8qkavq5MfY/bIVPvs7h2KanmlGkzrW+vI+2QYBqNL377BWeeEoxu+Tlzeart/jzeEcg2AQ3Lfv/9912z9Suq/1U11X3oF9FoICPVsXFsV14K5asob1FHriKXF1QiQHU+1VFL9mt0uP2am69fypXsM+ytpIP6rmUeNS0jPH0jfH5JP6uufffdN+3hSqCo6+i4ynyuaRuVYqc6zlo6dt68ea5DrQCL78ynOKVCNivAoM69nrXypUSLpopov4JMqYIkPkFpWUYXaCqGn2ajaVPpiv7d1r9DGgERDmYo4KgRHGprcUEIXUujP6IjqNJdl30IIIAAAgjki0CJghDvzHnPeTQu2MWaNkwehNhppx3d/2kXBPkgtqpmtuSTL+ypia/Z4NP+z+rUrPy5pxXxAHHYrKoAhKbP1KlVs1AQwq/2MS4IUlx+wc+/SCoHiEbAPDf5DTu/2ckV8WioE4EKFdBQcSVD1K/kPtmchu2rgxLtUKnz8eqrr9ohhxxSJR0Qdey1lKhP4lceGHXItXpA3bp1y1ONO1e/CmvUg+bK+/qUs0C/amvqgF9NwF9Iq2go8NC5c2e3SYkVkyUrVDBAz0HLN8q+vEEIf/1ceZex/haUI2HYsGFVFjTx+SCUXyH6jBTU0+gCFQUIFFjSs34tWH1G0258R97/3SgfS3FFy24q4OGTv/qpILq2nz7l61C+EuVu0AgblY8++sgF8aJ5KfTvvs73AUh/frJ3tVG5Tnzbkx3DNgQQQAABBPJVoNggxPpvN9rqNZuXeuu0f2sXYEiG9esjDwqWuVpiM4OAxZ2j/mUz5i6wXkcdZAe1b1nocHVcZ36WfckY43YohJJlX04KRkAol0ffXkcUarlGQChAMeiUXoW2X37BILe9T+T4QgfxBYEMFVDwQSsKKDnlWWedZX379jV1WhSY0K/gLVsW/t84/SL/7LPPFsn8X1m316BBA7vzzjvTTicoaVs0gsP/+lzSc5Idp86YVsbQMpEaWaEcDuqcKUmnSrKO6V/+8hc3LN8HIZRsUCWaS0ABCHUO9eu4Vjmg/CygQI5yGmhUjN79UpU/H1E5nzQiwE+F0BKi0aLAmUa5aOpKt27d3PNUR/+f//ynC0L44zWtSaW4kRA+n4P+VpQzRMFDPwVKo1fCUyTUNl1HSVF9EMIH8KJ/a7q2tunffQVJosEU7ffF11GRI4n8tXhHAAEEEEAg2wSKDULU+OW2NuikHi5nwzGHb/6VINlNHtC6uf3lqj/Y7Hkf2nfBL1tXXTjImiVZIaN5sALGyOCXceWAqB0EJFQWBst0nnly72TVZsy2uB0y5sbK0BCtZKJXtJR2e/R8viOQiQJTp0415QBQR9r/AqsEiSrqzOy008/Ty/RrquaSH3XUUVWSjFBtUicp0zo++qV7/PjxbmSDOpoKFmhVDJ+UUu1VIMEXdSK1/7bbbvOb3IgJfVFgJFz8d42C0Dx8ymYBTXO54oornPmNN97oRptUlc3SpUvdkqq6fnQUgrZptIYCJRoRo5cCAwrkKR9DeCSBpmroeWs6jAIRyabCaMSNzlXw0AcbZOFHL0T/3ZgxY4YLgJx55plqiiv+7yg8FcPv0/X196u/6XRBCN2zSklW0nAH8g8EEEAAAQTySKDYIMQvgv/e637wz6tdpLNp2qC+6ZWutG/d0gp2qWfXjXggGMrfwV4PVstQMELbM7nE7eDvddDJx5teFAQQyEwBjQRQx75r167Wv39/lwRRHRctEamOjn5t1txxdXSGDx/ughJKlpiuKKChV74UTetQh1ErCpx33nmuczhixAhnqBEm7733ngsyKFeBEkxqpIRGQoRXIPAJHqNu/rs6jMl+uc4X4/B9aoqLAjiawqJRPMkSQYaPr+jPCjap067nmyzfgx9to3dNgXj66add0EAjj8JFf0OtWrVyfy8aOZEsgaWCBJq2oeCF8l/Uq1fPrrzySve3piCh/tYU8NDf5BtvvOH+1n73u98VWp7TBy8U0IgW/b3pGjo/VVEQwwc99L8TFAQQQAABBBAoLFBsEKLw4fF8u/GyP9i/p86yme9+YM13b2KXhfIHxHMFakEAAQTiEdAQ7eOPP95NHfCrL2g5SHV09AvzNddc4wIPSqqn+euDBg2qslEQ8dxx/LUogCAXdYw1UkSd5A4dOriAxIQJE+zRRx91qzioc6eOpgIQ++23X6GG+KH4+pU8XNRRVMdQnU6CEOY62ArwaPWWs88+244++ugwV5V8VgBCwQX9u6SgQLT86le/smOOOcYt4TkwSKSpgNLVV19dKDDgz9H0HAUSNL0iWRBCx+lvTdN3HnnkEbvvvvvc6Aotrzl58mR76KGHXAJTBRHUJuVP0RSQcPEjLKJ/azpG2zQCIhwgC5+rzwqsaTpG06ZNTcksKQgggAACCCBQWKBKghDKJ9Dn+ML5BAo3i28IIIBAZgioA61fVNWp0TBw/ZLrVxe45557bNmyZW4agIZ5+85LZrQ8s1qhX+NHjRrlfp3XL82ag68pGFrRQisNKC+AAglyTBZMUD4DdU41Fz9c9F2BCHVuk50XPjbXP6uDrL/JJ554wk455RQ76aSTCk1zqar718ggLXepZ+tHtITboqVWFXRQ4lLdQ6NGjVI+SwX6FEhQIELBp/A0Hl+npm3cfffd7m9NgS3lhND7r3/9azviiCNc4kn9u6r8Kcn+ZpQkVcdrik+06O9N9SU7zx+rtikoqeClT6bp9/GOAAIIIIAAAsH0YRAQQAABBNILqKOjTnA0sZ86IsmGl6evbfNeP42gJMfmyjHqgCbz0jB8PyQ/1b3KXvPrfYJKf5yG2Gv4e5s2bQrlD/D7K+Jdv6L7IfsVUX9Z6xw3bpz94x//sO7du9s555yTtqNc1muU5TxZaXWOdEUBJgWmiitaylUraGiKhwKAu+22W9JTdM3dd9+9yD6NYEiWlyJ84D777OOCB1988UWhQIdywmgUT5cuXcKHF/qsv8UXXnjBBSoV8EgWJCl0Al8QQAABBBDIQ4HCGb7yEIBbRgABBCpTwK/goM5KPgYiymqtX67VAdXKJOHVEf773/+6RIFdg5wd6shWRtGv+kOHDnXD+SvjeiW5hpa4vOuuu9ySsZdccknSEQclqScbjhk8eLCb7qDOfkUUJZvVdCH9rflVLnSdt99+2z1zTR9JVbQU6Pz58+3www83jcigIIAAAggggEBRAYIQRU3YggACCMQqoCHmN9xwg8shMXHiRJfUTsn3lFNCv1z7wESsF82xyjQ8vl+/fm4u/h133GHz5s2z1157zc3779Onj1tJobJuWb+ma6nHygp6FHdfstDfl0YbXHvttZU2LWjSpElu5Zji2hf3fq2aoUDASy+95KZcxF2/6lM+DU0Tuffee02BrjfffNNGjhzp/gaVHDNZ0b/HWtlFI35OP/30jBwtk6zdbEMAAQQQQKCyBarr/2TXffVNZV+3zNdbu6WtandZiz9XddXdrlZZq6n08+K4d9/obHru677+hkR//sHxnpUC6kArQaA6rccdd1ziHpTLQPkltJ9SvIAS/d1+++2u8/mvf/3L2Q0ZMsSt/pCvw96XLFliF198sfvfSAW1KisRolaDGTZsmN18883FP7gKOOLcc8+1Sy+91O6//37TyA+fpyWuS2mah+5NgRb9rWkKjpJYaiWcVEWrbShYoVEyqaaJpDqX7QgggAACCOSTQPVu3boH67c/6+55+yzokM/5YIn7j622bduW+Tl16tTZ3fPDT022tnsVnTNa5oor+MQ47t03MVueuwIQs99fUiR7ub8P3hHIBgF1kDWPnVJ+AeWG0IgIirn8GOqAa/UJrdKiRIuVUZQXQatNaIpMdBWTyri+rqGlL7Xcq1ZSefLJJ10izrivrQSZp512WomqVTBI02GUjFIrfVAQQAABBBBAILVA9R49egYZoL+xqVOnJs0EnfrUqtnTokVL69u3b5AJvX6ZG6BRABddNNRl2J7yn3llrqeyT4zj3n2bs+W561n17NnTevTo5ZvOOwIIIJD3AgoE6Jf6jz76yC6//PJKCwZoyoE625oKM2DAgCpLfqnA3gEHHGDKDzF27FiXL0Q5Q6qiaBUNrUqihJaahkFBAAEEEEAAgfQC1YLEaJvSH8JeBBDwAgsWLAh+AbzFBbEUFKLELzB69GhXaf/+/eOvnBoRyAEBBSA0LeWpp55yQ/9POOGESlmFYeHChW76g6YoaGrR448/7kYkVCWp8q1opYyqXCJXz2Px4sXOwk/3rEoTro0AAggggEAmCwQ/JFRjic5MfkK0DQEEEEAAgZCAOt133323m4IwaNAgq+gAhPKWKPigKQ9KBKllKlU0vUg5Oqq6KBiSKlFkZbVN+Sj22muvyroc10EAAQQQQCDrBQhCZP0j5AYQQAABBPJFQFMPxowZY4cddpibDqFpCXEVDYxUkGH16tVu1YlFixa5qZoaaRBeFlXXU4LVOK8d1z1QDwIIIIAAAghkvkCFBiGWL19uTZo0yXyFGFu4Zs2aoLZN5cpZEWNzKrWqFSuWW+PG+fW8KxWYiyGAQF4LvPLKK24UhEYn+GSU0UCAviebZem36T38Ul2aTqDgg176/N1339n//vc/99mfF4avVauWHX744eFNfEYAAQQQQAABBEosUGFBiKlT3zL9B9MVV1xZ4sbkwoFaaUSBCCW+zKeie7711r8ECdKuyMsATD49a+4VAQQqX2DOnDl22223ueCArv6f//yn8hux5YpHHHGEKRBBQQABBBBAAAEEyiJQIYvTq0M6fvx40y/jkydPKku7svIc3beCLwsWzHevrLyJMjb68cfHudVVRo0aVcYaOA0BBBBAIJnAl19+6Zai1LtyIGy11VZuKoRGPURHQiQ7vyTbfF16V/166VrhV/Xq1d1qGN27dy9JlRyDAAIIIIAAAggkFaiQkRCTJr0SjAZY7TX+mvMAADo8SURBVC6okQGdOnW2fMgYrXv1Zdy4cXkzCkSBl9mzZ7lb9wEYVo7wfwm8I4AAAuUT2GGHHcyvGlOSmpJNoYieF1fwIlov3xFAAAEEEEAAgeIEYh8JodEACkL4ovWzJ0wY77/m7Ls64nr5kk+jQDTqJVwUgKEggAACCFSNQHhUQ6rPVdMyrooAAggggAACCJjFHoQIjwbwwApKKEllLpdoR1z3KgsFYXK56L79qBd/n/kUgPH3zDsCCCCAAAIIIIAAAggggEDxArEGIaKjAcKXV86AXC2TJk0q0hHXveb6KBCfAyPZc82HAEyy+2YbAggggAACCCCAAAIIIIBAaoFYgxBvvfWWWxmhXr36iRwQ+qyXOqy5OBpCgQblQ/D3KWrlv/DfZ8+enbOjIfz0E92rz/nh77tGjZo2bdrU1H957EEAAQQQQAABBBBAAAEEEMg7gVgTU4aXpVQeCP0aPnz4DTmNqs53+L61TKVKeFuuAvTo0dP0UlmwYEGwROctNnDgQCMpZa4+ce4LAQQQQAABBBBAAAEEECifQKwjIcrXFM5GAAEEEEAAAQQQQAABBBBAAIFcFoh1JEQuQ3FvCCCAAAIIVIXATz/9ZCtWrLB169bZN998Y40aNbImTZpUSFN0raVLl9pWW21lWlnDL/e59dZbW0FBgf3www+2atUqt13HaL9ev/jFL6xx48YV0iYqRQABBBBAAIHcEiAIkVvPk7tBAAEEEMgxgbVr19rdd99tM2bMsC+//NLuuOOOCgtCzJs3z+677z77/PPPXdCjRo0aLvjQpk0bO/PMM4McSLPt0UcfdYGI9evXu3xAu+yyi+2///52+umn55g8t4MAAggggAACFSHAdIyKUKVOBBBAAAEEYhLYYYcd7LLLLrN9993X6tSpY82bN4+p5qLV7L333nbDDTdYs2bNbPXq1XbooYe674MGDbLq1avbfvvtZ9dff73Vr1/fPvvssyAvUA+3v1+/fkUrYwsCCCCAAAIIIJBEgJEQSVDYhAACCCCAQKYIaFqEpklolamWLVta3bp1S9U0TeFYsmSJbdy4MTG9QkmVFXCIFgUaVFauXGnbbLONdenSxbbffvvEYZp2Ubt2bZs/f77b1rVrV9tuu+0S+/mAAAIIIIAAAggUJ0AQojgh9iOAAAIIIFDFAgoKKBdD7969XXCgJM1ZtGiRjRs3zk2rUOBAAQTlcdBrxx13TBqEUL26ll4NGjRw+Sei11K9yk+x884726677hrdzXcEEEAAAQQQQCCtAEGItDzsRAABBBBAoOoF1PFXPogDDjjAvvvuO/vkk09M+RqUjyFZmTJlir344ovWrVs3a9u2rRs9oSCERlUUV1S3rrXXXnslrf+dd95xVbRv375E9RV3PfYjgAACCCCAQH4JEITIr+fN3SKAAAIIZKHA9OnT3bSHt99+255++mm3EsXrr79unTt3tvPOO6/QHX3wwQf23HPP2bnnnusSWJYk8BCuQOdr+ofyP/jpGeH97777rvvasWPH8GY+I4AAAggggAACJRIgCFEiJg5CAAEEEECgagS++uorU2BA77Vq1bJhw4a5qRVaneKRRx6x/v37m5JXqmgJzbFjx9qxxx5rTZs2LXWDNcri/fffd+dpRY6RI0e60Q7hQMa3337r9h944IGlrp8TEEAAAQQQQACBCgtCKOmViv5jxX/OB25lDJ89e1Y+3Gqhe9SwYJUNGzYU2s4XBBBAAIHyCfgcDUcffbRpFQpNqwgXBQ58UaDi008/tU6dOvlNpXr/+uuvXcBDuR7uuusulzvCV7Bp0yZbvHixnXPOOW5UhnJGUBBAAAEEEEAAgdIKVFgQom3bdkFCrLH28MOjrE+fPlavXv3Sti0rj9fQ2LfeetPGjx9vPXv2zMp7KEujmzRp4p6xnnnjxo3z5nmXxYpzEEAAgdIIvPfeey6gr+Uyt956a3eqAgILFixwySPDeSG+//57+/jjj+32229Pe4l69erZ4MGDixyj3BNahaNdu3Yu8WR4BIQOVhBCPy507969yLlsQAABBBBAAAEESiJQYUEI/QdOnz597fHHx7mRAfkShPDoEyY8a3rl031v2PCt+4/TSy+9xI1+qVFj82gYb5Lt7/qbVrCFggACCFSWgIINM2bMcCMSwtMrFGhYvny5SzwZbouCBgpKaMSEVsFIVbbddtuku5RzQmX//fdPmnRSbfnxxx+NqRhJ+diIAAIIIIAAAiUQqLAghK7drVv34NeU9jZ16lu2evXqEjQnVw5pkSs3wn2EBPSr44IF80Nb+IgAAghUrMAXX3xhS5cutYYNG7qXv5qCBWvXrrUjjjjC5YH48MMP3WoWderUsYKCAlO+iFatWvnDS/S+ceNGmzt3rmk5z5YtWxY5R9M+lJRSwQ2tjEFBAAEEEEAAAQTKIlChQQg1SL8e9+iRP9MSyvIQOCd7BO6++668zPmRPU+IliKQWwKrVq1yy3EqH4SCA7689tprphxEbdq0sTfffNPmzJnjghDKz3PQQQfZSy+95AIJ0ekU/vxk7+vWrbOFCxe6IIaCHtGiqRiaqqERGbo2BQEEEEAAAQQQKItA6rGaZamNcxDIcQHl/KAggAAClSWgEVjffPONHXDAAYlLaorGZ5995gIQClJoyc7evXsn9nft2tV0jFa2KMkoRB0zc+bMII/TOFNiSiW+XLZsma1YscLVqUSX77zzjj355JNuhIUCEDpeCTMpCCCAAAIIIIBAaQUqfCREaRvE8QhkskDNmrUyuXm0DQEEckxAUyQ6duxorVu3TtyZRjco54NGO9xzzz02YMAAlxDYH6B8D7/97W9dguThw4dbs2bN3CgJLe/pE1tus802iTqnT59uzz33nMsBoVEUCmA89NBDbqqHEg2//PLLpukfuq4Csdr/wAMP2P/93/+5URP+urwjgAACCCCAAAIlEagW/MfEppIcyDEIIGAuG/2tt95iF1001Fq0KDpnGqPyC4wePdpV0r9///JXRg0IZLmA8jBoxQsFEKJF0yc0/UIBhWRF//eukRJaXUMvLaH8008/uUNTrY6RrB62IYAAAggggAACcQkEP2pUYyREXJrUgwACCCCAQMwCCjCkCjJsv/32aa+mkQtKUqlXt27d0h7LTgQQQAABBBBAoLIEyAlRWdJcBwEEEEAAAQQQQAABBBBAAIE8F2AkRJ7/AXD7CGSagLL9UxBAAAEEEEAAAQQQQCA3BQhC5OZz5a4QyFqBtm3bZm3baTgCCCCAAAIIIIAAAgikF2A6Rnof9iKAAAIIIIAAAggggAACCCCAQEwCBCFigqQaBBBAAAEEEEAAAQQQQAABBBBIL0AQIr0PexFAAAEEEEAAAQQQQAABBBBAICYBghAxQVINAggggAACCCCAAAIIIIAAAgikFyAIkd6HvQgggAACCCCAAAIIIIAAAgggEJMAQYiYIKkGAQQQQAABBBBAAAEEEEAAAQTSCxCESO/DXgQQQAABBBBAAAEEEEAAAQQQiEmAIERMkFSDAAIIIIAAAggggAACCCCAAALpBQhCpPdhLwIIIIAAAggggAACCCCAAAIIxCRAECImSKpBAAEEEEAAAQQQQAABBBBAAIH0AgQh0vuwFwEEEEAAAQQQQAABBBBAAAEEYhIgCBETJNUggAACCCCAAAIIIIAAAggggEB6AYIQ6X3YiwACCCCAAAIIIIAAAggggAACMQkQhIgJkmoQQAABBBBAAAEEEEAAAQQQQCC9AEGI9D7sRQABBBBAAAEEEEAAAQQQQACBmAQIQsQESTUIIIAAAggggAACCCCAAAIIIJBegCBEeh/2IoAAAggggAACCCCAAAIIIIBATAIEIWKCpBoEEEAAAQQQQAABBBBAAAEEEEgvQBAivQ97EUAAAQQQQAABBBBAAAEEEEAgJgGCEDFBUg0CCCCAAAIIIIAAAggggAACCKQXIAiR3oe9CCCAAAIIIIAAAggggAACCCAQkwBBiJggqQYBBBBAAAEEEEAAAQQQQAABBNILEIRI78NeBBBAAAEEEEAAAQQQQAABBBCISYAgREyQVIMAAggggAACCCCAAAIIIIAAAukFCEKk92EvAggggAACCCCAAAIIIIAAAgjEJEAQIiZIqkEAAQQQQAABBBBAAAEEEEAAgfQC1dPvZi8CCJRX4Pvvv7e5c+farFmzXFUHHnig7bvvvrZy5UqbPHmybdiwwTp16mRt2rQp76U4HwEEEEAAAQQQQAABBBDIaAFGQmT046Fx2S6wceNGGzNmjM2cOdNatWpl9erVs3vvvdcee+wxGz16tO28885WrVo1GzlypC1evDjbb5f2I4AAAggggAACCCCAAAJpBQhCpOVhJwLlE3j++eetevXqduqpp9rBBx9svXv3th9//NFeeeUV69q1q7Vv396mT59ua9eudSMjync1zkYAAQQQQAABBBBAAAEEMluA6RiZ/XxoXRYL/PDDD/bmm2/axRdfbDVr1nR38t1337npFxoB0bx5c9P3bbbZxpo0aWItW7ZM3K3O1fSNVatW2U8//eSmb+yxxx6J/XxAAAEEEEAAAQQQQAABBLJRgCBENj412pwVAgoeDBgwwE3B8A1esGCBCyrstNNOtuOOO7qpGNdee63VqlXLBSP8cU8//bQtW7bM+vbta5rScc8999jpp59ue++9tz+EdwQQQAABBBBAAAEEEEAg6wSYjpF1j4wGZ4uARjgoAWW4KEGlikY1KBeEyg477FAoAPHpp5/a+PHjrV+/fta4cWN37JFHHunyRmgqBwUBBBBAAAEEEEAAAQQQyFYBghDZ+uRod1YKzJs3z+WIaNasWcr2axqGRlEoiaUvBQUF9vnnn9vHH3/sN/GOAAIIIIAAAggggAACCGSdAEGIrHtkNDibBJYvX25r1qxxTV6/fr0LItSuXdt23XXXxG0o/8Orr75qmzZtctuWLFniRkkooaUv2267rfuoURIUBBBAAAEEEEAAAQQQQCBbBQhCZOuTo90ZL6ARDZdddpnddNNN9uWXX5pGQSjQ0KBBA5cPwt/A5MmTbdGiRYnpGevWrXOjJfx+vW+11eZ/VbWPggACCCCAAAIIIIAAAghkqwBBiGx9crQ74wUUdFBRXgeVN954wwUXNKrBj3r46KOPbOLEidazZ093jP6hqRipCjkhUsmwHQEEEEAAAQQQQAABBLJB4Ofx3tnQWtqIQBYJdOjQwaZPn+5GPdx///1Wt25dO/nkk23ChAn28MMPu5EP77//vp1zzjm2yy67JO4sHKRIbNzywU/LiG7nOwIIIIAAAggggAACCCCQDQIEIbLhKdHGrBTYZ599XIBBeSFatWpl7du3d9MqNDJC22rUqGG9evVyq2OEb1DLd2rEg0ZE+GkY33//vTtEK2lQEEAAAQQQQAABBBBAAIFsFSAIka1PjnZnhcBee+1leoXL3nvvbXqlKlq+8+WXXzYlstxuu+3cYfqsJT0bNWqU6jS2I4AAAggggAACCCCAAAIZL0BOiIx/RDQw3wQ0jaNWrVq2cOHCxK0rv4S2169fP7GNDwgggAACCCCAAAIIIIBAtgkwEiLbnhjtzXkBTdMYOnSojRkzxrRcp5bwXLt2rQ0ePDjn750bRAABBBBAAAEEEEAAgdwWIAiR28+Xu8tSgT333NOGDBliX3zxhVtRo6CgILGEZ5beEs1GAAEEEEAAAQQQQAABBIwgBH8ECGSoQO3atU0vCgIIIIAAAggggAACCCCQKwLkhMiVJ8l9IIAAAggggAACCCCAAAIIIJDhAgQhMvwB0TwEEEAAAQQQQAABBBBAAAEEckWAIESuPEnuAwEEEEAAAQQQQAABBBBAAIEMFyAIkeEPiOZllkC9evWsZ89epndKxQjMmTPH9KIggAACCCCAAAIIIIBA7gmQmDL3nil3VIECCj706NGzAq9A1XPnznUIbdu2BQMBBBBAAAEEEEAAAQRyTIAgRI490Kq+nfHjx9vkya/Yt99+W9VN4fqlEKhZs6Z17tzF+vTpW4qzOBQBBBBAAAEEEEAAAQQQKJ0AQYjSeXF0GoHHHx9nkya9Ym1b7W51t6uV5kh2ZZrAuq+/cc9OwQhGemTa06E9CCCAAAIIIIAAAgjkjgBBiNx5llV+J1OnvuUCEL27d6zyttCAsgkoiEQQomx2nIUAAggggAACCCCAAALFC5CYsngjjiihgKZgMAKihFgZeNj2dWoxjSbm57JmzRpbsGCB6Z1izkEeGzZsqFSOFStWuOdQ0uv64yu1kVwMAQQQQAABBBDIEwFGQuTJg+Y2EUCgqMC0adOKbkyxpXHjxqZXacrEiRNN1zjttNNYUSWA8x4XXHCBtWjRojSU5Tr2iSeecEGIa6+91mrUqFFsXffee68LmNx1112JYydPnuy2nXjiiYltfEAAAQQQQAABBBAovQBBiNKbcQYCCOSIwCOPPFLiOznuuONKHYQoceUcmPECCmSodOrUyZo0aZLx7aWBCCCAAAIIIIBApgoQhMjUJ0O7EECgwgWGDBlS6BrLly83dTY14iH6i/eOO+5Y6Fi+5JeARrNoOgcBiPx67twtAggggAACCMQvQBAiflNqRACBLBFo3rx50pZqyH6qfUlPYGPOC2gEBAUBBBBAAAEEEECg/AIEIcpvSA0IIJBnAh9++KHNnj3blMBQpV69eqbpGnovSZk6daqpDn+eP0e/tCv3gOpVolctmXrYYYcVyZ+gaSQardG5c+dCx/v6StqO6PV03uGHH15o2omO+ec//+m2tWvXLljKdVLS+9b96L58Es62bdu69qXKwaBcGXPmzEncZ7rpLqpbLjJR0X2nCgoo74T38x7eN/ru71/JMlXSHa8RMrq+RkT44qdonHDCCS7fRfS6yZ5D1En3IisZK09Gqvvy1+QdAQQQQAABBBDIdgGCENn+BGl/pQh8uGS5rf/mW2u/b8tKuZ6/yKx5893Hyr6uvz7vRQXUGfadTwUCFChQh9onoCyuE6mO6ujRo4t0eL/44gu7/fbbXSdenVe91EnXSx10vXzRtbT/1VdfdVMENFVE56uDq+Ovu+66YhMwJruevw91qhWMUFHHO3o9BRbUgdf19FKgRCay0D4FInxbolNeVKeOlYPvpPtjw9fVcSqyUnBDdctbdSsIo/s866yzNh+05Z/Dhw939epYmcydO9cdV61atULH6Uv4/sPHqy26t2jR9XTtcBBC21QUxFB9YRftu/TSSxP3qOPCfzu6dx3vA0ryUCnu78cdxD8QQAABBBBAAIEsFiAIkcUPj6ZXnsDF1//VVn66xt4a/2DlXTS40rmX3GQFO9e3Jx+4uVKvy8WSC6ijqQ60OpDqAKtTrKLO6Q033JDoUPrt0VrU0RwxYoTrUOt83wnXcfolXPWEAw76ruP16746p+HjtU+/ov/mN79x9akOdWgVMFBnNxy00L5o8QGP/v37u3q0P3w91a1Osi/J2qZVJHRPMknWbnXo1UGProShTr5WqvD3ozar7brP8HX1XQGIdPfpgyWqQ22RvVbfUGBBRXXoFS0TJkxw9xutO9Xx0fP9d7nomsOGDUtcUx56BgoSKbCi4v929FmBGT/dx5trOwUBBBBAAAEEEMgHga3y4Sa5RwQQQCAOAXVcVdThDgca1Jn2nU11PpMVdUIVUNDIAnWSw+f7kQBt2rQpFDxQvT6YoE52uChAEA5AaJ861CpKsJmuaISAOr8KbPhzdLyup1ENChKo8x8u6jT7tvhjfQAg2T7/i77/hT9clwIfPgCh7TpWdUWvq3vWfR577LGJDr6O90lD/UgEbfOBBgV3fABC26PPStt0nVR16/hw23R8cSV6TRmqhJ+Dpu+o6F59AELfw89Y3ykIIIAAAggggECuCzASItefMPeHAAKxCajzruI72OGKNa9fJdwx9vvV4dfIAwUg1AEPByB0jM9JoJUXdGy4+A5xuEOr/epohzvb2uZX8FAnO13x11M7Ul0vWfAgWqdvm38P7/fbimuLP0ejJRTA8ddVYEZt8x32ZO3UMSq6hvbrfvx1fb16jzr5a6juZMeHzy3J55LU4dua7G+nJNfgGAQQQAABBBBAIFcECELkypPkPhBAoMIFFERI1eHUL/baF+0sq1H+V3odE52aoP3+nHRTAUramVd9xRV/PU0b0CtZ8cck21cR2xo1auSq9df196vO+xVXXJH2kv4c+Zak+Lrr169fksNjOcZfM9XfTywXoRIEEEAAAQQQQCALBAhCZMFDoolFBVZ+ttrGPfuyfbj4I7ezebOm1rfXES5/gj961rvzbeKkN+yQTh2sTu2aNvGVN0znqRzX7WA7tttB7vNzk96016fNtK+DxJPRfW5D6B865vEt19Xngp13skGn9Cp0XX949Ng6tWpa3+OPTJrc0h87890P3On+fnxdvGe/gIIPGoGgKRlKWJisw6xfyVN1UlNtL49MZV8vXVt9J90fo4CPikY3+FEmfl/0PZll9Jjwd193eBufEUAAAQQQQAABBCpHgCBE5ThzlRgFXp82y64f8YALGjRv1sTV/PgzL9u/p86yGy/7g/ltKz/73BRgmDXvA5dUsmCXelY7CAR8uHi5KUChDr+CE+OCc6P7FBRQUCNaBp5/la1fv8EaBHWtChJVqp5ZQT1/u+FPhQIRCnb8/tKbEtdtECSXVLv1GnTK8Tbo5OMTVYePVaCidu0atjBoo+6HklkCGtavDqw6zNGOr7bpF/lkwQLlO1DOCJ+wUCMefA4J3aGfLqAOt8+zUJF37tuozn1xHfyKbEe4buXMUPFtk4WK3sO5KNzGyD+8n68jsrvIV1/36tWbg5JFDqiADX6qTKq/kQq4JFUigAACCCCAAAIZKUBiyox8LDQqlYA67ApAKJigFSMevuMa9zr/zJPdKIcRIx8rcqqCBn8f/md7cuQt7lidp86+AhTPvfJmoX2qT+WBx55xS3JGK2u++672xJbrvjj2by6YoDZdF7QpXO64f4wLQCjYoOu66wfnKdihuhW88MUfq6CH6tTxo/56tbVvXbnLgfr28J5aQIkjFWxIlvfBb/M5DMK1+E6vT3qo3AfhBJY+EODrCJ+rzz6HQXR7Wb/7KSHhNoTrivt64br1OTrqQdt84kbfNgUjFFyQiZ9uoeN8CdehgJDO03E+34U/Ltm7r1tTPcL1+GOTbfP7yvru/waiCUZVHyMzyqrKeQgggAACCCCQjQIEIbLxqeVxm9WB1ygFjSbQ0pW+9D3+CNdpV+d+wZLNUzT8vl8F0zHCHXqd96tO7d3u6D6NotBUiPXBNXSdaDl/8EkugOG3qx2qW9dVMEJl1rz5bsSDtmu/L7quHwHx+tsz3Wado9ER2nf+4JP9oe77BaHviR18qFIBjVJQx1jLaYYDBurM+twK6X61V2fZLx+p0RC+c63AhTrRqie8XTerQMHw4cPdag5x3byCKeoU++v5etX59tcL35/fH9e7luMM169rqnOu4IAP4sjKr9ShpUC9ldqgdstE9fjiEz6OHj06cazuR88lGpgI1+2XKlU9Ol7nV0RQQKuQ6G9H9xkO/uhetJRntGhUR9QpegzfEUAAAQQQQACBbBRgOkY2PrU8bvOHSzYvPahAge/0ew5tUzBAUxla7N7Ub3ajDxJftnwo2GVzAKNDktEGtWttTm6n6RbhQIdOjX7XthZbrqtrF3Sr76Z5aHuH1q2KtLFgl520KxglsTlgobaqHNJ5c1DEfdnyD432oGSWgDruflqFOsbqVKpDqw6yPkeXnkzWenW0teSkOsfh/BA6V999ckodp06xOsQKUChwEGfRspL+euoE6z7C1/PBgDiv6etq166deT9t0z3KT7a6b18U0FGb1GlXckq/T976HJ66oiCERnCEj/XPRX7RQITOVSBE5/i6fb2qW5/jLPI97bTT7J577nHP/rnnnnPV6979KInw9bREqgIWap8fKRPez2cEEEAAAQQQQCBbBQhCZOuTy9N2+0SUA867KqVANDiR8sCYdvjAhL+uDzBo1IZeyYofZeFHbRBwSKZU+dvU+fRTJlJdXZ1dddB9B1HHaZt+tVdHOlzU2Vad0U6mH1Ghjq5e2q/jrr32WlevOsz6JVx5BJLlbVAb1amNFl2/uPb7c8LX86MSVKd+sQ8HINLV6b2i96draJvaogCAL95D96/7mj9/fuI+dd1k9SgwoWM1XePjjz92Jjq/Y8eORbx1rOrw96PnopfO0z2Fn4/uVQlC9RzDx+s5ainWaBDCj8rw96L3ZNu0PZWZAkl6xgqU+HvRfeta4VEdqkPt9gEofacggAACCCCAAAK5IkAQIleeZJ7dR3iaQ/TWO+zbKrqpQr/7gEL0IscGK3AoB0Sy4gMXyk2hQhAimVLlb1OnXx3n4orvfBd3nDqdqUYwqJOZrPiOc7J9fluqNqpjnWqfPzf6Xtz10tWZzkvBgGhQIewR/hxtU/S7AgjhwEh0f/h7svvR80r3HKLPIvpd9SvwES3JtumYVGYa1aG2nHjiiYWqWr5884iosFey4wqdxBcEEEAAAQQQQCBLBQhCZOmDy9dmq1O/MpgmoSSOmdJxV/4IlRa7b16pQytuqCi/RLIVNtzOLf9ITP3Ykk8ivI/PCCCQOwIKQCj/hEZ1hANFGvHic0JoHwUBBBBAAAEEEMh1ARJT5voTzrH7OyRIMqky7tmXk96ZnxKRdGcMG5PV//q0zUkm9wxyQ6gc0nFzG/326GV9Xgt37Jb7mRis0uGDGf74ZNfy+3hHAIHsEtDoCI1uUM4P5aBQTgwl17z88svddAwFJrSfggACCCCAAAII5LoAQYhcf8I5dn99ghEQmsIw7pmX3RKb/vY0JUJLd/7+kpuLJIP0x8TxfvH1dybq1zXvGLl5KU439SJY4UJFq2L4FTMeGPNM4njtezwIniifhZYHVdFojkOClToUgBihZT23jIjQu65FQQCB3BFQMlAlp9S0C+WB0OgITf0YMmRIodERuXPH3AkCCCCAAAIIIFBUgOkYRU3YksECyqVw+QWD7Log4KDXHUHHvXbtGm6KhpqtJTB9voW4b8NP//jNoD+5QIjPBaHrDTqlV6HLqY2/v/Qml5hSySk1jWT9+g1u2U8FKPwSoTpJxw44f3NgQsEJP+VE9fqcEYUq5wsCCGStQLKcFVl7MzQcAQQQQAABBBAogwBBiDKgcUrVCqgDP+qvV9u/p86ymfM+cI35VTCt4dBgGoQ6+L40333XIDhwvCVLVOm2nRLkbQgt5enPOy5IKKnlNRuEkkr27XWkbQoOUI4HBQr8VAud3+f4zaMz/Pl6VwDhyZG3uGNnvvuBG+FQsG/9YNRDBzfyIXysghsP33FNUOcsV6++9+3Z1I7pfpA9H1xL16UggAACCCCAAAIIIIAAArkgUG1TUHLhRriHqhc466zBduiB+1rX4EXJPoHX/jPPpgSve++9v0obP3r0aHf9/v37V2k7uDgCCCCAAAIIIIAAAgjEK1AtKOSEiNeU2hBAAAEEEEAAAQQQQAABBBBAIIUAQYgUMGxGAAEEEEAAAQQQQAABBBBAAIF4BQhCxOtJbQgggAACCCCAAAIIIIAAAgggkEKAIEQKGDYjgAACCCCAAAIIIIAAAggggEC8AgQh4vWkNgQQQAABBBBAAAEEEEAAAQQQSCFAECIFDJsRQAABBBBAAAEEEEAAAQQQQCBeAYIQ8XpSGwIIIIAAAggggAACCCCAAAIIpBAgCJEChs0IIIAAAggggAACCCCAAAIIIBCvAEGIeD3zurYWLVranPeX2Nqvvslrh2y8eT2zOR8ssSZNmmRj82kzAggggAACCCCAAAIIZIlA9SxpJ83MAoG+ffvarbf+xe54ZHwWtJYmRgVq1qxpAweeHt3MdwQQQAABBBBAAAEEEEAgNgGCELFRUlHjxk3s8suvtDlzZtu3334LSBYJKADRqVNn0zsFgbIKbNq0yT744AP75S9/adWrV7etttrKfvzxR/vpp5/shx9+cH9fDRs2dNV/+eWXtmbNGtt2223dcdroj9N748aN3T7flqVLl7q6VGe1atXc5u+//94aNGhgderU8YfxjgACCCCAAAIIIJDhAgQhMvwBZVvz6tWrZ4cf3i3bmk17EUAgBoE5c+bYmWeembKm7t2724033uj2X3HFFTZt2rSkx/7iF7+wp556ynzAYsmSJdanTx9TkCNabrrpJuvWjf/NibrwHQEEEEAAAQQQyFSBasF/1BX9r7pMbS3tQiADBEaNeohpCxX4HEaPHu1q79+/fwVehaorQkAjGDRiYeXKlfbHP/7RvvvuO1Ng8pJLLrFGjRpZ/fr1bYcddnCXXr16ta1du9buvvtumzJlitvWtWtXGzBggNWtW7dQfhKNpli0aJE9//zzpr+PgoKC4N/BgbbvvvvabrvtVmjERHnv6+OPP7ZJkybZ0UcfbTvvvHN5q+N8BBBAAAEEEEAAgZBAMKK1GiMhQiB8RKA4galT3zK9WrZsaZ07dynucPYjkFcCmirRrFkzFyTQFAlNt9hmm21MwYVoUUBCr9atWyeCEHvvvbf7Hj1WIyNatGhhmn4xduxYu+WWW6xVq1bRw8r9XTH5q666ymbPnm265qmnnlruOqkAAQQQQAABBBBAoLAAq2MU9uAbAikFlOdi/PjNSTcff3wceS9SSrEj3wWU50Evla+++ioth3JH+PL111/7j0nfNWpi6NChFRKA0AWVz2LevHnu2nvssUfSNrARAQQQQAABBBBAoHwCBCHK58fZeSSgIdpr1qx2d6yAxOTJk/Lo7rlVBEouoBERtWrVcifo3xUlpUxWNLLhhRdeSOz65pvUy/vOmDHDPv30UzvqqKMSx8f94b///a9rqwIjzZs3j7t66kMAAQQQQAABBBAIBAhC8GeAQAkENKx8woRnCx05adIriaBEoR18QQAB23777Z2Cpjh88cUXSUVefvllW7hwYWJfqlETGzZssOHDh9tvf/tbq127duL4uD9MnTrVVXnAAQe4XBZx1099CCCAAAIIIIAAAgQh+BtAoEQC48cXDkDoJP3CO2rUqBKdz0HZJ6Bf5RcvXmzr1q0r1HglW9RqDeoYU1ILhJfN/Pzzz4scqKSU9913n51xxhluOU8dkCoIodESWvazolfB0HQMlU6dOrl3/oEAAggggAACCCAQv8DPk3Hjr5saEcgJgQULFrhklMluZsGC+aZXixYtk+1mWxYKaMi/Eh/OnDnTatasaQpG9OzZ084991yXFPH++++3nXbayf26P2TIEOvdu3cW3mXFN3m77bZLXCRZEOLee+91SSyPPPJI+8c//uGmQSTLCaHAhIIVygehaR5xFq22ceeddyaW/vTtfOCBB9wqHEHyZjvnnHOsV69ecV6WuhBAAAEEEEAAgbwWIAiR14+fmy+JgPJA9Oy5uROiZQW1OoZWxlBmfxWNiKDkhoCWljzvvPOC59vZFGDQlIKRI0fao48+6kY/aPlGBSFUtOzkHXfcYYceemhi2cnKVNBIgjhWWFZHW0tixl3CIyGio0lWrFhh06ZNs+uuu84UrNh6663d5aPHaaOCDx07dnRLccbdRi0b2qdPH+c4Z84cUxBCuSz69euXCHjst99+cV+W+hBAAAEEEEAAgbwWIAiR14+fmy+JQHgpTj8qokuXLox+KAlelh2jvAMdOnSwCy+8MNFyDc1XEEL5Av7617+6pSJPPvlkU0dayzhu3LgxcWxlfhg4cKApKBZHGTNmjDVp0iSOqhJ1hEdCKGASLnfddZebWrHPPvu4ZTe1jKdKdCSE/n175ZVX7OGHHw6fHtvnNm3amF4q11xzjXvfa6+93BQR94V/IIAAAggggAACCMQuQBAidlIqRACBbBRYtGiRW55RIxzCRdMzVJSTQAkLf/rpJ9PoAZXDDz/cGjRo4D77f2hkjJZyXb58ue2yyy5upETTpk397tjeNUUh3WoS4Qv59obf/WdNcdCIgLhLOIHk+vXrE9W//fbbptdTTz3ltmkURI0aNdxn3Y9Gd/i2PfTQQ6ZgS8OGDRPnJ/vwt7/9zbR6TUmKnpdGV0TLe++95za1bds2uovvCCCAAAIIIIAAAjEKEISIEZOqEEAgewXU8b3iiiuKdHg1TF+ldevWiWkDSki6atWqIlMENDrizDPPtGOOOcZ+85vfmBIdKqfAn/70JxeMiFNn5513jrO62Ovyq2OoYp9wUgEcBQzOPvtsNw3DX9SPmtB+BSw0lUOBCi2Zee211/rDUr7/7ne/c+4nnniiaUrNgw8+aHvvvbcLZqhOBTf0bK688kr78ccfi9SjQJOSkKpoJAwFAQQQQAABBBBAoOIECEJUnC01I4BAFgk0a9bMJUoMN1krYbz//vtuU7t27RK79Mv97rvvnviuD/oFXzkOWrZsaeeff77bp2Pmz59vV199tb344ovmpx0UOjFHv4RHQvhpFhqtoCksv/71rwvddfhYBQzkdNttt7nAQvXqxf/flEZzKNDx2WefuaShegb+PF1POS/0Ov74493zKHTx4Msbb7zhnp8CO3vssUd0N98RQAABBBBAAAEEYhSIN9V4jA2jKgQQQKCqBZSTYOnSpa4ZxSUo1KiHGTNmWPS4Aw880OU6eOmll6r6dir1+uHElAoQKLhwzz33uMSfPkDgGxQ9VgEbjY449thj/SHFvivYo1EOrVq1sm233TZxvAJJPoGn6iwoKEjs8x+mT5/uPupcn3DW7+MdAQQQQAABBBBAIF6B4n9iivd61IYAAghkjYCmYnz//ffuV3UN709X3n33Xbc7utLEDjvs4LZrf48ePdJVUap96qhHEz6WqoItB2saitql5UjjLH6KherUSIhHHnnE5chINt0hHIRYuHChaflOjYSIBivStc8HErp165Y4TMGH008/3a1oovvTs9xzzz0T+/VB0zXmzZvntoVHuxQ6iC8IIIAAAggggAACsQkQhIiNkooQQCCbBZSLQKtgaKrFgAED3K3MnDnTvWuJyGgnXckNd9xxR+vbt687Rst3qvjlJt2X4B9+CoZyEsRZlDPBJ80sT70KQhx22GFF7q88depcOSqI8MMPP7h8DP/617/ckqbJ6g0HLLTs6f777++mtSQ7Ntk2XWPKlCkuB4RGnvgyYcIEt+Smf3ZajjNa9Fy8YzgppRKMDho0yK2a0aJFi+hpfEcAAQQQQAABBBAoowBBiDLCcRoCCOSWgJbfVEdZ+QWOOuooU2LFuXPnupv0yzj6O9b0gueff75Q0kS/AoRyEISL/+6TM4b3leezkixmctGUCAVgFCBYt26dnXbaaS5ZZLI2h4MQ8ho8eHCyw1JuUwBIiUJV5KIREHoeH330kSlZZbqiaTQ6XkGT5s2bJw595pln3LZo7o/EAXxAAAEEEEAAAQQQKJMAQYgysXESAgjkkoB+9farYGhZTU2heP311+3LL790t1mrVq1Ctzts2DDTr+Ph4ESyVRfCJxW3P3xsLnxWAEIv2crv1FNPTXlb4SCEgga77bZbymOT7dB0CvkqeKSVMvR59erVLv/EwQcfnOyUxLb//e9/7rOSUvoRE5oSoukjd911V5GRLYkT+YAAAggggAACCCBQJgGCEGVi4yQEEMglgV/+8pdu+P/nn39u5557rr3wwgsuL8HQoUNt9OjR9uSTT1qjRo3cLeuzVmH4+9//7ob/ewc/7cInQfTb/Xe/32/P9XeNhJCripYtrVevXspb9st5KgB0yimnpDwu1Y5Zs2a5XQcccEDiOTVt2tT0at++vdun3A9aulNtCRdNwdD1NZJCU1yWLVvmEmhqWVVGQYSl+IwAAggggAACCMQjQBAiHkdqQQCBLBbQFIw///nPLkmhVnDQkpGXXXaZHXTQQdalSxe79dZb7eabb3YrNijx4RlnnFHkbpUfQiU64kHJEFV8gkr3JQ/+oWkVGuGgpJP9+vVLe8fe5qyzziq0skXak7bsVJDHJwVt3bp1oVOUA0I5L1SUuNI/i/BBu+66q91yyy0u8KAlVps0aeICTz7oFD6WzwgggAACCCCAAALlFyAIUX5DatgiMG3aVJs2bVpOe6xZs8YWLlzkOinpftnNZgR1HI888ihr3LhxNt9GqduuKQPqhKpT6zuuqkS/pitZon5J1/bwvvBFvFc094PPFZGPv6rfdNNNbopDKjPvt88++9iYMWNMAYHSFiWVVO4HTaeIGvfu3dtVp+VBR40aZRrdkKxoxY777ruvyLNPdizbEEAAAQQQQAABBMonQBCifH6cvUVg6NCL7Iknnsgbj0WLFuX0vY4YMcLGjh2XMpFgLt98qg6zRkukK507d3ZJLX2CRH+spm6odOrUyW/Km3eNKihJ0Soa4aSQJTnHHzN//nw3wqFly5bO328Pvz/22GMuwBANUoSP0edUzz56HN8RQAABBBBAAAEEyi5AEKLsdpy5ReCll150AYjBZwy0wYMG4pLlAitXrrKz/3CBDRt2jQtEZPntVFrzNTJGK0BoqciBAwda3bp13bWfffZZl8BS+Qoo8QloxQ0lDh03bpyrVKMoPvnkExdI0GiWjRs32uLFi11+j1dffdWNconv6tSEAAIIIIAAAgggUFYBghBlleO8hMB7773nPhOASJBk9YeCggbW45ij7f4HR2X1fVRF45X0cO3atW4liGOOOcYlOtTSj3feeSe/ssf4QJR346KLLjIlElXAoWHDhjZp0iT30mX8iAa966UAUPfu3WNsAVUhgAACCCCAAAIIlFWAIERZ5TgPAQQQiAhoNQgltFyxYoVbbeHoo4+2Zs2apZwmEDmdryUUUNLLkSNHlvBoDkMAAQQQQAABBBDIJAGCEJn0NGgLAghkvYB+eVcuhJLmQ8j6G+YGEEAAAQQQQAABBBAohUD6TGulqIhDEUAAAQQQQAABBBBAAAEEEEAAgXQCBCHS6bAPAQQQQAABBBBAAAEEEEAAAQRiEyAIERslFSGAAAIIIIAAAggggAACCCCAQDoBghDpdNiHAAIIIIAAAggggAACCCCAAAKxCRCEiI2SirJVYMJzL9jZv7/Apvz7jWy9BdqNAAIIIIAAAggggAACCGSFAEGIrHhMNLIiBVauXGUzZ822r79eX5GXoW4EEEAAAQQQQAABBBBAIO8FCELk/Z9A9gL4EQx6pyCAAAIIIIAAAggggAACCGS+AEGIzH9GtDCFgB/BoHcKAggggAACCCCAAAIIIIBA5gtUz/wm0kIECgto2sT69evt6+CloncFImrXrm116tQudLCO/XDhQretoEEDKyhoUGh/cV98gCPZeQs+XOjaoeu2aL5nkarC56odK1etcscX1w5frypsvueeRe6pyIXYgAACCCCAAAIIIIAAAghkiQBBiCx5UDTzZ4Gxjz9h9z84KrFB3/UafMZAGzxooNuuTr+O0fZwOe7Yo+23wXHJggrh4/R52PU3mqZ6nNTnBLvw/N8ndk95/Q277a9/c4EPv1H13XPniEL1nv2HC9zuC8/7vQ0bfmOhnBPROnXgh0FQ49Y7/ubyU/h69R6+r/B2PiOAAAIIIIAAAggggAAC2SZAECLbnhjtta6HHGwNGzYwBQNeC176fmjwahGMGvDlj5dc7jrzHdq3s5P7nmB1gtEKCijopSSUj44a6bb546PvtwXBAB3bIwhaRAMQqltBB23XCIjXglU1xo57whR0iNa7PgiG6HgFRxoG5yg4MmZL0KRhMDLjpKBtKho1MTQ4Tu86dr+g3fp8XxBIUTBF7ffHuhP4BwIIIIAAAggggAACCCCQhQIEIbLwoeV7k5sHHX+9PvlklQtCaMrCccccnWCZuCXQoODEzTdcl9iugETtYLqGAgZ6+VETiQO2fPAjKHSNIcEohnDRCAiV8KgH1asgwf0PBCMvIvVqqoiCFRr54IsCF1oSVMEQH1hYsHChCzoo6KGRD660N1Pdx59wko355xOJY309vCOAAAIIIIAAAggggAAC2SZAYspse2K0t1iB8UEQQiXc8fcn+Q5+dJqG368AhIIJCkAo0BDOMaGggUYnKFAQnc7RY0sQRFMqoiXaDuWEUPlqS04LfdaICZVN7p8//0PXeeaJsa4tP2/lEwIIIIAAAggggAACCCCQnQKMhMjO50ar0wj4QIBGEUSLRiwowKBjNEpB333xUzX0/arLLi4UgNC2d2bO1pvND8695rob3efoP+YHIxrKUg4JRm0UPNjA/CiOQ391sJtmonuIBjzKUj/nIIAAAggggAACCCCAAAKZIEAQIhOeAm2IVcCvmpGqUh94UH4G/1nHaqSDLwpIhHNB+O16VwDDBzrC28vzWe1QPgkFIXzOCI3W0EiMk048IeXUkfJck3MRQAABBBBAAAEEEEAAgcoWIAhR2eJcr8IFNHJA0yZSFR+kCE+10LE67y9BDgkliFQAQLkbNPUiWq4MRkkk2x49rrTfFYjQ1A291H4FRXxiyk+C5T01OoOCAAIIIIAAAggggAACCGSzADkhsvnp0fakAj7nQnhkgz9QnXuNYlDAITwKQvuVL0JTNRSI0L7bgxUywsGMFi32dNVoVY64y5RghY2Jz7/gpoiobrVPy4n61TY0QoKCAAIIIIAAAggggAACCGS7AEGIbH+Cedz+6EgGT/HbQQPdx/uCBJPRosSTKj6RpPsS+YcCEVo5QyMmNCrCj5zwq2AoYLAgCGSEi6Z2aFnPcNAivL+4z1OmvOHyTEycGAk2RDNVFlcR+xFAAAEEEEAAAQQQQACBDBZgOkYGPxyall5A0yVUJgQjCBSQ0OgBJXRUsEDTJZTXQctbnhxMb9D+8UEHX6MjdFyq5Tn9FTUlQoEG1aHVMpQfQqMjrrz8YvvjxZdbv4FnupEK+3doZwpAaEUOjbDQMcXV7a8Rfj+57wmm4IaWAFVyy3C9CoJEV9gIn8tnBBBAAAEEEEAAAQQQQCBbBAhCZMuTop1FBBRsOCnovI8d94QbhXBcsEymghAqytugYINyO2iEgooCEQpODDnv9+57cf8YEgQe3gmCFqpjvyDYoLr1uuXG61ydmiLhp0mobgUqyhos0OgLTb245vobXZ3hehXU8EuLFtdm9iOAAAIIIIAAAggggAACmSxQbVNQMrmBtC3zBUaMuN1GjBhh/3nztSpprF+pokGDIM9DEAyIluL2R48v6XeNgPgwGLWgHBQKeMRVKqre0rRPoz80dWXp0mWlOS2WY0ePHu3q6d+/fyz1UQkCCCCAAAIIIIAAAghkhkC1oDASIjOeBa0oh4BGEaQrxe1Pd266fQp4aDRG3KWi6o27ndSHAAIIIIAAAggggAACCJRWgMSUpRXjeAQQQAABBBBAAAEEEEAAAQQQKJMAQYgysXESAggggAACCCCAAAIIIIAAAgiUVoAgRGnFOB4BBBBAAAEEEEAAAQQQQAABBMokQBCiTGychAACCCCAAAIIIIAAAggggAACpRUgCFFaMY5HAAEEEEAAAQQQQAABBBBAAIEyCRCEKBMbJyGAAAIIIIAAAggggAACCCCAQGkFCEKUVozjEUAAAQQQQAABBBBAAAEEEECgTAIEIcrExklhge222859XblyVXgzn7NYYOWqVeafaxbfBk1HAAEEEEAAAQQQQACBDBOonmHtoTlZKHDCCSfaiBEj7Ow/XGA9jjk6C++AJocFFICY8NwLdsYZg8Kb+YwAAggggAACCCCAAAIIlFuAIES5CalAv5iPHTvOhg69yO5/cBQgWS6g53nBBUOC1wVZfic0HwEEEEAAAQQQQAABBDJNoNqmoGRao2gPAggggAACCCCAAAIIIIAAAgjklkC1oJATIreeKXeDAAIIIIAAAggggAACCCCAQMYKEITI2EdDwxBAAAEEEEAAAQQQQAABBBDILYH/B5F8sXIS1Z+8AAAAAElFTkSuQmCC
A diagram of how tokens are turned to logits  in a one-layer attention-only transformer. Source: MFTC. Note that I am using a slightly different notation: They use  and  for vectors in different parts of the transformer while I use  and  for that purpose. 

First it goes through the embedding.

(1) 

At this point the embedded token enters what is called the residual stream at the position corresponding to the token's position in the input sequence. Each transformer block features residual connections which add the unchanged input to the output of the attention heads and (if they are included) MLP layers. One way to think of this is that information passes through the transformer in a stream on which the attention heads act by reading and writing. In each transformer block, multiple attention heads  are applied to the block's input and afterwards the original input is added to their output via the residual connection:

(2) 

 for position  in the residual stream is computed as follows:

An important takeaway is that the attention heads are how information travels between positions in the residual stream. The computation of the attention pattern and the result vector are the only time values from different positions in the stream interact. All other operations are between the same position of the stream.

In a typical transformer there would now be an MLP and then more transformer blocks. In our single-layer attention-only toy model, we immediately get the output via the unembedding layer:

(3) 

You may have noticed that the equations are ignoring layer norms and biases. This is done for the sake of simplicity and should not decrease the frameworks applicability to real transformers. Biases can be simulated in a model without them by appending them to the weights and adding a dimension that is always one to the input vectors: .  Something similar, up to a variable scaling, holds for layer normalization.

Introducing the QK and OV circuits

The operations described in the last section fully describe what happens to a token as it passes through a transformer. The transformer circuit paper goes on to rearrange the equations in matrix form to get the following sum in which every term corresponds to an end-to-end path through the model:

Where . Note how the embedding and unembedding matrices are now contained within this equation!
The term  is the direct path from embedding to unembedding. The  terms are the paths that go through attention heads. The terms on both sides of  can be viewed as independent operations on the input, and if we strip away the non-linear and variable parts (i.e. get rid of the softmax and ) we get two linear operations:  and , often abbreviated as  and  respectively. They can be viewed in isolation from the remaining model and as they map from tokens to tokens they can be relatively easy to interpret. In other words, they are our first two circuits, the QK- and OV-circuit!

The QK-circuit describes attention between tokens at different positions in a head. Remember how the calculation of the attention pattern and result vector are the only operations in a transformer where information travels between positions. The attention pattern is the decisive factor in this mechanism as it determines how much each value vector is weighted when calculating the result vector. In turn, the QK-circuit determines the attention pattern by producing logits for any pair of tokens in the input stream which will be turned into a probability by the softmax. The logit for the attention paid from token  to  is given by . MFTC says that in this way the QK-circuit controls which tokens the head prefers to attend to.

Applying  to  gives us a linear combination of all residual stream vectors at each position of the stream. Now it is up to the OV-circuit to determine how this linear combination affects the output logits at that position. As an intuition, the QK-circuit can be seen as a mapping from two tokens  to the attention t1 pays to . In contrast, the OV-circuit can be seen as a mapping from two tokens  to the logit of  if  receives full attention. However, this is not entirely accurate as attention between tokens also depends on their position and neither circuit contains the positional embedding. Hence, the circuits will always return the same values for a given pair  and  even though the heads behavior might change depending on where the tokens appear in the residual stream.

Initially, it might be a bit unclear what it means for the QK-circuit to "control what tokens are attended to" and the OV-circuit to "determine how attending to a token affects the logits". This is why I will provide a practical example in the next section, which I hope illustrates how the circuits work in practice.

It should also be noted that the circuits are only so interpretable because we are considering an attention-only model. Adding a MLP complicates the picture as now information can be manipulated between  and the unembedding. I will talk more about this case in the third section.  

Looking at transformers in terms of circuits opens up a new avenue for interpretability, allowing us to reason about complicated behaviours by looking at how circuits from different layers compose. A given heads's QK- and OV-circuit has three input channels ( and ) and one output channel () and the output from a head in one layer can compose with each of the three input channels from the next. In two-layer models this famously gives rise to induction-heads which predict that the current token should be followed by whatever came after the previous instance of that token. In models with multiple layers , it makes sense to consider QK- and OV-circuits to be  and  respectively because circuit-composition happens without the involvement of  and . When the embedding and unembedding are added we speak of a "full" circuit.    

2. Practical Example: Taking the max with an attention-only transformer

I trained a number of one-layer attention only transformers to predict the maximum of their input sequence as their next token. The input was a sequence of integers  with the sequence length  between 2 and 6 and each integer between 0 and 63. The size of the residual stream was 32 and since I had one head, it also had a dimension of 32. The remaining architectural and training details, as well as a thorough investigation can be found in this Colab though they are not important for this post. 

Before reading on or looking at the Colab, take a moment to think about how a transformer could learn to do this task using the QK- and OV-circuit.

If you already have a good intuitive understanding of what the circuits are doing this may be easy. If not, it might be helpful, to look at the attention patterns for some inputs:

For  and input 52 59:

For  and input 46 41 41:

For  and input 35 14 47 61 38 54:

If you are not familiar with the visualization of attention patterns, the diagram shows how much attention the token on the x-axis pays to the token on the y-axis. The axes are marked "(p) n" meaning that the token at position p has value n. We can see that, at the last position, the head has learned to always pay the most attention to whatever is token has the highest cardinality at any position. Since only the output from the last position matters, the attention from the remaining positions is pretty much random. Hence, if we visualize the QK-circuit for the model with  we get...

Visualization of the QK-circuit for a the transformer taking the max on sequences of length 2. The point (x,y) has value .


... something not very interpretable. Remember that the QK-circuit does not take into account the positional encoding. Alas, the position is highly important for the attention pattern in our model and so without it we can't make sense of the QK-circuit. Fortunately it is quite easy to incorporate the positional encoding into the calculation of the circuit as it is simply added to the embedding: (). Let us visualize this transformation with  set to the encoding for the last position and  for the second-to-last position:

Visualization of the QK-circuit with added positional encodings. (x,y) denotes the value of  where  and  are the tokens for integers y and x with the positional encoding for positions 1 and 0 respectively.

In this plot, the point x,y shows how much attention is paid from token y at position 1 to token x at position 0 (the plot for the attention from 1 to 1 looks similar). We see that tokens of higher cardinality always get more attention. This confirms that there is a general rule behind what we saw in the attention patterns for individual inputs. The amazing thing is that, unlike the attention pattern, we can visualize the QK-circuit for any position without having to pass any data through the model!

So now we know that the QK-circuit "attends" to the token with highest cardinality. How do we expect the OV-circuit to determine the logits based on the attended token? It is not hard to guess that the OV-circuit has to output the highest logit for exactly the token that it is "given" by the QK-circuit. After all, want our transformer to output the highest value from the input sequence and the QK-circuit has already found that value, so all that is left for the OV-circuit is to assign the corresponding logits.

Such an OV-circuit, which assigns the most logits to the selection of the QK-circuit, is called "copying". In multi-layer transformers we can also speak of copying circuits - if they directly connected to the logits, they can embedd the token in the residual stream. How can we tell if a circuit is copying? One way is to visualize the circuit:

Visualization of the OV-circuit. (x,y) denotes the value of .

Here, the point x, y shows how much logits are given to token x if token y is attended to by the OV-circuit. The bright diagonal indicates that every token maximizes its own logits. A more general statistic proposed in the framework for transformer circuits is based on the circuit's eigenvalues. Remember that for a linear transformation X, an eigenvalue is a scalar  such that there is a vector  for which . Insofar as the linear transformation is copying we would expect the eigenvalues to be positive, otherwise a token's contribution to its own logits would be negative. Hence one can use a measure of the eigenvalues' positiveness such as  as a proxy for how much copying the circuit is doing.   

Summing up what we know, we can get a satisfying description of how a max-taking transformer works from our understanding of what the circuits are doing. The QK-circuit selects the token with highest cardinality from all positions and makes the OV-circuit attend that token at the final position. The OV-circuit simply outputs logits that are highest for whatever token it is attending to at the final position.  

3. How to stop worrying and analyze the MLP

My goal was to understand a transformer that predicts the next element of a variable input sequence   with  so that the next element is always the sum of the two preceding ones, like in the Fibonacci sequence. As the task comes down to doing addition on the last two elements of the input sequence, it seems the most important part is understanding addition and so I first investigated a model with a context-window-length and input sequence size of 2. This model was a single-layer,  one-head transformer with an MLP. The vocabulary-size, residual-stream-dimension and hidden-layer-size were all set to 128. Once I understood the addition models, I trained transformers with similar architecture and context-window length 5 to model the Fibonacci sequence and confirmed that the resulting model is using the same addition algorithm and using the positional encoding to make sure the right numbers are added. 

The point of this section is not to give a detailed account of my findings, but to illustrate how the circuits we saw in attention-only models can generalize to models with MLPs. If you are still interested in my analysis, you can check out the Colab. In short, it turns out that to do addition the models are at least to a large degree using the same algorithm that Neel Nanda found for modular addition [LW · GW]. I found this somewhat surprising as I assumed there would be a simpler way to do regular addition, even for one-hot encodings of tokens. However, I also found some evidence that leads me to believe that the model is also doing something else since a small part of the model's performance could not be explained using the modular addition algorithm. Ultimately, what I am doing in the Colab is very similar to what Nanda has done for modular addition and because he has already written up such a great in-depth explanation, I do not think it is worth writing about in detail here. Anyway, you need to read neither his work nor my Colab to understand the remaining section.

Circuits in transformer blocks with MLPs

Adding MLPs makes the analysis of transformer blocks much more complicated, both because MLPs themselves are hard to interpret and because of what they do to the circuits. Yet, any reasonably powerful model will feature MLPs so we can not ignore them if we are interested in understanding powerful AI. 

In principle, what we want to do is the same as in the attention-only model: identify chunks of what the model is doing that can be interpreted in isolation from the larger model. To do so, we first need to extend the equations from section 1 for a model with an MLP. We can then isolate circuits which I have also seen called "effective weight matrices" in this context.

Let us start by thinking about what happens to an input as we pass it through a one-layer attention+MLP model. How are the applied operations described in section 1 different than in an attention only model? Nothing changes about the embedding and unembedding and so equations (1) and (3) remain the same. The only difference is that after input passes through the attention heads, the residual stream will now be feed into an MLP which also features a skip-connection. 

A diagram of the operations in a transformer block with an MLP. Source: MFTC. Note that they use  to denote the value of  at layer  which is different from the notation used in this post.

So equation (2) becomes:

(2B) 

Where  is the MLP function. Typically it features one hidden layer, and assuming we use ReLU activations,  can be defined as:

Where  and  are the weights into and out of the hidden layer respectively. Ignoring the residual connection, the term that goes into the ReLU is:

where  is the number of positions in the residual stream (i.e. the size of the contex-window). I appreciate that the terms on the right hand side can look intimidating, so it's worth taking some time to think about what they mean. Remember how in section 1 we said that the attention head computes for each residual stream position a linear combination of the values from each positions, weighted by attention? This is why we are summing over the  terms where  is a scalar that denotes the attention from position  to position 

Note how  shares three terms with the OV-circuit from the attention-only model. Without the activation function, the MLP would merely result in a larger circuit . But because activations introduce a nonlinearity and we want our circuits to be linear, we can think of the OV-circuit as being "split into two".  This gives us the two "effective weight matrices"  and 

In contrast, the QK-circuit remains unbroken in this new model - the flow of information goes from one position's token embedding over the attention head towards another position's embedding and this is independent of if the attention heads are followed by an MLP or not. 

Analyzing the addition transformer

This section considers the transformer I trained to do addition which has only one attention head, so I will drop the  superscript.

First, let us see what the QK-circuit is doing:

I used different code for the visualization but the meaning of the plot is the same: How much attention is paid from a token with value given on the y-axis to the values given on the x-axis? This time, only the upper right triangle is relevant to us since the sum of token pairs must be 127 or less (to be within the vocabulary-range of the model). There we see that values are very similar along horizontal lines. This suggests that for any two values, both tokens will be attended with roughly equal attention. This makes sense since addition works the same for any two inputs. 

After the QK-circuit has decided what values are attended to,  determines how attended tokens influence the MLP´s neural activations. Can we still get a meaningful visualization of this relation, as we did for the OV-circuit in section 2?  gives a mapping from tokens to hidden layer inputs, without considering attention. This means that if  for position , then  gives the values of the hidden layer neurons before applying the ReLU when   is passed into the MLP. Hence, visualizing  gives a heatmap showing how each neuron's activations vary as full attention is paid to different tokens. This type of visualization can give us an insight into what a single head is doing which suits us just fine since we only have one head. Again, there is the technicality that we have to add the positional encoding to get the true visualization, so really what we want to look at is  for each position 

For the transformer I trained to do addition that map looks as follows:

(This is for position 1, though 0 looks similar as one would except from commutativity of addition.)

At first glance, the map does not look very interpretable, but it tells us something about the behavior of the different neurons. The vertical lines represent how one neuron's input changes as a function of the input token. If we look closely at the heatmap it looks there are a lot vertical lines that are dotted in some periodic pattern. To get a better view of what is going on, we can also use  to plot individual neuron inputs:

These activations look suspiciously periodic. Seeing this graph made me suspect that some of the hidden layer's neurons are modelling trigonometric functions similar to what happens in a model doing modular addition. Further investigation confirmed that this is at least partially the case, but that is beyond the scope of this article. If you are interested in how the tansformer's algorithm for modular addition works, I recommend you check out this section of the Colab for Neel Nanda's Analysis of Grokking were he explains it in much greater detail than I do. 

I hope this section has demonstrated the role that small circuits {"effective weight matrices") play in a transformer block. The circuit-framework gives us a way of splitting a large model up into independent parts whose behavior we can identify. Individual parts such as  may do something fairly abstract like modelling trigonometric functions and their purpose may only become clear by looking at the other parts. Yet, by delimiting individual parts in a principled way, the task of understanding the model as a whole has become more tractable.

Final Remarks

For mechanistic interpretability to help with aligning AI we will have to apply it to much larger models. Interpreting such models will be harder in many ways, for example circuits typically will not have useful visualizations. 

As I mentioned in the section on terminology, other objects that are called circuits in the literature tend to be larger and less linear. I already mentioned induction heads which form in models with at least two layers and compose two heads. Other examples include a three-layer four-head circuit for Python docstrings [LW · GW]and a two-head circuit modeling temporal successor relations [LW · GW]. The famous mechanism for detecting indirect objects consists of 26 heads. Still, I believe it is valuable to have a good intuition about the type of work that individual heads can do, even if in practice we may be unable to (and not need to) understand each head of a larger circuit in detail.

If this post got your mouth watering or if your are still confused about how MI actually works in practice, I recommend attempting one of the beginner problems from 200 Concrete Open Problems in Mechanistic Interpretability [AF · GW]. Trying things yourself is the best way to learn (and to find out that things are not as difficult as they might seem). Another post that helped make these concepts click for me is Decision Transformer Interpretability [LW · GW] which gives similar examples and visualizations for transformers doing Reinforcement Learning.

I believe that Mechanistic Interpretability will be essential in making sure that advanced AI systems are safe. For this purpose, we will need to detect complicated, noisy concepts like deception. Yet, the field currently seems to be nowhere near this capability. But it is also a young field, with many low-hanging fruits to pick and lots of progress to be made. 

0 comments

Comments sorted by top scores.

comment by hillz · 2023-10-24T21:24:09.861Z · LW(p) · GW(p)