From cd7749fe3439135915cfa98b7055d8b9054288a2 Mon Sep 17 00:00:00 2001 From: Marwan Date: Thu, 16 May 2024 12:49:29 +0200 Subject: [PATCH] fin du rapport --- RapportPresentation/ex-biblio.bib | 23 +++++++++++++ RapportPresentation/ex-rapport.pdf | Bin 195685 -> 196312 bytes RapportPresentation/ex-rapport.tex | 52 +++++------------------------ 3 files changed, 32 insertions(+), 43 deletions(-) diff --git a/RapportPresentation/ex-biblio.bib b/RapportPresentation/ex-biblio.bib index 24c1406..db55c99 100644 --- a/RapportPresentation/ex-biblio.bib +++ b/RapportPresentation/ex-biblio.bib @@ -27,3 +27,26 @@ biburl = {https://dblp.org/rec/journals/corr/abs-0804-3434.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } + +@article{PJL700, +author = {Landin, P. J.}, +title = {The next 700 programming languages}, +year = {1966}, +issue_date = {March 1966}, +publisher = {Association for Computing Machinery}, +address = {New York, NY, USA}, +volume = {9}, +number = {3}, +issn = {0001-0782}, +url = {https://doi.org/10.1145/365230.365257}, +doi = {10.1145/365230.365257}, +journal = {Commun. ACM}} + +@book{SMIM, + TITLE = {{PROGRAM = PROOF}}, + AUTHOR = {Mimram, Samuel}, + URL = {https://inria.hal.science/hal-04244364}, + YEAR = {2020}, + HAL_ID = {hal-04244364}, + HAL_VERSION = {v1}, +} diff --git a/RapportPresentation/ex-rapport.pdf b/RapportPresentation/ex-rapport.pdf index 87192c56664d0720ef574f9612ab1d0cd223e259..dede05d2394999dfb81505e99818acbb562d7878 100644 GIT binary patch delta 67455 zcmYhiQ*@wRv~3&Pwr$&~u%Zeob|tCU#uwYRZQHhORct%=-*=zW+IgE#>t#NyzE&UO z-wXWeCwwe9I1d|Z%C9Xj8lXz!r{f_9O80e5D*COeNn`S#v8QccFgUo?Dl+c=K1=#A z_>F`|W0^0(t+OY~{Vh3|l(=Hbmi8VW*}W?l>?-eFnJtE`)X)0EiV`Gn>*I5>?cO zlfu8!Ht=<7`943x=3(EGp;b1<$TnArqq@DyMT?_=C4ALh{t6%l=?M7EWhWT5gVX{} zwD@Qu-Wj<)CVevMp$AR7utlm&hKOh%U#lBzc$3$)Ea_6cW{LZtsZW&V7wt;otG0Yj z9L5nYf<=oqR{!Bc0EqDNfMBS}+~5MyhzVC42i6%&oNQ)(`IJ2@m}rZL>e4m@mFR|j z7@gPgsmO@YY@;|^(*qeKozjwSGEm62Xp!H~&=~fAPi>Rtp3dB~eegc^d=ntW>BD^U zNKaPdTahXA7kce`l_cowrh+Z%(73{-!ghe1rKMy&$x)3cpabIey{-ROeQtG?E+CU= zNf^XY!K7s3R8`-bM($wG$|3MMYH@^#F8d_dqY1_6lX+0d3`-b zIi9N#-)0BWy^Pmf5EsEVr-jTy`Ba8Z1QjY=lX9Gc_h3S$`S40?#l7#QkhwTcbCTZ;KTxC zeip?)^K*NMBu~Cn;Q_`{NHK-Q_?@wl?DL}*JonvD`mGLlny^aeI|nMA7ST8X;C*UyS6G$1b3C=A#mOkwYGci@CV>sBd_EV(TaQ` zO?{tAE{)UeeU)S*O_c;Hh=|d0C&$UbzYJ47z!ha{Fo)TF)1Il&08A!FwtbRYrm{x@ zDevTGAT^Z6MuDAYx0uvhDtwhzVP~gdra;`0w-%)pnZ{7)0i(~1;vV^(l{244h@YS@ z&N4F+y0@Pni*b#zclvD|Cxk3|@^2;IJAN6Z}WAzS@j0X;qBc}wlXV*3LebccwbSiI*feb`WYZ(@!JHsbU-)0SblAo#VD`A?Y)K*AuR{c@to`kBcj?m^g9sV>JjvK5Q zUEGO}k5uJ7EtUJTA zw{sZh#2t(3(HnAFZJDy!WsH${Z3q44b@(T?dp=7W-tHkVk|$3im(El^E(r&vbkrgD zk4Oh{v!bCNGBRBunA#QcAN(Nv0-^?7jh)vJNB0AV=3}Tg@z*6$o2L7XI^mn!!jKW| ztZ;uyi&^3*I=R)~<-MgOYC-fgz^TF{0EHnVx*+byqq|LmlvW`E*B1Sxu1Qnr3|nw= zf2x}`!u8IAV1x~QL$%`y!U87FZNA@!@}f4q9NH&#f>Pm2wEJ2CdouNn@K`?^XbF2w zUn9^7t&$aDfdQA5idjy_6-YO#qhLq2#4TXohyWsniXFkKTSKXWs#@j-P_FYj(9$PH z<-lJkWk4R+w+X6Sg6pPvaM;)MPXJ_j0{`2V7r4&V@Y9D(26e$AQCbx>+Y%CBU)kqv~y< z{F}`d)|m%=h-Yb%q@NrH=(qQ$pCQ;}M7zclm@5@8Z`~Yy?1DV9>QynS`=M#lvvuuE z7)GPHqi25Zov9&y^M5%wtVvuQFcP6`-VZ%ki!|_fM?o(saZf*zz~sO7YrVE4pE}oO z<`^yR7YC)^4*QRsW=S$`n}6uXFe}*9&pXD829@f_aSvxO9CzK*Zj?>Xj%s!$;7|h- z9^8%8yE2Gd4)y#ZHqwtTtsR@U14|hID8WwSUIH656$Bd_56l1Fn@yUUwwpX?J~K5Z zEv2B`zers#A&Z^)cxT(Oz;ylo$3CB>xbv~+c93YW>k7SycJ@)|XD4=Z9s8^4@x?<=m2 zd3DPgLl1CXX5%N609-xJ;}p0w37wO zW=}WRfS=YBj!R>7=$e&Af7;{fM*noK)6goXvE8>=(wf+{aM>H2H_684%>RnT{(y+4 zLrmYZiHfN=v53%KEx(YCUIymdY}fr)u(xoP<&=I4I9i8%0ruTgr2-N8+gy!g%vybp z-_`CGCqK7w^vnARRi}~g!WhDLX(dc2>&ne!S##kYMHcAfl@{E1=3SzcpX9E8{nTHc zCj{m6Ln}7FQPg(rEVg-THrVgBw$bX?z%&zBT9gwe01r(vF?tSit$()3$Cs^*BHaMV zQs`K(o%QNW1tgx|AS5iRG~;*-%JD2Ofb?ZjInROh<4J#=q`9o*X3GX*~kC=Z(Yz6~*NSx#<;0L5tD6c@h7W z^e8`fmml+%&>KezQQ}W4yNmhyb5(~F$=yvMEsy53C9}cl;<;J(2D{*gQ?H7;gl$Ln zYR*0tAL?zY?o71merMoPDsA4P5aXJlDPL2i6=8Z4(H8}0$;e~@6EBe_GXfx2RPbl zg(1k_d$=s7!(8QXUx8_-fu&$f8g_CLdji^8=66tCjaf3WS&wXD6yFRM_;n+*jT!Mi zTY*?o2;BoLk%<2F>rK2`sVKdzJIjBg?10s{oC7x`>gF~A^zM{Su*X;$Cq=3T^Mk5B z=v(!LWZvvr9Q|5FwJl>1yO@hAsf6JOvw=uzh#hlqbH?=j>M=Wk>y(YuANg2(83SS) zOOj{^#b5dXDw%AhqG0t^cr!Ty2#njwClHX3M1EIctC-FRP)X_a$|~`+&RqlwoPhWU z##KY?;ZTtMRr0l!Za#d|75n&5Yi;14P5ykr!GUDjXfqD^Mrj}wQIkf_D<(6bJ?^gB zS-eJ{06_T=V0N8VyL~BmiI{k2-4eY(jyn2_fb3j9e76SudGS{|U178%5d;9jN`k5b;i)b*>32l1K%k2|Y!zPsLVM*6;+{Nm7RgvM?kRPH% z24-S>X!Ht%B}V)rRgi~P$S?Ys8G+Nv6t{DE<+r%`ofsQVap-4$ zT~PaB;&H_$OchKQHAZoS0NsuZtT!EqNJ94}lA2~CVT2Jhwdk)7&Z!~=3gn6LiIKj3 zHiyz_?eQO=WPIh}+C2Y0{oUw5#bYF3>$C`+sk&^zR(fJxashu))Hy;eC|HO3YcCw;sbO|Fg zLcawi$*K8)rFuOBE=u->614q$Sv|CGt_F%jF#2QMg2p}Uvi+|337MC%*G`;=DkqsYcPyuVS7zEN`q@GEC|dgHMJLeth%%OBqmb4ClCD%*&hz<#o@f$ zZqILE2BQSlAIMu~GneuvMaUF1yi@Gfgj)4c}=zsI3#B+bvQFk?htbv`vV{X=#h3-RkGMY4$%&C09b; z>(b_upzs3^y5^9hs*-aRrN7yuXU($Z79bR|s<=>nX-~gcl^Zy}+ud#fWfp2oI1`&c zj!q6HWQNxNGuj$iz_GEBu#o)EARqw8EN5b4=Jc0@jg6b@|NJj#{&YNOMeUxcnYAvY zg9k_3rEi%sbxlyET$9h#S?2AfpkU9FMik|H>QUsz+nrdHZpe;+0h7Z%Eo!&OOFSn6O|bK&^+EZou#Z1?$HbyYr( zzL{RPA%Z1KD9kIg(CmOp2d(0H_ahS1KmL97D}yHGjRLx>CyD<*HQCnpQd*|I*>c+uJ8$J41pgwA0$?IXt`Z<@b-Ad)se^?dwlT) ze`{h-tpIG578PUN^NjXdv|2Py+9@PR&-rdDUXIPc+>lo6pUC?|uod?ux8_iN-e>*8 zZ}L+gwI#6WneBlFA5iPcQ$Az1Xn`c!F6_TXcd)o#&izh`rFsW1Q~06350cOPsb;oj!JmMw4VI2Y;we zN~u)m%6&2`uSKHkuhx&sT^YRAjkq*C1Ca#%_0s5Tu52x2CQh}Y(c*{FI(sc5D(4BJ zNdWv=q=oWdL4Hxo~HU_vSyafZHR;Bo?pR-v+>Jkuk9m!V^j3FrqD z?Lg!v2|1l7$+3i1c5v1pYEVGMHwy^q&Spv1V{SPY+>*LgBJIiGR?^Cc@gY$5EB{L_ z)*=wHXN^8Dt>AkWMVZ>PscuRHUmv`-PpbC*To;qYHy*fiz9Nf=pIN&4rWw0;R+BfF zHV@H4)3E+|sWWM7>@_O7C1TfN1(ZConV3VNFp1H}nsC}*E+-({GGx9*?!_sGb~t2MB<3*WBIM%56uQFUlO+SRKXt&YD^@^wf+kZv_$0Nz z%km4b;s{zB+8zm@?MM%Q(+0HFL>gcjz7%x+Iyq!S$wpvQo0@Y~t+hev1R4z+pV;ZN zo~yJMnNd(m-JegvV_Hq%mlwkvbQZLB*=w;-lFW5bNNc>NDNaAzIL=Dzv^kauxhw^b zx-KzT*#l)@a0-dWoHzE7N(`!ssVx{pQ*827i)sH{wlO@I|8UG)cGiyXFrqj>7^W4n zzL#?+P+YhIhyUg|DZc#h02BqnDp|rxy4Bmux{J+<&d5g#g>C9eU; z!+~MF?$vQu)uin3kar^wi_eJ*%gRjIQHtdQb%X;?IN$0RZ|Fox=XTrUvMYHu+KPV3BTM0^bTx|x64|LD`BtOnP{{FfpqH?x18<6RgPa@bmlL^E z+%{e>Lkc=%h)<8<^b?JA~v zSqP5Jf`}Ce@IW>!ihWWqK|DCZ%}%nMkOMk--8)+KhH5ZA?fg3;wc$B>m1dD%tyrSc zLxa3ViI4?i>7xl73`#ejAuhYBm}VncLw0r7c*k=Sk*WD3fTgT|N|V=){&po)ox{2H zo5@~ZG+k(=_8juoTj!d`ihSSKC1Wn0=*c!-=@dp#(^F_hpTbIgIt>rC>c;Qg-cvJQc3ZO)}TT zt@&|TG|T8gxGhVJ!=BYwOX^%|S}LV`uE3D*OvJD->2tDuWyu8E;$ zlScFv2=^LcJ$c>}u$*@^5)_ML*_Ad+JmEHaDcu9%A3}w(Ti0*K$VDTNQb9!jxT=VC z06pevpKza{&-%zAuTrZ#<5K3&z4*v}sm?kqfZg>C|>k{kMAB9ie zJ;SZq^2~9kfgd^#xG8EON?dE9lDuL}Pq)xyG41gp_ zyL;ii-N!k%GZYBRbdMUM$WV#jp!DH}Fm2z_nsNwl0x!Y^&M5=`my!Mlk)Zz%Bc=R0 z0YeAp;NnQB8waBWoR#HmH%U;su4{Hfi&8WWS*JIegJi1v;L12O&Eopp99kj?iXG1|Rt-s^(^B*x`Ahj*)l7n014ukry< zjCupCFIT%W*v3MJ2NX&Enuf;aw0g@Tf>c;E;u`bw9cz3Z`pzRNA=r@VShhlv{NHAg z?zqRS51uFIc@`Tg>LV$|XJ=*QpJ@`ZlHMQ`YQaLg54f}PJIyMoV0b57ap~I^#!HZh z2c{+|`4v3CDkLN+s;G=TX1NkIlg2P;5c;G!`h5_4um8n!m2g?{PKf>~bzq ztpwZteT=Oft-}t=KViO0if?V+WwWu%*XU*e_iz3r^udj)lKFsNJ|q?6VjKf!zUr8OiM(j7<>8~L@5 zzWuWL0@DoMrTTw&{=X|{=Sg8T1Vu+<<}2@*=G(XYCvjI-{Gk#~%?6Ohtm!{(}TGmqJ8FN(vkT0>rN$ zOe7bD7dix$AjJ1GD#0C+4Xk-7ePaNe(?zc z$H+9m;lYT6IPtZAVxj&BS7HG(2=(tb>WL|6 zyP$&$P$(7#gafb!&<`uzTzD7%Pjh+SOmKrg$Rl4aIQdrg)dmO%zR)OkGzeisAp(-? zy(}OfXCUH;*1kk|!5{L=U-G-)A8Q04(jX5tPC!0DISj%x^X-{TqLY@$&Y?@-V#4ye018;9&GzU-<(_E2v=(5*}aHYyELt&B7bC?vYp= zlKol4100Fpb~h-mJ*@mVNF;C=J=6?LaK60Y1~y8beL3(rZ9suxPiAfoOEM59X45vT?-SF=hscU2HT+ zFcA?{`(DA10N`2p{v==zID3iFKrCd0yJ26O@wml*be&=Xe)K+?iM4`$%N0lT|HOvc zeQTK~29@wr`oKQ$(8BzGYT>b&+d;VU8?_~{a^w@ymOd>*2ese_o z%R=&~LU0f!)3UVPF(b>O+fosy!`>nvX~yrjt4da486mRIQ#a|A`XiSfa=>0YHdE7WG7kC?qko}~7jZ8D7<9AybVcvBndk3YkBP})`w9KzQNvHm zjM7aZ9dWMdq2r_4*Wo=4SG_ie;yP_^Ou{U(Twwp1>h)>mTM_br#~5+N_L20scAEBW zG*~c8v9-vrHP0w@SXW)7dN1hRwXm4QaJlD`&ZL;qvKnBwNT=L2IZmc7D_`tbon?v% zv|AO|T^$1_^u_Cc0rFkl{Gqm09>EL)~kKWsv z?$jK?sS*B<)f;t9vd4HhW^cad_LeFDP~he#Gxo@#x0_TQ)e%_h9+Pf1&?3w2TZz=t zNS%kw)-m#uuYLPDlk@@oo=rq{%*)Tn7@nChU9>kUoemT8I&NOG*m*pXLDJWvHk)_{ zLy4?j669T@+yV)INkpyM?OG?5kZ{uS8ngHdl|}}{@+jhQxz<-2$}f19e@G<)$RhP@ z(MOluK*2aQ?cv*gEC5!bEXYu(Txstjc(!kNHb~?kPvQ$I1VZ)Cc4FCZ&708A$4>J} z524z5b>`X~?*!5<_SI*b^GsJgle~^oIp}+v00)^;3h19^-c1Dg% zIDPmX?bfH>chjmFsyy6%$D<~&w^{H{&UmMq3v=ux4o5}gWI)S`60%yI2kR#2tvf*mm)OQ* zHEMg*P{CQf=lHg#cA*L`t1dEHHK%t49W<{1!)*(FyW~8af8%0_Wj6%isoAnBg(a44 z*U}+$vlE!^2u8TyLN^I>)keG?w?MVQj<*bTWQQhvTP&J$A5*yztqs;oeenBGR}Kah zIiV>_t*~#}i#|e)Law_pK4f-)o|UQ(gGq^=wU=-yA-)*r4-RJtCXvU}Bx}YD8yH$f z`@cDTMY!S*J+2EdeE+^5YeI*FL12Ztv5Kf z30-BQQ9fw(QHls>S3-LF8W4??8*R7tj(SKASTHRY=_HKedKQE| zUyI2#I=;uMP7D4Nkb1`+dkU{>JB?nCuE}(9Qjdc$LG%M)JF)4H%W2vh_A1Y zzE84IV7N8{GuX74aYPcqf5Bc5rt;Nwy((%wc3IR*D@$fbYL0pyfEG_J_ z9XVbV9Y=(*gpt~5922*;t&TIU8@Sjkww@PTk_~JGGrCw5K5MfEiwu3AR8dZR&9bAU zqBHg8eLa5R1(#>+2a&{QX4w*|*Ck+pU0mJhC6d8cD;inr8cFG~|o@gJQPOth2{02}o zm%Z1ff{N3YH(X_sas)3G@B*WwD%J;ny>^2_P^+yuT2GPIRI?An8OfyB>leBu{y3yD zajkZE>lgK-o?5q|c=?*RgJY}qXIB37F?ptq(gaVOja_oRQw|}Ng+Qz2R8VuQw!6z* z=miQ+3c%V#gQXEfS6dE?p(?iGd+8U+n>`AP8?IroBkIG6h(XPejK~Nfjeqj|lz6W0 zCZy#n|6&n6QlAzs`RqO1`#GwP+8}oix_bZ$?V*{(Is&%?$JJ2Hb$ODUK5#6^IxJ)I zZXN-WWiVJ5$LGlGaJVU0g>JgJ@pyi{Hgj_jt?QB>eZ(J)C#w8Lw>Pr&zU^NhkRQ#VkBju@s^jP+Yo`EP5V387 zBJC!Qd1N(QPg|da! znY!_&y9Ljhvc`T_;Bl>Rqx^RDv9wm^R~SEoZJYZ1A&>Z!9y}Ng-KB$$@Sp%SUC{{L zmVSg#C)9kP`UA}?tY(l-c&8DJ@HqOd6^sUtTaN|*4t2sWd+aqq`67}&(ixa)BX7-S zvd}Ll?&maZK(oe^TJZXAmt7uy8JF=14Eds14^<%ZkS)q)*-@Q|2H5O71@}GD-tatv z_V6^a4xb3;rHI_kY)c`eByFKfc~Vh4O?|~&MZmu#|G`qNn~~>V6>I4cb(8Z)$Y|>& zaJJIBBZYHW`cbh_66FL^Zvc_QoZjibC+W4yXM|z2bK3so6vW{G2Nir&#moy&klnLF zyCYS_6g5eh>M-tqyk1bzV-->4n5=1n!PUt5%qsCo%jgXuG!Y^2@E-;kesAI;tGEnT z8mQ8(AlN6q4lB*oTqj~34&>yw|0wg=Y)sl|qN4~|65u_bXEboP6#?L8k-n2{HZGgV z3MZ3ZoIuiaS$VUCAakODi9BXY z{zle1^nk7edn}#)Pz%^luH-o=aj~+foVieNn$%wvG+%7j-Nz6j7q(0)xmg(>X%0aw zu;wWAx`1L~D`7Qp%-K49#ahd$=!&7}g(VhY z1gk0cIQ=QXW|5Vy3{&SmYQZ~44Qq+_m=bcf{Z2QsT;A}?pb{8a_b3|@RgU$)q3RnL zH|xee9)=_k7%`HIp>nanP{-P*GA?{yPI)9>o%?|_)NQ?GSxwj~qUScp&`F_q|4+m8 z@)Rd`ji;vqfbV$AB^@B0|fY+xtM3bI$ zxsreM?_th1BlC?OJZU_CIF6KvEZy&C%1^H{* z*VVp^uNH*j@#wndTeUWK^q5Sqyl4_t-s^Gn`CY%Hwu$aby7Ru+DLbJewBszK>0Ea9 zb;PL6#;dx+iPR%06;9ji?yeUvBM@=TjzK0411p>Sf89t?Nr}Z9K1z6{J^Ope9yS$7|**6J}B2rBd@?nY+Jr_iafqf5ZEZvB-i95=E}$#M&p!!o5AM z1P8RK70ob1tkEds#&uK?%@JFxu`BM5)X?@lUn)PzIW0$vyl<>;I~TS7OVVEI{WLaQ zS3X`Wuj`r`BBb2suVK>B8aRIPWeoX(r*gW zA#}MMj)rh*p4ZRktB(mklEc*^ix@gQ9R=v5Ttx?uLy`^65ONei)p^P!*Tj#ODnc|} zfD-Urk#BtA)Ypj$;KLAHeQ+u0_|mB8D+Z%RNl zh8_`fFiY9#qB5MetF^=wTP?@yAz9|`EiOM2;(a@bSP&oK!d#%qh}CnX>nZiz)9UL_ zW$lV`#pjBblw1cyxRn>u;K>o)Ult(6|CUSMK${oWy5p& z7k5s~ZSC5VQNpr0!*IO(-ohyp7^%SMN;&U#%H8G$dpWkdEaqbJ12zsI|kuT1KhBBD5}M(G$#k{cV4a7U!>rr7nZ= zRAtQzz48F-q2w<68I3}1&nCM)PTBmo^6;xAGcg!AS zMdb2iQ0DktIF^bQo*Ct}!e6E%)D9Hfj@JI(ua4TG3gH?_Z(L1$(ubH`o)JScUic`6=gp4HMLo_1nLneEP-LS52-f z>1BNCN%1~*agRbbizNe=?`oF>YdD;j)o~=nkCnbnPAYlm_1lXH+RpWXZc~0YtB}S1 z-nIJsiH}K65{*PllU6mOWt*Rdz689|tqt9~Zmv|8+`qS3-dBO23I6X!>YsBaRA_v* z-7l!v#=IuxHalN~@)4bl4V~ApQQCDi!ZX!nUDtUwG2~RG@|;HcOS5bGcF5Gym?hY# zi-xy!71muDl*WuM6&b0qJWx_H{4`gquK3vvvSf(7veGlTV|xaKJF(nh+^1JhYQ3Eb@vfvrIkqKAIz#5r z5y&av32$PZ!ICT54>pc7ygmBG%JRK&lxHTWN8_z(hulu6A&SZh7#dYhV>*MsvTmu8 zqEBQPplRKZSpD&27g<9)&<3Qg}kdzJs3wsD5%%7(O|y zQR-BI%U05XaFd=r8)I!dK0GY6K7~h{gNmibj6U;~Z$O{ku8kFYkFRMk>RYs3jlaNg zc!$?L_uEW?BBYEo80-exFaP%$yMY#(O&TAa?DaqAP5hS2@>@W8J6RuMTJq z6RQ@d&>Vb)mw~ZAUeV`GE*AUwWx6jBKaW#Iar^Ght1?N{$Zatrh~@idj^Pk_Q+b`w zHpv}{Y5ol*h(=?b!;!gM@=y8n~a5dl-kDEufJa#tialYba89~yMwDHxdr_eA-&VUawZ4y@j@ujD>*cEeq* zkc!E}j>10kS!%gJzR$iN+T-<9j*pu8eR`}mF^+zy=-g4Y8 z}|(j+@hm7Y+3O;+S$K45|_Y*H171M>I`3~`=6gbL}sG47?&^MA7e_z z8~BDVRz6+!wJe-|@AxHI`5ct$#(=4OSNZw0{y`2iN56jhM^QCiyu4svFj1|qXOI;T zrPs15j5#1zZEHDVFPkm|b8aOY2FkGBHCeIT92W(HNVV7=FG&lKeeBJ-itEbU9=8Dx zz?!ZeeJVL;a>hSBJa%6@gdDkiG7Iknb(4WX8f<<~uhxXI2ct3lt`k;AOmAwp5}$qd%3h0z>2YO0Oqs|}3{iHK##KnqC^1iKlRrs>n zlvQEi%S!QLnl|~t)w0OOUy*k1k-=Reex09iZH)1XQOxm*M*QVIX`edpd`q>}%EIS3 zT0gvUp8lg2Zq0c?cn7csKZI4)rP)j-AWITgY?hubm+oNjAM($!SePM43joAUitiX7 zf>-e#WO#Z#4u)V&GmQo!b_!F1>X)f;m4J9rO3ScM3wLCqyk>nUNoG1pY(T~h9AT;< ztNaM#Rb|U@bdt+_9l0a)8meADOGa z-V^rQ?qo{_N^6`cM*J1wahPX>T1}imUNu?L4KJ`ID2!%7z+Obd5o=>afTx@E%JV|N zQx+dWVQW+sH2f%m2QCq&mFdJ9I;@iu*`R`cVWF2J=jf|Kng!m0WKVPkcS|&uG*Uw( zgpg!peT8DUfin2@FQrp|gdgcBgH)K)j-#TKC=TtKcxEF{t4|P=?zm}=3oJhR# znyy+fi{js@ekkR0*+^2vVT8v_$XUnMqt!P%yN9cmn#EIO1Rf+-nvFCy75;chzq=M| zOo$YW&@vb7>|9{mIL6$6o!lZ$MHnUQ@U&y`E9Jg%nrBfd!rpznO$ENfEGXw>x=fX# zKD{tMBPddO%Z16S(Lv96&Ma-ZUV4ug{=P2pUZKO^VJQ1FpuMnrUPITT`g_oX`Ud5{1dEMo?i5Ng-Ila1~i~8j`^W#fnpzao?F>JLY~eP?~sqvG0MsZ7v=SF%#qx%j$`my2iZMA z%c>dQH!EhA0xWVz*71f?C&LR&9%_|@4vOup$29l!k0cQ~!Ds#zP){t7@DpFt9o31y z{vg`L7anyu>_%djeS`C#nY$!35zsW$@&(~1Wbk34a|07l1 z{#UBbi+Wr`6+ZhuY>Rr>DkuEsQ%PV63)N5M`TU)fM8cg4f7;Gt7Sa%+qM(TOoZN1D z&U}71b=#U$9d5DDOlGg$3-D|18E~>-DS?p_keXjKn4X# z!0__O<kK8DGw1`U1H^Kg(?f$;+Fgy@4qj~-}H}`>j9l5jb|Kn7lZb5vNmC-(W20&%6 zP!wrKL6K&iMcPC*=lJ~z3_y$_VBkbwKgl6mD&gV&kup*o9vqOL>;lmkKiv2x?r*@o za%r%AQ6XS&AA)^Bd$gcVcw5E48mXj5L0Rnm$i5wL$TO9Mkg`!g)22H}x{ z-N0r$z$2TSK;DQ@Ui1yJdO$vWg+stW;K06|O1FJO}h=fhs8B zK;+g`lZW0(+=3JA?gIKE&^T!S6)taFeESIq=6rXG_(2wv5I~VmkiH*6Al$_Sm83-} zFrF%;^7PGTM=GJ9D@ZoCNbNACMXCIA~2F}66`#Ed?5A3UBrhU$e0s^fOI1f z08u#MA`w-hhItEM0Xf}81kDxbA`u1sK7Bb3M}dLx%_G6+McqdTLjU6DUq`Tivy95_ zpns^~Tb?Z{MS6OVE=ptYS6dApK_JLCT1IFp zPjBDCLSGDupyh)s0t(2F3N(bMw1*(BE)Py1 zZKAU+Kpy%T_HK;gg|Ih(_>gi>jOp7cAUNmnA&=?g4%7ga#9+5UzA!0As3d7HD=Dai zDbBKyLSV!r_AARBMhT42MuSS3@QUC%PB#u5rbKib0XYj%LaZ8mkaPyHYdrnVu;tA%K z&u!UZF?^dfWfQU;bYfOQohe&BS|VKg6DzTHeSJ-VBm;3QrLvornS0vbG=*&gp-P9p;)CkfvnITxO2|o>%H36un2{Y_L{Cm(ng}Uv0GZv(hJrk;qCB7wyr)VOa&XtLpo2^y<=-;NH zERL5og^7&lxa|{Th<8->N4dZC5@ypr-+JTpjCJ=dho+qt`=uV2kUv@o6_rKjt!jT6 zf;NkKrUXYO=v z@8tY&eD!I`s-15{sMv{ME|$m$h@c5lVo{%>!zbdi?gK9FORE| zV5TBL#7L^H5d@cRh}2y}u)PiV{a@}r#&xcd8h%A(LL9Id%dKTI*K5)UJ40L?(Od(u6X`T z25@pD+eOlAJkK<(mb~quXK=%A!cZrO*SJvnclD78CMmkugLt1m2Gk^ z&#Nhwq|6dm9cnb&bq?ce8^wzEU|`%mKAZ>+D4(TzpabJ4d`S<$P_^OU{|7HX(7!90 zL8WS%D^>J9-;ilwT{c^t`a!JHHbNC{hG=-Q;@wtokgCwzkbXxdJ+EGF^qo9^#NcLm zb=L#7>Tk^%IkeM8hdACwDjAEV*m;JkE`;Y-~W_VN@h3u*USK|F=qbtGQDRcaT?2T+LrscW{XAS!b z>uDam^AQr>Bnz~1D+WMh(541ynqrAws+jGuXhy8b#|BBKwkQCDpMPOlba<;iPedbe zjj+V*rx^~CNP-9rqLQmrBmZZVr>9Q40nt;olru*6=7X+Y4=xoT zMVz=)PW@Il>gKAL2lKin(5Mv^3SQP7~T`%vL0mw3Bh|Ws6}POQ_1f;pr9|H5Hq>qgvY---;I{Is}jFuW1?67}&)hhk7^DWPCXQJBO#hp?xS54o?ZbpIDW}-JD7($E# z0FEz-LD5UyjPZ-_Xo=iMBWta$8TyNLNF*m;pDiVTMt@J6CJ|Iim^E>^I+~?#+qB=E zoi-QnWPQbZSirZi0!3J3v8Nz zMM|{EujAAC0=Mh9w_45SzO2P*RMfyE!nBCHx=o8(ATC|Fnhgyv0=HHJy3FLFY+m^soQmbdXK1X7t)=2X^&;p4U(O~-Pn z34i2~z^_PxvL#IQeGX$6W?uXe+F0FZrU31xposN9-Ig322<$GE2mf^SGs#H^?Q1e~ zANurUo&I6@n6t_VeadOd=f&4;Ik%+zaoRtc#Hg$W3-zNOwWSPXMd6eqn0XJMNW~9& zPR?mPE<(80njUJOQ~J6VwFwgNeI@Fsp@<-w89b%y=XQNfFsU2 zPCB_{rz|_ya3KN*K%q;L_(F-$cwRNJyHCK;UrG>(nE^H`Rr2gVu+$0somr=1c%LEK zFlKRFm(DpHOexKlx#|yNjBncCokBiBl=-sa;(lLvDbbt2d z=k=vKF%`^Vg4l+G>OhdK%s#oj((Z-fD=1Si!t1G_NuV#6F z_SByRPrxPMw@b)pu$-jAd21ODETq47ZOadJDYZ2*X{X(^B8hsU*i;;O3_nVkm#JzP2gpYb{9-!r{p`hf<0xI4%ksW0U$i9uT*(|8G)`J6qJLip?Wd*lLLt3|}fRffYP za=*?IrGCz=ZF;iEL>4T#D}SV3!N@q=Ix1Y8i89JtZ;QheWMlGy5VWVlk6%-_}E4PP`#5M z;Db|ZM=BUMdJ8Q33r+@D?;l;5;mn2Ue z0bdw6(Y+<8Ipv=>9w-z)+w8z$dg@tHZk_VJ$J_n`QAbn#_XOIr?qJ^w4fdafj1i@K zlY&7-trNG$(qC23zMJe)AJ0w))z#;ugvrr8?{Q+Ky>*9ow6jVOS7_S@w?EcMvW;7D zY3Xr}KQXAKQ?XBvQ-90-Nx}PP@)oRb+%q6wMieJtG$iIf*=EdCGexdd-w z2ur}l%}$!*tl+gxWFAW4x&|p?kZ#ajbG{l5lwF$`D0y}mj9WA-#*_I@EcOG{QkGoa)iC!W$;w~}X0YXk= zH8*>SlT>{+T7NHXNs4-P(`{YdHo~Tc2;zr> z-ki;~BNr-bA4T;rnsuy@4L&9YUI8gI$d0zjx_?W9g2#LU`OhnhOdmg~SO02yX~5R5 zJrNbfSKTpV*#(iHR1mJ_&N#=1f*BcebQ)!x-SDJ(D7Y=P1d`)n_AkC3$=J_PZ+}vn z!q=2;eDQSMQj^&cnAWt>t~nIY;uAh(WNSH{Lr=m__>^6};%%m;>e7iBgM!Bip5OG7 zR(~pkRStEz_ORZeLFH)N^QH454edn(mxf1rjn*yLS|fIQF(E4W$0juXt20gn+XS++ znd$M@p||Ysp}&>Yfb;jcI&RkAv)cz55#W-B;VlP0s0bn7&=YZUDt0(Uc-@x}%?~Eq zYdrB@-|IdL)?P6W$kUx&6;)VBN~qL5v48m{ZB8#kMecnkIg%_3$6`YUCqns7DnV?y z1!a<;!Mc`=LLsY3Nen>n_A4aK0oJ*x&DM+XRJm!3xF5G~QpFly$Ax%?=%VEPS?+C&@af{)x&UK#C@Cfg(}uDpKEdb_kux>3qnx)qrqb2$HitF zqm>POHRPqQYM#HoW|oL+Fhz#tynmRl9Q51%IMSbnXHpoiB6h9e>AYcz+fODo#-0@Y zB%U*{E~%+I4*yZcdyT5CMahCEd&EVxxVqjS*SKA2QRU&AYXIUelg02ahq*QrHUoy3 zW9D>``im(HG43RS@y`;U9}^f^chOE|A@pQj?|#Dn!42c%( z-QaxCJh${BB&lBEJThvN(klBNi*}52GD@te&PFV(2Lv{;g$Q_hf^en~08oB8tgZAS)gWe{JmS~s5p(Xd!q3@1$L%%asm zehThEv?XtN?%OIHGekMp8yS#xQeK_TbF*Q)|ZeEbu+(mD=n_<#2mG#wt|;H6WGRIC;*N+vA+39G4$IF|cHClz1kiY-^aLUzsNQt(#Z*wrE4R7rY&d z{neV*Aj#g(LOXq2$PfFsgm<#oU$5DR1qnz|8w&N8e$;J%gcK+&_6!a0&D1sBVj(+l z*}}4kD|0;VCb-#c-+!yN+Y^zUz8udSxH;W-qHCs3Jt8djbAr!J>!XOdl)O`BP~|HC+0r3Qe45fi|jCwIdp6EIs^)iX!F?H>Ion?+cy?*}e%pOZ~-i zdQate_kTS1mUXVb-(>0>J2nJZv*I=<_5^ICbYRat5UCiDEQjM~F5i6|vn79(QoHS^ z_-Wv0tLgd`{_npO`ZQ&RKmnP@vVO{r5|uDkPT!=qV;sfG=(nFU@CCp{*eji0TYC>M zddD$8v1J8caCse#1X8oguZVsZZcL!<>v(26_kSXtj%O}gAmEjLQfr<5{FMlqQAKYf zsqdSeef&Eyh6DI#KFZEhDH|O(#y9N+xoitnuw2LEbAOrE`YbKKxd&Rzo%(aR^ds z`#;d5DvFEPzTUi`QQO1g--MWn%#h3J(jq8%s02dqgNDpLlt|Aom@bJ-x5y6zV;0_| zv5|Hgnzua-*T4BXopO&?-~W4?AgJZk6@QdoZOM7P_HJ=;k}~OFPi|j=BHfZMyYc+; z&G8<;k{EnMYfU{aLnu$-dMqw`o!G_!DcGpTyZzFntpPACmHczOSwYT(WrpDc+m8Dh zfThOy)>F@_6L0W)JzrG+7Pkw(>S}&2Rj*w|?~XU&xZf8h%JnRJzTG8r1q3!&CV!;* z1yeI;0mhqZrF^YEdpGj>%QLv2k8dvhQTRZISa*Ly*{s0ZX&5C|onQWstSh2RV+tI4 zt8crhD;Z*yba%$=%d*rmx3F7sFGQ&EP=D7`AIbrVw_vLEtaX;qN`6+TV1F9gt(-J&8@cbt zoP4(p(bJH|M;*dkZbx;yC4oH+mo4hHxBU0<8is>H{YR*FFrOUU^fWFdUU`v=l>`*0 zPAQYNT%SJtNoK<*5A!W8{WV4;d+S1%CX@hduxOWQ=oRWZ#N(LV%|jjEWq*}F7Gtib zv>G)Eq;r;+nNFPO&Y=7Ww=MOSHH&?XyM_VGJ z@FTj6c@K)31h0d$Aim*V-)_cUk4$N4WSXCe?DmiAB=L?X0@})@S~hKUr4>wMqB9?2 z)ELW0fhfPUchR(`2StRh2Yn=szpNsb*Z|?2n7|fL~#)kXdjes?Et7 zz9$etimyZn-?0lGPQ>Qn`CfOA`#=a+ z$(Nj~OQk0vaLyp99IoTu>hA50-!pj<_SJ9pO89>O7MjVp3T19&bCV}lB9nf}4ztIW zqB4_ec@?vM$pk%~d3lkGF zEIB~L-oew!(%iy-1wds&{qH0|-Nwk&($>-mpl)wt?`COY0r=_W<|gRo?8@Ne%Fpmm zlL`yedFUgi%!lU}R?skd^$W z-Ok0C=N~rE#L4zw)6oH3{)cRg{)deJhyGV}^7s#8fMsR|m|B{+0E~g=mUgg=|ME@B z&deUb@t?G*tHXaw{|IvaM<0Od9}lSkra-fQ*seA<@ z11Q_u8rl7Smt|yYY2*3-%lkhJDHo%Ed=RoT|HnC||D-IP#VtL6rizv>|5$BiWb=)uR310{puyW@ln= zYH4Qu%iCrb~24im$_)`RI^&wr8L z|78ga+k1G^GjnkR=vi5q0nBXd8~|=sPT&7Wu8FIY6VT4(--iD)%YWm4FA@;w0W^VK zTedgh4Yo>a2`%>%E1a!>pq-sIRHI#H23?uzxz<6k9JDYsIJm^UQ^n15hbNf%Wz4s8 zu`P9f*Gys*2ZTSGn2aV4*IUMYDJHEj_p8}_Q_6p>57)l}SI4n6kq5tyxOGWiUkg;E znPkh%IjfO&EagLyV2(B{>*$9--ilvcc(9Y8)}utt(Efr4?$K5w&su~OTp0_z?5=@@ zb2)i{LH_zxzT?F0~|| zB3ob7;8~bqJD_lgzOnP`{pfkrQiVpgBaV2$p7UBlzSOZ&j*S4T;4wgYq}ku9gkrg| zHrb163#8r=fB24Mx9;8w+@`_tXP_7dS<;dq&krig;E?pI*sWrwOU&9hgd%yf(Xyd` zAe8f19xDXr4f``P6**+%xdJKYUk^OvUxRJZ!U@wsxX z?xxncj8b7ys0$~&1S>tnPQn30MQB;cX8cdhdex@FQ-EaNQG9~~riMZboXf=a>BD|D z^Td4~jB=@x^FyBZA{4+B%?NZ$bCD*0dBm6mwh`{Gv7*5G+!q65A1&F0uBCxcjr2_) zv8QTN3l6s5vPWNKTLxsM@5QVp*O-?%hJ=yDV>BIuH$48W*?wFQ=5J#}6rODYgAR8F zU&p)P+=hJ+btvJ>a1_UPcwE5QX{cpBe%#@>#{4a&Rc16_b~Zb-4u1b)#Cdgp7!8!; zD??3l@4&^lf-0jK_|F8S9Ve!Fuv2-LXuH|^qp_~=RSayiY@es)==ZEi)j?ZSTH9gz za{)llB#k*=0-aaXFMCgY&MNTlj%X!H&zizuo%-`%w%|nM6elpCQCy?cVCP{(1Rpc` zqqb@>98<>1bXgvO7#~>?fXoqp9C{_tHz5mXf~49)4=VVhd1kO=ke-F}Wu9LwX!8{{ zh%vgyj^%2pVpO6;EWuvU5ZRuGP8<8Zzbtww1wV6rD=@aq`gqF32p=M@Ru;ahkMOO(~fA zjN(lDJyGPqa$d^9)R9E@!#%#{mPZkgmSdZVXlkqRT%fAg*{S?5 zR8X#)Dgu7n&2x%w%SV-eF0|YR61x8VzG!Iye1os~P=J@nRPnpHA{|6qaK2KX657Ek zqQJm$VnZbLyqI1BQF~@DNBSej1a+t)1J~d}YTz^p|NR6caMSFdldNuuq@q_P!P&x!+FOfrk<|4XcFPvb*pNY~w^K7usMQF6lAMT`Z-(uiJ?SvIjmIMh`3?o2t zDY_@}qAoOgx@J)0*bLYPV_JzG6igLr@BJ4S1t+WLkUIID)nWz49zB=<6mNV(M|QZ< zO{nIgu%(eg2W@w885>UEh7CdR$W%L88(lE3Om%tdM`_Q0_gU+(zY?tsO@rv}GY*G` z?>3~!9)kEa#om~rW%SdsX;k5Mb|8sTZLKe)^QXch(bgLCPTVaLjgF0dUOs2~Hc5b( zaOdo>E+tVXwu5aejQ|ZcjY=%xqi5iQ4WDPNzb_LQm<|4MeAlm+M@jU zA-%b|c>VQiX=J>#1Dli0Op7f%m%_B)Hy=6`KX|L3AZ|jxF^bB#w*VHH#|*1%B#7g1 zs+)%3&p#4Xr2k%mrepHEB0A7k7>sx4@?t~q3>|)dt3M@N++8xVdXWA%Ti(v*%t!T* zQE_cx?}$$@1<&7K6t4+2wr(|(X+nC%rG&P4D%lrJF^LI*0iY;HVZAGM?M5vto3zlm z8y^lq3D2!4hDXyQbu9$d?b`M3?91(I9^CFZAIGTYaKD8eBO-|RkD{X4A)10xv{Juh zxKnKxzD_>J4hN~{#E~vpCm4F)7SJ4m?~UTt67j-xYIz zhP$Yuw+SZ`-cTXtCoc57It62TNFRpE-wyik3)I@eYC%V~Ps{@4g_9BmFe+n2-s8s3 zs97}O0tuE??cQ~-c@;+mm`{mgh>9u*Oe55tMsaq9w{%c&w>Z4NY)Qjl)Qug4NQBC2 zMw-1aH0tRG26&h^TkEe25NOAcX$%ETE|n+eiR%NTDK-?6LMa;$RYan%o4&SxaBl8k zR#G?^TZGRq&Sw6!A5~BcS7{<1x)_{X%T|(Q!yBj?HARp<{>i3>>RIJW-IeiSjJs|J z)waMY_FG3cC879AusxHWtbW91aG(S$5(A0iGRmwbAyEj6T z5)7_R=%b*b3R*`$^=uX zyZ3J*+Bp0M8W$~p`WFUsO{sdkyTg==Z0S@!gsb)J$$)cl^GrLJ9MlrZK?iF8oOi_r19$TVY!<#Fs9Cjgb#SXJT@+loc_2r-9uMK z2Zc*QM3JxB`4aGnUy<}ck?;3yqgP6NPZezn>YhL#{_?zk?)oe*?w08wDdnIM&mQ8U zTSB(GrhH}dSK9TQi4&`RX%e`pQsHm==4+C?=k#5@A33mW^w~WpKpv?w*HeE%Zi26$ zPBl{T3ZC+hD?CDoTl}+~ncp@gKJPmP)(64`j*y|h-Fe)04T@#){9!2>KuIIhQz$*` zR<8`@v}?J4b(E%0u@bNZU%dAhz5LGsJ%ppTH=~sFYdokKevEbg4LvSpU4GAj7-wo_ z;nrdN^<{KL!2J_pH;N>m9{1QU8=Wmh6@%>M`wa^5c`92 z)NnT^@{=TPZXhfjgkWhoiUAHoCr7BNt$S?sDM}OR`cA!;SX>IlkWw!V3Pny6DXIAx zegW`*)a+?_Z};V8wUzWc$J4tD59ZOa^I;>^6Zz*O@Po)UzXMs77L@Z6XSm=70_it| zc1Y*-udJl&BvSk8^x})lNKw-v!L5u)@pvRdWAzv8lK6>l?i3^J#! zTQHU2l<0B7;pk)aa-*FE(zJWo#Gv$j)lGpn0d7;8239@5J!tSKv8L1A@sr~iKzp!T zf9W%s6~26s#t+w^Yf}V`e|dqJeVd5GpJ3^PM8V(&5ghR{06MfXJ1CEls(5YyAL;FX zU9`JsoGYNmTbtVAVKQcv3xA3K#Xvi|SbM&jd-UuR1vSH(MyJ|RbK`Nl0UPchL0Vpv zo>!ili1sBkde0ZBk8#xLx|WbLJ)-m(0cvmE>veoEYnh;SG5R`~)rReT=#BDmWI(9@ zzDt;m?X@;e0l!|eiLeItpweT=GQ5R{)wtw1%03JazqKah8YOzy2E>xen(U86rE3Fv3Mt~9U7aHR7XUlpa!u5hwG)$BdJZT0DNkLRL3MR#GjhuX!d7E@K zC_2VO;Shmyf~LaA?yP@4kIEE(hHNz}zZQ={oAlYjk81W}mFpYfDIYwgW4k%7$|fVJ zM>m%_{)w+9D}(E$=&#SXbZe3_=cuOxUBaW9TAe)D(PQrAcL4h&gQ>L1{Ub^t4>D8a zLUDFUrj#0{%?UZH7xi}-9xJIK(iAS@1ka;?6Hk%tE}yMWdF*Or8ix{p$?<8!MBcZw zijli=EIfFp7`NBg-h=sz>ebvyVt9Xrg*MY{OEn;Z_^!+!4nFupmz-UqaV!%zN&~nn zU9ccZMimQh@cv;31Hkr5bU{^g{{j0=YJ%TDO*nlmhYh4V6T_ynu88weILt1G#wJh_ zlsM?Pc+0+ZzYNTkWmD;YzNPtj=LtGQD_6}k$51{q&|Bs}EUDf&vz42y=CZDCk_qRG z?WfamPtvSM2>EHvD~ulo?Sx_S=fPIfFhPbaMuaUJn5pU~qNki;r6mKH@)g-mctb6O z7vA0A{=EgaeE# zA#bVfE5#S^ATB+aBNNL-Y@!!id>?}mxBo(s0J^pkh$B=VK1;8a3y*kCB*-i>$MTV+ z`cg;1YQy5<5%YeXS1Bw+A7j3vA)3X@2nFW1l)Uu)gOhB<3S&x@TI)5YkTv;we4%8O z&A5pgx5+sV9Qn9^^Ta#F_XEMXQ(gt0LLLiNyleAMX_!pGb8YE~(5?3NaL5FtO4GI1 zZ~wNxju^Pgr0e-iv-g(^LuyYn1QW~Hk9eAKFJj|ANTrv==EUt7Q_>EsIt}dGw9d%V z(}akU2?yEYGHh3=pk+0jF=G!duEODWVfr06^Q#JPB{;EvDydmUOfUDocf3;ae@UbE zN?Zs^|0)TbOP8P}{(Szm+Bf--Jc}N7RG8bBhQ-#laTFsjt1Q0UeuxOa@5iT3M-qV_ zSC1U(ylUQBGsuLnqZDv^2S(|TYKfb$lVVb@u}KAY9VZ4_?il&=fZk&WAA(0}M4QxB z4_4-;+xVv@r|`~KpVJ`t!``eL{j$+f^h3D6cjNFG=?&@E6+Bte*BW9vFKtB{1GTbY zGS_lCCcYGnlzBa0Q`3j4sD2?O5^W{RW{!vVY8`lgvyZ@Uj?OzKe_z6Iz39oe*1Rn} za#++%Bx(`47ApjaZKDk`lw6UW)bUp(h{D^a4~*RciHyesz2C>I8k?z@8xF4|=(0yJ zJVS|DSyzFBf4gAlVusk_L*+Iyc*zb9My>Z%Ofr^EJ&fQ&7Edo4Uw7%j^0FQx1YEuT zYS=WO*By%CDHDR60730mTa`f4-k7mQXcXYE+GL_zbS#V-~}S#LPOE9ryHq zx^rsd>NaT{phLs%r-w#Nrl7y#0~MPT+|BTfqb{3cWk_js`7O^aRGdUNMSQZyarx0F z<5#3}=sbDz5jTJM>I&?2Wi95$<8IW9&j|`|)Z%8yA*h%}FfMLkEygZ6cCtp+t`$x% zs#8^=7xAXKo`B3SbIJoh7{af z`UfkiFK-q)t--xmAbID)tfV~QapuKO>2}hAGHn)l=cDLCl??A`&V;n;O6~T|cqXH7 zoK$?_riI@w&@%Dm(f)5;0~c6-|G6XtQR$9thv?f_AbVRmA)!1;Xdis$<(L#5(H5aI z>AUtROIVsGtq`|#B4>_Nu5~Y3{Vx;hOp*m{;}M8BykyaM*k4(jyGgQDG(XIKWgzir zm*VSci(ER=zG!TZT(pO`o^jR1(|VN-TAGL5J%L!LZ2(Rp{LJ>-lF00TB>=Ege~)NF zgiK01;Ht_LMbeUT$M)|>kE5;7rW|b(Ouwt|?!@vgYbbF^P$#oWQPKs}V;S+gqHyBl z;+wYz$i1^dNW}G#bx}TNeM$FjAv&ki3k+s&#g`fjIdBdYo4mGx2xi*{g0$Wp8(=th zsT}!iPyBSlI2V*+N~`97nqz*qoSC;VGQGDoTj*fku$LHMAWkDjKVZyi&=G5=7qZ|O z_+ZtNhdn`ao8WH#&LxgpB+95I1#Dp&gA~A+r^15HP9lM#A8HwSK13!v;J;tHj=&(PRFLw;iqe=`hv1Q2QCC$)Z{+pPtz5gcu~aR_>Us8n78y*aU2_CI@z(+96; zNan);FfSh_^_?M@Fj;X#_Fp9{TCa3Tt05co&`Bi^Krdanmbrr;tIdNEEu9r>ROqp? z5k55aqj^;Es!qF1W!Q;dPIl!_t8a(5QIvUKa6BNvRB9K_EX%7o;GQ${>X0Y}cv#^C z<73uxEJPQ7D}DAUdz*y&B@i9XHw*L*=L6h5Z{3jS+ELYWVd@Y` zeniB>eg8bJyYVPOkxB6xwht?QyV$$P7jNA*HFi!7Qtq_47|kf(anxK=L$ONz2_cc! z_ZV|b3BN@$+-o<4Q{A&>2YT-&)Z5EVcypL5ZX}nBo}4%`*oV} zAZ@CDsBdM9ES;?D4U}rVdLnKOq=OfXf?Mg@T8r#)@1OK+UO=xa)9=(L@f7>!kD2<7 zmV@U}syLQ7)k*Pki?JenitOrL$2xf~9PuQ5`p+RdU*y7MZ=LT>HbZ{oaDtTOtLA~r zUtU!0+}R$+*KiivxSTzvpLfh8&;t;%HfIKZHTZ;=bfUqM2K=tekrki7Gm(Bl`|%^+ z2#Rs=RC*9@f2?PsAh0mxju@&jlV}Z;S_g}n+!$N~mtThek;dVpn_*C@gVd?XRT3_C)(>0FkZ_?!E zPcFPYF6fQUTxMYj=%fXRcj9-_W=%DJqD-hJv3eEDn{*!!1`>%JV|MwHX3 z@Q7MgHxLU>OPbZj@m5P4Iqe4t%Ncsy?>9(zD=(niEk_lL@7R2kX%ha?#DsBwflf$t z3e}t~8@BGV-E}q@{dtM2gXuq+Ngl7pV!*0iPoCQdX!0+z42^?GVR|v!=KS{HKtWAr zbP@Rn5h{PSlsiN?eF~D9JTF7QAGzJw?M$U%^mV@x<=n+-)=< zna<%=#;9U2f&ovvzkBNCcVB`|>s0ShyOb*u6a-<|ewEEdPWyv=l(uC=y$N46rN`yU z%KK64s;LdOHtZq=c>=`~CHR9^8bHSS(UR7nAYo&9)@GB{gT>e$HGWrrBk5t@9Ce~X z992@ddYjoFf3dmsTofCD=(Z?%#r5L#zUST4d*Rf*Dy@4QfE>=-mofvl2f2*?W9G=Q ztW*Bex<|X%nMQ0`M@AIYN-){$&G{cB-oz8t4CYz?fKKVG1c>bZ!&emIW`rVD|npN zRUsJnIOjm5^Z^dH3!8{0>e@Rf7w&tHaT8U8v8<@Lg>kVLgKRdZW?VoaO+QKHWBPA6 zL=C7^5~M%v+;QLa6;FGkyp<$!RLM-a1d9%2gq}1rO!iSi zShKwhfZBEO8#&N_QF>M;Aue8r5Fc6kBf^}$9Fo%%)RMNQ1b2?8N@qL%5>E+CM?oFwXPywtwjpL=!>)>2?kr5k5e9^{o#Z11OEx1xB zSiINGf+T&kYLvogLLs=YNAU;8it4&nCW|K)9bC}AbrcSN4^(2NzVgWx8JEtZ0?s`{e(d-g-rr}Tg=V>`ac zd4alJqj^ll>0D07GJFf*pv@zU%oHMt$UH*v&xNABYk zF#6Tr{=mb3=xCz^#akc$Y9$S}Kt?O5j6ERc!Gv)l=SgAD^m%whwT1QK9-IMmWI0l`bJeVSx-dI`M%G4H#L&l zZPwmaINt^ThrakCvp_#u|AEz(VeialL$ABHNuW(@vh1Q!w$&qRtAj={gy3uvbo{q2 zQ9F;5&^S!1q@E=}*#0)jP4~|>o+`v)l*y@o?C!o*NCk6$Pw*`qK(>Uk#BS3pzkB45 zJCjG2F2$eMjl(-~sV|GuA;1KBO|8#y`$^;)8huxeeeuX%G{x-3zN?aRc^1>1d)HNZ z74Z>!K;fcy2L*_bXgn$zUc3Nq#;^w2&he7N;WU#brZQk`ecghG=H)bkdscTi18=E+ zk)9Q|Y|hdw$dXRN0=9UG_&1r$!+Y6QKFEqtrK|G(Vag7uMJKdY%NV4Gk))n{M1f0{ zP`5m}p;nNRI_FLCt*?KZ_gi6Y_od*Ba%I3Z>o79yYX;v920zlf%ikjp!o#RE{{2;7 z2P>u^8geLIqQz7;PljW1k^BT#xQ~y2K4-Dt>1IyIy@nF8)OnN&Xm&m^i{mNUH86Be ze-0D3v0^6zzI@Z6uw;%ax6(kD)#-cbUKk0b7a?w*z&^kAFuCZvXC+>1VBiVCCc#g! zxD;06`t52yQAO<EKiw|pzzQx*cF8WV`xx8!C8T7yV-_jHX_v5&sE)xpoCsmDj zo&c&<4caUrd6iw&ncNr{D0V=TD_vusSO3v*ACf7X1}ey*O4ES^=SebULzbt^I4w^V z6KS0H)M~k;`E>sq*5F3oKJA}>PJ8pajD^;!6RSs|@okQBt2)Y#ms@=K;-sY_CWvnn zg}X2^BF^3J^8-wUP4mn5=pHK6Q!~Sg?|t$G~j8oKPPX7>AJRSJkv>-4>#aKHC|@{kFi%8X$(uG# z^lfu=<%U_gGpz-`*Jgiz$bov)U;oSqX`doj3-Vw>$I#L6ld5|*OnlYlG51qSQ;zX?{*)6j|Q`K zp=8L=Weh1u%7ohl;Zb#v7G$p$H%Y2CJrbM$P|`^XIhQMc)k_h^2^KxTsy#^wSU$am z4-MAdTr~LxzDdY|o-w|BB2AJd+SJG(D6;kEa04e@Q?ZT_5ddB%#A>?!g2(sF6Zi2y zl9l*?A+;`wXkA%xn!q}ZXC1H3!0Itg=C;K+8t8oQ0{SsAKI|7w72xoZwr%am&ei9& z?j_p%`A0H;{F^$RZ`(by?2S+T-Wz(1@iv>_tA5&MX3&Y-U`@u_0Qz4w zZfV}yx5~9S6i>f7Ks4c+&LC5p)GoeSE$&+bq2!`}*1Evx@gAqMS53rGK5vxyXP!X) zu5D(#M}|slC9V6-^@iWm56i?Wmru4s^yKnW{m|pM@Ux6<2cR-@F}48o_E9C(lAExq z_xkaSvz-ym2bP~*lFXNhJ}L?WiYld8Z!ReJj*SueADNvCSC{HF4$TVlk2Xom=bE2_ zDh2C*7e*`DJ*$V>)ip-E_4)a>^o-*+l;q8q(4<;hVe5N z%OROW_u3I_3;uK)VkqSgS;2=+P=PzfqLAf(4WH0*iS)_q!mGjuKvt5Ju$bbJ3c%{2 zaW8r8og9iu-4iIf&;8Pnu_%{J zyGzZ{0~Q#Wm7iJtQ9vp3$rMOy_Nl3VVi5D7bw_DW9P5(HRPWaw3@f9KPO6n2MWxK+;4L zeVvc6bRsfP-f=(CW�@<&1CfL`;Iye`A6`LVf?jWAYw&@Z!^pvpJhdN6~7y5&fqR zBRqs)*JN6`)H4d)4ZekgAu&gMXH}6jHvz~wmJ%acV&IvAfgJYv{_Bqm@tCs9K{M!d zoB$tazz!83-QxfS6|u*I@KG9xZid>~(d<>&+U~NtVppAH_-TQ;@2qf1AA< z@UPjra_Fz}<7iqH3MBO+bq~onHk&&b3u*7j3vL8i7Mfd%mWTV z7zp+3Hwr6_c=bB&pqL6-A;`kdS{}-z-6!G-Ay|SeSFMzGNYRtXCQ+JHcRHB-JAJL{ zo}_>uCBdZx^bHG}P4)rKHwg2xe+ykPGWIvL4JrG9?{loA>$KO%wq`p()owQ!(fzWy zc=?$$xAR!*-ivrJ?w!H1nY+@{o`44t%zC%8=>`G;{vX63B8t`T(TaV0<4&s{NvI;~ z`b!rCip?lJ-Z5dE7iY%^O*Ba{E!s{TgpbHV5+f5D7u7czuw zc0v)WtshWX%vEYGF&6>pHp+Of8k$=h>y%0U+8zDSiQ-!`O>LiIOW*@N6HO!S9vMyR zw~j>4b?PvJ_nIwG!@7);JQUK>ibLd?-StJ9?($rgsp@X zJ?inAcYh>Y*t~C#!y99`TH1(BPiJ(%fWglis#_;pwnQKPxQtor*wS4VRpQ>=09@&q zlscEuJ}DemYv^XJr<{v_2IPb@#}#r&idDeNtdZJl#I5h0jqx`+f4C{?-fy^wVxvoM ze!I0&t`yo5r&?X^P}3v~C4YwAdGLzR-1N5>pZupeOJfSqz$X3$L$9dE7?SNU23ciM3YXANFC&Xym|LRhLd-rzgR*7#hC zm`wHqEl)-iJM(~drt)x}61GOc^%X7QI zs2NL&f{-bS9 z;vTj(e>Ly==;YQLp-^j-RB3Jh^l5Iu;^`;tGB1~(@(lA>ZOt4D>J1e>E;3`)JCI-} z`T0vw*CjyFjO&`*nAV&8!h-nc^63$Zc9Y~SE3#gg0ZBoKtxLIxd9t+bjH^JolCrH# z18XZlUv>pQ8_Y#AzyN8;rd3 z_6_uz$KH9r&MnL58H$>M7jO*vwdDbh)I6(?L$)Nzy#zg}YB=);nHV>&V&J02pyF1w zbN{AKQjJ~vtb*(K4Sl|W0l&_LNdMo zf9s2J3Bx-SBSUYM@=L4Ms4c@loX$f%*a!3X&_*{U?@QE`UtZ0TVNxYq{JTBErr>9> z!XwytgosP%HgddmhY(#=?DLmXc`gRH@jjI7J6v+_IDA3;JVvIIG7@uGu4bm(P_hU+ zKanYY4LV!phbO#>1tGUqX?qL%!!kxdf9$J2^F{pB_F>)KZ*FA90<4%9Q#Q)k?#sFS zy8=cI5A~o|khqIWD!2qR#m!dbq0l-??Qa|?WG5=fdTnmy(Y0UzHom(>ru(r1u!-xM z=LqIYbT5>QHJ~2_%9JWKQnx|B(m5ep^2p! zm9W!Acmtc{ez`wgX>F`bc0_0k3VnfO-pJ?Nb~Kos@gFu0Bmjcq00|dD4u(S#u^A=3 zw0I2o#gQ5ZmSta(mBXyGEcEnvfA5KpQ+d>9Mk1m6tFFPaHrOF&4n|_~uSt9V_q!W` z4#zf#iFgK~o86eu^p80|@S>W}Cb|5rNwyV4tlhe2ZyWe9sMplw72ugHab&$Qu|d&` znKr;tC(h>zku8R;TR8{l*HFe|KszOC_03SSV(jB{nMyCW`0hCqz5sYNf1j@Kpf}&_ z|3dU2uHhC_OK@~zM{EN-1vjOgF9da2ghh-J2CB9hD?(n?1~mQ+InId;#fa+p1WYuK zXt|}Zinn<@dXNnn{0*Xf{<~&=T*){b8i|fJ;ZhGhkFfsx2jmm8&N)nxDoXcOjVlNO z;Er)%G!LIOpJ1r3x(f5`f7HB?P%5%Sa!+D`W0(8hIP|9b#_Q3@6MF{jW*w%PJQehK zK;7n!emy!G=eP^$ns9)54Te_2ood}Br4ToW1IHGkiY?rhobk^)rZp6L_=S>Ct2{M_ zc@I_h)CSKOB~O_7{9>Qc&HPd97=6kMuKYK#BnoCvpU~%}Z=z}Z(1SFrbnSQuZ_L8Dx`5g=}Il(lj1N13RcdG!=ydyp*bms(DvuXuZ z;f_SPuf0Plz}ibOHARm%!ZUNnP?7=u!?Qe4CQ?COO4U-I1A8g29 zB@X#~*`laQOMC$we@)`=&=KN`2jimjv>xV_fy7~?wN^L*_fM(LO!rzu(rIq$lT}5qwo@n zU5TU85hzdwa z(QkycETD^WFN^&*A)}9c(!^dtCojlr@Zz|9r=nd6`;!BC3!h|S1>L9DMIbx2v~jyN z2;~tv3}}o873`1x2)WWE#0C_8_C|ZUf0ZM32lRjxqOTvXC%6KT)uG4ypf-i2rA1H#J)+i#Lv*be}928K}%epSHme**Vho2L4WqD zwdn(5r!>3UuqL}$5a{T_CEX{lKyh9=7evkZ+ck_8?Misduf3SV=203qL9RXeK`6lyA7i(nB!@y1`s0T7Qs+N0!JQSwI9IOf9pvT6(=StGBW<;W?DXERqY<* zoWnL=l>8MbAh)!hxPOVL3}qE`{5wy$t0E_b8Gl|==7m*HBy5_5^;zg;V92!zp?S{b z#T|eV$`5M%n3*%^RLU5oJMHYSTWD z_5BVIjPi$KpV89S<9Qg*RYej7XPKgXE#|n}FlQDJq8_jiqlgUSpVw~t+!}D;fA}ys zf4pVLFa_emQn0>-O2onOk$5Oe=u=5+{EZ~Y%IIG>tDs6a_dCs1T^-k5DD)m++oH$% zM$3ZAQ<8Tmo)Xn#qkyMr{kn6dAn#y>;%2ca$M@iSjR+$m+U=*L!j*g%{)3P1yAUoW zRV0zgChzYg-fIT@DK)Y7?sP`Jf46Zonv9lX`&1Mj34~=TZ5#I4A&-}vjy{3>lR2IA z#=9VervXO4(S4jv86m@Sy`#P^>~*Z^IlCC^TZ>^)asNrCt_gWW+UHAlsPRVFnsM<9 z3jo-BSr(6(zUAnjPKpL^eNlq{!5Xe%0M?i46;|2fmNZQ-L3X^~S|-hcf2SIyk*US* zN|FN_z|vXDn*O3TF^y5+B6VRC&>BuMk6$Tt?W->IS*Dd3QBBK#`w% z_>K=kWShyh{IY4HVXjQGGev)2MdihH({rZfo($I%x8gK%#+Z0cZP8VcO7x%*NMIi0+*G?Ea1H$6Md_s`9dj1W2HDVbG-WxxS`M zesA(!52PT5fCK!6o1OiOr+O9Vv-o4EI~FJqs@f*SBle<*XetQGn~>RjrYPT_*kj_e z)Yj5K)rn_hyG7RXb@Qz$(Spf3ZDJ?cjNmXU!Fz zKWih&DBY$Ezgv17D-Ed^u}v%X@qqEosq2r+1-n~y%C{(plJs%-`qYu4V7G)(A6GKk z6CPD4hH}oV7$EN_Irf56w=7?#f-C_q%}XL9U6%XrgeX}2#Aaiz*%VNztU5@?LvA3fOL$t_y9Lww}3&>N=G9a~d&_;$azmFKBCq414R^oX<*n7kubq zR`4k@@wccNf2){g;8_K<2k(Bz^5{4N%=@8I!XO}AI#FZBZuD*(iv;HUMFqQnrJrD6 zI8pEmZ1W}YG@AH3j=h>5g%YK5Zw2~5b^$jcoYuRqI}N2te0Iv>nVPV-<6Z4f|t zF@FzmfbQ^-6sS1J(XlYj{R)n zE>W%7Xbdp@gASkQ{5h{%YA5wE%;ZiQ`;*g;U`jr!Dz(`{=d!JhBM)6&=r02ci>4fs zp!8H)e}wDWC%>>jO8P?~nq)Yt_~1)6W1b*~)-+xp{w)>rXcVRf?{DoQ-HG%IXpL;J z+cl-;fh%`d9;8C%lDx|`6dDds&y7m|*RI zOL@|bb zFP6h2UmtUTQn(WR+fe+nF;rX^KaVU7Sczb@2Qx{$&lU%49042#7%h2^xhL{k*Aze^ ze`+Qw;6qK5+PUz~aqs%0Ou`NKhI}+n>FlpmTg2Hs%ae2(3LsrKT6aThzkk4S=BCQ` zs$S~BD_E5>P7C&N|N3!s9uB-SU(0>AL}$sM#)}F8f26Y3s*0F=FD2%cG5kucx&ZN03(UCvR!Z~1 z|A#8eb;nxSY`^u_-gODOSvo!h;5o;Gid|)~%U?B+93}?GnJoMEM^8YJ!6yLUG6Vr- z`9L`1HjMeTuOAgn9aP#pQr640H^}qmi3}ST`rs?;`iE`me$qoxF71B()d1^Ke+ZpH z!@!iX^4ANTc_eqXJ0SZ|N>~v5<8Z0D#Ey4JSubU|{^av(m9|q5Zc-b~tP_|m{whCWQ#keT5vb5Ip%as9-b)V75wg#frN(!& zhY3U~XU`_c1e#e;tCd)s@jxvZ!VF85ZA-ymjjx2{O*YX{O)#hLe** z%t}+84vW*jbR*lKlw?SWUbgPlk+mY__?~Evry}2+aA^yq!Rh@Dp}Y-q8_x)V2W%)T z4O8!&EmAGtcyHx3f4T#ManVgpfa(J9?iPBg`~Yce~gIb9E;Ub zXk`$RZEGhwYMJEKJ&lRH=mq}20FN7RUGMXckJy~kMiaHl-_QPG;%rP`*m z!|?ob`J(>?5tVSXhA{fI2z3PUx$%Nz{B@en1)E54{v`^LMv~pHh5$7Uj$S=>rj~MqVv?PXf5emi7}6OtQjX{N z!Rp4pGc(9^sdYX&CS1fF4K9Q5{?caqhY@SG)s8jiigouxI=j_F4?d|K^_q=V)*D#u zWw7;-QAr#}eR1#yJ6I7}9&1{FWEQ(8@|c5Zn<(3Ezek_>sInR1^z2O~VEiN>Dz^%) zsS$$pU1^C=4~!V$e>cMtn!m0wOvvsVo6wBFPmYP;SLOrqf0IGrbPPh7Z3|F(7LmR! zkn>sQuCm_Wm=mI(ALR~O*+jBkWeuC@@Rn6!#Ok`gsVucxFvbTFFTFKb8?Cw0 zOS9G3Tqo_p{@TX-GX4{h3kSe+BqmJwBqcQ+!tjv(s?=4rnapU~r+ z4Vd|utb`9>=m8hLRh7*dW*#$bmXaV;y}*@tDXD~7<2(PMuy7OX!UC0@fnqmh_zH^E zr5Pd-f2rZH<2qNs_R~1EKlz)KQncmezFoG|Xv2|od(WEbD9$|h5$Pb-rkZ!l0^+UyN5~W>pu5sYJWy>YuvQy%ns<$FM(ii13Dikwr z=Mz1fxh)UoJ_6r2oX*Sj0}?)7c8;}spgJnDe~#-6skry}8_zqLVV^z(^-ZRegw>WZ z|D3VILq_1q88P7u0RMSDYOqWG02y%epe@qTb8@DKk{`nz^7wD6NMsL)aGMX+M;2vJ zFRXD%6xcS9?g9>YQ1@aTi`Px&fLOZp+$FJ7{CW-#krCD>n`RZ_#lWF1bfnw}dxh{E ze@0;Rugh^PU20u?O%%qu(pw-z?={%!3heDRDwyz&_7|3pJlC7n#bhT(bTuOVppq*Z z0M&(RO(!mQUytlpAjhKr8RvKXDCoSj>H+}AY0;h{BKOrUpWtwtoXFlp>20ToAO(5q z(wZNc6GPoGMz`6$&)(l^y;)Lk^mBl>f7V_0q?ll!Cfh$3c2-&vDo?Wlk>iy0`4!*lAW`de+&U!QD=OT{UoihHCG2Sn@hT$?8Qq9+N$mt6n@1^TrBif8ba* z#J@Y$#!$B#sA5R^D-g;~Nlj<7dUphTkwJawGX2Swp6K=ZGYW@BGR(p!zS>E13hS0U z?M2H_3reJrs;aee0He}E?a6|WM;9t-hJJh%){2C~8P%Z$9(I$b*kdq5 zeKN{&k$tj6bsOCgcjZp(Fa~eTX>Sg>XE=CkaO%@R>cS@<$U8vsf11;OH}B%vT*O(# zEZOMWLL?JJQPZ8af8YzAfW2nqCNs?>no5n*x4y;H`DM8#K}WFL!~BMoPMTMx2HT1o zR-8)m8&~pibz@ZEVtcxW!Y*DQabm|Z(o8<*?~(`5VB1-e=i7%{cVnXd9L~wCl&-j0 z8riCuM)`rwuP%Nl(Fq!qcqTfd4+I-V{b_*`Y_zsZek8>ge`tFZ0@RgEX29PffM~#N zQDeLaG8*jl@g)h7?ZczToR6MR2qr>$zbms2=%HA|0b4AIbB^Y~>qa%gl(1?i~hu zfNubR>WVt-2Qu@o-XqG~u*S|d_O`InH$ALIrADRQ_cTx^m&l&rnx&ma*owvtQ%$|~ zj&2~j&-yFr5Ljs3h0J$=!;gTF?If={C-vf(uz!yTfAM7;NPkErL_(#cm-RMQv#r=< zZT>+1AV$IV$h7u_u69}bRLdu<23c^q=>#LNWekVat5rah1A;J=hf=Q(PzOMQ+F?XQ z8D1tAm!W;?hC0`kH4RuYWDLFlq-R)mSDN;0CT%_k@lxDf_VCa?prYBQTXA)jR4i;k?f4w4f0LeH5}3f`N!Qaa1mHxDUTGRp*XM`) ziJbqvIo+WS>`;bI*Q(1VQ<3?UC1q}(-{f5@oH(-J`xIEF0^lv58{x)w5TD#?d}VdZ zmjhJB(Zy$B@{t=-K$}}Q?O@k@IT0%@oX*q=sX~cbVIn8=hhBQa&Ox%yU?8{LJx39o zf3Ymnl&Rw=>(+WkQWKqhnnwxgNWft@ck|T@j@%0oS*$hEl5u5KoVYLWKde-B)Dw6g zqCC1fj#TMJeF4htg7snNx1Xn^C$}-4TuF>aLe(!;LBE^ zdT?|)USI5j$lwgfiHO9_{ow`)IZh1Lf6z8Xb?#yHB8Y`I(l$qfZ=MgU5?x4dq>;F0%+CjzqV;q75^bd2S1V|v#M)P9(!cnj zeprG(bb;T=*)Wkv8|{6uCO0?D#uRc`K_op3AK%%_koy?v_es1e_fX$6jwSrw~*11uOj` zLJ8OH9Neu5$YTnrND^L5?V`egIr*@bDdZ3=K=&b;!$wuH3gHtsuR0ice~}vMB~O}= zddd*7G8Wx$Ea&q=ByP3;%cmGDvMS`5&pM(8o`BD@nGR+DkbMS}>kH_o@b3j`g(fzl zAaah2`V@4OvA{fJBD7r!2o&hnfJ#BE4QW&vI5xB5_{PxTxX!7T* zYPlb48%=Gn5siX_H$}3H(;iL?GUp2#jyQ9pA#nXPQNdmIZjM-n{51Pf`z&g~F-lRZ zv2?bZ2oVu*7twwne->jU=;jJp3~V+jy zxc&sTi|i8v?oWc6NP)69zveCrcoQP!rU6+EU1*rlhcZIPk-o-bxeLGnauy%Z?#$Lx z)&#P?-oHV^>c7OWYUU9l%?xkM$}d5nv>f3sY$t$+_JCq!f8Nr+;bjXXAdr@Gy{S2d z2yK{6@Ttz~q>lc##CvY0Ot*hDLcY8# zJ#(6%vvEtkg`7oJ_#D5V6kM8~Rg9tEN-^QRLidwi8peL>(E zLJdSj3fQ7S47CH)LfyF%zi>^I9Ci#>mRdaJ)( zNqB24f0a<)0Ho`JSWW&cKf-+HxNwKL+Ku!GX2EQT#Y^g!3jOjr(0YlPkM$FGNHMH) z1wuC28i^JrR2VJ=qR?6n{vGPk6e~?e#*Mp+COuY1G}%YZPe4C|q3CMHSb~Q#U}0WE zGTU~9Y!uUTEd5?>jjqFO^B?>_d@a9lImyZef9w~A1D*&#mjdyR9ps9tEHv;fdvyU+ z{x`}Qq7%A{SYFu~S`!Nh_WIE?H;_6V=w8ztV8&fbGp%nxk zZcVYpm@UKe`nhi*Mc-e3W9hEp*>GyGK@VJ&=m8g1s?l|}la~-4O2oqF#&k7s`@e%B ze-(!v<6p{MBXG8QY5+u-7j04dU<1bgSHoro{{}dy-R` zh1pKmQ|DETMJ+_8cQ+`qZFLTnMA<}B#}7@WPa7kB1p(-`yn{`lv1LHTX$cQgDWq!l z)wr4>n?niNCt9ijBGk5tw2Y`Ul&CbGf06uLjb1x`dORBt&O9AGvQlXP$iAMC^&K>N zQ#FeE!Vk8l2FcC?GJ3Ia^7o8~aI^zaq+wdpf3|5H)s*K_F({4WE}-iRSAQGxP%u)C zS>=W4UOJ{`e#a2ibDJa~mtFud0~r3p=54Ak4qXh_jP-q4i)OEBNybvLBkF~GH2Vtc1P}1A~{M6G}Tp4a{{?7uKs)J4{s5}u{e^-93pn7`3 z^kcW!b2d!qtKw54xM-Zjk0z3Ir5FxCUIB!K)q+ErQ0hJ<#r^Z7kWYRd$KOd2 zUb4{KZ@ep2<|1bCU1o|*bQDBFpVe=k({GmKnH7LqJRA{OTOk_(n^oBqVJfOr##Imp z4{mLSs)_%dWRoz^%=Euae{{5WqK(!-jNk~GW;Z>~H{zOQx9%UIv3)@D&l&Gfc}{Gn zg>GTO+3LoR8TpLakgLclPjE0RQ*WH`AK;@5p2C61iCy~&p4Og<960F0w5plGi9%c$3Mj<0W9}_TsIPixFospuNO7*ut=P!=vPeC!XjEL0KAzE4Ej1$$&|ofiW!bnDVZaQeM=k~Ek#E3 zsVcfIi1LHyf-I_f9+i>_7tnc$8Qh@&z7qbcvoA1kqPVd@eZbb+_t#;qFT_hOKkCh8x{UfVbv8@~Vt%&@tx>Quz<8RT4L`|Z;9fZ;mli7J zA$w+DE*edGKyUBR0J+DytE(m7dX+PPH8U4J+xwQGpSy8J%BfR42m4AUiL(rrMzP~) zqb7He)39k}f5LFwFybW{7OGz>6Sy=M8#ihrU&CMi7n$BHEHu~m)z+2RYN#V_^Aiau zIPb8i7Vqcq=W=5lSp&{N!S_}!k6}zmA1qX>`Qizprl2CWhvG#%7{A&z;3D!+V(fgz z6!^Nmw?cE!D`T$vrhY8TB4!)jdB7}V1wCc}=AeFie>+Z8dnjUV`3tZ1xz%!!9d48p-qtlo%S%HSu9Vns)-|t@slxnF3%Pk6w?~y0*)-_c zz2ZE4w>-k#4Rz$$d%59|0BrO&%5M~X4s8&Br@IM>r6~~Iwn`(ae^^DQ)2xv)U~Fz_rv5UYPcFdQyo!p#(fFeYQt3wi8gGDr+IQQsZi& ze@W1tzRv+2xTTDRi4;0LOD5 z?D$P+*N6rb+mgCN_wr=EW$CLHHa^+1e~0=?Q_qj+R&z9l*na5?U#Roteb1)PEGl~8 zKX()-+-fx)p&Gt>FJT#6$9GjrPk>;paxwP+(|nNy$laOAS?XqzmBk-=bi?1kO(e&o;$Uj=ZAY3vP)6}zyk>+lxb7ch~ilkJ*IBZrP+KTB<_nU)! zq{3tFiOKZFzfNEoJ4?&E{aICmC^3M!$xjCtE^kbVt{#r513Ce1Z-Dhte}ye>%h?5J zp2!-U(h@#t<|=v~SLVCU|Gs>LyowT{Q1vVHMp%1Nb)KK4naTknDJ{<_>7knrd!0sS zzZYfI***j9(BWD~{sS_AxmQ~9+&t4UOIe!E{kBJ?O_m!lS255V%U%wMCc-x_$i))Q zIFTYI5qAS*p7CmYD7z3UfAyyaxFX?SFsYa9{||$ALS>1e8eT*VxZhicbVLqd^c=8J z)vf>|{0%RE)N29;Vx!W%Z*Ti?K*_*%YhYil3H-E@a>XI~!hvqSK+lyWO#3?Z5twr5 zGW6`wrnPSFv3~lnovm67%&kma?G^A(W6ZIlub#Zl{vhY6qP?X#)Fbgt1oGgT}3-03`8NbQ# zf6FLl3hWFRO}MH}I^)fxXCvR^cUD9@Q5wJniGG%cY)cO<>KS{&N~;9hEz5d!JK4$X zZXTUaj1B%M&p1n`e^H$DF>|0?PZLfqkcSVtvClCLP&q-NE74kr_ zVkWj~i%0vOb5fUZ63B(#WgTj^mrXZ7>kByhZ#_VQs@UcA2z#0V&R%gMm`$b^>doB| zll(y1Ec&eS&pFdZs;Za@Wo~41baG{3Z3<;>WN%_>3NnYbuv8VF4DGz_f097W+Ry}G18^izv$M8y1sGcp@VL6V3b;DC&^fyB(fzYY+0>N4 z*}{~-3}9_aAS|z-DJdsTKp`%tN+51(YwBodO`zanWDPJTkO3H*+B%t15}4UJ5?KEy zATYMGH39rflM~&)1=zZpIy(O&%*@fwhCo(SMNmv$PK7{Jf0$lHn8481gg{2(pY68J zPF(-6O^uxa|LTs0!1=$(+VH=~=)dT{RY&*#AUYUEMgkLnu`_{@sX4$FhW=l^N!ps( z5wQIyZQ^48Kc#;JIsK!LfZ`tyDG5wW&HiD#SX;{(+L#hh2;14%yEvOV63E(_m^#`L zNIDz-)7k&fe++E^)*k;~;{Rp*hc0Mq{*QIEj4X5vEdR*^oWua`rX~si=YI@0GqnE4 zsDJ0xP5<*cvZf{g7n}baV)~CO|GcY-ovpRU|GoF0X8wIEy_m3qpo|Fhf5+h8Wl>vW zI}?DdIf1hCKaLtYn*2BM@3Mj+;6F1&!0^Av{X1s-f8SWv(Ag2-PN2;|_pc#g_}BU$ zr2D@tAt5_=FIrAk0$OG!Mgm3_Mpgn&W+tEiN3F4oqob*<^S@pHrE%Z$J)(>*uZh=3sr6aB+0ta}x#JU3X}*#INn z-OC-xfBR-4!&p<;D}je@2L7bNcA5>qu^^OeX%O4A1S8V6jER zRjEB$(o^T5k^PsWLzDw*M0-5bxHD4N@w)Nvo)-hlce_P*7n7fGU)wnnfUM31>4j^z=T0TEUz#L<6gyfnK^X^;e^z7iKu8jg3XZG zNe7V5=XPBY&M77l@LLu$O;&oY^^sv`e`&7B4bgG^LNn>%L@E0%3YLb9GQ-Kmam9M; z&d@B$6`JP>C|PY_I}1?pvpDdnkNI6J%o#ZdQzi!2f^?%nklKJubS={zdO;Wi`}+!d zZCB*j>m8Ah*C9d}k}EVo6)t8qqlD+hK15~`MIE|}E2z@ z?q!D~#utR^+ukUpDf(S$7x!ue4f6CXS>GIduwh=6Y7fYJhX?x&aP~moEu;icuL#w< zDOk#0h-JbPNFNP?ObB_rX_JQTFO~yx#+@1%(guJ*HQC6r|IP{UCZJ4M&KrEd;0!-z z+=JtF;L41J*Ox*>Wkhi6))%q!e>oVZCXP|hqWmpZg5h3I+!pZh|BW8?sikd!u9G>U zaYYr799enNJU_QeHoG)S)4R^S6##f}s>_Vy1zQ~s-5oK#!Vgrce$7wYG+L8TEfXdSz=ONhS`$CO&DpFFiwA);ce?kfyT{1EY=?@A1 z8I5hd5_aX+Z-AGvX^m{{U|9_KwZ|9v^P(wzn1FksUzHH7C#)em2$mj#DGRjMvb#U_3EdFZwl?gfe3$>H;Om!y(JMtVbI34MmIC}wo%F738nJM~dQ#_o87g2mZHY4G9@)uA{7bC4vH>)+tusf2WZchWiPh|E-m7_QGF0 z&UY6rCPaY1V~6L~uA)Y0?pZb}B+gk}iP`-llMBDxRwAMEy%9VIr8S@Ikc6+D{j?Gk zXKm_!o|l*~xmq)6&tsm(n3@7PWlLq|onY`CV=LaHtU z1Z~{}q*1X&e>Ff|aLT_dnw!sb z3AEPc9bo8&H1>c0i1P3E(&4b*97=p6C5N>cm_|`&U^kwcH9D^Yf7DlZgkL@d98CQPzSw|=anY>#2CCk|g zE#%tLlPOTaN~Cp;-EiU^!6t*X(v2_rLsgJe&k=@fzLr8KIr+FcSY&Ts#E=$$M_7Do zn%5aYam+l|TA9N=TYoSekTy=%3bSv5nSs1Mf6r*bG+VNqi$S@jfD=Ksmplke+_S!K z_)n63o?Y}6UA)jPv;_8zG+7(OF-YS5f>sNZ4&t`c$W}vcJXw$FmBbs4I~0gr&88^` z^=fK~)BrUr>rbKn?bdslYxIJaw>oE^J_t}psa8!BTZ=q-g$s7^7V8oEQV}@-L%}NP zfB2b)|3;DhYVqw{OeVPwO8H+giU*@69i3rLybtGeD+;^WAS}V7KA$6-1J|$f79tA zzOaghmt-}xgQ@p@4=2q7&?!>H3FH|{Z;4F(dobFGQc&u}3MC;inA@(;FViVT?4$8r z+eS9-@r;SjfXPG$o7}Gqj)6t2)`$0x!2|rM9N(aFAqg@_5j>^5`xf(Am!dJk64_za zJMv?TVX83~amFxHCM@I4Mgtuzf5Cg01JC37W_w2gLvD=hGXNG`Cxxzg3E$LWI}0km z#2MBK?qRSm(iR{(RdYb0u@F*reW1Yd>y7~{?%@{cc=>R6O+&durd+r4795=it!8kl z`T&o}Y97zUPul3Ue~nu{XSQEjpI>A|TU3sF{`K^!N?Kp9g$I3v)Z1{He;kp8fhw^C z%R^puK?cM&%tll4qZ3c6(8GyRy^3{zU|E>o&QUnHB!EMlKtudYk!pvQt+AlAnow8Q zr{*EeMx2e7ffJykVt67S+Of2K-*?f|$XJVokD+E;^D0P^xI5jt36F7h6$XgE3gd@G zG`mha8^ESQZ21ix%1*P_uay{jd(hgZ z+qd_lTkJ3c8Q|v)l7qCDe3s8f2cw;b;q3W|hok^@Y<}sa%-*@*80Stm-LXZbPKd9@p zS=v=PFL%pIf1$HObJ@*LZ+E)A5NLimT_iUd)gWx<0^_~neX#&mK&ijc=@xkDe9!GQ z!$Y|*MfUvlcWFd?9YJyLrc`!whG{|rJc$WSimVy_&;Blm@O}mZHq91~X6hTji{<0{ zWB4`x;rGItdugQ9CfG~siqFxs?a+<~$uix}1=vLe&aj9<_J8=74)6@y{r-T4m%N$1 z3Cs1XuKIvKZIrzr64b|F4!;rH0|nzj;Cc>~ZOB zSnaEs7`h*ROn>D0B=c64AT#coG#39||FkvMx?HwW@yh4=zmr>Fs^Bq=i;|R6nQQAR z;%PAW3UrD>r(Yoy=^e^?^>4E27DgMODUR}h@A{ioHb#;9_hra1?v1u+i+M*N%9D53 zzu?%?sQg)NQ@y-dpZvbs!#M?ldW3Sv5yDq$p7nPI%ztFU`=WtUQ#J5arIFc4O!7Jc z!Mlj|!4_|V+F_VscWh)>)4CD`lrOcdW~9@~If=xjc=?0xu%BLz;BAeT@H|{uB9$u$ zjp|DyW=Pp+c4xIlP>Kns2g`pb;(CBSms6YQ&vYiI2MSb!-(vU3YKE!SxYmHkxaFpJ zYo7r7-GA29E{Jdbjn+mNaSWqZXTh=0s8;dv!^B*co!kblHzW#Qz0MfM#osN(cn(g$ z)owt4Fo80;B1e@CZhOsKi*-TKGxD;NKbkC&d4)FtXHp7Z{k`oeB+jx_BejyONosyy z`*gQ1Lv-q)5&-TE40<~%6Bq1`$28nF?Ub>cm4C02e40u|?K~maaRtI1!DmC|>PL6!pX?rs4q@E zaYRm123L=-c=~* zLGanbxJT4?memZWIiUN&kZXVCIln?lp?}LO-+_|!_B}{iMsp7jGAh*$Fbb2ZHc#nc z46q+^kKOq40Wsd@bJbIY5FtmRU*Q-b{88x78-aHbQvKD$DHH*5!@b|v#YH_s?R!kb z4!j0VDZ^aDG3Pyybu_lmixd3-*R#mUWD;E&42Y! z&iShTrL#Yd&n)`xf)#72Q9eVoShW!)tLC`;P0@t;Du+%9IK7j%O}p{KryupP-_Ma` zuQw_zhp1vly0!S83gbZE5Gv;{2{A1hS2N=pNyDAdN#8 zu&=9JrDK!ESb1`n1G8mo%^UaFqB-3N>f{UMXrs_}O4b(5TjA|J8x!Zyl8n2eI-Ut7 zC-iz^f~VbQNz&2;udLVraGHPL~gkfo%z@I#Q{*88wbPmPV^oEqjUc`j-2HTt9}cHd@c$NQ)SWaE zm3z`+GfP82l8s5Z!J?frPJb5p6XAojxQoG|3@7`V1o4`yT;IB%B{34AT-O@E&NT(} z)d_%vF)`Ypl)CkzowSE#?r2SbbfAev*vYioI%SDVZcPsnQ!nu=>_eeTfd*0-@TB7y z5^k%u#)$&bqn+zFk!w<~MVtQ zRb%Kfu;1p7f@!vTol#&p!7;KZKm&G(_zKq^`)$?o7� z#lgk9OF+*jD0PC39Pd7!VXj`o&43W^3R)*QE3a2B*L}SVHRFA$<8QyVVhN1TpHd;` znD|&?HQuYGfQAeVvVVw4H^?T4B{NCv8p%s3<1yef62sdJ1`$=$0J^gJja79FW#L--0RGDZRr%hngK#gYJUk3wQ6pwtN>AVcx!`X zMe@dPCV^$WBRe=Cq`NhDcs0c+n66+Cs!a7WGcm@GO`xCQum6_JDrZj9DyD z6N4Wjb2R{ncz>(e>VkzchB@MXnC2*Ws56mM17H&jA|3mU&V(-~^bD5mG#nh^e6ZY? z;MlkWW--aAo{MmE9v$ShsU^1UnT@kKP_u$v$IuuXM|O+V+V~cg>7?ZJ%}?}v(~+bC z1`_CpdX~Vdvt&+8&`j?%=V;01&}1#Qn|<;+bekL{ z6GU&m6!OX}!5~e_-CX^t-%B~PTCUFz*mHUiBnt*@r;XyZUYTiHy-1hc2yVZEMt@g#(ry*A6uIpJS4y|>U=}yUSgeHh zYDK=$g+GBxs1uH(dwO4p>b7P=0sT=m4Gj^^v=kg2YUIin+tg_@U4$rSA~Hk(lk!|m zs0|XS9f6b!NGx^$zwkR~nxFSH=mJ6mm}wDR2t2>u{gsEDynEI+&&w#I&gcUuk!!&Y zqknaejK1k{Rv|Y29qjA*9TM6G*w(;9oN%=o@0ZL{KSeF=D8{~7e9gOmql9K8yNHAX zbRom1LIqrJbXaSR_bClx1MR@gV^+^5W7%V26)ZT zQ*xGfyA~cEAHysX?!tE9Jv7=kP@KK~?s8#VRZk-zs5!D$7n`xS$`C4 zoth5f-%(~as1G;AY{gGnK_phjhc^`=Wh#F4$)v&$>bzNS$}!w6K0v4i?{m~EFAA6?~(hwRX;MQSb*jn!1Ayr z$$YoOFavh{>6JFesZ^g;fHCT~VVeZ7ISe@RRsy6elI;xI+)4;RP=S;yn7Bxnkkos{ z9y53ockti0{G{ULA_CF|_tQ1<{3kbEdI@)@8<4^P2f`b*it2B8m1&JNZGTu}{2Qgo z29<5d@Z;ut+6X_*x{Ia2N?P>FN$jR6CDrnPMs0cwB?}$S8NmC}WI84w1=O(l$ z4$&IaB)_|m)f`uV9Dmunljr#4mg@eVkegW2_eBLbRvz7F+^pLD$*a`_h4h~~t9ei! z*GIR$MMV9zAB(=^eRUYqJ1J_Q->q?LT2g?}yY1nY0gd|la{o&T2ExFGxz8ybiLf*1 zMv)|iNRW}060z(E2;5;IfY$UVIgu{twY&^PBRAjc1dLLSwtu8MIm3cz>`aOgk0nYZ zN3_FLUOU>#dA?bey|%y953J}?)pc9-oP4_In)DjV{`~c-l46F=l5rOneHHq*!ce|E z5EYD#aR4c8Q-t}ouLL;LPc{C~&{*4-qDU^%C(T8poGA3MG=xgU4v6+5Vi_q>1inCJ zU!!dk3=2*Fe1AcprSVp{P(h153@`+cZSXwaD!Z6;=pT!DTvmHI&8{ENR13*qZiQ$+ zx3NLN{12s^JyI$h6NA)c-CWMNKQbZxTu*dNP*K_1GT>M8>_Tpm%AMwMy32-xN`Hc&P}Fj~^ZWWZtBjybgHl>6 zKqMH?Wu$e73!?p(BL$!zD|HL!3nW08l-mbQ6ZMmsjSE~+D>4eE5Ldg^2RIaEoX}O( zeJM^_YcWzD!W`l5IDK;Qi~xO%u-{5+o+h4FgOrq^ewXJECroks8L*c{!i8F})JAuU znF2n$*?)_tME$yOa4)L;q^$LQABRSJ;-O@JJe3@^wpB#whfji;08DV8EH50CG!w$D zO+U#NVg@Q0x40UEIEtFP7UQ<8j~x`rbRP)@TKjzPm^DVs6W&KIUBYq`!&pD#*3|U( zd}4CvN*x0SsgSiMCy0(5ke#rZH}p1pLwji)ti4Fk zNPk;Ija0wRbv=TS*D{EODeXbTu%4ae8A(f&H81lENzZ}R)y$RtG<##X6&ZKw*5sxn zsds4j&QN7<@=Ep!uD#eD9MmTPNpNU@vt%||0yQc&dz@BYuFkb~I?x~a7 zW=nPqNUq!(zwyHyDi@DuEb9e4NDIHz&VN+(d9RuHxYs*=Mf$_ezAk-EB)PO1T`Te76wE`fGgu`^VRqlbJ#YbRcCUym zM^7-6XoJl2J;l#|j0{wu)6245Z0HFcpwaInud8zW=-udkraV3qS%DjSy{z=~C4X0Y z03YkpeM61_A}C2CBVcr_}eBNz3;JV)h3 zPJwe#OURYl5Iydz3MZ~3X@5OXCM^IcQ)z7f3D^i)#^B-pJ# zMvMg|XQY_B1zP@MyDd81(mx=$fxwxoP|JcTHx>eZ>;o{r@18N<4Dg~0Ly;|MN>Q?u z5=WDRyqI34U$4hdu0MelMXec6(c&XrgPM}s6m*OAkxm( zb)3u!Zw`0Kbxv;=dZkDX#ArLCMbTw7lqN`A0neN?4aAFo1R7_x#cdEsbJ7Tc=A;xx+QQsDTGfr7^XRA;UJfokb|$ zyK(`3#~~w3S&c$K1kC)O^@4}dNgj~S&*aRsWmooM z{)cleNzf2cyJm4}-5!ue8a-(woPm626lkDAWer4hd0w%|4`>g+r#{xrA3)YV^n6K$ z;YKkgJiCrgr<>F++x6yGpC@R=@1I#~AhEZ*3WZ0f!-02cQxATnTcJr_dJ+*C6v37+ zun>`ij=l!RB!6u$Zkw-5ip|Dexct2{BN2UWQ8xnFoTw}3l%S2U94$;y3yeqaHe0LG z25zXsrpQj_Iekz}DKEKvsKPZlrtXLZ-s#V-fF+Z*;)azBuZahJn~;j4$Y@TCSAPJz zc29|&5a?Sq_>&#^x)_aNd;#3nHETznSZzUmmYucb%YUi)dqBVZ4?Wo2ar19n0yrt` zxtmw`CGdO}j+rvNo$rLA?SlQr4z7V z6k!Q@PvwFhhn~RrmkG>c?n=aLbb+8-Q#tWOUy@!yo$6oXc?z5^$ok!K+I3t0C)Jdwtg+-+gPDuf9 z%)KT(-#Xt6K|t%B2Dzg8#I09xFOI!rM1olh_n^wTPM_XvO@3)guI5X9o-s(2HHOZwF@#?TurNQ|OUvGEkH)cHb)PI7jQ*p+A6~!tDHUw##%7WRtnB;10 z4ic>q=0(#3KgYe<_iVhLpVD(4L9)bJIh^ux6jd*Ed{lpm&xzs{SH=>!y|bdox<3)~ zm0oa%dXLdXXN50RfzwV2aJ(||?stJ#(Ec6)nevmSSI|`S_I4D~Z%V_Vscu$rOT~R8my9HYKT@O|vz!0o67sY#{v%Ze{n>2jFu7g?FEWGTe4i$dDv|@6H;{ z#V?V*BqN2%h9Gu}tMCzZY{k85yE1WEVt?Zh+Ux(Z92rnP!)iToa8c~VZe2Mq8{s@U zKLv~w=!e}Ac;qrG)aY(FEA&ll0ZL|ePH%gIV-qQ}sDkREY^{BswyVJGSU;wZ)n|T; zD-sx00eQ4t>5T&t(vUd$p#*C8hNiTmT*&@j&5sfUFC9Mu{i)Rws*)I`OV0({iGRkQ zKEvlEG(KuflJYp&p8zsoJ|S_$rYehkkj&*#&Di|{bvNg(LExxEcg#Z8aX9j@)oUN6 z0gowF*o;9<+%5_2<0pkTPU0N6wkJOf(p32#Sacz3hr4ePY>mxkGT#TaANKMj3j&wO z@_V7xn<5ja+!TiW%cRw33|Ih8Tz@e|Nv|jC^4W3NbE;AwZsjX3re-K%u>^h9SNz;s zhI%;me2IJZqR?UG>cVYQ(lSSs5GMVn{QhqXbRo>u+n}rpiH-%X)@P7`WC%a3h zuOE?Rd@!V%Ubt8H9UOOn&2jhPdnAYxBRCi-d|hQAQQf{~O*M*-u8 zvm&F_>Naf?ud+#q_%JNiN!=<5j{#yi+WCbnk9(|#J1Rnl!?)oei1-f#7k9aI{KCS{ zE<10Fk{b>PibSQ4%&t?3DxpS^I^$D+Tjis5yx{>ZYQAn|Ents&pupHBuCzPnSX4ukV$S zh2QR1GGFGOy$RW%%(u^1^bvpbV0DqUwIn8`8QFCfd3A-^v&7w&9KYux zpR;U>XfKvQ%jyv=y$2&c=Jix3sNH&(y zd)1lwfrfJ9#waw>!Pg<41qGr_4$3%di1vuEOq8QKxv>wIgL=xMK5qIpXw#t$CBJ9o zCN;Z6pMSsc2wCvmidu91c0Rp%(DiAOHfmL_wfYN0hGo4@0S&V7()G5>NEsVz6>19( zg@+mtlj@9l@3Dy#MC_4-qZunwqDQHDb})GX?vp(+rEjkwcP$l`vtXu1#HBjEFVEIe z(7dow5YljH2zV;XNrjQtfa150bUPm#lL7+eqJQY{NA{I4G>dBsM9iWJ=Z^*9zjyKR}dtrDTU&A$C;YLz;3B{NB1FJ=?({ z`g<&B_Efn?QZR&ECvFB{jeq`q1$I#kA}}9tk3y324BH6Crr0u;1O0UuhZ`x};%fu~ z)bzOBX6H1+O?`8Ra1A%*vLh(T#kn1^w|_sEj=^WP6XNU0DyZ_wP(wkATWb zRv%Km2-OmAg0ItG0<=^;ArtiCEB|Rn%S3|-6mgLwm}NWGU0$5>YEG(oG56ep2Ooz$ z6VKw1y3N2wv%ge+WQhJjoD@DNVt>a8mbub)k$POtEIQh&n3v8__V9G18;bV?ms14p z)xLi!aNwRWfUEPFkDJ!M*`}hf;_H<4Iax7y&|Tvlo^HT<;b;VNsE-3?>%~Hc>_Geh z>{zH4qV0ldgq1nmWK`%mgEr~L`6%Z0cI)!H-=UQBQLrO5d_%NlO@B$1W-|w`ZcY$F zKIzU=3THDCr7Co*coC)dnUNszt|W0teKM`vwrhDh<#BLKSknXU66&Nb7K4I@!6G#% z0mUc>XCZ&sBbA&uX#6p<@U;o09a&ceoP@2=+A^!RR{lMl&?GR1G-my6DtZJP2g+cO z#jmIU^$5}%IfsMZ;(rcisWSd3ZUjQy&?F5g6Uc#CSKNp+*EFr1GB7XrY!KRzz3wxW z*z-Ix18(!F-iG`@rey-1@)~ry>9BJazmJ?RwHnoC12l`yHU~v=<|RFCv{YCmV`veE zfnlel%vM#3CYTcc%P#As{B?)EXsX}KdQssOt)LC$vY)S#Ab(`gq|gEIxB%IYljJv| ztgsCg7(vSI#ST!gJL%0XHNpy#Sb@#wP3d4DB^}(AlV(hvg8}&aF&e|%v-dHZj80V# zPRD1dY_HoyO*eiuf~plY1^t#B;r!ei+{I&R5Qq*UMF2h(_Vu&L1pZE=B3x1q+D!td z36&@oheqw&Kz|gLwKsKla&BsJXeS3pK;H~^GSA)B&Ix8=C5No%;J(tC^D5~b2=?G-M9NmAbk*a`Opdrl-~A0 zT#C*}rX6EM_BNKBax)B{PAFxmc890B=t$#rywiXv>=X=&kTSw0*Gtt zNt?qL56m`#Yoiq&)SJz9uUUr&c%<&SGGav?!Niv1XId20pk$!p0M}Eh{j??1Tj>Z~ zY5dH2p3Wk%z`FQrlSo&nz3=duVx(schC&q&R!3^hB-CEBuh9LQptWvW2|A=M*bNFRIvuZKftLX@b@x__m# zTFth|(HqvD4~B3rAV%KPt+oyE{HCKYCHjt$?Riqb<*#7aZbyK?MwW+MOVHUVBS7&` zcYm>^_-ahp>eVd!pg`p2za)$;Yj&EIVq`kZ&g8!;Z~kLT+qtVsRH#|~GnPEV_Azs; z9@pXYwKdnNhhXUTww<4PfI<%AoPYaSa_QQk!g!r&LJ<{@{hVo>0_F~GF0;hY62XX| zmj7+s6U%ohyUboLNDAUDApM*u5@d}cJ%DICn*rin-av2O%=)~SobenyhmB2z>Ki!u zt8Xu&+)N@ivIoj=M(nDq%1+msmI3H2W#)769`~>2H_4b^_+Ri8Dakwv5r4pv$K{@G z|6>clNi#SZc~|9oYpthkYw26Fgd&qN{@&fBrmoXD_MBw)8up=1_p> zvBht=&`m9|y9a8_|6FBKZm0(J&-t8))R%>F44j?CU1`UwMPzZ$&OFH+lDzQ7?9qz}r4|)g(AWT7Pqyy%s1P;7Ppb zn7-U?7had@Y#Owr#95$L;q*pEx{7U8m!h%sQLaLG`qFCn%J)r}IV}ApI;bkq zg@5)fe5@SlSIhucXVO@piD6;cARINOhd`R);=ErWZ6u`q@uFN^NDE96)JDo9u?aEt zbO54&IkyXzqN&JXX@C9;IQCYjEoJX{Xu;s!-Pmhihlm#7&{>8UjZ&-tZY;lc>GO_I zLGX)S+E2|^1?dPn+$~P6`4b{@OzeSm!Lucs^C{SnFG8W7Q%fYNcHy@hx^mxKqu<-R z!nlQ_FN0b7Yef)-@Yz8XlMM=SfF8{U9J#N=24p8?v-Wc zcBEN7hd|pT9BqLYA*`^&k>qRwFR}Qf!=Q5Yg)uV+!}P&RCk+aWUI3RFboQUaITxgb zTwf8Nj+v_sGhIVx`oMsvw$01w(x}TA*l~DlYg(m}_#|B%F7IeIo z@yTWQx)FSfA%7X;%k0oL?5noC_7m2beVGCfKR>D_E{#l{BAGLy^*rlzWvM$@sJNoE zf)$s!^?Pa8Cg0J{5MNl}qJT4IjN_6sgaP$+ePw8vhlO&mGCYy;K_<+rdS*UXWY-)) z!Wiy=9kfZoAFbG{L_9~qn_ilV;US585zb2|C;_=~^M48;dEe2?5B3mm7wa4tTITd~ zGbWyjo*Sh&FkHQhaxo5N;rZ|b=_=Xv$o;-wrMt)sA+dDKc|+h# z=6}=Qix*k}u4SkC6hVr}=A=sWijJPj-E!zMiu7K{i>SHl5g%DbtNI#s@LmJ%^EqLO zlP&h$>&Sz_-MXx&8f)$BgSKCO3}e4B0_r-t%^9Q}MV(5)I(8pe0U4dn)1TiI?G zZ(N8v>U`*f@gb&guI4gQO}K~~AF4f`xqox&fzTVDl>mj_gD*7 z>{6o@3<4?6X}(v2Y+v{g^s7ASy(x!!cOzl6V|H+_qPy)TroT4R)K^u$)3cEsK?WJ* zSIotw*I_m_3cJ}b=GEH%vS%^Qdz{v!6L1w!qwLt51AAouKubqX5(bw0!O_5M8h@eS z^v~um_#)VeOEB14x38fyrp=DZn`-I%z4aN^`Jc9Q{l-J!%Rt3C`z8pgYz2O2B|{l) z)J`~o z2R$|odF&kqBp;jl?-Tb+A`?Om%_p$z&@@L1H^!s-GYN%#)n(@Flt>y(q<(&wm2#tDRNGrT*jiV5toJZuH<&fu*^-~OKUK8`jZq!7!k&+yneo&y% z(h{d#an1w)(X?*hxd3R(zw2I*4p12KL*s`pOn%*myq;HXy#QzQvhvh$H`-`z)reKi zA*Z*dVDFx1&L*;I!q}i=G=C#gHPw8052?nY*Fk()0|JV&al58V2!91HDY^jz;C$K~ z3W`KC^G&$vE?QymhCwluI-d1021()pFb9u{f7@lyJL$k_{gKr@K?TIU0==mtm7#Vl z)6Yzos{Q6rDxEr2PtrQRNRUG5y4VKQHGFp?FmVOch^`iPZwj(YXFd zGXX!J>l|qg8)98BUw>JDs{~kBF;{RIW!QcVodrA?A;K7pbk(T-G=N0D_a6fkjdt<%dlX2F#t_7NlE zNvbGi`H$dLOBB<{q!gpzqwl~wTtFEkzNAcHa5XK(gQF58HwC8YF1NL(xzG2it30QQcR5E@&W0a^mXB#<^8mNNqw($0}Mt?zVK+ZM6q^;?Xsb9G$I+Fw+?m5%n zv1!g*Q=YGJ?h8ffbUFOeH1^qrnT+d19FosDS4-SXdJODulJjydgh6X-BI^oN)*M+R zmzpxu>pp?eus%FbYkVLG8p^pq-K~YF6W=bVV1=wM>gWc80G;pw^QUc70)OTq+3^mH zpns?2zCAXmc+U=_nbiWgfs}C0rm25)TtM`&31M2xBJfr277jJ9%+0 zbwtn)-N>$~NFU;U)SnXHW1YWR;=TjZVJ_T}laPh}rSMlx{6q-zUwGO(Fn;>QKgq#^ zNp$hI&v~-q!3@|l1G2q2Co-nRPLBt+0{HfAm_6tBqUI4DRA5dM8PX)wtou6iJvuwd^m1rD@jk%-cq(_Ztc1(=ZfRfSUlw8 zFZmJJsBe#X!zYc6?#av6c0H~44`fRQzh8kqOec^~Mf?6j4>5zFk4x|~}(LUZFvecSfma z+r#Hl;NIglG~oqrBu=58EncDuWxp?2+!d!o2<7Q(7i`S41qT(IW|eEC7B z-4$;hbOHr2QX`hNmE)f}dsOC!JqXN8AKP{|pgdCh93d7MZf4AQLmgrDk8#2L*$328 zvhv?y9j|=%X?cK6Be!t=5`FPc&K>-k5y$)Fi({l|CBN$c8C8uI7k{M}u!Ick*V)kp z<;hD|V>$na1U3LExWVHXJmMa3R*`w|Y77EM;Zyxb+V(wp!-|GY_O~{ICI@4!?-pK0 zGY>f6U$AAac|Aa>N(W%Z#@S-o_R|^DL{~O{(ti+IS5>i8_9_=_4=(mn&GAl}16d-xM8#WU-WNxj;{@wzbAiUs zK{&eIl_9HD5wEo9vCPMx5U5M?nT7dIeeQK~Fnm>YR#LXDl-}7TkOcQ!M3j{FOI{cU zLoM0gNNf~No87$oQwu^TZ@Bte1cWR+XVwnQJz$n@)(XHc7=M!z!TG%1FkP!64v|Ef zBOD<4JF8Bu?v!C@O@!9JT@y*j5-a@+zdfWRb79W2&YTH#Hs8sL$=`SYr?o>rt?lJo zZI`>yA5d;=7u2gqKjb}nb!V<*l*32OXNjh}ALl+87TiY|8@~NXdiB%2!5~+T8DtFai}5pKx<}1y={T0l{=3gaWSaw7 zqAF(V`-ZmGrSY;y3G~wty<*HQcKLq^gUo;xql9-i|}@EJ)6LU3WPDe=`!2m zwis5vr}-6fIRBQw@%Daw6hIh?Im9zjVG`0yc%<}ZZ;C)@O((nNE8{^m$f83E;0bAj zfn!$jhv*cder|`Rq;?odvbh08FNP|QQQ;_!bBrYZzjW76cWe5c>ju#3IGKSqv|vv+ za~08_0)I?)Z5T%q7p$Z{8M!Ovz*2*Cd4m|%n?uyFH=sZ%eaMvPh0?pbe4_yJm|{bB zDsIc*2(twFqqE*KKoRxHdq9}176yUoV_$(FLg_JG%iGwXjDlFpKac`CCrEh5Zf;Ce zHZy}nV%5RAJ7VkQN@V|O$q_v$N25{CGyOv^|}uy>c?Jn{5)FWQL}s%yZPU_I$^YbtgqUQ~@p zqko*5qv1JY&!*bfHaczF#9E_iiW^0}iq^GimuM<1Z0{wC%W8x>oR~=x{T7cUFjK>&0|60^ z8Cus?HkS*I0V$V0P67+J9n}E}d6%iU0T;JEP68Tpm;BTL61Qr>0`>v{F}GpF0tW+^ zC{6+rx2?(o!UF*_w{Xq^vICb`!2%PvHPQm01D9XK0u+|v0#TRj*#c&_pwEV5iDE< z5mgjA3Kf&u(n+XPIbncDQU;boGbCZOFfKwre{^{V1URPv*G@Q7RnRHC2{0)L?-MLa zB2-pwStWw@us`k=Dq)=np)$e-5fU)9Nkk2kof0tsU-*kDqM#ya6@&{S*{Fm|B1L1j zv=^#UASK9Ixd>MQ8iB-zMuaWk7p8!c@T-CsFhLm;g@a!QqFVU%9>4(>Dr&o>Kv$KJ zf0q(UD+>$^Gz|0y>@mS?J$$$&kN>=GgnUt-H(PRdI$1Q6#atMG{Af!aHS_7sY}CvF zf9g1FPRI4m^s{(ZL5Eiw^wsaTVEGKz;SM z0l2o;g08t2tlst_4s9D%q&93MU(BYXf0xZdyaOfn_JurdJ}<=kR)$-(Q+}YH{VM$m zO~5Nu7;06h0#2q{4ZTH!-J)U#!dGhxCuT)kUHwzqmUdgpdAkk2RC+g%-h7=e79tmB zTN>hSIp3MeZ+i$3VLJ$JJ5c-Y{^!+1gZJC6M{!2Jwq_gjsSNBAl-srETua*H5G!0;pj%>G(%xPrhXU!6MvF7EotJ2= zV6%dDNf}qBMkU}il!;a{z6Hu9WyDL|Gx`PAC1t)H^5~oC7JY{_M)GmOr?f&z8I2)j z+m&9wj;2U6%QLrzvaKO0o9*?-o5d|)e-8m8qRK?!$_2Hp@t2P3clw=vf2ZH+|CD}@ zM*qi__a;HH=)9u@jYX}smQuOH9A*M0cPb*S$D+YFgR6swl<1<_HozkqEP7&8SgblK zXf&2eslvH2B`gQvR@x;j&Qhf?ohAi5RRupbPl=wY-H01=J3{pUCAz_SHt-zC*H9gT zC>n2bu|VYurlG>3A(uA+fA!=x_ea=Yx1$cTGP9|Wu5sME;s4|TPD-fnOQE5l> zxn1^iI|MAHGf(2rl;`wDVZP~c`x?r8nDQ@DHqF=mQ~ z#`M~3zH&~_thxh-&6L*`^LdU*Scw}tI&8Rd6qVr?Q{H>%7AU*&z5|=7z6EfGjR0q8 zOWIpaN4NyIgt?^4e|^f;OQhTX=qo(1UiEP7ITrU2^#SE6dwN>Kfk%h-w@AbDT3ics zOIjS19)}X;g7PuVdy{MDs5Q`dND~Do#HX}CNfDFspY2sT`#P#BI4Qn=&el*iuu`g8 z28X*TN<2iOq-6*wLrm}F+`R_}i*7#NPxAA22Lb6}+v%b7fGtw&oL zde)-b2+3oNe-F3wY(7hcoS7d7!x4zju~d z;_PXRJj9DY$oa%iR55N+dEh<8=t$3`z!PW|mbYj%P0vvYUlcKgJdReiw3b^zlZRUx ztCq8fs;Y9!3#KkbN)w8lCE)`(YI8rcEJvBKg`=-}Z4CiY_2%#@?ssrxL+**n(XrzP zqTPI+e`COPka`Rx)GkLsA%IU)@M0QFMQOgH)>3}q9(thaef!7`A6=89nncHr3}6De zBF;31omFQJSnbk7YmX6;=P+mHklR#tIIY_~cplM2_c3J;*5x`&k9RPwCfv^)%TeTO zRmeMVOUF=*W<0Pjx#j8*sffch9UmGuAQKc6e*yL5_Hyif@!A7lQ0z7H(QJIZn9lfx z#q;_KMh>1le(~h_54(qlk5vT&m-YEvSe~&%?>`z1xzmL8NL(w zf0wK;uPGliXfJktpr$F)Kpx|LW<9)3Bb$k>BT zEQ@W<p1d|>QrcRWVJ~v&!$>YCr;Wtwk4f=-Tile z+@GKK>+^bj|9=1T{fr&lCeEmEY!6Im637Kj2A`im_Q%*3bM*S%QcWTk z$(f}!>8@grQilA@7eOl}z$IqvU_+RnR=nTUkkgV7!Plwo`PJEt9{7%cZs?PXk&ChG zZAFnol@<17d%zGXx#zfBJ z1jqz}vS#?<^H+uX`Ymf3I?oX3;f&E#Dcg$x^ZBBAZD2pjS8d{Jr8vrlG4zdSv5jF= zBXE*eomltfZUd--F{KE+u855Fk1QLA45$%B6J*5dVN^hM_2N6F^`B?ora+eG8W$>R zPks0Yhr&Bz<*MyGcUinw^fG6o+llK&2?08 z>g!KTL9s)m-i(YG5#o3rcOciv2>;rlxarG zGQQ4hR@KYS-PcXmWE$ydcqx1uYA4Nvpo87n^u(@*hg9^(euZ1`mDd;eQ)@?OgBrid zy6{|6pJsbyvTC84|VRq z3!UZg_8CqAT=hP~7^#KVvvE~Ps4;xsmC45G`A5a^eRPzvBt7Ly*q~7u!E6NF3PF?+ zXwAF_t@Q0oES%Ru5T)X6f4PBCUkJ$7uV{RszJEIoMfd+wA=fzeJo z)A}1S+L4&NhTgc+BL(2Ziwuu~GYn^!{29@KwR_Z zp#joZKbwR6OjoP&y*OvDO(7x4bC7BW&_a(lq0BR9TIRp=3ZFTde~-=^;3k$#x^+9p zsl%*=STFp_()+=p{>SFU=3SoGltyg@tD)=@s}>yDRd!C*6l)NK-RgWQ?VmNc#BGAG zY|{36s+FJ3XrVY_C9es=@x4Cy4m0=;T}Y0z9GH7C zoR5xRdYsZo0>6EGBz1~laQ~itZ)LU4`R9$qqot79MwCB{i=T1)l*NijRy#+xFxSfS zRckgsOmjbQwUg@Dd5_h*kENrgYH*>bv*c-=r(-&g6~Eb3j-@(camw5WUJZ_pAdi)~ z$yR3aSve)I!zexDF7Smit60m|H)!7%B_?_|y$_XNT_{+P6k5e^!m6OZp*yq}x!m~4 z#J$oD*L2R$Sg%UkUV5kI?Ocdj@8JmuudjOg;W!q6j?c_~)Q;Jy@C=kiu3zHGM^m)@ zy(RHGRz{Z@Y`Hcy{L3Ce(4=vh_!Y#kjHQ6UKyIGBA_2f6{|!VS$R2kLg~m8xNKQl~7E3}}+1QdXBs301MiNQnV_4Kt z;QuR|SKQV9aUUegrmRf}ISA@M?sV-*g7alFa^DTifYX8B=EGIZ5d>Xv&pt1IME8Cg zE&82Nj~z`@S2z1&ULFul+rCX-3vw%7o}@v1Yqk(!8oik%&oNV z(zs5#rUb+5LYNYPT9l-jz2o>UpRnRbFF!^ZhY^$BOgH|>W|hN0mm)2c(P5;K`RTBW zW~7bZ^^y|jF_ha=AsP<^MPo)u6;k2u-kbhe_Kej-#h2|`O>PFQ1)6@^(W>RN^gJf_ zwMYJC^^a+2@-1dfN-)Niy4rM_*l52`1fGE9~K`&KnMrOay` QqM?pMV$@AcNEEXAU*~7WaR2}S delta 66647 zcmZU(Q+Op@w5}Q3PQ|IHVy@V>ZJQNq#kOtRc2coz+cwU>&+dNuqVLB29P|0`j@2*t zqgVL2-{9;3K;jQB6|h=EI&qT~rRPL_GW-^bzc}xx_HNJ$rwWHTpYVW!Y-i^N-CKtE2)93D7Jp0mwHi>oa`q`HfoqS*9 zx{6h(^zOQ4^$WL)ZtJ$*rS=7y&P9Rq*G0o0M=Z!SJt*B)e&A@{WusZ`eqJeEa3SIe z77p>&)lbJ4NQp6%ou=%=5kz^NlnFyJrkob2>^Up4H-*sLxqK^DQ>!4#_U`LNl zSn3=%E-ZoO%muM&2e*h+Q9g+rTFV3@!gh<>`sg&97hNFV#RNLb>>UzB-MHu1?|3oP zQBqM-&6FK^a3B>lv|j-=EZ_c2x#4^}FTqAtO*|(&2Hjh5d0d`dn~>9iK{gD0$*vDW z_}lC*RbbTI6;BuJK%_}fs>$swMgJ=hD1aK8@~wtzTPrtmKe&qwokfeIB?*CmC^(Wb z1Rhj8A<(uq0WSY+Ik8n=EC+zMC!)+tC7`NKsCNV-amLf!u zr^7?2breP0Snpr6+K)>ps2C zD>dG+52O&Kc`L8kvT&owniy|pu+&aw6mi%P$Vf!>g2%+d9|+f|YcK5cFd!C>|6J$|@B1s;L}XJK6c)1j+~jDt zoP*XI;-!U4u7sGKA{nkaJ+mK#~JZ)%-mlOe%7RgFiDUa0V=ECwZ&wcg-zyxr z$bP{qv|0_)e%VjWOh}^m>2n$`&+LAtN&Yh>Mc+k3dJ@hCgfuG}VPsQ6al{QA^hT56iLm82bbw8E)q~6<6;JA3D4AG7;lhAE@%z?CgqH65w%ihj)d}cBjA@EqjkpNOb<@L zxEIa(+ihZ2tZegW66KqE5OA(>RWXD!oej}op3dE^Ccb^HQriE*)m@H0x|u4rOsD1! z*Sle0crX)Vq>rW+Gku-Ek;2#%{_wx<7I<~^ZYv6PBk^Mf)2M?)lu$zG;6_FsL?0+i zwt12a{KWKT?dlIP*#qxd#Wx?uR7?aKUkmDgm|3kx{a21j9m3x3Ro~nK&x$LvaxoY8 zm;EyCh66^@jvxr8RV`T=l>=M2A6HhwB~-$o^(HO=S_?mYIeZ`i`CPr+=RVA za~5ac$o&kd6HGkIb?n~up8xgk5L&6incA8Bb#^i}wEdqc(G400f(gLE{C~x;SyS77 z1AyT>Q#-3|N^Is%nVb)M8k;o7ks?x*hIlYk(N}+90GKo&vsTHB_h|~Sk`AegG zhOLs5VAFEnNaChKOBkFI-N&z2*9iH1YEKlMH8!>r40N1+c+N&OpBam17d4xfww71bfJct>J-&M!k? z-;Ou*D$_bIFJD`?ibb;#?}4BR%23wR-VK2;1hA8lAd?d$22y=7To{an)*x8XL`->* zzlVF)0k*i_f|x!-N9|stui!RJ>Nqx^e8ji=VR{{XH1x6VqR;NFYR^UjYX`czHu~j^ zFeVHzF|;BsA|zr!^Ir^umJZLaokC>H!Z?WWuc5UJHigT5TvHQVBS)LbOL){K>7l~v z)LRR!gb&NfW>mSlhOU(CLP|QAH}l?vrzZq%FQnZJ9k~zr)Be&Lk%&I&_+fu#aadh+ zXHXzA*xG5XzDpiKrLEQ4SlZ^GIn^^}O(q`x?yyMgj0ZsiS&`cyNU}3_r*J4WkbLsre}1sFJ*(@WKH{ zHw@D=U0I+@ghW6pF|RQ9L(+lP?qZa z>>if=V~i9Wukk$Glv-PrS&5}F{D2hBPbk`>E_S9GWQsC z7~uq45g-@~@}4dPz`v;oDri16gRb=KBV>;EU`X459ri2H>`s;wB#iJ9j9LhjDqg?7 z6kN&4N!J3DJhjmaZD z%b^CscIQr*@ePM9@HXWlO)+2H{WwF_ImcyNDe*{nQE)PrySLlia=>O}QTHs?mI)lY z>6&$cmJJdUo1o?AdTwYO1Ncf#=zs+ml}S$?TmCIO92iLHn?@2@{ z%dp3}pfs9BOVpJyjdJohE9qJ}?li*j?i2_YrZPQtn7+SI#L&jBE`rt$Ds<1!t7{&; zcar8`NQ=OyRfo{Q$IpHAOag@LT0b^dnHm*V(R>Bidlp}6xxdY~_9wtCcRuV2m^@2? zFFQ4ZglmT!Yk6VH)2)N|bVAi2e>uStwEdVwz~I_kXXT#3hJAa2f;Bmd~FMxM%lK$xn=I0hM0J9B3XVrCXb zw*N=HB;7XKPQ~;E3LM-vgFAC~f<8Y+GTHe*lg4$EVA4(Qu8)1OCI8%4t(scW8>L^{Wo+3C zcJPZR;y~R*W$;~_Vo-Jd+)U~FzDgcXO@5+PVVSeRob~_T@djDm68fQSHd<~GUB7BYS; z@?OL-eM{&mf7c?p>kKSqj}S>`E=AlVZDe%k#(i*qH5IrAijPZg$vhOwBTx|0-654k z{9G}Q$S=?<$*A^J#xHZuvJC{_d>D2JJvu|je|Jo=jhXR^wwET0?S z5D~s-ECY2c5x%Q(APdKq@qD?9@(0=dPDur#1G}#At5}g*`{fAC+Fcr)UOezhNVFB& zomLe_EnHWD6(3(D(aNn`ul)?*#M(iB=R#mll!o@e{u(5Dp+ZPOGy~Pa7cS;}i%5PS zN*rW0JJ$=5P%?;U6=8G4pImUSH=+q@lTUiNc=mdf=_M=zBs8Vw#^67E<^$a_e5V$xS%i^p`w+e174R zKuQ|rlA*@axKa~2E)!}*I6U(^w?{)TVQMmYr9Jt!ahrtqNdW6SkC4$#HMi=Bk(~<6 z*4=pmXN+PLe-x&$^?OS;!lz2t#8D}B;tbkpGN&dPjJEoOM2)ezSGNq@s~CCM%Cz}$ z?{x)^t0xogcw%en1l`gjnYk7S$nl)b<3uJ+I&B)$d3YpgAwW{pZk;olbOWF@PjD%_ zYJWlbvn|fr#R4rC@b$4kPXS4iwVW?i?h{g1NJ#99NRV(AR?BBI!b^5XLL?HV@$hrJ zl@-vN+~}Mp=+L;_KQ7uV^j>z)rugm{zJ_}br4{DA)@!nz{sVa2Z>X9#cd`9mwJVvR zlCdS{Jfs|)F3C(huKrwZeTeSrihAP8-`~k^{TeT!(ZGgK7lh-;&n=d+N+gCZ>q_q0 z$-j*5(l*|^tf%}RU=0wu*0tUj)dd$7zDPz^T`*=%(tnYTT&^OB_?+UEY>HXr_eaSo zP;r3$JZMzT=BWmUxlt#0;dtf;IUGdiK6#Z`6x~QO4Hzib`og!pA7-yw0hQa5PF4(! z^J3|Qg+Q-U&AW=%YZHF(UKFB%Puz+N*R(xjdXg1Q)@O(u%;un%iIv$ZK7ZC06I~$! zHf&rqFB$`ZjY%v%)=W z^LsE)nH5K0@z<=2J_XZ%S$gzIaR*CT{R*ui^#TTjPqsSTJ{V>L=njJ_<=0tye5G~g zWF%qY>jJ78y#)Xp0UnA0pPK!rgb}q28UKQrxa*+Ua+!p)=j2wBQy<(^^9!A6I3!1_ z#}9FpbU#Zu^~d?58!YLWal0kRSg8GZRm{=#laOTk2tVjoz55@Zm2AXT~Y#dxC` zf`G)68^fl!bb*>K;pznc{MFn#D6gu=?PBW;!b-=e?zZ~Nxw6;A=?z<1bt3j{q88QG zM`wyhA2j*3Uoc2H&0}j;6L2K6VEQ^!mM_%2Uy2;I(6cN(Xx=E66XAE9(IaMr<~3Rq zk2>!)akC0d>cb9$PxMazXsTv5fp}Ij^aGop-iF3-xs!yK&588(u9gB?XVli#TFYhz zwhrJ0O$PDPr@YM;M*3A1{qW}Uk4?I}!H8HRciYd!o^IwKy*_Jx7~B^tJ{-B-!p%~a z+DuF1C62oOogNIbG$fvUUkbS%XudJIxZkB3E$3BR*ZhOsSDcWR{xdDUT50^k9|?Rh zsM@|h9Cd1zD_((UwlPV{-(NZo&3&7Jhia;3Q5*{?ms;L~tDb4b-&A`ASFPagkx zE8$Agmu#JJHhQm{#R~t4aBit``vrXd)g0UbDe})~&Tym>XnR%;Z+=_?LhpCSIQ$Pq zJ@K%h)oHj<#R;AP@&fBlx_z3ps#{pIa_pA$dDc@zi!UOYK^&_} zl>oA(pX0JHC2FJjQ+~+wBj)g1apSzKPNZpuJAIF3N`2Ra5ro=dCn*VwN zY5N1f|1{sHYPeyzJ>&$fkz1mXSQd?Ef7ZZ%&&4QcI+0mretsb7Hylz&&*{lnab%sa zv#`oN!^-vO?A3j{ySY51n@ak_Nt!yfO2ZgaC3=vGhESo8=_YTMB1auer7-0H_@hef z&INIKpL0|!I~yKX-40$5r~r3_I!~>HGanu7zm5pbJ2YGq&ovB!-`nx zP2m;GWC49ynDHw-yo`b!guZtjCjO`sric7?Ev)jLr?TMcSxZ@ANCqfbV_QN0*pE z60LZQ%!~qgfpdwklFjwrwci}`)HK5hed#Sq)lcIHqaH#W)ExTncjZ2PQLQVx%q5mv zub5G+zU-?(#wnih+c47hNu~U;o{TOlo)v*3&Qi)W+Pp$GQEb*@3$7)|+H43<1_AZb zHO95JR(*mugRWDs*c$~PKx1JOL;a;ZofMY?2t&%*d2pw{p*qs5E?4zF zWbx(~v+B{svi?)~Lki6_1)}~9QPU!gs&k)Y?Uz~BBr3v5^27)4cOx^^GVHC@xTnLW;8O~i{$6dbu@>ME!usgn{9}=)x~E7x627M zTW;_SxrKE9d9_5P07LRnyv!og9bw3VFmC@*sX#sQ%)9-wgvl}muTctc zI<>n#=Y4D0mAh^Qi`Zi?-8h{E^q!a4y>x`yI8M*&J6jI(AwZQ`?WnZR;KxlWb679- z!+AREsgI*e<9R^-vA8V3&v%2OB+q^E>5m&C-9I*V^Xden2U05zM{>3afaj6wN8_b| zE(qSD@EzM989;-U>f*#!u)CbvD|Nh^p=GGl0-^*4K&s#}j(bHoo+~}lh!~Tt9ieOo zZQg@$pU@;D&;FGN={%#%rp7DhE7t=s`ja$^E1?E_YuIGO3iDc5DQ@^}Z{Ag(fSS&g z%PE)hv2^)3Kv=11?(L4=chl00eC-M(W!WomE5eJ4>*foGYCC!s@ZQ279*a%Y8K7+! zb_f)T0HZdbw3U>l3u&0&DsLFXK~+OOyU+JTt{m^pE&{sf9lr90NmJmw6wIRmvt3CP z2a_yQRT1M9V8G#8IJ42hPmOq2j0D2H?^R+6I!Pc zqfvy}e)Oc-@c;}_oI?jyl$JM<4}61CH}C{Z_Xo;uIsi$>mtQ9OHwSQ^5n!Giv0_9R zB3_U{AN=pg(ZmNZH+o}Xi<63-Sh-Z6RlSjI)H>I2uOQ~6hlx!u1iDrmp;It{-F#TP zj~|4GXEx*2^0c5vpyCZ~7=tzH1zkp|KG#xE-DgeZ1qY4m@p|sd)3>G6;@I`x>LQ6- zYWj=Z;kQNQHJW|+ZkVzF-V|Jrp%X{>f8q^uc71MtG}11RsKZHx!pg?<{{~8CVgMU+ z>aGfF{4b{KQ$W8`Ta8Sz-YTSjkh-xb39vOeIxM zXiF(flwx?LVhKghS|IHS_s`q4?!|U;bAnrrhuQPw_RQr|Nc4ZPrM8O>A57K1v%o{p zTL9LtprwTi1_lHS^36{GloS9E##zUGXO|l?Ll7-6a8L(^|NK)B5$d-vT13{tsW=D-l0-^HfHE02`<@1Bu#Ec*{QV#mv70>7e&1#n2 zO9YA!$O4ILYonT}b@1zg$AE1F?F4J;w}38#HxtFHW9b920}m|d{z(oH9tVvUlem5G z^7Op-*Hr*|I}~*zP$KuChq!{A3M(oUK`&z6Hk$e&twO$+vhk4u{PMvOo;D0YT7|s= z;uS!k975IvbQRN3+|;$H(EKzB4DxCqXGH~cfr-t&=4Y9g}cWi}R7sx3L+Ci=5ZNb2b4037pkqCrw73*iZGeBmX#6{>w@l8g8DjU53 z?Mp-Yc?@k396+(aAc8yoY!v^_wPf6=y0of2FewT$8G3&Aa^FUs}Uhm=HK-?jN{6SC@BoK%rJb<@9ZaL5ftGQg?>Qx<;1o*csYcrlqcu#Iq zgg}wLJ98lp&>y)H@DT}YxZPLrvtt3nJj7%8$DisKeUcyc^q$oA zUFI$DwV$5R{DvPP%6V%pjcGQ-IHdonx13^jr?C>TIk>&^vsIk{aX2cltCCl29@s@p z!k0H|j~}As?;&VQ)He%2>NS19V}Iv#m}XQz1?PZ!eu(H70rmem8k9+oMnC=~XxQ|& z0V!rEhV*qo3|v>3RQT#dGF8WGyP7#eN5KO1i`{VWojoJsn8K_I# z(wh&&G&zV7F{1u1CX;CfZuDM5Q7yt-3A3_+w#FkkRv}q(mM4`y9O~jG3~b49drB87c(zGD%CsNtSCBgkELgBzUbB%Ry<*G?VBoT0vpW(hGcb! zws52$c}vXGiEW2G?Gg(5s1&0vhdujHWS0f0tgUx!`^3&))Ll+aMC4s7&@dIFXR)$d zV#X6_>8v~*4{r3I=49je1~K=*GkTqRJ9yyrBA8-jmc|U`lB~GNrEaT;wNI~ZGD&WX z-0=vC_U=qfL)j2yYiQTRfwg2o`i49Y`_H0w^&@6b!3-kFN_Gn^A5T2yl*N=dUo&j!_~5^f!xV>dE85_3>-~OZZB`-VE?=d z(0{DsGM~YB42nsINeeILY{D7GmIUQN2rmO?sgo^LkHP`LZH1_=A{sh0IrjVg#Oo!F1p4_+w zt?b=lI~(Wp6m5N$#>6P>OM%S7RcbvyQe7=`8gn{Y{zRu(dIh&@*MSZ1&F?u{}h4YfUkaoj#5K!h_jQzt?Y7}f!K8qw- zA~iuF<}<815`8EW*SL!VE-7e1cOPJB3hcPdNr(=fzSz{izJgt$DmBVaQqz#+d!9hClhUf9SfTVUl_FG7Bk@5fJ|rR4fpo6!hWfz6(0?mwl!+@|iI1j1wm=t{j zJ>3NlR(k!L>P}-JI^?up)PKo;ZNL)@7z;se(SUdQUL>O$>LW^&7t@^xrnvHOG&Cq9wG8+u}Q`Rqo9<$?h#T=T2bzd@_8&y>{67f0q zG58} z83SOPiJXg46bb)UAXS<9u5RUHuBZX;yV$p>n(wLp!sZcNdz+Ps?VNBq0gtlRAlc5( z+Is|o$9J;EA_79;m=WJJ89}LO=Tp_syfXsKT*lWDZ^+AI@ca+Y2VP(Q)suULF4^07 ztK3N%(OJQ>zE9SMM<4K5QtltM#El4?%BozQ=|73cM)!t9UR}bIt^KLrA7~oKyM8L) zuJ@){qUl}FV?!L-?2K7>0@m34jk#M#kM`6WR_3uQ;p3uou*kt}o|(+k)lwxEJuk}U zTB%AWsAg>eKsN7EQEE?IPdGJ*w5lIHb>O#M9e2g18C&4~1+a02FLIp4dx|@{Ab1Xl zzr`Y25^H^bG7AsLVeDAO6hHCkpX!Ax!Rw1`mL^K%9C{dq)1<|8!U>8 zr+KCKS^8Wopz6P6syb1q{&1cI zSE-g!U~kSH$q5X#BhE|ml-~V*k{-aDzpEQd2kmenqv0MwGe)|jo^e2{>^4FJK9isN zI#Z+&?1{v{$S#3bA(`IX1m=()tVuu<8kHQM?8B55Na>`a2!Aw<{kQ6dN=5%ZfxEfO za{Nrvky?j`16VkwagD}H!)~rh{IhayGE#UvhXe;ksOCeJKarMzE2n8APD^TFQ0h&Y zfOE4aQ}9`w7TGnkxYt^h*<#C;Ks#{;%IZD{OKuzXmQuLL9o-aBA=(O#?!tGZ#&?zR zk_ce|+_w*pa~Yi>iha`3W@zPUKSR8ArmzH`QY0xV z_U&Bro64L}DrxC}cAZf^1`Bqk*cBfnN%7VK^Q<>s-OpZPX4scXm^a@bURn7A3e!B_ z>q!NFy(~k&i@leNN2|lAfqc;8wxuP6|owWMg-rKv*6{9u*s1br<2l9ssDQ@z> zE|uE1{XrNBc1!2jL1scxdrmdlas}M!CU4R`Lr8n*orNDIkB|oGiYbOyn`<90=8o7&!-3*o(G zLfFVDiH%N}wHu<5ahit9Va(9$UDa-2mIZS^uTW6*7582@4B>g=j4|m!TEnbfNj4cJ zIawiBMtCCvH6G!LY>iXS*Xx*e#&_P(ytoD@Mc8ua)A^X+R4nJNU!ow!zGmeoQj0JX znkfGIFT?1{JCeKcKOM!E3aV>{Q9iQIat>6)xlZ|6(_EZhl5#v5oQQVxrO7ZrfK2nO zI69E>$+GtKf^cQS`1cs2-qD^HO@8<-dq`Yutw5XK`)8uUQiQQNc`={$)uc`T_(m!T`8gh&+lqAoggLR1ygPpaNoI7 zKCM0X7wNcSISx3Q8@ey_-+^x8OKjYt(xE;8n4Ys7}ht3gOjUbZCtFp+mPAeugiX&YPOt`V1s9j;c$2aLk5R4l8@G%U4$^@9 z>y&r&KA^#%VVZPD)2e+J7>!w*I6g{&vU3UVZ0GK&Jt?1NK9vWA*wksMG5Pz-hi$c- zOCb49Ncal?%S!@(G3xVDrE&7_8D|YlFLU8oDD^5}McW11^lW=~KTIeR0-mgoF@G?( z$V2*T>@8NtUvvHbgDiNDeW4c6F$F`T96pS0v&qn%8TA;Lh2^l%Xiw(y74KZj578VN z{MyXp&6r}oxjqG~zh+_Y+S|XFdv8*Po=WC!%QO@YDNfR3b7$~hl|s8>1&m~-caseD zsp;s%Rw_AlWXpM7m^_O=b>nf|ceLXl8J4}cs@mYQoP?1SGg#4rUA9?vg;5zzUHOem zjL!QLH#T+N_iTGAQG zg#PuB$C6}_`m2`-r)~Sn(xSotp`vCf>N8D~%{rHHLe-Q;ZQM}5e>PqnNJ;eCf9YT~ z25)s++#x`vIJe1LqGUHZWnDry-v#~p*%F(MFPp3G&nhT%%_zJOUwlpY=Cf4&;+AZf zLw2meNLGO%&2LMKryk|njCKUrEiQy;xAz)3ZM1U|Ri&+Xgd@QMTLt{&iu62AuGAr; z?dOg+$WrGcBW=fIB5>|Ngvvam^okdA@5Yk$Z_R~O#@BD_dap<(&M_F%aKOy>WtO3p zDIVPZ(B|~KoaNKt)2LCj-bMC{Br@kycgqRd@&VAHqYEZD^sR(I>KdJurhLxsP!9B? z&h{K^8=z>7v8@GXy@^DfA{;K|q+yFFzj^8ef%wVZJLc-Xbb^Y}&7OpP3yrU;Fo> zBG+?lhhpD|%><{Rrrer{&QsjjG)xix&YI;_70|RZliY&Uz7iN2jTcLikB|2E+&rjT zV=yrwi^BW}utlsjUL3w_mXt&>)>Zy~bO$shVq#VVCkx=M%3zy6b9f8fL=)6i)MC}( zX57~u*ZuD{VM(F)p$S~#pZc)#zP3fRL;W7LffX=lXJjrKper`*(JD`4LOo_NfU%`> z>1|niK5%Ted1{$3BdS)pHNO&WlDb)r`MYDE#_;|-kacD%9J`xN(xa%m%4oX>FaY#< zs51U;52F`sD;#)CNV6%k8EwTR-(;`XxO+5{NA5~aC|SSLm5HdjrW7dXU-{#klXZB$ z3}0lL&B(ZlycuY9bhI!E5UGQC9-FAI^_*z_&im$i4Vr-%yU&N zy;VwVtO-(we2-&w(gn<%L?W)9t~KLz8$ZZm!Y9CxluAd7)^7&g=eV&xgac!=K_5-; zG=tv8Nhc7dDMlUs@Z?vbU-?#gVTGWcfdY#?R2Z`+&OOjM>4SX7|7gf~ex`6t#kS6i zMP8bX3RdsQ-fz<7`tdnAT~=9hRX2JW78nPcR&2&{K{;U>RU8+tvlrpPwyi=3B8cio zLh>NRcIE;aW*4rrKINj$o21I4PXPvCp#4TUJr8M* zmukunuW`Zo8jV58t--ET4_INp-zud<#R{Ah<*#6OPaWw-4B{3 z!jK~g|FS)$GL@0?90@y^nX{u;usMJzy@8(-MqJAN+=RA9E+bRep*4R1D*apwciv=U zYD79%&vwTmc{mL@G6if!a3&kdIZ^&G1^(@}$mx@Cjrr>#Lo@*J=0l9Ngptus3`Zl; zJU>U=mHE9WOYHg8@RDD83+S(ytHw>~J_PkeJA+K}S#GVoXMNAkpb7@< zJP9{2Pv9zL+n`0Pw6$h2euNvX69;4>M?2@D>(ufKbDEW}8P>ym<6X=WryvXR+gOgc zpLow@H%KXYPJrhj_L_snwIN+Br30;K_GQJy2C|ha!vG{sEY|5u{o~w9=V>X{?%xY^ z8s^^HRKt#XxiEeisTJeRkYaegs2)aEf)IdJ7Oo@Z=}m=gTxAUmY@mrsjp zv4pmqv?t4vhkV{&{x#Q`IuDR)z837Q;1BycF5J+((|ySA+5NJ)D1Fg+DG!2W~rcg@ZG@rzMB=0zyO9 zYV8Q>ErEjG*L#8p-eT6pyJ(IFP}Mb{ByNT|zR0glBQu3JRNLUGrVT*9CD|C2P_NyK z*LS-H*@ujOv`4okjwb-c+y0|dbH@w1W(g;|*LdtTo`*TBrx~l-VOwGTm*yU}@3#cU zBhLGUv-+OZqrCvE@sJmS_x`WC4ZZ$yTwlL6U!aZtw!sVa9MpCWY1^Z-;Jn&pe|SLD zU1(Gd!+(Ic@OLf=bX(`}wDQdDODJ9sVI;Rn^x}U}&b(!7%LX>2b=99+dP&F%RM;BMf-V#Iv#_1E0BcsQeFabA2~gCf;267m`dtnNQor^>qaOo zr+TxufkWZJP)mDrC-H&*jpq1r->ZuzE^`$gv0$>wJ9;#J|2od(?b)EU0i3}h)o1N{ zLGK_3Jjc3$Hydm`v0k{(^2njb+R>xuO)qvCMAvfyqs&3~1-O z#EWVJVW7$89(TS~a-Uv!iAA&A*j5j^P;#ZKRj^1*JI&1zX#Z;{(+FBS8G7x}{gX=0 zk^W6r^lDBdmZ}?nRtb?ZX|5^7F1(SnDalZ0=1VEXUoiWV9u~f$+VK*OEAYXm>pEF1O%fykBR-kLVTVAA@^q#GxXvpNRt6D3Y>*ijwk^ zQc%}hpSHq!P#aSn{_8H8=pkx8C|JF<{<=EthHO_0ej^EQr(DJG+4>`i9aydrCM}Y5=t?t|E5hL$o>S)5xYqXo>r2K)5Q^tKgODWL`-78a|5% zADhGQo-EQ0K6D_)kvlPj9N)xT2hKX@&O`S-R7NWZE}2ZN=DVZ(NnQOfY&i9{2I(BV zbF6mUmKy&iveW0Ow?9G#7E|0VJ&iNR2V=FcJt2u3`J1Q*E%7<=S%s=Gh%*>3QPdFw zjfsVW_5VY-?418G+&wE$33-3-FUDWlSQLfRT`rkVuO-ifiMPsc$5l4WpM`n2KxCK(DnHV_F7dHf)U5-6RAP zd;k6o8Jfg`c1F=Za&mPw1@H6(+ztMnRm9m2x{XrAB0zKrD(3D_0Md&GWf7>;4|Exh zoPlF>4srhs#_J=9-zJ8@aex*ec{WHJ(G8-U1dRgOBtT+RSb#Wf^EU)?T7Mt)A-;at zfe7gB_AY!8d~u^fJX7MB*dx2SfcJZoFjD&chJb@QrLw*!^@-aAL7ChGw*H1W2kni7 z_V6cGh}+5@%pDg5G3De1Ij!mM-FT=I7ubv=>>@-ty}^3(Ep6{KB~J?k+g!p#5cb^t zsgXww0NL2l?PS=|PxOHc^cwv9+2#;3K#J+jbhvdsU@B9J3;YpGC-h(@cZ2uyn)DZ*f@S7 z?g8LmKc#!Q+}^|}yCC)AV3&PzC^+B1hMj(ck=|#wL2&_Z5UfwPO>nSRApeh^=GNQ< zC{p12_sG|b_ZurB+tlG=`}g_l4#2~s4Y@B@JdCLCH}NDg$TtNr{d9};HrLWwFs^sv zm8jl|QJh2Iv)1aS=1d>c>q{0SruSbz?5jDw?JI$GKS<0^+-8D)+Rpbi^y`o86FXQ7d|I7h!F2P$ya&!DPq{Z4)#96buQwtxCHSxTe$2-jKLlQ@TzveDI1fw!1HPcaB z{5ayJuWftzTMLF9X}Jg8uX>jh0`a!eieAo`cgK&Dzem?8Kg$ir8H6FVorpS4Z+H)x zl5~;VT#JJhX=P&cM#h%o4Ui~-j0)oGfBf%J^N4}0H5FmN9 zEHx}9%g>l%B|pShKabdz7t1NWBH>SZWZqaMFqwg7=#Hh+cbg|$7!tKXrz8F6ToqmK zrP_X#oMV14t{n^}m6EFDE{6aZGlGb5d4QwID0P3S!TS`J_}g0v`T;;ZbupA>e}``q zY&dK(t5xWHNLu_k=sTuA3ziE1`Zo2ij(hfl=o;<>;?omVL$9-TtAXR$ z0PS4X3ey*lzQD)&h0_Jt>o=^aFb4P?@ta+@{7Uos1;Ukg%*x?PgCoKoSf7=kUO$wo z$l|E!ey+|gogbGWHL`9ZYF}lVRy)z|&Ii1yacrL}O&xgil&RcsX1ecYNI?+&?UdVm8fwz&d0JFH`p*y}yC%wQv(c-`nCj-= zp;oGZk3Akyamnbo9!K?3@trU=m%+M~RDE6Gu}>K7QR6`eivPJ;HVY7m zbs*~FfkA_1*_?@JjrC<2_opL2xs-*GXTs~SHEfyb&DJ3J>|zuylD}#5K3l<@S3v32 z;}^vvCf>rK)ab@wFeUzsu|2-=MK7Mm#L^^Bl@!qjnBMC3*+>E~=>Gt3K#;%NEXYqT zJ-Dq3C@5ji_^w&VMSeSxl;yJQmnnO}m{9+uf5OAE`aAitRAlKB%T_aVmIXzb7^9!} zhS#q|lC!`0sO0Lwx=ZQa#?q`pDp@C9XE9BV;A;w?QB_%Fy?t=BQW(t1^xQGhGz`yv z^FbUQ+KSXTJ9$raLdq|FGF?HXT&4&fiK++e4;F8R<%rcuDtWP|JF6Ac2hr4#C^WVX ze}7S&mm*d8k3x-yJBC}g#wS$A>5>lP_)7YSl_#CNnU#fKCwTudh+zq+ybXoxNeylc zrV;ks8-cRrQzz1MmFdrrhc`Hv91+S>Q;(`9;TY-J8b zQ?@7xZ2EJsEs|Rf#e8(7gn;Aphfk10e`l&_GbBWkB54ivfd~yx;19vew?+zR*pRoB zHLA$+>XFgF6JKhEiJKsM23E@j_q`Cy#>RCa9U(6!i*%b)wZ^>ndmk#VD88)Q$Iqch*gdN2Ad{$tJ++^xCe{FZxuypC*ml6CR{hCeTUk_uVrwEhlZpA+j7B9$j=4-sBwCAM$e>!x!WV!E@jVx!ADOq_j)OmCX!!g|QZcbWnV##sP zwp6H3FBqKBIhh!eEi@7EVcZmRXVP@|RC zGvU9gLkb{%1H{zyvLAP)z=qTowX*dvYi<8@?Ub!E8ILNbE+}`Mvt#9-euMq^!uIVJ zZf9=NLK2_jaYrV!nN?Rwe;`+a!B~#dKwgt?T?$3HD@=w`$db!nIL(AgR``EyCE$3} zIAw|rQ^rYT#*0IHgBBs?uRjG(e9+cuNX4;gW3rE7CwCL95dhaBupyfmO*MJ2aP#n0 zGm-DA*5<89NNG-$b@M3*nZ<}Fs{`E1<;z4<{>AwEqo6OtqqG%!e-bUN$zhc)^XqvF zOxLp8M!%uw%E37INTI0nQs#Db=?XB`l(Bq*iTuOB4P(xiSaSwFvk)5Y+`Z86@AmXb zDeEZDdULVV7!il}WY22G7)9#C~39_i&&5*g~=9(#r7oa2N0 zxD(xOW@y6^!Olq+fAvY8l)qj^Jh$b7`qSc_g7r=(UfReyQi%xCsxIh)yhi+Jj0Pxd z-e(Vxe=#owGCW4DcE^)eCTMYW+qs2AN&3&D`tOC7>j_eB8XHSaWB08* zex9j*6E&VP{?&5n`Wz&r2c&x69|R~BUv@Vxtbf;E2uSp>e!7$A;qW3IM(p>h4G*_G zf1^NR;-O}iAC1+E2m2@lL2O|jD%?w3u_aDRMO2(cO%rm%mLxajM7IQkiuj^OtKUmd z)~P*^(zv&_f2BK6pz}gbj=Ik)Dk=E;H)tN)M(vr|+GGv;^dOqa%kZ8O)9qEdUhwErW7gF%iET1Pgr3$&dR^W;7BtpPDTs!k%B$L_dkzWvX z>N_{De}gunO!}x-X(v-%#k>f4@n}aQRwFmYfHW4b~@$9 zf2cW#A?2_5O>1qyiGxkPmTh=JlmV;Z2kk};(S%AoF8#ELZ3{$U`c;qFaTnQ+nL9YJ zscPyWVPV|qlv%Xy#S#9XGP;pc-uB_m^Zikc@YZn>)#vQhwbJP3da{EgYSW8I*8J7m zl#Eu3VouRcww9|L=RsH|VHM2}Gxo7re^C2J!;W9!;~<-`in7gD7`wH7oP2@Mb{;M!Dz>UH(@wq+ZK= znhSG{>v=*+N5D5M!DI+mx!YZjWb*behX*k81f)Om*xkWm8=)Q4a;Tf?!sT>?jXVa8&`;0|ePXZ+) z3}^^SuMyk4;O*^9`N-us*zM=n+qWK%8gSJ4-p9d#ri<2BZVhlBC+u<3X*y2BJ5 zl+PqaGhX0|pE4Uw?c_bpgo}@Ne5<|4n@FET$8IB$ypVK3G(}9WXyu{N5a#G zSLs+P>7r4~46z?8wX9eZKzGjWugw1BAkC;98cS`R+V-PnaiQSe-wJ$#7Jq2 zie<5ZBo&XY`cMf*eHL*m5puSe3s>I?PDm|HtXJ<3m-Z8r;yBGteR*qoeR&Y{^OnyC zo196rOo?h?t#_4J3+ubHp_J;ke`;u8wFWu>2Q>&h#NT{X)Fv+wNAUr^uitqkvveW%r zVW`Y%+^`=|!GNpvVZJV~BZvXqi(w!zKps3^BiO##f;z5C+2=kds!C&WXm!27(sI1H#dYW1>1MQS#OR0P$wK4Pd{Q>wTr{l<~ zvR}GwU3Z;K-in$%nyi5;TZ+^zc2nXm7T61hCPo&TsT}sua>cj`CD?TcDwkvO^=(>_ z_%+H!o@LLJfA6!8of2j@q;)g#Y>Ce?P;en7ed}vc_X@L0Ny>xr4R%K@j}hE4MpF}` z>%gm%+PZqP&f0iuf{?LER+oWpCe@a`I33knyxxHqj5g;V<0Lnus|OE)UoETGd*u>W zhg!`&!e^PrMUl+1D>%!93a3d$7*Jo+f7=nZL`dtzZBY!;8Mcwvk;8nsXhzSjDtfbCr8Ms@vYT z?f*ItN2&77-jhK$(55v(=#=x8&Qna=%(~t56}Phs!g4WB-#HeITeHn97Zx+>$lHXvb@+6^(&t*l)#}dhx4#yf15rw&8O9N5Lo5 z6{cH@GEJ`J>WOERJfngUr}U7ONmbdom!XbBf8p0p>-BlJ(vPpb*h9Kqc}dv^3|86| zKlM*TeXkg)MUyD=2+fWs6h4%9x&ElN{#dEvDQu&Xj(b)+4J^7OLGnExBe+?N?_b`> zUle*)1uTcf*jy?~2fE>KtvjNe#GP5_FN(X+tz`GK&TXfxzcr|6oJb0n;uLsyZ+*gA ze^o=c@5vPlI?9DDm_2}amW8y>uXY?XkL+!KBQ-X9M(nLJyG}I^onX;^UJM|`g)Csp( z#_)-wbMFq%_r+4oRkR z!M%;np@Oaq;OB!{Xz(<+m987z*7HmjgEj!GY@3l{VlHO0=Is~j84 zE@@E@QLIJfVC;R{Z!P^wS^4eWv~AeiAO}7uJe_CKy zun)=lp2AYRO5X1L=Uxw#OrzJ=PhYGpubw?lq?owY>su<;wsVZ+nr&+N9+3rSz863J z&gfo~-^iiUPp1LU>Wi12HOe_7e`!)3WTqFs^Yy5*VT_B%O&C2+C$~Z}rUF*&FNKO# z-wx!ZPaeFrZX0&j1jDN{-Wcs11`(bXCMFJxN^f(1DL711g}uzeXe=(56J`G4uNb8- z#V3Hg*6Qj$I`>#B3b}kLu4a0a=$K!UF@m{#J9K@?MK)bzsz&*TxN;r*}hH7ZK@M;m9EEpZuo>pIz#&8I7K^mjYY((+JM&3 z?7_1~v(y!uskcId?{+t2($R+4Pqt4x&V!Yy9E?>oC%CybC_O03RBj3ut@-Lp+-o|p zdQZ@upLdazou8XCl=(#{f0iI+2?bBVq;J!+H?^i@rCm6sOq^|3wVGn2ZzuD5Z-bV= zi#x`O>f-^ajg6)xfg|q}5V1W}UkrQXdNv6hsjo5KTe;f8pJ;5G3NuNjc zFBk<684da+P%d^4c4k@Yk?OB-`K0@Db#8Yv=n=->L)&S5tll@^G)Z$V?`5~uT7^I} z&oPDJE%z-pa)*^A?{jOj6|<8;N@6XmwDsE54phemj)oaqWeg>DWT%w(s5Z2332+Te z+vfSJq{=uyIWL+_f8c~R3pq9@E7mzD%<@isFvQ@rHozX?VTgoz2VQd%#F%T>D^Uz9 zpdVG95||Oh>tlm!{o2P)_63{1S>k`3Lhjt$m@Nt0CQvB{*`)il#fM`WWd+2snqxf$?QKxfww1UG~@T> zSFh))a)u*j|8zm*vF<`~AE(mG7%`HtE2F}U3vbSfeJ8TmuN3ZM5{nKlj|v+q=O|*F zaoxKK3NxBK;6ywPvWfT_m@1+PE6n8qdc)Be>!^!0fcb%+M?hp)V1B3Oc#Q#BY@tMm zBWm2W>0P^=f8bui#J&N6K<5*hR}&T=9O|Z$uGBLu=RQy}ls`P6wBMeg4!Jrf3BdV^ zY;ggOd`XwvK-|PqRJ4v%+|cx^d$n_GFb1ICJE(~qN;dxf@?{48o2zuah#HHz?@~r> zrV;3cpy}Rhh}o#q|jhZH*TOp4yD2#-bvXxcR}@G_*=iyp1{%Q;HKSkvC-SFXEisSi;V89L&8#f2|FndS5z zll5&C^xuYV)+X?AE@cP0n~ysk8-JF&R&XsvsOU+RwS5Iq2%4_ys2JuZHTjRXvMb7l zf2k*be3&C21ifkkN^0Li=7n-fB!4ibDiulGbm%?B*zNjAD#Xaupa>v64asz=;ylMb zJ+LAOUDh6p6bXfl>tX|zE0TD)7Zh7Wb58GJ$`NP=EvCtx@5nX}RJIewt?j8>;FZK; z&xlSP)WO3R=y?Wm1UAN35(NNjQg+d1f4sbEbPjo*){bxSXSr(ot*E~4FQr%#!}4eH zwymyG4FdCFV9pPijbySOZEopGe`Tf# z(GeP+l583UB2gJ*?aB1#Z!_(0F~tk`T!i>43$UvfMK5`O1na--M?+JAVhA4&@U;3- zF<%>XBJ;D*V9fvRtt)jPVuNyF5RBUe-`EtZ_ebvk^{lCnq46-8@0=~VkNKLMo7e6Hj`PD zY?avYqFc)}aQIOpR|M7yWoo2}dmx0hXR5$^6l;bVir7yNMe*ISRVFVK3xmNM&{h(t z&yD;395I`cS?5Oojkv2TeL0JuPm?8kI|fch_x7iWGPhzdvjcWmF9K}+f0feN8L~d( zKt3?Er}xG>D(gY?#^6#BR!r;F+}@3d_U5HRdB7HmA+{IulHr&yDeIND{G%TgID6|{ zX17K)*jvQ?YT@kApT3~5fQGa3Bp?f${W%jibD}g2+LvrBqZ|l>fCXEVdwqCEa&0_{@yy-^Ry%#trW8hJSV0%aT^yP$^OS{oCh_2r+~iIYYu8Fy z>dR3hMIDBlcVmr_pC>OjADP5<4mvh>vV0wNc^<}kfo_R`|6OB!#)PQ-VEy|Gjb)*O z_v;+7;2=IpZoT{uf3#d{)8#<2=qZ~^w$Qo!d0S7f2PE9_ zIVaPv+)`sP1G!OkVO^m(heb|F#Kl`L6ZgG>i6EG1ZC2q>>ZDv{sgz1YhG%W#lWXvD zNkmgN|5L?x&7(H zh>=hgGh%EFf47xG!bStR|Aq6i?jq6@{^*-kbnp4zPsH=- z_ikT5FlP%4lcd#R%~N7r_5-+ku;8)&>Y6+Nrkyvyf6``%-TAkfEaw74d*Jxfjt}P8 zN0;Z8B&JVxi8eXD%~4XXU4>zu>3t5Rt%!(A2=*SwwfebOE7G|etB!6uQyz2Ve@017 z*awWR5c2IyXV(vKu20#ix>)92se4FKSzTl$N0gm@N~ur1-%DupVYyxtko-uF^Fqd3($RcjpUfOw zRtuy8r#(D93AqnpF&)9wLR`i0B-ijBc4i)Nwl&i__0t46dFE2peZ*}+1)PWSjea*P z7Bh4#OFce25}`*qI=ehu>Fm)7eQ4S&Aw{S1lgz;T4AxIt^Z32Q&Z>U6N$7}d5D%|- zfAL1@TudAom7zJHbB3YGaYFlePjvOfZ1qEh)a*~FH>$@}lJR{Ls5{T@bu@<2YKiT^ zELWYLx#l1~69+xe$o`obqGdC#=B9>lh{D)ARm3kP=ZQoc<YQMLNyhUqr9x84c)r zYndm{rc;m|D-;=Wf{_ce+Vmp@EK z`3bgQcXwnwha=Uj@7pxq#<|lTnk!_@>quNmw>OQ1%mm+3ySuczC9&pSM?&Jn+_z}- zidL?$W4=E(goaqY0Fg{AsNQG(f0MX>h|W^)u|r)TAT-(equ|eLt`%lj{Bc-kQlR( z;~s85i*FbQ-FtMAM^$%fTNpA#Kjg5Z8{Uco0Q)fN$Mzu$waufRefvKf0}e@*llP-1 z5-~J3H3~0GWo~D5Xfhx+GdD1o;c5XC1UEA_Gn4-rD1VK31ys~q*FFML(k0D+bcb{| zNOwsL!vF)r3^GH5bV_$4C=CJ<0uo9JNJ~jcD2oeFdqoa5#RuUf&sd!T6{=vBo6=x zvw!~y1VRyTR6NiV2!R6aP=H^h0|BZE`T!uR!$18YK<*GXB!UkCf&T1~|7RN1F{{Ar zmEf+fU>FjC_p?4_h&vdBI(HxbKf`r_!M$L9f2|xKFnfoeZP?kwX;rALfe|LyCz)}E3KS6-N z&)45iRw#zq!(mXLf8f7H%&(!Z|3F8F`%lY%I~5h--T*&dAqfDlgs1>OP*6}5Ab%z% z0tonb9z7uBPaXdes{wO>10;Tzi#n&jO7{H20ggWc;RO6Umku1oTrhy+AEG}L5D@^O z-UR>8bpI9d|6}>jEdMLf|GOep4=D7PpW`>+|M3G|AyA(`2o!TYkSG;s!%wkMSkU*3g6kv`hMt}1P-scmz|Jx2hs6xEK_IeN`$mut0e%pJ18k zf%V`B$j=)F6(u0>Up|z`KrX0T1c9RFFBcf4p?~kI0t3PAe~L{=L=*sYcL)05p=OO* zi2(crQL3~Dd;cOcfS(TrN1{Ris2&3V4sdt8pMw=d)yWTpIoi1cK`vm_ZGY&1{0aEu z6Zucy?}7g1L>0sjhJt@8@o$@iD1aa7;SNI}QNsT_)xYWmdAPfyLVgho)y!Y(UpEC9 z>qgXEtdMb&zfa?*5KmeyWGCs4B?|9&F&h}>VF6_YI5HPO!-5} z{nQjmxes0;(AX43PL;~j5}B!sT_f0*Fl@z^eoPkiy-w;E_Gom}Q3}4J`}lp6M?G9* zS|-11>4?r|J;&%fKLJ&9a0sv98ewQbHzp+m0IR-Z{ziKeURri$ zu7&=wDHi*2sIc{yF@LIa+qmo`K_RO&8K`*wr)P?ydQb+pAqUfsm(pnfG8$GgJq-*U zCg&B8p?f@h-=6hCD$N*EU?-c+@7e~tA`jp!`}7nO!HH(=**iVkNv||SPCt;CaH)tQ z>ojNJoi>~a`3aMO1_k+;dapawq%7nmX2+NlOoWLFjYwvUw0}0xGIemxCBqehCW#5j zT=vW9Uwo_*eg9M@q**3SJV@a2{Mf-QW&Pa*;<~jv`d!~|TPNDNAMgv|SZfw^SUB01 z>aagR-cN)y?Id1qDwS1eilLQF2_mgZi+vQ)#+H3R zt+tb99QUsG4oxTD@dYiU?$kQSnGo89++JJ{v9}yjHCp#3tc~i63PW zs7&xpoRk1K))*o*4dX*|a%jR^hstSwq%7L8WO>pYLw{0#q2_jQ+D*4e)>=o$|DfL& zbcRtJqALEwQ%`u|6Tg|R=sO<;cxT=I8TuOT?wt(2({d)ZYhVWr}^Ot-u0fKCLh>l?`-p+_J0j0I6u8G)nTMJ$W}=`D%s0w zNti@G`G3Kdx|RuLRK1~m7^p>pZr~*Nf{Dy#GTVP?OFJjcBXB-i^=vVX}t#!qwo{MWvH(+>a&e^xDnVx)B( zi+f{M(PBTJKqjl3DwK6quS(T3eKc7byCzU-9V8Dmf!Alud$#89Cd+lzr!q>V=GMs! zEy(hO^{tgwc06RR{N9w7eRteo@3yCbQrc`WX0E=n6CO3;q`VDJem~_XJ+DP^3U z1AlZwLE~J{8oi=E%WE#1ti)bpK;74c19T=F>ir{;A!Z2NmD$1EDg*~ z#--YFC-pmWD=BVV(_vzsgfn+#=Jf;-0e@?1L@Dymb&^G_4}{aAjXu|lJG4dsXngcb zB12nrIl~$VsszL)zf7B$c6{uxDTs+cyk zJsoiIrf)7EA>_cWbnLUVT5Hq)V)BK&6^KDRr4B|T_J}={`pYfNsLT5~T+lycaS@8)Ji@U2$b_|fcJXRtc60I}{B?-+49hFF*w4pD zRwUxkw1o9nh!(c6u($k)tE<+W*-S>CdxC%j$LK3n`*UOUE0n?QhRlUh37ct`9@c1v z(Rd0XM_HnZG9>dwp0N2WqcxoBtbc^M(KhDr@w0L=D}JnD-oOCAsPVo5`GU!G?k9BF z5W-tmQXRVE+TNBToM zf#um&C!2CpJoxB)M|Q|UXiBCNv1rnbZj@)2O(~Ya*86&iL_>fzhTa~NzJJ>p?%PD# zvle&Jv$nTV#q}2Ho1J~@p0f-RF8Dqq@sy3~$v$pUG|B@rYk(AI>OH~SG06jiFsrJ? z96Mh%B{^o+5P$Guu@}>3UHY(S+)%NB-X_bJS1pn^?H@P?+T&I3&2ARkvsZP0?xf{y zX~KUegvL+X3t&Br4~U%Wq<@W_UAT+yIuu@GaY@rtq(vw``sQRV4m5P!I0`49L$8X- z(NZt|(5ks`a@>^9nfVR-Q9k#~JjmQ9t#|l!aY4>4JTe>Y_pw*Dyz=$f0;DEbSG4RW zxubPsr{ze)vVrGB_Hv7LW)zrY9HHi+;XP+AI;M^0Z}wDYr8gA=>VMO>T269+)7a$R_K#Q=AV-A(UXz% zEBE8X=LHNssVa@2_zy4VFp{{S9U{(E$9C zU4nh=f_$q+!9s<*iGOcmQ@Q;&YB|;4+TB0xWT9o$gaZ6XKhBqfdZJ>C%S>-Fy}mbJfe z_A$zi3+`?-aqa(-u|oZ*^u43fAa&Al(%0EHt=YFEd~d)0Y!s!m6v*F$eB7GUn;CJt z6i&~zmmv|`=YKvrrSYT??p$NMr+G@|?OfQ(hs%RCe9mnrSUdgl5Wia^2db>~Ro?t(#i{g3)Z$+ED?Hu!gSLa9Y-f;17HT+0Cp;yyO-+ys2&MlWq(3*@egl{?~DsQA~ zrw(7sB>M5myPL~%R|0Y2$m3)_vxx_Z{b-B$8{Z|mWK$>;8H>bVv41?I%h-7pT zA3n3t1Pr=~;TN2TU+9XA3ir@TPVEIX3yNGSE8oXBF9uc?;n2baeD7AMy`W!Vd=&jE zVFy@ls(-)5>Kism_26a8tl4v#qAp>ihL1o`$1^_6$$QbgmMQn1(}ybGQ~3~*?B-UZ z%2iqRt!^pP^Q*h=r2Pm?40h)^$pnUjL?~Ac?XH>Rw~h_j{5;==Y%NAJ{6 z8MUR7bY~^bYmF=uKG^wsv}LUfDZ8>PIgmt1=Pfh~buk^1FBwN(_~)Rd-^2PYViLCF zFm4>P{YWo3;Ouh3U*;w@8})mpOGMXSuN!LUeHtU`n0Rt(f)%-c!PXx-D-O9jm^Qf!bG5O>8d`(R;MC^$;o4u0|}L)R?0+Y z8N4S}a)8RsJU_47H8w;d!e_;*`;L>H^?&#C6tgzhb9NQVDoIz`AH5ts7$Ra^ezP=w zzY#lzA@X_R*uLNkJqM}}xK+nI(}ukTq9vER@Zq5R2$Yi0^oDuDL`i+~ zJWu?C%iXD@+tNPgxjG&Mz*Ow*;9O&~dc-S{Ffrve#ek#cngT>uXyn^SbSF%X>SSUE|4$XxZHN>x#Fiq3tkA{wa2$jQHPV3n!U7@)uMBs zdmL*uwyYohDrkvIncDOja`^?=5X;^zCk`8mmE2WR?oYm|EPu5`j(>l2)YYVm(|^Wt z!SYguoaR%=Os?Fvy}U4plh{hQf+n4Cdx~xfjg?C~K%K6eCTpuWUrNdT*-GZ^0e81{ z>RLf^=c@u$5*p&pC{Q?p9+|eM#(uV{^f0~EjT5t)^Azhk*M>2hq=>U_ilgNsr?~Ns zwstFCV|^IGqdrfzrhl5jGo|Iv!a8V8S{8_UFC#qQjRXz5^qU4%r$ruW1+S$ zzU@odPEl-pQ5eHfmuz_Pbj4hq-cB&3arL!&zhARgXupBA`G0seH6ah)Qx?^-59#X4 zb4MmLa&AZ1KI0iJ8Sz#$E>Bvb~S`R#p+5e!$*#wX(=!8(@HoMHGVlG4Nqo5Xq{Jkc&eR z@EGp#KukCbs;VwG=stCu3qbaprBa zRjJ!yij2v)(WPc&34D4h8d7ovOh(V60DN~|At-k-PK~YBUxX&hjGM(=-?>T_X?PP8 zSDn#ExpULedyrwo6_TYxy}cnulbWz znMIBHY6WCBu+UGq7c})J!vv_A2PZ4XWp;uO5nD@pq2BNZRx2|VOz*ueMRgbX0-odt zA$NuXMSn;RicD6A%ImqSNQz%oRlm8U7mKMkMucR)m@e=0+4wxzlY(tj5UV6|spjsu zYK+xGEb^WuAu=PD&A&FGu`>qeaoVC<#rmvxe#SOIVGWkH=jUY(=ex+#(6wa%!Qp5T z>~Jr~YQ(BnAN{>4Rk-eK5>1pVAz$pX`04{(1AohoyJMMf9ckx#UvRG3LpFNa1gptr z3ExNsFcKYvKhzG)15I;C&Vm!_((;S^G5oZS^$+J{7%NJMvJD$W4hR3^-;By6O>^;JcbGeZ65vhw<+_lmvx!)S#=0Y*K0;?9C0EPhPnEi2vcWE<7cRv` zvi)+E{o#zoVgu=v;viMo|XlV}9$C2!2Y4#Kn z+$v&q2RiFmI9c|w;(onWN3pIgdHj*ocYpd0iSu92#8VX8(|A%pF-MQUGEYCfX7qx) zk)3R1F=eUr=;ev2%E75ddz|%%Bvy~AnRDJcrYOeb#g6pO>Fvj#NGV$DC+L=^2!HS7 zQoJKvAL;>njluG2S)-3|`=-D~7YlrC`vH$JljY5_ZAbvG1cg3-Pw{8%dT>y_+<)xb z{(QD{Z!gq{q*P)BCtFiFc87T@|&Kqq%ia)DH@; z%XQ_SvuY=4ge+|lAWIr&J+VR~rXJF?@Y}78cOPk+s8S3Hh}?{DyJ&nCGL?{ZNDnA~ z1t1s zxlk-$r`%%=#8yv!h{jXpJ>q|Ys6lw|6|3h`hu6v=e&9#v_dkP*gASk>z8n`d#NL$B&`$7L46g3?!yQ}FL7Y;z zkJ*t$xJ>~MsClYf*gCQ&cG=MUC%#*Z~dmV2OSEUT{}VDuPfwG3k#=eXrc ztT3OL1Ei<-l%$8feiEgJg^vySOCx*cl!|9|+#7FoBdlhjHQt}tMZJ#JM9p3*5qBzU zGU#Gczm0Ur;c%4qvT`Uf$r|di+zx!a6Dz3teT%`GNI}@M3b%h%H-E=-qK2+X=$0ow zp6|tHqvoZHA%VF?a=Uw{Ikzlxe0@ffr&ut-f>rY_Qz9Am1`4~j9KGT4eu*--eN1IL z52Ds(FOq6DeB{6M-n1C6T;TlrOQBm`svqQ+ejx3mXeU+--$%nF?r*-NC7^R7+i^hR@VP zm6_Xbhqj~L+{;|F@n6Yf$#;R--aHjf%Y=3hMk5W+zVxut2Y>HzZt}Ys^q()yy{TZP z5^D6o%Txg;i=1=!%+(@FEsoe}aLDUgO21`(+OUh#e@Sz4P-_S!EpYBV1te0__+oof zqY*C!tv+VuBh&PKs6$>D6Si@=c1EePjm@(LHW8X2kjC*vgN4SoRXH~I8ja)QQq zPH4PYc0e#{=6_uZGf}6$Y3tKa-K%foN%y&QeSfs_ftrtd4DXK8JKFsS?Jq^k!u_Oc_-%Ar&<<4tO9rM5a(Wtp?n`2K{G)qe6-v8SI>KYvJb=}Xh&nW(p1vCZ6L{l+o2q<4Sq zM|I1mnEYY8N=Az9b{=K~ag+GT68Nrhy@^=WK}BAiJgAE2;RUl-Q%1j$@&`4W?u4RZDNi0Q24_RGtW_ww+>Xu(@_a?P<$ZYkFpu*0Az-dkrZ%(4 zD}Q2qoNkl*JlENTGbe@>w34DTkcR_(5GnJi`iNe|0t1V=5{_AMF51ClEXPM6f`j zm%hZ+TzYAGl>+*VUx=-hhfN`u)hhC)cXL8!kBSprG`8T-{3={9A8f`Evi6n^Hh-^+ z!wj6Ex1g6o*enLPoe~qe?bdKD=ysA^;WsLj2TfRG`On>>P9Kn`5wog1hw~Z45IWx+ z?n|PfVfgw=ecB5Ja7w#oC+=a#QjJp%+gS$tYZu}s-6|f%<_iAl%0y3aQ}Y*>R>;A3T19&bCVU}B$FVd46|o(qB57vJpmW9Afy64m%3^JA_X!s zH8C=m;c5XC1u`=*IW&?QCx2|Xb8xRs7Bw2%wr%Icwr%GZ+c~jq+qRPv+qP|;*vWlo z=9~HI-n!NQY^+_q_Uip~bv@+7;`Vkfs-6x2W_o4@CT=1Xab-DXCMG5#CI(g*a&i$T zfRT%(y`89$3xJzQ17J#|0&pN=W+7r>Vq%6NClaxD@N}{?w{Rh%GJm1|caTWk#>mvt z*3yYc-QLFD&CZgpl9HDoqLPqT zBa#5v0i29%h!kCoZ7fZQWGzhqcFq85A~Sm@BAfp>L?-rjrk4NW54fX-82!&O z{-5=~tdqxoECv{6W+GEd6Bi<5fVrg|4CB9ald?0jC*t@|*woeGzo~x+Ise0ti0U5= zsfkPhX8)jFZEWO?Yym`6BKEcpt}Xy4A~}0gfRi1Ovc0X5-G6^kMz)qVp8vnN|AUZn zG5SXbAv^Pblwnz%YS0qk7`2>JxY{J?Qb~10c{P^oJC0Cjj_P%{yIole$XD=EjhM*lz4hO zRVXAo;)qAA`QOV(*E&|pu@NAZ+y;nGG>1D?kSu?#O%9^k1F84KAAcg*t-E&ucWJQw z7$_!ymbE0v3xdisIV626_p6!d60^6CAxYkCw0~?U2;@9gMyg)?bY~ER5LSi5^6!Ds z5MxqZ%BnT>c)OgY+R5JbXS$(kH@S;}b!#3SU#iyY|JFH|Qz|S8bzz5>VrGQcNjRXZ z2(2jDObpa+RBtOh`%C7Z#5X!%XehM8x=ik#KOW{VPd?;BE0-xbKjwQaK@ypw8UgQU zE`QM^j~bJ}G{N3CRTf%b`k8Se^TL&q}9@qS*3{>YwE9kNBCwH=|q6d>xEqA}-7p!*#aVDG8VSq=8{ zCt8Wpv$iN$r{OZd7L1Ub;tU!%>em=G$YmHI{^xALn5|k2$F#9BUA9Lc`e$|oQGeDb zHoX$?yO0GGeo|eL2Nm4O0y9W5P|xD!3U>et>Oy5LLX7UIV})9(7?mg?OYrY#@Ep%$ zr>(=@0E=Eq!LK}@O7tDGKJIccg2#xP)y3}`L{w8lIF{t^a1_eB`+Uvp_5htfVb6Ky zUJFynWv?LOk5gf8X+(y8Vb7CYWq;7s5e`B`%_$iAjN(j(JyGO<3LeU$)X_xu;{(2y z)+Z65)>E6wXlkp8Jb>!&i*xyxrlQ7$s8ka-&THPhQKcwlVUu}`5M;B*-2~2?zapdR zg}=yd-0aZ@_wkA>?p8|7h9z58T3^RYsJKw>Uq5zG zA)@I&9Ez3|!ZrGs5BvWXnJ)P-SEK`P4=zyZQ$jsjLl77|O>B&$UJ%nuAneHM<;ZyA zn4}I>WcW3-m>M`k!v8P{0oXP>>LjaQCaLUINpSY|!6{-f-3k(Cj5mk?JM5~>r#Y9%lz?P3gYC63L2 zZ78OV@KM23q3*$NX-ROZW*)JV-&rkIVEoC0iHPEzZ}`LxN4gosTok4(Qs}7tJ}z_1 z3CyrD2o8yAPiw0S`i-eRf8&27?d2hR112ER%Fr~3?jiGdWaNHJitI6nUsLRzDOyH9 zEr&)Gc5e@YFxA%jO1fY=EE09SDgVsfBGKs7*!%Tswr`sRfB}2S4&zc9^&G-JVA!T> zVc+T;221DPOhEI7Pw(JsuPd0dYKUQF{IY74jmss7P#u|}^0To>cm;pO-Jk78_r-XB z^-YsjP8M*K>D86zQ0@BZLPj|Z$EiW@%)+ya$t; z!%T}MJfFgJ*tZZm9Y1uZpCE2Rzcq%!c(4c(n9mHOY$S;7aITvM@5etHRjmI}imGFh zUKt%|D-6Q3cYU=bc!7Tgx6_{zF77TFSu;eR&empx%THpkVdyD_wIRwo+lBU(W zx+O1vlwyHhL*{U(QW0w)Y-DTW{hZV=5kO_fZYYI}S0*jlb4q_g<8x?SIo}0vtult{QfHoG(UUa$$t6cqQFVN^6iBG&n>aeLX|k+ zlnrBFe|)+6GpeCFgYY-VOyJOnkVqq*Jwor6iKy;S@(NaNDKHTfB+5ty>Z?L5jqX;F z+xTK-NopkjBt%z>I_rJBR zwFD<~aRi3Ko70_Tx8z=9V}fs(9wdT&RYLuY@+i8tf$@KC{j(#=>c!S!=rloVGxVog z0Bm!-UaI_fjD2|0Q3>z(UMS0n9OrO-?oscpDa2cKZ30$Nq*7lnzntXHQMwTeW^`8< z^@Fwqxj9X=3sfYxxWPl?;pf#jKW?T#o&Y7WMSA6C!s9t6VT-u7A4~13_GfD6@BWqr zN(|Ge`N4nW4l$GmjQok8iNs%$IjmhQ;tywq?R)v1*(b0gNZsxJ#J?b z8ovj`K2kL>s1w)pYzX!p!K)y`N1ziD3JTENbb5amtnI^OQjyd?Xz-qg{PH7GO|^sH zt6DK#F%et5(5pegcUXmp1GOqQlWZk&2eWnes=N*xa{j({TS#?ttObmzxDh0Gs`ch) zdcd9PqEhWW8gEptb4$ofDu}SH_3{iXXZ7r8Wzf}gSn;Y5qUoi7($i-R1{m7LZ})(L zVy}M*8l=Erqh*2}T~*sv?W8-zqrugQTih4}y~i`E!d0D#UXMx~Tds+lD~ptXfau^f zmuEy1w$2RNpNOc5YM`yv*Z9oYJ5RosjR4Za+Z{R7ts;_|5uE7-Iw$5Fr6B)G{;B@; zzFQH^12ja-SRGBk{_;c~+-zULw&xPq7R`Ulp=DM_hk#OSfpyOCsozsE-~a*1%yzE6 zjZ^-4Qyd#$(EMBD%K5l>Ky0u5s}?W@NniG4$!Z^%Vb1>w9Cqf$YdJ0QI;A?|ZuWol zB{le^9u`wVadj8#@=f0!k=MjDZ!5Z&@2?u8pNS}JR_J9M>$piV43f8)kVEU{tUC%_ zs(7qCmn07_Ilwea#Ww6XP5zg$Km+1M=Y^PzU&&!2A}O-;(=&1$rb3UTc$=$cd5m=ny;;sC(}pI+o)(bbgJwP1ylZlO;+ z4!$CvSFTNU8=OH&hZzO$76?dhI(g?GdxTTs$vJElNHFbBy;<^baBo2#eM(@2MBr&v z`1$M(s!lN zWd)1$%sW5i{b_n;QJst+X*O*kV6%CAx_lPcpD#pc(UvS`Z45!FF4vi7TN?Y^ZNTsY zwUZ@H_rj6`*^uW#$hq<8+|s@>(SAJ=H|B@I8opzCgI)>JnmiNAe%*gt63yCx`PKs8 zylz7!hP8`AgxpLM!KbV}Tf8noX=`d{^IeVf z@bbJT{}l_%gUfJ5=!;J8T%Qz_w<4r`^A{hwOv@1mYx5W}=z}L?C+^i&Bb(;vV7oQ) z-Jw{}**?gbF)dHp2v~nXrChQY;PXx)aeMpT3lR*3iJsV)S?vEZQ1YU+fUOw>^NjA?xj%@9&we7a4Cy+8f6h#}5yJAn*)SD!s zMVcm2Ou#;AuY=DKn*tmvrd^3}38IbUQZdMZC;>QMs zveM3kjZcKIaQo?{-(+U$B9SM#Nevk;maAOuvDv-}8M65Jh+^2@-aLyoztSc)y;nE4 zJjq?SaeT5)GT2do!Z{=G*;24acPKqVf>TOPsSy`C6=#3%&eiRmVDL1D3GFrfm*vUb+cP2B?bMJc zEoN%85;Jr>D4I}n=uV@~9kz^~pCU$~5*Fy8@{3fHkuxSy2$@Oz$#7(37N{*>|0Om} zQ(iDRy+Zag{F?9pzqsyE7Ad_2_R_Wyj01BLe{`y-u4`qobY{`6cS8hS6?n{Vhj#;YyQDrs5GPe4-aHL zyE2S+)5z1A=Hu)=bE%1M8rgyuzb2h37r;G6IuOh;fw37)}Zn|UZ zXe)PVOl?h8M-flsE4?vzx4KcdR=tuGoG`davZ?Xgni_?PN0p6=wl`~XI(IfIuvYT8 z;(O3RYd+H+BEht@zD0L1qlkZV_39%Qopx`0@&cA{Pt;zm zxR$@chQF@qlsJ;Hb!gz_@Q{^GhLX3pMJ%y$uvaOIE)OCN^(-sVXMEO9($Gq{~qVBMeInd`F;&5ju)2cktq zB_+g*gXF@D3HM>*5Lg)?493`B#l-xFT%9;UEbCUHVp&e$T+%^$&E@%zkl}xfI08cD zPdQ(ZG8Q4kIlq4nL0ul-Y_HUWyXfi7-sp=htTv?lplIvxtU(l z;I++k_MV4FZgcau1$EEB5du7KyS^$)x+UqJ?C|}sHw!@QFWnLs2hl(lgU6V-@%oPZ za>&EXM0em?FuXHS_1MZ)1y_Hz5rcS5Tqc)!uAG`Eq@X?PP0I%Rs@3)@BQO{$p-rG(Jm>^`O<9J7VZ$I3yNqB^WzhpvWKY8hkgeAh=a()I9t>Nj21Lvdr@Fw%Co0#h7NzNn765n*4Vmu zN9gKBxH8F6IfS*)?SBxu@D?bFRe`p4VHTcOtKN0MRaY@lu7OUg{-}>`Zea-E<;IAs ztWqh(M$;$Tsx zb9c~%U-UjrI)OEl4wM3eY#$!lO;bMyQz9dN9Km)j&eFjta-JD6+R*m=X|CUQ7E>E^ z8CI#Q_9Q;UB)%q+3Rs(dY5aIb)4dW21&RsdDpxWQ6_US=e{2b2L)tE9mOKb)3@@I^ z&a}hKfmx7d#(RHmGk#Ky>N>)0>tfBEHf)MvX54T}~Lqf$)G9AA?~bbodLt;vEo6 z;NqxfRsA5V6H5L$tT|qwgO^$2^vT%|^!gQd{%VFZHaJ`xTDnX}EvCJ+pUBI!27y_uzHUV&B{0 z72jeGsGg(oh}}fO`!ux{Sf64knB3v`Fnpmu+#8--zT?0RmVXmOj;LO{z9`S0QtQe` zymD_&a^f?qMTUf2gw^j6Qx^H1)LDqnqk<6Uux(IYjKM7$PzEXq}J!ZSqX>Y{2ityv!qYJX`g zGM_BVnNcUK71DDUblewRyv{Qw`=~JA?xTVj#FiMc{5<;VMsDWzBV-YIPa#xZJKFLa zU88}1aFCmM)xU=B6rIyoSC6LT7kocuf9YUpO1I8u&`>NGm67poz}cfFEv14gQ-fSU z%=CY@70qlBT2ZW1zw!B?HRKma{r9jp5Y_(Rz-OW;1dZ$t%?U|R*HMEYX$5f+{3lyo^& z%`CKiNG_^q)#;A`r+E!tL_h7 z2(_h^PX}MJrx~P)a_Fww_^528%NxQkeK2dhz7%Z|v(((kW)wq3Rp#xaXM{Sq@ zT~!J8H`?c5l8RRAIgLDUTFdM)A8oK28&r=24WJXcu8h7tdb|O1kdru1psOl2j81m) zBV8UQ0xMenZVa_k#8M-2`tbsaJyn13tuvw1G-{v>7(!4JfyFm5f%G53*6TF}A3RZ@)*+jwmogoO<8=0|> zRv>;M)8EJBkb1f@a+w39&6UE}4l_GLUDWFVar$OVq8GI*APzK_Q9WscoyE*%M{1u2 zKV=`OnpBif5hKxKL`dmf zkoQjL$Vdg|!biIekQAl6tn(+;nf0?MV%tDZ3J}-Rcby=|S~2U`pGmH)thz1z@s`l3 zktoN$C^O`Im$>&hh|gY+GNWk1B>gP5?}W3|AsQMAh9`uXC8l8D;PQWcJ2OH|ZQZV$ ze6XSuT8|#YNINuzpro2T>p=}E?6I@h#npDp7%arSeNR<9!qujS4 z`4g-t-sTV&VgT+cMy^6+lMOSQC%pq9+V?^>E%NM&BZpKYq{D{$M5M;T|M;7j&L>!n z90@=1)F1F=hVv})t2WDL(Exjw3YvKGG{9A8cen_BrN?lwej|Us48JKG(b7l+dQl7A znQ1pA`%;c4?D;%LuU{Uu*DdbHYO@!kg0l+3G_ckZ&^*=vwsM7P(VN? zjV&~1#n2&OGCUduv-76H7{r>3mKj2^tt>LnC4oyAX3~E>!cHmSBAkDG1;$WY?kl5h zG}5Bv^2IR)E(-}oQXO=748px-Y@YSzJoH_#Sx^Nvph>^fmK8nW05EYn{p9@PGnpD2 zeL^KIzfBB#SrWso&i81GFtaL}Yl+Eo3xM#Ag-(E(4Lr(%PEk{@_%92-dXF_9ee(;s zO7&W_a=CvwO!O#gm>?qh#ZfBm!_~}<&~vO>RbNjk&u207M^?nCyRZG?mH+OM8jHr3 z+FCG755vXhnNIh3WPrroKCpw-tPwd8%1Ewxz!wEY&3k!6J_HI8}E!XhfS*J!7RBO1b- zX!L%?`NN{+VCdXhg~WL#gO@m<$MXzr@QddbAyLce{B$J~IkYl}u6PiA=k9PXm{zkadAxM^V7>L&z|;Xbb0&};gr6`sdtkeQNL(x#s!v5vQT#TxV` z4KIJw3}M^&mKVQbIA*F`wxe6gD6JwqvQ9}4%y9f2Aqb9flQJt1Rj{$JgQ1HBpx7cs9z8!?xybQg%xX3{0VIx zBHGC6HE(MOL5-;WV~j9H_6U{6AZD-(4bl9*@#3>yfhnZJJ*#(!$O$LR%mjk>g;(@A<}HU zM$U?L=cbefr<&B|sA}Q+ysf0(iZ~61<67{*rbn91#;{MdNcz>s@NVN78etM@0P34?VTH|j^ z=~ASW14J4h@HLwiZ+8YY&S#1IKoxxzG-WDid%O+b*I$2dceo{4*UN|Wh_Qjp!`mYHwN%Wm#i6^&VuGb+!XBTM4E#h14*6x4dZjBg>$Iu7KExIc?hE)$KvvjC=Tj>zdJ}m4KoX} z*N4F&9BQDcMyAR3ZDpc!jS|!=J;>8YVoeUP&yUY z_6%|GZBTCp?Bwt#c(9mQR*yz>Nt&;cURLCay~RxCZ0I=V_G!jnnC__HAsP5-psln` z)vo8C;ncrWqHo$cZdpcB$fG3jF)ogzTF_D#c74~AU^nbzJQ@Q{abUX-)EA%(K{+U^zpbMAlE`zca=frj@<0-r%gyOR*>=~( zf+Cpt)d^J_&3%L_L5h_oB1c)wSr5?DFs$1z^lNb3uycv?Qun;%4wEUin;dXsSo$_J zP14R$j@w#(MhZZk&AYvYXrs;$mon44>b6WCLo$EqVkEfY=s}8IfSbo0b5JlVw^;4L zh4c)Pc}4HalgwBVWcdeJE880l!|Yzb(RE%YK;yNzUUmMO+qKn=>)R%z{16i}g{O*_pc6P0vM`$+6Yh5HL*;eR z|EPa$Vpz1Z<<}ZE$NH!lIO<0V9n@c#-OFS-ykC>o8=|#nfRpSdj7%(#C_I81#UK{Q zgW4T(WqP?_ynEQZ;|| z*ygS{OBH5Oh+wRRrgqE2Y(SM!&tC$2)&8Ci9DR}Qb7PvecAOCes$R6A=s>um2OGR$Bj7#VKVtzt`IEwYn@v?fLHS`qg{aS!ykv zn*xnQp*zj4qI zt|X|HV!8uBR0ySuuKj$x;)dpf*S>wq^$;*jUu(na1D}p`8)hqbz~6rf4A>CP{ZkS9 z9zFA=SeB2=qo>Sju{_f|R#Af-^>bAnCn(2u&*3mxtPie+=dHn4$y)6AL1q1n=wMLP z>V!qMukiUF#lP~e=T(2s6D?!&VIDZ%(xlC9DXOa0_`C)adA=F=#Ud3nf+WKs3W}ra zRLUOP)@ii6EbHDEmy-J{AGX6FqsTME##h)Tehf^$ zLYx2F20EzNgkg}IW<(`0b@yVib_QgcYFa_=wyGMkB}?cd2m@Q-LLQE!RXER@DbDj; zSdw*<8w1oNZ&rVOG?c>FIgdc_(`i-p70~cJc>HI#D*1ScvEa@~vnkG_8Q4I^jMd)r zgd$0A%VNiykfY!vX-8|Rax0F%U6v)B+n>E1&nV%botX680$&t~jo8V8*0ypPv(puy z+}qqs3Nh%nzeyIPeF_;20oxbRf`7PR9}I}~d?TMDN-}>AVZTap60jq`ug^Z;)+US$ zAFli^{LTO-tA!JA_VxnYft;f1u5QIc^Z=mCIC7L&4FzFdLtjd@=L{n?}iz&iVX81aHL$Eumk^FB6`?#t73` z48=@WxQ{r~PCF|tRQz`5TsWqxKSP`Rku;E{V7UlaYU8EDbR%=(Kp1t)CMM}w0wtK> z>6jl_#`H9tt^VEyHct@}%>;=q&C=W7waE%B=|O*M3*519Pz;6>(wDvkhXu(Gx-_)D z>tk2PFI@{#caVMp<+^&*vZYDYCCd!`XPMrB+=M(OaPWHT)9V!KT@oLYdK7Z%aX1DP82+x$R>_s1MfG_#s>(2Vmm(1tlO zL+O9U5)F6JuTC=1-w3t~Okx4PT{Tp@xs&EMt=XV9gWd4VV?@`fK$I)oB~VK!wZI`s zH-D6`vMwf8L$ZkH=Rky7=_DGL}#^Vr_UjPo$o!U}(dc)+8#=?b0!$ z^$m3X*a=-Jl$YirGAD?r)n^i;ZeHBl~>v^R#^zDDk zYz9(;V3dxWIV**=H7obP#$S0z(gG~z|Ml#x8AD(9;BXd^w?abORQ~*=XGCgrAl*&G zC7{qsY=gDcBAWV(wPCrp%kQ}5Lu45H*JL&$bFP&S5=oG@H!572^oxKQg)*zoq3Vd6 zVib0P!m*HPE!06wtY^EO;Hug&h5mn7H@JVVk!O9k7DwuLrtws{eg--m7bdA^|MJy) zRv#9rppl!(QFZdyKDwJIY2fPXzQ2!xdCeD>Q*4niRxpKL1!gLeh;=Z>=^Eg}Mq z&gFG7yth9;i9Y3yuuoq}8@?MAVCTjX4ZAhgWu!337fAq|uoR!IN2M4LbK^ znrX?dNp5JAn&pD~zbL+|(;$1WeGABbh0>R6W zyK&OVZQ%pLPWlTb?Yx~_%@WGip)L}gWH%d?Wqpm6WrB560morfRw~ag+2Y-2&hlU$ z&jmic;mWTS2!La!=lw_Erw9r(WZ3CZu5KRcbaZzr?8VPHh0vbCpCEq)&+Z3aSo0GP z>)g3VsE+tEy#v7doY)x?@`4}Yf$x|4m#8Z6BH|#>Wwl$@*G3Y;Aj@#=x^udg)%Oa< zO;qt?zik-LPQoD?lJ%!A{78dcqu!)6X{8g*WgA_HsI78%<4{i zPBtoQyOmnG(LKuSySsm;aw%KpDZ3+x!~WihU@l{Dsudf84iFUwg7KqQFUumNUny6- z@VXx&V&Mw}X`jTGg!PzlN>IPqjOk!SPE39}wS3}7#zpR<>JlcS3!uro_IVeKFEp+t zvY)FgvV_L@7~R9i_idB|YbjK>w=>P(L3ua6Ex|1fvj`80GR%Jo`TQyMTla3IZJXZ& zg&q0r2bZu^JUq~FP5iO4``#~aJKzJZE0z*dVzAoXrd=Eo@truRAm6NfxXixcolbYG zu&JmT{3s)F&(BLvoG${Z8UML-+B;s$bQLJ?5eQ?yKpY+>I2nR0*g__7F=r8@bT#pC z0W9CUlTo{hiX(sRmkF>t=G^aQLT9xSPK}Ww3vkXA<~BwzE^XteosoDr5L!CD(Ki1w zi3W`%Ca?~YlT>d1T*N(DtCkHoaL4RznF|_0(9{F>#G^~>-t&3h><~}>MaxNmD7H^*p>R3$^|W5&Z4P4xu*r+EzpBI8Nr@8WC{gn4;b1>n72Kn?w>}C}DkNPz^qa z>)TfN7x#Z0&S=KW4AJ;MYo<>HhRI=cF!TNf3UPV`t7->s1QOFU2tw!|L z(th(MQKMz?D68+YLfm@Htj>{fun&A#Q6#IC?~U6;lw#D5+kgI9B!>~UM|hrf6j1Q6 z5=n5-V&Uj}M3iK~l~ygV3YDo4&=HtpbDR~^89GZrhzUdYb7@fE5g%2^>Z%{?p7T39P0kfwLxJp6CX2b z+<~00do189spiAWBA{u3vIuXkNs>%Mp-3>l;l`+?3}V|I271YT8aS|0V?VnKE2sgl zn|$cU*<&a8p4g5W$yuw7$Kc3z(XRtP>5PBcWm<2~!l18W!{PBZDUngf3npGTC3n9X zT~qW>|4m>7p|(i7OPvX3D1xG#ulWesaTY4|{N}TA*J6 z4fxCc>v6kQw=a)n2bdWi5bYX}&b?4+B;eq)R{St|gooTkM!fUf;E%*-(wt_@y)=I~ zgNZO11{2Z{CXG(WXtTJ@#mc0x+sw1uK$tn5n{{dq6FSLgQ?5rSPmSbv^?Z; zs@r1NgW*pHK`_W*Iq1Nka>fqZ{jGs-&^|y)`EXTXw+(PR@Spc&eZit-XtRQnVjchjf2Y=0Bb@^~1M1uH_3pJ;Yn-P0 z26ZRyL1JqL5f)2^%?Bt;z2G$U_3Enly5a6#@yH=?0F-}+reWmf7c}_V)5|D+ z5DJT4IS5F%;FE*MB3syD=s|y7DdDnrTQyp_C^u$Tw6mqeC3Jwg^?S{Hy|!vFUEXwg z>~H~1@5D^0P<|9ukcI{k3W1;!y!qgL#+F)AL@!Vg5|n2sNoSu6n=AjVU>KvWAhXYY zO08C~!aX5rs>x-|CKzaLzQyySa9PY9OzKqjC5pM;n99c%2h&j?1_*z?5}vrofDXMa zuN#V(PwM*L?K_|M_Jmk7bH@gDZi1P%?WZ7B2!k5z)y^beETEBWW(N7#)jqX3;bcrDEqKoU6R zbVUtGd>}X0ADwQp$J2iULZd0lzZj4$8et3TH*~IZ4{*v|_usu$Xjm2Mr3Su%!xPbQ z|H~tciAWfP9CU{M_$%0pvO4W67SenciAh0lbz*${#Hy24LdCMwq+ItaWh*~-(B54& zZO28i#f28pE%%0OZT?qoc@S>2N|~7oCxwXwk&BuLWsIwA>??ohZtvHo{tRpSg-{P= z=n)jFFk09bY46eBkpmtBh*3mjgj&-Nr5+HJ$)yS1;0mL>k{~u6wwTv`87RI2g8lm~lFTCIKvTThNCp}%6 zm{JvyiwYDZ)1V9kgkJeNj8+3{4Q^iHy6bA8Qz;7arq8_ljZ0a2HcjJdJj%CdIctW{ zk$))5C@mzJ{}7b$dh{y=kulf8L(~=r)O)B+m5Yx-$J&1v`7|0D4clno5XP9?-=DKnoo+Lg@gW+6SQ1AMEem6kJ z1;5aGpb%Qefh$r$??}OBt3q;wbmCl))Az%<`qy^5leQ(B1@hh}-VsC4BhuEV&tvX4 zJft16vKzSjpUCBR@RlQH@e=ilz_6{Z`w*4pw#_GH5fY46@sGPf=L~%Am3E93)D5Y z!JsY@7OUzdi?0I+8r0B;CPK5Az+s;;8}XN%Ih3BChyjp_Xw@b(%)xlFX}kmZ`bJFh z#Cv}v35<{P;}e&k_0aVkaJvuao5l4Y{wk}^dpwk2g`;tG$Ux-gx5rGwf&0J7oI_KF zOQMJ4??`~T`N*kV4*7VDSbEM!hXbcktm0LR$*+N`I6ifZ&Y48HB%d#so2v5{K(A^) z@2n8Dm7O%?Y{R_UlVhWjD8q8LYv>~V^K*aFs*TzD=$+RIg3R}}Do+B6RAdL)!X9fP zQ(l-KG_m-bjS?E~J`xds?XOLCHRC0eM3s)YPVkFJTEdhYG)102Ov-e%a9f6!feN5m zZD*xQKq4z&t*YVZ&t8s$X#o>2r}CO6fd->}yAvHf*F~uBP9j@qT*Re4E@AjmhB<#s z&6%=&;#cq;D!w(+rbk@kR%vWd85P*nk(zX2z7;2)^CX>h^FMj2BUw|HQqi80`yP45 z?^AR*=wv3Le-dEDhu0GFEjyBo;ViBX5iocl+ka3Jrt!6&wD;lSr-%n)^jLi$zPSxq z?*_4lwmu_S7Yaa3$o%bTLxf@Z({FzkLH*(Z>`2WA!qwH)sK00x^02q_9$Blx-aruJ zDD>ry7fHm*wUxYE&=5V$S{)M0QRX}{EDpEdhx^4SX=R(0C_6Lmr;b8{p0uXm@(|o| zP)46aGWtPBStt^Vx8X`UQY01lF5A8k$Gx4ADl(mCI^OuXvJ@=$*Vl(L>g0bgxgB%d z`1Z8fw%`$AC%$7kRlHHjNTzNJMfVkZ!dWK1h8-nDWkh+?+CLM}>AgWP26Zm)vR=}es zJhGs9e;e>3`?}7&6(ubaVBde7`K;8cGN$sV_E1-{qhofbJHAZXOChR_7U^qYpcP&yQo4oo$j~ zRJzjhkFdccj?#;B&tMt`n#T=Pik8CH%~B*BJvU|7-SQi|IUM0*C7d!j$K=3zGK#pZ zT|VRLTpV8T1G4s@4U`m+yr+g>BhtZ|@lMH`p?xRD<`tOjBXWO}GK{MxcM5=vVX$WZ z;5djZ8mze3Pb_Oq6i2hDfV|GqtJJTUFc%=w8y!e1LUM$7WdsCbn}$}p3tr2I&c-xC zLR8-Q>$9I_hk4~I*gh)wz?eb+_ksb7gx6^Qa=>+1LhL0pZP2tt{46<%8}=Rv<5z2T z7$1_0ZZm1+Pz-R|8D95Me7M-VGaGpN3npfF*$Ce;5o zqW!(j>)gJyu7S|WdeQ3iInRlH42~yJzX^U%OiN*Uy^?=JM&6$;F^p}NQksxEMWclx zc=s$S5Ws6?mkRQQ;Lu?TJ|{(uKb+*+=IPa-lY%pBp$9>Mgs9%<{JHNXZ zd=eDg9Hdm|a*IE3n34y(=p5-KrbwW87`t+{i^eg1zxUoZ#S~GxNOkBDgM!m{x6syA zGyfyb;((2SHbpo6F~z>~R2~D4mvYYwL z<4nD4=)p9bS;=%cBzbYEQDaT=$dB%Vhgo>p4Yz11>`TklCZFdh!9lsmfBUS(kc+*U z$KAFZWulRKgJOAZ28qKeQnd#aF$ADCr|)3LXtYBpWJjCYbAwl=lRDG!TX=muBNWmid^^xj^8S;{8(lZDhnTnbWV!Dp6~6kZ zaJJD*AG}?;VCj4CLqIQPp~+DCRv-(w&+C69vz)^ z7~yb2i)(^>eKkn_1j?x^~Gbkx(5a3acpIsNqWQ&R9FuC6Hm2)3yuvTNG);fN@cZ$AbgBW0SM0#N@2em<%9zll1%J=5z2^T3 zkr{60^4+i~bGaqME^^}X^lF$(iE-rUO5F;b>Y0F%ThisaLg)=CP>3ME*TYfA=CgsF zFF*DS=@)K&bbO$89z3;w4+B=ylm&^qu+{I|2o`i9&MBosV{@}P5T7fb1%!Wk4=n0h zu!(!^dM|!UNB!17A)L;DwIK?g8qg-ohp~Zcv{-+__aQn=LB6Wj@3G~~Y#l(R$!ID=1 zqz*hHuYSsz$+y%2hw#{NIKzJ=3B~$qL=y?58H5Z{KpSc8MUZ_#$J+8nIybXB<)OuK zsEYJbPAn}rEOl(MbSAtv^1JH)tWDD4j~wE%0K#Wrpk5iZ0NI^LtG*sKb^>0gEKTM7xmN|PmqZY? z(@cmYJ(2>N#jqD-+^>J9(G)*__JkmC$U|~@{#BV~Bh*_bdG<$;p6YlLnT#{H;r%CaaZj%amnp z>~zQb-MXX%fI9RUF;XUTF65Hq&H}^}01svQaF9g8I{pIhot|{$n40r1TYNHm)fF$6UH;hqQbjJyn0Ez*#YhJG5VfE;Jf&fATWS zmEIe8LWlUq{aDse5E)<%+t8$Be4cvu(vdzw*m}`o#a&f>8p~0EYlvz<8vY-E*L1ui zh#JJv1~fK%$xXI0=gp2jCQn`G!}=T>no}VKixz$$ejB2iA)wVcfhzx2T!5BMus?^j z?5n79a_fJsS@bL%j@(}~wsVDwedOKC?FT<4XvlhvU_mny7Y|Ru(8cXgj$Gx9mS8$W zu3SWmIwECHrMU$~?FKHWjwkv7Hy6F*vEo1=?2AX@R3*UjbYuN?5n`z`WQIV|QFD0L z9z!}t>=_YgjL)b1?**k8xion!_%J9&V=ew?DX@P_9|d8|K8~5N9lj*2Gr!w=G`U}9 zgTk_a^mddB#UnxEO{GZYJgg4B_BpRWr>k8GgD67{X=dXN9;?kzj7i5Iw%r~tvy>cL z;xVPg529H8?(J$V!G}%0Cc~w{+?&=q3`$dI-6|)=_4KQKy!wy@#1v8%rjm}1_#0qNd|lvFCCz{G6gJmi(Con==b6oVveSVM z6BJEUu%FgNFewHVw#G0U?agjherv7GU)F5%64G>e3t$pUCdNAQn5qg1b}esEe3EwU zh#SY6q-GW)c4Jz^UKjq-MTUSBxbjWIp?!ZF_xXg)qLVKn_+~*7JaL8!qxU4t<=YrM z6;j{6@oaN1!!l^jr<~YeuGWIEFM*zYDD7h-9%JvFLJo8*xp8-Yh)iEf9!c1MZO%k} zV{j!*v~6-uY}>Xcwv&lHv2FV#U+iRJ+qSKVHL-2mZ(hAy_x;;z?dm^WwX1sXUfnAk zd>frzs+*SLNY6wcQxK&tNv13;{3q_lPfT>2M?Jz*{kbYkwcMu##M9_F`6@N!<2@Uiha|Vpdhr!`SiUM~S{Zfxs`@os+VGc70k(kAXWJlAw zVC?75yI8Kk*Y+5OxYjS_2uU;TOu;*9+v(pbDshf}ta3)G1~%(oFmq`Fph*kMM+*$z z%pY4okzJsJ7UB@vf+I#`!pSithVtB_yf{}FRBc7UZe<%BA^@P z#HJ_h=eq4qTEn7WFP8NgD?ffW3Mv_`(SKZMgNY{hN3<=?GkY+Xf9y-ECk7xe57)3r z90jw>2UY$To$O#Eani&eekWaR$?Qr-?7U9*OHw3k^qC=Jt-)_$mn#DdMLWT$fi7uDcM4mIZ`r-v#uhtdxyqnHh>GuBE8X`4ED*ig!49@-J`5k$z8fC zD3~^(8<&~KP zpLHH5?bUE06N5(i=*YM34PkN{!j*!zKy3k$24xl$iM3oetjhCVXXhF`6^AzDFgD~v@2xy1-n!YN2{BA$|`(cQd;?vP4}OgGDMCS=5$uOIEaKFRKE zXd~EbduBb0qxsLb*AYAj_uCWomJhey5Vv)J@3(`gDR$c`dUsSkdi*WrNY3y=nP3>K zkvnhDC*-Ag5VsFN4{^NI`e;FDu1EKxAc*=+nNdSfb##9?298+-5*IYm-{wL#aBVqo zUr@DEPGh!BN$PM7{YDl*^bhEtZsJyy7zIu@MB^+_Ch^2Ibe2`AXR(LdfeS9v`zBSz z;i@{5{hPmv?(;F>drFOQVYX1X0wi(v?zJxmN@dKS?msMWEfVJXpm-WpxD+pROq9NoBqwsyYh)4>k#TB*gE0l z{BnSJcGiEQl@1}$sve1fKJn=%g90<;nGEnOjzGKL7c?*XX|`b-?2pBpdG;odpJ*~< z(Wx7Q^xYHR8168Xtj1Bno^3mCwsLf|vEh3}E#>qp8~q<3{M}IEXQl4ZiK`26Q}C_? z=OwhJrJ>u+RzCGdg`S|VcJYM_I(sd1e1yF2NitEsRxBPKm|DlaMf4I+<;-9Qvqo7Y z=h-s5F3;r9mSU(9nviEN38b&hk+n-&Z%*=+WTiwsT(iZnxpUtj{)hm2t?$5t$;74y zwaa>3I2$BThL7><)Hb!#FX3LAL5VLXZAzQIO_0E622Q|7x zxJxSp2qx5v@ei;J{Mu!ASyPiqvPH2>0y)>7IZfh{F_HDN-zC0?qc+qwo#-*+f9{ct zBPb*HD)6F6(_H+!VW})o+;>x5gN_d8yg$rm*_Yk{{d-6L*3#Qa+|W6{dAsf?n9=kJ zNz65!Y$rV9`0kFqfI@+Cm1%MFJ*)w47mKH4+Ab;2)`<36!|Qto@(_eal)%cfZ(?P< z=eL>=y8f@ocHA|3Rq!r+uxn&W;0~-RSlz=|zxgnj@X~i%ok1HNK3MoXhyT}aCycVA zBC5ws&{3qSY-#~=$kvW}U@pO?^E$K*)Cb*RFfw^NXB(Gzx6Y9t;6&{6=?Nl`I=^!> zB2;VK+Y_grK`F3=mOb=`w-)to1?QJlq%~;zbcF41{eL^5>!uZ68Q{GZY(|n(U<<845R{YEdF;*S{UD?hy19VPKEV31b0qxn zH_m!?1cT{Ul0WWXBXhu7@X75de)!<#85hfWvi!->*KlbIe1p+H(=|CWKbcu5n0$Jf z@hVH#vWl!$3?+L>8rL^msU@cptVQ#kk8|42H7H8-`E8D{Emv`DooALZ2duuc_!#Ug zkh3L2R-6?gLm@(rRO}^lDs<#l=+p@HL}~G)RHjv0M?+j}aUCiNKHb|}pMW`X)@yd+ zKnkPMy(0R7_nN#6Cu4wjM-OT>1uhdUKgx+BW;8e}m)IL=Ul}e7(GoA4{9vVQ#kj9i&BiRHogvX7`sn)NBO17?Z3e;3_a8Ql zmd;wy3A?z*d-eFGW5a*1>S?Xjqr$7>l!>mlxZ6ccEXwZ-SClWOI7rX`MxM5IAk6uH zg9~hqWxdvg1Cg({R%7yUrhXaiZ!@Gmj^fs^>61lscVx`TLrSevO&`JkfEM19f0r}S zAV^CydMF4FcnOCYg7UJv%hqjJ#V^^R+LvVnQFbtDMNX69xfx(u7nV&2Y;4TaH>E!R z{cJBJ&+%XT>;Y`>OBI-Y=GOVHBeMIM;)1ypr}IOYrFw|f~(~~Vg#g&0|%!U)6&U#jc9v{rz4Uqf@JCYdDBT@o)3C(dmdh4 z3i{0K3>sC|wVX`fRLLAh#I7XX??{1MT4T7{HQV-}MGJO&h!t@Qyp?g1DlDN;F#2$; zmgjS?&TeFd7wPA;r?bRSIoO>8lQNI^z4jaT-;$hULFTB}Z(X=-C!IwT=8fzO@u-orF=x_Y!cPP)yaXi!m)8&(ALMyesG zR&^E}6f=%RF{~;k+tqRO-v#sX$^}D$4J~j~S?OPj(_wy|u?i`)gTj57nJCKbV>NQUHoXaNzgt zZE!xAYT92SwIU~0K?!t`wkAL7;}hMJL>Hk}G|AJWpbI{0ha8Lvw|&s{s1`Pmgqxp2 zFVEjRCfzSE15IiN**U+%LiXD7JaEoT%H7`9{#u7?rTSSRFztrJ>guK*8iBbwIS7%# zek`4KxC6ob{}mf0zG;LZWDFnQZ8syKop9B0>`)1(_9CUou3kGOl9yuWZ5m zSG3%ZxcE?4JJ>e{8eEu9r|An$gNrEOaGj%zmB~vc*BnbyPq>GBzzr8*-qWo#14wB@AaRJ z*8bYGipw^FGN`gX5^NhcV_eU*r4aKXuAQ*a&Wjr!uxQOki+qk7Oeg;gf#e6zGo#>C zni1An^D<`jPgO7vCNc6Z*LFL)acSgZ3nYHJhsZ!4yl>`nh^a!g-XU`}c!tNq$gnFm zsMQYfQ7)9A(ty1yn_%2)xz|K_KUUcZNNgS^DSm1b17Wa`H!&6`0eIVemGsraZ%lvA zVU}tL&D6k?&JBOeAAdYmfGw z`5EWU&&=mH<}2)^&=y7}z(%(91006T@u4x1k7{Qn$qy0+mt}ZPP=6o%jvuI7trL}T zD|#+d2#T&U19vG@WI0mO;h*X-9`Y$G@Id)>SVi-4=;sg!^a+-5?7&_zl=$HUBq?8% za;${dZS|&OeDK7pedlAO=|yOwdIS43%rF%`w>L;;l#8-JMN^F*g-}3xrmoZAlle(n zgdN^wH>^{8)?{Bh;=s8}xdqJ_=Jm3;FB8_$@gTZsRjS92T}Z zw>GQJubPHGiziyfu(tjZT*)IA^TXfdPl1HU6zbo&!#hCeY6w`ge-+<7IgNSi&!Fto zHaVA@HIZGJ6Y#IGjY#z>=+ukX56z%s5uc~6?&qHCt$!NNGe)DvRzmbxkn24EP z>mWYZ5Mc%{HXcnTv@7JXXXF(ar$*YCEHygC?F3=q!g4Ng@d?yq8?wVMMp?Zj>!&lOlYGJF$ zPKb%O|G)ysOCEM}<}?W&qOR9%>IYb;+l%;$!OVg7av)s3LMTtwfq<@lSttK^wvGtT zCw6^s>z)@=cqBOvwjS#*F%i6~o&N}%-`XW!97qkapQN zHA-cqb<-jB<0R1EQxT4jVB<1uYjuef0IVCntt?V}V`F@HntaNhR+90$?#RRCFx}vFehT7kx&!viT_{nQ+QFeW*kb3p6 zAuhEj7E-v|t8^yCO#<)j1iX*~V1F`h6Ue<#{L6UrQV#Ie`|#As(Iu6Y?moC7L09Jv z@u3YDukh;4J-TdMzSQjJZ|M-RwAJO7f{L={rYM@9sK#X+tsQ?9?~$zq-$7r5(Yq=P zfWyl8ZND$kB)ZW|+V8lyPn7?t2$c^%LVAXciod5!?bfeE8I0B4m`M2hxZK<%j~gsG z-a?95?WFaf`LsoH(Vhi-hoRFI>NnC*5{PO+2MJOWeLA}&P(O-pbN+Q9570D1jqV3^ z#0+rso2;``lQkYcB;9;-Y(cG*N9$7fFnjn`uyRv*XqtO}7A1z%Vh*LPw^zvb{*;SA z=eLKk^m0s+!lRyDKVN^TO%}-hQ=OP{q^=!B#j!GfJUSk{^6#mKJ*91JpI4TkwWt3z zkz>zXst{EYCM_oqrNNC;&g$vtD~wpZ5loO9whr!^PkQBFxLGON9|5Jq=}5LIA^I%s zp}Kd2x17h$U~_3~69eCcNcC95;0H@fG_PZ1>B(Y)7g4!h`N8O!A0xt$jTESYu+Ae1 ztB}ONst153q-pAsq=!zru{BP~h&@42Ui?sLvy+T4z5J}79zCZ}mQ|%;6u2GM!y9uR z?vK>`3xS*u?S(MTMxaR@Rgb?@5xIPp3I+*GQcFWYWp!Tv6vROVk~Sy~XOh6}lQ(jN zyOqR#!uqrc`9}~*e7=M_e%Rsccp_65J7njz=}PS<^OVlc>My=3?>B*Uea~sMWJ1Dh zf0#j^`aYYtqhKCLe1=HjZA+J>#SfjcwRv_?%(R9#{-kyG3Q(he9<7oBW?RZA@UOg@ zxm$F#tz5-UatHm98~PrBLjbp$PD*cutsPWgVD~Y~b1@`(*YSFDT(+w_U!egfcG-Q$;k>a(XcKe~6Bg1jpAQWC z9TBtypSTtP80g@4D^zjp7lL|SoB~`WpE4HT<5S88qVj08uPm^w%PjR#`g+)h_n8F} zB8hFH;-2ZH!}*R9GV7f@_kr`{$t$jdG26EHD60WaA>81rp#{de3#Gb6A-hTXNmy*t z@FL|Kj0Mbk#VKGvY^rXJG8ctgB``C+TFRA@z~k_*Rm_gbu$*To<^ zgCsr)D2ijEvK;OggHuWU_@BvagR4$TnP-lN!3VtX=qZY*djt_-=uEGl_*j1t)P;%( zrM%HomxOn9Eb-1}P60wry%-*-sVr)@IMW>D1|hkv{{ism*p(ycjkrN1>WiwG+-tnfY7YwJp$(Ri+m!l)!F25`6hh*jG^3mpbkiCy#{yS_A2@yIH z!*qcId^sRAt6Mozsd|i4HN3_XS3tw;@d702mYu*Rg?t&k!eI?gAt`JFZ=_E4clIHC3^RuB}$IuJ$5yu}cwNlX&j9SNbw z-Ory_*FM|NJ@+$fKDCWAYv;D+-e#KE%t5L4EF@gLkv$lRP(W@Ra`-TUk|W5?=QJ>2-3NRn?*c>(E~$W`6U;sU zG(0#vI136`15)_;`kMOjcYE=76?=W@&WH7b=|8aq5DvgXDa|giLRyuBt*A92fYY&H zr$GAWa_4I5}K~{GMuQ~xy$diNTaV&hunic^i zzd?an4J|3)!ZLx&!r)*|^^lfjU+q_WhqPZ|h(X?@Um3CRJCDrH|9wQ+eo1_52z-2r z@M{T^^kIQN0#^EVV6YjsdVPWIEA4>bZ<%%P&d<^ZsrX}JKd=@dq6VO?kvnK*OF=;! z#R4ZlzJGCbY90OveAcx&#H$TVSU+AU5%d`b_r?s=xcFlarpG`yXV~^t=Hgi zQ6+^-iFNP81M!QAzFk<)4wcCEDnPyMaMYs}U(lmMLoVi+(uKnR#I;3M!`it+FIAn<7KvGp7z z`KtKw%-L_~&qA}bmqo9(*DNNfYU&j~ALf8L!_yn1gYP^Io^U+M8#e`u+Wpj`kr|d` z0hRRH!_9%7)gEhJ(QgAm^eV#&HpnB#uqN^wbA9*)Mm$*Ul4?SSNJcIcBTlVr}y z*Df2KE7kw?Gs=jUpzuE)FCTU5t74U4x<2mnhMCP7SPeAn5@ubs6~eM7(}aobZZ#}qsEa9hI!2Wjm!+Rh|XGY&AhEUq8pjxE*NJu;#v@oK{4M>805QY zgUk!@m%VrA&36cA zj*A36vw8Oslc*Q&R(#TCP=pMBaOuzCrBh78Nn#!zpZ6+RX=x|Z1iFVsJj}VuQ|bo! zzMW3TYi+ELsK+g;q}jxS@IQq^nlXqMzcfXx%KvutDsHh~@E0fH9WA z?LmwNE_a(jPYXGg(G}_1d&`+v-6*H1@G?iD3E#GtsYEn;zuO-;5NRoF?BwpSs_}IT zbJk_^nAc#1XyJx>+Lu}^}D|(9J3C!aCjg;G#FrdWgLRc?TsLqHGxwS|` zv+Ez{Yi}ro^DmW^L$+E3J$iEb^B$ILe4k& zyW*`svpet8_Rmv&K_#o$0vy#!>&}BU(@U3w0*xA!7TL(|C>>77MFSm6m0O0FXYXrv z^4+1%Hnmhgy`>#C`l+~vZfGvfQA)D|+)==SS@@pBwsU}hpqng^=1Ui)lg{WP-{x&#- zI@Q6B=h|hjJOA(&xY7LVtjRW5XRly4jn(%yVQB4%U)LEQHJ3}uj8#P#xMZG5%}+aoB!OQuLUrla&M^lNg*b_i+}tO!>KhkEbYVx{0x zM?8s6)4Gfd~Zj4-8_$2^vp2TAUVjeoBCIGDi<=>!Z+j!{j~~r z?cMz<3q}2885O9_7n@3_l(((0A4#%xEU&%cS_WEZ8vd~i*GyG8q+U3xSZ`)u+H*TJ z)S7GsHDFC(oFb=E=LCehF1YWOy4t7s=&$**i#f9~Nv}T-S{eM4x}lH&aOQy+p^h)8vnz2_nx|ohZ{e(|ct!bo1(LiVSA2PM2-e zOHn4F3Lby&Rg|siCkdP&jlb|jJKTQ5B6191Y{gRRIzZVaBB?%0 z%nA@r%Pgll2raoqd`Mavh4n`U+N)JCy6&9ufR4&|LXfABlG4Ji4zQqXevwMyf#Dpe zX@>+FIz4k|7YjUkmJI*>NuV!wq~wWF8aaReD^J=rjcp>mJ0FADmeZDS%=?gXLDHi; zht?DAAV`OT2u$&y$iS}~oX}P->V_1o3)AQ3hsoqh4zH(W(-0w?{SM*G;p51+%7?Ly zFDS+31`=^koQYIo}m5;8F_(LV&Eyvb(Z>3zXx2;-Ze(*-=65;#$SZT zUnp@{|GDYPkIs@ZqF1os5d^VGea+Ku;X}GTF9n?LtJm&QaxwG$4$z4(9mFhxk1}4+ zMkRRe+Y~4tXzGqq%sB}#5BF~GB^)yxItN*Oj#JjY%4t6f+=^92uRlEXz+IiKb0aTX ztIv7(dJAJ|rpkfeH2THNPKN&Uq_=yaap1VCk!>#^7wN7jQOVlfHEL0iZ%LySR^H@l zhxzTUb!H*#1A{JXrkf96*O}<@okAB^yoZXG^U8_dxJFVrg%XYTGtT%;NIX0;y>fMW2QOSZeA2FRW{-%Dlm z&kr@D^>*|S#d$Rz>yXo?{ce)qAV~@ug7A8{bw!x-_M8OrGqSHc9lXdqjvHFI3`+(e-J?_XawTvq~fLdnvn!7WC{%v*?8=BbKaw4rkTp*qTy-EJHuu-M*l`-#$3-O zFTx1V<)qkObT=*O)pH5?Dwja10udUC6X^^?iBZG%5Y?){esWk||7OQIn5HqPW&N+C zDQEt|QIC<_CaU$qOO%M7Y~wK>1Ur-lFAuui!#3B*lp&p+f?cST)h!U^40cR3!utv0xzpd(F~v7-h@$v|h-nXU#fNr2A?~W6 zeh`Q@iFwg%c}HPaL1FIcR7Q% z5b8`#LurR;?A$y0$CUA4ZziGg zRlZ5gn;b!2l~)})l@_+03w2z_w)E;pAqewz4oIfNFeuP{z7V%Lg=}lM6aPAega)Dy zfA~b3FT8mRj40pa)VXd?W2o+OO_ojdlc68cR=?cAw^hsN$ynf-t}r&hUtUKzw1h@c zw0vchja=hCCk)%aHajO5!&9g4>yy918-B~n~E zc(JjCK^Sc#q3eM%>;rP~5R^jp!~D5}ut9#)uQ||JC00GINA>paq4f`pq;7DFk3XE;--gVcJ`^f;TF2CGgo6 z>ZPC>n(w6+hVJJyw&9uIo3{-VTQkgu@hM+e45e*D0`|rTJM{Cq zEq*w<2p7_#&z8dVUs8ip!OK)+vfbQKN>VOR9wVuO+~8kk?ySC7T26-ZH&w6K#veEo zJO%UX*Cp?iv_T!UA6Y*3i|Zcx?9ChuCzjid1&8G_0rvURRkn2{{~RMshi~B8#XHIg zu)TD@afaG*X}hl`TB`55hF@%6W71^&9FmTB>c?P#P|&2%72vh;35AU#ygpY5(Q_9d zM8qQod9%2ZQViR+)~1tmO~T8=KeeB6*Q(YQ&P;qZb23r1k<9$*ak-e{2AkX^1bIZ0 z2fmyL4DPr~r$rkGQxn&HoCJVv(3>^ecqTi3$BC9jie1*f#@AR%oV(AA#%px)P(;79 z!sB2#_r?Wlgu*%mZFo&++VZ3gVLMH_J*qj%9O@36P zF2TW>RY5%p&p!Z#Gg@Qp;+iBZs}Nj3Y$|io(sQ@srrWb_@~Btg&?A{j<`jeOgAaB!D#qA$MM5yi2d0r+g(ct!nlh9t+H$-`!nSpkP7$_!)2=V`)gnep$k$-Zz$T7wR=rCsPwdf~3nYWYQ9GO<5OW1tVyr85Ap7M? z^Fm&7LQ#Io7tAD8jq$+W=<-NN{88G`HKYZn6~9dK`_7tCS@2w<$LF;GiS8-EqnfU{ zn$U46OrYY*NyER@4@RTP$~TWnEcTW4YOk@A?3RQnDdxx`Q4tZ+&h%qwO;vLhJ}7Jl zEpBJ(ps$YhUdtS4|40P6tNqgiAg-D=YU{PgS9%MCN}cVql(FROw<%DINoo;gP&6W{ z6(A5wj5M2Ya@{3AJ)c)+YvJKN-PdpATu%Bi)OfT>QV#ox4nQn5^%m)mx!ofew>Yus zohDqjXYUYv8uhA7aVYqroGK_LC@k(~=PKNkyXMYjS+HAqLM(tv@~B#T8S!;maTcIN zRdgf2w87Y6IBEB_Y-(H|dN3wg+2{QIvo+!~hPsy(4}+fi|FsW^&oGq#**aVm$UDmF zH_V(*mNiM4U3fN-6f_`;Gg5a~8m#aY)D6+I65=91+G6FL(l;@|mZE?t(B)tX;E~UHFmu*;9nd6}_TBt_9Pqs$oMI`pJ%x>T?-_JFCJ|7d zK!OUKQi9|^G2B1t(r{!`fP%`-YDRX^7!RV%a>xy0VWS(x4g=*jg626cOEWHZB_#Mu zS3>&jwD--wg19Cam;TkhvHP##K5r{Kd#q z!uxAyI%xE}%GJHJBa{4s(1eRmYmmNt9neWE72dmIi>ZI=q6zBHE7XqqVhJjo2_lQe zlao?SxgF(ytcqAknY-MTCI-PS&To68N1G0*yMKT}<+)lIl>n?UW(-!k#aEkG(pffw z?JPyzeyV|tkOsGZ4-3=Xa(PwtZg>l#Sj1zL&p`ZeValABYy!=Cy;r!IRtrYof%D%+ zq;saHP5~3lcPwfXG9Ibs;G(zanFtexm&=gwbPr?^RpnB(YlC)r0$`l3@?{KKgkF2- z(-a`dKRWkjN?o#}6vUagxQGUIwc?#;dXWnBKM9W|L+x#zm(X=0Qt(P=YE!$nLuwP{ z|2`FnV@%g2Sw9$bi#r=yt1G4LiqhI=!9sqI^kp-*_ON|#atx7Ch4lKz-}*y5OA6GA z9`SvXuTRsC+^dj|-?}t324|mb2dqn(-xh+Tq{SfvMKugaw*+NPpOmo*22C9ie^rK! z@YJ|PeI8#hPX^yox2_xE@4Z9W^uk!ao6XepnV>NkCF)%VKk9#S@&*W5(n}8fNlpZL781Y)V0LE~0_v%+E|c|=i!ZjO32 z2(^4aBO@hlTcArEsI+wv=O<%c^cZ`~IM#=r!R#rQ46^vKM++~D((UQ)IjWPQ5hRx- zVX1l=$VL`z^y`)%a>&Vj(alCIT~-{F0)OzH!m{V!Xh8n>O2;J@{G?K*jw7WEQ9}{a zorpt@3KB~`GpL||ST79yc|M_XyMAirBEUOIuMg`bbogp&mSL%sJf2_ zP*&|ZRaN=^;-#_K7oo?Pp|)nd10s<8{Bq>10G^9qKSz+_w0BxA2N#Ya0<%Ewx=6Xx zqbF9WYA_wvKSIKs8FgB+w$HbTkbK?Ds%YL#x!9xI)hNxibi?DwCwu*3CWg_hnw3x) zpw5ZQZj-=FE=Kt`5NDvN%+fe6ef_ejgaX#2Zsq#HQ~WJ$uPY3{2fHP$CxXeCqyB`t z?aZe9)FkoX`mz~Q%E3bl@#N~iMz12o&ebd+ba8gss3VSe56R5;3>sM! z5HtG&!!dO#WjJ4#9;<#;IKv*29Y%NsSp#5QRZwFj=9UCPE4!G;n}VG6*yLLM zEe{cI&)?c2CqAajrqCHy)5)hH#z~HD{ks_VQBF4)2Jy<7XgKSiZ@)mY`&=IBUgO2X zmJ`#pvAEP5a)p@7HKUGm(hQDF&1ulwFI*On0&}%3CS`fZ>`s*s5)524q#6-S-LqQP zzD^!ARJF6?D^ss7`jnFH`>Enn#o2DoPItp5ZJ&v}3&2k$3kYOCjHj*(B&i>b7JEZQ z>W6^@Aq1^w*8TkMGD#oN17~!e}2?(<1Ul2}QD; z{5CS)ix21yDV-M%^Jc^T;x_QN{V;_BDcK^=LiQ8ga!7k}X`b)dHUH^~-@e{4o$s&i zk=q0{VHCvvyo=V~J2w*;^84*)P#FZQ6$#=IJw4g;@)-oVx)`8Ha;L(njv@Lk_kJ_x z^|d;D`BkUK0zQMAheRqLbMw4_lm^+sa5Bu@0Sw)mY;@v#%K6Z7DcUwcDlaz~;9aX^ zAjD6Xb}HMhJ5OdQIlt4g_E)!_!QZcMY^d}7!PDHk*CIjiv9#kIQ%JF5EbOZhR@fB0 z*TcUc0%(mhAE`moLNJ8ejb#?WkDAuW5q6K_TD+S*x30*mfmS%1pK+p@)aCesj8kd5 zgo>57Mtf2mWq3$EB4t~oCqcVgJts6>eZ3bdgz^ij*vX=sinH-LLjuMNFWf=z6Xw~x zWq1-dI<(6g@hjE0TOJqn<&+7Fb9VC#S&w~AB@%-vU`!yPb#+?~+p(b4Xz?g7kAB$; zv!bp)Yb_rBtPOu%m3_M4#)7{RRM~?(!2$40z}#7b`a-ECH!y`0K@Fl_A{J}L1Ffa_ z#&hl+2ZTLTtPpEe-TtmA{(AkEnVPGKs19kW8oirxt5; zOpt(PTfa7Vl794u+FF$bRjqfHOi4UWVcns>7EUh;uXJ}&nOkHNzo;PXdOz`S{P}=^ zC~%)6C;1gV(;{IQ2%oLiF=4Iq0D`ccCTen)P6hRB+2wX1noy}8vvm0{xJG?^T!r=1 z;J!e(j9B|)vYsFF!)AN`dWZ8eByagGs&IS@lgPiwnT4Mv`5j{#BNXDTaTf0=EKz4K zeVFOp9cKJg#Od%I#ecSVy{!l%SjaQP=Gjta=6Z9~G5wo4+kJ%U5xb?uZuVv0Y_n(U zUJmp#$L$T{s;r~L9MrMo3Bg;ah}&qJ%}D(~F%)1SKn)c|?tFe)U~iO$wZL%@<(EIY zs1w(?%GkY@iPcf8<;@w_AeU7r6ex{UL7~eC~R%+RWr`{whmgAh6cD6xp!S(Lac09>uq87^gRGZcR)3GNJ zx$uj1m99C)trAvmvGVIyz4AEbAy2(w_{z|PQbgX4Oo_D=o7|3c)}d^G^FORCi3KRhuG zXlnKN0}uhEzOMk#TmRulKx*{{03FE1&XbC|`tNGdPF>z%j|HRaSkn_Zc?~%1E)7r* zHa!;GtFu$DSkxzF-IR{cLqYm{KEEaRTzvw=6N<~Vxai;b^wd*S+q9da@IAPg%Ia`2 zNSAqXaY4Acx~t(OmgD2cSIzX!5)i0g?x|cdH+){DGiaW=F&wLGS$5SlX%&_iY(8!yVJupxaHiFY2GqoZ#~KQYWAkO(5xuO?>udnZ+TwD z*EdL;rteyJT4uZ4CH$89OV%V9h+~^g(|83&irXP?9Qcv{`1hqH-t_bsvLnag%xhYSf|gltemAa zq^^m(;J;xJJoqT|LpUsGtN+F*#K@Uu#qz_nbv^1kBq7Iq)zm&$AFwa^bq#T)OlZA8 z2n^*&ko*)?ffm8=JK^p-eXK^y#|@1-@YyQT%ZYMBtb#Ze{#||C&-)1bd&FOVXdP^J zV2?$Dx#7W)pD54`Wpq!_r-94thQ}i2vHSdg2(%&ff(A&Vg3sVQ6>JDcz4qJpX9+QG z$g;Rl`+G?Y{+(A!C!OH-qz&(OpOXIr+2g+z7uie(q7U2^p3d~Ug zxD&&%DGR6yy$ja3X5i9;QZ|WP9952 z2y)RqwJS%=#Ha{zMK%=VN$GX*`Cr`^MXvLg-*GBtY#+%))q2g}+2pvM+!tAx3o7#7 zdCk|)Br5pkJZv1xF#F~-{Ug?nWi0-sp1tNnW)hkFa@el!lVEd8<=*(s8qc%a4SL>- z_w5Gwy!{?4T(;Mt=LA}=@(0nEn~vUyh&#zO+T(owjP@c%>yPg+-`Ms7@(Cr*xl!~|sux=e*1snqaT&$^vI{=JSlvO}; ztHrO>pxlr z2+oyCdkv6-=3wRK;Njp(^}PlV{4dD82DIRE!7)o(IlH)$uye7&G0U0RTew=1u(Pvr zCw}A7fG%}(RPjgA{FiIfMqTL4rl$Q$#*^uSfVYs;P#4_puSTfwClC}2u%lzOLVmc_ z=FKn+d^Puux~x+dy51eVSEpCMIJMP8BOr!gtDBWHa9#panq@30v(!cTb_qWk$h62^ zQRb}k6P3ox1N)n2Es~Vx)CVj-2t!y0)ar)%Ktj-o(dbltk|XeyNukg?h(qFr`jke$ zZqXT5dgP^$Ci&z|Q zKz#j38Z?OCu#jC%v2BnXRl`n}FK}4GrAUH-ShL}h$V7q!fA)K8@JT_{Gns)K*$P-w zrmWad(N5g)VN<@|?D#)i>JZ!rI7;`uE#73hD)R<`o}{PGKrO)_w>F@{`>oVo7xc!^ zV3_C?cmtMH9jxbJiI|-;vv9{nbDqr=2(mAw8)mT~=Bb3!mI9P5FC{f4+6AN}x`y@I z@YN1~{)ub9sPLNO{Z#ot&jC(eIlEk;1i7Ka_~QW!aY<7-5#Bc>vcp28`imCRL9?=M zUC5eYlRf2&*Ce@T32s@vn8m^-uX7l5Ov)i)5{g1EiX%!P;|?RW`A%vJ-A`i)68P&? zwe60o$$K0ssCqQ4wjifEXQ}?^AK%;DMl682am%Cb9S)^zp61-jM5C~4r%~;k5`ntJ zO8IoCMY?78pWRzN<~8)S+@T2NJ|JMo4*Kb3BeyHV5-d+IY%lu577?I=%Ms!Xrs{|# zk3sg}Q|jc$B9>{9apKtB5}q0dsvAFN2`0&fvmZ+5InZ+zMd&7~IAr2aw3J2lp!Ft6 z+|jRI+St=SYQt+}3S^MeoZ;^|W4ztbzf?*r1Kg3084~SG+mCVlHcQ{*q05f9z)(=< zW$J8KDPy(_OJ6M{wiG3&ag~y1$22}c+r#ab2iGacdG+igqe{znRo}$`>5&4#boyxv z8uO%;@EuWe0fu0ER#Ienpwd4&`C{HIc-*Wwj^ziEvU}`@=zmLpmNFs%ginM;VtU8q zdls%A_&ycBOCNkV-h^7ZxY9(kOE1dm^2T`(?kJOxpj=9e0V8i5MVTx$NIlhpejy?8 z@|-j7`JxH~%5u_HYU@mT`{b$8+t`gEQk`(Hh{;U>>bE2*l8rXzXyG_9%ACW^h z9Ny=|_a7Wsd_OPMO;$Lj90ZLBEoOb&K6FW79S2;3JNV_0-BlbcsQynOQYD;ujD)WJ zt__0l(!t`!1by4Krk1UfqI0;L{;$bn9xPd%x)^e6F}_48Ty|^Ve-TOh+F?$JuGfwS zZ{U6FX$kJ!v=@5L;iw_`Fyi! z47dd(gpH9cG$taG63-L)(y1f*W7o+F&7HdRyES9M8CFNpzT(r9y4`VQwNM>7uj?M2 zyo>R7%oVvu#sGF(2yQW*`Dtt30m?qgNlLqCTFq8zW>CQ>$Ob08wXc3(YeVcWbW-WX zsU;#b5#ic48RCr2o_3zj{9c|bcM=VDQk>ORrY@gUbL&GwJTaS+>Z> z)zK6Fh_i={g}}0_xU+R)oz9G47|z%5Y-~oBpl#}t!G$N%meGr&<-|JXxR7u{+K||X zP{75o81qt&s1<7h$%X|(r#m{Hf8@oHZ|0~`?N9nED4~h&&ZafleKJ3eT~#szmC*_+ z#fl^cvX0&}RS3Za+#Q~KLVaG`p?0Mvn#5c5^k)_M!cP69RaA+n!}+Z=9*vf-RLW$K zGGjd>?PxC6jFxouwm^7^Z_)x%Nvuf86~NsG3Sv3@b7H8_d++MW~TMD!o3Wu$I>j5nS2r z=!Wjf<6$e-r@-0u!qSd4_ZY{Ku;^tvZvBu3L<4bS1*b0;R8BKhTh^Rp&{n$Vac!yS zD-l)eH>NCKU?K&@5~z!6fj2l^!46&Jei~9+nwrTG#={=AQPMDI)Nvr-N%YU^ysiQI z+&Q~=6n{kp{mLTtkmjzL?trkZ*n~!sooFRhx06?#ZqIQl5;+Dx9u_V#;LWL%(8u5d z^a}Z{bk~+1XTE^cJC_EI+J|C3l~!N(USbU{SGuZ)SHyL9YgKqZ)OUVZ_zLrlw~s!#QC$nNA34Up!I=`?P8LO;P?mH;R*(EmmqCB5CkJA2U9u%b=TcWAi+*MVppl}Xql=d+(G_Aag6MnXO zIXiWDe;=*N-^$C^wl4b=D$4i3|IsBu+8rZ06PNq_bwW$y+BRkkrnFQlYfz}TXr0Ju z-DpslAh|GcT2%OZQ?i(v*+9_m7NExa=9j3z8v#AGkULv{;7Xq@+|S&YP|fKB+CBI% z)rkAD#7do7E%40RwO!Ta)a=t|vNunB1w0J@B7FShJQEUpIlb(^Cysq`-`ZJELnd#zwDia6c@nwq3P1iTv)LCO%&m8q zGUwL+Ub0tF8LlcCRisIJf088vjhm=EV5r%h%}oLP6B1?)R$olWXG*x(y_lH4I(jUr zaHAu##!rh9mhXUI?5X!hnLC?o8!GxK^KwlA(o+K#{*gpL$US5^d z{_4rm*+s)E#rgd&M4X&IiQZHb=!-lGn_7GPYZSh|M>-b`bXeq=u^p zKJPzU-$&zq4d?AcVFnE=ffd)(qg>m*rO>HVkrVUVk#9k4n3P|P#y03cK4bgvjlS24 ztnO21B0D)xuvhJ9*!HYsNw{||L)_G|_$G&vpU=FDW^ z#ron3epwEVZtng^CLW7~f=*RhcWcRO^Y*LHAsI3jw7Ti{nFiKV$XmwZWb9`O=#h`y zMl+25V($0Qe?+4OK@T+Ae{^H_9n$KAou;(CE|_u%5GqcKgxs$F0y5m3*L!FmCxLlT zO9Kbg($II-esK$aMF&r%HrbO@;s>)<1Ipo2enNKf8O%Tw5e$(qJ6oHlSjExw%7!ols z-Wp+Ua69al7N?blgl=cG<)2RYGBwTFkzEyA=7SGd9rGM+y!2dO>{xJ7!+Q@YIF4s~ zZ_QHsb?aCi+x88o_hN3~&m6%&$ObZfc1fN>a&HuoomoH3|Te7 z;GX`%UroxlR_9+=c_ZI*V`4$6pYN`Cr@eby{w^xMATE8+ytI4;b8{%i zMIqV-ctE+Ck-4FhtErp0v!SU4a8T04+0fA3$<@%*&DG7sPJyrzpe;U}kZzlii7{lf zMfQxgKU0Cov4`LPu71Gk=x~&~gQKZqdeX(5GPT}wPfQ{tfp-B3aj13OKk(|f#L)6WyrCwMcE7#J*tQsI{Am!lL$l z(ZZ@5HM^30dW1f1n(yM;a^gy@jQHv#C!a1&!Fu7#N_s*`ZYr)`OFDDz?>{5NF1z0H zQOf!3c^NU4sU2n4vl}b+e2G#~_Fb>~spfk2%snS7Q&0Z3UN7_W*Xyl^3PL`fGPar1 zw6Hwwi+<1YzK=DzdqjE;9;nEceE<8{@e4opnC|QQdywz2!Hplm$L;x_t1F{K&GbG0 Rn1r|tEe*L;RbBnvxB$OI3he*@ diff --git a/RapportPresentation/ex-rapport.tex b/RapportPresentation/ex-rapport.tex index 76f7387..1d015f6 100644 --- a/RapportPresentation/ex-rapport.tex +++ b/RapportPresentation/ex-rapport.tex @@ -102,6 +102,8 @@ Le code est structuré de la manière suivante~: des \lstinline{types} et \lstinline{typing.ml} qui implémente l'algorithme de typage bidirectionnel défini dans la partie~\ref{s:stlc}. +\item \lstinline{hlam.ml} qui décrit les~$\lambda$-termes creux, + utilisés dans les preuves. \item \lstinline{proof.ml} qui définit la structure d'une preuve et implémente les tactiques. @@ -146,49 +148,11 @@ On remarque que l'on impose d'annoter le type de l'argument d'une $\lambda$-abstraction, des constructeurs de termes somme et produit. On peut alors vérifier le type de tous les termes de manière -déterministe avec les règles de typage suivantes: +déterministe avec les règles rappelées dans +le livre de S. Mimram~\cite{SMIM} et \textit{très} brièvement dans le livre de +Landin~\cite{PJL700}. -\[ - \dfrac - {\lstinline{x : A} \in \Gamma} - {\Gamma \vdash \lstinline{x : A}} -\] - -\[ - \dfrac - {\Gamma, \lstinline{x : A} \vdash \lstinline{M : B}} - {\Gamma \vdash \lstinline{fun (x : A) => M : A -> B}} -\] - -\[ - \dfrac{\Gamma \vdash \lstinline{M : A -> B} - \quad \Gamma \vdash \lstinline{N : A}} - {\Gamma \vdash \lstinline{M N} : \lstinline{B}} -\] - -\[ - \dfrac - {\Gamma \vdash \lstinline{M : false}} - {\Gamma \vdash \lstinline{exf (M : A) : A}} -\] - -\[ - \dfrac - {\Gamma \vdash \lstinline{M : A} - \quad \Gamma \vdash \lstinline{N : B}} - {\Gamma \vdash \lstinline{(M, N) : A /\\ B}} -\] - -\[ - \dfrac - {\Gamma \vdash \lstinline{M : A}} - {\Gamma \vdash \lstinline{l(M : A \\/ B) : A \\/ B}} - \quad \quad - \dfrac - {\Gamma \vdash \lstinline{M : B}} - {\Gamma \vdash \lstinline{r(M : A \\/ B) : A \\/ B}} -\] \section{Preuves} \label{s:proof} @@ -264,8 +228,6 @@ l'~$\alpha$-conversion, le \verb|typecheck|, etc.). Ainsi, on propose de sauvegarder les termes de preuves puis de les envoyer à Coq pour valider la preuve. -\bibliographystyle{plain} -\bibliography{ex-biblio} \section{Répartition du travail} \begin{itemize} @@ -285,4 +247,8 @@ les envoyer à Coq pour valider la preuve. \item Undo (Augustin) \end{itemize} + +\bibliographystyle{plain} +\bibliography{ex-biblio} + \end{document}