From f1e9be637776ff57cb7d1905ed213d6529174f94 Mon Sep 17 00:00:00 2001 From: Estom Date: Mon, 6 Sep 2021 21:29:05 +0800 Subject: [PATCH] =?UTF-8?q?=E5=B9=B6=E5=8F=91=E7=BC=96=E7=A8=8B?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- Python/网络编程/Select socket.md | 58 ++++ Python/网络编程/非阻塞socket.md | 46 +++ code_segment/xioayu2.cpp | 43 +++ 工作日志/2021年8月31日-九月份计划.md | 10 +- 操作系统/2.3 进程同步.md | 29 +- 操作系统/5.1 Linux IO模型.md | 27 +- 操作系统/image/2021-09-06-15-30-55.png | Bin 0 -> 48909 bytes 操作系统/image/2021-09-06-15-31-02.png | Bin 0 -> 50666 bytes 操作系统/image/2021-09-06-17-00-23.png | Bin 0 -> 10053 bytes 操作系统/附录12 并发编程.md | 138 +++++++++ 操作系统/附录13 网络编程.md | 72 +++++ 操作系统/附录8 同步异步、阻塞非阻塞.md | 80 ++++-- 数据库/MySQL/附录4 MySQL事务管理.md | 7 + 数据库/MySQL/附录7 MySQL并发机制.md | 369 +++++++++++++++++++++++++ 14 files changed, 856 insertions(+), 23 deletions(-) create mode 100644 Python/网络编程/Select socket.md create mode 100644 Python/网络编程/非阻塞socket.md create mode 100644 code_segment/xioayu2.cpp create mode 100644 操作系统/image/2021-09-06-15-30-55.png create mode 100644 操作系统/image/2021-09-06-15-31-02.png create mode 100644 操作系统/image/2021-09-06-17-00-23.png create mode 100644 操作系统/附录12 并发编程.md create mode 100644 操作系统/附录13 网络编程.md create mode 100644 数据库/MySQL/附录7 MySQL并发机制.md diff --git a/Python/网络编程/Select socket.md b/Python/网络编程/Select socket.md new file mode 100644 index 00000000..27572577 --- /dev/null +++ b/Python/网络编程/Select socket.md @@ -0,0 +1,58 @@ + +### 过程分析 +* 用户进程创建socket对象，拷贝监听的fd到内核空间，每一个fd会对应一张系统文件表，内核空间的fd响应到数据后，就会发送信号给用户进程数据已到； +* 用户进程再发送系统调用，比如（accept）将内核空间的数据copy到用户空间，同时作为接受数据端内核空间的数据清除，这样重新监听时fd再有新的数据又可以响应到了（发送端因为基于TCP协议所以需要收到应答后才会清除） + +### 优点 +* 相比其他模型，使用select() 的事件驱动模型只用单线程（进程）执行，占用资源少，不消耗太多 CPU，同时能够为多客户端提供服务。如果试图建立一个简单的事件驱动的服务器程序，这个模型有一定的参考价值。 + +### 缺点 +* 首先select()接口并不是实现“事件驱动”的最好选择。因为当需要探测的句柄值较大时，select()接口本身需要消耗大量时间去轮询各个句柄。 +* 很多操作系统提供了更为高效的接口，如linux提供了epoll，BSD提供了kqueue，Solaris提供了/dev/poll，…。 +* 如果需要实现更高效的服务器程序，类似epoll这样的接口更被推荐。遗憾的是不同的操作系统特供的epoll接口有很大差异， +* 所以使用类似于epoll的接口实现具有较好跨平台能力的服务器会比较困难。 +* 其次，该模型将事件探测和事件响应夹杂在一起，一旦事件响应的执行体庞大，则对整个模型是灾难性的。 + +### 代码实现 +``` +#服务端 +from socket import * +import select + +s=socket(AF_INET,SOCK_STREAM) +s.setsockopt(SOL_SOCKET,SO_REUSEADDR,1) +s.bind(('127.0.0.1',8081)) +s.listen(5) +s.setblocking(False) #设置socket的接口为非阻塞 +read_l=[s,] +while True: + r_l,w_l,x_l=select.select(read_l,[],[]) + print(r_l) + for ready_obj in r_l: + if ready_obj == s: + conn,addr=ready_obj.accept() #此时的ready_obj等于s + read_l.append(conn) + else: + try: + data=ready_obj.recv(1024) #此时的ready_obj等于conn + if not data: + ready_obj.close() + read_l.remove(ready_obj) + continue + ready_obj.send(data.upper()) + except ConnectionResetError: + ready_obj.close() + read_l.remove(ready_obj) + +#客户端 +from socket import * +c=socket(AF_INET,SOCK_STREAM) +c.connect(('127.0.0.1',8081)) + +while True: + msg=input('>>: ') + if not msg:continue + c.send(msg.encode('utf-8')) + data=c.recv(1024) + print(data.decode('utf-8')) +``` \ No newline at end of file diff --git a/Python/网络编程/非阻塞socket.md b/Python/网络编程/非阻塞socket.md new file mode 100644 index 00000000..837a54da --- /dev/null +++ b/Python/网络编程/非阻塞socket.md @@ -0,0 +1,46 @@ + +``` +#服务端 +from socket import * +import time +s=socket(AF_INET,SOCK_STREAM) +s.bind(('127.0.0.1',8080)) +s.listen(5) +s.setblocking(False) #设置socket的接口为非阻塞 +conn_l=[] +del_l=[] +while True: + try: + conn,addr=s.accept() + conn_l.append(conn) + except BlockingIOError: + print(conn_l) + for conn in conn_l: + try: + data=conn.recv(1024) + if not data: + del_l.append(conn) + continue + conn.send(data.upper()) + except BlockingIOError: + pass + except ConnectionResetError: + del_l.append(conn) + + for conn in del_l: + conn_l.remove(conn) + conn.close() + del_l=[] + +#客户端 +from socket import * +c=socket(AF_INET,SOCK_STREAM) +c.connect(('127.0.0.1',8080)) + +while True: + msg=input('>>: ') + if not msg:continue + c.send(msg.encode('utf-8')) + data=c.recv(1024) + print(data.decode('utf-8')) +``` \ No newline at end of file diff --git a/code_segment/xioayu2.cpp b/code_segment/xioayu2.cpp new file mode 100644 index 00000000..938ea30a --- /dev/null +++ b/code_segment/xioayu2.cpp @@ -0,0 +1,43 @@ +#include +#include +#include +#include +#include +using namespace std; + +class Solution{ + + public: + std::vector scoresort(std::vector names,std::vector scores){ + map m; + for(int i=0;i res; + for(auto beg=m.rbegin();beg!=m.rend();beg++){ + res.push_back(names[beg->second]); + } + return res; + } +}; + +int main(){ + + Solution s; + using namespace std; + vector names{"1","2","3"}; + vector scores{"1,2,3","3,4,5","6,7,8"}; + + vector res = s.scoresort(names,scores); + for(auto a:res){ + cout< 参考文献 +> * [Linux五种IO模型](https://www.cnblogs.com/cainingning/p/9556642.html) + > linux实现IO过程的方法有很多。这里只对五种模型进行介绍。如果要实现五种IO过程，在linux系统编程部分进行学习。 ## 0 I/O 模型 +### 背景介绍 +同步（synchronous） IO和异步（asynchronous） IO，阻塞（blocking） IO和非阻塞（non-blocking）IO分别是什么，到底有什么区别？这个问题其实不同的人给出的答案都可能不同，比如wiki，就认为asynchronous IO和non-blocking IO是一个东西。这其实是因为不同的人的知识背景不同，并且在讨论这个问题的时候上下文(context)也不相同。所以，为了更好的回答这个问题，我先限定一下本文的上下文。 + +本文讨论的背景是**Linux环境下的network IO**，也包括其他设备的IO过程。本文最重要的参考文献是Richard Stevens的“UNIX® Network Programming Volume 1, Third Edition: The Sockets Networking ”，6.2节“I/O Models ”，Stevens在这节中详细说明了各种IO的特点和区别，如果英文够好的话，推荐直接阅读。Stevens的文风是有名的深入浅出，所以不用担心看不懂。本文中的流程图也是截取自参考文献。 + +### 概述 + * 一个输入操作通常包括两个阶段： - - 等待数据准备好 - - 从内核向进程复制数据 + - 等待数据准备好(Waiting for the data to be ready) + - 从内核向进程复制数据(Copying the data from the kernel to the process) * 对于一个套接字上的输入操作，第一步通常涉及等待数据从网络中到达。当所等待数据到达时，它被复制到内核中的某个缓冲区。第二步就是把数据从内核缓冲区复制到应用进程缓冲区。 @@ -44,7 +54,19 @@ ssize_t recvfrom(int sockfd, void *buf, size_t len, int flags, struct sockaddr * ![](image/2021-03-30-22-02-42.png) +* 非阻塞的recvform系统调用调用之后，进程并没有被阻塞，内核马上返回给进程，如果数据还没准备好，此时会返回一个error。进程在返回之后，可以干点别的事情，然后再发起recvform系统调用。重复上面的过程，循环往复的进行recvform系统调用。这个过程通常被称之为轮询。轮询检查内核数据，直到数据准备好，再拷贝数据到进程，进行数据处理。需要注意，拷贝数据整个过程，进程仍然是属于阻塞的状态。 + +非阻塞IO存在的问题 + +1. 循环调用recv()将大幅度推高CPU占用率；这也是我们在代码中留一句time.sleep(2)的原因,否则在低配主机下极容易出现卡机情况 +2. 任务完成的响应延迟增大了，因为每过一段时间才去轮询一次read操作，而任务可能在两次轮询之间的任意时间完成。这会导致整体数据吞吐量的降低。 + + + + + ## 3 I/O 复用（事件驱动IO） +* IO multiplexing这个词可能有点陌生，但是如果我说select/epoll，大概就都能明白了。有些地方也称这种IO方式为事件驱动IO(event driven IO)。我们都知道，select/epoll的好处就在于单个process就可以同时处理多个网络连接的IO。它的基本原理就是select/epoll这个function会不断的轮询所负责的所有socket，当某个socket有数据到达了，就通知用户进程。 * I/O多路复用。I/O指的是I/O事件（包括I/O读写、I/O异常等事件）,多路指多个独立连接(或多个Channel)，复用指多个事件复用一个控制流（线程或进程）。串起来理解就是很多个独立I/O事件的处理依赖于一个控制流。 * 主要是select、poll、epoll；对一个IO端口，两次调用，两次返回，比阻塞IO并没有什么优越性；关键是能实现同时对**多个IO端口进行监听**； * I/O复用模型会用到select、poll、epoll函数，这几个函数也会使进程阻塞，但是和阻塞I/O所不同的的，这两个函数可以同时阻塞多个I/O操作。而且可以同时对多个读操作，多个写操作的I/O函数进行检测，直到有数据可读或可写时，才真正调用I/O操作函数。当某一个套接字可读时返回，之后再使用 recvfrom 把数据从内核复制到进程中。 @@ -54,6 +76,7 @@ ssize_t recvfrom(int sockfd, void *buf, size_t len, int flags, struct sockaddr * ![](image/2021-03-30-22-02-51.png) + ## 4 信号驱动 I/O * 应用进程使用 sigaction 系统调用，内核立即返回，应用进程可以继续执行，也就是说等待数据阶段应用进程是非阻塞的。内核在数据到达时向应用进程发送 SIGIO 信号，应用进程收到之后在信号处理程序中调用 recvfrom 将数据从内核复制到应用进程中。 diff --git a/操作系统/image/2021-09-06-15-30-55.png b/操作系统/image/2021-09-06-15-30-55.png new file mode 100644 index 0000000000000000000000000000000000000000..828cd73196836a621285f3b22e6dcb5ed7b56c1f GIT binary patch literal 48909 zcmX_IWk6NYvX*WnrMtVkLmDXwkq&8Tq>&V)ySuxQZs`u`?vPHYx48Gc_eVwHxX<2e zX1Ilg&=3ceAw2cqA$$mGqN_8eJBv5&5L$1C5m;@>AQKejub z@^GxcqCtej+^DJi$N(9MJnb8jeudo@J#h&`}(K< z{#BWz_}u^hYYqP3TM5kn{oVysC#oK;=ed`E`YLykFL#kXPjfy`!}`xT2W!uN*K#g0 zF%Wd+|LS*uJovl}cWgfvu|hw8ihg9}{LdADmv0lD ze7+QU!Q_ybe7;ERpoP}2e!H8npGxFT= za{98=Fy8q?#zys;?xJB|-;Fz`2bb^u6zQd>;FKJfE)Ttp1cO)LUsTHQ2}}GLJTS z-?ps9Gk&Vksy5OIfhFpJ@a2Y#qdiJps{PovzYrNvK?R;d7Ypp5Xw3IJ{BS}jy?i(& zuDj*sCdWvDlg6I6B80X}jrPVSI5U62-Kcf&#DVjRh0#MdvK z_1gufG#acITHP)kNG$pA)w4-N)b1-^{#9;#%6`=J{r}5D=lc40>J6<7ea7p}LgyNP zANo#~Pv7V18eN)DrPbA5_vbq%?Kb!80>xB}D9xFdlW!fl()6lPUj_!)5Jcq9#^EZW znY~`bw3ijY^AtIU`4X9LXiOm$cDI{qyKLhs9f*is#pV?L{iN1xT(8}euW+f^`DiR% zV9S`pJ*t6Ty@b?-N-l07mgemsMWkSi{PPZr4;f|{Yu`mmhL{UQw$|e`i`%=4?K%rLcmr-z+zKkSwWy{6WJ1^V!tCwrn zi~2%V@CcHx?D2GnHRxF1t@yzpIpy_INssQ1rk)Gl=AaO8)9#OzFNby)ZklBUZ8d9%Q9qAqkBK0oe>yqFyx zeI-N`dH8GV6WVr8YUEU*U4K|w+3r9ge(iF)`t%z|pU`oH4VytDEHe||@8Sx%hTwmz zp5(h0$=bKBBD>r>R>o%uQO|$^G?81$ftdl!&kfdi!k)Z8seJ~Zr3*<%2jEPH;#6cx zpGR#SUT_*@1nd5SGe2FRh%x(X&70xYdaYeI{0|o>r_aAo2d5XCovr*EEN4qR?=NT# z9)C3639^X!9Yc7)2A)v_+L7NJ-(ZxVf5QKj!fms7cfK`Osec;dpRZo2*Jiy?b3*@e z!Sdqwf$emeq>$*1PEV}%P)yi>Rg1^*C5%Ym=B>|NPhU7eB>!O%I8>S?AB%OG9H`_IBp03L z&^5ONM5em=ko2e7B+$ZJ%*Ki5h~woG7#G?+Zu?1mTCEq@HHkiK!`7Qm=0L(A>bPzM zDyDFfSqEj)BSlaAr<>kE1m9f*z!PWcBE+K)sSoj7?vD0kx*X4wOO@;g3(RO(kBbe&ZYYu?$?LTM}L^~+jSsCOH2|Sc80jj zC$gLlra)^Ur5@dT~oQf-ZNx}l*>&WL*6;h8Eb zP>y|0gpX);J&ehv3JeZXsniUH$ysgUAEw=_h-Akl*AqgK3vsYS{IYQi-`tU zzz2)HeS}SjBBSUd{I6^LZ3H$9Lr_kf#(l_>K2v$JF^G$K*LPcyiMG8@pgZplC$f0c z;+1qSQ0VSJ`_0g*L=*%Qpsfvv4RAg!bv!MBGeeVn3|dFbh(?7@@pq!Ww^~#Uf6705 z9GX%a_eaEkLBwHR2JhJA?;?@c)#MeWj2(REK#yA7t$U4I@Z$jbp9*n)hV?jam_m2lSkLL}D6h5!Lp^{Qr_fJMYfHuvgjS7LR-w-as;)j3fyc^3eShuSgCJ z7vdq8cUYW!+}C7TQ_~x!ANbGy{#xUwQ5YVKrYT^D_UnWZS0{y)>&Vl)Hr0z`h2aW1 zqm2E`NDtL?#9>5cz`k4Dx6hXR3at=&AyhtFcO}Q&dq}3*w%G*JQjw9&!H=hNe$4JstDc8U5WF~%TL zzUb!5#q&EK#xd(QD`$&S*MiwlEMH3JX5>IE>zFC*Ws-{v(274w!ogq|wibKgn})xC z$ad^817}M$TU;6ST3yG|_!u9ndQgoAK}|WYt@DBlkP6cg-(Hxw=jl=xGA=tKUFSV? zgZQ#L$YO9fQ~ZO(n|JR*@NeC;cAdE)qi_VH_w)VUKE+15z&8g@oNNp#xsMe(3zW{D z4}X8X*79$oUPj4xll7!LVpeGZg(&K|tCU0vX=-veJ~9{r2DHgNq3+{v?ne%S1fiWn z{~@Cz^Ip6TcDKoc`0w{oGgR&{Nx=o80e5LKk56+tIc4nDI4>O4*4zNkJ!gtb28At2 zQPJ$&F=$p`O?NzA41-2o9G0b2qfxGnP5-fT_M?NNp|o%9r9H%Uzw0kwzf9jZknBHN zsh|}z1Q#5iAMabfohGoJ)n1MXyoHK22K|oB>JK9)s<;;O>m34EMzRES;H16p5K#1B zLK9PiTN-AUc}8Sv*RxP%*aHxC0^=t?glsV|+YF05_x5um0U#tB+t%pGa5lVm$bmGz zd0aX5PWYjdqRe?5#qB+0?<(!NST6hF<=;`|udgdZY9nZ$ws(V# zLBDY0{FZAs6i4^kIcvv-OLNIop}tVmgjT>jsMtOFCDMMWd@qsLFAMJ|Zh1yi2~kK6 zk6{NIUZ zS5o)g2)9}T8YCFS2UGc>p$^TCueUclIICaXjaCzT2*xX0sy8yO*8SSDI3J8Wnsg`C zbbjXmm@(q76^R8h1RKvEpOVl>AjDV}ASpce(!XuTjQnuP3Gmgfw^YxSLdmVvsum|_ zD}5{SIMEx`5X^mjG-o?kkxs3vush1LMhL(QII#4Z6>0yuzsTI@tn;4{A&vX2sT2lSpEr47c56(8UU*hE+|_ zb&=Y4J`!fP5sP@YHXa0|mCBaT#AYjY4fZN}{5=ccP;|T4KBs((my)j#gWIB#g-8nl z)9}8w7MhE>EU8ghM$apVD9CN{9ZU~i%J)Jwnh|QP?BReW75SjQDS}I?9CquSjfpfe zQR^g-2z{|V7m6_6Ojj&AjdlQ|$BY8h=*ob<{ZF&q)9u?8z?ayx%AztMS!D4015a%Z zp4s2&#U!ZIqg^H6fWrY}%0|6*SDr=%Y=970%Zn{V2_ zb6*%9iRYQGd>|pyZM9Up|54*=9D^pR8UJQ5g)7|s8NP0}{T&R4M#NGmwenz|5C=la zoNIy9n6C-H*FUGhD{xvR%3Bj?Rk~@ z9db)E+xCiZn|zNWbl!^@VC=gP!kA+x!}g@Ex^Bw$b?hlKEM_v$7WmE)6u-q%cXcy2oKXUV#bR%4CVWiD2HIgOn{*T zj&X{%DQG>YTz+5Zf|;HkZgEueAa-Q1PqdxE^Z^8@*ldl}~6CPp^)VK11O5ObgA}zt1W1@_1R<{?9TTpKA&Q0fP{_YLynSr!N=V zgRTBv>;~6eY9wYqUouxM3f9Yu++wz}P81(xyGlxR}_ z#U9M{6(qg^gq+SmcR#Vb771M3-5 zgP%Iz8iMNv^k6VIQdk=dhk%MF+N6-$U!QI&0B!;oZ!ujEj)tIpUN|p39_;U;@2TKC zYN!p3_QK1d3q2Za-pwF@=60a@PF5D<4F8=}%sGURwr=I^@q&buBCA*DNb4aab!U=H zN#3WnsAjfn`DEECLWw9(K!sLP3qPd0Uykx*x*ry^%>ocZXk_P^QNil4EpuPs^>Bku z)mY+mF{`QX=DhXOmRX(#XdRfUC7P8d#3Ymc!}5IWvFovpd-6{?B#1)(b?086pqXN= zcMI14{PEu>6CFsSm{Ku!Es65MGT&_geXQxxtSQk=`V z1|#Blx^SGKvQ-tZZ6}G>>KMsTWS{FN_ORaQ4*a$1UMm0o@lgfeG+dCpf{Pu9#k(qfIUok2S zCI=Kv0919*hjf0S=esTD+@fX<$9e9_>>32P?;k?KM!GE^LRDN6_VMv>jJlD7#pCU@ zx1Es>r9$*F&@t)Ws`V^sy>UBFfemBbPr-+gU@cfTvu4;9DrQIf>|{Gp60-u|jwn+Y zJYG=QcC!fdt%8Ik0M#W>^hQRpVUcmGOa@~B!qygz`m#Ho$>Invpr^ZL&z0zW9`GQ& zyFR(y^caLf@ImlgvPmppMCOTR2d$n=@ha^^C*c1Sv6f*LdrD(#C#(=m0 zjyf&T>KESPe3@wSoN$d8agsrJwSp4%0y2I#t_0e++9a%*SVCUAbq+v#HbYtdRO*YY zfCeh|Mj#Pxg(5*zud5cGXR4Realnn8&uvJ>v1xbV(zI$s{|59SbEE$%mgzl zhEpggN5@N1*ylk0 zQjEX``9VZ2LQ|LAzhoroCw}1Fhy>ZkXid~q=t{C;TeN>~kmmAM%Q~TPF+K~4(#oD) zZp5WW`xWJcgKFKpg$ynYoHh;|d&leaBHQ zaE4MiW4{6%Li)YUo{(G6XE*>JSS7~EJ9mh967dr5(q!`j|ICzXa#r+6RLfy2)`aoj*SOI}-^s$hoyOl`#bu|QEyOD9lB_QYOGeY!8p74Z zAVlVchbt#7VbpJLm5wAnPdBd{Oy++A|5(oo-7*-)KZ(ruL7X1 zSY6Yn1Z$jI2&RYm!gh-*fQAqk5~%B@O27e;Z3y@h@@Kt5%wE!N50z%<4n{(>&3wBR z=Q%^|%GL|HYNOxBP1E+C8y#q-W|X0>eb~{4)=IwL<7xqtG>+ht8j7|R22&r%QOS69 z)(bI7?Tw@f1qBC@F2d8iDo2WmV55z>^>YPRIJ6?oC>Nof*` z9rSnx&9AGiO*9U>L715x1JBvesuDZBmtoIEFBVxtKbhO_jGPqPQEx{+m`sjHlGw3Y zL&8aaOUrlP>!qG?y{6o1JumrAi{Ngdj%Fe;f{ro#9o;1AyD@%XlEK|D3@wgI-*WTvXVt`RO!gQbdpBk3p_0?O%{+Ot`Q zs!~D3=Rir{H$u5JnJaxnK7@9(^sCY;6KZFC>b{?DT~90JsDPQo`;IISGz0A>haE6v zkPRg-ia+HUQUeA7VZ*4=c?clwjln+aHQ*O6yoB8Phu>19%iuu?;T!&-s)CT#XmvdY z64|S)iDQjiSP4!#XeR*h`J2_E>@oB=-hMm!gW^me=z12bB)rh!<5S?UXi>Og-%rG| z=6SgTp4kvx;l5vKvcFz8%nsvEJa{@oXSN<_gc?HY_*6T*jPCDS0x1|3a@6IWwI3ar zWw~YErowUIC7(g^RRdO8nCa~f9<;fmTi-a4>HdJ3C{66P4H$Xki+R!NXo4W>nc`uh zJMKy>y?3vdkw)>tlhcF*L6W0_fK{}v)9Can%#OJGaXQjh&pWcO?$}#|k<&w@xVX@P z4izS?Cschp-e@VRVglhsAwzNbJDnyoN$RkMK4_PmMWqdX_5hI8eqCt>rJIDD8y0LW zSKSBQft42e^y^nvTEz;ScKReurl%i)y$qMu;z%-wJzX2&5kMa#0kW~Nrq=t3R+$q$ zIau(G(qNQ#(OJ!g+L*^I0szPFadUhyUHA%TZ`XWYLRs4HKsQ_gLlS6=?MD?Y|E>-& zyFvwR;uu`R*WR={?v25_oKw`!n7qJIe{rs6)^%WHSI;F>TfwO&>m8u|ktE*RIA0ot z>^dvQ>mEJ$QT!|3I4v41qEK4_b^J})2!m{8^*k<5!0g_iq z&DrUM6xo?KgSc#QW>?VglHa)3*Bi~ku+wB&ssoX>%n-B1-l^<%H={xQ_>g7T6GW3{ zCk}|qLJtsq=|2{c9!==yNQO`=rmUOstT;_Cm}N4(4S_Y;Y>?tZ*|l~W@`n$)xWanz z){0Qa?GDN-#h~QnHLw<>3QLB#B)WZf9<|f*2Utnp0Q@Ik0*|~IP^T&dMgGH`VtErs z{5ZOe*4EB88I#p!X9hSxHt73+?kK>#8nk6TOL*$00&NnDL$KxgOGVV*}8dXi6 zmuFRr@$zuea{2-1WilAknKJYp6TW~;nS4nKn{gk!=gx3qB#Y<#^fKvj9lJ6`UeJ7d zw+L*LM}B;Pch%0U7GBXHsn7#f8h@;5BR~`U7XuX1;rQx#GSTX#8bFm6)lx#Dx(ob% z9tMaT7yi?Xbcmst6!_ibX8~i_B{BcX(9m{6|1hN7ezT z_o9HQCE~Rsb^m3*)%U7D0SnT}^i|oxEpI6>bDvs+lQ#a1`H{VwmX%{;s`m!v^W-E4 zVwU_af>GuP#06i8T9zO=W1$*}(U7S6*qb#8lzUn=To~m7%BL9j@IOgmdTi$AV>4(2 z$cDzbebXj6gRvR3Z)ABMLNIB(fyi!Nr?_Pv(HR$?HUoWX`CYVwi`ZQrW{Po7+abKm=lp8i&pQ8BM$;f$93+kw>yO^!=zh$V3ct(D z&^D&#!~ExcIjgo=On4d6t@J&j!3eMi$K4SNK-WNPp8gNlW98NxbT>6Sul-o8>KRbq zawH58eJr)2c8v+b-c)ZSv_z{SF&0KhwU3t@^cjn3#(TqF!Y+V4>IKaoZvF-U>N)m1 z3|IFGMgIo69dlKZwBJotM)9oBA9g_u4ei~8bZ#C&&D(|dbDM*tCN;n@828DNb+sj9{Dsv;Dj~cO@JMRiFpF9 zB<%a#WKC(D3Hl>7=Bw@D#JAyFH$d;~hMz6d@9+j5TyxfUNM+A$Alf(O(9y;LAQLDZ zg~*zr@R6O$g=&OOk}A(g^MjTOUNAF#y;L$oF%9P98;6fRm1%hzDYJQ4+vXF$rzuBS zbERW7$M=c1VA(Bm`|c}~g{f5h0yp{GC4Mf+N39fs^_gO| z9dvsE-PHL1;8#^c*1g0qffb-QheW;-4RBO|lF4XPuv0^T94D44xJ3*sJmm5q1nSI+ zr<$s^oSyB$SUd$FcL3uf?dzSD`OYP?XE%gn%p#Ssij;Yj=@w1QfEXzEtzYr&07F5+ zBHPVw{o417V;l;mrp4bMz*66IV`;mZ0t%S{eD+Ud!(8Q^Ea2ENz|NL`o}1nW-D6f8 z03TQ-ZNF5Ja?>0lv`D*`xp(gO{By8h=z!5fk2-2R8sLcVTwmu;XGG(R|VF+6p zFHHIgjMZG0#L1oU;!Jr>tcoIKWeG7-sO7z6Dqfmyd?B(d5J%FUTA z_%tn9O2HLae2{UP1@lEJ6w%QfLrRXExrx494yHR24l_8= z&k;ld?N2vLz%7|6Q4c*0%}Gl0K+1$U>6BP;pmI`)YicHDXkleACs$%3c;~TV9sgU4 z*o2hgqU`Dn4(}2FpiH-=!Q$-5$>xSEwEYPGUNjAx!4~L~a3r2+m_8>>dlgN)_#5h4 zO2ejX)&-sug-V%)8SWrl;dve^IN$ZETu~JUw!ct^ZPTx?e=a9X zPi85ur(dbvCiRJoqO6ZYFPtE7e$O0IcP2@}Q#iU9`3x@xnv-siI53H3zm(dEUS|7U z{;HiNFB1toPt;cg61VN>-nt-d)KgCiN6ZK%)j|0mP9@_qQw3!#QBB|oO;!Rb!0nxU z-CkwVw$Dax#A(0T>;3c(0AyXQMC#t**e@|Nn`jb2$Zq#Li54E91=p9HF8w;aI+(U? z+Id$NO5Y9KpT?PIkkn`gs;p7$z$<`F<{+kyl1-xwckV`@c@;VzGh+Z&jO9CRy)5XMeaf%FnrCAgA+qPHgYWM##bES zyy_;N!C};j;x?Mk+X`lhF!)KPq=l)TWe|fphdN=*8x~vDquLWAw$LjmOP-iW2bTJTNWBPYC%)Xuj%~6bYAQ9PeNTO8S3^He9xv z(FIUo`yxqv`tZzNMYc%63wVs1^L`R}JHkx3=rG&Oi>xyZ;onN{DX#^!-2iXPLA(X- z;IVO}(C$IZNK-GT9*e~VsaMlpcGJC`BTpxg#4c)vnXM*s0x6Te4*W-mn*3xZ*#@J` z2Je_C@OKMn%5)h8fi<{BMP*^7uR)lzrn+B+_tG4v#Mh?lWoQsPIbqz#&}6A% z13p^j|FIHul!!G0)vLsT(#+t0HF#A_WeopGSq=0g1nCN+;$6Jt5a|VlR=kh91suYg8hsx|enJVbG=&rE4LJ|ufS^b#$4)gOfGFG&{+63l zHKY)g7s5%(jS0FWR0$W{&k1v{S!gkB_mNX*sU zSqIurAbLU&Au?+uA5FRZ!JvjOfZ`lUiuw%DUjo|Z#;TNBcO&xPOVx(^0`vw$2Ern@ zMOtYMU|ubW6FlvHNwmua*wKA<5|*FwN3fqO7fRo}KKYV@{*)-KZ>3CT59|ua` z)5RitOsv@b!yoV@EY)j(f!At`4QF{gkcrP$?Cgbhm*}OHDvZU5ccCr|dL@;+s26)lpVy}Ra=go3*P=}${Z#5Aq(@&g2J<(=o|cs5yhf(((t8X27#BGx%-_z zLItJI_5S2mj68F7l#`7HFxItuO$!AKyP>iEf-I5C2+-IM0YIC{miVC$qg$KYbdVAd zULkw4kDnK)8U?jE%%&PANyP@={%1HCuQV%Dj^`k`GCedfJT3)KL(E{_mdFBC$*dSA5Koe-qfbtb0w}B`V;Bjj~>u?u47dyj~yz*59o0BnA@?f42 z(=FGH`eIy*PfaU{{Qc_w8(R~1ZUkipjJzZ9XTY?nAs1bc=2G}R#UgV{j4ZbOG=e@3 zGwxoE8)a=wrzSX=4L+PrYQWD;g&pO)IcIqh*Gfi~Ka)ckwY088SeJUYDH*mS>GvM} zO~2Xaf$1=q7#<0tbb->~hidkg3%SVbgD$mXehyL{z`E{82yXsxM(KKtCA1zAJXoW0 z;*McJniyer-b8>@+4JYP`=mSz_V;b^g3YF6W+aKN2Qq%NYl_wo`7RSZo$i@NVIhIH#vf&xBNi}m zqnB4rHz?)5U6kUIDmSY>{txU%1;K&ID$WLm;s2mXR9Ru#`d);3tj<0*l(KQ} z9elWEDZ(FfEVuNqNt-Osk??XqTumN4cc<4>1_;0Q=bz^R%HOgLf{9#aT@T+|E#@Ka zoi}?!&e3tc&Hx2bYA1!)22g&wYAN;KO6l^DHo&bSA#>wU8ki&j-^v8P&oQiz61zzsRmPd^L~*YnJJ`2 zZ*W8wU^biVZiQzczPQeBmSzu2WiM;6`maW*Urd-VfIjz<2vVaNuuRYcZ-L_r9s$6@ z96feDg4Z)@_l^0vzrY zIB5bzmfX_8rWZ%gk~fyjy6v^^gLGvehH*HNz`N1z@!kTEWCBJfRqsI5T9u){0?RAS zeE{I43+C0FHd54^&UqgSi%O^k8w)gL)Nd~6oA_T_ zwP8pqLF|TgdPg`?_}_jSpQ9^DVk?L{-4nS*A5Ktu9XUW@ExBD;6sCWE~Y+o^IwJPR#uBhpt{Z^L|LmNE)A7R^m0o$0B9m%hpZY z>dR4dnwVYz6Sv7v239LL<-0?xJBC3&-wW5d#{hYgm;x0ZX=TuXBQBk^U!pOj1A=>( zp(w;hj8MNY)7b0$fWqi(Nij8eAQ&hX^Sv9v6W~g~-_nM0liv!TDM>u!)oaCHVTi1^ zQ)DBl)K*+At>No65nO!YZc)|0VLptP0o$AWYQu{O{;5U`aE@v1%Fo&Lwoe$B!BJfFjMk zQDZu+oh44nNQr3h*4WWV=h`xdORd&+T95RNwvdf=oP@A{)JHu0f!)5%y2{y~HA9 zJKQCye0;j z7y1?!nMo0TciGKn?wL_+?1@W$Ju0nk83EBDLorS>F5OF;wuMZKqcN!#+V+|4Qh)f- zM;DDtkgWrRE#NT)J@r4Fk~ThpMm))wNV5Uu)(n^@Rny5zOAEd*&`LqtX`aBgl}t!L z7+qRnq0ye=U7*V}$P+h`NdyHeoAftpJe5ZevqlagCDlh}-_9>MB`Zy*Q+bAXT);Z{f` zZq2(@ru4=Sy!*UX<5vc7BmF;4>?Ol-6s`&1p)uq8^m7 z%k-`sw2phAwDPW%G@(5-i9MHt{%hR0(-+FE;(>m2lV((Vi-2gz7x&hnhyJ@jDAYlT z_4{{|T>TV5{N6AgGy+4t-9^+l=j|Q4mqL@krspuh} z9z1jsCZ_ldbH}5@hUiqfh|lwDR2693uMs&w8ZqcK8tn`#gYjcAbxf=#;bLEu;+J%UKX?u2jSrm};nilq+rt{`oLlM4HRCA7|J zF2ao!qwK(O+VMvK9=yqAmbZ1RDx+`U#!db?i)q2g$_8>l6uuc_Mx$ zATEME!pNRNSU9pM)bzaoG~3q%d`{_-H7I&!Afo}(C&wPB09Yry+5vy=OqjpQf%GUZ zaE*JVRu))|#~Neiibn9R*L&zY_bc=YqW=pSLzRTLBCJlWb-PG-U^T zFz5Y=F6a-!_uD`j7jVj@(0lcE0DpU58n*INIp_goPk&$v-Yz>9raAo7?1T;IU>`i? zeey7vCNxjuB2ZqpAA*ZGoyX=yr`rRMQ@h25sd8r03W(-u18#fiI2|qXc+Lk?JH41n zlnPBy>_5@{n{5{BUj5E7)V+c~Su+lgu6ALcmm1?@al*uWU)_ntBgvXJT|fY^E!;LTU&Xl zn2+M{{ir>`d8x&b;@`t$vPIwM#u|ar-wz{1ll2Wsj%WI;(JfW`5vba)qD}u_uqtxs zr?IN?-aytg*1-ZlwKSyKN?kzX+ zAs%;-y%dNE!XfZQA9>LCq~a2ns)^b+d|mkmCYKZL*kH@<_`ov8FWd^~z*`2hnEhImxs`%sfqBF_cQmyLE z{mERQnI(WyTXlhB&-lHByz_rxA8Jx^;c?$FUWV0M|66Tf#Q+^!qf+k)3_qP_rvng{_lr8G z7-Sxo|48n5d#V08fG`3;SKtG!%LrSJU*>}|)I_St1l^f8bH$)EWHNxe>t-k1PfCsEizR;e@p_xPx3>pK%E#PuY3-XO4 zzSX)e3#Py(@TfA`l7sfN$f`*OKH%NKYK{HD zg6Z^o&-P`G%Ft8Z%YjIef1k0>vk$!|w82+UGngGoGeeJwp*rAF% zo`E8BIh;B0Lt^GVDywB~-p>K<>i`cTSmRp;5A1ck{{kNAtNu+S?0E;0p#UaRljrk( z9^;wU={xHH2?km2R$-x4GGB|NH+gG5^_{#hgY!bk0=3~oSqAwJHL6DRzQ_=8CF@vm z5}!Mt^Jcam&HCmU_C6$;%)oJ~;9LNJFxP@uyDU`c|+thO)Eo z`}au+!<$aZ9_9Q(+J1V4r2vU9`n~k7QDMi$iJC-wSS)v7C0BE>8H~!-0&qD1q-r(- zxdI%?8)2`1uldTL9$AGI7zhzS~L}@v_5k zk!78o7Oyp_0Yn3C&nt)^;&+O21wmFX5Z7>hN2dxs82U2F?Q*P@EM+b}$^CV?h!jCq z5OR(z;$s)A;Ph#SHgDGVUJJemC>p}32qO_={?l?_83VWdt@v2Gx};VZy@2=dZ4AZ4n1TPDsD$l8!)UVWKG*jH(NKlKe{ z>Y7x6RSZmCJ&?$q{vh!8YFg=ZzB<=K1w^yJTFhkm=U-M8O$A`S)g8PqcOt<%W)H=0NSbaxEUP*us*rKs}Zg>vkOWF*0a*%`>>Two~yX!5A| zoaXxz*+sL%EFH@r${EMtVCVVA6zkyzL^(mM1Y%)|2MRL7y2lY%Bj;@N277w1`!>L? zulW4y!#7ALe0+hcX28f*a;0p*4LVtFiUg~*AiC@M@^mY5x9-o|J;lFI$XjuMcnfmf#kmWzQfQtansYu;}o zLiY{YUh4;jR2`zD=x2~l2gu;U@njEBA?|bVUy)i`KON23QYp%t@Hh-C-i~#`JABnD zUc0=q%1%YVc&zo4hct8Y$1ow^a$n(TD2i_0rilUDv*O2~?Cm5K{i6Lz0Is4@GY5&R zF!e^e4G^k)-NJx;IA1v0qi_gQPb#cRu6UXykI4_PxhzNGapw*k2it&PL%4Qie!lH4 zKrxs>$SvlBCD1Pb;V$A3Ut9;$j`%SAIs`~cZ2-Q0(FygomxQrvUYUUl?^Rd2Qf4?c zFaUdW`k+uXi$x?Gz(fQ+sT>SzjT}XHcFuGuPP38Ky1;*L0dWD^RT?k_K&LHG%3S?r zy9UBaCg3{RmKepNIFvrog{27uAh4}R-HY);mb$1md!Ru6s(g4PMcyNvomtH z&Pw5Ry57w~p4^FQ!U)hc<4U5T_vU=SK zB3n-)?U$*}VD<%9x|!APX#Y*LreOlx4BftpUTz}eCpDbq*$ z1EauX-yk#NV6jZn#jCjwRqGKjptNK)rwSu0zze*Y&Ijs}(`ipv-oM6R`w*#Sb3Pxm3oEoTfurS?W}y8J1ICsuPl= zPZvVi!4VMUc&=2Z7RDg1T3!G|P+;_0thGM@b3H8>Vaew@n?`hXERsaT8!UK&3nl&j zSC&KuyN?^Jx&r{4nxxlI1b!4C&nu7)(rt1uB|HL%t$V)8M!*fMv|=;sG=lUspiq>j zgkbAh1Z=^0PENe0=m1fjOaYWjc@~`1yH+OeE?m??#_8C+A^N0uS?(FYuba}9Vtvsf zRmKp&OHGETj)I0M55U%8s{8U!iVVu*s8|>apNbQ@^(1h@z!!uq#f5C!uKxg6!3$(u z0!D}IZj{L!O(3|(8_L<{3%zPxx+nh`XXUC@sbnc&PdhJHJ3}id@Cgnd>0$B~*#(F7 zm%L4WdFC|1(GB%?k}x6!8`6S%3m{}|W)Nr*ax4`=Rp8yp!cg_b%$Dr%lM6ifT#EGx z3e0~^g`Qcj#C4Fu$cd7b-AA(u)o|rnJ;?6GTnKsq`Sx3&Gy=hvLWgH1v=IWt=V%B- z48HiP-|li135>;R*k0H(AY9N_x@@b#{m1Gj_x2;1u*};tA^3o#n)aa#uzkn35rBz| zh=($S7(K@!iUYFcykOnJ8tT>$EP&uk#Bi;;AC-d+kmY*52{u;PB`hsEJ%AiY_4^74 z7{E(HCRNH11fwZ~)vz0Unlt6;pXgZClMdAAp!~6vTmp|tcgbUcSKrZnFYyoWj1dX50 z*8V{j2_!0Zft=+4@@KDMtcxySK6DE8Mr=h0L>Lzag3o-gGbgK(l=MEX?gvTX*9AJV ze6_+4>{q}$+WSD2|NaE|z5{_z)o$-}1;qQ*OJ+ck=G_3z{ssVP1$jcx0UPlBUfa>q zuPhu0Oodi&gF(Wm9rPZs*g1(49;_~Zcm%T{PGZq-2LmZ}8)PIE?*NSE1^A#^6g}fh zY_{4OXu2mGKS(tA%*F_v&gP9H>!&~x@<8TwjnGIgY@)$RyrT?tKJ|S*PV7ImFWSCI z$@A~vQ|nZ?)w-CA6+-q%DT`~2ClfvUVkF{elB0f9xgh-_m|1j-pJL9SS6c8{GDo;c z)^dWtN8_@DdrK^6GJy7w^#Gpe=Ngm2Wtt02gPb=hI{kQrE=f1D;UDxVJbl2*~ z_8CR&XPvtR9)M#w9u+lDXu;d*(9>%VBMF_d%r*E+EPx8Xzu4-eJ(5K^VZSnoszp%F z3AzKorS#LqZ2ITJ?){o}aNgq)-4*grad-{uO%~k#v^#I7(YR+d++}p?f3&c8K-mFbupc+b0ZDaYIFn%ngrE> z%H5}hpK*I7pKn}#cEabD-4bTS;<9d(9pdPn%d`tQ9otbfX6{h`9cgoLOiT~rd1amI zIP0LD?1GMmpS>H}i+u+1YKsGCWw9SAbd5(9wrKqO={&Ro`q7Gs)x4c|S+5KCf zFo5u88YYBfDtl*9_k|Y6t3%jq)V{DjC*bSs_k=~%5Tagyd;w5=)blw|81Ty&`D1|_ z1Zqi-T+`9%!q6lA29ttYBnA)v)~Il7MsHxfIBAgEj`A4^c5v}bZ!K`G=5`diteMpE zA{8#15I(@$OKJrd6+QeY$v2;|&%6^EgEiwL1`d(q*&B-c7@^CxXu(2tCw`UvsYnhF_d zq==Kj%mIUKDt2LXmMYDoO=d=2U~vF%rzlL6yE>b1p3A^Iiyzs z`DAEH7ex@#FkdskyabzC^^8|ObzEISxyg{{FXw=sx$TFi*z&nwB} ziM%_9_=@hwxxAK2wY~$EADi1}9w_J1IcPO;2C%rKb8#4nF@(|B;07WH+o}wBGJg`< z^|c?ZAm83ks($?6C)r>p4luf}IyqkhkkiAOph$;UPG~qw=c)xM)73E-RduVzQSnrY6s*;*&&s(JeU;aq%XjUX*Pyz?XRP-O?>|vA zQA2jh^7lUhR;4W-gz}u~wyK|yb7Oite;-{WMyvf7II>2q?;oZ&p{$IM#{jg|0WiJA zvsi`YOLEU(ZUTwE>k@Q?T4&g*Bq&pjYIJB0@qc!VH!pQNgmC7DE+8G$3qai;);BYX zT18OSyWhHuf930qEnrI56<-$te^-?Nj0Py9B+mdyM+_=Jw%7vIMbIw(rskU~(eQ1v zub-5~w%q0!CnCt%za+GM3i#;NG063$^X%qJ)vSEq7PSvT6eJ5PvdZ^ZoI{})mydN| z>8~@?UmTZ_3ya}=oK`OGY{IRDxmk2_irc==kkOL~ANllnz;2=~;@c_xCIdjU=W@4# zzGdXfzRi&dS_SRl(^}_0#L8{oD$z+NUVl^%35E_n611{M zpML=A1cNgbcL-n(wPfmJkdJl$S_fF$m963jAlhXy`m(<$?zH*u8}Zr!%D0JN)5v#A zi6F?Z#NKaUh_-Y}YrY5}`Gy}K?#zj%?yj?3lNRz~(|Umu6-}UF3W9G~`x8ql2D_z& z?m1@8(;LO#Bo@mN$Fhd*77n$w87d#tx|#ZAn~+VI8622U|z{)-67!K?3uY*Mg$(0g3mTLe}`j@AM+K+|T zjzG#U#OA55{wuA-8^6HlW2u@u#~geBcdJ6eiQmnN|1QCqo4V}BJmko1du0RZ9)ICC z#@GqF6b~SdY>eHm4tqB2SNEQ0cxLV!~Ha~PCR5@?unp8)_Ei&8pv z!RS~;*M)Px2cQYxR21P2MRZi#`F+VX>@9#xur(b&94HdjFux{w&KKjq_!%R_LmwR} z>~25QK1cEBzgvRuHPBl3LE~Nh3E)(eq7^2<7f$XK0|RlPjQ)v5sit}KPy_(UxGn1L zkFqne9OtGUKKm||NxiU7&=H&BS_VW0xq(2w##P=bV1!{Xph(998WISi6hLOP*HKeZ z(21k97r;rv&XbJ)iFuy_PC8-C4)3H@Q7Z^gaM8Ti+g$W<)a5_q7I@Mk#!~W38Sfsy zN;}Gr_DTrrs95PEoFltrJTsV+gy@9-I=6_fb^+D{-m)`pG{R#lnJg~S{F1I$^0oS% zi0~-|rXQJh*3$cK@pM$Wf{)yT%y18rikzxq*L_wH>#xC=2fxp206@DB>V|4bVe*98 zbmBAu)WBCekUDg@*tiT->xMyRNz)B=H(q=%hu}!h;eV)&dVV-Ug119Bhg!{Yv;l`3rVd?B784F>c3Hc9Lwo z$f?oH2b_*ScgK`>y8wDZO)?w|V`)`)7_MR;gq(Qj6r&-KF4h2YDR;(Simw>GVIV!jobp-^t>RB1iAs zgCr9j^eFhH#O;_gm?RKR`HwuZ=Z&AmFl2~dTGJrd5qb1SQ7~LCs31v z1+rqE>9F^31^yJ?h3g{}OGYE%Q+6$q_?6+`xw`Zrr|JK+pC<(#%_x4A{u4mcFxP=1 zc*0m;c2UkDvqYpZ0wl9V#YJ()s6FuU$Ujh=_yT80v&@>Z(`!FyOWTzma&L|-f}o37 zu;X1vAotg$oO`_Dt~2g`aZ|1#Xi4EvX2fk=K~sZ!D4yhnt+?Fvsj>DYG-Z9s9g5t< z-Jf`A7_%-1HELN%OWv-MJi$sZHj&ak#2?i@LP6-bC}`dN=P8Mx7wBk;n9vMmq%HlV%+>{ycVV)SleD$thpbNBm#we*4CEyv;TN#(3Gchr!@ zM<1FK{`-kSSY!FGtj2GhsE#!a?W(k#6&xn#{DJnv7_GRyjDvy_$1IEuQq&Ft0>qCg z;6bs|INo6}8#VY;C zM{6|lew;D|EI&v?7i32h?&03H)!3tb|A>xGy+Eu^(vL=HL}}T=Drf#BFa8VCF%`B~ z3}2f@*b`OGOxj_CS%%#`U2;u3i*=uC+ifZmK}ct0O+|+tVnn2k{}EkzM*nuP+Ofa9 z@e3g<(YOy;fvJ+{$g%v*bv3Q>h$Z1OT~wMtyji4%@mmhH#` zijuiDAF)e4b&+CqYO?dPa;sFVj^^;bQ%HW_gqxfQ?c~ag$#2DR??Jn3x+w}9Z#Dy= zWGSYtD)XS|vNgFqp!oBQbg`?-ooWj%OoI`nz$*cw!AEu$LoCPHh4^O`-`nhYYof%A zRZHWb{!>WI<-O+${`0!x<7+UfWfYX^;O#ig7C>=)AdG*YM~*CM|qkV6I=B~MTD%)Y_dS1qxBlwa8+^r<9_PygKISIbjh)&a9~*y6*F9lCkOT~6;PovhtK zM$Ff_xeGY_Vx!3lgf6~zJiR`7#~06uB~s z2Ix3P%#|v4gw}u<=5qDln^D~50qa%h;8UETXG9fAoE$@{G`HRgX=ih@RdtdFhXeXy zUq)x#?rO;O^p0?Dtd5+B3VPDfzbqfjfJq@NixvxOv+6Gl>dGT`5I#2|2FHE4ez6v} zrt+O#98`Qlt2Z|w7Ya7~=EmE!z4)z;-LD3}Le@@9fjCIikXRDq-vsI94J0$+xR{Xq zyH`H92fa}QD`0Y$FpoxnxoT%V?O$P8tQgkq+dUWJb}BAWxiL4Fc@AYx4~cVbDBdn2 zWl7(A{O{JEG5NpqqU0^_ItW*yVj{TWK)LxJc(`A-)fKX1VGm%)A|GO@??mP&*}$%s zD2$;;Ms#Sq>DTEa#<88ekLOa!x;2+tDkF%FWb$`cq8aydzL5Pjmup4;I6;3I_oo-V zXnn1^q|S`jC1A`-3jCd4qG3Wwzv@vaAGb(NQci|9R;TH4I_w#>i zX7GJ)_Q$WJ<>pvm~BBVe|1me z)<*#zp>Ee|%f?^_uEyUDpz1a&N6fYc#ev!VutnCKTF7w>4F2OUirIfZH?B>c2mEy! zz^kK%5$v^N@Jfb)Bp=5A&%Q%6-;;cN!s6;dK;6@_^S<;S0GcD%XUkZFMeI6xjMXU& z@~01@dIB@B_EkXhqBV6q9X5gnS=VZ4eB-&A8%;5Dth%f z*h{w?&d}%SWda4BNdVNoE)LN={pzgNeP_$6)c=7HkBMpbaDO5eE z1#G1iqEFs zGX9UYDF9dw@dK)U0iZZ?5w;0@147daBxgNJqU`}zTE6EV5kEE4zKpUckv~ybW_6`- z0d+T|Vcj)tplDNR$%^=Q`5BcGr!`zXu3BwVb$bhgC1}=1I{3YXK!U`6t7uPu#mZs+v3P;q@IrrIoXA*v~LpBWx*?JWAxyq zdv@zlnF8VIAg}ItyR2?TOJVH9pPyeNKvLZNhVT_g9nM2g^roZA^v&1l(sry|GUCjZ zn+inhaz6zx9Wse^yox&;nZgmW(!9qzP+K-fh&UfH!GP8b<592m9_E9fom-YZ|8Gdl z2&tMEVU|VQ_&VLKU_fG@_jCxQJWahL+YNGdk-Y3bL$lV?+zcotbWd&qNAcVYn6iE8jut4xi_Qdt_j1J1>iWW-Qzmff7Q@1NOAMt2#7vDFj4!q$y6YS z${0?j6~$lA`UI$h`UaG8zKMMcU_*2ASB#<`VDhF70QFLY1=Evpf!}{lS3+ei?0X3h zQAQIMRsnF`m{X~tGPf0f^*=#CcjLA0oLM(DqI{^Tfe4Gd$Mf}8MclRDwB%@0V1Fdq z@f(%uhuJbx-I*fdA28j+pIUW3egkksMK^^HNR)kl(0-(N#4-fjds@%TaLDorOJ$otDd6-|^83MkagCL0xhUj$<4Nd|aLBZqx`E?%&Bc%WteGEJ8V6oz+ zc=sBY-gxIxRx^S%=AtlTW@K{P@P1t|w1bwQsJ9~9Rv31k%{T==G^Exk_RIhD&)yyQ zOhC$xo5OMmQ^zpQ&Uq?V%)p12Cr*5mL4A)b21YFp-{*`86O-(qup=5JRIJx#hLY9Z zi}I4bFnD5kRc_S7wh9pTcn=5Nm!G!z;}&SF4ht=wivr(0|@^4Dd|exce6lJpfdc{=q8wz8-eOHgi6N;-v|b|!jHDq^v-xT1v8d#I_1FBt z-;T2Ve7DaZ-@WwvdG7_8= zsc=$D-gsfPD8X94ylQ(|0+k^94gIr9^bS!d-A~o!^hj}*hszs|{RK^F)>WlmaNEIG z$&$7`c_jJLRzR~NP02y0|bG{$h9Q=tBB*WqL|=}{|918qSk*gGZQL@%7=JE zqfd{`bqz>5rWphhT%E3wZfJk7DU3q?n4cBjGolfaW)Phmk!*t#oP&5J|h)kXSi zw(8K0ma&r13`UtDOx%wX?&AN6{0>nhWj`OU9Y)jDW$^=e8QKHn;IT3e8XADuw}WkofNu>0FfWcUYQ&Q!8#HVEM2~&RZLcacJxMJb z+({*SsGP_R{u5O*w3R8~H3;)8bMZeG`N}y&Zm%3pavEzP*PviqKxGA8Az%HI^&uj~#yGaX*&` z_q3nTqnu5@ErP_qtUo->R`oKBAIy9I8rO^cJ@y!&D#*UR@N?=*2K@_|`A6D2#jyGB zcKubgh&QxPvS+dx4-vY%v^lQfsOXoZvI2B-^5?7DBCchg2BgobIAa$rS!4lboVM%_ z&w-@AXE-r9SY1Zjj*s!9tLUcYEIRkNi3nl_Pda_KpuR0b9o!I6+KEarklV>~CI1h& zSPYKD zlt$kAFh;spWGekq z#M;aKuUG_Qs#N|T>Id~pIHWN4q-T!vI_`+V38=bne=Z34FZOBkIW8CNBuK4e#pQ(Vog06-$COS9M zS=xt{Y6UgrT~YipA*%ry-4g8e?ET-gA9@ka?@21GTi!-htuW; z=n8;EeR4ngF@T5R32t9j+uu7cfqc!s*OzVhOhG^4WQNjwYH1f%e9Am&lYNh#L!AZJl&OTi z3A%hy?r+|ICXVS-EnXiX7x6`0rlYZ&NpVz?Z^Vj;S}}>qaD!EegoXSm^)K!e?>2nmurgd$>+o3>==O7}2zaP94C|dMTmK-!G$;Y=U69Ed&+g#@=~){b%O%91VJ& zn?uR**FE#vcZ7;ae3$P(*{|SQB767h?hxzU`muH5SW;2SBX-6Qc>-@e=4);iayZ~R zI}Cxqp{v^>IjM9Gq3+FN}L~m}Nxv}o4f9kh?>&`2$ zkL)>{M%(!e9HtsP7fdJ>^&DOB?*RO04t>XsuKQf#I=e5IZT!$cWEQ~?u4`m)YY`>z z10!QRwh;QmiCA2614c^suC56Pu-bHAvd;kd$|ul)Y| z%qI~yGcTY8$=JEF%{@V!EL_F;WndjTzhuJ#LhBmT`J>O<*7fp`! z=P^PGCGG9YwPM3Uys_t$dw=A*=>8<8{Wt&FVu4&r4^#kT zm6qcl$WZ63nkd(P#F=ZEpt$l8@-GmEnj=TVbG4)>Mz0oS-RQwO@ssl9f4-^*kHZD+mDC(bMyY zZ{!!Nvk>(n2unDhOQwP!3l?zulz{&3L+U)%w}Aja0J!CrV&;--B4xJp2vT6WXbQ^r zX=LNWhZ-d;Cuqt&ZYVp2bQbK9nq@H#yhkIz>^MM7*2VTft_J4)B!(yWR45T1P~mUU zP?5A?N-1vp87JUL3*gg5Vufptqk7jRUXtoL^XuxkzqHTqAF@5KJlZ&ft0Y}}6-lUQ zSaBbR1Y%Onb4HrJKzu=6lJKu)?0K*iWMiW!@Ox<-`P6I#$HeD}$zH7w0;~ldaUZ>$ zy9eZDx-UnQ<{niWl*F$WoTnPjgK1x!7*=D~YnhTG1=vjLPbW$iI36^(j5#N(~M`qC&yJ3xuH3tj?W1L$BP-rs{Ae0e5Yxt3v{a}SqQ=U_rDb)Te+GLr-6&8XJ66AP zGIR6>JSJ7t{pyUW6YHD7b^@cB^_%d%>+*SpXd;Bl4F}_nkLBu#!}n35DrIWiWBZ~x zNt&mF;{?^=cJ*vSe)Y}4h&vfl4X>C2*!4!~dOzS4B|8gq(A7FmcZk1zPgqN0 z)(M>>EyKHFhv@rR#RD(#}POPum6VY8a;{4JANXM9)X}TwlKNUqCRkZc* zPQLkwvi#iEny%&pjM*(c{^>Fm?_?#hAl)qW7hxMZvJSMnTlw{qH!Jg~(cWc!EXs-- zqRU#H1HsZ)w=(M4Y>cm!DYrJVq(1yy@yQm8Mayf!;-=PP3#^XfO3XRu+&Nt1^nMob zzGTP|+&<&DAwM18^J-b!7oi0-y1~<^6b93xitzE>SO2Mup1zZt88X9)O%}|2w%k4> zH-nFV!JS6z$UVUGd4tzIOSX#|Eqj*|hF~-b+7ui(uwrXJ zt#GXJvbQ$_`Es@Xr8GpJL!g0UM`5`Dm0}uppaD}_DmsLHRrA5bN^3R-eBl2e7!aR#9$mVa~_xt*mpwFF| zGM?U8U=27;U!p)@(tt8_iwBZaP~Ze$3^DIe1Mau`N{e7NHkgEHAak21K?0hzyi67n z+zu(Mcc=d5H7SM4K!BL>_{z+IFNJ=H_uF4ilVe38RWI*7m*vg4s8l}W?$D?(&GD@l z@^UXujinb6?@VviobwFPEWkDu%L(ssWSnQA32{ByzF97s`f1HS{nD~N*y*0T0ak`t z)f{bh{bFoXy?MNa)9qA=#Zs$c>tF?LBixp$V7u`kO3=XspqjAw4L{dYs+ z?z|S`7Iz_{xc~BQOa&OJ*C^?bqv@I@P9jM<>?qdXWpOzSwQzpb@O(hR_>gB0iC!%E=InS zCXTayO9an%ZJ@DsX%GEM#F=c~jIk1tOpE`v(5TfiQTh1o%nJQ&I}f4Ti92AH!Zt?T zu7Y7?OPnbI6wZ)ah&d0!w80<=v0vRD6$5`8NWU$*R;y1|%L~PF>d2>=VBoVZ?$v!U z80OD$Bq}eu!FDiS$4c&Um@R2^R38q=Pu@ImXh3HAELpmYAMx#-S`0!q7V|5+hmdP4 zhC^ljgg`ifrsma`$d;n>Fkx7YhgSTv{y9p_le~nDV|VhY+G$~vOCHNLvby_5RNX5+ zU1Z_{u4IcE;|m)x<{aeN2Z3hgI zyzeL(GVG@l*WIr?mi6Q^7Z-jSjZ)bu6&!+4=O>Ca$g6(K*3bCz6Tr|l19wipuOL~b z&Kv=IT*!f_2V>tIpWlIdBklaWb_%JYq>ZqjEq4iLaxDwxQ48x9M^>RWMQ@g!n>0-QQk z^93p~GhOOApv)*?9>fQ?nj=^ySMm%{Jgj6edbta~!R@BAsX^UO(>*6h9^HODPP?C} zjO&2cl;W#RS6G|?65I@~Q1CxpfmM@1Ca~oaTimg)Vil&(kslWS!Rn|iS9JX_+Da+} zE{K5%TMmRbeC>ylWU>E4jtIU&QRR$wb$wxNO11R~evU`TRA=VB@A?>ar2m0T!*{Fi zu=QQw4#;zPY2z`1K@vs$G+G; zg_%6NrRm`P9u&P2Ab@9^JuiI)e(FY(`i$#a$r=sMVFu{su?BBxzcJeegefDaW!)W@ z&UNXw0RnE+34#{oijj?Ad`@6chxe>XS3*oS*P#vNAzqX=dF6+RimY{`k5_R6h!|eC|A}iJUI9`O3 zWa=*FVHdkuNmOdUTTX-L7Dy6|%lEgNra2479KS4Nz=af zWxr3!1)`*GjSATq@Yb_9t{jVU*DFeAS%expgoWf|{Lj@`&RWw$27hOKF~!J77|5?; zqmMibZtM&x!x5{}nB<7KkBCvc1iMe%SehFmJ5!S4G)&A=e|2LKk>-_j{pCWoKe2bp zyF*N|X&2OQ4#h^0(9mGL-5;V>SRX0930jJV1Hr&n)9tU%$_J9 z?dUb80dv=bGG8Z(CmLEI=ro+~;tGx8TdO)ne}(uCv+oC33T}L4+jnwNi>07edF(i(* zT8@*FPV5moo?O56|1I)k2_Z$=024P2b(-mFLlYA5NI61#F`I;x>;X&Y)J#V8bCkf3 z-6fybfUP;3^1 z#mX)~w~>8`(9E-NethstG$rlX{If@stj?|-2QNo-gz$+8?UAK|Uif!c=>&G$jC=~j z48n96*S+K!mGP=R|3-@nEZ}$`Mky=}p?FdOhhyCfWtW)Df12Rz(Bt9flfv`YICj&M zHec*3cysu1jhRapkrqowpY|j?&AZ`@j5P2f}w4^!cg9u zgavcCZSL_WHu3Bkf@b|D#>Uf%N2wD5WVp9gJ-V3|9jlQRO@e>Y-ruc}bLAm^#y(H< zM?y;%|17N`FRzyNp8Cl2-kxb6x@otgbLwxD{MN{1^5*axaL#1SR+8KprEi)}S4#dY zIIMpM4CIo|-xQD%kpLTx{hNc?j3%wT$5uC`a*X@Ws7 z2vp#niEki6MMJ(2>x(lTw8G^Z&ixLR+co}h_WbCS|G>9 z`e4Mouf)mmTtPx1$Qk{T`7rI?|ExM0Z-YT8v`*;oLd0-~Z#1y3Vzk@-p>f}D1Xgfs z+HLPn#r%B1rmzU=1};iHKe+t1hEpYin7Bdx2~PXPN-t?3u<(-)6{k>FhQO0ZJxHgt zXmbwq(Sy)q)mIcuVX^`I@Mmw*{hf{NF=;aH=VP|`1XH@|pqPE=&SxpgJDdL@85{yr! z_Ny{4&c1&eQB^x4VK@_i8t)06t++F6oGteU3%LYL8X(O;-w?l>6{dmnI_74`R~6M) zp!gwB6I)QF>>^DT!Lym8_GtOfD1M%q_aYFHy<+`JEx0HVBVK@B=2@>6{dc+R0*X4* z%IDJgX~fuNh{)GpZ0nrv?JCIe>U4o>_fb;;Y-QaiTCX5>28*n|Cm#;IDEtL4q0$wh z2h7+f;%A^5*X-q9x=iY)vlnu95|W?0_{R|C*UoW{vLmac!L>P{s`FI^5o^4w8)}?( zw*v(-09tg#3jsqo(R7d?_DL{l(t8<-Uad!gras`Em+u4q9G$!nHTr>8y2{2io(cVM z0}43}1nBZaDNaqP8n=dmGY=)Bl}H~};4CmRqsRdjlb#_Lkop#b;IA(DQ&{DE%bom+ z*@v#<{y+jMc&RfmG?(!LKfMu%Ae#(3JS#r4piQ_e}N0HqhkrI~BS@I8+flez`7 zray!p3vhgZt5>P)-Wu23_iLQACiAe<1Fp`GyB_kxRwaU4GFQ4XW&p+v&s>XeR_cj2 z=>=UF!p@~kH3%A>8%d^SnOr`6?+HOG#i7@Y0a5$w$M+cHXGea4D)*+^(T8NDEND)A z-)u_5tqWb0?V3Qt@fVes%*K4!*nw_DLHe8Vc3>QC&2CHv#P za4@#1VUZKO&>;DOL@ox5Fr7@&@n{x%=4ml{>YyDzRzO8zML~nS>870Rzx^>4btgFK zUpbvT!8}%##i{lN7*NM@`5D+Ml5J4IW%OG_xoCFgq$9Q}$x}Xj5k?Zl@Q8lOxVU|b znP5v$6X$^I4p*R%?R#jEpN z6RP<4=U*OCG={tV!!CLO3NnROS=E0KkKwS5t{Pjc5L)$BLG=wv;zP){2n<@7GKbnQ zyKbcKW-1@HH)Aw08t*><+8i|~XycejllE!W+d*Hs4-`&eNzw$E3{pxpE6_=QqRwT* zMgan#FB9oQDe!IimOF(2p0d1;q=_J@8Efcr zphfy~VLiEz4_NmFB-fczq?EGLM|!%cF3%t!y+a_d*)h1aLqV6gmfb-PXU5h$v=>w- zyNHTe2g5;hSvWQbo>>N>VTSTnr@8EqZP<<7mzz_rzeokFVfg~pr7!oVs_z@P96)|y ziVyc^2aX7$3ou1ReU}#+jF={voJUQWmu;e;Y+woP?(phH-l${k^;qT$OX&JCr=##- zLtnsDGm^dqTd27y+WBgk8-4eg?`E#q26hWDso-@hh1kbIPE3cD(y%McA+r|GmYfF$ zKjqO55ixBW=?2A~S*E+G1dOj#6{)_)IU_~5jQ_yZ$~w@!ds=}6Xb1e6X~?f8f~>xy zipveA+A{dXS<^bXNV5A@rCFR5*IrU|1}uvXvW3 zW}Y|pW~8i3n=AN|t5}r9!F~$7nA8BM%1Xf2kue3YnmB}C!0PxhfYiDn-uUdaA(uR% zEufRj$xXsl^qfJ{Qzx`PGf&a`r-N$#>+^ZYP_HonCAe;P&w9dLSjK!#QL*ZJYR{5l zPhdavo73a~E_0%qbiY=eAJM=PSF&pc62q8i(jDp!R%SeV|JJV{#fGY7iSE!RX$)E- z7e?OvU#)_?x|nYps~&l3%4Jht04NFEgwq<;v`6J3|sw5 z^n1BK{r<0!Q&O=Ooujo69!}FSx0%`?0TG8WVwTaUvmkTcybq&hqLI%o8rz8YIFkzz z2;I@fX8@}r2u^3}^mBrgI1B(h`nw(iiTRMz-3}%HkMW!SOtCG*ha%B`WGw)nn^}16 z>67>bOs~%l9j`Lie&MpgRK|D3CwLa^=l`0Bmj6|$uSJQwKb0}3iL#I*MG?AYpZ!q0 z3a=KwdZw@%enBspGqqzoB7-{mgM?gVU;}1b9EpIeFo(m5btHX*&JTh?q7Zv?R3!#e zFzWdP1~P`f=bnRD^s`PA80JlElm?ryyqkzxw2=@U1y?tIqR_65%n0BVjOp>dvqciwC%DaNtl znAraO#|G$BPy!j$a{U^k!W%NkP}ysDybQ|o?l@FSUy1ULdZG|QV1@ncUeVe(N431+ zTaA2>(Hz%c;kB(NnlS?qU~$wvTlh*+HGlol(3aOwnb-H*e2uca1}i*~jBJDn>O_p_ z6~gmzRv&uZQ?{Q@NSK@)BlCmNkz0lj(N7I3USzV6)QfXJHfK3Qa*Iw>6r!`C{|4G< z9%`$WJ-h2Us4VL=CE#L-j19lPl{RP&>+CJMd8nmaSi+g8p%sM`X!f$>u29~?O#R3t z#a_F=*j3AB6oR{-YeLne7@d7_gaw>owWF3HM&@C5@?SF8K2fzU}Vhr60-YbWjZ*mUE-N^$~A{vlt)YqVF zgUrcekn4japcZ_?XOJA;E)pc-T?>N*T|Dx6)?$~EMriAX*Q<3gn5q1|;5i0`_!Cpx z{Qe9lBfGS?pA=|Qck4g~IYH7Ki{}%iLkGTvGf@AJ3nKfW=&Mk5+-;o8xf9MnNH28? zFxPLDJGe2867NucZTNe~pCUK?Rvs{>_=JICzU!cq-nX04=k%&o^D1|kUvrt6TUBx; zLpb2$B~Y|TzEFes%nuY4i3v63HvC%tud<2m<&%A+(j{Va-=yyS zU|m~HqRaX?S(r%kr{T=Haka7#n*J|AQ~i$WMK=HrzJs3`RKL?O%yIKd$;8Zwf$)hm z06dwyZ$M%0(8Ysk{*Evgf>WMj;ShI2T9m}AA&?<%xLc$)QXxbj#TCgs#Qb55hdD+% zl8%H)oBR{`sUE)#Ki&ZF^k9Dc1piCIrT5j|hrj625`N%j1mbNkk*9eNVAh>|1VuG@ z#E&+($AjyQx;+KqP^Oy!;0iN|IoODU2V-%0PbrfNPtH-tVh&`lQPtq^{Ge;IkL9ZGhAS`7h9T8B>4x(!EP-evQ=f`{Ooh;wUs!Udxut z!V~d)!CJ=tm~9W+PjSW%1P|7_+H623`FPdmwp}+A?7^>rJa42U_aUNb59IBC;9@}+ z_k$aEhQjUyeu;t!`u^`9d)JbcaXzKz^vkHQU$%Y3;Rt_F!V{Unr^+v%D8{rnGXX@X z<;pvqWcjfMekMZbBM=#6pA#&8AN`i`oA({?9sq`;mbd0X`U#qEAbvWGT1y8bc&6ZX z`yBDj5)6I0>yr=NRsRaemrtYgWvtKLGh(8&f$3lLC+pkb;!y&(?JD%(#ROA3ViD7 z!d`|)IKwO&w8ks9DThD!3gInePDOxevm{iD-6Hno-*3)7 zctAiEX81@6jc~qz^NAhOozZ3NI#T=?S1N(4u3Wvkyie^xNnyq{nyV1qp9i@yR~eG88gka>80P92J|FZQ+4KlUT zDLj$v+1(^0cFH5deu0ifPx+W~B&pHTlUsw81-SIHE11aKGMZaBD^t6LC*VF5L9sU> z%(E_zoQ%O=qdg4Jo!MsYnefU(nBOX%4a4{s2KU66E+sFT*Ya+I3>fd%?!}plSwO!}Qgfg6f^ZrT_pa%>d!3 zYW`#vRFQcH0L*>{k&MM-0ENi&i;_aR@MPdbIK(htS-KR%Nh9&qBA)S#=SMAXiQbNP z-so{EZIvkn6-g$o+@Qg@4_|hA{R2n}gRcQ;)r~NLQlPw%xJ9S#yr}^8r z-U&wHP{owzUiKnIK#NR_Y#Ln7_pj@0f!KK09_2Jb&fQ#1fhK6#b+c7h<2Qd10;LGdj@B<1{GkMleP9AGnrk%YFIV7J%3eG2PtYMbep+JEIgx-YaW_E11)%XD zxMynsQtmx*x{WkLG0L4|rXl$6actkqIIZ z?ci|Bu*<=R>a%4GFq6@)$Em?3SX%6G>!Lpn!}lHlFM5SX_w9Jo(HS(tXKZbu*e?X! z7dTIeJ_-j*6kNboTad6%y2Vb%8XEKdaLsP)06Vys7Vr<2_y(K4 zZVUGQ)lu7?Gd&9m*G*-Ur@0~GG%A?8YYaZ zFr&`q5>B03q%Rqe75r9;$C}jL8$wTSp>xm)6LN7?@d63(VGSfGc)lB2Lx8mW7G;`B zKR8EJNxV9nqCI_qh+Kd4?k)t%pb!)|9kMoKy`pkAmiKRAVI-qY7^H$$D2A@ei?|L~ zFT_8x*MPc(G6}(o4FQ>O<oPAi>_7zdblq--@Ddt|E zdh;>5tAFtCHq?Vj<(R$`bn0K>cu}nvsG`ZjR=h@fqvX4(_R$O0T76!^NHe2$>xE#2 zW!D_$eS(P33^q3#b?;L;x7KAp0WrKh%QL2q)>{3-GFP3Spvn zaMQ?F?&~raSZa&{NGlt`t^x!4^pVooi)WB0V~ApGv+%ruCx#TG+m&Q$(WMEJO8G*j zN-4E_OcZ-{Wq2yYztTC9*%rp6qDxx+l@`IbJ)`3P9i&&JFDZE~7&|&6GKgcb-MPT4 z9Rbfio2p?Q2+U!JB&nHvz*8JWx0G}7snBL_8xU4bmIM1;L1fkvJWpsX;yJu{-I5v; zu&DBzHy2qys~+Z%!GqnYmeO?6KMwr@A7sNgmM6&#iC$@@1AFlzp2XpNk zE7`=Gi-Sfu9<4zh=NO9{r4czt@g{pp_6Kyh|7+>Gr$o_~8@+^+j`ea<=W^By-Oy*FVrYOM(U z{R3uns$w0RWOEhs|HyFSSZ!i?dOb(U1g|R*Q7RB)o&ihnZr+DPvlyex#S(=>f;D*T zx6E0klhG6Zp+%O=0b*E^e`f*cF1U!$$g~bHLe88r%@b+Rr-H=Hw+k&2S#fZ!b=29S ziIW5@1js%Yh`H0XZYTU488(^eA)D>rK9j?uE|K)v0`_h=CTPD6D>-t1MO_8~0E{*r zC-{*h^7yW@2kCLKpe<(0xkH%UhghgWNBf_VC^AqdAil=#1&j%+EQc!d!^IKzj6b=h z4VNFw;NF>$b3_@G+VQtUJ`P&TY=y0@6nMRaop0O#2jp33>LB%0dKGOr(q?_{MF?3{ zz9QP=18oe9bzcEw0|rx!3(lI-I2WLE=xKZcortYsTSWTo7Cw#I3h=fqh;n-imcA0k zKm&_O1zH$FZb4=lxZ6O0X9kTSXsgxuTy0N?xjKtQN!ibt*EQ`^O7 zQ-s}ECS8w8Z-G10;+3PJ1b7v}C6RnX-kKD0RtN$mbutA>+dLsKyN^qvplVNOs(2~; zEPsNC+e9#tqoLIKI_FD5n3s{}qNB|k42Zd&&P=G3&nB7QSAxcYHsejkO=|LoNa*xP zGJI!Ju$Hu-`|QQ(wGfD`1~fTz3kOc|h2NIe2s8>kQc0YEx8?Ic6@eg90n3ygK*OLD z^Z|E-6k6d*a5H3x$QT=L*YyVx2x7$sf~&7Jr`M+?6kwKK|5(b_K0f_S8Rm+;YeTHw z=zEtpUQE~T!d!P-kXKko92`h@Ogc_a`i-tK=jl1QRDl^u8OXApcn#57v!bK(QQm3f z()o{Wl;w!6O>qz1mV=NexTYSQZ}V+y-Br_s(wU-d?gpqc5=Ws#N}t(VTu5H!5a zy6Oi(4ed3?{keLatQ{_R7<)XQc^pT2Ii-661%;#(!*$ zR7N+uP%K`6WDdOIvj7p+z?y8(E%6o(1vJ0nV z2`-GzLmb~qX9vdDv2X&pB#H~-uGUhY*r7^B$@6Q zKbhJ?usmqaZL484^L*WlZBTvsfr~bGN#C^egi{+=7vv7q2mU;@#zHx+z zNeedkQq0-d@ZI3d+L7ER7Dp?Pyk4h+islTJ*`Hp*a}|`OyE$WRPXbuNpbDwSU1OZS zLb3EsnIT9 zYunVGeFNgjOOE+hI9uF=s;h?a#OUS+^tJJ`$o3hApuJl#zK(g|OOq-L8e|YnDUXmn z#Ehg&Wlt`3!`3jmx?UK#ClEbItT69`6$-O};6LbGc_acrXobn49`z^RsYCy(YY{*D zsS_@t*P)(FvKXIWZ#|)+2eVJ=8~^>GAsJP7U);Gnpq}o(9+@uIz6l#nlI8Ljn#Z}fg}Sq z7sF5X)=AdR|NKsR!l8VNg(k2b^ImWt*&j!E@0}fhjd<1CBI|;sMm|E-oezl!!A|Y> z1v5jyvn&e=ui9ZI-<};<(8}Q%{DoA_)D7#+$^OA^&42E)Dk=Mry7>)sl}DqvR(`c6 zHM4+SW`6^}fC7k3Ih>ej=m28#uWR>qA3?=n4P#JIFByD0pDpm;1>jomA3yNsn*RY_ zGaH#`6+Px$dZnJX$THDKmtltC$oR0{do zi%YBv*(~v+H-1Z!;z+6tgjD+hNQGPwojFCmpiW&+)nC*}X5E~e@8xeR>Vsnc2?j;* z<3$4k21+53E=U~MaGDV<;#Y%hGvZpayYM`(sA6f2=zHZAd)yy+23&$)m~Kw%u@h7dj_>u6LvxDz#`9ZA5bxZhpV??+Nc8xyt--@aO+7MbBUvs|f1f z4!yn4SDE>}!Yrc0gD~x4vZF{OeKVXOQhEJK0Wr5=IK;5rt~Jr*x1|x8W?c=?;sGl_ z#+P8*Uy6Io;bg%6E*>?TiKphIB2PeEWz>A2iavaAEuG}~~^ zqQfNUw3xGEbzsK~e6A$H)j((=%SKflz#Yz8D&`FOswOC^18tdT#=V+PZRiN5C~qWy zAOzN~GD&QcCm=gSgQMF)jF^>#jYr3j`sw^HO2DQbLm^*#2%w{s_>?Y56RrG7+_RFl zpFklzK^UST%en-z3m>@~N4AzNibsxBv3;9I_00VHQb&cHfAMJG2cNc8v&mdtVAV{p z_R=^Ta?g=zNgdz{3d|I*!<^nFny2qW8QRII%?N2&<4{U%K*?{TNQ#1%tkpmxs@o+2 z8=u^s0vkJYLNiC0j1N;aJEBV61jWG;(=e>3(}hPdV;LfH6&v?il-{E1a{LS{w1t48 zBehJ9Q=fEN)}xA?NS1&ruZhi`(n=;l)fsbR$WOkn(##8=M7VgAhLJ08DP74*Q26C9 zf(RJ6cQpE81ENcAIF~2WXh7p7`YcXio4jFXzia#;kZH?TZs!^ zxMs||kNTqVVF=2x{Q#N<`rN}ml$z8fEUJm~aBV~HE1>|jx~tOfpJ)RnQ*Q{kjmbja z8i9rTiwtKfRsg(3K<)hsQ2hHvwy&I09es7tu2AOyEbQaJF9uIg*ctUv&uN7bpSH^r zsm6g@I@Tj!2!o6Nues*1Ssg8hSxVO@rnl1=HQH*#b?B>MJrdsZbK5jN!Se;qEupK~ z`0=fq*PS0amXH#TV86qQ6r!l&^>ro2xGyl;6E30)#-gA;+o5Znv|OiHM1zS6+c5d} zrAFoW)!~EW^d^C}hK5y59R^Zt6LKnA69PU%64z3~YR~Dnr4-eNBDtES;RgiS26$@aVsg1j zC_G~g{E67(Y*sJz926eX_aS9bIeQKp<%x2-q0 z7etm_`amOcuBe7`aFBEy;s|7UYvVYI7v(Ks(iU!Z6rIr6|1ZQ&$uyj3CngTbBED

nVs1EL8jTRLu&UdTk&-)DrUt0Q6|BM3k<%OdY=5*r?*$~ z5%eh#*Mn%Q(HM&9&z=x{{S7N!cnQV26Zmea7|fcz=$Vbj2ux6PQz62nDOoHtdOIhL znN6EXcG5Yjz{YKsUN?_qWj9yE>4$uh2kM>KB>)ZiG_-Ce>G$JjG}AVbgb@Vm@XpB% z|1?n`%*pW?IP!o}*QSx3P`_g-4!VfCx<0Qi*_!XU_tG#+vC^9Qt_#H+F}M32)MyE|%!qv<4g(MlmJEo4`58FB z^9N3c0e*b_=AG#y762DD z_%_(V?=c%zEP%l_0hSD&w`mTAMfd|9$1x#ED@oW?&jd&@E#mS1?&fXIwL}r!CAK9m zaQDZyMH!YAOOO1*+}d;{i%DO*Wu2p$NwPdJ)2S3pG?d9IFsI+cJGG$2Hyln!$E?QL zPliXzdQZh+PuY}6(MTYtat;5`xRf-AQb~uMIOwXg0qvJ!b_a^k@QL$)0S=y}TS>`U z@fDGbnr0QD!L)Y^LiJJhN@-3C6;6A%4dNH8pYc=&RpN8u%c5|EMy=zmF@ABi|KXMJ zcD-(CN>P`~toTsr{$Ll<3&RP9!Q&Yih5}jf7)dDs{o)1edE|k{1kK^)>S)sG-E6V>Ra3+&eWIGlNYrVvxX7bJ^8|K)j{%?qUFL6~gR?k8 zo*0I>QKc=w%>A*%A3@>`UlVxpok7QBd_7{2VY&s}E%;zwfw}14%jr zFtRYs!nOdBBEwP`P#0d;8R;^_$Vd$=EIjS&b+XHDWC@2cYQiQahX?1!Gb0agv2ExG$l8*8eB z9aQeN3=!rg0ZP4CnWASgHM0wMUh*>xc?ygRm1 z*N7XwA$Ti^%ERksJmLA@z1j#@bU`u)FAH@0`dEM0j7e4Eo~?_tk)7bX#sCeIN1u3>(EPnwO3+8A{0#EBD*<|LM?<$PM^Vn9=@Bl1*T zb|ipUT`*CSD}Aw?(8&x>^W2D-_RH#1NAm7m(^K|KM`ti@C1<#gH!+OdIGp8)!|IHF z^Pp`Jf_rtX1<+e~MuAXU5cCKx7CY6AcWGfTMh~SjB0gBp2l~Yxd;-a0h!=x)e-G?( zVF`sfz#BUC1CH##9{f-k^dNtEysoo}a*YfC{VB@9Fpo+@ zk{xKRwqQ-@CGb5(j5|@#gC`D5okm{(C%`=xj)u?~qByX-qc8oV8A%-|-(lE>tj`$bbPP1^nHPZi)rXr$Ygq#e@c}x%3*FZ$Vy%!FU_`EX)6mVwbH-9r_&$@rs89na)EWO=`pTI9(Gt3-%e0M89~5Q zt94-^gh&^!+2%o{FSNe*Ze~NLOm8OK52I8!D4)!&pu6xKg*Dip5E1{{m@B}%sR#+c0te1bk3A;K*sPA{ zPs5ioD}m;jN-GSzCx|N8w zq3d{rOyL0WUEXi=(+7j{j@4chaNI5#IW{udiJ-kpNIz zHiZ{;w72r{90^$fd>s!%bQ(SsqddJ8gv;V^ufa;zte_UeswdwT^~o8*MD(2hIjmx| zA2robvXfXy6Mx8k0Ji)+1{N9GN%Y$1?j&McK|Qxtu+ie4Pr+QoN2<@<3T+MnMi;=D zd>pWz0E^Z=2)q;uJwF9{dEhO*5_51mf4@g?06Y9ww%wI3P?)~IH-}gGx0d{^?a;xn z%hPxAfIuE0?ia89)}TtIu6Y0v$AO~frwBa1VbR!0h@^oeDT?9~;JJev&L|Wg>cX$Cc7broS5denmns>OC;Syzijl3lJ6)(f*OV~Ajo}k9%k_&X# zU6;mf;}{X|Q@a{@`Y(N8PXP)RacpW-Nz78n#h>k9)E)^#v{x&Xq7X<_N+)`-e(ipy zn~my&&VyL#w5lZ1+1O~I0ETZMk8qxT8iC(tXSmKW2^bni||fy7ZR1~(c_2itH_0WL!117 zm1LyHn5DOQlL>ML-Du7glemWc#8)0QejXz}``Nlw+`t>LaxW zR^wb`)7w)|1gv!P1#O{8Kv;YimOut{(A4XbxOEhVyIBN>pC0o`8AHu2p^@ZT*jb@c z9YeuLikizHd=g~#9cSSAeF}5}VcPpfcQR)ooy6_M3$Oq)9Poljs zUWV!Xvm4C6lKC3CeCS5KF;Zhq01uz_G&$g7iZ&R+{mOD>%5?Wrq(5CYYdSS)^wsP- zAaV8$!n0My@fW_=ZjgYpnLs+O4ftDr1z5WtKyh0OY~lV* z%Qx(tFSMyy<=~2fDY387axY?18cTQ)5?Y;Xi7E?6X|EgoRe}x8Cy1RcL90~b@z#NjVus^2# z2V`uyYzcH0ZP)ti_h0?95_Yj2=1o!Z#(socB%2}uhv!IXUP6E=0kiPBkhr)KaIW>>hOs~~Itt!4fX^yr)`2>fU4)4&a@& z0`=hTO1`-=3FY^0rpFIQhuX`F{mWF7!6{8pu|_@sKk9whQb5i;zq@w=r61(U6ofkg zaAhEbo@{&XFd0xKdDjFuc_Z33nFV`b#786Sn2cQ+&Ry6K>?9>-IYW&f7LnLtH_WeP zIo_9vnJKl?IfE6H@(iNt1^S*B!$stW2G?KTi`RrCbMmL56{L|o-uSgjFdzrOc~1ka zpe90MVuDU^a&W7F|G(qqw_%t5a3w*rnkK)iC@j1+3HXr;4A7Ey8tn!HBDR6O8i4fY zE^}&sVAp>T1Y}R&?@I@8Q2c&-DUxHLgOQ|WU|6idMD7I>NaZG#FZivjJ?=n)fxs4P z;F8hHb&2&ai2?wshe6%MvUP<~!W~f@fj@ag zBEa*brb|rIM5UL&h)8|}{T+R3CLq>z)?H_BFTTCinGyltOs?dV{LR-;F;ymHzVPUJ z=NqnHvJVL8Wj%q$T?V-G&_SX++1NE|O^iHTveP9Y#hP>u+Pcwff>^O?+1?*|P<&w{ zRHKf)FqiHwKcV^4O)>rY5dQaCxcrHdS2}(+1Q#cN@L|UpIyRTX+ES;n4wenK^&e82ix_I*H1mbLSwB89sRse8D?LvHbmWVrAlxF?wM6+F8()UA9&sJ z4Knh(OJHW@X9|PBO)UkDA1YKRuPqpI&I_4SH%!|IakA>P6jQ$ag>O0#S|}vww)Ca> ze^N(d0)nr;8TTxa3NS7}uRYJ(QK=?(3Zyd7e+WWaMGQdBpTWBrIy5itw;&sIVBQ_5 zKwq~s5}JmN1gQJ9*KbmMu==7ewaZ3Z2VxE+y8{0F3MzZTk7X*EFcWS8-3ttp`NeH) zAnQ|Hzu-HlWtM;gN5*YvfP{G!DBB5-0?&Uu7*vl?SdsnrMp=@^o%g&2s3hwYx7!^8 z;5Ru}>!qS;7^1WY>ZAs1k3Lc0(QPC|Sb-!88b!Yhh1z^7ao^829c^T5KqvfN538$8 z^{0wlj9J#8bA*+<*QM?^F< z18?&W^wo-E0V#^WTD4gVjgW+HG@GT|C+Z@idG2BfV=3x8$|8GY?et=b@ooa@e+K3?effd){*V)g| zQ~$;VK%CRqDUI2*4cu%BLpD_Dr3t}szSY*7DAm%wKhW>W`PQ2NOX-dIIs^?Eh z?ZS|%ZsW3tB|*#t1gL$RJHsEK9GFv&JpnmJ6uL7|m_GG+jJ8s5jiEI&tkm2orKn84^H82Iqj80O`?`vY?iW1CeV_BSOl7dIDeRF2tIJ3no zSy!?%PzIugDSKd!Icxpq1$0y!M=G zLF0hZZn&c$Z}c{#&}?9d<ekWQV>?W>-D)BcHfyLNm^9^WDkh(bC^RV_ zCBveV!GF3vImC-m{|pwz*l($ZDP+Vui&&kMYNuaVD=;%-`*<1%9AMWNrG9LuiPWf> zXVf;Pt=~+@@OP-PESZi`n%eQe%VELS3{lN=P9&jseqUa8dy3gyB#VgM`ku$;k!hta zZ#B`s=H2HES@@7{wytfCna58D{@mjY11a@{FBx}X0m*}S6kiR&2d)bvV4e!xB;UAM!WACjrSU5qBprh*#oI7vcHC1$+$U;y_~bPafTh(A#)arSG`VyXnev zAU%7(KE*5^;Vp6vl5WC!OQ+xJPoz|Bl)74NbHZvP3H!IowRwC(dwZD#AvrCjPll3$ zx5(6xY-_g&W+v+w417F2Wu~=~>+!4-Zw$sJSh?JcNO}`l2;BM>D5F!;XXtDJ8`kq%W+hiDy9Uzv^Sy{DbRGpM6J3ER7dAm?U6>s@;DqlyLlL$ zA4#{ekyCE=B_JrJ5TaqNhZ{~w=ah!w(h>*%br@D)<=h0vt9k*NJ&{1Y5*f*?JPYRa z7~wV7(>Z+3;vPBZ*}Rg!Ru*}{lud^5opXkv5C9y z-Bz!<`0EPkS-K=|89>Mg4;&Pm)}<;5u){@_!5%5$k=cFKtDOUJHcXa)1Q@u7ZvsMx@pcY6}cZI2hkw0y@xiGl=c#hIPrKhOCF#$tAFNPDvcSDYR#Kf-Sw2b7XMBlGI zni+_+q`{7%R6XS@)D-l*wK|3(=t*xzfbteD?1)F{$ zDXB9=y7sxdrL{FTJ3C!}FzC@EPEO9Nsr1qv(B(=r5w=f-GAc+?8Zz!zd{WaOE8-Sg)k;k|}) zu=7x;st;cRfwrGYOpT-uOB--K)YK316@Eq3DoR;tO6W{22 zvSYjJWOy}5pAvUNsGmV0e^+5wb7WwXR6-?DeJBh1=__ zEhS1N!GZw_tlO%g6K*UM2?5vdVu#O;XJ7dmb;s~Vov4`DP_EAA6s6k*(Ztl0I@WMG zgRqU7T$PXN!AxmYZEbDU)zu9R>CIz73`B;1$AUIL z4IoDmKH~ATX!+=Q&hAkVRzwfDSrio(YH4dv2(!YbrM9|S@Ha(RR!PYP{7Y);HQ|nj z+mnn$^(`$&GiB<}44hqEM|XYKeIEW1Fh@RL7$5TEc&L)tUr?VsbC_|4hbSm5{U|t? z;h?a%*tgx1f`Y=4oQ2%+(8Jz-6PjX(XqF8=^;A~whd(?G?j<0pUtC;xN}O-JBRSWn zScDIWm$AOIVTi?(km%>{zYk>$m?WpPddItSoUcE2f#p2*9=z}=DJl5{bGyYYZGPWw z8yg#|s;b)BqHKR}Pi<$@e*3`$V8+kC{{XW(43ODjoXzb_hM$a5`D#mVrQ90XYr{;s z^v1t_@f#x}qx*vgoIdb?X_kP%4DEU79$GT)Xnj8;BLn6_INDZio)}%idX93tXfzrK zGkCnby!~s#YdiIB$YW3{XKST3?;9ach@RShURw)8S(ug83V?|IKb9SG8xWzx=lv&* z%xzUw+fa7kfU&c))4sRkv!`>p_qwAa2%4RO_jV(cZr26=_W(+l9QWu7;ZQp=5Pq{O z%FE01xOqoVL?n7dm4&Qty8ht6%km~u8sMRmU%XMC@pPOQL!C7wTo#wn1n_}a1{>pE ztloWQumj(tsHiAl*?kM%-rlZmZt%%L+Zzao_T=Ow_`5&#h2P!3K-vc11)p^%4gJ{J z15-!A3bGAPiQ#w0!PyHFpU2B?WCxPff2oC@2J3Uk&8U@=$8!>EGC!c`x?q`4aD!+T#I96N^^2>P%SfT z-E?wvY#Lm`%P%Y}eEfKDc4_cqX2t)W=@Rjy9lG_HP}-AQ$_^$)*m2{0A}T3XtnT)7 z&sp;i4-cE?cIS5rkza5>(OvC-2M2YbBeKQzzbDvNUh$8Rye>nnB;Di575Gn6RZpc( I$tLpu07=60lK=n! literal 0 HcmV?d00001 diff --git a/操作系统/image/2021-09-06-15-31-02.png b/操作系统/image/2021-09-06-15-31-02.png new file mode 100644 index 0000000000000000000000000000000000000000..311bde9559078d210d25aad7b889359dd993da45 GIT binary patch literal 50666 zcmXtgWmJ`2*DfI`T~ZI--QCjN-Hn7uNq2X5H`3kR-ICHRARq!F@h#pn&JT1mWXNXS zYtDJqBtltH3Ko16#@d97QD8DhXQ}@x_uIg$G5@-!p2 zM`c(fkpY8(8X?e}0uhmnOa?(#bto8bDiQ%Y5|K&>Qj7#Yl1p!lzduhQ?`o=bC4W* z3HljF&)=i0IN=xfl^O%7Si-eNtJ&|>daqB%!mo$Se(gJf?=v}VQ|Yy88fW-^qWV1q z@kP4BXhLdyL6-TZI4PVhBByL`+*c0)>yAP!)aCp981nu@uE$XZ=clEssSNhx&%VF2 zM5G}G$9Al&b;|ilD5tv@5>wR-G15km9#b$s$UfIj{l7Fdnyu_d||DLwi(xi z^7^))_i{_^u13=PcvktN^XqIjuk*{(-$>h7Lf&uc6;A6mWj0=i2-!S%9Gd0I1(ws9 z%ilDDRH2vDwP4bM{hn9+6#n-Hz5iXbzW(%kuI=`^FFdN$tQKn**=y~6t|mOJ_J#1z z8vt*ZMmgVnJaIS@I|$B>!SCfMwBXMi#y3S98Ry!jV#k zNp(xY#4FW$tzY&fQ&6ATZnB+cRJJBk8R^pwr?c+wdtbXFLTOzSGb6r~MKh0h-!5Si zD*huTUo1Hcd*2%*N&-nI68?_J<;6eNKa`WHa1;5h)yts^oHQtKZ?=Y1AptAOcqs-2DosW`xnvhG^ zFjlpV6NkP&S$gQQ*7u*&+gzrATLnedi>4uKnP5usUrxnS;Z244uin?5y)vd;ugmtD z2sjkN@Ty`oIy0u^1*3MSL#*M(Ss{LK>q2wf)@}N?qD6Uy>$+MZu2oj`_2M~00bi@}Mld4IlE zR0Xwld%9@C*25AsOQn#RUQ;Dz=Z}dUG<9yI>}L;!8Znjps_2k=@nH^FPW`_8Fd!^XqjcgJ;W?3dN#sNh`&4*fqxefg{HgDRPfV z+y?Z1_nq51VrNK~*iog2S~O=C9RA2iB=3Cv;TRH%QH36i=L;pmP>B_>wqGk_HLG=- z!3PW?mVfKcHT45tEA7%J+%Bg>*-Y@z1LIXtGK~D5Ice~rW5DxNw}`@F#1~GLm21JE z4V-kRLo1}7D}+-TC`-6uH5(xmaF2KPXmL86IL>xPX(CZ7Z&x>?pvi@Q zVxJXIqmB7hB2QX(pVs>X<2*6v9{sKkIzxK}bS8pTH8tVq+eM4X)PVbg@gxJrrK3;F z-*!zT-A)%uWRj@H|JsZb4Ga^8IeEYyCYnE>D-BGRDP)DxJ>RwVx?(45o2RTd+rm+} z3y0%F_{$no6|j*j1ibT?uqqY`GU=mNj^6%HKNBte>2Bk*@XLeQtQ=E&vFp$8hm&dC zA-ectCU?pI|A1t16J3HxJ(%>{96=-Uq{vL9lrz*2qkPJeV^ac+_=3uxe%62g2qQ0Cjzodr};*?mi>)<9j-q$>zYy( zS0Yjw_4W)eF(%WP^SD3f20m^&&r%+jQF?_B4Xo7ItB!)}+iJfN>N>1-Ue3Gaz2$NI zh0@Ki&RCR)16S<9KowCHh7lh!Xh&~LwKDGo=_cg?o9S~ug5s4g^xfr;_t-yIYVYT< z=Z&4K^+4@qIdqIi7BF&U2>!nzVI)Fk6(Qsyr5LeL0%sMe*e*Yvq=Qu)L%>aDxJ4HX z9$K|}MWRa*_h&=yu?Jdtd4%a9sS4_c)Tt7w(kS0bn)1ifd-UnV-UEh+bI>YZZYG&E zz86YFU2e8JgBHi!^HA7)Qjjf9BwrPus-}d+a=GtfJf~da&XryH-?LEQ5V)i6M(95p zETYKZ=n$>`-W;O)nA0fb3VhnYv&v3b@)D@W3DGP_>dO)GESX3d!Gu(SAY=8AD6Ti)H6( zcQ6b5{0-&^xY9v}yUv#o7|DWtQ$rD$kmJj@prPAsb+s$_Zhx&=6JOY*XSDeXBmOLH z!Lc?fl@K1#zM7yU{OkgnY8ID$Br(H;#d4)qngt8vu##fLEp;u789UW)$~ZB>1it2d zyjrAEquGLwVV1MG7oK!Q;|0gLUQC*0bs80_CHn17zq)?U(ARc3T{N!%1feBVLf4cq zmz1ieh*f8NkPYunh(Eq9H3j=ya~3V9-TAmsU)BIT2+=~9(}gpdcLTY!1ry@UllenpZS7WTht z6vSn>L~@cuod&b01fz?3Ow%~jv67II7BafUd?2MQO{>ivv^xJ_;(9VcDk>@qY1Px~ zp}M|MSmsGZz7ie+2vi$7Yi{{Hw<~DUa%}U!7?VeEyQ%(7XL3$La4&Cldwu=+eR`|m z@7KHkjk_l(vXwCul|C$jQ~CM?(>f-Xv){AA_buLkZ?Ngq0jBW3A*WAx@RV1K?xI5W zz(37s$C3zTlN^+)w3bdF;C4{IGN(76#2CS1)NK-vz_7~m;R>W&!z0|5l+WV27(^8w zy6gD*YpYa&fLulrL&3RLO_RqUVo$1%q`zq_02)qR+1(%0jHzu0D&ztnkp5tZUsa7W zs{YuzHLs+&5OzxBMabD4`}h6|e;@z+)T-7Ei7!yrsMHLx@0-jM?tRu4L&t_O9}Gn< zCy)m4uk*|P2yCBuo{z!9dyks(JM_YBfZ9`W1&htVsG1|7t6+J3Kl{pI)S z#UzsX#f6(24_23~z{A$mcxMQMT&79zG$0i;Eiw~he{X2}8vXW71TeB`;P7{HNg_N- z?1hbke&bP@m|hG=efYKAE9_o$9wE_CQQWSjyKplZo_Sj){52)oczr`c z78A({Wef?RJW@1poO@j?l84bme@=XBG530Y{A0V(QmrwjQdxYsgs}{N8US~>)o6u^ z)8lrb>ze#Cpbh{^Fh>VkJYKnb|HkOrvXGRt^(^4FA}X zfa)m}&2gB^7wvSr*fR>w_u=3%V+wpgS@k~MOh#eR7M8zIH7mgoqwrGc|x@CF=$cBWaQZ$lc5h{5M_0>S7K7)fYxkoCF8CcW8_tyRsxLbE#a zeR1^tz=r_#u9w#2EY-=9E#dy}oea?Lny`2*& zIEA&Xgu51OQ52j=?8hff9vT{B3)M-M>xz6dsY{i? z&dv^1orTVy1HuW78DUXFInzlGg5?u)*VO=+$WV!`>g~^P^?@=vuYD`N%_xv5H96Lhqwi93Fu#9jnI5g8=ayi>oG#ki4sy2aW z{Zbuinhu$|&q$EZJ`|a%7CGEe;%WRu<n)djc4H&TuhzkjJA1OZl!{X=ObR67|6OQ!~?abx4=c65159a=>(hq~t z1KRfHzhAwxWnIuj`s7~LgP{i^@*F%Efu~2`($_^N5N4eUi>X_2`z%xjt|znTe6=bh)#BN5#3{_VWW> zKd5zh9^)Sn31Z11#gs7GRFm|D^-pn_^x-%B)d5`w1gcGnP8tIl4XRiN0>O9`rz;tP zC5IwVI_|oUISqlelE&ue_v*$%@wIZ5B7kq-b%pptwU`XTMratQlk9eh1V90zMyv5n z-5Z&T=A_ArzX0u}S)5rBW1n9$E3*l|q9DQr$R6FbLX9{PB-whh~ArI)KykN#$M5Gd%mzBQXS( zMcQdYD8DDlSV{1WZlN@u9u)!7*u^~mGiQmt$e6(U4nU!w;?eBPMz&)_zmKND1ulsr z?6+_VJa9b9uqvFv2w~_CdJ3WcttA;F|Ku*qhLEl@z?sWoE1nSZ&m7kD}Y2WZoW8;9o_@!#($ z=Avy>c^v0_C2JW-Z*}=pF4;AiFf|dojzIl_8oOKlx%XL9AWQ+FY{8PE`RLR86=TbS zQSm`}^ZRhUnOI0CNbUUbE&NgiUgQ8+WTquN4JkVGEvf~{xa%>~jTZYiA>jyU5GV8G z@OcrZ=}MCb?_~QC*aDE@RGo?wq2W;6vC&D>0&o&^NH9_UXq7AXOX0$fVM563i%XL4 zNmS_7n+^jc66!_kTdMXmSGU{q4?N}bNsinBz!1yQ{#vr2h$-EMirA2j)#vS0Hc;w` zH&|eQCOUV1{gr!USXTZHpVVZhFQ9I|!__tg6*BR*SaVA}uFj7|`D~9(01P&A1QiQP zJ?KEOdFT#6{Ggy=RP946|KoS-!?nhXw$rH5Uo(bYvg^~-SLvXXOI5BxR_R+Sk^3-6 z6aC*hbOay1{rllcG*5AbOfQQN7JfN851RR6nIsChb1C6GM2}M#el0v!QiOivodoT` z_|si+-ggwy^QgxD#iATM9NweDt1%f2Ri|Cd?gUcE!^Cvqf;teA zRG2cI4<}%B6LFPwSaV$l{6ncD8qxTlnw^;;&sUKsj%qv3z5$37;c>K&@!dqoOrRV4 z)$YUf$Qu4gI?;@oz6Hs8X?i8ZL%9)o8<$`#$+vD~zcK-FE1F#uZZZh8H(Y1^wb zVYvfDx438VM~@G`&^vV&X4Y}e$VhoO*Xy_oH7)q?5EG>_q}6?A_3pcM+x0rcJh3X# zAXtEg3XEv4y+KD)D}1UGJd&qzM4Ab?@1HG9E@R`h28%Ht2r3O1 z+F&MkN2_wJS|Ul9`cHHrmk^?3SauWpO6nq|Xv$JHjuFjG`k%~F=Sr2y8!D-rDa`I8 zOwPi6z1prv2#CF}L@C!4`>@TzS#AD~57Z?|rM1SlYMA^{- zoCME~p0EuV3%D_j4^Mx8N^zb8`s6HXJZM_QdrGoN9^Ja z^mw+7LM*1>}mpqluN)8mT6@#xo z0GiC@{=5ZfFs*^_!p+Bb3&j{Tft8~~UR4f1I-C$i#Clp;DvY4d!2sRufy`#gLBufs zW(9{zgavhi*cR6Si|=b-Mk@vrvPIEy+LqsM_2-8)tsvx#kRtzS17*R4}!KIDoD!_#(k5~gsxBM zjT1nS{0yvrAyFNIm<4niAGzaUFN(S2ge(oQ3$cUY;DrUW@c39yq*>6Ad#?uGt58lDI5vrG6rbA;fnsK378vOk`wh!#X>uwkSdIymMC^6y zLFuoW2QD;`|GhZY*O%pbPGGnfFZ*?GMwtzH11!b_P$*2P)oiY3dQctDb;6&&x#Qta zOlslwN|?}?1=CnBJGe^Etix);s4!AT?hbbe>m-hmNvy`As4`QNb2c`g3x;-ftV-2t zL{mIN8~?$x8g#n-$6^fO2>;LJugoMWR+@ka)Bq^8_L2T{eqtV4X+CuF)gbeGcI`ii zg~bA&e@IgBvyd}|$fYubNM$}x z2Bf>Nv>Lp7!mP>5D2}=_BVrTaxDo@*(b1^L|M4{erT9eUa3aNask}dBiYS9FJKQ4( z6IYt^(p@!)RVdWiL$kLjsB_zO#o#>-L%B}l5s-HE@(f1%ceK|P;?G0F zLG-W9q3tWAMYIhqN@I$`bxmGVO}c+CvbX`luArPLR|nsa0TGb z^ab(JkK;a#vTvnS{aGe-8H$b?gZVQoD*4D6G+1~0L=6DPoi3KiX-Db+;Bd(1bhRUD z9kyH@A?$9JD*ts};={a%^Gr4`WQrw8nB!PnOu!|o=;tB$=1U?VSh?ED2EAfo8>%sT zTwHeka)UhT2cTHiVgA&NV#KkM;oG*Fl77(sPgWYTlNCVic9aLD?gJjenm)1Q;{cUF zr_pi_Y6_z^!m0KNHO6JYs`!LBikKhx6b#rpfeG_P{XuZQX}=+pt~P2-T{5PLCJeza zc2(p_Q7|DhQ5|8N!sA}CN4yW%X#27czOgw4=3f--kD;ARY2!M^NQg{y_wW7Nhm8H!cVVn z+_|I``XYtYrPktBT`}_LwKUgAZNXx>b(-cG!Ldl!bR*)75x@FqcI|RV{(yNFgU2rE zk@O8PS4Uve9M9$vCn%-mH9d(W1ntP~mu5L6LJ7?B9uw9>#6RxSRd~YCs~#LM(@2y- z6<)gzv>)f%rfV&%NfG;SI3LNUL57T$1kzc|V%@9Xke8l7Tk?Z(oy%}5+L<*gC`ueFSS_YaTi4Xy9SY)o<r6w|ZV3#s{v&AJHy z#*am#T6Sxi(&O|8Y}b0BSO#giP~!b)LS6LA)dViG7=m6#&Gfnxjta_TGOaT}?0fd- z?Vq=Wl&kbwYx;|%;=a3m=>l*9P~jthS_$xkr(LRxGl=--!fv z&K2CKnX6Spd9p!>2oEBxsnTtxQ$&TnxoWam++;a47i`0daK!uufOSxJUvUH(RtMBm zpD`arC#t?faKW~cImw=F)d&llw# z9ppDX{Rc%9ynQ^KwNhvD(IeO6$DzCTudQyNjm3{*!So!N#>V>%#95v$9l^gWLz6ne zT#fzBFSMTEMHRe_-z<3^9mt@U6{s*|fQDV?U9tY^B1WKNVDO!eJ7tOPne#GME z5eu!`zFte^Dz@LN=H0;~0Oz~{7yv*k=hvgee%Hevh9z-RElY7+vFMQQjM=~YJf4;b zKV5w!;G%L%_X(z?%v|+;5(-cY^GPJffD$l?>7{si$G(_xINk;LWE3+JZX|}y7|SBG zdw}5Gyhv9(-Jb^c>%BAN3eW`s+|=m-lT9KDCq{>&{cIeQ&z?UP0e5_>DLar1!96g^ zKQa%|<|i+(F(K&V-{iozF5&ZdOZqW%({00E%ylRnJ@E0*iqVJjb?c1x{y%Y~rO}xR zLERKiU_u4eCk%bkA^V;}7K|X{R&rPz=^lo;DNP`DK>U?42UM;*5J&R-UOXzcI2VSQ z{R2t@f*Wvas0&7`^4GO93C!lIP9h*}#u;>Oy3+qM|=jd}#E zhU(5~$6mf^ROZ9E04asr^-Nuc&R3lAJ#KuUF4qSpGzg$pn?60%u>RfaYyhJQ)IRUm zz1NSNzCbac#PEYQxR9!DlONCsJ=8aI`?d9EOs3JQg+~1dTRKw6;sVakq(bHw?GZh< zf57^nltr?W5|r;AhzBZw!M8TF7KTi~<#A)4F$oDAjXIMc zajHY!&&E>^>Ot-jZ)7rg9Jm4tXNI(e70AW-)N+JLV*R#qJlnKzFHOPWYEX3hBQZ(t z5~cuMz*JyS_uzAW!t&cuCusk0^MsOg?MK9**COvuwhiR}9R9CN;S&ccDFDvtwmF)R zn~=ZMkBx^I$=V6!I#~1(_s-+0vt_L$s7XIuZhY>|0a7(!4>S7$dO*y(T~A53(lP8v z{cB-KB=!BxkAsIqNc#=E1o4*9Rd?}}UE0603ZiRo6Guy7IB?R1>cgaLLQ%2WJz@xf z0Ne3_9gWT(b}1!lEq|-2^xa3IO}T3ttr~s(u7-l4mgTXB39Mu5x%_~eATNz--9O3n z!r=*QzcN)@>~u`7e8%TiYbYf208j;+uvf5MxZv|9h1$=8B5QT{p-V%i=dc|0f%ye6i#jwp0;*6(E9wF5 zM1T;ioubx07Gsxf^!Rkz7bV`Pdp|q0p2y>1SM3)0rdxG$*{?s)gj8s6vAtiHB_v!h z=jc*nyj2NQJKnoL8CLX`_>3)-IJ`Q&0BpAJW)gB%ccG$-X4ng=u%oR zd)pe)L2NBe%wPLM`HMHPvyl*zjy)85oJLb?+vN9;3q)st=Z@D)-v=o>21EdH*8nJ( zqp6I+sI?3)8Tqbe`wgymRlBB2t=iZhUcmfd44Es4uJ@B#oU5f~<)l>!WmlCbebwz( z+el6x@*j$hKG@56d>9Owi8sTRjD!F31y9)b2~cIK7+<61C(vuJ%|75$W78q_(hR`D zqje&EF$G?Q!sv*(Nb)5>q~JlZO+O_4tLLB7vC5$|eYM)-c23Yz3Wyw`-O_8ZD~PAN zmWg9f!p4b3>ELL!T|w!W*iUc$7=|K*=p@hW%go~J8Iy#OO5KGi^*!$_;;x>wOxPkX zUOC02d5Ad`Jtx$J*OS9E-Hk)KDUDI@Zi;=@U6!Wm(}pI;j{>m*w{wM{KNO|Fy?B1P z@3m?LMcM{a$fh4;T8d+8QjGcU0Hy&|0hFB`PlbtF6OFeX}KNm?KD9Ywt*kQJZkBSrBE z7MX463!yNf$n#%-eFJ!0zzBr`V`Mv%A3I`}6i4Dc~aYB#M-{Oq^4s7g5 z-F)5tKBnqk{B9>`|7==J zP1*8kcJxPRoOnEZPAf$hByc@MkANrWc`JCo`5XA+t{3Z^ zpSQXmPLh;_Jiu(&@K;PLuB_=m++H}9{n28t$Kig8w+gLV3VCC|O3I362G+J_%-4laL zQC6PxHn=~A!cf9o7e=2J>3F?BYd#h^cm~Zle=cYC6nu{k+uH8C!!)BeTMKzaFGNgf zUEs9eb~@51lwGpyMiVp=B0)>A}$cM{=S@F*0d;C1{1-`xEX;dka1f8vIFOq%sFrG!^hyZA?{1`Sh9nm7psEYcH2eWCLwz*-{x1nf+$g=7!Z zNUa$E^nl6bfHZSi%#*RdRHc*DYuy6*^$-#oR^RvU;iJ7BAYC-lPybBJs;mvdJYS#h zN8^Z@#fg0%c4vkD$(OZrkz4R%36W-HISc}TEvb*|HV}*;oh4VzRT>^!m%A=<&Z79A z&Z>z*(*ziHiq%9}36Iwp&q$`lk|X^X1Nc_iUqThRlBGBXq7^SRR_E3fs7LtS&%Zkv z`TR*yeEgVVLN$}cJqt4rJHQ~BN~iG+(7~y|_R^k&hSZ;FL*j#KN`i+(w3spYoRQUY z%J!9WeLvLk29@3E{@HE!{3j^r{cx2)E+qu89VV-RJq0T7N9Qmkya8FaLz4RXB&L=F ztSZkzWbW02Y3}W4w)Jm5e7a7`x{5H6DqF#lG7!oi7_{eV4EWFefNIQcIi<{&P$w4g z${A-RQGSy_E``Ft$YghA$44Rk)juqNwu46*TvrPO?U+|%Ryh^YZ2JZD4wuuLlcKmt z_|BVoc3v_@zp%RExm3pkw-nFKwl83mU9Q#_A<=66cG?{X5iJCk#Dd}+?Y;#anVfXQ zJL$I5DCQpbU)}fq;&g!6q+XU5U*z=>s_&*t@lM1nja=3`Gr!nH(}EL1iHDCbjF54M2$C1ZwauA@~ZQ?XY&_ zvyH2b|J}x3o)_O2v|&$k!k}5g%cg}F5BJO)ps|G5w6lmbVNJs&*X^3{_ueBQ$>g2K z$lda6;L4=erBUIL0b_O0HMU;^wIc zosMUwt^J<%i3e@DB!xqAIrRQpyTPH%5%v@MepqBT@F0Bw@>_%cI{4yTcqnHeEAX?O zv!s26mM$O0tg!Dtr2h3T4`*NjZ>Ht?z5Gox^pqJBp+y?SMQ(-vnleV=jax=ezqgOMB6ctzf`w|r+4$%UCEaQmUYfur-NbQwsz<#fL?J}2xm zZLh+SI1WM;a=iFTpL&qg{XgAAq8)?1Ev>S#AyU=|kSH(;Ql=a2A45s`rK*#kfC}(K zh;@l)>%&WEL(L2Sb+#QWPXB5t6ktA+eckXkl=^k*OY+Xt6xt%6?CyZZnj<>DZNO zCA+cV@fB{;<{*ZbF)V(R(s%#^r+!w>;Gqh~nB(z?ze$v;p1$G{qWULJvMd6sJc3_j~@yuRI&}y%*X}a$Fz@2mq@7MDozpXNRrh7R< zX}#MATtrTnZ&o8_M5WdQMeGGsALU&t^M$$crM+M;>SBg`*@qPE2I*tmZE@zWu0a+X zOPB5|OY|?yFkr`3!6&56EAXyJ{nd(XscBV@s0XUQZdoqCl+nb(L>DJ(jb&Ql6|9Qr zS!;m$U;gO)!;{l`cVulXyP2H~>ER5Nn>TI=ZnwS4?aUwi`j2RDk_@(Wcqa@>biRLY9a0xL|m#*jT18$1GEbX_Ez9R4%UbhVlyro+SJhyEQh1OQ2-xj8X8Z`sJ=b_VWg)6E zGnfPdh7H4cnsWsNilyc%8iZhLkRW)Clek+PejwI3C^!vhXcrf83}H&|EV5V5 zTfg3spXAR+Fr*sySg7+uMVU!=qX_Kocp7I#OR@|I8Y|5a0{2(5Crm0-shv1nM$*q| z6Jv)CPT?JkMsxoRZK%oFd4V}_*$l$VQXdk#N8wkZ@z^b2U!H-cc(n;ir7X{vu5c(9 z*9?&-w(sAh(MzBR7~ei%KAtE7r2)ifJWfl}I@pK(5+hkMm^@jd5iqGv(lT8g)|d3xTI{PMe(hW{U=AZjeG?8E!pbH|5|LOo;F*KYxz|gXn%*Ug z!YA2fs+19q>@j5W9-9s;pUf`gq;YDgLJjyZ7Ylda^*$H006V0AYBl4JbvXP@wDrUp ziIcqC6+d%P)|;4ZnsO=gmoW`K~3<3T-lcT;`$H{yR^>nXJKzl5m! z?S_0XHB-gGg$Tko!Ntu#g75IIF;8YPSVv}uN2@C^S|2fINKO4E``xJ){$Kt=FnfcZ zsGzLfLN37fn#?{+2qM>aOBgbX(;5QhmrTUtTV_Kn&~xylO~(CD6#iN3E%ududqWYR zD}DU2=i6vHjCf#kzFOaCIbC>l5ln(O!CvUkRG0NBCbllCe-Bdu545nSl5;kTiG#_s zIFk?uAjJa8|8-G;8{r6m407T`9y^kg20!3XlTT8&rVCOmBw+&U(DhA>16DerX50&A zJZZ8E2zH#0n9^kw{Qy%OEGoqMbunt>eBJVxAu>X2Ah2)4uVgap(v}?j%7|VdPViHL zJU(OD^amy(BV$>xzwC~z{-jMlE{*Dc^UU@I$YwNYb86NGbbM~-?#mil0PuVRa(E45 zpt_SIxl;s`S>1!?N_hkhZK4Z<^Q^Az zmB8JagHl;YCZz1O$@95e170DsW>q?@i>Snjyupt}r(|qQ16oq#NBTf zNk#3+3g?RcB0!csKK~-6>dzx#;#~$pVW)GKB&~E6B_fh5Au-TzJi`y5k=}?a@PqAOP_!pn|9i zEyL@`C_YGiQ2CHBjy2I6Coj&ywuq9p1GEmC?4*a^>hm5|(wDc!q`BiY!R2tcBf?Y2 zw9({#K7S9>R=|n^SUH(zco23v7z0!gkON2rdiZW~xazchf7w0ud!U**r-*BSr``!f z9<#b*kY#?0JXa|f41lF2BEP3E%H|)fqp_7b9QmZKCV`+$U5OZQ4*gP&j4zhbKCmt- zj~Cx=ipwgmq%FforfBYe%|a-`IRY^|mp{5DlfL4TBRNo3=1UwA*Zc3sFYQ5yPxET6 zoX#cu!=X;j_EYq>9-b1n@47e@(Wv~&c#4)IevA}k&!jr^{I%q@ABo0O$mBR(s#pYS zSebl=DK#36`-K`-C(rIPi2oP@+IOM+SDlCUZA}U!rh$(i9R?7IV($pd2Yoa@QIZ#I z0-4L5V%c{g)6xUnTkb`2a-j5hRLa0b{TQtO z#C~eLxH+5@{M>O$#XI_Aqk_5fob7y~0}PEvaK0r}?pHWm*-MazP1y9B@8mWz9=P?u ztG5BNSgP=+(@?WQl`?AQOY&+TNZJdT47_7dCP+_WZYVL|y*GSU>`$(Wdwh*EMY(P9 zd6zc>D_4NL#y2E!f*D`PiR}JMA&Gdt8X3Rz_k>!ry)VPk89!Ie17cuU7?RKVQYahb zi*?7~{z3HKcms)hvJ3Q2v9g2k2crcrJTX#;oH_G>BX^k$g4&%IEgPPjvI4cs_xyVd-uE^vu! zPPe^($E+WvhYwfQ_B_r@5!*N;x^;q{9v}>)?iE8X1q}G<++EF29z!k;KUzN%e;z?S zM4nTkX4caR$^~m9I+Ic%XCRu7pFD)pC}tNSYDfN;H>td6Yvd3PdT<2v&Jq!zcj>t@ zs1}ElZ(NOm^db`84PbBe5%^p{Mgluv>`+-|2(e1M$cm%qLYAjrpd!DUc4Iy*oGD>C zAco~Wz~@^)U(=^MD4V8oJ{V-lOe4oNB1|?e01m<8u*riN6e2~9U@zWVp2ua658pp{ zzSg+yz8~}a@4m6@_rgbNMI^2yY9%+vbZ(fX?huYjz4;a;2fKk#N}iQS94Mz%8ujw{ z#_&Kuj&8sSG%Hp4fCwi^J=kqfLz>Lu{zaLl52eUt1GGNV)H$5c=}*CglvSfkIMa4l z=d?O)!eMZoV`_7QkOH!awT-Q-TqKc%O80T*ziQ>%qTyuTp>BsL`CvWKqE~u`OUet> zq+37ML%`>Z`nb}`W(RVbOO8O29_p8B{sxlv7a$(Ap@S_y$RC@XUu(~VJ}s4l5XrY~ zAQou1Iqm{*qral9ikRdWM9hMc!y;2QlPuLBO&H+IYJ0k`d2OV8ph-a9mW;nMV;^QW z$%EnGq%1}VIXysun>V~UR&RLk>ii}D>$ZSiDf)&0SkQ-ER%6u-Bm=fB%iXTY%Ovf~8ra3_|l^|(u#z?v0U+hXwr z4H*Dss`Y+&4w3x!b&8bLr1$0l#f9Ty-sm~NLJ8KZCl<{-=gYn7EEzs(u$b&S0!fL} z)p|2PNozpv3j{{Zf~y!UO^m_p^M8kJy$BXJXsnpvBVJGDbb^0_)=Eoi>IcBcwQUZ3 zP00DEZataWz7=pIjSr}E-3!6M0r|ybkmUPcvw4_9q+c=IEyu& zuQPW`WjHWI5>59fHP))?;L5pu7$<|oS3>xKu9zZd6(Y_-B}_4efx!LvF*xIdjCuy< zrcK_(j_?dAXMFaR2I?;MNdJ17c7IG?Hgm%qOm>i&bZb8cINuIL@SlQJc!`C5yB@0# zs<@MU-x@N(>kKc}a6kVNH!9 z@Smvxp(x=u`3$yOW9fcUu=dKZTmsVGhSw6n_yV4Xy(d^feW2Giz%`=Y3$c_C_1TZ% zcAu^T@c;(xx;|XaRb0-8x9yDs>qF(e zHWCudQ)^YhJh|Dvj@KknoN?4%Q@y9?jHT9;qUE_PjAB~v^%JJPae5o>u{`S#Gca{l zU@iA8Q!P~&4<0Ts2j3S-8120;06Tz=F(Eex2iN?!-u&gxMuvT?IgEi5xyx zb4C+j@KB1dsVGATTs8xV`9Y;3Y28pZ(bl|vl`Fdr3Hk*|=H^#2!n2)Ee>R9^&ZC_;&i=pXkrPK1|- zX~Qx5y9g=#D%|LB2r!U8mz06^F5rx`0NI#r9cY)>GSy(a=8}2>@S{nPF#%DIPZi2I z}*t8{be`plCQU4#j?$GK9Bp9s)t1J_wOZ_#S)Rx2OUKMjczvhZmz>?uPjjE~a@ zMf^f=*;D27SpqSHM(^lsA!gDE6EqS5SD?zd5WxtO+iy4n3F)jb@&N=ohiAWnxm2Rt z1u)fHIV)PG50s8vO#(j3V*8z86UOGZiWg9uDhB-eVLqr=Y0pcQXu*hSo|w~MHvx?j zF;Tx@bmYn|2v~i&AdUgDhiP;gk)1J+5PBB$I3)99bu&i8cnC>}xR{0P3^*886dY*C z)XT>8Z~ZCZ>-nk)4*Lzh2JD=1B??qLKCD+EI$JIxK3WNHz3+%tHAoRl)z*{@j_sUv-zv2KpD}V5oV`{q4?<%BdsmP*=rSr- zCVl^(kTgK8`RkeXzp%cjYoqrd}boeMtKr3 z1nCrUfiX&eX->DCz;@!>rW)9=&PB6eYED)@JjdgD)_IqBv7P&uY%Rrr^8NkjNig<1 zq*)Iq^BaQ}tgVKPayOv?+m;pJ%EqbPEx zPg(eij9+LT(oQ%33z#@1Be!M=fm|S*FS_bft#oFZ28##}01*7U|HT|4GXaF2q+y7K zMTY%-hj=H2?+9_)^D~TAvolV~L3>4IN%&N~|E$x49lUa{RR}GjXNF||jJ?3pu%Agm zd@M7=a7K$7%%2?IXWZ zDy_f*zkt(0c%k*)+dqN)umD(l1;+OQNP#UWhNQj?D-hgMrrPJHAOJa@I1`%WfucG5 zqK5Txuy}9H8x0iCpPgX+#*UliOf24l7WV1`>zjdTP@X~5DCC5Iv!Gq@Uq0=v5zo9rN9XozDEk8+~vuA21a}I zQZEo}!0skl)C7$pvBM1=rCXxTKv}LEaD&X>wROLZL(!d~)?7msi}b<364y0lrPYk| z^g!`d_7`JU5DE+#d_zq(z&s2-Y5Q5zsm~HG5d=Io(Z(FTfzdpvDrpYWjWwN@!=8Va za$HI+SCmTN*B-FH+=Mag=m3x7%9Ja4wQe#pKai1T==uYr?z?Azc^3yOM$G-nN)JDz zmBZC6Arcw70$~G||F6)MJB;qg*glOIh&$71)og-5zLq>Owj!mzFWfM&;{(YA6HFV# z&V!xsFe~HvK$NG#_k@D&vy*Zm+iAV?@VJlQi)ycKU|>A0S}9OyUxBKfF67fOtyZ$- zj>r@(e)zTy^KiZY2L!Ja%La-trRG0IxD*6Xka7c%j%W{ll>sw|lN8TlvB>~Rh?Y5D zBt;J*b{Y+oFtm4)=hM>Mu1^dA@Y=0{{lmM94I|fO4bNaVuy=yn4)SoHkdy$hxR{`? zwOcGj#*k-ETmm?W``?4DGa`}J`XES*MuMHXYoH0yt7y_{R^jT^`$zh&S)|dnf?E6P zSYyuZwZmXcViywLYCR7XrhHdLKhDzplDtaYte$Ws7Cu80NlF_+Q4U+LRA$Wd1Q7?M zvaH8QebdNQ(wktRBcQ{y6CRiChAlFhBdkD7K@0sL#3hYtC|u+%t>(jr8p=W|5BpPf zQvLjZn;dc<0V#i6WZl4OWkrmCyU}iMhPw%8jHFsBj|YAAfYnIhl8E~Xlt6*2K4@tS z>7`mD;>sPhRe$+=GVE%w@lUp-Xg%_aw+Z-?yZjKwZavnkbp`#fJCxr@?Ky%l>%hs$ zlJ`(H4}qL5oG{vQu?*(FuQfmh^M3{rqH5b?PX_8dT(cyTfcPT)opV0URjEN=0fn$B zzzWdx0p{wOq>v<-iPiHKp8QZ8IHD-(5B}r|(^$_QYI+zM@*EhmscY zmdDEh7h}TGS~-F~@iKO`UANPUnHkIrc}muR*G!$^xmmgHnw4WzdO9~})1?h2aDy@6mu*0?wfQ|v|~U7Mf0Ko^3|y@vE>nWb7&KAm%D zxjW%r^Y0k?0M6j|=Fj??eZEfZT_PNWF^U@)BD4@4OqvDHa!>`Q7O36R)bPb&#+v`W zo*Kqy6KX&e5nyX4_RezTU$c*@ll@Z_<&3S~qoypQG#2gGvv{miu`}EZAHqom?A)_V z)Qcu_tjlMdX(PEzqvQM85BKVe9!s+uHrlH_>iYwe_`cBA?|F^81y4VijkA%)H`+(O zj`CMWDIw-(0^O`|1}UIjpNu}J6!-}%KJC}=6WB~v2EpTT8;KTN1cayLvI-^QtSIjq z2rhjX=+W!#eJ8X+xkX~dsti2bGFzzxtou-&6wK{lFf`s8iP1+4XUcUSyV*`s4~UL` zuz7;EI4LW^ ztMx<7Ly|0-N5x0pIL;29HDfPt)c^j;U0rI7zw7T|^{`3qjsHz>N7DYSjXe)4;|wxY z_!xEO`^4$>*}E^W$L*_M58o9RW3(0GbCIZ3ll1+zn#Kc!TS#Il8gQe$E=4E2KKoHl55IajAs%b6ABzr)pUVb)3iYN`}Nj zDE%eKo)LKI^*7x1V5o15bn_@X!CnCU+{%9=>hfVN=Y7{V$#A&U+rTpaeW5bBr$KF& zv4ERxzNou_o1_&AYHp?m#2btPFYsRXM;D5Wn#CH7_A7J?F)9mXpSpcI7q1wUBp4hS z@sfIaC$k$Ei?T*Q0M=7qzfEL&dLvLgL8h^E#@DtwAX~>gmqz!WKBj!lE~6LK z7h`UQ(CvCK-}?Tg5Y~z$93(a?VD%?by?iW(?Sqz{(~PRTxm<&x>QAU5g&DsCq1X<4 z`5M(s1ts1D8c|$yg}-j-xscPP*Im|u1SYb8CYUk@>$vWuDzmFIS_<6)Q(l*7>qMBb zx$}=SE0X#!DTHbSk8h_%iBx7}%@n+*p_Fl{&_s~rNIRByuPzxQQQ>irBF4tV+$D`z zq^8d=obL|kGmp10OC zVq96IwC^sT6aPW{U>cIrV|gciHg&l+X2FoDz}#d|j7 zZzU;N*_p@ib=|qE=4jF#NVb)?E+b6F3)mE0PMWi5TA@wozuu~a{a@g6ejWw{!t;$d zaa_f~D^fUqjiTQ_C8aKge+2|cV`p+Crr`nXfK`pswm2CYd?sl}alw+y{an0?ggaM8 zQkAukIM;szT>!8Tb1|qV&_El&+x0qqZYG+mQV!M;%74{G27;QE_ECz_Bulz!M*n?E z2^PfToqbPfQh&?Opy_D4GLtRIk+f1-)Vc3lQL4P|3Ae;i2DfED3&rsXD$2)?c6NP-vULO{9(~c=C&4hV zf4(3VQrEmkwGNAtlS?MH1Q1pSM50(92fdTnX$4{xayON~9paV0Pm5EOVwmV!upjrtUGZ8k{iNne@zABf7ygC zxvRfTmZzFB*qoD@Se+W@rd6k?_>qBvTgrOh-gCn)6-yE$itwJ(+k;9rzWeH|EMyN> z-v4#cLkUa06=qO!9VT(|gZNK^CC){Do?SYG!&)CwLrfp1KxCHFtytzp_kREX8Ax@EPjd zug2%}!R-~hr6~g+`1}vFU!&UUa$QYRhje+=}b3C>zSi zP}TkF=rtJfJNrIcaO#%_vuK7$pczyG{YtYw!5*La^t8k`2aHqlHjO+7!zG$wrq;Pt zgfn5f0amy9boKgoYMV5lvh7RC5IE6%r@;yYRvkqJxHnmoSX9_`RgPHKX5q znOeHToXyF5yVOejxf>1&Bks5W)=?LX=Ivb|(D@Bx-un_Hd^J35JcI`#UF2;z`Tm0q zR?M2CUHnHVC(1DazyBm(8>1XukK;6rBEz79t>k~-gFvuf>D_~WFN3syz0s~ponAAg z&^VNn1i;yVJaQmdE8+&VT`bB8UJt1ye9E+q8^4ipJn3o&Wv*T%kK=wK#~ro=WgRR% z^`PG`4sT8dPQ#A2zmdj8Q7zAjD+#cJ$9qk;dV5_?{dIWp)R%Zir;QFWq9%#w+8TZo zL}|C>R3BZs?DZ)!W@v2}sVd0+mDxMI6=&qO#>VqqIY7J&(=1}oo~ zE3*?MFDSskHIahVkE8{hU!)XVGsJ*yU}ZD`5C7!NUq~z}e}uQNl0F3ZiSwx!q8bH% zfW!JwXH}PUu{#&>r{*s*m zdVjeVW7|6hnOZA5tT+Rs1M4LzVndbDA?ocI3hVl2 zXH2SvH`Tph0mkY9IphmPQN)q?m^3{%LMJAFxDZOu@Vyu7cVV=RvaAKs4*qsJGCvoA z80bsDOeiL;T&&OU$Q@ojx)pe~=*WzJ6L@hLb`2}C`5kHcpyPhP`i9yDY)rq}RxOR_ zWX+<`MrxIujjC^JjucOSHAoA39ybX?OuO*Z=*jhq!|5y%*(9EdR@J2ZoS=fN=4;jQ zszgLc8J6mJEdz_bj%J3;)~BR)G)JyqCDNOQOMmk-f5wbSe9K=DV!}1e6>?ZC12swa zw~hUX8i9K3bdxCvI>cNF>Ti%M>tdel^DB5PiEz5W*Fc6KKo+aA=jJrnQWnpR4zFYf zlT@)ESha7;2~@=*o3oJAcY&}A>}ukMg2uib5jD{4r?}|D{4mW~6O5N0zlRIb`yh`G6{WS%r0bcL;@5 zBwzEHG8(V9ewu(xM#Qa2CoURcjr_U!2mkRNC7hf?#K-1hFh{wuSM2w%A*WWYSm@$RQlfa@Fi) zqJqw@YFgYzF>tQ6Y~!KjhZ*5f?UdG0=9j9{UqbNV+< zLNg$>k@1qT!Ddxt>*K1B+UZY0TfINuZjac6*?anB^8S8)m-ECP^INv}<$F;*Nl@Bz zwlm!mNl>{S+Pdc0kEQwzm=4jD3OJHjtl86ue~X<29?+ohrV=y01jiU4I%NF> ze7!tZ+fQyH-9Rd8G%z{*G7qrGz1uOmt$ZrQO{|ocQA5Ft8u}nK!vr|Su?tRd$5KA) ztsA2y{EsIYb<0}iWMdG7{@|y~!G~Pyhj{aidV_C5{Ci zuFx%cYLa+|!6gMBON!WtSeEN{NUXx+nRsV^F&5N8sVQgSxh--^=fHAeyV&3(cwy!B z=$I%ZYwME@1~tL@e+N3hqy1VOIZvGP$hHISzsu44(Q0?0TDr9!^w(FO_{GaCfpO> zXfDgiOcOwBU^}|pb*Zj*a?$w{`3T)@5YS~A;uqYSPVq8HbeR$e$8i+?}QNZ{3Xgi4ihSYDe}vP+V`cz==x|lhY`8M zIZF~-REK+|+KHjLQ=z^39&sepPq^kjyt2u8dgsGvhCvCw|JuCco85mdwi?8kw!HwA z)KcswUBKqBdzDIeZWk#QC>3;Bzj(_fon5OFqKMw3q$sjelZw0SE6uL&xh1&u@%eW% z?UeoX!_$$xgK}f0NbIGU%RH;q+n`5teL}_wb>~Z2d*GI6jHl(;V7?2zlj0qn9QJYO zj~jQGXI=v1#!qZ2fAu42a&%~%^~Q9R?q?^7yUeECoVg+GBQ;?5bFR>myU~&vQ5h7I z2F#@yY#-pXlc)p-KI=&%J6$1>?C}oJdarM_z)X;vSkA#j{kXPcq})J$dr872Dt7oaCe}UG?m|hWYYh(qRAzti#`=)l2+R;?qO~6Bx0yyxJto z>{CSysFnyS5v zA?o#C@cv~_7*jtp%cYf;=oH_R>3Ee@!nLV><7~jjGvP%3y%(%&LCdz4WB*r z@84MeUUVMbea6J;*r5e&6%xVC-bnTV>XPmz{o5G2+(xSm7k^txDp8O|(fhZivt2|g zHh9E-sVa!%-k_^Ln^{ynj?}>~F@-HFC8zEG_*-%3O5NioJ1b8LKj=rW5e)?By?#nx z&ZoiVW$QVUclC%gCCFF*=J*-p*~M()GKhm?XVb$S8hIYGX2r6wb_GA$5GvzdYGV0> z!-KQGeb5_cg0kh(R`}|rR%MO7ams5HWjq4J7hHiUltDc0-0aXQB|aNMYt0B$w6h<# zNbtGXvg)&X%m(D=ey0x;uw?As4{MFRbF9!klFUGu_&pLBHWPS%T>)GJi%2l<{>d%H z&4WHbN0H68BaHS#RPUbwQnO2$JnJ}IpBXVk0%_OCK+G95BUyPI>j!u<{Jl+2@$9&6 zW-B&I|F&BwMnqFlklf4(Xs|dsP@wz1*rmpwK$yr5bVg&8-C5C3%PCkzq4UapUgY7EipE%DRLLM$vBA zLtxN40dEjrRTZo^QPX&uJz3_Cs8=4UYdT11n z_0586)_H>1&D5XKNL_N7LJqHAYLt1b+QcgLVN02< zwr53^YnWC!#FVxj=U$;nQIe5 zJX|JPC~Eg)?rZTdRSI^CBQ?Xq9uBYBr2i9{#IR~pnJj?>?gB(+NT)9OrzTvMg&(CT zbEK*lzE5=90pI%bY}1p4mikF@=F)4k3aO;%&zqVYIr81ZxWGrFB?5_j2#OcTU~Yq! z@7CQ{XbOFm+XaKcPXveO6C}0aqlO0sIS{>S@ZiMz#J=ccH9j^s{#A_}Yg6M=P8*5= zgNEVr2AVaeD-6igNp?A0HCy9JMKxJxJ<%Q4cRYWusmjJyEzG(EO^~jUcxFaY9rB$_ zT>3xGN=C_$`p+XcZjtm>Tl%7yb6*!I03436LHq=@um=_@J_O(Y;T@1MAR{X>0;A*^d7nigyvymWx7>ljHazub%R zpFC|}gqMV`bi)Fmp*pBwGs&H!CBW5F^j1{UMd`FGOuuAVhw8QXFOpxt@&QC-56S3W zGsm*|Ps}J7nKxEOKG`^e*NFh)R;l-DRKcL~0puFq;7`W=;_=4UEeN>_!&9iRd;}oC zp8N~_pY5~){y{Kol`1EuP4_97NkiKXer$&djuUkqQ{p)+<3NWlROAWUEF~b`xlWG%8r=J?Hu}v0tj!nb_^D?zxCe8a$nIu^(#f5DMhf!^5UyY?A!^ zksPbqU&B}5gSKY)xEY6hxy!MMMnod8y)Ec12|<>99K=UA2qCmr1l~6KJn2 z{Gk!TRs3u$g{csfxP7QZS#!LvGF>7}S7v2dRRLM|lpts)u28Le*d^w)*;`7C4Mn8R ztL+VvGC<_j-n%!zeO?A7iA*C7V1c}mocI}w6fWy)KY4WFXKx-v+#)P2TEAf?;Zh=7 z>MkQIa2dxPPHlVd+fQ=yoW6OX!CqIk|SvM_1()5!;8PN8;xUPBPt|PwTif# zX61hH^EaxOm6BTWDlj{QRVTQr&nC!CzG6lO;l*uqiIen(@4F4TZY6JeIhCPYY}!?y z38uT`4FrY!J$tF8SZSN1O+p`sUB<^A;QH8~TOZA!#@g!F@*WSV$W=`v#VL8S^N zXq1%Vu*!cikb^3bSSS;y&NGF~nh9kW0stuurPV0W3-w~902a%>#nYboSF7lV2((A8 z=93KY&&-R=A0$u-ZbFpE6aF~;Lm|Y|loj?DsW-cLsBSWTZ($09$&71|zX-PT?Yn=U z;=0W2AjzHVhkj!XGW4Ov5XPM5SN-f;|J8mbx1PNm| zIdhN!(zm}rw$%%bkKcGToh6AFyKJ_QZ64I&p?{i?oAy`xNp`iyQyu(u?A9Skh@SaF z%Hwe32ev|(q3>%ne4|YgvNs(f?~;bBQU20L{L8rfCm6ngHErw5W{IA@<-&l!F1_{Y zy&aX2T)OVdYZ;ZvS69jtvYb(+u(P5V zR&8kL_7PW7ngg559YMmTp3Ogf8{jo?s`>NkGgVbVE}17lY5~`vlmJ3#+#CE{OyYGd zX|Q1GO-BL`7iBZuXjAT))YgICBC;hM)<1*1AaB>WEyd?PUVC_bq5IH4LyD#zTUIpo z(05Mh-e=zh2wg-IGVs??Up(*NI%Zgnw=%AK^c?EF)KVF5x_;YEb!XiuzjC?dlz!C?DS+7j3}luD7(1KcgB@* z8E+l<8Clvu(V}&S4?2}Vg8gAG3hE=U=2X{L7e_pQnC$iGyn-1jab)fb|6(qpUH8@K z019bg6@LA*fC&!%I3Uw9-*xyOulM84fG_jkMG*9J{5Ch%yN!iM6{<13T8e?ksHpH3 zjawD`HS)M06e?=)vm?uOBX;obtui*udVPNSk&85~&@zM0J7El*J%ZQ3325pimsLP? zWL5ygB&*Nw=%^oRlDs{a_T42Cl7fP;maMza&eJ0~mEZ~c(&lM(-SyuMFXv~ClWt@K zUja_)6}cVe+Byuzm#X9>?s&3J6VPY_ji)TWHi7aVYRv2;3KXB0JOfR>`Dm$O&|<u+jC zK0|joE+|6qqn;hbL}26$D%Y0}spz&o8~TVjfMRei&@Mk|thu2p2^~d_c!aL;3LZQ0 zfaS$REXCca**)}WMg{3lu+Yby;Es@eEaRM=1~N};lXYJUF4AenIWF8?ADdf2lu?A3{UE?+tXVJS&N27s<4IXi;JzwfKX3b+2- zz0KcV1n&i!vg5skUd&!v)1ccsw$t`reMxw6ZTsGB#wEJe3@uyPJ@)wT;5LE2NFesL z=8C5M1Dr3mO>{3GZvLwgo%i)sx9CL;P|xBWM>AnZmhjgaiy`V;lLdalgegaD@2=nDM0(SjO_w1aUa8KDiKN?RldXH8 z*SVtI2pgq^;)>j7J@|Z1h5F^ISMG~d#2lT=$1c}JV$P9OUEomKKUv77IiLYz2289- zk=HWNp2DJ$$vwPx8OGCI2(4nJ-Qg2tq9{xRC61?GY&K#AtZi-_q8 zTR`RBl@v`ggt~nA9EC8LYyR368s`MfzyovSNf^DW9UcxxbQ(Oe$1H!51-@XA2{+Xt z%%b&ZmEv_Cpbh*EABBARk1S?4rY}lS3ZKnh&F>vSA1MdX>a(%|NE-#-Mp5f=8P6J+ ztM8vfGk!$!6_DgAqiPDOvDyH%l<(5g1Om1a^}d$HiK7a68Sy*lty~T2KC@r=&g02& z-zeGsQ$;aE){yq?y(t*w*?N9{E+{C)cV9jy=?5zYMOF zc1G*jUEJ9MfKFuESu$||E1f_@3Z$TbPE>lUe^>jk0GWhubpcfu>`Mpoz!ZDlL^~T3 zkBHX^okhq+`o)$8X+{y`lGIz>yB5qYpj=PQ7ekmNR;|7^&G#MC80<6qh7*FD&1q=6k1mnWE3Fu^B z#G0Gw(HAcW&}cU3z7|%RStK;|OWaUe#AO~sn3NDOXEB-$ih)pwO#SyH01kaqfB1Wll;2hd>vD)Z zx__mHbspJsC?Fsw9skmcU*H&%@U;E;iX41w?9wY!1UyZ}+bJ>R$AClI41EybW$;W< zY~uxhFycbZ_7|#-f@=n*n7;qB`cF>?F{#jdHtt2(oH$Fq-P%ccF%59!nbDmd=!(PGDPqp#F&#B35Ixa2Li-y70uc!e|# zUiOS*vw8N!p>q6(-b*487x*fozvsn0&+mMZW5-Yz8rFQ*0Vn90#Y*-|yQ>EIWJC70 zSwEm@$Ef&^8fSlz&k{XV2~O8Hq|5FBBVc6-7Ren+YJIaxgU+Vf7qudC1>N?-S@mkm z|-`IGzqu3qN2 zj;537&^-g25_&%ykd#%M>-#wF7G3!;fwz=v0^i872NKEcOh)6_c&C2>*72yxG12zx zp>e-Z$9;)iN)o64G@ZiCMFXM03K?S@TzT}h?qpL+6&2Djjc`I$D$666QQ&vPoM%Hn z4xtzEbmllf4gi41Y4*bJoNz`H<3U|O@p_oQVP5dp{e{YRAXQ8HY^y5!pH1I`fV$|# zH!0bbjwc*j-5^WJHZGyVRtmO9f5du&1vTED zo{q6_Xuop#J&YNwc+VeO4V%on{bwjDdOd#um@8CJBlV-&28O{|0aI;ln1}nA+|eYO z!@?ACv(n0Dwu{o4>ha49H{~1CFb*e1!AHQWb zWD2bZ)d2cr=Prndag)qj)JK(Q>`rlc#b-w=LxG?c~SZm6(6{juXYm(131qU5LlDy z-fGy>f><=uod9DXN))Ww;XuPQ^*_zeeP zZ9+{@{U(IZyT9_d?q@4Zm->>ElQFrZdwK(0DSZw^^AMDU?ra&5Tfp4=E$dG-GfcD? z1(-$0{Mp@a`+9F+6C$YHco2#>QNgk5`b|ssj{yC~E8euzm#aOPA*~5<{jhzTmYzg{ zMwYury`nR4oGrUPLp#P~7(R_19-k%IZXuK(Yub3|h#B>0n&99ioigeQihcN~<4clg znp)5G%bz>_JkWt};8w+%AfhnmyISuAlQ^GBMAcXNRn?m&BL7!c-8+vQ_CP~iw_gvB zvNxu!CYAAarR{4+jwmn^?^7O86>_;Aft~}Q5sEFu*$Z-=6~oo-_>ikgNWu=3V7M9y zsl*$Sf4OqbbD$ETwNsKI$Xp?eN+qQh9)ztmc!o^n@j}HkJgDCfU%w?k(J&h)IUiaj zqM2&xY~)@(p^S#wA7NwYIZlRZogHmU#*JEU3~WR6_RxZ(X)bxbo2x+&5nAi- z9})k8B!Rt-eZ^}~rkXnRHcg~J{`Q<*S%Fulw)@RY)p|pO9XFq(n(h8c)If$d$?GJZ znu+Hl;$&7$g`ZdQ_9R;hGG2A0{Rmy%ztT#$6A(==m8`5UT#6WvZU&h{}yTupTuY>o4?YOF$DM z&aF3;kM&g`(r)>j%?P0p-trrUJJfm;5!J7zl&Q5~O}}DzUCxDC%@-5eMoW;v?w6X? z%eUIE!bnUWRypvWK4+lN-Ef`;R+WEzf&~_AI;31`7xX$cw+TnmcM-`KC=b_0Lj9jw zA`qz)ny7rIgQ?dVC*`cCsYen?l{@R748%m{3i)ha&TOu0Q;K=dPm$c~ zg`|*h6u^KB3u2~t3a?>%kO7mp0d>OeACtBXp(m81g57&CKgf8&@~R`i^|o|mnqY2f zSFSUp)sS#7z0$+Rbh^wZH7|@}&=t|J2${7ybMMMkw*~ZYQ zCE_65(L46&rp>I!UstfIl<9&QmRdy#LB(^H)+&SMm3niNe z58$!Tl9cA={EA1&>=shrPut$Rc#MveUDta4fMzHSULnfc{nyp?RiI9MD%%vY?h6I$ z^lKx4X<+jN{QCZ|#nlK?i8bIc(>mp;e*StI-ktq+o3yMg+#mJ#olYvSbZ~;qm{rsNKPP)Xa1arE_wn`LfGvYl9`2#q+*jZBc*@7@}3RF?VRz|Dw1{lVce z(I4g1V?oHEo0iD6VIbrr_suW34!Otk41U_54=~Q+EF&QoEL&s|(vEKM^gcbRzVmFcQc{$Kl zwP~;2u49QLAl1tx%eTzc2jA_4Cfd?3#yct#iQTY7>tfG@#zg<6(Ebx`IeKV z|G*BF1eqOrz=0WaZGFH&xQFMz_!FS+CA=5>n4f6by0;RN(wA?~P^o+%IB=nI)Ud(V zA-N}pPNmKfH8Mmz;G0ldP|R7(RHM}~GlqFGq4+`+YOJM*^JYiBa`oACl9U@%3 z7hvHkIY!1lW@?>>JzbWfqYk$rLu>pS438b(FbdKw-is{VEE~{P#c(3K;pT?c#2?H% zMEv^fnmH+wPr;_a80%LkavAflrK@MM4vXV?7`bhKJ}fijPk@<_6PQ885QcJWYanaY z6VNj2cMJUunSTo>fac(KXSWfq!($>~T_s^!B%_Z>@pjk3b z@4SJ~iBJ>$9$Kr?EL4w+p!N6=tSKi?w}+D);HLkO(l%G!P9z$~b$a^4L7&=GUq9nv zvBM>#N5_~jr2X$pZ1@lK;_+)Bw<5MXg0@3QE)BkQKk|nEvxgV^VW)2g3{{KSV;aB_ zj%(ffd=3(J7p+S8bbhMPZAyhyd8o3u`|%G9j@8~^a~q3lcfYr?ObRI^jrF&tVNNqk ze5r`0y_KK#)_j2CO0V{EQU@1{0o(s(;4XU{PelU#cauJhN@ZuUhYxXxeKu#U3$nhV zAm*sWg zDpw5zN>X|9G*^a7<K&IvuxVK2Cc?`Sw)esg{(03 zGA6gMLLh^5xLVwWx4`Ut*3GuYImlOtC7oFW@=)`}zROzliVk@35s^bRkbzkZ{&RH7 z72+a}&AkkC69B2mR%z4J>4m<+`E#Vm%Gy4t_{dJvebOwpr6qT!*fypD?xlho8iM8J zL-*QBv{$-ie0NjOCkA9s3D7E~{Xc;eA@Cy2I+SZAK!0;A>D7JX22T7iqD{-WbfFii zHaY=#v!yRdzNwofJNs8J5aWIL;Nq3goIX`iq3g6uXjj2%e2y!>KI?c+^~3o)6VwGH zGsOBo&Ose_8C7))wb6>0nsEF_LnimCC(X>|8NlTl-{7ODy^F zwdzBmb|T{RMIJ6o4*Vzh{e*vkIHqj6Wp$=rIxjMatK@_%Vu!)UL1xbrF4T&3gP~=~ z9-JK|nNT%7XoLa|!%e!$utwFPjKGEX`R z<9f5K5P~gsF?|YfqIQ#`&F&cCeMnN?PO=+DsUHn}a?evcjkO_Db4o)ok1va;pqz&Q!;$ z7_~f3FL7zYy&;K;luH(?z;pqx`vr9OfHsmSI4rjL!9J7>Bg__6_MtUoLlBD4yhZl) zX!?Qt8?mT{Gq`3=d@)^34U9q~IeK3OTA2V}Wg`tnCI`)dH?LO7N!D=mUOdO+04d;4 z98WFPJrBD2j&}x`bmtF?7s$T9g>wTI<(<~L2~IUQPv4)x?|90~AB@Ifu94IU%eUdZ zwpdVGQ?)$ChI$lCTx}1Yj@N|ILDVJaE7sBxv)s_D^raB9>?4_NLFP8U0g{jO+g>wQkG04+Tm?n?V#$u!Q0P@8=NC1< z0dyPON^8AK(yJ&Z+7YfACaJu?@Kkgmgv7Tu!^i3`;wM2=)&GCV*u-q5g zzt%x~;p-SSP(iCYu#LDMnf|m+O8CqxFL)vm3 zQ@r27JXEB{hi0c@x<&9mcZlu_W1aX&L9aJv_0_Ilr2k0~wnK=YV~C}?o*{w6Tx)5p zcA<0!^fJC~RJzkoPjqs*!PPqjwi`qSs-Dm>@huxO-?%dF`>cR#hCPpBG~tqMpoSz@+Cc8~};ci@hA+F$K{XY#UVdJU!;>6gjQ zVkQe~&v&l4J5NdeO;>fZ{hf+=L1e@AUs#{Eq&;B5oh!h{zd36zl!;Fo09`E!k zS*d!V4@SL{cJRa3elIq>Pg8i3)gU50_{DgUy3E3&vW+IF=B2q!jR6Z8mM-?RERcR1 zkj?1XPSbExHb+!v&MFCU>P4O+SBllFTY&}o>c>VWmJR`u)7h9r#wRwK2C28Wr zpKs%EEgxxW@}b9j=g*tiT672Nxb%RxV86#Lo*HghvjMSYUgin$1mBx5Qw@yejjllk zp2P7)-gVyH_*Fs2DXOVgkg!_s1mZv$+jVAO;{_?UuHa_~A}B>n;_=7RH6<7cRSGjm zNCrpGIAc{?OjW(igJi6P-YW)7%idraTP?n&KtQETQ`XNRH2K=pnm6uu(#?`}_6p!s(Mxy$ViOf%+tuHrC z+CWY75%Pxj!ll9@;dt{;MOv-n0*dBI973TS3aQXK^GNi+;k2sq+c&CIHu~9utq%H0 zVnR^jewF@aD7yyBt632K$_Ml1@w7DGqevH0;H%hxx&`0T$MuKXI4S)-UR*o01wttD zX{1TST}nHs`oR%P-~_^B@>~whC0E#9EQ8_Ke@BDohvjnG8rPMmP@dS=?5{L7zQ!S`H0fWV44x@$OFi$~YMb6ll$Y8s3 zj2tovx&zp$vZOHTes&|BW3&^x`Oqz1i7#5hi4O)Al zKA<`57Z!LyozWW`S+LAUP=Xqdx;YitWOReYVmg+Uz|}JD{rl`2VcdE&H(~U1Tgj-t z>DTQ0guV3wto4;P4JBCkB=-tzs6BUliED42VNah-$L*Bx=9k=WBcYL_MQpp3aJD_LTt#9nW9>0{p6W4+1@wX%b?R+=A+G=|H#<3E_;R zXPE+i#D3ZKAAMKzMuZnz%mCJPtno7oMX*Duct2;rG03W_P{jQ9QTVOwY5-xT3S}(P zVo*I(saDDsbfrKOYT!x*mg3>lNPSf*L0gPdMPX|TO3M}pRoq166xffa(0Geelq60u zlD4sOr2%fBv|HEutJeWpO3jXeyG&zLP#>Aa;7lRw#s5H!Ju8WOUH5{p*^j51);jR` zaIDgn;P*1CejCRIwgffSrM8y6X|Nvu)_*ZT2KNmJrj2?!%MUN#4p~1Pwy@y}pq9`3H-sSb zd|1G|V6hM(Ms4@T+N689=8D=7FK>sOC(r>Gzi^|YzELpMGO`+f{n11aBzWF;hsO3H zTWy)t_Pvv{jSa~@-iSK_&##a1`oX=>=YVb$K<;P46plvkY)Gq*?O;UP7@c5O-6kc< zEMBL0g=Uz6U61$_?^b0?jpQ^WFav&c9`GwpkmL&AmI=U^gqj_OXWOZ89RTFTXhbcM8`FF#D-%Ae-*5AfX|Xp0a_jHh(rms)O{Oba7Goi1zN0h=$?My!S*AiX0v5 zgEULFz#g78vKI$@0pGfmrT%w3JAFU*pn54%R+so@I+lEXrTPwKBxtty>I?wT6LA)vn*Ub4V}gc7v5ACzP-CE8OmGCj#@~T$ z$jX_Ei&w>56KQ)gBy z?Ig>jR@N17g-75LQN>WhQX(y(6S=Oo;#dIf*xnCJQ1BGOTdr2_?VP7r|t*0L8kQ@6gqObXw?zkc}tO+o6kHi7Z6f2On(JVHW>NsQr2 zeBQLgw^e)1(P{y&HO%TpyN{_8#Ry#p7|2_Bpk_RkOpwB(R%3CA4EsLyx!$$z|_>d4W; zvM0U2EGU;7SrVdi?JQqOFPHYaUpYLA!WC+u2!lhe7G5&{qQSz+s?smVHLv4Wos)~g zV)}KS$3{LmzDN%>MF9~mzhmcr=QIRu-ZpXPG53JuNjwXsq59GR$Cd4x6XRR{lO$8! z08LcKRSi1S`YP0i8iBT+6z{PO%63d~+{S2EnSNI-s`90GMmKzd+lPU%4tC5g5)W_5 zHF0Ny1R@%}Ci3#kMmmqg52SYTmD=PKg1TOCQ+S$$*&Vi#yi3rw&~Q-E3*?00OF^fg zj7wL@_}>5a)RG14PTIu@=WV^eNbpt}RRPJRw0Z#F(&KFC)FrDYTg-eCfp;uhrFIAk#; zsEPw5pAieK1sw2s^?zEFE@*vSo0IqTk&8qJiLS2+`Xq=Jol2Zc*y$GQDNG7b!v4&1 z0_8p1M4ni49(LkNfM$lb;V3B0wD$s_Y2xAc&uHLe;g7(b*5L!ny@CzQ#OzSGwF%c2 z7)OFww>?0*k{0oI?`5PMklk#vkVgNvb2r3gwx}O!mXWPCpz=9FBon4WxHMxNOzEQf zWt=G6X59Ze-cG8gHZ)L zO{6;m{ARfRp*_$4__?jc8CO!b8Qk@f`jfz{#dPRm=Lo$8LvUM+AI!U3@LWJ?spy(} zSYeKBZRA~3xA8dNPWf2T?y$m0ws{{q;;rj}u@xco)@G;%#zGbgRKhU-90nG=oU32> z*Q(-^{xTI24_I;c#!w28>l?H*FV|V!$NhW`y|-(iU!AGi_HV`Rc~l}{?YYuXD28zo zP9qG68A^uY3<8mnk_*zUWOAZRYoJFiz-ead(#Dkd`^!IfxIsp#G=2<#&(G^h**P{I zsq2m3eOR7DPtL$ob$tp|aiPbZrawNl>1zyK38t~nY4sEOQ?ufLxDSDjK zsT6_GD-nusYh;q)r+1}aGVmcAU=!-+8N|J}$sP5yBhM9EvfN~`?A(B=31brGT%O~H z50QH%_BMc_`n7%|q0ROdr~)3F2E&B@+wSgaX@8)yAuO`MZ^gyu4^-T*K`qQPk`5Cs zCX6`~f`j+fqknL@i8}R4ZR=6(PM(u!DpMQ3vC(<2*d(V!kJN6U)m8oogkWpj<8*j1 zk@vj`koAH^bn-M-BewFndA2_fkz1y@q=P@E{9f_#veQc=55Ox0z$JzYN^uD=Z?i!; z0+wo&9FD-F(@L%0^a`dc1w~wD;!EClch-xi6XMzfre{!yT;fI}svF*&her(O)-@y z#T(=z%CNR|`C{Q)#?i#?vCs}k?FgYQthC~yiR&P%wbygpm_e>I(VAeQeN z_U$d3$H?9zBReu5d+(VodnYT&-kX%Y_a=mFGP05p$t;S(x1u8N`TXAZ?e7wv`@XJo z9LMLluM&OQ0JyYAQ zn3j~d$^W(-E4ph8t5Z3&$T(YY6Mv;kc;CBN!S|-_Oce1(D}bk7SuFAlCR??g;6X$4 z_HHz2wMRPgHDOh~K2eG#>H!#o!1I5Pnkn!`Ffd2jf}vu=?i3L~s)+!=4+X4+{V~-i zu}tG9EMOwO+ZK!#D>xX@KC`%ccnss}$_$`nVc?7>$2**C(D0GpEkj3Wbu}d*?!ijH5i_Ok30*nSA( z{vgD^+Tf%iJZhhnp62`Kz}91?Z+F*QyCTswPq(0auI&XP_k4F+$kdYwTYLbD`|MpF zvMhTs-6ENtL}w;3NwdCEjg98pA$=l@uKt#7^+0&GX@Ol7N0a?8TPg{u@COfeW$q|2 ztarNK4^#GYmIoI!7jp2P-k{uT9-Tp=Ab^V`d>u2~y8S)_0CC{evW* zp>QMZah)^kYg*EQe@^;F4M0rIO@Fz-NwoO|B_uXSq5BFp3R*?EkylR6o+p@N@ocgp z1Gd7OdB9RyO*jw)9akEoEJ{!cGbmdVI;{>qF6{TPP{P*8idCCFWe=MeC@9NoW8WMZ zs|y5pZ6#YJb@RTS_&FIP!h9=#>~G#ng4FQS4B-xzNPzW%d+ro4$}}doprXYl-}dE`srGIgxUH%PzpeH!iUA^K%n!{plMUjeR!uM`V~S zO(xPk-#sy?T^JMZO)N4k#VIh#bkanTQfMkglt}OhtW8({^YI@SpQTO{ zR^4rk-Rr;Cu^^leJhtHRfZ|N=GhNB+o@i!WH~hVkFYppON_+1z@-PMO<4^i37*%HX z130RNV{npb+;wrAG|P7;H%+hu3#qaPV07JvPSS52OZ zxR4O8#hYRns6u?lN!HLP2S8cdOS?nC{b&}8(FqrC0a>hd2|F+0a3dm%Kj+_@N&8Suw@M1^=f8pc1msa`Roe7s zZ3KHtF+HR)e}H2+sn|_(SwHWE5h1`5l_l?kSuA9SF|!^^ej|wY<$AXpM%K8V%k3tD zGR)il>D_ylx8MZO5V_1R`@wx8p5P}n4JAS$wm{Zr;9>u~SZ23N=wML2kjTL;3i-k_ zKH>C4`IUk2e|wW`ty@Z&m@==8U>IO$_f7NB3eu6WA}-3ue)l^FogtHa64?Z0Jt*K7 zq420b8>eAq`4nQ2jjP=i2mKuSBG~I#+$UwEdlnl&zIw0ewgK-nEcTMF*5yIL))=}( z?Dy==C-%l%tQ+bR-!j@{uxp^_7%#rbUqA^*~ zSQ1H|&&Mk4x=|2=x9}?G>4*-e7O~LQ4NP}oNYE9TNK9`Y*t9v~vnHomE_kX(C#^#B zCLOCTEG!G~uS1Mzbfo8bE?_wT9%b|(!v=oIbn+cXaIL4{qNWuN z^b32m2#}!gFn)(s6G#?z?=3#F$C-SVmEn?kv8P(kT@NOOx@= zx=7fK8=pD;o$DGAz3dxHr!?JTADaS;J4bX&=qY zXZ!-ai;v>*HSLoTOy$G`qe90T(z(X1#Y?!G>acTxGnlI9xMkyItYdvJ%ft?1!9xZ z_wky?3~DEJCc%UQ%C{e7dhO6YKQ?XPPUv|$&g6Ub%5F{XUs5P~ zKv<>YdBaFI;342dW5BviFghYZ*ru4wB|NrGn>0D>_Gh;oXP`}_JrT=)tZ3NhV4kIm zR@2NvE76m9c>v7Z7n4?{jHX{&91e(Lo@8FsJaNi*#|K%CmrtPqFD1+98dW3QvXVhC zxovPd!SBlh+{zV(11Wt=^kd^=_{7F5DQ`2$8sGeZgye8T@?1%S+gQ&L`r#1svU#Z_6^vBT_!j48CL6W7qwogr3v7npb^D zrXA=sa&N&^A8^4!UBZpK`&AJ-)+L8vlye%rxUg zboJua7yCv~E%MQVwIo-TK7t?ML7St{eXUDHvw7;bbWr5Nb;2TV{waOh4uYF+vAobMwK)iT_GnT!e`*@ zf(`nhurL1Y;1qrbWk_{h?tQ&OQ+5ks%;;b8yd2 zH^E{pD_5AemN8*sGTTy=@C2nPEayXS`VZQRF*$l%*d#zEnXM2gluC@5(JYB$MGIk$ z9Y64}4ok75s77#}%Eqq`CXPRpOyN-k%RRCFGPb~&<(t6Mh)u9vyj~v_$4b(!n-_8| zM)M|#WpTUfW_Ai^L4ceuYo|Q3WchstDL{`|b+kBsgSeFPfT7(B;er#vhbM=iGS?HW z!a)>?prKVzD)+#sA4-aykliNy`$kGHdU>D9z8=rDjgA2K~g(!6W@>nZ!Wy^Tq#U})ie z(7`*5C-*=p2FeVy{b(sXAKVq;WFGU;N!qb2#%4(+Ipb%)Q}T23i66Fg+Kr;sBiQZ| zldj4fx1|bN#{3qk4w`yEH-|eFTj|TM`}TpKI0r`FY`iD^!E)m|yaXw}hBO7gT$}oX z4f2A$UDY*n369V|17V*-P;Aaq*U`0xdn(})doVr0VbbPL3f38{^>$=&2-R1HfTII+ z2eLkN%e=jrXB3)B340=#?_p;I)VUBWTdb$?Xg?`uh3h~jQD(EqK+VxaEVSsi%*yMf zTo&T2`3J^S%?FF#RM{w0M`lC&s@s9qG!NGz=ec@yQAXKMTjc5sa_*|U;{2(sug06eJxN>xyC^ZV^<-n#O3jNv!tv$A z2Zb;i?YP9-<{TgO+OJ2A4*#3IW5q0>hS5!C6NUbre&nLBS>->r2|JG?LF`G*zGOLH z(a&WoFwCLa^ym|9gVF&e=^F0Y|NVtaredQQI!v`k%Ak%7$S{rdGt;Dtt^syO znV|wOjW%3%NJ4xiI$TE9M-wPexf%0HB(*=Q^?Y^x1Op%1a{8++AHMIb|EmWp&{>)P zw1&{mi3)d=$X=3*mXoS1jF4iCsA3+-Oc|&(k-qb$(iGBLRlDq-P&;3}g&RbLX>YGa z%2`Mkh|o$JYpf)@eh+Y}*E=5%&2D%Z@#t%m8uM$r;CVt@JIA&q;1i*jEN|O#OSVq) z@&|4vc2ch`*w>8Ox|a!Qcd=tky~4?CV9mA(g=mG`j23eT>EEhKj`k_F z>q}oqr*#cnF#1mh)k%OwzbNNoVmO*{_rX+JpwsQ5Zy8Mkkm}%qkSWm(V zhJ{enE4hoUs5a{ByRfJSK&eo)8V{Jb8nPqZQ0h25>Z&H6d~z3sw(qdrXKx1Qrym*D za;>2%b>hc!2=Q!vL-eHe!e!1Y0mP~}VJPi=)mv(Zwt>r)@1Y6Ox~juWr*D7**iTkV8U2~D)j1UG&ot$kis$Ej6x8KYtjqcg|p&vHFel6Sj_Jut@I$F19!WI`^3rAQ78$ScY<;`iL5{2vmfQ=4;YsGNRgLA^Dr zthbnt)ulQph7_x3OY9e7A8VjgiU(HmIr6ph?+lIK3U*mc+w#0i{9jo{?h+Qaec0H! z;{ZoKI&u(C1}%!wT-4xUfLjnb)9?2PL)K0@qI5h8qd}Buc^3X>c*9573z_dnn3qy~ zsUd#yOKqU-Ww@t9#Pxis5(2SY>G#$KQc~bfK%q21Ukw}ug8?cGJa6zQ#;R7QEt4|` zQmv;N^LyfZ4%uVg%UD&n2+wX|Uq8F^y#*qZ0>`scF)%|YtrF~Ezk1JZFP6pFDhm1R z2E9uz4+xjD?`=>ykxOB@W*wY3uORa#0b_F46X{CKxFuk)jCx6l=~b!^!O`0XW!gRX z_+hNCBHrG*%7u>XOMiO22bY2Z77FG8$OBFK0*35kj>&#RA&c2Oi)tzZw3E8hPrVB!J65tzil81|NijxN91<|`Nkm?C> z>`YOP$#WZwZJhE6f_!I>w*i%50cD)_0jh~apA1_A4Te%%PWLK4tz??aK{+WNId$o& z12SyvgUZY;2%q0n{wL#P{E+L(CxSg`z7$RrkDmIo3dJQr1aljL5Cw|26y}sS!C9vDHOJuvO>70{z1PpGF}WI^`g+=%3>ye@DwkD% zRMu!1mfn26KUqSZGIW|DDBJS}Ehpkatu%$U{7tiTKk?)Fg0}7$=nVM1AQ8aDZ2Uc( zb+ybw1s+#F=?~KJbcM?l97S~%*f%2N#xJ??WtHzV36u5tnlB0xDT%05!|#So{)V4O zk7#Q6Z$$ck*)Kof{`iWepOTlEd&F!I9Z*UZti<-^XU6FD2c9%!Wp24-DwFP=V^MR> zC#met8lOO3s=>@SovLnC01gAme36g;5h5|j(l0B}?>wwafI#T)*tyhxHB=CEhq~fu_k9gTFu6cp(hY?y-7tyu% zeInRGr!3lV*f9EGSn}drY2WxG@}yYa?>TAg-JM0{eYACbi#kMF|45uKa5%Rb(@v2V zTchM5q=F$tvv50BD3fcd{zVnP!_KQ?%WK?u)qj>0kvf z!F1ek)?k?5SkYkDAuq=ML%HZ^L~;(fTwtlfhcNBqhCeQXL!9H$TE9AnqV@WBa3ckakj$>lmJs+X0wfSsW?PIkitL_t4oFn2-_z zYsx{%*v|zJ54C6e(E;rSPdVfQcs)3EIE4+cCiiE~e->R0dzt5PqfF0D{aDjL%v=Q~ zU%2;Hs2iIYegtVqXN(<<+D3bf)HWakd9rjOv{7B7@ps8ynR}6*|u(nJ{#ML64Y&(SU^P|*V zynDNM7_o@(PI*s!#%b@@*j>&Z;+*Wl!q@dyP@cQco-!MnEw$&UYV!^k3u&3$4=jtY zAL3IQ4fQsZdDxZWs5T8t?&%y;RO>_ZNgNKSH>mmU5?Hw}GZ<*{h#Df>sj zQPaeifeo`?n&&h()22OsUPv%1)Xlwx{;$w0M(X8R#2-^T32~y86KwTY7kt5qI;nX3 zlq%Fal+StgY&>!pMEL8=rn)%M;_HrEth&52#6jNA6-V;$0@VTpNk3IpM(AMps+p6v30y262-^aU5aB(SDW>ZS z)%807Eb@5wCGZY(I!VtBfR}Mm9{)#J95)OYYI}Dk(%35YKhvb%C>r8PCk=>}cyRU! zu9)C8?TFq-SP0DcgmKu5e~yR_cE3;Ak42kkhZ9t(YDrRBApUJOiz}_GmGt#9a^0v# za!V1-IUtNe?%750RunxgsqbES8=b}v_dH}8Ix1<7TZj_|ZxMxNGP^eJpd~}cfkF4$ zuL29MXiS;tJFXyg*zosQ%r=|mHMtf`+HxYe^@$8;A%gfSY;@~xtYC7&DT~TkH+u5S z*5u~Ey_r1IY91N#y9Cww_GOIT2|8t5B92?UMJ(g_^rWmI9lJUIe3(@KBEnZ_Tb90C zwMsMxjMF-J{mK?S*U+>GPgKKVwTT>TRe@3zIwSa*d&5h4$gUUD`8fq;E>A{C?p`oI zXJzAuY&AGXVU1h|gAvC{2=75@Lcp|1QD~4>P1J_EpY8;{)~IrLfG_|r*1Vv3=0BMK zj}0JD%gDPITbR?&c5Vg1r{-QGEgnn0tXAHhiMqbl>ECCN4h* z3hgrG+Fr1aNPt~V8zK~{GBlp@z@l8M{UzuxE^(Am}nius~{AI4i&8p;KrncBw*|@15q=Kttu%@4y|CX1m$;FbTM8E zj7_8JhXT)FCSK+~JX8-AEa_gPoH@pjA4deY#?e67@3YhE%g7B_>0>z{=>5E9-kk6} z-|40JYVZ7us9sTC_xol)1fMcqpDKZ1x){c-9y7)hj2=W@S-F2Y39>@`(9?uy*m@;f zt98_qA60O=D%?;fnoEZ!s$Ia8Zsy-Jo5NC#C{L$kHFNpS;QyR!Q4kCfJ0jc1WuBP6 z6hf;LLG+52Eqv{JHP9SR^7^ zHc!0H@ZD9u0MRvg2|(SE1oF!oy2@}e<5*D8P!vV~Qg<|}9m1oftN!*rAIDET?BWDi zbZVn7>JFx?=ul~5rHV0*5_Lbit#}_qTi}}V%c2yop|wx>OITyg$yGF_=LGnhe+}mN zVH?2~(y=?if7=tXzAnxBf=;_OL#EL-rV);Rz@C{Z_j|nk;w`x2?7RV`D^tJ2dQ0*g zs$>{PNkSr5Wh=Y_8lRx_f?^HCyvVP-DU=~euN?mKA$%8vSZ<2P5K7kPW1tiFs4)Om z162rEr%%DM9C`=nJD_;c9l}|Fe8`kDC|d}r7leVj6*5R}-f<0=*}8ayIjy)>C#TuX zcmnhVeZZw%V52Rt&o}j*X%NplQP0if{9EB^8NzFufPd~Jp!4u>rw}qt0|4nwgt(Sd za8~*NZBTa`efj0czi*-b|9Cg2NHUUuC`fkwh*ni8duTBd#@p>ZN>h=fC7BbFcyqfV zQ9ltB_SPMYgAuA0p>V;`@SCAUS3wL#ig=K}y3pXS!7WH9!$vf3rTn9@30p|W z{8Twsc!B3RmAAift(E=VgXBRdh&{MXBj6x_5lStbLREwG3>pH_N7gHB=U_tAVTw)%SR{%)4ISV7jiGEb{!ZTU_9i8bpo+FZ6=89zBCdHV} z4$pOJ$&Ao{#;seUEdcsFZ5D}rUT+5Uv@M0s6p2H8Vre)KkO>$Gt+J=16fP7U4!<~A zRmQW--e16QtmMqr2I&4z%Ir1Giv!zZCv%6O##1nQOiLje@{PZ3Cw~!+1R0wECEg z(QHwX;Pl35DY-LBcL!@P^W-XAv9xQos8X3{D+qpqCtho998)@u;*-&;dY&WQ$rP}r z34fMSE3m!$J^cL6ijcp6qY#%yL^c}c7iR%=0}*tVe{HzIL~kM`Oih9YUvn5pD3wGS zWBEe%u^!9FyoY{u39WXV-MKL#D6iHU&$yAK?a(L4z4PSVeA00Q0e$V0&@cRgo_d|mk0(;HO41PAvCbL$IW;i7b zt^V@cX)0V)$Z!zPW$o^X?VbvZX`LZU9hFv0_`dkQ{TT?83`_V*&qSe0u0qhDY~_1Py)pJekqg=#0fP|D>1L&updO)PisEGk72O$tvO=Lxob(Jsg1! z{pL1*d?ZIFDdAie7YQ@RtG6;}Qm0oOvT8EkuizcOU*H?-_PMA;8Y6183@hE-z*;292Jpd4hV^1j6m(|tlW+zvDUVLcX_r?WR)wXmH* zSD78^Y3}_d9nc8+6f?2U7)6y_It2%xIB}=+f0%WF&l&D&Obo6pA8MD$N|R(k{sfQ1 z$uVe|LDn*$Ts@)C!1}$%R=(;7-bi32g{`A?2mNYTbXiHJ@8uEO;a69U*~}`uUA4z>mYc-w-P}*)O;A?~ zRLW16@!yxkH+}DSC)=R5@(qvQ=h+lL^^&~YOy>`vZB-M=Szz@)T;fJS%U#Q+x%V$B zXX3pqmegG}^VkIjl6^?MV+TrZ3{q;Q?+P-3Holqj)FItjmb8o<^L{{h(M9M^754~f zO#m%v8I$p_Go6^5;}lFJXAB+%ZwLipdb2aSly-p{82T5}B{Ke;G)2ouPl{G1t!e%v zjT98-a!AE4@ac(0|4IT<-w$|j_)P1AWY!iaj3|hgQNuDA%a99dbW384p-Q8BiV-JZ zs32p88$eViLU1-ucqALTnu)Ssv?hPV2p^t^HO)kM=|!*zKv+ELI_v%kqNnMbiunV0 zxg+jX%(}xH4It#BA=e6!+v90E%>Y;wv>E|%M;kruqJB1taQJbg_>`T>%>HFasXXpko_K%exaPGct)P&TWkrb}9FEwLM^7;{^{>?o^2 zz_;+$@;CN=V(~W~IhS-rgL)HzPSv{xdycXRN{5MpM0?#}9s+2!QOIz(5m|xN5=FZcvpFo%w`$VdQAnv5c9*%FS6(gH+MH*hC8aRnzL(<}z4C90REl^Z|Bjcs(JToge0pna1s&1Opn-JTAR3ira9&j1Q zZBJGQ;j%m;j`f_|G_r3#8Y;x1Dqki?<79{+))4sYVy|HQ!Y+==msCfJF&%if@C4#X zU&IA3rI>5A77Hyko8&!Ln$G4KQSNS=DQ}0lx+Ljs0w3ChHPlOQ%WdAq{&*5|W2lro zDd@9c`|5AFiEQn@r5~JdCBzf%$yae^;#-vtH)Wrop)EoDVDC0(!xh}tC};(0$Or;5 z#M{1L|I}FO`oW4j6~}7^*Z;0K#-X?yO5Y)<@7m ziILMCzk8oa-M_h`V!t|xayKEqL;=p&A!PJR(QO=_7#V_{?!OM2i_|aJ6}VmL z#y|Ru5Q7C^NpF(q!0_1%xzVRW1Pg+f%;Dbn^!`s{hA;ozunRvt!NDeG+KxFfZ z+G1Z}xi6CTrZ>3k6H3A+XDKpxxF@04fmPVX(ZD%Z?78@FZyZ>fY7FIKZ(9O3ZE5bgJSlTyy% znVnl~9Yipwc!6P#PG9(iIu=U~-VUL&H?gqu4=c z_$h|{D7h+Xxg7KPGxh0UH7K+@5E!M1CmR%=`t6VH~OTFUAs z93Q4s4s|XrkdS$cDw%+jxFz?^0Eq1s@udv)KKKAXAOcUZLH2EfcrOv;o}K{eYZ#Lm z?0_(*PGykuDS(0h|HIJ{K|^+VTtde32aQj1oGrt-q)%4{TgFbXB^FX zYj88MDn14l85nY$OR%=spW1ZEiXF|6RSO1RC`uSB@I_ob=fhOqw-SOfDBK55z!EJk0U6&{V!;;ilQ0=3fK?LpQzib`SNuu9l;t+Mi4)9$NOFM8r zQN3&KMYWq`*}KD9y;2NkT_x~vr-!do+<@;6$GhhC!k0YOoqfD-LP2@ASu+3;)Py&pHK-TOI#xzzE>Kwv<3dbz&!(!lmaskc|%7PGjsgh^A?ZTAarO5p&*>b00To zB%Xgw!D|!cjO(B5X)7{?5nag@U#?$k?;)&@-KC!CACkM=aIg1jU2HWge>?O+`R2w= zqeLS;IMt5DXD|-cF0ql7+sriYVV{5b?|cAPe1j0NmFO=x0QcFgUM)G7A^P{CaA*P3 z3IhWjC0N8}&oQ0@{2vljDkOYnvYPK+%Ut4*Ei) zYVXV`aZi}59!KSnT|AFXOtipK%%o-^>$g?AH(wXS?1aQpyv2&89a$#V!H4(WY23qt zT|s~57QrFOJCP&;b^(SDSSF&_ZzeuwOwjvXeTq5f4=?!G|G6Oa@#lh%QXjv*t-c^g z$EbM`U)!dnbvORiDiWC)DkM?U*f2@_QyYsT^I-kHp&lBu%6-Ab&TGes$O8iP3iIW(5lKk|}ojZm73?(sAIu_^OKc+c!U2fggMrxvY z_vp%<+`w$_qZRBkUCLKkQ447%&&k@!xp7oE#V1;q!)rSg^jdNhlaF59!>7SW55_iS zRZGju8Xkozj)ylss`or5mjX}55ns&<8bhEk zbCJ+5IBkRU<9Wfk+E1(WM>b`wKUIH;{dt*j(=B@MnVYL?0*8@=fHqGDDo!fsCtgjS zMoY+NdDjOd2<%zA$*)yWA-RgBC8BRTY1iA)$NQs}_*xdVDKh02QljrME1SneUwm-O zeV?yKumgOF4q3LjV!0K%pEACWVNPeW_V5ug35n7dteq}QdOA9yFBzVmo-KE%dWPEe zqC;0rQ#g{3GDC0Bw`5dg7Wg*l9i#XeZ{K3F?E6WX+2o4!f)^+7HO2DZpPK6LHa3V( zH8s5xjc^wjtdHKlWc&gpcPjPbqH~`wqlpgP%FhQ@f^2u7ivPu|BeFoVno-HPp~KGg zTU}S%bVrnt!pmDYErD~MD7BZ@M6ovHq%U#k$zG>z#HwqGW{j>Fn(v=Kf8-_fw0`8! zoJKw@<*3wh0bA;u$TsF?EE)_4Z6C3ag{2`RmRcr42V0R%EAm^en7nz#=Br19G#Wxb zCu*rA+dbLJXt7n@%$o)VJ{qp(z_W4as9`U}ZMvVZ9(1#TJk3T*^wf8g-4eDpsV6ri zWqb<|2c(LGzs7Z2-oPKJ#vY`6TtP95c#;#&p7fZSd zfy)ob0aQ4)y1I(8V64EIkPaxTLUR$i+aJ*OeMJ^x#VjmR(Vs+n$gka}-5hrBT6$p9 zPFH=yGs{8@sW(`P^pAO#o?A*dXeaIE+KJ1&g%(<#Dlcz8o*+dYtyRYA3r%GgQ0HoC zU_fqpyRo+R*`0??G6@4A;v8nFF;)csU_fv3`OWA5j*pL-SKxChXd9J2c?(jerhEOo zNz&5NF6ieMo16Duf}Ns;J+Ok*8bB8G-prerR+@kZ_jokU<8;)im8g=iuBhuB|M4b#3v zf>+!{USd)Qs`;Xb#sx}sQ*3kG2k$QJWweHT0#cN3-nvpytkF|Nv?B!GDjvn%w69Xs z#C#D@B`qA!g@)T*=_Kb9F|?&5`zQO&ywgWdUk4;B6TLHUgLzXxae`iuvyaaSOc-D| z{l43mEmm&f;v&e}y3kyYo;NbCo37^3kAn;kSeR74B07bW9^H&4zOL`IP`ycKRmEbsJyPra6iS?^6 zb7kE^X)zg@uz#1qJ_L(9Hij*x{{H@#EC?44Q(L!Pk@D(l+#Q`&K6pYCs@M^l=Zhyx z;}PcQ0T@-JgIH-8YlG74NxKUgwYcfSSd8}Kx$+%9G7KuHzElm<4fnR;c-WQjnPw6h zkmLu2+D=hEAbR2vgTF)-YWt)wgGqs^QIEgy4_TSE|6K0k=(g{*;M3h6jz>dQm{rY|kR@A2d9jrrq0f{JQ!+X*%vJTVa(aU~ z#3NlADH3R(=-cNj?wM>JdV+_uEkI2wyrNcpB*mLOmC`R6b3dl1u`y*AL^`;Za4ecUCoQmZ2>_3*r!}n031fm=~r3=`?i50QcmnsjJ zFoX$2gteB|Ynm2-#mmJ;Yk$j`waI?oMmCvpj z;KhuRJ`qalsi~{?hX;N@4&X^Q7Caa&pN*dp6C6#!ats4=w9cEe-z(Jb1 zz52Q`9Y40I1dEZ?p};I-LRp0LR+S#n^At0h6=Go`b;Dt6N;U@us^h#I@=O+IwlzKF zOJK|4hhD|8>QKx2?co&%1_sg{9UtFBASA)&xVmbls;UZ>_U0@e7HJA+-K?w8Pi|Z|6tk;YA+Ay`JpA+TG`sNee~#&k`iW%nExlO w#HGo3)=SM_gr!-56#w_9Q%>M5cAmMQslBHXo~W&Ffd+rnkvhsvinfve2j|gq^8f$< literal 0 HcmV?d00001 diff --git a/操作系统/image/2021-09-06-17-00-23.png b/操作系统/image/2021-09-06-17-00-23.png new file mode 100644 index 0000000000000000000000000000000000000000..d828970595e445f513d32b7f702d57aa3bfe50ef GIT binary patch literal 10053 zcmcI~XH-*Lv@VE(=OA!Y1f(8CK}A5McaT%QPCKFRtGW)*sG2r?S|Jyb} zOiY~L5B`|j{YqS!n8e2QwQrh-IudaPLEIi$(!buWow>$4^=QHeuD2dc_21LZiLLpX ze}UZ=GA zAWQb4I!+&n6B?Em!ecrf#RfPE|&|INNCAa;->mLwjJJ;vv| zx1(3wZZNqt$17^hYb_j1y@s`h=fpF9Xww#w3Los``DmYdmUh&h1S3JNp*hcF4rEr6$7W zk^B|X8Wyqw7910-q%+J6k2FpEl^rTxdJl0|@VipF-`AuemvwtgOeR6fmE+gy>gHMk zZ?Z{78GDr}qY%3vBQDkB&>?U=X-tQ$ zb#c(HxkhkZ&Nz$Zc<9J$%KHJ4+qlkipzH@J9=*hfnSz3 z_2^g}=KUgvh+63GFSv*M`qL%DVI8UXY3v;v`1RX${+n}WMNLz*ND7_qllobjkP2Cl z>*Ku^XpD+YGt1nSws*R9UDXazp|jKd(35aIj3dI|-v@dJ_1r?YQ0yhv=Y>&gN^R(Z zxiGx{+s3qdkr#*8X&v%RP>^^GuAs+m6h9z>u)_4@wd_oaqq$Tog5SuB#(a7w7}#)9 zfogmY872&O`?YNQoe##AC>rcxEQsinzk~If>H0dU?I`tz+MXFh`kTxvqOv#HciUs) z4cw^aEa+{u9UNT+7ex53-zxuf850?~`K>=0*f|58F16ya5izOmy-9cG`z?jLIz+*X zP>i=;V8bJY8RL78y&4AOf2Jiypb*)JyANjW5H`P|=4$%Sn>gAScg(P|Cd1nc!rL>^ zaD9}Spu}+AcC!yDw)8ku`OOu88j!ik?f7mxJ)d03^AHF5>^%r^x78`m)&D zgSmd(MDTkp8WnuqkY8~B0v*C_TKWWdjlUxrwZPTG{85EB9k2k;@Abnx%QfULSPtBlH)K7;toqK9w+%>c*0)Q(ulU8ZI&nOFkQZInJl=78 zAB&xT8vO>f1|b-IeY(SrHL}yMe$2~HDvMF}taDV8T;1cna zc-X(*J;6-X5>7ZtAyxGO$FEIt8VQJ=*&Cb zDoLv^s~+v{jq?sc&Ka6NgFyj&AIE_95yNFZ+k<^bG6FhUrwUal!*WAJ*Hp-Ha5`-sM%b0$BfY;F-a z^H=OuWXueCVbggUQ2{f-gdZ_O7@kT;l3=7=w{H*-``XS_SOtk%>8QjSs43- zCoXTbYIpIAyAF9aa~tg#FbtMrORIL=Y|_%3LO%$hk9NmlmbjX2CuY0ZcvVmvJT28~ z^ba}iQ~-F=Ej}f?^My8TQKnfx*(iiYF8%24PD{~g6h>!Zz83bv0fNYcFGlinsa6N z1&^GtTdBpM_0%cN{*xWL5p3<5@DN&}68WVr1nj!`hUJA8i zT1Kd}hMb&hZ!Azheh5Dm3wkV;BXT1}SykY}R7%6r1bJMVSy`|B;D%H+;lEVA5EVa+D zJ}JjXZYfWd*^57MP8dwSb{10jHz?cpV6<~j>lEZTg1&X)6#AW_qX%x=qyfXrQ$tO69-`vw8 z)wjXa@vzbrv+wDAeHg+yBQ>Vk940?=rE zk){dXc!wvCGk@}Wl_GzH2aw%w?cRi z!ZgOxhg3JaH{-W$je3186=xGiljf!Rcm~KqEs>$bKjgvtvoD{EyASVt+vPF|HilfY z!*D1ChdY-BIs=09eGVskF;|*hTC)`=sD3*!{8sPow-9 zFJaK9%QCz}0@5mAj)?rlJsOeS9t z$(r-30BxA$S>W)Y{@j%@y*&<%p^qP5RH?Z_?ORIr{I+@EL*j?u!oh`-n+ny7mR55& za04yXYxyV3_FU~O$$hc|Ws8`R<*}Y+UBt=SAA#9?l|__Jm+ihK_F~lssfZ1NbjFw> zc;Dq{xW_0HC2*2Z=fe#jV~}kW%vb%-X=w3`$=c}PCUiQetZY-lY0Wiy3xx###)``z zC-&N%kHA-}HTJ{Z9Ws6Zk$Pxd+$lANT;?drzK7;r z{}xLmeC6Qs?F&V_;eJu!EScsfrWPEqV_bz;dzv0@K+?gK*kBDo%8s)0ory=!LOnqK z(ymR`HDi~;j^%A@R4XofjR*0!Qz6T{s zCZK%Rv@k~=<$PVh=a#Q3u)|+F@nJ+d({t3{N-vqp4TutA9K~nr!dBpXY1=5o1>%_d z9`SiD;K-`OO%$bRbCdve6-%i?zyIy-sxN*2fTjhu=%^tmLFElTWLUWD z=E^E*(0=%n6~EbIHqa_E!tz{dN^LxrXqwt6jOELMC3t8AlVc_8Ln(pEZ#YIc_mR{z zI||o0w>;T4zkM-d+c~D4RIvC+FQx(X?s78WYItwuQSulffMWk_)_}Vv0KDuFwQTQE zQ8rH^Ue_xwklkt*EuB>vm&3|P=*t=aWcwQZIgl{Ws z;-9nETy*}GSbYZCs#Ot5?8~r%`KdB@LHh^W-a3XUy%l-ApOG2jV@2cOtrmIIQ(233 zsDjcLGFu<_bxnplwtNZ?Yk1GTf>*5!ZZ+s7@K+axLoJZ|TW=slL**&fWt?exySaK} zKSjq z4>br5e^2D~NPt;LsIFvo4Wk%kj~lA5H&hcMp)So-;yMal*`aAwcO|1-gnlu4F$z3F zO$$<|;@Yaoxe^3%V9|nq@fYk%!axnlC4%aWrX7Af7Eaa8Xx1-T9XMuT?4o0yW@8oN zJHB0Ey%pV2%w!Gy8&aU2ax16I)N`fnfh^^!~d)EbuDp;Ho*Ecyr z9lGjR%7N_RUpa1mR_*D$FO_@y#VuvcZ%PwPuis&PGV63pH(#d0_Ub<39=$znOgiGt z@w_`lpHy!xH-1YwUxN2hFH_KBRdD4mv)6~pqs&yRXK#?nNDOf2Iv|2| z%sZeX21L*|frC?i#f(KR2YYPvDp>u#kjp=|86LtVFW}1hP@{?ca~v${GpEck;8oN4 zfR|EdnkK@*M4JuPhu04xV0byX{^@cYZ2CoYPcQ@V=;TPD=^%XKCWX4C#RkYtxRLhk zpAJtJWHBe?vNR3-cnMw>zcb&Gy*90DuuCyMLNS9YIhFl(xQAXgN9Nj3Da?p=K=TA@ z*Ea2cC-Og{!maB=7jUHkK$p;|5Ad-RQYI?U-KIV}%_tr9ajwIWFFU=m65KznI&cJ# zs$)R=&EVzBff$t_-mXl;-e)y6sI3GK4CfzFbxUcdY{<8U-Kb z+34^5oW7wz{2S2I59s@Ntz4LW;++t@rMJ^a9u5%3UW;*HSjc`|MZq!Wi0wO*XHG z9Q`Rh<6e%N?v+xuftIh+pWm^O-ow6!lJQk45buwEj09N``$g_vyUnikos_^VpIfAl z3&4tNZ#QS2W|MvuHYX>bh75LbU+C&QZ=dXDM7ZA{&zlsbW+q>7U2QQD#hHTtf09sNppbap&s0tJ!@;s*B9(M1t z;{ATdW=A+Xd9;Ud^?j(TD8I$nRHB#-hpgLNFFILefd#jAGd(*$V1f8SEheR0jVCTy z*C|ARHDkV+ju00^b2P`}(=sf~a1qPdj+d+8maZw^H;3npOrw-qCp+)vc^AVkcGch` z0Sk${E{tV*cOwv#0Q3^>pYOz#|D_M4_DS3YPzw51Kj4N>dtQ;M#Lpj1@V_D^m}u#b z6pJ6g0mTRV?I3@{#Q(LOPmfZZjkR*pZ@ z*OcrIsKt9xEjLyUTU@{G?jeG^+fc?%T224qnsfHPS?K+g_Xmdb!NJAgKD*;S+(|6+ zaESW6gHGBY{6x{DPlJUP?-Sj_;|82qI%}!~)5BB$MQH!`Pb}1~n>lpp0RA=zf4*L| ziM{W5A?Q|z!;``E^z^RFV#(NJp{~s=@*mmpk(GfCSa3Al;=tHMQ2&$fZE7MvdR4UuOl$o-2~{v#e%INs$}f%4Of6| zfC>5($pEkq_I$DcKt%E+Ecb!XY~01eZlUFaLj(r^eUw}N;E6tf^1#u{giG1slf(mT z*HUd)`Efuv0AV-aJfpKHrOf<5o6@@wiK*h0`G-IhgG+4k`3o`uYF*$zAP|$^5Z{3# z7E~$%e)fP`?hk~3o`uAU1C#+U2uYz|aZqp*80=x!P}oGtsfOw9BXX|~5qm-p^t5dB z*u#IA65!|{i-XSe|Ik^{s5X~~#?|8JQYVAcN_xq_gcSODo%U&8pR?h+pX}AiJq_CI z=yZ6PAHyXQxr^8A%4CIu$QkV-5SR8OAt2_YIxgY;#{^8d%kHJBo3I}Roj$d{@ zgnk(rs623r;_=J$5t_Vfnh6|xT@in(5Q_%6_Exq|GDaY@e0<@@z5NY_ivM(7qkqOm z3#?9)zVp4#E59B8FnrGh-^~1`(ZGPKmA2KEr%rVOQ?~Ix(__Qe+7c^UcNfYUCc`6o z^T7C@3MHD)wZL0rQ|HSWJMEe#Mn-7~o<1{V<>v6UN9as9_+xcd*$rbuZ&#ldA;y*; z!_xSO +O-Q3_JIR`pVKXl?&^n?&6ihUB&6Q;fqKIuM)HVs1zfFv&$RQ84C}`-~ zLmzB45ge}$bB@<}f$RrKQ>`Kc5nHR0JoTst$?EkH+j({kNMI5zChC;nreK4_pskhO z=}Y|y%fabeWQcP&R*12^-+^nUIHa!oA!KMj4cHtb*V1;xd62)p8K9KMJI2ESAr}$8 za}D-=<#z&-warTc^sjiZ4p!pQ+q&N$ZBwJJsOnX=(uZ63(fL^$ZeH4NguXTf5h{+O zcfHsh93o6oY?fcB zY>O=IWVb_XaAIsVpjAPnsFm`}!2Tzry$RCD>z)^a{E6FBQ~O&J0;X4Rh~1v&Y+NK9 z_2T6AF2U)Fl{6I?u#LevIhFW&XCb@t{Ds1D@q)vcsEHwrY;GBRzvr{KA)PE`0$s^u^(wgY2)q7vCb7uy%od}r~KnbAwW3wu)1@z>Tv;<$b zMC1#o>B;L=)3*h6!O(!Dws#(yjypqEj90YOjTVLK$FHgIK8=9OaS5UJPaGqNJ&oZc z9GqO!OXtbRZbY_^7w1o&wW@7AqWc8JDnsj*RZZZH&Z-OWiC^(vRjzHWf^r1#i=6 zIzK6~^%psWwpX|FVl8ntG+GIBlBE)v1zz3p&Ij{EB*|Kn z!cr}q1oC$WOc=5lhhPmC3k0q>pDrJ6jOs68_?SoML2qY_Zmd)?&YhA$`U!49=oeH8AZ}m+mm9EnbkNhubQ#gfk)G zk^RnWzEf0~90YnQLIVIP7nLm$-cZu2|I9~AubSBAp|*8M|Z5BRI8*IYQQOQQ13 z_A%(CIIqQbpaSTrD^l$!??{At#Fie-yqmr`z_ojR?cNaO`s9*Jv*+r&d#7>A{Dj%I`8{j|^kj1t{Y!fG@(qwJ=2Z9tOr3UbWp0oVG%{w?AktGwz zp3{(yTG9<}XRAs_OnVz7;UfGou>xtEx?sA0Wv_0K@avl zf<>R|rUn-&PVQu|usOm*R^aFi28|4HY8;_dqGB(QBw#;ddj-#o0;C3m6iQXb4+gwa z(W@f390v^ zceXmKUyw?<=N#7YV;)If!Kr$hjQu&qsmL=7wQXzywT=FKaQ10wp!q|H*!JgoAd(2)OLRZ0M*A_Pe#g=ff=pAoxp9%Z=v4v0s!Yg z8#Y%exAP;bi&reiI>t@srMyi7aLEbA$^)Hr^*`|D74AM$`AR?Jz5Ee!uuf8jl`l5- z-eoH9@e>xU_2evJW`zay8X%7p+RUBE1>l9%z#4IDb&S`KwvKKs^KImrwc7`_vR11> zthA$A+(3DAO(-A%V6Wp7sAZLOIsn!PFqP`kiOKEV!c``!NfcX}F-n(-lPw;CTPU(W|w=-yHC;HR@j4bC}xrW?Z z&R^4k#eCjF{Q4%bO=jHFc_dgdTHTx>NC~Ecq$QYn;N_$z$emeq04n*pO}B0vz*&_z zfsqo1Ii>JJg6J>Wwjz2r65Du*CIQ7n(UilNil)F+V&V=DYPDg?QKYq?Qu8gPZC4jM zm`}U4hPJWgpNts=(zP#ivewXEW^VkX&~D=<_ZesV=-K77ygzbPK^EKG`JuCMY+O;) zy%p)%WyXAp$(H(_jHk~9r&R{9n0TQ!%_#_jSXPPbw<2pqHf{pb$cx&`M7AonM5zn3 zufT_FOPvIEYeD27(|KG|5Os@4_MJjffbC=nL2zd*2`E;eev`ThUq(}Y)Siq~DQZCO zq=0F=_EFunlQ9>MsA>dJtnVT&)aU2X2MnZJsw1{10ouQg9KpfeZrZE8YKAb_!6qc` z+2iDiZF@wB{pN!jRS|I)sxwwd7PO1wmGIr}BP zu|y~R)7;cuk)mEgK4V0{&kzux%Ok$9Ryu{jnBijBqWojMwgEBP+r6J0n1@xtn3})# zYoRC#*HZ5vhYG#Q_MUd7%qFR1V+29sOT9 并发编程 +进程通信 --> 并发编程 +设备IO --> 并发编程 +设备IO --> 网络编程 + +并发编程 --> 并发机制 +并发编程 --> 并发控制_并发同步 +并发编程 --> 并发通信 + +并发机制 --> 多进程 +并发机制 --> 多线程 +并发机制 --> 多协程 +并发机制 --> 多路复用_事件驱动 + +并发控制_并发同步 --> 锁_信号量 +并发控制_并发同步 --> MVVC + +并发通信 --> 共享内存 +并发通信 --> 消息队列IPC +并发通信 --> 管道通信 +@enduml + +``` + + +### 并发编程中的核心问题 + +1. 并发机制。如何实现并发。这里简单概述一些常见的方案 + 1. 多进程机制 + 2. 多线程机制 + 3. 多协程机制 + 4. 单线程的IO多路复用（基于事件响应机制方案） +2. 并发控制。并发任务之间的同步方案，实现资源互斥、操作顺序。 + 1. 锁与信号量 + 2. MVVC多版本并发控制 +3. 并发通信。并发任务之间的数据交换方案 + 1. 共享内存 + 2. 管道文件 + 3. 消息队列 + +### 并发编程的具体实例 +> 针对每一个具体实例，在其相应的学习和开发模块中，都有对应是说明。这里就不再赘述了，有空的话学习Linux的并发编程和网络编程。C++并发编程 + +> 针对每个领域、每个系统、每个数据库、每个语言。都要解决并发编程的三个核心问题。包括并发机制、并发控制和并发通信问题。 + +1. Linux并发编程 +2. MySQL的并发方案 +3. Redis的并发方案 +4. C++并发编程 +5. Java并发编程 +6. Python并发编程 +7. Go并发编程 + +## 2 并发机制 + +> 这里所谓的什么机制、什么方法。都是设计模式的一部分。通过某种设计模式，实现并发编程：异步回调模式、事件回调模式等。 + + +### 基于多进程、多线程、多协程的并发 + +1. 在服务器端使用多线程（或多进程）。多线程（或多进程）的目的是让每个连接都拥有独立的线程（或进程），这样任何一个连接的阻塞都不会影响其他的连接。 +2. 开启多进程或都线程的方式，在遇到要同时响应成百上千路的连接请求，则无论多线程还是多进程都会严重占据系统资源，降低系统对外界响应效率，而且线程与进程本身也更容易进入假死状态。 +3. 很多程序员可能会考虑使用“线程池”或“连接池”。“线程池”旨在减少创建和销毁线程的频率，其维持一定合理数量的线程，并让空闲的线程重新承担新的执行任务。“连接池”维持连接的缓存池，尽量重用已有的连接、减少创建和关闭连接的频率。这两种技术都可以很好的降低系统开销，都被广泛应用很多大型系统，如websphere、tomcat和各种数据库等。 +4. “线程池”和“连接池”技术也只是在一定程度上缓解了频繁调用IO接口带来的资源占用。而且，所谓“池”始终有其上限，当请求大大超过上限时，“池”构成的系统对外界的响应并不比没有池的时候效果好多少。所以使用“池”必须考虑其面临的响应规模，并根据响应规模调整“池”的大小。 +5. 对应上例中的所面临的可能同时出现的上千甚至上万次的客户端请求，“线程池”或“连接池”或许可以缓解部分压力，但是不能解决所有问题。总之，多线程模型可以方便高效的解决小规模的服务请求，但面对大规模的服务请求，多线程模型也会遇到瓶颈，可以用非阻塞接口来尝试解决这个问题。 + + + + +### 基于IO多路复用、事件响应机制、事件驱动IO的并发 + + + + + + +## 3 并发控制 + + +### 锁与互斥（操作系统和编程语言中实现并发同步的方法） + + + +### 信号量与同步（操作系统和编程语言中实现并发同步的方法） + + + + +### MVVC（在数据库中实现事务同步的方法） + + + + +## 4 并发通信 + +### 共享内存 + +### 管道文件 + +### 消息队列 diff --git a/操作系统/附录13 网络编程.md b/操作系统/附录13 网络编程.md new file mode 100644 index 00000000..33bbe717 --- /dev/null +++ b/操作系统/附录13 网络编程.md @@ -0,0 +1,72 @@ +# 网络编程 + +## 网络编程概述 + +### 问题重述 + +1. 什么是网络编程，解决了那些问题？ +2. 网络编程与同步异步、阻塞非阻塞的关系 +3. 网络编程的核心机制 +4. 网络编程的具体实现 + + +### 什么是网络编程 + +* 既是进程线程通信的一部分 +* 也是设备IO（network IO）的一部分。 +* 当然也是独立的一部分。 +* 解决了两个客户端的通信问题 + + +### 网络编程与同步异步的关系 +1. 没有绝对关系，只是在其中一两个步骤中用到了同步思想或者异步思想。无法用同步异步的方式或者阻塞非阻塞的方式，来区分网络编程的类型。 + + +### 网络编程的核心机制 +> 这里简单介绍一下网络编程通用的核心的原理和模型。 + +1. 数据交换和通信方式 + 1. socket编程 + 2. 消息队列模式 + + +### 网络编程的具体实现 + +> 每个场景每种语言都有自己的具体实现方案。可以对应到笔记中的其他模块了解网络编程的具体实现。 + +1. Linux 网络编程 +2. C++网络编程库 +3. Java网络编程 +4. Python网络编程 +5. Go网络编程 + + + +## 原理和模型 + + +### 阻塞通信 + +* 普通的socket编程，连接建立过程是阻塞的、读写过程也是阻塞的。 + +### 非阻塞通信 + +* 非阻塞的socket， + + +### 消息队列 + +使用消息队列将调用异步化，可改善网站的扩展性，使用消息队列将调用异步化，可改善网站的扩展性，还可改善网站系统的性能。 + +不使用消息队列： + +![](image/2021-09-06-15-30-55.png) + +使用消息队列： + +![](image/2021-09-06-15-31-02.png) + +在不使用消息队列的情况下，用户的请求数据直接写入数据库，在高并发的情况下，会对数据库造成巨大的压力， 同时也使得响应延迟加剧。在使用消息队列后，用户请求的数据发送给消息队列后立即返回，再由消息队列的消费者进程(通常情况下， 该进程 +通常独立部署在专门的服务器集群上)从消息队列中获取数据， 异步写入数据库。由于消息队列服务器处理速度远快于数据库(消息队列服务器也比数据库具有更好的伸缩性)，因此用户的响应延迟可得到有效改善 + +## 1 Linux \ No newline at end of file diff --git a/操作系统/附录8 同步异步、阻塞非阻塞.md b/操作系统/附录8 同步异步、阻塞非阻塞.md index e915418f..bf6f83ad 100644 --- a/操作系统/附录8 同步异步、阻塞非阻塞.md +++ b/操作系统/附录8 同步异步、阻塞非阻塞.md @@ -6,13 +6,65 @@ > * [https://blog.csdn.net/jolin678/article/details/49611587](https://blog.csdn.net/jolin678/article/details/49611587) > * [https://blog.csdn.net/qq_40989769/article/details/110481553](https://blog.csdn.net/qq_40989769/article/details/110481553) +## 0 问题概述 +### 背后的思想 + +* 我觉得，同步异步，更像是思想，是一种哲学思想，而不是某种具体的技术或者方案，它在不同的环节，能够表现出不同的形式。 +* 我觉得，在这个问题上，我过度思考了，太想把这两个次应用到不同的领域，因为在不同的领域都见过。通信就是通信，有很多种通信方式和机制。设备IO就是设备IO也有很多不同的实现方案，没有必要非得对应到同步和异步上。像，通信，就那几种机制，直到就行，干嘛非得划分为同步通信或者异步通信？ +* 不应该以同步和异步来划分领域，而应该说明相关领域中的同步异步操作。这里只是在对各个领域中涉及到的同步异步思想进行整理。而非对并发编程、网络编程等进行分类。 + +### 需要回答以下问题 + +1. 同步异步的机制原理有哪些？抽象的模型和方法，包括怎样的设计模式？ +2. 同步异步的应用场景有哪些？具体使用了怎样的机制？ +3. 同步异步的实现方式有哪些？具体到每种语言、操作系统、数据库、计算机网络，进行说明。 + +### 问题归化 + +针对该领域的问题，可以归化为三种场景:**同步互斥问题**，**进程通信问题**，**设备IO问题**。 + +1. 同步互斥问题的目标是解决资源访问的问题，核心是某类公共资源。实现多个用户进程，对临界资源的访问，包括互斥访问和顺序访问，临界资源一般为共享内存或者某个数据结构。 +2. 进程通信问题的目标是解决实现多个进程、线程之间的数据交换问题，核心是交换数据。是多个用户进程线程之间，实现通信的方式。也包括网络通信问题 +3. 设备IO问题的目标是解决用户进程与内核进程之间的通信问题。设备IO中两种典型的例子是：磁盘读写、网络通信。 + +其中进程通信问题和设备IO问题可以规约为一种，例如网络通信，就可以看做网卡的IO问题和整体上的远程用户进程通信，当然，我觉得把这种东西抽象出来，将远程通信作为一种特例，是否能够更好的理解呢，它本身也可以看做一种特殊的情况。另外还有同步调用和异步调用的区别，侧重的是调用过程，而不是通信过程？ -## 1 进程通信的方式——同步异步、阻塞非阻塞 +### 同步调用与异步调用 + +同步异步思想应用在函数调用上的一种体现。 + +同步调用链。我感觉，无论是单机还是网络通信，是直接调用还是并行通信，都存在一个同步调用链，当这个链路上的任何一个环节，变成异步，整个过程看起来就是异步的，能够感知到这个异步过程的部分，才会觉得是异步，例如服务器上虽然通过异步线程和事件响应机制处理，是异步的，但是客户端却感知不到，得到结果的过程还是同步的。 + +而其他部分如果包含了这个异步过程，看起来就是异步的，如果不包含，看起来就是同步的。还是例如网络通信，可以在主机的网卡通信过程中实现异步，直接返回一个信号，两方继续执行即可（没人会这么干吧，网络上异步代价太大了），也可以直接实现单个设备IO的异步，例如客户端用户进程继续执行，而内核进程等待返回结果。服务器启动额外的进程处理结果，异步的方式返回处理结果（服务器启动的多个用户进程之间的并行，通过消息通知主线程，结果得到了，然后返回给客户端消息）这里是局部的异步执行，但是整体上反而是同步的，其他线程处理好后，通知主线程，通过事件响应机制或者其他方式，告诉主线程，然后返回结果。 + + +更准确的说，异步的过程实现了并发，同步的过程实现了顺序。无论是怎样通信，同步异步只是这个过程中的一部分，这条调用链的任何一部分都可以改成异步的，然后这里就可以实现并发处理。这也是并发的一部分，我应该从并发入手，从同步异步的角度，探讨问题，已经够深入了。 + + + + +### 吐槽 +为什么这个问题这么难以理解呢，因为几个名词之间的层次与关系太乱。同步与互斥可以对应，实现了进程同步。同步异步可以对应，实现了通信和IO。同步异步对应，还能实现并发。同步异步讲的既能是多线程，也能是单线程，同步调用？还能是同步通信。待会把这里搞明白。同步是一种机制，可以在资源互斥访问上，可以在并行通信上，可以在函数调用上，也可以在设备IO上，含义相似又不完全相同。虽然其本身几句话就能说清楚何为同步何为异步，但是另一方面，却很难将这两个概念对应到具体的应用场景和过程中，它的表现形式过于复杂。 + +## 1 进程同步里的——同步互斥 + +### 概述 + +> 针对两种制约关系，合作制约关系和互斥制约关系，需要通过同步机制实现。 + +- 直接制约关系（合作）。由于多个进程相互合作产生，使得进程有一定的先后执行关系。 +- 间接制约关系（互斥）。由于多个进程资源共享产生，多个进程在同一时刻只有一个进程能进入临界区。 + + +> 显然，同步是一种更为复杂的互斥，而互斥是一种特殊的同步。也就是说互斥是两个任务之间不可以同时运行，他们会相互排斥，必须等待一个线程运行完毕，另一个才能运行，而同步也是不能同时运行，但他是必须要安照某种次序来运行相应的线程（也是一种互斥）！因此互斥具有唯一性和排它性，但互斥并不限制任务的运行顺序，即任务是无序的，而同步的任务之间则有顺序关系。 + + +## 2 进程通信里的——同步异步、阻塞非阻塞 ### 同步异步 -* 同步与异步关注的是消息通信机制。是**两个进程之间的关系**。 +* 同步与异步关注的是数据通信机制。是**两个进程之间的关系**。 * 同步，就是在发出一个调用时，在没有得到结果之前，该调用就不返回。但是一旦调用返回，就得到返回值了。 * 异步，当一个异步过程调用发出后，调用就直接返回，调用者不会立刻得到结果。被调用者通过状态、通知和回调函数来通知调用者。 @@ -23,7 +75,7 @@ * 阻塞调用是指调用结果返回之前，当前线程会被挂起。调用线程只有在得到结果之后才会返回。 * 非阻塞调用指在不能立刻得到结果之前，该调用不会阻塞当前线程。 -## 2 设备IO的方式——同步异步、阻塞非阻塞 +## 3 设备IO里的——同步异步、阻塞非阻塞 ### nodejs中相关定义 * **同步式I/O（Synchronous I/O）或阻塞式I /O （Blocking I/O）**。线程/进程在执行中如果遇到磁盘读写或网络通信（统称为I/O 操作），通常要耗费较长的时间，这时 操作系统会剥夺这个线程/进程的CPU 控制权，使其暂停执行，同时将资源让给其他的工作线程，这种线程调度方式称为阻塞 。当I/O 操作完毕时，操作系统将 这个线程的阻塞状态解除，恢复其对CPU的控制权，令其继续执行。 @@ -39,7 +91,7 @@ * 阻塞方式下读取或者写入函数将一直等待， * 非阻塞方式下，读取或者写入函数会立即返回一个状态值。 -## 3 进程通信和设备IO的关系 +## 4 进程通信和设备IO的关系 1. 关于同步异步、阻塞非阻塞。交互方式，分别有两种应用。一种用在**进程间的同步和通信**上；一种用在**设备IO过程**中。必须要进行区分。 @@ -47,8 +99,12 @@ 3. 所以在某种程度上。可以把两个进程的通信，看成某一个用户进程的IO过程，而另一个进程看成是内核。 -## 4 实现方式 -### 同步阻塞通信 + +在这里进行简单说明：进程同步问题和进程通信问题，都应该作为“并发编程”内容的一部分。设备IO问题作为“网络编程”的一部分进行详解。 + + +## 5 同步异步在不同语言中表现（实例） +### 同步阻塞 > 在此种方式下，用户进程在发起一个IO操作以后，必须等待IO操作的完成，只有当真正完成了IO操作以后，用户进程才能运行。 * java 传统的IO和socket网络编程，都是阻塞通信。接收端在接受到数据之前，一直处于阻塞状态。通过多线程实现并行编程。 @@ -61,7 +117,7 @@ * 用户进程轮训IO信号，虽然没有阻塞，但是在循环中一直确认IO是否完成。效率很低。 -### 异步非阻塞通信 +### 异步非阻塞 > 在此种模式下，用户进程只需要发起一个IO操作然后立即返回，等IO操作真正的完成以后，应用程序会得到IO操作完成的通知，此时用户进程只需要对数据进行处理就好了，不需要进行实际的IO读写操作，因为真正的IO读取或者写入操作已经由内核完成了。目前Java中还没有支持此种IO模型 * node.js是单线程的异步非阻塞(事件循环检测通知的机制)； @@ -70,15 +126,7 @@ * ajax请求（异步）: 请求通过事件触发->服务器处理（这是浏览器仍然可以作其他事情）->处理完毕 -### 异步阻塞通信 +### 异步阻塞 > 此种方式下是指应用发起一个IO操作以后，不等待内核IO操作的完成，等内核完成IO操作以后会通知应用程序，这其实就是同步和异步最关键的区别，同步必须等待或者主动的去询问IO是否完成，那么为什么说是阻塞的呢？因为此时是通过select系统调用来完成的，而select函数本身的实现方式是阻塞的，而采用select函数有个好处就是它可以同时监听多个文件句柄，从而提高系统的并发性！ - -### 实现并发编程的几种方法 - -1. java 多线程。 -2. nodejs 单线程异步回调。非阻塞异步回调。Proactor模式 -3. linux 单线程IO复用。select/poll/epoll事件回调。多路堵塞，同步回调。reactor模式 - -> 这里所谓的什么机制、什么方法。都是设计模式的一部分。通过某种设计模式，实现并发编程：异步回调模式、事件回调模式等。 \ No newline at end of file diff --git a/数据库/MySQL/附录4 MySQL事务管理.md b/数据库/MySQL/附录4 MySQL事务管理.md index 231d9a57..8564ea9c 100644 --- a/数据库/MySQL/附录4 MySQL事务管理.md +++ b/数据库/MySQL/附录4 MySQL事务管理.md @@ -1,3 +1,10 @@ +# MySQL事务管理 + +> 参考文献 +> * [Mysql并发控制](https://zhuanlan.zhihu.com/p/133823461) + +> 本章主要讲了MySQL的事务管理，即MySQL的并发控制，MySQL在并发过程中如何进行同步，即MySQL保证事物的原子性、隔离性、一致性、持久性的方法。也属于并发机制的一部分。 + ## 4 多级锁协议 diff --git a/数据库/MySQL/附录7 MySQL并发机制.md b/数据库/MySQL/附录7 MySQL并发机制.md new file mode 100644 index 00000000..18415dba --- /dev/null +++ b/数据库/MySQL/附录7 MySQL并发机制.md @@ -0,0 +1,369 @@ + +## 1 并发机制 + +1. 什么是并发，并发与多线程有什么关系？ + +1. 先从广义上来说，或者从实际场景上来说. + 1. 高并发通常是海量用户同时访问(比如：12306买票、淘宝的双十一抢购)，如果把一个用户看做一个线程的话那么并发可以理解成多线程同时访问，高并发即海量线程同时访问。（ps：我们在这里模拟高并发可以for循环多个线程即可） + +2. 从代码或数据的层次上来说。多个线程同时在一条相同的数据上执行多个数据库操作。 + +## 2 并发分类 +> 参考文献 +> * [锁与并发](https://www.cnblogs.com/yaopengfei/p/8399358.html) +### 积极并发 +积极并发(乐观并发、乐观锁)：无论何时从数据库请求数据，数据都会被读取并保存到应用内存中。数据库级别没有放置任何显式锁。数据操作会按照数据层接收到的先后顺序来执行。 + +积极并发本质就是允许冲突发生，然后在代码本身采取一种合理的方式去解决这个并发冲突，常见的方式有： + +1. 忽略冲突强制更新：数据库会保存最后一次更新操作(以更新为例)，会损失很多用户的更新操作。 +2. 部分更新：允许所有的更改，但是不允许更新完整的行，只有特定用户拥有的列更新了。这就意味着，如果两个用户更新相同的记录但却不同的列，那么这两个更新都会成功，而且来自这两个用户的更改都是可见的。（EF默认实现不了这种情况） +3. 询问用户：当一个用户尝试更新一个记录时，但是该记录自从他读取之后已经被别人修改了，这时应用程序就会警告该用户该数据已经被某人更改了，然后询问他是否仍然要重写该数据还是首先检查已经更新的数据。(EF可以实现这种情况，在后面详细介绍) +4. 拒绝修改：当一个用户尝试更新一个记录时，但是该记录自从他读取之后已经被别人修改了，此时告诉该用户不允许更新该数据，因为数据已经被某人更新了。 + + +### 消极并发 + +消极并发(悲观并发、悲观锁)：无论何时从数据库请求数据，数据都会被读取，然后该数据上就会加锁，因此没有人能访问该数据。这会降低并发出现问题的机会，缺点是加锁是一个昂贵的操作，会降低整个应用程序的性能。 + +消极并发的本质就是永远不让冲突发生，通常的处理凡是是只读锁和更新锁。 + +1. 当把只读锁放到记录上时，应用程序只能读取该记录。如果应用程序要更新该记录，它必须获取到该记录上的更新锁。如果记录上加了只读锁，那么该记录仍然能够被想要只读锁的请求使用。然而，如果需要更新锁，该请求必须等到所有的只读锁释放。同样，如果记录上加了更新锁，那么其他的请求不能再在这个记录上加锁，该请求必须等到已存在的更新锁释放才能加锁。总结，这里我们可以简单理解把并发业务部分用一个锁（如：lock,实质是数据库锁，后面章节单独介绍）锁住，使其同时只允许一个线程访问即可。 + +2. 加锁会带来很多弊端： + 1. 应用程序必须管理每个操作正在获取的所有锁； + 2. 加锁机制的内存需求会降低应用性能 + 3. 多个请求互相等待需要的锁，会增加死锁的可能性。 + + +## 3 并发问题的解决方案（提高并发的方法） + +并发机制的解决方案 + +1. 从架构的角度去解决（大层次 如：12306买票） + +　　nginx负载均衡、数据库读写分离、多个业务服务器、多个数据库服务器、NoSQL， 使用队列来处理业务，将高并发的业务依次放到队列中，然后按照先进先出的原则， 逐个处理（队列的处理可以采用 Redis、RabbitMq等等） + +　　(PS：在后面的框架篇章里详细介绍该方案) + +2. 从代码的角度去解决(在服务器能承载压力的情况下，并发访问同一条数据) + +　　实际的业务场景：如进销存类的项目，涉及到同一个物品的出库、入库、库存，我们都知道库存在数据库里对应了一条记录，入库要查出现在库存的数量，然后加上入库的数量，假设两个线程同时入库，假设查询出来的库存数量相同，但是更新库存数量在数据库层次上是有先后，最终就保留了后更新的数据，显然是不正确的，应该保留的是两次入库的数量和。 + +（该案例的实质：多个线程同时在一条相同的数据上执行多个数据库操作） + +事先准备一张数据库表: + + + +解决方案一：(最常用的方式) + +　　给入库和出库操作加一个锁，使其同时只允许一个线程访问，这样即使两个线程同时访问，但在代码层次上，由于锁的原因，还是有先有后的，这样就保证了入库操作的线程唯一性，当然库存量就不会出错了. + +总结：该方案可以说是适合处理小范围的并发且锁内的业务执行不是很复杂。假设一万线程同时入库，每次入库要等2s，那么这一万个线程执行完成需要的总时间非常多，显然不适合。 + + (这种方式的实质就是给核心业务加了个lock锁，这里就不做测试了) + + + +解决方案二：EF处理积极并发带来的冲突 + +1. 配置准备 + +　　(1). 针对DBFirst模式，可以给相应的表额外加一列RowVersion，数据库中为timestamp类型，对应的类中为byte[]类型，并且在Edmx模型上给该字段的并发模式设置为fixed(默认为None)，这样该表中所有字段都监控并发。 + +如果不想监视所有列（在不添加RowVersion的情况下），只需在Edmx模型是给特定的字段的并发模式设置为fixed，这样只有被设置的字段被监测并发。 + +　　测试结果： (DBFirst模式下的并发测试) + +　　事先在UserInfor1表中插入一条id、userName、userSex、userAge均为1的数据(清空数据)。 + +测试情况1： + +　　在不设置RowVersion并发模式为Fixed的情况下，两个线程修改不同字段(修改同一个字段一个道理)，后执行的线程的结果覆盖前面的线程结果. + +　　发现测试结果为：1,1,男,1 ; 显然db1线程修改的结果被db2线程给覆盖了. (修改同一个字段一个道理) + + +``` + 1 { + 2 //1.创建两个EF上下文，模拟代表两个线程 + 3 var db1 = new ConcurrentTestDBEntities(); + 4 var db2 = new ConcurrentTestDBEntities(); + 5 + 6 UserInfor1 user1 = db1.UserInfor1.Find("1"); + 7 UserInfor1 user2 = db2.UserInfor1.Find("1"); + 8 + 9 //2. 执行修改操作 +10 //（db1的线程先执行完修改操作，并保存） +11 user1.userName = "ypf"; +12 db1.Entry(user1).State = EntityState.Modified; +13 db1.SaveChanges(); +14 +15 //（db2的线程在db1线程修改完成后，执行修改操作） +16 try +17 { +18 user2.userSex = "男"; +19 db2.Entry(user2).State = EntityState.Modified; +20 db2.SaveChanges(); +21 +22 Console.WriteLine("测试成功"); +23 } +24 catch (Exception) +25 { +26 Console.WriteLine("测试失败"); +27 } +28 } +``` +测试情况2： + +　　设置RowVersion并发模式为Fixed的情况下，两个线程修改不同字段(修改同一个字段一个道理)，如果该条数据已经被修改，利用DbUpdateConcurrencyException可以捕获异常，进行积极并发的冲突处理。测试结果如下： + +　　a.RefreshMode.ClientWins: 1,1,男,1 + +　　b.RefreshMode.StoreWins: 1,ypf,1,1 + +　　c.ex.Entries.Single().Reload(); 1,ypf,1,1 + +``` + 1 { + 2 //1.创建两个EF上下文，模拟代表两个线程 + 3 var db1 = new ConcurrentTestDBEntities(); + 4 var db2 = new ConcurrentTestDBEntities(); + 5 + 6 UserInfor1 user1 = db1.UserInfor1.Find("1"); + 7 UserInfor1 user2 = db2.UserInfor1.Find("1"); + 8 + 9 //2. 执行修改操作 +10 //（db1的线程先执行完修改操作，并保存） +11 user1.userName = "ypf"; +12 db1.Entry(user1).State = EntityState.Modified; +13 db1.SaveChanges(); +14 +15 //（db2的线程在db1线程修改完成后，执行修改操作） +16 try +17 { +18 user2.userSex = "男"; +19 db2.Entry(user2).State = EntityState.Modified; +20 db2.SaveChanges(); +21 +22 Console.WriteLine("测试成功"); +23 } +24 catch (DbUpdateConcurrencyException ex) +25 { +26 Console.WriteLine("测试失败:" + ex.Message); +27 +28 //1. 保留上下文中的现有数据(即最新，最后一次输入) +29 //var oc = ((IObjectContextAdapter)db2).ObjectContext; +30 //oc.Refresh(RefreshMode.ClientWins, user2); +31 //oc.SaveChanges(); +32 +33 //2. 保留原始数据(即数据源中的数据代替当前上下文中的数据) +34 //var oc = ((IObjectContextAdapter)db2).ObjectContext; +35 //oc.Refresh(RefreshMode.StoreWins, user2); +36 //oc.SaveChanges(); +37 +38 //3. 保留原始数据（而Reload处理也就是StoreWins，意味着放弃当前内存中的实体，重新到数据库中加载当前实体） +39 ex.Entries.Single().Reload(); +40 db2.SaveChanges(); +41 } +42 } +``` + +测试情况3： + +　　在不设置RowVersion并发模式为Fixed的情况下(也不需要RowVersion这个字段)，单独设置userName字段的并发模式为Fixed，两个线程同时修改该字段，利用DbUpdateConcurrencyException可以捕获异常，进行积极并发的冲突处理,但如果是两个线程同时修改userName以外的字段，将不能捕获异常，将走EF默认的处理方式，后执行的覆盖先执行的。 + +　　a.RefreshMode.ClientWins: 1,ypf2,1,1 + +　　b.RefreshMode.StoreWins: 1,ypf,1,1 + +　　c.ex.Entries.Single().Reload(); 1,ypf,1,1 + + View Code +　　(2). 针对CodeFirst模式，需要有这样的一个属性 public byte[] RowVersion { get; set; }，并且给属性加上特性[Timestamp],这样该表中所有字段都监控并发。如果不想监视所有列（在不添加RowVersion的情况下），只需给特定的字段加上特性 [ConcurrencyCheck]，这样只有被设置的字段被监测并发。 + +　　除了再配置上不同于DBFirst模式以为，是通过加特性的方式来标记并发，其它捕获并发和积极并发的几类处理方式均同DBFirst模式相同。（这里不做测试了） + +1. 积极并发处理的三种形式总结： + +　　利用DbUpdateConcurrencyException可以捕获异常，然后： + +　　　　a. RefreshMode.ClientWins:保留上下文中的现有数据(即最新，最后一次输入) + +　　　　b. RefreshMode.StoreWins:保留原始数据(即数据源中的数据代替当前上下文中的数据) + +　　　　c.ex.Entries.Single().Reload(); 保留原始数据（而Reload处理也就是StoreWins，意味着放弃当前内存中的实体，重新到数据库中加载当前实体） + +3. 该方案总结： + +　　这种模式实质上就是获取异常告诉程序，让开发人员结合需求自己选择怎么处理，但这种模式是解决代码层次上的并发冲突，并不是解决大数量同时访问崩溃问题的。 + +解决方案三：利用队列来解决业务上的并发(架构层次上其实也是这种思路解决的) + +1.先分析： + +　　前面说过所谓的高并发，就是海量的用户同时向服务器发送请求，进行某个业务处理(比如定时秒杀的抢单)，而这个业务处理是需要 一定时间的。 + +2.处理思路： + +　　将海量用户的请求放到一个队列里(如：Queue)，先不进行业务处理，然后另外一个服务器从线程中读取这个请求(MVC框架可以放到Global全局里)，依次进行业务处理，至于处理完成后，是否需要告诉客户端，可以根据实际需求来定，如果需要的话(可以借助Socket、Signalr、推送等技术来进行). + +　　特别注意：读取队列的线程是一直在运行，只要队列中有数据，就给他拿出来. + +　　这里使用Queue队列，可以参考：http://www.cnblogs.com/yaopengfei/p/8322016.html + +　　（PS：架构层次上的处理方案无非队列是单独一台服务器，执行从队列读取的是另外一台业务服务器，处理思想是相同的） + +队列单例类的代码： + + +``` + 1 ///

+ 2 /// 单例类 + 3 /// + 4 public class QueueUtils + 5 { + 6 /// + 7 /// 静态变量：由CLR保证，在程序第一次使用该类之前被调用，而且只调用一次 + 8 /// + 9 private static readonly QueueUtils _QueueUtils = new QueueUtils(); +10 +11 /// +12 /// 声明为private类型的构造函数，禁止外部实例化 +13 /// +14 private QueueUtils() +15 { +16 +17 } +18 /// +19 /// 声明属性，供外部调用，此处也可以声明成方法 +20 /// +21 public static QueueUtils instanse +22 { +23 get +24 { +25 return _QueueUtils; +26 } +27 } +28 +29 +30 //下面是队列相关的 +31 System.Collections.Queue queue = new System.Collections.Queue(); +32 +33 private static object o = new object(); +34 +35 public int getCount() +36 { +37 return queue.Count; +38 } +39 +40 /// +41 /// 入队方法 +42 /// +43 /// +44 public void Enqueue(object myObject) +45 { +46 lock (o) +47 { +48 queue.Enqueue(myObject); +49 } +50 } +51 /// +52 /// 出队操作 +53 /// +54 /// +55 public object Dequeue() +56 { +57 lock (o) +58 { +59 if (queue.Count > 0) +60 { +61 return queue.Dequeue(); +62 } +63 } +64 return null; +65 } +66 +67 } +``` + +PS：这里的入队和出队都要加锁，因为Queue默认不是线程安全的，不加锁会存在资源竞用问题从而业务出错，或者直接使用ConcurrentQueue线程安全的队列，就不需要加锁了，关于队列线程安全问题详见：http://www.cnblogs.com/yaopengfei/p/8322016.html + +临时存储数据类的代码： + +``` + 1 /// + 2 /// 该类用来存储请求信息 + 3 /// + 4 public class TempInfor + 5 { + 6 /// + 7 /// 用户编号 + 8 /// + 9 public string userId { get; set; } +10 } +``` + +模拟高并发入队，单独线程出队的代码： + +``` + 1 { + 2 //3.1 模拟高并发请求 写入队列 + 3 { + 4 for (int i = 0; i < 100; i++) + 5 { + 6 Task.Run(() => + 7 { + 8 TempInfor tempInfor = new TempInfor(); + 9 tempInfor.userId = Guid.NewGuid().ToString("N"); +10 //下面进行入队操作 +11 QueueUtils.instanse.Enqueue(tempInfor); +12 +13 }); +14 } +15 } +16 //3.2 模拟另外一个线程队列中读取数据请求标记，进行相应的业务处理（该线程一直运行，不停止） +17 Task.Run(() => +18 { +19 while (true) +20 { +21 if (QueueUtils.instanse.getCount() > 0) +22 { +23 //下面进行出队操作 +24 TempInfor tempInfor2 = (TempInfor)QueueUtils.instanse.Dequeue(); +25 +26 //拿到请求标记，进行相应的业务处理 +27 Console.WriteLine("id={0}的业务执行成功", tempInfor2.userId); +28 } +29 } +30 }); +31 //3.3 模拟过了一段时间(6s后)，又有新的请求写入 +32 Thread.Sleep(6000); +33 Console.WriteLine("6s的时间已经过去了"); +34 { +35 for (int j = 0; j < 100; j++) +36 { +37 Task.Run(() => +38 { +39 TempInfor tempInfor = new TempInfor(); +40 tempInfor.userId = Guid.NewGuid().ToString("N"); +41 //下面进行入队操作 +42 QueueUtils.instanse.Enqueue(tempInfor); +43 +44 }); +45 } +46 } +47 } +``` +3.下面案例的测试结果： + +　　一次输出100条数据，6s过后，再一次输出100条数据。 + + + +1. 总结： + +　　该方案是一种迂回的方式处理高并发，在业内这种思想也是非常常见，但该方案也有一个弊端，客户端请求的实时性很难保证，或者即使要保证(比如引入实时通讯技术)， + + 也要付出不少代价. \ No newline at end of file