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  5ltd ]]Amortized_Complexity:threads=2elapsed=89.483cpu=156.968gc=17.028factor=1.757zXZִF! gn]ŗXf1-/6vRZ]F!'l }ָȲuN;f@,PP̾)G4rh .Aw7!xuex7&NN!-'j$y @D"DK+*4NaޤɅabV~b2~ȴ%eq=ͨ"<o]tT'~[qzbFlO- &_4yf۽rEu^nZg.}kAC!1R GW3T=ˈUQPIcDIyyQTÙ;‘2$nTwDz,ט'%?%bB67>_FXʩR^!t$J>}@|3f>+JV)!         z *  W }g / [ 8 B   U M5[%Amortized_ComplexityAmortized_Complexity.Priority_Queue_opsdocument.texS5g%Amortized_ComplexityAmortized_Complexity.Priority_Queue_ops_mergedocument.tex=5;%Amortized_ComplexityHOL-Data_Structures.Cmpdocument.texH5Q%Amortized_ComplexityHOL-Data_Structures.Priority_Queuedocument.texD5I%Amortized_ComplexityHOL-Data_Structures.Less_Falsedocument.texE5K%Amortized_ComplexityHOL-Data_Structures.Sorted_Lessdocument.texE5K%Amortized_ComplexityAmortized_Complexity.Lemmas_logdocument.texC5G%Amortized_ComplexityHOL-Data_Structures.Set_Specsdocument.texW5o%Amortized_ComplexityAmortized_Complexity.Pairing_Heap_List1_Analysis2document.tex953%Amortized_ComplexitySkew_Heap.Skew_Heapdocument.texN5]%Amortized_ComplexityAmortized_Complexity.Amortized_Frameworkdocument.texS5g%Amortized_ComplexityAmortized_Complexity.Splay_Tree_Analysis_Basedocument.texE5K%Amortized_ComplexityPairing_Heap.Pairing_Heap_List1document.texF5M%Amortized_ComplexityHOL-Data_Structures.List_Ins_Deldocument.tex;57%Amortized_ComplexitySplay_Tree.Splay_Heapdocument.tex E5K%Amortized_ComplexityPairing_Heap.Pairing_Heap_List2document.tex D5I%Amortized_ComplexityPairing_Heap.Pairing_Heap_Treedocument.tex N5]%Amortized_ComplexityAmortized_Complexity.Splay_Heap_Analysisdocument.tex M5[%Amortized_ComplexityAmortized_Complexity.Skew_Heap_Analysisdocument.tex U5k%Amortized_ComplexityAmortized_Complexity.Pairing_Heap_Tree_Analysisdocument.texV5m%Amortized_ComplexityAmortized_Complexity.Pairing_Heap_List2_Analysisdocument.texO5_%Amortized_ComplexityAmortized_Complexity.Amortized_Framework0document.texM5[%Amortized_ComplexityAmortized_Complexity.Amortized_Examplesdocument.tex;57%Amortized_ComplexitySplay_Tree.Splay_Treedocument.texV5m%Amortized_ComplexityAmortized_Complexity.Pairing_Heap_List1_Analysisdocument.texN5]%Amortized_ComplexityAmortized_Complexity.Splay_Tree_Analysisdocument.texU5m% Amortized_ComplexityAmortized_Complexity.Splay_Tree_Analysis_Optimaldocument.texcwpnjI љ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"4Jt d+|9R.Y/O_` ~LM9WaVxeoc O 8Nl4@w*Gg*y =ζal/t^E ^ Q0rAa_VRDP+)K78$$f.6 |9Zh/)^c_X .M 6 u}>]^?EZ۳Qu}eihs6@_[,IFs8hch*~9Oc=Gta=ox~P͔`av뢇ng)P(ۤ6t5dZiP#WL$_րq #Kbrпơld:NKf8(r'e$ۆy:']TWB?ϡsw`uTA>Qp>>?oM[Q}Y^L1@Hox5R >r0i|5|ꇵ"\wi@Pz [w?uͨ؏e3CZZM[B4~܂'rCMoGjD.Eu?ET%FmL,PcCoM.Eq|s<~%: #㓥~=ʂAA"_ 2IQwÂG,  祗J-ΫԈEYbxfG~dmZ _eGj*yKJE CLfpqfku'//8 Zo]?~GbU6sghbDlt%>`v;l ۆ}0ifjNC5Y2<7Mw06[:2B92R fbo<{u\I2 Fk%hO kAυWCZxqZrr?`͍ q GJOS /ԫ)Soa49LL jA05Ԙ3⡱e-JYc}A@x]*`pZYbi!Pwڹ3T{mnj&.3onXGr] a rzR9!uIep'tK$#Tƹƈj=Sn$ǹ2{?:M-sS5y跤c(*id%+Ł ' ҈"`k2 9ȲQƝyĘigPIμdTUşUa$ho|*V?K6,bRC(8F4I X>~BYy s xLO]9a7qq5ӑc8n ?df/iUq M' K5g)c||sOȽyEBRTx'd?] T@[Խ!j5Ɛq,)VYr-PX {A}"&pR/tt6>Kh%Ş |~w.٤e@PQ3x v H4TxmjZtj9lH@}g0J+S@: &Gy=#d^Lt W59keo~x4'$' i~ZQA(?s7Ɛ(ֱ>!{14V &n/TX1謁 0hBߒKJcCJ܋VKؐ]$j[N UהxTmȁ䀬 nވl26>}/X /_~Y4E,x0,L1iX`}ubm,@p=1%O'b+F0]7l Y1K|l,Z?y5%NhFG;A˓Oc50herl%[ |Y c6 K\sI:i|4KX_K=r;, 奵  c[սW'cPb@&.}B)tR3d$1Ju*:מBy/Qّ D9 UJ<01uQe?wk0"r "{b!ɭ \SK*Wn+~kxM3n ^;B;}+9*jl7pTWd$HCRyk*"DtGچuh: ց=!hN1:HSrS* AJnL|UJNǍ+SFu(rÉ(fi_-ocI~d\R -//X5F8P2]-3B|lD)|}=UohKZ44}4%WQu8A YK-%cJyHe9"$tҚBDA~jNVC 2l}k1XtQn_|FK9 5Ȋ_ F>$!ܿ$&o|賀["MЦW&mv {hLܨt'{^1%"vҍS#]9'a++c<L_o+C[+™gWh6Wa0ۿP v.[Q(rnWlWhY;a3R`GO͊4ҭCWe z b]e|޳2vIXb(7("a.Ǧ1kiOum?v:Oh"*S&$yg.SH΢~~z6Qa!$dd/kKtQP/QsCSHt؏5*/V|^|f B۔J$$d!DqDmZoUfuwl2~]0)kP՗_%5ۇ`y x?И'Qw7Bsbo} c%62ب "u05퀫$aDbp_g!]ml L[C,!"ejKjMdh-=h;):_d]8Hd]<8{Q]u{4V;R'H{ɒ0:>͡(QER䓔s_zkJ HkW!i~ a,Wov9"~]qJT]o9_zk@)Dq\ے|L;]=h:/IgЮ5w}~zO7Bb <ۧPr߀Ū#V<8u>Udi}uLjc\E e) %,z1"J:ӃTw#g{KGUkmK2du9dJ->\w?++](zh?<hܝ֣ܿ HKNcʢk=ڨpֲDRBjzܬ379CLuOoR#B wmUmH&T-c3-Ye.659\pk]u$0j8f[mtbju@5S[ܮK[0s}yܶ$Qрgrk<liHle,|-($11k` z"{Hgod4,$cާ@9{XrdBts8uo%<%0 j+Ͷ `B_P9t$N`:+ `v^E~m~w ƫ;(>S,.*PdSj]Nhh `cM'zF產,:M ';9'uuO8`\S<%!b?T ],%2f2w(6-t"1or״56lYͫAn1;i,{bik~ m܀A[^b`)U`b W&\fN:~X}3e#_6{pT=ƅȐўTbL9/v|łY`-ÿRӲ];G|K5K/hE'-* t|M]PK#_ɩFW_G6ԼgݗݞUCG&5QDK;uTQ_>?ڂl;8#㶍'(?vpB壙 #3DM^`_huRDM-s\Aq#f|_\Xݢә+gڈꘗ}H1%|, C>+NuJYzΖ#na;a93o'"v(+Np[Zk8ezuސP؏$㊴}Rl"2D #^E٣9I옉$_gq10Zj?=ÅQD V?]'Hm"Gb `a$UrVr >Dq9%Ȃ,vj odpll- إavgv/o{1Fa{wh63Ț`~i)Jڹ~lPŝTi(iwj#i1JO+YG)Y!٭pGjaslLFTnK$$`7Y%$Hq+IGm 'Cniz 1~m}5IGFG˔ܻ"Ĕ>} "*g>TL6Q3RD߹ŬRwiٺASutq W5q 7D\)[ *H}rQ޺vr6Ccn^00!ЫŰ9=>HoVyq?sNAja\Ġ*Z혊)ֺ&;tn%@ţVZ*q/@,2 Ï=hC"Ocr]rkK^ x867")gp1$hTè6dܚ(\0 Põ@~hde_ DȺ3dJs̠?OvjBUFtQ.dRy!ƾR wTDC^G>& UӢ^uE):Fؙ-)%(5~!"Y,Buaq@v)tۦ9ŖU/:ZSI/ #!g?G\mk۫8z=Vd0eܥϤ0ֵIڅVa*AC<;s>GCb$9IB%b<#4%eP+"J}I:]}̑%V5C*\TS',).YyUH@~(@97t}c|)s⋅!^2F3[2O;-{̭rm8W8.(D;FiLxu?^Hֱ )DjtgYZ|vQ}ǒÌAGKd,~v=A׆tC5qgO TPW .k(T2A2UÙziB.b*qfJn6av^] i.T'_[z13U|cLoumB\WW)gU u,%;.P#:TķOH yZa ~! pp7^PP/UK=*,V8=%ʑkbw-n<+y*u&MY!go8!z|%X$DmQMV c1YǵGC$dmH#4Um@qf_ݧ&aJ=˕ExumBFXYꎽ1hR>YZf(dBzk6zvX̮{(4t.}^M txy;J5"O4܂(:Z |B+x1R𿅋t4qm|E lYkQ_t1YSnI}L)WZdB!v&QLeBfuY6`!:\prVy7XU0w#3ghP2~k$v.)>"oOcS?)շ)i`n%xn= [bK6.u !@7QiacYH$|Q1S(oG(+I=d&||ZQ röMv4< pjּFC! 4iz|}Vˢx؎5&p(_(Rr%mG|Gʌpbw2k?B:>N~gyZa\zgCk,A ޗ4.Om@!pJ钷w6Ҫ|7#|nD~,@,v-[5bdž%\lYH1/ G\NGsBy $]T-Cz ݮ{^qjV 0^}0citCg?sM%Ц_u#Uޕj\Y%2E1649f+uC >\T:Ȉ(SBm ܾI_"znNfuFNKZզ<NHN_m6JUW3nq k.ʇ l";Cdbi62.ttו%gJU4N|j~Lȱ#7,a~H@5|#h;طpmߣ`Ԭl ?Ym)H3Xk~ѵfqէWCvQ3=ZK֋>ιSso;)pS&nst=4 Yv5X0gbV1n`q >)~HWu;hn5uimޏ4 ^sɺDWK q,r("ǁauUmC3ߢd`+QW{mcְb^Q- >/b;BM_QM0K@ؾ #F:_,IP?u4uyYU6zޜQ3FbT2M"qZ@Iug3߄1Qp7vV%D9is0uE{f^ ݵ#RYvImIy"L $\<=crxUFno0g:4dKp8bM!,s;/_ow$KXhh9tHۉwM|,+\Q}['KUH=@SƓ%=n/^z/#{maFւ4 sC^9 i<}4q.DK^Y$)B8Y5蘹 ~l K)a@*úB6fr-Z:vO4%;I`cuK#*]tP;m3¨,SFn&| bJCeH syB`o~Ч;R6KVZ8ML wڍU}r铈W7)ܙO xEQ[֝4}zQM 1H_5CͲ=CFk`<`Wfm3\0孛1G]VTW+.5~޷c]B }Dsb){ԲaQʑQߦ;3`ptA\$vik f[{"GJ5:ĥ>?~bo8,w*&:ƿ՚[SZPc@X琨dn,52Aa5-C (jb _ax._FF6k+^| a^0nP5N1I\$s'T_{X8B#ЩZj>0C1|_t4I';dˆ&l陜HK="ط>g|\3VYܧ5mM} "eP9%_4C@gQ U/kIh=f3RHd6l8DylʛύWdc! js܄C_e Uא=OmTb@d&&_g;ŗÑs¸R9 p".݂@?pxSݞHh=|ݵZo 4ym6QؗLGs+EE'T2; @C i2ϧܼ.4SixB6G?z U[5+/$bf4\dZQcӚB&d/2W^N98v]mj4(M?&^X.Vh* 9>QazB2>wd~70CBy!x+m؃-0ak-{p&o">ԧ|L>y`?"&陬8e^8$dc|)|R;t2^I`.jLJ ){@L3JCDg:# gYZ   p5m% FlO- &_4yf۽rEu^nZg.}kAC!1R GW3T=ˈUQPIcDIyyQTÙ;‘2$nTwDz,ט'%?%bB67>_FXʩR^!t$J>}@|3f>+JV)2&pUl(\EWǗ%look~H^Ic BL4`=\W^]Tظ*v2wF rr5]% tAmortized_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[1giu #aWeJ 7LꟗNJoqD ڛUҰw`: v*/VD`sۉR(PZ@&_%c 6o@pJYqBv1AIxŏ]#HM0+>kwʳI0%)=ΠabIM*A?PY^442td+B\acz9X~̟%FTۓRԢr14BsUWT+uT9V;̷;pv=^zh"Bmdz@D.ݚ⒎}[iΠedJy8:r2,H̡@R"tņ)ocNƧ8:<1zxF1@B7L4O ENP7PdnUv$_'v#̶5#: `?Gz㸵s%{r(k5HN$EmTbM⿙rסON;gg0>E<"Z(];Z [~qw'c%@7CYY] KGȔ Nd߾-1ŐРB2 ]頞(}k0f&Ng; D˭6_-lCqтӍny2D&Iه YlMȓ:ɜlDbpG{?4w[*Gmu.=ߏ_Jp!dWXi4e*ڱ |FvlLЁ y ʢ~nĊw<wcC>LvIzk)ƙ2"+N:XHn?aA$̂Qb*lD[ئUvNm2r V+N:;? 7u2Uc-=}mE~+V[:sm$;FXAC;}μx~ivpi'M%=`27φf5ޛA8aˈ(EJqb:%]4?TlG껅p\R+AǴ%w`،\y2ʘ\,!:$3UVAnH>3 ^Sќ0ĺ6!WB˓{n3BWWMWN`WeĶd;$IC 鉉eM.WLHYEHur~Cɾe,wzDB/: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!:Ou|S( cJ\={N)7 -j_mzmQvH6\^{+k4nOJb_[/ym:Ʉ#ą WSt2x&6C=n^S&*@P0(|OY4\lLrX nd{gWZhh隐Hyo3g3=o*C?%[xެ ud#/bi,Dcn7@&po-i}CwQA{6+ޙZV+D#]s;iX E餎E2Pvg丛N8KQL @C0.?ZthkAw2y&~GFJg˗57i[%5Ǵ;r\J rz J+$L3Vw?jW?mpkTSҁ1jOJwMOs/&%+jsz6?Z@dzuWў/!HdXL{ͨD!s]FJ2Xl /3 jj!KKl>[v&{\9cUa~afwlf'I%B0N+HW ?zT[kΐGɼ?YVytTچ~ $TjB$C f ĵQ=I͙ /\mx;mb$CSi &fٵZMrdHśvJJN<[_MZld7Rud\n??qkЇ,Y݂g%? P: =4TAmcG%)#9WL::=9534y\*`EPTbrY<`X;"9,.i9n$\HW W͑^NcGjxmK~ozd?jS1qʂ܋e^)MBNAL&_YpYGG_Q^JCA'V'0j6Q!ǬʬeyTd6 Ⱦ)/Xn14 |;?%=o 6w'ɣ(av@uj@)Pz.PT/bʱgYZ ~~w5m% LAmortized_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%ȜG et.S侢cOj^l,+6VF[#G BmN-*9VDNJln^1(=7)L.ԧѹNB2wiqKBV+Z)z;~g?4tl|eA!u`@hNٜ{=LYxs |9Li燝kjs{3omUUѨO OM(I{ǟ ftP,o2ىfC1Y 4XL0.CTYGA {1qwm{mj4f Q-*"E +rӊ d_' Սt"2]`o)זg`9>lp$ |7!e`LHI&jRCAgݭ.oYT|7i.Ŋ_12x ;-B+G Q >&.l5V 4o#R8({XIٕ֡J#9}Č89u^_ѲݞRS- +𠹲*uIeֺ_oY4΢ *` Y?ce"gE`Vy2ɂa[hcW VlOsYx^G2 ~:sa'7W25p9hK1%''M%.Q`27ԫuŏ-^<:p6 yS^ޢY ]|j$H AGtuZPVADYM/1̽^]<3F#V)3xE}JX=kfO[fՅOqeJ*5ވI?_)-Zm [I&/GOSJ3_wǹ<>z;{M( }) #> a@}"{#O'~Wݨ&`7#:O}a,VD79!2Ug⯐)>ܳ =.#P?rJJ_"ys(RgU@BI_؎Nnr'K^v RAřa[EO_CUf|пq}ro -Fd{TkܘCz n90n]p_vFٞ(YET/+pYIuV_W%my[,#ը4;x{)~ػѽ<ei2؂1X_ d(@K u0WLBfzL[G4)!!AAxL~S z&t py ˆrzq&,TfNoJZ˵}Y77-{$D%A_EQ^6Q]ݩA~201K+{v1J<±=̆I2Yֲ7WA CnsVC'o"=e/",qvTB#$gi=7ri t[<[;M4AT: 쮏$'1/k?v)O45E2޳@#PIZMFZ$,Qx4/HC,'RnHW$ynB nPZdh\HR%-h@Wse/+q˯1y K](Fΐ'`!Uqx=(3R޶o <y5w I':)?-NKXu'[ikP-fy;*Ωj4!؀u{veK$zUkN ɓHFwٱ?1r9p{D.]Wv\d9VP"չNBGV!c_( X!G*y,f(+?[!ܠ^tvyr+º'S,5 :w5):w3]ɝUx]+ʌ:Kpڣ2yc&i@;8ikF]ʒԾdx Gq>~2~ck8[ q{СlCJ&êLc~L:-hNbhK]E(IX5s8&@jo$@9(tqC4zy#%/EX&?藙yBv|կpް,c @'pl`&lb&~;F|,(.iL(Lr@g^`r"|qX{.Ԡq 2'd\M3Άm ĝ7gu*Z1W]"} I\L0caeȉ_HYZˌwN+hkA~a }TcMt aeM:Ѿ>M UNt$F>"3IJ~A+QER kg?^;p.-UG&Fv@Ql"GcXa mZKj܈F I}OrOv+Z{%\) %,7Zmq0WL9TY qUiq ǝ +`J+ce~/> +`KN1Y锋2m LO03!OI!77zhQ+ ef}~g W;iÆoڒ/6ܚ4X[ Gԓ9 =gl$Lt镨aq'MyS, /j>"o"׬Iط i*ąI waX}P&s–: ; g}ByվHnkb&,QԦhg %BgKlD tBvj❮i㼀4g"."e+郪!mVE(trA3;x Y妚(rxVX'Ǣ HE r ˈF逾 'It=/1wfP7\Rͥ7Ll>osDfG4­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)`1_p57% tAmortized_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ĥKYpQɂECb o4i#2?@^m$J &gj3D`rx+9̮Gh4 -НRQe9Ͷ( I.<%G&(o?|2YmOK_Nv8qa~7,w銸&Сgk/<|HʅފyVfwR’~_[͸>tXCJXwSot$WZ O#֝>D {hQ80oFIY0Uf7qaWfhm&1fNF~C8aM{ Nȉ8fi7,+=s VA|*JZK)PąoҗS:QA7W`J"K%58vo Hfwg%0) }# 0oc~>Ϳ@Zn?AzV߬4ɹ{mN#i̹&e' $@&; 6!K՞9B"I5W {)i+2QI`ɋk 1,OMiqMjD3ZؾKƝ\{20)1:' |`ihN^|9bC7_R}Rzx* \ (g sv146Y4aNSZ#(wNvN!: 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 v _g_|δlkA0DGmP SM@TVrW|=WD µ"߶glp[ 8(N22X", e / Dto.*6u:RS0[nej䨄YETx 4M-Wb93 n UV}يE5֖SFv&*$ԗ/O%?lҾ$yjjҚ~&JUf,(;&fnoq;E#Ihi"SɘLo7}$>X]оAUA0 ~%'O R/~tBr 컳e@^VuJA=sBj(]5Z_ꉠ+r-t=qS]3:b-a:~.A(HQG(})-~Kz7y*/$lQekDC KωP7Kā"`V5=L-S=*E|s 3ߐߜ3Dӊ*etvxy^BڀgNMzUd d@9s0GqL9"a1sK?g>*BՑ+Yz(ů% )fj$ c L]Dд_D:ō}H1`.bMW]S 4? 'bU`=B=?%2 /gu(պw@b5%s(uC8k' 2eS;JZQVj _J׬!ThdGh"04H - T{q ǹxQ7Zkw/'&zu# nPiܑ3sy"W-jW{ϴz.R99uʩ> =|ĕle8>TH>. i//jԄ=#Vl~ߐo$+k.) 9J j[Oz&c: +*|_ ʺ:w-1ѱ<:/A+E[0R\9R.6P~ԶOan/pevHs:; !S!w}BK.)P M+3"Iր.Q R$G-CguM@L@n1:hj0KJ0Z( X}bҚO7R(ETesƗHBMR篮=A l|f۸nD- ŏ %D|5fQh .E/TMqx mVJpq.'9K`dUIrL.ir*V*/R|hHշ..6ڗ5M~efxxߩUDEøõpb)#NDthd'r[<W׬I70.?>2 nAWylS vCɄ 4>e^Ja6u:eRКȵ+#@6.-H luf|D'LS(#CIK7˴~2L`vw֙=yL]M'ta VמTQ\eHtur[(euŤuqǶv^$Wʭeb#}E4a!7(Ͳw U" dQ]3sacĕ|# d?Hl|L@zuef$"(AۈW(* 0T4t`X#\}&,Em wyr\xE׾#&ZJ6D0l̝w,V,heCvDdRBF|%R#ᥣ|aPN&V5^hƊ/WV`*klI*x\S>=>FN:'4sLD#a}3ցn֚]m򤍔Ox;!Q9(LAw*{Z30P5g 35UIKBmә74jthbxOdG|V ];%Q"s "QClM6ũewr{ѢGDW8/o\G1TuAHo21Wd~˒0yYQfJ:6y^chE2fnr| h3 ]MD]OK9-$ o|Ϳ0Yuߒkϔn?Q~SʻF) :gYZ|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#5d~܄Tx_*q(yhgKx@ZcX\xYgHmt/gpg|ñ!ZnPɌuLY&nZ3<~tfWcS.I{z"SV"^(ʮ=|mQo W8^!yv|S&yc3d7f <9-K5#v9YV\@<)QT"ừћ#7,&5+slv|+yg9KU 7GX#DUVo X0K^vZBꏩ᭘(S-n:Esj.Υ!GOf2\%`W4nI r/B' iq(?)b5 0å$gfgfxv\(re$Z{>mG#+LP}a8[mz`sΕ~QtᤀՁp}Bgi|QIGkTX]f>%9Hϭ1腦to*R[.n>2)7zΒ"G'$5x 'FջtBH$2k@;Ѣ¨$//,GHwGn PȤiEc}v.s▶30WoR ]j}A .bnto'ijb)mdп,Nih={,qx'S 2o Iv Uv!͎ ,X8%[R\KEG[C?M`HB_W@U()x ʢVMl.U/gl0 pgxOdޫL=Z=֏L:U$7KEK{BSO pnQ% FQb4@)tX~Xh7P锒0o쳫q1%JGjz[yTtrAxW85 \Ŏvb ők`&+:N*Mpz!4^Wsz:L+AbOڛ@SkMF")Xꍌgy2\̢$RU܃Ά6a^뙲rP26{xxQd+S`HNlI'19Xy^=!2 &ClTE`Ț5)tQc펜]Y֝JSU2; 0y$dX:{jy r1l1q,FcRCD`x|Yc˗4)sW9EukoO“CfFFdރ=#i`HĸXaqGeZtb"$X&G S#_yIΑ5$&'%auƅ0Fֻ OIV;nWNb^TobgӱRax}O'H8htn1! sq4&+ܪ@ Eab[ $J>OLIױqjSBwKtqU%5'-9O׬蚱/Ax?ӊt%ި*\u|L2rxk#5*b3ֆoq!o.7Uo+{%M~/G˘+׼/N^p>`G %\JK[}ѫ,-g^ XyR2~}ɩx[3f5Ƨt=Mf·`;^<rhϔyIc8(i>/k.˖G95I]CȪ1rUG M$z/u RIMM \:%7W`VfVb^>BL LL}?+|O`  ,14Ր7!JSãVllΠ8ƞz0g1lgއzFbIm`f kN46ae1`m#26S 2#c[jY3  nd3+@E.ICy9(5c:_.EjDuxbu*s'tG=lI0OT& YvdYɃ7jD( wDNF2uRPgoݦ8[]噏|DO Ω?lvLT` f3xr¡gTt#&.RNϪZrإ)=}IѭiT@ [@R(`&Z3 Ŝ*7EpRk{nV{RV#B3G|^?IZ\Diw+I=/7Y*H;ERy0*0&"۰2}68n3S[Gϴ8n O$ @l*4K)yڤ_7Vp0rh rptAiodjWDYw; }_d!Rڭ<fd4 `#=bK3IcC>X߳-rgYZ *[*&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ދnd$_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#905_% LAmortized_ComplexityAmortized_Complexity.Amortized_Framework0document.tex7zXZִF! ]A-MՋhvG"uIBm5~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[lPk|/]~.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^$+@k<Ӝځ@& pn@r_AQ yT1g!KXDMSQ@U4)oYwOp kTލrzw:˰,뉩f99H7a ,Pn<:w҆cBmW+OGU;E%/汛9򋙱eab}ER$SVTD/4O͕0s+3/j:,;) 67ӝx\wί 6𳩆 $^&4$i6 ,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?&m2rOwdjӥ1dGK=ekK 𰨮gcfs ׶F̾w^-x03V TʳPƪ`H8joSYgUӴsl0f{7h\]AKyxsTђކJf/7 bP(oo¿_|ٛI9FB!"KJCĂj!)D֕A{E`wn ̝~(kpPHצvR?=o"Tej 0Xj#ZpՍ09Cݭc˙%Λ~D4o": I,,:))) |̚nZUZX!MEaKlz2CI$c. F2O,ې֞(7\Y~~N|JM ű2Z2B0fNC|ҌP\6RW?doM+먍,c7є'kJ[PAŤgBQjZhTa*D2,[*.AgةG;g [^I*A K+E+Ufbc % iވ jZ铼%(M!'B% N/h.t7JgUyռ ]n!Zű59nU>ɲ!o!VyNc]-E9c,C\㻕xkWF2@xٚ8vD9f\4dwmr_ dsg[oK\g y+S&[9BQe«Z̶6qDߙ Q=Ql1Ӽ'E ,MyǥadI~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_J;F@;h9V&U6+*5nCc+ 8exyNK9Eh~?93qK }cDb R-%-Y:~ ßgr8g+*qڙbÄGf u{6g4Fh.]H1=F5%B,X}#! Ob7?if : rzK;gH.!E7{.'[i2$P'<ާyDaT5K:оn'MkaǙ՜xkɰLr2V,ןclUe瓅r63QrmrZ#fCIA:ZӁNgǕ m8_=Wډ*׷eS_Q,bA.NqZ*%"Xk*s%,Fz4ǓlEe6GRxAz?I N:̊]c8Oq c:EQŝ2>I%KSpasbVthꑕ؜R-^q(1kѸ]o~02XzX-ly T.^e0 ܨ+S՗zX4"#b:c0fѣl 罛'FIP{PDp}>ƛb^ąJI $Z/HX>EZB3jӾ+!QU/G1RÕϰ+,D1|Ye`<|&"xlrr=\kOެs͉c;KfOr>gI[lY]¥=`XCF?M򁒅9ӰAܼ%H!j JiA돌onsnx֥c"{]e{w>f^m(r徉N:eilנt_/ggL3{1#9_"+EZKcE Yzڅd` T`jIș߁y\3Ņ#Hd03U3Cj'*|7 KX|@eޱzr13s*.(!#(ky bz9c̨|Y-}Xh 5q]8^INN|t:- ʋUyORLL;Vע: U<"j{WJDs6&2^23r8n2 ~^c SX:>y8m.2~zvq{aTm1`-1[¹u*Gʲz7tQCy1$.@ 6ʉSm;Κv輨;dmO48L{[Ө"å:8ztj!@MO0=Oi’W~fH(i**G8(w1qk /!/2ZЅѓ1;2sAf"+oolA-JXO*USJ2 ]='#Ww>ɝI aYx mFђ Ƿh2hٚr>um`z 0>]L+J]\['wlQhoP1߈ӟ 8r%@ad~zbfG;H2p҈/;p%vNN:.+z{Z"?դ"yG0JIKP w~q|6>nWu'j]!-DZob'P=;Cd`u+CzB, VXcI=dθ'ҎA@tNq} =WD/f=\Ƃ>EFf,u&#R_pw7{9pSJ`1Y93(+: ] ctIWv[)D|}%M", j2Km'Ӊ5ctu<㧵i{D:"  wj]9͠v%/s$M;O3jỳBdYH2r3;Sxa',"'MYk&y_"JHdhU_'^Q֪j -[gYZ   s 5]% TAmortized_ComplexityAmortized_Complexity.Splay_Heap_Analysisdocument.tex7zXZִF! LJb]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!Mxa 5[% tAmortized_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 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'Actornd@a_}JY c߼09QlfQxRz>St_y=i?+հ:$0UЋ j_\M;5\{^W[@xu:U5_0švGd}%6#¦Ǝd ;jњ8Lk0)ԍ,Dt-2 9Sob,x-H\o$ˌ֨T2t$attekp5'GZŠg lxo nz~Q.:RAS͖adžlQ&.t7~ J 08-!=gf#E5wݬ 40I,:H?~]{(uG@& 5ʚ%5`u +s|4Hy&QRKi##\HG`{$;'t#4f|!Q>UE"En5oFUaRzit3c!xqc |=bP^D5N☿ރV\ߑ)vbדΤ[(_v\$2 ^H)_NN]~NWoV%W"BϩTt-d!jhJ~X_HT8KC ܙb}BϤZ)Jɠ=C8/Q['9`Fی+Ko@@Y&[dpl]ڻp.%A \oX¶L riԱ~GK5mu+DFiw?7`(͉͛w8{>MS|3MB :1 >pv5oIz J,*dGFBVFuX7ɘt z"v(5g H.\GCLV|yn`QaY`2 ՙƞډթ]k#WU`5Ф"=|r¼ʍsXp*-Xhޕg9@q<])hD5$e}<t_f _(~淐2I9P&m腉 N~&WSNK +rmGc-Q\ GQ]x&( VE#t+\н*˒+ d&m~&lB5~NE*:Lɏ46ލāW$( })~y0!G! `=^5^?>eʬP~;7n`O?Nbuv_Kb >Z_4^51Ѥyq#;"s|+kTL!y Jj;׾·3ٵZKj;P1 c>bAEP?LRũPݸi-uRś>.xbC:۴d*bFZy Ra4bXesIW4YtltX5t0{@=r$Q5)ߦih$>1uwUϜ#:&nLxUBĹRFQqum]HN8\iV^9(v VNh{5% LITTX]sozŠtqo*/FtkmIx17x<#4*U~|4?%+_\OHxoD/뗴~CpoJvI5T.5ʡ8Ҋ H}-8ʨ6 +ZXMy]&e_#K1, |& ,k;xќa@,e+{1dLE4EL&.oy̆A pOɜU|%t<: C8}j3ŲQydRQj\{ز.34xRRY~4dŵI筏 h͍Lr3RG% HIT0<*|JИ0}_pҖkc0 W|fs27q^7]gR4)y}tDGc߿%xJȰA6 $n>|cg`HBom:e i/v'WAצbSl V0 $ҴF_Y? IC#9R7Ժ9}h( CsF.N˼ou\K!v%Wﶭ[ם%}Ҵa!UEߦP+dGV%-)47h&yr{7>aϏ$%OrJӦ@8O=1ݸ$:5AsFqs\@k+JC`Rqòm}㽽 u Yn΅ rJYl}r)"iE :^+L&~&@R&I6/>v-0m{TWغ>AcoUoIdT"ĺ3 fS9w;jr}<3nt|uZ#*6\3 W᪱9Izi97 "㇮M=I@U#>{ bCiMe)/U'|ޏi^r[)gIwwEo3]9#+ 4$Ӗy8[&((Ϟ2Rh2+Bj`#qK3燏΁Йzqm#bVv% $3QIМP^XU.q2cAH/>6T%=TIR@VQ"78+ҕr;B TJZ9k7W.Rϲ#ů11 4m:'$oF[paS?cD1khB>3?!|`N\0, ',gSM\6s]9\7_ +eM,6;t&zUUs#k qԺ\jg`iDoBJps f/@{Ha-"2|=a<: /iHmD.bj_ \`Gx5HCIzAY$&[,Bd-֮UfN軂dTH5v0B:*~j.q-g܉ Q~~ [oz#ԣ'B?8}XHܨ>~zi׃#ƫ^0hKTkUi*S`w\ˌdC5Mu9ٝr/36-~#r,cKUFf_@Uu7@tŢaHy|팀~Jb!)xYUE_hh$6mewVIj$_z@RRخ*דNTE8%W xEŝ/m}H!'Ie}`_Sٰ:˴U[ ѕf_\ME}T-wRtx302wLVWE=d0}ǘˤf+4]4?i@琦c\&/XTf^ٗ(h)9^@!L"(JP:_ "D0.t< ayEDRd?nNrTC%\|fHR s p#ZѶd:+ Tu3w-Z>%I(8@ cD"{L ucyEX>^X`?$_J\hޠ[ݏ[Dk^~m XJ~MNa$̸?ųEtQ:55Zc;ND5l/hbTAV"MVE= zkQ?e 7`]5``()Kzh{EPܻĜ~fV? 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 Ksqu5[Jtf9iɫNӸ8z&nURb Ej\+a?LL/(Y(U8h"xqɽFNË7{95C e)LG(Ħ]B5F sq6%`)#X,[엚՝C]B "Emj-]ӊ- 1:X->`CZ?L8 :Mٓ捱_ڀ _BMY1c*'q.:yB {w \ ̣ M8v}=P1ᷖ R>W~AI,ag,@bQx@sg}.\yaupb  tˊ` r}hNZMO>܃ֱ͋|6g 2s?uEI'"#F+͇WYR_ y9Tc?Ӌ'Y#?IK]˷,7͒8^woX*l{C xJ49"cgvf %gwH?x&VVci |oiӳ);W9ȋ=[4M*CkDD8lth*} GVAW@A{]uR۷L-?8_‹ !A!UM6 4[j F`vu;7p`@Qv{Dޯ# OB˾iCUP^)d d &: 咦AɍX<%!IK~y]3nvhCnkBL=Cz'0 $W=Klz\7K!й.UhyKڷ,rX}+Խ`|dPU]Wn(lVȜe\]X4}jg La p?x%f_ާNK?IiAk̨V·jQ`u3&W\hjܾ9YP%m "+XlR S&!bC^%3 >`R~ }k Z P3ݼsYGHk;x.hsoan:pqICzÁtNn=n\.5: ~z{QX:?M8+ ֥NtUBXf~U,v?=qwL?ܡС@k[h;=yO!i5rݺi^5. Qn>7rep8aY QRkI&R(dO>\٬dzvJlK=k /[=71 O=Sr\{9)pBIXgUKյkxܠv QK ȹ^S%׺j\x/P@$\t^a1.^"KY䛪D)Z#t` Lv޻ɂ)Zq<HzM藏F^؜ s6<_̐ /o:埦roWRc@~F\GX_tDCB>3&\Dm_ۅ _wT ELJ5uV^pIک~S X~{~T9 1C@[3'r1iYl硝y /EVO)aE7}ĥ)KZr8Y߸73c[/e4ۤ#nn~R A4!>Pr݃iE/sE3$wITi!=}D -Y +ukyM"f=-(/5b;o"1ڸ+< cDѭVݫ1Xbc jl&35؈IC4+g8ZyV>>j1/i,Έߜ;%l\W`{]TVxa-Spߏl'zX펯P(ek q,6x[HOKTorw)4Eni!WW͑vP#O5P k,<3d`.3L-5vIy6/Vۊ?fփ9,lLU CNȖ熬YR;+ksy8AXQ|jabLGT pIAO'57Y!­* \.^-ݹNkצ $Zfjb 10ZUţ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}YYl_h3I-m2pW;JsVx.^ HnDA'޻wx]{v s5't38*4HR#0$,+đXrF-/ɭ{ d,Rf)lP+?*qiWiԵ`@Sld8P^R=&SPdHUxmJMS`ŕUB"ADDm0p]$HIFFc_<~t0aՌ22z[ڃi>k-j5th7oX??,Zrz;GJ6j(*>W";Ѥ`i08Ҹ'SP|6fh_UeFoj3q՚_G%*:iilRUgk&Gm0ԛ`?,wʝo)#g =낭`t֖l#~. zLt6#ZmmiDyGp缼 r&*&+wqH=ނb7<ה_@`¯R?叶0!fki7k]B`SRu>i a1 ߚe/fZ5Ðud{&C O0 6G\tVj$֖U&,8 ڇ}8$FQtsݲ+= nR^xKJ5ޝE0LxZ\ cGu`j҉hBOB&vN2"(M50wJ[a.Tf~ar/?L7 :@.N 8`` ީG'\BTM]-3nzB KN0] "߸LˍYLgYZ  5M% Amortized_ComplexityHOL-Data_Structures.List_Ins_Deldocument.tex7zXZִF! h ]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$ 譿dxD\daOM6Щ'Xp2 {hCq[].jwM5 DxJ<\zfЭ޼fP) "Ax 8gf\E*=9k9)ǿT3ÙJ1d$d W`FܿBnfTCbAp+-ʥ%;R7\2G j}NTHtǮu3(IN뱕nleFz [%t^Sѱ}PPE+  a*=VA"  ǖ jֈzLOڮǷ=p[j-uH7';]"RAϡ>{p6·hdi }ΰHg<ʬ o>И?"> ٣4hx;X&DniRC[lL ڳXi?&PPV@&H o[9 #^w0"q~= 1KY5TƀY&?;lܶnM0/FBK o ?Xr؍DI_%Por>ªn("`J"Eoܳ$rt([(?Ux)w v8qԟ)&@)Ԟ*7hdEDEiq:OgXc7'!XI^N څ蜸9 \J |Zu{>V3_z ֢9 ܶs*Rxܝ6]4:C3\ D+6瑴YN[{n+1G`IB750䔥'ez^6TUKV/$:lSY:XMZ @p8.3)|%Q<UeYv9@_Y8 vsPot/#g_{~t2'>,/˷Dxf+%o `p햆vdTii2jLEO~o#yEHҏ9!Y&C #\};S1h RUy07+B!d_""'+`qݢUbz[CP2'R(D Pwd)إ}.}X?GAv[Ln"]]A;۰~V.եlA%AɜCeYW*^f*$X}5͔er(wŠm?^O >dJwԃ;TUH &W?*RCtvfN+WߛGH觽3_ۣZϣJ)'nP[ w\ EY"G=|a:ET]N 4T I"Rl̚mi}Y `cLrdemVW):M=:0B`z\7}L9>h>_.GdC&-cU)#0Qw|.Y Fy bm vXRX&VQ+z='cza [e%c~aIi7r5{BLPheHК3:r vh#JTKOUQv(ğ8_hS)Cp]0j㮐). Y7!GībkPHuT7pY?1)à=J IKKjR8BeFK nqz2Lmu%e#HhQ<;dE*EgYZ cc5K% 4Amortized_ComplexityPairing_Heap.Pairing_Heap_List1document.tex7zXZִF! qV ]A-MՋhvG"uIBm5D*W|A>? IC#9R7Ժ8(޽K&SD)[1 5ܣO_D\3s-`刈1t1$ܲrz6k^8UM 5suneO־etZu0? c-o_]}ω]pqY; p1M @]Ԅ } IHId X\bD14@%Pmg%(yxSu~WY<4l/]ӝ}>VAJbq|,B :1JQyX=?Ңp@vJv:ZZJ?`C\MGwN$$YoӑeԽF{1i ]_ږ([AxPid 6Wm6gX?&64PoWGaКzzJo!D笥 p{&xL.x!;\LH{]L=r7Aqv/M|S֧x$m49NZ54FhA%Z7՟S)1Vak kQunߠ:rt@w߯~cs^,ayyM"a$į 찪?2S]$(yMI0mf~ R~Tb/)0`SPs+Aj{AJቮ coT)"w%-k/uA&_? +;S.*?2?Ы}]SJ֤cSg1.B ; a$YEFیJAR:ͥxxBrϭc٩F( W7enqg! ŧZOiŮ>1VRuHۣbO$_ T"<}Tč { lF v~{I#*=Hϙ~"_K 2rkˋD'w 8 NC#.tJ3 =#[d$SW^T7#<)AtDuUvk`j ;)ǫ#42"|DH~mWHO9W1d -O⎱ ob1ht/%YH9ib} tա[9%Up593ƳQ-Ź"ڱ:Sitz8u G^H'gI2NRy@HaA;D=~F]?@2\v~Es#Dg7SaY#TJb΄iT^NA3}L(lW%XFiN]2TSCSa~Ý5wd ݄V;<K[U>ee8[ē d`p;d?޽5DaISԵNowWBCM"krm s:zCf~YB$NS34lԜwo:o1jYEң;6t6h8_vqN+`9͏mBCE ni.w‘ꣻ-ʞ_!=qIqH䌍Ʈx" HCJ3 cF?4HS׼wS.õ=\Pʫٔ:s!y6ե:CO5&bQ.^V \UW{Nu|SAN i bKX# bL6c Pv\N{Z$)ǘ!wfe)l\7AKj;fTGl۴K|gu^R{ D:)uf|CY $^`Ù?XؒmV\ ѬV,֕o?Le+0ɯ=ftJӕTLMX%lw8B(VИ_mJ/n7/\ &@H)uvq|Al]lXyx6S)!|{#G!>/kSbK2tyk2*^#VګihQJC]&ސb*ApH Ȱ`蛕<\AϘ7Xj9lcǨ 85aԣޣhr8dLMWD;nBԝH1+E:#ܞI~1GԻjWX xGw `+)hrpX[镖{EDed /- u9a4 Uם ],Lxj;ai,F&ލ'NU;w}tgꐨ*ȿ&b2TJxN&᳑}%Cb,WLl1%W:R qsgYZ <5g% \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~ῠ"lX_Rkb8)?|ɪ6md 6 d+ۊ)3A{I ȾȵR QAHudBqG4n,(5BDJ7WM잌ӆכ4**HNȫ;;Gq^GMo5M@xad¥tQޠ>7iGU~{[0OSa;9E@8iK[߽%GU^Nڦ1h:VCGpj.*DXBu*ޔ&ڎ)sεuE>ڜ.7d}7C>נ&5Cp6fÓyjS3Dsbaϻe'r燷+ZR :]-yB/\\4cv&¢0 "h<|4f-^c.m,8qfԊ)K@*qN[6ρseBظaTnkjr`+jtk2$kM @C<|ݵ]Q5Rꬱ wpE%3n)4OcH{v=^}+Tzv8'Ǻ*w)__ ,%ҟ rCc(R`QcECYWp Myu4Ч._r$"* gTH{')I@_)cS2ݝG`}PhVy#MgIZ8~5guY#tSUttshrk͖ΑI }f PaFfSHvG ȷrnw[W ־$B'a.V^ ^s޻G+00qRH6""Jn^F%f+mNBbwǞ/rKr,_1( !S0N~3Nj7xUCi|郞"ui0ՅVrzm[հ i9WJm6tXO5㟼yAe?`#[W("LiRb"QރQ"vɲ`ITjgYZ [5]% $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^ 9N7E-XCF}ב7PMLHxs 5ZK^Aflcn#9 %&#_Fi՝4+muUIzPR 1"@(%<42.P?CZ .hɏ꼒H%J<(,ڋ.ݣۑ^0БEI|ن:.`Ө ̝f5TGG9hd~ 4X<EAG ChT H)zR}~'{kpNyeݫ ~DV>Xg X_WUvn[h` Px5NJe՞? :mU%FG+pSYMԗ9KJ[H{z't8hq;H((N_INp0zz*qgᇆ5s łѹ>iUڛ rj(GY/ŝ=9FKyC*B3m/Cv$AATMlS嗙T;& 'es'/]YcrV'&x\ͯqA9{3(e2˚ٛVYek,f'S+[^.{R:lw#ze+l_o98*]ЉaP:콒QdUq0^R5n$m6 .hA<ߋp"n~\ ]"8SOFag!N=`\97jMy<6NuWx=q΍Xw7/LͼA X"DgOy4eJCZj5u;?d0ƒA 2_o(N"ĬmDCa_*g۴]J7y;)lO-1/5\=?x/6p ly@@*֒BVi,ž+F}xFL\жl`*ZQ~x~p@`DvVxeTCP\H1݆ʏq 18٬ { Mpx^OwρKB** J?Lc/ ,_2 56 lS˰ *7&2:gd ̓K6?oCғW~ `O}J/nD,S> !qv-;|)p^MdlEx_R9(Rޘa|c2ҵ4uk :h epzaxCAKf&K%}= .ԾG\81pl wQPـ8Iv$3i3FL aq~b.ڧW2)U4v+ ĉc`ϗck;E߫椄0~vތL_DPeqDBf`F?7!ࣔj~YdMvq,K۹ڦ5{d0Ah1݂;$qa/6n$ mlcv0^'ks"f^M\|XA5*CƂnOuPSՊvO 0ݙ9QR eZ[o7M+? "XLjoBlQz? 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&1cyv9jo{C ' 30DzW=N߷dՒ:ٺwV!?n4}T/dcG;/#ykB@)<%j3YNN}7%%HOIkIȏaSffucdhT<Đb;(i N1e5f!nw3` 5G"a\߭ ^C_x7UR ɔ R'Lڎ+3`y \ŀzYΉVĀ*u8bk&7'%bcUXÇxaI!Eri(NDVTʻi..ƿeD{ue:yj7εkzǐ/6 ̗`rT0 '8Yk"t?5cJ]4PJ,I+@Huu^Cќu4`fJ>*Bi`RCI)Ci:ߴ+ m쇍wcY v&}$YU \$]^1gC6E xA6MU~9ֺb կ/gYZ dUdn5K% \Amortized_ComplexityAmortized_Complexity.Lemmas_logdocument.tex7zXZִF! )e]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 S08րԾSTqkDug |p@šH]j!> N3#XoRVC_Ūo",|ξ3Ǥ}ەf(%3=?{* JCbIP.z؂ G{)e;=Ai;ڔ)?\3n*o\ iZ7{FRGBcyK3kfM!8Z|5Y}ql_x K%dk>هֱTF92) SsgYZ(5G% TAmortized_ComplexityHOL-Data_Structures.Set_Specsdocument.tex7zXZִF! @{$]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]FBE aj$ ,m*I5ѭE;۰\\TJ8phbaU+RϘ3eL~KEiE~e Mni!¼.\Lŷ|ĄuyCa8 6}ŕShl\('ɬ7<ǘdѢúm#69huϽF-\ ao~tGfzz4+ͅQ_3%,3ڜL&u&uޒVINk7D^y7B& 6ywYsv o-^R{HX <6wfnTy&#NFs݉\Wp.፰Ϗa~ΰ( #xoi9Jw8/1ԌIzO_hn:>~`Ni=ǜRBˈ&tIoF??#Ŀ<0%}P6))0stKVHbnΏ:ƾ>gͣDLC䰵G)46/2Yc5W~ rqo὞9~)<]l k) .cܨ'ha+d;̷K`|.n"6JXX5)F$./"2`:&tF~2@Eo N]mj$X*[\XԈFr^B+?/U98ƕsؓ+'|Aheiqo9#]4w]DfY6d⤃j#{2| C8sjDڙyp, ǚMjlU p( Wlc :h{.$Q@.iXcN:eM*GMÖYgYZ  s5Q% $Amortized_ComplexityHOL-Data_Structures.Priority_Queuedocument.tex7zXZִF! k ]A-MՋhvG"uIBm5L-SaGͫ9(Ձ(X[]]CZ9nQ]4qc< \Z/f1<e:tDX:5X/pNꐊoD﨓zp)T+CJ]HNw Ѵ{6m9w\V h:m*\^iY /_IFhS)>`BNZ_:Sֽ|>"vśW*ܭ#޿"8c+zt=(/ ܗqh_?iDêTpy6aK8_G,\ʷ'DNPI漹/u~-HF; W}y S^pm"Tߤ/Dy%:Mi*r stS`]꺁|syypGtA+9JzHyas&Z~4處76'1~?]W# )_9m,&0 Y;.;e2]Eϧu Ȭ;q| ?*7z*Y t@+ #'iBah%>Q{mu{,r9V!!/dHTz@PCBa{1D`%E׉߼JN/i'7FbJn,$(:H>z+vQ[t`%T_*1DjgiX6ϯO C]Y_tLw=s[.gSJAkR ņ|{/v"M(R/lpJE"tRMpixM1bZGqØp2X?4#ޫgYZ95I% tAmortized_ComplexityHOL-Data_Structures.Less_Falsedocument.tex7zXZִF! ]A-MՋhvG"uIBm5!J &bMe]qcx g<TX]M۞ѯSw^gRr!OHyZ-$Q <Ϡ41Qy|m.%ZԯdwTErJs7G2u/)>|_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]=ozJEK6.'+|q vbNr=-+ڔ Wa blAj,wp (뼃bQыtm'ݱZNiqnka^nHlO=).\W?cو>h.6 MC봄Kb>aNbXWѺ;pv',\? {'^# -i|f8 uUjf X`*P#5?de8H0UYNkD`y.ޡk4^Z|f?qz1MWψe>dAߍĤքv:"pgYZN5K% 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  ; 5[% 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$[ di-`,\u7OWx86bE }k/6y2_gA@ю\EJШU[-椖.͓d}JqtZ9d2fgqmbTgup9DgT]-) bq!_ 4X|2Xg%ɀ]XC,t FE#D*a~ B4?&̋PhA0SoOܜsv͂SÓXRX Uwx~V-ي8h)\jo۱gYZB5;% 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/jgYZ$y WBeNb}t\"yU6%WTr"i*oئ QKK T?^:0Q2WvIIj%#}/$8\Ęf"~7u{iȱҌzkI G(\ԑ[0 ~yN@UZKx7 96f( q4i rַ'bg T%^/! #^̞a DPe'T#N+#LӰYݐM3]9}8h"^#QE^#*&XbL6g=58W*G #PG=^ wm` m'#}E}>vJ)J_hSo0+4QRx  <)нBYeҫ[;oOqT xr ϶N0s9@?WMdtLy?[bV|ke/hHD;|ӀxhJ{8bó2pyۭ.$ɧf\M)Z&M?!r˝^0wixna+%3 z?)3H~f\@X|e#:TiP}# Zxx.,W!/rgrCὪj-^ bJMSaS[GpS>F~L)5BU$ +Ɂ:z}W6?kDz<+$ǡXGhP޻q n4e!.ËƠO=+>Ad֥S+<ڄd]wl`$BzӀ& ZS> ]Cy N6.'9wITNm inCCN؂G\H"ն*j}n_LL Z_:\ ; x0//A-uv**U]=(;y`e>)b&d ,q$"6"u.!BfL-gbST 6X(?L1"$vL n^`48h2p-&ͩwNlйPD}ȁBr];HD1tФ>&POe#5f,/{Z^hx!<ϯzQ5񯪤Pi*v?|,s4q;:jѡ~ɝ ^`vڅ\xb1,KV&ۻY }P{%ejGtjT,x7k]~U*>>m,i[H[(75d?BƝpGk<]lBSdmo'!ϹsQc}nhɬʾnq[xaۮ< |~%;BM STL"%=hհ"CJQp* ">4ze5=7O;r=ǀP6 _ ۉȷz-5z1K[6&;Á{nme&Dm<|"/T>^mD" q75V7g<8z{?,ôQHR7]s##Pl>)59]|<Q2ݫ5d0d{t ob9JEٞIWh$mambe(e3[H}|3gsi,'&T5 PjJrGShtcm|;SJy}7nJ[կ7!5<*u庐(eQȽMcΑm_՗׏{ $Ƃp\畱9CUw2EE=HeAjOi1*&:' B̈́Zg\ 8oP>nP~L3!%>RYCp]]fh=5P{Gx̉B~Xs,vs[3.J -dJ;ޒfHo 27/-(4, Lj[I(s'X<9:@ucŊGM#Txl \>|%@g&ڱgYZ7zXZִF! k]ŗXi%; 3SXfpB6_n*ԸT≸O.Z`ImNL9\}9溢ݘVBRu6cݣ1h =q;8M=ȾgS F(;։[a'`9n(kݝ|#fK*@PS]ےLvSE=i~:di%VgbGoKou(Jl82;J̔'{#!2b]jp $b$}@?Gڝ5;I&֚>{;Y=R.6I6 ;o2d`åTH^X`]8_T8v 2Jd0|%ti*g樖r>^8hD5DY>pW/S(z]sG5sE7;dmdh,w5b kzM)'ݷڿI|G0ہ|kl ̷)qA&&ո~<¨Tw@h'c?Sp<\L .(ڊk_wj/W0}TlVPc}k2cCZ|-gţe9rQ"aaEL3o9AiPV:4u' 6F3sxxǍ @&73\kj4t/0ڸRPK3bp l*=Aك~mrA2vå8= <4@)/GwQ?gHnK Yj=ja!uvgJ{~R:̆i C-Bsr4Y1=xd'[em䜦-I.SF[+K#&YzDPIH-6ڗ"T7RBǩL'α*nf=SuWw*3Y(LdiTNI/C,2Sgz8 %P{WV.(OjZ$ma`k@Yɢ|0›ɭ[DSʹ߸N1wDNEnHQss.j:͐ɬ\/&LҜΫꆻel^z_1_I9GZ0TԌeUIʠ=Kd)m\$Al""oB2:#O xP`,RP%܁kz5cB+"5j؆g=n^e7kA,ߖ,O_1PۨI,G"bPJ-_b "dY (3m³s@=喓T3S\M[sjO(niC@O Xm-ˋ$9gy)SzuۼK-@_4Cg7D2*4ënLӡA`co7hWhX/a̬"F3.AR)h2h`c8֛n 7GKo^- dӓ FNq>n&(r? /gh a)2FpCƩ 󍒆/#}sHKO-,!Yؔ@N`Oٿ;d#|7b4'ҎJ2d,ԋ> ] 2bO*<ĝ,IcLn_l5p}ayĜ-Ua󫮽 ې0ArWЉǧ)~5 DP+zUZKU + !_g?յey}]nVekM}鱂!,Tw 8j#YdӸvHKu *Z!.t]o$5c$<}sm*A  r| ڰ^ɄG:B 10aUyo&IE橦ٸV4zuBjxR2 ݽ/ n"?!Ez9bx!~](E`ovKCL1@(mv绀IV؄ƣbm<%uDQ{;vU|Ľe_#"/i6Gs;~g ^!jdk!:y9M!!eH%Q3pF  u"H?9ݿ ieZZUTdW%ITRdĮ U_*+ 7YѴ4#Jƶ@P Cvf\7W Gu!;L4%-IB`b pRx-q+2c=n`ڦ=)?8dM5|ϣ["B5y:̭$ ӄuI٠^z>CjwXpY#ʵ-?0 rrzx/W "6tc(Q kl nP6UTw2,߃ ^ ޥSU.3tE!+5 x$I(x/ &h>x(0Ex/yXu*,zbKޖLi=Oܥ (QLZmr*IHw6!y-%1OrnI9/$H\ܸ<7@~S*F!(YY v.K;t B9,eO -JL}N(_EKfGfLݽY0,+t&up_>;-jd]Qw=qS<5#g8Egpiq ?[y0ٛ+D2HWVLa/5 ;x;j;I,SS5b &gQ ;,K]߭jQ%/8aޣ%,D)9PH@~c$]>~_rC) Z>/ |Fv%Qq_|#bs]^7 Z+5 5IO%TSl9˕Z+0VgYZb255618766970872ca8b7235d6d821a0cc6ef9300a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f47371761f5b7a90f6088cd60ee43bd04e83852a8466980e