From a4d4ba28ff8636b97150c24ac6a8f2af11329283 Mon Sep 17 00:00:00 2001 From: Zhiyuan Shao Date: Wed, 21 Oct 2020 20:43:28 +0800 Subject: [PATCH] add chapter3 --- README.md | 6 +- chapter3.md | 408 ++++++++++++++++++++++++++++++++++++++++++++ pictures/fig3_1.png | Bin 0 -> 19739 bytes 3 files changed, 413 insertions(+), 1 deletion(-) create mode 100644 chapter3.md create mode 100644 pictures/fig3_1.png diff --git a/README.md b/README.md index 4dab243..b47d3f5 100644 --- a/README.md +++ b/README.md @@ -8,7 +8,11 @@ [第二章. （实验1）非法指令的截获](chapter2.md) -第三章. +[第三章. （实验2）系统调用的实现](chapter3.md) + + + + diff --git a/chapter3.md b/chapter3.md new file mode 100644 index 0000000..9679954 --- /dev/null +++ b/chapter3.md @@ -0,0 +1,408 @@ +## 第三章．（实验2）系统调用的实现 + +### 3.1 实验环境搭建 + +实验2需要在实验1的基础之上完成，所以首先你需要切换到lab2_small的branch，然后commit你的代码。 + +首先，查看本地拥有的branch，输入如下命令： + +`$ git branch` + +如果有如下输出： + +``` +lab1_small +lab2_small +lab3_small +lab4_small +lab5_small +``` + +则你本地就有实验二的branch，那么可以直接切换分支到lab2，输入如下命令： + +`$ git checkout lab2_small` + +当然，如果本地没有lab2的相关代码，也可以直接从远端拉取： + +`$ git checkout -b lab2_small origin/ lab2_small` + +然后merge实验一中你的代码： + +`$ git merge -m "merge lab1" lab1_small` + +完成一切后，我们就可以正式进入实验二了！ + + + +### 3.2 实验内容 + +实验要求：了解系统调用的执行过程，并实现一个自定义的系统调用。 + +**3.2.1 练习一：在app中使用系统调用** + +系统调用的英文名字是System Call，用户通过系统调用来执行一些需要特权的任务，那么我们具体在app中是如何使用内核所提供的系统调用的呢？ + +RISC-V中提供了ecall指令，用于向运行时环境发出请求，我们可以使用内联汇编使用该指令，进行系统调用，代码如下： + +``` + 1 #define ecall() ({\ + 2 asm volatile(\ + 3 "li x17,81\n"\ + 4 "ecall");\ + 5 }) + 6 + 7 int main(void){ + 8 //调用自定义的81号系统调用 + 9 ecall(); + 10 return 0; + 11 } +``` + +例3.1 ecall + +以上代码中，我们将系统调用号81通过x17寄存器传给内核，再通过ecall指令进行系统调用，当然目前代理内核中并没有81号系统调用的实现，这需要我们在后面的实验中完成。 + +**3.2.2 练习二：系统调用过程跟踪** + +在我们执行了ecall指令后，代理内核中又是如何执行的呢？ + +在第一章的表1.7中，我们可以看到Environment call from U-mode是exception(trap)的一种，其对应的code是8。我们在实验二中已经讨论过中断入口函数位置的设置，现在继续跟踪中断入口函数，找出系统调用的执行过程。 + +**3.2.3 练习三：自定义系统调用（需要编程）** + +阅读pk目录system.c文件，增加一个系统调用sys_get_memsize()，系统调用返回spike设置的内存空间大小, 系统调用号为81。 + +提升：在pk目录下的mmap.c文件中，函数pk_vm_init中定义了代理内核的内存空间大小。 + +spike 通过-m来指定分配的物理内存，单位是MiB，默认为2048。如： + +`$ spike obj/pke app/elf/app2_1` + +得到的输出如下： + +``` +PKE IS RUNNING +physical mem_size = 0x80000000 +``` + +可以看到，默认情况下，spike的物理内存是2G + +你可以修改-m选项，运行app3观察输出。 + +`$ spike -m1024 obj/pke app/elf/app2_1` + +预计得到输出格式： + +``` +PKE IS RUNNING +physical mem_size = 0x40000000 +``` + +如果你的app可以正确输出的话，那么运行检查的python脚本： + +`$ ./pke-lab2` + +若得到如下输出，那么恭喜你，你已经成功完成了实验二！！！ + +``` +build pk : OK +running app3 m2048 : OK +test3_m2048 : OK +running app3 m1024 : OK +test3_m1024 : OK +Score: 20/20 +``` + +### 3.3 基础知识 + +**3.3.1 系统调用** + +​ 首先，我们要知道什么是系统调用。 + +例如读文件(read)、写文件(write)等，其实我们已经接触过形形色色的系统调用。系统调用和函数调用的外形相似，但他们有着本质的不同。 + +系统调用的英文名字是System Call。由于用户进程只能在操作系统给它圈定好的“用户环境”中执行，但“用户环境”限制了用户进程能够执行的指令，即用户进程只能执行一般的指令，无法执行特权指令。如果用户进程想执行一些需要特权指令的任务，比如通过网卡发网络包等，只能让操作系统来代劳了。系统调用就是用户模式下请求操作系统执行某些特权指令的任务的机制。 + +相交于函数调用在普通的用户模式下运行，系统调用则运行在内核模式中。 + +见下图： + + fig3_1 + +图3.1系统调用过程 + +系统调用属于一种中断，当用户申请系统调用时，系统会从用户态陷入到内核态，完成相应的服务后，再回到原来的用户态上下文中。 + +**3.3.2 代理内核与应用程序的加载** + +阅读pke.lds文件可以看到整个PK程序的入口为：reset_vector函数： + +``` +3 OUTPUT_ARCH( "riscv" ) +4 +5 ENTRY( reset_vector ) +``` + +我们在machine/mentry.S中找的这个符号。 + +``` +36 reset_vector: +37 j do_reset +``` + +首先初始化x0~x31共32个寄存器，其中x10（a0）寄存器与x11（a1）寄存器存储着从之前boot loader中传来的参数而不复位。 + +``` +223 do_reset: +224 li x1, 0 + ..... +255 li x31, 0 +``` + +将mscratch寄存器置0 + +``` +256 csrw mscratch, x0 +``` + +将trap_vector的地址写入t0寄存器，trap_vector是mechine模式下异常处理的入口地址。再将t0的值写入mtvec寄存器中。然后读取mtvec寄存器中的地址到t1寄存器。比较t0于t1。 + +``` +259 la t0, trap_vector +260 mtvec, t0 +261 rr t1, mtvec +262 1:bne t0, t1, 1b +``` + +正常情况下，t1自然是的等于t0的，于是程序顺序执行，将栈地址写入sp寄存器中 + +``` +264 la sp, stacks + RISCV_PGSIZE - MENTRY_FRAME_SIZE +``` + +读取mhartid到a3寄存器，调整sp + +``` +266 csrr a3, mhartid +267 slli a2, a3, RISCV_PGSHIFT +268 add sp, sp, a2 +``` + +当a3不等于0时，跳转到 init_first_hart + +``` +270 # Boot on the first hart +271 beqz a3, init_first_hart +``` + +此时进入"machine/minit.c"文件，在init_first_hart中对外设进行初始化 + +``` +154 void init_first_hart(uintptr_t hartid, uintptr_t dtb) +155 { + …… //初始化外设 +180 boot_loader(dtb); +181 } +``` + +在init_first_hart的最后一行，调用boot_loader函数 + +``` +160 void boot_loader(uintptr_t dtb) +161 { + ……. //CSR寄存器设置 +169 enter_supervisor_mode(rest_of_boot_loader, pk_vm_init(), 0); +170 } +``` + +在boot_loader中，经历设置中断入口地址，清零sscratch寄存器，关中断等一系列操作后。最后会调用enter_supervisor_mode函数正式切换至Supervisor模式。 + +``` +204 void enter_supervisor_mode(void (*fn)(uintptr_t), uintptr_t arg0, uintptr_t arg1) +205 { +206 uintptr_t mstatus = read_csr(mstatus); +207 mstatus = INSERT_FIELD(mstatus, MSTATUS_MPP, PRV_S); +208 mstatus = INSERT_FIELD(mstatus, MSTATUS_MPIE, 0); +209 write_csr(mstatus, mstatus); +210 write_csr(mscratch, MACHINE_STACK_TOP() - MENTRY_FRAME_SIZE); +211 #ifndef __riscv_flen +212 uintptr_t *p_fcsr = MACHINE_STACK_TOP() - MENTRY_FRAME_SIZE; // the x0's save slot +213 *p_fcsr = 0; +214 #endif +215 write_csr(mepc, fn); +216 +217 register uintptr_t a0 asm ("a0") = arg0; +218 register uintptr_t a1 asm ("a1") = arg1; +219 asm volatile ("mret" : : "r" (a0), "r" (a1)); +220 __builtin_unreachable(); +221 } +``` + +在enter_supervisor_mode函数中，将 mstatus的MPP域设置为1，表示中断发生之前的模式是Superior，将mstatus的MPIE域设置为0，表示中段发生前MIE的值为0。随机将机器模式的内核栈顶写入mscratch寄存器中，设置mepc为rest_of_boot_loader的地址，并将kernel_stack_top与0作为参数存入a0和a1。 + +最后，执行mret指令，该指令执行时，程序从机器模式的异常返回，将程序计数器pc设置为mepc，即rest_of_boot_loader的地址；将特权级设置为mstatus寄存器的MPP域，即方才所设置的代表Superior的1，MPP设置为0；将mstatus寄存器的MIE域设置为MPIE，即方才所设置的表示中断关闭的0，MPIE设置为1。 + +于是，当mret指令执行完毕，程序将从rest_of_boot_loader继续执行。 + +``` +144 static void rest_of_boot_loader(uintptr_t kstack_top) +145 { +146 arg_buf args; +147 size_t argc = parse_args(&args); +148 if (!argc) +149 panic("tell me what ELF to load!"); +150 +151 // load program named by argv[0] +152 long phdrs[128]; +153 current.phdr = (uintptr_t)phdrs; +154 current.phdr_size = sizeof(phdrs); +155 load_elf(args.argv[0], ¤t); +156 +157 run_loaded_program(argc, args.argv, kstack_top); +158 } +``` + +这个函数中，我们对应用程序的ELF文件进行解析，并且最终运行应用程序。 + + + +**3.3.3 中断的处理过程** + +考虑一下，当程序执行到中断之前，程序是有自己的运行状态的，例如寄存器里保持的上下文数据。当中断发生，硬件在自动设置完中断原因和中断地址后，就会调转到中断处理程序，而中断处理程序同样会使用寄存器，于是当程序从中断处理程序返回时需要保存需要被调用者保存的寄存器，我们称之为callee-saved寄存器。 + +在PK的machine/minit.c中间中，便通过delegate_traps()，将部分中断及同步异常委托给S模式。（同学们可以查看具体是哪些中断及同步异常） + +``` + 43 // send S-mode interrupts and most exceptions straight to S-mode + 44 static void delegate_traps() + 45 { + 46 if (!supports_extension('S')) + 47 return; + 48 + 49 uintptr_t interrupts = MIP_SSIP | MIP_STIP | MIP_SEIP; + 50 uintptr_t exceptions = + 51 (1U << CAUSE_MISALIGNED_FETCH) | + 52 (1U << CAUSE_FETCH_PAGE_FAULT) | + 53 (1U << CAUSE_BREAKPOINT) | + 54 (1U << CAUSE_LOAD_PAGE_FAULT) | + 55 (1U << CAUSE_STORE_PAGE_FAULT) | + 56 (1U << CAUSE_USER_ECALL); + 57 + 58 write_csr(mideleg, interrupts); + 59 write_csr(medeleg, exceptions); + 60 assert(read_csr(mideleg) == interrupts); + 61 assert(read_csr(medeleg) == exceptions); + 62 } +``` + +这里介绍一下RISCV的中断委托机制，在默认的情况下，所有的异常都会被交由机器模式处理。但正如我们知道的那样，大部分的系统调用都是在S模式下处理的，因此RISCV提供了这一委托机制，可以选择性的将中断交由S模式处理，从而完全绕过M模式。 + +接下，我们继续看S模式下的中断处理。在pk目录下的pk.c文件中的boot_loader函数中将&trap_entry写入了stvec寄存器中，stvec保存着发生异常时处理器需要跳转到的地址，也就是说当中断发生，我们将跳转至trap_entry，现在我们继续跟踪trap_entry。trap_entry在pk目录下的entry.S中，其代码如下： + +``` + 60 trap_entry: + 61 csrrw sp, sscratch, sp + 62 bnez sp, 1f + 63 csrr sp, sscratch + 64 1:addi sp,sp,-320 + 65 save_tf + 66 move a0,sp + 67 jal handle_trap +``` + +在61行，交换了sp与sscratch的值，这里是为了根据sscratch的值判断该中断是来源于U模式还是S模式。 + +如果sp也就是传入的sscratch值不为零，则跳转至64行，若sscratch的值为零，则恢复原sp中的值。这是因为，当中断来源于S模式是，sscratch的值为0，sp中存储的就是内核的堆栈地址。而当中断来源于U模式时，sp中存储的是用户的堆栈地址，sscratch中存储的则是内核的堆栈地址，需要交换二者，是sp指向内核的堆栈地址。 + +接着在64,65行保存上下文，最后跳转至67行处理trap。handle_trap在pk目录下的handlers.c文件中，代码如下： + +``` +112 void handle_trap(trapframe_t* tf) +113 { +114 if ((intptr_t)tf->cause < 0) +115 return handle_interrupt(tf); +116 +117 typedef void (*trap_handler)(trapframe_t*); +118 +119 const static trap_handler trap_handlers[] = { +120 [CAUSE_MISALIGNED_FETCH] = handle_misaligned_fetch, +121 [CAUSE_FETCH_ACCESS] = handle_instruction_access_fault, +122 [CAUSE_LOAD_ACCESS] = handle_load_access_fault, +123 [CAUSE_STORE_ACCESS] = handle_store_access_fault, +124 [CAUSE_FETCH_PAGE_FAULT] = handle_fault_fetch, +125 [CAUSE_ILLEGAL_INSTRUCTION] = handle_illegal_instruction, +126 [CAUSE_USER_ECALL] = handle_syscall, +127 [CAUSE_BREAKPOINT] = handle_breakpoint, +128 [CAUSE_MISALIGNED_LOAD] = handle_misaligned_load, +129 [CAUSE_MISALIGNED_STORE] = handle_misaligned_store, +130 [CAUSE_LOAD_PAGE_FAULT] = handle_fault_load, +131 [CAUSE_STORE_PAGE_FAULT] = handle_fault_store, +132 }; +``` + +handle_trap函数中实现了S模式下各类中断的处理。可以看到，代码的126行就对应着系统调用的处理，handle_syscall的实现如下： + +``` +100 static void handle_syscall(trapframe_t* tf) +101 { +102 tf->gpr[10] = do_syscall(tf->gpr[10], tf->gpr[11], tf->gpr[12], tf->gpr[13], +103 tf->gpr[14], tf->gpr[15], tf->gpr[17]); +104 tf->epc += 4; +105 } +``` + +还记得我们在例3.1中是将中断号写入x17寄存器嘛？其对应的就是这里do_syscall的最后一个参数，我们跟踪进入do_syscall函数，其代码如下： + +``` +313 long do_syscall(long a0, long a1, long a2, long a3, long a4, long a5, unsigned long n) +314 { +315 const static void* syscall_table[] = { +316 // your code here: +317 // add get_init_memsize syscall +318 [SYS_init_memsize ] = sys_get_init_memsize, +319 [SYS_exit] = sys_exit, +320 [SYS_exit_group] = sys_exit, +321 [SYS_read] = sys_read, +322 [SYS_pread] = sys_pread, +323 [SYS_write] = sys_write, +324 [SYS_openat] = sys_openat, +325 [SYS_close] = sys_close, +326 [SYS_fstat] = sys_fstat, +327 [SYS_lseek] = sys_lseek, +328 [SYS_renameat] = sys_renameat, +329 [SYS_mkdirat] = sys_mkdirat, +330 [SYS_getcwd] = sys_getcwd, +331 [SYS_brk] = sys_brk, +332 [SYS_uname] = sys_uname, +333 [SYS_prlimit64] = sys_stub_nosys, +334 [SYS_rt_sigaction] = sys_rt_sigaction, +335 [SYS_times] = sys_times, +336 [SYS_writev] = sys_writev, +337 [SYS_readlinkat] = sys_stub_nosys, +338 [SYS_rt_sigprocmask] = sys_stub_success, +339 [SYS_ioctl] = sys_stub_nosys, +340 [SYS_getrusage] = sys_stub_nosys, +341 [SYS_getrlimit] = sys_stub_nosys, +342 [SYS_setrlimit] = sys_stub_nosys, +343 [SYS_set_tid_address] = sys_stub_nosys, +344 [SYS_set_robust_list] = sys_stub_nosys, +345 }; +346 +347 syscall_t f = 0; +348 +349 if (n < ARRAY_SIZE(syscall_table)) +350 f = syscall_table[n]; +351 if (!f) +352 panic("bad syscall #%ld!",n); +353 +354 return f(a0, a1, a2, a3, a4, a5, n); +355 } +``` + +do_syscall中通过传入的系统调用号n，查询syscall_table得到对应的函数，并最终执行系统调用。 + + + + + + \ No newline at end of file diff --git a/pictures/fig3_1.png b/pictures/fig3_1.png new file mode 100644 index 0000000000000000000000000000000000000000..47166990864010b3dd660406844851ff6f9191ba GIT binary patch literal 19739 zcmd_S2UJsA*ESjtii%PqC>{_HP?4gbGz9^XCLkakX`zS$Ar$EliXspMM2{dUB1-Q? zfzXnmG^I$d5zrvL1_*=@$Xx+F?|I+vzu$lVJI4L*xZ|EN9A}W7tiASJbImp9GoNQi z-PF}!X5wOkKp@PT*HsN55Qa4fWKZ#dKfot3Kb@@w~9!-N&OAyG7Vog)Lv&&JLHUeaPaop+Jpi#1Y%>CgrX(lsN>t) z+isA?HPUQ9j<&Tp(hYub#^ez>oy~^H>pTP^AtazEQ915a*x%p(>=}EC(q0H;?eoS) zW!$4nbjqKn8?hSeFM1P`(%6QU$PImxJ~|AahVKf~bHZ1oDCl zTsR8l0}maGVr_kd0@KS>uit-1t$sfQVkk&p_#i-FfQ05iiT7_oiF+WmJKVkH9ZRx6B9&YCuitWww-a+QDj{3mH`*Gy4ujr(aXoj2Z{W4{9{>jSNSp~ zW23v6-JP4S z4?^Vmcjm4WcoeqBYS3!K`ql=C)C*^CZ*Skff4|&wHR>oX1Yd^KCr{}P3{@Ibti64& zD@ll8I$yO#j1j;@J{1x5Egrcc-&u&5trr+Dln!Crq&m@xa; zQAqA6uBL{%HlHM?-*gwIwIY{-tFB%de;^X~`0>KxVo;^}eD~v`I_co|ckgmyi!)z6 z*5i!zDdg_Bl*|eVMaHrb&!J|E8nyE}%ZI{FyY%*_Rc2eiqpq&5PE4qWc+2OzNJ;SV z@oj!;i|w5?Ph?TbxlZQni&hICpd+9yH_*IQ3eNJCXg2NQ~I-H z_m*|C2oBF(N^75*OAWks5(2rb^=!TtRm5+|kj2FHNnBi9`k_TVx{NE#*yN9nlLb(; zVr?E#UpcIF&7R$jpjdF<)#2OCXpfuyWCV#TS9-~UA>mxbK+oH9)ac#w*lh}9?e*nY z^3j>EVC`nIf)*ajr7if~=o&JyG7ItM?qMG*^TB9OoiWxuZp7EVr>CvV(E)>Z6f)^6 zB*Ga_ z8_pFe5z+j-o9}c=o10}uEGi$M;?%w<5b(Z)qxnIVZ>@NEd2>_xgzBRo_#Gw=t&z!> zu#(yNWkks;_365dHg7R+r2Mn~a`Vzx6!}n*C^96p-RUPvym_2yfot(7u{$6(->JTT zd#s7LmLShfk{-ZkZOHAp*=(x3*?EhgVqXa z9Bq2Kx;>pegRCqpJ&QvN@pA7+n0pj@`MfV7j%UqgpPBzOGd-=_v(+2zeIQV>L~CAX zO{?I2o3Ua0LaLU+(2sc=9r+&SrSJ!9H$W7cOOYDH$`WRa)B~9DLneX6QF7++K`Vx0 z#vZ%qtMJ~DfwS;&@+}u56j>nS!=iig{76rM5W-e(lQy1 znDIqLMIw$yu%wPH+kRa^ly-66MgI)^aF|&@OI%oj!@;!A64Wa)`ae{p`n2K zetlhCU8HTn$c<_Ng1uLOl>-k^O~FV(*GepwRAo4nB*MLzZ0?L`UH5Tl%tB0Z1W6AcgjU! z5cT(llds~fN2=A4-m=MlA?Jdr*r~hstxQanjNMH+`-CwfL17Q7aN~i)9tB;x@nn+e z;&CuZ$9k6RMiW#Q)(HxmtG_zeT@JzyM$%}<>GTA66l61!4Nz)GQTUDCw|UB?%iNbz zwF;KQAC?<$jgM!1x?ewwObr;uHb#+Cd2%s-L^h9NgFdjwTr!_+{g}C)zTPoa-oVO~ z8Xzg4nEAxJzQ3|`8AEbNj)k+%ggMFT%l7cx(0kY0AOEQr*JEIjW11OcN$T^Q<&n@b z6&{>*Kk}@q01-nDVDFF*W8u2M$p=}|Oi!E4EHz}(1iMj%Iqz7JAp#0}lakU6zxSNA z$NJ5iH(vJfV`Cb7pURZnE?Oh5D|EeN$UMR`x3U*@-RPAQ+Q+*i@&41>Jj7U6+7^ZL zUjAm@nYEh^6fL*jYGsW5Be~$3V>hQmg)K6Ia#v>dsx-~~Njy3=HZMiGGsF!}F$TvNP3K_v3S>9b>C#u`l#*HB=eMMco#mi z&RAw|<6qwOrYQ#Heg5}iz8)hMP-pwall4Vava$#wc^{q24Ac|(l!6DGLIYk3R8Wef zqZd`3Pxzj7&NOz;Dd_PhDZbT`?%0fyF1`(mBRl6?&mDq0n^d+0oJWBOwk3J3o=^YP z;ZRJxTYdj!pDno{F5>v~w5Bl4g6N4>Po{kTe)aCYgusGl8>P39LIzBFIM1SjQk6XY zz`*Ei%cMlG2ftk1LSlJ|y%8W48c=F^M6Mlaxj+y#!{5FFv!<0kzK9-C7P&j&eC+N( zk`}{0uVj(453)3^SffSGt%K7x5b;r_A3Cd4m?6nz3>;->!rG!oHkgT15X(}){kFhs zQ`FEGWMvE>RWrG)PA%s~1_dQsdn}F-i5I^1YUVTsBMn2iS+l$rGPuf$korQ&zKI4& zUPs;@^R~NrnPCsahLsKEV&lg_(sb1tMXt>Uj}EbMrjG|!2O=@~fh@78B7fdTDOJS?V0lYHoSa=8u+PfMnw*^6&S!v(+(*S- zVIyiJn%1`ycn&VEu1xBIEI0-n!1Rwb>YKViK5HYkJBXZs;&Zwu+4BP+|#v z4;?=QAm?)hGkgOo$k>rZ?RoV`3-UPOo#Um;|8^5vXZ%;~ zD1~%V;eaIqc5`kqX2=}pdQ)%a5fL_Xm-&8QYr=Q5z`s2d=JbWZhZ5FnK|y6T_Qt)B zp*Z0mvc1MqR+P~R+uTZ}u&E2H1`{YU1F{)K`!nk&SUnptCwBpYZ)XPua}2A(JE}UF z=zgr&dd|$)pl#B&Iuo_XIa+5e{>b1$c&3?Wb!Fek3#JIa3XIj_$`7A|`Y9+SIf3of z7k{C-cTF>D_%s=A+R}2_S|;sYQ|^&6QRB$@q5Xyhqy!K7*tU$}h_Sm$w@Sqo6K*f~hOeZHZ@x&*!iSz48Jvk@K%K z3<_=)U6(OHY)F(ndV7Kh*X~`3OSDMY+i_wd2@JP?WOukx`f%~Nlk@Zp=eRc4YZUoh zU$@tTWj|}~VOcqo3}<`CfkK2)P^Zl~&Su7vD520;bG0XjsXyL_IMDbNrT9Mhqf&yt zbMCme_l+;2U=Lm`N0IRv2XPlABEz5WsjxRrt*D)FFdPaIL_E7eJy_>C4JLJxh05O+ za*(0Q@^gWedTHExbmr-uUA_Ostg^k9_28UBGJUsqKKXfCAUL`$+pX*A<#_HikICHY z2xkVzrdl_tJEE$Nb7jMMK^qbYj|j~n12$VYJM0xH)h9E_mKL9D#ivE3;i}Xs9T+p8vxS%m`p_3N${oMX@e63so%8@w2)h7az-8Pkd zhc&XYj9y<3lpcO@vp;x6NTr^S2a3y=vpCoGo#!&v-Z)*REc^8WR^P+qCX&r`&U(Hj zGRJ5j((9$(t{?r5nN-yS-;{5Z@|y>?1@M4PrLnWA9KojI(|(RM_@G|TcQVm8o$X_1YTB71JaCU|CNov&dg`#MhJBO0L2DN>9Zf_AXj>0e>73CEaPJ?ZG7DawpiNp1K`gnQ$Z28O#))AWGNb|)Yk)IJkey? z*4{7dP`;pV!^1gAvzM10AP}E-%Jtf+)bS6uSQVsaCK3}9v4gUSXvmMQonKxCwUcO4hW(2?2FUTNf~Z6k z`B385t_$FfP$-|ppcqe`B@d()!lhiJS`VvervIHh$42ZtxAUbvki&1G^og7f3=EXN za;21Cso~f4iT|IaRw#+q1}shvN5{2&rb#5t^CFpTiA zI8>ZW><6#IbVJB@4*URd=R8LXxknMEiY#>kc9&$T2Oet_vwR zF#~~6x@&iSfFj=#B&4rbrDk-T_^Zzv?DwT~0;=M0L&S*r;;DI9hk^>h22zmDh%Ax4}3yTsVOG`Ml%9F0XS)#;>gGd9i{takhGFf z?ayrBdFeoEO3Jfm&$6^0ysabuto_0y6agg3fV>#BuP@ zyYq{*J{6Ed{$-Zkul&C2?{)Y!qrV^e*K9X#6_^0XVaIC!jp2W-7#-l%-~&5;eSIAZ z0BNwHHaZ6uPv1uUHgWrxFZ3NPeo_{!D7~r(4(4d#_==>PXcrLvywXzj2&@K1>`Mjjpbi{}me#fBW`r%HP@3-F<1YozLx21IU*E_AV?C03wPRK&_uo za3{Zh?I-^;bZ40|QB$V{w*TVc;kos;XmevFOZFNIeShCguUj0&VR#@A{Mnt~-bQ$O zzsPvTBcM3s_4-Q-fNjwX5F2jh6V?I*@mqLHo;%a@ASN?BS_NYKx(@{6l6Joi1i|p` zXLf=?k8a5gf{mfmgmz_NVF8X`Lm%34Ziyas3yX>n#c^PCK>3D6=wJFf{NF0B zlmizyLG<7G_5b`rWygm)v1BC35{zH(&RGI1Jy;zHZ6Od>S8acdAAwSmRVaRBa?jT{ ztN1)961B`@LF1(^qlOn43Ym1q)YQ}`zo|(>UM`VQ37pYE+2~xDBzRDX7)B^KL^Ny< zS~Gl5n`vp$J~S9`J^Jjn+P=I_5%|h%f02No|uEz7B%WMxJgB+@>RHPQjxU? z+xi~J7L>Tz#b9@Tdv&#EqJ65U`NFoMl2TxIkZsCgGYY!5Dsi(OIP(iECX@$6I;_l;f=jDiLT6o)ve!ZzipJp|$f#w9g1%fHWr`s3#+ysuTlMe9l^3D`B zxBlD{8dug1h1s|E_9iT}kVw*FZFbW&vv{;y^Q)Afdt*>a44cK**UtwZe3;j=(lM5= zu}P&`#!bC0U*P{Wra`uX)5q#~%#X*pM z*?r_qc>yH~r9Lj=j9cgg&sTY`=EO{kudnY~4{~C0kO2%KLV#O>rkd$h>Sw3R;;dG# z;@A*e!Tz;G{Gq&{3i3VTO(P`wb`evaQ~DNS?U*j3>(-?xJbp&_!Q;LjiFZjG_a~1w zJ8NiYY|1IqfenWMh1?mkrHJ)K%m`=|#FI93IUubzAp+YgD<2qHnb)v2SNYMRm7`dx zhj-OBo@^-)I1?9Cya&>M#M=m7-ggsE`f|1E<>F<1d=87L>krwnv8hw@z@SRO)TMC+ zfSz`ajim)(bmu&4P7yCpOSJ+RAy*tc3w7-jVYW{MdY+8FXwCabbdtw**v{u^LGOTt zs}9-e*}eKWD2BIR5=EYvnVFfGXyjbm2MytnJ9tG{Y`J+$dur(i5?jd`-rm{l#@HYP zA65t|nkvikbxBSlS_wm5d{$INRuig=xoav7iauII4Kc1JW*#CxV(6S-7k3ure7AI@ za6-t?+33%&5M*_(KtKNL+!KELhe5ZwiQ^PXK$-c*C+m|0-00ZY7+CC!XMFPXisX|Y zwok{;CG=xPW!C(>SIlWl2}!PI!#4s)y*iumpUi^|mxH&d{zzo&I1=*W6PUyJ<~Z|_ z=V;7NLEq!`@&Z)_dfX4+Au*+cI!S~lWp*l-tkoj1)ZTIT%#tT4ageBPuAWm6*p{Ep z*AtK0XSv1v5qp4q{xg#mWEay%-Qs6v_8x}gR|j)TblU5ftBtQNbeV2v#_QM9h+|D)8;FZt zMYYH@7e(IYyAy4Rs0+CO&64V1I=a!Y#fEot;RKLOX&))p&(6&KU&!c`+EnN>@f7{ubCSeap;57DJB5PIko&6DHe zS_7{<%2Wb1E!XyDP`XZC~C{eN_q2USzA8ZAgaN` z3zd=;E zyQwjcHYlOXzg^_Wsup1k7R_AdCAR@@`SK-7{Pts%QtL$+Lqor_%Hmq3T)4aQu$P*W z*A=Bhtesb;D>-KuOgLsOo}X4wm|tyEP(U6zZk)&|b$W4rUdL@>EZCnyB9XSYM>yBQ z8@icbvbhx&@~X)Nh*EC^-$=l@zJVe2zPE+;M~jj3VaI@wUJG4Y#*!(J-e+Ya!>EvhE*M_?~{Bp6r{pq|EmNpNCeR4$i$?b-)QjiTe+Q z%`_A+QZ8w^MciV}QhQKzxJL0I=S$03OsT8>Z6u=e%8{&UgUh8+X%(C^VHM6)^HfpS z4~d6bD$DPp$cCTK65@_-pNW4{AE`LJYAAPRzVwH}kLXWft)4W1U81eda`B6)YB zZi$BB@`$HE;+aiHnm}-R;AFa^H$gNbA9j{qiiv*yc?#{G7M|R(+!KX33g)QmbV4% zp+cp=qBDcr6C>vnx{+3~pUU6?@bZL<>J_VZEy4?;wUOAmp_A5pz3U#|VPXJ|X`%iw zO3u&o#G4{wtRj4Wv|icna8MpDbF_SYB)dWGbJJJYY?MAF^WD9HSw-D1v$T&czVG7{ z0j(nN9M-asXkegw=;-v2OyB!YGx$C&2V?t9N@|Xnx(T1Li0HT%bih8t6iZ9et53|> z`m8Q@q$N6{<7@jj_Su{owc9AZ6;4xz3|ofI!cR?9^Xa)bJ1F2|;<-&muA z6*{-Z?LLA7GDywt2O?%6IkB(nRrAo2Sw6h$8s=hdk5}o93^?9=ZO{|*dRxcXxzxvgzmLMTWDMwu)AS0k1CRZ{s|s zvDH)+y*@|CDs>JjiwfyiTtjD$ILWwi1uC2_YG?f^Dv|T@eRW2uD+vV~46&!0`*EiM zx8$l`#NKpt`8J%1DDg1WuPQHa&`7Ef91cFL|P@!n%F2 z1vJbgXLz=RtVL1~ZIq#R=n?rUUu&%aO!_y|(S<3Wa&WNsnOlWyshHYiHx_`B_fp&IEX{?a8838=tgW z%9P98E@$`UcdNYJl9{i~TCI@ySWz-qBQ+vAIx4n4G=CMuwdeltvszz!J=ZZo@55j+ zt-ipuvX+nJD%^Dw@GHxUP~TKMz4+_YKQH%wJL?hINyhcM=!3&*8p%q0XJRxaL>#wnx{II zP?*?fa!h9^f8;H~7?Uv#8|}N;8y_mit#k>|4!W;MlMGl+xkXKZ+u1{>W=5>7*O%!ilu#HF>(Vc}>@s`Sd61p?4 z*YPMwYTl_R>u2nCYhymH2nrKt8*71=yf;8SGWmLJmUP5)kYK`d4(~HkFll0P>()_D zc^S<^wOB3K&m@CP=;#$iMP42rD;R7gXl3rK*Gy%%{}8W|uPSxD7>?l!rkExR!wztg zHYdlQv?kpd^X^hV*Z-~T%+_B1EMflu9^Lhg7@vjHJ*5uc48*25@MiCHGL(G-EiBv& zM>WmaTbwdD3UZM=#fx30o0;+6^|B!Ex780hNV(N<9T^aiTVJ`JQVV)bPH{pWLDytu zWdopVv`6O}?QBhv{@HH=ug8^nKWk*1o)~6cGZ=3QnYq{Q^5WW%uuKMkKR3=SU7-E-f+hvsZ# zcf;$nH#v#1*6SciuhL-JJ9Ek_Ed1uB>Z+=)g9D(##OhYNsn+uyGF-k$qEK?Ji;%e2 zwD!GbmoP2DO%`v9Vz3>~uVy6rpYjI3Vj7$V4NnHG4u_$LYfd!ml3~4&-i?4v8Dm7<1crgA- zED}uHa`Y9fCiGL5Pc3Q}v)Q?ORxCM3>fOvceF$I=n$R|0$EoXS8G)tu&=TkV`m`K$ zfYcRC#aqI{7%*o54)G#iNg7k!yG}~&+6>hRTRjSCyqQ8rTD&?$>EL^nmS0(YQT|(s z9zF*Y$ADPj=IXjy>@FY$frbP(zXIzIY}G4jQe=z?{gb2Vh7SeDxC z8BcF1woSRW>P2h-WvR}A-y)cr+>|hoHMF~_tnzBP@LJvWcyNaQuyAtM6bs;K1aGeC zh;uUk1iLahj!38K-e4CuvE?oWNjw0_8{|>wq#u5-thp|LY zGlZXtMKo8>ct77Hh31}=W50=U6f=_S)O_Gpd0gv?4?aF{u5XB^^UzgaRVT#}=fL7U-hr4`puTQ>oTohG`o)7d+T2Vcm6esm z3Hq&Nsno+xDhSF&_0GarQR+Gh8X}JRX*s;7-Bz8>N=;eM@@Tpp3OKRqW82L!zjdEg zA(S=#D;>$JnpPtKJjo@Pwp{=DydSq;NgIv54M& zZF?%f2m|2y@Ca+hVF0*!-hMZFXM9@u!(zr+<~%X3mqy|~y|CxqD)Y~^sg@UlU)`Lgb!bJ9yRV`e=1t>&Iwpk!(J4eRHxF`X%nu3Hxr z7iUFt0^}3txAf?J@p@#}h_Av(UHF;;bq$j;Qnvba;?VJfP$fy=#6P;eC5j{8ya9M7 zq;+B#N((%a5dD+NChU!V=;~iVJ|Y`bxwV~varmOm=2NI*_0Wv(FU;ea$RMZBKVkz} z6OxifN^gl^O5kOPM@eOBm)QTj_rBIoYM(&x9l~A+Xid=>-5>tEObF3C)}nossqKP~ zuT0Ff2j~C5ihe!mif$SwFx4FGX5;--p2BH~q#0-}k@Bryv-%Ahp`D(OwD{UydG!ZW zNeEO|6q2O?6hJNs0IY353B3m)V047G9_LpE9NTCOHFlmfE*7q+WY;cpzxto!FU} ziXb-Hlz22qfyLsR>5T4*hwu?m+em+LwPCr3>(OLT-<6G$ER#Qluk~?M)ty&(8Hs1} zg&{X(gv)u#HqPXfi~OTRPk&ZUXin$K2zmY7fa%C(I2_qq>atw#->_4 zreZGe>L}~cdy0p$gib%CT-<3?0&nows}~RMZ4|#>R5ur3{`Jgz&cw2yL&lsr*Z}Wp zuGs2_@O1<1f@>5`5vOQbs^>c^#1MRqtzD4|CskZ|C}-Z3*a8hPOE0p!^6G&>Di~ke zBn7k?kAM~dL#+#=I@O)W`iCO2yH91g;OL_bB0qPe=0)3ZXVQ7)!Cv*aqQ$uhZyjY!m-8vdgFY%l;tP`FnIXD2l`-jNKPL^$G+{qjkL!=y9wL&0)k zg4mq!pKKm=s_X8Z-}1PmG^nTaB1M-GL<>=beOx!IoKf9DWd<4>KW|WAeNmAKqGq}+ zi~ox{z-L9hZE1-poCE?aFGc{gd*_%jG{2nIkykOMM{9DE(X%eo=a@(hOt8+vlD59) z;@M*(sUKpAKIh71vOf%~TPJ0k%E&}_l`Rgg*~fAdqu*}Z2v=M@giXIp@U5S}KL4nQ z5RsXLxb{Uf?^ELax>Il5rAPbRWbof8q{FEl$aBc!oqk706;ltS==SKTG_QvN&(1hM zM+2x(ru|MU9mp;QgaT+$;h&vnMvpaXc>b$=XL9db@mvapv$&?~+&&yhRz$ zxKPiZuJ>lvwY#Fc`u*gY*tSyzrj@bi>qD|8S{ApeI3uTV>}C0m`RL}e1tpAxmiaE3 zprOSXkSNhx#~pQMP$g=5n_Qd7L_i7oOR{)F!;(QU&k^GM0jFm(GW<1J{7O`$9wKo_ z+vR;F37r6Ik+qHNeHQQDF|^eg>p8AXv)x?v39W(OCGyA5 zfg}xd%CoLpb=^gm#4_cWIfb7sa1!%%vzw95LA%|axl}0*}j_cnz~ZU&b#ah)&AAILtOaas)pw# z66FJCFSXz^@CYTg!yh79WJ z>G@LLLyv`{;yOtH(9jvALm3+T=G#n9i68{#3rg5H4M~k%;FkTqE~&2qGIDxkWug;E z52Q>oxww-S8q_TSq8p{(!UTIdcd9^2t*&iI&f=&)g59kolfM;a76p`GKmvAd2v1$4 zZ5J(iako%tfK#JZ4^yPulXKUetT!T1aUK{fc4T;XI;YgEJF+RG43MSCSSGC%tbo1~ zyOUeOgY7FZu6`8xR0Ue)2~qr-4P zc;7(9ru%SGw#~SipwnOvoQvermolPM*3R;LZgFvOUUE-a$fz-uuzu#5_?rkm+%zer z&1b9M><4$b^^_nrQ;!^#oXLlcpV29Obs2YV)Ab*#wKF3_{3{Y>__&LkN6Pfq+5Iz$ zUihKMTT-qDF#JHieu~1Zn;1v0vV~3$=EaOz!lO1Wyf0s2`nyUztV@WF%Z5xDYiQ=iiac>%FBU3VLi9N9_ zIlQ@TzR=Z#(vU*P3Upb|!Mlr$>D=%je1|7_Q`zpy(iaoX3`w1}o(<#tnLPrsMgl>vlo1UaVs* zf5}_Wn71P$Q@c{z?YmJ#N2ZyR)&_&L(*$w+Zvw*$*y-88`Rc(!%3|>)KTfyZm?7b( z?=aR9?sefg+9Xqs%g9-dtH-oA1Hpwi6)7|OA$o+=T$&k(uv#BlFGk^{2Q~PhM84dW zJ3gF`hu}g<$U-E}$qm1GEv;>9Xingq%(wQoGmk-3-93{Mb%w7df21exii%HwZTwQY zzIT4%MnnfCJQps~F>|QOwJvlU=(FbH=7#C^h!&jbLrbH=wZbTN+!pY*nBM-4nQKj{ z3EbR9uX;DCj#+RY21(XsBybD>cqDBT`aGN+1dH&v3fX~eViB{Gs=B87G$#e5z|BA2-K{b-f3-RI_ zPA6v33y7>bL~jK;nWghCD@n$JwWJ&I;%f(rufdZ0PHN<3qRbbCDVEZq;tS7+HLUC@-5U zudWU4m!(rapmh2YJy+x;_RDmlB?)kcf%D0{DOH%8+qtd<_Bm_SK{?W@RD$5cz8K!% z4?@U2=!&_;YJ|`yIQPTVueNB0@4kvl+!xD|nk@~P?(YR#vm77K(l+&oQ(mb7_Fb`$-tP-Z%1%>( zGa%IJ+qr*Jnn1a*7)$1N4iTRCntg)c@|P!GAlPvkYSH%iOn7J)q_1EZ;VV}vU{O^m;M-Yo>GaKL?9+Q!_K^eCs}~%XOlq?+wb=-*uwb3n@;;ucBOOfRmwc;MGWAi`b8qs6Hi!K z@q|H&tHBX3GU*asC(cye{9f|_OH@rd?~|~JAtp5!_|M4m*nKw#gCucBiD!cZg2}cg z<5sP^j}gmsGBV3)*6T$F|23prnK_X7tK z)!J)Cf0>$uj}9Mv=J%-=X@MJb@$}5gI@y;=W+8^@HJI90pIS`ncZF{?f_}xW{5NhJ z8?>3ZJ_RT%Fvj9EAV+-E_NVNPcH*ltTPSQ(`%LZ>oJ?>rtt2nNg4% z+AVo(ihn>ygAIi&&$8x7Q{xPJAHuJh7t*fY5uT&8uW)b)x;qv}%>o29cq-sw;r{v9 zrDs>B+r+*e{M1XKyg|8w2sy&cNt{^NK2>cu%YD^+IZ4;MCs{AuBAi{E%~$h&PbC+L>!E^g}1&0RR{ z+pVr6bRt!HTIj$z)~lD42YMpeW42{0VnDRrAxE|E+a)o+EweQ@*w5#nb61Fl)hA@8u??74wlMLJh?KcwTC zIx{HZ@Bay?vO40d0K}v-T36Hc0Z$Cb&H=v*{(6@nJEfTx0q#|M7y#~lyJmxQL`EF` z{p%kfg9rPm1o3 z?i^~AvCDrz4g<>IFaBzi=U&M1e=%(T`=`SJMlqm?0jl6z+24=+i-_rY@80t2>dzgs z{UV^E(X!(FD!-_k{~-w5B6?fU4Yi{fTm3zW|3__4?!57jrTImHo&5Rp=k)ZK9n<`x z{sKm-^|gp!q}l&av{A-p%Xb!(E_wTxE9CXknc)9!-?#`QGj*2=`@iNRevbj29H5B1 zw9YMJ+RJ~q(Equ&&?%7*4+97aydMEY{u8_c!Gvq}-#DCrP6p_Dt5?b{U%K?YDi~DV zQ*lN3KOhnMs;i)8D_ONPd*udRdN48ngaNQ$cN`^c7qJN1TxuIKTKYuYSN z0I#zU&P2-4*4$`obXGie$!V_bvJjL{p@D8?z~vWNL=`>NlQq7uFHrAR(~kDAGo`I} zFlhzsE*Bs{l-&obwbq8^(7E+EaH7&5nepVV5D@gxy$uUKgvii{d^DmsZCM<G(jGy|6de=|2w5A zo~!O29-D;ms>C(pi67{iI50E524smAtVJfh>a3jO^Va2WbYlR)_8$_;kmCSvI#wj)-9Q#^6Sjnx zpC;$JcaHkbdI>CH49YIMnZZ%y+(-LE4*Fh2do*!Na{Qa7a`9Z$&oh>X#5b|ni=#jn z6`)zenn6kyYF?Gog^skuUaNN+Te~EGt$HNhx5IuaqZN<^$oWuO_df(| zi$@|pF7^sb@He{=JUy%eF#{#e*^zj^FP4Jt?R(5L3aw&_0{ydLF|1JBd)ucJaWBac zUyXo^S=RP8jt+I?8GbR35ZK#|Zng(*ag9 zsZ;(@sL|7hD;ktYB{->USH{7|#=20f94{y5f{3^AxiLRd=6p6FSKOzqT|+x5ND3Jx zJf7FIVf>}2nm~5E_)F;Bj9})jpi`AutebG7N?$s8G;mW!im8Acd zonEZPSyn$MyMXVzD!CQ9N-o+s!#*L!JO@gX=bL!;(0!FEm-+MZA|5UxJNz7og@37G zWwqJ21H5#PnKNP^8=q&Pa@ma81n{Gur_GOTr8;S@u#L(s33bWvUyEPgcE|gBa+kj_ z{3Qjgr0ekZ@m<<|$baY(OO)a*BHAAt(@d#r;f)=U?nFf?e}Bj0H}m#ea|4;^tDgPA z0^4Fho7=kjHe5I9y7dA>V3n{2b;v+kCuHK^HHSasQTDlwrfD9Rf#%R}phV>7rrm6X zQEOPxf&P_OSI%xF`d)DP&RXX)^j0ROUnI9&=0!ZOwzvb}-PPWp3r?AS&yc zGHLvaQAi;8*rVCd1fpz@^y4r5!;yLikVLCb_3sd!c5*v<&6Zrrv91^;34-KlHy};; zhafxUfU*Lr)9k|F*`&>?2!CImylYrJ#Rwqoq)VHQM@O6ir_A5t!F&E1LlMIM7CY*? z0QCAlG>0}Yfo)yIvERbs|D6H(Kh)v>E4S8OgTlt{|HZV%3*0flD2i;x0a}wWrx#H) z@Tvv}4kRPs5N_w+1uF-E(w+fLPOTX@>aGHE4a3so)m@q4PG(8h5Q6sbETcURkWJ`1 zQjTAro8%?9iYPK9w`_c1f%xtJ|JC~nCQu(lQ1+U*q=^3SMuh-SpN%$WCFD{_JB1~Ly1XvUT3B@dj(AH_s Zn7$Cc-wJU7ZwiBGs_Cj0UbA`de*nq?Am{)9 literal 0 HcmV?d00001