From 919169d3aed25a75f39753eacc9d8f98cf154342 Mon Sep 17 00:00:00 2001 From: Zhiyuan Shao Date: Fri, 30 Jul 2021 17:08:35 +0800 Subject: [PATCH] d --- chapter2_installation.md | 35 +++++++++++++++++++++++++++ pictures/experiment_organization.png | Bin 14826 -> 21355 bytes 2 files changed, 35 insertions(+) diff --git a/chapter2_installation.md b/chapter2_installation.md index adecffa..7f56936 100644 --- a/chapter2_installation.md +++ b/chapter2_installation.md @@ -275,9 +275,44 @@ System is shutting down with exit code -1. ## 2.3 PKE实验的组成 +对于《操作系统原理》课堂来说,PKE实验由3组基础实验以及基础试验后的挑战实验组成(见图1.2): + +- **对于基础实验而言**,第一组基础实验重点涉及系统调用、异常和外部中断的知识;第二组基础实验重点涉及主存管理方面的知识;第三组实验重点涉及进程管理方面的知识。基础实验部分实验指导文档较为详细,学生(读者)需要填写的代码量很小,可以看作是“阅读理解+填空”题,涉及的知识也非常基础。 +- **对于挑战实验而言**,每一组实验的挑战实验都可以理解为在该组实验上的挑战性内容,只给出题目(应用程序)和预期的效果(需要做到的目标)。这一部分实验指导文档只给出大的方向,需要学生(读者)查阅和理解较多课外内容,为实现预期的效果需要填写的代码量也较大,可以看作是“作文题”。 + +如图1.2所示,**基础实验部分存在继承性**,即学生(读者)需要按照实线箭头的顺序依次完成实验,是不可跳跃的!这是因为PKE的实验设计,后一个实验依赖前一个实验的答案,在开始后一个实验前需要先将之前的答案继承下来(通过git commit/git merge命令)。 + +**而挑战部分的实验只依赖于每组实验的最后一个实验**,例如,如果学生(读者)完成了实验1的3个基础试验后,就可以开始做实验1的挑战实验了,不需要等到完成所有基础实验再开始。 + experiment_organization +图1.2 PKE实验的组织结构 + +**PKE实验即可用于自学目的,也可以用于教学目的**。对于自学的读者,可以完全按照[PKE文档](https://gitee.com/hustos/pke-doc),以及在gitee的代码仓库中所获得的代码进行;出于教学目的,所有的PKE实验,我们都在[头歌平台](https://www.educoder.net/)进行了部署,实验结果的检测全部在头歌平台上进行,实验完成后头歌平台会生成实验情况的简报。教师可以根据简报,对学生的实验完成情况给出具体的分数。我们的设置是:对于基础实验,完成后头歌平台会给出20points,对于挑战实验,若完成头歌平台会给出30points。 + + + +考虑到《操作系统原理》课堂的实验安排,很多学校(例如华中科技大学计算机学院)是将实验分成了两部分:课内实验和课程设计。如果采纳PKE实验,根据学生的水平,我们给出两个方案: + +**方案一(学生其他课程负担较重,或不希望实验太难的情况):** + +- 课内实验包括所有的基础实验; +- 课程设计学生可在每组实验中,选择(学生自选)一个挑战实验。 + +这种情况,对于课内实验我们的建议是:20points=30分,每组实验总分90分;3组实验取平均分(总分仍然是90)后,总分加上实验报告的10分,等于课内实验的总分数;对于课程设计我们的建议是:30points=30分,3个挑战实验总分求和(总分90),最后加上实验报告的10分,等于课程设计的总分数。 + + + +**方案二(学生平均能力较强,且希望实验分数有区分度的情况):** + +- 课内实验包括所有的基础实验,外加基础实验的1个(学生自选)挑战实验; +- 课程设计学生可在每组实验中,选择之前未完成的一个挑战实验。 + +这种情况,对于课内实验我们的建议是:20points=20分,外加一个挑战实验,每组实验总分是3*20+30=90分;3组实验取平均分(总分仍然是90)后,总分加上实验报告的10分,等于课内实验的总分数;对于课程设计我们的建议是:30points=30分,3个挑战实验总分求和(总分90),最后加上实验报告的10分,等于课程设计的总分数。 + + + diff --git a/pictures/experiment_organization.png b/pictures/experiment_organization.png index 4badea3ad57c36e0cf7e74d4dab7dccaed93e12a..fbc179b485ae73ce6578e54708dc4852bb46458f 100644 GIT binary patch literal 21355 zcmdqJ1yGzzv@S{rB*ER?-Q8ty4emC$>p%hl5(w@PAh^4`LlOoL?jGFT0t9k@viI3% z-*;}+saN;idi5Sv)Xe-n-MxCPmT!G)^@P1vkwrlyM1+BXL6Mh}Qip+g4hIACEcg{H z@I=9HTorhE=B_R)2~#;jya#-MvzAbnfPtxrLHcC|4}3;&k<)XBfgzZA`hSK$K6nHJ zqX8o?C87Do_$Y&=oLJtg3#IB2fjyixA}1#Yf@5lfIlw$rtDYa0lQSPL7wjcYt;nX= z>@p9Ls~=P74|?(3_>BZM0i3SdmwU0I($==l);sf7AMe&I*@Y_)-}E~{t*e9m%$Ctd z*u|~0vokc9_iFEcKQ6P-z!<#bsMpKP%ye>cT7iK<-q{*TK3VPZDns}(BZ2IgB=-Au zl+C!^1rG)W^z&-g#Q*Wu+Ur?01RazH&jAOMCxQI6QXJV47m5xO`GNzk4Hjq(9R$Np z2t_|cgpOHBAV2$JgAS@@`hUBE!P?pz{>-JFmGtP4Zjb?Mm~f-a^^di=)DGRs4G(Xd ztvAhWLc+}-xz1hi$4fc{GK3cwXbQVXQ77uTkPn`aC+#^kD-yE<#9EM@}m%YPk%OX zfWg{BI_R}h${N3*$c<_0_}t7m7v6%_Ev6PN&wK%k{Br&W_282FVrluqZ#&Qb(WrqW zPjHtQp+Lf_F3Q(VCcF=sC0;wEyA$?kC!m zDOV!p_etJHwPDae>SuChH7FJdYt|}X#+DdMS?i#Hh!Q8c%!)qhG=}^_vogF|4QCHb zuBKF|hWkfFse!;e`u+2)+vt0Y)7JEJhH)YlgU@42Nro7X^H(Z%CYF0$HCE9uO1-bKdjPG046y(BKC8iJZ!H=J6h%DJ`AGbuVC(Nhxa`+D9wY_S^V&C_!hC z3#a%VKfve%{sMDoj=;~27%?Yj=aZ9@luX z%#=sIKpX??8}jy^KgbF#ZMu>vx!6#BU)d~v)oMfWj}p0GQU+gI##xVAB}x_LVLfY6 zeytUNfYe#LnS&5uc&1|HTt85FkRXC<7f^4P+EQbt>ZW97WX;=%qEcQ$-d0!jl1!6b zq!@GJa(k*=Pn}5NnwQE>*hHO?2G1lO=mmcq34I9GBT9r$WUFw|ttxICid&WKZFs?LtG?M{Edjyvpd4wA1?T-K!-End8ZY zs$$M?Cw$3mn4xeV=VUJ=A7)wW#2>W4r4GxIG)dQ%pUM_F5oL5E*k2|P|Br29j93cX z&)Gm7&r-9})!o6r5Sd`3OfKXnk@eYeMn2$rSTEO2aA;Idk6Wfa%0N|msk1`p&4{1o z(dmRxvt7}JuAC#GP>yRwxz|VnyEd{GbbK2|7K!J>RfzV2dhs$TqO1Df7O*7Xpk6oC z3Eg!?q&E|kp9)R3VM_`%wO5fWmn&}46oFS)TfYqZWuCX(qM@Opbh{*d$TzNK=9xEx z*hElKv&CD*ouWZ|5%ck7ufeV$?zy)#6E^h>%p{5cwK=`a`k_2*gyxD|qCtmiK?=}@a+ z9KW@2(f<$4Jma{0xW6&+>=k?55F;E;*jaA#iiwG-^y8df*&9eK47F zH1E`Up0i+%0xAAT#Dfj>{={p9K}oBwFdInXyE*fj2N%swOI1)GE=~s}WL6H8N|{}Z z!0r6n&0#4wr*o-TPLOLPbI-A$)Q!Z^UujXh0HK_SRzl*;&9RMV_OcaqsFdRGlVL3b zShZ9)BeCoskll9eX|FtWj{@(U>lIr!NWv65X|`C=WSu~G) zL0Y1tK-;JM>#7Y+lOG*(U0sqYS*lL4J!9RpicvBHS^ESFgd`sp#XA_h+EO`U@Aej@ zVw!86vNV;FW}9U`IgKiRsWk@K^_u!aft?QRLfz}86~mu|+UF_U5{QbX>cSM^nP~qU zlEWX^f~^uIaF^wWCvm-&$vJLCjEkG5>|%I+5>?csH7u~!=vP~%MH;8%rXPlc|1z#j z3_Acbex`P+GWHhU?k8}j!{Lfs%cNyhGWvP6&MBCCmWYb#`d3a`L>!peW*ls;_z7syy4PH@+q`eKK_ z9Yj!}8xhBQaLcUjRrWls!e8!+5%G!u6oKz5!U|R{Wfoz5FvAQgXwy8dt2&6(^Ig=> zV$n`fK5nizoD=@new441948ULi2R^I=vYsRGM!d=So2kzS%+|kR|91X9gE3>1gYe1 zyerqq&!Z+u3}S|B5Z-n=sb_iSYP?)J_N&~CVUO~;IQ7W$e@tA7@xbYM;dU;!Pa=d4>b<5|k}C7neeRRq zRxE>bU+zr>3#ay+`EyqVBaA&5rK{6;CBf9W?qcPrC6cNVHq0Wlv zo;xres;A1OPwg&oJg1gm)lm2u_8)s5;hs$8NUlmEppx1x$uPG)@DGqvZV^}HFy@7P z7@yYA29R7(IFB!Y`V>r1eaBE>(rnhd?0f zWrd^nF+x(ZqaF`AcG$jjtYw{#U_qJ1+Tez|2q!r35hdko@+ zS%U5enV#_$ToE~Fm=q(^S!&rLBWq$-LPsuhCB)8#9Pg;nJ+f!UOrr z#BI}MO6)Y-G`hj9w%rIpnY$zm(+IUMHDU^JCTM+f9EWw3E!7i@?gaMuAV{;qaX#^L zL8CAKb6O@21Jyr1ENRYe`n^%~dCNm$il+8IhsHE56}GEM`1)diHEH@E>eaCfy)iXU}V3 zQ=Rfc6$~rcfN@ke07)^nrqf?tk*T})%TwI9ag?qKQE2o4Al5zSzOJ18^ra(cuJp8& zw9)F9)E1m&2toTt9JK(Ne;upuz^IG>N3lFZs{c!@xrS*J^{u6URJn&thFr;jdiH~CK)e> zEnfGM*2m%n73?oxu9ZT2B%>McjEr5@imJ=j!07Wj#?@S_sr5AdxddX3<;vWKxcJgI z53lQ^^+3eJms*mPw}|`Y)1CX+C(>5dOI$QG)kzQbEd${uNRHs6-}cM)*md%O0$9ngr5HkZp$I- z6^hc7@(wEyYc)r$n3294h~7P_tR3PrsOr|ivx#zm5$@8^S{3ywq%zJ9Ty`gOpqE*(mnCJ zVkJ5mA@xkI;yPf6RX{9a-6SJATFJwRVDbD&+9w&`#Th##|6IvdkGfIbNNcumIx@&k z&tbU3oqO71n+yRha)+L`;&>aeA~s7@-ZX9^N^?MFNPJG5Cux>jP`eN>HSPv$USE@{ z3H@)i)V{}$-<0*SIBRB5RmIP@7c4IC4THaTP3@*BLftmG#pT zs~<}~mr0=o3DW$hsCSPKZS?UfqP}<33`V3eMMZSUxpIrH5!_=1^b<)Bi%rgeVn?&Y z+K_{5@x5=3jTR-Q&`T>Ca^?e2@!f-hd zR0Bx&cm0(O8dP3ZB$Ixse??hE5#4;rEe+C{O!f1G_9nn3m3|jocqD9el*ZDXRSF2G zjI&>4YiXT@=xU=-{N+##amEZ>%cS9_%DvEwXBl4%ILH_`U6Ds9;nE>0|H@^HDjU%M zexxn|z+t*YFHml%BH_@XlD@1Hno6Sb`Z^rLrO6yJv@N5kT^<((3V!0^H(|-19v9k4 z*=Vcp3{uI>^X!7~jF^%O1+^IO^#*Im;Ai*ArKMw6tA@V+YZp@I;4VR~l`;U=5%uB? zM=!p%uH@AXbXLDMdyvubGhoRO{fr{KP?}h+A{wVVIhjrGuf=gY`?=Vjg$y$f!jw;o z;tgjGptk5-x3@#e?sC1YX~?dV@qh-vDK?{$M!xQAT{zUYN~z>QH0%ue?EeL+#Y!Z( zOd{XNIy(;^XDI77d?oz#$&PYvjVRoj?(6jt)|4%IBUrh`xI$WB9u4O$LoCxWH;0m; zgT6GQRjy1C0&*jcM7`qXY^8$bD}9}Yg+l&4oddLE+rngN8wP*WfBBT!$iuXO-asbTiOO5)$Dhj*>rNPE2#p_|zE z-cg3va7-Msj+?RHnd;!HwdG&|Lm{om$sz^uFH)q;mJJzi=4Y*X%R3#9I-RV{xxEba zSsh6K)%`>n*8utaj#Lr%x{TKdsWkz@RWuWkLp9n^Vz0nGVKxQr%*4SVb;!d0O19R+ zE}0phSnKDv*8Qdjd#u0A32tbbkw6C0?eVcb~^`Df-Y_OC6*UICmIDwV3)qO~DE&J4#=*Kw>uf&0ZIs-7%1*f>% zst>P4HkC-1Tl*f#vv)s@Zz0Nvd*bsK**>F`yt5Hyskv=kGWE7p*_^!mr?powGXLNJ z3K)Epe~u0qQ|^CuZrJzZ|BqJ)#c%ECcz6zD%16M<_o>3 z|Kp)H*87S;e1NljZ}k7Om)9yuAt4)U$H&KS+`dxPG@^#MAHjTq1+}>Zy zbLqK~z@#l1bdFqT{|9S?o0r#{FN--?b-c9`Dlp(zRzJSohsTT@zPusGMk~tuxj26x ze(JJoD{J^Gr8JAN1d$5z#t<*u@Ld54&o3>-H&FENgXj0*UzdKQUs}mq(F-9WgKdkZ zElLvX=tq!5TA&JLmfq(()Dwr{zPKE4b#53On#-(v(Ds!Ugk-Q@kt55n)Q^s_h%Fs` z4e(*+jBQbI-#Q?$c2ZWZr~@5)fMrG_1{QgMUOQ4LLV@g z59(*+x%N(tcSp~eDlkAL{@XkgH~>MWr{@=bSDo?Yl{bIITQcR0Az-BZRx8Ag=`;Sr z+;0aoyO5^h?-{*tnqiXlY$q*d+qNm6x?RzcL0EozHtM*& zI)7OJ-)b%1w5CdfG0-qm^0JP8p^$hOsY)8u>f&=g!EYv?3e)xubTo9=fy5aogYRgJ zHo{*mhu3_>4>0?b!5erxy@FdbJkM}n(2L4Il09U*V{DtaAF^Djg#jE<+N^C=*i_HX zFWvO@ZV&j_FJ<(_t|0ntH5L!*L&uDSj6BUn{W`#M{0z3pN9*c`w zi#z@GX$H3$gd7R;WDvJt>)qxPXNr1SbkLq;00XAgl|=r^9P3Jnl6d0L- z=Na8JHG%28O%pS(3Bt#AFOhcY|Vc(m?_cN3*3k>{@2b~k`5#E9`UG)?3{O6V} z4h%|60XLFlh$@S%$W|9pD|+VX^IYIccPnM72-zxvr+NGBUP0=B5oRnJvVhxEBRc)d zJL5sJ#+P9F&3bpvNXg1uemRGWa;DoCF$-;N37QD=vj)#O3u$9+mN+ z>qLC}uFr5^%y>UA*W8zG=#64Z_3I{ktZe@tRM_g8(O}U!4l0b+lSx1htgaE&L00pk#gR8=20-+Rmx@PBf53edXP0iqj^k1IxB=AV2i zyw55Ak30U4MgDhmvl}kFwXd2pgXVvR`2P%vArosQT?L?;E)TGY`d=TWlm{OZj%-X8 zsZL~7!&LUIIUG{LxL^E!T>b4X(y92lrrORAh?JxhgyxjQ8i?D{R-pb=rZ+=MR88)%CF01^K%gI%pEy6Ib@+3=ctDX&9Ma@!$8rwaJ5kme$kj1IG`hFWDvyF-=7W19e|%2_V0INE73u4|9x@X;ZyCMK>XC0 zf4>_;jrmjizbXE->k?|7BQK6Ttl+^9tr?>x54NHaBwpC5i3K*+L`)J?S7vU6&>X!m z)DV8$R5<8Zxl{<~UKke>7_0GqH$`+%AuI1Qry$CKYbV}85*_4y5VbA%DFcIGfbDVhZVSpX}(C;5OMPzHc2 zz}WvT$T4#9Mvw06US50SCXr#2xv}>12kY0ou`KgeZ;2V&;M4CkyZbeXLPxYc=$T~h z@!KS5$?g)+F;f1L7zD4;V{f0-?G~Tw!!e#S6||5MZao?6cHy8$;>l^nT22n`80&C* zfH*(oK?A*54_~fLtRyvPn{-k`9$vp?{jhe--haY#F_+lRps5JS>BbPkg8*$u^OKwe zzg_6g;XboKoD*Ol`z>p2NCY&xG_6=O(r2OJUARzs^K703I_*8*$=D=J5<-fGy;E!1 zpwhPXRNN`GtTnhQ=qIKsI&@L+Ou0n;d5vo@lF<}A21p1z7*>=H*YT1}I7r6Y5HIMl zeK()A<}HVX=f^LfjB=Kx!r-Y)Po7aSUNJFnjlZ$SiEz{NT2(M2Jr z?XTlet3^gG=rY;<8fL$DY713yXeQTU*sO5qh;T5e2*C^MOD1nG{<+y#)8R;*ER&Ak zCgw)0JZ#bQ^ z6*zRL=%HCr0C;8~>i=@M5e8zHX+;xzJidiTPT z;uHypG?gOe&f-x&y@1h%hg(}Dq1tW|BEl#Ab~2oO`msnPkGnT!0N`D}|qlENouvrKC80alM03yf>pVEvbByTr1}Y@aU_@TMY) z(=#pH3smB%C#l!;+9f7h(gUrJZ^?r_r8aCiu3wTKVo{A+_n1@3sxG}-!p3}I#qA{+ zlD8zgNk|?yqJ3^qz;O%iCzo zk<-ynyb{W-sIDZ4xXh#X(WsNlBYH>C$>@f2?I@CH-muazXx+n>3%OFLcY4bZFyObh z`tMZ;I->ZAue6XJL<@I5iqNjuG?B!O3kNq&SE!gWK~p)BekUojnz#G{H)(F(O{#^q zGS5;4k6bDdoO3*X?HPeQ5P7QfsiVKJPS5hd?tA|ZvLA!(1<4Ujp~Vt3l8QII0qY|S1E-IL6Hct-fw%g;Vs5klr|NW z9#%;!r`>YFN4V_Z8`bW7^F6%&R-pzOO{zitR@2E#8P`k|T+AOTX-0fS%^e#5IX!DL zY;aGWRcFNhk80w}1vX6dQ7M8wKYHs64^O1*3Ye}>m!$QntfZL{Ok$D6@wiUAqvb4e z6;{l$>nTr!Cbind$$v1R?=r##8G zj}ifsfzxVRn2I9X)jV!^Nh7Ju-=d+f-=YW2xK4TGykn<0J8i&BoJ?@2EVmCD;EXPi zYo#s94?Fsf2)2=h%PiD&E+Zq}>!#-NA&uru5rnu8*+pwnqRnhPsG$n6=gA)}3)^d~ z4`2^bff({C0#@I(MHH@?HEB{m%)bTsfvKau$=2-!o8GM#G*?Nj^u@j$t;Mw z;2n=`ElwJ_z&fnQXmPi`a9u7VdnD5*-PEC@yljsti)W4W!3+2A@^_e&n+cf2O2rKm zp&S=b4VLePS|$5)a`j4WL^@@8=>@cVoc8qKSCz!R3gqr|zxTPN$}cQ-!)w6(Mwha9 zcWP-gaop=cy`^3%HN3}HC=B3>pLWUlI9{_-&uOBzb z)OEveM)SD7v0pO=_X^-UwIHH{tiPl#;X%>AME|gORf!5k2QbwuQ(2(FeV`5iy|Z*+(WK$g^^qN1n3FcLozP}KhRLPl^NK%h@&eb86nD*)a~1@Pve zAbotlQTN-wksWZ%|KEXUTHS*DEPv`KBSk!UzE6ns{{(h?!fW(K`WO4tOp61eVt&6| zO3cWaVck!!4s>=>gAD@P*bk3poiIRuchCLu=H_Oi3|@+~C7+!b_k+OC)3v~VL&VN^ zx97beCv6LTfL2~G>Uw)|ePrNND+^$_=dN-G#g4xo?@w46kY93ezf@IK<>TX<5!0Zy zbMCs2!4H6pw^SV-`B?&>mP?Hvz*W0Sf4y5+!;dQn95e4Mq=o+mm6rgX z8)63FoSdi0+Mfz_m|;M>w9h!Wna0<~oRakbi+{2K3T*&T_^-mpwXw|qxzJrB0;u^n zVEnr<+54&HA8hzf;kAp+&YwONJE~lmxq*Bncyx@>ztE!i%v=Ur-IJSA`&35pr%V-1 z^$9*&L@nPw4MdCTey~V2YY9Fbprig*^R}^jPlBHm%`0SM03MS2HacV@u>OTfO@!G1W3X`rgO#JI-WN=87O>voGBvY(K5HUHkQ&W zI}xE5!GGIL>jiI{Uw=G^TPh756RzYRDJk^oaXaX(CmD2*L>}g3Fof-1HVbtht(A(= z#q{wUl2^y^0mGt$3^qL4i5d|je&f=nediIfzH7^w$<9n(KZyVBeG@cU<7;;y+}Rk+ za{JjqL5Fxp)4dhk0tsC7!=+(chB5F~;@!%RrB@@J`FwSpS$64g0lti%%QK)JcyD9_ z7n)PSv1Os560jn5=?UTj1tQAzw;KynJ&%EEk0yraxT^4!J&n2f$hwAyElM1@Wt0NU zczW`)HBoP;hu_;Hg4cOQkTSTj_hUkZRV>kdJEA>%8{TM;z!l51;m6#24;I5Je8M%& zy1#@H%~WCQ@J0t6yF>RVgfTwlcQ}j+u*tB7iL_d_3O2sSUm(=0IwwQ#8%;X0n7mL< zqYl>&ZprDyz|-9ol1(fuoQS+5*BSKs050l8jI`@z6c#KQo}aQF+s+VSn{aNf#KSOl zg*X%%DXS{DCJwanKUkP==(BeB^o+?p>BhPlT#^~=aA0>{qqpjUP2AkTX~}kVadq=9 zXUdaJC30?C(;igW%rMuE&j@*ArY`kKWWpNSj=oX&rsTc+TyrML!(D5SN{Dm))UpZ7 zm96pbzmyo~o!DBl<9}T%pOc_$Gox_U*}uc>P)~%~Pdue*6=M>Yy}&6Oz}u>@!`V1j zZ}2t4L7rtxuijn%fVD6IpS}hsmO0$j(@I0l-LS?>b<1;O!p(z|+n#lYLGm<*^6l0FK>S90M$b1V z@;P~_ZwytZtg^m_PsoS4vdYJmeRR|q;BzB*FjPUlF4+Py6Ah@YO8KRHnO*k!`_xUM z+>j+sKnHJEK424Tiy&9KgILWOu&v9n5aHA0HAV9~)?E9xk-3eETstec1h0@;S%U*& zi_!8UzOl-~GK11f&BUL?oS3=IuQBRe>#>z`CrPub)snlePmVuNeP7RLELYM@pO;nt zdTHLl7#W_zF9c~KW^K3kS*kI6h%c)RdUw)pVd(%TbAE+}_fMHdgKtu5T}o(R8~e>= zwKxNQcgac(x^#!Q2%1X485H-)f{a6CgrR9_FHXpE0oAasM(uo_u=3=}X?~eIPKjf0 zoUNH+b+lJ-Z(FWD$+{*EmHXC#t&MXAXFs2tE5lKu{5^|xoolnYp>ic4*KEHrZC`DS zSMW#*cDzAMFy|Txat7Y8?d$7;2Zw{ZpE9W&13WpPEg&^CDqU!wd)y$TTP+JmcGTEM zsZq^|o=d1wmVkj5q@U3IwqPOAfp+-2u7Xe>)!zP8t~FOQvzCu2D@*W*N6%LkOZ>Pp zT~$ye1O@aiZxXAOG2uE5VaT*Bc7~={GKW8H#A>>aq#;G!)w&MC;cRdh5;CA4iw?$DVdEGTq&mLOrxPsOhl*H*LAp8u41k|J-tt(%Zb z%ex?AJ{73ZdLa)@_NQ|sEip!S)B$5MYbWqcl|9vckg zMRM)ltZ3QnM`p@kTCbkwE*8J49sJ~>*QM4z2cN(WGknBHsD{VfpczF2$0U)i4*mg* zeC&D&h^`OTh&dLxc$s5x!@xM}z-4kPN4CMWx1C+ice1`_e9kb<*<%C`t5A=+p!gfZ z10yU4oKKGv!ZDbQ`7I|LlV$$SK_|{h59X%g*SB*M17kROXr`8@2eUYhFMwE*ygOCh zc*-&?*ybdC>vm;4Xq6`4r2O|XZtpjAm0Q??YH5I@Lo&q_8&a0g*e*smwo8$Hnj6Ywi zhY@?YoE#pGYI|P?(1Kr>0^8;QZuE&_(tpqAydp=}_BXg?2Z*R|kwFa?mzSHOU!O4U z6HECImYo~EzrQ&Fh}7qQQJQ}^#{WHD@_!%r692k8sG@vtmnr7YnsLaA42(5F5wY70 z<8vSynJE7W_Y(e6kOXFP{ym_mzZujgCX<>d%)@~QK(_!m4UslQ_51zcb&&2T2b=6c z2B`RNUX^x}cj1tn07zB#|Mhci;;V};oYnetna+%~hUZVO!6%Y5mkzZyuK)YHhr5P0 z-qV+YKnU@FO@2m<(4n5Jbh!WFT5tPF0Xot{G&JYw-Oi2yILP36O1-)&Cu3>ZM3%M%fq@QDFqyP-yK{U=kq`hJNdPC2i(Hwcz)IPYN)`9!R z^#kDzHzObbV2E&WsD(RU6U=||)+Z6WaHnQRIfi zrs;*Xk-^l*5&P}$0zQcr`a4wbgXY`u6?AkE_AYUa6doMTt_JBxs>bVMzE$5R4a^7Q zpN}$a+zSY0x5~{^A2s;|7KP_nvsS!cx*I%q=xwX4*<_JQDGy)$CM16}#1Z8l_h|lt z&*;E?e~hUkdDAu zOtMpXgWI93*%bKM6xUL5s)d#tp(3R@$Tp9w2jzGWVJ;XSQPM-M{ljE5YA*+>3&`f( zF#MINAuEgFrMzeMVqQG&(5B05>OjPVzSgYTr!b^n-1T}dfAS)m^{SBvXQx3&6DK6u zM46&fmdhAN+*TZd^kZ9fzqL?74n(gK!4Ac=m?ATE{W$I{V7cXuUqZGLc`xo#1VLgq zwUlxv4qRSUB+Bg3dc#P`f6=hsv?Pv>jETh}xbvZlpAl-IZ70LvyqSeaYzY`htVz z#TH|vR|wNw(1c2k-HPpa#oKkO7hyDdYu2(s{9A70b`BVekRY#9CRO_MBq6$P9|v6DhD zKkII?WG^-2{usxT-7K7DBUj6Mg-(j=){|)SaT@X)>`wyA*1e%)DP9xn$veo&g5p(Y zD#VKy8DK0!!89$yRt~Bxt~UkTG|>8F{2SfEAufp|{*wvA4*ZE{NNv1?-=GntFv@tP z_*fGh#2aqY*u8Bcj1Rpz{CTzsNhFOb-R0U5M3uHgLMapJ+lZ40@%0T8A`-|FeCuy( zxXOx}nA;@xp*535E5e~mzZm1~17cGggFWmT@SAx73YKQ0?AZf}QkD-YQQ5fHgha~= zo#{U$Yz%u7h7~1`>Vf(d~ZkT4LYQs z2#?*%r?T%T+grdVEY-Dz5piRg)G~GVZOyerBDbR-k66Q+pQ>$72W-42HH$@y;kp`{j9lz{L>x?@_c`RmIX%^cfePlzTS&HEL`-tQC z<^;T0#+;E=WX*#dv6NU*)S2zM4CPqGuu;|(f+}P($&X3ITbLW(v{#jOo2>5w?$S3` z`g{$;4=_Lr8x&f71Blwv1OuiT+7FIWapU63;ia&v396M zQ>OB!`_kq+drEUk;jqIEwX3SH;Xa@3O-x7L;}qCe(P!Qp+@)&j$)GBFuRNpQ6Ja4L^>iPTh8%AQ?elk6BcM;h+^6$vOPh&Nnwx6 zEsCc>N5}wge_ytXR#~lwRxY|(ecuA2JA~r8)Hx_3ZcF0Vn89C^q8s{Th@;3wf%wvs&%ILo0-neJ1nF#EZr}OMD zoNE7GV>RgiLcbPnUF?ibWSMlnbDa&o0mAj~ZYTcmtA#z+J5A23OATvR2eSaMh2XWp z{RMTg&JU`(6s$YnoUQNe4ZssnOZ^o|MX1TR-JdRd3UFt4{n`SsD(27aVIr>%MF6Ma zTDYyOu8N6@w%P}lzsKAiHCVe@^|uxxdkMB-w4=dxoS=-P{sr8$Ic}xAa@++V6!4UK zzYm@Opg1Yl$VA_{%svTFCcZfWq;^_L4muqLAajaMLQc20t#Tjh&-hgNDuYG!->b_;0B22 zTkKDbJ;)N1kzb&|1<^FA*;F7z1Hvnx}dPvsIWhO$*1ZlCT({4RPcQP!T5P6H;!A zZYu^pJ_qj-3ns=wMlM;JI)I3CgqpVGw}*!gXrXE?4f-FUZ0_iD`ub$$6T$)KSb#iO zX0qfX+OIpJGiDq@7ifLUY{3k)t*M zRZKVo;?1#@RMP^aJM5*JWWb@wJl%Xe#-D!pjXU4X15LL*_rK3UoDbsVT`RK%;yu-}v#51_(nAp}w9-^F9_Y6*>qxJWxY(T;JVaS5$wQu~>Cm zqyQi>p%0^hwxs0Re^g0DJG0(fJnRg>7X$(b@9I0Y8bQGH;LZ~B_xt_myThVrwwUAs z9peYsWV4&Z!_l9VPrBtMyUx4-?$bhMg@AjrOg*9sL!xQ1e}9kS?h!~WnHM4YBf)Jf zy!OmTQPoLaAj3#oVNISFY{MOzBPuK^s&X&N0H_=t55?p?5W(*wYV z;Pz}IWXbGL*h2N=_g_1sSrMcGIsLqB9U=IGoC%niJALnIWoZ40 zkz+06xpLS{IzurYb$tOYyAbZFwx(*|!lSOpmrbQBkMDwAa+F>jK0v-1fd)g)Y?aCH z%SqK^SW{9U|4}#$6Z0@@af5^4`!H~gf=*5HTbtJj6#Il|8t9F%P#u^VJ#yDE)6bRq zft6q6ZLZHt=c*qqY35`B$&f-o0G68n?Rh~P0K%2NX)4Ik|ElqRk3)&-@9s`z@Tu*E zu812N`4F>n3*d2?!XBTT09^$5#t&n?Y{ms*8;qp)j}JaxDAnFi$?2~8D{g?N^c4;; zs^8tEZG0cx^~W%}c^BH%PG5uV-q{s|Q|p``@1*kjm$TbGW8EjEl`kF>0uzlF(Z8HD zTkJa2^_d7TIFEeh+uRP7=R3I}8}qnE7HUeAWI#$s0iCpXx^{zy^5> z%$cavBs@0b&;Tzy81ovoEWM%z?_FS8Cen=es)Vx0UB?`|W?R9Tky@dcV~tz}&r3eR4K6S4BT^#=5Yvk*E6z1b6n}3Uv`clE4D7GJb}OItg0tdomsVCr&aU%)hm`A+|El>G z@PjkbzhymM7I~el40|v!^MQb<4`4;+D=y9~0n#r0X&N9@_B`^NzsxpQ-#rKbrRT&q zFLZ!8Ay_@yPr3aw$fk|>6#8t0+8g*r3+dhE-Xw5H+@4dV%U?!*w{{b`1WeJH9}l>S zsQXXC-A!g0UV6-}+5?L%UH&fed&umCSy29H|GRB|vVd2>@%lrI>LTUW1I7I{w<_@u zrP|ScX5gMYdc&{;YI%60wFT~(H3lfYw;=efII=|8Ay;jx?bX=i!9oL;Oxz>Cja{;;EDhqTs0WT{&_qxdE7FAI{yYP=={E``t6oe%^yl(L*pwG`~nu{ z{SmMiYXc**A%}sPV-KZ(dH;2eP3&9}(-6Z=b!Zga0F<-1|JO{Qoo(tZ613<0c&}}K zd~O6e1H0DQ`&;*JvNC6YL`asUEn2GmetL0AXH*l^X6@B6t3B*~b2y*l zYa$?G0~^7-fVNYyK&N5&`wkwPkiYP#j><@9cdl$5__cwHUwfbR(r0K~M12Z}!dsU4 zkAj7@(POrniWc$7gPTnVW;}PJ9#W!i9}y3q{AfpCz>j9KD_c>rI3n$$)SJ1dobq5(BI$De`F=BUG3a*R`7$Dl{px?0^Rq))9}z}V$S`r z?H8Xx!ao^^Gj5MPW4rv-3co^C>A40-SY^l~=uXuz1Hq@7pogKLlu$;%(OgSibM*D) zt10YNb%H8JOtVQ%r_WsYl!<#s^{F#@T+<~=_jtCN0vi_XJ~t{#Bd19Qfttb4Dq>w+Ir4YM&|I1+L5+pXK`&69 z?$ed#ZSgEW(9Q3Cu|0WfpVi@@UOb67Y{z7;(OLHrIk0YBNdW^Q1JTckMzS-n(l4`% z{lYuy5QbRJn}`utfwAz@(9)rmJRub1z6@rU!n!(S0ljWM^e_e?s!0l5zcX%s4NU$q1Rx5b5D$<4DppePK|Ay&Xtjc8lNNS0S3Q?1s z-3gNZ$mS){;(^)$rLxDsZ?>8ZV0f6dZl;&VvSoRzks4Sg z>60taX+D|vUEH5^4dK7LyBshY4V-Pm*x|3(LF{Vi_oZstb~4tl_()6O z2-dm9NN6%NhgVF~!Ug2402?fnE~vD-dIiD8SvdZ06xa6VkK%@glG%3r;*V~ef<(L% zEO(08o|QOVd24tJ?=QYVwumB|!s%HHkCF|G(Bj!7-0hc<|3Ki-s&08`O;p0zp`y#V zi@{S)m&)WAnDZpR?8VuJtZn*|UE9Ii*g-mo*rct!w`U}+JxOJJ)+-{{g<`FT@km=D z>|CB7|0TIcm@%kX4p@CN*jZLt`m(z#)cgdJUEdom2y z8vsXg`ycz#5bz(hlT+_2+uBVvK{gtg0_el`xX=q$A~t?4cxX+Nn>qH@shKmmCrxfM zt^{5Q907k3cx+4Xo1dkSGkm%@$JW9J%s14)PPGQkLQf0DlN&hA<9df5giO_MvyW}f zxv5B62};Rt+-_xzSJf_@|)1p3jEm9$aJoz4hDC3$f;LGN?DrlGvHtLPj@Ii znCq*He` zBU%2B^G2ZPi=J3-#WXU;l5Tl9J8*wL-3#G${#8#MEfmZdD`6s@M$RP*rmkP-5r78h z<_EsWYvi+NWkt|yM=^KYy3`NUmkfWF8!GF>Rh+T4`34bK07 z!lI@RJsp(G?~I!z=fg=1(+))0m&`fiT=#?wG}5JV*v4QE*6f@wI(H4Wh(|izXLW2hxc_ou@E}{@33M@%iJiT?jBDgTe9$~ zZoS7b+g`OFS3xW(Wn)ssvE)Tht0iQqvq?M3mp7xzf2qDeOiMxEz*xq)SI!Obgs^Be zbbKhFANnyU=ih9>(>gk3CJ>0@>WHbx0a13SNQ>?gB3;ab+EAFw#xdpi{*V!@nD}U~ z)babqtVo4OhlV2|=Z6oG*8+>n<3Mb*!5*#ny1}syqfGHh{cC41T;Wtf*?DWJogCrZ z7-oSqvriW#@)38+g>jSpwv|%27xmVh`|a&c)@}C(odDM%)6*WF5JtE6G+%9V*d740 zXvuB8{?LfqRL4*j)%varlYpeLjjur4azNV=&{O))ILEs zyu==CZ)BpNa;#$tBN!vHb8+kjqm8J7)Petw6HX)Bn>IdZsmhQmN<~RRpi#WY2=~q( z&SL@iwI3tIV;$fZj!#JY54*v?);9vHgG_)wJvPSKxI=b;FHWP zCa?P44@*BUkJqU(p6{R@0vsqK!S|5UjlP()G@_ksf!C*wfM0-6%Qyd&%6-z6@T{6w z^xe-N={#$IZ_A4DCG`yetuMwu-rxHqzj{h3N8d_2{2!g1eK^zm8^=9u)hIn64>dVB z9%7zmX2QusjBQqoJk^q-m`RK2q(})hbUaQdnx~BkV>%J#X-$ocFeRJw3wbE{;V9Mb zyK|j$o$LCY>-W#^ukRn<>$oVi1iVdc zz7v_`cut0;e{m);`o_xg#`^i`I`G5a6i*dPEr}lA>5StOU$`jmrOwH{%KRE%syWd& z53~b$x(Ours7JP~*R7`y-F zJQ-eE?swFEy9oeP*ZQ|F#N}sXWR5BW-sb?7@p^uRtPGI=IC~h_?2#Vc=nV$4uLfwz zI&zAj*QS=DEXS=c_ENK?@1+4{ZarNZ=TqLO4z94R^pDq5A)_$$$DJBJP=EII*Vd-TSwg0%FtE?WzFGc9N5^h8ZoR9qD-|9&FP#Vo=xpNLucc^XT7992yjUE_8?f_iV^iN8PSMx zNZESR?|FPG;r8Y`6@`y%lb`aS+3A5N*<@qkH&;!9fQohR78>UtD4pc&@E68&I+*ft zQ}uGVpU=b^q;!?sgZg_|UAycMcyFNN3F&SUCt;_h{|8bIWs=ggl;`;K7z1CaS_txc zRdGo>!l!>C&bJ7CWt4)yj)GOu+RoN856WemyLtK$o2qYN4$%gBrj1VuLG;iO^AS_9 zH~d6DR8cYig&@LRTC5FO zzp5)H?+*kNRU5-^W?Fmg z#*tK@szw;tMW>uE@{PIERNl?;LU466`e>_a2Yfrum~|4;byiBBmR2dTF{u(U>E>>= zXdrAxWdiagbnCPI?CSrD+;hHwocy$N%Q2~Cza+Sh29kw1Ma^KsE>yKfpywVFT=;7`U@QwD6BjQ z$IgdY>l^H77E5!_f=vKqR;Yp}t*NV@^!5o}Vt@Pk_>0To(uEABrUVXMuWE5I`^j;A zwe8d3k3;#OWQ#H^lRiPqi<)PoS4eTFPNqF>>xG-f@D44b*(ILYRSRks;c~bmM>#}u zdZdEI1aFD3DxqlxYP{LgDnHh<;sMUJuzzQc%jX`Kj*?}df!v$APfuOL3QWSWf_DIt zA&HAcIU4{zCS_Ro7w}pAvC4l5TCsDUQYN3zE_Zq6Cuyl!cvJG0NqTtPlcak8TFksC zZ4=H8K0j4;Guz^$+@Ss^mCIyXuYl9p7BB$|8wLQE+Blo%hE7Y{y7mM5q2S<|@yz6J8%MQ+331vu?*DMWHC@3lc-g%Q`9q z{n`GfqN?M)jO)J6Gs^8{#lh=n00hzUS^;I8RB`TY_k_)F_AOUgz6`-Xbz3Xoef>3b zeAkNtjvHWlZl6XA%xfU24^>+TIWM|Z%+Ozaa&kqkvJE+6m{Q{zuamUD@ZbtNXEbhV zPqE%VFw;0J&!Ihcwz;k|aN%QC&u&T@qCmhkVy)6Ij7J(^AzC_~J{}*Uws_R?nHbc5 zY;ka~CxJvJ8u2Y#EC;n={v@Sb)vx#f;un!}T{1|QGz{HCcbC#&P)dhGiZJBRAkxx9cL>rUNcXse-BO=hz zuyJs(21#g{c|Da@wP#4ghal@mgJbMZWxCSiMU5^8Zg*G9T5c|aL7+yTz(7yf{iTIz zW<*Y<m6Ul1%Ybz)j~x4Uo5EKWDW%L?( z@3}o5WCJsd7z7DLf^}&SAS78Bal<_r+N%i~1d<4Y9fUxKg_k~uqI}}VVD~@+V}amO zP#EifrwISG^UZ_J&OqaVzR{JHLqk^PfHZc)?!!@sN1ZTAPR^k!F>whoF^R?)BHy67 ziqc|V--C+@2JY?St7n>`LZ3@AOJ2&1%Kb68#@RTFD(5>(d?Q6gHuYi?Da%<`1{ijo!bC*{i7}I||k8;Gg*FbR}EF5v| z3B4g7$33Rob0!-a+KPe7Bz`WMDRHzs=ufwO!fE^-&LfU-j41!X5-GQWIlvi+P$k83Jl=D?e_r#==HX%$-vMVWC& zKi&(*adVoxR@cB1du^@ip8be7qP-2BhFt%8KJ~3w2u~Y|@@FuO@g;+@RQavUnLGDak8BZc8(WCmGed1N@!q<{{LuuLn2A_2z ztsW1Si>JSo6Ra&a>9nMz|(q3zJ(Dbetu zzVlC0#UZtt={H`5N$FMkIt5iT3eX;uxh=*zebEAb|-_1pe zn-yz~*I5RzuE|;ti^GzvS@g#2=J|Em{4LN&CfpWCW|S?YzMSzNF+BS?`_RbuR6V|Z z-|Nf0f2w`~winiRVwiZ}hKGLste2@1B9)g%6TlcG3Qvu_P!up3!}f3x^RT-(cp+6K zT=?({ZapnsU%NEtdX^1$=D384q}jS%Npd#h4$;i(x~ZpGBADy}4|;oh`C&Q*aY~Xz}=GK26kl4{5Q4MajgD_W0n#?5l3##sFV3CTU@l z53~i#W@4=O?A&1{Zz%mPh^H;P*CgE}HUc8@JthpE@IU)p!ql($GcE##>>NnMB<5cD zZd#)!(3a&PZF8h?s#q+KGb!PNbc8?gD#Zs{+Ifr#H;h!ZG=2W_WVY7X>2*ym0e9FI z&3FG9?jMsklJRWULr;qHUF<&D?8f`gLNPa)R|C{Xt;_f}>kRI{>)fspAPmmor#DobYP~cxj0^D4Zoai;_O{9-0FrcGGITFI_X7Z zRju4Y7p^Ru1iK^&FawwU!cY2=IZy0%B7<*Fg9ZK4)>pb?D;b?Uy*}Z4j%bpY5aBEZ zeV{ZB@9hXAA6RY2Yr!Rp^BFo6{6#INFiWK{cBaA_%4@!@zr4R@ zD{p`Q@v-bII(>Jh!BGjP6>5)P*8ne8DK=wl=Si%gzGgwlWaHpZX+1r5(7*hc<3>Jk#YuXpYIILHXXV%5`#uqdGlscn6;#7K*ciK=*> zGyLF()CfXqpdf2C@o3XeK-MOLi(p4W6tU$p*xxOQuPMM8$S5|MoTY}<;S*RR3LC1r zhCpa}zaCku`gi8Cs1jpW@7R!b2R)w4LE}dcIr+-|@y~%U!%9aqllW91^j&!l6{&5S zZaTNlqt@9aITu?vC+@nmm#}@BaU>b3AC;CVg^q*|x}Gd=N5sQ{>zzwY>8wxbz$f2DP3-ahD)JPzCWcGGkdSBoSf9@#V*+gTX)L}?d+F4KC>e7s+jL=Ta;e7>n zk(je_+O()!=1?N0)tD=!)s%$xnb*gwgGfk(scVEx75~nnkeAw7GhA9;3b10FuJ-l)<(WO~wUso|Ku zX<2$2K*+tgV69wP+1d0uMBG0GU!-=!jh=?FFQ?BhMe)Z*Y0~A+B5#V*@c?t+f&`xc zd}Y{eee2bqvqv{0%Bp;y;fD!Azpf9Eq!E2>oojy5 z!w0Ogwv^pfQ?KVHbd{3UA$HhQc)juVE$E>vzVUD|M z9OY0yXH96C08r&8AFHex~YviL`_i}zuk}bgCRIF5c{{j@dk-{<+gX@)E znBX}3ywitwCb z`GqgOW`*n_sXt{)2QPa~{+h^A+Gq7zsoCVbM`h%D*;gkQl;Xnvr@ga87w&oLPbk}J zZkA420MHp*WU764HH7ZpMpy$SSBtsgzeRUhq^vu}C5;*n zyMKP%X9Od(WIfGq9d=Tzxo_UW2l<`T&ee@4^?XK%Fzvq>)NO8ZZf748HlqDyC0=s| zzP3Cw@7+hS4^WJ7@A2zjZ?6&$1Q*Wm?rKr3^F5{gkUo{sGdC{jSW2XlRcKya6VIjM zxXs?-LdebTP}looSg7+nKUSbe`@@d*nCFvy#A2Dr!@mj^I-?p^g&EuBn0})6nD2?G z!;&^d)V~qNuf>)|HU9Yf_HV1mJmxKA4$<`ZiQvaa$mYOd9&}6PPqv87&>o)VdeJj#;hN9-=ORJXr}z=ehvAr}}rrX#TTp zn?Hv16}gErzzDJ(c^Dtm^m9cgtT4Q^x_8y5z+Dm3n>6S0={`S8{_7GS{D}IvTE_@P9AM z)++zLA&XwsS&4s==an?6G|yUvIXZaxv4p67kpJFa<34U9qx%VhuaA@MR}M~FZs&%IdVv>NfPni&%=^Hacnm$<-1)VxzBivBhX`u@hoK}vM0S@)|p^Et8iKeHRXeOw0YmI zF5rmvF@ogdC`u>YYd9f#23=qjCzre;%H$<7xvwI796V|`ULaSkMA$@Ham=_JC8uVu z%%ntnyaCMCb45>MNNhEH6k-0Mo&4>(4F)9>tQ-$427KqRQjw*gBYg=@56B@$ z88FX12{rp|GTI5P4v-h2w4qH>hHgO@v&l3z3}=6jQH;14GD?e8=Y?2tv1#rcbEP@s zUOAiPXBH8TmESk&4V2X~eDqJf0WdgCMG_ZHWX0s0+37m5Omct#%ZiNdZ*i;lpWn0H zf9Nn1#qU5iSq0IW4tnyvPuaM)eg1jrEH=q>ysU}5Odw0TBpxe7}kRQGZQ|; z!3*^IEt^Pty8gE&sQ=Vcg49XWJG^+CXY)IlV_%V&xJx^imdbUGGPl0VGJS*j!n!o8 zI=KIb0!!!e)14~m|+6RC3=_Kg34`Qxfm#j#@%B{ucLZJGtm({I2j5|$f zAJ@Ez!Zvl=L~Vmq(@y{6;VSZLQfLcH@y(NW=b=QYzo0l1s@_Y5iF;O?*k*|jn-xeS zrp5WYq4GM=-7eB-O1=@i0d}E@dDm>udwyzMm?f=q_^WRP#tTKG?Ecj3$OMJrJZ@($ zQ&74V^q^Q#`~2=p{vSR%%CDw3t43MKoXbA6mD5*=io>T1bm8TzDxYd0x8hzKIJS2W zmSS*f{oTGI;D8Fz&k7rJ3-YX>zXdoztt^n2zq@H zp=VTl^wexo=_C3PYYUA5St?!AvmVT%{@lv)(^%#x^gSwFEbfvw$ee{iJGvVyy%F1vM=o5}0GlCI`SFtclJ(&j^0IL-%gfzWeJ5nihFZJS}{>Na9jP|{V6 zSDto+q@hc(-RxxF%fbk_IqmZZZ7Nn;tE&d3UpL32kl1Q``$1;Uv;1Kc0uFLprn?rl zAa$?|Y8y9Qn3KeGZpmUU3ct$pX!X`G`#aRUxMar0;p(%ZhYvLcn+STdBlz2sw(ksh zEIuKkrP0uCp;mF|?e#(mA6$JpZ2m0fwB9$nKoq(^y0`sm? z)}AR?BaS?%`TmUhZ-aGrg-ynm0ht-~%0O%MM!!8BC~E|}Tm>GDbgPBUylrCl+VZ%j zjuqPQVhJ;d7Oe$NXuIpW=2nhYyIya>j0<6WcP0_b2 zcqJ?-?JjI?PfYlxY8Bs-`?Um>l%AhG%O7oDoU_lG$^ThJT3Pl5WNAxfYZJ2Fze&D? z8&+d9g;{=0QVe>=*kBnQsM|c)@R0`7_IkKJ?N$xr!Fsim9qAW;Y*mqVc3HMM5J?oG zJ#NKzbNsD)x~f00j_S*;Qr;M0aDe9UN!}yWYc*SHzpL2X?I)AC|F7*H9_)z4uYs3` zLz43-6l>kF)Y+23H%wzcTW+>nEaT^6+ReTKmxRqxrrNrfk+)Yvw^!M>=hU^!MkCe8 zpsTZk-Pzhb5H3AR-*pbr*!@EB_~5G*YA1ad$%zjR2 zPiX#z-#!>W+yBviS49I+Wc$_iuV9kG>y=o^xeGAbLbLy5{U{v*W7k#>_HnzHQW~wp zcCjV+7w!_54zwlka_v3r-f~5zC_DHKG7B9%3ko|i#G65|r(B>%rzz-)5=)x~z1n>vxt>E8VIc5yKd zxfImCd;>u(5#XY2CW_&RBN223&2+~tTKaM#WdgpuzC67f0pCh_9;zy_f*g{!|j zsZn6?)?`kT68Aw`BExZsjlEV|T1lEraSX6QbjWDJAk}>s`~_{%E_)_X1K|uf=(&hL zURVtQS|P*VG+>Qc0}3~7dxijippF~N0_^$t>@GiASPe`3=t=4zW+tZNe;ozqVyw=qvU!c1ufc1|Qf!%okLFTfn0Kbrh?-hLVUs9WXLa*@4RNfxcfxh!<9YC&8==yUs1wYrxR{ z?_#mmLy&C)z>N_V4*wpX_Vmc{Dx|<8 z=LIni$F07@74uBCMsnk7=qwTEanC9&&nBfPIR&iIB%@;1!sDiB{=1`{9o zepNOl(`Jj4z^y~d80{;D>s%1>1x_`I19p;xA2)q&|4`=)>)Y+= zZmTXagab>6@bL1P5!wPZHHpyDIqQ`jDv4)nF%d+@+kF!J%gIOl@x);cuIBPyxIhfM z!Tb*KoQC=G$xn;<>VQnuH%QgTC+d|`OTv*_^T<<)A<1(;pn(%a5O*eCJn_lebP@5h zA+eLiW@I|~MTCTy#EkAe1c`TVzp`|k)t2Zi5@uD(6~GKbu%V)rJ$r1FL{2axo>k=h z=Ki$6EVX)fooGO$_Xt zDo`b-DsyT|atoxu&`?9pVo>GFxvnbpp+0_k^+_$NLOYdX2OWPl18di?7;tgo0SA@8 z&^S_szxSt#_zaeKt(Cv5fWU|A6m0%RUNW-dr&d8NSUCCl=@}yL?LVW1Tam^c){iQ} zHY(?0kQ@%Jm_u4eSLjTHHPz+!Sk)~mE!}d%nKvl%tdYulg#E6_u~X$pRY?m=+ZT?N z0qjhwjg|_84Fof$ossQDT`_@LW88@YY&qhNi?gXZTh9__?+eV-!ZRBiqu&NGXfqYB ze$(8z7$cflddm@A>(Jx*(HN@!=GehLC55BD!-GwAbyqbdbx`m_&zX!}oalSQfJm&55vjcRVn|JX>+mm#SE%25#8jKpzRi>SE5%;ELU-(v*loe zjD#(Od3h0rcLt7Kg!m3FtHSBXY#63>iV~lWBNWfDhiQ%t`@~6pNs$G}+25ih2F7f` zBTHlvQ9T5Evs7jl((aKbXHQQh>mSO)wpo3ZENjfRa31pZ@o=?d<>&Od*)I<7o%C-+ z*t4f!3w!3)y*Xz-!)a#F+vCX$dhXPLP~cH+!0JolgZ2G_o_1Syire>iXId=|u0d9@ zW47~0x$0J@Z2Hu{V8Wdu7jEP+Z`q0hgj$Kx8~hc#`1oS4;q~pB(I}e(9!bIEyp!c( zL9Y7fZrhu8lW7)zhCYk=vf2H(&ncd^p00_b*VuA#)?}^gM zIG5~d_yZ0Ohv(+gJeZng%H|&);<)db>O+!HgvCdti-3s|h2(IQ>ft?plRd9Q4GhJW zZ0VbPW_isXz5eU$hsC4tl_ne9yiwg4`Xrrx+VNc1WOiGy8rWd&1*|;w0*~ogLPAFN z&*(0Fg;MQ7`(?jPK5Pv~KY?k8UGYP>s>HmNvs+J0zS5IFwkY#z$M;Vi%}L*$M{MpK zXZYAbxGaisQ?a4Ucb$PZ)5)H4+^=O-d+itr&9EX+GJNz#GftX0`<(G<1#QU_EuVNq z_f@UX@=lD3-kZ7CR>KL59#0XgDvzyC)wjb(EC)Mg1(o;)6)WMDr9?V?LP>PT1xXrA zdxb2=JP^^u1G6s@ru?Gx(Ju_o_`kd$CY=@rtET@0`7|s*_ z;pi8R?XwTqy{k^YzTtSEVp8!cW0XUGBrJ<(hM_ifvD>oPq5Y%7X+Y@l3vVu1CYtPf zsYzNQw;Gu~vqHppK{Evjq*~B2CC{)xI(}N*z&#~>+OR5F^Id%1=r~qoAq?T0l2z4N z@Z`613mYHynj}9b=Nr)@(#(RF9z?)aKgc;rH8j>IYL#!%RZ!wk@cLIzt)-n#MhGJ6 z0n&#rEB&DVwb{4w5-#&iNY)~nRciwJTrP63?3`-ITX}uJ_*@3fT$7-?pU}k7jF;c4 z+%@60zllkg{EeZS=C}a&5#sHM#4wXhCFl9%Cz@pu-Wl>POt`3CEPA|T$v0*(R`PuwgBioEnay^1+~jt9nrK)>NUbiA3)%=ZCAVp@k>UD*7( zY2B*!DoLiulnO-NrA0cjN~&e_{z}*hg*l{eu-bU80&$LUi;Y>7YuSIYCv!feaF`PZ){oxJad)u02U8GLyHk5={l8gRb+rOgX( zhAc`AvffX3!)Cnu2kHzKf_@yX50$bw0JsHE+J9g&kJBYY`SmZrIKVmO*c3oQ222I^ z%^fMc8O44peo6qAyuk+Yb_zC+LXZ>m>0|$*w&Kk@Y6~EG)_9#))hz|xj#mK^#R6v2 z57=EO+k{hv3;Zj!;s+qxUwkXxDj=Zwh1*i4Z}|=74Nf&!P6b|KhhUYyLYn`!}K!cs_D(WSS6| z95ht3?f^crB0?M_H+Q0efs8}E@;G?`jAK;yNyZ?i5f=QPn7@2h8cqz%n(%Z~SU7qK z(M+<kP({=Kq>wYLR{6d?@05_6fc z6`;#Do>x1{P?C#n@dd0$#su~)=y5}u%3-mqqvTMseE_%pl`IjhShMQpgg`Z z)=P3iO`ZM8so{kB%%W4juWy<+`Ek5Kx?Z1Lw@t&cMB$gsnAK^=tV>!&W4{M;qq!@* zoS4i6+EtnQzl=%qi;YMcrI%x@;#tVGpbwHCLpIfr>Dl9&e2vskXl%AhU&;s+{MH?M zhq()swDnI(djm@Jc#u=!7Y&$Kq7qs8Tb>oMM147<#da%J;X2cNGV@i)kS$g%tiz{y zmi2RCb!xS3yO_JU|FeW3;^w0@Dd_wKI9`0aCv zpd@EO4fh}e1{R$f74?>RTtB_W+g{5eWs871+Lgw{ks+VQ9$#=G4~IwJ7-nDeF9zK1 z5nT}Kn!MeQAXnl&Ow-YbAa9_E9965~tEt2xA(_c6ts5%BtuyaYmG<(YKOZS^7Q)08 zvsa#0y7t-@H+eQN&zh*Z;}J0xN4|%>XAD)sGOl|@*GsiowbBqbIIwU2sz|6lYySGc zryv_`F{NTYHt8bFzZr9P=`(VRz}LMhQWIxh-mC%F%6d59Xl{?$2}+^IBDz9Okix!A z-9Jp4X)iQdh{OAcV9&a%YGb*7hQo+y5SFRju3vSOX!wjLg9D+PXZ)p(p`LNPdjou+^k=;m$D zYz@S6bZyl&dE8JO-3@6nr#K7++J0<)vfPNC`yz0a^p;wgUr|+DOsGLoP_ciWx4Em~)kS9^H+VzHJH-VL!YSDgXSS zt`3QAlfxg!fSLSM*lc=Pi;x_`K4mL!v!0m5aUP*tfHvwnH$LX@JguMQq-sfVX9HD3IvgUF1uegA;?Azw5^v|^ii9?hhb$!od8 z%c1g#Utrdk&idbo-uW^oDK8A&rH9hAF=chuK(Ma%X!@ewKw8+B7Z~i3~ z*RQI-LT=lhr;XrPcUOjvH|4bUgpGJk3w3&6Ob{3m8yi2*-7!YHkZhH8yGuhU7W*&3wS&KHP>`Fo4+(7 zhZo5iHgEPSDW8EgfZp+Q;zNi6=Qd+)awsW$MzDG8gswKvOYmn_N5*Ji`ku-_;tf<} zjlZJ*!Ycm2itt`mRdKe|qyV4ioLar_VM(REglFpDu)WY^q3zS!u#;!EM3M83?mX85 z^!j$R<;s^7Uq`sMcP49$8bhrO`EpfiZSz?b)kHJwOjyl;UB~H^$u0lzYdoo|M-5Te zcT?%^tmLif-K-X_49G6;iN=#XF7M1?j@_~kLmlguosR7?dGlYl&7V7@6lL@eR_>73 zM>O!XcUUc4Je47#+r4?Jg9%qZ=^75Jept{Ug@Y3z+IJc73=wiXUpv&EHXLuZ9HSbbKs*Zol4k= zhwj_S+2u07_knP12GMn!!pBNgUw@={Fa6FTtuz*ywV6I#k4z*6oN1W=#LRBv-UCC| zDRY}zR?oz;1eK`##wZ??VuennPrMU-*O-3zu5-IHW0X-tb5CgSs5r`zl)a=gg4`R4 z#m)<<)9~{9+SMU6*vEV;kc)fzVR(V-B0tRG=8R~e`886uK?u%Rf|)$cyezxdY*_#$sLjnYt&3&XWs zv@h>a7y#ct>Yk-GR=~~Gw08I|4TAp+Xe|66x$pU3T4p@}$doXXr^)|x@A!CpJQPUx z5fDa0J%=ANyM1hcai*Rx-d>yFhsK}&TI?%rL~XxwY}TH7&-ST=3G6Qto|oitLi2|( z9i2BzkjY36iSX^+^iV+m{CD`6KIWA&h&eAV#4Z-@e|f^*a^wq;F4eUEi;?LS8pQE; z#_Iowr8=vNH@k}^xe)n3*a*<(oir%^74ySCNUFoo3+R7$NU8V}5eOh{EI9pNwECZ= z!B{Zsi#q^jra@Gb9-{t3n<9?2fWbvb*?*$`9Z8Pfkz^+3{}dbl9e=9+!=Dy+f+8`7 zBROCMFqwe2gNTr)0QNHdOD}97hA7-YFA(_$K7mWmJ+&XIcaJL(|69?poZ8rOO)ZvO z#}0RPxV@EO#|Zl41s-sna*~6ZXbFWy3O*`cm7W!A@;wwPCMXU0@#DbPs^t>GzuKu+ z7nE-u|GrnL4sa${U6~0>!d@bqs=~slub1oQRC_f0bLHGshapd1gMT(PYF$x$dh&~S z*C20zYSL9wc#@Eh4R8V7ay;!J{nmHrL(l2`Te@6-4V?!>osOf|Vd(8e?e7I+5XXXJ zMlI?FWZ0M#W4%I>v2?WJKa4UUUelxa(0WALS@Ev!LFwUeg(1T%M{WJLJj!>2v>fzQ zRizg0t&7jmO)FeSQ;SOjd*8KQaWsh;9gS>?Ks@M4%j}nA@dW>&| z4^o42o5dycdJJ2*tR>%fNZER1#&(jqFM`vJYuv2g6>nH=)xM1_d%JvGoqldK<)s!N za!QN1$xRZ{EhqmX)vJ@L#vowA67dl}22v<~Dwcjt#hz3XPB*G`U~@)O9auEUqq`wV z<*B=K7Qh(jA>zrRiJ{x+oS)-@RQRO=&6ku)c0O*4LaBZHpe&`4Wac~PnC3)XYDawf zcM!HcQ+0f*QJm6o+xaym2HYvNknqIi3+%?>Lr>Po@>~LW^~_EZIb^yFbC;f=zLDpo zZkO}1e*d#}Y|nn%2q%dX`IrKo-})W?O=VG&40<)6%wGQ7d&$FE6Mjhuk(so;Zp*-X zATu{#m{m^;AhBDEirPbixFBW>UB=pG^> zEoF(N_xk#2pl+Of|MeRE$H{803Y zPJ+ERQ#DslUqn>cR3|{Mduhv34DcbIv4lLYj8qE-%LkiFzHL$Zu9f>qnG!k;s$9V%o20@elFRBuiP450%a0>b zBQnURrL2~!`pY%&dMucBh2~_!OZr;PVcnQbOeP7gPw8o#%oRm|JtT&$=!*Uiagwue z#b+6_tY7M5@L(9*$>oj1QCe)4K){;cRMq=674Mpbwf}A`}t_=x$?>!efZl8is zgO!P|x$~JQ%8yC~s+duuy7?0yzD>^#SwtFybaJfVo4e6>u_o#N{@XFNoQMXC)>J6g zC=pfWb4p=AuUp-nn(S4d`gNYOR9wGAKvtMQ%YikKkK|&GA@+DQc}2N&9QpE(!R_Ts#zE9WUlk8DXKdfdlxXc^p58p9(cH z%0Wl<-k6#-U*Wo$xYUyW1rPaV6EHRVDUMktm zD?h01a>Rgh1P>b#c$2B-u{5s5vO|BtBvX0qDI5kXND65pHL`H9Nz1UQ`@_YBd+EEp z7`+}5*P~{C%Oa^S^P)Cz6$KZwQt_~5yeNl#{~iw)E~&*g%q;_?z|E$lx0O}jvUH-) z7ixw`^vC=Q$h&=Te_TcCE8*4J>_ppQmmL~P_X$ahm$lo^)LN(U8fGK6Lc)^svJQxu z>SIRxMC{aGY)6RN50*HV%7=ajN#lV72tsW{>iC_W=8h}5_@mRzZ!oOWpZ>P5QMtA? zK{sWiTuG_uz^&s$gVR>DTEs*|3!B{^UViJ@iSL+fq0fOD$8ug>xspoIyfUC&)H`5> zaCu{BCfmq~d+}X(*L;=VJ~vEoVM|Dei||E9OlnXFttYy1MuS0D)FtxW}Q!q#Na7gr94E8W(b^A#07ChIxc3u2l2;QH!b;e|z*UiTt?$k%7=F^2TxYIA9-^P0iJXR z$J@HzAcN;n&hWDnfQaT%98m5Ke>%jSC}^k(2zqYayz+i>Z5HfBX{XzU9Wd zpIA5>GEjz#vWK#6&9sO{DJW-~;$j5bpBe#*jeUhQz8`ji@qgg+ClZ*^dF^}PeFqJK z1W<+lX-hbN%R(rU3I*1Tfw7AZXui+oz>Vmv2tawfB&|8Tx%LmM5!ZoQ9n1@SBmQYF z2Zae>IDXsS-d?;p5v<=gr6#C3GaKvr9%4}aD)2i4C&^a>l~;sS63 zSYW>odesH=IqR({;K%f>9{72c8w3K?0iE~%z>Ddw7`VkMmVAS}=?=b%6cq@#JQ)~A2VA(?=P`GI4sG=Q^}-M<;QV*z-%xQ$ksAFS3c#V( z;~232i|Y{BKox*d6woIW?;D;mLjYa@-!I2HcUY#<-*6mn4g@$25NGd!p7ZXRKt}(t*QWTS78GynDz^YdNOwcDFtx2WRG W6%xK^<9vV(AO#uK7o}j+kpBTHs1?2d