车载通信测试之模糊测试
1.前言模糊测试是网络安全测试领域必然会被提及的一类测试方法。它有着极其鲜明的特点,包括极低的需求依赖性、可逆向的测试理念等,与常规测试方法显得是那么的“风格迥异”。但同时,这种测试方法又常常
能发现一些核心、严重的BUG,因此其在整个测试体系中有着重要的地位,且这种测试方法也已“润物细无声”地融入到我们的测试活动中了。本次就为大家介绍如何在车载通信领域运用模糊测试。
2.什么是模糊测试
模糊测试的整体测试思路非常简单,给待测系统输入“随机值”,然后监测是否出现异常。
图1 模糊测试示意图这个过程中有这样几个特点:
1)随机值:
随机值可以是正常的数据,也可以是非预期的数据,通常可以通过变异(篡改原有数据)和生成(通过规则伪造数据)来获得。且整个测试不是找几个随机值来做测试,而是不断地输入大量的随机值(可以理
解为无穷尽)来做长时间的持续测试。
图2 功能性测试与模糊测试对比2)监测异常:
正是由于待测系统可能接收处理非预期数据,因此其会有各种各样的表现。而异常表现可以是服务停止、程序崩溃,也可以是资源过载、数据丢失。
3)自动化:
每个测试轮次都是给定输入然后监测异常,而对于模糊测试来说,这样的轮次需要执行非常多的次数,甚至可以永无止境,所以自动化是基本必须要实现的内容。
3.模糊测试运用到车载通信
虽然模糊测试在车载通信测试中很少被单独拿出来,但实则我们在很多的测试中使用了这种方法。比如:
1)CAN通信测试中的高负载测试。
对CAN通信注入特定的报文,形成期望的负载条件,然后监测是否有异常。这个测试中的随机值变量为负载率和产生负载的报文ID,异常的判断可能包括错误帧、通信恢复等,这就形成了一个高负载模糊测试。
2)网络管理中的休眠唤醒测试。
在控制器休眠的各个时刻触发唤醒事件,然后监测是否正常唤醒。这个测试中随机值变量是时序,即唤醒事件的触发是在什么时刻,异常的判断是唤醒行为,这就形成了一个休眠唤醒时序模糊测试。
这里举的2个例子比较特别,想要说明的是我们提及的随机值并不仅仅是协议字段或者信号数值这种很容易联想到的数据,还包括各种状态值(如负载率、吞吐量、频率等)、时序(如休眠唤醒过程、TCP连接
的三次握手、诊断服务的解锁交互等)等数据。尤其是时序,通常是有一连串的步骤,这一过程中不仅可以将每一步的间隔时间用作随机值,还可以在各个步骤本身“大做文章”,比如每一步再耦合随机信号
值。
概括起来就是万物皆可数据化,数据皆可随机化,这或许是模糊测试的核心思想。
而结合车载通信本身的特点,我们可以得到一些典型的模糊测试内容:
1)针对协议中数据格式的模糊测试:
如CAN总线中接收到不同ID、DLC时,是否出现错误帧。这种测试可能更针对CANFD节点或者OBD节点,甚至还包括扩展帧、远程帧等特殊数据。
又比如以太网中接收到不同的源MAC、目标MAC、源IP、目标IP、源端口、目标端口时,是否出现异常。这里的异常又会根据防火墙策略变得不尽相同,比如无响应、重启、发出不可达的错误报文等。
图3 针对协议中数据格式的模糊测试示例-CAN ID模糊测试2)针对信号值的模糊测试:
如CAN总线中接收到不同的信号值(包括非法值、无效值等),是否出现重启、死机等情况。
又比如SOME/IP中接收到各种请求、响应、订阅等数据(包括非预期的数据类型、编码、字节顺序等),是否出现服务暂停、服务崩溃、死机等情况。
图4 针对信号值的模糊测试示例-CAN信号模糊测试3)针对时序的模糊测试:
如上文提及的网络管理休眠唤醒测试。
又比如SecOC或者时间同步机制中,需要周期性地对特定基准进行同步处理,又有其他数据会使用同步后的基准,而在同步时序中出现各种偏移(包括基准本身的偏移、应用数据使用的基准与基准更新时刻的
偏移等),判断同步机制是否崩溃。
图5 针对时序的模糊测试示例-休眠唤醒模糊测试4)针对流量的模糊测试:
如上文提及的高负载测试。
又比如网关节点的性能测试中,在各端口并行接收不同的数据流以构成不同的吞吐量,判断路由机制是否崩溃。
4)针对流量的模糊测试:
如上文提及的高负载测试。
又比如网关节点的性能测试中,在各端口并行接收不同的数据流以构成不同的吞吐量,判断路由机制是否崩溃。
图6 针对流量的模糊测试示例-吞吐量模糊测试4.模糊测试中需要注意的问题
虽然有大量的测试可以使用模糊测试方法,但同样的,模糊测试也有着其局限性或者说不足,如何尽可能地发挥其优点、规避其不足可能需要考虑以下内容:
1)异常
对于异常的判断是一个十分困难但又非常重要的点。困难是在于异常的情况比较复杂且能够监测的手段很多时候是有限的,尤其是需要实现异常情况的自动化监测。在车载网络中可以用来判断异常的包括特定
信号值、周期报文的周期波动、控制器的电流值、DTC等。对于每一种不同的模糊测试,应该需要根据测试内容选择合适的异常判断方式。另一个有效的方法是进行“插桩”,用来突破控制器本身的局限性,突
破常规“黑盒测试”的局限性。data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAA0MAAAGHCAYAAAByJolkAAAgAElEQVR4AeydBXhUx/rGr/RK5d7qrXtvXahQKlAHKhQrldtShQpeXFqgUKBIixZ3d3d3CB5PkEBCQjzBXfr9n/dbzrJZJskmOenZf8+7z3PYzew5Z878vmVm3vlmvvmT8EUCJEACJEACJEACJEACJEACLiTwJxeWmUUmARIgARIgARIgARIgARIgAaEY4o+ABEiABEiABEiABEiABEjAlQQohlxpdhaaBEiABEiABEiABEiABEiAYoi/ARIgARIgARIgARIgARIgAVcSoBhypdlZaBIgARIgARIgARIgARIgAYoh/gZIgARIgARIgARIgARIgARcSYBiyJVmZ6FJgARIgARIgARIgARIgAQohvgbIAESIAESIAESIAESIAEScCUBiiFXmp2FJgESIAESIAESIAESIAESoBjib4AESIAESIAESIAESIAESMCVBCiGXGl2FpoESIAESIAESIAESIAESIBiiL8BEiABEiABEiABEiABEiABVxKgGHKl2VloEiABEiABEiABEiABEiABiiH+BkiABEiABEiABEiABEiABFxJgGLIlWZnoUmABEiABEiABEiABEiABCiG+BsgARIgARIgARIgARIgARJwJQGKIVeanYUmARIgARIgARIgARIgARKgGOJvgARIgARIgARIgARIgARIwJUEKIZcaXYWmgRIgARIgARIgARIgARIgGKIvwESIAESIAESIAESIAESIAFXEqAYcqXZWWgSIAESIAESIAESIAESIAGKIf4GSIAESIAESIAESIAESIAEXEmAYsiVZmehSYAESIAESIAESIAESIAEKIb4GyABEiABEiABEiABEiABEnAlAYohV5qdhSYBEiABEiABEiABEiABEqAY4m+ABEiABEiABEiABEiABEjAlQQohlxpdhaaBEiABEiABEiABEiABEiAYoi/ARIgARIgARIgARIgARIgAVcSoBhypdlZaBIgARIgARIgARIgARIgAYoh/gZIgARIgARIgARIgARIgARcSYBiyJVmZ6FJgARIgARIgARIgARIgAQohvgbIAESIAESIAESIAESIAEScCUBiiFXmp2FJgESIAESIAESIAESIAESoBjib4AESIAESIAESIAESIAESMCVBCiGXGl2FpoESIAESIAESIAESIAESIBiiL8BEiABEiABEiABEiABEiABVxKgGHKl2VloEiABEiABEiABEiABEiABiiH+BkiABEiABEiABEiABEiABFxJgGIoF7OfOnVKohIPSPdFiTzIgL8Bv9/AxPV7ZXtCmvz2Wy7/gZhMAiRAAjYSSM0+IvO3xEvPJXvll0V7WSf71cnsq7i7rzZ9W6acPfeb/MZGuVC1DsVQLtiOHz8hq6JTpfqQaB5kwN+A32/gx2lRsi5iDyveXOoPJpMACdhHAGMuccn7pd/ccPlseJRUH4KDbTMZ8Ddg/Qa6LdgrJ0+flXMUQ4WqeCiGDNigrI8eOyYrIlO8FW69MVHSYlK0fD8lRlpPjeVBBq77DXw/JVZqjoiSj4dES/tpUbI6LE7Onj1LQWSoQ5hEAiRgHwG0ybuS98uvczxiqMbwSGk03tMes01mf8SNfTL87huPi5IvdHAgWrrOT5DjJ09TDBWy2qEYMoDDKNSRY8dluY8Y6r8gSpZtjpUtUXGyOXo3DzJwzW9gE37zUXESEr5TWk2Kks+HRckPU6NkRWicnDlzxvA/iEkkQAIkYB8BjHbv2JctveeEqWeo8dgwGb8iVjZFxmmbrHUU2yTXtElu74Ph9x4SvksmrQiXxuMj5eMhUdJ1frwcOX5Szp07xwHKQlQ9FEMGaCYxNH7VdonZnShpGVmSnpnNgwxc8xvAbx7H3pQMaT81SmoMi5K2U6Jk+bY4OU0xZKhBmEQCJGAnARVDSVnSe7ZHDLUYHy4Lt8RLcnqmpGd66ie2y+yXuOU3kJaRLYkp6bJ0Y4y0mhQtnwyNli7z4+XwseNyFmLIzv98LrkXxZDB0CYxNHntTonfl6bT544dPy48yMBtv4Hsg4el44wYqTEs0iOGQimGDNUHk0iABGwm4C+GWo0PkxURSXLoyBG2xeyPuPA3cEIOHDoia7btkO8mR8vHXjF0gmKokHUPxZABnEkMTV23S5LTs3Qk/MzZs8KDDFz1GzhzRg4fOyGdZsZKzeHnPUMUQ4bag0kkQAJ2E7hIDE0Il1XRyXL85Eldt4i1i66qj1led9v7zBk5evyErA/fpevYKYaKXuNQDBkYmsTQ9PVxkpKR7VHdv3nCF2JRJw8y+KP/BvBfBGU8euKUdJpFMWSoMphEAiRQjAT8xVDLCeGyJjZVTp05o1OC/uh1MMvHfob/b+DEqdMeMTQ1hp4hG+oeiiEDxNzEUGrmfl2cZriESSTwhyagYujkaYqhP7SVWTgSCE4CRjEUk8I1i8FpLj5VMRNAH/X4qdMSEhFHz5BNrCmGDCAphgxQmORqAhRDrjY/C08CjhKgGHIUPzMPMgIUQ/YbhGLIwJRiyACFSa4mQDHkavOz8CTgKAGKIUfxM/MgI0AxZL9BKIYMTCmGDFCY5GoCFEOuNj8LTwKOEqAYchQ/Mw8yAhRD9huEYsjAlGLIAIVJriZAMeRq87PwJOAoAYohR/Ez8yAjQDFkv0EohgxMKYYMUJjkagIUQ642PwtPAo4SoBhyFD8zDzICFEP2G4RiyMCUYsgAhUmuJkAx5Grzs/Ak4CgBiiFH8TPzICNAMWS/QSiGDEwphgxQmORqAhRDrjY/C08CjhKgGHIUPzMPMgIUQ/YbhGLIwJRiyACFSa4mQDHkavOz8CTgKAGKIUfxM/MgI0AxZL9BKIYMTCmGDFCY5GoCFEOuNj8LTwKOEqAYchQ/Mw8yAhRD9huEYsjAlGLIAIVJriZAMeRq87PwJOAoAYohR/Ez8yAjQDFkv0EohgxMKYYMUJjkagIUQ642PwtPAo4SoBhyFD8zDzICFEP2G4RiyMCUYsgAhUmuJkAx5Grzs/Ak4CgBiiFH8TPzICNAMWS/QSiGDEwphgxQmORqAhRDrjY/C08CjhKgGHIUPzMPMgIUQ/YbhGLIwJRiyACFSa4mQDHkavOz8CTgKAGKIUfxM/MgI0AxZL9BKIYMTCmGDFCY5GoCFEOuNj8LTwKOEqAYchQ/Mw8yAhRD9huEYsjAlGLIAIVJriZAMeRq87PwJOAoAYohR/Ez8yAjQDFkv0EohgxMKYYMUJjkagIUQ642PwtPAo4SoBhyFD8zDzICFEP2G4RiyMCUYsgAhUmuJkAx5Grzs/Ak4CgBiiFH8TPzICNAMWS/QSiGDEwphgxQmORqAhRDrjY/C08CjhKgGHIUPzMPMgIUQ/YbhGLIwJRiyACFSa4mQDHkavOz8CTgKAGKIUfxM/MgI0AxZL9BKIYMTCmGDFCY5GoCFEOuNj8LTwKOEqAYchQ/Mw8yAhRD9huEYsjAlGLIAIVJriZAMeRq87PwJOAoAYohR/Ez8yAjQDFkv0EohgxMKYYMUJjkagIUQ642PwtPAo4SoBhyFD8zDzICFEP2G4RiyMCUYsgAhUmuJkAx5Grzs/Ak4CgBiiFH8TPzICNAMWS/QSiGDEwphgxQmORqAhRDrjY/C08CjhKgGHIUPzMPMgIUQ/YbhGLIwJRiyACFSa4mQDHkavOz8CTgKAGKIUfxM/MgI0AxZL9BKIYMTCmGDFCY5GoCFEOuNj8LTwKOEqAYchQ/Mw8yAhRD9huEYsjAlGLIAIVJriZAMfT7mH/fvn3y448/Smpq6u+TYZDkMnjwYNmyZYvgd8YXCfgToBjyJ8K/3UyAYsh+61MMGZhSDBmgMMnVBCiGCmf+0NBQmT17tqxZsybfG8THx8svv/wil1xyifTu3Vv27t2b7zWBnADbrVq1yrb7BZJnQc8pWbKk1K1bV8LCwgp6qZ4fEREhc+bM0XL+3oIqMTFR84ad9+/fn+vzB3perjdw8RcUQy42Pot+EQGKoYuQFDmBYsiAkGLIAIVJriZAMVQ483/xxRfypz/9SZ599tl8b9C3b189F+fjgDA6cOBAvtfldcLp06clKSlJHn30Ufn555+LfD//vI4dOybJycm5Hsg/kBfE0J///Gf56quv5Ny5c4FckuOc2rVr6/VPPPGEnDlzJsd31h+ZmZm5PifKkJGRUSjP1LBhw+Qvf/mL2iwkJCTXewwfPtx73vr163M9z3pevl8gQDF0gQU/kQDFkP2/AYohA1OKIQMUJrmaAMVQ4cxfFDF01VVXScuWLYvUaYZn6pZbbpG//e1vgvu1aNGiSPfzpzB27Fi9/8033yz+B/KFpycQT83vIYYqVKiQ67Pi2cuVK5erkPIvt+/fFEO+NIrnM8VQ8XDlXf9/EqAYst9uFEMGphRDBihMcjUBiqHCmR9iCJ3w/KbJYVocvDf33XefzJo1S6fWoXN+5513SuPGjQMSFKYnhGcJ97vnnnvUc3LHHXcU6X7+eQwaNCjHM2OqGKa7wcuDY/PmzQKPV6VKlaRhw4ZajkaNGknFihVzHBBq8Ibdfvvt8vbbb+f4Dud+++23eXqMAvEMlSpVSp/J8rz5v5coUUIC9WRZHAYMGCCPP/643HXXXTJ9+nSpWbPmRc9ulRXnWXmWLl3aWE6c26tXr0Lb23quP9o7xdAfzaIsT1EIUAwVhZ75WoohAxeKIQMUJrmaAMVQYObfuHGj/PDDD94DHWB0wn3T8HnevHl6Q0wJQ4ca07uefvppGTJkiLcjjI41BAU8LO3atSt0UAXYDqLlqaee8t4Pz5CSkhJYofI4C/fFc/tObUManhl5YPrZ119/rfk++eSTep7lBbKEQSDv4HP27Nlcn6QgYgj38rUHnh+cCyOGLOH32GOPyalTp3Q6JO4VSJlyO+fzzz/PwTPXQrvoC4ohFxmbRc2XAMVQvogKfALFkAEZxZABCpNcTYBiKDDz//rrrwF1hNGJxgueCHTC0TG20qyc+vTpI+hk47u//vWv6jFISEiwvi7wO57Nuh867D179pSi3A8P4C+GwsPDtRy+Aumbb77JIYYsz5D1LCjfCy+8kKunxN8zhGAJyMf3VRAxBJHpK97q1KlTKDEEbx+8fvBm1a9fX6fYNW3alJ4hX8PY9JliyCaQvM0fggDFkP1mpBgyMKUYMkBhkqsJUAwFZn4sksf6k5tuuknX6aCjf/nll1+0nua7775TTwIixj300EMqeOAR8A9G0LlzZ/nHP/7hvR+CICD8NoIBFOY1evRouf76672CDSGtYdvCvvzFkCV84IWyBEfz5s3l6quv1mmACOYADwpeyNsKPIDpdIE+R61ataR69erKweL16aefqqB55JFHBFHbrHTfABTWNDm7xBCCYkBU1qhRw1vWvDgygEJedPL+jmIobz781l0EKIbstzfFkIEpxZABCpNcTYBiKDDzHz16VDviEDkPPvigig6sG7I659b7wYMHZevWrV6Rk5touvLKK3UKHTw4Dz/8sAZBgNiCR8ISG4E9mecsPB+m6Fki5PcQQyhrt27dVNTh2a2gCkURQ/4CE3+DIQJFIA/rgKfGElkUQwX5pQTXuRRDwWUPPo2zBCiG7OdPMWRgSjFkgMIkVxOgGCqY+TH9DdPAsPA/MjLyoovnzp0rZcqU0elvmA6HwAO5HZiOBeGDvYLKly+v3ggEHEBQgri4OG9n/6JMcknYtGmTVwzhGfv161fge1i3NnmG3njjjYv2+4GYwz5AKCO8NQiqYE0PzG+aHKb3WYIG+Vp7Clm8EHTCWqeDQBEzZ870svTdt8guMbRnzx6pWrWqervw7CbP0JIlS9Q+VvAEvOcXQCE2NjZHOS3GfBehGOKvgAQuEKAYusDCrk8UQwaSFEMGKExyNQGKoYKZ3xJDmBrlH1QBi/ffeustufXWW+XHH3+UtLS0gG+OyHCItoZrEVShoEEQMB3NCmiAjjwOTDsrjJcJD+0rhvAZwRFw/7zuB49QQYIo5Lf3kCVyUJa89hmyzivKNLlt27YJ1idhDZfFzySGfKfEIT/fgA2+nytXruwVctx7KPf/BhRDubPhN+4jQDFkv80phgxMKYYMUJjkagIUQ4Gbf//+/TJjxgwNi41OMTwbWDPj6yVAGO3777/f68GwvBx4hwcFU8tML3g60Bl/5pln8hQcpmuRhsh1mCIHT8qLL76oi//ffPPNizw5uV3vn26JIUR6s6LV+Yqh1atXez1CVhkhHsAivwAKVrjtYBJDvnsKBSqG8hI5vqIpr/P8ubvtb4oht1mc5c2LAMVQXnQK9x3FkIEbxZABCpNcTYBiKHDzo1MLsfGf//xHJk6cqGIIi+19XyNGjJDrrrvOe561xgVpl1xyiWCzVGV+fg0SPEDwNn355Zd6DbwceXlffPOyPmN6WpcuXfR6CCKsWbLuB09NQe+H+/qKIUyPw9qdjz/+WNLT0/X5TR4gK1hCfmuGrJDXBRFDvgEUsD7K91VUzxAEavfu3eXvf/+7rvXCOwRRfp4hiEAEvbDWi/m+9+jRQ+2B+1AM+Vor52eKoZw8+Je7CVAM2W9/iiEDU4ohAxQmuZoAxVDg5kenFoJm6dKlcuzYMaMYQkcdHiCch/UlVgcZa4nQybbE0KhRo3TPnttuu03XHmHKFYRWYcQQgglY3ha7xRCEVEZGhgohCCIII3iLfm8x5BtAAezwu7VeRRVDiAAIDx8CWWANFPZNgi3yE0MQuJbY9X+37EExZFnJ/E4xZObCVHcSoBiy3+4UQwamFEMGKExyNQGKocDMbwVGgNh46aWXdDoYvBW+0+QgfvAKCQnR6Ge+i/yxvshXDPXv31+ntVneoqKIIXhY0Hm/9957dXoePB1WGjrlmLpW0IAMlmfI8ir57zNkTZOzNidFp9/kGTLtM2QJhdw8Q3hWrLkBW9zX/wA7fzGEKYYQmr6vQPcZQuCGBg0a6Lok3w1W8xNDiKRnTRH0f0eADdiEYsjXIhd/phi6mAlT3EuAYsh+21MMGZhSDBmgMMnVBCiGAjN/bpuuIuCBtXAei/DxghiCaEIAA+s7TFuDd8PyDNkhhmA7iBZrTY/vhqjonCMgAzrklrfIV0DkV2p/MYTzkXbLLbdomeDxstJw/9zEEASPxcB6xz1wfm5iCBx9AxngXOzv1LZtW80f5ULACas88Az5CyQ8W6BiCOciz4EDB6rXK699hgJdCxToeQrRxf9QDLnY+Cz6RQQohi5CUuQEiiEDQoohAxQmuZoAxVBg5odnyDdQAj7DM+S/Zgh3gxhCB97/sLxAYG6HGMJ0NWtK1x133CGNGzf2CgQ8h29QhZ49e+oUsMBKe2HNkOUZwnUQQxA+EFiWF8hKQ1mttKKsGcI+Tr169dJ84FVCuXBvK5qcNSUO4tJ6NjvEkC+XQMUQPUO+1Ar3mWKocNx41R+TAMWQ/XalGDIwpRgyQGGSqwlQDBXe/PAW5SaGIBgQaMFaS+IfQKGoYghBF5KSkgTR6zDtrEWLFjmEEEo1evRouf76672iDMLF8qbkV2qc6+tpwvmW8CmIGJo/f/5FQQawLw/uYfIMDRkyRIUQBBCmFsK7hnMtMYTQ5fAsYZ0UprTBQ4XviuoZ8uURqBjyF7u5/c0ACr50c36mGMrJg3+5mwDFkP32pxgyMKUYMkBhkqsJUAwV3vx5iaH8AigUVQxhuh1EAabe/fzzz7rhqX9JEMwBYsSaxuaEGPIVhJYwxDNDOBRGDCGYAwQQIuhh01sEoMBaLNMGswWZJufLjmLIl0bxfqYYKl6+vPv/LwIUQ/bbi2LIwJRiyACFSa4mQDFUePPnJYbQ4S+uAAoQONhLCB4TiApMS8vN44Opa5YYwv4/ffv2zfVcXxKWZwhT8Ro2bJhj/6CCeIYQYto/uAACPZg8QxA08Brdc889MnPmTMG+TgiM4OsZ8n1GCEKITjBwQgxxmpyvNQr3mWKocNx41R+TAMWQ/XalGDIwpRgyQGGSqwlQDBXM/FinAq8OggFgytbvHUABgQOswAgQCdgIdcuWLbkKHHhR2rVrpwEIIBoQbCEQD5ElhlBefLZCacO7g7LjvnjhO0tsFXXNEEKSV6pUSddBQYThFcxiCBEAraAQ/u+Ihgf7gDmnyakpjf9QDBmxMNGlBCiG7Dc8xZCBKcWQAQqTXE2AYigw88fHx6uHY8aMGXLnnXdqJxcd3dxCa0MgWCG4EWyhTJkyRYomBzutWrVKypcvr51srBOCcAgkZDauhXfHCkZgheDGVLPcXr5iCOfA84L8GjVqlEN4FUQMIeQ3BE9uniHks2jRIn1WKzhCMIsh2D+Qg2Iot1+ZCMVQ7mz4jfsIUAzZb3OKIQNTiiEDFCa5mgDFUGDmR6hkBEHAaL+1DubKK6/MNYCCndPkrGAJiF6H/LH5KbxSlmAIrAQizZo18+7dA7G2YMECDW4AkeL/8hdD/t9bf5vE0NixY3U9E7xImCqI3xhe2M8Ha3ystUMIgmB9Z93P/z03MYRNbxcvXqzT5GCPkSNHXnQv05ohlBVeLaw9yi3vQNcMcdNVf2sV/G+KoYIz4xV/XAIUQ/bblmLIwJRiyACFSa4mQDEUmPkRjABrX7BGZenSpdqh7tix4+8ihnyDJcAT8cknn0h6enpgD+5zFjxBXbt29U7fskRd8+bNLxIGRRFDECoQHDgg5KwXPlvpeM/LM2Vdk5sYGjdunDdSHsKewz7+L5MYatWqlQq1cuXKyZkzZ/wv0b8DFUP4Pezbty9HmazyYa0Up8kZ8eZIpBjKgYN/uJwAxZD9PwCKIQNTiiEDFCa5mgDFUODmx4J+dLwPHTqkFxV3AAXcH1PTsN+O1bGuV6+ehIeHB/7QfmcmJCSIb0cd4uqbb765yMuUlxjCbwbT5TD9D0EZrKlieE6sZ0I6puXl5nnxe6Q8/zSJIazZQqAFK1+E4DblZRJDpjT/B/AVQ7t375aqVat695jyzbd06dLe8qLMvkdu58F+vgLRP2+3/U0x5DaLs7x5EaAYyotO4b6jGDJwoxgyQGGSqwlQDBXe/IGIIURFw+J6bBKKqXPw8oA5gg0gsEH79u0lNTVVsBgfggcbiFrT3/yDJUC0bN261djxL0gp4L1A3piuVlAx5H8tAjL4Bg/A3yjHTTfdlCPd9xzfzwMHDsyzPP5iCJHzsP8R8rjxxhulbdu26p0xld8SPjivTZs2+jzWtSVKlMhVlPiKIdgLobst4VXUd+wLdfLkSdPjujKNYsiVZmehcyFAMZQLmCIkUwwZ4FEMGaAwydUEKIYKb36Iofvvvz+Htwh3CwkJUeGD9TK9e/fWjVHRicYUO0sM4TxME0NAAUy3QmAEBGZo3LhxDnEAL8g111wTcLCEQEsDu1veHVNY6tw8Q7t27dJnQQAHU6huK9CCr5fE+uwbDtwSFdgw1YocZ3p2fzEEPuB0++23S4MGDfK8dsCAATk8SFaeWLdUv379XK/1FUP+niGrLIV9p2cop5UphnLy4F/uJkAxZL/9KYYMTCmGDFCY5GoCFEOFNz+CKsC7go55TEyM90bw3iAtOjpa00aMGKHnoROOjULBHK9t27ZpaG4roEDLli2931k3GzVqlFSoUMHrLbLSi/sdQRByC9KA53/zzTdlzJgxFz1vXs/lH0AB5YYIzEsMgQk2l8V51hofpCEYhMUxrzzHjx/vDeZgcfYXnP7XQ+ggz/zO87+OfxecAMVQwZnxij8uAYoh+21LMWRgSjFkgMIkVxOgGCq8+bFoH9PGUlJScky5OnXqVI60vM6zFtzj3RTVDddmZmYW/iELeSWCICDiWm4vfIdzCvLyD6CAMueVB+7tG/3NygtpgQRfwPm+wRws1vldC944N7/zrOfhe+EJUAwVnh2v/OMRoBiy36YUQwamFEMGKExyNQGKIVebn4UnAUcJUAw5ip+ZBxkBiiH7DUIxZGBKMWSAwiRXE6AYcrX5WXgScJQAxZCj+Jl5kBGgGLLfIBRDBqYUQwYoTHI1AYohV5ufhScBRwlQDDmKn5kHGQGKIfsNQjFkYEoxZIDCJFcToBhytflZeBJwlADFkKP4mXmQEaAYst8gFEMGphRDBihMcjUBiiFXm5+FJwFHCVAMOYqfmQcZAYoh+w1CMWRgSjFkgMIkVxOgGHK1+Vl4EnCUAMWQo/iZeZARoBiy3yAUQwamFEMGKExyNQGKIVebn4UnAUcJUAw5ip+ZBxkBiiH7DUIxZGBKMWSAwiRXE6AYcrX5WXgSKDCBc+fOybFTJyQ2e6+kHc6S46dOBrQBrikjiiETFaa5lQDFkP2WpxgyMKUYMkBhkqsJUAy52vwsPAkUmMDpM6clLjNJvl3VT0aEzpMtybGSejRbDp86JqfOnJZzv50L+J4UQwGj4okuIEAxZL+RKYYMTCmGDFCY5GoCFEOuNj8LTwIFJnDq9CnZmBIj/5nziVwzp7rctqCGlF/eWn7ZOEnW7wqV/YcPCrxHgbwohgKhxHPcQoBiyH5LUwwZmFIMGaAwydUEKIZcbX4WngQKTODkqZMSkhIll83+QP40s4r8ZWZVuXL2h3Lf/Fry/NJm8vradtJsyzCZHLNcovfFyfETx3MVRxRDBcbPC/7ABCiG7DcuxZCBKcWQAQqTXE3AVwx9MmKLNJ4SIlM3hkpKdoZkHMyWTB5kwN8AfwM+v4F9WWkyL269XDb7fRVDEET+x21zashri1tJjXU9pVXEaBm/a7lsxnS6A5ly+vRpb51LMeRFwQ8kIBRD9v8IKIYMTCmGDFCY5GoC6IwcPn5CGsxZKi+NGyOvTxsidZeNkF/DZ0r/yNkygAcZ8DfA34DPb6B32HRpsmGQ/H1WtYtEkL8osv5+dkFjqbO6j/SOmC4z94ZIWEacJB/MkMPHj8r2xEzpPTtMPhseJS0nhMuamBQ5feaMq+tlFt6dBCiG7Lc7xZCBKcWQAQqTXE3g7LjMGcIAACAASURBVNmzknIoS0oubCV/n5H7SK/VqeH7xaPgZEIm/A0E/hu4ctaH8uHin6T/5umyNiFMVu7YId1mb5JPhkdIywlhFEOubpHcXXiKIfvtTzFkYEoxZIDCJFcTOHDssMyPXid3zv9K/jyzasAjvez8Bd75Iyuy4m/gwm8A9czlsz+Qq+dUl+vnfSoPz2skb08bIFVHrJbmE7dSDLm6RXJ34SmG7Lc/xZCBKcWQAQqTXE3g+KkTEpa4Q+5e9A2FkGHtAzuxFzqxZEEWdvwG/jrzHblq1kdSftH30nTdIOm8doZ8N2uZfDR8q7ScEEox5OoWyd2Fpxiy3/4UQwamFEMGKExyNQFMk0s/uF+qzBskd03+Xu6Z3lSenddSKi1rL5WXtZcqy3/kQQb8DfA34P0NVFzWTsosbiaXzHwn4AGUS2e+Jw/MqyUVlv4gdTb0k66x02TWnvUSnrJLNmzfwzVDrm6FWHiLAMWQRcK+d4ohA0uKIQMUJrmaAKLJHTlxUtrO2iZvj5krH0ydIp1XzJaF20Nk6a5NPMiAvwH+BnL8BuZtXyc9tk6Wf856L1cxdMnManLN7Ory4PzaUnppc3lvXRfpuG28zN+xXuLT9wkGYfBiNDlXNz8svB8BiiE/IDb8STFkgEgxZIDCJFcT8A2tXXN4lLSdEiXLQ+MYzcnVvwoWngRyJ+C/zxCmzmEdEATQFbM+kGvnfiz3LPhaqizvIP02TZPNuyPl8PEjgrrG/0Ux5E+Ef7uZAMWQ/danGDIwpRgyQGGSqwlQDLna/Cw8CRSYgEkM/WPmu/LfOV9LveW9ZWz4QglL2yUZxw/IkVPH5dSZ00YhhIwphgqMnxf8gQlQDNlvXIohA1OKIQMUJrmaAMWQq83PwpNAgQlADG1KiZGb534ury/+XpquHyRDY+bLstRwic3aK+mHs+Xk6VMB3ZdiKCBMPMklBCiG7Dc0xZCBKcWQAQqTXE2AYsjV5mfhSaDABM6cPSNJh9Kl185ZMjt+vUSmxsn+Iwdz9f7klQHFUF50+J3bCFAM2W9xiiEDU4ohAxQmuZoAxZCrzc/Ck0CBCaDOsAIgFPhivwsohvyA8E9XE6AYst/8FEMGphRDBihMcjUBiiFXm5+FJwFHCVAMOYqfmQcZAYoh+w1CMWRgSjFkgMIkVxOgGHK1+Vl4EnCUAMWQo/iZeZARoBiy3yAUQwamFEMGKExyNQGKIVebn4UnAUcJUAw5ip+ZBxkBiiH7DUIxZGBKMWSAwiRXE6AYcrX5WXgScJQAxZCj+Jl5kBGgGLLfIBRDBqYUQwYoTHI1AYohV5ufhScBRwlQDDmKn5kHGQGKIfsNQjFkYEoxZIDCJFcToBhytflZeBJwlADFkKP4mXmQEaAYst8gFEMGphRDBihMcjUBiiFXm5+FJwFHCVAMOYqfmQcZAYoh+w1CMWRgSjFkgMIkVxOgGHK1+Vl4EnCUAMWQo/iZeZARoBiy3yAUQwamFEMGKExyNQGKIVebn4UnAUcJUAw5ip+ZBxkBiiH7DUIxZGBKMWSAwiRXE6AYcrX5WXgScJQAxZCj+Jl5kBGgGLLfIBRDBqYUQwYoTHI1AYohV5ufhScBRwlQDDmKn5kHGQGKIfsNQjFkYEoxZIDCJFcToBhytflZeBJwlADFkKP4mXmQEaAYst8gFEMGphRDBihMcjUBiiFXm5+FJwFHCVAMOYqfmQcZAYoh+w1CMWRgSjFkgMIkVxOgGHK1+Vl4EnCUAMWQo/iZeZARoBiy3yAUQwamFEMGKExyNQGKIVebn4UnAUcJUAw5ip+ZBxkBiiH7DUIxZGBKMWSAwiRXE6AYcrX5WXgScJQAxZCj+Jl5kBGgGLLfIBRDBqYUQwYoTHI1AYohV5ufhScBRwlQDDmKn5kHGQGKIfsNQjFkYEoxZIDCJFcToBhytflZeBJwlADFkKP4mXmQEaAYst8gFEMGphRDBihMcjUBiiFXm5+FJwFHCVAMOYqfmQcZAYoh+w1CMWRgSjFkgMIkVxOgGHK1+Vl4EnCUAMWQo/iZeZARoBiy3yAUQwamFEMGKExyNQGKIVebn4UnAUcJUAw5ip+ZBxkBiiH7DUIxZGBKMWSAwiRXE6AYcrX5WXgScJQAxZCj+Jl5kBGgGLLfIBRDBqYUQwYoTHI1AYohV5ufhScBRwlQDDmKn5kHGQGKIfsNQjFkYEoxZIDCJFcToBhytflZeBJwlADFkKP4mXmQEaAYst8gFEMGphRDBihMcjUBiiFXm5+FJwFHCVAMOYqfmQcZAYoh+w1CMWRgSjFkgMIkVxOgGHK1+Vl4EnCUAMWQo/iZeZARoBiy3yAUQwamFEMGKExyNQGKIVebn4UnAUcJUAw5ip+ZBxkBiiH7DUIxZGBKMWSAwiRXE6AYcrX5WXgScJQAxZCj+Jl5kBGgGLLfIBRDBqYUQwYoTHI1AYohV5ufhScBRwlQDDmKn5kHGQGKIfsNQjFkYEoxZIDCJFcToBhytflZeBJwlADFkKP4mXmQEaAYst8gFEMGphRDBihMcjUBiiFXm5+FJwFHCVAMOYqfmQcZAYoh+w1CMWRgSjFkgMIkVxOgGHK1+Vl4EnCUAMWQo/iZeZARoBiy3yAUQwamFEMGKExyNQGKIVebn4UnAUcJUAw5ip+ZBxkBiiH7DUIxZGBKMWSAwiRXE6AYcrX5WXgScJQAxZCj+Jl5kBGgGLLfIBRDBqYUQwYoTHI1AYohV5ufhScBRwlQDDmKn5kHGQGKIfsNQjFkYEoxZIDCJFcToBhytflZeBJwlADFkKP4mXmQEaAYst8gFEMGphRDBihMcjUBiiFXm5+FJwFHCVAMOYqfmQcZAYoh+w1CMWRgSjFkgMIkVxOgGHK1+Vl4EnCUAMWQo/iZeZARoBiy3yAUQwamFEMGKExyNQGKIVebn4UnAUcJUAw5ip+ZBxkBiiH7DUIxZGBKMWSAwiRXE6AYcrX5WXgScJQAxZCj+Jl5kBGgGLLfIBRDBqYUQwYoTHI1AYohV5ufhScBRwlQDDmKn5kHGQGKIfsNQjFkYEoxZIDCJFcToBhytflZeBJwlADFkKP4mXmQEaAYst8gFEMGphRDBihMcjUBiiFXm5+FJwFHCVAMOYqfmQcZAYoh+w1CMWRgSjFkgMIkVxOgGHK1+Vl4EnCUAMWQo/iZeZARoBiy3yAUQwamFEMGKExyNQGKIVebn4UnAUcJUAw5ip+ZBxkBiiH7DUIxZGBKMWSAwiRXE6AYcrX5WXgScJQAxZCj+Jl5kBGgGLLfIBRDBqYUQwYoTHI1AYohV5ufhScBRwlQDDmKn5kHGQGKIfsNQjFkYEoxZIDCJFcToBhytflZeBJwlADFkKP4mXmQEaAYst8gFEMGphRDBihMcjUBiiFXm5+FJwFHCVAMOYqfmQcZAYoh+w1CMWRgSjFkgMIkVxOgGHK1+Vl4EnCUAMWQo/iZeZARoBiy3yAUQwamFEMGKExyNQGKIVebn4UnAUcJUAw5ip+ZBxkBiiH7DUIxZGBKMWSAwiRXE6AYcrX5WXgScJQAxZCj+Jl5kBGgGLLfIBRDBqYUQwYoTHI1AYohV5ufhScBRwlQDDmKn5kHGQGKIfsNQjFkYEoxZIDCJFcToBhytflZeBJwlADFkKP4mXmQEaAYst8gFEMGphRDBihMcjUBiiFXm5+FJwFHCVAMOYqfmQcZAYoh+w1CMWRgSjFkgMIkVxOgGHK1+Vl4EnCUAMWQo/iZeZARoBiy3yAUQwamFEMGKExyNQGKIVebn4UnAUcJUAw5ip+ZBxkBiiH7DUIxZGBKMWSAwiRXE6AYcrX5WXgScJQAxZCj+Jl5kBGgGLLfIBRDBqYUQwYoTHI1AYohV5ufhScBRwlQDDmKn5kHGQGKIfsNQjFkYOpGMXTu3G9y6tQpOXbsmB74jA6w3a9z587JyZMnZU98vKxYsUK2bdsmhw4dEqTjdebMGTl9+rS+2523E/c7dfq0pKeny+LFiyU+Pl7Llt9znD17Vpls375d5s2bp9eDi5MviiEn6TNvEnA3gWAWQ6ib0YZlZ2fL8ePH82w30c7hvK1bt8rcuXMFdfyRI0fyvCYYLI/6H+2yb//AarOL+/mQN9rEo0ePSnh4uKxevVr27dun/ZXi6KNY5cG9UcYDBw7IttBtsnLlStm9e3dQ9E0ohiwr2fdOMWRgGUxiCJVrVlaWHqgQiuM/P4TQ8eMnJCkpSUJCQvRISEjQis8Xj1UpofJHJVGYZ4E4SE1NlZ86d5b7779f3nnnHVmzZo02Imlpado4REVFCfIPNA88ByrKjIwMbWggtgrzbL5lteMzniEtPV3GjRsnN910k/z000+yd+9erdhzuz+uOXz4sKxfv14aN24sl112mcyYMUP279+f2yW/S7oyPnlaOs2KlZrDo6TtlChZHhonpx0Wab9L4ZkJCZCAowSCWQxlZmZqB33W7NkqciBuchMKaJuWr1ghVau+I//4xz+kYcNGek1u5+cHHYOWaBvQdhbXACaeAfdG+7px40btH+zcuVPbqfyeL5DvUXZrEPTEiRMqLFGe5ORkPSB8du3apYyrV68ujz32mPTt21fT0D8K5IW+08GDB/V+6H/ADvn1p9Dmeey1XKpVq6b9lQ4dOgjsjWudfFEM2U+fYsjANBjEEJwy+M84Z84c+eCDD+Tdd99VsWK3hwB54J4pqWkybNhwuf766/Vo3769xMbG5qCDigqCKSY2VlLT0gpcIaBBQ+UVExMjDzzwgFxyySVy6aWXStWqVXWkp1SpUnLjjTfqgTRUiPlVOtpJP3pMRo4cKa+88qqgsoQXBiNYhW1gchS6kH/guSAUli1bJtdee6385S9/kSuvvFIaNmyoDE23vWCLVAH/f/3rX/LPf/5TvvvuO9mxY4fpkt8tTTlTDP1uvJkRCZDABQLBLIamTZsmFStWlP/85z/y6KOPyoSJE9Wbb2p/jh49JiNGjJQrrrhC/vznP+t79x49BIOEqGML8sLZa9eukzp16sozzzwjYWFhFw1gFuR+uZ2L54KQWLp0mQqCG264Qb6pVUs2btpUpDYW94XIgrjArAl4febPny9t2rSRp59+Wm655Ra5+eab9cBgIvomGBz829/+pt/VrlNHoqKjA3qGrOxsadO2rdx6661SokQJFaTpGRn5ztQ4e+6cfPTRR3L5FZdrf+Wee+6RxUuWyP4DBwpsr9z4FiadYqgw1PK+hmLIwMdpMYT8UTnu2LlLPv30M61k0aFGhTt16lStaCFM4LZFWiAHRja6d++unhdLUCEffD52/Ljsjk+Qnr16y5/+9Cc9mjVrJvDQ4IVKCy5ydNDLli0rL738slR95x0VRRg5CfSFiuXwkSOyLTRMKyUrr9dee00ys7Lklx495cGHHtL8Ud4qVaqocMotDzzXiZMnlROEEMQDKswvvvhCPUT+jREaVNwL0xQw6pSYmBjQAW8ORCAaBItdfmVGWTMys2T4iJFepo+VKCF9+/WTo8eOKVN4szC9wppagec9ceKkJCWnSPOWrfQ6iMXOXbrInj178suyWL8H66MUQ8XKmDcnARIwEwhGMYSOPKa5vffeezrghfbsjjvukHXrQ+Sgz9Rv3xLBazR48BD561//6m0XOnXqpO2S73mBfN6XnCytW7fRthQioUyZMjJw4ECJ271bRQa8N+jIB9I/wDlo3+H5QbmsF/oIaJcyMjNl1uy5cvXVV6uI+/DDD2XN2rU5hAj6JEuWLJHKlSsHlOfbb78tFSpUkPLly8urr74qL7zwgpQsWVLuuusuHSS1+gem96uuukpatvpetm7bpv0X63lze9+2LVSqf/yxDkrCI1fqmWdk+fLlcjKP5QBo8zAYO33GTCn/+hsXri1VSpYtX56DU275Flc67HL81GkJiYiT76fEyMdDo6XL/Hg5fOyEoO+B7/kqGAGKIQMv/JCOHDsuyyNTpPqQaD2mr4+T1Mz9Of7zGy61JQkVPzr5cbv3SOcu3eTJp0pqxYn/xOXKlVPvAkajhg0b5q1QTRWGbxq8MHAvYw2KJS5UHJw6JQcPH5aYHTul68/dvffzF0O4pnv3HlKixON6DjrpNb/8UkI2bBBUgvm9MOh19uw5OXT4sGzesk1uufVWb16vvPqqHDh4UMIjo+W71m3loUce1e/gFalZs6Zs2bLF6CFCJZ29f78sWrJMR4pQ3oceekh+/LGDHDl61GsrVGooKyr5yMhI6dmzp9SrV0/q1q2b71GnTh3BgXPBBKNX+b2QH7xCGzdtlnr1G3jLWaduPdmydatWVhCg3bp1k+bNm0urVq1k8ODBKnIPHjosCYn7pFnzll7OvXv31ul1+eVbnN9TDBUnXd6bBEggLwLBJoYwOLgrLk7bBXgv0Pbc89975bvWbWRvYpIOcPkPxqF8HjE02CiGCtKBRX2MtagjRo6SsuXKq0DBMzz77LPqtRkxYoQOllrixbcvkNvn++67TwYMGKDPaNkCz4QBwNS0dJkybYZceeVVmtf/IIbWrPG2sTgf7SumhPsKvdzyMqXffPMtUu3d9+Wzz2vI17VqS4NvG0qTJs2kSdNm0rhJU++Bv9u0/UEWLV4qCXsT5fiJE7l6acDpzNmz0umnn+Thhx/2euM++6KGbNq0WftCOMf0QjrEEGbN/NK9hzz8yKM64PrpZ5/L5s2bKYZM0P4fp1EMGYwXLGLowIGDsn3nbhUp8CpYFQgq3+9at5b+AwZ60+648y557vnnpfzrr+tRrnx5wXHPf//rPQfXjx49WucYw9OAOc7Tpk+X8MgoCY2Iks7dfvae6y+GUPnHxO6Qdu07yL333e89r27derJp06Z8PSaob1ApYcRsk0EMQQSkZ2bJ+o1bpP63jeS66/6j7nC4/zHtzd8jY1XSsbHbpWnzlnLVVVfrM33yyacSFRWj4scyrVUhHj58REd5MCpksSzo+8SJE63b5vqORhCib+iwEfL4E09q4/Dggw/JpMmTNR2jURjVg8vdyh+NGGySvf+A7E5IlCbNW+h3EJ0UQ7mi5hckQAIuIBBMYght4fYdO6RL165y+eWXawf7zjvvkm8bNZEdcXvkwMFDkpWVLVu2bJXZs2fnOCZPnqwCCtOmrbr/k08+EQxuzp4zJ8e5mPmB6WOmqeJo0/AcKWlpMnb8BHnu+dLy97//Xe+JtvOLL2rIwkWL5ZprrtHnu/HGm6RkqVLaJ/DtI6Bfgel61rO0bt1ap61hXc3ChQt1mn5ERITEJ+yViVOmyZVXnRdD//ufruHxFXx4ptVr1sibb74lZcuV07ysfoj/u3++yP/Z556X2fMWysYt2yQqdqcOCqalZwqO1DTPOz6nZ2RJRla29iUghNCvyO2F58O6XcxoAfN///vf8vIrr8mGTVskMytbPUOYmYE1ygsWLMjBH7abOWuWTJk6Vdr+0E6eL/OCXH31NdLxp59k3PjxMnPmzIvOt+yNPos14yO3ZytKOvo/9AwVheDF11IMXcxEXYyOeoYQcQ0em0OHdaoVPAWjxo6TG268Ua6/4Qb56utvZPqM2TJg4GBvJVarTj1ZvmqNpKZnSGpGpqSkZ0hyWrp3upVV2Y0aPVp27Nyp3hErrUev3rJu42ajGEIFhwoFoz7o4IdFREunzt20UvzLeVc/Fvpj0X9eL49nCGLosGzamtMz9FrZsurqhhBApTd56gx55933BSNViDhnujeeC94zVEhWOVDR/fDDD8oOz4xz9PnhFTp9WhuocZOmyFMln9ZrMPf42uuuU6Y33HCjeI8bb/Swvv4GndNt3R/vgYghNF5h4RFqJ1yDKQxgvGdPvHqMDh0+IqFh4XLnnXfqc8ADhmkKmD4HPv5iqFfv3jqdLy++xf0dOHKaXHFT5v1JgARMBIJFDKFux7RpBMOxPCCYnt24aXMJj4rVwSysV8UMBKxf9RUavu1IIJ8fePBBFVyYTo361/8FMYQ1SGkZmbJi9Vpdz4M1t+9Ue1fGjB0vy5avkKvPi6HKVavJjDnzJDk1zdNHSM/QPsKgIUO95cAzff/997JrV5xMnz7dOyWuSZMmEhYRKeMnTfWKoQ8MYgiBmNAmY31O0r4U7X+kpKVLSlqGpKSmS2pahnqY9ibtk1/79c+RL0QlnjsyZruWJyNrv2Rme470jEztB0Fkon1EfwAzP9Beol/iK8j8GcEWEDmYfgcx9PiTT8mY8ZMlcV+KHDpyRE6dOi1JSft0emFBvGj52Q/rnfbuTczz2fyftSB/UwwVhFZg51IMGTjhh+akGELFh0oXox4qiLKyZU9ConagN23ZIrHbd8iOXbtl4OChXiFQp14DWbVmnbcCScvIkuTUdGnWwjPdyvrPO3TYcJ3T3NwnHRXTpq2hRjEEPHgejL5galdGVpZs3rpNOnX5WUdJcN9GjRqpUDKgzJGEuayogLaFRcitt97mfXZM/cO0MlRcWdn7ZW9SsuzYGSc7d+3SNUamkTE0jskpqdKv/wDvfVq2+k6iY2JV+GA6AhoReJRQWaKSTkvPkFHjJsqT58XQo4+VkGkzZsvGzVslNDzCe2wLj5AtoeGyal2IfPVNbe/9Udb8xBCeC8ILUwixSBbX4H3xkqVy6NBhfR48x+x5C+SWWzxTBStVqqSiD40bKnl/MQTPENY3OfmiGHKSPvMmAXcTCBYxhMiumNqMjrPVpjZq2lxWrlkn6LRDnKAtW7lyla6dKYoYwmAdprYjwIC/GII20kHK820G8o6IjJb1GzdLaHik7NodLytWrs4hhmbNna+zLzKy9wuO9MxsGTJseA5R0qrVdxIaGiZ9fu2rU8Lw/M2bt5DomO05xBCmya1ek3PNEJ5R2/Hjx1UUQszAgwMPDNp1HBjwXLBosVT/+FMVJxbDz7+oIRs2bdVz0Aair4H+D4IcbN0WKpu3wJOTpd4wtOnoj+DISwjhO8y2wNR5LDFAXq+VLScx23fJ/v0HdL0u+ggYpOzXr79gHVJR7GWVBe8QQwkJe/N8vqL8j6YYKgo987UUQwYuwSCGULFYnfjDR47K/gMHvZUJPifuS84hhjC/dvWadSoGZs6eLcuWr9RRlsZNm3krbfwnHTBwkCxdsVIaNGriTf+1/wDZuDVUfupqniYHRKh8UdGh8sAIz5bQCBk2YpQMHT5cVqxcqS71/BZqYsEkXOgvvviSRkmzKg9E4cF3b731lrz+xhueqX7lX5c33nhDF1giaAQaIesF++BZRowcKY888oi3HEOHDVOxhUAHCE2NkTnct1+/flqpQoSMHDfBK4ZKPv20hGza7Bl1OnRIDuA4eEgrbIjJHbvjpVGTnPzyE0N4rpjt27UcVvngscLzHDt2XEeyIPR+/KmLTgXEOZj2+OKLL+qzvvHmm/Lqa2W90xsxmoUyws1v4turVy+dO26xKa53iqHiIsv7kgAJ5EfAaTGEATkE3sHAHxb4o9N8zTXXSsPGzWTJ8lWyM2637E1MlLS0dB3wQkd47vwFKjZGjRornmOMDBoyTGp8+VWOTvd7738gw0eMklGjxugxcvQYGTl6tIwZO07mzJmrg4T+Ygi8LEGEQTSIB0xBR9CezOxsFWboD1ieIXhdZs+dJzt3xcmcefNl+YqV2lcYNDjn+qWWLVvJpi1bpdsvPeSKK/6lz9m8RQuJ8hNDHxjEEJ4J3iE8DwIBHT12XA+IGkwZwzsCLNSoUVNuvuUW+eell8ozz5WWH9p3kBWr1uh0OFwDsYNz0Z6jD4DACggOgUALWNOEKLPoG4GJiYv1W0KfYeq0ad6pgq+WLSsjRo+V5JQ0SUxMUlGLPkfdevVk+sxZaoORo0Z77TBs+Aj5sVMXue/+B5QD1kv3HTBQRowaJaNGe2xl2cz7PnqsjBk3XmbOmq0DuXk9n/WchXmnGCoMtbyvoRgy8HFaDOGR8J8IlQKmyyF4ASqHI0ePaaUH9zDc3b6eoW8bNpKly5brmpgKb78t7733vgwZNkI+r1HTKxbQ8e7bf4AsXLpc6n3byJvuEUNh8lPXX7xpvmuGLESW1+PIkaPqgUpKTlVvS8LevTJw0IUpe5YIsOu9bdu2EhcXZz2GrgdCdJsWLT1eL4z6/O9/H8oGRMI5fVpCw8IE0W4wfQHP8Mmnn0pkVJS6333FENYOhUdEaKWlnE+dUg8SREv2/oOya89eadSkqZcJ7pWbGLLslZGRKc2at5C77r7bex3EENZVoUEAuyXLlsszzz2vjUFRGSFMKARRcb9QPk6TK27KvD8JkICJgNNiCMEKMIXs9ttv147xbbffIV/Vqi2r1obowOTESZN1zyBsgzB16jQNroCgA2inrXUveI/fmyTde/bO4RX5vnUb2Zfic15GprZV8Kwg+ioG2Eydagg09BHwPbwkmP0AUYQDAYnWrgtRwQbhVu2992XGrDnqzXn/gw8ER6/efTTYkDXdD21RixYtZcOmzdoXuOJfBRdDeE4cCJaE58OB/gvW5HTu3Fn360HEvVtvu00+/byGDBwyVNcsw4OE/g3KAE8YRFrpMmVyiEasKRo8ZIgO/uXlEcLvB3muXLVKMOsC09DvvOtuafdjR9m+K06n6s2bP1+nzoENnqV23boSGR0rmNYHLxvWJWHQsnbd+vo9ziv1zLMyd8EiSUxOUfvgHP8DYhTeL/TRcrOb6fdd0DSKoYISy/98iiEDI6fFECoTzIXFvgHz5s3XvWqw6Rg67Falh0oW832tzjTEEEaifMNj4z9y5SrveM/BuRA+C5Ysl7oNGnrTAxVDQIVKyJqrjI49XNr7klNk6rTpxgWT1mJNvFuLKF96+eUcoTMxeoWIcr6LLsuXf11ef/0N9SQNGTJUF5Japjp9+oyOvLxVoYKux3niySdl5arV2gCg8cCCR4sL3rFAFWIIARp8xRCCFmDPI1ScKJd1oHyYnhgXv1caB+gZgs2ys/erveAig3AzegAAIABJREFU983fI4Y2q2coaV+y9BswyPs9ourh+Z9/vrQeWAj7VMlScvP5KXTWfe67737vOTgXDcPjjz+h+zFg76LifqF8FEPFTZn3JwESMBFwWgxha4Vq776rIZmx5vTLb2rJqnUbdCo66vRatWqpwMH60FdffU2nyWEGB9oRCBPPcUj2JadK7z6/5hBDWJwPMYBZCQcOHVYPj66NOXJUI7VCWJheCJ0NT8uiRYu0HUNUV2sKGdplhPi2Aii8+977Mm36TG03relg777/gdSpWz/Hs0AMhWyEGPpZCiOG8JyWGMLaIUxvg3cGkVPRDloetSrvvCvzFi5RcYI1RCmpqbpVx/QZM9T7g9kQOBd78z32+BPy8iuvSt/+AyUqOiZXT5nFCO05QoQ3aNDAW7YKlarI2AmTZdfuPRqOu1bt2hqSHHlcd911ul4pZvsOHeQFe0zp27R5i2BPJX3ma6+VtytWkmkzZqmYghcOa38vPg6rgIWoK84Q1xRDlrXte6cYMrB0Ugwhb3TK4eKtV6++3HbbbTpvGDsfY+EmRBL+o2EEw1cM1WvwrcyYNVe6/tLD29HGOqIq71Tz/o2OtUcMLQtYDGFkB2t5EF0Ge/NgN+ikffskMSlJR3swioP5t6g8sEgSIg3Phql0unjy/EJNBHSwFlJGRW8XLA5FuG880/OlS0vszjgdHcM9UlIzJDU9UxsIzME+c+asd2QMbDCPGNPfcO3dd98tHTr+pGxQoW4LDZXOXbp6y4zKFEEV4FnzF0NPPfWURsTBqJW12zXewXn7jp2yfsMm+TqANUO/iUe8btq8WapUq6aNiCVi8G55hhDNbu36EPm6dh3v831Wo6ZMnDJd1qzbIKvXhehI47RZ8+TDjz/Vc1AR/+tf/5ZOnbvqOXre2hBdMDtp8lRZtGhxrpu4Gn7ahU6iGCo0Ol5IAiRQRAJOiyG0g9hoc+HipYK1N4h4hqnU8AIsW7ZCKleuop1meFkQcW3ixEmSnJwiBw4c0FDVaEPhsUHb1bdv3xzrdNq1b69iyfLqWO+YSQCBYx0YpEM9rGLj3Dndf+6RRx7VQDz169fXfQGRD9pI3MNXDCFkNQITTZk23StKMD2vdt16XsGAtko9QzaIIQiSufPmCQYs0Yb5toelnnlO2rbrIFOmz5RZc+bJgoWLZMHChbpnkuWlwhQ6RG575bWyMnrCZIndEaceGwRPQB8I/aTcXmjDsRWGdS/k/VmNL2XI8JEyYdJk6dixo3c9FKK1Vq5aVUUZxOjx4yd00Dk5JUXGT5ig+0fh+V9+1TPFDlt5gC3Khz4a+g4QyuCO54KNLEGa1zPm9uyBpuPejCYXKK3AzqMYMnDCD82pAAqo6NBxj4iM0tDL+A+NhZTo1GN369jYWPXGmMTQ1BmzpUu3C1Pdvmvzg3z86ec5KqKCiCFExMEc6HHjxuu6FWs3aLxjR2gcEBoQIBj5giDyzFner4smM7OwaPKANhhoNKwFlQgG0anrz3L/Aw/qs8EdHrcnQcUKFltaUWQwsoYpa6hc8AIbVETjJ032RoS7+557pP2PHXVX79dff10QTQesrMr3xw4ddL+m4ydOamU6cuyFNUMIRYpNWlEO/7LhPhgVsoIgWPczTZND44ON7rp2+1kuveyyiyp/iKENGzYIKtgOHTrmuGefX38VjIxhmgSmHSYk7ZPImB0aphV5YgpgsxbfydqQjbIvJVWSUlL0PIjGzMwsjayDhrq4X2BPz1BxU+b9SYAETAScFkPIHx1g1LnW1LfsAwd0VoRnhsLl2uZcf/0N0q17L+nWvYd079FDxowZo14KtNvYoHXduhBp1er7HAKkUePGEhEZqd/jHN8jOjpaVq1apQF2duzYocIK7Q1E1ptvvqnhtDGoiHYKbdbcuZ41RheJoffel0lTp8vkKdO8YuiLml9Kq+9b53gWO8QQ7IdnxGa0l13u4WK1n3hHu/vvK69UjwzCgGPNMA60k9Z5b71dSQYMHqqBjBBNF/0CzPrAQLDVHzD9TpAWErJB3n///RzlQrQ6zEDBZu7oH1gCrWq192T+oiXabwEzzLyBnRHqHH0DKwQ6ROP2nXH6DJiKj/4ONqm99dZb5fEnntCp+Zgah3bSOnJ7PjvSKYbsoJjzHhRDOXnoX06KIVQiGJ3A1LMx4yZI9U8+0/muViXy8ssv6/5AiBbj7xmCGOrsEwShfYdOggrPqmDwXlAxtG9fsu5nBFey732sz40aNZatW7fq6BVGR1AhQMCgYsFhLZyEwMPfiCaHTv3gEaOlxONP6D1Lly6tCzsRuvvocSy6xH08Cy5R8VjuZnT6USHOmjNfnnn2Ob0Wldx999+vQtFXBGGe8Odf1JT160P0GbCgEyFIfcWQVYaCvPuLIVR8e+ITpEvXbvoc1r0eeOhhuesezx5PWLu0bt16Wbp8pXxU/WN9bogcePMQHRCudniNMDKFSn/n7gQN1Yp7oRxduv2si109LvnDGrkPQTUwbRJMDFFXDb/qoiVRDBWNH68mARIoPAGnxRD6BKhr0Y5htgLq6+3bd0jlKlW83gNEJ+3UpZsMHDpCypYvL/c/8IDO6kD7hnYbBz7fc89/vZ1x1PGY3YAAOtY5vu8vvfSSbqSK/fa6d++uMxjQHsJbhH2E6jVoqJuUW517hJDGZuwpKSmyPuTCNDmsGfIXQ19/U0vatmvv7fDjWWwTQ7/9ptPVsW2GJShw/zffriRNW7YSDNR+8tkXOabL43tM6+vQqbOuzYnZvlPDgGPT0z3x8YJ1wig32qK8XgiOULt2nRz54t7+x7PPl5G+AwZJfEKi2hNrfND/goB9+umnvTZCwIvFS5dp22xNf8Oyha+//lq9T2ijEeRh4cJFep/8ni+vZw/0O4qhQEkFfh7FkIGV02IIIxPoGO9LSZe58xdJg4aN5cGHLkRNwxoasxialUMMoVLBf2TfSqAgYgibrSGc5ZKly6VJs+ZSt34DqVe/gc6dte75bcOGOgcXozUQLtjgbPjw4dKmTRtp3aaNvuOzdfTr31+iY7fLhCnTpeTTpfTZnn/+ed3Ezhr1UTfz+UWhaARhDxwYtUHIbIQBx+LLG268SbCZ3P8+/FhqfvX1RUELpk2foYsx0YhBOPiLIXiDEGCiUeMm0rRZcz10t+umnt2u69X/VtfmWGXFu78Ywr2379gldevV17Jg1OuD/30kDZs0k5defU3TIIaw58OoMeOl/BtvahpE3LwFCwVud7jWccB7hbnIcfGJ0qTZhU1Xe/TsKbt379Zz4Iq33PG/lxDCfxGKIUNFwSQSIIHfhYDTYgiFRB2IOhedZmyajT374JGBELn9zrukXoNGsmlrmHbkMYh5622eYAu+7UdhP2MtKYIKQOSgw442Em0Fpl23bd9BSj79jM4gwf0RxAFT2TEQaK0ZMoqhWrWlfYeOOUSDXWIIrCBiJk6aJIhGh3YVx/hJU2TarLnSudsv8lrZ8vL3v3tCXj9W4nH5vMaXKs4iomO9exJhLXDTps2kXv36gv2OsKnp/v378xREGICFh6xFy1bSGG1506bSsFFjDYBgiUZwwmbt2HwVfS30PdDvghCCGIWAw/ovrG2aO3+hTvnHYC7sD/6YAolN70u/8KJXNFWuXFk3qYVgK+4XxZD9hCmGDEydFEOoRNAxhmckC5uQpmfKilVrpU27H3URIYIMYAQCe/Fc7BmyWQxFRqqXClFxsLM29r/ZqR6p4dqhR4WCkN5bQ0O1gkDY7VGjRsnjjz/u/d6/8sdGqj169hJ4sZ4vXUbPw6hXaGioVkYwBxhYh2UeSwzBa5SQmCSjxo6Xr2vV1jU9K1evlzXrN8kr58UHFohWqFBBMHqDRgOVF8QQosT4eoawEHb12hCddgah5DmydDO6fanpErtrtzRsnHs0OTwjhElScor06dtPXnr5FQ34sHL1Wpk8bZZWpCg/xBBG8abOmKWhurGvUtWqVWX37j1elz+eEY0sPF8X7TPUp4+GbbVYWO9g8nu9UFZOk/u9aDMfEiABXwLBIIas58EMiCVLl0qVqlV1yhfq+NfKvS6jxk7QKXQIsz152gz1/CMIEIIBlcvnePSxx7ydatzv3nvvlXLlynuvwwbr4RGRujcO6mL1Dp08qXvXhUVEyc89++i5r7zyqgwbPlzXJuVYM2TwDH1Tu45GWPP13NglhsAKg6MI5IDp89gMHlPhZ8yaLW1+aK9rgTD9H1Hennv+een4UxfZEhah/R1MP9SItVlZMmPGDHnm2We9nLFWGFttWKLQsonvOwQLZoLsP3hQ0jKztF3HZq5ffvW1ihwMWKLtnzp9pj4XBlgR7GHWrFmCdcSWYMK0vYZNmsrAQUNk0qTJMmPmTBVjOG/atOnSs3cfqVLtXe/5sBumBq5cuVL7HL7PZPdniiG7iYpQDBmYOi2GUPGjY4yOP9bNYKGmZyPS3brRKEYysGZkkM+mq5hyhc627zQ5OzxDVoWWfeCgYA0Q5u8OGpJTDGHNECogBFl44oknvBUXKgf/AxXRXXfdLZOmTFfxgO9xDQIBoJHJ7WU1AJimgPJnZGYrF7BJSk6WydNm6sgPpp/BNY8ACBjtwQs8VQz5RZMrWfJpDZKAihoVMA4IUKxZSs3IlO1xe/LcZ8gSWXgerPWJit0hu+L26PzjOfMXCeYjo3yIyrNsxUoNyYn55hCXBw8eUmYol/VCA4epcP5iqBc3XbUQ8Z0ESMCFBIJFDGGgEjMmmjZtmsOjgroeszjQXmO6N7ZmQNhltE8I3ON5z9bP+Ns6kI5BuEFDhuRY8N+6dRvP2iS93rNpKQQCBvfQZqDVQHtx8uQpOXToiIqIqJgdsiNut94bXiPsbZeXZ6g4xRCeEQOFCBiB9bRR0dEyZ+48efLJJ1U8oJ2+6+57pFmr1ho4CAOKWfv3a/sHzwr6PziwRmve/AU6tRB9B7SnGGwdNWq0htgGD/8X8sYsEvQVYIsDBw7KlKnTde8/CDCsM54+a47sjt8rmG4OwYbtOLDmyhJC/v2WgvyNvYtgK/QPiutFMWQ/WYohA1MnxZDv4+h/aKyzOYTK9YBWtNZaHHMABXvFEAIooMKFIEIFhbzhXRk+cqRX5KhnaFuoVlzo4M9fuOSiqWW+FQkWG86cM1/Wb9yim4viu4cffljGjh2rwQB8y+//WSu5M2f0OVCJwYuCii46JlYeK1FCRVjpMi/opmh4Xqsyyk0MYZ+h0LAIneeLkSTPcUJFKCrmnXsS8hRD1vNgDjnKjmhD1tof7EdQtdq7ygmeoVWr1yo7PC8qSjSquN73RTHkS4OfSYAESMBDIFjEEIIbfPPNNzkW+6MNe0cX4i/WjjWmW2HdLOp5tFF4z/U4elQ77CNGjMwhhtq1a69tGzrquBYzRXSN6Llz3khqaD90QO7kST0H602tPW4QdS1/MVQ80+TwTJglgpkZjRs3Fmw1ccONN2rABEvQvPDiS7Js5WrZEYd9fzJ0gBP9CwggtINoGdH/OXz0qG5oO2jYSHnoYU+4bfUo3XmndOrUWfbsib+oHcUvBmxwH/QD4uMTpGLFSjrtDRuoduzSTUUjBjGV6dmzOg0d0+Z9vWS+/ZaCfMa0/1WrVutMF/823q7/zxRDdpG8cB+KoQssvJ+CRQzhPxIqBFSu6GRjASECGmBjz8R9F0+TGzN+orRq3dYrVIrqGYqKilImaIhQwWEUBiIBuzRblcO3jRrJtrAwrcRQae9N3Kf7HQ0aOkzqnF9Hg3Nff/Mt+alLV5m/YKFOc4MXBVMH8B3EAhaQImx3Xi9P5e9hAoGGimzHzp3S5od2cs211+q9vqhRQythPK9VEeUmhrDPUHR0jFaYON86cF+IG7j189pnyPM8nn2XYCNchwPide6CxV4xBM/QosVLZMLESTqtECNHmMYHl3/FihX1wGccb7z5porEe/7rCb6Ayhl7LpQtW9Z7rnWN7/u7776rjR9c/sXxQlk5Ta44yPKeJEAC+RFwWgzBywEhVLNmTY0gZrV/1nu1d9+TBYsWa5Q37P/z7bffCur5N3G8+ZZ+xt/+ByLC4YC3w9crgenkb7yBffbe1GsmTJgoCQl7vVPJLV5WG4RZENjmYm9iovYPEG3Od80Q9hkaPW6CDBw8zBtWuladOravGUK4aWxoWq1aNXn11Ve9m9RanKx3RJHDfoPly5dXj42Ws0IFT7tYsaK2hWgPkf7aa2XlyZJPy7//fSFKLATRf/97r+aBdT4QPf4vzFbBNhnVqr2rQgx8y7zwoqwJ2SgZWVnqOQI3tJnx8fG6pumOO+7MYQfreSHEqn/6uXz5TW25/PIrtK9RstQz0vL71jJk2HCNjvvAgw/J3XffI99+20h279ljHPD0f8bC/k0xVFhyuV9HMWRgEyxiCI+Gyg6CCCGuEYu/efMW0rhJExk8dLh0+6WnV5TUrf+tDBgyXOrU/9ab9nP3HlKrTl3v3/iPXZAACpYYshBhpAVTyUaOHuO9JzZ73RYa5hVtcEtjqlm8Tqcb5j0PoSmx2FPd1gcPSeK+FG0orMoG7nyEH0UFltcLzhQ0jKjEli5dqpvdPfLooxqC+s4775K2P/wgYeHhsmz5cunSpYuG/h43frzs3LVLpw/4brqKsJj16tXT4A4IEa5Hu3b6d8tWrQRlw8JV6xnx7h9AwWqMVCyeX1yL0UBfzxAW2c6cPVtq1aot2GTV9352fcZ+CSNHjtSpinnxK+x3FEOFJcfrSIAEikrASTGEjjY2565Tp45uwYA6+66775Z33n3POyUc+/gsWLREvRAQQv4bbxe1nsdGrti7KLfBLkwxX7dunWA/QgQa6N9/gMyaM1esDVYh1oYMGyEdO3cTBO+BMGjQsKF0++WXHB6poq4ZghjCJqtXX321UVQUlYPpegykYq0yBkjRTuGFwcnNmzcL9l+yglzgWkyRq9/gW2nRsqW0bt1avm/dWlq2bClt2raVBQsX6/YYCKaE4Envvv8/9SaBVcXKVWXUuIkyftJUb/TACpUqy7RZc3TNcfT2ndKrz6/yS/eesmTpMvUI+g7IFvX37389xZA/kaL/TTFkYBhsYujUqdOyZetW+ezzz7171HzwYXX54cdO3o71N7Xryvdt28mrZct707BjM6Ko+FYgxSGGMN8WQglCxpoigLUxQ4eN8OaNCghhpOE5QcWdmX1AatWuK9iXAc+HyhOVl2mEx9dEHvHxm26W+sEHH3jvj3s89lgJqfnll1rB4Tt4nJCO6XCIYue/6aovl0A/+4sh/2dT1/7hi8XQtBkzVVxhGh8EVukyL3oCYpQtJ+XKY6Gs5yhbrrwGgkCljWfCPlNw7WNEyzoH79Z5mG5Q5oUXBHssTZ8+XedR+z6TXZ8phuwiyfuQAAkUlICTYghTviA0nnzyKbnssst1rQtCWiNIgtXRtsQQwm3Duw9PwiOPPabrWJ97rrQ8/3zuBwIIYHsIX88QPBRoJ5597nlBpLWnny4lAwYO1MFEf3bodCOgQLPmLXSTdtzn5VdekdFjxnr3FKr6TjXp1KWrvP/Bh/KPf/5T2xac/2u/fraKIbTfWFNVpUpVefGll3Vd8KuvlZWyaOfKedotBIGy2rLyr7+uUWWvv8HTD8CzIcrsK6++qucj+ITvgXu8VracBl2wptzdedddgsFLrBHySCHRjVC7du2Wo2y5tfHYf+jtihV1P8KMrGxd67UzLl4j3sKDBZ6IOou9/lauWSd4Vo9AqiKz5s7zLmHAtVhvjHW/8CSeO2c9jb/Fiv43xVDRGfrfgWLInwi8MQ5uuur/OKjoMLcVCwat/8zYyOzrWnWkZ+++ct1//qNHrbr15a23K+o5+I+KHZyHDB0ubX9oJzfccKNuLIoFgkOHj5SFS5dL3QYNvfeDQNq4NUx+6nphw9ZmzZrpjta+z2PyDEFshYWF64jMud/OedYYnY/cNmzEhbVFDRs2lLDzogkVxf4Dh2TK9FneZ8YI1uLFS/JcN+QRQp6oaxCGl112mbcMFhu8YxM6bOoGbxMqM2yeWrXqO8UuhsAKjDCl0dczBFE2d8FCiYjeLpu2hcnq9Rtlw+ZQ2b5rt3cDVawBS05Ll32paRrFrlHTZlo27GHQrkMn2bw1VINmpKRl6Bzr5JR0iYvfK2GR0bI1NEznPB88eNAbnc7XbnZ8phiygyLvQQIkUBgCTooh1H1Yj9Pn135SqtQz8n2bHyQ0MloWLlmqwXHQ3kIMYb1sdvZ+2RYaLv0HDZGho8bIvMVLZfGyVTJ1+ixZuGS5rFyzXtas2yCr/Y52fiGuMbiJc5etXKMeCYR33oGgQIbpYGhPMZBoBUtAm1GxUmWZPnO2BitCHwHbPXxR40vvmhgEMGjTpq2MGDHKu6YH/YMOHTvKxs1b5KeuP3vLhtDYUTHb1Sty5VVXqRD44MMPZfWatd51uZZNwQqiJGFvkoRHxUhU7E7ZnZCk7RzarOTU80daukZtTUnPUO/KmxXe1vtibdHUmbO1bdS2Lh1RXrPEavfwnpicImvWb5CHHn5Ygx60bPWd7ElI0NkpyB8vrJf68ssL5UW/AFww6HrtddfpICz6BcivwtsVNYgD1kMfPOTZxy8+Ya+MmzjJ6wWq+eVXsnHLVlm/caP2J2DzSpWryPyFiz17KVr7Ix49qmuPMSjqtyTYQmTLO8WQLRhz3IRiKAcOzx/BIobwnwn/qXbs2i0/dvzJ2/HHZqKz5y2Q8MhorYDR0UZFi9EL/KdHRVepUhVZvHS5xO2Ol/DwKImJ3a7ra/Ylp8qK1eukboNG3vvZIYbgFUJFjQOVM0ZJho8Y5c2jYcNGXtGERZKodNas3ygff/q5ngPBMHDgQN1UzmASb9LZs+d0ceqK1Wvkfx9V997fVwwhXGfrdh1k+KixMn/hItm4abOGsS5uzxAe0iSGsGZo6fIV2iAgch2ED94RbcgaTcI7DjQOO+LipXGz5lo2VOAdfuoi28IjPOfivEzPkZ7pGYnC+iZ45IrVLc81Q97fID+QAAn8vgScFkOYgpWWniGx23fI7vgE3Th8+YqV3vU375wXQ5gGjkA6iHCKCKMx23epiLj9jjuke8/eEhoeoVsxYOYEDmxAnpScKv0HDMrhxWj13fcauTUxOVXfkTfW5JqmkSPi2uTJUwSbjqOT/sZbFWTshIkaJGDR0hUya94CWbB4qfzgs8FqmTIvyrjxE2RfSoqER0ZpIKGo6BjdPwcBiYoihk6fPqMDgog+C/GD9c0oK/5GmO2sbE8wKETewzFr7nypULGSVwzNmD1H4vcmeiLzHTqs63cRgTUjM0v27z/g+Ts9QyIioyUsIkISEhO909KsX2Vqapr07NkrB9PXyr8hPfsO1ABOEJqbtoSqcMW+h3hOayNz2Bri6td+/b3TDL+pXVvCIiNl4+bNXjFUuUpVnRqJ/g7affTVzpzx7ENUnEIIZaQYsixt3zvFkIFlsIghuFkRqaxf/wE6Vcrq8P/8S3fZuStOO9RYe4OgBfjPXf2TC8Kic5euErJxkwYBQFhueCs8Mf8PqKvXVwx1/fkXWbU2pFCeIQRQWLd+vSxbtsy7OHTpsmXacPiKoUaNGkt4eITSRiAGVOwIolC7rmezUnhzECgA64DyeqHDDyZxe+Jlxuy50qP3rzJg0BAZPnKUjBozRkaNGav7B2wJDVcRmZySKgcOHtToNv5iCEEKOnftptHxxowdKzhGjxkjo8eMk5Gjxuh9K1d9J4fgymuaHJ7bJIYg9NasXaeNJJ7dcyBC0DEVdogUhEg6YILGYteehBybrv788y+yfedOOeodfTp/j2PHdB8oVMbFKYRQLnqG8vpV8jsSIIHiJOCoGPIJY21FMYXgWbt2nVeAWNPk0MZiQFDbqLg9gv2BnnyqpM5WeODBB6VPn19lX3KKdt6xthQHBgaHjxiRo+OOaHJoCyCuDh05otHkfNfEWKzRli5atEhKlizp3XS1dp26KnAwZQuDn2j/sVH5d63bej1DaHeXLluhwYziExJ1oA2DaugnxMbuyCGGPFPct8qEyVMlX8/QeVZ4VoT3xvR0THPDnkwDBw/WAVlldPKkrvtFBFestapYuYqKIXin5sybrxu2guOe+HgZPGSIVKpUSbBn08CBg3T9NKYuYsYM2nbcT9tAHwWCwUF40iZMnCijRo/Rdc7zFy0RbOiqYjY1TT1OEGiIwIepbQhTDrGJthRbc7Ru84N3miE2l98Vt1s2bd6SQwwtXLzUGyjB8kr5PIZlJtvfKYZsR8p9hkxIg0EMYScB/MdEWMi69ep5vQSvv/GGQGygokElgMhl6OR37NRZHnm0hJ6HebeVKleWr7+pJfXqN5AevXpphBlUIAhuAPf1yDHj9HvcGwst12+Ca7zg0+Sefe45+eKLL3QTUUuswcOze098Ds9Qo8YQQ+FacaACg0sam6d26faLbrxmXTt61Gg5eeKkx7uUkaFzobGjNF6obFBRwQ2PUaL4vUkqHDCyBgao/LEfEkabUFGiIYHIQMWIa/zFUMmnn5YNmzZ7Ql4fxDWea8EIXht4aBo18UxXs56vMGIIm7dt2LBR10rBptaBkSTfz6jQ0TBi+luTZi3UlgiM0LNXL412g3N9r7GuVSFk+iHbmEYxZCNM3ooESKBABJwUQ3hQ1H+ob1FHYw0v2tKQkBCv50DF0OKl2t5AoGDrhLT0dBkxcpQ8/PAjKobQhpQpU0Y792i7cQ4OdPpHjx6dQwwhEALygKjAAY8D8vd/ZWZlSZ8+fbzXPvPc84Lp6WgfdYDt6DEN0Y3nwPpSeI70OV54Sb6oUVODCbRu01bi4vZ428vEpH0yY/Y8qVWnnm5qPnb8eBVXE6dMy1cMWawQ4AgiBmGmkSdmODxfurTMmzdPBwXRjqHdQpkQcABTznDeTTfdJPPmL9TIuWi30dd54YUXvIEqsL6qe48eEhUVrcEkkA8uCN5aAAAgAElEQVTs4d8G4m+NCnvosHqkMM3R0z84oO08xA9s4OmLZGiUXghTy8bIt0yZC/kicFVycops3pK7GPK3TXH+TTFkP116hgxMg0EMYf0NAg3AW4FdpVGBYb4rFkVisSQqXFSSqDAxjQ4bjeIcrKO59777dYflq66+WtPgcUH4SVyH0Sa4hBE2evuOXZKwd6+67cMiYwolhpCndSDcJQQGRmN2xsXlEEOVK1eWPr/+qrtHo+LfsHGTJOxNlJlz5so7710IhND9l+5a6WTv3y9r1qyRAQMGyIQJE3T9EsqMRslT7mNaeXvm+HoqNoim48dP6BxeVGzYBDYhIUHfIYz8xRACK4SFR+jonKeRO+UZ1dPNbg9I3J690vj82h2rjIUVQ5s2bdaRJ9+fG35nvi80EBiZC3TTVf/rfe9l92eKIbuJ8n4kQAKBEnBaDFnPiefAAQFzkRha5BFD+B71JaaDh0dEStNmLeTSSy/zChGE1969e7d2vD3nndZ99hAsx2pnOnXqpIN4+N73sJ4D76fPnFaxUL16de+9W//QXoULhBA69mgzMWWsTp266hW65JK/6eDj448/KTfddLPmd91110mPHj1lV1ycCigMJMYnJElYRIxs3xmnU+kwbW3S1On5iiE866FDh2TmzJm6mboKoUsvlTvuvEtefvkVmT1nrqBtxwwKvMBq6bLlUrnKBTGE7TcgXjCAiRknGAD2Da197733CjalnTJlim7HgXYT+fq+8DfSNXT2+dkYED8YRE5MSpK5c+dqwKFJkybJ8OHDZcjQoVp+9CEyMjKkn09gCcwg6duvn2RlZ8uWLVu8m7NimpyvZ8jijffifqG0x0+dlpCIOPl+Sox8PDRausyPl8PHTijbnDSK+2n+GPenGDLYET+kI8eOy/LIFKk+JFqP6evjJDVzv45AGC6xNQn5o8O/Z88e3V8GFaQnrv5/JTwiwltJ4j87Ql1PnDxdXfE477/33icdOnfVkZ2y5V7XERmkY3ElKoCkffu80U8wLQtTteAJweJ+zBO2KuPcAihkZmfraJd1nvWO50Noa0RNw9494ZGR6pGyvvd9v+KKf0nfvv0kNna7hEZESdsOF6Liff3117Jm7VqN0//rr7/q/gC4FuFKESAAlRwqUowaQSxiczlUrihXUlKSVo4QQPBCobLEPWbMmKGeFX8xpPsMxcR4eeLeWomeX9OEHarz2mfIZHTTNDl4hrDAFYIrrxeuxYhVoGIor3vZ/R24cJ8hu6nyfiRAAoEQQKd5R1KW9J4dJp8Nj5KWE8JlTUyKCo5Arrf7HLQ/JjGEDjzqSrzQKcag3LqQDRrSGdHP4CEpV66cLFy0SD0Xv/3m2b9v3LhxXu8O2ruOEEP5tBfotCPcN0QUDgQNGjt+gk55Q9/AeoaVq1ZrACEIEwyQNmnRSsZNnCKffPa5XH6FZ88c5Nm/f39tRyGksDk42lUMIkJE7NuXIhOn5C2GUG60xytWrPAGHkCZH3joYWnS4juJjt2pfQ8IlEDEEMQkBjdTUtNlxpz58tIrr2pYcN++xODBgzWCqq8AsdpwPAv2LkxMTNQD/anQ0FAdYLaCTVj3wvS8xUuWqkdqfUiI1K5d2zulEHsJhUZEqhcJUX1xLlj6iyHkhz4IhC4GYtHeW78FNYaN/+AXRjFkI1ARTpMz4XRaDMHFi44/otc89NDDKlDwPnjoMK2grJEnVFoYeXrwoYe884URinPdhs2ye89eGTthsrz+xlt6PTbvxAjQ1KnTtHJDhYTKFiNcmFYWGQMx1C1fMZSUnCK9+/T1nmdVJg8/8qgMHTFGxoyboHN7UWEgQpz1ve87xMGUKVMlMTFJklPSZKhPoAXsgdC0aTNBBf7pZ597w2N/9dVXWqGhckFDhA3msC8R5ktjP6EHH3xQXexws2MnaeR/7bXX6jN8+NFHsmLlyos8QxBD2EjPV6RYFSmmH2K6GsWQ538IuFAMmWoLppEACRQ3gf8XYmjxUvVmoP3Gy5qqlZaRIbPmLtCtHxDxdeLkqZKdna2ei/zEkJ/Dw4sZfZRp06frjBB0zNHWtW73o0RERat3B3njwOarmJWBCLRog2++5RbdEByzSRCE6aNPPvN2+jHz5Jfu3XW2CdpYCDv0E9BHwDqn/MQQBicxiwNtMPobyK/Us89Jt+69JHZnnKSlZ56fhXFaPULKKA/PEAQdBoUxWwJT4bEu+oMPP/LeG/eHqGnXvr32Byw4eF5sooqB0Ntuu037A3gmHOgXYIN26/msfgn6DOtDNuiapqZNm+paIeu7/gMHCdYeQ+xs2WIWQ2AdGhomdevW1U15S5QooQOgmLlTHIKIYsiytn3v9AwZWDophvAfB/NYly9fIc88+6x3XyHMm42JifWONqCiQGSbVt+31kWc+I/7xJNP6SZqKWlpgugrGInBZqfWf2q8d+zYUT1O+M+L0RRUelhnszU8Utq07+A91+gZOntWlq9cKR99/LH3PNyzXPnXZfTY8bJy9TrdTwCLLH3zxGdEfuvRq48MHzlaBdnevYnqss7ef1DWb9ws9Rs1Vhc8zoWHCWuRUEEhsALSsDkqGhCMFsHz1LhxY3nppZekVKlSgt264ZnyzxN/I6T2kKHDNAoMosZ0+7/2zgPOquJs419JNInxU7FHjS2fYtRo8iUaO1ZskWKLGkskYktsVKWJJTGQGE1iC02aNEW6FEEBQVHKdsqydHaX7YWtQN7v97x353L27Ny7d3fvci47z+F3OHfnzpnyzLnnzP+8M++8/ob8+LzzNO4ll1yiQAUNoLvZMbTAzN3xwxAWNkU5AGPmPO8lZLMMwYEC1qkwc5+88b2faRnyqsHPVIAKUIGQAgcTDJnOL464pwMqABMzZ81Wr6IbNmbpM2TXrl1qSVixYoUu/OntoBvLkA2G8PJu7bp1ctfddysE4TmHxbzhIADzlAAQyBsg9M+335az69YwwlA1zIHNzNokGOEBj2lD//rXehYpvHRMSUnVvoH2Efbt0/S2btsuo0aPU+sT4MvvWhvWl6FDh4aHxumz9/Y7ZNiI9yUpOVXn68BKhhewfivOiBEjw3OLACxmmBz6ONAPjg3Kdu9W99oLFn6mC8l7tbrnnnvUiZPRHdCCeVTnnntuePigt2+AF6533XOvvPLH1+S94SPUucLESVO0nH946ik544wz9Dy8tMUSFyu+XqkWMoyiWblqddgydM1118sHEydpPwBajRkzTq66qoOC1rHHHiszZswQLEKL7+K9EYbirSgtQ1ZFg4Ihc/PclZcnH02dLvhB4UeMBdh69Oip3sb27Q298dmYlSV//8c/dXE3s/jYb+5/QFYnJenQN3hIgZtmvIWCD39zM7jssst0fDI68nhrgbUC4J2u+2OPyxVXdQjHwwROvF0xG8oGSIBXtIcfeSQc75Zbb1UXnVu27ZD1GzbK7596Wi6/4irpeNPNetNCuXv26iWzP5mr85QwVA03RUx61Lc+5bvVBemsuQvkxB+ExjCbspojbk6YNIk3PnhTlZqWodBlvv/2tw+Rq6+9Th787cPy1NPPqFY9evbSfCd/+JG8969h8thjj6vDiA7XXKvrDODck08+WSELK1EPGjRI94GDBsmAAQN0Ebenn3lWF74z+eCIt2xY4RvWqNTUVL0RGo1wjARDCxYsiLh6uDmfMGSU4JEKUAEqsF+BRIMhvNhatmy51YGC6ZSj9Prc3Ls3PBcHozDwog1zdZ9//nl9/tx7773ys5/9LNxxP+/8n8joMWMUAmwwhGcgOuWY86pWoWOOlc5d75B1GzL1mY7nCPoQGB6OBbkxfA7PLjgEAEwgf4wqKSkr0xEY993/gMBRD9I677zz5c9Dhuj3cO6A4eYjRowQeIOFkwMs24G0Hu7WTdYkJYc7+hiCBpDCcD0MvbutSxcZO2GiZKwLDY2Dd73Q875cZs+ZI4MHDw4/c7Fg+Aknnqj5ow+w6LPFOpwOy2ig/oAJnFu+u0KHAC76fIk8+tgTOo/oyg5Xy59eG6Ivig1koZ8A/eCwAXVCebHw6yOPPiZPP/ucvkCeNnO2epbbrq7Ns+WbVaulZ6/e+iIW5xx77HHS9fY7ZfEXy1VLABk0W7VmTRiG0C/DUDn0HwYOHCg33niTvsDF+VjD6LPPPlc34K2x+CphaP+9IV6faBmyKBkkDMHygYl6i5cuk85duqoHmCd//weZN39B3duakLvt8RMmyJVXXRWGkvPPP1+dDeDtBTzP4OaDSYibtm6X8RMny4U//Zmc3f4cufLKK2XYsGHaMd+1K0/+9uY/dJgdbhjeHeOHi4qKwurgpo6b46YtW2Xk6DHS4epr5Nprr5PpM2bqDQpzXeCc4ZtVSfLe8FEy+aNpsj5zk3plQ3iReneDi9AKtW7pW6e9e/WtGby8pGWsl9vvuFMXkPWWA5/vuedenWSJm7y+ZcvOkT59n9cbHMqABeZGj/tAViWlCFyNm/V78goKdI2Dl199VRdf9afbkr8vvPBCmT9/vj58wiJFgCGsUg4vOphYGm0zMLQuc5M8/VwPbQ+A7iPdu+uCtdHObe3v0P4cJtfaKjN9KkAFbAokGgxhvi1Gb8B6gM4v1vb5cOrHav3Hs80PROo1ToecVSvkZGE+8A03hEdD4Fn07UMOUecGfV/oL9+sWqUvH/0wZJ7D8NaKfsGVV3WQu++5T0aNGafPX+QDy9GSJUuka9euYXg5/fQzBB7RjOUIVhdAFbzOLVm2XK7qcI20P+fHuqgsXgzihWVo2NtEueaaa8NQYZ6ZgKPt23eE64m+ApwO3HTTzXLnXXfLzE/mycbNWxRq0BfBi1S0IUa9wDnEyaec0iBNrJN07XU3SHJKmg7l91pU8Bl9IwAJ+hPpa9fL0NffkJGjx+oaSXDRjfSxIS5eFr/z7nsKKNdff4OOXMFSHhhul5OXr30WzJXOzsmVZcu/lAEDB4XdpB9z7HFyW6cuMvnDj3WEDfLUUTQ1NbpeI/pdGO1htPAfj2rXTvCSeOPGrIhAa7vGmxJGGGqKWrHFJQxZdAoahnAjys3Ll8xNW2VNSrrArI6bCG6E+FHC5P5Cv3769gGrSx933HG6TgEmPKLsuCngTQomP2KBTgyXw3jfv77xpjpgAJBgx1C6Ee+PEcwzOvLIo3QsLcbUYnja1KlTFX6MPOYmjHUWYHFauyFLXVtjoiWsTLix4gEBsMnD4mpYHK20TKEMkyDxPW7UKL95UITT3L1b65u6NgREuJnAKx4eMhgT/PY770hubm74hlRUUqI3NYDeVsBPfkF4ITddK6E85F0O9cecJFjH4PoUq023dIc+2OERKD09PaJlCIvc3XHX3TrMDxYogFOsMJSUmi5PP9tDh0gaDdAeQW5oK8JQkC3AvKmAuwokGgxhTi9ecOFFF+7RP//FxbpIJyxGfhhCq+H+iXCz49mEhcM7XHONHHf88foMhxfY3i8MkK9WrNSlIQAs/g3P9/0vBXMFXmDxEhDLVOBFIb7D8DisW3TSSSfpy0X0Efq+0E82bNykMIE4SAfpY407rEX08Yw58pe//V3mzl+gTpkAL7CwzJg5W7p0vV2OOqqderNFXwPPv9de+3O9kQ6htCoUfnJ25esaPvBKB5BAWuaZj/pjPnC33z2iVrUjjjhSR2ogXYDQhClTFdDQVzDnGA3wN170olzwCodFyjHMHv0O9HdQJ2yIh/PLy8vVrTYWOMd8Jbwc1jWFSsv0HOgFKH39b3/T+dQYegfI6XL7nTL5o4+1HOoCvQ7kUHb0sQBgl19xpRx73HE6TBHztbBjTjbCbrr5Flm67Et93nv7O3XFi8sBdaUDhbhIGU6EMBSWYv8HXGhBeZPDjwc/dtxI8OPFWxD8IM2bFfzo8R0WHV325QqdBPnZ50v0DQfiYMPNAD9cc9MALGACIFaxxtsevEWBJSc7N09WJ6fJsJFjZOjrf5cx4ydKUnKymvARz7+hbAAbOBfATUWHuwFw6m7yeCOFmx9AC3mjrLhJwtwNUzHKhd1s+Kz1ra6W4tJSLQ8WSx0xepzcdc99emMaMfJ9dYWJdBAfb4dgLsdwA3jSgxbQB/kBynAThA6IhzCA09btOyQtY52sWpMU3lcnJauZH6Z+fN6/p8iaNcm6e+PjM+Jg1Wtd8DY3t95N3tQJWmDC5zerk+R33R+Vs846W9555z3JytrUAJzMOeaIc9EugGB4z/ndo4/r8IXRo8coDJp4QRyhPWEoCOWZJxWgAokGQxhiDrfP6DwDhrA494xZc/T5h2ev9znnbz3UBS8Ht27frgugL1i0WJZ9+bUkJadJZtYWfebrAqCWuSZIV5+DcCygnf1C7bTjmYxnHvLGMzAvP1/WJKfItFmfqMOE1PQMHRZnnqMoE+JiuDqeV3hpiHlBsBQB6JAGnuN4EYtRHkNef1Pe/tcI+WzJF+qkAenj2W02pIX5QHgWA1SQJp6/iOPVAvHwEvaTefNl4OCX5eXXhsrEDz+Wpcu+krT0dfqS01iSTNreI3oPeE4iL5QPQIN+BtI1m67RuC80HxqgpOWBpatuzUHUDeUK1b9GLTj/eOttffH6h2ee06GE23fuVH1VU4/FCe2GvtSKb1bJjNlzFd4mfTRNsH84babM/XSRJKWkSVFRcQjQPP0dU754HAlD8VCxfhqEofp66F9BwhBuHLhh4UeHHy/gw4CQuQnihgMYAdzgrQ5Ww/Z6RDNVwnm4WeCmgR03DdwE9EZXN/4WZmOM64XZGW+XcJP33lhMWjiashkvdFquurdM+B7nIX2Em5tN6DxvKg0/Iy5unLhp4S0OPM98vuQLdbQAj3PQAm2CXW9gWKiuzhoVBq46IEMZsSMe6lleUaHABKiEZrBYYcfnyDvcipaE4+o5hUX6kIK1y7RJw5qEbtS4mcPr3pIvlumkWayiDbiMpKtJB9+jnbAgLWAXC8JO/fhjyc7J0bqYeEEcoSlhKAjlmScVoAKJBkN4tuTk5uq6eWPHfyCfLvxMNm3eos9b3Mdxv4y2oZMN6xCGae3IztVnOZ7jpeXl+mzT+TJREkAeePbh+a5AUFOjzxfki+cpwvB827pth+zIzlFX2YjvLZWJayAGzx48V81zHS8XAUewKGGh9rXrM7Wc5uWst45oH0AKdMF56I+gHN44qA7ioV8D2IBFa1VSqg6ny87dpeUF4KE8/vO8Uph+QOhFawhqvPVCXK1b3dA6lEX7Pp4+gokDHeFwYe26DTJx8hT56uuVOtQeMKd10LYM5Y400W54GYsXzJgnnZm1WQEWEIulOEL9sRJ94azXgbfgcfyM+tIyFEdB6VrbLiYutKAsQygRfnT4IZkfO/7WvQ4GcLPBjQs3Jdz0cPPC9/4N1hiYlfEDNjc4xEO6SAND3mBZgTUCP3CERUrLpI3zUba9+0I3Om+++OzdzTmNHXEO8gUQ4SaEMukQu4qK0NsuX930xlv3ZgefUXN/7ZEmbs64ocESVlFZFYJLPDx0YdYmHKtwbmhHGXHDhwb+DWXAQwwPFGiLOpibO8riq0a901FepIk2QLviQYkjHgx6br3YB/4PlI8wdOB1Z45UgAqEOtGJtM6QeWbhOYznlRmhoMAR7UZvXurVDeXCizPc582zHOfj+Yz0o236vKgDH+0n1D2PNLwOSvCcQ7oYCofnoPWZpWmEwAr9BPMSE3HxTEb98BzTZ9nu3foMNc8/WxlxHnZ8Z6sCaoV0UTY4cAj1P/CcDKWt0ALHCdEqr30k9JNCe6SoSKNeeSwRUU7kCZ2Kiuv6HXD2UBN6xnvrgM/oUyE+NMWzHbqY9sdntCf6GwqClvziFYS6EYbipWYoHVqGLHriQgsShrxFst0U8ANXwNEhaNFvnDjf3LRCN6gQsOAGih81Ots44m+kG+sWQpBYYzceD2VD/rhpAwhQLtw0FXa8d6TGk6oXA+nixgSgwG5ujk09+s+vl0ndHyF9Q2OxUQ+za74x1AHnox3wsDF7a99UbfWwhaFshCGbMgyjAlSgtRXAcyDRYAjPENyn8azCCzA8R3Gvtz2z/fogDs7HM053PH/DLxP9sSP/rc8c38tATbvuuWf6CcgLcW0bgjWduvwRB39r/fbsCT/HFJbCoGNPy5a+N8yUDXXWvkdNjWqIv83zOUIxvcnE7bMpD+oGiEHfY389G2aDsqGdzHPaPOPD/ag6oGx4ZnxDUG7CUHw1JQxZ9MSFligwZCmeAERC/2zfxhbmvQHGdkbrx4Lu+2/KDa09rV+C+ORg6qEPN9+DqrEccK538//t/e5Afka7EIYOpOLMiwpQAaNAosEQyhV+VtUN/9K/TYFjOOozGE9yD4TEcFrMUVr6wrI1+wh4rpl5xDFXqJUiGv1xxHWmz21UPspmzkGUSJ+jnN7ir1A6wlCLZayXAGGonhyhP3ChJTIMWYrMICrQqgrghk8YalWJmTgVoAIRFEhEGIpQVAZTgVZXgDAUf4kJQxZNCUMWURjktAKEIaebn5WnAoEqQBgKVH5mnmAKEIbi3yCEIYumhCGLKAxyWgHCkNPNz8pTgUAVIAwFKj8zTzAFCEPxbxDCkEVTwpBFFAY5rQBhyOnmZ+WpQKAKEIYClZ+ZJ5gChKH4NwhhyKIpYcgiCoOcVoAw5HTzs/JUIFAFCEOBys/ME0wBwlD8G4QwZNGUMGQRhUFOK0AYcrr5WXkqEKgChKFA5WfmCaYAYSj+DUIYsmhKGLKIwiCnFSAMOd38rDwVCFQBwlCg8jPzBFOAMBT/BiEMWTQlDFlEYZDTChCGnG5+Vp4KBKoAYShQ+Zl5gilAGIp/gxCGLJoShiyiMMhpBQhDTjc/K08FAlWAMBSo/Mw8wRQgDMW/QQhDFk0JQxZRGOS0AoQhp5uflacCgSpAGApUfmaeYAoQhuLfIIQhi6aEIYsoDHJaAcKQ083PylOBQBUgDAUqPzNPMAUIQ/FvEMKQRVPCkEUUBjmtAGHI6eZn5alAoAoQhgKVn5knmAKEofg3CGHIoilhyCIKg5xWgDDkdPOz8lQgUAUIQ4HKz8wTTAHCUPwbhDBk0ZQwZBGFQU4rQBhyuvlZeSoQqAKEoUDlZ+YJpgBhKP4NQhiyaEoYsojCIKcVIAw53fysPBUIVAHCUKDyM/MEU4AwFP8GIQxZNCUMWURhkNMKEIacbn5WngoEqgBhKFD5mXmCKUAYin+DEIYsmhKGLKIwyGkFCENONz8rTwUCVYAwFKj8zDzBFCAMxb9BCEMWTQlDFlEY5LQChCGnm5+VpwKBKkAYClR+Zp5gChCG4t8ghCGLpoQhiygMcloBwpDTzc/KU4FAFSAMBSo/M08wBQhD8W8QwpBFU8KQRRQGOa0AYcjp5mflqUCgChCGApWfmSeYAoSh+DcIYciiKWHIIgqDnFaAMOR087PyVCBQBQhDgcrPzBNMAcJQ/BuEMGTRlDBkEYVBTitAGHK6+Vl5KhCoAoShQOVn5gmmAGEo/g1CGLJoShiyiMIgpxUgDDnd/Kw8FQhUAcJQoPIz8wRTgDAU/wYhDFk0JQxZRGGQ0woQhpxuflaeCgSqAGEoUPmZeYIpQBiKf4MQhiyaEoYsojDIaQUIQ043PytPBQJVgDAUqPzMPMEUIAzFv0EIQxZNCUMWURjktAKEIaebn5WnAoEqQBgKVH5mnmAKEIbi3yCEIYumhCGLKAxyWgHCkNPNz8pTgUAVIAwFKj8zTzAFCEPxbxDCkEVTwpBFFAY5rQBhyOnmZ+WpQKAKEIYClZ+ZJ5gChKH4NwhhyKIpYcgiCoOcVoAw5HTzs/JUIFAFCEOBys/ME0wBwlD8G4QwZNGUMGQRhUFOK0AYcrr5WXkqEKgChKFA5WfmCaYAYSj+DUIYsmhKGLKIwiCnFSAMOd38rDwVCFQBwlCg8jPzBFOAMBT/BiEMWTQlDFlEYZDTChCGnG5+Vp4KBKoAYShQ+Zl5gilAGIp/gxCGLJoShiyiMMhpBQhDTjc/K08FAlWAMBSo/Mw8wRQgDMW/QQhDFk0JQxZRGOS0AoQhp5uflacCgSpAGApUfmaeYAoQhuLfIIQhi6aEIYsoDHJagQMBQzU1NZKdnS179uw54Fqjfnl5eVJRUXHA82aG8VcgPz9fdu7cKcXFxfFPnCkecAUIQwdccmaYwAoQhuLfOIQhi6aEIYsoDHJagQMBQytWrJAzzjhD1q9ff8C1BohdffXVMmnSpAOeNzOMvwK33HKLnHTSSdKzZ0/Btcvt4FaAMHRwtx9LH18FCEPx1ROpEYYsmhKGLKIwyGkFWgpD1dXV8vjjj8uvfvUrGTZsmFXLpUuXyn//939Lhw4dZNGiRdY4sQbOmDFD8+ratats2bIl6mlr164VdJ4PP/xwufDCC+W9996LGr+xL5Ee6tnSff78+Qndkf/nP/8pt912W4vrCZ02bNjQpLrOmzdPnnnmGdm3b5+1OS666CL5z//8T/nd737XIA50NeVet25dk/JFZps2bZIuXbpovWfNmhXx/M2bN4fjoY5vvPFGxLjWStQF4np88803Yz4X1zuue+SJ30FzYLBPnz5xaVfzG0hNTW1WOYwuhCGjBI9UQIQwFP+rgDBk0ZQwZBGFQU4r0BIY2rp1q/Tr10+OOeYY+Y//+A/txNrEBAzhe+yjR4+2RYk5DJ1HpPOd73xH0BGLti1btiycL85BR3r48OHRTon63fLly+ulZ+rU1CPKEK0jCxB499135cUXX5RBgwbFff/Xv/4VNf/u3bsrcDS1Xrb433zzTdS8/IIDqH/wgx/IwIEDZceOHf6vtQ0jwRB0/a//+i9to6+++qpJ+a5evVqhHtAO0II1M1IbJScnyyGHHKL53HzzzfLxxx9HjNugAnUBI0aMkIsvvlh++tOfyltvvRXTEFJc77juoXNTIMpbhssvvzxubYtyfP755w2g1JtfY58JQ40pxO9dUoAwFP/WJr8IipkAACAASURBVAxZNCUMWURhkNMKtASGlixZEoYDdOqiWYZMRzkeMNSuXTt9Qx7NMoS3/EOGDNHOMSxSeJN93nnnSfv27QVv/cvKyprc7l4YgqXJvB2P5ejthDYGQ5hbBT3R6Te6xfP485//PGoH1sDQEUccIbfeemuT6gktfvKTn4TL3VQYgmXoqquu0rr/5S9/EVhhvFsky1BKSoo89dRTcuSRR2qZm2oZApwYkPryyy+jwo0Xhv7xj39Ejestu/fzpZdeqnU85ZRT5Pe//71gOGdjWzxh6OSTT7a2LX4rAEJcb+eee641jvfaJAw11mr8ngrErgBhKHatYo1JGLIoRRiyiMIgpxWIFwyNGTNGdu/erZPbMcHdu+PNuenM44229zvvZ0yO92/oJHrjvPzyy/KLX/yiXhi+956LyfWvvPKKvr0/7bTTBB1jbH//+9+1HN/+9rdl4cKFTXaq4IWhkSNH+osa9W9YGkxnOxYYuuGGG3RuDKwk0XbUBdoedthhUeN507jppptigqH/+7//ixovUoVheTJ1bSoMIU1YadAhP/bYY9WS6LXQRIKhJ554QjW4/vrrY7Ky+MveHBhC+XAdeMvnT9f/d21trToTAZAC3DAk0H8+nH14r3nzGdfsoYcequ2N3wEsZ+Y77xEOQ/xpmnIYKH/ggQesbZueni7f+973NI+//e1v1nTGjRsXBibCkFGWRyrQcgUIQy3X0J8CYciviITGY5ZXVMqi1Gy5b1i67lOXb5Sc/CLrg8GSBIOoQJtSAJ2m3dW18ur0tdJtZJoMnJImi9ZslNoYPL95LUOAITPEydvxxmczjA6ddnQA/d+bvzt37txA26+//rpefFgrMETJnGOOmCtitqeffloQDx1Orxc7A0OwuKAj21SnCgcKhlAPdGi9HVzb523btsn555+vFob7778/YufYfy7SjrYZy1DQMDR79mwFbG9Zo8HQvffeK7t27fJGj/lzc2AI83bKy8tjzgMRMzIyBICOaxhAU1RU1OD8yZMnW0EY16yxFuL6Nte+/wiHIVVVVQ3SRQBhyCoLA6lAQihAGIp/MxCGLJrSMmQRhUFOK9BcGJo+fbpgqA/eVL/99tuyfft2wZtkYwFqzhEdNf/2xRdfxJQmymK2Bx98UM/xhuE7M3TOlK2pThW8MNSaw+RMPSId58yZo44CMIQNnWLU57HHHovbCx0DQ0i7tYfJbdy4UTp16lRvKN6VV16pnX5cD/78AdOo7w9/+MN63wEw/GFm+CLgeO/evfXkxLUA+DZxLrjggvB1ZsvXDLtbsGCBOgKB5csWz6SHI4a/wRLk3TCcz1h3AOdeC06vXr10COeoUaPCljVzrTbliOFtlZWV3mzDn1FmABWHyYUl4QcqkDAKEIbi3xSEIYumhCGLKAxyWoHmwpABHwypwdtubJhr4Z/wf+ONN2on81vf+pY8+eSTDb73xsfbef8G64eJYzqsmGdhwswRQ8/Q4cVk9GjxunXrpkN84AEPQANLA9J46aWXGrUqeGEIHXiTdyxHTMo3b/UbGybn18D7NyAUgGDSMp1kA0NoT3gpW7VqVb2OtjeNxj4bGDJpt+TY2DA5MyQOeaBesWgZaxwMp4ROaGc/lCQlJYkZYhhL/cw8IgyLM0MAGzsPVjt4WzTbmjVrBMP5MAQQ16Fx8pCbm6tWIlzXcMgQqX64ZvE7Qr4Y6hgpXjSHDAaGGit7rN9zmJxpXR6pQMsVIAy1XEN/CoQhvyIcJmdRhEGuK9AcGEIHFp17dJi8MGTT0kDTd7/7XcF8hJZssPicfvrp0rt37wbJYLjRRx99JKeeeqp2fr1v6P2f4T4ZzhfgEhlOFVAPdDIxGR7wFWnzwlBrzhmy5Y92Wrx4sWAukR+EUH7AUGFhobpcPvPMM9UqAXDCUEac25TNwFBzLUNevRtzre2FoXfeeafJZY1WL4BHLDAEaPFboFAHA9XQFzAEq44ZggmX7d56ej/DSoVz/DDktfjA06FpF6RrvMTheow0V4cOFKK1dut+h7bCy5bKqmqpqKzi3gY0qKmpbWAxbt2rqPHUCUONa9TUGIQhi2K0DFlEYZDTCuAhH+ucIcTFnAysdYLOHnYDQ3BaUFJS0kDLpsKQyQOTyP0bYAgew/xOFTAnBh1/dHwxrwJzLmLdYI3CnCZzbrR5RF4Yev311xud0+OdqwMPdsai0BTLkHFKAUhDRxnlhLME7zwstANgCNYgDH/CHBIzCR4degxhRFlsmtp0MjDU3DlD/jRxXSB/21wlPwyZ+nq1a85nXCOxwhDWVcJ159/884hMevCWF837G4bHoZ28MAQN8FtAONoL16txgPDpp5/q0Dm0KfK0lQVliycM0YGCv7Wj/402we9nw9ZcSdqwnXsb0GBrdp5gDnkibYSh+LcGYciiKWHIIgqDnFYAD/lYYQjzEOD2GFYePwz94Q9/0LVh/GI2FYYwrAjufadMmeJPSgwM+Z0qoPOPjiQmpWNR11g7/cgAnW9MhI/Fw5wXhqI5gvBPaDflM5o1BYbgivykk05SwDHDuuAswQtXBoagnQGH++67TzveOMeUB17AInW0vWLHG4aw0Cfq0LFjxwZvYv0whDKa+ppyN+cIMMSwMsBHY8PkDgQM9e/fX4466qjw7wbXq6mXcYwAQIrmkIEw5L1KD+xnOJTZujNXXpu5QR4bk8G9DWgwetFaydyRH9M98UBdbYSh+CtNGLJoShiyiMIgpxVoCgwBMs4555xwhw6dcGMZQgf9jDPOaDB0CJO5EQ/zJMx6P94hRf7PmDNx+OGH11ucFW/hMd8IVg9YhuBUAeCDTixABrt/TSF/unj7bttmzpypE+GRHoYrRdu8MGTApjnHxmAIw3EwHAt1gHUBecCqhGF9qCvK6XXVje/NnCFTfqyFg7rBgmWsEbBoYDjYs88+G7UDYGAoHsPkUAcMXQQIYX6JH8ZgMUE5US8MXYRHQmNBwzpDpn1jOQLITV0xH8dogOGF/ny9c4ZigSHMtcHwt+uuu04+++yzqM4qbJYhb9nQXrheMdQO5UW6GOKJYY5mgxawwHqvY7yIMNrASmgb2of29tfVpImjmTNEBwpeVRr/XFu7RzZvz5EBH62X39R5ojUeaXkMeeY92HR465M0Sd+SK3v27hX0DRNhIwzFvxUIQxZNCUMWURjktAKxwtDWrVulX79+aoFBJ804RjAwNHXqVOuEbsSDl69Ik70jhaOzaja4CQZUwfsXPKkBhjDHAm/KzYZhZHj7ftxxx2k8k64Jw3wNbF6HDJjQbtxtxwJDGG5m0m3JEdYQW4cVzgZefPFFtbCdeOKJCkFwD468Bg8erG7CTX1hHTMdYxsMmXiwFCFNkx7iwiKBNPGdbQN4oBNuwALntHR/5JFHogKEKYcXhgB8Np1MXP8RkGk0Mc4J/HHM302FITg8gEOG3/72t9oOcLiB68G22WAI1y3awVw3uA698fyusDEcFa63veeYcyMdL774YrWe7tu3z1YsDTMw1NL2NOe74kABMLRpW7b0/3CdwtCTY9NlyIx0eWP2WnlzDveDRYOXpmbIb0ekahv+fXaqpGRl6zIShKGIt4yD/gvCkKUJCUMWURjktAKxwpB3TaGxY8eG3WgbGLKJiE4/HC2gA9bcDW/L8dYcQIUFKtFR//Of/1zPMmSgCMPE8Mb8/fffD2dnwgwMYeK66cghLBoMoVOJzl4sVomWxgFsYl2dK664Qjv0cC+NN/9wW24DglhhCELgfGgHwIF1CEP88DkzM9OaNs6ZO3euuu/2WiZa8hnOKWz1CDdU3QcvDLXUMhQtPy8MwaqGIWr+NoQV0gAhHCjAwUPPnj0FCwfD4cbQoUPVXbu/Dl7IwfVn2wD0aF9c14gfbQ6S7XxbGLwIRnK+YOJjyGK0doT1FlZc/EbwAsJmffKej99eNJ1NvpGO+/79b1m/vUDenJEkD45Mk74TkmVpRqiDGumcIMIBQ1mAoY9CMDTwo7WyNGmDJK3bLCnrt3A/SDSY8WWmPPF+ssLQG7NSZE3mTqmuqWnRNRzP65GWoXiqGUqLMGTRlDBkEYVBTiuAjkwsc4bwpt3McQCcmLlA0WAIQ+fQqWoJDEVaZwidVMy1QJlg/cFmwAfDyczcmc2bN8vZZ58tzYEhdFABDwaeWvMICEBbACAxrKyxTmZTYMh7gQNkMRQxmvXAG998juYEwcQxC8XCmUZzNy8MtUTvpliGYsnHuNaeOHGiHH/88WFIskFeLDCENbAApYDUlsBELDpjeKv5PTR2xBBAMycQ1kjj5KGx82yLx8ZStoMVhv44Y4Os37xTCgqLpai4REpKy7gnuAbFJaXy5bpseWZcstw/PF0AQ0mZO/VFRGv/BmP5LSAOYShWpWKPRxiyaEUYsojCIKcViBWGAAamQwRHCkHDEBauhLMElAkddWwGhrzODTA8DG/xDxYYgs7Z2dkN1sXxX6TNhSF0jPPz8/3JNfo33JnDsQGGPUYCKax9gziwnjS3c5HoMAT9MP/MOLNoCQy98sor0lyIaLTBPBHgjCRWpxQYZmqsYZgzZl6ANHYEAPoXtvUUIeLHgxWG/jRzg2Rtz5by3RVSXVOrQ63gZIF7YmpQU1sr2FdvKpCnCUMRf49t8QvCkKVVCUMWURjktAKxwpBfpKbAULt27aIOzcGwm3/961/+LPRvs3aOdwgThsn55wwhsoEh25v+5sBQU4fJYXI98oYlylveWD5jmJxtw1yT2267rYF+GE5nOq3IE9akSEOacP7GjRubDSgo16OPPqr5RXO3jflNKFOs84Ns9YUOxqGCTbezzjpL88B6S7ahbeacxiCjOcPkDOCVlpaqN7/27durgwtYIs13qFM0yxAslZhzh9+EASkTht8B6o60bA4UvMPTbJ9Rd285jL7wSGjmUtl+G/EIg/dCl2DotZmZsnlHrlRVV2u9oTv3xNYA9/OkrcW0DJkbgyNHwpCloQlDFlEY5LQCeIDHMkzOL1IsMBTJqYKZAA6HDBjqhs4YvKfFutkcKOBcA0NwtGDy8DtQaMqcIVt58EDFPB6kjzk+3u3hhx/Wuvzyl7/0BrfoM/JqaUcW58PVtK2jjMKtXLmy0Yn6gCCADiwERlv/Ed+hLX/2s59FjINzMPSqudtFF12k5cBctEgWqljS9sJQLN7kzDA5b9qXXHKJlgVOFbxlscGQcaAAd99mTg4sadADYbBeQjvMYUM7YZikWYjVxPPr7f0bc4/Mud4y4jPqCkcM0ZwxwPmCF65RFlgB8Vsy4Q899FDEdsXQWa8G/jJE+vvgtQwBhnIUhppT70h6MLz1FMDvKmVbCWGo9SROyJQJQ5ZmIQxZRGGQ0wq0JgxFExYWnw8//FAnkP/0pz+NaBmypdEYDMXLgYIt79ra2vA8InR6vZuBoVgsQ4258TbpGhhCh9Q4VbBZBWxhXrfc0WDo3XffbTFwofMc644hfn4wg4OOaBYhY/GJ1TJk4gMEbFs8YKhXr15y+umnq4c5b4fYBkNwboDr3Gh02WWXWS15xjLkhSE4bPDr5a8T0osEQ/64/r/xe4L18JRTTtF1xAys4YWH16r0xz/+scUWRn/eBz0M1dQI6sAt8RUgDCV+G7VGCQlDFlUJQxZRGOS0AkHB0NKlS8MdQ3S4YtkwMR9zhKZNmybR5gzFy4GCv0yYz4NhXFhrCfOSYNnybgaGTIc32hHWAG8H2puO97OBIXRQI7nk9sb3fob3M1iFGrMMwalCtDklZn4MnGVEmzsSazy4NPd37uG2GsDXWB5wgQ5dY40Hl9g2neMBQ9Aa18Bzzz1Xrz42GELcSZMmhXWGG3W/Bt62OxAwtGfPHp2fBmsb5gdhLSTkC22hMWBo8uTJ9RxGwLpUUFDgLWqLPhOGWiQfT26CAoShJojVhqIShiyNSRiyiMIgpxU4mGAIQ+nQGT/mmGO04xzJm1y8HCj4LwwMJ4NDBnT6sbilcdxg4h2sMBTN2xiGtMGjHkAF80KieRe74IILYooH65p/MzB07733Rs0D1hWUpbF4GKqHeK0NQ7gG/N7zIsGQV2eAdbTtQMDQ+vXr5cwzz9QXC1g3CdbatLS0ejC0e/duXWTWANL//M//6Jyo5swPstWXMGRThWGtoQBhqDVUTfw0CUOWNiIMWURhkNMKtDYMYZK7dwgXPMBhCBOG9eAtP+ZrRFq8Eg2TkZERPv/kk08OW5PMuUgLHUdsZs6QWY8I32EuA5wLNMeBgv/CWL58eTj/Cy+8UDC8zLsZGGqNYXKtaRny1sH/GdeHmS/UvXt3q5XFnNMSBwoGhhqbCxTrnCEzB6a1YcjU3XsEDF1//fUKETarlDdupM+tCUNwVoJhcWZNoddee02ysrK0KOnp6fVgCO1fVlamix1jDS8AJqyIWJsJXiXxfUs2wlBL1OO5TVEA1yrnDDVFsbYRlzBkaUfCkEUUBjmtAB4QreVAAcIaRwtmyFiXLl10Yjb+xnomeBMdbdu2bZuuIwQrkHGMAOiI5k2uNeYMrVixQq0MGHKGIW6AIXTMMYkdb9Vzc3PFwFBrOFAIAoYwJBHDomCNg6c6wGW0zu/BCkNYd8nrjMB87tSpk3b+ca3aHChEum4BQ7gWbCCE6+Tll1+O6MwA1xk09sJQSx0ooJy7du0SuPJGexpQxG8Kw/y8ngxtMGTqiRcKxmkEzn3++efDujnrQIFzhszlkfBHwlDCN1GrFJAwZJGVMGQRhUFOK9DaMGQsQ+hwHn744WHLSqwwhMbBkKInn3xSFi5cqG11oB0oYI4LXEujzBgil5ycLJiXhDflCAOoYPK6ca3dGjAECEOeAJJY9yeeeEI7843NGbL9AODaGSALSwDqCCtYNBBCGkHCEBxSYB4Qhq3BCQGsc7EOk0P9GttjhSFcmwBHPwwBblAuuNM2c6v8ecJaanOg4I8X6e9IjhZgeYUFFvPscO65556rZcT1AWuqd4sGQ4g3fPjwsFXJeMBDmq651v6TutbOkSrCkPfySejPhKGEbp5WKxxhyCItYcgiCoOcVqC1YciIW1VVpZ6qYGXAZG10oGDdwYr33oVTTfxox1hgCHMdkC7WcEHH2AyTw8R14wQAE9oBMSgLht35PbxBm7y8PLn77rvDceDCGEP3sI0cOVLTMvOIkA52zFdB3k3ZMZ/EthkHCkjXzJEy5W/saHSOBYYwj8db3iFDhmjn2eQBJwuJDEPo2GMe0dy5c8NuqlH/Hj16WMvtdaCAeKae3iPmnpk2tcEQFq/1aobPBgj97rbhnABwBhDC9eLNx3z2OlXwWoYilc+chyOu30gwBAcl+N7kC6CJ1JaNwZC5Rjds2CD/+7//q0Pmvv/97xOGjDA8JqwCuOY5TC5hm6fVCkYYskhLGLKIwiCnFcADojWHyRlxkQ+G6qDDiGFl6GSic4gV79GZGzBggIna6DEWGBoxYkQYVPAG28AQrEymAwsAiQZDAIRrr702PIcCc2eys7PFOAAwwGU8zJmOMzqe3o5qLJ/Hjx9v7aAaGIL1ad68eVGdC5h6mSPmgkDjWGAIcIA5WaasAAE4ToBVAelFgjVvYxkQaM6iqy2dMwQYOuyww8LrVqEt4Ao60uKrXhh69dVXrbr+9a9/Vf2Qlg2GMBfO74UPbY/4kWAInggB6KaNvEevUwUvDGFYXTTHFUgD+kVyrQ0YQr5YeBdxcd1G2mKFIeOJDulhLtn999/v1KKrtAxFuoISN5wwlLht05olIwxZ1CUMWURhkNMKHCgY8oq8adMmHepl1hlC57Gpi66ig48J4GboHNI3DhQwZwh5wLqBtLEbGEI8dOQwrwOdWQx1a9++vcyaNUsninvLic4pgADn33LLLQJ34LYNGn7++efh4WtDhw4N52vyj3QE5GD4G4al2TYvDLWWa23kC49oGH73ox/9SAGgY8eOsnjxYiug2cqJsJbAkFlnCJASbYvkQAFWPQwx8w4hBHRE2rww1NxFV82QOACnt30xpBJDK72bGSaH68Q2l8gbF5+9MBTJ4uM9J9o6QwBa5BuLB7hYYcibN85p6rVpzqcDBaMEj62tAGGotRVOzPQJQ5Z2IQxZRGGQ0wo0F4bwphwTzTEpG8OFmrMBSt566y1N55NPPok5CThVMJPcvZ1ndPaQngnzxvN2ThEPkGHSwLAh2+aNN3v2bFsUaxg6nybtxo6DBw+WnJwcazoIxNApTHpHPFilmrKZc3F+rOdicVDEB1Tg2mjKBi9lzT031nyGDRumeWAuWlPL580DmsNCifLaFoFFXHTw8T12tKltw3WB773tbJwg2OLHGgYrqnG08NVXXzVaV1hC45EvhoUaRws2a1is5Y81ngswhJ+R2WPVBfFwfXv3ppwbKa5JD8Necd1iqHAscB4pvXiFm3LFKz1bOsiDw+RsyrTtMMKQpX0JQxZRGOS0AnhANGeYnNOisfJUgArERYG2DkO4v8I1OV72GKsl1isznX/0ScyO4YuY82YsnNOn73eWAvjH+eZcr/hIq7y8PHxuZmamFZ61/1OXh1mv6/bbb49qMcQ5mCNpyoQyANSRZzw3ABmGXM6cNUvr6c8D+SFORsZaLcuCBQsE81CbUg7EJQzFs9UOjrQIQ5Z20ptBRaUsSs2W+4al6z51+UbJyS9KiLcjliIziAq0qgJ4QBCGWlViJk4FqEAEBdo6DIU68BnSrl278Pyzu+66S4fq4ru8/HzZsXOnbN+xQzDs8qijjgrH8w69PProo9UBBuZneYc74v69Z+9eWbd+vSAOhmxirpw3DqRH3wdab8zKkh//+Mdy6KHfCQ//BYSgLLZt77590vf559VjpinPnDlzwvFh3YeVFWlE2+FSPloeWPAXVmkMG0Y+sLjCMyTSRPoYsowd7twR55RTTtHvIqVpqwthyKZK2w8jDFnamDBkEYVBTitAGHK6+Vl5KhCoAm0ZhgyopKSmhkEFHf0777xTrRqY4wgwMk444EwGcyENdHiPcIKBOXCABu8GGKiurpHU1LRwHnAIYoOh2j17pLSsTNat3yCXXXa55gWPnlgKoKCgoIGVBW0DAOndp08YUlAmwBDSR94oE+ZVmjoYByz+I+b6YTg1NPFu+LumtlYBDjBn6gxLFKAOTl3gHASwWFpWLr17h8pCGPKqyM/RFCAMWdQhDFlEYZDTCrQmDOGNpf+h7LTYrDwVoAL1FGjrMATPk8kpKfUsQ3fccYfsrqjQzv28+Qtk3PgPdB8zbryMHjtOzjvvfLXwXPzLX8rYceNlwoSJgvmPgAY/TABIKiurZM2apDAMGcsQ4uL7gQMH6tpQcAKDBXw7drxRjj76mLAF6nvf+57ccMMNuvYUnMr86U9/0vs27t3wItmzZ0+FIcDa6DFjdIFpfIfyZKxdqx5BYZG66+67Zfz4D2TCxIkyYeIk3bt06arQdeqpp0qub3idKV9lZWUYcrB8AOa/bdm6Vfr27Ru2Am0CCBYXS8+evcJh0Sxa9S6yuj+QH4fJ2ZRp22GEIUv7EoYsojDIaQXwgIjXMDmkVV5VIVl52+XTLavkjXXTZXbOSqf1ZeWpABWIrEBbhSHcC+fPn6+ONR5//HH57ne/G4YPDFMbMnSo5OTkSmFRsRQUFUt+YZHsyi+U7Nw8ueqqDgoQnbt0kaLiEtm9u0I9ZeLlEtI1Gz4rsFRWyspVq8MwBMsQIAzfwfp0/fXXR7Q4GUuM94h5RDgfsAMwufSyy6T9OefIn4cMkdLSUgUsky+sXgAYwFC//v0lv6BQy4x64fNzPXoovACGcnJzG5Qf1iqs13b55ZdrGrD4AISQ7+VXXBEOg3fQgsIiea5HCMwQD+7mUQ7o4NXF6OM/Ig5hyK9K2/+bMGRpY8KQRRQGOa0AHhAtgSE8oIt2l0pm0Q5ZkpMqYzculJe+HiN3LHxFTpr5kDyTOsJpfVl5KkAFIivQFmEI91R00nv1ClkxvKBhPh9//PHa4YfVB/sHEyaodchrGbr00ktlypQpMnXqVPn4449l2vTpMn3GDFnw6ac6zG758uUCxwqI87c33pTDDz9c4QFrPuGcqR9/LJOnTJELLrhAw5Hn9TfcIDd07Bjab+ioViL8DWsRrEY333yzDk8DCFVWVWl8DN3r1KmT7MrL0yFycKKA8ixeskRWrV4jxx57nKbff8AAKSoulpLSMoW83PwCeebZ5yLCEBxGzJ4zRxepNu7pATmwAqGcZsjgMcccI8OGDZfxH0yQTp27aDjCsISCcSyBY2NOFQhDkX+HbfkbwpCldQlDFlEY5LQCzYGh2r17pKK2SgoqSyWzeIfMWLtE+i0bIRd98oz8x7TO9XbCkNOXFytPBaIq0NZgCPdTncdTUyMvDh6sixij42469oAhzNMBmJxwwgn1doQdf8IJcuihh+rcGcSrH+dEdaJw8cUXq5UFc48wNwfnefMAFOG8E088UY8mvV/96jbJzcuXXfkFsnZ9piSnpktKWrpkrFuvVpyysnK1JAHk4KkNzhauuOIKOeKII+Shhx7Sta+MFQh53H//A/L1NyvDMAT3/xjyBmtU+e7dUlBYLM8+Z7cMQSMsAoyyGxCCNqec8kPJytoUtmZ5NYA2WFgZ8eBEAcP2VJ8TQ7pgnTM4W0Dato0wZFOl7YcRhixtTBiyiMIgpxVoCgwhbnVNjazdmSXjkudKt8Wvy4mf/FaOmXW//M+Me+TQ6XfUAyGAEWHI6cuLlacCURVoqzAEmNixY6ekpWfIzNlzFChMpx9WmDXJKQoiqenpGic1LV2SUtJkdVKy/PKSSxSeYLFJTknV79PTM9TxAUBh2/btChuwoITOS5WZM2fLkUeGPNE988yzGp6xdp3mgQV51brTubOUlJbqfvsdd4RhyTgoqKquVi938BAHUMGC1ICRHj16yNat29RJg4Gh557rIZs2ba5nGcK6WLAoGZgqKim1DpNDPwwjl7qEIAAAH01JREFUCtavX2+BoVNk/YZMue660NC+a669VtYkJUtSSqqsXpMijzzyqNYFoPfZ559rmdauWy9ZWVnqXQ55R9oIQ5GUadvhhCFL+xKGLKIwyGkFGoMhPLRyivNl6eYk+WfyNLn7qyFy1WfPy0/m/l5OmPlgA/jxW4a6LnlVPs38mjs14DXAa6DBNbBgwwoZuXKRdJs2Sa4Y+4F0mTxBhi79RD5Zu7xB3CDvI3PXrZCxKz6Xpyaskd8MT5c/zcyUzTtypKqmRl1Wex8iuKdizg2sJPCA9vU3q+o5UOjSpYsUFhXp3JriktK6OTYlkldQKNm78uSqDnVzhjp3kYLCwjqAKZPy8t1SVVUdSruqSsrKy3U42qzZc+TKK6+Sb3/7ELWaDBw0SIqKQsPVMG/n6quvUYDo2rWrVFRWCixA1113nYbBynL66afr/CWABKwqAJr0jIzwXKCzzz5bbrzxJp3LdMghoTwGDXpRy716TVLYMoR4t956q+4YbnfjjTfKmWeeqZYf75wh5LFkyRK59tprw1YwlAM75lahvLB0AR6RHuYKYc/Jyw8Pu4OXufUbNkhxSYmCIaxRcAMebSMMRVOn7X5HGLK0LWHIIgqDnFbAD0P9J6fIzBWpsjZ7syzYslKdIDy98j258/NX5f/mPC3fmX5nowDkBaIz53SXzote4k4NeA3wGmhwDXRaOFiumTdAzv64hxw/5Vk57aPn5NLZz8uvPn2xQdxA7yOfviJdZr0pvx6zRO4dlib9p6bKF+sypKK62gpD6PArEFVVyeo1a+rB0DnnnCN9+vbVHR7T+vZ9Xvr06Su9eveWHj17yWmnnaYg0L79OdKnTx9dWwdr/bzwwgvywQcfqPUGacP6BFfZo95/X4eNGaCAAwak99prf5Zt23fI1VdfHYYhAJoNhnJzdykI4XkA6//Wbdtl0IuDpWev3rp36tw5DE/33HOPzs8pLS+vZxnCkLpevXqrK26ch7rAbTegxsCQ0WXixInyrW99SwHIlNt/7NChg4wZM1YdSJSWliksmmF3mFsEt96Y1wT3337nEraHOmHIpkrbDyMMWdqYMGQRhUFOK+CFoYdGrZHHJn8ugxZ9KIO+el9u//RldYLghRt+rj8ninpQD14Dbf8a+NbHd8oJk5+Tm0YtUBj6w8SvZcRXi6S0qrIBDOGBgvsqhgACLPyutf2dfvyNuS8d6xwbGKsIwtThwQ0d5eg6SwnmCWEYG6ACR4DWs889FwYVb9o/PPVUHXJmYOiSSy6RDz/8UCZOnBR2qoD4mLczdtw4dUYARwTLli+X4tJS9XAHa9Wy5V/K0888I9///vfluuuvl6+++kpBDPOCVnsdKPTvrxYceMDLLyyWnF35giF7mN9jYAjWG2iycNEiufmWW9R6dMwxIW90KMt3vvtdueaaa9SRw/jx49VKBY9zFRWVUlhUUs+bHIYLAoKgM/bGNsJQYwq1ze8JQ5Z2JQxZRGGQ0wp4Yeie95fJ1RNGyXkzn5UT5jwkR8/6jXxv+l3yreldm2QNYuew7XcO2cZsY5euAT8MPfLBMvnzkhlSUllh7Yjv2/dvKS4uls1btsj8BQvkyCOPVAsJOvwYCgYA8DpV6Ny5izoxgHODDnWWnE6dOkvurjx1uW3CAEMYzob7NkDAvyCqF4YwlGzJ0i/UNTbyMs4Ijj9+v5MGxDfOCDAPB/vDDz+sQ89gQcIcpe6PhubpAGi2btsWnlcEl99eb3KDBg2SsrIyteTAoxxAyu9NDmXGMDyss2SGCHo9x534gx/IF8uW6Zwl5IXFVrFjDlN6xlp59LHHVDc4jli1erVs375D52bt2LlTsGPtIVjMbBthyKZK2w8jDFnamDBkEYVBTivghaGHR6ZInymrZfJXK2XNzvUyPnmePPjZEDljVjfCkM9LnksdQdaV4OP6NeCHoT4frpE5ySulvLKhZQhWCgDLSy+9JAASOB3wgg/m38ye80k9QMKaQpjfg7WGDPggLC+/QD3AmXlE+y1D/1avbWZBVC8Emc8Gcg6p804H6EhKTpGk5NQwICEuhpzB+rMxa5Ns375d8gsKBNYYzE+6++5fq8tuxMPwPQAHLFIYpgfLkBeGUF8MWVNLTmWlzinyrzMESNy7d5/GgYUIaWDBV6OPKbMBM0CP+QxLGaxTKAviwaKF7/071neyOVIgDLnZ1SEMWdqdMGQRhUFOK+CFoW4j02TglDT5dNUG2V1ZIbvKCiWlYJPM3f6NDF/3ifReNkwum9tDjppxb8xwdPVnL8g7qTO4UwNeA7wGGlwDb6VMl4HLJ0iXae/IT8e/LVdPflueXTxO/pEyrUHcIO8j/0yaIa8tnS7dx38j9w1Ll5enr5W0zVsEHti8Q7RwP8XfCIfHNXTaDZyYIxwZrFxZ36nCCSecKB1vvFHX+zFD4mxD5wBDABEACeYQ/ehHPwpbnEz6d911t4wZO07XLcLwt/PPP1/j3HZbpzBcGeDCOaeedpqu7aN12bdPrU6wsGBuENxXGy94sGhhAVfjJGHgwEH1XGvDgcItt9yiuxkC53eggOF9GNEGjWAlgkMHDA80MIQhgm+9/Y6WHesKYR83/gMdxjd6zFi5rVNo7lK7o4+Wt95+W7/D91iracqHH8q0adMk17e4q3nAE4aMEm4dCUOW9iYMWURhkNMK2GBo0ZqN+ubOCLNn7x4pKi+RtJwsmZS1WP6YNkkeX/FPuXnhQDltVjc5ZPrtEeHo0VVvSX5JIXdqwGuA10CDa2BXcYEsX79RXpq+VLqO+kKenLhUZqxZK9mFeQ3iBnkfQXm+Wb9B+k5Ol98Mi+xNDvdTzIsBWMyYMVOdH3Tv/qgOjTNQARjCXJt27dqFQePss9urw4GevfY7UDBhXqcKgCFYXzAUDN7YABFnnXWWPNztd+E8sPgpLEqw9MCzHLzFIW8Mu4P3NXhmw7wcAyD4HkPRMHxNYW7fPtm1a5cMHvySnH7GGXruWWedreXr1buPqNOH55+XkaNGycqVq8Pe5LwOFIwzCL8DBaSPzegEGIILcVMWWNLgKrugqFgKi0vUWx7Ki/pk5+ySZ+sWcT3ppJMkY906ndeEOUpwGY609uwJDSE0zy7vEXmmbCuRZ8Yly/3D0+WNWSmSlLlT9TTl8sYP4jPUqayplS9TNkq/KRnqufC1OZulrKJKr6uQekGU7ODNkzBkaTvCkEUUBjmtAB4Cu6tr5dXpa8VYhvww5BeoqqZaNufvkNkblssLq0ZJ52WvymUL+8jZnzwmR8y4px4YcZ0hv3r8mwpQAaMALATrtxfImzOS5MGRadJ3QrIszciu9zLGxA3yWFu7R7K2ZUv/j9ZFhSGUEf199SSnrrXLZOWq+lag22+/vQEMwVtbzq48yc3b71rbhGXn5qlbawDDHXfcoaCF4WUGaG791a9k2ZdfSbt2Ryu4DHox5PYa6/McfXQoDBYgda1dUalzdcy5CFfX2rm5YW9yGGIG2AJkAGpuuulmGTBwoC7WCicG8OwGN984rl6937V2//4DdKifOlAoKJRcOFCogxfjQMFAB46wEvlhCEP2sNgrXJIjD+yYuwRX4bvyCtRZBKxtJ598imRmbtTvoAXmIGHYHYbgRfKlgDwJQ0H+ioLJmzBk0Z0wZBGFQU4r0BwY8gqG31TZ7jL5enOa/OWbSdJxYX853uN8oUfqSG90fqYCVIAKhBVoqzCEuTEYyoZ5N0nJyfWsQFYY6tRJnSXk5hV41hmCA4V8AQx16BByjw0YUvfY5eUKRpgv88CDD8qXK74O5/HSyy8rRCQnp4TX6zn88MOlW7duWh5AjLEqGRiCJQjPAtzP0SawPsFtN8AGe8jZQbFkbtyozgywyCncb69ctd8yhGFzJSWluv4R4mP+U1Nh6Ic//KHs2LFDtQOUQUN1uLC7Qi1aPXr21KGHsCBt3bo1NGQQ8erWSEL5I22EoUjKtO1wwpClfQlDFlEY5LQCLYUhiKdrR+zdI2U1FZK9u1BSd2XJ+OT56nzh72unOa0vK08FqEBkBdoiDJna4t4Ki5LftbYNhrAQqw4HK9jvQAGWnKLiYvXKZub4YJgcFhgFEGFoG+AEXtcAJWbY3cuAod0V6izBuOnGuka78vJ0GFksMAS4qK6u0XV8sJYPLEWZmZly3nnnqcMCODW4//4H6s0ZggMFlA0AA4tPYVGx+B0oQBNsONosQ4ChnJycsJUK8VAWlAHD5p7rEYIhWJAATaE5SP/W9IzukY5Ii5ahSOq03XDCkKVtCUMWURjktAJ4QDR1mFw0wZBezZ5a2VVWpM4XNpfnRovO76gAFXBYgbYKQ7gPoqMOqwYsNAZUYImxwVDIWcKNcsMNHcPWHADHjTfdpA4GjFMF400OgACvbSGPbCEX1yaPwS+9JPPnL9DFVg855BB14PDqq69qWTB8D26v/ZYhOB0wYIE2gde4e++9N+QM4eabdd0frFdk0kM9MDxvxdffqJtwzEkChCF9M2eqqKS0AQwhD2xGH/8wOQND+F7jiWh6Clc+GIKTB5OeRm7kP6RJGGpEpDb4NWHI0qiEIYsoDHJaATwg4glDTovJylMBKtAkBdoyDAFYsCjqE088GXZuEAmGzm5vHCj0lp69QjucFWD3O1BAutBt379DLqp3V1TqmjtmfhDmDL3//uiwJ7tf//rX0q9fP3WmMGDAAOnb9/mwUwWUB2sgYfgZnC1g/+CDDyRj7Vo55tjQYqhXXHGlwLED1jQyOxZwhfe4R7p3l8MOO0znKl19zTU6t2jgwIHSr39/6dP3ebnk0kv1u3AeAwfK4sWLFWIAMrBweb3JEYboQKFJN5AYIhOGLCIRhiyiMMhpBQhDTjc/K08FAlWgrcIQrCMYMjZm7NgwlFx00UVqaXnllVdlzZqketai0AKr+TokDouVwpsa9rz8Qsnetd+BAixDZg0dzPDBZ1hNsN6PgaEBAwfpOkY333yLWpaWLl0q77zzrjpCMO674cGtY0e48jbHG+Wmm24SuMTGnCM4Mbj77rv1/FGj3tchfEUlZu5Qibzz7nv6HdYuwg6LlqYF9+DqIryjeonT7zqGPiN9uN6eOGmSlrvpMFSs0AYHChgmR8tQoD/dgyZzwpClqQhDFlEY5LQChCGnm5+VpwKBKtAWYQiQAusNIGXixIly0skn68KhCxYs0Lk3GEqWnpEh7du3Dy8o+vDDD4edD5SVl6sTAgxnw7wbOCLo0rWrwJ109+7d98NQ3eKumE+DoXjnnHOOzucZMnRoCF6Ki9XlNNKBQwOkhT2/sEjyCws1TkEhwkIurOG1DQ4fMLQPFhuch72sPOStDfOGEA7vbeoxrrBIy7YrP9+TXlFdunCHna8e6PIKQmHwEIdhfWhzPHcUhqqq5Nf33BOeh/SLX/xC8vLywnOA0GcDWKKOcAv+4uDBupDtz3/+8/DcolgvYOTJYXKxqtV24hGGLG1JGLKIwiCnFSAMOd38rDwVCFSBtghDENTMm4HTgnXrN9S5gS5T5wJwMFBWVqbhGzZk6oKnAACEe3dACYAK4JG1abNkZW2S/Pz8eu0FoABgABTU01tWluQXFCi0AF7U2UJVlaYD99O74YY6wo74yBMghx2f4VUOZUI+ZkeaKJdCW1kI3AzAAZSwm+8AQNjxN0AKaeGZY3aUHQ4gNmSGdIC1x1i+UFFvPKSbnZ0jmzZtUquQN149USL8gbQIQxHEacPBhCFL4xKGLKIwyGkF8IDgnCGnLwFWngoEpkBbhSGAAzr+6OxjAVY4OzBr4ACUQqATghUzB8h0/M0RacCKhPNhGcFn6OXdEBdQAGgxntyQL8JMulqWOjfV+C7SjnOM1Qbp4jxTFuSJz9hQfqSB8sS6a57G/bWnDqbs0AMaIU/bFo7ngTNbvGhhKD9hKJpCbfM7wpClXQlDFlEY5LQCeEAQhpy+BFh5KhCYAm0VhgxEoHOvu1pDQjLjO12HaO9eBQv8bdtMGoAo7AoqvogmTjgf460N8GL2uvWDwn+bcMvRl7z1T03HY90xZYjl6E/QnLNfo+hamPg4NnXDOYShpqp28McnDFnaED+f8opKWZSaLfcNS9d96vKNkpNfFPGNhCUZBlGBNqMAHhCEoTbTnKwIFTioFGirMNRYI6AvH4KKxmLCIhPaG4/JGNEUIAxFU6ftfkcYsrQtYcgiCoOcVoAw5HTzs/JUIFAFXIWhQEV3NHPCkJsNTxiytDthyCIKg5xWgDDkdPOz8lQgUAUIQ4HK71TmhCGnmjtcWcJQWIr9HwhD+7XgJyoABQhDvA6oABUISgHCUFDKu5cvYci9NkeNCUOWdicMWURhkNMKEIacbn5WngoEqgBhKFD5ncqcMORUc4crSxgKS7H/A2Fovxb8RAWgAGGI1wEVoAJBKUAYCkp59/IlDLnX5qgxYcjS7oQhiygMcloBwpDTzc/KU4FAFSAMBSq/U5kThpxq7nBlCUNhKfZ/IAzt14KfqAAUIAzxOqACVCAoBQhDQSnvXr6EIffaHDUmDFnanTBkEYVBTitAGHK6+Vl5KhCoAoShQOV3KnPCkFPNHa4sYSgsxf4PhKH9WvATFYAChCFeB1SACgSlAGEoKOXdy5cw5F6bo8aEIUu7E4YsojDIaQUIQ043PytPBQJVgDAUqPxOZU4Ycqq5w5UlDIWl2P+BMLRfC36iAlCAMMTrgApQgaAUOFhh6NXp62Xdlp1SUl4hldU1Ul2zh3uCa1BVs0dWZhXK02NT5P7h6fLGrBRJytwpNTU1+hwM6jfgzRd91MqaWvkyZaP0m5IhvxmeLq/N2SxlFVWyd98+wffcmqYAYciiF2HIIgqDnFaAMOR087PyVCBQBQ5WGOo5IU0mfJYm81ask4Ur18vClThyT2gNvlknYxaule6jUglDgf7qD2zmhCGL3oQhiygMcloBwpDTzc/KU4FAFThYYejhkenyzLhU6TUhTXpPTJfeE3HkntgapMtT49LkgeFpct8wWoYC/eEfwMwJQxaxCUMWURjktAKEIaebn5WnAoEqcLDCEDrT3A9uDTBMbk3mDg6TC/QO0PqZE4YsGhOGLKIwyGkFCENONz8rTwUCVeBggaE9e/dKTl6hjF66Vf40c6O8OnOjvDIjk/tBrMGULzbI+q25Ul1dzTlDgd4FWjdzwpBFX8KQRRQGOa0AYcjp5mflqUCgChwsMIT75N69e2V3RYUUFhVLTl6+ZO/K434Qa5BXUCilZeVSW1tLGAr0LtC6mROGLPoShiyiMMhpBQhDTjc/K08FAlXgYIKhffv2SXVNjQJRSWmZlJSWcj+INSgrL5eq6mqB1Q99w0TYUA56k4tvSxCGLHoShiyiMMhpBQhDTjc/K08FAlXgYIEhiKTWoX37pHbPHqmprVUwAhxxPzg1gEVoz549gmswUTbCUPxbgjBk0ZQwZBGFQU4rQBhyuvlZeSoQqAIHEwxBKPQhcM/k3jY00DYlDAV6D2jtzAlDFoUJQxZRGOS0AoQhp5uflacCgSpwsMFQoGIx8zavAC1D8W9iwpBFU8KQRRQGOa0AYcjp5mflqUCgChCGApWfmSeYAoSh+DcIYciiKWHIIgqDnFaAMOR087PyVCBQBQhDgcrPzBNMAcJQ/BuEMGTRlDBkEYVBTitAGHK6+Vl5KhCoAoShQOVn5gmmAGEo/g1CGLJoShiyiMIgpxUgDDnd/Kw8FQhUAcJQoPIz8wRTgDAU/wYhDFk0JQxZRGGQ0woQhpxuflaeCgSqAGEoUPmZeYIpQBiKf4MQhiyaEoYsojDIaQUIQ043PytPBQJVgDAUqPzMPMEUIAzFv0EIQxZNCUMWURjktAKEIaebn5WnAoEqQBgKVH5mnmAKEIbi3yCEIYumhCGLKAxyWgHCkNPNz8pTgUAVIAwFKj8zTzAFCEPxbxDCkEVTwpBFFAY5rQBhyOnmZ+WpQKAKEIYClZ+ZJ5gChKH4NwhhyKIpYcgiCoOcVoAw5HTzs/JUIFAFCEOBys/ME0wBwlD8G4QwZNGUMGQRhUFOK0AYcrr5WXkqEKgChKFA5WfmCaYAYSj+DUIYsmhKGLKIwiCnFSAMOd38rDwVCFQBwlCg8jPzBFOAMBT/BiEMWTQlDFlEYZDTChCGnG5+Vp4KBKoAYShQ+Zl5gilAGIp/gxCGLJoShiyiMMhpBQhDTjc/K08FAlWAMBSo/Mw8wRQgDMW/QQhDFk0JQxZRGOS0AoQhp5uflacCgSpAGApUfmaeYAoQhuLfIIQhi6aEIYsoDHJaAcKQ083PylOBQBUgDAUqPzNPMAUIQ/FvEMKQRVPCkEUUBjmtAGHI6eZn5alAoAoQhgKVn5knmAKEofg3CGHIoilhyCIKg5xWgDDkdPOz8lQgUAUIQ4HKz8wTTAHCUPwbhDBk0ZQwZBGFQU4rQBhyuvlZeSoQqAKEoUDlZ+YJpgBhKP4NQhiyaEoYsojCIKcVIAw53fysPBUIVAHCUKDyM/MEU4AwFP8GIQxZNCUMWURhkNMKEIacbn5WngoEqgBhKFD5mXmCKUAYin+DEIYsmhKGLKIwyGkFCENONz8rTwUCVYAwFKj8zDzBFCAMxb9BCEMWTQlDFlEY5LQChCGnm5+VpwKBKkAYClR+Zp5gChCG4t8ghCGLpoQhiygMcloBwpDTzc/KU4FAFSAMBSo/M08wBQhD8W8QwpBFU8KQRRQGOa0AYcjp5mflqUCgChCGApWfmSeYAoSh+DcIYciiKWHIIgqDnFaAMOR087PyVCBQBQhDgcrPzBNMAcJQ/BuEMGTRlDBkEYVBTitAGHK6+Vl5KhCoAoShQOVn5gmmAGEo/g1CGLJoShiyiMIgpxUgDDnd/Kw8FQhUAcJQoPIz8wRTgDAU/wYhDFk0JQxZRGGQ0woQhpxuflaeCgSqAGEoUPmZeYIpQBiKf4MQhiyaEoYsojDIaQUIQ043PytPBQJVgDAUqPzMPMEUIAzFv0EIQxZNCUMWURjktAKEIaebn5WnAoEqQBgKVH5mnmAKEIbi3yCEIYumhCGLKAxyWgHCkNPNz8pTgUAVIAwFKj8zTzAFCEPxbxDCkEVTwpBFFAY5rQBhyOnmZ+WpQKAKEIYClZ+ZJ5gChKH4NwhhyKKpDYbemL1WZn+zWb5Iz5YvMnK4UwPnroFFqTuk98Q0eWhEmgyckiaL1myU2j17LL8gBlEBKkAF4qeAH4b+MCZFRi7aKEvS+Dxmf8TN/thnKTtk1KcZ8vT4dPnN8HR5bc5mKauokr379gn6sNyapgBhyKKXDYaeHJ0qfT5Ilv4TuVMDB6+BScny/MQk6TYyVX4znDBkuW0wiApQgVZSwA9DDw5PlafHpEi/iSl8JrNP4uQ10G9isjw9NkUeGpEq9w0jDLX01kMYsigYgqEKWZy2U7qNSpeHR6aFd/zNnRq4eg2Y38IrU9NkcVIWLUOW+weDqAAViK8CgKHMnYXyzuwU6T4mLfxcdvU+zHqzD4JrwDyPcXx9HixDlbQMNfPWQxiyCAcYqqyqlnVbcmT0/GQZMTdJhs9NlpHzU+T9+Skyan4yd2rg3jUwL1lG6J4i05dlSEbWdsKQ5f7BICpABeKrAGAot7BUPlu1Qd5fkCIj5iXJyHnJfB7zOezec9i0+Tz0Q+t+C/OTZd7KjbK7ooIw1MxbD2HIIhxgCHMhikrLZcOWHEnP2iGpG7dJ2sbtoT1rm6RxpwYuXQN1177+DrJ2yMZtOVJQVCJ79u61/IIYRAWoABWInwJw4FJRWSU7cwtk7aadkpa1PbTjvuTSfZh1ZXvXXQPpWdsFe1rWDsnYtFO2ZudLZVWV4LfCrekKEIYiaLZv3z6pqamR8t27pbikVIpLSuqO5jP+5k4NXLkGcN3X7aWl+ruoqq6WvXv38eYb4R7CYCpABeKjADp4e/fuVSAqLSvn85h9D/a/wtdAqZSUlklFRaXU1tbyedzMWw5hKIpw8MqBi6u6upo7NeA1YK6Bmhqpqa1VqxDfQkW5gfArKkAF4qIA7jMYKocRG3hJiRcxfC5TA14DoWsAvwn0VfESn4ah5t1yCENRdMMNmDs14DXQ8BrAz4bG+Cg3D35FBahA3BXAPYf344b3Y2pCTULXQNx/cs4kSBhypqlZUSpABagAFaACVIAKUAEqQAW8ChCGvGrwMxWgAlSAClABKkAFqAAVoALOKEAYcqapWVEqQAWoABWgAlSAClABKkAFvAoQhrxq8DMVoAJUgApQASpABagAFaACzihAGHKmqVlRKkAFqAAVoAJUgApQASpABbwKEIa8avAzFaACVIAKUAEqQAWoABWgAs4oQBhypqlZUSpABagAFaACVIAKUAEqQAW8ChCGvGrwMxWgAlSAClABKkAFqAAVoALOKEAYcqapWVEqQAWoABWgAlSAClABKkAFvAoQhrxq8DMVoAJUgApQASpABagAFaACzihAGHKmqVlRKkAFqAAVoAJUgApQASpABbwKEIa8avAzFaACVIAKUAEqQAWoABWgAs4oQBhypqlZUSpABagAFaACVIAKUAEqQAW8ChCGvGrwMxWgAlSAClABKkAFqAAVoALOKEAYcqapWVEqQAWoABWgAlSAClABKkAFvAoQhrxq8DMVoAJUgApQASpABagAFaACzihAGHKmqVlRKkAFqAAVoAJUgApQASpABbwKEIa8avAzFaACVIAKUAEqQAWoABWgAs4o8P84NcPlckrkfAAAAABJRU5ErkJggg== 图7 插桩示意图2)平衡
由于模糊测试是一种趋近于无穷测试的方式,带来的必然影响就是时间成本的增加。但是我们实际的产出并不会随时间增加而呈现线性的增加,因此测试效率会变得越来越低。为了提高测试效率,我们必然会
使用一些规则做随机值的筛选,但这又必然导致随机性的降低。正如很多测试理论所描述,“测试可以证明存在缺陷,但不能证明不存在缺陷”。我们很多的测试都是在投入和产出中寻求平衡,模糊测试由于其
特点显得更加明显,以至于我们要界定测试是否完成会存在一些争议和博弈,要处理这样的平衡,难度会可能大于测试本身。
3)定位及修复
测试会发现问题,这带来的另一个问题就是如何定位。而模糊测试的特点又会导致问题的定位(包括问题复现)会有很大的难度和不确定性,尤其是当模糊测试中随机值是更多维度的情况下,事情就会变得更
加复杂。另一个需要考虑的点就是问题修复后的复测工作,这可能比做一次完整的模糊测试还要麻烦,此时需要解决的点是如何快速验证问题已被修复和如何验证修复方案是否会产生新的问题。虽然这两个点
在所有测试中都存在,但是由于模糊测试的随机性,这两个问题显得更加困难。
综合上述几点考量,个人认为对于当前的车载通信来说,在开发前中期采用模糊测试时需要有规则性和针对性的,虽然我们降低了发现问题的范围,但得到的是测试效率、问题修复效率、资源利用率的有效提
升。而随着软件的逐步成熟,可以逐步放开原有规则,增加随机性。这一过程中也需要结合自身的情况来做调整,总之,关键点其实就两个字:平衡。
5.总结
模糊测试是一个相当有效的测试方法,其随机性的思想可以让我们发现通过逻辑很难想到的问题,这扩大了我们发现问题的范围和手段,能有效提高测试经验,这与场景测试有着异曲同工之妙。但同时,其投
入多、修复难的问题也是不可忽视的内容。如何达到平衡是我们必须要考虑的点,总的来说,这是个以时间换经验还是以经验换时间的选择题。
另外,本文的车载通信测试是广义概念,也包括了以车载通信技术作为载体的安全通信、安全诊断、安全刷写等测试。
页:
[1]