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 (5x$ | ]]Amortized_Complexity:threads=4elapsed=57.610cpu=192.216gc=15.6367zXZִF!  ]ŗXiɟO}M:; AtFj!e+nU1xj9wb<>K#㑡L-)Zcg~: OgZz w9_wQ<&<غ#Ɂ1Sv{ȁG׳j3ӜշȿJjYZs^K_B!i*a+f'C|z~l_`RWQV[ccę? mI\jAjm'Z*rgs~~ռՄ`1vL\p&s=M=ҡ`V#xJ>]U2Z*cvn,pjA)NKś=VmVsB}wtOXz: IaWh9/457W[~3ӈs{naǾfS8"fj>ᇭI0hJ]Ot! *ŋTj_5EzsYXZ<4#( WéRڙ@Gb5l~+9??R/ aR7"t`z)3TVtц KN=qX91P!?BBMhm#|hK %ln( b7k><7F'sU ;hK\˪SkJnGO!¹~rHyH.:({qɢ|zN%LWGi:(jj#@ @rH%ALn* &[*7qH/osQb|"S{VcaU ^3)}乃־e]4Җ֒ *V9wg3vϐG25ФH8`#?GuASf!!"+;y@8rAt;b4Bι(0u5R/p]F;*n@[K;`8"FG Lsץ/\=OԱJ$Sޞ.>‘t}كLq yWa ̮%qfɻBLUw9G8d+8h|h"Γ%Xm2LKɷr$r0CX p# 8nby8O˚(-H34H0eW453$$/JA]`77y]?_1?+acia;DHYz~.e?c&c? IC#9R7Ժ8(޽K&5,(=>&]y'3~P:]V(u|N#{ <_y*/*¤f -^ۉ,s`79/!)#]CD1^0[]'#ѯl260q ';;^,.O2l<ǚv;ω$oRg+P& j=[CM#$9@_UYz%K*k4mFY|o&\J㌞O=/ =v<-]g/O?gMDZܥxNY H*))Tsb,Xs-8dj ^I9Fp|q&QiX@vN9^I\pm˕,FV[EKOj4ztHGn!٭VﳬvvusgXz'h]߂?."Su|ZX#78.Q%?۸@PWqmb0z?{θ"UUiOEbESbZ\r~ݍT( `N>k?IpE ęVKnFx]6-k mk(|5\@J' N/6j@ !9AadsSQ#jK2vE.X!k!P^[ sѯ5YjXE۾P|YF „lwd3HU'iDV:NE}zu+)vYs2 J?I1 6nױ 7E* BĊa5AhwR(*>oh`Fk( VdxS]lN}A?r984\%àDPGHD ׅ>e)l c͚}8׾.Yg<2-t)_!V/]_C ZdD 8ZBA~DZ0ۦfCi/rJ$ڇ $B=*."=<r"k ף >7f;Jcu5e/fc[}ǰd',O]Tڣ8Ǿ"QVOVh}&_&0V԰s'T,WttcNc६}i?4֚7Y>k> r!pʈ}{mlaMx|~+ % \ClZ&<cs:n~=Ux=m,o%A¦t{h_j/ m#a 1ыGAgR4p oqYU"dў/Ledύ0B4`ߧ;<"6;Ox!!m?VƘUƪ}\ʕp:UlF.](m./!PAY~Éꍂ$Ͻ#z詡]]Y9+!ծȉFA10S{'881\~!4V'D eևRRf3U*8)q]3:רSQb<>\‘δ鎅~L*}2{dѪEr-@ط'jŒGwZ.N4qDN<|NvQF; )yLW5NjIf RQ;y{֓Ȟwiegݱy9 slr2b1<4'{ ʞQo30 PbU         *  ' }    zZ :  Z  7 gnF5M%Amortized_ComplexityHOL-Data_Structures.List_Ins_Deldocument.tex=5;%Amortized_ComplexityHOL-Data_Structures.Cmpdocument.texM5[%Amortized_ComplexityAmortized_Complexity.Priority_Queue_opsdocument.texS5g%Amortized_ComplexityAmortized_Complexity.Priority_Queue_ops_mergedocument.texD5I%Amortized_ComplexityHOL-Data_Structures.Less_Falsedocument.texN5]%Amortized_ComplexityHOL-Data_Structures.Priority_Queue_Specsdocument.texE5K%Amortized_ComplexityHOL-Data_Structures.Sorted_Lessdocument.texE5K%Amortized_ComplexityAmortized_Complexity.Lemmas_logdocument.texC5G%Amortized_ComplexityHOL-Data_Structures.Set_Specsdocument.tex953%Amortized_ComplexitySkew_Heap.Skew_Heapdocument.texN5]%Amortized_ComplexityAmortized_Complexity.Amortized_Frameworkdocument.texW5o%Amortized_ComplexityAmortized_Complexity.Pairing_Heap_List1_Analysis2document.texE5K%Amortized_ComplexityPairing_Heap.Pairing_Heap_List1document.texS5g%Amortized_ComplexityAmortized_Complexity.Splay_Tree_Analysis_Basedocument.texM5[%Amortized_ComplexityAmortized_Complexity.Skew_Heap_Analysisdocument.tex ;57%Amortized_ComplexitySplay_Tree.Splay_Heapdocument.tex N5]%Amortized_ComplexityAmortized_Complexity.Splay_Heap_Analysisdocument.tex D5I%Amortized_ComplexityPairing_Heap.Pairing_Heap_Treedocument.tex E5K%Amortized_ComplexityPairing_Heap.Pairing_Heap_List2document.tex V5m%Amortized_ComplexityAmortized_Complexity.Pairing_Heap_List2_Analysisdocument.texU5k%Amortized_ComplexityAmortized_Complexity.Pairing_Heap_Tree_Analysisdocument.texO5_%Amortized_ComplexityAmortized_Complexity.Amortized_Framework0document.texV5m%Amortized_ComplexityAmortized_Complexity.Splay_Tree_Analysis_Optimaldocument.texM5[%Amortized_ComplexityAmortized_Complexity.Amortized_Examplesdocument.texN5]%Amortized_ComplexityAmortized_Complexity.Splay_Tree_Analysisdocument.tex;57%Amortized_ComplexitySplay_Tree.Splay_Treedocument.texU5m% Amortized_ComplexityAmortized_Complexity.Pairing_Heap_List1_Analysisdocument.texGB/:gI7''gTv#h*T40QvpkWj͗"w,vBXZ`M텺nC*]{ ~qgkw1z17pɃ{LlXo3lHG$R~%mcyphKҒKRS{kϽr&t!S.ZЦy2׃_ hvˍ9+rdosŽ;LFѪ 7r/YWTϞq"Ji&̧k bo2jُCp77 dt~'LOȕy)_oURz؎+ 0ʴՅgishlZuXԜnЌ>gMXMޟscB)qEJo!(*6L"M Kgo4~/FY̓|`o&2 XzCīLjAHH$|UaaUIRpWWח78+cD9ޕӼќFDu0S'l1vH?ЗB .qp2eC3z`_]u{GV6a&]Vl4)scڕ5iDY֘$o lz՝Ё)idӆ{.& "HCZ(P,n;Y  zk̼mHFU)UI ~040_hlj{?Z)rӓk 3`GD~p6.h[X׉7<?[~.%d&&~BRJGZI|frTsYY/+:c^/kxF=W}Gw'chC\/G,|Pk#`v%nA'N֝ڹyid{1!]~<,i.}m8K`:8$|O<&,0Zzxru+\U7 ~|&x; gRqyn[%ONmJ:gJǡ̯.ђt? ƒ4`30NH$F\;3`U0 J GeHIKw߁RNFg良 w^䛩ڬ6뮆οtyzةic+ t`|rjY;֓ӼjK6/-*P2et q]OhmkW $_$J-"BvmY6B[X:]=׺0Ta;L_ZlTnE}OOTQ8 b(gwq]NFl |JKA+[8e Ab8!6fV~%nq\mR^:?ūRޖ=_"2Oe0DCI8%# ?dl_c6HԮQD4Ğlq7qr@ϰRsXThsn筘M8ȳ8ova斘]ۍ^ۮF,S4&2XF[9E: lHٓsFVl,ڼ9~<ѶX&wi <񢾂/>^F",-㓶ݠtIh\p(:y T?og@&"'RM/A%\bc&ԁHh7`Uq71mz@..GY $( bphs(C~`TlbBRiM媂g%ʙ<3@yU d?ha&tUj*V_k >m؋ﴯkYiX%NsLɩΠTDv eT}l8:$4mE`;Pw9c-${P \ CcߣH6_2ڭv9RgvOdFZ22ϷnBP0J7zi" QI{eBGK%앏ۣ!?ϐ䵐rN GJʣd|.T|47,lt>n?Po?3- m9Lմ-m+4DoG.W\L:D}51U1BrEpجy PEjL䝢T!Vf"HE>M&[Tl8z4ak;~j "s*`zc Vd'wLT ޻,h Κyރ9m6%~9kqO z'Jx (|ӳflu8$]dXI Ul+eEc We&f)4u靹GZ+XOe,/X!à ;DۭD{A6n tLt7|b3m4@mZ<{[MJ>'ǿ:QT2ʨ;/W]' W\g։so&~7)YuKv}Je|kB;ʹ#7e+Rt4[)GW~M@ֳ3A F&vk)8 c?M9Yb޿H dBM( 9oAYq e| Cc+%s4lU (b7!O  ߰rD)B 낼$w?$094$~lD3tvbɨ;ϓ&VG S μ4K> ]+TDo mq*QQ9;&g`~G? %VlMeʻmhcQa֕>r#$5@I"Vx4).`)3uFy9Gd1nB\m!qZvNdž.mk EfCLa26\K75/YIxAdf'ƅ@1m7ow;A=iAjpt.hcǐAa]g\0Wԏ 79R p'DW`Gэ9Pq ?uqsdodhUө8uq32zڷɸ|>.N  n=#"˱`P*Aɰ&4KP "TĺXAݵG-0iTRftn]!_GJ!J.+P"]xkɿOR*OR3ߧJVɨx|h ~?p*AKͮn6%oBx8BLI3@k$Qh;p!ٜ) 5ri0dTRó29|4Өr (2O*[/_NܱgYZNEϥW4;3 '4[8u2^yMÁhA辽4(_6‹=𭚜R$6SݨM#Cwsd։WXu DK {*#or/_K~ūYL߭WXu A#g,~;56iE7F6!×W{!UJ;PA)^5ڔo}U)o 4# ʧDMgX1[ ɤuծDWaB. dh$wtOaY7B #c& ]ޞKSOSxFbjIS)#~ͶAM GLeS<톩( 6GFtyO;hUB\iQxytZD%`#SXfꭈM9C<C^'SFlG!/IQ+Sw/|yg6@qww678FL`RJ '1J=_{(X)rvBXNGY`:EurkSOƦ2)a׮ɷ9F'?.tz9e [X>:mg)BΕsRiȞ9ĖGL,H+9=MD4T+*'d֯`M$$Ê.UH~O0Rk;v|̲wG=q)|z`%- g&[D;/IYDu{3¨Nõ$F^`|%.!4*P}q">d\U P)R >y$h TyЯq8AA0Dn=Wf|TH21޼@/ZFwJU2Di( '48%w:&W\5C끜v:^pc;ᩊWK#OK8 ꗏl7l|n) Yz)~9qO/bf4Ri4\Gc@cc"-$?d1Η\GjQƵK) Cq!谒5^Ezt9w1r'Zj笍bZ%DnWQ ]9lb[HLAyYyr QjUe*T*N[a+nmڴ@S16NUslYYIT~H1#p W؅Q6lx[@H5D9.;JC U^c G~/Jh b8l"`:JU*zD`x6. m"<O]HQ 3DMI[VZ+_v.Ф;?WGb*K$_tO?j|of;lU3S& p^JL`?R& @>ŋohrTt-s:( ._5-qJ%r,|MSP[;)Ϣ6ȓM1Uiz8`h_(2ΎEǯ/0[9_:]%Jv>g$P'p&pyn"{u;rF{t2^QqGO6u``4[egGq;01~2_|nxwiHSdU9J-SM(8GbB ]|3_lDžjܟ?;W\DU<{{C !GRSH(ʞ ![xT~]pmS\6NL˄kQJAm M6,)0O_N2K~/(kCㅯuT 5'jy$Fd:nG,37@7h^ZQaаp0򄞊As&! vu^RNboH2fAze"#/ +vҖ9VNOΔ Gjz οHt1x٭K諹t$+h0͉Te{>s~tEګd8|xs1(mvQ?*о<26)K@.?fȮ&SS ob2+Y'\ȩ?zMVW8Fv/=n8B A\Kd_ $ 02Y|ό*wūt+}4VK'F_ ϭiWG=Е8v܌NOb)H{N . F͓7HQ79q^?qE//2 DX=⑁Ī mCA4ߤը%߄m~gw@A>MEusa}h) 9慃ryv(}SێYv'PjeS>Bi6OggQH͵He1+Jz@.{mp-^.`+3{RPY0u1#luUPg͡gS!J2bkV*zh0Ax˗c"9 _cPF1aF4ax 3Zg\ XhRaRke,~c1E{Հ՗Sed;g#9ٻWoV;o6Kw/UNڒ'5@ђo&:hl C3$/t]A]@HJ/R۫^ZmlUaA,2Mn45a~3L?OL]#Sߋnݛ[ C.E0xuJĚƗGXki0id}4^0ngYZ t5m% DAmortized_ComplexityAmortized_Complexity.Pairing_Heap_List1_Analysisdocument.tex7zXZִF! )]A-MՋhvG"uIBm5D*W|A>? IC#9R7Ժ8(޽K&5,(=>&]y'3~P:]V(u|N#{ <_y*/*¤f -^ۉ,s`79/!)#]CD1^0[]'#ѯl260q ';;^,.O2l<ǚv;ω$oRg+P& j=[CM#$9@_UYz%K*k4mFY|o&\J㌞O=/ =v<-]g/O?gMDZܥxNY H*))Tsb,Xs-8dj ^I9Fp|q&QiX@vN9^I\pm˕,FV[EKOj4ztHGn!٭VﳬvvusgXz'h]߂?."Su|ZX#78.Q%?۸@PWqmb0z?{θ"UUiOEbESbZ\r~ݍT( `N>k?IpE ęVKnFx]6-k mk(|5\@J' N/6j@ !9AadsSQ#jK2vE.X!k!P^[ sѯ5YjXE۾P|YF „lwd3HU'iDV:NE}zu+)vYs2 J?I1 6nױ 7E* BĊa5AhwR(*>oh`Fk( VdxS]lN}A?r984\%àDPGHD ׅ>e)l c͚}8׾.Yg<2-t)_!V/]_C ZdD 8ZBA~DZ0ۦfCi/rJ$ڇ $B=*."=<r"k ף >7f;Jcu5e/fc[}ǰd',O]Tڣ8Ǿ"QVOVh}&_&0V԰s'T,WttcNc६}i?4֚7Y>k> r!pʈ}{mlaMx|~+ % \ClZ&<cs:n~=Ux=m,o%A¦t{h_j/ m#a 1ыGAgR4p oqYU"dў/Ledύ0B4`ߧ;<"6;Ox!!m?VƘUƪ}\ʕp:UlF.](m./!PAY~Éꍂ$Ͻ#z詡]]Y9+!ծȉFA10S{'881\~!4V'D eևRRf3U*8)q]3:רSQb<>\‘δ鎅~L*}2{dѪEr-@ط'jŒGwZ.N4qDN<|NvQF; )yLW5NjIf RQ;y{֓Ȟwiegݱy9 slr2b1<4'{ ʞQo30 PbUǴhTfKsjO\SOL8G}2]e10,7E@` A% m57% lAmortized_ComplexitySplay_Tree.Splay_Treedocument.tex7zXZִF! &]A-MՋhvG"uIBm5ȧTl{Z -o3`<)xDnޫ1ß]T"/FFK͐ԽV0sūeVf7WχAt!DBopAXx+*b[T:]c"$Nhz)Bvk@X\+,9*7 sw%֗yC3(sP;ommo3Wlm"mٰ1Q]mї;|q c&;hGzڼgr~0 >| >Qͫ}I[G*D +V  hw*(m5uXXv@BDymu9A+NѵeO!Zbl#@b7n{%&S|`m kׂ.JPBR6&$ l60nc/ 3pt+!g |J)t\vMЯvʴ%yӘ 8O/7:t 1x/©I`]9ӛI%UM9"Ud4ym;]dש!`6ȏ6KaNDcSA(:%jvvkᤒjlzv9cNǙ ްQ0:8qgC}8X$D*Q!x<Xv\v޿?W L'- R[)55;MMK2y~4 h֎mt}y)+Jx\_hNH^e4/; O܌6Fr'LUHD8VRz?!E+C /YĥKYp3Y{`TlLMDO∆|yQqJ4KSaL#[27- \z?]~X1)LM@EStF (:&|;uu I܍c1YU):%cę˃@x>E,+km?Ƙ<B FLXxع摁B 4>:jZ:'Epg,; g^O0UYtI=ҽmrtq'ier&HZ񠴼_.{c}7\Ck2ѣ+}Y.[iJ9|WHe&8LS &vb,r!Ԫ)宏zh!*%֊;*C&7b. E <- yT,w4n;K%oy:{Noghk1{ @]W6n_!B̼+ 8%osq%Aј/|YcY?240iXJ$eb*[g8\eQŰJ &BdIh%.ͱ9["eSf%8,H|ri1KPʠZO큭ssbL_W8=&oUF62%Dg\C %ؾS3 /N޼ڠY?t 7^Ƴd%\sv+02cm:&QHhaC\/%oikԭ$%m]/U>!gc<).7+"H[;[rLRK_kÁvG. 8bjff<'iI3ě1RDIlv=aECDa‰W 4TLӜ&lTVnn swiKodQjsH ,uVIw{hd26Ӟ# ݘ>jYĔV]\ӏFjz1je >4L710lhaQ}+ԭ3#wn?Og}2ȳnA/)@g>EJKF;J E̘[#*0uW΄s ojtO1=+B"M5aop9C}j.XV%욙[bNS\kCKv4qzƐzL )?G=i *3''`ְ^q3AWZPWpZ(>mT1++_ޤnSi*z[M\%eﳲ1P$H&E(oK%uqDsv4)w3̔5L)4 Sج+f᪖zf-~@BMlX.haLuO DtX<7UwWm(vӿ`p|aqaaڌEb%D[*Wp뀭Y"825uiN"՞\ fc2ȴfb<.WL뱉;#Wp!kd(ҽs /2-rrC?=%l/g^՚h{O^ɚ9,QL2/Mv G6Պ Q9PA6;]RPI[M] $e5Բh> NesJF)ul7Wl7P, 7I/I/GBF}ոXvT"mBb RB{h1~ɳh3pT ct %3@37)M(GWOQ4%q6j&m^a;W%]!YZ8XA^D[Fp(w[,c=[WMo@#M\Ram[簋Fistd6AҳAm(;j>F5scW g3A 4!20YuFM8H~1"'JTik+gL WjeqU\ȁ+Xhm.ʀD;pi Xs)P_׶ qVr|)N4~G 6O'fӮT*z!O)`H6 ٨`R8{\`NW%@Tzv8`hrڣ ]麁$*^U}!TĄs,NȮ!ݙrh_CIe8r}dK|y ʥ1w;A>0dQvdA X bt@jt+,u^NHY\_J EA딶h~ÑքS⛹v?ÿl^fQ1~~UJXuPnrY/ISo9B ̑Œt6J$0 4H K Rg{ %ufM"r܆8g 00,l[X<#B{-#kQ\prT`@&_!&>f6U3lI"g(zk[YCupjPk=۠)mi|L)4sd eK=^T,Bcp^O 2-n}CD9u=᮳j {+/20l㪘K֩*򚷽62b5ƚGOyee5 gVONXs6q!ȳ0c 8Bx VRM+ ]}Q;bqGRJd"]": [A#o *JՕ6{R92OJl Ay@l%.nNؤL*~Jx 'Sɝ'P慝۞^ǁ Wbvt!{܎( 'trto0qHč/,=amnL:uuœAv,- >LKyOx) uTm]{J]9+pV @Ltf^5ҷFvYX)3B,&րi(y} y״=5ᵀFQG),(x+]zCo\xyR/Ta #6ro@6eak1rz6^yW2$K%j1X̮OZ+elfeky;C d 6ɍ\oʸYޅ9V?_˩W3rblnSؠj》LZweiV8&ǁHJTD- vSâ]`IFJc*-ۆ ,hE18 +X&J+up/gLh5!1M ݈ PoJ}LF;ԉЁއlePPL\vJ &"4׭$S>u_܈є; j*8F:ViI6c8S!7~KB댶g̙fڔ/9)ɜf~}(EA?_t*k*ݎ^"GvߖE.p'"IJ^PkF>uOŬm~$Mܰ1~i&UqP EHe'Q)DRۀX+ÁG`"6hXݹ˴@Eu[GDd $mQϜȾ!928 鲾6mܸ|WWgR<{+h/+^='uNI_R Fimq 28q֖ ?2M=x*qمmfՏ*uiaO#4k}Q{n$D&ۢO!{Zh}spT8+9$Z3UA5_B7qɡyJW" &{#.ܝl:a6T`|p*Rn7.Luܶ"w S&K=4;goЦR>K/{hk_B?[-17v=jR ၊ ]t۸y$ʡhcs)4Yk[ͽfA 8b}3 \fy[qj8}Gmx0-8)vb>est /t1uZ̒2%zD~".mmjv5,xȗ/w:ܱgYZ QQ$5]% 4Amortized_ComplexityAmortized_Complexity.Splay_Tree_Analysisdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȧTl{Z -o3`<)x%g768*xWF+$C{"]1HE081Uk3ш++=ShnZU/^pDj$~=0jt>'J_1q3& @~(2s'B&kŖ+3"<.By1+޵8{M6Yq}#rKeف,:BP鑐؇8a)鎧-p=D}k^HIdD{כn6c@Īd!*tr~_9 ) ʤBz+|ZfoC7z :TS/]LT'碙š?f}lٷ%+-mo)8mJ+"%jvlC'}OU ));'Ws.:wn631S+_5ذ9.hЭoOw7ﶳ m`j {īmL5B8H1sSO.Yb+c'LkkE KxA:&˪=uCit@#JEWճpƎK‰t-VtQ`b'0Cq޾@T{1U"B `oJ .@lrOs۫e> ۦQ *43/r-8۪ȵ >:K bP2 ZJ+z(iQ8tL0gJ^q|ʉZvB?1ccKI96è | S-!Kj}rDyzQ=u܋qe4 PCق*c+9d\'$$:gozexcgĒxOmnP_w^0gyQ|B4Pu#EvVMIBƪλջf/*m7+Yg{vQ;n1ژ<* ; ^έ(y]bd'2^#XWL"J*-JGJ7I׼4NWDNK[vcg(ʩh]q(5g{,۹ӟZ+U6r/Y;^c0nsΈwEBZ(w`l9U,tX[(M ^O!zi:3@yP)ri2*蜴D]*;psy ꢱmv:J}A ]Q@:]^PQ,41\pnU䋫dzAMB䪚$f}1^7Mt\ƊKz?UöU{JX1!zI*Yý+F/xܺ"|ŀ$'rн|G7=5hwP)',3h;Y<1VmOG%~OIDCKo!g.Q4Kdw b}qci! yj=*Rr!y2DVJEDZ*::8ϴƧk YF@HMqMC[1bMܒFӐ-;p]p:{ @՟g /EkS|D%f'TfmgW/#K;w52(B\.H>ea:,Bty`?`eH2+iu! #K + l/Q@ނGv=tBA.[l垍$:׳tἪ>4Sގ(29Tif3ޜO,=]QG[&هсD@-31iшs,l=Z]¼Bm̃jSF2/ 1ωRٳe{qNdžBŵȑI^{H쵀 ?B:Qf6{> YX/-ZEMrJMkGxXxbGmjmҏhҚ:xI>>4jAן "zl`W*ߡ_š^<vCU|':db4s4;,H8-bO~eD YdZ=gnX3v~(0v`xJUЎ x(U!r"M113G7wQiCs3B! ;L,w]ar_RFkpNmꥩOMz~p9{c߯㱅%?mG:v 3K0urF8٬:uքrbco#N_-2+ 4b׀^phy["@xgO 1_zƖbkG7ތuFC"Ň訰bmmYoԠ90;ɞDQY"Yb]Dz&YgKuIUQ/4ocMqjJS7 풨ݨ(MqFY̵oD3!:+ڴe=SNG SY:U竫ndhDW|:yjg՝`ҭ 9\pRkn<4\̖X>4z+B!P4>dK| h\蝕ߌ.F^~^7҉ 3% 4f|^ᆲ* (Ⱦ=W=dUh䔒*l Q>iǍd(%8nmq4+#r.H[H&U)5b6 PCCؖtV *P|ü /#]3~;z=f5.coQ0Tt\8塁iO : HNֽEe9Y^ #w7YP:e[alaR3r)$dFVd@!Nj{{n a;\nl"ҮJ#)"&#Ziw>/MNIo['CHEeZ)C_YnsBcZ4C ̏8e#/|fBASBb6ŪR&K|5Eҹj]sAGقȤ-( NA**e ڧAXHbE:בfv2*373͖z۠KNˉ$D8;*oX __NTS=4~/J_AK :ەf:-,SkwX RT4{'뙋s,)l;X +Ku7*uAo҄vҍ?;&~8}8A!,i{?2*e֨%=`]a yΘ8;DorcRi9RLp6*`MIG|ָȮTvr__K2ȱsFXU{8nJW^17Eaf[ MhPNp'L<T9{OZTE4<]))t=$P8Nly2K{qb8zċ欴@ ~nZdTlyžeh%=Mj KW;Gd+fT^_Ep MR819dn]#D}^C9aF p@ah;t,,Y&b0{<٧QBNF 'is4tIW~q `_=_3d &n8@i(tVD/nHJB{v=V{s~|=ܣ[atZKB{X,ddtϲפns!7e9XEyLwyچu&܊5ǕU7է^֕ڝ] =3uqM\f߱y/PC9WVE+d:{: fmd'm7')) MlUaT<8rX&EzC E"rw WgmVJͤ7C=e3l 6&hïfIme)1QasR< 13!n66n8<<$'Q \ww{|8m@_I] 8 /Ʌ*]_wz})duWsBqyzKN蚩=*Q,e53M0lFBp2aVj.9d|^-Ot r+Ђ4$V8Mӣ?S73C,RZ75Eu@*Gyf 0fHt$Đt84>Vk^'9>I<˳C8`ɎZZ3$-XҚ;Png3J[7XXΖEEEtAyqP7=*[QqE]-̎ lqk@$r8B=!j;u_Yækqd 힜愈8I}im !Ktr^UnCC1WY `!ƽbOі m#(T9 5AC2ѤGq) &R!ul"̏yhToAR[Buk}*Aa.NQЪ/д[R^T/*mGIH9j$g55Fn㴔aA5WbҔbmiyZ#'"b?+8@qQ}J gJD6 ߪjԷ:`*-.)˺t0d23@;Wq2WqL?a>3",AjǰC'S2xyy /?q3T%4w)/ޥLdȬW@7=tշ[~xo-~ ~y?aДD-iҙw,q!F4.D[sxıH\"jS(]u:vt5:FO:pX(c9^C18M6݄N@r633!A֔:H9YW1aSO` ™CKBn-z<vJ|CxS@'@FxϵsNRc|T|1sg*V` 7d!ݏH@*AZ;Zok5 ddv W|9,c3 _@+xR8U&bǩYЂ|2xa4BV@44>GO|Bm[l!Ҷ~&&!\+El̕2Js(αKhgV圈`8zC㺞6@Ԝ\Wi̓op{/F=W%gHsLľ8єU(Oӂ3~hkљ!WdJ xHb!wqxR*+6qh\V+Ex& pb[?X7`a@W>Flg.d1 5'м~Sf&kvKIeb_gp|3__Q_eYk{U[V=%7lӄh}^"vODlX:aϔ>%#|yWz^)+(y.bËTXkT ^GUO1׏1eI/@ 25PS0uW}v` kT]@d/G6sq3䘚dN.`p}RHW"I\Wb*DL,X>ULojohIDg*Hpi>փn5s{..|V8!0smv س+-}LBDM_KG[JknCR='w?l3=Q.u_]8&!-E^@:u.`/ޡ8 lmDB_V_ZʊA*<;Wf;%}Tg!ݓӭ/mbZ&KCY[?l^q@)@$s!8yHÿ"wϖF\NP:2A6ٍڟsܟŒԃ遨{73D-6,])?/Fz@X55>Xm)(?`,4v{.Ý,38ĄE 3c2ՀU$7ZDCrq^}$S[lFlO- &_4yf۽rEu^nZg.}kAC!1R GW3T=ˈUQPIcDIyyQTÙ;‘2$nTwDz,ט'%?%bB67>_FXʩR^!t$J>}@|3f>+JV)2&pUl(\EWǗ%look~H^Ic BL[5[% $Amortized_ComplexityAmortized_Complexity.Amortized_Examplesdocument.tex7zXZִF! ,]A-MՋhvG"uIBm5~sDfG4­LCq$:ҧ Xn¿+WTd^~mƢR1FT65Tǖ*#2}ݖ_YK6K.bQԤ0V-:oH2}vFNȦ3 1.ӂ#Y[Iځj[CܘVb8$ UaHY1jևw&n>cBT*r%XX>^ (Ą3N)1y1LHfCs7s0&;g D^vJIm##'޿ErtVOe$>N~A!] JcĈ̽S&@Ȅ%1wPU]Wla= 56(g-(p{ >)sYVD@Igڮe݋DwF$wtiM٤H(==G54AHP:O&C%6q(qyE9WqQ_m:J)` 4`=\W^]Tظ*v2wFcwpnjI љOb݁|a.5ԫgGT_t& ߪ|&B&Vc,rH+~HKE帵S!ZPӡ kߚIGT-13TܨUB1-g0v׌f8I6qKW)ْ[La xjE[6TLj0+M6ݼ+|N&g>_ܧU9l[:yψ}dˏƵ,J /6-dB΁cSX ߨ;UԍC'2mXfF~+~`)]01vО'TFujvè UwOCx[9mjDgHgo>44vu yӕ@ 3F gξ:qq~Ce$JsU8nTx^Ǹq!PĐsVDj1I?{K0ԙuI'-$Hl~,&W7F-5eVҜkSe:,୨Z1X fZoeև`4"Yy[JŴYx38e9w"BS\WG=7Zn"C7A"JPMJ+7dM`X2teՠkG* ̅n}^&{w tVq1D%,NK{yL{$J,e0^ȹ[;hfq7aMNd Vb@Č.8_otVA;}Yvl[~{)Gf9gNaG0}P4w[ 8k[-6'} A7)h0:yq]oW,~7~C)3?kfmn)G?,/kteSWBW{3QDv9 m1M)@!T my #r}IycoOסJ{B8n.rO0#%2;R&6 7ɲRaR1O _:MC66bs`iȠ!";=]I9U{O/_d*?ע-LL<*ݜb L5Ļ#ɫqtw h0 h(EW[Gp .fF`~o):΄JWzH:UyehnKiX2lb\/أ75/v9C}#\o:*ٶDg-LPzƵ(5e$ V <%hdž-PXio[qg&;lhjoѼ8%[$ fg q۹k&./di?' XǸpMt'蹭t9{o5Lzi hS}#(~O=Pbz=] -;ESM霳0ۆv~Ʋ SI$J gC]7)@Ry*QfzwwԄ_/hoDA=~33.ȋ6=` +YR1[PH`(e\FIT(>Tqa Bۓ¤~,muhZji,Ыr]s2nA8ae}7epjGլVӗ*x@^Zcg݊)=1p C6!4~ VEzF$X?=aoH!TeT՜,ll7q]U@ ,Y1 }#mU-.=yGK 69ipAV^3b[דy-Er"z4V mF4?!Nw>'V'#|Z)A a/^^RwNUև.z|~?(o,ciY\!.$y6 9 &^TQ-G,6 oEV7f]jII~@i :;Y;.P#0#>cx/oP_f/mN?fpPe>2 O>k ۉiOG:⑘NV{sATŁ_NQ5Iɴ˞ںv&u,A$mKZ10RBX]lj%=``CQϳF7ݛ̙Aԗ]\eZcL@̅b8䮏ƺ> Wסsl7~q֣ǟaT6f+R/0#qKO?뵐L}p05dL-RKD'7ɛ w4Et^ [4_V^%αl2j,"rOמ3g2͉?Clov𷘺(lC.Zot8U@0x3Fe9Ɵe!AX,{S0Y,ʢN^P8C; k*`Kp<|];tK2;@\LSΏ%hX8t5VTw}l+ޜ *v{j Z.n=Tr%'/x*Ekt[~x}kʧly兼 2[(܀qL8}W> .C啛IL0'h亄f }a 0peF!9q)V%)øQ䙡3Evjj$mHcOz@u-]=56:;t& pV}'|ڲ˰vY`kjC%[Ej%TmנɋuM^ ]\*cX(湌qubf=Q띄M*'- h}p:ԋM4E7yqjKߐble`b)Gz= j9{ 01ǻ믬Ւv:SwyULNg bœkr@\ޕ뿩k5f޶t*_,8FM4FVlj&Eݓ5Gup >Q gS\3V!Bu$yRPKI%N?kU)Ao3lIСMs7ThPIa+XVhųH-~qo1Q;X`*hEK|'{&۶UkC.n&/J7ӥCpzHf yo֤QtM䖜U4LM0> R|N;LT8>0DُV|VmS51LnE^yv ]Ct4xᢱص-h]XZ E>L`CI!tJJcʧ TLj9Ǹ2ZPu&Gy0SRM)-6)p졠z8tjv^܀L~=bC>u-@ě_[WsmPjLLݾ~MgHfE+/ًF–'(101x&Uحm^gj;wFTCXHU:1VC)_!_ )CԖCi!&vC83N8 ]xD<7 d~Y9ѹa**mb!D!ZԊY RML(2M[_m(zitq ii.xjHp(AuV >Ԭ4(a~,9-Wi\ةTXÜ]{LA;掛 ʟ} )n"(^ZoRjscH"̣,JC|qr:3UYJ-2U33[ڮ6$φUy=9(k-7 ta7nkFgd.7ˆR6_C" Gdz?J/fWHkn+.I =';t.>YXnNJy ]<@=S3;ߪ4۞ ͩ7Lv>+=P\GW>n$o_<'~J -t fp͚9ܣ0GxςjmI&9NyBd0#1/Рi7b2"VfzWT7\rŚ-ab';nCx*b8\@}ژV_,Y/p]N&1vF83SГMtԺdR?rn|Kڬã>͎_*ZƯ|kqJ/M] c6 wZǰ"- hoCm$V||QX;q{AōPz`Yb>!r8B7EwcNPKEIefĜM~p,: n8AuBj_# Y'LM䲬yYl#8lJ`Dj QB>d>p_h`HB]NIUhw)'ەŗc%AmRk\ )q7 2dW1}~T#-{W1 b)Q+H^(` rW+؁m|yge N4j.u 3* 4`=JcK)Ֆ)$6g)[dzP0 vKO^:ag :2('Zʱy'3jhAbD\a]YInKT 6% *UK΢Z?[V)m^}Pvӎ-ax_ ~ғJ.<1TU:6$$%@6&Q7 /2$ 32֒"(Y7&ֺ^P-f^Qn9׈Xy'4xPC`:ݮJh,ʘ&GoE T8{\dC>diNJ2x0duHjo6J EGU5ts1zvnn w}Q-`&]΂uҬ/AZܷ>8+!oKX{HqO8*-HƤNL vLЎǠ{r͌8RUfI\ˍ`jyI,62D3"j?k@`⋅ FhJe20 IQ@IM(שa5U ܨvG st>)Eb?3g1xjh>h@췉SCP mޙ=C/逭\9"{:) HG2:S#r6wn: x;r0IRb]}]a2һ @sH*a){nZ2ͮw\"I0m*UlAؚ|!Wq`(-K44ov_KvA0nC-l*دv]uh֡Rd٘?3[\ >#ߓy]!Z[vCU# }*ykoMSHv6Z@*gIkDl&Xިd`>@@f Ug *jBY_Z$sC.3sM V^cc{vF\38.TA~ƮMJ]dNA8 e0WTRQ"Ƌ3h]) xθ]fTn}s򎸚-[*pE_q#-Gm/PE9,޶D`93>o }=,^v#8ݱ8dX߄Y[)UK] eȼ@:a'=:DgYZA|CGEAo=)U¬EqXUuLF{4G&91I COɤDձesٔ~]߮x"3H 8so+3-Q3N@Vnb!sxF9hKDI:S gV 4.w=$qy l]Ws5NjQ-S!n'P359dj dH3Kn`=aItѲ~փI~u#=UҳQ($onD;X&U!/ pey;Ap1o'sd;'X  0W=A 냰 Zt񓬏0Ock> /qĘ(u5`4F,!>}~Wy4hr!cs4:v\WazEʮx#wfN/]w=^GA>mwx?ҍ\__W`# F% y'*wW)wIʱ +~&;sn1vZSu4TZQYYbּ2ky[xKRcja#Y62*fb-RI kD|[\NC0u2I@a v5iUPŽ͉f"~*@BВv"̧SG+!8a5S v qPrTg/g:AMcڶt%2hsFlU##O̤N5/`#s!Fd)ݩYeŨ >IdKou|ٵb+Q87]e9W#5]rRSD&OC:W6юtaVGnfmhEǜD262$\7:#`i*Y J2}]H]@© g>bŸ; G;d1 ZMaʈt^U lPM!/*ƯoҜQ:C^ @@?фDp[|8=jf{z-Ә? GK`%i seCq㮺2's)]vbT$c5R]};q G}5D9b]^7t묟@OZa`["U5n4YQjiq'*!%+cgIgI6T ۊHEMbY6'AS+^a=W~{/GQS@3T0Ƌ̱Sl<,.R !lƕdꓼ 3Ў8"Րk+P|/PfŻ_:tDf ~]!)a\h6g+v`C?iLUw]EIВڷ5j0!_EwRH^Yލ*SȮm?zF84l/">tjjǎA!%D+E(GmPc`av.{[f]ԖU-{ScP[ Cȑh O7J2p?œYYC]WEGeb%SJV)sFl4KZz|OT+C[7ϝ\^__pyVV^! `A@ K<3ЫzKƾ?<+o|I HxŴvHz}N@3xjAmfN5c<3TػInU9f%R%τ-ڲiZ%};0AN; vA12;?y>vXvXHvJ l%YqIv_1,)Zg/H+l"6o\!'䭅 'I*OuZؘIg)#@Tv <`&`! 8@/xrhs &>ڠn0>YY<3Thx|Ƿ+R-^=J:-[ dۣcagk phw2:Kg[{Lrt DJ4}=P,k'.._dyPRҨwp]RsLD;̳oz KW57\Pm,F]cѮ~'fP6TΧa51~B-d/u?,?OvH|Kn #7GS1#^'M?~ d(=u)nM)ԩGykCwxt1C:AN+O5pm'0^b|72'&5yBlIZ֨MhSHozW0,[_~ϒfusMZ URehD쎣e,RƓ}0Mg m@EC3/5PJ{jB?e8\i{KiO G\7F3c)z٦hTJ޼PQ6@˘^3D*'LQ,zxq :E{7L+R_rd((= /~8NeYaRV8g< {Bf3-whF5V(yc{]ɻS*؆HAt oՅ$kvNy3]̌=&T47`[_Eq7TL mPJX%1Z_G1)GC;>@fd2Gf;ӣSY% ^{FG3Ge쪞}U;= L6)&PL`bF7v7.P.$i?Ri'"vy]5ӣܚ]=إ; {P*4/ef=S?e)eAͳvRC:?Nmc kfzɔ<>O"`t b@wG)&~[f֯6Y@ CS{1o˿lA'K,-mZ`:-l]Acd&(T#aAM`aaM==┕zsD駱|Hj@ :IPDtDdzI[1(%5܀I õEed>`g',2֣5[ϑ30| : (t d&IWL^Ԯ-Gs̷:3:ƒN E 5L/}Pn2m<n_hZ/1|aT&f`Y)7 6Faf&GjoU*i&] W1˒_AlCeՂ FNp?c衎x6%Б03'0^X(*_i7ndp:rc*v͞|zdL;Vb_|}pSȑb8j@OHC4_w{#Ul.5`ƈX\g`v26'e5Kmw>qtM(Ymb,Z[U69j= >a$ƹau̠/жr@ xs:%N20itܢ-H)'&Hυa0O :Gkr ^McZI$UXiORZ6\ 4OJJ0Nç/iΐg?E(i@ C][gpgisۛ#g]e<ۋqtWq'F8<-h:)YslCQ -͐=gYZd$Y62jtEwF5hV[ w fЊ_ 퓣)]&w2UOWx2'r9tsxؚ'n!o|:uqFNZWkU?Q;dC 5bAc9F\ueF[fpWhqǫMG] P^jFÍ|NZm1yo#%^nצQ qRE&?ۼe$1v-YB'̍IDVEgQʕ6 9Ҝٲ7KgY<(V:&Fʗv{fAmmIDP)n7I,}Q6-8iSYZd%ƒǶ96ZSt^IȱT[([1S y6 8&5ZC*-avH]*VgF$'P,1,Rfo+`;Sm9{P;zZG>,R״1/kP"Zc`m=B kb a :O<9I~~gDջJ>' ؤye=r&+'[nxs5j[O_7#3GZqAXfu3㬂%d6b`d`tkqrHL>%2|,t1d@o;SHT9oVJ7p2^/X"Ф"W%t X[=jZL !PoɆߍd 1{Kr}JW%R VvBG䋆A5$ueL4ăR,}Np" Z*Wy7mG BO IΫ zO)&d>D4QwUSMQ׋ʌFYE-gUf@T:uO stU=7{`Jꆼey? ?Cb_^L_ p( k9UG#c=ښ+RC_ͭg] vb—X[`B!DnEG ^cu_¾Po?`vY ̑~JO$LQ瀬̲pRja`ꤻaNv~M..}^g Mq|jl6*uwY^II9wKXL+ ܶIXWզav=<@(V[>,5T/+;>k/Nsr^\fm|b8/6#8Z)iMnɨ Jv7v`osp2uW}2le +jf^~|kbDf <3 ALB!z^ݰή+hC]%%=/^]&TM;2#&b/A:zi`-,EE7qn+<# /H1!}h\[/G:;> '_\z,'JEBH`hIyq&Jyfx4?49KJ70O2=m8:뺺܍`о5 әdTJqJϱrod_s+B9l|YXc M@5o:8l;̓h?rlK{uB}9Q̃v__|sж/"*ޖb P9NY^#"><%Vs&bd^g } PC,93Qn/GTL O/.jcf-dǎM} Dc:k>筆Uo٣v!uHѕM,i7<[8 [ F&Fۛ6؏r>ޒtBTG}Қ%L$FRXR;/jsaR])B& Ұo/Ez钫-IĐT>XѲȻt?&m2rOw`K2/C .Msy'DGpp JKIӇkEIvQ`{KTʊ՛CVU% Ƃh(.ZP@1b<ɿ4,4/qjo%6Tjj,(BfnK)WH((f`5 bkE8ɕe}8̼ܸc}sң߿m?˺-K^Sx ϑ@ۍ6:L'ks]YI䐧Yf,{)X!#GipV?q[n"yC<:GZәE E(B&8SR"t@O==)^-ٖ:h03)sP{=DUE+ Lvl @F)NҲ$y`{`wvU׉A[-(YD_IHd!$ FX@AΟ^ 8}u] )x-vK7@ %O&J95z} (/ ?Dg~>R%st9l(;(RC8a27.Ym]4]y ʑTB|टc}wd?\X6(Ku^딛|50#m~Iz#=ރUEt^!HWGq xB^+Q.#:yQ%zzn /!`z3J" ` 1T}ZNZmcWDe3'Maq>Ң |AkM^`u0K-+(z!=x zI xV lyRjL2yJq@ru+:-;_670OGklPYΣRGU[d<'ikPV\N=';OK5Zyiw JPd6лY<Ά-"k`]_!( 'S&gYZ k k\5m% Amortized_ComplexityAmortized_Complexity.Pairing_Heap_List2_Analysisdocument.tex7zXZִF! ]A-MՋhvG"uIBm5D*W|A>? IC#9R7Ժ8(޽K&f5,(=>&]y'3~P:]V(u|N#{ <_y*/*¤ņ])${ʮ՝#p,-sc8tK$eIst􆔮~ Ys 5kj; K%-J9|!MJ%m3ݰo,*"!eWz1~KJ<֨*$VȼM$|LŸUkr[_ۄ\r[N=XUv:<]8%ϖ﷍IWRJߺb=n2DjȢF#օ2Y;b7EuRտ]Six&J0.d(S-*@⤝&a+KDgT=kP@BT[s77Zpu[?=sR%EGˍؖO6䛂uyAk8SWxiձe\,(@6%˰`INx2,Fk{Ov>Ѝ3%kc4ˬ=%J/_`9/)d}'D"H  ZNx:bK]-x}>AW҇OƁ‡ؤe-k?QAd|Q>Ig+[ aM)tdS\ d5~B]=X-ZV t%_2j-ѐB=׉Ԕl[3ںlT}T::㙭^L|&9tVŒh\cfӃTv%xp3n#a} `.l#X"O0 ~ۈXG v|>UF`dyMSsT3z/K Td#E5N@ľ=NV~:2<}wVs##5k% $Amortized_ComplexityAmortized_Complexity.Pairing_Heap_Tree_Analysisdocument.tex7zXZִF! ]A-MՋhvG"uIBm5D*W|A>? IC#9R7Ժ98n`_Fiae+ߕ1R4WTwO,oRŢ<->աO+ ?Ѽ*PpwՐB!t$R|zVHDTNHE:,8q5T iƻ9u>6a9h 4q/䏐N,׬ƕVgmR;GOƥsb+ŐORFB14dYP6FGR5YnS%>e4ҥWFodM[uT*ܦJ>`[s*hfڴ^f8 u69YDc$?5gj˽d[*lh+YЉlܴirWd4ZO*M#ȶYX̌7>;,o& n Kof9*xxI2z05pݤ͆ν rFetđ lӺT-rի6J+.$#Y{4PV˻sQxTދn98j b',T01lQeab0K,amUb`kσC3[CӨ-p g2-ZLd 0NDq_YzT1hR#?53c]kI+i? T}X0aòTvTB>Pk|/]~.M.9=gX߷Q?6XMߥÕsr:YU 7M(\ 3R,:|z$RH?׀n#Ҥcq\^^.U;:dTϻ ^Ni5-Z~,i2g+^,A` ֩5QJN9eF e\t^#%x^\9UV y/K IGr .<81QcдO tWYiw݂ϲhFED0z$9>s'nHz#&P~V:/ah9߉$ůq;a}xEvuʩ먠ƥF">Q* $:dɷhmH#IآngQ0sؙ%Da,;BZY?![wʔ+Q KrxյKjDc/Ja-Uٷ <0] ؼ3T}*%, #: AM9Th.̎ cĵ:YǜmD1YT9p, 9ɇ`%?4IeTZ@v$=ݒF_7Niq D_6a5)5訃~}un(}ܩXlGC=`~uHQe0G"ԥv%V(WbҘ@f1D(+3oySkҰلdm7сZ'ހk*g)%M'?a<2NIW|E} i^1s?i=;R2sl@#`e˒31T#FQq7$MX|!`xC}dw91,++ϵ{{Hk0A,:jwetgovueu5A{5wǩ2,7NNM}|CH8 4iV7KA6c{I[g4uϢ-c)svmؕ-c4axgtYG!ƎRf~ 2xm  C yqqGՒ:УҾjj2OhGp KqpqLcm}!Cp0 8[.X/|s2E?Zٿu:VFMukɨr0 WܺOVv=UA?mA&Ec򘛞wO0A`퀔kg\eqtFl `؋R_% ܤXot&ou y;O3wǶԧ45];Õ LiV]ɟN wDM6=WRL@1̍^e5ZDM¥B$=c}Pe٭B@D~K!} $wڅ(C-i҈1gn9!wpS)bth ,L# ͽ. x4Wh$rF|1MN&tw΄׎wKynz#k֗ TaZP!0 Fa-TuhKG;TIҙ.vVRkI>7'('f`_`L=x:c(M 6^F>P6:1;rČt,6t!@y@8@:N;p}39$\ ϳGjە8P\PT+˺j~S*0}d`jrhE\ysʯoUƂ\vD=[)D_`w7oK^xt$ऐ4 z!v>> XQ˥568SSY.׀f6m3W.S$jW9RIfFJ^|]oO\,q.kPO8+O@P~E>ڍe2P>Nd'hb ⍏wUIrVg {wj J-?2㘬X 'S{x|Cf jGGeڹn2?"<F 4W̆ .JK6  ʱdD{HT%uOUm º+9'asG%]<]Ӥ~;R*AAUɡDʘoz` %QpoP> Q|)9/P1u|~M+ۙa gɛ eKo?H`4Ս7'*Ƽ1ըrjE);^mN ŒS%/nw JD$fUo“XѴ%tNw۝r99&^O?4[;0Uj^v|cF^ۇxTjn$Cw(1t]3S~\Ejm5 ő\PoB+FN] 'p g? ܘR0}] pR+S).@2 GF_JMHJ 08:/YՔS] NPӢN\ _֘> 5x%N˖%|XW:8!^@dγ |A*,$+#Yg|Ն;`TyCs'U0I3@ܹDBlBS 4~5:xWG轊{^~UN%4ЫqYj4FD0LbJdi2L.]TWXZ}1[7CN(.ȃt.gHo|>TZۥg3 B\Q 5ad׷oO}mn]>Y'/*FwE=FLJmL*SX" ޳\ԅxP|~> H"Lkggee&[ѢLv|^ vlPu++a:$xnj8x,&)*W@_Oa 0hvXzJ#T_)ZZϊy,#h]fW_V@Zho(6O6s e6a l rqmM>]S6'3jUXB=o Ι'? IC#9R7Ժ8(޽K&fSD)[1 5ܣO_D\3s-`刈1t1%%T92(' hh~MS>ؖNV%Ea֪aΓ_Uօ^bbq8:Cz@|%C4)OX)\T(uA oIS4nfԺ]#>ث [s٦ESDg}OJ=&|Ŕ cryS Ksquvt:jG<ǂ˄rgCcTs.=Ǡٗ?E)!<9UJ[(ưQBcB8k Ҁ=3;9)w7".lo"\#O;S YjZ& }'C867YV`+՟Cڙ34*o>ÄKJ&?G1YԩrYnJz @"dUl.Ɍw䖇"ݡ, dw*%_؁ힺ̎Z|, e=tJd%6,yzS;C3 o\:(&TF;ߏ˕RM(J`e]bP_PADǿ֡[ *ӴŽn9octkrբN.+쨺|K$9][m h`䑭m1_k%j{vB?#x/7ɩW, ZRX*7xZLO:Qb7v D,ozZ?oMAB勠֚:C.jM!63<\?kBlej}_<b $#olݼ:3P*_AQ%rA:hj DlE:պykfo%a1@F3[DW+_ZmFLYgHV ÒaB!g;.5JziLY4Ѽclߟ2Oqes+J409jyfcƺz좍 (H7<шKի^XNfϞ}G70Ɔ\ODnB_&Ω^ŦIJ0s4l]*v%T(Jڋɦ}p:A7 &vX)4xY J#>2xlL8.Qx&#ekt+LчB68Iu^Fdzv~"0zt Ii <ǑAI"7c^S`c~@dJO/p5@P=Å(6p˾hӅM&Ֆ I[1d ~rpa}CE`8쓏}!=~=7"ޢ)UxgĿ̙Y,od6LC|V 9 +^6ި#$9Zq T(V[E>?{Pf>ˁ!8G~$_7AR^r[l(?%Sɍ;xm+afa.&;N/y8j#lz{97ЈY!SZD{^:Хw jƟ.B!1YƷ$*] ,$ȨgZn\hKMAak7:f7W sb[4a '뷇JUo<|F>8zq-*e{pz8,$˜0Hƻ4F-ro6s9ձ]GٶUIf .Sݩfsר'p_7h, `N  zωoY6 ;%haC-Gf:t5YCѷ"_m4_&gh=B8IJG$eP k!exXͻN/~h ?.8an6 (?V/5;18mKO;意7W}[Qp4nէWP`A`Wkp/E:c(0ߛ@ h+$ox8%mrd/ZyhbZn x: 29~i cRX`[.oaЊوWP =;~ Vj>8ҘzPusO~Jֶ1`څюj_D(hhICAV5pI.Deۺ~2ߎXbfavΈ+rդHnwD=JəC1s_'d:xĹ_p-`7eC]p##>_6=H eͪGH֔P1gQt@KNo"Bo8?)uYhќo+Yv ~'waʰDg>!zE &Yܜl_+?u%c ` ;W3 ŷ–tL")tmE$^@oPnљP|>Ϧѧ|c:Ljp>JP^yE_&mm2d/h:\M)0!l5$>WwVX "NŴ ux>RH7 {4@vGԕ sgYZ \W\p 5]% LAmortized_ComplexityAmortized_Complexity.Splay_Heap_Analysisdocument.tex7zXZִF! ^]A-MՋhvG"uIBm5ȧTl{Z -o3`;s:?梤ͩk㰋G(\PtPn.Pu aXg*B_r-9NDq ,5&#v/ ^j h?$= mt͈߀})ߍ3/r23==9SOn` NX(,0Me"OS"H[q ^G:*1x>I#rMxIAWA}60'N˰1<`$H޳î1[?A zy`kDƯ>TADnXDq/Dhex)K+bӑdg!Mx& 5I% LAmortized_ComplexityPairing_Heap.Pairing_Heap_Treedocument.tex7zXZִF! 9 ]A-MՋhvG"uIBm5D*W|A>? IC#9R7Ժ9}h( CsF.N˼ou\K!v%Wﶭ[ם%}Ҵa!UEߦP+dGV%-)47h&yr{7>aϏ$%OrJӦ@8O=1ݸ$:5@е'f8!u߾އ>t Z*Hs;nI_Rvy]ۺ~*ԦX[;2 *iLjg>ib-bʣ1+^V_}[nb~b,k7 Uz|;ksz/u/cq Qd"1QM螑!d߮VVM4^=]ٰ3jX8+* k;4 q 乙ov@kNk_#S20FBL/#t qfY5RDd&ҜNz٩ȩ {o(P\i{tT]OJz&_bE}bW1 w?K6nE8$wֽ'=i ;q쎛 u]g7S2&LTԵNKoPQLa5R-v`2kR}gi=M)vh "~EkސvcF6\rE]j^cɟ|%&2E +L/ T/_`7=5jIߝ?MԳT-& !(_G+*Vh\. 叮 Y{σ0!(An*Fz/VJ{$.0PxUSz@К-(~WCz,(8U@+m92$WVUuE;ߔF| 4|Ѿ2ʜkUʸLerBQ0SlUm8d32SY7zřiʊB^ w/j_s}5A PnDqZ^etűY혟PwUʝorLnԘ9RACJj۠6+LQ!$qU9 i`6zX4|O6rjERADr+>Zk'ӗp{Vz;1kE>~~p dz;~yTtt\=ATiXQYd%SxqpNj:AsAeYcbJE*Bt4l*a*Ne#eGȒludv!R9nX|`vU+r9)`Wn[Ǖ;]F9w- FTc)s}s\.ob x7Z/FeBGwלT9yJqQZ*(ݜi҈8}Hwd6b'"^ n` 9|\>(RwTDۀglo=i ϥh--](px|b`[?Q|ᝁx^Sf=%RQzCtDm+ZQ:C|ՠ\ĊccloWA"BI Yf|H׾@c--Er5aF!&zpT8ۗ6 g &J6J~lA5;W.;OqAA[*Yl}o)C@ k 7ୖe{>f! q1=9f0mǀE5Y9=YjJ`w^ 9oT`q8E2:9TEH"MKT5Jz ux%~(9TTwRI0rIwJ*Npc,0xMb㈵digK|SZV:;y{[bWDH@.c\7{JXjY.?$q獄߫S["Н)dMʲ .XvtDd_4m{Cs4QE^*ѣQwO|TVZTW~MU{l:tb_7P6gU5z !] ${^`%SsQ2;m,>q-HDܮ,b{36aƛttvc{o͈c b@y0!D0VIsxMF~0 Uz_1:p}y.&^@Ioa1GR9Bhr [TM˽p}5 |g"F@&*/-r=K W9?{)j̏<+ ,M5#yr0N)ulݲRrq=e1v@_ y{9(u[J%Β3FvWB~*G޵8zhkj>+ǯnm,*3WD6hBi8 /pejeMv2ؖ>mZ͏YUu{5X|`S|:k:2HZƭ0,Vj׸C)E0 nF*FߋfP\B}Z؟ΜjB|aKGi5PsY=OKQN.v/ͥ?&q"J^^uTٟY>c: ܩjSBMӭ߹xҥНW&,.gm~Cb}+\@ܴח~qw9]dɀ{NMB Pk4r & SVB+LqpkZԙebֽGy'{?}qbq&pu܂Dswy>ЮV>rBAִνk ݩ qN1 wudR'5<|}׃үؾZ׍.m1m5zI $oz廯V!D(xPK8mB\Q-gYZaU B]NqODb7BsI7Zm􈄯T/ϳac稬nX~(!bLDYQdʉмC!FMKL1#p(-nXѓ}=MB#m +PDha H>']nErh=oq\m#ܳ2͋UM$nF#ޡ^}K\,cpkIJF,oidl#x&ƢY9; u:J(~W qx>ɩڙt0'39+ιh<8B-ed@ v2}cO'R M"`5z|36?1C!=~fX_nIM$TOdX9jg27 >K-b:Լ?HO+L)tSmUp&Ton!\oۢ4FLv988b-TiJ,/&OLUF…__۫`[>iӪ>`50{43[Nd}\7x u3cy)VU9 !c gB49'l7p_Nw*bI.9Nb߻/ΓT񨸒j_!%?1e`LRB~2Yiq8()c{]F걦5L:`8YnYgIGvr+&ER;G!WӦ8>Xoֺξ0Q9`/h}mErDG1#lwCŸP>}c37޹'wVMcdJ#|C 7#l*1WKW'Wя#6XctFˆ(uPIZ#AqK(W<͉{/lc-q՟,]kD =kV浄+bO O]7zYAiZ!lA C;$ItSuvuR?L^3"U)g$Cǿ/V1cȁzK?*s [svk7Bsi2{L 4xʬ#%rGהD?>gsq/*X1?PG 7S鮴E?FW#7y[ZqJ{ew88 b[gR ɽe+^)a%c@l`0ooAi Zj3-?Ӈɩ  mƝ6RqɅhrO ("e5Z AVE"Yncõۮ3ޜΊ1;GKq bO7Z (TV\e+܎l[ufݒ zV1bU|eZg75c-{e<`V=Y@o7;|c͟M0iOj532ASy{r! G̖E#E-IYEipI瓤dZXy@ aES9L9ڿktbe"AO^ǐ/&𻽋|mY̐0Os2+O|@AQy4HѶЭUēBTMw=Gܵht#_RYvw܁+;$EY1{^1/haνT2F(pSg:9t)`X!Z H~M it>;1,7|FWC9c7@UxFQZSx[pY8a˶kiG7gp ^RN.['Bkz|<-6tb Ahn>\p @ ?z(I\w.oe_8̟-1yIG%χR,$~e}Ps^"& @H"";]J?<qKBGDУLh*`@Zgkzxhz< 43rc2ƅ;3Ԝl 6s>+W%AZΣͫPAR:Coh_Tfٯ}Mg{,H")s9DICP*E] 5E@0W6di[7d1Chy'(_C}pańlۇbuch xI+.5] g9~AY & N*|4gl\y|$*K+X'JE[4%_{ǐ;~GmK ZctfE'kde G`t긩JEdėL_EWeLR|"MB_3R vV2UӨjnd7{JuK[rv؛:D[.C?ςM1ۈv#'R_ϲڸ^+~i\x RSx'I.czZgpުF0>+$c:6|َ2ɑ( 5@Z i䶄y҆;Y(෠1 vQsfHL3ĵ9:>r@NbC4i'.M5FCj!.A@sZ /sځߜְ6y꽼x DAkk).S\L_[s4sX6gkb\:>YR_#N(ڱ3 >ꓴ\r0m? c#&IZ.>9u<(PReNc_rq2>]Vn:EHYp$ȷXb$;y"y #Cvd&( J 03ۻ /ʣqs呆_㫏 )Mky%H9c H|u;t&U;q b)Q0oIB7'bhvASP\# Hdhһ&\ %b/I(;if4Dt%;/./aMŞYrܯW=[E&R9ղT.r2)\ #-ZHMru]:5Jk9L"Fj4h A̭5#۶ד0\)lsrq  ;)&`MJF?9& bHbhWzh*fhO#=!e[Oa my a2ؓ@T8e5]YuF8bC㙷,{f\oȍy!fK|@H{\ T$WP(2 d~<̳gN;#OIm62vKsLVseLd8:80ĸM"AgYZ 8(8 5[% |Amortized_ComplexityAmortized_Complexity.Skew_Heap_Analysisdocument.tex7zXZִF! ഩ]A-MՋhvG"uIBm5ȥJASEWY`6/8Uh+k}.DȦ55[s@vx8-a5sJ3iq0bS,'Д 3L%QZ9OGrAڙ0j}/Q7$iݚsW8d6 ތ#$ٻ[s\!!XY7]# 17CBa) ;F"O#h>Z'y"QLJQ{z`sBFNqٓ1(a0F;| >m,6|:0xutxE GG6'&=:3fK(h\gx17|go速?_tp) U 57% UţfEmܬm*ݨyK_S#<0\1=5Z^0#*b1f(4q8>\v*e-31 d^#}GM0K yC~>k}:ujJcx̕?k|TE,mFzxmq5/qcCޏf=c}Qf} ,vl1_k+~9 \<4_;LqY/54TKmsP9ۊr5JiS CE|@);[-؜]sebUgsd-H9ͪ[P? ZٶPyZ`) GuhEQllZOr9>C#>]r9Qpl!F8+1*|P`2lk`5bSDرrHD˖>lcZݸ`ZZ~oMLz͝B_s)y=2e2h&|#ɲԬ%˻ h-NV)j>y7 -ɹς4#^"-Wӡ^TJԝ-gNFV$,yPHvpf)& 6q׮Z<Ηf[(,)sN 4r*<nʛnb @[N~sfLGCU.q(!_*S}E.W6S'`.=zD{E4?[_wuT5Zl$̘?켒Ag|UmY'y|LKJ8fTA:DtlvK,iڔ[+,'i.,'#UE@d-%;-UsUcu7 3߀By[YLl qcI-+E両8pT)5j0#Qak f̥p?kj<]ͥҮAd#6'\SNt;ُ TNlPAۅJYASxq}A1|^Mf C_oq dc1ٔYA9gI6T{s΍ۻI8*H ï$t2$Y,D'Qٴ[| |Xlfz#f+_7& B|rpa7g<`cSkK"|[ mZ6+:%LDNc!)!\ ep CP 錈ػa _gvFi‹|8+fޗ5Dvkp? v&ӸYlUE^kɷǫ h"Rճ ۡ(0i*ވ@tiL~@v6Z*vV 2x$VXy0llgn9?EـjI.FeCH, z$3#$:+wjف6JiaR5DBc{QxքYs"ԱJq] Gin|Y$BhIT(u0{cSX$^2BLu N~ `abs/ tAp*ѭ9qM6A$Z|ԋ<{$xEF+=4||:fR DV%eu3P{ƿUO_cN|8\\\9/ēɜ8A n-_{%Tf-{6E[Ɋ=㋋s}5Æ~]mR\H4T@wm#h`u |KWP)M?ka4^|Hlf2!t+vpz`pz5U-6cs}AyFgE9@(E>D40O{Nj1W|rzuMqk; ؆7O#(2;Y3_t*}7I:ZgYZL9d\'X"N>I~a/@cE%E=S]в!']3PCM99vŰ2ItJ8<\u&4*3ȕ!"Me?<!Jtu@gG7%380e|KNuٿ>@m_!ۛc?G \ȟ4~=ڱ܁v??[<9d!2i#'Jx_J8pC{uGMWj&`{T~U i[uUDߔ/TO02 }3mI;J1_JEyhk)D- t88Fy5{4(2­I$wjON<9bg/qYq'ZHZlS?1R"z2Pڥ۬~LaeSjS'l6sW2mͤHUũknaDRw6 4H{\^%w,4^<< pVdXL휑oy3 !|# Rx]|9j/=c :$rϏiT4B6ofU}j ۃa_7> Տ r23St@YÍZ=5vNTT"5*Kj#jӗN4eaura)yh@;㱏'²AThVc_8+䥐jgHzi{i:R?z5%dACqH'3 .]mʍC8t4m(撻{π|:2~fScRm2K?xb̿r8o$s*L맩{bz4 ;8ii) 筚ll"r1X"BԈlQSKub^a gD{zcy/yuރyлJ1v'mx>=m:щH3TvyO*XTؾ=-ZM}=r߬/2&oʆ#Jji$!G@@ɋʿQ+F|W]N _v\&'`Hģ=?bt|0GpX6}0Zd\bt=ah1$JE;8F jq CFw.{/vu^&j qiZeTRWZd]$'GjɰvY!(^m9b_˫'ybji6ci_Ӛ:u%T}PG*htvi'5_Bz,:gv8Ģ+ ;/HYw}Su4"vK $spi|PcNğu0ޯ_!h~}LդG}p1÷9gKVvt ~w , DK` je%h4=C,MTrg.\TW(?mgma TL#ee6{^(|Z2ni(V`đ4'®FC/m9eJq#&,8l\ltƓ ` w~7M24(V&5SPDͮ?yBv&~vaS8X=X/0d=S%sr`l},@TV]'oQ}^|= ϝfkS'VgS/12;$ɔ,UHh>oItEPaVRv^]_c RչhCgl:I~2҂IF?7;K&6^hrI*ΐX)dCΟ9 /vQ^+6ڎ֩dDgRfܬ!{s91:@aF@t FH+æ0wr|qQZV ~Q>#TIpzB]Xf2!,"gu'5id?BCu.ѥkշțƑ3M[ ~ _-:cbmdž. 4\.>ao^aَZ ڳ!R).2I63;+XOV-j.)*UؓѫX σXR䠪|蔦RGd4aj ئ7olįLĥ%@\ei U1A+5v)d]7*ɏkE\xP\ 2'=4v6T "4lԠ3:yL) w:Nd~ %@`SOB͓}P?399V2s\c"[ ؎+nKX"%WEk ׷^?܃qJ'Z6w?D!\UX];Q^y{reU*T5d|7Fߺ1 S5?|AGfH%Pz=3@4Ў1}+ ]m4v:G0Y潥3t 3\SYl@(4a΅u45ahBt9y_\Jjqr@Dw0Cq3Tj|]Wȍ:n80H+Ω$i2ĿhC߻64 +{jWw݉ l{q+)~acW7^ƑTx)Cz .3IA|<1\2YI?c,lq^ܤcIW>GS6X*!M7&X 9.dHP7H(F {@#.@y+Ox$h={]HapWںLto§6Tf]ORv̌ZbkQ{ilT }{+vW&[a4>??$F16xu9hⴣ.Pv)4C+z~:pF/'~/8k &LJѐ%5Q~"lM[ȨD6LjIc1k *lADr#/~/TUmH<@y9# N}bgYZ Q5g% Amortized_ComplexityAmortized_Complexity.Splay_Tree_Analysis_Basedocument.tex7zXZִF! m ]A-MՋhvG"uIBm5ȧTl{Z -o3`<)x%g768H%bSR(:O(zT|ǙB:JAxYMG[8]1joCh>>$Ƶ]߆Rgo Ɯ_m#Is-4##%P),d2?&Ǹ\.c V^p[csUjɝ.^yL:CTa3&<~ϙ$I5رuuUO#;jaXN~lYğzK|>MVm _^Ƃ`e4yr&ۖ1:}= βǀjk *z[H=S'-ZyW:~ aNlShf+˄oz1nyڼ[~ʈ-aS[y;(.NCcT חmd,)A&i46ƎsJ~NdQ~ft}ĖtGKF2M8!n:WyPLy\0!$l 24= f,(s'R5pYx_՝=!z+)i`Gi լ4H"U8U&9ALq0nZEu(>5>9>PqfhAkaLZ%B(fj:=L&K!> bFOi/Q}i: Vl]B3*gG^ eły.@8^icYbtSx-ܗ0EjaW&8'IIfjF:=u \KK(z" 5}^~n-E0/ ur˚8bF`J:x0ᙫs4*[ G`-^_hF3%\@$w;,C`Kϓ4 8os>kBiG;bLR|jBsIzq ڎ"Zd!,Nc,gl;]~{R ;td^I;⁙*oMCd6mA+N%?N˾Tv [&G˯1sIcuKWrdXq*ʃI^'(v^-B4BlTWI6S Z*|UR)-M!ai.~P\o{42l)^6Tp9ռAI A Vɪ{}mJ#/±P+u$6ZTv=Du ;)M0 'U~~jxud? IC#9R7Ժ8(޽K&SD)[1 5ܣO_D\3s-`刈1t1$ܲrz6k^8UM 5suneO־etZu0? c-o_]}ω]pqY; p1M @]Ԅ } IHId X\bD14@%Pmg%(yxSu~WKGTawVFEHԼJq;/q/v%~qA>'(7U;€V9?YEE/N"6j_GMAPloCn L=pYoe eWWdiVB& H7P?;7VH!amkܝDq?p!9 3Tznk]= nfTOfB>5^)+5Uh94IN~ugHZ!)L'mq*1U b|f˝z?nB 5'սR@D6] [F(CܪKj29'_Jk@2?"2b$w=9f"Jz^ 2o6 /a8:ۤu=0X*ؑ!)*q[FHfr`Q>#g%wηAod-3)Y݈Ϗy*k2^0=Aa;SЕ)qB"KZr%{\MjhZ_p5W m! \批s݀waڬY^r9;VE̖Ywm:W)W,AoZ.с Ů ʂ2YlhUWe?]i?ao=bЮR5`'H7t;aˆ4i㹛X8o|S$ljL֞Yƈ:Ma8tN2}Jc%CK=zJb=,c^CB4f@|bkROcQ_Ŝ[lMJRSGLM~1T|s!G)G_ә8u s9HX3]}>eGĦvܩ0bbI0()?4RL |Ye77(:fifF;& \~2|֘IQ"oOX-ygKt|iB9PZ샖#Q]} 4gi{܋BEwωi꼙+dɡB*^Viw:slfnkcNywQ_$ۿ˵NV{(nK4ci떵p{onkgyՉ#g(] 94wgpZ*~aˏ`et]C]l:EЦxߡ7 LA"@k~p-namd.s3j[6`$Pϧ*qV@e<0-a=_ҧ%Hnd[pJ%zH)0ˉy <_h럖Y+nC$*3$uk%•Hg4ʧѰ.+Ae˓N ௿ ,<饢:"$1YP x$GNxպA1|&\1^ﰂ_ׂ}Bb ;BtޔCuEhyWP TħK\/v/WmM dl*5LЉ˕oܵ8yqRn2“_Mu԰,5&aUH=yVv\$0f;^{;? IC#9R7Ժ8(޽K&5,(WsYMý֞w`J}HOO\lbKZwd̃*>i ]HFc .D?u-E HsPy18Et2 <":|$1~HL7ɜjDvRrBшxR! Tvc*΄iT\҃FJ`˩@)! c (r8<[=BGWHtt[bͩVGePإХ5{F~%h} rl:mb>ߌ@*8?KP="Z[ )A؊x=~r- Im}w8d+qynz3 # B!SԮ)KІ&:%bz7#fŮ\=J2@ntz|"04 9FJo`Zd"saC1Bm0^K%Ebg}[|ņJ?VNQ_曜X :0f'R0#\yTky.q)$:M&;`Ks\IO|>)Q0h6>5 TG΢Oop2ӷM1V>10O]exPV+_>?Voeu W_9T}i>י_`zQvkw7U_|yOz H1V!J 7VX^[n>_,E8'P#b ;5&ؽ]v-҄㥌d {zC-cm\?Bǵ|)7ΒBQ\؆{A.w@:@xuN[ȠE"Q݉ޜxEݤ@ʿa2;:d[g ;OPVY‹ 6^46gYǠ]yIF|$oYavۉbfSةW8byeVӈӡ GrXLb> KpZ*k5MNsK:[6Nȩ[iF VƔ.,ZUDx.[IH6j x;8|Xn$ wwEgj:M+sPn@{=Mcܹ?zz;(m$4`ǂx-L( E(+N^=jh&ņ4ԅ1-y2>)ںfW^N7L8#6'z#k0}=ϖţ7^_%k"5ksdnTVW* D&m> %;>~kmٵ% ʍs@CW%oyGWU=&pCd(ɖڕnJkAMw8oՏ ^}iD |J~F%>}EpG &]Zo/fXէr3tγơLx&ߐꚞwyǍPИ%&Zs!B^(;927"]5Z&1cyv*-2uK{y+FLJ@vhT>bt{Exq(fYoL!GY5-͔O 14'8S"ϥbWb.Ԫ t9zpNX!^,m2b펄i Vp7!E#Jӿ<`8t@L"8zB Ĵɤ:BLaݹf-srW f~#cӃ<s+s]|0Hٯ4*$A/K_] ˦KOҕڈ Se2Bݴ:nߊ AtJmA'8 o34lSp, &Y0P m>%J 4@ M{.I5:Sc-PcA 0Y$dDgW"R}gXq^RC=Б\fV|BUڧ|6&/$>٤³j-?)Ra1NQvzt+m\CO`/+&t>u/gYZ X5]% Amortized_ComplexityAmortized_Complexity.Amortized_Frameworkdocument.tex7zXZִF! N ]A-MՋhvG"uIBm5~<:h_Ug+v):t?t:ip+4}`V^P1G:եvh+?RJ-9eˇ !ʏ_PkWfxRynyWYٽ}Rw1GS8 .ӹvX?"vƓ8`f@_*fԪ6F-UZodԄ6 3T;uP҅\8JՍ0,^'OihQ48Pp6l 7 īuna#qWHdnupaq(xZ;9V']jli(z9! or*U/Q;+Ol, e>~z-(U)w;r=B<B衹VSԌINQkjy`ѹBˌ Bq(}Yy2D6%ܷ嗩xhy?[ERy6+ *mw|pgV^ 9N7EV,l0~m©L LeL-0`./ ;DEB>Q>vN̝\_gJ(ZH\j<}YpM)8oV+ ћ4f0n0a~8-5} -!ϱYsŝЇgYZ 53% DAmortized_ComplexitySkew_Heap.Skew_Heapdocument.tex7zXZִF! ^ ]A-MՋhvG"uIBm5ȥJASEWY`6/8Kx~e;?@,N5S}`gYm.M[E*= qY"4#&,wFꡒH@ ^J4;O4Y5%8Edgi4}~pibI.Hml²!6 1Q b?)v%E 8ӭ#hߐIEF琗F|KVtTc_տ$$R?_  KyO13cQ<.d`6x%+EFJ7lM̽Aj;0|\MuȩR/ m)NQ;\j%7@i,3ܗHu,Mp%EmtngN#:}P+L[f ߫ZʻP}~Zj ;_JXg52lv*Bz&覨e`6wFt6*p')I~lMM\کp )qğmiOuS~ &-YDcp+G!#D2 ÞX_XD2qd`\K~+ufK[Z?7 G_Av_Uo򢧈y F;?7޸>`7Di ƠE+;1_nDESmѴ_:,$!+=؀Ƞ1>(}Tw*. 5SK_5sC]&9궛خ :N,չE2ǂ\NjQW9YiRM3A(0oh mʐR*jl^o4;ȖDq/7U,$< b-(֙h7܅ư@O /M²5ԣ%m@QJ=v+Obk\R<ݹ@aG5cni EòDigsfQ74uPkVMU[ރQ)&V/d|LY$#Ki{K\@ɧ C~ݷl<^ei!@^/c_Qejw_h-V'-#)W Hz0(\Χo3t` Te^A=#/ EwB9>-Ζ2UprcmOmuD ęJFS>6NJ̡i=tLUe3_!'cSU`FC [OXCjx8ݚ$+R9 x⣑9a#?wE}b(XK~hJ^18^.2)1d\9d1"kQ{ GC}lI!_n>ka߂o0K+| G%Qdgw&U-()sͺZv@Qdk#K:Q+{@@^A+2XռP&ϗr!][c.]w"&A޺7j] u^h_;my[MϿSC͒^w0H!ס@x[PYFoT%'#ǵ;R qϘ),66Q 938(Vzie#62#̬0\W.Wy.>iș~k~̒lU5<}—.Zf.n#8LYJƗ>tLs_݁x R8Ov|P:m,Eȏ\z@I\is4u؎7hUUJhC4M즉02zkYɎ%8k'n$s `&sp4]s]qD^Vn:`kH>EWvU'q>K 奖qp ҪMOaB8F¸Dtݣ#^_aCX:{eR,=1P]0Y>&>aDV]Ů+}$wP{IhOl8onGVW(eIpIA^/3jtҾޱgYZ F0Fg5K% LAmortized_ComplexityAmortized_Complexity.Lemmas_logdocument.tex7zXZִF! )_]A-MՋhvG"uIBm5!'uvR-cK%@%{PݬӰ6g^.\97a8Q~&hS+v}I$q*6>d|j AFВYڏ`mPf#>^ #-j79FKR:V &5S:Vd'56{ϊ|OxqJĎxr{j4RDӉ#0a:ɞ(K󲘸Fh&3L&S;4vHԬǡ,/_ #]Vf v(`jL@e,n YzUl%b*XaEV $T0gcunh g;Z:$7O Vz1w_"a5"N/5k7ҋU=W"ig{fB 0H4@5`|ukI/[ "#p%[#rsr=|K0rG7g.`ꢪ!E*F!dGPtk = ѯ5" & ~7\U+*grQg\fMm}_8ozo:'r9Qju^PkƎ+k20 y9I}9sv R٠"*+ouTv:7 k)CƋ]aؐiwW+1iƹh8'D{LFHΉ19 3X-wBSq'֝ ,k`Į>ݖf˹(Ch3kHQKFr#_!!OV阙s E|y0牵Jsn9,ʉjBJ /mD* M*I]~Y _`qe.daji scW`R ű2ώnw<_E6ZiV~p~k~P~s S01BH yzRg%X .Y-TM~fOAY\!-SS /~֐nzk5(`Dypqǡqg>,I3ݔ` ih*fy` zQ@kSc_<-"mzin *6A)H-T7z ٿ*RxXzdɨk%=%!` SJgYZM5G% Amortized_ComplexityHOL-Data_Structures.Set_Specsdocument.tex7zXZִF! BH]A-MՋhvG"uIBm5#'NQj`d>܊ㄢu $@BfY+uͦʘu}SPӗ -J!48l MoJk1!юhȱн&7gJ/>\єK]Lבeg= _h n>oHFBA g2;H_44F {P'hbom?W[O^,ٵR>T#; J*vF}%3E?ە6q`zq tp&EMU}ypUYrˆ8bHf|jkyJ21~.a)iȻ>47 UVߴ1C^袅?Gi*|vvPD 5- S͠ݐ5njxnۏ.]AQ:l"dTTUH0-5)|}P惀UMD<틧mIz$"n/yH㻌>2Y"TVBg3iB6"4 ;廉2"sizk&۳C%g͡]!.rO _-+JT{.7vMF8~˟0擌"s>uWyMQK@R2DѤr&**P@SM\4.Nݯ$tԤ#+_oB{Y{VZ;t6bEPyIݨ߬om!:>:֗5Ofpj-%?jaGJRM;38d3’Jj_\?'JEc0ՄuVJi]bEc3(_bGK cZ qi5`pRP~fN3%cFƚ1Ƥs LQ/#hiZ)phiQ #o9rE;aHwیQ@s ;`JEq~pu 'of7ХlgșJD#rdB&@8JhRj@\6[`\K$L3ZI,u wx '?L*q_'|A1G2$3>7jLA-EW^}MĥvlZMc Xm M,! >Q`aYmzj ,f\\l!rG>'.c|MCv$w#_Y+ͽ尹}-*ܨ$$7yoNuKI?a RwQBݝ`! iwTErJs7G2u/)>|_BvFWh@+`f_E~IRa6HW]i^yX PIY}9C&bۢ! 7M,י Z5Z6o^= 3{Rz9Kxm, s%3@Ѯ~:Q\+(GA<J\@l{[um , QѴRĹ9Sج:B@˽D _]Z;*Pz/Fg YvtiiH <Ϝsu#3Vh7 rhPb{t1S]=ozJ஌ȂG;0J"TD- oVI9dKv:pf#ns%T̲AsbT+IT 'B;6Upޜx8 نe-n!L5[tpPST45Bc w㌹ TGho:(kr9 xR 3sn,.xW~1K,AH[i+VCD5toXYdOt{s}bvK7C~ Jɵ5N #99|*Vz}?޽%=z@-ŎE!2/  Z{, Μ3,P{ .Öp"]||Fc_˾2Z3KQ#1,;wWPuUTBI'uL-O\!.Rs\2dݚ0oM)3*}e{?]y*_: @긜:n_h`Xj2fQvQJw2-lW7;e8B1~ ZlTXC^#21 Kpk%-#kH&\MHMI: [ub4QpCLt8yw5wh A;W1:i6)Kz >Hb,=)_wpz42T!Y{m.ΎNS*%jAܗb葇ib_8T}0Vi K5AK8q6ZbEgH ߋ+EJ(N Mc SVFjٸb @mObo<,ndߏ!eάmLIaN14hGqja<{UZ`G X [2[j4w~/+߄ZBH0~QlH'e%7s-Qo$:7%s|!nYh]j0ڵoo"x8\vVC$s5r?gYZO5K% Amortized_ComplexityHOL-Data_Structures.Sorted_Lessdocument.tex7zXZִF! *j]A-MՋhvG"uIBm5ȧ]Tȥ`R@ņ04tqu9|D˓Ҧ4:2.x2wFII\LyK\ 9Vn1;_w)g񄗭Qɿ*E`#x4*F?(WZyf1Э7lb]ތ>N5d ˜At]F< UeMYD{S f<: h Nq>ԙC \4*RXTSK g7`eR0,oIA2ݑB}}2sMc QF+/s XSU5ucn6_Z!yHm3U/VSxxDRT]8r 0_`5*__R=@]KUZ-`@ \gceø>0bRh ︧=넃8󊙠ӗ0P$?ngauC Pa?y06 !4d$"5ɑZ5?)iRL^)!GDSةPL 94 Ime 0փqஅ̘TԎ T̞NgYZ  T C5;% Amortized_ComplexityHOL-Data_Structures.Cmpdocument.tex7zXZִF! A]A-MՋhvG"uIBm5Y;dM;him6 iB?D >BJgIMZq2ӏŠpf]8~RNJ ^͡ɏ̲vvarV;e*hXeUgٴOE.:>:NMĨ$Q)Nu^,(wNslu2EI\pTES}Pm6&&U|}"U|;:%(=)[#h Tt\"I6+br{zVWku1/jgYZ5[% |Amortized_ComplexityAmortized_Complexity.Priority_Queue_opsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5L-SaGͫ9+ƒm?dZ6V2`oikߵqZݩ=\L}3~<^!z4E94067Icܰ=pY'4<ֶ~>E$Ⓔ)`c3 g(u86rcl~ծ^$%ɼ"y̛~EuN g@W/2"R$QhFN_Pή.].+hc$[-rw0y%M:"} VBW eUTd4 d_gYZ)5g% 4Amortized_ComplexityAmortized_Complexity.Priority_Queue_ops_mergedocument.tex7zXZִF! v]A-MՋhvG"uIBm5L-SaGͫ9+ƒWxqq4fSjWE~ di-`,\u7OWx86bE }k/6y2_gA@ю\EJШU[-椖.͓d}JqtZ9d2fgqmbTgup9DgT]-) bq!_ 4W _K׵ګw)йGmB l(IcKS l{u/!z[6 b FO72qEf5`dl6WYK 䯇7j=gYZ ee5M% ,Amortized_ComplexityHOL-Data_Structures.List_Ins_Deldocument.tex7zXZִF! e ]A-MՋhvG"uIBm5gq3P`J깓Q$}oroKB%[ 9H(.Vˣpq੓t߱8Մd Y$⢖#mwG.(gXU}Wtu8=}E2@ELÏX𗒛6άcH1PZ-Qxi] 5i4ĀīI^  s׎l5=gfڷb,+l 8x8X31$UH&e ?bu2D*mA_a나-6j ?8뵇 |o?-a>hv2,MjI%0T9{WO\ HPs Y0+NlVNv< r@/MH=DSEuLlhAW'|!MdB}Ԕ`AfP+Tu$ 'h^Ksrl |*pPɶq ai̜'& o^ D6 SH2}J9~ p:"+ԫ@v4ROh_Sb[!$g6D ;|jfeڷ]7b}N" ( yi)2 95h{o/]ByjU WCUqx>ҫ3!D`!vћ=.UJ~$`i,`  K?u/;\/Vz0W؃GvL z.J+H hҲu΍ <貍Kk+?B>"P"}G9Xqb8XsR+wKmn[!Cf {Mh4NmfuK,bb ?_Cp.%f+,yO0'@NO.*ɮYVo_/0V)sRqu4@J^\uLVޓ$ĒAθG^ɩZ84 n{**:co ?Zh'"*"sor,UOwF;ȑSb#O[!ǂ %I%%k 40qKlrq ()XU ` ĚÝ"l)2dء^II5׵}p:92S6;sgJ~w0,E D}(u,i2*t\ܩ]yġ!د7OFp1ٝLI{w22pJ erj Yt_=Y4;bZUuz Ra;@(V[X >\[쑞-? g"z=OwKsϦ92GEoqlb J][Z:gC5YR^#\T)tJ1ܺW V^`7"ƕ[ɽvp5K^W۩*5fC4a ġ|YN3*Q@P,s?;bUȶ ,4rO2<^6'0K/)ա@/g7ovMA#`>̖9$C`mmJ {b\XKri¡FgYZ#i>堷TSC~Ül;h=׊&6gYZ7zXZִF! v=]ŗXiɟ1]" Mԭ02NaD^/*7ѓt%26{.K<0I]ϖ|߆>}pz.*ф5sA u;O'FYxB'9iQ5F([ܲr@vW{2.zcEhTI,xqty9SpIoDL̍n2f$OBl5D=Rnfvfe>U*-JsnPKZuX: _h'cN1aES@dGg0Qv03׬[,O<0=N55#ۤ3g6ߣ{XًS!XktcH !FdK2$ryƜmO nz- We^t7_?{IJ mv7wqc6`蔄I62Wht6KsW *@%ЫȰa-%n6BH]8WRm# x-mWI?Lc}.ւtPlU#nfgYZ7zXZִF! <7]ŗXi%BzR9*C!f @R9ЦzM%O9-ͦsZ{ӊw amz:L />Sq?zt%U։t 4[ f;@žxW#c\rA'ˋg9?qx 28UoLO HO(:G#Nһr4{2N.,p V{ v1B<s)S`%@Gͬ?;߶m=9<| .1F<ӥ .!#Sv4PcBΝqj'7)QֱYʣu Ūa4SrgEyT>`x)WhWa,aXO>#p=ƒ(N߮Ir_J0 `{1hᵴ4R7ԭ]gZo]Ğsg ;aAUl>׳ؔ lx 7=XƆJDR8?ns*$ʯ3+)f:[tbd~a:lm*3<2Z ^9yS}o_qd;t &^vƕ>`9n(f= *:E8s\4n]xc-Ӊ{2~k(OY!Hc!0jO?sHH3ﶦi8K3Kzia4^x!~pYݙбsl07 eftˢkX`&Y29NU2j=gXQQi%w>PC Z `Ƹևko }1,:_Ck;/9 \jtP6-Ia&(wR3DnO-b,GkjK l;s;%p$;N:i |GJKP8]QIK]n%v$<0[jCGE}aB+D8uPmo!zF 1{?} r. Q㵜"i$S=KdJޡHJyE, nvB$z"U5~VA6ra%~ @g _%$_G9]9R/OHAI" f)i wS;$Yc{>H<G=df\Hk)4|b gCrd۟ޤ[V+ú4gL%NkFp-k;d*J`} p ;!j*8mDOU[c U&g;805ڳ"XhKB=o,VCHW<ڏF.WQehDn8Yk1\ |mj~U\e.>Q`;`Hn%2 ZfG/ "[UD*u)e|TPėry =sHլR-b/5̱qȿz}<:Hgs[Yܡy-:2z?O:V 7d>^Iy>mpӷS2-SyoO8{F&y [Ti\>+* Șo6JCܙlTPCY=HEǾTU;K!e;R5 yTfƒbUA˲n?䷜_4̚6n?TdLq#^H錯[E2 3 8Mq;bݑ)`v,S?W,_4J ѲʑS=CeM9>:Ԧ[<lHfUTC!µ31{BӸKTjtqB lvG*IY΀a>`wr0@7t!Y}x:nkM4>)Xd/ 籿:¸4γx}KGmEz0e{fz=$кQϘq溙_>< у -Kh/7u{ 7wlV1aRzZ4πZ^wx%9$8Ȝes'F nAiNc:-Of9Вy 8W6f@& y lXě fGcZbmJ^V=Q+4@iWʼn! ,(p߂F)7` n9/MMRCmNf 5Iѻ8XsMX Z%ANLv }&ֶI5OVfW^֒ :t=7z4~p}I#'ɫnp(c۩zSf껙zDmՍ@ p(=aAHH8M`s[根'` ` m>\j O3Ib:-iDu*BC bjs(O jYg]t֩=|Q vz`>i $N0Tyr,+wE1R;Ju|:Rս"S =ґ42GVƓ p~LgAԶQEn-WXumHY0~SB_up[-.)j (tR#@cw?H)زT:`}KL!aez'=x5TR/v r8)ct3[;%:8G*ߗΊ)!.a7`0om\^5Q "EvAP2M2 0:CdZ%̩"xܟ:T|. yǡ8{sׂ9. I/5Y AvC%EQ&/4ULj)E n\7CZ{M Cet6OȑO%t^9ng\B jYvp_"nPYKc#q%ql7OvZ&6O-g'e!M8E4d uy3iփ|龭c j47XѮKΚsW˴&ϲ;uǟ*2&? 14U['W6fCfjBnU8gq]\i0SQ#GmJ~Y@ k'?q Pu͙%%Gyar">mdԗZJpl*9=XIk@)ryp=.JveCzAB-Ğ yf?ƔJW]3n N|ԿIF-ap7Бd$IAt"S۲ 9g!3m"/il,r5#MI`SFӣf071ŀhnfbH:1xt.po+0)ct0f 1F2 H{p/h:SkO13;p37ZC-0Zހ0?hEk67чzO=⩎͘y'HK78wb8(dU9詉4ɳdAWi6a}o,88>#0'UY ]N9YA:;6n[N#/ /YBFSX*d@# ӣHFhO%GgKAgtH08o5D2cn ?ͥs$N@-焲p,0#4 \~̼rX_rDm? &??PE>cT?ħ̾ETC~4K`8QI\_Cu1~0Ժ& ,TkbzQgb{#]P+b:Iܳ [H 8#kh\ށ?-8a$ `j!_'~X诺 ЛG3~ B ]^k9 ?UzF#b>yCiG5+2ꨲO`] z["lg(ZKnt˾[?2m1- "if7 -A#OE*tѩ@ˊ~71!X- f) wл%YqoMA`Uq4Jz^glD-bz5>Hs)Fu*[#K^lw%Q`f z&/fDUaAʝ^cbsRk *XF[DX҂Xze^i{wfonmɈwV '0+rLm Ma@57$I}ͯCB%dFG k|Ǭ3EKDAga4qZt wo[#xu> h9<``$A:~sum{q~@ X: zwxqu>~flxwF36ٺSTO,`{B#7v6=Hj%K,߯X]_單/1Yv!'Erb?.7H p};X|CWvD4R.ڌFBΜO*mcc{-7drA`vܸzL] NeשWNae9c7!XC΢N6rZ,l@ySNͳz陁= }@̘HP8ޑ[caaJm4): `r]T(3/A] qLŠYL&qD2z|Lth7 i!:NyU`sD*_*EhͶVc|(yO¡S5Ʋ1@!K8| ey~#`kH̤MW U ./ɖcSY[k;a*ʧS:+;rwodQ8߮-q dQtnm98ApׁBhwR'.=KT זͥU+h/S@~ǗcLx.ԙwQm̆dΑʒeő*2kj0ɕ>ƒopi߀;d3pE7wNSA {Z-яSℜ+󶛪} ƍp*Yßk`ErNDgP#,YRD791wzb:Q/N_Ջ@g_#\Nvˮ_׵D#uRwj73J!-6{g=g_:jG&Fut;{Dইd!!ʩ8ZҿIcYFA:"nk=3 D >40py Ke^C ~x:pPBE Ȏ+L:*2̛ Ub+Fl a?wPl0RvY:jqb(ce"{0 lU3tYŮJ .MoO_J9aengx+*v@A*^xiDž} 1'=RCUvϳAglCEI,iNإĐՠaw6ix5U-VtyXwBIיG,= g0