From 8ed1b5a320661893ad6d571ff2360110adb20dc1 Mon Sep 17 00:00:00 2001
From: Alexandre <cpge.aboujaib@gmail.com>
Date: Fri, 31 May 2024 23:13:20 +0200
Subject: [PATCH] Added graph display and separated files

---
 a.out               | Bin 281326 -> 279496 bytes
 graphs.cmi          | Bin 0 -> 1173 bytes
 graphs.cmo          | Bin 0 -> 6443 bytes
 graphs.ml           | 106 +++++++++++++++++++
 pretty_printing.cmi | Bin 7771 -> 3224 bytes
 pretty_printing.cmo | Bin 26010 -> 16047 bytes
 pretty_printing.ml  | 251 +-------------------------------------------
 trees.cmi           | Bin 0 -> 4660 bytes
 trees.cmo           | Bin 0 -> 10252 bytes
 trees.ml            | 250 +++++++++++++++++++++++++++++++++++++++++++
 10 files changed, 357 insertions(+), 250 deletions(-)
 create mode 100644 graphs.cmi
 create mode 100644 graphs.cmo
 create mode 100644 graphs.ml
 create mode 100644 trees.cmi
 create mode 100644 trees.cmo
 create mode 100644 trees.ml

diff --git a/a.out b/a.out
index a628ac9496000902870a531becdc966f1c742e74..82db9a0b855cfade6d51c11e4a74d02789596d4a 100755
GIT binary patch
delta 14116
zcmd5?33yb+vZlIEU<M{K!z4@~fg}V>VgdvK0of)51qCEwQG9?9*{>lG2m-PM6t5^t
zmIg{zg973eHOO*glSB~k3L4ORg(qMTRCa@c7X{>1&GZSwT<`nd_q}(&@0~A|?!UUa
zy1Kf0J992Cb{%-hHET0;ts!2ptIulJcRgFJTD1fsLBvmQwYqkkntRNl4$g^cGMzYF
zD!GWB!9>pyF%O9NxvNI_AJ$N_yF`N%Q@4Ugl}|Ln@1bg;T$L!BD3YiVx?UC@b#tN<
zOO{HTO8LnM@inI|Esaz2ZzaP_Rrq^zwc(;eId2)tyWA)$aH{dYCBqEW|5gwBzxviN
z<?U}%-TQ^9@h1(HKG{$uCr4Aodfzm!*OnUTL&Q%kQB5L$1F`Y$@Z+~{-{xMjS$RYR
zZ#z`k6CO3RB1|3s#!32f7PL_%6;aAt(bb0{Hx*YD158t?-*%?|v%igm>1yS-?J0lk
z+cuPUot{Sj7o6_FoYT+1bc99_sfM0OAjZpQK5a0KTB<{2BXSZoBr=GeBATXhzT2am
zi!C=~e7}ck6^?PMgdd#YT$62$A{s)(ewTRV3*o^IyTPWiey~w<h4(--j*peLqQ?zY
z{DaM9Rb!9)s^P9qJSabOg;x-Y$hefV4r-?3**Kr9gXF53P&sF*S9t3$(xXbx8fy5l
z2zC7Ife_!AW7EfFBs$&H_Q7-gNJZ><H~nvYz8n3Yao$7!7oVSK@i#TN(1SfU=Hd&!
zu8gL3*b&^Gzw>a(O}-1i^g<%rY?bq%`N}CBL&SAz5&8O}$}V|aY>b<T!;{0*uF7_J
zRLQl7&>4id-&}vRI(%)Qx?0%^y*0rW&Rt|Si*U-bVvfq}<1YHCySn;QnA(70YStpB
zD!pc-p>KiRl=GJqwc;8F-zV2Tr~gZT8Kz?D8EWWtFQL`f$B~5XP6VTOKLvHgZw@Mq
zT}B?iX~0a(*)Q8D?~Qa~7T%Z)^VG(xk#=8Dk^!St&doOAY!Z9L3KO51YS&E<g*7aX
zS2u6Ay3>l9e?5#_zs03Nvjr=w3x`S%H;VpYDCh4HFkiKp=uzI^+q$eaYEwIY{jqDB
ztMXrLs`U4sq%ZV#Hx=`-O;w&uAfq>yNVn?wYgBmfjPe<-Xg0wK)gU)XmDV;|vuYj&
zYkjd(K8c8*t2D=WCh`FCQef$$AzSEH<(rJqXyWpaw<cPEIjg~4k4G?uh^Gk`vv0U~
zA!fV|k@l)$HG6F&OjVidJh3ds?Xp-t5zjP>c;sVLVX7NT(xib0hD)c5SU!91tPscE
zVqF=I$X<cE3Ig=7zN)q<&;9lJgHoQS9KdWUyO=4HXewq3h%UOvP*Ib@RB3Y~mA$~N
zvIJYkwW_2k&kti>G+FEYME4TaAgW75D^`cd5bkFox{@Ih6HMW(?zaPH#)!JEgXHsJ
zRL)B<+e6E47{saa{ZUY)%HD{>7yw(*Wv4p$x(%LF$D+C8S6+{%|E@P8RY|m=Dt@)8
z@wqloB=2Fr>SdJHX)Nv{9B7jeMsZTsMKs5rlvkBwovP$@qXBOnT!EcvBMKqn?r=Aq
zYNN-k1~{BpFjN{Nc=|G%<EK9nPigjPAdmaNJnjd3B(RJ<!cT7^_7oG#u)fEMxLm57
zZXUJ9;Z(Ng9U(pmRkkcr9p7hjv1zQA+ZaORpKMY49Z(%VStpWIvcp-FZKzVWp*o-q
zKoy?!sNxs{V-5;hYnL$Fp&~}oluI+PxRtQAV|_fmUL)c@aolr1d3^d%hIuT*kHz!Z
zs#;8rRy`}7ti~wHb*BDLH2K0fNE6rN79-W+HXbanfm1mt>Sr|u+9}^MaCm(Y=HrxP
z2^%%^(Ep|(YR5MvVllHm?d;qTtG(MvN88YV+aQV~E0IG!mWUluorq1fc-EkCm`7q^
zE8+Qn;!m<Cz@Jz=8t%lv|E)uPBS)<TJCx2kRYRz>LlfXxb*hEC3A>BqjN>ka6eLi}
zdhX)m;nBjK_cHM<QJzZdah?YJ@Y2?Vh^L#Sg0fZe%>q=nCjKH__5h`eiMaWGI%VCK
z4whX)MD33B#XbuTCuN)l3nKAY;j21bN-6Id&4|JS@^u699?A#qIcIR`e~9S3PiYxs
zRm%cIBLedE0`m0(@^JzAMwGX9<s{0pTi+zT%;R}u@mBmZuS>N;Vg}mvf)?V{->TSO
z^T;_>ym(6)mVHcPcI9_}d%SpA)%Iu}FI^UIvF7n=Yw-pWFVKXZK{z1@S0fx~%DG#&
z^X^ix>DJu}3xn`9!rZ@PB6b#2>Myr%Q&MHrV3Ogz)H2c&q(c(6oL;9IF6jmL<ek0g
z=UJU$y}OBLVb=dn5Y7+6eS&ag5WaBZZhddw!FjB|+Uz?FA5IU#F+sTUx4RV{55n&S
z;pc;JU&1^=2J_sRLm3X|<(Lx!9!Jryw{K?=<k^cQn?=~jI@kTK4|K^fa(y6vKM2nt
z92ky$g33dK@QG{KX|Y&{1rcCF=PPn<UMFgwR}Fr61Lr)q$OjOPq;5owiFmefo@W<F
zGUs`AaRhTdhKM7V^U*{cAe?VV#M>O_8xUE6!I)O8JRgG_WCl-Z7T_*1=IPGZGK5zR
z#+EU>axk_G;)WPoMzKMREyH*PVr&@~#`j2OSQfGe7&EZ}EXaB0Gq%dYH0Fkw$BMa}
z4PnfNGG;>=v!RT+BaFFYjB5_p4DLBI*b^+k3mRja#=N*QuAwn+xs3UU&GPKphlv7%
z1+Mw$T(rtaq-BVX@`0sig7DXbIT(0Q`Qa|}EVX?9zYK!BDj)wr6!^OE?+pSP=zkpr
zejol@gMe3{e;EZ-#)J6p2!c!+R@M!^C`il*8uhM0xV;qxcxt_9uR46@s28m@Sd-0~
zq!E}JO4k=!N(^lEhK#}VrqYSYuh1R3`*f$e-Z`uu#}f}XKO9dS#qEezm>p|CzJQf@
z$PUY46^^M1k?<Pk*vL$09-Tj(bP%lxPAJAQE?SKzC|Ob$j8I-f-yq_24X&;WEiv5%
zhJCH(t;4}C@Ziu|kPL6~4a>769t?AREjS3U9)GO^&CNBTFjUyzq8d*T?Ng`PxG}~F
zgWxYX!%5A(U1bTDIw7pV29n}=z|vn41s;vw!7Eh7^)9j5r1x}M5@6a!&3oS@)0P8l
zGRX?+{$_kR945mSgu2w|)~ZH*-S1wPx^Lo>RMhkXQed_3p-CCo{x+?AyH0m-!@XTQ
z39`9ONSy83Wr7FZ1NhL~7y&l`cKfy=+*==}K&ja=5_*I{nJO!fHrL01w>o@exo!pQ
zQL&fl?i~+jV6X4WYL+CxdI2B%_*qG?2KJfc=p+IAF{c&8;m~G~00&rhlv&vf_5yqo
zQ1Dk1TEI97pPD2*5a6JSo$tnq)=&(GaP|Yx4L<WVjuj7(>d)CIT+;>?LAh$NE(wRX
zh2d~mxr*Y<i*2EM2pqxIonRV#fg3wPbNJGq{LP>I-Jg8rPmcPNWB%kn5xmd_zQ&9l
z!i_z><nQA+m{}(RSSOhkj}>09!8iVj75?OuKl#?5oaQ7BXFVVcvpf|V*M>7yy|AgB
zy=_?1U)V5xFgVPV4A@)~zT@)9t%IOk!1s9gDT;v~{K;8=a?YQe_a_(p$why1$)8;I
zCqMd=N`G?2pZw%ce)ctE4j2lH65*<O>1A-+;2OV4jDugyCPjb%|L~b=eyQMQb-3=Y
z_bU%sG<vHG1D(sM_rIC-mP20;+~B&==KS};Yrsv+*$OmzTcK^pEsC?+c$i)x<Mkbo
zg5}$wF&1Rd?3-`W<f4H}-2uHre<v~CINK5(!Ie9pbLefZS;Z>c249iznC*~8$vfLY
zSyg#Q3aSdkx~pnuOxQ^;H;!P(oz%5JHPK79(+GHX!5kp~_w9mpLV}t7A<Q&{0p{h8
zAR9yom{0A6cR^GKyk{SLCTf6ravyvzg$?ktzd{!*-p7ZhPa#a$!MyiVSO%gd;714H
zF;NT5I)|Vk*d1h57IkO{!V+2}`+Wu#A)&+z#Z%?v)B&GE&yahna42u{e9x*)tXh7N
z<Ke=I<3E6!cuzSz9pbDK#zp1OwvLN1F9TB7tOIzm9M02FbUZ@gT6q{c&|4$F3?C9$
zd$>tud3B&J#*&~}eg@L%D9T_UMBt3`Fa+x12~O%`#|tzMBk{!xG^L`rtT~>!01?mt
zZ!xPOHoZtoS2V7@2tPs$3nXFbB}jo-^U5W7Nr*<|t;<l~TvSP+199fcE3ipIV>9C#
zv^SuMx!_m$M!>!1*qhMC2#F_CBk@!p;n`9u_DV=FUo=E>fJEF9BA$W!%-HJWTu3sT
z)(|g2NHU4n#s)Qo$1Jyr?f^~AdNsvA0GgRDhxpncYcDy)WIJD{c^G17krvT7-z7Rg
z3oeSoi!Q2nzc2558`l!4W)jY=BiceMv#gHT4bU2AhlxCR03lqofi~DKT(pF?I5u2(
zLfVn)S}L=h8y>`!;bd!j^H8`*3JLGPU7<GlrJprA9WgXgL_#OuE#B-9Ddqrl#<D2l
zc{y=oWfa9%sz2{&K>04dyq!;$Ja%c=q5(;F#a;~r+K&*2nyD76T$4R$G!zu?X1#_Y
z3B*I79-CR$*QJLsGg?Htx{)M@3cna&Ro%@6(d^qt%v~{}cL+R+q4$cPae9Kt!d8i5
zC?1R#>G*0Q!SwqqxcNSj)r)IqX>Hs*<FP?FI|z>p!s9KBIcd~yUt4q2#GpJ@HpME`
z%BKe5=YsIGAUr(?&j`XZ128q=TY|<?N@p9hd6Jl28}iJJ4+<q=7E<cLl1`#A&gvv0
zV78B865}|)^X3Atcul|ySk{O-;Y|~5pPmz-oBQ%&5dL!zeklmg4Z{4cCvc;G1+ZZz
z&E3j0;e~l-i>_jzg!w)L%;IihLv2`K_Ig76TpbpgsZWVbhCQD&@Ee_vR7Q*&ox?;z
zJq{dxVu|=f!NluuK4uIP?tr*Dd@_2;&$RLv3==VsZ*Ck$vk>yJ!3YY%d~7#D^rnQk
zZcG^=Y$4o~4LgnyJxKW42+<kr1;k=Mgkr`7T9(pBiTO~7Cq~f}Dni$2(Z;Swf*UWu
zjM2hFg=0oj1Q(i%N7Ll9FRCgX{3p@UzPJi5{gapmOECNyF)b7=E~Nrz@1$j|<QXwn
zz^i7vY%z@YoR#CmxX`6k&X+lVbM?lHVd2&s;v28ELN3F?@#2fn<s{9w0l#!kju;ZU
zf>@Tb3h+dZXzp4`tiS<Ug$*W%XxD2&>|)G_rC;Od<tdJyAcnhEQ#p@{wKlwtCnk_H
z-XONWy#^CS@6a_Cq*SU{`Z*`1H;u+bvDd!VD#F3JVu*cR75q3?%%d}J#w7CMdYmyy
z^o6(Z@FWoj1$b?e7)Zz4jAwml(zAr#*2ui}tVjcLf4eE7uYE(6y2VpOlItCUfs4nx
zczBA44t>v(qExDlX0#gb3c=W^BHmtN6=B9y(cZo>5PERKRM9r!ed4iFcEK?1=R)G~
z6HCMg)=h+Q{GUY_#ylqqV6(aLIgt-^SWcZTUW2XXsp&ktCO$Ni0?NdxGew>-0ayK*
zrie3740V}73O~Tvd160oLz*0PKbS>P%OW;BJXpGM)+}20x0~B$k$+$Zo|sJ`ywhy(
zJnuTY%)}Q23OYNNy(ko&oz4C)iEm_RDOI<EYCWdT6E{N3h-F32CVXVRcst}HV%5UX
z1=Of>f%pLSVC+JgM0=5x(X?178mp2o4fxp4-dDwLi@E2h_atD$H4DXXI#63RBFt9#
zq5?v8lWL*L7I-kFP#l0y%wG$|7i{ODMbrZP)jYRYj1zRwe)3iEQV5jdsg=~dPtA~3
zqPGnW`t%hYaHtB0181!h>%}2ZA1<tqrI&@x?D?kf)}y01?YtgyO{r)lsubX@k0`c2
z#f&{-6MT*#d&ybl_|RV3BoCW2_KIjal$$F*5nqJRYLN4}Xl}T8f#A0$u|yo^w4{6?
zk_<YvpZH3|i!T8m`%2tvCLa}}4O&@RoS?n9^tc%B&o8%F*H2iiBy-V8(OAIWa9f4A
zLG5fgMW;EEJMk@fy8K(=@aLl`Arm4orX?+B#qpBW$DXDsl5h4pO{Y8fJNv=o+cCew
zoHMjF=9{a}h&KR^`aPbq9c<>%@5Kf|RYT9w8h6a+6)YG6A->8*kJxb0IXYZ?Z5}=+
zY6D#)PMsH@(?w$A1saKyNL-JKSWmxBe{A5O%k&Fehl@0>j*DVw=r`mVj`#{nLse=!
z51hini`2@uc;X`2d74oqCeMd3EVwL^>1Hf#n01Mo%QxS;B$f;N8LHZlRM_y;MG;Ro
z3kr3&Ik!^ugYfUE%vz>MM0@|r74bIU3i|HAw@~v;j6*s$yRr0VF_aX?UZv?~KTDN;
ztCG3xnwV#|pR2;XZd1qX=PkS?N9Nap3kVK*8ZMgOIi$ycOXe-7%(KH~oKauqxqh^S
zDfKsa$|gOS9!2jB90%#lF(*=<fl3?`C41YiSi)vmlpF={6BafkVQ)hj1wZ@qxtzbs
z`IdB{;bQZ6L%9av7n~g<JJYSEEJjAseda`rY-9h`Qb-3Yn(!&HGONXJ7EfCgPi_by
z;(hA|@%S9a`-63Kx`~HqEw|sYs^O(r8EyalZg|^*X2(Wy8i;Db+#V;t7ql0xzE=*U
z<kr2CuQY}6(oM<QcpnoI<V%f6`mW_x1Ys%ga+;`b?oE)xr7(nfU$UgTN{GOB>qA|$
zvZ*wLs4noA=CYBfA+UZ5r8Z%9N|Dct26ocMn^-InM_f(9{ECt>T{{+n$Gm#K9AJoA
z0v~H5j|hjrMs4Ls_D~Y!w+Tg<+EyxaRy%poA?^`o_QP@}h}vXSH@QqW1-{Z<o)<1(
zx&$4M%4AVT;De8njcz>msGLk8oY{khD;yX1kkPbMZ=oc_L+T?Hgt<dF){fwn9<n((
zCbp++Ll=`Ld&+rqG5M}1)vJ%0y{U|TUF<EpVL>k$Mz<5nyUh=J$@M_j6JL2llgokb
zCj=wa_+$gi^XbRUo9S{V-Bx@|`Z3=;njsy0M)<Cee1mQ-FZY#S18m0;{i&%&xU|3g
zf^IHjAD2&nt1;OaxNSEv|MrCZ9OwqK_DR`I(4FhjK-n7-u;U<#xkP+&kc<nzk1CC!
zF7bQeMnvrNBrF^xlOP#)4Wbxrinj*I_>g8K7=^Au6vE!YvL|0)W{;#OEzXp4=qAm1
zHEV4Y_Ip|mr5j8YKEwF_J2-ckyiRY##txS^pcS)|aM1`7p_>fnV@6W`0nYEC>rBol
zYGJ@A89{d%%D04eoOp2OD01tAc$o6g-X~?=93_h(uLD`hK8T<Q=PA-rW4>rI?xe9(
z<IWm8H1=w2(>PUQL*p(Q^WBE^rD=SV@`UrMb=8dPenz#2G`_0w!x~p=+)d+)8h6+D
ztj3RMd`9C(HLlROhsMW!nBL*`)QqEApqIv9YW$eS<r??a_@Kt=8XwR&L*u;~_tCgi
z<Gvd6>%7+d4!NIZe4qvTYrI+G$2Bg|_z8_SXgomU^%_5^@fwZ)L*rtN2Wq^6u<wdC
zNHbp50)sVPr14W47ic_0<M|p7)p)MPnHta0_-T!2X*^8h={)`%6vH)RiWV55ajwQA
zH6E|=D2=l;9<A|cjmKy_T;o4!JXGUnG#<o17O??YnlV5NjMccG#@QODYdlWlo*IwW
zxVy$V8h6!rg2rBrCu-b*$Da+z)r__pPtv%R#?NY;qVZ&nlQo{Aae~HEHEyi&a~j8J
zJWb<vQJOJbGa@vep>deTGc|T<oQH?T%1HYxVzbQ!cx9|?Zl7HR6SHOKKF<^6F&Rw6
z!N6<f3&itMdR^l=gqi=MmgRM|6Olp0510L!%D5HUyS8V`hJlCt%51s8^%9kH8<n)k
zu>4$nXB@5AFJp`G@(GL?FP-p;N%<FO!#1}}kYCq=d0048dc-_|okod1=FOSX;iRj#
zJ)gGm1?I|p8EwEq+@)wo%QsIbN%xcj9J`ocAud=f<LJV>k&!YFFP3!TT!cBV%JvwB
zvI8u}45WQy39d%kPSB*1{d9e0ZgX?=a(Ps^mXgI@vefdzGR#;d-8Glr>1g&U*$GzQ
zJFBQ8EAbOb8myvH-s^eW&ZMqBPU%BL96+xjye8j+Vsqnb5{=N+B+9|NlMiJo^I12%
zj%9zLy`f~iOvhsW=x%6{G+OkgV)ob@0jjSM=25eVJ<t016cvY4_sQmY9EO94c#xhU
z;;6_W;=%h9(RiY4BA%ePHRf`DtIP5(BF6mU_mAXQAD0E!*QQk0wq(+WoV3-ulyIxu
zn^E>>sfy1mj6FabU2W`mfQD!d4n9CT;aV&_K<A8gSayJpj&D+j_(!x_2%pG!`}!)_
z;u9I&i`%skSzYH@5=+GWW!rcJxUU>^$yAkPd1RQFZ`I?&W}Hgx=T<R~8<@UR8tUSY
zHc`78W-pV?DBdj76T6Tkn@+>((-7PO->Dr$E?m7v#;Xs0bfDuH-5HMlU544KOv1xQ
zq}$~sIesiF>Z&XIl2qGDrz+1kRLtoZJbH-E=cQ|<5neYy&g$hb`UEyQaXFRz&n-%P
zPK$HERoO%NG$J;fhn^i?6Jf1%*W(DV`p6>Vh}fHx{axrvS#~6A@()vsLv)N8a9lci
zaaol(<ylQQ5r1O9D$<EKrr*+IY7Nw6;<0R9^0AfH#*E{1VoyWYDViJ`@};dck0Gn+
zOJc0%FIo-9qt8N0t?E|l#KV6lHC^wh!Q9cpc^~)E*J)jcP4N=(Q#Cr2kJSM&SC!>c
ztk4KmtfRq=Q1tCE1$I0BE`Y~k6cKmRs%wo{8{+X4<v3&;t(df7i*3R^Hqe`FGMm9p
zx72WG#}WOj;Nxa__FM8+v(d!kAAzm#=P~xXq6s(oN4@7}xq1wd!Jks&&@ZI3X#_!b
z_S@76ZlxBb{8&~pW)@pHOda0r#tvJh!?%#B3Xg%s+v$?H0nhD_Eir4iY=s+k$YdA0
zgae%W$BX1UEU^5a*zZ==i$d>CnT*a|GUA`4-otjg<h*}kmjqNU|4>)9SG9~86c{+?
zLs>w-c!%$nCMAb<%lsy6&--K_e<P7h#J=aJGkpS;<j+>Sh^aqFciya^Pr{}U<|yE4
z#S?_ZCDEf)m7TbW)LKKuYOU^X4&bvq^Lc35gw90#aQ?x7G>gw@{8cDre4na}rZkm^
zALjAcTa|g~=etp`Obz0(EbH+S@$(GPAIY)|>+urtlf@CnjaUY7rBsaF1MWPF#VN-p
z>$Gg^M0p1hKinyfRmR-m`-!+t40(am664NF!%f8y5v%G&CXXil`5Z=xPY*2z>b(aV
z_&$i>{_(?ef%E)9#1@=-fi|D5=F$ste|*H8#p^z-R_(rD{ffhS(t`NAty<0F<`TEj
z*H*VAVPw|0%-m*UvjFBjY`_0uAHv5XjixnPYA~HZUWy-NPMDB6wb|2IV{-o$Bh@D{
za!giMbAJ^-W8$QzOANZKoqSBU;b#vUmpv@g(&cB3$sUu-4)Z-aQ;7pR8!l|x*{Bmy
zx!V!Zv}?Z`v375}zPZD*#ys83*O2*jq_IEdv0|^+s_k_wTgngow;X>%*E{Q4*E<*Q
z^?JP<9`(jG8D101IvCzoj(WPm#F!TMr=(12o04*Gw+Wf!M^E&6{SKCUNX<eTt+7N=
z#UM=ctIkFfeu;R?YqU--^`;gj_^ON<HW9??a&M8=0AdS)1nS9<5mUzGg4l|qQjPYW
zLT_r9qGtXM4jIyA(#Vk`CIG$A*p_M}2zu#vI@L&w-%V<pS~5N_K(!U5E~$z)DVyIy
zM0YX5LynNfG;G_&XjFea$yC*QBs=$kR#0sd6?c6IbGsOw;6vQh#YpUIlKLtW(kG0`
z&K*g|QL0<T?30;2eB4-oPXiV99hR9r5=1SGOfw#DI**F(>z_SlO3%!vM`Tgw=d&FT
zJ>1Rjxf-;R0Ik>t1-|TJu1Yf^j5-A=UEe(V+ql%!sqezy<}H}>!!xGY&8RKvX{QyW
z>|Hmm$!{0?-~6!hws-lJpSt7OM~uDVyEXXkqlPDOUDwopG$E5h`##yL3+eqTtxsBC
Ynj?*Alxn19j?HS(u3ftUDJ@g}3&96;{{R30

delta 20191
zcmeHv33!x6wsu!lN79f$+72X;gmhSh$d<^yNt#WNB>_}m03kvonF%3496^@Aprej#
z;R6c6B`7K=AdHTm&WM1b;tp5bMp1B?aUU|uh@x`ex4SBIVo?8?`Tu*L|K9I;4pr}|
zQ>RXyI(4eP?hXg8_kX_DzxY8hu%3HucX5Lhzti!(#71$G-r7r~h-G?L50UO9l*c-i
z30{4?mq-xHwdjqe6*>)tf2GIc=>}S5$_jmKu;{E;g@o6)+VC8GYe*#N%HE>ASffWx
zL_KG$@VX!N7S9XcT1Z_2de5n96mSpr6=l-54)}7=Q_ivO0X-#0OcYx0&cU$jt1Vg=
z5{YRyL#Tlfehp<?kN|ZBZP3{vShx{YT6l{oZ;i6>Hp9E!g@qf1uM)W077bex-NFH4
ziWHmlGlRs{;tm}e3?uHWHX`hn8wSHIoAu3T>Tnk{Sc8&aNwh(Co6+tu<rZ3!>)#5<
z$+m_#4ZYV5T_o-o;y$-(h&Uz0Ha#l_F7pl(bH#Rd;V>~QM(l9*9ZYvW%o921i2JKu
zdW+cUWPBdb$H$8I#V)c_+~ecK7Abxo=5L!IHj4*b@Y_l8px!l2wA7WCi?-qql%4Ko
zO&0rwcqppDbwl}LrV<ak5S}2!BTmM$fDT?MD#ai5zAME=;!ly$gVUk<QCg+npDxyj
z-A?x1?eykCF-<(?_*b`d+ZTx;F=CItszl5edv#Tb=p^<<ipL|x6Om$nq<At?JQXRP
z)}d0-T^!IApU8k-Rtkqdqi-ea*(la?WVO-3St3?EAL;l)q<Aq>yc8)8vS_LIUMan9
z!fes1kvLR6i&*E;+*p15IvJ~1Ef;Za=@Ri^eeoY`PjPdWiGxzSto<ty1&1TWE0N;W
zNby>vcs)|Q5h?y0Dc+0}Z$*kDk>c%0@lK>T8X0H(DzPS09CJJTQ3PVeyE^o^Xer)v
z3mz9*=q^h{vYWVHe0z>=wM-=IDJz9n{Dq5_t`~QcUY++G=KoiB{BvSVk{+@W()-^P
zL%iZ6z3VRmtM^yYBj#fSS|jcMD*~&>ry@%yd@Ne&gG;b0pZ_a%8y0HGCn7ig6Nohg
z^#JYBM?Mk#;y-22YSy8T#A^`V`mq>*;<Jy1W4nF^nOa>xuidquF8ov^qQ}BdF|%kj
z={o0QEWzT>#I^Eo9(~T|;%<4|<L>xeEb_`KkK6GJQ6l8uJ??E^iXB3J;n5@iAzl<;
z>RJB~W8BiO#2O_|=zS+dCw=gQNY#0#M56qM$G!5D*dXLr9xcBUBjrhtJNi4(T=>3*
zWyPS$I`ouC(QCdJM`OMLj@KDNrt9^m#qgL@)i^#DRi>D4K@B1zse@&L-ua=Zzjma&
zBIdhl*|mpdk8{5VWF}A`_B-v-&4v6}c=SRk+vqGQ`}l>)7G5JGU9^>-E0oS}CIfCl
zW0@BtyaW?OjNaW$P8R3rv=kKe^uiQ*k%-k#rpQjh$F@$oRjN!D^>yD=uo~zYsq$(O
zr$0!Qe-rT(Xt%Dp%n}XV?B?=%DH{phFkLot4+mwe5DD&)4EcZ(ez&5v?Clljx-VqP
zcccio+uO_T-k3yKnxZq7%A|*~<$fg^yH9q(D58lz(N+FRB)R$BWCMY)o6%ifFJhWP
zypf*NOD4GqJ>?J~nz`e9$*%<V)2Kf3O)plbLr7ljOM@KOAc(vTpFbaxeMECMwbbqV
zqhETs9z*{HHF~zw2l~q%BEuB}<Q^ef=zRlaIkt6ZknE0No;OH#7OnO6K{6@kJg9Eq
z<o669I~*AVTid$vgJrvz#+jT76rKmNi*vpnF-)e2c6w8LOnJdDd94ubwHN_j2NnUH
zH3Dwx7^x3uy;HdEYYZ(kFH6s&bhchTLTcY0a4?J~!|`98r1u_HUOi-_Ob~nA@grqB
zAukZl$VE-U^XjZO<;oO)7l<=lB#8RDx-aC?!QI^N@?>s|=&naxCchZp!-!Ei#d_Al
zy=vj!wQ!$WxUa=Jf0zthN|pUA%M6iI3x{gq{<ZLcT6mxq<K%?#gKDt{*TNUo!b57|
zp|$YE7VDm4<s2P1PUh*IW939WZk#NQz~{#SmW`LC?vx2~RU=XCR{c^sO3ctGll1Wt
z*-Gy%!Ja7zGh8s<5@M$NLaDr6ic&4cVBr_fkv(*eU&uJU>KAf~PWUC(vbX{}FRM)E
zh`H{pGC4tsd0}Dq=+$ytBXNzp{CfGtIby!MWQBad>stU*dBu3#85IoZJV&-|$^hY$
z0pi_(#Du#*S2!{d6+egGMp|r%F%LR2C>FR?4z`<EpeL<Gv@Ou{*2-KI;0AQ*S{WO|
zv10YYwQ?AQyRMV{gl{2OT-bPBaR<(VRa!0+i*(w0?3HpoYQ604TMP+~zED@Jmq}>c
zx*k!w$bDr!cA0NUb?dDgWM|)Rs^J?O<b1JIU%FAwkH6M(QA)k<Q*5K-8zpX+*SYg<
zlT&%R9JyW2jQ=g#6U<~6>hYCwYP{Vnt-<!{V{<T-w<_g<_!}VVuNK|4NluQx5iIMf
zg*xpHB)#M^85iD2H|a@t$aMcQh(zDOmg|a9D#_WI?$ulFkkkAt(9XrMTYsfayAv*0
z1$M**lkSwc@f8-LR8EEpI9a(^gFEGZ-)h^WZ`~{>`<!YRbC<jcm)(lH;JdYY_g!*~
zSf~AW%a&rH?s_*;xYiXB^arB#2Dx4Dkpl#rK5vU0<GZ<9-78yUJO2j2=(Mm=`?t#U
z_*<+LO6BZw)16X(jLzRG+xTv^O}b*M?CrZP8Ybyax5^%EZwJpFO;e477lFqo1H>C?
zC9vN4kWAE5?v<;=Cb#Ndxl-UZykwiaUEJwrZ0DkG*4OPo7;V;%?2zShv(Rrpgd-vE
zemTXzxt7Aa^uGJ$)8cN8J%Ja4orqP6#A^Qv70`QkBCX%!e!Uak5?gfI?-96L-ATXa
zp>nTV^nlb7mt*mebZ|L#*Shi@6~7(bZ78kPOa3HJ#qR*ihD@ct@lknS%>7_B&?9zZ
z(7fI9VX;%^KZdQdOG6np!(+0Qv-7Z5{64~dpqkwSw`D65tKWZ2PQ#ViGLqf0J@TlC
z*#_m(*|$7Nm+q4X#6xb+$K}hkH2z79AzU}}DLGT(Dt+?-d3}u7t}|Z51Rr(>y(n{I
z#Uo*Ts}ICEN8{r3-dE)o`A6YAwxZd(bQS9^drjsv#a$aGYm)o^aoI&y_t$;DKyW>*
zE548qh)4CHFX64-`noT12tMZS{!*sn*6kkoTD}~EB(UqW?Bw+`FC?1v4JR76N~v~U
zT+7p9RU5fa=oR(Ud2Vs6D)b_u%!*g-*2SyRNOhy(=pGF%tDSqep=u??<NE6abqd3r
z@GHf{lon7)Iw7FqBK33>upmWGnTl)b(Xoo!^8>0Kx-1W<dO|!wFC^*UV=`IqPgJRB
zIF_jH6ynK<yGuV7v2JA(wN0Yuh^A_ocq;6Z@FiFucuXcb-wuh>hnuQCddMCGY%mq+
zvTZYU67LHcDe5J>FI1(d6!Dz)H$x^!-jd+#ebTFMX|Ce*f>af&ho`D3@z29S4Ez^R
z#yg>&N#aF)C>5i<q|?%1?m?myUHqs>)CZfZ_INW!*KKL44-Eb&O>LCEL+IKZDq?j;
znred=2t<6qJrGovh{i9Y&88)YM3TLm-9p_b{D;vN&OIoZmT;dLC<5zRsVPvM-%70%
zzE`Y>`*mw|lh5~RHD2BcQ}ex6jdx|Kl?}w}I@CwKC*E*d_f<(=@n^ShNR|7<n|k-f
zs@(sUl|~sEFrz0{ZPjp<pof2pgLMBe^}aZww+>gizPGKgD@Lg4LcF67jfC*xkyxsu
zk@|zIA7i~U-dx!1rsk^6LcFK<<*9z+eJw`8$`5qfDAnEf7po9AC~W=GQL0$K)l$V~
z@}QzQZ9p*~9$FuQ$J-hY2YWaANXL&>Nj}`AP0H>tTBZ9wsR=)|&|NrM%@^`B;eInl
z{YBy+I(C_wfTHhM#W$BjV^sjf2V=v`&^UE{i_g(FI_v(e7CtU?$1>cVz2nt1C98z{
z%ZX}-5PuKnHaF{X<(2Xap}S2{E##L%|AOTS;Vzn@ek0TV0cAYHGC&NtuYltW#*4)s
zT&BBBRpY$!B=+QV^&j$Up|2=ZkNduXAU`x%t(O!k$K6|`K8=&7guCO{YLSrN!lt=u
z1Kx4;vvbwQ^80YPP7l9EwU?)bzUCU3=+T+;)zw1iP4lr-Qok}^rQ>bm1d13h+?(Qv
z#6S#VagWYkpgO@X`3qEcynNieK;49wkJby(ub$pij<#5Rs9as74=z-RcmqK_;GSHl
zwg|j}gxedqY!`S30Zeg9+k17wUTn=iOVp!yBMCG2cJjK(zd^FVNUfJ**Ee*ZS*qR?
z;vRk1br`CVe&agzGG0%%|5l9^em`uCKD^I$8{dEpj?2aeH>!&ywq}QADpxet3zs3@
zn&_LCsg{kC(5VPhiU+j-(do(h&@yc5ruw^Oh|gxa?{d{9CIy12dekz6@8acZINwtC
ztwV$!tx(sBv~b;7d{?Sovl=_I`5D~G0Zu=IA9Rp=f_nQJB*qM~+v&q=A%fQx)~BpP
zy(Q~U;GJcc#t7@RO2&%|>Yc@TERyuM8g6Z){p(edXd9Mt`>a=$qCC_1AQ|Dn9df?G
zd_^N}XK;eS?G27IxP!s526r^rYj7un`2s_ISqAgP7r5M$Z5Ssb49^7ye`#=MgO3~B
z#bADlK!sfm{?OoV2ET7`cY}`_+{56v!nhnSJ%;hR5$I*`VS{@ce9+)N20w3bUxN=A
ze4)Yn4en>~UW0QCev}yFdqRfsuo38Q@Ph^qFnFiI0}bA0@F0V?7(CeE%?4j&aHYXR
z488@poGu({80(F|#Rji2c$mSf3?6RqGJ{7Le1pLw4ZhakT!R-IoM-R?u0IVJWf*gf
zz-WWZ3?5@}slk^RTx{^A1{WH9nZeTx9&7LvgU1;>5#xsq7;hNkjKD7pzQo`O2Im<(
z(cs|*PcnFj!Iv96(BR1i=NLT2;67Y`dLZ90dKi3#!CefVYH*gp(+qBJaDl;X4ZhOg
zRt8TuIB0O8!97zAqsTCl4gRIUi3b15-~@w<b^L8A#Ww?N+PqL_-=;eGN~&SeZK~hs
znSflANgxITb7d)bIVevWJPVlo*+!Om^+J#r#D{Hj(8f`4c71c3Y94*n&$?Z0^OvEW
zV;o14q5M_)v)href30U#s<C=XrAiQ2yQnY4dF`IKL%rER%+-f>s3bX8>P1?PcKh6~
z;u7%QJ#-IF@oU^8dsMnt%-7#NffH?ko3<afCb3X&e-dz!e&I>g5-+<|M2lVjQ@nRB
z(Yp?)-ujZKafADfu6P>f#!`LkX&filx@dVCudd{Fa<@FEUYGvg!r~lQYQ1p1u6R)e
z>fdl?qB~wx7m6G8XD?zRztg^#R7%=SXysYYV>=&Hy$t0b5CdqL4!xxA7t7tMmz4I#
zuYf3ncQe*&st#?!M_@bOP_Y@)!3%=u&5j_(O9qH9ZgHT7dim?BO?hurCxS3Y_#;@Z
zI!EQ=*m5cAr}6M3+8>j%L$!k(hoV{aKs04C$hKQkz`xKFth>R3lu=iQn(|K7Q|+>!
zhH0Et00d`*hpS&l@0v5u=Z4|TX<dgp#QzySXI?!^8kh0*PZ>w4nCX;q4!xezlfLG2
zE{MJ+X31z^$ut7t)5I5mT7XzD)fJiefPUh|D$dy!OenW{_-SRdo^;>>5JO-#h?|uU
zvE|P~Jz77V86E>A*G_@XCQCU`ld!^40Fv$G(W5TLyU@7xBGK{2B{)a-$2vRz?#*Oq
zb21qqDi|1rtveZ*Ep*jke55k1EK#nMy5mUMOz%IehB$d|c%9N|vE>XnJ_A6-puKgJ
z)W<y&gR&)v*@RaePRfqW@#zqj)Mfk7KKAJjqK;UUQT@w*QUTvcsDKZZlkA`zh&wJB
ziWz%BQ1m2-ts%9I=c+dJbn<x430ERkQz5^7u>;YAc1AQL=v0IP@#N6=Z9w&$B{3<h
z8+x6*(O&&vM_eQaIGfS}&27M0Sq7CC#B{VuIv4)BxnBGS$u+=LeK4--6W5D4F~X@>
zn&jiL6HX*rG!TJ|nSeHi>Eh~U)M*s%x~D|Sq_a&l86wtUw5G0AvQBP_b~=i>=EAAJ
zM9CFwszbA7Qu)6+MA%_a2hCyC40M{q*$Gp(4&$0f%RxpbT_*e)>|mqc3e|ASe>1Q3
z{g=Gv9GV%xD_{1v_*x?GTalQ_rD_kNzrrb-c@XtN5KkZy{oK&WpBDJv(E72^ii#SE
zkL>?@ZMIAQrLaK&aBnCO_b@kF*b`3Z4}qBQ?x`JEt$$Wv=~<oeQEnE$zYiy@NzSIx
zfwbmOPiNZOPn2VgU$cKQi5V5us%WX-qRD7wUT&(7ofJv`4^myxzv_K%L7pt!rgj$p
z|F|dgueztD_Tx)XpH22H!cYuy_Wd;p*>1)yGR0Z&POR>60AB{?e1k8D6JExLVEm_?
z$Dd7rJlB#<0_0Vjfya}UvBGC*r0{e>IUQ60qUjG~S$G;}fEf4GvjD`GhQ=VS8utrN
zaeK?6Zt(O?mkD11I~IdJ#15;iFa$mo@CwHhED1!}x(1&QJ_q%IXkZO}6-$zO{-1Q7
z1_jl|R4l>gy}j_0hSXw}s1M}HxUSnV8yd#hwg$z3_*gG-=6q_*-0^=C==*c0OYL<`
zBVviaJz6Qj=S|w;96Fj(J{5>JLVj4rLyYx~sM96sAb!b2ojmMVrz^R$nA3Re=DPEq
zb}ooAEZLXq8U%5cY^UydAiDc15OwbLc>344F@h0xVO`f<c3@!H*k>TpG1J1YkWS9c
zaZRn~qF)8M`@MW+agMG}XiO!vsD=`q|GaABytN@VjT4IlQ31!YDT8CRbi~H)ddd^{
za_7r<kr4iLssfIps_4raub8Xr;4?fDLH4oB{u!2ni@=vbyF85DdPa~A>uKr(P}0dL
zrDveC@2jLq^sC)F+*4E$&1(g$Km$QsyS;Uk)*JLpOOSm-@aVLs@BwYBA^7#r;zSiY
z$O<-r5Pi=MRLo7<8bq5p4;sQb(3t43+iSy4?>&Og&mA5Aj>7LL-&I}o!M9a=KiA#r
zrXSZ(VB-(iYpeUE>TO5y<yPrCDyX|0RmndPU8g4<RX6>Bt!rsm_wLygtk<_5QycM%
z(4Oxq7e&>(YNfLcKZ}XMFA7AGKNDt71#!9zAE~Q8lYtN;h+BZ$BpiY$8AUS<u{{UG
zhueyj1LDIryvF1OoNalr<wVp#Urz=xF7064pd_}PZ8UC*PvLit%)Y#k*iFg}%z7+{
za$GOssEyn_Y_b)yiyef}nb{8gvDrqC|FdUZRM)H#96xK8+`*hB(++3IS=-ss&*YaF
z{vcfy!j-CYsfuIP3a?Ry79YwKADuvPzccI6z>F*4!gQb@h*<>iH1`urN^t<zIWU)^
zMHG+T<AfLtY$s;kq;WK)5M=q3o29eg5P=RsROw`{3Rj$~G!4Xz@H-I0j)zG&zQP}l
zb!CQ~2%@FjK(v&bkuIQ>HWV*Mog;<IaKyIe($X__sn0Iz8(_u4J;T=s_VR_H7@#ZO
zmw|Hjr}g$Ap!IygWsb0I+!1sXO}!b*%ly(2)B%(MB7Xz;Oi27S4n0A$>$J`AInL$u
zCj|>Z_S8v6o$h0J(EC57WHMyvx1SpH0-i4MH)8F%AmPvSoQybpnKnmx2XO`)>zEmh
z=?1#Rw4LNAc<5Ssff!AZ&t7!J=lI>gPM`4lIU!EK8t2hfi}6#Z;28W~e5f&jF_8hH
z_qn3<@_9OR0N?)h(t}=6oicc>VVE#Hf*>0n3{d#aQ>DLtMRj+wP9-$%1!yCs3UwOL
z(Al>krCJGR9UVA7RKjn8Jh>ol7%ssA5Tlr}Ko8v-<smwP){}o5_*|-pP5x(8o6LB$
z({!dhs$^(f4Puy4jGw5{nq0l)ReT11yWaFFzG|%0ue^#cayRLi*YLgk9Z<`Ft*?)~
zs@nMOtcLNgsg~tMXjurNf!sSZm<Klv<8!ulwlVmaM{G9WQY`{e7x}f@t(?`5_RDH0
z;9CA%1rQCdDCOCYQ=|c05d7Bn&nl2%!zLXp=7Rzd9ZXRML8%_q5T92bFOO}_p3Omw
zqM#}14)Qn^u2G>gYHyN0I9n!+9}LKK;SAZ8+BiFUZ9a$|NHw^|h~UixSx*$AZo`A?
zI91Pr;pJRvtCq&HiSsG}*{*h&Cg5>c8@A&C>gpRkEcID)so(ZxIT^1V^<Gt({1bqc
zf$SP?MRN{_4^^;@9zd6{2f~*jTpZhUJ@I{1en2Y?q$??%0pdW>n0`pm*%>0;cR8wb
z?NptA7-!YN*YSDf`qx#ezrSfnN6GCnRqt9R12J^{<vR2!Was`_#WfuWY>nf}S^q_3
zM$k1Jf)?1!ZpEVAKsD@I-;{P^M)zyrRFwz9pP&XI6{|yUAdMVc>2-qd1<N-_r${u@
z<jvT7HoFtwW%eQspi$%CCx*^O5EBjg+~O-h^a=aijXt$c4rVrZ{4`z4EYr>78R@yl
z2>w{I<xb>7#ap6`Bky|tgNI(I=j0y^gy=gyHgv3;xvCtRS*j(7CevI#*MeZ#Y0AXt
zeT%V7c^4{g(@|{1!*-g^jW-RHs1J2hfwW>&zXRJIXZ?Zck#NX`10|yspmoaDDBBrp
zVGEsI-2xXx+r?SlYrN7C^$s9LBl-7LYj9Rno+sYcOBhl67s~`co3}-G)8ZW!7|$b`
zCPlx>ECuFM3e%(8=n+N`RqcQ(PQxyGzFBm7K!F<RS#xC|p5k;k6IX)HzY#wtS%$Zg
zzW1X$^BvphJU*R4RJ{{zZBbGUhvWq5BE|<7tAR7BYv59bH2urNZUKl9$HDo~af~1v
z7*H4<jS<%!#D^{`0+BZZ#HR&*S{E3>UhHAVqm8pb<YSgKTy-5VpF?mJ+pOKRiu23W
z$M6FnXUO-dzKZ}kjj1~0S>)?$-%rpBK9aF%Oq1L;RUi&UmrVvSB_NZ2gau^g&~u+v
zabbVbm+TPlEO|fRuSVdoTSKNU{noQ8!ERzb<p@COhFBeJkB@{ZGlkcwOvld)*QnTV
zk}jk&P*^EST0~32@rRN_Sh6zKLb{pm3x_mH#smBEG`<v60phH=bJ%8OxqQIoHH7U|
zm@7|(6q*U5fp(2~52B~pP7l{^r`x!N>BeXod(zNgFNj8->**J%P>B^7i8=$x&ORb|
zMveneG5IsYC*2I|3{H|ZaqJWjV~lg6BRF~6&aTnzj9qR(M%?+JA0Lvpf=PBrZV;-X
z%jl+SKpc)!q?;^{LvRf_#Cf2f9zuIxRqe%%JU@99beLtbL0k0Z!eoMIEVl}`?JiV!
zEbxy-3Z2mREq#oENW@o1v7dI3$7P@mjr6|PRZ56vvx(lDN;b%bnms2tAU(<{CxbY}
zT+kUc<+A~cK(-6hMGMf6siT*;VDye1(w0n3^cEM7o(qDkZu-HRLldB<#aR_qcjAjj
z&uvkO)w=KZs8}gGQw~X2TYg*i7S}nU_mWo6_VTCU@elmK>)a@{yk5kJAkWT~@f!=W
z^Ry-B%jbW_GVs$~1{=4YU4{pL_A>ld`!hsRIRlyD{|9s|M%e+xlFPudqbY+ZF9b1a
z`PekVWw4u;d5fus%fpbfyMm#~HoI&yQRh~}OH_F{ZrQ*<iE0S1Ew_q2wrJ!-Fp{xq
zlMmPZa}c*)TLcFu!#y+K@K&RY9+*b4zs>H~GfOhCI17@os@hT>E73-A)*Q4624l&z
z)eYprFxyrLOoM0)but*OUQUJ&`-S<;(#JsD!PY%g%z<s0ih2tWmF9w|l(V1=`>;+U
zxn$fa9Haom_SqmBWYai#d}t8I4Ot~rY6rBX?Z|;?AZJ8_G5P9Q9n-sCS4rhIpP$V(
zdYo$Lr0F2qY8`X7`CFZg0-DKwzplGq{jgKQcI&?U<RbW<3O1b|mGbGN>QHbF{V`B}
zJvjf4wSV}ZTl@0rHTY-Np6gEkvF|^(_5;oY(7$=@YuonkT6->U9Whha+T$;sQ$=!l
z?Ev6JNlZvKN8E#YbkeGwBW^*v4HLH6t=tXuN3irP|A>;-F;W@ftalXnq<|sM#Kz?H
zCnNl5-NIqnWXLhY(uM422dj<kVQ=%$G;GO+I{!_4Y+>z)PBq*;+yGR^-9~kFEqW^W
zEkHCo*T_U?8tVCpXuG^ds=-uiEZNxxE`*$Y%dDMgY8cP!R^Y7J#@bgq;yOTm4K={E
zO{pu}Tv&I%x*{&v^vYV<raGv?+2+T>Xt#-s$9^O-Y!vM=vU`6-wvH$|Km3X1e{mRb
zc!tx@NLv3TVN~0`e^(gw`T1cKNnA1ESaR|wCB=+K-wt}#$M|mzR^2FLo%P=)WYUK=
z0~Ddo?aFAI2IAEy2gGNBK6Imue1V)+gO4_1CQ}>(o_Tutczo$vJYU5&UJcA_wGZ*d
zcBYfn`Vjv2nug4DkDIV-BAm|`b?ed|EZzqA{Nits>nM{9FX9w`0^&I+Pa3=*SeJ%G
zYWYFz7H-LQAZl0z%oyj~$b+Eg$hW6YGvyNVxwsa7=+x=cOt)5t1df*f=9`*$qrtGc
zS+&_O!E8Ig7zotY`5)kqgBc5CGfm#|6@J&v53=;CPQqKx%i9%Taj0kqJO@qD_yjOS
zYD{UxKYrM+-tjXQe177GZurfY5uVX~McDMDs7|wtKpX~RT+nVBslTW>|KHWZ;|z{A
zdLs0Cbf^GX_RYUXenM^C`?spor#XbhDZqTSdl>7-<zm=8i3)lATAj<9Vfar)@o5_Q
zyw42-6@wVMEP42G3N3llq=VBz4M0;t6j*1<wkYjKpUfvg5IfsGO;P6nTmkkAo~5+y
zEE%y+!%)h%_2@ggi6%p7Oc2D_qz!g*5DQPj@;U<3F?M2<r!4ujHA9E8g?0)T1ofJg
z_-ovpyH%^EJYRw!K75N~=bj+^zdRq{o1|ylT_32Y+jN_nKcjf^^x2c=6kSs=d9J4h
zoaecA?cI+d5OKzNF@eU=ldwM4)1a-pD&9LL)@_mGeI%IPKKH7!;LIz7v-3-)7sPG2
zna?Br;xHDU9G%(2n^T@Kxy_v7f`Zauwl8B)Nm;?{V1CKGU=eE5Q7@YryrN)wQAu#%
z;4#5o!OHzPIXT-d&S}|tTKyh_Mvu-N4d(RO`K5)yqB#(TbkX$6oSf=0ezH;yLt0NQ
zF36wVc1+%&0Ye859pD=mv7@Z8AXqYUT0wB$%&US|=a-bxn!=*#g~gz<VB4~Jr3Jwb
z+2qbCoOyLHzqq(}u)_t!1#^qaQ12XWE1O-AKZC8A(dI`6ZCxH7`-~IL)LIQ0I&e@h
zBMZqO$I~ihLe`AdDHFP6hyT4G{BP&*zg@!rb`AgAE&Oly8Rw-;$j-`&6xosDf=JOh
zQgn$FU1yYsMY}~{_Zi`F{_l=hbHJGJi26ViZ#(^Q6Ysg$c4p0v?;*Fvua57ri+HA`
zSKjP`va)%TOJ^fcib|$;99>X$)$Ee~GiMgZHSI9)l2aMJoXlW$kF2b@pw^enE-08|
z0`QrBIXRK&RW73NCZv%oK<8Ep`K)_u4{vM!&HEEQy<NL*&k3z=dl7@HXzCmxR~*b)
z-Ko~NLLLCO?U=G@ley$VKBHUp^7h6bC{5|*ZHzyG{dF&ITPeQQmA$-~fo)LO4zk5X
zS4^Hf82^bD{wVf1<h*-wLj869-rg3?)<RteD>AgCtQ$TVtVHX8fqHOn?}g$%eO+&F
zX1~qQ)X|FN(Fs@LkE77HnmIbZWZKLbLOdL;aLm;F5(u8upY`@$)?qH1&cC#zXzuX*
zD+-D+!+9KN(BO+A?x}|`5IE`7_n^LRX&-O0SLC=Ga=eXXi`tG@m9=~Jp_9p#-CEuH
zeEqriK6m-e`tknW{rx{#HgI?z-%vaQhYufvqFLVPp(F6y@%;lsmxPc(LSx2{=#K%O
a8!&nR+UxOcpxyxFp6s4IdydQMob{hMKPRLB

diff --git a/graphs.cmi b/graphs.cmi
new file mode 100644
index 0000000000000000000000000000000000000000..a66da937b95c4977ca47ef201261c396a4d5bb3d
GIT binary patch
literal 1173
zcmZuxT}TvB6rQ`@)q?FIg6gRUb9GCN5npzxVAj=57kbeYDRLRzpC)%_*V)lp#0;_^
zN*Dv_!IvwNu4Q6LXd&AaQauz278FFL{aCq~Kbd7(-Mh2n82NB!zBzN|JKs6yp0Tlh
zUyj9MDWY@frq<3VMJ44?6g5aux&dqvlzu>9gU3Rs52Xe<03suDztmy$_yVk$&q$0;
zzc5ZQ)N7_s-sO!)?(zF<#bq+o*^0{<rX6l(82oXXkI$h2=pK>pF@#|!$BS0&`!Vc;
z$=dT9m3SNz!>t9OdKqpj2sIMIbSoh=y4*gI1>kC&aaG6!=7(^d3~yD&cPe;Ks52da
z8V1xO8D=Ty2}!ZnPEusK1ongz3w3+l0sz+%+Tm_Z=ZE#nnT)%kSquEAc=l_aPef!|
zEzgN|&G}gsH>HA@3cjddn&>V*2&j2LEy}PYjzAL8U0FnQn>d%77dbHuKu=sV+?N>B
zR|r&=8NyQG2l~T6Um-)Mf;@zUKSWr}oIfZ8>fA18P;iT47~gO!INl4ub#;nHRuI^5
zA(H!HGQRvb)>*BxIStM$O@l$r^-XEdniH^~c<Qy7@9Q;eQLX2P3Vy0!Nd>=1sZs#w
zYk<C1hAj$eCZ(b>QfjIfkGEGj+5c7q8?^k(8eGxfZ$jQhd4ORM7=~mRNx&$fAE;&+
zWvf66-YOHeR%|Dcx>gcB+!-(~#Y&f>Gk=)2*||c5GD}34kE?V#OWZXQ?QogF>1R&=
zS;K_mMoRT|gtAxPSFyZDqV<n2dRH82SK1c0blz^59$gb*Cu=Iv`CTuT0#<9d7d*ev
z+%#FeCc;VvDADCRN~hW#Jp-fNn<5(@+%;o?N*0OE-jMEzHr~I}!V9?;v1JS)Q~Z~}
zRfQya=4kYiq4nJ5n@7&`8K+*>A!N4UKML6yfoFa8fZ%7vJT?>$9=>&^D<fuF7;5V{
W{>t_AVWKq@#4XWb(-T7y!~6wTA<jAg

literal 0
HcmV?d00001

diff --git a/graphs.cmo b/graphs.cmo
new file mode 100644
index 0000000000000000000000000000000000000000..57911caf796c9b8f8484de24a6c72c78e2864fef
GIT binary patch
literal 6443
zcmc&&e{7U@8GoPm-uHU#UCWQ5LuK1Bezj1#YfHCwF5@k9z#0t94MQT^dEAx$y7t=Z
zm4JakB2MNoxfXHDSh5$k0UENfIwMo;8nY;WXf#d}W-v}eV&WQuMzdvM*3akdJ>}h{
z-HM`qlMm1L$MgGnzTdaU`b1B<wyCLUORPR-81oiBVi?AS0RF*vVv-mk(1yaiu|NfM
z8DJLH<Shd%APH0g<Y@=E9|rn?I$$x-3G@QWSB3dXpkUhAg8AJ52W21gW`@xLs!(5S
z>@5KzfS<1%>jS_9Mrq-EKj=09!5TXN`r8f61?V4Tx_~}_{-uG5!kXuE0P@cRxUK-E
z<D)*F70XZOGx_2G2XjVW={M&K0OpwUF9Y=bSBQr>z6IbJ=N}d8Zk%hZk7Ca889;Nz
zm~@|dbWR?vf%48oS!0z`nfcgbEV^GTtNS0vuYAlidqLNJIsg7_>`ce6dbOS**wT6}
z!km4}eqn9ZhRTqaItk`b<(NbECI|b|;RJ&@XMQNBwP!s8z-)Tp$PM<uI_PB&P&fT6
z_MbgO|Jc`h#yiM9obLWG7pjl_tF=~HrT$!z&#&LXnnQE-NzAEtHu3+VDE`^Vj1|f7
zZK6%JuQmR-`*a*K8vD)2CGR!$vG)Fat;d=*(O%&l)4VG6=ac*yKzp({-z_+!zqG-6
zu~$`(Qte4yQ^v1T_h-8A)UWoHSE<Iqp4UD4T+FX){~h(;b;hMUsz<5D#&<{e7(+3?
zt{I2_UNWD|fj`#{)*RX=+NU>iUk?}c-fa4{y+|erADG{n?&L<Cv5)kdtNv<V--9y_
z=3nFIoX|e==S+J=_gE{{$$Pp4U>xLA9@R@9_+3_h_2CZeF>kcV`m!fxs@Zh4pbyj)
z1^5=vCXYWX%Hu-FX+Nod*fRX_@w>|Sl0YR;0&s9nn^nL{AOMh;IpABr80ZEVQ$NrJ
zFiy^y<36ARAU}JQd;0-?*SA11>qnieF>|Cc<WCp&D6jXFxwsSP1b9z-0NUWZ7hn!K
z*Lbx))WsfGJz2~(7oWnMI==ugCi+1z7LAL3QLh7V%mMV?&@Optn{m^3Kd*x|huYKo
zq<>@HsE@Zn7kh#BnNzjz_mz7N!14d|^`r86BR=|h9WSbzmrvGzrkeZhYQF!Mwf=YV
z$KEUU(I3an&R=mqs{PsYqw?P9-Qj!7n(<x-0mj<_+z;?>aQrv#{D0zi8GO@t`Fn@{
z^Bci;mf)S{d&v28zlXm2&&l6Il{lxaDqtm`@_c{w`@}cR1X2L`IoEfGcB%o&ajd;I
zF|lfLYK-F>Lfw4#xJS8zuuB=`*@Lz6u-4q?Tiyyi`u^&hM;nU)wXOT)=RWI6-D?33
z&hPb6turaVO{{e@z`?x`pt4<<cLK#clv6zp<{aI?biCSA4w*32hT5l$+NT}0t>>it
zdw}|tkG&ZII2hj@0N0GY4xmgF2_Zd)CT33g<}kJ>z`jlbnmg8HF~C7R6@XucvaAm&
z&uO1I;9$RT-oypQp<|~;u`_{6kAP-@YS^tbmT$}^`Z@--%Dj;4=JO*>&Dpl--ppWh
zU=WkU&dgvgn(Ij9qHE8MRkeG(H9hGK#zRK`m}P>B@pZ@9;krY^%OB3A(w#d~&~w6p
zE)R|vdDlH!lf-|_#CsCmZSmc0$($I^QKHf_-kBT_;~bc*QZe4Zz7-OImZSBaP$HX6
z?2Qk!<>HA{Dl4)NC$-+mu5>1mi)VJlJ9~2?SEkIQI(NstGm)!Q3w75>!(w_t9=)@!
zM$83M{5^x|0>8P4e3qC?NpBUidWs3gm1)h?W->FNn-0@=bV*%JotT>_T`lHz(p6%9
ziS%|cJ3uF0hsSh$(o3_?ll8pXL)Nuo9wxnCOeW8oE9NtxlSv%t>{YolKAT<wKQHDO
z1s)RfB58}5za(8Q=B4X4-sV<H%&VkHG2bI?kbuG5?~?#C<IjD&=03o5Oa{=N^-7Y=
zq%&CwAR|N8*Ceo+nhr?7i=sjT<6M_Z;P0dh#0rt#Dpm{Wr^WL4Zxd@f*HN)LsOO|u
zkRP&M63g?fO6*3SSBmYB-X-=Uq;+B+CT$S=MbbvG&ys#t?DM2Ai|r+$S?o((w}|ce
zu~BTV9a<$A;r@>#$g;;KyDgXKtt;d==ykzK3C1S#TwBv1LC=++OK=lKFGz4J>FW~Q
zPP$8iY0|eOxQBF9f(J>zBSFvAXC?SepRVV4_KpNSw|^_aSGoS31TT;tlAu?+cO`h4
z>&p_nLV8hx<D_{hnTs^pGG9uf-sBTf0txIal#;i}@{E*ttj|lx;`*e77J3XzCFI3+
zMnd=T;IxEVyo1#e@^br%gbwlGRSCgK-scl7dZj&jVzZkcYUR{%-2BLrWvQ}rW43e{
zk4g9giBw_US(x9|>^KsFBSXWhC!dIT{NZGxcb9}vk0HyJQh0a$&7h$NfDOP#U=#45
zBc;qjwO6Ff&aQZBuun>_d`M|CUkWKRyht9GvOd4ob<naNm_~D%SEEWPLyd;46;k%1
zr{M(&FY;?>hO}y-k3QeR)lAmsB)o<iHcNP`r{SW6$5ew~Qhg{y7Dm;MS{VsnqI9o>
znHF3AERh{5?Z6)GGlCiN6G>Cc(-O&1%eN$wrxtU*lp`V6v#Wj-`A|NW(yvK58^k&<
z<&4BO*GTzUZj4H~=ahM`RHVSU(yK#T|6n356(|gzzWVx_+BLNeO?7uS)HgIX-P2UR
zrd}%E<Jm}6w6-o5+tV0}p-Ie?k(9_mi5$VatuQ}^9+`u1VRNg@feA<zzD*SAGg1<H
zRw8FH?=Q?pD8gWEbBD~?=S|`=_q^*458LJ;nP)k!yK1WA+WPac)>NY${B^wNtC2sp
zzEaYSSU=p6`I!B)BkdowE`90vySJQrZU0~1^l@z9=O!O(IeqE<Omp+zm*qE4edExd
zx_um81LkAfZ{POLiPp2<fAibrXG(wadZX(WK8^X<>d^9CqX&NcgQ4DReN%4e_pWQ3
z&*x)roXRYFe|+1u(W?{A@xT6Ulj}}>8uPKMkB$yUjy>`8$QPgNUGex^yIr?&J-(*+
zgtTRQ6X^|^Y)>M$E-`@bC^UWVE2meCSN`L|@fW%-r+)EM2L_&^5!aRl?ywaFy$^TR
GasCD9a}+NC

literal 0
HcmV?d00001

diff --git a/graphs.ml b/graphs.ml
new file mode 100644
index 0000000..b2e07f2
--- /dev/null
+++ b/graphs.ml
@@ -0,0 +1,106 @@
+open Graphics ;;
+
+let pi = 3.14159265358979343 ;;
+
+let rec ln10 n = match n with
+    | k when k < 0 -> failwith "Are you sure about that ?"
+    | k when k < 10 -> 0
+    | k -> 1 + ln10 (k/10) ;;
+
+let delta i j =
+    if i = j then 1 else 0 ;;
+
+let draw_integer x0 y n0 r =
+  (* 7-seg display *)
+  let n = ref n0 in
+  let size = ln10 n0 in
+  let len = r/3 in
+  let offset = size*(len/2) in
+  for i = 0 to size do
+      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)|];
+
+      if Array.mem (!n mod 10) [|0; 2; 3; 5; 6; 7; 8; 9|] then
+          draw_poly_line [|(x-len/2, y+len); (x+len/2, y+len)|];
+
+      if Array.mem (!n mod 10) [|0; 1; 2; 3; 4; 7; 8; 9|] then
+          draw_poly_line [|(x+len/2, y+len); (x+len/2, y)|];
+
+      if Array.mem (!n mod 10) [|2; 3; 4; 5; 6; 8; 9|] then
+          draw_poly_line [|(x-len/2, y); (x+len/2, y)|];
+
+      if Array.mem (!n mod 10) [|0; 1; 3; 4; 5; 6; 7; 8; 9|] then
+          draw_poly_line [|(x+len/2, y-len); (x+len/2, y)|];
+
+      if Array.mem (!n mod 10) [|0; 2; 3; 5; 6; 8; 9|] then
+          draw_poly_line [|(x-len/2, y-len); (x+len/2, y-len)|];
+
+      if Array.mem (!n mod 10) [|0; 2; 6; 8|] then
+          draw_poly_line [|(x-len/2, y-len); (x-len/2, y)|];
+
+      n := !n/10;
+  done ;;
+
+let identity n = n ;;
+
+let improved_pretty_printing g wd ht r =
+  let n = Array.length g in
+  let coords = Array.make n (0, 0) in
+
+  let colors = Array.make n (rgb 0 0 0) in
+  for i = 0 to n-1 do
+    colors.(i) <- rgb ((255 * i) / n) ((255*(i+n/3)) / n) ((255*(2*i+n/3)) / n) 
+  done;
+
+  for k = 0 to n-1 do
+    let theta = 2. *. pi *. (float_of_int k) /. (float_of_int (n)) +. pi /. (float_of_int (n)) in
+    let i = ref (int_of_float ((float_of_int wd) /. 2.) + int_of_float ((float_of_int wd) /. 2.2 *. cos theta)) in
+    let j = ref (int_of_float ((float_of_int ht) /. 2.) + int_of_float ((float_of_int ht) /. 2.2 *. sin theta)) in
+    set_line_width 8 ;
+    set_color colors.(k) ;
+    draw_circle !i !j r;
+    coords.(k) <- (!i, !j)
+  done ;
+
+  for k = 0 to n-1 do
+    set_color colors.(k) ;
+    for l = 0 to (Array.length g.(k))-1 do
+      draw_poly_line [|coords.(k); coords.(g.(k).(l))|];
+    done 
+  done;
+
+  set_line_width 22 ;
+  for k = 0 to n-1 do
+    set_color colors.(k) ;
+    for l = 0 to (Array.length g.(k))-1 do
+      let slope = Float.atan2 (float_of_int (snd coords.(g.(k).(l)) - snd coords.(k))) (float_of_int (fst coords.(g.(k).(l)) - fst coords.(k))) in
+      
+      let nexi = int_of_float (float_of_int (fst coords.(k)) +. (float_of_int r) *. 1.5 *. cos slope) in
+      let nexj = int_of_float (float_of_int (snd coords.(k)) +. (float_of_int r) *. 1.5 *. sin slope) in
+      draw_poly_line [|coords.(k); (nexi, nexj)|]
+    done 
+  done;
+
+  for k = 0 to n-1 do
+    set_line_width 10 ;
+    set_color black ;
+    fill_circle (fst coords.(k)) (snd coords.(k)) r;
+    set_color colors.(k) ;
+    set_line_width 5 ;
+    draw_integer (fst coords.(k)) (snd coords.(k)) k r 
+  done;
+
+  ignore (Scanf.bscanf Scanf.Scanning.stdin "%d\n" identity) ;;
+
+
+(* ----------------------- Tests --------------------------- *)
+
+open_graph " 1200x800" ;;
+set_window_title "Graphs" ;;
+
+let gr = [|[|3; 5; 7|]; [|0|]; [|1; 7; 8|]; [|2; 6|]; [|0; 1; 3|]; [|6; 7|]; [|0; 1; 2|]; [|8|]; [|0; 7; 6|]; [||]; [||]; [|9|]|] ;;
+
+improved_pretty_printing gr 1200 800 50 ;;
+
+close_graph () ;;
\ No newline at end of file
diff --git a/pretty_printing.cmi b/pretty_printing.cmi
index b63f5c6d15c545a0bd8e317662d2139d426faa67..d3dafd2c1ee8186da201245002f79f900fa7870f 100644
GIT binary patch
literal 3224
zcmZu!d2mxj9Nyn!17!q92f+fBQ7A1?S_8#_I>NlRoOMPkh@uRpugPm0Nt2KSOSzF7
z5d%^cP<T)%ha5#fq+Fpw0lDu(5CIY8lB?XM?(WO>SI|G+_S@h2?YA#)x2amLt4&f;
zQV(mQbxc9gCPJQhkr1UPArafyGv9bM-KPfv`8Kc5=?*yE*+#L^Qea!I767=lKeR;+
ztqK-4*L*%Lzq`ROt;xs2W-K9D4XTQz{47zSa(Fd7q6(9dJT`iu+ZpJJ#!=xc@~K)J
zYU_QHLPD-9wO8K|RZ@F7RCO+GuBt|<(W<8&80d4ScswqE+YyAkOc)1!kh_~26nvsH
znX3!-7_F+w#i1CR+vC=4s!A%UlFX_lbxBd#BAa@h0Ok9|(z0A0EzlV=$1qYfx-TfB
zKp7jN%}q3(bLrldCpXhF{Q!5u+R%=eI+jwov~j#jVn0ykfl?Hr?M$?oS9!l1uM*9w
zWC7f*lK5#J<7rJ<YyvOVIRlh^pd1R(E+#t0i{<p-#S)x;n@`X6YIa@Abm;*1L|M5#
zWTMzd+TWnHknN<<D%u^VpUG~MCHS1T{m>3IDAb4u(Y_{Xz}pUglebND__REm%gH3p
z^yz-xoulOf+&7m*hl$r^q`5uz9L<-4&88sy0%6dkIfbRr=SAL=uNj$&vC|NKX}+a&
zI+~`3O*7F{5H=ZT`ihxo9X>>aolDU9H6u}k({H3IGbETP!7K^BmEb!GW=k+f0)vZM
z=mFXYXp<0~Z=yC_)a~h9)L4hp?{#VU01v`KmT^6H{;!U6k>EUpg<>`ID9<~=^XNfz
z&PTWaVG#@6kJE*c?ji{mbKZM^jDdQwP%kb-_e$KBbH8Ed+^u2mHosT5JF}d2fQR8l
zT<2tN@u3yAsV4XLXkBX3uVBFzAUq`&ohuM7L%5u8Vl5VV4{gPg`br6YkYE*GOgWGO
zsDBUYKMK)1Vceh&TZ{!7I{9j1^g#jL?ErWbUc+E4zFKg!z)PH-!G}5MT!ZjOgloeo
zt$6e@HUupYgYKUYu0vQNl2~K{+SUsj`#e<rzBibb8EDzawQGm-O>*g*B?w8dMS@ZZ
zewJV>)5!vDfD}RGX^1?_CT->9qEM>0mn+r6>Co8$5@0WFh0uy#H4g@|je;yzCW>_g
zQUZ<Ng~okYu}*T5A&O~3L@~R^n{Q($4!~nmcnf4Oxh!BeLbNhmcqguHJHj18RVNp>
z>d>Nf(f<p=U6R*s!K)vT4bZqhH1;rFAIV9c;5BL(=hf7k2T*A;VjJ=amfCB|{}x*I
z(Au*6J_+`VJ_CT1LDX!BDq?+na<WMDDInr>iVb*dIr<<C6jIe~64pMz7Z>9XuroXR
zZ8RU0eGZ8}<ACgfsM`>AkM$WZCzYbl5+V+=PVD_=r-tszw`FN=d%i8(r+IU#E(4%|
zl)q5Ozf{Qj)F=5cGB|?psHw<Av>X!_rrT<?9XF#|qvb?s8f!u|L;SVC8|b<qIH+j&
zLoWDFv|Z%cUOsq4cs+ETMR*S3c^*5I4?_%E2kmDN{?5H)`7nkJ7KlXGDTJpH{>Edc
z@*(&{&661NtK|Nd1b<6#NrKA~ToD_33CL+^vILqeXB&E1PImJRRh}i{JZ@=jqa(`?
ziW1&Cr7kC}Jjdxckib=h*AV_AHpHSdlKKxt-wj>|s(k{lOMW*o=vKG@|HfIAc#%@A
z>uroIM|dZk)LtaLE|N5K-$hvM>wcd%u%hdMWb;shM-o&>@R$p!!~=AIxIGYefK3wQ
z<fIVt9g?Z4=2aP9BZS1WX9;^I82`B|2d#q_zS1n?ym34-x}mmFzYK;E*DK&~IWujx
zUito@HSb(O_RS+NwCPh=w!G=^_3aHKp~^3Qy+Lcj=#(9ff)#1$30>Qr{~+;d^%DAk
zpf%0W0Y)CS<&Ld$E^TG4{*i_eUsb}cxwC>+%kIh96=~56X5Fn<v~Jk7Lx#~>Mx?Sk
zSJ0|mh`m@cX!G>+(&_J|<~2Q8twb`v)d#J8n)JRrH*M+KLyPM!s$I6ZgJHy&C4$!Y
zh?uNRBT7rAx_yaBfvIN<qeCkDr-EJnb)Q>vb@lkzKME<D-)U#--MVJ<!q_V<$~Vj^
X{P>h(-}bPOgfamY_E`911XcB49%9I3

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

diff --git a/pretty_printing.cmo b/pretty_printing.cmo
index 23be77a4f1ae13dac677d4df422b941bde2e2467..5c3d666183bc3a11efd972b0f3a7e048df55e3ef 100644
GIT binary patch
delta 4851
zcmZWs4RBP|72a>(dt@OY|Jk2xHrebhn-D_WkOT<wvzh=ws00#fG|^<qhVZi?F)R#f
z=u(YSwNw)xZPB9LI*c+MtOyL+8PwQjY6fWwgB>WMGRm|}!TLujRa<-Rd3$%OWhQgK
zbI$kOd(XM&Ufw?S7GB)pXbAO1s_X0PR|aYVCR2I1)nqcoC!0*&`U`p9m*!tG9|@G~
z^lJB9|N850{q({-ed5-m<}=sz?=@`16uoXq|FVUo$fiH>FOU8Nt``RV8~*WgubE8N
zIVO{K#$?LbNzscITE=u!^I%UjdSB<j;D*i74V!zLQQoTeEj<v^)mkWlcwATKKp7I_
zJSf9rTmWT{7=uubim?I8aWO7|a#D=Tpj;N?3aDy4J~DE+wDZu|tbuQ?Q`Hv%8Zq;4
zsLCEw%@XGXgHTt*<D&uf9;mG>FWVC7=^1cW9~x7q0*g_VkE;4HHB;iC(1i6Xw-;5Y
z5wY+FsJzh#)Lp{vhq_OUgHR{LxE1Ot{qfuEx#~q>4ne&k#uzk{zG`KKPptv!G2;_d
zP8p*rB=8JcMr)(3sUy(3^zoL8nA!^5jLI5RhQ`!268GLBm{DTxp4k!&M>eeO>}=@{
zZC(eB>Nu)u(8RW?y6MC_`$C&~I=A(7N1+`Qn;_+w7}GGRT#QpNiE~<pNqh*|n8fis
zq^TA`SdFxNy}8-FK>Z#}SKzLLd+8YElE9s`mo%DTRDB0&w5O3@1nEflj{;n#n~*l5
zztn7vrJbY+jctWDZ0lSX=?_Jbc22BfK^mWFI?}F*L(x66s$elC`F&d>3BHAQrNWXe
zbT(M*Nm3{rmLzx5+1<Y-;fz@-Q&ZOpbtNo~Vw?fX3NaSL(n@1BSC0C%vwxkOup=c6
z3+f_RC|g}!2uq@F7Llxx-IfiTrEX73w`QLZtcK;F7+1k^RE&+V92cV>mhlu<R7wrQ
zazTvUuv`*j9V}OA)X;*-9C#0tFX_(Jh3Qko_BGs%DW~+{>ik%`D2|3O(nUc180jJ}
z^)sZu!ht?yP^S@N02%ukY(d6B2HTJ!_M_oGWQavH3?V}-uOWtvYYZO5RAYgMF||@`
z`tY>wNKa_+(3nQejGSKh7s1~~);zM<xSRT9DkVtMRATB$7L~U&FK$@2WLbmIEe3Mo
z55Ye`#u9047qYiWW}L~EC_N*+ojvz%4Mi~Zl0Ls>tskoaEBvS7|D2R938QQ|DKn{8
zMm4;M%xt<(Gh)~RI8Zi(GO=P*8pp(i%A~i5xFyJ(%fN%orf;S8AW(?1H&FHgsUMQY
zUxm1fGuw*H_21Gw4)`#A0j94T(_(l+TAN6e)xo0gBP+}z@r-GB3h-n4vzUI8jGsy4
z_kzENH}+3t?PGrG-O}(JP=@KJF#TVodOl%Pn1sqW)+dp5H1<Es90n>-F%K18Bse0C
z5DBtXv5Ywj*%|-0%xl05RD@CSD5+kT#)wcAaWXF<+s7(j)3V0JBA*jLH7edk#b;wV
z8s3uDb)o6dcdT*5vLmc;3-(!<PQs<aWm6#-)UM)z4~W?NF#Qp(<#4r<aZws;1dTdm
zba$nE3>(&m29XmKzAEW!;m$!$D<`)EIaG7%#S!Gh#sxAjMJ^?txWJ*o!O(r3y**Ln
zQV}S6J93Q#pGIyuD=#3I8ihi4Aa@0WyO29fK+Qw$E_QSwH%`EK6O1Xhh$#<nv=@1-
zi<vhfZ$P;459Dp<*Z}e$Vb7PyA7Rfn6j&Gl1$_6+LntuFX(-r9WfBkXVV|=-&_~5G
z*TM7?SY5DIlQCNwbAy63&DmaC&8+zpn8LLAL|dS{?y$9+8zj4le2vm*PD*Q7dYcT;
zX_%Kwqa(?xW!5Sgpf)qF)}Ijbw@F`we0NGCnpDnaWv2{mCsvm<b|zVKn6*v@hKbdy
zqs>0s+$Vh_<l8KbCt2xtwpRy?+@mt`G|{%|D~0p{>H8)5hNN*MB{gz?P)1%R+C%!&
zZT6V?QRy2e-(%9CdrJl9RqJ@eBQkQDXrt0NpQ0Jr|5QfaBideR&{HF4Gtz%XMq*cp
z_j74o6Q3*vUs1nQ@_%LhYd3a=w+_H6I$Se<0c#_Jf5R#|R#Qx{a?2_Ttkj*OnvxFd
zAr4K3^&*1|STA!ZAJ!Y}$%QS0J%xzb^4VpFEx^DD8(j~Y$O{|YIa;F>Httu&2OIS(
zg(_jAE~opQ?Amu=dKUI4VSka*xgd>Wl#T5qOXkA%HiMgCyGmNw^f9CBufp^&@)jU(
z73n{cMjMwc)%BmtKnJm|Nh6$O&Ek{#LI&0o>q}`2Bw5@F3XDJ+@}gs!V%C3km#tl~
zNcK+hO_s(ZNh!C2k|hJXh?OmkJxLaKf?}0{y~MKV?snU3#U*|F$yY3mgRJCU<7!Z$
z6V;#xL7ArawcBIL4C#B7e3jDpT}sNyE3;(e1kq}waVAAGvagqsvqYOGjf*K7zXD27
zMk+56?-pr&l;Rl`St=u+60J!ObkK%xm%jgyZ)L*BPfJPpCMauUB%NsAl}5g}2=@8Z
zf9lJybJHt_U^kln2<&6rna5zCVDM|$FL8Ih0XuaUHEry5IQZdLeglV(V<+IK<=6xq
zP3$=ZM>Bi=07rzuX*i-B`ZF9O>^Td^Q3mJXIL@ID;28f#_bc=qjH2Ku3PjO&vk@cf
zH04leVa?xBn9bl*6qXCI?g><((70DwC^R;m3#ZC!<-nO?u&S%z6nV_#_aG8Ye4aXu
z%j$uXZX~5U4bHs`^5NVsKunnm=fUJkPLYE#N6)=-4x@;3;XKFENpOB5fa*gLZ$m9Z
z5p9E}&qC394$VZ-5Q6}UhB;(M5iLWi*(fq5d;>)j@tBa6!e!#vBDnIIeF84yR4U+_
z%b_N?R&eMHeIGDb57#(@O>kXca2H&c8MMGfTTE2Xb%T8L<Fc4HtL#9rG4*m3*Yf)G
zd#|`j=+p>`n|Xp(6dSu8L^1D{e)APiaOiFn8|goQ5+nUdC^6DshmuB~XBZ`I46;zt
z#j1Xk7zOzeN=7(jN6FrJJVxoi0JocW>kU)|;4U|CwZH)uzXG=?g7KZPIe9Q{S}c*H
zn@U2^JCpjr-NB-_;0_a@uNC(IJN^XsE(Yh|-pAlgxMK$hC4SUwU7I*@_aP2{0QYgp
z8)t9{?vo6T!F^c(^=-ICc{TMcO8E?x*HOwTtM8(e7gjH#bUUjiP`aPVe?h5eG)=uX
zhEijV(<n72`WPMy$L@zGn`P(W39#n|JV6Ez!PCUR4$mv8(s{;GrSnWM!3)nR0_rAs
zE+nhvxtgq244!LDtb^w(LEHhavHT)<eH^(J-dYCL@QUTtjqn<)FNc@vPH6<-?O^a7
zc*6`z;N2;JwgBD{20?iDa;O|$&Qx0hpM^fziL?wpPF1ajZ$5ig!ncCi=ixKfm<OLR
zQ5$GqV$~1fJHVg;KF(GP!FP^5SK+%T0R2xgZGb=pKMTgss%b;XLip{|DQMjH-k!wi
z`)PXFOa4ZlZW#U*`um{*vwxp{J>(5)v+o3bvzh6mPn%=FA$r98`&n62Q&nACT~|MA
zc3n-~-1<57HMKSHAC1R%@7A<uP~IHWGrNDFKNc?4PlXreYrh={-2Z&3x9h|BIlIph
jdbQ^Y^hG@Zr}k!ix0)Z<l*i+mR!HLy$(}_oelYl7t?ko;

literal 26010
zcmeI44S1bZmG85fbDH#<(n13*^yGsyY15E2X`8fZd-@4fw6(Naq!>aIl0cfYX$nP(
zpj1RJGdF1wP|zC`0kJbMPy`XNI=zTm1s*$siinC2+@UH8D00!>|8JkOl9yxJrpR3H
zopC=b_Fj8^f9(Cf?+Fi!8#c66*4EapsHm#Q$~rB%Ix8#d)?>1=)@vRiSRuGVa8P5I
z=8=NS1#1L13Dyak1qnfofKejI7oY?F(Sr927>Cn0S9J8502#T_C+G54X%AnZACAv`
znI=AbA+8(&zSawz?!F!>2KKid1wTHKCvwJmykJOr{Q=G7?VIwS+>8@I!^UtyrcXzk
zzar`IdQ2ZcA9jv*pZsO|HJBKm8Dxxu(bb&RMXj<0rGlvfWC41Dajd{`X8M=e`xktM
zpg_QSqX3=MfZ^-L$of#Wip3MPHCcF*fPU{3Y!@)VeSeeIQ6H#z)DL1i6fb-L`taL*
zM}{$w@9e)<V2TjFp#pkyy#Rjv_gGmomI}yGz5shmBDnVf=aL+@3fcv(OUtaQ`Iknn
zU}jkL_YXEs5qQ4gB?mD<)F(d=*e7T1Po_Pujq7`lcsb{c#ez1$o&jc$BQ9E@;9LPC
zTi`JhH@Rj;m&=eBWM&H(#CbIG6UC1_1Kohz#E#!{<RBr4#sKbqWcp73aVJt^W^@5#
z1a61Ac|7=$5X1!8f>CLJPQIrIas<>Cy62i2GRXB<0r++S1D_b!MUJ{akDfo*U#xv>
zAF4;9Hod-?z5GteuNSzF@KLi#0?(u8OIx9*J2bmLnY`qrKyb2vx-ydkX7cK~GIO6N
zn%9u{2I?EH`w5~W@47D3I$yv(I<Uo=U>+uLzPD=A>qu^}#l3-l<bc|^uhhIy5ao;V
zMAu8j7v;~)qx&qj|I#`4GeaHeC+1`S%9%bY6Hq()q$d4rY|+}!Fg526aQoDh@%Qu7
ze^(Fo%)XWL^Y`=6e{cD{$9?YikKZNqYjo}Ris#(>_iufEIBSf|^TTuBpFf;2__(*J
z|N8}ux1$%(k*PPDH>cGHi>YVHf2QXb&)&c1_U(T+@aMhv5`E_HX9Zf*(@~nAPu|^l
zABmn%p;?^ud;!lQ-evp@@SNhghyK5I=H0GLKtEt3Fa7-Ed53;{<DHjrRcgwr*4!*;
z68O6b@1FRI&*<SBpLg2h1n4GisXoYi4t(g&+-uX`3%b}cbuQFCI!XlOaDo8df$U$V
zee80_;p0I17HFUGR`fMWF4MoLKK%4L;wwO`Wddm6|D-&yCQqjbs6E5;OU@XX`GG%k
zZ!kH-)?ji0pZlq0){is%RB8HRW4&JB-)i)zugU#n0pBy&rC(X&D|Zj?%zTH^V|+u=
z!`{=#(nARWd4Z1ZO9j+*ivXQ_1n7&-UKivF1?~_0^sv+E`FsJjB&RC`o>%OT6kIM?
zBcK-R1mwnfc+UD+<XPdp4-fM2u^#BRs$VIm<SqJJ75--W2G5avLqEQeQ+&oR;&k7L
zlRON@uU}{Qg?(b-`=8ojXQqJRzViN&FF4db`Nc;cSEU!x9N-&+vzQZBsXEuD*NZjN
z8_Y}6Yi4reH2Pzkfc~Hs=#1_a3C|WFm)SFpdrX<VBatBI_L6L9__skaU|Cr{yPo5<
zPj1kMUGBY81jI<~@spVGwJber%Gz^;GspdbZGSdgq%~)R^F%%HlQsRoIU^77XZH09
z8K$P>g?`NyxD5Q{g+1gspRDPp0zs>wL$E=B4c6@f`h@i?0mIK9y8L{jr&Hj0;yWFk
z)Q*^-1H|HS;TL+70>&7D-x=727u&>*?@`{QaE9CSx_HkXt&b;37q!DaId%I{U)f6v
z7=KG&50}rQ@iEGq3{ky(`K11bs(I9|=llO=t=~%i=)FuIqj9|5`OEA_w?CMEbl#&q
zJ3LRR8Rwd35An7L<_kC*jQ_|p|JV3ET)ug{Je%;J`<Qze;7lLx`F-!7Q_t@b@u90!
zFje64+`s<(<xU$SXcWND+WC1dFfzY^p|2Ofk8jBEjsd^x<&L8_xqG3JbM9vH0zgj+
z7{m%B1q^6BH<JQJGW@%LhVJ(2(=_*GvTy)j4rQO*9ndojKgI~?4L`e^((7E!@R2jW
z$DIc`*6=J5%n&35ZzUH|U*7JV43STR$pOzUa^UBYoOtZig?;V^_LmBXw@5&|$a=p}
zV+M837qkfIHP_|6K~H+k(Oo7W&&Z#zx=hxb5O9Wt9^{-dBZDs1_)BaBkv(cc4(U0s
z>1eH~DgNV+@59GFGWf_mOpp)|7ygt8sBxo!bMkQkeGk9)w8ykUd+r;0$jjw|H3Gg1
zc#k12p6SFztmKoJGIhC5_M>NNiE#3TulO}sInGj4CR3-!o@vkJhNo@uUI-8QA@>OZ
ze(-#Z()=CF-(UQ_X1e(D1-|d^HRPIl94;R0ykEd*5s*`Ak|&@(<eOR_Nk_eS7)P=>
zLp=BjAN8cRthtXlSFHVS`yW$3(ii@{RFbCqxyTmoF=yri|7QspPGe2(9mifFn;P^P
z@kj6Q*7P1Z@c6V0y+Xe@P#5Y}CcuAcc1GHF^yLevE&T8n3y3`$#~k6<iPnPJksr<_
z{LsDk`5lDbr{@y_@A-{dyAJrNo%@b&=s8@@U(Coke&L7fBuD5xl3&z~c>R35-F{I!
zYSt#8Pqzu^TXLV-6U0pod>{Wa<3ZP<Vj3j{<eKvhpPw&k?s|wdN+V}cKJP{6Kh(^f
z;BqeG_lWOj%KHA1_?@p^Ht0*oqjFLEgRwIZzw327t+I8w;5`EFXX?dyr!I^`(V^uE
zyk|KF^z;V>=wd&U?lpA%nRMbFth`vm`GOxg>VSQEnfihgzvro5YsO>&&z~j%y$0VH
z0dn+->tS{}dQTQ`PbAVaxnhqv>0i!Xv~C_NbmYnL8o@FF{YvcYV;f%beVKsVO-kc#
z-~H>*zU#%FpDX<4Oye^?c+4xbb{o*(BTj1Xdfevm+QWzFeKL@2)Ccsr@92-p)(dB#
z(|d&VK+lqgGVV3_(1(5eMQ>8Tz$P^E=QjLzo59$6HT|97&n;xABl_|M*oxxh8JpzN
zbCy|C@=Z;t0Y2j&JkdHFN_LU>kew{x4n)Tofyc-U?z((tKU(W0!aX<Gh7RuhKC_RH
zjxW}lJ(r2r5S`FCN6hqNrktNWw+$ctn-GxG!PI2W0QJWoa)$gsJ#%Y@j6Xm8eskPo
zbH6!XHwnlyHdYJ%Q9un`#@|7vYmc7bIj*)jc(P`mVY37b=VMJC9rt$^{ARdb_l>=e
z@-GeiLnr-3F8w@GBZlX|^Gi<ggXdkL0RQowv0WfH55faI`kq}N9Nu>e81NDkcUq$W
zU&%E*rwbTuf<KAJ-#h75@`lgYINX^i5<Qwzj~yExlj~uo$D(n0&OE1H3*V3GJ5sMa
zqZshp&-_5SalJ>f=X!{PaaC%{+8D9ndE~sfUSh=0XdjaMYysz+*kc0fggmnJ05zoc
z^9A_LC=sB`b<;QSQd35iz-jPegSwJKYC=Dw6S+<Sb*>P!3#bD)@0QyHoEQ9LP&ay&
zUSZJZ=<uAemoI3|*dr$AnW!~5I*@l?@PAW!pZKX2GvgzvDeDR4m_3gPAF)p#dR|+!
zM%Uqb^EA=P1GR*o{JXr*=!ot|Z9t<w^#TTZ2I41Qa``X54^GrR_K5{O)Y$F%?E0cK
zw};%3dj5q-Ka%Ic$b2P3Mq(k?$TP@0dP)UT1@t30xgn3yX9s)4Kn~y`4hN6X<DsWE
z2>d=EHe@dstP%7G$XBian)A}DnY{kH13mBeN{80?=l#t089qU$e=_M~v`1{zCd%V?
zGyZZ`@ew*RI-LG4tvNFudnO<HqjGK|GcUx8fB3<<$rlhGIU#PRqd!XL%yND>ThwVV
z_Q_?YeeMkOl1uXU0Rgs&o&5P8_NXoPiUn`g9y*E3^X7L1`))h)cZb2qY)bcaiS!U>
zseruD*M3j>^Msi2e}w=)B>ETUm%jA-177OsxjUR3c|wl<aXD&F%r5UU@xo92xnH6-
z{4OPqd;xXJ6HpiIA4zwocv=Onhi5^7;BYp`^P%o4o;%c?IOu_dz;%;z_YuDirzcYe
zUUVL=A9iKjSzb@q<vGGHYVZ5**I;aXB+@^eYjn~-$hy6w=^yT)x6(hHJ>)!x^iHn8
zd&Xz#!T5Xc9KLt>?|nF1{$A*{^d5OTdgtm$@9<3V-r){#du>|tZpKV+Fqfz2gy#7I
z&NhQH>UH-!5xw-K-z9!`a3@1^{tm6ZPoc5TnTYOt4{`TK`<t`t&lu<7eku_Yv2cf6
zCSY%eAZmA*aOAl+>EVwG=wo^paG%^y-Xo$u5wqL$d6xDVQ5v@K1)cQ1>m?Qj&#~w}
z_nF&ty*^J8jXM#YD+K5y27E(?H9k@=V!}p~0D7mOMc~hB_89Ju>p-X5^V#LFi+{x9
z_uoLilUtXq*P3xCU&%ju$yu`i-v`ne^~-hgjKOc@E<Or5e~+h^@YQ1>Up#-=_ddQX
za#qOiKs`i{{r}!W^bdKbzW=ZHP^PbMR}ay%gYCV6dPuEua4<bYF9Y0nem~u=b@aZ>
zyq|6seVqU~Xnt;IY0dE2&mHH<*PJizRKMGg#G5Bx?soEwoZHI8@!xIuO#e8)@A*t_
z7~FZBTh5d7qC0xVU1pN@4|nIG=V<zs^Bt}6q3pJZ&wpdeyz>U~eK2>P`+B)_Qxm`Q
zrfWTr&S*Xcy7T5Ah1@{>$~`wwzh01W=MB`Ce&_wYFW>wurl08RqrFG}7JZrN>)X|r
zb$?}F9_k*=?8{Qw@o%29wdNf0?#z4N3IWe`bY<S96SdD>O8;k`|LC2@8Kw6d1;``?
zjB^Bod3Sg|eUAKH9^W$cfO8)$7WjR`I|gHkphUoZ$=D(AI~*CmBk|MU#o@;{M&>;q
zrF}HTGN9ZB(VVwTYuER_-=w}x{LXg$N%6cUaGZQk6EJ?6&cEZ23+Ju_M{l=qo-v#m
z_BaPWc_URbmsy^Hf9Zc8JjmVYI)(_3+I;=>H{&;@@n|fMDHhj%mgx9^U+DGk5OmTX
zBhoW;Z~)m{!Oee2{r@o717}7Tbn14#=;(>s{*G)%@mGb5<xM&G$KU^@T+U1VKL7gF
zzs%c*UrFt`Zt^=JBC{z?AE|v}bRTbc`OW$Icm}>Ujk{inX04N6X5uA3=%RK%{@uZY
zj${8fzfJuO9y<6$;r=ZPzxT86!IMA0KDlI{cl~z=+60_SW_q7^3I*hPvH%~}3!q=0
zp6O}s27KmzP6&{7nG>`|KY<~aIK=F9X773U(eL?S_I|;)gn+)lCy$l*i7C2Ap4h_=
z_?;Ks>@!9R@ZV#J_8oSidyLG^#~R?7&wPA(&P&fHrf1%{pr4$c6Y04iJr||t;`Cga
zp79;I>FN2@^jw*qtI{(yhi`Uzu1(K#)APLayg)PWI0*rRdz2i&&)EKn+a8ve%XISe
zxt8}mb^C9Xi;}EUS9UgabzNG&v9q<ktF^s(rJYvM+uO6F_^htRw$}5rlD)k<tJdrP
zzEj`O+1YSueRES+eM4hoXVy9qVlm6QjycD&Ze|{CSr0MmKkL~mEwSS)Yaer-WgTFi
zXcl8W*=!PXzF9SMk=d2V6_`m+Pi(5$<IK~|USO`UAz92-HYAUEmJMlSuC-XAx3|0d
zp4x?-O^Hi8wj?%h(W2q}jxAk@u9k+b#Dcr`%-Hzm5X(2TnQgb(=h*Da_QZzx`nqJ&
zVk^<Q%wlUb?<hH~vteUP>-x<WlNUQHLmHYp>o+S0>pR*yIxY4Z{KG6Bq8VxNvQ!r0
zHS8a2@pZz>U2a3i#Z6ru7T*r>1dHDa^8}0U4k47Skk1_#Bsv?~o15<56Du=&#g;C#
zrSIKC9#ZS|a&l-F@|$evHsm{OC@J1imMU0%{h6(syKLxwXqVW~;NUFFQJQwfsx61&
z#_B9*H8MqO+FQ3;P8)kmEay6S7Fmw`>WMA4oJYZXEH?>WV7aG*-(b0c|2>u)_*YwQ
z;9qCC;_rziEcaRF^KDoz{O8%QJn$A9RtJ8U4Ic@fwBh5y@3Y|{SzR{#Jn&8%z7hHd
zY`FCI#OB-ZUCdY7@cqy~Xv3cazuHCw{ol0_p=j^75o@7;-$p1eJ+U1&BILK*M(hT^
z(MCMQyv|0v#QYf>DZh5cZnlvn;J4byGr?c9QDOeIjZ*P?VprIxM)qH^QP(j4!A7As
zdM4-x&V-HHgT#Y2N*UN0d%#8oOM7gzBJGK7x6x(HkJ#wd(D&MCY3_;bv(add+c+D2
zM_3$hqaT2ByN#AcQ6|~w=fYyLjmgp?R$^l&!SOR26SDeK8zZlKV$a){ki9S380qYZ
z{mRDN4gZTaCiwQUjX_bWB{wu&)Kq_Q)A}wuW~G>SlzR)UYG`ll*kH$qwI>$0u{F%O
zHa56B!o~*Gqit+R>{uHc5<A|GZG&%u9eZ7$2~JDv2b$`)+Ohq1ee+T~mIM*rIC-r&
zPqcAYhMfW%*By3RZQRpgr^Lo9d*bP^@mo1CI}0nyD{cJa*nHK-%Ln#mlvmjJ7ufr=
zjZbM$+Ht#r<a|5sp`dG-9rudZZ%Il7SRz;|SSC14aJt}(q#gg7#LB|y?KuC!`o=9A
zZGy7jvtzm^Y9V)`O`sHUyT~S78`Zi<S{4fi&^+O0X;u*@+={1DYy!oJTes!aL^Ujw
zv}?h~h;MnPqv4&Fw-OC!S{}KN+kKX&bfqGTO1cl}$np*#-C=o3Lr<*TPB<n=KWQhB
z+P=JCp9l_-pA*yvTnHz0qvd)#L1~r`2kk^9q+g5sk>SIMWk`S7POL`y0XvaM;zRQ7
z#7Eh9*d_+2hD@=E>WQ6GLmiqnZE0w;i4-P2q|+uzMlErfO;Q52v(-*o7j`~mC+!c5
zC3dnhBhrU#axyHo+vID*;-fbCy0G}TO;#Pm^A9$8Z&-BO<b7eW(<UpQB3*BjQ${~&
ziSdfA`=0#zyZ6M0G?^{2>Hlu!#|XK=k+Hg_6Y@my+-Zr%z&~YkTT|1<L?u$2%$8dD
zcq^|J(&<PNsV<qD9b(;l>E?PtSJMVPZ8mJsnY6^V;LLrNNO}H%C2kHoU$Mlluz1)K
zPld(TE%7W1`?e)s3OnDl{M@kkw&g3e3Sn6O()O;V&O}4|r3pR$o0_%m>PVd5)ZE&h
zShDP_#GC})UT;=w(_XT&;X-b3WSYFqZwWE}*zz}~Dt-&ClI(+9&g|{(Sq_@i<~@a{
zG!94M{bqBmtjfw7ggoF#^FlOkm&X1BcGmia_6sau1>+*h55e01wETxcAi0+Rc!=>k
zR!|cb-?M^LipE+&sIu+1f)vk_R;a?MlqXtYQ3$_g>8e#LRw>A4p7V*;%?e)8w>IPB
zvzGOuC1zUUG$B88q+Tu-%0f>(`xGmbul;QfB~-;;w!&UnO1&>!(ALq=Ro`(zy%KDN
zPisGQ`8Kv*Tpwsw_<}Zdy%y47u@P1j!@HdYGs>+<b@I!4OIw=1C=b4v6(yJ_SW!tI
zlb%A(RMEG&zGJg**7a*%f^eA?t!AEPMeCSPwxUMODbM9Fey5x)YU>y6f^~rvDg2#!
zJ{OVb*fCZ_^r_%Bx3;_7t^IPl;9F%y4>7;niuN)uv7&v<#a6VxpOrkt8m;I6^Li_K
zg?XkGy`edt{b@S|LVU<=b_$f4;k@V_b#s?qW1H*Sn%bMYTCA9u;@P)b@v~Z-nmSY|
z4!y?O6!I6({%4yK_|%nC8rd20piOx+knXn<HMn>lw36Ln@l`8%C@l6^32w);|J6!@
zFWHY+3BJU$zh$Mdu-Ip%DHD%bX&tfMbISU*riM<nSN2V2W370B6|WU?vm@uKiAwh)
zY*VfD=^#^b*2<-e&scWGV#IDYJJyODtazi4I~>`H*mDv~6)v5H)LmIBr#R|sQ%Ak4
zr76+g(U^K!zNDdDugM*Wme%H$HbGaSr0dd+O^NB1>~3!9xFpfg);2dWeFk{b*48eq
zs{*a7v#DVN)Kc8qZFamBKVii$3%M_iOnHagnyO~iVfmv?RVp|vgSsKI|IO?Ko3hQO
zp#2Aqe2E)kY7&ihvQ0fbEb?vY+Kl8rXL^&E@^zc?b4mZwk>?TK7?Qi$rf$uUdC9EE
zO6OVW1(Nx#BNs_#T3e90!lrcvnQ-xEzhPEvrJuFZed7O<Bj1JpR{V-Bv}wBnf8^rV
zDYq$B`nZ+;aZg;|4Jl-57E+<F>;{{*x8F)^yr~hU&atWIiT^l98pK~VK3F;1$|n7V
zm4w+eo7!koKPD-CW2F#X!d6xmV!6x8s)JO~>1QlisvPsRQE5|uVpD%7M4uZe<oAdW
zes%Qlw0Cr+daG<(P{Kn(pJG}2?4+2TG$Ce4=>+kRtbn%AvL3UO-eD)L7P82ZHL$5`
zBi}BITN*lT`bzftUPjLfC)TDnhIqSex~ia4w%VreXQ2<2a-|}D@$`M9TDj69>Wx+&
zLe6fm@|qxctCg#9M7qVw*M)_4uG1nm&dP5N8+Tgy-CCsXvXn}_<6HRyf%-3YYD#Xm
zoq8oZ*<ZC&uL-0Ft>VV8^RK4+7bAPDGB50W%PMsOwDX8n2IlO?tg>54;%)1mqKW5J
zY#>!PSl0D+{7H6vrH~sPsR@tIQzo8MT^YDO<AgeK{SQZ$^l{AyT%UKs>EgQ0k(GU1
zRe@`l6DZC<IkK*gt2%Jq>jWBcw<9fmTr&gLgHC7@*H;|r>f@RfxW4X$t>XHIBUkou
z%?@0TI$^uGzU9cZfvb4pIh7TuggxezZm~V?$S3>RQW^V!Q$8)WCmp%1pDmTLpE%`C
zu|4C+z5Q&doIU51`^EN4NA~oyrIPldQ}&AOfFrsiRPhi(Dr>)U$`fLH*^wXhv!&AZ
zN2fd^w$~let>)T7-r`wKd2vrXZjQX7H!zzqGPL5SYz8ML9$#!TR)@tho52Z)$Iq}C
z;RwXfv>EF5o_Kt<&Dax2t8B(gVX?+$ycS63T2*e?ImfCdg`M?QRTOp_tST86jaH@8
zCOvIdr4uX@7g|;5|M&*0QvZvz#j12_bX)i-h}T)xXD#oOmUow8nCHls6hhV0LF7YL
z#my0qZ?~#9B>SdA6o02>eZ<DivvKd1_`4ig8#2{*h!k0xYn`~(IMUe16*?k*juTqM
zwa$@^eO#d-;^#Y|OI+(6+1AGu`XS!xge%2$p(EGyafNn>Z*;=7;@aehex6dD@ji4z
z{1PYJD6XxJ^!9P3n&E>^xK&(NII=5n^&g`6N1UQ7D1NmgU+!lMhbVrnQ@$#;e{kfH
zezsJ~b~@$TV!O_f@AtE%a`q{wJSn!D9C@~%EtRxeobsI5KI_P@`q@%hyTd8J726ja
zdA*-4mA1Q_@@KK#okqsz^s}Y%_9dr`5ZnEZjOP$lpGh0XR$6uH?EKNHQ)lN5tA0Fm
z_(7|Fip9_&R{aWHI&`>It4p<$Ycs>+Xy^!=Ssh5@Z03?c8f!DxhMf~^=6PXfg3a6(
z7AM-w?SWKaGke2M!e;Ibi$a^ZFOa6$%>8dZM7mab?6}=_9A(h8l0u$P2($8n$ZVUH
z2#Yy3s|MMf1r_BsEA@05ZL@;Q*<)??cuZv<W3wlvxGKwSHepN;Zv|~#>399v;mBv_
z+iaa{2^87vJHld|&E6drBW?CWeTHTeK}to_CRY(Mm_6HOzYqlCR+GhI=mx6^UJTu6
zHS$8*M_bL-K)Tp!t__Pzt>(HwnqW0DBdIH_CRLJatmdgeN?7eNfpm@47O{x;SZydt
zcB$2#9!T0*7f7G7+C~=H%~rcVEH1R#17UHt)xH)Mt89)uOy_P+uJ-i%@tojm_BNZ7
zQoY>fEP;FIJvL`;SlnlG&I|Hq*_@QGU$HsC*P##FoRqKYY;G#}y*4)}jDOeWP6|>@
zHg|Q<qn#EO@gLaSje*o|b5rTiPH!On)aKq1NV}}ABKWGG&MK^~Cbh0)oeT{3TOBD#
zz4)~ERi#e0(h=4vAzBtrR}a*+1)*<SU6&SmeX6@MZ0xtXo5SKstJ@V8k67IUTBJV?
zx167@cHN#p{h8J6bGH3q@e8YaIxOz9y4P6boMiLJZ9FGo^Fjf$AGUcR;GANc7wqPg
z+PrIm)HiM3?!bJi&D+ajXpPNFnRwjhr}Wg={JcO~X!8?6>W4Nz8KktcGLV+r{Ix9f
zkv;#>{>06HygzaCp9%~GHvd^IVi(!`1AV!g|3-hV7Q_NywJjJ4-{rO-Sl8$Cg6cq7
zXbVD%=x-ehupYb67Nm?Xw*^YNyg1bsw1vf)wt$Ss^}W8Jn?=smwxBmGK4uH<2&5^N
zOa=PiEg4MZ?671AR2GtF2Id<rxsJuqTP&F}QEN&83bk{0Al+%n2UzI6J^551Y3GGN
zy4R8~vB;ie3$J7mUup}l?F)ZViS|<GySXV{@kI*O+h@^gWMUt-ML1Cr?ve{Sn>M%9
zcXZUZHrk?H@ZK{g<1bX@tD3sDbha<*=xEc^D(CvMZOD20N6Q;hOFeaM(e7ZUs;a!Q
zx^iaij9D|QX4cfsuC1!BvPFBtrS}<Iav&HeO;pxYRBRQX?+zRCPFwY)t@?$KFF0~Q
zI+whLT+XewG%LuRvbwXWX)`jrZOFT9)o<;rY$5kKk}H{|#{`+XZK-NN;1%UFY^f3|
zMPIh1a-b)k8@FZBs70<V6Wfj*@!VtVw6bJxZ}<aEcf}cx?A>w8$DaB3U!C)Z4>a$5
z{`KD8Y5oiJS(k3^uDImqpJ@Kwzm2b4`?*K{x!{9encdr)@%7YQQGV5;M;kwJ*YcI+
z%c_5IcGa(<Dw;NRS1fO=u`Bo2Z}`Z_pD+KHoQvc}-;dnkH@NPK_`YkK|Fpd5^Edrr
z+-+aJ{MX-)7)kxTpu6HjcYUk)nYP&6EwOFyn_qg_xxKxW?&rH2x>_%8(oag=6^ZVS
zuP+*N->@CMB_I09t2f1Zd*Af8tL}>1)*L8&__-f;KK-MyAO2kNnJ-6tIitO6R&{s9
zn*Vk7a|fs1Re0*MbMJb+cyH00IjUxKS3Ef+$KF@+gV(-u{C8gd=^3#J5pS2a>PL{y
z?uw$%fB(4Khy1ttFMj(AzrXjHKi2j3p6cE%?%1%gt!Zm_#nb0hKe6wb_nkX;=$H#$
z`q~^Fi9TQXR_(56_~n%6AKd!2>sEf_y7w%;q~J%ry%nxxQEPMfcI>Vgy7o6;%z2<<
z{ffN8_f9YSUPHv)@E3&cinS-NdGVIzyYBz~7e?JN?2)h4^!BFz0NY(LJ-7IRhp+g?
zgFWq?Rkd9`Kke;}=bqnP@zu^JUd!v9RrKk7!?)h~o%esTx3}-lmE9FDo%`^Pk)OEw
zhI`KWSo@R@{_x`7-kQbw8?Msd)Y;z9wydLbLqpf1hRyohW_QKj`>wiu%7KzsAG+yt
t7e3wi*f*0hP#|dQjSqdeH=g}MZ#?HU!Sr6estbR<cSo#2xL(0D{tr_E6v6-i

diff --git a/pretty_printing.ml b/pretty_printing.ml
index f75387c..9872b98 100644
--- a/pretty_printing.ml
+++ b/pretty_printing.ml
@@ -350,253 +350,4 @@ fancy_dfs gr coords map blank_color_map ;;
 (* --------------------------------------------------------------------------------------------------------- *)
 (* --------------------------------------------------------------------------------------------------------- *)
 (* --------------------------------------------------------------------------------------------------------- *)
-open Graphics ;;
-
-type 'a tree = Empty | Leaf of 'a | Node of 'a * 'a tree * 'a tree ;;
-
-(* 
-STRUCT : (digit, xcoord, ycoord) 
-*)
-
-let rec pw x n = match n with
-    | 0 -> 1
-    | 1 -> x
-    | k when k mod 2 = 0 -> let res = pw x (n/2) in res*res
-    | k -> let res = pw x (n/2) in res*res*x ;;
-
-let rec depth_of_tree t = match t with
-    | Leaf _ -> 1
-    | Node (_, g, d) -> 1 + max (depth_of_tree g) (depth_of_tree d) 
-    | Empty -> 0;;
-
-let fill_data te ystep sx sy r =
-    let depth = depth_of_tree te in
-    let res = Array.make (depth+1) [] in
-    let rec aux t cur_x cur_d spacing pcx pcy = match t with
-        | Node (x, g, d) -> begin
-            aux g (cur_x - spacing) (cur_d+1) (spacing/2) cur_x (sy - r - 20 - ystep * cur_d);
-            res.(cur_d) <- (((x, (pcx, pcy)), (cur_x, sy - r - 20 - ystep * cur_d)))::(res.(cur_d));
-            aux d (cur_x + spacing) (cur_d+1) (spacing/2) cur_x (sy - r - 20 - ystep * cur_d);
-        end
-        | Leaf x -> begin
-            res.(cur_d) <- (((x, (pcx, pcy)), (cur_x, sy - r - ystep * cur_d)))::(res.(cur_d));
-        end
-        | Empty -> ()
-    in aux te (sx/2) 0 (r/2 + r * ((pw 2 (depth-1)) - 1)) (-1) (-1); res ;;
-
-let rec ln10 n = match n with
-    | k when k < 0 -> failwith "Are you sure about that ?"
-    | k when k < 10 -> 0
-    | k -> 1 + ln10 (k/10) ;;
-
-let delta i j =
-    if i = j then 1 else 0 ;;
-
-let draw_integer x0 y n0 r =
-    (* 7-seg display *)
-    let n = ref n0 in
-    let size = ln10 n0 in
-    let len = r/3 in
-    let offset = size*(len/2) in
-    for i = 0 to size do
-        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)|];
-
-        if Array.mem (!n mod 10) [|0; 2; 3; 5; 6; 7; 8; 9|] then
-            draw_poly_line [|(x-len/2, y+len); (x+len/2, y+len)|];
-
-        if Array.mem (!n mod 10) [|0; 1; 2; 3; 4; 7; 8; 9|] then
-            draw_poly_line [|(x+len/2, y+len); (x+len/2, y)|];
-
-        if Array.mem (!n mod 10) [|2; 3; 4; 5; 6; 8; 9|] then
-            draw_poly_line [|(x-len/2, y); (x+len/2, y)|];
-
-        if Array.mem (!n mod 10) [|0; 1; 3; 4; 5; 6; 7; 8; 9|] then
-            draw_poly_line [|(x+len/2, y-len); (x+len/2, y)|];
-
-        if Array.mem (!n mod 10) [|0; 2; 3; 5; 6; 8; 9|] then
-            draw_poly_line [|(x-len/2, y-len); (x+len/2, y-len)|];
-
-        if Array.mem (!n mod 10) [|0; 2; 6; 8|] then
-            draw_poly_line [|(x-len/2, y-len); (x-len/2, y)|];
-
-        n := !n/10;
-    done ;;
-
-let rec draw_list l d r = match l with
-    | [] -> ()
-    | h::t -> begin
-        set_color (rgb 192 192 192);
-        fill_circle (fst (snd h)) (snd (snd h)) r;
-        set_color black;
-        draw_circle (fst (snd h)) (snd (snd h)) r;
-        moveto (fst (snd h)) (snd (snd h)); 
-        set_color (rgb 32 192 32);
-        draw_integer (fst (snd h)) (snd (snd h)) (fst (fst h)) r; 
-        draw_list t d r 
-    end;;
-
-let connect l0 =
-    let rec aux l = match l with
-        | [] -> ()
-        | ((_, (xf, yf)), (x, y))::t -> 
-            if xf >= 0 && yf >= 0 then begin
-                set_color (rgb 192 192 192);
-                draw_poly_line [|(xf, yf); (x, y)|];
-                aux t
-            end
-    in aux l0 ;;
-
-let even_more_pretty_printing t r ystep skip =
-
-    let sx = Graphics.size_x () in
-    let sy = Graphics.size_y () in
-
-    let graphdata = fill_data t ystep sx sy (6*r/10) in
-    (* graphdata is a ((int * (int * int)) * (int * int)) list array *)
-    (* <==> ((value, (parent_x, parent_y)), (this_x, this_y)) *)
-    if skip = false then begin
-        set_color (rgb 192 192 192);
-        set_line_width 15 ;
-        for dpth = 1 to (Array.length graphdata -1) do
-            connect graphdata.(dpth-1);
-        done;
-
-        set_line_width 5 ;
-        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;
-    end;
-    graphdata ;;
-
-
-let generate_full_tree d = 
-    let rec aux n = match n with
-    | 0 -> Leaf (Random.int 1000)
-    | k -> begin 
-        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 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) (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;
-        end
-        | Node (_, g, d) -> begin
-            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);
-            aux d (dpth+1);
-        end
-    in aux t 0 ;;
-
-
-let even_more_fancy_dfs_infixe t graphdata r tts rfound gfound bfound rmark gmark bmark =
-    let rec aux tr dpth os = 
-        match tr with
-        | Empty -> ()
-        | Leaf _ -> begin
-            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;
-        end
-        | Node (_, g, d) -> begin
-            aux g (dpth+1) (2*os);
-
-            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 d (dpth+1) (2*os + 1);
-        end
-    in aux t 0 0 ;;
-
-
-let even_more_fancy_dfs_postfixe t graphdata r tts rfound gfound bfound rmark gmark bmark =
-    let rec aux tr dpth os = 
-        match tr with
-        | Empty -> ()
-        | Leaf _ -> begin
-            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;
-        end
-        | Node (_, g, d) -> begin
-            aux g (dpth+1) (2*os);
-            aux d (dpth+1) (2*os + 1);
-
-            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;
-        end
-    in aux t 0 0 ;;
-
-(* --------------------------------------| TESTS |-------------------------------------- *)
-Random.self_init ;;
-
-open_graph " 1800x800" ;;
-set_window_title "Trees" ;;
-
-let tt = generate_some_tree 4 100 75 ;;
-
-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 () ;;
-
-(* compilation command : ocamlfind ocamlc -linkpkg -package unix -linkpkg -package graphics pretty_printing.ml *)
-print_int 0 ;;
-print_char '\n' ;;
\ No newline at end of file
+(* compilation command : ocamlfind ocamlc -linkpkg -package unix -linkpkg -package graphics trees.ml *)
\ No newline at end of file
diff --git a/trees.cmi b/trees.cmi
new file mode 100644
index 0000000000000000000000000000000000000000..91da438ffa3422a179aa2231239f10e89f71c550
GIT binary patch
literal 4660
zcmZu#33wFM9e;0m3#7yk#1HW+MIt!}2)Y5(gv(79LIcRL5IJI8hU{#zu-Of}!x6C{
zhqM$Z1C$D)@?tpTs9d5zF)UZO5roQ7<PxPysL>D<N=x6HH~)Fl7C!dN@BQ9y{`bzj
zS&vd0%E-#f%5!yb&04a$3ZbTT2sP+}P+}hYw56%TqN*CBduWQr0LHr-Bb13~T-Tpc
z9M1Zy$c-Po;Lfg~S7>UV(lV_a4cFc7P4RRtk3CZw@_3avad^A|x4VKop3QVA15_n|
zM(C8Z;7ZcO<1LPpM2|PdB}qA4GBDy-(MTp~L*rX@(vFf8x9$dq&oh!Vq@=x#d(N<x
z<nd~8@|4GmhH+!hdED-7Hy!DwZuXD)O7nQVq#<8akZycy6Kz{I3FA*s#`n0Hr^@7D
zSj)DV%@RCmY~wOXq7_Ov3w7uAd*op>6Qj9t(o>-M+|!WW+)*dLTBeowA_1Q$WtH$r
zGFUY&D?My}dh*m;+lXG4>_zTu$RLc<F?Pj?SD>EUS)f06);<sng?xTRQ!w6bI?APS
z(gJGO&t}(cCfUWtWg8sHuu(atte1`R2-%}HsyDA=suGPV<-g|Lt4s+6V_F`KFXI16
z2LrIo3T@XILNdn2^tE!$vrvD-z$3i-2{vgTOOR`!0k-{@Y<Qrh7-XTr78+t9uZ4#4
zQqy4=@5Hz&PAUXC$V<I#5HEE~D4gNKIBr%sX7e_TMXK1=`Igm}xz)`@n5@8LO`L2I
zXg#-DJ%(FN^{XM?ygi0l5{14EX9Xt>9yY2YEaM|BG>W@9P=cK<?CcsR)dFR4Hy4Vz
zn~wgdGRen=UM*Im81FTcuy>+BwEh3S8n1}fud?M=D5!Nd>Q!R`CWM1pu8s9s5stQy
zVxch>D&q0q9EY7g>@13t8i67#ekVp_jX^gO;1h=NJ~R4qbJke(589lTu=(Esbu6}g
z1jRs-w{23D&)5q#!f(j~78+~YAICE%hroJB6yi&pqLdYa*uP<6%TUBZWfmIGGI!!%
zq5e4GHcq(DaBG2o;WV<(n834dR}=|{)gqSrelz!VkURMXf|)21)X8XDI2zATwGlDP
z^#lt|;#ZPH%5HyPENY?2wu{S|u~%*D*DTc(Bad7(0ykNPo4m{N=xgGYMji!Icph2m
zL^bRyjYL&nSya`ua`uM}WiVWf@d1&U6L)7JvyxbD(3=*-4_-Ga?!;|v+;2n|?%SxT
z2F314V<M4IAKS(>mO&k_Nv&Bx(pHp>+_F??CKuGm^$asjGz-9Nqhd|C?zYsu0o&67
z{8n!MPQp2`{d)j&0n7t1-zex@RD=^x;Ka{aLFbwHrcqFejHgZKVl}Kr6;1U8Ca@=g
zc;r+=DbuCTKk%aR#Qyi;hZaZ?JfP4*!+Rx0({Zz8+^ijQzY-Sww&KLwk#Sd){$r6+
z)%1T5{JW*;MWRV9C9_yCwnqPv$GD0YRkjx`kyrc)it`qLr2v*00q@0V4sP}pZgztO
zybl(4jeyUxvjQ8z<giwP@gazCFlEZwV(QU5($(8Wa84YM)N;}YyuAzHJ;Uu;j27eO
zvvBiy%-A_tEHK>GphE7pyPW)h5-uwD`2#Wj9S8&`v*Xrb2<I3NXSo^93hA4Qd3NHc
z(Lvjz)`>Tm@|9wcbtg`f7rxK+PW-fFDj@bs0P@z3R!iL)a4BzQ=mWu3rUpV0Me8la
zYe6gzRcIY>eWh+aaPnb|HW(afE>(XPj67|i4+YaqYBus&k*6lK39{J?U<-h)06qe+
z4Zz0$J^`>DzzzUAd5;~L7%jz*A^aF&i!4~Q;XQV|g#5h6-5%ECU|6*Hh}mLCC*I=w
zX3zd26WS$GRQULhHd^U)B$%?ed5@B3DOAOEugJ?kg>ZKR*dsUhO1MwBDUi&5!Hkm3
z0l^HHOtoNMmdruH<V)s|U~J!*!-A2IA9O@8etFeV-pBEBeGI}s4&VfU&j6eRa0<ZZ
z08Rrq1K_U!zA*YY52KH9%X7HpMb^jpu()INu>wuzeeChDK9)sdn&{+F=;U<PNylKb
zMQ3FS=R}g*c!xeRJ6UMTE}EU(EaextZj)S}hk*YEK%OtqC8@hC+-#K06~TNcnX7_X
zFPUqCk!Lsbm0;FN&2_=-l+4$H*&&&41hZW-H+Uxx$o1bL{BHq#2jC`v8UVKd`~$%E
z0BQmJ0N_WXlUFc0g<GA(t<JDET!lrg(aC!Da>iTPR%2(TV<%Z;j?=8nPCQt~S0~|Z
z!(c5&wK%B^Cuz*!53rcX4K`rs(D%5()MD|nb=<HygWGgWGkVHidl)`0jouTjX8V%+
z*$_>Y#7~gZT>$^&ml1xna5`p7VLj~M0U*yi=wDLzZ=Onn))@VWla}Emb`opwBrM)H
zQt6D*3b$MQ41ntqLj4iKzhr-}QS)~I-StkZt7n$F&-d(5*ZJ!OFZOIhX-a-LI9Ye)
zRqtO^G3U~Ew+eoGt$6W`dz3ysRP%>|V|>1$>UiDN&!36kIO8jQGx1u#&5g!ALFqHF
z?^VM7NU83czVUF{r4Z>pfxJGdSNkc2lxBcrprQpQs_aClyOQ+Co}8xJ5*E?)>0j0_
zCzN&s)d2Pupu1M**Cbb6KOen#;n5kDX#?sg?F53nu=adc-If3C$m<U}Y)pPOw{YXV
zwEZdnt?1HOcb#=K!lTl^`1$DLN9!)<k(Rb-`vkQTHLAN(R-JCK#xd8o{>a)pTQA-1
zLFu#L#uF(m3#qIq7Yn+cI(BJPVfThj1GT%mZKBi#nw(&<@rtaw8jkpWeWUHJqCrn2
z5AW3Rgkp;(o4-Wst`Se>->m4j;gi#AANe4mdUqzJX~K-|>eM(bP&IAu&V}J<mn?1J
zWlGcgMwPOXU{OqW)fQGQN?bDgtt|y}!tJJ>pGaw@hyCEg-}a(mC6pV9mMU6~5;Mg6
jx6NGBt|q;H*Ye7-7yX|dGzS3@HUJLxaq<skKkobokIM>_

literal 0
HcmV?d00001

diff --git a/trees.cmo b/trees.cmo
new file mode 100644
index 0000000000000000000000000000000000000000..2e95b0d39abb34678f5274a3197cd4d697a4b3d6
GIT binary patch
literal 10252
zcmeI13virO7035%zHOc~O-Y&nw%s<Rq$MreQm|El?TbgPl#vz?D48W$+CUy{y2TdI
zf>eaj8Fv#w9dTR+5gbqof`Up34i6vr8W|O>hz^dZ1v>*M;v@clU-q=0JFT{*>Wp${
z{yFz??z#Va&bjw~+b+)Z_RLwZV8M#i@u^sBa<DQMizO;!u^Eyx1uNlNNy>DAKHA91
zLRP2~2868wg|_#vSG`u4D@+w?O6_%$Z9;{xFJ0yV?4ci>qh>fiF4+~S(|@jDv3O{E
zjOx`wr@(sfc75uUr2_n>2&}gx(w?t6Wt;&2ZlO<bTdKyc<Bv*}a6(v%#e5!X94)|;
zf-XJ?gea#qrGD1OXU?a5J&%psJ4d?2jj~wi5r+37olinzt-@-7QX%-B**CsMV$0{?
z7v{WKps>#anSYe@nNPts@HJWIB7uSrl0tM3w4Fyeck*wnK#Y;t0`-EgL)?5n@JI@Q
zP$3*v0^|7m7(wa3J1^bW#E^oo8wA>01qz%ftV>Q17sj^;BPza6>`xb1dtW&MCtuU!
zTb|4BkWQz-TIi!k%-$rpAKhQ-3Uj(&()pC@;*+VuB!Rdh@c|OQx~+2Gw`k1whX3}K
zHy-yRG|qgtb*bu81p2YTTAT@FwcvUOyQaqx->??<2K?{=v2m`%q*aLOMRlU}rP7P)
zm;2E<OYQ&K=bpdBk$ggqf1Q#%Y8Qwdc`{$;iZifQ@H0%zxdVKCVoG`A{Oq}__xH>m
z%=vlaJnXr*{NCe!_WQ^067n@#_j|>C?)m%QK0ll_O8NQW-RJD_{&2?7<K8Cz7YUR@
zkqg);w;T1Fk9CAAj=m-TOYawN?;E~7^xp>l-g_>QXa4;+RdsSYI_Bq-Z#TY2qUTf1
z7-xNoz+1$(jGqDCDc(Kozh23=UAsU&utrPi{o}pEKHT``rCd8IV)G=|2wB0uP5AbN
zE1a=&mB2S`lYnjZ%{MFGIp|@#yst-n&+B3<x4BUL*zkLyS#@;xw*HmsXI<_%IPT5f
zDe9*jjJ+<+E9V!r2TzY9@doU*U0{s%=i~?K_~~eY*i+oU_>5BSAN0%n_Qz+ewLiW<
z&v~jE`)L_Zg=Y8OsCNqfTa6s`I=-JQ@Oy@J$ye%d<?i8|nct!07{8&&Vb5vil0!)W
zzc7yN%>r@VC}49~z+O~(T$tA?I3M)MVIL>wrwGInpRN$xudH7uyhm6i5Q_^1eB(O2
zvwjwND?InnVLp1)8wKJ`{R#nlFUY6(?QnrHxWTua8#@1r8}{LbPvHzN_UYW%Cw|x;
zUN4sMVtw|)?|)*)IwuGe=gRlT6k%We_!o{|t}RufK7bpAvsf9{M&rDoR9`GfZXlPG
z>PUR!W8}wG0{KBKuo>-}rgnwEyz-p!w(qGtcQhrO=j)~EQ1Rae>97@xxpX@d)Q@kl
z$GY5mM+@wc*u#@O!?nF6C1S(>;>?jVtnF{ZWvX*VI8Vd_p47<)&KZ6{zdWy3XklWC
zU&z-g!RMflU+7~#=aV}5G*##p`h{MBHK_Lq<O%f?1&W_PZ29@d&Vb;4;&(bWi5+`l
z9IzMP7rd~W7AW<C-x;inE^D)IxJPx<YEyhYkBjH*fpVNETf~m_@u{yL<w{>#p!_$v
z{xg3b2*;>yI^5Nv^C$7&SInd9y1)OEu|638k$dGFqx(42{wvQ%Uw?n{(RB~>?C@q0
zGtM<{5Bps!oGfrQDF4ng|9W`Wh@0=1w+a5-$K1n!GyTur?=Spq^!;v=9=2u(GX<Z|
z{p;^9cUoNN640ma`n(I2^54LWcM9mkjX8W{pzn6M<H$|!UdHe_cQbwgjHd+(dj)BM
z!Wi#nTA-xEzk4L(zFtRZ%(+Zf8^C2>>*Kqfdc)vRFOVC4cGs8cRg&o8Grz}Ohk4Y|
zSt868lET6GBFg1Z`y?(-`{M)NE_~qU5uf<pi3|PQ5A-h;*zYuf{W90{g&0$a^AusN
zK(4th&kb_YV~*{10Y5YUV#Q^$WK!S^t2x3sMKT9l)ZxqCrbhaR2|gs}Jf>q+C#LX+
zkN2ZTKXc%StQL|2`+`rKK#ZNAs<GEz9T|zXr~PSUg#J3=SOK3uB!1Y6>YXS(#wimu
zjt`=9?)mFzpU+|aQzLVVrE%uq2W;_O^!Q&!*K*qrmbE`nYP(%ciG8rd+4t_eYouGN
zaoVgu>CYo0&XM-A*G5MC8-;!P_lftRGi5LR@T8x3zFp`Mx=NCmv!7N0pAmaFbPDL*
zRFcGkT!Aw&O$yBQIlR$fzDP1JxerOO7)PEcP-tV{{edJukZ?;1#0yToSN6}IqJ8*{
zK6s$-y4a?lQYXOQ_d<TL4*E#Ok?0^@k2>HzK=O@<Y$?ejOOmrkKldXtDV!{@4+`%H
zb^q<M^~TR^SC+r5%>ACe{C_7D#HlTI^vZ#3cEedV>E&XvFgX3}Tvt!`#bzzVVm^QG
zf`tRw<mUd3$qgG-$z0sOF_+A(&E%4&Y#VONF>!WpPnQJ`S@5&rAU<0ALpp7Cx~v8D
zW@llw?X-c+y0zV%8_b?97Ki3^>ObT=)(muP$mTja`+NEa%yyw)ZSh8AoyDg~FQ~D2
ziuQPmuT*=s&+F~KJe%vc_*D!ZVey+$ZnpScA?fxNV%dL5av;;UCcAAoXt&r$Z2YY@
z{=wm3me(H>$%-E4zr`wYntyy~JTowm+1#;4yfR%~16J{<GzQy8ozl^<yn92=DxPGu
zYO4q-zu5x0YA86tf;Oz3WWjRgOk360y~%<u`j%SoA#@g7Af|=j?G_BvZneaG+EXo&
zrai+Fq5ip+2=!N4BGg}P3F#Mtq$Pfg?6fg4^fNYQ9PMr!GmrK{s|;wTt+I~xX;vA!
zZ=+S7M|*=+u4Vj6tCamhaI#f?8hMRXKFRnNtK32R16CE<@35*cj2BteS&V0`N}ehN
zLsk`fykJ##(f+tqeGhq|RXvaVlvRt@Q1D5sPSU>3s+Z7ykJW_oYO7gE{}!vckpAne
z=4#{(R)gJWB*>635;YGn<11Dp4-5qlT1~jpBUY=O7J{u-I}Q1S)h=iJF{_p3Lhx;?
z4K3ehwMF{xu-a|(-)^<CHxzu{YIh*-vD#OWZC2OF_%E$4^ysrzC&q=~d8-ROcc<0K
zULknV>h3^)r`3hLUbZ^yj3#Jr=CW+Z<=M`h9d^2u2WNZwyff3+)!%D}Nwp9pY-|cy
zWn)9CwKg_1J=VsCPHnKUp;H^Jz6-r(tN+mMB{)0XS7bXjS^b`My>qkG<D7&|v~glR
zl(3_0+@`Rn)y7>9??2nPr^1dI)*#18#jIf+r)Q`&HG7UVe4Qm<u?A6~Z|>}rH9Sk-
z->hNO_(B{1>2T&LHvYcQ)@e3=r_^srYYJE*EEP@_P7_WS&PdzgyELsmJZ=3KU)s^N
zah)A5=NATNxt|tt2(6JwB&^38w??fll9k26UMx3$guS&{<IONV#u|xD!V1=uidtBx
z*=_}n5pGRsEWE>-PRGJ>Yr^#j`=T|;U86gT&U6l?oi#nj?0##K8wx?6O{fZI|JWwr
z+TDI(eRi-9|4dLC3<V#x3D;xgCYvBP7ZUN9HOnD;tT>M{4$ae;{h&3sGy4H+W+#dG
zRBIllW4pD4q~dMXqLdh#8O9;Ieq*M`S_n)c9@r6@qm;PPj*tV@Q)5T2412DzBcBW_
zOYEpo&n&iyZDN(bcSdr~{8Va_ux&UIKht6_SaN|Sm#U$E-WhG2sXKS#ypYc_oA|bH
z-stngobxUAq9xC^WLAv}ym2XWmWOlBv5BHFnxb=U;>%%YhfNXz?J#GPWKorO+a#$C
z4kqGTY|<_TG`x!QsWTpbbnuoNp84$y7yR*xHABCCtyoONugj-yKI#`weJuU-Ni$!X
z`>PM1a?<2t@mSBpv$N~-sbyXB?dqpGdf#97%VqaeUe;19mYwH(>YBU1G5wjI;H?{j
ztIj`p#+9p!#W`-`%uKHP@@#isE}u%~`yW|Ue}DC0vF)0lz4D2mSp0`~C7=4ts-3Od
zpL=>>$4?sGckA@!FBOZsPsAC0xfAE*Q>%XSuIEN(-raiKsjKgPZTh1MbyVZ{x%t$O
z;+1xO+Yev;)`V}p^z$=<<_O!R-MO{dfqZJ(Z9izbJ^sOtJHPqaKYZbtKgnswIorkk
zz3Y0ioARk07tH(qlh2&L`mJN?FWL3*TecO8Dc4!ly(WAl^QkfC{r=9%2U49YT3XMY
z)&8AKgiUyY^QrSDt@_<9%kKKp4?cU?9o3INJik~heP85Lv#O?FvVF_fzFg=VIDSE{
z@bhAE_eVlLwQKeE!MYo-`{=zF+|YN-d!N3%Se(CDpA2$icAziQb87!UZzi`Wvq4`J
s`P8HLUwiv8JKJ9Q>L+f!bVt{BpGYgN_X$rF6ShL~ddY_*H>W9o2au9ctN;K2

literal 0
HcmV?d00001

diff --git a/trees.ml b/trees.ml
new file mode 100644
index 0000000..93f3162
--- /dev/null
+++ b/trees.ml
@@ -0,0 +1,250 @@
+open Graphics ;;
+
+type 'a tree = Empty | Leaf of 'a | Node of 'a * 'a tree * 'a tree ;;
+
+(* 
+STRUCT : (digit, xcoord, ycoord) 
+*)
+
+let rec pw x n = match n with
+    | 0 -> 1
+    | 1 -> x
+    | k when k mod 2 = 0 -> let res = pw x (n/2) in res*res
+    | k -> let res = pw x (n/2) in res*res*x ;;
+
+let rec depth_of_tree t = match t with
+    | Leaf _ -> 1
+    | Node (_, g, d) -> 1 + max (depth_of_tree g) (depth_of_tree d) 
+    | Empty -> 0;;
+
+let fill_data te ystep sx sy r =
+    let depth = depth_of_tree te in
+    let res = Array.make (depth+1) [] in
+    let rec aux t cur_x cur_d spacing pcx pcy = match t with
+        | Node (x, g, d) -> begin
+            aux g (cur_x - spacing) (cur_d+1) (spacing/2) cur_x (sy - r - 20 - ystep * cur_d);
+            res.(cur_d) <- (((x, (pcx, pcy)), (cur_x, sy - r - 20 - ystep * cur_d)))::(res.(cur_d));
+            aux d (cur_x + spacing) (cur_d+1) (spacing/2) cur_x (sy - r - 20 - ystep * cur_d);
+        end
+        | Leaf x -> begin
+            res.(cur_d) <- (((x, (pcx, pcy)), (cur_x, sy - r - ystep * cur_d)))::(res.(cur_d));
+        end
+        | Empty -> ()
+    in aux te (sx/2) 0 (r/2 + r * ((pw 2 (depth-1)) - 1)) (-1) (-1); res ;;
+
+let rec ln10 n = match n with
+    | k when k < 0 -> failwith "Are you sure about that ?"
+    | k when k < 10 -> 0
+    | k -> 1 + ln10 (k/10) ;;
+
+let delta i j =
+    if i = j then 1 else 0 ;;
+
+let draw_integer x0 y n0 r =
+    (* 7-seg display *)
+    let n = ref n0 in
+    let size = ln10 n0 in
+    let len = r/3 in
+    let offset = size*(len/2) in
+    for i = 0 to size do
+        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)|];
+
+        if Array.mem (!n mod 10) [|0; 2; 3; 5; 6; 7; 8; 9|] then
+            draw_poly_line [|(x-len/2, y+len); (x+len/2, y+len)|];
+
+        if Array.mem (!n mod 10) [|0; 1; 2; 3; 4; 7; 8; 9|] then
+            draw_poly_line [|(x+len/2, y+len); (x+len/2, y)|];
+
+        if Array.mem (!n mod 10) [|2; 3; 4; 5; 6; 8; 9|] then
+            draw_poly_line [|(x-len/2, y); (x+len/2, y)|];
+
+        if Array.mem (!n mod 10) [|0; 1; 3; 4; 5; 6; 7; 8; 9|] then
+            draw_poly_line [|(x+len/2, y-len); (x+len/2, y)|];
+
+        if Array.mem (!n mod 10) [|0; 2; 3; 5; 6; 8; 9|] then
+            draw_poly_line [|(x-len/2, y-len); (x+len/2, y-len)|];
+
+        if Array.mem (!n mod 10) [|0; 2; 6; 8|] then
+            draw_poly_line [|(x-len/2, y-len); (x-len/2, y)|];
+
+        n := !n/10;
+    done ;;
+
+let rec draw_list l d r = match l with
+    | [] -> ()
+    | h::t -> begin
+        set_color (rgb 192 192 192);
+        fill_circle (fst (snd h)) (snd (snd h)) r;
+        set_color black;
+        draw_circle (fst (snd h)) (snd (snd h)) r;
+        moveto (fst (snd h)) (snd (snd h)); 
+        set_color (rgb 32 192 32);
+        draw_integer (fst (snd h)) (snd (snd h)) (fst (fst h)) r; 
+        draw_list t d r 
+    end;;
+
+let connect l0 =
+    let rec aux l = match l with
+        | [] -> ()
+        | ((_, (xf, yf)), (x, y))::t -> 
+            if xf >= 0 && yf >= 0 then begin
+                set_color (rgb 192 192 192);
+                draw_poly_line [|(xf, yf); (x, y)|];
+                aux t
+            end
+    in aux l0 ;;
+
+let even_more_pretty_printing t r ystep skip =
+
+    let sx = Graphics.size_x () in
+    let sy = Graphics.size_y () in
+
+    let graphdata = fill_data t ystep sx sy (6*r/10) in
+    (* graphdata is a ((int * (int * int)) * (int * int)) list array *)
+    (* <==> ((value, (parent_x, parent_y)), (this_x, this_y)) *)
+    if skip = false then begin
+        set_color (rgb 192 192 192);
+        set_line_width 15 ;
+        for dpth = 1 to (Array.length graphdata -1) do
+            connect graphdata.(dpth-1);
+        done;
+
+        set_line_width 5 ;
+        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;
+    end;
+    graphdata ;;
+
+
+let generate_full_tree d = 
+    let rec aux n = match n with
+    | 0 -> Leaf (Random.int 1000)
+    | k -> begin 
+        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 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) (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;
+        end
+        | Node (_, g, d) -> begin
+            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);
+            aux d (dpth+1);
+        end
+    in aux t 0 ;;
+
+
+let even_more_fancy_dfs_infixe t graphdata r tts rfound gfound bfound rmark gmark bmark =
+    let rec aux tr dpth os = 
+        match tr with
+        | Empty -> ()
+        | Leaf _ -> begin
+            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;
+        end
+        | Node (_, g, d) -> begin
+            aux g (dpth+1) (2*os);
+
+            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 d (dpth+1) (2*os + 1);
+        end
+    in aux t 0 0 ;;
+
+
+let even_more_fancy_dfs_postfixe t graphdata r tts rfound gfound bfound rmark gmark bmark =
+    let rec aux tr dpth os = 
+        match tr with
+        | Empty -> ()
+        | Leaf _ -> begin
+            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;
+        end
+        | Node (_, g, d) -> begin
+            aux g (dpth+1) (2*os);
+            aux d (dpth+1) (2*os + 1);
+
+            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;
+        end
+    in aux t 0 0 ;;
+
+(* --------------------------------------| TESTS |-------------------------------------- *)
+Random.self_init ;;
+
+open_graph " 1800x800" ;;
+set_window_title "Trees" ;;
+
+let tt = generate_some_tree 4 100 75 ;;
+
+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 () ;;
+
+(* compilation command : ocamlfind ocamlc -linkpkg -package unix -linkpkg -package graphics trees.ml *)
+print_int 0 ;;
+print_char '\n' ;;
\ No newline at end of file