From 673a95d0cb65200c2c3030183ed69e54e1bc9b5a Mon Sep 17 00:00:00 2001 From: Alexandre Date: Sat, 8 Jun 2024 22:33:47 +0200 Subject: [PATCH] Small fix --- a.out | Bin 339081 -> 274473 bytes trees.cmi | Bin 6472 -> 6472 bytes trees.cmo | Bin 15533 -> 15361 bytes trees.ml | 11 ++++++----- 4 files changed, 6 insertions(+), 5 deletions(-) diff --git a/a.out b/a.out index eef794449cbace92b88ca3bf51c63201292e84d1..73eb009549f6d4d2ec3a144381f2062ea7bb66bc 100755 GIT binary patch delta 14919 zcmdse3v^UPwsxxOw4@=?#0DA+F`b0)3XeoZoQM-1)uKLalx&iG9^7b&ss?t5Vb=+0t93g_Ek{ z!?j6{9PO);)V-qmA#1Uuf+gP<7Z-OSXo=-Da`+N;zAVXCj(@3@g=I~?3QBE1)m7au z4U<&R{ivVXtJE^-Q=oddA6=v-X#aAQz8NW$H?l zYGF&i1KtUwKs`YZNNzsNT7@LdT5b877_%O}Ew*Qz_{YL7K+oZC*1r?)l*76 z>6VUE$CcV3#iP`HYNOjQN)7d?P2nAT)7-IRRNfitsffp9>v*+VZI+P})Yoc@G^|i5 zZb`9Pr`6Np^v?nkDp70IGg0}W5|yOYR@NJ;o{h)^vSCs?Svl^y8&$nh&qZ_HXpOyP z>Pn-wQI;t=SF3opXo|{F>UpWIP|v7eMNJqs6|!GP)Ae_&cv(FaHoZVwW%M+4zj`s8 z`&hQLsZ=HEH{s-^nQm>R8thZs4S?tyxUy;Thu|@ma9Vd*!^meR{Nz+5CLyR+1pX}`zU)S%HEB#_oD3mDElDF4n*09 zQTB%@I~Zk$T#VdPoz-Et?j;q7SN|^QAFDJUL*kF_dv7RF>La&umkKmf{}HY6C#l=7 zvelp6-TT$3pv)K5Ms~e{5z6~mu3poiMkIa=eP@DtgSN}a zFV(=rPmnyTQM3jkX>(Mym(6FGBsnw_qgnr-YAh6_exVA$ioZ}{Pu-`e*F@cCP1TJ; z;f62KfmjV`QnU-|Pkg0j>(Arlw!f*z^wBss<7+k7(G79#!^c&H(*GIfo_$hnQvNTX zv>en;4jUbi1K+Bx>Px9Mx`$hTN^LXhD}n+k`WEKC(8k2eE~69l-{Rc&jebDsujAwv zpT1lli*tAS^tsCaja4{aD)*=~Nob}I`2G%AqEwE+8k6VONzyW27y6E$CPcW!YsYs2 z!WPkzwefns@8oHP@{+#==G-?Ru05wjb#Q{q<8^{;_3PJFoHR7o9p%Kwuy#XpeL=Fa zi-lt=Xcq;l&Q`{)Ow|*8$`SB@9Ldmwl}~ar^>}rL)Q~lkhD?1a^z>=3dniBidPuo) z;-$8|PEyTf3*{~3aC?0#X3Ll?{kckHscc#Fj*gev9dsvkru%3IeV0~e$;d7`#U0#P z$19cO0z6}U$*}FraDGG34RzNcN1g5FpQjIM6>!sg>RyhoCGu0Gp@RvAm;52#o!v*j zU{ou&&qZigwU)90`sY~VlZWawso$@h@U#*~P7Kf=sW$H6f%-1xYYPQu$-awq(4C); z4ytq9-52Yxl}cf)Z1-rP-t4G$Qa1!$NR_si>51xGqD-m14CT`zX&)UOVvUI^-Mx9J z-mX*zVNiw**ORe)Jv&_YLR_a`t^><2*CCa~WKeaGk&uL^^>MJIAlXB8a;q=b*}hht z*)wSE0P=>ii|iPsQ&hIpb%h6xj?(j$>MAu?>42Yel}2CQA7DBs zk`8}zZoJABb+zWiSb4QRUu}1HU#+v1K2L=&pW9lJMr)_r`PKw(5u909gM1*ia{=-g zW!mDNZvJTc{6e>Kj2_`ry=2Gr`irXGwisBXTAwDkZxh_F3GUwnU(^H-Xo3fxjxUbO zJ6#Z$-vnRW1Q#^Hg;G@FjNe9gc+;5n0WWVM7{7VRW8GCMd;|KDF z*Z)?`&k7fUFO-_<=Fid(X*Ep_->!$sq8oHqaVF|K>Awj@YiH|1|4i7!WxKl^_L-pT z%+dXgn&sxt)7#Hdx4CMG{^AUEyPVvHd6Xb}wWDUs`c*ozWZ!|1U#*>1v!SCobYy_| zM7M#qtMyPd+bvyQ4DBn18+}b%(E|ixx=D7!!Ezab3h+ZR9#VHSrfHl4P5hBfHmO3D_>V>vcfgC4<)M z{mBbaAlWN`be!y4r$@-lCv-yM-M~Dw(HC>1<_WH!vvoT;@Puxeya<`Gr#PH(pVU>! ziy^)e<-JwmKB;+9_wp}+II3pflX^sAjR(PvDVLlHt9mOTo!E7nQ;30P5Qb-LFq&^Uj@QGunDW!9O?WNa#sA4 z9C!Uwhysk%r8-9mCxDjo6;j~P? zdRZS&+ys#qK(%u675${|DTrFgj#n|uXTE}+eebJ!1J2=dc4GG69KKWc3U7YPQBOxD zIDzlP?7`U^`7-)7UBUzSP7LzVD($$RyrvH*-v+4E;T`t|Wp)YUgnmZ7AkUwGuU?dIPGFDxjhlN?r{Q?+j?`wq4~xK-6qDlS z#haE+GM9pub}TuzST_<(wu3`_O_J$|Lp)gK@+9N9hmy=>E<)9N}SlvnLcGo@Z; zwXjHl|5Ve)PvbeV=~C0y40Kngnz2f~8ZA}y6;4rI&&CSgF3qgfP`)GG z3{^X$XNaSs9Q9g^zPt=mC`Whdma-zloRI#nA+;{kynx#Wt?>KN40q|@Np*Ykkbf6i zX6Wx0Y|epjQJ;9VCmOIsy^Zok=-RjrW|hXp;m43$LP`2WfOrzP#GBQ-_#7UmcE$#$E%_zem#Ul55ObrT%D7Y-3C(oDjqB zpL-6jJ6P{~`TrEFx+?e29t4lwY3TAJkn!A>1@aC@xDH)wg8sjH)uirPlji^Ubohw} z-G*!7Lj9?7E5@2XY3wFfjW^eUZ5eNP`Pq>I$8VQ06C%QACz!i3K11Euh4k|#_^5KP zFE(?HZcy$YO3WtQZj`%tk~v5FzCh7L**6*MS^Z>_pmAB+GudSLzJfei>cTi^#+R9L zefHlV;8v9mVlaKJWYh0dYj^d}O^M?_hFoq+?d9;Doc+_xR{f2V-%m3y>Ax%YflBj> zM15Sj8C7Pk(kGNWJkLC!PbwKuZT_mijqv4Ce~0O+PbvBA4%iqcYwk3+`V_o~!}v6; zTuFDBq{yvQ%aHk)iAKu6d=5*5RZHv`^Nr)%4paQ$9gBlfKi{;BK%b;PjLG@Qd=tVI zCUJqe2UnPt3lI#=WcLEZcD$Ti0C)P`F~2asR=BxDq%A1DG(5p^WXVEv0#}%O?=}Zj zqC4f6m?{{9mG_uOaDlmKk@-NW$EEFJXgo`XFE;yegGs;7T%(ecVO;EPeYSh|5`#N& zz#X&HT&h(|sk`5dP_3lle$0s0lDG_OOHgu`VUXL%pk-*NtyC^E1JyaQWtr*dOM$|6 z;kqJhC(BF`?p|4Xj1f$D$gIEx=9`CLP?luXqNg2XOs&b*9krZUYg*&xvZmHNqpCXF z9=E|ba7J{on0GbeY>SgD?rL#@#oa89x465-j>SDJ=G!&u%dwajW8kW|Tq`&h6~vuq z@s}2#Z}Cx!FR+*|BdD;a#YZf@(Bh9Q?q%^Ii+fvqAcAo&>SG1(+5&woe#_#17VovV zzs0*OzR2R&EgoR;D;5v5xZdJCi(eq-xh&rbw%Gy~TfEic0*g0WTxjtIiw9Y}&f-ff zUTg8C7S~!l*y7c|RdnGHD_CI*TxRk877w*}iN(V#US#obix*maxyAD>9%1o3i;FCt z&GDxJBduVjEpUa!Gb|ou@idFCw7A^jt1O;u@zoZWSbUAe6D%HW@mQXVX}}mO7;Ot& zYw?v9UuSWV#bYfVX7MZz@2^RO~_|t%5E9h+mfyXPvoG-AZCZbVVu zOjz|=5FI|#9p{?yNotn7_!>6q+uV__n=}Wv;>uk-HM%vsa3oT5Bz+IyT*=>qg}zEk ziRQTr_V5r{E%&}@ZdG^4r~6G0xnM80t2-%5k!gF)RyCjLe(r>Q2JeFxxG2=jbpHj+ z$wTvA@9zTUK1~@P_G%$yw(}Y9m;vf;DSijN{3RLAtnZk3d|Qd6H!!_Oo_)tWrSH`; zptH$v7rtv|I8}?GgTebM?(m(#yMW+<2;B+JhcBxrBPLG+m4XsL(?J|DKE$595^36d z9w-CER|LeInT$Oiuu%5ANTsHQS&&49tPoo%PAXT!b1j?WRR`|43E0^RbwbZUD8{zZ zL9EINU7%qB`?-AqubOxUSX}HA+$cbB=1blz0 ztaJiZwAs^5{WOof0K_)vOSYd0>Sb{}IKzqC;g6}$LniC

C3GvrD8QzP4)vWsKDj zs2o&pc?djWNW|Wr9H%ouXIM@84M-KCtajxF$c4NC~~imo3fY@KK!>F1o^L z#lfEs;^T|5xPow9YT(>ccs$pzB16UjaRx2X;Q_Z~$h46lI{S+MN%g8O-z2RA@k6S@zk>W4%b(@JJI}s-2!q8zH7b1`yLE zulo#^Xyx4Jf>mCKc~X}8J~KEyYcNV)Sg?h35dE<wpZj&_f4GcZAxnOc6*s^B@TVr)vHVed2JsU)|42AEgg)BK-T@#R_ zZ#YgeClu9Xff!A=J8aM?oT@VKa$IrSG}j5moXynZML}DnX*!373&+nu=Ypt!3k}oF zKvOO8R!w{QgIJIGlwA*EFeFLCjZUCd6_Si{zOtc8PL>Qwzs?B^k8Oo>jjeEf@meLP zoGsEb7|cj4XMoci@u1UHj{IjTS>03Vsp0gc8t%>^5IdO%;zI|pe55ns{AUAM9vTlR zClen|7Iu?Eln=s(q~Ul=SD&pNNg8IH@It5M7*?cjSSi-DAM)uylxOcqUgOsz%?88xhB>ExZba2{AnWu=2a4F3MB}nxMCoqQDo~Sv+AdVkZux(BO%K1>;PgCFR$ExoP z)m_5XFXF4|e13Jf!^F3m3>nSg=r({N<}KTzGdt56bTlVSR}c+lJiPbqsZ(@JBo4r* z%KAhnC6$WkL)y-+Gn>k|beth|2N9b&1C)~r80jzjIT1w8#%V-ZIRD#BeCr#Tt^%DY zpfYA20Z|d>KkcCNyh<%4J<-XQ@};_EIO!x__jScL(#?BJLikY78DfVoqMl2V=U#>m zM~Y!pY2_8*oj{x&r65{BqP#L(mw;CucjHaPIn8x*wK%+GM4+bLk@~B(lg_Eism+Ct zQ#u{Q*5-p~FTSQ$Izj*INJff9_W3Ms8tfsD1k5T2<;3uR6m11*WTz_xXBP&63h*V@ ziSGHdl34|k{+S8-Xhv(v&2}>F5h$Hok5`WcSs|hWJlafkiW5w(2c#7t&_7xqLIdgg zh$yCuKd2RDy@OFN)L$&gDL9WYdcIFp0rEWKXej;T8A?^{K@N!K@L_pc{DUKaGVBKY zE7w&ziT_h$(K9j@XqX{E1GpElgX|pFgbYv#$m?`Oh9AQ?X+Lf3IGE(8|Xyc>_=6e><3U9y}tzP7N6T>_A zP|nNj&%hZhZ6)2&!5ED_e~iYCsL8njMG;NYr22XlXyv&g^R%o_Cpke`ay?dMPBHq% z%csGOUHo6;f%G5rKzQHOfbuV^(*;t0SjBgyle>Z#8r+R~WBeF_lR*q65?ywtR9=n` z6Fiuz|AXV7+I0N?caCrF4~{Q}iXm!1oF~&Hf0C2pi$w3gKJ>*S@q?tuIy8>!Q0lqR zOb11#zfGS$8FGJcIk43lRq-63?4ihdh7xUM9DZUJGsXY=7mXjDGE(!k3bg&d(%-Bf z6+)6e7Mnq2Qb^6UJerQhH{C(u9e)nuhjWM5;<7sXV7we#fsgs~KERiz&06O~UZr}A z37ctS7ZaXF>Awyjo+;SuGlzS9tG{#P33-qHp{L;slpw?oc`c_yQg z(avC3iu9(YI@sr@)GmRB#xB-W2V`1b9`HBd*HlICCCT9NDxqf>BSDw2+gTtVh>tf4 zk@GX~X}t|6|2=R~I;20v;inCZXH9ZfXkq(&KAfAyx;xTz zOd5z6H#&$r6Vo(=S1#{T!oW(BnjTIdm4Olhv1dsjs`K8=6vrMHQ>ltN9e~E zlADg->gTOYNcLR89Wb)cNp)}h8sWswQ25Y_B$@D6T^;DPwIteya36IA1^r|qP=g_9lbw5knGUHF~Z4+tAya?Y2Woz4X^?IovcsGM9s_%$b zHr8t=!(PFgl%$uPkjy`3+I*+z19I|Z=brC~S2fj8`|9^;SS=U5>a4>3;JsHJ7p!Kd zbDt!Q!ppd$tMT)gI7x1<1Erl|EeDZ3=jd^!bJL=iywT%mG8!4A%%i8c~1{5%jJ z1~n-U#D{r!@mv%LZzzh7yf^l=k4Fw;#A}(;gT$7k!iaN)Kb({K1~0jl8(H@Z&{^>~9&%H|;My{A2pZdBpy4>Tx=< zzqEz%Ne@%b_Y{;55_K7VU$J4ON$3XH_(ozf(p(|EdK}RPkhlCKhbvzQ}ra>A4 zaV-Hn#f6ESEwMJ!w1$>v$iAVt)H58s0pPktBWVyD_2hH_>$$j@g5B5SNS=Hq8ZZ4Klp#hrMDM${&o8Qy=9Fu@X=@XlPvA z#gPQf^BT`YnmuDoGRnQe+=*E!9!oa)au9i^aC+ZBRR}4D6q~sa^pI`(|M$&hBFcGY z$9B!z_UH!BWIErIGh`{}lK?{a%ZOa{Xxjk*Z79XVO@(RhakX;zcX+>3=c--KYaK6~ zSUjbC{EgGc-&A&6>G+v(r@>iq^OrsL8+_wEg1&qPHUEJj*%}|$e4%^j3ujckJN=|{ zu5#CY>#Rzv>N?`)8KJ3@Leq;YZY=E*%Do^bXJ&3rPEOX9(@RTl^7p@Ha`B8%X?f|C z(ux_OTc_S!UJ{x$_2y7{+0RQuGp2^hDsC#BJ|i?R)M?`M;+rN@G^2F-l(LHA8Ks?T zU&+hM+i+Q4W>!gas6OvB)kpIR2VHWhyb<#C?S;(Vr)9?0%*%^*$83Zf?!g?G07|Y^ z`eCZJT*{ebso2)`2Bn4J@%!47`t7FzAkR+Rtu`{td=%VZ{*0Q&3i|6%lS-?_`# z&$;)#S#s~L%&XpRyW$}=wuQbt)qbsY$E@?4HEY%jpaFbMvNyCYu&;bO-F|gdr|y@a zhocsU@R|m=2*5rC;H%Dx?6@oJm80`irYU(u<=ER7`?6bMSq7H^Dgn8Gt|sd$on!A` zoM|@RX!-5Jzxz@gcJ>!H7TDK(*H10CYrY?7-?t~-&iu}27vJn#dtIho_3wV_Qv3Ap zCg9%<-_5j(Pxsp=oYvN^df#VHzQAX1e7^zrZm*8N1rr@BTRxM5|X1wKwkSWEbxm>tMMLuHUs@sf+EB501mXD?i9p zm)N&{a4fFh{$MDsvp&2S|E~UU0((B3r!Fz7tID-!eAEjaSAFzK=ZnFq4Zsh`1atxT z0OtTMwyXd0tets-=wABqvshI#H(>YrYi2fAQr1p@=>QtrGW*`tIcCJu%5TsAs~_xY zTB$r!m2dgip5e3C|J9!*%V=h2nR#*)J@MDE>gPtSg>Z$Rq=U`KPYRs5>6jN~VOM_w zt<3I6tQ>pGCqBFU?e_M&pS+afINJ0-!^$<80q}nH)6+mA|FZ!89sJpN{CnwVIr#U6 z&lXGngPlL0K+DbDbGf5R1^Cbq-hJ^f6lan9ennTZ;F9! z_+}wy_&s6!*1y}LKmR5ed%q8HsBZ3Q7k)bfeKp@+psuzzeU+Q)gdXm2 zLjuGR(0+1%j=OsQ{y`r4*L*|z8@}UcOmdjL&2_pxIor4Pe|&c4_wCg+cG2P-yZHNI zS;C_=_(bUE-#O6U{!hQX<@<@CmvLac9emzz?|r`)=nnr^BzIi4$Q$*Z-FZo0drNEI zV3MN2rF^8~x-WpQuaHgoXz40u`Y^z$066E`fW7@eUq&7l@*j{;8u3Bc7-JO%qY2?dkYXHnC0s1&-*OUaz#xa)9yi{&wW}(ZG zr?wWneJ^R1rstmQrFET$4(UaC4>i#Tf{sU8LB0cZhe2S9Bak()w2YfM%@m1}y1b!PL39A-|cz$H|vgEdt;u@-t{lP zUA4roY|PK0G2JSO+H2O2*6GG?skUml**aPeG!t=c?_H2-Z@k^tncD#u&~ko23V=FL zw@iCePQX4hJ=0t_!}85ycCwp6b2@+-OGA45xHYhk#-tg%V>AO_lK?aifpbXj3;@S1 zyLx<%eP?>6?Y}HN#hGDmy(!mz_XU3zMI&AEm=1{KW2YC>Rde(5-MX*cFFkW@rO)0H z@Yy4bUn#rh{TzFJ&}V|LYLwD->`u4a&qiL2@tO65w0}71F^6sgP$vdE^`uiy#RdB~ zhcD@KWVMSf$g?Nz%_JG$+9jDK$xw1)H--||kz=mCV`z@K&aX1Jt2?Bo@RZ8s*QoeYf#5?;1+98oL{0Yv|WStQs>*divrzgF2)(-t`G!z zp(UL<{bomn4uq~kzf5H+(c(-4zF5z?1DI|?0+-SG13aV$qyKt$YzW#L0Azof+mg1> z;M{cp@SW|%J|~ug7~9y127M&>3%9)yEjNk*fNaloJI{3vuDu)0N9M+#>b%e^*l$Sc zCePINp6d>t>yDo50?&0R+ zIMKeILdk4G6GOuSE=F(D%&a?EwF-T*Khh`4 zknYpy6P)ya8-uTj!B36Bb7Sz&zpYE}SG9PE^qZ}$?QrnPF?cWr-}~>n1mBIp?~lPR zi@~P=XM#*)?ySNE!}(@YouYEm*Z%9kf%!n0y=LP>y6xOH-$YFBHObpBy%&EV2EP=z zHylrm8PABp-}@T$OvxM8gQoE3Rz+wOxU**P#qFEdV67B0>WmpD(=oKMpp5AcSHf~z@}XP5Ry5yI)+ zJNi)!{tj>k1D(njRc4Ng?GG^sLQxyXi2_H3A2tZ!=)_SFvEdII1gt*^qX1)c)DIB^ zWpFELD<=wim&SN~Yz%&^M1k3Tk3QBO@mhL^JePtbnZg9io2s03J(VwfPfPWxQummDwNV4ZcV?&=I`v+xI0x{8y?bcD1T)oC^=or!CfNNZ zDv8;WsoHkF53`sDoc$+&_h9r}vkyzMeur*~bidnf^oX{}?Ry{$(Qa1i!7!wN`VX0_ zvegCZVWZlC=_665j`}CGgZg1}7KZvi3If7E2TAGW|CmesakqVfj3;Gn21;?eV>;z} zGOTjc{VL-rT=R@~HTq|o9bHsUv-9UFXm)kQ4d(j4_{`q0_NjlEX}95SU~@Q~M}FS% z_ABw5GjGRz$;C;7b0@fXt||Rk2Z~s0xrA)EggBQ7TjE?o z+&LMW4P9~fKE{{ALZHpcg({Fmx&&4|@@#46SLN7k$F?^!_Tdh(a7#CPSFulJnCiE6 zAcHeVHXqQ;-g-*Fu3Fm36e7M%+wnTntT<8ojQw3Z%=;P50>_xvHlF| z%GDIM!mgFAiTXmAzu~+A0Pzn*>ks^iMCYb6oteg%!LkMspNtFPanSH-e0aG{} z2_R<9$Ac9eaQrlwW@q+`S!sG|&-JWGIHx)XIk6-6yOT`G=~%zw@5-M-yXD&(9tqfm zlj!Jld&?w*NPAt&u5%1Kl4ue;yKF+ByWBw1S&VKUpdH|B0AI9OnkhR|Z0|P}Ioe2<1axIj|k$vL360}@er!cKeS-J{jR{*6$WcmmW+cg&khFiG8Ky;)BaM|*` zO#dEpfAN{U>Gy#SFQM1F`fcFOYSKRSmYC7|WfV&ojZ6ZOXd1@6{3Zd9ozv@k^Sg(1 zJKg4c`>D`q)zL0JHqSou*!J9eGVKd{q?=!~SMAl7@TT_aTcx%-=WFv^M|GikCOk4% zO-NDC+FQ5hh3^Tf;^yi(*%fY4&)fN5;z?pp^^tnPc>ovQ*h}4`)r(I5{J!c=^->sn zNMEg9Hr0bvftfKt^-{m*+&SUB1JrX$z2X^oHLQx%LQ8E6WAfQby=LcM6EM35tM%%2 zvvPMAnn~kSyznMHurH2bk)kA6O zuN=>PWUAV()hA}hIoRGljWnM{n$IK6o=EdWr1>(^{4LV#jWqir&EF%+cM zP58_i>iXX5pW!dAQUSmEAHD-ppuP!rU#pB#|8hhP@3hta=IY;(b>Grud8W8I%5~<= z(0+fo!_8_+j{1&k^TO9WpiuO`H`R}zxbAvH4NGCPw>CTQewX>?2~}veKc>2w>q>F3 zxF(Eq0~}TIgqoDWoMd_q1MD=nKB11wQ0QWDiFDOGrv8MYZbY-4-Rh^iUN&~&5L;feKWuc=)rt zvr)6F9#v_k)pm7mN}K3pbNzNTtW5wo%dq9HY^%)s+tp_(+l+hz;ktK+8j;n`ox^>C z)N{fZ3$;=0P5x&p5Z?Zgnw+9K5II|QG?#v+rbE>C*mN=@KSv&RHb46uDb@7NVI{rBKhmT&IbqyDD4azbCTrCxwAH@ zJJAC+ICx}TkYoIttaOvv1&eluJ9N=~l^(C`Q}n46EU3;!*d7eofKZ3 zM*~j?KN-}MQq)9~(L?{k+|o-=G=qBU73S5Rda`-6H_*v_1l`$3Pdu5c=eyJ>1Mvkh zcx4Q}Fb1y@+*FUzM@M+wGe(aHk=TVY=n`KRgI^SbUmSy95`$kFgD;Q4L$!EwN1GMl z?7sTu)@o&V(=pn%)MW;3j@dX$cQY$S>GtY!rz4Dxca>TdUR|tj)9PntYgah3c#Ix4 z{J&~RIux&n!LN+L`N*2yQ6^=PE@)0GT%$~vGS$xP9ixlY>TuCmeYT~pb$Eo=kJtCL zR%^m1|3v?zxwVDi_q^l>V6 zExIUohACZyEn)H;eT}lsdvoC4$xBgq+gIqq)Eh8~{MVY&3Y~-TxfKXkJA6Y0(k*pe zbadKz`sh>>MQ=P$U#xy%vghfGGj5b#w75grj8e97p1xA6o5I5@^-S(Fw=UERGj7H> z&vg-Y9jf%qY{{DL=$5K@i>ay7Z)V(z*?hPWnO$A2r)T^UU1G1b=Dlh?FzYsSIc~yC z>bl-^UZnG~HpFz_Zc6j<$pPN!RV>owS$ANZj*)6`r+IIY9-4X=x+DBLFV>SX?iLiS zW#?PY4TZUGv3@S~S2AR#Ez#3c?}?(%FVR=4drj$5SP?hoOZ61onD1Ds3)EWk^-_Jd zy3drJ?_f*M2liVR3x9pS9)q{~%Wx8kT12SYvm+50uAM~O*=DuZmSg(iBN1`;rOaS$^(Z^RlfXDoYft#xT z(rr!fB7L2DB)sV&y++{%zvL2qn|d_7`x3hMF*9yCs_WAyk16xZ|3a2zhV+cA z$6^RRZdQi$i|Pr3{J`Um6$o5T@tYmfEZn`VK&9UteryHoqnE?)0e_oo=)JQ)rCNVK_g_1i!iST3wDqv~;u&4_c#l zsg$iCt?jL=b4+24eo4I&{#T8DQ$y};*Moz4HT>xfdZEVQ`mA5*D^k=mX7{a7Z(BI! zmwJ+4z2?wc`x5Q|)6>n0yY)T#b!9(wZAY`^OYIL&{FN^5fa5pz+MMv6Tl63uC1AdL z2C=oxls>B;R69({b1>E$X54ew7T*kC`kcvIK z%A2~c4=45a{-k^AKPq#|pLCCKzqfRS55=YEJ?y?)-qlr+>zk$PoA;!vZ}|H6bvLd4 zWFFh4zXhL%cWaAP>b(zO>Fpoj9Ohi-p@9gwCU`U|+WMXr$>)EF6sZZH{2`8b>MhzK z$Jrj=Hq{?tAFK&)_(z`13w9^-DY$8nFk3Fny1nk+B=b zVa$JkHp4C%o})fAHG9D4BlF%KNctCIxu)MWs;#;1OWhBT`YgYh{{`69gzx=A->g$V z#?mez;WxYY=$^QrK(GhGSMJrPsq9ZMCWQ)9oOG)R@7t$;qq085m{WGpG93#H&dUL_ z0oJ;*o=7b;nT3?--`gs&T`2ciF-6QzJ)z+Gp>Imv*#5S^H!%+6cqlek;dJ?t}-T>969Hu`1X4Nd4W+?PN_#{fA5rZ|!8w zQR*vG(*=`@yI7sn*OBWby#6PzkH(!0hr{o7vF=pr8?!QK9f#YQtwAdnH!|-9t)Z#k z3PGHwkoAT6*8HOV(&tLl6K3EO4c7GU(C0i0!?hfizBk)Y&{Ge{GV?{gm6yulNd0zD zC1`kLSLwGKaCV12ByA#LbkosH(Z9v1IqYI<4$Gwxzbq>YP@xmZllf5Pq04I0jFJO(oeGb>9*P&a}s3CHlLnkU4RN* zHUaL+F*i)G@^B0CFq)JOAfIciwt*Cyai`fg!5Rp|=HC+H7W>4p!aFji+00;)Z3x8P-o!Ru9PN-Mf2+ z|L_y*b%h(3yUw!4Yt`F)ake!{^)Vx-BIf#z-EoUQ;Gy}zlMYV}nE z%#%|QqXW%%Q>~sUg_zjMWKBf~7f-V$^1fx|Y((k$GHaDO%DJ{z+||jPcCIx8H!d7= z@Q;WOs>PSgw7yY;&4P04TQ!8;ea-c=FaS9IHKUWpI78 zI+jh2**phk9btChT8(sOh4;^~)~nDcNJ$&CNBlEIj&t$0E?(^7yrt!MiHoPZ_-GgR zyZ9Iv_qq637w0Vv*N=1Y{kR4mYIeNa@lB+o*?1TK%EeD`@x3m7qKofw@snKq6BnQ0 z;vc#AL>J%X;wQWKyAB>|*6b9w<1Kf>Bp2W5;*(u`yNj2)_^U2{s*Atm;!|AwITt_8 z#kaWl=`PNEf$gyxhfCxcDp=zl8p0 zP|S8aE_5f%aq%TCUg6?ZED3>RPE;#2u900pRYJI-_` zEOhbHT)fJ~C%bsHi%)d%MJ|4Vi!XNZu`a&E#fx2hsf&-G|0%%vZpSbezre)@x%h=H zUg+Y>T)dx)U*zJwT>N4e@8;r{xOmXTFLm+Zo!pM)Zby3;54m_-7hmDxnJ&K4Y+GRE zre20_%DmR>TVM@Ly*!HcuC$Ijbrn$h#QVViXXq*^?g55O14 zuEZF*VDEao((2+p>F=$y?!yP|BRuw^$Z-D8&2JZ?Vqa~Fs;r-wV3n1rt_kD%a%|Y) zhZkAzv{b82&2lS8uhwSN9DQnd|8grm6Sv^0Yp{*43E#TL%JZq~%#${Dw3_gHwuPIO zwPwK$Ky9=72CG0_Z#EITA-v-T3&+lNrurAwv8JuDMkr%S4fc&+m<lKwN}x}Us|K^*6?qC2}N!*FQe(a9;4jrxoww0 z)icnJ12BL#7FwBH<;t3&*gqZ6+Wp9PrU}|OfNw0pyM*7|*gjZd$*d6biZC~TFgC7P}*k1YTT*oN(HQ)Gc-v^o5@eL69T)IET z043n)7{F9qt}_=LCT*IaO!_L1GF$Dkn{rImM$6|E_`BS&8UP{t1M&gw07C$GyJHz> z`5FVDzlgJ|0Km81n8(WjG;a$4gYH-ETGFMtNtgZi)b@w!F}&9uY=|KR`*kgmdNh8M z1dWK$=7DE*n~(&exP@6nLGO#hgQ;*7fR&FgDi%-q-+I=1mH(Zm-!=A-sI~7;LU1yp zfOGBY>jNPXgW_(iPdZ9@QxcSE)(6~qtPozYAN2I|PL94r4i9jW_+8vVEkp;Ckhc5; zGl=u8N0y35gLX!aE84h5ATXR zseB_Z!P+wbbQsOd*q1(r0qHYDBys6FI+?q}#rD=Wb2`u#TtyH^Qkw#^Zz8^b!>+3U zv~~f2)3|sHzeSPtBCfbukqAW?%ihraZtonlG$-dX^2Y!eZH)9vz#@P|9u3R+F9G6; zgMQL!4M?<=U4b#s2qndo)*@4iJ|7^A>(~JOjWK0D)>Sl=SW{Y&A9N5+4~6l>dW>DZ z;9t+g7Wzb6npYS%Roj7yn0k1I#IFoCueOK6m_GNqssRPs#Sao5S=1DJ>zV-1E1_d? zLL)&6NVm`>egKOmi8Ff`sI0%lnG+0gUbg^v$EYX+b6!mU0pOhPZC#6p9D)VzgmrP+ zSl5tHGV^F+b*uhJDr9v;m z9r7-toHU5Y&pjs}Km%U{;JCMS=9%gTtUw0+A!3d(o3gAk7Uu*k4wKeeee`EB@-j2fKl;?3b&t|5$UX$r0)qf#G2 zD*%H|f`dkuNGJPQfP*xAC~j0ss)`p}4FEYT9hq+8h z=!p2$TjD#B8^pvcf=QUTK?}Pv9{B(PbPfe+x)TyqbRpPSxKrzf zoFKbGTqj^{v3=L%*7XZdA|ta39)ywW*w|CWz30JW8jW-*q4kX1cm%@fd(M8T(X*dfjn9y!e1I?H&cqMq3>^G2ufW86cgCoWy{X_F1{4K$9!X^9V46IV z;7B?ka>ww!6&aCoN(DHB)q!yoyCbqH9LycVl~~7DE`R|dIG?*v-lhh|asa1t3!wp_28<*n%Qck5E z>*=E*C@;Oweldjfiy`R6Ab|Q3t_1K!Zrl&{Nb# zj8*Hxx*nwV2{dR>fmm<#0G&GC>V>$R?GeE1Et*rjH8**0F&9Nq%1vm@LqW_TD~2}L z!Yq#AX(WkacrkQPH#&#Uix5lPCrQZzAp06m%DNt-M-w z3OW*YUaxy|l%scNHq2bHp7CQ?ci5RI9GX^dD6)!M@))|fdCUjWb)7AmqS z?StCIs1_4S<~F7Tm1n|5eVU{Wu`Wd>52>5VNoMjqCzHD;Rd-G45U9zrOI5w)Rn%m^ zBr6kNl9lF=If)XwJ?6;%*MK={OEd||{%|?24_9e!IH#c=wPXY*a&{ss&;pHFfy^7U zLIoz!JfgYR3b9eq$7NV&H%6Zb?oISOcP?p@jxYHVFIg-ba=h$jUsEE+jfTj>_6EWs zt{o0vG{D>Ocj|+S0P$`LtdW#bXJVpwI@Y^AF~)F8#=G=1=ZbezlJ{<+4ZNuyr3l_b zH9Q=0LcO^w7sE$F>Bp(z@NTusl!i$MFr9b=qadvS>_6Ci_hBtHX39z>ln8K?2LGnK z^HA^M_@U%C1u*4pROUf#;9?^2mzc<#;xW#4e9fbCOyGwaJ--~jbdLCyey;U3oIr#c zNL`fOJCXC^Xwj$=^FiNxrxeZJK^TbMDtUzP7U$UXZQ-QviAn9+Aj!;<;!Mx+n)*h) z6}gG`MQ`Hyds;Iw!Fv;$T)PCLb4*yZ}#2=K-n!EI({HMtv%sXCx;RjW>l$xkNM&7gL&Y0HyJ^heev+ z$x4%Jik`>E=x>+zxQnhrsCXT~PoabnjtrDRD)PybM?H8Ov+18IfUnoC?4|=JuEB4A zQ6a_~ZAe>Ep{oFl=>otIz+*s|jV$rBB@g>7T3rDwTCM50jQ+S1muA}4-xQ?MXvd9i zjbAa%Dhs4=RdYuH{PJw{V};ZH5TgPYQ6LIKhs6`Zle_9k!+=gL}X$M7?FB+dzpQno=ryr|AYe1JSQ2`R=eWJ`ELpp)XWxRuDoQ{D5FmB&I zxlR42#umor0>m(!OT&1Dr;H65gmttD28p~+LTkq(Dh3gv4H<-jH)IeQuWOJNu0`U% zaYTbqE-{EVQk2Ut*+}7uBniWWVnd}t!wAua3_}GPGK`Ez41+=-IqZZ=V#Cby7)Bz6 z;oelkzy%E&hO#>;<6bmq5Fyr(K`3}b29fcmMvA2Fp+<|OZbLN%My^er#tb6_8#0Or z-;iOvb2{+!B!wqhSQ1AI*D{U8I1(`;J6ooEyfP3(zoc&?MsXaQRI~`e#*8AhCsCml z#i&4S#9)g{(kM(}F^ado#O@jm8AnpM5#uBuF+#90<4FB!$T%|RU?PU;EXI+DiMORT zWE@H7M8kI;x0nVGZCZS&l*Fk$^Dy!YYK1)z?lSzhT@vr-W*)Z!H73uG#n4$ zJg~L`P^d)4;X$-Em5!^`gzo3TW*C4B>5&2enFRrk25w8-ndjVag=PziWu0)%rFnqv z0LtANK*I@;KgSv~8s~96Tk0vsP9fAaDZBKvRK&bfp~;Sur8rm2BcFA;7c5mC;~cD3vURd z1E)Z>u^%}ri^&+f9QT?uT1?R|4C6&W5aSXFGS4h|z{-pp1dMWWY6lRT(mYg;PUKj7 zKuzCviGTNB{3d+)!3ZR=W z1)L680hkJ)k;sfRL_oTh2Iu_Pv4}J5w7;~P#UZgbm+~b`sH2dRmZDI!WoYRmnwlcB zC6FE?sE*0ag2(Z<9WF*UmlOjUU4l8(fF?f24IW19jStdKvh=j2nBNBLlH)8Ie>F%J*v+&m=^uM57)DgYOv+n%K?1N zaGx78y@&AoQcqwd88!0lDCf&j9qp3-fz%4jX4E>L{OR2bS4;~Ez!8bnG+a|y&SVIT zGdpgw0)u&EWn9wJl+7DO(W&Sck2|^=)eXN*^WS#KhdFB(`LgM1rUls%oY*y+7V3ih zcv6rJNzI@~BIr=CQZl5-{oA zbkH8Q*LkjJuDcOGGCrcPy(#{g_Tle!`A_tULiQvY+b0GQuVad{8Pw@Fn;zkhtEA&c zjc(We{t{@cH#GQ@ZXgf9HGL`>!{pcYhIaU~ZttXb_Hqz&ayDn3WN-2Z_}kE(@Jq!$ zdl&xLSb9ae`AFgK>3woEeuNu;FmG_8I>Y`#!2FojsYj+Xj2}0_rx0#XfzIb)1`7uZ z23w}7&&AVC+0`mAuAwPX;HV!1V<;f@^x7VMNptI+3^ykXP1b%LD3Pd@Rw}5&l#Bt4 zdasjZt`q5w89F57YO1%ZoW#TSv}bb7mi5YaecXI!0;r`h zZmPBev9_+Z^_BfU@%765cwet%0TGLIGW#~+S3vG??i^ETH+nbnt>O~+k=r$US?VJn z-|g-8vJ%qPtf_4MfY>}`G_iEGGU{G@*eG^bmT^ikfG;wl>*P>MVHr=}K9Z$SEcuK- z5hGp|8H;hZqSXJcUk?nDIAe($DG8+kgkVDgGh5=VKLnEIr^HYpA+s>L!N4M0}XA;wpoGFcoNZLG=0-GaTN(Qrbr7=XX4TcVk;^o&ZQ$~ z0S;2pR#8nIN1C&?S-C%wrj2Pe`{1>TD&@EjbYM9%eVdhC?=;}epVnsI2>eb!JU=r- zoxrQ-FKRI+!oi7uMuPaJG2f9nYorg5r2o1|Cf1A8TK{#Ar$KC_s>7|UD8ubANo5l1 z;=0Yu+-7C{?`T7p#MVsFkS;$64NrCALkf%IE)bHOCh;@?TSnUt=EFoAa1;^8$;~0>)b7#zxt#iY^o?%s z{||fgAm}?AK=*p%O&-)R?&8H8Sg$&4oy7ESNC zL-a@8+mC_-v&|+PtIWpd@xgtsG&~kdDmL8&2W5fg&Pk%0CaAZ|upD`hH;wHqhj=RJ z7~Mc)Lr0kn&nGyB9$d5>c2luBGhihs={?zyX%7Q4#zpl zQ(vTxo#fnE9~RRbLa~W={+b&-f0f2Le=&g?K7Vb%jC$vA3ZB zTjsfuIHjV()X3Y%wXyR^)1BAVIR=eF2lI?C5rFyF6)@9my;cQ=vzsx*ZW@_%&jKt% zK%R!S3N52f;&ThGeSmzkp;G4*G0`O1xKtb>hC-aK5@Ed0%7i#uT8(C6z|buX zG4#%pwdL-b)~r<$ks|4IcTg-qV~X^YoXjL17};Y1j0e);eH>c?=TreI-IjffDdMs| zi)TIwC@%pLibsHRNI)zk^+1HBfFdljv?qXlTu1GNaa&wd@Q_HJ1B8=k@_3B-ksPn& z#Jz&cdbaV_lP=dsvliD7Y_#(>Dz)*xkHT>I17m;ofnFsIAV; zS#U67a&@A04M~FEubY~qB0tw_PAkG6Bz))vyaS70pY@p$zq9IUWPLen_|fX4o{Oh-Ym-$O}64cgyHtkU{Vj4%G(r)9N#)j50^eb97hkR=PnWw*Tqfikk?_2IhP zgh{gbQ(LWZ&r6rnqJ(I*KGaNZszi=Ulc>(FEA6k|@odofqaZq+!WVDIw*dI?ggMDb z_L-XTR$$hee@EW3{wcb80a^lNIxZbtj=kK&`9NR@;3?4JyktH{o^J1WDq!z=+HY?h z;2YNktI`0H=hCup2&X?H%*ugt`z6G#nQk_;P=Wq@mP37p0{HaG`)sE@`k2Lh0>(mJ z?R*Ti!4JR6bmu{c^U2(4v2}ogu+q^tRNwoxE|G#M<$Y+=4LGG?dI*bymZ;uO3V0>T z1&1Jj5_SO4|CG}EFh(`@aoioR<2hnOdKZHtUknvGO{zV)!U=Wyg24Igg{e)TH^u?P z>C)03a*e{@rQUNF5|#u?H(Mv-D@HP3T5kZY!gQ7;$|Qbj=vk5?Yj>VSi6WHPy zCkPmwA{Q61J~py2@1h%o9evL_Wrj*JQO zo_1;=Vh&fpcs_!XT*TPBFAF#~b_|+CfxncSP1NZPM$js7Yf=Q+>Z5>}dV})+heuIV&i`|f#M+Z<)^E0a3%s$^P~0$q zr35o}lHAQ2-f_1>?h=+WBa9ChkF0*X%I2f`ZIt(sP5 zq9P6UZazG33%>?Sjq_!pdLN*WrH5$?$~A>gr=@H(R#x&cSCaf7 zN=sVwGjO$~#c#H>(2WPm!IziBQD8Q;KzZBzZ=Ifa&JPnQ^**g6?rtzrV0?~;%%*?i z?es*!cGw~Yg~M-;7~`MSP{ic95y9isK}19}ATsP7pW#nFB@+tEU6xFCIfKdZaVYv? zze=bZyFK`^!@!Z}KRg6@3b8wl&I~o=e0qRKP45v_N(2w>hY}FHGY9S3Cns{AzvbQBwRy<5<{Tgkk9>LkKjF*kommoR0+>Gp$rqjij{Irh z$g>?59&TcMH}f0-19>`teWwAqrLf*`pW)mi-(5fQ-SxM9s|92HsNZkv2Gbw;?mCRX*kl~Cn#oa%G0RiAw6U?ve#Um&jxJMKdtcpUledL92A`R=;25qlquF|;KBeYlRj zV_^`=2F_q@VqhNm?t1;*jV6s&mLuO?uX~5gBFIB`6JxFZ@5>AV5vit9ZE1PF`^}a$ zJW=f?b5>aIIQM~Sz&rqxpf1g0BScBuyNJ)ng;^_HGxNOT4$&WVZ$AnW9Qp3LDCBS9Zymgup~`l$cbdIr820(2r$;AK(ad zDxz6H7H?g!vodMx>m|2^`_U5Zb& zm=io$66ficXGG#uk)-+FBtNb9$XhD z!Pt$b$X~FfnZ3R}SdG1bDKw;wZ#{5kw9EE29oMa$-@F(kzj-mP6Q06RI10&_pdWdn z5P}VTfP?GO0Y`rSHBu(yRd+w^!wS>%=dnnXBhS#Cx0&T(A7fcQJjaee}%m3!R+t#^z8!2OBmIB)*};9To%-E+b54#5HpGHL|m z&_HG!<6^2T{c@P#!NEC(^Y4XZpN#2pbeEDI`SJKc?ueX_sQ_m*cq?T#-Hy*B6<*@Y zs<$5-^)kNnLn@S5Vm)5`Q#wlNjeV{g2aw~Gv|~Mej=4N>HK>&5*r)oHtXG^jac_kcJe6T+9HwLM!SXNrE zGE_VS;M>O(hJvuA0QDS>J_^e<6u>)P37pA6gOf&xKTsA+lmp&HRltQA3DX1Kafc}1 z9I3Z=(hd~>2|C)U9B`-swh}aGQ>xDZ8v#Ikg`xo<2YQOliQWKXAki)yO9LEyP(@;j z{vwYwegI@{@W!;euK1D~RHw1LM&YXa)HhD$I_Sd1v|x-;@We58bYqpPe&ISV`4}UA z8iGb)tcgsFy@ukAa~mmK1H1v3INm^r9#jAEahFVtabKY;n;2ttKK0|)u47`0S5mc$ z{!BHceegG}ScPRzNp25}EmtUuO^YN^T_TBQpct{+UK6WT*CeB7xOda30$+)4%0-#H zg54N+GxzQZQ_WNyiiSK<*pjRSHsDvnE7}#=%5dIS5fOGN91DrbSz0b&DR3jXdh` z1Jtd0KMEnvYBcg7Po(_)h!H5!#UN-Tx}5Qbg6lHM?~SgJAewA+$(Bul7z7lC(MiuG zA5icy>suaRI=~xIDal6^vxAC?=VbSb7e!61UyYr%{%=K(4@S~}3V_r!iKy5IBTUhl zdKDW{^*``+IP29y2teU#>s4%Y9h=PEVI;cBLC70j&6AHVi7Gi~iCm1jh9Zp-*+{+m z-@ZY#cz8RE)hkhKwSXxOL$!)6R!w{Gzz0aO7t)8kX2nXrTE!MCM5gS2Et(cjVhqLz zWjRcztxCtra+vtRA2J+5=*0V51h4VuwD(0AP;L z02G#<6H0f0QkvTrYba9URyfXl_oU7-w^Zw(`p_=BDaZ6{k6*8zy4LcSOv3mOz*abj z#t}&>a4kT({6Pigc>%yHu_Ixq5WSR;rkDp{3|0dufj5rm(gOgxjN_D!^QjSWYDY82 z&LcgJ#rC_BwW}iqh|VHD z1;UWg^X@w7ug@nGSs;vFXkdYt5p6DM$S7bcD+E>J;&uISy+F#*WMhTPEej(;Eu)P|N0Zs!m zVMvETFJegRwE*TH%3P1XTI662HVGy z3Z2=9hKe;}G5YwD*k=glNAg5nEODcL8ZB+Z$72G6f=NSb$ihyzX0pah8fxx0MUUyg zV6Xi}RvJUdkVFB1sS}Mkv*Q6P=PYkY;6}ytC1sk7Hcn)Qcxsa+B@P0dKbSP~iI~)A zj}cb8m*D^k*Wh`=luX8N|E}n)eAx>yml0bhf=pI#D`1Z})8ED$RIK)}bt~Iy*9Kgi zmlKb;YNza94sB;P{@U`J^)$h&j7p!$km*3I~%UKy`gVKmRbVy#)1kH0KM zGw~QiUFb(jv>gcJvLApxxXc;Ba_s7o;9LO|f>3AdU!#~v} zF(C#oj=?*`;NSkS?)uHZDL-Wvc2~#DnOKW6T_LY$Q7e1XkUZ1tUY+iI8k*`}_9AH7 zrN{LQu|$z7pX0QB;lP3UXqind0pgJz&|0#M7MK1vJpD8t`$>zh)$ka-D7YUuX|t~a zPz=B;@+_zYt~kg;+&n-DfG_q@5VkZyF@P`P6qqg7lAw1DRXh&B*Li@sfY><^o;Zt< zP%(fnGLJWz%*l+>3v&`41@Hm*Vm}#+P^430@^L$OqI9v1)sZC90eo?sk;XDcV-i2g zZOOWoU2;ue_#9mIcYA}dJ7;Z#6jIGP0uKTx*i3-9PMeW$SYcE6bNo$#hx%KYsjMc$ z0dJa&H}N<3c82@EX}#F9{i+-8ehM5=j(o>r4_gV!2mH-io)+%&tu@8pZey?6^B0ya z8L(i!Qdb|Jderd_Wf>L_t$%$_@c{=mqR zNXO!(=Wg`*RkQa`ad||#XD+OqSthh1U2`kvE)g4wG4~#OTx?g=(0gTQ@6+k+`;R^C z+x*nx;Zv5B&!2nl07ruGLd(}r1&(t2N|(-BI%~kV1yxIyg>UltZpjO!9zCvd$*e`e zB^9%R7tAeRQW0D@+d<|mDyymp_FB4lR&ZEw_QFNM3ueuoQ?X=LdGBL_>z^wwF23)i z;)3qwX@kctT7=PKf^#d+FPlHN9BtLoC8>jI$yPWEz$X+;h;`uHhnM>$txadotF)ob*rlO~Ki zrFU@b-1Fuw4lP+!mgc40Cs;JNu<$~tRoG)ZU9dR)Xy^6jaZ#b`$n0H=tPS$s5C0XH zl#~>^xO2_U^~J^f-{ZZ|fKwJOshC?iC%9x`uxepdPoTkNvzB=0B)l#zmcT4dzv)K4 zRD(UpP`vg_%`*u z%yR9k^qW9>Aw#Cmx^V6irFWX!diajbv5QMauN@Fcoaxg?FP%Mm)*{txr`gxT*GubG zCby@rcga?e?Jskjj8n~S0lB`>zNM8)ZAQ;P={ccnamA8zQFC^J!5CB3)7Q1*J(v(B zb7JL^A%j%22QfT$oVl;3Z&cf-C`**)q;t<}cIkHWT~A-ml*b@IRLIGTp!95|))tSh zCFkV4YPJO|q7zRot1Mr*K&fqBzEftFRnAsA!%XSrJ9$X)+HR*;&b?6S)tJ+VmlMm* zoi!h}yOwf~JAQn`9W7Ab70#nR#DaB#`LLJonDEfvzPYN+b%pb8%P*R`<(;(r@UQ2+ z@z~kR!yEeemS_x&{ncClURYAH?04!9SFc|6*LmS~{e7)<2iGIl75Wy9&Hw4mFJ0L8 z)pehrJO1lEreL7&*)hIXz8X7mG9Lsq8#{606f_+tpL*iS_|t}Wk1aW^1f~AWDQBHL d8glFzbLtq3x8O0X1%shz`0(Lp79L&r{{S||6p8=< diff --git a/trees.cmi b/trees.cmi index d0adebc0fb55a24a0431092f2473c329dd660d95..3136f9716c3060bf03b52bf29b7bb0b409361ece 100644 GIT binary patch delta 1489 zcmYk6ZA@EL9LE38ZMzK=d1)D&u+Y&#fsH`B7sRN$3yUG@rU)|&8D1;BrJc}=y%z>k zz=$r9#iV+oi!Q^9+i-r8tj1`DTX9a8Xrd;IQ$HAqX2y5tMl=~2o^vl(*DuX4=lMPN ze@;*D`SAI0I)vy8;V+@G9O#I#VZ_m$xdau6v-?~RA;FHida;)ky5GlR>@)W@^srAn zU!ym3eA#Xw$*wQoxn&Ib*O0%M_23xDf`UR>p7h{d+9{jUX1H5Ts;P*fD!SIIDn?3G zA!+RC6=T7JC^&_JGh96jvf&F$y-00B4J3^?q&~JGXII(FC^~_nX`cNGWJAWv{z{$f zNKOSF&t!An!Ci;pT?cP<)+056Y-koaX$M6`=k4l%npAqVl&Zuc$*v(K8q<|TGL{(R zW2G{0-!zW0_fWEcRm3}<2ib6|)iFtftRpV~Ju{Lwj>Zcpy^7L*cy114L7C6W&GYTZ z=B!!KXFxJm5Zy+yY?|MhYX^Z-Y-|4N%0E!P2!AejuYhdu3fHw9^qNQx0W)kkfAy%n z=;O&nCuvRN@`6lR-X@C=KNy#^v|P@A442EvmWpNGTLPNcCWfj>YEe~*MvMrg{u^cs z7?Ez^w4BYPJyNTjmL<>p9Lb~fu_*U}{)E3A{t$;^2kx+{Ye28_k*oS5DK%*TXGDj) z>Awp4NHq8z=}r!79k|D8*bF+#8`kM+PYlR%-+l9v9w(X334gt#+{InOpYuxsfkwu2_^qY$UCbR`GaLP22kgS35?&7i;F?|?ta3wYj!e(PboK~rMb z_DG@!IGZ-bZd?A}?WcA{t78rDiU%Ed&Z>xk-ryCL%_&XSfe%H8`xZIPCJLMO*v}g0 z)?UY&v8)l$39(DFMK;A&#Hnabq{F>zX?tU!<2*EN)^}|!Fs@}pf`nBt;e-}_CIxyWr{l2Tt`I}Dr&hg0kR=%87Dy}S)F$k zhS=TSgY{LY`Vm#X@LU$K!EU|)ni0*ly^%phiz$&5pJxAyzD;Y^BiMo9!(90supw?$ z{{Wh0t-fkJ!S?&UtqUP|3BjMU9yb6Bs&hro%`f9QYv@Fj-@b$~1nEikY;mBz0}WTu z@HaQ|02>x9gI~TmYnVh*S5t-(d6W+`%q|wUZP|lRE<#1z2>>>fSxzJ9d*Oui{;n=n z*AoLOe{BdI(g=HG<>p`)!uKQG#??)L4N*&N0sSu23WH}y+04q?9S6{O2#tq%b~|9h z5i85@)@50K=B26AL{bS6JwSvy{(adrE8F?IQ%^U%we`?YP3LUnn}bhHUCnu=HM6m# GSo#-~%f?~= delta 1489 zcmYk6ZERCj9LE38Z97=z*h@FI1qfwjD@>Mk1vWR0-Uc*F6mc>PDtIZ|?N;2{(R(*G zbejS3!<1M(Atp=2I|lRR(_)R;2c|_{B=HS(5zz$YB{NYYnM$J0w{yJr_C`O4UMtA@l{JEE@*e*#J7wk)DAL#MphVhp?NCxw`N;D{xPtlYQczLl^tN za}n|M@vLn?g8jYV{<{6hyMnx#j0eX+HvFclqaIAsX4RUoLhX87Pex2#GZJ08W+rtV zN;liT@IYV~`A3mI&ec;O8z!ZCfm(#>kDDD(_OLbCTbCY2;qxebiD$nA*)SrrKhk6D zFXJW2z|hANR$Hjyqm8}(j2u5~4nx)zPZTl=-PsG-H;(O4fJ z%SgYKGmNE^D7lJ~?|8={kc3jmj#27okL3DcrU!F}QU5uXe2pdF@Z4pP4RbPg1N59~ zowUlkO(;DJiEblRwXAQg6@9=7c2{0m#ZOp1gXOc_{RL#hAHsDl0Lf%OFvSM)%7*NR zb3FOae9|YUad|S`SPZo~o@mpxwul*l(tFcv zelyYzysKu?DUZ^urc}jq<1(p3^u8!B0$qnM3%*hg#SZvo^=i-<-&|#PB&o+uAR{{5 z4gXcpS<&Egq?H_2I8ZAa)`O1mhLwii83j&q-+jxx-a#sz5&o@?65_DNf!n38f{x#O z6gAG{ES?QIaL4>nYy=&(k3yWn{FU6x{>=9eol4nfxdAi_Ul_ivynyFz*e(~_26|Nt z+Y*U&0;f}!*lpAQyZz9vXm+d}yy8Izx@AQa^ct_I*pN&Z25?4nxEHA@cBG(TyS>&P zZtZrgF=-8gUKhKxnp8_{MVv~)iGTB8t0)2tEM&46F0SPJ*h=I6Nx00KDM@S zOZBhtoriCl+s}Y(xGEPI0lgu_RYpf*ul-N$XX(Nn%l<-nF3JnIaRg*TnKa%6rCGJN z6#Ljc-e+qnQ28+`KjXO!V1wN}4Vn_oRb7!jEfLisNj}XJFBYv^R)s(qfxEeK9yl1A=$de9jh@z4 z-7sRkI)7~l9m){fxp;kG7eaLiHF9+wV8gvqZQ}P&sO2WlKE+NfuG(}E^*d4D#4l&P5)3?b8%!*lP|`H diff --git a/trees.cmo b/trees.cmo index 056404793103b02a82d125391de78e0647954fd5..4f2ce08c30f0d05e59d5e770f927a3bf1aa7f6c2 100644 GIT binary patch delta 2674 zcmZuydu*H4756Xxz9dd!$I0i!wVj8P*ooWNt`ir{Lb45s;hH*Brs*qf zAz_Q0(rztKjX1XurUuCsT|rgLD^nG=3VB)?-4q_1@<&wKDQFchMIx}aFv#%ExgSOu znx&(2&hPxr>t5@AXGZo9SKS)lKG@dT+4-YTIAkyc=lTo=!yB(ueX5vlCX2lrgju~q zc!E~3pt!}9>h3BfbPLHKN#a{=BV9?tF&BxOL?L0GMgkJ%_LKZomI>!6v^VSo#a)Rq${ICBf@gILn*Z%LJJFn}km2;h?ZK<$< zr{K{r3cXMH^gG-$66BYA0lkZDnA8u zd!y)YyHR@(;ckS-vdRdc+rJXewRuzH8Z=;f^P7%+(NQG`!tmB;h; z*=Q7MPbQOAehIZNlc6kqeoA->*pBe;5uVQ~Pv`B+oRHvzG}J-XZm3JFCs7#9WJGui z{rO|@(9lqPB(`;6Z!Dfj454s=LW+XIt4y6nQ7`MWC_2Ho8AWp<)xIiKM3sbML-AqO zb`)or_Gg$3tp5TNjVP$2=^$$jCW?!o?6^I?Z6Nm0z?Quz$$kgM^HZSo7o4G>bcS^X zrRQ0fp!5<~{u|2PC7n{{V5Xiz`8&+3IB*f>DEsp;%ZV3Yrj}{tpDe%P#%%7 z5|nS2NHNN}iV7>rv(nIDwaHKgtkjr74p_UTQ3ETHsg4s?>PewSSjVN|h4q{?e6Y?+ zPBW~uM~X;6SU)0&uCszB6ZBW9_#NwKQNdJY92HkskD~G>)+bTq+j}i^>^}y@<+7vd2G2?FKavu+oG(x54L5AjH1fTRX#w~ z5>un7`jY$<-CuQ$WITrI4Kn8ts{17JB&w-VTDck3;}UoZ)iaVJP<=rn$55>|Qea=l z-1}hXLsC%!J6$2|{XFb6B_Y3s{TYdzf&CnF?}a@zCy{B`X-wk0f>mV_c@3*V5^01( zH@t8}IV%N6w~VyHF({279D0WaI8Mmyx8b0Jpn9`#=pE+ZpncQI0XVIaauLo5-9K^W z;iQ5z=>nX3!Q0_HBGY@|oZ_sLa8hC7-Ua6cY4pQ+MH=038D#b~xcG!s{0lCcnCg8E z7ayc@3NEUfRto^vQAx?cB?m1?6~Uz!{2^-A5oscr|5x1=-;vn49kmLVP*Lk=U5wf> z)}^RD&Dw(6cUf1UmJTpY4@n&jk*0^Fj&3TgI8nDi9rXue>riY@@{xhqFzWe88B7hv z^5_WaZ=w{npdIz+c*=qh>SrYqLH#8;_i?y=66uBepftMR)>k?OH+7=)AE4m{nZ6MX zJcC+rCmNRMp*O;dy`Eojo)O~Mlr!HCZpAd-%R9#LNq7%){AqYkaNJmkW*fDy5!TM)l!qy=p;=ze z44S!>YV@Hw%Q>&3MbOXC0nd<3fT83g8}aSVaQOlD$2H9m)6Ry@4EPCGRodg+$Qk<~x@WBlS1V<)eg iezR%%h4mkz?s7&oE@e~RaNzakLgX|}x{QEDA(nk&e delta 2756 zcmaJ?ZA@F|74~Dlmv0-xH5hCH1`If0jKNtAZI_ufUFk-*ZX;dRp*kdZKxWbm$mCS1 z%$ojSRU%>DETdIZd1}>mDCt;}Rp}O0p2Uw#tFlDP)J;jIX35g5OBFPwDQ!``bKZ-i zraxxs=$!MM=X~0}_os=Ydn)c58jpAO^z?iy7z&z99a{!WCewSrskk8uA0Ugpjnb-p zL%!>G$ZNtb-xVG?qj`EtDKbnFC%I-Z^rA3y4);;4oWx4vCh?Hu$+Mahe~|yyI(nVt z*OC0cT8AjkJ#w`Q$-Z6d*!_7U)z~eM*8N4kWOK+x&ve;#A~1qxj1RKeEa&SaIM!aDUsP80VK(b$ca8E@d4F3A2IP2K2V(MYTVwsH z)ohj-%qpIoXiCL2jIK#^?aPP=VAuy_ zI9RL4(3L{hD;d!b81@l48hk__Mb~L`Eoa0QK-nR`JR7`6A48}Ep^=Q(0~q$Wtm|w_ zro>)o52w?!v#+;$I=h0wL}xGM*-L&L)p$gfJL zr4Y#XGxZJR&#-}LHo3imVaLE%Z( zdJ=_1kO4Ks_|T7H(VxV&PoZe#Hh6n76d&glf#PM>FQRyrbrDL`KIdR9;1=(|8e#me zu+mvm;v%dG_RqtrmbeTnbxet?u$g#&aRoLz1J_~O!1@MkgPiaIY;pEKgl#YD71&;7 z{V8lGIQ}tgOXO<+Z0D3AP)geql8@4@MA4w3beBS`D4kbGF-p0LM*rv173xn`CG7nw z=760#6H){Fv@+^oCpHyY2Rk*TP!sH@l;MN@rZU=4CKP8q%6JhCohb7VB7T7~8cd33 zP-W=*pJG+D&-ke z?pMehDydIOY(%AT#Q7vDmlfv_oF>J20ZyZlfHThI$Kae&lp;9kJEXlA;G`+(60gE} zMj?xE-em3|s!9~_2C6nF%5hX}QpibEjVh!8)rQf8>ICmElBk|mp*B>%q>KQnjSlsw zzM#_2qM8mtJ^u`s(c&GrXy26B2Unk>T!d?vqMV0|>d~N=;WFwy2-lJd^}}_JlU|04 z>Pqb~dQ^C*R=1YnNxT$bTGYh!iW{TMiw;I%3 zgc_sX*HIIf_PZ*Q_i_gPgojxdVBHDU#aMTRwGFietjkbK2TReDqn3K6=*dw_Urb84 zP*+6_j0eQXM09fOiC8p&IzHi@;2zXXQHEyz66$WMnL_Z0bUH@RJ@7af!Y|?3sz|-? zEGpy`cvksADjS1=PSg)@(_5$?G_bBf5cP4!vZy!8e;*BWcUt*-Xo#puG*RZ-bAPN}e$Jxtd6oAxyd^RcZgG2SC{Os{^>U{cc#XQh zg7<`cD(rKe;_yT8p5bsmyw_FwX*3PWrEsIWi3XJ7aWwIOVkeqrReTvuE7IKE=5D47 z^V6W&&hbNN_H*1)h34m}eND2D)_*X9<|9md6V1n&b^^`ZPP5#NmOcjFLW`uCit7P0<_hlIgf~;pWX^e%bBv*P zqJ3WeBiQ{IosXuUrpXPw%YR^YHy@9VNPq9NNeUJ Pq%Ws6%QV?9MELVRI4DgU diff --git a/trees.ml b/trees.ml index c9cd94b..463184a 100644 --- a/trees.ml +++ b/trees.ml @@ -112,17 +112,18 @@ let even_more_pretty_printing t r ystep skip = connect graphdata.(dpth-1); done; - set_line_width 5 ; + set_line_width (max 1 (r/6)) ; for dpth = 0 to (Array.length graphdata -1) do draw_list graphdata.(dpth) dpth r done; + (* let halt = ref false in while !halt = false do Unix.sleepf 0.1 ; Unix.sleepf 2.0 ; halt := true; - done; + done;*) end; graphdata ;; @@ -360,16 +361,16 @@ let successive_insert () = Stdlib.print_endline "What element would you like to insert ? (crash to terminate)"; let elt = Scanf.bscanf Scanf.Scanning.stdin "%d\n" identity in - close_graph () ; open_graph " 1200x1000" ; set_window_title "Trees" ; cur_tree := insert_abr !cur_tree elt; - ignore (pretty_tree_printing_new_version !cur_tree 40 100 1200 1000 true) + (*ignore (pretty_tree_printing_new_version !cur_tree 40 100 1200 1000 true)*) + ignore (even_more_pretty_printing !cur_tree 20 100 false); done; () with - | Stdlib.Scanf.Scan_failure _ -> ignore (pretty_tree_printing_new_version !cur_tree 40 150 1200 1000 true) ;close_graph () ;; + | Stdlib.Scanf.Scan_failure _ -> ignore (even_more_pretty_printing !cur_tree 20 100 false) ;close_graph () ;; (* --------------------------------------| TESTS |-------------------------------------- *) Random.self_init () ;;