From 8351fef480f0a98d421d9b464b338e406116b051 Mon Sep 17 00:00:00 2001
From: Alexandre <cpge.aboujaib@gmail.com>
Date: Sat, 25 May 2024 15:53:25 +0200
Subject: [PATCH] Fixed critical bugs + DFS now works on all trees

---
 a.out               | Bin 280542 -> 281326 bytes
 pretty_printing.cmi | Bin 7428 -> 7771 bytes
 pretty_printing.cmo | Bin 24918 -> 26010 bytes
 pretty_printing.ml  |  53 +++++++++++++++++++++++++++++---------------
 4 files changed, 35 insertions(+), 18 deletions(-)

diff --git a/a.out b/a.out
index 65a0cac49ef68d94b677849265aae39338a4c92a..a628ac9496000902870a531becdc966f1c742e74 100755
GIT binary patch
delta 1356
zcmcJPT}abW6u|%Yp1-!~R{OhTex+M;18Kg5g(9YbRv?i`M1&gRCox*~BxPjfLqrns
zrw%<789r4*Y0CB@B=itknb1R&B$6M4KBkr7+rM*k3yC0o=)!Mj_w3yBanITPa6|ig
zOY80tJ#q+Y`jh%?iqeFlL%PGA{m`8(4&zJ^+&hXDMX4otxrhL9kuYdkP#b`cxcCT6
z1(I~9h%<zRU>gztUP*E{;U*-`JOMjSd4$Evc2$Yr@JkRJ8x5yV1x$D-2z8<udk3L(
zli7MUl<fvHTEP6r;M8k|)uh#8^vQsIU2bly0IA~QQE9@Qc3~0qdS9*GnoD(a{SAZ_
zmx5sbckPbV8~c4y-#={E61$V+XB&};eb0phD+XYQ8>6Ntlad>eF#LZ3Blspu+RTY=
z@5IS0X%|)c=z>F-vCuEG^{#0XuAsEs9uq!%{Xm#jKU#7qKVLl0RFWAqTumgm5`0Ns
zf{WvIWlbnWB-@A<f`>FhMXDruNV5s{(?uL3(g}fmAsW0&udv}@2-IXhDWia|LXca=
z^WY#@_cw><NzabV1P6`6x}Y~NISMy(xEYs2;Kr#^*p647(xL^aTy7Dk>>-k{Hw5K!
zEjcgA@XrvWsNx8U2;`YLNfXhIjWv=gih#|^f6LQ^Mg+q35tvp*C|ouI6JB{DhFfQ0
zOisk`-7K6-8;===kL)-kujLrF&Vg5K!QMH@b6x&n7%8Mqn6Q~+(J*$gEv*iGIR}ms
z{B9V09SQZdKlaDt`-B@lT1Rda6nnt#djHKZxL!Wa5n@a9o~+wvW63;}7w~0Q6MmvO
zF1gEGCqE~gK^~Ec7v|~tphrweBY1F}1e+#IGI4Yss_}EHv<MA73oxNSEw}0IT~5r8
zf)D*gVAJ-+50X&qge%+_g|-IU$l1x2jQe}@@4iUsd^p~42j3o0pUF?x@!mnT;ulUQ
BB_sd<

delta 763
zcmb7?&r2Io5XblJq!NFm<_D4njoUOD1U=|E{z7cQ7D_IKo(d%gTZu6N6%p|V3ZfSg
z(Yf~EO;?N5EZ7zcdJ;<d2NZkKtWA+<^`zxFBb%}(!3Q7a&Fpu+Zy5G;*>kwynVb<b
z>L-Y;KKN6qC~*{NHEfKm!eoi)T3Vd;qk9c1@XI><tWxN76E32UNbw!tMuZPPe1tko
zM1-?6Ohvf;pszztIB{8rUhxwD=@7k#qs`~*CgiFdWLbQ3g6@KNh@oBKzxxTE_5aW=
zWG|Q9>(;{;;HmB9JD#Y<!3?yjaRtY>p%#B+z$xMw%s|+<&VUIbhDSS~wRy?XNhB=m
zcNDo+O4JZfi1)+*(NFL;lUANI+CIZChuAWL-yj=Ny#+iyh68oBfIB%D^-dS0Y$7dh
zfsbCmXC_3%F7}(Cg{Cf~ETeK!!m=#2G_saX3Uw3wuU7s_$<q|eb5>q#W9g$aDLJx+
zZ8}I(Zp)|6rL3^!d)RUU9YKvs^gAhWB0;QJv4JC|^QtevyWq~p1h1Ya;kFw5egZE7
z+{I;<F(E6uvHmw?mtK!GV_hDaJndAkCHVLV%}D2=_l-L?l$zI`j<!TMu7)q8vxjK*
OIQCU@3^$%TI&T0*;j#Dt

diff --git a/pretty_printing.cmi b/pretty_printing.cmi
index 5fd8bdc5ec923cf5d79f658205bab5ad85701458..b63f5c6d15c545a0bd8e317662d2139d426faa67 100644
GIT binary patch
literal 7771
zcmZu$33wDm7OvM*&7r7^0wS=8kb^66a!3-nhJ=71A`+1!;4sN_lF`Y`I2le)L{!wp
zk;8L!8zUf~5JgsQ21Eq8K|#4e6fYD-Bp__|RdrW&q4Iqh{`czDJL~QOUu7^OFE6j3
zJInpVths9lY55Ex`UparOu@f=^X5TOBNm(BjYI>XSRhnx)|eeQ_E!30;7Z+@Sm#MB
ziB~84qEX+3+f2l?9{a6shaGx(;vP*udyIJCf6ElST)``taMGAiAl66Wu9W>&d1?}w
zk;}bEuM8Fx6(^`xP~`V`X47Pk$6RlA9BjnKL__)Ea1dPW8xYclpc}^cP+w1+yOdOd
zO@)e;)gDi;nna2>6b>0)kB8Jztrx1xE6n#`plu@oaCO+p!z&AheX-t3*EQ%CO)3U$
z5@=HrG}%H=F>h|`!+N*#l~jSNqn#kyUFo})QW;)?>B$-e+MA%wP0(x$&1ZUs_GNmK
zP)`}SI>}7`#g%omo>aG<sp~x&v>l-BNzg(I?PKaH`Z0Csfhup*sEqhZ4PQyn09R+O
z*s0S;yrT4elh#*U-jG;AZ&T=xrNxaBeZp*yC<PY<SAzsCwoo%>`;pt3?JR%PH_jUj
zV6sc1MwJn&@Ku5<&5DdZ%m>e7R;5ZSe9?Tx-X;ZaR`92mx6`l}ZOps=dE9MLq_-+~
zn>BLjOog}I=Dn)$cGx^q;W3YCBlgq4Ze5_X?m}PYD)erdp*<3PCeh~-?UiVsL|;hs
zr9}H#o~y$^TL5jHpl?|ygXQ^?K`hUy{y<eE=$inpbUU{jS$;PEeQFOVt{znIAs!mt
z%esEay3*ZB>tO{SQSece-l@>Xq}#_O`icdx4agI4T`FAHDM7ajoXLXtrIZEXwuA6i
zMU2uwSpY}V&2}`WnM-HbPe;Yl2?c+x;BTxrE}^^*g!M{QTEA29Nd<q)s#_n0YZd1A
zGK3!_`ca}&EUdFYW<k?hXnHY0f46b7Mi`b3Hw0K*DaQDi5%Pn}ZAUXvG4K=jRfm5v
zH%<2QAEotY1)o;%FLtkvti!wb6W1X{Y5!HhXB7M!?}x(a3iB*y;*#Pl3BOycR}|Jc
zmdtF0Q7hAMUZM*U{UOmsi7rX>KTMns89?Sj^Fz@57!sL+ILT8tB*IeHKHxWS7mDG)
z&fv+Tr^N13M?t8oBV1i~AS<Bd-OzFvs_P+$(OjMHL9VVe9GT$7jSF0vRxNZGjoH(o
z)J)JiTXmhwiLwq9tnoYtSi0r*N3T)@sDgFrT|MsIC?Kn#<^9kyjNaWVh;iJzNe?sc
zQe$Cng)!a-t}M$rtkYOUBaY2@bxKtXH|Fv?6@CM0sUf!%1+oQN{RXXS(NdKl>bRvB
z3E!%E;E=>U!3a+9mia=Z6TIb7U!+3r`QXYH>3N=~=Vc!ApBCD>D-<WLR4`j7aa@j3
zSXYUGr!1;<S6gzO6}f8?)6o>Y!{q<#&|Yb4$z4&UTgb>;DRO)&jbv(y*-xF)biIO`
zEBFQ`SiyeEP1;ClXsY05to;G@6Tu%H)M{U=$X%!4CQO{|bM&Fh75_sKYAnNOEzyk<
zwUOv1iQ4i)?*(!QS}%asi?Go91hJJD`U2q_a0jcr{xUq7+#+gvp1XgMdF5B!Xs6&L
z1t;?|=^CE$SaEcyP#RM?r%d6bNH5jmb+DDNB<dQ=w+@4pUdp;&*Gb`bw)?f?{Ze?p
zJCyb`1uKhM-ObF5Ix5`Ktqh4WCCZX0o26E}0U#GTZG%p`kZ2)@{VcUwcT(ap*O^H;
zgYY!f1&^J%xXHxhH~GW@lH=($+dOI}7gk1a>4Nid4_BH7PzsqfkhvC>rVC;NS9%wz
z#2!fl3||?*g}6zZSbcJY*vHr>R}i~+pJEbXeFld82EZTKr!}T0PE$;(ma+>n@q|v*
zYTRNeA0YJYM&)-1;#aObLc(}f_L##xrU(DAqzo1kHMm*eKg`7#5=0qxavle+9I<R^
z_bFA$vu61Pg_TPi%6#7{QCDsRLkU3EO_0?AEn+S#q7%0^mGE65&2L0v72a@}*D67-
zWtXO#*d<96p_^i`J6pN6$qJ{3G~1J##WIB<Ya?WBM;#Ldae$kBos45Kb|?!3gI>Qc
zhAVWQZ8D#k%oQg4D+WAP*yj~iFKaAcwy5RXJaw@wuz3xXzP;Im8NljWofHgI#rpBd
zINhYl_N>&@8N{w-x~8shePz7;B)Xk-rB`y<Hj1r6DbYuw0ZO|%{{~8lJ0%(<(OnV^
zmZ*s5dmTUwvWG$TNKD{*K^Q#WUlYDtCj~<pZgAZymMwLyx*Nyz2*sr#QvE$#{ceEC
zkkcJ<3Q_$YLG<J5@sKu+)ic>|1X(S+as#?HO_Xsc=AXJ)233>8q>14Yjo`+<0(cs7
zwnGk^MkfTpu3);WK9CvASZ96{!W*(tZs75wn+R&V5=1et`(G~7btCQZFhh|YW%FKE
zc=w{qu7(Q3D;*szkx!x$iAq@*u6h8^Le3>z_>ibCh^u%Q9f7>a=YV~otHP&%?)DtO
zEfMzxYioF4v5xzxuI&&>Etl5t0L6th^_*p}RZ2Nt*7>D;nMCTcaz9Iet{oQogLXnT
zDIQd^Y46HYI3cMkEKx+F2Y4QE$z2HDrbD+^F%P)pT0}L^LotxqEDx!r;ZVpZ#Vqu&
zv+$<Kg05W@K8>{^jnh$z3o#aHiNdIo_Qyyxj`gICOzIr&qOx(k(s=@_xjIZIO0frd
zG(Lc3&?5(Wbj4^&1d-39nF3@Uizd$)YlOU&;i!Q}z{_5Lz|~WXRCd?UHRp+dOi|o;
z$jZK^o`xT`EAp)(_Xy`<Q6dWSQKmSPrR5ttiL{NCIo;(bB$K%Vf5?vHaXVD<gaA+S
zwDA?q<%}-!m}s9Qz*CNvryV#|G(RK2vjRLPz`uA_-vamudIq6q1hYCv5L0<pHvy?(
zS<NgrLPpdVGrVPEaO1G{DvzB`?Rm%SG>jkEnexw5pD04&az<X@4y*z=2KnnCAI}A@
z)q=3roTETiUhY6uxYDp4=p`JO=QuE(SA{yKV=}|yI0q;)lR3%eEp6*`oaMk5MS@-u
z;AH_`;T|6V_znstLBSOC_@E$O;wh^Gl3*UU3&kqHl`n=|A6!9PuUfN-{M)hhsx`8-
zZ4T=-e7v#+Ul-sFZud0687OQEg&k4ZFM>#8c4-qJo0;9N&IFJLW;PYd0^{+BS0MaZ
z&iq+yn{n>xc>2S&Xo*f+@ER)nv+i1JOTT3eXuQ%nJ1xOAgWcSdoiJt#->U_f<1{)?
zOk^Inh<($X=C>_gb@HFy3(0&T+|?0YAb8G;Em<gdeI2=XIFCB_8}hEjY3#@>vN+C_
zhAd`-rG+C=BcgdvfcFJhBESa%EEV9t0(>aIG69wgu!7Z?4g#o!!Z)DsO(gCT1U~j+
zjblJ|vKrs|cQp=#tP=MYvjT4>I=#j&+Da#aRXj$WPGmCx-wbdj=(LqBm#~VfEc0Xy
zlN;&uUo9M7E5JIZalHfW$Jk<rv%$))bJ`&vTb!Ye%tniIkHh)I;tX*(n=FoVRU?}%
zj^W7IkE_mpLbk9<h8&5l!u@RmY!_gM06PWPCBSY0#Cs?a&!I%ThLXL!l5c_54Em3S
z{u433a|AJyR}vT26ReWm{;rada8=BzWud5LC96@XU88+Y3}5iLb-JC^=mWc!5nJw{
zUCZ|z`Tb0;#-YW-EIA;;I^;Au&!pstmEXlq<57#V$l)BbI13%laf`FS;e2Ir<~y7d
z7H5US`P$+*-&u(L3cAdZImv3NjJ0ot``-y5o;!(n?Ihx{lbjMVKMC-&0H+1`MSx#<
zEo(u`fPo<x7{xlA7sNDHOT874bF7waV|a$@gP&Y<Z7rr*2j^vrI4_svH>OZ;0NNlZ
zx*CeEMWUe~@TQCkI|E$76egEjH?+P?rweB$YQ`fM&R4d1>8_<tJ}%fi`i8@+WkU2h
zhjC8CBwjhmAFP{oZBo7^kh4PYcL6RsS}r+|zkTYr0A8nya-ay0WqKDu@JqEm9N<ci
z$ND;_;a550B?QXx??&@4pXcK4)zMwG&CM=JuW!9#{DLj_zG9k5LqdV^ad*Fs8>Y{m
zdieWO#pfoL&p3I(G&>c={J}tp*IP89D()V4d{+6dpEt=ER=sgi+ecRBm}a_c=Z}nW
zclzY~P5xPn`wvR*ll|53tW&BA<AJ!lzdsiq`^;N8rP1;J@72G*xoM_J6{WsVS=_B}
zeXjgc|D-vuox5)C@`r!gqZk?N3;Dy9ardOfn^O)4Y1c9Ip%FbgJUGfUGlY_XzF1(a
zfw!i(yG=a2F8`XP4X2y!CmlNb8orfx7E%N7J{)(?9r9zlH7CA|9^Bvf@#>TTXB1!h
zg<@T@<L)8f4L?!WadEqw`;1zAA!S3-<q}z$arZv0K8$F;w{}ajEoYAOqt`3m76xJ!
zMl|kDnzN_rJndQU!cXV_zU1)vZdelGM?ttU5;QRL2aB_JZ9P0<RM&dfl$~CCYmMS-
z0e<F+yM14$o?J10?aV>zXWmmVuI+x)bPFZ<fpY$3HSVrA?B|8`m$^&tY~F5YTIcOP
z#ob=)+iToCto4u|X7_*R!#(q_db{DqwYjF5VyTI{(;B3dt$B3)iWfrBti0F@M@+MQ
zU-rfuD8<U39<^qAqghYB^nUTwQ0gOJjy28P0{kw_Zl}?ZFW4s>#c#d&zA7%fVd>;~
gsXw+qyXv*-`wsedd}0qwLUCYf_@}c!6Q8*L50P)D1ONa4

literal 7428
zcmZu$2YggT8lUg&Jj#h@L6PDiLK-b>5;TbvHwnE9A|=FSlYL1RHoNO)1B9jssHlf4
zML9XohtVjY5b-<_5tbrFIw(jBy(%3fgt9j?@6Egc&F{A_|L>b`zB+H(%W@TYlhV`E
zyW3OjQ)ZX1K&atpgwzCt>aHfgSM@gif?6n4>I?)uzL3XPpjYV48Fm)ALZIy59$Dpx
zd>t-}bp?a2(r!AzxCVWeH6tA|9ASr|UOR#uaA&oI*GPCR6^<$Kc|u(z?vJA1I!8q$
zIdHcZiACP50of6(WDRgT9P@Cj!=bO%TlCjLB|%@N-|q$GKrMutAmWBL#@E#mW-i6#
zlBUj*mGursMnxpf>GS(Er^A7wSjiyj(mQ85NT5vv9#9T$XW`|0{jN|asp|&f7LLgV
zWfCY;BRJMTuTyWjb)mhRxpIp^sWcOWJ4k&uVl2Y@iRwwo0p(**$|Ja~f#y>^gSt{Z
zF+@*3D2GI*|K!RhTtleaOx1N74$3xAc13V!1MQ*e3cFKviJoF-P%8?!@-$bjR|DlR
zQ*6~~3#%v|spFcG%UdH~<8BhYO<3G6&<<*QXdc)w*lI;^wt?zV+Y@_I+bQm#YqZnr
zA<51SYQ>tb&{YJ=5hF4@feoHlj7sGdx`LUKy`2)?CE=e9Z>N)9_#xKy-f{PfB)wb0
zdyJ8bXGy$YP2L9*Z?DPICEh;5!*%GRmf5;MYTZwKDVOL2B0~oSsubvuK!*i7BG6HR
zjtO*}=DExdxFO)i5&VgPl4zdS_oI1^cYBHhURNn7N6p->qxsqR*Qq@rxq4E<r&wrs
zH|@HYcExfLPD_$!Bz%@gZ<pxbgxkLhbdCnF1<(|z8xM6`M(|dSlW7o_@@NotGYDsK
zK+E&wd-6azW=3<7x^#s;T1b}8OZb9>FB);&Ch{sE+ACgay&~aD6245UTayS^NzAJv
zglhu*A<%Ui)-^!0;n6C1^i~A_Vd8pqNLVT~@X)y8v@s#g=LY4t8O>P9Ko#><g?~^t
zb^7>7YP})hY6;&od$ph)z9f&Z3UN~VEeYS2@Ez8V2q#L+C}WZ-MNA1%WU&4vv4AGC
zt;A4x8lpCV#4Hz81y4*>(VBu+izH5kBtYd*{~**qLWpEeoMNdP7@(<3@VGUy3WdnP
zKEaZQ&zY-Bv^EBz?r%(82SCf9(euz~Fj3c$6T_K0*Epsw&mSmtl7$PDlSVC67*4XM
zLY^MMQLg%aDa!jKT!-b^L(?smKP(IXT@rpkc=sUlE(g$ZXfzTU`H6Qga$+>|Zqfwm
zU3|#zEY!xhKsjYNN9r_6()bXy8&@163v)qViT|*$RF_!_0@?(RUxml3h^1mqM46@c
z5L>D`k|9af1kGFO%y;?nN}UBkSD;X=`JkNU>3N5xXAX<`o{2X4h~&hh60T>Ao)U@m
z7$11jq#CVn$hDH>8boFgQ@FRz{;QB6wZ$@5Wa$_Yxit8r@l?Yw`pBk_sHEaa2{)B+
zGb&g}9|bzDBQ-oB;U={GCHe@EhYDC~dtAc*kZ@xvPS-g+{%*w$C80(lj0Az23)DiO
zmIAe6h29P5AT(Y8jTezZ@8QH|R_JQP7U1SadENPBXL5$u^agYP7WK+4xzSp}()<u@
z!^)&8WS2*aqe7u1n8Y~w62~sQOqRGQrjmM8UTMI3^^@A=ndK>o|FqeUR!CLiSijy<
zd#Z%fB%Dsg<*Ga*+-fIKdx1I#)RCrEX#kK0Ew@0+9fWAeiG4J+N(Yqd&{yd(<P9Rb
zsk3C;nMM|waQI0VpFlDk8T0hRdTi&S0GYbrM%clWwg$+9<O)b$Nt7mXVl7kp94aC`
zVtQ$=e1Ph(jvq1lq;jzzNuM-M>|lMek&pK2<9BNSH%T8l+QK+a$IYZnI0%#M(6Rg~
zJ!>fM#r5qZ%6oI-GE*KvezI3~=tCU3gZ$B?^yd;4WU(NBBo`&fOJwNIc{C`$@o7sL
zA=%F|-g0UAie}>4BHx_^>dcIgP&|<GB&0Ma7D+A)q9wC74Y5_BwOb2>3Z4FZr%{66
z4ZAo|CtYHA5xPh|bfq)5GFjqu6K1<Jv!qOZNLdFdTZxXboY>FIeuzfX7@OyNyk4i<
z6(TeAIn!h&HJQduJ}(*QVT3KM;L)DOSiWmg>t*uf$+EY}t0k%HLtngJw7z9AUQcnT
zJ9`;t=$Ook?5$L!ol&$ueNUA7Qvc^fyaNOpNW0?um~0bCwy%)rC(sL0`ydGq77{}Q
z8Y)n>K*I#eVfkJK5Q4UYq3tk|z}1}4SiVmnwpzz{eMxpu&hu$Yo~vFYV|u9MhEu2?
z&eZP&m<*{MAhk15zl#&ynR>EGn@;N)>(;!qmKT@-RhiDq=py;YHkv`%WUergCy<*N
zI|lFuq;7>&`WhYQ1U-VOwwi!uQe&;yNr;?~wE~T7KQ5Z%r&NkTV`cx-IXaqe4u_eN
zY=Oy}Bk>A}$F|xM!z270A<#&HyaE-`C~P$V-h$NIWZol0O-|g;qG$o=J@yKi=ec5X
z6L854fvkvR02(X963Kdyz8c$jPG1t%iVb1BNRsu_IZ9pvd_p`RP)O=fLgQDJO0IsC
znU4*U%xL=3+tMY@7@@0Fps@mtV`(50?m}oEhW2wv8pwoe5c60XvH{JbX^7AB`+Qm+
zNy23_2_N$$sLCzFC-jODXBg*59!#Wx=1PnS!u-o7LX&7mTt~;XMB8}Y_NwTLCew0T
z0~Af+GE-R`E`X)b@hRw-PU6Vr1e>*OQvrQO<4D&=X+CF>Kd6zd-(9yppj<H`Q-Pi_
zRK>a)K<`*Syk?|bu{Oczb+ZzuEvYvci_{`u@upFw$ut`$&D3GCzha}vCTaU8Gk(+R
z_co7mItS#YhtFa*n<e-rZ-0w}cdf=57M#hOXK^r_gZDUipJntDfHm;!2zb^<GWsbe
z=mn5!+W@G7W;CTh^Jzg>NOR_wki~*+t3kPH=2DSTH-{tu=tlD17am!sF7yHSU@r4u
zIlvLfTnU+LhzCD#VmI^PFre?L2hDt;LQt;p>XFT`Y8z(`$^Tek|J$sb^%kNJF+ZT8
zkGNf(+1&wf2C~LO))b<QOsxiCL{5&s5o))cHI~Glla8u<&ls{x`h)xP0re+r`ZLe+
z=VQYk+f7<<=)#7AYWvU>EH{Qm7~ipad_r@lf>iP{?)9e}d}fJ%Zo&EHcm(TkhZY#T
zve<hr+t5NT+`v-s1?O4E1N0^5#aeQU7!N;eaTXh#hb&Ho!FkZ)d_`Ug>ka}f;lX^(
z!GAgUhJ*ic@GS>RIrxr)WgL9Z!E#z$Og5tDA*%|qZV{r5NpyOQ4l3Lq(0W?jXa1_V
z9-mR$>%6wtX>H8|I{Lv1Xax&V#e-RG%gowVo3&kS)K;1%QG^KMVU~iG+~ZXotg#x`
zTJT3Bm)RC)ox!oT3TVB-vGy=%gTb+OIB2868EEPG$>3P$9JI;cXqL=ogCkAJTj*Hs
zWl3!1?(@r3w4HNyaIlkuT^#((!7m)_=3oy8zp_%k3Q8^LS`J+okWx<O1Uq2hazOiN
zDck>5DFgoEkWtJkvzSUxQcRp-)@ZL41HB0)Vc{=WF-ghEoUP(MreLL6%&)8t2WT-X
zEP6lpnct0~LssKq3m!4jx!B?yH8|3gb<E%_v}BGO9P4%#oiI4_Et!)BXPL!0WpKW;
zIHwKHQj2qj7Sp=EKxcUz{K6CQ`%ZL@H=XC;0tXj4xWvI_4z6%;l@)V0C{3Z~0O&c0
z<aZAzirITv4a5d1W^93R9JxWhS*SL8C$1{wNJ2_ttfbb72UVLq?6pFwq8+4tG`h}R
zxWNILkNN5<?OPDP4MqGi6j@h}$hvVvcW5Z84U`P%J0JRfNeIk|B{UQ@9soHU#-}JH
z10ggJAt3(&^gn%z3fudY1m1k2^Vp<zi*Am(*6#I6U5^>)^Nb1GyRTb2W8SpNv*)s}
zk1d#as#@1u4hXruo?NGMKxuK<KKkhFg3G@=k~Fw%-J+%wzfaZmMA6P})WY_}$(bA6
zvlsX1m)NE4u^}nvWEI*=VS5jE8octevuJ9aqdmT=IkLX4w-ze$T)zCUUETb4!R;O~
zpU%BrxBR;a=XXg)`n!B?e^J;zY4OImN-u6#g2xZ-*nC`$t|xINeOw{WD2*Hu!uBR%
z|EkOfzNtM!PndM@+FWumEKGIxg`RF3whufr<ao5j;%05S<Sed^TN`t?L`rhlzDKDE
zLlbsaZK}8F%AxM~F_KPhDa&6J@M<J$2eRAl*jza@r(KN)@-MD@rb5?S2^sP|CTw?|
zh(EP#%*t8)R?m7NYjo3nx^CwJnVtgn2{3H0G5Es5noI3@ed{+H)VkGHm*h(Z{YV(L
z4{kj0w|PCj_;%O)`#-O}Ze^OT#~EtE_SUuH@>jgPdfB_aU`l%E-9x&b(3M_Bdh$rs
zF6OM5QD^pR?=Q)o=8K=Wca*NDWswh<^cWTNxx8KcLGn>D(^brb*M2kkv-sZ=t}UNi
YHsXML+j?_QAxs99LVha!>Etfv|G&LCr~m)}

diff --git a/pretty_printing.cmo b/pretty_printing.cmo
index 0714f1d527c6d046fe9824cbc49926d81e7dd469..23be77a4f1ae13dac677d4df422b941bde2e2467 100644
GIT binary patch
delta 7574
zcmcgwdsvj`m7gE;eavtN!7vEQ03&yBxQq-qz<^-9CSEW#kz_<b#ULP(l%#IQWKGs|
z&9mU=s!2_jWNl&+yD<@?HO3{aO>-gDJawbp+QhW>iQCwXM%&dqY1nhl#|y@Ny4}Ba
z9?tWg%kRAB@}BpbZ}{-Xc=A0=p4qgny{Npr{C0PV+hV!Z-(ay=_QYB&&9p`s>r+x+
z@ofsl0^^O)4CCT7yD>CHi%lb2CsB}Sgg(Z}(2Gk$NLWkMMHETIMvU@xv=$R(5Z#Eo
z5pyG7ukgkzVTu21SVIeIf!A0RIphD3<J22t|HT~tTFmo?-=-NCY|gkSN>inpMZC>G
z*lNip127&BOU${OwA{&TA`Z?CnL@<D?;+w3^C`wB)8hY9ZyiMpx!Fzii<3~c0P*}u
zGK%acCWjLD{}%9-s1rf1P^HBwt7A_m{$`u%TPE3bq8y@JqA()<BopzRts#maQr!wC
zegYBif79A=v*NGHDYQvG5qF7$IB1ypxT1+T04Eni#Gk)47fUIvtBG2T{+Rf6oF;p2
zB)WrWA`$P#ZQ!fHQ_p4aZa3@NNq50&v3P0ak4D7U8Y1394NW5PjFpHJzC#>G;zn^E
z7p%sSm?=@*-){ipZU(k+!p3k+tZ`I}l&io=<r8r*_WvOz%sdw~l}I-h#Z-q-fNe3E
zv>Z4R6RzQQ<EQbdah#8xh>wSl!EXFHJ~@gX3LQjoM4boH5<b>&-~f_NWa@W)PMtL_
z&xkiJR1b!n_}qBf|KNo8NU7qJhvko-8@V-^uo;VLQt_~{z9v2@@zTgh9^2@%-srDM
z4DP%#GQzbh?e}hymyOCdZrn(_@D7|Q7stL_@UOlY8BsD9{`uvRk;qXy%gH3G(_y^F
zVliTB3v#&c^N6?$Eu$-+9@m{g#QCKXMHn@;iDC3KmB`V?`r3FT8IRP?Glu<<h%^49
z_C%O#)S79$IdjRKoMGjtrkd6&A}0}l;)&9T%2}Y#=6`(d7~TC@)cpr(c7IL-aGA~|
z+cIrocWY121A(sYwvL{*j@1istNXy+b&nx<74<c!|JIOJ0GNEU-;dCqfq{N)Jwi7Q
z3>aD`LWfD-mcOK@rM+!sATYmeLk~hvvF+Oky~fz-usK;Sh0V>f54HyOaV_m=>xHeI
zb#<_9XG|?@dsv<eTkvgG^uz9FMLO)WS>6e|INSldI5fa64vnxAzF%{~eva3b2(vSO
z1;QLGuR)lP<(Cm2$+92e2`nE(xR>P~gs)(^8{u6nKZsyB1?bnR5WbJsO$a~5fbSyw
zJj;(FLIS*xh=nZQgNS8p{{<qbGyU2&L{MUe)`y5emUkiI46ludxWwzzh@`{}Z8svb
zS>A)l`7D2iC|UnAh^R(3(AvU=tBBgd>wh7NH!f+WFXKQ{cX!hRfeo!afu@$0ZbS{S
z#}PzP4-D-vq9oK1qN&z?Z8M_td3_7f4QxM-Xxh178%8wmtRo)Ldxg0L(T9U<dLGfV
zC7DtXeO{PU#8`;YvJsQQh))nBjr|xgly|@ODPp97FCm6D?brT*nEj0Z3^9`26~ypH
zg_8cdrh8ih_qR6pAa)^vw-u@}THMqTZ0THwSi<&eI^yJz?1+<uBM>KhM<Y&p8;3aQ
zZ2~5=Gd>X$wvWYF-5uD__F!wE7Zb(<E9C>2z%AnX;wfz^bQ0n>iRRvP#P^A+4e@71
zm5l^yAb~oO&^s{D*Jot73yY9&l7s#c36uouiVNLHxWKxvkzj7`$HaZ&S%ry5Wv^M7
zc$MJK_{qg@tecZue2oD4(w5GZYXdF!bs>>D-M_6sHKm3R8;RU@9rq$}tMTOQtmMSq
z<VVMmxQ8QVA(7jxqYn<RahB|k*=%0`$3nKxhl5+B;~*SojVW_7k{uV>-U$b#)30?P
zDOT*Kk<@E6&dEzoqE_?0OX_3$4kS?_<UfK*DHK1&I5x)?oRrU)A7N4{V-8~y$I?U6
zFzIbp97D2f8j^)%YOawhRkp6buc;l$T(%z4jTG{s)_w;mQ~+suF}YDR4`K2tVd^l2
zawpS6Nc9V|8L3-|3F;w#ht%z&`W{lL5d?Z1smF!sL+Y?F22#%ovjeGS)F<Ff;4^zQ
zEwFz`4`~JJQ1E*c#*(l~332q)b5bf)(2H=k2tI2=duwZ#vxvRc)6CSPFad?-Bz0p{
z@UvTwaeZ#eT<1m!dk{`D$HQ>$7R~E$?i1!1oM(i26V7wY;9WQ`iRNcWvkUVs(qfH!
z=H*Y_0hA-}67s_--cBXtQM|M@lIE|F)@8grFF$w)n1TEf<TnxWuo70+Fmy9P$7gFv
zb5qAEq)|8dx}`~a_$ktkN@zRMPD)nqA>Av?&yj8x6^C>_0v)H2ZemU&gPKYwFv*Gx
zm$7tydhi@9pTX&Y^H$2^6D0&FjSSkQU$;(02IVt)8~8?$MS6uR$QYpAiezL~wRbl4
z1Ugp*=(`FTXGw29M_StM4~PvJ7f7kuk--P7MZl%ew!uCly|@sr*fEE7_qC5YxEu`B
z;BxYs2v_zPh#sj5<Q`KtcWzKhACH2$a~(V9!_~lR9$byQPJye1)}m&kXF*)h)jkgI
zVRJQHRI@?fFfQ((77G`bY*w_PtwV*`Gw!#Kaf{(P%IhMyj`Lav*D$Y{aGe^5a&xp6
zxGwVA3|I11W;}3xMXPRo3RBslhdhU=SB=!$CIvG&XWjZdGI;=}NxwJr&|AUk!0Of>
zWO09V>%SmNa3P0~)gl`lLDt)1I)rQ*Kf)YA_Mk9tAp58=L&)Y7b?Z-%En%&1A)6D@
zt?wX5V<u=FMvfWd1af>_$g5ME+gqEu>5f^y55ys}8kx&T*sX-SX-smcW}3cS<eU|s
z>?I59XU>^5XC}Kn4@^L26EeF<*sFwIb~{gQ=1`eMh6T*$QO;Gve|z)PLEsi-et^s?
z<auyZ$eKr<xil~|vDcC7q&t=uwEi2AgshFo;)owA;WfTwxqilC3UX%)lZM=7H&u2X
z^!Uhn6Is6@@82omQ+Do>$~GXk_a>i9fD1X5$XPW+eY>ord&w!UU7Ui*>k%h;uvxzX
zGLiEva)v3$pOx@F<M(i4S`G5{3I2u$8{HygA?GA=t`F&2*r<?eVJ|sW>_pyidQDKz
zPb~p-4!IS`T|o{LmC!^E`3Vx{PUNTjk1$Rk54kPKeT=-)l)#UG{Cp|qW#pHNmuvQ%
zx_as|-82*-_t(h%Vkl1M_fu2)6Z^Cq4=qXx=5G`aC!@<@8OCG{lM^*Cg2t6ocC)Pp
zmJ^sf50e{6s8zyJhS7xF@M1f2O;a}t7P4;aEoF&Z4-~XWaeXMDp3_J-pdfgPIeL37
zq{2t9wE3>acd3w?K-OI-lme|yDD;Zw9u(4`km(r|HVQ+U?ZjyDDBLZI7g4yM81pGH
z_WFmy!(x2})5I^R4Px3RR$1S`v@K#g0{1S_`~>tk<0wNYa){;~6v@@2SHmI!TTh^<
zkJ`kqC$GAam%G<-vv$I=1Gh}ZEkz{kQi9jdpsC5rON#{cG#SDL<|EiY8EH!#r9V*M
z*`#_-2@A(OOT=@ZGVo#i&{(&`an}K*;*lCu!kRHhk2oGthIT@|u7sX3)O10;sSLe@
z`myox5{Kt)rP@rYca*SI95a)b7rD*CPbf<t!A=_a4M~k3D%De@I<17~#yyKA=C76I
zMS^{#gahL+v-0!Ga)@BRGoEQk@_eRL$4PZj33O+v*^-)B`WMRb0l}^qpEo20uPfC@
zr20|`^hi;jWt^IBQI^k0fD*3qdrNVojKz~E=JD0_nJ8`$W)_Nh9CdvTie(=4`6#B*
z>(})L6c33hxERHkgj))JsU_RpD6xxXIZ9GQ(~J_AXqr&s7p4UzH2VZ@M+sdhim?_Y
zGK~5<l+ZAe={}Uu2-D?NBdPmfc@~Z*;CPves1%`sq}Qm3lC$FT5K8za>-uJtd_~UR
z7-@Y0ERP_*67h@3|2D&ahoiJXsTxVOR0%E8KAv(pSbe!NtRYmRvGoqeT`QHUhg8i<
z*f{1`Ds695hE0T8tAs6MC^=TWOBuEjYQ6FG9ggMSR;pd3>Q%zPn4@{B-&KY^gbFHQ
zpP<GkT7N`YcoH5p)_*I>vsJ0yAl2hacx&9#EZk6*cL}!L_*e3LQmIap>ibGKH|}Xx
z{*1DmC)l$_)UqVcUZuKBsuz^-<+!KZT>WKb`I=z+jpfUdg0GFL5+X=-NC^o%y`}Sc
ze6)oqHHY>(O3k7D3Z*AyvPMvPhMCY1lwRfG2n|Om4F_rL@W?|sGy<MdF~!4EC#E=f
zmWd__p5O{mCBm~&m`U(#7F#+z1EO)lb6l7Vc!tH42hXW*PA^^FeoP$1MDFDkC44|N
zOm~P&8KyghslaqE`x@!)LQLN>5TsnK(U>ktTjNlcz_F~cC`&P6MTIEiLJH(XuDxgU
zZL&-*n>7t(bfd_@g|fZE#G`Cbm`Icz9g9@PC74^Zu2)-d4}-e33}qL@Lx<PGOz1jz
zC5_N7cqt9Z(Az7f`{CUx%meUl7gHj<6o<Tm@S3Nx1>Q4aa-uv|Oj}UyVn**rxtxkM
z2j%pXpx4DvQZ<V0NtCxRV_l8%Q^Kr8`9)#wMENyg7Ndev9Bp5PopjnPR7kScji@m9
zo{Ne)Mu)zNie<taM8yj6UxErV+1F7a$p%A@p~B3z5i`v4k7I`HsK1XHDdN_O84a=#
zY1S~Ke~1}fV(P#QvmvAz5Yxw)u~$s{;B!l|^xp+Hd|s0;V%{%+L+}N;3+78e$JojE
zDA;I?K57ZE83i;4zIO3?7rq{1=vBhENff8x+bzs#`1T3&7JP?^8T|=z-^$Sw_YH~l
z6ZnP|%zVMI{uaKoqB;oQHD+v+QOWJqZBA6mAzF{2QcAXEqEZ6ea!|QNyncqtK><%g
z<#A?0y{I%}oJ5tmj~7)AG1Z{TDPF%sm7iWaDF&$)ift~cmN7#=;Husp?_Jf&@!nOP
z5kNYs&Jm;Ci>ixb-KzR(yj#_p;7U;)$+*8kwS=diY1O4-sX=v}+&|5YY7VchMYS1y
zE~=^Tl*Tkvw+k~L)!cNQehgOkF=Kla)dRvjhU&dy%7Wi4^&jAuShj8OOQ{sWKVQJR
z;BRCm^cna$M37%={pLob+Ap>j;Xlj_y~z5{Fk>Ul1u-3f{}MCS6x3{DMz2TB*0BcE
zW|Pjm=c`*sPra7PRU=f}z&_f;sO2o&%}sIi&&O5WtsB+^Iy(bxEvVgRe0jGkxZ_TQ
ztf0Rk-L}(Y>FW=*gR)aeNnufGk*B<Px~IhBEiWrCDJ?<mae2Nyjk=2rdNs#c<aN7y
ziRhcjwih7_u=q3<|CWRolyH&uth>g3wmqn~h~LzP?$*}j8`x<OA-7@iWh}9ha8L<$
za;lFNr~Rm>K67pE!eZ1@&uFI~p`J46*X=rH(U!#6F^gc^w(0g*+?sD(yXW_*-}paw
zpZmF`7c-8X|7G{te~)|kpEKuQG0p{MrH%bOsBi08)7stVcKzTN6Q2+H`@l=@zVN35
zA6@qut`#rEuk3Tb(fz?S$G~*gQ^VoCFTQur6UJ{=EXcE`59stSZawtafNs4opxdqy
X6%5e356PbnY}1-Z{sVo@`ThS5oe0o&

delta 6476
zcma)A3viUzb>2_=|I(rd=&^dC2fOI8db7LQMZ41K0TP%u0%RK_s1TBn03n1VsGzbJ
zJ9G>#<4F88CMixgj_YwcvW<b*PK_P8VI0Pm$52xT&rlnu%-8`kkrTxwQ>N-UXLTj#
zG1D^Kx#v6QeCOVC?z#W}YrpqCKK@sv*SGHNcKQAO_0Dpq$<*L%GMP+w=b21x#!E>#
zuLh1pVyW>~WR7vfawCsSrUn{uG<MVIotA?%gGMY3x6vBwNDzro4h=JnIAg!%3s{Ut
z=5%76@y?v8*{Ciu|KCx`XExU3F<(G45-dsSb4jmO=UusJIB5LEmDpisr8tA4<Y}Z)
znf#?#yypLRr3}ND7(koxc|wwLEYT`b&iS##FU@E)ew4Dnn8?$TEflbugVN}tkw{~X
z@kvU?oF0<)(dapk)Xy}WJO6pchxvNq#MD%qakVDNxV-d2#FG=oWA%p<zeUOta^;%y
zzn3PA=!Sg!)NnN{z~jb-hNQR;$)z}KHT4?%8&bD@=XX<6b4a7K$EWc(1Eqa6HN_<M
z;o!C86Y~xH_;07C_-K{=XXNiAY%)GCPc?=kHRDW9ta0CJF-n$M^aW&?XKY)RTB<VU
zY&o8t2Fo1FMuV%tdt*kXF|urR`ZpQusTlFbua<o{hdYtA4&$BWn^xA4lud*GCDGt0
zeg^dK=-<Eaw#k%5&X$EHQ|iYw%yb3?rbUf?9RmZ0T6+6-^$hIl>1;%U?fl*cjw5&*
z_5XnSSI4wcAS}OCSBJ=fP-sNkkI11=$k6s7a-4A)A}1M_AWCEGK~w?FCvzX{*)@o$
zI@Sdc)x|!Qh#F+P6j5gwABV-tcm*s0#>-(@LpZ3dgQb@Z^I<v0a}z9Q*<m9rV~n@J
za*Oc~Fy{i}?U-|e@n2!iUB){R9nZ5H(YzV08_|ty-;L<)jQbFMl<`jxeTDHLqVF+2
zh!{&K6dchWLre)9Rw1T==c9<}W``#bL)njLPa!76_$p#4lM!tgv6mP>jo539zk^r`
zIHK)9oNVL_;(ToX9^zK8{yD@+yk8;i6yp~WcaiNcAZ|S5AjQjwn_$CX%%vTTXcsWo
z$qwf*S4#RXnA>i&uC@l}9b>bOd1uL7)<(~=md?JG{#}PVS_Tns`ZMJr#K$t@1H_-;
zfbSz-GWZDbql9(LN4#wP6C}`9Nnt|*?QwY6$Z?jrkZ_mTFC$@6bdDT%nG=Z`D_=*V
zg#HSNmpSxrka(T-|AnM@W8<2fa%&o?OJtAxcI<9xKhO)SjXX}4ZW?Is-nFBpWl3LO
z>mgVJq|}iK>!@*dZKkn%O-zPW>QewK)p<m7z<N`BmLPevaeIv;Be{#0T#Mvhwy!}l
zWk)e~BKf{ivNk6pg|^0Bn_^{q4^pU{WIu+K)5h+##Th9tvi%vPP#yXFQpUx87O4T+
zL(cNlHEjP0Qk&TR22yz)9sh>ZFIn+6(!v3+gOUsxMUrL5{sXPuNawWmh#aK%8c(lE
z3#QZ72^V4h5XX$de5&R2+3juJ)6sIUqip~glmK~okhxui3S^FoP>IY7B2*)jn@*3Y
zL*^|J>XCU@gyqP*FTzS>g;!sLEDxX9Is3ycXUFu2G@t>cw^0^PAYFk3y60K6s}Vh7
z8?ufH!O`E{(a~#jF)J5XhB7P4`~>n8sAJYC<IcLwm04$G*)C*-_qYdH7e&*9tZ@<c
zBkP_B1IRX!plv{QyeJMMyFi3Tk?k}#tS`x13HVVwfs$xiZj}PXv|RQv+2qs69yTs*
zDh@{M2C7g}j*?b#-J?L~683$bd}n)XQ(J4#PGnOt`QBvn_UK+`-{AS%$e!T&7#3{i
z`R}lR6Vgs&0T*8z!2+?Lf{m)l4<K8E+=HgZ>>2~6JFt0Sdw{lZN`V&IfsKMtNw333
zTN(aA9i4*=vT&KSv#^aBuQsLxZTAU=Z*lvsgDpF|_q7hdZebq_?0k}14D7kG<U)5D
z?9_Csa}IPXe;@m4u-EaN3j2x~r`Gm%<<vN%Y}?mAtqj_?&W3Jhb_whQJQu@0#B(<6
zM`?CRd((TPW#3K}@Wd?j6uZ{KPT3k-4eV08c-T4FaCZH>dKB-{EbpOlCTxWL2G1K{
zzr}L{?00$2hkbI^mn)^UV__`MZCGgK*^7mlH0$O@<gh_UDRQhv#>V+EIlO<}yal-?
zqi&-$n9J4C&8^5418R`Vndw-9+%Ltn8+p`a<g*uf*F@+=-VG7@k;hxo%?FV$>zEHA
zpLd{}hmfBuLJ;}kC7wY3R^IoyyteL+);_vN=5^SG1mxEue>0)=m<HRZSMn)G+C>ra
z?+dA5Q{%GwmCIMwGj9u!i2PRM_Y!DUV324IjcDOx=^vmsdS^@c;p4CxflY0Boj?lm
zuOk0<MC_Udj@3-0ZW+<dqj1#GO)3c<1JdCbf`ivPuE1-2ksRCE71?lfiC~9g@J|wZ
z2J`}PyaUHCiG5muFPJ<mdG*6_`cF7N1aeVWjl!M82|lmT9wHT-5K<5Yr-WqZXP5aE
zARmR#p>UkQSp_~||4Wk0BnrmG{~OOP^P7MJg;!Ac2Vz~E21O=j$)VyI6x<30<ryi<
z{2X)&MU^PpPK3(}v=X7v!^>!~C=C4BG9LlOC~8O1abjIlV3=8JB$-!G*d(mn6)PK-
zaXy~`E)@L-ihet$$D3~|^fhx%7>_=f9xOZ~3>$mjg=rjF8nRL~um?3OKh~XWn}q2@
zWUWS46M^3=@F2MrQGbk_EKx7o`mWYK6!o&MOzAdB-=OHIBv+3jsyV$~5>OPJWQi_f
zF(p2IgIoDk-O|}HfMO~FSy!W25{$@3@n&HbqnH|nOid^r65(MKUm!tCLh(gWY(w!C
z62cFKaL9fRd0njSC=p&z>qJS2RS^v+c~NY8QTm2xR-trEH2o;^iKY={a`Uu9C==(1
zhfsEw%EV9JbGaGK&b?GD`nWUEdp-*(E&{6+@YS(XUPiOWC0-lI5G`&2a@%NRJ)E{>
zvvOWRsz(%PoMDy=vqc%`Fz6F?da<oDULNt<sSMO*TBq@C3cpvWx=Gcez`zV~u@DE8
zVUWBIC~#!Pt3tf~Mj4Kh*N}nD>E0)lYM4~tQsBEn%+F|cIm3w`SC(hV?I~kDF^84v
zpGh^M!1-BbIPqtc<#lp9Z9GfN?<>_MQvIU>bY-d5vZhyd`%lVpmE2x1?rcsEjw;os
zq<TpKdZH+1IM4ISa);b5C@{&NCX1+b=)rsji@1Ar?Q1L=5aAD4#NDWC_pvD4j#F4f
zoj0QEQCM`7O?ps=GhQSMoM~c<hqFL5bKwk#CI!w0(OBW!E<!4t)cO=?0i1N7C{Pxh
z(u=wcPU=N66~IXyOm}ytBYy+ab4dFx(q5q?CInOxdX18B-WQGsF22aRUIAAok^iWp
zbrVc~i==8KZ5Y#a7=bNmTcVU|E2%6Bv`hK8$=zIceXcTe5tyey?~Iq6tDdY31LT!r
zyiDOUmFftovJ^NrLzH9HbClr(dF3i_YQ{?%S}#(D)8tib*qYP4E~R>&RBi=Eg(z(!
zH(B>73+LiD_BN+`YnAFPQq?K&?kqE$_;O`=kK7(G-fT|ax>l)vL8^5M+?-{~z15qP
z<rcX;sKBph-NLCiE6Z2pw$*TMO%Lu+s{bKX+cdC7%`&B<^<BymLvFhjuyRMcy1Aw3
zL&+tLtdGJajjX={*MxN2Ik@hL@ME~G(lBqqO%1~x{U+S<pw{1pyGd;C!rd;mOK=a0
zW*qJ#qInPQGa`Hd_w!=<ceuwy^AX&)MEDr)yJGqj?#VyuXq_(f2$C-#nd|$4fFPl(
zltj5tIJZ$=C&I5$zM09!LT4Gu<*u0L!XukDC&1(3waoGG1j1gfGI%(TQu!9`9+>`~
z^vDG?+u@;GMuc2=E{l)^&ovf;=2&=c%&g?$9Kta=_Ny3DL~{ka7NP3!+E|FR!7JN{
z%z>A-LE-1Zds<9|@Q#X50`CPerNT?g5X%j(1k~oidyl>_h-SlLr`W2nxPb*N4U6Se
z%!OFoC8h=}9ukusi;uEk?!@9r5q6^@R)j}TktV`MRL~Zut5;D#I{G=KLN-gEq!r=N
zt5DG{>qmB=Vvu=}U8p!B0XCr`yxSgB$ZjL|qvD>Jw!#-q|F7Ybi1b4D1;o?=-+;t9
z0^czfv~BPWi>U{`a6yj4HzuZ?@Li^#S16HD_#0)n^qYbc{>@?8#qxF`zYaeaA^cs?
zGjlM0T5LK;Kb3@klqjV>@ShOUd+?tkfxa&MAyHg||Dp)LfPY+sci|6SCu#bxkOMoW
zPuzb~%%8)5SNTnf@SpJC7vaaKOk*MP3M#q0dgMo_lruEHjY>&5@)K0b!jU&n`J%9X
zj>>D|{7Y1Fqv_gDgQyIzaRpW3KzC5(6We7})d}qrRBad9B&vGFbQM*DBBY|~%h}RZ
zP0W_A>Yg|(M8HIXwg-XOnQ8?xXQ~xMAXgkc2$ZnnqX>kTuR)+mEK3k*7r}`DFHb+5
z1;VSZLV)T{X)HqEga~U8;G*mFr(xhM3sHUq#zY7pa9K<aR7<8&OHu6$iftLHB~{Id
z>Tc1jM)eR2^j@qEui-~^I8YO+uZYQo>gz1fPl(l$ZPYf@Sj1F`ns^q>nWzbg<^j}<
z&J>__1?l9P+v%fq`qXPFUDZRi15Bb{0&0hh&svisYR8SQTXTaeA3?-+`ah;etqO}n
z^z5p=CdBgcGMC5Y^}82)%e_8-g}>ZWj@n!NIE#E5OD5UrT%pb7b2<lU(Az1h84)#D
z--q>&5!kB0lN58QiFr{EV<{!Xe=Rokb#yfMGpQ31wOD@w>%UK+OMxFUDNRUiSZWKW
z;w*DxDWy%3y0P@G2ydW19Q#ewlmE$+deqO*kZDZrxNS_eH5fbFf0Pt6>})*H`_zJE
zhh0@K|M$V)S3UWuv9M#UBkKK-Zb=U5k*|ex^QR#_DltTFBa&}~PHGPkewJQHb#?y>
D0xG~m

diff --git a/pretty_printing.ml b/pretty_printing.ml
index 5bd08db..f75387c 100644
--- a/pretty_printing.ml
+++ b/pretty_printing.ml
@@ -399,7 +399,7 @@ let draw_integer x0 y n0 r =
     let len = r/3 in
     let offset = size*(len/2) in
     for i = 0 to size do
-        let x = -(1 - delta size 0)*4 + x0 - offset + i * (len+8) in
+        let x = x0 - (-(1 - delta size 0)*8 - offset + i * (len+8)) in
         if Array.mem (!n mod 10) [|0; 4; 5; 6; 7; 8; 9|] then
             draw_poly_line [|(x-len/2, y+len); (x-len/2, y)|];
 
@@ -478,25 +478,38 @@ let even_more_pretty_printing t r ystep skip =
     graphdata ;;
 
 
-let generate_full_graph d = 
+let generate_full_tree d = 
     let rec aux n = match n with
-    | 0 -> Leaf (Random.int 99)
+    | 0 -> Leaf (Random.int 1000)
     | k -> begin 
-        Node (Random.int 99, aux (n-1), aux (n-1))
+        Node (Random.int 1000, aux (n-1), aux (n-1))
     end 
     in aux d ;;
 
+let generate_some_tree maxd nodechance leafchance = 
+    let rec aux n = match n with
+    | 0 -> if (Random.int 101 < leafchance) then Leaf (Random.int 100) else Empty
+    | k -> begin 
+        match Random.int 101 with
+        | k when k <= nodechance -> Node (Random.int 1000, aux (n-1), aux (n-1))
+        | k -> if (Random.int 101 < leafchance) then Leaf (Random.int 1000) else Empty
+    end 
+    in aux maxd ;;
+
 let rec nth l n = match l with
     | [] -> failwith "Out of range"
     | h::t when n = 0 -> h
     | h::t -> nth t (n-1) ;;
 
 let even_more_fancy_dfs_prefixe t graphdata r tts rfound gfound bfound rmark gmark bmark =
-    let rec aux tr dpth os = 
+    let d = depth_of_tree t in
+    let count_per_depth = Array.make d 0 in
+    let rec aux tr dpth = 
         match tr with
         | Empty -> ()
         | Leaf _ -> begin
-            let data = nth graphdata.(dpth) os in
+            let data = nth graphdata.(dpth) (List.length graphdata.(dpth) - count_per_depth.(dpth) - 1) in
+            count_per_depth.(dpth) <- count_per_depth.(dpth) + 1;
             set_color (rgb rfound gfound bfound);
             draw_circle (fst (snd data)) (snd (snd data)) r;
             Unix.sleepf tts;
@@ -504,17 +517,18 @@ let even_more_fancy_dfs_prefixe t graphdata r tts rfound gfound bfound rmark gma
             draw_circle (fst (snd data)) (snd (snd data)) r;
         end
         | Node (_, g, d) -> begin
-            let data = nth graphdata.(dpth) os in
+            let data = nth graphdata.(dpth) (List.length graphdata.(dpth) - count_per_depth.(dpth) - 1) in
+            count_per_depth.(dpth) <- count_per_depth.(dpth) + 1;
             set_color (rgb rfound gfound bfound);
             draw_circle (fst (snd data)) (snd (snd data)) r;
             Unix.sleepf tts;
             set_color (rgb rmark gmark bmark);
             draw_circle (fst (snd data)) (snd (snd data)) r;
 
-            aux g (dpth+1) (2*os);
-            aux g (dpth+1) (2*os + 1);
+            aux g (dpth+1);
+            aux d (dpth+1);
         end
-    in aux t 0 0 ;;
+    in aux t 0 ;;
 
 
 let even_more_fancy_dfs_infixe t graphdata r tts rfound gfound bfound rmark gmark bmark =
@@ -522,7 +536,7 @@ let even_more_fancy_dfs_infixe t graphdata r tts rfound gfound bfound rmark gmar
         match tr with
         | Empty -> ()
         | Leaf _ -> begin
-            let data = nth graphdata.(dpth) os in
+            let data = nth graphdata.(dpth) (List.length graphdata.(dpth) - os - 1) in
             set_color (rgb rfound gfound bfound);
             draw_circle (fst (snd data)) (snd (snd data)) r;
             Unix.sleepf tts;
@@ -532,13 +546,14 @@ let even_more_fancy_dfs_infixe t graphdata r tts rfound gfound bfound rmark gmar
         | Node (_, g, d) -> begin
             aux g (dpth+1) (2*os);
 
-            let data = nth graphdata.(dpth) os in
+            let data = nth graphdata.(dpth) (List.length graphdata.(dpth) - os - 1) in
             set_color (rgb rfound gfound bfound);
             draw_circle (fst (snd data)) (snd (snd data)) r;
             Unix.sleepf tts;
             set_color (rgb rmark gmark bmark);
             draw_circle (fst (snd data)) (snd (snd data)) r;
-            aux g (dpth+1) (2*os + 1);
+
+            aux d (dpth+1) (2*os + 1);
         end
     in aux t 0 0 ;;
 
@@ -548,7 +563,7 @@ let even_more_fancy_dfs_postfixe t graphdata r tts rfound gfound bfound rmark gm
         match tr with
         | Empty -> ()
         | Leaf _ -> begin
-            let data = nth graphdata.(dpth) os in
+            let data = nth graphdata.(dpth) (List.length graphdata.(dpth) - os - 1) in
             set_color (rgb rfound gfound bfound);
             draw_circle (fst (snd data)) (snd (snd data)) r;
             Unix.sleepf tts;
@@ -557,9 +572,9 @@ let even_more_fancy_dfs_postfixe t graphdata r tts rfound gfound bfound rmark gm
         end
         | Node (_, g, d) -> begin
             aux g (dpth+1) (2*os);
-            aux g (dpth+1) (2*os + 1);
+            aux d (dpth+1) (2*os + 1);
 
-            let data = nth graphdata.(dpth) os in
+            let data = nth graphdata.(dpth) (List.length graphdata.(dpth) - os - 1) in
             set_color (rgb rfound gfound bfound);
             draw_circle (fst (snd data)) (snd (snd data)) r;
             Unix.sleepf tts;
@@ -574,9 +589,11 @@ Random.self_init ;;
 open_graph " 1800x800" ;;
 set_window_title "Trees" ;;
 
-let gdata = even_more_pretty_printing (generate_full_graph 4) 40 150 false ;;
+let tt = generate_some_tree 4 100 75 ;;
 
-even_more_fancy_dfs_prefixe (generate_full_graph 4) gdata 40 0.2 255 255 32 32 32 255 ;;
+let gdata = even_more_pretty_printing tt 40 150 false ;;
+
+even_more_fancy_dfs_prefixe tt gdata 40 0.2 255 255 32 32 32 255 ;;
 
 close_graph () ;;