SQLite format 3@  .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info O+r$lT ]w Randomised_BSTs:threads=4elapsed=9.060cpu=31.172gc=0.6407zXZִF! kL]ŗXiɟH)0!h][P quWS p~}_}I5*.^ I{+ޫ8Sˌ yp7m6τ?5rZD#id=Aս'o Eco;6pԤMK#QR  &~k&@PS2~7e| {/`[ .-z?PBp>;=Uo3k|XJ DJ3 EOQ^?X{bH-к9~Sg_H @ Et$+(3 v3~دGj; #Vn2aJI/ DddCg|)]b 3=rf>Vso?,NR[W8ܵGA4Auѭѯz}urMFE; =WYpm}bocOkE-ۥ߷O :?=5KH  (BZ7]G滏o \ۤv2Xу"öd?(5⡸p>$u];Yacq@MF1:)`O|K5(ag dB% E\W-\,7\-S1PǬ0 `ļ.i$S~XQ) UM9qBuTZ+rFAdjn;"(0>dZdT bnVUla34vNFCa= ۱ #7,n[=[cQ.2HB_*RTviƭ0͢~4UŕުE,Woˬf3`֦ jw|46so٢#}41b9O3LXLus329P>T"Weuw ]ZA@7K3'ZAD?r=/$ee°*.Yշj޵2f DgYLm$zbgtVQL[Ls~dӝBS繠j01W`ﺠU[CZب2gn\Lb\֨<. '~fNz݅bb]NM!Id^$B!"%&xDq=d(J%z4ϭ-" |gYŗԴ_)K$iy\ {x언2oZJ-ջ@j$͋ 碰_3|*+Y9K2[Z >5$t9'q~ XǴIф:71"{`ڕ?B뱹[c飕 _Z).f5jN}U/Ob24Z`S@|D}3$֒erN0 zDŽnӅ]|rWEiƽ׀7x |ѡ-vZ hC3i9%/Ao$^!vt@B>'2hNjq+赁j0-ʓa0HPω!5 `}Z;+ks9k7ڭ`FsNE&.z/bci ksvPx!##`k}'cI[I@ݮsZ(wU G%k{y W ٯAME[.`*|l砚O'ՂQ{,vԋm9؛6 VKL7h4IlQ2u^ue@+y4v!=oI9~mnL(I9ZM FX#JpT7齍he ?VgYZd46281b5af78ad00c23de7e329d438a8db03c7acc3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 d22039920e3dd5514e6a0f7b0b03e24885e7e9c6 a03c8faff223c0aa6a1a6dd5212eb07ed2f06d09 56f1b42bc4556a3d010176bd521b2f9fa28024c3 bb87b068a3b578a14eca04c8f3ce4e862bf24005 + Randomised_BSTs +[% |Randomised_BSTsMonad_Normalisation.Monad_Normalisationdocument.tex7zXZִF! X ]A-MՋhvG"uIBm51#pzom?bK:y !{ k+-o2-}iULl]p]Y㫈׻.:6n@@9!Ư^X G^EHk ְ-h].UhQ4ih5s?fZiR s/ |U] bjmmˆ7$給f;^Zy˝d($4HLLCw꛺H)K-*$s94o7 47-*sClS-Q7MS)l2:.~H͏WBP|id,Gr;$lQ0̑K'/uCqpbC5P~]9/2# mZw 690{DT:+Y=wvQ }ʊ`/B٪Ð4!7v򁸤c]$}G %MI9"_/;ܕ"(Fv▣Pf+F@ALzNYcb 6͜vrq!olaWu,D`Cdm@ޯj4?zcLzi-t>"&I.CYF3*}k\1Ǯ# \>|Hk! ) r=ʂdrr.zp̎$=?OU1~j?Xk]^ZhIK)?/SEgMٳ4*vE,KXy=h#v&];5jHkjmr\XB{'x{.?`NCGkt)Kbz \A/j:*I/t} +T/ nwB֜%僀_Vz"vt~H9 fymyW*塭a X9taձ See/ Qe}!cM3jWqR? Es]j7Yi_Yi&CS~%)ʵ- 喢5>3_U3[Nz%WSm,x7tOxMƥ`m!KiKQGm#/.U2Kl8|LqAp0SLiug4GH≠vV#Wh́'CqwMV \*>&xTr ʥTlػan UVIGje}P gT^TZ_(z̛lrwY%C  SP|!v{١;C T9 Q 1ӡv4z`˵ü܎Wvs&WGLu`+ԳKe Uk +J0垑]2%R)㐬2u1_> (*ɢM u-ZaE sf];2i(4a0${'E obO(c+˓2UYUjϻS7U3(X{h%,J`e)X)ݯ,3/WbrvkO31yHUtA |9 ^^SxqV ZOZfVMA!RdSJU[S |MDajr.n>;U= )+V>jKÑ1u FiI^.)m[mtqp$3~N _h;uj6r?(2YthmOmĄtY<ӢXw3z phVETWĞk#Unųwss4pҠDA=[ Q53 t"wLl@4>1hn7RWl -W$п\=GYll0tw2M!̸Fg  ww@+K%Randomised_BSTsRandomised_BSTs.Randomised_BSTsdocument.texG+[% Randomised_BSTsMonad_Normalisation.Monad_Normalisationdocument.texq)/'jB20 DT4BlM(ԴmLq,l2d4FEc֭cެk˥zR7&Ƙ0uv8~q/:)oE{{vpQuL.~\C&=oI?OsZ&zRkX˳9 rvdE`mO´b#YwlB#'ydŊ-oi`EIuU+w $D"bi0 l}xIDk|4B1O\sHgO$.vJY= įr)3RJa@ Sþ&2GEL$f zNchپtofګyT7(\y zYyu^ Ӽ\3@oߏmt{)$k1!L@@= <1h[A~&3;};hqfXT1V].&;%'qؠk?$Gc"y7%:J "oW$]c_3tNiYH|32Xq"RH2H;YJؖ3Lf67 $g,\29KtZd{kp3_Zw%^g8O ?gX-&"c?:atzժ g`t1m9IOZtCxަ+V Swj᣸aPtk;VhlL̿[+7iWAGkyl&l!ɚHͽalH-ε|%蟶Apj@ @YWAVɉ%K&q4ٍSk҅Q]ߩqTYd-*)}ob&᷈QXJ3"Az%= kڃ`d-ݣՀa4N[ ^a䏊i>!K]εJdB5 )g-PAvz{9X1"'.]#{2rHiLE]2@_jW)g zZYZ ,[Aee]^6"sI=p&K׍/rם +tj>Yc,?g~Y@z74]9F0u~sSG7-3HWQ')T^ ư{@ʡYI wH"ʾeט[\upBP"~n9 zNMxQ\5FD8ڭ|gA0!xDUSFEI=e}Ig,%0hjv&JЭKSAr]#`jD<̻?qI{k5W2̼W$ˇMA6KRRlBNʐ3*ekeȭHCx=(Km* ?avs?j-tn}Z  ԆE1^|nIFɰ_A031!F j2U D&ypC򗁀'ʘ#@fZ =8A@gvK07:v|`5FVF%s;?}PKʓX# 7O6qf.Occ-nڃ{>Ia$[R+)^xќ^8* 68$D+\`LT,F&݆U6]01ij+lRXF Ew*g=\ F_7k o14_mk9a˿qak7?.ilS"B"qۼPgR ̈XqQt7QoG*A8Z; Ý.+R"9 NV)K'nUuKmӛ|u ;A+/nm RKbDʩ6/ 6bzr1Q>K gCDx+]_fG˱xzdw7nrsߎ=Cl9SIa=MzR#(}E c* e3^`=i+XûBxSO?~kxW$Z^5n~AmeV62M9Q ]_ W(6R.)MDzk<@2p;|A9߯MFjF_]q*d /-@̮Qr2%l!;ьNR^Jd;;›%E 马:4 E:b/sy]G/Q\G154C೺ i)=RRr`/sCמ/bra($0PO}CBޜ^+L+NT^lÁzp"V,&aљS/t«"y>p1.vvn $jiPF۝1Ky{vV9ow/*)i G[@l~C,? &.gY3`&oޭ n+4=h;!/ɲGM3eqYwSG D@l! BYS53#J|U>8dMU!h;'b;؎R?+d/1j@`fbץ㋞klbRxڭqRi+zFYP.#uv>I-t$T[y}^ې/w~yzeoV#45w?3j{T8&ꑚh\)>"<7#+ފhg;\8S])Uύʗ.2p 1D}U+M^}CN82Tfv).'=#q  ]:/pNNoDg\(e6k&ОeCb57\+6אB7*S sH1 *Hvg-~[< 4>ڃ;y bsn0-M,O][D{isre)|&>7#@u 3q@CEHr[jAK!<;?lQ&ZuѬe͑omPڏ\XD٭VJ5& hzdxADwJlKۂO9 # Q>ɊJI$?Tl/'w v`$ٟ ]HAaŝ8i(d1zL~X~T _IBwuꕚ~4D(FVl;BxsR)<`ؗQ*ܦUnὡ,4^#(# <$, 84y$׬n"y85h>lw_&*χ@~2ϯSpQP (Q8ndcU<8 [|ցF=Z XRgb`fK>ւB'6́Ih"d# އ]> hJ&ڦ`(h u܂s6#*A$b=d:ЈƙɋM`6X:&0[5'*+_>&-?>}2Dlj[r <-lAվJ!B{m[FyCOo Oeyڏ|nw.ZNKpvBrxW0.x>Ҳ!FlXl>pGٮԨC:G2 lf!=C`} 9\.e\aq(X$`ő>ܧ=2x8ibĥ\.;F@k;t9ѹ.NƌKAߩ+~d<8b^בrs,8QVVčsu_8Yx/$q}x^%Y~_S& Y a n%Fbvy!8b@caºty˃fOqcHwՇd^A΂g3LLښcQPgÛD;<#^R5qs+"8Gĸ5`Ɔ̶ sj}[.YUC(tn ƧJ-Xڳ0@GL`hi'?]h'܋7S`>XDo`@3@LԨ&l[IOУEppC#LZ1iߜױCzҰsP52ڱ) ߾DA8DR{!ejviFcbzqO]I3;:Eg|vW99JʝJ޳p{85)- k^rtČ8Xv[xSMGEg6(pkenJ /xvWW&GjaD9SVJm]G{LȒ3_LW>OüY8t\S_DYbY`='  bo>6 "wxWsEjcHsw뵳aH&%AqU^}xHZ k0_ݡҥ:HjYDgP\zQ^uet)\lҽViNbO(Ӓ29I؎[:$Jq<;xF@S9<_DrA[ }G-1ƚ9B%t]^B5̽VWC&vݙH2ǕDjJF -hM!N9@۰;-~WKKC,6 ?i7*Qy3Xpdy *6StI*MdT\Uda(2nrLoB\.wbݢ\R ]yxWڤį@Ѧ ڏK=T m qRjQR{?|LEëyN0Tېni# ӶEw QXP+p!3Ľ0ka֣hɩsaOlYY[>bfYoXw7<m"4d27+TkbPdh90mTCظ09gwXf(|_AE5djh:3go[b@'Jn,hCpb,D~4Ů7s<1h5F3Yl&U_G\@ 2>xEqCqH{Ek2bL*#2P >xy  .7P+-ׂOa258wҚDk5ˢW 8![,eRm.AMo;J?]@FS'e{ot$dLE$d]SRjp]vTGA@}6Vq2d^N !$(+n -N)MHȎiEI|[BoWȽINb-gE &.~47:ȳ %G koJ(q3%D$kp\81CjܤFs\GډHF0rG)jUvq۪lѳy gt5 bHGNaZx|1\vO[H_ l#`TEEh?t0Ky% G&ʬ>}aiWS$ 2c`odjT08ok醄VU#b cE:Es33Wjё=60WbZAl2/ :K%Ӣu .r U[v9yu;+TkSRW,V8ʟvaH#GiTAf8#`Smc*{)S-:25oY*ݸXs-suI% ÈՀM XEV(0qW<;n#沟ԣl@/Ĕf&6+~g98hY l9OIv!@dw(w@ɵ2!Mw鹧Y,+-Ho)^\Zyg'>ˎ, Aku+R_ r kQ;#,O |)JvJitJ+bTPy. dM"Q#~V'yWl4ʀgmtHCW kr+XsInok&9 [MĕO*3ޔڙHno8B%jq=_y5_b~(dzGe֏=*D+0CP1&vbq ɭpժJxKnk`) -H-"o52u#+):'򗚕D,D@5ɂ^mĜ`f"nUn{^qZ#64 OB˹UG)/Fm8cy< yy4QGYY80Q([Y#LScd Sh9̮C78+9 {]f4W$uH^`ˁ@xb-햡hAmƄ5Ϯ{S;TmQnr޷s=#&oB'W9-%$`ub: (YҔ7jߺg2h|mqţP!aUJ٥~ڨ:z#2 fDW.h% ng)RƟkLp֋v#F\Fj%Pׇqg[6 A#%qA3tU؝OXa1F7:r"k qęW]I#Iwwl=%(ӌQPvA&,' ?g]dϤ;/Vv&:43 Z^9)u׵"$0;P j X3"t`ܥ;U/߫3.ȏQʶI,AN?B1bK%'ڸ\uOUI" )stPɽWБraֳҖR?IDg|2A،|1.ڽ̂OS uݛPcuf_OdGm9 Su> #cǍ=Hz^CtYZW 6z\6ꡉnf$^AߡEVvEfŘ'M`(\> zf,$!I֖XPw6z+bS2]p-VXPEq3MȎ-#7!^I} ػ]G`TLbljS]d-]{:*Lﵞdx2j8 Kx6qLհoڣE pdi 33HAx 3F9^\qc8]y!Zk=v"EϏ0}7L:3ˈ=֝'rRe>)=)%uM :°ZO0;;')H)E%ה20kj/ KJd80Es܏nL66tvυHJ r>qP١% yLu:`|ȻDRj  1&[.2rUq̢Q|xA49B:TBh4`ݳ= ?W$ĉkK~H_dH/T5=TpGYcGd>fL-B1V׫WJ,2+ɰ.KH>S0P RfR<Iy,`N~&q3H䁰woWً.|+Z@Jey<`R>$V'I. 9<ċ ,{1<˗6Y-@/MsG2}7yq_Qp _AՂ>+۾ۃKh[m1rt kk,-`zH+eMdfRwQ҇ok0&J2R)QI=&^m;t4qA֌CMw)Ur3,f:DjuLoxE~hl-ZLv:'6RAwKvh] T2gZԒ)_:鲖z"AOVԃy}=aѷ>ORq֑Uc~=vVNV4&FP ڷT<1̍}&ny}&og(}я'}wwİ ׀\0{ 9>exBtf8(V!L)R-s'#5JwG_Ez m m?Q*A|*.1Ah,|0DPp-%3b,n"Fa(S]S/!9p%Mޅ]z[a[ ^{z*< e~ c]KHtZ{7ˠRI3s5yCuR+b m@G_`! (p$kQ@O͌1Q| ,(\]rd8ʁ0yY}M|yo?DtPJ(Ďم7 ^FqY< /Ъr*~~"[1sw.38_.K} I3|={Z/.~c11Fޏ$j%8%&BL314gK,s4ZL ʹ'$LQC%rYjX9c@q?Qr8̌ƥϷ]T0v1]hg/xay8"e;(d=< 7g0U(%L:4fK?rMĿg#MT3~Ӽ?O#솂yQ}G<\#LIK 0O>?K;=dٲМp1<@ Vc 6[(Iq'hS-㏰!8+Q\$FL59l Vբ<'03mpwAHI &(Ku~ՁFDތҳ˥`lR j[A5 Me` V;z;+5G$ Dfjp/>iLo* :Bt\#`*ˍ20 [Jc`['}#"sܵP%FZSEBmw9F$m%qQ+z* xB@0#U !WJFl y۸Rd"eKMw$ZdC[bknR$`u\BԚGaW@6yOa4]GHa#/ o]deF¡]@oND->X.BlbAΫY>I5R50*ȿxv؂OV1vT_d5F<+/zwZ'|FU6\#?v*Խjv38y3 ZT3ȥ!xcBZ#cZxKB,© hpyq-{-!G @V5ߥ=ɶ 6a@ɍF49[}aD7e Gh h0kQ'r7٘Dʟh>/檳h++̀?)a` S' :g!-zwocO(v%&c9;\Ċ*H[+⺰dz՚sENJػtD_\?Y3^}^5J"?̀O+;#kYN#)5h(HG.l/n'@YL0\hT.̂.\蟀a$5'aծWrQi0hDn1 )YӦ> yl8 ~Z|{?(bNe\}۸c?ĀV$Bvm>SZIÅF}? S;|H VMwKRus6{1Cq̹E-&0 /U6pPUe,{`ps/j#hJ&1:y>s@tb:) %;2b|*85.sr)ᔷш2ۍ%1WYk-pk-<<4v­0H.)m冫39UISX;~MvL2|HB(ɞ@=.k w;۳ ?> F3ް9:hazj :#$w; 7x1(L&/-Q&/ЊLRf8#=>R*y|H \Ҵ'I/*@ <.FWo2nS ;NwƼ}u/Kjf4fg[P$t=$qeNiWmA'a\ {\VcyI$EቡVj_?N^Tas ev6\] "eQ0/AS,M.G?:MUUP .ɨA*Q[b9PKӶ@BWsr45M 'wQ SGDm4NSΪ^xtphs%TSS'g r ç4Ȱ$} ՔHr&GCpHJ?isݪe9(nN#mǥk*-*RWKuǟPQpŢ 1Am`r;D^3C^8;rR HּA|_\" +< 7;sE/NL$ ɮUfJqR# 1Z$H9u`z4hR/K.߈ll0sq ʤ|D̩q8 \NI*{a(p{A6/."RQwߧ{iv}ի,|हb1[ͶiNa5W S& 4c%b:2 ^#9i%ْX9Mnc̙eްZtZJ1Q^,kK˳yίc E E/iێYT?2IVbSX͑HgxK |h?o*X4~6MJUKpxeF턈ꋡiADO.!qkYw!4_fp Ea4pmN9V"[%Ǩ1]i..NL͞0Ť"4k`Y?۵?+б6|A,z,áC.VY11al]{Oll[/rĺ3ı15* ϫMvP :h PfiELCUX3k,u[=j̵ *> x>,0ȒRkRRxe!O_Y6Ejؿ_%%Z~e۠eGT^|,3OrVr_S^D (Ik@i`K/@ ÄAC烥X-Es5=Jeڮ* WBTJ=[ʅ1^inW1RUؠOYn[& ը_HSTί !;cj?E7Ot-Bu} JO~Vwj:bB'"c*\ժFXUF lr y;=|cgԗ_v j=ҪE@*RLr]20Y?Dbf )|T]M` 4pi UR=>4H]>+HRK ,#XBKU2T^?y%p'Xçd"kuaךO"N)u-EJr;_ڏ,xrUB W1\?a5n3^O[F"u*ĈbY<.uɛZ3[nx+AǍca^Mk9'Ĥ4H/^@T6*6g^F_KbKHhW}hݽ_lG99mhpYCeyRn Zꛄ_4=۝jDZMco V"41S5RAZBۧa굾l:{BҔz3A sYw6bs ,* "яܹOd;6wy tSFLQ=B'0"@Jbh3~q 9hfX8_نj"* ZE:EHA{W "(gm[jCԀ7p]TX wUQ]>)'TçfpHޭ\xx#x@$2:_YW^?&fyf/0 #I`ۡ?~J &G xsWyg6zPlYeKXjV1>d!Lzm 3ͿRR|Kқc-=>!%FMPd(VUh ;#5 X n30[,N 7٬/dbt psO ppIKxa L%R/ot~>i{dq8sd`w5FW;:0z271[]s>\BثsnVf}b:,hc?ҵ:tOݱp >sNW #e]\g*\w&$79ܝj؝ X0̅]L &J@F_ωz N$QڂUklR 0lV=9@jMG1p%:C* ` Rdt8d%vXgF͞#rSM؄Ze5ehhQ ppF;&Tࠩ`7fOB1Ⱥ#.PNԕxgH0Tt2U_ tZұ(fZuvZ6`K'ôox3R|TbufԒV * [lhyWV9ӭZp(&!UIp:ů~%~C Ǚh^SҶX"bRNQ ھ[ǽz8 i64fHtD?F/zh_1\H4/EN6JGs|S=2RbeSss 8zngJ/F) Z{%%M6HY Y>Ҷwh}1yW?,_ܟeƞ;r˗msZ ^- ڼf YGueV++ 5ert0–hh*-t(rB"=~Sզ͇X6 Zhh nS2rʼn\`NB,4e3_& !{3uKC2Nd( ru'j_E-^Q̿ hG ۘwl`&LSw7)t+*GGXjڊ(0o6)P=\HqGg<:!=" EtvaEc>-c>4a/H@^ϟ,{?s<#X/^KJ, :XWZ nV5_ ?7/ӕ!XAcqѩ^`"|%.vK{_)R:~fm{ $:,lѱM˾[3զ$ޤk<q".K*u}P4v}\cPX{ ڏc}Wԧ>[Z 7jXGM"h4。K@+ʗhj? m.jwDCR(J!j,11)`$'^ =y 2ഫޞ~e)]NZ`߽9>b@Y<[D<P$v!E*O< m3PNJ\;Hɘ<ڒc2qպ43HN[)EP@6I֘ {%fI%=W>9|Zd{FHQ.7\_quYy[<}Er]0۰6OhK@)/tz&[~ sدbiCx#ƥ^3DAWdcyo:oDShyȹ8!>WpB>!aփ 87wv;B!8 ?n줚mƳ Nc|Vi{p0+qsA}qC²o/:$8?[T>e9d.^y :R7oS  G8C~7_;s}9/k֍M^t%9JKLCw޽n|DFfHX\)IKjߍ GtBH3Y"Qʎ&{qg\ʠm Di vJWK u˭ 3ݰ9EY(sr;#6:. o½낿 꺼Sc dv)[a@K z6ce[((\.T'fAU9D#kHTF~iY ݟLhiB wT<60"x'?"LG~WpDމy6~9 S$Z v/q_9,m,͹d ~x4GLZ3lo\JM3VFs5ϧ .C@(b_nEɛl0͸ozo=wo4+vk6Mf @nq9i% KT( \c 9ز"WSq"meH^RmCD^,a @2Fk'!LY>A> Y Jykograjxck&ebwh ;-fxX7<"6 @1^XJ|ޭO`䛾'>6Yn旲JB AVC1hI7$zQ;ʔY Y.=2uBrP:>w4riAMQ(U&BL ԮyvTk҉"'XGC_%.vM?oTKAޭ, a-/b=!PRY3ST0c&08b]:ixs` &rM,2Gsn)^֪' UhSk7A1'3>[M*wpsiI7r!cb Wꉠnaƞ Fb1G{{t_[1KEcr`6nEg E)"ޫ%$=tkr1):ղT@rrWDzXwT?a#RgQ&HWYD<jFJ5ͩ(ZC<~ ' >H>n!sF|A颙 gF$݃@K+j=cNTוn^yeq8v~)";i>D%S%r~ lڹ_/Y?.-ݜᯨ,͇-0" .Lp˃FO}i0T`F>f-U|Pmy ~}X~fT')Ss" ~W0a!も00@bYP p~x W 3C]}HJeD }0_Mbaur<ӳ3^A\S!l9XȝijiOŨ77?a]3xD(l( |2 PaTgr7&VBۢO%AKş45O܈7 U*Dy<[pViMuۢ@y\dׯ`7%=,f>ygdMOtfՠiL|nHqBZ;q|Վ9.,H.ķ?HnjORmqK|f-Q$+ӊ[ lHUXǢbW'bM&[SrpH΅`,Cj"L-KFcل3s̉Eר.Ogzہ~DkN"NR^ߝ..A.V3EjSpun_Qdp*$l>q 3dƕi)/Awr 3jbhm-%$\ĨGHt)XQOa)(b$V쨅 .a̕k2JI>B'2DK<>4Ob]w: DXfU_RG{qj/nehkڬac%$,F@c~Caߧ$ÚpPh76l̀0ݿ~A4 S5+ȅlg⾃x?X'`6^:Fe{!bFpU䂝 x +Duh_cRǓQ9Vjv"zs8D*iFm2YJ@5pG>#9. 1kj5i+4#O`(H|s}Ӿߚ}9 S_(`9P ɨf4UNȽmI+O|u{0W8BPKFͣEMF0kEF7Ƌ)Հa^sTq,ڕ`bkO.d܍@0R:*)I'aO7(PR$N-L_5'mex g*_9#O$8=p!dZ]bb[*Ofk{YD҇%~bNxI@R]&E`&}MVK^o4٢(B@v^}@oC:Qj>dHp讀ԕF৭<C޽GѸoi wHfTmgkO|4cJNd e%"M8 n+ Z9qRp<9\얬3SHаIvø,^A$k&zyz#;LVq]C1ݾQI3|H/m*Icbàa;dY%bHC[˺`>2ež&qsKa~Pԣ y#y{܅'RH:)U_ZIX&cbq3DuAs4^MIyeq=mn6= /Һe/̾U ~8X1"&? bHnyzw+2t&]76GGwz658hg!Z2|[BOh^Fmyg_0SNimyGc\=8sl5ܑ,)wuf%զwFpEeŗH>k1 z$?H_<gYZ {{+[% |Randomised_BSTsMonad_Normalisation.Monad_Normalisationdocument.tex7zXZִF! X ]A-MՋhvG"uIBm51#pzom?bK:y !{ k+-o2-}iULl]p]Y㫈׻.:6n@@9!Ư^X G^EHk ְ-h].UhQ4ih5s?fZiR s/ |U] bjmmˆ7$給f;^Zy˝d($4HLLCw꛺H)K-*$s94o7 47-*sClS-Q7MS)l2:.~H͏WBP|id,Gr;$lQ0̑K'/uCqpbC5P~]9/2# mZw 690{DT:+Y=wvQ }ʊ`/B٪Ð4!7v򁸤c]$}G %MI9"_/;ܕ"(Fv▣Pf+F@ALzNYcb 6͜vrq!olaWu,D`Cdm@ޯj4?zcLzi-t>"&I.CYF3*}k\1Ǯ# \>|Hk! ) r=ʂdrr.zp̎$=?OU1~j?Xk]^ZhIK)?/SEgMٳ4*vE,KXy=h#v&];5jHkjmr\XB{'x{.?`NCGkt)Kbz \A/j:*I/t} +T/ nwB֜%僀_Vz"vt~H9 fymyW*塭a X9taձ See/ Qe}!cM3jWqR? Es]j7Yi_Yi&CS~%)ʵ- 喢5>3_U3[Nz%WSm,x7tOxMƥ`m!KiKQGm#/.U2Kl8|LqAp0SLiug4GH≠vV#Wh́'CqwMV \*>&xTr ʥTlػan UVIGje}P gT^TZ_(z̛lrwY%C  SP|!v{١;C T9 Q 1ӡv4z`˵ü܎Wvs&WGLu`+ԳKe Uk +J0垑]2%R)㐬2u1_> (*ɢM u-ZaE sf];2i(4a0${'E obO(c+˓2UYUjϻS7U3(X{h%,J`e)X)ݯ,3/WbrvkO31yHUtA |9 ^^SxqV ZOZfVMA!RdSJU[S |MDajr.n>;U= )+V>jKÑ1u FiI^.)m[mtqp$3~N _h;uj6r?(2YthmOmĄtY<ӢXw3z phVETWĞk#Unųwss4pҠDA=[ Q53 t"wLl@4>1hn7RWl -W$п\=GYll0tw2M!̸FgYZ  A A# +K% LRandomised_BSTsRandomised_BSTs.Randomised_BSTsdocument.tex7zXZִF! #S]A-MՋhvG"uIBm5־Si.oP}hIK,~uB=O!6^U4Ye` DK!S_us;u,'7ڜ !k ECL$[3eskh;i۟ ISt"XS=ߒ*)PfC֍WR+mfgNҌCk)u@̈ 5591=I[1TD68(1-EU6Ђ~L g~KٱLLl%+6k GUtAKK'yqw dzn@_~OǚN @=)γIA7Ğ'ULJ{>0Jy2,Lh\5fs6Y@zDA .,jqt/ɀ3ɾ .E?unȡRл#J90(E(K]'wŌJlK91]vdWeX2 VD3]nKҝ{:fnbʁ$.iὋYy 'ܥ}Bv(]>,L}yM[-X8ζ }\{V ɣxpHe ɍ]41ILNzqn)e7_S2XsLck'7liI¹UU;@/I1v".x>}2 Tئ\ @bPJ}>t{rሎ@]rCFB"XXu2_ÇrH