From 47c22f8d8ee4bab1e9b156f01293e8d7b5f79426 Mon Sep 17 00:00:00 2001 From: Gege-Wang <2891067867@qq.com> Date: Mon, 20 Nov 2023 19:51:38 +0800 Subject: [PATCH 1/3] add: blog text --- ...\223\346\212\245\345\221\212-Gege-Wang.md" | 131 ++++++++++++++++++ 1 file changed, 131 insertions(+) create mode 100644 "source/_posts/2023\347\247\213\345\206\254\345\255\243\345\274\200\346\272\220\346\223\215\344\275\234\347\263\273\347\273\237\350\256\255\347\273\203\350\220\245\347\254\254\344\270\211\351\230\266\346\256\265\346\200\273\347\273\223\346\212\245\345\221\212-Gege-Wang.md" diff --git "a/source/_posts/2023\347\247\213\345\206\254\345\255\243\345\274\200\346\272\220\346\223\215\344\275\234\347\263\273\347\273\237\350\256\255\347\273\203\350\220\245\347\254\254\344\270\211\351\230\266\346\256\265\346\200\273\347\273\223\346\212\245\345\221\212-Gege-Wang.md" "b/source/_posts/2023\347\247\213\345\206\254\345\255\243\345\274\200\346\272\220\346\223\215\344\275\234\347\263\273\347\273\237\350\256\255\347\273\203\350\220\245\347\254\254\344\270\211\351\230\266\346\256\265\346\200\273\347\273\223\346\212\245\345\221\212-Gege-Wang.md" new file mode 100644 index 00000000000..c1d2e4914c4 --- /dev/null +++ "b/source/_posts/2023\347\247\213\345\206\254\345\255\243\345\274\200\346\272\220\346\223\215\344\275\234\347\263\273\347\273\237\350\256\255\347\273\203\350\220\245\347\254\254\344\270\211\351\230\266\346\256\265\346\200\273\347\273\223\346\212\245\345\221\212-Gege-Wang.md" @@ -0,0 +1,131 @@ +--- +title: 2023秋冬季开源操作系统训练营第三阶段总结报告_Gege-Wang +date: 2023-11-20 18:28:07 +categories: +- oscamp 2023fall arceos unikernel +tags: +- author:Gege-Wang +- 2023秋冬季开源操作系统训练营 +- 第三阶段总结报告 +--- + +## 实验一 & 实验二 + +### 实验问题 +练习 1： +main 函数中，固定设置 app_size = 32，这个显然是不合理甚至危险的。 +请为 image 设计一个头结构，包含应用的长度信息，loader 在加载应用时获取它的实际大小。 +执行通过。 +练习 2： +在练习 1 的基础上，扩展 image 头结构，让 image 可以包含两个应用。 +第二个应用包含唯一的汇编代码是 ebreak 。 +如实验 1 的方式，打印出每一个应用的二进制代码。 + +### 解题思路 + +1. 确定镜像头的内容 +因为实验一二要将多个应用的二进制代码加载到 pflash 区域，所以为了更好的兼容和抽象，镜像的头应该包括： +- 应用程序的个数 +- 每个应用程序的大小 +- 每个应用程序的起始地址 +因此，最终确定的应用程序头如下： +```bash +struct AppHeader { + apps_num: usize, + app_size: Vec, + app_start: Vec<*const u8>, +} +``` + +2. 确定镜像的加载办法 +关于镜像的加载实际上在老师的示例代码中已经给出了，需要特别注意的是：**pflash 要求的镜像大小必须是 32M，所以需要先生成一个 32M 的全零文件，再将二进制文件 dd 进去。** + +### 解题方案 + +1. 首先确定镜像头的 +在外部形成 pflash.img 镜像，包含应用的个数，每个应用的大小，每个应用的二进制文件 +这使用一个脚本文件生成，镜像的生成办法在代码仓库：。 + +在 loader.rs 中建立一个 Appheader 结构体，并且从 pflash.img 中将 AppHeader 还原出来。 +根据AppHeader 的信息加载每个应用。 + + +| pflash | +| :----: | +| apps_num | +| app1_size | +| app2_size | +| ... | +| appn_size | +| app1.bin | +| app2.bin | +| ... | +| appn_bin | + + +### 需要解决的问题 +在脚本文件中并没有指定二进制文件的顺序，这不合理，需要后期重构。 +关于 rust 中各种类型的转换需要更加熟悉一些。 + +## 实验三 + +### 实验问题 + +批处理方式执行两个单行代码应用，第一个应用的单行代码是 nop ，第二个的是 wfi 。 + +### 解题思路 +这个问题的关键是：**如何执行第一个应用并且在第一个应用执行完成的时候开始执行第二个应用。** 我在编译 nop 的时候发现应用大小是 4 ，然后内容是 [1, 0, 0, 0]，但是我瞄到群里先做出来的人的截图，都不是这个二进制，我感到很困惑。后来我开始想第一个应用结束之后怎么返回到 load.rs 然后继续执行。`jalr t2` 之后会保存下一条指令的地址，所以在应用一执行完之后返回就能回到 load.rs 这条指令。虽然我用这个方法能够做出来这个问题，但是却为后来的问题埋下了巨大的麻烦，事实证明，从应用返回这个方法需要非常多需要考量的地方，甚至可以说直接从应用返回是非常不可取的。 + +### 解题方案 +使用一个循环依次执行每个应用程序，在程序执行完之后加上 `ret` 指令返回。 + +### 需要解决的问题 +或许要在外部实现一个批处理的程序，而不是由应用程序自己返回。 + +## 实验四 + +### 实验问题 +本实验已经实现了1 号调用 - SYS_HELLO，2 号调用 - SYS_PUTCHAR，请实现 3 号调用 - SYS_TERMINATE 功能调用，作用是让 ArceOS 退出，相当于 OS 关机。 + +### 解题思路 +虽然说这个好像是里面最简单的一个，但是我还是找了好几个来完成。我不太清楚 exit 和 terminate 是什么区别，其实我刚开始是用了 axtask 里面的 exit()来完成的，不知道退出号是什么，就那么随随便便退出了。感觉没什么底气，又开始搜索 terminate，还真的是有一个 axhal/misc 里面有一个terminate()，打印log 看起来比较正常了。 + +### 解题方案 +仿照 abi_hello 和 abi_putchar 实现就可以了。 + +## 实验五 + +**特别感谢 @PeizhongQiu 的技术支持。** +### 实验问题 +按照如下要求改造应用 hello_app： +1. 把三个功能调用的汇编实现封装为函数，以普通函数方式调用。例如，SYS_PUTCHAR 封装为 fn putchar(c: char) 。 +2. 基于打印字符函数 putchar 实现一个高级函数 fn puts(s: &str) ，可以支持输出字符串。 +3. 应用 hello_app 的执行顺序是：Hello 功能、打印字符串功能、退出功能。 + +### 解题思路 + +封装成函数不困难，打印字符串也不困难，最困难的是第三个要求，完成这三项功能。 +这里有一个重要的逻辑需要搞清楚。 ABI 是 Arceos 实现的，封装的函数是 应用 实现的。调用封装函数也是 应用 实现的。 整个的处理逻辑却是在 Arceos 的 load.rs 中实现的 +从每一次 ABI 调用返回到 应用 的时候都需要返回到应用上一条指令的状态，这里有两个目的：一个是保存一些固定寄存器的值，比如 a7，另一个是保存封装函数的返回地址 ra。就像宏内核中系统调用需要保存上下文一样，ABI 调用的时候依旧需要保存上下文，这貌似是因为不是一个普通的函数调用，普通函数调用编译器会保存栈帧，不过这里需要自己保存，而按照怎样的规则保存是应用和操作系统约定的规范。 +![avatar](2023秋冬季开源操作系统训练营第三阶段总结报告-Gege-Wang/调用关系.png) +### 解题方案 +我意识到要保存上下文，却没有想到一个好的办法， @PeizhongQiu 告诉我使用 clobber_abi("C")，能够保存上下文，并且在返回的时候恢复，这是一个非常好的消息，能够不费吹灰之力之力的完成后面的工作。不过这条命令做的事情也是需要进一步掌握的。 + +### 需要解决的问题 +要清楚保存上下文发生的细节，才能完成应用程序二进制兼容的事情，这个问题很重要。 + +## 实验六 + +### 实验问题 +1. 仿照 hello_app 再实现一个应用，唯一功能是打印字符 'D'。 +2. 现在有两个应用，让它们分别有自己的地址空间。 +3. 让 loader 顺序加载、执行这两个应用。这里有个问题，第一个应用打印后，不能进行无限循环之类的阻塞，想办法让控制权回到 loader，再由 loader 执行下一个应用。 +### 解题思路 +这里做完基础练习就没做什么改动就过了，为 APP 建立独立的页表，实现初始化和切换函数。在练习五的基础上进行加上独立的页表就可以了。 + +## 特别说明 +所有的代码实现都在仓库，欢迎交流并提出指导意见。 + +## 实验总结 + +非常开心参加 ArceOS unikernel 第三阶段的训练，在基础学习部分的训练大部分都是老师在指导书里给了详细的说明，石磊老师非常有耐心，助教老师也很给力，训练群里每个同学都很积极，让我感觉充满了动力。 \ No newline at end of file From 5ff2692a4fa10095336de7fdca28a35dbb96dddb Mon Sep 17 00:00:00 2001 From: Gege-Wang <2891067867@qq.com> Date: Mon, 20 Nov 2023 20:31:47 +0800 Subject: [PATCH 2/3] add: blog picture --- ...46\200\273\347\273\223\346\212\245\345\221\212-Gege-Wang.md" | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git "a/source/_posts/2023\347\247\213\345\206\254\345\255\243\345\274\200\346\272\220\346\223\215\344\275\234\347\263\273\347\273\237\350\256\255\347\273\203\350\220\245\347\254\254\344\270\211\351\230\266\346\256\265\346\200\273\347\273\223\346\212\245\345\221\212-Gege-Wang.md" "b/source/_posts/2023\347\247\213\345\206\254\345\255\243\345\274\200\346\272\220\346\223\215\344\275\234\347\263\273\347\273\237\350\256\255\347\273\203\350\220\245\347\254\254\344\270\211\351\230\266\346\256\265\346\200\273\347\273\223\346\212\245\345\221\212-Gege-Wang.md" index c1d2e4914c4..cc8071831ab 100644 --- "a/source/_posts/2023\347\247\213\345\206\254\345\255\243\345\274\200\346\272\220\346\223\215\344\275\234\347\263\273\347\273\237\350\256\255\347\273\203\350\220\245\347\254\254\344\270\211\351\230\266\346\256\265\346\200\273\347\273\223\346\212\245\345\221\212-Gege-Wang.md" +++ "b/source/_posts/2023\347\247\213\345\206\254\345\255\243\345\274\200\346\272\220\346\223\215\344\275\234\347\263\273\347\273\237\350\256\255\347\273\203\350\220\245\347\254\254\344\270\211\351\230\266\346\256\265\346\200\273\347\273\223\346\212\245\345\221\212-Gege-Wang.md" @@ -107,7 +107,7 @@ struct AppHeader { 封装成函数不困难，打印字符串也不困难，最困难的是第三个要求，完成这三项功能。 这里有一个重要的逻辑需要搞清楚。 ABI 是 Arceos 实现的，封装的函数是 应用 实现的。调用封装函数也是 应用 实现的。 整个的处理逻辑却是在 Arceos 的 load.rs 中实现的 从每一次 ABI 调用返回到 应用 的时候都需要返回到应用上一条指令的状态，这里有两个目的：一个是保存一些固定寄存器的值，比如 a7，另一个是保存封装函数的返回地址 ra。就像宏内核中系统调用需要保存上下文一样，ABI 调用的时候依旧需要保存上下文，这貌似是因为不是一个普通的函数调用，普通函数调用编译器会保存栈帧，不过这里需要自己保存，而按照怎样的规则保存是应用和操作系统约定的规范。 -![avatar](2023秋冬季开源操作系统训练营第三阶段总结报告-Gege-Wang/调用关系.png) +{% asset_img <./2023秋冬季开源操作系统训练营第三阶段总结报告-Gege-Wang/调用关系.png> <调用关系.png> %} ### 解题方案 我意识到要保存上下文，却没有想到一个好的办法， @PeizhongQiu 告诉我使用 clobber_abi("C")，能够保存上下文，并且在返回的时候恢复，这是一个非常好的消息，能够不费吹灰之力之力的完成后面的工作。不过这条命令做的事情也是需要进一步掌握的。 From 63015d9d972b01fb91d1b81a565238119233e262 Mon Sep 17 00:00:00 2001 From: Gege-Wang <67888311+Gege-Wang@users.noreply.github.com> Date: Mon, 20 Nov 2023 20:33:56 +0800 Subject: [PATCH 3/3] add: blog picture --- ...73\223\346\212\245\345\221\212-Gege-Wang.md" | 4 ++-- ...203\347\224\250\345\205\263\347\263\273.png" | Bin 0 -> 14301 bytes 2 files changed, 2 insertions(+), 2 deletions(-) create mode 100644 "source/_posts/2023\347\247\213\345\206\254\345\255\243\345\274\200\346\272\220\346\223\215\344\275\234\347\263\273\347\273\237\350\256\255\347\273\203\350\220\245\347\254\254\344\270\211\351\230\266\346\256\265\346\200\273\347\273\223\346\212\245\345\221\212-Gege-Wang/\350\260\203\347\224\250\345\205\263\347\263\273.png" diff --git "a/source/_posts/2023\347\247\213\345\206\254\345\255\243\345\274\200\346\272\220\346\223\215\344\275\234\347\263\273\347\273\237\350\256\255\347\273\203\350\220\245\347\254\254\344\270\211\351\230\266\346\256\265\346\200\273\347\273\223\346\212\245\345\221\212-Gege-Wang.md" "b/source/_posts/2023\347\247\213\345\206\254\345\255\243\345\274\200\346\272\220\346\223\215\344\275\234\347\263\273\347\273\237\350\256\255\347\273\203\350\220\245\347\254\254\344\270\211\351\230\266\346\256\265\346\200\273\347\273\223\346\212\245\345\221\212-Gege-Wang.md" index cc8071831ab..6837b360c64 100644 --- "a/source/_posts/2023\347\247\213\345\206\254\345\255\243\345\274\200\346\272\220\346\223\215\344\275\234\347\263\273\347\273\237\350\256\255\347\273\203\350\220\245\347\254\254\344\270\211\351\230\266\346\256\265\346\200\273\347\273\223\346\212\245\345\221\212-Gege-Wang.md" +++ "b/source/_posts/2023\347\247\213\345\206\254\345\255\243\345\274\200\346\272\220\346\223\215\344\275\234\347\263\273\347\273\237\350\256\255\347\273\203\350\220\245\347\254\254\344\270\211\351\230\266\346\256\265\346\200\273\347\273\223\346\212\245\345\221\212-Gege-Wang.md" @@ -106,8 +106,8 @@ struct AppHeader { 封装成函数不困难，打印字符串也不困难，最困难的是第三个要求，完成这三项功能。 这里有一个重要的逻辑需要搞清楚。 ABI 是 Arceos 实现的，封装的函数是 应用 实现的。调用封装函数也是 应用 实现的。 整个的处理逻辑却是在 Arceos 的 load.rs 中实现的 -从每一次 ABI 调用返回到 应用 的时候都需要返回到应用上一条指令的状态，这里有两个目的：一个是保存一些固定寄存器的值，比如 a7，另一个是保存封装函数的返回地址 ra。就像宏内核中系统调用需要保存上下文一样，ABI 调用的时候依旧需要保存上下文，这貌似是因为不是一个普通的函数调用，普通函数调用编译器会保存栈帧，不过这里需要自己保存，而按照怎样的规则保存是应用和操作系统约定的规范。 -{% asset_img <./2023秋冬季开源操作系统训练营第三阶段总结报告-Gege-Wang/调用关系.png> <调用关系.png> %} +从每一次 ABI 调用返回到 应用 的时候都需要返回到应用上一条指令的状态，这里有两个目的：一个是保存一些固定寄存器的值，比如 a7，另一个是保存封装函数的返回地址 ra。就像宏内核中系统调用需要保存上下文一样，ABI 调用的时候依旧需要保存上下文，这貌似是因为不是一个普通的函数调用，普通函数调用编译器会保存栈帧，不过这里需要自己保存，而按照怎样的规则保存是应用和操作系统约定的规范。 + ### 解题方案 我意识到要保存上下文，却没有想到一个好的办法， @PeizhongQiu 告诉我使用 clobber_abi("C")，能够保存上下文，并且在返回的时候恢复，这是一个非常好的消息，能够不费吹灰之力之力的完成后面的工作。不过这条命令做的事情也是需要进一步掌握的。 diff --git "a/source/_posts/2023\347\247\213\345\206\254\345\255\243\345\274\200\346\272\220\346\223\215\344\275\234\347\263\273\347\273\237\350\256\255\347\273\203\350\220\245\347\254\254\344\270\211\351\230\266\346\256\265\346\200\273\347\273\223\346\212\245\345\221\212-Gege-Wang/\350\260\203\347\224\250\345\205\263\347\263\273.png" "b/source/_posts/2023\347\247\213\345\206\254\345\255\243\345\274\200\346\272\220\346\223\215\344\275\234\347\263\273\347\273\237\350\256\255\347\273\203\350\220\245\347\254\254\344\270\211\351\230\266\346\256\265\346\200\273\347\273\223\346\212\245\345\221\212-Gege-Wang/\350\260\203\347\224\250\345\205\263\347\263\273.png" new file mode 100644 index 0000000000000000000000000000000000000000..7cca0a93ed33dae53ace51b021447568b1aec133 GIT binary patch literal 14301 zcmeIZcQl;e7cY$PjglY)(S;yNv_y$EdhflHgh+@!+UO!AMDJa6qjw`1iB7a=(TO%j zi!#bE+(&$Wcinfb_rLqD_1?Aa?+-Kc%z2)3&g`?xXMgtgNlQcVE+Gve78cfBWhFTs zEG!&)EG%pn{C|LNrrKysfj4Y79Yq@61V^)0|3 z4e*DBbt?xO>lW~ief?by&VNR6=yPuU=QFm;^^I!$&&05>gcX(Lr1iY8cjgIvDJG^* z_t|}V2_MFUJn3yCAn4^J{Ag7_iB~^kQdUlha_TbKvEQ;Ubt*NlH`sYSF=JPsOHq=O z(+g#?|CLJnd^$WYkYeAS!8w$?5XYRtTRdO=#7ljk5x>8SUC9q zSH6Hl0yTXstuIdZhbJZ{+3HT*ML;s zMj-q|mI((JIDjl10s?|tetv#?bsO`II~DeJc9+#|8$$^VnIH1ROagQB^15IQ!1*~_ zSml`b{k~9~G-0YTs8@e0?UUw#gB>2F5rZoO9FPx@TFV9XC#2xy0>0ydpT?x)bo1ps zVbig)S^~bJyjq(OFVer~h{(k`0)t08AuA0Fb8c!nhY>9#)3pwAl`WXOQZ6I_Nzy7SmbcnV;3D?}Qub*h! zJ2q~9RzB(|$!ukc9Zo!3m_@6I736XM!IOGP(8+$epXgzzy{D@Bj=hfYVRqBnK<&(a zS_Vy!2CvlU=%%h*AU=~-vD8Nj&vLcYXQ?eOT#>q#yF(D)#7|9M>rhT9i?SU`qvB92$qQxhxEf=lrnD^X52~D^jte^1 z+o6OB^!+i&+@BuNmpoTeXC7viAzyA)n2+sJt>En9hh*D>2ajSLpB9FK<7I7=`Zz6! z*Q4ki?p#0r2bW9|2S0^N%ia+o7bR7Si`aZaL3?{z*=mBea$x(+)9WJXeHd#0^m)4I zaw(UPs?O`7A9i-2S#jQ+P>r-wcESk?l=HyBUDg8Afb{s2PS#`)w{{lE`=`t! zo4|w!Fvr83AvR~{!}TFbvi%hH9LovQC-pTNcJ_>aILh&(&-ZF7FOlztX4awPhmP?d z@4c}I%!*p~`(^JIv>ngRy3%`ZbkXN{$KLI(Bm4snE3`FByq~4^Nl2de6h#gK(F|J~ z5@%XMtc@)4W(p7AvR%FJL8{gIKs@1Pn4DYm6G|(uf-Y-1EB2sO^>l0JM#o%u?O%Ug zrw%BugFoH;2fXmZgH^pLiyjr#NGr|6#DoAxlj9rtfT?V;=Ejx7y0L@Pv`48ZG$G7? z6v(^w-N4`yHCCQWw*njs6+|ZP1A7 z>je+f_$kji``z=&&$S2pqj!vxAu1QXe);*iDy_OI`7#s|-1tpo#ZbTi6XTfkXhU1B|OQswsDV|PjL59L|}$=ACF4Jp~v3y ze%N5Ojt*F-UuEdy(bu^dFt>MX0%a+vmMTDVC~JZ3-h3DoL@0?oaV)>TR-|N5NK>&5 z8ndH)@ZjMkHoBmU+k+hN0;b(}VT&i(SMM{_G?KmsoP0i_m7JqS#nOwdz6Z5EuD*5K z`>gjQQrB@k*YGdGWGKw?-~AVC!Iwj8V@} zPvm&&O43B4UMFBQ`)Q+NIlSZ>#LgS0)`GT!Eq`Nt_G@=2Y~I$@rhxOAL4mbOBMzse7MGY^P;nwp*utue|hRM04_NI;~hTCX;pmw`OdbM^H| zyi#b+=%SzR#cJ*g%VhGNB<21up7hBE`z_ppg8Gx*;rg+z&Qq4jKk~-df)YEq zY*n3$eXdUOiEd#+M=2^>m^<{MdphP>@-6e2JG_J3xImF@e~Mn^8|wGf!th*`P|m(< zyIKhB(#$mDU^%n%Q0&gP42LtIZMA0v(7R&vk&!E8@qNRfaNxjTcdTkvvk}n&&W7s^vD9)aZ-FInNm}P4wz3YJTsU&)H&%mtKp0uBc$2 zeAASzm&}|z8kohT%bsQ%-k@SYNX=!$Sg9}A%hERsjB>K@x zIclk>;M%w7{phmg#D~!KQC0N*S{wxYDdYnQX~0!8OzXL^7%S+cDk1rGNrSQLg&D8X zm9(Y4gG|}VX_p1gefr~m&m#D2S{jYA$yv$VMV?|=Fq6j!({#0K0TR_TO6~KBM#s2O zX>dSG)!3zad$CFTZl$j#$~8oEw&`mw(FeQ$FAK`j?<*T&Bm?Hqo>vx4TR1%~3tb=N z59}<0j%Wqs9MRc|<=(7Oe!Kqgr!PMGfG+T!)o8}9n_O0~dc^h-o= zj-!OWru+v)R#*OA8%l3TV&rc=ao!PYEv6FsTtdO0Mm`yua`i z9&b2R78?&eS^gS(j|}OvZ27qh%IEb2E|o-;sPw(e*maBrq(i=UVFFPu#Y`#Qy^l$> z&|)r~FpFAK{K@(?e-3$8{4N)ZKr3FQlHun8qiE4^dYmCx1@q=SppH|E*iIN*a8x^#1MF`rFc=4@JInII>?w+&=ZJmtKoX8ag`VJ2F z4z2EQ`Y4#bjrZu@lVW#8H-%s!jAxS_9=RRPkgFlW?Qe%A`Hr=*k z!Lu36qEn5!s_=0HeymtGaYI|wIwjPbA=NIcN0~!MvpgZ7PdqxwBI4Lwb4jgRp)}=J z>)O<0yl#}(c)X}0D-YN=;mfPG*_`%Y@D+LG1&lCkRlwaWPo9b&QuB6Ux_LSARiBe; zW6T2C)DdIj2*J%qC20ap&UCqdj?7p8Z?cS zE`JlD9HW?$GvUp9vU`g~Gu}`{aRBJOPe{b237>z;_HciEVvoS8u71ck%D3*_kP7Co zX2BirXhh{AhBhCb*12iqI<&3VO3yo`{s+uIRpK*_|J?7ut>@w0wyh$w3(VIN3vmhR z`bm?i*`r(^i5g8OLy5S%KBq`3UPv&MVJOvkb1W{`N9-k=Qe_i|tJmHls}Th+$2hS1Heya|Qd_&p<|*&VeTp3v$e4^r`& zeHC55+4hr|E@rOQ)<$Ri%pz(GTD1IOPTaT{BKdMWgRm8myW%#X(a6Z>YMov&J@+jS z;!cG@Ev;$~3ckvY#5?j4a2-DvJjyFW&(lT~m@1XgEu4__shRF%%zg=zII0TgVFvRm z^v8BVA2d0q$YtkwX1|>*v75*i#AFd;9#p&{AlPAf_#R!H`~_7@RUuGz1tc#-rX*`tJ3wZ$ zVHmkyic~bc^&X-G-ewhexh;VrajP)J3+H4GkN7#E%b%JX_A;DMXI$%tQ&}Ih`3r+& zHJeqY7!q+g#rmi$`g7Kwm`8h%K1iRD|B$pj!uCf zL!brz#kH7;cBHyQ6|k)wY9Bsk@H8v?ucwz+qG#ufr)0T4L5uMX zr+ir8S_?dn6R?q8){EYVu$ooa;=mZv#->p|WZ>ZLmK>u+Fh@j0IOfV${S+IPZBwUhM|m)b+@9VPg6L;n^UZnYmB0F+R5o$Q z!H=%*YTC9KD9zt=qOwauEjeknSKj;K0#*`lzgtHgWR1GDaCA@sxi6$B!JoHi1hsr? z5ip9UG`I9{l50E~O69&O&!{-6ZTSgR!IQ)IVZyQ^seOr|!ozqLGmfi|>3XRdL}V#v zrFnaIW*w(5y{!s2ctURSs>q^xp=rta4`K%bcPygnaf!nCDqb@n&QGL9muEsHgzi1o z+rxg|=9I0L;*&UcQUp?6e9@8C>eg!6IJSdwL3>dGDJE7BFO`+o+Cb!+(Js6O?klAV zeb9ez; zp+&&^S-h|n5BH$l=&_!gvP{y8PEOFm`5y7J%M z;{viEV77mVw7?HC#AW{e0;%>#K;{%*BVTqy;ymC60GIOtK0WXpKn}zM!d2_1tY-d8 zx>;3W?QQajct^^DGIW{bDcmbJ99t?`B&i_#GxRP2SuLRrGcGDuDK1m0Mmg|1k>Sqs zffB&HfiD2p9Lib-bGDpwT~fVzXus>FxlL3m@o-P#{4=}8gw1fQ`|ptZYm~j;DcnJO zT@#UP-3omGE46JWJbO(xtpNM@tZICSO#&-Up1W$L9u&4KYORE~8tZ7Ts`NKBXTSQX zk<5Qt7lb4x>p4yqb96J;y4YNEXD*oNUgQ$K-u^gM4x+en6mPQQd+?(dpFJ01QvW1) zR?Oo4^!WA!A+GYa4{vt*`ouMe;~WGfcXVSr3q;CX@6NPUJ2R^VIq3 z(k@&{N~$=5ZDHC>FUHPXgqwLm47;hx&c>$t)$ntZ9z|3C;n@<(_}z^Ei2nh5jz8a$ z8`A!@TM*Scy@O+;+hXu;>?C^e;2?8$#)p;N-qXi2SAWA0w0QF|^fP+}~sA{*$w}-GaG3m>oTdu$JYz*Qr zr_8uwSrmn)GW;w^MUK~LbyDJff8c7|iMvnlaJcdYIN&8!ybBqb{I9n!myZ{7vg~vs z*oP*}Mm8CF;?oXXOO=7H)&n8+h0lpZ?AdpYqvWN2UNr668TvY|y1Jv}-<8 zyXD>*iHEI;uLbs!iFLcyF>|@4?a3#~9tC^Mv05#Km>`Dx*niGMaVbZ7p zRaMRO%$q_9QR0d}1nh`Fe(0KW1Y-yFf0yA9N$~xaiEw~065%)itizj9rXH4mCr*0u zo0io1+x-9Q=s3DwU4v$VTp1-vi95pyFhT~>QP-;8{87rqByB*9LqlxYl~Ih;`8wv9 zbIe>Dn7Mg-V`>1IuU|8I-YtNhY2?RV6>*bj@(n%q3`dZHg6Gv+$LxXkzk;M#uoskO z@I#`n726z-CtyW=qkIp&raOsl>S6G7e1#X(KsYk?pJlJDs1eZKxtF>3ZtM@gP9LB$ z%7f{muW1Qjbw?m1G0eRhor@JW)Dhb7s6yIl(YVV5*xJG)IH67d;%K*%BHX9Cg8=IPjN zo^1{kbC`?Bx3AAdAWY6y9slx(;!Muy!{Pj?gp#;yUoBUUy`*B76`G9tsZ|aEuS@zN zhc5P?*5_A}Z2ZXVS0D#%$b>P!)OUpn-sMt z`D}k56~Bad^NCK-6-@c=pIQ8r$+bt$vr0hAk*I z_AXmGl76?YTEi;O@_#vv9PgkqbxS3y=*QHDe^`b>A-}9Qt|T7XHaf*y#Iu>sqAu=A zDCWVsGKB`|7b#A(!QiekSIxiTD<>1Fcg#G>5*mc;DPYJEFJ(0!yWgiromB6(VQE%2 zImxSDYgrHvw^m&2Lp;T3B`4G``xVyL-FHTLiMR%TylaUVenJX_8$6?D^4B2_(TwxZ z58b;~c~#m+`{{XN7kl?WBi89?+WEJ-@K*E5&CM#+LYU@_2Dbn)WO)tO+56^l zn;8fx$!c!dHwx@!4A|WO!P3Fa- zv}6N#5nlFo(_~(b@)+I*hLh8^v7c_Mz17^&*~#R8Z%P4J;1~YHra;bLL%3!OH<^UK zN*6Z>Tj>D2;N>@`l2fU zk;~w2u}wPqqz{4`KS^(-Plm%$AM&$*#8-_lr9O2Fne$VeA7*>Z!;x%zRj1Ohrxt&D zsZBN}CUb#7+D-qgQ8_y--LmOe&-=Z##o}fgnXtDYseXa+TZ0dHs!mQbPuEDub8?oh zRu22i2EV^mwq=vW6JvYXr1KBSHY=CD8R+txSxHGrBK*RyHDiz`&fgEx+qwu->yF-X zs^6f(6*aK}>OqWClap=hTU+M~$2+rJVraA(3AQdCVv|qMjp4ITA`RJDJSVYZ)9bPe zOxGFN1dASnpX(<*eSK98$7=D*0UOtz@_3tlTB6mkli?)ct6KfI=!^#D)4@Zog4|pa zi_4B3^pM(i!&qVA*va z(PrS>OnT;p!iKGd?vs^7ZPHS`rC=QZ&2QcDFXm*c$P`m3RHs=5_}NhjTF+s)UZI(5 ztX#z_R=SOs#^?;xgRYifw}N#p{QXENE~zK$OR>-gU} zf7UZFFzukHPCc9C?+EJ@iEj1MW9$=8pxvRT z#oAjD<9`Oyp-h{-MopABnb)Ny-J+sb!DA9sicz-45)|lg2u~;j<)|C`q=QIVs9Zzo za;&}0YL$q+V|V1CWes82uLl?qgtv@=T5;A0YEV;BQ!^V|k9P@vjh9e+sctSztzsR-Dc)AnfR~(EK^yh% zc!|wp0d?_|Y`(KPTJo61cB_`3{{Z@cGFW zVu_<_cSR_Lsh3eqz0+viBMy#|Du{yr$?u|rsVPZ&0S~|Jiq=i_U9KmkF+KsONrJ<& zC*Oah2+6Xte266 zx5bHuu$hc(u=R3q>cKgvvL-xN9N_jMy_0*H^zXZ`67@l_KcCkBMi-xz>?;5#B=HwjqAd6lgc@Ld3 zAE8xwG3UoI`l<|NaMRbr4_^4KLD@~1zXz8;%=qW-X<*<9E*M)Ur|m*Nw%W)Kqbi|r z{)vT7ux!o9VgDp}cYaOnT}Ed?_L~EvR?Ws2((U(y4zCDP$oO3v(xt3&vS}JbES<;U zG5#P$w}@SOmwMmn>WV0PJD+GbH~F-g9wA&&BPl8xG|3MELC|LQY=gtOlaE=zNysNM zzx6s?J-uflel}J)G$yIPtY{fY5!--3G9_d?!?18NHJCU!Hhq&V#1uW1?q>fmZe9&8 zJvG$-w9peAsEnibNRY#{GaL)2f&4MS-Nd8QAgZ|&f_nA6SJMAW9%rQ*Bw_cUfEjT? zT4XUb3+NS4JL{UBwiu< zF70lM{9n*+l?FuLx6~{axTIAD?F;+l1>z#V&_B1h@lzhRk8#~(0y(-w#mQk3MHcsy za^CCh?I=CgP){_6`$EdVxQRHYY;(Lv+T%40LSN=GOAxgF{}u?=EcQr`D) z!NttNx=k#Axg?faCj%xVLW)Z_j^S82*Qo)9&f_3OA5A|Ju3jwytJRvex7Q0OU99Mj8=VILDMDcs=Ef3rKBTjF3R9*KwKq#&$TI$E2!h@`VcT=*3r89aG%PuX4;#nmf9E_r|KCR3VZ80J6D~aof)62sHo&OG&J;iL`6zU zN|KS0{XXsW#GRuAvbl8Vp|G#jPbCg$G4dja?29SRi=c~rFcFkU5L#RuQ&;z_RO`(} zG#W_XGd!VJqa=icaSN?Js#aDx^{r5-ijIzs^-_D#@4Y=<^kK96R@ty_kw#*HYI3+_ zfRt3=p*Vz#ZYpg%X$;%tdhwgqF zk)Uce{GDcB5&K0p%w(&1P~v2cWqEnoVAc-O3K#`mN3_Xqn%kpg-9A3KOP>Qq{c=6SrY)&nq24YI{Y)&8UN0s zD%)WO*wIf_n}MV!0)A-lMoid>tD(7jqCS?0q|>h|X|Q%qL{uT=d?~-vf_UkMOm=Nf zj+8;A#S`11jM$Z)XjNZdU)?Ze8=Ha&u3S%K*4=sgTp#75+>>gi5tHk#fPNRc>qJr- z+Z=y&V`JcSf5qnN5)+q^vAu2X?4Ih6LHA9To0jM1_|wkcs(CjpU_Z9>?Y+(S5Q0gF zoLtC6#1|hBn?}ZC7Z;bGdYV1IyCO32G_|#3^>ZGvvKntV3-ab)qKp;W69Ff|Mcr`y zv*;gJdG1+IOZqmUqA`fkJe!T7Or8j0i5A!6ZR6<%hjc+I+2Q44IO2@T(9Gq7U|H_Q zJCUS3#pr%TMn7u`;pyq=N$U{=;!Tg^#)+v@YvM9R(LY>S_urg~O~l)-oBj1!js%E> zTk~ICRw9K>b`+!NIJTxLlgrAuHz!Jy59#*W&MO4u6f8ai~fOuwZ*H;M*TU2AEa2Jr-(fp zDNiLH#co=5_aaz|2w1=*P+k{sp*a$`M;zx^hmxUUal3UJCb4WE3y=Uc7RrPNG>86k0?VvEUOs0i24%ddz8E3)p9r_ zh9Y@IkKKspb+>s|@0lFn;em#l?8l?gby2j!8jvHz^2N^%CiDmM+r)Hl#^h0R(VCKH zaz}X;=y^u8_AGDP>G!nanbS^4R+#@u*lyp*9@5!&;!2HI@s*%tqZ|O9SxxG$Q)Y4Q zoW;Q}S6}v~Yi-{@-3pc+-WieQE;n}tDmKir@Kdg5&&EX~{kMgLgeKGSp^L5BS8o%5 zCLbeSa{FCKK|#R~yJ?zzk0fpy8PG|?LD6u{P|-iiS)_!*(@c)YA4jdlDl)i~37wgP zh-aGybEMx}Z~v;U@jiULF%r2lPlqm{Y&Ad0M=08%NPm>*7Fi!}Pv0G?^ie$e6SW)b zy;a^=<`K`PZZ{H2g5Lxb*q1Br?_4uD9k_I@?7D?&)meHajBPwRN2Eh_Z^z1nQ;>d# z8^iD%Dp`2hkLo#}z1ArGHkJ`iz;X<#T}T1Tv5E?O#cYT9i25pVv^BWJ8^wq=2%z1< z_tFV`PM0x=-Jpx~2<<{uJ*O$Hjq#qL^HFI7D7 zw|hcZCrQoqwm#ue$Kz{rfW%aT^7He<=!COUQkoPf=$`gS95=lpU%XdUj^!r$E*;`X z_ZMaaMP0XC897yi-XIAFpeFeL+31o4J^j|;b=PMoPFG1u%~rDJ^q(Qv+A-M(yhzOq zp#Fc*@UsL4^5dX)@)Ntd;u-_s{QTs_)HvvqB3eQtnhg2 z$%)1To_o^RuH21U{_wYOnnI442ksSkD`9;F7$4IO&c~GrClfG31~HDVM1288isy@} zbgwByn~T;qhdui)%Y3)Q4M{e+7L^}xN)A0Xx^CJAV%{MEP&W9Uu`Qa()kTpgP~ueg zL;pj2;Su+9b2Fs4s)BY2w****Azjj7op_fkUE_6Mb_0Ea7e4ZL~*`3&gygTZYR7+j54(WiGDCX`}2nYrb9vN58&BS2zz&z zoUyzDX3R{i46e30rK+Hy*q@f5D*)51GZSL!MkbyvCuqBVKw_U=bW(4{c(eQls?GDa z;))?k2E`V!%=+WLNggJ<55(mD@gRxkZ}s`;*m$JX?5>tWGdbG&$VczXC@-^I(t?mF zj{!iB+*D(J;M}RKV-jojl%cx!?b81M#z}ajlS3GiaKQ|7o737qDW_ffNU*amZVyGm znp99;B1y%L(z);kTkBGWcutu8=080=TRz}7Ro3^D!YeuLx{r2u=Y)9*!|p@v6AcYb zJD&17N<7vqo9C!U!c+IF5869p$!L^BGp)-077M_l*q4cR(kcdw!wD7-za6A=v5Q1Q z%PL}hKo{SUsVRbdlQX-X6{jPN%0vK(S<=sF7H0cE){2m# zAVYH1jn>+3(G6U|<)he=ymAy^Q3GSyJ4xva=3EqZO*SdWyD*z^c`CE?yZ;J;4O?;8 z|7%ymbri)gqJL1e3BcwnUVQ(=HO}{$hx9wnEgpQs6W1fHL-8~fg*M0x>#s$_qbijZ z`IBHoa{LEeEis{n#S`GuPeLqVPn)YlB?DJDq~Q|A8WBN0*k!YjV5S%Rx`P zn@pNZ&KS9GHju(Ras&@9l+(<(xn{EZ3}Afz5@s!60>G?)0O=l|Sb*G3tq+K#_vyRy z!=?UZA4~x_w0&_;;>O6jfdcA-cut(Zbr-4jcL4iPd#HGHGw}l!fPGMd;@`hvA8G*{ z@MDN^^g5LQ(8PZiy%ynr#ryxOBAt55<%hWu+AN0;(z|d}0L9rz+@oyJb?ZycQ~Wxg z(dCtu+S;lXnK*%3u?`H`Eu4n?BLTz?-Yav@ZZ`g}4gJ;W|BGI%WP`3qq