Linux Kernel sys_call_table、Kernel Symbols Export Table Generation Principle、Difference Between System Calls Entrance In 32bit、64bit Linux

时间:2023-03-09 00:22:19
Linux Kernel sys_call_table、Kernel Symbols Export Table Generation Principle、Difference Between System Calls Entrance In 32bit、64bit Linux

目录

. sys_call_table:系统调用表
. 内核符号导出表:Kernel-Symbol-Table
. Linux 32bit、64bit环境下系统调用入口的异同
. Linux 32bit、64bit环境下sys_call_table replace hook

1. sys_call_table:系统调用表

0x1: sys_call_table简介

sys_call_table在Linux内核中是在Linux内核中的一段连续内存的数组,数组中的每个元素保存着对应的系统调用处理函数的内存地址

. 32bit:
cat /boot/System.map-3.13.--generic | grep sys_call_table
c1663140 R sys_call_table . 64bit
cat /boot/System.map-2.6.-220.23..ali878.el6.x86_64 | grep sys_call_table
ffffffff81600460 R sys_call_table . 64bit 兼容 32bit
cat /boot/System.map-2.6.-220.23..ali878.el6.x86_64 | grep ia32sys_call_table
ffffffff8160a1f8 r ia32_sys_call_table

sys_call_table由Linux内核在初始化的时候填充,从内核源代码中可以得到它的声明和定义

. 32bit:
/source/arch/x86/kernel/syscall_32.c
__visible const sys_call_ptr_t sys_call_table[__NR_syscall_max+] =
{
/*
* Smells like a compiler bug -- it doesn't work
* when the & below is removed.
*/
[ ... __NR_syscall_max] = &sys_ni_syscall,
#include <asm/syscalls_32.h>
}; . 64bit
/source/arch/x86/kernel/syscall_64.c
asmlinkage const sys_call_ptr_t sys_call_table[__NR_syscall_max+] =
{
/*
* Smells like a compiler bug -- it doesn't work
* when the & below is removed.
*/
[ ... __NR_syscall_max] = &sys_ni_syscall,
#include <asm/syscalls_64.h>
}; . 64bit 兼容 32bit
/source/arch/x86/ia32/syscall_ia32.c
const sys_call_ptr_t ia32_sys_call_table[__NR_ia32_syscall_max+] =
{
/*
* Smells like a compiler bug -- it doesn't work
* when the & below is removed.
*/
[ ... __NR_ia32_syscall_max] = &compat_ni_syscall,
#include <asm/syscalls_32.h>
};

Relevant Link:

深入linux内核架构(中文版).pdf
http://www.cnblogs.com/LittleHann/p/3850653.html
http://www.cnblogs.com/LittleHann/p/3854977.html

0x2: Linux下获取sys_call_table内核地址的方式

http://www.cnblogs.com/LittleHann/p/3854977.html
//搜索:0x3: 获取sys_call_table的常用方法

2. 内核符号导出表:Kernel-Symbol-Table
驱动LKM也是存在于内核空间的,函数中的函数、变量都会有对应的符号,这部分符号也可以称作内核符号,这些内核符号有两种状态

. 导出(EXPORT_SYMBOL)
在内核代码中明确声明EXPORT_SYMBOL(xxxx_FUNCTION)之后,这个函数就可以作为内核对外的接口,供外部使用了。对于这部分导出的内核符号表我们称之为"内核导出符号表" . 不导出
对于不导出的内核函数,只能在内核中使用

insmod的时候并不是所有的函数都得到内核符号表去寻找对应的符号,每一个驱动在自已的分配的空间里也会存在一份符号表,里面有关于这个驱动里使用到的变量以及函数的一些符号,首先驱动会在这里面找,如果发现找不到就会去公共内核符号表中搜索,搜索到了则该模块加载成功,搜索不到则该模块加载失败

可以通过nm -l xx.ko来查看一个模块里的符号情况

nm -l find_sys_call_table.ko
/*
00000000 T cleanup_module
00000030 T find_sys_call_table
000000b6 T init_module
U loops_per_jiffy
U mcount
00000ef8 r __module_depends
U printk find_sys_call_table.c:0
000000b6 t syscall_init
000001c1 t syscall_release
00000000 B syscall_table
U sys_close
00007980 D __this_module
00000ec9 r __UNIQUE_ID_license0
00000ed5 r __UNIQUE_ID_srcversion1
00000f01 r __UNIQUE_ID_vermagic0
00003c20 r ____versions
*/

在Linux内核中,大部分的函数、变量都是导出的,我们可以通过对内核符号表的遍历搜索得到我们想要获得的内核函数、内核变量的地址

3. Linux 32bit、64bit下系统调用入口的异同

以sys_execve、sys_socketcall、sys_init_module这三个系统调用作为研究对象,为了更好的说明问题,我们打印一下Linux 64bit的sys_call_table的函数指针地址

find_sys_call_table.c

#include <linux/module.h>
#include <linux/init.h>
#include <linux/types.h>
#include <asm/uaccess.h>
#include <asm/cacheflush.h>
#include <linux/syscalls.h>
#include <linux/delay.h> // loops_per_jiffy /* Just so we do not taint the kernel */
MODULE_LICENSE("GPL"); void **syscall_table;
unsigned long **find_sys_call_table(void); unsigned long **find_sys_call_table() { unsigned long ptr;
unsigned long *p; for (ptr = (unsigned long)sys_close;
ptr < (unsigned long)&loops_per_jiffy;
ptr += sizeof(void *)) { p = (unsigned long *)ptr; if (p[__NR_close] == (unsigned long)sys_close) {
printk(KERN_DEBUG "Found the sys_call_table!!!\n");
return (unsigned long **)p;
}
} return NULL;
} static int __init syscall_init(void)
{
int ret;
unsigned long addr;
unsigned long cr0;
int num = 0; syscall_table = (void **)find_sys_call_table(); if (!syscall_table)
{
printk(KERN_DEBUG "Cannot find the system call address\n");
return -1;
} do
{
printk("%d: the address is: %16x\n", num, syscall_table[num]);
num++;
} while (num < 400); return 0;
} static void __exit syscall_release(void)
{
} module_init(syscall_init);
module_exit(syscall_release);

Makefile

obj-m := find_sys_call_table.o
PWD := $(shell pwd) all:
make -C /lib/modules/$(shell uname -r)/build M=$(PWD) modules clean:
rm -rf *.o *~ core .*.cmd *.mod.c ./tmp_version *.ko modules.order Module.symvers clean_omit:
rm -rf *.o *~ core .*.cmd *.mod.c ./tmp_version modules.order Module.symvers

0x1: Linux 32bit

1. sys_execve

对于Linux 32bit操作系统来说,sys_execve的系统调用号、以及在它在sys_call_table中的索引位置

\linux-3.15.\arch\sh\include\uapi\asm\unistd_32.h
#define __NR_execve 11 //系统调用处理函数在内核内存中的地址可以通过以下方式得到
cat /boot/System.map-3.13.--generic | grep sys_execve
c117fc00 T sys_execve //和sys_call_table中的函数地址进行逐行对比
cat info | grep c117fc00
[16595.247404] : the address is: c117fc00

在正常情况下(当前linux没有被rootkit、sys_call_table没有被hooked),sys_call_table(系统调用表)中的函数地址和内核导出符号表中的函数地址应该是相同的,即

sys_call_table[__NR_sys_execve] = cat /boot/System.map-3.13.0-32-generic | grep sys_execve

系统调用函数的入口点跟踪如下

linux-3.15.5\fs\exec.c

SYSCALL_DEFINE3(execve,
const char __user *, filename,
const char __user *const __user *, argv,
const char __user *const __user *, envp)
{
return do_execve(getname(filename), argv, envp);
}

这是个宏定义,等价于对sys_execve的声明

int do_execve(struct filename *filename,
const char __user *const __user *__argv,
const char __user *const __user *__envp)
{
struct user_arg_ptr argv = { .ptr.native = __argv };
struct user_arg_ptr envp = { .ptr.native = __envp };
return do_execve_common(filename, argv, envp);
}

2. sys_socketcall

\linux-3.15.\arch\sh\include\uapi\asm\unistd_32.h
#define __NR_socketcall 102 //系统调用处理函数在内核内存中的地址可以通过以下方式得到
cat /boot/System.map-3.13.--generic | grep sys_socketcall
c1560100 T sys_socketcall //和sys_call_table中的函数地址进行逐行对比
cat info | grep c1560100
[16595.247515] : the address is: c1560100

\linux-3.15.5\net\socket.c

/*
进行socket调用派发
*/
SYSCALL_DEFINE2(socketcall, int, call, unsigned long __user *, args)
{
unsigned long a[AUDITSC_ARGS];
unsigned long a0, a1;
int err;
unsigned int len; if (call < || call > SYS_SENDMMSG)
return -EINVAL; len = nargs[call];
if (len > sizeof(a))
return -EINVAL; /* copy_from_user should be SMP safe. */
if (copy_from_user(a, args, len))
return -EFAULT; err = audit_socketcall(nargs[call] / sizeof(unsigned long), a);
if (err)
return err; a0 = a[];
a1 = a[]; switch (call) {
case SYS_SOCKET:
err = sys_socket(a0, a1, a[]);
break;
case SYS_BIND:
err = sys_bind(a0, (struct sockaddr __user *)a1, a[]);
break;
case SYS_CONNECT:
err = sys_connect(a0, (struct sockaddr __user *)a1, a[]);
break;
case SYS_LISTEN:
err = sys_listen(a0, a1);
break;
case SYS_ACCEPT:
err = sys_accept4(a0, (struct sockaddr __user *)a1,
(int __user *)a[], );
break;
case SYS_GETSOCKNAME:
err =
sys_getsockname(a0, (struct sockaddr __user *)a1,
(int __user *)a[]);
break;
case SYS_GETPEERNAME:
err =
sys_getpeername(a0, (struct sockaddr __user *)a1,
(int __user *)a[]);
break;
case SYS_SOCKETPAIR:
err = sys_socketpair(a0, a1, a[], (int __user *)a[]);
break;
case SYS_SEND:
err = sys_send(a0, (void __user *)a1, a[], a[]);
break;
case SYS_SENDTO:
err = sys_sendto(a0, (void __user *)a1, a[], a[],
(struct sockaddr __user *)a[], a[]);
break;
case SYS_RECV:
err = sys_recv(a0, (void __user *)a1, a[], a[]);
break;
case SYS_RECVFROM:
err = sys_recvfrom(a0, (void __user *)a1, a[], a[],
(struct sockaddr __user *)a[],
(int __user *)a[]);
break;
case SYS_SHUTDOWN:
err = sys_shutdown(a0, a1);
break;
case SYS_SETSOCKOPT:
err = sys_setsockopt(a0, a1, a[], (char __user *)a[], a[]);
break;
case SYS_GETSOCKOPT:
err =
sys_getsockopt(a0, a1, a[], (char __user *)a[],
(int __user *)a[]);
break;
case SYS_SENDMSG:
err = sys_sendmsg(a0, (struct msghdr __user *)a1, a[]);
break;
case SYS_SENDMMSG:
err = sys_sendmmsg(a0, (struct mmsghdr __user *)a1, a[], a[]);
break;
case SYS_RECVMSG:
err = sys_recvmsg(a0, (struct msghdr __user *)a1, a[]);
break;
case SYS_RECVMMSG:
err = sys_recvmmsg(a0, (struct mmsghdr __user *)a1, a[], a[],
(struct timespec __user *)a[]);
break;
case SYS_ACCEPT4:
err = sys_accept4(a0, (struct sockaddr __user *)a1,
(int __user *)a[], a[]);
break;
default:
err = -EINVAL;
break;
}
return err;
}

3. sys_init_module

\linux-3.15.\arch\sh\include\uapi\asm\unistd_32.h
#define __NR_init_module 128 //系统调用处理函数在内核内存中的地址可以通过以下方式得到
cat /boot/System.map-3.13.--generic | grep sys_init_module
c10c4820 T sys_init_module //和sys_call_table中的函数地址进行逐行对比
cat info | grep c10c4820
[16595.247540] : the address is: c10c4820

\linux-3.15.5\kernel\module.c

SYSCALL_DEFINE3(init_module, void __user *, umod,
unsigned long, len, const char __user *, uargs)
{
int err;
struct load_info info = { }; err = may_init_module();
if (err)
return err; pr_debug("init_module: umod=%p, len=%lu, uargs=%p\n", umod, len, uargs); err = copy_module_from_user(umod, len, &info);
if (err)
return err; return load_module(&info, uargs, );
}

0x2: Linux 64bit

在Linux 64bit下,系统调用的入口点和32bit下有一点区别

1. sys_execve

/source/arch/x86/syscalls/syscall_64.tbl
#
# -bit system call numbers and entry vectors
#
# The format is:
# <number> <abi> <name> <entry point>
#
# The abi is "common", "" or "x32" for this file.
execve stub_execve //在内核符号导出表中得到的内核内存地址
cat /boot/System.map-2.6.-220.23..ali878.el6.x86_64 | grep stub_execve
ffffffff8100b4e0 T stub_execve
cat /boot/System.map-2.6.-220.23..ali878.el6.x86_64 | grep sys_execve
ffffffff810095b0 T sys_execve //在sys_call_table中搜索系统调用函数地址
cat info | grep 8100b4e0: [10298.905575] : the address is: 8100b4e0
cat info | grep 810095b0: no result //对于64bit的Linux系统来说,在系统调用外层使用了stub(wrapper functions)
\linux-3.15.\arch\x86\kernel\entry_64.S
ENTRY(stub_execve)
CFI_STARTPROC
addq $, %rsp
PARTIAL_FRAME
SAVE_REST
FIXUP_TOP_OF_STACK %r11
call sys_execve
movq %rax,RAX(%rsp)
RESTORE_REST
jmp int_ret_from_sys_call
CFI_ENDPROC
END(stub_execve)

在Linux 64bit下,stub_execve就是sys_execve的wrapper函数

/source/arch/x86/um/sys_call_table_64.c

#define stub_execve sys_execve

这也意味着在Linux 64bit下,sys_execeve在sys_call_table里不存在了,而是用stub_execve取代了,我们的hook对象也就是stub_execve

2. sys_socketcall

sys_socketcall 只适用于x86-32平台下适用,在非x86-32平台下,sys_socketcall是不存在的,Linux 64bit将sys_socketcall的"系统调用派发机制"拆分成了分别独立的系统调用,例如sys_socket、sys_bind、 sys_connect

//找到Linux 64bit对应的unistd_64.h文件
find /usr/src/kernels/`uname -r` -name unistd_64.h
vim /usr/src/kernels/2.6.-220.23..ali878.el6.x86_64/arch/x86/include/asm/unistd_64.h . sys_socket
cat /boot/System.map-2.6.-220.23..ali878.el6.x86_64 | grep sys_socket
ffffffff8140a210 T sys_socket
cat info | grep 8140a210
[924227.139549] : the address is: 8140a210
cat /usr/src/kernels/2.6.-220.23..ali878.el6.x86_64/arch/x86/include/asm/unistd_64.h | grep __NR_socket
#define __NR_socket 41
__SYSCALL(__NR_socket, sys_socket) . sys_connect
cat /boot/System.map-2.6.-220.23..ali878.el6.x86_64 | grep sys_connect
ffffffff8140bfb0 T sys_connect
[924227.139550] : the address is: 8140bfb0
cat /usr/src/kernels/2.6.-220.23..ali878.el6.x86_64/arch/x86/include/asm/unistd_64.h | grep __NR_connect
#define __NR_connect 42
__SYSCALL(__NR_connect, sys_connect) . sys_bind
cat /boot/System.map-2.6.-220.23..ali878.el6.x86_64 | grep sys_bind
ffffffff8140c0a0 T sys_bind
[924227.139558] : the address is: 8140c0a0
cat /usr/src/kernels/2.6.-220.23..ali878.el6.x86_64/arch/x86/include/asm/unistd_64.h | grep __NR_bind
#define __NR_bind 49
__SYSCALL(__NR_bind, sys_bind)

在Linux 64bit环境下,可以直接针对sys_connect(即TCP_CONNECT动作进行监控)

3. sys_init_module

//找到Linux 64bit对应的unistd_64.h文件
find /usr/src/kernels/`uname -r` -name unistd_64.h
vim /usr/src/kernels/2.6.-220.23..ali878.el6.x86_64/arch/x86/include/asm/unistd_64.h cat /boot/System.map-2.6.-220.23..ali878.el6.x86_64 | grep sys_init_module
ffffffff810afe50 T sys_init_module
cat info | grep 810afe50
[924227.139712] : the address is: 810afe50 cat /usr/src/kernels/2.6.-220.23..ali878.el6.x86_64/arch/x86/include/asm/unistd_64.h | grep __NR_init_module
#define __NR_init_module 175
__SYSCALL(__NR_init_module, sys_init_module)

Relevant Link:

http://*.com/questions/9940391/looking-for-a-detailed-document-on-linux-system-calls

4. Linux 32bit、64bit环境下sys_call_table replace hook:建立通用兼容性的sys_call_table Replace Hook Engine

0x1: Linux 32/64bit Hook Point

. 32bit
) sys_execve
) sys_socketcall
) sys_init_module
. 64bit
) stub_execve
) sys_connect
) sys_init_module

0x2: Linux 32/64bit __NR_XX定义的异同

在进行sys_call_table replace hook的时候,我们往往需要借助系统头文件<asm/unistd.h>的__NR_XX宏定义来定位寻址到我们要hook的目标系统调用处理函数,需要注意的是,这个宏定义在32/64bit的Linux上存在着一些差异,我们在编写sys_call_table hook engine的时候需要特别注意这块的兼容性

print_NR.c

#include <asm/unistd.h>
#include <linux/module.h> // included for all kernel modules
#include <linux/kernel.h> // included for KERN_INFO
#include <linux/init.h> // included for __init and __exit macros static int __init hello_init(void)
{
//在32bit Linux下编译(未做跨平台兼容)
/*
printk("__NR_execve: %d\n", __NR_execve);
printk("__NR_socketcall: %d\n", __NR_socketcall);
printk("__NR_init_module: %d\n", __NR_init_module);
*/ //在64bit Linux下编译(未做跨平台兼容)
printk("__NR_execve: %d\n", __NR_execve);
printk("__NR_connect: %d\n", __NR_connect);
printk("__NR_init_module: %d\n", __NR_init_module); printk(KERN_INFO "Hello world!\n");
return ; // Non-zero return means that the module couldn't be loaded.
} static void __exit hello_cleanup(void)
{
printk(KERN_INFO "Cleaning up module.\n");
} module_init(hello_init);
module_exit(hello_cleanup);

在Linux 32bit、Linux 64bit环境下分别作编译,结果如下

.  bit
[22726.762562] __NR_execve: : sys_execve
[22726.762570] __NR_socketcall: : sys_socketcall
[22726.762573] __NR_init_module: : sys_init_module . bit
[ 2295.036784] __NR_execve: : stub_execve
[ 2295.036785] __NR_connect: : sys_connect
[ 2295.036786] __NR_init_module: : sys_init_module

从结果上来看,_NR_XX宏定义的打印结果和我们的调研结果是一致的,所不同的是在32、64环境下系统调用对应的__NR_XX宏定义名字不同了

0x3: Linux 64bit 环境下 sys_execve hook特殊处理

为了充分利用Linux 64bit下的寄存器资源、以及提高Linux 64bit针对进程执行系统调用的执行效率,Linux 64bit内核针对sys_execve进行了特殊处理,使用了"wrapper function":stub_execve,对sys_execve进行了包装

\linux-3.15.\arch\x86\kernel\entry_64.S
ENTRY(stub_execve)
/*
汇编代码对rsp,堆栈参数寻址寄存器进行了修正
说明内核在进入stub_execve之前,rsp本身就是"不准确"的,需要进行修正,而rsp不准确也意味着栈上参数寻址是不准确的,这直接带来一个问题就是我们进行replace hook的fake_xxx_function不能简单的直接使用函数声明中传递进来的参数
*/
CFI_STARTPROC
addq $, %rsp
PARTIAL_FRAME
SAVE_REST
FIXUP_TOP_OF_STACK %r11 //修复栈、寄存器状态之后,进入真正的sys_execve系统调用
call sys_execve movq %rax,RAX(%rsp)
RESTORE_REST
jmp int_ret_from_sys_call
CFI_ENDPROC
END(stub_execve)

在Linux 64bit环境下,我们对sys_call_table[__NR_execve]进行replace hook之后,我们在fake_sys_execve中得到的参数不是准确的,因为这个时候rsp是不准确的,解决这个问题的思路有两个

. 在fake_sys_execve中使用"inline asm 内联汇编"的方式,模仿stub_execve在进入sys_execve之前所做的事情
/*
这种方式需要在内核代码中插入大量的汇编
并且承当更大的兼容性风险
*/ . 直接对sys_execve进行"inline hook"
) 通过kprobe监控sys_execve的系统调用,使用争夺自旋锁的方式强制当前所有CPU等待"inline hook"的地址替换动作完成
) 通过kprobe获取到sys_execve在内核中的函数地址
) 直接拷贝sys_execve入口点开始的9字节的字节码,将这9字节字节码替换为:jmp fake_sys_execve(总共9字节)
) 在fake_sys_execve中,将窃取的原始的sys_execve入口点的汇编字节码重新执行一次
) 由于fake_sys_execve是inline hook到sys_execve中的,所以这个时候fake_sys_execve可以直接使用sys_execve的栈上的参数,这个时候,我们就可以正常执行fake_sys_execve的主体代码
) 当fake_sys_execve执行完毕之后,直接跳回到之前sys_execve开头那段被替换的地址之后的第一条指令,继续执行即可
/*
使用inline hook需要重点关注的问题就是:
1) "inline hook"的关键动作是一段内核内存地址的替换过程
2) 大多数情况下这个地址替换过程需要消耗超过1条的CPU指令去完成
3) 在多线程/多CPU情况下,CPU在执行多条指令的期间可能会被打断,从而破坏"inline hook"这个过程的一致性,可能导致地址替换失败
4) 需要使用自旋锁的机制强制保证这个地址替换(hook)的过程的"原子性"
*/

0x4: 模块卸载时旧的函数调用的返回导致的"bad memory address access"问题

模块在卸载的时候有可能有之前旧的用户态习系统调用请求hung在当前我们的hook模块中,不能直接粗暴的rmmod,否则会引起原始函数返回后ret到一块"not valid memory"中,解决这个问题的方案是采用内联汇编,构造直接返回的栈状态,下图解释

aaarticlea/png;base64,iVBORw0KGgoAAAANSUhEUgAABt4AAAEdCAIAAAAEu4QNAAAgAElEQVR4nOy9348cV3bneR/7US8L9MM+6E/ofdhCRmKB1uvMAKawgLEYrzEmqzIDO9sDWw9ujU2NoTEWkMhiZWWMjaF23ELLLTcl2xLIqszNaPTQHFoWW1SrqKZZxcosZljNZrdliaJ+UFKpflflPsSv+zPiRkZERmTG94ODbiorMyMyM+6Je773nHPJCAAAAAAAAAAAAAAAACYOKfoEAAAAAAAAAAAAAAAAVQTSJAAzy9/d+eezl9am3G5VxV7LwJ6DVcBeuHxne++waO8yOX7wd/eK9kLwY/BjsIzt5Wv3inYtAIAp4I13fln0HRxzAMwBYBmbKpaBNAnAzHL20tpr//DB25sf33CtL7WHP+NsENo7yewT2m4OPrm5JbF3pXbPs59H21Bu76ltbfjJ2vCRxJxHa86jW5r2T6J9Ktr7rn0QY79IYJ/dltovk9h9if1jtP2KsTt6ts7b53J7AEtlz7zy7saDz4v2LpPj1Lmrb29+HOnHHkb4sbROTN+P3cvLj61F+jFdJ1aYH/ssJz+WhxODH5uYnTp3tWjXAgCYAhoXb/x/t35d5VhmyucApYhlMAcom6liGUiTAMwsZy+tvb358aMvdh89ltreo8d7n3L2pWefRdrnX3G2T9sXrn3N22OpbXv2JWMHtH21ffDVN0r7OrAdxrY9O+Rt93B79/CbONtxbU9qR5zturYfb3ucHajseO/geF+0Q4kdqOxIYoeencjtmLEjHTs5OeZtJLfR6Hg0OoGls+deu1U1afLRF7sRfkzlxDLwY4ITS+LHBCem9mNfx/gxwYll4Md4J6bvx7Sd2JHciWXmxxRObAw/dgI/NmmDNAkA0KFx8cbg119MYSxT8jnADMQymANMsaliGUiTAMwsZy+t3dj8uAw3cvm9fFvvXj5xUfKbJDfynYndyGX3cuWNXHYvL1KUPMGNPPfb+axy6tzVaQtIMvRjCEhy9mMISAoySJMAAB0aF29s/fqLqs4BZi6WKdscALFMQQZpEoDKcfbS2o2+KE2WIMlIU5TUWWDUvJHvJLmRT0OSUeGiJOL5st3OZxWZNFmuxRUEJFhcgSU1SJMAAB0aF29s/eaLMs8BEMtM7xwAsUxRBmkSgMohSJN53stnufIxuyQjVD7CcrudzyqCNJnV4goCEiyuwI8VZpAmAQA6CNJkCRIspjKWKdccALFMxQ3SJACVg5ImUfWQWZJRdSsfkWRUDquwNCn4MQQkOS+uICCBH8vJIE0CAHSgpMkqxDLlmgPMYCyDOUA5DNIkAJXj7KW1G/2HFa16QOVj7klGECXLdTufVU6du1qNgAR7dmFxpUIGaRIAoEPj4o2t3zwuVSxTtjkAYhnMAabOIE0CUDnOXlr7Wf/h7CQZVbXyMcskI1Q+Tr9VUJosT0CCxRUEJLBMDNJkpXAsyy76HMCU4kqT6OIy7bFM4XMAxDKlstylyf3D440Hn8NgE7PffLqd1dU7q/DSZCmSjGa28rE0SUaofJxxq7Q0icWVKQxIEvkxBCQVMUiTZcE2iQwzKynRe//M3g9UDUaanOo5wDTEMoXPARDLVMRykSbf/+DTiz8d/N6fvXXq3NXfXrr2R3+1xtiPM7Y/zs8ujWlnY+xWLvaalj036/a9H7xz6tzVU+euPvvqe521Bw8f76S5mGeSUJoshSiJqgdUPsJyvJ3PKqE0iYAEiysISGbFIE2WCdvktEPHqhNSt5xs3t6x6pAmwbiE0iRimUrMARDLVMKylCa39w5/cO3ev7Wu/8nr77/5zv1ffvS1Zvq06Asix3/MsBdHu2SQJ1YodFWJuKEbM1xjh6h8ZOoMyNgRWPS1mLkNPnz88rV7zZduPPvqe+8OH6a+Cc4OZy+t/WzwcPYrH/NLMqpq5SPi+TJbFaVJBCRYXEFAMlsGabJMCNKk4rEU7196adK2slJiQbY0Lt7Y+ufHsx/LTPUcoJSxDOYAZbZspMntvcPX3/6gcfHtv377g9882o7zC9qi5NfKwZ9ElDzQH+FpRMldiJJltcGHj1+4fOfZV9+rVNweQSBNznaSUWUrH5FkVE2rpjQ5ywFJIj+GgAR+bCYM0mSZkMmQjlXPLG9yCqRJ28wsSRRkSyBNTl8sU3iCxTTEMpgDVNMykCYfPt75wx/9/IfXhr+OFyX3shElI3TJaM0i2ageS5RMrkvmKEryumSlB97gw8fPvXbr5Wv3srstTitnL629M3g4FUlGqHwsOMkIN/LpsQpKk9MXkEhmKQhIsLgCCw3SZJmIz5oU97FJsrNN6aVJ28ywfh1kS+PijXv//Hiq5wCIZTAHgHGWVprcePD57//w5savPk8mSn4VL0omruAeV5RMmSyZawW3UmVILEpWMVlSaqtrD164fGf/8DjT++OUESFN5pFkhMrH7JOMUPkIEwzSZCGLKwhIEJDAMjRIk2VCkCZtkwRanbiPjWxnG2o3HdMejRzbdpg/mjbznIx0QMeqs+8YPMAfgN7th/ob9QZ57AEEMiBCmixPgkXlYpmyJVgglpk2SyVNvtX/6E9ef19awT1mW0k+WRJtJVHBnb3dHD589tX3tvcOs75LTg1SabJClY+FJRmh8hGWo0GaRECCgAQBybQbpMkyIe7SzSp74j427CO2Sb/AfTf6+bZJ6nXqBY5Vz1T/84rP/dPg354/fUmSKPsJQJmQSpMVimXKNgdALAPLwsaXJrc+fPxHP177+LOdkrSVHKeCO7e2kvygnaAoGVvBXfg1VwZbf/D5n/7tLyqbOylKk6h6QOUjbuTTbhWXJisUkGBxBX5sdg3SZJmI2/ImRpp0rLqYpEg/Igh/Ge/Z7eU+yt9RcnbiCUGaLC+iNFn+WGbK5wCIZWC525jS5MPHO3/4lz/X3INbU5ScWAW3VlvJfJIl9UTJTCq4MfBizP7Fb1766SCf22XZoaXJKiQZzXTlY0FJRvAn5bMqS5PlD0jyXFxBQIKAZHYM0mSZSClNRkuDI0mvyRykSZWyKC/ZltSjQ5osKbQ0mXMsU/I5wAzEMpgDwDwbR5rcPzz+wx/9/PYvP82gghttJbWTJZMICrkkS7qFED3ucccyxAcF65nEsBzJn/ybfgZXs2OZ0kOo7aWfDn7yi9/kdtMsL640Od1JRmkrHwcrq1uxVQ8rDUKIcaF/tLt/dHfJWFjVvJFvLRmENLrjJRn1WwZp9ARH0WuQZqcMomRZk697XuFZve2onuO068S0JQ/KvRP1nJ6dzLcI3snR83J2O6ETo62a0iQWV6Y8IMGeXTDGIE2WibTSZPgu8l6NMdKk46QUBaOkybjPFjwL0mRJcaXJKswBSlrBXbY5wEzEMrBxpMnVtQf/9Sf9rCu4x2sreaA/wqdXlCxJW0nHqhPTcviw3zZJbGDvqgYyBdM2icbL4945bIKjViUk9tn2fvOlGxUs65ZJk+MmGZWt8vFuqyZfB5dQW9oS4vnuAiGBBLnSILWlLVapJAursTfyrSWDLLSG/bHu5Z0GIcRoDVhH0W0SQkizh8pHzxzLYH9N3404bcuOeolkLSTeiTlWnXEvYgMuxg8Jh4h+PosgnupaBaXJSS+uICApcQU3ApLZMEiTZSIbaZL+m9BrUiPpcvz2k3FZk/GqI6TJ8tK4eGP44eNpTbCYjgruaZoDTGUsAxMssTS5f3jcuHgjKOXOvq1kThXcs9tWcthu9ybSVtKdMAiP26ZG1qRj1XWyJh1Hrg64SZc9WXTPhvGOoJzG2Kt/77x5836Od85SwkqTs1X5eLdVI8bi3Zh4fmPJILXlDfFGvtokpLmw2t3dP9rd37pQC2VK1xVsLhmhOqm8lw+XDNLoRNzIh0sGqbWGMhfRa5BmR3AUnWagS1a06oGvvapbjmMZSRY2lLnbo1HPpDyJYxkSR8emjdsm5Qy94C18Wt3scY5Ikh7utOvCUkq6LPJqS5OzsrjCTV1WWoubZa/gRkACy9AgTZYJHWlS3SzSsUxB1WPFSK2C7riq8Agi5UfblGwIbpvscVhp0rEs7NFdGlhpcrZimeJFSXRxgRVjiaXJIGVS2VbyK9EL9F+cCxOVXlzff7zdv71eigpunbaSq40wL2epLxm0zBMGurpkBm0lPa3O7EXqkpSilyypkLNQmmRC98TSpFRhDL9BmXbQ83f1y3wA7B0en/7zt6q2W7cvTSaperizNCf5uWovrsvu5ZcbhJC58/2sk4wGi1RK5PyKWpqUBPPMwA+kSUkFd6Pr/2d3wa/mpm7kW0s1stBRFHHLqLWG+27OI3ulN7pD2jn0u73+4fHBoN3q+nLkcrt/FFRzG62tKU4yivZCY/koL9XRsW0tLc+xDHoVRNVkKsIR0c0reGnSbPvLKvIlHEiTOeBLk2UNSFYaqqurdmGgIUq6Lxe9WYUCEspxGstD3ol1Q79htJ1UAQnjEGQrE0Va6uKS6TJIk2UituiZlffCgeQ+Jop/vNInS7qUaIni3t56xGRG2iYh3PnIdFH/GZI/gwLxpcn8K7ivhHfzucW+dixDhTArDULI3OJgTFFytUEIqS0NMu/iopA4pqSCW0OUzCH6kBimEBlaYmny//6LdzYffJ4gWfLO0hypvXgnGP+eTDl3vj9WBXeBbSW7C+G4lQ7XXsOXJifXVtKNlrVEBNscZ+ApCxH9qzyJNGmb/OAXQnFp4mREulN6+y+9zWvrH+Z59ywdZy+tvTP4JHnVw+ppQk5fDu/lb84TX51kb+SuNLkolybHTTLqzhNj8S5TuM1F+Du7hzub2gXdteW7/MAPtcjd/aPd/nKNNFdV8XynSRpdRQI1kzXZHwyFG/mwZfgl23SLSckwaw+Ojg8lyiYhxGhtTSLJKNPhFu2FtH2UtMVtlK5H64B8c0m+WFvHBGmyNxr1zHrbgTQ5OU6du1r6llLdeULmV5gsiSsLhNRa61pTl+48I01Wtq1krylKk6Hv6jU9aXLMxZVAe/DGYLoQJXubtrgipUGaLAvU9D+qpJmOEuqWw8h3tmna7EIg9U7hC/0HqbeStqtMoAtKlh+V23RLz072DFR2l4vGxRvDD7/Mu4vL7UWDEOPcunvr75+rETLfSRzLuNJk3KqkUr7wpMn4FvnjzgECiWOaKriTJFhkFH3IDFOIbC2ZNPnw8U7j4tuJKrjfOBNqGcHgf3PekyZL2FZSXcHtjtuIsdprEF5uSCBK9tqtYfK2krQ0GfNjpxp4J2w2UGTOESMBcBMDvhOcXiiuK006Nl9HqWG3Pvj0T//2FznfQMsFLU0mSTIKpUl/LPdfnCNkvjOJyseVBiGNK9QwX79gBI+EC4ybXNakvOrh7pJBZUdSKZNJ8dRJzi340qQynpdIkwfdJmn2KF/Ra5Bm9+j48MhpGUZri/EYXbe+e/oqHzOYHDCTANqTEKK6+7qxEvXMumn5uZaOZZB620nYC8I2iWlzCeCm7bRNqwdpclIE0mSJW0r50iQ7RVm/0AhXWaKmLoE0WfG2kqw0yXuwXpPU287Yiytpp0ZpzbbKFcYUbZAmAQA60NJkXnOA9dZcqEu61jlDyJkrM9ZWUiFxlGUOkD6WyU+axBQiY0smTb5x8/5f/PctvoI7ygv0X5yTlnx2zsx38moryY/qrNpK9iTjlhmogjSZJFOy25TUKykGITXk/OyhCcy/tXpN2qakz5p2r0l5uB5XA87Jn7EpnJzNak33T37yk9u3b0v/5EqTyZOMPGmSHstvznvSZO6tWFYahM6a9MXKFW7Ib7ZqpLGSRZLR5pJBGt2x4vnhkkEaXW/FYrUr3stZaTLY6IaSJg+Peg1ido9ODrumsexwfoOTJqdBlNTxQnE+KmIzGbWiJ3oPqjUEl00Zs7t36MRkWZNRflJ/GxxIkywvvfTSF198If2TK00WU8GtG5B40uS4AYkrTc5oBXeCgMSXJuV+zJZLk5p+TJqCPUFzs62LOnoJDdIkACDg9ddfv3//vvRPrjSZ6xzgzXlCaq3b7Bzg8jwhtdadCbWVnEwXl14jJvtq2ttK5iZNYgqRtSWTJv/z37z/1t2PI9tK8uP/DS9BcjraSkbuwc2OW8lAZaXJRG0le6a0lZIyWVKQJjV+7IlJk5LQ2pcmZXmUzE679bbjtOv8J0pS0G33krek/NO//cX7H3ya4a20DDz//POEkKeffloUKM9eWrs5+CT5jZyWJt2x3H9xjsyd7xeyd+36BYMsdPkh70mT0UlGbOG23BVsLdVIbWlLU5Rcjcy4bHR74t8bXfYW7kuTvrtwpclew2gPBKfRbRKj7ZSzrWQKLxTro5x2nek5q1eLbZu+4+I8iXBHd9p1IiyWhN4pzLWUF3QTUkfWZMY8+eSTTzzxxPPPPy8KlKfOXU1XwT2BPve8NLl+oXUlQUDCS5PTVsGdVUDSaxJj2VH5MUGaTLS4EjmJciyrF/dIKith8VfRBmkSABBw+vRpQsjp06dFgbJx8Ybz4Zd5dnHpnKGaU4VzgJUGIcb5jWxiGYV8MeEuLoI0Wba2kmljmWKkSUwhxrBk0uQf/PDdf/zlZ8n24F53d88wXlxXDnuXM1cOvt45uDzv/3ette4P7/BB0riye7i+0l2PH9XsYF6lmrWxhZx7+0d7+90FWjMwljcl2QT+uFUOVF+aTJIsOWjLGsw1e+wg7DGt5gxrGAw8f0hQFdaqa1Q98LhOMcoBRoXcwd643JiMlyYl5+CefMQuN7n2mjyZ0XaTrjTpwgmUZy+t3dzipUmNqgdXmgzv4m/OE0Iab1KD+vZicD0b59a5GzkhpHGZHuPEOL/B38svU0NxfqU7TwifLOkOeTdlUryRby7XSHNl72hnrxseRxhgK/tbF2rNlagbOd1blrHVBqm1htFJRqsN4m6KRTmHZofJmmx2jiTSJOUueg1iNppm9+hksGxybSVdaZK7bVMdKc3u8clWr7flLTCGDqTZO2HaQgfOhOkVbfZGI8n2MrSj4NU3Ni1Q6Uaymxzw23NLljQUXij0KozPiXGDrO+yTWKaZvh1+Zt0uwstkCaz48knn3S/ZVGgPHXuapnaSkoDEl6avLLAdKXY2T3kPVWttRFOYGhpkpqlcM0o6OlNbXkzoShJLas0Vw+8/bj8HjXBAY8PDo87wX8b7b4fkHTCgzc7R8f9bm/ATXuo3Wq4NhSHx9zcpr0lD0iCbpLSgISVJrXHi7Qag8mM9p2h5BHq3zF99BVuU94Vh3UdsfM6Zet9/dMrn0GaBAAEuNKkCydQNi7ecP6Flyaz7OKy3pojZG6xz88BNlpzhJxZOdjeaAUbhM4tDrZ3Dtf9IChoK7l+IQyLJLHM7uHO3uEKHfis+oHPpr9pp//yC5tHslt/c4VpSGUs9blYhr7DMfqGROIYq4KbmwYMvGmAG8h4NLp+yZd3Ju2BZL87P3jh5gD03drssXMAm1dI5HeW7KVJTCFysmTS5O/92Vu/+nhbV5SkBv/t8/7Qmu8IM/7++RqZW+wHc/31RcNrG+9LFVTjWHfEhpN7nbaSKw3iDt3d/aPd/a0LNVJb2grFiNUmt/X2asNtIcfpDuEuN4qB6u2iqylKsqsE6lZKPU8RZ3abYiRC0zS5wSC9euQDj8+FtE1qIHFViPW25T9QtxxXvGD3vWWTicSrX62NRgbkeUuTr7/9wetvf5DTbbUoaGnSJRAoOWlSO57vnObekR3O7JKDcX6di+c7Z4gxVyPzK14wv75o0CsQ27uHlxcIWeh+w0T1g8Uaczv3b+GiLnm0s3e0s9p0t95OW/XQaRJi1BSbbrsxfESSkStfss6BkialC4yeNHlCS5Nd799OyyCNXpQ0yT7iBvxmL/QkTtsgRtsJ3MiwXW/2wmCeHWLeZpi00tcz6UeE6mZ2aDM+SsML6f11xJyexGO4p612MswpyUqs3ffkfFr4kTlp0j4ZSTpUYhucbAmkSRdaoOSkyaLbSkprO8QFErY97mqD24N7ZYGQhS4nTbpO7O6SsbDK+y66ba4/n/E379LIlGQXWtwoorkaurJhyyAG5cr6LcOVKYOAxFgeUu1xCSHNLjXh6TYJCfzYsdMyvHRvabGI26dCVr3FSZMjuTQ5XieKiJQH8U/MI7ZJ6gaVxy22wY1ymwmcnvQ5fIp3z+S8YvzpldMgTQIAAmhp0iUQKDlpMvuCifXWnLSt5EZrjoSxzPbO4HyNzC0OLs+7e3APFmt0LBNMBphYZofWJcMKsO48IfOrW4s1rmBCVezVXSBGrUbcuYHXiipYoeyo9A2xi4s8+0onWVI2DTCpaYDTMojXlspPyXLDmYjgpUvNAbomHc6wsQynkOQefWAKMYkpRDJpMiYSUAz+cNhf8dTzM1fYCu6Vhtu1YXvnYHtncH6eVit4YeKb3cMrC8biXe22kqtNwoznrQs1EraQc4cxaa7SE/dOkxjtPi89xG7AHUqTSURJQZpkc5WH7Tqh9+AejY7p8JVPHVJdu4pLUxaEK3RAb3s8/nEullbH/1HaYvAm/h584vhxH4zcfkflj+Ltjbc2/83vfu/52eK73/2u9Et6+umnF1645EqTCZOMOqf9rMnb5w26/YoQz/vSJBPPd+a5NMmN1hxpXA6TjPg7t1uyLa983GzVCKktDfix70uT8aJkf7nW6KqqHlYbpNba2js4Wm0Fa4zHewfH/ZbBOwdmIywvn6jTYOL5UJqktMj+crtDVz10Ra3M7AZ+o2fSd2tBmnSWjdCBuD6kZ7LBfM+kciSdtmkNw8pHiUzGFDvz4qPTrofDzbHqfI9XpcSWanLgr935x2J6QXCegHkhd0Pld/Ry/x0jC8qlSa5DhWnLpUnZg9lLk7/7n/7bv3/mPxbteDLmiSeeEH9fV6D8189fKVsFt1CoxWVNDhZrTHvcjSWDcL1xmcWV7oKfKHF3yQiWVBknVlu+y3qwwHdptJUcLhl+okS4rBIuwXrbcwU5kofDVqPdD/3YsGWEy7HutKfbpPbs6pqE+P957EmTbuLk0fHJVttgIhBXrAwSJ0/09+D2pMnxRk3KuII5rlhEonabmk5P9RxZkMDN/eJOr6z2v/z294v2Otlw/fr1PBUbAMbk9u3bRQ+OBHznO9+RTvNOnz79f/w/b7jSZF5zgECa5OYAnjR5SEuTRLblnVSaZOWLYLM7bxqwsWRQy5NBLBMlTbqPe3OA/nLNXZ48ONpsyfWNTUnVF599pV3BHU4DAumDmQa4MwE/R/Lw2Gk12wNp8BIGOFRr6Z5JmIVJp20QYtpBjoWnkAQLk/lEH5hCTHIKMaY0GTf+o+qkbi8ahJct+udr/iDfaM0vDuhZvpcLza4/6O/BfXfJILXluxptJTdbVJxLqw/UBtxL4gbc4RD1pMmYtpIJWikx8+8hHQQz0iR/oaibQsouTUVkz79cXanNJ11S/xno/UEpZcyGNqZ9Mhr1LMloCaXJcdZDYuy1/7HxW//uPxR9/80YlTR5+vTp71mdm1ufJK987Jwm5MzlsBWDu8Ygi+c7Z6g+LH4w35l3hUhOmgzG9d1WTS1NSoa8txk3M/Ddm/rKgvSjy6BWKYS96o72Do72+ssLraEXz/fbNUIaHVWyZNht1pcmg5yjXoPwFdz95XaXXsbompKsyWA9Y9g2wgwjZ9ngsya33NYQXqWD1I04bYN4mZKO1Ww7dIaR5woU4r7mWhnjT7KfHAh5jnXLkfglv7Y6eERQMOllktTSpP+gv8yjlCY1gTTJEi1N5lHBncGeXQppcmf3cONCS9KGwtMofcLFFS/quLtkUJUfbMqkyq3ptZXsu9OeRk8dkAxbhlfQfTBoN8LkCNeJGYQQthNFaINlgwpIlFOgrTYz9dqS9LlX78E9Gh2n7KOdKq6I+Kum2xwvrpCvQLNHjDm90hqkSQByZQakyW9961vPPPPM/3mu80//8mWeXVy8XpN8wYRMmqTqO6OkST6W8QKZQy6K0W6R310I6iRoafJAT98IA5nYwlBl1Rc1DVC1laQKv4btpjR4EQom3Lv/sG0Qoz2MayuZc/QRaZhCZG0JC7r//K1fPdyOTJbU2uvm8jxTwb29c7i90nBLO9cXG+fvSmb5VwKtQdz4InIP7pUGYcqdJDLElju9D8uagqxJhe6gGKKuNJkoWVLVSmnECQqE618QK03Kqx3FxCjNTMMwAhf7tTEXt7qgm1HiuefEiALh8MhJmnz17503b97Pdy4wcZ4XCrqDIoizl9be5aRJrcpHRo6U7lvnB/OhNElVPnZ5afJuq0aYzmtXJAXdEdtEdOcJqS1t0cN/ZYFIcotWm4Qwj0f3h95sGVRsf7za8OTI1QYhjZ6yFcugbfhV235TNqM1OO632p0jXpo8PDoeLLfpykdGmjw+OTwOpUnv/j0MbucSadJdYAylf74bi1/7YFjDk9HQMqWDhXq5zT8e5Si85EG5j0owTnVHsePEHojzP8q206EHSyhN8s1zI6VJWSo6Crq1iC7oLlNbyRhpUuHEBos1Qmg/ttokteW7e2E0stAwaktdt9qD82xecdbYe934fixsN9noSUIRN3Hy6Li/3KRb1gQZ312qly09+XELtNXzH8eNaEJX1jP9IIRbXFHuwZ3+7p9fXKE3vxovrhAWYAIHon16pTUUdAMAAriCbleU/Oijj0ajUePiDV6azLiLS/98jZD5Dj8H8LbBoes7SU1TmhSmAUIXFzK/KlZ9yaXJPU6aPOCkyVDf2OP0DUX2VWxbSdVeN/JpwDFV+GW0t45PttqmdMvf8OVmj16b7JluOKMSJScdfWjNEyL+hCmEhiXeBmf9/mdaFdxByzmqG10w2u8sGtRQP/RlC+P8xuD8ha5qYO/sBvN4tgBKIUpy0qRq+u7KDczEveNVMGluwO0PTkGa1BIluVZK/MCTXJo60qR+1qROJOzF4eFo8S9o/j1V0iEnaPJZytEBOVV1npM0OfPb4HCto3lpUvdGzmZKrrfmuL1u2LaS5ze4YDclcZgAACAASURBVJ6SJt14XpAmv7nbqlFTEE+XdAc735TtiJMmd/eOdve2LtTEm3d3gRDS6N7tb+ltWtdd8O7rTKVDo2HIVizklY9hQXe4bhFKk8GN3G0LzUuTx4w0KfMbzrJBmj3Oh9DmrmdQjSCYykenbUXf7dybve4NMsZHJRineqPYNsOJiHcgcWdtTaO2/NaUJm3T3YbbtEfa0iS/sbjyw0KaFIjeBqdMbSWjpEmFLnnExiT+ln1hnUd3IVhT6S/XCAl6TYbtaNyuUuOKkqwTG7YMQpgNu+g+2sPWci9y802nZRC6DUUgTUonP3xnyROpNKmzB3cFpUlF3x7GgUCaLDNeZJjg2XXLER8VHyw50nN2HK1PEfGduffdZK/JHLe3jS0+GPMrRXx8rdOPuA6U38sUEUiTtCjpwkuTOXRxuTzv7srLzAHCRvlhq5YoaXJn93BnlyvcpkSMzWU68FmQ6JISaZLa5cYr3/aMkiYlO2fQ0qSQfSUvDI1okS+pluCnAdSWd8by0Flu9yL1kCB4oaVJW1EwMfHoQ2qYQmRtyaTJ//w37//D3Y+TVHD3z9Uo8YIa6nOLfW6Wv37BIDVjcYUd0ndb8xcGXNrUygKZXz3kRUlVXzm6K3wwejvLfl/Y7gJXoXlwvN8NpUm9DbiDjagoaTJWlDzmWilRM2/HaveCSiUhpuWlSb0LThUJyx5kjyhsfevL6mIQritNch0TIgNy+rU5SZMzGdK70iQnSrqE0mSyJCO+iPvNeULmO7J43m0rycXz3XnSuEwnGfHSZHee2yOCW1f01iSO6Nu5t7q4x3Re4xYnqG2vugv0DrayYN7dF4KP591m0kIfFtpF9FuG0WgajZ4nTTKVj8OWtPLSaA84aZK5kWtIk64DcdrNtsPlXPdMEm5049/IHatO6vU251IcyxQ8BrOBNbOSFjxotZ2RfPEtv8mB313XS5wUGu9KzlN4OSGBjkkdkX4r76NxbrBumnW2jpvtNamSJuW3c0iTWjz55JOiKOkSSpNFtJXU0CXdaMSdrkhb0Hj5Ecw0hpcmw2jELetmSreETfzcZlILHbGtpEyUHLQbrSHnxzoNEm504wck/WWDGEarywYkW+2G29uezZQMN+xiO+T6qZHt5aHbxCZ0YkfBpn+hNKnYg1uy102u0mREr6W4iXuU21ScvGPxzlnxAaXrysJuZpAmS4ttknrd5AUllUilFJ8mqbwlw62wFM5NKd/pI/u8drA3nvi45HtOiG1GfMnhHx2rTkzL8aYB4YSA1OtW1G+k+Kq8N4958Uj94YO/lfMK0eX06dOiKOkSSpP5dXHha7fdWIZrK6mUJqlYRpQmgzTJ5kr8vp3MZGCPkyYPpNJkd4GQhY4Qy7CpV1GFoTGipN40gC7cNozlHjsfcOu72QSLnkmaPX8O4KZNcqJkIdGHyjCFyNqSSZNv3rz/g6tbiSq4L88TwnZq4LflDZcdQmGCSzqgNrsIhndMsiQ1ereWaoTUgr0sjvY6TWqDquGSQZg1BDer2Gj3D3stfiMLQ1bNRPeGM1pbSUVJcc8pp20w+zHx+8x4NyG7bTlepM3t8CC/dOQDr2cSwl7WRuw+tqZpknrbEa7aBNIkO7qiAnJGGM1Dmtw7PP4d6/r+4XH2d9RCuX79uihKupy9tPbuvU+Sx/OMNPn1NwdfX3GLGsRgXtjxZudwWxzgQnPJK2yPSGbg850lu/OEkIUuPfzFnSKCR9g+LMQP3QXrNMOSbaYdm7HUahK37YOiFUunYbQGXu5kq8lJk9IkIzbDuhdKk37/WZU06UX1bC82ZgNuPs+IGSlSmYxbz+AGlMwReSMxzkclGKdxo1hcSuFdh1DcEdmDhvEnMdJkOPunnKTTNnnHJfFRbNZ51IeFNCnwyiuviKKky6lzV8tXwc0FJFJpMnBiW4s14pVvh7v2EVJbvrvfvbC0JSZKiBXcqw3CqJP95Vqjq0yWlEQj4oZdfnzC96tpdng/1msQf+dNz4/1GsRoDYMpkLNskHBnG7dk28uU9P8UODG3nYTRHp7YbcaVMXtwZ3v3PxlFz7ZZxxh2ra37cZE4cdd0m8xz/EMIy8BRH5DviC/bXjP69EpqlZAmZdlsMQqVSnqi/sD8x2RQqorumdgWd0KOVZdkTUpz+6QqphyVQhuv3Oqrouqv1s9pDT4G9SG1Mlujfl69lys/5TRm1nL85Cc/EUVJF0+azHkOsO7ukLFB7XjD774tlybZBAtammQqPlf4wEfoSUVJk0Lhl1SaNJb6x3ucvuHlWHj6xhIfy8T2rFPFMuw04JiZBgiRixjUBMGLqrW00zZIuIfnqKDoA1OICU4hkkmTDx/vNC7eSNRW8s5i67JbwR0OO3oDbmbZ4crKQBjV3fmFLtMhnpInonfgFabvPlx6szt6w7/29gded8dgRwseoz2gRmbYIoF6wpauKBlmSrKXLHv1BJi2f3HX246f7kTrhzIVXHqLDZ4Q3T5Wv3OlOmFTtes3NdgUAbnjFU7KTlX4VOMNmJvDhy9cvpPljbT0BNJkgiSj9dac/0XPLfb9G3nf3ZbOXXvYdhceOOa7fmcWb2x4WmT4SLBNRHe+1toI7+VBF7YBI0f61Ja2WA+wdaHG7BTh6pKSCu7+co3INrHtt2t8f+jhkkHtETFoe2UXko5svYbh71275TuQLT1RMsww4qD3ret1e1R4T9U7ePdy0x6yKXyKJCOnZ8tkMtNmB5dqGcOHuTtG+igNLxTro05UyxIS1+F6Q/qGKlVjhQVJ6pbPuR3/JIN+u/JOnYrzTDBX0O2wobCZlCYjCKTJCVVw64mSYUBCTTv8VZYjwbYu0KVcja5buE2IcWEpnFgsrAY5kv4j1OIK1+FetvmmqoK712j0+kxGt1SXPD44Gna7Q8GP9RrN3mCZfbkQkDATJKaC26H3vyFm75jyG2FDm3R+I8qEDbIkL+cmV8GyRPg4lXYdfBTKe6jdpngaGhsVil2ApX/SPr0S2mxJk+pJa73O/UUh5o1GrMDE5gswd27Tdu9dEURl2GXyWSWHD3MIk0iTjqWd7KgqW47MdtRCXkmvOH7wf+GJ6ymD3LOoTEdIk5EE0mTucwAqYGEkSLYJFSGEkMYVtvBrQ9ytjuni0l0Iu0u7gQwhlEAp2ezOXZ50cyk8/OXJ8BG3HlSib7gTjKCtpFTi6Ee2ldSZBkjrvbo9sUV+r2n2hsxUQNJXutjoA1OICU8hkkmTo9Ho+z967/1/ehQ77MXRLpnrcxP6u90rd6VLDbptJaWiZHzrJeXGlBFtJcfb64bTJVU93UtvbEjPDmwxddlD3tQgerwJG+aoOy+Mv+Ixk40mozl7ae3n9z4pWeVj0KiBtdUG14tNWfWw2gwasXlNZlUYy6tuImSfdgu9BqtLeulIQhG3PJLvtrmU6gNm31kV4R7cg7bBblHndmZRRPjMTtzKTeskLsWxe6XPmpGNbnUipJZeyZtEBOQmGap3kBW/c6fE9dVV3MVDlxXzcbStgtJkmdpKyjtRSCcw8Y1opPOZmL1uNCq4o6c6EX3ut3pdcYs/YfITUyyinAsl92Ow2bXZkiblCFqaY9tSQVI2afA0K4WYFUN+0mT4mXhRkf60cdKk/DOz92XZh/L/QB2bOVSCFEzqXZO9wv0Yjm073vKm5NNKpULuQVXSpVS1jjnRmZcmP/iXL8sWyyjmAJJpwO7e0coCoSOXsBMdtetd4XMApfSRaBow7HWHmAPA4i2xNNlZe3Dxp4PYZMkEouRKw02kunKhta6hS0bP5uNGb8xwjR6iyuyncSq4p1KX9FTIpOIgtY+N/K/yXGhVtlGW9tn2fvOlG7NXzR0NJU0WX/kYDPmNJYPa4cq1rcUavwe3Yvh3F9jta/f2u0t0yqR6r5s9T4hsroaKJCGENLpR/qHfMoJNbw6Oeo1mL2qBUSpTsnvXbvV6ylRryocM2wZVyq24kYv+xC+F7lnjJ+UV53bUbVyS5xi6OmBUEnf0ycR8gV7A6P9n7I5DaT8ObVWVJqcyINERJZPEJPkEJN0mIUZr66S7THXFTaNLIiCBxdmMSpMxmlu0tMhkTdqe/hdur+L+WXMzmXxgExRZITChNKmQ0sTUSOorrZtmnf0mJQeKTIH0vlbqncNTVjZ7lOXE1k2zTuqWY5t106yzJ0a85Erup46XJoMD6ZSt0ydcGWmy+FhmvDmA20J6hbnvb12o0S3ydecAel1cxhMlNQq/VHOAnulWgHXbfjkp5gCwSEssTe4fHjcu3vj1J9s6oz0+U5Kq61TsYhmRLNld4G8JDGzBZipRcqxkyZ5Y500TNoYr+iKosr187V5n7UGet84y4kuT5Ugy4nIkWYI9ImJzpccI5pPsXZswySjNjTx1PC+51P05fMlL+WBprJLSZPEBiWI9dXKipCIg6UUkjhOuxaQqIPFTtRvdbPyYrhNLOy+KkYHGXpmATcBmV5pUa0RxGynLXhwKWLZJqYBxe6bkgaxwmlIn85ImJX/w/y09jCxnNCw2p4VL6gMF3euia+XdHQbrhH5/x6rTe9iokxu9D+1nwrLSJPHfk/9qlEm1dAF9BaTJr0rUxUW/YILLkWRx8yiLjmXiphBtR2sO4FdWNnuTnAOkN8wiCrPE0uRoNLq2/mGrs6EhSh7oj/BcK7gnLkrOVKbkDFs1UyZHo9HZS7cCaXK8JCNUPuZY9YAkI9hYVmVpsiyLK4kCEiyulDEggRVskCbVL9bbtGWyGzIrIvi6Zfmph9kVdMs+GfPdefmjqq/JtPi67nBXbVpN9aVJWq6M2KWIOqyvDJq2qzRSRdjCFcB/Vr9VqGPRyZZ0k1GNbdpt26a/Eb5L6WzplLQ0iS4uszQHwDSgyjaONDkajb7/o/d+8cGn47eVjBnVubWVPJicKBnbVhIDr3CrYJdJF1earGzlY55VDxAlYYVZNaVJBCRF+TEEJLA8bHalyfEFRU9g4hL36Ow4GnllN7WvAbujjmlTuXnBs0zbf4WvtvGvlkBXmYcyZL5Zk3TKZvBq5R46UX0wGUnStLlcUKV8HDwvfIZtmrYrSoYZrRHyM/Wh6TTJkaAsakiT3JHYlv6JNheaAlxpsrKxTOFzAMQysDxsTGny8+39P/jhzd882k4jSsYmS6KtJCw/W1178PK1e/ncLsuOJ02Wu/JxcklGhbdiKbLyETY7VkFpspoBCRZXYDNssytNpsqaFFXB8ZLg2POgUwGpaudAYvTqlKlXRB5V/jlylSZpATHua9R+V9m2QtJnMqogXU3v/zuUAiMuACrXk6tGz0KanK1ESYbGxRu//JevSh7LTNscALEMrGAbU5ocjUZbHz7+4x+vffbVXh6iZLQqkasoiQruKtitDz7907/9RQ43yung7KVbPx/KpckZTTKa2cpHuBRYYFWUJksckGBxBQEJbAyDNMk+rkpWlL8hu3N37HlE1P66/5YcJWJDaLa42pbkC6qkST5rUDezVKlMSvpfsjmdktf4D4S5pNzWPoJaadncCyXiZaj2am6jDWlSl8bFG7/8SC5NootL+WIZzAFgWja+NDkajf6h/9Hzf/3+J493Eldw59ZWkh+0ECVhgt0cPnz21fe29w6zvktODVJpsogko6pUPiLJCDYBgzRZrsUVBCTwY7DkNqPSZGybSPlGMkGBMV1sHUeUGJVcmoxMFYz5WKY90pAm6YJmi9Xo5DmJ9DPCt2M+mqoFpmk73Bv4h3A/ir8lTnDmss18qBfH/pxuSXdkQiekyTGRSpMlmgPMQCyDOQBs4pZKmhyNRhsPPv+DH747/OcvJ9pWMnmy5Jii5DgV3Bh4pbbVtQcvXL5Twa1vaERpEpWPRSYZ4UYOy8IqLk1icQWLK7AZsNmVJjPcoZt7ICKRMfqtUkuTMZ/DcXR6TfIH8fMt4wu0Hdv0+21yOZESTU72do5VJ6ZpsmoifUKBOhl9MsKXZ9n0J7YlCZvyF49EadK2hC1x+JdDmkQXF8wBYDNiaaXJ0Wj08PHO93/03qvXnU++3E2YAj0dFdxJqpaQLFleG3z4+LnXblW2vyQNLU1Wq/KxlElGqHyEZWKVlSYRkGBxBTYzBmlSRK1d+a/W1p/SS5MRhxuv1yT3mJvv6G37E2zCE7f7Dq/cJZEm7ZFj25zyGz7R+7xRvxH9CVQl4hG/L/PN27Y0a9LfAikok2deHuyEzp9pdaTJasUyZZsDIJaBZWcZSJOj0Wh77/D1tz9oXLzx5s37jwSBcnpFSVRwz4YNPnz8wuU7z776XqXi9ghcaRJVD4WLkojnYRlaNaXJagUkifwYAhLYFNrsSpPRVdj60mTwVkHRcQL1KbU0GezWoviQMWmOojTJF2UTqcpHlVurPpZpUt0ek0mT4rtJ6+tVH9s2fW1Ulh4Z9Y35h6MvA1aa5F7IVLyHb08rs1WTJksUy5RtDoBYBjaFlo006bK9d/jytXu/Y11//q/fX/35gw8/+2ZW20rGVnAX/rvCTkajwYePX752r/nSjWdffe/d4cPUN8HZ4eylW+8F0mTpk4xQ+QiXAtOxCkqTZQlIsGcX/BgsI5tdaTLDgu7g4chK3/i30pEmmXeX7V0tfo7gxOIyJNlH+K+B/+8wn1L1oUIVcCxpMuoL1dj+W7ZrkXtGpmJfc/+AfJpl1B7o1O8lF7UrJU3eD6RJdHFBLAObCctSmgx4/4NPX/rp4PSfv3Xq3NXfXrr2x5fWktrZGLuVi72mZc9NxP7g4k//1fwfT+ZYM2bf+8E7p85dPXXu6rOvvtdZe/Dw8U6ai3km8aTJ4pKMqlv5iCQjWG72XDWlSSyuICCBzZBVWppU6F9ygYnKxrP5bolKOAHS19HoTEz637ZJTJvO+IyWSGMzQIVP4lim+996e4FLHmK/Wf/9FNvg6GRNOo7sd4qRJpnUSP+5VEarpKybl33lH4iFySp1d9iJPFPmW6V0zdnAkyZLPweYwVgGcwBYbqaKZVJJkzT7h8cbDz6HJbUf/k3nf639b4WfxjTabz7dzurqnVU4aRKVj2grCZsBq6I0md3iCgKS7P0YAhJYcpshaTK2iFsBm3In09SkqpZK6uJPKYk8JSttln3C2DJuhTro1Sdzh9FPB1XKeIqsSe4xqYBZr6t+NvU2NOKfbCFRMvwW9LMvE56FDjOURdm4eOP+x18hlinvHACxDCy55S5NgvG4fv36U089VfRZgNkkkCanvPKxoCQjVD7CSmmVlSYRkGBxBTYzNkPSZEbYZt1yhI6EiqdKNEwmbS6ZMpVUyYx/N+bwirQ//+nS7MWIt6ORvDW3101CJCKoPFc1MoM17jOBJATS5JTHMtM0B0AsA8vbIE2WFEiTID9caRJVD6h8hM2SVVCanPKAJK/FFQQksOk1SJOZwmbgJZIZKS10hjLtwOzgSpMljGUKnwMgloFNr0GaLCmQJkF+nL10a234yawlGU115SOSjGCprZLSZLkCkkR+DAEJDCYapEkAgA6+NDmtc4AZjGUwB4ClNkiTJQXSJMiPs5durQ0fTSjJqKqVj7iXwyZskCaxuILFFdi0G6RJAIAOjYs37n/89ezMAUoZy2AOAJuwQZosKZAmQX7w0mSFKx+RZASbGau6NImApLjFlcIvftjMGKRJAIAOvDRZ4Vim8DkApgGwrAzSZEmBNAnyI5QmUfWQ4b0cN3JYoVZdabLCAQkWV2AzZpAmAQA6hNLklMQymAPAYLEGabKkQJoE+XH20q0151FVkoxQ+QirhlVRmpySgAR7dsFgmgZpEgCgQ+PijfsPv57iWKZsCRaIZWAlMEiTJQXSJMiPs5dutTobr153ou2vXPt70f5pbPsxZ29lYJci7B9U9oGOvaZjbye212GwHKz50o2qSZOxTuxVpRObHj+mdGJF+rHCr3bYrBqkSQCADo2Xbvy/Px3M/hyglLHMhO8Lf/bGW4Xfm2CTMVUsA2myYCBNgvx4d/iwcNcDm4z9X2cXX1p9t/DTgE3GtvcOi/Yuk6Oz9qDwLxwGg2VrnbUHRbsWAMAUcG39w8L9FWwy9j99+3+GOlkdk8YykCYLBtIkACAlu7u73/72t5955pmiTwQAAAAAAAAAkvHkk0/ev3+/6LMARQJpsmAgTQIAUtJutwkh3/rWtz766KOizwUAAAAAAAAAEgBpEkCaLBhIkwCANLgpk4QQQggSJwEAAAAAAADTBaRJAGmyYCBNAgDS4KZMuiBxEgAAAAAAADBdQJoEkCYLBtIkAGBs6JRJJE4CAAAAAAAApg5IkwDSZMFAmgQAjA2dMonESQAAAAAAAMDUAWkSQJosGEiTAIDxEFMmkTgJAAAAAAAAmC4gTQJIkwUDaRIAMB5iyiQSJwEAAAAAAADTBaRJAGmyYCBNAgDG4/bt29d9vvOd77Tb7eA/IU0CAAAAAAAApgJIkwDSZMFAmgQApOepp566fv160WcBAAAAAAAAAMmANAkgTRYMpEkAQHogTQIAAAAAAACmEUiTANJkwUCaBACkB9IkAAAAAAAAYBqBNAkgTRYMpEkAQHogTQIAAAAAAACmEUiTANJkwUCaBACkB9IkAAAAAAAAYBqBNAkgTRYMpEkAQHogTQIAAAAAAACmEUiTANJkwUCaBACkB9IkAAAAAAAAYBqBNAkgTRYMpEkAQHogTYIpwrYsp8DDO5aZ2/FtkxBi2sKD9YyPaJuKd3SsunB89xQkj04Ux1F+BbYpfmmyJ6m+RcWHlj3RUjxN+YV6L1SfPPs2+pe2bZI0l4XWdxbxWv/YjlXXfhvHqo9/0LjzIZFfh/Qndqy6zlfo2Ha60ZfDr8++Lv63LO+4TgB93WlTBr8xEWKuMsF3pXQgGTHGNZ/Mdck/Zqb31IInJCPFx5mtm44mkCYBpMmCgTQJAEgPpElQBqJnrr4AQYhEvksUJ44zwWaOnltIZ5ukbtlcSBFE5NrnbZuEmJZVJ5HI3koe/bsfvtgo3LHqqnOwTVKvq0RD6knKb0+qCCvPIcn3SR9Ak2RR97i/SsKflBmaXCCs/VaOVSempRkwR7+N9ItXK8fuSyQ/kNaQcqw686zoX1Oqg+Tw63PvH/0p8h/XeenO/AF4wSVOXy6D3xiXaH+jde1x70WdrG1mMRjptxMO71j1uME1htxsm6ReF5YHVUKcUoTU0MnKNyFRXM3SwTf1N51xgDQJIE0WDKRJAEB6IE2CcsBMsbnATCMvKO1U3A1jpFN69gW6CQlJkcZydIDEqyT+38WTZXMhNIJE763kuVUlyA5SJ7popcBEfQjdHBpltBkXhkoOIPtFkubyjP/DaCYMMgcybTt4LXfUCP2He1bkc+RnxY/suuXIhkH06auezFzx6hRQxjExr2F+A8eqk7rJJ1mO/euzWqtyDMdfBmON6yTShvdrxCQPp8E9Wdus12V+PnpZoGi/MS7yXF/5vSducAl/j8yYTSyKEtMWxw/rFmwzk3uL7IPG6M+qn59ZbpA+q6AJifK17kkKeY6qecNU33TGAtIkgDRZMJAmAQDpyViapEKaMSciY1VuZfbymDdO9clcmJln8aIPS27fng503JGwXk5/iq0MygrPDpSGGOz3ECkyqv4YV3br1axSUggV/eQdgGsiy9VzP1RVpMnY09RX7BTfhiLEZ58trx5UfAORQbZE/BKFPfnJ1y1Ht9Ca/aZjFQP590d/Pl6aDJPP5N9CCmlSOFfVdyy/+vIY14WUMfvCpDQzLFaWLdpvjIvycpJcpbE/C3/Xy6iYP/I7kHz33DEjvl71SBXkaYVix58C629MmzqCacvvkcVOSPyjKn112FYjL2mysJvOeECaBJAmCwbSJAAgPRlKk+w8Zdwir7JKk9QBxn97Zu14nNrinClUmqQpRJos9oP7oQPTz1L8HqT5J/Tr+ecxL5AkL8ijQC/gkyZPTf574n4c6qMyf1F1zspKmlSSvzSplYfDaXsJ4nvqF+cvN/q0oodlVJTNvFKW/KWR2ys9etT3Rr8nf+UnTL6kDsdKk7afdZWDNBkjCTNPE9SVPMZ1AdJk+MmZ5DY9TaMEfmNctC8n5XPZl0VLk7Y9zq+aRJqU/GKJc/CEzyldoZBf3L4irZCqEx86mkykyfCYfI9rTjTNS5os6qYzJpAmAaTJgoE0CQBIT2bSpET0KEcxaMakCUkKl7/UUVjJUEUCikks9cVKms7RD6WWJlNvjMG9nXwmH36aOjFt8VnyBAQh7HKfysZqddOy+WEqj1slwUyOQzrqyoyXGIJvSH7VsI9zF8Q0ZE2OWRCtfiOtHZ2S1fWqfwC984/7/NIInBku/EvY2mvqyvfeLnlzBtsUBhQxbccyLTt3adKK/zU45SfrcT1paZI70+A/dTWlEviNcUktTdJSYLQ06V7OktEleGSu9DmRNCn+ajoXXbwHim5LEC4E2/61T9hrQM8HFDIh4dYU2eYRE5ImJ3/TGRtIkwDSZMFAmgQApCcraVKaAljCvMDUpAhJCimHY8mxIVimRK3Xy7tWKSq3fKhwJKqgW488fkR2lu9/fi/TQHP6z0mT8iBWNkqlcavsWslPmoy8Mr0P4z+HlRiC35f/yMr0GTpjbhLSpCaTiBKpHzC5L0jhwJiiaFmKllqajPgCI4UR9aDlsinjixapBDtJ1qT4CbVOPvqzJM2alH4FWY/rid7BZL9MpJIoUgK/MS4a0mQg9SmlyWDEqaXJoFBClOhic2sTSpP8aWhKk+pDjLEqRF0DlKqo3kSLPpSKHCYkskcpdVJHmhzP7QhHLPymow+kSQBpsmAgTQIA0pORNKkQIWdQm8xLmhRnx/Hz5aSU8efgJtHe6SXJGRkJkYBY2Rg8kjprcjRSaCspUfw2+mKAWpqk3lpfmpTHEHkF5PJPzwdYflMwx6rXTbPOB1dRlwd1Bdg2F7UzQaTq45WgoDt9lMiJAQmVJt0cmfBYUd+Y5O+Kc+FPU68WO1QeuK9WtPLpdAAAIABJREFUuLKl70f/3lS6pUyadC+b/LMmM5EmU41r6kvJUqGUS0iSBKvwmok82zL5jXFR5cvzw8W23J2h4qRJfuz5F65m0qHwltInRL5a9gl1PFZ6aVKrMDkUz5hHC5iQKDynlzbNa9Glz5pMd9NJAKRJAGmyYCBNAgDSk400qQoWg4VeanIYJDBwAYLwFAn0pM0Pbqm5o+rl3sv82bj8aeyEMOoUEkch0rkml/0glDr5j2idvOTbof8in5vz9UIxn5x5E3pqrXd61F9NW1YYzU3npRkz6ih8ktJkDqiCbkk0KPy6wTOjpEnTdsQn+X8WJAzTlNdf8d+SxrgWPiDzt9grU/ZhqPeIu2iC1/DalixqT1lzJn9paaJE76tmnxRkXmmgFYhHvJg9NnfZOTG7NQXP4i+fmFeJw4K/2CN9Kv8G7uAIrxf/0qLLZ2lSSZMM7t9lAzCBNKk7rhVQR/O+OOmr9HO2Ike9+JZ1r/5WU6KcEr8hJVZuTPJc9lJwHEuYccgoiTSZ6qKpWw7vJJSTVT5ttNgJSfjc8MC+65geaTL1TScBkCYBpMmCgTQJAEhPhtKkYs7MK2B1y2FWsyNkCOEPbB6Jmw0hKoyqcKlep7disKJ2pFHnE6SQsCJmeuKf+Pmr+uSDE476u+bJq57AT+fZL0zr9LhXR//wfoYP9byoc596adL9BuuWQ32zUtXOPXlZ2makNOn/Uz9rMnhTnWA0ZlzL9FXuV4j++t2/0gsdks82tsSgOrBesg2HTvg3ZpSY/Niyr8B9J4k6HHf526Z8KwPmyox6teASEkWngrZJP646+Sglkv3WpBH+SPiD94aSBnXaeVUpsybZwZU4a1L+suTSpPcqjV8+Ff4Pxpw5USbDSb3KpP1GJkh/WMUYSChN6o69nKVJ9RxL9100siZF3yDM9bSOPfkJieS50kdzliYLvukkAdIkgDRZMJAmAQDpeeqpp9rt9vV0JJIm42KZKG1RI19E9+X06yWnnypDSEE6aTIqSOCn26rfY0xpUqZ00o/FxjCSabFYWKhS0AI5QX3ZpI8EwifFzMdzicNts27ZYUaEW7oVCpRsXK6+hMaWJiM+pLAgoJImld+NVkykI03K3nFiEgOjBit1LFG0kg36MaLE+Bwk5W4OkhwVMTynLgK1yuf+hdsdIzJzJtRSdKRJaQsLXpxSj0/u7bgT48J5X+SP/fnl0iR3Eqatn+aWUppkf9BoaTLtuOYRj6YSjNMRnrpu4qC8yUYJ/Ma4KK4cdzmW+16mRJpkj6qVNDmeNEmNTk0/K21zUOiERPpcW/BfcncyjTedv79/P2UY8u1vfxvSZMWBNFkwkCYBAOl55ZVXnkqNcilakTUZeUbRiVnsA8mkyYgJIn2+0SF6UdJk1MnrzfJH40qT8renHo3/bpNp0sIsWpr+oDhtWWJUUmlysomVTtAILVpT91JXLXmny1yyJrkfX3WhRV2ASimJP2ippUkmXyZKmuRJkHoZ8ZZx+UFRR5a+TrGzrBrmIgprV6PEcuZV/r+CS0VTmhSGcz3MzuWeJvM48m83C2mSH1JKfWi8Xz9CmqS/ujGzJjXHteS7kPxoee66G3cKDpfOz1K83xgbyVfNunTq8OWXJuVyqsZJxA4gxZAz7eAUpBMCjRFY0IREZ2lUR5oc80Nz7zK5m85f/uVfpgxDnn766d3d3WTnC2YLSJMFA2kSAFAaFBNNWTbfmNKkJM9Dnj0xljTpzaiYlfHpkSZV34XAeNKk4u3Dh7Vk31FkMgx9bEfsDRUE//EpsdKTUf91xD8+njRJBURJ8TI2lMf1DivJQ+DPQC5NytPFmPePjFup1IhxpEm9izOVNGkHkVheEoOYgScJVWMvTeXLY89jHK/DpbT4LpoVWXXfS8jSDkZ+zDXp/9kf+3XLcSVITWlS9nl0fzPlu4mKadTbsNKkP1i1pMnxf/0oaVL5NP49047rBEfLhXiJxfvqFb90kX4jxR2BP5bsgLTHyU+aVEhj8lMSXu3+UbpsralMRi8CxV2OwvlJvsOI1xc6IaGeK47aOGlyNm46ACQF0mTBQJoEAJQH5fyTeTCVNMkFKuqALLE0KZmiQppkDyZ5GRPfa0mT9J/VvSaZ4ipRE1Fs5az5oygiAVZqSC5N0sJLMoKwOvK4UVd88EYKaZI+7XGkSfYYqq8vMmsy/mvRD5LcnXLF7Cc/fpRUdvrjww8lE0uT/GcQJBMvl0VUSLQFK/0MpKR4uSqOVSem5fiXhLjtVnSQLvGPphn3y7J5XoJMEHclcn/j9zCJzpiLgHX9mtKkL2b5X6aONJni189fmtR7l7GelzXU+PNPQStZs0C/Mf4dwYX9qhV+O5TOEkiTjuPIxp7047Nnnzhrsq6olfAUK415S5bSJPdesTemIickisNJHpV8Q7Nx0wEgMZAmCwbSJACgREiWwcWZZxppUm+lfxxpUjZDLkCajAgD4rQ/6Ryf6wknnrxESpF/OunPxsoOkacnCyPlaoflUCclPaz2tFuO/Cqip/fjZU3a4+0IQX0zyjhNFHLF3c0jzs59XHIxUE/IU5qUr1rwtV3RVyadv2Myte+Sy0j4pIGQKFOfdS6dIMUqKlNFivwLSxglphOE/MCaeRf6G7SCPyvr8BQrEzqqnml6yo9M51ClwUneKNyeWRTb4wYefwEoFFP5GPE+hK9R1alvi0vdE36lNL++8PVUV5p0f33TtAKxww4ejj6dIv3GmHcE+uBmsGgVPaXRkiYt6tOIn15+i44Z3xo3RNnfaU0qTp9SeAluUUjr/IK3CkQzrY9XyIQk+t35Z0SuakSdUolvOgCMAaTJgoE0CQAoFWwSi0SqTJk1SccZylAtmTRJxZlcxpl3ADFeyUea5AL9cELuPhZx8tQLuI8gl+DoOEtv/hq8P6eFhk+MPT1RxuAP5Fh1NyfJXWJPmBCVMhJgvorxpEnVW+sjlya9b46N4JirkhoWil88CMWUkaKuhKGST2PGNZ9aIrn0VFem/+mY50cpg9SLg28mKplNK22ODqQZiSoOeXSfLEpMk71CjVvVdR1cTIoxJ7scvKdaMXugeJ/eNt3njvkptJwHf0dgJI3oRZ8YaZK6eMNrS6LkSL7fNL++kDWpXrdIL01qpK/FHS0v+DuPLGtN4TcL9hvp7gjesTQWACKlSX8cmCZ3zxBV9OSnGv0dKK9+9kWKvMPwvDLLmmSOGDWHDA5c1ISEOQ1i2tQ5y6RR7rEZuOkAMBaQJgsG0iQAoHRQOokseIxa7o57Cjfh4sPRqJeLc1Fez2Ff7SZYsB+CE0ZjJrYc4slJJQD6r0GsEH/ysjOMyo+RnIHG76N4f63Ts80wSBKPTkcrtlWvk6AGSBfJj6OG/+odsZOU9muZU0gXtIvyABPFUdKiLPRQyiqSn1nMVo36mFSln3iKOteN+ES1+s3+WRW1RsWrzJem6LuvlBjkmqmgi0VfCcxrddMQleJumuuK0W0UUSJ1jjqfnteK2FQk/vC8d04cg2onAIkSleKL465h6lnqX8s7WHQNsXCq6X59Ta0oQlRMM66THy0X5N+LxE1K7oQF+420d4QkKjD/XNUsjH6CKNdr/rThKNCSTfmDSF4Q9T560qTiy5Lra5QDU2S2Fjwhkb1e/dNI7vFTftMBYFwgTRYMpEkAQHWQT5ZS60GgaKTZtTozezYLL0GSgpBjIEa6SbMms7gOmeOyWZL0U+IiFR/p9zqSxIFC9MB/TC3Je7JEysdRm1okDRWVNY0RZxAncNDfMPM20epeaiI+v/KylqiyqmBfeLOICtkomDGgTITUT/jmji9RuuK/CPeZUmGSfgNu2KT+9SM/SNw55zGuJypN8uKf+mS1NbKJ+Y30dwStsSL/AT01Lerwss+kfb7UqenfdaOeLF91ToxsmVqiYktXNbgrrbgJSdRaz0jyNP6pU3/TAWB8IE0WDKRJAEB1kE0YE0wAwSyjtSWC4pWlWbOnioU1um9FZlFET/y5Ro7SxpXSw5blm5oQKatXo7ebFg4lT50p8isPglxlgSsL646VITL1bAEmnVHxeu1ievFoaW4WEc1a3b/z8kraX1/rpCJEhDzGdZoyz2To5bzOMEnuaUkutuyIGxGJVtJyIGwnEaXDeU/N9hTHn5AkPhDf2GfKbzoApAHSZMFAmgQAVIsEVS4AAAAAAAAAAGYcSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFc/v27WeeeaboswAAAAAAAAAAAAAAYNJAmgQAAAAAAAAAAAAAABQApEkAAAAAAAAAAAAAAEABQJpMjm0SQuqWM+5rTVv5Z8cyx3vf4PV14e1tc+yzBQAAAAAAAAAAAAAgNyBNelCioGPVOXnPseokpG45o5FjWWqFUU2MrOlY9VQ6omPV63VG3XSsOqlbtgNpEgAAAAAAAAAAAACUC0iTPrZJePkxeKhu2YwSaZtCbiIrVTpWXS4wxmRNjmwzVCZZQVREcgThuOynGj/bEwAAAAAAAAAAAACAjIE06RPKjbTwGGp9lGhom4TLTZTqiDIJUlZxzZ2FjqbpWHVSN+04aZI9mvsiS3wVAAAAAAAAAAAAAACTB9Kkj1ya9AqinVGoGor13v7zwoeVCmPwNPm7KF8YnobkP6XplXXLsU32JciYBAAAAAAAAAAAAADlAdKkjyhNujXafFNJ2/IFvvBfI6k0afHF1CKCOklJk67g6P2XRJpUJGVSLzeZGvSoZE0AAAAAAAAAAAAAACYNpEkfpiujaQeP8BKjadE5ikxjyCRZk/Hn4L6B4/jl5PTrYqVJxzItO6JXJXRKAAAAAAAAAAAAAFAwkCZ9+KxJV/2jNu7mnsjkTKaTJoOCbNNWvZB7PEaadM+aehL9cuW5AQAAAAAAAAAAAAAwQSBN+jDSZN1yHMfxRENOyLNNQuqW7bDqntDvkW1QST9tjG1wuHpu5UbfgTTpyqp1WftMSJMAAAAAAAAAAAAAoAxAmvThpUn6X4wS6Mp/jlWPKLHmW0bSLx5HmuSlSJU06VWE+0XdkCYBAAAAAAAAAAAAQGmBNOkjSpOOVa8HDRvr9bqYFGnbzE7eioJu2wybO44nTQqvktR3+2fJbtztvorZnRvSJAAAAAAAAAAAAAAoA5AmfYQtaAKt0pf4vFRFRucLiOo1SeUsJpQm3X21+XJu/mmObdYpNVWUJnml1N3aBwIlAAAAAAAAAAAAACgQSJM+XNakZZq2+5gv9/lPSC5NKp8mPQvvhWEhuPgaUasM/1C3HKqsOxBcw6xP0x45lmWPvP8FAAAAAAAAAAAAAKAQIE36yHpNjmzLskw6ZXLEbDVDKYaZSpM2ndMo6SupfBepbOo9W7LZOAAAAAAAAAAAAAAAhQFp0kcqTTL72TgWX/NNNZtU7NDNEyNNeu/CFoOLL1DtgiOVJpkPFiWLAgAAAAAAAAAAAAAwQSBN+gi9JlU6omZBt1I7jJMm2V6TsvdR1nNLzo2VI7EFDgAAAAAAAAAAAAAoC5AmfejkQtMeqXMMlZto62QkKjVLCYyMSTWGpHf8Fl/CKZv8qdqmMqMTAAAAAAAAAAAAAIAJAmnSg01njEpuHCPzkKn21nuxeBQ6rZN/D+oA8XuBB0+GQgkAAAAAAAAAAAAAigPSpIC6XNolRcdG29RRA7kNdoQ/Ko/ubXTjapjRR3IcqJIAAAAAAAAAAAAAoFAgTQIAAAAAAAAAAAAAAAoA0iQAAAAAAAAAAAAAAKAAIE0CAAAAAAAAAAAAAAAKANIkAAAAAAAAAAAAAACgACBNFszt27efeeaZos8CAAAAAAAAAAAAAIBJA2myYK5fv/7UU08VfRYAAAAAAAAAAAAAAEwaSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kSAAAAAAAAAAAAAFQTSJMFA2kS5Mff3fnns5fWptxuVcVey8Ceg1XAXrh8Z3vvsGjvMjl+8Hf3ivZC8GPwY7CM7eVr94p2LQAAAAAoEZAmC+Cjjz761re+RWQ8/fTTRZ8dmB3OXlp77R8+eHvz47c3P76x+fGNvtQe3ug//BlnA8/eSWaf0HZz8MnNLYm9K7V7nv082oZye09ta8NP1oaPJOY8WnMe3dK0f5Lap5y979oH8fYLXfvsttR+mcTuS+wfo+1XjN3Rs3XePpfbA1gqe+aVdzcefF60d5kcp85dDZ2Y2o+pnFhCPyY4MX0/di8vP7YW6cd0nZjcj/FOTN+P6TuxnPxYHk4Mfmxidurc1aJdCwAAAABKBKTJYnjmmWek0uTt27eLPjUwO5y9tPb25sePvth99Fhqe48e733K2ZeefRZpn3/F2T5tX7j2NW+Ppbbt2ZeMHdD21fbBV98o7evAdhjb9uyQt93D7d3DbzRsZ/dwZ09qR5zturYfb3ucHajseO/geF+0Q4kdqOxIYoeencjtmLEjHTs5OeZtpLTR6ASWzp577VbVpMlPvtiN8GMqJ5aBHxOcWBI/JjgxtR/7OsaPCU5M24/t5ODHtJ3YkdyJZebHFE5sDD92ksSPjeDHMjBIkwAAAACggTRZDNLESaRMgmw5e2ntxubHZRAl5fH8dnbxfHGi5M7ERElZPK8M5mXxPETJ2bAKSpNYXCmJKFn1xRWIktkZpEkAAAAA0ECaLAwxcRIpkyBbzl5au9EXpcnZSjLSDOZ3koiS8nheIUrOQJLRWME84vmiDNIkFlewuILFlWk3SJMAAAAAoIE0WRhc4iRSJkHmCNJkaZOMZrbysTRJRqh8nB2rvDSJxZXKLa7kIUrCjxVrkCYBAAAAQANpskjoxEmkTILMoaTJ0oqSpah8LGmS0VRXPiLJKDersDSZpx9DW8lS+zEsrsyaQZoEAAAAAA2kySIJEieRMgny4OyltRv9hxWtfMwvyaiqlY+I50tilZQmsbiCxRUsrsyUQZoEAAAAAA2kyYJxEyeRMgny4OyltZ/1H85O5WOSJKPKVj4iyWjmrYLSJBZXpkyUnP7FlcKH+cwbpEkAAAAA0GQmTe4fHm88+ByW1K7f2vpXv/W/F34a02i/+XQ7q6t3VuGlyWlLMkLlY8FJRhAlS2mVliZnaHEFbSWxuFJlgzQJAAAAAJpU0uT7H3x68aeD3/uzt06du/rbS9f+6K/WGPtxxvbH+dmlMe1sjN3SsWf/8h3NZ3r2mpY9N+v2vR+8c+rc1VPnrj776nudtQcPH+9kNSpmhlCanDZRsnKVj4mSjFD5WG2rrjRZCj+GtpJoKwnLwCBNAgAAAIBmHGlye+/wB9fu/Vvr+p+8/v6b79z/5UdfRwYGUXkK0jBADACkU39xxi+Z6ydWKHRVibjpe8yUPXaaLp+g60zKY2fhRc9HM7fBh49fvnav+dKNZ199793hw8wHyfRy9tLazwYPdeL5ClU+FpZkNLOVj7PnUkpuVZQmSyFKYnFlejK+sbhSeoM0CQAAAACaZNLk9t7h629/0Lj49l+//cFvHm3HxQZji5L7SUXJpLpkGlFyN06U5CfuExQljyomSnI2+PDxC5fvPPvqe5WK2yMIpMlpr3wsZ5IRKh9n3qWU06opTaKtJBZXsLgySwZpEgAAAAA0CaTJh493/vBHP//hteGv40XJvfSiZIwumUaU5Gf2CWbzaZIlxxQlj/Qm5XGiZHUm34MPHz/32q2Xr93Lb9hMC2cvrb0zeFjxJKOZrnwsKMmoSv6khFZBaRKLK2gricWVGTNIkwAAAACg0ZUmNx58/vs/vLnxq8/1Rcl4XZKPAfIVJae6gjuJoFC5ZEmpra49eOHynf3D41zHT8mJkCanO8loqisfS5lkhMrHKTJIk1O4uFKujO8ZXFyBKDltBmkSAAAAADRa0uRb/Y/+5PX386zgHq+t5IH+LH96RUm0lRzbbg4fPvvqe9t7h3mPotKikiYzSzJC5eNkk4xQ+Qg7gTRZ1OIK2kpicQWWnUGaBAAAAABNvDS59eHjP/rx2sef7UyirWROFdxoK1lVu/XBp3/6t7+YwEAqJ6I0We3KxwklGaHyEZarQZqM8GNlz/ieucWVwkVJ+LEpNUiTAAAAAKCJkSY/397//R/e1NyDWwwJ4rSMgiu482srGatLKifo6dtKQpdkbXXtQWX7TtLS5PRUPk4oyai6lY9IMppyq7I0icWV8oiSWFyBpTFIkwAAAACgiZEmv/+j994bPiqsrSRfwY22knlXcNsmqbcd9kHHMojZS/I+jlUnpp3XjNaxTMtJ9JL/0tu8tv7hZEZUqXClyeluK5koyUgSyQ9WVrdiKx9XGoQQ40L/aHf/6O6SsbCqGc9vLRmENLrjVT72WwZp9ARH0WuQZqc0SUaFh6+i9UxCCCGipwrNadeJaUseNGJch9Ozk/kWwTs5jtYz7XZCJ0ZbNaVJLK5gcQWLK7NkkCYBAAAAQBMlTf7d+ocXVjbyreAuWVvJ2AruWW8raZuE8KqiYxnigxHmWAYhpmmphQPbTKh1noR6RKwqIbHPtvebL92o4JY4MmmyBElGmYiSd1s1okttaUuI57sLhAQS5EqD1Ja2WKWSLKzGBvNbSwZZaA37Y8XznQYhxGgNWEfRbRJCSLOXKMlolisfXf9D4cuLTttSOCX3JXVLUAltk8Sok45VZ9yLbfIXE+OHhENEP59FEE91rYLS5BQvrqCtJERJmMwgTQIAAACARilN7h8eNy7eCEq5p6atJD+5n522ksN2u6cQJbObf8uyJm1TFuSPerZcF+jpxuYSdbJnEsNypO/AhvGOk0SaPBmNXr52r7P2YJJDqwyw0mS2SUZFVz7ebdWIsXg3Jp7fWDJIbXlDTDJabRLSXFjt7u4f7e5vXaiFMqXrCjaXDBKok8p4frhkkEYnIpgfLhmk1hrKXESvQZodwVF0moQ0e1WufHSsOi//OZYRJymKbkT1p9CTOJYhW3FxrHronWyTWpWxTcoROVad1M1evLd02nVdp6pp1ZYmZ2VxZQrbSmZZwY22kpU3SJMAAAAAoFFKk6trD/7rT/oJ20r2X5wLAsrai+v7j7f7t9enpq3kaiM4eWOpL5m4M08YTLCtpKfVmb3IpABK0UuWVEiZL01q5v6IgX26kNv9CGMnE0VYNRMnfWkyiSh5Z2lO8kvXXlyXxfOXG4SQufP9rCsfB4tUSuT8ilqa3IyJ5wNpUlLB3ej6/9ld8Ku5qWB+a6lGFjqKIm4ZtdZw3815ZDAa3SHtHPrdXv/w+GDQbnV9OXK53T8KqrmN1tYUJxlFe6GxfJSX6ujYtpZjcSyDckG80Cn+PKKISbew4KVJs+044TtrOUBIk2nxpcn8Rckr4T1+brE/zuLKSoMQMrc4GLOt5GqDEFJbGmRewa2Y3uRawT25xRXOsXB+LIupkcyf5Ne1ZjyzTblDK6tBmgQAAAAAjVKa/P6P3ltzHiVIlryzNEdqL94JYgBPppw735+2tpLdhXDuLp2y9xq+NDm5Cm43WtYSEWSZj7rmSpLMyyNSkPjGaq4oIBRgxmsBOsdKbRXsOHn20to7g0+SVz6unibk9OUwnn9znvjqJBvPu9LkolyaHDfJqDtPjMW7TOF27cKAH/L6Bd215bv8wA+1yN39o93+co00V1VJRp0maXQVCdRM1mR/MBSC+WHL8Eu26RaTklHRHhwdH0qUTUKI0dqauiSjaC+k7aOkjW6jdD1aB+SbS/LF2jomSJO90ahn1tsOpMnJcerc1Qm0lbwRaOlBAAAgAElEQVS9aBBinFt33Vf/XI2Q+U5iP+ZKk6y/SjB18aTJ+Pa44yZLBtObmWwraTczcTsKc6x6OGxtM73QmbFBmgQAAADANCOXJh8+3mlcfDtRBfcbZ0ItIwgA3pz3pMmpaivpzt0jpuy9BuHlhgSiZK/dGiZvK0lLkzETvjHn3z3LcrzX0nWL4b/dfAFlSmOQrBS1bY5tkrqp3mhCV5p0bL6OUsNuDh++cPnOhAdYsdDSZJIko1Ca9Mdy/8U5QuY7k6jgXmkQ0rhCDfP1C0bwSJhktMllTcorH+8uGVR2JNNKMhmeOsm5BV+aVMbzEmnyoNt0W0kehJmSze7R8eGR0zKM1hbjMbpufff0VXBnIE0yQkBgfkK31FE4Vj10ULZJSN20/FxLxzJIve0k7AVhm8S0uRYTpu20TasHaXJSBNJkjm0l11tzoS7pWucMIWeulKOCO7O2korpTVnbSib0YxmtiOTy8tRmR/TvnkqDNAkAAAAAGrk0+cbN+3/x37f4Cu6oSKD/4py05LNzZr5T6raSyrQC5ZT9QJQmk2RKdpvG8lBTl6Sm3b7epyEijDeBts16IE2OHKvuRf6Uzhi17zYdacdJkxHnpt2nkkhbVUbb3uHx71jXZ6+m+/r16/fv35f+yZUmkycZedIkPZzfnA+lyXzbSq40CJ016YuVK9yQ32zVSGMli71rN5cM0uiOtU3EcMkgja63YrHaFeN5VpoMNrqhpMlDT5o8OeyaxrLD+Q1OmpwGUVJnpMf5qIiGEmpFT/Qe1DoKl00Zs7t3qHvKsiZPIvyh/jY4kCZZXnnllS+++EL6J1eazLWt5JvzhNRat1k/dnmekFrrjrYfm4a2kr1GzMrrdFRwK/xYntJk1MRmEuYmaxd19DwM0iQAAAAAaOTS5H/+m/ffuvtxZFtJPgZ4w0uQLL6tZPIKbq6tJDt3l0zWWWkyiS551DMJUUiT0bPwBNPicebffoIS/1o6/O6ZyuZKjkNlMMUUdMdIk9rlSHYveUvKmQzpn3/+eULI6dOnRYHy7KW1m4NPkiYZfclIk+5Y7r84R+bO9yNEyfz2rl2/YJCFLj/kPWkyOsmILdyWu4KtpRqpLW1pipKrkRmXjW5P/Hujy3oJX5r0k4x6DWJ2j3oNoz0QnEa3SYy2U862kim8UKyPctp1JkFbrxbbNilnRXsSIap32nVOHHTaYRM5KtdSXtBNSB1Zkxnz5JNPPvHEE88//7woUJ46dzXDCm5ZxnfnjN+YgllcWWkQYpzfSL1nV4womXFbyUg/JkiTZavgTrW4Upg06VhWL+6RVFbC+vHUBmkSAAAAADRyafIPfvjuP/7ys2R7cK+7u2cYL65LRcnOGT/sO3Pl4Oudg8vz/n/XWuv+FD98kDSu7B6ur3TXk4qSq1SzNraQc2//aG+/u0BrBsbypmSTSn/urpys+9JkElFy0Jbpdc0eKyj0mFZzhjUMRAR/Wkx1YVfNU9XzbzqjhwmMvY0mhNd6AoE7yaalyQiZMmXWZK6dkmay3aQrTbpwAuXZS2s3t3hpUqPy0ZUmw2D+zXlCSONNalDfXgyuZ+PcOhfME0Ial+kxTozzG3w8f5kaivMr3XlC+GRJd8i7KZNiML+5XCPNlb2jnb1ueBxhgK3sb12oNVeignm6tyxjqw1Saw2jKx9XG8TdFIvfdzvMmmx2jiTSJOUueg1iNppm9+hksGxybSVdaZKL3qmOlGb3+GSr19vy4vnQgTR7J8zuEIEzYbaMMHujkWR7GdpR8MOcTQtU6mvZaQT89txOux6zSBMmfftehWlDoXSDwftT52abxDTN8OvyG1y4CzCQJrPjySefdL9lUaA8de5qtm0leVtvzREyt9jnF1c2WnOEnFk52N5oBZuDzS0OtncO130HGLSVXL8QukSJH9s93Nk7XKGd3qrv9Db9Dbv8l1/YZPVHb1bTXGGaURhLfc6PUbBzG8n0JmkF99FxJ3Q7zc7Rcb/bG4SLKx6Nrp/r7Z1Ge0C5ssCneF6LEyXptGezx4qStmRqlKvboUxazMEkVnvOYSR5hPp3zG48Cq8r38iL9Tyx00Ll7j36p5eDQZoEAAAAAI1cmvy9P3vrVx9v64qSVABw+7w/vZ7vCBlV/fM1MrfYD3Kp1heN+RVKqpinm8e7s/aw5ZxOpuRKg7jT9939o939rQs1UlvaCsWI1Sa39fZqw20hx5VqhrvcKCbr3i66Y+1102vSWZN0gkDPWxVnNp0MJpGOZRDTNLkJsXQGKZ9/8+WHtimriWZf67WPdLUAKs/Ifa1tywWCCWVNjmOv/r3z5s37kx1iuUNLky6BQMlJk9rxfOc0947CcKaWHIzz61yyZOcMMeZqZH7FSzJaXzToFYjt3cPLC4QsdOnBPr8yWKwxIb0fxst0yb2jndWmu/V22srHTpMQo6a8ZJurkZWPrnzJOgdKmpQmGXnS5AktTXa9fzstgzR6UdIk+4irRZq9cHnDaRvEaDuBGxm2681emGTEDjE3MGX8QM+kHxGqm4U9shRLFJloBLZJpOqhZLcuxrMxpyQrsQ664mpJk/bJSNKhEtvgZEsgTbrQAiUnTaZtK6mQJiVtJTdacyT0Y9s7g/M1Mrc4uDzv7sE9WKzRfizwZowf26F1yTD7uztPyPzq1mLNkyZ9P6ZK9O4uEKNWIwurVBuK2vKm68c6mnMb5cprbFvJTpMYy0OqPS4hbhsKynGF/SiOTwZtI/BjKq/Vpd2aSfsx1olFT42ydzsKi1hzFf/EPGKbpG5QaeBiF90or5vg5KXP4TPE3aRvdmU65vRyMkiTAAAAAKCRS5MxkQAfAwgpCVe8RfQzV9gK7pWG27lpe+dge2dwfp5WK3hh4pvdwysLxuJdVRmUUPq02iTMnH7rQo2ELeTcqTxprtKJUZ0mMdp9XnqI3YA7lCaVpUzK8iVKmmTrlYbtOqH34B6NjvkGjtxsVTp/VUxPZUG4TAdkXutmG9G13qZp9RzLUOVL+scyLScqrVJpYRWnPFMgIPE7e/ba/9j4rX/3H56fLb773e9Kv6TTp09/z+q40mTCJKPOaT9r8vZ5g27BJqw3+NIkU8HdmSfG+Q2q+HGjNUcal8PKRz56d0u25ZWPm60aIbWlAT/wfWkyXpTsL9caXVXl42qD1FpbewdHq60gz+h47+C43zJ458BshEWI0e4fHncaxJBKk5QW2V9ud+jKx66olZndwGn0TDpoF6RJZ9lg1jaOT056ptF2qMrHnknlSDpt08swOvaGGO8cmGJnXnx02vVwuDlWnV/PUEpsqTQCP3/HP5Z6tYPblYsLqmn1MPx3jCwolybbdf64UmlS9mD20uTv/qf/9u+f+Y9FO56MeeKJJ8Tf1xUo//XzVzJsKylpQxFIk1wnCk+aPKSlSeI+oizcDp0bO3XpzofbdvlpkgtdoYI7Spq8QKdJ9pdr/nxms6U3t5GtvOpVcA9bRrgc6855uk12z66uSdyWFMcnh8dOq+nlS0q8lufZwomQ2+iGcmJO2yDEtIPFlXBq5PqxfNxOjKWTJpnjcs+P9LpJTl7yHJnOyE0d404vN4M0CQAAAACaeGkymShJ2e1Fg/CyRf98zZ/ob7TmFwd0W0mvHorNQdBvK3l3ySC15bsabSU3W1ScS0/fqQ24l8QNuMNpuidNJhQlKWnSieqjNKSD4Mi9ZRT70iimp1oaH/3aYGMcYtpBpqReRB2VOBkx5WWlyXHSImLsjbc2/83vfq/oGDxjVNLk008/vfDCpZtbnyRPMuqcJuTMZXdQe9vUKtpKdv7/9u6mx40jv+N4Hf0y9BJ0Mkie9A7sSy652DtD8rB7iC9rZOWD48vCloZDIgYsIGskWGXH2jiGNDMEKRiGobUtrGSNbMOSzBmzIziKYyjyU7RZeUTNg5lDP1VVV3U3Z0g2u/v7wf+wGs0DR2sWqn/1r6pfSGex+cexbS65QaQWTQbv6zutij2aNLzlvcu4lTe++2C/vmz81U2kVYrInVcHo72D0WB1uTX0mowG7YoQ9U1bs2R42qwfTQ5bVfd/9OpC38E9WG135TWMbtPQNRk0WQ/b1bCx2lmt6l2TO+7REOGGx+gw4rSrwuuUdDqNtiPvfPSGAtuhsen6ZZTxZPoZQaTPsdZxDCOPPzTZhx156eXY0aT/QX+ZxxpNpkQ0qYqPJqe8g9swjilbOrzjcU3RpLS3Iy6a1McxbxDb10awSMd3TDTZ2HhijiaT5zbhIJa4KcTc8T1YrQoh1JMotJI6voftunHUck+wiRyPO2xXRbU9TDpWcjjbYSepjhVNxvxtylH3aNGkeQFb/YkJL292RTQJAABklg3dr3/wnw8exe7gTnXXzcWlcLrvzfXX6+7Wzltn6q/dMbQeXAqyhujFF7F33azXlcMlTTHEjnuaU3h+XNBZYMkdLNN0N5pMuYNbm4j3GkJtcVIDBaGdYZQYTZp3O0Ybo1J2GoZfq10c4T+HhxdN2Mtp10Sz02kaWjKFaDbt19eEU+QZRZMXPrp74aO7c36PzdrLkQ3dzz777GeffTYej0+vbV2PRpPJTUZKHGm8u9bf+RhGk9JdN109mrzTqkiHM3hvc31Dd8w1Ed0lISorO/Lbf305PK5BO5RN/nj8HRFftKqi3g1OZNuoe3HkRl2Ies96TcR2u+rv2t70GsSrre3DQau9eaBHk/sHh9ur7e6B2l4URJOHP+8fhtGk9xg/DJ7qDdGkewpEeC6Yl1Gqj/F+4+Sw0zS+WaQv7+sfj3uDe82D5jFqgvdp2ndxeL9WukWRmKsnwibxCaPJasdJH02aWtHZ0J1K/IbuKe/g1sexwWsVIZY29Tu7vGtwgrtuts9URCVNNPmFYRzzN3S7I5i7oTva8W2OJkdaNLmnRZPh3GakzW0sK6+JO7iNd910pbNsDZOfXtM9XHKn3TTe9Sd/ubxrpNd0xzHbnV3zHnbMNbNoMt307GjRZGT9JvgHTP3yZldEkwAAQGa9BufWVz/EHyupTv03fyGdRhfM+D8/U5Wm+/t+bFF97fb2a2e7tsn97uP93dH2mYqQjplLvoA7iCZtMYQbNyhHL7nT94kv4I5Ek6lCyeCeCjea1Offhulpmmgyfddkqidh/2sdLVgMJ7iRu271Ch7OnU4tnBPbbo3QJsT+i5xRNFn4a3CCUNKlR5NpH+bVTslbrae1u27UYyVfu63dXStFk+4O7kg0+dOdVkWKIbxc0n2zb9SF8mx/oEWTj0cHj0c7ZyvRB/jushCi3r0z2EmTS472usves72y27Fer5pWLKQhouuNG3vyhu5w3SKMJv2dj97tEHo0eahEk6Zxw1mtikYv5u5adz1DOggivDWi1nacdif+idd95k/7kJwwRk3wPk33Lu43wzzC+0HRm7VTlnTld8post90r+Fu9sepo0n9YnHrL0s0GRF/Dc7MQkmvLi65N/Ipd3CHh+R6A1dCNLn7eH/XHE0e7I4Odr9YlQe9ZUMuaYgmpVtuGhvyICZFk8HJkvrcJrbje6JQMtogqRxD4Q9lDVFdHTqr7Uh3pDIXcla9UUuOJvu2Zsl5Dzu2ymU0aTn2R/kHJJoEAAALwRxN/sO/ffLhnf+ZZAf34NWKFF5I0/2nzwy0m3lvna2KSvXMujqtv9NaOrutbedcXxZLG6ZjJY0nym00hNZWsHcw2lz1z4bvLms7NPcOn3SVaFK/gHvfNkFXo8nEUFK/g1s60N3ptN19l8bFbT2aTDfptD0Jmz5oeYp22k1l3q88hOu3TCilXYbrxZRyxGAv+V7dGUWTr7z96Sd3v5/ze2zW3GhSCyVdYTQ52c5HfRP3O0tCLG1Gn+cNx0oG0eRjqSdajya7S/YbrtaXgzWJA/mRfmlDWpYYrFbU0xvcxQnp2qvucnBHhCGUDC/g1q+JcC+UiJzFJjcZDVrVar1Rrfe8aDK8HcI9lE0YuKewydGk8jyfIpp0BxCn3Wg7Ws91rynCi27853mnUxO1Wlt7g+tLDpH3rPF2rH6n7YzNDTizywj803W9xsnIwbuxR0NIm7u9r5J+ovytvF9NG1drzWZN3cetnjVpiybNj/REk6mcOHEiGkq6wmhyWqGkPo5F926745h2rKQ1mpQ6vqPRZNAm2VhPvrNLiSZHWjS5Z4wmTXObyLJrcjRpvLPLnfPstOvBFTd+dRvKhV37wcbtanW1p45jw3bDbf2WFld6TdHoScfjRtdXMhl2EoaUmGgy5rjGpOwvbtS1vHino4/tll/QuCwduQyNaBIAAGTPHE2+c+2r3723M9EO7otLQgj9Am7lWt6w9UAJJuRNndJlF8EUP6FZUprB76xUhKgEd1kcjDYb/m7Nwyd7w5WqUPoI3M1F1fZgv9fSL7JQLuCO3MHtR5PpmiWjXU7+1ZNOu6rcyajMIL1LaDvOuN/uON6TtnbDg3n6aJ5/95pCqFNb02027l036iZQfd5si0T1XDL8vVI9D7j3gEu/3bSjydH+4fOvf/BotD/n99isXb58ORpKuk6vbV3/8tvJn+eVaPKvP+399ZK7sVF9mPeOlfQ3PKrRZKRHUjlc8pJ6RqTyxtdPluwuCSGWu/Lb/85KVdvNHXxEPYtNLG+ac8nRZiPcsu3XoFUVorrSarhbI23HsW3Wq61tr3ey1dCiSfvVWMFKRi+MJv3zZ23RZK8hRKOnrW0oF3D7DZJhKGl94PQ+qL15tTeUaSDy3olJY9QE79Okd3F0KUUPIyJ7PGNPwNQXV+KiyX54LXg4SOqrNeYxytv9neKXJZqMOHfuXDSUdD3z6nvTO1YyEkr6uzpuuadj35ZuvNFv3zZHk+riin7djXwGhTroRc6jMF534y2uGKPJ6srgcKTNbbz1FW9us6KPY4nn1RjHsV5dSBdwH7i93tXWMDr/MY5mwaglj2NV6dJtp10V0uVd48NMhp34igvs1HE1PPS25qer0ewv5airfI7/I5TJUtIvqF+qY7qhO/7lzaqIJgEAgMwcTT54uFt/46p5B7dlxv/5mdZFdwd3OPWWL+BWWg8urW9HZvbdpeXu7RW54yiMJ+Jv4JU3bG7UpW+gbXFyZ/Dh3/aebHunOwY3Wph6nQ7lNoHoJ+ykDSXDTkl12qrOIAPNvj/BlXZYy/dDmFbCddHnc/uXm6e2xum4+zIiV+j0orflirBrMr7LSdn9nXCbxBEnzTfvfv/K25/O+Q2WrSCanKDJ6Fbraf8f+ukzA/95fuBeTeuuPTxyFx40S13/dDbvveFlkeFHxNK6vw5Rad0On+fd0xvcgFKKI32VlR11BNg5W2msR3JJw/btwWpFeBdwKzVoV/Q7IoYrVSHqveA0SW/rZb0XaS/q1d3d3AeHezv+ALJjXMOwHEdreKPK19f2ukHPkddM9LPySN/sD9UWPu8JfyznkuOfx06vb4rJmn31zWVbxvApb/PYMSrFKJQ4Rv1sW5awXIOjjirGNDayuCI99mvDjv8ivV/HsZzUaXmdE+QFqU/YMFcho8kYQTQ5xR3c+rGS4eGS/rAjR5DqARTu0HBJDSXV2YsQQj5Z8mB31F1WGr13zlb8wS24x0//CV1vHNsMZh7+nV3hR9x+ScPcpuJ+vn+spHF6M0i7g7tXb/S2V5XpmZtLRhu9uz0nMhfqNZq9YVv+cmk1RT7TJjD3YSeuotf6Rb9cm5sFqxrhx6Wu7fBXSTPqRl9GinsOo4cIG/8q9cubRRFNAgAAmTmaHI/Hv/ynP29//b+JU//ojF+f6+9G7rq50710Rwol9Ysvko+VjL3rJqhDfavmnnl7pq13IP4C7hTHSpov4DaFCItT6lO0vbXHmwqb/9bQ0GSePcs7ntJex3H0xodCHjQZ7/Ta1sdffjvlnY/RN7hh+cFau4+DgxrU2qirT/L2nY8bjeUN9ZBZm+rqhtsIOZCHhV5dzSU36sK4iXvQUh/F3VajbltrqfYDynjhHdzb7ap6U617QJvpsgih3cRtvbvWMJ44/d7s215mMP7YGyFT5ZWmkUr7HC1osH0H0+Z37SUpQ5zhfAx9yEr4dVJXCaPJmYeStulK3LGSxju7DqL1eHSwvizkUSs8hcZ4d5/9GIpgHNPnNrY7uya56yZhceUwxfxn2OsOY+ZCk49jVHGLaBIAAMis0eTm1r033t1ObJacIJRcr7uNVJfOtm6ZzpjTpvWx5zElzuATpuzx03TrlszJjpW05pKZzwjt5bcdpbm1Ri65ZSApOvQW8MNEwNZtNM0q6m7ueFI0Oc2dj0cLJYO3/O2VqnTDlVs7Zyr6HdyWt393WXqYd4+VXJFbJu133Yy8ILKxESaSQghR78aND4NWNbj0Zu+gV2/04pqMjDGldLLkweHPO72etdVaGkOG7ap/Fpv9YT46nvhboXudozflZVW9pv0ot8l7DMOu7aO9mIR/wH5T22CecOPQcX8ducoaTS7K4oollDTkksE05s5KVQil19ttnJSOx02ZS5rWXGcdSibmkr2m2/rdbfv7SAglqaQimgQAADJrNPlk/7D+xtX/+vZRmuQiuVNS2tep3Mabqlmyuxx92peoGzaPFUoeqVmyF93nLQsPhst6IljmOv8n551rX83xnbUQ/Ghy8ZqMNvReR/eWmzTLEpM3GVke5k3P89aH+bQ7HydsMkpouJ78ed5fJJj1XjwqwyplNLlAiyvpmyUjN/Up3D7KrEPJXkzfuTuBSR7H/A3Dyp1daQaxjOdF/ehWb+V3P+rCBpWmiCYBAIDMGk2Ox+PNrXvn3t1OEUqmyCXjZvZT28E991CyGJ2Sxa8fHj1pnLv6ZP9wbu+rBXF67WYQTS5ek5HlYX6aoWRGOx+PkEvSZESlrjJHk4uyuDJRKMniCuMYFSmiSQAAIIuLJp/sH/769zdu3/vx6MdKJszsjxRKTp5LzjCU1HNJJt+LWOfe3b786ddze1MtjiCaPEaT0bx3Ps78eX46oeT0nud5mKcmrHJGkyyusLhCFamIJgEAgCwumhyPxw8e7v769ze+/u7RcULJYzZLzvRYycRcsrjHSpal+p9+fe7d7fm8nRaNG03mb+djmZqMcrLzkVqgKmE0uWChJIsrhJLUcYtoEgAAyBKiyfF4vPPNw9/8YeuH/xvFhJIz2sGdbSjJDu4C1K17P77y9qcl3MrtOr128+OhOZpcoJ2PGTUZZR5K8jxPHa3KGE2yuDLpODaHUJLFFeoYRTQJAABkydHkeDz+cHD/5T9+8uDh7uIcK6lP3OcYSibu4M58wke5dW344MXzN8p2K7fMGE3mq8mInY8MKZRWRJPFXVzJU8c34xh1nCKaBAAAslTR5Hg8vn3vx7/75+vD//7LUY+V3E8/m5/ysZL76SboHCtZrNrYuvfbi5+Xtl/SFY0mF6HJqLw7H2kyoqZRJY8mWVxhcYUqQBFNAgAAWdpocuyfO3n+ivPtXx5zrCQhwsLW9jcPX3rr5pvvfzm7t01eyNHkIoSSC7rzkWMlqVxVmaPJGY1jHCs5/XGMUJKKLaJJAAAgmyCaHI/Hj0b7Fz66W3/j6jvXvvouElDOdAc3x0pSibX9zcPfXvz8xfM3SvXcHsONJgu683FWTUbsfKQWvMoZTbK4wuIKVaQimgQAALLJoknXo9H+m+9/+bedKy//8ZONj+9988NPpoSCYyWpOdX2Nw/ffP/LxrmrL56/cX34YOpvkvw6vXbzRhBNLvzOx4VpMmLnI7XQVcJoksUVFleoghXRJAAAkB0lmgx8cvf7c+9uP//6B8+8+t7frLz/m7WtSet0Qt2cSb2Vql6iFrt+9bs/P/Pqe8+8+t6L529sbt178HB3Wu+KwvCiyTI0GeV65yPrHNQk9VI5o8liLa5wrCRV8iKaBAAAsmNFk7In+4e37/1IUXOrr79/NK3/eotKiyYzaDIq685Hnuep2VUZo0kWV1hcoYpVRJMAAEA2tWgSwKKRo0l2PtJkRBWjShtNTmdxZdFCyfwvrmT+jqDyWESTAABARjQJFJYbTeZ952M+mowIJal5VQmjSY6VZHGFKlgRTQIAABnRJFBYp9dubg2/LdrOx4majNj5SBWuShlNsrhCKEkVqogmAQCAjGgSKKzTaze3ht/lsMmosDsfeZ6njl9Ek/leXFm0jm8WV6gsimgSAADIiCaBwtKjyeM2GbHzkVCSyr7KHk2yuMLiCpX/IpoEAAAyokmgsMJokp2PWTUZ8TBPTbvKG02yuMLiClWUIpoEAAAyokmgsE6v3dxyvsvxzseFbDJi5yOVbZUxmmRxhTu7qGIV0SQAAJARTQKFdXrtZmvz9vkrTnz9q1t/itZ/HLn+oNUHU6i1mPrQVnfT1Ftp6qOJ6wJFzaAa566WLZpMHMTOWwcxxrFjjWNz/m/7H//9g8zfX9R8imgSAADIiCaBwro+fJD54wc1n/r7lX85t3E985dBzacejfazHl3mZ3PrXub/4NR8SgiR+Wug5lObW/eyHloAAMACIZoEgNw7efLkCy+8kPWrAICjE4JJKQAAQBkxCwSAfLt06ZIQ4qmnnrp//37WrwUAjohoEgAAoJyYBQJAvp08eVIIIYSgcRJAfhFNAgAAlBOzQADIMbdl0kXjJID8IpoEAAAoJ2aBAJBjQcskjZMAco1oEgAAoJyYBQJAXsktkzROAsg1okkAAIByYhYIAHmltUzSOAkgv4gmAQAAyolZIADkUrRlksZJAPlFNAkAAFBOzAIBIJcuXLjwsu/EiRPPPfdc8Mdr165l/eoAYDJEkwAAAOXELBAAcu/UqVNXrlzJ+lUAwNERTQIAAJQTs0AAyD2iSQB5RzQJAABQTswCASD3iCYB5B3RJAAAQDkxCwSA3COaBJB3RJMAAADlxCwQAHKPaBJA3hFNAgAAlBOzQADIPaJJAHlHNAkAAFBOzAIBIPeIJgHkHdEkAABAOTELBIDcI5rEZJxOp6/8sSZEM/hIv9NxjoQbO44AAAO/SURBVPsTpvE9UC5EkwAAAOXELBAAco9oEgZOpyaEqJkjwn5T+junUwuTSffLmn3TV3lfaP1L99v6op+m/KB4/ab1taOYiCYBAADKiVkgAOQe0WSZKOlfHDfYczpNS8AXhn9SYuh0akmBoNJj6QaZMWlk9EtTSxlioiCIJgEAAMqJWSAA5B7RJFL3I0o7rcPUst90v7jfVHPJftP0PeWfNUEfpPeDUrZC+i8JpUE0CQAAUE7MAgEg94gmkTYinKxvMbl5kWgS00I0CQAAUE7MAgEg94gmkTIiTB8NjqM9lJP8XHO/pfzztat49A8RTZYO0SQAAEA5MQsEgNwjmiwfp1Nr6pdsJ0V5TqcmXS0T0z9Z6zjG6ND2PdO3W8rRqPnQzJq2xxylQTQJAABQTswCASD3iCbLR79He8KN1favsPZVakmi90nm7xL3TeRoUv1K5XsRTZYO0SQAAEA5MQsEgNwjmiwfPRI0/VnEbt6eNJo0f4rp02NiUqJJWBFNAgAAlBOzQADIPaLJ8jFHkXpTY9ymbPtW7AmjyWbf66j0Xk9cuEk0CSuiSQAAgHJiFggAuXfq1Kl2u30FhXb//n3p//Okrslk8mmVk+WAyl02tTCGDLZ827/X0aPJrP/5MXNEkwAAAOXELBAAcq/dbp9C0V2+fFn6//w40WS0lzIaTVpu2PY/OzxpUm2Q9NLJtF2TMVfn6C8p639+zNzzzz+f5j9fAAAAFAzRJAAAuXO8aNJ+q7YxJtQE+aJ2TbjTqfmXe9cs8WRi16T9bwEAAAAUEdEkAAC5c9xoUv3cSA4YexmO/5f9pvQ52jftN43Nkyku2bG9JAAAAABFRDQJAEDuZB9NStvClXbH2FdENAkAAABAQTQJAEDuTDWaNGaVlgjR6dRqnX6n1uw43p7u5Cu903xfw2cSTQIAAADFRzQJAEDupIkmLZuq46JJ6RhKQzDYb4bfr9+p1YTwAsrUjFff2KRPPAEAAADkFdEkAAD5IAV7tY6j5Hz6n4NwUbuqZjwej51+X8389KxSOURS/iRz+pk+YTTu/Lb+rkSTAAAAQPERTQIAUG6T7AY/5g9qEjcCAAAAkBBNAgAAAAAAAMgA0SQAAAAAAACADBBNAgAAAAAAAMgA0SQAAAAAAACADBBNAgAAAAAAAMgA0SQAAAAAAACADBBNAgAAAAAAAMgA0SQAAAAAAACADBBNAgAAAAAAAMgA0SQAAAAAAACADBBNAgAAAAAAAMgA0SQAAAAAAACADBBNAgAAAAAAAMjA/wOeQld9rUhhOQAAAABJRU5ErkJggg==" alt="" />

因为Linux GCC不支持nick裸函数,所以我们不能直接push origin_func、ret的方式构造特殊的栈状态,跳转到原始系统调用函数中

if(sizeof(void*)==)
{
asm volatile ("movl %1,%%eax \n movl %%eax,%0":"=r"(old_func):"r"(old_func));
asm volatile (".intel_syntax");//这里换用intel语法,gas语法简直不是给人用的
asm volatile ("mov %esp,%ebp");
asm volatile ("pop %ebp");//现在ebp的原始值已经被恢复了
asm volatile (".att_syntax");//换回gas的att语法
asm volatile ("pushl %eax");
asm volatile ("ret");
}else
{
asm volatile ("movq %1,%%rax \n movq %%rax,%0":"=r"(old_func):"r"(old_func));
asm volatile (".intel_syntax");//这里换用intel语法,gas语法简直不是给人用的
asm volatile ("mov %rsp,%rbp");
asm volatile ("pop %rbp");
asm volatile (".att_syntax");//换回gas的att语法
asm volatile ("pushq %rax");
asm volatile ("ret");
}

0x5:  动态获取系统调用函数在sys_call_table中的索引号

. 获取"kallsyms_lookup_name"的函数地址
) 如果linux内核直接导出了这个函数,则可以直接使用
) 或者使用kprobe机制去获取这个函数的地址
2.1) kprobe注册"kallsyms_lookup_name"
2.2) 获取kprobe注册后的函数地址
2.3) kprobe解除注册
. 调用kallsyms_lookup_name()获取我们要HOOK的函数在内核符号导出表的地址: hook_func_address
. 使用kallsyms_lookup_name()获取sys_call_table的内核地址
. 将hook_func_address在sys_call_table中逐行遍历,得到对应的偏移索引号
. 使用动态获取的索引号进行sys_call_table replace hook

0x6: 总结

/*
sys_call_table replace hook: 要解决的问题是让原始系统调用直接返回用户态系统调用的入口点之后
inline hook: 要解决的问题是保证地址替换的过程的原子性
*/
. bit
sys_execve: sys_call_table replace hook
sys_socketcall: sys_call_table replace hook
sys_init_module: sys_call_table replace hook . bit
stub_execve: inline hook
sys_connect: sys_call_table replace hook
sys_init_module: sys_call_table replace hook

Copyright (c) 2014 LittleHann All rights reserved