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 tt ) 4| ] Binomial-Heaps:threads=2elapsed=19.975cpu=37.020gc=5.824factor=1.857zXZִF! ]ŗXf1-/6vRZkc- R/{^~|D/=0|NS+k~dLĽE*LW=UrɹVL|\`Ԯ7رgYZ7zXZִF! |]ŗXiɟ:Jc02߳|y0#$)m4%Gכ׫NH7_3m<>އ{$G pJ(5X`J^y_q'DL}hձG/ꨡ@Q3y*~\Nh̉ f On\x>%hDLCA&MuӛFxjE n hooi>8o=qAR = M5,9"[ eeuՏ1mmxU{wf]n`"Z|a`v^*[u :Mxx" IeA th/5:lǢBW2(Xb.,")S#h;,i%Ϝ3M (DsѮy3->m9!r%a=ča=zJ~fS8)xo(paRnCM7Zv?u _&\,+Q1B1A-z=-tHDmBZ9^V$ /kΧv|7WjP?<+1ry~Kgr+W -uo7ub,envp GD3~|mt% nP=gcw <L[,҂z P+ Yf)=Y]8*)v~KƏr|~*qsp42ظ"{O @i)XCQqf@~@;-ȺH6pyZHܭz/Mp2N=_AsazNõ,I'+g;v;VLKܪܞCI]ڃˎè_gr!yb}]LA|FWE?Ʉ WO_Sa1p|抅+v+6B >[ ꋴlx<ε} Ourђ~~d ~*ZZyW?͜? ;}(K y_fţʧc4;0 :hڱgYZ0eca169097feaa542d2320bd7bc0f646563ef4f70a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176 ) Binomial-Heapsi)C% dBinomial-HeapsBinomial-Heaps.BinomialHeapdocument.tex7zXZִF! 4Dk]A-MՋhvG"uIBm5o]Yr,YS*ˎK+^W9gD3WY܍S]ԙx&e=v2>Vw0!W{yݩ=KrNnm:*30ʧ&-ɷf(mVW:`kT .CF%=ߐ 4!I1'y&zn@~"nVf`پ6H*Ղ?UkOW#)("B %Smi]ͨ#'y}q _I_8089UeڿS яI0-L(;>ds*Bmol`v0يfiecx9yF$hr7ަF4Fk" ]^tWЌ|[uM?&{PY%AD-Чs;:n }Y?dGx?@P?ވ23cᏬ\ 98M@BxBXb:I']:o 2M[|_Y5ӄ~vuJVqn&,v&y#+ CKh3ɝ?`RcW77#ktT,Ae&ŝ0ІWdѷ- v-pa,P򖅀FE.n)=_g:]sv@"Ok- pҳ ;ܦ>ש/^+W|f)ՄB80FS_lbNUē)\l@†&hUf꡶_)<0;فś@߭mvJfUmg/f%x+çG%7szזbKʎ*D IFo 5N[祩 8yƓٮ5|{YPXŸ :M]LFxMG!^$~Ԯ} 2 ?)K%Binomial-HeapsBinomial-Heaps.SkewBinomialHeapdocument.tex:)C% Binomial-HeapsBinomial-Heaps.BinomialHeapdocument.tex0A8 \|2~x2e#ڤj!%@m*l!qO eM 5HpoڿmYWDaUWlhC(TS-džRJGtwjW{rJolyHEͫF{Uz F - oa'l(g"aw!4, 13DL8R",]/Amռ|# ayٰ꫈FM[ 0Q3f)ZiwQQtQH) 6^n۸U(p΍Ru 7Ux`7#wE,Du^ƦQ1ܜ0vF#i1B$Hi|<ߊC{ƍNz(~jxcuط;C-5xfG҂BD?QkhwDZrG"0] X{w!4pe[>J"q$T؋p Obc4T ~U`WKb5/:ZfxbUH .6/ֲ>uB0 ,l=LKek(r{'x.\q$G 4[_RLXY4li^٩Y-7jQrHakC!/ĚR 3 iL"ۊBbg"U/ 15: +Ʌz $noEVyhZlx?ut2~ ]Vl7C\ !X/hZOz/@--;OE[#RYYg)V,KIVn}](¡-mu`| w.bV?|) bu5J'qI8 kXFFaB2JS#)ra+0;҅辎إz(M|c}^F6cD$^3hGɛR"@usS6n%7>+q  Rϐ.^D0ܩKW}HJHׇ(5JfjIU սi x}DbF{gsfbwF 6`m] ۿlK3sbZ4}ai}WYE+fQ\d&c 'md$̨C\bܙ/ )t߰U({S*N6VXW9]I^v0il9LDRf '_S9FrTZd_IP9B?S],ҫlʦQAq$DZ"[1A8 WoYL4J+\lp^%CKF \n9^S`n,_Z%wG kJBPdwef?-.n;Oؼ*$RM S񎻄B53}߇%I 67۹ ] 1.nd^-f\>gX 8m䙝UtF,|WwQj2 A0W6]j ZPRxn?(@nwxXS%EԉPR[qp%KXBʥZ4m=ȋ]Alɭ͏hC_f C A3#U{RnWvshYJ:M?HSҀqp~- diu,ᨈɮt&׊DHǶz<8bXNK7e+L #^>\VX"w@H}M#8+P^^7 B,*T0XL)mYG.e\R%;ɃvYthF| &?k!ĩ;B˂jV:xbQr>efގbȹ•0kdEP],u>]ZfLt>Pl# M:?CU"-L ;]>/(hxnh#EX8;؟g% σS"R,1bcS ݅Us ɫ^eEg:a[,%Xpi {%'eeʣ'o!H+Xd #w=h%*;Z"ݾQb&-?U?hldj/0ٚsHh\VCNǵ࣪#wkWHL(O$k26+ԓh;{9j9<2V XuDpL5aYV& =FI{B7cUlsz(3*Sg!h(bR 7R%TԔmOݞƷ(А6`IpV\o %vxVPPkHok*DW&=f G{^(Y$exG )28d@먓l>hs | ̜$xyeBNJonj>۹!wkHN@n ܲ@9T?p9 ,sODM|)8`n*}+/։t5hzQ 忂ry%>QĸO ,s,%’\{,"}_/%K=0ICBa*( ><$e!5F9 2#;dz,"H)aEj*0fJ y~p[iLl!dfQyV^wr6o"BɄs٤>I**e@DB|d]Fc dp|,uce &N^?}.lId נ {07`jC-*L ,=8кl( x}u%m[sf,;rMJTQ-VM1+| i{5[-\PEy"p\qU w~3`7KrzojOrjn@ [y[͹"<)]38ɛ P.]$d܅̽bN@YyhܚI[;/sLdž{&$b#LG#U AU]ޫGC"ܷGc6}͹SYB~rˤHPj~{w 1!٥58g%YhLdUx1#1Mո{ކ׀Q1B‚o:3N6W*0[QʌUW a[NqDLO!]׌kCu)t's#heQ ]fEƕM.W+H}=Is_b/ˊ*%mX#Xt?plbnjQJˌHz5 B˹o_ؐ "v9S$ˮL9-F԰7b"\/m?jֳE=kȩ|x|EcM$,!S%bUn0T#uJp'8ex/P{y'M8* C6 wYPQjh\w&6QݥTa;B5Hzr8 8+//vA!.!Ȥ-$lWI3x5YMjO~/>'o(;QrlǯlJXA`\B37 *"(1)rxkc.nrs_J"TES宮gC8Q@Ѳ >&<4bXL{).:Gc}{99se fki:Mn-nTZƫ'y$&U3˭kGv,3A'w8%+_+o+SUM6/pTcTF>U=Z:F͎2l8sq+ztl["JFIк4; ,˗LY|{Wf4FםWݑ"m8`EFl*/x0tb>`DtzJ,I\9ZeEoQFo Raʼ>A$Krw/"v2WQD0%LK9elLUd++d@+f~oe+՟0 I^1o BϝFM( 3lⰂATQ i>6^a!]9r:$EZ[XYv~Ϥ"::GmD#*BAho)!ow?A V\ʛ$?E [ QsKי-Eh`є~xF%1- J8 ']цr>\) 2D(=yD_]fk} !r辨>Up-mp/Эk c!q{яW B#Y s703(q9a%r``drrӫ]$FP`ϰ;Mm0c3.r}T!EL@ K1PA) /v>ŗ*k=(cx#BR[lLa賌=TbδtUwӻmbH 2q ٘`}sK ?죿u"8]8&`.a$nǥumjq,9W+~.l;60Gk!gaV!. B!%9WXX#&.vw* e[̏}DQ0*@C{2Bʼn"Ѝ9;j4hܭF|(?u}1d(N9, 3&A!;Д|,FA̯>VeY  '6BvH%9OVH=N/+|Oݎߕ"W@UPx, m,[>h^xDp2F!2~JT`F`6a(Iy'{xy9OHczHXJ /y]yBCڎmLVrɔQ?6qޠaį\:>.-mH*5DSN.QTeP:p&1,m ?=|܋CNȌxcCwCNa,F g0WCJ\.wX ˰>\IuDM27p;zp2k- }ӆP5U<1}眞] +G\5|P)U.$;7*W)H`W AXE*rKDd[2*MۏIvzE@^p@{fKtY;2-p:!L#(?f5XkU;lmY[,G)>C'@>Sܿ<< @wᰟ;On#߽_oeY6o8n>l@tPQ2އyb6FE~s7Hd[ܫd?K~3 N@'(*VD2Xg2&z`솛DDU_?-U.fe{w'Yfګwr9rHeO64cuCB"ŌEƄ6hԥ~0ӉR}+~8AT23RJ0 ¨; [.Q۬O4y]G `.7MoQiCeq#t8鋣^}I]z b).6c6na=jhݠ&C00O%m?Cn=u?p8v~K9M 53bO @E7ti_D < ݆gHu䳳N G8PsR X%轜yd9s0NYT[ 6:g; ߬348\Z9(V9zTwݤ_bpҋ\ lVUswpxˇ>?ݕnǗzib<ćr;+hyN8TO6CFjs 8 z Vem`W `DGh s7|HSs&q7֥!Å== ydDZ/B )vD{VO˫V,)~SW@-[؊%vjlFUP}vrw^D&.͘.\GGRd6aZqa]b13;0R!䕢Ye#S5Qx㘬njC."p?oPQ~Mua颡tpoO4.g*jر[pHga>ݭտ|sA"}e9R?5=FR?ո9'X;,@=>U6d1b@ͶK6_!:ROgny"raFE3޴n^;Վ1Y3'pph Eu4|~v \km+eR)9Z5 iuoa/:RXӂ{:3Gk b~\gֺs~3et3@J/$鏭O*tÄƸ>;|戞~YqSa8.'P4,^29v^蟗 0?%RS%}AW_ _([p&\=!-v$M@ǾLED}fW:0Cd|?ϓF%8DǢA߄XNI6Zi87|PdHz/}Aܹv|w6(uB!Q [#.-&T1Z깢4 7-OBbw<>P1D+ZMgD7P LW}/vDžGk\7yeEȆؿb"L!-+kA&0?2'x-#nK.>l?7:!Ͼu kF] ] 8KܵI1 BGzB"L ԙVkB ExfZ`ԺC$G_њnP%A`tjgr X d B8/=|6jcOFjW=LWH!DvOd o.>Iv*21L֒Xxg&,3PK?e^wG2>)u#A/X:Hv,Ol/X1q)rί%пpZ FƖ8n'y",4 t KDj.M-d*$lz. 4qg'<-5Go^|z)e..gc|s!.$)9&|74JΧoMY{L Cӱ/ƒ s5K\ڍP‰h$#a2V׶^D^ 9aozd[/KQu**O&jk 6Vdi#8W2>lkgַdc6&-v3Ą+vqV.&R6zC32DtG%M)WԮ|aOn' V'yT"ۮ1 9* |-6f/)-waDamhl裳G7cUb4 3@eDζ] ΊM7Mm>ϱ0cjUFuWxx AoΒCU-q'IG]0x [X,xP擗^ԃ,us2|-'<[Si?a$7MZl ػ M&כ1Yccak;,' iA J|ѵy'+WCgDIv7RAc̘R-ߟ>d-D$sQ8<[%@cPBDɶ9ot>qb"]d;}7]Tb)Yc]P /;4| SRT()sKt* FM*UcИPW3chQc~>Qa/)Ȍf\E/XOr%mc%۳vF]w-p6HE2Ϧ5Z qNq*"˥_1<}.kko=ȇ^UOt̙L0cC;M iAGY&BKL6ot8`jB6qj5`Pd'YESkL]P :VXQ93ΖׅMM/ORw=[44@* 3d踃Ost zcڋ=O=nmMgpgWEPT >g=RX1vİtJ+-j5g^tOO1{S \֫V r59溟b@cXC7ܻdxY uU -#C$!"AR7$Ylt[3+IK c!P'H}1g@Jb2JDlQKm u7Av娨{!KMI' V0ͩ] =u6T{7gu taX n̟7B'[ȁ-_j 7E&"W`n y/M䜴iBP9,`:rs{As4?Nn?GPa^˵QH)~R6Q +Ih}aѬoj#H: b Vnb&_'pp~WM ;ּ[v拊!/ ( E7k@sBd J>:88sV J1=DɿkfTw߭Lj>_$7nqOͺT6@3*Ǹ~HfD.c79}($f4R< "x-~q7 K;hgäSn//CKuzpCwu{`-WCl*7^d6Ԑ`]7 c5dmO7;j:1 G4پ[dbTsF ŒQdW(#k֨nOuk\w@Os{rgYЩEh?;CVARјzh+ g@p3N6u)ensNxP $QwҮޤ̢y+S @; ٰ[xŪ Kݳlh<3~$gyuATjSގs%Hf<^,x4dG%u+;ABz10zLCzI$0YhjQ߶1+L<"⸊G^H0cMʌeWOM7UE Q* b+ٟ֢Z+UM&|?dr/Vl<mXٙb?qv =XrMQPM HJ . CҢ״*.ygD{<̳3 tuA5dP=ѥ@ Co܋M+6r wbIl +U=މև"'z,-ZO,m_T Ěf^=nj~/܎ J e^Հp_3*̗樎%ۅk2}ƈz'9QA虪E6B.@.og@Ise=Ic~'P~Q㴻w!K,/ou~Gгt0B +#';rŜ;}I0ZXizk^=m*H=|3YG=;8* 4'/[T6cXUUHEM2HQP\:|yC;q s8\̈́n0VzQqT%վ XDE#* db<|edRy$[ Ar[BgcSZPS[>'oZ]Η l`;[ڮw F\N"YIT.!K0z^ĺe$c%Mzܱ$7Ԯv[*o#j&*oTWb+lPY7[o:cJ\lq& ;ᅖɧG00/?p ]Y J@tIܳ`(eސ wO)G^3b;҈5(I5<~'GCFu0 DazvFHDګzM7xM`C .ۛs~Ja.xV}ڲKl3:'[ ƄэbBfӽ=AhEz<*qKkRnrlyM4HTi?Q iZv[O A-MfTԺ hTЖǀB z'PP+PTWGE]3"-3ic^fS͇kWAQlaF1K^XrP6ĵbUI-~Q{ -xD$^dLʨva%ɹRLY U40j#Ȭʗ68*XhsÐnU]Нǰ`zkmi6X7XX˜:u/M[!gJ6&E9p6H qvtx^c%hcc|PKdI{5pCDɾ`TVݿ -TWD<߼15ڽ4y;Nc^6!ЕnǪPfJz$wV4)d^},g^>6Q0A:I w.#~AIw4X=0sHt ڍ#I:[xmbaR6Ү0&?fEv *{#ߛJ#w@]Whd;iOtxД+f?+0B}u=NR5r`qO/37LLer0Fh ̤V_vgOQO\v"+s7qnMSꦸR#9 JZYǷ_e`K\iDx"e SHS08` ʲ/ÔV8-Rܾ8Ūʧ4zț[jKTS5H ;a8 a/C.؊`(Ql6Py8ǫŧ%+rh UA7˚N5U` Oedj929*#.>Ԉy btqNӶ`x6jbg1ųcыȦQk ʕlrGIMlv$?<;e?I~]eB.1jQC@VWXͦݼ3MӣT[$]$ty STL0\ȳq-^hەY@֋jev0RYw7 [Pk^ߺ}?]l2Pͥ9fu"HG5$_:FiNCpD0*Bq㓊Z.ufDTz}rn̫yf tK(J+!,d;@@$qUcoS7 =9R^"e2xW1Q %ˮ\L5:(g"YLoX#/o 9dǠE&Q7 ;US)Xs ƧfYb*رI^:'>! Ga +MwoNTq9p8|S Gx>CvnGSg{!-8V1=>.תCO;^-ŤJM!TJg-jU{Ù_S{%Dk#AOGE ;`$Ob@;9[' ~7;u>+?#Mxs*l8Ǧ_,RÂŇOZ~ Y×#nMm`j ř`6}@sL®P3h774 `'LLj*1*5Rdhy%]7ر7npȣHh:k8"Xsa>I0k]'A*<+ar8 Equ4ׅEC+cE+*^yWoIIh+rwBC4sfcG?gٿ^垿 elp$qHd('lNb3w˯R=]gZ@ؔ{[J?[؊sL6oFPg<֗G~ pk'1hr VBP8"Uti'␜w~Sg;ymVgTo9{Uf]\>3 φiPrTX[$f4YݍdҝBX^!mmuMmZ vbڷm+\Hz'o뷺iꜪU&Kz!ȟӌ4pk0o 9%ߋrtLhJ -(l6cWzk$|y!}JQ4o*KV\mU{AkqQ_ mL"Glcz6y@ $.\<&-:w(L $!E?QLk?GMJgF0Da,c܎gRa[ :5yp&P;%+q\dtߟA$,)?jV!Owm*tuxϡe@kv<_d%$zz iN= 0H'ê &wR;Mr:O6|i􃦻ڿ8҅7 +`B!g}lF P#c<0pUabF&)> MpU/zAG`똊f"--=q4qpS̓zڟQTd*B1X)nw4ׄ@ 70,P54.@WqLl!|B S"mbRk]p+܉4#{q|)yI-$ ϫ(IXW'n"NlR+:oӰUW2 ȇch%⣞b07* -54Iis!H.;8t3l ?\ u=-y-˞{骔ht1.MsZ6$؜bg7[v9;{noa_fx!?-")\ÔVu+ĒNjInt?EKHCPڔ$0ϒ|Vs>|v4=z "1He!HPCMQ Fظs=svGx-Y6v׷J02{SvC H3iqxϲ:0r5S@mY,ܒܪݼRP=Ll&&U(hjP'ݩ'\qNr9I\qK5iGm+CZ#`X=$$YHL6a01˹Ymb< "@J{ b[YG*_AVy< ۺݵrg!`c$ /:m riܶp&3#wͅD2VI7()T('aDoV*QZ^C?@]ROR8.͛៛-R<p%pU~""?b{yb^ l RTZx!EA1ް03lʘH@ .̽ԕS|k'PT$-l8](Naiz;zßq@p3VвcWΫ\曄Ir5&8/8s>r|ol߿Fm.cۣj8=)hƯ? rߎ!I'r{)░Kg1LhP.稌gn=tsb %!Hh2 g)-/N,[oL]#Fqe>2~0 #zSVx\4U@gZf9è$=±*ND06[[=F>=:6S Z> =Bn˕cطq;+H={ +&߮DO1uBn.|n>T;èЏHqZh7qAK+q =i 3Eﳌw&d@J k뒑-]NG~6'P'y&Fw ѼAEɒP\`|VOu|UD{HSzP2iWRswvŒϥOx.N>~4\AFOGK* _19KP)"II =(ɂhJlwbaI{@gQ~r9_T#Dň0(b+ddtED:DK&<d|3ՎlBr. b2ic71Kk72A06a -AGIQjV~K00&d3GFz3[Ŧ׮"{MkLQOr#? b>F3RU)z}A9i,[arM*to_\e1p@TÞfT4h{VǧA{V+SKsA]=[P-;0E%Vs~6dko hl.)P=HV3?/Y)ǘ䅇^=ez:m-{O_VuޞYGڅG&YJ9m_*Z`Fh0}-r{ْф $Ci;DN$L-|cmѸe  DR3 qn\߁%~ Hc\MS9KVwE|&2J[em!y@s@!a`N-[伯`"f*m\MB?Y:ޮ#Ц[Չ9pڜ<< *C|$I1CL;(cŗܿfVP.>BD8F1=DFg$1rX=,I! ./EIw _f w>mv~mq N,U{Y,nbaMsb՛5pNQ`Rg< nA@#ځo RwQ[v%ʗ@B#J74_5ҩ<}S vS ۯ)ťAµl W+!AL86|bS\F|^oY[gOʘw78v;\pTBQƭdKacNcͫM(E0,񸧅b+>MQn Kʄ"&cTeT`ܛg8k[;jopXKwL,ѡ~O3vSXHey\"ҷ\ЍЛD񑵜+I9x!In+tch-mFNҿpv7`8sU#/6./kn<9à@Ԃ`7,QW nI"9{{gK E;7<;(ss4Mʘ+} gz{s Nynov}>hM¨ מnM} TJ8t[UưLU$ctC@a5  RtBalFҵ=y!̉J39gpf(bLC~Msa龧 ڂQy>U$!U`iqbiCmxQ8 2!Ȏ]?% Бw,uN\ut\hyd*FZ|I_gmh喋gd=4N)G%ݸSʳrRrp0blz1"QSkѨr}O}AҿĮ;@]Lt J]ͼ|jFkw€dr6m8by ڰq^އy@L?Gwqx%`UO:2smb5vbLv "Qy*4OS]z7Yo+8 -S\BŸڸg3ԊS+T~ő-}'54Xa rEz/;{lLY֪o@ZB,?7P7&c/W{?ڦO Ұ9< GKAgO1Y v]<8G:V-<qn_|L>qnsƃ*L̜$b3m+M7"QaL(# c6UYy}wyL^L !쏚])ڙzCJ'9I"" o1-& 6mxr}"nNr,17s󤫓OYM_N8]sqH b..Ϯj-Ur!)[kl-hL0O0xE$v38+s_PBkVJdI%!3Rj,FxtR H^g m2㤢AylrR|(Sdy tٰgm}pn6?T }uPo@XnN3%җ4!Н#LXqOO*y'b $zI.E O#G;ic'*[(D^f=Rݔ8HmZ&F\w3͂9~8:px'Ke&U!g+?nut0)'EYCCjzEu*D$d,.AETJtj,~a}24e+D:Oh9 ҁ7 emW zC\8J1f,57РϾf%_´adCi}[eS!xc%ó Pv溚ac4]Hݠ:;^9?cYS+D^)yeE̚NS=]EA%-Amҿg.v<(߼ #kSΟQ:AO% =ZL6Pqx˙Tե(ۍ4de.|cqH.oC՗cnk4B+kSwI@j ŵi8g\7밟OyL~6FnV 峐ٝXAuWޢ!7I'=u@slb|ʒx~ +R&/ FJ7 [GPOco 9+3Bˣa:(W= ~Dk ^?Uo)>g1bv8חi?p8B:Ge8: fTMZ٤=$/QF{'s#O334"FA0fUe,uTY-mUsW1![d& +re}|5E)\ VӔGem|i=XlN"G턞 Q. PVzԺZY>vt_NZƹ ,`-P$iM\f.Xi KՙP:eV׎' @x[koՋ4^ټ1*Qu,Q 4Şλu~$qC #+./n0v^Nb 笧]MHdh^,N3eb`a) *T΃!ayH g&fS\ԽEXb"a2~bZUN LuwPPz3p[HiU¦ Sp_U#N[bN!a{Ӟ]է}"9'"MfƬhvn }ʱOc/%A |@;RЪ« #CBm ó-bo~vkEpT} 1Aw^jUer<|chzHשp;cbBMngc!UZoĔh,j0,»5q&*[C%ŽvfEh!_DW9tŞE=Ձ"l]U+pjAY?ہ}Z~ꜗ.|3-;|JU:2,+.iH\44;>f'61JK)ͰR.;2h·H=o F"9v^jc_$\Akh&YNȜ\Ĉ//u,"mn*W}` AΉ܌cs+ݽ+ *H7޼?OA z<4]zO_ďcC6jl4"ޤjmzT(}?ikT̅=')? 5-7R.KFeY - 8$t~Q۱N{HK:t 0+դ"0>dCr:'I+p#2?8mKNz 41[-5/ԏ`䭠S<Ո {l]0iQ&N+L@E^ #6}kJ6 jg#QWiu!IOgA/i, 'GGF d HnoGE}C`PRzD$4hWNZ a <@FNtcbv1JuR0 LjqPY?b7țf1R!2~E00ϋk~iD%榹X@_&Qp#{_^QQ.؊(y٭9#``q{qϣ{`CZo|5*B'F\|[x!46@K7V0)Sr3P`1:ֿ+W.y}WR-"Mzg%zs˸OEj +%&+RiqW `kPC!ǵLϚX"|>Njav9a1FzGaPۛH6/^XGY(4<7ZG;"'ʢa ؁ئ>Mo$AP($E[R>ʯ7۝]]yOM pF͘G=j4l+IfD#-fP)5 Np*4 KIgA3#w{xK\7z+amg Є%-Iѣ*W%InuE[$j"Yn*Ts^oKj(zr3Ϭ=߂]⅐+q][wNt~HEBNsT)9A}9s I%>B-uy5$` $i()D5pשçɿy7~̲α~EK~X& …9 %jA;VaS/^6vG ӫ6c+, ѻHj~\eS g orhۃr<%vNM'OVW fT/<ȣiF9M#tpG`ALu gTM9-z;Rz;5s΀l[TSM>T6@ CP~<^H3}{bwfDU"rߤ1KYR%˭|omAReDeoH4x ~EA0B!ߌb}M}k!ތƓ%ċ^?u~[=^HyK`0ܡnͬp,F 9<LPD'E;3?v*q}~eřM ey w3 wbiTW5 ģ~4SnE({dͰҟL>t ԧ$Gf]dr*fn^QÈ/4|V>I9p2jU2Rt!L!Zk'-٢_8dbE0 5vPK}"{30‚dP\Uxu.{Vy>4Œ%x;{uH*afgӱAPwc$K0ߥՐtl[ލSWۈFERe*Ȅmk鎳k7  aS"-UjA)^zBf4᭺$h1HЎ7Wq}Sp(sq&݋_c^%V넏H%RS0Rf 2zNN/Σ0sQ(pe/41zs tn"ڢk⪒Ě%a8 7= 0be"e֊#T~t`֩Mgيl̲i?iX4]m>۵?Th%8\>D-bm(p `xFȿsrwhY=\e*{Qq+L`=NͽU^C l -G) .\RnT]G`ΰzx)U]\$KMϢJ:b[U~eo}?ug';pXWr4݊F`τ ,pd7V)tOmVx!x#I 2䑏/77.hnT#!]zgMӲ=7:/F{7ʘE./6Sa9#߱|UFS/ >֑ fKF8taDtDH e7+~daQʛlƩ40Pz操hDOU8'/%3ה2u7/]<⬖#{N&ir{ʲtӉ*QE ]f ӟr$D,Ed\qX}q4^V + #BCN]KiW݉DWTvd2tq-܁7,꣢k-y.g(|v6Wr0|ܼ ڵ$ࣀMֆ5-^ơF㢷$n mP0n ?ȏ9_ɿe h" _Ә8x;hDguo )^m(dy%!:>mVu=IvE@pmm~d;!?Aj繭R|ݝ?^ wy.m٠7&+Ճ[jYwD:)SBuw &mߟxmV6"r)\g/tM8Pl@l"]z[X/Є;+)Tp/h$&!а5.3klRGG6jGrqVXQ 7li5 X}7HhY̠9oa6yV\ Ćo#Dn_zF uɱy#]rɻ]e(K ܁>e[:gH*!'wqb~5۬y)2[EK7^=q c4q&O>gEPXh*t|,{")'hB%e;}2SZUS5[ Zk_DDŏTa E00Jǎ~&uX Ҡ]Q|,|cXT;Glݓ;8 γXSTw%{P<, @b(B"p~g,X) ONJvnIOb+!k Ia+N׿4H9Rxw=57!Wi)m]I2G 9'$п#y- _$!{4\S|e g^{(EBʤWpmOiūI7#9!~6T#0AyϡexW-C[mi{ݙt&-Ŗ Qx'4`- :""T`wXV x^:>=փ3jr`#'1jv$K"!5`%fr3wLۛ^YnJxA2Egs,xXcq]n  ]N䭱I+a OFB.͋5(W͓' g+&QBpTIts8't&R P<˜U: ZSK- 2MJ5KEk$Ϻ\/gعe1Z VMxݪ3Q~UuY .z|8D}~I'?&$n7&H4?|gVW,Dˏ}@; +dne Vׁ: s'P 4%mg3s cT2ՋSp8G֑)\cH;(ʢq/_2FS~N09?!B̠h1+b%QolPeAQ=. zhpmgb\}0Z0,(45)#uGYX]C#8p5ndr1Gڼ%t_A K^2UzN<RGɽ#]Vy`l>d$ ӣ%\WvKIsEK)e&vT ?RfUڊo H.dGR!M]s'Eٿq_~>m]';"] ]ؤ@ȷ?a  6̰qo¨3$m00ݭXk]q18-rI\6rsMO-@bz_7 tccA28n 3ӛT*l/zsza Y^m/hWV`w =`JY Qr>a!tVEn~Ժ~^L^Q& fa&13|CmOS~8p {tx^A1qD] 3dcm_2&ccvhURLrB׫`AD [2WCdd@nKM ȸ¿CT!E)EeD-DG%o_X rUXQ O5JbAZiʰQ&\;DzZwrօ&4 uZ6Ux w("V=Q;zmаw3.ܾ"V@,WGǰnrM84/qiO@q/],Dv E PIohi#e5_pv~ޗ^Mp1k]|PC ]^kWȜo}]K4wll_ b$LsXݏvm(kG\W9&mY4V˙&e{GuniO%Q}63gϢS5Aն.)U [b /.|"Qeטb{d_Պ8Ĵ)5Vj<$Հ'2a:X3N94LfʧPXv[3^K@pr2=Dz]a[~- +|=хNH|c6wV:@XUx!7̘Z4{cEa);sN@i' #܆&k2PJ'e3H4?)ܘ)2/Nk"^ZQl*&ҪF GY]!cS- §_zQ|0J%0IFOWƩU6#Ui\́&U`.mB^ѪŸ>"14\-Gh-Q_XWuDݧHv- uғж2dDUdTAv8i\/X\̋…UFފ<ƝFi'KMcW)$T!gWOg⋦Ȟ: #ʓCd@wjhr\~V4#aՌ8CisjԤOEۉ> #@ F9mJ` gԯaDK}sp=4G86^?.*LgB´dM `ԏ?8G\oġUxBS.h}y,%530(>'F#& geo)57)pN<"7?w 'wiT̬jirҶACݪ⮔Ө5vӦ} #orWln [Xj.,XIaGNz\H3!Pŵ3: QQqR A޻A ᓡ6/ %dC-tV~ƇiɠrBkzlY PIRx&gfCws̍QW8C?q`񶠇"g fe3ۢśtMi4B0b3?_ ֡)J AHdU _t[YY6}'0;xW#4!p ie!J+:R==C+vwa񚗗_1ɤvMy>lQ! YDηmZ)L/;𻸗"ݝ2ˀlcι~wj-Po!TStgVpBYhZQ;:VD(6gkz HP4L.ݹ` s3j$Fjraɾ}iqt FmT_kNK{0ee5o!ZI8]RɑR 5XEpv=n29}zv*EhQL;iX5Tm/0çr{f98[jIڋ*m3ׄ`!Y?4;jI!EjRq,p'ZVqZDrqvRD&.`PFI4%{f]FQOG}6*ch5Lh 9 # 25k}Rm<ͽxxNJtk .Zp8/O  .c^52LM-_^ŊOi3,Q d"DzyUA.Wjy;0{#{o4CO|rx&X|C=(!NbZMaLErdL x_=}LrdtK7ЫP.+f˗Ÿѽ`8j+L~V`H$K[1LWxREn;պ#Ɗ6&1œu 0%[Hs B:KĝRG̱Ko<(P>eX-*7o>3_j!  KU|2$@`TL`}P!h+BO *iLq$rY+E"j#10iDyo3CT׻ uY Pދ:Tٵ* |E3i^ГLi iyC@!DxC8B,`Jʹ 8Z"XB2II3NѰ!vcA^#. 6rFCEҶQgCOP[x>w8T.Vc sŢ'8LC'0jhQ:!§, 9]ۑKsLMgN4 JMh6S̋~P:Wj=+ouYzkr\72(/ت4 ѲQWRK]>gPPd&(KsR7nBl S]1%M+:Yftl8 oE1 vk bpVsȻ7;_nFP uՒ&2T&d$20=NV]Ŏy#Y`gn~z+^NcUW̷$}~~?oI[[#cЏSZ0ږQi+rHӶy\Xq!WꐼR$::9u w񘕣n>P࿔M:5+8iD 2=+ mJőձA{sBHzj7=.&+OxUN$W&VBh tn`d K&ԡ)D>`[͒T1PJ5r5~OP!*\nr%T0 pIe@RӂdecԟrdKkb-B[ŁkL " ߝ$2)'Hdmbfm8}V1@? ѷp;hT6](00j%'CEZMغE+$&AZk̎f}ol"R/!h\ 0@y |3LRQVdﱙT8I` /{eGilkN*PK=cɭA0ǹ 8R$G?SV+b!0}xLUS\^'nc#H[$Qv+kt<8,m{|aKs^*K:h4DK۬VM^GKޣb CmN%8U|pn? |Q=̈/`)T>+2`؍*6)dP%aH4ԄH)wWsKC&M'92!ה7UO*VS7HMW}iUG;*6!u ~^`ר }jm`;E3] d2zSM^b+)֜EH/ugo2ؘ>'ecAҎe'bum#4mUiִO'A FkB? R ӻ(w~JDENǦ'tO7ZJ@XlBQq1R?A_JV-n79udLxd5cƚwjXl^d S/ɄT *=7N4HUn^#v-=˖W-5,*j&͂,u%pϚ(|wd~ "3Yƕ1rگԜ}&d N!0U9LXz#bj,$%cOgep]7{Ϊ!?X+9~48͏G0n"p}*+(̘sBHqoM,_bGGx!iU,<ՙ{wh.9 Cdmb}"`8](~n%b)=YH(zq A1∨.Kt&oPA5"Xm;r vxuo/9s7B(0Dځ8) cr|惣mb&ln5ÛpG* 0=džTBKkio GsW0z mXkR]x)֭UYӣr%eWimXa 1zJ F÷\D9fx"XBRˢnW ^kݦ]s&Y؍^zAlMTˇ*O6iDMC,7~i < PɹA M>Us42udz~ Q,GZL7ϫ1tLobq5qVk> W%"bg7yEA rʊC&J#x4Ci| D'Ht,M+U@Kf*x/@ꅢYhI,IQ>jS4U9a/<%8kߨl0p+pR>,e_1˜D@~y&yOg(yqPPBEk_K?ۙǝFF"(~DtFYH̪9S5H8u8fU)[B!sSG_JY(U۬w  uG@f=_ $b t `흆6\x]tRΞ[b2JMD| N-2S~5Mq[}PxbV9A]*h`gYZ  i)C% dBinomial-HeapsBinomial-Heaps.BinomialHeapdocument.tex7zXZִF! 4Dk]A-MՋhvG"uIBm5o]Yr,YS*ˎK+^W9gD3WY܍S]ԙx&e=v2>Vw0!W{yݩ=KrNnm:*30ʧ&-ɷf(mVW:`kT .CF%=ߐ 4!I1'y&zn@~"nVf`پ6H*Ղ?UkOW#)("B %Smi]ͨ#'y}q _I_8089UeڿS яI0-L(;>ds*Bmol`v0يfiecx9yF$hr7ަF4Fk" ]^tWЌ|[uM?&{PY%AD-Чs;:n }Y?dGx?@P?ވ23cᏬ\ 98M@BxBXb:I']:o 2M[|_Y5ӄ~vuJVqn&,v&y#+ CKh3ɝ?`RcW77#ktT,Ae&ŝ0ІWdѷ- v-pa,P򖅀FE.n)=_g:]sv@"Ok- pҳ ;ܦ>ש/^+W|f)ՄB80FS_lbNUē)\l@†&hUf꡶_)<0;فś@߭mvJfUmg/f%x+çG%7szזbKʎ*D IFo 5N[祩 8yƓٮ5|{YPXŸ :M]LFxMG!^$~Ԯ} 2r -)K% dBinomial-HeapsBinomial-Heaps.SkewBinomialHeapdocument.tex7zXZִF! @z]A-MՋhvG"uIBm5ȥJƓamZҔduu ((+3 2qb*Ҝ-I kܜPA'E8b& CE\&x[roG( vso٥Z G`+DaF\?qԘg#gĈƱ7EfXt>qy$v 2EC2e.BFFg&pT1 auT w~-DۄO@D_xhDʸ73*$\Y>%e76i{çEQI%n0CrjзV>@~AOT51?듯g tӤ^X]}·7鍤3*#g7.-V!x׌(mG P$7_8o6̃!~먻`cݡ2 XhT=R: ~tP6d$SER9khͷ\,;B ;FG5g.ܘ^l5lop.}Nέn-~?v|=fgVi9 ou̢W#; Bv/.-ځYSe}U%L5Fc?ˏ(Z78YN7VyL"%;TUtߔZvwW} _Az3@㣻ۿ#fY'"L 4PY^g93ӫkV8LBDiu&*DpZr22lM U1^ ذ ԇon|d1I&PS;֢I5~/U HЇov$0>Z ހP\f3H}QhsFrqRJ}l1C"UpʡҽF!Xg`{ pIgpǭoZ\EP1D_Q#{^gs])íݝy cڝߠUφG+Ů )90z&HljM9x; t&~7VS87s!z<{%@>.!7qVSijF5/tFe[JLkg,?P= - Ջ&@55L0^Ŀ e[%B@Lb依!ě_ 蝒8K8Vx:3ZsՖP/,DoFȝ=U%ZWE1B^9$ʛ 6BK( ]эtVu 2Huw|:F^^m*UbȲ3a1PtpMjRhBU`/]rme.B(oW/YhgxD/g6C'5b40L va6bHM$I.55${*ea( 10" Ӗ[èioHR1'ku]zA5 C.yR ;ǁÊdXO/M@ڶ|qѻRWznhO;rjc^GP]Ua5a53M?6q!0o, "V7벖jBi!9]ORH5*hl4DM,> a=]?)!e*|Qy0J==AwQuᇱ/e{f4 =5XGdbYg|z4ul [^MMZʈpJcVhQAN젙4SGڅXZC}R:ϢhoQmn3vA4n/Eg}E zfv9uCс@5RrjFѓ83򸇠bAyO_G$D&I’*m$z|95maIM6Bahd3I)!{Jx4Aa{l09jӬ[2r!o^nhp)ePv#h/׳I$ݏ r2]l1R W_SMA5O`h젚r\] 0GQ44o 8Y`P/,]\ \`+J2kUp