From 0c7103a19f6492e5ace8de8974c7a6fadc11c468 Mon Sep 17 00:00:00 2001 From: Yannick Date: Mon, 16 Sep 2024 11:01:48 +0200 Subject: [PATCH] nit --- course/capmif_cours_03_semantics.pdf | Bin 3181412 -> 3180756 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/course/capmif_cours_03_semantics.pdf b/course/capmif_cours_03_semantics.pdf index da1c64f39471af8b7337a08cc8c880d119d701fb..381bd0e39cccdcaaeb6e4053e01b4300d7d9be5d 100644 GIT binary patch delta 23448 zcmX8aQ*fY7lm_5Gww;MFv27<4+jb_lCtqyawr!ge+xEoPW_PRlslMp0Q+@fKs?!I_ z{U8f*{UE-9Ac3HPV2$8B#9$muoGHWywA6r_wB5WQa`%&ZWnkb%!1CKYsg7^CSgum; z6oeMyPZy<%Dek6C%;$$m&n4MRZdG&)7?Poe#|!VfXV+mf6LD;hmXRegs4=0fUNmtN zG7Azml)79U(ZcaD=c@_Q0zgeExj%-sNJUMJrC!pd-jWXb)3{M%>(TW$)XbR4sWG78 zQeUx%Fk}3?PCXATeV8e2@=a!zRg%zsjjlOr(Oa!i;zVBUP4aU6M$aAFsUM>j8-_VM zKG3o_G!{iQGvNk;>uxKfnEK;tA8DQWoJ^P{y*^RfB3sziA6#l)1A1_aK{i1aR{+^z zZ|W}21#B23rgVntU)vMc-7O)hKrA5Tks{krDq+|A(=43ZDts;y@73OKS!tI(>f^S#{4UQVXaFcMm@c&( zv-Z$!BMi?FnYLJ$(O~|uKb>4So@}VJ;1P9WegujYp{AUyT+-TF1cv<1_}9~V$NUT{^EC*K}Cj{vU5gvGvA4(GfX-d8~UpIl9kZK~y)XV^trco}l|=p$UN z>2<~Q;+d!rXirrXhQJK>?cX#rLau+%3V1K^9=3CwQ_|>ABP9|By>G|9j@Z2Jv%<#D z9}>vyTmb{asHv!TVh)>fID?HKoyeGrQ*p|vQN>h0AC!8&j_v}qO%yuPQFMr$vGCHp znHeb^_N>v?Tx&S5QExbJ!O^IFBbo{NMY_fV513TBPuJcuVWK-cy~$OEHZlEBLMTmm z|AXy=%ER$;DP;X#;P2R$g1N{nF9LDx z-5YdO;i?iEB=|D8QIJ-jc_s2nfMF1>UTr1v1Trm6W9xXGFdq2(08#{7@Y@(C%9tT6 zSb}OK7$~q|!8$pMUDtG8i-zZ$;J5f!I3_^GSM~tiOX+rRUmlemq3^*S6*JV*Elmrt zwXn%iu#>3}j`Q&X0x4qj#?##z}|Lqpsv+EWsfe{BhlGAc{8Bu zr==Zb)q^i@4qIi8jcPK=^#d#o9eRhj$D_&t4GFMK8h4rG4PoUk@KR}xRWG&zrhz_; z>4AXP)|Ws*B7pufai&Xti?uhKF|oSZN^2q>Gc;ckAaT{?_I!7>nN&}=UIZH53* zdlHx*S=O#xqN{e$Z%oA;$HY{pYkwVFWzId7#bfU|X^3Ua<8Z3Uy6t3hUm!wc+8`p#HLkan!r}{VCksSh|VTVY7vKUxAG*OY^!dxH~z@pgSy*q2*G(x#l!R-Ap zUJ;qdLm;?qq9G^7atAUEdWdEL;YNYMK(TlT0Y$)HuDC#ye)G;)*18iRt}oi{mfA!4 zi5(LjkTNayDK+^sMJ(XYSfRep2LdHCg00A?F=KuwFAooaH3M#ZDT1bGpcW=X>lsj) zj;9AN5j1le-!iaTnVKkEG?2qTtw-=TxItKfk8$*A_h3!nZAUYfC8j>b$K&n|2v_8O zILlmVlY~G-F8M?A?5Y%n7?H-=Z^G~>_F4VRYfMGEn{83G(pt@4U0w0OqrGfys%aQa z`WFqmLYBUEjEP;-(&jAQhQ`7QApm&yVB@0t$%gEa`NaZcUG4rC`Db!;H=opsIqX*m zQ4R`wd_B`Vp1c3w$e@MY!z-38r7zr+oLlodghy-EAL``nD?LbhH`@g<4XZ=?m{$8P*#1f+HZFvqZ4g z!69}G zo_z$JO7Q9DfJfP~tX=vRzrrtoYVbZ#*jk=)uu2Kqg~8uBsVhb0V38}OU-Dl*tpBke zo7t@AQyTR0t<_(J)3ijImohs}@d_yVQ-+k4Z2Pctn3QK#`q^Th6z9Y)2Krs3U#?1u z0qUAb*=8?CPydxkc5l&vfjPGp|ZaL)^wkuI@FBD_&U9?sWPNZ5k|z$O&yXh9+%ZIXSJBeH6|YrNVEB=~GLnG?bL<3X4r7WvAi^!jq9E@Az0^ z&XmI68N@|M!a}Ya@V?=HBlt%6jp!TkHYqx(kR za^1j?Mg-2n#mV~r=|@LX`Nvqj&vH%ah*Q5``y;uL5lJKn0~W8@4SOIVu0=p~lRepP z-E>WlzFCtf2T`oGcSu-oYehu`b%kRELxVOQgiRp25OtmmvJg~We*Y?LRTlIx^!bdP zLJG_=QT#F|MV?9|i3YNUsbU{IeX(4vR%tHN67J-okOfm(B9L1zX91yfw#4n;m}|s} zSxbNsm}+F7e)L_i4s>`!UY z#GN}qX;=j+AXKnd8z@hfbsBgQh!EXA6A%9!ro@R;njbiiS}9JK=_f;syG#2jA~-~I zjRr|7dlF9z0=p?ZrW9anj7J=>81{+pF--2)!%HyX*aEyXw zMNvY{{u!~eUUD)E(Ve88RXR$WNE|g^e zL$@Rp<}8)Uk_XyNB7=%Qm5ZS|Q^}OL6ltG|y-SFq1dwBt?TIlnsxKViXOEIn$5Qss zj7iLg&HR?qpz4Q}vZSQJono6rU{IbDZkg36=Q?vKg|NpB(>DDjh~qLfZ? z$^eE&F~UCV7rh1T*ni8)!)Pt`jHV>CVz0i&qVdS+OM)M>e*LfDh`j~%DB|HWJ&saJ zKPWRDx&gG^i1D}sq=*gD^_I{3dU(IVmR`Yv_D$ z)o>Z+^Q%nxLUlyh!NU54dPUv^EtP}b8NZXw6)=>F^q}^6lSO~acjxEE4l@#YKX-X) za?_IYD#%Ov!tD9l>H~~SMDQS2G{gB6y`P^;X7Z%H&kfpP%?S1G-*S8mDk-z0UJGtM zJv?+^5+t`0=YO*i^pn3h-mTxid^TpP*{fQfplcWGCgNS1p;FUQqTH-V`r(nqzyvH?V69Bf z^YHaV`v}6JMA}dWO7_3!vH+ZsLwjbhZCvqjrXw*|@;f~E*BK~tl|Z&cg~Nuj>1KX& z+V=i`^59Vx?YMaw0e0gBD%ZN;?AHt(?Cm^z!HQF@H}jp8N$p|R?a~g)+S@MZt0~Y1 zPZLn_^VNA8IbdZV0-jv_GOgy~fKiHaaeCZL6Lf$yQ~bY_I4>DGGZ2ro1*5ULn6e>b z%bQd!-eSzJ!3C01tFj>Z9+IYO7ua3hKaUSw3&+pjhX)HJe6b7p__JSs7ld_X>HKy0 zn=~9R{uE=5!=Sxql?BCv5S-bL(}A)U&U@pa^7>sdw02pqI~Gsvq%u)lNi`xjxU4et94JWGDUHvjkjs*s2BlJ zEMAe!zS)@#0zn*ST5G}pVdN+6mMBKe4#FQTY416xl9$S}hU)2<-xC4DKRy($hj}$R z6(>sQCZa!7-5c-*Hz26oBuGKAV?%^-SePRTKvjp6`)Oz zYsdaaQbf!V=b7|>dpxcSMVTT;f)U)d818*kq0nYoac;V$5x{1ydq;b`KTqnw>E<^< z;d7r^C#m`qHz<` zWbj&NOW4HuOiL+Fz88Yt!4yAkvFLV_kp|`M9-&C2lF4P&nj?5U>)dl!*!TAtGerI# zGxlInyK}mi6R?`vpb6;-Q{^yoF09ML6I9r1PM@KYZQ89TF4?KekYpx)u1qG8o^;QQ zhIl1O+LFR_i_4L6kbCdCEU^Dyi=vl>28D#yPCHBZ<3Q6Zb5Z;+86DYX>Ki5H<&q)3 zsit*4x;fX3mazA*3GGl;85t=!HcXtWcE3c6G5msiUBI($I(7g@qMC%fNyAnhk5bo43`3{IOVe#ixp&l3R8x9j0)wUMrJCU z1J8aB)+G9pVqzGQ44cljxRN1Dr*6nR(P1!Ov-?+@W(*P>=NVVJWPfG~6RabSD|<7- zbM}xv0J&7CH{_5Y^yB{hKk$9pkhF6%+kZW(u2+lr-U<5vj|lGcdWZ~mqUkf@Lbzx& z2}PfCD7paYevw!&2^2BfFkYiaO)*i&yD;xmf@!^d^5EOb4JTp|eZ1PAg*y}0x@<{O z`>049JlJ&H>BAy5$Gr!}JtI;FOR&|@XO0V3%%#8k_EzvCP48x{ z$Gm;aQe3}*6+&Jpcd^TComTPc-sVa7V1vvRFv?#8j|XTCn`dCe46H#etQ42tqZ{Ld zdmf&1Kb<0uGWIjRN^|(@3z?j;kKOgSjlk!Os*Z4f{?zjuS#p|ZDrh@TjVYCs9#;R+5UH_fZWG`v_T1Qu(SEO{^EstSK}tA1Jr!r; zB6#{+QsCf|{@RY0YyPo0zj;iU&AYDol}pC`dUz_j!fTWzK&d&fXO)hsH?+Nza1Za{ zC_@jtY8{JMnh(w&(Md~Ds!@BZ#VP4xk^5Vj0S?!8OHVowaB z8ysbjOukg#U#>bI)sWDcddRkY7`ru+132v5mIZ{9r-JG&;51SHOhrXJZBYVRE5a3iZ_sckw33Xj+ms^iETsQvXy!>9IS>$EShuEOg%siPzIXAKlE zDa2I0>E%XLxvGZ6YMzzuBYfD>&;yJ#1lbl_Ik>5Yhn}rfWWpt{&{-3FxVUJFhs180 zp4GhVXvV7Y3#XnKI9AkM^@g=|f;RPlv9~!zozjBkA;OuN6k7G0?Pe20j4^&|VB@tG zZ0r$Jb9+4P!Soep>}b8WM7yOg#Zro&zoH>x0Oqy8Q1Rn9{{pMP(4`Fn_br$6N?#`Y zOGgFm)xJDcB|z_I#wQ!~r*@Qt4O@}w!u{vr)-cN&xtEXMhq+ch1F#j6Y_S4>(g}gk zDQ-x$wmjUt9A&hSNof#CrH17{bcLeM+2qH1tnF0>>i_8I(Ed^LD-(ieei9TF2zuim zys3Dz8*mzv)b3uz^dZ;r?0);V*>Q~Q^R?fPojiye!U%2>$mmAJ?|ft2D_Upg2bzs} zJ|td;;Je0v81BeR@ZsXPAbOojLWqvbPD|6$-avKX&JzgOnpEC}YrsRVwyb-A zx9}isaN_ttr~3e~_YUMI;!J(H){7C2&{ou6J}YZme4M_aP*89KybAIEMBx9qDGlH| z+|9?w(jTMleHuRy^(X@rPUbGS9JJ!2JHx-$9m^lpwP%w4b9nlgkI`nxsZ`&0?7@?B z6(5*g+pQKiodfXpuz3#?LxG6`ru_W^w^D-=7aWGC#mK|`bOHJTpMdmS+oev!>D!D48Aqx~*ZeTzc92gua3xi1+TAn zx(1~L(e)+Lrg;-cObsZjz@OO?TU?x-U4peJ26c9|he!j>@&GvksNb$C|5JpLkdI9Y zDuVOX(iKYxj*kA^hK55zLh2p7%Yhe!Ke0A7M9O_{um@Y?=KM@LjR_>1A%K1blp9y| z>!gl`_srDjfhM@zW@iV715+bMRu0I|KJ2V1oJ&7?8CC!mqlE*_rS?s_7iYI7ElktT zw-`vjHF=$GTV3I4UHAIJvbHs~dvudFtB#gAdsLIF7W`fJ_2V5%_?g2D#2Lh%v4Q!H zu>sUq?!VlSGV*zSszqLWKOh011^R{`&APXu5u^WeGS)WFtx4j#o`&mNUtK|fwg+hg z{nPcOzX$w7*3kIROs$yyKeXJT9INM+S3+!y&zP>xI=Insu-u8s(aA|rgU|DqWvQ>} zpmeU4b$y=#ehzn}>G-rn)4n-MAiK=xHqTND(cKqBI{_kNsxCrE3o*V)Si$6)zV08t8j- zUO;~)r{QZOL;HgY8T$UebdpLso>U*0x=+lx2Nj0MtH1WFQ|zNa+2{4H)MPZW6`W5m zG*hmx@f}7^*EN=#Wp(OYV3A-IeIYNIy9Q{tJ8en_Ld-7?Qd&qeO2|MJvMq9B(i~8R zIRw0i3%WZZJtKHI&(E~dT$ezlzFJ{)^MGGeeivnO%caX$l73%CF#D3o~0-0+aaSswI$Bm*_i})99{jR z$r3a$twoJ{mR&#~vZrT?+|1F=Sms0#wf6X$t}Yn7PYngov~~2{EU=Gp*UfdE8Tgpz z5u!2QmQ~oCa7i1lB6?Zr0edU5&bbnjr2ox~^I+Dxm zF1sO#2jPJKhof>+rs{!b4m4PuH*1`EN7a}~HqAuX*_{gqhw4sC$P5Vh8%QZHVL(C!{`d?XcQ>bSVPgrNy&Cx z`8vwfr{$rvHm0wye=78^LK13-+W2-8yvKwmEk6JRkXxsoLJxlqB_7=Q&-;^RZS(}C zFSv5LzGs8+Y&Fv4Ul+9u^E1Xz3?jBt-1se5Pn{oxm*D;Qr!BF;DqxpEUPSt)%psrh`OG`y57Tz*qriZ zV}HP?QH*8PfrX@zJ~@{CCwV`L4qwT$a0_#4ahVx6aUD;N)+4%8|lT8&@nZn5O|XpAdE;L6?jF8-4_RwHAe4Y-+`O+c@&l?xB(m+xYXQpId5mY7ur=w;XED%sMwy{!pEl zRc#zclg&ycC&_l>qM8=e-hMO`4pjnVkc{QK)H7`f)8H~&7qTDXc<*K)KMF_mN#ldV?b-4Tw*Juwakgbi&u@tKZWpn)O=|Mq z96|4muYcEAfMdyr58A;wajl&uWM~RcOm$S%;d7yo!)R3ybyin29hZT~nNtXqph7|_ zHD7hEului}tL8iFG1m=JGRcu5E+aiZl zof|QIeQvcLf>4fh>5KJy5DEZg0|_(QlDLi{91@*T`P$Gtcyu3uDrh88f0payj?Ww?ZltX4KdSfN#4Mk zJ?j3))=$VmpjfezKPcj>$t{8%GsW09N}=a2S)uT|dxuWicU^(UN4pxJF#6%(`uX>O zO;{DyaSMwEcxCg6pySgS+T#fRF8u&lzh8ey~iy45TV*Lv~2q4$SY+yH8hm zQrhDRk}j&ngy2!2#zmeFN@JeqX{IK(uTCN;>D+_e@EtUNgD*8evL>WPSWk7HwWZ-* zKp2eDR#v&daW!2if*hfUoZM;v-X5N#O6y`VB!RE1dnj{blb!ScM}@rjndfzd?qY#> z`pVk8^xX}fluc4c+#4r4eA0_6D_$lOU{SjZS;%7hwEP)Vo}Y08ct@MKg-oQRWFR&rL~XRj$L5w-XBd-x zPI6%&u9hgYQ+*PJA0BuL9aM{ESILNWcrsVq)}8OrdsDf*3y*iO?>i3Vy*jB;g;_|A z^7Yyf$Lg%f`tLf%UINAc@5%e%N$z5dGh6F5W&_>m& z+RbN>Q434p9A~0>W?mYlm5ut0L!0BR-6Zhb8QYho2wlb@^;e_3Ubj+tS+A_ms&>cm zpiLKnI>$ONIL$xwleRG`dG8y0%M)&H;d z;8FNV>+wGE!SIXzR})=kGg<-bmzyO-K{A-f8|-lF@j;!|Mmy>7w(6_Tq?vH_V!1jE zkf5;qH()*mJ;Z<#?*`W)g6#2eiMhVHZ_FwNUEidXwC!>kwU|q#!i>9?t)Hs1R`7#I z(0)qlhd+rz>3|jvP;5TdRWII{k!Clgclc5mu?#gxJZ}hIPmd@JK-V<>q(|Q-2qqEG zbRtn>e3acQ!eXDpC|jpw@4i29sdwN5lp{kWX|dd9Y7v(nl@AOe*mvG9Z%#wDnF=oj z<*i(F>UDhwpib!!6)i6tnQ>Kq!?eavRpjoZb}?xo=duU>qig1Yv*3S zwaQ`zVWoIufiRWJm?5j*lX>$fK7Ec3?c%JOGC00J0**Pct_Q2lFeo;(>%VEDLA+Rt zFi56WZ^jMUU-V zP=TsQ^zy7DEcMC3vrGfGgi{ zW2G7wUe|ga={sSv!NS)D$tkxIA7XJ#rGo7t(z_bh8kBR8(eM!%VnhlZZ&Zm+ zmJol$GW26oo|q(-K$9i_%lFd=$oa--2xJNIuzn8IY$R@TwzA@?Q2hIrr+gzX936-y z1+RFUHG|eD!;*nl^&{HQwC!JbircaTfDcufu!V;J>PPH{}G7%^S#^7m!rihHm8?G2& z2>a?F%9npKJa5f#@s!)0iK!!(yqFnSp3kOnX)6g_?>5s?N)rU9^>K*FaVq!BN;fsB ziOB+I%m;}<#FD~diHi6)VaR&M+rG-OJ$aE&`zsz`y|=5H7) zOY~MyThW;(s3Sb#Ls*QnCR2O++I#uCX3GL_KhR8mhRLf~Y1J-FQ{~n$w9%%oT1wOY zthA%KzO@p6{jRB~S=B1*c;aj!6zMFw)$b3>g zo5;tRkMQrsU^I!BVH=qs@ACkEw zOO19pfko@3^#=S)Yc3S0!AQJ3Hp*0>8mTGbpEw9i|J*HWs}O9v#>Wc}mqR&I zjS$(xbfkjTS2{9YN4-#)$4>quH}poY4hZIJkXrXpdy zwcu2B_M%U;rE6vys(qDM@YNfr0c$;&aEmB&E#{NI&_NUo7mXDerc;baDwk0(`ZW}k zpTq)KfLoLs`i%TRX1fY(*k!Z6t$V-agI;T$JIj??lc4}1g(HaCYl^wFI=B`YUii!D zsz(ykX#sdJ7*Sy2AIT*G$n?7dB9Pp15(FqUJjewA5w)eB2#p>mKy|b{WMQbPy2GHpSr3je2 z{PyF1r2T{<#7ySVFLHpUD1RFoO;82+;q9mSRm8YDFMm87X%a$SF6Eujf5Dmd?X+zWao_p7pgKAByHnG=ECS#vOj_Pl|GOlhLs! zLEE@f*sE%5LJH*5?o&&C&$O^jY0eA$XS!?-Z9vzzAXY{*dj8eqqh_W-&*2C7^rga7 z3BTOfCdP!YYw%lN5HQNK!P}vSi(s1E@^iiH(#2{DE|* z%lXr{Y+RPz}w@*a|S`<~j6UD|E%><`GZqSU;C3Pl|WH(1dcChR+J zv3o=F7;8CsKTRB*%`5^kJwEUOZ#{e6k%x7!4=xg%%<1|0Yf?_fclv6|SYWcIi8d=l z-EG898x;Z!@D8kwY@TBxKPVMBU#wW)*|}PI_i82*+Z49u>&%v7@R-TNK7{eE|DB;>TRwv86xz^9u|_Ll zR6De|oJ_=cSj80$Dc=nz6hjoKzr_~6rs7q*FPqecTwhD}#+Af>OVxLQC>9;cyJk1R ze`A6sS*3{+B^C;olYRl)>+tC3n)S>~b{IMM9a)4fR;2|Hp&VJW-616sLTI=U=gl;C zVHd_25=ZBFFkZD?7wDoC8Uji;8dd&6v(_BIX(AW*;1s=4n>&SwnepNF@M`O2f0x__ zpWYaHg>Ihl6FV$V#kdvjE-Nn9!?nScmPO~!(7eSY#Ei}b5wq6jFgxYrREp~#v+734 z`l0I78@PZAwQiw%$*i)t?{R07&{ngMx7Uy!tJ#--rdDlmlTY>EK>J*Go94Z6ol&da#>gh=4T zD566IeSD37oWa(yUFT&4yh}KG*3MGbjDQHGYUImX@!uppYbt+ezC3OOLzyAnmi4tc zT#F7-N$33S*rFG*>&XN)iEwu!cyyX?f z-3!3Qt}QcU9J@MP4ivxMA*24Er_Q{a!1Y~-tEI_Yes8Baup*wK6Q*VgXx-zZHL`gq z33s-P2pbhjo0g7nCH?!1R7S+*PI^oEZxDiV4jM7*_J=;*#lD08q}4rYn%@~SjFW{Y zaRA8?+ZG*iiTN@Wu8(R-Cz{MrEjQ1A*%k0$sXn(%N5Lx-J4E|x;}U<@j^*w{ zXQU>VU7h2X0=w1ax`1PX4sD>x3Mrp1n8Ba@f!-prjEi)YsA#HuQY&qp{2n~(_7#HY z^6?PF)c;`nG%zbSXd#2v`jb9}GM%vOxY|*kj}Ee4!bvWv5u@{RzV+B7)plfZ?G<1Z z$=N1J6rSF8rqk3jpP`7CrvE9-d65`r9A~}HZ0*WDoS1fRQcQ<#*|@ zspWx{N8kU!lPwEMn-kX=i7phPcc_~>ES!&tPjMQ}iu446JnP4j4fvS+R{5kLevT)f zE`S7Lr$a(BG%KH$<$^O2%4veMAP-FV;qA=JWo7FIhj87-VY3{#?I7+C!Cj_DS!6k8 zOPj0*h&$-EvNX4krOTkm_RB=Epd=tlU62JthU2Nu(GhK$V6a}T*Bge$IcS%=q?8AN zfEx*FC2rpIyVxS`K-LY`u5EyTcDYBE5~8q;5)2i8Adz@tc0@mAKlm70R{A zhyMFadj~2`#!*jC<9us*5R%536a)2C*2F)x`^%-rB?oC|ZM~-@Pn}fO_l{qKtp;NT zb1Nctp#FUHHE&T367v2E;f;UE^qjJ*XTxohT&+mfW0)ZAWBs_sy`zMBFv@;eUl&9# zo~%w(BqRpQiQ*@YiNH)l%>(vesn<*;(N1wtEy6w$GcT(z_Zr2om!)cmFQWx9Gxsez zSqwk8@TNZ%$+@`CtdnDah%<}{ogD;N#8YLT%QsH@>VQyp%da9m-n=O%Z6PEG z-2GoO-B0q50#5zW(|lbo|87gn@yg@yh2$`C{!jEB!KD$ECzEB_Bh`yW*buB(Cdl?nZHXt=NQ6q=U7dJ3z!H*3$KJxqx-)c`# zGJ270+`Cc+!vij(wkqvFE$v-{mfHu?EoQKhQ=mn%>VIwSEm^+bxXQ&QZZQ)|j_O7; z@7sqWd84FKF?pufnm(y*Fr*;ngZ3Cu3x0(7C~p{S1bhx|2ZvRJPaBtsU>3Wy)rO$3 z1wP6rKNWS`EdnTpPJ| zMNjj`p@)NiquU1gAmG&HoS01&-KMtdoO9jNI4)vqqLPI=o0vNaW&WeOs9s+)E#acu z9cHwkp?B`(apn+S=Qx*&d{Enp3K7HK%)I3k9b5d&`sfVwQ{w9ZAMj*G#|C4%Ys=+~ z^Y#fX>;(`Zr^rEK`g-3Ac9|a8Ww3a$?n*qgJkSQ~s1C*4d-A#l@iI|b2)?FmUSy8- zgY8EJ{AE{)kZ(^7qAqH$|6ABTcQdQrf;~8$Y#2Sbetj?8j+UoL&BW5&A%l~TB5HLS zSl7}dv)g%g5)kF|FZb%5HX9t9uCf`YoAf<5Mg}T0#>1^B%}ibMG}>NC$&r~DUtNWl zUh<}r&~d4&O2z$z9M^~i0uSd@z!_EF)DtS@45L2Ila{ zv;lsYx6m`2)BH87i21A_syCd+-93v28rds1|+s=CCBQ% z1dAWTef+0ja98;pI8R~n+RDKiQu3Fu-wkjBFWL$m#dtwGs;^nEAi#5D*%q3k-C{<- zCi4((`dqBL!LO!OdbtUaX9SA_>$J#`R8J5kpTaum;#J4N^CX+prU5Uw=#cRzWS*!> zQg<&$-kc9J#T5*%6!(}S^{I7B7fC2k0Uy#ILb``HWKLCc*s;asUq)nvKdpNmg9AcG zs7}wOHduo6ahl}gp&q?NCfvep>WnD5BE0Xk>RkeraXG?CgVU{T+au6^^1BY&(lT#h zxxVSVZ&Y*_-!b4-%?OUx3ZS#f%lylfAmw7OLQl7ZAjfBKLXsH*9cV={r=y`4884H< z;M%xi4Hn)@)lZoU#Ha{=qry~4m<8f94j(aX5ySPwO(ZX@!bnXRlFoYj$7>bYgV>LY zqD#QGiDvBfpxVW@^b`=*vpY~v39{9Q)ccp$Qy^0#!8@3|7t+xFzVwlKx0tAZFhr0R zaY*C9ON-iYu_SEnNh0@yWhDG32c8Ziaxq3ZZd(*i`gXC!{yQ}@0KvkB*#bzn08PHY z(cic)ljF8SOFeLF0h&YkncxNL+P4R7=XENH9a)588MYbkoQ%6vi(}O6*EIUWB(@b^ zNFt=`oSD>u*O0PX9`(eJB}qZunKxJtb+FIk`*!kW5OGtX=xjP{ zady+Jibro&=bMTOGR{_}E^oMq9AoH>=83&fG!*95Ginfd=kaqWGP>~RV47{8Z@^oh z=`Um2?z~_2-EIaIURAR9=;YoqeOKUop3=&)T`-ZKI{5*&a$rEk2NfZ6?gACISj=X* z+b_fi;y}zSD@yuO$`5g(!J}n2tXc4Zlz>X2W>VeHA(3Z z95a#1u1TnP0*0Fh`rjYdU$ps?yPm?m>En-MOzU&lfBg)*Jm@K!*7&l{FvU?^ppL4s z1Q+Jr#^pT(aoqt9InhV*?yE7ip21GW^yOH?a#;GKirYDLq71HkNc%)yoTa0{d6X`) z6ts-@?bywywVJVF`T-c8sNDdiyt7C3VMD)VTrHff# z3jH4y;=*a^t_-i zAZ>x)y6?RTQqs0lX!z?XaQ;UNCo@BSV~S+802avA{}l3-F>yxS*0?)GiVj5vXOQC1 z!HX1kiVW^vV6X>wciLjb3JfjoE-g^piWPUKxPN`$`{n+<$@;N>tgMrq?6r1svU3t1 zs@w7Su9{A%G5q;tVc7lIwDKci*Yh1IEj&(FZ&7VHN=A~j7Ci+8b6;8- z)32W7Ej>JVpHn8#3NTd>s^{AM;=?YB20Cu$jP%mHPr6b2ke_UJS+2|;B!-;ls!}4N z*_JYX{S13hTMa+o!SpKRVy@ITEF~p(KP{B=CMoq^layHzc|dskV0!BZ{InB1Rg#(* zWDZu;LN4CPdp*lPYo>FR`ZD$>gJyA?fO>Pmw}F#2u;v!40n52&6-x>ws+3i9W; zxUo^;DnDpaM@lx&vAq=YrAW*@0NM-9#5dAc2~^YqKa0=Kt$mk8oiA$0&!HC58G_=U z!$7!CO>_9OR4=H=6}e4zEw^-7=#CBv_2siDsUK6t2E7(RU6)l9jfT0<)~VJZ*+)hU zikfqqzGYE!%G6|}X5Y2#4VTrs!BVZMKZo3#6xAeAa@F&3BL*zZ^*dAfK!1Wksd!r4 zaQj8USvhrlt1ri1zb<4OD*VxZ&nXwP5lgd(Vk@Efng}VZJ!g2g$VW;w*$6Elf5PvT z_e|lWOR-S=pE;9Ig`948l)l8GwAYtCxaxZWs_#0_c>^EirGD+m*^9v`i4(phO%?Bn5n93o|H4ERtUk&?6x7sJ(u z8sj3U_zUD%of@<&mBCyz&@L?^%|GlE|M_Kh>Jq?HKG+&lW#v z;J4c-pMQcsigA8nda}p*k{V|?nn@viakAjYVvHlCi2NulU5Pp~CJzqKxO1=YYCBf@ zdS+PpI;8F%C+I5tC(vv#e{qTuw=rX5lUTH}RNZYS`>5UOiO9I1V;K_eETweI7?of1 z5;t||%ToBN+fs{$KTmoY%d`z)mM!xRWxLgSAsh#~vT69TXo9b%Lfnh2TEFDYvDUO0 z=IE{dBp_w-K31a8-RRG2J?G)Ry9d)o&H!1fMtp`!re*Cg0)Xj{vWOkJvP&~y_dQ8v z^*u%aLlTBjncvd@QPnhb6=tjdBv@{*5r?Ek;EJqtXL3^vb&XyZt`1bKu#7v&lq*Rg zIDH91D@7bfxGH+q*@8a6^fs03$css}a?*)b6PT|v^>*J7es#h?5UYS=l1l6bYOhZJ z&36jpo>)dNV2WrEx8_RwN@u-izeIyCg!ra|xeR87&Ix8WR@U(teV9X)ZGoG)3WO%A0R@A>*Jx3i-GuUu-wsze9l5&t z`@)k$wCp~3U*=BNLwTlO5bqc)M-__kCOKx_Bp}OyBwBY>s?w4kAeSU)r}H8=W+kkI zvYV3IfGX@sw zsWjfC;)rgEBX0p~CN8>2C~vmqA;KW{?++WF!zH3sznTgkO*Y!Uu*x zz-%}??_4ZpVV+hXR#{O#2%i8%gjbOFzm&|Z50GADfy@b7E;b;?a8Z-Gl_cO=ZBp z5oEG%?>IC2sNSJ9hPg3DLn0u9G%)hOH1aS9#jL^AQQj(c#X9s@j||pItjGy2Zv3@2 zKASLQ0`FbTh+cs5T@#G5huE3yAtfe?bAt#Mp<>u0Cm)8yN~HQWUZ$%s+t!Yzm@_$O z7&|Ht`_)+{au?B0;w%-VfiSjHRstWGbeYH~8aFBh2^Tr{i(wEg1y`z-td&_cUX7XS z8Xr0ZIgbED%b3y!%G(sg%a;n__eXg}K*&L0W>(}bJP9z6wQW)QAjbQ663^MlseCL<1h;oTdb%eQCJK(lma@g|?x>NzdK~xiyGVU#AIy*bw;HI< zt^$pA;c9seXN_Rq{9)uN2F&yLs*PQ8VaTqqMA}b<@||4MHAJXAhFEg>YLJII1kHbG zyyRCm%UTzqH+{i;3vIOhi zOeX)r-@mAP@Rlw06g@;qi=1f6f3w?p0e+MNrdIlW>egZ#7Ew#MI1A%GH%bCeh0Zs3 z#kJn<)pPjzEmpL!YDOpxrQpsTZFTf>fOoL;LTW!gSr zlx}E3hfu`!|IH*cS1)euZF2+Jzlu;xay~h$4th)2ANDX(A%74`Ia{d^hI1EKr(=_lajTlsep9oJ&DV?O z|1ja-T&26l*DD=hy7~DjBK{YGmBf+QpuMfLznviGbvsXmkw6W((@rXiL|DW3#?dS1 zH_r5pE(WuP`cxo9N0(=#P;S~>R25_0t_I!G(nZVGIhs2l6u7&!YmX)FRV`uZdsd0! z3HSXl+kpxdvxB-5t4AqB`pCv9w9}8BEwAlO5U+|zzFnV)^=TqN;vF?1#-?SQJW;6g z@E9+n6qT&PhI$bvRpUd&^9TBahVPO8(ET}DrbEp?e<8zegvLb8#e@=K8TYe;er%*0 zZbPl?^^Fv8{gRNu9TY0$;afwQ;P>Y9pVs!ADUL7;64y;7VRlDbx^B1m`!&zeQ7^Gb zEbxQ`yS)ut1{sGnrmFu*M6I`1KtMaDEBA5A9}B%o?~Fa9q!{G0YgEyPgY|v;Qj|1X zdRlLfrnXaS6CUaf;**~qUT*as4W?^~7l{cA2ArWlueq?p?)l~3#K;T`9X#>Iw^&?g zwa;n{Y4Jbza1+ZliQtzg;7%(eCW?8f{+xIaIdYB`M7T3Rm3`+Z}C|4AOr zaRU#)0ga9j(&(-I5#fL$9*y1<5oj9N-YU9+EPf;)<-Qf+5RywVLE<@2h0`%3`KE22 za7A;WFiGuzoM)`eWw%X(biJ%GYKc90wM>`^RB;#v1~;F1A~D%Pt!Eb<55Hgov2# zjQ*;_5yKdwd^@6}jg8;+I(Y*vCHzkZe$308U7WbE{ih#1-YZ$CgvU<>ExNVuDd_I_ zxbE8-B=ySBV6Pdzl3226f7m|<`&j{2-G1XcOIY`N_xr@exk6F~DukeY!k zC!%drb}H+LZ6BNt*y!OD}*Bii)qq zz_|A?>~$1^uC0Hj$&y3sz%COBL=OZFbgG9Zx`GS_u)vrp;R#ATFap>s9N{F+hx>QE zoD+zQ-W_V(UcCanIYu|ze1jiyYhAU|ysuUb7JLLwIXCJ+99(+&dekEm9OJQgs0xR; z`OV9e(j2E>WT){_PFY`GCICno=?P$D&!N1osZ(N2j|cV#s^%yL+$C|Hx zXycAPviz%!8oDIo+1Xy;wS)NZGmcf|)%h%}4zw@tUI`L8)!GUW4b^-tM#9+8DDT20 zwHEP3o2KkQ5lko|P#ZTHIcRRih zn_4U|Y?G9jA&+o(l)=ThK-?{dK#K6VSgTut@n&Y^NrV$c>Fd$5lxJOx-4pwCQ(hxc8Qu!K&2(a*xe$sw`pfNc9~Q|T5*#fx+BPBVz5 z6SNSCD&=Ru$~a!u;+uUnt5z8;997^#j!^o&o1?U8IglXx2TMbH!J3ME8ceMkI%&zD z`{T7~B7{A@A_YRO8nxdqt=`I7We!2+$o7bohCW)iO-G|GGr;~ zrZ21LEI-Zj)oF=M^^C!ea}z%+-taQnew@(y)tS=P(LZb=7;+AuVN4h^Ma_-b&}hup zOEnj4;-lNTmZJpz?vYAl6R-d_u5Nd0^e};kETD$df;uxR2m%HGtKAJd)AZ7}_YfnN zDaqmNvN}S38_}cQhit|BBy{U3$<2`FI>MK0%I*p#K3|gfO`6``CsA-ub(G_3FGRMv z=3FuGEENX~#12eKZpv{EBEyNrk7P{xQXY~hh-IGjeR4@ZMwV9yA_)@zKPkpIJStYsHlDU1K0cBEevrosFwgn9 z>gbXEJgXgTCjy;-(MV9>NnuL?E~M^*fNyKyA`{C?d$^!X&z<|NEpb+l}fJVU1=+^&!0LGc{Fb(MF4-#AX=1ns>f z-yIw6Hee}z74CY6!$_MPRA(RAMmd>z?M*;2k%FYK#;_a zYRU^R>|vtQQY0mcZC6RJKfI4L-g36w;DE>_@~NEIiGAHpEjch$2Qr2uh#8X^Ivner+{y?-=?_V6wQ#j(&UEiL=@lT zSO^xO>UP`fqdLG)5ozmIRH6lcJ?2&D4Lu;dZowyeJDQ}FQnB52R7L+Q(cl|Y2N6`8 zwM19B%&UD#Y6Y_Zny4~xNv@VJ%C-y}{5C9}(KC0|$Jr_mIUCv_KL6M9S1M~BcXT7c zVx2fQgPs~Z{k#Lf1R}53FubdI(2iBr!o<7J`k}u5!Azs^?qzs8(I`Q zpSyrHAg0L3PkIMC2keRy6?~Ul^{mKZDJA&ANGoMWF&7Na z-Gu+A$YY6)-I|@=i;GtIgvQ+U1pY7^o(9+4R?G$i@Z7Jr^AJp|95BBmbM&v@m29xT z%5};ix&$dnA@T<*4G*tC8o6n=EN(HNQ5Z(pr!&BB9{`4z@3Tu7BfbsvBR2lXX5yreeq_aU{@NszkZqF4V)a8$q`lJ~GbC&HJ5X$ECMqG{BcRrx}xNWfb@osYMt``ROX+h zuR4<+dEVoVjH5{SE?=e3mg_G~s#LJp1F!$esgN`tV(O+x8M!qs|NYgtxMs;3&ITbH zDnMZ`pc?9{Y%}LCkt)os$vpr2K=BVX&*6sv!@cRi69qvJk-zcp#&11T)3%pF754p= z&(S(l{Z4ZhIyp_>$XYr^(YH?o@K;w#mQ?QSdLC4E0%@clZH83w-a?KVzRR+Qgs3{|7wXJck{ogw*+@EoO`tU7~K@v{iwB zE;a(AFRZ}+p%|TErrmZo6()-k#)3_HOB6qhW=dz6EAILO&WdzC^#|B}H(6}=URWci z43eS@ae}rmM#%CKG{)T51dM4682-?*Qrz!(eXnwIhB*ot7I(rUI~>xVoF(R*(zmZ& zvvuxrDFSUzK5vS@+94K6)n!*$8W}QqGTim$>T{%9BpsWxyhQ zwjA%RlPqA*s7al?5EUk$+AkqES&nm|z^~i){;HGm-Zbu!N7t^>KA*fqhL#D0e&=!R zQ(CVS@-*3Bp7raA!s0o$`WZdA-X2Msg1FO`oTxKuT<+t{2II55$1O#jGAMLHS|2U8 zAiFa{o2v@VumC?wN*46R3JQ9KLQEVL1(ij6WeDIq1lh{^a^(4}sCJkvQGd{NBJ#G| zT&dJbF?ds3uAG8jtm~9!d9tDFl(H#7Z#cs>sNe`h`!e13h*bD8!_UYo?wH_@uPg4D z(}mn?oinuUJ9SV~_8n^NV~f0s4C-|>O=~N8sM4lMJ8SLVYL+h7*?%fB@&8kPl;WGI za0tvDL-()SiY%W82;}w;B&T|{mF(tO41J(xuHBiSspr>TCF(Iwp1%g}2t(o93a;wmGw|~`hmtD$TEB%bsVJGH`2l~5I70pc1SO^G*4*eQ9_@IRmFi<2x20m4l7BcqWwokM-?F{`PCvTBq>}{3AdQ3;8BnkAJ_{>i zF=qyY)}|Vck^Giq<9@yyIL&EHExZX+<2V??P-(C|Guq4`ek0WWyJ&5lPIvaYMHL{waVToA>bj5}f;JoCmcGg@v{2OSfxGb;(Q(?FtKvWo-n zc(PpKzRr0ER`bnN@_zc7!j3k;6^9epk9l~&=?a@G?#0=`#G*1cw;HR!WKH&KniiAI zee^H{hIO)mre6B6?Rutt+$;#(wVi7uMU1-Lf+Z}hH^)FP#X`5z`dZghgpT9*X*62WZM3y${d8VuULyansr4S|XKPFjzHdo-+ZD(Lv+b-Cmdg zg$$zz&ay#)&p=?spN#ks)GbQA93!D-i<}UxfVudpD_7Ck%mcxYg^`v~QN`W*L$yrI zyIZfN{p!$_%SM;HW|r+0V2JNzcszuyqrwH^ZbQ9ZIi#c_w0@~7+m+-Rnvjf0vmwyz`cwC4u8P3}Sfeo|hXt+|jGIVx} z9ak(E^JF&>*uR%081nYdrK86d-*+~ThilX>jUq03ggHkwQxtI4x-Yrf3!Byl5tK-9 zBnU{Opl*;Ugs&wl=x9;qu$<%AhTqbetkfGHq?!I^kXJ0;^tXVaO;LdB^^@`9i*Vrp zAknfO6=AGo;NKv=L4Je!2K^1@8|*i@Z}8s`z9D`?`iA@s<=fA1sNc}Op?|~phWQQa z8}>JxZ@A5@WO#+4Ke$tf0eTu>+j+eO#cx?ZVEABHlFo0RBEfQR!P3l2YDnI^%Jn@r z!BQex&Wr4Y;Z%Ry9ws85oI8(xb+{qB76e6yp-WeAo1vA>k{H4>Pf8Jaj4Dr(syalu z&%rz-Nt}vO=MNV#-_$u#U}InG9~MLhxrW#!5^-7=G%{j?AfgB@4XPzz3QjVXU0H*E zL@bjtRT1|GKN|lKzFD%}4q0)iG!zz%fg59@nve$`E^Y{C53H#WSSWL!w_%}L4+J0b zT~87DK_=5sZ~#)D#>p+pe<0qmec)6GWU}DDpr8x$cgjXsB?ZM$(Y!c>K{I*a%zR$ z0u4jfdacw-*}H0lBg^?{gN;Rc0#U^ag1uPeMFZ3-nx4 zji2~x@pvYnvcx4T2{j>jGg2%a2=Kfxa3WK6S&ewSQ(8F4_VA~m4o2>=4;>=4e{T?E zWPOsr5p77^N=di6<9#QF13J-a-C@QhrFnjpuewxVK)59?nJHE`vt&>AiJD^nc$3z= zU{m#8sxL9R)bfZ0NW7Kr(BtUU%|U*)LZl!`HifuT;{ z_B!ywl6z{4$I*S#u*joH(A9Dk@w%?C@jmP2v;j)hWmv4o>0F(4m(T98LekRv#aXc< z8Tfd0oUr? zlo~vja&;XI2>WY=#{S2QPe7K2;U#}oJ?qrOi^bjRNW=`Xu`d2Gb6NQWVyZzES ze`O+=hva%0#9sH0HUj?%@e`R7m@ zdY6&!BDbbP${KzAvs$%|y0$vH>gVoFRg7bGeRvX?luT+FItB^GHgyYY3*_r+GfOy- zFXMofld`N8(H+;9_9w@7{|}GX)VO{zi6xVtaflB&jv6W)X6axGF4%p<1Blgr8MoQ5 zZ!Pbc-Kp0#m<6jXG`0PojyItK3cn`JQs#5+-|JFk%PXi#1hRn2u?v@Y06+QA)kqXWizm=X8$cvn;<0nI*d)HdNT-{?d1IpSK`pb!CxyX(wjVF$@wS#mSjkmJDogai*ySgf> zr1c#0ZZhIEoHC@ydj%0`uaVVj!pD_dmH(vgzSwzx?z;Tj+7t66iQy7MDe1qrRQhYb z()P8S!EuwmjLWbZgoRv^D(wO&;!)#k{{cvSi1g!_T}yNKJyM4)789H_Ke$^9qc z?PhF+Jz-^qy>O)>lQUEYiuGfB~yuV!y3FyykvW%H|ypohFl; zP-tQ!7%$8wkXw|ttQ(|&&op_v94_$Aru9e`y~Hn7Fe#0L?{ducT9uDxZK-U;PpvFj1H7B`)4UR@wQp3vlASKL;0h3v(4y1{RJ!McJ1}=2!6#iwwI=4gh8j0` z9mIb+gmUBKZF82ASPk3z=@(=|Nv>LF&B^{gHPNIatOoGPSxyv+@;u7$ zmp#dSd6di>TR8&!c^KQMRxsrY-=QioHmxoV(XW{2&BJK^uMM)B!~J?;?zes!bDaK_ zjIRj$6u+_zP&W7!tR<{aN?xTLdH(sIi27<+K89a;vYiw?ZyD3MEDe4N?1TmsW(_FC zyyRuR2DI+AorZT@*2R_44#^oigs~OP5L!Cb%7QT! zdJAEJov^!|NhqM$923-zdLPeWU(H^Nsc!-8cGg49#)%jA=yRY)l;NDa;t))PRnr z%Em~Y-?hHd-{asQwM&_S0Z}Y4JqC}7JzHo2=-9k!?_C#8g17hAH`C;{IR8*P+-*Y= ztiRGlT6Iq4j4D>)xzVvClH`dnBqv0_e{*T)HKO)n8REYpoU!cUiQeHHlO;wdfk(oq zY5o@M9bAA>gF|N<(gM>WK&Ag96%J@F!BjFOwKXCV(3fIGLsUo%2E~X#xG07TOGJ`) zpovQ@!f32uIbeZmWwM^s^?}P7XEM#I48qZppF9)wV2TQrFaFRKhp|R~hQUD(BljUW zm8BG=v~gGnNjB+GNbDOGL?_QoHek2fg*Snng*Klh1f|gn$iY&))u7ed4Fp_Bq-Fog zy9w9z$;_EJ_0i6W-}T|1@D>tvup7{c?dl3*qMZfJrB*2gPzX!+q1Hlo`9=`v?r3{1 zhDS_*@+eWyxe7wixb^0PGJvHQkh$gckLXY+QmBycL%0T#H)ueS&rt`M2}AgZrIPXF z=c235R4^wlMLDEm?GmCWlLP2wdtxk1>I(<>*~JpSiIjr#68;vW=FKP8Cb+L*EW?D#Jl0iMhTfyQ_{{)@BOKkkFonRP6yfV2aN+i z7amu%15*nao9wINlK4+}){3y0f`0f6g9>N@bZ|)16Mb&lG6YsU*##i{M(mJ0ldcat zY1!e2mXfE8^K2DgHC%~G_F)K;A#ZFJs4cux4>T_IGs993fnp8vA`_|b&Xj$(YedlX zaS~NFVpxG?$x1g@`rV_O{d18@#or;y#b-sM^)ZFP$UWEFi<)!rudgzd3)Nv2M+=)1 zniU0C)KpFe7yR0_5EB6F{`dQT8C3s?-TJsN{TvK^UOvCGzHZ3;Ph5odi{9_6Gw3Tk z4#5#Cm!JAS(c9hq9O1C4yhkdL@8uOMvk&t>IlF=b?*MbeMxw z*Ty@CZ6#-fW zum1Uplls>IIUDWyIl)>b-%EUT@9AYFe1x$r#h$J+RD{4r%Dovk@=q}7Mf269Ju7YB zp^D1LUFKC~lc95fR!>7;TPS~tJi0_@C@kpO=!ub!jvSZgZgCdbS)qE>-!4fzkT3u!Z)6xS6-VgNb6ZG^3-`(o|n>JP3s`~Hx^eg5w=ioSD( zK{;FBWhE1R68}v`LP`1dP$OT&Ldf@%!)K=5Z0vAd`7|qW;bjtdhC#_Teeo;i##D#{ zQ{_nV;a|lVf6E4qt!`7b-ceN|bE}FletkqN^es~dyFacjA1mhUe{aUBL_P>A1Cef` zU%V=CuI!D_PA>~aqqR?IT2z#>H}1t4(vTjd?bOZCGqLjbj*<)ybmu)oEO*)UF&QYd zuhxIiFRKMBV#$k+>t1xW@djUysL~|{yn6n)ZVTS-|0yDXH99T-gRbr|g|oRGsnIMr zfz%_JxQv?fAoDZlH|4J~c^~DhXP}VhR_br~bWkYDqoRSR02&svx&hhPA!?54@YXqN zl6d~yn7N(IZ}<;swZFK63R9~&eYmdlwt0l&0ET^jg!)aWUnTjk)3A9TwMWh6_kyC9Q7lCG3rx7$yTZI=~jo=*dE3AxVxuoX*}DPr6#ln0tSP=*2u|B4X{(f@%FG zmYsXmc?jH(;<9lx3yhRrB8J7H`HhTm$VoHo6Y_>3p=vnS%L}x4(41DAsXMy+M;7V5 zORq9ER;?To?zxJ>lr#qq1)SE-sJP{pRx+rf=Jro)sFvt8k$xWTIRJDyOR0gdYB7a6 zNz`cX%(7fwFT%xFYhzxgeRDp2&F-EfPQcM~oD2aqVNN(&Y^dFih+NBQn94Ur?}GKf zVJNO#Qi?u#T~*Xu5W5voAdyI$Xg*)Hh?XCcp))OSod#)8MzeJ5Kz8w?o?)?Tp4;{AZO~3 z#Rn@Y<*Hct9ELZ*{)74w46;XuN2+@2XOCIxpJccmrG;ix0;_($gu!z2Q14t14ST|eUN6O%N$O!C`bZhSE! zWs!xdgpYjKauw!t&^n~XkYRzvL(ZOMNts-{awu7WG&dtmV*e4GkILAP$=ed)qI`vJ zPW7#M;@L&-wj^)EKV?#Ch*MJ{0B=FZAl0Rt32@6J=qt(C)5uY%-XIW`E7?9qP1?Rh z2O-5ZF-L`2NNL(H5_}2@YbJKHKF&V(0%s*Tbe8b=L)^tO5>bL$6^lCk0|T@-E9o5g z_1y0G_qPwNgBQ8YkL14OyI_QZV85Qzf5qi02s%unVw(z^&7|@rFUa1X0gm^cuK0FL zC32Un6el&mCegXg6VWyeJoG3DEbweWUQ6>igzpVdZy>{+weqrAw{J%78m5nJ7+yK| z{pCn-=_YV}Y(2VKtix;QxC9@ zwtfoOLq)fD+uM78f;sOwVWOx+H(wTXhD61EwX`)+bMfhw;O%itJVA>>%;^(p4%3~c z=V$&|R`xE-tGv*-;&yueRLXqaHm@HK-=#X}!BffN4nB0=u?RnmCb30klChW9NA=z` zaNOAJm5OqY32~_ppkRzU-5gzBy-JMKwJKuR63gWO-8-S}Lw+b?QsXdOD+TY~CL7>_*lbd>Mzzs=pU?7~8&*J)fdP*dukx>vVvYR(JI zN{L)BaIsak+{dS2Z%%WGrb|;rc@S2$!LX0mH0t(HPaISN9Ch&iLI%}wQUBX>cI2rV zvt(!R8cfO8e<&X<#6s%_{Z}^BIV;7?Fl1g}q%7-IlFE9Tl2C7?rGus)X+QYX6u&_u zz2@`f6y$4qY}zrXx^kJ+!H7Q?!sDg;{sX~x)Cv8|Rt7^Y?xO#{;YuXlSR4De$I47i z{oyv3zn-U^D>GLB2V)Un81rMsQA^Rzt3`^q{~RoQo)%-z)4z+5 zVm~>wobMJN1j=tqD~lT<(zm)d);+}AO{N)ZzGP)+(!6JXB53E5Q{|FJXu~`;{ra`- zbDt~<11Ac@s?^YhsU+MchsL6yotboFZS3xDy^kIa)Ek(mYYOgNZ(fVwb+>(S@TFun z9A?<=s`nKgw_k5{dL!;W2{1$%N>w;QiwKHCJE!c4UQhR5B+Tmf`}C&oYAwld|Hyoz(1$#HsNkX*PPt`Rwz_;Q|ItE1|6f<~hn0uU zq_B`0U<0_U@iM#}-V|ab9w(fZVm*Y;-0$QITxLCWWA@X0b>)Z%$6%0AK@(a1&UssG z9)(D!MDH7{c|vcj+vb>%u6aEJ{@d=_H0h@Ufggwz%{iNwnIeAmW{T9tQ<)y_>_wl@ zfcbQL+P1suGH}H3hrH5W`spueDWOpD;M=ka7_C^ePP*>COZz`xP5$@RT&>X}hD;*G zB>`jweEk{ng+5L}Wq7+qAgKb6Cv0kRM?xgp>+S7hLP{)r!`x_pUT~1upll#39B&P7 z(bVQ2xn3CE(99Y_h(uv&VV-Ns{P(el;X*FB;rsQlzcfyHzSy$C7?zMV>(J1|iIdn5 zKycEMHDKy_#kts|vNr@H^3anvB%di;Nu2troHb1xYi{kr>uITg}72tkLvNM4f!t}mYbRl zhZ-=Z|LJ#lHFv(4u;3@|Uq_NDte@tSZo+!Yu>nM$4q=y#MRuKc5WPjb@5SFi( zJvEpKmK&RbX?w@#A3N2r_4zzEaq)CzL73L9&kH_BL51@8L=pWmMHI5ql|;@tI!-7$ zWJ_yKr2g3UMb64`Q(vwfJQ08OeBArp`uRP{Y91Z(yRh@+!9zFC_2k!IADb`Mgcb@R z3~+919lo8vOsaxaM%vqkOa+{Of$*fbIHni|GNPqC?=zBtak4R`++;JNK`=A3GjXTn zQG-(guI{E9x-w1lSI9)YwjvJha92MKP&Zun+Z^4Yud0NCyd9o)uH+rukG~Vkm0$B) zm;Hx^s_{g+TEUWfWFT7U0FjN2HFSJUqoav|p~(@%NQO2p4>uL|ijV0tB#SF(M-U#Q zBpTY-QH)ydSN=AP64OY}?8cJ#M9*!OI)^g=I)d&0qhbOC!%WZ2P7g8piJ5g>0KvAm z1B7U0V{Hi^1e`mtN9~B?Ix)2}E`fbyNNIF*YHAG6NKjzr z$UP_*;CFY=K=>E8h>_tBtPEUkP-8J^>uaWw143tRFo~L0TEWP)xU@8gp7-VZ z>bR-5P@MHOjn?7qqnR0fRIT1o}RJE+bST@{VyM$ z&DSZ4g~2DlYV`SJWQmKa4Kgk86S!UxNN|S?z~54Z&i&M`Ve|hwmD*aG-GBzq{cM(O zNaIf3e!TrOdeI-e7kK_s75>5&=^Gt8yM8VEQsUa_bb{(p@6m76#`gaj-{@J}7`p^C zZ*oGda)FcguYHNN*`BctNnmAY;Y{C_#XXkE9ReF{5L!&ih$*j7`1UWh^~-^$ z(iBQ5B}1zBjWMZ1LOqh`=4;WEq>Mc~6}YGbb5fvftrJ!`)aX7LA!vsDy5H{EYj#c$QJnC#w^Mk1R91*DAN!T7#hiYHGI4H zI-ZXLDzs)}XTMJNhz$D#8dMYg8E04or@4~u?Wi_ou2WKd1H|KMk3U6|R`lQ7!ZlH- z7xSP5faPf6dK1q5KCW<7D{%>R&k}22H|1=WAo|xBPK*ZQYeT#Lk@aE=;Co5ap1K|u zIZ2Ci)@$EDAKzy!o&s!7meqeoqeO_fCrH+C)p_PS7m9+5ppv)#^P1SV7f5lwTk)H; z*Dd(Gr6A{K1ngPW)&E=Mb172^4iII?T&Wx#b08ZJH&r;@t%%MTt3Ki=#T`9Ti;UeU zJElB54d-YHRDy3ENpX#=*etVnKBO6I{N6eKUn3Mh%wf2fs zoQF^_QR}lLm-LK$bJeK6>POo+^H5eiD_Nny^VL`JYp8i4oe(O9Wow}F;FQx9co;)A z^oh)z0orm<8MCugsU$;Uz57t1^R)9om%S?r`sA}na5_keb&{O7f6Z|w;Op*9_!?PC z;@hDehzBf3IUCvxnI4S{{ImV17v$z#?d*8W9bK=;S8rvtvkhlH0b8c91-Aht>6h(U zxCY&3G{u76=U=hKbv0(rq{T=8G}}~e?NC_#0J^jd+$}k3`Z^4*p6=$SXxc^|b$dZ2 z(OPM-M zlF&%}49~4_Ef)ik5t37J{3#r}St24Hu4#Ar#?dW1=}&5}t!`b>N##CmHy-r;8U2=6lp48UNFoBk3vRt__3wwE}CDG}Im3T#Nw9B~H1H9OZ z+j$Ky#|p}r{pEJGQ;&>knx1RCa$d==Fw!2U;7wC^?mon@+k?dMrlR)>PLqH9iJOpT zFp2{?91AhWj664-g`FS?H7y+t~mm4(q7 zE+LdjEhJBn(IrX@T?rq1lbeAV^Ca8bBJudsg1OItmV{&@PE8H{S{nDj7?HSR@Ipv& zTJ_q+ivq1L<=A>Y&tj1?25kzlBmQ%}kn)89OXJ^fT3pdcSPPmy$~v+8NI=mi^ylOL zjtjj{BAq0^wP;6<@P~5pIMoM!y5#>WZ~~gj1xrnC$Sa%A?z_iWfn~y1+y(u z2Cc1?V)R^D7q2UvCVx`tIk?o^`5c5%9gJRIKGGkP7lCtnIVL&W2tf9WU&pJ+3iE)Fz!hoqfxF4A4P=hO5K_Y0t$+Q^F zY%(iis4e)Vl7}c?Shl566Y+=@uaD>!L#^j>0L$!4-<`UCX`z>XvVI7i97eLMJn}dr zIZizTEpY*!Qvf3E!t|agg@Ij3`NeH*&~ElnO*;|?9=4Y2FSg0HpFn?DbGgvTWqHT8 z-Yu27t|sI^x}79uapzem`M=bx(uG5p&0s(J=M=+q z7DF6-j|npY7WCdyuAszmP?eUbtB@ZIp*|8 zn9q44{Rp^%fg0H+uNzrES0TSoBLOhbe$OBt@6{ZrXZwub$GBtN1az6YB$)43~c)RmEl8Xf-^k1+c8WsSwLod4fW3IY!7?Qc>>iu zFVI(8bpPbRc)L0n_l|zHK1$b{3`scNQvIClDfH1$HrL7PlSs)*WI{qypyeZXEH$tC ziG_TT_i;n?pSshEdMcDWQnP~Chg{~T?L+Uqu3%!y(Q)1jhH4N`c~u!{yI`wgx} zf$5S#)qkH1cR+PzOs@Tq7O8dDT%PF53q)K;d$;w|&-DvDJX$JBVpG%;0rOo05lietMvjj+A+u&HHjjsNzKO`zE&*f{- z;tKxDKqK}$nz3dyfP$%`%g^U2XG4x~!wX7&i|F}PRDjlBVSK+Ha89t6M4RF5Qyv|68^J$eh;qPPB+$ss{)~$skOlx zH>P?gzZDWKBuBA6grwKwtwKhs)dH7wJAbk{tW!--fhkP3{?`i0G~qr+;XvR)*t3=Z z{L5B8e|SfLIv!(ZO;@typ;LBmEpByZ(L4~)_w;9l#8F!{5(L2>0gPrH$iOT)YdX|!sgZ<## zlU?O5DsNH;gAv7$!B~ixQut`9$1WAeEwpSo{J+5;2T#SQSUg!7Qc-|H ze4FN7{+>dymo3WGhrC%RBTS@x6+qYoyO}z*YYI8b%T6YZz8U zWF4MQUzU8N1G64qz3@um3*ZVDh*JXaac?3d;Qx3J%~mA@8s0an>xFsg-@2E^1Qx*f zm$Pu2($w$f=?#p8$M@^yl|nfxOr-y2x#==wYMkqZ5HKsmKWP{o4wyVGUO&&vvvGUr zQ^_F^8|GjkBd#BKeafx+HzdtmQwuzc7{$0XJ^X}?_1M=Uvt$wWQ#o2>EJOmJiZ?Ef zg9DH0Ad)V#f|x3-u?z!^8+6~W#1+k+URDs>!Cj~Xh9hF*p|`LcMET1IsAwQk<&|=J zyu9sPE9W6fMQ;ZgR0NjUWH0{g%q3BU7SYTwW)5Y!KKPI;TL?J{J>pZrwP_SQBkmw1G z>8e$~O#Rc{dCtbk{atSC)>~^=Xl6JVzbsAYf6>pg@zN{O`J}zLu!VqnXNh(9J{tBf z$JQ4LE=ZL9KJ*4c)Rq5;9+iU9m0lH~8r=WWq-C5VC;D$1qpqS2obIRr8FigzPW_-p zYJc_v&gV+!Y--WDzThs~CgxCHS~H8b{z6tK-{Sp=oe$4X+gyQ=zV6R@$&pfk~C-ferT=C=;$*{h2Clh=e669 zr>?LvkVX=+>W@B&NJCjH?qw%(joh2$qI)Lrec$?`5aSsBAWwL&7MCI^$7rSZ7lXl% z(P~^%P72z|KZFD2jp-nhmbZt2tS7nWp*L4R97%nUN##q6(uKj409ZoIG<;PjKK zElV(`3NTfs>F^Gj{~0XFeNcyQ_K!W_G9`jFAUC8rksmPt$P|CA?Lds?h0CjUSEPHM z&z(W3|MM^Xh1%}$6b5?9!3_!sQ^9C(DP(ES76d*}O z@cH08)!t4b1R02E5t%%r$M-HWhjoOQuW_xZhi2Ed$Qzt+V%KXnFGRRTq^aiC}<~MGAr*3sW*{ zinJgcSmaUySA>3rXDRP$(9ecECbdzjP;asi48cK+z=%)HTlavt<-4xRM}I?FWwWNg z{q|X(<>!~U#95R@X|7F>bW~A_GJr(9Nv3(^gqs~0Gjn=pm?fk6x%VRkh-{0UvQtgW9msQ%F#^PoygcnQ{V1)z|- zf;#EIYjwgR9cym9VDi9dLh)}hiiHxvzcaArP$|7aMqT(sWz)(`cvMftP1C3Ilj9dW z2%d^_Ifpmnc4gAhKUhaC@|JhOK?faIA${~T#+1UZ6$7$(z?j?G;E9Dk)5rF^8x17N zcbN=zH(hQ|8M&y8p#Po*nA^c~OIq3ZAX6Lx&JxlvKp;^_gKN+rW>)B~t_- z_Ss*KsAOyxH=tjlvph07OXd?IFf+anak84Gm}8n}^wnBY;S7&fp9$13qyw5OMpuOl z1xCy|P9JOdgwo&Z$X*b#QMeuvwB0n)?k~<*!Zx_Tik>PdO<33G9cW>lt)BQ;y#322 zu`{2~1=k*(YK8vCMBS;z6z}n4+`=k=kR#+qmVTbBnZFihh`kRFuZ5GJ?8;2C%X>-v zQz;iyu>xhNIVqq@RVGI{RZBZ&3w{lg=jo1hx}RX@Za3^J#C&<-D{;L5v2hY4e^ESAZ>FaS~+F_lgoAZ2yJ%@ z6y&86`4v?)0R3y|Pn7c>0pB8tOqo1r@3at?&qK*{=(}RF`@C>uVrW$?hwPSn{QAvH z;bFe`_>FWEEl*()P)MFDqtFI`ci-W1Qq1K@CkG5{r?tGt*bJz8W9F(Fv}-AZL@!6R zN)uSC^eUlCRr)JW?Q(I1IA|_9OJT*4TsTGjN|e3CSws1Fn_PflB9Xc>N%qPO#-Na3 zb#sP}TtC-#&if3*6|}iBLx#4wr~mR#R+_L!JGm2sZO6yWL;fe7y%`IfEJtJM&YEm> zR(@(6UrdhAmIUMZ)<>4vN6aO}2bsob{EOA;P6uhyMu|bioLh~d_hG8d*8N!l_V`96 zJG*-;O7%Tt5c7}spjM*OWO5y&+~V&*{2PdJ#A;SrE&$F0aazpw{MpYQivktT@=|P> z8i8NgAG0wSd4%wcAkknl~IpDxJhv6YwGu^ z9H4?!CP;$FXUknL%b+FmzESf6I8xn-t}gzB z`HRY;Zup&E*#s70!1kkSy&}OsPREd@!5C@f*Z(XQ^eq_UO(B63hc=_&Q|}UV5eI0K)UQe)C`4x+Fv#4jbsTVU z04PW*Tdkx29ZAofwIrOn77DdQGLVeHQxg5bkw)QyQtOzdfhc0d4(u`?v_D3`b!5E| zN=mo?frSQ#Ye$F)<(Y+RxOJ35Z@YC;T?Az;~AY~yR zoj@XC%Ys;whCELe@!)+uF8L6h^4hrsZDWv zd3HQt9NjjPUzt%mskjQ9k3|YUz$hf^EvwgqLu~sz*+OEMjWOV^8&B@sw=+5wywRuC z%HJ_p*<9L1 zge3qqH)#aPrsHaD|8I^JQ)ubbJyGVOsa{VqNdB+kiOq8IPGwlOV8@5P%*9P~@$VH( zEQZuB%sPdhUek)<|f$kqWh zi;|6sRh=M8*{0_QiQr_&BD1kzzJueljwXTqx*~k2I?TRh=x36@10cNA{B$O5GV#L@ zTX(4*zk{omlkX)x11LUd>l;yxTS=w=3l1&KSC#pTgfRhG(67km3X>p}PMtu8!ovreVPx>*9 zRXN1^v3Dj@Co8u)7G7`$`6de6d&b9XqLOtVehk%?D9y=l$1{RKol7dX%oZ(O`Cf7V z5bIJzm|x&Ow)S+spk$U)i37J{(R0#C7{5YOEmow9`)D=5Pq%gd{^J1*a&oTH_ zpr4Q;h9FMC1c?}>-$$Bq)sESs;KsgJlW;6UsH&f`JWI*p{Pv00RF<>4;E+xpA=X5g z9_ftS=y+X!DfFNizVyX9W_{WW)+355cLUjC)3wybbK!Mq__xN$utBH}xE36sF3BPo z@NiU8Ht1carISWT&xh95*abN<7=DR-9!-dx2#C$aAuKOFq;V?+H75_--(cYMczKTh7S1b5 zD~)_84hR8xIa=U=*>yV#vgvUjeA=xxF4v3mPPUqW4$?5z1NCMph0A)VQ!6SuW+@%* z_KcVhs7TP)dQ!=nii?u(4Ha>y3xH?7QxOZIAg#|ey$Eht*hu1eXE^@&{W(d*AR0Jf z$)zr^3FXO6WICAXOt6@q#JMYJK2MM&;Sa>O<|H|)8d5g^Ks zYXc-$t_r-=h>sIQib&bUU@!v^6w<3jkQ=H%IlS*MEq@hOcH6+uETXh6}3kS z-Yo6EL1v-V^yzyxt94e@KuKXWQspf5L6IdeD`RemO7jy~=LI90%t zR-JE+P1>VwWcY06xe~Eo^Jrdsz=Z=QNC6SJtxH&KS;pQ$gY>C;aU*=Y_knk|Kh>++ z0i5uK0d(c;znDuODi*yWAr(gCP$COUPQx&$yx_wVtQrQZ1pZw0GJFs2R3%^fb#Aqe z|G>d3Nr!`Yix6b&zW9-k&HTc>*GYqxIj8`}Xrw_+DLG2Hl0T+k*KOwiFcC;1!JQ`!sB%3>hfi?s4bs zM2J%gT2W^F)Eh6vS|0MR*xgvr z$d-IaW?EJvUd;c?#?F4kG>ItN^#o!@kc@W1RS7BB?8z{qf_ri(3~eUv1~8FdJMRNv zgkHOYQ=&Cm_s#1na@<{y^{qJi18xDx^?L%JLADyzYGec(Vb{ikQE5AQkH7o!V_qbG zD>Wm_(+4rp2u2qO6CpW=`9hgJ|J9VB)AUqx(GI@j>zcJ;0;!3qBxtD$FaSW9=%J&_ z$#)Gxb}P4oZ|%s>p;G$O%N;K{A%13|eBFmQN(0uJ1nhm?X|<%pcmKM0n3WH_uzv6G zy+QxwV~~IwoEnQADXdF5iF0&^&3HKW$u;tg^S(y{x*i*V^9#>AzgFA&588UeB=igN zypc#tv#6d<>6trefollS25A3`E-MYwFUq%_4ysQ5&{=Ucx!I~WQhhb>P5rGWvV0LQ z-#nwQt}81|B0I>glt;_ee^mwSScdmx!wzjZZ`7{UxY)sF)v!h3Y7KB(!wM-78f_=G zc2mSf8xuNi_!*8J&{YRoGdXm}q;|F=c>Gs;lk_)|bV)Ud`*D`s0r0Dhfp9kJE;7mC zSs0$X4ZIdFU8&U9IOX-FIwE)9STJb zFYfLwZp9sn6nB^6ZpDig_sjRqy}$3wW@abzB%5rq$?R-4#U2I8`Gy2>^h9oCL=3CZ z+LEsQHA;jg5F018g@!*@R@ymo7|7foiW;lf?yZmxm$T~aRYq41hLyB|0Ir~Adkfew zex_EcJBEf_$#G-U1i$jmkEF&O=PT@begxF5p_PYRww^&L0j&#>)>db_S#jw=DP#9Z zlR;N46(MI&D5JN;Cr0+^xJJ)3t0U%tVG^RBcw`*V$lXEr4VG_gxw8!c6R*k^If?#q z3xWtI2gGwL%*uQ=z5630gQWv4r*^iD97m)SHT>fOkj1b%_RjnJUZRguK_{+S@Q-<{ z+aCZEUw6k#k~lPj*DJ2n;qnI{nqxT>jLn4T#}2CcsdM4u6^vH~Nx<1Dw4ITcBB@;# z4*+;Qq!;7hO?bUD`ie*&2SZnXg>C>z~Ts zggvn{I1S`>!d%llMT(hifYO{Z_MKF9qv~>x8^m6pGKvbDPj&H9w8DX0yJn5CtlFZ% zG+o;LW-;1p)g=>B+v9-@N}aW`r6X6uMB-upD2CXM@4_Gb#V)lk zc@(($$zHrIS;MJH*DKb*e-tCaE2nE{?>Vc|Ce!k@|<3p(I8Ss?X{IzyU$Zj9o9 zg2r_Vk{<6EXPrxJx=@+0oJ0pE{|GN?`buV2PFtNzm|_DHcH;s!`fP*7G4&YlK+P1` z(D5$h;_*n{t1=1lAWKCVzRpelj)=huXYVk zF+at;FD#$5PZ#*GxZlrJ;j&guylkDABh2Lkef&C}9%Sl+=Sy)QE0Jo17_+?XJQx0I zF}PfNNH=CozZ?o@5{mQ>bnit{wN=_;7yqK&nLkpg#ap7_QA?D|s zEuZ>%VC3Hix_OHi>C?6bTtSxbVRIB$OWcdbx)eNtb%}3r!U)IWt7V!o{mZ_rfot}^lV%wyAu0+lsLAWYpa5BZ|3hl*P`0x z+&@H9=Ye%5l2VD7&QsHYm7g2L9wn4koI@;X%s94 zNQ)uI%0fa1&F3FtU@)IYtuU5g+NUEf7j3oA2?E_x_F0Hqt+=UoC}Z`wRf%>Kp7h~ zWmBCu(XW9J``6v1V#bU1BU-XVk7+o_Qj3*UrgNL2F&9g%k_LpRnLa_@W)T(oKAa>I z5}wlvVT1(NOCl##GpvLX;V|&o%W{!mQhck+&z3}L!de4gE27-s97Zt#l)L<;l?GCC z=zG~;Sj_j+PWu;dBT1fGuc@l3-F?xlu6;1DDn@j1Ru_KYIV(+KbH;0VD7%ztUE)&} zA_?&HywfwQz{w#9?VL7|A-z1A5&EeP^~9lSXs~1XuF&cw|B^zGLv)%{y*P}NVx(Ge zR?F-277;=vBY8f-^|$i@vhJhvv+m(Nvd#L?Ykyg9h(G;qceq9SmAGpOpHZq1BO}hA z1r!_?FJH_D*12~?H&j|2AsaZy{<5RcHIibP3@rbGKA-BRH#;p9#7d{tB&qmswX0Pa z3+rD2{0pTc&lA|vbem5;BUKaR!1csFz7`OJCKs79Y-X1~In31$V0ygXj3pR4{KhHF zP9jWx(l-j+9aT(_FOT{|#CBHf2nyD>ni`FKcf>=(7nhW3l8{~#$!cd5O!2*Wn6E#X zXGi%Lt4)ebxnJM|7qeTey@gIaH~SF{>1HIbBA5PR(d1_KUFCLIy;0J*Sa^3~T>f(bDe*^S(~EF}A2dYQC%=H=pB}Jt*bRMQi&#;2$2|f^(w( zyc28>xyx55gGlh&bVO!+@x7vTRw_IQ^Lt|H=j-d8>dHc7S3D^wmZme@6?Y~&4D&`D zsgcWC#J3F~aD3OF(A>N0f~$?RpI^$0baZ|u;B=ji;!F&gPapV4?Nw6(r5Uc`Xb*v7 z#qH%ud3`szsr4Z(j~|5JRDcE2HDd&U`MCL5K%5L95Can`hoY0Yq=~x)C8H!iCy0|9 z#0TaD{}+-*=LYJ9{g`%f#>xZ~=`OjhG~+@Sv^K$2$sFNiCGtfh|4wVk&J;MkaxIqU z+jU7JMj-bOhxCj@_>_F}mGZQ8B$7G8YY>XPPg!qN1BI!JMrlE{c$Xw>SV5?uvFjyC?5lvT-+5QIb&>TgqhFvd)T44`kx zsI`GIOvv=z1zX~|qg^4AQ6XrE=|!JgE$X66&{^LiEQI=y;1ME2^_}ycF2uqkPC^<) zbH=R|F~jp3H5epm+gN~xOkaD>6wJ8pp1S$^l z`ZO?Q8ZIVGn#=hn2#3bSGTf%2rq4w>I$#+x5#gdjFo;tA(pC{T5|}Uol-*b zw3$lN0y5AO5}>VuQJ!fJeVEPv(3y=U?im{7T2AOGy|(WP0c5_)d_5v?}L)93J8HD8-=UL*B{Fd5EuGmS)>3Gz3e+8vo9qlJcY6R zBf~w)afYl_0k}O77Rn8~3MZf8xC+jmcJmhFIDFs!qv?ue+-ChSmOtr5qWWu|*J}%5 z%w@OGxPrHgKm*rbjCbctXZuPzh0QQc5szx@6rne(XJ)xT;@~Z0T`&`%P z<14&DX01IUMP^znVf+lz)_Ii)t0?$&iu0>b=4Y^P&*0tu1e0a#?EW(^d^_9?F^HgYVEXF0ycraKizjnqu^SU^mrcL3;iJinWVvG z3YTe?GAPa16GRToc$AaGS?_&73BR*@*ZW((LN&f_!2dnoZW`Y|9gah~CH!Mh=;$ z>%Oakwi`7SJWZOSfzbX#B~NblS}v1O>*-#>=9bg-G-Wejv*#}FL+>aowolwM^-Q@7 zQEpVy=*$fp%(4=E;-$a1Ab%f?so>G`*H{lMB}^>X$!R~_xa`5+FEHUQH<7Xjgb98k z`6tKEm63S`&1hzmFIC zXE_cIro$6}JDk$&^lwDxb4zJuf?k)iuzI&&zo4!W&Y$37^-*O)Fve*h>^>ryl`}J0 zmGHqy2juS?>+z!^-`B$ru6gz@3AMMjE+azrn}$zoN9P4b-C<<={qG)O$)3LWd9@h8 z$~VNt{^HX&{K{3H7IP7PyTd2cxhlL?eop%!BXhzE5OkY>Gv8m`AN@Ih_?H`)bU@Lr zo=xIx3U+51x*VU_I_yX6YH5~jjEj9(O0NO5YgVO9p_P=A#S0`&0*@3c{fuEWyLZ+Q z!m1pM$9u|vi5EV8L(ki*HjQ=|nXg(ZXS|^1mg|cH-yO#O+z8_JU@}W_sc=vIra<2_ zGK#-I0|&EcMCeD=-ui)1J2=4z#O6RhBj5IR!4)LI6K*lr!%(}x><`np?n|hs9n-=B z&Fg4Jddt1*P`Gaft(SGqZaAkWH?B*l4;|+izL*s;57FN7C=cGrpFcTfKiBZ%e!1S-;hQ18Gd|(j|j{c>1>3fX*3zk$&0cEpn#i`X8w;Mh9YDQ8O4FW93 zf`w&GfW{^&fr%z;acO8t#THq_+# zmCCaK3-Dq-VQRaM0uCHEMn2T{NvP=vPiMh>1b|leWss&zQGHt5xH~>0aog-(6H#BV z{eHYEVMK3HEzq^koI+VakDw9w2?!}ug5H=n{e5rlO}j)nqm@K-;JwdB^j-wT$H%2OZtI>i#5h8{o6Rr@5?(G672Iqk=)(h`I>q^!@UAmjG;2Z2j|S!zruTW z@YwJ)QPE4pCND+#CYIK*#hZ5VB~fE=V{NCZ-is%mqkP=s-5dKZ?+j5s4+D@uxO$NX z-ZAf(#YJ1=8j)h2F%JxU_KD#D9m&m%`0qPuo9_aj&@}Fl-zA1bJG)Zq9F)+K?!9?l z{_w*+og3U^xZ}29-wxi7zC_+3Lbzc_-!1gHNbJmO9E?@FmZ{hXUN7nhhK3;i=R*gF({~b2041G6QT%lrz(!K zD7oRs>7!a@V8%mbxZ(XsEa+gfzS(->b{J-mbRu*hWXD8oDo`%dn!-=>MoGixu}0~l z8iUA-P}@Kz1O+mpF2)0D2t%=|jm{3%L(Lbz5_Oo!tCGIinrIJdae`RN5u%(I|ewc_s z>$bQV6?u1T^y{yY3w}2Vx#9<9tQWo6jenD|HhJ?4RJL<&*BK?{pFOW_UB2waS~*#}&W3&Q*WD(o z2D@EIkM?oj(R{hyV1H^dOg(*~)$1o5fMnlIyKr$_uAkTL8p#=MnEv1(>Ar6}!Wp!x zhK=i=KJUm)+o3e&Z{{T5^OSOWI>Zyoz8c)%Y=+#QH-U&>zIWEMn%SkH_<^^b8w%HM{pGOebHo-J4nfr+CJz0#dbBhf zqd7$86A8m+rN{UWr@w{&NSWJE{G%rL)TDc6)weM2M`L5HG<|Gc&ON5&oO=f#dhLZ&X#WA*yKX%<`LuK21$Z>d89znoP5%f(mXuk5?s8Xj}m-R!jyvlFT?mAf@1CnsN8 zz%4uzK)2}StYJkocyXEOBZo}eLdCM=A6((Q;ZrY)i;G(qkARCzYmP-_Qa-c?(mkU5 z=~3HIVvxzSt&TRYwh~)ufM5JVCGQ}!-_NdH+-q{g*!#)uOM`{Hs>;qI^xvdaw%cXL zB;WqOmvtY^?EMfc-$^V@F&b{K?2lFh2`~{L;6tJ@`B<1aqqAGPx-x3^uU*xYJHrDN zq7?tLniyZr5fkK|Q_^oH!Yo_Pn6#q#$6B&8QZ3;}Dh^ZewRdUYhyoC>^y_jM_D0Jk>GVLa?oJoQ$-t3wXTGB=*Pey!ac zpwx+}jg|%CrP)fH;b(jIk50c;8S8^MEWS87YhZs3LZoPCqdrR7++jnJZ`ND(v~O*x zs%NZ=5;v@#39fK;lLqE{6_in9zP{W~Jt{_iYJ~lO2H@&cs?bCt>W&UQ= zvOFYP6U12w{ho^;{wgKvNs&B_D7*9bKr3lTbx)SFuQYYF=25)H6tZFs@%Oy<#I&wA z@v(aFYmTQMtz-)1-CZK=st0Ki8Crvalq=)9QNG~vtmbSQr@2$rjplxj(uT~@9YO>!LB3RD zF2PBF&}l%ZW;O4TiZj*JevP z?cs!PxUo6)=$-TWZnB^JwIGu*b|4HdrTdZkS@-SDJkwoi^$v0t9VE5LK8Xr(D3wkx z)m{hJVqf8^CybvhOHX@K>7EMMe`fJT0D>|qOfwKGloWzlyK7rSz3qQUZg?r_?ana6 z5rMF-bW>Y3n+|R%?l_(%sV*CZ^6G;paQPJu?7{JZdW_SzxQ*?nb||^Gdx;Exfke2s z<<@tQ|HnF9Pdk|?sPG@g0=M0_iI>MwntbM89?asad5Z^?MQXARpk^tTO=s&tHw&9r zZ$2arnC5o5guj0HeD{a9ErSS_^~pgr96*F zH&;s!hh+uh*x!GNoRZ?_=X{C-dWVnab0MNyeYtiu0qi7sSiIfAymYD_TvzZ*b-{g! zSSt+Eot>46VFzi-0MFrG-7Cst&YO-G%b$^x=stOn()(-cB$~?5KDY$kxE&_YRAJwU zn7rcMi0~oHG`^3h`(BcTej_R>!O1p#{Nb9beU2MBsX}=MWbZ+ofUbzF? zl?v-kKLir7>4h7%X;NKvLcOcSTQcY9nK?K~iKRQK%}0@%Ql@H?)*7tzbz0>`roU|) zm~oP_4>WC-*@Rew)Jpv2wUI`tP+b^5B)Jq%gkQWrPML3E`5H5NhtY=V)Ft2@^k$Te zHE^2Z@ak{hh~53TDG%duT$b8$q=Hgv()`!`xzwm|)1B4DlN(FG`FOABJB_gW>HmX%#|#fasl|7yJk zEnSc19f}Vj-iUN2Gfa(1rlZM$u=XUFX~S(=jeZr1{>;!ESap4ys+m^1mZU;lbYI^AgfW2zfhsatTw#QIdO2!R-e81?a?UOoI@PNkI6G z{;#{gzzes1*yHN8Lx&8BdidelY?<0vmtbXT%Td1OXg|8}PLj<+=>vt_d^mRVJ6 znTGz@(BJ3Qt7!7yWx8Wun}7^~`I4|k6?m3B%p)-h6R)iyeGHbqPnk1BiZ#;)rwc86 zk6VO-Fjze%}0rvc71=J0yHZf&(R#utJ=L6=`EY4 zNBW&^c`Et)R&UTM=OdRc!+(97Tq_SVm_j)=7P=DUu=iJ-VzUIC0w)g4cn-bEJ@$A1 zPXIvVS9;t*fnrNzCW?7m z{jn|jO8UN4oZq(P=^RF`w;qFtLaRtgAdD50ck!qGRAS-1OkkNSA57mWx-e#q?K8|H zE5{fLAj)Rf?=lvepYpioy;-5j-iftdn&LBg`I>i@`A3j)AC?a*G2jl-2BbCSvi31B zJmW&y@!aeVp{kqBvlFZ7ARf__9H;WP!F8x6ktsP;w*1p18r=a?y%PV7gc@aM_P1`QtUR{uLh zmbVhj?yMsu^ys8M*_pczM}+=84{=_U1-LFtoY z!Ht&x+s|A%KrgCbir6U7GXk+) zeBRY{NV}^q(mjd4Q}EI~Nxsuq2eQS(1WVr{W3rR85(#CCexBOTg#|Ypv8{2W