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  h)tl ] Binomial-Heaps:threads=4elapsed=26.732cpu=56.248gc=3.1247zXZִF! &S]ŗXiɟH)0!h]7'$]$Uxs%w^0F4 |nQ#R)4|t6c39"ԙz-tz7s jBSw:KV"vfǙ*GZ ژH+0"Ǡzbʵ=S<1r5apUT]O z1 P[wm0*?9usim3l 4p؅+ܸ҅/{ v[X3%SaCKGMbr~J RRoĄjH1REyX%یFHJ:%  KY$ל氞j{p5F'=["Tirc}!x ) Binomial-Heapsf )C% \Binomial-HeapsBinomial-Heaps.BinomialHeapdocument.tex7zXZִF! Dg]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Ÿ      J U N 6)3+Binomial-HeapsBinomial-Heaps.Testcode/export3.ML 9)31Binomial-HeapsBinomial-Heaps.Testcode/export2.ocaml G)3MBinomial-HeapsBinomial-Heaps.Testcode/export1/SkewBinomialHeap.hs C)3EBinomial-HeapsBinomial-Heaps.Testcode/export1/BinomialHeap.hs @)3?Binomial-HeapsBinomial-Heaps.Testcode/export1/Orderings.hs?)3=Binomial-HeapsBinomial-Heaps.Testcode/export1/Sum_Type.hs<)37Binomial-HeapsBinomial-Heaps.Testcode/export1/Arith.hs;)35Binomial-HeapsBinomial-Heaps.Testcode/export1/Test.hs;)35Binomial-HeapsBinomial-Heaps.Testcode/export1/List.hs:)33Binomial-HeapsBinomial-Heaps.Testcode/export1/HOL.hs?)K%Binomial-HeapsBinomial-Heaps.SkewBinomialHeapdocument.tex:)C% Binomial-HeapsBinomial-Heaps.BinomialHeapdocument.tex 2r0A8 \|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ʦL`n00s=zD)1i]=X=1ǝQǫRf~|1sQ;J~FW#j,S@IŠpl/Zp4Wx;vi-~?Dܳ?w dXVmҪ%\[?BRGN\t!fICY9sHkNlqFx, g:UvanwMh1LHECOGh@4eqԢdM+nr"4K)F0Ƭ*|BZX͇b*!y v5^%I/xe\D{ F7y5q3YVoTy#n|JVуr6յS&0!IJ> xί=;3z~z9 Ҝy]7݆hΪQ:!(zA)݂8GHhPB`\ܙ<&iX޺V#d.88lȔ~; ]/a;XҾwvXڹx_Ca(ǠNޗsIi$"ou4"Y 4#Wj8S%DFUʷɖ3NE9Ey!-Qf|^?dI%?(@U`J v;|Nsn3{bppX'Ȗ*Mhmu)gBIzTwe!H"c3gp&OS!YݧKl;~yIUb>2(YFhL&|3:V wlIzq-eBkR/ gqS8 HT {o[oR3%{&'A %3n}Qu޸4"L|*h_$F|ǀ2*ca*mV|slo+w:Wϡ)( 34,¦6#wf_ro}}qT)+;I$D &kI: =꩷YW 8wU.R&qIO^w񣬾_%q_2Zϥ:)*ˏ6Ҷ_3'.]|7Ą=g4uУ#?2=<8sQa3NҒI|G[,v.h('7կFu1'HԨ&ͣ :^4}4.*Lq KUX}iC 褎O3 Lr%G-Qy^>ecTbRc 5c1/pߝ5A7]ff77P#Z27jQ$^Էޚ:' +,QRg\Z)O-).3kF4!=~4h5rOq7II섩-_47>B#7Px+ Do]%20L"_BI Ɋ]TJ.h#uKZr Ud9)G&?۰~yfwB8+ʭM͂eh{~ K=da_#D)j)!pBe1^/n Et懮9D'6C}x;rٲu&1d߄[>!X H.#%^*\QLnH2'7(2/"-9\ȍBcGc9A&goɱJ)}3>_%dQjPֻ'N5S_b3_va&GLts -A.u#;8iEaZzh*$d.0h)ɮ7*X$Ȝl .`qẊ4.h#dTiIl]W n|5wM#5a,uOUuM" }aѺ+2\u W\= |CۂΪBsǎ1+wӮ0D,.w2*|zcjUdS:u #OQ/op?KS[Xzl՘!Aa*eq|ME̦Hݼpmӓs{]L"`50P'g{bgͯ|K 3N]l0,ٳ^I0m\(O7疅F$mR*'F*$c Ct%g O|*;][V4o߰o 4ٖ.ئ`ol3ˈ9oJߘP9QVE=.Q:j\9~G9$F@9hKN;ـ҉3ys Y2Z\T)n~Ño5}WGJjGixKO? !^veD\NRm}$,etcqx h-aK`警D(]:[MqsʫUn`T@WS=6(cG,Ũ4~x-V " i=Gbe)I,\HqҷzpmtqY9pF[#fn\f]O)B9Ef+d-8˧,  1|]xPcxwZ'}ԃ/^t5Zd:(>x4|簻Hb#@L&`FgXfcָ.}D`1"2gxUlfa}Э1JA_}$Lh|BޭDZxvL^CHF1GWi +;!N:nUS gPpYgY-ƣ_B ) 'u:8uʼn׉>VJʼNgFN$QzS[Z:LNuox h>B_CBT] q!bCByzn .Aos3]hBG@0G6ޱLBų&DWHA=On<&ֲt<0"F%f-K)9']3K7R4qv HO+(p|lZ-\Ot!GjwCeS bM{9ԏ̇dsEݟLJ2x!FuYxx^ J%"[@ >C,nfq@ GyDsHX/1|t#x]eSLe돜a>6J7B5Kj|g*}q{'*Ɋ](|Z\uZ&KOCD8lL(ȩb\^9ўtɨO.Jh޻OnUSE8o*o4H5 P;lA6EREMk$뽅 L_jZ˳g! ]nfF!EK˔䫌 |$~g)G\/['YH*R8L[V탯]c=lK2n/ eP%"kq1ϲA,Aw_%dߕ,]= h3C: Lp:[WV\[LL^9خquxnNHx%"pl+8*X]\A$_)J n?UIf$cZɣ})%x6҆Dyа"'_k!°*Gžk!2*XxW㺱|) aE7v2ZW<*r)@wJ`W'a3L\6ַ^?Iru;}9cjMP`Uךw0n?g DU[nl tElY`:9?;&MmGl Xss621ߥeLӱ%(Ntp"= ]{8 :T_f.H-HN{c Ь]3su_?hɹ/IC# 1> '^@YȾvlS r.X~K >5'.KP7˭x(9Xj,8<aBVL&iCE#ҰJB< XɣӐ`X5f;])}Uw2aϔ k?X(MzՐBg9b]4@kj'\ jHw|CqyT-7Լr@-6H0ƂacҴ!2\t8:Ix8M?H"w{ 'H"Pxj?([^pK֯)GDc\e甂^lF޾tI]kw}ImzyGmʫfY8ri'Oߜm ǽ1^:_=zSSܮF<%fEL"p >q`;XC 8&ۛ*:dިņ"e$šNx;PrG G"&k]2v3t</(JL2un5Õ⅂e.irs?dpkO׃:AjYa&qpjQjiխ0FxV 9WWGSrj5 ) .V^;wtBژQV)m3uնg~Z?Bt47Tr,JVy;9r`@Ui$:XPWz0WmW2j >=ncY!9 L-68#1鸔%IJލvjz%a*A1pEX y04'>m1F7H]L@`aJTMPM/E, ![A?4Zt82Nzy3w5ݟf3SA2:Y:?O}Ni-R7\KHj]@]wF.VӉC].(^e#uW;FARG@b\_$_bVJgoaJ`oJ~seYTn]O81I*{얱w%ZKs? dWND|!h rI!H"[1Ebe$spd mW)sWBcWfyR ¿$X3]TAqc;>d cW_1蓼W,F52 MB˸A工d`P@RDMXg`1ƺq!XK*EDJnxy]4vlX]z!D)uBHfɏG {G]r,M rd+V%ŏJ(;w9Qާ'%*:9m!#w]oGTh a\LFnv¢]ĉ_cRiYw0M:,6kLgO7ź_>SCQ|Tbo%{`$ kΨ(ȆDJE-K7#$ ҽ-7Мy ʲՍib  RC7!X7ȯQo< Zwwb9 aOphvD0Q',ѻ F tp!ZUm!Qe uc ʝjJ(Em螎3'^cdP:fhfcc6+ͬ1V5UEgBK?w8M'F.D.~$0q_,& xʤ d|R *6( TՒ9 o`2F9}v "t QuN#" CTe=8 쓾:߲S֦<RsLRkLgz2Ȱ+]+;pK)vQFcq:Q|﫦M8ב,JT O\ovd 9w~ ",:lʻ8dX2cK]Եm!..9sueoá*~BR\Τy~뜫;vO3#]!`x 3-ՊeweO9^?XF2\-gUtGЍC:6B-˃:c͉fy&/E Ơ̈*yoϝ?E@8iOrr8cDl"Pa x2gpFtﲫgzMRm ((°m3.q.?9#4z.Ѐ:-¢$bv[D`$apoT§| -Ĩy0 2\l1lH]pˆ7_u 7yfAeVNp\gOD5g-\Z9V-=0 I*O9{R9)ѥ :& q)2ԕ"МsG>+ RFFl:lQOO?oFَn̙!g,_u:JՌc!>eǘ/8X#zU @][掄^opWXהavauMwtsjD?lP[|`Cih֒N޷T{H1v?N3ɚ1F1:AM ԍ UOw])'"m&d -%u &rM& -l;}HjJx݅'T+|yPwm;,AE )Sn3rv%psi,* 3KTjn&Sppޅ[߿`\9˟G!_|U _]q^lIѯ}^ΰ40U LJZxc6@MʰE7\ͱ# Su.ة[-g0]b?j膪 Y FFHzqY+ _%tምۜQ@ZS_EqnB=~lG jxyȔ oT iQW[iVf+x΢TnN M΄E 9܃'>H d^md>0$"j; M= m~ 7~ق'3 }dR4 ؼ.$yGbǢGzR7tU͊.Gw?9ytn`j9B'E8>S mxlLV +˦3;C W$imzB |:{bso#dR"%Juy|#.4-Jĝ'-[;oYḟ{#+bqӶn RD-3;ˤ uYS#][v!NWI}xJo0!nܿ_dw]X%ӋBAPNGyp!S{˫= E"GsUDC$9XZf4CРG6r8g= `4@(FBAinVbI#EVA"౱=7ɆRDz6i9uf,D. FfHTTH|$rWd]w A{F5 Մ`'K߈#H + jX޿ y\,KhcfFXvĥ$۹hٯHm{7);Pv";6 ;8ܭ+'S̙._T6RSq oCc^Xi /Z…u0N"t{}덗h{ rH]+Elj Sи}ݨjD.sk/qj3HDi!dnC<.)10G/+zJ2J9h O{NgVip3P'!OXRo(265u^"g+_?i%TkVSkN])yd"e )MY@p)H?@[&ϼl& M3'.*c_pRD)~d ~Qn"9i[j="'}xXO^NaBA2vzGF[ؠ$xj12%:%TweKjfV^:&C8 J++kmૌGicFS֤ꢅvezJZH`3`Kh gh[MRFe&ϴ*ޘ{Iydja%" ol<2{0TGqPRN ' GUt|Pze'Om=YGA~}Ĩ|?cLV*hpTݙE0Ăgb F~%Do츎J=4`iIl[%>j40D ϶ ȵ_-,bo͵=q1sMu,mT Q`c~ECE=: $b?&$Zx*€HD}?yYCjQYr?sU˙T>6Qv?SU:3)/3k~xDk(v7Yz5km iRir ]'/Fn'`QIM#;M37g`opI9Vĉi<#Zyn Z./$>YgMܱh".._8-v*^ AԚMre1ݘiwm΂h})q6գWd(ZŹq0nxAq ̵ :nY歺Ɠj)RgcjRq<0Ŧ"8r)iY^^Ri[r"i2nE;3&0I=RgHm/5~ՠj8CQ8f ̻ 8OE^jS Q0mE8 1ufC{KZaS7ff" @ 9k{Q@ߣ7"1%,|4ɨM4Uzǭ8jdǃ7B H.GLYұP-FgqYbtaq.HHΝS&i A\F_ϜK|xS)AEvh #r":bP1Jl6~#t"!Gz\p) btb6 R%Dd/S6qoW emX@l&ow/06PΊ?`֍TT= ]{TG)&=՜ͶƬX G2S\ܟ׹gf9?*״px< gO2=/3Ps;vyο` )QVwB T wf2P Fzj$(KxI9 e8؈ꌳo½}Q+LH!ⵥH;傚@ɂ;D|{5>H`8;.EiHBFqKv]fޏOfi9UÕf4YL3^"’ 'mU(%¦aGc:>vUF|g;fMG,%ha՝)x Ⱦ8yPI".rts! %GPbD.r[79*)b{d4=$ĞI"y}$jR%gGi ֆ=o/"theG-`|mg+- ,]gyA ?N58Kq㼗dhDvuG|1\C.oNb*;a(!&2?dXtި.P][8םF|^>Fw^1d} 9Q@ICL9+QZ2˯,m+7sy 3{q3:߸(̿y(FWDYu`O0kXNuq:Z~_58@AG7+)ex]Fvj#Ӕ2tCk1GSkm? ϕ)ro0dw6H.4W" pbzME+QbR#NK+-1Ki)}(aGX̀ZQq'='bq0*~V_GnwiKFJ=2 =;<1ϱrpK7ZAQ(m/6wD;pǽ vMrUF&GVQzN"г%,2CMʑKgh8ۭg%MhKu35$] SwXV顈I*zSF-Bp˱lWB[DP yieGia@(9hGK#sT_ǎI`Un*I=WאۤLqغzQȾޗl6bfuBȤ+GQLUĭV84&FhDDMxʼ?-O?\k`.D؃o79l9I-:Ap95vyP,S{[RCg-n~,5{ss.ߐKM $ޛ HqH8w)xr!V*PYV$2F>Ul9PLmnNe'\n_r=w ӫK5e_i1 ,D{ďFy|*}褲MO^MclVS81 MH THg3[<⚃Gv?1L3XCXGR, r6l-5O͖ɝ>cy ŶUY.҂XSeQlM&leoh&6St?TzmXg=0BX*ק[(&ȍW0+ZUi/:]y RqQ\Fw5plVJьydLU )N:wJHO؟W5T0C9eΊetn+R\{рe7Lu2!hf;@cֈ5J>xiń5AtebVf~G#tq*Xb5Eap1?UH͔#H`;݊*-6G(j#Z0,07h42 ˹ql&n[ba#y7QGb@77Y5]'pά@U=As@X>/ 3J2+Wx"[1@.\&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ț[jKTS5/M؀9 l&o7o='&?ViMVݐ;<06]P+/`RֺnLb,I}GBx,\ P"=xhC*bCXym`p AYZv=\`C{ h\+LW+]G:s?IA02E^D~g lyfTe &ԃҕ7kaN*SF wJ&Ae{y쑐ɀ X?6c9UU+l<7D._%oz&M>%O>)hvGN"bi=!g &5y tO^#s}+Qtq hKDA&?"&lL"F\<`Iq IGZ|2nibt>=AS%rM(J_$T}AԯG^^)ksN X/3+Ju\GSSw^XIi\Z̋d9Pzp6j4Ht5`pCh YLh12-}1U!0n/5JηaNaSpvb^ZXЌR7.xWa;*kxx-~n}G7oj􈪇YWW]e .L։ a٧oК drXQ5[Q9ķ5tGiSBCv *;gƶUY̔/ٓi y8:&1xIvXKjp+_:^Ć_KBZ1U_(IL3r TTD~،A?rGX'7J t8G-;b>Q3IpaKϧ>m+oBx9a% ѦGo]K{?3; )b6d 4G<]wkɑhP~e6 PP&gK# xfWPN CC[L<5ܴ"-M.ISOg,F2d}Khn$u)ԍ߂KVh;JVgSxXCu\H dK2L6-/.W +X ׷\ pxW59f͂ћz@vkBgaC&0AHثRFuЛKu4IPfޠ4Ưβ7R<޽3s A;P6{ ߨPՎhTro"_\I8&kڟJmIl t#VOFu)i%`24p*8]Ue$|uJDZpǢlȳ '+N!<")B#2 b75u-GyښW ~gsLey_/8nqp:82:vSƂP%G <{c3qT" g,uJ}Ъæhx0æQ];4JCZB`"(%^tP8W+&.憓bƩD8*3%=r_y3l> %}PP'@;3qGxIoӁQ)1C>Kwfr1~<;C*P!E&$Lʫ繁!)RYRí7X&7 ^>H Q!z0/oSwJ竞/:(ޡ# H&MuoDw]|Hbc_.YݏbCw|N*%D7y};ޠ·zNK[i}Wu"n)8 s߲ċQG/])@+[44xaWڒ4o NMW= ȎDnߗky(":0E4"{aaJ KL;8ȶ0W9Q=a>{\wL<|1Uw絛9E|VS~U.wON$Gpظ հV]yrqFP[|MK18"XP Q(&py::Z V`ץ]c$W_t^8jyAEzG͘O:L-pUEϑ$*LNY_t -sy k`lAw,U;81+2FE];i%sɯ9AX*]Cݤؚ|`ߕ- uUj~YͩzѼ@^˚vf aWCY(/ATv޶ԏJ .&^;t՗3aVXVM H?O, sHKl=JƑKxs\@aH3.3( PQ&x$@fggEuuzI9+dڕ|R%Mg?yZ|XpVoOYdkbe5S + DO;ǜW_픵嗲k:wAB5ZU2 bEQbzMEmWW0)(6['L?'W&;+?U z8J|fXa;:2$Z4E1bYȘ8fť uk>*UnLnZ%3a{^-2>VAaD31a'cM/J a zC:K2cl 6W93eXzyWez^۰Օߗi+,{9eI;MTت%)|kGAIC<Qr#o<4;\0T1)v43);ܒ&#zKre/u_8 3()lk T^2&ǻR̓TzԿ+`=myEyM}FdƇq7kO NMb)\r}$a<}1zk*=Qk =[|xX>0u-tOU\}Zxߞ9WߍN P.!J^g.{N=߁ 29+{j9{vr=?9A=P=eGj'oqͤؕcIRU&OT_054MQ,)MH0 CNc,NQ%іEϐњ9ƳOGuҗqZnA^(KSȳ+2 G{<Ԭ:ӝ Mv= ; @黌khZ㕌m.oO+i= QiC IՇ sAV;W8$s~Zv mUE9~gV^~vrwzJG2[((yUj`^UQy苊֧3sja;oczq ^)MxXr_d*}~B3ǦeւGzF)(oh54z]!]d/F֜,洨K P6vB9=qiK L^U\55!P%l'\IKb !c0[1&6fєLMPj|!aur\Խhp}sqH:. DW|)3r=e'1WD$e};H 5! ,o @G=9EQ9}GAs>+RIɁ y,UZAZې,GHEЇ  yn fU\l]DO x̹## aHKI+sUj J[k0 ;JӶmLC~^39܇nDSG  *q,?LTD:8nx~ dpDˆ> xxw8_~N#yޅ[nٕDrMEIt<}/ I*Xpjhec*~].h_].V[j{Osշ@F5PN6uzcStI(o&giJugm h2m*qRj=$6K'[ PY|P@tn؛eO2V߹llx:ӵ޽4{,(ۉ 79D-I@Kw$t.(('Rʭs@*u[nD(EgJzomS~(72›QG$ĥ~->m};zЯi!&|Jheco]7J*s`lMI}ػޥE.MKepGW5P\@!D9Ufk_pNV&fiC6fH[PIj6ނ)]y`Em^4 }؆vґWDx@o[HYpr;#$< D$g,QͰ\!\>.:A=n># <3iR8ȟ6F6KhuZiάTbRff+=As~ l2cψb)Bs~NQQ)#ƒoʒ=]#LeX?dYUl(=6VB\{g/}'H}&$!.[@V  >qZ_N?zQ`Kϩ9B~`p~-=ߔuzmv - 4{(/Dyŕ+}~,HmGrp!yi8Ipfcs뾘F.ˈI?5mgAgsf!t!kz!.K:j[{_ԋ Ϡ_ЄSV$wu{r&&ʖE:=7,>#o$MT ),YI8_Ǔ,kJpY;rV1*3tp~ ѩ8]8z6663a\hiQbsfKG~ ݉(_ /OJfˬD"fUK2xYЌ"W= CkMp%DLڝʏ^mf5{~&l=D2+LG#A$'T:JMfL ;|ky*7'.X7 e @ ~Wa"QB1iwQ:z:w6kVunY?k`QͫbM0XD@.!A(}ɖfu ?y\cuLL.6r;9ℒ;_?y0`^JBv,fZ/I&0}(d˱v/9ZLfz`ѸyZqsZB̞.!pSLl|ÿ#pWo0WnqI-i 7CDN,鎙(0'=a)՞+@tlg叠> vB&|5oX07]⟉frBi^1JNa:Գ@n"s:m聫wzs|cimNU%;ա4У_3e49!21ѲQeӌ=&22hNBVH(Ǵ6`i3Ɋ\U~r KxFBg'Yg#؊UQ!h0B'Ep7l#2B'mp_K.ؔ dSJ.h~c -:5c׍}b[<э_&[Ml*ⵛzHL$D ( è%4jdќ*/v`Ks8`e?; Bw'>%;f@ 﫧9v}$|3t6/PJ+u͈;u! "Zij!<<Sۉp^_F_|M i;x!cǟ$ʙ.*ɽPdu`51bܓH7ב"!Dk;D} J1? fD`R0[_y<^ôּ>@qS'4Ga7XA|!bV*JXʼE̽2#.G(KRH}~kBO ChPӦ(D LFd-!RX^Ic y[jI$4qM#/+V>$:`7 e0WxY@l*k"62k E pZ<^>6RaEnIa6w#S ^ [ @Ęڸ[_ *eڥI8Fϑ4C%Fƾ唛o9B߃eRAX7a~l BbG|_6& h{Ա lW5lH!^:LjtKT,ZDZ%;g)-Kw *ب݃szS,n Lrjk1#maЪC¦&П}ZyKbV*l]sd|?kp`O9([)&# FrRTƢ2x N@6QBPD&]ޛ|zQ뮘}O/H Ȯ3XE־ns cuۙ.i65L"/FںT!P{/%'O{2nTY:?Eh$RM!n<,ZA&Ab:p_RL0ۖJōJ3/ʌs?)x*Dcުɧ"Gʭ #FEʼ9w.6b_ BW ;hܘӶ%fBqH'>/dE9w韂>LTCZgezQڙ2[! p#zN'Yu#oOxolAru(f(|N@enp=e]m`/dyρ{TzfL<5TWBXc; \NKa-=I(h ԝh ܝ vaYVpQ)P,k>Wح¢ϋ,?%#Yk "@Hzn$a.D˸PfM=K.22%w3*͝7֭zϪ݄KV_ 6,k3Ub(>ur ^v si՝dӹ*yڇR҃=*a)rgsNr~(o}2b7fԧ𭒺FňA;wp+٫@&]F]Wߕb?_E٠|=]Šϑ Ξ?]vy\wi9diZ۩t}D4;a$<)63Wlygї-ewr/u?͇2w*J:%:ބ=J"08,@zb-l{u20 zv]?>&7l}j{b̺PH CQk }j{S;3JNLBԄA$\}sdL|[wP$:z:3{1 bQFq-AmC\8XV94a8 B) dD4oK+,!N-ɧ NkwVX>Xhpk"+v!S+ цCt4";9 e!\ѓ;gpj$D}֬N,@cmևzSy- q"sCZ~ &PsEU2ˆ=hdw<\ݸk!A? @ZZrh.oevvE>Χ,c.v9I'k-V_HGJGX@1i2k R^wn-,Z]F֡+mŒhRIV ?up}S瓓$lD[LasFww:M+ 2Bght].a8G֍Cyk 0 Mc$G+84Ǫ)%c@h\D&[2l4wQ_})~oB~Y.x߄"펪ɣgj3wV 21o%XS F΍m:3u4$NEX Zć .U_-^\`X("鴽e.R -/:L4AWJWȶȅ(3OI&>Rz^Hs.^sIurcUkcE_d3\RS pc0U}7q`[o"1.t~ZS"J $Yg^U]SB8zUylbˆ0Ju@T`zM33qbi[B/"UN D)cGtdIQ\Kw6< ~Z]G!籠9J:v9w6Hڈô!5S/vK:Sl5ܠiDL;bE ;PݢsV5JTe&_ɘ ͟Qj' q%BlbESxpLAG*Cidf gIHo[WBB/SrZDR 2twqU#9>Ob!7t,K PՑFA)0F 81xH0`&!Sљ19bke*r(oPݑe7Nod_P?<3X^ɆsXfg'F^95ʵYyܥ*Hb 8];>aydĐH; @{/cOP^X*w~k%:2Z?bsE7B, O)n9 "`RxeȆWn~e(:}4$C=!P=m^>Jrhd{NSN("F]pBI!L3d;8IQ7_ȁ[1+g!4'r)-mvEPBd:cƽTXrVjj1/6"1%a3yR=2V6{iS ڹk62{{4GJQ`u!^{'n8A8 HI[ ,mN)VvsvvX@ǗNT=zq‚1~!UL_f32ڻX-|/A_:nԲNΛ4an_0$'0/. { H|9KX vF!%l.#4ksD6OSb9}Oϕb+,ԸDW0 IoX/OmGA\ Rouj(;eK[1n]ERYT$K`@U3)+%KU6Q,Xp QDxHt?$u꫊ʖs*I㝫 ]!fx8.ֻޖ+P$m{CRU!pIZ[&) +Xȕӧo2YHF L}#9NA2qYMd;i45q2rg4fb>{&NB.SgM6qVhW]);;uu[97 -آ*ZSu< 2uM+k6):xû6;1,:@4g-֨%&lܮLS|RKMϓ];ɢ0F8yRcP,J%Af[!9Jr"(38`dwlӪ 8YUֆk/gE9 eA掯[c=va(O79v\+o0B`tɞf!PbkѴ~;+# W+2P\ Kӻ:Y 2݄kGoD⎜LzXvUiLM?Kipv +L;0iIJ%m@ݡ;((ȏJDh^qfej(s%ݴ(HpBM9ƫ"櫽*edpr/c`f>nݾ-R][~%\!_62ϲ :hX#VY;n"j _.>C*.?3QGl2`EFeD[V}VV#ar#T$ i5`"Jt![ؠ|NyI^YW)9I3OX'}ͤf>H:5m-֊'O|tQ D.(jwU]C^-bdYr4+h* U*c=[uYXIv^Ы2IV7,CwcX^ >F5wVrK%:2\ޤ K=@yԂ=GFC<|ߩ|-<3w{a&Ma3+M }xi)0a[XM%;]hZ6lw euve?'qHC I`I#ePt˕F]ik7k!o6 bU]щIXE/: d, y^A=uMD3JIFZmRc ʠ$]P<9LEwqjC/0Kju nF )%?_JLSR1_m%AIN6HIu="5֪'7?g޸odv4g?{Zt am JQSoqW_k=S@qXOX@u Κ-7pΝ'VUo`r]h&9`E5k [rx<:##~`"ޭ,`$ݺ&)aE_ʰvwRIdjwկ,t\C 9gW iY5#j )SVLptwѦsX# j(`Llzv]qǔ/cݻf=it;QS 0ZJ8J /'Yڦy#5OC[rO:T9x "eAHyt\? %J!;-y+30zhSr᫚@ԨPQ[/G(âϺl~- #Mu3,~3Z@KK㞰pK Gz <\LY(i\#MŇjčj3}:c8%a2si[&S>^w3 ;46.BiyK:6qip*.Xd aAMDҳx{$4$:DN,%Ô 3j6^ cqsnO1EbԈn:*'`Ό342j BO?7"$ 5϶L E0p:>vtQE=Ԡ~l5rU~>}z=3WPfײ4.{SF§ͮtǼ3yG_iP+O|7m ^:ڍREj?ǘ忖-N?rHRGo'%l+BH*F#JX!v4@e2pZ=#x@uf\H{c?  Sjh2ލ!'zn#4聽u/ 4jq5+:-^ e,(^o۩c>t+vafdR 3T 6Vwz176(~9suuMmD)3(^[&m^ZT+9g{,F>`.-I*f)r6ćK:F/;N{In޾j܊+o:p~l[eB{Ƽ\sAؾ{󭧦QLMΫw"l/<ŷN/P0.0q ùdQ'v|tגr&IO8@5Uq~Cr6F𪫳3ء~j({HBnDH̿rHف3 3rl ~<+[Wt{]C% D! FH`@k^xu8&QtDr{)qkehGLwZFOE*Y˥a✞ y?v^sbf#'㔩%Q֒bl?h $e*ϻ^z-#ڢ-}{^C)6Ӣto7)fQYNg"~coCJoʮwHI33M YYIŁ<;aCrn˕⛺,rEX%Q&r~[`;t}NO gz/;vJ&@*)\"s8Qdwi#~$QE$57(P&mL)Qk+աR XN"Wmm˦F4q0^ruUv!LV?0U5>?\ؐUc&5_G?X"݋y0уqR`xbG*[!hLz6eue'}36HvhMtBX%?"MفWVmKnD{'$]bĬxqeʇK%}(Ruog ˒ðO/]'VCUR`L8 鮥$!]) ~G$b~$j>:ύw ,KfǨ3,߸R|w:X}Vp;Vΐvnz"9QL9W>y¨aR08Q[PDJSq>vVk r!+.@YdE?Q51F:$d2rvB(dZ$D}ÈEϓeAK4dW@k?}Kf""/( mz NPo}l؈̺G([pQo0E_ ;ޫf޲q˚޶>_{`dU SՄTB(>c}e kI-e'wI4lN6\Nke8 uZHOWռhuUϯM4q_*At*a;aIELwʌ΂"-cVw#R4jt^08ӇA ːPW; <|_vMA_Y5jSn rvӻ2Om>ȧEۑ9ZSoZB.o'b^ 9S5dhkǫ'h}ެ"9و|TQy(Eo/%-H" ĥ$WbiH6pܜ<~oC|_@Z"F!|3Kzy`P֑Imƣm k9/JޏB:ew0RnBBfƪn*Q]$Y/-t̓MY]LmD$Puew Rdd`R ω$TS*['Pօ҃.mhmr U7.eΙ򂍩S!L@ABlp36sy[ٮ{g '8rUwPkL4G?.SPe_!@'fkК&_>;̝D4e 4f!p )wv55b9wPJ>}G,v,&tC61Jlk1(F?8 %>8C¬I<0&rN*?/d%i!) ZVJd/[&,:#;WK=HmgB쬞J'wɒ-۸b.X4]u %݂8,G4B 䱛H 5 :8zQ;*$-wb}D~8^7ɓu?smR5S$ĥyf9mB4)f|gY~I0ކ-/ D%wЎ஘ t5X]U=@]@AKr_gXFs$1xpw^ATJ$Ӣ4U#>wJAnw&CYGJUeP'y1zØXkLjX4q|Ň96P'\;BPU_0jڷ $ ϭ3NYRg.w>ҴW¡4q3r_&IB4D]u"G >aӃIc53P eG=̹ͩ;L!)8_gJ۴'иw0}dzYϥo܏s:ʊ.ɓ0XDb ;.AwI2 VvD t2Z:<(ixPd05}'wT]H$w,S00p<ѸX"~=Uy4*6ITlo36bYVR&u0͚+AX@l' Y\i:eZ>#` )\mȥ(r1e>xMIx#N.NltS(l0(hk%P\h$.DILa[ȓT"P@GyN&WM5mc,;6%w$,Pͩ%m;^UM^vs4wً*4@Xa D+cou>X&5\U vuq}ۅ3Ng(C9ZZɅ\C~3RHZiܩvF>LZ^vÂMw>evfqyUi۱p9ƈYZC@f:Bo )PfkjM$̈́r3+Zj$TA;2S ޑ)Cڨ11X3)I6tnG~|BWS2fa)F}a; j•uS<7FvIҸz"0qTTK'ˑ:b78rܼ- kN8S_Fv>]V:?ħj%FrD4X 1PW$ q7 o֝]>O+y&-2܉6N1A/uR&XҫY;۾7= t&3 -?f磠@ø鈍 zxg[K"{gmݛR#'j-T7Vyhƿm[xg H_ʭj挬c \k9eW~!;_UFgGB.4\ ѹ6ٍghAH}Uټ+J8%W^`']g  %# -]?kѽbꓒ:}dmb Gp'M!V9YP\Wŀ'`C<*2 8ODpKKݱ XPl\,R $jvdhFB")&$bZJE]WV0(^A>@D ?p%_< ;]J*Àeh%Mcb:fEgA9@ff&cgT-`2;A#8r_,,ɤ3ߴ06Ugבd`TS+ub]+ӓ[ԓgYZ   f )C% \Binomial-HeapsBinomial-Heaps.BinomialHeapdocument.tex7zXZִF! Dg]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!^$~Ԯ} ##E)35 Binomial-HeapsBinomial-Heaps.Testcode/export1/List.hs7zXZִF! G]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm`(ߓ%͊Tg9}n4}ɶGEᘮAk#Cip;hi x3u NjbbB#'LvA5I$yx-߼:^)ҷg%* g,ǝHv2bMMS 2:`ug!geuPI_/%o6u96m) ƭ- E8WSE{N%IT5{dJutZjAPnVڱgYZD)33 Binomial-HeapsBinomial-Heaps.Testcode/export1/HOL.hs7zXZִF! H]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm}PWQwNу}DIu&SVvΥtt^aZI4]F<-ߪX_Fi <8%kDuB68cyXRuO7&rx#705abͥ6~z4=߼h|q Ԛ_KM*7zGW׀ [G0ܕIaqy$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/,]\ \`+J2k   3] )3E R=@ǔFA958".]ȕ!.g.3]Lv@4M a5eZoN0UyZ7q%;6D{q`*<ʜW?0*Mi .T|J"0a6\I'a|70Aæbh7Gq!^x0d#EΏrh-4},ֶсoOWSɻ_SqH0^i\$%?#3Y:6krupiC}~On?$<6hYYwHTsdPN15;~4zsIb"\2q7TP 5,נ=;MF% nHGĀ$EcT+{>jѷدK(3_ ._gQBKvBS/;@UyJ)滴 |cj nbYIVP3g7Hz¸y[y˟0؇JT(8bv4lhB8XvL5EMDx ,;nhYWvqI]թVGp=}a$]͵@u; >+f`%R |,"4r״A4&*ry(dPo_Suz3jXV!nJ HՕ)`!7ͤ Pv99j. * VI$QWeT 4l cžF!Ƀ*2ϧ6# ^Qp2L1T+`49)넁 #j7Ԋ5cJvAaKȚ+*LFnlTêD:fէZB֓r=F|C " gYZ)3? DBinomial-HeapsBinomial-Heaps.Testcode/export1/Orderings.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmcnffw=ch('JiDRVEb̖(,N~O:sZ5[!8{ójB06askИEp($u=ۢn,( ' ]ygYZb)37 TBinomial-HeapsBinomial-Heaps.Testcode/export1/Arith.hs7zXZִF! d]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmx hp6zޏ gZ;ƟmzHH$lm1 9 qjN'#g?:C5ZbMS_ e3q<_ ?J* ׸jsbW E>1ګI Dmc쟦{=ϻzk-Ƥ"-d%-p_i駧Pt+< DzD莜me 5/t]Hғ7 'g[cJԺx>#Ap:jm Ɂ J ڨ.M&7+ޯY)AÓ䢢i/V}6TibDCHi@Q:oŒz3@ 6)wwkmKkF)v06\Q[@OM@Uj'dOҗt ( 2B&/mUTqn-;HRb!Yʷ+iY*בBo{a]ũny'ZnS)ϱgYZ m )3M TBinomial-HeapsBinomial-Heaps.Testcode/export1/SkewBinomialHeap.hs7zXZִF! #d]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm\035?qt IX年Zi@G6"Z)OΣƽI_T^Ƒo@Eӫ*WΥjo0v }AO$#t#oG{A՟]HЫӃxAm':Aa0Nظ(7K?{Ww1cbCa nT\ _x M@"nga !?x%Y+a|RHjJH?VTp-m\MS7Oto0(4@g4l)Wsh]o1<5@,o6MiGJxSs =ƃxBSq $ᔲX rs:I4VazK) uGHwpi>T#80h-6 @İu";k|WZȝ㼖Es.9= es wk톶µs!*>ȽCİ*]s-%xU b lo{QNa9hxC~;nNoD`P &THטh56F7G>%I%p5dRe|Z3"NAUvʑW=בy*RhKl]tM-۸ &cQ~8Χ,L%pǡɊ?mHah+a!\-Fh3m(}޽aPFL+ rDL pL4Lw0 k`TEvr aIR1C4ozmcS ATvŔ0FG3{̘dpJK J$ϗb)H[w߫Qx,<(͗zh/0sYKl<}٢ggv3n/}iJ)ѹӠ=W pT-LK`PhYfڳ4SGvDY(a5b)BM_Wc[:Ӭm@ ?2n1;m}ҵ;zlxkᢩmrQ V:e oG 95wZF4{{ZQ#=.&gbaK)=eW\u8;-s35[»Hb3;"dh!ObeNyH#lUun)ib_G]=\5r%MhQ֣~?Lۀ?0^j53JvÌhIYo$ jGcGBD'G dG2rx][4spr4 ':\"9ϟζ:XٮkEvδc'6njՓ7%, LMjAz`l!#jsqWfW,!Լ'Hƭ^Kf{g]̫CA p0Y\:pUc˺2 tUB=UF[1hW['* ك]B1ոjҦhLkMVɥ6i+xN̜3cQ*q5z-KU~!qQRp6**L1g: Ž4gDɯFI!ܴNfu0\NI]xT{[^`uB!zϟX;cR =2NOR>4n4:mA\90!>DTo[wǞAz%(DbӔ~rWS0 ŷl 螏rD6,+i@>.jGjo{\EzkT"*P 'Ű3DL `;-A+0q? Ыa7eգhkOns1>P6koP8TD}($EdtdgW'rDGC/@w} %DD" .Ft:݂+#(dqkh,f1sʀ#A:gMC.*"!zOn+Jd. ${@5=qzsY%3!:ev(cG#`p\K8/yM8vfKf22[voUxrn˽tPS; Ȫ[@k7i0 hCTHU x+̚7P>fGDSmRo3KE1v}dBV-XO~' fl!C|0Y+'U‡גBjy-9_qQ2RR- nagM珫(4pS}+.5)XlJ-TA$*^W1MS)h,ts7ްk zCG(Ll7rʻi6Jk{y%ivQsD|/il\2Gq;(0TjucxʉٝQ^_6uijwI\Q)C4j)'%a@z|1=gx8b/'M]uΚ" йK'6>?ԁl 0%J# (Ԅ}N mqkn7Z :B3iiPZw/7eԲYdesk1ցf-EYAn{"$FZ<6V1)d;}? OA"*|p@М?/?o`FGfٖ)I]ų${.PeBXCσO"$>~ + ILFyW%]]iLN9}.3!,Co(KFcO4Kj/.i|*?kլ@Loy q*,0$^|'${Loܘf;a&"fuIFgdLϋݔheIwt]+Ҥ3{i42,4$HiO>Vl]"dme^1EqK4ԇ7qdԔhY⇈Zx@I_+=N@Dp)mrES_oJUܻrS TӺSF"(Ϗe7 7J6on޸Y/6h3xf"bMӡIe9-ZsɅ~4s&L::dANI.0zyS>ޅtZh&iDν"la\@td҂X$g^2P8HBV9S^b@-uFh${3 5ĂWHhr7ǚM x֟ϡ9GK]3@Z>FG$g\l1#;Qd1[b^gM)jB~D 03Sξަ[h::7&I7{9Q?ן84wdketnwz+&m |yU@n7%S9[,CyoUa]wE"~ jsZ*NֆAQ!ڒ&_F;vjLMu=!(VXI8^-<-Իѩ<ElRP׈L کǹ0P˥J׬g>)T#Fq/F꽐;g7b J2M~DxxR*_p0%1xUp=(v襆Y;57t5p=^]:`Бӗ9=FX tY)"KJi0IUaC{VwN 2H/5oK^H+qY?Po?U ue>nhO]X/`Uwt{9;N܅sfw9o5E` 9^/ʩchWNjj7} pe`%@Z|\ԁˏtP';:eɽre>NbJeD;MZmATJ xsnq~* _jqǏ2;iНfߴJ-8`PoCA9JKnx)&F>̧:3a!-Cei&Va1ˌ, HdۉPֳgeb,Ò1_F:F7|g}%JMaG(gɪ 5g,=(T޷)ݠ-_i&^|"7]87] OnҰ[-r4Aڰ.FHtvŭ%Lfr;cE?G&AV~*e"Ѕel߫Pχj?SpAηG'dr%GuD0);)m `hS SwXHƺ9hSBv`e؂ D4ϖDrC;+%U Yܮ@).Ӿ"RtK (|%L^|!5?Vi"Ǧ~̢HX4 R2e$ 7@|rcMf RO&!Umv$ndᇰd0<,DP4]}65  !(Rϥ8 KZmemN+mW\~~Ztm͝a,kJiRԢ z ]`0OTO|V_D@H&lџ%*L*_Z%7x;NUD%Z`(I #؆?g( **JqU{SS.ҽBT;s~lhY\l_WyicD)rqqgYZ=(@?.4`\qf!u O᰾xdf!FL~_gP9) ]cW#[?:{IU'rJfa# texWʱ**W{_SVYS 8 cf>I@.uSO^:63 BNR/ZixA !L.OgYZ7zXZִF! {]ŗXiɟ:Jc02߳|xXuF oNV4w T`7̵n8ˉ$lUE w\$zuWj b?_M(e4r tRygYZ7zXZִF! p]ŗXi%D8W+, tKN44Gg Y:7mOz!O~8qh _:{DaDH-O 4W\SX-eBA Mm6A ikwfRoRҺ l7X"T 0T+ M`7&9r}FF -l^YqU@'5 9m0A%%'X<OP}P Tcxz hi K^U Ψ}`R\.5Y9נ_&%xКx5URwӋ:I!fr-l+'1QqfL'7cWo͞Siij͚{7|>~g-ݡEjL;FFy-J'RgHuJ+l|r2lzA#I xT59] :aS 9lu,z9uzW*R#/I{pgV[rs,X6w vDb_,0}ue#54 !ZCGʯva Le/~$A`aL3<$AJ $"CׄjWnN -fz[T4n:մ+r[HdpǤnz&W]Ynj07a4.Q9et.SW" mڏ4h['7#xl 6˝BIɲ V3{뷶`;GmF͌ŘDV6byq ztpn,u=b ^ CrD2E*}{ ͷXu.vl:B*@^+*08{CևNCY5>vFf!^<vS+ ?F S|8'_h5{Bwú5xz軡 TrXe>AV5IyԨ9VEok|qkEKbCmS ҠZN>z7Mdo QӨ/7.Jn0hrO@v" Ԓzڱ5/q͔tPfѳn`Y"«;?kѮ`iK8aA4-š){#=kn^Lc%Ÿ/jĢQ"B1y)x)=`FΡpޛ8r 9b? ^SV I\q܋_HV+(\rdZdCU| U?yд8 '>rƅ<ߔc6.p *Zf,OYX7'Oun7)gglk9k5N]v|;ttI ~˶XT@/v;mt[4+zs&!1H0`Hr,"@X+ҙ>*)M>ɨbmK/-++KǍG|5!=2;_v:'JjR؃Sq+PTqɛ0(3 A&h?baĒhXGfdɃ+]j08!oPR蒬j@5YxVlW'd6YuK1ap%EU$kYZ<@Z4%-TjfD'ofnU_5&iK,G.mT;(;etlm4OSN`"yb^ީcX^D&cDɴJL說4q{X.Ҙ!eX;qv1RA/4@|a]rJ.^ODLpY+Φ]@ 'Wb 9tGIjdR 5ԼE؄%(mhi ])8HѼS_|48-6*F +mzɹ6:Ajr%tAdKAOIg~XK,uh!pl <29~."" MpˠzF|3e۰HU%ZաQ< 5>k؅xlrGbo\ (: w۬O / \Ur{a d|IqH60LEjJŠU0~R2U P[|mH3æ4$6pmjyk<3*8=ǰϒȰBAE;. j`:{vTVp pI4ⱓGAAڇR+4 2֬^Hc!`W$Xv׭T)`ӑe_{(PZ4wֳcT_N&dZh\ p?݇t)j,VXOZ{[HgYZa6a65d4bb4019efa7fb352c738e92998589e6b23c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a 37037b5b0c8dbdd2fea6d221128f51f89c206171