From 9a3b3ae3112b6a842b24e2211b35907445e9e11f Mon Sep 17 00:00:00 2001 From: Bertrand Benjamin Date: Thu, 8 Oct 2020 10:37:59 +0200 Subject: [PATCH] Feat: 2E sur la formalisation des suites TST --- .../2E_technique.pdf | Bin 0 -> 59501 bytes .../2E_technique.tex | 25 +++++++++++++ TST/04_Formalisation_des_suites/exercises.tex | 34 ++++++++++++++++++ TST/04_Formalisation_des_suites/index.rst | 10 +++++- 4 files changed, 68 insertions(+), 1 deletion(-) create mode 100644 TST/04_Formalisation_des_suites/2E_technique.pdf create mode 100644 TST/04_Formalisation_des_suites/2E_technique.tex diff --git a/TST/04_Formalisation_des_suites/2E_technique.pdf b/TST/04_Formalisation_des_suites/2E_technique.pdf new file mode 100644 index 0000000000000000000000000000000000000000..cf0530585f99ce39cc940d450b03a0dbb8b82c3d GIT binary patch literal 59501 zcmce+V~{A%@+LgCZO<8(Y_ znVpdtPm#(AiBQwiFhh~fE)K6kF%i%a*cwD!JPk6VR&38dw+`IziDYIvY6s zYevM@!5WHIK)}|GK$GsTK0V#P9&ISvePG$u3%mn{){awY}%E{P)fL6px-^p0W*wEI<7>b7n%F)Te zSl=4TZG8cLT8?~r7YG3S3-A`o*v9C8B!5T$Y@PM*!v7rzZ2u_;?Ef_g^#3^LKjH@Z ze_a0G@dG`>e+Hm>%VqpC5f%qp0{%1h2{P#fo6S@Bp z5RCu)ZT}9Z|4H8rbWHUBJAeQGr|&B*N!txJgq{=CQ?o+Y3Bu4?AW!u?>e&Sw*47g6 zL3>T$mP8Kw_1s=!c^4t|781>SDgn3z(ul0l(LJ-rV6Jz>yVC{K8GOvV1BQL6d>{@r z!sMu9r`Ff$R9RKu9j)$`y^I)E*SVGLP+o6B&q8;6DO)zY zXJ^~RUNkU|*&mmObP*Mi!s3`_kaE>gqtks&rsvSiN?lbF*e`w%Ee0EU%;f~W!Ly|m zTdt16%-l1=Gpk2VbB^dDk}()(OzDE3nr~|fTcrg5F$y0lz#Qo|j0hZTY{)vznwG#i4f10)_^{zeXJ-Fr|GP@Nz{5qE#{mnHw zsyLr4;`xF|a6mqrfGJ6LORiZY?N*e|I6oqd!g%;@sdt)W%luFc6pL*FSSVE}PkH&m zbGrRyg%Q?E6Q(kWRP=g`m^7;7kn5gSx*Pc?BZRQyHHiJ3)f_~>vg?BZkA`^>UK*}%9W$cDF1a56T89J%)X=`*JAl2yAVM{*qay z5WWfE1yHQ`-)JeY+qJF)X>%s-y6&dE6!%5?c~;nsUb>rQ)ot|o$=o)JE}MSF1X2;1 zPESdt5!kiz@v!0^rV?7c4fVeVr`@U9$@3}`_&MkEx zv=GGXCZ%En>;0*7>!daZF%Aqio*M zD#%W$E72(u*p#&}@QWOTLta4$MH(HknY1czRYU0TFcySl3JnpoJ$|;L+89o8xc8A? zZb$;9SC@-yiB^Hr&|f#Qo;MxNq!+Dlq5Ri*URD__W<1)S7dxVINmf`|3i25VIobP8 zPu8o$nCh{>!R%2{4*CvW6uvhow6}EJNJh~h*Q@D4MqzI~C40{ktWJb)PfgmDYxh8? zc`$sd%B!97-e5IqPhCe@vN6PfW{pZ2Z@xorep_LE(Yh%swOy+gsxakPRe!buK6Y5N zK!|uq0MHW?vIpvd>ggjI_T;E6?*S4cSM-5+n${!iuf#`F4)%v>v_F&U3O(Ep2+oYL z&83iq|C{NOsoHHt0z|MOo7CGx4J@*2ya|pHu?TnUdmiA?eUkYA_P-yd!^>= zXi2KT%^1ipGC+zE-wPuZ>p9W|2o@Zkz;=O&aR3Y5Z&Dl0e}2TkY37;6iS3_5WTT1h z%g_8}*R(%BL14%90J_}r{Iy>O62sEdfuGxFzfV)kx62pRTiGnQ%O}a6a0Y=>8~ZN{ zy|)wDE-oN&7J=Qq2V%R^@xM0vD+zswL$xt|cNGvg9p*ryR}e06AaL55eS}zKb~vUS z)_)ZxK;XQ2K;YPz{DDD99PivfV$=c-1HXh3+32R@rydtFV3*W(TtcPkzeTl<#kNGw#nwkyys!tpJd-G+& zdg}#&oRq#rS^-5RvF)<(d=K_ncG=i`fl=n~(mrA364X7-KVidunqw~h?l7|#kSGQf z*VmBtdxZ2VmjLTEbpQDEUz^P4_AT7-Jpg*ysavE4EoM2zo~9o%tYggpJfB;`eiGaQ zT*ZE3bz&2J7HRz$Nx$xihn7LP{|4upAJzN68#VTSD&GIIkf0}^XJTdicUQ7eSC{_X>9-TazKcF^07*$nsBdv_a?d_FJMb_vKKKB8fA?J(C%-n}C`33rjFFpO ziQDmZJvuQ=g4xkgQH*_mG?Bb4)K?Hd9=j;$K8TQz{4V_%znvt&cLey=oyDNBHo#vr zc8|J%hC#?9-~j=Ec5tq3z>~<)lJ2Kx5Q2bqrNB|mPJm!yX(zgRTfG1Qe!aBd0BB%8 zm76UT2yZ40K2yL7o z5x}43xInXVEFgS#Fh9qkE`0s*7)^9o*Wa1Mx2~9*%$1%T6+~QIdN~+OYd7DEyX0xW z*V|uyzVItk$a@E8Ke0z3FHTPH(t~$|NM`4dFCGvJ3Ln^kj`3d`CoqEmL;MN}1q%BB zY3KmQ7rQ{8-hScuNY7*t-&Z5{5RalnaR6jEuxbRGkRcyL52Auy`T#KJguiEhc!7Vc zExyQb>aZf_nzl;x#V*@^bs`%L6`~mZJa(%hic2SPQZk=8}SU+dN z{3}L&RlJt~`6_;^$_az+LEoYyp#nmLhXn%Y#igO}A-y2H?l@ly?)tvm;kRq#$UyYn z81#M&YcKM0d;U-ZZTGSU!Qbu-KO(Z74FGigsB|!k;T-yX0Dt=~f8-|p@TULN-1{oO z|F{(0&2D|kX1&n%{gA=k`E`DLMfZun5Q4RWc|dG3xP8+u;ykZhpZDYJ!E=AJRs{R+ zF7vM~V3L^=)}_&jUDER6R0F;Qvu}qQ;%I#*OzHY8>_DHuy##HE=I!=v12v;Ia6$g`&kePjHy!vfQ)^s^P(Q3^b8_wpPbCJ8`5jxrPr!|Ihq3U>>B zu)K(P{2{spkXJ_r6etO}%LWdVg+Si069{%t0{8fN^=rVv+BEzL6=55>2Ku$wMT$`t%1Gm zqfkA0NZiCiDcY3jZa_%Hq+ul)aHfdgswu-VJ&`@F{b<4bknOb zs&Yf-LNZiRzc&fy&EV|pWX&-Ala_9HZo;^&_~3-9lCGeHzwMpERzag6EPBFYc%2F8 zYU#;S`g%K?VlHMO+H~RSq?~$mK2I;1>HT34WbO}_Q5B9qyF>lDf5&D;y3O%RkT+9M zwB{h`_gZO$g}I)YT}(%6F(-}C2B*^%xGG7AhPF$by7Z+-^4ccjxGre%_Qo31_pE1Y zQVZ_KIQrYXti{udmdZ$K3y70~nO;y`3p$|~!q!YR-RX)&GyFS^wS192- z9<3bN9?IH&G^w^!vlN%=ys4hsn~1hUMeSk9N+pt=;R6rsXSd6G&=&G@*xR?05{eRf zgDd_Qq$#4`YV{MQAGo-bT#P!(_BoJDcdNx6?S7a0rKX*FyBi*%RT*x|Rk5S@@_flR z4bj(r-~}YNs4ZK9pC9vN=R72uS*8=(>)r@Iu+?7%z@T6l+x+m#Z~-st}zUyh>?P z5$H4Tf}ypn*XfRR-ll!J){_(NjUa0qLR_f91)kzuR|BD-5Ik=Y)a5v zpZpA&sf(uRB5U8>Jz$sbc?^^7Q3-9xFjr<{OFod0bvJh611A@&UUSK%a!9SjLKoqmkQZb5-sALNg%@zxDelOWvhLC|xe z?k87k3NbmJd=;ARYWvq?o`+kq_NKEgM!*mvwp*OEAJK#0_CN{B4| zWA-OA+G@yvXODh5DmDPEzO>eA4yn%R*|q^*qhQPYet)Fk>w3>evfKr!ZcLHKrObg4 zUJZ>M6~CX;l%bAx;MH>WA(gRfXYRzOw%fpUvs;rh7O#bP3PG*evJX6k<2A_QoMLkK z#lQR^JVYa|Hr1EfAN7jH^er2^h<72||3kY2t@}258e{t)1$)=9Zbz$Kx+t;=P28K3jplU{q z3)=E14rcpdAc&Sd8`Nd4Dz^AuSyTcM3tL*P=xr-MenNO9vaJMjwS_jcS;5{_o{MG5 zGFt6kHBAZtO+~3&?uqYrjlW1c6;Ljb=?$CDlWRV*Vpwr_x6MW2^Jgg11cw? z{vfru60rv)V90wII5;dn3cj2QLnDB2>O4pry$L(U?xEur56_v^4)sSj%ZuqXkaaw- zR+tBlmHzU!onlIHz4@%mnp|?P#^H|-oJ*iMNO8{|77}SkCN8_kK;h^_{v7&wxSWj^ z9dj+O7mdVy3gI<*dl<7hnGz08KgAz00kZc2!zr8S(i1`FJ_5S787r+ofvU_wZ4PV> zc}6CHEa^OeglzTIcwV% zu5y_6*&dr?enVb+z~2(;{A+`Xv!C_~0oZiy38fOBar;+pYvzNaGev~V0+AglCh$4} zz2WMIn$doEF>Uh{WwIShU@HxpkIrX2XJ%aP9C1b&^4>{}K(mn!yo_^3c#k-}j}vFX z>CZ2^Ujm}!$kRt7L_|VsBEVLw0Lm=tl^0U0DRJ&!5;;sGi=Oz>{SvV81AOLQYyR}r zmYO%rb>&(!oB`6jz|Oajo4oAeuO8H>4RP=BOYb1dK^7K37q9IzCi&(z6w1B7Ek6-@ z@UgV1Tp7F~EuwWzk<>nzZ{4@$t)^HvAeL;5^tegU^stQ_0)lYC+|NsG|c&>mMv(U0(x=*TYk5=z^DJhXB@vh6$g&Y zf0dsjM)oMPA&}Eo+KfKN{;KcFpJ5D?6z90poy(G9FwX_aO<$io+g6pbz`*Dztkr0@ zsd9Zp?D@DGi4wpfb^iG{IAxA#&Mo-N)ncFWykBf7V%cwd{sr`Wzm~~lfF3GhkV%Wl zYU-qDbcGksj#Xl5Y0unJ@}dTJ?^9CxKzG01=B!m@Eu4#U$RsRGK%J&TBmZ&~gZo-# zM)U`qZ@c9yU`;Jf4DnNqJ}St|SHiu)c5Wt{)k*k8W5QEPlMuVV<_tL_+ZMY>8|Da4 z;^5QiL{`eIICrw5bvHE)n+cF@4m3?E7*09bRHSiL?YkRcM4Xp#SOgLBEaxJ^zdmu<7ypH?5-p<#tm(GTIy(e-~>sh2j3Ghwr7rU zD+l5END8BwPeHn`qt@n0AS`dc;B15NNJLE?;@SCq-B5{iZmPQ2z6L2d^|0f$Zkm!#w2=P;zQX`RD@@%pn4A!^&8*xb1 zssWAgo4~jrCa3o+bLwoppl*sGGgVlQ+wb-&;PzFYB>T>E{-~cgnU(--S|eWI_O1O+QsM%igR>+jnM2H*1Y~)=%JW{k4n}EX3ES$#+;0Mdyq6 z>sbm*v^Xhici34Lp>z1qry4mUM5RC6)duIQ9=?dTBCEWE`5fb4AW3Q{Q<@U24`RtA zih3uwj*JhFfya_0=zb?;s6~$^+^O#qMzB*L@LWB^oY2DsLa1rNh0Ja-oakX2E74y9 z%#y#qWJt2f^Q~{PUbj1u zWFkn~+of&oaMHgBY(|?cgaen2YQ6?x`Dy;xU=+?-Jz=g>H20LfHa3ga1!7~!6W4u* zkysdc$J4cGdQ(AlV3U<;oHg$ZBD?F`TWVI4m-;d!B0Q~owA@LbZdB5qh|mRfyWTrc zjo-m3+--b}jaO)u##R)zhFj`LHK!rt5)zZWY=z|pN5fH~H^|?~Y@Ajzcop=BO9*>1 zy$rD&F0G0NHetQIz2JWyro)e0)$gC*5yGg|Ow8(s-azN+vmU4&9;}S>-fBz8o85=4 z%smUO-zd;*?XPQ!T$guB-CL1w!$kt1Y-v;&HONkA$|uAa&IqYdot5xOF<3>>9q!l| za8_P3+`Hmuj*CE*$I{mb7ZI#W<>?-C4y#sXaQJqkiC@W)|CAhDkgh8>JTAj2j^9(7 zK8%I>(Lcy;&gB&#zBxaU6jv-O?P()!kSb}1O99eGmI#1a86JQC@!Be~TDm*&mz5m^ z=ALw94fbIPJin*t{nQl84T#>Zs0vVnRXl&Ov zP6;n@w%=oDk_w#yNUSOmGakCo5Pq3{*8tbZSd#4eARPt2q)RARqb7u5yJL()WQzky zj+By2@3i9tuX&?IvW+Pwau9*G4d(S(k*&M07COgcb%t?h`nq!QP284E4{u_eiDcD+ z8|mMW+P|bte9+`Kuh%t6B3fO*4pdnZBV#KzqQK+cs_b1CMQ%V@wNaknto(LMQNm}a zb?d1Ag7nm8>7V{pjEfrdu_Dh{ObHhDCcNF)OPK#IaG&F7AbEVI`71rMl=6OFD|E#d z&T7H&=$2KS1UCn^BhLn}AvC_BpVEjmgd%Ws>LX|ZCotwlJ7AG9RaE>g0zIj(GMW^! z=k{E!F;xdeoOnw4sJynUBu+Ow@~QUib?vu|`pI;@a2J;g4eCQMZ|W&i4(`}HK3+ys zSg?Yy3u>3UR>hB%Yl201+n}{)`HKBmtLB8TwhuuSQ^(M+H84;*@oT8AxsF0qk8f^K zqn!MN2N7`;{pBN-TvT&su(eU6&`@+A>Jkw`8%YpZyIwJ@5QDVwonR-C5b!3=&D`Hi zo?D}x;o2A*_qQ)T*{g-Id$bsD=~sNgr76mc18Gt=WRdonS_tD~8%TzGG}P84^W>ac zQwDi#=|4IXZqa;ed48=7NMFn4A(^h%IP4WHm1Behf=LuXQKTztuoW@>H8^1n6TC`0 ztea9(1bbU5iHX&Y)z`Qd9GY3n8l0&73k_VBT3o6%t}$Jy_cA+f1k3rlM)#^0WGK;g zho2FLqDw-W%E<#qZP6AQZ|;kU^dFDh>sqe0s$E1Z583MPbR}Hb(Moc-6RgAY_9Sdy zuVn4k0>^lySJoCEAN(V#R`(nasuAa<7aUUT>|D-3AN0cHmNbY8G?lVq&N(sMY2W8EhO@5;M*!vzeahvq9?HCB0Rn)M8rbQv?bXmG*y^0SfNSxps&@vkx{jP=L5&DEWhg_wy)gZ|(>T%Ws5^~nzGOb)!z7Do& zhDTY-t?f{?>okPtTZi!#ulp;rUZ|f3;D4tX~J{gf@ z5M=PW!pvOI0@6idQaJ?7+q`%-eSvp8bH$dJZy#6r2!PLHLH$vjS?jTjAO=u`|D_?O z#yJBrM#xcCHPm=r`uNVdl^QNbKyMG?qsjr~_K3kaB6cmA)8b1`CooF8)>iqpeLW<1 z?T2?6%>rQq$=I&KdhsmJH8=<4ol=vohJ1W#5|gC$aL(lv$ z+gh*Lcmi&j(DFX-yc+=@=chDuZIQ?}*v92OqTO*b(lWJ7-d%5MN(QekL_Du!YQ|-* zG_rVPbCSzr$_G+7rDC|eXm%m__yiKDXq>0jIpR-@E^wMI=}`h&xnxyCTV`RwVc0N@ z>|@9!hP6~dW5BhEhiZKm71n!vJB_f{A6gw5??vexOai5=JV{{;A30kAG3~lQSgfLw zk(q9Td2Yj~q^#fW&a%7wD|Y@8UQ-5ECn;Wxki0WuVc|yYO0$J!WLfD4l3&@^=C(zv zHmnUx&)qgIb3C>l+uDCVqgI&rpgKlm$?*NcO_7{1WC7h*5?%o*<%16I=%w(48r7azRK<`k%I8< z>EZJfPFHej3zEn)X?b>1bTgWyHuT(ROaP#orj5jQ!bROTEVy;9IoXusK>sr9Hmss0 zergK4u3_9eeh@}d90u)K5+^2qS$%^c>Y-qB6eLvHACb7>L(u(I&d;F!76}NAf9J{< zvv&m0TE(D)0gN8!!{6C;fam_80Cmx)@5;j{c7xD=7J$RJc6hy|+4;*z=})EH0I!D# zht9LLoDkP~vA1C>GoPf|r+#bq-dDjvxg5_&E-eELEI1acyRSAcnj~VWY-J-gtR@6} z@sehhfKX#x*v>(#s+Va|zN(91Ioa#|LD+-DK3cCmELVZCS=~<`D z4NG(~O}cI)x_P&RDzR$pymrVbVYsx*!xd@69GU5PEA~gTh6||-$V{_TM|%Mhjp&y{ zNui5Ejd=<29`%K)2^`HE%i}dyW27vz$FZ@-wj3skt%E(>NJ3rZSkm6G{DH9D!=7$w z@NDhj>05~w44mESnMoD}L$7_&9&ciJ2GCW+s@VIzk0q*Lg6ejv#fd4}uSYb~F;RHI zBRJ#>D<@cD{?1RbXpWr)9!Mq%ioT#=69if^JX@^_1|^0~5-Hzx{7W98<_%sG+#x*@ zyUdAB@c0^)1m**rb}@%DbcYV*HbDKzlGloooACAB9bEQ`AvBeatRU%JwcuN>n}hK4 z4vpN;BT_9)R;Ph^_Md!`bD0~nv1dQeiuBskeDQ6`2x1#;@|1WCi>U0fRKY)7Z)TtC zjO3qin`FB^b=#v4Z5tI)ajNWGH@mR8BbJ3-wHF^BwvICp>ch2%(8f?GO|uZhNonZ4 ztIh#H4p0Mz1@nct>GwBYv+lUAmWtZ6so5IYjSw?m3Mwx&r*OmUh)ci;Gn+^Jp|z%&8g-po5==Mc9--2+X6pVA96*s`!Hm{#xMLtUh z;GLdUpYgg`8)1#>PSAB~?9EZJ*X{2+S#HkS91C4jTB)-Mele+HQFV71X5zZUeU2r~ z44U1=cSAxVq<;NJ-mXfs3Tftb_XESYT*Q~GQ_UR0ZD2im}1 zqSe|jR#i?&0+V|fHU&EUE+_mJofD3FH6iv(O_{xcMmQA(kx&)x5-;l!TU*fKu@eYJ zq%uJHN?RP~oRyUdz0rVfXSh0d3Xw5c41VDd<3GdB#aN=OV@lwjj$1~p5#_YY0}9Vi zJWcR5=)o$-C&GKZo(gTY@G(e%9h1t9w6vz#XH69JY;^W!+0hogm?o@)&&m8dX^{YEoI2LZxr7$|0J_1aZRx ze_E;UK@s-=0?r_D9R+&Mb-|iXT;~g2o(CU|qL$c>SUS))w~p4jfjB<@W3>crM&GNE+&t&vnF|MTZc0iJ}= zys`+hR)+M;Fk;ufej?1bMLFLaluDTPp1;=Bt&ft3f23wK3DO~LU zo7me{I@f)q$!iyH3$VTXB!--^)jP1DyK8{G%mu9QY}>Fax)@VOF>E3rL-!IDjZ-6g z;gZj>m4j8^jexc0zUSB4MjlP*yhf@nO@*!Qf~c(TB+{OSF!qd__v_w}QsG;4(s<;- z#J#YzL+W1h&HHE2%0-yPRG_rlW2xs+>Z5^|rzvYkhr#1*wKZF}5^`yi1rLhh6y=<~ z$i_N3g$!flUE$ov?$FW-t53Pu+1Yq8vm~SZHxg^Y9QnqYaX8je;7tx8en*2EqRI*p zyR>M00jA;M_?aep5(=q>C0A$eYjMIPmKy2<)NB=a(HaLO z?BM-3N4S2WBD23Ys)v3e(M!5};%bvsgG@&4?S8JeCFUtJj#!(kk!jK{2O3_*G)CS` z?X=eX!WYC`G^>P__Z53;)kcMy%uKm!9s24yvLKm0JYB$n_K2X)1)`YkZjRV|FZpDSrw}d?Op5Y~vFU*$VsP!_LB-`QkDYYQ!#kSE zDRSGbqsGOOZ^L{HT2n8M2VGmL0CZkg)1#$aiiAlHg~gjS1?pOW$HMxgKrm~Q!E%FV z9#zU>-Y_RLvm22R)oo?(IXS2Z;Z3TARin@)0@-w~ySPF-*s6Jc+Z(Mb?DOp3Q0nG7fuTfJLXLCzV3}{PEE9vCV^9 z+LH963!cV{YsiucAJOJUHpaOORpZ{gK^)ymqsO+n(2M}BP3<-$E!(o(gmY}DYwYTt z1R`$+fhuJ(#y5UTal8npjht%cGzo(@J0o)%`Xg_9KLFWJRy_YVFaOVZ?*9*Bo{^3D z-~9VuVxEqL_1|Cr2Qg2_!0`V}%sYW9CEYyJP=p1ErNYoVP0nr+Y?VX&rEvu(5d;Gv z=EWf93Ffz=lY*Eah^h&YhzKZff9R*#e|Fkkt36k$o~Bw~e4c$?d|n>B_$qbV zF-w7l^W6o!@gV^SQ&Tg`13-}c0SAIa0Pqj7OG3V^%>*!madZqNMnw97&N~GQ%$wyQ zg@B4)5Fi3L$CCl5BLMhK1c;Ul;12*q5ck^aC&mithctw213bGATt=2JiZF zz{dPirHtV~Y zCImor=LP`b-rc#|%(t;aPvXqw+&o(e`|KUhvsK5`FAQ^X2_clb2I+lQ4Cw67JGFe- z`)O1c1(}E5ds(RqCbqKjh1EaU8?X)X>-6YbO!^j>r3v_Xz0@Q3qZ5--l9K`ea0Kn^ z%76a5BKCV*pAUF{@8&5a(5F@$4S?n&LLERGHO!aj?g`vo5TKk5UL8R15AJKJFaQ{^ z)vg>$AC?KYD8gqc$2x4|mtkS*4cH497f^mXIGCT$*Z0>mhBPfU$-vkN@9oaVk?I`l zJd5)2H{)HeArzFDtsg!uMjsUc43J-cfu0}vJLzt&vJ>HLueRTJVns-uFi>9}?^Z$W znJ%v9Hz~lVuDu=5x4IN|xCu2(-yMEJW?&G%+#~SkkMz?H#Sd%9PsRNY(VH)8(f;1y zBj@BD=eKVV;j|rDZZ80nIk%h{pc&yD1K%g>BFM97lLj4jTj+zY=#m^l6T%^)iy6a1 zK=3P{fbXZBD{33-qzHOU!1_=AB!2H4Z8>{CBAs>-=jTc*Xf`O&mnuv(Z5i?V$6n0w zQ7*y|E;Y;I4fA({z8U*hBfK#Piur@2E6@NDKv*XBP$)pRM-wT`EpQ>I1@Oc7lobFk zK2W$oDZnfvIDl2W4M^`YjL1zE{@sM=ZES}eJS*#CfA5(e&!g_Mt^J_hHXV8YCKD1R z=Dr;Eyo(04?8$H^%dgTQ^dl}jV;2`rJvBmQx>PefaZf>S% ziCHP5rI>RTB8i*wmi9G1mKw>Gu^TpS(KTjQ%P3X|k#Y)7o+{EnC4WF^XGqNlSj=MP^qtdQ=}qNWH8oko5t3!A7PY0SLs4Ba~x zjw+BSSvhm zXV7Xtyclu{M!%6(vu*D_r`^N_Nj!(UnXOh-Lr_{vnS3d`076s_ zg!^8kv&daGNZq%OEG3@KHGs%Vi^L1ARfD5*x`Dz62fscfdb*iWjTe_@QuTgjC0nEk zn-_7@39>iEs|>njKZ~`9Fk@gxF0Ho}IcJF>JBxLW&O2_LLd0ld= zK#JAh$`_b&X0sk=DSYT&3%{j8;gRo&K~!VtD!sVX)3lkKnRE(fcCfNG4n#Kij}IHW zJaT;VdVy~8(4R`z`pBL7=WG% z9{jZDmZHWKT!dJVT+Q)G+xR2l8U9>g#H(}OQ@L|_-q~0RE?m#g`8kI8_(E>CFZd^s ziKeDy$iq9NXNF;>mvOwkXDWLxmx)$>4i72qBTNhJAc1MYcUE1&LOjyfXC3a|z%v!X zJXbvKm;OGx0&m+NFGU^6fwQ;_#`2XGOhz29lOn3lbR zk(T92(ZX=_)ePa%)hCm}Ky9gPk_<20p>bWkl=g^Pu+6+si^+%I12i)FRYTU5wu9oH9$pBsdEG_Bp#OwY2H%Mv$k_Z|V~ z+3uhbc!-ZJpCYs>c&n(RCiT)Qd}m?@^|NFJcP`&%rX``!V(ak5skd}>(Mkv&M|os= zqfVECm_2NreK!B}jKGhzTMme=(By4-o7S(T--GS8-cL&PU44W_M)0d9TO$%Ki(jLF z+siB0*EP$P74caDT<~zCITgQ$@wLjXZ6qbVc^FNm9@pdq04(($}Bl z-@I4}gYj^%9K?Ca)r8Z(G4uv2FGArxZ1V_Y5zar?OMg7z5Q!UC=0iar>FShzTWt-O zY$MM=M%z3Dw*^GwB zzK2IvVah+4^v*%jLU8gypywb?IL5RS(jh0wLm(84T2kd=cR1C6+w{Fxt|%DrRQh8f zhPTF;a-g)7Uc_7JZTTxQ;#gBK_8gV~vYpqfNygXd+!76PUO)z1Iq$S>N(%;l3v4H!KwMmY+C=ce#J^I593Vtgy-)b;dH_= z1dV{TT2a3JB_y1DNT;%dcY{dov#5e2@$C4b9Yu)cWIReQItEe__;)ERin3?AsW6z2 zgYwJgKw)f3*-Q5r8jlN#*4xtNlP5HKBl-Q(sXD!C>uHFTi=(y(&#g*D@SXOFtgRJN zi50;*zB3UKrPZsi{6{ZpNcnH*d$ekZaXBe{p{>Y0ofib1q>b=n|LzsTMLmmC&~iBqeB{hOT_Re+4ICHh$vIs#Z%Vz{yl+FvkuAK|5u zY!*G$DOvXB%|^wgYBIUQLDm82R#9WbV{SsGYK;^8FLJ^!@lMeO&sKd0@jZ6w! zUe$krQffw!lkOPO$QJ&D2T9Khy>F`0GxTo%cPPlPnl z6I)#&O+}Qxk)VLbZf16a$|I#n^k}qBK%_lFF?8lBvHc3D0(a4RY~=*lfl(G4wf|_` zb{k`#CLGL2#00Hu?Wd*H$*Zc;{-(stt!~08wx>={9UI5cT4h(XJJ=D^3i@$yIi z^b(B=rnnTEPTp_MZILGJ(wpDKiq`f9uV>q?IV+Y0#Y|0q8P^ogo#hh{Wx~c zJlR7C33U^S-R(vvY9#`y)MA*p`1862B3dzFE#l1Sv$7a6${Hy>-qH1GI&vR3u~0hq zj?94@V`8;YbLbjSxrk%Sx;&odyTn&!hq(N@mD66gUON50-G{Aqs@T#NX+$T;B51Tc zTt_!QZU1<8dDxf4EvTzI+{A?^p&o^#!n#u7IU77zk#up`sHEy^n#3qUZ1+lA14!qF za}>1mq9Bl0p)?&=86|C+@HUqtLM-n)d9|`e&Xjvb!5<#E53L3GN7t3xahQ%8$#?w2K!`cs&rld(!J1Cv))gW z6>044+{W29H`S0Y|6z+a(IhUJ<+A2PU++{K>JOJ!O&+O2Z-i;ei7UKzJd&xKwML5f z?LF^TTgR@8LN1`X^8*H7*<0(PO!WW=T9feg8E5DO6y{o8c?UQM<7q_joshK@kCG3s zRLMPYLj9xZqAgy*`{m9t>%gVD(kg2^WN!^Q`m~&cR!T1cGpk?E|MnGBw!A4$Ov4FQ zNrXWXOh^pHKr#sa4D0!x6J+Cu0TGfF92iBCAxvSIxDB)L{ZyJ+u_t zok_S`?tPP;IDP^{Eb@G;jQ{gQXdKmL*uc);AsK?jhMSS0JCu&sOp61A)<%(w*pdT(~netey-UHt5|oC#C`4MM{VDx=>C_C!DN64TIF zXg(nW*#NN*j>eqTMg>;%G6c3Bg4d9=II-cl?3G$j&6HabQKHT|V%W`YQ-2*mn zUUcdmtDz5GbppD)t33x5K3dn}8)uRcXh-o6(4n=7BxwY z-rIKdV(N2-5onblkh~QZt{d_oaWi)rhv?u7vB6PpfY6SnP*xfOZord~@ zS|XQGLhUVj9BrH22}^r-YPbHV$zWSUlZzv#qlcTUX8po~#LjM{GaOLHAC1SlaZS;p zD^a$vZMoQ&^0K_X#tV-1d(vsU%YIowm-sA0D8Vil#1|LUw;ULS`A(WkYR%qFVWHd7 z$n}gEc9?R>BI2U2UY}MvR zjX0C3+VS(sesDbz6mK)S`viHuaBJB3>;9mMbA$K~eemB?EK)^^hImwoQ`3ndmt)i+OB-F- z3MKG=!senE59Ut{veN@nbbGRMiHWXMpmRwNqi?3%IvmS5=?9`B4ScAW6SIr9_Y<4$ zVrB%Wl6NO9^3TmAXs#JqH#vG^mY<}Xste&I8XY#)x0*soz)>vHYbEM=`*1yZb28|v z+ro?R#qu$~)_y*FDic-tT~?z>j{L!C;q4y1S!jxpaU1ax7{f}x+ak-mx^_kJM2-in z6$Yr59#{8L1i8bz`c+{LgLe29cr%iC0##L*NZxPTifP$nOo)3z({eURDJyFcKRG5W z;m}Q7D66i6CsDXU8$T?ZP5)f)=CVJh2W~cBzcCVY6`X{WCK(&cVh?@pGqmvpKMSQJ zEt#Muly+&Af`UK%E_cOG5<1PgSV_enVM1+64ulflk;IurR>T)WaP0z9JF?w&=wm|r z%vdlx?wZ-}pGPV-Z(c15R437;bOcEx(8EY}?fTo(6|9^8p2I8NEVOYBI&aJ2F^z#j zE2J_wP|EztAxM?`es>4-XAE_^BPJwVDdAfQec=vS=IcoLq&<#kF*-@-M$&WBBw|spLJsy$Ko#V3SUQ5F7;iNajSBV$I0UOc<%)SawQ zAqBdp332wC*+7UN3&CMJ+(lXg$sE z$8Zuk%(m+QxR`VkhVo!Z>MDlb&*hMS7o+Yh_}EztFlcnu%$oGRtNG-rrg8sL!%-e8 zm&OnVW6{#8(pbuboAh7r6#lI8D4q>i$vLWi8T!2!o9WBqp)={`E14*JlYs(!yu;MI zRf3&83fkvruT6*CgE-VCk`%vrl&y)A7uSYvzwW}ex5J8r<6JU+vGyuXbk}+eZlKoS zmK-vIG^jWsdhWTv8J8>+K-dP>y93Xv(2?iu+5U?nuzB%yI2! zF%8D@l3>-N0j7&F^h=G4;D!jtmG@RAt&jdlNxdtdOI=upe`9qPbMMOvC#bf{gdr#A ze=&AWOM*accW&FZZQHhO+qS1|+qP{@+qP}HGZodJ%2$n{b%yc~cZ7UO)4B@%H-Cx~?pVqhts}zkxVA`x7l_ z(HMu54_3iOGxBUcCLZUWzI$T}O2Pv2+})qD2DN>>Q9xpU2Z(6v3ic(jz0u*STlka? zp0obq$~hvWX(T?mz9f*`iw`^$UXz$>b8V>z_R=a5{C#2BcHQ(g*5szedD_bbzgBdC zcOc8$0Z0c!7x?YIYvbs= zh^{ce4y(oui!*aPT(&sHzn*{}NmpDho_#wZqg?VYFZqX;q!S~QVx;V5W`#v&Wa541 zz@%LcvOABr$}@M1Gll5J+~?p;tv~YBqkN_W-<0WY9p=C{JLT$Nsh(w~a?-DCoM|#O zBhbL+;WXE1vL*sb%D}>?=E?N?nL}1Z(0%IqCjR)y^BG$`xG>jSn`C%u-3K}SuWQZZ9WC7JgrW3Cho<(D$OWiHZiCFsCJF=90)&WKK@ z;{kO;UoZW7JomzfUantOg|~qh^*U4RwitC%NjzHfwoPH8K(uIAwy|NU!Qwk)o`q3A z7sCx%Z08)Iq-XKFV|q&&pug7+a&qmogY)DyKGAnb*%tjSsVf`{T=h)cLuTkhlz5+l znJG9nh^l1(tRkjyE+As)@6zJTo_HEi2o9so!$2GX6)GkCT<{{~Pxa(+sMRy^cm3 z4HAUBRp6L5%Btbu?v7;v1j`a5>;Q=r1QI0d;GVXZ2r#f6gp3m;>|tVdGnMoCt9q-d z?(6%q(L1{lmaC;3rMs{(jzn?^64(ID*&YJ8K$RY`+a4~~w`j>X%3PL}MVoMh(4|loN>zl7Dsr0Pp}1@HHp^Xh=r~z>c0a=MR&UKlm^1 zePdu900k~E4+-QXT9oGI^b!fQt^o28R8VJd zHDDh$Sh*HQ(9cyga136)Ex6k^@~Tr~pr?j_U;uePpbcnHJD+E}V6~t^zp_(6Y7mpa zG$zRVqQ<*CFk8QV6CeO*fPdKME;(HHKC zDHDrU~ z=V4xgfXmn0+oW;ip6VO|IKAKWU&p>|t5B!J#>8rWx34xisflsqy`h;&P=nKxLm&YE zB$>VQz1LfY3$(qyi8p$E(C`>!fwNhwywRt;$n9SufJObu0hl*;8r3rLl^_6_-}tTc zsJO|CbKo!k(hq#PUw@ci+~Z%dhhJKWmFa-wz2Un^7tH2Ek3$OhLp?`Q*c&3f`NEnJwU#?K^L{{ybRwkbdu zzzXh;Ab);pfS0nWcl_-|E6pB1FD{)tiuW+6r)JJyIZEILr^cV2e|N$c05rwYAoTTl zVjc-!0Q{XLdW~SNe>_J2IG|$?ZwEl`#v||=hv2;5E(JeAKcthRcjhPZ7x>^`;Js!* z{`)ukfKNyVr{Eu82mlU3`Q>leJ19VooFDBIAO|jfUTOsJc-Sj^lsEJba?+pBya!J1 z_KqLqT=f3)50Rg~V{-m2ALbR=jMc)rhR*V!R$Bo?h(pWEpJmcMOU^CzPapMA&I(km~D`H4-|(l(!b z?Qa)gy<#?@zts|X*9TShTss8(7Js^ET$LiiROVyj96gQM@_MDfoJtwKYLiDM!7{MZ+ix499zQ_rK5!^QzRiy=@&!bdKQ3s zqhCYY;)mEF)(naK0LhWsP6S$gY;T7FP4Le zNSm!9SZ!j}W<;^XIWqMpPM&lu)~;Rr$fZ{g_If0U^fhVYb5Nk-XjVU4@N)ldY*v{_ zHkg%sJt^KI7P30qcDD_T&u+ub1k}u_wW4%NRD=Lk$6n+uPi+p{P`X))jcHi(+AwOv zCe8tU#j_!WsyoAcJXQTjei0e+J(WGtJARE<0hK`L?XiH_tF=_`G7B1#@Nf8v<@5DM zOjxP*EmwSfLa#u{NPT%G*SckG&s~p5fW4?Y#CG9>J0AVh-6IQt*n5T|62<{`u^tn! z^r*^MdN!udmLN;bg_r0GeY9+;{GGoXJg{%B)I7WC*?y-Vi#G=R5Q({{p8TkJk8h5| zbiLZcOk!7Ilr>DH6JxD*M=v5QJrd0gyLYapA0dABC4jrxd-@yCx=)!_1c*sNDjh@e zPn=(vB{5T)jV+>d9zs;bHZ48)+8TQ`FO6-5T!t5F*cgcr3fx4G9*H>2}49lJ3hxw&QsW zViV7K-M0>M;Uoqx6(One+s#{i5_!us=J?QCz}=16g$0p+OZ&^iC$e|%d(7Pyp)5H| zl|OhTs55Xw-MVQPn|zo+!<68_ivVp(H;z@}F&FhqRqkvEDnJ;ei6T@Dv%kpoXh31M zn^#>qmHgOChx8#x!#0M|H_q}kSL$G2=B3Sk*i;b;-Twh0qT<$;=|&;|w2JP+1hY_% z^W|`rVzHD3M@>FM?XJ^Ue46xs3|R# z;jG;pau*I?C&H!7j(Tmg(DXM^(Fse;Qp&U&Nkh#yckWbb z@KQSRsd!4bKZx@l)L%^xeu5F%Rjlrm_a<+pR~D7*}fKLs-k8}TVz9GjQA6wT`*dZ+5u)}jf_H*Qvkzv1_|9Vjl_(mos^%T+ohV= zvoh1r{fV(!fc-WTI6lx?NNqgeRLEnN(P`Oc!e#kUb^jWM4Xp=DptyX8El@Gn8D;0E zyzjtAu(SO1yicxv>28TYbK6dre0to$?K#MNG?B4GLU!vQCzXGe@SZ0Xw5_V|DpD~9 z2{BJe5$w-MA~Ca`=o`jy=RFWcT{t>Xxtte4RbY2r6?at8lax&IbAXq+*T=Mf7hzcT zvteM}8tdqXB4=-CL!Dmmh^(HEw1*BUNJWl;%EP}OYLy|mK^sHHF?UHzna7_q0vvZT z;%Jt9z24mm11!~gkcVhgCgUkU{r2t`bdiO@^?SXr4jKN|imB%@34G z583IM-PM3+JGHo#+lRtw`1p!fiCre{Y*nK({UU;M^l^q2!ptlYR0W>={N={dlGP1W z|9y;su6$c@>8jWlz?>^+EOhxD%F!{m{#^~t985$*ckEPK7Y$-B$^Ms#tTmqfWGmCclSeG^L3lh z$LBrjQ#G|!V*V#68y?%&gV2LCyfz0^sPNgTA$@`Aq@dF~?`mZu%3 zc-tVx1zF0cRAJ0^PhN*8-0u0d^V0U`*n2CURN+tfr4Sl?=QfKasK&eA=(Fegv4cz+ zXS8(h6cKBcA~6_JENh=LvLsVVO(1LJ+|jGdN+7zLX(!dG;K#w{vleSr?PL%mYDEoJ zWiz}GE{%;$n1 z{v8CoOltL$ z%zPTHqw}MF_Sg3<@x9JEeCj&7790Nq**C~9iPJc6*JK|ar|*E>ZGS&7MjcTTNlR4f z-j4$>$Ajchd&+&}Q`X>EAzE5l)MH_jKZ6CQ_G=CfG9A;RAcFc$E^sZbs=pSpfBEcu zG aM)PSdzTPqIkXwQALhT>3nz;tHwPOo*iow*f<^k>Nh+YjUZ_QYhc2M;Pn+E-y zqPpZ;3J8e5IPAO9VQ=Td+Qv%INHS)eMWnT0$XlP&%lu+PooMSxqpS$_OH3b5SXiJ5 zOTI=2B(2QqXaG~FD2H+~FU{H*mDm^|j6I)U$~DZE2PufgPPDd@*ai4lvie{DI`@2X zC5UoPV1A*4d9d&(@xPzU-nP~CO=2&~q+${311E_o!_~a0)cujl)^~!YXqDp4UhQ%s z!V_g%WBR6fA(=B63hH60)Ii6PjCa1ahC(S_C`M-5|7#xJ?)p?|0JfSW(g}aP?yi4< zDoXikC6%FMA*IRTv-4WbI+@ElhETh&Oj+&I+UeUI?vL}1bE|93>BgJkKaX4Ht9Pcg z>jT%a8|is4|3eMN`w%dYIE@MWZN_Et{_iBbGE5ixm*cJc-DCON4ftL$j1!WNlKC`v zbqZ)gS&t3cBz)}$OjZ#&TpJB387YPKPx&TfVTIOh9*L{-Pm)~2r$#cC(`0qiC?-Me zbsB`fuszc%tcFBTO8O;nHrEgymG%9>G>;y0rbQBiSv-N>mtA8X zvGR_kuUNqVrxS&;?bJTIspUa+{PY6PLgXog0G(wW{hn^50CtZ&G z@?3#JTR<2~J3Dr!(nkvD&I>+YLjNRpqysfd;=TBRb?9VVO0NwAw{OZEojF=(BD(@4p3zY_9(LKuL#AT+>!V!9%?*trU2q-sFXeEaD6>o zb0X0$xj65L+QJt zqV8x)RWky&8MdSBrag;O*x*45@A@by!_slir&b;#Ri9s}d6N+GV=Qv#J(64ZeSD)7>CR4CM8J8a zwfKJbLd_1%j~9j}R*#=UKMdDRxDHdVIv)X~!)kDPfm5fuVbN0gCvOy>uXRl-8GtK5 zZxqKa+`gPJg~@z0Pg=WHCh5p=?!TK?xjC3wWOwG$`P5G5d~1u@Zig$d93ddKjze8J+v)Pq*!bt;%NNd|INz-$Vlf z$Ktd{6Ki2_*J*{F;&$Iugo7eM@Ec<2Oi8S!zH;6yXR)bFblhi*m+|qJ$UnzEXwxh(xXx5kd z)MmuB!$`!3>>FG)rFEMRnd{j%P>f?+HE92mnXssyy@VIG2-6g!$Rh8UBk(tM=s8;hK``X1`Xs^5ocW-|}j~ z8fk3ePr&^7XAF4t9Y2=<^XDydzs&}7jf3q?Z`YC{NciTZ;3^BLS8QM= zwok@vJzPG%4)5@-SPOXNHiAOB`@SYX4+b3vtDY0sXHq;oC zk}O7mv6}TNfVWJ0e{H>lU5AgHbiLZSHm)C17V>(0wCPRClA0Prw9(i?1h=Nebsv0e zk!|04Mja`O^Oa2JmSnocbWj9mTP^Tk;NgbF-L%99{mgn~Z5=#04nP03hj*{`cm(}m0{`|x-`bvCAtCZVM^`vC^~60U$+Fk`E(n^k$H z)F`bp*IYR5&TZaz&6J%zG}&~AurAUN34=$SU~8$lS~rC=BJE|W(97*4i^>*}9^afF zmbdpEPK$fVw}j(5Yipq}?wVbX0yYMR=j5JDk+p)w)~w!@-m*B|t(jGMp|kXyg1-82N6ZogG4X$2Rg;vFO(Dir6?5Y&O3n zoZNPin=03ts>X01$y+*mNc4j&-Dt~sCQaXI2`_GeGQX2LaGNBTOm%w9mOf)OuBr1v z76^yQ4&gnUOAq7vD0)1y+d$cr!e|&6T^vij%F2Z@dt5%|3#aG;WfhGtIX#J&Y(vpk z#J{#=w`EF|R%>+2s;!hg7-wz9dXeU{a-PmD!MIipJ8)eE+A=$b3FTn_wLcWkuzZ6= zn1KxTx9I_D8-P~~8B*nTo7dHIaFNY0dW8X;`|Ejfk2}wkCgBRZiDkAn-9RKqW|u#3hwVh^CIQ^+=^wrFIy7IyR8M@ua9o$Vq&&aN0Ubx9DD?M~ep4xr>5W{rz7D4d zg29`PNdPZDudFI$GVdl4o=l{|Y=J8<*^atV4UR##@oTjHyQ$4(c9t>vHg(TVIcRz& zeUAQ8lZ}R&dhNth4!08#=$tO~XcD{8@|8|Ux_v#yZI6o7_{Qw7=(!7nK#sj1uub%L z>gpjpj-5QR4&ZN8Nrib%z56H=jrpD|*@y{ryyt4Vr%mwfl-JwEdA^-8%aA2Z+M4hS zmviVOerPQXls2QDV*M&HUKLy2#DxQ7s4lph%0F?GE6$qVM4y4u zaV0+Q!X1#gs&A+-c-)g|v5B4Y1(RnBR!zkaG*lt8@uM!uS{4O$M|=2K0z^s?G+4nA z3ac{to~>~-q4(Wc<@e6Y$R?acUJw!VFGRB2l;MZKH-kuwrsTWXo@X z)^6XevnTRD92WxP1fvuhiz_;|SWYpF1w5)-O;%^fI5PHoVt$Z4(qu&tn#M95ttp>q zIq8k3=b%EaQIZIGUmebKK+l$FzsOw_T@SdB-PWx*!rCjEU9YN}$o0%ciHkar39V#H zfaGmD)z!i=&Zh%T-e$wF4s!~BgZ6-nr@SnpG=8C4P= zQfE1>zO!k~q6G5tlR=t#mZ5W;4X9c6lhTx{CT)&|fq>^tt^rIh_I*d}bZFA5DgC+g z>c%VUT@b+=;BFSMtbwK26frl4lFjTzTb%LrmWS1qID0PAEED9c7RS3OZF}W?8>X`q z^Nq5SX`M1HJw)}5-W(50$I2KwNsOg%F4n^P9ib<| zn(5-EGW_#w^(U!j5Fd4Ex3l~8csX^aUsw7vHPaDl#)w&tw#<< zDe)jF>t64?6Fi{+T;*x{p1ZB8G>d=gwbHMErAI0XtTvi_o#M z0}1*)gv}9oV9uoJtSiFjIDCd0kcXB`HFfY!B_Cbi26c>ZI$W!Y$}^ow`r*Ji815P4 ziy4Ghi>P(H0&Ixsmx^jg8}CEPvA${|*X_v0VUauYH1hNSqR0x-5bCYT`KZ&YTSv4& zZ`fJg5GH?+eU-jJ76zvyCDnU%iMBYKIWmb7`N9w4k0zt!dP8hE8A@Ba=na78y*U+c zz)utJWgASGF#~s<%$wvJSO;iL*Pm>ZnI~j^Oc$79`K=PHmgRJ!>8qd~+7AA=hRWQ- z)m{6~dpFhns0Z``_?z@xhhD_h^z{ru=`wd@$n*R8pjX$C9z1-{H%!jsYlYx^VK$f7Tbuc6KAK^r;?R-_kk5?i-G^(hmp594<_)k?L z1+lq)O44<4OB_o^FZhXpC-{VsC1p33_`4|Jbdt6QQ8PjeXf~89^DL9!oGX?U3rgbM zsIbznC0=Bam-*=As%f-+AwvzhwEc6AMt*Bt(n(t-?QPejMKnQ1OikQu5h-23hu?HYqn1}|(Uf?tjt>tVj-}F9LcnX> zg?eyjOUCyJgL?L6XW5ei4P=HRtriV~&d*5tkkG8_?7x@0J*~x_L>0GXZdi?T7wZ@0 zD^6&bV8#5?ZIDA{V3OJ6r1BK^6uWI(BOs(81@XxwUgMCLT=CRt4ZQz8vVF(&&7Pne zll)e8VBU3}QwXHNJG2`Kn~A&%6moV{O&7*^Z-_=FSqv9)|1+R31M+e_GGkQ;p6PT< zc#bZ?mcgteUY>aH&YvSJtzvzeJ3nCR51!Hn4rUXtX&eW?3EdR&%+!8_gq(LohF2a7 zh`)enDikLf6!3OdqBxJN>D3`8D5c#jLwf5IV$jtoh9Gs}-_-q9%p1{V%URWiX(n+$ zt^*YF^1%DpEMfNKPy=krnDx+Y5pmiU(K&WWnLQ4Z`bz6n)tN%ftEI9s!O%YvS&VXT zAL##qF!$S)3jNRDHG`S%TlR;7^CJ_~3_sx>;4XPDT$u>1N>)lo&*Zj~Wt^b1HGiCC zYCS6^fEK9}cvz3;Soj+KOkZc#@FTD!n|K}(-=8kJtjVJU;EyL)VI9`ylR5e2YIE+X z?D>1wNZ70L*EWo!TNgsmvvhzcypF-3`n9px+K_!irTRiKcoz%1{u4`sv<+%!XhgRk1u0KuJ%H1fi+(*Ej!?;ly0nKJ$S*eR`)Ef<-E(sxhE=HLx|UC4i~2| zv*10ViOH_0>hV>Y@4REh5oaJK>>DuiQmrOahQ!oS-wY7l(em|KN8Hed56 z8lzWE2g}y&4bFK_X;`VNa5fKVsC-2ZXg$om@gB6PS#tkl*In*;@*9;Oj9kQSILi`U*6^mpD8__BT!6CE&GH+Za;Cj-J`1UNf#RVMR} z;W{b`4Ov`;@8})kf&3J3ToXqoIv(1!e*(>FbgR9hFq>8)Z6S|a`V5)+ z*^-|1wnmq|Sj<;!;Zd2{uQ%%~MbO1C#|tFg*sDBT7R*hs(T6nWi%monHv`=rm;_?> z>5_7tZns-MHAJsgyKD{*P%XLQimZh#>)AIpQk4;A9#&YYz7$re&wEtnD8YP6eE!ma zQ6e=^`My8Px@4P%p6t+p6>g8S3|Hq97;%F~9B3MexwJ|uLTjx}jctZBaRIJ00P+<{ z)FL#y2U!N*LVIf9e#c&R)*VbDjo#43U*0#uS_O&p$>K18ihh7aydcfEzJjEn;HiWM zjXc6aKI07aDk9-~Ow zdszy5zD-?n>ocaH>lpWmsqd_v9jJuIR@}%@?K)GO2UB59P>C?NKzDyT)4ia-p-B07 z_>-`@Nr;|TqbU&KSY>Y698FUBHkkj;DgSl9TPZBNP?p7jgq0ZlvkEKosFocKD;gL> zIjC-Y8u%fhu5VrK68Nuif$ZJ7*cSeJ*I>#!VvAtKp-3T% z@8nLBwaL!$@rc2?wUSf9?u`Z<9lgnil=)_yY5>hO%^?@_k8jnic3$#bgArZPHifg? zN7=6f11}XMZ^{Qr7}Mu*f|C3p$5i|Xs_%#Cz25(1`L5W6^+AliMYN0rXQ~$)vy&iwEz|qY2O6S=d57xbIxBX)|damx-SJ2+{Ip z@jYCK?Bw`IIhSI2czuj1ArtmCyUlnh4%g+}{yMjBkklr(o(eqAYF=CBM(CSa(>TqF z?_gu7RdJ8mkwv%0A$ZD*6cldryUZx3g1wr^+Z#F)6nS@L!}9oC%q zZ}+RWC}#ftHJ?U1f39lWtmZdOHkd*Ai;UZD^P&#=`ra>q&U*y%e+qQ{*YUppv6=8M z(8a>a`M*F7|F8`loc|l*@PA+%I5__20N?+6zbVEIR0U;gg^iTaMRHQ&b!v`)a9bj6 zi2;UT7-pLwXn~SeLW-J*bQ?lKT7rU-v?7FMxBRx}*7x?e?%CIRC6n{i^JT~Uwkgkd zrG9sL{xq#gbiF@CQ9|A?96$r9Jimk-3?%puNWXy~0CyMQ;3DP^IA}fgz&0-eMe&jU z9n_6OIXRYch*#lsvw}o^XBsmC5lBe5l+ZBAfI&V12F*RaaB>%k0^&tXJ*X8Vz_Ox5 zJ9vOD;PJ(2Y`y!PNZvyoX*~2OY>0$J`2DvV_(VtlHX;KBQaR|eOF&n?e28F9;0FZ; z(9QX49D-Uq7r^r#o`bu6JMEo%hk$K4^q0FK z5P(~LAn@QJe05yo<5OVgP@qLWCSWiz?;M<-gmybOf-jqbzAW-vKWglkarOJ(0Qk4n zWdK5;`2Qa1QYQd;Xk$hJ6YgjiO7Mdy{`YDh2Aoe}1?BGP`3P7jp|uaDUP)i zG=v)`wAYn??zWYSP?2vefZv)MWMSn-9kNxgmOz+fa2mR{^eqh(3+O9meTX-Z$bdmZ z1_&mk3vj=e0er4*56rLjZkOZ;J$iCWAS1*Yw@N!)!0cOTjZLJS%n2;}$U%iAGv!p!dg7Pp z?srCfeRBPseeyZ#$6uoydT{-g9bp9i524~2jq1m=exj#rg|{HbU^ zaOKb*Di$x(AFm=Lq`<~sHZ4D#0^#BY?in~=J9;Mq0GQy6vH8#Ej~W94Nq~rFp>Dw0 zLr{Plg?oRUUnB&epc_Q9$^03<00L}&_tq~ggfxKQS=i+*@5a#b`sATKJOskg`5xSF z9EJhQLGZ_>C=SF!Sl2J$PXgc6DH2OkH z&9-->Ny59T-@!aswO z&UFVA1+%yqXjB7>)F4Jme&HndZH?b+?yJ{n{x{9YY%oOcDn!($3wpKs_o_UVE+a^q zyX_$Or!V|Oo6zZIRAuFLW|n1rPAIKtC4(=;+fs@U3B;f|cb0?F|ahf;=|&=prQpywbE3z7*hXuC=3Wlxmbs>{76 z1j2^g8LSYkGy(2*^9u@o$A$#%ielLp#tUqKChr4h%`VN`aA|^o$>DmBT&dUNrwT3u zCDw3LO^UB1@5hoIO_r_fOze2ohvF|;}PEnt?o z4}~S25^{-%d0UsXnIm!QAj(O?uEc&SgX`CDH(qe1P{DL4zIpFnM8iYi9=BW@ah-Bw z4Z48A7@0d{Me+;Pti802=^?{=P;MywnS~g+Jjg4aT+BG%eD{PzwmnJyaHBOk%Rc@+ih}&wX}?&zCi;>?q^Y%Qm|Kxq8+GL_p9w5zppG=Wf0tj=LYG-bZt zZWaIyZOhPS#7{W6HF7(CWeQ9JXS2s0a@iUC1b&4p;c{o2-GyHSP1C1I50oIHlcHyTu_V8R}=?^br;6|jE528b79ebeP{Pyb7Mg z1k#(V3AMEE$V3B>vb@t8N$c3kax`B(%E_$5S?Mouw7rq;{&}Rt+~xdJ`|x6$;Fw*X zT=d<=_l}&ZJuYId!ptkmyhEw8CVn{R^Yy3TuJ)D|dHT;=BSBC3a*oTo#|RdCySBL& z`g>G6l-L*6&sVpSkABHEFTv*hX>|K$1SpSCdFt^*w8EmKo&!K#YyZ2du0-9Gg$YTS z%g&*@uhj*5^fmx@Q~?Ai8oauRg=($=MF@ewnU2=E(@cXCw)C6Fg3M>=5@^;FR&J^QQ1qSfP|Bgw@1EiRyys|LVW$5=s=zhmGdx!AO308t)>x2VPFz zL*)efnrJh$`ox&h5N4L=@Gix`t@*JuS_zS(5^Ce(*Yi#t@2%Iy5izc|B%4-Y*E4f9 z@-(gFxqYtw9h&A*y`Z-&hbsz>@`=jb(Ox$Iq%s>F<|j#UM_wzY>gqNB zx^AM|qf}bb=k+eniw-uDTj|l;ls#aTfM$W;fJR$!e9%C zSBQIpJJ!@g0WOEQ<)*ZNooNCyoIETAgG5VYb{n=~aT^w=1Qpux8N+_ruDgDW7k8o; z)niLgvSvE4eu?@@&lryaOI0#SlYSER&7!JI)>8+!aPF$F5+7nKV_p*ZQ}ZHrd`hoN z+e-=wM}L$YvO`&yfy@ouPPef_KvsN1$v-IBX%xMVdUA8AD8@IO#9gyv+>Tk$Pa{nz z`UvKz4*Wdoid?5Ay|b#Xl?f0Lq-Gb_v!GXNiy>VdeXut-Xa3A#%u{KU=h@-hk{i8~ zxil*HwciQm)+hR=v`+MS1m18j$Mk98(s)y}y`#-c3lW~P(w)yx-RUqL{SB&a(syTT zj7{34HO$yd#e~U;^-PEem04; zYT9%PL*cpA79e|;MoZLN#@|}?uA$s6KYfTZbj7Y>CUbzPfJEzZ)sHOq4|3d`;-4#hs8NQ^@)m^8W7>6+AgtP zBi|3;xWlRlGAHmv%N7keqE>C&*HaQ*5RgGZyYs8#+8Kd&1O(uQj_sAqG_ET-FX{-f zn~eeIuw)KxS2J@pRMnxsplGomG6;El$j7*NoGYS}OL70+kWgnMF)(qz^=oz?9RAL`XABIxFU8 z)XnnWC9&1txiJ!Re%1W7rstT4uvUWC3a>t~#l7x9Ev>GO&XopAw~L>8W&e}IGAb?U z&Vi(bd#>Qm$f6kx{Wz9!Se;Lq-LA^IT!eX1tpPL_eTf@dBMvhAnp8R|xg20|DyN6S zF*fjNQ4&%an7@Is^BP{7Q7_eKpBkffuIry>uqBdJ(}c6!;0egco=|J_Y_H!MPK9@E zRk)g-pK2c;)68YSiDAlk?LH6{L(ay`5ML<C;1zb49HgXiTa|-Q#+VvT0rGX* z%V0s^e9TQLV;ura0B;XA@(nIfAokYT=@ zP!C^_v*+!jr6ZZyU7lr}P>?$(5-ZKD*l=7(FzkF&MCfa1bP@2#Yu2qM_$QQD#+4ns zkpCVV1-Hb;7kF1FB4TZ@wR3>xt2Q*d@bNW3o4=k*=&^K-7OftI_DCf?m zuGMxgynhwmhr+PtDi&(wpFjUaD( zvot;^zz6lPsUsv=`GS;p`Qxkd2l2QX@K_+GU$JKX6i#uU5sSQ&vVT*zAF0B~RhMPO0hL%`ili_|_BItb9k@;+L)>i}FZCDTs{oPo~06O$s*}LT@NwyPCIP zGUH#bDxTwd;PSL>SvHrWBAdYaZ{s=MLG4kCwY(pFcVC$_MKKc=(30Il~BW`r&xqNFC5J8a=EC98y;{Yp`CpzD zaY#WYaGb5yv!E?@4;)o~uH6)OQr_%*hMS24qIh?~uR{G=j;y?0=t>o?knbaW+Id^= zb;Ysm+An*TATH@wW2_g#VAW71uMJ8M1|Fhhnn7*G+4d&TB*c)AEI6grd+82Av-i>L z+dfF3#&_(!fHCgvY(YjwCU}{seZmPnT%55i3sv*^qISGLQMvZyh-AvJT$o^^`GhTh zu);}Ab_&{_UoxZqvEb6UP1MTPLr=ryG^0ffQE?-6l@3LpRRN9@9EiT4^!AJdM{T?O zJD&&L3r@~n32%Y&%*V+y-`yV>8Iw+~Pf48wO7ZB+-NFA$ckij+#{3J_MGtA3bDy|6 z>MdIh7yQ)SEWv28Qx9Qan_c_MH6i8&>dJ-Z-&KHumWB)316JL2nclhFXIyyIXq-Qj zgUA$uetH(k#W(awv>DZ@EuO7%^=>h(k`$+UzS-iww)dnO+-?JL{>@lH`+$wU-uQh( zKC9k|RZF%Z`?_GsHC##qJAmlB+fu!0Ci`XvE~lXJGcpSqe$qlaC|$>|zn4gHhL6&| zApOsP>#O!g^odfTT9z~$J;;`vDO3L zu5Vm@XL?troSa{Afut!_2({VzVKaMg;`9;Bg$cX!cR0Fx;xP;;wIf(Hh5miU#d_)Ej~y|m&w85o30w!YDzD2$?YkZLW4bW5+2OoH zXD>JE3%V5wBVb_Kdbb*OY@1Mv>HzB)0S>EM)~*J{-ni_BlV*>L{b}=TM88J0xP96V zlRuVnF@CXewbg!9&Jsaey?cZ$rSpN1cNvr2mCeV@z|eLu+ofiI;#{)(U(2hW`haF! zunmLMDcj+rSzf?aqO<*X84E8_AFMQZB z&|w+DFUH;89<0yRElyO04~@@LJ-!5y*zL!G*{CcG1@EBr!PO4Pc6&b7%T?gu10o)3bP29KnE9?Y`~rFy7SoFCOdbhi-k`crUG z)yQz3bm;9c|1kUTb{?3igFF?5UGIWD!4E`uA<;rUmc;g|2F#a9Fy*Osvzspa>O@Y5 z7}1bF&E2ZqlM19(g+C?|{4WdRz12ZmfwH))fpw7NAbcd9N+?W(1yvmh{*#!MMK(1U z_J|Sa$-+HGFU%F0pQ=Ia))x0e5J-77p@w+1P^l+jIH-D{iNHK-^jmq}*Z1(qBGTr` zD-G?`W5m2yWf*d~I41C$^4YOORg)7bU#G=3mEu(SAz^+$O^DPm-6+dvzZ~p8Mf7B+ zf)j(|5n0~*3o(Ut3ii_a^Isg^oT5tOChVLxDcKgC+mLLEw8rSQ2g{l2BQHK06Pl-Fj@0MDh}@Fk5U#ML0F_mRmS&~@3u@( zHeq5wLyqD>M5Rl__h@KSfA zqFN9|&2CP)bzr2RxwRRV?AR~g(Yw8qof6fb4Jj%GRJ7tXxN{iYu|{u_5HM2%5qgG; z0SZK)K)$4nSw!w-Bzkm*-w**8BrEG%h4cA<>j_=ahYJsZ$R_mHBs$W%!^rQV-{Uai zAC}h*y$PleHsxz*Hi^R_42zQ$_6kkV$P&|WplMw4GRj(za5tqGtDLFqn^wGMcIH2k zh&`qJw?Op9XGZ6Cx+FL$bPfYFX%exaxEru*Abc_Lx+GfCHQ?z?=Lb8t5JQb)T(u>O zh%OXBzDzrC$87I6yt}zJP#EpQKa7)`2|n-@2|X0^`S0yXOs$Dwm4lrT{BS}jgP&+! zkK$e{e6}UVw`+6V7jeSI@{enI-nW1K%3aFC);Slit6OX*O@HdS8^p!~ z;bz!Lu_YNhrhmnO$#nq~7V4PP-sD&@U%%dfc(Fo`Z5dm?b7#6Abtv58#a|v@?kcnDx$Lneish|Oo*ltOP-`V9l77~wmW~?h_bbLV z+4wbF=5su}M_0Mg=eby3@zD2s}BO1Wf0vGRZz7|*{9QieajFAsV?pw0Suy) zV|M2xm7B}o50?@BzNw?;I8vr=^??xYm&l%srxa@*97`Rz`_`$GQV37Sasn6q(8I3Q zK7{fKZ2OAO(jgxMrdwd7_`nky&PY?Pi2dl4S^$0qOk6(MiQGE!1pcI9?sQ z{Pn>`i7Xk4E~oy#xk__S;EALarZh%OZ&kTbLU;7Spsa!+hFc`IrhA)n?jtXnA#6;~cjO2qeVhtTSrdQFbW4RowVP>Ejna!(!_R3+tK1`l1V8;_{@aw4~c|NYrf# zjGTP?V)O;!BtoM#&wROH<7 z#iJ{>B3#_O`aAEaW=B1)q6vwHwxt{_M!$F*qc%AU^@AVZfdQ^i_wpHTF5QVkLk%>C zFJOiQqf_$1i3N7cbJCpwpV!!3T|9{|V4>YmG3DgG-zrT62W=k3#P*s%%!&A@&R$)H zUyo|>Qvm7nnl~DTfU-E``|^hLGB)Omr*Jqo_Yw`kPN|F+W@i<|qB`rr2 z#enMvXPC2X70MWyCwSfk#pBL2>NZO|N{YwarnuMQ4qOZft@)HtNT9QjUFQ!ObXpSv zS)0F1Y6{~rjMl|jM%}!9#^2a5e{fO45{Z5op8EG1)3iZ#Jm*|U8?PuD4yMWD#%%63 zk^>Gh6PVt?T^}e14vP>WtcV9$mTEm#{K;58Rq+Fx!=cOlZM!q9Lm-oD6s8s`Vcm7t z*^9z7?DcJ2fl*} z-9!=(tJH#=ugz#vVf_`Hh*~l=GkAOxnD!khE8+H5IKH_l(5rhbtw}L|jY>B6Lbp5i zY$YP+TRf(vowwv4k zXl!A3h&+i`wIpQ~dORAdGpT4pBc}>T2|kTl^0rpAQgXFYbClWln5#6jN-uhOTr4ql zR{<)@_GxeKJKMZ}qlK_(TjUyrR^@beA9t%22BZ>B4h^+*v7%r$dNrt2H)%xPA1bo- z4&O@H1gFH|20MzL%w<-IRK>35LFQm{or2#ybYerRsxaVU=E4l{(*5B>@$QY`64WzW ztXBTWXM$mD7G20c*NtZpBLVR1c~RwCA`Fw1le&~{MywcK=>ORb0XIoHcf>^@*H64! zO&R5a@7McRk!Nkjgsg^$E)`p#H{jUu+Aijm)RHLJ+P=QBVe{P#>~k+?c$?SutrWPQ zCc`A$(xlcf1Tw4JmuAF z{m!&{W|ngLhED3^gQ?s?i(v(^(2AKNLy(X)@!xnX{Z`$1*t>W8D5F?mBN;#45ser* zya_W$*?IK|=|L&Q7dMSga9zPf%dYH(DnR3e;DjoVeE1gfHZs)DYlMthtCpA2Qa?q( z`5kg*3Ul6nZz=V_N|4?7z9ozk&w|YW7UV-F);8(Wnt^OvkvpxnRWlExvZ9W2FQd}& zTawmD+sp*Pu7vg2JfXi-fM_&N^m)ghJnOc#o!3Bg|I6$2mdTX0S7Fp|!(w@4FIp4d zkyFvFke*#^4N;DNS)8p#DpydqD~)_g(o!%_>YOB6KwP6_SdK-4$E;jk%%nO5GoRl{ zaUBOiP0?blCMSfTI_VE>aB)>Ba%HQ*h)`KL$-0*X<&(=Db`b=^uMfi*Mo`6w1JR zU0&$@Ghu^A>SVm`&B4RIkuiWnn^En(fq0`lNeHt=2b;h*UBuoO?=wyc7b=^Lnb)bD z&`?X1OIw*row*+8h=!%Z&q9F29KR=ZhUuUhqSVOQa6l4#T@Q+X*zE*H(tu;rAQ9hD zh5r5rNPz~g?!Q5F*8kdl!0|sJIz1cXe~|kB2hr)7{`cJnZeZ$(*1NofiU|wn{G4oY zH#atM7)E{iR%4>Bp-vJ|0Zx$O;)O+iO-bb95}|&6kRLL5xv$>2uRnY-w_Gkbo8H;I zk7}#V-#4DvT#-G9y#c=#a4RB&^WFtO_$B-jV&cIdA%Q@G!Tk6M1YKN=FtC1qVUzu3 z3--v<7Y{n}rBC9{(`N=(0xx6`{zD9scMb*N7X*y2AQ6{Fi~xxM0z&dlO2|VDJfTmQ z_KRN(C@)-?Um@s9QruM!J}r?6EAjMJ3J5(28z>C8WcE zQLxX>4-p9@u)zBVF+geqGukB;1?B1G1r4Y(A2beEwqeT)$QEM*Qy)@9fTt_(x1S!( zFQ33u%hB(O>Aqwp!t4Yautf6K!Ik#hBk3t{J-{ucQZ zS^19agLrG?0Ez=T)7$@c`+)`(`g8#o!WU)Zr*pv6msb~S(fS85=BEs=O z?6*TfI)r}#8QjzNgxz;N*Y~Rk00xRWzmxMN4}+Nc6OF{*zt`)5@`(!GI86x&K~j{7 zjp8qg_+24~c>)})|FW%iH@n|K7`FrY)2kLk9~5|4%ZkIj4JLz77n&mvcg%+aEBt0V z1r-4v21Ft(BEk=JCIqwuaX|e>p!5ctPW>3%MiAOhqbP+%VLi#!=dz}@aV1O3u{Ez8L#k3KID6~3qsKG5CjrJmXf zMlc6HqTR0VqAy;3UVKh`LIK5XZpx3bva;|8(C2$FG0-Pc0Y4BVC=ys$csLNq52hF% zEI?`0_ss$yCmtxgcVhTzahJsNYaVDd7kD51lPQH3sZg8T?{Zhr7YGGdklr@$r*Z55 zLUiTte-NGW>8D0~8Tt2*_320C-OpOT4Sm}!9=K?Gj@cB-89qa!-_J3(WFGy(r*(j#$yu(u3IamWV66c%5+ax%4|iWrP+H?il`zmZ{**E& zzqd~$CO)|ze*pt6kaVm+kXRAKer+Ha2;Mw-I6)_0Zz<>FT`0__wbfg&O;9U&*}1qw#jJDaF|s#=F(BF%@9@Ene#+*fw< zy~9!oF69Qt(p(JpN^WgfMi!j@9!DF-qx&5vofCypH&Ar(LT`!NkRJQf^-(i&(mJrj zEi>&4yG!&Z{jgv7(hT%y1k<$D3#DR}nA_v~>A@xKQc3X;Z6BPxhv-PcxSy>2*zLx! z&)@!mmH^xqH~tj2(Lu_|MfJhIpI87y>U-^aqMVz|+YA-Mm%Gte+XwIuJQzH5^XHX_ z6=8)rg%9(Fqu8R~3ktMC_@zn~=3Wcy*ZPau~_4){lxR zQ9QKh&a4|ve<}V|CG9mmPn&n)S$)gIXRwyCsAAIFHewZd(S)dK+^-tcG;kB3`_1yN zXeQtCzI2AUq3Ux>5F6m_$gL~iRyTbLwE@!^l!X!(=Ntm7?RB@vB%1CD=QI9oaSNb}kiBACsJrsV7PYOTa{rpGGya)i*dn zQ4ZoYeGc zW?}U~qb06#V72SKo|8-F9C2f5&lZNYt%*!Vi(=j953r|U13v094sk36pt{Rh#0w=) z_I{KrLl!_)+x8m)xATuH_3uyEh+`Mp7vCOboztp`H~E0qiO`4%Kdz#z$9SXxOBPN7 z9Heh{VTO|ai6On=TZBNejDa8%L=g3vnCYNPJC5qtC6P{5t60s0F>Ko9t=Jh4Og_b? zWhQ8g-yZ@qwkbj75x%br=-+n|bJ}uG(X}8Ao!|Iou8SL21c44|vQ+;%rN53F63fsY z2qTNqTSZPjD8)8b1ua_yt6MEKsp2j$zk~3xaw#|`^8d`-{FdwRb0NMTUN26+(IFkg zNq#z9__|stGQV29#W}asxa+LoE5`%1OfKx%gg)OE4xWV{JfEwM^t+C*5nb)7Az^rlj-F2?z& zQS#L4nj8gE>kaj3YN)LKTB)#|#^hj53<0!u!6q}FNZCEWCS^mNi>Q z>D-j3H@IF(-VVr{^suMSuu?1`a^0w-YE3wqVZtUj5n&V~YAk~n1gj~JFBwO_EQwgdfifM!vSkkAY7qfG z^M;cw9MpPlBf<)=^fz40EnSl!gd$uDi=b12`^r(s%3`+xh{>(RQE~aQC+pHZ%+Bbl zOku32!*zMF)WyXjIUFf--s@;qH~#VB{nFmS8lcWmjm<;%9K)1-eGgHcTJ~1s!OZx= zQ+a44^;>#?x9f@h5Kk79V$Rj6-!*=W3)|=GGJnnibG`k1I9~f)dHVI&Gi@4YQ!3^y zI?>3|!QM@D;X_K9N=$gjvj1pV1^WgE?J&9rf&L!qMe@0SKzI<^*{l@NGGBQ?btJhI zE=7SlKVZzhrK|w<-7p^AkYUpeu9uXn+@~v$#o?hVU_cYWHHnXXj?ctFU%W@3Gw~JC z=y%l7h%*={_el(frnY6)H}j#MM3oj|i1XQ0%!g{bcM^P`MYh&FP04Sq-7;41US3v= z9k`mYdfx4X%zdJP9ljPZ^nt~OtZ`u_pNnC)=e3l5ESp~IIB`~xwXLOHQwBReGPmq0 zyPXRHkDYtXilTl-$4XEAZOa^uf#k7N?)VM~p5;}Y2witG8@RX=!B+T*%s6hwsJfc( zG|Su465`PbTr{9B^@HgKm0S+W40=VwvfkmBcjL;V*%{X@q3m$V*OOLB9QI02whqiU zt<3NpNCPOwr(bKm#NeWIPE13yzIg-=*x^;pT?MyP3#5p6zRn$SK$slnSYnE_`f8)c z7L}=8mWv;D9t&Bs+0UrA2E4ahghK;tg}zPQMfk7a1i{ran{Sp}KJVb%dw-O+EWu|M zyY4^28=;#N-sKs}1Gh#!94T?2YwRNL#(EspbQ(z`)c_Tb3tAEWaOs;haFN|^lOX`@ zThkHipp*4+zcpyJRZknlYxR4hqRl&?R=cC8%Zd8Gqs@C2uyHeq)Sf_p;N;q(hdbJBv28^kjU0)Pn7JVV{fMNhek%pXu>e zJh|f^ehM`86sb8<}61~+xDlglahi5d=v|6$# z;A#bx_eNMdRdds= ztFQA-Q|K4?HVmH+#2A(X!nXz(*m36HVrE7vwdFWffSGLd-b9&u|8Kt=B#qEq+MW>( zsQhl35}UwWyxKV)YR}6eX6aOi1c!ejPMXt@pxx>hxI>KMV*P$zCwVPNU)7~*Mq=dI zZ=>)x;MjZ2Xt7}NRLw;1Y9?sB)B#pt5ZC3}8kY1nD;864#%5N4`p8lv zGjPwwS*tI$Y9H*}U;4mr2uC2BD#-9px6l;&@G+jS?9N2B;UC{>HBkAY84eXtk%s3#^Q|!$jcc%aCk7m8NpV8|jhW08>lD zv}y#1NH1FSm}RrkmC#)vidw#b06KD@_M~?suUjQM)uvEtyyT8`)GInYt10DF-d8`0 zscVJcyUjxxf-nwT7~Yp;#KP@zG(&hC$7^*m8v_4uBybl>ZAizg6+$U@BbDRqDWg;9 zlKNJ-=raSq4tWMEm+o-VdToJ;fXk0BZqLnZ(2h(G>F&NjDqpN^W7d0#+5ZC68y~(P0bs8B;p@ zsLBM~`3$urNK9UeCu2DA(DoR{$@&v=TO+n5K17LNmD-0Y|3hsTj2 z@=iZunr8ztZ0HYRV76~vUjUO_V!Z}f8=Sz2hxUJnhGMKET(LlWRbzE4hU4?y%FB>#% z%mVXugqHLw^w)`w(AH^#C@dZ66K`Qn%Wk}ZHtf-g=K>4MndTL>hreb-N8cMLC~K&q z_8EbU!n3wTR~6(-KSxurCi}u|6=uZcKYk~}IpQv$1!?|?q4A-Nhv7@tb zV^6P^RInqcy%j}Q6^W(V0K;SwA1=o`?dQ=|JwT^T;ChicaCW_({e|jSIpBtjEkibk z5v!EvN--N{wEl~skUwW5daan=E%dc1DyxHuXq~f`eOYyo2Rve@8+MqQI%0R-UAk>@vn* zxFBr~6JU{bS}6(7xVhDCZ_zeu=XE~JiLsj-Q)yk}i?d!8#8ePM=O+c`JuJ2d%IR8lZ^G=J!^TuX}nQFX0pq@d8H z@<$0xN1g$iLmyRb1e15l-=9FNQ(Kp(udx!1Z)$l>mz|X)-KkI1Dc5^jvZ8Oe zj!Fqnm8l&+1J$9M7(|?zXvB1&o|{$ z$hP;Ck_H%a<@maN_e1C>r3VM5jA@PTmnur4ZZXY@|lCTtE2b02)>7}Ngc zde#4yQ(U8U|x&@7%?j(ynbbXS{DY33NbrC=x~oXkRf}`2t_Foi-zSK2bU| z+7bsn$R%09LB!B>o|pbh;9RV8<2~}zkJ+-m3S5z&M&?d}>X!OM{@^crhdf4|dc@6K zu6skxXc0ZY2;gm0jZ$Kk75P!Mmm4Of2=?;Iv3KUw4?*@Cnc&Ss)i=#UeJekk-l#8i zP}bF?me_+58*|QW3+j8e(g2k3bf*#qv8fkls>PUz7cqzYqP4f!si5QXx8o$4liyBC zx)dm#B|F4QKZ_Os7uOC-+NzS|RXGnI59!Fz=}19QaWafeTXhKOW!I-Ho*^o}h-ann zWGL++Ksn4AihZU#!z0d-q}ae9K36G%^1VD!=%U#|xCuAw9e;7qF!K9*YU*E& zOZybM%{9=eVO5)QJpl4fQU(hOkYshj$|HDp`1d?RT}m!8Z0HlOIcj&CVyK$=E=b#U zY<9~VwhIg_vHHS2Utemq+K!(Z0*(66s7e)alv(im+7wIo0;dHnR_{@b|=}AUu(5{v^7_^`y`7xcEigW070$r=(0X zVcILqqo=77>1EC1@x5}^erk#S+B%+r|o9om#T zcF6@8-hOQ!Q3b?lXkQM}le^$lZWtkZqy`;RZb9z05jFiAA&W`_1)!Tti)(3)VT>SF znkGzNx-x5@3#v}{n|X8DMY>~Gg{Sq%rPd;Z<7+axr?28DWxwac@HT={2Yrlz```%K&hN#r!-nw1D zV*f@_?mpurdRXh1H<*p7O_~O}BbgnCiGPmb@;h{XG57ttO>Pee3;EJX1-< z3VJiel>ks~M5^@ti%(0~h_M-06Yk}j>N|BMAJVvb(%yCVTV{&*N@t;Z%UXQYXZMQ` zaZz~Vs$=jkX+2Dzo_ciByh*q6`APMVsCM>fOcneaa?BH5#B1B)a(_F5@pPE$LB%Ok zROOM*~si=id#0d?ZMN4e0igAQz7)Eh^y8EF>!xUZYPS? z<;sp`?eyIqn@!=A>nSz2ZFgsAzOO<;RV|-LW{?8Sta234YMcLC#l(F|B34dgSM!DC zaojeDYmiK#q>e|$Vdk?`bV>@;*;pfPL2o~7NvxxS+a!w+FeQ8{D;eLSk! z88NO!&I|b0!l<0=M&33{u`BEdd638(@yg%tuot&`?-w!#o?{&GVn(0 z)Zs))*W;fo#Yk(X@mPfY0uUT;NHQ7Y>e(;-JNytIRq;8iKAi~fQYLu-Ia-%X?cpO* zDX6wpj&@tX%{TNPDG@wp{^^upAD-siCF5(L4X2H|*(zxKY{~9OBTy9Ze67|oPmw&~ zl$E*x8)p>G?KS9nUkOi0*WFgxM`>w{EZYWGRsFtvK`({Zy+uQSO7>yCPm*&vhzZ0Y zM$dBX;wz4gM zV&T$SEMpF&L*0e<*m85!L+y&@tN_7TX-C(KXWXW zcVMfyVm8cwXcNvk0FMx3R*$w6`!08(gZKJQ{dGfJv$#L2_5Kso+V44qct_BCLq{w^Q!lphRfG>4*OjDv# zWL@`tNLynVyL1!NmdFfBvb$&g_{{X|%>Oz4Pu|DO&cN}%?K-zka_3IE1dOt*P#dd3$p!z-9OfKj zP5C=pLv3V2AB8zZZ!}KZ@K>z`B}OMw(eO$`F~~fX1dtLZpVG7Vo?|=8(Yt&3e(Juv zdiuS!>aDZ-D4tbUm#`>+yhRTV$}RDm5?&H&n>+z`^81;7c?7dAmyZ&4`W%;A?Wb>876JbyAUxiDNs1-L&jJ>*ks++Hm> zKKEC>FjD_2@*u50{u}ta5f8V7MW5ad&~};*2>s9=!?%+Z^Bx-Lr{s#?-mQPWr+{)k zeHtPDu>|3Jg@6CeQyic+j(c7QH=c^q~(_=U< zw+x_}UnY_FL*OVw0*wo#pahb~z=7_|r|diS-O#|V_bvYQ?%9aAlMU4OlgYx__v)Jt z@vVYa-fQ6t{#Kg$&$TIH095Yn{MkB$4-^Vu@+|){|G`6DfQW?IC}}p z-3|*HGEm@jgWtNPu1q}2W zuH>jEvEd34FJ%6hLI#TcT#9>hNBE5#@BpPHF#0{cihr3-41NEy1$fE)sz7T9roZ1$}QegDLpQ{G#mWi(--2tldp@G(H@hCy`f4s%{(%RsY zf$7iL7Q~RG36Wod&)HztLZ6s_{fK%@_b2h)Dgtm?))TNb+(udeDQ<_4Ae_3;sC}cg0=H4ucZ{At1 zh^pU@^{w6bL!0i@%w!5OcV9x3jh&lCR%bxB>v)mEi9l;n_EM3Bl_0p+1aHOPg7EG- znJ%K@E4I!b&fi`6A%DNJr?F<~s!H)_#vKDb5|K4x%PJ`C0t_>p9x`vvc2@JdEm)Dr zYRq4KXAl_DesUJyaY~rypYs)8fL@eh?gl_oYwtb215TpbU5<@LYJLI97*^=~jJZ@O zFLAPvDo#Yd4G=b4{d61l$LfjSEruJBfuj(y*Q8O+jSP1x zeMKGrQojXQ02_{xmaA7&Cj88IQ)>_&OPfVC{mFCR@$7vZkeC2Bho3*xClCIfI%;}= z7-X--JLvWfMF5^&I$Sq=B%gh}0yJOEjAa~altQ*T*ybsc@cGuRgu{eDNqV}c`-r5 z$K#0S&vb59QV+Y?QzL67w7hCuNzPGc`2z{HHO6A!91ENarx%mIhs>R6qQ>C7p3e?7 z8=2SBCw(VeRPIMIONMITX5FbF@etZPe$5;@wb3=u&T@OJl_q6mZp=5rc2kTr-Ho*e zI%5`!xVUn7#m$w0_bIo#c75d>Pp7me&TQLw2`B2?_H1(fglvtL8DxgWir409#>Got z1$*>%QaS#3YkfvG(Ut+ia8px^t$gRuzf-^E=e5aEdWb49G`G24cn*d>!`dwfLf8c0 z6ScWY3bD#7?R5hmpWqry7cv{T4gZ3L9~XnK;;T6yZH+_8HXYaj4I29Jx=KI;ueK~{ zUl;aX_}(}**Xh1-Y`Fp3G`MwYp6`)6$JQ@FBp)+o=Eu0FzFd|h1h8oiCBRHquECo2 zayGbk$4UjR0^t`ZEZZJ!ASda%Bf5>WJ1ldj#4)0-%=6MZ<&I~VZvY1w;CLP=688!NYjbTIIw9(&0i^Nek;yZEpb+>{?N z53d3Tcb8vkl92M>^uK|BXRw)CBopIwQFPV)aGTftmVZA-voZ5@r7}*|5nn-_81F9k zpsb1b;2EJfdlJkGg0VFcllR|m1eCEgGvs8`zGxD2ZyUGHfl_RyCU9(xjz-v%p0hyN;rplH)rZ72+s zswFe1kq{~72ws(SUAFYXz1hI!QSl+^75qdP{h&|`O+l`fPkO{99_{o-<;A>o^H=i% z$4-_!He9ATVe6p&(Ac~WEV+aJOUg`KPbav2bRu6Xa+}Se6;biW(o9c&xD2*lFn&7i zd@6`|v#k{2cmQ#iV+QQJZDN&98+Ue5cN@~@L)ml>^EA2vhGaf=4X+N^;M(4%OhZ&h zO3nRnC=1)bf7!Q=^|pF>GRcX=(M6YAKvX|U{omUjpTKDY8`|_z2p01=eMsTlk@^8XuY7ag1Fxq0ealIV1BV&U8Y{1xFo2Ao9!yyd3JtK)cWn5p;-d2G0U=wbb z@)KRH!-+n(MrB<`pe&Uf$!{lC|Fb<9qegxw8dKjWr%c-XVQd{|{LtZzcYSxCEl=|8 zmt7D%Y~v~CL)yQ*a|ucrI%si9*M_oQ&q4c}*Bom4CQq61V#1{wLZk*BQcZ%WAjt^l}IAXN=RzO9|57*Y5OcGwlIr$Q#bY%?>2h zRcMv=n9S>zIE?eG70I#W03`a|UGs!RdJ)HdBq@sy;hsmFUtLvrz|!M1b`LF=v(O<& z$N^*JApF-?<*hsVt^1e=`eIi@RAx31+4IT1-KPg1ea5 z18SK#eHVJkmd~}DxiNg@5g$@?q#`ISH_%yM`wzVxTM6X2XD6a(H(xJQZBR53@%!ct zwd4^QvFI{Vmh2e?z0ykW>k>OYTjGb?+D**DT3M?PhFFPS3+!6%!%`(O7rw$bsw>e0 zj*mk1yl1t!&5!fQuXSv2(g+M+t0^eLBwox+!zB`QXx=p&?8ORl=ln7bqVrdm;cT#B z=Xotnjjr=hAi>CYNM!5~!Q3jAK||1ByZOSf2G>uWnAZx>E>(~pHLafinq&i;U( z3mA;A4}8$d(9bcT^nb2nRSHo{_7OkIw13^?aX8l z{o1!loL;BN=nP$=Jyjo5RU6!it>0L4IHlQF->#{6BCTG^)<*F6u~PKg~GS zO$rZ_qv7ym+VTf@O;6(Ub)*0DOPv8pjdz#|SnAoJt5!Y}Z*`9s{w+*Al6KGJSBX~k z2wy;%T+(#3>-9L2_STVf;{t4JH`2=uY62!ilQk@bhX&#oU-DODj;JHLIl1@;6&WHK zIv+=M z|57PcY&vWQTM=Z{Sk$^odtyTOPGgl4rcL_Pch)67XDkMYb(BF*ks3J3J`R zp7x!l$k{7?c2&@QeA$s`8BeDgdpt~eYiWW8FUUn6QydYGO!hfmpfpgzpK!d$dGRW} z1fO=BKjl>TlJB1g_TL{r3Ti z7mTEc+Z!5fNv%VX?hr~0EjZ9OxH-+Qk|P61ScQ>DI-&Q7hKg2Q0`I!1`t79BJg7MA z0;A1hs2Ft%bJnSyr@=ulIX+L_4VNz0`f3CX?~*qX=a@@xgG_BT@F^~*L5#W|EawWR zZLhkCY3mx8xY#=I8nd>0-5lc$4R65?pOk~?AGoahIVq)(bc+v;nL>_2#El$*6MH=u z_Lhym$zq9f_(KIU@<@z@Jga~lb(kxxyiqIwcUjV9;$>kRhhQz{ z=H%@pY210^Ygs^MG}yRgk8_`X>KDF=r#17Z_ZftWbp}e-*d=^~e13}c8=V^AvV@LA z<>k$%{_4GelF1D)89_CX44=_bP)RAmG-#vRbIkV*lWRB^fy6{qc}Sh0JooWG zKWkcaQ&^g2kpS4(89Jppsg>OkAKiUqe_89X1Z<%PS>#TWxP^k9z9P!UjlciC8Xt8h zeGgOEs6#QXiKJ^Wp}Q5U_-$ocoGELh-hG_)9-W)`XwzzZx>pTC%u=m<#O}>+pIqRB z4B@)Ee`oI}-jO#@mBiwRLm_{w`G= z;8Bbs8J-FqkagFdS;kR)o(P03l;5eNFFro~$O1sxY+U!|F1w8IIN(WznFG00OQ7_$ zILGUwX{BUH3aWhFHg0IT^RoEl=QwbPX~7bHbma@Z1KQO%kGj_67esbi#>#+NrGVj? zJd*Ktn-iAvTcXX2C3m$bWWT|`7~QFNqq1H>OQ&k92bhLU(ZF|&geu(F(xNj)Mg^r( zd~5*MIN9D1^Hm)w9m%Q~hLO0a4VYn|)YKT724$8ph=;$Y!WQgS{rK2RJSz%`Q#U3h zITS2T)8uU7SSovyxUla7;h8TW_5#r`cMS1V{z}hhD2Xz4VvOFovQoDq|tc~S>27~yB1wZQvD#uOg>U< zU^=FKSxU^tP$nX7FWT?sf>sh)nm_L==29W=jTa8-^eq#??9NvR0yxk!$;YVpbS2%3 zMAnt@=hD1|s9sMGIZq|&P9O@tD%RP)qC}d1g+(kRg;phyT!Jv-qXS6c-CFe(5_UGc zeVPM}XjgU~8a43phEuQA_;5F%cF``)B74lMl2f$1)ugW@RQ824yrr|Ci4!dkFHKkDD}AXeU(Fks$-ynqQy+LuxrmU)i#@<-Px^^lp{}Lf69H$~U8U-RTkQ0en@pqn z?AAvf`VB>LdNS}UrDJ2SCEZQ)=aGCK6(8xsK1~u_#VCmJLz7}iy|b`dn~hd251dU6 z!->ec6{xm-ks*%k-3LpUrHO^FstHM3lPCscpClq%vX8C94m8ep+Fif(5^J@IFuK<2 z8ob@g&3ba#@-2`?*iy!M3%E8XTkkIt!snH|vhxliO~vmS1neeBTIFlW!FE=^Lm3zZ6PzdxxVsY*%+`@_@Z)O+?hTe`2f{*N2YuHe3b1nx?NiV# z`lsr~xCjGb=g-QwQ;g>;lK$ku2T}mSIC#2kr-cj-`T(x-?`~uL}C>%Zrh;FKp z|8%nxuU7|3ZLMB zBlPFUn?HwJR*h`yZ#l28RbLM5>X^QK3g=CCk%ysp!3Aaqo6DnQqC>Z$lldsMU&7rk zT!U;6;YLT17$l`4cSj;W%98Hu728G44I5-47ca%_-Cm!0o~Iw1b_5v4k9nob@o7;q zM;e+%Zt@)y>Wlq$&Jqk)>hZv&?W$eM8FYINqS?)(p--Lfuo%TVx}8@$fS#QW3zR-g zN!Mw@8w)T4;;Q_M2lt<}L~y}X;wtLf|5!%3iAXAW!0#<%$hJjrj{q#erL`p ze}o|7=D%90Xe9Pf<)*FbMwxnzJ94-iN3+^Y(;>28dhPHe|hdRgPN z?8|0E(#2S$kD{=6dcjc*%5;{;#R`9gNy2Wy7HcBg4d}LT9s{uT!SHT7y$2AEqYrQ5|a$l*-1#Bw_ zG~X29q}~^JZTO)W>Ud-wWIut2O*LszRlmxWtrl;{RobM^GI6f9^VvhwGrrJP3OEG6 zj@(tjbz40v{^T#t}`Y4qT_Pn?^Q} zdrXO4-*`xwoXZE)g(hUdXM1R%4w5?c6!Z^FL2y%IZS%ElO{$x_R;Zz<1~PJZ-3k8u z?6}?`?G~-QGK-}Ux}>@koxDF@#a8-!yPN8r0PP8gb*UZBkr(l6d(1LMiq1tI8ArFP zNVA)MG6i&ip$#V;(`A*&!@Acj61G?UWDjQPZrD+K;;&Wk@zf%ao$GqQ+Ctx;ERnw9 z?uqkqEX;78=NU8%SQ>ECzpOBYYn=s6i`dutP?Q`xZyCdEG>%Wxtca+eOqL*eH5)99 zhMtd3&0Re6f_&jNm_Hjop-!F?3S5P@?l(DqcqUSAC1xO3IpjBHKOBGv`-?7{>1K`2 zPG4_q3r>&M88KI|9w?@+*QE_HnJ!m_gkKSVO5U%34n9tRJ;zs2s}|o3Btu#%Zz(OV z(pY1KuJ1>~t)sqvDYw@Z%4g;=@1Od;!2P|*Y5%2bF@M#rnni+^H%Bd&8VQsBUCj9Q zJV5I43ezm!zGRLz66mkCL#@IqFsvcESCts!1sHOW<|$EWD~PSi*=8;D!5_)(4l&3a z_}R*iJSwF09AG09?$`shw3T?-Km(XrG#P&S^9t~3b)C_g3ZN4Fw%6s?%))fUwz*XO zTm;-{Yfg7Y=nygMLM7;4J?TPTBs;s3ysFGY<^_%$zqf%2?kK60!Ifp!WVsOrjE%-nkeE6lX9-DwMl<^PBz-ep~iNkYcNjd(nz?lv@Ibiu72P}4^?W6eco-m=|t5iX+8#$=J8Iol8h8kd==NYj1P zg~wTFyz}CMsR+^0b7jv;Z71Q#di3+D?q2WG0wF;U(UG`bmQ>&s)1884^zm7+fr2_N zE9^>rAs8EnN(|b|*{v;3a*gn`Gf?w)U z->%lDd{sxleITnyn5 zD2qnCK}BfMy(j3@;Igb)j}VhnUd|xg5%y~2edPFIxAlG`qp2zLlrE?~Y|GqawJp5^WRD3)PHVjItSCe~(95vtDoftkEZel&&DN4$ty1Xj>1K?PGphcU zhVjAT82i%+__ZuKYo9oh!O^+psV}qA61^u$@~GO5?t?=7kD*vp2+Gb9VQM+m`16RRPCoq!Ynu&? zxRVM!;1)}u%m~o9 zg-*DRzBOTN3^t2wj2tEsRpw&_Kt*!qzC%irJZ`Qky>FQ~JfvxW%1;6(H`9xdV1Qp5 zOO~q=6y062jAw3^GdLsu_&<$(bx<5l_bzTr&_xmgEUp1|ad&rjcZbDYg9Mi#A$V|i zcZU#Mg9T4;3l4YR``&x&tNQ-<-KwdY?lY%P_vte;RZn&Id3?~W>VTFSIWj(9 z0|4G7v|cgUDK|-u06B1ID4pLye#qZ`(cC#+Sy5SuBy`_Xxn#?Pw&f4f75~^?%;-hX zXZ~cX2(5q9F3|JItFljTVHw?k>Xi5a!7g1sNvoef5OVmwYBC)jJ6-uZg+(FTTlO#9@ybW6>431FX{qMhOiVr>EzWbtQkG4H^K-t=Ll4JHFmi)}^ebSI=Pf&#vb4lh}*f ztwYnr#jqRuqngD9j(<(Pe_``F`Zar;kT93sKk-h8Lvr2993}l7HR51CZX%swvc6m( zJ)-iASW0|@Tk=`7=v*Sd>5%?saX^XqLA~G2J}Oaqg>POFYx$XncLmEy^z6KJ4j)IZ zUi0U5h?qEr;Kf>++eY*KIWrcyNBrH%Snb!;4GBU&p>Q4<1zq8^sRbZlk`Z zfj2Qmec@Wa=K4jZ%^RuNOByXpIXCPB)V=8Znf|>;fV<%acb$F`mow5sy)(Y)Cq)7c zjzb>pp2^8~sKDcn*SucLod-y%48zR&1@XIa^B*(#WOX>=pXQEFvu@XI1-bsXpts~N zmJrRyi9)VBud($z?W%2n#3L+D$ZvbR6CEt@tPlRY8=voVB9v4+eO(6rGLj3ZIaJr6 zj`9&dc8s5vybzB!CM9JUPQd(q#6UcyQ!4Z|pg&~WH$li}$A3h74T>UrA9UIgs7>VXt!CM&D1 zJ8s*$U68$6L_vB`+v^d7~IX#Lz7*$nh*PbKtu=Y*r&IQGZTF=nlY`phb z%2S4uGRtcP@VqLt6BAOgU2!$(_;qIqKKzVXtw?60beRTT&)L({Sz`T<4T1}*YaS;F5^75oRs{*8x}+CQcBepa!QHtu=5JBvngd~ z57#*$_0Fe=LE=juxeAj%-gaCKnOPt~dKNgi1rq$t+7?}T7^2}%&uqYqHaq!^-BgE4I{ z1m4ApGGU@O{RwPxEg_}DV|AEFaVRBo#hR#f7WOidTM=z>mj>2trWgz4QQ6-^9-iw0 zB*DUZ35*2-6c@JK@oUk2Libq_p9Zv?SGfTnba!B!X$EkPjuEu$LY!rCzpM9rqcr+7 zaefT}9+hLSQErvzka5htPVxQTtMa!T963aF$MD7*rk%1@X$Z6QM-#eg^q3*BlM$r54UUu>BWtY4XR9irtc_BjWuiEG@ll;`ej`6!<2s(>(e$o`qQOFMXTyIy9V3`Nc$D z6{fnhBW=IWH%CWR2_#WY-L%Ri8UBfP1z>nXxB1NWl|L^p;p=6zRNNqqzz7k}Po z%V_APwL(qMeuolETdP9`G}7-?Cw8M|*Mr}_cerVxW6_gL+>;C23;$6;(PtFyUY8%0 zXHj%AVY(K1mXm`ku%#gvv4_IW0)XYa!m509S+9BlF1Srhb2_B0D&05~*IOM5_20UW zK)9;6{><%TY0gg-y%45xyqtcpWRW?ttp{}X$eA%SNVm@Wd~Ve=JoP1LL6rJVU?Gkv z6D0VNTj2Do#BJ+h&hNEpcVXP#F;qYV)I{u?q&`=FUM45>QT4w0dXXm z2X`9qZgMGX8BNJdpn@}_LKjC>xfr$^riuTj(RWA-f6!5wL)-8voARS^{4W$z^=t4g z3JW%+&s)U9^9jzFNTd_4e$PU7f`mcxAnOn}a{_6}hhYHTzOb=0Us^{IeU;{n;a$}M zeWUArATErjYCk8-wbiKf7o$OZ$%;a}&-G!~LStw4_fU!zk&iU1`uc&P@-kifU;FOT zQyWal|6U}XHsE)Pl;z`1oOyytCs}$g1n6o^Sjpd3d)dp+66StDYvR@L#mzYzz#_KS ze5^Nb^j!O!4&6VQq}ZQ5IG+M6G-n?NXk#|#Bsc7L-;1x-sDA$B+Br^sx5C^*(~`$A z^0NdT4c`cub=PX5O&+ZnwBe`*_*^7mmE?(M-tALA`h9GDY5o41Wj1n&!lc&Kc$WdO zr{VVf!d4%ddiy4&c=Df!@9T-^WRr}dzT;MrmeJ0&`|Lj1j4@wrHe9`%MbFqQz&l7I z#*g6Z#!O#HFXoX@wp?N)A-mmX*(;5cn6H~~D+#e+XM>~T{ZMC`Y{Nsm6?BD*?LqYt ze#T4~c~R z`^cpTXB2K`AU%wlyFX4Iy2&pz!;>O^?>M6fdYZ7ADHACc=Xcc;@1^ScF6U(Y{9)36 z-lBLFDd#)&8WvO8m|@{+x0j_AoT<4NE;jMX*2DbeLmD3Z`3#BqQ*?n?7{?GASDB~l zyUF;*v;*$VxUTpT7){g>!m@gmR+!`nb%pP`NUz4;9ms%`3I#5mljmeep2Gh3_syje&D091 z!|LR_EWpv!4{^j_&B^!40RNU?Rv zPQ-SPnW!T5`kCp6uh@O(mg?oaN5DIjd1Q6OUx`$0T}NT#MYX-@+?1g3 zFOazrnkj)}c}ryM$X!EvSj&}A4Hf>}cT@B|3R#mMcl?qeGC`cNh`_UTE=t<>Yo!EY zuHDF@f6U>UXmTxRIiP9(j$ z(NkI}m2kP;AzL+%A;!%!*TsIbTer#IWWb8uK_(b5!uAeb#cKSgRZfY&=PDU037@Vb zBqq=nd{Rd&DIAts-JQh%wT@i0H|b55xv52Yo@NWJmLVLwLNG>6t0-AWsrfzR8i&j~ z)7#G<&ghNL$=|2Y z31`HW255bwqy1SpbaEoI?Kj1nY*@7iV`WB-Vo%x7|5N?_<XthkQ;>pb1j)*oOt2lnK!ZtMuwH?h-*?4VMFN1v!T`3y6q{P;ejTk82{y$ za8fYQ)*&!>m8_cCF-oy^?B?e_Rf(z;>&3{!ktxS_Wu_xIDO#HaN z7kD*zYv}_!GTV}iMcNaWE0r0Y`>{8%8ykb7HIj&;AL)dv<*bnImEzCWS-_G)#0}$t z^P~%RB<6T43ibKF2h-}QMVQ5n$Rj11ts2jFP&&ey&Fg{bKB`9hMmyHYZADHarSjQ! zdwq}yL&p&tM!G3+TY|-pU)&>RWB^v>SuEmo>maTpBJT$q0o>4<+*!GJ7NAqk4}azX z(MGmrg06e=a%%4L|6T+6&*VWGJ}#CZR%J6gb$3S$RwWRajqM+D9jKc-h==|EvG9P{ zIl%wl)H^5oD^4W5gaJ$1=XIQMrLC+YI3U+;1=?(6&)KYBs7;2RNTbR6@~eWz!Uwg~ znX6x+{MhV*A&LYsot?L9ALR*jm1J-~s_W552RR}){P4~%n4aC1Mn5UQFNMh2=ZCRv z(B!Ao@)f9H*r%QmQ&nmz5yw=-^z)czYk-Cq3RHf*3o}`4z#R_|p#mZ|hS8JsE^Q0T z&AEc2K~Ni_6rfTe#&^;$-*Cdkwd_*)4Y~;9zu|G0s+sJUYKi%XsqgUTFpJ?Cg&<#> z;L}rf!ZW@7h$;-Apoen#{OZFd=nu;c%OQK}L?OMq&*O)G3azIMHV&SK3sjYZ|11&@ zJ&yr@f(sm@$L(d!$C>WZ$U|j9S9zP!MONx#=9D|~*ffpKrPf3BOfg}Ma z>HC(`N~H%nHhw8~uIFsnYc#9q3-06B&TphMRC-zwG+(!dXeAAEn-MZ5`~ zu;U6A{Sft;3ypnL9fcNx`xdnsck;7WCyfW(I~9=R$oo+3qSR>I;qfn6rAc#1mRrSD z6mDy_M56#%RHVXLg+`=R3Yw{SxVKV#&EmYU6ze8fR*0y(jgah-1pbAKl9ziEcLp+H z!ckV1w!?wkCC;xZq_L4ZV;3H;m4pjd4_8~2LcaHyD;JtUYPGWu(d`5GhYnoC3H2F!ifQJ5*$rkx4m|k-P;nTPOmOovv|H|5T7`Tl$p&M}$57Ap znm304E7m*rQCx#}AFc3y5kYBvG`fki3{6&&Wyhq%ytwGaJY_NE z2>jMKquXiN@kPm5csz*QZVc=1>3Kb?zY_NjnABO_z45x}S&j;Jetvzeczxx*d)0pp z%6nC0dgZsH>-wqRuo$SKzmV3B7Q>^HcN>9$iwbu8i+qAi_{AM)IPf3pXIE`YK z5n`2c-_m=Rg&Oh4b_6xsIppF4+adxL_kj5pOuQO$k!U$gTKSTWNJAEI*J;CHfVIJt zPkFn3)&h67QIV=IfTSFNEwSyu7b zHka^#W8FoJGX40YUsr?zZpuM}ZHOJtER!J)gmSDk$*Aow+GwcR8$nB-k z&CKkWX6A{{NraGNI3q`QS9gi)cj!oaBe4lVc-cn@`8M7JrA0T#z&;9@&AC=5SJr9k z_ZioCgai;)=C5eue_Ki4>e!hjsMEK{pv{Pn*Z>2oWVkscD(^H$F9TIO9W7Fx?jijOgkhT9x($|SZRtc$*?dR_OLI{Dnfgh#`m_e9QU z2}s?G7V+NR?is}IC#aJ2oGi@GhidJjR~Vb}26)mbX$}I+WXX~q_+_)JZUl!j%-RyJ zIf_Y6CG4SNsl?yj;)+^UxB4btfgt`R!?0E&?a6kKwky_XhmNukcqb+EDBVo zVH4?$`i$=At?MsO>x3%A+G6?oj=8~~`@-c8YWGu^V1+Dl#lZ(~n0}xsR5tSEM{g~-F)l8syzd|w1u(*n1kf9y!WSUx zqaqjtdcVNew{em!Q;F^1$4l^4?ar-wr$&;SHM6Iu@}gy5^Ug%e(WNv&X3eIr?Ts2Y zxW_mHgj={&vMSOsQRBP|D1@gZvAo>5#J-?Xwg!$DrJ;DT#fGW+=!BzkhZ+Qbr*ZGF zHzCQ`E)}}99uqdPBe!Q(moO=cL|*YOpDDE=u1Z0%Y*2{SQoUIQE_zYN`&QWDO!Ob- z=nA$U>FfYi**`*ve1?(G5ORr37W{{v_BcB{$RHF0)-{(;@k?J2X^QJ<^L)DA*yQ@~ zd`g|0$7&f8Y8i#UJ z-CpMRP3PWjksRwsPCQE_r<{t5Kt)YpI0N6pRE*XlJ=^_!u1nvQA!m8@(U^(9(PYKc z0{MbsOCOX6E)qDQEn=*8a(=k;GuPN+q2Fn8UJN{RdZ!7DvFkA_qD8BHEWJEkN>|3t z75iKmpd@z4`jvW4+&xKN(SNl<_W7|>xRM1W_vnwAK(0n%UupHQ%#y!4cO|QpqEr9y z!i|eiRdHCB-CtX^rG?`J*PAn6h*3*KcLHa8t`NWPGk#UwNR4-(E|1nxjah8%CUJ|^ zC}Cc`7lYkd(P76(b$MO_1QT z_nnn#NZ|ui=veu0X74nT5V=Y?y1OZY^P*zy{!Yf<4A80|p?5BUFp06@O~ZqSdBOv9 zRyy?nWdT{NJL+NL&)m4&q{y^;_#WHFvV&ewwe%#tihF`1Njd3&*+w^UEKC0C)^@>g zZ~tT%{u>@s)jh&<_zW!L_o4PN0 zcdrFA2|o-a`)?Srf^!c9i% zLQ#>$Scs1l#4PZiiC8y{1O26XLC($0{chi0&3oJG6;){mLg22tWC)>@A^4!qZ<4T$hV@ z-9L+}nzTRRP{>yW5*xg+B0Qt!5`jeEIHowj*v%0dq3Lgn6h|wRhFmL0-!zLuGOr}j?kC@Xilcxh z2e8SYP9>aXlcgsuF-@+GcuR{;V+CpqUPUx9u*EWQ1=!DX-|RZDRjmld{iHX4{pm<8#yHw+VrV`%%1ji(UUgL#AG8bU zQI!IF7RCw+I;Pg$I;Da2PG|>XArsLh zPT#!Q)z|8No4d3yV*BhQL}I2G?X$b?A?UmM{^M*#7}F~})>(?vf1@}sd(y-L|0A}G}V}XDfFjz%B+-;np^bD*Tw(bs=u)Dg4nVqG%JFFxQwKR2y zJyS4+H350qy4!$kV1N(`wX|YjmACZqa)w&C(Zg)~Z$(>YCkaz`OAx&TAA}9U27`(` zU^aFx4lolNgpQ4k4yLE*Z1F#-Xh2O}Tr4d>tWu^9Zk8CVDjJeHEK(j04rZoKPX9Qd zVPoqCf?fYQ!VJ=~gu21H2C=h%VJMUr!o~Rk!ou}`9faw_hOS`iX$ksgP^_X*a~oLI z$-|ogWbb0?ZsTTY3iA9vCb(GGSs)A;LPGycr?Z(I1{lKqAKL-{1;aXOmR1<7vQ8G3 z-XMK85E#N^h{39E>udQ>5rb75qz?u`Kwy|q&Dq%msM<)KF6KsYpHRXjFc=LRuF-Jz-m0D{4 zdy3;7I3EY9Si@sbsGx*uh+Jz_K8CACAqx6@0ha7M)khSL0`y56QKr@Dcr5nqDZHFbZ1~W&~R-Zmb#RPDU>^7C6#}*#uX9xgVm%@nmyWTW-75Uc6#_)GpMi-|%q# z%E}vXQ%UlW*5I^_Ho_wcU&1rM%i recu. À partir de deux termes + nature ou de 3 termes retrouver u0 et la raison. +.. image:: ./2E_technique.pdf + :height: 200px + :alt: Exercices techniques pour retrouver la raison et le premier terme. + + Étape 3: Moyenne arithmétique et géométrique ============================================ @@ -40,4 +45,7 @@ Questions d'intro puis cours puis exercices techniques. Type E3C - +Exercices à revoir mais sympa: +- MATH2T-122A0-1125 (avec graph exponentiel) +- MATH2T-122A0-1130 (avec formule explicite) +- MATH2T-123A0-1126 (formule puis modélisation)