From 1cae3f943f777bd922bcff4f5f077d7bfd35a029 Mon Sep 17 00:00:00 2001
From: mmdapl <2237221210@qq.com>
Date: Mon, 22 Jun 2020 22:37:54 +0800
Subject: [PATCH] =?UTF-8?q?=E6=B7=BB=E5=8A=A0=E6=96=87=E6=A1=A3=E6=95=B4?=
 =?UTF-8?q?=E7=90=86?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 408CSFamily.xmind             | Bin 0 -> 52101 bytes
 计算机操作系统课后答案整理.md | 516 ++++++++++++++++++++++++++++++++++
 2 files changed, 516 insertions(+)
 create mode 100644 408CSFamily.xmind
 create mode 100644 计算机操作系统课后答案整理.md

diff --git a/408CSFamily.xmind b/408CSFamily.xmind
new file mode 100644
index 0000000000000000000000000000000000000000..89ef6919c123bb583cf8bea80c4ac5501a29da9b
GIT binary patch
literal 52101
zcmV)UK(N11O9KQ7000000I+D*Pyhe`000000000001E&B090soZDMX=X>4;ZP)h>@
z3IG5A2mr8X)=(wTY46m!004#V000;O002~Ib!}p9VQFl0FLY>iZDMX=X>2ZVZfESg
zXINCt(k@H}L4qQn#1RRSl_(%Eh)M<}XGD^O0m(UufP&zVb5eo`LuL>VP?4O6Bv~bg
z0m%Xa-&)N0g#GMyf7khQew=szQF{q%Rd-ca-FJ0WKfk9YPfkitii3kguBdQZ0|$oy
zj)Q|YKtcpOQSAEJkAnljQM@gy<!Q1yc_xWwE`5DNrjJY*509^q_dL~oJa+=8%aP~K
za=f`rnqsFicq0n_?skh4WBN*$r+jPcN)pbck511xywfkg`A8`L`Vn-3>JF9t{o9uL
zHjlDWL)WZodK<T;3W|$e)Y1ps4hA=+dWBy0<u4mcpRiKMOz$B?3C(+?xP7UhIJgA=
z`iBB*UntIVYy5xy4-^uQgL}T07>@)Ji1YV9ph~!SY|K>u{1qJFdB(qa6;9A9p<Ym2
zJ(CCPzrG6xuZ#);4Zo9|%=XVO!Rv8wHFn)6p8w;QNIu^R#Nnc~w2JvR;_c!QD2$Ff
zasKm#RAjh#IeKx)iWoVljDj2~=pnB|{pFPEToYz$T@#omYZaW#%pManev3vIObTfG
z>?zJ=)R&v@nRr<?6PMRn1w6Ix8pKZQLm>`sj4oHP9CogzgtZ=PY`SS;YCSjRZkvwh
zUOyqA5EgD5P@YPloAOtWVw74oZK`~V6)2k;0wpzWzjzHZ{6@Dp@>=V-xA!>l0$myE
z>e-=Ru3I|$t@87o_iyD~i;K995gSeo%p$E6brn0Uobx~P3k71cj}AEaM@!x6c=eB>
z?Z?WLMRjyKj`4SJkmb-+QCLoEnQ=})uf`=*b@dAt5e=pAi1V*Kf9~tf4(;hyZ@yWi
z!0PJ>D>U#zoYFN4%<v)W<6$njxlm;e{R%19pQT;i%U)i4GrbQ54}Yjsn1?;wU-IaU
z-i*%I3oe#=e9s|mKl9c2*w5d}_(ebh|E}v|^#U_AAv|8&jF=nzh>y5_b8o(G^D|G$
zg4<2k45O@frBHvjquw05eDk7+`I}p>c#U_?S^U<V95CmLwCP+|FiW5wG%9u!ztd6`
zDi>xkcI2YpAJhBLbMbJ((ND9u{_D+^4(lmB{*!vo<gmJT1lXCq;s9n=6)wnv8RGHw
zHN3gUT!SXEdz$L5)sCP%lK$}8@)7s7EM3Z)y^@mBYdS@TD#x&6p%1^ObC!?<{!q^~
z4?CR(f`<P5#9y7J#tv>LYppADK{7W}OS1b)<byuBqi6R#CM=BW{dB7)eyzXsd>`BS
zdv7TLCVKxZhl?y`_!ZAQH2rF0ns<;$hptXhjF$i}#m{G#GDy1)>sAnA<s!@yyfXFH
z99RE`)es1}&Pf?<s#XKX;W8y`E1y1jze9&A^DASNcD`NwGtty~l(hOXb_z+r6h0YA
zwM1ctZGeJq>6Dg)DF<HYsl9HCS({%MAka<CSmbYkbAg?BgM|t&=kajleau(C<^#r`
znNk^owPpf^bG}3*a8^C7JdA-uLxE?Po;ZnP?bJemDv?IPT%ICvdcrw)b=;J5Zot8T
z$g07#(I!Hr=BPL)OL^hA<Dh4>C3bIu%TkWG6Gqt+OBj)8VM_JV<2=Oc>32blc&xmD
zCck|b6v3J-M;|>d3SUe$mL)E8j=nhOKn?MpNOH-@@u=O>d1kPEGpt$JqNS^*fk?qW
z^7<s>>NGXP@>O#cMzGtOfHO&Pv(&*12{a(OxG}|p1rx?F#C%!U?eNDVRk|HlB1~cq
znNtO7o%7|Zi;D}NOyK1d%(S-G%QW7Vh>y$J@%`1Td)_QMD&M8`e9iIkXu16my(vCh
z`gAVvQ$>Vi2=S_xFq{IBxFw9g4SGOE1tF}Heu3F}K?-MPS)nKz@g`#OI2$_Ct0l#H
zHeO4lIo1gcHiUc;Q@-*hULLvjg=3a59_1=nS50jzfx=kAxDqS6(<^d(`3iZQ8hu}{
zCSPK)QTmtR`H4?fEhG7rJ{`zanCG%^_Z<QS|Enk>th1p7e2>S`MJcQ+I^T9DaF##;
zsoG5-c_$>Ky9=p}PB2#*6En1_Tpl17eB&s<^J0@8VzW4~_ik;NR)QSC{LZHK=KdIp
zqcB7RCZ{aggV3&<O|PO6G~2F@$?%ISM8gOavJcE#9-KS1qPFLN5vl3fT)=L}2?FPH
z5Ss_C&HL0EPgZuzkEMKsM;qp8k!*%Rvu<SLyOTr1qw<a=1q$~0k{(+66$pEiC(H}7
z6DB%xUN&N>oUu4u3?ggTJ!AkFTmM_m3hb~CuZ9G^N-bLGvCP1bT7<g(O<8p^=yuW!
zZJX!hC#z`#t1&NYbgT2`8T_Jei=*-fPKJItGJEH@liaIUCoI!Pb7V)~n8{Huh}G0T
z?^doGy$J!L${Qz2%zE{o2cnjaR5Cec7)0A<8EB!yik{NFGAZFv&e-*Fm>wCI7)dor
zWJQ4-4s7xNfHW+PwI6!9WzQPCc5`KMMnFtINc}C^W%tR@;1K&0fx`~&!*@I0LdEeb
z!<;?J<u6TppC}>c_*03W{?GILPyv-yEUV<<j}b++Y)SFeKOX!_Jxe#u;3%@y5w0z`
z9@5MQL)A_bh|ynMYV~^NKKfkFVlpw+Vz88Yt|u&jlZ;lN>{faqr>e>?Y3;ySOS04{
zM?9Wtq)_@|XT@4Yk12{qVg9vQoPXEyYcbsbHhk|rl_I6h@@~EXr^TKBuq29vq>}Lp
z)t8TQek7geTD_M>SMY7Ju5&Ip%)sxE24dqmSYxjE&@%dn3Qc{m9m6%vm3T>LL17)W
z=DglpqR99Rak=ZOzh7#ax&<;2T{Okhx_34H#LKS6cfD(1F8Ypuh&X}dC@Gr{$xw_o
zl%8Pnnp=6L0C!9<Ik}+E$4{Sa3wo;^)VpR7A~dQx_s>D*=F0Lku_5g;;5{M)g%nS>
z-3_uzzDJzK>Z_dThdUjTa{PE~LR{3xi|gH@A`4GNeu8cQcIX@moj;b&oou#eAHZ3z
zZI7MJ4vDx)tdKW3zR(p5I<z?VC40hqbWu{8m1wQZTpnFR^MS|8GE%i}RmV0u%u6Nd
zGe}~y9(Y&DlM1|c0mU(_Lf-=l{f1z=B9BpMEOfn}Q~A&#J=NIf-3DBEc(}d)wY*f-
zOzWL1K6^2RYJ3$bn|6dT;?q}0e|CxAKBzxqIDd1es44`Voa<;{O}JDda@G60dWnH-
z?}4ge5rlJ8r_zE4zG`ms$UaV=jMm_zW^EG!J>6^i{`T6tW#^j1e$FCog<YKXhFYcS
zZ%eHW%L=+|qq_S0_l01=IRB%h5CpW<WHPt4?eg;#`W1?fj9z5h$4Q^LzK@}mdxw6q
z#T5ObVOl3<8!?~1^*dxo))eo4kmcfiG%~9Slh9p|qW_X6`Br60-|(^wqnIdrnD|K>
z`jrY^&K%9k?EC)wb}zB1F^j5bzmPaX7VkbJk$K~<e)ewUL{()JfdU`RtUpGXp9BD9
z9@7irV}?eAW0iJ1tuLjtNyq5)r$_9I<K9*=Y`%>z#8K2GAYUHfDf=$ZS@5kFaLOY4
z$;T6n?_kJ?QQ0)vm&I36Fbf{;VSQqk>0JOq;5Zy|4%Nt6-9fP=^2T1zKdW41?@W7H
z|3lnz5&Oc$?MP=HZt3WXyJ-{loyN)$YJr0qvTNA2`2{Xj$z>rdPSnnlTPj1XRK^yq
zQ-}$7%#X;xuY^%7X!FqF#)Jx3N8V^2dy?m<Jn&#~WGfTd!!lOgSlqrZ3+kk*JL^j@
z<3K2LD1xN~H^z@4^-O`Feo&6#LRYI@phdBm;YOOZXjSFne_Rv^@<sMsPV&lz@vTv-
z0+UAZbq&xz#tIq^hLe&}6Pu0ep0#=B((=P>^J6~4>~?HexXXC5)M7uvLRUTIs)zJ1
zNpY8-rIolSNjsT@SoMov=?!wn{S!!DG)Ui;9LH%#cRTxENXKcXyfcP{3=`lI6tld>
zu1EoNB$lYH4By*uTDRCl;ILYI&X{KeH)ab8I}{b!N<S0n>ZU$DQ!6%_U_}XEb%YL}
zAM2*cT+YojwT5^Z2U$>dc70eS_BhnH$77Qbu_40*&BvrvkdO+87xb86C7x7As8TDl
zX+4qu%D7#QzawnS#~Cn2JT__ycAu@}P+3m$#S#1F=rhq7$6E}}8{*c6hF@)$my4<^
z`~c5_7?Q7j(vC)3w{Q<#QmEOrN9>+~8z`svV~`L@F%ZKZ+cmXehL575B?IaS6vmQ<
zFnfdDAjYwP(mUvVCl|npRO45o&4(Tr*e^a9!7tsZRq4I7*>u?+2FQze_<{}-1Wy1k
z_Dd}H4i=GKrb@)&qWW@<g#cIMGg;R*<|{uS(7;*T=gL?SUIQXrETrwaP7NWf;D14i
znfWk)*lbl{2e(d_JBtQ*vB5dX@5bjKciw+cp~QTS63_`V91Dnpu7PV;X8Vy*2v_6U
z%BMHjIjI8Ra(FOL03(yZ{Xm=onzAcXH2-%*BDfBfILf)~yp>C5kQOm*$ahk+7=I1b
z;?T8qyynft#UCRVM%k&pmT{?WU&stgF{v&?zjI;j?iHTwS$OF73ZIAZQ6ulhp7g%T
z+R3^#>syv|8ych?XJg|Ghutm7z14UI>+Xo2*`zaAeCi26qD__N5X|VQGUOSq#zM?_
zuf+r#+S!D+lg^#NFGI;hLSLf+nzoj@t7$i1DCWy`a`030y4HgZEH;M*eip(a?c0P;
zE<(6O7M7l_1Tpxb#4K8JWlD*THp8_y$LVOp?C@UDVxf@lIpEVF(RZ=SnE}0rpA&Gj
z!ejBEgqils6@dos0E1)MA3rYMzxALcm#%#=mdLO%U{zgtHl%u5ju`uvhgX4J-}Fkz
z@^mRZNeD!s^Z{ce`-O_sMXbUAhiLTQ6!$ubCEvKJ)MjO4>gSr3Eo;?vj948tr7PFJ
zW`teMA98_z-N=D>vgGi%<;;@f=(H~->bKC{A}h1|)jDl?9o#FbroNjzS&l}B{XfeD
zzg0$~@>Ch@t~L67)AsTrENtF1yyT5_00Dra_bc+PF&}Z}rkcem@URivZyfOFMvoz3
z4<G+*JI8bTZDC1o0eNH{nJX`ULQkt}96vid3W?VJ80|moILhI1yxTap*#ElkH=R)d
z8JU4+UgRk;@(Y3xE4-D-T5#GN*y@drCEkwkzkW-isii4wuGwQMQHI}7-j$32%K)jK
zl>mn8YuDR#icnekskU+2e*~<2mKA*12NhrY(&KED*n@g)NXNy``@+-hiI|kJaivE<
zx)yqpGu~&nBMOLjLwhon{=L6-Km~z*zx0PCnw^2OcJx;Mkq1#YLj}3>Hcf>HGi)TG
zf@}!?nV|T|4(zH#HZ+#yT>~~^AkEWnfBe8@5VSjOT$I2J3jpfoDg9@r<rjd!HkD)C
zu~w7>%<Ti|r^kPMoeJO^A@4lTGGT^VfI@Dv{Fxu|2ZY;aSCquEAQgZVJs>o@@kd_e
z8L-l~jBbWvi6b|d?V<cL(bEV>^D8EY3G2#0u3h@%8si`Nq|d<TF7q?X$^YB*QlKgD
z-~Ngy3d|E+Fg2nldy(Rg)XhU+F{tQXW@9O@QXtOrg+KFF9|Qnt8rf_xY6uDhrb1W*
zIs1oJNXmf4coxyxhoK@0z(RlC3i=~4^feLSvZgVW!I-Ii0H%VcLlqkQ`v;!t0gLgu
z*?jSL#s$#w{+}7HAIgD$#Yqo<so?UEG|B${fm<M5{r>&BD`uzxNVnnpU$y^N?f++L
z|8xQ3#=iuataD9ZZgr17%~i_cHj@`X<z_AyjMb^TuOZ5g^^G+dP|4Tqu|k#t+TXZ|
z{l@*EYXk~MKFpjWCXX}Du8s4&(tcnd`F5{OuJ>4xyJ6xi(f>4a66ZjzzT$Kv>2KqL
zPOiz7u<_7aEzqxED2S$`RYrddzMjOVc^k75-XKRU<PyRJ{tw_UyM7yeJ-4|r?VwR`
zL`>1q(!ss|&?k40sVG1EGR-4XEw&@?gpM=yK1%r%=+v(7Rq=MSG8u=O3f3*97~MUq
z22}ZerFRwMs(GmfaSH76&1ZER-x-8Qkn$a=O1_;f$aU=8d?^$ETK?tTcdQ$!V|~Yd
zbMgxre4INnQz`F<_tsgC12*S&JARs7Gsh~4A5hXJo}e#g7;^@Qng`94jhyC<;$8Ia
zb8GdRVlK?_0O-(cBO&{BM3dO|OcuZBQt@=T@$ue!PS%@-d7&8l5e9b3D}7xnOhya}
zsV=Ru8Mw<_H^X5wf<$O%*Rcd>4BLNEsAA>st1#5vug)}0esdUEaiZz2vmWuYD4F@+
zGU+oxkYcC=()@YXeyYvz#l5wXSep~k#PH_ZUs+1ttEkcUjijJuq$Es-VH4+LlZ8~V
z*-nt<MoI{hVTLJZ0Az&<j$g0YZ5`H=nR=&xyx%W#uO^8^rEalKaBcA0u)VcZmBN%k
z9Y2SVbqY2$20#HWdN&JNtXZ%^CD5N`ojYH07@8Yzel$ovTvgWM=fI0?jf(E<ks41y
zn+pg;(@l8`{HJ%&yKGYJ&&81;${NZa#&`LcU5}4={$a1hSJ_`;gV7GTW$GhG+i<L=
zV$~yz)qW_Tec|Oc-amsZNhR<otF!4V_9%k~8W@-Gj10T+^PyC|(1(N?H!|5}?y3gP
zhOxr1hYB*lKKnH~AcR?5aT*A;gG(UN8o*9*moFw>`FES~x1X2^1O8?Suf%u|=rQ0g
zHm%irG4q<$0;VZBWf<U`JaNOV{Fm9r`Q+;^4i$G3dXC~<*YsFNrezEh5C*ZvoCwd6
zFVRhNV$~Cn!`%_Z{mRtT?THkZ%TU|qR|7Oy!GKA2;Bu>Ck17a)ZV)QaKP`Hrw?O|h
z$v}lkMs4kAU!>f5(mUDt&{$D9j$7+G>}JJwcbs2xpVd(wAJ?I6<ic(IvK0>Xm@ry?
zFn5``h*~lFMStb5PR}2l#Ee=Ab`nMqet?pSoOpJtTh78|H-AQyu#vmJCs453xqsix
ztm42PF~+`Lgn+X|F{~KWg|^&Hu6mG7gL+4(kawcS&fdLdTI=i<o5eL$wZxp3QY%q|
z{^(WyVB`FX2Kndh86&^#St$=CuhD0-vMJ^&O9!fZQn(rtmm9F*;S1n7J{D8H#+;}?
z?1J7AC=e;&M+=2gDnGrU_RbYIMrvE%q)e?iL-_uh?@y2CkQU#Q<?#4&KM%JKm_q>`
z+u?Gq1y6jrG1K-3)qz>!Ics)2wuR*@)EwO=rF{mG+L|6&qdM<hqei9S1PY@aPAr)9
z{s^o$>0PFagqUFi*=IheQZ<a%I56j9`&WNI1oV!Kw*%b2OJAP8Cr$D#?}ksslh%f1
zuF<#5#`VGr1=e@)(}&N(R|{XRnxU4OLX}QTq;lVsLRZIEU86uIJEv4^&!UBwV?Xzf
z5}N=9@E_r8iWhj8fH6(@ofeXduR;S^^6)VB$-P;=nEP2=mj0c}zFJLJl6b2GuVGVm
zq$GE$eYDToaX>Vsw6Va+VYYm#t0VGLeSIElnMgNG`+hBrf}#6b`IyLfZw%89#78jK
z(N3J{05`)w)aQZsFiID-+p<w}NS(BdKNpIwgh^d9YAtXX_|aCA&Yxa5vVI2sUdf3G
zyDk8UBegQVh&4+-ASl@?B{>krn85JTrE@2x4kddTQ4HNm%sv-mRRgy>>ef4xG((>|
zqz;IEO4im$<tdzf;OEDhCP*Bxa!Hl?ZUE0Yhz-O-+A1wElEwO{jgifv<*kgeTWFj$
zoQ>{0q)H2Zh)o!S=-mHk2@71(&U|KvqJGTg;2!bHQ^zbWGx&JMQ0#+=)IwhrEZ7A(
zbJL~G*RiG2$23w)XT5B!hXaa2I~?@8L~cJ`TS_#tfQb(XrF5kZNl({KO7yn*BaWzG
z=>zy;s)?MYhGVmQ_G884W|KuwrM=1@*v$9_F#mAt$z&1C`42%1p#mX$v&KCmUP5+s
zZkFHuLZ!GJ8I$9Kacg})tUD`nJmMsCQ6WZD;kDa`4Qz#MYZ~c2f}Klk^i*VB>>s*)
zpjaK!ot9{U$90%GwOSY*wSM0=z1wv|+&tCZa6o!6H=vhUaeC9r)Xl;)a@GU>nUrms
z*^M3(Pay)pCh;=M$7VB~1-_nzOSrDH8i#Esx)Y+Er@dmBLp|2{6DgVLf8w<Jm%4KE
zR`)3dGacd%SyjP9Wou)urpi@zkIFM39n{mpEKH>=Zb242w^JDM)Dp%Qx+;2{1cS6~
z5_=S<b*yi38h^CZvD)AG0Kmj-1qQ62PzRh{!0tBo988UH6<4F_I9Ow_%unrb3+1T?
zn0YT$u<)g8-IoyaUi;0^3j6BPC0q6iL51mgt0~g_DSDms>%MxdXUmBd#^1W@JH}M>
zHcyoB#G_yvTZcE<@Yn<bZoR`2rLUyGMyVEkaTYVAJ(Gm9^oB8B6vff6BL_<#)E!aq
zgQW`(GgFC=y>bw&_4=I!pQHwqI$8`xLBT_t;cymm$5r&Z`laqpT4eso`z~8$nRF$I
zwhp%y1p3h~je=D!TnZ|YtuC-aZl~?DCvqmeGF@x@XyQrni}1ABhj?r<7i_SnH@^Tl
zH`kkyfwk3wKtIA5_d(Ar6Ze2$xr5qkJvNO6^eos&htC4R{raB%cP)Tr9p2KM{$6|M
zdIP6pvB@|u6a{<qJJF_J>iOIf(5dhjaSyFzUcL8P{_fvy+tsCJm}-f-mhM=I_ywmN
zjRYU=#4jY&TUH&0m5dL<oOk6aCzoXd<EmxwT(N3-1VVR12_h_Xw+)&ySBu_lbyqT~
z+(C<IG**k2*vnGFS8o6zMJ#=Zp>H+QmDs%w!7CVMGG3h}ULrJ-gj4W6Le+U0E<1dA
zqIS8>=;Yf$uO)bT5Pe5L-%)2k4k_uu8|^Wy)AqD~+V(s|e7Z6(%-nI}{^)8cOh`rt
zGPm=RBpn-8^?<PYAt5vfL*DxYgJv52-d;%XbzAEXGWM}J41Z}joJHwTZ524{d#Lxe
zy0oUgM>=&W#U(iH<Gpf(tpje1Lr`k{gY2CaBoJ)A-`rDZ%?*n7@5rCDKN_%qd1&7$
zdP%f2lLnG5?wjP+b6?fixPnHp2-=ZXJAn;&?}0`6ZX96s@>C+Tpqb9joKm?mk)~zx
zRLkD{)Gg`pVG{WK@rGCOZWCG2kLF|U11;Pb29>vP_5m6N?<2sQ)->#QJ(b;ciJccP
zc}S?RD~3$IzI^j{HvPQew=R#R7R$ycxyr5M)*xIg`Ua>|&b|1EkC>4D)i`TfJYP}P
zDch~7=cT9uI!|d`Y+<p(h**K+f|JjYF9$GLb{+wS%k5LQ6ZqehmGBCh!Nq@#DcVhy
z=E*odvah_A2cB`zLvp!QYn{B#q<s05@H#Bh3S*HZHGubQBWwGC<vtvJ0l%)==-zwa
zSMN6`A%0Ik-J{5eNMW84a(GE@_l(aOxXR;MTIlGw65Zeze71UZ$~rYs{_0nr<W4Fw
zyK;@_!s1Pn$KyDjWQOp!AN4RetIY`T11>^qSh9Bk@2HoF9ZlLu3P(2RUf$96*^*uZ
zKH`<hh_Ao}kT3iv7$v*|521}^?!LqfHNc9JC<sX33g}-DVm4S8@H2v9GuS$WTOgbb
z7i_iyqIMaV2=$#)Soj8*<889e%D=$E7~s)=5RgD2`>Lirkz(M5R1Kl~ryqI-c$Yhs
zr7C296tM*TUlB$2Ec`Ax6K{aa=$(XVJD!oYfSY^y_w)qY63C1m&tKi&@S4++Q|I+J
z&hVL;Ob}Bd!_wA1TVNK5yQ=b-ab+=-3O@(8-n*?nz%PVw<6CH?bMK5glApAGPW7wx
zw2W>KgWKDolcIduc0;?7IT$b2Kj7dc1LV-sp@j*H%x{4y&--TCzt+|rOMkhqjq-@~
zq|lKn6OB3tjh7^`PBRWp+b*u3%s2t$&9ajrmk>)bABg~_t@AqX3N~k~3%n?Xv@6*u
zozX`{o@^%S#P^n{{p3{bwe8_$ymV!ySurtFo)GkyzTe6AS~AM>=i|bc!4&7POXCB)
z4RF)cn8k;Zfs|~a(4UQScinsxF<yD+cqw{6$lc;GAKkmPPwO4xmQ9Gz-NCiQCCZzF
zn|Ez+u>{;eI}oQpyJiU+HioH5Yy(}f)hz4~6QkpXUnAeea<a?Hb{;PlXcLSfVOOSE
zTv9-m3nnrPdkF*ll`~8ZbPBiCIe#Y&G6510kbte?fo2grp@(pxUMLI1^mCG{d7>xk
z)M*>54R!}t6PL#f#9bE^vUo4O@CbVH1c}NumtR7a-R?P_R}?JOefhaN({cRr$+h(}
z;?A>g_K0fE<NiJf04(g8;58C#hKCNM-&*$|iRxDqpXUec=<rMT(|NAP_FD7^34ldD
z{h7Q%Sn~Y@ti<5u*2I7XDB%-ENHQro%b;m-<Ih7>ZqCzJceK7fkbC{>SUn(NWa{MF
zD<KO5Y*iJ=)R^6@5>AKLFObLu=2$Knp=3kJ7ddlV-D75IU86H5YZdOB$)4q*jpPy&
zW==3ZEs^pYmf6YLep@fnpTt;!RbvYv$#s5d%~Ndu3<(85!6V(E(aXOR9Q|PF*IlM$
zEadJ6^IBK`o7ehZm)H7lI`hA3|F7Er&(&T)knw&&jf+7-&%x($20#=Dc(JMh0L@0=
z@0>62?Ps(JHg}Yua%mrr4mx)BdJ`-QhuP+L!34>~eamkDjPBXiC`SIqnmM8+&9TWX
zG)q8@A^@sa_q`WFloyVbxIJ_`<Hpxx{!;KJY}bomS*Z6ga;up*TBOzwGqUw+-lr~V
zNGvvjMJmcvAI}QbIBc?cJ^IF4vtG9Uyv#<`+jV8k{&?3tjk>J2$+NNcVQyEF_()1X
zx%kCYK1q+NHp!J+PFKJs3Ie7~q-PY4QCAY6o=;kQE%frZ<kuY1B=o~c$x>BJn@En*
zgtJUzGe-u8sywUUM6|!tCLGz%r7AaG)AmrcA=In0TErVH%%U#6PJGO(e=(s5M!kHq
zVq295M`_OqIdc}i?N6TRf6reh_8@s>`%sOY>9bwHQcKew_~~Nc)6VS5by(i34;WT2
zVU`bp21(M72S<5)!?tu42J(*m50=29m8mg<ks-z8Pk9F7u|)_>cFZgm-mcu(b5BLC
zq$a@EB=6`4o;nYFm8Zlz(OtdPS+VuI=v^V*L!~R#PUFFEK}0|Law?Pi{nmMi4TE>O
zzbj!}!AZlB+i=Hgi^A;pNiJYsxDTuYL$IsLU@>4huwFdD159|ANFMcFxBYUD=Vsrv
zZ$YVfov|f+Rd}h1){~q9jfWXKc86}4gx6PcIpVy2HS69)wDtE?==WRb92Xf?Pm$`Y
zTody7cxyykb5}9tdM!fKnJiudrm0-zc5fY^BK=)rL$sm`%^Vg!KB{*fN~W8b`yYoj
zE8mnnG<ZZ0Chbt*k><01F+IY&S?}yPxmLfJkcLO(WaR{3xIh<PX(RpqO4!S`sorWO
zKR4A_0nK#sS^L~v>+?1~?Vl*EO?$H5u;Zdi7Gx%8f8~O;g*BFr?L)B~9LTlgp<7nI
z2ZwVsD@Ar-7I65-1oA_&Q+{fq%MP4KBo8bpD@UHQeN^G+;r4yO`^`H;&js2SxduVo
z!ztmPmpRf8CGB`DQ2ORE#cSmyDniyGg!4hx5I|-Sdw!9@!@;Dk0RYMMHr~=?pZ3v6
zww{u@w5*cS%blBXDG15j<)&VgNy)dCxb?Ws7s)Q?!))^<iLb(5o0`IlnW`&%-XqcP
z)q-iInwBD9lCuxwf)}}2$?aSn1nRenRTzcFQf8VLUc?_u`RD~j6Ny(5Q*@;CN>`_h
zzk4m{L{c?=d7}N6NJWfw(=fW2SaZC3I~n%4Hj;00^j>?<OXr@+?tc9d3%6k;NmRMt
zGMG_x=7R>t*_n-DeUv(wC3=!Su0X~(uy;e;;is5j#!OFDrZRe-Np-E$l`tmsTKkk$
zf-RKekz%z*Yh`r1j)-;Rt`OXnJ$i&jfu7a|ZXvx()vWy3Tt>xE_aLcyEZ3la>x;}3
z2PL2H)Ux2D;qu^Z-K#ZB-o<<Q<DU|^p(rZV>GSz!!-g#WY(ghLS~(nNJAazZ5P|Z@
z1M-MJ$<@cWs7+AVb<)0oK?2e-I^}7{mvKngI7i;_yOTi13F9j}RfoAwC$iC3<Wp4-
z@A=g;zAbdzbvX>`@6<t*HFy{%e@`^GD}k1?oOPIoJNWMg=XFah;jvYWaizx|^}!CM
ztRlvdZ;f@}+soncs>q7uc+FjHv)zXGjIYqNkmPF}FRNE_QzfTCkL*wK*VGolJwWGy
zcgz&BX>T~pQi<p3de~7!5-;Z-#733}92OTX%(~ryFJ-aw1Xq%m9931apgYrOavI$w
zUB{xVDBWWS6&!d<R(T@R?mQ;zRH54Gk!R_wmZzX|(W|Z*@lUEb?n;ZzS-6~gaHBO1
zO)HANV*DXtr>P|p3?yJRj5GvAfQcNkVD9yy_C-xS!m&yi4}Pzt)b(G8^`htlsj3Fm
z)~6KYkzqxm=tAQ(N1Lre%@VUa$`t)b$2$YZ{_Y?5hkxws>^Sgvm+J>vJW0eJ1C&ph
zSmWh@Nj@DK#B^ozj{W7siAts|B4owgv=|b&t7Xg)pO;#|!pE@!yd1CI1_<2?DNPg8
z9kYsx;!5LcZ5#igR4_;fB>+L@&s;4DNPnSZO{KTE`Wg(am!u9X>{hGBJ=%M;GY<qQ
zsYSu^$ogbunRzO-PoAkc(``g%g1t*Q3q9JcZ&zEEj~w2muP)+7TqIVyggfR9M;8BZ
zYUq$o#ZkmhllAi!@v2DnBa9i)!{?|7=}t4wae43h>)maJU9qYH{qpJ$$u&}dM_>8i
zc*I5qckMLrGk-k+7V$xys%g}gke9p>EF&QCr~!{vLbzerV-<ky=ipojx_tX?mgY%@
zhQum?owVeL1AMGIo-ZZ!jOD6qr0AlX_Pq#+lY@DqZOhCNune56HG?Z%NkT9CxdWlg
zt_^Z18Rn8qpuq8_e@JC+z(I{b%ulIt%xZBWJl}7Ho850_EF;Ch?oN!2T!|R5<G37T
zAYqh0e_EV!!o7jKhYzact`=i6Jy^jmo6XWo0Q*;X^hau8leO<Cjyh*+LkiJQ&2P%H
zGbG}5DJ(O6o)x<3;)|)or{V>s^k68sABzc70Zix^C;T*UTl(mN&2&{PdzsA=vGd{w
zSuO0_0WhOc)X{Bms>ttb0QAYX6&f)j+m<$eSGn%|VyL?%cfIo)K6%Yr%q~{jap2io
z$Hxa)<fslHM;T><TL7-H#(1AKz>u8+@RDRs<F^HXzE}+nI1-2f;cjLPuw$t+08q6l
zh%f*(5G)Wn)<>NOksbc2{X5YC1o4pi!!OL4FApHvC`z#GCa_=UaMSrupW*>%=)xQ4
zYZtLF62M-Yy)g-Y*5N#>17w}Z#F@t={PY0{+7c3;&&dMYoO03iw7H1tD)1B<AN=uO
zDLw%6FbHG<%o-jOTnjjbXl-D|2wADZ3+`7hXudKgQ2_$Cw~S{oNo(8_5K~s<u!EW;
zIu-6ac-Fkf8MuFn18?g95|rm!KJ)@@5?{jj)Fuf4aL9FU?!h%Is^$bxbtXIC<v;4m
zs5}5!-^t*1v79b+IUqqaA0KsRFfdK#zNOO?0^}a>G>Drx7+WPS0|3kuUYj$2G-w6A
z1K@P?(U}Lwr=N+Y0T$ZcCRvXeJPiy~OFVrV1VD09E%A$IG2ZAHgxJ=K%3y>)i^&%l
z1G28E<7{CVei0yng>vWTO$gxIiCt@N|370YkZ@eozx1Tc%En{f`U%`IdA8SeFmDwE
zm5CFfd`{sCybwq6?~wcM#-ET|HM`}1fZT^65}Ze;4KZ6zbuC6k)A5Os@LV2U<(Ce|
zb2+$2DUq+U%kEq8>0RBE5}iJ9Seh_ZoLgJw@JsQ+Lh5RLhMwy;N*Z@K6Wg)yq-g9$
zfTQE%<)2Q@zq?t;dZb^E>TMewidao71;&am`RZyFxuhq0xq}7eDvh(OU^d$b|C831
zq8NXJJWh}&VE4@xYh9<+wh$sPzjIYk(_SRVh(O_h?k7XOTEeSOpE$Pqe%zJm`I?hg
z++)D!+BDc+oE^>(8hULP!m0o48|?>+h!xt28~E3)uRW~(Vo=3%F0F=;y+@oaRkJqm
z^9!@%@9ba?K(rb=J6Ha%pAjVrCmB*k_%cGFoTi4{g(CqDLv5EHEr|fs!wUs%MQmB%
z#%vrkeP{2!#ips8o>(D+=*AaQrDMwXU&Yl&?#xRAs(lGo`q_4?oa*c$NboA22u-Gu
z{$zqA!!1D|&&}ZTCF|P<uh;6a^;K2HW_R+ahkne5Z*f|<rn-cv-xZ6{D|7?TosSm~
zbIwaYow{!c`uOY)sr6)W83zs)8je`G2;mM&4U{;Me={+yy36r`Tlq!1QHeP!-oUC^
zqa25OGARbZuS9z>kMwvIH%31>zKC}DhR?@OIc7;ja0#Rx|A92FMjoZ`$d$lAkmUtq
z+3Rg^QyA#w#na(7;<J$}-6dzRg;7_OkoGrzZM?Z6?X^F-SJb#VUeek5`A*UGM>x4W
zk0+2%ye{e1(kM85Qz(zu8_PWNP8cc}b>KpMQ1ok7^O8$PDTg6WI!~Ym?6tBOXURAo
z+A4VvwUqs>H<WK2aj(DORo9DwN`!0<QOto+4Z`ywp+;@TrqtgP2as1_x{;4}pd%u1
z8aGDm*2$A~%au5j@fe}!XZ31nc;_Xo@5LzwT9{gzPfI8ALk0a-mNR;oly7Dp&7QTa
zJjpbE+`u@HU4Nt6BbOA88vWA5TM^&q|KnYh&%I0&)gDV{={KVUI_*8Ng4xL~E7?T1
z>y_&at(n1&jsWh(3qcBiC%aSoUgfll3ep2QlVWL?J;M)tQ0}!cMN&y*;*;;JTvwMM
zgv}wWu#`RD*&pXd5BGHnN{SUFd8=WX^sGtR>^2MvPO`P`C?<(?#p#}}P0E25l!L;h
zUdNHu#=Xx3XZjG<EU=%qqSi;RIDM_2Tu)3iwl}ubSxthufroZH53XlNBP(jkl_-Ws
z3`c4SRa>S<Ly?YCR=VKPZ-g>ZL%E5$8vkQ@@$T2|rA1$tjDloj*@F#@{m~F=&5XJ2
zW+ao2M_N!^`#@I}3FHA7HE914{~u7ok-Vln#>6}EF(`AXm$_CeY6S;BDmX^MED2*4
z6vz05KZYGEOutE3HlL2#J*sGF>whhe=-m0mR$<vw)7@LS;NB3sMde_37QiX?j)uqm
zt%5bbczIT@n?*{!X=j59I`$8UWgKnFC+e9W%kJxg6(%DHt0ms_1)gNMawJj*oe)e;
zUhLTFLPo3~6sMNDehv!J1YD&`^E+ltaDf9}HzeoYS)mJfyEt3}xGdtX3hszQ4O_8w
zd*?zI?I{1`wQjTIU09=Z8xLFss-<5qAGLm;o4)PW&tGSp57WHL?T1pV7H*H?vsDYh
zt-8|8C-YgTJM5>8Cub4n$;|g)x2{St8tGm)7WGeyBWJR&zoagM<^JqmE;|M**Bp+F
z0!~&x-#`uZG~lU}h!AI{!g+=+PjEav^j+D_8E4(0XPW+e{WUO!;)}k3!!HJd$wh3*
z5?IUgD#X&j>zo2DWXOK(GI60@P6JYn-fmft-muoiBQ3IOmdXy+X&1nUZr#p35jOm^
zU6gN~(2%Tme-_!S8k|K#vjTd0ogc4Q$R8fWxqG+`IW2P<2U<9|hr0COv`bG(7S|fB
z`ENh}tRuESi=?5+Y!f5Sgp)jTt$KL|-evej_#KKV(l2Ty!`U!-*X~m~06UXC$<hY;
zqrMJj`a7P~geqDwAEZaAR~MgySZ=q*MVy0v06g30nSZ(s>p<7Xd(xvdR`rY$eP260
zyOv`^TjX?nc4>s$k&acB<|T#cg5tLgTP^0x{Re218$F*_v9{FYc3y%=?Y^vT4`Yy~
z^D9gN<RWDqm<POTH69gp-(v41MSsR-`X+~e3)hgi%BX{x5R8+|Rj?r1kfEJosz(%x
zqETq+wL20@#vfq~gjRwja>k}sVW$Ds9BgBy%PctL2kbhES)4W1<OE8=V(;Z?@hJht
zpN<goTxunN?5Q+zI4zcYZH<s?a{5R-8>PsS?fL5OCnR{?@RhKA8(_3s{c;6vJSn^A
z-LZX(V5jk6(9;;!tE2*ScJ=5+^$*M15ZLaMkmqQ#_JcN(Q75Nz{91(d_uaY_qjbf<
z$_nq27mR`mY36EHlQH6t1ppH;1WaIT$I=~h7D5Za3#X0b+I2j?)~L8wQA|bdd$58y
zV>{8xH<Z*JUxMjjr6Rf^v#$hTTiEWU6uswh_GBrzuA$migfUW3m!{#vZ5Yh^A~K_`
z{eIi;S^)Lg?SYZemF0XO+zor=u^jD0YI2HsnH!YHOM4^EWNeSrHmgzY?jGC~VamLe
z>POK|aZhZV7`?!>)VuwQLulTDGGj~MS@O2wdezIx<Cbb#slJI9|I%0wWd!l7p4)sH
zPf)|0rN&_P7h4m`&r^HNNF%o)TQtBRY^y#FoICy5LcpU|Nr*FHI8vVkm}#0(5!j$w
z+)H;<l)WD<GRjma9bJpAo4M{}h3U@!FamBL(tm89i`V=sEBPK-@6@~P8vq`+z4OK*
zrU5j_7c8Jq&hW<;P=HC!s303@9l&SUbZ&~E?in)_?h9e_1%F`Zzj{LeX41J!oF2cD
zz=5ZM;UDi|VWuVkGu2hc!vBWo{??oE$JW5hd0#rfb^0_Agqd1rLouh+ftg@h*A}Jo
zH}L<LOAc7M0T|K$Nf7ZKgqb1fY8aRa0>Z3^*DhdTCbpIO@8JIr4E<-8Z0-)QY67dS
zr#Vk52*^xng0r!V1lw#)^EdGS2ZsLh44db##X&(hAR~Em@hs*T8&?MGHX6)9{2l!N
zfuaAZHvq(vNv2~Mi30Ex+WY|9eg2aRU?lk*u;#yk|G%|8{6+-8+M9e?I#o9W3LYnL
z6Ukv2i8}6S7Z=ap!2cg~3kUBU$VeWUCF_`gjO3GAJ|?pcGLn1OFOp)D{=lU73lt6i
z4*vgNFcqq1oTYZ3wYc)^;5j7mLi>|u<?kjBF`~im0(zGx_=nzWNa4btFHMw`0D;e5
zA8D)l(1CJ7Sha^qdw6x>cia6o7kaJz+l+u%JKAO5()Fci(O$fI-KZvu1Dz^ZQ(C*L
z<Ym#X>^yD0MV+|VyN)esNqMTXe9uJmm7->+i~(mp#U-{oAtA*xp1+!P!M^%o5Acvc
zN2{p9f8A=Z@5|K+T3(eGbHkZN9KWlYMs=!q5bE5Nh#{H<b*e*8!Rt<Sq5~3k42Fg7
z`n}5QsI}r<Z`JYz?v-0ER{&}W(qNrAt8xsx11q96tCH=C3BjK6XHGMN?cI3i$$7S2
zP=WrcdD@z~Bj1N^wLf7Ze}Fxz*bEWWzZcC56->8<=ddt^NzL|Wj^cCqJeZ}0NIf2K
z_1dh;)p?L(_Tp$SPXKlTcJw}%spkg!cTJ4T1kWjqo^$1Y9ZFt>Cqhl@b*G$IeQ7?U
zNY&?Lw@e*Vj+w9c<IQxT89>Sq8!6(_m5-w>%}OGORQHa5(R*1fr511PO2`+>;RO8z
zRNkCF+=bZ)Rv>HQxiQdP00L%xGceq)2psPIxO;*Mm|7gLaD*XNmUC1%Q*0Kq(UQ8W
z7GwD?ccN|9w-DpTx)63U_ynG)3z}!WL4Y&!T2{L)FIrw#N|jMa0v2d7cD?EvZj8{P
z6OjUkiZj`aM#$}UJUOv(fIV`4x@oPKH)3b#fE%-0l6@~f=6s>PaePi;z3Wh7kGf24
zIjl#sw?iPnRk4ERVe)YD3V`cO0AV-YidA4rT%v&;@*=!j%Z2}|2LO-R(|9aQGTbuX
z|622TPIHB$v~8a)*7d7fL_*EvrJ^qZj(9l$#&{msIt3F2VBVvLI;a~`>5bLIwzcTh
zB^iMVWU1e~V;6C|&+X5DG!t9{%ZknLiP>}@HaG(XIdZWpF+(lP1T_dYC0$KxNY2R0
z+q{Ko&pLojj15CHWZHFN%0l?kZ%kkL`+?qH_8P$Mme?jf1zE(}EhXO`D;^h@b2t+3
z-E0?zqE-U#`RhEaOZU@`+Rf*&pr>R?a7dRFkrca{iqkIM;EEd)^|4{OjX<HsB*-E&
zbtLRd15@|lJ>8;F{2Wsg_p-F>zDc}CU**KhPBu^g`}>S+vlzdudctRHGw;T16!t$A
zIQ&rma0w!^CJ9L=-j4Yc#gtR(7hTE2mGEh|xtNI=gv#2!m#Yj5Q50=3yBML{KWf>#
zy{uv?m=+$S8P=dEhUf5nu3A00df36>ljM3U(`5M4J;#y)c%&pZBKQrOr6lap3ax;P
zNnG*I{heR=scBxb?nE($ft8K{#uYC4t~WWJUblvfR+o-eM<kbVN)~oV_h=!lhGJaU
z6aBizciz8Uk2CCcT}KtPkLvZnT-$r9mE4(iMBNsc0UHPdY~bc{7cYiKV>=G#($0Lr
z&zWQpRbFV2%FX(6gnr-<{AN;zT~fEiaZ_7Q2V(iew#N}5D&)_D^U>BnZ#0oFtP6o%
zy&4IKgTCd8?-2sItDi4(^+KJA6dc0rQ@uDP@wuq!N=C*IgRcTgGBmXG9;BP*xQIAL
z34Jphn)2(O8cgJdmJ`PnObySwy$9EO19TI*^~rpv9{L5a+z++v^HN-b8VMBS@8qc7
zJz|ph@*qT>xNuLTrWbuP#UkvA^`KcygrPZM%+lD?izn;3&6_jNXAr?@bi5`HVdDe%
z>D}w;a;nH~p2_hUSHqF;aJS*{&uM-+20=Ls4CKoL@=+^ecQOoj6Lv(A(z%n=O{gJg
ztwcwWgkY$5&=#N9ZjHrO%T1p*JHsiYor;uoYpA7*D=;VTYe@a{+1<3HL-fpuT;<OD
zg2-_Xy#-eB=}%Sx73nO!7h#b90GCaJ2HCEDsg$G8!B)NwS`L<s2t8MM-Ba;gaJh)k
z8e%#2vSzBQ*B|c6fvX{r87b-Bv1?p6H#L2dI3aYDayxML?EETjOa^66*aMmE)`huR
z786LWu|y{et$^bDWcvelI{iXF;b($o2~yB<M`9N;obI>f@hiiIL6IZcR`X~l`UlC!
z=rxIik4Fa_It=3YY=?~Lj<qgP;zNeB<p`0z%Yo3F;PpTEtuY|+k85idRDd18G*Pea
zUaT(=Mj`wYm9H=Ls_@RXkoi0#5V<0E?5b&m{au&csx<S$9;KEg3k3+0!#g_f>ZyLg
zuW()1`BLpK-unyia`ahUCZ*TP&M%j5%-q(!HYshL0Vu+P2fod`5Y8krI3!ESXT+9I
z$zaQ5C1v;V)(W|IvVTnX{ifGIXiZIXnJr4+%5pZY&navahTEEISs<V(0QYeVtSPq8
zFf^X~Oq!!o_<4uqGe`%fcC2?X=mew#kDZbY3dznUT{9R%+F9@TY`2{o-98|8{`sJ@
z=?XRDlF~(T=Iz&ESL_0F3T?YY3+$1%FR_(`IgH;&J1%qxLj?;RkgF5y-ajgdB!UmN
zl`a(}4c%>@UlM_$#J^1AES&u+JlkKY(3;C4Gz<_+uAb_$(Ia736rXdg_tL?kHRmTO
za_4Qxk5`{cdYWw8$2TkaTw0<X_Jn%x=EqQ|e!7Bgy#yK6l}i`-e!))V;JR5tL3WgS
z@HO(7a5AzAiaLWMN(g}Qp%4(s+$SQ!6p{p<fVtIF)I(oFq70APN}KUvyf>o_%5Qc2
z##qm8(RnY}4GthkHxD=j4!^GQ1g^@ckLZe0tI%%0OYb!w^YDp(FO=lO5OE~!*56do
znkLxgMwT?$-B8Xol&rifR#cEJZmrnFM!mXpNp2U~ercGUEG`BH6EYVvIk37x?LJCA
zaWmbqzM|xfGeek5ow4Z7Jm_{3!S1i+ZhMT|0b$eYheAVX!16z?t%U7q2UZ?dsFr&i
zC8X^ouTTIWVa~g&^5uVM_-R#n@YSPLAyw40-Vfo7wk{9Y>Pb3t&G<iO$5(MtyV@(W
zA9j~-zIeiqWiFY3Y{$TSux$zeBAbg#Y%%8mlQjqfPU180hr0xrH~*JB{FglZZ{nG^
zuS2~zGbD5E7aw37!D8MeCSgR&0qo@aIoW^JJG2;&jogW7Z-wV~!(7rhc(s>{e7wlv
z{@}*U>{O=dm2@Sgo8n+E8s*W3SIt@&okAvREn}@eLi*S_HV$AkTRZLijFQgpe$6K^
z%ns4;SOPS~X1oqO5gCf*P*R=51sMRya}YkRQ-8Eu^=>cZ`5jKs(=%8OKM8R@D9zRY
zX-}rIZgB!v^|a-Y3cB~AbXV>0c5IPAwZHB1vPDw@TF|)-GUBzg_teEkxrY!~RaUUz
zizXr)dt)DX^A(4IQ3TW$JSm}102>4^(9nu588tCrOPK5+8{3)FaIzleSP~7Dug(ii
zjTOc9GjBWR*5orwbuQF|+-rZ5l<N|}9$!~T{Y?qkE0>3xxU{fAXIh5GLGI@5y24#S
z$6GlsxKLni2?TGEGmXL*e5_$1FT^eNSQ&+I<Nf^UAvT5_Bo)2)VZ}EBZdKUW{?wZO
zvPj>zbTRXIOVI0U-qQ2OoiB6`OMUkE(Nj6Jqu$P7dmI%TFdc|?a2eJ}UIRw*GD(=m
z2Rx0acm<xG=(L$pItpKqaNM>juSOzAm)WdwX4#<!kDBNNzikf)zRlKeHaAU<y^oI^
zk~Ps~5!dChx$&CC__{@A^|6XBm(3$2!Zxw$6IU#aLMP9#{>RC2JMLNVHk`HT>P9t?
zTHazOe<S>K07p5%!Ss2qxhs)EkG5LNa~g$Y>FY+ozLNzuGO2gSMQlT#K47VqXIfz-
z?@n2OZT$V(X4|puVNqV6s~ej|hqH4Y(-lbV(UJkP8bSrl22Fk;tDbWUZxb!XzY6k|
z>Lbi`&Un?!3>=G`t;3YDz2Y$JSlu$Yzw!J9z56Q~<|S?(>&024put96b@4BK4-k)P
z&6a0x-^(wIPUCs6(XA}UK56xaMF-;Lhxd-+ANLP703hP~eeiG=SVih^PpRIvG{wOf
z97Wx2HbXx1L}#KqqXY^)5KisJJQ;E~qMapnfGc-?n36)oLu<9sVKXhYw1Pw2Trg$b
z3rolwOed5by|&KG(MN}_>d&P}u0WOYoA&_iSpwR-s+(AIT6q200NDM*bJm;EWH<10
z4$=>EwgOEwzLW)DKnldTvo~veY4}n#awUwSy*OMT$K6hQ?EVrrW5ugB#<wsT>r+H=
zb;+Zk2U=b|BMMice6J>QiTu$4^N7^aWfVu8;K!t%!_D;!JCXg*nI=`oHXaJ1q9xf$
zensAJqyxhs+9sdk(%|Y@ZtJAH#u5B(N+xOEBcELb-|ov}HZ0cspo;-7$tcQF!PY-s
z0laAic;vf_W7FFLb5`lq;JWJI{nPF3lx?+kd(Y5Hs!>dP(0~IEe9EXE+0M}Oo<L!=
z2-=}_UoIU0dAZpe_Z}7|+cXi#9{3!lE*$r|>FOtf1y~YUW6Tg^-<~g4#3r1EeinGS
zGW_~hOy%g+R%yD!{rj~{J;#c)dNt`m78J|#RA`mV3&rv{L8WK@c7@MN@B*9ccV}@a
z@dD1kqrw#!C_R47#mEse6#ZCyu+zY?SCf8j7KzvHAL~bmBDBuDoGzIleCFY*_2KH2
zu6g>2`ID4ky&#L06O`n-0nam0T^)A6?s`9y9<j7!9K{oTEj<85K)Sz3b4bW@vEF1V
z>wS3^Lx8(c_6-l+@m@skzpG#BF^XN~^Xze261}kn0ODOcA*n5{*I~~h&Vh~@>@dwD
zIg9Ct2r>fW$E|qL8E$|<ScttD{TqY$9J{p3L#{t%pm`behl7JmrB7%MxtXmOdZ0~q
z0m;k>XwfB$LLUuSY(<z52UIXDSh6=<kO$tyU8FMg$qFw|iw7P<gOa{m-H^VwZ<gFI
z*W3(-I|?8kI6qS!z}8TL*DYoqY%_`c>#2m6YU!)-hV9oMpNr$SGaL9exYf}>qyV>U
z<;bl}2N7>nuO4eR$^=ZspHP8EW?xGweB98{M99UR%*n*K3?*@G+{?3i)FjWPe@Gv6
zlRR<ni=gFe6$o2FH`E8EUT7^4goekzZa0y#nI2#5BLM&kSQP!C+3XRvkn(mQP6503
zL<Ceb2zQ$43T)iB$_>33eWiS9hjRAE$AmC>4)|3xO5ci4?@^T_#mffk1Ci&t-KnLw
z8heHR^mp6^M=!E{2^8vU-Ku(|P!*Y00(w{X4T3Cg<(u{fj7c~u1z&Mt*3JtuzDxM^
zA;IZ2I{?PvC6&Wonm~z*X*LWhAs|v?yaH>GK78YDUA5{PU>xyC<?77Mvl5eUvs5Ui
zhH)JbWAU!3hP4d_g0c&wY(l26fg0!5ZF5t7S0H|whS*e34_RpU`@QV0?ve5aocyra
zxC8O?)IinoA3lUJlb<^iK4=~DZOoZ~a<G8+^xVr=$F|VOg4aL6msmydcKPgw7^*um
z!Xv$s>--`TLb(d0mylX>f&kj1z@WX;9{BwC!q_V7-wpEp)TJfRw+GwG1*4^W-mw;U
zu?6TL@Z0zY@cVFPT1u{A>LW)y4THr=OUL^c!D?8f4YGiS*(J=*3t|M2=-kDmd2{w_
zKkBU8MywxoMuqq0IL!3ub!WC?Lht`xC>E4O>bf{}N6FhY_Q~!YjlOI>Ql;=*Se?5p
z6aUOD$RM746k~J~@pA44w4PB~Phe-LN~6NfTE~SI+7TX^O7$23(ceG*OI-|<6qo!(
zEd>*#b$dCA8c_KCEPqGDs!^Tn>B%S|uEt#>qZfa<A^I;=itXIhRV`M(ma~aS^w`6v
z03fHj;jLw{@K)X8Bx*84UM_GpIh^d=-!5`s1y^tbPe_WOoMzGQpdHm<x9}NFF5;$9
zk*l$tc@Q8^PiZ+W45k`LgGA9|O84`lGzJTTtK2Gcw!eHH3ZoEho3~_X>u-|3dFedF
z>*04+f}6k!o&Ez9j|8k9c=t|)Jjk9fYH89qisAa_+M~t(*BU$DtTpNo+~f0LZLI<1
z-b7W!_D#2El|0;)2BVl;^hPx!2oy4s-jU#f#kQya08RN5Xv+NjnsN}spp5+VIK7?H
z^-gs8%8WocEc_7I+r&ZUQR|mm(*@gXm+tum+aGKlW*D$TH$Q*AL*fbcL4g1GYo37~
zZ<Lf#rdWk^oUXI~ioE4aA<t~vx293iW<S7CVn1w{%PX0+Qs~&3zTYfn-1)H(gVWCG
zn<5Ln4e*(>|5AJQm8x$`mq_i#<bjPGEZyGAT;%R)CFG>e+i~Tc3d}j3q9iw7PUUT*
zz(8w2m%Um>&;Dk(m*EJgQ=)lJ@1-Wh_zp}xp2ar?ra2LYgC|Yu%H;c=@i1}*LF-X`
zq+%<!t}-rxt6>1B@<Rn+($?JkxBteksM>V0%zGVBGlSHK@jciWf1ULAU$5=?YA69B
zA+fW<mCKp=Kt%s&)M|9*8w3WpMIPwCWo=o{!5b-aS``4}BLgo5E-<C!lG-l}uH5rQ
z-g!IXs3dv&|7TKwNJ!_2FsK6<u~w8<NOGtlP$kaKd#CES4}R1;B$);85(q9yTINV9
z!5&W@*#UAqMNkUif2=jIiK3y9B=BB~BC^-ve=9=*os6d-C^$e~DGC0#YeCzW;MGNl
zlvi)MhNx>PSjVbg>Z#}(-j4aTa==7Rx9BtQHbPgs&aO{<zz5e3t{?m$n+2<|tsgfw
zI3FEVSdP9GIrE0tA%$Zhira2?3#1R6<ckZJT<wPVy%t~gcDl*DhaSYa@A*!*nmWX6
z+KBlyNKb}HWZrKI&4Xz!=+@L3<W2bNzETuHz1&Y87ny%pkCd-2wmIxy$&X^;#Nq_F
zWubK3C7}g_?iWnrM*c3H<eSUk@y|1pcPD?b1Z>c(tnl<?_C5XR*yP#*)>@Fvf+%$4
zQ{_wS{nOV%85qFA`?!?nL|PC!Togj4M&);-2O;GFzV$sVP2CauD)`8Q7S{*=AA4^d
z7G?CcjmiiJ7?gm3z|hh%gaQHsf($K4NGsh)OFO6_Jq+C_LzfKQsMOHip>!kNaGp_r
z@B5zb#Q*19-#=Uo%<O0HwO8EtT5Io-j*_FSXE_oVmh5-Pd)^v>TzQ;=6Jn)({T}(u
zSlesqG7(jAu0g(P*p}};p-pD=MWWJmq0K>Du`D0EBL_e4+$Sd!>eW9t1QM(APXrWa
zqqkE$YNk$pZ!ZMoMv>#hiCYf1ZNiP%q+%Hw{@nIbhP{8r=E2|%5F<8=pjL9vx&WJA
z*0g7%h5o_s5(TqmExP<BMy?s(2L97SmLIk8q-R*f-X-^YlIhUxurP?tx9@C>FBCiG
zgjSqxB3xWY_!g`v2>#Oxz*qaY1pPo~EXK-mextJhfxhw7p)mKW7Dqx;7zK>SgQyA!
zec!R#bw~v9#r4MCSV$ecMDkny9boXVL@BT$b~0Y+U*Ij+9u2LgmAv%-I{LBh@+}0P
zhKqAVXwo`nQP99a04Lff^LgH(Ys}!kLp^V40*ZEZ>Mxx|yqY<J)`gl*e-7Su@{Ulq
zp*6x@&D*9Kr<ae|$bZ*$8>6MgO8bsFqlg!hpVn2*20eXqu?(>u3kv!TYpe`Z0r2?Y
zW^vT=>{~q*2H~MSEm2jNKK9ToE)c{xuF1Y4AixEt%>f&J#Z7Py1j3+f9QZl5A8*wb
zLa4hjS%kF1b0!kG&S3EQg`qGL4{EQ$7Q}LvN4NR>%-%@f7EgMKJ1dh*yK^_#6|yL{
z2r*f@zkVwRd)Mvq)9OMfL~`(Ossb-jo>tD}bK_{Czj^)y_SV-)b;~Vf%Jgw<`0Cn!
zZpYcRJJ6c&cf`T=J76zoFT_=TMDPI{ow;L-lN|vk5Ukgd;LwMgj57e|sm=V$nd$+~
z6zfJ8oSE)ZQf4*iy%0!D7rO?~CiC^4vcZ9C-|2JWf46MDvb>$%m3RM4ZwN^TO0f^o
z&ij!ucxTEDe(`1vUhl=$u!H8|HF&om-0Ff8N4Vw!K5Z4b$Vu|uPq&@UT5@r@nTsAL
zYL}Wwcp{=7@;`ZQAvg5hP{&V~z;|+hKZ|&-9{>%<rYKW+#1`TQiqxO$FH~1f*wvaY
zuc;;hxS5E>>$?5xDBm<rXooqrUCh_#^Q0Tv^jC<02E^i)NafcA3Rq7?cQC`|gq>Jo
zfVssjhLMFQ?Dg3%<Zn=G3lB_OS`Z^tRt7s=@uDWzm<8Ak<TG)Mu(!5~Ej)Q4R)o#w
z`D2d>F04Hi#{I88;HLM0-@n1aD+Lbx$C38To(0m<W|kbjyDy$M`{?4nh|9}E-xB4u
ze49k?*E66ji}Uz*EIJPsgv(8rneoi<kbBAwxg93N@q!5KeMciFs;A}x&RhK(csFIQ
zr{=ROm(6^_W)NK6h7`B!xUgkhfJk9-pW?Gl`<tIW%J=U&QDcKn=+uu+7-y$ldDwVF
zJ^EqQhYGZvoDE&pH&~z~K!Z2}{T^7+0O8&MK)u75Rg(X@qn)<_TL~=`7a$IJhYw4n
z9nWCC9eQXx#(l$WJL<<l7&Y<GdV);W>q>#JeX-km8)@FffFD+RN`KoWe0`!t6!$E3
zb@Zh};@QD@Hu;T!_4t%!JgmI;QoE)Oyp|QxH1xLB?IxY^VKf?64-S&_>|x1+3uVhZ
zw$zeKQ&=c~t!+K$PayiQ<0{pZeT~Uu#PZX+<(;QDgD<JhP5l`6P7l-dBg7{U2@&X+
zc?sNe(ytD$2Pu#2rWk7_F7;6-{uu?Lf{d`I^Nj1h&N*e56DP64gHq^6Up>S-+t;nL
zT>w2`w>8pn-4QV<)RYk|4x4mm0iin9#38n?8qM_@HgJ#v=l!#Bx9PZPD{NJ9Uz|3c
z0d&lhUcHgN4THFB)3abss4N{%8La=<eYwq4>70-Dd|X9{O`d+j9ugt?_K<`i7>c-#
z%4hS@zWlYug>r5yHoTd<^{~geK}g+PUqV)eer(n=<_-3HE4F@0=`?!epC49JEe1)}
zCq^5@eKtC|*zS<O9<Dm&wetJ*xK_DdY=J({)zQug+HQ0Ub#$~fqkMT7+-a&mPO#d4
z@REa<v#hAl!Se2fUt(N=KC5$@uc5?vnTQqbtfWn-{>jCj=>oz578g#JX;51+GV<yA
z!2#NAnb+guJ#nGO*kt>Dqxqy*W#B_85BjLE_t&gKG>T`VE0q4;c5$;{{oidDgEK$y
z06@n3@XZ``(6F4`9fnxt;(ET*-dJCyW3`FQQdgA--!8_98tXROgn`Nrt2lj2UpGuY
zBWJd6X`n^U$1k_Xlt3({VVxfIk%WdDT!<|%TVDZ*${+a$Ocy8V67^&j)T`SEFC;dX
zC~v?f-L>_u)V^46OW4#V)92XD+_k{BG{P~PZOxipcRzJ(po`eF;kg+6b^)LqK_I@S
zYkt@PBP`(Q_^{cPNjdrkpMYBof)5#^IiaVuY3DFsU(CmW&sAfZ8b8w6jSM&+N&MdK
zZW!IW%S&gJx_j$mZ-s4)*ph_t1(m|G#RM@Q0()c7d<}gPI`Qmq6mzb9$$fQtc7>d%
zxgKN_!LbT%tg)(567>qbTV@l7zJ0sd@U3(8)af>{o*fCeF!IcyPNhSYj*(_A;b+ge
z<ndA?+ww_-j@EQ3h=WVmUb^WKj@LVlTIb3Q@2e=vayx12<;G6+LL#StWy2e<dhR+I
zZoA?kM}7B2OHVDa%?sLrntlfiKI%S#_q}|EX%Zghb)C8w`?TZ`{@C|D(@{Ho)R$mq
zVLpu5<NjjG^}M@-$xg5Lkpktj5)g+0-U&Sb-LT(&5~m=biu;7<&$Saa#nFv5D_-g^
ze-B#|{W)B;*e9ufVY2F^)D~Sja>n3&DpI}N&rUXau^GWv{ypuGex_jWYFv!!0Y|Vi
z&Q%kyDvk#M0Z8Gw4Czyu-|+M=(*DGP=|PMVylUUpqwdWQdnp@#;cvBs78~E93X8zy
z4^|5e&LL^03V8S6%R3@&hnKM*KTezdN^LA*6RMvU5HA%F6PPwiiz1KDEy}yfpAZl1
zZM@V)?<!W$6`jeLAw7^mTt^=SGgb=yc#$RU7rbndsmJ3yP9sh8$)UO6h{Ml#P`MfJ
z+9{VEOKRV_9jBFVDaHx9Qm1{wAEV)SS=cI-<_T!2VN!>;?Z7|fe)g5(xBBwM#n>VW
z6&oJBeK}47!z2C(AQl_~Xj9xZP*67x4nZ?%yBr)<PQKOXn|yz&!C*?i9v5l8eSR=1
z8RaXtA6kB4J4{o(z9XqP9!}TecU%0|%1ntLZo$k~`J(d!pWR>R3vI66M3;#BUT-7D
zYEO-Xgr+YyWf?jP<9v()Za<k3QOJs*XFc1D>TQ4D+wk*zT2bGQbDFKU;e<GWf7$ND
zTRAB7u~mAg=;mGOw=Uc9D0Bp?zVG3~leEsZPpzLLIzFp5=(DQU@78pApNX#y6&2ok
zoELXX?AO~>zXj3~i7Bhyt$8BftAmqe$r_oW`y$^lF4Ew|Bfjep#IBc5yumTyeYX*4
zWO2*o2;V4d9CF3n{wrJR1IfE<xL^`l5CQ5zktqLDFb>@NE^N^EVD`&F=oGbxAxOS>
zr~ashD^s~MRwX*AGDf7W)-ds?Xzz%*hMp<nYQwyr+3|GDC+DT-arUTU-1|eLU+Y^&
znLV9H(-iI>i!s(aWZG%oJ2B^P=N96V(IvCa-7!v>%3egkZQ5WS#QyOxabOy0i00Wn
zujTDIbh46U#fE}5c)X2~1a@+fj{}dMUH`H1UA3tPI#G7cHC|$DaQvQ4ngDtYMDp&P
z>@|3^8?b~qf`ue#&0O7fdtsa*H&3DvMIm)rZC(e5!Y1q6{Zc*NlT>|ywYrxVUu4sY
zqXmj<MR;2!r<^iE?>jkd2z1}6+1)xbk$tTEOUeD4y3e=mm(gO*Iks&oCoR#En5g2e
z!>QMzZE2y^eYyRn5#)l-FtLllO-a}A{MD!;=)h56+MBv4xQ4DFZ$$mRu98+5wZsqy
zLEeD!Nq*BH)6exv`<UhBI-aOh4~ZhTsL|n8wh9%y$@Wa<9whJPq!_inZt-dgYg#+s
z<?)9XxcckQE>`Nck9{4$r^8pjkw(5YW@}beH&GK_*6&8XuZ)g5Z=R#8(HHr+@Myd5
z`^4~O+zq`k64(aiAF+I5!ogL)tDO?hh<FE;AY`GS@~hiyQ)!K$Up$?ZoQX7?u5E?9
ztAil?3GOutC&ug#@m(r<x`>Rucy1NjA3A$3eR??M*Q|Wg@#=M}(#Z+K6^lJbrqe=Q
z+SHb!uEWb(=cz@NlrJf@Zk?ME5?lA3&klx77I#U1BzLj+XxWWDcr<l|a2BsWQzLY}
z%zd9+VN_(m7k9N*S;8ju_*i*sp+T;**Uu$)f72u0fsV}}BBJqF!56X``7$6T4mu#D
zTQ_%e)%|VnSiht|(P7E&(nZLT5d)?w(!y&b#c4D_8oW8{HL3OHCT(Lo<MUZu64-%q
z^3ETF2G0_J5xaJ>@x-`JO5ilyfs03>aoZ`5iOlp3x{Xq;(-&UVSFQQ$+=wYM>4=~d
z&w~iM-NX3PBcyWDBGrpj#8E7F44^Fy-bZCpB^zuPTNAV5EA1(j^rtEJU0)vQ8gmRU
z4t3?so-aoj%l+Q>Da;VGJG}4V(yF9WX=anoyUv7AuU>5HX+7!WbBMx`qoeNBB7*cM
zCf2K$R<<6s)~<<rE&N(Gj5bpC=~&%DlUiW>lK1RH7SazL=TS&F>Y!w+Y8N6>VG;4z
zDpUGRcWd`<pOF!wLA;TXS%n^agZ>Rv=}YeK0p>_QzoYBbRs+mZ-#aa7AqYrtR1X*d
z0k*!Q{Vfg%YuM7yuEFo3@mTK@48=ej2w1xNPBw+K+okO8xCConZLM0QFu!n%Rji?g
z*-IHSTn%t%<W^2E+&5BixtU0>_9A!ZxU*OUua=?S)!$`(?Ay0(-lCMXM5V;vX^^%3
zZ#^ZDvvC6*)=tHdj@hN2IIH5unCEO}3Sc{~Sw=taoo&c`VI|#b=lP=sE{i*ld1IAP
zZ8P?X`!_rsXT(Z!Ya+s}7+x59%U(j(m8;*ZkW{aom(JUNdJ!bJenGr=*?2z85$(I4
zIUC1ZLr1p0eW4nQ8JBF}3IFJI`voa1i@Ek)mG2U74!vop#%KlaCMnGIb6YJ*ju;?;
zY3hONxLAd_D-67PUCdA#2yG=?cn?(%+B?3Q;?DNoySKcOXz1+M?|0P^Bs2+<Z|mD(
zINuRcu>(6tci|UOOI_^+wgLQONra)+X6@~;ih}Fsve?0ho(q*^%aXI4v3fm29|!pP
zdB3DbFiRzLmv&b1`}CWBJjj;6GpZ^l(!1O@L*H@Kr=$jEuahMd$)@6^vgPAhQw)WC
zY*oH4&Xz;g@q~ffV5y*ZM0TK!$6hP8Ad2C9W7P3u^ZRzXMjDv8e*LtnSxRnhrvH|^
zUn(zow)nQ7V`DK=aXB)7IbA}0@g48k&ARM8Tb&Z!3O+vhWz8A*HC!27c(X9ptzU!Z
zkVC<;J~v1tarJR`rN9>pH>f(wGvq|uLiXdwBG|>59JpVubO}y^R)4zL(d8nzugeQK
zZ24H%JURW|sY42*$?sXrj`LP+@R{3jl*`><o%~v^;d^nMwzxVv^GOd=Lx3`syo(tD
zCsfJD(g}G2n|QWXGJy7Qw%{}zmrWpn1+hfx5!EcJL!ONvH>@KZ<kbdSt=z+)3bb^5
z(oKx-pvKI9JUMiT5RCZJaQzbl$b$`0_U3S2vR0=oz1+O*$^KM`)2NARn|XqgAxjkb
zgxVKoTh;RoN)el%jwSOpX@$DXM;9kLI_Nn?b}ow{tL)~rr5u^l)vHUj2Hi@=47ss7
z;YGacJIKiQs<Bb0^afm9@)4h`7#;MOhBd*tb*Gs45K~xV!@y;eR*#*dVT3mR3r0fJ
zI-jVK@A*Z4iI5OlLB!~hr)hz36s5qZ5;xCjN`7`X>GVR=57BJ#Cm;?xmpTF*Tr#g~
zf2<A+W+GszzyZRl9C(x(Mtrd#s-`pN>cZWxo?xQBO2G0$Mz5{@Y>fc}=OKO*Fpyy_
z>G505!{gGc<TJxXF`?5I2YV}Sl*mYQF4F|2B7?q|*6&ipsl{V9sQbmN<LoKrhxfBD
zJ<HZBNA)=j#OR}KMZ*`81bqUg_L|FHPD+!(wwOKGQgQ0NM06}qSNJ=yp=aKA?+o<>
zJ)XWLgpi2o=$=H2$esp3a|jXeyK9TAkN*S?;0OHfH8N!|2`i|Y5@x9V?Z&UPVCZfX
zm#+ItqS|r`T7}Z5LA|GLYpLp2Tk4+O$#$pT&%4nhZ9~f^tHgX{^-|qW>_5+kOND%x
z71?rPPqJJtnsz$Ni0BLzap){AreD9CII_Gq%nCUVxZ1rnn<ASjchP!f{-y40M?Kr8
z1|*L+Y~*(#ko~aAL-1^guehGW$Zl-KTkzM}tSh8>pTh-?;y?ctOFKWJ65_@%@VVZ_
zezqq_%|_tDX)OwJkg5INwxyt43T$?phwdqu1TcQElA!+|TOa{!;p1CJ!rP!#lJ;__
z=hjx5n9xUcpHL_f6MX7Bw52=7ebz{^2A34J)IRvjptk)=U!s+xsW4(@;4p;456Nzn
zut^;poQH)0A~fby(-kcd+M5i63AHMHhba_Jd++@|Q5>phgHr@nWUBvRrk>}XPqtzM
zFYm2uODejBenmhKf~lRo^puruy6JUQIqfHD5}t~)?rc*uT)Qc2GhG^9xawK30b<+%
z=66tq2wDfJKj!fkh-=?VV`V__Q0(j#C}kiXzbL@~Aj5QDo#oUCZX0CV)V3lor+d;J
zEe_t&y-qqGq+K{?WN#aW(fH0^ax=Owh0}+f?KEQmwAyR)(Y04dyMuLB;)h7yGCM+W
zZ?TafK{p>-;kKk*YccbMwddt35y}*=AZC_avQhTV`V@wm{T4Nh^TM!Un^y$wHLAN_
z=DuxsGB|7GzMx;kfU91l{ca~i1yG>_I_UWyO90H97*H%nTp|Oo2i>;;=`nZlOAC(4
zlBaCme$mM;UHt<&YERj>hG~T{F^vtqkx#a4rpphz(V8|3M}8;yFJ#U-_T<`E25+=c
zMEfqL5HBFbeCPLFSKWJ@!Yj)q(q%()6>=<Q&jX#G*j>aHI!!pvy5J5qWq7p_Jvt*~
z*)&xgcU#7<(P21$VR-d3&FPrYV8MS7A0zuzH7p;#&=U(l&1yV-<!-~1$+{E3&G@+m
zhg_{pZMT2E;T}p@_K<*O(e|eJ*$wHNnX`hc#Jh8K?oO9UAb9j1>nji``#WgxF+SM)
zkM*Q~62^LfPwa?dkky*sl}xx~UR;^ouzE0!kP};>zufwb!tpYl%k7rNP7?v6Jqi)S
zb^Usai1Qr>zqmB<)3+No?vWcZXFsOCXF0V$k-YeIw6M0FI`3tZP%9bs>mMEJ5n;+C
zTN~+YU=Wk0H1%6^tOk&T0=?gf(DH@A4R6KpEyo-eksO~5*Y4)iw~KKQi(kebzsIS(
zYc+8m%|B`ckc1a5^@PrQgP54zWgUl(0G`a<l&BjWqz1LHy{t1EnbnMBO707#%irHS
zo%;J2A^XR^jyt(fJ%FNl99L5<4*9l;BD-TXysWJkLdw?{8Lm!YS-q*u<h=B(vumzZ
zrBpP6mOn#3e_78zpuHb^b?W_5|H+1n2wHFSF{a|RP417MC2>aN6n=;Elom^3g@G=I
z5e_$-nI^+XVB>5`S0pec0M*}t|BGPY>l|xh?~WONG68bsP;;~^=8jK0|0zxF{%sr^
zX?lgUICjqU_7<{<FZhcp!VHc4W)J2UhaBi=JJomBpqcIUs>*S4MsKS}M(2AZ^@`}k
z)$dq4zxsZW`Q372qjI6AEj2vpeYnr0nIs?_;t)cz#_+Od{V0pn2zf^L3&tZaXDZ%U
zwaS^uH-?4@8cTRF;<Od^QK^B=M(o8xIW?{uB(>FD;_n)=AC-q)ZB>`d4Y|>l23Vwd
z`!B0O?DES$(Z@?X-D>bG*sifo!c&aH#Q(B*+qzP&t@MM+*DEl2Y&mDli}RkQb#8KJ
z;0<^*aemYNFMtg0E)KK1{ZXywAOe=dzY&ESB>!HWbT4gIT>JE3ZI$3gw^qL`b+`G+
zkI;nF@{hMd`F{k8l1bZKu7uf~7Aa&GPIjhn$H@<-#`S6y?@Wtxekr;qBHcsn;_qTT
zsg)?m>o%dKrP<j!U<YUlQ^NU_BH>w|NV0o}ypvKd{XmUuNPM5dkQ^H>vS)9uR3(l}
zE*t>>vN=<4s}0Y)&r9P@_a6_P^qBfvodL!o?)&)C-`TjOl$?UUx25<tt~zgy02}V5
zGO(le|2LRK6I}9~q+J-t{q?TSw%-HE<MHBBaoeAlq%gQzKM6<&00<pKTB0BSd=kX;
z4$7I{Vw^{kLktks)AX);C$J`o?-jLZ1>d9PRfyxno`--YuKEl&9(m9M!1>EirG91n
z!wUc;+-&}bD1s4VBx+3Qa<|L1hRv7*Fgb%NLDQi}Cu?NY3sjAf6s$IT_%}ct4zd10
zGSSyS9A9p#j{Q$(HUsdDjnD_Azw@XUUB!$f9!h~1e{enwe1Kh-$3YO?9}p0IjT*Lb
z9e8l~HBiuPQdZE`<i+9UB)jK}=|%S$T6Y1%|A!9(g9GzTrv&gs5)&sb{{3Oat;S#0
zs~#{5_J!SGqJ&Dzp!3nEFHEOn3q1k>dhD+F{R0yg=$GKJ>;KV~9NBlbScLJg>H@4f
z;2qSL3<_Rcu6dZhLIOO>qA=+0pGVaJkZX(@_ze^!4oDY!uiQIX<KWM1B+uX|*PnoT
zaa2ALlm%>?eC>ewFGToncr6V)1@)YV{o996fRtoH<R9S4gY`i2tSY@l1`CN^3~$2w
z6PFv-+c2vaXTzscH&ZJ%XKUkb(Yt4`PfE2NM&59!(Gsn6po+i9HYz;a<b$#MIzycM
zC8qc%FHRkIXuS6O7@a1~s5(<3#0?ZbSV^+)uku7?^&-4d<73~fJ-YhMRPEjTu==9E
zZIIG>qRll!PGNq|xP&^fDz2C}5-?cOBssR$TWI<+tS><j0y?Ag97Rm<Ulab!L}Cti
zQHt0aXdHcn@>$n%dcLkT@Y&ABN?rec-T`y`6iLoRshqIGByUn@MQ4`Xq}g~L*-4w6
z;$WhZFfNjZc0)e*ZQpYHmcjf|Uim~F`eSJFTa$0n2@f5ez8`B;OgXk>LR^>f9i?UY
zD8{PF1y$@(cx&r%=cfW`?v|5mt8XW?7$o`4mzLQlyOy_o>NN1_r^QrWdhqWdMYbBI
z<M^tm3#aQ^UWBre$x6)^bb9{g#ae<Au#aZ`Og>Ps44^QKx=PZ76!3>cD7Ql0j(CB<
zc0xG@(!6q}_;a@3<9X$~feEE3)4|wiwnQtqsRgRaEVv^;AVN~5!)@btm&$HpRfE7<
z**D1RxgU-RN)uYF?SO+q-F47(bxkjzbI&$Z?}EkDwnoGNzN>{LE|~mmd#eE%#9!RS
zDX^_#H`#1vRxR*lfC6@SU%7y5v`Ce++V*p-lJx35)rMV9b?W#5|ABj05Q7gGALLpj
zFPMZ4*o%jSY$YFppkuh|qjxqJ<F0mmtOnwhG9GRYN(W_{ZyQ!$B{X6J(+Y1rSyZ~o
zqGy@YRkeM(v%8VxoKldk6SWno!{EJgE;7DT)`T<k`7`NrsmuU9^AozygQ0o5!3M|&
z&I)FVaqlNiMy#Al2Ol1cP5kurv5~cf)Cy+g@`5m*n7eJA8Gh^`6@16#e8*q8zT`B-
zIvRu~Fu8)cOlN|-^nkMeDx?+&$A^C<M5P(|M((douvWZ1HTu2GeJP{mFvgTGY#*Ic
z%b8K~RVG0bq)huLwuo+0KH|L?<{dL}T*e)77U5KStFxUem6)}}M5r^21#u`u!eKoi
z6Pzd<i+|hNz0zGZOe0qN(-{{9fxD5omaecvs>_|MR29Sqg}Vh1d)&gaPJ$@hy(%9l
zXo6QCD<=s?-m$wAtv!1N4Y>V8f~{@JgtY?#@y~R0jO5m@nA&@r5~)e6Sc%!{@VlD%
zx_)ciWNk`tetje`8@K4D8H1u?Z1-Z%6nfrktI(q-e$rj5x%JU5w;EkGD(O8w)-$XH
zT?6H&LIrN&5`6@Id#)Ai@hl7)k2@eQcZ9TQ6#K68U0g^AvRcfCxsg`%X#z>+aED-j
zwO^SnR6;IM$Z9TB;-c_mcWTQ0dUrDqB2U;Zu0qZw>dTUHBc&YuQu|u9OAF0-g}3rR
zNnQ9C>ea{s%ID~wsDr4D_Lu0(1FtAj(-7v1sk^ZwlC+;Q{Zyh~n-N(xKHjEVew(W8
zXk%w0*_d{ypL`F!s0xuMN8uxr;F0eV<rg*YPVo>bZx{-FQRhgeH|4Rsj`jV6fQ=-u
zDfp2*cmwP#$OxLnpbL6U29vBm2A!DqK20h2biBN=yT5)#uvtU;@{;tPaC(})@VTIc
zaZ*JL#x*JnHxWe&J3HKrGB6WE>8xKz!L@55RUH;>gfUAI^RiZ=)Ud6sY1a>-&v!bS
z<R4w<AW1K#^=R3@WbaJ=er#drUK)jGCYdj6yI&{Ov%mL!>O_SnT}HNg(|F#fXcAnT
zpSJ*C6<GM%lX8E@)N~}ev7URr(W}T=FX^PGh<cF~K}JD0>Nx$e`+~^$YB#SldEV2L
zn}1w%=m5V?V<e;kyJzY^tW@|&X~#%{1FVvO8^TD*0)I$|x>0l$={%n}gAm%9!JzZ=
z^1!1X<f+);0k>(|w~J}lr;f9GS>07`xrFktA!MxSWCwk%^YSvSmw6-W&#d9&rL_tQ
z+6A$R20LEUT=Ohy{I>3GhT7A$Eg=^wKBnM=os9{Z(*&{Wn6f=6Y0bC)^a7B>wyN3k
zsZ5)rwegYW4_EnXln79!yKPH$;h>s``h?!;w$=T|N%YR8>#r%6RH;h?uHk-H0K(Wv
z3@a}IO8y!=n(eXSduS}-2U)O?oj&&qhw72f<(@yxt4|^&%@XcUKTQ{g6H=vewK0qj
zp3IHNrA70N*eM0e;~^#72GoYb4bXOgl4;f$9BOH?Z~joc=0V|gxZYl*9KE9Z_F^k9
zl6fJLS|BBqY7aMtK`O+IooI|Vxll*SOw0|x2de(d=~o|PxjlT3%zSICBHGR!;^TWZ
zB%sp`MVlOv!4DmqF6+JI^C`P+=p3CDi)C7xU(D#&{Q(;{0fp0frw~W-z!caDX+!ZP
zdUMcgQrPUul)UdjMo3EL>CeGMr&$5Nn|o+dy;QQ}Z`AJ>H=<6(O3!AOuXy()bQ4{&
z0#ikv(+Hlsr(~ctX-zu^_@0zTBHfnyn+O8)*2H@%5BoWflueehiY?50ck0&+GFv^~
ztM1m<E42|MZbmDR+6h#)wzL=%DXhPg5<nnZ%o#|XXScErKB80LsFJGEI$OBQ=y6HU
zsmE|WWIM)oV(xxP?R>DJ*;<#j+2veBN{#X}Fso=le9z1r9X9wU0QjrpuKXz+3L_A-
z@k@6R-GZ?v?jpm`9`e7r!k_xTdk99v;p)<Pel1%co=%t?>D5*o??9sVHrzb@tTgl&
z%Jj~DWvf?v=nc4|r(eC=W?l&Bw-EbL*YGM*$-~2~A`s<AFvRqG6F!Sn3`kk?me>rd
zG;6IpLaML%ju0B3_s=BK=o~BsqKnNP29A(I56NUATvZY!epnT`dTD@jLmwXaC>7FO
z7&_Psl*7pmiqWzHMiM$FnaTV=t4v=6oy{~Tb5p=gMI9Mli|rlH&p{AMVQjUZ+z^hp
z_~_brb?q$n9z3eWM@Bljk=hl)O%)4e-q=#Ig>?1|I9Y%bl6I%$#-?m6?PHy(_>S_A
zq6a{KBO4_U+0fTwcp0C!;|A*rMispeca<J9s4*C+zmjJR{4vEyLIc_i7uC>p-CSrc
zb?je8J72`2N)|JrqHAxeUk{1&Op(Im;}G~dOb@+ZNmjdzT}n^%)}2&5xrzXTtkNwn
zSbW^<r`c#FkIPg_1<=htn_lRGbd3dnF=veUFH@6YR%j(u^lX9re!_6IkC<A?mtG)>
zKfWqXc&d97vp$wMdq4Uq5Di-(1yi70be?XwcwL~Sly!_e=QI#;cn=G0rRGX)_!91g
zRzbeBH@~9deKh_oB+id<Q@0YS$B@djN6F(zWSQ2NUAesT#5uXYp54DIO88H>cn<^#
zi3bAsxI{tF_xMg@I@eREw{r`S!wwgv2=iWjMiO06%IQ(8`KGSePE3~(x8@>+yooHB
zRaWNxCo-5S_(JS@uI<IM@tU090xqQ-2&S5H0$QwKa{!DgU0;WL1HMmiA5xWe_mRz9
zU7hbY_3`pd?)vbzH$f!r1n@6e%BW6`HiaJnw^J?~yf?-B^P8i@0e|!1SRxO1fD{&Z
zM~qQxJICcfcl;2Omovv~|F=@|UnBwX37V8@u-N3_;+UwRy@3?EdWriGFy%m8QSUth
ztNxNgf%hp%3TE??ad?ThK^!D(G_nY&E@-uY-1yN~yA!7{TcZj#{{;f-KhXNW>Dw`h
zWna!`OG<UMdE;zZv++CQ`~5_@Gu1cEfz^qVSq`B}%EZyN_xo~F1oF)33KJ?}hZ-Aq
z1aD$fSLHN#)p#B23S0ZnLPqqmUj9Bzp-8RN7#`hxL4dN{6#Md*7<FOcU;uMH6zqb#
z!S$nCQvcwAp0ZiYkcL)gLp>&<_ro0`9I14A0?RN%3b`;ED#a*a9+S$P)xOC_T|PaD
z3&?NoFD!_%_)Y)JPVZttZOg2j!s?TDVpMf?N5d~nnXA$4=4c=(Yo~VHCxe%de$RR6
zQ>1p(ZdDkT<QJ@t=39KXnR!7y$os%{#+i!y4%4!y%a%rd(;Ln`f&ohS-4A4Tf2uRr
zKs#7|Lx3&3LOYA-GVO}(2fnH?Kajcx5@AVCkeh7OXV2`^&Sr72gO_ckrFCp6PdeRe
zx%_;?{1>HgjF2R)SCI2O(x=>wBxugw1Xpf;?t(i0Faxqs9}(Aa@)Y00smwuTmkjo7
zZbkX|mYl<9rw}$i9W(o_T|Jny^6~z-^IYPJ*Wqn#3<SOrr>s{m&ecCp@wD)9V}sU=
zVvm&`xicn<CzV<uVWJ6O3y~;>zj{Ij=t;Cz(o04JKKzTh@<O^v1Eca}nZmrCA;2xx
z6w*E0c*l?XopL7{1Qv^GQazLJ3XStg3;Uqe-3n&nofr~)8EHY7uKsOL+dUujEf&4g
zx<;1-eF@|EsmqmlW7E)+%P_o~W)~ys)%N=^5A(zOy#?7apw*AndnVf~9U8mju;tql
z7y%m?Yvio^Rsko4nReKH#)z(Xj-x01JcVY$5XEA7h9_ICD4(j*2qfmAdtlJQtATF@
zw@F~RWEtXr${|oFF1(o+&`%Jl<x71Q&Zyudp%?&_p}vh)O5u4XJOgy{73l16D<*L|
zM!mkaBi9ur_iWH-gO);3yC~8wZMk8^K^RXRZDNAKMH1zt8q|I=Z(G^>sXQur<$yNR
zc$+-aXtc3C;rphs!BIzbN#H2a>TuwP-$hc6Os)fbf%QvWc#_AafTRd&`;1PgRCe-1
zP?X6un<!0A*!~&sjq=X1$Ql{RM+7Jrzx?0ye<m%H0MNCLeASJ=wQ6gSfr^9{4MSg7
zPzl;QyCCICt!KVF3#ve=&jd%!PXD7^C876Y#4}WAxyjiixB=Hi8uJvuU!k3kJ$Gh|
zFpUyMyjOeeCXPRnY?IvMxWnj__sB$~B5D%m9aAPMBKd#x{=PlDPLL!ffa#GqHQw~Z
z7B(E!xk%egkv#;0DQ)L1Y3;;*j+KKc+J})TJc}{nS<+VXBLihNFh&IOLgx2BiGzgz
z2r%@vpXP6E;Q2#b(X_Xrf>y)d6SgJB*^@5I_1)~pkb@`7`B2Dn|B<s2##4D(3UN1s
z^mGtrpRVkcJISv>w1)tDsm1gXkBWIrH6Bk4zdyZ*^QbgL$u%{x+x5+vTX-3yrAxVS
zi`jasMmb@s$`ovdWb^r(JJtY#(--tWGvOZ-jAZV!YEm26SU)x6MC?DF%4+E}I~v&(
zF^RklH)UvpK$e>&>dDR5s&L{nbTJUysqK?tI*9W`O})Nwti7`}?yx4fI-)J10EMkE
z$gOU)wclg5xD^)?a3`qNgC_@yUW`057b4F$!f{B6J8Mr~okumuiIt-^lz1w;1a><O
z?$z-o-GggTdDh+hGb1(DchKOq4)RBTB=#ZoogP>Sfv?iFxGpSjHm)+Rr^6$pIh>fP
z;h=hz8i?`p^~w>LS-(k%iH@_du-%Z6MY$qOg%D-RY!F13V^wR5tctC2a0s0g#O^Rz
zx2;8;<4Yk(o}s?5Tf!+Dl>2m2I2?suCl)^%dBQ%KV>REZu0Pa{f!4U~!*ss7=xp3G
z{F3yGjF2%Ydxq2EL(JJ&nwR5d0h6<L&$^cAk(bm>*BjGH6;MyR;kez_wPAT9yS|*)
z1<I>6JnD!2yQuBHe|4b$V!6=2f8YjHK=WoaIa<0C7m`)e+%^~HQtNjO!8}F=WI2c7
zab@cLgM}~T)ZnO#l`wnH`2@<|ks8Td%KoC67xM(^F|6yEwr$}}pj^GSJ1T0wk0cB^
zE$(0O^v(?d_^wU{arP;-g1<bRGe6%ZY*|}hZ?;q<(ZtRCHpI~++3Rwa*10HoG$VU&
zr$8uwp&L0w)V2M9D@u8rxBH}*ocvF64u@cf9q@EM1LoX+8!Uhb^%ZX*@gyX3n2|11
zvoieP@%xFVErcjyDok|3uMQ|AL8`YwM7xLD<qI=H&;*vI5&m^NK`JZjd7j)@_{lTk
zgoAH^Up`iD`VSxGp_l=MOO#05Sva^Cgql@Olwj71)?apjWY&F%uKuOcIM|h&PR5sV
z`{F{eH_o}1A+`cKq0{hGxW@?D(^q%>kG7CJcnOHr-$0b@&fnKCr6x*P{_=(5;l>nC
zm>$E=sV=RdvXZ+(HcYb0N$sQTlWTa(B{$rWoekr?)Ldy1U-4q7wr;U7%iH_BRp23<
za~(_?B^9Q47#DGm?doWN3$k@yYC^4;OaD6Qp(FZ-NPmBW2CjM^)5KO7s%>(_fydRF
zPKcK`+{bQIePB#bPa(v1G!S}v7<93S6u7ZX1<P+lJ_4D7MQ%W8Hze_EOeTfL_h+&X
zb_ITbN&Y55y|IbSxR_V;|6boB|4jy?re|8*LaWJ4DlsuwgS!)5BBBli{C3*Pagn4?
zD<w~>;{E&V;VAxirTfl$2|f$m_^B(f_-S5p5Qo|!!sr>YXS-p&O-#1gU0X}^W5b0t
z^|%j8xBbbY@&l&3{VIVp+y85+^-q(4A^=qy%cO!WCmmSw>Z6pjJmg8lI?ZRkT(qT4
zZEgrxKnE&xogb{2*jv^v2U)=(h;t&Hq`5J3eLh0-PKFe}MniG&b)EzXrLIlAN~iFu
z)r@iZ-mcX7yGMt{*(SDAx->bwnk3H%P~d3Ge|z|e{T<X;?w?&qD}dKP@~jb*NVie2
zZk4SE4{79zFj}J`kd)V+a4t@Bo)w{#k}lKMIaS$`AS!R@+%1ETJhTb_T7QLsc$_be
z8tZ5Pvt)LsBBte(bK9n=P3Z2z481`w#s-<3^#s3E&P?A>*P(LP!&Ns}+2Q>gR$_p#
zlE<Yw_19KCL24ARs5C!JE*(losN$u(&~=W;x4=(KLxW+d|3(|ZJ@;uANx120qUfGx
z_VXj!o0JMyGiMGJdz`ig+VF**d%H=E;uRdI`fA(SC%fm0PQxb_qnyEZb6mw^i$fB-
zogE69DlhsNtZ~(!tCzk1Yj5XC*FZtjf58z60SEj65sPzIXa0x^CkSKOSrzdnp%57i
zO%(PDpYl0)xzpi2aJexz<mMJ$yHXJe;TkP+mx%=U%4%Cmm<APmA%=0GX9T@$d-cGh
z-ezyGT%mbX0<CSR7Ww<7exBra0+dEjKmETdwLjFD>c4lu8YC~^p<8ZAAJ=WnXGa1z
zZH_c5S$4riHkjDo6VMS3sz@f4^)yMC(QsQfQSG#gGuWt`i^<KPhAp)U+0Dlqxst*d
zFZ$CzxxJ){t@<1K^07R)MREC`l24I-N`!XMSv}(w1gwK%BADOk&$8QZ00!;-5^w3B
z7}`OA528#TFna(5F6oj`T%13DKL9YbMsE}Koqv(k2;2B0o9IXs2C$Dlt<V$cKiVw;
zfMIN2{l-5J_8)5YR4RQ7lq*xgr$<Lb`EN)P0&K=1`tIgGc#8K7c*LultuE_fPy;-5
zD~#uO#X_fNl0yalfdBf1=Rw!XZTIm+u8Y5q+5!y8sS&^HpT9>?U=xS0G6zXWa`K@Q
z4X;CNPezxi89$S?t;b5#i*N5=UU)lD2)<u0^!Xp)t=n1UefTCb@r+BMi~TI`@8qay
znR`_k#k5&W`TNggeefe{`R(srcz+u(bF92$ecjplSFK`fM~>ch&OuLWVWwjm*Cc>f
zKG{^R?8OXZD6(6P*Hv3sI#cl$4ZG*vvLwdV6Z(Lu68YdINd847O@V;g72@DHfLtkH
zwOnqP8b9tl0Yhd98Y-%`gUsD$Y0S0mVP|!9U%qHnJO{MF9fED{_?I1+{}9zdU1^!?
z{I2NExv9>VlT|Ugi3&$kWE^zhEw<2=eLN1pg^3Dl9j;r<Z5k{G+tZz^lS>f5nT5ac
zGWjMgr?q;2-?1}SY45WnR`4e(*Wl6HT+QeIHo}Sw3eF@9AC*>3F9PN29(F7dOGZs6
zRc3Z~nBoEPa*lvZZzkuiD8S)SwrzKMH(0#-z#t6QJllA4eqO%Wz&>?@j<WA|wm|IR
z!2(yY7`nBmZlHI&*0=7-*^<5my*=FYo^`FwmJigvY6Y|mn^{;kLOL#|@c_Uf<sSb2
z)}n_-FAw5eCi+knUmZ>N;|SRAyI3IgwWFEfFOXtEM1ZWCA_F_as8Z((+BS%(IvFe)
z=rQGtD^q00hfNL`)*mXaZ2X(um1eDyGm4_0pZ1DM(Fl&sD&ZkF@?w=k;uIGv0KniW
z^mXxLFo|At7vS@|PJcd?OB~y*J0)a73?!x>AS0!p?c#3oscA)N>$4?U{z5ORRH#Cz
zGZSPyQQbcGdHT<7`Jdsd_r;*-ux56F<yg4?v>!&ekO38~TmR<Nwm9ql$?tfasQQSH
z??bf2>qP;0NMI_{a<X@wKnsSij?<aaC)uUO9<ITCJH@?2QCNQQkWT#t0KSI3P~RGS
z%1<Y1v!8KxaxK_g-93}&-{Ep+_Z12{5C1m4owPwM9xPO4G>a;!kyWb!0umj2@w}zE
zujuTos#lN5vn*=erIq+mF$``JUBTHgJ&0pfD;)<r-NzsT7Gd0fU>SwGs|GH&p3$eT
zwn~0lXS%0Vz52OLS|RQ0ZbH-TjNVvyeZ-rr<GtKL)A2PVYA}o(HXNg_KgF^t=JtMo
z!p3xRS4e(VjZyGlJp<y<PnKO@dk0Y~tll?o?j~tS&M)^}X)_HKr99A-qGOim)smBD
z0MM|4@v3o=nxo4Bv+~Esgea*tdgic@5Hd<aZJeW~eQK49>|U+H$ocRm`Wq83?)De0
zTklB#VFM4_Ia>hX|LYJ~u+kp*cs$>I#le#(9GO_}W!6>f%kWnvs?Iw22kKwkuppcF
zd!$pbSpXAd)C1cYHYm_Mvg0hgGd?Sa$oB4L8$aI(uF6X2fGW7%OrjQ?zJ&tsoRm9S
zFrLVB+GVR&hMy&PQWPB4e&k6w-X*s%1rM8<c~Je&zRy3hB*T_hFHSr7omNJ#-lm;)
z(C$v0T?IFLl9>9EtPB^1OkvyQzrMacuBpj-<#_ZS&PK_HXh7~#tfS=DDb=UGR0~?q
z$OI<|M*@^r=1KV1&2a<POfD_O?xMV^lDhD>9%jodiLW??5Nl%BF<p8s5fYUWPclbJ
z1l?_yT1z!)h1m-2Od-Wxg;pt(m3y*_uDE^M$9fP(3d<jT1Xy_yV6!__IUjIw{*}2;
zI1vH#quRcLbGIxa^Nxnvx6^#oE>Ff4C~t#w*!wbl^iGQTXJg!qj5aTKYZ*Goi@OO0
zi{hX}`^Nsyqy+qxs0?Kb$O&002?#|E^IFjF-#iaO$!#O2&CPMu*#r>hOBOd#rg*iZ
z_A_%+`{v;k_(2JOQdr-y71Rm}R{Fno(=>_|-s--u<H^y&r=k=S8zDacYOJQ<p*`o#
z$6vhoK_d+|!4(|L`2jC9>*KFCTj02!srKWdrMS{|mXZ9@J<pO-5y1{{e)`e&RBXPs
z&FwZzqptJ>ZzR--D$K2oT5ytMnrXuP33E|}Jzrc!p>D8|)Ehe^DtPpR>+)xAieNpO
zapMqR^Cd~K1<WrnV1_N4?B;&~6fWGG5_Y4~fvb_uU4DaM&s?gE7pZ^>?&yFOkV=`y
zK?moIMNm(@tn@WBY|?8}&-1;@cJrIa+hd^+^cSCXEr`|WEenaPPlpEcZK672r_tIP
z?L5TFk*lTi0$ECQnN&+XafIaTZ7mu83w7VvF>{MX?HHekJNNU2U5wl%&5x;(3g$?I
zSxkznDLS&wI4=aMpm9Da!Ta`G?)&6<N8gq<QW%FF1<liIAW|lP;q@7lbN)qMAyA2%
zECxYabi_!-fHY1yp9|sz%fdVTOTkUpZ?Wy@EWJKmXWq*{2w<SbD%NLx1z<1xpzthK
zq{M1yjP10NzVG)=-`Q9t^HczJ<eGyMs&RSDQ-h(3twGyZ<-d!y1jZs7=YYQ`3y96z
zAk2r~h0LC?S^B^ZsT&o@_qvtHJ9c`CQFC+GNC$91L4+Ec<IG8wc5&TilV*bzn`qku
z-Grll_3>r36;bL=B|vfJhue<E0o1|o(E1P3V8KR!Scddp2!K{ee~zm@BK7bZE(8h=
z1#w(|xdQt0A0`=K_dd6<Y5d(iN??9vBT1H}0QinJXxRTtWlmIqS64R8w;2CLK~f+J
zehiBP|CGN5Z*Kix`zQXe<yZj4mMJQ}5&;8@0>>rb!=E?RVN><_i?1O6pjQ_#l36&b
zxD+rB{r?{4e~<J3fpJLq5L)sl!Q~?Hcu)V?my;Y|AYzB1xBd|YPQZ+`b_P6}3C2KH
z>v62=6}GP5$lo3oO=cPur#f{$ePMdKA%e$1jPn-_xdHJ8-5EFY&%Q*Mf!R@e;@@G!
z0phS;t(t<QZbIY(&AI)J3E86RBb<avOZkG{vmyre?4xb%b!V@>|1_@5y!`r{O(~f>
zBk)e-Bya7@E$@xh$Bd>Eu741`<b`$lEqZs8pNANlwfkHDP-iv3o>lge{N6_XC-0jI
z>ZCJ5^Y42tj(@gGf;wv(y6ZdUMr&^%Jwha$?yW^xPE|*3$6>K}Qb$yA-PXBJ*KdJ2
z33q`Z_eb_TG1wj#n>g-gKG~g8o7VCYd~P(o)7lX+vE4~+r$)6NAsU+7kxz-YR)SO;
z-M8z($yNaWmWcvHoVczs^q2Vlr&>Hh3kYFzMu%~IiKl39j1#AbR$LvR1EXZbr*J(D
zAUre&;WFPcj2Dw+0B%5$ze8wzQc5|oRvM^cw?YNghQ&?6*r9wuua^oha(}+8vaQA@
zw~L?bA_Wii^Zvqdl~BxtXUnVR@JJWVDc{}qH|eTf4>9b`j-%CFvkqyGn@9~t!|AD`
zpcUu+j<&y+DRq3OT!}+P?Y=6-AHPY44qcW-e7iUuA(EOeE+`5omz`*Tb7H)C`Z&_E
zxKO-U#w5G+5St<TkOr*o+(zl&$tE>mb)R^jyterGjt6nrZa9A4+iNzOHBi<D*?oPo
zM#gT^+N0F(H<spc?x<d25@_Luq#oj7twVd46$X>JyD6cACXsA9dd1tDwmBgIcXsYF
z9(pCVm_XiXyybpbqco#~9>S2I&EnEN@qcHvJdCWUYzc;}&DO?6Rhxz|9^D_nKzHXH
zAbwjkk|Qtf@)}-#OrAQjRO1!B!93$K!x^LDFaFTy*@m-NJ|-n77KV<5NB3+k(GkeR
z0qdx-QC;}E4kut82)>8EhPiMmp%az)y23tX`kacLgNcE9FUQ(y&6R89%zb`;j(TlU
z=}f%f8j5MBVm28_OkQVYhT3AH3XG2Grky(Zc#BOuDr9!aVL{Evw4dr6Cg{oyVe>l-
zJXg}EM-ogbuf_*3T-UA6dWbw$H{H#k+lD0>E?X~^mwLbVO2onCj>5&H%@=x09lB!F
zvWa6|!s$E-S(qPSpb8bvC-fi^7!c>0FM%n`ta+^drx)OlVPkvgP&XA{iZK49gvk!{
zCCGVT*mAjNIlQ>?QCZdz?F|!yleHER8Zp{Kr{CAB;*8!H3I)}zvE+jL+InF8KBsg+
zP7$k=va19vdj3{d6LOW|boX<=ATu>XmUf4@iaU?DQ`d*ycy1MXsEB84d<gPE^?srg
zr&)I8?rXMuOhb9<F3xEgo@emb1y;!XamhduZZ4oL;xgP$y4xO_P-61I5VR`UL(h9d
z(1x?OE0w&nZottN?y|+f-ZC7jP_|>o{{h;8DJH=G2xS47AX7;f?%$NU8Vdk#=JLp$
zD*!)~TVq{$_mO?#!1GD1XxQrR!lO!$;mjSbTZIEM47FpfU*;w;L`v*jEB6Iox!YxH
z&l-SlR6K!R?jPx>*wJ@yjF;IZ70l}D=HEez-?%U|L-6R-LBf!Pyv%DZm!9*<5~9RD
z8iuQ+{O&uB#fi^X@8fAmWwz~f?L4L%G@Pg9t!YXKB=u#>-^kUr2q8j+WlowlsnvV;
zCuIaA?zmVkzt7B3`|+4ij&w7<Hr5SriX@=_nVEY4#rDYP3uYx(;@ZN?99I>rMs}}R
zdB6gj_NLX)^1?hiq@xYI)UYkkMAp2ikbhk;r1m{*F(>iNfcc%Su)~t+Ps@PF6iq?*
zU&ib=F?R`$YI3_`jh9xEW{_?(KckYr_q$EgN9|;6zonCVVdW;BHdFFt^4ZUo^MHLZ
zVJ#aB0qTdS`)=2(U1Q@9$RNymg&-ZD+HID4k6uc+Jv<&pz$V&bag#sT^2Q~9CL;jt
zK3oF@@qqr5LIXkqj4Jl4lXMd$j5f9i5v-Yna$LWT%8@S-<m5!+w}hcyJ4POnRwUBo
zzHHPy+$ai7s*Sr(;3*K>kS{GOV2$l}94(#=vp$G~n=Z{(Rl(>l*JtO#bF98u@|+j!
z9dI6}*!mix6>Q|{PiJm8^`w)VVUKBb|L{7dmlD{fwKAhx*ZPIdEmOL)+Bai$c;r4)
ztU07t`e`F+XKJ@ok$|lest!j*B!rk7j8~#rJ3V(f-L@pYn>#DUII8%L-Mb5fHa%b)
z>I`Vu@c*tWhZfs+dAuWxYYQ?2<raPLA7O#a$8+C1!+%t)D`(hJULKJ?Kg@bvzKtLB
zgA#UHJpx5XSbG>4rLD9+OsX`$h;JaHt5;-EngXr%w57(nCRM&2F@`7&)PL;WCP*TM
zu~le55a)+!JczO|%A2EIJjK~Xm7Bu{7VnN2ufe}#dv6O4j4S>H@+Mr8zb(4*gr-ly
z<L_w*)ivwePTqcR4s2=1bFT<ji1e-Z^fYHkkf>i{u70n?I%x%ju4Jyo_fuO-tcW|?
zo}cOjx9O<8w%n7y_vw~e3<rd%*nta4O;5{9v;EI?Ogf^W1D-GgvHL86?qbckVWz#9
zF8*;I+tI1Bccu0fRlBtxyA4fBg|`aIOsQc@;$C(eN)OJe(kfW5bF4;)-Ueog3(V4%
z_`gyi0NJeh`XPoKG)@M4=3C}4-H|((5rOIIXEs`DkFIvyXqKp#bs!q7&^2k_<|q4X
zI!Gzkmvc>Fu|(hnk|NjbXkDV?;F7%)<>FO+{+r5O43wdl9geQe>k#R2>+fS6D7A?j
z(>#<yMV@^!G{8f0j9_!YmXt_(3+GvU?a^B-kNhgf_-{@7vjYlU`DD=eC);FuPak^p
z20Xe$6~_+1C6BNNi9r7fNa|Rx&&&OK@dGpq4;cyBVwMR)`>WTpc7IC#*csav?lu0~
z-yEDtG__9SQR{}Nl{8B)_dh+{h#YtxFn!*_AlBBSG=k83bz-KHz-%j;BVxSNGFCPi
zic+!w(_zm!lL{R9!q~540`4uq0Dtg8Ap~kd00pZ9f{WC(_y5~p@Blz<vR36mLX)@<
z9t2u^7JOl$2*#sM68@WseG9z%W2Jf5y?@ij_ScfI(MW+wuuZ8@_#naGfBY5#7N>{v
ze_0&xcJ?vqzfH-z*bhfgzR&%anucII!Q>P7DO`cK=WJh_3;aXr{`<7m{~qUmkMsZ2
zaRA6F?0fog<J|hG%F?&=f38;_u*SvUC-eWwIVb@Gnl-sFaDXbH6KJO}+beJ7Z*5l_
z29=79hT@B{fm!YQ<IY49^q{|=-yj1xSR7yd(|?@m8Sr_5{ag2?v7gsMODV*8NB+N&
zpriED28j&&`XBBR|L3~Jf3u#g0B81DKHADy(LEY*mrvNzmDPBiN8x2%t7D_rzn=b-
ziUsvplYq2eq2lhp=I-VHAx1(@AD%!=vam-P$EKpK0xRsE%xlLU8AuwY`Z(K9iK)y+
zZM&cTp39o08?Uzkr>ZvW)+oh47J05mgKc)mQN<n%L3O|UCo4|?ndQli-J<XW1*Qr;
z#~w^-*3m3cRJbh3>EX|Bs<PjQS?TNFAB|I>@R|Dl`M>KOMUdriF5Z}20i!T-a79_J
z^DCpyyLw=cuvJ#;sXav&XO~o|h4{2vd+U<~#Z*f@#jH+bge(TVopQILCK-I{VmFAs
zKkBbacu9Wx$46=d6RROx@c9>vQn5!eR=+<i^k;c>6Gb!5mC4}8v1lWlMHfQK(5W5w
zc%1iHg=HWoQ_qvj#~hO-KLo@u^n#z_zY4tZSE<UY(PdLkQ{(Dn8$Yw>$QrQO-Q&Yl
z?e*S?hMQU#0**b!VF}5+`((+|xLhEtZpk(zk8h+%^>KKE!@_h;x1KRIOls!;Xz#0|
zqU`>C=|&m_iIJ36Is`@~1}SL)0m&gnTAEQ&0U3sFP*Pf2+8`XdaY&VtmM+2jJPhwS
z@9%fcy8qmD*E;vE*MD&H%<R3Ny}$MO7Gm2Z6<Q=YHVqLQfP%jd!0>rL!b|Muu`F(2
zzk-O|2^j4o@*E<6<xa!WcozY6rM)%v<gjq$X_LQ9NBX3(P$kb4XQjeHf3%dh9IH~L
z9nt<u>Z8W$)LJh2qlC_9k#TDC_6F3JKQf-uTqREw@<ApiQ@kP0>-*K6QZXatvC}EJ
zb(Vl1hP+UZx!mg$$u2;iARJ*U;A`tk_#FYgV{0_X2-rh}xaYM*XMuv(Y=8m2j4OIu
z={cA!67yVZb%de8c7If~K(Gw8oZg_kH=3a4@8p={c-(7JOglp4F1083e4ddm1^2Jm
zfSW}8lTKcjMMh;W8W@;Qe*c6!URb2pze8r(7P+1*$jWKIv#}v!#wd3o&tpp#4}OU|
z)^R;Mcu%Jiuu$ERGzwz=NWfHQ_95sI+VH$l#_7BV-@X{U+IrmnB-E{A2GF601~*?*
zlK^^8_ibY0H*Aoj6Hu2r=7Cmy;vnMYpSjXw!iE~8o@l-&kegX@=LngIv(=SQ9`!Mq
zV;oHoW8r4csoFTFI;iF^eoZ;M<$mo=ZzF>+JDP%Gox0s+fA%l$5FK(cD^K)@)j&vO
znZp6^D4nXXX*<Q6FOqcj<a(89za8tiaA~TudPSbxWJ2|*`?|C|k}*dzPAG!Np2+xv
z^R*t`iYPw6>wxW)p5878P-q}Pp(DI5?N81VLpXtVkpE=&wx8}D;b6UTSI*nF_r`aZ
zc_<^o@!Hn8QOhX^8-kehwHOTuHys<Z2EXda<i`mKlz8k_d!m?54hFS_a@Y86f!{7s
zE*FPtqJH_RNp4TmDK;pxC2z)TkJ;1?Gx6+6OY+9+E>bEK7)E=DF*3mrK^pc1xFmBj
z!0H(y)I;ZC^BmA`Dl9Yo6zYQa5K-kHSTOYVt+5^-7_Uf?NXX*RyfLs=P#nX`Mp)al
zyv9WfHLqw7Trm<w=w~v)%$cOnKep=)gp;A77%lW(iJ9j_P=_$eMfBb3tTT^Cq2*^H
z<ecb9THqFG^}|k&zK=F)S5Pq}7iIvN84ATg=#vz+vi#+wrG`RsaU+c&-)?`<hKvy2
zs~DGGZ=OoN$<MtraBFhGjhxx^3ju2x0GaIARFb5()!n<h80CWSmez|pM(f*zbjlx<
zSqG~qHSMGG-8;(zTj^IMJ!+!zm*5X&@-yq4Aig6?TeMFB@$owcEdN1?0Q7TMLEDXg
z&Z?FGt5V?SHo)k<Jcm{wQnGanM*P#F);PYJ$J`=R1C)RhYqC3ej?xbfV@Xu9g;}`$
zgzA82;~#1N_d{!Y=?u-G&AZ3?QSTgP&co76ljd-O!4fKMH)KAToivtj<a~r#Iysh+
z`kFqx|1$|{QtKNr>2vbfcdw@|OSz&avqxG5<xmqn-M-)zM~R?cvS25mLi7V?6Kcmt
zN^q{)v~duv$PnlPiH$mh$!)mVOCVW1@VS_!M??yvxk81%(W2Nf&-Hj3d4Rpfi(22Y
zo02Up@@w;ZuO(!dHRKR{?j<WMf{IpWbP9OONWF8wbrH%bVN%!-HfHAa9+dyIuwV&?
z)G-N&c|7Z3xjuABghiICeYm+m^J6mJ#6yJ5>+$N$9Wjr}v_plT*X3L?!zkXxF{ZYI
zo5KUhosd9T>|8#-0hBD5p)eD`gK|LF<h&Ac6hBomzNzxeUaltwREa`1>z^jWkiLXH
zfQ&L*eV^AGU;w5;RXI-!Ch*OBwQ7kyekHD^3}IqR>B;FhSj8JN=V-U#TZ(j===72P
z(HT|HATs~n*ED%&4f8qLm;X(B@c#WJKz2Xv=)tgD6z2$|$kF$v0YCvFfI9@*ITmke
zey-MJLEfZ+l->To0qic0>QUtt)YcW@^8^YEm|S$h$S)MjD|2ap1+u9Af#8-B7?M!x
zx_uREwo`!#6gbIO&SUO%py!s*tDQms;I(^3e<g8%DboL$uR?zb7$Sr&4fQyI0M(q0
zhZvij0dfTuis>A=pvZxz_wT~H-vK)f^|B2kKl}X?@Q}Hc<<1Wo0Uq+#C)cMMd4Q!?
z<}Ka-+1NiD`~PWUfT}!d%j_!kGX2EN?{*Vwao+&zZZDm)G78+hrzNQXFF}2#%w1+l
z=Wnl?d@)A4r}On`-JG#c75vB62Fr}J>*n9^i3aYaX?SZ|V5R9Tum`y?|CRG;<8bi8
z0>Kc=J3`$hBPZL5{36l8x;trr<oqJBuK?L*6bjq*o!On8+c`aP3|yD^`P%yU%Tp;c
z0l?n;0;Us<v<A%71vY%}INd245q&%viJ0JZls@n3qHA6*;Be#bRkyP_2|)_y#?*DK
zycsa+@ci#l2N~{@>35_1t_`bJb=&3n>E)iUR#c+m+S}UPPB2ch8JVRsU`b}Afq~gy
zg}sc&y(?xXgHAn9LTbmV8?!ig@J{xgvQI#)2Z+FiU%+XVQ=Q-06+kMIEq$Uj)FSaz
z^av4m{@Tyf;J7Hvmt6a{cl#GD<9I>m<v`@>w8TRSQ`)Z<Ty!vR(|8^*!~#Yy(k7GS
z4udf7tHoWCzZ2h9{+je1eo*1wk#j5W_Jm~hTzn!_G`(IK#Tqe{*+3<Nuu<nPyWYfw
z@^21$wN`gfU4E0>dXc+e=R_$BhWQ!GCv$I+9Zwdx2(oY-yn@#W5$JP-_5?7k3E|4>
zBwU>RC$DC6Ewfd$Dw`^dYJz^}#+6}`RwZUOT$Zx&J|#%;<NVFupK=gI#Azr!)*RH<
zBB1>Gr99qg%)gT?o{x8D$xJ|9mGFg7@2dy0#UA-4Ot3J57}MtDniND%vN<PlroO<?
z&o<u;&@}9*NSnk%%h%SCU))H%jw_1lW^O8f@CHCl#=k`qyKhV}Jy<va?v7jD-JV>0
zKdotW18rpPv(S20Jjn!*yy&d}s&nt~UC=vhCY_g_NKj8DZ_dnkVhTZ<M_0rH^wvom
z9eAvpQF$jFL<jE5^B)4oq7vaVX)88_J?EKCi+$d5EjMFGbK-ax{XUYseVz5Ov}BG^
zF|0L4&ZGUbVb5dJIA5+~2rRX8>zEkqfeya!y&Ryc@#TG}4vHe@wX+M)5fY7exxXP1
z-X6a+R_t;-TH=V76e*ZX45a6p<+B$A*)<EyYMrX)b;o*zLG$s;#iU=$@gQ7?JL$me
z>8~bqZl&w$83;+lkC<G^8g1Mg9fq|X301&-3?_ZdB?5jw8GIFI%AWCKSoThCLiApK
zvZx81*LXC7X+kJmmjSkZX*Ju=o07vv&PV>L>9@4uefv7cIg-VA9)Q3_xy=wc7#Xt*
zj)^r;*>dfT_p`p8nz^shL82HvS$GL<ZWN<ni}%i#d+o_H(ef^rZGw}kNA|oEhCEz*
zJoY*Pv#dPOx*~J3ae0?G>?0s4o&W-j|L45*7FKfL2IG-%c@q<es(xUEHFS378m}bq
zd71Bx_+gHg64holJN?wSn4I0d87WOrFjuj2GRJ61s^K61OzVvINf3;r<J;?TRS|Va
z%sZ&+HDZsqkW3`kVx4=LI;MD#5B55fe#2Pxa_{5Xgp9`k-sHmj46y`*w-X}xYUC~}
z+hu)5o$H-<;6eP^jDlthBwQ!K4ALNYqteLyPQuAxkRrbuEYifWNFh5AE$bK8tG>)F
ztMGPq=jUXBp=3<rBT;vBQL_QR^7u+U)nfp3l28Fx^msG|cFx>xpzD@|#0D86gt{|r
z!4YXHp6K0Ful6}B3;NXg*s3Hhh%wm16h%Qd<eOzW@Py4$T?(J?Zit0cg)5Pmhn6>a
zT8-Y)V2SmMuXjOkH(B1S)X}9+gsCkc<jV^Dtb7r+f`0+^bi67d-#lGN@sgyzej26h
zUQ&((O2ZB$wE~eQemLc-h>3+-$2F;D!g#;&UZEcvO&t3)H-;8P%Idr8HnpOlJf_<k
z(=~~m3U7n}wUPw7LhBxOpO<@}z^E4=2Qw6M4Yw9r$UpVH(R8@DfL_9tL%D}pT_=_&
z<K#bZN(Gd5N^(I8qfZbsMhVZe@OiWN;ZXqdxa!zywqeZ;w~K?4n=MDv#H0X(yUimT
zGav6|yNr8slD<C=NOUXR4l`H&5oQ<<Il2f^J;Oq08+tf3xEMO|65{jG(}QK;l{NBa
zq2Q1pU&EfE*;p#**8c@IMGB4#qsAtwfZ4DEp}ecb)W7IpUQB|<-Y*+mTR27wNVv)_
ze}00b6E}=C&Rwfsh+;FSoDV-Vue1R@M2lAwPm)qUuRf*=lQ8YIS6r}984K8b{Pjg<
z(E2dZ(L|$9fLP*=nZJfSGEZv0>AdjCgWhHG5H6?sjaFV|m5UZ;?)0N}G^p)eBxJCz
z%5k8P(a3}4u2@5rq;4LPk7$YxWb02ifgK{fxX8}6yAYT>NC@x%<T4&QBRv{w!mFA|
zO2>{2W7rpRS%3S4jBDTjW@Y-aiIQnYb<_%X;ifgak2+wKJIo0WrWeDiWsdSZ#HF&A
z21G;<IUTEDc0a-3T9g8t4_(@H+E}(aZ^5)4r$}G0_M|av$p(_VtNSJ|YWgdjJO^xj
zFvS5cEBkI%;Sizs0^KSZyxHM~hb|S1ughfgd-C^+=Cib)8vu>Z)#BiY!XT!2=s?W|
zEeyT;Xz|7UNOSM+4s_<Ch&hE(dV&Zc-(`N3hDvk+>m0*V8cCDaM^oJDZ8n`}*rIJN
zqgE)l5&6a8_%)syx!Gkk>-OtU)@rroXKnZ$Mv<nFWI<66{8YXimzi}tf)ulS^edV<
zk_iC(v-;W`l`AJ2U*4yY+^2j5`eVWa8vxwT@byB4qW%9aIRK$S&b3Vy>?5hwUks7^
zWrK&N(v`I)#9dcNS@dD)T328E5s!&|+y6chC0fBhaAT^YQ=cO6xD~g$B7C)6fL|cD
zqR?c#>IPI}z_p3Am(eH;xl~6U$V&&SR}=<dn)gJC5bl(*;dml)s$Q9#Z=z0Y{kfD+
zBp>HUcX^!>=E2R;6iML5tH2!G>S-lx>Cj(^WsakyHYO0;z)!eDUlO2X*TglkZXz5o
z?fKC_lIVGUDG6`^)OV^7&}(>>^stW{`3%?x4-|0;XyyKiO#I)OXVvPm$X~et|I_yN
z&piL9^FV9gbf{-%sq}tzx){I_Z(6fx!$v`No}tA6FkI;uG2wIm>jEo6h&1-2Ir?|2
zW^>-UmD6pva|_tO(Rr{o*C(u=&g{Ow@|<jsd&!t?thd8NA@=`Wg&?rm9d(V6UD!9&
zm6@0yd6DTfwWarjY`fG&MUN_driA4iyraS7{skcu+Li79Y(nI8m(wc&+Z-r5+Sh^i
z49=Xz02(dQ2z@gG=Don)J*YgjiKI=VQnSpvhJ2qd0CIl(r~i2|DT}r2-%26oGkEjb
z+PzzfEFK5infEt~uwU1B7`)?_tl*Cv@_y9PTy0fQSel?V1aFO;-z{xUT2D##+L&xk
zKTo%HTbQe5pPc12!(j%`>k)uf%ens>d?PcTI{4mK558K+%AmWo_d~Ytvvz;L(THRI
z2ACao`Evrn-bD;8Z10l!tuF1(VW#de+79*Zq~@`Q)3mWpU^s?6LD-`;{uI;GBhNlx
zgwcCGahaU4U9C)?Fh;1%vlvprPa<clV0XaOEZxKvFR8^99v7ux6J=|aI7m#8r3xsr
zCJA0EtRe&Ds1jq!wUtolB3)E8Pl<`N^;&FT#r&*DPC!q4RYy&36xqv2Q+4a)tN(&&
z<n3z!3CuK`5h3I~h_KE<PliUwi+Olz0fzFT%>>J6on8qAU*N_`ZWo>{go&@lZq|<J
zk$%~;Ap>6{^Ky0ZiH;kx37pn=Hjp~oc#DOYr3skuw$FA@*Fuj~vPux0p^BX%q48%8
zyU5(i1u!9u{sP#<r<g(P+#Qyq1dukZF!OE56~t5RpPZVe?9_Cy<GuCRzk!&%{H?6u
z4fAr1q~lU{k-lb`F_|rKr$Kqqm8VqciW6(UiO>nqJ2F>S2*r3$z69P7i9WC&$*LPV
zeWFL)c3|(XSe}!7qt?v3eDd(?5ZFaeYm6V&h@8eS$pv+LrfsB&-yN@U<TJP8p0a+x
z{|fBn_JuvL+pQkA$-j-Y#iR22w)0HAK?$duxh~o@=%#4Ka>X=QF01qupnc{QjW{e9
z-URitu<R9hB(`X__ntq$x4P}2RzX2wLQ1D&beUo;Z$)jM3je5Uw0uL+kA?g{Z(FcE
zTDNnyN3r;Z{#{MwgP7*496^{HH>aytR=FHE6wDKmQ1^XT_V4cSxuhEJrtF6HC@*A1
z$(VB~mjvqfv$)QNQQ|68dz*5F-)A0~#k@br)C3`Wt<@p9^_R(Hyzx&KNYX8{Sbxf{
zWaBN34{%yD-3mi?5n|Z)#>b7d`kEv}3|A*tFMH_sB|J0{3nK>YIS^jH&ao#xN1N9`
zv}t-RFLeyeMJn=a5O*5l&pk{CtTwL+I<g(~X(WU4#!!q~N{XR=FB4!8IjQlp#GhF<
zM44`nYl($RCc2cx_vE<j9-dS!w%WKQ@2&rs$!ifAE%gx%*@2B0?q2?ZyioXf{9e7L
zI9*{yp=<)F9l1bygu<VrfZWy6V$W$QuOxj)L8~qz`_>9#NsPrZr(?aaaR1Anrk(IK
zv7bt+M2-WVW!cU_)sdbWtof>oTGbWNJ94!kz)={q`vJ>^`44KUgRS61!K4afM?7p&
z#al3`!lf-tDiwS;$92VA;|Ba(Gq5AV+pGQW&Z9x$PM5hpw>ExDM9?WgxQl9M8A75j
zZC?y#xw?Wb```nS7Cy9WRTWi;NGyvp6f%)k{j=i+XI+A;T*FAE7yOdV>#!UwMxUDQ
zcKeKbk35eA01@%xz2tDnN#)`6Fr8>Q5gM9uG+5+5`r#C8ZaGK%`MIp>+G=s8jr-k2
zINS=;vAnarO_Zr$#4`wDo@i@70#VF3@3_&;F(jBi<_Q{Pm7_{niBH1`Nb0Xo=pGu9
zz9-b}DLv^J2v5QG7<g-J&F47S>T$uJzsTl=>PMF{LFzJ!92-Qa5I$Nv>Cy%7D=sJ9
zEcp7HIX`$YLe468G4AMvAONXJpV%j$%u?@k-0}XLTu0g4WEa%Y9y4{YV9<qjQoKYn
z*Id^_!YhUhOw+8)ncU=_a02}mN~r*=jIU_#U|Gcq^p=STzZsFkRYd3~hH-UWaNA$=
zF*OV%$+7WD1jAQzuLAWo6)Oo}bY4CQnjhbF8|zQi$c@o7{h=VW`|5)H`)oMt)#HQI
z(FDiw_vLywCQiOebul4wR0rDAgS`ij46rz+_WfZ=wZ(O3&X=C+dDL}m(PB|@hI&*5
z!pDg|0OtA$Uc75h7&cpm;}#%TqeFSR{jQ)W5jNVBFi1&kcHgrwDme-Foq-Kn+i)8_
zi0{W;S;mEjiD4Y$HTr{oDnT)w!v_P!SB{VTJP1l0VtL$QFZO;U@bFv+)Xw}k`_S`r
zCY>SYBz5CN6s2#t`*TnYET-w&o{0rZI<Bbk;-ftuM7f?}n8$3EL;KDJd0t7~C9Vsw
zEK3?2p_O^!S2sbQ1K1SsrL9%WxwjH59oB`nU#9-Wi4sE0HRqXiNL2?^kyIY5h?JRD
zR&b*<dNTFBL(!uHKH^2HnSc(4@O*x<XFGFh2gj+K@#$jY)M6AiT^|+}ePT1dD$}bY
zwOvP}JSFSpSzi^J-k{xpdO!Wk`|zbD*fv<M`jrM_avef5H=c2DGz;T5n_^t%Nf2Yy
z9xsQFW-<0)xAd67f&cKnsJzerj@2^~lpIP?z`gr9X|-bSod(PR78JJ}B|nES`;n%H
zhWKdmhcy+3&X(~%c|^r{r3A`m&Gzn3W%Y<$D63bh>DM*R&aww{t&#1?sb9s9zq}L_
zvMa$``?j|>SJNeY;l7gTen;r-7p)IXE1fR;l1i{PcttSk)_A}tDP2MT+)BIT@lPA-
z-rX(yb_l>GH>sfzhE~z*YUjvx84v~qVzZPa2Q*)*p!_z2fbtIQepUx&WxNCnVCfB$
zFJTM0VnDfZ-}^}~*o7qF!=Mn>8BGC<J_<6>{iWByJPu|NliLs)z)m~H1_!hLr5!J|
z32+wu!a|7o5a5W2`<ZC5#$PxvDoc2Z{>%6Sv+QLOb_o8{-uq{sf9Cmre;x#~gO#sm
zg8gU6Ro_L<g7Id$tLJhJ2Fhf|I#NdLDqyiz?g-DQGo8Kv+?&CAe_nVJ<)0%Beo5z^
zJ(Mrz&tH*~2_M5R-`u1Y=2?>I&$!U$1+cc<{UwHT|DOl2!!!|GIuaU$;gp<O11FUi
z$M_M3pYPbpMJ3B0tW<%I3A^_+QGIDtR<{bA_BoN3X$o#J$@Hgm%<0`4;TByUl@k>e
zS({s6H|H9QWaEpBh``@JoD(SPdKMOoU+W_!Ufx*#;LXm)lsa;CdZe;!E1c{+Sj55v
zW?!9m#BuMV8?stkYyQ0uM+PqoJBUoD2uU^t?PfPF{}*R<b8{)c?#Bc^9GoAEAXu(L
zDmbMQ1Fd{I4$F7lb+;;;u2UavY`SMN(=1#5i%vW<sCs;9Oi0_=!HSAS36jh4w6T4Y
zR%od+R;k}J1MH~*wywA@=a(aRuf8||RWSkR$QlBFyFC`|@?5uqw}tAG@q2FH`>%*P
z9KDi8%wNoRZvf*>6%G;3lP3Hpe!EH>BTKwtiGc1r;s}8jiVVIwPgZ{m2aeZ|sQ1wu
zp8nT5w`FYlrE=doSo8K)h>W2}Z7p(HD}@4Ot6XMZ62!{qJeljBjf$;cmAg?HJNcA|
z2DYT(xjuIsC>HYj$h5&%{dF;4%f1Asy6@Zmfz4P_u6T_a`=QM-=Se|)<haQ3WRxj#
z>G9L!UCr?P!g>>Pi+6XmWNM<SoTqO%_`AH`c%K`?)Ym(#iz@+ODBZEu5@>7|%~`Y_
z5d9;#Y-Q)+pe?YUQKr$0ItC8J0_((`4p%ms)T2@%+ls^4_zJj@ZRhu|$s+tAf0YgK
zKD8aq@wXWzW|s}V5OXC~2odLgca+>t>nQs8afU_9`l~#!^c^3aaCh(CdN=n;uPa5F
z%<}Jte}&z$J;K<01XXAcNhOh0Beu0*1C0OZo^Xye|7xxvOiLiUyCKvwUX6^X_FH^d
zFkY@#=(D<YW26R)BI4y6W|d=QI_bHxm7}Vsj(*YShj=aSt?62US$tJaoJ{4>&Kf>;
z+Ol|RZGEJHejOFww6;+0LIk}&q^`|O^sPA_y6ky84XpB_AU&&UX5q5D`_GT8bQdbm
z+ZQZ8HZ?<za7Tomkz~$ofO#)SOe4-iusDF$!xf~}6O_iIj9^xq;H+2cDh*Q(k$ZR6
zh!EYGv+0=7{dR~5;0~&eaK~d(njvEV9z3DX+Us0ZV}4tN*mE2CLZjQ1uX4JPYm~Ms
zASd_5?wb+5gECqcte9OSF$KFil3ps?uVT~@MJ#&JYvz|3D=$(i@U0yw7uYD~cE;|V
zrC#0y_C{H_LwfG)zz3-D#yx^OKrTg^RzFhGb&IeouZM*_ncCUBSYh4s{5?;B9pun9
zXZQv5js!m6NT?ChP?oXYl27aR^6UU__8{7xUeutVkZs)C(rAk-?k$HY#o6$gq~kwp
zQ@-!+8>AEevPejzjDeDnM&Me0LPFyVsKb>Jw3ja3gg?6Z=Bl!7bh#aiYBEz=xnKky
zjSXKoE}7?ZO-5WDQVl$netWK4qHY`!g3qZ*xUQfAm(82XWYdGDPNo}9rkkcRPy5F9
zGmhmlXCe&(R?>#tmUUk2`|TPviM=6!H3h2Q*ADscfSd$H)PSF%9fE_4M_|GQfjZI@
zTape_UsCYXr?@=AaNFt&&rGRVHUDVo<W5?SNsF_g6QM5WF9ZpSEkizkp)85JdcGWw
zkBN6eckgR#i@MRCxCv90_uBZq&0aaT8SAKy%@-_}q$dBwdd}<8Lbx+m?{0OMiFoaK
zYSW(Tvjt?xXB%pZWp8WA$*6dGjkv&F@k>=Uo^Oy+Ls0o4IDFcg)-(`k2o3^|lmtaK
zOp#0d_DcV%NQiCi-j0A7J`JSWk5Jb(B#xCQqesqd{J6|Jy!88LtI<i{O?2?_s7gu?
zTeBI{7FUbk=+D?<wxa>-7FaF4x#yJT6fqnQ7qb<};KwhtxjbF%Gm}YV9I0Rkk)Yj@
z$Hh~oqlPe)a4uhgf@dQGtnU6qoC1MM{pHr{x!3b^dcH)u*`G5^nII!6e%b;7{AFuh
zSH`OslH~=M{0E;24H+n+^WD94Y(sWdyCQ!4sO<Y`9yvTSx?7cXl}YN@wtAJR$xNOL
zy6oyR3ETt}ya|)ZZ4zqWZ9m`u%Mp=`Ta)bEhLD@^AlVa7kM1!ef6r5|xn_76t~Src
z?YQoK3RA(=t)MJQUek*of*H;fo7D<?C*3G8s_g3ht@iLv&~@R%fXx_zdMbi4se85|
z;!f*BODA2^CYZod9a@MjoJBLeB5?nGJnkUr3$`=`jxvjDMLr?Ej1b!w&b)nEM+Qxz
z1^F`MD8F6Dx+LHVNPsKoC*Y<&yAVTQWb(#Q1MiST{{<B$AwMe}q3=}FQw&{>(A{N%
z?RTe*1g`6Pp<+)QCkjWLtbQ=ga*~#oHg8W$FLLs>1y3G4U0<_nD#-Rz*715|#M-(`
zPj5SGGc(3qt79hbV&v?Z36eqo9b8;p0k25SGa4n*frf~`JYds&9Z6`y0I9y7TmaC=
zYas#xn9G1lEadFAQpreAjSK{5X9)~_fz#ZI5x)R@orL;oQV34L14<q22>5C%9$pTu
zl=c#Klo5i1KE8Rj6fj05f`1WRZ5I2+Pe2kJrJg^Zmf(&c1j_HW9jA3RS_Ymrvj4N_
zKa2je=s%18&sa2$56UcM=jkjFbYElKDnKLUnu5v&_R>0nBcXSGJ>&Pb7AhWlVJhxz
zwQt?44^VFD5XUa_Qy-AI`QFowq~H$L2s^1EYu9{Nq>rCbwGXe=IvfWjefvh<Sg{lN
zes4On{r92;%Wo_F^F8nYdocbSr+zj{VYuoZA|CMdo%Bf(Rckr1M#P)jFT~}z$7sGN
zKN!^`|M8qSuOr-N8f|;yDfXSTsHq`dw-S4z!LQ5ezW#zc81{mVI-mUnvEE#4(!>*V
z`~p53+E&)aZeh&g+SF9f>2Ei9NcM^u!=T5b`6|6OmBoKenp^U+eBm+fAF;)P_j{^}
zJ^Kh1&a(}=0B7VlyO6>RzNu#oR0lstsN*49V&HeN>+VWM<FDBjH&fpq5Aa%HI&0+`
zEbV4=5!X3YTS+%&6t!e`K3tOYw0Hjc?#k&>{YJ-j1Y_+^9TD%@%xfIL%!yhl#Aj#t
zmiDS+$WEvpGV1emrK-uA$fC%ru7@o~8zdA-AM&H*_>uCDT6TQNEllVwT26`a_nfIX
z&Ze<tq=v-T`8#4K^&$wr1fgUS<$8F!xIM%GSs5*hA}@WfkkD9npPdw#Y9U*t&2}+^
zDfN%7+ytS~G<8{Hv*(A5jhk5VDF%qC!dq(!J3>Hd@N-D5r6M*0mnt3R(IQr6kJ^Hl
zIT5%Q4?35E>5jDmeU2twCq4bU{ZB)2%Rb_R6c7T%0Q%K-CCLvvip5i=KzaL)dAn^U
z2dDOaLx=XY)dv0g%mbel#XBSoSUAZ3ahv$J@8t;tAH_>iz3GWF-&C+K=fV%1(NKE|
zBbM~7LOegL>&<?O%7~L({65nixw7sL%O;_C|AF+yDm(k1Z{L?Z{;a%Fot-vrVgAK@
z19e89ahlK&{TgIJ;@L=??`|v3(rbC2Fmf&V>**hFS7yFiVNaT#bH1+vQAEsMNMVGt
z_}j>SbBX$WW8H5j>^G4V?b-77dH|WHN{&{Y@g=}#a?sZ`z>iccyZMPgpvz6ka%WGW
ze83Up+Q)Jb-vlfWlAmm9;Ae6#0(aFM%7Z0+N5F_{WcusJ*@5o^$3LA~_Y}MDTfn}<
zCHdT`fw`WBtVe^Nx$6gPV#(D0ocV$E3tU~>6$7@c-KHIQJ6wj~t)Yn)m1u}qS)E|J
zizH9;V>H9&*I4b{wJYn)0HY4R-tw0|n;zgm{lRv=RP3?P{>;JQBlWWDv$!kv3!SDV
zcl7dLbg?g7hMcjzz@q8BYO^1%j%2&M7<?pf)be<p)hOt2^4`HGb+62kw=W_;6|3w^
z9W__<n&$Vx0-1YC29j(K%tQ2_3m2TRW;n>_CMT}bqc}K}2VgFM>hSHeV{oTUs+uV+
z$IOu~*^4M{dKUXx`)YCS2PQq;o8%Uj-fi^^d10r>G^Tj1Y2)e1d@mQlVPd5M!|{5B
z$K=+x+ww$mJp?f02Vz-8PO<go=36E=Hg|qY&%gZaINIpflX9@W=F?H@+AQHn2*Yf5
zAek!BCt{1;B~0QYWR)>3Yk+agHg&pxc=5-tzQ6*$v1QrHL&fc_tjPBFJHPwdc#(2>
z1=ov2Oq$(o1uYJ}ou%B0G}r&kHxh1^s?j+G8Tq=oE(~i#<K@`J-N(L=B*2lroLDkQ
zC3CJ@xlrDwHIZ9sdc()EaW|j)slt#U0SuF~ez2hI_G{YT^M&+CtP4HF;5lDQS_?#B
z`@8jQ*2=^13E(7ObT$V+-b=f;b2L~#F}X|#ix&u3F413hsMZ7Fk;xUErVU4lmeK9l
z7Bjz78Mh8jv7u{%hg`UW7VM{|2b~6EKK}ak+7m90JsX9Y#`0Rb+fE}x6EYIpG32Ne
z9e2tz$_DmJjNPv)$*XixKA!bD581J?KfkOR>wdM}%=8h!&rz9ZXC{QH;YfIO?k!<d
z(7c!@2>}(A$e3TVZ%^{Q{%p)0ea>I294O3RbsgzPFXt9*G)l!VDD)7)(D!0_oRf)^
z<Ewdtog|^18jdBW4hyzl3{`gNArhh&ArjfE%x46B_X4f}s&jzXfc8wdo0Gp9cMNcD
z_`|jo=rnE4AR@mv@%3HM?XnK^_H#obSmbi?MF{tdS->8X+vgL-C3COXXY%=MzK`!e
zJ{(!H#HhXA?l59>tx{fBP5kZud+!fp`&e0%TXqNB^dnoaW6=I+m5D&OAK8PLV@3b1
z7qjCH8`>)c6pwo4*XGQLVY|IncMJ~%g906<DpU9~GjH6G5hxfnY+Pp3ca>jpAk@tc
z>0+!=ajo6J3c3|S0$7RE9>LkGT)T>Q`}u{)HL3}zdX*@R%$C(q<<0TNMWWn<)i=tN
zsEVVb3M*cj*?d1IBX7IA^B5K2q>L#6yp>$4P<SEP&x1%;OyF4xhQm+*>gf5^yTr}K
z^73$S5F1uqA8`ZX=3-_lcIk3L71t(Z=k4jKhKK<8QpMxl0=U&$rw>u?FM!tK5qB6D
zSSt3}nq+rmOur9meA6Wz8yYPw&KpY<ifU7z`D%aJBwNV2`c|<G`Td&sQYkn@LM(H6
z({XBOnE{3&<AXyeI~CQbxX&b)CSXUTSh>?+g>u=4x&3uU>zdQ;IvEUnDn+6^XgB3v
zt)q+cOT@%z%|^{cYyN&}LPGRd**ja0LZ5yQcg<`uRE*QsJw%+#i^~HNH-ubljEuNU
zF%Q!fIH!(Au0jh}^(x{^j;?Jq6Tqr#UfRAfp2ujT4VzjwvsKy42Q24K%n-vvn7ckb
zj|DG`J5jZKGMxV7uOoA&q)~uOe464?2;M?}GT!YMlo4|mG3|g!(vQ10?N}roxco4b
z3bmZhq#t%qpz6-27}lC(7PXMLSFyjdOx-hdXj!;hY(`T7aTo!J!*>I9>Vc%F7z<>>
zuPvv+!J^tP25c8H0y0_HGF&o?C>AU5TWizbkMP{QS8@@chns&E^Kh`%R}o-+8EHMm
zx+H#(c}B9*(RpL8)VCv%r8>b17ad+J+LEG}S(ooG8Tu0G)*Ssrs@k=Oy<m+Yg5?M8
z{@B^F>w^|jxa`eX*LohC&gV<v>WcLhQ+!nL-l4hfQd^LkwxnNohmRb!C9TwObmC;!
zWyZF#>PD;?A%>I}WnHdO4Px_=KT=}*%#773Rn@@ZluS6eW7P*7@!eXb{arMt6^w%E
zTHZ<iI=zMT>CYWs<>^nOV+=60eo=={37aEDW!gqt`oyr2mYq?(2Qh?-@mDk%^|@O<
z)f^-B{8o+UMG{7iyy}+Wc6}*-CdtcZgyle0<XrWG&-ZQ#PJuhOK}q~Q0PNF3D8DMo
zpPMcxfS}w>?Z?3yy3k6z5@{tle{Y&z=n=-Jg;nu*q|ADBGGB@m<(LlFXI-$FKrhH|
z-)HgocAT~KYt=cU$rz!(k~{*xX^?TO&!oWpMyH0EkF+F4yM~#+ZgFtCFU%%)1eE>q
zQhb<<#NW(j?jgP<@p|Z!5&6!blG1@=y_Lju<|(}me*x4{_M-WJv1UU)KuGB2p@m#(
zpAzR*vz#`X6)DyD6(c_tng~P`QWa^n7d4lTN{qNHYli4MHQJajrhB{Z-^nh1UT&@8
zTID6wu)nt?Hrq`XHT82fZ}skKvd2Q6=?=gAUUI!&+Uc8YtHaLPhG3ae**SGX5pH5H
zqcZP`P#5Y`9X~Ft(V+_s8Rm-X!eRl$DLI8rNZd1KIgN}eG?S7Cqu}bPsbsc^Y5S4r
zgehCV)u~eh)@M8PuZGD`F+z_pcQQK}WQ)d%)q<JUp53O>QZG`t%y(#N`(9th+a2XY
z%N+T0`OZd<A+y1s<@@twInKp%)EmxT18YO@oC(Z@%o=SQ56$+X3&Wy)oz#5fr7_HY
zCOTZu<u21jHmsPt2AC`ew>^5SK?30*;(*pKlpg=^$WNn2AKt`}B@?vxtr%uMA2zie
zo?w8XchTXgTsVd1J#mB*@ryj%S9INbb!=b9j!dkQ<)}#5A$kiXoCf1n<y>ktnMLJK
zhkqaRmMCh}e(UkyJN)XA&)U%E-icSz`RlD=i2hRgGnms@Nd#b%H>1B#j>uC(B>V&d
zu^vhyZNT<=yqBSIHj>qPJ%T$3=yM*45{AYd9%x~8XI_PI<fr6L$lU0X*kEQ;S@jkl
zxkW{NrGd)G6}{a%Z|uy|q!P+r){$poY^n{Ku9diR8&=%;Il!A44p=Ah!u9KU2SYJq
zgLjv{V>|{84C4jDW3CH)t}kw$OR<rg81b1-eMnd=*}X8;9pIQwJklLlUFt@pYcW5m
z3hpT#02j-1>#1^QSAFRL0?=vb&NR2wNX*=1x^p;a*gVn~2w8RtiJO!H6tDcK#0Q~Y
z?_UB6n-a@38-UJflJdZU2uQywI7Of!+J*HhF!hJLR8jE3jwwJyuD9^dfnN_9Aiv|?
z%>+PwH7p@{CKv!&RbVFPWR4XKA;7KTN#^3K(?Yx+3~45xX&fP7N~t%v=cH%{e7omP
zU1>b<QNv~CGc$7B09dFrT|xw_&7lA%;ie8ExJgm6@0Rj3{#&L8ET`Q2V}Ezst$|km
zSZ~Tjtb%zB>?}lc=|c<wjP<Lh9%wxyf&ioWNYftY+zd7bzFnzX>XZw7G`_z5>?7U`
z)R1Z?cu&Nc;G@6$prt^rO)(?rjtQolHxpU3aj1q{q_5jRp62-zvFW4Ao}jh8klFK+
zIB0XlJG0^tE4BZ9A%qLB)=PE8KTA7Xgd&affBZg|^h__y;?<F+1%A5jHtfHz*3mH6
zvJqzS=ai~0(glLOmr~$0z1NC;&%M)R6qjYiA0CbqI@r1vKNje%+Zo3*EXeV`crc!?
z711;;&z-)ISXO`C++@qIK^yZMdsZ#LiJ$PCgKkLwWyD5?kD+r@+rdtP>$E%k_j>Z8
zzej@;>5lq?9|z@bOBefIm0ErtbW=Eu?6Nv}PI<yS)PsEuIsj3m_uG1KozVj!?ZMCJ
zjVL{ZM~_Sfvc?kIXM#6W{@_}?KCSZSTMV9iCjGd~Y{)@DVPoIzkafTMIIbt^Y!h<;
zgzXF+fc(c@W~+F%`Si*Qw7W|3G|eX`UTgy(o&9B<%8=5P*bncoTmOjdV551_1drM|
ztzH>z3k3mab6v6aY+cydjGigL4GzgZY{u>r2M>+gj=tFr*cC^+n>&@kuX4L)!lew0
zUjpC0`1%faoY{kecW<HzRA(jG=^C^!3hhX?5&7I>yB_3*qIl)1p1vZMx2^%mCq&1e
z`rI!<N&#SGr0-1g<|b7TM8(?+apl?rJhgki8-2kHifM<B>&ehBum^3g1<-U_Y|%N{
zGm?P5k$}^<S*u#UiP{IAw`srL`_|T`{-d)Yh^4P(i=X+NRuX|bH-A!>hMne%#e>zP
zf$MI+-^1{7)#%zgzI^|@9sH6;PV2#LN_F{MkL~7ig>Cs<<b1j3VK`Fkn&p4>;GDaB
z&i*qFz_;PNNC~08{SJE#=D@m*T#>i`_4EIZU;qB_UmQ$-d-hrrpg5QDdqW)mwm8Wg
zV10I~4@&>r+BgVFkn0?*H6#9Qao|Nh{K5B)AQNIjb~xbx|J0PVluB<sc=EphP)h>@
z3IG5A2mr8X)=-hWN7Z2f003wJ000dD003=ebYWy+bYU)Pb8l`9$}tXuFboCIyZjkN
zwj)T&4LVoq?iiyoG)QU0g1CEGpWX>;u6=KqPgMOnX1uj31{~gg+g@*A3LIh(5~7i^
zuw+~V)cSV#>*L;^%iY$J9wkjNIprydkL;0)SvFjMP)h>@3IG5A2mr8X)==D$pqHBl
z0027?000aC003ieZggdCbS`RhZ*IL;TW=fJ5&kO%`|2Z{`$cb-VFG<C>b?beI9G9j
z6_;498oPyox|VZk>Pu^<O>C!bkeiXjf`I~oE5-Gn5lQu_f1$H0-bu+9pd|qUJiGhN
z%r`UN%)ay6Ru)>Dt>lz(N-`C(mWoC}A|uXw?OW$tKDYfo+|=*HSi%1)tMUl{NB0j0
z&u^R~a8wpW^{b+n`PSwbk-1=<)GQcl1jRZ?ueddl={dxzd1QvjvA%e@ZFjQ#DxCJK
za@SY8WxP1Py(qUguIyypu(6wM<i&R8H_B|gQ~TsQSsu#Rt?k>Yvc40+i+9G(NXIpy
zBpMp57KU+#6U57%m@_{7<k|4n{^;=D@NavqYv;$0a+)}&Mx$V{MLb%Gv`-Fsq6{S}
zL@xOp$npLcqy4`QA03Qd{AqOfXoe#h*U?1{Uu%hUl7xtzQg-dr!+W=mUOXE8<8XBN
z_^jxrsrccCqvyXHegF6W{PbY{*}+er9Pb|h!if(l;^-tsK46ZxHW)c!DDvJ*ET~C@
zq{icU*n>Zwz#hMRIC}E&=)vCb&Yk0z&yJqo9^U?T@ZpaW@L;)BRtba?afoy6ka58v
z4P}L$lbk8P0{;A?6Y#-Td!xJWL*U2HZVV2-sllHf{`>y*DLBK_OKuR<5C(86kPZPu
zDkv3+1>sa!1|K|pI0k?E>EQQI2A@3{0ljzMpI|1BiIFa$5MxB#abUw^Fd=E6S|@N=
zuCj4|%*JOAh95tkB2O@xV_rLO3|ngu57Z+ULPW|$?IR9ElNHRt&8K6`f8870{JQ@A
z;9#2i6Ibhg^jsmsEJ550h@6m!w8c^JkT{lWxV<s1hrfJqbok?9?8F$)Y)D8X&7i71
zKx<7<V$@@96E;Sy`uY6{;ONWiqlcf)Sbea!M6BdiMCp;z9$Lmn4&c#3B@iIQPz)-t
z;_W{_U#;HZ?XL%SzMOKagO82`aJT+RQ~|d}0o5r&eMlMB_<Za7q`+o1w$xlFt)ZAU
z%0qKg3xsfDkkuri1f{E$k0yxK0=sp6+H^JkcYi*5ac><s@wNKk0Nn<VTnhq~#yN^o
z#bl^ZVog;5_@woYUVc9O!&lH0gZ+;NH>btsSx8WA3~9rmfFn;pF^-6FL0I&J2?_1|
z?zMU3nLZuv4L`g)xczu8aY9K?rRB(T2KoRBiL{gnLDdq=7zO!OCxET06L;cN>>Uuq
z3G_b(d81$)p2t>2>uTtoUQt%II~x$y)n1%a|6W=2Vp(OeUtdhcW-7WBdM`H84&X%|
z;4V1#MP8I}@-w<c+l<vC;@8`oDa-TvuzjiB#<*2`2Q#85|HtMqz61svbMZ<qD`R*w
zgZ=7ilaZ{ld2<_FsN$6h<j5DLt+E2-zI86ox)D{Kve@13G{$`FR;A6S#!f-cep7=}
z-K!S;?iSq$C$1<%EK!60UKXlO-C#@Sv-pL&q%OeKQ;sJ_)5+xCZ2huuMOB=;oHqrq
zLa~B0onIjWQnq9BiIsV$=5ukW`9Qa{n&*DrG(z+V2as-T8K^GwEV59A$UEq0m0-Go
zlAm8p%e6Yz-EOeu)m0W3^Q<l^z7qWOc;2~o^LYzK_}PpsWtA|<>H-5Qr2wl*M1eX9
zQV?K15(*mTB`jY)Mjz)Gm<A3QDKDVby4$DJ(^@9pG`eXV>#7c)R#%Gwg0ev@0x=L7
zm?>N$BLYkp7eHx9qFAIgDemvOS2W71lWVG7op(@ESsTVfkx&&_5Revn=!=B5pcKou
zAczT_gcc25z<_`>LCFGAL>DPS;(~-IASEogp@Rq{K_Xoc7ElOA2vQ7HVWaLhx|}=b
zo^xjI^WHOa{&?Qs+`02I?<s7WHULE`mmX&-<t?U5qdtxx@=gtfjtSv<9I+jJX!<sq
zPEzdT6|i}+_!*KI24`|TO3i{^cww9wlsaDPwt2Nc<o7p-g)MmP)iN2oS)Jg^Y1(_L
z@x^)LwW9Q@qctr*ahTrB6>~nD&*XfjgJgdQpRDrfd2OZ}Sz*LTb5U8@$8(=`=qOT4
zwVoA`7`$;bFkN&h&DD4*Q#?o-<>%KThJ%g21$Nha2v8WJB;|JkdyUG<ED>k>XAmvV
zEG3CFtE0~f(=eYT&-v}0pDeoe=@`58w3uF~KEc_|>wHha4MX!z&nID>(mVtFrCLjr
zA`X=-u(whGN40&;ly$S}6;xlLNAWZ{rUIgMAH_^Z2cdi!4S^Ly<JU43u@%o9Nbadl
z4)T>Ng7`#rF?EIP(1q-5;mDl3XmbKxK*4aLUUd*tmh575Ucye)9_v6>R4cHW49w6P
zSmB?=h#x%(-7X+coUWsfLiS7E`PIkg-(|hFi#+7nTHUhi^<NWXR!E*+Vw>2AFaRL%
zgNa374#vAqyS(ldPoR0}vCet5=LVA-jN5U0#=FBOQBS8%X5niguE)st?<AQi=qf0`
zJT)PdG}WFP!IvDu3n}y^yA7JH5PBnDy)xO={b<u|ajcmTNt^v+pbs0nu-j^S-&Ahj
zzq=NixmDB{tf)f3iz(Vh2~qmeh6xYi%-n4ibbi*aVIDtz2O0AIA$e5_82hl1%I(9M
z1ngFWCDFQlWhfc7(Ggk<S<^ZxYIjzX2P#St#W$OYIzBWs#9$yMST8av1KjC#i*3}n
zrJch^Ph9lWuO{}}+|5a<#f@jE$TU^IzVvZ&xU6z;8X{+>0OSQbATx4()nF>-FRl6c
z-V1wot|qEFQLF=@PL56-h=q^O!D>CEGpQEC`M-*XSxbs8#3ZT9-E+$(U|@gKe;ZLt
zJ|i>ZS}vJvoO51Ena2JF33Mwv5J%83ue(LQG8^M)|Au1VMZ9WBta_ZPm69-4DRo$T
z(WPge6Q{UBeiU-?usf$b<1{tGVyGbqc7o|JBpUxl6RnVCkFitTPmSjxhchFt6SnhA
z#}ZVKpOdgbs}=yR&<8CsyHlglWkDya;KPP-o&BS<JNc|cE-mg+ZDeyw1qgn;%+t9y
zq}DlHxw2OfD0A^TfSeOt_0*MH9b#xF<YQOr$Y=bit3>9Wdd9na1v<Z@VlRtViKp2T
zIkB<CyB2)I#PYX7SLGx>kzkRoE14M}iA(Hqfvy%@SSBE=?D6HEWi!qM$%yf~-bm6G
z!&v5)pbET8oPZ2)6|E{5Ga&tf4+tEo0V=+=BAJscIpJG%;F&)Zc9u4?IUl8-WC?2V
zQWVDiXZYtQPm0p4>c=9kUggEb6DANH5UX1UbV(DBEJj42pTqi*D5`^_wXS2hh7`Be
zc}B$oqvPS|XLzQ(=bxhu?$b{iHrfK@Wa~q&518S08PVGxXLjj>i`|QaC$YMPx?T{^
zP{YkJc6sn90%;2sg$$qdU1w0~vsQ1nDn@6aZ|7f(PKLaF_u&Qe`e98(|A5w*Q%$L!
z!9p%GZoEDtF~I#AX!v>f?6K;G`<lQ^c{zh4M)pUXrK>&LNSj-yR^8J#;YV;!m*rbY
zEw3h`2k}0?&hsbqyR4x*%H7=0M`Gx?kIEk>TmcDEXyB)tm748^+bMbXc31acm6K1;
zEl>=yBL8++-gu%vAF`}UnF_odmtak5`z%kHHyGE~G!Fg6_tUUmZY9F4q0EM>xYdTl
zsvl~>?t7U0!G2RII(IIv8rGfrIE>~v<3E<utSgjk$=nyp?9?q;QTKlt6DEcMdd!!s
zz+KT|ozvzeVRC{cVMg}_F7j=*rFGVW%^dUs)C^hA!HC4PsR1w|t@8;Ok(ok&5B;kk
zV|hd7Bu}XDYEO#S&GqG~%+C3$l^Jfw+wV1@@h1HHvKX%$DaCC~^&l``C0zrNM}1WV
zzLqj<tC*I=+q|`$0E%*aV4i1MzAsKx<WG8tP42jtJlz9r!6oj8OVDawyCRP{-6-<V
z2y8ANCo1JdJ3A4EEo<g>)t-fNh@27cn}OgPRkG#x3984*<aBg_WiiAq?q&^S#{dK4
zzy|Bz+!FL4gtfysQ~bxyL`4eA6XlX3X}>ubUm;PAjZ0cZXeNc0`93(A*HhjbWC1x-
zV*$e)Ht!5MSrOd_sB0RJbHVEom2>AXNxhU!l?tjw+@CzcW*tUra(suyU5d!<64_{?
z>;tM1=kPpBw7UalrRP0D6njUcI|(EoI#Z>oLO2WDAxi8Jx<Yv!U28a9wbLt#EkH-Y
z=Xd~!A}6;CJo<W^j@%a@ccghIx71>J417dO1$(@Mk=cX5RrQ-zU9BsWwA*hrsJtLx
zKUEuBI&gtlfg%$O^uf^k^;g;xxeCSqf=c<fN$gPffJQUD>8sNg$>C-Kk{Mo|P4@BJ
z;`js%-7*T~J=ZL@9vsG{#juc-a*lUf%U?nl6r%deB{ggjXxR}ZhntDol=zNTxaV@P
zT$JGg)Gw%h{o1Q>epBflW{UKqx(%7DN5^JK!kbI7SzXoMn28ik?-OI&I|EH4to~)0
zzz;f+xf`bEq_Hd}Bxd(BG<MN>a@wusciZ@^7@tvS(_ZuXh^OCAMb#;x`>Z)wJEjSX
zXKqZjYz!h}19l}&p;9jS73kipFnM#Su2rYTr2w|Z0Zr!;8Eq5ZvDn?%ncBd{@(Q=a
z{(O6aMmL48^F3gx0U*BqOtQs$FN3qbGlQZ8@wVZ!xDTV?;Kuz%Q0G;1*&5LXy(MBk
zuFjM;7mW^(K_xjT?#(?i!(FT9;@l9_U$E49x{VjJTS3@YjjkPPo~sg~QO$p~-2?vD
z6x~34w@<On(23o@Ql?KxfG;Zi8`@Pk+fe(gN9<l`s#9#Wor&enHvKeB4m68+YkfWO
zle;W_a`<jnPS@Sj%Ej3kgOjDrU42E!&!UnJ)gWD2WjI`b&9oexVt_AH3;0U4Unl?G
zzL@a0#&+bd&C&nrWn_p?KybM3ci}f2R(TolVYm?hz$^m*lK(#bZBS<qKL{iKA44ZB
z#P48~gHZiFkbctv#6BoJ$iUyFZEWd}M0`+rF!A`VOz!-yWTznqg$EDkyRd-F-tCV^
Xb>ZA0c4`9v@USm`4gdg1`Lg;4Z%|j`

literal 0
HcmV?d00001

diff --git a/计算机操作系统课后答案整理.md b/计算机操作系统课后答案整理.md
new file mode 100644
index 0000000..0b365cb
--- /dev/null
+++ b/计算机操作系统课后答案整理.md
@@ -0,0 +1,516 @@
+<h2 align="center">计算机操作系统课后答案整理</h2>
+
+
+> 本文档收录内容收集于网络，结合自身学习汤老师的《计算机操作系统》第四版收获对内容进行修改、整理；若有任务疑惑、问题欢迎pr或者issue交流
+>
+> B站搜：[Rong姐姐好可爱](https://space.bilibili.com/350937042)
+
+
+
+## 第一章 操作系统引论
+
+1. 设计现代 OS 的主要目标是什么? 
+
+   方便性，有效性，可扩充性和开放性.  
+
+   
+
+2. OS 的作用可表现为哪几个方面? 
+
+   - OS 作为用户与计算机硬件系统之间的接口；
+
+   - OS 作为计算机系统资源的管理者； 
+
+   - OS 作为扩充机器； 
+
+   
+
+3. 试说明推动多道批处理系统形成和发展的主要动力是什么? 
+
+   不断提高计算机资源利用率和系统吞吐量的需要；  
+
+   
+
+4. 何谓脱机 I/O 和联机 I/O? 
+
+   **脱机输入输出方式(Off-Line I/O)**是为了解决人机矛盾及 CPU 和 I/O 设备之间速度不匹配而提出的. **减少了 CPU 的空闲等待时间，提高了 I/O 速度**.具体内容是将用户程序和数据在一台外围机的控制下，预先从低速输入设备输入到磁带上，当 CPU 需要这些程序和数据时，在直接从磁带机高速输入到内存，从而 大大加快了程序的输入过程，减少了 CPU 等待输入的时间，这就是脱机输入技术;当程序运行完毕或告一 段落，CPU 需要输出时，无需直接把计算结果送至低速输出设备，而是高速把结果输出到磁带上，然后在 外围机的控制下，把磁带上的计算结果由相应的输出设备输出，这就是**脱机输出技术**.
+
+   **若这种输入输出操作在主机控制下进行则称之为联机输入输出方式.**  
+
+   
+
+5. 试说明推动分时系统形成和发展的主要动力是什么?
+
+    **用户的需要.即对用户来说，更好的满足了人-机交互，共享主机以及便于用户上机的需求.**  
+
+    
+
+6. 试说明实时任务的类型和实时系统的类型. 
+
+   - 实时任务的类型按任务执行时是否呈现周期性来划分，分为周期性实时任务和非周期性实时任务；--根据对截止时间的要求来划分，分为硬实时任务和软实时任务; 
+
+   - 通常把要求进行实时控制的系统统称为实时控制系统,把要求对信息进行实时处理的系统成为实时信 息处理系统.  
+
+   
+
+7. 实现多道程序应解决哪些问题? 
+
+   - 处理机管理问题；
+
+   - 内存管理问题； 
+
+   - I/O 设备管理问题；
+
+   - 文件管理问题；
+
+   - 作业管理问题.  
+
+   
+
+8. 试比较单道与多道批处理系统的特点及优缺点.
+
+    - 单道批处理系统是最早出现的一种 OS，它具有自动性，顺序性和单道性的特点；
+
+      **多道批处理系统则 具有调度性，无序性和多道性的特点；**
+
+    - 单道批处理系统是在解决人机矛盾及 CPU 和 I/O 设备之间速度不匹配的矛盾中形成的，旨在提高系统 资源利用率和系统吞吐量，但是仍然不能很好的利用系统资源；
+
+      **多道批处理系统是对单道批处理系统 的改进，其主要优点是资源利用率高，系统吞吐量大；缺点是平均周转时间长，无交互能力.**  
+
+      
+
+9. 实现分时系统的关键问题是什么?应如何解决? 
+
+- 关键问题：及时接收，及时处理; 
+  
+- 对于及时接收，只需在系统中设置一多路卡，多路卡作用是使主机能同时接收用户从各个终端上输入 的数据；
+  
+  **对于及时处理，应使所有的用户作业都直接进入内存，在不长的时间内，能使每个作业都运 行一次.** 
+  
+    
+  
+10. 为什么要引入实时操作系统? 
+
+    更好地满足实时控制领域和实时信息处理领域的需要.  
+
+    
+
+11. OS 具有哪几大特征?它的最基本特征是什么?
+
+    - 并发(Concurrence),共享(Sharing),虚拟(Virtual),异步性(Asynchronism).
+
+    - 其中最基本特征是并发和共享.  
+
+    
+
+12. 内存管理有哪些主要功能?它们的主要任务是什么? 
+
+    - 主要功能: 内存分配，内存保护，地址映射和内存扩充等. 
+
+    - 内存分配的主要任务是为每道程序分配内存空间，提高存储器利用率，以减少不可用的内存空间，允 许正在运行的程序申请附加的内存空间，以适应程序和数据动态增长的需要.
+
+      **内存保护的主要任务是确 保每道用户程序都在自己的内存空间中运行，互不干扰. ---地址映射的主要任务是将地址空间中的逻辑地址转换为内存空间中与之对应的物理地址.**
+
+      **内存扩充的主要任务是借助虚拟存储技术，从逻辑上去扩充内存容量.**  
+
+      
+
+13. 处理机管理具有哪些功能?它们的主要任务是什么? 
+
+    - 进程控制，进程同步，进程通信和调度.
+
+    - 进程控制的主要任务是为作业创建进程，撤销已结束的进程，以及控制进程在运行过程中的状态转换. 
+
+    **进程同步的主要任务是对诸进程的运行进行调节.**
+
+    **进程通信的任务是实现在相互合作进程之间的信息交换.**
+
+    **调度分为作业调度和进程调度.作业调度的基本任务是从后备队列中按照一定的算法，选择出若干个 作业，为它们分配必要的资源;而进程调度的任务是从进程的就绪队列中，按照一定的算法选出一新进程， 把处理机分配给它，并为它设置运行现场，是进程投入运行.**  
+
+    
+
+14. 设备管理有哪些主要功能?其主要任务是什么?
+
+    - 主要功能: 缓冲管理，设备分配和设备处理，以及虚拟设备等.
+    - 主要任务: 完成用户提出的 I/O 请求，为用户分配 I/O 设备；提高 CPU 和 I/O 设备的利用率；提高 I/O 速度；以及方便用户使用 I/O 设备.  
+
+    
+
+15. 文件管理有哪些主要功能?其主要任务是什么?
+
+    - 主要功能: 对文件存储空间的管理，目录管理 ，文件的读，写管理以及文件的共享和保护.
+
+    - 主要任务: 对用户文件和系统文件进行管理，以方便用户使用，并保证文件的安全性.  
+    - 
+
+16. 试在交互性，及时性和可靠性方面，将分时系统与实时系统进行比较. 
+
+    - 分时系统是一种通用系统，主要用于运行终端用户程序，因而它具有较强的交互能力；而实时系统虽 然也有交互能力，但其交互能力不及前者.
+
+    - 实时信息系统对实用性的要求与分时系统类似，都是以人所能接收的等待时间来确定；而实时控制系 统的及时性则是以控制对象所要求的开始截止时间和完成截止时间来确定的. 
+
+    - 实时系统对系统的可靠性要求要比分时系统对系统的可靠性要求高.  
+
+      
+
+17. 是什么原因使操作系统具有异步性特征? 
+
+    - 程序执行结果是不确定的,即程序是不可再现的. 
+
+    -  每个程序在何时执行，多个程序间的执行顺序以及完成每道程序所需的时间都是不确定的,即不可预知性.  
+
+      
+
+18. 试说明在 MS-DOS 3.X 以前的版本中，其局限性表现在哪几个方面? 
+
+    - 在寻址范围上，DOS 只有 1MB，远远不能满足用户需要. 
+    -  DOS 试单用户单任务操作系统，不支持多任务并发执行,与实际应用相矛盾.  
+
+    
+
+19. MS-DOS 由哪几部分组成?每部分的主要功能是什么? 
+
+  
+
+20. 为什么 Microsoft 在开发 OS/2 时，选中了 80286 芯片? 
+
+设计 OS/2 的主要目标之一是既能充分发挥 80286 处理器的能力，又能运行在 8086 处理器环境下开发的程 序.因为在 80286 内部提供了两种工作方式: 实方式和保护方式，使得 Intel 80286 处理器不仅提供了多 任务并发执行的硬件支持，而且还能运行所有在 8086 下编写的程序。
+
+  
+
+21. OS/2 的主要功能是什么? 
+    - 多任务. 
+    - 进程管理. 
+    -  存储器管理. 
+    - 文件管理. 
+    -  应用程序接口 API. 
+    -  表示管理. 
+
+ 
+
+22. 多处理机 OS 有哪几种模式?各有何优缺点?
+
+    - 2 种模式: 
+
+      **非对称多处理模式(Asymmetric Multiprocessing Model)和对称多处理模式(Symmetric Multiprocesing Model).** 
+
+    - 前者易于实现，但资源利用率低. -后者优点是允许多个进程同时运行，缺点是必须小心控制 I/O，以保证能将数据送至适当的处理器，同时 还必须注意使各 CPU 的负载平衡.  
+
+      
+
+23. 试说明网络 OS 的主要功能.
+
+  - 网络通信; 
+- 资源管理; 
+    - 网络服务; 
+    - 网络管理;
+    - 互操作能力.  
+    
+    
+
+24 . 试比较网络 OS 和分布式 OS. 
+
+​	     - 网络 OS 是基于由一些互联的自主计算机系统组成的计算机网络，以计算机技术和通信技术高度发展为 基础，能实现相互通信和相互合作功能的系统.分布式 OS 是指多个分散的处理单元，经互联网络连接而形 成的系统. 
+
+​		-  在分布性上，两者都具有分布处理功能，但网络 OS 的控制功能大多集中在某个(些)主机或网络服务器 中，即集中式，而分布式 OS 则是较均匀地分布在系统的各个站点上，是完全分布式的. ---在并行性上，分布式 OS 的任务分配程序可将多个任务分配到多个处理单元上而实现并行，网络 OS 中 通常无任务分配功能,每个用户的任务通常在自己(本地)的计算机上处理. ---在透明性上，两者都具透明性，但网络 OS 指在操作实现上的透明性，而分布式 OS 则在系统内部的细节上实现了很好的隐藏，即具有物理上的透明性. 
+
+**在共享性上，分布式 OS 是比较完全的实现共享，而网络 OS 共享的资源大多是在主机或网络服务器中. ---在健壮性上，分布式系统由于处理和控制功能是分布的，还拥有容错技术实现系统重构，因而具有很 强的健壮性；而网络 OS 的控制功能大多集中在主机或服务器中，是系统具有潜在的不可靠性，健壮性差.** 
+
+
+
+
+
+## 第二章 
+
+1. 试画出下面条语句的前趋图: S1: a=5-x; S2: b=a*x; S3: c=4*x; S4: d=b+c; S5: e=d+3. S1->S2->S4->S5 ......../ ......S3  
+
+2. 试利用 Bernstein 条件证明上题中的 S2 和 S3 语句是可以并发执行的，而 S3 和 S4 语句是不能并发执 行的? 证明:  R(S2)={x,a}, W(S2)={b}, R(S3)={x}, W(S3)={c}; 可见，S2 与 S3 的读集与写集两两不相交，S2 与 S3 的读集之间也不相交，因而，他们满足 Bernstein 条 件，S2 与 S3 语句是可以并发执行的.        同理可证 S3 和 S4 不能满足 Bernstein 条件,是不能并发执行的.  
+
+3. 程序并发执行为什么会产生间断性? 因为程序在并发执行过程中存在相互制约性.  
+
+4. 程序并发执行为何会失去封闭性和可再现性? 因为程序并发执行时，多个程序共享系统中的各种资源，资源状态需要多个程序来改变，即存在资源共享 性使程序失去封闭性；而失去了封闭性导致程序失去可再现性.  
+
+5. 在操作系统中为什么要引入进程概念?它会产生什么样的影响? 为了使程序在多道程序环境下能并发执行，并能对并发执行的程序加以控制和描述，而引入了进程概念. 影响: 使程序的并发执行得以实行.  
+
+6. 试从动态性，并发性和独立性上比较进程和程序? a. 动态性是进程最基本的特性，可表现为由创建而产生，由调度而执行，因得不到资源而暂停执行，以 及由撤销而消亡，因而进程由一定的生命期；而程序只是一组有序指令的集合，是静态实体. b. 并发性是进程的重要特征，同时也是 OS 的重要特征.引入进程的目的正是为了使其程序能和其它进程 的程序并发执行，而程序是不能并发执行的. c. 独立性是指进程实体是一个能独立运行的基本单位，同时也是系统中独立获得资源和独立调度的基本 单位.而对于未建立任何进程的程序，都不能作为一个独立的单位参加运行.  
+
+7. 试说明 PCB 的作用?为什么说 PCB 是进程存在的唯一标志? a. PCB 是进程实体的一部分，是操作系统中最重要的记录型数据结构.PCB 中记录了操作系统所需的用于 描述进程情况及控制进程运行所需的全部信息.因而它的作用是使一个在多道程序环境下不能独立运行的 程序(含数据)，成为一个能独立运行的基本单位，一个能和其它进程并发执行的进程. 
+
+第 5 页 共 23 页 
+b. 在进程的整个生命周期中，系统总是通过其 PCB 对进程进行控制，系统是根据进程的 PCB 而不是任何 别的什么而感知到该进程的存在的，所以说，PCB 是进程存在的唯一标志.  
+
+8. 试说明进程在三个基本状态之间转换的典型原因. a. 处于就绪状态的进程，当进程调度程序为之分配了处理机后，该进程便由就绪状态变为执行状态. b. 当前进程因发生某事件而无法执行，如访问已被占用的临界资源，就会使进程由执行状态转变为阻塞 状态. c. 当前进程因时间片用完而被暂停执行，该进程便由执行状态转变为就绪状态.  
+
+9. 为什么要引入挂起状态?该状态具有哪些性质? a. 引入挂起状态处于 5 中需要: 终端用户的需要，父进程的需要，操作系统的需要，对换的需要和负荷 调节的需要. b. 处于挂起状态的进程不能接收处理机调度.  
+
+10 在进行进程切换时，所要保存的处理机状态信息主要有哪些? a. 进程当前暂存信息； b. 下一条指令地址信息； c. 进程状态信息； d. 过程和系统调用参数及调用地址信息.  
+
+11 试说明引起进程创建的主要事件. a. 用户登陆； b. 作业调度； c. 提供服务； d. 应用请求.  
+
+12 试说明引起进程撤消的主要事件. a. 正常结束； b. 异常结束； c. 外界干预；  
+
+13 在创建一个进程时，需完成的主要工作是什么? a. 操作系统发现请求创建新进程事件后，调用进程创建原语 Creat()； b. 申请空白 PCB； c. 为新进程分配资源； d. 初始化进程控制块； e. 将新进程插入就绪队列.  
+
+14 在撤消一个进程时，需完成的主要工作是什么? a. OS 调用进程终止原语； b. 根据被终止进程的标志符，从 PCB 集合中检索出该进程的 PCB，从中读出该进程的状态； c. 若被终止进程正处于执行状态，应立即中止该进程的执行，并设置调度标志为真； d. 若该进程还有子孙进程，还应将其所有子孙进程予以终止；e. 将该进程所拥有的全部资源，或者归还 给其父进程，或者归还给系统； f. 将被终止进程(它的 PCB)从所在队列(或链表)中移出，等待其它程序来搜集信息.  
+
+
+第 6 页 共 23 页 
+15 试说明引起进程阻塞或被唤醒的主要事件是什么? a. 请求系统服务； b. 启动某种操作； c. 新数据尚未到达； d. 无新工作可做.  
+
+16 试从调度性，并发性，拥有资源及系统开销几个方面，对进程和线程进行比较. a. 在引入线程的 OS 中，把线程作为调度和分派的基本单位，而把进程作为资源拥有的基本单位； b. 在引入线程的 OS 中，不仅进程之间可以并发执行，而且在一个进程中的多个线程之间，亦可并发执行， 因而使 OS 具有更好的并发性； c. 进程始终是拥有资源的一个独立单位，线程自己不拥有系统资源，但它可以访问其隶属进程的资源； d. 在创建，撤消和切换进程方面，进程的开销远远大于线程的开销.  
+
+17 什么是用户级线程和内核级线程?并对它们进行比较. a. 内核级线程是依赖于内核的，它存在于用户进程和系统进程中，它们的创建，撤消和切换都由内核实 现； ---用户级线程仅存在于用户级中，它们的创建，撤消和切换不利用系统调用来实现，因而与内核无关， 内核并不知道用户级线程的存在. b. 内核级线程的调度和切换与进程十分相似，调度方式采用抢占式和非抢占式，调度算法采用时间轮转 法和优先权算法等，当由线程调度选中一个线程后，再将处理器分配给它；而用户级线程通常发生在一个 应用程序的诸线程之间，无需终端进入 OS 内核，切换规则也较简单，因而，用户级线程的切换速度较快. ---用户级线程调用系统调用和调度另一个进程执行时，内核把它们看作是整个进程的行为，内核级线程 调用是以线程为单位，内核把系统调用看作是该线程的行为. ---对于用户级线程调用，进程的执行速度随着所含线程数目的增加而降低，对于内核级线程则相反.  
+
+18 在 Solaris OS 中，设置了哪几种线程?轻型线程的作用是什么? a. 用户级线程，内核级线程和轻型线程； b. 作用: 由 LWP 实现了在内核与用户级线程之间的隔离，从而使用户级线程与内核无关.  
+
+19 在 Solaris OS 中，用户级线程是通过什么方式来访问内核的? 通过 LWP 来访问内核. LWP 可为内核所识别，但不能识别用户级线程，通过建立用户级线程与 LWP 之间的 连接，可以实现用户级线程与内核的通信. 
+
+ 
+
+第三章 
+1. 什么是临界资源和临界区? a. 一次仅允许一个进程使用的资源成为临界资源. b. 在每个进程中，访问临界资源的那段程序称为临界区.  
+
+2. 为什么进程在进入临界区之前，应先执行"进入区"代码，在退出临界区后又执行"退出区"代码? 为了实现多个进程对临界资源的互斥访问，必须在临界区前面增加一段用于检查欲访问的临界资源是否正 被访问的代码，如果未被访问，该进程便可进入临界区对资源进行访问，并设置正被访问标志，如果正被 访问，则本进程不能进入临界区，实现这一功能的代码成为"进入区"代码；在退出临界区后，必须执行" 退出区"代码，用于恢复未被访问标志.  
+
+第 7 页 共 23 页 
+3. 同步机构应遵循哪些基本准则?为什么? a. 空闲让进. b. 忙则等待. c. 有限等待. d. 让权等待.  
+
+4. 试从物理概念上来说明记录型信号量和 wait 和 signal 操作?(有待讨论).  
+
+5. 你认为整型信号量机制和记录型信号量机制，是否完全遵循了同步机构的四条准则? a. 在整型信号量机制中，未遵循"让权等待"的准则. b. 记录型信号量机制完全遵循了同步机构的"空闲让进,忙则等待,有限等待,让权等待"四条准则.  
+
+6. 在生产者－消费者问题中，如果缺少了 signal(full)或 signal(empty),对执行结果会有何影响? 生产者－消费者问题可描述如下: var mutex,empty,full: semaphore:=1,n,0; buffer: array[0,...,n-1] of item; in,out: integer:=0,0; begin parbegin producer: begin repeat . . produce an item in nextp; . . wait(empty); wait(mutex); buffer(in):=nextp; in:=(in+1) mod n; signal(mutex); /* ************** */ signal(full); /* ************** */ until false; end consumer: begin repeat wait(full); wait(mutex); nextc:=buffer(out); out:=(out+1) mod n; signal(mutex); /* ************** */ signal(empty); /* ************** */ 
+
+第 8 页 共 23 页 
+consume the item in nextc; until false; end parend end 可见，生产者可以不断地往缓冲池送消息，如果缓冲池满，就会覆盖原有数据，造成数据混乱.而消费者 始终因 wait(full)操作将消费进程直接送入进程链表进行等待，无法访问缓冲池,造成无限等待.  
+
+7. 在生产者－消费者问题中，如果将两个 wait 操作即 wait(full)和 wait(mutex)互换位置；或者是将 signal(mutex)与 signal(full)互换位置结果会如何? var mutex,empty,full: semaphore:=1,n,0; buffer: array[0,...,n-1] of item; in,out: integer:=0,0; begin parbegin producer: begin repeat . . produce an item in nextp; . . wait(empty); wait(mutex); buffer(in):=nextp; in:=(in+1) mod n; /* ***************** */ signal(full); signal(mutex); /* ***************** */ until false; end consumer: begin repeat /* **************** */ wait(mutex); wait(full); /* **************** */ nextc:=buffer(out); out:=(out+1) mod n; signal(mutex); signal(empty); consume the item in nextc; until false; end parend 
+
+第 9 页 共 23 页 
+end a. wait(full)和 wait(mutex)互换位置后，因为 mutex 在这儿是全局变量，执行完 wait(mutex)，则 mutex 赋值为0，倘若full也为0，则该生产者进程就会转入进程链表进行等待，而生产者进程会因全局变量mutex 为 0 而进行等待，使 full 始终为 0，这样就形成了死锁. b. 而 signal(mutex)与 signal(full)互换位置后，从逻辑上来说应该是一样的.  
+
+8. 我们为某临界区设置一把锁 W，当 W=1 时，表示关锁；W=0 时，表示锁已打开.试写出开锁原语和关锁 原语，并利用它们去实现互斥. 开锁原语: unlock(W): W=0; 关锁原语: lock(W); if(W==1) do no_op; W=1; 利用开关锁原语实现互斥: var W: semaphore:=0; begin parbegin process :  begin repeat lock(W); critical section unlock(W); remainder section until false; end parend  
+
+9. 试修改下面生产者－消费者问题解法中的错误: producer: begin repeat . . producer an item in nextp; wait(mutex); wait(full); /* 应为 wait(empty),而且还应该在 wait(mutex)的前面 */ buffer(in):=nextp;  /* 缓冲池数组游标应前移: in:=(in+1) mod n; */ signal(mutex); /* signal(full); */ until false; end consumer: 
+
+第 10 页 共 23 页 
+begin repeat wait(mutex); wait(empty); /* 应为 wait(full),而且还应该在 wait(mutex)的前面 */ nextc:=buffer(out); out:=out+1; /* 考虑循环，应改为: out:=(out+1) mod n; */ signal(mutex); /* signal(empty); */ consumer item in nextc; until false; end  
+
+10 试利用记录型信号量写出一个不会出现死锁的哲学家进餐问题的算法. 设初始值为 1 的信号量 c[I]表示 I 号筷子被拿(I=1,2,3,4,...,2n),其中 n 为自然数. send(I): Begin if I mod 2==1 then { P(c[I]); P(c[I-1 mod 5]); Eat; V(c[I-1 mod 5]); V(c[I]); } else { P(c[I-1 mod 5]); P(c[I]); Eat; V(c[I]); V(c[I-1 mod 5]); } End  
+
+11 在测量控制系统中的数据采集任务，把所采集的数据送一单缓冲区；计算任务从该单缓冲中取出数据 进行计算.试写出利用信号量机制实现两者共享单缓冲的同步算法. int mutex=1; int empty=n; int full=0; int in=0; int out=0; main() { cobegin send(); obtain(); 
+
+第 11 页 共 23 页 
+coend } send() { while(1) { . . collect data in nextp; . . wait(empty); wait(mutex); buffer(in)=nextp; in=(in+1) mod n; signal(mutex); signal(full); } }//send obtain() { while(1) { wait(full); wait(mutex); nextc:=buffer(out); out:=(out+1) mod n; signal(mutex); signal(empty); culculate the data in nextc; }//while }//obtain  
+
+12 画图说明管程由哪几部分组成?为什么要引入条件变量? 管程由三部分组成:局部于管程的共享变量说明；对该数据结构进行操作的一组过程；对局部于管程的数 据设置初始值的语句. (图见 P80) 因为调用 wait 原语后，使进程等待的原因有多种，为了区别它们，引入了条件变量.  
+
+13 如何利用管程来解决生产者－消费者问题?(见 P82)  
+
+14 什么是 AND 信号量?试利用 AND 信号量写出生产者－消费者问题的解法. 为解决并行所带来的死锁问题，在 wait 操作中引入 AND 条件，其基本思想是将进程在整个运行过程中所 需要的所有临界资源，一次性地全部分配给进程，用完后一次性释放.解决生产者－消费者问题可描述如 下: var mutex,empty,full: semaphore:=1,n,0; buffer: array[0,...,n-1] of item; 
+
+第 12 页 共 23 页 
+in,out: integer:=0,0; begin parbegin producer: begin repeat . . produce an item in nextp; . . wait(empty);  wait(s1,s2,s3,...,sn); //s1,s2,...,sn 为执行生产者进程除 empty 外其余的条件 wait(mutex); buffer(in):=nextp; in:=(in+1) mod n; signal(mutex); signal(full); signal(s1,s2,s3,...,sn); until false; end consumer: begin repeat wait(full); wait(k1,k2,k3,...,kn); //k1,k2,...,kn 为执行消费者进程除 full 外其余的条件 wait(mutex); nextc:=buffer(out); out:=(out+1) mod n; signal(mutex); signal(empty); signal(k1,k2,k3,...,kn); consume the item in nextc; until false; end parend end  
+
+15 在单处理机环境下，进程间有哪几种通信方式? a. 共享存储器系统通信方式; b. 消息传递系统通信方式; c. 管道通信方式.  
+
+16 试比较进程间的低级通信工具与高级通信工具. 用户用低级通信工具实现进程通信很不方便，因为其效率低，通信对用户不透明，所有的操作都必须由程 序员来实现. 而高级通信工具则可弥补这些缺陷，用户可直接利用操作系统所提供的一组通信命令，高效 地传送大量的数据.  
+
+
+第 13 页 共 23 页 
+17 消息队列通信机制应有哪几方面功能?   略  
+
+18 试比较消息队列与管道通信机制. a. 所谓管道，是指用于连接一个读进程和一个写进程，以实现它们之间通信的共享文件，又称 pipe 文件. 管道通信是属于共享存储器系统的. b. 消息队列通信机制属于消息传递系统通信机制，存在通信链路，有消息的格式，有若干缓冲队列，采 用独特的发送原语和接收原语. (详见 P89－90) 
+
+ 
+
+第四章 
+1. 高级调度与低级调度的主要任务是什么?为什么要引入中级调度? a. 作业调度又称宏观调度或高级调度，其主要任务是按一定的原则对外存上处于后备状态的作业进行选 择，给选中的作业分配内存，输入输出设备等必要的资源，并建立相应的进程，以使该作业的进程获得竞 争处理机的权利. b. 进程调度又称微观调度或低级调度，其主要任务是按照某种策略和方法选取一个处于就绪状态的进程， 将处理机分配给它. c. 为了提高内存利用率和系统吞吐量，引入了中级调度.  
+
+2. 在作业调度中需做出哪两个决定? a. 接纳多少个作业; b. 接纳哪些作业.  
+
+3. 在剥夺调度方式中,有哪些剥夺原则? a. 时间片原则； b. 优先权原则； c. 短作业(进程)优先原则.  
+
+4. 在 OS 中引起进程调度的主要因素有哪些?(有待讨论)  
+
+5. 选择调度方式和调度算法时，应遵循的准则是什么? a. 面向用户的准则有周转时间短，响应时间快，截止时间的保证，以及优先权准则. b. 面向系统的准则有系统吞吐量高，处理机利用率好，各类资源的平衡利用.  
+
+6. 在批处理系统，分时系统和实时系统中，各采用哪几种进程(作业)调度算法?(有待讨论)  
+
+7. 为什么说多级反馈队列能较好地满足各种用户的需要? a. 对于终端型作业用户，由于终端型作业用户所提交的作业，大都属于交互型作业，系统只要能使这些 作业(进程)在第一队列所规定的时间片内完成，便可使终端型作业用户都感到满意. b. 对于短批处理作业用户，很短的批处理型作业如果仅在第一队列中执行一个时间片即可完成，便可获 得与终端型作业一样的相应时间.对于稍长的作业，通常也只需在第二队列和第三队列中各执行个时间片 即可完成，其周转时间仍然很短. c. 对于长批处理作业用户，用户也不必担心其作业长期得不到处理.  
+
+8. 在按时间片轮转调度算法中，在确定时间片的大小时，应考虑哪些因素? 
+
+第 14 页 共 23 页 
+a. 系统对相应时间的要求； b. 就绪队列中进程的数目； c. 系统的处理能力.  
+
+9. 为实现实时调度，对实时系统提出了哪些要求? a. 要提供必要的调度信息； b. 在调度方式上要具体情况具体分析； c. 要具有快速响应外部中断的能力； d. 快速任务分派.  
+
+10 目前常用的调度方式和算法，能否应用到实时系统中? a. 对于时间片轮转调度算法，是一种常用于分时系统的调度算法; b. 对于非抢占式优先权调度算法，可用于要求不太严格的实时控制系统中; c. 对于基于时钟中断抢占的优先权调度算法，有很好的响应效果，可用于大多数的实时系统中; d. 对于立即抢占(Immediate Preemption)的优先权调度，要求操作系统具有快速响应外部时间的能力.  
+
+11 在多处理机系统中，比较有代表性的线程调度方式有哪几种? a. 自调度方式； b. 成组调度； c. 专用处理机分配调度方式.  
+
+12 试比较自调度和成组调度? a. 自调度方式是系统中有一个公共的线程或进程的就绪队列，所有的处理机在空闲时，都可自己从该队 列中取出一个进程或线程运行; b. 成组调度是由系统将一组相关的进程或线程，同时分配到一组处理机上运行，进程或线程与处理机一 一对应; c. 在一般情况下，成组调度的性能优于自调度，因为自调度存在瓶颈，低效，线程切换频繁等问题，而 成组调度可减少线程的切换和调度的开销，因而目前得到了广泛的认可.  
+
+13 在 OS/2 中采用哪种调度方式和调度算法? 在 OS/2 中采用的是抢占式调度方式，多优先级的抢占式调度算法.  
+
+14 何谓死锁?产生死锁的原因和必要条件是什么? a. 死锁是指多个进程因竞争资源而造成的一种僵局，若无外力作用，这些进程都将永远不能再向前推进; b. 产生死锁的原因有二，一是竞争资源，二是进程推进顺序非法； c. 必要条件是: 互斥条件，请求和保持条件，不剥夺条件和环路等待条件.  
+
+15 在解决死锁问题的几个方法中，哪种方法最容易实现?哪种方法使资源的利用率最高? a. 解决死锁可归纳为四种方法: 预防死锁，避免死锁，检测死锁和解除死锁； b. 其中，预防死锁是最容易实现的；c. 避免死锁使资源的利用率最高.  
+
+16 请详细说明可通过哪些途径预防死锁? a. 摈弃"请求和保持"条件,就是如果系统有足够的资源，便一次性地把进程所需的所有资源分配给它； b. 摈弃"不剥夺"条件，就是已经保持了资源的进程，当它提出新的资源请求而不能立即得到满足时，必 须释放它已经保持的所有资源，待以后需要时再重新申请； c. 摈弃"环路等待"条件，就是将所有资源按类型排序标号，所有进程对资源的请求必须严格按序号递增
+
+第 15 页 共 23 页 
+的次序提出.  
+
+17 在银行家算法的例子中，如果 P0 发出的请求向量由 Request0(0,2,0)改为 Request0(0,1,0),问系统可 否将资源分配给它? 可以. 首先，Request0(0,1,0)<=Need0(7,4,3), Request0(0,1,0)<=Available(2,3,0);分配后可修改得一资源 数据表(表略),进行安全性检查，可以找到一个安全序列{P1,P4,P3,P2,P0},或{P1,P4,P3,P0,P2},因此， 系统是安全的，可以立即将资源分配给 P0. 
+
+ 
+
+第五章 
+1. 可采用哪几种方式将程序装入内存?它们分别适用于何种场合? a. 首先由编译程序将用户源代码编译成若干目标模块，再由链接程序将编译后形成的目标模块和所需的库函数链接在一起，组成一个装入模块，再由装入程序将装入模块装入内存； b. 装入模块的方式有: 绝对装入方式，可重定位方式和动态运行时装入方式； c. 绝对装入方式适用于单道程序环境下； d. 可重定位方式适用于多道程序环境下； e. 动态运行时装入方式也适用于多道程序环境下.  
+
+2. 何谓静态链接及装入时动态链接和运行时的动态链接? a. 静态链接是指事先进行链接形成一个完整的装入模块，以后不再拆开的链接方---式； b. 装入时动态链接是指目标模块在装入内存时，边装入边链接的链接方式； c. 运行时的动态链接是将某些目标模块的链接推迟到执行时才进行.  
+
+3. 在进行程序链接时，应完成哪些工作? a. 对相对地址进行修改； b. 变换外部调用符号.  
+
+4. 在动态分区分配方式中，可利用哪些分区分配算法? a. 首次适应算法； b. 循环首次适应算法； c. 最佳适应算法.  
+
+5. 在动态分区分配方式中，应如何将各空闲分区链接成空闲分区链? 应在每个分区的起始地址部分，设置一些用于控制分区分配的信息，以及用于链接各分区的前向指针；在 分区尾部则设置一后向指针，通过前，后向指针将所有的分区链接成一个双向链.  
+
+6. 为什么要引入动态重定位?如何实现? a. 为了在程序执行过程中，每当访问指令或数据时，将要访问的程序或数据的逻辑地址转换成物理地址， 引入了动态重定位. b. 可在系统中增加一个重定位寄存器，用它来装入(存放)程序在内存中的起始地址，程序在执行时，真正访问的内存地址是相对地址与重定位寄存器中的地址相加而形成的,从而实现动态重定位.  
+
+7. 试用类 Pascal 语言来描述首次适应算法进行内存分配的过程. 
+
+第 16 页 共 23 页 
+(略)  
+
+8. 在采用首次适应算法回收内存时，可能出现哪几种情况?应怎样处理这些情况? a. 回收区与插入点的前一个分区相邻接，此时可将回收区与插入点的前一分区合并，不再为回收分区分 配新表项，而只修改前邻接分区的大小； b. 回收分区与插入点的后一分区相邻接，此时合并两区，然后用回收区的首址作为新空闲区的首址，大小为两者之和； c. 回收区同时与插入点的前后两个分区邻接，此时将三个分区合并，使用前邻接分区的首址，大小为三 区之和，取消后邻接分区的表项； d. 回收区没有邻接空闲分区，则应为回收区单独建立一个新表项，填写回收区的首址和大小，并根据其 首址，插入到空闲链中的适当位置.  
+
+9. 在系统中引入对换后带有哪些好处? 能将内存中暂时不运行的进程或暂时不用的程序和数据，换到外存上，以腾出足够的内存空间，把已具备 运行条件的进程或进程所需的程序和数据换入内存，从而大大地提高了内存的利用率.  
+
+10 为实现对换，系统应具备哪几方面功能? a. 对对换空间的管理； b. 进程的换出； c. 进程的换入.  
+
+11 在以进程为单位进行对换时，每次是否都将整个进程换出?为什么? a. 以进程为单位进行对换时，每次都将整个进程换出； b. 目的为了解决内存紧张的问题，提高内存的利用率.  
+
+12 为实现分页存储管理，需要哪些硬件支持?你认为以 Intel 8086,MC68000, Intel 80286 为芯片的微机，是否适合于实现分页管理?(有待讨论)  
+
+13 请较详细地说明，引入分页存储管理(估计印错了，是分段存储管理)是为了满足用户哪几方面的需要? a. 方便了编程； b. 实现了分段共享； c. 实现了分段保护； d. 实现了动态链接； e. 实现了动态增长.  
+
+14 在具有快表的段页式存储管理方式中，如何实现地址变换? 首先，必须配置一段表寄存器，在其中存放段表始址和段长 TL. 进行地址变换时，先利用段号 S，与段长 TL 进行比较，若 S<TL，表示未越界，(若 S>=TL,表示段号太大，访问越界，产生越界中断信号)于是利用 段表始址和段号来求出该段对应的段表项在段表中的位置，从中求出该段的页表始址，并利用逻辑地址中 的段内页号 P 来获得对应页的页表项位置，从中读出该页所在的物理块号 b，再用块号 b 和页内地址构成 物理地址.  
+
+15 为什么说分段系统较之分页系统更易于实现信息共享和保护? a. 对于分页系统，每个页面是分散存储的，为了实现信息共享和保护，则页面之间需要一一对应起来， 为此需要建立大量的页表项； b. 而对于分段系统，每个段都从 0 开始编址，并采用一段连续的地址空间，这样在实现共享和保护时，
+
+第 17 页 共 23 页 
+只需为所要共享和保护的程序设置一个段表项，将其中的基址与内存地址一一对应起来即可.  
+
+16 分页和分段有何区别? a. 分页和分段都采用离散分配的方式，且都要通过地址映射机构来实现地址变换，这是它们的共同点； b. 对于它们的不同点有三，第一，从功能上看，页是信息的物理单位，分页是为实现离散分配方式，以 消减内存的外零头，提高内存的利用率，即满足系统管理的需要，而不是用户的需要；而段是信息的逻辑 单位，它含有一组其意义相对完整的信息，目的是为了能更好地满足用户的需要； c. 页的大小固定且由系统确定，而段的长度却不固定，决定于用户所编写的程序； d. 分页的作业地址空间是一维的，而分段的作业地址空间是二维的.  
+
+17 试全面比较连续分配和离散分配方式. a. 连续分配是指为一个用户程序分配一个连续的地址空间，包括单一连续分配方式和分区式分配方式， 前者将内存分为系统区和用户区，系统区供操作系统使用，用户区供用户使用，是最简单的一种存储方式， 但只能用于单用户单任务的操作系统中；分区式分配方式分为固定分区和动态分区，固定分区是最简单的 多道程序的存储管理方式，由于每个分区的大小固定，必然会造成存储空间的浪费；动态分区是根据进程 的实际需要，动态地为之分配连续的内存空间，常用三种分配算法: 首次适应算法 FF，该法容易留下许多 难以利用的小空闲分区，加大查找开销；循环首次适应算法，该算法能使内存中的空闲分区分布均匀，但 会致使缺少大的空闲分区；最佳适应算法，该算法也易留下许多难以利用的小空闲区； b. 离散分配方式基于将一个进程直接分散地分配到许多不相邻的分区中的思想，分为分页式存储管理， 分段存储管理和段页式存储管理. 分页式存储管理旨在提高内存利用率，满足系统管理的需要，分段式存 储管理则旨在满足用户(程序员)的需要，在实现共享和保护方面优于分页式存储管理，而段页式存储管理 则是将两者结合起来，取长补短，即具有分段系统便于实现，可共享，易于保护，可动态链接等优点，又 能像分页系统那样很好的解决外部碎片的问题，以及为各个分段可离散分配内存等问题，显然是一种比较 有效的存储管理方式； c. 综上可见，连续分配方式和离散分配方式各有各自的特点，应根据实际情况加以改进和利用. 
+
+ 
+
+第六章 
+1. 在请求分页系统中，其页表项中包含那些数据项? 它们的作用是什么? a. 在请求分页系统中，其页表项中包含的数据项有页号，物理块号，状态位 P，访问字段 A，修改位 M 和 ---外存地址； b. 其中状态位 P 指示该页是否调入内存，供程序访问时参考； c. 访问字段 A 用于记录本页在一段时间内被访问的次数，或最近已有多长时间未被访问，提供给置换算 法选择换出页面时参考； d. 修改位 M 表示该页在调入内存后是否被修改过； e. 外存地址用于指出该页在外存上的地址，通常是物理块号，供调入该页时使用.  
+
+2. 一个计算机系统的虚拟存储器，其最大容量和实际容量分别由什么决定? a. 最大容量由内存和外存之和决定； b. 实际容量由内存决定.  
+
+3. 虚拟存贮器有那些特征? 其中最本质的特征是什么? a. 虚拟存储器具有离散性，多次性，对换性和虚拟性的特征； b. 其中最本质的特征是离散性，在此基础上又形成了多次性和对换性，所表现出来的最重要的特征是虚
+
+第 18 页 共 23 页 
+拟性.  
+
+4. 实现虚拟存储器要那些硬件支持? a. 对于为实现请求分页存储管理方式的系统，除了需要一台具有一定容量的内存及外存的计算机外，还 需要有页表机制，缺页中断机构以及地址变换机构； b. 对于为实现请求分段存储管理方式的系统，除了需要一台具有一定容量的内存及外存的计算机外，还 需要有段表机制，缺段中断机构以及地址变换机构；  
+
+5. 在实现虚拟存储器时的几个关键技术是什么? (有待讨论)  
+
+6. 在请求分页系统中，页表应包括那些数据项?每项的作用是什么? (同第一题)  
+
+7. 在请求分页系统中，应从何处将所需页面调入内存? a. 在进行地址变换时，首先去检索快表，试图从中找出所要访问的页，若找到，便修改页表项中的访问 位，对于写指令，还须将修改位置 1，然后利用页表项中给出的物理块号和页内地址，形成物理地址； b. 如果在快表中未找到该页的页表项，则应再到内存中去查找页表，再从找到的页表项中的状态位来了 解该页是否已调入内存，如果该页已调入内存，应将此页的页表项写入快表，当快表已满时，应先调出按 某种算法所确定的页的页表项，然后再写入该页的页表项； c. 如果该页尚未调入内存，这时便应产生缺页中断，请求 OS 从外存中把该页调入内存; d. 外存分为文件区和对换区，若系统有足够的对换区空间，可在进程运行前，将与该进程有关的文件拷 贝到对换区，需要时从对换区调入； e. 若系统缺少足够的对换区空间，则凡是不会被修改的文件，可直接从文件区调入，需换出时可不必写 入外存，但对于可能被修改的部分，在将它们换出时，便须调到对换区，以后需要时再从对换区调入.  
+
+8. 在请求分页系统中，常采用哪几种页面置换算法? a. 最佳置换算法； b. 先进先出算法； c. 最近最久未使用 LRU 置换算法； d. Clock 置换算法; e. 此外，还有最少使用置换算法和页面缓冲算法.  
+
+9. 某虚拟存储器的用户空间共有 32 个页面，每页 1KB，主存 16KB. 假定某时刻为用户的第 0，1，2，3 页分别分配的物理块号为 5，10，4，7，试将虚拟地址 0A5C 和 093C 变换为物理地址. a. 将 0A5C 变换为 2 进制为: 0000,1010,0101,1100,由于页面大小为 1KB 约为 2 的 10 次方，所以 0A5C 的 页号为 2，对应的物理块号为:4,所以虚拟地址 0A5C 的物理地址为 125C; b. 将 093C 变换为 2 进制为: 0000,1001,0011,1100，页号也为 2，对应的物理块号也为 4，此时虚拟地址 093C 的物理地址为 113C.  
+
+10 在请求分页系统中，通常采用那种页面分配方式?为什么? a. 在请求分页系统中，有固定和可变分配两种分配方式； b. 采用固定分配方式是基于进程的类型(交互型)或根据程序员，系统管理员的建议，为每个进程分配一 固定页数的内存空间，在整个运行期间不再改变； c. 采用可变分配方式有全局置换和局部置换两种，前者易于实现，后者效率高.  
+
+
+第 19 页 共 23 页 
+11 在一个请求分页系统中，采用 LRU 页面置换算法时，假如一个作业的页面走向为 4，3，2，1，4，3， 5，4，3，2，1，5，当分配给该作业的物理块数 M 分别为 3 和 4 时，试计算访问过程中所发生的缺页次数 和缺页率?比较所得结果? a. 当分配给该作业的物理块数 M 为 3 时，所发生的缺页率为 7，缺页率为: 7/12=0.583； b. 当分配给该作业的物理块数 M 为 4 时，所发生的缺页率为 4，缺页率为: 4/12=0.333.  
+
+12 在置换算法中，LRU 和 LFU 哪个更常用?为什么? a. LRU 与 LFU 置换算法的页面的访问图完全相同，即使用的硬件是相同的； b. 但是 LFU 并不能真正访问反映出页面的使用情况.  
+
+13 实现 LRU 算法所需的硬件支持是什么? a. 寄存器，用于记录某进程在内存中各页的使用情况； b. 栈，用于保存当前使用的各个页面的页面号.  
+
+14 试说明改进型 Clock 置换算法的基本原理. a. 因为对于修改过的页面在换出时所付出的开销将比未被修改过的页面的开销大，所以在改进型 Clock 算法中，出了须考虑到页面的使用情况外，还须再增加一个置换代价这一因素； b. 在选择页面作为淘汰页面时，把同时满足未使用过和未被修改作为首选淘汰页面.  
+
+15 什么是抖动? 产生抖动的原因是什么? a. 抖动(Thrashing)就是指当内存中已无空闲空间而又发生缺页中断时，需要从内存中调出一页程序或数 据送磁盘的对换区中，如果算法不适当，刚被换出的页很快被访问，需重新调入，因此需再选一页调出， 而此时被换出的页很快又要被访问，因而又需将它调入，如此频繁更换页面，以致花费大量的时间，我们 称这种现象为"抖动"; b. 产生抖动的原因是由于 CPU 的利用率和多道程序度的对立统一矛盾关系引起的，为了提高 CPU 利用率， 可提高多道程序度，但单纯提高多道程序度又会造成缺页率的急剧上升，导致 CPU 的利用率下降，而系统 的调度程序又会为了提高 CPU 利用率而继续提高多道程序度，形成恶性循环，我们称这时的进程是处于" 抖动"状态.  
+
+16 试说明请求分段系统中的缺页中断处理过程? (见 P185 图 6-12)  
+
+17 如何实现分段共享? a. 可在每个进程的段表中，用相应的表项来指向共享段在内存中起始地址； b. 配置相应的数据结构作为共享段表，可在段表项中设置共享进程计数 Count，每调用一次该共享段， Count 指增 1，每当一个进程释放一个共享段时，Count 执行减 1 操作，若减为 0，则由系统回收该共享段 的物理内存，以及取消在共享段表中该段所对应的表项； c. 对于一个共享段，应给不同的进程以不同的存取权限； d. 不同的进程可以使用不同的段号去共享该段.  
+
+18 Intel 80386 芯片可支持哪几种方式的存储管理? a. 不分段也不分页的存储管理方式； b. 分页不分段的存储管理方式； c. 分段不分页的存储管理方式； d. 分段分页存储管理方式.  
+
+
+第 20 页 共 23 页 
+19 试说明 80386 的分段地址变换机构的工作原理. a. 采用段寄存器和虚地址结构； b. 在分段部件中，地址变换是将逻辑地址变换为线性地址，然后送分页部件中.(具体见 P191)  
+
+20 试说明 80386 的两级分页地址变换机构的原理. (见 P193)  
+
+21 可通过哪些途径来提高内存利用率? (有待讨论,该题可以看成是对本章的本质内容的全面概括和总结) 
+
+ 
+
+第十三章 
+1. UNIX 系统有哪些基本特征？ a. 开放性； b. 多用户，多任务环境； c. 功能强大，实现高效； d. 提供了丰富的网络功能.  
+
+2. UNIX 系统核心分成哪两大部分？各包含哪些功能？ a. UNIX 系统核心分为进程控制子系统部分和文件子系统部分； b. 进程控制子系统包含进程控制，进程通信，存贮器管理和进程调度功能；文件子系统包含文件管理， 高速缓冲机制和设备驱动程序的功能.  
+
+3. UNIX 系统中的 PCB 含哪几部分？并用图来说明它们之间的关系.  a. UNIX 系统中的 PCB 含四部分:进程表项，U 区，进程区表和系统区表项； b. 图见 P396.  
+
+4. 进程映象含哪几部分？其中系统级上下文的动态部分的作用是什么？ a. 进程映象(Process Image)包含三部分：用户级上下文，寄存器上下文和系统级上下文； b. 系统级上下文的动态部分包含核心栈和若干层寄存器上下文，它的作用是当因中断或系统调用而进入 核心态时，核心把一个寄存器上下文压入核心栈，退出系统调用时，核心又将弹出一个寄存器上下文，在 进行上下文切换时，核心将压入老进程的上下文层，而弹出新进程的上下文层.  
+
+5. 在 UNIX 系统中，用于进程控制的系统调用有哪些(主要的)？它们的主要功能是什么？ a. fork，用于创建一个新进程； b. exec，改变进程的原有代码； c. exit，实现进程的自我终止； d. wait，将调用进程挂起，等待子进程终止； e. getpid，获取进程标志符； f. nice，改变进程的优先级.  
+
+6. 为创建一个新进程，需做哪些工作？ a. 为新进程分配一进程表项和进程标志符； b. 检查同时运行的进程数目； 
+
+第 21 页 共 23 页 
+c. 拷贝进程表项中的数据； d. 子进程继承父进程的所有文件； e. 为子进程创建进程上下文； f. 子进程执行.  
+
+7. 为何要采取进程自我终止方式？如何实现 exit？ a. 为了及时回收进程所占用的资源，并减少父进程的干预，UNIX 系统利用 exit 来实现进程的自我终止；
+ b. 实现 exit，核心应该做的工作是：    关闭软中断；    回收资源；    写记帐信息；    置进程为"僵死状态".  
+
+8. UNIX 系统采用什么样的进程调度算法？其优先级是如何计算的？ a. UNIX 系统采用的是多级反馈队列轮转调度算法； b. 每隔 1 秒，核心按如下公式重新计算用户优先数：优先数=(最近使用 CPU 的时间/2)+基本用户优先数.  
+
+9. 试说明信号与中断两种机制间的异同处？ a. 相似处：    信号和中断都采用了相同的异步通信方式；    当检测出有信号或中断请求时，都是暂停正在执行的程序而转去执行相应的处理程序；    两者都是在处理完毕后返回到原来的断点；    对信号或中断都可进行屏蔽； b. 差异处：    中断有优先级，而信号没有优先级，即所有信号都是平等的；    信号处理程序是在用户态下运行的，而中断处理程序则是在核心态下运行的；    中断响应是及时的，而信号响应通常都有较大的时间延迟.  
+
+10 扼要说明信号机制中信号的发送和对信号的处理功能？ a. 信号的发送是指由发送进程把信号送到指定进程的信号域的某一位上； b. 对于对信号的处理功能： 首先， ---利用系统调用 signal(sig,func)预置对信号的处理方式，func=1 时，该类信号被屏蔽； ---func=0 时，进程收到信号后终止自己； ---func 为非 0，非 1 类整数时，func 的值即作为信号处理程序的指针. 然后， ---如果进程收到的软中断是一个已决定要忽略的信号(func=1)，进程不作任何处理返回； ---进程收到软中断后便退出(func=0)； ---执行用于设置的软中断处理程序.  
+
+11 什么是管道？无名管道和有名管道的主要差别是什么？ a. 管道是指能够连接一个写进程和一个读进程的，并允许它们以生产者-消费者方式进行通信的一个共享 文件，又称为 pipe 文件； b. 无名管道是一个临时文件，是利用系统调用 pipe()建立起来的无名文件，没有路径名，只有调用 pipe 的进程及其子孙进程才能识别此文件描述符而利用该文件(管道)进行通信；有名管道是利用 mknod 系统调 用建立的，是可以在文件系统中长期存在的，既有路径名的文件，其它进程可以知道其存在，并利用该路
+
+第 22 页 共 23 页 
+径名来访问该文件.  
+
+12 读，写管道时应遵循哪些规则？ a. 对 pipe 文件大小的限制； b. 进程互斥； c. 进程写管道时，检查是否有足够的空间存放要写的数据，若有，则写入，若无，则由核心对该索引结 点做出标志，然后让写进程睡眠等待，直到读进程读走数据后，再将写等待进程唤醒； d. 进程读管道时，检查是否有足够的要读的数据，若有，则进程从读指针的初始值处去读数据，每读出 一块后，便增加地址项的大小，读结束后由核心修改索引结点中的读指针，并唤醒所有等待的写进程,若 无，则在读完后，进程暂时进入睡眠等待，直到写进程又将数据写入管道后，再将读进程唤醒.  
+
+13 在消息机制中，有哪些系统调用？并说明它们的用途. 在 UNIX 中，消息机制向用户提供了四个系统调用： a. msgget()，用来建立一消息队列，或者获取一消息队列的描述符； b. msgsnd()，用于向指定的消息队列发送一个消息，并将该消息链接到该消息队列的尾部； c. msgrcv()，用于从指定的消息队列中接收指定类型的消息； d. msgctl()，用来读取消息队列的状态信息并进行修改.  
+
+14 在共享存储区机制中，有哪些系统调用？并扼要说明它们的用途. a. shmget()，建立一共享存储区； b. shmat()，将共享存储区附接到进程的虚地址空间上； c. shmdt()，把共享存储区与新进程断开； d. shmct()，对共享存储区的状态信息进行读取和修改，也可以断开进程与共享存储区的连接.  
+
+15 核心在执行 shmget 系统调用时，需完成哪些工作？ a. 首先检查共享存储区表，若找到指定 key 的表项，表明该共享区已经建立，此时返回该表项的描述符 shmid； b. 若未找到指定的 key 表项，而 flag 标志又为 IPC_CREAT，且参数 size 值在系统限制值内，则分配一系 统空闲区作为共享区的页表区，分配响应的内存块，再将这些块号填入页表中； c. 核心在共享存储区和系统区表中，为新建立的共享区分配一空表项，并在共享存储区表填上存储区的 关键字及其大小，共享区页表的始址，指向系统区表项的指针等，最后返回共享存储区的描述符---shmid.  
+
+16 在信号量集机制中，有哪些系统调用？并说明它们的用途.  a. semget()，建立信号量集； b. semop()，对信号量进行操作.  
+
+17 核心是如何对信号量进行操纵的？ a. 核心根据 sem_op 来改变信号量的值，可分为 3 种情况； b. sem_op 的值为正，则将其值加到信号量的值上，它相当于通常的 V 操作； c. sem_op 的值为负，相当于 P 操作，若信号量的值大于操作值的绝对值，则核心将一个负整数加到信号 量值上，否则，核心将已经操作了的信号量，恢复到系统调用开始时的值； d. 若(sem_flg&IPC_NOWAIT)为真，便立即返回，否则，让进程睡眠等待.  
+
+18 为实现请求调页管理，在 UNIX 系统中，配置了哪些数据结构？ a. 页表； b. 磁盘块描述表； 
+
+第 23 页 共 23 页 
+c. 页框数据表； d. 对换使用表.  
+
+19 在 UNIX 系统中，如何改变有效页的年龄？并用实例说明之. a. 一个页可计数的最大年龄，取决于它的硬件设施； b. 对于只设置两位作为年龄域时，其有效页的年龄只能取值为 0，1，2，3，当该页的年龄为 0，1，2 时， 该页处于不可换出状态，而当其年龄达到 3 时，则可为换出状态，每当内存中的空闲页面数低于某规定的 低限时，核心便唤醒换页进程，又换页进程取检查内存中的每一个活动的，非上锁的区，对所有有效区的 年龄字段加 1，对于那些年龄已增至 3 的页便不再加 1，而是将它们换出，如果这种页已被进程访问过， 便将年龄域中的年龄降为 0.  
+
+20 当需访问的缺页是在可执行文件上或在对换设备上时，应如何将它调入内存？ 核心先为缺页分配一内存页，修改该页表项，使之指向内存页，并将页面数据表项放入相应的散列队列 中，然后把该页从对换设备上调入内存，当 I/O 操作完成时，核心把请求调入该页的进程唤醒.  
+
+21 在将一页换出时，可分为哪几种情况？应如何处理这些情况？ a. 若在对换设备上已有被换出页的拷贝，且被换出页的内容未被修改，则此时核心不必将该页重写回对 换设备上，而只需将该页的页表项中的有效位清零，并将页框数据表项中的引用计数减 1，最后将该页表 项放入空闲页链表中； b. 若在对换设备上没有被换出的拷贝，则换出进程应将该页写到对换设备上，可采用页面链集中写入； c. 在对换设备上已有换出页的副本，但该页内容已被修改过，此时核心将该页在对换设备上的原有空间 释放，再重新将该页拷贝到对换设备上，使在对换设备上的拷贝内容总是最新的. 
\ No newline at end of file