From 77a1bb7ebe9bf32e376d66172a758e7c8a53477f Mon Sep 17 00:00:00 2001 From: nik Date: Sun, 5 Oct 2025 10:47:03 +0300 Subject: [PATCH] upd prac 5 --- pracs/prac5/ans.pdf | Bin 0 -> 58547 bytes pracs/prac5/ans.typ | 220 ++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 220 insertions(+) create mode 100644 pracs/prac5/ans.pdf create mode 100644 pracs/prac5/ans.typ diff --git a/pracs/prac5/ans.pdf b/pracs/prac5/ans.pdf new file mode 100644 index 0000000000000000000000000000000000000000..e11d550651f056db0c9a3f94745e61f77ad7c26e GIT binary patch literal 58547 zcmce81yo(ll5TJf?(PJ)g9UeYcXxMp3GVI$3vMA0AZQ>#f;$Aa;7+jQ?L+Qdnfc$` zwPxOWrz?xKyQ^zgSNA^M=SzK?T3K9@iH(^XkvbUoAR_XTv64BN+9LAvBa)G^sQWlu zkg-TQIl6aB&sr>6WP0F0aI&(Ju>pmfjgyQWC?IYgG7g|{a&nS^ zfWpnjOU4NDp2Pyj6RvXQZ~ zf`t<>#tvM7Edv$61v?oxa1VA4u<(HEKwts!vK#!%go3B|9}_BX;b`S<=GdOr!3g9*I+#qRV?{47=#M9oy-9p>~yjZ|Sf$6a@aX|FWb4XQi+GItGJbjE= zgu)PLa1m^mt46GZPU5)|D_atP^E0MI=W|Vg`W@)djZ#~s8@ip1{}AxSvs}pV_EO3M zg?~H<(RXVMS@WXPziMg7y`9U|TKjf6NUW07?cGIKr}b z;U%3Q#ic3svTmU@SI$$~3aW#jrBjM{RFmdL_RrnI>PWiimqsOxaps3P!Bz=npCE9Lm90r(Nzw~B5mp}8DuPrGB@wYxh80EK zM8OK^^FYr>P8na~0wRxGv7z|&OL#&OuQ{hr-6r$R8DT9a%;88lD079T zwRgU1deiqh8@P2pf3|r0F8+es5J$iSKkt8=%)dYR9DlV?IJh`DpC7EhSP;OH`TJMd zKYt^L{mW7*)3Wi#+-u2Tr9@(-m^61h!e@bN!seS!lF5y#%(&>g$e;1jeDk%=o&?deq*f{qlRobKqnoG^|KO?iSHHD~< zSJI~`<^LkLc?t72t`({Jf_emrI@hACsr{Gf(8l@T+0V|3*>C5CoN!OVM?aiS&f&H5xpj_XyPtlt zkXL)g_kW?q#;#NwOs2!6*s7O@=Oao;OJhL({<%~>ZcQwOM`4A9Y2#E4OGXvp7K52d zCJNKkPo!HgV?hm7)!{iy<1~TjJErik=Aj$1eq=iP5m{B zR$puuv|Q;IGs7**YKtK(zJv{77apG9!)WX>j_k`6k0_{;^hvr_mcl-~gCFFT--rt{ zZ`e1?bzsRfaQwbam7g_l<229Le5{u>M`)aaI?BKDvH+JIqG~oVaDe7zV-lRxru&IqW;JsP|UQL-t@5tj9;X+BwKQTd#C1QOG_kBDE^Sv~&b8;~KrNgfHf{v=O_*N1 zI_`_9it&AE*}&tk;2w;CPPv|m_V{*CKh3eKf5GAi?emWUq)2k_50?2fa;<%R_6lXA z@6(GRZ)TwH8ywt|%GJ{tHO|>T<1^>lre!kW#8@^g{T@yV;xHmluzE2mXVgP&%=D8e zq(2!IwOLC&z0cw<*Wx-$lE9iB&GFM{b^ixVjlEqW)i;W(f?lUsy~ILD5=xw?B%%*U zovK828MuVD@NK2$Qt?E!Y3IrND{t3Wr^qaKI;%)l%G5Myd*x_EBT@y!x@%}vfMURKibmk2j7_C z{_6*}6K?Jg?;5)!h87P@L*@A(x?6Fj4OHO1kC#RqqcOTns81Z=q*T|!@aRz_eWk04 z3O0D3oR%|T=oVEYxf3}x$m#t}ezCpXwOGA&@_<$Qf-?K1M61!7r-FCu_r>MdYsA<3 z<*;EIRvMUZ?T>NS?d9wD)uZZzX(3Q(`a;?$yO2Y?=7!qx@D;EuDAt>AY?lm!KmC%N zOY!(z&Y7F}DV{mrJmHAf<7`YOuQBIJB$TlA+Lg7JfaA%GqS>Dp(Av_ zv(sIvGU=X968)ZOx9SO#>aEr{cFGgguh7DDc=G4u9;mpk-ist_u+rTJ__r=;5``qEkeQ zFkLYj3<-=-nb(OYjub>_i%{n6lOmNzCE3mbqTcd(9+Eb12>1 zh=_a4wyI5@D8%O4q=j4_R`CI1)sxjlFnImt`Bgo7^UC9^?-%8k*Fs9S=tU7(NgdOv z#uF{o?-CI`+QN4(T#S2%H{%DilYOkeiXFjT=G^D8nX%R?)SqjZ%4K9&?4rHysGm!` zc9(!8VKjcVXi7zOq%UnGOMlSDY$>)zT8Gc$T0?yHE0|W>GmLrsW0?2`k%vE`>xSpH zzVcc@Y6W95rsb5Wq#bgM?8n8e+X=^|h-s7<&!UifXPJz0>%+*)^g`F!mb61ov&he3 z!Y@7t|7MnsJPn;bN2UtUxQ5gDd~n;!Xc(o)m+`Fy{pafMfSbed4vjY)$I$+_iJz7e zZ{PCmz*V>srXSIMrMb)DY{~uprGNV*gJflGaTn3#dx$>DSFbn0h(nAuS%z_8F5f#~ zZ;e02$;wcz24JiZZWiv|uQ0x#4nggC1CMsvMwD=bbrU%xjdnbK`kOBI8i$*`r{04J zif&J6+22!?U*vJ1@%?svgyX=S6}`j~^0< z`zXfxTsc%65a@h)*4=No&`JG}-dGtQ;b}f%Jcz;+>uwl+H(+E$LU7OM0oAi>4ibvqm*zxF--e@moyUmFS4v;&`$)4AJs%eaaR&> z!+wZ}vLi??lMZ%NfhJBi;wyLG=)AdKCA>-EJ{8gu5@N%s2;jp+Rqif*J1O_Udid&e zw39pHY+!tIyhZ=G=w{LetKXUOq7Y_fU=Yo(miR-YMBdvO6$OHloyNDZB{5l2F+5C_ zwcH)qB{wS9eWJ^%x#qJJz8b?<@~+9(0WzxKDj>##K7Ph=SxPDbK5uF9cm46Q9l`2>DQd z;O1E`yPeX&3gSKvvoVBG+`|wXlbcsq6I}lwM$9IkShYo6)N}Uc&J;Us%=n<_rQ2K* zfvBqQ0%D8%693vhE@IFjLSK?ilVx31Mh4!ywbwpyTeSL{(`9yqNQoAu*z6pv8B125!kagB+;$3uoz`M!u5$r-`jp7BBc_{C%F(g3{B_F9>|j1vtE{L zX`}con1mGY+nl5WQMcfFvfN+3#P#Z)4%G|gM!-C=Jc~RFhy7hH0~LOl`CTcuP2|Y*;QvE-S8iyjU=);pw3{s25mBaiUym z1ENPZp09@y$9D`j+GRtb_BLw@t|@0{rN;aNUX*@6`kv98fz51oE-!kebx(#K_E*1G z!Pw3}fQ>&;#=qh}|A7c8nm7RP+rNd@p4IJ5tlR+9hK&ux{vX{%MV-9K^q9EVxjD(0 z*m-#XyoVdWcz9R=qy_j5{0Em4akR3xAY)>C?j-^S-`vS~ctK!=KUkbQ&=z@Z1qT>C`p@_r=>IZmu;IV|8vhGmPFh?} zLRR*_0E_=iP>~bt-+u-bx&MpPV70%Rs(*3%pCJTr!#_aL|JL{Ci2i>A6uF+q2AXh z;PF|wc>xp8&>{#}&3~Xp4xsNJXb}X!l7FB@5D(YiphXVAgFn#XGXx2A;w0nZ0$TqF z4*)y@C?q!-2L~`(0J{Xn!Uw1xx_;0AU4#zhD7JjFatI!2SUjfDX`? z6L1?CF%V3^Q9!tWpabYJ7(fQ*hZDE}1n?9XBp_T|K;0h!_XRou;4Yxc#riA&%**vG z;J9af#Z_qCn z$Mbj2{~Y>FlSu@i--y#k#BqpdLDuuZIa_j(7tvxYwz?cvQ7N)iyn1<`CbR3@X0PQmgZxF8d;c2P{*Cg{_P+L;0bMf%QU?+pjZ7Ug zy^IrXzsy!akJBbQEBnGrwc#a0*V}9~+lKdcOHF6JiJhPBd(mOFXFlHy;*Kv9ZlMb9 zB-ZA3x+lteFT768kU*P9#;EE|;WoNjk1cSsvaR~8SbQQZZFx~c9kZshVGud=MsIq_ z^mL3`?JK*1ME0oAP{;4(_t)|9ZyVq&kMNV{mlj@o;c^`e1R{{MSG6yZrJVEF=0|tS zu>N*sWR&}Q7LcaTe$IR4Qq9Pe^ccXbfC`DhAvC4_Wpqx;t1*oBq>$Qg>COtDJ}_2k zFU#|_)$arkc`d1&0-Iby44;7YjS`g(p06H7-bWK%EByD&-xt0dF2iiS&qU(h!a{e_|)FN0Kr*OiLfBZWkugCG+?yl)Ym zOQn&B5OgsUpgm>OxWjPpsRkBsO1EMaoSeM}`V~C8)tc(+p7JqSn!H28mnpn%0x2~u zuq_9aI%Oa9cqa}|grEhi6=6xC=MXz&PVWT^o(evlyz5yXA;;Tqx) zhnly<1MMx2*H?KTjO+@}iO2T1dzWkvdAkeNZa=M^?j(|j?*(Q&d^|nuI^4TEp4&TNYw?F)fmA)IU9!~$c8y%k8^&R|T?y36OHb5@H>)9{3;l~U zH{VT;`@44ZNeZ~%+LZ=wD+$I2-LEU5tfjLs`Bz?+5wgI2^55K9E};r!Fd_Z9%|P1e zn!9{mwKFSKLMdrC4r;~fVXFUH>fIv&3+o-Cw(9^P+RV!nU6G&V@C6{F zO~$Wo+e^yL3We!5l&&?MO;riibpkGOR<*y(cVMqR-H|fJAj={kD9f~{iVjbD5mc$1 zL3Fe$RD6-W%`}|8WTcOfNvOe)rBZZb&V3~s#Z;10R3iMTj2^aS*F)g#o3i4>34rb7LS?R!|q; z^a%PT)=rwEqBWeGXG_LTQvQHB?G$^M=;s~Mm2#zn>|3OBsw}}|H;sNlUOAgmX=x$c zQam z(-|$w7Ml-K+X~7m&#r`z(OG$?2;;3<@BNu{8p6RaySytnMgA03<&xXG-Wm=vfYcULHv;2gg0)4=Um)5AAoC?J*3{4}{MAu9DYF(0? z_^p(X%*rX(hr6lX;}~+Zm1WTaJM8n4BCdCHW5XQdIaJAQn9zJ%wiGAhCmE(<*EYK3 z`-_)&d4U{K%+ByhiCW_Y9hJ7njf4)y`v`IPX_X@s94ae|R4iipFU$S8xmcZq=ie2H z&zJib-VKA!*jiVM6ud`1FGT*JHdQt-ucTThqL+WdAef#Jt@b`VeJkThx=w>g>mLLTpnPg!$n zRrJii=Cn`@aG6WVFB-&lEhI&U%o;O$-Shm?=S3XkByw({=pc^a8TD%EB)@=9C8k|T zBn{d*zbtgo^e;0SQdxj?3^CE?Bt=!&rCy$@zV)0TT@C9iv_wA`b*IwAqfMry?@LLw zU}{u1J{GpMYa$>Vg~Z@X8D#~w%vh+G)!nP#_DRn~Pj zLo>N%8h9CQ`5TzlI|} zw{<=7X$X&BIdLsD_RbKuZ}y$dl-r2nOWp{-Uwf=YY9*s%_p|6~T+obe3ArsE)s>1( z-BaHibkrkk@#RA_(#)zE)-P>;TlY0#L7pI6G`|$XROE_Cnwlyl#mCN0;-%J2z^{JZ z8Szb%Bnn;pizAPxlO{&$ImAIJry<+ka#a5^` z_h&3`&v1<|tkw!%ca~5sM)f{vWLxQupD6}zu7oqwrz?n==W_Iw_F549p03-iLy~rA zros#33lp1T5~W;_{m3uopt{W3b_nn1C2~}knBk<0NyS`c8L5p-gEXFLIYL;OdC*y> z57&3Ns@3DS0z5!e!FG0|KFn7mH`A!S@T+%ed{=T;aBllQ-lO^or22h%Nh4S@mWg;V zkq50N&d8!Jz+g(;u7;L_k?{H0{vQ3(K)6E45{9+$@n;=vkLp0A>clxToffgt8KRJ-xveS@lQFbpOf=}=nDKVaeDo$Gb}fY*3EXp-=Tmjf_8zZO(hZoF_m5I8${k_72o$xOBEe?dwo~r zgNHEM*1OFUTjzEPt<995vm|9S1|ddY==f3>8!)sku*Yd{As+`Irs2j!&Y<;k->ZdD zy1#njj>@)R{D~ea!w-$BW=}a9{Yw|qhN}pM=4+Tj)O3~=sKRRCzIrpwW!L~gKBvNW zN}ooH;;iGRn-BB2Oc3*UI#23;`bn?2SNlk|IQQN?2g7O+19^I{d=`4_ta-CB8PN(W zKKYv3g=E9RQ%!(EU4dAs*fNG#|^ZNDA@VuIVAT_Lkz zY&q*2G>N)~%~-WCODicpGXD?arC5@ip&4$BN$y3M05pG$ao0Wm#1*eVNk^1N>{WST zr3pQe@@nW;QRNk`+3BaC;OJWhw=zh$oF|ZRNp`TpLVBMR9*0RAt!0S%YD){@3jan( z!u)+tUbV0b-l|Ca>k$KBOaAWJP1YZqH)l^vkNHj_nmtVQTP$|zKzYd`o#n<=tGxAZ0Q9LZ%Y?jaaeE$`gUBzPmr-Fslu> zaC0R5lmJgnATb_nOe=8lDJsdDinq+z>qBK6{?b?V`O&4kJ#wZKy3*O*CuAFf%GV^Z zMQb4-idxp})>5|OUH$Ro*f+{bk;lpvNut!_UN~DtTO;>#v6bZWdpAr%gFICs6dNi$ zQLu$>UP_VccR%$&h-E`AwTLR4lFb-lUp6fxR$fV^lul8Zgw?$7Vm#I6^SoK6S;9s1 zSSY)e7VBv4fDOZLL)ZPQ-;MO;Uc~JbMcRf<(EG{5SRIb>e>W9 z!km}A8BVmn$A{~_UN?3QYk(YeL!f`^k*hd02$|m~`T_-ix=G*l=p)?l8%dZ48Ckh; zAWI`Mtyw`5N{u*U!=m4P@K(k*9KzS?*FEYyNrK~?sf%qf4>=VZ|5>UwyVzd63Vx~O zwMj`(ZSlvJ_YwV!0j0&3K^&^zK7gDv8=(di9Ekn+>iJw{`aZ4zaWW zeL$w75Y(ZUf{#evpx3aZh4spV_(GnpTQ9mkLf5WtkdxgUvFldh^tAtEO(nbfxY&Pa zJojl6BYiab$Br3h2AjA%#UaFRyYBg3J7fCkqc}Jtw~>*Y5yGSc$VM_o$@kPadYA|f zF(@bo{YX{I-sfjFUdxW47Oa?P6ig`!^5{AmukR;ywl&i*$1c}%w->J|a_3m|aPctT z+&iWh!efL%!}iK|D}PswUUN7|4bdUN3Zv9!dC{QD3JZy}xJj2pFG=#a(xTDyOF0Eq zQ(#gXKEZSnY4OggXbmDS=^AT&GYHAKOKA9@L@9Wp;7d)q(5WsZ-R%(}GF<8pgv_2M z2Im2O;ZP*~4!(ywpWI!6{MN?3c^^35Q$=5fQU&UiY41b5t@a-2^;_a#zpdAJ)e}A@ zc4qT+ebQXs(&Kwo@NSwP7TxL`$rvqdQ>vxDsV8GWXW}92#*vYitdM11LLczNLw}cj zBRc%b0&nZxkr5I0)a7TD(V0e35rTxCG68qe!V#q!>rXRtc@AF)Rn{B?0 zILtEDR}!===80|R{W&rs^YR*2Wk%*C4T85HV@m8j1RL};qwKesV3dBxu#QTx`CspK z;@I!rWIMlUxhIr8ajG32abTOzdi-W-*2NXuEY>QAi__JQw#`v6fq{`)UU24xxrl$D z4a=M&vWZ?lQnW&t2N}K6`L>;(&_u=59Z|1%5d>}p?7U!DjL{Iw|91Hp3Xo~b$(;V(#vTuA%-eR7Fe zYN;;z@xmEE1mh(CkP%FC}sf zgC^lY&VG+sLt)QeLZVNjPsvrmaiz%)Gb zpKAf#g8)pB8@67tlpB8Xi;J?~RMl`*R-vlD^@VS`c}Ph4Uw-Kb;wN}0gr)Sa%t5*1 zCNH5jaJeq3AlX0M(wFyX4f(Z9dfO`_p;*V2UFkv$+ge;XB(i#ej~d(C-n_O--xG&o zrigOd_u)oKR(Xq+r?R56V|jIiZ5Pjts8j5*|B4DEODY~I5svT4dftaM>{|;xMF5Ya zDC0IuN{hO$k?iUKkB;^wPIf9OT=ESBI?s^6kYz^L>-j)NN{dk#|2&-b zn1ZO9RLk_7Yn(8c2f_%q!y3tlm%v$s|5Z-np)&=PAB%_15!_eN52rUGGXx!{Y=?c# z?*_hNrT*A>T6XO9$5Cb*8}nQ)^z!WMhQ;Q|OaA~pMU_%X*U2g+I$qqB5GnA^`{0zk zZc`|%Ei1{w#6P^=MH44WHp_9uYcF;?g0x4SwT#qIh6$3zEw`rwjVO81n2u?iIGP1< z`MsKa^QwpkY-&Zk7s#?@M}SwONO$MQX3+F!hG-B?;M`M{qWN$7*N^GhKbIPz-gr?C ze9Xbi)-A#?-nf#N#;=9H!!Nu+DVVxizKHE*fMZ}i;FC0z>h&O#+VprrlKqPKQw*G>FL?`UB-^4M8Hs#|cs4m-4q_ZrL9jS2Dg7iIEAX zoi8ARS=1(1C4Q*4rx6l8F5i%`*B2?ycp z+*PG0VGSD2^>qpTpb*D(ex z(pGX?nm%oY1-s=r(S^QC4l5QyTX`I zwavl|2Gl_>^sPKp49HKSRtesdv!ZM{!6QAWYfbE-W@7!Wo5;iw`Zko5-#s)m%L2cl z8(g5V6TZw1)1xzxO+J9c=WZn(R5H04UPBNz7+i&np0TZ0RUXXjqkax+o>=>#r88bl zOl%)K~g5_eaGT!xIrJ!Oz^@D_fEtLB}km z#2nE?qK=x)dSi7nCmRicocHE?F~lNv^Pg}Vg?l09d&y7gYA0i$w^=qh9>$0vk1kK3 zRJKCX3Du(u*k9Gd!g)cdq|a;Zg+!tI#?RpDmlzaEm@7~ZLI?7^5lbw8YPq`7CW$wQ z>V%gJfRYsCXMPMN!EO|xiV~GmYzbJM3_NSjjo)kLx$?M2^YYSi(ByTk^*+ytIJCZb zY`DG_`e1ppG|a#GVn1O2OIs|b1&hA_iO>YxI!PqN<0&rPZvT$P%p`sHFG>m8o-~e> zlC#7a{sWJblLHDZhSP=nvBgxY(Lka1AWJ1I-89(VTUTr zx%OtnmzCk`q=$0VdDIa^KLtP88e?&rTX-0)ErwMrHxi)F^s=mC59YR5{IJLRb#8a? zsbmvrBT$Tda2h=2YQhK z5mV%70V&^+MGGdXf(fQEb+OOtZLs?n9t)K};Pw4R*jazH8~%Ws^lP2Uk5J*)?IeGL zzNho?-ue@44`1hQ5@|yLtlW67!%XfvI(NZMC{8oe&hCZpYVqeM5%NPXM+=Nra#{#_ zItK?vDS9_buIbJQ5G{PHV(q9f#<{qRZS=b%9z0*nIGe$-A3v|Mtk^%gu%;gNYVR}h znRQrN5jh1cmM09R)(RZIVjLVP5}#BIgv7{gbYk(oqr#g?v74dBHKxy1$PC-w-I>9T zmZQq0{Z=A%)U(?-66CGxiS0@AVX5z>$VN=Bb`?ZEwy?^U)SW*3Ym_y()^~z+9n68t zp>#n{(g_179J_mX#PE;byH-n4=V)OsN*ca?B`deWC|z`O9?hveK zRCCn2Y_({&i=$z|jDh$)H9x=N)<$C3;5@$BmQ!3TV;KKftHd6p-*Qi+A4B3r^&=wb zw@@WzEf4+v`hJ(2x^+1+G6KF7nnV4#9$d$C?m#2oxUD8F&2+K^BJ441(pKy_{#q!y zx>v7SjU~f|J~L$Cz%lDKdML2d>(J)i+JI;U3J{#21t*dF_{WBvOvZlA@KSB%wR$8M zH)rMl+SEbfC}P%Po;$$5HBJ>6n=CDlV12mdk$Qt32G{9iZ{2l$1i?A_B9LHf}=Ep3Tn|@xdvKAkW!am0x!;%J0OM_E4en z*?~tZU4!*;U4zaF&JKwPKOyg_9F>qGMkPBgem#BW^4F;M5G0)F32-~=NVtq<(_%lE zK)I_oG*2Hic2KzsKmiDX?Y*5xzPRepUtP%*s2y)(}6+MXWuN`Z;>1if;%Jb znwcILL?Piy6;`S!b_L4vB)U(zS9eJljDX*};|CU>R<1%HLIcrZL5Zok z!?X8AvbDb_Wvz~>w@cl=#i+BVrK|A{n8E{H`jz) zlhSfDLLPQXo(w8?k-kN;x?dWwMYfM%Gt%`z;RyTtcZ} z5sLFj6Ub(Cgj02h$Ouv5-82HaDAEFc8#P1gk3k4llxiM>-(s^~d9HSjbrl)iRcXIp;*fyuQ24<(i~Ug} z@&)d)DO+x~FHEnMv@ce%B&?xTf8CV}4R)V2W4NK6SoLB$jO|8hb0=R>Sb+iB^snUW z^|01=pmzyFqXf|V3l^FY>a|*j>c30GPZuv>hdVHj-VL>KESx0@l64FUt7CekBN+|z znK;c|+J{Fc!=4U~;F^b{iN6)<)fdzi6HSo!z)&o=O=&oXS}w-^flYWq#_1@f1Lb+U zAaFK(+d2K?p@M0(lb;I1!Wu#wW5^4#RxwmQvD7WaY}s2S)-@E} z)t5LRHDwO?lk0ZR1Om4)!WB2y)C)w7^sk@lgK>pzS@qH@-^O{-eejcMAd^T64%AXc zEGH7VaGSA-$ePQO$U(OtzbwkiN1eDB||Qcu0g9c_nwe2w*kj%q*!*nA407% z^W(A4M(*7Kyak9$4TI~Ll8Smjm!V%VMDyK;s!_x62~H?9?pL*C9do*cI&T7WX8bEq zU3N#dh!-&0VPX{I<(0(!NmH16oXR9+JLMD0eZzE~RtSwDw;L8m%i!V7Gp9*KVMUeD zI;ko{m5LxSrchEuruwP82z_71JGR#KT6IoZUxgQBAP9UUUt#>F)&aFzypohk)-;{$ z9zkIkGg$$LNTCV8-7DUMDJjFBO;wm}-fe|3ohrjm#kLAhjpyP=GHyBg-u$gG#llc} zRUFRl6Y3>wRId!7xq0h^MAB)R>H&5=-weo!l~mmAw)JSyuiQv|SIFvQE+47Y^-5KL zsIxDHT~&muZtr;QU}=%JwQE$UNhpw|I|6Do=sH?rs=M{w!+@!?KzGRu$oGfYoE%9; z=8g|*;W|momm_1huQv{{ducTH{TaWy>OQy`5CsH!mcwxFh}j|))b2T)#MmJn#hSui zfkrD=G;#Zi*8rm$2$vS;-OZaqW;=FfCnwGv(sl{;S0$?5DO&xvm8r&@^J!+I-?s7* z+QpqD_nMY_Jl~C`*fB_~FRydn{CF%IVZCm!jlJWLbDEocanF@YVl#0-_7gIUr&O`N zkqutYF0+FD>??@Oj6dnJj|9@f`%D9BItA*(#gxz@I-pa zjV`bP*gCldI`*6k$k|y=Q8nm9PLCbXqxH9Mch@dqb6iipyuB}>ugOqm&rVLG!Leoa z@Hg~t%u3Z>C31s-K*O7cDxWhg6Z+<)W9Z)4*3V|HV3E|2V&ptm`*i7re3m zU*#`=)5-pkq4V!^82@c196;Fo@ADTqfCRGV{6$`Np8u!mi@co7&)JUul)VVf&iGe$ z@&A+-Evu`lDW~#ZvKPU$=>I7p8pwV7uepmr^4ouM`C09+rU;y2^7n+xe@-Oz18(_$$y@}Jn8BHg;7mer<|42@fV@Q@*$l|f17|F9gR}U+ z((ROxR9C zeyy@SBZSHQ*j0m`!gD4-P!WEF{<;-o3ofNTzlhkpSi+Q2Hv?K@sD44O)RW1ivBmBO z(eG`m;se#>Q&peqYK@9i`{t`OAA+(F%YwlY;S%9#pfn4o3LgqP70@&~5?Sv)M32>R z+(Mn`i4c?>Y2H2Ex^>|hb~l}y6}=nt>L|` zM=^4&;v}8)@%72Ov`{FMKt=ay6CJuhR>3~Yo*o*PO=Rr!8a8?YRvwo${ zrv-D)9Ic$uO0HOkaSXeq0{4+Q2d?k?%)U2y``MGtC3^?R%cJcoitQdh=8kuQTJ$?0n)p@jGp7uku;M#3x zVidhQQbp5>ZP!Ej{Lx&T>$tgR*d~#lukW$c9L45R_*ux0d0)ffhSh z&xgghjQCS3B8YafJEu15j=x*Kmb($BFvZEi_i}Yek8V--Pxpy+{G=1u5y|xWQ3faM z!i0c2V^0ICP`Qwfj)7k`(?`hrJG1|`dlLbjdK;s}(IBY^&u8Q(L~T6gr<$7X;Y*Dg zJ?8Nf&3X?D9Curjh^pq&qM-p~Kkmz1Z!yzQYs$ArO{|U`?I{dHb9R%68um0++gZ?M zlj+%BR(RUHknhhC{5OLj4UWfQ3AmzjrGgcdg6~ICf~DFa{Tn>^+?HjbhmA?mUr#;mauPAk9fek`=??k6xFCw3*-MXBU$U>srb z`02tj`XcE|wG;MA2^sn)=nd=ZtB*q?TUkFjEAO>h_6@SaXoQbQg?yd-`$3?&^BtMm0GK~?EeLpAcBs&#{HwJw%}NDTJz*k zp@4o$^~oy%1J78&@|kU(?qH3bGuMIj)Es!-(h%t;t%B@bxiQOo&(pgHroq_DgeHGO zcsc`~i~fo=+hy(oDK-4mvkbQ{&7=!it4W{U8tp2!_IOrlF8YpQIW2T}*ff=_V<5$b ziWJ}1^r-bFsa}5JOHs?qu&CK}@{am8{TJuB=gsvWd*8o5$NigA!QW4DtlT`{EgO8M z`WF@o2e3K+VWF_Hfu7$`0&K>B;y-gyo?qng|B8w7{Pq7YXE}fq@Xs58oS zg&p8dJabV176bT12WAfdoQLNV+%p#iyoi7T=B9v8b|8RS@O-jk1wC_7o;fAYEEH~F zvj4_H0r&}jW1)b#C(kSt4uFaAA1}B8>YiCBAnyNQp@0A{{;*Iu!Niki778c0$1@9s z8{jtlVWEHk{sizG0rJcr0UQUY7Jp}u=+C#g#*lBd1j%2c!1VFEEI6v zGYjQe@0o?d1#ndUuu#DE{;*K~!L#|pMFH^wI?r4bE`XWwH!ccT`wtfdh|C`@3i!o6 ze`BElbPiw`fN%nA9e{-b2q&0~0uX+{qz)jiz)%4G2VnURGldJxI(cTMZ~=^vKg<+x z%)yitFmVJt1J6VhaNRQtg_8%c4t}c;cy9jnwEdUd4o>d>Ew^LDag!A*@|HisDnuMt z-oK!73#_U08V)9*bo4;V|Z=x?GzrEKKGRt`vD({CD z-yG-kW_spyA1zOM>w|Wb_2#>E?P@;icF@k+Xpri+*72hb8U}Q^=`5=4 zbP<`p%s@3*o9X?jbG_HV(+eq=voIIFsS#xI$lUhW)KyJz`&m4=g~LZp%H{j35&}j) zR0*%*{YKY8HEPc&4=GW0wR8cMd*;Il3*=RU_SHE(FZ-;}Onlu7^Nk_FzO}krTrQcu zldMK5?bXi4E>~Kvk1`SBvr>i_@o-7;h<^vpbBwwy+R?5+IWeBp=mO(F` zW)A9$2%F+-wtE`sc6-tC`R;D$H0&vO<1}st-DFEHY-s;leAs3V^ZU6QD@_5n6YUK_ zZ=4%87d;a|5y4X_3>nTS8_Go%!GkhI7LyxNL|sZ^!Zryd9k%=RBdmaE#S5m5Y-yw_ z#ckSkiF4alImUl2j( zL+V;HhlUm9)C+@fheJQYS4k1qiZCp&B1Gil>`R+e@X{1FOowi=B82$Z9-w{){^@}3 zxAv7vgb?y`ZXg7#m)^jk9YYNiQzi`Az1!WEsfw1S^+_4y@xeFR7iUmTMuGYCbng9G zZ{3q*r1!zuaGE*^#faY~y}5O{)L{uPUGN7%`>J*FDpwFh;&OxYn!}^YTr+J>*jn|8)In`843RaPQXVbN{N{Y4eS4 z_nL0E!sXe;MbV_Spd4kG7-kBESwu8MF+#ElrdC8G67Z^>wxHIYh&D;vPL+ASRg!&Y zRQVF0iz~~7NAi47;+4p+bHXQLRMf+CvfSMBOlrK{hk`|a+xQ>o;-pX;`H%3QpC-0l+V(A&Jl z+y6KwzpTT{VZjROGIkZ$wm&I|n_Vp$ElO&02uundy$UN*nDNbEvbaeKS0a;1=dyGW zJ}EWZz-l5Qq@zkoWwC5#pd_LrycU9wRpT+oTVS%OUh@!PyGki$oUt{C(@-Vj`nmAZ z@yHPUSRpg;s`s1Sqvz->fVZq~F*kNo?+z`04&egc{?exNb#CJNY1PIyJ#>;dlb74HWqn?wTe69b`D*3rFNwB|w2{#Xhz?fbGvfWc$e*&oPpBF> z{#KK5B zBCo-(8Iu%*cp{$jBIsSX~_)R7bgUf8WK;{5b=5 zXBhvhJJI!%YSm$BLFF!!{_R9XR1x572K<3z^eBZ{wmd4;TWjnv(>qDTGnMmIRnQ4x z7A+dBDP=OY#;ps|fJwC#(QPJ^7AVv*Gu1d#szEGSH%Cp#326q7*HwyNHhYRk z+pN7{C|vi@O3e@`1b47B_wiZv@oKLy1GKjQ6CiRsXy9m>y?~2u)08hDNb~jvY^S8_ z0lG65__3hdkUJ9ING##gmJ!%Wi0x9@*+JRv{uoMb)*_9H>lg~cUShqFLZ=)*2QAF; z?ruDg;G1)TQhch)Dg23XK&(dRZ)y!~Q)N?aO&BQ}nHfoOwX-5|Yb<^tImOU8X#6u#&HY~>HB_IFu*m=xV$eew!*=9$R{@qlJWCr zo$FgF)9}MR+#xtJ{UtvDru%q@QrjuDSk8=RO$*b2(H@0H`V4!&zZXG$9?SMhEV6Ut z+!po7N_rqAp)=8=4f-gC9Uh*tVl2{J%3ln^*XHe?6={s$kJ1dk0A$C6?ouafId&Ub z+$4LP4E5VArN-I7JfOJnLR7{A@l4me@7w~O;9P<04amQuR#eYi-B}Y|i+fASgCMdV zZ1NSWoQ{yDGQJm4`3)`LE+a<|PA@aLR6Jr_y|gs-7|yogn<+;N9W(VFA3(SdzeKTO zlcb2EMDdUDD0O?l4(rleId^S|Tj2t<1J0<{qT+c)6$QsYwks{g2>QME32OHLXTg9mj=Y-{MX|)k- z!S)9wQv+H*Zt3HG_XEe-smtQpaZ@V&a?D7ii%hQ^#nzXI6a@TpK}d1-`!OMq)Vsc&;8RVjt7MMBy;Img_|} z2}-Bux^?Auz7FShdk_8T;V_$B-L{!DH}Pp!Xd~mk*+4Nbb)VWcE8>{>VIrnn!UyCT zJMXW?4{`Pgf(_S4RlFP+V0?6_=rkk$LAG0QRZD?~_+ss&B7oNP;r&C;aye2#TTM4a zt7`<~W{Pwfi2)Mle(rRMDGG)8U0CDS_wOmlUXW%s)EDk_J4#c^y)$OIbPSKMv{QvQ z9HJOvqn#thCC1_PBs32cYjnL%{%U25oj`1gYtIj~94s_!E~H4^O^xJW$SY>9I6Hxc zted7xnl)E;ajVJ+7hZ-t0G{(X;0e{33IrhnKT)FOsAwGLgSff8Ts#@DatO!b2r$Qg z^02B_CZLZHLY^8LNH^sbmb5$CajMRnynQ*EJameYZOj_ekcb(Xq993U;wYD?6hKX8 z3CwKBGaySEaBF_N$AqJzrUekA_MAuBKWQ=IB0IXIVgG`2lml5CTPaO~j!^?Alw|_qn>eXBp#5ZG z;k37@ZvzHa>H>(gpl5f@kF#>Kd2!VBK4BW~7%++M?Lm{aJMdqIo&d|!vPm^C(6zLn z%Bb(sU5x$7Y4>?Zu+2Ghr2ETO&qLte_5yHg+QEvA)C{x$^Pr+l655u`8y>}u-yZao zHewI-*jhV~R4QsrJViPu!%`)U@kF(5sTG$qyT^6{%HXb3rGB0aQZ>PJ!)eq844Pj%SgV$WlcPbh0jVLMYCFFX`HT*jATF|-Zv;BX@rbUW14a{ z)$E;=UGCryPTQCfp(I1#FS(n%n9hf9>=Qv$JTLdGaArN`-A2GhEt~v9Hg%uUaeif_ zXne?qOSPfxEEF3eZK_q5Io)h{(z0Q=AQiY;&ezqp9!_SCG%cfz;IJ5x)?@HHbVZCU zFy#qbf09}Vju{86gR=E_y26<d)RM}`U1gbckMt7P5OYyp)|q+V#P_Ur*<1Y^CX-OQSKZsY7*RrqVYRSP0kR>9 zGj@BPx+uzp4Emv3xBw|Jc(34~o~J@qjyB*|bQ>45qNP+!oxz5C2qGM%)Q~o6aw{cZ zP(Pbos_;a;&|-HGnN-+9@b?L_IYai!*-~pA&3y^RDFOGMvU)^XBkgkaCMNubJv1V< znxBR1l-q^NFXntIVud83*JcaPq$GVG^cq(7sS_1B3(g*6oD9Et7NNM>cQ6W7W}_Qf zP*ai&<)hYrut-JIc*F>&1Pt!MQFUz_1KIs`pQR)`<)kWx5-SNmk^coA4!ulsFujWIS1^~eQHxAVnP=6Y7F8dW#}2qHvJ8BU)4HYo1LV?+9`52qYz1+G1X?=Po?jz~!KmJ1^X( z&xq*~ED_Dd%g%)YKUDbK2XYyk1$Ef9!%&jBbcW-;5I2zL^6`S>1`$|Vb}`2}6Kz}2 z-!#{~?_ub*r^}$XOo1LC19xR%)SUJb=LNh_12hJ(NLC!929~QYSU3Mk@jJI`q$nzO z0S^ll0i<&UI*zdH|M`+IL#!jj;4zvzf+~ld_UFPpaz4A`uRv3F54GR~YPEL_fQY+G7N4f(l zo3qvIP|d|3ILPhV?T-82bk4ROCSk~+iQ6A5bAC9l?j&9@KhUIY5RwDe?z4P=^$R*) z3_EpX)TwM_DnG_EbT-8gfrfK$poXUW?i`IP+4{U-IN5D%3BZ19{={|B3^`+=!Wj`P zMv5nq&PXCvHZ~TPJRm$P>2s+I=8!A4WaWT$vu)6`rWJ=288f&|pGf5TN&4Bp{Wiq1 zvkx$Un*;BA8)_6>(3&Qx5f4SJiaws$T5wgfY?{Yp6GI8kYtB3C66nRS)#t>0C>K*C z8+r#i#=_9Q>+xB_Zp?)VsVySZuV_a1|`XP zk5ulxMY5*Re5N+fi7f9&<~^1V8q{z?&zXv6wCu4|`ZX~8DOg3o=)qo5;73BG`Kyp> zX&+No|0-Y5<&Krhpr1tn!hEVTg|Q?wCk)4l!lh*+qL6b+jq-Eds*Bt#;_Rz{eNTxM z;*h5?a}fHAw#!n*q|&7Q@pu%>km2D%^lCU=M8WUYcg#!-;}MC#Qw9xWIV5`A8bm>bU^u}dxYJuP57RAXP&P%Qy%Ox0%WI3KgNHgS>CGT zP6vm5#{VD_*PB)fBm?@hQBsU7*tDFG66kT867O%^m-tCpsl7ZZ?1MmiQ5=vsp|s0y}~ z-ZRxp#dARitr*!-GYMyjWmCGvvk0>bM#OC_`4jF!6{AEg^$fX1@1#kyt7FTuhaQ!9 zk)qQEb#O{X;*<`STOq=+ykXJAM8%^aX!V`63iN7L(-Hkx#dL%8a$yuMK^N*%Ofap} z2fguLhDq1T9p4L`W!Eaw9wUnqH(@t$j|2+jGDEQzu}Isw9A*0Tf|?Y&CTYx2-I6dP;{~%j_Rq{-AafRaToGjk zx2mB!U-jburN4K*2pmZCQo2N`_ zlmvEK9$iT*1DpO~;-k0rjH^!o%=+ty9zv4=6S)WrRQ!i9B^o-FwR-ZJdaV2umC^Az zXCfO7=BGz(7c*eRq&`6I7Y|UOh2U&*-VZyPe-Of>p%;Ppwo5cgo)1rH#H#F^}zn=}`PottdO#q|u_@997h` zZiNkq(W5vm<%u{qWYH3QuM?})0(`$~gK#g%;*0c`%N72nSqDMzyO-jJ4kx^-&K1Z) zS>Qb>0q!$+9Gsyn4Qz)?X~)=B#I(0Y{>t02WCp?(baceVoi-UilXfkdMx|w5M91b( z0TUvJUQQ!0$vx#zR;XG&D?u-ANoKmg0?K_3uobbM#m529R_rSVZ3a)9NjzPF6=+&- zV1X=z;0782*wNbA4d5+%C01A6R?NX6RgtQ+>6qF9Ve#Q|#!XTNYwk60${53F25MZl zu?Pz_FCzrJSnmNk=pOA884rmiaGizu06lv71|-#CM*G!+S!Jy$!(m47cB}020!vc8 zHZ;Qwcr_9RjXO&qA2pc(N_0`lVY(ATrnI@F*wffv>q&JHF1x23uqHN`XpoqQ4(ODa zlTYXk6Of$b`nO=-%_)lzDgm5t^P`)5mSEulz}K(WfktH8gjF8Ec!;=?!tEo-i%;)R zQkw5PXs_TJ6~8o@tDb+5Kgob?cW*hoW08TRm+ZD2X|He_rpU__Taxssrm=0PdZc6gFY;kQ}c{~w3Npy*Z z?wPQGg_DsUES<#%i!=Fdm3ud4!M37$a8!X_iA^)-YcBu2MH(dy^+cJ-MJ@=7Kfnwt ze|HNdoe05T4ED|hXdz!t2A4&-xOpYAp+0y+wRJ}^451O;+%6_%@BVmG0rtvxgh?P% zl(orCV#w(tX&=fIVrp4@!|TmCb3=6i=eCg8i#B3yDMxYRtgdoO1zWic%6^%QqZ6H* zm&t;g3@;=;jf7^0At#p?9B%u^hgTW4nmsG;Iv2{M$)ZastNIq+1ZF=SyRo^6nm1do`W zs38I$d-Qq`roh8JL4=vx>Et)2F1K7+TEt8z7fnmmorVypyT6H}8CiJ>kb~{nG1Z(U zu>E2v>{K=?DxZ?Ui*I=}bxXfN+Y4_mNhn8@fB@qKbl5erVWf~Zt9P`tg+tM~L zL_why#6$1NiQU~q?6F$tm3WLk*fM|z%}6d^_<33s4s-{4y5<$H9lAiLWQWb{E#aQp zEJkhwX3p8hAf609!1gzPw&c9THf3O#i^icyx_URw0GX(8!GZD?YM;Q>*??0o_^c_1 zsyc(VROp4SV^Yh-?z$5dQcIype^`GL#PilNe8D{JUWBNR&-Lzpv*h{p*F?8$x?sbb zh=!bMP6D_G;NMZU(L$M#nBG5&e67uqNv7qfrj$1vZvpenW3C`82jfmSiBNrEwW(Pe|^j`$hZVVB-NvH{2d zgXRz%86MD%f(|RK*zN{^Al_VF{Cq%~l1V2pzJ>1+UoYA zf81ELD&ogNEQJ$WA1%Cc0Asz#erG113BM&LpPVT@AJD$-d@!e3q0n*Jc6+N^P`i4s zU0ZC5y}K^E^maTm>YcG)ni_Bmuw#!zva5$Z;rOVp0*us{I2x9IiITDfl-}ZGFr@bf z1MB7zi;03ClRYlf*tOU2;Z+EGt2z(5KcLoHu~Tm^2lQ5`u3}l%k5%KCgBA6&DiD8M zbU8!1L?O+SQ|I^dFdu$MU}V zHgU=>fUaXVzpq-9QS7V3;l*ty)k7^+4+;*kazRulS(Bt+TPUy-jJX4eZ_Jnf_2l|X zqV{C)$7P;YwVO8ORhd8UW#MdFUF4e?m@?>Nh+%RW3e4aS1+`g0Rr^+BCkVImvffbr z!QI>$Jn<6^rO;`s!jv-_{*G4$^mbX_7Yc~2&f16XyqAN$zLm@|A2KHoGT3dGQwi2T zCXd>=c8O61^gyfEXb_AThwh52IPaT&#q$Lo1rx0C2sFm@hJ)dTXY!NiY(E58#^_nX3yaDXha+c?D)*~# zV?|TjjJx=DS1o045TI>2V7Xt>P0;o;R#|FcC7(GMyIwI4-ef1z3gGgW`N--gtcst< zuYboY{{QAN|Mxife~a>&zC3Y%qkKlDFUI#pkpJfppY^Y_z~4H_|92kqi;MoRH2i;> z#}w357MGQzmNjt`l94fRHvcN9v9tQ0qWdp4`*mJ_UApprRMUK6+5hEa{~Gr1LKgoL zIQZ|AnE&>i|F07JFZBH9n!Y~b|0aXU{snvg5PSAN4Ek$f`6BUu7Un;E_)iw|kMi$p z`BPu>7qR~$&3_fqe7OSu6w&-uYx5VeXZu3Ve-ryZcE`VoJuBPS+TX09e*yJB+rB{lANKrpu&<$CUtc9S|A6{Ghxr@S|9SauUF2WezHErh1b+_r z52*jM_C@2rBBOuC{RQP2|Ckg1c0>Ld_&1gR^L~G*{1@;48u&MbXaB?A|1v^ye3kF~ zP2rjUp!%=Pe-aB{-~M(%{zpO2KP>*w5&nYktY0VdH-TsWV}JY#wtn5&uXp;J!2hvT z{!QTj5dA*{{*OuVYwd3jE6ZvxNp$2a+x2lCIWe>{+1@#!xo;~)FuSCWE_^Ixd^ zUk~knKBE7GB)<{>e?Ig7c?MQ_BIe7u*m;Y(H6T72FccfyYaaYX<#CSk4H~_^uhzzg zAs;&IT&}oc?yY5u$0@rtbxizz7>Ip*Hzutp%m~X(@-A&Y%hZ;cPZi?zbRRA6q))!k zO-_*9>imsdmPuu&A~vtnydYv$%AKv}S!SDcNnzzeclWK9Q+&NeM+NKHY)&W20S4HC zH9nhVEb>C~q%i+YQASJoC7c16P4kC}MWmIOQf`p+w#E~Cv6o!c(~3~p=puBtR+nTy*urs>s&ByQWvb*BfKYf_UE@8W+LS=<(n)%T znM6*@k;Zz|=hHrf!HCkw@vJ%*`gdDh=hMKIZ%%nI=DP^D=CIp16fR+}tuWG1jet(S z;=X~Q0W%H;P;z+ZQ2JxYgA4{3=Aq8QR80CKJ;_J-B25y;XqGOGaNe&Whhp4ahX}<#+Tcj$hpnsBw}mw&ZyG;<@#3&k2F>A$oCKR=SIBBfMEK92wifdVHRG z{lR$qn+}$}(v=Ci>Y_zXXNhh6{b!R)2OzEI#s}!=plSWT`K9;ulki`IT>m_@Y^)sr zhZ02}4M=q*vv#tOxE{JjBk3k3as#dfFEcI`Ybz_8s-^YzKuwWB(BRt8+K{+lT0x|G zA3|(|Zx6L(=YWBEG`4xIi)GnmS|!U5&DqVeE}HM~yp2wuLHE-yKLNxwl`s z>1pu!`SH;r?^l~So?qhP%q{lj*%#&$(uJ@~OG-%@V&&cghjRCc0o-e|N1p3!#@udG zctmN_KS5v7`S@rqj3!lInCss+wvTwHyg3*yS0=SiI?cSjHE2Eo9@|%041ON1wklgB zu)MPW^22`Wzd2T;^)Yyc{`wPCD)~n-nF-i;(;wjriU~y$=@UT5!DI=`ibne+0rP{cz0n9&GZZg4k>Pyf&&^QYBF5d!JY&^sTd4xFoXLCP$7D z@l$4`7Mh^TIyx)CEPYsILB%TgX;~beoZbW%j(9CI*};#derGPoTQ;eWS2cUwz8pQQ zQPHYq4jDE~WnN0ze$%DKB&TBmOv5NabbG2a_5QMO&PbYu>pgeQ-0&b>cFd|>z6Rya zU!r)SzJCAA{DAw!=csW4 z=oh};!&6J__UGCa&N1LUXQn9yEpHHvTa_M zM+=O6w%A%x(W|Gh%TeUTnzHG1z1P^ugPYPRcW+Z>asYl{ytkOpr4YTFp&o`?%bm(@ zG`OIyU~9=pYe}VY${rZY{Km%WE|Pw*US`*St5}XD#d)oW3=_g z!#B~V-k%UIS2^8qvj$!gD(T}HwBkWohE*C?%gI>qg})bLt$nJ>guz1dYQ+nM?^c-o z^h?g8CALc@Sj(5S9^L6YBV@r`0dz%S_%8Zsb3hl_w}rQkd>N}s zUfgqe{mxswUw-s7&QeTOF(*T74`T%_nX{t(5`YFXitk34i!{?*Tdx!}$x$^LWs3kD zg9@KBS@#6&KK8>S`z7mv@Hm~+;)65Y-$X06T`ruvxZMV!N6d8t7yCL?TzxUf46To3wMv=|06aKL@WK}BRibE_8VK?*N*r?C{}gu4;JBsq5t0X(T?TPC zq)*mnz^3stZR1I0i8DCpy=yi_FFOY4B&^@oQh+_@bt-T-pxp{~g>8EZbH_KfMz+B{ zIwE5-X|XYBa{XMiyP|4|G%vSk`v}+nY4YxUJ}r=CGz6%l83;$eMPodBg^MT1zm;Ek z9ohs)9*u0`F%RKI#8si14?n5)SiBztM##-*g3&CuFeG>*zm770v~fHcTZETmFO*1o*^_ReWu7`79a1LV(9~0P zShb|DW^4mw<&uUS^#7%KKGFY6%cpJ!k6t4sJ!>zi6(m{SmXcP4j1@c3q@%Eq#Zm|H zByYBWHbjwvzQ)xRuL_U+17ij+cIT6PTfxcHhn?Uz$1H{(whkKLNxt56RIf}xaDW9`e8X;gBeU&S|rhI0`+<7zd zfMF8f>wzk0L~SWa7Z#1_s=p7?8Mt);fH zu@u#w-^xOm7xaZgx4$1yMgA6fDgCndXpUU7Xi3__f=%N&k<)zwy*D#obEp?WeL@VU zUDmnoIQ72P8&b#D(6$PMMv$BbM0^tMIq(qHg&i`Xa1QlMr5>&7sPD2#H52i1NQ_NR zJPFn?C#)&~K!1o~Y%oEq=k55ysjGaax(4+PoD-QrdtE2mv=K)hYsoXanV^^gC5~Yn z->!Bin(GQG02hj~nJBc+kR||17}inKS(PzYJq9(gTg?L4&e8l}^J9jm<%}=bDynVe z0DpK3$+!7&^S988Vb>T0)vV>1s9GiSuMtBqwvN=ol%?dF0j%Mltj{$iHE8s)Tb<;h zHOwd9HXk~9yhLP@CmKC?~bJDu(r-9bN* z0zMRW@^}?^P}2kvY>G|^99ms7ZhV89SJZH6XLeI}(%3e}A)bM5nKY}!Ehe{Y*Mw(J zT3IjO<#7(>bd8(U4fU#wy?oxAb#_u|d zyp*ZgEBjVOt4R1VC{07MBk8YVJ-Uob6s=vs5GGDI^3s9|pFW*X#%65IOb{DP3?x!F zTwZrJo)6~ZzHzHXm7w&aj{5m>HumH?o8bgAC84d zM32Oi+o<+d1YZ!eJi-XVQG{v1*&dx1O&Yzn7jn6(*^ypw#!*YhNKSG=bSNk$4)S8ll=m@<1g1M~qO(iW z??V>0OsE1!97YAS6cs{ErEy9#jNO`(zF>R{ultZ08jwI-!Ia{rm|yG}|5*NGr*0+~XkHr;`cdxJg8Ql`iG ztOU}p>$Cjn_?#bw3;{clYBOD`a+Yi*u_!dId=%=@iW&vaWmLaW4?`v47==J*eiH+S zu-#HYG^2RqPnOLmQ6yuz(0z{R%U0{?^qGD6KOgWn7YkxQf%UpvutWWZx?&OG4#FLs z5|(o$TFF}Bj$gjpxzjD{1jGV56@MZ#;(3wO6XLk`@@ZJ3?D^uOQf|QZ)mE9xxhdNX zGM<7&3Fui(NE96aOet1IMk7WFw-JQ}EGml7?rpiLEwzGH)xWUt9c}Fo30h`%#{Mkn z)o>1Wzv%R-Ehx*c>8i$m=_4)M{3YHZ){CZ&*bxYlS(mog)Z@1?r5-h4*K?2R_I*#0 zOjk_B<@j(j$0blr-|4)2Ndeo$N*{Dq`xtt_zz0!C@rSu+Rt{mk;*37+?Wy#GdLX;4 zx!yk9DllW&X-8Z%aN6d}(t*B{jg$qnvyhWP6O4mdf+GrLV56r7HGhh4$jJK^VUtL| z>1shV)o23rP*JcFVFgW#tVVJ9A}3s1b^ zd!(49JGV!-75D*2jPc*-_jy97hR1yDd%A7&+uUGgvu4y}sW*(VAGq)jVZ=gvh`f(f zTH2`_Ft#in-N!$RnP1ru;+Tzg9Qbvb4EEXq=pJxBh4}lOmg{39u#pMDs`NViX!-SD zUZhuZQ=c}u#x(cb+{mIr@kdq?{Hs8`S1!jOU7SC%u7^a@xn5H>O-`3(}uX zMU=^FuetqmXWo7tjkN{c#R?}G12uTAQ$g6x<> zNEo_<@dHf6)Ke@g=p`J|^0cErzA(!tNatzuZAv{lrgdqXq8Z$b<*pgU0plk!b580G z(d3b+)IOFV226cgh#I@-5%|1NvOo0k?UOLM%Ob4le59%|L`uExBo+Z{n{#oCaQUk( zlUhsILroA9AQ{4wN*XaANFam=!_GfEfSGaQbD^+03{C00vyvMiX@_5-30ENBDlR;Z zR0!_G<%da|Cz*wEb+6=dD_xCj)%KLv3`AmVwXn@{%7zG8dAu^;wf<1un! za`M7LPu922tgIbeOxa`JyciHz6})UG*@5r|C$#R6Y@}7&PhbUZv*FezIb$GYVS91I z?>g99BtXqv+KHM)^Oj05Aoa5~eJgtP+q{q0#mx?b#b@o~?cy^;a2=8}#MkRthkZ!! zO{)V~Z8B>wKG(@KTjcg-CU>neYd9K^s`_y%bwj#p>(Q2c`Wsm(mJI`p5X1Xq$_B)x zv3ZgKKy1HI$OO?L-^dWr{KtP#v**lrz<^j_j&{xmiY6BPB-ZP>*kQ^8-kHMo2S!*# zW6#jS!N(iHxqKR3JXUhs)xyw$ZG3z5$;i+TnnP? z_*uuE6rm-b+yyE-gham&C{oN*<%I!u!;v9l?pV>XZpb`jz-M*Q z4h|JR$H94g$FX56z)xQrR}GJ9SO2y~<$^~@3D;+U!HjQ;7wu7+yND&?%5^J``u^l0 z^_2pXniB(CEsKed6f(;?-X;3EemkNDaH`~<)1HJ2Bu+0$5tdXfzL}mzHK9<7Vr)4| z4W+4kzdj%zDC&T-u`a)FP0BBGC~LZmY4Szk)XBM|FZNq}%2>|eW^^s931&lro2;4h3DggzfhuR6`!1xmfv5A zjb(XNBl0tOBZ5};PxxI*{Z2!?#bL`70$>XgvC{Q3JVsY|3U@!R=#B0530`sB@ufAr z*XO4{%6{3qk)R$(u->7lM@5j8R8RO=+KKLgE<`V|_v{Wf73D8jVX~89F-ywfm%ZKc zxe%?@uwz4tl2XNe?z${t4)4TPy7c9Y@hEinMJ7|NGfnNMfjkP{e>O;Kxt>rffhb`- z%?F5x7!}p3Y&xM2&4Ig_kCcc1ttQn#VDDP?4Rk7^T~^-QYe(wXHRttO4Rf+%jTaKVZt{Q2|-N5Rt27Y9-8L;F6-Y;bpmbb;SiiLJatNUR7_l3)K&$vsri2 zu23$(&Co)>%ARQRy4-Z72RUey(S}ch{O{R5pWSf*N>`sWB;2HLk0BVU!g*dW4_*w9 zrENT^jhv(+8Sx2wllE;{Q*?YjYnR(GptCaWuNEo5D^FZku6Wg)GAmEu`tL!y>^{bx zta4!3Q%v)_i_)P=8%@bCl0J|Yqw?}`w5G)?+7JbEqpteuG9 zb-(+G=yPXQ8*ez#kci34R!e48EsvRnEQ1j>vb`y{CpWw&TI70=5u$M2YzC+8!LN!^ z8*G~f!|#}!8+8FsPbY{la^*2R2Giw1b&Gl(qI&EjHSk3lM2P9Qh zD)EI|7v!?IJ8*M3krPR}L;;QeRstwd6%RTRLFLEJw*oPiEM{4()3NV`z+&K8 z!sh|Z^>Y~X5!V-0kMzt$l-FDOsTZL8dCau-E77ZLcK1~xdbH?1Q6rhP6c9q7F8aCYfs%sJMmOTvip?e5|mZ>SADW{Qb%unVsC-L zdIoflOmC#O(^I{CJIJBwZ(9+GeiP8AG7+k3>)VRzE^z-$c!*hRq)(IaqLc87rji4| zYFM_UVNSuQ+W9bB(SFfKUEx zV7zXG_7SdvkGgnq_iTf5_ zMlWf>7*<}M<#8P35+073LrcOD)9~vpTT3{J$BthYJJw{Iuj1`BAyoylQ<#P(EC#ZK z_XfZUzzRkhW)Nq%w!b(+!WL2Uk;{>oeVe>ysD-m-DOHq-FIHr&RB%}eVzMk16lG=i z&K?u^_WWQ{JxBO3x=%X6a)~-EsGmoAC4G0L5$K_Wo96Kn4n3kX1QGy&OA1hykKcr)>V3)Nu*AF%q&DC3L*sP3K$(XsHGlc}Tw&>U0^7ll&`a7Q zV0u8z$aa(Autex(^={Pc54rKxYDR{O1EUHr5XR5OONhR9;Rw@f$c5%j-Tfl+B%Kuq zBU76fz`YxXzWbGW8aH!Fx_W8Suq8+&p;`jOck})f3WxX5@yw}v!w1*quXou?4G7Mw z&LkeJW;2i7tnhF;2LUw6iBM-a~>2YW9sbW7{ z?tn0B&6<*jAsQu-w*cmEgHP|0yjFEIy~hkf46&>6;_#s8xdoU3-Uu+HJRz}C_UrhO zF~_nm7N;lp%5UH1{D!J9es*LH?TJ<*Eb=;TRjBOX z{;iWsd{UH$2{Spq0rE4@{Mxp59+|Ct=@97zr94%uCQs$k!nVr><1mZT{zU|3B@Pju!ULc8-4_=O0tS-*ub+EpGoWiHQHGyZlFPz{v2$WNDch zzFP6VO7z(OG$DSWVOF-UUc3LVTm-{k$N7(%O~$`#H~&k`CI|DM{r|gM#9sjHU)=`( z=33)MmFZPWWj09g)8pH;mp0W$J^HKXAO_8 zmve-wpO@wg4uthS3_g!mI`q2M-fah13mOk_dTB2E`!Q?SHh46(9iypC)>lHp_EXFT z)sC|>*Sz06z)iN+8#}qGkiYZXA^~?ib?x+$(crZta{A{P3>d7>$aMVVd;I2R+;7x# zr$c?Aj*?l@WtZz?OoMwQ*!KLk$d{Rkh_UZ&nREB^%9MMCHZ(@g^?bw3k-dB2F;s)u z&Wm$;xQTd8@OCyqh&vHE$~jF~Q#%l5y+3&0g~L80YkY~)WzyFceXVK2HBKT+<%rL> z$f0@P=gn7Y*0$NFfvYUt(YnMNqq;AS*s+86rP83$A1Z7&x%m8|syvN12Tt&o z9uK}m;!k|gQw=Ka%^@=rf`Fn9d};mLah8N!X`P(KjO@ElZ7uLK15Yp5svQ!(*U}C@ z8h-JOwfS@cOunWRu&!kEfo)=nceZwV0;d*sajN8E(qWV>-sO#@E`!+cyC8|ON6U4K z>?`5G9F;WFx(q*r*DMmZaKWEg<5fLK<(-LlUW-h5Th(Pknl3c3sXhr-LKSI#h|kQ$95Y zY#*LB;+0n~yvHNdZxKL~>OZhk3q%W`ErW~jj`HuyYG!6>%PN1q8t)bPKj3;rR6o^cQ=10Qnu|hw~r@u88#z8Rb}|d*!qv$LAk( z`$iDSTzB*O={JM%2|bXUD0pD_SFxe3GjYgv#2^KSO{S512_VQS>sR6p(%_cDNynHu zN;2vKCZf_zj#D$D*4%?Y3NXEVL?@X5Py=I;Vf4)#aGWhnCv$@mr{c$9fCbehU40EX zHHh{Ow9^d$-o)_DMduvp;=VQAz<}@Yg|mt?PNqrk=+>I3+y-d&S%wV-7@foQnO zf&}X~4kPT#VACpPG0v?Y0i$V(?L?i<3-YOj_`Bo)g|Tu(>kA_Z(zIzWP=OmgD6tXH z+@~cjH_-tjdy|zeq*kpp$bp*zvTI9VeZr_i^%GGv%EBlM&M-bW&AMN}Qcuw4gOo%^ z!roIWNUBP}+()(oxvoU&EXxftO^j!VPY>9ej*jDS$^meFbLqdE*^hgG)WE(}!~?&# z6lJU+5qdB|s|ZvFeu(pd+*MVibU@j_lO;rBPj#?H))YM+;AkeqKoFIugfT~!s3f*1 zG@NJ-Jee$WuR`|m8OkX4Bu`1lz@4Ov?q@(k>W@zlVe%@Ra0SH8o8Fk1U0SH1arFse? zR6^ozx&rT2lv)AOpWxK|7&NTeIw?uO2A44Vun}&M2sb8y++i~$*11eW*$`^r>Dx>V zetB;GVjQ(x^{^W7`u$FfVc(Yp_UP#V?7za@A>_!GMb|C}sKg4A-A$J>jz~oKnxuKD z{_?WYW!hvC-%%lYBh$o)u+;7#D*Ee+9b{sy;RNGVNHI0ggB^wE7j)WX^oa?V zCvp$&e@{~k%!@Zm3p6Jg%sPwFLc(>YI#9}}-Ry&}rQ4kFgcK<0$GJ4-6|nA;pfyOk zm&dTL$64SAru?3Idoa+i=Do^7Xhj038P7xe=vXJNj1zFj?L#nE)@w91pe!9>8Leq5ySX z#MqM;hMB_!@>I1ZQQboe0^Hp+y(vH=Tq`y>CXL9#`;eC*yh!$L-wGa#_#lHUWoy7h zN&>DoY6gD}nnO{R*noN`J{5*lb+`qJ$EgU`a%{iil6g;+Nl2W8(FEToSkP^DADDFHOfGtZQ0pRjVH2%Qc zlz*Cr(N^+$ztYgSPEvVgK+OIv{n>Qc^;Yv zkV-;J=x*9RhcE_Pf>e^3DSer*9J6X)M$-y;&86UhVmx~u%a(}06n>06^t0-m78b_iT-y_FU!B060a8lZ&gTn#s4%%D!6|yTcNG^dqjq%cnCv zs>QqUFykU;ok0ge+8R~XoKsi`5;ayTm+NEP9>k-B!kBsZ2eT7WgqLbzl;aZ{xXntF z5W)KcZrtu=lxiHtPawBDhoQ{xr_}KM`{37*gI7-%Z?J}*YoW^V;2eAi-xt=;RyVJ2 zH*m8*J~l6SdiULIUs>GF&VOIfca$i-*CTE!O@nAX1g*>jX*CCd^cFmLD|z+%DMD5T z>8lW3S;A}GYbL%#vR+PdeYccRi;jSlFnOkY04MK?fQ9c)F}vhZ2glbLL9@ecdEQ%```7Ms^C zNZA@F?D$^KHurE9WHP?A<71lcepU+{pG;kze(}zEtX3IAt0exS4jtWVd;02j%OZ`| ze1LuAX{%RzBY8W4u7$+j^}Eu!{O1`VK$Vr$Xh2&C%yyVrrMAUj@~ z4|v3%bZgYvJ=k4`hp>FVLR=D4c3SAuyPGJZ^3$S}r|aurPU{5M;7Rxejbz~;-A?a3 zrKMc^+vO3D$a2V>DkfyU_u&OzqiH;OICQWTPU7Btoru_3ecH5|^OEl!(_Vj(w~dea(!ofn+?J^f1Bu@X>)Yyy4?9 zp)usLNoc-VDymOOI*yJ4Dsgt4PlMmIxC#l-oAlRyNTOp1d2;!y^AD_Cy>1WMrl3$s ze-u^iVLhHEw+91Dt`GF1@k~UdljROq6_4Lj3Y1dLN?tvuUjN9QafeAL#lXa-x*9rZ zlvmNnryD9RTZSN!<1(mvb`lQE1M=itLdp0z?a!9%2}PvXDlz61pCwg{!gFiFPMS;l z%xTV=R+f42t#2a&L3^}Sp=J<43aV3Mh|j(Q zLcUQ7jaj~m-)7;rZ4=WG%vdcuF=3*(AYa&|s5pXdoeX zU=aPm))dT5Q}k}>zzcX~tM@StV2tj<%6(M9Jp0aR-9n|9+P5qnyQ*bBsV)dd?0@t& z8Iw6t7h&^l6t+}`K`k&2_-c463Jo$Qe2eYsjHczvgZ{vDp-XQBF6w>ZxFjY@fmE_C zWPFVxja}xplEkWZG#ke%(AX~{M~!SNtJ)!MU`0JTNtJ4bl_6DmHF`+@LzJs@``db_ zMf@Dsx|_Pob=Xcq^V}=rg^@HB#OU zM$`ISXL8i)Aj;^ZOVrPO+aFz+RNueh+iYh#cd{Fd_p=<%aKe5UV_FiwLwzHB-3V>+ z9$LvjLKRvnV&Qu1fml>u3i{FSWHLzCI?MCb4zflmAEq{oL4U+DUz`*%M^351HJU85 z44Y*i3@h!{?vwuyHFI>LTQX#BDc5T_jAq(n&F;n$Tja6Bl*|2Y<#f+h*i6wMHY_Ja z#|`khmUehE`a_lVUEKG_r;A8CJ(B)6c0)j04|U~E2YBIFkg26H#`-UpAC>Ym6qtgx zTn#ONT16{#y94r!-%mbDXRz2!BJc}o+qufER(V+fc(8j{@^Wh(g%D987H?uQVDL3D zz>+C%AhE-VbjyZ$818gpM%A5;`Kb9fXbj`w!$VYvcvLjQ?Q~OU@AI;faqRQ_UGegv z&{{mXNDTGNf+L_PMJhGoo`ovC30j1m;AG;Qek#@k9=tCx$+@5`$$yRFoekEAmx>aG zm>4AC5_lxlTnL=KX%3**Sb7vGuvDlXmKEaSYJs*?c{_tAeLEHkEb-9C!l1*8o#{>< z%JuX*e4!y#RstUroGwd}=sOJm92i0d8QgtdZD0u2n>82ZE!@&8utbw9SV@>vEsAm7 ztOF$kEu_h3VuDuCU3wAXNsQ)wCWa#RBF>RP$<5I7uuP$dYJh9o)nYO?vL1p!j<#Ld z1}=gugw=lUF`92gGEWv*mBJjya&N0*^u^itm)}$Y%uX-Oo z?73X|{HUm|$4?*SMKUHd$%(tm*Zt>R_#naeaT5q={vl^p5$J%dr}J9(b(PkJz~FJ2zx4^lUCU#^^P zsHX+PgBH5u<}-tdxb2h4W9RO;;JG|!Lhtj~s~sEj&^7+C}KQlV&l*jmcU*B3%}i!Ssr$Zy=~NPVL_4{p53hP^gYQp zBA$q~9!A*wy1KOi=B%)|{7+^@M3ALo2R{tUr*VMe*oUM(lM{nM5`%qf3rD;%NE~@# zN75^v89%zuHX&U0rzhF%wUWbNZ)T=W-n2<8CeF>R^1WKzXPvT)@7g`xl3_f&N{yBI z4D=$h#vY-4+lq@~cU{ShEYYAC1=@znU7(JgMHUU2bCfWKkPffmEPmW108}C1{n(TU zEFvQL1gYOO^!m#Ee2>!l_^>X;_V)z0Nchgp!39OPy6DKnT;kA&O8^kGf7b*Sl|5}i9*$z<8H`{sSs>* zHcLT@88!$IrU&^eAkudN!!DMhwN(oyyI))w&uXA@Y^|y#%C}Ht3Hh1#&%c$z;lX~c zCt447RLo*blYzATso{~%*E51L*Ur=9EX~X#Ah60@6L!7BV1Lqht2(h3N|Bl`4zo}Z zf@#p=1pPw4M!F4*^3@9xukQ?zcNu=#94HTuM-*w$mvyiqD2&m4IT=rKN81()h@Ri<;b<80k zie8Jw+NFqW1-+l8k@{wiMy^>z$I%o}jw@*yF6Jwi!V{OEK1;)l(PKY37UUY#JJ-!O ze0XhKZuszQd`d4$f=N)g?CMibGO-748q!J@q~aeEYE&r1#t3WSX)kU~MVb%s?(t(V zXz+6J4C&P}V&f%fITA@tj%=cs5&b$y3Db6=JH@5wu4Y=UZPU9Wh^fR@6C5i?vsj0$ zT0Nhukw~gCx)i&cF2Anc4J?*$$aDRJ>J!*<<6-sEGZ^4ghixMzj-vd9@_=f%OHXXxi>QTZj6Hdh53mPNAc?3Ul)<4I4U47JcoMRM-l_G*+}!nk~Mj zoLFm&%I~(Ukxj`-^+BG%$nN+q?)sT9iAWI%_Rt@t?4`m8z4=L%&2~)9oXva)r)q)B)2PUOVx{VV2SiT7``I;gL{pdMG;!<-V?&`o_zrPu^Z1ZlcxB`Dd_oe7%(TTVn)bn=?+U zjx}{Qp1qmn7L`9Ma8u=0ghq?C9X@-O?A#5F#&lFwsS>zUvcn!X6|w2%2>4Pyk?TRN zKyS(cUA)I4B+?z7n}-H$07?Lv-BLMu4pnP&ZC~8y>v(pVAK;8;;Lx^KZ>FRi-P5^s zXmc?r`^;s^h{jnJ!@gxv5C(1Tqk1-sk%?8_+Gh8S!mt-qqg!DNbbRsiIB+B+VzvFv(sd8aY@Ce#SXVVyWH}u;YB>1-u?k;%OP_M* zQ)Ay%$?l_CEU z{Bf|XQm=w1W1}@9zhNW&&fE7xZ@FBgX?cU8b0KSmxx+w*R%)Xlmy{fhZk$bKJTDyA zDN5!wFV$16>w6wT)&o7%Y4WOV5y)@X@k*i70bWEkc%gLBPv=HO6O=#$#r)$zJ` zJiSh9BtPTM){v~@F32cc?H}==!g!1%ub|Cj=Gdi}WCPnR14c3+a|I+scb{xJ0@T+! zw4mY|x-Rzx{omse?yb=XRT_6FqK66gnH`pC+J#rW|7e;c`GaJpy33a7!O-ZqsCN}i zIn7A^vPo!iWKH);Rw)+UF0x(fkOO3f$%5oqve{n{Bf9V_WZ|aR1=1}@Z_4|SyM*&Q zbeq{oJ|qX|g&yBkwtE>reL3r1*xCw@Wa^`>@|)9-V&&1C*sB4WOL_bU1}%6Ehy*EI zOFV{|QFG*)B_o{`DK6awK&E(!X6(mH$${v_LI*1~kxgMXB(IZsj|HLH%Tw@cNekyKg4#^U6CshIIOxAcdNx@X-)V5))T|w zPyonHv?Q9}Z_wGYusBUqRP?B6(AWzZB`4R+c2?wP#vvr)yk+y{QuoGs13grm=+*G? z)d4i`HT9RTDTK4^1zU?9xT|NAJsu7j4T=-DAC?R1zig(W9fS3g9KbWvSX1cqYrXsA z`jLs}8*AwH&i7E<+`u%$b$seOKWG7cynw@A|HDKMc-E?RM(U^Op@|>cq~>)jU)(?( zQxcb_Ef)L=G3R(s1LGb~MpcADQMyF`Jsv5bi!bBxqm5rvJ%tMDs?myz@Ld6OI4 zJq|5!`7Nm52zpW)Vb@RH}Oz7YoIsTPVcru z8g_huhZs$7A|*MKSWt}y^?pCu=9&cpf{lxOvCx#tLMNM~lm#N3d6ikXtmFX7*yGC9 z=%q$MT77gcyfaNlRTS*H;q1>qRx+=g*#p_e>M!|g9WTe=8`z7^;c83QZ9 zS?PQ?_*fX;7@V)->06~Cl5nJ70$oZ^EQwbDa~h^mcmm5_I)NwCZN^J)u-XEIgeriryP}vdeZ0DE>zP}hT z8}ojM5NVrTEHdm)7#z$XC_FQgUM=*Yxc^m!Kcg1pT1>&tzJmkg4(Jgug=n^5dgD1nIHuNsEqjATiUOF5G)#uGJx3IE(jo5Y3NP z-GplJ?s@=ZnBB@UU?JB;pSyW~)bx@t$NqQ(J6_lYXCA^iS;4#=59CB_}w@5H3Ec!(@i z#~w;drM0+cF`ptoDz3RYJP{!sY>XxMr42nX+=Z&7&~Fqu^Z!6pgr{4fWaFVmddQmw zc1Q1Ekgj1g=he?L@*zWCfKmB$PLwY;1M*^`vf$XcE?Br-dr`P!1m&QQB0332*t;13 zY3UT37ko>QH{nCTv@b5vui?d@hD_Sk?$xXv-oMvA&A{zlIVD-C97Uumvmm8`a(|;^ ztui97!3AmBY=pbmC{r2kzn$TQ%~hi%Q=#bS_HBTk)JAgh6X|y%4aSh%yZO0&zgb($ zpZ~B@@lV7g|4S;+zxr*)^6>PH;Z8c3j##b`ek|Ba2-|JhwBUO8bf@+$Y|-fl z|NZv+ITAl; zSUCLHoQ9b_FPG-fKIa%Ke~A&TWMLeH&&Y*Y5sbA_8t^SPGwABGqxcX40RnZ@Lde!P z3OYIcf}63p{@#b6sK*um`LTC#rv;5YurPv>v*n&`57!d`DP02iGr$K-@ggW=W*lLD zxONyO&9!S(1n3d)lkMkOVpayT|~x$DH|$PDJqJaS!A@YU>!ML6ObY zx~ria?jO+wL*?n%8aOE?9xfawcU);VW

%q&6u#lYf1AK#?Jz$nOj^oZ@d%^T5hI zNKn;02KNwV@APpt>@htO@Db1#P&~z}sE!@hM|y(9Mt|$ku`CBy{gZ^wJxu{c)!BDM zG;?3qElYN5#8nLFRwLRj>Z}|+JEy>ljdoJakzF^`4sovn=~NAl>r-@M+Pupiafe-4 zs4bMvygG^;LkW}5^TEcvlfB=er;n9m<+_u(wUyZIy;s6YEIva9-Bcr`QBcEw4cwlM z@cG!q5c?UQ7upm{GyU9GKdX>CWc=hh<|dV2OB)*QQ76aZf!FyiAMFkgglq`0{dDEh z7RtA?pge}jFNaK(bw3-CYgQY*oG)=YDT+cWEg8~9OItXL>kGGR;l0emDKU@=vQvh; z(s-ncdZcy#`yq!#?{Z`+w5bsgv9W0Y=5l=X=UX|nf~-p(0<8rv*Un&*ECFV#`rdAR zqF#OO-WWUEKA7GFMr!G#vYRN3Soo|snlplIBzA6kehXFH7msFvq?7T0I5$*>)_Lq< zu@(VmtJ=>b2V_iNAjvectl1I*?ku+1G#N~_n5(a&{qKSvyx0VkEX-jzEoRWZSXr#p zk9kS%N6T&CfCNy!cHz#5U$A8lF*jS=u{w^^8c%DF-PN)}fDVmk2e3iP&*FG|dDeI@ zy`Vn&w9HDk-lHAN9qR2Ea);$k(bJ=kirVhW=sxn*`isYOr&E^K5c`j)u}`i`-J;q>_%yy-%w zq7XDvJp4+j?PF`cUYBRG!Zne$7cAuzQw5v9Gc8Rbo+YN5iNSXhjZAeql~33q7s54I zm;(&qo<#4X))Biv0+5x8dF%T4cnG-IKW2WLtE+`Y=?3MPJWTUnX%cXsC`h1aiw-hl z1Y)-Q%sH>H+^n+_rhA3c&9>lZu|+nXq1d+NH3Gs6k#?t7%K5G$BP({^Q>N&tcI^uS zlR@toi?Xh2WQgP8f=m^WQ^ZK365$+EsFKvk0rWo z>YVHo-v!x$+m9VVimqcrfzQFN63rcHBo27G4v59NLO99gr^cI;$V(PME`aUGJ~5#y zeE7Cpx~pJrbevWOKW(bm;8ow>4P}sy$+>ZX=QrsY$?U2SFM8oS-kXO_MM_Z4q(7zc zlFM_9uWEnb2J4}%2+bF$RZZnHs1@-Y7HYwu>BnyEfRy~%X%Ch0vP$_FfBNZQ+&~+ED5x1Wf9d#vly|(QUR>Iw5mT1wYlHhqC1L>4^m<( z!wKNzbi8JWt<}wrcd0vc>4B?ji6w|+)K(zBLk^>M`8MA2osDI-$t$D??&$d3rkjv+ z+5|XbK6HZeTb!K{WQo3Yy~)_>C@U{7!hlo+jXjMOtq>Jeqs@0;{D4yIXs2naRg(l* zx7OyQOB=f&I-?;n@IDyjAcnlTc%rM)LOY{(^Q7oof&t_5V7wg{G5Zs6vh;M!GGH~Z|)(`&w^h11Zk?zraEZ9Q^N z$*MTic;5G9A4uR>T-?lkfH!Dn)%muQwDg_NC)M91s0NtNC&|~2aB8r(#&!)3iatAI zXm*fP34=S_72_u_IWlL>Ny=Rw#`kE|W!D`~d`Mm+9-X}{+8&|3t>QqX(dSzGZhC}fkj%)MiZ&t0EuiV7V*`mAs;s?V zdMd>|B64SpIecKTt9md8)9i8Z<3bNG%4+p4nK|`+pU7EMH&sYR&;K(-T1f` zwE|}!UG9`}LuvllNs(Q4fB51iae0Z!Fou$7X0On=rSAJ-esRrWR<9v>F?x4)@@^H5 z`a($jQv_zA3LF{ynP$5~^aLz3JHktZfDacpR)CdNNKRWBd{Jc%n2tMv8@mXd&B5nW z3~XhPpDCuvgO8D^xUcW_HG8jVQqs+)M}XVcw&CcIFg0>LJ`+_+A3NXjZ+pRKIgES;0enk~#y824wC9y2a^$?9+R)aXf)9 zKQi#Q`q*F$3hmXKCeD&>RQ3iGAC`8S?*`O@KEs*8LIVp*NPjioKWp+?T9;Xt59`uU zZvU?6qqy$E4xisMqrU-3Z~V-|IKVNzbCl0YHQw5FedMNI@Gc!J1jg+yo}<8QZ#DIt z<=DttET7DValSn!0x3PdVE^hodWadCsjGG^;&{+I7#xhlr$LZCLm81A>>G7zG+bOU ziulz$SBtdp8u%wit^))*<1~eIf|&({6ISdNlhEMLlfNTC|pq1OL~>)#V2g&!9CCtU>9*NcYt@>Jkb5I6SSDUyiJ*`t^F zk*#Mn0Y2P3hpp8&ce-_e*X9V`YU){-D0m6t%v2ajR`VKI$Zg}w1o^(d3}HWQ7!dbV z+iS~DXT-&bU|o73I4=<0E%4Gpui<=&j?*k9MKEF#ozX$(e8d%}dOn&XJr%LC7PsJ~ z-H%0z^XiEXZM8`_!h(vC7Qekte}L>uRRZ~t0zW`;4l<^KrmI`n!p^NOmE*B!#?puv z*W442)BY_tgTu>OtCQavdg}yo&KzVBcAAoqPFk%4Ztes}dtoW5C={P1PfC8uecY0y zJPzTcJBT5id%5N?uXB&CDlrvY=2bj2m6c&#Iy_$I>)b57#N`dl)wz@Q>U;!xoJskN z2hnFgf;8qHKcG?AN27muO8Wa}1;2gI@xSzx^q&tJ{`FJRTZ%tlF8}^Mml;5;_pjdP zYLD2FHz9T2Dc76VLEb9RqA%{Elkj7{_wV^`_JBB|5NJS3SnJXVEr%7u4TpGdmRr=>S-dBVwArAs?Kj+2gs-SJ~AJEy=$PI_ts2f^eFP{eh&rOfp z`dvRb1l((1AND)j?&a?Cz;9EV);H-Tt_*eG2}|Pr9BVrZtEwzWQopnJJ7MTLfAQ6v z07KkLHrux>^4FOU>yU=1Kcz73vW3Bo)Y~FRrFk`nnh1uu z`Mn>f)t*Xbp9Na$DKUj`!(J+{U5J(8eNOmQAfdFtU}o^Q z(1$zg?-p22sOyA!FEhoG4ouO3+N(8U#PByTa+05*x}jLb8NATxJ=72c(itQ##CW(iM=SB0-OY_gazE^(&?R62TrYQGtg zZy2{A*22Sm0sp8LG45Y(AGDjs^Tk;M7&xDXQj7#~o)2D3UZWmy&v@6lJfwgm*|(q` zW6&$g#^O`E@HK@fA6CAV{Yw;~sZqhzJuhLy);lQs1<9N!>wt2h#^ym|;W%L&iU|Td zl#_FOluk*Z&gk<#oR<4R2m8?I6AEz{(mFBupf`+?6+xyU4P+os;9E2a)+aFGP1zX2M41!&#E6Fznf2vR-cw!0^I?9c z{0?3?2aG66S8%nWgpc?P)yL(EJp&c%Z@}UQ2|(spC0tUn2{Mp%gaz~Y+Kk!Ns94Q) z!VW!2+8iFZ0IEU}EQ<>E1wPO~#IZ3b74thUotE(yZ1f&h^}IP^Z_K=EA5aRVJATW$}mlsu<<)pM!d*4Y|?@Rwr|nzJ#@GAsFjiR)cir& zq~Jd@Sb;c@kw-J~Bz!jNxy=}2=uQthurMwDQZTZVUmHpOd01>UU1MssFM>fW@6-;_G-A!TkTepMz*Aw)n+Ap#-AZ)VR`f3NwaSk!x*{I ztRjtKBkXsR>%mkMm~&{(xD&d(8&0J4M|vNDW5AVx=YaYsB%a>9hm|d&z=Q%6Yt|H^ zbSB~%D%?ol7qXE?Ue_od_S|XNo(Dj+;-Y{?NT>?Mm=m)EWdlZxRr$Kb_fR~4P(ssx z8>(oIJ}rg(E^c()&XtPrF5lk>zL@6Lfbv@{zGs&LY4b;)tB(jYvfzZt^kKbJ=^?Hk zfBJV8n;>G+e$#|jj$vkx7|u{$a_f}9Bj1Lix+C!?z7{UK@eSOf+y`TYBm^ZIWXD3!&Z-JAoPd+tPBnj?RhLD>O?wP0q+p^o}KgkH8gy2K_P#k{ZG)P_-?kO>=JN$@SjbiRZq06%RCcUw>_l!!4hHc`L6%Rxf)(k zcE=$jT~ATp3F$CA3(rhS-^m&g&-f_(`51&K^$DOdY9SRVBCr$d@A1-c4BKJ%wo1gH zaP%+*HFidrosw*`?7oBPBt?fD=DQx5QL3`TZKynllu*Qn%N@t^J=F~9HE?ds!$g(I zcOa`L$VV25AWSj91P(do9*zQA3m4~ZrpW7$$D%8*G=Qu2wb8+Um>StZ!#G#^GNkf> zoi{eWt*S|fM_7Vs;IZVt*ukyldQmx~a(`(`*(dJLi7@oq+rWn;F+nO=s zjboUY@8ESW#-5$Ctm?K;)n<0`NY6!<6(=VLwb?N~S^|p}nyHt8@H@8RNMu(AnLei6 zy_gd71_8PH@(ap2CApEU`^TN%q!to%V2BoP=H~Lf^J6(+e4rWh9bzHP%4@m?U8xTn zZ1|L6bw=yzOgUROJ{?PC((Nnlcq?2~HQjbhia%=9F|8BDGFuQ2 zx**ZxSW8+SIZB3j4<5O|&GECB%1^tA+{~T3_qoG~y@n$VQ^4FT&i95BG$7Ha$(X1= z*}=Q_hiD2eCrhFgXQLVwL}nvtiUB?~#au7pla*!FBz~G#&*FP7L>IxK(ZW+BzZ+&! zM1fb>uVTaHbXgt)o8C%H-4H1R5Hx}1eTD;!6Sy3$;nQ+1cYqS7{t zXbnT})Q8bsQqk|WR`edT z_4r!e$qu7(W$Lf?_)OHjlYW9;&)Qqj}5XK4g92!#%DMPnxL`k~mt>L37&pG6U}GBW5z{*ZHAG z@Tk0~s)xbCfRCrOu6}X4Q#+IJjWU`xR0fzRF3FsGJp=tCgJqNzAPaZYmv^aIichWs zAURol6^M3)R1Eu8D+(tUa|Mh#3v6OMa}1b>b~EskVWo*IhF^oz=gDAh&*P_w8>X+8P^qKP2Qlz^#kJp+(M>j9aDW zxMyK6@JW%6VA6(i6HV@2l%lKy}|IY{{zxDE< zG4>m*t9I8Q2NeaxgPv#jbLq5w)(^QqTIyQY`If(M!`r+j76}F+R*jVmqq0+;fi~y^ z+owNY|AYVg_br6~tN!mBs`@XO?|<$8{vC(?5C4~uiRs_?zw=t!_N(luzKc}~xI>x| z$=kZb)z*8%eKl@s(ZI3sxJ6gT=fqa)vA^^o^`(x+7b zVY84~-UX-E$OR*(=-eo;K@f$}mQ7p4G|K|9ftHL24aUTlAuURg%6>-}#_^!%focJZ`LvNsTm()etI0mx6_)H9%u;p9@$h+N~R#Aluc?>!n{`u7KXtkW> zlyERE?0KQoiOfid$8hCwa!~P+sG@;~sI+)qNtqS5P>IxIqMwb;`6=?m4O|z?Zb&-N z$PSuK*5eq?t{SD0mB~MSec=g)h3XI4Y9r@g0terz|ALb2r67+vWnq>b^?VtLWuK#M zWIt))d=Z^#xPHuVT0R8jm7Q9*+aoc_*2v)m0ugPb^l>Tdc*(^lV!2n-EFCK%#nxcK z-09@u+H&Y9qp^}yDw!(~ z!WJl{+BS`0W<>6<)UgIeh+@iJb5PA^N;605cVz_D<`Nb+$B{Ly`^phx`sbobjc{H1 zi@w=P^!5xAu8p%pNMY?8BUxxX`j1e)w&;d!iPozEPl7b}LzI(HHIX`bX1Mq(BE&XQ zdn}UQx``2G!ix*+4+PMGMa(s7SA=kmt+^i~iKj zH?*R0>?AV}5)t7+)EWx&^HpXp05#liz4QCM+Mt*)nf4g2d*ebUc#3TO& zTqdY6j)ujROKa!6Jo7E3_H-GJlETy~Lrs>o*x{OgS5NoYPu{>LC^+bOFqFL~B7`k| z&rE9_(g~3QLZ379!NvKi0UbHD2HLU$&-7(D)`I0{{dZX`o=s1qODio`;)%)?3Z>87 zj`=6pc4l>DY8hPe*whJbv#2(90og#v7nR`C8VCgR+r7+&SefQ+^pE=oQ9BN{>4Aih zS9JH0GN;l`#N!G_jB8&xCulVh0dGT^*dsh`91=IlhjEA~ddaWV%+4LYZu@A^O6?o( zGtM5#TBpxiwIz127or^Yi>sB9M(rP^Uwx_p&FB^)Nn>H2RQqy%Nn6sOAZh>lKA)|0 zZqPD7QrJhfMWJ0DsBSV9#Q7tgDJSTcsmTvgLAB|Oojc>8gp-aa1Aram&QifW@VGi0 zuT(P0d8Bx7R3Et%_tdG=MKdkrI+^Lodb z(0a&YL59br6TW5~#D_J3O(RO{CpfOU?8n7mZ6XrLk>mNmQ%$ovsbit!e=;QTfhnOB ztQImJEqNKLQ(o7rCX&aMRpRoeK@b=mD!vf#_>s@sn}Km_Hrroi6t-3dm2IDIA@#BA zBT*+YY1~&-OYez(O^-k*TVtA9jKB(&6MRYZtao^_JC@ud;m%~7vg6XSVuwuNu`M0A zC2j?QFib}*8E8mW%~plXduNJ`sx5TH((+sZVCEV-oV>`M87=RoSqsr>QyCbsf6%KY zv`6-kc3FbnG5*ZNm`+5-6Ix_GIQbw|MjQha&)%p@{tXFc*xc&HuZJwV7iB-~MstN9 z=Hn+IFbR`ngB5N&;~2`daVOCQ)|{FoM&ntDTHgq8vBr-l?|NPYGZR7?(A+tMls$ML zyG_vq@`p=$OJbWpi+m6>J%Ut41LY;82xZ|aqTa`s#X^^Pz{pP*H>BY0sL44%#YGP8 zW`%)nHZc-Lm!D)7iX75za9|~-%jHWEgh#ci@RE60;Z_(zyi{pdvD4?^bccXXlaxwnH(lV(Ix>SlgE< zhBJdD1$L#WpeHU&!h1co3KTr%v7fd95~=mI7T3=$!m9KjFsoF*w-@#NHkFIhAJGn< zT>x#_So$1Kit<%$Ow65=zSMiL^SeF|ynMqycrAb5PVm3!wE(C@{(pKczf$}kt9DH6 zY`@S}#Qz`2Bzs!60Ivn{rBeS>bIqa+RiC?LpFhZ03IaI0!TZknXT~qX{)SA99D+4| z0^I0S8<&)dF)%Kef%js_BW(wIIXlz&`)B9T4h(O8OIu^7UwI|J)^ASAqdZ!bz`A`| z8IB^%go@9d!n21ultATnd4t;b*1f2v?D?Y359J$Odd`!}F9XkGFS@6j$M=zs_BosG zVfMZF8>Zf_ZGL>`_8&d&SACO&KYOx%yVxbx6SJyjPj%BUf1cB4vFL$_xw(tS&$Nh< zWi3m+446@aa-#S1L$MA~#}6SaM(=z)_*vM9L2%UOK0oDNFWZ))xzUQyQvmF*TmBJ4 z<8r$+%2eILlN91$iraHQ^j_HO>m5b|^UX0}n}&2#dSfrmC>joDO#KS{H-BD+G?H^= za}o!;!3s*zzTkTF3?xZJ+@YBS{1mMsH}M|q;Jbhs`6q98F)O}(C2a#N)Sx*QJv&O` z@N?ks$d`>cNAau2`q@8o*T1-*y-poHLx%MaNiBA%fMP}) zNS*a~lt<0UT+?^ntGi|b*H~-x;S75cYO_pJRR8uB;gnhlJ40{HeruK5d zkqG(#gk(c$Zo+E_;=x-ihetpjMOV!X2_w#Q2SFFe0ztT=ZjIZdnVf(PBI6?dF3M@p zcl7dOLN7B_bhMQg7dpl!2w*$grakbxHdY8^(iRX&f4om7ye5rLD5_M%fwJN7XKm>v zgHFA-`;-*e;Kq0qge!bWX3-0dmCd**dWuE#G~g*%(!wh4L6sUm!jQs*(?L@AEe-^0 zH6S=lvLQ{J8EY8wk*4m0B}SymGD_~5%av0gD8}tj6VS#r4 z(QmB(2qm1zjjl59LIdsqX1bGc_eqLgdkn&eVQ&gQQPVR{+<(ih{zAdj#a74`{v5Y2f7 z_eJF&vA7DnYvCy+b+0)cg#tsi31PTU32K^zp`grE8;u8Tm4WKuG3v%kx%;^7fa>%V za-6e;o#hS*z6Rj&gy6v!?`gt^_7XQ>f`TZCWp=MhQ@aT&AJ&AnP;7utN^?gM%}X2Z731)r9p5iY$M%4a*;*@_xB!E~FKPtW2E z7?kFEzzRS^xS`WGtfZB`W>>5g)hwZYsh~u&bD# z&nIVTLNxUV%$r}sQ(m(0nU{Eb48u+7D23O#7jcu>K6HkRo_2w$4zbClAE~%x)c1M@bQGgJ~ zkxQ~)(_}E$*&?WyoM-y9Qt1|UD8;V$eYWDuMf++tTO}({OK&Jqn6mYx&2jm43-o7N zlJ3Z!DO8FHG@h6kuU&qmR1y(K+>ab`X`|GCi_Bjj6=U5i0uqNDKD=T~sF?~uX& zFrWT{@%nQP`*T8detYs3v3CVPef>fgleRPgAang9B?Az10cJ`7E!W%sx7TP&07|a6 z|G#zz{tdhfKtT1!i!A^um#Lk}+pVAhOjQ3A`X>+1Uu6IOW=uog$ja2%<&D@1aKkqh z6%1WmOr7lB*sXpK5%X}7P2l5cnV9vNx6Z>l{fa&Y6vA-z2eiH_0{ukwc-RsZVHDPBncQW)O)Mk(r z5fL_YHZ>vqRgS+^*`GD`R=hu!LfC&bf*j$m1ra4fJ9AS)Z2&jfFI>3)m#5(qD-e`-lTafVwqd1+G$LJ+J{zLCg~-GFM0A0 z<`3Xe`@<4{Gp1kIb^toG-|a@+(#aWMZNCirS92J?UH)MTzxNNiU;dtorHhRzA+NZY zxHuy#Gl02{MGS!E#|Suz0FEqxqcGqHppj#K3j@f!#s3Nu{r#Nl_c&(2HQVoL-|_&+ zvc84=F30+Y68Lt_36K}#e^Uzp{pa#W=VZ{()FR|yq~~O32beGiClfs*Gk`J<03rBS z!~DA+{X3@LuiE(4tK>{Q0OkD8d+fiJjp@I22b2e(<8S5qm%6ix{2Sd_Iq2D#I5_}a z?eEI}eN6bjDF2^EQgAYL`%4r4tt|hqc47k5HK5H{S-1edw>J6h`tSAr+u--_>itct zKL>>WL-pTu{lC=v?>6;jPj5Q0asrM3oA_lPzt{gSdwbLOP0u&md25e1oBOMs{FA;c z%*^yGjGO?@!2hc2f7&J?@9JV>X=nOtiuk>U{L1ss9`c{d-)0b|zuF#vPVldF@aL2x zV`yY*^OlD)z@mR0T>#_VU#u2DKls;_B2K1;0N71JN`)8zQVxecEdQ12##?szS z^lcWP6y;`SWM%^}I0AmG>}-rQj4Tw4jK2hB?M?n?nZMrs&spnNK~3$xPFby zzm-DP)Wy)m(8chV@~%cMo(`sj3>vaBZ-w|Bl9E@z127F)o4ODhnVMVL@e!Z5brBO< zn(z^;v&k~bI*6EBSibjiGFA4HQ!)0kHs&%R7U1Xg;P$X}um$8!=wWMP=gjTFM{Ed~ zOHH`}=WoFb#Du>@T&($s0g`m?PL_aKk(i&?$;6CXNmTszWPmF^Vha}+2W|!icXxMs zcNThkCvyfS0L~}_BQpatGaW#J&e_w>#n6M!&Y9%*4E}&P1=J|vTZV>4_O32`#DIJL zQpUviKbbnXI@$cn(!`j-)W+2I4fB(MiJl3d-yfRWI{Zi4&YAvKDd>&uZ5cca9RQMy zf0LAz{hwuRZT}{&qG0|%%eyc*nE#o=;V-rEH&p-;099B3l7O1Gb>RNp&{XX0ZTSCc zYrG8q9s4FOE6XivZ|wS3c1clw22N=Y5g|)iQ*~t)22%jMx}(v14R=1iUupj?`g>wY zJ7*U|J7d#-k@zp7ye7unX7*0DhA#Yu4h}Y!#)d9{=3)R8g_q&aC|u&}mY-s-5iH#+{sU0uFn+*U?e>?dV`F4vx(*P;~ z&=lNqZ`-My`PqLJ^)CUxms1Jg4qCn`DPm*j?9A`rWN#19^|uQAued*3!St=W^1tuatmZZfWNEZ&Ln6^0(6c#q@tKFQ7L8&i>OO z`Ty+Dfb#GWI{~`uKR6lyzSO@CUB3+%B7mX7#@_sGwD?t3e*x81vov)#bplKWW~Km_ z5TYwk;i_aAx z^yWSOmimto{f!Cs_tY`~6Ck8CwWIp$2gHAzFQ-Bc6$i7 zjyJ=}FiCrC$xFnsf-N_$Mcd&hqY9?rfRkzkf{lv}ig1Z*Nf~Y|L263{N)j?MGd3|GoH+q>M4~q6{tRClKn4xjG9gTeb8_CT5){Xi=BB;%_2 zd<}%tK_52|IY*hKe@0~dvxg@8iBu3>2Yv9#XnPUS_|J$;mV4Q__%mS1U(l&M+kQ~} zW7BncKYbpT-4@R7UQg$vMH2+Dmw8@|R{AIWJbiu4#y9;tz2CpxTzgAz_t!sdl>;8s RW!++zj7GXU93Gw@zX30-m#hE) literal 0 HcmV?d00001 diff --git a/pracs/prac5/ans.typ b/pracs/prac5/ans.typ new file mode 100644 index 0000000..649e801 --- /dev/null +++ b/pracs/prac5/ans.typ @@ -0,0 +1,220 @@ +#set text(size: 1.3em) +#set page(numbering: "1") +#set box( + fill: luma(195), + inset: (x: 4pt, y: 0pt), + outset: (y: 3pt), + radius: 2pt, +) + +#align(center)[= _Формула полной вероятности._] + +#align(center)[=== _Полная вероятность._] + +_2. 45% телевизоров, имеющихся в магазине, изготовлены на І-ом заводе, 15% — на ІІ-ом, остальные — на ІІІ-ем заводе. Вероятности того, что телевизоры не потребуют ремонта в течение гарантийного срока, равны 0,96; 0,84; 0,9 соответственно. Найти вероятность того, что купленный наудачу телевизор выдержит гарантийный срок работы._ + +*Решение*: Пусть событие $A$ - телевизор выдержит гарантию. $B_i$ - сделан на заводе $i in {I, I I, I I I}$. + +$ +P(B_1) = 0.45, space.quad P(B_2) = 0.15, space.quad P(B_3) = 1 - 0.45 - 0.15 = 0.40 +$ + +$ +P(A | B_1) = 0.96, space.quad P(A | B_2) = 0.84 space.quad P(A | B_3) = 0.90 +$ + +$ +P(A) = sum_(i = 1)^3 P(B_i) P(A | B_i) = \ += P(B_1) P(A | B_1) + P(B_2) P(A | B_2) + P(B_3) P(A | B_3) = \ += 0.45 dot 0.96 + 0.15 dot 0.84 + 0.40 dot 0.90 = 0.432 + 0.126 + 0.360 = 0.918 +$ + +*Ответ*: #box()[$0.918$] + +#line(length: 100%) + +_3. На сборку попадают детали с трех автоматов. Известно, что первый автомат дает 0,25% брака, второй — 0,4%, третий — 0,6%. Какова вероятность попадания на сборку доброкачественной детали, если с первого автомата поступило 2000, со второго — 1500 и с третьего — 1300 деталей?_ + +*Решение*: Пусть $G$ - событие "деталь годная", $B_i$ - автомат $i$. Поступило $N_1 = 2000, space N_2 = 1500, space N_3 = 1300, space N = 4800$, доля брака $q_1 = 0.0025, space q_2 = 0.004, space q_3 = 0.006$, доля годных $p_1 = 0.9975, space p_2 = 0.996, space p_3 = 0.994$. + +Доли деталей по автоматам: + +$ +P(B_1) = frac(N_1, N) = frac(2000, 4800) = frac(5, 12), space.quad P(B_2) = frac(1500, 4800) = frac(5, 16), space.quad P(B_3) = frac(1300, 4800) = frac(13, 48) +$ + +По закону полной вероятности: + +$ +P(G) = sum_(i = 1)^3 P(B_i) P(G | B_i) +$ + +Перепишем: + +$ +P(G) = 1 - P(overline(G)) = 1 - sum_(i = 1)^3 P(B_i) P(overline(G) | B_i). +$ + +Здесь $P(overline(G) | B_i) = q_i$. + +$ +q_1 = 1/(400), space.quad q_2 = 1/(250), space.quad q_3 = 3/(500). +$ + +Тогда: + +$ +P(overline(G)) = 5/(12) dot 1/(400) + 5/(16) dot 1/(250) + (13)/(48) dot (3)/(500) = (47)/(12000). +$ + +Значит: + +$ +P(G) = 1 - frac(47, 12000) = frac(11953, 12000) approx 0.996083 +$ + +*Ответ*: #box()[$0.996083$] + +#line(length: 100%) + +_4. Вероятность того, что контрольную работу с первого раза напишет отличник, равна 0,9; хорошист – 0,7; троечник – 0,4. Найти вероятность того, что наудачу выбранный ученик напишет контрольную работу, если соотношение отличников, хорошистов и троечников в классе 1:3:5._ + +*Решение*: Пусть событие $A$ - ученик напишет контрольную с первого раза. Категории $B_1$ - отличник, $B_2$ - хорошист, $B_3$ - троечник. Условные вероятности $P(A | B_1) = 0.9, space P(A | B_2) = 0.7, space P(A | B_3) 0.4$. Соотношение в классе $1 : 3 : 5$. Сумма долей $1 + 3 + 5 = 9$, значит + +$ +P(B_1) = 1/9, space.quad P(B_2) = 3/9 = 1/3, space.quad P(B_3) = 5/9 +$ + +По формуле полной вероятности: + +$ +P(A) = sum_(i = 1)^3 P(B_i) P(A | B_i) = 1/9 dot 9/(10) + 1/3 dot 7/(10) + 5/9 dot 2/5 = 5/9 approx 0.556 +$ + +*Ответ*: #box()[$0.556$] + +#line(length: 100%) + +_5. Студент знает 24 билета из 30. В каком случае вероятность вытащить счастливый билет для него больше, если он идет сдавать экзамен первым или если — вторым?_ + +*Решение*: Если идти первым, то вероятность "счастливого" билета равна: + +$ +P_("1-й") = (24)/(30) = 4/5 +$ + +Пусть $K$ - первый вытянул "известный" нашему студенту билет. $overline(K)$ - первый вытянул "неизвестный". + +Тогда + +$P_("2-й") = P(K) dot P("успех" | K) + P(overline(K)) dot P("успех" | overline(K))$ + +$P(K) = (24)/(30), space P(overline(K)) = 6/(30)$ + +Если $K$ случилось, осталось 29 билетов, из них "известных" 23, значит $P("успех" | K) = (23)/(29)$. + +Если $overline(K)$ случилось, осталось "известных" 24 из 29: $P("успех" | overline(K)) = (24)/(29)$ + +Подставив, получим: + +$ +P_("2-й") = (24)/(30) dot (23)/(29) + 6/(30) dot (24)/(29) = 4/5 +$ + +*Ответ*: #box(inset: (x:1pt, y: 4pt))[вероятность одинакова и равна $4/5$] + +#line(length: 100%) + +_6. В трех одинаковых урнах находятся шары: в первой с номерами от 1 до 9, во второй от 10 до 20 и в третьей от 21 до 30. Из случайно выбранной урны берется шар. Какова вероятность того, что его номер делится на 3?_ + +*Решение*: три урны выбираются равновероятно, затем из каждой берется случайный шар. Пусть $U_1$ - урна с числами $1, dots, 9$, $U_2$ - урна с числами $10, dots, 20$, $U_3$ урна с числами $21, dots, 30$. $A$ - событие "номер делится на 3". + +В $U_1$: кратные 3 - 3, 6, 9, то есть $3/9 = 1/3$: + +$ +P(A | U_1) = 3/9 = 1/3 +$ + +В $U_2$: кратные 3 - 12, 15, 18, то есть $3/11$: + +$ +P(A | U_2) = 3/11 +$ + +В $U_3$: кратные 3 - 21, 24, 27, 30, то есть $4/10 = 2/5$: + +$ +P(A | U_3) = 4/10 = 2/5 +$ + +По закону полной вероятности: + +$ +P(A) = 1/3 (P(A | U_1) + P(A | U_2) + P(A | U_3)) = 1/3 (1/3 + 3/11 + 2/5) approx 0.33535 +$ + +*Ответ*: #box()[$0.33535$] + +#line(length: 100%) + +_7. Из ящика, содержащего 4 белых и 6 черных шаров, утеряно два шара. Какова вероятность извлечь после этого два шара черного цвета?_ + +#line(length: 100%) + +_8. В первом ящике 5 белых и 5 черных шаров, а во втором – 4 белых и 4 черных шара. Из первого во второй перекладывают 2 шара. Определить вероятность извлечения белого шара из второго ящика._ + +#line(length: 100%) + +_9. Три стрелка случайным образом распределяют между собой 3 заряда, один из которых холостой. Стрелки попадают в мишень с вероятностями $1/2$, $3/4$ и $7/8$ соответственно. Какова вероятность хотя бы одного попадания в мишень?_ + +#line(length: 100%) + +_10. Два стрелка стреляют по одному разу, независимо друг от друга, выбирая одну из двух мишеней. Вероятность выбора первой мишени для первого стрелка 0,5, а для второго — 0,6. Вероятность попадания в выбранную мишень для каждого стрелка равна 0,8 и 0,9 соответственно. Какова вероятность ровно одного попадания во вторую мишень?_ + +#align(center)[=== _Формула Байеса._] + +_11. Предположим, что 5% мужчин и 0,25% женщин дальтоники. Наугад выбранное лицо оказалось дальтоником. Считая, что мужчин и женщин одинаковое количество, найти вероятность того, что этот человек мужчина._ + +#line(length: 100%) + +_12. В группе из 10 студентов, пришедших на экзамен, 3 подготовлены отлично, 4 — хорошо, 2 — посредственно и 1 — плохо. Отлично подготовленный студент может ответить на все 20 вопросов, подготовленный хорошо— на 16, посредственно — на 10, плохо — на 5. Вызванный наугад студент ответил на три вопроса. Найти вероятность того, что студент подготовлен: a. отлично; b. плохо._ + +#line(length: 100%) + +_13. Из четырех игральных костей одна фальшивая — на ней 6 очков выпадает с вероятностью $1/3$. При бросании случайно выбранной кости выпала шестерка. Какова вероятность того, что была выбрана фальшивая кость?_ + +#line(length: 100%) + +_14. Игроки могут с равной вероятностью играть в одну из двух игр. В одной игре используется одна игральная кость, и счет в игре равен количеству выпавших очков. В другой игре используются две игральные кости, и счет в игре равен сумме выпавших очков. Вы слышите, что выпало 4 очка. В какую игру вероятнее всего играли?_ + +#align(center)[=== _Домашняя работа._] + +_1. Из 1000 ламп 100 принадлежит первой партии, 250 — второй и остальные — третьей партии. В первой партии 6% , во второй — 5%, в третьей — 4% бракованных ламп. Наудачу выбирается одна лампа. Какова вероятность того, что выбранная лампа бракованная?_ + +#line(length: 100%) + +_2. Автомобиль на перекрестке может поехать прямо, а может свернуть направо или налево. Вероятность попадания в «пробку» при проезде прямо равна 0,5; направо – 0,3; налево – 0,2. Определить вероятность беспрепятственного проезда._ + +#line(length: 100%) + +_3. В торговую фирму поставляются телевизоры тремя фирмами в соотношении 5:2:3. Телевизоры не требуют ремонта в течение гарантийного срока соответственно в 96%, 92% и 94% случаев. Найти вероятность того, что купленный телевизор не потребует ремонта в течение гарантийного срока._ + +#line(length: 100%) + +_4. Имеются три одинаковых ящика. В первом лежат 2 белых и 2 черных шара; во втором — 3 черных шара; в третьем — 1 черный и 5 белых шара. Некто случайным образом вынимает шар из наугад выбранного ящика. Какова вероятность, что шар будет белый?_ + +#line(length: 100%) + +_5. В трех одинаковых урнах находятся шары: в первой с номерами от 10 до 25, во второй от 26 до 32 и в третьей от 33 до 45 включительно. Из случайно выбранной урны берется шар. Какова вероятность того, что его номер будет простым числом?_ + +#line(length: 100%) + +_6. Берут две колоды по 36 карт. Из первой колоды во вторую перекладывают 2 карты. Затем из второй колоды берется одна карта. Какова вероятность того, что это дама?_ + +#line(length: 100%) + +_7. В альбоме 7 негашеных и 6 гашеных марок. Из них наудачу извлекаются 2 марки, подвергаются гашению и возвращаются в альбом. После чего вновь извлекают 3 марки. Определить вероятность того, что все 3 марки чистые._ + +#line(length: 100%) + +_8. Среди трех игральных костей одна фальшивая. На фальшивой кости шестерка появляется с вероятностью $1/3$. Бросили две игральные кости. Определить вероятность того, что выпали две шестерки._