From 63e854b686a2cd46c78f9872ef04d5b4531f023c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Pottier?= Date: Tue, 10 Oct 2017 17:35:30 +0200 Subject: [PATCH] Fix another typo in last week's slides. --- slides/fpottier-03.pdf | Bin 578076 -> 578190 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/slides/fpottier-03.pdf b/slides/fpottier-03.pdf index 6b6853f806a1925df289c041a54798c793ac3de6..e687a23a14cc1cd586885e524d42b8b5fd03dcca 100644 GIT binary patch delta 14046 zcmai)by$?$8t$dLYv}HgZjg}fPLXcu?w1ZpX{3~p?p8XLlMKd8yofQJI4p_1$bW>oiiqR&^Cp7sqP-^Z(lBlq ze|U(vR{0F-=+4#oc()puM3NSu2J`FEV9S(;LtcOo9>~h9YJDTj*Hj97et&6XDmPsv@bopQ_ce1&Zgm~5S zb2FIGz1zO4m7Y;tE`f&jS>Xrw<$iS*x(vq7L|v!8CZ^PB=(iwXPzc3P0WLeqt#ydk z{p8ilx9_Yn88Z#DQoA$y`;3rS2#naI35BXeD+X-7d?Ti=Mi^@WqsllGYABp4!Wr?n z_ksCf8+OqhP0Q{X7f4}wjm^4A;TN%b9K$KftrM6+hA+be%v)_yv!`ZezwlCB#&CU= ziBO&sAY@Rt56CkCYO>2y9v8=K@|>&=oiqeSW;mhl|L*9_uD1FGErss*yAv?m%$EvzR z+6#h-XA2r68>Iy4v`5k@bImP+QpkimGCzkTC=SM*-j`4--qm?)&+LyiUs!LD{tWG# zeg!xrtehCEvr z>(0N{{7tV|>0=9E2h@uQII~nlRTK*vqK-McwafSDSgJ;TlFW3ZZ_Z;`eMK3 zTIH%f90WdRlZ|OwMH&kLI|W^s8DA!O5LS{a!(O!~)&nAkh=5d*^)z}BwK}3qY76O4 zJ6>^hYdOvUYB>1-T(%?RgX=f1W)Cai_o5gQQ2UkCi}e~sU%Gf@7zucyQDNYW5uI>x zuqO?K)WMw2lH|T);9b`>%fnV3f-bsa6e_#W6@y_5&Jr!`fM(`GFWddJ>yjMa^pZ%g zs5Ro2`3QLFpSN|!=g)_7vLFI?+T(<2Yy>y(%p*bdE9u=4)xn!gT04&n^oE6tA{Z;A z78F&qR`!w1L<577%!oPkV|Xt`rHtx*bItV6y^(9q^{02MQqMm>)ubZHYf?Ut{_u$-Ac?^!4zi<|QD4`Y9R z3VP|5;bk-PM!Qrjh4EEyJ=%e@IzD^@6On(qRMOd43A^4GA=hXd*Ed7Rsi)fwm$CD- zqLI6v?8MKJvURa!BjVu|KB}S0x=3TqW0e{ji&TRab1TB`t3k?n0kG^m^-x+vKgzcz zY<^J!t1~9EXFDT-+FLb6E6+>s{PpKLUCpt@;PFa!WT-B^*3LB-6BQyl5|>H7`^!zS zAKY5Yt*&H$Qxl_4ZI~jPJ(|Ok;kl?}t+=gXqd9$dw8; z=q5<<+1NBx0Jb%P5E<*@M5jo+8WFS==;Wgce4hzi^SalR;8y6#i{{d;kcd9nOA%ZG{#9f4+k7Bm2R}5ZBDyGj`*Y^V@OCpxATg%;vi!s-|A5QIUted z;(Lmum*yT=XGodw;K%%#j!n}W#bHwV_ZY$f%Q8YD^Io0}`$1QS@+0%+^x zIdO=dIx*EeSu^`pu+girn#7lLmRh;g`IEz`dFG!c! z`KXMt2}#c~gXX<33iTDH)r073*OQzyS<2vW*;Bmm+cJ@b827#30hNdAjUl+yV|?m- z?E+8WyRvO&3)t!+kT>R`U05wK zvf`wB%`)AsoC>7#*K4iZ|Fx@sTX%wf_0sfEh6Zt6xwBJ|K2H++E zod6Eb`e4($6LbGJQ3o@F&b30dIV+nMwJUS1`_3*-&39K-?02cA{c6x#jFVC6N(>(u za22;pAF%pBf$j`1?)VI8mm*vpMbP^6SqZmaH#!UGd@i;S!}m_hm(u?kVkMfwC+6dA z|L-jPHxvT@lZC{uX6-8fA1nm_7Yn`qjfL+2lZ9Cj7TSydgF@iNf3xu6f3xuQKP-G- zT`Kv9g(l7C5Ef>6+)LuPL@_aCyIEJ3&KZX3XWu&tGet- zLIdUpw&JxdDn~Ao_c8!p%@<^&wRgCtdYkOH`#geE737sE!3r7;CAJxhy`RCTb(&lf zoG}bLdCBH=ZC<+|^S$XbJeKDpb^uwue1P8ANf56dk5DaD4HhMS+RK6~Dw{FY%0^?} zUr#8+et@8`E`W}`t=?E~=tqqCqVqMo(dzZjO$rZ|HYNf|;ND+#3uEINNg* zyMoR+HAl&y-)}es(f4o|O0i6X6rnxm6YRrb8W;~ZSBG~v)Smcatl04AZFJ&SRNS&3 z@V*gA@W`@r!rCi6KZv0H#ahuxH}_ zG{r0Z)&9E95O~$CV9#w*j<7RaL0iVFJ%|}8tD&S;{$6kC!wB9lzSWbj8yyAINN4bl zOu5NFo$cpv4Q*I^fKMT>D?@0uZbgn=t=EWz1n9-lI481<%L_{SwVIP zM7_rvK8OmyCt(TsfT#MME2LlM`_*pU_~^PNephsAh~fK|_Mw^TpM}_cu6&u&+%lG@ zT0=;8q->TUqxV0IcTZb0u@HS$qoervZ#by62CQf#JoC|p)`p&GUqz2i%V#jB%0-e48L&!}w8ZdV z@v=T6r?)a6S9S3^(ixj!=Id7=xXXz{2fO`4WjLvqi zhiw+DSXa9F^eACSA5)bi$DRctub3(&u0-lCr zx1ko_Tb5VTQ>5dUtJYocbj@bMof;r}KKD2JIH39HNbPG~yWYnmTYMN76Vp)@ya&&d zgExq6^ybz2b`FXo4r)#cK&62h(Hyz8&9?KA6{A@ub*DOMV3qu!^?MSA^-og^pABM0 zl9h>%16XmjQY3;X(9JQnP}#plA44AL6ecr<<8P}4E)ux4ajmfM>cVm0 zaAuS!vT(rcOJf8W2qs21(>xNBrQx8U*GXe zWZaMV&Lu6JMNRF5$E>xJ=%!#ZD1S6i(3F6ZeD~d|`H0*&8p}#LH;g=WzlazM0{f%}kf;{gO`0GoIM2!d(GAy{S*vwX=BSYCWEE~TzBA-2a)Lax2u8l;f_0B`N z86iXMB{agc9a>m1DFVd^j!7NZ6mZcC&_37Gxb9y{#crsOBEw8~suiAmVeP;BLLs(4 zzOd%|lP?rpmo$3vg+fJ(j3i}!Wgp1WmX$uJ8)f4m`)IkUpEnPP35g-=6{+?t;dxND zPoJ8DL^5x#Vw3|(oJb@SgL30JcF?X{7BTLBv zf+6o0QX>^7=Ub(iL+BHuP^aH0+>W2|uAIK8Kgwv-d_g)oaR6(oXGVz&JfX0Gyi)5A z3g0jKs^b&QGl6o8UnZS>8{p7gA#ts%aeV_u&cILoB!U6)h2^`hof%-_SY4<&L`)Qj zFI?2F-`$&A;8#+HZ!9WL0l=RU$MV!7673iWqP*YeH0$|Y=y>x8z5WVDV;O8I64};q66+vB+v(A_6D837l&o>Gj~r!Fo^wkFQrGAzLD#BjCBqM2g58pIYpXIhGY z*g`i6I>cZJW|w83a6R6w4pDN6S1=pPU9XcT2=(OKh%)sS`f8R9DtyZ<#5yB2$2IQe zS%p5L%aeTK2RB!7nT$MBlB~)m!!AzER}SR=z@1DwMg|WPC{nInbf@0q(7bj}PuNG~Ejf zuP{_0*pzq*9EkyMRvVs-DAzXHa=7f%gikT^jS|FDQ;d#&KWN^}+PTd3R$WqyZOJo| zUiiMC6Sju`(1MuDGdq>%r#eyd{(=63mo%=hl_Vy>1-HhI#U;#ta$eii9L{z~yN1t7 z&RV0$a913{PKs_RhNf2Bg5@Fv_zb15x-_cWnn)V*oWk8v}}?ox<8x(7BHQpP{LX8vr! zsbd=9T+x;ZafVKy+gS~WGo0cj5C5PIafVF<=B@Cr9tSL*oZ+=5JKLd93{*R*^hnHlgGr%+XyDRwALnatT z2>U)3Ld@V3`v8{eLpIwbj=J9OEGXYGWCNRH6N+jJh7xXT4BPW${vdJw35hALxv`@! zE`P@I#IjKRMxr#dG<1La8uEW4apwt%R>#y3BtAlr$U=2Ipt|!Li7RndW)JihKOfFz zlvU$e#?Bx}1O}A*G0@Qq-twt28jqcL(Y(u-m7o=ajoQ5e3#8v)obK)keUcT(ix@Q| z7l|^7Uj3*;k(}SRE!*5SpzY-}wm5^q=_0~@IojA;GcuTKbL7$^vo6%0rY__oLJuv> zE_7QoY@Ze*a>-!9@Q&s!QU_xZ;icn9uPrCNX9I&0A)q|4=qZY2TD-9~*xXTDQ*mZ% zYTz#~!;Y=U78+9;Qv;mH2!bg$p-HwGLW$wOYUTb}uQ|P6H!tX6*zSV6gem2xM z8jo<>fu9LwpUDlF3&I>z>F_KXcaVy4c_6C2m2wKI5_Tw3pZ41LncLR4G8RozJNZ@S ztMVK?A@Jv@w85b46gb+oOLVfjuhtM4m`3^e`=oR#>M`2fz`vhICY~l!7vc`Zylo&g z1m&gAt1e7U%qd)EQ%~fCbL;$D-w9jaI3$^rIx}BY!}-Ow8UC~N;RRb=?VNXQ2;oS? zO`8eVxa!7DYggq?iXC;;5F&a(hzOirgW->Q`f@%p-JRU+&BXgE512I1FQ;d&d|FR4 zX#L7n1B_2bZ|RSzedUu5DinY*PDz>I;#cW;t#$mv^M%07vRy7rwTg}|Hc}8@(u*X{ z9vaRz@=+x4mx2mKg}@sAQU(4xws7RlwxY8F{x9=pcwZHU4%FZ2 zPvm&$KD)qHUsL2SOO2hUlGxa2b`T=YS9Jtg%-99(t+Ia=Qjpm1sqN@cVZs?FGW*Cb zL9IHy?q!twhlrFABDOpcQQ?V*1js%HuHxr!l7l^iaO(h-yofIji=lT?qp8Msjz2bd zg<+k0oZ^jF;pCt^64Z1Aua?Yb{YYr-Er~Hc{W&QWLeYhslq%W98@y&Ii%5SuDUDGg zT5vPa{A^!sl2)muL{c{8HDk!dpQA)gDtoPdz0(S#z z1cCzq>Q_Z9DnB4Pl^dP9X`A*tYbYt)@Jh)tQHTPEm@HK&)gShkP8rcMz0%}Sv~OcX zL9@eC7}KB}xHdCSFLOW_(9`|w0Y?4;W>Eyl&Y#@jUJ$P?4@o0*4HgA{)60UUN}I8X z+Dn(rY*ZH2SI-}H6zKD$3oz*yG+6L|O#@ZV^*6iK=e|u};&qAilf6{iM@tWkJ<*_M za9TI>RZs+7DV)J6^p)MdMlU^m9s2^LwCPBd+jIJ1A7W7PQIOLs-os1OE8cIOipH9c z${N8U8@R!fLvM)(<=Y<9uY}l;L$^*U)yS}FYrMhCth%6@Lud^kMxr{HsFu0t?E*}b zVEPUVBwr(h;ryC`Ivl%>RvRxH9Tu+s_HB=``M`s>U(G3z`(949vAChgl{)Bq>@-$7 z1uAy=kpJoRd)ukcccr$}RL#t4=b=g(TSYDJ6gz>>cw>L50bZ}Muo zUxhHStq{V*Oh(w>OytIbFwtpI!+|H=wgke&Qc+gibCedm(aTO~px=BB_1kY0rTfuaybE>GHT zD2`|NV|{P2LnW`HLVO=|o`y)2)57;FuW290SU|4px#O~-MTW|aIuZ{l`p$1A;<>bV zLYRo@(g;r&=38k5VItfH6@-a8NO%&znaIKho5cCVMDTK>p?E?@3g)^4>$mEq0w6_Q zDY7%&V4V76y9b3~evj4b2p@82xS)N@nHu;(-I1w67d>cK^g{9sZ?o`;oAnJ9M_j5_ zg(FFuO2rw&J5;2jL1pRVA^R&SG(meS ziYgw*4{sKD?|>xhmF#HJN4N@TI4JQ{Fvo8sb_T)zMj`?5pD?Wd2Zm!BRE4^!Xw2Wg zCMZpwH1CitkM)g7hUDdt8y(B6%B)@?=yzfz;?gQeXsAjQMe|s@KCI4Ug z(ZouI#RBJU)b5&H3=ZZMo~4zTJ=sHHe|(5N6t5Q5qn+NCt!^98()Cwe;l<$eF`T>I zS@6|0mo%8ZO5lb1GvB4AwW=iFe>Q1U`9d&kR->B|AKCT z;%H|s^gd~<9vVEJg+odR;p{IXSC>)V*zKg;^tY4;ULL(xAmFgQfHo1>z1>sy0kf|Z$90Dq3; zXx8ivFrgi~k}Y!2OS6(lWmwVRLATRb%=bx~l_PR7ho;&TtpfDh9pWSgvdQ;bm!NYI zvXpwbwUA}KIi4O1)Uhffjf52=86X=VG)d51iQ9oqS?ZdkYY?5wOl~02n-xcL&e5J5 z&wgz;j%`L~VPD+v<{ft#zUF78vmf|Viig0PpgPzaV(sPtA`}&iPwtM0Mz|{00%}=-p7S_E!5%8g+cqlKsw+EhwQRhn3 z_I*G`r8H{ZjOm;?M06`)jDeCyHh@y=XkxBPb+9#Vyyekpi=a|naVL|X3W3AtYP82u z@QD-KHl`w?&xV5!Q%jHUqd<$Hw25@aABDk5jxgC4<0df)m`WpEA$?ObCjgwMY#w%DKv!w(>Y=Gz{XR=%vq2sE&v*Ue95 z{>+Z3H0$~CLX34a>}80bFusi;SV#&Da#C8i3+#7*B<|freH4WALMHcJT9s{GoW12( zzAOz_Yb@rwwI^sRmOPi6_+t+tPYrYHmyTO4^?1$IJ8iYT$o4FO-IKqUty}1RZ_Tos z@zq)=O^(|EGssnIxoI1j^y87TS$Fh7C9;rC&2|K+W0f`En(dqIn;M~78Jf%Yg#(@W zA2XHg>z3iARwHQr(N<%=%P)c#{T-PuwO7=^jz%N6LCRMwj@j=c$Qlm$x-}|!)AdU# z-#)RB%VFnl7Vb&@VPS}yDwk~o0zaR6%o7Vg|HDFC^YRr43nklsvykENGL#hJ4*~BF z5Ef2nJh6~-JmZe~gVzE`*vbo&3vKVoA9^|ckRq&54oPQ-G!8sl<5&tA&ylOLcH+aZ ziC5YzPuu8SFdYd=!*~<#|Me0%jQ+rYjiqaI_ieI@SpGX)Qk!EKaZ&!nkgMLlb-!C~ ziKV&_Ou$Dr_K<};lPC$4nGVptz~1&jaCTTI?i+48<5ZDA-5GDF?@UN_xxa2neRdph z8D}?K)9vGO;=~X@^iE0clB#WHAcHmhhDoA0)3C8|!gjlkn8>~xa4uN5TQznyj0^f8 zmb>I)k-n0{&^hG5T$KBGxYYkBoqj<&G<(9@bc5~m&mn0lu`&!&xEDVRrai)?~AQJz5*CstT^6*6mjj46c-4$UUToEW?6DJFb)E-D?4 zcs$fMEf9ibyy?Z+=%6&`&cSt#%l739m&>DcgG$~z)plNXH`IQo+?o9tf39v&AA6wg z?mfdfJiRw?Z{T3hdfs+v>9qea)cvV(0eN>cK5nsL_~==;KdTwC@NQm&{rN>{MFTj5TudU%_LU3|M< z`Tn#$Sw3u7r_?3$?#_v9EbovL@tB={-S4m(@Y*G0TY%=cb;XTu?e)=V!-bE8FWi?Z zVxKC4+bVJdN6c`{oDIZSQ_J1^liMqf*mY3FDpSRpfc+|+y)ky969T;xa-kEvr4#y& z6BL0HfRuXjjQ-^@KoVQIO18ZEe0lAK@G7-1KjhaPGkO*E%@`+$aVN0KC#a(*(5xrO zl`q_frZsl&k0qU2jdw>Mo70PcrWZ#_qQJFn5laqA`PSLTDql+1WY(~-)06MFopJq| zJ;|)x43)yXd%m=0DTCltU6xvXi{>Hc^ev7-z&u5s$&joo$6uJmX1n=^Gx=v<1oxK+ z&FIdgn*v|m;`b?L#43Up&(G{A?^d{-Ug&Oyhw|6a2I>=EBZ2Jf>zc>5r80>B4y^pS zLXJ{5a_O=%T>Z&y2Bwlq8MW0bKItnqzjx-|vKiQ*7e$4P(SCUqm1b3u3iuAJ`3CYy zagGiP@t!RXx%?|QyXsya=uMVq0&s7-1)a>xw>Zl~3!D~nY=2>X50BeaqpvBTjy5L2 zNei9r>;Il}C4Exu!seoOSI|!2L109QZ_J+ZwBP(%MzmVS&$q)LYHFR5r*wjU%?8BG zh78XJmCuG9&H{m1v%zj3+keDucz>x{INw;955MON2<8jv<_pT>3)|oeoR}rPA&%{l zR9?p&Stl9UfM!|8X4yclSSPC3z#j>DNO=U!d*lwAz1kNViXlFEVvA|7NHIsTr zD9J+%A3xkH)MF|_cq8c1qq%Jw7;o@-gXd_K`8Jn(~jGi9r94#j=E{RyK+tMw6D9n z^60$iO?HFvXujx;b))RhY~PA{ztc|8Xt3tC+kO+AUU+wVVg>dKZuAV-IYICZNvgf_ zFUb5Q{s{FZ^{Nw*95B3YZW<6^V4pDj)UE)eKXBZe-wd9o?y=(NHxSDW)uq^>-Wz_w znOQ)=vaqDcQ4mh|<+wIG{kEC-jXqJCE=Qp(U5B&U!eqGTeIz%|8@g$QtaJg+ISXDV zigUov(id*V58p&BF>D!Bu4u9n3WUpN*J>oLt=lb@y{#F*o|o2 z-yv+BlGGu^dHV@U>S-4uE!1%;s2h=n;quW=UzxbvN-xn~@iX_{bpEUV2$D6J^Dm5c z0nSvjZbU{P=Yflb>Ae9i>fj|mPBU`nhN@^FdK^Q*y#+1-fV-I({ni1or) z1bvkPeT|_Z{2@o=?LKKAR$_LQ8wtH5cA+DYr6c~1BN>4smbN4K9JuOj+NIU+R+ZCrq|(0}3&GyZ<7<(CO0#Xa%whtBl!e{06JE25a0984_Ms1w}t{sOn$8 zxKlR!K`NB%E`1nj(>m#0{7VfbpRAjYq)LyrUhcxntKQ0H zY%;f4Q;j^(_lIe`-1B5TieJlYvo6#uC7F8szvp<$yi>=9l->tt>0<86-KNuMb{b2(kiOp4&!#azPdw-p)jh=HffiT0%QU#O@|Ex=| zR8tKI@cp4oHZ2Zbmjq=3#2yHsuug&p_eIivSPNsGZ6lU#V`2O!Nnx}Y5l@_OO77JO z+R_P3)(M5^Nxe?^Z%GLnh?vH45&p2A|nA&P2tQPKnmVQ%Ro_U-6qyBca}+7%pvw>M8@RYY&9pisJ3+x=doM)f0-!sO({rIz+15(3AH{l6f)!?H@n zvc>^n_&PaCrXG`LX-M@4Z@9&nNJK}7v!-Cxe6c2F(qp-6}zGjZ?xOEN`ipze8sU`FoeQYF74(gDVh&!kvGEifNi7A^sq22X}5UIVL`O075_;X{lD z)?Ndf{>>|=7sdH%|FlySi>gWHzm+LS$PVX$MAF@kkaMPN4alIdOd{vsNuO@iWD62( zsHdcu-k-B*Brs96Vuukw&{Tk*7A5*8B>;I_Q-Ue^oV)JbQ`eG+b0?7f?YG~vxw;Dm zx4jx*-EeA>$&=bvz`*)<#cmK&vhj~nK*+z+QQKFob|ZG3eq(J~w_D1LN4zE?0I zUzn;yku@Pxm^osduP$4dphTNR^*Q~QQqP`;+TQfF;=Iqk#&~glq9lD3pv0QRDMKF* z86Ya~l+0|*4zc@;cO%z(?;O%cU6wvd2|vp~!1A9iu;bry7s$i3wfcTN<@=ohKMO3- z>N-LJdC~oAkvQTWET|3-QBB!$0?DrPyLDrcr8wIEH5~xyd=#>F-%dO;A%EG$O9F$6 zMgROg3z^QCYwn)Lc(2^%gx_iR3)pk4T2H(%<>Ow#KDLTrIOD5c-IE4$o!Ggw;49KW zp`m_ga1Rx@4;$ReG=$uJ*^V>wDlmCAmRl#vO(za*HbQYW`uXfzyV=kwcBJE1i?3ZS+3p9-PYg5?7VI4+*06tkK!`z7Wxv0<1w+v{7>S$zUd3jhZ4e)o-~8l8`sl zAnDc1N5aPT0aAh~d2S@}3e;wf&4GC4e+woxii^ip+~}j19b)z)OR=?Siy;H^nPfGO zPoT)z69;BbAefGjY(dT&jb0~(K~?lt1>JYGc`oqLv7ywmBe<{w7-!YbP^uB-+3}?e zuSEW*_@B=_D(XAn@R$-em?F5F5V)IST$qqwY&=6ZeFO4ya@RlpAHsj1b?elM(iHLE zx-ZnR#dfnd^Tw$aqB7xsgx@o4$1^b1Gjzr?yqN9g8uBUnz^wEu_kV-POi|B@Za;D| zE)%1fDk^&y$V{~dv>ZN``k?0j@0#B>h~c;Dqs-6nn{$SO#Z7EG$X7UV!n#R$B36qy;xRxDiYPq(f(We5Xr$+ z``z~Ul#;k_8S>Ti!+4M-ap}8vnNK)%WD4TtjK7A;{a%=cT2a1=EM?S7{7{3pj8Bs~ zQAhjxNkbH_7iS|@`Yy4Q9vZlbIMY=6nE8@F)ERjTl4AL#c(2cH!PRaxdzhv1Iq^fg zK$~L(mbdYFcsr@XtDpj%uzzTr)&cH8G1#Us*yg}svDa;S#$v78gcwzgwPAc-Pk-Vy zWBPkf)-ll`E^QqYYsv{Jts0C4A=Q<>ON}F>z5-a4Ow~d67rj@T^iF@(QmKxF+KzZL zj--u_bkY7E%KASbB=}b?1u4&eo3v4OLaE0iDg9$eCG}SswM=PXbq3`$o+}HEM?Gjm z%zOMf+{B#UbLll9-@O|iwQh$k)5nGmqln7I{=G*O=P5vo)Mh5MGKv1i7TwlLo$5P+ z$PawWxI#wd=Z8b1C6ePxvSJuh$^9rH9vOy>Mtd?qgGBQwXXsAvq@8ZV+ma$mf;Ex~ zTaxCj4DLGyDpiTx2nno6SZpMkc^R7cOpLr^`{*d8m&E_O&mvmh#cTazxVpcG1AjVO z3FW>M-OwMm%8LvJNTo!soLgpOKSpYIK1VSnZpU+QQL{1|`M;OR+_5NR&8dzAvA+FkA{NhKfj% z>#fyO`#S^bRw?h8bD}*kH@1~lSasy(iMdrCmN<2o6lx5Jh@H#CDr6Gmn-?sF5F<*2 z#1-B>+oB_zitrs`XylD;orIWqNAP2K{+{qpLP!QAE^Mp1F_{lun0+Y_x!SQEYdLwm zzx;{iP&a0kHztL{dUci)Rvd8U_V~=dH50pg60|;3})hO)whRxOLiB zN&`LWEq*4ZOL0sVc-xyve~~t#PNykFE3_uI@ewF2GNa-ynPkd)ssga z^(wBrNBO~P(HooYVb1K1HP2MQ&T}G+7xL%C2eCWD-Kdas)*8WGz@L_o^_AOSck_W+ zu`?9{RlvjvbnDe&y|~a}(2_O5fl^L@xDY98gqv$2>5{dyhk(J{>aLRD=ZV;(x;(+d z4kf{=3G{ba`!&x zzW45E8ftaVp0gO$tG@dGiYcPZETr@cf(U}FgPK8s?WF zS$gr1mfHnk3l`-RtXfl33tcETYIF~V7_*3R44a1$adYXnD+c@IzU;_74a>|+W4V4R z!@12-&52al`z9tU2)pEZz|2C_0h8*@F{mqs43;0-QXx^D+@_;(vMfDc!((1A?{qwB zmD*B(l3dsf_pP6NJ!DkG7r?23?x~|-P3k^xW>EAHWH>HD_~PQ;s}jc$$xPI@gjptz zDwFr^W2U$lfh20S*opmH1aWn7b@s}Sn+VF&-$mR3^M;lZXu8*Ypbi^mJv(5I_u|L* zR`2!M8~BaDk_cq=AKl&oWz~ykmt4LYWXr>ak=vDyUjcwG(x0zv4zL(P1ll~V4P`oL zHFymxPou`|ryZkC4c>le64o(a_;G^A@HUgOn?2FrsHm4i11|li*;Q4Q*8Bb85?dEC z90F@N3Q@GshES)F)VG>91@!)(-=wYganV)GEH{X=zc2GY87WR(u}`UJgH4xBdo|a9 zqtk6Z|8=Cz#%^-0t_3icdF|J!lKk?ZrfX#M5(VX48uvDu^RppK`PKHUuWtsSX=kmW z=G@(b$@#5u#ZMM#lp^S5wF6xCEakI&WsWo!?pV+Oe3SU$*5EDMA@y|kBS&0wI@@Tg z-M&k;>&h4;lg%m>=XLlhmW?$4eo(IB(Y>eKF_F^Gczhr>aEeFq8J2@_DZWXD~A zqW5}Jf5<8|+Ho)7^3G&WW>nE*Vba=Zb(lG_h07!9s26 z$mx3BucBo8^Ed$SS=;ymDl$Ch<4?Nfi6%ev@(dEMYVAbK8!43odD!3 zH%EDVZz;FgNgP=eAQtn@jd60VRIugUh<=lBOr?lug~6s;Vd*O>vl~4h%p)0id7d|* z6o_G0S~SkZcX`+61`^1@@U87EvmG7qXuG^Sdxg250H+Y#D{l085PmG%wC33L<^0~) zpGlea<3#R7+YI(4VV@6GZ8bB_U*s`;pim`8`da>-{y3{W$a~csP z2}Y4fZ2^kB#DYz2k(FKOBRwsIl^~gBiuG}4hMWB{Oh$)3bHr|1?-fS~)G&Yhd)Egl zTU1-U1m^M~&A7w#n+CxM3%*3rAV^7AbVvmmECdSE3_1dimB`DEvQk*(_0g|vA20`b zcGQ%(dvB8iV|pzkBy?UCxbR3u*ZiEy#v$w&sRG!wV?n9GWzIbZMR~>HNmxhZO5e6ZF1g&GW^PWC&xcO+WuhPl39OAH>$^ z90?{n^{DaGxm^}DE=H}>TSCpeFBUfO3ZasM>BOg8 zImh6s1m0MvMbMI#NOaML(B?!ha?by3kY*K^OQ56KR22Q*5~{{bb41^rsN*}_#K2Yo zAsIytg>0w@lZ~a3Tx8t}+#>5o#Fqxr>*?tyJ!VKt86%M6=7OXV1gc~7aCXhJ=H<5i zBljfj{-B+H%I2u*JFc9_H}&$LVb z)FO>%3cZ@=@@vN%yB@>w)c5#{o&x@!exvj1O3R74KMo(aY;@Bm`qZY*HvIR)p5>$l z>`#fbklP#6%Nv>|O%!q**3ji$7?8sNwLNr)y;do|f+aMMYBh{9#7 zM;L{Qp&P;LxgZ$C^okYenRV+p&(tufa0~z7JPn#cbQy8$u=M=Qz6-xR43$v&CD$C zaHK<)oOr_m6Lsq@B(t1#@Tn%ss~6^uvmmry_j{&2eZ4TZhJeMPbtj!&v_-pdTl_9f zp4;fe`8By_?y!T+`J%XT0Jy(k6zoskvmA=lP|ITAj!hXcpk^S@Y!J6=V0PMBW=qWv zmrA;r8f8o0fL&)Dojze5(bvgbxfLi)dC`!+gJ92Li!_TkDfL1-7cqIeqFVB0yJG0t zq^Uz>i{j6HZ-GgH)S$EZLQA0vE*!^^T?2gx24kfs!lP*h{TZQ1*18{3mMUWiMs6mJkDf{7s!Aft^d8EF1K zKG2?_6e5Y6{a4g(AM5zf*=Yp;aWB^tprI6pNO|cQ(NmTWeqT&Wjfjee%vKWH-6TIJ_$TPG|_5mm_Sz03c z(^A$bq39vGIsQ<3zfho10qO?gkdJRd8t|6QAnxL@Qjh+{zF>~5Az7TlE<}#cMU+4E zIxe!DQ#TI;dZtcetKF#`s2v{R-5vUuHtUR3Jo?~Sza*k>Q5qPYOlN;;F~u_FhWWLN{hAeyVY_FSNu<&Mr~YT5tKjF8F_0M zF0T4c@?LyfySFjWdX{>uMZ}=&I;fMI@<^M=M zshi*M`?lW40fygjojAL5ncqnyUrq)XewC15_%Y2DZxIa;V1Ks!|>|2 z)T31CjlIyAmF)|>uc3A3G&^wrK7MX=RGa~$d$2}@y&WJe;cpR6UAOO0+C4*^j`snRTf#NB<>?Y2IBqW7t{?6h<3HCZST+%x>J9u!so zfS+KW#`gTOhmjrsKct>j;N_l)x$LO?v($5$9;*6LKJ61p-Rs@#vTam^v*tbZRnGwC zOD*%5E9ZS~_neBOika|j+meo-fB%;?IL-#bzCdEPdq4&L;G+$)XMt^f%cslLwz6;M zPXZ%~ti_TzKTOs%OP0rX=A4wnhd(5b#btaN5o>KgEPhvxw(HGN8@0zh$e*s$B4{4W z6zR;K19yedrRgHD6!~lGCc{yo6ED~t5swr*v8WD9{}coz^Oo0_(WR< z+*&VF;`O;^gg?stXfWn zvq|D__~qC=!*71{mE>CSa^-X&yx1E(>9+wO2Guy_PjDazT1ceBzW}Au_RC1Oy7v!phiusoG|l{Wlo1FA#IH^9Mff;aPYe!dvpZcAj+P zS&Aq7RFs55+ro+?3@pu`M2s6gq8uR1(yv!C;TY&VpkwYKI-$u6KxD42gmVpA{;;g8Ne$GcOLSeL)E3gC7nV zauL)@GRn=DF_I=&X*QJG=V z5EIpkc@D6PhcEt>=hx%n7+N-w1{RiE|_5m*lCZvCH)C zuCjKSSz2|MlD_kyOuj&ubZW{RNn>ZX-g;)^ComhS9H<-~2&*>3WFu5*DAJWBN~7j= z>O3y*=f&TXsti-!|G~yrf3ne6I6wY22T1L|pZN=phMU7m{~v7heg9u^HmLP~uo3tVIQ};qN9+$&qa-lpjd!dHjtvE-5nsbMzX;}) z+X`{~`ni(ps8R)kpE*4x*ljwL9y`%S-=CdOP@Ld+ry&=nNoC&qnT-_x$wndjT(x=6 zg0spFKx`umzxlQ5dnqyBVXmPUX->#^*okvCX}_GM?f=b2K*O~D=Y;a!uDeYjv}{kB zq+&);#bXb_N z8rq%wZG#dl{br-q|Hj6cXB)Kj|H8)7KiF71;;IQijP;Fvuu_YRG7_w))zF;fKCmOu zS1Y9IGOQSexzye?D}E0b`Ew`ocz_^nCeo=^fPG`bY%+_sF+g>=M>eTy5XQYNS$}cQ_4xn9{3=2iios* z26u!(t=78SY<9udMyf{HH~`{%U6F~g0U6%{VL}yQIs)-hk!MS4=O`hmJ3F@wsLZ|WbzUf?8Z{S&d-cB|1kBi=ONAh`X)xlcw~EZbYHX`x*D5U$)musSLKxmA%u}XgL*{h zFpi+WdqMZ!#BOS<)?HE{^4#b$7pv!O#&Cb-I-WXnN{(O>b4csUwBT;DG~BDfwqcS` zYxvUagM>semg6q}A^jQwPr?Bx%%0xBT3DnOwnK-zM-G}Z`$3bM+_=MXd=Yj2*;qT& zuT{sq2+uaC;-*@zk4#+B_s6dp%BSK+AC~2C4tFE0U;<#RnGyh>He6*&(V(?;+%Fv+ zXK1@TJA1SFRZbz8SB(%SQ@2s7)3f{LIg4MPebAfMj8;|0EY1r#mBuozic7M9Nt^}r zG%_TtkE6b)P&+NG8HirB%LM2*nl|itRog9$rQPEV#6rK}xKAY`2Zm#r$Y2Z@jtPNM zaI&~KR={sMzCR&f^jf~d(uNw)TJk@41X+UN2>0<1IBr0Byh6g@MvW!S9DZE7!Fowl zohEjMu;G?DNMo|OVn@t9m!UwD@oj|djA8R-KmSU0&~1P$i&!>AAiO^fRTy;qXQ2p! zu|2Y^TB=eAELlOzXtVieT^K*_unz3y?l|00ik`ftCsy<~FMsR8rj(fdK_ZK4>l^HC zgHVxO*Q;amZlj!`<`%(H>ZWmsD>b!)Mv;#!LdY=EV?28ao;7!4L@TQ>uD`8?`KAt4LZ5i4i$-zh&3Rw*aYEkIO zgP)9iX%E+T2e%x>3~B!(6u~gm3{UpdtYoe=`;fD6GuAu0u66xnk~mROIW%%7Bpp@S zeNju_pE#jLu}RpQ_(|%Rz}kDIAeEe277Np%1juz;>!rs{yh_^q!YFK}hn+U(M=_A# zAM&XLQYoT*c)H%_UoL6n|G1>9|K*Zeg7*af(^niXS9f?;T3Dm5Rtyl~}QH2mz?}XhZC< zdA4)5H|jADr%D!6YP1b^mpWUqDHFetzuZ&~?T?IQP2DQ+#hkB2%2V9LQ@MTY#ug8b za;EYyVMD8QNiF^+l4z{cUa>Q`-u%Okm^dtWVA)>=tuOC;UM4wB+T5duT<$SWF?S8} z@Lgry_sLNbx!n7<;l1l)r!3%u2s^8D(egaSEA6pzm*l-U{qh?c@F+J?itY{fD@v2Y-Y=Lc?O6?jCR(@$+qD+f7$?Q{Y0A)X1tr5@u}9Ho)?fbx1&7qM$Fbt7nn{a~i%dk5fWHMRD7#OF5j*Ji8*~ zHIjGz>zChnXKJBoVD>D5yqXfpRtc>NSQ0InUikW%onG$$uu1>RC4Cl(1ItYocI*Y$ z;5|W|-+O}F0brr{*Pft@>PXe+&m7Ntf;P=WeciH5%eVRC&6P+A78;8?R@dEr6-C=^ z^1zuVP+R}JDcFi?b!>okvtGRtD<)#UYc)h@S~25ewzsFC6MeI<;}yX=HWPX%o6?qyKfF-V7v(8BMoekY>iwiQHzITI4gx=x*j{w||jq0J#_uL)$i0 z$Ey5K7!nKc{{h2qExQ2e#h)-t9KNkw)&|4S5Dde+)|X|0-DdH-bNiL@q|Y#{lK&!` zi%aq^81@<=0y^cGY*?Y9qqJ{)XujYJ0|J-h= zmq2~&4Wt#F#Nv0Kyz8sr&{BVPJ4L2D1`DM8C$26*nj96eZ+Cj9m@An?ISChb?#@~a zRWn`&Un*$k%!}|P(3ZFPD6o4(rj}1`gg{kVoL}Z6OqChk={7|pwHNt z?6Y97NvhQ2-Tl9qq;Y}l*t0Jp3e)Na*p9$T(NeZT7_fJqtPy^UC%d6ex-RJeOGU6! z>`njT3VZaIQrs5}*BV_&=GX3(!FX$kBxdZP)bG&~*s1bi|8Q zE=@{y*Ijcf4VEIDrE8f$nl3&zPlG}`NiZ1Hv^>Wgv_HAD8qpFa9w~^ zhCkD0Mx>HB#BA7VoJ1S`(!*Sl5=GMRp+*MH7_)4v+NRsIbYt8Y3xbB71FZN_)Xzd#5UiJ^zQP~a09e8PZFSnvtgc*qN1 z;PMK@#mdD70)bwE*l0l@T6#nl1^c%W#x7=LbP{}QAXaWx&|e{qjaBfHsH$8NVw{p< z;*t`qY+_P8tUT=E;+zsZ9IQMNJZw^|Y`j8b0{_1u`iLy@W_A`X@5ne=Sy@v=YarSfO;CVPX)t&8lU*3*vD`{y5fpM{S5yVjMkh$;U<O4(>z%imSK z@p1{d(YBtyN4t}IRba#R&2fxr{sy7X&&`H0Hw$C8PVNqez!k2gtiWbF{@sRXw|!&t zvh%mGD_o2Ee!=XGoN#Lm>n9Y9*UXJAwpnY`+7V{j!E@Sy^<8J|+g1EtT;hd1iXn`oN8RZNA zsXMWvM@nnk$43%$!*1r|0g~f>q2oaaqCWDzeV%}wMSL$q0M~Fpg{T)>ub)$I5P7wa zNq(E_WRps9i(`C~aePaFc@v;u-eM!!lsI_Y+WLujvV|<$NRzsOL{Ie!Ss{-}lno*pHzw!;a#vPGyKYG7`2Wn`lXd@r0L7@#)an_W= z5Cvn=T-?j6@0|Z`K#j$QOg_r%%@#T*j-QGvG^aap?ph7cB~{RCsZ|y0DR@3WhmmtH zKghxVVxdU~j;M2-cnry6rbeCFC&mQ0FIN9*2s~9cIXQwmM;iQerl_Z5eJgKmY)Nz@ z{YDV_a*MKgHr(bA-V|>T+MK-Mocxm3mqN%5#auB$_^Q{@9RkM$9mf>mg9-izQy5JX z?0FO40~UTlEuCmi?O5c+Fone^ro{-`MV1)i#c)Aw+`Ebnl7*GvwPMnZ`9DXIXaJq4 zpOt73A#-4Ta>Id&*$bn@A;obV9uv51^yaK`hvF6oCb(L41o#I4wYI%cI<|tLC<^un z8!jZWj7ZP0L0`5@_mi-S(LqS^c9%ih)o%UO-p5Jd+cATKoVyA3%%>kn7QT)lwZgo; z%@gAePc!U#9zwmlYUjy9U05V0#nsk15$*ygk4M5djoCp@A5Wowa9o}~*a)wB;oRK- zLUw|vkD;9ejRrwai2!D!LCDj^M#P&>XMC52kJqDWzCt9?MfPV1>lB&~B&1}!j2(vb z7LSv^7EmPY<*LIJnpfuhKOcKC0`M)u~z*P0JO{N!?@RTh>om6=+DjXSwXu?7J!iU&fYs z6{kt|QAF3jj@|#Vvm(?_2o{f`qmeuB*M=|S(-6F=arN;VM|T`^Q(=jHxw^Ip>X-=8Xlpj3~K`0rm!C$phd*M9=a_{!_09{F zZL}DZ_Xodnq#fIPc}%7;8)9~#6}PbzcaX-niN<#znYR&Rf}ae1X_&nbQXG*N9HF=! zUnVw1^EXAlZ;B0VB7og0+4e%+)XD_!%rtsL(RxH!c*Nj(gll<3bN_@UJ)=V!K>TH` zcT4=B^!6K5%FBLuLSPV-`m3nP@7=d%V~49x1N!Z=US(IRM@93mnc{TG>Yct}$H_4z z>ylkPfVA($9kF+3hyT3)F-4c9Uc|~De4$aCpKz?o1Qvvy^|I2U-c^ftd|Dj@fNBo$<*boH?aCE z3P(l|W_LE0?73@<-@br&t{xo)+h^I^k(goo$d8I*W)@!m?$^9k^6V*j&Rs$16OTqS1bV(Ln%`v5$hWf7J8c4`n?w)(=L!nnwQ`vIZj^ zywweig_WQ&a}vWzE}KD=q~9gE`k$0wE_UEWLUIJmkAz4zF$H=|1-jMx7_)a^47RZic97S1jPbm`;cn;K zvtkbAMun;o7V*nDCi@KK6PX0DzAKoODvM?tI3q{uxYzKmlp9V<99$6Eco{hHu;Y;- zCzqVWKyRipoIm@z83~deMisFTONKtuX%Fc~V@6Yi!7yhrX^uEUk-8jEmb6UAEzYs4 z3I7}tr%G1DIGi>!Wbe(&T%MxJQuNPUp3wi!McTn#Rq`A}o}x-$q$*eR+$&X%U9-P) zQ9S3;is_SlzWY1BUJ;|5PLdZrsTg4qmz=E;xIDJXI!fS1cGQtYrkK)+$VDpMe|FD-1UHYTzSlpkLP@ zjnqKCszI!%fhDX4A^8GqDG)>O#85k(VJYN8@c4i|QN&SJw~k(yq+XAiUbjY{Fpj}* zbgy>bf`0C8L?0=D8NMY%VuXl#4j+3Ct#ppW>aW#A2&<31@ZLYgBT(rK=k$z()TpCO zx^OQ8kse!>;KGwQq}}w~K)J6KDXuRM>W}!gy&QMU%SgVS(XU+0mwt>X@tT=$wqRd2_I_kO9xK$ z{OIR{w^N5j&al64|JfnNmPccc+manGufxmfvO+c4-yJjHvxs|6%BS=Dq3}F@+z@W1 z!7Fue$c$7;w4z>C)9-ti)4YLy)C0f;-D#0dV+XG;r`ykv2VaQy$wn4O!fA43y#p7o z!MJrHeRM#D@abbT2;NHE2zQS%)`NT5a|Y)tu-_-ifs$0{VV z=LGa{vg0^~$rFCW6Ija=deP(;*%UO=6j0F=@`i^vB49KTOT%&neyB zk!6lcn%C}dz&FV@XME?8LD$@eOwF&;`L*9y_YcQX4& zBb|X$gP{B*XljL}@2XEDydpuJx=cbBNjDP)=d7vbP(z;OtKBJK;GlqKY;5bSZDW17f*K0yp=L?a$EuJ!sE^>H(fxf)_j@%RqOlIRjVgT{q`5j%=sr z5De!_q_5OfOAF&9S^MBk<0R2dJ#eLReqH>8PsXb4IWW|VY=xwUR)sG_lOc~2BMaVV z!cvhb(uTFgilEyIno@dNX^K!sEW`R|P>R+VJQ~2B6Ahko3!}iM%i|hJLem1X+ST}15$XyQkq8t zBj4aK`@Po1VeT=p>GQyQyj$45s2co_Wxlyhx28?6+i{m-)85-HyW?(yOkkiGbm!iQ zpYuTV*8&TJc?Yp-o1kh3XFO=C^Ve?EELhh4v9k9O0596N(Mfg?vQ5GN@(^_d$N?I*A0`Wi2>r$%LO?6sLqt{dx@d$be2@jp`M_gi=7_ zV4duHZXj>Z$-$=MnX(}jd;(Zg&d1?-fo{@1Eu*0?^zZ1Vl=Jf>#KS`{kf{meIFjDc zg=^8slCeI%-CKzGrP6;jE`k$ofFVg0A%hi9N1-B-A0~kwPJw|yg&|WHFGI#lDg~(a zNz&#;|GxaMILL5l3|nyA3Ak%dy-n*c-%|MWP@~3O$-4-J>YgpG&AdT9#W8HJXAzk|W|B*3|QT%62KQ=u3h_7S3sF zs>w7!92cXKZte+JBYFl+OLs`3ps8JDQ8YmSg$dHVp7I z1Hwk@JR$A+l%i&mN+6zjy8>$1J30@wFy^AU{45~<_0taVd3u+IHZm}rtsD8%0uE@( zbkhGiD`nFo05lalF&Hd-MvFva@zM+M;9O<{PbGaL*!v+h#D>umtuXx6n5~-`we(tA zir@Q%`d*=-c2R#&3w6L+>0MkmjC_6D;`)s$yPG;g?Rn|A)p}F*d;W)BkeAmV_-!ws znudBg-Vz!gKaDiGvPbzG+V_2YW9)ss+Qf+u3~T@vB#pg4Qvi_N8Up4{nCRaBDAMcG#b_ScS$mEZov>dG&ke zHQvtAIPZ*#Ijq}KAY2Fk8ayROvS0Skax*F+UOfDn{I<1ty#le@C z+l>n-=XEdLO7yGweIQZJUE0Xzr?T8!N{H7EJX$ov@3iVhzh3flMK??q!Q9f;BfAV7edARQ|wSM`!4H2^wRDw(M iv^%i=3r@~7ZSrp`F2!yd9tV*d#DPdnEvY1h`2PTquf(7L