From 20a5a1707a0069d6fd9637125ae239610d8625c0 Mon Sep 17 00:00:00 2001 From: Orestis <orestis.malaspinas@pm.me> Date: Mon, 22 Nov 2021 22:44:54 +0100 Subject: [PATCH] made stack sort compile --- lessons/tris/figures/stack_sort_expl.pdf | Bin 0 -> 22896 bytes lessons/tris/stack_sort.tex | 7 ++++--- 2 files changed, 4 insertions(+), 3 deletions(-) create mode 100644 lessons/tris/figures/stack_sort_expl.pdf diff --git a/lessons/tris/figures/stack_sort_expl.pdf b/lessons/tris/figures/stack_sort_expl.pdf new file mode 100644 index 0000000000000000000000000000000000000000..9f1aa3011f13939d66334e55e38b9bb77f0defb8 GIT binary patch literal 22896 zcmY!laB<T$)HCH$-THRjZ!QxB1BLvgEG`=x1%02?y!4U`1ycnBg&-~k1qFS#%$$<c zA_aZ7oWzn;m(=9^lvFM|JFeoAqSVA(u8KKRYrWU0T3-&ecP~_Pn3(zew6cTKB1RKI z-Yp9?78Xl8G{1bj_0inl2lji<e;2NvWNrMH!@cG0(~h^<bN~Mizx`+by}tF=?N9%Y z3H$W#@cy5_uK!Q{`|JJx>d5-H$FKjN`KI3b|8M!z^}o)?zh3|K^?tqEzrMcT_wV_2 zvGoxjo4#JRJhtTe$E)XmzW@7m|G(SU>;L@ve)|9B7dPy5E5G`C%N<{?`ul6<$+wTi z{+{ODb?f=vlvMi{>e{~?-6JpZSDosryAXPB-TB#HKfcI+`|H>9?CAFj`~S=P=X{Uv zSSbE)LG#`>?6z-G?O!D6|8|sjfBbJz?*F38w?2v+y==9AVXXh#aen1Z{$FQK*Ih`z zxMP3D?f8!76KT8cC!DSO*P2uHkpI`s({&fl$9-$A`?g8`OR>p2{afGk&2!(^E6$Gl z(QNm5ll+&N)Bi3wzvm5mtyu5x?rnctEjn`EJ!jvv(tpeE<lyV;`oET2+nL>8Tc5N4 z_BV01KgHa2^?5n=FLm{QJC=hiKYhCHLSo#vW;t%_f8uR_n(d5zH;D!FeTp}EI=`e? z<lln%i$Ac-%C_3Sc&YKnF<ia)pZT{x&F9LTzj<DFeaOE{kE{MdY2c6Mb=`;LOJX;@ zs!zUV|6<pN<JXdI{I8$%itGF2cYTNCOUgz5E!e&I1N&W&N$*nb{6Ds<{=(h7Yj!Vp zY5Z|SHObrTUw+RY_E_<IH>1wfc)U8b=>O~e^|{B_|NVC>>UXKb?|b{d)oT2ldvf3V zgqZ#3wpk`ms=n{JEmy}efB(9z^?T<S?l<B-!QC^Db>GjQTYZoH%-)@!uJh!}vN^lo z20fYOdOrTO>JzK73AZb)e=;4uXCcY`vT#z~^O+}$fA#98pRw9}a{1Txx;4FeZ*#v- zs^UIdU;8&Q>;K=lTXwtOByj&WT%dL>{`XGH<hsN&-!?EUUR=BRz^+BC*Vk{&KQv?g z1ig&MOttSW9eHc9Kh5>F;FH&@zuuhktS5iU1NA`7l7mmqJe#w-@IXhF+@BZozt8#~ zmlk^S`tN_QrKX=?Z<*S|e5Hz`)J*aF&B*Hcyn8NgJ@w-I`h8nnS-L(c%e?LJmi#>P z=9OGq54qc%LYFQbU;p_S_eEjtDmTkFtDEQVsJnY<_wJ6Iv@gHC`hAYwoV$_Zd79wQ zS8p2Dy3SSTIR3D7*%6+)L(-1N4o!<!x+W3xa!2ufhkLhrAISYvuKFt4<6M>U?dPH^ z^S>L;FxqzRy64Y&gI~X=C~Lkua!yF*NA_gJUForg|9-1}-Sw=aVcubWsZHOxj-@pT z^;jO6ER}Qe)b(@cw^kb$2}UkS>R<|*?|JT|`N_vQD(^Mzb@Z;@{_)o{>4Mm$&!1;} z`}Le#iCgjW{AVWiKUW$4_g&(Xov8C<!6WOh+#0_xT$?kcDtOA@@1fdUOBLsCIC1>D z_V>%Dn%*q`+aq2ebnlnjzNB-WZ+Grp_<SjMP-}Bz;WO^Azek?<XJxxDnv<|SUuoyR z*DLM&uQlDN`?}FHGx5zEuez?TrXoeHV@H}6XM9o%V%-|<QsDLE$I<ier?CHU3-)v2 zGyFGsPq`w$!1EhZDjM&UtBMEweX~Tt-LETQPt(T01^bMd#aN%LIq4)gJAS6gs}p&7 zf9`zE_E^5n@~PTZ`EZ`!bC%!g)e^h>ZOv^V*1naiQ$-X{_!U{i%{-Q19<kF~t9zI1 zj~kCnPRFl(&h&W4r^jx$ZqJ>!RQ$qjAKzQ8p4);`zU<n%$E5Vc?RSc{2m3r#bZ%=G z^S$g|7ChZ8<JRfdC6i<|doSNl_dh2X@3UZP+EbTucIVK`3!NA*TXs%<eC5f@l}+n| zO<wJqYczl9##pwz;|C_#xG5gLxO9iXiUx5$RxRuM+UuvU6Z+J8?c>v5pI<)e(zML3 zTch;PBsu4F;fdQfr(d5_T5ZFpyz}XH|J_CNetv&#cOi6lPmjOc36b>aUqjnx9jh^F z>sWJcy6>;Zw#0Bn%dPXve7?0l-gY`>xzE|QZI?Z##c$QrDxNMS@K!_7`b(2nXYn<~ z!y3K$Z>l<YU88h*!}nyy|G8kXiht&j3u?8S56;XlKg1Jtf6rcVo5U5arH%<_=DsuG zUY{^y(Y&6od{_VXzPoRJUBF8}QjmY`hg1HO3SU_($~jvfSTWmI@$0XsUnQAl={{b& z+(R}`UN&p4;@AId$-%jnp+}giWXmPKJp6Sjq&VL7)~};%e-D@6Yd8MTruU>)_0zKB zzm1MD@wqVdcNeofKYCwJr8_wH#`|0MzZslV-G7g(qq*()`ia`pwf`qq*XiG#a`4R@ z*>B6r=WaaoqwLrpowSU^fIPLEv#)T^y<n+2wW@L1&4zx9(AP25XD=xkOP_R}%e?BN z=l8-D>l>&0M|B_WP%RRl>C<C5-68AgL#Kv4ZF_v5y?7E)eDDXKTl#$UwjZ-M|62G~ zY=W!&*VxbwgI{v5_^#SIExt45Wad@Bna#Id&E@<zFn)H8a5}$!71Qisx%~Tc9$mjC zw!iFug!MFq<#Nj}dMU5Wy({1Q|FhknV5PP-jaO`ZI%nj4)}7jP+>HI(oh5-EJ}=Yh zeRqYsB%VL{OqMTq!Ip|&bJPO2aIw8%b$h>j#`3<eJ9JJa>|HjY`Hu8SO}z`VHk)m^ zld>Q%cxg=1sf{f!W*k-d_<UPe&YYOLjw<>WB`){JI3znC`Eq^D&#Q-;6N9%El%$8A zyM0%7{d28<a>u_}9nsqSLs8q^LM8aS<;@btXFOd^rX_`*yS7B?WnTWYw%p@Z&hoCa zo?cPcN)t`puW9Yr`1SvW#qaa-xK4OWZ*Z<X_dfSs$m#D_)E7=ZD|%<TuG@l1TM932 zwXb>qooS)f+0Ct@hi~<7JHffxRpMNz`nfeSHnZ#6R<Yf^WMfqIIHD%KYSqM_=WiS- zcL{HlIm^c8Y`Q<KnVr|nQ@WzUVY9Gr9-rQHi^ZSLXMH(l`SkV)->Ew;TE`yGzi|C+ zn&=ZrGj^x?-M(>83LkEmy{u=$v(^uG&8J09vDI!p{XS+wQ`%}Pt*&tCW<P`Y9p4^a ztDK}JpYv>CemUcP|EUhT2CNyvR~dIdcyi3HmNhxNJn=Y7R8D~BD!GHdlI!x9JlorJ zaMwMnwapPl;dd_f-*LZ@tM~e}{(rI6aw=CpXj@3fu797f#waIPbcK8WN!!<YR}DiA zwXLn~!^~$ay%aj5UqWc=3dg1GnX5PR{#LqU%;Cy%w_@2+A=a{(kG5KZfwzK7HynSO z8F^Ect*Y+fpA8#@{CR^HmtRj4V7%IM;ZeoLwedSr1lp>K?o3NOyR<rhbw>R4EivDE zmQ<`P`gFdyN^f0fix{t-az4*|=hfa;?8%{5mu^1x)u$rQ_3NLwzGvN18#5<6y8ErY zwDDzD=$adX>o!PiO@6v7^&`{j-M=bo<lmj_4xHV?Ja2*2R?l}?TW&-%`yGDd_NMh! z%*_=Kb)H(?UEv!PW-I;g&Fg8u%C42h)Ecg4tMb2Xe0){h{?1D&U$jr&5?FqbCGp0g zTT}19^-i6(|EQzj>a;16ri+g*bG1I2CcApushnGlN2?@uI?r|7n8}`EcY8}J-|EsO zl9DA`y2M;FGg6OsJ#5~UAh6iX{>G%h*-r%Ba)WM}Y|hM|KYNl%cCoBh#PNe4Mb<uP z(OmlYLakb$*KxnAkA7KROu8~>;jf<-HS#%ig+ZJ4t9P${{3Unm=EBEWMFvSL8**nk z{<Yq@aoYNXlDjtS$=l~@d)zv?^4-<z#?13m&Lza=e=AViRA;Amiz7PA@6)cU$LIa! zx^$#XTQogqQ`kSgb6TalcLYCjs{7TqfUDBOrp?t;Zq0(}vtK3YDGE8ixw7$f+Z@f) z$=~-zo|&l0w0PyZ<whO6{uifpDxUh(u{XNppGxlW$!D#1g$F(_3HKB@rWkds<&Nj& z>8B!c-v6}jdh^XOa}nRtlLaqMD_z?^z4&ov<9e=hH$VL?Ikw%nCUAy?MAU>>v3;Mn zPQGPew@uBaP0sYhtb$3qCbWN>eaZMr*{N9tM(Zvn`*K9(UR_fgut~}1%bTKrsKQqw zYZ%t;QJ8c8+O$)XPGm&$Nv$nT3j4vMUNe*T^=l8Qw=qvEoL=1Qy_9?D;$)lBOcmpQ zM_yj~__XeX`TPl%?N=Wxc@x6HZMUa}cT)WA?biSE<~Ms4ToP-^6j{2_@XR*38ooaw ztQirez2ZwA%M|TUy`7|RG?ypHw)|$B<@17bOAkF_U3O&7F12~aw@#kp{8z;GO~d6% zo)!PD^pATR4vMN>%MRw8Q_Q%Fn^SRq%4J_M%Qqf9$847ehpiCt3wtP(uII5Xcghp) zcfWpLxPMX6>D0I5zSgO%3;3TDZ@Lz_b9>J#nZ)_$KZoCPn(g+^X3PGs-(x+cSeMVT zx_M5ZyLuM?`rD$P-@3=S%-gjn^y8jCi9Si|xAV_6<ol7>-E(x7*uwkqo>mHtB8t^s z-|qhVd8%h}{NB)nEkci~-q~EQi(D&a{m~-XxzVZamzAUX!I%5&>+MUXUV1s1Lv!D> z3~&7nfyX}Xuv%Sk)c^K6fk{_ye!bEB{90y-<?`M;SC0Nz$Xus?eO+|#v--H$zhZ$` zCQq5`Td2SOS@h{g^>NaF!@t|F_x--}%ST@`xx4@Ogxw7l`u{nqHd*o+L(2Zm|2u!J zR95GEv1Wor{G$fHplwO!*J7@>CauwXGokf=rRmN8!9V9Nd3&j=A%6D!x)0xZj|=BT zFI{%?|DJ*uE83^e{dM$CpkJNxS?1EVRUw(Hz29uj+@0fg=GJM;$^Y)vDl$|X{&t;y zp(^HM`p11H^FKu0ZEh>wXSR0zk2yacJiEgEw{V5BvwY^IGC#KO@3QXM6g%CwvpD)P z?7YCQANMY;+$#L6@@`REN>6pDeeU$+XD;0vP1&YsC#r4tVKI7f=1jk{t;2mzE(eKK zjI)a>)OwUAY**Z;wQa+*8Gb@t7fy&vd~?e)jd8wXxr2LxhH`uFOrskP0?!M=(<k}H zddnTF3~yZ@T=o8YQT%?PH;LcUr*ppF&@SEWe)HhHmzw@;p#s~KUgkZVxX$`Pu!eeN z8Dn<Bk$17*45rSht?9ZHa?ISTqtB8h!`L!d=KF1ngbdyMuOI&Hx%&J2rS<9u7RIxt zG8rBA@erTWSu~C1B*SVY-w$(nOkb8Coz=j%f%ChYW}ACcUqkRiwZB!5d=GdwOm>ar zELt>&$8x6G&IG?-Us>ihC@W09qQtt$;!Vq(CqEng4hYw%D*E3zrk(7cq{CAE$<C~J z&%2s0_uuo_bDrvd{f^6lF;+k$MTEnvfTwwqr9i{(MFAhKTGooC?>TYGV#<mc41o^e zDqI$vU7IE(cKdr2?>ClMdY`qI$>?yPQSG|qi|Rc`-9lWr?86l_bDR$?X_zOa*%S6o z%yB8paewRg>UvA>v(DHwVd4T!kxyK{CuJ;!jv8~$VJgbrc2%vUAvA7@upMg(+X|Mo z#}{}fNxHSZm(aRxF?qMPhw2j}+17ia%PzfV_gi{jbOn>u1g*d80z@xZSVTX1&J)IY z>w?xn!yR7FOy)hm*A%f)HuHk$Mx&{oZEG6N%$Qmyyk(Mk-0#{K=N5{t+%R>4Xyhcx zU=cARqY~CFxmuhhtaEx|8Rs6<_R{~VEV<vw>S4HtI0Lt3U&6$wR37hzvu!6j>b#iK zlf+mX$Hpx^y)2(?(}w!eB&R>kW-8v#3O>J#-uF5|EI{%sQ`8?<=gkS<(k-|%Sfw}@ zxJt%1W^nes`nKC4YSH%+(XUC#pAFx~ChBIm9om|4*k~Q=7OQRFy41I@&gscztbHl> zb%8`m!RbYtKXo#2_MIwc+HvH^8#Q;P!jDHS*-aB;ZoFeEVpLxoqp^pvI8tcw?~Sj8 zUpV<W?F!f?bj4L#QCoz0_nz&cTLPMP_cWDD<~L0L=&+|p{YmPc#JFS9FH&s+^;ftw z?$zl`_WH+J!>Fzp@1XXA`^3%%McNHrAs<dxEQp^|_M^M_hM3>lKmmg##!PBe#xMVV zY-^O{7dTU~AYo3~oUVdt4V!wnS|sy5W_)Zo)YH@&$#vN7lf&U2cA2z44egcLG7tFk zJ7#=j>y*r&G2<h{(H?fKG@C@j$Bo^R{0V0?PRw}f>KESXlX0dZA^DiJMVie8!{!eX zcmJv6Eclr?!SDS?wh5B?95VwIjJR)4`ue=0DdiZms<E8GOh@6JJIp^SX)C7wxXK=s z7P8{ZiHMo5`)6G=Qa+q2^s->)$F}K$fe}Kl&+~s`oLPDNjE#fw<HlK%{x{A%FuOj< z%cjBjF|Vbu+=ZEe8;rXRm~0Qb-@9P!|HJ3ld5(s(&b@Lb%8nTx;v8oy4qxcuSv1iq zRpP9Mg_P{irp1!{3cVMSq(!`p<szi=x1YQ%JtIxT<gC)$a}~4X8B8DZ1{%vvnDz0% zl^*kevka@!JXN*Ur2T1FUHMz5!IU*}vslL2Uu|n6<sZ!Y+PN-r{)bs#JJ&~QA4scJ z$O&`G5tH8{ZXab}_L@0m^S*^S*LXHZdaz$m^I*TV#(&A#Uk$g`++|c}xxI!pckz0U zjM-Zc<X&UH$7Wikkavw~r{FH9yld*u(o|ol8Ei}txp6kCz`W)-bNObm2WKZq@a>Jf zzrp-<<__hg{A=t#(rj}W7Uy&QOVeeLS?+X<iz!|4b>qQEd4)M!7Zm(BX)e-Nuw-|N zkG#X2ue_a`<*YQql$;Aw1mqLud~G}yDPJ&W>+3Z!lMDE*-KQvtPTaiDvFKXY$%&d% z4J^AiX=y#@JY9MGDa-K!%Z!#XiPfJPp6y94mU|$>eE&smTLO#CbJ_WySzd^=oSXh? zwN6~UoL7$4*0-FO7}Xb-d|P{{#36jnxqX5wHZM`)Uvlmj+to<<h`C!EO2rc2L~mNO zBE0c+!^DqP3wSp)@83P=ZpHNcGA_k1k&<I?7F-hD!tCet)?+DG-tlbNtjCOZBDIU! zQ?@ONb2w;y?~QZd6#p-LtL8qi?l!UR(KzwZU{RpI`-e6B9Ot79ZT{pjetfW7S2FMd z=P~9_osTPjYaP*bmiwmbT-j9gcU!2z`77e0XD3Ux1=c>O{Lshpf^nvx?eDT<%a*JO zIB;r)+y%)i!dn(rH91G{Z{=F=bIi}|1<#wC+toLzTLk5{e^%M_#n<(F!?_P~mm1$I z-YL@NkgxT0`_XVtV18|NQq8wL!N&!;XY`lUHU3QL%X+Yup;jz4bp?OR5jmmKPe*=% z#Clh$u6(feL9Ivl9)A1D4E8JBoc`!^KJ=>K?&x>4(te@-D(|sRW4*@1wM_NjzA-es zdCU2?uus3v*!{zm7q;=gn{+<RuU-8^{sJch3+HK$1y5bCnT8|>9pPfrn7Es-%#m^8 zo%0btCM|4;iu|#NkCpo|PxLn{=kUD?j3qeEu1Q$1SJXt{m)YS)hxyx{1kb(5rPNUy zE#RnNtkN-`!{@@H__He(NI2@%G;e9mmrKgEUb<ji^?eoQL!XYYHBLV0xWL$|qok4j z?c1<FJ>n}F7B1jbd?M4%G4Zj)LRU*kl`Y%5gqUIzon|UqC>Er6t~()bBqYR9(#q9X zZ11JA;X;r^lUUI?y@G{%L-z>0p32~Cy)Hy;iRHZjMdxbm84DG7O+;i^Js<FLnjgs* zxg(&pF*R`g3B}yQLC3Z>w3m2jRcM^<U)cW0()ql|IZgTV3`!S79hY34{HoyJ_AW)I z-&!3Ub9$7L=Ck!=c=8+;WOZ+Fsd04@DqO%drQ_44*Ei>htV~$6fZ6xUJ;mZjU)ASj zycZ2%u~P05_`Jla>)XDYmYt$27bsm24c+pcOPgtKfor$Hu98W+PW|oFaXM?Xg=0%% z_l>T^Wx+m+V-Ey}?+mXHe9@)vv{m>(hN7}_&!TIE`<Ey6C`^}3SyECsE&8D3(rK@G zUivQ(l$tcbt=q&VvG+nKquHd5@BQDLzo&hR<NnD4<vR1ny%!vhSE}Xj3_l|HLjB2$ zzq^B<Dg2ntV;3_&a(b-t?hpI8)VI8IxDohy-T7+$lRuw4;<@rZ>_<bijZdHAYu(Tz zuf7H>JoxLiq`~Zx1m@Ecdv<G-&+RF`{QXwy<|Bzd)_G@Mp4&g?P?K}2glk@--^aGc zzEZ!AHq5VZ@w0g|CF#0)ATN{J!3T+dQ&wd6Ds6hLKYh~2uqN>Yfdx!!>_6yhAC2W! zjL&g@z5DN)s>2Hc{Z^}g)tWP#%_CNA-j29Wt+C73$o#2V`nBM*bs?X0N}EPd#_8QD z4pDrDUv8;R5WB0h`CaR-eY@nP-&(xdUv0MRLf-MU2aLor*99)!>6UM%bT0Fa>mH|X z?z?il8xyUQtsFDlqHY-dC|`aq_{RO8>vIa_rBpcP?4IwfRkW*eVe6r*+ZH}^GdWZD z@|)5BDY+Zno=14xv<fxNR(*D%K(~2z$<pUp_lu52=_;-<*F99z<s04?&XxZ(dd(zh z+tbqvO@8#%?Z`~`{2v|uhU@FiOzSAEh0PlI5kkp}`zn?e%B>PED_yl_-d0un?dO=a zzJB9a;nKz)!Zei$%)YWc-9hzfO{IgXk<tR86C5kR0*@;kmhQ7<(h_C+ko&QNEhNZ| zYeh=@)dsIHb>0;zrQaI7Rtk2NI-mA-Q2o}!9+I@))j{?3)o_C%2i1lD_VhQhhrH5d z4Vm=F&xT2Bq9Ehci1i`?oF$wquH05$5R`AZAShpT!K6u=3xc#1zG^Z~t*T}Td9{`; zL`j!%>KlLV6(aV9l3n3T8@%?~GHW#oGfs6_+Ti6@<*@Y2?^U8_8K?gEC=<~6wAewl zx{*EPQ@F;t6;~U)RvtR2!8rBAhXyZ4%ZW@{N7pa^H-|}U;V0DvLhgH6LKeliIH;bA zVF@u>>BTs;>NMljfCVfeOv<bwOfMOywtQ&tQn6hiv_d3c<#u-m)h$a|LKf95Yw!}; z$g$!`o*&~>3oXHblkKrgTB;i_G<d~1G^8s8JE+c;S?{yF!E5i;1~0d2hovD2GU0W1 zPRInDoR!5m)nR#q*OZGQ0i8htj8pd{3q>+%ZOj!6=(H7OoZ9oH!Ry~{wh*Jnuvt@2 zGfq9A!8o<bn{leclLjw|A3_0~Jt6^|DO@X9HnD^RvF0#Nt<q+k+Ows>>)+>>k7hAx z1*&;FsETzoc>UY4;M}F#tR>Ux(j8Q7<QS(~FlITZnk;7tnU$)uK&T7qx-~gmD~`;R zfLVOt#GkircFbB6Co^j$J_&MIde6&2bwYoG*F_8d6)Lw}k~KOViysLFbgt55(kh%2 z?4Zi!#J57ED~ef5)zvoTjXdMjNlJ2258WM9FK=_UR$vba(qhumbY@nYnN{{lFyQ2? z_l#3-+!F~n$@{CI_9rM=xjU#PXB<$e@(5R&&p7o!XM<NQ$V=dG`1U=FS!?O_=tiLc z%}~AYf5*R7IH-O};#`r!(?7rE{ImwIHECQcTy8OIX+C9~`a;>wLG@G*d&r_^+Kf|A zbT)YHo!a1K^4D^KkfdNhXA0K}7c2G<qhsX;a*R{Y+@JDS=Bl|^faaHpY#~N%Y#~OH zuiP`H$OLp+Eo2E<bm>EbS4e_fz)2166;D8;iCimOZ09j+E#3C6|JeUZ`8xg;DbEfv zYh66v+29q@4N}OzVhIobiYNZuI%_~_W!7?z6)vwu3)>u~HF%x+@u|UU&Ue9pmFD~_ zTuP@fYps-j$vD-gKGR`oL8QupN&kI3x^`N}olkdAEk0nHAS649W5toOrwv|OTyg;? zRbO68vt`oy`JSaAFh^;Dkkv=Q0M7gRj8m`pZfx*+<r?jvs;s+UlJ!lYfRkd%QUNF9 z{yqL~vtZH<rQU@q+fH=4gY)sE)mfY~L_VK*Ar)})jwSC3mv&7it(OOuG<c=8nJk#p zx0E%+=n|9G()m|kEN$?Tc_tFj`Dh-q*2>7M4PI%*CN-13IdiSJqWk3Hxmn_m1OrY= z>`HvfeW~_(m@SjmO5rz*Q_omsJE-PATbN(Z7V?RS>6VfHjg#&Us^47rRxD}GVw~#X z=CIUY|2YrFsYV;0tlP0zzSu#v{^!&CUW`*?c=tDb=2+qKRFHA1k9dZ|(g0DhfRo%Z z%dCPNR8RTvtvGUDdBG(6HH=d)y;fZ?Njzg&SCE4$p9|lLl)fmI5H5dTX04fKx5KaZ zXf6<P-^CKLXw8xauQzi1D^g~a#fKih-r)5zoh`)3S7l4a2bloPvkR}P+OmdxihNx4 zOn1Q~-BqRwf^L}bu1E><WY(G~YJEs_9pltJ2VSkK<60r&1~NSG@&TK)D>@e@NE&j( zg&MpJvZMkue_dnJy7{hyEo9TeYYkqCUQz)kT|FBj^*9cTUF&b~O1q|#GAYt@ah8MX z=FE%dgaR~kX0e5Qx_?zthjHqmWv&iO4U9lqGBZ-W9hMqo2?d<&oy8Jjv{;RC>L%an z-*ebQgbrSk@Vfg*p7SHeiWD!;$ErK){7N`iJoy#Lto5?UomuPVBQItx&6!MEOPRK1 zPGi#AsA;)C=&Up6ij;Zl*+M?O;y$6JHq$uBVX05b-!+U=b5^cooSM_`vsg7Sr^rF| z?RSxY&fe|@FTE$r-*Z$ssQ!O@q12ssMau5E>(6K~PIZdRa!{SEEEaHb%Tqz=d8!M7 zG)^mj%L5g4hvfn^&%RtYDS%09<^=1XJS$SF&)*MR!V>anp^0Q2_llHXL62S?S>@pT z@yMbJ61SBXOw#2tT`*}Klj(v<>p4vqOj^sSx?qwnr|E*AHJrL&ZptKG&gN5$Q*#_w zfQSsnsY#9+jFXc*Q%ZPOJSlcE2wAp4XF*Vg3FnHGEo>p1`mQy289p{$5ERAd<)9kP zo8_Py{UOs~X#{_k!_qIiYxP(|x>ysXj>-gRu4kXm{GM@Y#?K-L)w^Pw8@y(QoZkyd ztxau7s>%z5tZmps9?7|Ktw^aB6Aa*-11)YNwHc=#SOF<jI-lH1t7ZxD+Ry*jmObQA z$O*=&EBN=>ED-u_!lX5`Y+{4g!ksz`CjH;1J(F4M;Dc!mUTKB?pC5WVELEAeYmqMF z)SUNMU;pJ;(elW2!KA$hn6+lIENk%E_Ws-X@H7_()!X7%8@#5p3k96?vpIJoz=Lt> zB^8Ui-~Ab<?ogivshy8pO=Jl%3jed^ZI`=)YN}3UNw9;eoXM32uZxUw0h)jOc~_+H zEny2W`X0or)%rgZl#-YIj!|6@^kcqMz{x-Uy(g3ZEoTkk`X9`!)ylkzaq1bys|{WS z4yFr&B(!-~r2JdX7Gm`CYJ->J1F3+M_2OG5-wfkkAp#cu|5@f;-?9d;hmBT?*+Psu zuQqrYDw`~r^#5M1q5$L6E3CSVQxB<MY4A#$Yr0_4&pAQ?nl=|s$NZEEI9U_GyJE`R z3)}hs#l2g`*ZE}LE_2(7Q}4vO<%u!96th>6xPCM+_6_G!&3WHia<=a?{KPJ_@yVtz z>*PO?e+pNAa1EJwJ-q%-o~>$ywtcjYgi!V&`wqt=cllE9G@aWx_eZpY^uojWNyRSD zH#>aJ>`N@aG{N$mK*G7ZrH(r7cY7o@cQ$Juu6n;KU1il5u>iiMT#8fq?q-<yoU48D z@0udR=HDf<?4p(2*N$$}j^kLavb*+&x0xBo@j|Zy7N<{J&Tc4tx4A6%ty{<RtGUK& zPU$+xBuB)W9eh}Em8WfS&r)rMhhhSKbAMD`=4~$KW;tGeed4C&o~I73V<@Q6V688H zpS5Od+179NW*i#)I~*i`UJUbG<$liblgAI~ORNox=cp!zez>;Qq2Lymx@K}g*~cF; zEt@af-m$q9a=3K=R}F(X&I|4Mc1vzwlw$OpPld11e8*pz2$`o}dX64k`+k~s``<-9 z$1-2D9r4e7tfruF{PBdzF-aHL4j#-j(*IBy?k(M0nz8<51c%1++8l$p_SMooQx&A% zRxXyAVQi_ZT&%WNEaP02=D))mEzcDe_&o|>(2Eb^%4_z%c2x2cU$lDE#EF7dJCdUm ztzNGcy*f9;VAr}+okt=WC;M2;4eh&f>AbRX>6Ef12Ud$D8mqjT8yQ`<VNvO|)89F_ z_)S;t?%3ujySPF2xkXaC?aJ**Cwcm0{{P74J8tcmTGS!GV(x<%nIEfuI7vQ`xzKj( z;S$@rSiikL&YC)wt7TfqCza2+_r&J^)Cj)&k*c$o<oZs~`yo5|49|m;m#mhGi!bA9 zVGmzp)W*Jj2GfzvrS{X)jLj??W8OSpwr~2QiaBKp{lzjTCtLKGy0(?^CW`G~j5=sD zd9%6+|GSzri}P&mAI?-?;+<}D{YFUM4#}B<wtmtt)C?s=S$nh>S6zE@hjUeWcW~{r z8)5e+Dj#!tp<1glHRGF0+qZ^wH{=Rr?riqhZL~-I^4WPWB=2vYIe8_+yj<fmz0Nge zw_o)rIjgG$TKQR@P%kvOCbD1JVt#I@!!)MawD+CqZyn_K3cvQ4?^%8@LGzlsL_Fu4 z$1<1SJr1{O>$&$iA~<2Gav_(O+n*d?*_>`uSHHGD4{mMw@#kCDvJGbLe{*85tA{Q6 z{mnMf-te)_wU96KmFwp${xo-^y`3G~zk{mJZQn*01Q`EGkCydc{6qfEvvUjz9Qg_j z(~fM22yRuDSa9~5H5XG;PO8WR6DP6!KIW?I)fo$KPjtvN-XfIyLhOd>)`dIn&OYF< z;Cv4oSKGnHrpIXvmZ{nb8Lzkfxfl`LnSA5SJ7Y&f$J_55l)Wyz)7Db`z4CVBqVJ5( zd@%wiv>BV5_%19fw7Dj7U+{s#C3iOV%6zrG`!#1BerQrtc!>R@E~kRX7RQPyn=MYY zujl9qs5$K5^x#X2(5J*3Cf7pJZn*a-Z=1K?!((B(b6uW{%c(D&x%_4pU97rKWbR9z zlM!4iJwukA$29MZ>XCrQ*Ww-89KN?mGVNu{$fyjQ$6IjoN9W~0w<P1{d!ZG=?P@a} zT<=QSwHuT~=3oB(>DuYC%z~Wl78Y#Nj(BOmK5xBPIX<PQXZn-1cR%Dg#;=}NdU}~* zgu7Mh?`iEq9UNc8tdst<9qthO`|6@s<2#Q<F1L;q%B5xRn*a9bvyZ!Ld}d~DGupOx zecN?48^IU4j9pS6?n?$<NnorDKj@vauWgEX&aU?K-|@WLtQK}fZB~Aqmhm_AqR=+h zYZbTth(;%@xbAU6>B4rW?pbN~;*z9!)`-1OGJEXxLg~WV1Kj~{FV}u<-6C6)kW@W4 zS9{IHmHZuozp7PwCSFRC{xYjwTrjb-Z1o<-4*>;k8Sb|p$1b^BsMB4S#lI#n<m$H- z77U!ZS4_%x?*4z)z-pUe+rN#I(={*Vq|fOyfAf&J=*z#ziRK?gBD%d}d82HXKk_>M zvLa>W)0e`XJCu!tWd2XJXtULlnZf7mkbmp&a+dZjfs@NE&WXP2D&NUm#r#X6^hthc zgGldXk-7fL#{+ln70ObdldQp2a3;H{q#?}w>bfm4`?Pi4^eiqlI{TI`wRt2GQG4X1 zQpV>7Kd<{7KJPRyncX?~eS4Q<2tOlF@R2uj=FQ1}Df3`L?!$vZvmd{dEYy-{^UdP? zy=I^H_TG$A28Y+v_T1SXnJclkxFz-O#o523XBI^=U%6@(zOG<v-t5QUdY|2&(#EoO z+8xWb;Gn)Q;_jm2UG7oS7{zLy$yOA+v1`g$_AvU>oo8&xp+BWp`R9MWwWE|pqR#%3 z^tw$^A_s5sPD^slSsX8Napj?m6-&=->~>hrzr@WZQ+JME;G}j%t0P8l?)^A?byr~t zb2syX)y5M~-8D4&VqS1>>00Bvbw6@83uQg8czih1dSbcTnZ1Y8+s^EDo*Ok=)B3Tr z=zpWtn^xZ3)hKso64T*Ib{@_xZ{Dq#`=<TAUr_L^&600-$0trcUf#H^P4eyTcXcZy z-?I4_7~k6cu5zcOtM2JQAqysvKx?bao8q^ZusUzu_w8$n<eS#AEys^dyz($$h3ARS z@4oLnGU40Z@<|#hwjV^68SOf-_V2cs=^j_oJX`gqUFlw-`gPfA)wk^r6VFUy6574& za>O>9xq6M$mZ=55DlHAZ<=Sy)N?B{y?1gW-IQW9OG(J_TMc=x7PU5}Lyn8X`%kt&L zChnFMyJQkGC(B~F(_vn5^I5_Un~fi78ef@Zb^MBb-YoVPD>G|Uq8*x^aoOj_L@Lzj zZ?gQ=Htk}jvmNX4W<S%to8I4+6I*#_)}oCQCw(gKD{(XS2~aA&|KL)klf%}#d?!oh z3zj4-c(KI#bdw)z`q!v9PPSI7-lpcHdflZ5#1b@K{$px8C1c!k`2E6JLfcjxwA-Io z?;+y-MpJ&B=sTv)ETLrznTcmbA6bb_WaHB6n(w(m<AVExMbnNH*uIf*c1!K6E%U#j zA^NjjP49EUx$e8?-q$F;d66B@A+0WUs8iW!!|B+nXbxkU#3*)Yog3E<HcYzBl_Y#C z;K()sHy)<gk^)7ZTW^%l_$(?_oMRcm(QKw-JoSp)YpGZc=12F8`!p=}36%Bewg_%N z(C4yHuQBfV#O15KdxZs5`PjEyc2ROVaO+f%gv7@!yM9h<7x{5^>4zn6moZM?^}}O< zr`X%HW@+z<441YmPuwTvmz?|dx&U{o=^r(f-~xs-+8L|Za^jkT8}|v%>ndRkX<Yo_ zgT^J{C0ZGWLoAOwhCZ=a)iwFogguUItC{wy$AmIRY-d<)<US$v!3nQe{(C1qZfIUu z+_3t?%s4NT_IN{<&@_&Hr!0LL!WLX_*^snX=m=Md|BaeGiB}U1_GX07dGg`BXLBU0 zd!lN>oyIMX%&%?gu`4Oe-@kpw!UKlcr2@s9by!3#+#91)e;V!ywMnm7e8}?YV_U~{ z4%?e{UV5duh%w8-%}9+k;VElbtKFFk`rk4c)=xWP@FcW=rRr$7${SJkRSoMk^mj)Y zXbL6!FMUw*VEsL77UB2TRJU56KfZQ*_|@OGdUsvJ-v6+ut&gAk{PC8@!rDpS*S!^O zKm6}%qaEMffB^Pi7B%JZF-iujm}_r{rk5{hT<({kbD=6QKFaXjBM13iPgndi-f)R? zLTgwI>%^-aPrlt$m}(`gp`G>i-{+0i8lG{xey^OZ(SP^c(>wLwlwR3apU!QYbL-R$ zr?Tiff1WFEGs&36@%*pWyUpQO?>>M0ft$Z%e*a<f_!rXh%hx`=Qf;@v?&Q7Cg+E{Q z-}_uRHJj1CzWkKThL+VoW(s9+$Q<O4=Flp*wUm!*+8=eB&tiK^nD(u6^Z(9p?%j$6 z)2iiev6*5`T>W>ezHpf{#9uV7bz4w$EKP7lQ*rj0Cg+RFOrnR(pOiQAEtFH&FR7fk zE<%ja>CB_e`}y2Y?K@#u!*gCw?W}^uY_|nW$#<8;y-N4*V>qqLB5JXG(aDueYwQDx zgTAkl5c~Pe&tb>Est5_0PQL<)JCW+~1{HD5eRoq|`@LBAFjeQ*l<*yqUsgVlG21sg zt~y3RBj1V9QS#M`yIpzN4X*Qc7w<bM_+nat$LhOJ+L$u5n%-_x+-v6U*L`vS7pWUh zWReoq+TTq)c7Rp)*tCDYoZ1#F*T20i(4l<6L@9+muS(uoxlF&WzSvZ-s?zAr$r{nV z6ZcbZ@86=waCO!C?7G`)I^qwePQ1PC@=iXR_V~hJ{TESh^ERAW%Y8fAYS#sxC6+sO zNf@=Q`Qj)w?d>G~7nZFp>I{b$<p0_|$Lobx^0o7NE~`o{^2_g-=^C!qnJla4;2n|4 zs;zQn+teF}C#g?LZ(M(7;r+r_rMZquoBYaT6s{#-`*r8NM&Vi?v6JElo-OnbNqkwk z?_^KXQ-{@k*;*@>S21?&GCa5Jp|9EggSv?pVP8AKi+2RF@BZhZ+Id3Y`lBqSvkB{S zl=%$qtBE!h*lw0$@|<qu*K|fw-E(@+<WnbaN*r7zss3^9oI)Xv9dinWO3qqv`a$r{ z-t=Rh1#*(=AQcBsN~&)UH1^ATJhM<}j{7ms)LPeLo<%{&JTGWIR@wLIgoWf9=ieIX zb86(JA21Y)*(<OrKTZi~WL_hw&bn!)k>8|?#m7!QVBy=4GKXcRvEQTB{XLTtp7u-* zG(5~`XYAJ$Y~<H8(b#XBY5E+NER$5QqO>SuzcexFKx4m8#j1~0Zci}sYtoZcFWxS} z^#SCJS%pG3E=($%^x)!@!b!|AMt*613mLqRc}}o=tnvcnnNt>=M(J~SZW;TrX$Lfz zK2~`tC#mkNXUw%BZ4OJ(s+2h@CdR3ASY##DJFoaisyi<4naq;6tY@;LHP;2pJ|-U- zN5*xgk5yjGDx4&7twY^kB<GX`r^yrL$0`T<Eg!2qJgxaS<w74*P0Ab=<@7l$vBrKv zFJ>C~33<;l^3&RTrT<CK<R!t!JTIv}R<YE4ta5v*k)PPEo5GflRjkz0=dk=eVd1%? z=#+(~#^Vzfl3Nxt2p<n<$UbM`>63HH!qcJhq($e=`Nn=iE%S{1v>t04`LP`jXi$Be z@+EEo!}UpplbR+O`3Z%@82L?_Y~&}DFxS{G$ih3$Y|-N2W1b-5q{(9@)*W`64cOeD zTBpwG`DiHe;MWO@la9WU>Nnp_DxB2ua7y8%L$i(j*bWCayf%Kk#9_AbW0h3x)Hzq& zuJlZPpDU^>BB|af{H15IBP%G-ax{~B7ctD2RBsm6IFNqK^HG5Jv6Dv(RsWx{@U+NI znWG|LYUJ0nMpB)#y|-s_n@ri>_azG$?i=}ilGOyqiBXmDVutyil0P3!DV&t=DXHGf z*Kkkyu}Zw4r21p&My55A>a`NP7K5!w);KV$@YBr+^QGBE9vClHI5<)D@si@I1q|88 zJTHNan^ZVy!;dM2lLWp^DcltKZC(pVyXW$r$urGF63$w9TBXlXS)4M*q@?c2EDpZ~ z4Dyodo#B4JimOxR<V2sfxVddsp-{pZ_hX)i)7=z`?4}s`30;!XWctxNsZeOnltLr7 zz`%y{J(DYEtbJ*pGN)!bzhmFEp2-iM^h|D$c-AvHw>o8x3YSUx92F-}DvCAsYnp5f zPN63?B-J_Bo!PmmBhyDxy>si8p2<fduk}pMT`j53dS{l*>$jlfJEu^n)Jsx*@wt89 zcU^@@PCfVV|Kg53lN{5>Dv7IAAFBv1vV5#^TlVCp4)0o((_O26-FqEo?ALToQvK)M zNrgi9&q}Iy+VrMG9yxDk<hQT>oB71XiEDZ<IGwkU3^@P_C?>z+W1dDu$2`+nI5wor zF{xObI!6VRQ2A#W`3dQR2(f4*KOu|RMt)iblg0W34!DCAuS}bx(q)=DN9D`rlsP=- z7Ah<|VIdiE=>OH8$qS0XX*#7q=KuE-7B{2LTHL&4{CLR%i}xXqCKeh=^!?91-!u8a zlAg&b!N)vnzD_I*io7Rn`8Xv&F*#pSow4(@q`Kqtp2;)AgzwFhRG%s=souHSTT;E# zPghbs@I5H!p0n`05qZ*r)9;*x=Zcb3U<*_(?y`KGlCAnU1!VlpWaUrO3MX;AoKiT6 z;lY%`NtgGf%sC^|407PwsXdd|+8X-_ox0=IIH}M`qVZpK+MFlWLB~9u^^UvzRD7Hg zn&glSQsFSm$dBpwOk=-o|IS!&zDYl6!RdAm#5ilQvg6K%MQ<k-PU@LdDD+iJQvKiw zN%iRdp2<IcPb}Q@bylHJ$vKNouj@UNU09#@OlFhj3#?3=qq592bq>p1BR{UlH5uBH z>Wgo(G1R2ZaoOs9?Bq32;dH)da^U%fOV@iQuf5tc`A^<S3(t~bvqgJT=BPOBNSjmh z|5ZK{lk#=BjZ5aG7_MLd`Nu(XTF>N}i4XR>AM<pwR(`CK*rWMaC9uczu}XyH<CNE? zk5ex2{d=7+seaN+Qk~PwS5m!mnvSG;bFsz}ozyudE|KqML!9fmD{T(XwC4YF7C+b@ zXY40r9&O~eZC=?cizLm*D%ShKA^2}^>Kqj}i_|$Ppn`bGg(*FgXC_|&*=<mC%=3cj z<0Xy3i;pNjPBCEm_5F;+Ov`UK=M)C9{#)2mebz$L<Kp@)Kkm+#RG%x{egBByllYSs zo)Ky1EI7}kp0nVzN}bcvVr%3lGznBE^z}^cyfQUEDdFL5c}aCpu3=?=)$=~#$ENMq zdnO-YUfwe~BMnp=owD$}l6%U6^Vh_}O>fWlOs>%|@)P2lW90Wq7#apW3z+`RlT`mK zApPLI?c*o2Qye1ZNvhwDgJc#^WtUqIDW-XDJ*@j}{8+_O^|6YD<>Qpw*<eqlJkvOp zQlBzMMfvGuP)XiYZ0`l~`N9JG$8Wg4gH&D9PMyQzw<T?k3J0i$YA{Zn!(;TIuD@q; z?s`e}kDy{>>Wxh+uJ=s7)wZ<fwee$>wk2tE&U|`YU|)akVcpE)Q^$+Jb}b3hH}ZSs zu}t&h8E_ImX?Ipqz4>9m{=I2)o@fUh^W+OTY2jIUQd0f%jc&J!^A<nvDRynvl~iY} zI19--EWFctCNnkqNUC%CgNm4+I+E&)8D}Kb9jEt9PMOj(c}?a?3s0AVQx={q8`9>a zXlEVs+z@okbBl8N9F=REQ|71`fofXi^f^6I?043u&B>`gYq7GVaN74-g+@_w4L4^M z3h`=6s^9!DrBEpL>j?|VP~IK!XDvG4KLMrLa~3!I+>d!OEet;9dEtD|<oEYQJ6^6` z$)(7*;&ecLS#ZGH55@JjRyphK7N{-Y+UD<ksOr2D%L`5GDI4xMmb1T+I4<CL<VWqx zb%zeEj|lT_ZsspNS@JmX((Je4$)!~n_!IYM%kOO8y}IMh{wp`dk9>VwdPAl~OMqFs zuu?T;x}qW9)YA_Ht{cSfnz?&{ykJU0@>IUoy%iISOOLca__`>6i|S<N#eS&=RqST- zMNO}8J(#g&?)pO$`R<jxRbJ0@x3qU*W%G*nVly``f3qk+E^_JB>lV9|EK|>4czaWG z;d!&OKUaQH(&R`js+<^Y>~%73=F*5I3sj?at&%+^prJcmVV8;Gma-K~r`>gy4)*oz zdU$Zd1y9+o>C;%2I6EIKywIr8^n2BTr^}9qMXpPD-Ff#~%seN3t^ZS8w2MydI=82B zL3@*RvslG!rkGe+qc0oY@oMGO{t%kT+>~%6o%=4EVRq8iSq#(v{V~|ycxz9Jw|9~V z(~Zoy7Dao{^6p(8Iqz?AE%#J7Sh3>eyy-{%Sd>D`Uf;8PYHZE8%+alIZJJARk9ow^ z!YgIVqh7qXRWh=h?>KLU^o10rzh-jg&5OUgA2ol^%p`cQ-XS~3qD@P_-L-6+Lwmy8 z$0dCC7DlSiR{5$_n`?h*PU-q1w?xwJ9xt)g30PFja%%NWmh`JCmP^vUNONeFb2QDZ z>^Zjd;H;&So8qPl%~>B<r9Aoiu_w_kv!<=em^CvbHgcs^yQf|M9qwriB0R_Hu2mZ^ zSTFNY=>En9x8K^VJy!eux77mH=)Pc4hmW~C3a%+zZfPi!Irl^C*u-SPZ-#$u?Uqb< zcxIPw@Qsdu&PjWhRqrS$D=W9y^_A1Id$HI4$CA_KT4!_Lxn_S$M?9l|@5up&tE^G_ z4TsBrx*nT#cD=|crM&p?{UsWwtDpZky6;S)og|yhp1(=*8FBx<%!x?eaB7-xHcvnQ z`RrXCPghKQT~d4BJ?543QQZp)`DtoVo0C%c*uOpdb~33V+ek-hzREGF!_n(*E}HXr z<;FRSwg33d$&PvC?5tY3Y`I{(dGFB-RkQs}XO@^caO6D=l8-369u}Ole)jXEqlXu~ z-K6vCaKFm|>1V}};rqLFT(9k@s!_Rg?MLODrGK@!zXsjk-QbYn$A3aOz`o$kHhV3; zTY10bm*{+y*(}7pAp7I|{&=<xY5cNfCtWx1mN;Bc*Lm=bd(*Vbf3!}VX*TF`cX>D| z{6?>s=l@O9B?K1)UrBp;VP3MK&#lL-M#WnvzG7CDie>+Fr%L4w%i&}(FQ;O+VA+)} z-%FN!>ROQ6zop<!XYBgvhUa~*pAKjHq<nnQvK!XAnk!2}zt3o!6=zd8V`l9oF-yU9 z;=4{wQdqT{VcJpU%}Qc(Up<jAxD`-0b1`S{g}Xu`>jTwxwXMti#l@|bq+ws6lQEem z^YX`6MNxAkn?7;(y{Rsq5L7qq#r_#*?>ePNOuWlFn{#WU>77eY8H~PMn|?A$qr)|& z_|8*lcg~BwH<KP3rk+XK7CGts3w!5%tnN#zzgyH~)|3ffn_K&Q<3EcPnv>*j=Q3`4 z7h8QOZ*wGPH{S|g<F<u=xY}=9KRMyMzp&$vSI*>RR^7QP7XG_8n~OEY@$jLnyLHLu z*Gwy#bd{?wLU+f%n^~EkLN`b4b}~Dg)0lTMCox5*kL%+x{Y`muZF}!q*aj`r*uLOs ziD=&{zkUw>%dTzr(zk5fA$Rd)Q}Qxxi>zG-RvgMJ=XMs*y}D_tglY<R#?{QkU2XRg zc`l0zPB>D+d!9ivxu*I+rFraj_Vg`E-|m*F82N<rY};DT(YJQiy5&=RPCBL>5Zah~ zzpP(i&7|Zx6XqOo>=igXA<A)mSM$LS;$F(iGj%R3KBBlW$BgqALzF&Omed~K&6+FO zd45R=iVJ?(FvVz6IlsYzeanT?EfU|jCwi=XsletwZClODi?+`cGcup2dQQ7w@=G+% zg+b-whIJ=P@`YcVwA}OA!81?gNbvrt8{MWb*a&c5%w=g>%sgkF(jDW?yY9KL98c;q z$h~#V_8G@y{zqG*T^MU6j~|**@mqdM`rX@Q-%mej-93E*|EskAt1m;3oSr45^kUI3 zwP^xZFDD%c^2xtCHOO@FqO9qXO0Udx{B~W>@#JAPVn5zzUmn-hGyC#=5sA|dYffeu zd0#vAB;v@*+j5&3rUk4Ku<o6<^hx6P-mR0BDtCz)?A0<#+u}I0`EkIryUs~j+m62d zVsg(YY`M0Q|15LqHRZPcZ=VJ`?b*3yb<wqoWscG(A}j^ZPg#GVb*0Z~?dJ~D>Xx%l z;3|;OnU@J3m+ubPr}UJgYRlu}%N!T9Ex+Ybb?I!-^9A4Mbg?X5ef(j<e@7ORmkXBM z_Tkyec5Y+KY{3VDbB{0K)$>;P+qY)d%N@o$<yLxZc3E=6tnAVT-g5;Rhwmv})QYt^ za_vfl`lYV3`ZHE>74%)H*e<=YQ|Im_)2&PWOdJlH__5ToT-Y@$FvEER&n<yDq1l;= z8oGB=wQrg)oi?lSa97T}iNfhIZ>snHUH#d*u%zzrQv0Ag24`k1yxCfk$P&JM`H>lW zR`>-8C$l+!PGS<?vwVkJ!WP@q{dd}~hsZkDJh|h|*&Xjx;A~*yysWq^-1p$d^YhF? zW?ztdsH|2qkEz&8;lur#F>QvrdFSuAm#@imV_Fv?$X0M;(>GVCuhEavqnBO2S$u2y zrgI;+<~+L4uHvlRaIt~OeI<9nY}KMG50cF?xf#?JF|K*O;$;Z`+1w1*vh%YJTwQZ{ z+Z<n>K(A?SH^Wvttdw&+ZSLo5o}jA3tSq|tg7-g<DH-36tgGy?oX&Uhj?C-Gf-Nr( zuSyj>xMaJ~-8X`dWo}u|X8m_ONi^Zs>vJ1lUtB1b;MW!ND*Q#&waobQYJK;j9+&5S z7ioF3=tWVO^Svccb2h8=?3$Cyb#&W>ucv-^osN7yW8G@TpNoF~xpwQGPQoHlOW$3Y z_XLg<g)&Zis$;RO_UOO8Pxk2DE66snig()*-TcS3Gx+ebBHP)|=EO&L^L=4mTO4x8 zH0tg$<_(!i4pUVew;XK}TfA%eQ!S}`dCOh(bYxd{K9^+tH2ug2*4$?&nzlu5@{PS{ zc6$9n?WoKn$*#Yzg$23<+24A$uky#%_bxjHUrn3fRT_JLkGE=VMbesCm#T~R$0`^- z$r1b@BXd{hYDdI^PWzH{`GeWHqRQ)iWe%R$pei+2#iBarjDE_T*B_pW2<*r<|D<~V zuKxeM*#h>lNfKx8gk`;6<MH{<?b@rEd6Sc0ux)rV&At8ow9Y^0lSKsV9wr=HkURP9 z)B1{+^6c)X7&?vr`fi&osl>3qt3{dVfU08h0i_DT<D5IbtiKpLr|hwWjO~uA$<x=G zzO=1r(J)S|@%+IwXPyMRiP=BL&pHCf{VYBnUfQGf)vCZ~(}dKE+_S_U&irDrM=Wgp z+;r8zr0ZEP+R6-OMa@0)@NEtE5eD5A@`(%BmM&F&e&FJI@trf4bCqnb5RKB$=E^aW zbZJ%!7HM0vHYwN0`P%Gr53eqdJ`{P!NNx3{H-5L-Z#_{+ReYW>S3=6^@SlPf7qug? z?v-<Tb7#wa=#S=#v9eM4xGi|2a-4&YXq*R!eEz}Ch}5WGorhKDxVA|Yc&K^bNNEVy zR5;Bif6-UyPeMV*$|Gh>_FYpS>0K3KKCF0LIO1ub6T^ffS^C^p)!b$qC(HZkEB&3~ ztY750qR)3tz=i2&MHg=2RQka!!NT;o)cIGelhKCck|ilBe#@@iGFc|f>T}|>-?sbD zP4sx*pLuDP>T)>mgB?e|+1yL##Q9dq$h3S)Nbs(7@$8!OR3N+P??d)JImh4bxAhNd zyXpQBT)(uafb~}VnOUz{xz_Idw@mp@T->=Y<*Sd{3st1a2d;K0Z!DWXDden$kVwXK zNo~Q(69Q)!6>gr={O?xVz9SNKY5I?<yo!#VdS$~umBUl%pqT9m)hdsGIdAvOt(&-c zeXgc!!L4(8mgk+KBMhE8{Qb0ed+7uQWx*CsVcxg-QvEN!y_?`*v(!IbJ$`vYg89dp z7tafAJa2JdY<Jh>_1;Ug_AcHYyX#Tp50U%I%v`_jEIlZ+%VUzAlx=jetk#}GKhq?4 z>U6&H{Lr5rzLL`~<i~^U|NmU*xPN+1asSRM>yzXi)qZnqx^cYD_D%BsRkbCz-X<3u zv3n$X)b5e;RlBCiZ<Sx<$Y1Qql0T^VO|U0N-ZA|5jrCdbj^e*1csBRXbl(1Z)whXv zqu(gsp7vHbYW~~gce2@D8~YWyYtQg(>^~Ryo5Sk1`-P)+O%vZJznbz^*<Itd`;_zF z1WPvcJEi@8!CInO9{Rf@Zsj+@IZ5)CM^4%mHFVd05e)s^aq#4~iOr#JmD}&UQC3yC z=`OBiS~o}Xs@)>ln|4KJD!(PZq!z2*bQiAK-d_{DvH#7C6nV$=-yV$BH;#X|w0-__ z?%U-3n`=u>O|`VRYWHpR4R_Vaim$(4wqtX@=>Gk%-Lj}3%J07!?ww(J{@cZR?{6EY zwYN#PT*+CjbLD^H)5>zz#!W1dr7uILgoeGEqd()?>NW2zY*##)qIl?7W5BuXJ!-Qy z=k4k|m)X`Bks3XB{!Avb2IF_$%TiNc^7Lx=Wm??lSTM~`=wH=R%T108_8xFN?RR0y ziTu|K^5#Af3eDw+6H-ZvJ@k8--;D0co(~dP?2!ql>=)SeO!RnbcC`4!yqTp31+*Le z<hFNJ9zHuqahL2S3zb8QCp()f_crPo`6|b5+quVhzc!n<!1t(&Cnrj4-ES?vQBbD- z|BnLmeogg`JF9EiFHVv;b8Y7LV+I@t{x4M89@8#6U1`$6j2nOC%#0-;^7~Gn#<g?p z>hk@Cv(`NR$i$!??t7J&P5tUE-_OdyUzho|9@-(<CZMwQo$l<nZu?K{TzPyiM{`>9 zlYI?K8r5|9#FokAzh7hX`LfK_70Ja#iP}$+woa8WFML>&_-@OkmHKo0S3H^UX3L_Q z3wfy#Q`?T%^hm8+wph2+bk&V7vvoNg-m!7s>Z*IRR8D_k`OK%h-brh!R^LDVeVSzb z>CCS1O(u_ym;H_Vws%MG@4(oPKHb`OD<5?=>#f^iG)eoNO!?7+n(Hi92gZIpBNQ$( z=S|o9>e8c*;o&lK9(7Hg7z0xOPNwvzr+T<dN!ih0_F3BhUR=I;^7!TMyZy_x_sR2z z%ecy|`%xDHmjC|vW!L-TmqqXQn}^rf&s$fqZo|$;?|Tn~iT+-+ena%^BR^O^=DJAl zi`u(lr*N|PjTbumQcf|&cLn`zRGjoO{`8Ycr>pPY(K~J(7`ss<D)#5nUV~Fh4U*;t zct`vdENzWCBH<gNf8yMU$T_ome~Sv$_8fdL{aCK?8>xWJW^e2dbent%ySkbuq&~I5 zp0jHAtK6lb#ZhaX6`BX`e!+io@u>&vvoB|G6&>0+%lrO{;<+15P6jVns5<+F@q{wX zz(q>T(|#_!=oYZ~S%|RCnwUQ!=T?4ykZpgpZc6sYHL?+lrp?NTPR=O(;q;6r_|rCv zszVV0wmVC74^9b>oV(;$c1@1$kuCRASNzGG)V(Ku(efJ+^NJQmURiT}-L-$m+5X1m ztzwyYt$tryMyT*Tm##^BP22Yv<z1YwkjXX2jCVCpnU?4q-@j6m--^ZFYSR(!**HP@ z)>pBor<68N-ToqM!i2`?kku3Q4c_!>H}r2`;d^d@=7&y^y{mWx7v@j8B>&5B=ISde zPltb*_VUWD`u)=tPjy`GJ(bbnWP0pP$g9g{KJ)nkm(M6z<mWy)dV<-@c8%b&19OC( zOIA)?zg}_G6^Z*A2RqJW3%_~(B;(uEt0I}Jmc6{Veb)J7IU#j#&BF6@zI?l#d+%Sw z%QuTz;%vfx{ZdeznEdpCj@$kVjRnQMj*Slr?mm0bA8K+>x6aP4AhFo}?;n@$`R{o? zetz$0zCZSn>D}%BviwAzq;5<2$Rw^RrSj*G^bEJ4MQ`6t&a=D6XaC>sXhh7T=l+xO z?6Q=Z8ksJ1P5=3G`x>W@Ea^Sl<oWMk+G%rYZ~Km)e-bbB9#<9!R6l#({FrW@-7*o+ zkDn9|6nrvtd-TLxSN(9!pCcC{>q?jZ+tdF`q$PIB<5a$X0Z&)<C|0&RJQ5C0S~)|n z_=9_}a&c#~y^221trj(@%Gverc?#cuv@m(C8*c9|tjrwMb7q36*=&p6GY6KY1Q{r; zu-S4icb=`;r;AdlIuj}s6H^i-e;O9QZf}{mxTkr6;Lev<thdgZXn0Q5?yp6b{nfe_ zrj55^pZyLB&pWr_Rm`Ky)o;%%4QG2EF<F0`$*q+ilTzBAFnzjTy5h~tWp2;R((fG) znp0_0_kBg|+Q0q0izY5SGSAmM(B-sLZE>gPs|Qn#em}Qv_oD4B6B(L0erv8XVOZ|) zea@GQrpFYEOA6vWgkl2zpT6yPQ+}!2fq$`D4Y3;cuI*kaV6pJLv+LVw(II;Tu3IkL zxOJPyvOeK0wXv(1c`r2;&i_^0m}gP>O7F!aiwg=D<bAW2uU~E#G-<2-!uU7e5Ap^~ z=vh9&$~m1&uXOUW4{NOqgznl;-1PHhkKPJ_7vH0c^UmyRU6*#<^yaUYed+fPN;wI? zf9yS}Zo(DC=S8ip8{eM%y@maF;q=>EBv==R-TfRArN7OI`IFGk34hPr<m{XlcW{LS zbF;;hIGroama-Mn<<_Ma#A^E8o;*oY_mD{7IjOrnF!kKso>KeQT3m9{bIUG=JaJtY zn=BrDW#eR#^luaY+U@A=JihSOoI4?(eydKO6qzra+UWhz*V!t<%;F-il}r|AMz&ug zzjI01$&E_lPyX#W@BK^vhUpw7g;gE%j(Sda<a`@!w4$V0k@H|c&B-b2iVIu?cYT;! z*d@DZeQMFkr+f4E6?K(&t!CACU!A>w&AuY7R#jP-DAm4AJ~H{Qk9^z~AQL04_wU5* zpu#<CMUN+Mw78U2sM%BTr2Xq74en!sVLgxARUcQZk-Wa$_3^I=({<-lAOGGJ`29`N z!yhr0`}Ae!XCL2G5pyEJYiES*y8fq+qptVAzRgs0HFmc~(DVtfZ%Y;FcAwa~PAUBE z*2|?!rs=;v@pa>bnED9Mb@|>WziylsBj0`UYp&_eSNCFdIOJcS{F>{y(=L2Us^`un ziM^&zlLL3!g-w0UfBMw+Ypf9-v5OhFC7lmCJv*Th!4da{S%)Qzjl1z&g5r)OQ5_e5 z-Nx1juSGUYFxtnYlOn^+-FR+CUxBGCSXH6#<O5D_>=7DXZ}$0UB`E%y!>Z%5+@!Jf zOuFfY0E?}BVqHo_5?S-&-pyqaV^VHzl``Ka9Kq4UC3Z+6WrIMwZe#0?D(wWt0w$f5 zY;jiZ#x)6w>v))SSd5xmU-YJJ5ST8-sgokNt+DmcW3vqtikNhc9Q9`6{y3FYCnej5 znY%D_#zCh9kqsBtlrwQZe6AD{k*2m`!bMIU5!WX>CUdV~5j(^lH*-~jqJdEahivRY zCqtp->&{%~5qsodchJdjIkS#Qs!C(418c@{EBgaZ2Mae$ut`c#?1*V)`+MXjcSOgR zAc?n(VqAU=^=qCLNo1K`zhBaF|8)273s*N!FEz5bBR7+;E2rPVN;5j5hi7Kevwy}N zXD%ELNbcAmyRB)*tf&&MCpSy`TQ2*^nzt27?mAnTx5;~w<R)LCIiaZ$=bX=0FSgpZ z?um20v%kyY4w=rX2h$E32Ucyex>+7OmqTQJ-$^yc{2et6&DQ+O@1_{sZ&l3Qk?7>> zzCG++hg<!cMQf$!-UvM^r>OWu{c~#gSG%5jCAU>9&X%5kbENfeR&c}R4|htRtGudy zb<OkH4CdooUu!P<{+xZ|0hNh1)o&!eZcpiUl2qD!XG#EH=8f3c@CLcrCU=Dwbv#b` zINRmS&L8$|tWys^T+;VSw{vb=-=-thO~D(@`#DwZ4$HajQxTOs`+H|3-?7l3hZ8U7 zFP^UMobg?|<+4fO1+A&quX-n6;8E69zg7A*B<ZoKf}Y~+Wo4ICm%53!ye~g3{AhQ{ zUC*N&+iy$AB=WYroa4ON$Wtoi9oq@>V|h;&-7Q|pkijS!>H2W(B!h|Ed8OjvYp*Pv zdPrA&?k66FqaPHuU;cDro7r=RC2e7o7>@|qs+^DC;P-WMc<%L=nrmjQ+j=N)+SN-h z*L|6A&Pw&(U9Iw+IjbLuUTQX(`Q}`#yUXHb)^}Au{aU?2<*46tUTwaKm+r{f&rVOu zib}ft#pO)go*kDK$gBxU*zBU3FZ^cvn-fQ_*?e~X752A$A@3PYOZD)>MTb^=JKAU7 zGqKOSNBFt4&xISGcTK$7q1^ZMppk+4BBoONClmH;xZ7`Pp%&xKI^*+|r-fQh!sa|@ zBuk!DupaNT^7tLu&SRthel6RxFMK=(=`VvDEX$7_?g(aXNcs3vFyh?T>$CW6W_T3u zz0}D*|D?NI!kw3Anmv{JwPmXqc6M^FEqrxw&!lv_uMA341f8z&yt9#iF8AK|!kxXT z{4rMA^0fs$mu|9$I#~Tlh(F1+ta{CMIdA6kcdbwTWM3X_#jsK2U>(yW$!L}LzUc}f zX(!(&eY#h~b?C|7M;oIAJ1?X>SNNjy$&q7inic25YrTsF&fdMfu0%|!%Tm6r;M(%b z0`L31zm>mN^D~h@ruF;Ee7?f+FD@z>)<T7SRhu_0tkkK~I&?Ql&*n|Yk=L(}E6sd- zvbuW5)cQIB?vwYbr*9TiYx14_@64uIe(p2AZ<Xn<Xo|6xXI#9TS!ns+78Q#kmqX!4 zBs-lp-;|1e7x;K-u+Xv-y~#pmOXf^ANM5INZ_A0JF&t$<hu$1`x}s%AuD$lbKiP#5 zi=I4s-5x&W!egO*8%tu}#+-grHJzC)<h7T(THJc=Nvhk6G8WA_dfxU&mkRGrW1Y&c zYtw_OWsgP|1{~b5c(TNc+rbR?Uw(LUbJF~1^$n+QtWasVWUkfA)y#Y&{_YBvW%{`x zS~JT;cr||rFSq2`kQ1^D)VYzK`ts<S%6lue-2dd3sw;os(2W%)DGLjEqB5kXw%K;~ zda;Y&a$DNSp1auS#cxLaExlgN;=kOM9^_75eCa{!w!oDioNl+8v_$8GSnV<Bn$qjV z{Qf9N`e>bWMS!`MY@CGj)UZQlTD<WRvETOvW`6BiYtt+tb^KMT^i;?D{u37FhDe>b zuuZWzJ!C@Sl!}~?V;k=AgGEmny!yE>@aMf<JGKhWma57=EK!wxcuM=dTOGY#`?n@a zPc3_Wz)Y*TubaDc@udT=_XTEdH%nT4DKA&zcwX)ex2244obUc#%X@ppmT2j1yqOaJ zZ-7{Vk2VHM_WUi(K5VA-_FCIap50po!;a?Xx=h>^IJ0{Bom(4vy>?G}C_Qy%U_Qu{ zyI_H>52dHpWjlklSc+6-D}!0NA+MJ5fX&|+_>y&9QTAb-*>`Voc&BeSs{uLWhTGD+ zAlJ%Ye66?LEJylue(n*srT1=4==ItS@_=5*F7C|jW|zRqlu8#Hy+|xp%?<elb@WEC zk5pcPv}j0AeP3*qmwV#d+`H2!ytP|i6MZQ!SLIwN$RTcTG;XDK&bO%Ex%Hu3>Z+rU zuese@;iK=j-E7UX_tI0h*4(+}u;fowc5~ss(`$K`v3YDabC@12eXJu|`dDYQbjP3g z{9F^?+T`g*vz|!BaV@@gJEK}#+<exvYnx|FyDeWW9q3}NWg4?N?jA#Ae*OdLpTF2L zI_nm0R|r^J)yO=js(EqdvE~>3Y2_ATLUrBF^_Oxz&fbtIslW3$<M+E=?q*uwmE)g0 z_;9sa#^-h5yTXRa?+Pcx?EB=}C(!*QKhs~W{`9YFf7aHn{x|KJ?D>D!?ycIt^k;AL zJ^6oP!7eKG-Ibb~_8(2*KYBl@`|y3HnSXT`Pu?%;`Xaya%s;Wq1tRs`#Y%ft{$2A= z?9tWmdhSk_P5Yn5hFfp1P?>ew=4bS&&Z@1i^56cxd_PHR%9H$=CQr_-_!l;1L*O2{ zf7kZe|JC(O6Z|*r`sQs<o?q+S&uZP_Q?hH;LY?ndpI*thIc@RTjM>F2QeRvz;rzCQ z=Va`1se=}=-=A8vPg(dXrZ@d|ZnWO!l<2;)C7w#&$0p4b?*A6b+!^qB&i2cTx>@$m z=@KZob12{VS4eC6oQ1XpQS61$eRT{W#nYE)tYprOes^(s(wiNBZ|{1SnfPPJ#Z@vJ z6Si*&`}Q=T#Utg}gC|G%?2dka^T^@O>Nh*hPri1@EnxY}HF?>b{Amx5@`d>~?Yh6~ z`y7kF#M?8f^N-|*o%nYB>a>N|zW)?$&&!zcpoMR1s?V!z=?@CmwdHqiJicCIVOjRn zT;<IvyH+lC&->Hy;OdnLmbqm)H#qxeY>dA4wQ7dj%6*p$r6qbUh^jJNep`3PE%Eiw zJ-zR4>bj@;%GTt4xKTM<hjHJd9lff4C#w^~-dwp`GCTH~`05#JZ{F;d*?y5-AY|SQ z;nwg@Kl7?$?X)>Nx^1lu`feXtBN+QE%x87=F2UksiOjc8XWrgz(;=8#Cu+~rpduS? zm$!Ib-)E*t+f^nkcwC)5>zYOG>+cJ9`oG!2D<kLfGgDeFnM=(!?{T)tNtXWGFYdjK zw#r-F)uUt;pYr~6-|dXod7@?>O&3m2{wR7p_h6v@t9v!KryXoru=n=gspoEIIIf@8 zWnvpK;j`HVpTAF@=bG4Tm$}#Bc|)~f_1x{6kG0R;Zc=`pTXR&)dDZ=dMe6qX%<U^> z7dP~*m6;MS*~FGBSbI<AQoilMJZrO;XU0x{S$OZ-)*XLVtz7nHjqc@+8DFA=UYA^7 z{JwC~F)P{SmoEiw@~qzVy3pJGWMuSr-AL=~;)@qIn{mwUX=}4AzIFbVQTN9Kd1vjG zrRV-RvCw_Ptq<!|pRDQaJG}R3Wc2>mmbZUj`L*}Y@2CHn6z8i;bEW2`Ku=gr%}dEo z%HjeY$O@tr6cmgMElkWoDnNW=_}Q&opwn7iD@xphOA<>`6>Mxk0wA$O0|n5@uFj4M zh6?)0i3)}ac6J~+J3B5rJD52}aB~#&Ln;eW74!oV(^C~x6%0X2^#c-%Qu9g_4B^MZ z`lhC2COYL;C`2n5C>SW1m>Vb<8<{G^f>k@`=ar=9l@u$0PL_onBkNw2Us{0VD2N?k zQIHmpJA)PULy8jfiVHw?C0D|PJrzodN>gDx=U@eWm(;S%<kTQ{Cy*e-FZw~L#rdU0 z$*IK(pb!Z{@)^j@ppXKE0mN32&x%2M^}RDwiWQ<2K%NhRyS)_TQ6vM*kb)+lC_kk% zIkiYZBRMg%C||))&(KWIKtUs;q@<wON?#u=nqHJxkdc{Ote0PuuBi#O$hjyru_V7p z!N$$i&CS5T#L~dP%+<ia%*nvO+}Oat41^6049pD-49rXo42%p642%s842)dSXafTS zBMSoqGYbO)a}y{wfS6(IXkcLE2Ek^8%m>-+W?*1$WME)sZeU<!2~H9EU}t9L=edAV zkcNwuk%5t+p`nqHk&&^bk%_i}p}K*ACQ{ItBLxj4Y@HKJ5_9s?!JY<(Gc?U0Qd&h( zY8sb;f(4fW94MHXni`ubq$xnejEsy-jTOMM3VCob17lNkF+)o;bae&>28LMF8C#<3 zH8M7|zz{PtFhq!z6eVWnq!xjXMGnraN>#7``zk0uzeEA#aY(}U%uCBx03{J{nkz0z VEGhx}(8$Ql)R;?E)z#mP3jkrUt<nGh literal 0 HcmV?d00001 diff --git a/lessons/tris/stack_sort.tex b/lessons/tris/stack_sort.tex index 615ba40..2949cd0 100755 --- a/lessons/tris/stack_sort.tex +++ b/lessons/tris/stack_sort.tex @@ -1,8 +1,8 @@ -\documentclass[a4paper,11pt,dvips]{article} -\usepackage{epsfig} +\documentclass[a4paper,11pt]{article} \usepackage[T1]{fontenc} \usepackage[latin1]{inputenc} \usepackage{amsmath} +\usepackage{graphicx} \pagestyle{myheadings} %\markright{Tri � deux piles} @@ -86,7 +86,8 @@ tous les \begin{center} \begin{figure}[ht] \begin{center} -\epsfig{file=figures/stack_sort_expl.eps, width=12cm, height=9cm} +% \epsfig{file=figures/stack_sort_expl.eps, width=12cm, height=9cm} +\includegraphics{figures/stack_sort_expl.pdf} \end{center} \caption{Utilisation des deux piles pour le tri} \label{fig1} -- GitLab