From eb4369416b0dd6ab5d40a553631f30619f8d4b9e Mon Sep 17 00:00:00 2001 From: Hykilpikonna Date: Sun, 3 Oct 2021 17:16:31 -0400 Subject: [PATCH] [+] A2 Finish latex --- assignments/a2/a2.pdf | Bin 140431 -> 141391 bytes assignments/a2/a2.tex | 6 +++--- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/assignments/a2/a2.pdf b/assignments/a2/a2.pdf index 723c0ab6fa8edc731a367f6735470fe2916b5a65..d4cb6e33afd3765f81e7b05404b29f16b2d42bad 100644 GIT binary patch delta 30256 zcmV)5K*_(4$q3KT2(Z})1T!!+Fqc4T0VsdnTUn3W$Ps>@U!mm16kxU4cXJXikoE2a zUcg6UA;H3S0$SpX1xVtUq-+oJ=Tm+0Qd6Sj@x;i>h+?;@tE#KMI=biQ`NfkfrY4vn z$^@CruP2;MBvB})axz~|-bSyd6h~=MO=nc{h+a--JdUHkX4|YttJU_#zEADPe6@ec zs`SG;o4%j__T&mDlLRG#2u&Chgr%I!2u6xvOB^Fh?peOMU1wDWR49$AkE>EYvFO$= z4DVK3KbE7kQ&!u> zdbf1yy_*sh<-5Y_vCP-IYL##MYW7>;nSm81Gm1f9GMUVplp(=tcAmd@{p#;iDWmyRis&yd=dcu)(J#MVJ%9Op{`}R;H&0%^vSVfzya`Gu z-JTetdiiC(edG*gp{4woZf~5uc!@x^>}&N0&nJlD$jmT>4X2jaKc|XDPG8GR>tLJp z4DdQ%uXDY~7wZKuR%TUsX*qutaf?%hgwRUkh)B1hLNHrMrqwETkh6Y0>B19NG6<>lYKWz*JZx%P&E@Y=7C^D^v%*b9r2(+W6`_T?4 z-0Iz_7xP2QtXveU53sW;@;@`{xnFw5({g6EHU{A_O1Q)Oa&@!axK*v@0A`o@uF@<% zcALFj+94Ng9M+^RyzI*E<}=vArS)wbef6^I_xY`5vq+mD-Z-fOH{+(dKr?kD$;GaPJK@D4pWvH1Ivm#kM@g(CkWmfCrM+I z)?0bo4LL^o(b>qgo5BDe6A3{`Ck7}{7}5>l<7>$4iACnttg8Sijo+tJ`cr@s%mN=c zLW&{AyQJO(Na=q_!0wMLc{*3W2UV3MK>_(eu5Ln^9c*BY0)K1+RFykWEwbfmQQOu! zzgaDu-;_O2gv79_vFkFx(+n(%XaNaDiA$?hKn)ymTBnR=OY}{2*61!Hh<66erB&W(1Pq)50i?sV$N8BXQ9M-evy5W>V(SM0P#N zer*yiH_eVNbfhui2)?*bXy+`T7KISI^z*>+J{I{lH(m;P(VZRGl?~Mvi`!*dEJGRx z8)mcy{y%>QQ+wHX%;SKnIZ})@&CqQw{w z0Rl#G4KJ;zo);ww84PELu%Qfi*j$>p57lF8KYXCxSB8K*n;Zf~WpdgBpa|sw#_Cw* z!w&5TOz88_izlL1+*|VA%GAmI%8t0z?$)H~@MwR00X`ci(BsxuaHN|rl7Q=LmF?Wj zR8zdOUu>GDHRui7>9ca=JIR@=0}=ob-ZL+k4$|n;F10MLbXJ@dWiPX@Q#xwJsGATx z26?N@(}8&|3p3fUPv3P0ifnDuN&smu0sLapIG6wVl(bCs+q=t9w*?U*j43MW1o}@X zoauj}&2Q9?7lO(05Dcz6VB@XY@kKyGGYJSlldik|KspKvu4FQrlTC;O2DPx!tc-E( zW4d>{y$S8MKr9ja2^Z<_Hfv&#Nw_xQ<{=SukF#Evg@X=Vn?+G}6r<~Xzglfg90do} z9x1T%e=ZG#K_%C2FNE|8kE)gxCI>c$AWVPM;mwgMIkj7L>|Y3q5)nN;w5&+_0&XfRxgM_YB8LRFf3Z9Ny3*(sZ9qXA;|9-}YKhlo41B zi6dAe*cs(0VZ7ac4{)Jzmi1s15~hEq%21GIN>ByBmkX{qT(QVWYYyla3mGH`aD*lA zP$WU@WndhwNw&kLAu*&)cYJk@AcvQI8^5=!K7ATeA8rTnam$ji%LZXn*0}$#06zd) zT-=KmI@>uA{5sjmPu+Oc*>WAP*cnQ|52b{0?2zM8`AJT{fFzEfSm}Q#z`(Cv zJpb}BD?%ZdfDYp1Ui`YNgJX^@LTc?{Hi1GrFli9CgDEYGV?-%2jkVYx=njE&9lOoz zqtL8kD25XU&8nS(I64lBEexxJFf2jd(@?k!=+z6{Q_&+x;vR~@ zQ`Hwh46woPqLb#zK^Mhs)3^=e;LAd*hITP78Cm@e!CTK``dHMl@X=-BJ?zGCK`EPp za-U})MCu7=>qdq4asa3ARX1aBW?Zd(q`O+83Wcb^B+=@Y{KyIS=~#b%Ea5)Icbhvn zLLh!Z-k}~kl6?33OYbj*PR___dNaS z(I|U%+#))MVeQ4n)nnn7C~iluF|G4~mgtNz1tqC6_tdx|jbVMT{(J6~-ojk}8obXd zDN15?@IJ4QVCrN-;zR@dw_N81AO^$JgowoBZu8P_xy_3o@H&65ziH)f^-|E9sn&E$ z+65iDcdOTIYu)f=F>VeEnK=;8>|4`o)^D2Id;0Ztk#FqNr(IV1_aq|q3b3MJDteh$ znH{p-VMEh?nBH}+Z?+X>$O|YyooJ%TB6y-p;^fGQE~m+%JGkITiq?y0&DJaudu;g_ zp0R43mXq#wtGIv9V-NHw#+@Tyy?|YacwLx=x&EGCyKPJ$vm?EeS06+A_wxK*%=-MZ zxdQ>Cy}rFWbj{r*OMT)S4A0Wu@p!m~`;hX;iHB-BM%AtQ{(mhrF$0BCHbOvZN=-9g z5jm<)G;8N-zGt+#1#kJVTCXboFBf;g6prb8|9cr+0;+$+kxL0I8JD)TbB55d978xh zEj3v5LVEASIqqbH50%UDF%>vJC-Vy2!Xb#pt((-r3mpu1!{~#w^$sLkP@+kpPCuM* zdl&=q4`m*p5Al6650J(>rwBp?(f+1Rpc-oOQh^xr_0|#RwU@Pz`mR16hAdAI&w!?Qpks;$4%?d~_fR}=_WxZs z;5bG^=&R?jh*B-H(2D&p-=fr83T19&b98cLVQnA^Wo~3|VrmL9G$1e_Z(?c+JUj|7 zOl59obZ8(mGch2SKxzRfe{GSwa)Uq&MSH$N;p7`l@7VGkQK0Hn^*~!cSD>gs~J7SiRPSb zy4Dv2+n0S`HJ_pRnvdFZ_;|{PJlOUHhyqAUVH+Z%w;8jVUlXaeMN)I`r&^c@Lbkmyzh0f^7N_wk_IWA9lyxcjT zGzvrWa{b_yWfu;7OXq^>661u(r`KLjb2r1r{}w&ZHtlf7U!>^lEUB7(eJZZmUdGVc zQx`()+xj$AZSz0lIsbVXPk=-#B!a{^iGow`R&%VsSrv@Gld(k;0XehI67@0yG%=&a zMKC8bATS_rVrmLJJPI#NWo~D5XfYr$IWRN|FHB`_XLM*XATcsGH8hi9trY|_IWsnw zL23agfA@+CbybNaG%YyF-BB?yf?kxkAQx8~u%p1gA|zcvK*)24pu3F)K$!)g0CohqqR>c!oxEIZtgIm~eg5+iKxa-5VCU!OW%?@} zAnpKiu`vfa0+fLeYmmcBM{}S(Koe|k1A=({PYF69YY4eK&$~8AXku!JIDg?dt`tL&;j(%Xe=l+04-}9*S{T_U`vPx&;bx#FfR>#{Tz=tiQ{=9J92eg(TR)0ptjAMfuH7%Ekp`{&MbKtp8lDog>)8(dR$N z(#Fxk^7j}PZceP)jyBG2AbF{OVqQ!re{5DD2!NZ7kC&5=8vt?!fIQ8uS${XsfAVqy z{pDo;ZGM@-&&LVu1h9M=1LS9833~a1;^PW*2LT{1ZXiFOe>?scp|G<9ENsjn05g!4 zjU&pR>Mv%H<=^<_{#|T50S0U@@?!_E{r>syC!-gIS%4kwz5ay%b;Ybo5;BtN5{&T<>m5U5I4Yw{bfxp zK%Rf88^Frq2!_0*0A6PHe*;*8T~K~sG!HL;Rr0s#Z^Q>+mHIE@WdpFv{6U-mR{1~Z zB~SUki0>s*?GIuHu&Vz-FL|1O5Ep<|>kr}qug$ zV}Bv@uV(BoXA1cjd^tw9Kak_4x97j$OK-2g;Qy$~+|9-1MRtEZ2QQNQ5B}?c2Z206 z<|y;CU~|Fuw)O8je{X8VNj;di#)aUI({J=Rn8yo^kst%oQzq+)n%P+kisdr%{p>Qv zw%sZc&Nm-d=FWXK8z>sRxUQHfWOl45%;IOCub^j=e6Gn}&tkSh<>{tMyb>sJ8GuqF zkHYFf7PYV%(4@iieN*4}BgumnuT+LtA*55KtEaX!ONoGte_!X|rv{|WY*=fH`-13A z&QFK9;Eia*h%}WCuN8&5Zc!3FYOvOZMuwNL`^kHwf)w1}ZJkhuLa?O;hsmV45NmXn z@-ZHAO5FE9;P{xy;)?BC3{{QwbxF`Je>m4fImX~bd#^Pt`F<$OyE|rQ z{nBWjQ5P-g?cuO~Dmavl9mNQ!qLY8|&C@-&O}(m0}=tvzv9bWhs;ceNDTp zV@k{d=zBf%gOAM(XxVI&PwMrcc)f0{P;k?&i8Wh7@@e4%{BWF}n5XtEXN>{C`&ko| ze*sc^E^nRP^BqTx^R;erlNgX#O#=grw{L1fimnYy3;!5>>`+FgM5t!$sw?M2T%27l zlX0|J;)fIO(KaL?>Szd;i3GyN9xgo2(*5B09s4okAR`DTrn%b__{%VEBVqT(+Qi90fA{yVhAuAA zU?*Q!DVpzYo1mavh&+6G&;m~i7c!9HwtgAC^C}FSr*gtYpw7@9Cj%A-)(2*Dt8={N z6d=lOAsrUdm!0%szj-#-kteQ&<)JfiQGR_B0SU1P3=Cc_SJ@BcFfz9Ru3vGTKMNm| ze|5>|aQ9lQu{LJtl~bIrfAclG_@N)+f!jo)ykEe{#L(0q>CWxPQeMPgOjw)qng`g~ zh>Zc#-~Heh56e@=;inkPc4VScOEBIMjkq|*TEf%gKN`VyW+#ytKKNvRB;t{{qPHjX zQ%*mob`Z|f9p@9SU*M(;Gj-Oc#>HyG(zC5NL#C?Isu1A&A&hma0g)E8k!?N^?rxZrPTv6JqRG6RT-! zxG&MZOqJd?egA7@OOeErE#ij9qKWE9~>AaRpj_id} z@8MVXPEL-sfq~|3(JaL-spdhy&I|1Mt=YEvD9y8=Uh`8rtf5yEy(6J$`$wIfcM8qK zuWk_-DTYbyfFZdC1l~(ymg#kYIB9d1@(jxcmc+s^$~Xj^)ATf*r)AYxNzUcf&8l?p z-GDWi#Be|_9n=tGgCCv#E1if}KZ@?#Yl=eEN+Ai5S-_sCa$;w9jI z2&Wd07R>l4ZDf>M&8NdSt4e|oBdJauz>YM=fv-47xH2My;P z-0K1b1ENHK%ULW~ex}q4o`#=X0b1w8~%_{hJZX48hH9dXjG<|f>eR6Vi3D!na*3m7`ykhx< ztIrJC$w=R=t*Ynn&i;Oy@V*Et3`Izj2g2TDf8W1s+F|x#I}$3V9ZG(mV3OQ~KKpIP z`HTq&OBzEHf?lL;&VBGza$PLy9e98nYsgbc>T9=ndSr9Jbo(=-1>#ttVNrpnDU9qvS?TIzWL6W;GcIaE-Og2u&>Ug4a%5dD<4}9E-`k3 ze@lbBKc#NPxm3er?yXHx7fF<(D#5Tu#{Uv%l_0nT%&yGQ2Fj9toEm3$<6$#$H4Q>Z zyh!o=(4ItBN5GY{T0*ybB2oXyjBVH1(e`mL)vjp$;=V)iRkcIZve=4Aq4=Baxt_P} z(>*vyOw<}6WQQ3k1K6sVo){_(QnVT4e`rIG5idXliWi*9=Uy$!HOcaz6IzQLH4l$^>3hMz*Y+7 z)sS}WO+5O3X7NcguMM-mVT&yYrz;^?2#`cdXFU2!)=D=2w)M%08bEuB1uVgAq?RsE zl#z>ZfTCX|Tq)#)uY{~>Y}sVme^ay3c-m1uN@fTI^6&mK8E5YBv-4M)6#I2p`5Apw zR=D4|!urP^yu8B0OF}3T=01_?b?Aq;QAf5l8!~uWOP$}) znW%xs!6X`swRf(T$&CetKMWlL&F$F1b&T5qNMU2!t8jt6(tBZM$5Bj@f7Q2NNe3>TX}zx(q1^Iii4Hg!*2Z+EdEbP_$7n5nMGvivSNj*n1RHru8P zf8`W9b8d%_A3Q!Ro=bs6H*ci8Nj!&*iHwDJwG?k0R5kfsHKopedE%RwFxf?^u{XDL zbP%yO_0zji^TQRkQ9I2@f2X)l;wLcHB`&V0A)mrc;T66nJ=sNdwvEY3ThGw$h~fu_ z019x|s!2^#vNy!|qbSqChGI%dK&><*4G8K1rgwME8xn@zYi+?$X6Z?it&k*ehnCsT z~n1u!!t>8?PP^X`?w(!-u)g^HBtI=MVkFl)QYvCtf?9F74Q{b;fEG#x|OqGV{J~{ z8s`s4#I966!FQ@U`IHOcYfI)Y*9WHm`=HKeEdvpt{J#bf67f+p7^nyEhX~jf>;P; zYP0{Q6!J6`pCDR5-dW@Gxhoubj`3ctu$AOVenMl=vgqy3{+u_WV2p`TQm2dm%YXWE zNi`9ykO$Ph^Bo?^GG1A$*tYcBFQfvPw-Unq)R%~-L;FP3nG7vF372=n)-ITrl)=ap zpi04=QH;PTf87C=QVaiU*(WyX^!0IMsKOO7_RZ#^7*CtpNS$(Lw1lzNnu_EqtXZdD zR)s3i9$rSPvxZqqt{lz|M^B<3S$-5LHs4(d`dnUWwQ;?}3hl}H99N=}e>{V=hR|iV zzt(TD=GiN6EiF70ToPVnlxXAv&`Rv_LvKHle|LYFf61{-Tup^u6b6^^v^QXYT$_gS zJ<;6l(W^~cBgk$IHvZ)sNz+IKX~ox|?$GzXoqB3BxjLT)=yttVCifhC+&{(ksX!QV z#!f$&V?jw})QyoOqM8Uo>}FP&Gqd-&$Z1MSn&D+iZ;vyG(QcLx>q($t#Z`0YszY7B zSk}?de=XfRjY}=cz2=~WPiJBlVJ3|FTnyt8#%+^4De;`^i<;0$PeTr%vlYWMQhmUQl=CAoo zA*{IkEGm7wtw@@gN!!499#P<8NX>yvZ7>(j>N)Gg*#))#Q(rr;(m5Eui2=qm*9A~^ zEsk21q|G-tGyslgaB@W>yG55Sy0W(`F%xrCXFMMh)JTYS{FoTQ;WZIjL-2mS+3!`y ze~#kr4@DiVV5$l}lJ)41DNfP?T^=LZA14W<&2dnZa{4O!gyk=HBT5v8Oi#Wf>(Og? z94h|B6Cl&ELfLPA+<}%5%1;9vkk+TH~IIr5hxU)ZG^TS2Nel8!x0P)TYD)k zH$KS-3h6)Rd<%K-@AEyYXjw&`!N$GNe`0m%ek`V_ITr6X+v^-EXuRLFucWc}zF_+R z^mqN0B&8;)!lh`~ynMDTDou5&;W%}j@_KLGj%qpQB2i2;_s&-VmHzoc&Jd0i0nd*q zdCFZ|R7!|Ga5VMUs4(-f@F=C@B(d`6%C79UA?)5Hc&L^STGTu8%2(@NQBWWFe+al( zmC1c;Te_)ogiU!!2H|1g6Cmig<9v1_uWa&n5QNNbQ?hc}piwq*h{73P2@0cU!pSZM z1bFjd@oKs_(T3JjN7!9%eihq5YAQ~T0xAcFe@-RDqZ+9P`QE2rnAQAzm4S)|Q3~Um ztYb?X3HP0t-s@6*MZfC&Z3{~#e+7b^s+t2+AnaLR)IIrRNQZjD9;de-OCu0N!ZgQy0=0bz9X(@HIGLXDa=-4VS`UJMD+cyEh+ep7^nm? zgV+l%spR=?LYY)~h(kBnhe~YRdT~;}`)0Z}YL-gvpJ%&;=2@yQ^woTd)>% z!=l}H?lcQM*Sl1?*t%c~J6$Kz=5>7tC4i;cySK6L@~L`fW$v<{2{= zH51JAHZZ3SIEl}aB{e>ZfkqROD3T*if2>oB`%*=4l+q>WBHIrCOaG-=3am0P`H z3iKrllabACH(HBh7?H(2@D&SCu0H|DsuHr03#55A$?bJr!h{gGo^F&!Oh}Bh!ZZBe zq`TLU-;1hyq1dj4eEV3qo*dANn(oV7Yp#R^_x_?$3l2Ny$lHGye;XSn>zP#PjwFTvNC0eDl@~TCS%^eOguy5xW}=JTbAC5G(o_-P%PSywV+FTc zyo#hPxqhUrfdA|UTZV61^5sBnM-{>Fmr%y*#O+=|E8`AUO{>u7#blul3qm&Lr zOwCHPqEOK#e~a3>mh@`qviBnyoAM=?%GzmCYnP_~YzvxMBbQF3h++H=d8+han1egq zx^w5a-B+H4+pX7BU9I4H_8qt^R}wc-N`rAp@XGslc*?6a;Bayz zZdnFX(XSdZ%BARQeSuHk$E-GD_ndkx7gk{$VV|J7f4B$PF)bh7zG@AG$OL6U0ltR>01_P`;4VpxJykn9En6JB~S_#g$)%#Ll1+92PE3aRQ61I z93FaYf1;FjCrb9&0*B#FAZ(WHn8S$IlkT9M%L%nwjjxk|j0Mh}oBX5esF~1ZY=e=K zdMMj5!%ef|Vagn1ikZe<~|LG`aP)c8`+cu78cM2BCU$7P{5d z7Qq57n=gHYq^U5WJDM_9PNIS?4)^xwq)W){&kf2i;KNpegTmK2!FrD}Q+>=gXY{#n z)W-T4>vg_1aR807L2)?lXJKqrtG%z1jzB(dhDweJ&=XJL5~9(}yH{CG=jLxT4dns8 zfAvgr)6P@)j!JOo0XI?AG;(=b-h8Bdk=+krvxK_NO(U*pY2^7ZETg?U;2nIYuY{sb? zsLyu(>Hyxwf&iLo4F(a2!TvNFX+h`qe=4xV5GB@_$cJG&W6o>M<{fEeo3D$-xO@ol z8@?4Z_fRSrKG%`4?`k|NQ)9dV02^0spslz>?5BMD`faqK!*8E}o^$FF(DbYCKgDMV zaS#}SvWf}UtoZ8e+y{$*eBCv3oDR8^pDAt-Ee~s%ClMm4&P*61jFw^o@XYR9f14Es zdsnqRy81t90tN0!XuicwcF$z2gLxl3xg(8xf8M24=`&WruJ5{l=wh%3$Yn* zEw5tZzAZ{ov`s}KoTG!9-1X1frt`Tc3NhzY>W|RkF|o`=6%4%lHtaCWRj5C=8v{tC zzblRP1shsOtKA708OSoJYNrzOBIQee=df!NAdHSzB#krsZX&-Qe^I7jR_9*rT&=?O zSyrjg#J^h=J;Or`XS5Eh$04t}j4~LdeEDM!@45;5`eSqL$b7w* zy1pE4vFk3h30tJysvUVTqR3a{=)j^IB}a#x$w{~P*f#d}e|Y=oDb+stMu!kX^>?Y-bT%z1D^333ze(f0DWt*PK4(O6UH+roMx9Fa}I_+sFv zg*cI*ZOQj3Fv)7i{M5vhOdX+i10?P@)ULR*?Fjyoi@xW{?d+t`+fZI-6^wN_3tv2G zRC`qpc#y_$f1lIHXi67AnI+6)rQS!X@3O^GqP6PrZuJfe+V#YxLTolsqs&N|yNqHd zB9w$Yoa!{E{g5O2axya5CjHzqLnb)8lcC-0*r`1nEz!_VCho`S1)>ex9O@B~o2`5K zubj)RB*&P^RbMHrNJ{FzA`ZHnhbLs39Fv7|vi`Qkf0Ib;Spm{o@dPgfeVTo|!$NsUgyh7$o zwEJ1GwJHz#1fHlEh{&mf{y1ci5(eL0Y1_5s*yu@BRe1KCQL_pY!3A)jp2wbyaSS7^ z%E$ZRfBqr0#gn7e{`*2&o?W0hwtSNg5rGZ_enVk2;S@n7x2EOxW&I~%?^oco-7R-P zr8jHNo?U_SmZ!XoT=F8to9<)tn2C$BGJX|nbt|LygkI2BR8QjP$p>J~PEzFVm6!$S z;tO2{H7~LJ1Mzzy@PyadtlVv~3KWxD#T>%3f7zI~leS@`PJ3;$lF6+qC&n@$yW7f; zLnhBk^kL%1k4Pa&D zi?BHQjlt+HIWP&uoJzmRMUV$ ze=J13EBHE7@C|F#=fGCvi;3D};WYPN9rtsnQh0I*)`RHouj;qTEf?G|dPd2-4g0fR z6f;YVI8j4XYfYsG_I^x~);sHU!pOIg3XJ1iWHN=Lyr+WlU7H#Ad0*5PCud~*Mq2u# zJ7U@5^13)TO-sKd-5ey?X~hdOO^X(&f2Rhrp)Dn@x|gx=lP2v1@cV}a4iW0P`gM=n z{|wEf(k#+Q??TN)C8^lNS2xj@D0FLYkOcPjD_+*>5R9xh??FLT|Dlt>~^ngT$u zn$ziGLH2}&iNigz4?h4e&)v<4n|prUMdtzMEk@k_Jsu~t8g666e+caHEcCO%L$lNT zCY$k7Nvb}qqODsklOovzS&JT8f{`QAP>+Js_cSV-FQto^wk}uv(N9AGFesYn(efMZ z@WUP+5sB(B+k3UejbXIPzO_)y>=rUAi&J^(=q|)M*8mIz06{Y$9Y=;B!kh19Y~hJI zH?-&{Pbl zCid@Vw8iz6mk(Bzv)WHUQf4CSDhHEwfKbIOJ#)~XzKbrYax(_b#6Su*Q0%--5v2yd z=s7+VBm5Mn{DD)KpVCRAe{QtBwmmsp#6W}86=jBPMHAC@f0**9kGr~n+EazPP*f@l zas86I;We{hH>%r>4O7k1Gld$nNQ(635-S>z4u5D|CB#~4>^_PwGJoF6D}?FpH7wMe zQJY_9V?@q-a?498?Le{Df5O;Wj^4R7osL&b_sa!aiFqFUUC^dFiZ+;8#=PNhe9F)8 zBQA45^`#!5e^;ki)%9V}y~Io)MI9zR1v#I=+i2XIm$jqd+ODf{J!fElYG+c5h>43d zP8nSE=0+16B5TxZZ^3dc@A@Wv$;0-n4dvtS8~-0I|F zXm6oO+v1Omej=Qm_L{qYOc{?wAAFACtZI~^O+x$rJwp?Ph@t%FyFqH%W*?I(`pBh3 zp@1J6fAo!0B!tLRtD016RN8OU0+=ZP-gx+JUn-^{_=F!=ffl?$oz$hz7#jy1>5XX} z9ozb+pP%cW@-_V&Eyuc*$BA(A0=d)gAX%uA?uxj&wcnb?4b(+_`&M^xuA~eISJo(! zDx|BsEwU#>e~oz6WK6cZTF>QX$C>oT#*4%=fB4^V>p2-XpylN{j1r5@_rs`Qgl)`D z7@tB>J5=f^pQgM(tpwBWN1_QeI7l-ifIr9i)oyXt4ef>lK(e+yX?xdb#Gy$Xw{Kg`)#UY9$gwaoOgjBrAE^^3<7wWix-) zbFvDnSy!1JrGuR~`4QoQ-hS$sKKc;HLS2i_&K0j{eybe(Qhde zffUmi=c{9>ouj@^y+*z~>fmSR=9^4rg?G-r_-b=uLY0Z1a1S~Cmw`mAdn+iC8C|DS zm$D`Ntm14eJUin(!vlSVACFIn7sltrqQ%fWwpCJzfUh*yx1gQ9@Rbr-e|CW5JVfj* zU1XS^#dM#u@>;;Ub#mkA?KVGO|AAmHko#-Y`MZ2RNVUa9p!ST+!giCze!{$ zZADq<&rjUW6rzrKqL6-+=Rm4te?yB$^sY-VTnJfc_eTTM`w*uGHwk+ut*aHTh=c6c zWf6irX3?wC1&-QWrW(;vf5Z7@Ke-*;XAqHTRF0F~zf@22iV=;1uSI%^8akf7w!_b1 zazigOPD83WstK1etfU`=QMC#56;V{V;N89{*tZry-74Ba4Pt=KZ$8Oa#oiKe<~u^k-M55S43X^&_18Je^CIvl+;M_fyloxnzRH$x;Y$Jv_xH9`>c zD(YvP!y5RKwel?q^E8%OIWrPCRcnL-lin4O!iIbeONg47+eth#M?dXd-gGf=X+IxL z!=?mvO{D>U{Yle~e{Rgq@3`wn)*wkIs$DOl>gYR$3UEM&1`Ygk$&vU1QTXuo9K{b` zJyDa?nL^|<9p2~L5Gi=!2I9fQ?(x=*GxQ6~E?6$SKDzCo46qk1;rmn*ua*GUtWElx zy^K=9(ysS~j2zTHbzAd#sO5Eo7r(M;chiAi2GyZ2Byqh7e}n4o1>52xo3$z#{86=KyUW5!rJ~?F*o+rdc4|w8-C~Z z8QUUDUvC}oe?omh9Y>h%m;QpYcu@DwH=i=_+7g|N;yoAM$hE9)f2RLVV^Y;;QZRKv z3j}ajVvJpHmixBdZ4G0?YU_f8iPAXrhntb>CpX~=)_f8FnN0-`QmXau7AkI5ivY7BK; zqat>!iNt0(Sbaj12#p5~zF+X~$)CFLQ>pdl!azVoOwn_0ocfQXyhTV;$|@`Hqg@dc zxMRfHt%H8pk8`A&DG{#gP_ja{9Y^>Vc9ew!20$6s28*!LlaotXTt=;BL>IiW?N?AW zX?D`te^JUPOgIKh7&w|Tx?~wr0DUc!npbL_@m7!2(gWJP_*y3kA@LtF^sB4sk3eU+ z_CjtA6bIk#-W1nEKabAXKr_6#uEvTF3N=}lhS!^4)b*c1*Vr5GiVTSbmIH1YXY&-M zBN~1|PebEH36q96l`^LM@T}!;HxxPbfE83E2v<%eQKv?Zq0V9j z2BNEd>q~|C1xIvZjdar?(TWSb`r{tMU22nL|D&VprG$G_AED1wx$bxo0&=vu?V$p( z90CtMx@%xj0_mWZJ@mabu@)&dLd_+m__I}40HmFuIpCPl; zn;R_xH+oyq89LfcQAa~+8iegiRM#M4{igk!n60t_XW6MKycc6TRPjdq|=KP9NCVTKS zdLyq)uyHdJC)i}gEk_sC)L*B+z+E${j;de^Pk4Ha#+=Ivbg5;`ph?|uP zzdql)MF{33ZC)Sijb(eRmn)d*e==BOgQ_7%3dNVQk2dQi}~_+=}Y!V-$9F!K>1{ie2r;YA3^*1>tA92w zy@m7+MGh zZ(iiyI5liNoXKM(ci$B=1EcqHvbK`a+IH9UDVINV-&xeSMe znrcV3E+vIL>hR4oV z5}tvVa7m|C*gLC5%vS3`e`V}SXyEy9_gCuf=gF+ACmVPA@7KuC868><#-t3b1;^pl zjLgC}i}5!_+e+{f?3+uF02y)go3|YM=Y#1j)hHe~s8eg&13VCkT;2)9bW>wNj z51Cr&GCAQZbdOhVtur6HoLcr$HyZKRVR|%?l54-vB%L9rS4f*`f0&%Oojjo)`0hFc zk8jRX4z$SVaQM)mnDm5PDDx6G1K#!%#NQafw#YP)Kb|6RG<@P?M!L(EZ`Al9O2qXB zU_l{HUjo&`oaxes=e@kXSmV04t|sRaav5^SiE_Oo=*4R=+aXv}{C&CzfvV)!b3Xz% zv0gd)lyL+NzR?w~AFIk}ZuV4Rzk5LBD1 zCBfHCOlars>H;_CZPGh6qm=+toP<3hm!^dbHA-5$yIqx3VZZ3%JWQ+q)QWw8Johuk zTB!S^`sb$tLuvc7%EXt(d%CRd6)CF0iu<*4bQsjtwph<%!nsGOMilrebyw`f@w|)e zfdU~3M#2E}Nu*p$DvNPOfRfaTy@$*_QX%_n^`dlmN&F_lDvt_W8EX=qqAb9k6#Xlt zA9lUI7)am|hv3Bc$A|p`{h8)noAu)3v#caDVl&9MvX zL1aHyj?#y2itCqj=~=~rmu9AD9HHta!I!@TRjl`&Ex$F~!by`9pOd(&MpH^Ri(co) z8%U9LcOExIx96_9dF}3KN-=@&Y58bWP!^c28fgAf+)m zuJQ#~@p$Xn{tdVT9r)W*Cr^1&%Wf{znXR~V%L3+O-yU-ulw$iy7aE9lDhyZkm!_vd zkrQmi51!$EujELz1|pWNQ_p|$B&q^hlux?h=-6`M-X2M%nBaNQHGd;wt*R9W;A}JN ztCPJ3#)Lbh$ixIu6Peu_pt?%9<~Y47A;E0G+xZJneyL9Z1ic%wc;u;)@=WjbuVn-a z^)hvRz0EEi4EkA521Kb0Z0w08%}x|O5e}qKP(I4pEIv8U8LSBtI57B|HU3VA4ulEf zG2jv1Fd)*kKQQ0zMof!3sLvaYRqtAmxW(&ur)ZkiIiZNC3mJ{ItSJ2~=#({Xld^uI z;FNq|?Jv#-&Tzn3coS>*RTXl$C|z@mC)|amGp>|~yPCMMH1d)O zpbvwP)CRrdFfMe{VSp*~TGfG)nODEcVX7E;X)L>r7-1+h&1f1;5f*XN_2Rt0Y*#zY zZJ;^R6P`r7yiG9NHZ^AsWop1oxQLOc4A-YcDZZ6PTKS*k!13W8?PHH{>|*z zQvMXgP^cSdmGEI?-jH6;R3JG%DQxgJuz&zEqksTWKWuC>SakRggb^!NC|`0?r?fvk zxPV-a2@EB?x`#+XIG+=)$N~a9Dk?Z^xEy@A?9D9% zBi1X^^BH22>LE%lNcsHa=jZ1|w1L*?1SnhSB0GFXfjj|cfu!io*)l=h(H;Xcgz>z} zExz7s0E;#x4Hrg~a-u1U3#P&S4xWcfiu*&P&8ttuL>bK1^LxS%E|D1s#Mj`;cbGte ztD{{oNH3@lwk@~NmhNf!u0lRRSy7~l(d z?2YG@$9EATLe-G%U;JPiScqWAW$>SsD4@F#FH*ElSlB!57{8wWyjWc*Xtkh@j^M8{ zkRLT~Nn|-Dq<=TwpFZrW2@o$J5T3prKn4b81tf!RZg$uMMTxxwIg>vB{wVpzJY_Jtf@Wgw| z#Aog}Ao<(_{|>OL-3N&Q>uaC?j(UcCfm*hmi8(3%wdg#$$zalBDfPfb5 z-1uB64|Eez3f_#jy4epiji(MN)+|Zebj5zHQ~9;_8sZet&EK zs$%r^_Gu=Lgg1-i9!07$|7H(fXnEZ8THgEJX}0Do1|}L5kCzYM({7o94kNdxM>9WeL1WddxOCc|JscTi4G;ELiB-vBVqsd?X(-xH;BaheS(w$v=iK` zB90(>vg61_$A;++{aGvrTd2}{%Y5+GuJf^__U4GIc_D0<(DSwRX!{FYEkER8=u;_A zQVY#09Q=c%7cY4)@L4W_*?R;P{5JoY%llS}Ai}JytP#^Q0<~1ov)pqj%(9AuIB1*| z3{gyOXe{Aj#PwzN<;pJhYfZKL2(>=qU^uDnQ7&|=_5Po7MPao@m?hO1%M)e|NyRCs zc^6`%*jK%tF%fbN9C2R7Qnfli zd00&nbq{YZ_^IZz5VKmJvlaOiZ+g2iYieopB%l`|<{3u_`j9~Q^!({uwdL8~6wJ)UyYHJwjSQi4;ioI~L zsP*q`vhFsYl-!acv()0ybV7G0=>=s%NquIEV`l?ElNcAqa$^wN`I-CTOcOi0u~zpB7N9_JO_kV~=1iLJ<; z`T1WgYsz<~W9LvTb6qMMPNZv5>z=UilO$rhd0Hyxd3~;r4|QC2=G}2Z_(xGpA|S=b_ux zR`4}IyZ5h{oEOF9fJcYqpkJmlK?6hZ_ z@QWJyVi^chfEj*F2!-*q378>cur2gfbbbGNWS}d6P)!>gm>3KQh9Q^ zHVaeUg1JogyXg1_6Zj0C1_Dt}%8DWY=`1M@m&{}jc3>gjb=I2Twx!f?1y2& zg8h`nZ5Jm+s>}El*u=UDtyw-I`?km$RBnc~)K+YVQ@ANdZtKK3@eqbI&2dW5aB(-I zkGp#8j46{YuZ)?_=5`E`7a1n7`$~~c=D=gOZ9OPqTsTH6@~zVrQS|odVmD3F-|8B) z-TjzZ1Xr>5K!Sj1|C_;Q=*E}#FPf^&W0CgV8aiig3{$9A>7)w^8#jAfn#S>HHs|?R zRk63zv}B|=#+3Rv!wCXu(DG9F!XJ5ebxFIpP&U&T?##h#z5+0g0O$i?4(;5BFkvdB z>CKegxI{Occwe%7ld(&V^A3>m@cG+_fhuStUw(FTt>9BgNlJ6nU^;w!VKBRN+BYN? zl82Ew|7&~v2)ZNxh<)b3{yXBHO$-ZuowOa=qVa|GkO4x+$(Rc9TV+BnJE%x2AjF0F zbU<@Y`%6!2e$UJW^(O$UGQSKU&V=FmFHG$QE+H7m%sG4N2f&=CpNQJciGKFn_go{D7i>r zS;(Zyb$*rS9X@S!=ar4Y$X19eWhx)Fd#WAr5(@%1ErAX@h_Yk@+V)Od$Rs=+%D*G; z6W8t*-yfzcH-MHx+BJ8rrI{GQFPHd7Lctmzo;f$wBClem^cGME_QlZzku}@6tkzu` zHazE0ln4`sW*hBr(C3o$yKpa!I^gXFvON{i$E3jY5#J%CAmR`@xyKrD&T|TIvK@=Y zGZ@%ge4)8Jad0Vtjf21vBu^_zA<8u#weFj2o#$GG%NI8G8e22AJ|l+c3sZC zczOKR8%=meI#MNDc|)J=XErlA)6`YnBJyM7&-R4leh|1(#I8Znz$t3M3eI5j+{j3IaneFUSrwjCT7_q- zjlU|SH`qP{I;6YB^$OEB(Yzy;-N~Y{I3F>F2m`0+8V?2 zg$;|L(w;ts$fe4sceVtKH+cnzh+TGBhnx6#xNTL9e|eASKRQLpDsmhgZL=6V@~vd_Y0|9la@>Jk06erdRWg6FXW?_Je|U*$ zs|F6RgE~;95X2&we#Q@Pby#Zrgtu(4U_}RW(&ov${OKm|=R{gts(|fw`Y(0yN?BPm zwCH~}!|!q_^JLcbn=To=U&uq^*uF=-jR8C^$<~~*T$+@szEFOj^xVRy>-4Y8cg?%1W(5lHq@~3?``jn zRW^;G-TY5%!-`dt9Dh)^d_f3#T`i;%RzjF=-f>Ow)!-x;L9wmwVJ>dD*T;19Pu8rN z9U^OXooeSxZ#N)>C^|W2sZV+ECv>A9VpeLd*B@8-)kL(=+v%Yp%;?7p&aEY`7$hOU z*VotoM9GWfFN>1(fD4eD`fEezSu=UlH8>Tu9W?_fZsiCf0+E7;CtSk~P1xu*oD#A9 zr0$5&xMwyQ7l$M-IX4)xF;Z^B)^=;CjVWv~X=lFw>7BM>DQBTZ&J)a9P#}_+~Kn zAat{s35ppQG=VHGTEJC8N6Wfzd_7FuZf`LU<8!6r9noq$$(|j_iGP$Ws^=?emvf$j ziSOBq8{SWQ%ZvZJv645`MqpXJ6xD71d;GA++WSQ*@B;#d`0UCrD9>iOl|371WTx?! z_4P}ZalJe?AJM{7^ET5AV2FrkdRnDkop`$ch?Kq4G$GbI6hFHpFG=uKQm1zAh`SpI zVyZ5MuyDX|QSGtvk-P)Hf30mnYeP4t$3+k3;#%OjK55Gm#1v~IXx$!#Y+r_rjHg2i zi#qVn?8@{>(%nvM5|Kvl?-&3|^_JqmLqusdk?ww;pxrn6QraSV}cR%2+NaoML7 zI%&Zf^?rbzj3Q>?#!Rw(;u3;3FAV1;abn%aG|~8Fx{YXCP~cGOgvJf-lh8Bb0S(m$ zzoL6fKCS5Nw(T95FX6azz_Dk0CO)?LE=Tt)qifu$yh?trhfK@N-gfdk1p$feb7MPZ zZ7OC>%Bv=a@D}%YQOi$L`9=u@C12FZE+oYK3;Aq%>`@1n!Mj}qm3!p=_b9~el$ z%WY)oaQTsNZ=RoY(JH#nt(5d5ISrZ`a;~N6Dx|eWf1ynK=(#B)=CB&G_Qba--_rUC z89U%mGDH3WNbAtbOU5XFXBTHmn(Z#asg<4Q4;gKinM`IH0y(`luJl z$%)TnK=?)HNm~+@)fxI})lZ*Y?etde^Nf6?J3f-8Hii^Br*ys3)l`OxNS8wN6w@YN z&E;`_`}RH>I{&vMo=LBwnW|uHL}#0xG!%Spjdjim_+^YcGo-Gft!amzyHxfv^+zrD zBzf6O15;b^s8NzzCt4x4=ZD}vAr5#!@zjz-ii^iUf|qODrdTiyFUa=uZ9PBfo#A;I zCsfwJeeCc^d4*x|ga~S0PpC(Y1m5~K0++3^DQ&!%dT$sQuhe@MQaALz9!!#&-iI7< zq^o!bx=Xtj}(TZcRC>p!`!yOg1emxD;a0IyTc(s5Z>Z;6IaXXgV1M zPSPjuLQZS>ANtE2EwBQ46`Q9sn=C9}NyP>1_MEa%$d;4yi*nteHnZdim3ECXOvRwc zC_AQTw!U=;T9N6=TY{eX*y+VwZe^9r-IVNrZutyV`AwSpfcUpGN`i^E228D@y9lg6S_|WCyN-+zfz3|75Ej^v`J#v*nGP>q~dCNXrZ{r?yaRd_vAG#&^dSQcTzX| zrG)oi$}Ctg#+0Wx*wopn8gL%4>Ka^7cM(<^bu()${f=B2%UdQ1FpY5|Hwci>$OM^K z-v#uR1~ujN9_pJf?m4@341U6q3p_pp21|L{%ZD-meyp=<-h}NE0m5FWZb!(_{VLy9X2n@`(r9G(y(ZZ1N(B1qO0Yntb0!Gl z&eKvO?jBps+H@nr3nPbWnP?wR&s|-~a=^XVkR+h*eGI#MX`5C>x>@8-kM0-%U0<7h z%Z>-%A?)}A&htz4;>~%HFWn-RC0HxkmBVtW*Tcqf37a+DPpsS7p3fv@YBwvwLWO>I zON9PdeQf<6gZZHBtx=~SPknhdGr$>cE3++9TR)a#D^jEyHJO;Htz&@vfVEO3g8kOR ze@!;+7BA<=-;^Q)W;TB^y!BB)!jX_i<_}%j9|z5cUsB2nT$590<5iVK& z+%QR`#4IMRi91_Hy*P@BEKkWrS4)26-gx1|nS5K|g7E9)w{J%fB&{&O+L{uwS*%=7 zKww%qVU}&dwq~x*-mNT=`WC?v$53lf$aSFP`@kSOt)zZ1Wmh>z{-t16B&3)kno+Gb z?j*A|Cv=2|W7OGQZJ+S@_P+3_Wk8oL3GpC>s6+3Har3VQNMyz&eJ^&7PX5hVm#{$d zZ3~D2>gtW_R+vl6qa_C*X0tl)Zt+0pkQ9e{OenFsrM=IVyodFNUc-}Ba*iKulv1SB z(>O9&eWyhq0YACzaz;t^jI)3FrNoFvvR{btACIgFMKkqT1+isX_OicJ-_398d+rrr z@iz5b*HzE-h%~owMm6T%4$fG-k$bGIS0nwT_@|3u1?TpNy)i}ra07|S7{7a~-{L8# zg!dZXI4<{LhHK!usP_QKvkodcCBV-WfEhW}XruvXqybvS^`Fs4VqkD6X)}t4z`&p>aoT)?m=c9O}VOz6Hd~_T!dDQ?4J04wp#&?kS+ZbocwwAO={vv zYP9O7|HPeVO7nZ)g_Nd7&(K&n-jx^i8#KS9y{%52GLS&VN8&Qo)u5Y=5n#(n7td9wKO;8hK^v{#+_?ULRlj z^0{~8KN5BXczagfyuDMaS*5e~fj7xJG?43(iii69J_L^3fX3K#0xatVM_38!wQ2A5 z18$6=9o7|>tDS();@MIrPDsR2fs_YzH_VD4w)z)pcS5rfhKRc4b``iKvEJHhF$ z?n#O3W3fQ9A9LFMy?TDMo%Oa1!~F4{yfA|QDrkf&H*9zIV0`b?mYS{)oB7QS%c*>n zO8XNqg(&F135kJz3^4N@YB^KZk7b2sww{h9h|YVAG=P}~jV*F~@N6wwQ_|<>2J3o_ zHNI83U*e2NIvCa%tCXGXIn@L!LY2x|xP93*Cw%no=Li%p$(5rjwNb!^D*bI924#A< zUBZg?h@0jv5Hs8H%#}<&`RnMjFc@dm<1aj*P*Z2pW%S-!%OaZ6*hAky{PI)jwa6e*8{?;vO;v)^W z!9ZcVeEHne%K!B(GiNi`mV+L5QCz*Ye|pyaw9@yFUFaI}Z3|Jw4`W3EuPN$Zoc5Q% zJ}8TYdP2eUt<~Jq_t8Kwvw4@T`hCpBKx6zw`Q`g0C=x|fc*%EzG2!Y?d5pfpl!9}! zf>shbRGhg3hls46Ot!ybTOn4V&W-)CS z?DZ61j2S?gqMWsQE%Zm6liZ@gsh$tFMzIt8THaZDXfySdU z1V?ZUr}>6FB!K>V($=Li-(v(}7_EdZ!7=*V{g88^Ogo&kmv_0p+DZNEokluvnD62b z5oIxco=mnh5$-lfF+#I6VC`2K=F5<2H*Rkq-A8N#{!vNiLJN>(8O=8)saG2<9@o(yROn)J_ zss8YVA`Sf_NOv69enfmx+DVvwCSb!~=HFBcm4(~+)5O?S_58JO)NDl^s1($!v=VoG zfHRyFyWB^pqhoTmZA;OhE)%p&AaB7fG4f|hZOR}bxE71M@kJN)soBbxoYkojGP(af zS963W;J3Aoqv)N5C*Ux}o#t73Ca`RMdw60)m+`W~M$dhE^q@)0*-V|=z3+fzM~7?9 zK|zTXXA$gaiOznp&Z}_;Si}O~;miz?L~W%4FGmZp*osF7jef{q^2?fg-o=}}_WZmb zzHYvl-z@5hkxhuQLT9Z>hKc$?8L~`r#5$3v?7W>noGanA_MMy2>V_qqmrOcmJ8*D8 z!_knj@?bTM31;zWad^Rmvm&*CSbKjuppmE)9yd2jgvoJH9+_DI$X0I%Gyq9XQIZK- zU{OEeis3jYl$y4T4eL+;z8-Hrc4-Y>aB42dOwaGd$(#nHz zjP6FGPQ?*_Ic>e9jp0{z*Qj1@oFc3Pt(BKpP=iU_m#scnKzTGx(ke9{K{?*Aq~}%^ z5AcrV!-Un+)4-El-s;2tBu6V0>vRpTyxs~BQA_LIvGMuvYC@TT$KZ}jpWgkp z@_iAOY6l^k$mv06_ewP(LSJT_p<*v~BVlO;NW|yzYE7_ggS~T^lD4FZw*ea=-0O z^Z#XtVrGs?nd@$Yihl^->$4db+)5Pyb{CYS(HE}Xs2xK2M+Q&Wu12)wum|Ste3Z~=fW#DL$Q?* zy(gzC8U@<7b4uR1!PU(j;-3>Ax)Z@fDLS{M1Bk`e)$@C{X@&&+^$Q+8f5swpYV$G$BlQRM;!lF*-M*{6nl);H`xXs zPM4*h-1f4jT`ZOTmiml-7c{G-nA0~Ip`x)7O`H(W(|3+6!Z6s-3lhJpz-^Fn)lEHU z9Zyl*Y6KCTYHZudv%393YhCzf&OIdhb~#$WnNe<6ksigRP$MGI(gZbG2RV&e-DPq#QF=<07KD{qg`*_D;grkg2&TnbYIkP4xjl zj53Kj&*`Q$#_P%dexv7T4PV^WZW z)8p^ogQ0tep4194{Z;>T>fuOGaes5P?qyRGXkJ_q#In4+$(-R&q5u=|)lReaI!7bj z=bXOfe>hYyjywqDb>b)5#e4txqW2}B%lqowuPXMtkz_Hlj=kT<_pen0}Op{fv2wN=K<84JFUKJ57`h`2}(kw#@ z_4iKwRx#f%jxBpP*44NpG=n=;? zq?=Xe%Fx%F9Vcq!5mKq465)=y0^T@vyQ2~Ri{OJZX`t8qLhxjIDF_3^+2R=uQX~Lzw+xkn zkm&yX_F0$%by0(Jv9=^Wfl^^pnX$nUTR1`BFPI>%R2FP-r7zs9TrAv-EF3f}EHt$6 z%!-cY5?|dcNWVz%v9YkRva+zSv;J?B)Dmp)3OpWoW+@vNS2t32F82TVAwgVTr`mPvl=m9e|v-`Y~XfYRRSWTL;q=c)K=CV2_w8RQ*vIZk{!RI2Y#y!R@!)D%D zAjCy)KByGVjFk4*(^G{?Nvb3n+@RTIgo994Rci{n8?kS@(JPK8b&vC z*&)W@s%h)5Nh)akteSK4v^*#r&;*r3Ex>?ORY)IWMHY)_8Z6hUspuCws!9~+sFE?g zz)z)bdYIF+e$u;%11fMeb=x+(_PtG5TjBvnl4VY?GC|Gpjp%(p8V{OaMe$Ih;xPvw z$mz~T)HH}s$!*KR0c?3u37CkiaAJb0a5A3+35D|CL8!lid{oG3Yt_L-!YG}r>w#o6 z_*3K^k>fvP#A!wGq;TENf0qlT^>6Mb6dC_q|GQs_zCW)!iD#_(d!dV229m zP8YkXC7qq^)QwST)P)kzWQXaNV+0NZlk5)@NQ-zO<3|?8)?@{7F7r0_{mGP1JKDT@ z;?Iq$G!4|(Ka;i|zj^gcrqQsOIP10k=Bd%D1|sL9eLtCWU%m)CPDZ<;vETkBFWN);p04#jeS-A1xM=j zZxL-7@b!b{nMCFF@MlS;Vez0so_VFW&)ZFsNcl(|zc5r2=P9!sexOys^Fgq%T;w8S z=F#yrR@}Q4aPM<$Q$uC0@qf@EzNA{p(h6s@;v_bU#UlP?$`d;$UDoPEMrMA9 ztyW~>mUFd8?0P4UNuNQR00Tb4{iGAs5i6ZLBl`1?S%KGzrX*#10R;L`yD}wo1_L_g zZjd5YR2T$ljt2vHDbSy$t7>|iv(VIBmDptlN^eS8u=KQ>Ed`UH3%r^@`}RUmeV{ND zf$}X@1U~W>^LrniSgxLmTvpP0d~Zy@wW28os>~eq{1-J-nf!vcustcLsK$qsao-_} z*pocr`*q5eIEh`JC7NYOLps@Mt2x8QIlBiJgO_NF#km-@azJcOoR!s&e0{{HJ~)Q* z7g8PqG3F1XZ-G`N;sYovJH)st6~~Cv3)O7Vtu#pqB6Y}_WVEkY7hhVe>q_C<) z)Wto%7;xYZw9chfnbe12Ixh^%WnT_czhQm=4K&>bMsK3JzZNqLCfC zfdWSf6#A|Tj$HVf(J6bhYK7*bxwkSan0-kz=(1CdiyZ)NY=Eso>vOR4&QM?>+cieYO~clN2mxcuadCyoZrn5+Y? zkVx8O#FxV}+xQwWapekxcW=(QH0?w1XO|E`!PjnRdzVR#}knIi@^EILca$PcK zVD#+{Lv1bh4t42X=ycIZ{oAa3(?&`k*bC&4+retuqq$%G~W-DpPNGuUwq>8K}@L& zJ}fn*PPk&$8Z(wv9UF@ayMH?GGdeVD>MSura(dP_y}MCDj2=Md6;L9YFL>YeO0Q1{ zt_WFKY6wh(6kx1AtBwj^OuN&RZ5)A91^JC91zn(%DB9fLlMCNKeHH2YQ~lKO8;FOv z|FZrOr04TGTIrR7$LX~l?O=6N_~yl*zH&q&rO?zm8se8+YM!P04(De%z|Tvd3a{gS zru^skP1IXQj*`~d5m(*z$K`9BF;V@yPY`i(MzGM()3?bZpQ)CC-H!s9Aafu+Bi~5s zi4GB{fk5Q~-x<1C|7nFNat!J@22R94v|c3HUC}u#sXw33AM~Ajg>hps9`+nv_c~kkl*GxEYbD2x_$NX5c6%Ov5q9@s_n5FJF&mIOUrItx3iWRMb=iu83 zEItZ<9w{3Uva|~_6%zIqdj!tIig;}{*|*9SdJ<}h|=4x zv)22ocmJgw{dp@X@&nK;-{l@R4XZ)UA?fyZs{g!+-_m{v(UTx&$FH-zZcS9sv8_k9 zS!!u=(scBGaf+(8=q?x+q}?BTvU3q4G!9z2+5`9grU10~mqt4xd-YWFrELeK-BL03 z%X+{xWPI9nJcKs~VZP%AeG+#HXH6ecmaB+-nAEn;w)zMPBJ=g##NN=^d^828`+JQ|X?3ugH!)KiV($&$*5^PvrPJ_wkQC zLR*Y(kcE4Fo5&0f&dY0VwF1WY9j1Mo5Ke19+H2atof~+M9BLMKyAEwNf4MhBvlepy zn@q`9xgs!?0vIXbL|uJ=q))ZpkuTkq5uh%uQ#*m))lIq1@%0+tjLWFnzc2z->V*80 zD}Id0(8`i}>Y2AjHP%EI9)iU+#||l~C9WYYl3@Xj&D5yxW!6$XbnQ^SPk%25TrrE@ zf=QAAh$3D~zGNH6@8G;`8{;sTJ+v<{op$Sl{{a9{|EpBd|F8gD+^L7;;A8-gAw09X zjgJK>*T3hxHmN=kTg{{RDO@XWFfmX4%cT>ssXAk`P(l#*g)<>cmJ z;pP?NYV3iUV=Md%L5$ELMVqp;%BK`lH{98rg-*)~}BZ-xl^S^5(5lwcuh&p2q z?KXW3QiTjU?_o=fIxFkNnMmb7Ak!w{$NWH^$&aT~w2j+Q)xfnpKg`@d6ZD1XodVIq zqsoY5g)3i^;TJGv6j1pT(A&BV0sOD%WV_+VeU?OXIQG}1{UM(9_7a^@W#JL6UYKwR zn9Af-^Lx6T;fTAAXUWoHh^bn-rp@&?5$}tClX++=UCjL*l4(W|D!`xFYv~eCD>NfE zVk);r_Xo=rjBd2B+OKLfHT@Q_K16WroMA*_a4%9VDZxqLc{w=Ysi-8CrQrV;ucgzg delta 29339 zcmV(;K-<61&@U!mkB6kxU47rQwL0%Yx- zg%|LV^&mmu^#d*Sj0I5QEJ=Ah$e&MDAH1e@jP3P0ewmTjt?H`kud2Q-_79h5k1vFt zQ9-!K*zEFZCdEuKO;WCAm#f*E<{Lq{xbv0)y`LJG@m0M7%;eweaJkzt(tyM6bbN1uq*>7hQ9;P!oV?vUQ zgT-k^1kGm4&Doo`>1+jqKhILab3K2%wNp1UPAErNle2bzMjGIW|Cxe{JmMpHMFvB6CHDOmI*VzeTf^DyBY zAtHK}V11`Zb>;pSWf`Jn0g+OH2WZl)-<1$N{x?fNLSveU)(fhL%H`NGr|A7UqIX6z z{YCX|%o1T6R~%LopP=~j7|K$jB>jBNJ$yFCv>jerNS9Fq7%WP;H$Z!L4G0S|wJz56hi86a$D8ecXq z5P6laapq%z{Nhnp|CCpWWBMysF)Q1;*fwPmILWV+3u6Ih>bsEbm%UC2kc3I%h!vxhA7;K8A z?@g@WXd*>7`we{?iv}ofJu6^XYIHOv@O+X}@GPa`C}@8Mv-SqXgC*?`iX);t{06i3 z1qJ^@wb~yP5mEA>R@YHVqa{g!%PimskpmlkSRLglcV{I0$b5N$XC{1bRLXv|r5z`^ zuRY`P)7T>v?%cqx>7@=-+^&jx74tY? zSnw|M|1E#Y?NuK!k0P#?L<`ZMcbGU;$WRd|?GjF^dR*@QzDJbqMRkQef&ocHHc(8) z5&|V@mtF>Cy{a1$1B?`eiG37!KV164568#C{R@@)zB4i)+U!tL)Rxp9NQ!Vipj00_ z`iMh20u!b>ObSZYIqnU6>ueg4zh-1^ySuSG9X@~BSb+b15a76r6`El8MKK6{blJ|& zEKuT|`{H;SdN2Un`?K}pN9@cW1ae3qasn^U2YK?_u5c=^krtb}nNa(V({X1;*M*QN z*xQ;Q2j+PiX6bO???^$3JKPKyAfGV6Tg&4-0Suh9De&ptd92++7|SdaGwu!gZ>*f* zsV#qO)VEiH+3^w#p}Pm;gTv$Vh=&#mG62uVNA7RPM^VGI%1_p06B9wfE#hQVP6_Q} zzW2MmiS2eqM4sIzTx`1AqOU=gaBbqwOjW* zS7YaP3r>~mC61m)R0GCMrNXW~$$1`<_kyN*(uvHHOL)Tb1m!-NFBG-y6^KZjs1iU8 zOA}Zl+8PBaKP03wcGSQ;J58fNnEHQHh6b7mS^~lY&!h1Zi<%AQfPZPGq5>fuQ6)zb zSv2>Wt{lYVF%=t1HvBSXSbPYj60;8eUV7tIr~5L z=0a`Xa_zmgpg74>aq!wgrihdb{sRtSS3c+3f&#eZR+7~Gv|9`Ob8aoruXt@Cyip3b z7dW`hW{JV=1%B`Lg5B4S*NT+(JrQC1e#Skulp3G(Zz=KdRb6e|r{8~erU}nk!nze; z#Z2hrMb#QNHb-YUf~6_}u0OqUGJXT(@|&>@HS8az-@c(He+k4zS>a_^O9FTqVOM z@3{9M2<@*+okZ%E6RI(3tEHoY`n{Dxu-t(qi$WK0ppSJ{jxv8Jsob5YQy7%HByki= zY!8;81i}jUu#|&wG>O5V2U5#D?~hK; zhH%KfK+9G03I=-L$JFt6+H;(gzXu;cmP+%pLtvvrM zurNqLnZ!HY9ZZOvgme$PEyd zm6c>-1TZqP&@(bJBYpUwVg|MZ{YQ@UK@DW@U}j^@{Vxk)dk_%(DiePJf?o|~ZL9%O zj+Ou>7621FHxmapBO`#Bk&){^hBo%x01=>*nGryi9w2374RS#GAZ%mnYHwy@3VzM= zpGN?tAr*j$i;IKyFL!{T70BMq5NHjM1%gdMR<9WiftCPe8$&Y?*!6!xQ1Y6B!M5BC z49?EZ^gt^IdK-I_PgH-j0B19>DL@J20J3)i83BH`43Gm_f&OWY9_a%>#njBOj@CvXd%$aUfU=|vK;9N){kO5q-v+dRe})5KqG$SVxPQEV z2Qst%%Nb~BXk%pyw01SKHUSu$S%LuaVlwn#7ceaVXl?Y{5NLntVDst^bOM@L0u5db z{wf^^5EE1c0AD-&r#}Zndox?G1HFTp)c%#{yAI=Ya3^4_x~VcGixK`-)$H<+A^qGo7p*nBt`zQc@-i3k(q$N05(QW4i-)} z0LTsiaxpYz_?>@1#nl${my+qX__YU5cUv1- zt@vMr#KZ(JGBX4N3_vDk)<}P%zluS|f8*Elw>NVEXfeLhj|sr|`}5x?omYk#*;re; z{xSdSh#BM+gyn@k)BMx&f0aT)HZA~nIu>RC9WxsvfQf&Rl@q}6`r!G$aTI`N|J3m> zUrB3Y8^G^izw3P+)PHJr`iBIR|7-{q;D3Y3*}PI01fcxGbZtg9M#I-HrvJ};|I6k7 zAI*P9`F~~l|E);O(bDoSJ>}m9|37-5m6@gMKNhdlbp*ezfvnBzGFbm#Q+3eayDJMa zGIO;0zgmAuFz|I91g%Y8DNV=3O3%ppx7^G@%*+L3q+kX%H2s@4f6G;WFPx>BHAun6 z!R+@H^XkRO_GlS8;;A=&oe?evdgYm!MYlS9% zCh~u(H2HnkztZH7$!poB|AK4)2D5*`*WxVy1bEGD`TIow=wA!8`U79rj=}n0@U=Lb zf5F%Mwtsqi4Q>0nOE&-NhUvAKf7QnHTFk$aF}=$(SlTtJ3M^Rs_8hCKe}HU6!)Re}W0bX#M*uqR2k8q9QK zdAbPTKG7+?^%&*!v<2xBvH4ymFG>J!Oo3e_#vv8ZD%XGB zSyhxKgGfgA`16192>Y1EapuRjP#B8o6`R&GQ2t z63Vzv4paR&<1nT}w>u&X+a+wFB>R7?-0e`K#f%_g=*EFhu{RECJ;`Pg-7Dq4h%BUn z0;F9RW_l*q9v!6WB8uSHV-}PKeUBA83#hOe5^{q*c7F~O{3cPH1^Bs zC$~&rx~2@6QD@fTOfqd%`BbpP<=^71fx*Ip>SUHwq56iQerEtaU-R1CjrD&y=c2t` zh+@I6@~d??W|-Sr?UF}IUiSS76T|m9!{q8PVK-;1^=pqxmvtSP0V|t)&vLg`E4HJx zIgE%f8*Tt`M)7_}sDC&AP z1GlFGs1$%4l5L$EY>5I6kJ^7!hY9;YP9HMVr+M0!vrjFF^4?OcR)UNpPf9Eev(41l zgYNA#Ik+vGm|Pg^0cMU{j~T+fBm@4ZcuyIcxfz7-~^4n#Y~iXh3kd-kKm`C7Hfe zZVbqwfc@f$Y5Pn!wQqkss|x@=%<3Wa5m>UisqJ0tS}R?wbr9)=g9IvTsiE9F5~AbP z&FCAsMyMhNl2e5Ol_ORiSjHnGEwX5J!wh0lPThu^5rD|U0jzpLa2xwru$W5^{bTn` zCp41_7}JnwhwAk;%tN*|X(A74r6JJmE}w>s=Ok+HwTN|8M6Z9l%u|#GL%kSi9*{RT zarXf!N$AU#oSSYMOEI=Jmzk;Q5+rIjOFl*oBn{p?MyxrxD*0&hY}~XP_fFVkhSHJL zOS3#QZsR!c8ex@~Zm1RjygbF}Rp-7>K)Zee_ARDx$@}IpX>^JJe$d2^n`pk^edFc^ z-cxhw$B1ciiza`|>y;0BmsaFD=*e6gbiICATX+^gnc*+*mhO^N#ub>{Cw#EpVOwW~ zMEuAQTW~i}X&Y%Zh70_4lvVB?A~SVB5!~5{G^CNvwJ}t%c7JnRzxs*a2Ww%oP9^K- zpv|$8bISBOH&W31R8aE?62m!SNXsq}VHZBG>%&pg8&7}#tRV3Af<}&C3n_>9xgFSl z&G_E46LWhqj;bn<6GmBSS|i>S50f{|p^n)+US79#-LD1xLnlh4YI;k+n)|1jaE7e1 z%3@(Fo7FAGu@7aQ*|v*#Mmz4NxU8Q-F+<^Xoka>x1we|IMsIqd_km_cnv=R~0v+}I z2(~C@EIfaNH9kUp&4NUrhllqAmscpzlceR+hI`w3NJy8T9=|`T*i7=}Q4?Y{eILGe z&GViov&DiVPgWfx1QvMLc&D=|GJj^_#!qh~806IypLA!seKAy%d|L(0PN`=vOL`ju z4lwfe_FFEII|yXfF*F0NU$b7k@SPBi+9!W=a$SF{G}WcJ4P18fq?dN&IZ zMJ0a&Fi-8kn?3WqrrvZ5Osrn{UL5d~SHHef2J3PZa zRf?#p#Qwsz2D_sIJhwf<5L}==3NbCpuShwM0e4Y%1^i?9;r0-rM@g+MdY2Ue@EB9Z z@(AiH6HpsPnMICwjLSFC;T8-r6%>_hS15nqr;6_CfBZ!Bsis?%(Nz0fVsOZ+k)buh z=s04I`$=@hqQ<+1M5C`$CaS&RHhUmiHL>bCbps$9WO=V5K{#kV_3WD33sUXxe|dBW z5QJGu3$+PgAs+M4AqG_HByVmLxHbDM%T-Xszl#(9p~@ssA4t!@1;sNkDG9khF6Mt0 zM_$nGt@@Ke8VcHS&Y0cBZY_%l(G{u2*|XYLLV}@|`osOALA*t5<)db`tBuP#5rS0>SZnC zw|r2tn7Ay{R3BQ;iYw4#?Mf;du3RZpbIcAfi0 z1>Zo%li|}Cn+4_}{tcg^bB_Eo2QJ%VFc|@N{2XnLsvfS40)KSJZ=r0Ru~5&Mld1Qli|ljmekDJj_BhWVX%q`x9U2L3dVYVmw;&VC zqxS{LNHIZ5lDwfMp+|F&@+Us7m6F{q)=jRI7JiJE@hmzt7i~f*d+jegJ*NBIX)k90 z^0$LxLSw%hn`fD&-;NfET&@}9cU8K$P+`-_^Z!Mdk2 zgCd$@T|U2G(tdMq@6;q%OejP?T5_$u7ySr$4~W~IDZx3y~8 z>z{wH=s!7SJ=CSHs;QTxUeoVjY0`mrlauzU%4?Y2(tn&q`{#c{1R?P%vxAxH zEqj;szZs-#heBkwKu8|oP7>)+rGHMon9&2Fi@s3?qvop`vK@{JuM2$jwdrF+A8?To z8SM~E3T^oE)F)R!G@*n5kokI)X581p#?8+R4w>Uw@)EJW^JEM++z7JB&WxPj9ODttIE^Fp$A?4nwP|Xt^hDGbQ=8XOX zi~RM=hi}sFE3CdQ3#{nn34Yw3>-^j@-HC}nORfY$w3-pof-Zj#?+mx~8a}N!4MB#} zSc(;V;0F7DEidjXTRLM+6JCJ}B0LA8pvlE;4nTLxZL+A>SEBxn5KVnOmG zoXqXbwYQ@;M)%Fr!b@gSVCSf;8+BNmuUEI!^yfa6MP+KU86u~_bo8x&gD&2!i}(wD zbRYuS0lxfAV9MvO$L5tAV%RE6trMuUXnK?!7|?-aA% zVsC_J%YQgNQ&E{_{6lyQ2d=t!wpkta+BR_J!U8VGZ){L7ix{19UPpHG?HmRgB0Bc< zQk1Sw`Q#7z_-f1L@d;Nx!pkCEH#X5QpSN!0&%S@dhDR%m!xqY+wvlaur%@2IE1;pBXQ!)6p+`+b4+1T;e#vIrFsq|3V#g3&Xf9<;-xR9tk zbuWKv!edf>?n5wR?g-zuXtY3OOC0?Pv+kOGZ9aDGK2yAh}?6r%Pw5ZA#M`UoOJh{fE(>jh>wf> z3jS>10G~XSx{*El>VDAF9_@<650QTuRK~MA{Kk7qy^p@g$m>S@nNc)peGCyIZ$*G< zvmrm+#jGk+t;7x`dZekcG_D+d)^^7vPY%-ARcCcpJ8j8<+0N?tnLmU6XTEg9{WXvK z)s;#!t1o(BXJ&U~peyT!p;uhE)Im!zpE-+*6XaK28Ajy*snrqh2DwdGjS z_u(j&dHHPx8ESqIO!D)7pB7?OBGQi-L&qoAW>qC0i#6z|*MB7SLm>pEqdpyh{vNFw z3Nu-1ZGDt`ZYz`fR_;!15j}EX>dcX|6hm|fk>u);cQMF%JYb8N6}r^)eO96mg@p~U zVnuf+$!}3^myc@RK|%}4XHtJw1Uh^-uKqx|^k6$CvM52yOaYrjXB&zved1LWVz6<^ zLc-@LdZD-%mxw@lAi~R2YhKkm)Of!-FS&Kc?0`*_)3Ev=SZ5L_9y=Nw&ph+k zGG~uTAGo~1@k2O5S6C=({p)TOHs7*+)TDmGId+<*T{$JQ&T>bx9Eg7)U3xc;v6kqN zzi`TyDdFY}SvNfC{0%k^hQ5NA@(VGa^zsY8=-sw7L24>REzLzpuDv!nGa|XxTo{AP ztSw7B#KA93)$B4mKiGO|DE%yZK=F+ra(S#OXa7K-O%%1Q0}A0Cs%ZYTrA48EfVCpc z#R!j5beMHUObD~sIlFMY z26ypknaz+$8=3gQH1B!%P*Y*V7r%UQ<3#6Bwzs7StRWAvxY`^Q*g&W+Ncswt^$zY% zz{4gRssVXCBwZR*{(7H`i~^Pk;+(8zOdJaK7@yv6mw$gxwQ4u9g)SBkMof^;gv#Y} zsmX8YgZ;XI`m;c9yN~ZB7X67Pv2seDYb#LDa|AzI8+qMT7mb$BMK7$YR2BAHWanx& zyF5aWxzNG}Cw~CH|IU^O?6+`;XhN-sOIMM&`3`t1^#VPz7=y3Cmjn-IDhx^eHMH^` zGa%3d*zbSPMn^A|u3}5dGAJlOvF$3*c7*$D+Lr+iE&!@C!G_^F5iR(naj#?Iw~`$Gb?|!*;UFinUsVLb(62fkk9sGd<@lS z9TZGrDxRV`XRR#RtA)xR2q|QnT*GrUh4bPN4emCY3c_g+1)XuEbCGV^0EFeyX^6R^ z?3+ZE>h?jraIDX_vO{|BbX0&E>82gb2w8dta>%HW1p`Hftq5(M}?!5)9Xu6 z6j{>LT7QRSd^aaCP6KgGUt5!@)I(!IR~BIorFr;^!4@?xp9eUMfYxv-mJzd$(X#QR zs&3SQSFObvqHKU^D()tmn3_0J?5*E3p z6g}9!KjHcd^KQS$G}H4l)-BWh*jP~37e;~b<*);(q~zfi@*3nL+uDL_8ds*Oz$)tU z`hkQ~r>ykyF61sTE;|@!5w{vmZ?npVO*o~+vGtA_Ye{@&Z7$sk)csCJhRwJK;M9Lx zY0hC1rE6O|9%ofxoOg;H?1EIv+D(1g?HBgXWnw9~)ipzVTa%*!8zv=r^)g1E!a{te67+wToB@ADs?HX`x4QR$a@4nz6~B?-y=~!SVJ0%x);T1=$C9h zVZWt)kW}d+4+?)Cb4{HOI*x^uNU$|)-hNRtG|kY#x1?BH%@*rf=5Fprm(SZHCmRe! zAQ9m%g7}I75%7Tu3LYDXzmb0`>k|7kI6$f=lX%Zh*lmPKea{^<%Xq@9!{I`C*urXy zT%o|(N=--)ks^*5OlvJy6J9jD2#5y9L_nr`oeC@8^w(F2xUK zuQ*(g%~h{CD^Zk$r#txb1mnLTYH)RjKQ6bEA+&w-Q+#Dv&-8zsM?>dqm3EjqQsf+p zcB4*D9zx`UH|q=ou2QlDd9cM17|ZDsr%oqv$)zGK(?Eim)ORyH># z_?!zC>X`$6>Ct`%Cnfvcs%CF=rlEKh79!o1@Z;%%68N4bJWLSzDY{l3ajOizcp10W zUmCQywk_&l6!x8E9sb<42ql#YvXb*qp35I(8WB`1k#>KwDV1s@LwR^Db#~{|e9PIz zMtzbbbBz%CMT_!j0AF`3)b7SswRoO=!t<8h_UVOxWKj$wNawZM7t)Pc-WU$-Gnz#0<`JY4P?Pxg!>gJh-6^sttzDW861;m zIFrkL?n-|esqywrFyT`aA}VE%@`+tP>7>?#CSoK!?7*>7Miz$Cu9OE9&`l;xPuZGP zyT|(8DSJlDME9i|1-VA^xa&K)h<>FaD$hQO4ui4>gwnc}EFI-kg(qT)N^>@A{Th zhxFKN5ZV!z=+y&2bz`G2Am&v>R#p9mwUs1o=p3e&{ILFJg!ie;glA zR{Vd|q0OX>wqHBf_ZWM+6(2V&mvuU`9zkQw0+M+?a^=03-M(C7i1&nn(%{t? z7MKeTrb?xJQ<4@lB?;DRGG`1CEAuWyVDo9_t?%mj6ScRX=&|f+R5<5zP7al1&Wu$Y zLss!2p%(eZW{M2L5dj22G81&S=D5sw)Wd)Kk(Iu~2E6j5Ao_JQit;VB@mjgHJ9$H& zGR>e`v;vLT5VcH{dI2C^7y99s*vYl2{Gd7io4MgMb%k3i0h@uJFGILcg!A9*&?oVX zC*M;=s>PU&cNq)i)rt+=i|+XIl$^t);TJ@V@4s=_J)hB%AUlzqp$S$OJ1NZr3;%yq zrGI{qXA{%aE$vPnu!C^ywmz$~J5DcqM_!|b6$_@rG-*Gwb!>1fLub+h$^;DLhH%Ld z`_~GwswwiaAoN^rV!GN{`Frwvv$Ezux}#EVxXOFsZIErZH}`DdvKJ3ss{sqqaqw_E_dpiy;ul?TW7*zg1|%z%YL_=1?dq9V=AY z-Pqy_Fp(T(V$+jwt3YKuUT~Le`grJ1e3wh)5S9*Af>0`AQ|DGAWJ}r9OrThThfqx4 z9e2#VJ{s}ZMNIQC5AZn+i-;Y}w)tblhJuSi)?zaP92%A|2pZ35k7~U5;ZB2d9{xnb zRPT$Sv&4fJ=oC-$(ma2q8D-sIUESmV^l<8XX|c2$vVB`rI70`9?LJ ztZ{&xZ^cT~c9ku*WcI@x!jXckB|o3(>noc!A{7_b(L(EovDpD;EywtPx6ym4w*YkB zi8OodZ}Sx}H+|+jLhR)2B4|v)VcLToXIF_PZ!i zMcgEjzZkhe^NjPzm!-PYp?Ye<0Fffbj36yt7uvbVaGC-R`o)lJR8unX zkV7k#bhCb>xCDQ5Z+s4WOF83uK4h;qbEfReAQUZzmh6}kP6SA9zR~O|v6dwekNJj| z^Mfh7cZac-U|XD0QqEluhVYv3!gLk?#m*CR{ykZgNhzu=#8;$WhVcS!aKZ%!az%w= z{?|{CL1fLvY_mkn<-}TUFy)BRE?=bA@QiJ#_RG*01yJq)`+0XF!pDq z{l?Z}((IZOFsnCm3_^zXXkAB|o~4^nB|0fVBM4r=dqH8OaptaBgn@4{@oc(QOF+!G z?7#MS5y^4F;36C0qw95#^EMyokqjtjBHVz9q(A(!?iArN=h}7AKIX+f9{0csz}v9; zE&4XC8p40MVg!dWet`$e5i}&B?5)3*T`>f?HiTr(*U#n4ej&c%|vG6 z2tbzNrH14ons`&Oy;|WUNEg&oXnH9$188RQ@04O;*nDA8ph7N)B&fe)wce z-KHiN(-oxZTaI8UU$BzH3JD41Xm5aU9?zFXog#mGH|dg`(*?TDgjC80C(GY5D_b^9 zU=lq@@1H@S!3jT~JKx@EqbukVHazO3-t^-?zp=KCF^^xE>rRghoh3n(a@|&UbTzGx zZ@a#XrJO45LJ$sbAy=L(7=F$+A$7&&HY|GM6c0D}TM40xC%L2-bgp+!c&&h?oFaP{xhap< zNRmqsLY>$G>di5j!jps-1p(VUq17d8T;b@$ON;fo-T)wM4;q>Bvll&I$*kQy70=UiW*Q=SZTm84Y`#c49)D^JoTwz1+c1 z*e6oehst5Gc*GMZt`r!Vp@c8}gXZ}`ceL=EKBj06I8XOSPY*jSQJ=nl;Y6o_;ylq%-Dc-AcI+nsuiQB z&#$c-dgj$EuGc4-pHxlUyP zFJv3U!-4JPvOMurVYtBX+}3~9s#+OVk4i~pk_-KQ!X&2kp zxaL?OH&-U4wI9?w{}_m6CL&9r8&c1V>bl0@cHfFNBmLa6^j~AD@7as_CYEyv>-~hG zM?RfLAYbf=7GzCx>5!ERr)7$7SmUD# zS#1{1v~U`YUy0wTa5aCTz&`k6vXh=!f@C2Z-|05noqtUazoo(=rm>3)IwZB|GVNm8 z(DV4E+kWz$Htlep|J=4ncg+;#mTf7on{mg;xG!c@6v&!X=gW^NVF1Q^OJM5mCxaF{ z%Q?4`V*;@^U)FH&(!X35<5`UKkV0B}dd<3yBTkHZixeG_mZE=u3PnBJVs@#jUg}3^ z6F_c$D!Po{OQHY~DQ=w&|3u2w;3Hnqmx(6xB}0g&=0FjP4(}jt>1aVR{OIIiye*>Q z{*+%gf!39If>#lFZL;dv5tcMOCxP8fOmhO^GX!5rv0bm1D#^HbCB37;S+Bd|^}fG5 zkq`V+>2mC@sEB`Cxc`&Y)0n#itydV%id@bljMI1Hx~xXxDr(c7ku1|w1}f zk+4tfKf&{o5sM@%>Qmw&@?Z8(gd(}%`K^}gbqjJ}??Qi%;U!W8G(Vz&WUDh88x*EJ zFbC*@6L;3yVAdnGWwlGqhi*dTocI;Y$p|F&Ra-q8_@dJ_ zWGcrd=NIA21ThU9S6e^8CaS7q4R>Igt{n*hRP)a-UW&PGG|+B8Qw4Ai0zQYov*cb- z4a6;73e+hRjz}4gW_c{k$;uoSCP6-*NBSKKsF#?Nn_$&6L7W}z4fZua13_5kUU5R=k#%cUNMmI}7KLrSf+CTWj@1u> z^`nWPvsd^(m;NQel}8I5238Qgh+gm(n`P|0A;LZyQ? zkCKffV}%2!l62x*u}_wbO$fIxyWY=_|0RD5=9&4P^E(z?R^m{q0&RiqoHRn0xBDom zZ@uDNE%rP6#FtW9)vQve@BLS1C_mRE*GzwfE_NBKynsH>cjcG56%bjf+K1wN??kgE zBI5N`<~#^Xw4b72)T8&QNyrHI)BEj*YSQQGBi%2mE{yNLy8xhI7&>-{3EqOYEmCJ`-r zBjL2IZnE(mJTLK0R=GD?)|H;rsF5OQW*RvO@tZhhJx+dUVTD_h_MNx)mOoXnQ5NOb zS(?IkVcovljx&A_>)e6bjq%^6fEs_q9T|poa#zz)#lT#|I;MFWg0xY4jau;NSq0aUVCS)hf1&3b4kF#dwE`x;$fnfv%tU)>~%%;44G&rF9 zj}T=CLnt%z4{xNoZp_;E*M8(5LhqEuDz2q<_1%9)&7ZJb=IqvGzEGs)ayNf5S(~r7 z{ptTUqfo4y1H~PtAahXoNGu$nK}E-mmD@A6E4((%Fe=Z8unJ_Y7{O~*Xe!<=oaL2! z{6==_pw-H!509_p^HHC(&Bv%e5SWo|7awMj(*e2ZJsbZYg0#~Wto=QDv*C1JwL58P&>E+?r3%h=BHGlN3j@bo1Sn!zgS zp++d@z2W!GFqttlba8UBB$(DLsY!~b%#7Hzd`BWv+WYc*7;}z%<+gvWLtLg!5a(o= zW1~NfficiN{6fM;CP5*!Cr$o>tE^2lvAp$fSS~?=HU4M9U}wQVFVkgMY}H`BJ%PJ* zH_2Q_j`CIjxD$Tos0M$LzhN225Ojr}S66W*4-|Lar@o7k-=j{|ag)(+r}&C2KHdUI zD{!0LotUMF6!KziX$|PyyZ#Kjd6W2=Jz&kRu^^Q0p7oluKsI(qZ6?OgGIf6P@Z?0oem7&!%$_?m z*97s;O5V=FE-Ec8Luv;~-I8^6(j!M1u}sqE`vl#2z(!CiWzvxZL}Xlp_Od1T2k%Q7 zd5&=?CboasxPiY!ap-=!J=n>LfBQBcwOe%M^)!U1>QHQ){DHG<%>*Of%iya^t?MPM zaMp&b?Ai8y6lM2lA1CAzl*5!0d7Qt`m1i!h^t+6Ps9!I)+>F?ZdLsKQ4x<`Vfe^g? z)DC!KDX~c2J$VM-n88B|I{r@VY1W2?8V94CSB`&2!A`JBM)-Q4GO9nXas4b=mpfg8 zs%!~vE7F8mkB{t(v|pY$7^EBw$U1!jaltzY7cT@8D8lHhGBRD@+E4A2BW5slq7>0} zKOc07!hM@fT#QDIwkJp9@2=3gOvjyOYxpMjRQt8KrAbCTtX`2tn#r3`2uK_{DlvE$ z0*8OKu5Sb!W4VgmIcYYql(>@*`3meFWl72v|IXcd?j!kLf1-F)u$BeOpb?OSl3Ep9 z(!%hA-t8>PXg{q->}MH5hmiy|8ExcG>z5-}n!PG!VF%ST%#F_O#*0>vH`XX&fsJjHXh7Y9%6hUo7F~OC6z!153&${9Dp_U86)<_BbXCA@{m+ZZSWq?S4#4f19O79@>P2|w6kLO`+Id$$TMAU!ibB7juG0Ay%c}6x=%CGJsaaH8nefWFC6jlR- zOUsU0^T75;?Bj^frt)>#+^ljeWjP&pl!DH_Cr~c()XQ=e5^y6G-}F z$Vw3-{`n{WbQtz_iQ^p&ID{%lB~-E@X`m{YD*~bMSsHa?fF`2nBJ`@p5wuUV8rIE?K?}pNdX6+B? z@W>s&HpPYn^?~F5OBa4~N0^W)MOi(!;#8L2s$J!M$|!@au={2#+dVtAX3hZr*iK!6 z&c{L$^A@NU>x0A1hw7o*oorWwhHz(g^o272 zhsS>WZJ0k+=wPz+SHVbnxl?EEymoufQ>%Tx92p0URKSfqk!EO8kMEu5)p>J;onvqy z(Yxkj+qP}nnAo-^w$tInb|#u&V%wS|6Wg|J-`TqVt=+1-Rr~Gqsjlj-^X0twJ8(QtH;0UL zuxAlZjSHcUMxnT|S)?Veu&B=rI65b$E9&Aoted`hEGtg-ww zg+F9G56UYnbJ?p>D!{e5=virCwRDWeM4XLRCyIbCXUj6=BhXufe@pXvTe~84GXRJP#0hwfmX;_iG=7*SxaO zX^uQT(7-Iy8Gaa@VPP)@#;rvW+Un197!tQ@mCio`K?3t_;~}0F)`hZbk8ZrgPD3=n2VENH`H(Q zh&62;-F~@Nsq!Kw9UF5e_rq+rb!SYepKTK*j#602aNx+?yln@$5s8GI%b!i!8_y3- z%H@OZk)w2}2t$c-s_7C*G=<`MC}eDBJh3SbaK+IuTdbbdqy$>CV`beGV=8#i1ZiA< z2W$7`l?)}f_}m{K89s4tZXeE#4Kc5UBN0R;_?zS%;`v@Mtq{C39h7zqtDW~}$?ekR zz~QjVSrwXv+R_Agwc^-KqGlPpMa6E788l(tSd~dPzu=PodX>RN zeTMTvzYZEO=ZpVj74u+^RVQ0?!P*(Dc{`GNA;QswijHtINEecN*j@|(N77LU19u5$ zx1Q<^`hwPK%a8b<3O)|De{#JB_nLHhP>u$~H)k49u9kn2K5zyw4xaR{cu>riOeN5K z0`mW-s*j76<^QPqxYHdgK(WDjxLMMBl|bnLFKG4TwOKAQ1D`91B65mAx09|XsxAna zPzaf01)tQ-3X(1unJXADuvth^)FRn*Iuba)nZ35B+_x`V|E*Eok&ZlX%g6CtE06mA zp~}K3dRyccNcuh#8N&df1RfDXwXGCl2#_F%7ZDOr0WL0Z7&N#~{9!Y8Fkcc9r;KL+ zVA&V!<&wepZ5$$j%DKZ5m_?1z%M7!Pjdg^L3LOLjMv}0+CD9trBhohnZ;Cv<4_?}5 zVhlm_Q(%2!34HfBRN~_9i9B#F4!)O}it2W|gO7s5Pi3p4(BK7vKQzD!2k(c4l;pBiKZSWItLZGK$_NC0I}`}G651fKgk3@ z-gyZ?go(d;`afoF6_*#pgr9if?mXo<3ONcFc79SXSc;)Nr*x0j30rX2rgv^ zf&<4r3-F-Tk5bns$WNPUc!W#DyD#4Zkf0U*ce;ViIYeuikXGMd4a`p`Wt7bxR%sSA z5(qSOEUaDVzztAiVt(rF8bkoWZ=<&-w#P&rG3e95i8~Oy9Kng?4`|G5@169rR}iQS zvXWE&7l8NK*1vZIy)1s70HRk*4)NpZ>X-)S{CWv*0YHvG?nMYqA{GX@KYOU5hEM4~ z-(e}e>N)ArL*P)IR#u+geo?#aiE(jpA`TR;3B(E1`i29seRPBk6#+!RfP#JDN)JQb zQpbN?YlQLkf|>%w(R?L6YLBmlpp(Mj{gBUA42(Q-ZN?x+Jz)+=XkaV9HlM$yT)r-D zztmo8Xuc|@zxc^1m1yo;a_*S>zsy>k!$kbQSd>Q}Bnp0upvPrFE(2<@eL!qA)iTlU z$?KM;MiJt7Jadyc8bI>yR(Ky=@Ety!B!xuC*q0DycJhRI;XMrhGmD!B0%|dcoTSGA zCj}ek-iT{HVWlnK0Tn_nt4G0j9^u2)NHT+P{d1`n76umFPC&rU??$;xswx!Z^S!jJ z5&G>Niyh=IbO^Z$6Nq|j5D0WD^k&VF&^|PXilLLEuimi{At0U!=sk;qf#g?(#}eYe zc|0p=Un9RO@zIHrM7`LueTBj12lIcnWA_mmdn&0%e{l(5fP;{-%sYuGe|%!&V}eGN zKjf*`h0|bMKFgE#FeUVuU@T#R-ATOjGpm41gP(&yzL5ynqi%o6e8T~`4;2lNeNtKm z2=a4E!lCJofGs)coXf4VEiG)EbMWQ?z3lKc*--u-gsb+-^y0h24T51^or_3WHo_Pz zvHBk1@Tw>%r%+&z$;#eHUNEh!K^d1uuGdDD9K`*?oPXv!_ce|Q8-r_58$DjKBui6{6f z(L=G2jFs8IYVmx9Hos5ykI^%I0whI z52eU-J38;$RB+J18mq1;idl7+6U&$Cl)NU=x22-4aShuuuMm?GFa`%H!@PE$S(p*lO~T z3pjjvejB6Eizm+qi7WOonKGk3b74f{+#jHj88e)nvge)4OdwBuIS^~ZA26n`k0QAf z3oj8y>$cC~B*x16%OxfJW2oq15~4=$U;T0V!;2&|x8hqB2rL;Ww&U#%K8;l9l9hro-{EaglZhYW*I-5ZEnk#?yl$a*^XseI&R|Jk3tbjdw_$&Koyv7y_6X0C2 z1f_f>4%7bCsra3vKDKC?!}-#_E;4R6aj2=cJyqnbYxPmCRjyr_NH}#00rBN8leA+x zwSowB_V(@jsCIOuD6=%{MbSA)hoCdo$2qj`st;C*>`B_JfOZIk!BpfIWT9%%g|p6u zIf)WRipb|In6l<;T^>4h_U4!g5u#`M zl+z{TnXpJeze~>7oGM7?!SH=-C0)3=wC5yoU7OS@ma^V=i^vMmchqUKM$Dy$k@{zs z)icACu<^$l_l5|5pF%O*@y30wnhJ3Y9^ZKqu6a~cot-3bktIQX2VHnj2H=Ce#Hrk} zkb9XOO4q~%e_)(^4slRLHg-ad)KQi}?}(orEC?PlENtn`x|aTaKw{~--=D*lW4(35 z%)YjUv9hQn!az`qJ3w{sNKh4Oau0ME`B$FTF3{q%^kqIwNL{IjD}8QrS~Y_*;n#UUplS&VKm;IP*-b)pV(I^)+?Nc3^{E4rCtp--V{ypxoq*cA44I~hrz)gkjV8veDz&Or>7;HkrsIHT^7 zxmuSRtJ!K|C+An%6`-THvd68Y#2_Q_>m(AtD#GLO`dX{EsEJd)n!qw-VoAvkMsY^V zwwp=`i@y20>F`xWWEM&l*jR(AJ2wO zuIeBnwm?t0h8S*posQYPiJ2)+<N!`3fPnhI@)dr zv_?4ct0mB~Nq__T-CJ!}+GhugGtb5TBjuo2XITuqH&3oBvjv}RC@e27_4LH9A;88S zyXPWcm~%EK-wQD5n9nV=G;T2qEb%ZanMiiJmAubd)<;a8^&~u%w<=+T1oU;bYB%7$Hi1U=2L)n+D+b2# zt`KR<;uo&Z)hw;wsQ41!L){gIozu8iSlkUG=WB3iN$b-;=Z(dJM2B!K@vv@Q`z6O( zR~oNGY<6av^^MJj;^g;+LC-O}z$cMilheT9?f#Ist>i7eRqy0j-=ItIPlGJ6JfHvk z7!BuW|9AgjH0?-sznFuTMG|*r$RK+MC&|I#8kNv;tx{ce);?wjxgfWp zI6sxZ@ld;{NO#)|%b%TLMb|r#1gr@4X`T0jMO%K7>690BKXc>;R{2cEdK9+prD`8U z;g!miwu9%ewr$l*|5^yzN4CHM;>yF#5~;ER0k%oQ)1dnwf5q{Hw^hx?3btZ~diSma zA92F?W5kiYBfD#YF_71FO>KzJjGA&rk!qwCwk5c`b&7SYlQ(2+frZ%6M~-i$`q-Jj za6_L-s5qi=$=pm^f93}DrAAsHSqNHhG7%S);xcPIw@EnBp^-8ul|Uhh>xd%2bCW78 z0N_%y35Ke(I6ZTWGr#%*H&toh^sJ0RvP($8C#0$ejM%hn*2lK^M&oBG@~DWJ?%ns- zQSS!M*Eu56jF6zZrJ&p?kS!%m(*|%`k=X`!!v(00)c2ycC*6NQpB|YDO-d5_wIbIJ zF?-v+oE;ev?ID*QieYjfxf5?;BD7i006SrQQ|*fFyhI9_9yP{6-cK(<>7h4aWTZFi zQDRT*7lm>1+pxHwShpIgmE4}GP9FrBB?WDH1N_sLtT|>|H{U;CcyX8sYr^s(sF2Ei z&-em-PSb`b9A%|&M!AXcbA)GlmI7-`Fwor|4N65(>X18jtfZL zUJWB;6>l<|z^Jv>JTq|&PE;vI0v+wUdIK(LOTWS&D?cE1A=lH!fj^wCcaTz@ejF3W z>hio}5$AQMT0HlL!N2(kdDl2k=F`WTlklGu4*h}qwYs@85?2gXw7Xh)4#*JP&;Vr$ z`FSrHek&}ebR^h}dqRtzq=nal;Wh)y2A(+yz0rB>ph+z^yro<0A7ZPZeBjz^5d?L6 zE<>Tcu@mYJ0#HQK+$+?`r^KB}2u{^lC}fGmu$UtsT;X{x87fQJZ6Znp<1OIo<@ts9 zHpJkVRwNI%n*63SFWSdlK;N@sBS%*#pHglR_o2atVt2V@-%s;X{6#h~hpIRa3#(wr zu_ZTJ51#{^*vVk+_&*rY{4~kglsCH!MW737FQ1zk?wS%}!Pv!eMub+r_{4`}7LJbl zmt&gh$<-bmJ=p?ymS(xStY` z8=XiJ?z*l2jM-XPzuu!=&~dDt3S&F7CpGXoxuh^MR(bo=)nZeHsV<)^D7Uv_r$M!!G<4liv`TNACG?v^;h3MPTSm2vbV|R=~Shk@4 z%7;gHozyxZskuNF6)ks{MAItS^E_5%GelOI$#qYQrRlLt;0xJe0XE>oHmt;t%Td62 zns;7B4jQjX1trhM?1NKcgM2FM=!sq7HG2+Yo7X5n2X}h_IBiG^jB>5RqPm(jpNcXs zUA$h~hZKIJ*J?X)!ep0^Lh-LP?VMUEh{W)qvnDIn+^6m;b-I>NJ!9KdY+;NE+$rnf zPpzUY!5Ax`dGgSo`r9fWR@;FyNccjdkC4y zb#uhQFGraU-;_7nt;*Vs>djc}wCHI99ZEd2l=5cqi`t)P6rxSFH^xVjithU#|GI6N zY+-ejQ$IJn$qHnhG4{ea3+ix(M0Dm9*{zQG28{Os3f>nEw|};g&LLhR9GEr_AR@>O zXt(7CG+4M!oE8l|6S~_q{Z4%IT)QT-E=v71nQxt}8` z5!G=cukty;JVcxCtD|HCt>aL|jz7}*7;;Vl^u$Dg1q1fqg2t$9Hp-k)_!Og2wrlVss(&{UwW@Iqw)x7 zpk|h!nXH5Votjf=sWnm>(4;|%K|J^yc z3H0cz-60ONeG0>GvZ#M_GN^3PGIm_P0ko~G2UO;fetZ?>XtQDCP?R$u-M&>YqaPhd zKd|tb`&B7Q6igj24N71*9|nbPyb2;yZc{6x_YINjQhV0W&1I)!35t>*tZ9N>8ugLV zioXQ9%mO^>lzGHzP=mX%HH(r*nSv$Ie&zYny~&pH3%xt>eWa)qEF?!;l&I`}2V{i> z3%4qK&ySC|U-G3+44Y~djib<_Ye|g+Wxm71f5ceH8hCOMNDQ#?=?OBnVY|dE>j=Tz z1y$%&cGs8&oPDTizo8o$>-VAWZ)(?~jHuMjtZG}3DDM2MJONmQZPe#9t zl5SN^%q*2HLxtVkiV3F*5-cIq0fy-CT^0&4qcK*O@}!$Xs&H0p~|?sR!#} znwZhPi=@v{Ml!a{XMvC`j$VTB310ZM1fRgBYMl;?gS>xJ!~l|ho~y|!fXt{i{V*eDb)Jr3;C|# zFB0bzjDSafzSX@L8;Wq*cEK>5_yU=M#6>79#b*D`(y#nM*-l$uA(p7a&1qI=(SLo^ zC{*Sw5iXt{F;|WgVw94NU^>f zwJDG{U|T()=A-T!!yO{)Eabq3+TU<*xF|BzlX||CSNDurijtlyt+R>i4&OdsW0$ou zeN~K}4}WJ9TvLrTDqq|3!J;ptj1_Ba;^ZpslG`*N3VM)K5tbWkCUHi+j3s>lw89@KU|MydYordZlf2{Arw> zw!}j(q~K6^KXN*lUPxXh^vQ?i=-3roS>DU z4S}>l6B-=BG)dmMgvFN=IZn-1$8*%#F)PLOIYaJDVD_%A2J=N8+&68${HR$#ucncl z5i8$aD33R^OKCAo!EhA)iLR9WyV+c4l*``(x0IV^CmQxqqBHI_M5NW|Bdyo&0c%+b z`eTg{{?6YyXPj!%TVzhd@WfMB-{$EGYUiSR6|kX` zFm~Gwmu2hgc1b<6nNWPnZ&m$FbhohV5c5+yESf5y0wL|2a7Ncvrm+u}n=uDe8E|vJ zi7);abct(P!SUI}yRIfGOgDc8omn0=o6K$G&Zmw@TK?|0_ z4#iJFw-^7VP0>w^VqvyPF0>xyFEz@zG5wF^GNpk}!5SzlYKX>@nY%XKs%(`5SvJeR zxb2!%-ZhN};&C#Ggc@QJ#kzLf^5lg|tSTnpU; zhBnnplSuKY#e8Rmy{MV!g;~|uaRks+-k%#o&MwU@{U7+ukS%BPt+f{7gk^@eIQMyf z)F1pAdnC@H2>ee$^+mX#JJfq>%F6soz(OjPX-PfUk=rxAh5jrfJPwvDQ=Ai^326eUT;2 zOh1v$9f~!eMKrwq&)3%jc%tVKdY~w#D-C0&kIR>jz?}E~+j=r8t<^ULkYW<#EW%ag8lO358!B3g9wutm*@vp@xA9-G15q~K4QWQ>+sA1R%4fS^@xgBxOW8qoNQr5h zs(T-+JW8m{@&emgzdy(`P&Zr^9_&j3#;Kt(#s2aw5^ReA`x-6Jz^;fFdr53I<=&I* z)JBb5r!*#v3|vGhnx>uDMO`zcE8I z^Hrpu-yIp>zWDftYE93D(warXC-gb6uhSX~d3@zZXZ+p-NhrN_3HKT6s@?~ifN$n# z5Tn6;6cu#9vnS0105PIo>A)mG|B!gxBvm9@6guUnZ{J8Z@f5xH*Cx!is5)-S5vEA0 z-%_p(WQ~*xD;e75nh!mSb<6U{qriitEMM!_LH+6c;@+}jY6x`0o>-ynpv~xKBe?^f zKu1~e9X=B5AgkA7ys4vnG5%|Wp{yq1aCAaNNo$06pAtCX~XB4>x3MI90UZ zp2%rS#*2IJy~U*;t4T*`0^>iaI1$ya@EkC{r%`y-?@0X`vQ_L|oN$<9-}6uz*F{4W z(fPCVwl%{8OuNW+Pc@3iC1N>g0h@al6zr*?c0Z-XAq29=J}vj zm=>i}?W~#=U{mQ7$!t@l!^W;|`~hBI1;3hz;qOdzzZ~u<;{K3(2?a@#x<8$#Bm#wP zrcC>CP6Qv(ifAUXVn@)i+PY6tZ!|vSW`*VfTBa<9U zL!GzNNHn)dtCM>N`Ec&f88AoiUaS-=LL z7#74iVT5wy4^6^uHt^F4l73I`YDrgxYW_VXN6kwQ{v8)rcsWmWE=I$r@u6)u5bc(1-Q_ zC=G1;!Z$yb-7b)mt56~Szl)rFTdmLpfZ!2*y;#Mg!z`tJWeprDb2NEg#hvjVNz<4V zd7AZzb|>D|v~&cTN1jabq?93c@;Me8I@Ue7i}A@bmpfAY>v=;u?$wZCYbg#CEvhEk z_1Ips{&S(4)wWSdT6$7!OnEJE$PFu?S7IW8;?vfxnx=(_6@1`*m28iv_zf)zjTQ}Z zE8x#h4}CE1o>|DhT)zX3T7Gz;(KM(8-qdHwaqgOih+n6nr${RV?u}g)2OC1*IhJ%D zk^Syjku{zrl4l~dhP-gwg&%=|)lXU*Z6yXjg7Jg#IRO`NSvYz)RQS@Qvr$yT zx~ZadAM!hU3*QNChGIEW{mM{0u#Yi(ieywb3ODn5e`N4ryra`AK!$eKAbh+gssVTA zs^kouL7hCsm%UN%Y&a(&MA^ItGP|_#hUi5+^&c$y>(|8gi%d0K%s+gU_ocE11gUE# zo$j=7t^a-pw@{B(&Qv2ld4CL z=RU58Xq7ufl~kMahc-_t8TfK4^i6el(Fz;khu7(Vl92XklGO2eZvBQTzEj#niKwg> ze>4e8T%i_^Px6$N`35SP`8-SCf*nR31^f_Wl2kXkbba-BN=S_qcV=9sjz_KCC$yf^ ziqHQfRXEvN{_!XZ_@Epu3KgJ;bpJpVy#>%NDlpFffGW)IpusSpEG_jAV33%g?CGtz zV2Y4zY^F{`9ME_Yb;el1)a=|f6*|@m6k+5^{{%?YXfRg*>w zSgOew-jLgA+bSQU z;oJn@JPDm^MOHftbMJ=&!l9Y7;iQ&nvd3hX8T1hp12M+uK`1tNYr&T?Ft{X@C9)-J zzm+VajJ zaF0E^@GbKEDDUM^e4Q#+2=f*t&8bmbZCgd@AJ=LD*SD9{D{|+}ce=&27`)`dpCr1jP%fAcacG!h_DHS?xNZEEMTXvbb}HNC>g4B(jKG;*8D zvJ3Ub{t~QlQ* z?N52%#ab$LG}pM0u162#>LmSLBn@Z?eDm%E>g`uMAS>9I%`Ql1)Cg1{U%$?5jWE(N z>b&AvFO^5)2);OcTE790oQ0a|zGq8I#BWjZ-d=uy`$&zB4J!B4FE57p_#`|V$$r0Z3!Ehr|>R9%oetaj+J=!iG!*5faLD z*+Pj(QfbK-AUCU-d~@Dzf~fMk0VJ4N?9A=sszssLz-aM2hS!q4|8{hKC-D{ASZ&c zpir(Hu#_47Rm4Af5tby!P^_XrKRusBsLPa9X|Zn2pjkU8uIt~JG@L=7Q%~H0T^+Yuu zcHgu3zpFhnx&NwN=U$$@#t3Qjhz7HmB$sa9$=GygZ0F>QDv^jyq6C=81=S$bgvKa1 z=Txsud0)#|cMg$eMEznAZQxt;8#bIH>~!TeKxV{4@FUx?LHb z8iz~S@Amt9&2&h`XQ=syErihk%2&(ph^>ue#kQ|Pp&psDS$`qrm$;RM<7Ix$557HA z`L*X#(|H=I;W86^&lRv_n!UgzE^TZ|)Xrby;G($%` zaur(ZPPSp7D4JqAXn;Gs(%n*+Zh?VbcsJ#0*ZXF5pcjTcpm&~~mrYCr5WF`6oljEq zb}`{gt~+ppM1btgALyGu%81i_DvtnnLdPBaYdM*@@+I=sr&?^a<8?;A2payXZ-LF- ziYX6~!MS4faBA;^RrKkjr+#P-_XBAP__{ND_Dl=HS5k=!&DI#aH!GnM^{uLAeU?7b z5%;Z}VeCOuXCimrr9(LoNib5^nTpPv>ghst z@BCg)V!}mY0t@T5v3f`x5;}^XxSS4si~Uj|07k`p@PfyrHTQ-KV&jydSdJGtI8j-? zzgt7g@**$f#v;3B?Bdc6)IU+P@CG!G@K=^~iMQQDemg&6@fHIVRg@!tLq;w5DMC+My0V?7VJzzOzLKT&4+$K0`X-@^y%$K zMp+tiSVG=tN(_6AQ1F!BJ;{-o9GJnse+ z@W@+CY$nt*D8wn?aQgK%$_D>yVL&oo5hfk(Dd^YBfH${9W&lDvV%%Akt*CR)!3{qXfSi5j$#bD*}#HJVD-21q(5+GBj-+FL}nr3Qf?VXwgd<7VimMJCF zS>ElmBIa(<)%EcBevZk4I)+GFBcGQN=bs10n+t<=Ob9u1<8NpZx;Kxymb{geP-7e( z{j_Z}@@{<-Z4xM&+UNW3B*zK#@m^7;Gb%n13IZ*1R*sWTfWIQ)#mmc3Fajsz#~!Cx z-Sn*LSzOwE>+CE}gFi1(T7gdbkj2u>Bac^-#NCmX3jZc5eC@c*oTPYaE>$+}D?nzJi-Kcb)FmUT+uPoXRx6MS+g?EisBhyp_Y) zv%OnnuzCP?5pJiU>?&~qn_><0f%zG?^cTqOP|ni-4C%Qz{;ydv>fTNkB+S~X7MAIy zRA2}I=f6lw&Bn)qgo_i7S&KxEm4uyy_1~VVqoW%M*Z;!SRpFRr9V{J5xY+;mAVH!h zz%DM%BFZ8m#wy9e$<4wp$-~Vl$<4~n%PGmi!6w1MD@5}Df92m-zWw{#f1_(iSh=}K z{yQn49B)AsQ$dlK$qawme2Z^^MTHazwhql^f;kS3pbLzFh(x0aM&OWlaci1I0`VhE zC;|z>P#2uRwBL!0JB|*@h^VukNlkm?LKoVJnBH(8XT=oX!B#*;5k*BaK}A(TMR!g_ zkxfLiA$zMmK&b21wTK*;pp(|u)b!rHtEXd5$cfcRT(_^1+t1asxb> m_2[1] \land m_2[2] > m_1[1] +MeetingTimesConflict(m_1, m_2) : m_1[0] == m_2[0] \land m_1[2] > m_2[1] \land m_2[2] > m_1[1] \\ \qquad \text{where $m_1, m_2 \in M$} \end{align*} @@ -122,8 +122,8 @@ MeetingTimesConflict(m_1, m_2) : m_1[0] == m_2[0] \land m_1[2] > m_2[1] \land m_ % Use the MeetingTimesConflict predicate in your response. \begin{align*} -SectionsConflict(s_1, s_2) : ('Y' \in \{s_1[1], s_2[1]\} \lor s_1[1] = s_2[1]) \Rightarrow \\ -\exists m_1 \in s_1[2], \text{ s.t. } \exists m_2 \in s_2[2], \text { s.t. } MeetingTimesConflict(m_1, m_2) +SectionsConflict(s_1, s_2) : (s_1[1]=\text{'Y'} \lor s_2[1]=\text{'Y'} \lor s_1[1] = s_2[1]) \land \\ +\exists m_1 \in s_1[2], \exists m_2 \in s_2[2], \text { s.t. } MeetingTimesConflict(m_1, m_2) \\ \qquad \text{where $s_1, s_2 \in S$} \end{align*}