From 5e9759a8e5c96c093a405adeb7d4365dedd27538 Mon Sep 17 00:00:00 2001 From: Yuri Tatishchev Date: Fri, 6 Mar 2026 00:13:04 -0800 Subject: [PATCH] hw2: add boolean operators to semantics --- hw2/while-semantics.pdf | Bin 169608 -> 170065 bytes hw2/while-semantics.tex | 17 +++++++++++++++++ 2 files changed, 17 insertions(+) diff --git a/hw2/while-semantics.pdf b/hw2/while-semantics.pdf index d97dae0d0100a379b8a0a1b0cf9c6d2d23cb6852..fb59f46d089e9b8f0c41160ab988b76e23fcb26d 100644 GIT binary patch delta 44121 zcmV(*K;FNItqRew3XmiMFgTZ?WdbOFrC8r{4|Ugn>V|qZ z=Ac^~Kh#@GqKB@h%BLURy}u5Bzx@$bPF6xhWtt|qa+*d(Dp%{Ih>9|yg}>XtB+!$j zZb6v_Z>z^JRe^4|rlP)&eYflN;ZV0b61>;#Zqz$tag|k`M5$PO6 z#^HHzi!Io`-ETu^?#-i{w@%W3NTfWmpotqem0RM+&f?g+IFX^slE9F7Gw6YHpUGtf?-l*sLzsfi^;jrN6v*lO>KM7q)DPCh>(IJy^w3}BJLCak&b=}mvv1b(`f*2Di z_^zq{;0Y)nrWL>K+*!JR=C3bzpn{Y0H}zDt-Hz7ck+6B}&12n-ws{H*6{HL z=kuJ?jz=elUl(9uS{8^pL!2}Kkv zq>o3s;EN3|c7;}qFYPygvlMs)@FER#Ga3tL&f#j_#c6yeq}ssx<}Wm8i#Ho9_Y|$v z81~(`+w&zr0j{i|sV%iN751s^oDH51Byhoq1NTNBBUn(-(jQ>6G~yJVm)Yyk?ei=- zV14o|3g)At!7bQ-Mx|f}@KAqo^o)*vj!V2x+pe`k59nd(=HU?`P`9WGfSm>%x}IyJ zH4kHR#g~2D;#T$(giH|d?-4db4gq<$xZ|)G3DL~#+4RD*lfT6(i^^OUD3ytHbh8$b zD%AvoFXKW*Dl1ouL4Wrx0kE2Tmnow-%P$s5{EOtvHPC;5kr%$D5>Z@2nZW(cCXIyN z8wA0%9Sj&p<|*SQ0y^U6>nOfJISI$G=%%GAls$vstY8R+K88P(>7I2=_}7xWZb>|0 zAIc!VL$6<6p|NVf_^bWtmS|2R zE+U=)^|kz9V*v0fWLoJ+BrQ26WXe=7A%S#OaN0o%6p=ZKpgtG*Zm=@}NG{9^J)J{h z>|up}Y2adrWDTbYM{3T_BEJIwI4VlxJa{+oWX!z0Jc+q(bJ9;<7I*HO7>lMSFQz}} z#`-AMn{==4C-ZGHxC(K~X)HgO2RguGr;E_`x*V!9LDY#oxagGpY`fOo( zbX6{wgoD$p|5(t~j+4nei9^l_FpQgs*0bM#Gv}h@pewGCPqWFVo*-R%Sjsu=#T?3| zM9(s3&9&YPW8X4~wjBv)3*dEhN#?+GOP1(rNN|{r_Z^DpNVNB!drp+dH`T=X;I(>7 zIURI&BfkeOQ-ju+3LxFmZSitke93N-+3mLvzy3nJ_I9&*_m7`{y8ii=r~k>*mBBCO)Yp`dX6z5BIBdu-umPk?Y#_@inH& zUonmPTGQZdg3W9>e05u0yh3HLGc8($-i#{v`2Ee4bqa-SP0y-?AODM_u*YU@l1<9zjP2+8#u%Tg>NCZnRyg( zu3|U1q;$mL^AmOc3E)eetA&2Im-KQkcZrC-=$^*0bNEX&@&BNq>;F#$=mHOG#!(y# z-;YEI#{Z(X167%onHFpJIRRpSmo%1Q@+FE|bE3*Qwy;%mIUcEW`E5DJEP4bsNhvgl z?Vi9Nl~W)i6JZMi$hoV-7}Z$2he~5E)gD~lkF_KJr(wda9sh0C4O8_ zAsL|uuq?{O&r?yHvj<{hkUSwh)76C5^9K)zD&tZ(Q{iJcPJ)W4v28kkUHOv+nDhw= z{arhl{uu53DHRSQxPi*^e=ykh`7QBso_U1pjhyR!-7Q1rVQk%R-W9*5+^Z^PW_N#Q znV6+?^e1jqRXvjdv?ooL=A6w6eMs+^wjp1;PeEr-=(sqS;}()1(CQ<-0ORvt2sZE+ zp$0CQZ2^mMY7f0Ll73x(Mh_r~E~WoCcI(wEA4SO5+h(ljw;{`dCq707_YL-Ar^C~? zi$7n?7KkFArHlR<4|LrXkP%n!g&2{#7Fv($gF(iqB(7I&?eZe$HI0rXZ9K3jG&b z2K!SI{ii;9Y1=JCfPw#IoM7>f1eV`vr~Wa_6ydLzf)gpC6#tU4GK$mX7ucKY+c*CO zI>4c)3T19&b98c(y$K)#F)=xpp=AOnf9+aJbK5o$zWZ0OH*z{cuz16%d&o>OZKjvj zp7!AQK*zMBjw~gT>^T3v3y`u&3V^7GlXTk2AsQ1{V0XXW{T9HdBgiQJgG?EsfM;4+ zqAXVMfK^>|AT0YJE%%}{qn8$|HfTAVAH zU*bre&pZ@nld7CHG9G~hJMXyq?5lLSoXsPkY5B7q+hND*e<%F+>k)b}FQ->q z`o-6Zc~Bt`Si$pGGq-<4saIoKtM-^cqzS8e^!lttqNLyiOVlnb>QkT1IT;|#Hf+u_ zG1WFD>nu50VR8Q!8uy&MMFX1f4-SW8<0!t`EE>kERm9OVraua|G1kLoFPrQZInO#f`5Q~Sw0*G zFoVnre=DEuIAyhrca-xW@_=%cvp8Z;G0`|~hLi|l=qpi#qT=8%^8KfK+&U)DxzDVQ z!umL>qA~wNH0GPq(=plTQE3DYx4c&R^?jj)OW1W~L)!^7e8s5d$Ah~?V#UuTL~ z?HZhG1S4URXBQoiYVP{P@rWCK@_)$P$FzID#S|# zLF8qvLC@f7Ogot0oKs}i)$Q$K#Z!bDliaFCLqIvluAaQ^AavV z(TyFKArh;` z2-6Ou-2lIcLz3G%L#8r|M4-t5kmN>s%%xf=m9nTegi66eq+qc&y=x(jyOS=>13?1z zWT4qcOn?x|fIxAmP+O!xu_3Rt#yo2bsEsjTHzn&`QlQ$H0=dMBW|P$rC^A;eYy$u% zG+~DCf9n~I<-hHj{?SHTB4}i;&=JYLwX^pscV79HuQw{shA6LWTKioRoB<-SX>bY7 ztP0;_{IXd53cuEt@w=l|-@>Qt>rxmFSY`yI;}^>yvqRz+Bi%CHEf`(T81@YD%f7a= zL%N}}4O0Fg%0Wsyy`G&80iYc#Kr(`{M-i5VeUQI-+dtcrau^!IB*cUUuA%CSON zsY8y7oLnCCFhRMVAL_$|eq>xET#4Nse-k#%4w=7S8Q@ESLB{uaoYBeyJ3BNcV=eQZ z4^O-G73s-Fy0}&sE`sM8j8N%V6%qj>pS(4`Ud{`~^1CYKu>pKuB3x+iOtSOP;Zazd z&yTNb2C9d&s`GlJHqQQLyUoM)d503UCRR$jxIzPe^NHZ zO$Z~`o*SXX5+HGO)gT&^AVC{)GXNw^gD0*XkX*YR?1&P?Kk)AgCHgCXL>vIFU662X z3HKmDMWtwi#HEoKA;Rq7j%EHQM0*n==C8%Azd1BA*&Q+@t?qI$9&V4qn8cC{Ltoi- z8$FCzwsl}_9l-IxT3ZJW9l`v-e<;-Jg?@n1+fWh6V6EB-pzCgF0rbD%mK~@r!`=cr z&_31m&m=G6F$y>hgi6LJ7CNQHfEWd%iCndydp;BG6benOkwfl)JNJ=^x22Ih0a*LR zvt9%57FVzyR{>*$vza_V*z}CSl9#|CJ)L{TL7>WmfpI;7+yN?z<<^{{XH>d?}Ok5hnvTHZqr?WdbOF?OIE38#fTX`&Y2H z6$&w&;bTY_In+RmCMa68HkyO$gPh2T09mpv*-id^htf*fmADVdD?2C(U)EZ3IGp+B z1L3@Mpar=gT>$an=IG*5iI4p5olsH-FaBAKyb*?sB(nTG7H3C)9NiUV zct8OZWH7Eyh7#6)2WgGXWt^NJy*hO$c%nlm&aVZbAj?C%5$7MpMfT^zq^B{Pk8Xy& zzVb0dv&U9VLF)j>_i_xYK2P~e=Du?vA!_&q7O>D3=?AFE2Xlt zUf)tS@AV;@-uL=Q*)SiBrNI~nzfQ_oyn1BST{eg!d^Q??T#flbt!0&Uasb&6Nm235 zLA0t7%L6<9$kDx>RB09G1hiXbR^(JP6HQ3*zRAC?;${=|N8RP9X-I{Pv01oCTZ zlW;N+Pvtj%nn6NAXbu6lTtp@2qoiQjxZg%?Yf_X7N*eN8Qp+Yst)%DiyPGTFHkLuo z?BKSA$w?PCsjPIoZRc5L$b;|Vr2khBfFg{Bm)o1r26+|7lY-RV*0Kl6V6m(~$;xY4 z%pydvRA3o6Pjh@hhAYS@?Y<9;eAbplNz{6C_xG273F)3^*ywl1q_~*yC8=H10V}op zIK3H+CMi~7U2O`EB|aMzNdO_RfM-80sJc z$e7{(>oEfcg)<-xth~?}T&Nl@I&eg8WC%|WB53q`iPTh5SGl9&jk;+m~*y##CMLTC4WA}{F9*JV zgl(YeXJ{Jw{nm4+biLN14 z!(gOF5{4^u!rEqFEQ2|jD|eMjrPE4QEYu-K*XX*U=Bo%xFAb&wy|mJ1pwB;l4<|b< zgI;={jQ*{4pt#U*JR3fBA^jZnR!g37%{+sgfLlcgo;l6Cg|jr%@I2xbTQH4p!!*<# z(OeHI+}Ol4o_7SzT*J>w@542^Q?7BXxW;wMHLeBMC@vrByWp+4MhBF}gr{jpSrtpL8l`KQ?}a5g$VqJVrH|5ooZSb8vXRQv zpS-cU_ogl$R>BmU0K-A!!L*16(?L8OsG0j5x#vcRC?^%UtswbrI!`C*Zt?X^cNdjc z4R@4FLpH#bGnpWetaP3lZV!UNI;<`wxoDI;FPKc{)i7z^d%T5QbO4W&PHfn|BMHX0 z@S>7R;Z}qFWI7#JG}+mIun72lHrcPzO?FN6QcZT`8Ge_v>3ePlU8S4spy3&GPuiCw z7onV%URBCslvtMz*EIz->8}2S?EU!4R(|e!zNs*G2?yBJqoOmJ% zjHkEr_1P?ENFmgIvcXCQ5*SZ!YrAf_7YttAd*`z$sAtba8>m@-JL#=$sw}MG!18{d z&tLC0Kf{eO$j~mI;ckCI8$khVARxsK%Y*H7^y%R~|AbZ_C!@v~o1Kh4^=I>8?y1@E zW-#d?W%JR8+486B_#te3c>l}WU*AMIB7Xb_>^rX1qwe3j4AD;i0zY8jXbNR+WOHP=}a+K~C=flY&;z!pX^wpM}NM)s-1&U7A!bglKnD=u)nE-a0ogjf#yH!W zf*b&^#{<;m6agRXK(>F875^eI0{$}{02?#g-|7An{YN6O?VrIw6BCGy9njVtY-Re?N#oYe&dyJkSLQwgwu%68@|m2#^+21pr@L{7-|9CJtab zCr4&Su=O8JviyTJiNX$!V@2FXeOhxBSf`Nw7sasqI%^73%9vI9W&0FaxBe+A1QM`*a)f&O%| z{b7FX!rRjhVh1pLZ3N^EHUqtWp?Eq1T|fXQ2WODC=f55Qi%{6u0H$CQCx9`?9Bhm7 zPxenon5WpX~{;2nLQ2(vj|5N%OS^nR}{(no7cDA&7|#`4<1cpx2%H-x8#3O(3R!EFU`;Hvs710CY!rees1J^TWSh&`%~Hg7G_(B z(`yLewOwz3e;LF9<&U?_&Go9LKTLliZUBq;--w45z#{z*;sCJ7{eyS`EXw~NJ^;&y zzY*^%Q~e*r31HFq2fd!4^$+3!uxS5{_+An4AH)V=F?Il&Sb<(|Z8N8T>>PjF|I*vv zj@Keg{zh!CJH!I|7i0&pnEeaBW-dltw)>0S$a{c-r0`?VIkf5F#U?EeK{YjOA&d_CClU+{H+|MdJS3l=9= z$iLjLGj#qJd@a-EU+}dO*MA`UYqZ;+@P9OA;_Tq?D!M;!f>*))7yo&?gFtQ|6O`oz zh>1Xuf92Pp_S;%9Vppc!2|@VN)LR{PrisE&NKOM%GlpC7>RFj93gyzv{cO^oEW4D& z?QgT!7k_*Hs3WU)=e%YjlRhvfGmc$&xrUxg@Vt3Pv4GJGm8YF7PRd{6FaV`O5`o!` zEMjUtpiYh9Mf0_9DZ%wUZmBend~myRXLoIBf2Jb-J3g)BZ8fJB<6(_muFJPHIomcd zfjg1)X{plIN%I3REP&& ze+8VeYIFQLJ#{j+6s-K&=)Og;^hdw_efM<6W}K^><;nd|HJ$@)nH~IG2Klc?@uM*Fv-R~=evGUrlO7F z-@gxi=z8#xJb*4wiBoljr9|H?r8~Epf23Wn@eTN26r~I?6G!$0hVu5lmBlt>nF!M2 z%Bv-)}+ncch9jrka4f?IR^F%aiezH&}5 z(lMfbr0@5IAjL=1AkPo;EZ65_h~YK?E)fDHredk77Fbe-F;6zw{xOvv^iVbLf2qw1 z(gTU2m?a%xaIGRS53O&kYwKg6`4fhrq;-%~zA3h?Xm@cPQnRJYd%;fh4Ea#R(UrBn z=OdRzVw^t6O*06}A{v>JPWAYzS|Q~tQnagep2s+jVJMQs;d$F6IBN0zjGPPq2`i2H zQj}rHgo9W<_1)s&uiiuQ&7F;nfAtI5)Nhzcu3_ik$G+~)UxqknlZ>|-z>2nr0DOzG z7>?CVzug*6`saG|)7e&9GtQbD-t=q_!c{wWrNpDG#7k%A+GLL)%&`!Q7+wA0A7(yx zNpE+wuXa_<)hT2wWljexXwOzL&whD*u&{elH0K`oHd$MRd`{iU!40vMe`H74D+4uy zImN;#c|vsKE-iQKNOV6uh8!v15aDhM$!DRdRHHJnpPQF)2JRECIW7n6J$gh3 z|3suYy_wGUQR1wbe~WXG;+<9*+}BXlD3KR}u6BPXt5@IEs$^;T%~&z~#^2!qIdDTH zlq?xjlR9*OkhOuoF08bn^q8OLH6 zriDd&0%WO&U!0v1$8-D5Dq50vjO!Xp%w51m4T%t%MY`ee&`g0Z%r`qZ!z;C-l zpUM)+dQQ>a3WzAJ6BSr9yNn+Igg4BLBv*{d`If-5VV_-^_qd4e?T5R-6 zJh!g(xnX6*`_gzbs}qb}t6-z*u$thE^tx}8QzLC6e@0%j33Dv|{F~)o5R2!^MTFFP zTM0KPwq$78Izv`#}pB3RX^kMtvB>8n=0!L23 z?AVHd;R!0!7}CK=({1`9j+!z?h2Oc|acCJmx65}{o#k^!7r4ps+1`(Bwl3s3GDV?r zV?`*Be+pvd9~i2P3Q3sw9*0k{Q8B^Z*iSbqjOpe1)$l z&IC={??}GoP@z=DsCN)s6if?O+Acb1gmvU{i`+!qiv$&}EEhA@ zfB5E>1OQ+xLuQaB|C?SoPQx$PQWD3ZFWqqhT5r9E3hzwITP?-slNZ`d74*7<%+L#q zXmp)R*0rav8I8CV5mB%TRQPGiYc1iRmAY{Zo@zwQaXdC>EtAnoa%S4@ieO(WQNrBJ z={sRjRvp@=GbI!z^>WhGwABI1IlDWhe++u5!udCCL_LTYV3EtdxB5_JH*S4FE2=!F zZ0^M2m!l^*-SQ9u=*K1AFujm_gCks5J00afJ-VrJ{`7owi9=S z?EEn7I@o_((@s+73{Tvn7LG_iy9&aJK|6^u#Lv# z87RE3l5QI47gFAlleVA?Cu4Crfe}vQXRt9#B8Jaz^oJVme;qFeO(32@vSD0|8_IFf! z+s=QbQYT3Yh?I)cJiAsHM>AZ3;7*57%ouLP#+g zDo+Wy%FJ2|^T+42C*%DVU=@;pc`0>$A1OY;_(uM~#99?CuX0T@s65G}f7MZ@$ z9iAVC4lE{%daj1pX%|LinDb78>8(tfJ@ifkp7_HF{3KBPn1$jyU5pIcwlVfbBs0zn zs&F$YO#mO$Q|#76#M27T;zV}gR-$j1VGgShjp#Y()853o?V@RR(7M9s@STX?UzC(n z1rMHynGHj`R6sTAtubBme@YxzEoXy`kXpWtk1K5K5+4`{1v>WkyDQ=j#a5QglF|%C z@r{GLHHM9ma2IGwo+ckdl|zM(8C5S2YOhdS4M(TPhd8Xa%GBu$aD}IF@<_`o8bsP= ztQgT)Mh`v!c#fVKLsPG# zRT=)2c=BB$ceTA)!tf2D`1H)c^TpCVTJa?S^7L98jcgWe&rvzIll{fJO*Qm%3Io)#Vo2A-H_9`hyNJ6Mg{R!SThr7H>;D$Ia$m|oLa1)$>xG}o*!qpmWpXHO7X zz4Kll`7DI<&A#`ZeS5%H3wgtA9KJWrth#4ktKsZif2PcwKzvL%7C_b$_wQ&k%Y2nM z`AmLE1*iIqv!SB07tAXmG0N{5&5i5$`;_4##27CNV{yb)-G<3wOHQ3~GFzkbg}W%q zKhC0Ijs2#7h@8owL~{Ouh;+Pnh@V2zWS2VO9NMldZpB>P&HLQ&Sx9+AvTQ1Ug3mky zf~c9ae^_N6Yy%wdhxA|}R1=fnqCQL55=HOq*O+628u~}bE3KYptV4TcotjFR_d4rj zoH{V%8G^rZQ%PL)C(VRxmnXx_Uh+#w#9nr|%e^H88bL~jRdiTb$6FvuIvDjSOY$e=H zA$OPYUG@iaT7KTvk56*941uy=%+)860_MF3eys;D4ZBsn(M^chfrH0ms5;Vfk?MD! znpl>kqqgoq!#%$F5m!hS{z*b^jbX16>ZSSI$FzgRbEb2BT@yXbKs)4!O?6TwlU5>k zfBzO6ngVfOb)2izcHnpa>|%ZSw4zO|QNerQ-cqq8@<>Lg{(i}B#*=s9V`KdR2FyPA z#4XVA9=b&nLBLp}>T3j=^6g$6*K%@9=q1BwnP-Bqk{6U8;%^h8E9vv|G6wM~ul=4B zn0PD_^+syn6;ra`_mJ*GRIXz(dW!fwf5%0amP(rwWiZz}dlVZ;{P*?AEK8T<`l!2r z^%n{+gnq>n1oA-CT-e;?{Y@V1ijV9t{V;oBjeTkw@iB*5Cz=#7F#^;#BK8pk#8lU`w3=Vdi2P!4uNX!#HR^iIErt16B_l34#n zA{TF*%m=y%mTS9!_DL(8=|YF<@UyTEEWwD}{^0T9Jqjzu%09>OZN2+Yl6g|O0u0>7 z@1h|!?x3Tv$NEBn_?D`21SizmcxJpY>}de=*GZ6C{2_-dQ4&{nAEw-!e@plP@%`sr z11V<3@)F=lK1#(F0AuBG{l}@$7a_m1_`#)lAVWWnL#KhKGeXgOJ{-Np%d)O9LDb6t zZoTDsULHVYgc1gPFk<30yAX!{`F6!OJhQ+xKOX&~^`K+GC{fLkU2BRfulm5blbD(z zdg1Rfb`)Jz`+)nBI{E5`f0fB{(RyBJajJ}9qc37!!-8rC$?st~O1qZMXDC{?r9bO| zFxs1kaTlA)^`13Wqtq=?#*pdU3C*@mH(zwg_&esZtZwj_Ciam(l)DzB1nle79(kId zxa1`lKShc6pH>u*8!pE>IUsabrWiw8*r>Zyw2WV^@6TnAIk{bOf8Vic^mI)N#d#a1 z&X}sHu|v z5kspDn1ABgbJJdtuF?OVRQI5XtzT1&Q7tFr?g{@VjfRei|3_SxOyqsQs-SisOv%7Y z9S|q1;n(37qenj$e=j94y%ApN?!&aYNZ>Ah$wi&9`9S-Ud0$jm*FoQ7ut?%4v}$Y( z3R@yg@nwAevLqrtL17l0{H#^EZgq;VTmAzg7m8;-6p%6%Z$_Lw`h((ax-d77on}lA zJEeete%Mc;?Pkn4q$!vN?PeC^V!!tHt%A7T6@D9TGs`#H+U2Z<@cAn6& zVl5?nmBZVx-d_2_0ln21nIlfIjoa#WFyDnu+!$s&LiAB};tSN|nr<|Ye#=AJ+tI3E zW$A~!imvozmEj{#=g`jJHc#_73|F))<`G0`0(){yqwNUFmf`vhow*Mxz>|=is(cv zWzOoz#&TwIQ9@OXpIrA0IlmCVQSJ52#!1qkGu^$pe^+*6)HBZ+5Vkk-Fpv7%&FFyw zdUi|$K7B3qy#k}6D(W;&(2W$i^Ej4ANIo_K11pbiZuUO@fPz}tbwg9GjR&QsX}``1 z4v@r%MUT=i?pTBIqpZcpq^WGBXuS_^y3wBEX19k;Z!;4lT<})wG)#4^FOdu8`(`*I zXod~e~APd0+ z+orn8&6uWK2V_2!ZdZmDtRac^CH8(=omRcBf3s9Bl*t{@PxLa!*Do=kyl7G#G$&4w zH)w>vG&p`cb1jo~&RyK_VdtJ%DCcTFZYP3zy83iuCKsCf8`ol{oZZlv?IR5pKh`=9 zlCce0X-_9YZ^vxd@z2mQSBxniRDP1;Pb+7tEtF zP-1+wRt$5xxJA+#5aFiQon0h@LTjeXcg6WWsD<-}+q|TEDFk&A{*O>MxPeF=f0r{8 zTxCNP3cH$;tHUL?#K&_5DN&Lx)!gvfS}0BBy(!2Iy)M~pS2*socfox3Snqryua;WW zY(vCmgkRjoKE(~T@rR<@Xp3gtP)w!5(8kW6y0k2fu+`F;`!rE1AoEyR+*7-DSQhhL zbvsB-pQ6V&S9CH0js($`+W(w;9BO#KdqDq)TX-VaHYC-sUZe6GI zVT`Rk9YLqJ(s;C?mkRlKOJW@Rm%(W!e&zQ3HQp~mdaShFiX%&V%Dfr9e{)rlw3Y`K z3W`KScC!PPlNxFv-Mq}+)G{OWZr~M&qn14#S&AivjxL>x?7KvRRa{*!!%__+dYj-V z6^npuHO^^#-gf_3noHQDl7`{Qm0yaOQ|_BtQ|qgiwxv0lQ0e#D=N8^E%2_rMYS&#x zj|>x+3A$8Du#G5&3FnDSf2VMV{*(g8g)%5qy_zn|jyQ(*R693^AKFK!BrkuHdGRq> z-Qiu+yMgf@ZhXq34aI?$YZ2!0nFxrhlM#u!vOK60#DE?5`DG-Dg^1ov0>cjIE=q3N zi)_yfRd%+%iK+BG886ZocMYo-3u%ImnfG^G;y0?FgQ(5r355AVf8?5Yy|g!rm)Qz6 zN1*(E7@P6gX5Ak;R{Ywzpu`d5B=a|8JLQ82050bd+bmPB9AP@IjLN=!@y|v3h-Kto z?cP?HO~hStX_EdXev`GLO>|^Qk83`O;*E@VwQZ8NwXX*~bpUr@hw6fh?3p3dCX?A} zj@mZm6LN?VWe}7Le;xgxymFr}-Rig*cqm;Y(-60w{{-4EK( z{e+$FON0FFe_wdBA;pX}L7LvxM^nP;Z0lr^8^mTfRje*W+dO(rIgeyNb;ly6uj4`* zK-gOw+!9?c?+X#`I-&~3e=t&(Q&RJfComq9@>Z^g*XRnFuw0y|!PtfIK@Vc3Bw)P5 z%AglmluWhjkFt;)c5fxk8Kz&{H~Ao5`xALfg)Kc?e;?lU*pC%?d>MPTrCeY@*6h?T zFPk(kQ+tl|ooI-L&KuM*ltP(2*Itqf=D^Iv?ezH0dnoNJ=c39-c(^tVbk}3WM7n01 zE>m`o?Jbz;FI&?seu0`DoCBtBx>&zuOuYBXmj38PyH^l}2V1=+pZa!8{ud3LsGMR# z$`mahe{zZH2eCE~Ozn;$y@Ce{L70@Ib`_M0EvlMz6S4XGcPo7u=wcRIu>fFg(5AWn zK6%OrmH)T)qys@M->je?BWl&Tly6rC1H&H`KEsITu-O&Ol`!IPKCp35(NKv9Ol`V= zi^${8zT4<W`1P@P~fjkRkqS~fwCu(>TDuELEo zD8$FElku7RYlsi(XZ-ZNy688_c88DPh+9T68g}=0RMZ&AvpngUAR@h8D)S#br7Up0~u1^(Yvb5Sg ze^x|nYqn-!TGc|i5g}x2gYkLTpJ9AYkOELLE(${7UM;t(U0a+a5y#yZvU`)k;n4s2 z66&Y6gQ80D=hOy#ymPJ}LP?p|GsbWA)j_t)4(OwuO1_stoM)OMp@HiXy$s>->w#Lq zDt0^^c$W5jYY#(9b@GzVTDoy6CroZ=e|wxCi~Yu7aIT;66Klr?ovb5NLs>lyPb${I z{()ioH(0iB%(jGn$V&1NItD0DjdC;}i_8SJa<4OH@@w_V< z!@t!UwtrVmM;WK52A=d5V@%7ef98DsOm9kCK33hi8AsE`p}C9+u4da{RQl}vLt6lB zCW5$YM)l_{8ggifjA>(W=K9g*8vh=}%aZP|(gYPVoM&R<4-I`mKdd(Ca=X7kI+)M` zzjtIu$vrE;WPGS_FJf*yP{QLlW}(1nGa> zFlqEnN(k}W34Nh+<-Xuk|4BUug%{VfJhNPLL6cI265-{YJY18j+lKdEiDFX^6+Iq~D z(K`7)9v0A7X8Co?ZpVt2i(Ty~0{zD4RA>260!~Z4t@I02r`*Haf8ng)O5tc>gIpYN zx)-Wli*$2&RqX5_3Y~E)>J6TwV(Sfongaj{FLHqDX4MC3oi9(QIm*JB!n8D=Ao(Q1 zyvW)8hXMQiNkJ(0a@yk)%OcTu{AwR=cwwzJo5FXv4+PSSA1QPBZ+rsf1CJC@1rieu)t)RCm=2F zfYGoW*9DV94*heQJClc>NzJcl>*Y{g?AjBC-Ba=bx%z`V`NynV)NnlP>P+n--rE;a znG$8co3-BNl@(8EO1Ka;dV|bg0~%C?bYE$Z_=d@R1asxg z@K4f?m@an7e`v$*(!vKGg}?N_ddjjiDkuq)kX8;wwO27D{Yqop9%S7Z{GDtWo7U1L z*o-+U>4VGNBYi95A)PyF`VhRf{SaN#2|ePNSTnV7E>&iixaB2w>6tD+ZXe}d5eLn# z?J{>AO*`;NYEB>^@ug3{QcJhG^WOJp#r|7&-2T#dX%D#tL~QHR_J(}8WX$qUUe9`qdRpmo};@V zOOg23xfNpj@(Cj0P)Z2ulnPHt!lZk`6CzEig;yemv_2vm0*{sVSi+|NOvbDPfyL zif$;-Vs^P__G=3gUm6@OK#Z)dHhd^f5zJzbe`75Vi}tWRdN)F~z5`xPQc)Npgk!}w zmsYa0?s*AI^mzrVgvC7X0VrQ`fdDN(0GSi-Qx-cb3|e5_C`Su#s^$QgrVm{-MSY(vNI&T_9B zf1kE7s6*E8o^l0k_2d`PW*!uo1LWV^4k4XS)@)4c{N?J6rFTg$9?8#OFS4r)b!K+@`W??+%qrh^`+A< zi>w8{QNbf0C%bW_V+hfsPF*<$5DnODe?shL8UYdmwWMU%(9az8FnAcS$`-WpQLYB~ zX8!7nze&G?+9UCrQi^ed6b_+ae?Pin`BbiihQ4H|*deZW$RT{$v_U~$JV$9PYa!%5 zfjIyxld^#eR*LrHcxkCXzjQRx}o-VVH~oDxpb?G0Bt~$zw{@k zM1LC3W<4xZp&5}FP`*1aUTQ9+W&R~TxL>USMR-2+ZmD*t99|38eDDRmM{xJ7Y3V!b zWib|^qX=Y7=}T#*Vq}2PnGtfsrQ|d!WUW0Tq816}tG0qHgB<=3F3InR=|hIjT*obr zgk@Cd*hNFV@hr?jbznAaPl!x)x^pEab$^24bG(jZhns%ON>gI7?tOyPY35#+EF!9^ z^9fklGNH<7qzO?^HMrh6T9U%%_`ICRqtwJVf7*coD#}?Vr#lg7BObD>m>`VAB9c@c zlAk+~-CI!CK?DQ6q7MCQXpF&vRp(pM!jFh_nwJJwGwC2*N(+zidhmPsJq~N;O@Ch% z_ukWd({nj>czT~9j|K+vR^~;PjkSXpMu=-wRhm(mnwo*g2TkU|Ca}qN>C@Xv-;k`^ z7{yfDEvq{w1E-rOdh&I3zak0_pXH%=nWcx=Lio2*8m(mBCezqjt}~FFdc2PQ&u1h@ z@53HX-jMtG2=&m~&k(<0iJOWbz<>B9X)pdJN^hh&>4CB{+C?AVar(RwYUNnlB_?*q z)ZpCH7Rb@(`SE=o+Y`Uwi2*R{O~p|5Vtd(H%?DMbwv3DMpNPia|{w%`c ziaA=&JVvOt$h3n6Iz+zVP640py(x!WiX>#Bi(3-E3^nzY#1UNH+{akLM_EL!iXh^nQ@T1>iwjijhwgt7(Y}_TZT*`R#Xc z5eiX>9&)c@kDgL)a&SQTnSZWqD^)mBROvGIy@{k=&zJ1TH;eodK544_!Ib!f|9L^b zYsTsauepKnwe?IWxtPYJZp8i&@N`vWt2T_dqN_4fFN7ZH%#==*s3P5{_vw7rnMEEX zmc5aTgGTFMQeqhur{jNIq{eFXqavZhE2#WicVmECdX<+gP{ui2ZhsiGZjgwNgKi-|!#^n;;y0hlLNDXk!Ji@vXu604@b!YHs-;U8Mx|?- z@MDfni-}7CG97V-plV-bmC`l~oVxKuP5Svwe#s%cfLvJz0Zp#P9vtdd^?7#nW7gSPMCV$F6o2M|XrxLN+op&IxzzyT zvfS4kc&evc#yIzBrH%GQIJVo8cNnTI;+`Wjx$mFK1Kv-x1Ebpu5_A>`ik3La1cNkq^a5Pe&Q5)Ni1J6+#wrX#M~u#=D# zn1+4E9;5>e6@QJ#g7)x-Rhr}T$rN-{{+6CBKD?C~J9MgPqm|*2Axo?ENX3qjDh!?VhjyuzzanAR;UDe46(20e1@>Q0nvN zW_?YN$C(HjLmM{YDv3b@us=sSAZ#*Dkc7-i!pHNFPqPYu*9_K`?3* z$%u{efZ!^Xs-WEwE%9=fE`)s4bYjHuGEGyBhQsw8DaRK zg6z=<+1dcBBWIYO8})L=*X->EQ6^?svk^ysouUvmgg!n2nxxw6sfluMatz;sau@53U&9>yRvHgsg zZ-1&hTYA+Z;|6<&WT3tyH^FU@og2Pa#V-DFXDZ=KN3NBIKD6X;0XyH*IWJV_@9f)1 zBhM7CTy@)AQA`aJlhQZ3r$aG=kpf?%-Z$S8T(L8YP+3(Fn1qVJM8r-mPf%#x(J<=K zie7HAa?R0S2ZFzSZD(8f!0StvX*564g?~M!0I%X@oGhRmUqVlEU)#};{XS_tDZR3_ zctcU57{Pk^nFLx)zAc`8+-QP}FW)bz@&Q_WD&APhalenQVSrB|@z*SWmP^9Mq2QBFgVl~XnLRaqphT$85zbAS&+2n;mLkU*ZN+TlZ>G=CcJq(Iv@YTl=xgj)LiaWJC!Bmp{N zAzoiX{!7&+(|Zp_`y?N$VU3HsDJPK@JOd)fJSTRo#l`Lk!S7SgAT#~5uA~c6VcB79xlpUBD-m0MX6>l0 z>AY`MWicQ@5%CK_{w8e#>|LTuC4u!qrW2Wq({K6ESimW~d4YxC?eCL~Jlb3WX2oYo zYl+#Jdd#7+^-E$vH15iEWMDjjxG0){eI436-D=zeMw36%rjSBYfoJ;1rGMU96@y6l zhEXH#zIMb-xqs=Y5r}p%&ZII^34zw-%0ijn?tK-^Sq*~++mlX{@}ql^y*ojGeyF;jB5 zy$F+M`5dC4W{vN_e*72nQhz3UePgn-q__B(Z+Sfz0w(gUZ%x{9>tQmX-)1b$1O6V#9WY_tjGB zdPy?tEcJ};9wO5<2Q<13|Gbk(t#tWlbYS~Lr+KoGyf0e<%Z;a(T7Og52JgBd&{-Tb z63Q#5h;g5+KNQu z7HWyjsG+1mtV_3iycGm%>S+brlcRPxckQiQ#)H$>57$iivG zUcXBIsCIL(0m9P`ihr~8Y_h>4S}l*Dr`QpD2sW^0V=?S7g_WUh5ILzS$kChGeXoO1 zkkjCV{<~kdU@FR{)166Mc|`dJ{N)#3V_6Ju(uaTN3wc6m+-7!(Zadt@qoYiEZ%S?BSd9*z7{VFT1`?`E z_IttNbAKq}F@K_3Yn+-D{LJQx$WoA* z!>z%&Z%4Gj;QVcFyg1`sr&x^1{&mcCBK^qgBfLfN3XuD4kukEGJ#XV1=ctrVsRxQc zG7qQ|S}cjKFx`)#nWFEz%T9&AI3ao1kbBB?tA-lU!!uPo zGg(-2X9~M4kTD&+vD(@%8FkA2Gl^FAI2C^H2E;Lz3 zcU-tkfb+96wLocbMqq1=9>$_)f8!5RHk4Kf%75mVJa2(v9L)}6!1n_&onPNvw^u-c zcCx-Ox8lrfZ$b-t7@zz2bPJy!dz(Ok<2~&ma9-`MP^Tomd>55jgAkMh#XzY{!LKC3 zoZBVaLK3`<8B3E<<=q!)v1e1r_}uFzr4YYxaRhjBqei9B3vQ9=m;@4{L`UD_7yeL{ z2!9v4DFn7#ZA%$9uKd>HCs&Q>&n^Ca_tG|=i>XGG?mu!9c{&*!d| z8nLRh@KkSZ7>)POm|GY!-|o_gi@Ei%EASYaR*m^bXPX416+X@u=1M&4x>Tuk!o-91 z#DbeMLR?5Obkqw2_Y63qj5EzH2A0U`i5I@MVnhP&gn}4cWDI?}l`^}HUC!!Dp?`ca zYq3tV`Oy>zJ)rRky0)TC_xKHO^fv7k&goV<+ED0(4|Z)WJ=qbwL&}%YT$_wkx`<9I zBAEm}6h!~zxaWf4JM$$?shZ0wW@a&gwN&!?P-{mK?-qFFM?aC-!; zf5Q|G7W{tzM$2JG3T19&b98cLVY6?y>v|G5I57$@Ol59obZ9alF)=VTHIso-76UOi zIg=5CD1WvERFrEMHcTVk4KgU*-Q6JFAu+%JL(IT1bazN2AuSATi4CG)SAbKc4RiwNLao6dxc7gBU>3KB!(BwVxI8^QIf2e@oKTpZ zB!3G#z!MC&2k3y@Krj!G4d8df01cos=+DkLF&O}Q_F%U^<+@N?xF-+>0z3+wz}6s$ z+oOj�CTdJSGR|s;B`pT|kgOjn)1%UWo^&(JG`E^3xDVj zCC_j1V+a1eE>IVM?PC)lf3Pj+@rCK@2J`>{;4pWPzwf^l|BWztcmOtFYdF9PWCw;| z{uBLC46^+bKOQ~|>;*98e&ikxfcy9J_m|lty=4%xPJlu{~bjO2>z=I?tffWAhu9|$e+bNPU$}dd;E3& z%zy0$3*f(FX+R%I3j#3z!||8g0^HV*KRo}>O#j2>|Bv9mqx|1E{=Wq&x;r`jp=SO= z|Nl_~oxx7te;GV-)*b%He|6~N7C`>j)DZON&Z>iK!0yift5tymANN28Vt?oK_ZY!$ zieN90jTRVgZT}}({*>$gUNR>z1f&IZ1OL8N031Br-2bC{+$?Ly$D70Lk&%C>K#z;_ z-zgO!)=-<@8^$Xj2mr!hKyOU$Mtq4xiRkClS|1s{_;{{wj*Q~fLR;|_B{{{H;Hc77a#`@i60pC11}-p5Sdf587bd24qV?D6jVV>cgZ@gMxhMGFFXfvhnX z=b_eOVGea+9oIE7RGu8W6B08FyM`Go9KMUNPWM|}^i-DW?2vWXrA+EbFaFB50`rCR z674VF!`24$$hH*i_J5y#cNR%HQ@ib$pFfcfP8J=?)DO^LP;=->@A>_5^)m=|L~cdw zQf0_@br;6fDj>S{>{s%tA1GTMimf@{c&K&tOG&l#% z6IQ}gFTB}{%NfGF$p>21BsNU{qd2}|Uy}{q_?tPO)e1dcw|{O5dI}SA8srPYu_;Dh z+5I$CvIXDL;&s?q`W$KJ_@?t~9;ba~pIr@|YuLeeb4G?qQDzEqE@WbrSF!7D%E`_p zbjfJ^Ij1YC>s~6~g<7rL*fo>E51LLw^#VFrBD+1edG$W~=*%Q_My!!K_9UtGw2(f5 zNE*bvdPdx+!hc=6p}RP;wU#@52djE?BP(9RDzj&* zKGRVi2ivSp#HT;3v!H`rd*g04&J^Z|sSJ&cArkvFZK-+kSZq|UNb7TG+%H91sZc57 zo~LGK=C|@SYGDmonAPnbVzFdZ@3#+lVqQlLeBCB4(|<2}kg2ZB7tSUq!cay}h`(t@ zirgG`Csq2iDJs847`dq$6@SkhQE+Zp*?T_z;rzs`kb_&Cv&>Fc77ts)={1o_u4baz z$;{h$0V;EmhCbqZ(UKQ!tf+q96fr}>9(?lC>^T|1D-Bs(3r&C|UO z)9SPb?tht#`VNi*55l86z!cacVievcBU%^m7L@G*BvQ$T+RrO4U!L*=>l)M``X>yD zzUy8q1D@M(+xIW{1_p{dqs{Sp9*^av-A0gv+X)N?Acv$4pCDk~gi=$9D23Pu#Rg0s zpU<+0^XX2J=QM9>26^?1P?*^Qb)6wAgi9Eo$!{ zR=l!vuj$)9CbimdSZ0HxMO;6mB)>iViIeB7RnFqYbi19v$Sde;>0&!?j~7jLHF<}R z9)AZ$`DJ%Tqh3DwvRwnc;vDzvX|0q&X6ZDU*L0Q<=$kc_3;5mW3+$dZcn9f1E4@oh)PGsKIO_}dBmw#EJC0vM*W(sf~fK%B*V?U^(dR1eK_7v`| zOr99~>wKBC8`>2KsQz>SKXB5&CGnvvGh>Q`N&S>!wWVFZ_Dh_*oMJ9e_@UG@*d>kH zj!gh@%nI0c!O7^X7tLDbm%jB`-PGpovn)YL$wO0^l(&$I`N&G_fK7WZL z7q}pCd41ZVlc#^x@|}orh`Xb$lqfNTDUD+z>wTRtQR)<2ocdzL6t5kT=KeA#akyT;Pzw2NljmegAd6HhaTV5yy=v`>Vd@3cO?wi4;j)z{8-Wt2qa(mnUkqII3*Cj0mf-9bEoZ@Tq>rw*}PIc z#*O?V>ZD$c5h%^`5y;bsriYj}B{aUB$xCEqY~??5`3&3gio4qs03kokPcXN~%W{-H z)3q3j-=&pvGB-yX^IvM>aDNq%Zkt*MJ*;6!*S6okL(gyai}6&Cfu&dzi>zyrFz@7w zI|{d>SBs^V2@NT8r4%;vr|T>!leY_esGJExo8Q%MBw1irr1l$UT?vg1Lnf+-0n+Ze zMB|c&YUpBrGNogzL?ue3-W{M1^qaeKWzs6~*?e*Ua}TdEmVZ`<#5B847+Nw& zQQ~O})BNyM;7&up>On-tQlN4yjO{${(n&Mo1O$;slr-z^Tu^{@a(&COZJkHf9B35#9 zB*8_6tdgOI`Ki$lkJQmUA%C6*5k#kQnd%oyRY8cfg2e<+($dUQdhppYZ#Qb4l73hS zlAJT8Q5=5aTd{Ox)x&OLu6l2l+lMD8p!1o-w1-)t@<>LNj(^Wh6cxlOQ}A`Aa10yO ziz z*XJ&HSCci!5X#UW4mF&5JE>R*7m?)qjO7H8!n?D1KD7fmO3)~g?y=ct=46#OK|1(F zL|&18CUoWlcpp3!fD5*@)89s#!Ojoaas2#LTvk;Y4}V8Yly5GPUo7|X?RFBJeLtuT zF4wf5RFxTelUd&(X!n&ZOcDZ<(nQwb6Kfk{(j{T5X1E52)jn-$xgI zXG7PigN67yD=;dvk@YMeEx2n(WG|mgw`xG%hRE@AA7!!?ea)@G*-%88IXsQu-(CQe zw5F^P1%K;Tu2d;z*K9@?WZEdE*qkJADyXN8$ifVJh|tjdO1|{m3y6R*s;QUz#9)`B zow=D#wXxacgSXK-MrSFVS+&o?iu3|!Q_%Yx5^RCvXoN|QgcNzT1_2A$qVn!RrK?>? zNj29~*q4$J{C&IeYAuG8S6+Y$o3CAI-Cp^#GJn6U4+k=3YbN zY%HS+3S`u8wXDKoBRC*MNs$NDaFk@T=Z(eDgHCpgBQv1V^h&(_G%EocqA6BQ1q^{i zoLYT7`&)`tCyy?Xb}9=N#G6@)F?tudtjxhf8ho}f<`(sMjJb{_t)B+3k~Ll4jt;@C z<$o;O=JL0=v*P>ff~tfCDvV{A2bd0$qj*#^u~@JvtBGFENQ^?H6kOutH-WAM1u-wH zZ@x0Ie6-+Sr1{|g!uV}9Tcgdqq`CE)!7IT*LT&|GFC9?P*1V(~tV~?l`BcE8CR#W$Nr+G5IMhVH#9nccR4i4Exex(Ar#-KUVg0#aVERFgG6Iqv*5F}B=t`p_F8p*jxBp+$O>>PmHw zb@Z<^UrGJy!x`QBV<)hy1dZtW?VdwyCL>K#JPCHff+5UdHjDA;&{-($Rey;^_|a=9 zFYdPZYI_+5QdBMV5Ka#s($h#U^+c5}bIi^km8SGI@_JuQ=J9W^r~4fGn>RvIzwU|DZSCxe{-ifDi+|sT#DC1aBU+Q7BfuwWPcQQEbRt|)~@XXIx3=* z{vFh#_*YCG8$tauZ3Z8Se)>{<1Vnf7W)f9F9i{Zk(T0_=NDt?=oq95ci<`doy!vTk zvkD0#p;^aY7sN!2hl5C12V$UFC8336)MAyi>)1|iZQCBMwxmmpn4h#1 z>nB;cAUfSGKY!l%6va+0tI zw`LJGYO?Mv%$^y;1B`$(ZYwb+EOm8WHW{Pf)^bjJYHX1GlB-Q}-1R0Z4_I?oety6#j610zR1fgL zTjx?Cdx~Wzwx7bSZcFL=Ir*m|9}PxIT&S+6GQ`DSzLxtK{r2#O_r(s-wkR~HG+TyG zO5rk|Q-23PPZk$(9d$Q29o2eL-%s;Df90;~pHIRjj+}c%KuZZqCzq zLJSJtVS^*3b_zmNWo^UrDRK^JblxGMgMD|DpEvN^V=;##=2O`X1ax2uf8dypU-%l{ zIZiBn&Fp`aMSd5(N2-^NriZ1To*kxDSsP+`;xZfc*3u`|_ns*$JIV_?`hAh(_jO&)B+?iZV_9s#{K<#EBaSuV!p(42A46u!u)>qU=3u+(J#)do|NH z&HZt1tk!lH(w_sI9c?{I<%Cy9hls)=aBxKQTuh`B%n3rr29Zm`^1(tb&E>pJsUg~G z<@G{!MK0Yq&7?NcUs!a^dLHbhmQ0<)U4NvWA9)p~bF-s(?nyy?>c3|-uRKxNa@UYm z#$!4{tUrw>8!#{|BZ;Lm5}XBP8nvHu1^T;PdynU29y2fdi||ArcXD^{xGiQx^`l+6 zqek!jAp26|HdLsD;~n*~h)nLgDndR>Fynf+vwAcG70P!0SQmQcOB9)|o=;=ng@0V+ zD)I}}N(hTpWm~x~E(tEObOLS)ogW0nLgOnjJhZl0h?J`Dws*D28Sv_C%@`6i;lY6k zt-IUgPPQE~j_6x&2_;A7^TIb9Y5kj|qbw$y>$V?I-=7;2Gkz&$L4AHRu@F>~89V=z z?JXJoNFwhZ*y7E5*&H7aloLy8Gk>{*Av0^X{h;8f*tW0+RMybZo5reLbt>-Gj)<$b z3oplq@6n)xw9Du5=gw^gnD5z(^-Md?(Fzymfng_11F-m|4~xwc5^VXL2XKqVX?CWd zcfDFHOXr_Ta$&491e^SZ;VujG`B>EYzBC-MO{G&Ive8uMfV|iUO4p_QH-80~KugUr zKiBPOn+(*qYnu~%2b9P&eQorcU%Afxrqy+Bn>j3FsWz&y--`+Eso(kyhITAIpv?x`QND3fz&r9xX>RG64`U084RrZovs7>7M4TXR4<8+i%0%Iv2rKy(RHU+R#&Ma%b2SD4wv3(o3Ae$yLD z%Kqk z31~KseLt>$?wVGna9%Ozvtt97)ys?R{W=eo)vLV`q-HGSx7vhjgn#Ebi1M|wU(bI! zUc03g*h@BLT81a(0ps3l)i4J*Flbdpv<#0(;$b!_89Jq^1y4yKy~&B(X*|7ocZsr^ z^q#RN#@_t`fwA+c3}OU5er!nGEW>TQi1kY?>}N{M&(^R9w#sgPT{K2)9-)qO_YkK} z<0JTlqfp1@rL#Rt*?$S5Y9U@~2`w|&QjU3(e6d8)7{{Zuly{}<6|-fG*Kwd%H$GiH zg6NjW(dVKYi&owvS6`R!DvB9`EF$6svPLu0nep|Jt3{4%lk(PV)1BwsW82VsZh2?< z>@y%3W6&`v+mTl$OLCWyI@G*wb)Q1VXG+4BAo?JU<=W0cW`8w>$t%)IR?9}bdb`+s zI-Y%o4zKU6$K0;-XDn5^q*_+-s#-4HI;7!VBnkB~5q~2Z(`6mL&085>HjPl5!)IF_ z2#SIj3Kz+yC!Bb1CuU4EG(zO5XtsO5(Atxe#1{I|5}v;JA}KKaic^63#pW%^j3gU+ zL?|17yZ4-QDSyctYEJwo*|~3~#l12I+n=g50y$Q`4PQW9S;!5y8tkCV%J6gF)eJk4S}bud8qk??}-k z0pD4{#P{zDfpb|u3PL%9bu-b}hRLKE@j7FYUiMF!b>~3?n(Yk$^;-&1Ypm{!G@td|iII1FYs_!%Q>^V1IR$%&JgfF?hGBZKbj-pYr=Lv*r@ zg=Y>oOCIWVwrdP%ltRy_EXboNxW`<#zfoGfyCB2zpo*XRLazLZ>@9_;{*PViy5UTe;7A4E({uz4x3bJ z>wn#Rn&JTb%2V-9v&gv%d92)B)#KjcTVH`M`L0s4Pt7VotSG>CyCsF`)bWE6inBp< zQgwHqkDS_3k=R3tTh@D~PhEX04d)HAPiP~aLJA};lx8wmsWq`ubRg)w%4Jv6%Po8h zSz@tq=BSWuCTJz>*4(y*`-n`_#H|TWHGj_q2V72Z*xXolX>Z#oA}fwv4!_g7wdNdn zwr^wllOlt5asP1F&V=riK=Mjq%2Q%1y0aKP6`H}$YaAH`zSHOYLeu6$k|%kTi=tbC z32@lWFZQmS)`;79zaCbYo!s6O>?FJj9$w~(K;ve4DE%#8p2(pQiu)qYLU1@0IqkW?!2*o#Pp9D%YYO3eqTo4I@qVwC#k>oSU|R1cTuyKJ;C zu+DRgJF$;jc1B-&p{N%dv8jq|)iGwD)N1z}To#7_QOxfNlsMr|{P-CkO1I3RAc`Y} zvQjFP*O*P5s&Y{%E(c3+3#Gjet*kj>D&w8vdcq;LsaULIL^D9vvVR?uU%~_ASMoY1 zP~%?9&9zo$Ay*~?C! zYP7`uR1Vl@e5I#LxgA!W$TI5YTbhdTljI%w)7ewo!Y4)2N3jcXFCX3#qw8lLBsS;S z^)GT@^&%+ruwHKM^yTK@KCjD92t21lkq}=+%Zx(^RUDQea)0;G4CJ7QV?(O`tg%zz zAYQy$bRkho7<#jJ5HF~rj@YmxtQxD8%Q5%t3_@TR>tM%T@Zv}?gKW~Wp~3%(_$)#*p-1KMJR=8JesbsPIx~-p@3PeZt9*j{OZ#}|yfJ=F zrksQz*01N(i>iUjU?FywmtUfHH#sl21% zg{bbim3a`NR)1YnNKH+IhawpUdkZ3@s??Mu3a1bqEq^s^KW4&Pq`7$A^psMea`yXY z9D^52`~>5MZ#?I@C!4U8>4y34Ug_?@0PGIUWx(18x|G^^!{ZlLues-S8U?Ff_A5@> zO1$%^Cw1^ChI}d&>eM4Roe?EzmbVZ18pke4Qo?UT@{G3o35Ad`E9uLK4Owq?8j_EA zm5kwfAAb;fI{3$~InMPvXL7I1HFd&ep0M`CGpQ(bF9>@z6~5G0x?!GY5YqoCt4|hQ zm>>1NM&j4=pYZzy57w{pi>gk>RmXSU=KEYn316Gkc?g?GeMnB0sxbt|mSIf!(~YFO z@4~U~Rp~YD#;1>F_~^##_fLc6Se+Y;ka7aq_J2~$7-K@|KYWeE?>hE6#v5~sc-uF? zk0iy<976vwZtsNZ$W?9CtGOmZSf14FlT1O;Lkte>HG!ZB4T(Q20Y!qirnX~6r*MLm z+o#gN;#;i^;m4#_Jx19%b=a71_eDIR{CiXfW|RA!r&FJIASF6FUYXodpz%*9w(a|% zAb-miDHN9C`@#VXYkwW{-OgvFQk%EEF77YJSLfF(3a{cMycqQj^<}A zvr_-jT*jfJ?jS6;FT02poe@g@rEALFb6Y2i&lZ_+ zDi-+DjzKOx>3sP|-X%|PPSg|aq<`S8ScJU3pbi_y9#Eknhj~5C^!gNDIr}0(vp<=3 zfy+)wOA7Cmy2Ry@2yPgOrgvY28q_0R>H1*2H@?Mys<-7lPM|8ja*p$9OSd|Uswo$1MEjcm_++TUmOsH+3Qpv!7OK!ezy{V+5@fWs0`;B1^bd`y2Dym&KSr{jDr^$#9=fa-h}hke z7H>MM@Qv*0x8+_Vf6VSZ`RB_jkzSf${&|rop!_xu>3^m3Np@HwB|8W^ z|Llw-Z?MmSo`oJ~H-t4gI&7q@!!;>eT&)$POg;U_lTeOVlWOjXkkvC{8LYKxyK9RKH^<6XbqYvsY>1-b3C>7$3O zGyLJ#u3@&>|J9tZP(L{_vmWehOf?f$#P9iNO?zE5>vfo)VXSDtAthL+h#+n5#1=I zUi>*QbFS}w%N{YQ`uCq3udNzs5z{477>}ImpIRWFZyW& zJHjzeAVRHEk8IrhvIC&kKCm%6QbJvYN}ydWI@~a4t$kI!+WO{ZNcqKi2nPb z#P`%NtbbrGo!8-G@KyO}HaFpPl$3IHQlhJfFTYyp-QEwrDkN^k^mU@4DrSG_kWJyB|z7~5k}t`oRE zW4K!pz2+k9D!)r%NyVRbq8>nTNj|+078!pwk$=r4VOr2R7h*bP-}KQ*35UAqoGgT& z|EHu0BTd8MwcJf}a|4$Ee+7{5Oa_8;huOlBn$`Hi()SnAP!lgWy5N?OX3XQr*3IFm zk#)_H0JeU4R^ea?IQiDcdCl}Pd7x7#Jf%fJ?rx&QBr_TO%3qN2-1ev+$=pzNJ9kAh zpnu{(;(=;VMW$FeSl=<@r!LYJT12(w2l|IkP56No?rR=T28S(NO-lSO`AR&@>n=+q zN!$tDKDr|rcWtZ)^5`=S%^0`j($?T#Bo}dx{oi_34D&e=8~rv7ZIhCWRM`ID{iaL z6rpAsdV36!h+D!85Zxm0c#SJ9K(mt6YMYLt8FrZXt;+LybTaOXl;6!QoCCvjo`2)@ zlGTWIj|r>$cAMdXnpc}tA~Jg{Ij3Z|;G~-fNH9VoXo_hG`4a;O&dJ<_k{tUiASPFh zAiH&EE~5d~ZItprFxyxjc>IRn&yYJNy}M3oVt8BFvXV$b`AS5B6PZe5+mEi(x`2_0 z+*g&vQVX8qBWFlRZ$G<6s~?)h>3`GLrnGw>Ub~rhgqj#0Do7*tag(xjL*;mnW&6G~u(ZKU(ACNp*YZY`7i$=is=7k*qVA(F zCrP;C=5FF-)2*)Y8dL8+Wq(X%R$VeBsVy}uDVgiTH)`|tx}7gr2+x@^PqpZ^IhVd_n~YQm@37qXZ|Ex%n^;Np3`>dKr$2|;vKs(vsF3e7DLhDkS^LvSh-(!uDIbh3?=zNu+&eRIh zmUa1%#zy?0P|;l$lyYJZfaQC%3#bC{S5;TGJ3<`Wnw|I z9YzLMHGZz=GB@qm5|^n=UX`(qigU4SDs&Q>-3B~vyaW`BO}=g!lf@2w(nZy!q<24? z!u-I<5eu}fqP;m@Z2y=&*qu2SM5*w73l(ly&~~-Fwtt3iIyljAQ;g$Ue9gidk=fQ4 zJ_nM@|6J6wv1jRlY)KelLED2oqyVSuCm8KZvv)Ed_$Ekm(i744q#$Ua+D#d6?3$&$ ze9a1$qOi7q3B4n83NHe33{)njE1tv0A5$Q03CJF&7%OBv6R5;ZZ1NN z5KfQ5aN*P11i}OcqtMpMjq^B6_J@kJpM8`aoE9PRSzy+svn5h_$J^(Z=*IVx>*2ZP zP)yELKbU~2KuE2IhNhW5V4~Vm<}^f-K;S%@D}PxadysiDt`=AupTT4ZR4vfEZ7ky` zq!qe7e+GCmc;9GlUXrwpFqF}Wv3#QwQod84Fje@?tfQlcS*AhoxXPStq}CsOc3Ek% zvVZhiH7bnEId(&5Z6kO7uF_b%(YR+TzOIJPEJuI2Ke3JtojE7?U^mBal?j$ZbzCu= zv413XX5+8$k@qOC*LPqgSlEhOj%qJRayuF@j#-Wui8;)Rr6M! z90Y>9v7z?5h8YT9W2S~;?U*fRb2SZw8h_V)hTkYW#a|Pg(I9(In8M3Do=;`SMvT}y zQ*b_6W=jr5m#n4FcIE20hfXF2+5Y@GF_zl(65iTXP9fWeX2I6{7MHJ6@8IoaV&ghAyKVL8riCai9S2nD8;)6z){TYA3*{#T4ZHXS0lJT6hVNv69IT*`( zAkq>MXLlJm9K2tmYePDBW0}bft8o#B>MRz%JWdbOFjd%rAn_JU0#i6(sZJ@XYx8h!03#CYa0D+JI3GVL2-3rCstw@U&C|;}r zMOxgoEwo=M_uluu|G(Dvt*n(iXV0EFGiUakWQCPU*ML{v7H$nzfy0oz0(?M8fTEUx zsQ?fF1Pbv1fr9v~tcDOI6#N&C&uR>ILqOm#$^T$~D7t|`NED_7LZXOTa2Vi$I}{)w z1P~CF6cCdH0s(?Rpu}H9xSJ$E3FHB>1!(aB9>8H>1U{=G+{N1sV()-N?eo_ofWw9p zARr+j#`DV^Any!zgV=yz04)&G0ql(0(FOzs7{F~HV5IlILU7!7Kq6fv`T0FPJ^4V+ z2tK%fo4pJt55N{`NJM7rDeNNP|?WAMdwr$%uv6Ifj$g9DIZbc%*IKf}&=IGK;lKxov`IJx)wTuv#W(U1rF3=JV z_%|Td16Bg{pq?7!O<2QF2Ix!lI_Lu78$V2PbT){yW3;E|Po;q#%@-&r2%RugEJM`h z(B7M`@R-0p_nwu1?T2EW5ayyuA21NTxivkxlRuFfeh=hrf6aoL(hOuq7L|WwzAKG^ zh;VUs^&t%O#SkHCg6S~+2`A)87}(g5FJB;m7#4&(KD$bk zuT`;WjM8T^IN3Jv_eC7bzMl;c?+)h@H`jAZP#fZ#**~mc3 zFFa^srJ|j^&FvV4(E|=kAH&hWX(Ajb=!<^LxLh8Tab$!KRwC#bw+xjNXtYN=%9`(8XrrPe0XDwm9>WgZ2 z)PDa_7j^13KR_)6XUxbU&+(KLdcU$~>?fYtlpE>bjgc8k?G8EZKaY%6?8IZF?*Wok6vvR*L0{WY^`xm+;1@6Bm;wzqp1v!Y2)^73 z$S&k|i;v_f9M&Dr9|gfh!+O@xScn7rZS#O)!o}cwQuQ(!XRJuoNyK6C!QUZ;$RQb- zmg(!B#R+?NVhz-ihl=pHC`}F(QU)T)XjZ9;*yvDjotgaYMTIS?qVu&totkUp6si2C z4a^?$>fh30GgR;u-|U{?zwb$Yzp&qbObI-bzlmS{a1QAAC;*Ad-QD?*z`Eb=VRUep;R)`W;7>b^Wz}YE)otN~yt5lQ~>2C{GxeG@_X; zUxtZS972~!nv*t{AfKvkaMx|=UU9FoFhGErWGM>f3Dje1)^0@C>sD`Ppo1I@Tf-lq z30}5o3|yu5W&gLOj)G1`m>C*F5L0EQ2)t(#=7jIi_&_bK9M&n%*W*Z8eIl4It|@1c z!T)?98xfgMe#MV2anj-3Rlk1Dw;3C0wY~nQVg#=mG{6`oOPx7?Q;z8JR;@Dpi zS%cnm{q59(u_Px6Y~e;dnV;)tBBwVKysiE!_QFTtZ3>0wTyjXF~~U#G!YN^Dw|-I8hoyG&hr@u9ikR8 z$rq?tn1YTG6W^{{hu4N3GCigrfAr{3T9C<_J$4IE6T7D#v}%SQdh1CG`)r(ARoCpi zy|(3ud_PT;<-?(>I#Jt1Zpc6@@q|mSd{XZ2tT9(84?nBAy<7AUADaFdp={!*IxG-7 z{n2H*)?K{Vp;Fd{I&X4q=Gh;zJW=jV%Ax6Jr2v{J&RO0WxtrCL*J0|LTvB!JEuqLr zZa5qxD<+(v0lQQF8p%!?`LPu##CJQAU z-!n&-+86;ytj<5L)t&F9{SWV+m2=SB9gkMc&Sw-)9qL=d1|9X-C%3;DUF!kuGJkDm z_@RLQnK-@k!+6hU4})21#2G2Ib0MdO$jClpxvkCSed$xCFIMCTlAaOW+J3d1OQ1$s z+)cY)UApAjWcMrk0CS9JR#xW(nsRc5x9U;oCzc6Ek``LVKSuSDe7fty)mK3P1o zJ3Q9jmXg(m+}Q#t!bIY(7sdT>oO@72UM<^#?@rS#3CbOmFjunyxVJ^l?{sAT%XPKo zdh)pSw`J=uSHpvjmaL_e8y~iE?x2`Z2*0mELM;S^F;{X-g||Q0M{^chAyqw}?LR2z zAPfWkbj%c)V;`d!C$L=%;^G$jYqUtey>;k$5oX$C&n>pv3O<4}d=Oxe z#XPhTmEA1gPoMIS_;co5lHGQ-?i3NQn>v{k9C4aD(f714InU0`h4xz*T&W{0ocf&? zRw6P!OjA9}{qVeSO1+E|Ag^oncOqAB8#*4#9Hxmft@^VC`!@p_4pgppXv{m@M93>( z{6n+OYeVAQFi}f=F*naO_6DMae5X??PdSJGR!WzlWyf4-L^||#^Hw&>+KWq#Npc_t zO!0fBUMJwF`+-N@+~7%euMPp5S(IMpI{R;9NSFj6+23b{Dmh_}jL+Eq5B~gQdv-L$ zdn}L^EW>q2A^bLyiN~D)pTISgSEcE_Qze-GQ^zV@^{)S zgE7KN^szM%2~LwbX+8NV&x^k+x^uv@h_;tLL?;KrC?@w@1jPvQ8xs)SzWSUe<@ZBE zywrP^eFQq{+hfY;>R-nP?#UQ*umih0>EEn6*#qsTb$zEKTF@Eind7aL#S=3kS>;JC zN&!wP^ecQEWcH7sbj)97j&RkVDB-OXEn|F-tKzLD*>l~)ux+U(MgTHW^rsixmL}0p z-vf5B9&a?YANR`Fm?6qHW)&=~D8Oa6`6(c1ywL}iXtD#)3zEXoB*!BjDPnSF9pJue zCHPCdwW3?60tz`22tmq;6f;mtTUyUOcLo|IrP0B&>V2xVBZFdp(+Wzqu;W$ z=|bThN>cdVv;XwM_Uk}}$rzr4w5S2<8t`GOh>BqcA6Me|_)ZpSgwHTC**vb3KLj)q zv9Pkh<+8=>?~*6XNp-%;i(|8$S`6Fp#fmK8|Az-I043|MB3a_#@TseJ#W;On{8A5= zgNJ@o)+}HCR=MpKZ7;V9t1h^>Vg87i*>#^+XEIlq)?BKDPzFXNKJ^+7>^?^!eXrW~ zNA<0l0timv;ns5;7;eg~Twj306U2JtVn|JTvZ(WF`u^7&wL04nJ6ia`W4P*4ST0u4 zV1lFbXfTLGSAN?*gX2<`=4wXPw}h`w{K4?~#&km*Q3YtC;Y}Uhn)}?XR~vhlX1qps zS7Csr{U&tDN;z!Q;l3cvE>PXx_cwKg12`|T532v!WAP^G`r-Os*MhNzHDVT}^uZ%s z8n1}z z(M40hWcD@fOsEeAt&y`!vRzE6kLZ4y1ptpuxi{tfh-!1zC&Co#erN&pdwltUuEhtJ z02Dm~^(%%tDU!boi=^n*WXcRuUB|0C=a*Z`Afg`vs@6%SvjI8u zidYyuX4IYivKepaE*5nyAkOUX92w*^wB41Qd!#UmJIki9PZ76c+vf=UfnD}L5FKmQrPJeSL1q$K~lD*`wasY7i3Fq z<&mJt6MI;=+)jyR%SHG0F~I4ExGYYD6&szM%r>GiZFU=M#2fy(E{zuLc{RRGZwr7{hBb}MS;K8iEa z$2wV$xccuu4~A#F_Q0AU-9KIMFxk=-RnM5TbY9hNy6O1vn63*nD&TeDM|H(wV&=2h zM-=^httrYQlRupLTdsLh$NDe4b-a9aX~@^hKaEM(R-5pFRa9QpVXtg@V36tM!#|K* zDr7>hRDWv$r)x%QE^WEuDCvWxq(xgXcb=%Y^{G@o(nK4Wn+Q+<|GrAN=<0j@d02Tn zm^vkM{#VyQ*uD0Cto=X9%SUSUdwXz$i91URW1A)tHfNdCVO$`*gEYMz*W zCffsNh;lUlXLWOf}) zb(;`1pq9jCR~-W{v!i7tU-6 zDM>#{m>7;6=9iLE6r-%n^b{RCOE~!HTvN5w3v)vsP|@injSZOeaLTQj&iOfEEqOAV zOv+=m!IH4_`=tM=yfV$K?%C~ct$sGGlwohCWQ{+uE&>4 z=Q_h+eGURYo!8__k1>YHd}-fD(R2md2M+Kvp?8CkDBE!cWKq4_)me+9*uT|qi5?sEM#g5r8gsQ{Xu zHw4xxf^wzY{>esq6`Go|MhlCQV}JGI99!Gl#1VR4xKzWQDdNQ95(979$i~Z8d(W{@ zI^}mYs0IQd77%GT^3HdReH`R{T0^#txS}PWAMH%LAL;W{c#NR5QyJ>bfL-mkbGvP^ zd3{Nd39Sdkbr>nhTKI8|MfO`{8ELX1{UlBo2EaM0A1qUuC^C*^z8F>?J6K7u$pEfc zrKU}doZzZdgq^GlVoB2q<@~68;QSE5>(UkhIcY|WDumPCiI^d`|A&#f+mX)d(`}`2 z@yBq0q;zwFS&ofTg>VQinU~{iHaR_TEqAZ1!d7Asm zh~&!YjWc13dMZUFP)DnB@4F8)5zhp-;-<&!2laFtRjf$D@zX5(kH7c70ZBB?jij7) z#iy97#b@|C*WUelqchD7Y4u6)uJ?m#rh6W=@WgK6G|P(CX)gNfC3J&_LkcJ?XQYCB zi7K_Ta=hab-lKQi6!nc}bI<~u#$a|k_@2i%*RSxDI;0~ykn-UO zOiSV$pf42boBP>cTsw$_vWkFZ4hmCKo2A%k@saVcd7#K~{qc+ieE9tf>;RQ{QbPti z8tkc({1{y(Fa92-v0@VAjw-kgZoia9MEaoYDdR>!Vv(ZrNpA7(y23K9+Ch@VIQm*3 zX$$O0&F=;vo=UgyTJQ6J-lM7q!B9qp!+Wf5oU_UlP4H~{ScArGpu`wy3bd+SB{f`m z`UT&aOY)Ng*yRZ)#OG8^Ch>BMdsaJusSw<&^yp6C+t}nlWK9iPyAw_-QkOIIF;{Rk zBfDq5eA`WwL_^FjKc*k-4CpoSi!|g{T7M4iK3C4T6!(^Si&)=;6lq+8hz=U_kG1Bk zR0NVWivimsIVvHJ$xlbbOx*nt$F-?u@04*9y`nbWn67cnq-oN z_|KW7sdGeGk{oE3*A8@=#Ke*6yCi^{y?>~IV>_AY2~q9RRT*-%TpYR=!`Tdim%aQ< z@gD`X@VTtisL#~r4Hx@Bf4u&)N*yp_J+ZRaw9evMwrIvCs3ijA-I-<11^&_>Eg*F8 zQ~->a6vuR{-=x4pcF(LRg`$l&^L0rJnXu6bd#&E^GdW?`-r;?-IG*g4bAJx{DI!ao?jgS8KXtqKsW-!P zY^{3j`0t1E)_g|ox_B`O!lj;Ly|$r!@@{I1^x=_pz<8ci?E^AcRb3449(w`N?!{?1 zN8V2RWy%XERJVLU;JQ1g<%zm%OZ*mR0CONWpKY5k+eT!GxK;Y>-#N>|zM~UJjgVcx zX=Wh)=U&B85q|Qd2aL|yHV!KMXDNTT!2^b!qBAeKNTxxYhFG8 ztiug-rqRJaFOj2BS}t(m>Khf*Pvjbvv~ZtCQg>n0r8d4?MXclb+t=kWiv{4hWums( zxO>+f(8(!5(8xi?TQiDj=|NHBerTzpfP~ZwbG7s>LROv-RDJn)kyfcL?t&3mqm^mX zFjw1v$i@tce=+G)*I18p3VEWsPq|0(uUr4StlBb;jlO}tu0I-piUv4Av|%{ z&5ZuxbZz2&wca+yD%PZG@(`fc>)KtIoI{(yAEJW3`U~^EaADC?z~PnK&(a?t+gceTT{$I8v%ndmJgVHX7>0S_^#)*nu9i2oP2ou z!I*#|3+H-<+g;2))QL07{?N5<>RP>+dgnHfei-}Ex5q;2Vf0_s;`2D7Aij){2PZ-F zgtM7}Y9BEk7#29no^rFeA*48fk~&HTJPgz0HQLA?!Q(?{_;pT|Joo`%mpwl`L@2+i zl?6JGLPSH+c|>VF+DPxQKyPj-#wzh~|2WEU0i3UEo>rqR@tbO-xPxCCzEfqD!X#f3 zC*Gx|hSIL#sYLcKjZlbv3-5bzvne$6y6-PU5~iTt^G;t#3+@%tyu9-1Ox!$8LJ3~+ ztnBcjx;k*?z%kLIiG6u^vNgafZ6|2cM+YGyFG`oE_0v}cbR7XHHZ!!4pDIMbrQi2S zgKs=G#AfaGHAV;~^v3QMqSChxiv|ji?T_yA*lFA!yCZSg@|oQmIXnW3+fVMPerJ>s z)8l(MQVjaY3Yd*%nAsUo+EWQ%$UD^pWi@msp>*|g*Qf9HMJQl?57T$1>v}(AD+SF( z*lpXqE_3cRgV!6a{7d`^HKK0lmf_VI{qCnQ*5&e_{e37I^dAFALklm()y7;1Sew+i zx5STo4mlQCc(7VgS{^rnUj$)hpDz#m<5BhXPPV!^6Fc#|u=m)fA62@NMp;-E@>BO@ zi`Q7HM`MSlY9$IZq69V9Ru+gRY#@NTf1xkTRiV4$Sc#gkOnma9!hQgzz4`iv9U=0%%-JAv_gk$D*DRY$E76lJ1*sbDfZBD8eE@C8*Q&GpiNe z&tva3*wY_V4B*DBeN}MG2i2|7_&xH%WTVKUq-6pY@q5x6p>Q#kNDd8Cb}e2dt(#Fw zd^%5i$G^y+f`9n#iao+RZM*z4A6O}3%v!c)wun#8%q?6&D7=ctsHt9$kDpXjF>yp3 zRHonO#0zhxO7gE%G?ghK2Gr!y14)+cECzMU4&XSxqR5&_5O?6HDoHQ%=*@f;-p%Xs zU(#T2X>Re3F2(U1?y(~jBKk$zVzKv2g@`RplAi!~2KiJk+U-!0W*O>9AGWaYK?T9V zyhgIa#Vevc8b7&zED)<^#<~_p=d8`?Os3J2>JG-aa zI6!5kx>hSOjE?j9kP|-K_tNrKk^+cvvDVClQg}`i0#kJPts4~knx65s%67?PbSF>s zexbxjpmsK?5^3N4u~Sk_Mr?WMJUpt8=QF!t{w5QmTRD9rZ7{;(U{fxT>%!JDRusur z-}$7Vk3(Elm&Q9LsLu6w`=6qT+nlBMWrcyQBm(>$7*WNu6!Vyu^C^_!t>?)Z`LTkf z*~F!gZ)~u28z?Auc6ON6Pg0J)HO({RTzx4JpL_*fYvKM%LDrJ#_ZQwbOi-^yaS~Fk z9iE$wjs4psjHZ0(Y=IL$LdW2h#dQme2#oi&* z52RIyA4mUu%+}@AN;~eg`wJxl(^$cvA6Yk^q??w78Wr!V6&+krn6j4f1+zcWc7Mn8 z!vUgj^=*uz5VR2wq+B6~r5@N)f}6Mh8SW0X0(jJimcOO`!hoXL=4g$WYxfP{r!YXl zkNvd2hT-8zKsn9cDAKcxyCyiW65AxawP;(V~!ef#6 zeV?GQ`}9lT=|Ss|^c-n1$P~}lJqu7iA_jRb_qaF=suRj|w$ojS|e8fq4cJTHWRAvMMX4^s~ zeG%xaGr^qg%?MA^r2>`ED_n1AoZ3midFz9A4WfGtjT(9b3gtD;KevAO)@fj#M=Ii! zfcM6G_F-QCqcGQ`hYmfJ3rva z9~7Jv0NtM?j#r>8ie@P<&6Pkar8oE^Vi6iLFXy%}5HbUs)eIhQQ4u6s;KWG9GmrEQ z{@WIbYj`(JSXu&OfJxgwXY z;~O+om$WUXlk=AfgKZ(@h86SSvBuO9v8ME@%*CoX=2p1>6eN|-{X zU*Y6;llh7{bC`60Bp14RhfVVH#MWUKy`7_l-WBchvJbJ^ug4qxq;y96WB)?*W&x$7 zr(#mG%2ov&!AS{@(;B*XjeWFAy7_OqZrZ4iu9h9C|g zIWC>E!uCRO;g7Ka<`2GVpm7quPFRWC32trHl!nEg!?9FzF$g@B;FdRUyH*^-rS04ToJ&Z zX(hvk4M@d&4K@M?<4mTs5~*PXhoQS{Qy0YLzM(#y)rBsi`cYGj!K?S0er z{C&D6pET%zxR|g8>i7r<{8?mOaRm~v9!jrKnYZKa%Ore@M5&0QhnOZEg(#dEWDQf% zqyIb7JN&0I!7feQyj@`z^>nEatW~s-A^lsBdTBb%*P;85g&xt!$%x_E}EkH2pAq)iW1< z6>ZPJh4IU`ei!4`FcW}79C~Db#4_}Kh%~v4hv;@zW)Pqth>({_IdmkOVxDgcVSFSR zdqyeIFmLKKD6U$bwXX>D4^G}HU0(wKyk5`A(2!n3>Y1J*PGOLnpka6T&NU9_m`R6= z^9w{rIL_W9tEKn{jf$pAwm##7kY3otcKAYBTBp^~e=TL7AFt7M-e{t?g=*-BuR=0; zAb?3&`~k-STBCZ>ze%E4bWct|jA6F11rv&Uc|7LD(WuokZQhhnkFBtd_N{_{JfZ0h)=~YK7!|IeN&|&Todqj(LhN+%@qQA(8o~VtfJ5|l-ahD#1 z*aBD6vJSu**qCdUpAPcQGFQ%B35cnuIJFv%h#X1D6fJ^m+F;j6-H@D95X2=Ck&m7r zA#|f%DS!&3dnW%#krnlY#~fRN>MF^@LYapv^a!FMaM8vttDTdA+Ggk*ViTPAjF)YY z6EM;`Y|3{gwMgX(H)l9LCnc+eF|GpH*u14Uq06~5%<6Lz@@2G{KWOWQ=;!mC4A(4VqSL0hz zVua>-U!2*AW2bZFSw^BEZe=2m--HkX;}^amCSZ)V5>DSN9rPSl`_kr42)!zjj#Isg zp&eOx36m%R?!>w8Ccf*BGkQJFOsR9kQ}Ly&I8&B5^IIK8cUqYjoc+!kYttPaTB@`< z+`mxU9`8Bgd7bH5EA7H8HFg1gMm+iuba_5K9S+f(m~tDMVp5?NuYIr)ly&}_1NzT` z4&}VacSc)+7wSGFav(KMg6H8py;~QAl z@`405pr4%Dh4XmED1r{@vy1kKA;tR6 zjHd~;I`!g?7W1-l1pbBwvVZdL!3&>Hu(=B9>W<9}q}vWpaWPSkEKJP3Itr$<96nk? zVVcbAqTv^u1^4$6e$yE`=aH$&>DdC9a@)2(L7?CXc)slwzhm^;Zr^3DowjRnSXA)3 zzg)gNzM~sX-yRcRYNB0|(!qx|&gGOi`tP`qR^P#;P=gA#=en+BoO;xE-)7cAgHGTr zKW~R8k%uK7?(o2mQSKyvBIkp&T2WqV!!H=_J8zjIdyWfC`eO_CEEH?|WzH`~)P z>}Jgp55Ke11Mtd7sRr5B0>HjT={aZiC%|=y9pp4%ueG5Hu&Yrl(Z04!1g?5iURx!$ ztQ4z;RofiA=Vb9%VRx)cK4Py{Y6ggrms*-DJ{hzbEuEFl+Qy7^_p#$wmzPP;LGMtr3PP7N^JXF5dK!1NiF30P z2hD`uy3K3}UwWT^NOFSlU`gEG=6Ea1Otjt9l(KWfhCfZWewLn$#^KpS+a3v;S){(= zh~R+BJ!SldS$R)h5KoxtV7Rs~=3q??{&K3^%M^uV)h32`ges%TvwHjzeLOn;g4jfU z{q_IC!PZE;Y~*a@sToO7>Oa{f_$0)*`FN!{d3nTmr6t(8IXF4F*~FxH`NX;S#J>rX z3;utv=>2cVnEV?jXR2s26eCDL4$2T``1Zb2%i2qhk;B2vN)x#ceUE@M1cL%85Q7&1 z6_vqMwe^8(eQ+3W>jO)HOS&NLgpWn!?=@eijO5`?c(52uu$w#*wandN7I8eb^LLg} zNc#S+!^>+LEef>#+||pZta$bP0LhBxUsU?_O1^_i%VTheapZ{cY~i3d1+3rH`d4Zw z&K!;Ffe(Hf8*#Bm?(lbywz%-)EgBu7RrbjcAknI5%CJ#d`@R6)3t# z3k=Ab*+`pPx@E~p(o$CXj8!>zY%1#_vVa1?zYI#)MHfHcK<-CK_81E%8(mBgL%cLO Y|Mw%O+ND5YB60DsA<@uCDM=&!54k=SD*ylh delta 43599 zcmV((K;Xa8unLH+3XmiMF)){4X96gHrC3XI<2Dk$&#zGBL~dCOL4dF9$w};trzV-H z$f?QhI0smSBv$xP2+|tuuitJoNRc+2nyoznXaEhMyYYPue1HGu+grg_EDa(Si`D&Z z#dsR9h_6zX1z`rFV)fa3+t%vjM~T;VfBI`4Mqc!tzZPNQeK`7SkgHDiW!uPqih4Jy zmJN>Y%dIBSuI;Gu>FwS78~=~{cd&A_Vl2qxIKq|VILKnYT1Q!s6~Nw*i)^cRlF7Y|QL+6y(u=I6I@+8#tR8|E|?O41WkC?u#Vy6p1&z>}~b8rhLL7 zs?%kUl{1|@0h^0}!z4WUnk8Ald9nhN28`vj4D;8FMX`6+_?&rt*Mdss6~h)SO=@_w z%7Z+K64VmHW?7I$jHciE8TX9QIrsWQsi`KlF858X8r)5PMZ&WmWnMdfP~%iq=teHQ zvOZSI49&cLRHUd+lZ&&_#n4AChCWGcT}#r$Q4_>TMsf0l)2y1x`pRykk+pFvR85=& z#tC4mTnI3e2^KouJ#Hit@uY!TW)E1QFoP-_Lz8Gft<1c}b~V&>TkeO>s$duyEC%0I z<)3x}%KLG}?^|=0w))3^%N+>sWc*D%MX9%g)_5dr9y|3^wu7$DekQytygB@GAK-kB zbL!zprfa)ilh;!=^ZMsC7ok@Vy?m_Drl7I&W9F%yqO#eVLOUYnvxi4b1Q`?cXdAjv zZFf|{v9%R-s1y_`O>K&)+^f-|vZQc;(zp=&ePd{>%2&6p`<6C;>f9j4g@`DkU?F)t z(lwuLaJDP7Vz{(l56%+c5kQUDlhvR!oH>Q7`4Gn81LI-?>#J{Q&=zktRvsx@snH+W zVSlif00p?RfF|Mwwj~w%+_c69=b8j27;)f1$zuQuGFtirY?elx{L3;2>6?9CBsJDY z&!S*DDjHmaZA1)zb^s4`i=!uW^h;dgecHB-?mIvaO*apZ2!XmqRRHfasBSx38?@RD z)s?;M!xp!47$IbYfWHRV3^@ek?d*=jVkAT}ThGP|&yN0Pt0c%%o}rXS+>p+i1tJ$C z48DvD5r`yT%?AC`wFJOw>Rcud!X#ZR61f*i=WC$<0w;WbbHRczhZ4v_B%?+`?+t?B zTK5W!!_(N}CIUL*=IbavLpct|(CDVQDwI8g;3TsU41E^l5~Or5OqUk5CEidoVb%^2e3x_>N{E53j-T6fGE2Hz~IUirjJ99 zabvi}U@%~RqofMQtA)k39gdal!yTc_!lH#8ZFRI%Hf?W*pUVC)>9;7v7h!^ZpS50} z4rQhOaKVsKgvSo(9^RIn?w7j(*C3$hBiCYIsV@tgO531~tTLZ@c8mQ%S`*Zg7{>`^ z2!bpe?`W8N_U?jZzK}qD0g3^FZyOqVIw)H!dm3?nFqanu4OG|i zFb)rEXW9t_MiUNzWLqiOsBWJvo5hj+B9Mj z@dT)^Xazi3=dLFwp&thi4bG@WM+DF zRm$gtgVVJ8SkToBqsbhJLuwOX7&j8FW4{-F&P7Qr3tJ zo@LI`);iS>U1LeKX-PO)0I#D-GJ8w6WQn$f1jo|xp+ylLiT2*vo)abVRWWitc&*%0 zP6yrXVBZ7F)SywS07%z#TbvvhF4>J+cKg?d-+m=tyWVW>e){F-n_uqj^uKwUeDpbg zq;wscBTqf{oja(L-1}9Xx{?yo#QFm&1{=}^Hh^@F4I~+PYJ3);Y~)3d8U6#&dq;*4 zrFoEnBnm=dsrcHNBJeE1H{vwvp5B~645pS4JB= zE@o#I%wbkD2>1(t`#_ByU>f91wu`(M0hlx}q%imoO+w`Ht*FeW0qCDUL|)#16pH&F zQDbhh7^?J$qPA)iv77)0ipR2%-I?kJiy{n__3Lj+c=3#jKfiPkR~tCQg2K0u+e|!) zI9FIVn51;T;nNd!`U$X?Iu$ehW-sw_FAot5o#-Bip>g<2HR1oDq3!-p1?U0?YlcA> zGS`np4#xi?w>?!YD_dGD&F2Jvh)vR%v(c9*YSf7;m)OEqY0KeArO9veDQ3|lut`dx zL97o1{-~S+8JP%M5J1LVEyk$C+9OmdwNzW1ydP^v`>UopXPi!P1uwRoy})$=7#6v4 zJ%(h29>6@yXFpF_cF7)yjX`oodZw!ht>+IO5EaU#aH_z^a2R<7QDakowX$$04KV2w z68c@!tL_*a+$j|fBe;Re^M5ed_vJ0|a-MpE>y4c2eBI4MW;ZnEH}A^6rp&7F8(MD2j3-189$$G|jn~75b3gF>OP>HlKpVp3t#4m*EzY*J$;DUV!1{F9aL- zi%2;;sE28p?y9B-gM?Z^^0l-jO z-+U1@d&@4eq3>j3AgWKe?Xo|9`%bI{7!4PkK&cqn(kQ*p; zUu^CjPEqim^5~>(vk(CW{+HPV%l=4U`GYj-pZr7+{yHf*;w*^qFDc1`FrI&by}7x6 z^IsCQqe%*7Ze(+lxd|czFf%ZhU}pj-f9+aJZ`(!?zWZ0OHwuL|JF{=6?jeAKHt3~| z(Hw8-esH#XS09GH*Yd&Br`_Q-;?b9(eFpMO&b<4Q`RxiCS`-(f41}s z%G$=8v!hpUg~}Xr8g+Jdm4OtDOU#Ti41~?jF0=Ez7+jpaqZhI9;`tDb&5w^ys%Hk; z&y>_MKYjQzA1KI+#bP|0E@~^y;iRLfi);wMoYK{355dvE8YT1lfztVCJ|2CX6pL4* z%gZ_0E<%=hZB$i8@53%gWmRo-e{$EyPIz)ch=6ZTlOb2N5 z<>m&7VD7HRu#Y1z7pn+b8EnNVG2=y#_;9$5SE(%6vD?u>FeXaB zR)JWdAxtNbVDfPV=i<7US6Lu(tG?v^7~!b{OV2!HXVw3cVl;g;AFmzlDAi#i@TaON z)g%u2kM%pY1BJf_Lq$V=f8d<^zf|J~vHBsF`jdp!&^H<&|2g=Lf3o?THY!hcu=LZ` z-{9jnt6M4B<`HP5bTm`fl#YY();oLCi_1^0Uu%5&!F#e_ww)t++oKknhv$ zyU}&g^?o&R5(viWy%Y;_%^cV101CxRX%usws;ZKPUa8#v<8C?-NDb|#_Wk`=`T_Fg z=;1g38Ib;OUDg4?v9j@j3lRh!aG`Sy_gW%k{+<|UsEZFFpHclm6K(zUa#$~vkM3#e zUgwn6#)}>LgFo8pf0E&cD1qvt+=|%n(P_esaH4Yh^nO5+jY?VBlzr?Z1(RgfaTfz% zG$l}H3Ix+eq!Oqs;{=l~2EZ7`K~aULHz<2)7AYoqLbVdfkP|35GUry}a`X^j3E!e@&~vnKZUzwH(my(FA|Uxq=;yCsmh|5kg5+P(J_VTwS`Vave<*=+LtS|(4(wY2iLTF70y!sz znQVr@Nv}%V18~9t$@#sTlb6NK-c)Ulh@eHFK1}RtnoLssyKi@;^Nn0@bRPRSzp2^x zz)z>ZSzwCWvcOqs*Z7Mu{>pN!E&2QHn^^Ch;>$`Hp~)_aG=HfLk}~PRUxfrH*KQc? z%vgK|fBqf>!rLS}{5 zfV3PZWOr5s)d^o@Tg1y#uV4?gDEJ;l#S86=JiJfBW+$6_PKl;n(F$;z~ex94Z^u!b@wKBD^l} z+}wXhy$um0)ux55F`}CoxhmxmMJxpp^oJQT4HAl>uzf%Ria{G9SAP5*F+%9~TbO}f z8^(w{07mxO-aQCJ zh~)ARNwfOH#W>j>jcLaKMc->#?Uf$!6}K+FTN5~5d^_X7p{u+&aFsXRHs2%YO{hpo znbtc2w40U&K>rJA*+J?etu1H?+LgNH)w+uWOC`{vBzX}C4Nz5-eOO9-mLLyuwXoGH z40BfXIRBDnCKuD?x<@L;O z28hj~tf2@)ZmnS^eARDfP8yaWk3@(B#YUr$rs6*}QohkSt|RmW{z5c>CG6H>3Xrvk?gr3T19&lTQ*O12r=@ zmtbcCD1Yr*-EZ4A5P#2Kp}ol%#PW_u9+{yJE6`vq1`Jz*^&!iH*D9@neA`Le|Gr0C zb|ssVoPoGh8$GDP8m8QAAgkPO2n&^gBM2*GnwbmWhdtuW5!lS zc*;&bWT*Kb_g5o>`D}7ojtb*Ve*9H_fP6OoayU9WdHdqX*xGcU`0TO*KpBk-8GmVG zs@BrpKXN`uWg5+#XE>CjT)V1okU$bLLcFnJRCLfPaKTW+VgLViBE~kBWm8=YAixsYzWbXhrNd zq&8iSMk_DlcXwAJY$Agl?GU!P%h}Y8)K)n$+j)^0s^mL;Rs1;u;0UAgY|{usD62S` z6qNC{lRQubi%kU@US7!(5@Cjg0*l0XTHtFkTuny9`T_*`qOFKhXw16xcV`LdUVmoT z7Pp|PDJf9UHfuh+O&hw+=Q1M zuHS@=mN1L&odu;abU_ACFeCqWV+IH_N1zCnQ5Xy^+zuBLBqKNR^7C{$`FNE=3mC7g zC{lwn&HvS?)Bbrf*X3|ailh?xEQvcu3Y_3h0&BmM^l^Ec z#2g4pg_c1|yb7bsT@dOZk+(r)D+-l;DFz`$E@ZVqPet#hA}EjY!vLDJY=6hLeUmS& zk^Dqi+{W^B2WR0vRjj)-)@G)G!`<8)GgHv8f8A3YgF$I$GqFHv-AVhg5drF=n58Tm z%U#PdxlVCBf8BBStp5!QEBPf3hNaBteEMy zn=~=m1!!b9@sA4NbNCj9(0}BAW_osJTKBKxd23SlZ_BPM1xMRXE?vUSO*|-&-X22! zb>}Mk`lhlbGTV4NaiBYUOQxbud*U$%rJY*fTy^1$th3t0;Ab+osaBzyFQ^+Z> zZbiax&QI<}hqq=e|Ulxi4A8RU$lLuc$f42*5C6m!i}rAF(tlocCwsL(YzZ|V73($Xu! zRH8RlT2J)Zr}Ap2Wq;5s?~~cTu@2N1DlewxQx`J-M8DOOXWVw4K`Fqk<^<0iRi}m1 zG}FjDmKA$2jqk%WJRH%Sk6XgHjcL4C1lzerp0#-l*O)=M#`WSFH!Rn<9$cfPeds;~ z@69zPpdt!SL`@4g5F%gyRRI?H$WexiZl%FFaTMxQh`@U3g zBsqe2NmTY}&id0GC~s&86g*ogVo(WT8&aNplN^?{NNmc5HX(0g2~nf*S?1ru5(CsE zw*8}zHd5UOfqyb7P2D?h?Cw2v<-<~#78hXHYd%nqe4qjHVNZv-`>#ElakgX>c>jpI zIk)RqgrW#W+~tbU=KUTNyn*BgvKFD$1)ZbG$NRhLevdg!Vur}(uO=Uh>8z}daHi$u z_-cfl&nEAui=WQpEuHxA?w2>ezK(LTcryWFNTrU5$_sz5fuf(j0Ze^7FSC6ap=uI1 zIWP(@Ol59obZ9alF)}eYG?Ord76UUjFqdIx0w;fs_XSX$>Cy!XV{eRWHwX4|g>R#PXcfYHjU62vUDbfiVTI&Nv zt*spBnCKa~0m9P4io#5c07ga@dPYWO7&0;?QwIy+-wqfu6`-BHskIgNzbL|XKs|>K z+gE=*hYzN-wG}|p(E`B40$^h2X5!#xWCSoXGIITwXl=(0_^Rh*Y6y^~2S{350qtSP zgsp8{?M#hL96k>E?<0WHfC|9G#l=DUXE;F65@=^?pl1b;)^jicT7H~ppl1P4v^FpW zI=KE%3QArR2L~H&1_ozmXL>zLdwOd-V?KW>T7a{ug9$(ZXb-e=0vZDTXc{1+X9@go zZ}c!^03{Ps`@cMj)GkOIis0ImKaOZ`Ql z1^j0^0492-ztjCE`j14WR(}TT85mew+UQxinpznHj7%+n09jEfdIuK=T7aIF;U9lQ zJqvs5k9a*NJyQ!k{SU&Qwd(;y1?2&HA1(f;L3;x`QyT|+dV5ogKbmCtBhAO0MXU^k ztt~BqRu1+sf7JKY)DCFyF?d&o|Gr;yD{E&f_rIZ$sg9^@<8H6#1OzzPIRZW1|Lyo+1jEDxFf=uA0O$jaO|4-5$^Kym8vTVoBw%Oi0?=Um zP#_b4@sH2nPg)-$Gqkp{aQ%n==UZk_6q1pZkfHf+&wqP`gsfcv?o6xzI%a=1MgS8d z2M2)T&qg?EkkUQAZ1lKM9ooVf_CP^ejy+T>nG)kgub| z$0|r$e=LO6|D~z||5{*aprL=MqvikgN;v3!tc0MIvBlrBG_@Bsbpaa6nK~Gl{H2+{ z?8<-an}w+rP|n)k^p7hBK*z+$_bHo%-Jr zM63*~4gXj^W;S+!o}HbZE6m56|3GXXLipHHL!ir_(grZlTUk4NgaCg&+Vun&S=+(< z@s`=y01SeEnEpcS00yDI5eFlHLG&NQ0$`B%2XO%yWdBB-A3nu@5G#N|=^ylwQ{^AT z0bo%58*zOgy?+oBfI;6*&%hk`aZejL{9|YN+y0lr{&sv6VemI%`q&x<;J+XCkxZ0R}+=BlwK5VA{f}8*bi+|w9sxbVE{ITf_*8imYDD30s z;9u^KT5SFWKWef47yPKj?qBfZVEcc;j{*ME^M?=^9GtEH<^GtV%x=V?PZ^odOCY{e;Nq%VIf5nbwK64f^AkP)(d$Xs8zcHgZftaD|(qazeO zG$z!KnSZ|nosDV)PuH11O*L-e4i=~;|-CPyn0 z<&X?)m1*y+DoTHs!ocHFIo(!p_@zInw8wUXMUk~_8STFlp&6PilS=%JxBU?&&bbn4 zb6|LI6}cC`E8JJo$#3t1G{^y2gl7=%E9>VnjR#`4ZVL9LSMcqZk?Je2}J~4@?!YF zBvACb&%uFfDs2<$ZPrp*xS=y=(VjE6n8YSrHfDeuw;C%Y=rBg(5=6LFgW&HRY#DGK zaYhrt8f)L99E1u}dOcjK`yS3?X}v-GjRRJ^UIDuNje_gzBQL5h3@A4}r`LqZ+Pos1 z6*JNHtww)Q=Q|87?sq8>9i)VzeV&2r{juVh`V0eJO7tuhw^g>*0RG{pAH430N`}A3 z9!M4K@d?jD7i7ImSxorwj(m8R7nr;@vZ?c;#jKUW^yhfaVXlU!=FF20y1!hCPh=+ zYUE2ry!rF@R4%h=M-g@S6It9J8hM9JRxXIxFkX>=(BBBq3>dKBN~Yi~^q+Sh5pC{l zY^;A@iKmPqB|3**n!faOwx8>u!cEXVDCw29g!^Hb6i2hHZu;z1vQod*!T+9VrZi%$ zyyr~Kbi-b?ag|Ou$w;_ybgW8p3qTqPGKp5#9NabXdQ8OHQN7)hH&!GTGZXvWUrKqg ziga=AA!}muDrL+*>S?gHY8{fYm4y~$^_71aa=#eZWXdWSO2QGO9(!Z9SBua2cpEOp zdFl0*CU)7>(%sC;XSUDutD&5ATam#)-60}vl_@LTFy~&MmJ!04fAJb`4xpXS7BL^0DWmEop1vU!yhgVIpx3MNP?hv(mT*vp@V-) zIT44E1SZ1sQWge9041+`q~=k8bI|kqR5Us^bEK-vs=xWPyMZvlZxO(An=-u{M=?ti;Cz6 z{J_I@N%G}K$+mHp#$Mp6TdAB2IrcLR5}6PhNOojJL?a^PKG=``)SH;Hb{?RU%m)3W z+#YlybB}|z{Y5eZPObu$j``BKnAQIPd(D2yZ~w(DD)9I-#qay694~3s%GrNdClSsm zx&8wsDWyWmFQ65!c;Xs$9nI2aW@GwNVfVgv&(QuG{K14tNXlfveb{8V&$_YUJUfh{ zy#ULM*SN>ERF9jaw&p*l3E|_wo@_*KK%Z4}3tB z5RuUM4T_Kz5@z%?2dxLJX3~FEyzs<3R%Ac)Le?lU%^)Q>+$$hMG3@H%H*Ore&y18A zQP@aO_WfixbWlr5uG$TZaQwCtn7=P;9&U=2diL74wlOpYo)a zhVOKPadmnUd7;3j^VPP_&NzM$Kz1sWc6c&KPO@g(Yy=NVCy5$3MMw&6b)%f$F7ac; zC`a2uaz`cxko$B^J2VF$(EM!Zv zTfR2kOTTR%r*Y(N|^KhAC-+>;rZcY&0<;AmP`OSDjvdK|dHH`PSRzYPuA7HX$MrJ! z8wD28w2{(G;Zqqk?Zj;?<`=>`PzM2=vCPk;trZA)_5>zHrcSVPq{)KbFo4SoRS%g4 zhF%D#J}A%k7EHoz-=9WZJ3?CM%3{<2d@@B7W6_*%H875tjoWzmV_BpyWzmXlxF)$% zd=;qVr&N%HWbl9D%#$}yGFpc=V)M<{RgIRO1iwkT?Ji@E7PAAt z{LldRxY_3ESOz5;FVaIhp!>R=&awor;`Y4Wx`TJP91<+W3Wc)R=0&jn;Ju%mN0}xS zGDpdsXHG1RDVOV9!lvq^28UfsB(cDb!@hu7>dbI8ZGnGbY=#NYi=jymQ07MHhG5mH zz7r8X4Sw&8W)^IUFtIoa;_XV zMM;$z1gLZ;s@7{IzcH%Y=8RbqTw&I9%VR$HMMV4#|K09`X>rjT@2A{94FF;^gMCoPg8;o~xEqF7 z5(ub#wN+D*c4WhwN|CpV}>L*b-GhuGmSwZ+V~QGt%ngUwT_=~yA;Ac zQ_rjdkz?3((Qm`3;T}Tl%{mFqKV8m3eQlwz@Si>kCXX2M#0{1=f*% zT84j7bC&scjOZA>FkD8mNTcmd!B7)QRg@aAr}VZ}cv{WXkSgLQ`bCJuDqq}v8->$Z zwnm!@BA(vC+J@+c(V2q)L4g2yCm@=PPMcH{yoF3Q7$`{&x=qhm3-!g|vL)mk^D_^M zN4gQYdx{Vmr$vxFG_a6|%Pw0}4k$@9XtsYB&Mz$&Y5l|vMrA4}4tuHax!op|R3{5h zm<~(qhb`z%J-X2I*{2CTp;HFp6{=`4xNUuujR<<3cq$F*L!r%66uwTp1j_{T zozlwR99G@JIO_~gjSjF_Y!xd~X`%5=p=J}5l-BdNOqYpjb2huU5r`>CVID?4|sb6@R=@2s>w|lj&J;f#Jqot&ypXn* zNojO_yJKiE`1!Mvrjr0UWy*gU#@j7pZenI3vJb2foM;q-U=}sFr1;aKDdCe=Cek=D zDu{N(9TC-13c_Ml8FRUay>)!BSlt==nB8Oc1p5XbsSfy99rMR%1<>=gDhdE5sPWJ% z2T8sb#vu@lbBOxZim%=Bv)ke|e97YC5@U>N45mbr%eu%x{)p{5ashw%=~7ImVR5%e zNV0s9KvEj2o<5yc)hsvEsrVL^7us<*B*U>Gg8{-6Wf>NQ?>RAwE&{Bn1nO*@jkep!PHwI#*V=^IBui(bVt7~q-J!LzyCF)P>B_!MQC784tm}{ZkguWTC05$(*l~SmH5lMSPe3M^5(EuC~MjjlX!c zvEl@j-<)UP`Fh~upi4P|dVKf}#3yu`@)HdwkzUuy@uja+WEO33Xs7qPv3Z1H+QJfR zH2Y;B?@gCphHVV))9vf)%J89DszE1A@)L6Dl)^s`9#DTki9a96kFph6^w8tZk8$;lY35ss(BQ8 zC2N>gEFDvRGs*CXInt(_-ZYfVVc-T|!54Tm9dCY=nblwyW8mpz2H#njV;)fvXFV}q z3|oIQ=;otzTv8wfW}(Cfm+W$+}ZfGPMD)k<=It) zU4*tF^M?QI4ICZZCpMQV>#-l*)_4lWpCgdSMMP^@5eTYu1)hYy)aCKS{VFekbbzgj zqemY>nF7$)OaK+)j#$KT64^3)kR%XpKKXwM9lY&niO@@x6zZMjz?5zQ5SL%pcYlAW z{^D~H*S|QYN7IXH*RJL62$@gLg{rY|Q`|Aa3wz_ouCX-7$pI(}mqz>)_&MQ@`3s`v z<#y>9x{?2y4~OQ-dcY}Q7^m{Yra9S}Q?c*TK~O;lKJU7i8Ae^+*6*pXR0!`(L zZM1E;`L0gL-8P$HeveK!egG|7;+&i8cc4~v;% zSs&EIQqigO*XZr~!EEM;gUb#3Bcp#(SI5+sSWlf~$}grneBo5t(6Mj>V%$n2T8i$0 zq7T(D^DdCp1jpz;QiS+hVJzR@D;=-jb+p?h$=05IcM%&_pPO=O1W7U? zy~={L3RyvquNcP^N@@na-_e}Xp$`D7ysAB5g?;a}dZ?lG=SN$#ZoSByBzk|T4WFbR zWv3MR{r4~muWI#;`&t)`dm=+S4trh#`4fggy9p^4Y7(qowTVH$ zz^9eGnHSBo)CUaqihd25;%k4BJcc%-)4ldy`xzA@@?w0A1p0=>_Hs1~=vGfemJsna zTC>aHTn7qnL#X}`&Ug9oYLJOF^(YR_U(Y|VhRXwGM4z)uJ5rP622b1_gWCgJ+>K)q zo#8U*htRBbgN&YR(tP&#z+B>&G9YsjNzLwNREPqSf5`*LAS(z@$Gd+5v1xVJztpYR zP9f&LW?&Bv@ODrlJ@zx<^WEcGZ2ZjBj0|hld!r<-)8)KTGl2&`co?^E@)X{x8*wj- zZGC`m9nX~0d;WeHRzl^$8!?g8#n2=1R^`qf;9i8t zaTM7tCqXpv8PJ3-^ES7Cr)Nc zM`_5qs7JXA89f{|Vx`9mJE5=EDjBL<+(75f^-QybQw-$M{5F3!7DhE4)39)wFMeC+ z;d#1ZvM6!0=e<{_D>gcQjbavwU5Fgatp`&}vyOhdd<0SB@3ihL4{8;I7`%nN=F7Qa z1M~7{yDukpi+`lLpS3NDkSm1@?UHR&lRC8Ef&Ky(XqDnDF>RQ9=a>Fmv|SdQy9OoD zlhCcbIwgNsYbJk_C-!qlGr_|cL$gqe7=-xxPuQmf(9jn*mF^qpA7C3``=?9LPY zm#o`^*qv~)sfynl(?3Dk$JiFqC2R&ptX?QcxslgVq4X^Yi@Mq&yW3_$PmhC(oe?L! zV7c)NlKLAK;tffzy)3}JMIAzUTl#V^Ht+jpQ|>+crksDBf9aH)CQ_ROJoM)z7*Jgn zYf=w%{Sf={_QH56paVu2J>{htQ`^ln!DG%i&tpVsNc}SrI?XPl%xSF|(MmADAgL$f z+7Momxu7oJsw1Jji7vG$no(JRR7lE{4*EiMc>0o!do+Kjwwr(HakkcJf zc27K+0!A4#_uJ{$;t*36m9bYN$v0>YbCV}B=QgtfuG>z#uT#I_qwTU~xEFf@zNXr& zV1s`uCaL^v2}*dEArN%@1|)kH-oI=#?g8|Z32y_*-<&|<-R?P2SQAA^79e(y{oGo# zotlE~&PD3xLei5N=V`H_%%tQ(zZDghji%&=UH+_XcRY%=vZcao_mm!u((#ZZ8vT_J z%Us<*MaM1EnzP1P{Y8V3vQuhkabJcrt$TmAJc82f@amfs&VbEKpV@?xLQp3sy(gL2 zP@RkEvbDX6Efrz18L^r=m6JGLg4QaUx`$4Yk}kDnV5FRhU#0@<6b5IjZw$o^_(@^? z;KcH|6w;*YX2#_Ds+m<$Rys)Plj^03XS7U)Ww^p!hwcl__)WYzsWf;4j86Pz0^NUa zh$CMTp3^)r7}9QKrzLw-ohQ$EtmQ!hJ{9^{sGi$;-rHFT62GMTpyEENu}O zTGU{hOC&}R^Q^E+RJHJSqbBoX_ivM*cM`wQ0okN8TFp|}CV7Pp(j^H1aiV{s?w6G5 z@#aEEP)P!{E*y^chBX8bITyGdJZVubo@;Nmt8yGJz3Ap-E{1UG9D?M-Hwe&a32x-# zHNa>JcmNE`|h;bm36nIrsaZjsysTVnfz$vBlFY(2BAn3Jg zVXltQaTwo`c>--jd^7et*YJPg?>+^id1uTMo$6V0!RV@&hYLur>%9*w(B5X zLhNwwSJ$|6uIcwHH9>tU`X-S1sxaJG4c4(WKRK)<95fA`80EK z;uW-_{4RvCed`9b`AxvvTu!Kvy2JN(;3BSsQtd8f@Im}e=Z#j*_Bnt0Oi%%BWq`70 z#mOX}BGWoy#0IVrYB>`GY`Z@WR+QVo1RR6+q2=!%Hz3q(+ChOG9OidOdr~@xOw>cH zGr3DSSXx1t7A|fH!NhBOj9~s1-}?k+hl{sE8&>1tKrE(W-sDtkaL4UDPg}9z2xoc9 zB?c=(ItU~m;<4|lB(Q&}G<+8?z|o#vTdzQ43Gz~T3@s?M>^pV%n#_0j1XYuiK;RNz zu6e~RzvR81rcdJ>73>tK^HPlT^}p*Jl;d4z^{GbLj5GqYUGr;?QnI=)va!Ic$J5%r zJ{AZ+JK<9r+#p(e3SqWL%s5#kl@ND1d1!lXfk`V)$_-mkppt**9Mqzoygew;-uOV~ z-}f-l=lNxJR3iAsxZ-{>)=AW7W3lYD5c{zdKUZf!)&bNmy9}V_SNTTjHnhL)d`c@e zcQYuT-3FzEt^P&Mt44esf#`wKPSTm@AQAhKthab}%Cu)T-s`8^JihIqkD?f8?|Qsk z#7SnMXv`++j_H4@O@gu+g(JlT^x1mk?Eq!!#L;@M^2xLc7a!drqd>L!dy7WxL4LN8 zTc6;Tx7nNFcseZtj2#Y%2D5I~6r?&$zozi{JS9SdQhOB4E12JDRle5B9I0ZXe8b8H zauT$rtq5!mEo*OcPF@c`8&=i^k;*+^M>7DqSCAq!mnh4 zi5zGl8rReH8NdMY_Pva+SKjuX+$nxdddi4Z;&Sb&=m(@J7k2$=+x^4cAp_$rSoP&6 z+(0@7h#y+7uAyFKEfe|@*ke4h*A_;m7@94>!$p5M(Jd-su$rI5$kMi29X7-+6#&UA zn9^D}xI*8C8H~}!AU7?Rro4_lMP&ErJ|SUu&RrSSmss6F6J4g%EunB^T3S?Xsxd4R zm0iSFK?%47%y{Id)6|4X4n)sAbgl@hE=9}1c1;wHlB1Z!76(4%C|sh>qeVRIOjgYhV%!tUSt=db;U>Lb&R=6uiXHZ*>)t<173JN}3nx0s#3yHLaJd^gDc9r+=T9My! zD=bRIH~!y2%Lp66l6|!0`N%I5BM*m%Mq- zOmXgNHU8^Zasa+6%CVpI60EWX`?(lB%Zq;+5Cv=EoAdHiQ6?$EUV~T?29vj3H5DUk z=L30sO%)Dhf}%id?%<@eDMypgN|RQJXV?roSAd%SnbtCU8ZVmSMP;bv7bU&!hTj25 z9o@SwZ(L6aY1>v;GXN}y)7N+@&jy*)PecC|wQOKC>@+ln+#PqxQ|vT45GUn!+1`H* zO39C60yEH$!dlJp{9+h|BF}ItiTQ$&CHPAu%zsqpGemKTt~A zgQH9e81Kr(rO+u`XYRT>=D^|anBw0l<(EsgwaSHcu%OW7wvxxHK{K2_D<3+6R^e4> z`|%%Rw+qp{+p|{%^joE!5g$HQ3@3jTZD1R=sv+Hyk~Lk<$$h<2Ig2nYwoC@KF#bJw z4QjQ4UVx+NSg93lY}7tY&&+y~1#|}+Y;apZEL~}8>meU%Sty3qh-_8ihDAN)A4}}? ze=KSZZvoSsS)CqSLA!(_3-K~)R#sk4Uh26J-N=k~RmD(Zv4qWXacexbPiKG4Di?H} z6|h=&)S^^-m;NMHupI5S4QIyC*iri&g~2^lyjGwywjXImkMoRZ3xW%yIX}<0ku~ag zr@bo^evfsL&vq@N;oT}AcB6oH_Fz#%jwNWLIZ4z?-rl)H^drT zrIZP6NN8O0!AaoSE#&)_g#7s^`^vbO{odofy~$OK7F5$rg0&KxBNma|=d_8HG9a*e zX4u?WZi$|P`b5OWT;8}*M}%Oxx8>TCpEI%!S>hi<1A5pX0~6-Cr^bJ_$oOVcO0*1Q zytLf5Tw}ghd|hR$$T`)=m&Cr0F;`RX?YTkQLVcBtI?+bkyT_I6TJN&=(#8i1pw>f& zYKSTI{qYHg%l*FY!21N}P;TTg{=M9p{Z^a@0Y^!Tc+Iv?isZ*9^$2+Bc(^VPK5#-c z`XVkZ@~)Y{vsDU~IUXS~j+|`h<>b3hqGdXmEGFF~?vWFFyUc$$UM366uohty-hjx9 zIKHpaYT9d3MU7Nl6p1ZPlukUYHh_n~mRB|J3&$X34VsdqZr*xmIkOuWFQ8yMiE7Pl z8_{aL<#j?7CU|E}>4Hv_m}P-trw6Oo!cC2S1|8*nkba+BsYZ~3B_tc#F9neF)})-- z0i#LoV#Ew$GGc$ET_H!ddUM+i{%HhTAIbMjP9-h=bDkzUAf8a8JtezC7ssm!S;+2{ z8@BMBkP1_vxLj4ti8#Ni?EQ3j^+s$*;P;SSQ%FzCbZ2mg7QrgF*J6@N6471LS)pf< zOGWy$6-9YMbRz>`K;UOp5H@{q}*tA z6la0Wvy7013J;dw!x=>6pDk?XehSsLq_ub-he2id{e;r?D)`J`<1u%{nlk*UhartqP_A7t>qm7&#qXAl9Q?|;oXvoevk)>+`=LtZ0@(83Wd^9oiQ&HF zxP~r|f-wpr+!+h^d-9~}UM|0I5W!BXXXLCl+xdT;aI}R`6;`S8nVEU79RyDLT{suy z4AT&j+_oYs?)5E5zb zBd>q!^)62)ZB5K|ap9VtRMMCp2%T$eND{j6meXt=cP5t&SYxL%Al}Svr&A+ZmO4`) zOq3qMAUhBu{nx3ms0w6V5uECCZL0I-BEFJtGKB6WZo=zU&;$8r@XyYeR5cE>As1*n zJ4S+x%x?}ME@{4iiX0pA*j=htWY3H&g{Xf~)322AKasfOm^NoBEk{C5k%F0c%yC~qoPMdr)4w-fo9exDiQ!zK&ihf`Xy8t zxNU!?fNs$|`I9?aH7pY@A90M<1!5#g%Z9hRy3X;q<)Hp#dY}Hm;OSWLh%W3ItKa@E zMbuh8DU!Yxy0u1;LuV39R$6PjXVz+`acZ~Erkk$Fwh)JL*zhkn~PrVSrDncyhwUU8p7 zC=`E(-3B$t#pm}4*s7Z=2BFb&Lv1UI*SL&;9mSe~+ix;9w*2-1vGSHGY!pn6_yzJB zjtZuksQsR%1oAOc*$31<$ahx-wrr`kAipR)kcp7OqM57WJWSuOFHxSViSG->Ev{d`=!44d0V|2`G=!Z zoxf%C0P*I#3^s^$Z;c53svxq7@>1E!EzB2gQQzr-v8OTXgD%ZMx2iLS#gL|1Ua{gImM-zhpZ$WA#z6Y}1IpRyho;6GQC4H3GL1;fK2wNQO1-s41u<=`WBe$q5|)G{IZ#C@C z7iV(0x=Ws{BL|NAa}_?Ksr3Ke3II@aio zIycGf_0L8RoVKg)2pU>{<$~-bM|4Stb2OU9vRnNxJ`gb1OOq=r;V^IY_MznLYgr|1 zhunFhL+OJ8b7`qmDhxYxp?T!QbJfG4fg4F-RY%1bIUKVk(_BnhGfvz7Y!}Ys!33j- zo`J3ARfIRUzJ_4h546qMH(Z@5h1yFFtZ`?CaFMy@o-qa~MS69An@47N=_U5CqLj(O z8zm<-?*J2GrwcLQD=S(og1=jK?Zp3Vm8O2$d$Do^Ad4)U;qApW^L%xar|SUb`X@4oF@uC zTO#HtYYp5lywa>C42)L~kIxE6!Yu$4`Eai^slbTt@ZOm-9r5-=@yDUmSlAj3VN`8q zi&6&LwjeG^bp@3=+rzzBJ(74WS~a&PvglxgVp&Mk@nCeQ4B_^7(CJ~UJ)D5W*GdJW zr^hgDgqDqeqQly95`vx_BQEZ*SmJq&mfBB{vr+AN_gih>@VF*3x+>yb_8)Bag4dAC&zb?uzAqc+zr(PwS^I;^TRDbe#rzsZTVp zxvAzzd>2qmnQoEk`U7STQwvVMy~Kd3fEp4@rO{pOmvpzb`#VcGMPAa-Hw z*(*qYfh0miu_k*6H2|%mGx#vyF$w3}&gfG*P!UX2ALe;ZWkibcCE|N~MVJzHr8*B8 zU_BWnx~~0K71<^ib#Zj_-Wxmgcc^^a*6q-o#ECg)W6;eflEgO4M~w#$VzuPeIe3t- z+{U!ZNN7#LQR5J79GCp1qKu&7`(mA^iqSlO3R8~-68eO=fIWf?bq8QIxTCP( z`C+OM=HJVYJVSrmY4$OXjTRu7(<1~jI8ISe4xTuj!EsZ%QGz28ta7%wiEo6 ztXJY1uMTL~U}UTMnL7agbxfwsf08L^WE6Y+hnwTMFG&!kT~PHfdejH%K$Ilo&gyz!I;48MnB$4iv-;cOUsNp_%pL?&BnSebr5WES3V{>e z%x|P#dZ@fkr_&)cu`l;BtjCUGuv!PRvZ8Ify9rLeprg566OT}%s|{qYWQcixJG>v? zvuPH9lp{G>H5JJ&0J~n4si8~)g(OW*Lhsw4g&bHHvrl>njrUr7pKuh2@_O*PnD7un z!zw82>ku2~Vo#HIzsi==l)tA}iW~Xv*04J<^jTHZ+C2w0paICpC$UiOo>kF`b(Ufg z68acOj<L1jvQxQWt67t{RxSXx&UUaNj zkOJX>s3-7Gs`K`1&S#!B!e@vSp60lg9kI^SU$izZ0nv;36@3dSnH9KkLd4lm0eqU~ zzKDmbKd1q3j%QB!GchlJjOq)FiUWnw>Ydv=OZ%QXJ&;|T+1XaDt&X~aB;5@GvZhQ} zgn#xk!kA{;Veks3xu3=){SPWODf^Mwd5ll*cCX9Yd-5n%GQ|_^5Gf9tiJvoF67<`HZl8s%@8sFqg*z=2j4N)q-&ut17#GnTT z7V`LYQhn#VbTLXUXoZsIEJgkuV=%SGy z90mC;_E<7P4NK&Ics-<8Po;#`T7ZSHDg6C@Rf|D2Qmwk|o-=OS`U!t&=Q;!RMTYx~ z(Djk-RwZkF7@%Bj%_V|skZs*xE-(#m~Xv4D86i9NO>qOu#i^)BgO%}rk0J>rX5vZI&*sXheEH2RL@C9`(^ z@KI>{ZRz3yW5-0D15rXC15@E^#&7hAM=`)2*Vo3!EHcfo?o`ndW|}!DF!Z>jRE*VT zQ}w=Ibf1tH$^@Xk3TXPmTd~d(u7()z7ym!<^$ypweYx~{5;!q63NK7$ZfA68G9WQA zGcq)jFoYEZGBh?hmtkiDCx4B#1yEes7A}kvB)A1_2u^^;-Q8UR!D*n8#@*c^xH|+5 z9yA2k;1JxMpuwF-X6DY!z5ieJUY)8w=Ucwk{?=|Pa%D9}5mQ@ZkfbfdiIIf~$O{lt zP-S5S0D){wKp-nJ6_q;J$r|*R7@0~Fx0A!u5 z0W53)7EWFkE?yuIzzPKN{KwGNffpcdWGXRRJ9h`LxrNh9n*V$P zXiewTJiX0Rh`PgJi`2GI~8XZ1cZb z87HHcJ%12^m|OonMzEtK*bQW=40bZH_>(Mu$~As3nKc*!Qnqyj|GrfKj4VLl|L9&e z%f#yC=5Tyr;6EB}Mo0L*Itpcg;&f6z-ljlU7kOFpB&5ev@?GI<&PKl&Gm$=`^B`vuurzl`c{ zkC%xtoBj*30GL7lf-eo2{p0>pmKoUP-})Dc`M=;xr568!FQtP21z&2h`3JJRWd2tn zFMlh|Z2LE4f0>Tm3%PCoRU6AobccVzm*|fFf-fFU|CIU?+{xAUU+R}ZIsXg3Ov2?K z$oi7p{SWwG+%R!=aCo^L|JdFa;`|5yaTS9=ZXgrn`59Xiz97rmpszR8B1Eo?+oJ+g zRNGpqbc~+!4sFhNXoyL4Rha>+4p$;cgMVEZOPdn3m%XLcvwjdzAUH9SyrRcCbwi)Nyqdzw8G9y^jelc6 z_CAbeEArG?V~x4};jvty&g$6lhVqRL0SW9S*6;+ir|4d?EdH!#NztmqaLNz7wvlz4 zL>B8kT90i-)f{+Kvva4<~XI#z3j_;J> z!Ou$8Ty-3(C_LMpcR6()dx*5SwSU_5p{f?RNp)n9ZjMkA=$txgw6KD0^Ztiu{FM*= zCd)(1IA5B0&b|}WzQm2pL4l0F$tri^ls}oui{T*B=c(_;dEzaWYoUkt zI+jEZ2zvJH4hJlR`jyQ{ynkDLlYMXh6$W3h%@U}e;&zZ+tJ3>KqusrKIw`7;dA| zLxau3xjrYug^+K=y-g#Y2{S=KrVT9kHPn=T%kXo|bXiYyKYtl#^0iQZym_&ad&7yy zr`ieqt;RA#gxE_SymStxeQ**(VAMBRc(*E4-p+!ZrLmLu-m1G}=Kb3|K2_uUPW#px zceozpWqLHB4np@r^k!tMH(noqTuspCOI%2G_O%Pcx1wS~tTKE&_CQAq5xoUUSAyLu zo3hzabs{-**?*&{<)OMgNC>SJIO!xB;oSm{@a`wk1RR&Rc8RA=syQ0hO=sBD{lKp+ zCDT?v6Cj8WS&Lb=!Xj^*U6X6$y8wpr2W*Oh|Bp@J2jz>G}inMg~+Wx zMJvo#Ot6|`EA1^Z;RLJqa3v7jHMou?_|geA!xo9XT7S(=)-=Z9(%-Pk$S%E<<*P7x zjjY&_NPqr%K3a;n<5S_YCZ%$~HMv8$NeWN=Gz8PWC*sTGPG#*~_2!xSgsO$pF% zi2af`mGhCFx|#i#-JHXQTlB*^2MCrlH&)*QJ%7VW_?Mc&aLhKDn6!m#&31EW2U zaLdFh=y?T6xTf{#6Jl1;JuhL>Q56+l8YM1S+bbj_Z2YNW9%k z>3{3>LsFA}1l;!V@epE~2B8kNL zngj74vcs-`8?zHmtz+TrqM zspo;VE*GhiTd4GdCgUu^e3hK6m(Yp9kbbvTV;y&4z=?ZKll@)NhXCUG*5!kb-r{F zAmq+CzEa4g2m8I^D1&TD-)0qdFDG>_RU-D zP?w!U+d(pqSN`Dy5n$=7m z4>p2ro-?D_*@>8qD;1v)X$aGF~-;gart@<1BZF(?fuX8<^jc3%%l#x#eV@9d*&lm%2WxF zZh#8YpY6#VZn@JUk0uAbsY5MedHE0TO_ynd=y|hmY@t=uio(uoI^Qh9E)`b}=#QM)sKb5g)2H(;M9`Q|P6KCg=5 zi|LG@zR8MaBxfHMP(r8A>D|C14)zi*S4Vuz0p z#2o?PK#gh#%VJ^1$#Ln(i&GdCBwd*8$gq?U3r$-(b<+%T^D@&$$z)6Aw$$MYaFgklJ!k3vT_CL9x2lz=eSh1dTjm=%+^4<<2TYKZV!O7Y zok(~xJA#Izo-vaK+pT@`um{na;Yoc48|?$WVdBc<61xh*h`6NSAxgYSPiDdu~!t)sv)B{4=kMUm2V0UmsF4uK;reYcTeT6j1A`kv>7Yzbe|>dplxZhQ=H#hi;7nHce* zpv3sp@b>cbBC>XJ|BnQNFe~tW6nfs!4U#zRy&ZA$66)Bj12(E)exy%b4s1qv!2W|? za(_~@jrjgO_|^!uOlmD$Pfem3s7i!IgXh;}Xlp&iUzk(Uv`mowUvIM{%yHzn$8pyY zF{8H3AZWI1Rux~&7dLmG`3GcS(CbTj6Oz3ZLRBW(iD~j~K>R@SKL4sO=0YbRB7X-vnj}1I#%l+QhZ-@ntru;@%z+Diy}?iA zs}H1+5g^YIu7b6F#Hq#6c`XMeVVwzF$$zbe zM%shY5TB3tVhMT^=8dUfP{aV?t0A=E}ab-DGrBbej>X(K?U2Imi>hP&9Z@XJ_>LzjYDg>0pyn`N=3|N=?r>!0@ zaj>Zm`e0D@`9L*NT(j};MKZ}ZQGabf6|+v}mbfdVhg@$#K5u znU4@$KQ`V=Da((c*K|HsN$JD$3N#{-#fz$fV#F=03i{r6dLgFrqRvgUuBijP)PNsS zvh?UD)8EvhfnGR!Vs3r5?L}b4C_g!2Md8$_1Dw=rv#Or0<=a5kmFmJS@PCX$9@hkX z2o-TYwp+x+2zwD%UmjF~SBlMh$ zzn5eqK}v`YRCASv*m;ZB0Dq4V?+z~9FSm@$3IqL0GDX;gB(7qZR55Zy(V$o1xBXM# zO~y35l+H>Rnl(r$>m4Qp=0n3jRuVxzKGyGY7!D^Dyjxpmo<7xg;NuV?(A<&u)Q28w{OGWZvuZ6`A`R<4nx#&)~KZ9N`;U@52m&hwvRd^-KhH z6or(`Amz_B0fr}b(|=)kh8|I#Pc#{sVQ#45C%6ph@yOrt`H%UXX5)Dj)8{*fSFL5F zNphDRv$_RN96{*S!yChJ_*cG#EV83zrS#FW)$OJ7x@nC)(T?;c=9j{AJ~mcnE+t~z z%R~LxK_RbS^QhbD2*>JU1`hYZ76;{mx$GLtSsRi9ROHL+xPNL3?K)mJ;+YEX(y8io zK3fPa=-LF^3B5gZD@XypgLB;xvh}Dt%V=DBC9~nIC@PIka|m5`8iU`fsa1v>MXt>` z4NBK;J!kgycD!*P$x1(>UG(N*2|sEBc5FG$r-t<)Tsy;u?_A*TRy+0=NWFFs`%s84 zb|wpzOXp9$+J9lA5Kct|x0yTKj+p)dPNcnaeE5vZPOKugK)x8ONLI8NczK0+nW5@) zTVV6d$rl*&8OcR?gAQA&>S1$RnSctt)=ZBoR>{fVH@10ulfc^StB4iiMjn>n;7m^N z`WG_q2H`M+vBuiXXZX@{Egb6I5<2*|x1+Ou)#*_)_kRp|_>_YmS$Dt&X{DlB9xiYv zhQxYe`~7+*410e56HzTe_3-q8L$_Zlw-tzh&0j;V^JYJc3_Ky&_K_`~$DG@=Xd;)s zD^l0}dX7*qKVuYhLeuLIv+!-caa4dImucV0;LGGY8oy6n%5)3o{`Kg zvy{0g#D5x|B#coFB@+Rn;Y8J7T@xCcI%k3y{GxpAE=(8dw5@Ss#kHNuaDVc%rBIqljae07K%ZZ4htq>*XKz-) zs*Bog+|43;DH0GhtfUXBxOoV*)R&U9f3gfkc*L59&ND1SiS~#ST>s^A~#R zUOf}ez%-9FErkfRU4iP439#o7BIsqpz)7o&+l;54=vScW=y!Y3JwI;9L<(jkv*xVo znSYHxTyE~wy2vbF?+n5;qQK^BRj#J> zv7}P23~3q|6huewkyvgB_hXNs|~*9>H+LQ8_6L6bV~?L`^sg zO@U>a8`2SJ@s|s4zC^P~E#zEFyG3lgNB_F7UOO^bJ_zmjk+IuOEefH$Q>?Bw*Pa(S z0G5Zx4P=6#r#j{7Ayxw$+9Kqx)S@=Sw8OBb{?_opkYWztkJM)smubZ+k|DTFO@ADy zU%R~bM%80Nzzj2dKbh{v+)`vYfyOP=SX9}RziP8ce=_FX6ghf#p39GIn>iF&^0*p$ z{>mC=wOW{gE*JrYVIFU765T~rw)Hy^RtCjD(*ueP7bryX@L4hAqCbvx z-;*_cO}s>^AYn9oz>G=?PmKFD5=UNC%;;5msj8{qz=>o^iD?;qUG7>5BFt&|9DPJf z#bn5Ib@tk+BLUfv;Mag}SoYpkeJq4!+X8?N@t9Zysb;PDy@lM`Y~idZRe!@g&4&=U zcDX7!(<}Dhpjkn=nM7ozJ!=+Bck)z7ciD4Svkn%HVY2sYb{Wz-g)AW+jaqMqxF_bo z`>Xn#1ao`(Pz3`{pkNCsZhsGFV>nCe3lS_Hw;Ob_t{-@$=sBYD~DA?f5xBi*Il%(eGfPwSUdVyMzqhq zlUq%6kYKb?!qqJT|9~=c1Q%pzqb4$-JbV$8#aoe*S{CpM1%*Gi`uY%N_EA{n$QxWQ zZ&zV9Ch*If|29(KV1Gtv-#lXIP5JYP?)w72Vd0=Lsg|yF(gaJRpDY!hlnQOyVTa3| zWnG>Oj=S?c3AUvgJ*t-he1$${n@tHcr&iyz;cPU+3;CXl9WzR4#@oA> z>d)&%Uy+57Lh=O-q^45oiIq?iR3V70(q-3^i%o2^8GKQ(e1ANAs3QfnL7Q)o^4?Z( zmJy8*@~^!=QdECU;8P5f05!O~a5+64JW2z<(;xs(=s~GH5({g6?DrakzQNKmoB}_F zd`uUz8{_-2wqVmD4vk4(vR4}k(P}Zr@;HnJ_Uhiq!;*ycP$OdAZij=x)1XPt88*@M zwwq_FcE<-gzklb|bq4lu2Wbl4AaKdA!uU#cBPZ>6Mj$PWRv-; z309Jh-hz_e?UJBR)%@p+{ z`=K%}2!DijR*Mrfjy_^v!K~|A;OmQiiq&|7WUH|4(#3s zObOq19x}^*p=B6{H;Ta6JHurvXaL_4U}R)=JC%8~0Xc)QG^yOkBNqce4YV%h^@T9C zCVk%VLv-(P9~5Nv{au8ATylif!DvWuv6oC>EPpu3uY8X~@?n-L66nmj-p9>AKe~u^ z%Hs4rEw#%nx{kIJR0}m6&5avgm?GGj(TsmFk1=6t%1s$~fTgD)ik>cqXI)WHiE7+V=fT zi)#fNLGCTOA>HDQZw|=USx@?MHwzVMWq;TE-D4RUR^OI@nmhVniB$TExIJ11#*#t! zTaYk8jlm~7B%;ilbuq1mB_CC!*&@xMCf8D$&nEntpB|?N7f}xdR}YQ@Ci!KKHIbfJ z>7c3gtg5Crs5w6;;k`56m{M>F0QGb~1IsUn?Tiy5j1Ic*Od%9&P)G;0`Hl$fgMZy^ zEpRLR)8XMt07CT16r*f*6Al0h0MtseZ>3m|Tcco;z<=;;qAj`y25Hsx7{o?#-WZXKrT!Ta!FLYTXS3tH z?dIZ05f3$T?+lSL>L~k}kvTn5YTmWh0SG?_rRpbqiJcDdz<_my_Yigd3ad1v$&8l9 zfJhl(Fo`Dw&|7uM5nY;av%qK+Tc`MFQ(9DGb3a)`0u!3EKyRQmGOdiHe19{x<&L)P z+6&jdhuIi8Kt=f@|K1k!{n9Qjcejv~>6(OpU2A?OMb_kYG-uA3vyaMkb!k`PeJ;z} zU^)Ub7L{)*6^?J}9P9|krh*@qS6BLPtB>{N=%le&_;2o^9ujFf?H{Ksp*UO7dL>m1#L!QT67!gVp8Bgx)>DY<=Z9e2vd= z<8Zt(8G~&6NNDarDdQ2&ZnnJF@5;qI%pW3E4$5FB zKRSBPX7^FGYj)R+I27iBCG^M7))6D1rbZ+#0KquR#j=EPtZQN({E@x9l-Fd$KKrhm@NMgmUw={N)`{avDm2!SrV~1r zO?d)$4DfM^as_FIj?V{Q{BvtNT>ZX>=jx{M^emo@moZI+cMaU8v9$@SRYN3fr$ka> z#_qmgnSD;1pVeWfG^Y_s^tq>TO(k}?+fXD*us1n8epMtbof3Ttsiz86i5MF>dqn7~ zUpAW2CJ-F$KcN z_O#244QseR>Hb2%B)2~Ur+wEFJi0Y4#(xy?N-7{NWTvGT8Pys6)%{sqTOX*mMUL?u zO}t99ELq2#0&V|u~?7AXd+jeoh_8sqKaP@xTUOZ~NEt&$`3 zrVCiEBWxw@f-9zU7qJ>ESKrMF4109N!ScNbexG0RLNQgbVgkpc1TA^H$uw6Ri382q zKp~o!@x;7Y)7i6(3CC%<3d;S?9kH);JJLxzv>S1H3I~ zFN0@nHG0plf}UqraNt!4^=D`Wro*8ojd$UnynjwT6bht{T4EOXz%hoVuWP7I0P~p; z>pU~!lr=0(=EfKitE!o;mRBKZg!wGWP#=KNbZ5gu1hVsMIS<%D(l&~Fa&jigSwmfY zvsEF-$d9v0ndt=_uqn2oyYKrBnY-{a0_7+c2z1~C&DBc%4HZvK3q8l(zkAi1M&4uV zu7Ao}K^E-vr%NeTa$%QM1ROPkTKE>+WBBR6%gp*=aLYgTU?2F#;1!D3tQ0(E!^F)d z=?JqYh&WP2wD)5-ZA0bHAoH+a_LViwP%sYJ*`9~BM~vqPwOeCB2qW2~i7Sz8MlIJl zFr;+NCtQWi2A}7@$tM4N_k2F?tQh2wjEN{Qpe6-Xh3taxxa0dTaob&BRTT5 zHd*hd2hgEGEp8}=cilkQq@v@8)lyQjhRM924t^%S9Dly2Fds@pdS zF0j$OD!Dhv<(X;CSSEB68K1@RFAkqn&uV3tQ$wA(j6bWrkOy@-0{gbxO0)3rqOjF> zmbI>TeJfq=xSAd-;^vULP}6s-VSfc04Lx}9{Ltx%DUq6Qse5z7-@+7rx_j*YOl~u{ zU@_9+5ya>vM_9RJW;Y}rNCiSzZMfiE4Z5+Grpvx2B*dc4Nf;Al>#UJ;m`KZ7xX%=$ znXzl5q(%45YVrTBu;MMtL4n(mW{uU+&JZ$~#2}gYGd`sy-$m>yk>ako34h2uu42-l zGJ6~I_}!h;(|QxDPqPrFo?)ynR;hm$Z?}QUJPe~wk7nstjA=!3Yiu|=ul{%(@Y66G z?rs19UUCuPE2#{{s_l{VtlS#PZy!=$X^q;rTN9W-_w-!NsjB83^R*@GS7LiJ*VaI^ zx7?X0VbVr}19m@&t8d}z1b;>K9B7*;% z#UZIQQL_r{sMyEN2gT5g@@PCP)ae}qcK5=nJ>h;|;Z(x{)jWipa_l|I8wk?k>rC~( zXQIX}_sE}jQ>gH}yYsF$OMTc@I^6ua>L;59$y&`rI`bP>D5{Npdw-1mR6S!J>brcD z^614@sd+nwqIMeBv5er_q2Oliq+d<&jX=QJhXyazC8!JEh}r4WytYD59O!wW@|MkY z$n)duD)i|aDh-IbcA_bxZIO53KTfPvv9$_#x9 z+nlzSfB3yRF-kupHGhg9AvHVdF8e>EmWmWxig$56{Zlg^)`*`dFo~jY)DOvXTUP=% z(pHT+Dd<_EPCj0vx9%R&U9j(OU(N>#^%6}(|7mks z*PIi7IJpmo$44YIm}ozYv4YH@uIYu*?doM5wvxnJ@nY3usDD+0AjI&xoId%4ed`nK zhwVfkl6|~Dz83b?)~%-;Vm>3P33#IDgcqYxm>$4n&AGPMvHZ7cxwW zPXz?HDnD-TO(J)?5BIwlPcl+|L5@QI^o4_4NuI5PfkR8Lcqr0-2Ymv=M#tWRB}^8I zksx&Y>OjMYd$cb1aA`DCYK6kmJ_DEbEn~2fNu-}#2}fvN6wX{M;VO@NV8W5M85w)1 zZ2onQyMNvqrFyiW{X!xEoP_q~fx{`0@K)0ks*u3&uZ!w6RJvfn-tq+8uS0pQ=vTMN z7&}B5yfSQV7y@)}<>=DK7jLWgOX5pK?PsX=CeUHo|GFG|kV? zqvy+yS!EPEvC`@2%+hRv)|$Q-ZH-k-Q#dy@g@2r8HPli-R^A9BmLMDlBhQD}S2wmY z96v5Tl#xpSK}tClcDh|`BlTAt-u^`9L)p{!R<&9W$k#!YXQcOrU$1zMQ^*C}y>`A~ zggb!QTHeWHwct);g$7Z~fcw6EMr;(z^cL>|-R_nGdb;oqmj`prYmzBl~%Kn1g! z5r!-0hZV5G)aMNEy!-~2&9AkHfn+*kroUbATbe3swE|Y@TjX{3lFr?$k;uT5{r5XR zRcUN6A7!JHG7#t<{UlIdfe!6lK5{wec(XpSsfza=*G`7K$-It;_6{9N)>y`L9)D;< zSK05&Gt^}?U|`W+bLtAzssHl&IPJ?Q=g$xwcxDB)87#%Dd3>Cc&7z2xt5&+;{7O2`(ub7tW_p0EhT3J5`U>V*&6-1sEz z;}?o9?{;LO!CsepkcnmxA%8b$T+Im|uPvNf$Z`FsBvLyLfD6+x6h=H;v-fx!(>cP# z9eWgEm88xj*X!-wVceqije2IZiT3H_m3N*?649?`uy=NomCO52 z6wXCl;&gThjIYx3hJv+(FQ-R<={%WCKl{uOba4zw&FFd16lWcykmPSutqV-IyV8V8 z;Qi;Fx8W^^?U@QS^?$}ynPcJJOR_3O5*YORF6gh_TZKnr%2`NO%#+Y=NK!Oq_mmwG zRZpE4F~K2|avQK?^_Y0$reBre#S^6pGSaFf_`f2<3*f1!db&qlM%k0{GHn%OV;7Ys zi`g)vRIu89TRkD(QJ!3lFG*g3$)TDNc(T&QiOG2mP_`(37TEmQ{T59EMK2mzwt=T ztr5?8wy9G<;71V-?$aV(zZg*rHC8TbDC=|Xg)xdGB%EY*Q!;*q7Ax#lKL>1pOOWCA zQx#(-TD(cR@E(0p%o+;H0tXM zjTD>IYJU;SGC;|#w3OaTqjn~*P4lKe4*9Cdn$L$!ISx(x9FAn3jjydLtn4U^d?r?b zXsb}Z0trltxO1eJPMCi9P@uXQEL^YC?K*t)Gi!m}B$e%GfB|o4K^^mFXTO_9X9Jm% z`6+*Ow}1(}4o&yNI}~$anD62uo^Jv?sCtn!vlSCgOjxm3v32-7wDbir;QkM3A2c<$ zRAd3rN)a?TI0`RJWo~D5Xfhx+HZn7lFoYBYH#RdemtbcCD1VK32UL?=(=Gx6BE5G4 z(tAL9?;yQ{)DQv$LV_f8kY1%XX@VdfY0|q=1*CTiNRy6qP(l8v=bZ09-@R+yyRugD z?q{BvJ+tSTovg64=o|4XIw0&JY6v)rA1ELs1yI&8vH%JJgoH!{goK3g+1ZVuC>Z2# z9G~43;(>%B;D1v8i=pfR0in>C3J8TJ>LB2N2c9qhPy_%JlLCrM2?+s&g@h#kCL%nf z04g9ar~^Pp0Pp|-hamCUl@ac~9#AJ|6ndY(9|2roZU9hHQk?I%J3!G5;sFJN-~b&E z${FH@-VqFf0gMn}CVu4Sy+s@Nkmj<^y;`QO*EE2omDq z1#tlUDjA>)a)bO;ngBjKz}Ojz{9`aeIHJ5k9uNQ;fI-0!I1=sR33q^a0MNSwj5M_Y zdhQVTAF}oz0w3V7!vO#Vfd7R1%llU#DEzlG2n1$ArWYQkQWFF1KFbqzf%VR)D#T>AasR))rSOoK;2PD0VEXmt46_JVbI5{ z3U^ROxVb^#C?x)`{8XSG5HR}OeFgt&t}7hj4fp?hIHJpd1VSAl z=ns5ns1LwW2rWM# zKaNk|HwxcF#>@;a?+fEwW zXl$GR==Y|vZQHhO+g4*+yEET>`*a_!nRT#E*K^;`bs@rX?rhh(pjsS?fa!dpwk5`t zp#1oNe*a2(vrqm?9|Oc*0Jx8CR^_{ZUf=cBPn1t&-VsE&yN_@`^(sm@{%<_6_jEm9 z=~mD$tZh6fFeSz7fHu1l(LEbgU*=5M5dgD=jnei76HKz0BY*g<%nHt(CueXJUS0T!y|QzLz7^ z6bHkky=dG2#r@Lz>JlPCA%y(_I3j^3A-RJvw;Z*~C9fvCnZxQk<}l+;W(n!T_ELb$ ztBT0;0Mu+LSGLPrd^C9Nc7l$tqfpziULq%Z1+Rkg>YBa^#>+x-{kjFyDpsoG(r zx6E*a4v*D@xlj{`DFu-lY+6)YTQvI2euQq(7pN?Ocfq;MJ|0l9tB}0~93kBcVsbMq zoK~WihmjQ*UVHV#amKMo%A{tz<=}+&=8}0<>11UMNNb;Cjn)R3Qg+=Nw>jkSgA@nq zXQec_5308I-Q}_#U}w2kJF*Imq1PYq_U-=!u+dX9PkA>gtR}2j<1tMIvvx0q^xS&Y zmZpGlJ?IkJxfG!mnqp%CYbjUhdk%!bp)200Ijs%h)AG=8+Qs92WYB`$ifHq}%&pN} zX`S71QZO;|wee@xMkjSG6&_I=`{-O=v&fZf=JJ8rc8whuKQ2RgL~HPwl;s1-Qr*q2 z9xuo^t;4dWW72L*!g5a=j!-w7HbOz6^TI(dpq1AP-P1W_Ofu|$<^gm$u@LwOspH5- zPG%O@D@{o;Drkjxl-PEH1XlHKfco*W)y5*+rcJbFW*-?nxLFn95l!lJ=@R$eyWKY4 z#7bt=h~_}i+m2fQq*yA39<*v)?mhfW_}x6c zI8y&^67wvdu+IpXYb*Y~X{Yc#UQPZ|SWbMIR zQAe%RAons4W*QNC2qxLS-|+3a8;{nAzy;6L$`cjaFfVvcHB!nBA zgiLIy%;gU^*+=d7JUM?=*lDs6SYh58ggTG;Id7i_LX{L5-Ho<$Bo~DfJy_#FW!tz{HzA>3)sH# zyDPJ{iHIOzwajvu{7tJebUvk6kZW#<#c;xkQ&nAftso_6s>h0=k?$=(uIxr=i|R-2 zZ6SM3!SgR{fwm2#RU2Bdstq{*t=yEZ#4JZGH4knI_P` zajVpFIoT3>@<5!Ii}&S(>1^gf1%kFp^Ja5en^#c)3k*MI%cWY5$5vvT!Ztf7>x{6* z&CLu27Hw6L*59zuJyY`8pu1q0K24<1B858XLA6qPxxRx_H|<%fWP?K%)hw(8cJi)&H@s7c_PPKe*BgO*8e}AUY4% z}N~TOllNGJx#_;DG zqWesGN&uC$w@PHXP`$k+Vsa9_T{~IJ=>v}Af0hX0W$D+>J-@-VYvCHkmYT50yk>ky z){F3ly_L>7{Aplq;L1V07%N!0ov1J6dYlTtV?U9k6(@bD4o~$`=O=(C#*hPr~;5`L>bnCUL~)1&p$YG_3dRebiWB$2tX_i zyBk(XeGvJos8B1skIiiDxvGZ2x{K+H${3^Uk|}R&@?V@^gj+J82wmXe%6ulBVp;N(8j>KKH`7;|G6{MLofe-}1vxZ4Evh)dp5t z(u#VOO!8^7N^A^`*0PsE(eXQW;;fFL5`2m?{aZf{;!Pj)$Y=Z^>hY)b_SV2L&o_{! zU_PW#h{uukV{9I}p9)%E>7GkQRw@a&|CNjV{wwJQS5HmdXww76df-5eyS0&MiV9H7 z0qzfaVnjY&ps&z_Y^Y`{&zzVnCh!IB4J!>_?<#n{OXY=$gS^^LgAI4s);B@TssiJf*;*4wM!%Y~&4sU>Nr%4=Y z53~%BJ=pWHH|uH~4_e+SCTK)QOcsru*Gn3cUoEUD&g~UUx)nAZA*OX*AFaC52cFO7 z2R*Jwr1rV~7@^*o+C(*p-^ivf4bR6H@m)@^Zb*PS?g)FZx=udwF9u(@o3BT0UAG2x z*KcSS_Tgev_jKl+vyP&ctihTTX#A_TL>_8rm_d z%5W9aD{hrvGvVzvEz=LaZX4nrewm`MDmSN|)ASwqq;?S=Ke2YOf>M0jHGH#|4DuuE zXgYeHa6m#z)zrX^IUf=8 zISjI8-1L`IcdZrr6UPtqL2kVBorxRxk+{yCwXkjdH~G8jL4AHT|4{RxE}7{@kzT@+ z6|S2++I!t+mGHFUGXwKUf@IPaj9h1vt@Fe+R^RdiN^psj{#DNMNdN)aB2uY!kj)`G z`*}Sq=CsR8g>Lg#{uMoCm_Mx&<4xY#cGV0+165UVW7mmjZ`&y_#8w4Q#~ks?JI0tN zFaq_JnGbQAIOcW$Z8(kr!G8HkiA^>cSIEw>qfV5{`d##DS&@TyC@`BCF|o7gcE*mS z?nigLT&UmYf0stw!9TI}_s^eWw!~GMdl?lpEC>_3oRtZRYN5cUd}5=?HyEE}orOz2}s#m2BQOvUXEW_5_&rmo%6! zNrspby~y*BWU9E)ULP-F{qc$n)D)#SLIU$!?Kv7AQl>ssY&S?;X0ogXM_r2%D} zQFIH$x>`~+BK(7|4cE0C(?DySZc2q0o$-zWa{FA! z#4%I6<6GR3QAcR{kj5#@0p3O{hvJVBhDxK`7AVMTY=J47xFVN+_fbSM2Ya~92DEqX z_X1P1_B#iWji_b1+`X%zQd~D@eLTloMO{G_WR9+Hg5sky(?hKU@Oz`l@a?ls$B_}d zSxrml#nly9daqmizsqZlfh&Ds1?90h!=40MssTTpM@xR!4b`#(z=!+n=AiuaRzqgt zz>AWfKFGr#`yZ1?Z&Z242PtzpaobT51>8AaGhB7X6y;)qWx}ZD?k|)T)BT*OE%vb# zEpLbBXb1nn?v|7`e1Svjlm=-b=}8o{1QCwX$=hiLcKMh(j_u{firU68m!Pw4YP}SE z>zP^W@9tv^&aK5+z_Q=I0-4gAZD(*+mDM}9qk}jve74{NMeEA8;_4(@Ht^iyXLaYo zv{&EwS4CMz&%x+CPa|u*jL(u=W$lRM)>ssEI70|mYlkAa#w$0$f?t+^cDwM}D5l0O zB2IE31)z*KQT2K*v}Tv&bQit{l@+A=>){R)9#P!Oz-r$LXdlV}!rfPLaw7*#IOtIc zKb<)m>rxRA69zWx%~c+(n?&%;m6-jf5X2{Jw&_yq|>fp z54LsB^H01%iY$FkD#E+6*@{h_k_>N$Yc+Kz{HUye%kb)1b?m$ion)A~MnZC=x_l!l zuQQla(>2rphDBz+_ucumjMNjwWd<2nCuUyG6ICLceYWz<%aGjOh29+U3@>dLOjs0B zOLnHjlSs1Ir&mjFBWW1Px1y_9$!AgJbmvjiXHOgHU?8HjtVa~A_49Dn>Qy7j#AdQZ ze}JBN#2R*8ZE7THkff(HnkeGT=?C<1%Fk*M4JpfjY`xk1DzKqdmsR~ZUstE`(|aRg zAVioK%9*o5NHFmiULeU3-;?T7{E}1K*QW_fmQ>qne7bA9-s_u0{(S^N^;B$sIqTu@ z!|f(=-`Y2o12E{Mcm>9&vN>W4|{Fa)rhbt>zX; zKlB9fL4);?&Dc;q;YVG7Svye(M@F)?m zErnCEF4Uz(6wN=K*3GU9*nP1vOO}_0ftu5Kd%rg5E5*eixmbP6B3#eK^ zPlk77f4lsxqq!BzZKT(a^LYASZ2(PjN}a?|!Tn;#CCqo*0RM5A1HM>TsRTUXC4SGg z{0J$GVo)1oAz5{q$7b#&50YNeuZ#cy=zeg_&^}}BrCMu;lpq6L+ox0C-|n+R%STBqhTe4UL&-Iw%Qc<1xC&_o1;T%x=`RRMawV$Q zF-tDcDqy}WP3F636bMY9Z$%9*byRQ*H8{uHmj^?>SaSMLXN*32t}?L2=*IzbLN(PM zzlsUaGAO&R%^WPu%bISm&_}cGc#>RgLO%?jGS4m^Go{z@4O2(QXCuJ%Y~uJaekq7m z9(vg6vR(N9$v*Ui6FcV_P0N*84=9Nn`o@@1GonS?rY`)}IJ#wwufjfNNIaX)tfw)F z_>aHDJsi<$F7*swc(B0PuZ`?(WCe%Rnv;VfYG z=NpbG{}Y6W>PDi|i}@-4Bau!d1}#EYvVbvo@d$3gv~R6=Rzw=s$(rXv-^HxY@mzZ) z@*sr;3Dd@N5=Ca@^CUqWIhtW4f6lH=Rp*Z+dhM^jmF+hb1W@HMVTSF%0=n*!KJwFL zV`hjFW|-;hZ?w?VABK&qDep)3e~SwgGxJZuk{fu-&!-I~t~-RH%6Xgsb&v_C3H@W# zR&%~CZ=GR>@>7EBSJEMi9JAFSLZ!7So$%F~xgADJB4Kc(*-9CrFOwXNbv9NOS+nAc ziRbpqhFaf`+@-n%=X8JIn%Vlf&8lp}!bB*(0iVNB&~F*}QRe80eJJT|ha2y#Iu~U^ zQ~jZs!iC{xJdta+t2UU5F@c7V;gVAzTB?~NUv;>9|^5sz4#7qUFg>tF84 zt*63{AlKL20ek(?W&fj@&W8~7_q(VeaK(3=WEz!y(ibEQsdL4K}eY^21 zZXVjXd{#%+JOtgqFYw1;`RNCI+K4Qr3C4<4VeE`7n11jCIwwL=Us(15l_$53n$$}9 z{N1d{y(jx68Jo(*^fv}sBh96Gq4PU8YwT$5wH(5$1?^Ew5>Vs*+TS*Q#$eYjh$Lgc z=h45qL_< zY2V#B{8xa1Q^(yES9q6IlMMSyZoh3rUw6ODOo>k*rfYqob#yHEX5p{lQXJeU&Q$kL zk>)IfMxRMog-s7Vs(gKF>;~>cFG#B!_GjgKvb+(VW)WYfi#??D8l$uViTzJT`X9jq zaF3aL=hy`RBXczG+9Z4fg~{{NmWI}`*-vZzj;Zske)Qmt&(l|M4XTHpl3}Mo8a}H0 zFd80y{~*+hx2}E9#1e~53-LJF9@+gFLu|J{ZQQE%E4& zG4&`rH6Ye_@m1h0^(Av>F65l!qTha?MZd2Oc9BzuEdUoqhnPB>s z6B-~dsPkoU`^R(cn&5F2f%ea%U)k zJ+{;cyskk;&9X^7uT`y!L0&>-_?IdLf4g~Et&JMJBimgM7hv`XwF6=kOdcJ2E3Yk7 zr6)3QHH})7{2_wa`w`7j$kVAf{;K`Jepk5L$3Ag_Q4Qk#MPP>;X|EXs>te<+y;{6p z?Dvw{sWkP|sX%kBwca&&!mfYltk&<&O?&Muo8#ygheKxWTIe>r$0; zCRUis)sMbQ9XX7auN(&VZDgbSw7%sOZdOWt;eD@7Kjz7t%Wn!+7O@<^KB&?Vh3k)Z zCCs&y7o*l*=r!^u*GQunH?%-lYsZjG*7jNUc2K-}?t4$3mD?01 z%S66Y`x+A#*!^~XxyCRTze>ymKFuP#9#jfR@0Oo)PpmU(80DYC)k0(_#ELhFZ&J`y z!<9!sP7Gsxxn>(j7MlmxTK^f|%8I1ZI}Zo?()&$FlUSyYBw^wOh_P(F1(->c9tbr{ zJ3O#0S5Ja`*Gg2Y=Y&_r{|gvcIIT)GtX}VF`>!Q@Nhzf6Is8-Uxb2h(;0q{xTVM59 zq-5N55?{>Z9`Gt-^O*9?LhN^_ETK9tJLWa<--Kn2AcLFcQ%4VJMSjdl$*KvfY}w9gDS?>I$F$kI`n53-#@hBzC-7~y&hwu z^x1Tc_(_>cZ;q(yajS?6*DKU}@&$&Ix+>p{I0dfS2E)$6%FfBenQRdPf%m_M@DPXz z2oBEw7a3pt)>go4Me{w@c)r1_{By-g{hONDFrF?3R+A|7mdOt(0_%sHnP%PFnS$=d ze3o61i6lXE0<&GaPStCfj@o4dsJE%@oUb zN1g)cSm(9f#82s~2X3Bg6FppPHR~CX64R9WgA(5$1>WS)h4qU$RX!WQb&6{6I7LqX zmFf|j{7OAuRYz=#g~3yL8Nk%q{u86p4Tl4qIjv?2B0PoiU6jU?`babj?G?BCriqG7 zH*#NBUF9;Emae6tcZAC1fNGSI`|_FRCQo)*@r4a0w^=eW)_!K^*?&KHh|<733ZG7c4boAcr(@=sy-Sj4DO` z52^SZhCLFoJ#a{rX%Dnsp>%Y6Q%->RH3-U<%`W#~tm)4LxPrUFdY=7v61&mFo?4x$ zbO$H_=nbYj!Ro6G8~cnX5159+1M@8y@(E38qzst`@kT9w|o}6{zD7E=aY2 z_abm%qr5cZSJlQ`6nn4>}W|_WLXH1^t8J(3deRPdmjJspNgETHm*uThhR@0*1 ziAW3DI}w~7O72mos;k+21DNEl!{DKsW}eqr3yU3Q7+2smwhE+ zjv4hp1BaN`m!!6rWZsHma~AO48e!qIP{Kq}+b%-$XGSWR+sb84l%PK$Djyfdgh$wK z%FGOz0{3VFZ;T;4NB_})$13;ru0@I+L*!zo2u8M2Cx_`2ox;lr_yy-VmYl@mzuzMT zE^4UmAc}6WG|#ngfnh{VcE{zoR><>zn0R~&(wTOJ6-JcaJi_A$A)QN#nQ&9oKmC>Ds9qBO= z!lm!kWH`rp(}N=aDFGy2lsp9I73T@ipdpCyQO!e1F~J#f zuv-G+cp7vOgbYhP9d@2&VVZxH2+p(-(I%jH=sK%5Yf7JiU%);3J5nKBqe-4{#L*SK8vL_=us?yJnRqa8p+zB5yfW5ZwabV)$Q17L5Ef#V49gSG_Mvz- zfjrIzN78(F#tLmriHg3t8+N91Ce5O*{Rad5deJTyYjn-dQSm1D|ouo2OV0|^KiI# zJTpohQ2dpeiZ?peP&9}o+mp2|8^u_g11hyQo0X2O%i@`%4<-NQBuSw7%8(Ov`G*`> z`E98veuuV%oNMnzi=eIyRbBbp2X3FZWAuZ-vdf`xu`s)a?)JA5cXau9)`A($(J3ln z4HRHhYHb^ob_46|Ml+)wT4hg?)WztM7)*rGIY)}HgIJ{ zQgm^NNZuvtJv$*^yr2H^&oYboB(A|!-+kwMw)&>uc`RnBUdj9%ehuZUL zu%&|!PMX3^9ZvKeJUV<9L!bXs!fq7%ws0fq>Y$4+hVVerH>o&&e6*1-KJuL<>G)Pe z@7>vXR%g7nBSGW#xBS6DTP){oQEC*Wxf6}K6T>m~d{OLOduT@@FkXF|{Z*&DZVaFd z9=&3oH8XiW>|NZHqYsT#^o)>*Sm4i7$$jb=B$92@_(2Z&T^;^CE1yLJNId1py9(%~>4@C~z#}B^8OV@@~=5dfmjTdvL0ByiRV<+ZQkG zN;kBMH%;PVizOX&pW%*IDMo_Eev%6W?kXpM#@XdE+za93_SHFF?j@}%XDvN?#0xb6 zDj`q5M-&!8cfq13^Q#5$2AL!XbEPpz5kDA@r^xs(f80L#CN01q4)8WA*U!4}wED;U zalY=dVO?tuD>ve4sgQ>5mdCd^Y{N%fE zsQ$ott!_G>bn#xKE3H@GSOXlN-)3PHj~!g69^eIC1*wmN8kDn-9pt0AuGB#gGBGzh z0b5AbS^YtqK z70K<14X2Y;TPX=TI|MQ_BCDqj%Wsky5mmvS6GtR$e;Hm|0wp{)zHgv^uY*+-B%H*3 z$?L_8eC3F#(D<0F&* z>RLb_z8`e#!h%t;Mja0F<1+MdgicP(;=42iMVubYLW1^QZ||?Z@jHs>9mz(iZTgtoyx;E3qIzN0J%%BV>W zY8F>Sl%3*C5q`)#`U1mdymd=fOoFgc;$Y@rXXj++nMYjgv19k)E^esI+# zjq*E-d|Zs`poW~#m|C^eh|jV$+^ypUJK{^%bsD(aQ>U`f{v0is-sg6qpW99%IFDNyRKKOii1;MOSDTDZ+)0J~_hAdni1IW?6*jy6p-sOV#anvb pnPF1iuFi2nD>70wI8!?lXBQ{aWTq4dY&d2nZa8vsF$HnB{{hIQ<9h%A diff --git a/hw2/while-semantics.tex b/hw2/while-semantics.tex index 31c9993..fe6f600 100644 --- a/hw2/while-semantics.tex +++ b/hw2/while-semantics.tex @@ -43,6 +43,7 @@ you will implement the semantics for a small imperative language, named WHILE. \newcommand{\whilee}[2]{\mbox{\tt while}~(#1)~#2} \newcommand{\true}{\mbox{\tt true}} \newcommand{\false}{\mbox{\tt false}} +\newcommand{\note}[1]{\mbox{\tt not}~{#1}} \begin{figure}\label{fig:lang} \caption{The WHILE language} @@ -56,12 +57,16 @@ you will implement the semantics for a small imperative language, named WHILE. \mydefcase{e ~op~ e}{binary operations} \mydefcase{\ife e e e}{conditional expressions} \mydefcase{\whilee e e}{while expressions} + \mydefcase{e ~boolop~ e}{boolean binary operations} + \mydefcase{\not e}{negation} \\ \mydefhead{v ::=\qquad\qquad\qquad\qquad}{Values} \mydefcase{i}{integer values} \mydefcase{b}{boolean values} \\ op ::= & + ~|~ - ~|~ * ~|~ / ~|~ > ~|~ >= ~|~ < ~|~ <= & \mbox{\emph{Binary operators}} \\ + \\ + boolop ::= & and ~|~ or & \mbox{\emph{Boolean binary operators}} \\ \end{array} \] \end{figure} @@ -366,6 +371,18 @@ Finally, implement the interpreter to match your semantics. % }{ % \bstep{\whilee{e_1}{e_2}}{\sigma}{\ife{v_1}{e_2;\whilee{e_1}{e_2}}{\false}}{\sigma''} % } +\bsrule{B-Not}{ + \bstep{e}{\sigma}{b}{\sigma'} +}{ + \bstep{\note{e}}{\sigma}{\neg b}{\sigma'} +} +\bsrule{B-BoolOp}{ + \bstep{e_1}{\sigma}{b_1}{\sigma'} \\ + \bstep{e_2}{\sigma'}{b_2}{\sigma''} \\ + b = apply(boolop, b_1, b_2) +}{ + \bstep{e_1~boolop~e_2}{\sigma}{b}{\sigma''} +} \end{array} \] \end{figure}