SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 **K<$ ]S Treaps:threads=2elapsed=56.157cpu=104.408gc=4.660factor=1.867zXZִF! 5_]ŗXf1-q恈%kV^M[-dwPt#`Nf #w\ӷSsx˂]$3sǯK@SȉHiPl\,gNSǹ#=OVB ~e GrI]{&0A.6i6^vZQr# dm#Zi@{,f&L(y0gā`-+'kon.l I4N _&S7+o۽6 Ճ^55'@+\:ɖ$Kk4i7tym:H  *. ="/QGjru_6.?b:Etqb1qezK@لL->dm.nmxV<%]3K07 K><#-ܬDeكE")Fr6Vx{x`Mф91ʕk$XPsF5ѶDG'Gw,;ZH-c'~7Yfѡ| [˓\Du1rCMzi߳bdS&]Zt7lS?4n;Ili` %#eé2i$ްTZޏX\A`p3'*af&dJ>46gZH(EysG S'< pVPxQjR94ΆG#氽swճC%ARPz__꾉/qN9ãVtǕɟ|5^Nwq%}¼nvY4pvBcFq^qv8' ~܎fjf^ckF;8ܿעdu_?v6QRyJDȚu^\c+"Fv gZ;HvsDB-FĹ)~s`T-]/=`qhӺ\btdKh]:uQc#I}f~xZdFط$-9oOr. ,97/KSt1p5n'>k&ƫ>L!Tlc V5+p^AriѴv  j3b4gYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻LeG#NXGλvqh5W9e>ͩ]Nmʾ =:c&.%^h-,T3DvqlZPWPo8 :HV+BpHjVHPT3Iqn nr??"g3CPs6KkP&ے ,/K3HX]<X3?Dw[g^::{   TreapsA3% 4TreapsTreaps.Random_Treapdocument.tex7zXZִF! s%R]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*3f 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(Y1pTJzez5"#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&K odP9W 5xLzzvjFWE-I0(rWTǐ~fJVү(S۩ܛ>wt tep-3]88JE%RKWp:04CEs(߭y@>w2+a U}x0.&6U:剡6.X{%bs.$3#(ج8!_<"9 +Q9_ZDJu'G e;m9b[nd3(Vg!HeLh\}D0DC`$W-և &!ayZw C= +f":~h0, 0߽AE*v-gAh,_2IK ֱsJ E]);/q֕5蹆4ѼBo oW TV:p66PtCjj]3t>LobgYZ 2HP0L$^/a[Xʈ rm4/nCFy*-2(Ԥi%WbPf@< MP*;h`RHtο0jix"-M@!6GiMp7f`5Dy HGw #Vo3c~LSax1D eabǍr q̱= qh>f?!=`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^YHyFOW[QT?< 6t{=NVNb= HpKH$8KT!j=()He1GDD pU+GZ8'|o!JJ {)h>ru($-rd. |5$?daz\EڊTDC0s=XU}yfWi؋ {,n$=2BDžmVBϰO\$":/wC?kȟdl܀UȌ/]b*, BJmw*9=1BR+H>8MCՠ? *y3I(>pk'lċp}Xnb`P$RH\crtqAK5q>4T1` sa)P)#{4_rMl:H3 oh LoM#cj!D;BW۟_thX2pBf,w[&2~eV(ʌ}V:*cs!e{\=\yQLJLPX gt{+]22L$N69sW]`'Ԁ5Y]:mǡI2kum 8s|"!ӘCI#lP1OCrj< n5)CM@p5kQ FCI!7! ?_v i@]ՙ^h>CAog=cj1ٻJ)y*u8 l$H@X 6>CZO_X%")C/ya8EVlHG 9:YbŀB޼R^o+/$؋9ۙ?8!Zs`蓞P0,ES?&OIyjBT);ga8[FoZ@6SHQE'cC-qOS5D#ѹkO8\ eFe^-l 3w=jQ /|!*{ryB޶ic%^.xC08&4q`kܺnxWxS M4-0Dpc~6˅X'p xgLրȈYHҗo1]K:ޫ|'QVj$I{DŽ/drSr#J(e/5SI1Pj[Ron!Ԟ /!r4O¶r!_2?Xםᡜ9[DCJA$YJw (,eoݽ.wn2+"vyCQ'!1Q.WGD*$@GfÕۣ'yItC<ٸg*Y]zNJ>{gYZIWUNPa|?xoِY2 \M+l tXgMXf7Yő\j[+,׊,B%.-^&^G|1e+LrW&Xq~h5&nu&.PHᎿ]qD5cUL 0XM=ߠC-dP+XGLoyΣj6 TWhʹ-N4 9 |(TŲ }2H%J4hTJnѿlW2>U|,lrXIQN:s S7B=jJ?;nË98K*#%ejC"eآ%+C `=a9ehCG]8<8t=ɖ@Dy?O66ۥ&bԙ~I!mL1ż1j}eB[,_:0q{䈠ǡ~I,=gr+ JiV%ԋaG,< {ff`ehr+!Mg7wfFܷqܫ:Ľ7G+~0oCuF2/B q11$cH,֩4e~E(C+hȑ6νd.d(8#zTwtdɭ$+RƀxB0rN8NU+pf"Ȁ; Ȥ1UC'.33 Q0aJHwMB|J,;k'X%O}L\0"73F|Ik>@TLO#/<ޗZV8N8䛊)0} ?uhaMvג𬙜,j4p k}?/?`Ak,~΍gwmMFoda~1\ FU`F |*d7Pk48Ӛ,^N%>^J)o NJa|r4śMގ$1##W~vA:ѾF;b%9R;s>&8@\wN񠇥`! j }L*vXc 5VioFH[<WD}cRd,G3+\j+ xY o&/fBӖ mi#8yNKvOGr]'M8XlXj( ʸk١8D ZspL 2E/dXZ X\O Z2&~G]E7Eajifzb8Y]6{4] k%e{z9BJg>F߱{\Ȃy\P(%QY^Nݪhն lyɏ S⍋]8B)>j;H8E>|jF 믽8lٽ)큇M=2dJPtN82DD ҪG3ol5ug@,Fx X"5.* br1si M|T#:rZP:]oTK,@EũRYu7q= əWUV!ǑusYe0կGQY$ihpyy]Dz ͮS>89[5m"pOõ1Mj1b'UzX狠QgBm]#<d[BytGmG>~0ȷ,%s%_ag a$[S@'9(hp1Օ3%l,6a"{暧`?9[-TK`֜n4u Idž٭'^ Ny{"yא,՞'ĝa,\158^(ٯFMN\2%[!~=}茪GW)7Z'}~GR @M nKꝮn50-J_CFjC::CFVn\F(0qgDN}g/Dm{S E[Y \ ʘnnVɼEN>bT 2,SЗAPZL=ISW9*C,ȟ,6}̲!4)H ;jsS|dYMQtG2MW}%4 4VFv~*Rj?FHVjvpU5ϱk~1{nժJBD>'^5lb=W [::~ 6agowb),+Ohsj4+M5y/GsXlǚR@sFDpzgY;bc;eBKzٮT G\]6@Ѳ+Y?u2h 'j }eAkKڕW bJ6 {q6*XV4ZR8\R[E@{P"'g_I?#eHܿės0[  %%tz9VV&xJJÐ槐 ]*v0Y `2H~ ƈ8'ZLmBI5Qw)U||T9k gV*ҨPXkۏIZLߧ"84CzD]%< ;m0!)ҐuPB<:bB[ZIQ8簗?JcSAu38p')]}!O/a GsG<}A鍮 ~QBi,Ћb)x6?ɟR-*c(>fwhB§Jّ*}6k:b=/$i [ѹvn5UdRWt~vs k(nj=a<7g9]OB[cI8{uл% ^{/:ov[@A huVģD)i+<ۙ) *;$./ӻd)|>|v&I&;pgYZ  qA3% 4TreapsTreaps.Random_Treapdocument.tex7zXZִF! s%R]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*3f 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(Y1pu$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׋dMoMomyf9~kﰾƬu#PfՃJ]cVQLyPcKe-D)4W?<*"z*~|+?5$oRQ.g9y7٧qACA`g1y3oHiZr݂1? pX؊a0d'"#?mHssUn1bY4km橺9Br paվ⽺:HXfE< VU$9/5 *` Gl5:t㟗 !F4 ?.N:*G@qSaxpc`Y> YF2|^[zdޫ ʂs] S}r~|;6vb\毣cf9HDA4(K)jm R[@Ld*IM+Z'+SzއZ `d2 >\T`X ~s-);MdsPPo Mdwg >( {A80 dmbrt@#M"DsVVdQAiZw'XpU:9qHۇlڊ!4Vvx1_}w;*$ I?@8[/KjL&fϑaI+DĪ< `` lʦ&|xiꦗl*{ s8qT%Y[?T5̓~1e3tᩏādz^0;1FsޔPI!|u)UoxSXUj(:&[Blڅ 2 ^A^v+3gwYGȺ\;)]c8i Zطb m ŠPo8쭙tzaC)ΑPv}dYmf15c?d-)z¼MU@ 'u 1+m)GݙGrV`SiE)h~Q[ dFr\->JQ~ȥRqj 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¦zMWU{r산>ML?ےqӇtk}-r]lSخ>a<#X )# ȘT}ߢK 'K]+\ҞrP֌M(fz\)wr_kTl~HW`uMClShv]V*tLV;A[%ZPJRq1qtj,GleҸQwhGDX-J ~54ޒS{VMVbAxL߳u]3ifn ps`6=* ΖEzH\PHjZb7M؜)3d@0GUtn B&IkG4hJ ]>N8 9j0U_Vg`WNڍRB+ !M?ku_ 33hKU\zA!<" e+>U ]FŖ.5!׵V@C!-6(Bl S@ĉ3Ukg޻2@bx%{99V60=Sh7ryt`sL:"S EXZxX]g3oSTotNe,Mc?W*ے%SidtD%Ȭ)TWtx)=/Lb>phc%P QB;\H鰮`TKrR/KF/2q'+迵d{2*~6AʌYFJL503zJJm(Cj5%:?E5Oy8fyEApBFjw@< &D;n[iuHWx:Uq* / m.+q4Ц*p5:PogE4c]&A6|K&S7_ى! #߀Sz]7z8ΑYȔS^c~ V!aT>3sym"(K 餼#/=9v3zgYZ !!A% $TreapsTreaps.Treap_Sort_and_BSTsdocument.tex7zXZִF! 3 ]A-MՋhvG"uIBm5r$k Ɂabtx"S@( KfpWV !Gk=iPhтGb,F@^xlKPni' q zm`Pz54CYy%[@=@ag)I [4ܱ**|vĞɮ!WsDb4.7Hu,("iT:xuvI`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] |%)@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 zIZJV- 2 t;C$7D9ѯwT6)Á37v-l*lp !gJ.h V$V8Sတ͍QӦ0:5rZV*ax= 7y[1PL,;LsGC2YW#Chw5;K|)5bY =yH4LDz9BG% xڃ{QiAs{c*Dm#<7Zqu>QVC'8ON;adQE)wuـޯM8av/ GI-1fXSh_孕)zao0yyӝ`^Fkl5r0Lfd>r厵L\C/ȮrkD'-Elzk<_4-48y_LSpļIy,:vNwҙFݙPJ}p9pK ޻5;}v>E Э͇F  Ag N<8Kd}dШBqAQr._B`ЎpKL[p }m%Sghud(Ch\v0sRPgL,SlĤʣ_)@.0nv&c,ArҦpJ~Snlgwd0o*P} 4b?1ѓlwWhҏ߇ P 'p|)xς@Dfzf>ݞ!,nI+s1ȣieAĺE?Ec<$k>Mheb3\P{ 4 ƓkDlagVRݤ:Dkvm|(LA3(\Wg?7Osϟ[:=eiMrMo?7ŠH[W M#aG^+s %ڧ1 Xɬ*HC׹9fGOdvpTAKO0O .']Wh) ݦm="=lI35h q}W. g,'jF2"=rt ݇mW_e!~ j3A2~nY(wgRJ@#BJE#8N1${j4۩jM*Q8bF#0Q)E uKgYZtq#vt irEۙ,zU^ ג?=_X3%0G[UM(E{󥛓ɻYQrh^Oiwd?)/\79ʦIx.(Cm ~-ĸiTJrrӽyW|Q095!1aMBv /JuZ:GC pYsa6 kJ}5x?"ڧ޺nswAEֿ[R1I7j ]@gYZ7zXZִF!  ]ŗXi%; |S%3pz%T}\£ZJKqs!^5-BO^ 5(& Bdӛ+dؔPuu-u.:9zw̘S2)z/cQ5iC AS0yϓ _tߛ/k~rmq/8 FX5h~vY LVp' q)?g@0G<4(Chl DΥ!> ,[pk5x06=fpIb 8Xs8 , YmmD2p֚l#^E] ׮ EpO'>f G40$5wO 伝ED@ÅST0Fo.8ē$U1msa4+B"И1]hdR*?um>e$0<;RԠw}ͼOD`PN|@&T9FcSFb_z|nk)4Zc.t$62EEAءIX_[nWdق@' ~@I u>jK1j&O2HNt':w+~WWGk$ #4A,sGNFܚg7x6 iJ+.KJyب5ꆅB:j:Iáu⪆Шr:P3*:% s3*͎\e]-Cb3jdG:c@&є*} wUxZ8-^*aςJCU Q2[AVDr}DS177;ƭIy"!6jz3c,\(C)LP7OVk+'3/m:37YJ.4QUh mw^ k6Gg1߰RXG61&qPq7N%oC]@>~B3|*esx?%ڸ b䐩8U_&XCŃj ȗfjij{,c bTi( '~Ri[VF$"n-1D:4v,]:H>KӴf3TY ͠) 1PI"l7O}ASѳ'I#3h8ok-M^|(% 2a:+O^@X ت>"罻87'ob+gГV [Dd[Y79IRDMX38F27 ⬹Z8MO"=ڨ_`(&?)5:qT>ɋ`B}0zV潝T[$F.NaWjYV$Hf <%L gFX&wOW|g@ q߲8sXq{ImILB}&Vm42X%PǠ  a=6 nl34 H Gq<;1ὀ4zofW-P-m'[?;?T#AXmR*-yBhe>v1Tڦ>]!A`o@%>ŠYy ~)X9D[t?2j rsRy4Np#0׎b} ?|JN̢'>j.F5ߟZ^V8R~_dN~Z\S'llAN'en9D34o^]z]t  (H S