From a16795a07b1e33f92de9e5c18914e27dabeeeded Mon Sep 17 00:00:00 2001 From: Pierre Wilke <pierre.wilke@centralesupelec.fr> Date: Mon, 19 Feb 2024 10:13:18 +0100 Subject: [PATCH] Correction typos sujet --- Sujet.pdf | Bin 1542567 -> 1542559 bytes src/regalloc.ml | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/Sujet.pdf b/Sujet.pdf index ddc0a9767f360fa5c59b971fff142b010e0192fe..30b20f5f343fd8f0a6a8dbb775fd34446c4fe3e9 100644 GIT binary patch delta 9047 zcmV-dBdFY`lU|>bUa*dWmjQSeDU-K?5hf*3$~~pIq-asJxyHaf)I}gmw9SiF+UUcV z{P#D*A+^$4_9ZFqlkS2ff5m}{6pIoSl>4)fXDm+Rga~F$JLO+<1G}I0JotNi_7C{; zQ(L#>cDCjZmuI^-QUp9=d6e_u@+J@}VN&uyB^iq{7^;Fl!dLD7VCrHpZL`^CDwg5p zFT2fFN*R`8*N;85e`;<vTOPLWbV&pJ<>t@JpU+-j&RA3t%hD9qf0r!dDRS}0pHWc3 z+|NP8WS#~8wv_uIP8CyJLAws#!AZP~i0c?-B;!;d*M3nLQjX^sSm7cGFW+)tMkV13 zdc16k`g5<xj=Ht}WXhsOK2Jr#Q<h5=Yz6F-2wL?Qz1hY|9A1wDH7Yky>S1ur{z@ji zXiB}LxO_`b-JiVLe_8t4^tz*gv7u*iWEH!fRogjiwjvAL<D7dI&24e(I<FZ$Us>MZ zgkS{jOkA=g&go1ueud)1pHL#K&s)1mx#3}1^j7&eUOB=&EZb=s(+!PX$yAN^oujDF zi~6?h%y74NboZm%#I04r33?iuoyfjh5XB@NXMQ+WosaJQf1`--c+v7;PGBGfktgAA z4L$EScAK7hU2&j|b&WE_p^xLasoku0T=jMibUUJjchsrR$HB}vgBKiU&??5E-4}yf zv%*shy4#z^^nUP4#*uHqY%w^Vt|A!&ndAGV?XI1#Ixor+U#;<9hvp-NzyqqVwW`6c z-P(@n8Z_A+fA9o&EEw2>9^g3;Wn-lxg$#?jZX4G=$_slpprFQd)EOI1jYH85#_u=M zSV`7X=?m)XVa^_{C&EM5P9mPIx^mjKyDgeY*yvu+5T%SAhjd^$+n702gR9^yPZH}Y zU{#Sb!KHH(j5|m1W&<j1n-bUW$vL2UwQJkW&|wtre`&6}!gR(B_e0TCMORVpw^zmf zX`d3YBu|`A!4;D<tQ_1%tCcJq{81AHXWAc7%MscR5?hqwOl5jfX4{x+R4po5)0}RI zxHh+q8|tm&gRvKmy=>|IB@;3MAz9AuhT+h^*zHO<4Kqz=3U<@&4&(K%YRi5{E=A-K z1QxMWf7ZTe#-iSW|4G9ZU*Dm;^vzQ;nZN%Q1yG=Ki=wbFfKBid7t|#)#TLQOstdbS z;ak=n!n6N4>Y6;W%yX+dJAKrhUB3ooHXv<lNY?nyA{Idu!han9b+^IE$nQTw6iOBc zkwP&EG0jQuhXOW+O?q0;MX%G-CkZq&|ISsEe?&(|NWxN!JtC%(NkP`mE=UhCOy#iq zLXOv)gohI!0IxhWO<9j%%`j1|sUs6CQqu2$;Ee#_qd{3>M-T*H@Y-D0rXB9kE~m*J zZSV*N7-`PQSR?BvZd%jRxOGH@>l9<(8zNfTI?RDXwm85Aylg;!1D)IPd*b=Y74+?R ze+PuR1G#eR4i?tt0QhE;$vN_chY2(Y{{k@te%sBiVuy3Zcod&v$67xD;o2(#yGc0c zV$W_NIF8rMw7bP@>eW;^lyMoeDCWy!-T@574(#j~V2<4l<Z~W1HE60VfhE99qtqLm zNEa`Ci{XPzLE8T0$jm7pOD`j^>B-q%fA81qP^56s$<kktLT&J{(GI+v!N`b4<h5<+ zIW`m*rqH;-WMztUKmkGDMlABPo*JVuz3&#ZI$s<m*ro{xQ8^*1XCuU$wyxgS`es-Y zWhx+3<}*>oX@WASjfE}t?3tmefB;WGSU2&UMd{?=*1b6xSw5+ago+!KDC)bye{DEZ z&QUWsj0u!uX_Ec}He%30G_g@X%Em;3fe@GMht|f*5_kMic=hAPwabvD;w<GS{=_Ds z{a8atcBu!3nibZ-I?^L&ke)pW$ZZCBiOip!G3|@P7bEg$MhKz_I+GclU~6s$*k78# z1V(2D-x~-GW)klo5g(MZQJl`je}@GVxUia1S1fuc+vIbxfb$}NxG66hB&S+Js)({{ z7@DaAdK2YL9Y{2Odaw;i-|g{nG%mR2m^h!*i|t%fCB#hK+04m;gq^6$N%R>8o%coG zx8<s)I1`DSYby0M+H`ansoJK&QB7SE_T;#T<QzAlyx#bH9v6c=Z$=L~C#Jl~j>NdK zk5)Kutzyk*_Czq#2<}N4Cnyh!n^Y`Podcx3+Iy~ilP!rDf2Rr}^U9*2qhqp)IoN8# z$wW56qP+t9Ticl@uvB*3dfn$o>9k$hc5qaeFg6vz#5tllG)hVlJc`z~MpHWmll!&3 zbEbq?M!nfC5xkT@$i*@S#c)A`vs(ejj7?!+W}Um<f&4)6$YIt6F2M!M<VhVyC6RTb z1>w~i=XU~9SPRhi?O}KXq|qW6LDD>7l&}-03yeaS<Ql69qe$`qqZc&M=>cy$9GMkh zjD`-?v(+Sx&t9Hw<V*nQN56nmB|%eyU(FZLM98({Hy59fn#p{sK7MT*{gWJu9DlS& z_B=uhChVoa^RlQ;@7sI*xaU_HOH#3j(O3)~4xQOsM5aDQtMJrndYYfzV<MG9aymn@ zI$Grg%{iDJ$&UuAyn$|AAsBHME50xtA6mW(P-8j1CVGh$BTuqRGvGylzuB{wuWK3R z@h)&cm-yLT={hi_xj&Rh=!A=rwSN;z$spi*X2!-0UxOyAdrEfIe@%AfG1-k*lU*S} z<05``*>0!rzqm^1C}E)swyxK!g*KH6;06g|=xqS6MtA)q;`6RZ-$N<iEM)4Iz{w6g zROd4+@2Y}rlCxB%OR1jR1aZ8Mw%W8UyQXbv$a(j;+jZ@)_r68^3hxWOq<`M&r)^AP zT{@HNT4AhMe9Tk6`UcA75i!_)a&jO0*yYr80|nean+vEFNuG*{XOoj>fbQwKV=3|M z#EOa1nU(iDww98UO{keoOb}L_B|Q0`Bls&1UR2eWm-*JC{;M5l1^Sat&6oUf=n3bb zIn5R@bAN8)`KEhG@H3sgmw$BbZ1qlZLzVZ}-AO*QvL}T2Y`~@WhvD-VfvY}W7zlmY zGnM`>pk(^@kDfG1fRz80i|kXu$Z*QXS0t2Wkl#EzH1(#rt)ZY=^|Wa;&n#Z}@3>7r zbfX!ba3lT-iVESTn0p{Ey<U&?W3Fl`xjddFTF(YTc(wmX!kmbO(0}Md@&4PtV8$`y z3I9vqAUbn<w_dL=z9|B$`@((+gqA4{HR|)Wt2+0IyV7oYHSdFQ|4rLv`=k3JP9-Y6 zC+KPwM?1fpZd@g$a;8ozsTNS|vvvFyJC(Z=Xa4qoR*^h3%$17x|5T2Bt$+RmO77S6 z1!<rX>Wkx?{mqOO!+$5A%&&Zjdsz59=Hc*%9{mlNNO9@_==Q5JWihaat}g<fw{gZq zp3ZW5dd2!%<9?iWxyj<NYa3l((E4woOz;~1r>Q^Cj{&xE%mplx(CyNFXYB7(fPPD) zFE^a?5XRm4MI`ViC2<nvVM3Jdw{mH+VE6Uq*?$1b`MF{WWs?KK5wk~)BqjkkmjSZ_ zDU+467Bn=QNfx;vn~Qh%Arlyy7VS}@mOQ#lE?>V@EK;Jn<+hzTz#@nxk!-R^R-HOk z<Xm2T_YITZvmbx|f+cC9s6p^*tNhPg!R6<BzIolg_!j>2Ra@8PHt6#oS1&F<lVZbT zmd82YT-|JhR!mC1(JEtc21VuOhv<`be^=GTP_@nZHq(iWuD-fF-%2T?-PrYGPw$^M zH|JX(wcnc^74TQ*KVE(D;?t`@L>;p%O`(6uGM=IoKm30fZ%U~9ViPl&XPaMa%l#%v zHPc+fd%gJ{X5!b#KZ8Cwi&M2pRl;<tPxTq&_<1ZI)1`newNNb4r=?6;E{=s{xx!a` ztn?d*ish~okWIyM)0xf9Y2j!Mu@jYM&$EU~W=v-C85YrM70fZvstjf=H2h35p>k5H zZ%5OUMk#-lL<y73DvR&sP%*QZaafyp*2wyeRD3Yq`8Ls6R2THTX`7wx7CM7Ivak=% z1(QkYJ85o;>-OflGq>i~JJ)_Orp{Taxo`e{tZ0b4u07w1EGoxpppvn{XC8h1**T06 zy`rx-GKt+Uif*W!pyk=v7#wZ06<RPZz%(UOiCcdb5T!GHZx==?5p_7r+p(_T8Fz+J z=~t$wm$G^jONnhd)0~4)gR6ici#`5k=%%)Yo;x!P?sZx%`_;G91%An>#9nvjJnAan zX^Hk-H14Z*o%HWVQ`<gqRx!;-(R9j@py2A8^Grr|i#HsUUFzku?SzEl(XQx84_FM^ zhJSxJ{^@Qv2PNO3j;O_c$rO-n+OJRV`jZ;PbC&bmw>HBc9+q>KiEL8McSYCx-sYhf zikK(>ziH^*n(k$Y@xH~pF}Or!+cda0ZpC2V>G`Vxqd*N2uqjvPSrT<cWeo(YYrn!D z&Q%%}T~$DzIvRX&2RjWGc~DxKHA51JRM~%IjrUuS1iMbBc1sK2Y!j&gb22ala0alZ zw$Xo3QCja)?yRM?;|H9-`JD<uIy)^XlgL)IpyX6lIb7H~Yj92rTUNV@+L(r(bpgwm z=z>~aP^;41jg=d`cAZ)qBuPv+v{kpdC^A({XOkZE-Riyyz-~S@`pB&aY8X0^pErN= z`<M5YuQ}8-&X|s~*`pBfTU$$KmvY}g0d%VvlrK*~`w#+gXTV<pd&skdg#J4~wouW& z_}S1K?#Fcv`qw=$opnRp3g|nB2T%`iXJkbN0bQn6T~*}X3jn)xhuifIk;ou8VU4f| zj4gJsK}FS2Vbkuh?OUrHP+6W;j-r2{vhSU4@Tk9_dOze{Jz_DUHWf5y*4GphJf;Y+ zy=(0iqiUSeS-{06P@_S4v9rz%;Y8WD+Yl{140^RinCBUwB0hBl(@y4TS2S;eD-G7g zxcg(_YEkmtG5BcBvP63ge0e$S?=Ha=va%gso_4{K0qyiZEJ!r#5=MI88MjXsO*t<W zOam5AkcC2{TU<(uU)HQHs1)|Buc-C=@yzZf{&1RiW&Zet1;9(p<?)RB54SHLBpn%F zz!#uany@rWmm4>umdM31YKa_cKXj8txFZ4mlWDjt0q>KRxF`WTlfSqk0pXM4xMc#~ zRg+1%I)7bAv#*+}_tXV=TuF!s5QEzXBfO$=<4Rxq(iH{rY#WG&%AE&)Z8^M3l#d1Q z)dnf%0zcBo#${00gUhs2q7b9+U1L%<d>cCG?56GZ2uS$ThS(U^S!LrWEq)o-=jfiV zUF`*ZT3xh)IET6i*}8(tN*6MPv4g`QP~3j##(&CFz-DHHMN`zj^=9n6O8;8ziuz(n z1N*Tejxo8cS^H%~j^Byo$|y2|u*etqu6BTTJ)`%poD2i@`kU)u6^(KM4te7G<xO!f zZ=9U(I8=b7D29^=H<X|ORwjiQdjSnT;zL4hciD;E503QC2<vJFKcW5J>G#240YOe4 zMt@u(fl|()G$8J!1<dPP)0nOp+K#Qm9~bF*^x&UME=-9akd$%$Kn??dHO=*76G2G= zCJXET?3tiI)*urE!ihY8bS4PACB(A&c{4$OeiiS}1SKK`PbiNwK{?=I@^B_7%kRkq zWs)*M@O&r}l;m^pf7e%a+g$JJ7MazmAAg3$(CIQ4l%d}oz~&p{hCVY*Zz$-fU77V1 z_(DiBI6D=<rZb4K7Is?fcF2d`PUr*HO2Q<|#1uqK6JWet6Bit4Hu<rw#pr4vqD81i zTp^iKQ`WH0JWH^~&M|y;0O4u?Qpcf%$Z0(-z(I3z8RXYiO<KeLi33tC@)Y=iT7NFb z=QXZe9^DjU*%kB-=w9r7m_$VmjXOi1wEs2}h(s7OSfpK8S-JE^*R0P#Qu^Bo2kZ91 zbbV1jf!NuI_)V<hLw*P38$3q&6pr}OK_9knOk4ItF}UD+$~8T%OOT8&f%GxI!;})h zRd&EQS7zBi<NW^eY0-dBSmk3~=6_*2=fdJbCUP_@Bm)C|)n}90z;|Z(0+u(1o<u>? z$R*#X&~i;|jcBj}0s>q`qT~}`z%hgb2&X#O$^ao4rGG7dQAwCc#th*qnhM2)n#Ktf z{ZJklIuEFhp`oUPv|J>lk$yOCZNkL#A<EihH6^)|8D-}j_D>G&lqAunNPh<DWX?p) z7kqNs>Fg+yn3H>}E+UN79JfMgok$*8eU!F9-Vt-?)S~sgv>o4J{x)P{JD>KfXFBId z=Q6bl5tIVDf|=E2j$I`-imBm$7Xo1T>MA;er+hd4lH(^9Qt^4prHXi=Y>#uPK_aR& zAG%`RXcQnw_f4_&)6?@gn1A~m?EmY_(~&0!n^Hjlh|@0aFfkGLQ~2^+Nm~iNPzdG8 zpH7*|GOKFgG2kD}*-F7dr+s4axstWextfX7<2gBSUD$1PnoR;csK+vL8Rv}u6=$=7 zqyZxb(ReH#&B(EnG)bSAk^k8>yq}MY4C88b$j2oYz{k~TJ`P$NbAP?g$AL0X>MwoZ zWH!cgc6kqYT;Jz?!CG}97o;3Vnn}4G|G-^{G$(g~l?S9emrO|ce@e<R?N8?wq4Tp% z0<X9D$w{`ZGbT8HI$J-|tCMygOQyAWKxY+%ujykgUnDsLF8>!;{w!-~`RGcs$6G#h zqCl0O*Yf}LDxR=?k$-^T;wTo^DcFAcU@RUSQ@@dX3dC}EB_r1-4Iel_uEN~cb=81P z6!jbe9BE_>{xM%#Jr3vdfCG&h@Gh)%-O>l16kr>lf%Mlglr@ND>TG#LvPcpZV~|tl zQ~LEN(-7pcn{`|WlGH~`4nR&MVoBw`rUP=VqafAaxT1aGa(}j_nF0zd51A-@PAh^R zmWu0aN}lR@aTtC2A+xBc>uD@Yu=}=yF<r?b9Sh&Ry)#1ZL-Dr0KapG7<EAW#MHm%) zLh*sED+t43^DM&_;l{f*_7n*(rd4$QHfIa4_7<uWv2$(xVV5R1m7jJ~5|JmJvOsUg zsxGflX{U)D8Gnev*LiP)`A{&12?u?U_XvWZ9IqQ0Jerd@WnUCr?x7mIQ)H{$0$~}Y zdh0q^0J&VQwJE}TI-B&p6SF5JL2lM|?KTPrpXA6~D1<_yDm04*b`hk6&}q2@q>ns$ zR}lX%Ze2k+-%--;QVYKL^C|n$FWQtod_FMDR6yu1LVxJF7jhK1fLsLUQOm(8cCQVn zTp)n6yO@s1(RsUCdj{Hj;pll+RNW+JzK}CZKtpDXbvc(q_K^TcOqjU)7=}!BwB8|} z9m=3TzJC8m%t_Yv4am4QDu$V<c;F(Fp3nVI6-e(D%t{>GeY31Zfrf&5?*=*prV`2& z*hETw_kXT<OQ$IVReExGAX*}rl;VMiJr-gav8!x>lQ5<`?!XG;qI8u}l&%P@EGMH# zT~Tt!wyyfwTR=ZMb38jnMeaIZhJ4Mb0fz9LNp+ARKD^c!sF1zA0?z<FLR(lf0TqMi z5s&vx7hdt{IUn!g7oCk__1Qf5l)^wk!_!UExqr^q(=7tt#iV~_zfS)lR!<IP3!NON z`-kv+y%5zj4tRh9^IRSrCz2W4LtgUl4l(_z22?%F;v_*9M}}D(RF5E&Q&{EwsU6)N zw%{;%k%hbOs^q_IV59QsC=cK5-3L@McQw@)yQj;r;p?m(_!V5@fG={Xw$X?eQy6`H zUw_eaUfZ=D%NHm7_iP!!R2JMIvN8raI{da{&}k!n4tR;t-4w!aFS)z#>TWrhCtMLY zFailYI>|zOJxV4&q<J(`y*TV&y`xbv!&cWNgP37TJ6YWkl3b+_(M^G*7E3xzkXdN| zn5ul!f*xdDw0JyCqrXuxo%iFLHC=e(seee}%61MSI`lyoROb6FTN+vbY}LE5wkj)D za<IayF*LPmY;USfXD>YJ4|y$3c?&S@uYP`pm#8dzvpUgL?%xs6UDmcSwY#MGO=UWN z#{b`{{@Kzzp!5kB&<QwW{P~Bj^4ZcYHGO3<0Lq<>idf(}B`VINoLahn){v@&v<48^ z{twpHga5&Y|G@!=|G@%>|G@)?|G@-@|G@=^|G@@_|G@``|G@}{|G^1||G^4}|G^7~ z|G^B0|G^E1|G^H2|G^K3|G^N4|G^Q5|G^T6|G^W7|G^Z8|G^cv|G^d(yqBlr1u1_e zm}zVs)ftB8yL0c2muow=V^8eFOB~0E?Kp|E*p9Q=PU0lCCw3Aiahy1g6F@0qDGVhQ zrDED5gi>0>(xwQ}5=e@KN(H40r3Hyf6;PxprIkt%<qx20*jf-}Q(JnT7yo#4zW1Cv zGoJIkXTEbhFLT%D8PAVTf>REum+^nRoM)a_K`WWac-c({&<teI4x{ZS^g$NwB-%d0 z9LQ%pyR#T=f^Z%vLMuTVCoBdfXq9Mt2}?l%trjgLECc0e^=M;+6<|JEGukL&C8$DM zjy6JA4HlrSMcYGI18ULw(RLFCU?JKjv|WUCpdM`}+A!fFuo!I|Z6{#^Xv}|jnSzhD zgRluSqh-;y6D|QQXhmp4giApyS`FGD;WE&Mwg_#2a5-3k)`qr?upM-uwWDn%>;x;( z)}d`7>;kLM)}w7ETn*Ns4Wex#>;`MmM$q~R*MaqD%7cxB8$b`*KD0i<UeJd&g{Dx0 z`_WFI^$_Yt?g=uHq3Ke3$gO{9d9?L}`UeNlmZ9k}^m2yKR-vsW)QjDLwi-?Uf+l4c zZ9Cc;LQUvyv>j;r_mvDIXqw+ugi53_G`$18Iwj#=v{AH`gi7EEv@tZjb|t@ag&!<H z>mZbICeb#cY03_QLukss6@-Vu6q@o+(|rU?qisfOBRmR@p>07^s?2|Y<7ivaS_x;t z2{iq`O0zkD&x1W^Erh4At~2`$r#(83(m|dkm_5m$Y4Vy0F?*6ln?obV6U?6ESv)dm zjf9vzDMFJW@JE8#lM*y73X2Ibds0BtqJXy&%$}5^m7>)XV)kS{+I%#8nPB#$3Qdd0 zLPE@*EI_M5!_x_7PilYBs?ll*)v*w5A)1EhqV;HXXbTASK#S2D(R6wJGmU6V(W(gb zBAU@!(e!9~i7jYK;Q55iLeh#R6YJk%29q|lPPB4DW<ObhwgyeFgv?1g(7MqIgk)W^ z5>1PnUMCrwtU}WQP(nzyCu`99&@>e|C0UE6#4IAjWyyLpC6a%p5r-x{Xxq^8gt$BD zLmNO-3Sjo6A5CV`Cjql3o6+{8DSa?|vK8$Bnm#9(JsChdh^ExT><LR`g2fXS^8|Ay zEdR*?^QxZG=LvHr`^?MTrcgFr$7f6z9jC<;q}#zRup1nrmz6qUwMd4|YktSspk+W; zVYNsY7vrO3(!77cW_4iQ1Yaim&Fi{Snl6QPQ&!*vHzwFLIS!`H>;FjOaBZr)od9y) zta;ZAt9OpxJ>Vc;7Xv=Xfif@;lmhpp-@M+VrB7-G;LCI`7$MA?-}SMEQ~-Sz3+8=i zNSeN!xGWt7A)&sKi$Jw`Ke(WAHS|u>3V=S4b!eNwVZwg~&;k~lci}7gStDoyOF%2= z1WV0(d_qH(fi|!Lw1W=N1=fR==KZcngI9soU=8R7n&e?xJ?6c#!o8A@Z}H3uC-sY7 z&<D1F4d%T#td5OfGuQ?Oz#teh+kb_-z)f2n?!8Qdw*%c{t6Be9X*;;@1Q-L#uzg^N zUcLL>U=)AsG8?Ve&os4Dv<?8hQ@!?mV9f00jK=K+6F_-z1nf6^vr@f$HBvpU-u;x> ze?C>mQE&{*f@!mVU8;^5aNIHr-OI@|OiP;sr@#rz)UT6v()^AGJU-S2ih*Z-&;O)l zKn~==JRW1e`Twm^Zz-q*CFT!4CanO<Ksl%YEa89Y5n9!t7F3x(Zu-Rnun^RNCJ>l^ z><{X#2a7=iXf*$8Zle6#A64%Xpi-#W{L4R;rb=rmP<^!wEC(v1R3oV<>NNjMqkhq4 z{&ydC7ybUX6skPx1}b(|n}6<7b*M(#095f%&J=phzxaWAHv(3|^Z+e6WttWxPJ#NR zu*HA;pS`BR+W>V=fg+|r)l%4Q{%>DZ?@mC~QWyoh%zvg^9eY3sSnvwE(U|$q-=yAg zupb-*y7{E}f4f(`hrnT=sW=Aaz)|zxd|X3jz;Q6k(;uaEij`G);8NwofN_y$x#}Xd zvY-U`mi1qjM!rPzKoKCNBGMuvEh1(=Dz$&?e9eADmPBMpG#`*nQ57InB61_D0VGI7 zZbX4)8&B%D<V!??M2i4f5|JfQqvvHVes0+fm7ZmL9(3q?z@h(~!{&4PEeR4)Y)8$O z?dX+8zC@%{M5;vORkYl)TmP)yc3#Ob&;7Y8Pk!z$b?8-xDKPz-!%Tz2>{5rhOC5hM z@f<F59?PE2J6vAsa0L%^RjtF98GLQ4!*!QCoGEd*VbbBo4;*glarnkrhnr73+~O9f z?5*y#XV3o1;kKt8ZucGT;AeM@JAChu!?}AL?z!LL-Zve7RPS)U+2O%9hl`IoJj4Ya z9(4H0Zik<~;qd5N4v$~w@QWuMp5TA^o_t^bG<JzFMAT{79WP1i0_+VUY!G!@HoQt5 zSR=wSQ7^zQ5&M9MY>zft_Nf7l+XS>3*aEZ#7z8Tb2Q2&hcQtOvvj1>9(wz4vho0x9 zsg@_lqg|H$<9TVgBEl7s$^dK-sYYjg4l03i=zwMa-l2Mz0y3y(Lbm|&KAL|77$?Fh z5l)Gw0CtI{E&KL6y4z99zB{WH7K-#+JQK}=698L9CjmR_K({o@_pMbcW4Xp&wS3Dp zJ)xGW>l~n_4p?XdD(RpYP(KHyfT}qt1AN7U3d@Z|y1;zPjkyfVU45g&g;%6e<^>x- zt>rFxK^mXWfLbpI0M&57mpy-=1`ZYhD&L?1Q11p!fGRgw0;p|+rItIpPuFX;+_&FV zYZ;)T4VDAy*Z|K2RIfoNpk@ua0F`R68mzJ0bBA<+Zp%IYnOePI8|bmz>o-fI?hFRO z5ZDO@Eceek^-|^qlz9Ok=3v-zA74}l)m$(FsCWXt-9ZQ_nF1xqVK9GT`K;*|+Q}UN z+P@tH+O-`4+JjA5zWj@MW1E(04<=}rHDmd@XVl9o8q<n3zo#tUeyc*W%KB&3(iV#8 zj<q4mS$?QY9ok1}L!_NendL_wQ%422RMo8QjrJ}zmY=*$z07K?y$kaeFS7i}<LY2S zQ#}yV7&Aw4v*k~JqF#UPSeUI?`-&BozxLPa(AGoy3T+U&EdSNZ)WPJ%+90U<-(dNh zl?QRJ<?lSNmbL&)S-i>ecRejle%lE8E&tH{(wMw>7z|nde2+AhTWn-w)#J=y%;d$p zthjWyhA^Qq^;OJV#^Y8T{Kd1<zq+Nq^o`pc-kx!I&n<4HAGm*2wDhBXhfhE8tkBTy zFmSDBWy@pF%1h>SJ&L=SWQap6uDDN{Dm<PgCK+P#ASMrD@*tkF(wDv%M;^pSt@QPu zyL-HK2ls7qc>g|!e_zdgyEKk0iK+SH87nVR?#3r9IQSl|RJE-EcHpTGRNu2Qq&OfY zUsBa!BuL8gkYazAlr<t{K2jEn6x*kyRLW|Rs^(Ybs2F2SOqtM>l`z#xNSdW8{K>17 zL`qp6QWgHBS<3Q|l3ZznRkm!?GdEgg*MwS4R=M^XwVJK+$Iq#?#H#8(RIA0RhC0<+ zYE|dP)oQh>N4})iGOPOKZ`5kD>QN<9y4<QSC>hcfR{ejO-c{Oe3(nlFR);Nk;Sseu zt)^0DPghz^;~urTtfpPgOIKOV4;QPo+G?v`RBMgZ-mUabyDg~H!kDsHrrM2R;`9_d zQqO`bCp}t|K)cjKKnI~Z@j3#gfzD8lff;Zd%mN*x=;TCarCd35S3ZLwvLWYTA!jHd zhbAG%hGAF^a3~he0~{NM9G`@omxLUUgauFr%0UI-lqBR>B;*_<<lrOZNGjxvG2~!1 z3;?GeA;%pd2dg2cjp1U@066mqn*c|w;S$hd!S&C&Xa4&A-v0sEPyVr&eTf$#2{<?k JB_%~qMhei%as&VX delta 9033 zcmV-PBevY1lU}EjUa*dWmoe`JDU-K?5hg`Z$~~pIq-asJxyHaf)I}gmvdxQD+UUcV z{P#D*A+^$4_9Z#=lkS2ff5(B2G>eoDiv8KgGZrVYB7#}dPWji|!0x9#5B}bs{R95| z)YdJzovr!9<=O6y6akM|7G*rRya|L>OiCVTm9i*>p)&X*eAVs`rp^b`Hk)m#V;Nrl zvfFH>lwmP;{n%6cr{-p}<zf4-DrkVe-28d@^V#dm8H+k%X_CPDf0Cs<K`#FIGYU$W z`#Ff1%+lcBmU17&iDsH>XxG6zIEj}LaUG+KWSj`(+Aj)2+VLC%D_p4X@+}8uv<hF) z<7JcApZjX;s9RT`Op({f=cy=o!ZN9Yt$=-$pjCgVHrrUm;q^FBqjUpBH4LuVUrELD zrl^(_mv8A=^(U`(f0n*Bebv#x*w8aSvWi{Ls_h&$TakwCan3#S<~F}|o!5+>uPkqH zLNEe%CN7zZGdk0ZU!ghiC$tFb^VV)sY<O7Yy;VMrmyU1`%XSrwRSk_@$wZI$oujDF z^ZK^!%y74NboZm%#I04p33?iuoyfkM6U8JQXMQ+Wo{#SRf1`--c+v7;PGBGfk*V;v zhMxBuyG>8ME<e!5RgE&lp^xLasoiYlxa#d3=ypU4@2FFskAs<U1}`|ypp}n9yUz!= zW{Ia5s%~!@)BC|I8ArYav-#k7x{72BWRCBbw!3z|@;omJe6_}Z9h#360uQLe)~W`( zc56FU)u74te}E^zW5K{4^Z?I+C>tvkDP)+}b=$c1QC`@)0R=Utqt4h=)HvkbVEld~ zjTK})WpzRQYM8S}>xuBtwUdZvtFD~3?QZjC5;nRQG(;(5#~~e9&NgNa)!-^P%apRN z0#+3n6I?ns!MJl2Z#JOPwkdG^o}2@!w{mT}89I#Ie?850mz&PG;eN=QGVe<2{q`!~ zKkZW@rZVMx3a+S<uyk-6tya=-@JCe|&a^+EmLs$sB(^BUnbP#6%(gMts9IEVMRQd{ z#I?C?+)!^FAB??l?4?WZFPV@Egk(9p8-_#wVz(>cG|V)e$=OY}JB-)6vMu@@xfGE_ z5Lm=ge_8vy8S{Dz{wE1re0_)Vs&1Z=$^8AdD1aQDTNH)40c?VwxS%eXDYgiHR$bUF zbKkP=5T5<Vv8u^4%Ph0Hv(rc2+4XBcW&_f;hGdQJEMgHvA^gYjUw0dvjQsv1L?N{} zh!mPhh-prGKjg46Y|_($E_$7wUMXm%{++8xe?><}NW#*KJtC&nq#$c&7o>+6rZU)l zA;;^D;^D*xz$*()Q`93^Gfb3g>PQ8PwDdb5cq0J#Xi%2e5d;Akyf)XhX@@(s%W1Ml z8$5ymMw)Xn*2wyao7VI+ZXHqXI{Dc5hKQE74s+m;Ee>!2FB{O`K<9S+o_Kz81${f- ze*t0Dfn2$D2McR+0DQAa<sA9K!vq?He}NbRzwKsMvBSA$Jc>`TW38WnaP1X=T@?;h zzGt@(9LH;B+TCI{@oFj^%D9YK6!YaV?*N8k2X^)gFvso&@;Q&18Z>pPU<okODDeg- zlEq8kV)!6akhVWLGIPqu(#r^JdUCd}fA(v3C=xj6Wa%$Rp*DEfXa`=-U}Qui^4d1^ z92<%YQ)t{^vNA<Fpn#xnBNq8tPmR%--ggUHoiC0OY!d}S)J}-{*$DBbt;_dybu+Aq zG7*p|^O-2)M4=37V_}OuduFIAAixt4)=fNPQ8GEWb#D$vmQ89Sq2dMwiux{he;dw} zbJPqDV*=$^nxy}LjTm$gO>ESUvN4fhAjBp6p|!EHz#Tv2Uj4Xn?J{JkIZOD7Ke0(@ zKh_YEUFw0MW`#Adj^xN0q-Re8a+^Y4BC}^_O#A%s#fUtb5rSxf&SXX>*qWOG_LpWb zfzg@4_Xa|PnZ)}?#0TYU6en}>e__D{F07{16^kCqHu+pE;JgSRZpw=W$*Go*I-=|v zhGy!3-b6W52NI2+9&AI>cYAysjSH?BCeA1IVmsGV0Wq`cZ02M^!cJ7>B>D`4&ilOY z+hSEyoCzi8no4|)HXR*C%C>26w4yEvdvaVva*mr&UT=IpkBdQ`H=_p~CsW>JM`B#r zM=PASR<Y(Ydm@-=1oxzj6O;$VO(GVl&H>Wi%6qPClP!rDe<vCu^U9*2qhqp)IoN8# z$wWHAqP+t9Ticl{SSmekz3%g)WZJH1J2<LK7@Lw{;vCT&8U>{Y9z|<gqp2N($^F{i z8Ph^6quy+n2wqYUa<Pm-F<j8#>{h@rV^bKIS?8{IAU{w%a+r02OK`zbc~XZ_No3t< zPI$G(`JI5&SOWBYdl()8X|xDNkTg#iCG5n>0;A9+xyE|JD3UzD=mkx5)quAhj?4-$ zMni|{*=mx;XD`n-awY)uqhG+OlAtNUuVxEqBIMffn~P6K&15!JAHTLu^^+Wm9Dgd0 z?0JM1OxR0-=Veh{wQujM$34GJnM%YWMq@E}ICN%j5t;ZHt;18R>1lp;kBL+c$;k}K z`e>CGH0NM?BtIIc_6E9jg<!;4tog!pd}#SDK#k@2n&>53j6BIM&43pH{$|f!zOH4M z$GgA*UE*hVrR%_yWd2Y>(FqqLYkwz{l0m@r%#4j0z6MQJ_mu4F|C;Q|W3n5sCc8p{ z#zp+>vfZw_|Kcj4qlASn*t))2Ewrgr05?bwLvI6kHC5L?B0lems(UEqn}tl>5;)m` zhw6NW<y}><RT)cUvXtt{O%TWHXsb=zvTNE_1v&2?ce}3r_1?FLU*mnDmw(i|>S-I3 zSeMS^x>gu#79aDJufBnDc|;7huTJh`AG@5IZlHksXLA9yBFR%R@pN+X4A4DYcPu5I zo>(zaI<xYA$JSDEvI#x2i3!4*GsV?kj^M96cwUxYUglem`mc7J73fboHDB__p(mV! z<}_Qt%>B8E=bP>&!OwK|UVqZLv(-Dv4OQM>cPIJK%AOG7vjJDNKMbG02we5~!a(TD zo++#E0!pTT|L94T0#g3JTx6dLMut;9z9OMCh5Y8(p{X~`Z4Cw0s;5n&d1mp#f5&b5 zp&QNcgd6c!P*eyv`P>6}>GjoEKjx~IlFQ;*qV;Sbgjf5IB+S_oMSq#Xk7xUD|AHCE zEYp9<CkUnI**%s$Ssd<j`z;XIHie;~`n>H*o9}0_y~(oEtC=4V*!&UZUA}LF6AV+4 znptlv=yDZ_I^%|`#??|<xhi#5OSOPwpReQB*s0*1IP>@avzp|gX|B}7|EGfNYd!QQ z&~v}0Ge`ur&|e(s?0>IjtQbD|bbjSq+{4o6F&~FN_2_TFMDkM?K=)szDe{3mbbb-= zyp2;PvSgOk(<|2F8u#<G%S{@GUE5Uk1+D)U3I(s>f13IO{TyH$$6UZ7itd;0J7a&T z0`yxVeYxSBhcNEWFCu|IDv4E;g^DQMujLZ8VE6Uq*?$0yq5`?2voMV}CIUG$lc9Pk zlajL)G?dLGi(HV+#k>2E2@Fk(_9#(H9$hAvuiq*bDN)^W+nzYUB8VlCY_dpJojO(I zTwZ<uEtA``A13#LC269lLGWs;{Lfs$<rjOtdDXu74*v61Ti4|_=<^>}FD^fqlOVJg zf5+(4c7IpZ#Za})`8LyujIO@EJl{$wquto`V^8m2G&kp49<@K19To6T&VRc4^2KLY zfrvV0S(-xsl4U$aDSrGZ-jq=H<tAn_&o;l>mitYTYNok{_j>aK%*3yee+GSW7N=^H zs)XrOpXxKl@$*<brb_``YN1%7PfMAye_R|3$#R9S_*m&T5EaW^Cm@@O<)$;6o72M4 z8e%6Z&7NlsmCTsT<TEUy)hd`{pj8>nT4?y0WJ2YnRNsxJCyi1ni4rE6RTkgNp<-q+ z<FGdItdaF=srX>J^KGKDs4nPv(>6QXEp!HbWMLni3nr7)chcMx*X_-9XKu}Je|N6^ zVoaU0RCC|_-B{5OcU^nF6<Jh{)j%a<gU>wr=JRtHBl?8CUdtqQzbLw)a)Op;V`Ff% z%~oi^xB%0XOeJnvK$On(y<HfoMAYFdZ^ycVXWSV^rC*z#UdrlqEG4$-OmhxG4Xy%) zEcW=Dp_|$odhX0HxYud5>{s7Xe;4>AqY``Fo%5)xe5WPachR`7+I7;u8%=Hd#975O zA4StCM}mT@Z_hIs*)861P<E-8)3y^5ibuPmCp};>XdC|F_@}$w9F%;II-(Z)B~w7Q zX}><Z>rZMF&solM-`WfxJS^ud6WOGiZ;P(?z0E@}6fsc%e$&vqHQmb)f8%|Nd1G*i z%C>26Z`_K(zSHwJ14e-wB4AUl&a))yipm-YR@Z)o-=C{AD!QtGK6Nzs;tqBiEb^eV zG;4+=5UH}s8t=Ct33i=M?Uok4*(Op0=44<9;0$0*ZKMC7qO{(p+*wO&$M-mY^9L1z zbaq-&CXuaZLCLAAa=5T}f7alf7PhQ*6}2%9J?jFNG0_FJyr5R4xf?4tc<nm1Hb|0~ zZfL7+bx~xhn9e3W=)2W@6@cA*YV?s?5!5hrBEM|r_pk0PUvsEwoG~3|vqvG|x3-qf zF6F*~0_avTC|{m}_8|n~&VauH_K;@@3H^6~Y@wok@r$81+>h%TfAp_=U^?rDxE0WM z4iBIn;Lga33<A1Lt-7kny%zv>=?=H+Eh3RYaKaj45g1$SV1tUPp~9x!W7{`YIiRvU zs~kl^W#2p9;8A};^?t~^dc<NxZ7OKatgk61cuWysd)L}4M%6f_vw(|Dphko8VrQKj z!ilnPw;@`381!n3e=yH8Kt+7&2&SFP)2?XV1XmiYi*fhI!quYW`(yCYnq`Uh8u;>Z z*xy}(D`aImygcoKB?H>&e^`)c)+LPezB6tunsQz$m<BAKAPa>?x44uRzpPnZP$}$L zUs3CK<C)z}{NXh3%6#~Q1;9(p<?)RB_qQ(}Bpn%Fz!#ua5}L3yOP3orqn60UF=~k% zYu|U1LAWCU-IHawECC;rlDH@VGn2cxA_4J}-neA~-&T`FxjKJbNVBh+s`u0dcw9+{ z2oQtY2P1q!<;Io1@}(;Z<k>b550yI){>pNAl_(zz;HwQ%%msd=k&Vlsum_iEr$iw} z-@C@7Z1^^G(AiDf?Gcdhrwy?&th36-QCj>muFuguU%A=~`n0-e1#u2_53+Rym6a}J z3S$R{L!h|*(2akUr-04O28*VsfA7uMd6oXH+7<Q1k_Pr;MI2*tS+n-bh#bEY$(2!L z1Ywac@LlZy?|Me>UppBF?Dcoo!73W%0vz(h^~;;$Ufwu4-*Kn_Nl^?Z5pF0!1FTF6 zG4=u)e8h)@+U~LwyB{3soe|d641PlUz0>c5!2*JuJdA(1LIS0nLuo+VOADCSx27>& zF|-|9hd(aT_2|Jrmt2?<K_DsP{DB+>0Bf4-$0mZ31WXpz|JgG^fviC$2!s=P{^(2) zcuR<7_48(e{`@N5p9xAt3Z76NXM%FT!{p&iP?q153Cbj8g5dd3CMe10;Qy|#>bAMw z)h#lsRX=|Wi=oqHE+|94Ie^VK#tnUDn%+>*QM)qhDe#4mWN>yWfK6u*V=e5o*zJ%H zy_wJltd)dGmWe5dm?pq@xh5_+&}{N!TZ_@vKtzjBjkrQGrKYT5pLv#Gjh$oo>;S^m z0HlsX3z5@$T7ZM*<TA*wt(vrk{SybITI4D41GRr#jxTClxjecl#<DBu9nihl`!I=$ z92$3qK574LCJ>1*X0S-Ru(ERLjjmarfu!`e6Asqxz3KX*egd(x5%KF-#fSV3$TxV5 z@+lngqk}$d-<Y=ShhlKS_mpdTT$dmjUjpf4eupU~fUE3)ajwj=f5!R!<<p`8pRmfu zy3BvWbk2pvg-qmVR!9a0`l`<+vw`o-@&zn!3_Xd0q>)R$QK99U*c#Db1q1}RibTmL zz<^^22@p<ou$2KqFiQVg{-TmFk&GF_RWucf2{nxqDEgs1FmxVJ9YaG+32C`VNF)7l z+}ebR=|hyY$!bb+Co{^<IqaVu+9^q*O_6^L(#f2Om@oL`wA0y9BrzxVR$W9GsX1<i z(mIhmvic}(fxIK;(5Xf1d1*Vo#r$o^#CAUIS<iINk<Mjm6(T4FbOkf3%N)B(Y!p+& z|1Jc;@YPjx22c5J`X$FtETrP|luH%yLfIbYQiDWPY2J6mywNB?knWpe>!+vZb1;AR zIoSW#SEnOS4mPEN01&5L++kuO?x*nOxstXLe4!A^lRup@m1S1d!ehV>%-Kr8L8pCU zaZ1(_@5W94pkys{u4dx&cuo#n7j|2nW|II9>amPm#yR7E#o25iX~4)qG#-mbGji-C zP15IO<bQSz@8{zp!?;=<@^Q%p@Ns{2nva9l#$2!Sai9#8`b!@;nT_$BUETv8*Y|l} zuvVSO1u4goW>Rj)KX4Z!&B<M0<pC+rB@<HqpOSJ+`_p+v==^Mx!0Ro3a+0m<j0w)4 z&eo6g>ZIMrl4&g-&{+lHYx-Er7fH^5%l`$IKg$|gKDyHE@s<yrC{X3+wfuiSy^1Gn zUnC&7IEuw}3bvm<7>ftT)UPF<0<qj($;kCd!v_wKt1$O<T{U16MLmZAM;aM}f6SLw zkHh&q;6S4WybEhxxAcK01=z-CApLa=WesAPI$Iu*ERux9806IXlzu(RGz7WqW*rxT zB=r%K1CSGmSW>xf=zv`7C`f<xH?C-3xSXwNrho#=LnaEJ(~97SrQ$l9lBarJ97dmh z$Sf-AdK$|T?7r<_Ojoi<$HI4S?~Ks<P`s({Pvn;NxG4)_5k>`{QhZ?R3c_&MJj<{} zxbd!yJw?KcX%(Hn&DjF1y@l#T>|9%a*rmx$<)_`0MC3`QEYO>=s>^?CRN84`M+Tzs zb>7=xJ`{{$!a*P8J%S)8$LmH0kLDy!*%t+ud#DEQ6xk}bKv+hp-ntGJKrWYSZHn-o z&L(~D#Oz5)kejt#yN$xZCpj_~3Zamw3eBQ{T?8p1bXqO}=_8Nc7R3LHTUSudca*fd z)PgVme9C_Gi#DYXpAUZwGZhfJix7J5g&YMgAQ!=T)N*i&-D?9X7YN|&E~X=Lbl$Gk zo`LpWIC|a{RX53*FXYS;(2yBpUC!l@eIx)96DICHh9OfOt#^oLhcf7ouirlsbCR`v z4Kl8cieY9d9=OP)=W{<7b%5S0n3XuV`({~-0u2TA-VJmHOeKGmDX@u@`tEJ<hE7uk zs`TXWK(s_KDa8X3do08<VprJ$Ct*x?+<_IwMd>P|C|wa)Sx!cgx}xNcZC&-Vw}5_j z=6H6DirjU+4EdT<0}SCglj<Nte0Z%dP$7GJ1)c$Vgto9|0xAa2BOdRYF1+H?b3Wd~ zFFG5=>a%(9DTRN5f`+G?rgNRGr&|QPi%I{=ex3e9tezao7CJdj_YdLuY9Xp=9Pj`I z=D9pLP9!t7hrHz99b)=b4XApU#YuuJjtsLns2)Kkr?ATVb33{_Y{6mjA`5rlRmp$b zz((cMQ69eAyAP;j?rN$pc2AdK!`E3o@GH2)0bk@&ZKHn?FQzd1`k|udytZpQmM>2D z@7XedsVulbWMvF;bogz@pwmYD9PkpOyD5a<UUGNe)!lM1Pq-p*U<49)bdrVmdX!9l zNb_i>dU4pldPk#ThOMqk1~J2wcCxx7B)Li<qMHIqEtYhcAhXc^F;)4d1wF{RXz_TO zMt`GXI`4nSH*31^#8Z*NmF*lvbm)UFsLc0UwluT=*s6D9ZB<sR<Y0wYV`ysC*xpo| z&R%%bAM#q7@)ls)U;X?XFHu?cW_6;g+`l8ByR2<vYIjNV+sbtQjQ_t?{fnh}K<N`M zpc8P$`1AK&<+G(*YWj)A04R4hDq?}_l&Cn5a%v6f{#iq+7Scjs`#;u~gY?0N^uYm# z^uYp$^uYs%^uYv&^uYy(^uY#)^uY&*^uY*+^uY;-^uY>;^uY^<^uY{=^uY~>^uZ2? z^uZ5@^uZ8^^uZB_^uZE`^uZH{^uZK|^uZOk^uZPuya6$jp?WBPC75||U3C@5?|JvV z*Cu({o7^thnkG$?G)>bsX_{_H+NN!i+bwCECT-KS=m1hJT%>|5SBFst5C$q%#gPHa zGO`RKgTn~uh~kJkR|oe6{R0{1iV8Zijvf4czPvv^bI$j7w|9T%oO^yh&&!<qAmjP* zNpQ*`^)jB9^UU*q%CVAt885qW0?j}M?J(K_Tpwi7PNMC{&4GNzv%8AW_TkP0^U;dY z_Tm<SVzf%MJ-8*HfL4nZ;+BFkw8d!SxaFV%tqE-mw-QvLwV{pTR)Ym-YtVM%)__{H z0kmDX0a%E(5p5^#BCr^32igek5>SV>7i|Y_J!r^ynSzghwjH+-G@)hDw&5-X&1mz{ zhH;mH7PK0)A>3B59Bm2OAZ{C2fwmlND{edJKx;?ag4+pJqOC>SjN1iPp{+yPgxd{P zqYa^L#O(oV&_>Y)aMyx$Xo`akxV@kcZ9iH+?t0LVHiafv2M?f~K<mTRjocGtB16-q z^pIQ7@@VUSaP<cV(OS{;7<xIwXsgiH;OfP0N9#t@U(lqCplw52jjIXWg|;0{e_z2c zil+Hpg{wdsN7Fmdt5Xo}K^sF`iK_tKhc=F;*RJ4qS>Xo@&^mCHIFo1_&@^QS!67uo z-wNErU<ys~r|CWdrqMQ`EytY!N6|K;DO8Su<7iud&{}Y3!3i||UxnEmAkTx{XwA5% zNL`og*Inu{Fv9?Gnvm>C22GRKgiEp~S+qGcVmu+)lRU*EgVumcvM2M=ln~@cLb4~t zXetVIxFma0KvPj5w-S;)DMKqkTZ~JxClzQFXyj!=vL{t&Djo}QN%mv`S``{OosjHF zEm}2yS}m>y7NRXg(;>R(VzfnQ3vl&7b!ZJ}y1f2O1KKjQDqOvYCbSkbJ(^x(GnxXp z0+(4xTF{il`diFkvK*}wtqhmhPgbC<M$;=Ha*__T9<%~3QJ1VlQ*qPlBw~|QXet23 zxI}xh8m%8qQ$eOAYtR&!^Kr?tWF49UNz+Jwh9-SzTha2kWOve!Hi)JWAlZ`vG$oTh z2_$>63GD!y!iQu}wxCU*>2pG|Cxd7Q(G+?ldqRm!Nb!VXo{*dg<v*D)uj)B{o=DDQ zzj?Xa<SI?q@)^@b_hRt`={B$v>;i`vrBWwUi)6&Srhm9JXdcv6s1^yw#pF>kY2HwO zlLkoLguF}+nAde$nl44^rc~gBY)nYg<T#i%Z{TemN7kmg+X<k|n>Fvs5sl6<x*Hti z>tetMIZz7bffC@J^t0D^So)-90C}120i(Ei^C|hxDhK*37R>wNh%|jU$+C0|gt+=j zE&<i%edS>tSHtKeRsi&YT!gj}9LBAG2hE_)ybIUrv<A=!mVy@036`1n<fIO11<Sz- z&<;947gz^Yn)iIQ4qgSi!D`S0G|3}aedhgft$QW!-07JWPV0>IpdV}oz2^OLzXmpd zO<*e+1Vdoh?7&%fftz+a+;gQ4-Uf7!EoK9EOWV$U_knSs2-^>a8P&Vr1;)UCPP4IA zou;Xs!kPejr+V%C!MNG)OLg2Hun#B>j(`JZuhwaluSTlJ)w`cEyO`C$3^)pA!L-?% zXEbmO9JkCu_i{4zACWc(PJt7aS-eHsN%K1%^Y~aBC<31O>x-miKn~==JRakK`4^is zS^_FTvH3&KN-Ka;PzK5YB|JTUf>jM_L6!M?3p!%~SO^w@Mi7{P^fww^4C+8VXfXfN zZle4<p3&%1pjN2K{Eua&snc2p)L*rNHlQ|2J(8NDPV>*U>x?e*Z-2^N^vk!)ReRI} z)a-PdfBuXH)Fbr*bv(2)h4tn?a8aWh0F^MEz*446W6|Oi=wAw(&Hr|Ps)M%z`kVqy zOo6VYu+98uU(@IgK-W?j13S(C!6pst1|gu}6?CI<^IyD0qkF*ta1iL`lji^7L5&^) zhk>TzD3}8?=D+$q9dZmD2eUl=4Av<stKz_g%72?VF7hl_T`emMih*xg{}pM(OEeG6 z2ZU5aSVV+H#Oy~UmaWi#>_<dNM3h7ofM|-U0HG2Q8&M4)Kq6uz3M|`jTIUik5djh{ z0Ypheltc}lmwDg=%l6iJmhF4oq5m<5f%_dc-LG>AkcehGYO-v{ur%T&BBUZhB_gh( zHp_1Li$>ddB}YB?b5}lC>@IcaHHRrMojM#_;V`?(VeX8>B_$4jA1!sbw9?`7T8Arm zppP$gIK#nLbvs=BNr$sF4%f{(Tz}EwrXh#V-0g6)d)e8~xdN5_!i^5MJnwMZiw<{` zIo!!<=cXO*o^v>V!QrcqINbB5!@aEz_jNjav&Z3qXB-~l0^b^Ucyz+y@i!cvc+26* zn;f2c!QpA1@4Nqh)1M|?A`&9%wCwhmrF8+;1`%lx^;kB%Rs*C)M9xI(0qGL44v2{M zXoF>+8`E(cfffUsftCP6K+XH0WnXw##|>NdwF(z&-k%-%el1PCJTV^awCpb)l}1)X zWJRPlfHa8Iqf?)QN}w2;u<Xmd>UU`%gK8#pGa&AxNkHO%L}W@trbJVKbcv=d`}#Y& z+l*!ZdATf7DAKv)Of(Bl0MaTt30PSNx}{mZf3vKN<r;=%`Ic+^p)7URIY3VxP-p`> z>7WSEKL;g%t~n?Le8q!u%Z=Ws3shKc+(lUK6Q6gu@TxT0yr37<TJDnHO5^hx(CY;O zpc@YOvIq2kz`+tg=Nr@m`rV)r(B%e80ljUo%yPFJ)%98|ck8>dS^*tx&<5yZ19B#y zdks1PJ!{Yf=v0Glu-bAznbQS&Ecer#to2|k=(F4_cSxh}42Hlk*Z~GD_eP6GY4ZZw zynqjLFk-oPp3nf@TrdjgcmlrNK?rD>0tLunu+Q>;*@Di{N^SyZ{dN#&)pi7E4K`)@ zvJdBtWm>8=n4neGG0QLdxkjm?F;=YkJ!Sd!b8^ip7r!J+ODLv0)`BQ!`Qe2c&^k&B zBCTvnEkF9K2Fkgmx@IkJw05bn{N#C!GOMxHF3elJ#PTOE(*P5i>VcTXm^q4@EPt7= zQLR{in5|griWQc>>PH&T(nISCEfBga|EViAz~seRAgKHAwfxPBgLu8=?|M|0mH<py zywURKUX-SM+W-bE|Ij1Sn7nud3|s!bA!%y2Sjfie$C<&H$%}VdQOSf3VM1g2tC+cr z_gYc#SI<g*=SqFa-@fMX`lSy4a>cFWKdy>@mb|^g;eFq;Lj5L(!5cg)ZM)U8vf?Xr zJ(|0iV2DF2Dt}m-Iy{~wCKzJkASMoC;vk-~l9xU_jyQ;CtmKvNyL<fo>)f});olEC zymg(!d;L0&D2eI$<6~AfU$GmXu;Ac(SgCqj1FXPPAE>{lGNfccO1z}%!w8U+@{p2$ zE-5u4Wj<00MM~PIgj7nkNY(Qza@34b6H_KMr4pv9goIhD#-F%K38a+rkgD+~%u>oj zN^qt1R@pqNXKt{{t{GX4R=MVSSxr{?;ICvYwW>uQ$ZEE#;XYZ*tm^!<tQM<!>}px9 zR`s19%UW*LV+y3S&8jab7}6D1{l4CRRoZR~&fY7l!xsGPX<40CQ>kQ6S6WTOq^vHh zX}?w0Dy#WMo2+iDt^Sj&)mHl@g?HLxL8S^~O0i6}8Y79*Q>;im3r^2^Sd&1j)I&fU zq1y2}0;YlXP>zCQ;5e8C+DOsPiS|mla_FvnmW0TL?1zQyp@eLjglrpzIl!h>SU3-` zZ5XnB60%<svOy9SKq)8#<$zt1kZqBWeUOlikB}{?kUhqbjnyy!?0$r7cZ6)LhU_+m vb)X)w=MgpnwphcZpxJ_JUUJWT!z14R0YM@D(wB9K7a<8bISM5uMNdWwNw~0> diff --git a/src/regalloc.ml b/src/regalloc.ml index 7013a3f..c68b9fd 100644 --- a/src/regalloc.ml +++ b/src/regalloc.ml @@ -175,7 +175,7 @@ let pick_spilling_candidate (rig : (reg, reg Set.t) Hashtbl.t) : reg option = None (* [make_stack rig stack ncolors] construit la pile, selon l'algorithme vu en - cours (slides 60 à 63 du cours "Allocation de registres - Autres slides" + cours (slide 26 du cours "Allocation de registres" présent sur Edunao.) *) let rec make_stack (rig : (reg, reg Set.t) Hashtbl.t) (stack : regalloc_decision list) (ncolors: int) : regalloc_decision list = (* TODO *) -- GitLab