From 6fa3744eca24f71a254fd75c732461e3fad85fbf Mon Sep 17 00:00:00 2001 From: nik Date: Wed, 8 Oct 2025 13:14:40 +0300 Subject: [PATCH] upd theory --- course2/sem3/theory/qa.pdf | Bin 0 -> 41822 bytes course2/sem3/theory/qa.typ | 534 +++++++++++++++++++++++++++++++++++++ 2 files changed, 534 insertions(+) create mode 100644 course2/sem3/theory/qa.pdf diff --git a/course2/sem3/theory/qa.pdf b/course2/sem3/theory/qa.pdf new file mode 100644 index 0000000000000000000000000000000000000000..979c2161078a86447fb73955a432a88256269728 GIT binary patch literal 41822 zcmce;Wmp}{wl0i2f#A-B0Kt8t!QGwU?(Po3-QC?axO=c5fuO-HxI4k_Bx|3u_d0vs zv%kB~_ncYdM|X8~)u`&xHAav3eI~iQuqYi9Jv#!qFX)GWzyt&^0&EQ|5I%fB000=2 z-R+D445GF+POoQ5&IV4uD_*M^Uuy*Q9gSbF0vKea)#L?5Xr#>zj2)cJZJZsIj2+BP z=mc%8j3k`&t;`MSB#ex0oXnlv>BL{}6tOY1H8Qs`1u*=%Uf9^t(AdUE-^S^+Uq^r@ z6B|e)MeX0(*s9o=gKjehFmb$ABJlDefZD#Qi}1VIzf@dELin}Ye@FjU1wgkexjQ-; zTT9rO*aChp5vW$t*woz7$-x~!DFD*NmJro^E9eMR%?w~;Wd|^^yb3Eb=o0Izu(GlNK-R(hItD9%8FT~$uyHa0Km&sW$jkv? zW`7lSPDa4%3CHhVm^lHj0tAioTUbH*u`s;~kc}O{!u%>6?5qG5&?Hy@Y@nW5ehV|G zPZr>-uyTOfflfeUFtX4yf_|W;pel9%kOOoC>JBs#3#;~@jN#Qh{%#D?#x|x-W}y37 zUzhq1n--GMw|hPNDD!Ghzl~Yc+{($=0rV`a^qq`_jb9DzwNuceHP*LAaLcq#7>(X! zL>0O93NrN*W=LI-aC52%g7OnrzY>zMG$Gvd4--BbmcV*^TIhPigV#t-R8oHAIZ7?} zse^b|vrLXv&d1?KAd5&^izV-&PO4k@=xUPWJ6ZBUo;9TqCJu^9|UJR>FAW5 z3CW^>Ye`3YiWM~wCB1cdht7rxInJLNdvPJgJPm>xHl05iKK3R*l1|TR@G$9b_lmiraL{gNKwR#-YY!Jn_5KTIU7JKD=8CRng=X{Ur$-h--Hw9hM~0{w2G-Xd=5HqOpL-4GUz!&a8~g89`7g`} zWN81ndH&-bB=jc(D^hdy!kBN=Au(z6RqKBfFo2ZZTg=7AMh9bvk0gu}8wls`7pFX zCV~^zc?ZGPB}# zXaxHa_f8omZ(gq9*~jrkS)4Ej-*@~v1EI4=k1;r>Kr`o~$@k-g_s5j*d5hO^D}w`a0X_etG zcO4aj{UA5>AZMB5VV%BYPch^_qjAr^Bcdb5Ql;Q;!&lro@_I^a&w)TyjyHB{wL1Y>7bh32CP0mgZ?^Du# z_5LSQ&uppeT8o_u7Tp~8cqJ%?AmXufW~mUpdfl9=tQum{7v^oDX2f8x>ja7MTW%uD z)SPEXu^uix$U{o}t5k_>{*I4{w{JpykN3Iv>}!cJ;bln^Z(){A>$bi;@q5udqs0>b zj6L;(K67@!#1WwU0QB#pVr$~8*bmP%n;n+HO{LULEFw)zBQI-&P?hbEn_0q9L$+f? zHzFe8U)=cVD^S&gbsRAlh!)g-NqVmzG6SA-z1HPIGgYbCdvo(DrOOF8aZJI7!o4wcF&_7EACX4 zR<**^{d(1_syl)!&{4}X(h5$3*1tIAO#9XqtmcwiNpr+2vaGR%pix5u(3XHb8FNHZE0^3ZD zNzx)%jjm?gnGTjRL7kBA(J310MN_Y*8CMXI!{OsbeOBspHQM$8!nVX0@Pl=RHjf?`vm>JyJ>nf&l_IQzLMOgOrw@&i+4l=xsE$RQKY~=n38|L% z0<>`HSGyTVcp--IcF=Lc#+b6BBfT`iRp~s z*^^yO|@?DZE*j5A(`;V|5FQyH~zZ@;>T~rRdy1t(7S;En<8q-mSf? z0K zE}?Z~veGyMu$I%7&atR9!j=opo=KYX9EEQp0~iSCXGI%%mml-MYDw0VA?`LLrkA+q z#Y=-2ib{a~BOLg5JVkzMaKqU6Qb9H(VkhKa4sScDB;nnjNlD{(e@Za9)o-r_ni$J% z9hYnFdz$Mi@ofE(E@Q6cB<*4KM9-;{SP|$1ncQkM+hW~ zf;p>FMrb!VsLHQu=ByZaZs2`Is66(oQj!7}qFCHozreK4hJ%m=CxGd~_Kbwp0J?1~ zD4Wr(slg=b00EI6Z0R&nCEBK6RiArSzW8bHYqI5LEV*hO6Z3f3La|$_xW`K7ZbZnZ z379Bv3TBKR&J^gBJlBei0@=jET9=h2-FkH3sz2YhwVB%{VPkL1cu^DiG0?6Nx3fb_ z(Un_1fBt1K3cp#}-rSjEf@2&P=Sy=Hp7cY2BO^XSte05K3#Nx`9fjild&7-bVP0Ej zZxk>&+)V+NxtRP#$zDGo;q?PCnqTjx}y$ZGsbj#Ym zNA{2CkV4d_rePqNBRGkmu~y1V+Z}(M@>3kpf_<_0tzx533V;dPB=$ z+BH-o_gQz{4nmy7v9Ysv1NmU`I2dKqh$AI`-}-EPJ#ZL`R%c~?7tq#IzNuOvrp{R+ zN^f7J@0XF_D*To?fuP|jdpsg4J{fS$-kU-*RepRnSl>8+m`1v(D-buWl}ife7@vw7q* zEWd1sg;;H6+dEkq&w9G)Wx3%}tZHJU5Np>UaQr+u?hK!8#xNEg3WPxuEY_l?Bh^zh zSH#+S8k-1j2<+jBdvG9|9STUwb>Q3Pk%3q>$mpbfYuX~aun*wmkXNbCuBy~T*s z-?ed*B_vrGZ9Lu%!So=3?O8vy!`??(7(-?Ct6Xuty0|to+$Fl%DcAuXT(fZ$ExM8 z{_QvEZ&GP&>la3^brUw;@#+zs<$15W>#hU%L^vH8+Ys!C&y#afIgH7HQMLO zoYk}|@l31g@efZW;Ze3ljur(v?gtNRM1_ltCln+b-Ay!UX(h&T1H z4&x5BZ!Wb36M-i5J@l#%LnK@S6JM{gd@{x0tiLO6`8H3g6hp&8OwWA?C5CjwUNG$e&J> zn0#in2vUstD&T#e#m%+rG%ByOtB#brp4Yc3C4O@{etM*SuE^vYuyQ+!#G-Q z`L)WTJ~J1~Pk<~CFR&DO4AGUyuNAv`@=P3d_=@k|w|n~i+m#~$Rbnq!A^PrO9siG` zcPe3O`HU>@*3v#wkpxx=T?jcjq0g!|zgd5moox7V z((iFKQ1nANvi~V?N%QOB{y=!?dvPnprFH1tAK&EA&z^dfOW6yAV}nHz_=bOOopsKP zDXUM0)$!VdsyRlQ3(E*V=%gf~6vqKx4C?t{lE2G~(Ves_Wn3 zsAHQG)Up!$Mh7>^wZ(cPl>mi5Z@-j2#8zM#t`$+8eCJo>F4=fcXh9^4ogL!7W#9>p*>h{HJiHl<2#Zd!Q%Y`qWJ4tC7NDnnXqjL%%QR%nxHdV$r+6x1L5E!A z((d(Gl6GETe0&(S^n`shSu@}DZN+H) z7lUs*#g3!kbm4?TdHlzpys?Z>fHugE+3cw=?r$4VJ z)S96t8cHZzSUW=>W3HP~?OKK2RbLV1jF4)ClvRXF^$&4jMGf8%9YdOz~SL z+BN4)h(nuE&46{@Oq{s7WJ&LyP$!_LVeqgjY3PlW_gf050UJIlCNc4!#o zq)d1^P@dNGhAbMF#*Bw;!DqW^yl{RIj%`79$YE+_NpNDVr$I(<>Yaw`Gjt*Zx&a@Q zO12A8g{UP4z0bvHYdEDA)f`ruQ6qVAsW2m+1m?g|Dq1j_lSHS@tHdn(}IW#4a}s%G03xOKSK@BpLa7S=M>Q(tM;wm za%`eGTzqcdp`5dloY1^DIk-jJKB;xsgzaViexY2a3@*x(+6BXZ_MCHwC14+R_fo1E z{mADO!FW3FH2Ms`0wESQ;yzr|er%X@u~=%Rknbyh2((D7K`n-#iB=4mvT4{5jp#KK zpt)EH(~rN)e8Qfdm~y!0X8Q?kzduz8{&~2c(~+=4=zZ!CmlZ>>rkk-+xYA#Y)@y^eQn)0*$^;_gR zVWVx(P1>`bJc#O7vBkOjb_ksJws3Smq1{+(Vn38!t-W1u4u$ZF#Gc-AS$4ZDZ8QGNOm0*h3=Vh+}FuRqgPp$-N)2Y2}dT)X1M z-yoe`dCr=mYQ+74?B2xJc|n!gB->5$cnU_oF~*gjdIx{|jYW?A<|QZg3|7{tIhjM>wl)^7=K0DXHdKQt_LQ7w8cw>Nu|SqnzU1#CSwiLml`i#J zvM1HCQL%9&E*~mbmUBv3ytow%;R=kG7$lJvpNWQq!~8rCAMM-vQX=C2IcFY@sJ_VeY#%zp%ac#IrOLds^SEk-hibgG zR)WgD!BH-b2y%^RcR4>M6P3|>#aZKSg(3h|ppun49B%vBh6xC{;&IokcTwU^XYGA= zzeUso!y>=Z*b!qO`q7Vyrs%L;jjLF(EU`FaOVa2|03Fz2adNIhCn%gcWI>NWH*0iD z_kazPDG{XVuJmu>{k(s{Zfeoyki2;$l6Vy(;D0&~$7zJB*Zm7j7AkLD3d*HfjG&|% zv$(eDOX1}OlZ1;%t^emycUj!zggAG`gVYv}?URLm1^*Kt@B<>ceV$;KFI@HZ97?gd z>*#g{2I#uJ7qd*bad#OrT8#qky7n{=d^?%6wB;j%Xu4r&WT-G&6)jdYOm9S^?zSei!$2IFbNVx!Z(hSHPF20m=npNGwJK|Q#NG1VM zJii0jy25eUZFh3|fGLqg{I7IBU6Olq*-k3{#Mk%j-j8f5jYLBP(x1Z{pdx6(It1YrS8OsvfRal4?Pts6j-j*Xce z2%ux;1ZCiv*g-%62P5-upym(6N5IC^${0Y$^!qM>S6Ighz`^-D2mc4k;{>{wmF=}p zA$>b>V{=n8ClF`=e63Idfh?*3CN>WG-`8I!0ZPvsgD{EL-0Po^ALdtF1o>Q{%_yhzfIijt4*x7w5?m6XZFEYSs?eT zcU4@OeORTOW20OlihD;~?gGC^X)-0CV}(FPpny1HLpS7iN&J(rMvxay2l8T$YgYc8 zb~&m?0)_t!3i`eM2A6n=@V&5MP`uPI<$dgjk5TNVViGgH+v54;VRM2G=t=9F&SF0Z zTJ-2mHpcPNzq6-gIWJ(;seay5@0g8)#~2CosbV3N_OGR~t9cOq-hjsK!i$xFO$mGs@0gYdkvZA`I>L<8gs zx`9QS=dy1P)l%bKH0TSC1||DaO>fk(>gH*$M3eaj7!GYR8V4uU^gs3%u#=Ikrc@{0 zXm7wb1GPH7y;&kY)*HM2i=7690{)``|Lys)0XbgH@2_yQ*H`*KUd4a3>pue^A~BZY zO8PiMYxS+>CkFl3W#rc+z51FR-3!=2antRK|}YT_Jw6frCme4EGKi)d)X zN^p64Z{66xYQ{BcCY2dEaANi&C>HK*XbaYcR6!giWuKfaa&TeGmQOjC_BMS1+BQsd zVpL&(BuqJDYg~-NW+4FApm!FFc<3Gqz3&q@v@}hu8i#t=T&QPB3(gCVC|Mdlx+7JG zXCv21vd?2xaW0Oae56o(OJYuOAOa#`gW%q&EZV8WfHR|zex9Fk89}t({6p{j^t;Et zR0FsRFn}CqqX!Ze6-R)pFG7kf19ReRsoclKo70ItO#Uroc{}y0NMb%+O;fhd+E%8n zyLL*0Cyf!T&RaIQ%VbM8jgEf*3ZMKl zQ-IBS_;#HA1J^DgsbheEjW04DWR%W4;&M;-$X<)0aqVOamCu%ev65>i_ht8viy}*V zHPij!<5PjTZx26b`{Rc14kBYb(LSk7%J2)Asw!39Us?X^miPCa>tFlWf3a7Cz~(=^ zDu>yf`8nM{_JG`d*%Ok{p`P@gD`{W5wCvs zH__si5CS4afLI$K{stTH&yM#mnGr0UzoV>w-|@ze+8hEBGM0>j(f;N!ok6HwvV|PIjYJ@aUU}7&-oywUplOIXv~{9YF?7h!dH=G*E`&g zj*Pgp@tLkl`_c1-IZdAE)Jy}1z+~EO8WG5>8#$2B#KvvoJ(p>o$U})Hk$6+H<87%4 zC^@#k3e$6wjH>(Ier1V&6x&UjYLRgsRL z`Ym&j`qhlFRtM)VU+)T67z@>rUK8?3N}c^_Sl2*x>LVnw6OPLxGOnUqM*N7U{=~C&_EQ)E09g8iC5sUGQ zrHV19F{gQ^flB>O{mM*Likhv@3wj@hrlZ4qITz2JBF!H*b*Q3B9`vH3D!wPse|LNT zj)%_+A`ACm>aTXJzho;g0h#`Ytp9Dcg0ZrQF|B#=$*Ol&xMB*Bn|Z%E=;Kg+yBkdX~nizkwq!k7-9 z=FHq(v>amNIUw%*^tig~oqhX(xckNpVFJU(<5RMyATAzt`tyi-)V%P@7PiQ0YX3OMMjK zk)W|?Wpk{zFjQ4;;HBYFs_=yF?_(rLz?wOmYHYV$=XABKnx_*KnKhu$lK0l-3QmZ& zM(k$1@t69AL7WTKJK9T*sB)DVwPlqDA=oN|EZ_=7f!L}Up7z;bEJEt+;&Vygkw2qA zd9EhT`y;Z!0Y{%_RWOuIvTk4W3u9Nlj*k>=ceZ5El6HP*t)ZTzt8zhP7+ijDwNR|S zbRsZmAP!L$LcIs?C&lGD#0zRs==h{Oxh7@o<}^M|BoRF=>=8{%1k?=MRsL!sZnJ-g!5_k+QHWI)!WOIZmQNL)c8owD=h?!-` z+IDitNz00d{y7*v>X7DtxTRh7c8Ff=h$7@Rl6#H`G*9wkH)h= z2dJhq$e9hHrDQUn!p!s`RV$Js=k`{Obb^z6D(tsr{(=czVp8=!~cxeZf+&4{I$M+tXi#ymxIAf>`6hZxEbw)$G^5tD|PO zlE+aYXy&b#@{ACLACU|9b${4O5KLn*!ULzYUx8-s7> z0nu!246%WBHv*HVn&;oypBaR}ZRN=@d8RhINC(TaVT{w-5IN`xiv=F8vvRz+(7Tpm3Oit?Cq| zNMTbuA*WSZ5{+S%B|^%vmb&&%lj;&#;f{e&#HbkGLD~dy!neN7=f>S(eIL>sA>=Pa zIfJnQ3D}=XBUe%!1P9oD!aT4VirE47$*If-ugfk*AkPaJPiBrU*UTZ|d3QSd1Jc%RdA?V% zek_!Wht}hQ4umuG@$=_%{>bJv)MO)dGdQhenrqjDJc0fT0-w{P|Z-<^MI+^sl3-e;Elg z13`?|-;ppAGbpM7eNz5op6UNB2L9tq^^YtQCy@SkQtIzXCJ<%yzXX$@JjVZrVDdG9 z`mM*`Q#I1^LSjl{{}clM&p6Q_`s_canLzy6|El!=FwOMe>i)kP0E1YBeM zYk2>gbj)-@|DsL^lM_3Iq|gLMr$`h#^1() zrdMI-WCroZUxkew^ab);*w{d8@Jb^8<0_~rh&>KU8G}gWAYlQ`AM}7g!t(mf0%{5x z38Wlo`CfVKjDKc#|2Fi$f7tyk`2=FRzuL#Y{|%EUV+&$;2cJG7oPviDEi8mR2&j+< zfQ1S1DVMLXe1XId4t^GEVRS6 zz3rkmrjGle7am5qQoRtDf@=zn6idJ5#YhP~`fr~)TEoaw)}Fny zu4foNJ`NL=`>yMF-f%wufzl`95Vx2xdZ4>AV!ur8)|C?_v04Bn7ugJ^4f1CkGrWdK zJVHZsVV(F7m`f)>m7+Y%*VtAt^DnA^(h6KNa2{w4(u7?B9&LX$Z)E>Ae~)tc_cPO; z@=k>;H$EtW#f!f3je^FwAG7@B8@<3*NRtCj_|d+25CrgzAna8eIkzO8rSw*9a!t7p zcr4#*qI!zGZ@EM(+>py>NayzJGP{9w9)CWQ9j}1kLHVdGIpPH~ERS5D(Y*ZD#qi=sxG4{UlHeElYa z4}Y+&Lhk(dry*~dxWDj*ptt8Ay~BT|L)rg_gz!#vcP;e!#W$N@%v#MyS(_QBCvqEa z%C%?8t-BY)EvqzcwT)m&_yrdrpoY7oZ=fLHr51!1NC4}qc90dDsxHL6v|^EIQ^ zou(cAPxmspO^Y6kqtXG5_@J3PBQyB*&iI=*r9MxJls^78V2tBH<@l#qznEh@2z zln9IQKJIS_{c=ZnTJ@7mvMcwpe;E4-XMqf+dOAw`iK64onBMsy2<*z%F%KITY0$4^ zzvA2Fx9{_?D38T%pFGytXCF}RI>*kg&-Lp*(uMDc4SL}a_De;`jcWACO-P2V5vE{W z9hPv`n|yP(o~Yz>3}71=fODc+3=eO_TdT-U4Px|eXx@w|LBV%x0=w^l*q}@FGbk*OYuch6c7mi76 zD;<<{T|Ydc3@vn&l<=aTjb)i0KGr`n^vQga*A_aOLbfY%vs5=s=~h)(n^ z`p+krI)Uds9+1YaMZmyPSnYRGTBWWj@P}?SXUia9I$U zGFe8qmfC=09FBdonO^||IsL99oQ;`g#Trs(4J}-RA1uM7`_#a3uLBhVE>fwOrOF0k zYnnIK;yp^oEtuE~Y>G$p829a!pn-n5sW8r5g;NLc=-vfQ{B(-uKLe3aN)&U?1}bJg zTotrj^s{-#)xw1^0Dax%0|t~^VCf2Ar=|mXT=(_88U#Gxx(X+JL*WAjEWdnBJ%Mm; zlB~!T+f-lyG{z2(2`01Ib~|28$H#=!qDn&cx^5+fcdSt27mCB?vkdq6!J;_gXi6{%0-Hmq?C&z&4-XME|+w0du++S9+&m zqd*qcSQakq^&azPFJSTH2BMO1EVxJM(+w+YzHA1mME=habbF5Qw=(0wg>e_+xTLhB zj#tDkDC~xIzye?S)XT|KWv)sEOns&dB;cSRL3Gj)R|jo&h-e*0lik_};J7*MtlwQ|Jkh$1b>JKiS4Bh%UL zn=W&&KYzj5%%iv1`3voBHx7*?(;x+j!dLfN{8~F7WmTlFh_)~Arm#{d0kFspc`rXJ z*0V;>$S<57aEDSeO(O*ZN>ldzOl%t%T2@`R&#J(e`L{**!&#%`BaJkm$8(&V2&x7U zl&LL=@G>%~;`8y+@=ALYO&vDvzNy=xDN;HkV00xGjnD0*sx48`o8Cmk!X53pgczu2 z-SE&SDzh&Hdz>o39uHveICj;+^dB87%*Qa|4g*_#(`zxj{%t|n@;!CSAJwo$QGRM2g zQf+lk3$3czue5W5jwA>$_!ulocMTMmZpBOB)C$(59#(((M&r4`-!i0L*eZ5@o z#a8} z73&m+)UthG(g48;pJc&;ZErLbBH4!LZIA*nvmx`gIvmr4j^IyTJt&WWi)dG#f(`d?_}Tk(+jpJM+kN^R zP#hzC_R_}C*COI&Gs&n0h!Jsy?uSjM(K4Gu&^ze}7{+Er?RAya;m|3vgz!oij$h!* zd!&&Izn3>iLg~bE_VV-Fg`PyV&N>E9>cc=P^Y%*P%y`gFry8QBUS>eH_gaW6A5FLv z?8Z1>Id6r)Xq)niRA0jC{=mwhk{s;$aNs^6yHS^VtriHNrh>sFTUx=r1MK-pS}YqM z@8K?eC*=&i#=_VM?F9m6(hI(EHWOK+k!gtVK>TU&@>@5{mQg1?idd&dA*vN}I0@;opGfMs=MKRH600Ucj#=M+d*9*T=%~Hnvmnc0;6%EAHrM;IQ z@Sk@+yl`}&=*@FfOBYB}$BKoxIPmqaf9t(^x0ZE+QZ>f9ewNhsSnoMO8bHj^Y%p5> zrC$ELsl!Y`xRH82vVE%ux}jDG$FKi^l$4#m-yqGQj8)EDS;PLW2duu4)%^CMqPZGn zl(MFTnCUReBv2+Q<&BkhVj`&qR3l(v-1R=7xic&QneRfjw2N1(!OwwjfD=jx%!;H+hJw7}q!$g~ z)ImB%iZ}QWc-MrUVH%hClluXgJw<%{RA#PRcd zh~L@w1N5`obtwnr_wOXr>kxGbFdq@FY3p)Ls3CqVexV$ z5S>EWkb)Mgu&e0$s5g0XTp1PkgHWt$XkG1|UOW$IS!vcaU^croXXEHB;H)mAw?x9& zj3_NiU%AGf5zKS_n6A!k-?DKTcbhGbN1W^u&%WekvjT8!_3kC4+C7=~v_;;6#!C|M z@4CH-|H4W6v-t^@amv^!Z>SJ&|L#ccW!JjY`}dtK(i?)^j}UiY z4dBglxRw=h5fYs=q<89%7)KA^sTmEy=%^HT5;rWAz_l&7BSsGpF3VlTtfNqVM1|O5 zRgQUNsgS%~OqhaZ*;Q~fv@haMNDqc$x5Be3V<@j0Kr3w(RFGwpq8(2%r7%n1nsQ15 z&{XkG&rVvKSq^dYWDRNc#6X+Gf3s_gFl@3eihf$_{8Y_rhh zlmtfdXMWC{SQV9W^g;Kj@7TIQJ)n)FSUSg4exI0_o}Lk2_vxyRhrOVgD6`BNZbk5A zaBG_;Wg~^Ga6AIORd^zaCpwJ$1q@wi{R31ttwKpi1sNr#$kTh_7-rl@sNO&_MKrpl zGNvM!(x^a*m?S(B+xMfJNdZq!SO4r@QpB=F&djlo!uwQbX;`GzXO2fOm~f&tWv>n@DWJSYmxg+ zT}fyWRFRTBie5=j+3-iB;}zlp(^w)1n|3Yo3`}8{KWU{Dlq8@nn$3+&mdTn!$JCJ- z=9MgJeH%%cNolc@Ocuu_33Ln<;4XifiH0-AEz!{&w|g8cC2)8SQCb$e5iv%_)a}q+ z1jM$Ft60)U$_1Pwc4c)j_pmwUanXV_tae#JlzpA~L6Pz4dl{031L-yn7K^bfNSQb0!5SrV1`>mrtV>}CCwHT%Nkq|T z`lyT=d@8Eg@*GCb`q0eh{vCR$m-xn>Imo>YNtrr10_a8nBy?cfuF+qm z>{f`G=KE36<220LTl^W$vEI6oB1_$Nu!}-Oz5>`?I90JK0}}zx&e1`-Rwy9W#DpoC zq!EE`AYKJ59cMLE-X3)vOeWLG;&8?u&=MLC*BsocU+1{czF;hA<4+R$SR6?3$ypd` zfZ7pgPB~z@BQXXYeRCMni_vi-eHr7tR&PQ3CIrzqgij*x1gs=m? zxAvZHr<~ac(E7o{(hX+74RZP*N{8IamS&Hd2r&hWp8`yhB;87=bOma|f<;@C4JPOIe@$aPdJE zk9C0OuQnzQAw}e(;vh$*$-<6+hhCNdJ*|@d+;Q3gOx21eIA;uOV3MgaLUSjYv<$*P zKpK#bS2%wxIkZ=s>DOl*T$vt0d*Zv%AzrbN-m%dxJ?gt~C8ZUGY5%ztld}T!>8AG^ zhg-Q-@NX3k<31PDpT$}4~flgxsj=0 z3nshRJN{KLC!=##*!C!Oy7a=ki_l^RT}=|f_j7U&^@)hEDm$ZKkMTJ?`c6x;NI`51 zvRlMr{JJrk%R4v2oGn9|6@%oCR)D8MA^#l%lfLT-MgfEhB1x32^}s<|wPKMTt;-t0 zlwgc(XvIs?{dxiWFhOb9TpcpyBy$BFbDUzy4D}vez`##_`8QaqzjQmGcssIP-aNyD zwb^L2FqFs4H)Ux;c>T@I~Xv(a^nM69g6!E^VU^$p7xh4mviQ& z{`TUm1j$Vvh4x2#mK`(u-S)}Old6rY{vkjA%P9?dAU6!8-@}_@o(LB;bO-wzxy_wG zB|!NpxZ(IWR7H48QSxuX8W$a2Z!6o7=3yZH=RUB>ZETG+^4#e=SRXzBTcdBH`pO7n zxik~f0<0GMxxum_p4TAnP-{Y(!V#iZV;l78WEp#TEZ&OcF=1k)cZ_sm!%>^TxZF~i zPmBqY3wG*6S;7qiW~GYYbVronYYCMx$YN5&UXVUBHH9AG3*qoM#rx*G6WA!{wFn*E zD4siMU6@rc>(~6yC?ea?MoQDAqqUM7Z ztygV!_~U!}Cs6?UlihoD!HLbsmvBR*6DKY@w)gb1s>Ma&*AC?IU%qYpGzjwAt6@smsEb=Xcq_WYj z$dmsa6VxiJo5m^c*ANTVG~AqzYBqR6>pyJ8A<7#uG^rJu((NwO1$0>^fzw)WIt~6b z%~&YC`#)tT_Vjo>V!Aq4WS7q}5KMiecDvdY!tsxS^GUb+CQeYOnfjqPI%|rX=UqaL zDVZ^T#2GI89AMJwV2cV5i5?0)6@QOIWcPfUw;WR=1P8tiI-nIUQbI$BG;tEiR3Mq=LI&-KQ~ihyT|3t^ZD(~y!8Vh=|s7sbVXkyGq5ufwsLSK#no zn`#h2s}fEK`SwjG>59HBafFx78gg`>YwX5R>pjri$42L*9jr;)moMQ%9;zjn-z2*< zsaQrvgcVg`d%JwrsIpds_5l&j@kzLi67NhPipet-re~5m7gTRR{2Hc4GdW7{`G74V zT`d3j_9V-i4fym)8v$t-A&u7prfhC|A60vO3#Bzh=s8<(Sxp%j;0pZAXHCw7qin#S z1c62Yds=g74XaKh(%eYYy(=DC4b!>VGcLN};0u|K3F+XQc(yn@bV{^eTJ1;(hF3M~)I)@35U7MF9peJeKM4?ol+#pg6{{TzF-B;0w$HIeIU%=$cn7mWRlnop%v*B z5pqsjyIqzg3-XC86c(bIZCRbj9JC3gh(`BlkP$S)2~zTDeL8eQ>;djVdLNWk6s_|` z%Crk|Ex&<lu%8RbMC{N$sY&c%FYWvaT4gZ2z%C4#SES2<oFZ-v~^@v zP7{IKhQp66SwqufE%z#x#PK9zd_IB3d0H8A*FBW-5qsm1Un(AoXXN55E~Q;tFpaUG zS17fK<}3ivezYtw6uj1VQk1t06jiCG=qaEYQ=%BhiG!K6{;@3XoKL}DMIlUqTOqbq ze%o+s*8WtCCo|{}#kq=uYMr=1cl`kV77Qkho62B}f>D9R1pO|?x{IU;-0+zd2XgRH z|H<%^+EKS;#)xgYx6LZa$CZoDZY(6nvBuzZYN)aF3%V6gHSzI6ouZ}zy>cTNNov8) zUr+e!eSuz`~>Zuy*2Ac)P`-! z=I)$3RR-j5`;mT^+KkL~giUCc@2nRfM4@axt3h5pf`30f+}FM>rt?<)gT-Tg=*)Lg z2e!Aw4{YN;>0(j%$IK+!_1{%2V?PR0*Vh+JC5EU}WbceE1@GMGFMhqFF-1rXb8iSP z+#mGEr`^sO4zi7;y1#(+x*%1AtW=s0?DQ$9h5L&nA&hTe@ zc9PhAYIZOA|Oafx6&bqG>C*Cpmg)?gI*Q&zVCg%@BTmc+1`C-&zikv z_L{ZU%&cH^j4dxm`lz+@nY$YB7x0f~T?z zK>|yOl`(kqxCJI}%o{Q_!xGIp11IS8Qj_z#@Nll#=Kq^{zr{7=^9S)Jw!0 zVyUnNqRHfaBqsIV=1x6zM3}$Roi#2}S4PGOwHwI+WhKZ3)kNvsTz!2Nv?D{Z?+ZJZ zfv*0ilcE3BT=>79xqmm4_&awTHb?+3h?xWrnEN*?iT@XGoZsyvF3-KLmLKrx?2FwL6JFogZW*l&I z4Y45rB6|H5$LX@#kAvjDLH6%0g#U>1|G#z-|H&{Iuo9r)f*jZb|AB${ZxDM34#4gJ zVh;hh+I+Kz_!=LM1F%+r#E0VqPVFJ_;kY5R^Yc*se`PnUunwHLA9w?H!!pLhvAJ1! z6sjLn17x)9u*9D$Y?zmizDw9(Jl+pyk;ZCMX5Q)F>JwZ942M50U(`-6Hk_ukGiZ-p z587EPAB+81ss3zBsg71G!t3?q?I8))F!ZPSHo11x*3`H6NDu(S;R`q1ZK}^4nQJ8~ zq&MdRZeyj2L$%_tr-q`q2AzgdZ<#$)+D1o4CZjG>UFn~YPOuQ#7ZG<=-KC)BD#HHc zJtJKX#SA!^)V_$Q+f8vbU4L%*L0Fhbtzldmsj@=DqiP^kA3yva^efRmzUvVZuW$6h zznF`u*Imc)h>b!BjR`hgPVu$49l*%JH!^w?mtfcBZIVEgH{UIRYvPr!Lo{c=>?M5f zKL`|5Jvd=1d0cjQ!}q%D2F9ls9K!cvcn1kEQZVswnYNE@j|4)U zauc$i)zR|}wNh!y9Ix5QCpN)(LDT^@L7`zFcn!Td_#RDfnalUqY(w5$|h{sXAu zcdrLOv`?RoX}p*5*$H)HXl4(|z(!=1qkb}*Gs0E0u4+MAM5$;yb>i4LKsv}*F#XbS zg)NkySGnvBW+=Q!*_f-D6k7ScJF`PwT74dd_5M1KElQ4Yv()M3c;hDvDW*n46Lkef zG7E>-r8<4&Uua7f;>qOsD;48eQ=1>Eso|Mh%#?Cft5?}Ei^cCZVch8?S9wdqHTZV_f9T?C96`*=g_z$QV0^(~OYkVZ&k^>cP$ZTNzE3dN zy%>qubEL;d|J?BG-FsO4g*RsRRI^vzmk#R*i zWeIDXQZlYjbWjNEZFM!Em>DZ})*R9$>$Y)-aanC3vA5b?INj}zVHfx^^T8Gbj9N3i+p0!p|BkU!$A>*NhU zTU18v)fvt2)O&Mw2&nhGkLxyH&znAf1IA!b!K^k}G7X@p__s4zugRsR}I2 zyqbcMKX|!C=gs~ZYP1fm+UNd8C%QGQU{Q$YobU{8Tgb7ub*!$p9Rp-Y~QZ(t%>~LCB z_i1CE7o9u^u@#KTAlFXQ;dhwg*7(BHSQ{bDAfr+pC#?SEW%~6X%BeU$uK3<=h9*!# zpYog1{bicc$!Vn5EmG%=Tpvlle0gmd<=>keC~?Sd7T#s}din#qokD4$tDh%MsCZD9 ztpWk^v|}?0%LA$OCJ8Yl1az${ljG|Zjyzbm zx5N1&msVI#Z|rh5*3%i;nZ)8AV^>%5SVzPTA@N$~l;*E@JW51wEf!K})zhbcvH$8e zod7Y>17SLg<;eD}%ziVzfd}iS@FaUo-0VJ%`F5K+PW*A*S(XzfMS=L-oFkm3Pb!wD z-G#Q=A5X=o{p7#{=fz z0FJISqCRHe4q=cgA5VBGV8vc*(dC7%zA)JrA0IYOt3Gdi_<8mAnBOVs$WG3r2M-}1 zfOWoURj?ZAJ^lm%l;Gm}xr8-h=ZIFb=Ys5nM8b=bjn$P7KFhZlb8h!EtM*jh`gk$uN)p$O zb+%KdP_^vl%1?Wo(RPc!4F!i=U&ah3A*tT0>`3!jCi``{0C?G?om zna0bF9lFOqy;daslN9@34VC{^sr#;YgSfu?q<{0&V+8?*jZA^QABRAGGh^td#$>*ih0pHHNgJr0)Q6 zzy~ZfAzCm{Aa87Bu7Byre;HU9Xdm$A=L8}LvodpY^L$-8hyvb-0F)!dtn(X~vazGB zvxA{A5E1}l^>*2mu#Jr^Bv$hkmGKhfhj#tVD2^4(#tM1+pY#Vn-~1kIcS&2`cA68j zab1J%3~Ex;+##r)vJ5R*)DIu=lTNDWcq=}g1*|hF?%4rp$)2!-BtwY>0=j=ojHrEj z&rvO%ObZ6=Zl{dZ<|!Xh7>*It~>?Juhs zPAPJ^_IF-q@O~V)Z!vf3H8w@=N1F73qDrHt|Af4>q-uNd`1Y>rr>&-D6<>_AG>n6p zg=4$gS$+X~O-erPO^opq$zpQBN)6i-z0zdYqn4;nrtneTb+n4RE0W8(ufDXzKnr>J z+iMYou3+?N!iNW2u_wP!aCW)N7i>mou$?z`W3}_T5_C43S+{$#C?R}0<;NZT9O&)t z!Nd35qC$9-(MV}5vZajApj9`z_8W5Nd&*Ya0)YkJ$qu%SJLDEDS}W z1oR0ZYibR@n_(_uL#bJ>ANBAF#=^O zHlyKPOO>t>;v?2BgO6`LL7uj~yf`bYm7Av~VQB>GkkVZYD@P`0yKR+J7ePc@(B+(J zN*Q+18>-HoE2Z)-e0@Ze zd$hJh@0c4nu-P^7d@`=z9ZBf=s2kN)}UxC z5C(;cA%Rf-Et`s%^om;}Sq$$@B;LeZk%;iJJ>$0IqZxB?7P7Yjbrt&I7H7V~Cc4hT zJ!I%zz59IRi-74GmpD#BP^pu?TN6WC;Vy@gr(XM3@fT70SC%(h`r(2-O1q*`SV}d< z5nzd)_gRC|-6M1Z;oM;d%w_8us+`Jhpf0ed%rS*c%BlrZ4lh3wLKqTb3M3UCXC>Hs z$4$FNtz-I$*ULV8Uy*i=AWBcef{$0G=tbNLKFKxP7-MY~Zt0c}wS!%6LK)^Lv%BUw zQ1~Q`0~C-wLv_USCmD!ukUtKircHj*1&rwvF6q`+VnQiwTSNh4$;n__JR~#k<;MA* z%u#3{jBHKc(|A>H_4>t}jhZ~6OkNJMSdDu=?H6JEbuI|btYkqaPr=jbo}X~ROwU<0 zv+xdubnFsMYo;^K-AEV>Od~3O!dtEQZAZWuu51lZS z1vc-t4E!lLw?jdJvf39)X@i3j2}cY4bC|rDMXL0!W)qkuQty8HE5-N~Zw=7AZq8xb z@acp5bEeCp!SRwDN?ta745dsNYx1R^>PW>F=FERK(mRuwBV4dluj8!czOb~np{1qEwrGKgn< z>KbilPm!54jVIfSj*f;}K+I-%jR;c`B@L{T)xq`4XX`m{lYJImVQehi+v$DKmBTII z51xGBi~@Cr#YVvdD;_vN!ypN>@Wspt-bjpMs4&LSgd>-%T+m|BbY$PFVL`)kJQ931 zM$?SUdg7GfYq)#lmTc&g=*`+LlAnq_%Y%iT+eC)sv|rlZYkqk`oS`Zv zm5(M&WJzG&2LDp(A&G}Osh#spv}l~v2%EH2h7a(hxE7VYSd0}@leLIZ;vmG$4GyHu zeeYSzBf&KJwZ{`g)?Hrlsl#mN6nkeVsRvLh$Jt{g+Cf84Fmh) z@ysxC2Ymf;sUw)M1fSh1a6Vg9hET5%wyK)Wzyk%({yNl5^>wDX5%N1?bA)eFP4$%U%=x&h0^Qm6U?Ys zwF$*qkghDJ)ZytNn?C@e015@Drj+pE<-g^zXV-byW*>x{AuVsNB}SZve2}{opXmYP28cA<`1e8Ct21gbW!)VP4g&^LIwYyg zbRX!8{a>Xt@D4E5f8X9&qJCey;6al~{X@;&4==kl2=>8#^AvB1W9(h^mnq(K%cC3A2T4oSH9gl8 zDzwAILdw0V=^PcGc|7Jl5qOrG?}<%{^=vU^Z;Txe`dTtCsAqk%Ej%B9V|PwKeu9}@ zmj4k(1WsN&H#*-1LtevwEi%P}%Xllm^=?rvL!DQfh&4bGybvbRB~N|b0wW~xC`IpMvO{GR$r6v#{Ifrl-aJ)@Zu9R?%rr=#2S zHJlzjE8xO|;%%L3qS+!f-A5p6=kahdo{q{Ka|vtjOlBG5H{tn?m?L@lTJPSRBV(#TweM3kZl!UH z9xpzwv~#vTPn(IjE*#0=gZoTnR0g9eh&qCR zAB2wryeRu`?z_%mKzl*MxMk-2fq7qb_xM+t_g5!AKtcZJ%o_soLzMi*yxCa4IyL^m zzyD|E-KjMdO2UQdy;Wv*J@uJmbl$CddWJCwqA(^a{Tso3$>;%}ggyzqo+~iPXNjpk zrt0_Ca;Yjwh2IDr9Vee^uU}q)-9xBu)_}>oGsy^r zdQ(g&24Nc}96h;4?4>0VGmHqnlr&~5;WYb4?e~XP!6SKFV@i=ZaH5`3=7J4;HRh(Z zO?>F`yGpm4?h(o)J04k|f(BcRTm=NsH$YX6gu6-m$sQ?ItFr3^-AWgC&(jT(%wwE* z=`aZ7H}_sPpPrH2c{{bG1CO|7IQ7C$}{7D7zkAdz1_bm}W8k=2T2iZgom1^l3@ zn{mNt>%=-SyCsC8g!U%0_fEFT@FdF(F&lFyC)=&=;hE;M$3o|M7qi1#8U4YL0S86H z8)f}gaT1gzd->j0sAgHlAq*E5o336-Xl;OZ$p#|VK^9za}@wFjex2180IzWCdD` zvxN|RzqC&EhV0!9qMPLotbr!)$|%>@?~;zgzzzvRjS%8Rx1tSDOvRmqGkq~gt!16s zEGpx>8B3Q_fO@_Rh0ro$vpRE*h!BT0B785vkqrIe3%RWdH`oTOF70RNTy9WZ8B|9Y z2rEI+f@ut{M=IB{O+cjrA(}#~J!kY`?8ho}$W)x+#B|6-b4n3Aa4#KuBe-96aET8v z-u|?Ux_r(iKcen^oD;B8Tv;##lN80)7zG}}wkpuZ0Ea`}U6J`5z zKc#k8bo2N1x89%B-4Q)H72esgs~Oy_Nh$A>IK}PE*Gn-LHL`G&{_xDaR|#K~W5*pT z=qOns2yrC{YiFhBUf;M=={9tE`Vla0eWuYg%c4j-T;as(?l&9;Fw7mZ zp3oSI0d$rKCgTV-A|qBu(4AucdH=Z7&1b#j5e5aXF<4kJ4NUnfj*hqS%2M|Hp$K`!J|8%U}Pbmu> z-&{GE`Od4LJ1g5K0Yr($=ajnk=WbDRUU!l9z&1}S8sxB=Pj-vT{2#I59?{_4J{-Ak z?PK{QaLxdom$z27vWjs9nlM2p2M)^kxk2(^{E3^wxZ}W^ekuMz_W-A$$bi4%kSC!24>vda$A>tCnl8gS+LQ{-Yi zx9EQUN$<9-YK`K4UZF$)V8Pc{TDi2oUCr)k z>f(RfW!cc`wE?()!=Q#7c1QGsBpa6<_s7vBsMJCfGmPXFU``=Sq!23#fc?9=l2O<2 zu#}~X(@SzR~^qOpKXE_Du>^yO&5K6+4s`fps z<|KEQlW)}d>|7T;?e%S3nrlvW-6Gl$HJsE-q0C&3&w`!zHXNpdWu-rMa|cVMp2yE- znads*tehVneLOsh8r$J{nxA`asI8KC=6qp@CAjnjbt5EzY@akp_IOHhF_r2};?pkf znk=i8O3VI&3OLYlv@-JxJ7ECoOUI?K(td#(r`go>cZ*J+^e+^Q_E74t0)|P zvarF?KCh1bc}UJXm-1(o8n_~uLLS&yeaN9o!Xey5(g;CEs_Uuifyy4~cziR)ypw4R zAr$%>HvS2w+Silh-BTx0*x$`Hyx^ z8hkLTL||&P1i^lpM$O0V4yLq zU(?otTb1Dmd0Le%6KOqJx!@{}E1-w(lvks$g;AqoIlbg8kFLrdfxn(Cr^=e0HsU-B zy~TCI%>39qK4DRRagECQZ3QBQ*%OLeAZ8P7G86`F8YkohrG=LkL>c#)rdKB0tp<}U zKjzNazA@2L^P!BFRGKuuTk1gmq;J+rtMQR@eyh*^dwKMDj(`*bTOuKBzR0(1hSoHP zS$22u&Ha|PhOHH;7!bqY1eT+yMu70NG=Zr|PZvv=2|was>463NqF5#8+46Y&XwzK^)}j z6>a#?L-WEL2wCp?SsW8imTez(+pdW4wNW-v!jp<(99G}gTD(RXC>6J#e{yzlcPYp* zj!e`Yw-Knnttm4);hJ$y5ED`9s_-?y@F3?0AA+Ig0A>o{LM0d^bhG}_l7mZFITdr`hzrtYwy{*QH_AE zyF6a#zc$7nXegmSrAl%bf38LbPFTuwM03qJLX+*hpI_RVA+qf(8QbCObG}ZigJ=5e zo|A@bkWYO^wOC|=V>@95QS*nV<(sPAIwf8qwLH?X(ANk)Gk+$!v@-(r}1C58bdD{)Z0$xr-H2=znJycoQ=if%IIz!XeZ7n0nAdd2mzIbFnM`(>6r=}D z0di8?BD#LV!aLDIEY~=3MAR>p{#3M&FFTsz_Ft-&maQAQD|*VliEL})T5g1@m}GAD z-_~>qUj|iY=<)K#R#2x$biqbEX};k&f~fpN-N1~0hM=yk+!u=+>P4G9UIL|gkl4+V z&%D_})o2Nsg;g22uc-*9?cGUd?7fd}TAYT?mA+r`baW(GBD+50W78ES6jlq1z+3b9 z5grq)`PuMY7R{vSHtxrJWGPC8Afn>9yUTBDt!N6H#QeV?*%YPK2%ERVv_V@Kw2US* z8XXbBcR*_ht)(gv-{a4H)`Hm1tr7y>9%7Yb;b5l1pzv`lTR)+QtKOu%l1`Mn{q7faWJ**6$I*-KZF+}q{{WwBXUYUj324BQF zhcC8Y9aRYp!h%P;Ez51{l=hL(#QfC!Ea=ImEkXzL7PRIxUY#PT?_lT*$y$Bv5{uSQ zaxggiaXJc_r3x-fOD-KdT_vwmpYrItS~~G86skig&9rP9T$}L%I(2hD9CiLUQ~zv= zG!j_ZbJEswKN3{iwT_71DB0w^o(d;!l87xLLv&?99z8VSJr-@!J2^L`EuwZ)MfhuI z+2lSfyws>~N-MREUvTnz1MbpMvEF)pr$(^cns2Ne3xa$GlHxej zg13Y=G=)BcddG4~MkhNk{PH9`M@jc!Z;`@+GtT8*icY(!ec?;@W~BYKm+%RE6GLo! z_H6Xwa6LJpx2{oi1xF{|B2%D<65egqZMv2xeg+*_5g7jm4)CY*#D9qcTw1L`4#)mE z2e`_Q{?h(fzsB7D@7mvA8@GioD~0bcn+9c!!}n7Pq2SH}M{FDSQE;ms@InJjz@cjN zm7OF5^AsVo5}~g2=x6)a?vWpqhSqlvNOLpp3k70|`d$p34Yz)V@jz4{3VFM$TRcya zw0JTjY3l2Jyi|66u2OKKcn~?WX3=ET;f>TON(ywljZ z6I@~j6ANwM)+0UhhGeh)J+qGPJ*Vn7`7MGIqz+7jCA7AvFK$iV@*Z2>3--AvJ<*># zV?@UYX=g*bWtP^}ZPqR!(;iUg8Ac@nB|a(gv<99Py$41nLJbkQn$6DJ4s z5snh2FMLlkYUFvc%1gd->pPw?WOs$Xtj0%3pZDVuK$~FXCxBWr`H7j6ZWE}pa`h|U zqNsIQE(K0@HN->;O*exWh(NE1!#b_*-e-M9a^|lW+}1Vz+^2$SAm4ttpQL1gw+2_u z$z!dP=BZJp+t~De7L)=1O@@6t!WU)ge01vZk3pzt8>JeQyk&I$)g`y$psDfTbDqI% zBq0~H-NM86gE^%=$-oPM#|xDT*}FAux8#e*S!j3n28P$@P4lZVQZl z2SAtNc@oFZf(B%2p_eY7=!La1KNLVtoFe%YV)<9 zEzKOV2<(vC8eSvsfL1zp!;zo|kDHx5qUtX?`1y54 z8%AR_WF^gys#b2ryKlrR%92z)m4nArU5>5r7u}YP?+;YFwZq9FJAdy*k2)r?Dh*Yu z6Jli%=TK4;FIq+#XR619M~WcEopKbzbfY3PwFmYZgHFucr54mDBVry$QvLN#Zw*wQ zFDsSZa@Xj$MHR?P#Vy1jjte6siVfLYb!7Ef_G{3nE(BH!vkF6)mcHsO3OVkHGX6ymatk2DJ3Ijvnx; zfs8Z`dGU^CBMNI}0)=R_dv#u0FiD$Q*UV~tu$ghL9(#UwW-E+eU>u2Q#d-m$ZY2WC zYcra1Zm==lOE3SL8Qvgrs9_n?lou?w!pz|Gq#V65aqQtMTH5t8dD6A)2T~7Q(|Dcz zg%U5%U#-snC!v0Ix_l#0PR@U1H+DSM#tuOw*)i`&n z8IOHbRvL&?#`jij*K+6Q?xCls9M~^5u~VwxZ0lPf-Z5u$==5Z~$nfUoTY`;a7r`obSq`@?yU%N7uJp^8&K8LojN zUY(GnAj4tURk6eKh`9FT+QupYF6!!uu1BZQSWKVGuKWZ1W9%x~be0#88u##^=pT`u z`TIkA&&ie%;)le1>b26zd?1jI_+&4vnaVe$1XhplT4?t`BmMo>S;vtg>gd&Ux)?l< z7rqbOk&&D@+9nG6aqo)X<1)`Qt@fQ{q$8|_;2aG@E!>-t6M%~Zsy8DA7WCY`d=$L1g}@l+X_= z&3Y{SK_CEm=YKx4`d261SF5=HX~JEd{@*4X2j@T9Ld{ETjd&x38nm^8>lgs5JLvX_ zNKdO(|7I7!W!nru=C9vC912%uFB!V4J=K zS;p-TM~D2=4T`LIncVz=H7ZhxbmN>QN+B;hKH_fbd5d&3<&I<6*P(3X&t~+WC-_CF zETFYyIP3bohUa*FxAKz|IEmW%W{Bx%Ow>W2vdk1sAJMYo-g;6l9Sck6T|T`qecd9Z zqA0yH_|^rVRAct={YI&=t=VgYYmRG7BF=d}%$v#?MbOwcn~%}_MbEf<%?Rl!k|s)K z;WgJhW#bcJ6W7W*@2w$S-!&gA^LaS0Bsc&j4nn4*aVV~V4)S=9O2>l0JUZCvy=DnZ z`RpQVmd0%q;{|FE{p%=C1oyEiC{gcjA}PDGn%e}fMOy{e`g=a8Hw)VplA98tsSt&7 z?iF)ECwTNzOgojFYftB;$BGO*K3(HNMBiIv%+W^{9n)@H?)MSplZ9W>Hl_!##hJt9 z9;f#C!r6MmC&?HTP7ST9|0NlM3*}l-o-aSa+RA(8y*6Z~7j^wpP{D`#F~ijIe&^>U z#{?Vd&H9a0&}^~KGD?^`@4aQ9+?5PjYhD1}wgq{crcfpIKG2k-zp;u99{5hqJJ4Qf zLzCXB!~V{(`CidhBZV()TQ2SDpJv0K;g!rvUy$iYV8l-}$^+9^YX7BZ`MDmZDv#!2UeBLs6Sw$x4 z1J{G810M|IS7m&3k=V>2*{-~ZFBMp(XB(ze{WWK&;3>2v7>#gM;p9A$z>yJkVY^c>gPW{7Rby=&xKmsi9p$N zv`;yn6hd0}E!@JPS_{^KZwDdcZeluz$Y(=-uD6=^NL zKM4pq)K6#yCF2dLvRgD^tQKleDVCh?-M#EmF<~VYKIa_5wGNEfa2j*u-DBN7mPyYu z(seu}v4Gv}i8a+}qeg6hL6OlzxMmSVH^}U~fozd_6KE<4hcV?eVb%9xUp=d*%FBkk zt4^O2ImpK&%bq$>UBE4r(5L=sK3p|N`!}Tn$Nz4}dSJ%D&N@cW@G?cxS*`{eg5q!5QmJ(~*Bj z(}x<@H|I3o?>v1!?$@9O#AvBQ4X#%}-60>%M7(Ybkq-6P9kin{O4WUB({GU+gN`(P z$X--*Z>#oo7W}`?2mAj%9~OU_4-BIRNLYLAj1Tn*;X+-NRK3ZE?hNKZ(d(Xn8t9Z? zJBzyC8PN8f+Mhz{yr?~9&McTkE@ZD)^<}nEW|_#0ld#`o2=F_$PZ$O zWeXPOeXz7dEIXWsd)YDhM&o(JUg$L{5sxD)XTTa*7paw;(&E%#kMdeWwuaD)NzaK4!8 z=dFsqs3dd2{z_^%uXb9QrA+QuYHjG$rbJDd2J_iA2N$Q{;=p$HtGLx8eZ*awHi1hL z2}zmyY_oXwazYOWQ^r6GisZl@KAW>p1fNqkI+sn_;bsWJXlm4W zU)$Y8B$c3#+D#GC6GlzADqo)C&opRfV!o+8hHLXX@ky8kEzeQK+aJgaiFzx{W~(xf zDt4-^v8f4VvzPij0A)61X-1Q~I^lF8a*n#{aeaG@$>K9nl6bW^OzEUpnC!mgcYd9*(l zDp!{1=Q_FmUYso{F5B^oihbIl1;tBhQi3^}@Q^K&kEl7)(DLGv{WZ{Ndomx2#%u?l z92eDUTr9p;WDSE3E0Sow(UR(WXlnnE^~U{kuE#Zp*!fl}A&Dn71h2Rq-U*Tle$l^J zC;74n*X!GLz6vJC!YS;3(lp#X1h?)KSfoIEtoK%_;?5r?z@^X14-Wie0ysjpY(#CH z0l${7JKnP9Mt~d2B~b%T&%k*a;PMRl_wsBFaCnB?U+x$IuFjDA%e4X|@H^xO5byo+ ze_z3YK;*!$D;_NzKPDn@lJ=JuIS>K;ueHq2r9aN*ek#3mnfcKZO+^C>V?!s3%Z4w{ z{*?5coQxf8C@velED?8el2mchcQU2`g1rM6eeJT9t%Hi4z9CTf{m=lCzJP*{4|om? ziUbG}lm2UU$WI{5{9l?N~`L{r?=k5-tqnZ2#gnsJ-9WH$sE)A1N+d5&1jBTuL(Y@=Pm9w&y$C=v;Muw*O14Q&5$)fyliIgN7n|#PEr4rqmTHIg z)ndsz`Y|iIu^9xavX*)IqVsy?hZsU-DtnR{NSr-uxp`jDt6nhIX`bJMerp^2j!gQ~ zA7%>2)vcp%K3_lt|8In&0AvNC;QY??CCnWh0qXm{VwTefesX?Sk-p9>rb|Uf)!Ye4 z=E^4_E+GM82aAE&*+hVg1Gt0%=Ql8Lfq;8);1UHc$UPfyLFxf@AkW#jfr|^cLrO-b}nWh?E)7t{jU%_-~{*=KY(=fZxH=H$Vv{zEIv4A!U$p1uk~TH{bz*z!2R3?wbJP&JG!O$aetx3i)1_-{LPgNZ%pfP57t& ze&vz>=(}8!%YXPTm;JjOlS|fhwST|T3ItaOK9IgZaN_vdH@0u%@Qvm`VDYcz{}Ubl z+%{yqB)+u`p-ag7*nu(#%|hrINI3x+BX)_O#^kH4_-A8sRY&@Z1inwhuiyMT>0TWZ zNWX#p{w*zj6-*RY5n<&4GjsE>K@##_A;!z8|Ksa?6`hLCPFChN#+TCb8w>c3%U2fg zokM(O0pOp70Ot=W2%+yE(pXO4z}V`N#JZ_+3w#B3Foh1SN9$N4vgy;Fs`c%=I_9` ze+9cLiT@6a=U1?+wETBqfDUzaOn}rc|70iurRx{Ce?})jkfUGVt`drl9q{h)PuV<&wheJ6cL$@fS|n(}gxN%GC@nNQFSQ0gp=ohS^9P0eli zskZ8ysVK~i_^C8Fbx- zyl(td`bM?}#=O8iq?m<@;KNaxKOJs};zc*^<>|k}-q>&+uv6Znk#Ic-(m6;X5?=Q@)?Y`Hxab&*i1+$^8 zHH(|R9Z(Z=rKY_6f39n7eWkjplIef0@5Ewf`UAr5r_s2A3h)3xg$<|)jJ&lS?>9nI zwY9Yp_?g!DSblv9sV*fuXR0u(=XD2e+|`mAfbdr-raFKmR4{ z)vDisrEMIY^lc1{{{iq%Rr!nzc};8`to5A)^zH1d%nkJ+pNj?P3LndlM|{9?oCK?#|QEOKCo!UZrFpn<=555*;)x>Urz%g`Ud3eMKR>KRB(cDeKgBseF87b^o{ z#DJ`1kQ+82KiTCCJCMBV@&wkYb*WE4*4dX* z;c}@B(VM@-PZj03-8Ddk|&nSDXQtR3J&< z)%UW2S$`V?VCw*qf%6J}Kt^-O{@m3vb`GB3+T&mYLLL5657<`t4Hn40_#1wltiSb* zjgt+CT-=bIu&cOmazi%Uu9g9G|J&T>0)u{gFTh`Z9eXw|E+D1jukG;wSr>mR zgh50Y~7*Lv)~@nSY^ z4j>Wauk|>8=cn8NllZkB5BJYFJ2~i^TNyhbU&=%l6>|?`h_nEtpt7y46UC*hy_A5` wHYT