详细介绍:
?
在功能安全设计过程中,执行失效分析是必要的环节之一,传统的基于硬件器件的失效分析已经较为成熟,但基于软件设计的失效分析还不为很多人了解,本文对软件失效分析进行初步的概述,后续将持续推出更多的详细介绍文章。
1、基本原理
软件HAZOP的基本流程和方法说明见标准《危险与可操作性分析(HAZOP)应用指南》。
软件FMEA和FTA的基本流程见《Software FMECA and FTA Guidance》。
2、对于可编程电子(PES)相关的HAZOP引导词
引导词 | 标准解释 | 在PES中的解释 |
No | 完全没有达到设计意图 | 没有信号(信息)通过 |
More | 数量上的增加 | 比预期有更多的信号(信息)通过。 对于某个特定的值(变量),意味着这个值(变量)太高了。 |
Less | 数量上的减少 | 和PART OF是相同的 |
As well as | 性质上的变化(增多) | 和MORE是相同的 |
Part of | 性质上的变化(减少) | 信号信息不完整 |
Reverse | 与设计意图逻辑相反 | 一般不使用 |
Other than | 完全替代 | 信号信息是完整的并且语法正确,但内容/功能/语义不正确 |
Early | 早 | 信号到达得过早,相对于参考时钟时间 |
Before | 晚 | 信号比预期的顺序达到得要早 |
Late | 先 | 信号到达得过晚,相对于参考时钟时间 |
After | 后 | 信号比预期的顺序达到得要晚 |
3、软件失效分析的目的
在IEC61508的生命周期模型中,明确给出了需要执行软件验证。软件验证一般可以采用设计复审的方式,但该方法的缺点是如果没有一套专门的导则,复审可能难以按照一套系统化的方式实施(可能只能零散的检查、讨论等)。因此复审的输出非常依赖于开展该工作的人员。采用软件失效分析可以采用更加系统化的方式实施验证活动。
另一方面,由于系统性失效不能在软件开发过程中完全避免,因此必须采用特定的故障措施(例如断言)来控制可能发生的软件失效,这些故障控制措施在对软件进行修改时,也可以起到一定的提示作用。因此在对软件架构进行验证时,需要知道那些部分的软件需要通过引入附加的措施实现故障控制,这些都可以通过软件失效分析获得。为了知道软件组件可能发生那些故障,需要采用软件HAZOP来确定软件组件的失效模式和相关安全措施的有效性。执行软件失效分析,以证明关键软件模块不会由于其他部分的失效(导致对该模块的输入异常)对该模块的功能造成不良影响。软件失效分析的目的还包括:
加深对系统/软件的认识,从而能够识别出系统/软件中最为关键和重要的模块;
实现对软件架构设计的验证;
识别出系统/软件中安全和非安全模块,不同SIL要求模块之间的独立性和解耦;
识别出用于检测失效的安全控制措施,如果某个模块具有独立的安全控制措施,那么该模块的关键度可能就可以降低:
故障检测和诊断措施;
错误检测和纠正代码;
失效断言编程;
防御性编程;
作为优化V&V活动的基础。
4、关键度等级的定义
C1:无影响 interferencefree
模块不会执行安全相关或安全关键的功能,可能只会通过接口从关键模块读取一些信息;
C2:安全相关 safety relevant
模块出现单个的信息错误或偏差不会导致不安全的状态,但其他模块的再发生失效将导致不安全的状态;
C3:安全关键 safety critical
单个信息措施或偏差即会导致不安全状态
5、典型实施流程
软件失效分析的前提是软件已经被非常清楚的进行了层次和模块细分,例如模块、单元、实体、对象、类等等,并且所有组件之间的功能和接口非常清晰,这些可能在软件架构设计/软件安全要求规范文件中进行了说明。
对于这些组件的分析是通过发起假设:当其发生设计偏离时是否会导致危险的系统行为(当然这些首先取决于对于安全状态和危险状态有非常清晰的定义)。一个分析过程的示例是:某个组件可能最初被定义为C3级别,即当其发生单个失效时会导致危险场景,如果增加了某个诊断组件,可以对原来组件的失效进行检测,那么此时需要当诊断组件和原来组件都发生失效才会导致危险场景,因此该组件降低为C2级别。不同关键度的典型功能如下表:
关键度 | 典型功能 | 理由 |
C1 | 历史记录 非安全相关的数据显示 | 历史记录会读取但不会修改安全数据 即是显示组件与安全关键组件断开了连接,安全功能仍能继续正常运行 |
C2 | 看门狗触发功能 错误处理功能 | 仅当检测到错误时,两个功能才起作用 |
C3 | 安全相关变送器的测量功能 | 安全功能完全取决于输入信号的正确性 |
注:上表仅是一个通用性的说明,对于具体的软件需要分析才能确定其具体的组件关键度。
6、关键度等级与SIL的关系
一般对于定义的关键度组件需要满足的SIL要求如下表:
组件的SIL能力要求 | 组件关键度 |
C1 | C2 | C3 | 备注 |
SIL1 | 满足独立性和无影响性即可 | 满足SIL1的适用性要求 | 满足SIL1的适用性要求 |
|
SIL2 | 满足独立性和无影响性即可 | 满足SIL1的适用性要求,且对于更高SIL的组件无影响 | 满足SIL2的适用性要求 |
|
SIL3 | 满足独立性和无影响性即可 | 满足SIL2的适用性要求,,且对于更高SIL的组件无影响 | 满足SIL3的适用性要求 |
|
7、软件HAZOP
软件HAZOP的目的是识别哪些与设计意图的偏离可能是潜在危险,以及系统内各个组件之间的相关关系。一般情况下对于软件有如下划分和定义:
软件组件(software component):一组软件模块用以执行一组特定的功能(例如文件处理),软件组件一般用接口进行描述;
软件模块:一个完整的软件单元以执行某个特定的功能(例如读文件),软件模块用功能和接口进行描述;
通过软件HAZOP可以系统性定义出“反向”测试用例。同软件失效分析确定软件代码中哪些地方需要进行断言编程或防御性编程。需要开展软件HAZOP的代码是不同的:
原则上关键度分析中,所有存在SIL降低情况(C2,C1)的软件组件都需要执行HAZOP;
对于C1的软件组件,重点分析这些组件发生故障时,不会对C2,C3造成负面影响(这可能会包括对这些组件防护措施的分析,例如通过对指针范围的检查,确保其不会将数据写入C2,C3分类的组件中);
对于C2组件需要验证其功能的实现不会到C3造成安全关键影响(例如某个RAM测试功能可能会在测试中造成RAM存储的数据损坏,而且没有办法恢复);
对于C3组件需要通过分析考虑是否存在C2的组件(监视、诊断等功能)实现对其关键度的降级;
软件HAZOP的基本流程如下:
1、初始化分析,定义范围和目标
2、计划分析的会议
3、执行分析
4、审核分析,执行改进
5、形成最终分析报告
分析过程中,一些典型的属性和引导词结合如下:
消息流图表达软件功能时的相关属性:
属性 | 引导词 | 组合解释 |
消息message | No | 没有消息 某个对象没有消息发出 某个对象没有消息到达 |
Part of | 消息到达得不完整 |
Other than | 消息完整且语法正确,但内容或语义不正确 |
Early | 消息比起预期的早到 |
Late | 消息比其要求的晚到 |
More | 比预期的更多消息到来 |
Less | 比预期的更少的消息到来 |
数据里图的表达时
属性 | 引导词 | 组合解释 |
数据流data flow | No | 没有信息流 |
Part of | 信息没有完整的通过 |
Reverse | 信息流方向错误 |
Other than | 信息完整且语法正确,但内容或语义不正确 |
Early | 信息流发生得比其要求的早 |
Late | 信息流发生得比其要求的晚 |
More | 比预期的更多数据通过 |
数据率 | More | 数据率太高 |
Less | 数据率太低 |
数据值 | More | 数据值太高 |
Less | 数据值太低 |
对于状态转移图
属性 | 引导词 | 组合解释 |
事件 Event | No | 事件没有发生 |
As well as | 另外的事件同时发生 |
Other than | 不同于预期事件的不期望事件发生 |
动作 Action | No | 没有动作发生 |
As well as | 附加的动作发生 |
Part of | 动作执行不完整 |
Other than | 错误的动作发生 |
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAhMAAACvCAYAAABHNFwDAAAgAElEQVR4AezdCbheVXkv8DpUq7Xtvbe9t9V664S16qVqrRM4Vqt1bFVERG1xVqwjg7O2ioAgIMo8yBjGkIQhhJAESEiYQiATSSAJSZhJwiAzBF33+W19j4vNt7/hnJPvnJyz9vOss/fZe+01vPv91vtf77DWH6RyFAoUChQKFAoUChQKFAoMgQJ/MIR3y6uFAoUChQKFAoUChQKFAqmAicIEhQKFAoUChQKFAoUCQ6JAARNDIl95uVCgUKBQoFCgUKBQoICJwgOFAoUChQKFAoUChQJDokABE0MiX3m5UKBQoFCgUKBQoFCgEUwce+uc9J7F+6VnzvtieursnUoqNCg8UHig8EDhgcID44AHyH3yHw7o9ngcmFh477q07VU/LAwzDhimgMQCkgsPFB4oPFB4oB0PwANwQafjMWDCC0UTURirHWOVZ4U/Cg8UHig8ML54AC7oBCgeAyaKRmJ8MUgZEMr3LjxQeKDwQOGBbngAPmh3DIAJtpFuCix5CuMVHig8UHig8EDhgfHHA+18KAbABGeLwhzjjznKNy/fvPBA4YHCA4UHuuEBOKHpGAATxVeiMFM3zFTyFD4pPFB4oPDA+OQBOKHpGAAThTnGJ3OU716+e+GBwgOFBwoPdMsDBUyUUM9ixio8UHig8EDhgcIDQ+KBAiYKAw2JgbpFrSVfmeEUHig8UHhg7PJAARMFTBQwUXig8EDhgcIDhQeGxAMFTBQGGhIDlZnG2J1plG9bvm3hgcID3fJAARMFTBQwUXig8EDhgcIDhQeGxAMFTBQGGhIDdYtaS74ywyk8UHig8MDY5YECJgqYKGCi8EDhgcIDhQcKDwyJBwqYKAw0JAYqM42xO9Mo37Z828IDhQe65YECJgqYKGCi8EDhgcIDhQcKDwyJBwqYKAw0JAbqFrWWfGWGU3ig8EDhgbHLAyMCJr61+tS04N416eHfbGqqv9zfAinge/quvm8ZNMbuoFG+bfm2hQcKD9R5oElkbZa9OV58+e6VsGmqtNwfOxQAKnzvOsOV/8sgVHig8EDhgbHHA03Sa7OACQKmHOOHAr53GTTG3qBRvmn5poUHCg/UeaBJsg07mKD6Lsf4o0AxeZRBpz7olP8LTxQeGHs80CTdhh1MFK1EE6nH9v2inejfoPG2hXulH62dnGbftbxKd226f4C51j64obp3/G0Xp0+tODK9esH3i9aoOF8XHig8MGw8MDDY1C6GHUwUZ8sahcfJv757mYVsPkDxz4v2TgDCYA4AA7D4y3k7l29UhErhgcIDQ+KBpjFo2MFEU0W/+c1v0uZOTXUP9v5wtVf9vZTVTf6mPvVSTy95m+rL7xcwMfxgAoiggRiOgwZjl1UThjSQlG88/N+40LTQdEvigaaxqK9g4te//nWK1Isga5c3L6+pk4O9H/WqI667PUe7nB35e/mz+rV89fyt3q0ytfgjb15m/u5Qr1tU95hbW9IPYktoK1PG5jgW3rtuizN//O3luybmnX6bbYo2pwj6LWGs6Gcbm8akvoOJq666Kp122mnpmGOOGZZ0+umnp6uvvroS1k2dHOx9wnfjxo1p5syZ6Ze//GXX7ZVXmj59elq/fn3Vtttvvz2dddZZVRnK27BhQ3rkkUfSrbfemiZOnFjlv+iii9Idd9yRNm3alG655ZZ06qmnPqbOE088MZ1//vnpwQcfbOySNqMHGvfS5nbfI2jcWOnvHvSTocdyXQQYgb85D1oKWo/RQsdF991QmXGAhlZt+tHaKRU55ty9ouXzeGe4Qccvbjq/+hbMRFFHuzOa+nafXnFUV/nblZU/G2y/BvteXveWcA1kAptN/NPUh8G+11TeeLjfNC71FUwQdITc1ltvnf7qr/5qWJKy9tlnn80CJhBtzZo16b3vfe+g2vqOd7wjrVq1qtIUXHvttel1r3tdVc773ve+dP3116eHH344XXPNNekVr3hFdX/HHXdM69atSw899FC6/PLL00tf+tLH1Pu85z0v/fu//3u65557mr5nRQf0GG4aAxSdjvHwQ9rcfewHkMi/43ALvcHQZ9dVJw00CWhoVUa3YKLbfK3qaHVv3YMbq7adtfGqlu3K3yHI4uCnkj8b6vVg+zXY94ba3n6/D2Q69LeXugf7Xi91jLW8weP1c9/BhNkyIPGEJzwhPeUpT0n/83/+z0El7ypDWd///vcrIQqs3Hfffemuu+5Kv/rVryqhrMPu33vvvdX9O++8M0W6++67K+2A5/nx6KOPVgJbOQsWLEivfe1r0x/8wR88Jj3pSU9Kz3jGM9q2/S1veUtauXJlBSaWL1+eXvnKV1b53/nOdw6AiSVLllSgAR3+9V//NS1evLjSVkybNi39xV/8RVXnU5/61PSnf/qn6VnPelb6yEc+MgAmaCj0Uzv1O/qKHsNNY5qLTsdY+9H0uz/9BhK+Jw1Fv00HOV0J4IhGoZ2IZzQCfEUC7LQSigSBPHn7W+WLMns95+AA4Onmfe2Oo9t3uim3235pMy0K7Qh+6va9btowmvN0Cwrwys9vmp58J/3p9r3R3Pd+ty34u34eMTABDPzf//t/07vf/e5BpWc/+9kVGMnBBBBA+DMvXHDBBWn16tVVf2kArrjiikRAn3322QMpzA3eyw/AY968eWnq1KmVqeCFL3zhY4AEYEG4v/rVr27b9v/8z/+sgAEfhptuuil98pOfrPJ/7WtfS8wezBk0ER//+Mer+//xH/9RmTwmT56c9t133/Qnf/InVb1/8zd/k970pjel97///emHP/xheuCBByqApH/6qb/6rR7AKMAEGqPTYGns+ygDjQuY2Py241wQ5fy4ua/Nogmefg9K6gMg4shBQX2QbyUU473cXBM09P5Q+5NrTAjpbspDx7s3PVA1DUgaLrq26n+050NLf14JyLppTPvr76FLhBTn5wBtUeaWdq7zS7Qf/YErkVD4PD980/w9NMhpkl/nvBllj9dzTsP8esTAhJk4ITeYg8D86le/mv7H//gfj9FMAA3MAITwX//1X6ef/exnVfFm70wVT3/60x8DCv73//7fac6cOY/zQSDg//7v/z794R/+4WPy59qJv/3bv61MEYNpf/0d/ZEAnec+97mPq/NjH/tYWrt2bZXHu5Ff//RTf/Vb/z0LMIE+6OReL0eU7/v4TgVMbH4gYbDqdJxw29zKJkx45kK46T2CxGBK2ISAa5e334NjCH5t0ta8/nyQd78uFN2LIwcT8R7BkQuD/LpbwRk0Do2JNnCK7ZRyoX7mxgUd8+ftz2mQX7fqfzwPOsSZaQZt8VT9vchTP8sX5W2J5/ju9X6gbf3wPQGtOpgIWtXz+7+bb7Ql0m0wbW5FH/dGBZgI4dWt0JNvNIGJvP2truvEz/N4Fv9vTjARddTbkv8feeJcwMTmBxHxYybs2h0EROR1BhDaHSEA4x0CtN0xnLPoqLPdOW8PQVDPWxcOMdDneaM/+UAf78WzVue6wKnX7f8c3AX4aFXWcNzrpj2t+h/tjjYEgIj7zvX30CpPAZi6aUNe7mi7ju9e74e+xuE71jVM+Xue5bTJ33U92vo8Uu0JetbPowZMMCtQpR900EHp4IMPflw69thj0yWXXFK1n7DrBCbM1j/0oQ8NlPPNb34zfeELX0g777zzQPr85z+f9t9//4E8Ue9ee+2V/vIv/zLxi8i1Efl1rpm4+eabq8gLbedgyqTB5ECbcMoppzyu/HPOOaeK8pDHoT+u+VV861vfSp/97Gcr/4k//uM/ruofDs2E8tEYHaOf9TP6o3EBE/0DEQYEg1inIxei3bxDi5EPNvnA2FTXcNr487rr17mgBpJamQLyQd77daHoXhz5QB8Ok/rvHcm1wzP/5/nrbYv/4x3vRfu0aXOkACtRt7M6RSdEigXLaD3inrO8cbTqVyu65fXU6Zw/G83XfjM5HUIbhE5xH5/lfN+qP5363462rcobD/eCJvXzqAETHDP/7u/+Lv2f//N/WqYXv/jFCSBwdAMmwkFSeUwHJ598chWZwVdBuu222yrh/fa3v73yK8jr/fM///PKV+CJT3xiV2BCRIZIDQBkm222SUuXLk3hv8F5My/b9Xve857KAbMOJu6///4qZPSGG26oTB7aAcAMF5hAP3Sstyf+9wyg0C40LpqJ/oCK3DZf/4Hm/+fCIoRL/jy/rjtWdtJ8eLebiIWhDpYG+HC4VKf/lUk4hND2fwzyIRyiv7kwjf7mdIl7Ua6yQqAos5v2a0cc3b7TTbm95Ik2RzuazsqMI6dD1DVWwUT0K/re6uzb5XQMmuTn4DPl5ffjOsptRdvIM97OQZP6edSACbN6Pgz57D+/JvC+9KUvVe3vBkzk79JSTJkypYro4PQotNL6D8uWLUuvec1rkmiJPL9rkSL1e09+8pPTn/3ZnyVCXjindSGsF2E2/4//+I9V9IWz/5V/4YUXpn/4h3+o8nsnEiEtNJTQ5udgbQn5I7pElMZll12WaD+8s9NOO1VRHuqSB1BBg158JuRHP3Ss9yv+R3/fQV6pgIn+gIkY0Oo/zlb/AwUxC2v1PL9HaMtfdzzL81Bzq19qGlCHc7DMhUA+I1e/9jLfqK8XmsRA3yQ44r4yu+lL3sZu3+mm3F7yRJvzb9XqWplxAFy5P4cyoi/RD//neYI33O+lfSOdN/oVfW911uecjnm/XeuDPA7lAbT1PFGucka6z6Ol/qBJ/TxuwMSZZ55ZhU9yxiTsTzjhhHTooYcmkRrtHC1D0DpzRhTWKTyTgD/qqKOqco4++ujq/49+9KPV2f/K91w+60fkiYNkRHM4i944/vjj0+zZswcAxXXXXZc+97nPVe8x6dDc0K7MmjWrchgtYKI/gr4fP+AY0Oo/zs3xP1U/2zqhnWsC+tHPqAOIyIFEPuDH/V5oEgO9dx11f5EQPMqMNjSd0STXnDS9s+L+W9JQ0+uv+mHH9kQ72/WhiU+8U3+vXd6oa0s8B7/ob97+nLfqfZcvf69d3uCxvOzxel2nY/w/LsCEME5gQsgnPwZmgxwkdHv9ohe9qNIQ0AxYhEpoqHdFfjB10DQ4+59mw/MVK1YMzPRjxi+fZHEqq1UKwZSfJkC4Z+SLM6DxnOc8J/GhEJVCO1EHE8JK20VzyF80E6MTgMSPcXOegYgQ1GZgES7XyvwRGg2ztLDLb86BMwZ0bRxKPeHn4JyXUxeo+bP6dZQR36IJTNyx6bfrukS+wZyHG0wwlxF6kX47037syqHxLM7jyQEz+hxn3z54D48AkvEszvFd/V/nlfH6f9Ckfh5XYIJ5w4qWwAThHakOJuK+c/6M2cEiU01gwv1uwIR8EnOG5cWtI6GuJjBx3HHHVXlyMAGMMHNYRwJYKmBidAKFbgac+o9yuP+P2RrhEr4HvdRBFQ58bA5NRu4vEmBnt1Unpb3Xnd1V+s71pw0M8hH+SvOS093/jqBD/iy/Rp/60QQmvr9mYhpqGm4w0UrgdQJSuTDNabGlXTf1A03iaNWnpvcib7zbiraRZ7ydgyb185gFE9ZY4Fz53e9+t1roiZCnCWDmEGHhPvOBGT8zB9+ED37wg9X9L37xi9X6DXwkmsCEVSd/8YtfVPkPOOCAyneirpmwPsPXv/71qn6LTUWaMGFC5QDKf4OZY++9907f+9730q677ppEkkS+OG+//fYVYAgwoQ/qEp0R+fmEuEcD0WqdiaKZGL1gI4Rg/cc51P/NOjkiAgFW/Rvqkfs0DMcAmpsUcq0EMNHtEWAiFxp8SvL2dRIYkTfyqTu+iXvxfCTP7UBB0KqVwGv3nv5EnzsBrZHsezd1N/Uj54tW5TS9F3nb0TbyjLdz0KR+HrNggiDfc889q426ODgCEoQtAc7cwZmRCSIcMJkagAwbey1atCi95CUveZwvRa6ZUA6hLn84ThLYoZkAQoAUDpv/63/9r4EEtLzrXe8acMC02ZflvZUzadKkak+Nen4gQnRKDibUZSVMoMb7+uSeVMDE6AUOrQaeGNDqP86h/E8YmmkDE+FkN5Ty8ncBk1b96PWe6JE40CDeByauvGdNVynARN08kWtRABVHK2EbdeYaEmXFN8nbFXlH4pyDAt81XxI6aAhEMVvlKb59mK7yZ67DP6QTmHjZ/G+nh3+zqW/pxofuGOCHbugd30s/fGeLhTnnYKLe97z/6NTqedC2He90076xlCdoUj+PGjBh/YNOYYvWYHAQmJ3WmchXwMw7HSCgHhr6spe9rBLmNAVMD9oCDEQEhygIwAMACVBCkMufp7lz51YhrsCEpag5bXrXOTQdfCls5OU9QECb9GnGjBnV/h3yt0q0KEw0sdGXUFIgJCJBOoGJbkJDfYcop0Rz9AeU5IIs59XBXgMSQIQUwmKwZTW9x1wylAGy3uehCG3AIY7QKITJJH+GHq3aTDgHnbzvnRBOTe36+qoJaahpMGaOaKf+Rtui70M5dwMmhlJ+r+8OFkzk9QSwyO8N9rqAid+PhU00HBVgQuNEWBB2nARbJUDCglCOoYAJWgTbeB944IGVzwHTgvq+8pWvpJ/+9KfVfeYFmg3aAOYSG3DJ89///d+VeUL9tB120lROnphPvAtMPPOZz0wiPOzRscMOO1TaCfete/GDH/ygMpOI0AiHSqGqtAqt+u/eLrvsko444oiBaA7Om6I8DjvssGp/Dn4Y2takmUA/dGwqH/19hwImfv/DaSV8hvteK1t90w+2m/siNXIB2c07g8lT903oli6tQE4Ixm7LyPOFVgIQCJASa2bEzNSz/J38GngIR8R6aGpTu/rlgKlt/FVCwxDfKfqqH4RmU9J+B+1MU54QujlN6tc0E/08ugUT+JyjcA6yor++/W+fN9MntFbo1I4+yqnTZLz+38QHowZMNDWw1f2hgIk8miPfm8O6D2bihH2eXvCCF1TrSdTbkUdz5Pnz61e96lWVJoOQ57jJTJI/p/kQ+WEvkF6OEPa9rDMxmPKLZqJ/oCIG/V6+U6u8IUTblRcDZwykrcpxTz6AgeBqOnqdseUgR7lh6lBXPji3a3+0Jd4JMEAbofw43A/ny8ib11G/DiDhftTf9N7ND92ZhpraaSYALqaMupBEM/3Ut3r7W/1PQDqa+tHqnVb3Xnj5LqnfqVU74p5vxZRRP4DCXngyvjM6Rdnl3H7cq9M8/h8XYCKEr/NgwUReBuINN5iolx8fKL9fv96cYIIpp4CJ9j+q4Rx0YgYd332wZ0LIQNt05EIlF7z1/Gb70T9lNh1mzJGvm3MIN+URivF/3i7lxCDfVK/7+Tu5cA0tAy1FXPcqLKL+vI5u+jdceaL+6H8Av17b00Tf4WrnSJUTdHEGsALwDvY79/reSPV7NNSb0z6/HjEwEVuQ2457MMms38qVTAnU+gRt066hHBWZB77xjW9UiYlhv/32q6IoqP2ZD6j43bdXB1MFh0w+DqGZIFztwbHPPvtUERreY/aQX8TGs571rCq801l/lP9f//VflVnB/9/5znfSj3/84yq/PUEsvY0GNBMAjvIXLlyY9thjj7T77rtXJhC+EfplNUymF+0/8sgjE18J9zuBCfRBJ/4lvdBYfknIqjKYbcoW5JsfWMQsOv+B9nJN4BhsYrbf6t36oBnCtp6XIM4Hrvrz/P98Rp+/03QNqISJpEnYhTB1lidP+bNWdQApjtw0ABC1ytt0r1MdTe8N1/3QCOk30NdEJ/1q5TgY94IGNBxxr36ObzFcbe9HOcAD3vWt1RffC53y+j2v9zf/PzQ/6JTfz6+jjrzc8Xyd//bz6xEDE9ZVIEz5JAwmEXL2zugGTBDKfBYIelEa/Az4PKxcuTK99a1vrQT7S1/60molSg6RTBL+174cTMhvDw4RGS9/+curFSvl53RpJU3tYcrwv/Itty2f/JbZ5uMg/9SpU9Pznve8SlDnYGL69OkVuCC83/GOd1QRJ0CDKJP/9//+XxWuqh/hY9EJTKAxOnH+7IXGkd+7yihgYvMDiRicmoR7/qNtug7B0/TcfYNmzOLbaUMMppEvhHNTubkWI/rR7blJSDYJB+U2vRN1anfMVLU5QFY87+Yc9Tu3yv/0OZ9Mw5Fale0eABH0939Tn9t9w6bvVb/f1Memto2G++iTtyO+Fzrl94Nu9T738n+9zLz88XjdRLu+gwlOgFtvvXUloAipwSYgQiKMaQsIXeGfHCm32mqrqg7agVtuuaUCDR/+8IcrAf7KV76ycpykCRAF8b73va9aa8IMfubMmVU5fBiUm4MJ5a9atSq96U1vqoS6Db1oEtx3tkkZfwhn/ytfVIh8QAwQIoKDdmPatGlV1IaZ/1ve8pZql1Hl2IIcyPijP/qjtO2221bRHu5PnDixyu+ZfgA1yglHUXuP/Pu///vACpjoof1oG3Tqhc7eyfP7XpxNOx3j8Yc13H0mQAYLKGgIuhEuMUvt9D3l62YfkPq6Dr3QJAb7ukBrEg7Krr9jdl7XPORanrqWpZv2Rf31dsW7/XLAjPrqfY77+MU3r/fXvXYp57HB0CfqHy3n+F51wQ90oEOYifB0/E6a6ON5aCyA0jpvjZY+j1Q7msaNvoIJAtbsnLBjmhiOpCz7VSjbmg3WamBOsAgUs4XE3OCsPgAjhL21GeyfQSgzV9gPwxFggoNkrpmwNoWFqpQngoNAbwcmbrzxxiqferUn2sE84n9n24ALMQ0wIdKjDia0V6SJcvL+2CcEkKiDCfQYbhprQ6djpJh7rNU7WEBhcAyh0+lbDffzwX6DaG9daDcJB/Xk74TWxOCfD/qRRz8Ho6aO+uvtin6OFjAR7dH30MbUaRF54hzRL2gzFK1SlDcazvG9fPdW7Qk+0WfgN9f65PnRMYCEvL2a8PKyxuo1urQ6+gomCMzNkQCJPKmDIP/yl79caQvyXUPzfHEdbQoCNYGJev54j6BtpZmI/PVojje84Q2VA6f7kUdZNBOtwETkAX6sdGn57DwqpA4mIn+0bzjOQZt257H64xmpfrXzfWj1HcYbmMgHfTPtEBDO+TPX8azbbxnCqROYOPn2S9PrFvxX1+mTK44c+HTtojnq7Qxw1NQe+euAAj/k5aAB81UcYwVI6GN8ryYwIU8nQIFeOd8MBoTm9B6r18E/9XPfwES94vx/wo5WgZnCfhWuCcT8kMfiTvJ0k4R6Whab0CVsY9dQ5UZdeTmcN6POOphg/tAuebTBkZczf/78ZBMwPhNh5gAUor0cQJk8+FVoz+tf//pq+/MoU179y8EE8whApI1RL98P/eCDwQQTyYqZdicFNvL80Qb15H3tdB350Um7uj3G6o9npPoVAqRb+hsMqaz7fZgRD5ZG0ce6kIw+tBrQ453IQyjmYCFU/toVs/VenQxDONXbFf0MzQQwEfe6OW9OMKH+HFCgT2y1navu3R9LQEK/43u1AxPy5YACcAjNQ85TeKYV33XzfcdDnvjd1c+jBkzwI7C4EwBw+OGHP06IcTrkoMg3oJv0oQ99aEBbkIMJfhLKr5dh8SoC35GDiWc84xnVtuPyi/iIyAu+GMwjNtj6t3/7t2rZbM6KASaADeGj3vn4xz9e5dEOYML6FvYB+cQnPlGZO7QpBxMWy5KHf4TytddqmUCF+k888cRkpcpIIjx+8pOfVIBC/jPOOKNaGRO46IVmOU2UAyQpo9tjPPyQ+tnHXjUTBkCAot9Hk8DthlYxiOdlEIhxuK6XE+/IUxeK+bvy5eCqPlOvl5v/H8Ipb1f+fLSCCW0ErHKfiHy2jWZjwUci/xau43v55vVn9f/xQYBM9IiIF9d8K1rxXL2M8fw/OrU6Rg2YIBA5GFoy+pOf/OTjwASBa6VHArmbZB8LM/e6ZuKGG25In/70px9XhugNgteRgwnahqc97WlVfpEZ9t4w4+cEyRlTW57+9KdXq2WqK8AEcHDllVdW0Rz1PEJOtY9G4bWvfW2lgcjBBFACUAAy3tVe7QZQaDtoKOwL4iwBNuinPPntSXLrrbdWvhh8PNwbTDrvvPOqMloxTqt74/kHtjn6ngsBg1zMlgyGBk1gwyAazmUxQ88Hylbfabjv9Trrz2kVwCAX2nFPP/K8+bW+tqo3hCiahLYi7uWRLHlZra5DOOXtyvONdjBh1cycf+KbWwgr6JL3Z0u/ju/VDZjglIkO9QO90G1Lp8Xmbn+dbvH/iIEJgvG+++6rIhmo8w855JAqbNOeGGbI7klmxoS3mTmnRwJbEr4YUQcEpXuEMIHqvr05IjEv2KkTABBR8f73v7/KT2D/xV/8RRVt8Q//8A9V1IQ6aSiYIgAbe2QAE8rnz3DBBRdUYOPiiy+uIibcB1poEtT3xje+MS1fvrwCQ9aHiFUv5VGWPNrIuTNfAbMOJmJ9B/lpMBYsWFDR46abbqpo5sxxM8AFLUWAJ06anEOFoXIs1UaJr4UojaBLnGMjsQAwcV8Uib4AJsBLp2NzM/F4Kj9m2ASqAbIXAUDQ9vOoh+n18p0COITQVlYIwW4EQ15XlKXvob72PGjpfrd7ioRwinbl9bjuN5gILVVTe/Rxl1UTWq4KGWAz5wmrR8r/toV7bfHC028jtAuteMZz/QQgWkUn1emjLHwCWAyFt+s8M1b+z/kovx4xMMGPwCyfk6T07W9/uxJ8hJ9ojLh/zjnnVKCjDiaYFmL77X/5l38ZAAc77rhjpfK3BkMkZTI3CBslmMNZ0sxfPSIlRHlYFMr/FngSDWFrcQtYPf/5z6/KB2DstWFvC6YLgpmQBl4sYqW+448/vgo5BQ4CTMRaDRauksf7/B6awATNBS2NBazkd9amoEmcCXuAgnaiGzDxgQ98YKDMoI0zIAVQoMd22203QDeLZ1m8SruBsE7HWPmxjIZ+GMSAgsEMZrnw7PTNhvq8Sbh1S8MAAFGOswOI6qXvuXmH4K3XH/UoOzQ89Tz5/9GOaFf+zHUOJl5yxe6p29Stz4RvGAsn5d8o2gMsER+KPGYAACAASURBVI65Q2WeD/3wj3K017kdyFQOAdqLKahOk37+7xtqcx0c+M7AA6CkP/XnQSMAQt7gMeWFBivyxBm4VRf/kz+e86nH8VY/+z0a6gq61M8jBibMmjkcxqx55513rrQPwi9POOGEgfuEuZ0x62ACQFCGGbiZuHLMzK3UWJ9F+/+9731vZY6I+pyb9uaw+qUQVj4KtBmiL/L36tfWdACMAAiHcw4mzPiZUfhQOCxmJeS0CUzUQ0MBFGtS1OsFKmhSugUTNDt2S80P7QTAgBv0OOiggwbaX5bT7t9iVcM9SOTCM//ew3ndq8Bv1cdoZwhJQk+5uWah1Xv5PcIjtBne9X/+PK5jBipvCNl4Vj93CyaGQs9O0Rytyg4g1AoY6J/77WiHNsoAuNCqfrR7t06jkfxfH+pHzo+t+gYs4Ld23x644FPSBCxGss+jpe463eP/voGJELAiBZgu+ABYCCkEZBOY4BjJ6VB0BmFIVc+sQXNAkBL21m9wj/mA7wAfAgAiEsBhVs7MYAZOiKuXiYNfAH8MYMDuoMpnalm8eHEFJlavXp3e/va3V+WHOSDaHGeranJW5CTKdMP0kIOJiPJgPtEmzqY0D92CCTuLapM+8s+g6VB3E5igJbFmBvqgk/ckWgh0RH/fwZGDCfSgodEPSb//7M/+rNLAlOW0tzxg0TQgxo9/qOfhEDx1MGHAbAIDTYNpABD9aTezDu0FunSqYzSACUINfSTXuRBEe+ABKKg/a6JTq/toonzlKK8TXVqVMRL3CP2gjTNwEVoG7QGqfGd+NWg1mH55x7vKxw+tNF4j0feRrrNp3OgrmOD7YPtvPhEWXHrNa17TFkwQmnwOmDG23377ypQgNFJithCxYXlpmgnrL4hisE+GSAkrW0by/89//vMKvFikyqqTyuaXYKVJM3Czc86KyuaISesR/ghz5sypyrfAFD8K4CCAhDMAokz1AUUASA4m1EWY/9M//VOVR51MCjQptBocPuXPQ0PzFTA916ZTTz21MjkAFO3AhDBVQIDJAp3QZvLkydU1OuorgOLIwQR6aE/QjRkH4HEuYGLLAxMGw80FKGKGPNSBTTkG6lbOlL2UTdASqp3ekacbwaI97dr153M/l4YjdWpveb7l/e7G+jcbFWCC06WwRj4IBCLhFUK5lWYiBL681Px8DcyqJZtzWabaDN/KkFT99sPgE2ETLVqESP6nBaHiX7ZsWQVAlB2RGsongAldZdMuWGMh1mng36F8pg9aCGaLaLez/zlpAgiveMUrKq1GDibkibq0iRnDO92CCeYWbdJ+gAIwUWaTZkK5+sSXA520XUI/dHz2s59dbXJWBxNo4l390E5Awr0CJrbcAY3gJBiH66A+bjf7H+sDaenflvtbKN9ueL5d01jSV80EAWuGSzgRrgQW4SaZQfOXAAgI9bhv1k/wMmFY+4DJQ+IsSbDba4NqHlCxGBPNBJNAvO8MKAAxK1asqMwRQk/z565txAVwKFukBAABTCiTv4b7fB1iQ68cTETkhXIsNiWf/KFpyPPm14S1tl166aVVfk6UBH3dZ4JpRJu0Xz+8oy4gSqQFoGHPEyAt7xc/jR/96EcVbdAemGDqsenXbrvtVtWpnehqI7H8XddABdoXMDE8P8KRHMxCLd40EHR7f6gahJGkQal7y+fj8g1H/hs2jRV9BxN27CSczJxtIMW5UOJzYGttQpy9/7jjjqvuU8sDHWb+QMLHPvaxKjFtKAsAiL02mCWEbFLhR7nOAAyQQWgCEvvuu+9jnsvD18KiWco342daoJ2gDbCHhvucOIEas/UcFAAAfBO02QJTn/nMZ6r8dv4kuPO8+TVAxfFRZIry3/zmN1dahzqYsAupNjEP6Yf+qEuEBU0KzQXTCqCR99tuoyJKAK0cTAA/wEPQEhg7+uijH/Oucpg8fKcCJkb+BzxcgyizwlBMH1T/w9WWUs7Y4avyLcfPtxx1YEKYJV8FQq4pEYJWmSRwcyHsmgCkxZCnnurlmdkDAmbaZtwEZT0PYfyud72rqkceJg1aCcCm22gO7eDISQjX29vL/3Uwob18NYAq/eAcGX2u96P+f54vNBP1tiif9iV/13vvec97qvU8CpgYewNF7lzGWQ1IiOR/vgVhzgBAIhLCQNKNz0ERLmOPZ8o3Ld8UDzQdI6aZCDDR1DCCjZlBCCgnTICCMA1BSFsg1FIkhtk54UczwXHSPeGkNB0O/gLWhyCQaUPMwmkcCNBIwIPFrJgBrHS5dOnSKuKhGzBBY0J7wOTg7P9oZ7tz+CjQdqg3ktBUglwf0IEJQ5ssmkWbAEygjX4zDUUfWp31U9I2K2mK2Ki36dBDD618SfK88r/tbW8r0RyzywBiAAEgeLU7AmQU4VJ4o/DA+OOBahBo8WdUgwkAQSgjnwL+BxZQCkFonQbRICIPRGjIS91vgad//ud/rsI8CWEHkLFkyZI0b968ZBEs+3+IlsgTLQmzCTMJ80EI7G7WmQjHS+UR+v6PdrY7W5xKP0ShqDeSdkZoKjAh1FWb3AdymF/0lzOmcNa8H+2urWzJwbLeJn4gr371qx9XjnUnSjTH+Bss2gmIPPyuXb7yrPBN4YGxyQMtcER1a9SCiWgwwcncYF0Kpo0QhIQc2z9tA1MIoQtMmH0TgpwRLcDkiGfWVgAOrF7JlJAnAvWss86qtBHqI6wd3YAJvg+EtPKc/R/tbHfWB74LtB/alid90W5HOIJ6Hvc9E8qqn3k/2l0DL3V/D+0LWtbf5XxZojnG5oBQBvryXQsPFB4YDA9UQqnFn1EDJvg/AAw0Ea2STbMsThXCmbqeb8OrXvWqyhRCuAIeFrkSxWCJaOCjXtYVV1xROWEyGeTJzJwzZz3/7Nmzq4iRqDfOT3nqU9Jf/tVfPqYM5QnHfOof/VHVzj962tPSM5/1rPSc5z43/dUzn/k4rQAhHutM5N9GXwCHoAdTBhAB4DDdiMDQTtEcTCPRpk5npiUmlLzfriNiBniwSFU8L9EcZbAZzGBT3il8U3hg7PJALqvy61EBJghPizJZgIq5oVV661vfOrCnBqFpPQlq/pkzZ1Yze50ibK0yqSz7VggfrZdlASsraTJ35AmQ+NSnPjWQn8+CZGdQDoi0DU/4XXrik55YrXFhISzml3N+l1wfdvjh6W8sbPXkJ6WtttoqHXHkkenMs89Khx5+WHrms57523Ke8IRqxt8EJoAi62F85CMfqdojUgSgADCYfPRBv4TGirboBCLi+ec///lqw7O839psUzPAwfoVokbck5hs+KkUB8yxOzCUQb9828IDhQd64YEcQOTXowZMMEkwT4Tg63SOvTkAkVaHdRkIxno5eTRH/p6ZPgEtP+AgFJUJhUB93eteV/kTWENim223Sa/fZtu0/Ye2r9Z9UP+vf5ce/c2v0+p1a9NHPv7R9Pptt02f+sQn0o033JAe/fWv05q1a6sVO5Vh2/GXvexllb8EzQoNRH4ADfwngh6cLmkjrCdhhc5YtKret07/l705yqDRy6BR8hZ+KTxQeKDOA7msyq9HDExQrVtXgSC1psOee+5ZreFA1U5YUsfnyWqXVPAhMG0AxqnSvhucJeugIgcTwAHBbD0I5gwOj/JzzBTBYA+LSy65pFoSW16zdGYSbbKUtnpoCmzHvWz58nTN8uVp5fWr0x2/ujvdv+nhdN/DD6b7Hnwg3fPA/Wn9nXemFatWpquXLU2r1q1Jv7r3nsr8IqIEYFGO8pRL40Ab439tQAtp1apVaerUqZU/BRoI6dQf0RvAxJ/+6W9XwESn2G5dtEsrf4igl7MIGFErUU/QnhOr9TDQqGz0VQaP+uBR/i88UXig8EDwQA4g8usRAxOcAYVEmqFLlrzmvEioWeyJ0LMYVaQLL7yw2psjhCMhyzfCnhj2zGgHJpgCbHIFMBDmQkc5NQq9tBAU7YBVJbWHRgKQ4KPBjwNYIXQJ+0g3rFuX1qxbm65duzotXnVtunT5knTB4gVp5sL56cLFV6VLVixJS1ddm1ZdvzqtXbMmrV23Lq278YZ0w+/KUJ4IDduHhzkDyAlaWNXTxmSiN/Qf2OIr8Xsw8acVcLDHxowZM6p+AQpoGvSpnwENwEPYatQTZyAC7QuYKANGDBjlXHih8EDhgVY8kAOI/HrEwARhRwvAb0CKSAMzbLN1ERWROB8S5EwbISTl9x6zBUHKXwKgCFCRaybM4GkjgANl0kjITysRq04qj1aE8+Fee+2V7rhjY7p+7fXV+gwbNm5MG++4I92xcWO6beP6dO0tN6QZ11yZDp41Je09/ZR0wEVT0qHzpqUTr7oonbZoXjrusplp/1lnpF/MnJSmL52flt2yLt20/ra0fsOGpKwNGzekW2+9Oa1Ze30FKKzIGVuS65P2vvGNb6y0Edqr/7GuxG81E39a0UGIK20HUCQ81rtBn/oZmAiayZeniNooYKIMHq0Gj3Kv8EXhgcIDwQM5gMivRxRM1AWe/4EJM26ggMC3EBOBaZ0FS2jHOzQZNvkyi//e975XOWEK47TaJcGbgwlOhIcddlhatGjRQD7hmMr0vhBT5T7hCU9ML3/5Kyp/hVtuuSndcuvNacMdG9Mdd96R1os2ufnmNGP51emQ2eekQy6emvacfmr62UVnpgMvOit96+zj0uVrr03r7lyfFty4Mh0wa1I6YNbkdNy889Ohc6amWUuvSitvuiHdtv72Ckxs2Li+AhQ0H5a8po0BKCTaAzuiAj/oQIOxZs2aau0J/YjFu/iEAFn6bF8P2gX9oGHh7xHlOXMGdR+gCBrGGYgAouxPctJJJ1V0R3tOrjYuozWxX0qnI5itnMvAU3ig8EDhgbHJA01yYNSDiQkTJlTLXBNoBF4IQJEJ/AqmTZtWaSYsec3kIVLB/h45mCBArefA+VG+SBa9Ei5pZq7cJz7xSZWzJR+GdTesSwQ+gX77xg1p6Y1r0pSFl6afTDs17TlzYjpj0aXpZzMmpSOvmJkmLZ+fvjrxiHTZ0kXpjvvuSRdctzB9e8ox6ZgrLki/vGxmOmv5gvSLmVPSpAVz09I1q9JN629NGystxYbKhMHsIgqFKccmYZwvmTdoJYAJ27Yze1iQSj9CA9EEJuw/QvgrK0/2AMn9ToKWQm5FbzAD8dcAJCQbi7kH7HAA7XSUwWNsDh7lu5bvWnig8EDwQJMc6CuYIKBio68QZPVzrpkgSJkwzKjr+Zg8wqchNBY0DDbBil0282gOav5I9bLi/yc96YmVwLa/Br8GWon1GzekZTdcnyZcOivtPeuM9MvLZ6bPHP+zdOCcc9IpC+elA2ZNSdOuW5j2OO+UNPWqy9Ky225Mx82/oEpnLpuf9rlgUrpo1TXpB1MnpJ9eMCUdf8mMtPT6Venm234LKNQTpgzmF32O5KO5jr05ov1xzsGEfodmAj2AKfT2foCDpr05TjjhhMqPJPLlZ+93ewSzlXMZeAoPFB4oPDA2eaBJHvQVTDA/sPkLtaR6Z6oIQR7nOpiwumUrMGENCQtQmTUDHBwoOWRaL0IIZa6ZoHmwlLRVLplGWu3k+ZSn/GF61l8/M31o++2q2Tlnydvv2JhW3XpjOuvqeenAWZPTj6edkvaccXrac9qpaddzjk2/mDs17XfB5LTvhZPTf808NX3n/JPTT+eclfa9YEqasGhumrBgTjpk9tR0wAVT0kcn7J8OnH12OuaSmem0BXPScv4Yt99WgRZgQgKOmHSYYICMABe0DHwotF8/aFoACit5igqhxbAaJvOIfUxoGtBFORw90V1CJ2Gp8uSJVkLdfDP4X4haoZVwTxu6PcrgMTYHj/Jdy3ctPFB4IHigSR70FUyY8dpAKtTntusOEBHnbsGEMM+/+7u/q4AJnwl7Wdi3wkZfdZ8J0RwWmAI+LHIV60lEnc7PfOZfpUMPOyStWs3v4u60DphYvz7NWrYg7T3jtDR58WXpoMvOSx87dt80a8WitOeMienjJ/0svfbA3dKHjvtJ+u5Zx6YfTD4ufeuc49MnJvw8veFn30ifOOnAdODcqemrU45KO59+aJqxamk6f8XC9NMLJqezF11WmThEhVhXQmKSsLkWPwUbk+mLg4C3qZn2Aw18JoAJq4ACGKJPaB2ACiYa9ADYAAfOnaFpACzQXp48MbMAEsCDVTWBMuYUQIWWp9sjmK2cy8BTeKDwQOGBsckDTfKgb2AiGhBqdwLSXhi5QHfdLZgQCSJZf4IAjNl3qOVzzYToiMmTJ1eC0cyfoK7Xa8nrKWdOqYTqww89VAn6a29el46ac2466KKz0xdPOTjtesaR6fszTk0/v/z8tO2B30zP+MHH01b7fjEddMm0tPHB+9LdD92f7nr4wXTaosvSK/b7evqT7+yYXrH/19PP5p6bJi2bnw67eFr66sQj016zJqVDLjqnCh9ddv3KysfjwQceTFPOOjO94PnPr1a15NdByDuCZtaq0A/90X6AAg34QfzHf/xHBUjQAT3QhUbna1/7WvV+Xk7QKs5BM86uIkRociT+JwFo4vu1O5fBY2wOHuW7lu9aeKDwQPBAkwzoO5iIhpjxmvmGup0jJPU9wfiud72rmkGbRROG7nlGOEb+OFsjwkzczD1PnBiZAQhdM/lDDjmkWruCQ6Fls73P5GFdCULZHhqHH3lEumHN2nTnvfektWvWpmlLrkg/n3NOmrj0srTPrEnp06f8In135qnptT/bPf3J9z+WnvzND6UX/mTndPil09ODjzxcLU710KZH06TFl6eX7ff19KRvbJee9r0d0yv2/Vr64ayJ6YunHZoOvvjcdPbSK9MRs89Np8+fnZauvi7d99CD6f6HHkyTz5xSOZnyfaCdsHS2PglhZQZpWgFT/zho0szIDxDQWgAdIjKCLgCcpbrzA5AAIlavXp3mz5+fPve5zw3Q2K6rHEM9826nI5itnMvAU3ig8EDhgbHJA01yYMTABKFm5i08U/rOd75TgQaRCnwpgATJRlbu8XOwJ0Xkj/MFF1xQ+QKI9siTDbTsKQFMACLAgzDQf/qnf0qHHnpo5VNgD4+tt966cly0KdcLttoqfWKnndJ169ZUK1wePGNS2nv6aWn3yb9M3z3nhPSFKUekj59yYPqz7340Pfkb26Un7/bBtNXeO6cjLpmeHnz44fTQpkfSw5seTVMWX1FpJp60+wfTk3ffLj39uzum9x7943To5TPSSVdfnPa9cEra5/yJ6afTJ6aFq68dABM0IyJWaBusEGopb32y2idA0QQmAmgJ7ZSfCYgzqvtARdAFOBBmmh/AxLe+9a3KvGIfkqANn4sPf/jDVeSLsFURJZ2OMniMzcGjfNfyXQsPFB4IHmiSAyMGJvIGEWid9uYAKvgF1A9+ABHNUTddtPo/35vDjFy4pa235SXEX7ftNmnRsqVp4crl6YAZE9NpV12c9jt/Yvrh9FPSl844PL3mgF3SC/f6QnrBnp+v0lsO+k6acOXstPH+e9Oau25Pdz34QJqxbGF65xE/Slvt+YX0vCrvF9Ir9/16+ulFZ6VDLz43nbt0fjpr0WXp4DlT0yXXLU33PnB/ZaLgaPnc5/0+/DXaX/bmKD/k+CGXc+GFwgOFB0aSB+oyOP7vG5gAGCQOmJaQFn5pwSVHN2CCGcRM2cJTeWLOEKVAw8BpkAaDvZ+pwPLRNBR214xttpvABEDh2Uc+umNasfK6NHfZovTLy85Py267Ia1ef0uatezq9OPzT0vbH79POmDO2VUkx8Fzp6YTr7woXbLm2jRn9bL0k/NPTwtuWJ2W3rIunXbVvHTw3PPSQXOnpQPnTE2fPv2Qan2KxTddnzbec3dad9eGdNrCuWn6kvnptjs2pBXLV6QTTzwxvfFNb6r68fznP39gPQlmH1oU2gKbdcWiVQE29JcpSP/1N5J+W3Y88pWNvsogNJKDUKm78F/hgS2fBwI81M99BRMc/jhd2vKa6v3Tn/5012CCqYNzpvDHPFl4is8EfwHRDO9///srYWtVR+p7wIUvgAWt+Ec0gQnAw+qSq6+/Pt2+cWOauWh+mnj1xenGO9anu++/L624/aa030VT0n+fd1La+OC96f5HHqo2+Xpg08Np7V0b0l4zJqa3HLtHOuLS89Mt99yVHn700fTgrx9NDzz6aLr74YfSUVfOSv817eS05JY16Z6H7ku3/uqONHXZ/HTmgovT4uuWp+0//OH04Y/sMLBglcW6AChAwFkorfBX4ID5IgCCs2gV/Qay9DfAGlPQbrvtNpC3gIkt/4dcBuPyDQsPFB4YSR6og4j4v69gQohiLFpFQArRdHSjmciFZ34NBDBzKJuToo27OB5aj8HmXsq2q+h73/veCmQ0gQm+CmeedWZ6+JFH0t333pOmX3V5mrLo0nTTnRvSPQ/cV+2v8cPzTkk/nDYh3X3/PemRBx9Ijzz0YNr08ENp7e03py9POSpttcfn0g+nnZJW3n5z2vTwI+nRRzZVZzuKHjN/Ztp10lHpqhtWpnsfui9tuOuOdP7yBWnKFXPSlUsWpm223Ta9+73vqZwdreDJORUgyvvKUVTK77nWX/3Wf/2V0EOoZ76fSQETZRAayUGo1F34r/DAls8DAR7q576CCULOSo0cI5vARDgThvZBBEd9Jk6ACn3kVEnLYQ2JJjChwyJHOoGJSjNx+OFp9Zrr0/o7NqYZC69IZyycl268a0O69/770rW33pj2mzUp/dd5J6U7Hrqvit54cNMjlYbiyhtXpe1+uXfa/oT90ruP+GG6/ObVldbC8wc3PVyFjB59xYz0nXNOSAtvWp3uv//etOHODencZfPTOVfOTUuvW5G23+HDVQIiaBgmTZpUOaBaSyNSaCaYNXJAQTNhqWzvMR9F9IewzgATQAhHzrlz51Z55Iu00047VftycHgV9RL30RZQ8b18t05HGSi2/IGifMPyDQsPFB5oxwNNcqDvYKKumYiZdDhgsv2LHmCykL7yla9U/g658HT99a9/fUAw8sNoAhPKDzBB6DZpJp7KZ+K5z0k7fuyj6dqV16U5yxam466Yma68YWWas3JJOvKS6ekH552cPnPaQWnS0svTOddcmc5edmWatXJJmrdmRbXq5e6Tj0k/mHZSunD1NenCVUvTWcvmp7OumZ/OWnx52m3qcembU09Ix10xK82+fkmav+7adOrCi9P0RZen2zZuSMtXrEgnTpiQRFRYhIrZIrYgD1p06zMBEIiUycEEmgEFgEn4VMT56KOPrupSn9DQuM+sBMgVMFEGl3aDS3lW+KPwwPjhgVEPJqzsSK0vlDF2DQUELKdNqNXBxH777Vep8YGISFaRbGfmeMYznlGBieOOO656xwze7DuiOZ7wxCdW5gbRHFevWp72m3VGOuCCyWnPWaenysQx87T0ugN3T6/ef5f0ygN+m4R8nnz13LT27o3pultvTCs33pbOWXZV2v6YfdI/HrBLevkBu6TX7LdLetUBu6RvnHt82v3sY9Mupx+R9j7/tPSzOWemi65dlO697770wIO/XWfC2hfaI8pEtAkaRP/uvffeagMvzqRNJg90smiVRbvqZo46DeP/2JtDfTvvvHNF67z8sQgmPnvt0en8OxenOzbd1/TbKPcLBQoFCgVGHQWMWcYuY9hIgLgmgoyYZoJg54Rpti1ZZ0IkRiswwdQR0RneoY63/4Tlp+N9Zyr8r371qxVAsJ7EPvvsUz1nOrBQFeDAT+Pcc8+tVswkbN2vduPceusKzNhZdMnyZWnF9avS/uedlvafNTl9/9wJ6eeXTEsHXzy1iuZ4xnc+kp6y+3bJOhIv2nvndORlM9LDv3k0/XrTo+mhRx9Nk5f8fp0JC1c99Ts7pLce9v1KO7H3RZOrMvefNSntMXVCunLVsnTfA/dXi1bNmXtxZY6xFLYtyO0iql8WjbLGxP3331/1+c1vfnNFO9uMAx5hGop1JkS3WDYcfVzHOhNxtiCWd3MwsWHDhgq85GACsJF3LK0z8eoF30/z71nd9Hso9wsFCgUKBbYYChjLjGn9BBVNxBkxMMHub4YdK1nSPojYaAITfCwsg201RytjitR42cteNvC+cvhZ0HAwCxDCTCHuU9vTRti/w3La1P9m/PajWLduXbUhlsWvmBi23WabdM3yZWn12jXVBl9HzTsv/fD8U9PnTz04ffH0w9LPL5+e/n7vL6c/+t5HqgWpXrTXzumIy2ekh37zaHp006b0YLUC5hXpZft/PT1lt+3S0769Q3r+Xl9Ie140OX1t8lHpu2cdn85Yclk66crZ6ZiLp1XA5b4HHqgWrtpw5283+hKZYkM0i2xp/y677JJuvvnmatMtS2rbwAsNADDrb+QrYLovugXgQh90ci9WwXS2x8dnP/vZjmDiyCOPrCJhxsoKmH50RRPRNBSU+4UChQJbIgWMaf0EFE006juYOPbYYyvnSWCiVWLqABqEkdqxkpnDPap2/hMOQMAy2zQWeRlm6XwyrPJo1035PafxIJzN7usHE4K6Vq1eld73vvelN7z+DWnpiuVp7dq1aclN16dfzD477T/3nPSNSUdXYZ+7Tzwq/fd5p6a/+8l/pj/+9g7pb/f+YrWc9n2bHk4PPvxQuufhh9IZCy+tVsCkkXjO3l9I35p2Utpl0lHpsMumpxMXzE77X3hm2nfWpDTvmoVVGOd9999faSceeuThtOnRR6t2zp49eyCaIxat0m8p9tQQrSJUlJ9J094cNDWR37sOS2NzxgzNBKDF5GMBsM9//vMD99GMxgKN4t06/fL/+4mOB1NX0UjkX6tcFwoUCowVChjbBjMmDuadJpr1HUzYPMp22nambJWo4kUXxK6WP/nJT6pZNhPFHnvsUfWDYLMbpjUm8jJoIIQ/XnnllZXJw4zec7P0WbNmVRtqBSGUYUnvNWvWVNELs+fMrtZ5+MhHPpJWrr0+3bDuhnTzbbemcxdfXpklmaQpyQAAIABJREFUDrn43PSliYen3c84On118tFp92kT0jsO/2F65U+/Xv1/8uJ56fSFc9PJC+emb587Ib1q/13T2w7+ftr7winpB+eeVGk1tjtm7/SNs4+tNvk6/tKZaeE1S9PK1avSnXffVWkbFi1elJYsXZIWLFiQ+DHQxhD4ASaAAs6k1pFAHzRglmnaNZTZ49vf/vYALTll6nMdTCiHiYg5yJLlATLs6movE9oM/hSdjsEwZr/eYV8sR6FAoUChwFilQL98KJro1zcwEQ0gyJgacrV7fk2Q0i6E+WP33XevhCtVu1lyHCI4Vq1aNVAOVb6QRjZ/oAIo+elPf1o9l49Wwgw7DmCCz4RVNa0c+bptXpdOOeWUyuxxz733VJqN9Rs2pBU3rk2nzL8oHXHp9DR9xcJ08KXT04eO3Sftf+HZabdzTki7nH18+vbZJ6Svnnl0+sLEQ9JXJh6evnnuhLTnrElp7xlnpJ1POzR94Li9048uPCN975wT0/6zz0qHXnROmrdkYVq1anVau25t5ROx3Xbbpb990Yuqfm+11VbV/hoREhtgwvoTfCH4MaAPMw5zjpBQ5h1mHvf5k1iw6uqrr64AWNASQNHnOpig+bHipsTMFGDCHikWy+LDYbGxTke/gMFg6uGwVI5CgUKBQoGxSgFj3GDGxl7faaJf38FEU0PiPsBA6IVAo44n/NodgIHEB6IezdH0nvz53hwWrSIwzf6VY6lv603csv62tHjNdem4y2amE664IO097dR04Lxp6YzFl6f/njEx/fTCM9P3zz0pHXrR2emcRZemfc8/Pe0564z0g3NPTr+8bGb66pSj0nuO2SN946xj0s/nnpMOPH9SunjxVWnpymvTbbfcWoEWmgYaBnuDRL/zc4AJgIjpwdoPnn/5y1+u2smPgvmIk6r7FvHiY1EPDY1Fq+pgIq+r1fVYiOYovhJNv4Ryv1CgUGAsUMAY1yswGEz+JlqNGJigbqdd4Bsg8VEw87ZaJZPEG97whiqZfdux0gycScIBCCxfvrxaG8F979I6AAF77bVXevvb315FIDCRRPmtzva7YNYQHRE7kvLTUA6fi/V3bEjrN25IN952S1q05ro04ZIZae8Zp6epSxekCVfMTqdefUmafM389N3Jx6R51y9Py9auSj+ZdnLa9Zxj0wGzz0r7X3RmOuTS89JXTjsk7Tn9lHTQhVPSxUuuSktWLEs33XxTumPDhgoMcLg0+4/VLYEKfh7MOOjAj0EECjrsueee1fLZOZhAt6lTp1ZLhssvguO8886r3gkfCGXznwCYlIOuzE2tUtDeQl6cYscCmGj6AZT7hQKFAoUCY4UCgwEHvb7TRKsRAxNs/wQ8lb7Etk8rQZCbUYtYYP4ADkQlRDiojgATP/7xj6stul/72temAw44oNIoAAJm5EwiIhYIzCi/1ZmvgZk+zYCoDkCGZsKy1Mq5+bZb0u13rE/rN66vrq9ZtzpNWnRJOnbOeemw2VOrxapmXrc4HXvx9LRm/W1p3frb0h7nn5q+OunItNesM9I+Myem/WedkfafMTGdcMmMdNmiq9Kya1dUa0BsvH19Wn/77ZXWxWZlthsPMEHDoG36sHLlyiSqArBghiDgOZXmYEKbrUHBnCO/aA7+EkI7mSpizQgmDBoY9ERXeVsltJcADRE3BUw0/XzK/UKBQoFCgdFDgV6BwWDyN/W2b2ACAJAIPloJzoBmyWa+El8HCy0R5J5HlIVZtqgNdv0vfvGL1TOAA1BwTzQDtb73JIDCu8wUzAChtud/EHU5E9j27yDIzey1zXvet/gV08HatWvSLbfenG67E6DYkG6/7bYKdFy59tp04vwL0kEzJ6fDZ9s5dHaaee2idPG1S9PRl85IB82blg686My037RT09EXT0tzr7k6LbpmSbp29cp08623JL4YgMRNt95SOVTy7QB2tEnbmDGEqcaiVXYT5bsQzwN0oAdtDXppd9AYPYCOABFo4DpoAGCIkkFHKWgW76ODZE0OTqAFTDT9fMr9QoFCgUKB0UOBwYCDXt9p6m1fwQQBxbTBUVKUAIfHWLrZMs4EuygFJgZ5CTdCD5gg1DhLciqUrLFAK2HBKTNx96wvwcGQcMzBhJm8WX19i24zbw6fBKpDfd6lNdHOu391d6WhWHfDuqpN2rVm3dp07fWr0vKV16Ulq65Nl127JE1beHmaPH9uOuOKOVU6a+GladaKq9P8lcvS0hXL0jXLllVRG5wtaUC0jd8CwMJxdIcddqg0L0ELWgW+H0JctUkEzD//8z9X7adtAAqAAyuFzpgxo6IZUBFgwAqYAEAAqQATAAYnTXRjAgpaAi2AmPeDDq4LmKjIUf4UChQKFApsERToFRgMJn8TIfoOJs4444wqGoFQs/8E4SrZT2LrrbeuwIUZdx1MAARU7jQREt8BoIRAFL3gntn7qaeeWqn8czBhUaejjjqq8rOI+vhZyBNaiSAQzYn71roQMnnppZdW6y8AGAAAU4J6V6y8Lt20/rZ0+113pBtuvSUtWb48XbV40UBatGRxum7VynS7PTLuvivd9au7K5CiHOs58PWgkQCQmDNEuGiT9gEt1n0IbYN3aG34ieiH1UMBBBoMAMF+GzQ1NBRAQBOYoOW56qqrqu3av/GNbwzQcvLkyRUICzAS5wImgivKuVCgUKBQYPRTYDDgoNd3mqjQdzBR3+hLwwgvoY1Wc2TXJ8iBCalpbw67YdJCELLU+mbqT33qU6vdLQnfHEwQunwj+BWoK8p2Bh7ywz2zfKGlTA80AtOmTat8C6zFYJnrN7z+9enf3v/+dN6M89OK665NF1x4YfrAdh9M277h9Wmb129b7e9hS/EdPrpjumjexWnF73wQwheBs+Tb3va2qnxaCAAFcNAW9Ycwj7P7Ek3GlClTHrfxmf5ZtIqGxTs5mAhTh3NEc/BNyRetOv744yuTStQddClgIueMcl0oUChQKDC6KdArMBhM/iYK9B1M2C+Cen777bevTBUaRgCKrKDuN1OndQiBdtppp1X33vrWt1Yz8FDdf+ITn6jMJBMnTqyiFwg+24xT3xO4BKT/YwYPTAitJJCZQ/hrMBHw3cgBhbYQtl/4wheqFTGZG2gnmD2s5/DJT30qvfu9760W1rrissvTrTffkq5acFX65Cc/md7znvekN7zxjdXGZE980pPSy1/5D2nOvLnppptvTsuWL6u0JjQLhDqtjBU3RVswM2gDAGQ/jrPPPvsxifZFu2lRmIdEnuhvJP9bDTM0GQEm+FjYJVU+baNpoRmyvfmuu+468P7BBx+c0DHqRRsJQPnXf/3X6ntZ0KrTMRjG7Nc7ndrey3Prg1x00Zx02mmT0sEHH5H23/8X1dn/7q9f//v1UHopt+QtFCgUKBQYCgX6MZ42ta+vYIKgFqlBjU+dT2jHwYQQJgjX8oZgd9+qlswZASY4XxKUFnDiMyGCw8wfCGBCefaznz0wgw/NBDAhSsMy26Ia7H3BxMBfID/M8OVjetBWmg4mhHvvuzetu/GGyv8h7j/8yCMpFrmiYRB2aZEo7aR1EPb54EMPVn4TVvFkjrFxFi2HNqsnNAqABB8QbYvER0J75QM49IE5RNsi+T+cNdEswIR+f/rTn67qkVc5IjmYk0RzuKcNQIN7UWecTz/99AEfFv4bnY5+MPJg6+jU9m6e33jjTemoo46rwAMA0S4BFvL36witUr/qK/UUChQKjD4KDHZ87OW9pl73DUzUG0DoEY4iJ6SYVbvvOu7HmfC27XiACVEPzBoABeFp1k7o01gwldinI5L/zciBFKGQH//4x6tnojls8CUkNOqpnwGNXHNR74f/DeQAgXdpL4R1qhswAHC8z8+CA6j71rUQjqrN3gtBQDNAkOujtSb0T359AqjQRl5tUlf4SNRpKcxWxIY9O770pS9V9ajLNZD1rGc9qwIT2u5dmqJW27zTYNDIqM836XT0wpD9ztup7Z2en3fejMeAh4MPPjydeeY56ZJLLh9IAEQdYFx11cJORQ/5OaAJRNPideLVwVSGRzhHH3bYYYl/DZ4dzMEPCK/xifJbbTrsjrvbbrtV2jvaunL8lgK+A38rq9tK+WRsS6MRPuUDph/8uOoTui2tP6Olvf0YV5v6OmJggnAi3A1SklmyQUoy6MT9OBO0Fl0KMCE6w9oLZvnABDU8E4rZt+3HCfJI/rfPhMWwREYYzDzjD2G1TRqBqKd+phHpNCvni+EH4V0CmAlD+bY3B4IAAH4YTDjuWyiL2YV2ggkDMDBQBJgAJDibWltDfo6T4ZCJZswu6qJVCLBDMzFv3rzqPvAhAoajpjrRRmLasKDXO9/5zmoXVUzRDkwwi/AX8YM3iHU6+sHIg62jU9vbPT/hhJMHQAIQsXTpssbsvgeAIV8Ai+nTZzbmH44HTHXMbH4PTHfDffj+b3nLWypN3mc+85lBCTHC44gjjqjaiHfbHZ7ry9FHH13xZ7u84+UZjaRxgDY1kjFkSzxMsPieRT+YYI3/wJEx3oq/Jk/l6J0Cgx0fe3mvqVUjBiZoA+wzwVwhEXSYiVMl+33cj7OZs6iMABNMHpjSjN+1fGbcZk8EN+EaCaNiXiYG2gGDlGfCMgEKs/Wop35mqiC82x3aYAVL7wIAhLrygZCY0dMiMPG4zz/EIlXaKzyVE2kOJmgklEN7IT9/CYOxGRvhzvShLhoIQh6YOfnkk6t1M9xHJ9EvQAnNRvSJX4U+o7MyHe3ABDMJrY7N0sx6Ox29MGS/83Zqe9PzXCNB89DtDIrfRA5C2gGQprp7uR8Cn//McA7EACtwDEwwJxLywDte7OWI9vmd0E7wRaonmkfACNgnaPSlnif+t9PteDn89kW7ocm//du/VVpWGtX58+dvcSQwGQJI9cXETz84pBvHhOkHwNhSgdJIf5B+jKtNfewbmCC0ImkMwWomHuDAolUEJ0GX780Rz+tn0RzKoOIVzeE5h8NjjjnmcSpUKlXOmE9/+tMrswjnTG1Rn5k/gVsvP/4Xbkrj0e7g0Ck80zvO/m93KE+5TDXWlggTRmgmtEe7tM8RdDM78SMj5NXVtDdHtL1+jmiOvG3KbjJzxPvjddEqPg+hXQAkej0AjxxQtFPtN5Xtm9OOEcbtklBjM9d99tmnCjtulxf4JaA6HYAEEA5A4DuAGFg34AMW2tbNQatGgJiB4kFhydaJUVaemCI9V74JAsdgpjmRXnk+14TQeDmMcTYCtMw9M+pwHb4n3hJOP1jTVa9tMYH0fTme138PJpLGciYu5tXNfaifppqGeKwc4wZMUPezk3HsMyBgmhBYZj4GD6GjZihUXRLHQML1aU97WuVYGfcxHeBgoPnABz5QhYbmYMJAB7kDDvJ97Wtfq2Y5BDDmqYMJAtqqk1F+nL1nWW/5m45OYMK7gI8ICe0xEAuD1d5WYALIeOELX1jNRuTXXoxPA9ENmFAmmhAEQlyDxgEmmFUWL15cgTblW8SKSQSN+XtE35/znOdUfhvjFUwcddSxFZhgsuhWI1HnERqKACS0HL0etGqEcMzYhuNMkOOBdofF42gkAIncF4PQiVmytU1oEtodJgeAhN83gEMjCSDUzSV+I0C2fKH5IDhpDo0V3YCfdu3Ykp8xhfoOHKU7mVx76WdoArrhh17KbZc3eOfnP/95u2x9eaYNfk9jSQsybsCEAcHswwdkWsid/qxwySGSGcKPhqlCAjhsesUHwH2RC5LZzUte8pLqHY6GBGYOJsyGAA4OmrQFlqQGZDh0EcyATa6ZULedN6P8OJsVACZDARPqYpJh0tAeQIIpowlMWBMCgNIm+QEgphCmiW7ABAAkSsVgbKCogwkDkhBaZUv8M6yq6XsIyw3aG9jH694cwj8DBAzVRJGbSnoFJQEm/A7wtG+XJyC11f08T1zTgAGK7YQHXrWpnG9fBxIxwgMUfJA8B1gB01a/D7NLvhzKAhQiT5hO2MdDu+GZvXo4R+M/h3smAuoRJTVejxD6YwFMhAAvYGLzcPO4ARMGKkKdzZ/JIU/s/BKQYcAzC5d+9KMfDQhVM5q4v8suu1Q+B/GeM9BhHQeDqzBNNjl1iGxgQiCMI1JEOQYtNtyICgF0DG55ivrye/VrGhAhl9ogVNWsLj+AKPciZJTgpgUAgvhk0Hyoh68IbQDhz+dBHu1nJ+brAPzIA4yoCw2AHf1iGtJ/+YEoAzYAwonSPflpfswk2S3zRav0Xx7A4qCDDqrK055/+Zd/qcocj5qJCy+cM6CVyL/lYK5z7USvwCTARBMA8NxaIBZ3E7HT7gAqCKSmsqiZgUlgn6Mu4R4AoF5uTAz8fiR+SPX65XGf4zPTSm56cR8wzu+55iic3/Mu803cB55G68GPJIBbJ58SmqHI6/fbRGd97QVMoLnJkrI7tSHKbeKHzUHn4QQT+hcTw7ytaImmQd8mLVy0pWgmdupp6/Kc1vl1X30mgAne5oQjH4ZWyUzHzNoHtvgUwcheaJGrb37zm9V9z1y7n5fBOckS1cwoEyZMqPJ47l02ZYMdIMBOGAtb0W7QEAAcBKyye01MM/pkESq+HwR5PjjUwQQNgBUwCYGddtqpaqs6mT+0g+MkTY0BXfvRAwgDJPwAmDDcNzukRvajMuhSS7uPZieddFKlnra7qnuSOvzA6mCC8AAc0J4wQRt5OYEyf4xHMBFhnsI/h+MIk0mvpo52YAJfhdrYPjc5z7Vqs2/fCkz4XXIa9vvBC3gZD3c61EcgxXvOIqPq9neDOYGl7KEm9Y2mAw2AH+u51PtmMkPYxYHOnLlb5RV1pW/5N/QbrJcZ/9e1FMY2AI0WKPI4803gyJ0fIUTzfHHNpGZyE5EjfNPwWasjfDmYokx2mo5O3197HMHrEd2RlxdtdmYqYwqLNgdPaCfndrSMZ840WzSx+DJ+A/nz/LqfwCrv33BdjyvNBMaCGv3IWiXmBZ7a1OuSiAXqWYzG5s+3QeJoJuwSYynHmWAVjmm/Cj4HfgieqQ8jYTbv+DErm6CMTbMIcJqAKD/O0Q5n9+Icz50J3QghVVe+/oPBQb25ZsJMjh1Ue4GcF73oRVW56tcOmgJ+DAZ07afqZaoBNAAJGgf9NYAo2yClzqCnH5qlwGl5aC/k9SNCe/nrYMIW5+grWa8g+sl3g8llPIKJCO0U5jkcR4CTwThyNtXPbAcEdlq3oel9vEljQODEoGuwrmsYmt6P+zQaBmuDtnKACh76eNKhnnymiBfriQbtXe96V2Waqz/zP7Ck7BAcUfdInznw6bcEPPDvQEPa1brAD2Hp9++b0RTKG8IPEGAyiqNbMIH+/FfQxwTEgnTKDtCiXIAnDnXK2yqFICeUPWd2avKLiTxMcO20IMMJJvjTmTDmbccTxjWhx+6jL1DgW8hvkhUgAS/5Lvn7+XXkC1ptaedxAyZ88BB+BphWCePm0Ry0BYQfFT8wEfb/2JuDII2EaTEKgc/fQChkvQ5gxQ8k37Miymx1zvPFdT0fh8fwkI+2RD/9z7SSgwle2RbPYj+3PgXzQpTtnEdzaD9wJQ/wQ8MAHNT7lf8PTAg7pd1gl9aG/DkQE2YO9aE3+rJx06zU+zcewUT4S4xWMAEc0zoRYp3WbWgaEPkP0UYZTAkezrh+GzQTvSYglDbQ70+bCEI81+1BwIUga/VOCNYcTAArrYDHcNwDzP1u2h1MLtZ0adVffTdu5VoaZlVmRMI/Pwjib33rW9V3aKUJ0GffqA5OlGGcCeGqDGNDHJ4FCGsFOKPcVgLUOIwX1NuKv/QrtBdARbdHABnn+hFgqxUfxHuAlzHK+InGvpF+xrt14KQOefRHvvyIMvHWWDnGDZjwUQlVCJKgb5UMkJg4BFoTmDD7oZJXlv0qlI3BCUZImWkAs9fr8MOj7eDUyKMc6KCdAEAIavfz5Adshk/ocgK1CRnfDW0kZLWT4PZDPuCAA6oBmWDWHmpATp3uM8tY70H+ABNAhgGd8Fen+vlR1MGEWYU8Zj7KMeDU+5X/b7aqHH4QVtvMn7n2PpNK9JOzZmiLhInF/Tj7BvJ0OvrByIOto1Pb689Hg2YiBvt85jRc1yGY+EWIMvLbGUp9IQCU4zden6nSxJkpNiVC2e9i7733bpnH71nftTGOobS3Ex2DPlFXq3MIMBqVbsxCxoQmgEVgaxNB6beYH9HPVm3i2O33bvbdarVQoIjmCW19l/yIcluBCe1kNtEmWuC6II6+GwebNBd5XXEdAnywYEI/ci1LlBt90Z46WIs89XO0pYCJLdBnAoOy+1uwiRBvlQjoiM4geJvAhFk3c4ayqEgDpZoNEOLCNQ1A9Trk56TphycPB0hmBYDBzIwJIU9sycwY2sJxlG8Cs4sfP42E+97nFKkuERvUz9qjfPtxuA9IMBvkYMLgQjtBI6A96teOHEz4AXCGlAcaN/tjwqn3K/8fMAKQOHECFPkz10wmgJg6JYMXYCO5di+ngboNSp2OwQr6frzXqe3158NtlhiMz4TBv5WGwOzMbJg6t2kBKO+1ywf8dvNNgy4x8Bq0ez0IIgKpkwDv5nlefwiQbt7rNU8rwV3vdz5757sCSA3mQB8OptrYqt7oZ6tnfKO810rga0tO+7rQjHJbgQnv4j/Cm2+aMTU/hAurl6bFWNftEXw0WDDRCmypO0CV3wWfL2NrpyPaUqdLp/dG8/ORHEv76oCJ6QhDCzblPgftrmkXIE0/XLOael6+AbQZypbYewlEDkEQOeGdJ+YCQlteGoRYtMqeGOyfDoxoZqUcNkzLcasXeBC5QY3KPGFNBmWH0JYHWIGcDdSc0fQ18oiokEd5ypVHPX7w2hOLVgEn4TOhDcw30Sa2aJoQ5cjHx4LWBHhwr13iaCovIAakKVsyCCpfch334wzMdBPS2A9GHmwdvQ4AEc3B3NFN39uVP5Rojnq5+CRU13xp/N90AMIG11aq86Z3mu7HwJsL86a89fthDmDXr2ssIq/yQ7sR9/KzAZ/wGkz9eTnDeY32hCoaaxttqXb6vTQdfl/GBxpCYbN8HLwbqRVgCKFff8bMs8cee1Tv0mq2Ap7uRR0AT35EuU1gwrei5dU2i03F4b5vCWj0uohW8JFz/QhtRys+iPfagSYa4JyOwpHb/XajzAImtlDNBAFLfd7E+PX7NhYi1NgC2ebqz6n+5fHDJpQt8CTywQDKyzgHEq67ARMiPiLaA/L2w1EvuyO/DYM4JydARpk0KQYSef7zP/+zGijkIbBpTwhw2gLOk/IoT7l8IdSjPu0PMBGLVmF2ZhKqaHmACiDmc5/7XFUOjQmnTUBCW6j46vTJ/+foCYDwvRBJomzJj9iPTvnoF/fjTHhF7H99AMj/H6yg78d7eTu7uc4BwFD9JoayzkS9rUKeDbYEUTv1MoHG+bbu1Fcvr9v/Y+AdjDCPGS61edOh/FZCpCn/aLkPgOeRMIQZjZHfd+6/oL38tfweQ+AR8r4jJ0ErfrpfBwzeC6Fff+b3CghEeZ3OaJwfUW4TmJA3nCyBlnCoje/ZyfEyryuug4/qbfG8GzDR6r0oG1ADDAI8oYdrE9hWoCLaUsDEFgYm4oMT+JjSh+8m+bEStAEW6u8oK2b2nvlxCr0kkM3aBwMmRHzQOtAkWBvC0r2YkZMl7QQzRF6+hbYgdHloHKw1QQtAyAMSNBdCUG1Hro3KU67y1aO+HExos/fUoRyDSCy5HdoD5RiEQksBSAAcdfrk/1MRMrcoG22ULfmxccqkqQGG4n6c7WlCm9Pp6AcoGGwdndre6nmYOg4++IieTAJ5WfmS3L2GhebluCY8QugIC/ZtWx14CUg1mPIR8vvodOCddst2h4MgXjGzbpX4RbRqk8FaWwitwfpM5O+NxqW00ZhwNrkJoU4zGvZ7WkiTEc+YGOtAMAR7HTD4bk3P0JovlTIBtU6Op3WtUJTbDkwYE2xMGD4ZeCt8KXpxvAz+CwHeChQMFUxEHcZhWgm0jG/hd+P3kx/RlgImtjAwgQkj5R90qNdRprMfF+RP1V8HEfF/N5oJghtoIMxjbw7lM53Y9Ao4iPKc5QU05AnAkT+X33vitx0Yvd3eHPm7roWZmdXkfXVNVcoHQn/1Owbyer74n+Mo3456+ZxWA0wAHPXn4zGaw3fKgYA9NlrNbtrxL+0GIMJUMpQluaMOAunQQw8dWEuA4x/hXlerE/Q0EvwpLODWzREDeQy+gzm3EoTqDjAxmDJbvcNPYLQefmscwtFf28M8EEtiE8wEdP0Iwd6Khu2exTojTer/ej35/1FuOzABJNHy6gvwECarABd5ed1chwDfnGAi2mHiBVQzQ7VyQI22FDCxBYIJH9ePCuNbWGk4EudLMxU/4hxMELC8nCHSSOpzDc3ndbvHfBHCHsI3aPPX8Iy5Qn4zC2s9mNnnApewJYTlESUR70W9zu5FvfK4J3/c93/cVx8NC+fJHEzonwVo+Ih4V/+YT3IwgQ6cRNHYDMguo53ABBMNlaX2WUkx2snRkxZmvIIJgxITR4SJAhQEejdHDiS8v2BB+83fuikz8gAPVmsFJgzy1OrWeeA4y4xIkFHvAhXdHptTM9HUBmYAGg/tZeLoZOYI4TfaB//c/BBtjba38hvx+4zZfq9gIvxihPj6/r0c7dqUl0PrShgbq4y1Q/HDCQHeDzChD8by0FDob35EW0YzOM3b2831YDW3vbzX1I6+OmBCuRyWzOT5EgxHsow1wRnq/9BMEIAEo61tI/FIBmaEoTEPvPjFL672ITDrp3aMxXqYTvwvv5DId7zjHVV+23HzOciBhGvmAM+U6Ycm0sO7Ua/IiIgK0WcDvXLVy4tbH7zLpwLD80+AqGPvktBMGPCBA0JeOXw1wvEyNBMGJvRQJh8JoANt3G/STAAkQBJ6WOwmIjk4iqpjPIMJP5zc5wEwuPTS3zrYtvpRARHTp88cACABRGgoPBvOA7gEHmI4tdJ8AAASlUlEQVTRo5jFE869AIlu2hQDb31A7ubdVnmEUuJZvxcCF5jvBCb0SR9DQLcqt5/3Yttsv6/8MHvn16Stdc2ECQDtZRx+l7kmo1cwkZtPALMwq0T5zn7PHLfrR2hLOmkZwhFTPmbQwTheRt3BR8MNJmjWQjscdTkbY7W7lWYitDpAUmh183e3xOteQMFg8zbRpa9gwg+HYyLhZHZPCNtPYjDJu8ogVAlMZeeaCep/ZgD388Q/4bOf/WwV0cDUYAOhCH0MhsrzC8fEiHUAwXTB56Hedrt08o3IywCihIsaXOQ3oHCkozb3g+aToC8cRoWTao9lx5///OdX+Q0wyjQoUGvXzTh1zQSNBCBhnw9ranQCEzQgQIP6gAkDksRJk1mIf8fJJ5/cxEMD9wfLnP14b6CRg7ygWQhgEGeaCn4VwIPzUUcd95g8TBs5ENlcgIImCk8FmHDGMxx3g6cH2e2B10IIDBVMaA8wAFADPVTnfivK7wQmJk2aVPVxuIHSQCd7vAjTEGHFf4lfh34EuLNgXGiycqGv336j8vOx8Lv3fnw3s+n8QPOmZ/LRHKCdPMqm4Yy2mIi430p4mzDxtfKcdlIeWs9WztYRCipvK+1K3t521+poak/QsxUftHtPfUEj/ZVX/9E0tHexnHbettDqaA+tc6xIWvetyN8Z7dcjOZb2HUzYxwKYAAasqeAHN5gkkkEZyqKWNyC1AhP5x5eHbwCBrE6qfV7KnNQsfsVXon40gQmzeQtY1duOacNZMsoizAEBESDyQ8QAQx1M0NgQ/tqjXdonv/4ZfLxvuXARHDm4qYMJ2gsAS1n2KekEJoSVWcFQfbvvvntlI2UnpdnZddddq7JarYIX/YtzPxh5sHVEG4dyJhDCKTMARdMZiAhBYnOvyDccgAIfEwSigWKwZOqgKhftkzsBes4kElq3wfY/BvPBggmA2gw8VM5W3MwXelJ+LkRo9oCGSAATTQbQZE2B0XDwfaDtI4zy1BTNoU9m9nleQhxdQhj2qpkIOhhfRO/kZbvWFhoLz1sd6AvYxXsmEK3GQSYUoEk+wGKwR/CRc/0YCpgwOQsQF31x1jfjfSt/Jzxp3Kcdi3eMtcMFwOv968f/gx0fe3mvqR8jBiasdfDud7/7MTN4g2S3iZBVRg4mMEyYOUIzoeN5mQRrJAK91ToTef4mMGG27oeY53UdgrtO8Dxf1J+DiQAHNBT5olXeE0lBy+BZ5MvPdTAR5edn5TSZOThgEk6c9cIBU11WRqSh8G43Ry8M2e+83bS/2zxAAk0FYJEnm4IBDgEi8vKGCiiomoXkAeMx2zQAhr8EQRWH72VwBQ5joDRjtVhbfdZLDWwW1ykxDaqPb0+nvAbviBywiJzQ7RjoDe40E/UBuw4mQgUfg3yc1U0IjKZDX40ltId+LxFC2aqNvo1Qd4AIbYa7L9pC8FP5+9bt2hLtk0deqWlWHmACoOjVNyPq2dznoG303++wG/qimb53m39z92Mo5fdjXG1q34iDCQ3DBHXB516rFPmBCSaDABPe90OA7GkNaD3YYSN/vXz/GwCYMAjvfNGqaA9G9KO3qmUuvF0HmKgq6OJP3hflStrbzd4cwARzQ70N8X+ACeAkryeuo+/W96hHcwANsTdHDiaUbd0L9t9uj34w8mDr6LYPmzPfYAAF/gvtQwhUZ8KZ6YlAajp8/zqoEE2QR3jEjDgve6jXMbvW9jC/aC8Q0aQhqYOJVg6hfBT0qRz9p0CYOYZjAbT+t3781DjY8bGX95qoOWrABPuVfSfMnlslqrpQrxlQ6mDCPQibil8khhmc2Y2D0BaXz9YXZVM3ipgAOjgx5mACSmU7pC42C+TTEII7zr2ACW0zgHP0UT9bHk2A9gI0/EgAH6YG2pZWmol2YIK5h48ErUL0r37WX+tf8PPgI8G0oU7JjFeEQAETTT+T4bvfK6Awg8eLZvQ0DRz68E4vQlVeoIIavO68mM9KY3Y61LMZHgCrXip8dfu/3VEHE+3ylmf9pQDAah+joThe9rfF47e2XkDBYPM2UXfUgAmrLYomMHNulTwDKBwGqVZgwn3hZgZbP4BQtVIrAgVMBXnZoiXCkTMHE+yLb3rTm6oIC5t7tYrg6AVMGEitUUHlrP6wDbtPWPDjIMiphwGXXsEE7YI2WpAq71/9GpDgOEqjg5ZsvhI60ZS4DjNH0Uw0/WSGfn/VqtXVuhP8KJhJOh2+zVg/8OBYUDOPte9kfIqoByauJjPIWOv3ltqfwQKEXt5ros2oAROWn41dNWP2n58JRrNtRxOYyDtpADZAARUcimxWw4+CIA1wYBVIJhGAwZ4aIigcwIQNuoRLinIAOLSFBiPycwBlonCY3QEx6mqVgBuaF9ESyoHw+WLoh8NZElmiHcJE3/nOd1Ygw307eW699dZVO7U1Eg1D7M2hjXG/6cxxU37aD86Z9bZqk1X74n3e85yizFSb1NNVB373pxeG7HfevJ2j4VqYKCDRyjFsNLSvtGF8U4C/FNNUOGfylcgdZsc3dUZv7/sxrjb1fsyCCWp7G3dZAIrgFN3wox/9qFIVW/6aUCdcqe88ExYU8d+cqHjGUy9TDRPu8gMiTB/MFRzBOK85aBbYEtXVKllhThQGQNQKTCgDaFC/doja4KlPo+IAWn7xi19U0RUiLCKxpdM2WKnTstxmDvGs1dkOqfrsHY579bbSVginjXdpf9BOe4S2djr6wciDraNT28vzQoFCgd9TgDmM7wxtKvMaf5VyjH4KDHZ87OW9JiqMWTBBu8DhkPDmoOjHwakLAGDycJ8mxKJR7VR3eTQH0wb/grra2doQtvVWZjeprplo+jhN90OT0bScdv29yE+zE4CmVTvRg4Yo8ou2iYgZfh2djl4Yst95O7W9PC8UKBR4LAWYOOpj3WNzlP9GGwX6Ma429XlMgYkQgjo7FDAR5ThvbjCR1xXX9Y8V9+vnVmAizxPlxL1ewAR/jgImgoLlXChQKFAoMPopUMDEb35TzYiH4jMRzoyiNpgULL4S2oImzQSfA6vP7bDDDpUWg9bBwcxBtWfNCs6SfC3M5HPNBGdFJgALV4nBZxYRwmnBKfk5RXL4ZP5w3x4i0b/QTGzatKnaMVSkhXKYE5hM+GAIq7Mkr/tMHPwbaFDmz59f9c99ZgvbifOX4EAq7M99ixTxcwAiHJ3ABJAhAob2wUpwypCe97znVf4lwm+LZqIiZflTKFAoUCgwailQwMQwgAkCkzMbwUywUs/HSpFNYCIiG0R1CJvMHTAJfEt1KyccNnMwwRnpbW97W7Unx2tf+9pqASsAQyic7caBCWVedtllVaTG3LlzH+eASY0IwFj50t4eHJ44i+qH94R7us8p0jLg/EDOPffcqn/uAxL6ENEc+uG+VTiFnAaIiHOTZoL/h2gTG50JT1WGJKqEw+ZYABN3bLpv1A4ApWGFAoUChQJDpYAxroCJ3+3ZQZNg9t4qCQ21DoWDcGwVGkoIE5hm1HkZwMUpp5xS+UtwZhTZQQATxMACwcmBMcAEgU7ARxRH+BeIxuBjQVBfeumlVeSFZ9oGLAjvdPa/+yI+CGl2R6ABGHE/NBPAhFXzRHDwZaAhCTBhdc2gx0477VTt2cHfQz/0R34gKQcT+qHfNvrSRpoPES3aJfEh0YacNq4nTpxYaT5EnVg+u/4cOIo1PtoxfD8YebB1nH/n4nZNL88KBQoFCgW2aAoY4wY7PvbyXhORRo3PhBk9VTqVPifAerIOhTyOJjDBPHDeeeelI4888jHvi5AARMy6d9xxx/TSl760AhPMHKI1+B5Y4yG2IA8wIUoigIQzIfvBD36w0hRsv/32A4tZ0WDYAtgaDc7+7wZMEPaWQbYCpX5rO3OG+3w+0AMdmE5oJ7RfP4I26gIogJ5tttmmWoDKM0BHqKpwTpoM7WK+ADLQIt53Vi8HUloP0SPMKPVvILLE/U5HLwzZ77yfvfboTs0vzwsFCgUKBbZYChjj+jGuNhFoxMFEqOCd+T3k/7e7Ds0EwR0bfTWVYTEcKz4KiczBgdk9TQOhm9cVYKKumcjfrV/TdLjnHMkOojQTwEFdM8EnQn/rSTsceXtibw7t1w9AwXtNDphRJt8PPhvRLqtd0lDkZUde57ifX8c9505HPxh5KHXMv2d1py6U54UChQKFAlscBYxtQxkbe3m3iTijCkzkgqvdNWFnvQcmihxMNHUywARNRIAAAr8JTDAnMHPwlQhgEO91Okd+vgbAhPUZ6mDCXh/ABPOHfuYC3bUj73+ACT4S73vf+yrnSu92CyaiTU1gQlnRFnVrQ34v2tJE37jfC0OORN5XL/h+Kr4T8bXKuVCgUGAsUMCYZmzr15jaRLMRAxNm/ZaOFn44mGSvCsJ+sGACKAAuLN5kM6K8DW9+85sTZ0b+CACHvTRsetVNsqWtfgVY4R9hcSlmCKtpqlebAYq8TtcWt+K3wFyzbNmyyofCfSYKfg3WyrCHAUDhPnMNbQVTh8gTPhgEP7MJc458FqCKdn/ta19Ltjyu10s7A3B51+EMUFjEiilFWXxBOh39Yuah1ONHVzQUnb5keV4oUCiwJVDAWNZPIGHsbTpGDEwQtgAF7cJgEiBh9j8UMOF9gtjKlnkbLJlt6Wxt5Ow4derUavdMO2h2SqIwOCwCDXwuonxn4CTuqyOv0zXBTSsS0RxbbbVVlccujFbH5F/BEdLmZPKLVlFmHUzsueeeVSQIwMWhkrlDuzlgvuAFL3hcvcrkq5GDCdfao/+cNu1Q2ekYipDv97vsixyWiqai01ctzwsFCgVGEwWMWcaufvlI1MfmJlr0HUwQXPaZEG44HElZHAtDELbqKMdCM3dRHr3WyVQBIHR7MF/QbPRaj/w0AEJAgQnRHDQP7nOg5JApMoOTJpCRlw8gAAo0GuiAHugCBFgq3D2JpiHKzN+3LgXAEUfk1x5lKOv000+Px43nOtOV/3fqm+qx0LrQuvBA4YF+8ECTAOgbmNAAQsq24ASTSIXhSMoSjdDuIJyFfZ544ok91zllypSBPTja1RHPmClEUAymb7Nnz640CHwsrIUPeCnHJmGcLpkxgI2TTjrpMeX7/8ILL6z8HLQDPdCFNuHiiy8eABNXXnnlQJl5+2g9AJU4AkwwbShDWbGde+Rpde4HI5c6yoBZeKDwQOGBkeOBVmO/e30FE02NKPfHBgXKD3zkfuCF9oX2hQcKD/SDB5qkVQETTZQp93umQD8YudRRBszCA4UHCg+MHA80CYZhBxMP/2ZTU13l/himgO9efuAj9wMvtC+0LzxQeKAfPNAkxoYdTCy4d01TXeX+GKaA794PRi51lAGz8EDhgcIDI8cDTWJs2MHEt1af2lRXuT+GKeC7lx/4yP3AC+0L7QsPFB7oBw80ibFhBxM6U7QTTeQem/eLVqIMYv0YxEodhc8KD4w8DzRJsc0CJl58+e4FUDRRfIzdByR87/IjH/kfefkG5RsUHig8sLl5oEmEbRYwEZ2h+iZsilNmE/m3zPu+p+9aTBtl4IrfejkXXig8MD54oElqbVYwUZhrfDBX+c7lOxceKDxQeGB88EABE7PHx4cuP+jynQsPFB4oPFB4YHPxQAETBUwUv4bCA4UHCg8UHig8MCQeKGCiMNCQGGhzodxSbplBFR4oPFB4YMvhgQImCpgoYKLwQOGBwgOFBwoPDIkHCpgoDDQkBiozhy1n5lC+VflWhQcKD2wuHihgooCJAiYKDxQeKDxQeKDwwJB4oICJwkBDYqDNhXJLuWUGVXig8EDhgS2HBwqYKGCigInCA4UHCg8UHig8MCQeKGCiMNCQGKjMHLacmUP5VuVbFR4oPLC5eKCAiQImCpgoPFB4oPBA4YHCA0PigQImCgMNiYE2F8ot5ZYZVOGBwgOFB7YcHihgooCJAiYKDxQeKDxQeKDwwJB4oCOYeOa8Lw6pgoIstxxkWb5V+VaFBwoPFB4oPNArD8AJTcfArqHvWbxfARMFsRYeKDxQeKDwQOGBwgMteQBOaDoGwMSxt85p+XKvyKXkL2i38EDhgcIDhQcKD4w9HoATmo4BMCHDtlf9sACKgkgLDxQeKDxQeKDwQOGBx/AAfNDueAyYWHjvulR8J8YemiwzhPJNCw8UHig8UHhgsDwAF8AH7Y7HgAkZvVA0FP+/XTtGARgEggD4/1/LFlcFbyGlTGWhaSYrLolC9zd0npMdGZABGXgnA+kDrUikO3zKxDSP/BvJZQtfKt4JhQ3uXcqADMiADLQM5NzP+b/dkZiuMOO1TMwCIwECBAgQIEBgE1AmNh1zBAgQIECAQBVQJiqRBQQIECBAgMAmoExsOuYIECBAgACBKnAAZnySBYX6fWkAAAAASUVORK5CYII=)