From 97bba4dd4dab1d3a3867ac42ca5b5fe5fe0f5dc6 Mon Sep 17 00:00:00 2001 From: Bertrand Benjamin Date: Tue, 27 Oct 2020 10:22:15 +0100 Subject: [PATCH] =?UTF-8?q?Fix:=20am=C3=A9lioration=20des=20graphiques?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../2E_moyennes.pdf | Bin 45676 -> 45761 bytes TST/04_Formalisation_des_suites/CA.ods | Bin 20845 -> 17196 bytes .../fig/CA_expo.png | Bin 10844 -> 10865 bytes .../fig/CA_lineaire.png | Bin 9791 -> 8870 bytes 4 files changed, 0 insertions(+), 0 deletions(-) diff --git a/TST/04_Formalisation_des_suites/2E_moyennes.pdf b/TST/04_Formalisation_des_suites/2E_moyennes.pdf index 59e988ba412bd3ed86657f16e879f2bf501e0942..38f9f1743b4430e80f76da376b6d1feada57cc54 100644 GIT binary patch delta 14797 zcmb7r1z40@*ESZOg9?fYA}FAwG)R|5d_l4gn>l zC59Rpq#OP+a+HqvpHGHS5WP!r>!xmuL8;Qbd+pif1bB99=j2xxEeJhK2S7( z@7ioi)h62c7hrOP10hPY9sl~Cc5_^2c>pO(Pq(^xvsO)6d~s`iCVA$DjLh~3v!qRd zzLS%afx(9?*NK)m<|wD3ewUd@esj&{ko-5kl3U*!8j>?Ieol2|XZ>svof%J`L09EC zY#vEmEq0za{Cw{uMmBQhx_Q|;zUcAe#{-*q$BEG&60r#h@-;}HFP7S>IMci{tub5> z*px3@QKpybkJ z#~K+Kt!beek~ENH!;|)s4qUmtu+=<6oi5)ybv>#)9t)XU`IKHkD!a>fWf?VP;it{K zMBAcx%aMg|GDbO)_p6U)aTbuN#Vf3i3YIxfck>saS%n`heDn`vz*X1OH2koh`kv`Q zeC({CWpDKMhDlL&dChs3FSzZM&t&fRmQ^*+@EIdtj&K!c*iEPk=OXLV`Ryv>E3?CH zZfEsqNKf zq`Rlb=rQ3gUQ-K>#H`OpZ{J1u>k3L0W4Om!O zT29l$Q^PxTUMhiAX=fF5)^}G_N$BWE?16 z?sqY1ig>fnTm433;U(2$b$5y!XVTKsw|{t$op=3tRW{?srBMs1BC)R_Yx0)@4k8z1 zN9V8&bB>Ie>nkg59Ub-BW$S%2#H2KDgMt`Eg&n58SCC1vn^Z=-Erq&wOlwg^rX-gH zj--@lu~VT3%RNIlbms$@#x%_QmqP1*u+Dbk*NGdzg;p>SR3~g>MqsAR} ziq+!HVcKm!H@V6K`}dE0Z%g*%t1U!+NYuVl63L3NSq`(0qr6-4NW*z`(2KTSv#P4f z!PyjBAEcUQX|$~BaG_4|QO=wyMJ(IqLV~0Q>SIbu;9|bjK>z$?gq_CXh3ub0ueg@J z6b{YJAluq*p^=dsxLP_)=gSF;kGZy(t$KHS(Ts#quYK}5PRz<`<}{n;&44vzbyfDI zTBn%vT*jx3sm( z>0N3Y8q@~XMgo)r&xD#eKq%1jR{JSW$#a#onRf)urmoGkDoX~X8jhF>;FLmnrQKG) z$`t+tU+0mnc z_J$U{=2dnAISqwr?Rs6!ux2WU^N+`e-8Y75*+jp^Q|f=u(C6Jh#g8*%yU&1|MBR4y znEL*xO#AWWFNM`TpF<0z4&~;Giij{NN3n})mAbAzK5%%%`%A7dGwumB($dv6fx}VL z(hit+w7ZAL+sWE<-xtG~IbIlMaYiYn&3vOX@sSH@yWnA_W!oGj?odJfu;cUzVZo4q zuCfg**Rf;A(9cTUHy>TpLLpK`DY!eEL7U(C(T0YxvHOjfrKP32^DkVuVB8eZ1rOME z&o=33PtQ<#?qaMnJpDrf>3#nsFIQVzyS26TzJY-u3c}o9Jt&(@tx>7t(DL=QK-VN} zTXWjoYHEUsa5&t|tqzEXr^Q8rpR zguMk=#Oh;!{p(J!9T~DB_3(wEy0D^z`$oZ3B_5Z7yqEG~VqmB(|ELm^qm`eMlES5h zDl6wS(b?=1IXT0ROS)U^WHUe7xNqOS`h2qZut*5vy3ZbmjXoZyq%?6{R+5u@87Nw8 zJC$eHhwDt2NBOI{Ow(>Iv?{ywe_h0e=#ie`rsL<=;Ls|xOVsJm;LTp!EGW1xEiL;3 z&2uXOF<7IXG}IYhL@n_d)*fFxJGweQ7Wc3-Me8CXy0+Cld^H`}l;2u=c8uE4x%}zh z*(S}J1NF7FX^1cIB?(^Zw606rW zIWJu*oGD#zW6Q4&*V!8XY-u47&hXGk3*)i>N12kebXA0~?MR@ei01~ER0^5o#!nyJ zPK{eu#Yag<9?jJ;H#9Vy(?rrS7_Fp{f!7Q-u!VS^bD}x8slFoAqu@3@^j!4T0yEVq z@wM@oEO$%GGnUXch#iD+lj?9de=8{|skp0wRyzEOgrjYpCa%lz6<>N= zz_yIz)GNK~V)gd3afnJGifnD-Vn5M65)v6a1a~nl6i1ophDPX)7}Cb6%`e$(p4tK!$kLj!v(D#IXmkV zSbt6vlaP>LWlc;?O@05Ko{1?wDQU7khz-Kei}akoBQ-U($CD>MG{V;o>?e8)$Xe=` z;xb%)?4iD`?fko|9-O*J@kfr7w6vwgMGZZrC^2DXW-sD{MBG(%0nBc$u7-x9=#kpl z;TpEiV{-EH73JkEEiHfp7cO25ivAS*#Ul4kke*~pYU()=y9YWt=Z^hFbnoS}XV1X< zX@#ucWoOTS&%FQn^XDRm=}Rmue(J@ht?_ATX<=bugB4zsr%$tXAwqO?pA0fRom z9E!RjFf5NbaP1@NjrKT9){kWX+#y`N!t+__u0s;r8}lcbl|FJ&vfs|I9xR7-AGx^X=jC1UtgEY& z4`zp2=vAY!S|_3)D=Vv@z@Td<8wkI6O2&ugjeaWc6Y)n25ANN&XJeDet{g3)!~4+1 zWj#?Xft{iO$}l!IHls#3gm&L@kYa=o4F$y>U=%h*<|x>q=%#*71CpwGw@z= zZK=l!ykCHYg@u<_H8`l;cC4xKEsqq5jPLo#$jDUW6aXNEv9nH>!c6V0$d>>@_OAz*$Dz+-j`+2X8K|5U2OvT=grDTsyFt ze-VxAO6vhQ3%G~bziu|eXZSTU>yR6{uCwasAo&|n&W&32 z=eRe6L}z6PZ>Q|Nts>wvtJQdpf}E?6p?>9q1<7!Bm?-;iOI4fjI|{U8NS1N?|2b?O zGGE-3GD>t2MZoi4>mn;36tF7Q zlt!*~g_TF(WYVGaF@yv8+wc5T1%EoqpNJ^R|A*gWSZKK6H1UupyuJ5Z*IXR~Vb5uF zR`m46NIm8hg zw?@M=`+?vt_0>EQ$r!`Y;$pGIxTBA3Z4ukwmy)Q}sBxB>`oMt$ke~nj>1l9vCWW^d zHp4fDq(c}gS3dO0fE7@|zO<4O#$V1%#}V&c()elck%lKnp8+tkUAiPB2fG9V^Miri z7bi86+mnjri*GT(3RAqqCj4A1EXdEfxt9K}aDV@6#pC`2V+6_UIym{in}l#~a1MgE z)8FXo`@#A*5&TC=wPU}#`gFS%Q$KIyI{jc~+;y=erW<*|X4{TUT08Rej8P}|mNq%F zQiRj^d$0Zb_m`KK=UELX71tt#Q5;UwkBT~Taz(cP;sGbw$Y)5?E0X}+gI3Pb!Qs4w z>ut2v!-pKR7jXXefAiGG6PALyc5rZTvH=R0v^%*ko!;2j6~bfG&TMnMn3|gU{{6On z1;2U6mry>he|s<2yt64vT)WS@uh2f*xUmJnzg)NfT(M%V|Hi!|?nQxK{>=DBa3wCi zOyXhp!`)?XXDjaVIV6{Xs9$9TkAC>c{x&W1``Szo6W zvAY@kubj2(5Lv7=O@LV$g@xUnohUb9=ed!H2pVw2>jan?v?i?X|1?z-2Wj6Blb7cJ zL;$qNzmaE<083W(+tt^vT=}QU;7vrtn>SZsX+n&zKSy{8kKaux3ZW;n5));sKdr8= zcDFn2oazH==jqlB!5jkNiX6MyVuYpc%3nJ`RzUzrO-)TXeMQCBr}A=g6#hsDlt$S? z5$(PDgB_{bF)=X}MY4*D)8pfGySZi;=K?}#jw6gXLTCcS9>jMZBEolK|2x)AS!Rdj z=j8lZArP>c9ar%h9zNx9{i4!N@ym><{U_sd5HQ0|aK!x+wtB+%c6vG9;qU~*MM`jeBj(2II~n)(?W_YC=vCr?|E>Q_4-omMmZrMqYcKky=$3?~yy7L8mXZ+e z<#F;MfEkmM$Rt!iwY%u;ux}XRiLDvRvCXx`tRLJsbQvd+by=F0oxA)8pps^5XhX!N z*m3AUL%OGc?8`4_2mIld_Oit0+WNY3q)5=NIgQlbu5tW*x_WPIDp>n!M{Wg|K!tht z9j|Ry5t(#f^NFA)uKk5(q6Q&}M{E@d}XkN)1? zyT4*p-%QgssJgoP)2B~sYmff?sb_qA{NE>;EP4yRS)#s}krMT$n^Qz;H3ngaYkYmF z_-?o)K8|5HKp!}ZNOuW=Glv|aT827PQ(gTy*KSsQ22PW%TVj@bXF6VxdC%|JcazLc zj;Z|L=9sR(c60h?`U7C!>JYZ0e-tK2{nPJ##{81Nk`_Aw4g0+W+hJOCEUc>^?g-X36{R`;8a8Z$w=cuWZ zEenhr!=UXt{zvVVu2bZ&giLi!KErjShVz?K>|v4wN+>JT06I2)C5`Nok`f?F zNSY&rrS^8Eb+pNh^LNrfo74%YnVkI&SCmg@2}O(FQMdWcU*a#@%v11$_X&SV|mi&3N21N0afG4v&~k(I5B zl?|wVO${9b68GiXSXb#`vh$|~=%t={pA&T$D0Mp@T%f?;r1N8k1Dl_px3ZT^iWd`_ zf~R>Np=^p2b(|ZiGb<)MZFE6J>py_1$ z78cNGqHVDfYjWGijvhtWp^q_=#rXR*1Fy+LFVHUJc-ZvkPCZ3)0&Qy>spzytV2HM% zxs5%`PcrYj+VEA*Xr>7@4JgPH- z*Qh>TFvD&hJf|DgAIJllw_RgI<*RNkUG#mkH zL97QAmzZd}@^cU!vAA-)f#sT#wByuw`Uc*EXLtIu$iq9Pm8hH4&e8zJW6bk=TbSeF z3AK|<3b*#ZmmI_h=#q}f&v1Q4D{3iKj$FCu@pz|QJ1cv=M2V&?-Ax10bsF?EY6xCT z55#3<(P(2+S`9L9rttCd!qa_XF910{lb4@A)040K$fisvh9}v=wXvuITF4r2su-V& zMP@Nahc)MhI)+L7i-vk&u%TDIgOz?o;hd3P-kywtn`QTS>K=&J(UfpoTgcF_2nm&A-A=+0Tu5J|N4t!X{@TKXzo}89T7puY>^QW9;ytL_c@|x^ z&ElPUs+P1t&>~{hbkx*rlh-*vzc|TUuX%pT1!&N3F*5RIlT%Z!!>o!6F=zN+s<T*CT$x(7) zI&L~u5-tTJOB1^Xbb`E>1^!JhI)2%@;6V_}&08$b&o&;c`W`Q6-p=6nRe<=6zj|iq z2{nEOwVJo@-_X&Ylv3v=zdXxJZ^pLDPcC(gGJT&)=(Dfnl@C74d%sjME1~o9*cQca zh^|*e9iqszc8#)m+h(<+j{oE79yY&-5FV0?dwFLauP#2Nsk-af822O-@eY zaO>ai`?>+4G}!@nB)Qn8Rwzn*=n$b-*D3`Pf(uz~aG5C)yl~;e^yI@4ASLb4=x&gA z;BpP=nVD+}N++I~PCue-nKOxUzCj`4^zzZoaI5t$irI_|ZbwH)XOtxHi36_l$0$XS z1sYW~HSC-#Tnr?DT(|WlXd0q7r%Y7+-@g5BiSNrXZB5fD3N-4{S?VsZ8P2?4)1BrZ zgWm)}%jl|0_}41CiX4ZM%gYWwPf=yq<2r1HtNR`c3@l|whK91@xk^`t@O?$t9~G9f zpxJoIpMSJp)Da)JYy!-ny!--W@ZouD4!UC zxxC9M9(I|V`ILRtA2InJ3AO(Kl6E(g%*=1LgKZk8BM z@{0NdK<&O#L91Kjkg9+iJ*Vo0)hi%QH5OktrMH3JGrz#I8*wzrncjFJ-)5~>Vd zynN~3AX8V8WeR92x4a0f*Zf#>h>s$q1MG)auU?6|t=Y+(HMXkJRQ{}E3N`9BWZMC! z;n%N3b5MX_h)wd^76EO|Pw*#59xlUX z{w`Pp*P$28BXcND63hi?7n4hL&z?O?!G4==W_oRH?V0uiRNNE8DR2sqHVIJMCCJae zcvy1fvp=Ie10R9<)Rj(agi)oVvwMn``#6o#aD6c-66niP%qi zkV&vKYFd7c6d^;1haURIL_JJypBx^(IFnBh1<(pF3cS3$df#{Fa^Jw81MCMCl7&)Y zqw@`E)ZM1Jqy3inAoIb=_T>6W5LoD4PMa3cYnt&Qa%k}m4GJH$qH#ajIp#ugs-Uk1${jJZ4?l5t~J}kD) z1i|K#964eneBr{i^-!sVCJ%8NokNQj@}k!q*=hU zLVBue4aKykW!>-I?WIp`odkz(0p^G%|JeSp)IjCQBf zB(%$t9y=B(@GuPR2ldo+{Er_$WN6)T`g+YbrcHW!&3o^89M5koIVVZBRB3-Y$7CI1 zJ~1&-Utb^1@~Y}WqJ}g1M4KtfX}QlaE_<_{E!_^=qw!CV&t0v#{$Q`qn%EX8C%6n? zt&o02On!0k-8|4?QQL@8q)2-bFcgfcYMTzqU*SNvG&C3)q0Cm3?+3&n-1fO+Xseo@ zbegfwvaQ^_>vKtBLbSjPk+w`WWI>*;tgfyv|N34k7n2X=H5;b0;B&lf`mFx+i~MjG z4bHm-evy&WgM;r~*}f&Vav~|WGs~;0un-bIIe$urR7VjTAQRgcW?O6urk(rJtaQI z*Z+-f*`au|-ezriCfz;HdGrgFa6T(5tLgEYcprq0Q8AzuG%g!mY5- z6y_mx2p%EORMN72nNr4Os2YPhe+8uS*uGP=v|Kh5Q>G!zOwJh4U;G+q9xUY%mPYUk^{Buglb4;kE{aQ_r1@EtA=~Z~`T&oYeCeAdw~H4ZGiKKEJ?}k8 z`)K@q8X;b(pRQoWqUM*DI1x5BHM|S}5%CZ)X8FfwkGUlmcyig=BwJ!cNC;rSa$@wj z!_SJhzl1K=gjf9 zCPcfNi7cPJ{GG1S-+ps*6Z@29pw3}Z?96j&WRz}o>5a_!6OKl%Gasa1<;2vApu5Xf zsYj`q#f_Vz8W%~eL+){%yg*8Hh2$Cy(ao#R4?ul*4*BOm_Wc?k<$XjnPx`}Oy4Vk^ z+@LZFG!?67iSg#GuRLNDsB$B;n(#eKj6(4(!kaS;-nK+U)xy@pSKyTjzOEib<;=`X zD7`_W0+`lpK&9(Wqit7rSn(%$`4g9%gCki@)zK*+s*{!!tWOi*%;zr6(sJ zIdUZV<43>pr%#_kPys;zl}Kjhx8`OpQPCdb?4ZEFo5bK~Ou9R}V)~e#KGT^#0Cmcp zAOe-R1%j4VW67aIhpt||YIdmZ3rIhE&p8N+Har-Fpub5;0d;ipEJ7WU1(uBs4X@w0 zk%WY+s;a^*15*Y|XZ;O*ozC66P#ZwI1;Q!}!vuzeB!s)PwzR}6N2giJDJ%OvfByCS zOB+(6PeNX#s!&*E-fnAm29OTrlM!4tHZ~><5A?xM&?#!_h7xju0lN+YA#Ls8K%$GAe-Sv`=Px?^z`&5&a)+h=m&1MvuFHtZ-zjT#8z-?;N?DK`9^V{V!EjPqgO%wazf^+zEytK<)gJ^Q#Z=4e6EaRB3XH zmbH?}vbQM7TOoBNJ6G3NSx)BAgnE^?lK_w*z-Z6n7MsPQFIJc6L5{yu_Qq(6UB$$BI%Pv1;@8~FLJL+wz zIOIw2Rf{K3B+B0?u^E1rXAMF-(1NNcNV$PQL2=pvyPFMv7mvhOS5+}GF;zD=E6+_s z+0X0=y%qSg1`gbViHT{lgW;FcB`1diQ3J)gg@87Yq51jCOVd4ZuW*Bdv%mvrrFMWk z$r>T;`;Y$!@%0wDltn5OFs>ranw~GH3w`n0}7tyBY4i$UdcsKApX1E9WvF%Bm(GGCwt!7e8W3nNrUw&P9Z4y$uU zud1?4n$K%Vz-UiM2nu-W`}bp_qxBpd@*0iVSXtj3y{n_6xQjrF??jJi!zrNEEfmo& ze+v2wOz0dubSTjiX3qWy{=)1G*-M~~eFqVkU4G2r(?9z__pPg~eeUh8?g$(|^1{dG z7pi0k9?@1&c>|>>=zE5vKm^MH>(UJqQtjtp+~wkh3pri}JJ$J3Q_pTu<8zK0q;Fp7 zDwy?)lPm^r{qp4tt6Ka={s4b}gZuX}C_*H#gkN!_$b(@;Ningz9102w5j^*wEj)#p zIqf@l0+I5MA3wIWsqZ=Mey|(qc`+7G4Gj&|?_a-i!#o$ZAq0y4LkADmK4~}OU}p~u zgE;?%qHw@eDBc#vzg^A0opJA~t!?%x;7V^I-y0h_goJ>b_1*RLRwu$WVvBBt?jYA; zOPZZ{L|jL&?Amk>@_z;L?&tTe-8)O15c%Fb!_|)oZqOSLWIuM)48(`muNRk=mS$(Q zik&il`Bbl#-Plob0|SGh;bCY4bx|lv3JOgX75((zAzWxn3^dm=t`nIl_dGKFJI207 z@_{{AxVf!CMu2gG_wV0BO3g<73fL=-P49qbmd)1E(gH3KtOWCl^$iW#f<=BL!!$(y z*pQCi8a;Z6lQZu&dv`g6>v+eA?hC@6E%x^bdniQ+4FV;Dtv?-S4cz1W7}DICD*M~1 zO#Ik^rq`HDZ8w9lfRDbu&A=#5xBo%_*xh(rqFQUbVnDfm#WN#A!!vDr@9o7yFNmIm z6j^lo-vVMj^uR87#n0|oeMEQnz7>X%UEn+NuZ)WADNkH$s3|S^xTPI1pIPWyI(P{( z$mK%5eG?SHAt6xI_E%I~1QS8ZsXT%$y4tn*B0n-dwrhP^y?*<+Q6NOeNk2>d{~kUL zPBI>q>l<0kBV2^MgzPL!u^T+ezk>(8^XATbdx=ss9@t_T83@|ClIv7PC&!x(#%jL} z4it5JlGnF^36R&O|L54G8H!uV>bd#) z_EzkoSsFd+ufe*oysVe=;7z0P?-<+z1~k`RI@UZhMnvRo`(qawzL=2iZfUP({9Q!A zWxyl%{GX-AgU6WY(-}TXWEY0SwX^^vOI((pd3m{jMGqc?zUf+`)_+SGdl_S*g;6#G zq=i82%a0_pv7qCimFF7bq zOiX~L+AYP?w2$b_*geu|b_*{uS{NrNSR0fwHXaRRRci|aiUDfmy-G*%o)v|_#DVp7 zWSzk3^ueg`2oBfN(()nYhO{)y6Yt(RAP`R5=J=|DcQ2~qwC^8`VJ>MyB2@$cAws%v)z`is0kv~xV zf4Dn52lvkTKD|CbSOmk&hHIjV1)uy~?htUlCGz~u{5_l(c#My@TG)DE;!k|P3C{0e zLV01gszT0PcWj~q7xn)Aqj;6kqm#7@SGv1APwi$M93A9~2_-T^D~I<*tGdE2(xp%v zyKMVQ_9`zE!Dc$7cNeiU@5j#a-Ylk{?V8&yS}lC@Y>E4F_z1g1b74Y~p&mCCBcPNw zU{!AeqJ0W}AFqiow;?6QbaJhoTWtub+VSVB1PmfnKz=T}HSOi7UU@ipXm5`;dL|$p zo3wpCYBQ}+jMYI-#NU^Yer1G47V*1^PW_3k&5l0a}_BvkYt|6!$P8o5lX3v#)OxMokJ& z{(WM%E^CFE{b3mRoP|M>w2}UYJ$W!6CD$in+7g?R!ru4d>F(8M2?J4g=FAxLYyoJT_mf&xWbuglhkGZbvT5^I1iqhn(boAMa^^=o_O z$3Xz8b(oe1^UT}s zi^+PqNeCYV6J&IFe8FzHtzFh z=jPht++5ghL8}UX1#tYoCRtbJ%sZ)$+PjH)-*0sQzIm6Bi8#*mL+$_t5<(0{%vn5_ z+%?@G;_!GpjH;;1_xAR#nSD%5v~j|M=mgU~U41n*CbL6Tq_o&n?R+ySp!3BX@prv^ z(fay>K;Yl-KEneeMKIVuV_6VvZ*trE3|1*JLi7{VlOy&(|2oZgAhy{%)%=n>qA5;K zPtVC|3A4gx#V~#q5fK43N9QX%zm9sTGfsx@&mxNHu#J;Z5P%;12}NN}PFrRWmtHA* z5y)OL!OBr$6Id+vXMG_byO1|JL8&S7s?rMdd~F&St`zP3rvB!n-@WqdPUt`xm+Kdi z@2}8SltC~Dw!VmSguf3clF@=`qL*v5?dNV|va(v*+ci>Ih0Pkn_{{eBG&E<=7Fu-i zdZ9FhA#=en>c}(P&-#`~Kju~rL_4oGYr&KF=o#yg+7mUJ9g+HIh3y^Gw5`hZpkDb&spNB8|bOPMl0%I@#E8DXvyl^FE!iM z%Xs>n!{&kM-x5rJ?#fy+I4$h4_1UK%ChfViA}&i7&d!)ZS<66Bz{MqR>!?V;SUdug zvye*y+hM#6{(fcvo)hbmzA5%KGiU(W-UQdQ4-j*c7b&Fvkn-V6#*drzk>bLAukDPX zB!WDa<5?}4oc0>JrNp_{@7ZA#_ljAbh&oy9tNL=NR2c{48e?R9>-i?Yr_SkW-7c^m z1pTH*n;h<(4EhW!WD077@cd_|V5UlQ32kB2M@2z%qpPxR!g8czbYvv+kmS$4)T5R!b17VpX!4Jhk&Ra_G;miE0sq*Y+>}?W>Z_?(5yJZSc$R zT7_y&(4-*o|LVQ!(zfVeb5k-5N#K_Xn)(&l?|B&#Vm4O+Ft(`vF&IxT~Omdl@SNJjsBcrtPjeR8l E2TE0izW@LL delta 14661 zcmbt*2Rzp8+qZ5-rD#%!Wbcs?LYdh!mwhFKtnBUAlFBMBJCvEdx2Pn!gtE8n?CjOW zdtB)L|L_0vJn#E?KhOPfCtc_7{GI19zQ=KVkHd$tzh*}N%Dq8!fG_j`BU^zZ(TBgT zjs2pd30&Q@9|(T@j8=S8c>DpaN&JxyX=g^QLmFBuJCEf}^(ih@ky-K1WE_yddJeot zX>0s&D1MK6qWRwaYCx#tk@ACaT`1pB-lO4!mwB#)8Xsh_nT2p5C+7~x2 z%awK`s5EbVdnC$ryt3h)pCi}pzJ__B0LMAkX5qE1*d5&Vgy@7%-29wjs67dH=zWqy z$X0j0SwlunRZpR%rmO4Pcw@}kZ0}lXypP7|`oHSt=v^9NlE9X)-bNnH@x>!vlF z1;yF3wVyu=T73JFS4TrXE!k+?U+&z(HZn5O(9lpcMlTnHS$y@18kduj^>6PhDxj@RZ=gzJFsv#4y>ahOt{=uO`hh*9A zSV{R?4WzdX4h~At(HVnQIrWP%VZFsR?44(@`etTk@yK==wGQjr%1U5RP!rP7pgC~& zdqS<~d}ZRC^hY}9?Tv|eo135ScC^!6ian}$X!K%IN=mV9zn&xqci4#rIt{W;3bdE; z>Xn~QQGLOy77fpe>;|g>sf5C@SGU(kLYb692$SEr@j7(vY)QBotf*--^$aMN^5oWEM7pFwXW%ZE0w~FzA0H<#&LP z$hx;!x!Yx`EsacU`5T5+lY!Z~zx<}SjNVw5ehHiQwd~W3gFZXBHD=W~3~7KC=#5R| zc)eZ*Do5OY_)|{xc2BmUsC@38aIUI_Z7Q;b9=s$!4*FR{%0jyO`}#;}#X0P}m%qz7 zPj@J*sD#JP47{t*OjU7^@!J0Fj?2`~;}g+Ed9v4Q`nP`rYGsO zFf1c1{mx^>WB3_!QV%w*yUqUF$(&N!6${1m<)x+2`Chwf9Mcx&si(VpeOa0YiT(@c zH{%y$MJ&HKAhm{;9bwvP1_qgxeO2BS)X*$y?={2P3da_$_L#39nd7}Qc&DE?fM(OGl;q`KIwyr1Sk^iTw)J!y zB4!fG(fsP0hOYCtR})iHB0j&}gp~{yDuX@)w}D>>@Qv8XR z3A0k98eC;NYjY87G(T+lYU7=LaF8@^@D}!YE`w6Ft?T0A;`8s;;%ZYB$-WJv*3mx5 zM)K_r+}3=xTo5&De=5L_q9Wi#xO0--?iC8Zl&`jNU(FW2Y0nFT6%Hij_o$L0wjJ7wgi}fTYC#$Qg=ZD&le6|5V z$^J4UI%8`1_5mg=tgNDz)`y|5?CRSR^rk2eBlee&eVe0Eh;Rrz#m zyI)$3N{4UsvqIJl?S|xdnX+Xeaqz0s%qm)%9sSivb)~4|_}7}9_yY50y*AUjpbPma zn_IE3aRSP85)x>Ia1PysaHSZ*M*O+dn5QXos`KN)U)A+5oxjNy3fRspnzt^TXA=|_8~st5HXXMC$h z5dZI@&z?Qguyr2o@~$s0vF#5@VTf4mAro`@saAWy5O6w8GqtHJ&!jzs*W|N~sUhR# zjOt*2MZlqC>9X^0HFYmDSgWYa}ef85kXZN6Hq{T^QG(-Gz$1n#B1rS0Wa`Kflsn0Z<< zP$s&d(AQN1NE+-#_s+%5kO($s0s=45LG0 zV)SioZEGp37P0I!G&Gi$miav>v^OIvja;|n?b|QCz50|9{9S~^q|$P7)jQi;`9b_f zW!mj&k=sv1bUU?hW)h9j0-;v3m6ca@3smF99Sk!Kcu^!``OsenZymCbc z%UFkPFA2dshCtphDa#i(V<4`#L1(!#)$U?$7<+X3vCd*vb#*oMi7^yPv+lZ_!4Byo zQ@~~Bisu!4My`FO_C0yVL}V4qErx7AUhmXW5hxk66JH`FxVCtmn&5_bs68(&a;?!A zgq(4JfckufDxJ$2jQOh$w!1NWbe}2A*n;`0SVpX#`=k7ekOtIt64zkqO$}vQJ#eyF zg9N!?ns=UdE#X~VI%qUnLZbTFX=Vj^S=lEp0w`4HeoVh=?!GSMP*pvg>N;yG^zvd#p?uR(W-IXooVZ(g<3g8&r*Ep!*z=X%(I*7hGOe zCf{5v<4+FpAC2IO&e-;q=0O-r7JW!*UXm65oRR_Dx}6-U zDzTJ&re7e#z+$m3^8>Tf(-n8y)0dZ>mkk=O&BWMvh0nTd>#A1rsC#;k;fgb_72F3j*bq3 z#G5y7@-xrGiFp=-FKC=QcP=s{Bmv3hU|p*rlVC7nIepu!zWfu3nV0(K&NE|Uu3|>p zAGNVrt<#r>eerhS&$o~upAf)}-8mXSO-R6eUy}&Cj{g~+0qJ42Xz-6lWGYtvk~xpY zq+Q+pR5!wH$R8e$dHB+V;Qbd~mGk(Ws``vC8o|SMh>f=36}jB!mF)nUkXo76$(llN!GTo#~jVBFsbXdk9(!DJC zd#$G9K}eJ>Ix=({Rnah@t61zDL5ZiWQ6Ds7XIbMf?7n3z&@ z3+^0Pd%=~LG&a{?;TWDo{}_Mfk2BOCj`kT}+dWl(WHfzbrvJZr21w*11zb91araIt ziC@3)65JX+mwF7d03w*GeyC>OT8NI8>UK3#QEtWrGe7(ARxUKrUYv^~SHGlP#M%7atXy>F;2(#L3By zj$86uotH4@(u~-d$dQx`z-#5Qs4m5r-mvG0_A|xi$>Qy)cwP_E*C_EhqDoS zOt+q6&q!J9-tNLSA9#6~3}@y^210n{Uy z2Ygk_&PRA%&poB6GBuP8;0u#Gk6+9*eTp0G^6@#dVP6NERhuQvFt6*;_D>Cn==BUPRSLK z%WeM%#e}Ywq3o-glLi zzkmN`U~Z1&t+|Z~K){n^gQ8@j=)3L?EsWGr3EWNknyam*cG3F>RB8AAw!|sw585OY zoO)-@pHCxaVq*GSTYK^!@9!%x4?Z(KF`;M-*%<)Q_}3_@{nzX6zW(0AaP830(Dk)* zqAu2!maMzpjQkINn=`_8*@%MRTuuWk;jUYY9s}ipSw~?LL1d5djK3`YF&X0T=Vna>l4i}h~&5mrDm2z^D7hXx9{P979C8l;AFS2J8%BRdigD#vy zE@(vo2)}nT{2PMqQTBY|zBeh{KNY{F7{7$WYdY;Wu2vg+b9>zf4{cg;nTk($t+#{m z(=G&Fnm%`$<3VuI{xBdYn#29*{>JpoOr6Gt@_1>`YAqLJgyW! zUzohlcqBDBIgLBHwZgPMM2{w?^t>RV<{7yY^8_xbUsE-CA8)O*v);p>j{Gf%I;Zzg zxg}4$bOYJN@OFMx-#zj@v=JdX0er0WKu-JxbA78xB z#gmqnmR`Ad@fu=uYuFbMDZzl1D3wq}Rn^tr{yXWgvXT;LFjSSA5^**#`){#}MbjN` zGABZv@v8JvXWET2fAF$MIqJWS2{zirA{TNc!HgTiIsJ}PrBwD+x;sKzPQ`C=;?${- z*jQySmB;7Mn8w@ABDccm5UD2z4;^CFMRhE!uEO~u%;d`;;e?W(9!zZ4!n9KfwRH;a zD8s)oD@P}p_CqYl&E;9aS5wI;DSr&}sDA4KU}PYr+k|iq>4JK`t*or9g~i))V<#tm zRe@CbQxJ{>{j(;p1XzzIwUg_`4e~+ za|Nf5QVH1xJbh{bC}d#p$|<-mkjmU%?%_)xyk&Z4st|LWFWL)6;#sMw=1}Kx3R(|V zy<2RcG?y2V#G{EltjaXJK09qx;ljzob8iiq>u({BgA}T|dIv~@r+Aac9}-}X{f?nA zuu&myW{oPbB9On}LE~S!oni+gJ`Dc>fzCH!=Y@#~_VJiyq~QY5p62loPGKgg)PeUp z(5TxReEi+Rg7pqW&}=WBT=_4d3w&^qPf)O3pLGw@D%eCXx?pC`Y4`}Xk2 z2-N)UP_jLJ`n0dl;BOQ53i<)GMSBKnesQc}KgDn{fq#V?Dm<$^wwuSrig^kyBp~}r z0gP#FZDo{5O-Tulh?tm|021j6JG=iLl#HdnzASf7MI|UTHPxl@B)zOo-^*J`v;PGs@^YhUA4A>CdzsiP#>vBP@IitHpypc!io3p$k&zLMacOBuzr^;! zpCEDvpy*e3fw||}9H$i#5m8D~(ux0G)CB+WA8BJpmOec_y|=eF;a`7+gocKF#BHrf zth8ww85sc^vprWa-xfx}q4Q&Ch}U(_ph$XxZmKEWddl)w&|J*Rmu~`*oQw=BNy&$; zer^zVE&#l@rYJ*M*iO7AoHq{zW^Kv!M?{bXc6WEHgqJE^ct!jk1Uu%4%G9B2C@U+& z?l4t3Piy;=bB;I1qqVh}xXpZP{Ky)P!XLC(?%mST!ccPK{N8pdrN8y+9Bus(`yMq0 z>=T3&NKBoOxfAFL7iB>(G=GkGVaLyPb*WF-QQuKLIVB~o9vGOm{4s=4u_Fgfd*)0Mxk7+AZdp^etHL$scWyHclsD{z{(Dogbxlh>rFdQB7nw-nv=cg(pDk=&x{i$dmCKZ*Houg00h+H9~5zcC0 zo&WUgG%G9X_wV0(iUn`ICs;`qG%BV^m}BXBW4($OV1|a8+P6}B6X9kN@2ANWbP);c zsBDbctGv}p&}t6@oXjF{N-1@sHUV# z6t zzrMNDqmMLQfSQe5Mpic6u70d|^inEW-gBqJVF&J(n5QmJnmH3)m8=Q9V zosdGVlpkq+*y*i3gj3Vd)Ya{-bYEh)-d}28V<~A}2k#n98Xq1`xbPya&*(;TV`EsW zH*Ry~(W6IUTj4-aVUIdbwb?s5h8{BOOWBrcv$}W_CAh-x#{BCn!bw_tQ?@en4Uo#$ut)^7O>)8QkG!}ix{66k<8--EPnXCC^kd`&Bbj{hL9p4xf( zyBHm0ea*8j*3R6s%(aYTm^fnM{O4}Z)tP~%8PB!;f;F18zB0l;NEGT$!VH~@g9wk# z6{nxynvw0L?}>7v!ouKbVgN+QR_|b25pZwS>$Th*wm$(`?FO!zZ2;RVvAqynz0qhV zD=qEh?M}8a3JC!<_0gk8o8rXSNdSaebL>iu^(r3t7J41Q#B!{{|V@P zD3C`raea=>-V3!9uV#>MIbXhfd2xApYj9^9s#&POV+tKx_3n-Jir*6wJ3|;hpO3K1D1G^@4-cD~5EYw^1R4J%ubpk&<|Il{PcPa! zVXkf_IlQBz!!yJOx*7EI@-@~;5wq1LI@STvJ~mgSMUs+|bQG)Crmig4E@0M!&R-sn zGLKVNTm_2OZy0Lp(M)&?xO~-0mK`8eL#Ba35RF*+D2seG@P#dg#||GpCurRTNQD4# z=3PMbxsJy3>(I{n_h28>RSh;gi^CoLX<-2!i zx1mGM%%?~#mq10XR)KkuK1F^vQa`j12pBZvvhLp6Tv@>0w=7n=Z;&32y#)2t8q9BF*KybItmC3b`1 z0i1NU*47v)$RIQ4eby>ktj8$(6OobE^aIWkQ{Qc^td^FSG0nXaI~%IqsnUI>eDyNv z`Xt_?i@c^^UVu^C4@)7}%H17g8yek8CQ&MWK%ud5OKh*3bf*Ki%5j|&U1fl6&-!YF zRbgnTPs^&r91>2A^PCed`j}@@m*nH)Q`KFeNc6%{8+S=>ebx@?h5J8msNTWZt(ZZU z)b`TWvE+Dbx0;oCDGuvHZ)hT;7regL69z!HAP`HIS@&g%&TJ-d0vtj$&LP0Eo2c&lMYsP(>%BO=eN6ORe$S zTKbD{;jM1-_?s>Xjh8<{oKIHmve`u11wV%`XAIuzepBq*a{Z=Mp8&4MhdT3_zLr|B zi>Ifjj!xu^DWo~Xq|`4w`Az%`&45kk;^JzS*r}X}Dxlds0!E>tq5^*1pMsuMwZoRB zx!75&Rznk{S)l{#z4nN5G(|&LsOW}}{$1>O(~hC
|gdtJ(!anopIM-PqW7Mh1P zTQMVU%FZI(C$I?J9o&7L^w_aiz})4Be*7po%Z4C3c!s-oIb+Afq7#4M*b}bG)y1^L zR>S0H3+1*x2U49se;zWve0CHHRiBN;-3TVF_!z&v%slB(z1m~-ZX@sPYwj1JisAzf zC<|>a+~dLD<3fme)2qqEWqoyZI$%xm?{3Ec_Z(A{R9L8WH(g@&NKgF0ne>c|WYeYb z#=G^9`51$`p(TRr831gQ*r-=6WDL<8Bi#fn%RgN(*d!Zp?j&R#B*440rwl?`yT*i@ z66(4KPh|-#*tX_?U!oQl7nPVo7fED-5z>m>JB^fba&=($&95fEkqNu~dhJA$kdW|| zXomqh4`sCv%-0xjfINbRZC>^_e=rOJla199YNi= ztL_d?PKD*b{oZ^hU%h#}L$$hvM1Wk*Y8c{zt<-?$yx45|ArkT%1|A+=V^#74bFr=i zL;QX|{;xV0S-l~@NY1$U%mQ*BiS-X;3?rjgJ@_7(ngG);?;aVSB5w#ZFT*G$tmduN@n;RnHs`Fuc9lSsgCoK;B@J zsZz5n)FxjocDH)Q{A(ny1C`Oun~VbSUW@W&X4-QcMhMQin~j-S?$ov%tv3TsiJO~y z?9ON{1sW5VJ4#-5`sMVGwW_su14(Ec(e&eWXi={rzkacBbECNA#Y9L&hD9dVASNs> zc#egk@V=S`RO|XTDYCS|xgNK!F$K2xPzb-YzwPc?SqYE5LEDdhc^MgbuBeoEVHeaX^# z{1}^>?0GAUr?j>8%)>(@wu4oMXf*AqQ()O)AT?TAT5|G~l);V;ZDL}-&!1(1bjRu> z_IbjlSFO8pp(=?Cqm}SM47Ov19aExxxDCr0CQFi&ecj#!@O7}P#lctrP)*=Zkkk_s z5wTr%&9G>-v$4raOiXkNd-v|$qlXU%Jf=DKHnxt86?Ik6FoaePoYL8O1>*8i5)#go z!OhLhjim`F`(DF?m6d%pH73A9^cXI*QW12WM!aKv*5(K2r>4@Y3<@p2LlfDQ7Z*(@ z022pa#!i`G@?^WunK#E>5OMkmxd$c!vI~C-?&3%vZlg*ab@eyd3O8=tz*9#oi2(xG zCs6`c;YoeP#l;ZQfPS6pEor{J$;r+h>f>N(nZ`jY=F!&JnDzGU)4gj_A>+R{mY`AV z;_3?0@Pa^vDJ&^rr}y+bc7FKhPZp9E_V7iR&p3GS;El%j@2}|s=Y)R|KaCki{js<6$J_qqzw4FXrrtgSSu->j6dyU=Q(oo z3KllD#ib=pG`^fpPS)iZ)qKu}MRa-(1a{gg1YID{Q@}ZTOs!2h&?ck(3k*j`M*$$x zom*O4O>W=jAYWvafpgA2n)KhP)9ZBoRM73c5Cq$P`T8{=C`fzS)XYpqT3UyrZSMI? zGJ^M)X|3yqtto&FfU5qk@!h+3fuE|C6gjdhzR$T=dS&G0pG6=M5zBsIAAtc62sq~N zyDJ3QZXQGP3JV*Xm4$`+rl#2>!`5i zzNo8WVvJ+idPNGUOnCFlRG$+AE=I5P-VgvR^tN>M^w=1WA3xsG*^j_LOKo(|DOqs> z0(x5O3CM!ao;^F&@c8j#$azZ!eMDhgf>TLF1JR+!@jPzT??PXH+v-i5S}3fc6Wp{Aa3 zjYvimBZ^B(^fUHXT3*F_h5)_?2%f*O{r(FvbifEZNiq2MR(W0gckhc{R@~cv@2Qpd zH}8xR67Vd(k#mZzxediyPY6sWF)=dAH$H#<+_E(#N{I;|?e}jlu87^YJehPsNd3dZ z!+-qvk)NMGK7I$J4~bq-P*6*YhWtkX0f9d{>~AuD85bA#;>AT085tSKcJI1-d3ovS zQSJ#?@X0ncIY=~7HZbH2X9HAIFJHdwDWpDqT59izfo~-IYJr{7(9pn)0a^U>r-k!P zZEbBtTKeGL7FEm^6S<}CODTZ%P`zLx_Fbp3t*s4+^V#A(>+A|@q9*tC^}T-m`cyh# zGn&`Xug@1qKe9g#K#}CtwR$&5a?Zu2VI7K`qK8h}xi9_)6Puwn2|ez{{a*K63dZ zk(J@#4+i)(`Uy z*#>1A^3{7bicCG3oSfw4<^5ym9pkx?m(81?t~9%@Tn$VpaGg_6bai!M1nOUUFeCMc zZaQRS2B-1`aZmt1@$<_N(A3m~NsLkhd{|7 zHu(8BurL@sXliQO z-rfd3_=la6>6z^TS*gowJjO4L5$^4tvH-Hj$I5@$D{(d-LQhL@|0S8&$KjCNmjFO$>p>MI}Z!k3}k z$yC5B-iakHIK3N<#^P?z+E24VqsY?{I=T<7=i>JX9SOH)#w?CZLwhnl=Dm^K1mL8he)CL~+} zqPyrJ!vqXA?mNgaaFD`DA!cS~7_Tx6i;JWA2iW=w;_lqJBP%DDkpa*SjCEnf?OjLw zz;nk@2QpchC3ABtMatO#<+-?m8W{IHWqBg^Tgu?yR{956_wRs*`JUz8o}Q_Zk#k)dj!801%D)=u2okvrLvi=EA~q!%!4_9>!PoV<=2`>a1M5 zp<$7j(8+?#spe=zj0G?I13XMS?&1;hFF>krnLT>!m=-%^olMNk)6M?879#>8f{<*k zeP^8iby5Zd;rwsd)bd>*N@>1o%T`~%ci^3;*ww2^28dCB=+z~BM*i(Ikj6B~Z~OYU zJz;4t5slWWr}SpObIJD~rUlb)_| zw4%xX`ae>YA6k2<$^&FCEC`^*PyBoGs=Ueg@0pIrkNrC17C}K>76k=`Dl`gv2UJ^Z2dqtnwd@$t=jWmDOj1#JoRkep$74mh^@#WKfe{rFyl*>mNt<5S1x zz5QzIvZ`^by$}=b#sa*-_@+G4)zFYpP@u^QqfFQ@Uw-UiWS?i-z&vo33}nDz4VH;s zw83In5ePL|Sy>?oW^dqIX=xW!hku8h!J1`u>z+c^D_6SaxuAP&V`mrf5sOurJS!?H zy0x_ht^I$L9D%#lUZy(HpGL@^@0`&0gfYPt=nX9_Ks!EA!(vu`hDy--9%65=Tj7$W zH#{@*`}Gs30xD3pckez2GPzMqObiBmZP(NXimW08KjC>&1qI4u@izXUXSzxjVboIw z7?7a@2M(+a(H&XSEt4aj5WhFuBj7#=lNuoL_#Xy_hKh=cSz^z`Ai_gA!NH*vh=P3Z z(IY7nlM#aQzGXyXqp6?RibE&&2Z(uPWd%?2ovuJ>gRWt=k&B(ZVC$OxtEBf;VPn!R zj*h)xMX?pCeIZ}HhCUvuP@nt$p-ke-0hkrc*wo-U4yh8^+)YHHd$zY{nBmZBmVuhu325AQyn=CLaI#rh z{DrpZBizbXfufMzk)P>tYwzd)qgAj|%f5K3^nt^p4yrML>N0uVGKXY<)?2rJz-+AL z8kTK87q^>GZB)H>eSQ6EYF}dX8ZjbVz@!?Nc~Ek9`}+Ph zpaaOLuUs@-TU>M?BMa`Ya3#asI=Cmn(C43p(t@MMbmy6)2U72M(#N^k%(Q1GG>?@*00USY)2P!{B07lKc@` zL*xjT!Ig^-&2-$MMU8Q- zq&3F~sm|R6mg$Z;R!ro|+JVWU{e+E0(OZ)L5OG>8LLVbN>|tVKAM)_S35&Cnm)Im~x&s|l$yCtvhLp6l z@eqA&-fV|<6)ix;t?6?OGX^uU3d#kBD^eb59ABda6g9Hj@Z~3y@%qKqM-Csp=juv!>=U zODQ<2F2E;!U0C)CpR}w1kASp{kRZRbl&q|fAg>J1bxGmtlHwPy{y&!(9_3atvo&|J zxX8!H6MFJ5R^)7>JfD<0weNzXQHbA*$`g{85}y6+{YifR&7rOXgd{wL1X6dNL_c67 zHzqtoFGb>Bwetftn5OSMAI9dM;6!xct6tRG-^;Ai?8UPc7Q>@g^S`aVwQ=-{odxn&6(j={sH6r7APYyZd{VdR~{JvD{>QvuZ{oQQP tOB(h2-g!eATF2pZho-QC^Yo#2FX3{hP76@IqVA44O zH!xVz2Q>*m=~PMrD?#SRv+Yzg-EWT3UX5QG z!_uXN&Z-vqqy`~DMIpiDj5UK&8FAW4WTX4YLT)1E^%xFmJA3YROhL-LGfoUYK9my~ zA*TxbB;FVAJXgCPo_t+%si+3LVOObYs`8NGxVOs{X%@UruegA&zGBH*a%)=8;&IqV zJ(=-GRrt&9p7BT_M9bpy=oWL1Z>hJ#`nd#Y19EsxgB1lK=w&NqzwW`qywF zAtC<^w-$$p{L5bh79pVo*zd9W|UdQ@u|$gktC&`r_MDKfVv7bUvb zJTAIRM0jbc?b!sIE$Ifr@{2xh>yDST8G|-_mj#KlnZqD)Tl4K ztRrZrkdpRfq=^o~9?ryS&~IPDHaS;Ez=ul@Eakbz*DN*B(>Uk>YB-~R*=;>#l}6C^ z67}gU?ERV@<{D=^PTkaTHIw#9smPJ@#GNHN>AF3zI~kB5eu>zc<>__gAF_$>)vsKv z;AhK++FgE{=DzWnO=}-k4DAQch8c^v!JLLO?lP$5tcK#8)U37ywQ<>_UJqQWns@(r zeI31=1~!K@fsD8TK;qEr4Xtk93Z?D_vRy~zr8jXpl??9;^`p`lhn({G;ql@99uXuB zFY-xBcv#GLnI*RKCdry9Zu<(|H3UsMoVC*spO!bPLKTTVwP>bpkTz0bvDyYSYC&2B z!y&|4lKBlIlA^UV+`B|BuSD(#kOQn|C|P=m^t2nJnB@CCfW2ehGU&2cY9eq2sx_f! z`UZS+#8tLjT^UWCZ4r2kHw!+^b4?ItMP5Fa+|K!M&?fH5WPQrB!ZBXP9rt%&ivn;2 z+>EDI<7zOT^AsqZR}lkMgRFRuD(gT}qZ^xIt46ll=?>2VhY&dT(0{uVQV|p-6!LW2VElFgFiS9Uh)! zNC1-yAJ%l)t2f`OVH&CP;Nych?Rp;Utk8;o9Lv1+qLs0 zF}9ghV+_?#5Y=2?@au$A*?a?QbTQ1p{IROGrsuDcp=B@>k&_}RzdkW|b0v((m>ZRP zdU;J{{NmFxIvPVD7|brvCkV(lPaVxhce1L?-oy2pj`uzeR zA~ugQz)A8R65qfQe>~?vGoGOoFbGuc7j0uhYrJm(7WUGy33ZNYLs1D5Ge54={gdtp zM>Pi7xs4UCH<6+vZ1FHXQ{|rd7i$L0hM8411&t&-GH-= zA3&(^2((W@%nkZMHuQ0+;pbti;97y$kGi^_GEYXiAJG|CWO+Y79nohcbNhoZx@Kb; zxb*ZV;I|I;;EXGuP92NJ>P~rbOTb#su1Ztj%A6Cj&~XJZ-O`X?a`mW_1R zB?9$mXdSOz-z$ZK7(s3dSoG=U3jIW@xEx?7OJa=|Ok<#O6K$!9awWp4zg#H<QwAjMCdMj>PVa46nGwg9}KxJwZU&OUxFYV;X&$ibgPlEAViIFv+xArW?v%?i71Euxd-ihz*p!N0jXuZSvOGG5Cct&&VNOiHP=PV`^? z+1$!)gddHWCL61PC_daSiQ!MEE?TPNLlJRXT`3O*3Z)K^v^&orXo^iVaTe9vF8<$@1h?$`tuCOWK<_;%Xucq zKcnRQ`$#Wu*B}`9Rx9PfGWZaQs2DEWEbzTplnQZYnLBU&-j8_z=f3SPCZn~{g(g9s zUX&8WugR&;^~fxKQ7vW zC^^cPGmz0l?1qYo1FhnaRvqAB`3JwtcYAi1%F-AZ$CtWFdvz~R{@z~)tP;%fQ6Ub+ zLw}=k)X7y!-G)gGAVjmj?zI%w!2@M6;e>-ES<%1}xh)c$1k&dTC;e7$PtEq;5^u-d zr)$3_%>NBTf`};+n#yZZLLCzQh*LGPFy!pC=G5d9F<7>?#ityj8DI!TYOHXUPDIPN zsiPpM;8m7zLqkXG4#DICrc`v(8&ZvZ*YN^#}PPg!I)AcVm-0U-omzml$OsFl`nvt|lvW&HU zwry$SE*aaa?JiOgmf*Kh&qSIKRpluv?=eqFi zo1?@hWFURRgUriUiea)_4V(MAUm(1`j>R=UD1XK6nX-5T&{=anD0K!CO5eLaQPwIv z^N;BKg_$%X4`mz=f@PHGv1o9Lt4Y|hDutNuqoi_jMmp2BmrI1mx=9no_AnhWl>Px_ zKs(S~#4*lm#s8d%-4uyZSYvc_#^NHcu}LuC3>wti@$(o6hmueW_h=tc-}OEShc$Qy5wuf>uvMu74~o0$h(9Q;QLWVFZSGf=pBhwRg>vhyOLCg zV9YqdxmxU*Bv&V(c=RLwK+!+yUiSH@c|Ge)gFB7OXdpF5jSE!4_zII4^vq;sQUJ&@ zx<7|`0Bj%yDcxRH3wHN6H}f|g{$8VvmTfH`SHE4=P&`yeolGKi!#YUxVT)5w*kG-E zAJ;?l@S8Zav$d8{!n09_q7qhGfb8M{rn)T`X+J})$tufai=>XBq6|%rIOG@}!E#~` zF|)-?LJESN4Juu4^iDSo9J@OFgb3=Cqn`)?pb2KmY3zo8&lso@D8(GrAUNI#$1TPg zMLl2`8I;0bf|hHt`QQb52PWgKfPe{;%l8qBOXxwG-WkC$erS(g``|pcY)?8()Sl47crLN;0F4^gR@l6YqJ%>cYi?X9Z$&_{q9D*Z>vMZg|$i10$xt`KL#+ z36}(~b9084<#?0bjOSYZZIfhaDw|}F#gv{d9}|ZhY&1Cp@muNegDk^xy0s)lf+?;c z)_Cvqv+IJ<5lfwq)lH{nou=VT+YX}>fUQ;)OrARMvMnDZA*7!P56L(Wv0S?wE9eJ4 zSo9m`PXEjREyx1v{5X--+HSd9+1QD3ucbg3II$=>@z9r2+Tk-qP;;`9)g2(mFKga?9duJZOCvvFyZ{$#G!Nv;=_zc4pf&M0+L~qZb~ah+`@t@ZVHY(j*tlU)0JZ7g3TP_a}Dz7sZrh_<2vxjru=2L@v;z4lek= z?hU!v{gSsw1>)ZvPLeY>38161$Dulkim}Fo%hJ|< z$H1K@6VCt}c4gvh&_9LpyS5an1hw43;^n?{N|`w7FUcs^z(QgKhD*N3?l2!m*VO4@ zx`V)~S10aluvw@H67(eA_8;%>PwkCA^laaqx)Xy%Jn(9Z#vJJRh%TwnQ80f*xpr6k zi;>nxCmvddf&!3EaZNSKOzX_RCf281y~niVtyf5h&~Kbtl4>+w-u*hW&oNjAls|68 z_3u5AHzhZ7JRQ4AB%{-@3BbFXCmp++T#h(Px~?KQP|xQc?8>o@0$>#aq7l- z)h*sw-Hb94WBfJyc0tULIC8;k2YD2OPV;V=SB?0+>_`=P;1jPydz-4HRKoj&^Ka`) z6rpHtmjH7ZBygK(X(;m{MfeSN5*F1=XKmjq1@BGpa2XMNLL7f54>FxciXygO<>Qlwc1<&)yh&&3UAaH>Eh^S z^9nmHCPhnsfVi9h_+PywB(q}RkV0(dc0b7&7XTaUk=XvyaM`SOp;OVuaUZghwhYE> zj5Zevc&S++@mW7-u934L@=vR*H1mRm{X6w9%lW?CPr*(OK(xs4=}2Axt~VU&wBIjC z6RdI+aMRG21)LC%UnMcTiA6vZ5wQXY?2st9v)&BnHyp)`_*VDuIz+jo3=Jv+Gmn_8 zHUKaYwUzmY-Xh27qWS|C$5r~W;+>Np4eK`fKj@g`6eQ0dMkE_rPMmf{(`Jf;Fv9ba z^NbGB;w{pozj!mxf?34(Kr@gFz#{N>#)ScG%A{#lyZudQp#FEog z>+^be_vq^cH}D8*h~-1@QN$o2rw7qvVJzD8N_2DkiRopR+y#iDq+~Td`(9OKvh+i~ z@EZ-ohb6AtxmrA8H%c>a1Y#+J;{c>?8{pWBlQ#Fv_cTl;;6SNikpLB-1WXnXQ9#`i z(V(H?K?1Go4~ud_ws51`o$S4(Ri|i!OR$tAi5C3&`XJrX)N0H=jIF%TI7xhC)y(+- zVHicPqaew^qAs*i`i1^(XI(Y8L0_sW2yKi0Z&_`dT z@R1+GyQOK1?WP~%6V?p$`=t3lNj5w>`Z8nO?vpfCo&Tyrg0DsLqp%5{92zj6I*X(hx_C;9x2t+qZ`Aa<?n{gO`3H`TOJ5ScAl4(<*+ZamX1jwi4C5i=D=_SCk;qhW{L>{?aMq zaU|K>$y?$lp4jy@TB@z|RvkDXJyyZpjK`V)mv3@@yv0h4Hw1tmi88-ovxmNJv(8L4 z53^{1o|S>)(Wy^TIx=car8%8rq>R_OAB5Ba^AYEx-WdyNZeH5!DniEsjha!Z2v%#* z;gZMAE*bD#yi`mi0WMR&lW%(bNFcFErH>$9zo}hnBOWS3mRn-bpeTvm!cloBC?3Ib zVo!gUS_}Q6egaH>|)e-nx$TV?&7K`{0~notMNHd(11 z%xY%CdaS}dLo7D4T+)fAvMHg{>sR;1voSp7Bt#Sud;`FH)zdgDi}?GQ1F{Sqy6MSr z2Xz7;z5J`3OO;kO!=icV@)NU9EoADUG+V#chnkpsh~aF9Jx0cav7fKM-%EpL`3Z>3 zDocOOrY_&>Mdh;HJH#Jw(Wn+-G4=@^3u*oXF8+P!{{u0?043=OApq9xR@qTIHkC2) z8ErsJG;ieb=p?7jj#OLVY$0GV-2|nR$3l?75+ir@;Jl;wdi>k_H}d6cgr$6t z+}sXMm4(xpvo_ft{DET-tn#jOBe)bF2(g*KVezGv;{3HaX#jccK&uTrg5Xu)?+lfd zn*%sMNaBe|sf}!!JenT|@x!)te&eP_OABZA(K%{5mJBB@4WiOi^&pT7p0;}gHMzj0 zkvEhhHGZdIh!+~!BNOqKt)?U0wm790ofgttIitqXSw<@#AH|H4=XARm3?C@3b`r0y zZI1l?b^am0gbqLv&l$=)h}?XlRF{dHm*0dnVei^9X|GP^9_U4d14)GGKGWc}u5|jX zbmw5g71=DMiDHcQ*aSwa6+#hZbxrhJC6oIC+_ytc1SR+000tWdYLgxQSOJ5*IG#vKAJ zchtJSr$+VOd?s}6d7eDp>=>95GXlJuZuEO|-aUP7-EkJrIBjT&5At2;gV|gM8Oao2 zm(ZW@uRZ2|Phw-3?Mk!Y%qfLz+T}Bncu+-Fr*5T1j@~|V*RAGxmB;HvS3<4PWuoLY z76Iu_0hnPe<&G|lUeTz(|Gx0A*uahB&P8ia-Tu-81EyyafruBGID{$W9K|`ke4ZWp zz-LZ6y&|@`tF7`A783&aL8-NC4JzVRyypp8u|@1U21ZKw#RBs!=QqboQ6eloLTPQ4efK+|LQoOxn z?u8{M6hp-1VD<$G8P9CJR^;|TOoebKtJ0BILd6SJ)E$;EkDT?j~D5eOyV#tS6QmwFgU|U)p z1OgmqMm4`AQap;bcfj@ZqLUc~Rk!h0*2<6Tq0P&VqG*)lvqUtfeorL6rqnWq_T>~+@yD^oc5URG z`1Pbq#hU(xCbb}PruJvDrzJMZ4@?YP@ts&@?bLSXA_ppm@XLM z8?6|SC@R6an12Nq){M$XeIp65WID3Q4)?j*8p9p=?>-4*Z-ywca) z?yTtnm`>}%g$TU<==o4!4BLKeb?qvl7+088{(85z;Ih%OdEBrh2{HfG*Bs!vEx!MK z;Dr8m7Zbvy$A6YY0Ztd9MNkjHkmpOO>kCIH z(7ZHCar*^6D}svWz0n;Tz1UO&R2#7PaG1dR^VOlirjHRU#rzXQg4fq0FaN^ioS>oZ zRYPprm+HkmIv3I32Kx6x8ngg2IY|GD2q2kXc0h%*lZ-wzi&y1YL*CNjmvr*p_CKGC z1U9>VL$dM5(EEiHKCCu&lOEB11zFyQw7(K#J`KUqBvN+J1qf2xu*hL8;bZpDc{z@Ls=syKPSYpMh62!1xdR{~ zI1d#dxq`EYkAu~5rOYJcATf&-x{xXXh+BesNOB?1@n?mqdT|wfJ?!pkmkU~nFbYGG7QvENtW%h!21uHa21xvG&Z{~-u=)w=8MCPSORG(&ZejnmrO(HpN zL$|!t7^JmHU*isAHt>rWV>Ybwu{9ecehIM>37=uG#16PP<^r7|{wO$Fr2>aV9H?>u zf;a`U=%<>5ng%yR4w)d#W7_KZX{EsI^@S;asLw!;R{ zNww#Q3@1+`9bs-65V)dL#NFTEr}a{{y`#R}NL+OXhRTLMkTl9th5DlcN&>;IBn}B< zS;<|(9LVrZESY*)+rpf;%4SW*fexs8knK7qR}&3L|nD1?15#*&59SfMp8-V zM|~Ej%tw)&7ICbm2PtX+{H4c1;?h`c1h+=aC^3kFz=DMa(s8F&Ux^TF0)m6;&6UR> z90YpJiAl|Tq!$o4ONdN-Y~m?h3TKW%DXedSf#2iP{b8EqOK3rD{P)w@@zm{*WroO_ zmAs=8ZP052NWACDi1b$#tC)aM$o^k7f!-n?bf8Rmv~>WOEQhc~20&vyoucsIHzz}gTT1L;0R z3cHXuHNgyKjzzvq^l*wn=R&8yRMObfpgYj6y)y|yv!y}pe(w%|<7|7?5C*Ms&5=4N z?~IaiH}uwGRF!%ITqyJWNNHWVW^@yJYkawr-hDsn@AUnlLu*^+D&81(8k^IuG0V`w zcHV~1J$)aG@1rlQ%~6)n#=q*TOW=XcoDq7%Ii>EZq#ZOIVkEn&rO)<7yFCqVuw})w zWE|I(HakZDBnw>^M12Anh3+WES~@K4bP!7IM9=-0wV+)OkgR&QZdZYB=bW#Z)s5%s zVlE$DU$E0bxHG(Dm*7;B>r}=ucgky3|l+(aNq^T=CLR zaI?nDD>jM+h{t?mVye4PV2Tmbux^@7Pi{S0DTyG+daXW>=%R1!w%05e{vzT(PslIJ zxJ}zED)5`}qg{HbOHE(bwIRc#`>#{nU2^^b z5@gd6rgD1w<3P0A4oDvCz>pu3hh(c~i{Av44}K*+hVy>LM#yY$`o%Ywo@1zru5C|wZvk^m`<|d@ zYjLtGukg&sj|T1joWwv-fO1nJi`r2n!!QN6l;+?<_RjSV9H#ia@qJwBL5&$|r*4M1 z6#DZnPLduKD{KANZPgf~6=~Xe0Pvq@_K@QIMK~A`5ID(y9@+mUCl!yK868JqKGWPu zt0=OYzD5?H83Zpbut4t2tpIml1{7!i?UWLj5stE;QMvpb{92Q%wO^V_GpySry+XS*lY$Cr1X^8Wt*>C4B*M|QFI zr&rM1k|KgC9xLaWP^o)`NdAk<-&6X~1}7OHI3!^M`Vf#$K0X>y`D*3baO6wfz1+3n z+qhb^A$^rm0j~a2Z9%&!?gZ^|PmxL1&wD{rYvS3>AG-JKXKqh>QVgh~SjYRmSe2F^ zM+WxHi*fv`HV(;*zDy*{0(nsbD$dY*yzn{L5L_yEo4K~iq0C6=6OI?=GV--frX*zz*9RvV% zikP36nbJ`jO}(|(mtEPU76}nVJAF03B)+uW!Hon(=JgZ^g>}(buiCj$&uc;OfE=K* zW^ISa(SVwg6z5WknJ4+%WiOGv=bJaUP8kX-R24|kd7)?qA ze%Yra1CV67$%qNGS65!V6|5>=G7C>*7jIVHKpn zP6M(sn@g%1Ixk|YpS5s2RhxURe2H+LO0Q)*$sY)DF*OOXkF@Hw_4%Q;%MrPx>y3F` zh)_AP1V_ETw@1m<+2!Zns}t>imK$yc+`*Sv0$Poyt~OXMMZ8=jd0Yw=S%25L-|1U< zjI5%|eqRS2H)!x`cGKh(cPEzfP1}z;3sL1-nud#K_vyBUp&nTQHeJr#P|eH(L6OF} zxXPUo{k-##R?|4sLv=`@A8!@*}*? zaZDyxwXu<d0-s&hL+TeQOEb_WZG97BAldnTEtqn5j z`VRgj)=~v^vLk{5;M}~pun5-7arelh15gG|hmJSR)-P!G)`fCY-_+V^G;=SuOIxK@ zidkjh=7wrOI)3P5`39p{POIslx_7=iL~d%U^hoV43y+D!SOSMB-e9>&@nZ7v#0viF z8?!RxY`{#$p{(65JySZ_=0o3Ntjhfqzi?*lR!NM81u>N=AXRA3~ z!7Fg%FHUTR*%P2dBWYC0enEb>ZNt{Ra#+sfog}&;5-Wvx5)tO-294M*T`p;4E~efT zs}jEAdYyj9jKv@nP(U68U1cpb+9w<2lNG^tsM8K50v05)cvfjRB7-0^Izo)5hnTdXGu(sah3Ok10Ft3n@c;Hxz3x-aCD zX;ov^;qlkhzP~;l1T^s4U%BPi{5nLqi)!UYuK%dFCiBq}n8&Gld|Zlzkz!mB(IuFF zp_9&P{dq`7mwwXEnlbiC}eWM7JvxHe!wkJ;+j+x4RcU~ zk1oV|k&B&*?i*puz&qM+=pO4O5UvlUd`VX;HK2(5jHU1AsB9z^>p!Z52Ob1T40}QN zY&=gdbtyXRkzV#QR0u|lX%NH&4a|zo-E5RxbGUj7n}Q&0CS9@BA`a2Xzc1o>iYpUzCKF(rRe^6kUnSM@^jQJDZhHBdn~CBYKD z-@?y!ci6a)?HXcBd6XgKb?C5QHlrf)XL^9j>G$dpD1=D+n7I#SoqV~{cu}yWn>_0S z0T?0RBr9W`5tRH`4$I{wZUvah|HkJjcE5mVeJSRzu?B?b24z1sc^K-msXd{u8TVA5 z^vz882wxQ4&;su%BmcTpu8_O&p{)?*?JFl?RQ{e@Z_(*^UCl?{`I~O`Be69{Gq}5= zz-EXZl)d?;M#Ka|?^H;aw6Zoqun3w+5WeLQsN#W1>U?&=nt`N4m_@}j+5@&gBf8OF zEkBO0Xb9kU!z`R&p%o)TpXsim?#{m$zz}bQW~zZl^Q8=bl?~750=yMuB;&boTKZ*F z>teX_p|k;Fh21!Cn17k#1*iIPJ3qT4b^u@9kYztWS}ArQ_M*X&1gDr7FNQCp%8rVO zo=NQFJnEZQZ^JW-ckx#XOB`P>dJ3J}v3S3J%w|C0dV}&sh=VF+j8c^s!&&O8?;~2p zwduZJ+}WG+l4IEd4fs5pt8}aGy5FSJX7S}W7!auiYS+z0eRbChjCuDl4#Afnn(%KH z&lgb2B2K%5CE=T!`Lo6B{0pYw*>nJ=h~F-M0=D}h-KGq^VIO7$5IlV$>E%PHM? zJ4>`V=*88Zws+hcnWX!h;QYU}R#1MZOfMt8tK-cDR+{d(xx*nR%M~o0#39#iQti zR)hzESM<@xRww@B0dD=At2=~)4ZpGr^GR|W>k*uw{0oxU*EfTYi%3^~p{x(EEkJ@x zA!5ZKclP$#NqtbGS!d_(w`_s;^Fe}-`;PogDq+au~+jdtOL>UN0 z?lOlC!#fS<;$X=MOGF#%L)Q+sk5eCkV{ZsplNG71mF|s>F>ErO`iExcn3>TkDD%FQ zzU>1gqUQx)|7WaI9|w77FYzqtOhCsc_^x^hxZ^8dqa4XIFT<0)5d1Y^3~sc(eNdIh zDuP2L2X_9_y#Q}Tknsz9nX!gT3->!Dcw)5I`0)IrTZiw(HE-qIw!<_3+llX30lt;2 z9yCr!G{GmW7oxvjd@1-y&%A(sy1jS7VTSo@xb^VG9G>-qf8mL`&J?dS6Y#kH2;euHcx+|TfB9wnTxbvRLJ;@;*7xPX zi2y}pmkaY;%l&rW#mpV{^SCWn(zV4yJI(h<6*_6}d$x=5O8h*ThZlp& zCtM_BWJoSuj|zzw`Ssh&)Derulv`++hE=zDyz_&W3_hjtx;>&Y06e<2ewzq+x(1QX z3abR2-rltg)MUYfG^qJ;lzaj%YyuSbJscmkJyg{jMgAQ*UzCXQlMZbM;&T%S-@W5Tr`<+ARVFzLbO78Bz4t*DgsB} zQE@_36n5f+3lgL=JdgF%;B7T3x&V1Z@WOpz$A+JE0nCjry_)_~1IcoIwz5m2x`#wx z^F*-_;H`*%uxP;tF2Un)kNL}$&u;OCliL6j8#YQjE%^jQ_p_W5LZ{2>P9fIHFQi@y zBU~F0j)gJM4fuVg?A8ck)}R3ZeaiW=92J%@rExr|`_7!`%_93bw7%xkYcuoOy*D$( zWA-OO^(L=x!aaJ>vgspKJ+^x+=Sw=JXoLf=^l$B3_w24Xs4Jl8gCwp?dW6%N76JG7 zV>Jey8w2|se`1;SlPLnN&jJj!&pe5OH1HQxp#OQBM=`{PE9p{-0qIYT&EH>wK}uqf z#z@kT!65vjDJov1Jo>aS^vPnOd`1}mD-FO&aWX`IHTrw~?`H>plTDDMDH&q@|4$!( zYXSts@EKFd8(EneyAU!l{HMI~ly#pH(Ta|8N8c{j&o1!)OW`Po^Q8(qshg98 z`XA2!Bd7MyPR_BD!Z->4-TXhR_4ni)^xr%J0;0f4npD6f{<9GOVMqUvqn}&gZ$k4K zdnaYe{%Z^VJs|(*dW};hO-W<_H3|O{n|~U@{F@~ppg4x4Efj3p|6a?#|25G5@q>7t Wq_2tu@EAZCK*ygv03F{S?f(G-tw<#R literal 20845 zcmeFYV{~O}w=SBBRk13zZ95g)wry5y+qR90ZKql7VzifV( z`R9Z2fu!}!4D}u43~elQ^$mZi+SB|V!lggW(6m5OL>ip*te>K3bXcjiG;IYpfsVhJ zmWCJ6R2C-_|G;+NG_cTzxeUQYZez@wef z=TDiMpR36}Ul>F7K~l9LgSjB43EQsB&Qg3=DC4wbX>3UyX%gwh(@^sjpXS9yw z2$kRgYs&1J`!3NzkflZU%1_4{E^g>^fF!6DN71d1(|7=LmxI|NKST4AK;&6B|Mbym zFh8PA?qS<_B0a|vo;8xHvWzGOoS5VJ$~qU7fErY1orgq;z8u#;sRy_KKBNk?SOyt` zCN8wbbfAfl9@Zu>YG$x&!V=Jl$^L$94KnUZM;4?S)IssN9x@?j%$DGGR?iYtDYDwF zDWQ}8ni56Uf}ubG)DMa0(E#~S3swhsciSn^_jJz3x?ds#wgo_Z^} z$RFs?Z7Uuh14gmW3RCouarpNjl;}T$Jo6AmNJ}=w_)a^ExEWTPeL10v5j%bXe}zyQ zyvC|GV;YVaM6SmYsoC()V22p^-&zOJQXH(dzw}+)eQd;HKK~`#Y3~0kLIwC%+i;O0 zg7m+ThZ?AI~!cbR^r!Gl}iFh?sQQcE0i zrGF_MJf)=9-cu+Fal#1ONNA_qZ~r=Gwv0-?T7xYg;&3o`Qj328_u(Hv{qzUGL;V4t zK92fd!k3hPz!ujZFfH{5bZh?sH8y`hj?W(u6Z;4FIP7M?76?+>l@Y|p_P=sh0b#S2rWhY5nAW@+Y;X4 zA4|{$A3~9v;KEO}A5-$(#{WvV*2Yh}Qv=x~kuM*8bAugxn<@Vy3!(QE3F;Fp($H>9 zPnR=Ds(!Zz$b>cjs}dBvN}6mi6$_E4JJijio_E-R|F$y|Kvu(^{`U-gX`j9F3EAxC z(2aG#_T^7gkx7C`X&3r)VP#izt5PvVy!J}_q*EIGVd}VM=>t>X1kEQRRu08p*Nv+e zyzes1u%X!2I?rza*KX+~IyN4I6T>xrJI};3z50k?f_XLIuiUg5NxiRS!P3{sp&(Gg zMD^fp)NB&d(vUblFO#r5VB25;(z>lgWHrj>x=iIhl{z@4uZZcyvQ|Wm&6ouhKd5rI zv5NW6WS!iNQYXh0`qD#F<>~azrplS}3zunUCk-kUhW17jln)aQGaKmFI_Qat$1?M^ zQZiL3e(X@l`;K`0$W<j?@-S4P z5I{YC->lDzVf@5?$=Sd@6=mue62SHry2`c~H5at_>UT~4&_iB;RwH{#X z^<$da9^3u0`dtk}PurYx*>FOi2K#PAFu1+0YkK`K>TX-_yd0v&8JTst^<`R1<3w5^ zV9^~C^OWn&gogSq4;k-n9Z=Z4if1`2>^097(47T)vM^6`kMnL@_r002uVcWa-Z|+= zdNEP&y~SmbWm}x8|Jsd%+nmj6w2OfjMtY}HbTK3{%hz3pQU#~?RBy#|5o~hD4*gEY ziA18S8@CQ;f5!&bqz>ia_5hh>q&B0g*-;;J_L+oECOcKv{kZ z^`P|-o#cI%_6=4>91I*i{^#FQe0)W^9;i2z@a6n@DQDX&m$Lp7M{v zc@v_K#3GisLTSgTp}-VjP3Rd#37tvj$IB7Ul%Be*te_fPy$TsA=}iv)!xSnX91^g$ ze<&;;VJK;?Z#L{@dWyR}N!$c6m3t$DfmMq8Sq4Mv#`!Cz+r5?3+1ZanAN}S*{c5nE z2!2X3Nh~;ki!~UV?Nk6oX}o7s0~&yvikR4g9gmL;-xbR^%Mpdg8HEUzwLP^Deefz}qu@!7`XJC8GKn!DM7i4kF%tKH9zRd>-b^&3TPyk0JY8r_z+a$4n0CBptAM4 z#p=HJ3@)UY&4B4U0k$v@sKR|MkqQCV6r!%ci2Z{N_lfv-+sWmLf3x_dP`kq~j-=M3 ziQHp8{6)>0eOj0#9Qpr3=wdck#=SXVixK*{K93215&Gcm%&(l_7aw|7#{IG;^FjF2 z@T{l58JnO}mi$^WK71M|O}{i4RU8m)iS7LNZJRsfcw z_|5683RD??D0^p2?XP%$r4lTq|H!_mll?7`M`E+w`#Zx>2>5F^f29rP|K;vQjrwm{ zefLcV4wAp}5|WXBjQQha{q`2-hnZL;b`jI?n|QeuNQzFfHp~9vT9e36Y=&7=*}n;z z4E1OHH_xEoaz@$F@^^>SzX`g2>#P|zPv^hD9@+pz%$ zdp`Y}$y+lVK0?C7JYn(rnLo6rq!7&rsvkyxm= zr?8qXh9(bWRH4h%@I~NNZci-0qH@e5;e$*K|B$J{@y*DIdL#X_hoP8E3ar}g$PKl6 ziq>Cb+G*)#_>@>7kyRxDLC(;oZ);eLTp5nGMbWGFrA6f(Y=!1?K7`Bo98qZkoV%GO zf^K9dei_*FZVR}(_NNmfHlYgalcmpicUGLE$<<-$gIb&?$V~8eXMl_1R|D3!I-Rmu zy605h?S#t3A8HPY!R^8?=w}r*zeQIl@J}>Bs-0a=`upAlRQXpnrk+mgXz#-~o6R)V4UO-+7YeEpLO~w6Y~M7TLo(7CZ)AIjEx+ zo`a|ubrE!X%)!#&{GV5f zvKT+zFaxbF@K1!gq&wec7_ys6C8Wsj?#-g>AAPYW*VL6#OqEyMn^m(fT~1dsma1SW zG8-#Vvp4hm63>>fZXz|8@|!ag=s6gRW+L_!;@IXaq#BatEB0oI?Muhgmo20$>57)e zOFjm;_GXzGTqeEt(@LVqlS?F}6qOs$OVsa-5BPSrN-ms#OFJ3H}roO`OYQe6<({h7g( zmuZuKE_Xnhr!~`0q0R>o(l7dva<5{Pg7!4p?xdc*Bz%5$u*{pgmV63rV#Ao@Xf<4Y`oUkdCL~Mz3%%#U zAf`PNis(!xCcjL>Ke7nl7p?M%eDS;cgo)|TpPQVWFJ|pS6L5K^q(1iTph{>8jAn=X z3J&BoQUiVuIJ{K)fX@>|i8NA&4O~c5{($Yg4q&cXT>Hryp!1x(B@pQaW7m;N9D#161Vh z4CJp~5UI*%Z1_Mu6`2Tl3agl_bKSt!pcsx-;$a}YCeY&BR-+bF;BiC)kX9XIQif4+ zjCKdyQV0^FpriD|(_;IO1{P9+rgKvrZ7mO3GlO#M%r<3ZMMWXr-=B(kn+3)^fP6yU zYu{cGcf7tDLN1RLM#+K=$so-X*iWB2yp@Zbw;M9S#pA^+Ur+7JhX?X6wu_U{vJ5>^x!i%qbgQJz`P{Fo({~Aj!=Rt zUCIuf-}RI+6FHh3Kqewtd9}{Z5_a2#dWSmL!?CrRXHG7@Rt3?v_*gnCy7i1fo>4*l z71-{nJ-wjQxuDMcGz?5cCMat?pM{@KkGXvhZQqXvjOxv^ODFFb6TO&2^BOI>xlcx0 zu4g>$%Q04#2bEbEKlzD>^otASZ7$iLz!>!tYFiG69^rjyN8du#;yzQ_@hGt3 zj(z?jTR_N8pOGv^0HfM#f&64IMf#laG?OvnF^}3$!U;As3Zu^t2NcAwj=qf_Gu>tDrIA#(4)dM{3(wDZnQQXT@QZ7mR(N9?fE0-hy%2 z>!PT&@!G6UH=ZBaI2bq<^FaUrE?%y|>ziW6)N*zCIp#T7WZD=1i8U+(aOFb)H zQww_=dV70EM@MI8XIEEOdwy&W&2CPu9V~30?Ck8EoSbYQUEbW>yuH2s3i$n< z1_tOD0044SRFF@>W%)D%B59=&-dporjIc7_cp0!Sp#xYr4zT;>{e9kN{!IKt&DW{H zS_n)^3McBzI#`c}EDxji&I8NE@yj}b46;!AnXBhj z?H_l;14@SESssn()?|)Z!=75?O6`0uj zWP>cG@Pd_|aUn?LAjY9|U~nO7dM@$s<;_F*oLbI0Qm}PkDP-k3ERbWA+u!M3UuxTq z_vhxtWFqDV@>uP{+;?0z87|XA3<$1bh=gN+U92d6f+4qb74WzAK$RWSawM1yXJp{D z`i>x`H=CqnTM?FG%$Z0cO^qS8_8Et|MG0~g<2RMYC=nV67bjjBI)#9m6DIY+)+&c8 zE5R#}f@vjhhFsaBN+J%RDsW{2ZD+UH@=Bc`nee9NBtVkY>bvkw85!`{vXfWd0_3qNOrLFEBO5tZ4o1fz+RYKcBGC z=WfbhM#s=wGI8`olCjp(vEtx0A&P}X?G!zFo_B5>nh||nZ976F2+y?3h+HTr3I=^A z=_ux^(J*hU+}B{ryqPj1DqWuyK4^LEO6YDZRPZiP*LxNl%1V7oCNU7qbi5SLHu6(A zjyY@)s-;oL@HMZxMjgFdYx6jow5p6-|DgA}s|I37AL%4bopOca=SGwYN&BKIfW|zd9+@8lN<|Gq?$$t_fqng< zycC0(qO?bMp2Wzz7P)*dtiJs66O_AjJbnQl;gV|AHs((KE*gZAz^@x376|NAt2*3V zn;SJ4$lL?O*cok1?j@FNdKUO-=V1Kupy&+IhLn{vv#UzgX3O)j4;4$6loWTC$Yjfr z^^sz2C4$Q_9)&h|wJ~fEm9=f(uvH7j6ibzUPHlR_W7nxgxf*1=eXEte+knxxQ6v44 zQavv3cI_Fb*&Gp0JiHL|qGr2}mK1nXlNDxr3tkozu~4|&eAMdCs2#=-RF!PSWbDDS8UbXd(EQS^#rCaSUS(oQu(Le z;=Z~&H!Y(@V2!K=x|>-obYCIZ1c9!b`geyaopYFDr+7g$jOX2SrV*hH^QWO13m`(DT!p1a@{O2x2`EsZeTVxnC74CRKZ!{4#5F&<^PC4%@s&3u2&@bTrSclXzGj z@rJR}GH+#C)uZUB#+o9rRs+dqm%QlJKTW33uZYqOOq64-C=NK3gRGQSePCoO`Oyet zkh~xVA%Fei3DN`Pjp!sZ{Y^e!%<-UXJX&TwU_c_z$fHtKUd*P$pT9uttvLw&Xy{e;qx2!`@db(gLui#*Sm?;Em;XUuaBb}vLHXQuNJ zGdle_Y7m4<`QLDFhNkUI3(b__uRrL+sn=@hJVw%c{Y#0!~NCSK|Hr}rnOL%RiSx3 zznpYZsL*uF6k>>awb9TF$TcPEh9CI?K6Zi1wYuO|$*gY}p8d;(W=!D_oDGHp7-kMN@z<5srWrcpQncvrt7*RrrU7v|3zX6P&eoWrlaILRw7Tsp@?XqlM;0hQY+M+;iE1Cu~J>C=^6LSie>Gnbr+4 zCSuU`!nIqj)sfH0vpy27qXg5!Rp#33n)yXF1ua<}jZKEK%ooJl83(UH=kJfN_wVRe z46plWH}mx_zFyBBd#%>hFNRrfuPGuTpd&!pj#Wya3i8&zMj;A2EpY0HM)>+WNh5ybHsgR7ffxcVB8 zQX#qtJ+0lU_#cLZocJ5sm!6fc*ScRSPa+0x_M8o^4bR<=s`$SSr>hUUI^SUr85OK< z*K$c>Eh=*NI&LlN*xa_(-5dPS^V4U)=cvEm-H<+a3%q$;cPy{7K{Th`+<#nHDZqwSuC zd`^+CBkLz?B~vcJo6k{9nvUUK?+?AOJa1Qtci07*4N3?IE1F&n_1vn}2sC#K+7T3S zsdCRlS)NDs()VYbKhbEP%j`Ws_g)$7Ij@cz@A3UVEtyC%7h`wmYR;_wX3FB~sEGXFpx(ynlAe zI_t-JDsxn+Pq3Z-(SBw8KCu?033lG=S>X!iIB2iv>D;`SxzDmT+*ZrZTvdMbW*A{T z9=Nt75ltrGGSrjS8X}ozIfrmYj`~Pyx|X(XZc6cajOz8dFyof1ttyPEjM%WweH0=! zHo2)awP0OyLqE%~b_2}48<;!k$B<3vrLT}@^l2FJo}E_Xg1cJRmVz}_?CEVG{TTMa z0P}F0HYH{Rn|rVzvz~vo?HaGuHf5B)7%Mf4GqlcUuGUZkV{nP#i7sg8ypv=SIKTv^ zu#*u@8$A-$W%sOLwaM(}~0XQEc1M=7w2X!i8TIjk8I29eQy zs^>uJxhT?1@c<|+l4(oC8;9rv?-5%cs=L;}-3`ALk#;X0@n&cm*6DVpCyaHQtE91w zW~u^Z%93PcXqcc6Wdk1dp{wAA$T|spmk3uDC`r)BIczWU z>~KkwWvax^jXP@+b*y7@_H6S8CN@!00(f-O1ZG1iE$z&0B2{GPl(o}(!OHRzGe+*p z>97NFGqsO`ZfW{SyEQBC#(jO3?6FufJ+mJ|`~^O@$;tV!DqXPs3|nu7iQ{NQam}ul z-AeWs^$Y97pc<)~*d!&%{n9BB(Jn|ZSttle9fPO@W}GHs@fpT|Xe?RtQxMET)<-PM zu`Q&i`crU0*Jhd}SzJ^|6_d11Ao)ioENx2+{HmtLIzyNT{ zd_`o>C~r87Ol#WJt4kJE?kcps!zut9AdbqYRNx%nRBng%bnsL6%6S0(wUSaQB#$8Y z^fAkTf3KweUFQPgzs|6|gR6z%UzM8-#nIRmT)4J<3XKufueGtI$+hiG9=vAPpD6k1 zk^71PxUTL$8JNb1mlfF6&#m3ujCJiATJ+@@i`hpn5b_ue`-nmkCEYSTzCJO$#rB%_v70Gp9vpw+Z5(bJPVE9RYDfJw2fL5rP;4sM(&F<%!QBXo_f&I>cQ zrpoQ9Xj>v4_DSzJr+Xlg?Cd~LN1b>1AYQx|sh(9Q$c~6ny+c|xkswS&)q3tG97V_8 z4YTry=me5o6+s`P-qfHLjnp61OffNSS``YUG-i&-baLs!v8H_JLe&}5XaM7ic##^9 zg8)_y)EoQ>Cx9JYi_AZOA9=;0nDU(Q+F+rL4tdnk_HkO9Nfp_!-n+ljvNe0V;#n)` zWo@%F=kUH%xhBZWmWM#`E-+vJa*;fOk(nLi{{jwfWtG`uM?%XWP$YH z<3t(ysPFyvm*Ph=&3|2r`qowsznWt{uEsT0@u(GMxQ=^eG|1(&@*o`ZRxPk@KsF+- zda@}BDp`6AF$GaK%lidqkq`u;(a^Rf5Z^OEt+@1i4+c!rrt`@!8Jzmm;G;MhI!7Fc z>B5x6u1^OqkGpxTcI)S!%e91f@auh)>_)6fR(*C5UL;)^VUiBK8uSC$8GiBo1J^1( z*Rh5pE=K{Lo9?MYbeQ~O29loa8HGhD#IIMaMH3n!lQRsnWKsId!dOplW8&>-qCdG2 zJ=~00C%{r}?SPMOmwyxmGU{@2@URPKTBFyou#HqNZrb~>$zl_<=t84uppa01+GnF+ zj_{6%)F@Do#%Kgx*UsX3g~zf9#&1^z$f1@$bV%bTT|(4WZ7oJ8imRS2ruW2Jt1oh=)=qy5RB0@2rpks+ht0X%p=VTAWcSDc4drJoe?-(xdDL z=!SkmI*22p6G4FA?&pq#<5ab(0rE<-N|0n#PHft`?*S|&$y~Jt@vZvPXSZ4RMC(%N{aU=G6u#q-7&^!mT#Etg$_)~-vQ>8 z#j7Kz9U3o)#-4P5*vQC}?k`l%^hz|`hS&WYQrb}zZ0)c%KRe%;nFpQ79B_S!nO>X0C zxvq*_WGIk|2JZ}A5^z{Z4^8m)2?h9&YGi|&cyDxzjY@{r(#QyhqR<3YGOnDk;uQh2 z9cx^Rj7EG>spI2F>XnG5abvmvCrTXv#Gl%@&_)5}5p*lmyg<86FpADa4;ok-Tel}d zT4Cai#y4K>6F%Gs$Lt!x@ zGwGM9-f=g$qbh^c?E12o8}Q+-UbLl>Tv10=m5M-qwxJ=Uq%Gf(PU$S41yn|HoQ-K0i@1D3jI>Z!h)wU6xnP>Zd!zH#I4K(o;4c5_HU>#a*-D`ExxKp7&rAm2VqA ziO`5_t)oi;O?(abzhN=8DRkbew0rhDt?0|-dsTkEvYMEh>(1;?a?7z?wiItWlC~5I zsKQO3n1}MC1-jaGXiP1Wd zuwXx6y9*z=vt~E4%3q6`FUu^jTa3Sh5spy6_SrhwNtoaw*>f;R3cRqn^EuJxCkJdkl#`WDse zXYhFA%nXy%?QdZKUO8;<<+1P2KLeC$J+YV=5~_fC$JCe$0E9q8tTz^_6r$ z<91g+G3-vYxddr#aJtp>glt1u!QTq8Wa^Oo2wBNA2xW%NJ0ns}q~I`LId`;fLh4mb zShp^nEG#wT$E#u z#7(Vb2K`;b-MgK^pi4iA7CGkP94AE}G@v8)I}t@iY==c?Jb3C8P<|z9nS0U7JWv+Z zdN3MRZ-{Mj!{7=Fz39*E#3d5wf~pXS~{BlNo)Tnt^L&v z{_oa5|B}|y(fmtVd#bu-wZe?lu_2E}&TN5N`(`nCiHUmXt=Z7J$ga~AE;6h^CQER* zxIS0iw8(K%@ftwL^&9Na}nY?OW% zA9kA-5=h`D8w?rZT=e<<^C34~{<#;-O-j`eA4nuSDq0=h5i4{YE-bCwP-l_B`-m-O zV=3Ct;L55hAp0W`2I|n>h$h6{BZIqAL68^26j~T?VqSM_fHqob zy3!V%cnG3n%onP%%vu&19`2-!c&~6uQ@RWV8L~43l{=-Pnc5hqAD)OavERhawR^8Z z1UCEvpazd z2`8c1N;9W%0Q>N`oQh&68im$d^oa!St7rkb{%Rv^iO-0AP)jR=U2zo7mg5y+)o#uA zoiXJ>NPouRow=fVi6t0BFL65Jf-HmqTrm1R!b|GzdG=b~`lbY2k;nYv*=f;y*I^+6 zT$2t(6!VijpqP&*(_P7*{ba3EU1whoo6I)xrIJTNbMhvquyi%O&?e!bVOD$#xh%51 zO=|o+0l8e)Epq)}FFuw9~(wX-*xryTdY@LDb)kn(X$`rGDBi7ApP zgT27Oy-e;b@0GT}sq-*@CAd6!{H2-AZseEhiw6gn86xhNK+lF0+ZB3fqz1`s$LxV) zM$2)^&LMAKH2Jp*5YRa}6J#E~Bc$@QNNYM+moN9D#+1JoZ6-zgDoUYr!*hU{ zT}Q_3jf;_#l>=}A%o!6WEuhAc_ zhokw%0m8X%r-W#FLc<7v@E4I38nh$Bvgq6BlX6)FQwcu0dsJ&)7lHCrLv~jF6Hl3 ziw^3>p-h^``onKJ2s!p?u+h=Fodn;|5YMH#kd{aws1AHebi)3MdOWKdmXkGQrx4q8 z(wvb|+mr9wubXdXR1B%b2fX1T3WX09roT)u0E(xU32Y2)=N5g?Lex~EZ2~(0ajnW> z@C8j;ceYNO(Xn_lR2WU`amv$Kh^*DvNuI(Db8xe;ZqTz#2Jwj`U$3glL`J0oi(TX# zz{$-FFTPTj8_sgljbl8ChMna&2a=i^4Nolt^{k|pFm6Rj`Wx|ZQ=GLZn~!)x4*+*J z&im8;&c?f^^Nc?AC?>VqflTs{gFW%_)}8~>aTncZv@e|A)}#}DB2nF*;gi$GdEi98 z@e6EpG*|tiAzBf9HR|j7vL3ZD*RFQ8@F;nJYlp$ous3zUG@dn^R2<#v9pRae_!e88 z;525gc;InKzO*naa05vh&(Ppi%Wzs;2t99+Css_T8eHRGYg^n0&~H|A@6uP}Ucd6% z+&+9gsE@qX@IU6Yzxux{b*)T|4DB7L?F@{@S7Ls)fRUvFzS;Ljfj{u98$2iQa2Z@ zurDt*QsAUwU7Gn7WRbTxTamMACk9ZlKwC`K<&wIjUUN#f;djrm+KNCA)JK9tU`Ozq z-v0DJXPelDFjAIvIL?lCy~pJWTVpTDu7%WXlxq)a#EtRcjew9C@ptgUY>^W0XGpx3 zW$Vs4-5%6w|KXR*sdGUQIk~tV3|+XZwb@>Mrs22YkznF>rtjwXqyKV)AYLb({!IF) zmBaOY|BZU`{mXV$y_28???j&QQ}llQ6^^2C)vxKRzc-ly`6#jZee|IG_a(N!-c0+u z$Sp5volc9?cCU=fqI>~XtxJ_C!u2zrG@&KIO}*w0%JH~CdBA_XlO{Qe@D!Web~D0w z-JK!u>dbCt8tS`}YMlTh9w{I}xkBMm&iV86cV6eYq8V-;iccD9(-~b455OIfpe3fR zJNdI5H$R>k2EU&_=Sw3VqmO}$+WHxu9zO{2y?+@Gm2DHqU|5~6Fl#Q6p0cC)&gG~2 z^@4>O)?Bgy>A2W_-vNyf1oU%WaX({@%a&F>eP@;B*QOOJm?Ee-wN`{dD&o$t2x#fs z5tzAmwd6V|;=OxkpQ2*58LW0CLmNuWSx=ol0XG@C9ubKkk~R4r)dAJipF%PFl=}63 z%18xBFQJSytSf|+6jxM+O=$=;^`_(^yFp=5hWq?gN5|aXB$k?7`*;R%6t@*kOemgE z-2+L^o<22rnoPS9<$6Cq72}~aGI)Z6NM-|6D2I<{bG-p>p(f*TI$L#hRVO;m`LVOR zK*nsZ_!BbfvcQfwB=tt=*)JMQbM$PToGij3+FcjOs|{Fay;o?5@T|gi+|ej_{ne(l ztYLJM_N%!5&jJ0rP3hwj_~(Q9fds6rj7*Ik?f!bn(4L+~S6|=I!tmp#wH?jxQ{mrf zeq3h%FHKWRU1LLg8h%p;OI;iL|DcTiZQTho!#twvIFVnx+mqWnsoz)TfV9 zc~LxRv_kq=)y8NNrD_zpRGiZQU2HICTig9A7|vb)oTij|YBrRq;QU0{OTF=ETs_Tf%&>;= zh4Q`tjFz)V)nijhcgj9FEjJFbQAfCw`{zebHe*gG?l**DZtZQ3FRY9-uqsR;vhq8q zx)0==-wia_9S{~aYqu48V_Cb9DEbBA#`Dzd+5|MDn7;a@DFv@s9I1Fe(T$4h=!x6P zi}Xx;mLdg!Brye1(kVG;Egbu5M|l__SsV=)@alQbjFN-udsb$^##8MBX=mzF1KBwK<^Hl*j$Nff0} zn{sMFWctq5QhY_V7q|Zv!Exu~Elk#M_1O@}7?)s&%sD1%;6$f~gm~cFBu=kTKw$;ag6Lwvo=T;sI%{-$EyFVL6@)u>!TxjC^N{iRD*oKvqHLYIIllGP8$BOldji*Jm}3ia`u{jr?zX+siz6&HeQL+0p6W zWvEaeyhra z{hH9leUgW)>1KBfK1?AqLYXBYNrN2bH68gVp&F>2t2y z8?q0UhCwsh`w?Uwt|Z!Pu$y$p##YMpj=W(KDZ+V?I;o+5+ar zS>S9x8Bph5gW2e=NbBm;O$=;f=;~kkTX+ClVk2J=u(^yAa*H-9mDZds!wZ*}SZWQ- z9oDZ;=3j*F_$kW{KnlK6-4ZFUB7OfslGA!7FZV@yR#Je~3+M|QVtCKQdB1D1XW)I~ zXAV9wI#rJ^wLzz~ND?(+U3gedB~j9I?o++1sa!d_!H@xPkHP2|cg~!(yC@f$woOKM9wVD&*}rBON29Mf+(zUR#PX zxedv+cEqj(f;myi8ZRXA3>(~>Hwgs1MjUr&__EZM|Xu9{87Z_3O?Y#bh~aOOH_gk$?Uj%~yY7s1R`h}4}rX|9Kk zKRKQwuQ;d2Kij$6?7>Lo4=zwOQU$~Ty_jN@o>@E1D{gtzxHS;&?a>Hx`f-QK&;79a ziLzm}Mo%_p?7hXQk&%^xv8AIzQ8uwKrBGX|Jl-hAH;9Vp@%}NZ(E$ zi(FQ(V+W|Whb0DMzRoS^sHm{m2bXPX4k9_S*(*HwNlEnC!voB3Zq(_g$SnR*su4y) zevSH?(bpR!uDrKBelM@$dar&MeZO@LO-)VU!HC8JPW-K**O9o>{=RS9i1mI&nXfz} zD9_om%nOTYL*ol3$Hkk14I(&-cn22`Y-V0H+Fvnrou+l?Ic?KRVCUocVTo24fzxot zykbR`{Zsdou=v#&8dDvZu}oud4=v`jHB2iv7OK@t`QE5<6I!HTQFCy*-488$Xs6C; z>(xj%_o^6*XjR|?&0i}M&Y(rRQk{d}v`?GnT{obtYtbV^6 z+HXp6ng6lOfgt}+dHP2KI>5h_3ddD7tyY=gJkQBc)U!>XY#Nq%suWlFw(+H<)CtLC zvJZfibL-2=WO2!=SfqulrwNb_sNCYx^997>i#1IN7Nnw42l06(JQ%KRMc7d%&*Yg~ z2>9hPH6ve#9XRn-hX_)Ml6JB-Is}g|>&j@TT`+${1H;3H#T!5daLQktgDV-+4}rv7 z1SHVO1ygRS$bB(jC8C$n?Xr(uYUsX9?RuaZ6d>C_vTIW$hvl?xT9I_RhCmIuziTMk zkH)_rsXGu9gg@q=Ed0@&Wz{}I~EJYP6qFLm;%mvq*9L!MW zCpU@jkqa#pYY<4VFkNmmO80d(-R6K3jVY}1#`Esnc$$s495i!&kE+NCc?`>=iOXVw zxO8+nl;O0jir+OqEl?PL6m9OX*ksm&<6RFGikV3_^kT%8eU#;Xitb-QgUY(WDxF9)Pk}+UR9wW6u#d#` z)zS4CTTd67GA(boW{2AiNcXsi{5Pcrlsp$qu9;?S8}`+FQ-pg#7^2k7y3@9V7how04f#fUWSON<&sQ06o$E3+ zHl?{DYFq~1!46A*Mg}N7x-PHqJ0cQ0w~Wp~7WoVHva<@8a9V7*IktKUSwfsGom9>1~k5YV;$A{oBE3GLAxqnkr!_&j>4%({Qo3Z%it zirpY#&M77Wx*GsW7;*BJauU{~-DRU#m z8ee=bC^5e*zAzmuv+t&QJzlmBZLy|$7_x^jLA!KO-0f4kQDCRQK2pA4CU-4k!V2g`F6z6@+A?nDGFQy5IGWa41o@Nn}Ynfip8ANc!}qp0&199Y|qv zc+x=#zJvqOaHv8UUpqkZsLSAy^sR6GMYV-Anl@R2WKmrRh$5EQGF~%9l0C^8!!=V? zMAx>w-}#flLOI@h>zDQiwGeH8GQqQM%v4YC-k$F9W)15|T&UB=Ttd_91nP~bnDc7K z_|Sha%G$oKCEHBU}4Pm^#Mgm3zvH92|kylZ4oO7S!L9Mr<>g}oxNH9 zSW+r>im?GBi8^q)HauvUZ8Qc5Q%X8FYlv8H5TDI?Kv?5%FHSj5@j`egF&4~PY^I({ zUG&{FqMuA>@TrA0KOb3|D34H0I2Ickfs7@IdV(bt1b1D#us1%LL8GP2i7Dn@ zL?ZC1^B*GK9=7MP@x)>3oJ_wIVtDK6?zFj}!F&k=SuMEPAzy?9YMvY4GcGx>)$ull)Dp$AvOQ zK-cATZ;LVKhe7wCcS_v=Rke|!@~NG&;5=O+v>U()7_${qPRD^qXg># z)E%qqXnIq4#`1(cgzIRhzi z^br@-`&k6I@Q3clHd*a)oU^O$m48wJYGm!m?#{I){5}nKmOiz!vw5Y=I_vp7pY@RO zxmZ{e=#Yx1cY7kxcA+auakb8;pUXXTdjdygbvoW*J}ObEuQdM@=RO*@#+A6N zS7_nZt|@?FG$CVTYk|Xep{e8?z#)MTHKt}|jrd|Hc@UmAlHv(g_;kAH%W*M=Ioj{f z)?_zNtmaC#zoaL9T`2BJDh3#rByd#E+mOEB{oInKJ;q*G0DyB)O*-SeY~92ZDkb0B zcB4=S!}&S=<9<%Z>68uhElt|J@YG7Wi^(lO2~-KF()(d9pdQn_=R!2`bi8|rh~AT#+S^b!&l$%b*-!guu6d6>O=W14fZHbUECzk75|Udf5+DMn3~-|NO3m0#-B zUFA7D$oI~atXIoIuNUlDi&$TTR z_aDzp%ej+r_QdY#$N$)aMiArbxQ$l<2b{J52MGhb8JR>FaG!1kjBz9YJL?Lj3pQGT zd=3Wa{3-+p0W$HNW`%AL^4?%ngVcbI#chxwxlL>;_E&4mb^3=E** zTLf5&#UzZuT-=6%23HZ_5f;Oc2X}FsgX%pgOHA*f4))?U3Drd*SWH45{Kah!XlNAy zda#&-7z`%XltWldK@1M#HU-sBKd_jBJXnm|98^CUSYd`TV(=JZ3at1+?tFrVj}agZ zXbSF3hujVTbxje#$qA*S3QPMi3z6#-P%{Am-h1F^Gz56F0$Usm43a=t4P@Q%0`UMP Cvma{! diff --git a/TST/04_Formalisation_des_suites/fig/CA_expo.png b/TST/04_Formalisation_des_suites/fig/CA_expo.png index 14e03da07e4a0203355394214b04b151f965c6e6..5a813f729db730f521af15fd024f9ed583c99bf0 100644 GIT binary patch literal 10865 zcmc(lWmuGJ`|ia65l{h@Ch3CW>5 z1cag4_vl*h>ss%6_uj{Uf7o9Vq?W@?}-{+jNh8Hfd2q;KPK;2U|Ch?qaEsWxPV|tBu`RNCS{>$`mvYL)uS$Qc! zHKpcC`j81}BI0Y(u^BoL=BOKbAs_W3TEG6TMS*TzE%sCuh+iNijN*SR$#Cx;7Zx!K_yIRjEjTDhso5VQEp2*{5qj_5 zJ>rL%M1+J%zv0FO1$A6jf=f$FGyac0V%sKm@=dCjk{ABm}w`mF7>(}FHPM76&dbs=GeGxE2$6E0TPAFDWVrIXO9*tqm7h`?^Pt z#q(BH+KwZ9{eJ%)-`-^LU3L44-r(!4=Bow|XWSZWM%Xpc<2S<(MJ>$CI>X4h=YyHj zUNb1h!<*)6oR%O41}V2lNrmT>_uKu)@E4YrkfzDW$tRK@V}oc%B@J-xKg$sA2L_zHtfgCY+z z`K0>9jtiZaKTDh)w2KcX;=lFz;E&7Bz+r4`+}YU~Wqf`#@`;9XYsj`+;7^Yg(!Kx~)cJB|bwvcucxPL_~w73*8Cb>1W@W6ciNHOIpsi$;Ho4 zoLqLOIG_59peLM&sHu(C-ldBB8c}<$a~>X}&e^p~jN+cO1auA-Xr`_?mcHS!iat7V znE7zUh4;Lw=~UTpw8|c3wApxUcX+zx%aJPNva_tSI-cN}(!4&mHIN&MC~mijf1uBp zubLjOZ&xF8o5QGZ3g>2m_{q$T)u*c+QFKIPWNZ?NLr+QkOyosUlrwg+lm)+mhq7OGLOp{Dawdu9%fgr>8-k^uya)#bVSe3TrN ztLE%z&CuxhlkgTC!Jl$fE!rves@)VYkrHk6uE+j*fy&^QJmnb2 zxwZmZQNj45eHd|BBu%PyuQ818FH#um6Z)ZP_!Lg__ zf{x70Urb;()X1Ih&z3{7xIDxf~LHxEjUR3&G#N5rQY_coJ8?Ce{6_wA3Qu&2$Z zQ^u#O+B+ZcIN$?>VhJXwYBfpbn+ym+r^Uf)d%E;V%`{3@$ne2>1Rh!I?UEMzZ&RLI zuD$VSRhvGc&aq z6G>ZhN+#@-6cIuystt`I|5c?&YmW^DI-#QEGpjU1Pd9@-nt#J$d4D=ba}M90e?Hxe z1*2%TD7pr-uaLmK#KZ+9&C1cz)nz8-FoLc*JmY1MC_|eKZwpT!P@%ZXZAMgJg4y2> zSMt*l$pP>EaO$4N8+thLRYuugA(TSvne3M@eKOA8tp7w2C$EHq39c8b^)adfDwDPph zX0$Z-*;KtQFNMckIRBui4pf1Oi3y1NS?3CrR1P#$P(g81&0lsF6cky4q}_FHwwk zG1D)-XNNBnp{h_mNW{3y+;3;|mi~JKiW~(^`qpWQYHw&yW*Uw+>k#8TKq?R}bj=~|gVKhXL?ZULP+QM9*RGd*ymE=6NI;L~5=Ft_W%Mho2WeEFH?UIY z-^UD8B^_HYZws$aHRv-um*b_^qs)GJOYhrLlz?D1t@6rRbY!WM%&#a;mh+XFHZdF-6NcHzmMptOW19 zsV6gQgaX@4k@xxM`OX-a6a|zu^A*e4f#dl{OB!fdCgN5)K@nBdXUC5|hdX934i^$& zE-XZhoB1_TLwEFwveqO@j2fU;cxdi^cLbw50ffR`bU%AWaQEPhZ3)t%w*43uwb4 zwO!_q*jj75V-KCILVR#rRampJ)&pPlmJ0qdg`ZZa<;S4mrs}2;vt|4USz={eriZc7 z4#roRC?>>PygP4*9b|kWW~(*HKwi^3y2wuLun<9fT}2F*`3@)gGGyLzCWQE5?WIiT z&^E#4ChPL9;U4c5O7RSHEK-Pk{C(va{}8RLh_Qexc(>sLHyb^@j816A3k~arb@zg9 z7g{C>IZQu-txB=#L7B2HhXxp%4+st;9L@=GucVWZ5-f8U9jEPm9Jt!LUQ{)uLHe$m z;Wrf4QDzngyWXp{RxAd+3A+p5U$_QFKRjyJ*lqS73(Jg5j`Fd_^vFv5Aq^OE?1-#%}kz*MgEJv=x<@SNKVs*l3RAAjv#88L*O;Y9M4;m;}SrqYVsG04to466Z zsmSWwidzI0eUBxX{QloTbyVIPhBT!#Q3wzJf8^D-FiG#FR5yX$i-d%_*LKSARa7bL{w>2lAfPKtCe#$LLLSv+LPB-T-TRq&xw#6DA7`Y9ywFfd z6=KMi4Ufj5c7JrVzk!TiJKSB$1vJGzZqVqZOGHd;HdX(E%dG3x=sT0ZFfvZbqrEkz z$vQXwy~n^gB!|rSdo1>l>o)l`#Ky-%kXl9bTwEG)B2I?`RmN`b&J^3!K#Dz@CJ1kQSv&xpn0mRnF`x~&QtqmH>qhJG~ zRY}dtAdTyX+uP+Hu(GokSA--61<8-ZZLu)icMLWtfEPCIyn4FitABi~a5!G3^g^`- zw?Z+2o$J}xhe^V2#caBz(${Ik*lb3MVQ9@YF86PbZz;K z()b)?_9XKvy2NyLb!im&ZTr?Y0-7p)z5rPnt3X=eV4lIC2m}sXjFz8JwNxky+}cnr z)ltFbM9r67RXOm!(pT$c35+%D(!!0KG%sxVQQSY)#e{_gxkQ8B$J;jl zep@a50d_kMK1a|KY$OW{OEesQpI4S6;0_xzbJXY0YP?!o-snl~EmvS&rp zEG#@<9c0GE!*kMgJNj;=priyfIgOwe)l**KGw&gD*(IGj8?K}Rw^;QsMU69%+27wE zs$b=O?8^IzBbqtGROoT@g%@i@RVm%pV-dg^>yxR#&CJYZ*Vb5pBhpY)yZiqA`{=YZ z_DHcKxV60V-YP6%Bs&=m7}CWKtoHl^up@r^?Lv}(V-_S#P*6}qN9R7BY}o6dpsVCO zmakI;93{1i^cd#a!ef-*@DO;`c9h=>6fH#Y-2yGoI9 zwL@kYjkpo7asN`4N`9$Oc;D?JFVNxPuKzW3P;my~rtqL0xqZ$r8EQRBNk&w_ctezkisIpisrFp~kRZmumRi9CJl))VBH2V6ckJskfl6P&#_oEBM~Y~`0evs<-+gc2OdwNMRuG42#ebcCT5}+6EhNWS)~VkCeCT;Q_VWwP&-Dzr~Hb% zir)WQtGp{M7ed?Q|19r-U z4Gh>oC*wan%v=s6l1S<&>H!S@`qD(vj+isu&=3XTho(OU`L$NLI>X`--T=iSBL z=;UO?X7 z=$SZ3NkD=V?IC78cz?*Uz^pqSp+{zD&c($AU2$3HiW{h~(N??;t^sFu=XomyfrNMr znhxYBtf~`#mz%6{%5SFusspciJM`J_*@DeqcK1JkMSmA4!XWGR|C;MnLg0TF32>RZ zUY)=4i7ns}J`G*nmC`~uTs|u+Yw(~U@eT?1r^n4FR$uZuf4_paI*F0PJ3tQqsQ0#Q z0z5oqrPzZ9%Dqk=JM#*A6k!XYhw7XGQ9A$yY5JXP~FAuK$N(&7$BJ79Kwo0m)!=bTkyU)pA3;5aH2(6W0Od3@EJh zNeec}=1hymYnY&wI~CZ!u;OS|90vu-47HWBbGZ{aB+s%xG-aA9`=^-6@pnb~7yoyaoKyJIYeE5K0Qs;G8O3%pHRsUkwv@4d` z+QF+QaIC~wd}XSkPEbxlx>5rW8TVmh<4#wAX!tj)Ac{c1#rx~Jd-n43L2_##EX`Yl zC@U&z_HoYPFUlL1nTPkJi=*alD1j_p4*We`-K2w~BgpgTr6BZ^cW`){lb?@7OwOd3Hz#e5-h;K{CHbkcj4CPcXmb^nh+DUBBM{>N4_3yj?2FbOt_b|p zRKx;?Ye2DthlRziuRmMbO-v+HfIy=6)t6A@gW1ZdFGG3}p6ZPx@FbvE3zP+u!77`ko z>wA6%L>B}&3vDgKEB$JR7 z7KXnvSP+8=^J`ruZ89?oR3 zeU7TMsi;1IsJ!&l%mJbu`C#r;e8=@?{r%5Hv>5<1XhOdL^N&5jYW$ZyVXJpoY4t^x zg_YGX9%!Qi6dGF(8WESpCrUxDgSX`%yf*JmW&lYm((T7id@PWu1%=ALcu_-vKk%0PbFEvu;alw8AEV;uZ~e*W<76$0`9A?%WO_W?6jr>hoSaG%S8^?fsd&>SqNlit@8aMnS%!T5v>PcY|)v>X)+I{2MI@{n@#6u9#u~Ns?8rp z?sFqP6O@OA<-vovsIQdaHapr)p#_3ffy>j`sNE-Vo zb&UFO0{5DgCE3;8J#+#6{H;OGG{h^H1qe3ac!V?nUEY(c7xZz z`4Xa$qO*eKr+WVD z{xOW&>lpGMjG9s+>^SRhZQy^L!;kVREA!WbfuuxlGvaSsm@7q%j*gDum%24QJ=*)^ zUkm1UL8 zQsjCC7(FySJ>AsYybEMQm@y;h`2LhHd}JlRb-58|@kq`Xj~xAzL|zKEr=d zR9>9@8$R2d($WDlT`=2`mXYZMnbFV$JQ0VNhX<;R;`2E<@TkHlBKFT#PjQ)M?%=89 zHiF%_kqu0nx$LJzc+EMmKeZbafX5mG27*x9v^h-k@b7I zGXjiMr0Bj*(GPM3MyR5&P|3^Nn?X=e_u92<^a27p1E55Cx6V$FbLAqb*-N$nKdevI zRek#N+7vf$-UY*HXfP)eliW2tJXnPtNW~1Q9VFt^kk|0>q1|ggeEz?-&p-HlG^8(8 zcxlH2N{Dmi%1}+JCkDWN_VoXqZhl`M)x-=vqcbt4NBgJgDRB~ZTj$H(>hB@g84yk% zJg&W>;MRGPBQflIm*YL^XPgFX^rSfi0>PNDo!wnnHeLCAZ*Om0eZ2^|i2K`vpAJYV zUCgl3ZjuEI9iws;6NYQ3lKSMi!dEAZZr7jPz#JzaCRc&~jZ2G(EWyBAFOtQ;ISCVN zfw;00&_^x^%2w4!eug&LFR3&%GzPO7f%}RB8J0&qrXTTR+z)`C-nbu@hwr+x#l^NE z?y!VE62PBr{ddxkHE-NDt@zUJpLp^!w8elpAcvudKZ9bU`?UL72}{ex&Zm1L!s%|S zWb}cMCcE`W8R_|F3%b`M2(4cA<_R(Q1sUSiz#8i-7l0IR;omNLWq3FZcg29o*(&Ui+gK z1C8FE6?P!hwJtQqkBB@}<6OAINXvxT4Ae}}i6v$Q zg~VBq3L-0qy=hY6e#9>1ouR2j8(*7@&W0Uxw-6N5>iq{5Kki;aQ<$I z`)#ptD-fu&{VEMTJw$D<7q~3T%UNFeSe*ck`$Rb)W%*@uxRd~k8oH__g$V$a$iHF@ zRpF7cL%kLI9dN^6t9g&ty4Y0s069YZP~qB=+CLIpa(iXqBJc=Q;Hu)M<=wj=4?)N& zgEXI2*lqLKvOcKf(X^rfYI>l>#m~~!I1xlEzXV!htR|MnAoNqt`6YKbDh#7-q5?ho zpN{xg4*CP}|S`PnfBh7b40?Q;QAS(~%2x9jT?N`*-WddJ7c!Z#k?qssg8U5g+* zQ)PW^z!H~4its5u1Yc3$$%o4z^o&f-#g-zGm6ID0#1&LgTIx$rFlz9qStr(PiAzZ6 zF3`-UXJadTcRjaLhfu27pdt|q!?!H)e-1|oI%aGOgJ_?+tPC(L?E=>9pmLkY+}{cZ zF9vYPP;!1+1xHy1r70Uc(OOOKzkdD7D5SBbL)ZeG401!OP$#oZ9rgB!A2`t?%MkwU z+c(VHJUjvX6An^-CdTQqig1C>Y3oVH==U_&0`9lMelrQF8e^nQ2PavCzW$h^q+h)c zP>E;w2@f;tQ+F_R;pL%kGi%$Aii%>7p>)5)`gD17)FK_`n=zGmwK;^0TJX8_25ILl zyZUWeUS;}4<^47RJ;Iia@hU|?B`~flu}T;~HoqoCw9g0DEqf78`>sSan*kbom*&Mh z;gXZV%h?OxaQu-2wT!eSR^}AV)$f-zV^dNJ7ma25shlc3Yf#;+HX9Fgj0G)n%NrUw+N^UI9+gfvfF3&ZTkH%l{|6j zy@162HH=DhJ1DM$Ae_$!MG%TZq@*pC^$ca zxct(SW8`Al(;!bY93fr7v5D&gbp6K(FX^?7o)B7VnYSgs2oECTC9Xofp_GZ`zF z&2wj={7g`8ljYxz4@>HILacAOJ$T3+VC=R1>S!|a2_<6GAuBX8QoFNRe@n&>d|HN* zqN6uWRG+t+92|79a^Nd(f+-pmzWov6WmJFE7h)ZWdI+4`bkt$fxsj_GMt}*jEsYydZN6(DDxMX zUX#y}hi^5Y(?%GftUiG)0R&D~mtMX=P@$m>>fnnHfiF(PQaq(j@X|UJfpei+b>Ou^ zM?VjxuQTxRt2YQAls*YT8MJ@vs zCOcA0qsX%%6%qw9#$j+X?StyiCHa$Xh@YszET$_gPhR4jEvxCtWMf~x z2c~lGt|QfTNu*BR{t|E%Y^cNL!wW-bGm?pvcN$V*oUJH!#5ASh>(AbJ;rIU znFt}d@vA(=FTm6{$7O9;*)b^I#u8tB+PcG4mPb!grs7gae?@^U(erYlqOtZqLrf-X zfCny{JT^BqRMCte`vA@z7M~s_UqU_&YBO;E@g{}Utm6YvF)b(&d+l^ z=lt%>|IXZdXTD*WZ`b#(cdchV&$C`HS!q$^2Y3%|+_-@(_EJdx#*LeU;QyU_h~RI` z9z^fP4H{B0p%+lQ=#9zyc9@H!9NYN!ZX&P-lC$aDmqq@1k6ibGaJ>5s$gR*qF$_s6 zAL#Rh0r@YwS+d!S=usugnr~FyKaq!v)4tJ9>m>=yLl1K$DfFfyr$Y~WdU9GjeH6XE z@WnuSDN^6!_$qh(b0pWY{t_RhW%phOZ#RZK6uPg0cH;jC4J{BtdW!D0h5zuuZm+#O zVBoUdjAk{RQ0BH?Bg3GS4j~rwu#2-2eQ)!~>?Uy1~_mzP(dlBT^dItB)$ zdTOEOxOvs)!^P!LX$?88V)mE$=778BxKNJJ3og=JhMMC<0&c69^$iV+HO;y?N?)S?`I5|~yM6!rRu^CaM$;5?)(kiu~I&UM`@3vAN1Po-pj)N&~ zR;<%+b>rgV7MhH+!}!nr`@$4TP7l`CYmxC-^Uv{u&*q5I#^r?h5NO}`ecC!W+p0C& zhtVc7^Dhq!KqI-WGoS4=Vidlg6}aGuWitvRBO_~>s&=g2NnQIOR*cuy*4FnaDkzAg zJ)9vNkL{h^a6+gze~+*aR%`qVw<1i#AEW`#|K&W_LP*Bsfvw;QS9Qf zcL`b$xZ;(pw8ZC#C|#ttYJ;;)9pR7CV!@1 z+N{*NIvr-#ZM>(kH9qO?GHt(1sG<4IP-=BBD}18Nd_K(J&1$jfq$(onlk9d)hgI^E z{@Pnvl~-QpLE$Sl-6G4u$qjq#>1$$s?XvE2+Yovdj6YF3l6-Zpkvc*3 z=qc{$yV1gw%d^qfaiM4SUn&_h6j_Gzw1z)1z8jz_pZDhxcR~r9KMl`wxjLJcmz90$ zayCAl44%iq)o#C6lr6#OVqJ^jaN=Nn*ocDw1@TR2;vnL{bOa@uhJM#UYM;|8L&?ql9> zue*m#1&pr*QF+N;cgGHHIy;5kMIp$aFi{yRQJX!(RUTFPiCtj}?xlO(pO$OHpMF6G zZ6s_x0997_wx1$HDKB>8Sk)^f6lccz;_PU6i!^qxI1eVZjJuqsrG!4!9lye4wLfECB1rC{10d_ zrOc2JBB$Qfb^~g$@GEqJmZh#3+8ov5zBsh-o%!bVI*gpD=Z7g(NA-0Bajh433G~ew zg^f_Qkl_(w<(fI&VsPF;I=R?#$;%-#4qvV|FZ?w0R8^7Xbr;=Eb&j!P{H;-?qWpr5 z*kGJStnLQee6#7A3W9O{wKD}xx}BIpbT!*r8IiF52vU+)b1I&zUY@v~Z$?fo(7$Ey?us}6 zDz+PUvuaOz!&!vZ>gw`hY`zEVvu@rCB&61Rki_T5X4k8Lrk-h{{;(E2?smDv=wV0P z*-}a9zOTM=&9x~XbaI@?`fmo;6_t*b47?_=&l-NcPRNiv+g$w0V(^wo;g}$@fBwt{V4GUrW z=@&dZ5ZbVm>e^b>;&-iK5VfK&D}zc}gGPlbu}@eGeX($7_1iaJqm*I!G+um*yO7Ka zxGVo$bh9p5wKJXv>2(8V(vRw}%lr3w>Q5ILT&Mv;1t4rvu-AQ);+&bmi>mE2McY;v z-Q%6Psp?1mq8;l8$BM4taP-}ZxmyOi)if1XPsocWdLGo*Rb~$nhS{s0kQ09Ct!L}p ztl_?Z2M*vxBRR&i?btHO4+}?&;acy8D`<(%XL&*iz~o9=Y6nflLX#l_yo z;K<(J_@GAeo|N}?-vf>lP0UG`fXPZ*BjzJ3u|#xS;aBNDe>l$H@SDS%7T2&sO7g** z^mBEqN;_CMt4ST5RB}J*oojdTQKwoAAX8!rX>AA-W!u-BR;;5lEAu zMN_dw<`n!{p%Qar(;z!633c9pj-aaUMo$6Fox9<>&ZM{{$A&zaI>HWpL6R}waWPhG zRA{v-zo9DJ*Lc9@vf?4gMr$gu(v#p;Qt=*!aYuo?&a!9j``(W8oARVn^fNyMTok*& zz`(GQ(FI2Zt1I3wH@-0T(g^rqKuD}ku2w|(`>gxZWQI3iG~PWTNosp64C(Fdof7hy z!?9A(9XGGWG;egphObKN_*`z(U*BEX@j=ti^R7bOx0p0ROcsx)um{^XGwQ@1N*nW5 z<6-(CNKd@i;^NC&>ioK%qfxURi6|c`r4S%i993U;v$Qil3T@CY{Xx@#B3%RWJXLbK zIOpet;!o>BoFg+1c)71kr>e?3+~`aPznjpd-$0ChKJ)O&T|xp^r-U1~y>3A)p*3?) zebwB1+Jx&+HqDC1U`D&uKY#Mad)}m!cp33VVK&}-O-?4Sfu;LdQVxmJ;fUrrKj^ld zcxD`AG-`4MW7UqfCKm}6SQ2>Id#k3ihvgQVONCU62;wGHMO+(sygcrvL zJ-!aYX21K1+P8~4n4wN2d5S)jt@EZgaY?a8(k+S%5{ceWRoO1bI zlgQI^b*YY8RQ5%3hYER9;YW2Gd3C9%%J^pY)!A%b6|8udu+a;{)Qoz|TG53v1iQU& zYTCsmFl2{HCO(b}F_KY^?j+XyAR!?U zjDUK5{`^qq|M&%S1$o$BC&yw|UQOm&=Tnlzryg8hpl_|TINl9`GN_k54d6YDs5%%@ zL&w9T38s*uVej1o{oUYnf3;A%?pEY8`$Aj$YKH?;v9R*;a&&xrHRI8vnxkqp=Vg4e zDq>XLec7j9#hh^j&#o^P9MQ8!f@!xypp??lR60637N`4fxh$7_9};pypEw`utPW%Z zQ;hgvGl+Yl5PDaq=I6^kc<^BV1Z2GkM=V&d6dmOt0Oqy|>-B|&)?oQkQw=yB1|{t{ z96-pUSYfk413No}99HZtcdyr?p`nSeM}W`efY0$d9=^1)DuVMPP3IGX427&P$q2?5 zsZw84*8^oGg5u&Bh>3}r4LfjJySl=*x8FxH8+hB0VxXbj!Dtu5Y~4BDneR)NBjvJM z`LeLMD7H0Ky|`Jq752gnG4!+o@cfs$x``Bn`}%#&j2d6R25kAxy7TlRa1^3x$#aDonp;O(k1zJyKT2xmCD6oM&{v zh=wM|SP%_WD|$l=JKYad`DWN!?~b$>EW;PbW;C>NFjz>yWg!H3Jf(_?N*}1E(Q?Z) zeSQ6xhK8vdev~967QwEj87ehS<-YhF(s&%EbhcCWX&te=YNtnAdBZPwbCf0ozQN9H zBAN6&e2Mrqp{W62QP$#9(QE^V06#6`gR?hU-3~QS5Um-{(arKGpY&aJ6n}zD*kE$d$~XNFQ09H zs7!%L>XFv=D_qw@h{T=Y#f+;_)!nwA-Bnj-dj@KYhC>X#=hE;(smQ^^jC5r9y=FiK z7#!qT{+6IdUDy-p`_rqL$!%*|uNgfKnc$ZpqyJD$Yb{+NU7ozl>*rzzAdcJy_=v9G zN2+nuuOeT^_F6}%VXiZ}Nr5ua2hxgr#@T-T^XJbWg`bOA&oz3XV`0JN)e!MrklHk; z{O9>aCgX}84{=E>mpXbA?laXeq}r}elz%IFH<&qKZAS<;FF!vT+8xWA)nBaBge!T| zlX|k}mb)K5#~L%4#`o_h5h$hyYlEj(DLG$xY;zGRL72(plSGg&N=@JFKyCMyq%u^# zr5-J34R>ld7Dq#mevT$#_%ML{f1O%qSBpU*`Q>eY>gvkljj>|dL#HBvqmA)2gst!r ze^4>hfoM9rIW|%TuctE5ho<%~wHgp@an54Gg5Nni*AVbKs{^r=JS-CU((!0BXD?gV zU!h0@mhcs)y6&UR zd}6dja&Hm}t>x~xa71Lhmlvl85*pWEp#9euY*_9lH(JOG`|P)c(vH>dcf_dvk@Q2i zD*+B&jP`q0+iq#Df|eS29dxh7f&>912&({Vr;503CD93FmjUSDeP!l)kmpgnjwSnB(^|s` z%s8bT+PLVe-k7w>2JK;sxj;)kz`993XxJIG`W=-V4q-n*JZG%IcGT4?G(0Xm9p>^) zfL&j>zDbVdG#TI)?r*nXx#^bx)DsJt{%us`if3kDTBGQ_A-cX0=T|guk}EuvS&7@X zu(Tv+XIEr586yK+JA|S3Tt008F1Dp5HK*2{3jX~g5IVY$j~{QvL_cF@E*z?;o@joYwcGQy(0~tl90@WSp%OU6pkta?tl$Qd}TMW>ViIO z)Ec{fquBGk43AHrS|XVA$ar|vfZG5VE%n$BpWAqtnB+#oxuLTSp6zvRcNc*K=I(J; z$%99Y0_0K*w>23PlU%T#gG0r_!a|GdO$0J-?rQ<+$`1mw~f`Y6NqfiLBS3WJ`7}tV?v{)OUULDSh>w3uoWW2oA zavW6UVx6F=hwu7&*wkB1N2%}_FXoxOJP;FA?e7WMSXrUVq9%ixp%l>P%);`pvyD<~ zl%YP&eIfx+9|iN7#Yld`kDJs9CG%FDCEjYR+vg$C_dVq#*{d)LVT zGI(Ps=WB9m>bpdtEKGMX(CETGeY&j?a7DzV`$@gpLBZt-w^ce8*v^tUUz(4 z5nWzNOAm>PHTe@}1w7Xh1%OGX&L&9=@WFcN8l{$hL#fThe*xEFdE#j}K%%y$e{c$5 zfR$b6;@{HqP6%{;Fw0h=uf4M~6v)$dQsBK9p8(j=2O60>s&8|$(mJzL&=UnHnm?fK zMlJt8u(}&_u-4t(9Z30jL1YmT5iB)qeEfC7*hh@o&f)YLRvu9xDO$e}3+i`8b1^%g z+Yz2&zpAy~oB$fy#K=?zJZ@&hVzR^Kx%~wPsEmnaU}^02C5fUEGT6;G`N121B&T^| zZbSU38zOShV3txl*a+I9UQl(W`dk@H%gYikUw)QmkBy1RVd>ZY?qs!oTCbkDvMU_U zsC^h^voVJ0h@zSfHi{+x1bk>yhbv)@$W>`pRBN+O7=F&Z4ZO=&yfefU9$7cnx4=JU}dQ}-_3G~ zX}}q4hF?*2oE71V$=j>Q{B$^_T=Loq~!GU zm+uDB6WW3MLaR|}Q@v=L|L^kVwOIJPzdkHeSXfvza!;WO7Ci!alwmw}B~&4_1@DAbe9^T->`vH7PNXRgQv;%r4H2 zB&Bk*B5P#*i)^p3@AzB8?pO#ghC(rE6<>l?`u*|Y+pNce78Zqk;(Kkhc_C$0z=SCT zo9xQ&`}uQvh4~<(JBadNWL6N(KSS`xt-8OWGPdl!rUi&C4gT+DEj(9cTmP1;a43~+ z{X3LWLo=1~rXUcphp_=-ZM4^b4hIa7j@(Gd9#p=*zO04UC=YH%AASLn6FN-8uYhrcr!{tak8lv`ej1r`&jIndAJ;r!>R z0epq}{V7wJ=~rzKN@fQ$ z9LeWmggDil+!Ql#Pd)Tc@MdJJy?C+ja)qz4xrg(w$M}P&9hRq_mV%a6T0~}f-64n0 z_S})M7p5GyLO&qfZIfWAPHwl^n#y@qO$e;F9KRJ=qJO8d}!|vkW#T$}y)cz|V$*?c3Yi zBPSyh!Z5V4Df#5-*&agusz`14oAcU0MxjmvA}~O5j;!tN?fY^yDs{KqvDRu}XAd`S zf!gH($-L4h1u`=^>W|DE^TQ`3%n9}*t>e2qp6>(XMmMk0>7=j(3InCEYT@!vS^>JT zq@-_hN{YRUe?UMuuy9pMO=Bji>|aSoa}on~u?xw|(yFb&VmJ{{vH+-SYEKU`HqWF;ve8ThRg1Y-M5e)tu}L)j{D2}w;u69kCl%4xOZk@#?~ z2J+Se(AWkG|CY)Sb^%N?5fKl4L&GWN*<;IY-n9ETr33Nr$^eXWGo1h>XaLZx(0W}_ zrRYuIDvX$fBvT%&r_^+kjEzk}US7Uv5HOJxuRi{SQ$Yb?Y$nsRNI>a;gAP^9Rwf1> zcv0mBz^7dFo*7iQUr*KDFT=0#b6GluyA=fc))*t`LTgR`FX&to1$FadGZw>+9-so; zI)OvI;6)irb@UfRz*!5REPP7Pt1vb(F2t5*PhXw;fRRBQ4}S(e;dNL!uCY^&oB%B; zy@G`qykn^Ok;lt)SF{jDPZ|okTHv6H!{F7;$OK+hjSt{EO+PA+Kt#D;tdys@C~YbY zXBECu@|)&>IN@@>kMH=(A(Qrz$L4253Y>>1*osh4ACWZ!BT`Gm7l+t#x$B@rJ*TS6 z?e9!~vb}|DaT`=xD}tXRN77eP z-v73jQ5r}vn!_l-Fh;|GwMtB>e6Nb!wrP5GD1QNPe3l}=p^{>_#_}Q zxn%M`6tmlz6JG5}5G+^(NgoV`gDufqmip(%JKTp1sm|9r&}4k*@(Gx0mVf$<2sIu6 zk{${&Qhd4w<^!4jJF38Z(W)E{-o=poV#y~bC+O(tiNSuaU%!^Hvn!K~WEQTpzInfx z>=%l(_Xtdun#K8bQUJM61Y8M_@j($0>0)fWyc!l37Df0R+}x*OtxYhE8YdOt$kx}_ zTb0B4p66el1l-PGqo5G!`^~z@Rx8czNLHN6 zX{1TV=!0#%X+{7i<#U-j5B@1Ou3MPV^rhbGlp|kEi^KX*=D6^IG`A{1YO_i*IGs`d zP|DZsUIFziz*){zz+H)b>oqX-n0^23qJNrwe;60AtF0uYMgG+*#@r7&RX?xA_GCNo zLI!IOF^#*=wnkgcCAtmNbLNkJVaTw;m9FbK7&0p%q7YCqRPP7TH*CA%2;XnOWq;cz zekb*2o+J1O>mxPKI%q$f!nfAL(5jh|mDRXT zcXypg-EvtJDIlsWHB^yhoKmg8OHOYunp!N)ZBGWS^%4Kl`fuWBGhLK&R8!nVbJVWP zXzyWu=P;e2ZT0r^OksKO|0W4msD6; z$`bHxql9*%0d%Yt!bu8*0}K{F{6{V%1I=7$xh&n<((BT$H5Wx|Fbd;cgPY*i3atyD|f#<_pEIR0gdr30siQo3M&*f06c)?txc2-M z2WbRbHT`87pdodQpp8Z}nSc@-yYtL`S08?w1b%iS?r1G5@14XTIQ|f!UgI=+IRxzK z^3UK~`7e+4AkQ4ub4rUGkHFlUds3}GRVu~#;#75H0ja-U#}NM?jPH#M81fQ0nt_(e zzuQ9Em#IK2mF}wVoqT#YZU#4>>6G)IgGQSy;)hq^4BT$+t<3+X^Fbf40rqq2U)BfP ztm$Z>@UrX=>p|eitrKLf;7yg7d^Mh|P{4wy>N{w`LlF{KNAv_fu8krU@%@sel($w0 zj=!w2DYJeX&QVJ%?T7o!Y6b8kEns#Tbvy{CXF6cB3-p@TlE})mFmqG@C(~X6a0{mf zEW?xvnqNwPGm(qBTX8D*;Fg*K_W$<0PiPd>_U8!kHT^}&_-ABfgqG@sc6e>g0UE9k1O&H%erFV$wIW@WOuhw)2Tn1{miM%Lse3PC9gF2|3?EEY&#O0|asCnF#yxiM&;`4`WQY-JWxxPDy{v2V z;?%6L64UcCS7G8{q1av-DM)fgtpsdZ*l~@3Qui1j{`xwj(MY~dgH;f^WV2V}hgB{& zDPcXkVGUaa&cnrwqGWFbnH#MEoDEO{^__Yjvq#_uV_}5BLodz|D62=TX0mr<&9l%jXm1d_6IJui(>>;K z<$oF-8O9c9FUB%z!RA5}j7|_16>Se9m#|Xh_Z@tu zQ-6Eo!F>_%JlLtcjYR907iXQOW$m13qGYl~sYAIMSvgs5cTwAbpJ^@cue~7jkO_YT zl)n$8fxHm7`aRo2m4d>0Zzw@ff&|D3>_C@IzZi%R@3J(UX>Su+vR)eqY-|*g%3NJt z1-O{hX+`D*j8UF)Bn4oon(JDeADh1&NDp+*U>ukI&xmR0+c#}P8jl)HyV*M?!ZX|* z8}(2Eb6%p!u$5a)Z1sSQx1OKuv5g|~ykZhUy+36Hh&TK&%V?Q-5<4ejpjdv^n}=Y z8K4nUT{KjxsRv>BC>)}e>TXer6l{KeJRfjS>G_e%s(e=4(>^lr(Z`e1qE?(aeH3>~ z8Qy~stXa5WPISzJYKZBVfYJOxTq+YBe~YzQpP^f;yGyiB-~3@>O=zh`7V2j7p)CLB z2R@tV9YorGCZTJa-vP_Rl;pdkHp+yy0k_8!(DH^bc%wI_P$Zkt_UKCA4T@vXJdGsD zsJS>CfAJL>b4-5-?0#j9M%dBha&;4)FAbhxnm+=_33IG~&3jf`$D22xRwR}ozViX} zfH+<~l1m8<3?z<>j6~TK8#E{JfT$Mr@Ynx)N(SF$-YIa_E9bPD5M%csJ#AJ|%S)+Ck_ZfkE}%wk1tjF%dfBF6fBeDrKv)Kihxo8ZxB;6t^I<%lmrAMX4B zqqpnBgzzIOFy0E^kAbh4Zd)lOLa%IQpaeTdKAW7~5b?5Vq#vGjEg3j`XFtD<`T0BC ze>{<`RjavKHt(M~BHXON>hZ=-VZmAvswyvhgb>xALTy4~2~9ekLRewo;!+_hMM%^A zjP9h~TtUc*DQLGCs$^`YWjzZekXvwX-uRw@lW2z#F#bYVPq}wkrS2Mb|7TO@FIT8O YlNR!ui&EI&)aVT{VQHaU0qu|f3m^A}%>V!Z diff --git a/TST/04_Formalisation_des_suites/fig/CA_lineaire.png b/TST/04_Formalisation_des_suites/fig/CA_lineaire.png index c4ac17833824a6b291cc2466f5d5575fa5fb9815..bb3eeabe10adc252a06c0779dcd6baeff249fab7 100644 GIT binary patch literal 8870 zcmbt)c{r49`~R(|BoRpzNhHa5O2}Sz#=eI^r0fzyj6sQ_5HhlhvF|%$Yat@p*D;iR zory5^e%JK$zR&ygect2veUI-yb2#p~=f1A{yw3BpoTp%IO=bGS?1v!;qE}T>(1jqX zZt(Zgp#$KPPI7e%g1DVj6>jK1NLV7!zC7Ny*1X(y#s2~ob?~7_j7Q_Sl^#*Q$8f<@ zZFw%Wa>E&UO0ET6pbF->`1a&c#>neZn(Epo9x{srbG4*W(;rG`;rGpVh(XIE3VUola6ahJaxEp#(tU~eG36|>o1N7|1@uE(PT7Fwm+k0Q$ z2K3jVJWVT|6VWr0W5o?Wc1eLSc#!9)S9AT|S|R?KP`$0#=!3MreA9s>6j6L(pwL2H zHo3(*_<2v0T=QwAweGoV%UFSbg2p^z;eij1!36t+l0fyo+bso%T2zO6;7zym?4OZZ)hgzh{tj=OYv# zYKHZ+q-{hT`Y){v*6*yq2kO$J+N#}V@~oS~h?7jIQ6u2!343kD*3FJ1Rj%s;4SRj% zEkX@D_qW$88=M-p`U>+5^G#ei;I8krQw=A}Y2OL)> zKN8UjuA6IxeoL@anaxS&T;t+Ye5PvD`J1J8+D9CEzB#8@S?bMqUVVYrjWSHC`v;B!9*Ti@0h{tT_TS5*aI%BQW`or_(5SL5Em+ZGA z8t(FnqeXj7WbRKsedh9GZNi$hyDbj!M8?1UV zQqCf63YW}6wD_?V!y)TCvIox9H1IIXi0Z93{#3AFpS4_zcJi>1xmOdic#b*+W12;y zJy>#os&y#GAa{gTS8xhs)pVU9;%1VL0Plha!8(p6Vz*UYY+6#IjsSsP@~V z8ph!gn`iK?H0AJ$Gdo`n5>a&>8_N?;tuOhVf4I~viQ*gl8WvgyNcZs-PM1AZPn462 z5B=b1yq_llLlQ>47xH0jbHX_f7KF2Sa;gMg`|fSdRQPP(uUYMe*G-&)U$PE<=vx4f zff2uF4fsq6Sh!9wt@>`6de6RoQtLZogg_d6a#fz^j>tHcxDl<6Ct4Am!Cv9)en({aP@nDELrz zZ#kTJ8_S#nqvoD7k2s(Zdh+r+UZLvgIETeu@|dS!%)8miwb`_AlREFU5pqad9eH#? z^OZf}gWIJhCpcfHO0bl#j)S`3>GEMY!Ixuu>y@yxv%W+CRC?P0W+qJJhYLF^kPoqj z$tKz$jRoED#fzxgadE?PY&q#Q9cz<8hbkROROsG%0I=bEZ1OyKF5iB&r`LKXxxKBo?+% zqkA;OsvFnC{dUqiqgul_BuDxh)P zVi&XRlN~6fXEr+ca4gKq$&?jFsv{?%#$3<~rmzUi?c^7+V9S#s0tNT@e0Fa%pOXq! zn;o6s{614h=70H8zPIE!k`Q`Y{K}X_c?LiQKUN$^`IZ7-%{|4?+r3SXi7x2XE@dL; zpjiDf{Qx=x^_FsG6A}lKop|RrujH{6ScGmg%u3 z^a1qvDM5^)ldNv+6&uH?)@WyF%wlha)ic}x(Lo+@3*TLdX>eyXu5WO|$}-up>lj5B zcq2(#9db(NIdtIjcV)L@cfUQ6eO^O%?U>v)HtIPsSn;s5%rSmjLXM1aCMChssJt5ucgu`F$R}$M zj&{XVWScU|Zhq8Sob5_0Fx{1Fq{6 z#}jm#BA-Ihi{TO*2Z@r>O4dN$U6D zt~BVLU>K@$O@n`VO;ify>VLx*+R|5n)a{32za6WXUojw;;+Pcq*0lxreQGE>jIauJ zlOnMRVv4)BYuEZsy}}!3g;Q_1;tJX0uAS|2y}oreB7-gTes5jvlQX`9?W@AKTNuTz zD-o30U2|l;rAv-22xEgYU^+|jN+z})gq~qxqM>qq=cotF zQTYytIp6dHiY!WnI&E@=1M9tV16isZm73-fAN#U&&SjuACo9yvL2AwksOGGtVbV=x z=0B70m4&9{F98fVWyJ9_(gJy1ui49UyOLi|=1{@rgL>;1_Oi#bR4*{Kla1fckqeK_ zscDBGZ98LrCTiZ*NMqq^b~Wrad30=us#z=1Ues6Sg9Hou@&x2%tYHCXGgIiBF!fI= z8a&-svCNM+UArzQgsS!0niFLEN`O?UdCSNescB}Icu5{)*d_8E;hDk;>FIg{X}->ZMm^X zia>-cQn4ePF!z-Sy_0I)S6Uj;(GiqolTMven3~0#c2}4V z@1atL4nMxR`BZ;HM%|L;Xt-fp;1UGL{4>3EkRATkkC zo9~}6;L&8l-NO2o-ZA>|kjK>oMEqc|npTXs!>lH0eiP8xFo>ZJs|HJ54lT8<{yw6efyq^c_) z4=6TK20hHHQ@u5xo3E3mRDoPD1j3tZsVPB)fm6!XrVUe$B33t3NF2OEMZ`H}9Bf!4 zUUbO72w?-{U)fOUT~i9^&33-VBqlCJ0@)?v^z~g}f9YKb5sdjS$Vy(a2!6@c>-}p!!s?s3WuzeIolE&AgYmh+cuwS*c1n*Ru zkZ^jSPSUFJkmS8D{u*&tKk^Q$6xObUB+B~9jFsr7tFag#fUZlyY8J1=#5`hj<2LYI zD(#SoC!=!>^Yi?E>=nQ(UB>DQ;70qOW9@n}JO&V+LqKe;>=oWn5gYRc3k!-HQoeo5@oub^dr2?Vu<9+0N33R_Y;2wj z@_lNtc-4O3j-%>4DnlPsAs69iLB4qTZnUeP3VLxN9Ufg0!cwxh@lm*`9;UNTXfc1^ zudiCeoA)F#-mGwugb$hzN)Af^hl%(SSeKT+A3TS~d~h2Ogw8YHCllh`Ul`?Oe;uc; z5x55kHJwRZi$bd#_AM9KMzZYB9l;lVtxE(8aX4{6&>W2a*Ao+Y(~CUIkQDoxaftda zSOIu})#tX63;Np{YP`DVZy!4FGk=az*0xYnZvoc)FgL~Uo&^t;UyWNRsQHZi`Z-Rd z4K+grRdq({4oXfwJji*^;5G!c9Dm5VezfbUS+tHGTLr}tIAnrsVxe5!U8FcQK;{+q zzP@{Nl!5?swMCWoVHdxS`u*7L2j6mq(|`h`Ts^?IG*rr$QDO%IfBLV$&mXQWBJXT| zUkYH5DFPK*GsRvVA0NMf$u}tT74TN@MMHIF|{ z2toeplyich+d0_d>qp5g=fWGmV?cba{zH7GemesYpQLm2e~XWlGU#Uf6(6HQb0=VV zTzmHA*gwyC_ncE&;?_Yb=uIHggIg{d9)tusdV^8q~dm)O9?`nbS>UHbNJ z)WT;uFy2I4RXr_AJHu$@o5h_$X>ck;8QJXG2 z4aQ|`?+l7OI9yArsmOC_UtrC1ID$>9V#=QGl18mN*4qGhssL7R`0M*82vre{)|5?8 z5w|X&AqWoo@%jt;Y||9k-Dhz%TiXBA{qy96(Ds`K8?BXliDZkq>7A0~^LB;)mVi+@ z62vE_+xu4ib1t*n4Hn%pEVfd_SGpvlG{{84(q~Ch*@w_mcn;5zTg>Oxi%_Jxf%dN4 z6$i1AdjX~gq3aU=gVso`+1V1$!N+8r$?KJ2hr((bwX#%Nk_d@NCsg}IEeBx6XDdzY zK?csU5}P*MyHSV!ykg+k@GTMN5HU*`8u4ZiNx-$^LWFEuUlzZXe`4a{Q6aEGz^X?1 z;C12d3;p@DvL_)ZQgB+qq~6C1^mvltShtzaxRh zm&2ZJ9}%R-T7*#^|CQ-NqM2^iLfSXfC**5&jXnkI6UspmJC2g`P0CC5cDHL_gnINg z?shhnQg@l1p4cnfkCD6uA~_FLzV>REW$UKzBfb5FP8N%r39TaAXvaE@#;YDa2X@mN z-LUM}v8WUZiI`?!vXo|Xro4df8ffipG1qCkA|TMl+xIbwuZ9GVzBtwIG*r@LQsEf; zMV<=c+63`AHo#3PSu73ndX{VfHZMN@)p9)hXRSQ>cdf+W{w%29Ko7K2wHbfP zMOp#C2n5jUZ~~<70r*1zfh!AT7il#J1wke7VkzvP9Cq53roK-W94!i8dN&;OoIYuE zrwm0xkjhRc2o24GRuo%3_)WMRSA*E=lZlt-A)Bz0U84uMv$>)UZ*O_FIDp z;9#v)*I6L{m&^ci0gqJUC_T>KL@vjqE5H>B9~+9715IuUWaA>}*tkVoO1RHj(z9PJ zawgztyc{8j8U{9i-d;x{aO{>m7t=H3#^9Js{4Z2uU!1+x*vYW`UHQl^V?!?sg^8rJ z60Y3>_2zaCrT7ulZ0?)?!W#v8nPJGq!7hN7cl9#VixVY1hab_Rqh=;2 z2Vb0(&ja$)u-x9@l&o(pa;}^A)j1IGU?3|1#|%4P0m*!Y{&%_dvnEus6x9T&J!32 z&Ki2?x;+4gUoMB30p$V9@oC|m^tU(r3r?Scpjhr{1@GC;vt*a(iw5H+tf|MUbCh%9 z(v#8aH>I`@LDySDfU}W$(AkO+TwwYNa3v4)BSr5|s??C`w^Iw~{y_-=(#U~VSTy*; zZhlUb9Oy5!a6!~~l;;-US^;F3PfD=t8tT^l*xRP~ADyv)8I=Hea3->Tl;eRTfLg~P z7l!|4C)QWmglcZz?8N~d7y>VCl_UGRatxkP5qUA&qa|B@LeOMVP!hdW2K*Cj9tS#7 z_=9JBECGFZwu#&q6B8Q{GzC1kj{yj@Nw8Vpo#p2KYPY+lIQMLV&-eC=NxV`x=TZatg1!eieg$0^n<=MvwY9gQHgOTL&;L2482T<6jMZmQ zFZN`H177(ErV!SGrWNizwA{t#S9dYeqBHG}1V)FF$zvf?rIA(2(2F688Thy$f=-Fd z%9=EZI>{1gSg zP9!XFx_XTV^Q{m{>AwCZQU6i=E&mT#>ISkHgIwsp*^wme^f^JiAGANHi88>b8G z#8rBdM!}3lo{0v!P1%n?EOEHJ4Wt;x1qB)gmDzfk=htlkKa_wk$)ID`Nu>ZZ^}c@) z(f@msA?7?Xd+}}7d>f0A+1K;=4Zv~ikSRDxQOTK_i6xT6s`uyBUs;kzQHAj`+R?Y1 ztG*s^0Q_$iwh!FK18$=nY=Is_KvQA>Buj!4Fp}~d5yS9JjNsy z%+546-U6(31YjxSvG~d%B8URTrbj`)gJMRAft)fv*TyP(S$;{JzoE`1KLY1&i9cFf z|6V2~-fckQDsr>Fa5^{*F4(ig7k+{zYR^Xj|2Y*^Ro5@n;@ng69k>d}PFo zRbE3kGWgNP5tv2&$cHcv2jy^1q+4njP#;cw%rwVj+fQaX*<-|a6Yhj<6FnQ^SFPcg z$Pb-->s>s85%#Ix^s-4J4w$vMo@SuhZi51IbtBq`joLOfAa%C@xGe!G-Co&lOVcE* z!+804UxK{U}pwF2PW@sM-uF&Ev8ysuluAq7;Ex| zp}D#%A&EZ(!!X|hax{08d`(Ix^p8)QnO;qB=CHo?sbw)~U_l*P8mBu~9-IkW!0 z<_5m*HW&~@3oMXS-Mg-LO!gh3WxOB5sG^}GY@zvevm`!?2Sfk zRXxE>&}zqFdjBQlXoRk4FfQxa50A?6uh^s<;_hfx)nf~wu;2a8y$>6c-;Kd)bO6g$Wcm<_exNVg>UsX6o~WJmo*d{ zL?-j^T-*{#`g@p1}A6 zb<(Sy^3GfuF)+kP%wC1?O;ziYjbnbg%yR$?%?3gX5`cA%uars}AN!iha=b%7IPA4a z5}#(mJtOn^qfAcnBDaNgQYTnTteOsc-pb6ytH;cq%#m>g6Erg>7G7=MZqU56xy?;K zE)2SI%|6zr3L5sdYEc=nS>TB0NwRjq`bLZM9@?y$8&oQ)&-|4CEW%r0tT%GzYnAJS zBN#STxXoyq7Fj;5v52z+xz!TyQa`7(a0ka_l@(R*%JsOWapLKFRKm?3Da?R^-2Kgp^yS2EWD;nC%%t&SX2j~pCi$Pm82A-y~ zI^5Ea(jNwZA8bgk4_X(X%&a-D+D=CsnHR&sm{;z!)fY8(d66Qu6}Ms)kkMiRaqWuy zIUAKq5kazhyey~LVV_DL zrkp+{t8o3!^%M1~md98ToV_~1nea1{oQi>Av=iz*nm2FM@(p}zf(Kley6_HdkwZ-X z40gh&Zu;=Big_uf4I>L{*>Y%4G&VCeGfTuIm@OuFO#69l_L~`A4h=XCLB}t_a8Z&= z^AigYlq`RGZk`1E%gPXX9D4Xn@-+1HBsmKNU6M(Mpa-=7zaKiQaMrAcO-xKQjT~+Y z>}-#Rn0$D8jN5tsfp+1;XL>#d8;6q(Zzvd|^qpfaT)I?RUhw^+f6MmD_~cd{uExzk zTbrdPOF0T{;GtN1xPfdjJY0=3&2oC-bGVkYn!)KMo9H@5T(R2B$^?T+QG2bc$SNv2 zt?xculpnv9!0K36w;F+LdK@AOBO<+aYMW=qLTKD!7zGdaT=EzR4`q;+gTvweHJs0V zB?nGoJeF#TEP8JQgoH#1FIB7gou#0c4x#1~Z?N^*8!U31Rdt(5@xO*#TC7@%4CJV6 z!c`|HOBi^r+$$FI3W>~gLalX(kL=fsK0kA<4i>%FeM@ONb<>kjX(k}d8)*ohHMyWn zRA|*f%zMAw*u+HE&hEXWl$3Lm2mQ88y8fHPQQiPkQ`2TY63U6{wf41+p6;12Ci#i) z{xp#+YMIg9k>>?4j%vQsxWlcwgC4IrTN|CnB_$=@Y0@E2x4y89)C<4$b@kZF5DXgs z8a=qT1j`y6PVD$VjG!_P99-Ez)FCI=$#0_(EbA{$>{t#j8=9qd$ zME&;gV6O$~b1-Kb{|%^FF;p%09blF|Vq1U z2VdSbaaJ$i*%?6B!o+bq9VW}8^~V}RuF<+cNpb>J+&WS{u^cCo{(s-?hdVW7+ z_;zopZlpS-yL^A_a@|d4m8Cjd?fPs_qg9XB7KS;>(7Qrg%JTa90kzx2AGper%A0g_ zw@YnDY^F*|7ZC7$id+5YKNzH<;qC#q%MO}C8B7gJCbCBA1I{zY%3qYL>)9QcY>CqS zjFx57)$tkc&<>CH7C@mq$379CA3>pb9q!~Iov!*%&3swR*Dh|gy`X6f8n%d*A zr-#e#TZ@=^ZXtc7S?^Ye&;H%qyu3*=pKafDY;Vi83pTYors0xe;5h{zZ02Moa%)(* zL!Du9$P=AIs6_&He5ss>=?o#PHTibS#r=x2V6vC1L{Ru2EQTkq*mQ-gzPDI(Jg85-O&Bj zs5;&ZIt<51<;DqFc`u#kmE*y}vHE4<)@16md$~+-jPpo9V1s5<&(dfK+Q2e%j{oG` zUauzGhVUdKArTohZ-%zwhk=>4EpIJ7yO(wDgHt@x=Cq;CbhQM}sox#{I4?)soYvaL9J)iD-4edmCNRRwcLuHJpy-P>mz6vJ zHq!HWm+K(G#im+|z|~!}fES4+U|rk^RM4|(Gt2i@@Pi=u#rFle%6d0$+-TkN-pDiL z3qXkuzUY*sU${d^dd-}4d)Jp#@_;ed6Rjz}H_tO?y~<=l!>)Y;QQ6YoZgW#vz6ZC9 zu8Y+ViQIihJ&(1_VMnAt#V4SRIx5$u7QTIF`E>nsB?IC#2QZ>nEE;FC0Ub!BEc z3;o1v&SpPRZhR^*MXe3NeD2x2rF<0qz%J>)r?QdxRc{tj-k#91Gr&RgRC@M77M=n-gB#JgrxlRtt*~` z=|mJYu)b*Ip5)`&Iin3SdpUXkwl4B~{^Tw!55jq^%c4}`q=Wtf2HcsPxz0crfwN`C zt%NDoHUac0Mfsw7(<-D*9Vpn@7v2IJ_OHYo6Woc%h{U&_dG5|;W$M)Mj6t?^q0U?b zv37%{)|q=PeF)t+N21Oh_cTK5iB5_Dbz3Nf=^2^W_6OdvY}<}R(ZfrHL9<2fsmVbq zo``@5eld73GVW>V!_BV6GwwamMH#qo^qj@g;okgEMGxZ>L#MP-+CD$!0eUSog2=?0 zR;}(OLUYGrqga#ahG^lQoa_dg(yDZCAUgaO(P|>%b2p1ul9r)Y?+BAr9mBwNC1l>N zP5im}Tgh`r_t~t1oIF_e7w2`^jS;X-gwv+=N)L>w`>YR`e1y|~Y%*_Ot&}1EQojycLU-gRcOqte zWGQ#wc?waxu5fL`g_nxg)^~G}6Zy<{b((t@AIRxG6i{kihLOWBrxTr67)wQ*E73?T zo$8&-5?YvyGUN}U6AGs;N2#ZKVb`HFbmKZ`cPe2W(L#%|(+l>g>@E?Byym?zFhX{^ zzO0~Iyn^P$db;`8XIfPo=5S3)j5$s%OQX16FRJa36(QSso>4JO$GuxJ8zJUZawbm; z$)7=UFz@8C;p5d7$*#Mv@n(QtLpK%%gT<;QmcBk%u=TN&%O6N)jkek>5v!@qCYCJI zP`-rfC|>X=y(rJjYpN`^lP>7io9lBxZ7#05AfJb*wjNJrf4`xs=r!P@4IdLj+er6o zgvwN9=OJqcLuhD-e6h~7NM*9VU2{tvhq=uzF~{9gFG@vvvDgNk+||7X zf!asZK|40(qvOVg@%i$3J#%L^4_Pr<3&MltxcrdFeBNi+G$x&}uG*M3#9&s5wQc^& zR@(d0&E79A_mv}2ta7?Yhuy?n#8H>-S|;^34V~u z5Gr#FDwLo<34J&oZ~=H~M&Pm8-u~|&KF=c0A!WYMMB5BOx9nCvUnb&38PbYG$T&$1 zH8@7oQ7uy}NS|FeC+_j7lXRsxi%WzVZ+%O}a&v9C7q)XM341taFlz4pM9e1%QIWM? zdvf~v`o8eV$w||Ro$kok%RS~?qV}#?eZrn6e8Nv>28R9YZwy`NV zpoXAjTyMgGf|xi%)=ms=i5*w>2va4yut`HWDN4oMJusk?Q&12|Ccb|^H8nN1)etyi z;8Uc7sYNX!W5m2F72^2YM3j=m77PnAGo=cuSLI@WH@oi)K~E(Ta)c>SPJ&A58X6i? zw#LTB;ch^d!&6h~1s!MJ0yiOVWMpJK-JZ}^FpYP3E8~swckbM&;=ckxoObattgNg| zY-|eMJv|xe>5}yH^o+v7gX+_Z110jQX=x@410_Xv<5IK3HC1@O2%y;akjkHohQGJM z7I>6SmlM#__R(9Re*XUQ78bd(={q|+s+yWG78VxRGYhAMX9Ps)KDa|w6%{&<&G}H^ zotlA5F=>9sa_A(oJ?hKtvZzOK>q#=JFaabX?GP_hQpwNB*?|)g6Eo=U?pBCcj2CoJ zh$!HvRZWu$3ezq&{j#|*co3kDM2f98F=X1Q%IjdIbK4>x`Cl2J^WJ=wLNzws+OJf8 z@!7a!F3GF)tLA!o@jkJUk|i$-B1M!FgqWC>6M5M^B4D4WMcucfFz+Ax%Qk%UBe7f& zosq_p8kzfV_cQo8ze;i#u+Xv}nd#hejF;J37-atP<%_DG9$P>_fU1tpjgu!&sy=vd z{jNW0glstM%j=7*#%-~DMLsz1{vwmW3Ips~Gb=K>uM&b@kT(XX>-JmRO=)daP!po! zHGd28kc_HoSWMlckA!#zJ$vP*1mH+!yuAXRch3+>62wtClRCO|41yA_CsT5RgN>GU z0ExuNrlB)Tn#PManS=nMy^m=ZR^Hvj(lINeODpsWp9D%k5>1`^+p|fL0x^qIPNqj$ z4nThPaE$urv$?q42<<-jOm&3&A1z>$_{#MLh(UlSCa z%DsCp)3dT#KVC)g_&5_g zdz<=fdkjyb`m6;31E0m$>oI(mkyazM7+xhI*X3lEoYI%x>5FuDkc#5Z)Gg}2!FtnF zTb#+#a1A%eXFU44i;02`4GM$rA4~ggCDY{mdX6GpA&$VJhsDRUeg6Cz)bM&nMuzJB z`?N1#zT|eCxsQ)&`48UT>C4w<*xOo)V%IH=R-Kvn5>A;vo#?U1MI5up2|c|JXaUB^ zC<8dq*wi$(dp7yDFC#OvbXZte>plr3e^a&FnlTs#bR!MLwJYpR!WmCP64}Hv0OS-D zQ(f_Ncm1N{xKJj&xf;)^nII^!f&KVj8UUD`1!FjL_iyrE<4|T&t*k5e{hI~MI?iJZ zAxJ{)KPv?u(;;8~iRs^KF(VBoB1f3+Ts*>bb4v>oKY!oZZwV0*CQ?tk>T54^=v@bj zy~$bTec)cPP&znqxVIGbIq))($@np7#tPum+8Uv*r4{#HChb2FykbKzm1P(fq+xmx z=Si^*1W;%HHRkTz+#72G+}uT9ssZw4Ra8Q+2|3ERZ(y0YxVVZOrj>B}6%NzQ<#yu} z1D42=;fD}Z{mG6Vk)Qvru<)j=vU1daiEK9nOa+4OgpNyIrKaZi-{33{`e?qtSQ@4j zfBmCBSriye+#0?DYX1uZ>j$6D(L_&8PVOW%Ha5!Z=)~r9C-9gB=XCd4rdWKDp9$&L{g&F>Te8c}^ng zVkZd&H#c`{n&4f(vs?m?%@uT)6M^LGQxZW>(RP5&A+}$r*CBK2&6<#|(bX$sllqBr z>5e{jL|mx5`|-jXBRuqV{R`&WM%Zg3w>=W^Tnxq1|2n^WnmkKI4SUQ%alL8;=aSd5 zK|Ebxc8Uu0$L)=VT{p$dt_OrEZ;mE_pqX|jXI5%L!Fv?myW?j_%cHj|_E%d>=D)o+HRp$*N^T$vxw*~zL2uri zH6I2O9Zo(zK3G6*AZP6ZsW(^Xs$7;};2|qT!1s!ZRR8?*PexHueK|QfMtb@?Ma9L6 z7p*PVc;Q&uQQb0|2uj;(m0|BaYqu?o%Vex&ft^Dg1kIcS9qQ^@o}QT*YaEl5#A#w; z0!WI!tE($Bwlu>{ElVi^@KrPx1A4lpk;aD&{B@FSVNloaf@mKv^VrCU@fZ67l&FcZ zC2}f=T2#lhEtUyX1O# z?16qW%Ud&W{eH4yy<1+9Tq9P3FH~%;l}8b;@A^UGl9je2V&PC=V4$KZ8#{Z%^XJD| z*x0O`5)C*p#bzPZU_!$Ugaj|eBDnpvu$Y+HDeq%YC*3t>RqID_adDR9$&nHz$5fP* zf*F~ZVs;R1Jvg)0Xu2%rB>oQY!{#aj_~NRG@M|xtg5bVOm5^c-7CFy+2!0(+Z;WcTk2jQ z|0N;d&_8|typz@Y^{Whs^@F1Sb8G*Jw;okZ;|~E`hnSc+EG~{UCMG8HouGLqEik8{ z>FJC-bv0`M(9Opy>F!EN`MI5Nz&{K{*{KtM<)$Bf{Lc#iW_(4J*BS1ipY#uHsM^hl zE1K=ElHlq@JshKOVon}JHW#569OUpSiIpDL}635&V-IcT>PPQ!r6WL&GGO5!fdAm#6FJ;=ZF#)8EkdxCd)g(`EAV%Khr${rL_H1V%6@&B_yzGYilFgd&se1 zls0eJQSVEnNS<)>(Q{T|$AY~BvRV`BjjsF0prP@fc`5Q|ULvQWvX+ZsZ;J!7bDyJ( z#qO|Fvt>ZRZ}lL2D|s)_646sK_br0)3Z7~BLnXZWFrx6YRJ07%GPME zyNi``1%ymrcL7L$Z69SvpDsU1e^RQj^730a-kL)|EghQEIrtTeP4$XYKiH1wd2RIG z9`Xe47C1{hv&bqbMUIUb^~hwSQ0k{opH43jCpCiA;rFc2&U20*m*sBVxoSac0yx`VA&Ton4daN*OkEwJr9RR{}9SFI=M+C{WTlcBG zw;xr2NxSP*=Q7mez5LnL z8kZ#lo*|G#^kc>)bpU)1rKF@v%ir){%FWJx3kH>f_7ksSHnDlg=C^cr705Mo$ZN2< zc@tlllXxG8fut4z@EZ{kL4N6yX_zsX@k>fd$~Zfhg4NQ_G^civWU2Ka45;2los#Z% zkU&c7D^ahv6I_OgyE!1J(+yBRqCinmkuQK(T->m^xfu}uJ$&fLe$9d9aOj|9fWUT* zI)MU20i)Lf;+HWv@74L@j#x<%*X7aVrLz!31$rSUARx55S_HSYz3nP1FOQ!-sEvVd zBwG!YzyC6avg%yl$(;Yvs#-o{3|V7gyc-Ns84icJ#ecQhy;66&rhX zw!b*bYPh;(FcUYu18gLmos3h(y2nNHFxO z{MQH*_U_%+hyB2&G&1Th9NL3@P53Ro{$NUhc7+~4`8Fm+U^}ih2JnJ)kiCNg6Aw?% zJEf92IVB~faK?deCok*Kx{P?0wZ`(b@XA~jv`^3Za{*ITwsGXx|03R_*g}$M$-v|V zLFX*W@6rBW&MV%v90~NV%Sp03$z+O>RU*FpAe&FlZ z7IqaG@=iG)(UYkd4mh*arv=zS2qameam~=sPA zpqF4TfOliT*946+sf3*sUcY|bDlzgimuK}#fdGFIgay)Os(+w3r)Z@PbgK;3y}$3t!pa&B zHjUwoSxN~OVc67rfySR+{Xt@oMZEdp89{fQkB^!T-Wn;y-%{}-qv24?R3P3Z1@an- z?~AaumXdbn>;mZFuT$g#7A#Ce&_EmFUQ`{w|R}#XDRtx70{ZMX6^A@J-j=KLQZl@ zi6U^FgByyGqF^?@O8vXtPGsHmt$Kt~$Y(RRgM47l=9 zlYb50RIxIK-a97RwVo9fPRYU4X$&8R+~*LciKK{3hA%Tg3t(_^9jt(m70k#EFc+IF z9kdAt*5B|Fr@?&EqH*EM{V}Pt9U0HizEpM0iLQ5SDrYkZmr}|azh1$TDBKC99H|F` z2&KjHanhaj9_2Ps6(>fPktWrYhM?`5?Xf`91a~4KFU&_WaW=HRi@yJot~A{CthLcd zEUA3DP+|_hc;6slJ1}Htk^J8Kt`q_`@fAKx8)!pLmtnW8A^R5gsZC#@qSniG+xIHw zi&|Q5&xR|Dg@T?Cc#zdo-*EROC71ei^M^T`Ps-ztyX$bALk(^{LdyW&NAr5<)psxk zRk*fckbNGeaFgJnp7+k=)Lxd0`WYshPfI{3xRE`=O_(PiNlYc)g2d9rc&3IxKO5X3 zCzuI3H`cOKMapbIX=XFE1aA&yq=K)(i|U3u4WwUn5ma`2>|nu3i652^IidCOHtY&XTx#Y&iC z2P-o%*^BqR+%F}IGiDejPNDd|xn|oj_)T}?>w&BVQW8gljkB$#7$Vs^Ct#EdM!WFR3AeeLlo~D+{<0bGL#dxQ zHt`~S`%=)JW&|5>jWi`&MP1(@|DuPVm-VPzMIWr>E!7jz@MaL!)Y@~L(mcCSS*Ofp%0EK zQ3kxf;e>zlfrVqQowQvX=h-uwA%-Z$zwM!;uVo1?Yfn#NdX|8~RaE^1kGGgR;xJU2 znu`R}ezN|}ckpV7S*^psH^scK>$F*S`7P*A^;)*oze!3gho_Yd+SXxs)4M`T)>G;h z?)QOd%F5nSr{pde>BQtxiaJ#8V)G7qHbxPMPSoo$@NNiC&#>!w5Px2e4yBcd`bl9w zomEGnW%ui+ocBGQ=f6Etn)mb_1a)X!etFs8EtoxgWmL%^RzE+>(;;#`EZ}RrAh{9-zEi=8ePS>WzLL73y@>A?fv+OQ}RQR3qwn&M20$!*Ud{izWVY z7b^bvm~z)Yk%s_T^@n(pmVw)6R3C|x&8PchyY8~z5oN>NM7-=2_?T%rKYo8)Y9G~G z-0%eK?WaB<5vnD;85&V3*)?2_Yg;3a0vy50a}|F`IUHYad{f?UKvohQ%ogYc&Wb^sHPniy8 zYECX)zYz8PVYVHsH(slAsL}jn1LjlUO^Ps(CR`dgDhq13z8=@~FqoF~XHrF&b{aXz zqgYl)z^gT|o|23318?^rK`QXD7$kd7NwVP1!{`4GDl;{?