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 v d, ]S Treaps:threads=4elapsed=39.286cpu=128.420gc=3.8927zXZִF! :]ŗXiɟO}M:; AtFj!e+nU1xj9wb<>K#㑡L-)Zcgہ;XٌHKmXPFFqk6uJ%TQ M􎘤ߞbAi ; tߛCJ@|Yi;VnVNt^]Ω `qـ0fY*lO`c\AMܓѨNI?Dv9ZK)l!bXwJo`!^B5siӜŤibAwṾƝm'3.)yl9eb7^U-c)`q 'W.Wp2!G9pm[1Q= LJ`dYSF&NSDM} 6 YHw}r@LK:SQM+{6䜸Uש]:U|gdɹ?;DPQ,[_Yͳ{+IF:b^b~M~wSxO 2 b#>Y] nGPH~;o+ZMbYAm|N'eA=p Hdwax~w_A'䮳pLS~QMj0R*E)cXڲh(KW OzxjΑ{]F?G(HZU=,dPC bKKqB-j&/5_Ug*.T?[A!Qj҃&F ~dd:m oؗ^;g&K"4psFn׬_Ǐk6&C@._V~?R::w1E(3UB_5@;Bq{s$2uͨc:\D_Sb}"-E_듑REnt~͔B5՘7əO .<)a:5C~4{iv}'GCRϛcC *E< h~r8psK@SaN0Kq$3,f^.ZkQs#+3?(X@FnZBr! -7oL(HJ:{p[Di"A ߸js(B4_l[ ,H(lelaf} xyPf^sgO HC4}[=UXTzJH1m,:J 3D<0 jf}!VօЍ;ÐՑLsa_jBKTO]iIq|0ŵAxA*G hRh>H$d[FB̋O)rɰE3" Ma!`}HUyT慃#1# yj~F=O:_hړ){u6D #)K4a拋­kdKkδFq7R:,fMIN^ 6J҇BטqYRpsl4'ݲ 7̽_9p vKďC)Ia(4bs̞J-6nƍv%r]E;G-|[qQO:9j+>ϋ3"bZ;c|>2ܭ0a| 'gYZ7zXZִF! P]ŗXi%D4ۘgkejX(g .)_pVD=ClֽPVFs;泃})P.or" }S׉AFfnjG)vؿے]Gdx;nyo? MEv~16CZ+Ϗ/wWVe$S~oMù%.A,0,t ⲖX&5GIqi̲uis9 Mre # SxMF"Za AdRON\_ĂK7Ph1jj5s~Ps]jZNl7lb(Hv*R˭X2)~:c`Ax]IPj@rHLg}EEtϷ4` ~xvMCN۶tdўP%@R, qp\+u06C<!p DIx5ISج0   Treaps> 3% ,TreapsTreaps.Random_Treapdocument.tex7zXZִF! l%N]A-MՋhvG"uIBm5־SB^Jyֳf:%MPJyH+#Ti;0{ LCLsC!2f.Xٛ eM1cG \q/ PE;gy_]MbBzn?/ 'Zx无Jp"?Ϡ{Z9b?GJz nc1chY{IYt\M?LS0` <&w<2$"P(_d(|K@kthآsZ!Z[ 䧶i {E8.g#Yzb6cC|n"̋Տuw+eIlv[/u`.4&4|i$G&Y;D ɬ@p!0ޟ';4L+?XcM,]t#*xPr9+{ ]4 +' r:W|;̇55=-@I>FJgr!7Mz.,9=JR*žLW+Hp&x[ʎ .uivgV,թhe+W7`Főw!(֠v6w6ᐣ*HW~M(-~ "3FKV~}k?kXz[ Oϋ2Nx;50.{ ;D)B\=!K#~Hک7^6~;*] ]#Dn9omDe] ꂀ'oc%<'B9{k! FdA=MRrJ@3/.f{vJXм';Ƶ `N/&`)HLxf`!iI'̗)2-5}s:ƈCC: >wv6/։|dD~Ն˥9ptVK! ^%STs-" s)_CA,*N/4;@~g+;:koPu#a,ʽ(KxvZTqF烛Vefmu {r'(yq&lҷ:l'>Y;|,.V~X Z60jLW h0U*3a;% lTreapsTreaps.Probability_Miscdocument.tex7zXZִF! 2m]A-MՋhvG"uIBm5Lu>vu:Hi\yiNO` 4ɧ 7Pu2c pPusqLjŜuRnL _V jw$Le@QrXɾ|'NQSbK+bW0)H5JĨױ(HRF1! LĐ@ZT<֩ snbO0[ !Y e2# \^Uazܙ`>p^ &9X=TkI RBGYܹ*$x5L(l4? Zl#<;p=ߪNub(=lDV/(\ 7SϮ)*cIמӎ7RCU@, \.msR0{/bw<=5XA6]?\P#j)jIlL_R7!q@(MAlmB G.*4Zv]MzCs FE۾|=``W1o ;l1z9lanas^E +9&-)sv4S\Ƅ3_[Ųk@(]Ev2kS+)-aDm| h0ڷTpi'޸bS pf )?s~cI*kƃs{EXp"ANNDړ\Pg;Ǖj\nBbEN!<| J8LؕNܧqO]{Lo:7_HXnwMz5$1mܔM~ۋTo&V |^xc%4R4ǩur7MabU֌SH87SAY\nae^&; [U4f][#85q:U-г+psԥNo9 cu4|45XVM{  iqA1־ST۽Ts_]fih'SxH(bϊ򤎶 Wahs'Uղ8#T)b;йV^-T>iC}ksp4Ey5Ul:` \R'|UO+AӔ/no㟎uX-E`A.W sKV5NџNܿ`hWE*}nm?9}0w6 hdQ В"#;'Yzk{{:!|g6JoEPU |iT*Lv Ȓ y)͒Z}7_ئ`.Jk؃@Dz.pY|KM2i3oᎤօMO^4xZY=I^Tzz.f ϘErp42L"4is!PWiwbAXvdtZsх '(.-YՋzɾѐf43bWT%< MҤ)׷xP;Pjl=q.E@ak­e&VYz]o;})[f1d.P`e['T-;NB \942nlNA8b|PPїp[ *oŸIB+.b:Bq ~agRܓJ 2|}Ex^UJy-3& 0'ǫof܎U3{U:d|SA72l/Һc I~CR KtmOKkVK-kF;wyQF\o+U!fImL'st!G[ \Ys!h9EŽq8"Nu"O< ";#>dX*ݯzu~s%*bZ`j阈vJn#y5+)?cUlR9U.-%؃c$ w8tQ!<{jS9ړT\H77c'Z-<+ܛ3x9 9>ƚE51"sFY 4fj1YXq2y&[~3qinZA ȩDcMn$Y%?ުzg_[s&!%w] z~K$@o L`Yn[D{bHv   Mr6I%TreapsTreaps.Random_List_Permutationdocument.tex$%%TreapsTreaps.Treapdocument.tex2A%TreapsTreaps.Treap_Sort_and_BSTsdocument.tex+3%TreapsTreaps.Random_Treapdocument.tex.;% TreapsTreaps.Probability_Miscdocument.tex]C `_(fj^\U[q$N{霽0Wj28d-%*z^B[>wqODH,DoBК]ckoe)(js{,M,\۴VKxlGpG/ N/pzkJ84+gTG(KFL ) ޼9gՍoTb 2%B8Z輠OhMnGR!U@q G7-!Ѯ.I[z݉JK^d|'c?0KghЧ#`,P= ?D.ULrSa4T o{K3:ש th&Ve<+LLy}5sJ`IȳPyrLov tQ_9z` {r7nߨN5K;{ *҇9?A[ +9]BMr)(Rܵ!=d8_;[ݤH͋ϡh>@ؽLo-Dkߕ+@dqt_>MlTׅgFJ>@fm+iH)Y*Qљn; 7mvƐiͭVyg6dEeEpVTޙEz$mVEB{ &,[I}h±Q zGLJ73c"rm?g>[6385stfG7pS!1n.,Cj&U694A) u[H#e&|cw[ c@D zob<% Ya{d9Oh7z~rJ7Zn[ԉ2+qəmkMǖDKTK[-v,KNʗ=?HZF͉5΅*B~S4ǿw5j\UssaPbJj艓%pk7\hwE3VǬ ]|m{&)Z5$f_jr#cXUY!:R#42}! , .F{x.ukkOKN(tITSpOBDZIlHYuzF&6V__, [ܙ !v#c tjNۈ2?ѦǬ vt=5r8xcT$瀊ANvR'{8E/*؊-quJ7/a Q`'-ǒ|Dƹpd>xf$WʭWa2⼦Bth;FsӺ&.#l>VTcF]F{4TÄ 0޿wA%!{ߟ̷Gܙ@%KhD(ɗ`#3>sfmHFe3|47)g8˿{ W=]׍6,EA@*$092 9oAaF.h;B؅n=DFHۑҕ#[4%fvp2$Rp̹\:|1$x1i2h RUoZOp쿪UO5h'^{ kUyiq5[@;g-Tk s2K~)| V _ 'Ypn0:ۣCl `f;3;%-vHLyi]7RhnDzm%eKOfΑX,]Jdɋ ;iBgP[;\ 1#J'mb6"?iN.26Vlm i$!6Vt1'Όiv'd] ?6wnmbi*В>nPs,%!V)9/V6/_G"lUx6|!(,dt+ U~^xg؛5pddTJAzD87LƫTbHZtΝ{'9$pz;ak>p^,;<>cR*ԱJ[ - J3-b礯igx74Ϛ`̞7I*lAތ,vbL,tb$vcP'Čx*\LwC117H1- s/0p|٪̑i>jf7@Mc¦zMWSBfQ!B%^o2$!]&%O.ܷG5'Qt rn^ZxF<MHUxR@F67Ȫ"JLFאx@@軌gc+FDΚ674Ie/}U`tޮD1Bas}Aí IZDfO*8e8 ,|;r>`#Es3jars)?ݚ< CN蘎3_Uc3 L 7M}v)ΰ ZaB\NIbVDs@h>u7QL*bnq/6* &g^-v'Ȏ5/-uu>Ҵxڸs"!t3`nV ܉tL8<{_zqٟ73qh}I{|$Ĕ;My>U WS,׻i0++`Ĥ Lg,:D.LYd,XrfÀ ob"S 5(S ɇ=\Hl w;)@=tJQK R}h "؈aF6~`h{6UC]C{"r+뤍bUxYVt dS2~0Nꍔ zA[h2ay_)}3J`wI*7uڧ89/EF}G{pS*Uq#nILWP"~}]- ĻnZ,p[҅͏oMf?!=`mET9{b0&2Q(.#tLL0"M%бᘭ*u^гa=y0 ph7LB⯈=(Jd=Rc:ׄlw9kgfwa\TENmÔZ4Y5;Rc`;W* 9QI!"e,ԧA4'8G18TD҄ dgV{+,ôB-U1An+qe : Lk-̫oGVvj@kqش0FXS~w\!|4$)=LՃZpF#hY-[ ܣmKOKmb0pf^L4>=2^T9GB(P+Sq\b,Nb!Q]̡w`G{$؎U 8eZfѲNWÇ2b6TAs?ɇwooMLWY0KcqM+RZl޻6;VBFڔi^-b&Sr}afO|Z_K5ߘ` 6CyoJ! %Ś?Jn oMp {i+~K&䪁I T:KS!n mf-(QHBBWDWfOFX1KJ9QYb8 x|y$|^4`31ᨘ& 5`xdĀt3L/ LdQ_KtWj8GCn_[ 2w@"{,+b~cP+E]aG wd#;qem]U`c߫jѩ559<)n MwJ}$~D1 ĂNJ8k h5:^pW"~5m_wK3 OE8`vdYG5?a_"tޗ $Aգ_3Gx%4i y(LE2OL`xhG}HuٙNzƭm8F#w qa/c' d4tKrZ]1V硦Օ2g!ED/ MG킟aDC_OރぼzP#";0\A(zHF{. @ /q3"[),(wBm/J?҅ ZK:nƙMζqg?{KN8q* -۾Fsb%AC/NV{6|07a6sIǟq}n ߕpZZtK yj2#8t>`PtxC?'NYdW'5RĆif o!ۃ¦3X5nLsC"߃xc~ |94y1mǩQto2ה@05/DKQcՄ)ѡ#y-IKeÈ)ىiܟ'%mAa-l kIVZs*s} M`(CbBhS[U[|>Z2SL%" jz"^0z {!r3,S!U|\nJu7jiTpaF)Uej_MN2j7`P;q\c v3[-Ak \>::;^{2KyXN.f@a꫄ :N>ƪᦸҥ8Ŵ2I"T'\#z#Vg5_`k<U{:G|j5WJ/b4pX_=Ė)(_8ƑJ%qKb(}#((7>!`ly yO۷K͐coYu3tTmD}BM}Nll|T_ŽĐD="\Y"XKͺv+CҢt|{ Ŀw9cڅ~[w_!}%n1Q?gŠ {=J?+\;|r'jYHƽ,!=ם6rxV_< ~Sgv%ć3^i/R i(zr|h蝎IT5ԕOY0.[fHFryVlq6S &7'7Oc '#9("](#][m/ z /GULӆXVj4@s Uw; ܗ'~͈B(?l~8U}JSIn+"vyi\q>)Hh9DLI%cQ}_b\lzƏycK@->H{FGJlTtes3*fbnTa G<&7VV+ݾf MTh,ޓ®t E)NI3 ha'K&&a7ӛ_p{0Srdc5iO! rX6kYޔ}]l $}1;@_,@ d!hIJp֕Q+mʬ`(6S /G-+A%f$.RMJrA!o*`-nB>ke72·K5fCǢc3?ic3L,L3^NE 7r*+p{7N/ ;q|CSzb %3 {0v7 3г𿣖rK?Yu%9fWϻb1bc7U f8 12DK 3zʀeKz)F/,BDX3" |fs7 $4Je`+s4 1hQn*C6p2*`Vԃ_ ыK#l%NwVúeHchKa d:ܤRLT}">P,s!Ti5=Y<Re#9 wOYdLynYoC yD^@Wbjy3SoJ̺{픁v$JVJ#>dx:0Ti,Z:x UF}JFs`&&ZĶ<-!ҡd,.,S)P?0AVz*Gd k^>;({  dQEC )6~![gxvB`T1)0˿CO j ٣ꈈ IZOBBbt1H-ּyղ8$=Ne~dӶl7f*(?ĮrYUU8ꑉ?J$>lFN3*$-<`7x( NSMǼ2q{W"46֞Nr8G `w3GdRچ\Yw kLNn6-qlW kl<%ng m8: )wU8̯Y7[ņ"g`wEyg_b◊4F] =g3 (M4d,AvG% _&ॺT.xhzUhEͫO+Hpirw)4< 7J" #^%kQ\KȬ/ C 1ruzkj0"*TH!Q]\XOcTj- cM"u^`=N ïg>7U'$/jMqTӪ6Mg^dzVNP*sdZjLǴ##(dͻBf9Z?TӃ|okY5h3V"kZ~%gM}6c-55q'!Qx-y @1j\LQcd7 IxREpV=`HݝP{,F}GFG۰ǝCs0YAA;,0xA QJ{*æ Wz~?7Ct{'XRqtYZ G*6)~}^5e#x ɛMO6 '{|L\bt?;}.aP3Ծ$CV'JDoe9a_vea,׳?ZXdRvD$߾^_v[.$R6*+4WK<3vHxj͝H'&. U"0w2B"hn .Y#$-"ѷxBc>Y f-ִӮUVnYI:4q廓 %"Ɉ*A9[jEM~\-pyA-lVlOZq.>m|"7N%%cбI&֕j"Bǡ{nj Igiaҳ sQ7'n6ma63f!v!{*A7!%E6~'(C)kfWY_Q)2*y(?8ѷnLg. `Ƀ~'GuTMö >=R"2qmH CqiTa%؛H\C_jlMQe=>a2I4xoyb fnX-Iu[BsaRc VN#q 0 3^x Jj5Ul{-p<ijb| qi\UpW`b@'.(򩟟%DF_>@;ʲ+H2~#b#N|eN1Ҷq8kQF>KC&:~vjzSkoDbDu+@ipeɛ4F)_"kTє:d60'8"3'nG2ȼ37 41[ WhS9 ֭ۧ]Ocoەοw,Qj\5%biB~yԏ_7xﳧN=Yn@MQ.aKgiZn*-8 E~lB6J4iȾ\r)c&w7=a!>dv`"wd0T5>q A31i@[ K;5,y,+c}+1ʦSB* $'뤔mKMH=0rŒ=_:䜚o}VGlCJY>ܖ6kUb]< /lG6)dQ NƔd aC3 qJ=gYZ |%)@m.ɾ.'M< }y((۫mc BGiSD٘" Ts-cs;ʗw0UmU>6f]>/k6Ȓ&Ąڨ,_Ӻ893 " GoiNHh(nyɉu\p;oڒ0c|mY 29. NR bog@j\cs{݀)aDƠ`&`&(ağ!(OaE6w=Z1{7čiEkYV ?s؅y6$fp|86q-hkW{M8f/kޱ}IyzJ6rn[|ѨS#MSe%16Xpϼ_O/I!v-*4׬+.iPz7:_ awrM-*vJyknVQ_F"9 Xfw{ n&φ_ aqzIwEAz=N5ᩍ{̆p<2bLJ}=%;G.'r&T~~2:^څVRl=<Y^$].q`pmҴjcs&:< rT 6CK !*ItcQE{ݨn*6vrW5iY_[v^"hIlS3]U}CYH+sJ0EqJ^?H&M ~іMғw+Lm`#Xe[K{ ZNSBH㌀И gPPQQ6x7Kcd$إo**Wk w2ZW\T>KFgdj|z X!J ULJ|5 -FPPOaB)5s0OAT)"Y[OMV(-#sd[8Uv/Z}CA +fAq'Q۳(a_ߑˇ$<=^7Q˝?}kԏf连Н ;P_ M:~ ʡZhG!t;;[G"ݦDhjb{`߰-+.]cC`=u&zl Xkyc|߇W¾Z ڞusyc iP|V/ }zJ}^I -@MѓPXPv>5@=b jX`/P7q_: .̼D@'LJa{81:2q"gࠦ2]Xiw}+~$Iˡ Xr#r&?:F! i&[Lj du,!q$"wu9w56Lh禿vZJV!֌`bg% EgbP0c (P=h?VzZH_NU)nOi.k2_W"*idD{b VyJXHbkBU-ZdlPYPF. @TV^ϊ#tGJov2 Z"S{iuLivɵ<%+ [.^O`B ڛjPSٷ l^D|:S} ke;^| ւzıU:NBh9}Vr'ΔLxNc_FkXrzy"bƉ)UX(oܛ8MP2Ix`[~S]Zpҝy=[\nwE&]A]HM|Ďվe` .t Z TxJ'}ΥxN=WW̛ k(7C}oIO?BlUw`#"d$[t4P`x&Hy`nq__ʏ]ӥSKI݄^*"d$}3iDҎƊoB:v ej˧k0*sj;\ % T~8x][{9oqL3$qvLwhu(85^_5BF']yE$,.5GXJϧFa #?fa@sūz6uì6uѤ룏/GS~ڼ*+њ]\RZW}$'3ȏOn H5#l  3% ,TreapsTreaps.Random_Treapdocument.tex7zXZִF! l%N]A-MՋhvG"uIBm5־SB^Jyֳf:%MPJyH+#Ti;0{ LCLsC!2f.Xٛ eM1cG \q/ PE;gy_]MbBzn?/ 'Zx无Jp"?Ϡ{Z9b?GJz nc1chY{IYt\M?LS0` <&w<2$"P(_d(|K@kthآsZ!Z[ 䧶i {E8.g#Yzb6cC|n"̋Տuw+eIlv[/u`.4&4|i$G&Y;D ɬ@p!0ޟ';4L+?XcM,]t#*xPr9+{ ]4 +' r:W|;̇55=-@I>FJgr!7Mz.,9=JR*žLW+Hp&x[ʎ .uivgV,թhe+W7`Főw!(֠v6w6ᐣ*HW~M(-~ "3FKV~}k?kXz[ Oϋ2Nx;50.{ ;D)B\=!K#~Hک7^6~;*] ]#Dn9omDe] ꂀ'oc%<'B9{k! FdA=MRrJ@3/.f{vJXм';Ƶ `N/&`)HLxf`!iI'̗)2-5}s:ƈCC: >wv6/։|dD~Ն˥9ptVK! ^%STs-" s)_CA,*N/4;@~g+;:koPu#a,ʽ(KxvZTqF烛Vefmu {r'(yq&lҷ:l'>Y;|,.V~X Z60jLW h0U*3a;% lTreapsTreaps.Probability_Miscdocument.tex7zXZִF! 2m]A-MՋhvG"uIBm5Lu>vu:Hi\yiNO` 4ɧ 7Pu2c pPusqLjŜuRnL _V jw$Le@QrXɾ|'NQSbK+bW0)H5JĨױ(HRF1! LĐ@ZT<֩ snbO0[ !Y e2# \^Uazܙ`>p^ &9X=TkI RBGYܹ*$x5L(l4? Zl#<;p=ߪNub(=lDV/(\ 7SϮ)*cIמӎ7RCU@, \.msR0{/bw<=5XA6]?\P#j)jIlL_R7!q@(MAlmB G.*4Zv]MzCs FE۾|=``W1o ;l1z9lanas^E +9&-)sv4S\Ƅ3_[Ųk@(]Ev2kS+)-aDm| h0ڷTpi'޸bS pf )?s~cI*kƃs{EXp"ANNDړ\Pg;Ǖj\nBbEN!<| J8LؕNܧqO]{Lo:7_HXnwMz5$1mܔM~ۋTo&V |^xc%4R4ǩur7MabU֌SH87SAY\nae^&; [U4f][#85q:U-г+psԥNo9 cu4|45XVM{  iqA1־ST۽Ts_]fih'SxH(bϊ򤎶 Wahs'Uղ8#T)b;йV^-T>iC}ksp4Ey5Ul:` \R'|UO+AӔ/no㟎uX-E`A.W sKV5NџNܿ`hWE*}nm?9}0w6 hdQ В"#;'Yzk{{:!|g6JoEPU |iT*Lv Ȓ y)͒Z}7_ئ`.Jk؃@Dz.pY|KM2i3oᎤօMO^4xZY=I^Tzz.f ϘErp42L"4is!PWiwbAXvdtZsх '(.-YՋzɾѐf43bWT%< MҤ)׷xP;Pjl=q.E@ak­e&VYz]o;})[f1d.P`e['T-;NB \942nlNA8b|PPїp[ *oŸIB+.b:Bq ~agRܓJ 2|}Ex^UJy-3& 0'ǫof܎U3{U:d|SA72l/Һc I~CR KtmOKkVK-kF;wyQF\o+U!fImL'st!G[ \Ys!h9EŽq8"Nu"O< ";#>dX*ݯzu~s%*bZ`j阈vJn#y5+)?cUlR9U.-%؃c$ w8tQ!<{jS9ړT\H77c'Z-<+ܛ3x9 9>ƚE51"sFY 4fj1YXq2y&[~3qinZA ȩDcMn$Y%?ުzg_[s&!%w] z~K$@o L`Yn[D{bHvw 77N%% \TreapsTreaps.Treapdocument.tex7zXZִF! 9e]A-MՋhvG"uIBm5r$k&vo_4|8a}Of\6pTbXc=`fCzIOŜiΔF猞@>u$8r"^uI#fbrߺxPF=Y1: 3s^1%aX p)@\V1^l* >G룫їO{?S#~^ڂD ,K@~(&ê1ڤp~Xò/a4&CfLe1%u"0HΊ\3~6q̈́ʽkIH߀3f[Z7=j29TLzG(I2y$JkETrjj3299Qm]ЀG<CA/[ * ީ ;+7nT#z0N,=.|,9/k[ιu]acK?A_F8y9O|~l26C)1$䎑B*YLk٦j7y]\Рըvfs,~'?xK}+Yޭ չf(`nn99/^bNJoGv˜7w8!<>,2QEBEn4 *mU݌`E8 .E0ml'_C%,K)(u&aOBm2q@l'qpew_Gr/煓Dg&2Rxx@nt6P|.ʞnԽT(V!tHAsow ma)5E辞^+L (cq׋dMmyp9,0-5GܘOY}~ 21By&F/8PۍߊeP2W 1uF\h3{{Zi2 [16l]PSKTĨ+-+((}E[d8_;XJqgbFq. >7 ~2׆Ü"gO"SӇ3Yy_Qf z [Z)d. {˃ObyvM%~mj]"WzZ*bL^syB7iC8< |QG/|VP [m݈S(HQdYeb_^>jԈFd=]l>8ƘmcSν ݎJVGfKk2 $Zn?.[PQe.`gNq+8ҮR"!qpFOkT٦мKWa@]F;FMhFlHi]6JGJGx^0Iϸ!/L#c pѴ<4;X뷼3jgY`2 +GHa@φO؊vR.V֏:`,̒\BF Vl}s4mlxkϩRDU)Y:uBtrf~M/ o_3|%ڭIG\G-Jp<~+YQYO+!RϚWV[ۙ` ,B vb_6)j 0@{ʎQ;6$|;}9Un(5=E`ҋ[CX.x7ƍ9Jqq^~6%~hČo,+bPo4R~wvǑ^,PiC8i xA% TreapsTreaps.Treap_Sort_and_BSTsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5r$k Ɂabtx"S@( KfpWV !Gk=iPhтGb,F@^xlKPni' q zm`Pz54CYy%[@=@ag)I [4ܱ**|vĞɮ!WsDb4.7Hu,("iT:xuvI` 8z[jVW9K"6B L]VM_:8{Q r[Nr/ ^󳩑zfPbSDTr7&V@-yvDJ]L*`:Z2VE؄x%bs{7@'P8 *kR6|S;%OU\r *~[If̭QvCK5Pd9k_J2=`\0).6LJ6@0J`x/;ͽH!:M* r4;,Kvݦ!#Ee0з\X9K;"JênzAh 9n?Esk8+z 'X/[#)䎓tSb*T8_A<0v&YKZpYNIlCk"ƒ Vv+1)n;W)2ekLydDzԃH׀Q߿jsgiP񋾴dbAq7%l#l@aӳ-4"wl Gspzm4rӃ:8c-uagݨul,Zit:L 񈐧ϑPFn} V tr^}+9ΆV oUը@C*.E<4|LVf XTG@~J5lz e čqa_ zq D;Oڷ?So&^[q2Q 2+.:^O@РcI:ix أ#M fW+jn8HK[A*> tUɠƠëzm Ă>YG 8{1^bY9n@OHa" h]JD.anT׃;l_lv~DlOB\(w9lfD}ߝޠU%}'{ +*qZ"B#qnGeњ:pgSZiܤM򀂟O4U2Xb3bIj$g#unVgBEl a$ʼn&xPLa` a[7%Y'Z8?0 cHEv`dۧG 4\VeuRKHVo͡hP/Pi:qZNF>.2q`3䊞(zjXFxY=#`["Tnȩ덮{>}\x}L*$Zq7 &&if ~+`qailxWw PcCh DaK1%\y>trC xb(V|"9F&YC&ߺ| 2K$cV!9!f\VYU]!=2Oj)w-j-(?eUc)c 1s3`^Mf527] IPB8׿ :yư*0`b!2w2EY/8|}-mkuR[e3 XͥݏZ⸩%\ %[(Fn7j;LJX0JIv (Cz;sp4vmcn0<7WNV(eQ恥-#]$7k?U&tXMw?^0aI[H%iR>_n߼C}h<IϤm\9[_tVn7S?6 =d mdM;!1/-&{Dq`]BE9e2k.L#6:odmlMZ)D*c=m%Yًv{8">>eo[?ʭ-XZ&eT16\l|Mf"|*CKx`1UCip;`z!m([cc>6hJ a?zQb~6BNgTmՌi ^H2ʅ!@g[^ ^o˙dSwVemb(sJR™$Ɇ>a왜GH,~X^-fsdc}*X|,r M3j\?8U7Aه?a3T9oI 4x뎢01D*^\N +\Α8SfJpP|Eo"hTibJ݄*ӥa^7yJ^*i'R!H2SAH oq1'm4B* 4[D!M7@Oʾwrr\8{봃' So;TG\*Mɶ,IN|ٔ<>s6,0/tP?}BC& *(|TtGmC Fy Iׯ5šfhv܀ࠚ+1y.*zbUuI#G ^ _7KNM.H># G,}20tr{7o u$[ &sAI"r;v1w`g*&FWHIr+YG-Dz)<.&:*ol[boExSqJ",NK7Fݚf8g@3 @ |,G:q ՀWhYX*~qY$i('9mepOcOn\:"*z;6gYZ$쐄躗nK].[IlItWk lL$MB?b;Cs".84ۻ$]I%+' D >TJzez5"#H)r e ʿAtyXԖi.XLSo04s /o}fiUHXcRui֢31]8v)A&P|/_&3|RD@,' w& .BfxOA:ݤZZkie%νVY5?@7\J,J'З1H u(KU?r {W:Bտ<<21.Ңg VوE)}RuԠ5W~^@Ykkܐ!Ju!ōdhWHW p|"{&Pb RB>N8p^;$8Ү ~`k\ RPLT5^"28$Z =,̪nU{ "'ֽ&5=Jl.PG)R ٹ=ll0xG"\ ld< 8e> AFf3r0&,:=rYό$d}#%y2'Cya,kX'O.WtCZ6RQ{ ,jOwkomF JXp{Zϼ`2 :JdhfPrAy1|+: <\U %;-6ո.t F&a0 B._w֖{u0F\ozs _9.6{dق=baIo&@A@Cɰ?Ç>x66VfIbnpӅ,jeVP+aKt*[bƈ@*Ce^npՋ\{[F\h'; :0co1@^u Z˦$;5-͉y7&(6 3I@i#K6PKuk\Jö&!1avd} "bEt> Y8D+fm6+ F.,3T5TcOF[d0զqGGVTr[ pf :^}Rv3pǩAٚeY!(oc] H=|C֢X*VGB =$v{CZA* W;o2GRad8$TNW$ͺVO>yh]~jږtk|ֵyXf2K#C0I-`篢O XxN\ޕz=MW#T5iym׸0]qѝrLDpT ZsHO qdCŎ fG죛8 j]t9S&^Ȫu$D]3[!-N? ep>:_|E^BMTX0QQfV`~;A@"{Mg3(m386M VRn$s?-;Li_| wQK!D?9"#fT[`Vr׉ڂʏq'CMu(X84Lqg=s@; ܡpck݁{t+"L;ʳV̪IyGץUPŒ4tY5{4jbrQAWy$l o\ Wd7حi9*[-&xIYs׮ݖ7DCEG@A%AN 72l3PuVÙlr1#idR|0e>C]t` >ќeS9E8 -`pSRQɃV/F6cz D"&75e ܃Dcwuyx4U;ope: )D4){# k^fUL{0N!5rI' XI?fbQUl(64<%*qB3j7jjPne'8:CQ6[>gΌ'P'm9ŏ`ۍNRвDO{f.%/GȽ]L2?&|Z0ZEQ:axvUIxwUQ=8vrTWLFCrIc[lh;GOIȤjRZINX[5$sm0aaSM9q[<+V: :ڨ|[?U,(ۧP6O KSW)OG0I/Z TTNֈquæH:EN&t<4iPNZ-w2WbLhhZ?g* /w*ٗ;HʯY ^97[0~hW;3IDy6 ޟsXc;C YfrlFi[Mn]r+i S'BU7f<;Jy:/u/}XJQ;qiGӯ.Y)M ZmOYIs񕗷JMÉʚ_]˖U(R%#+%0ʍQ$X v䚅SE5j<2"DHh4)AANT9AzαTԀ ߿h4[*hTZم kEn?2 JAgR:<@Eoa~Ip\U?8 TaԸ"x PR}mcf@- ^c_`>&;msfX, Aᴤ:D),f-Qe*9j17곉tsBtp3(~W%g4n`ޙЕU;ȁbտ̚J[51L|q`V\^T]{pQ{Pj E,&u4Za3hc7cC ~#y .4QH;t 1^6tRHq !y!z?i CҷA:R]\Fp.K AϿJFǏqNGDVHOY8}z.?'D̴}Nsٛ/A(ӹ^0<1yFeV%`In[T{Sj?RJa'! <ӸT$tқax6܌5$pcW/=ex !qP-X]Ř2k )'gD6|c~*-l?|$HF/vX` 7^̝JX8ޖ+h]ͦo].&9{7eݵl;fF{JY&0 a Vgiף6hs >u#yL!*P6𨁩k;t0}&{TT~0:=vПp/qIer3W}v8}=]}PIw1A{6EЌ9͌a"~:Aj@sx/3 VPoCaa|fJt Ih)VT |kHzRNX^5I2vŅ8Vbut. [Ԅ^vG[@˿POmK5d!:d؋ PG\IAZ>*`o ^q;3X~ԀocR/a3}L,<`ÃZz,W9f [0 Q j(gzh-R7fMΣ*G(m7=k"V{Ag\ v{phTߡНEep*PQPyD1מg犷{zegEy9l AB(*QW\wG[1Sq'(%mCîUc W /c3k '| hfU//*]KgՆSgb? px)*knxbX?jxT:SN_V,[19%c r! w\]5֟Ie1@O\I.֊F̥z r~ %aLJ[ l,PĽ ;GA`[O n'|QM*t(,,p@}0"eggO!v&~)ICuDCtCWM\cƪ>H2#a\ ;!UHt2p&KM_fW[=rȎDUh dIKJ̳~d=W]I]sphV 8ܵ#2ݵ .xP/TmӾԒH-oNdeZ33 L_Cʁ=Lx[Nv|4u'E[oEƹ`dT]_^Lw?- +ZO렖 ~I!!կv_O?5 ܣ7){Z@etߋz^TPGc /E H~?jI"¢wKֱQVe6TRb'd傂'wZ*ӦýfvΌ`P*g03!->\qJ2aPq+' ו!Tz5wc)3O/,'K2ELu [b#®]i, ZJa5lo,<8r#T[?Fb@yJFY ,,mtO?^";嘬S1G[r7k~We8v8` je7ϱ ER*Ƞl}sr6*$f)?"x<"um!׷h+Ίj-No<[=h}l5 Jի庑*%{'4DlG"> RlDrSr:-SSCf{w!$,Abr2q khivR){R}7J-Jv6 i nni/#$L 9=kJl06 $Upȟg3hQ 'v续$_Hf6ޤ O!A9*ˑ0RU ;_ߧʄbB9`^173N|C^#*i Zy&CgݿT޺xh9(s[[׃dF ̖qp`)mM4V+P0HW:wyRdMZ?D.LΩ4+F;E1-n)Rl%]B8R`} \\n=B r0ƠmĮφCBC2_@k^aԺ:6 kTq0C?.N t$]vg?=5# ,׾-}H#u04YeT<%,\V$_TT=Oįc٪~Zȿe ڸ$ KLsX#_~/C, ՁnzDL/ qI=qsyakr~_tyyIzuhȮ@{ZX@d8Wb"R.H|Mq iN^$$ߚ#ol t'(ds *U֩xe:si3_^( M8s9rPɩ,;ϼ΁3_l<':Mv fȲ5#A 1^otڮ:U*|&F`) J[ڃmJb;40U1+d PΟ>&lVճX. L5yugYZ  p p I% TreapsTreaps.Random_List_Permutationdocument.tex7zXZִF! &]A-MՋhvG"uIBm5־SB^Jyֳf:%MNܽ?5DHi5/WP| .\+L8pF6]Oz&mB ˚`,?Wzv!:#dU{+M/WPjLw4Ӂ` Rwl{C<`zPJ#u8d-PXAVSE:(UiDpm^4r3ףWbm /:|.A*&1x7۹W5$ъtu*01~gRO?j'Il|s8 -Zxͪ"AawB GG`e_LےmY<4'nĜ;e6IKk-n܁.):xㄜ[exOB._,0nl܎y_b'+tߪ|(NAsנS\G%з}Cm=8!<,+СRhy[͖)8mf@9i2{DeJ^폟Y] QDX*8`zm1[*~5noČ٩A{җB CNP3C5DHY*4u}-m̅cEq-kjdó=3A)_aڳN趧iu\S3e$S(_V\Pܧ',غ;)Ee3k faɾT+7Szim[@]a \"ӖEJ1ƈnD$kRS hJApdӉ=G;2a2(TJƈ""'4XB,mwEXOH; ^osK/2]yfͧ iy;7XBOZеzdnBfH<ϟKDrƋVa:6ĤA:: hxp~R,'J#jjNB} AnKz-&j3,GWRMem/W\N;zӃ/MY=HIE!x߱]0(\XnXm]H7{k9B;GԛIEOWf*S`ѷ|$3DnEv%tQ` 94,`.iT1@|\ӕ̒(,u5>tD̔a77ҺPno)(X!J_ zT>+bBrvS(Y1p=rzT&4\bX} z9fO&9G?p/D~_6?GDUŮɈwݤr0dIMz N%weg>cC %0if0iu|qdvIJ|@0O;Šr)]Ag՘M:?{ ZUy=/Rn-rAaԀք6;V6-Gd[*9>-A,9"a_| "L_@ z/$uv%srPEfpP}^in֛fda/^I+/x?hK03Ȉ9Pgc]$)&j 7u&RizOkqF}(c*#}toZX0(\y-;/# Xڼ­^zlFXBB03B}6-MweU΂K'PQkBmFo oڥdut[9Xݙ4d-#m %K& 9 rZ +6D ri PW 3˥{|balA'q ];$"pNf=I"deQw>ojŸ[(J.K܄=b/>v`-:1uf'QьNȥ>ߵcn{dX=XҎKPP8lfTGr]0# BC r wd{n=rݯ+=wP*'*p@YT$Eh/l ) CG;{9KnIC.X4a6pPd՝+/!JAR(gLFi@٫@|=!ֿt#}! _DZ? ?\Т4ky,;JV"š5gnxLJI}ů"aK10Zb?~k63AsB鶶SRnQrF6R :'qz+Fq.vXQ jTh "BGAV uplf︊.DOTo)0_ sܷpWqk =$AL 7J.IW΃Xm57SZ^kQ髂 !Z`d4ͪ;xZQf,7{Cy? O%Ysj?dXpC*2f7mLE+X"`8AE]lh^{ ^ZknfI16yBVҞ{5vJMS J$6nx7\ -o tr upA(he0 .A١ ZL^fw=}V UhedR-bL? rSO V- w{g˛}8"R}7aoV!͗Q-Oɘ fv5ϓ (?~lD9oopAI9/Jo33WIS*xu.hqXii`3H\&MHx#`1cqtT[-U}ŖCsRK% D.D0pu)T+=1qf'"^zA=!WQ-`LkOiY(x#(Tkex]894{ "q aTmZD :eۂ6qUP#+Q4 IY5ʈ֢ x4;p*U54jE|y70`oצیcVMȸ iSM_kDSȃ<`ߐȜw9RD&Kmc4hK}WH)GIh5fpkT<Dq#[D=P+*?)Ө_"IRxAclJ@tMT;h@)&m?˿ARe>A4t4ʹa^; f D%o׭ʚܟ&5Њ./ΣJLZp%QB"wgJkf=R|IN" .2:}C|f@],==*y* |R;ySlgBԈP;{%UzbMFcBʤ+ YS^OKu0ϸuѾKM:Hl1g?T>=Ŋ"%$۸_*ѭQئvs 2Iy Mm="'"i$au V_A˼OY(5og_y1O˕\`X1xPx pcrj j9TŒe/bCVG"iПC<'/U۲fk@]^zl-\,õGhn LLR^s*$nPq0E}V}×ޥ3NX0/]5}zŞp <ush]`T;=&W8vm̚{y3ԯߏ~H.X]C鍀~Jң絵gF_O܇eBC 0GiBY#XC_'`z&v4>tNT^ɻsE^U -\!Aa 14bc= ~%H'L'P eɕq%bOYMZY0Ҽc:f[bMxEq ^L_C cM^z 7AOZE~ kO//{^PFerxUc}XqϜ&pa)b%#32?Հ%V!^3e&O'2C>3\E=9B 3:{{D8mpU[b?/I\ "-mAFy+<$ܛ6x#dqj6~;vΣr9'fD:'/.z٨"r"gYZ8584bfd82e75cd9b5778b5daf27ad8ad1bd64bc9c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 d22039920e3dd5514e6a0f7b0b03e24885e7e9c6 a03c8faff223c0aa6a1a6dd5212eb07ed2f06d09