From 471edc10c5d2b82c64d6f48879feb81241b4c069 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= Date: Tue, 7 Nov 2017 10:29:12 +0100 Subject: [PATCH] Fix a couple issues in the slides of amphi 05. --- slides/fpottier-05.pdf | Bin 769497 -> 768885 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/slides/fpottier-05.pdf b/slides/fpottier-05.pdf index f92e5906f7a4d2487ab74c70092328dfd1c128bb..5a2245b89e9c87aec50a4860ee9babf169cbbc32 100644 GIT binary patch delta 6683 zcmai1XIPWVwnkC96sgi%C;{nJI!FhR(4-jYRUiSB&Ig+&9fKGUMd=2l1St_If(X)^ zfYKq9AW|Z|-{{`Qv+w;+Ne1``=2U{2Md&3GrO+%S%sWvqx~FP$ltdjw5n?FR}bPdq)ioA|`3E7eI+ z|NVu~Dj`#b;0@9N6&VfrN3ZVne|}Xo2yt&wr_r#JeDm(6sAHB?EI4}E4fqiz)9}fL z8%VfZ>NEIi#gkawUUL+;E2*`?{H|-0tMX04!{zP?58qcSC7i3@4nY}ub9c;Ai~S3$ z9O)br9S!)O^$$MSnmjHGM9zhhGXTAtWdgRY_c8=TD3uoJ__d~p)T>xx8I(0*bAI~q zI^Q-HB1bInF`H(Ot}jseSA-_Dywtn;#5g0nyF5H!p6sbNdm&8%&0rP1PX29;8h#?C zJ6<#g3q1|BYF)O^+Z~dpdb;@^SUZ0*PJ+!&=pL>uiSm~3XD(82zULiiCY}Pcu=2Fo z(Fbx}+ptWTD={k0QbKjp8)gO2Y#Bqp&%LmLN#nY+B9<}%_UcBd2N}v7`*Aya z-2B&B0xdY&Gz63HCqxs&^*j@z7ZhBDk|odsOh407Wn8UYhKskGU08h~)ixF`2r}KRG~a{Zwl07;Ui#9QfU{GS@Cod;FMO%%c@`V zWEas}d}w_+dR}#rB5YayJiuYfGZ-SjQQ_0uJ*`pXJ6Rmy?P3{>U`<*&k%HJ}nDIvP zf!<8^PuyCj^-tXpzm9{Zr7S-X%DW%NkJxb}-JVK$vADa|%20Jh{mIlQpFp*qyYI6o zK|bpI zEzn-^bI7nEXL$@P%T+05JZ|BV_~pxFu*Cs-X{xq9iR$aDi-v1hZ@INKx>G`je~V_i z_Wn4-g;JyMKF(ub1bh=3r44Kn6OVOHJxGHhtX|GgxpAE%NZ_qa2Y9CLYt7xYeDL;EZ`fZ^DY&y?S4d@v zOKfMSozeXB`8!#>`jQS8^)K_<RKG)YE9QQIWro)~#VB@S`}lUU-bb-bLJQ5S zy8(i920NAvMJg91Z-N4V2j)3BuH1O8mlM9Gw|S!bMh(R|FFbBn;r%ut;)I!tA0mr? z8gJx8qAeHjW1ahYMu%4sspuA0Fr^%(Q=BHAwfk$jTb*dg6eF>FUZhzLBs}_zlXFb2 zDu#4o4NslQd(94Dz4EzJAZ&Ya&OM5+8Gj2hUhJu3D`lh_=kzWQs0&7nyEex16s3QB z#b(}r(uRZAd2y!~uIW)A{%Rz?@~;~AjLMk0S^2=- zEumIDBH^;9&yc!5nuuE>&vRw_ca7^qRx)>Jzx8)Ik)e5|$jZf@E0u65Rd&f;S%X4^ zi3cbaD!!SIztTXV`r_X66iuepNC(LyxwA;k)L6~Dc6i~7zLka^x5LfCp0eRAisWDW~=s+3}s6U-WuosP6mjATUNf^KW?FV;rWjB7P6lhe{1gEQl zR5i3fcL?>a?w@+MxG{6|l7UGO&I0i5yJdj9EtZ$cwJ{q%$`^M1IO*8JLGM0>S~4A; z6Co8bo%*IR4~8G8N2PbYvNMh<(YJN;$YuC24C`y5Ts}MQZ|)J`qfYj%t~1O{3mqaF z=jLZhwjE`kS0{g3mjH9;MLZMGgtJRC=wxLD5+9a(amxp16iq816|V&$5kP}aDgO)A z<*owbP@tD2>Mwyx_P=^OE`Oop#|~5^;02z-Q-JZ?6nQuU0%FhvOI69%IR6o zx>w!wuK+_TaqqMX;BQ{_i?S>QUG3O8l(+M?`hmDwiS_Es-noG(f1AGV zrF~RSK91;>|1ehUb#PH|4ScaUM(H*Fkw`K5Rdb^?WaiDJNSh|^-4y`S;>yLc&tSJD z=NkrdjD4DvVq)SnvR~8J#ZnPbVJC!OpckNJk5klI?VTaFrmDZv##0uwWPs_z(_nP$ z)kJ&q9~~E$WZ%0YJR~w>=r8C(8<28sm(kSuZY6u1#^~VJW&BYt(MNuxm5GD|`W725 zUFxSvpZ@ypVPp;cCJr^CsR(9zABV{DO>K*Bm~v*5XnHGTbB?qpbt}>|v)G$IY9^ivD}yv*U!}p7943kfSw>?kbrEzT5Fy_v`VW&tRj`A&kkALr3c2A84=Y z-=uSVqwdG|jxi;XHkylUJObLRjM~T!2`xTrS*=*Duq+#m2z(_w+?*7Onf0uVn^~7m zrVALQy8U&y|0RxnmB3ja`S&aw?zI`F`|E!GR9NEjJTJHD`jI}5tc?=2xn_NNK?!1M zN#<<{F3Kv}q$(D}Dh3g)GFdvH-sO(ZkYb(X*Tk}33ZQ(?{N(AkENrXqw;S{0FL#br z_j=gd%vv-%2f`-yKVhp`y{eejsyNxI=yIyAO;&+xW@Z?;{3z>=tQR&P5|P5m;^CKc z;Z&VyV*Fft0TYdzazC61E``@kdaInWp10e-bC50wXIg=AGQ;SQuxnN@#&Nhn%^7wS z^Fh`KILyWhan1`Yn7&U@!VvzTG}53)B^WxJ^V1%9Q)iH4(`sEV_Hsx##Vq7AnkAAf zNv_Z;AZ+&S;L&{BLHI`&^p_yAGF@zV!Jv&Kbu1(2>p_dWvNp81Ypbt$fY#b{E&QG~ zLn5v(ZZ7fBcZyNQQW0~j*A=(#=G8hXS~@@hvgj7JaoecOLBl+xrg$urqKP3ycn5+j zqSZrllxg9TKUvgi>cyH7XHK>sntw|b7O#x^01V4Wny&~M9tv3%h$xope7vIj~1^REV$i>L!+x8a- z+twhxo9sx1&5B#iO30&?JF}e%yeKWf<}dNzg!f2@#FU@YTUq~A6j5qjC+A2n=R{fO z$X4e>YH1I$bdVjhzdi;ysL0vNKaH>QG7kIv;%id)*EC{% zehd9lg21B%ftrNh``<#sDz)%mD9T_s0#vWcX=SS4z(DenHOzAh)mrkefv3Tbl@1f?=0nrV03&xeV&> zH5Lff$gp8uTD=hInEeRhiu~v1iYO?gsW8MNtaiwdFWr^4+ar!PDTt|Upoz7`1l$Mc zk+n#(`<51(>K7n%Kq&^S)-u)ZJHrQ)zRp7dS_gBDm`W&XlML9yeE4-C`~zzy0d^k3 z6VQ+sS-oX)Em((seXM14HG|eyu;37n z9YPR)T>Twskfn$7kR8?hTY%1L$glwUdlQ+z1OA-fvU~pXEYC$6L5(mKr+>mtmVA+X}M|g?mhdXvRJhUlSbbg0>A1PZMsA9U`wx!!NJy#Mjx zj}KyRX!y<#QJBOG9H|nTG!#v94F9KKb)uD$PhcT-OMp=7JpZkEnf^J^{&{7wIo^u7 zn=FSz)0l3MU5BjE{0*Nu0iSufjX5#SIZu{Dyt>^I=LVLJ6HA`Ea4nawZfILAX1eri z$H%km?h>r=kU23)ZOysV`K`u*IgusvZqySq;S$I#P^KppYiY3to5g!z?`H-k(j7cx z?h0Kk0)`EXkOtzJ>ZO-&->M}8qnu6qzQ3Fd6BPR`&bA_)T!?ruKXKc)By1#M>})zOek2ovbRxcyE|P(tHP)ygbZ7;Xtr9~K*3|7SsG(b zj=Bl~6&g^D7M&?hn7DDC4<&S(vstvHw01FFB$0R|7dJP%)}?T|a{9I%f6&K=+Zjko zZO?IH>69_*yyR*x;OZc^>`()69%N%S*?T`-6m91f?YJuX36K))qDXX!0ENWm`0{*HK9}=>mANibDxa`ToC2yp(Y&JroXSJV%*uc1W^!l0R=3 ze%^8I`6orY_MtP6HG8`yWw9*FlOk~}Ma2SZF^oeVMqdwOKFz)t4%mGsBvh4ij)$`q zcu$#Ovc)j4HI;J(J{x*!hJD#y&Wwxgk5^lB70a{(zccqkE#hCWcrW5lkzzVLNsZ?; zi`dPM@Lj|j$V$HgVF!9=;Fq~r{n_R58t5gB_2S5}+n3qoG8|~!&}aF#I;4xEmS9QF z&wDYyYh0b_aA7cbKnX6~v={<(^(o5}8bE*Pfj@)MCuPD`W);PDs_(-5?k;7}LLwO0 zv{u~ISh?1#P#s+B7cU_w`I+^^((Sn4sryAOUhHCgyvD7@bYt^4!p=bE5R?@hK@<0! z&CloaJDwH%b$+e>rHmdyq>0$e-!=~yL%MbmIl&QxUNHina^QX{H*x0V5lH+ylM;l- z39aCC+Hy4Ig3sNZ^SxR2MEMejf89qk5jJldU)d49;-JdpAo=qtB0Nn0Atl@ycqrT2N;wLr3MwVw0i&%BSdd6R&fObMb_ zt@(dRcHSPewRD8L5Fp8kn`{YkSH1Zs^lBcv^9|`ZIw!~>9^mTnV@NEdT5s%`=gD_| zDpgbce8f#qg2B~Hez3kd;x#|PW|VU{?qn$$^ZJ+md+ww^9s<&F+;n<=>^JoGV*Bp_ z!eXHGn*jG8_n&!(H1eZwa(6M}xD`2WEX6N?FX~@H{2k|SBOLr_;wXL^`{u6QK~#in zh2vI2t04ZmC-zpdlH^7^#%tEf>-E^}^1K^QxA_B_f12RS5T)^&E2Q_*l*SzJ%arL81Q;0e?& zq^!_VzZ_u$sx=@iseZi+37vWEV!CglIGf8!;0c1QUr^>3FvUV!i=@C%vQyS;t<0_v=nbMKjg-Vt(gWJKlkqZm+Ci(Hd;s%Vc;hv-$!x*{=mS-6 zyJ&9*d#~>K%enJV=?x|3?f*P^d#cz)s;+ufaR)@4tYf;tZ#r(g=_I+|E^xnt>Ha4< zBS&vs9B)N6hZ2lM7sk*DV;6*7Evforo{N&v}NLojI|oMsDx(({AHbdBo&Ql6BoYG=*X-T1n5B(n;mGVo_jUK#(+iCyuCN19AD6>7>Yxu9hlG&bH^X~WpxB-k6e2sT|Y%Yv~K#B^x zM+S9*nev4Pw78ehgVVLLVnxp(ibYU^rY9l7yO8fi40^%z-NL?FOiN3H)8{mVCj|kp zfRq-R>!T15P?4yC^^*`l__$K~V~-QlzSjO{c`R6EzgBbK4eIfY^(LDZO9$BvoFju% zR%+Cs%D&}PAp6L_2!0z)lq5;lfIL^Ms3vqP41edXtm;?y!B)i|P!hpzWgWj;Tst%N zPwMV>QX4r6?%6xxW{y@XYY8c%0sinip&=1O%Li;Wsa5z9Qp)NE`)>m>4g&{pg>zT< zUABV%%?fORFy?(2SDFN4!vJ-=1%Vj;ez-bpOs z`{Xr``>3Z6HpgKC&x~aLp!y&Jnk1?^q4Sy7mac&-?0Q8$(ny?OI@1~4WsX4cXJ`u~ z8Hs;`e&(HIZQwdAA~3sD(?8hnIGD0U2?C&mJL!i#F5<^AAwSL`zg7PUQv1I6qzmg;H5N*K6*N1LA}TM4>iU)1H}E=az}ukZnOdCRYO1 z<>Dlgvp#JPo~F>_bM9Uo+=$s=7VjkRe0Z(b1o!(@4-~$NZKBU9o4j2=smlox}l@hP&lXRJ8!jiKIJ%h z-N~!&o%E1#irTw3zeGeqac3!S;~zssl24cAkHkf1kII6iV}?Gyd}K@Puv2f7sf z)FOzrR7zgYrLT````TLBSq{ugJUr=vd+{f~I5(L39)qR{m-TrtPrJ{)0BuwijJV|L zqvF5zsV9RSKf}`=_+)_+Q!wct5Sr>UFto1N&=dr>IQcqqI|TnskhE^)!`=d03iEI6 zT&*epN1@bkai|~mw>9OD?_-1PIez3OwSR*O6(K8|mhV`<#k-y5EtGz5IbPn(+lGqD#}g1v#J#-Rs*_br>ubv0*P%3rB2 VBdeMyxhSM0WGFx&Z4(`e{{f_Mp$q^3 delta 7375 zcmai%byU<{*Y}Z@ZV-@?kdPXr96DzPBu7HJBqRnfV8EXs-5~;sASD7)(kMN2hk!IQ zNQi)R4Dk-vb>G)>J%2pwU9*0(&e`96_TFoq_?&ZaDEb2{`ZDBN2!04b2w@0O2yqBW z6)B_9HJMb2=cGa@L!=adF~xQg+2fW8J~a}G4MPH?cC>23y6H=i`lN4!?Jv%##Joj* zAVdV#cZW%$B{eel-jff763%f2zfidKDzQ!5_KXZfi0JU@=d+`2e=TV2CZ&Y+c{H|0 z+l7Ck#iJkiiWp?VhKEmIq`B8cQE$B*v2fWa$-~-PojCTbrGID)sN93`C$>Ozqy3#Ah<_&sq};kxH|p*Ot(cX2OedFkN5iL->MLALuxK8Oe0Opu>U4@;_iE&%^8@+5F?=v+cJB$Mq-=`AYRY;) zpslsfZLVs44B;6(&k=$OM(BO#X4h$hvdPL4QbBYVKga?Q7P4D9{Q$v<0JD^nUrA-n zSW~2wRi1BkQL)rRFmKPRpi|#|;-KJ`Qug5ZXfg|}gbxD~3L#d(KPsSr$|uDa0gt(Z zMc!+!Za5LXVfGnOSs`sCc{xe8MLqSks6XnJvsV3v;QIdY_-DIiPQ-8L1E(0>x(~9! zYqW;<#m^9cA=LlA;C4agDl7HI>Y|AoXSt>--7g9hx2M*1yI}j$fDg@eu+(Bzy-yVL zvPVT0qB0==r>c^*0rnZUy&U=;wAwwVu5U9yKasX{?kdrKH_>>v#HwDVd;jTUVVMbk zcwV}+>7dxHYK;uKYZ8X|*0Aq%J`r+SN7UpEGWMVSfSXWlwyX$Vg_&#bzgDQvH{DEl zX^*GTV+jgQP*FuX5WkI)WpMnKd?4+~jFqBm-`NmchCN96pii(jNF6&fm0QXsK{w%! zDjl}hCrL&z$dmPnx(9E%dNx)eT|9O3S2p2}KN?D(q^~>8ltG(o-hSPAny9w_%qqdn z)92O$D`1N@hW7eS_!hKAIO=7QPUl?jH+Nr&BjVt@YZtb6M&4Bv{Mxz8Z1ic&k|9^y zP$x}%C6Wuz3HGq1l2G|&_3aF0Carg57c6-9R9@m~i1e$`))vT&!FOMy9-1e747G{S zq|@TvF(2Ffp#CDG>KURNO|beqJzUF+CV5_EcDEXkc(fiqLK>bFF49SnWW1J>^{Pte zp|u;BD`;VvZ)%Zah~q7O@6?|R56FI<5b?0;HOqLzz@Uqp()ZX*+XyxXo)c*$Qj{vi z6EC~dUmQDNQ21H_x$mo7eCOicIIIOw2zb-8uDFb>?a+n24yNupD}NIYXS`mTl>`r7 zl}yY6ZnnMy$KwZ!6?n|*e!RsetL@|qo-P|UF?Nk%a;qJc73}3V)xS;2(jjq>uVOw( z6>56>zTFEQ_ubgN(9~sQ1ItJ9`?_4n{E9WC%`tJ1t^Gb`W8yt=LXa9_Mok?usk%Hs zTf*0E5}H>q@>rv z-qf*f>7QvG*%3_Ewpqw!r_|K8?XW;GbiCGU zHqNeOohI!&LFhusE1v-{Pa2T}Ic+5G;mfGxKfK-y8E*(%@R6BB0lNp9Gn_h7_wB?R zR#tc@-c-s)mECRo(&%>L1~AcX2J+RnV!1Qb#jc5hycUR(BSF+jgtr&Pe?)I{2Icp7 zb5P~l;EOzgZk48C&td~P<4)OGnn_b3<@dJW_#!IWQY=338*M-vFSsz7G@O^m<*oYd z!@w|h=H&fAvXe*2%B49PvO1F61!i4u8TwbF&BWO~D;?ZMJ>umwK5+F2zgi3c6Z|3_ zg@wt;g-iq&H{36yz6*Q76fwZCdVM*naA$JO>4!~0BW?Ky+BgO4#k@u7fcXLRQXZZA zEy)_%!Bd{kUb>+Kb@xQefCg4D~ATw;&UTElPv0tFued* zstBKcmFD!920vb3NV6Q?SPzsKhdMcZ<4v-lYvY%Hg5TaOvo~f#RqISHG3gBcEgS)& z)Vz@?`#RW{O$3O0h58K&8>YtO`|Y{2cOJrp&a(X!GIUpgO2;%+ImIX68>8ffRxNukI72Jrj_b%1O`wm z`AEJT9SR}WNV01qWH2XmhJd9qeibF0=zG${@fxM!-K+dkP8CAgL~BYLy`K|tqT|6Y zOfC4h`S7LA24EP*@;sW3jWJogCsci;f`hlV{}DjaB6*!mL8iT%q87FRo{Bgm&;MebWubKF?2lVU*46 zw?D>Jkut?}*56JcL=df{HW%PiS!=oS@O2FN3ix+8zIgaoeSV~$&&3_-P+{XXbpHU$ zwj|M3^N-4=K>m0CZW(kr3j=I)759VfH{p^8Ml}>{kiXZpPb&U6f6GO zQ189c8zmZI)NcGEij4rp)-uaSelO_xolqB*Y^Y-TK+N4sRK6oWoT^%@=^RVx< zz@x(P=nhZ=I9FIdiyol9d6@iU%1uu(p6T6%81nI{vqH_3N&K8flR)^^XQyYH)B``V zaF7Y4Fsy8ut@9PDVgu{$>g}-kK4!If zZSwCN)#c#8n(ko77w%#SbFGrriSjXa@%}>}F(N5Ln^fI34<#BqfQ(6YJz}lPYxXzp zyiILIk6P19=|>AkfeWc}SQmQj2-XV2 zB_Tp|3L&Y5h+U)|lsBo*K%F+(P4z^dTCqF%l&j}^gUm9qszz=O>O-Q}=1^9uUJ>%+ zg@RG@w(q2`N%42rW~E_PmxV3@@Z)N8we6!Douu+>IR`JCDS@yF<>I^ZWF=Vvq8{(J zwkPh{2;10vV3hwlSGzEvQbl4;@Evrt>ElD%PEgW%_6d8~AQv2mwW{-se`gs(RW;r7 z3H$V`T-Z*~#PEU7*38cpivImEPTz&s?<&RFe9H02D@f_nP$8S%`@Jg z%hv)P3cGi}SHge?Sk1FHeremS+f(xElUci1#hpI(PEfOI*HA#`Q3vJ=v0DYzM#VL@ zitFzxh-NC}tLA6eIlYBzPR!8TPiexvShTzty1dv0%IS9&QMpXikHCWnJcQ(qR&*u! z)y?dK_VgWYy(RWR48ACuP835{ie~jdKXyLfa6<%b)B#J6;&PwI%tUByif%0_ax8Lx z+#wzE60W+yOk(`?{*3#B+#6e9`=<;|`3d$Cc(hFJ+GT6UO{>`ln4aUnc9x3q=cI0$ zn84g&a|x9fr>1hQBwH6s#u2$X`w9n3B#^no*_HA z?G_tCfs&C`NT*r+TvaX9If_l+2tl4BsBRST5unlKPC&bo(l5kq2o~ty&rU)ME*pWv zjmZib6oBG8geYZ>@ba_9=hgu{Y*MX}G@=(=^D;5CzQY~2JH_K}q(#cHklBtMVVZE$ zy(i8|UQQD&9t08Tq!a0yrKvf8WZ@|I=A>|CdOBoaD!61SY;!8;y=f%eH1@7(^b^x~ zfO0BA!IZXbt9pm~nJwob29F9&LxmxYL$jch7w2gXn{P17#?i~hf@Gt8WaG)}B4Bkf zZnBJROW;y(A`=9G41&BCLGlbieYArY@1+ouY#mn&Mpa>${@H zkeRIw67N#BZF+51g7hFW?to*{vtR&fn35+1fhQI5!XZUT#(afWhI6RLY%KPFnXY_J z*Ny&mJ`}Fs^S998TbE=BaQ#!*T0oq|`ag}L>?);W5`e{o)=@vYa>yjZeF2%hBaLjJ9fx^xQ!QUvAIsvR#{qu{TTg#`YN zA6q8v??O0Ap(-~(V@ErrcHA+EK7!=m0In|`g<*74q=a0IM?d8mKyF2AGR0c40@zrQ zw;rUNW-LeFVY#WAe6dj06e%jx+$5YV!rCY$%oY9d(r#~r4Z+wb<^P|-IF%2ln&AxK zRjDt|r()7s#|R4zv4N*!QSrhlnnJP0tc6mBE>$DWxwN_%vwUDga}20BS&plF?aVrY zQ}RZ&^An-BQZ(6OAEjtYUHvf)jL<0V!TzsA#kfSGp?^-4;)~bvM__-|a8<03i^E8F z&Ik;1JwMWHmU^icLvNOw`f;JJ#kU2IcuC67pR}C?P$995$z^Qg3@C7PW3WGGPP=ej za^s9R8bFEkce3|)fcv}fMNqs>A%C>6n5JlPTL+l?9hF)0u%D(uDW;*{O3G#o*wg}_I)b;m#IgvS9(viFyy z1{XyJm%yTnJfcfN_rnsiX5))3IvFjxC}&Z3W;<`rb|}ntNtK2sW>KNwxFd=Kb3GG% zBNIbp$EI+pHdPYk4*r!@7$7>&pnKOwzwcCRPbuc;MnHZBR4&C^=%;ZnZVAS!sC}n! z&UHN+vUHu_{ua(dJ8la;1nAZJzt& zPojmcVyF8#uB4=!;5|c~I??1R)9IRP3s=QkLJDmH>y5yYaa+ae+B0OAFUDOE6GY zfZn&>AEN8R$i#mbQxcPB_KdS-2Z_^PaY&qbubd|Le6K|Y-LzMM_YaZ0fzK__&#gHZ zCukCkP;oiyMmYytIqkdh8xPAFXUgf_um$NjVWxuMYdIUToEclrN#ccr4ujD-XyhEh zcv+}-vlWri0?BA|$!ImpX!o;dtGIC4u(9}wFZ%YuS$^4~Q0bDq$0EPSlJwT1;wh;4 zaH($Ga<*Mf2Sdxz{uLlM(%YdJ+G%@7iC7>xH^O9fl%%eO4r&3D0~SK{#@>a?hCP^j z64Tunte9ntDwE$OXSaavtch5?m3PXrP!Bw*nAZd%8g0Q;Z?&tDprKd^XrAB4Z8@9{ z8p=igJBS~n_#byNJ?@Zx+(q@f?R5C$w*Xq`o`hr3 zPSBx^*rBZw)gl+w5+EM8DEl=0evQ276Wld|uE2}+kr&gd7YDN!t%(zrcK=r8+>*l=h4HHsKFDh&J-y^X9na!|x zS^&PrB}Xs+a|6K`#ETF4yPm%)q)M6!QciM7^YjM!7A-^-vjo`vfdoWP*U@9{$J~?H znm+o@T6EXg?Ni)OFy;H^lM@p@ICbbC5GXUhPhp7c{nYrxdLy4BT-h~f9KVprurG(> z`g_2X2?rI0$v?jOu>1+ll2~bTsRLd@L-IT(?K=tPOb2JfCtKl+fo6^|iBoBqHUCAyY5^haG8c4a1b4 zo$#kN0&$DC<8Xvnfkz11RIeK*UW}7oH)Xu&pLucn zYE{;?+?kag{$aYhf+Gh37$wEAB$2r&Xtn6EHh9`xHxB}bOGA%Rrf*jpxaN*)7RDN~ zqi88Ojs{* z^{>$XXji$uEOdSZAsDX$41AN?8|{aI#QxQIt@k7Aq(%${_l0-r>0^d?3JneO^PrHF zM;~H$+0~7#UMlxuvcDp&EueDw-T<`mwZGtj;jjF0m|()L^lPK}P?28YY~0iPo^(1N<@ceBlq9eL5BiMhR=r=svlG4#Bx*E6W;Wdh?3|> zDX(P$!dv%n7u^4zI;IgCX)Sd9WOKsXopAmNmcDX!;c~iSpq$mMoN1$+7N&NzqHp1- zAe}Zr{1Eq4d00V-!^S;{P|K-k-E1VlBU+6k$lv(*&zq&7T+Fv%A+q?2AAiH6MdRwQ zX?>DGHCM3R0srf*!sLOW+Cp<|VXkqYB|Jj5`pP=txJSxg*ubv<=**rMu@2%B(?ma~ zYv4?au}*+aP|bdiJ|^k#r9&lC9KLirB(C$lBQkSn&&CQ{$6~6uWt5m>M`Qt#IH;x56b9>M>3#=7uYlSKXf*n zuIQ`O2udBQBWDKayLrCSH+aV2c3n~j42CvHhEDjTXpmo<7k0;Hl+Jb1gwa+$r){u4 z9y=Zoz2^K(_2?nMc*T3gdAF_&m{Tjc!$UUrM@8v zWH{}DL6q2HoX60}rd)%9R_*HAA-V&;1K8`St#`O(vQK3a%tU)iSq1+!oC-0-y(Ncg zeBKlLcQ}e|Ds<43a-`_RulnQSBbuFdM0njQ%@I4=D&SJ?BBeu(U2MeL7kM#mbwK@l z@=REEw|8Mi81O7RYi!&-I{a@ZsPR`zh5udF&Ux_ng`*8?lE>#tVTF`asXAZDImu)t NL1cV<8hV;!{|{1n3#kAA