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 K+rD\ ]/ Binomial-Queues:threads=4elapsed=9.984cpu=17.556gc=0.4767zXZִF! []ŗXiɟ  Q=ܞnC9^l\-@n|tMH-(g~>gX-])Y{?<#k dŁ}vMos:s?lg'rP=σE Ňug U;=9n^M导,&>G)®t~6< wI-tm)gg\ pI(~wy ] \&I9agAJM:LK 5Bhv"Ҿws&?F̤Qʚ:Hi, rŕk ƞAv.V9$gYZ7zXZִF! |]ŗXiɟ:Jc6Gx&?==Q7#DJYƐ'qD]WGc(Hִ OgJ'=SX=@à(f7Í1bvaDBʼ.gYZ7zXZִF! S0]ŗXi%D8W8}^ y'CEX[k*6aM>D&=HZbgGLr 70"#Ge.'RGC|.8,8\=J%`a];GJhQ'fEodt'?F}z5p~=k8ns5t A+zنdsᕭ²Bdc$05ZWy"?J1 |?YG6̻yRkq"T{AuB(cΞ/u+L'!NFQBl=I"`zwn~_`X8ֶJ5@$ f5|Ma9̉6OF/Q~¥xK^'OM_FZTS 2Pe܎uviRr@SrM"o oEZ:Οuq٥ u$sB|\ѠIhJޅt H0wǩ6/qN ? Nw ,Q2Ϯn=m*;v9q8&}!KRMk^pri?=:zYY-uNDUՙ(;i`j]ͳi<F".FS(6.7Ҵ6*4uSjZKh$fD끺DN&%AC$TE:y[Wt&`-&B7 )q~0GDԖGϝ4$hLP\E"x2<%2 =>^y u9iOqvd]Mׂ'R,s&RhS)]u&ԉGc;PTYȊDi>} ڝ0(c1*ܔ%WX{֕O{=rՙ5둯wkṰJMj|2pam꾺a c[f`PI Yڶ:=K1ݴ"HP~Y/sš\i%62y1Kc~.,I?$6_BZM 1j3xMYXZAOgK WڋF]3Q.Uf#S&cӑu:%8'8 I!vtU小M D ki#`P VmOT.;Q } ӆ f骉"z!k@eNNU'e[':aw=V6{Yt]NH)FIs%KAy] b׽{4ER'Xx"Y5agYZfb262f483845b638ca91b720e4c48514ddeb79fbc3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a + Binomial-Queues  +I% ,Binomial-QueuesBinomial-Queues.Binomial_Queuedocument.tex7zXZִF! ,J' ]A-MՋhvG"uIBm5o]Y͉eJOjOP<fVǮl`sOD_{* eӺ^:R]a;#z"LUAvQ1&Ll." [ijyI5Ɖs,₫,e1TF\?ðnJ%Zu[I!s*ҴDzM;I!ђrgTdG)vRMv o'.5!=: aeظl"hD P' E+ _GCy5SQK lWQ77xjhE+W5ZҜOQՔ0vZ n\n{M>ZK`5pQrO%$w(% 墕X͉AiƐHWZHJ>~½lxB`Pܘa Jd;1=*4g?<1rvq6qי 4Em ʤz䖮&OH񱟣кVӆ^p&1@Fik <6C ؙe M(,r&td&>=Wg4RJhc6t [TRCc.Qk{l$rưB B)?rse4F4qN{iQ#[wce.0/jAb Cw^tJ'SFp+z;JǕz!hD}(U?}I(S"rrϟZW&YMN'L6LP$ǝ‘+j~k'Wq ފ׾ u2pzE WIw6)J3JkH`zNEg!Ī)2,O2;~ ?Mj装q4$@,?7|VTer3(/g({R? ԗD]M: 9mʥIwkuІM9SN0rXzCɬ<{Y ;C{u`eS$JG;qKźOt\4;يظB) DQI")%;}3t>sc(r9RD7$`rOP%{-"MU8yK8onJSU'3 }/Kϼn3:ZO,ӣNDަX/rcK0ZujEg#4"N gUdvDӉz0nХ< KS hHrjnVV>C|ND˚{7#!7N}5*$Y|^^.l*M=* f-Y83رNorPHW4gWA+1% $Binomial-QueuesBinomial-Queues.PQdocument.tex7zXZִF! _I]A-MՋhvG"uIBm5<9=D1b(6iPԝOG|JD>A*Uz ClmpWğe&N`Gl<,Agmjb$p0f#Z* Cǵt|aoZ [Դ͂ $iA@0Y αCsR &3 [dƾ4Dܡaj]5&vgc"ƭU2a͝j%|"9&sJ "'7?::R(ֿjTRD!S`MKܝHC#nY:^UEfHöp\9k>?&Ui&kֺ| nx<3^[/uњbP:}:\m*־A J6WaLE;?>CUb&n',EOX@$C#+Z|]N`.Sw-0r-AFMaa=x8yfO/͝=h"Qdr1%U%ڇ0_YT\QeNYK+_"FpVR ƙ&avWpRg5Y#v ܼMN,8: KυT]E8$S:?1n|^v yCHQ%I3d#Ljr<>7W֓4{BͳUȜ7ĜO~;s?|*N.Kʝ] kDe)=Q%}W jlq\jXޜ=ƀ1ܦ0;쪤\42 *NjAf"BvGDXvN^C 0{,QA;Px᣾ݸvc-$JeӇ#`2rЄћlfH;8F .,IL`LOGf 𫙗ݰ6^@8%bēH]kn*nؿ42)acK 5-ŠNy̵b g"X*C 0Y.Lp?+s FOD€E7K3u@lDP^SҢfѿ ]2e.k!CP"@'"G3LK: 2%Zp)җ]o -&«T vVd{ Пcz*#T.VZG]5Þ?lzwl0t MG!RޕAf SN9s*2~]v=5\UQ̳/F35՜8-6d/E9AVP,?dAN#*r%Zbm̷=g\}";{QyG^Ɏ8679">9P8YA5nYOj$5F[Mzq{k>l,sIї/eWzlJ>&?AmO0p ^/G-&q!knՎ@3:ffe=;}xƫ?\thq3JngvQoqP i ^~@ڹnٜ)|#25 >xI@~-SpooBϢҙu^Ro>++k^Z*Z_q/mA-Z;d0k٠ ́@Mc-J˻I~j򌰒)y7uZ%7[t&oX&Ѹz`w]T/*6MPktH Nj%G>Q7E (Rx%i+YFr^.xfpzDX3w)@8Y՗ðR,Ad:Qtk [ >?x& 3t|H͒]t]:&E3@h{.2ڝ8(opMbibgCg-H4a) {cjӗzqe􃟸 §42ioP$7Cя>5ف

s;23Ր~y+o-r0G9C DR{sJBi/ŵ]_()tWHfmH|Ov^%ѢdF)iW=ݴu:ra\jZ!'U>[a2K`seK Co8Fc̝ZJ &GpU ?T"Tnj\s,953*/˷㤉Jr೵XWtciCMSFPm&͂C2Yt kf֜Κ>ՎI}f8.gx?gb# wjZ<1:D̞pE\ika#X0-B ?o :);kO8c>_]Y{d(&9+QQ;{[)!PIyCS _6J!,`9íHD/Hr%AaRlLoJAsـ8~$ĄM^vf5J|3֎s"jgg+2S]٬g^{T"\lD-XRԔVtCu?&@+B*2&oÌKd^>=B]4'Iu?$F@St(r51X1 Q 3u $|]2{tD0,JA6I X9P8ۈWV{ۡD\Idd&?I cw,' ]9 ]1B-zځa7A%+cH}HB51}>ءR57beN'75nسי t]I:q?[c |X~|-P (9|]} L0(k8fi,h)+{,htpkGPg}|Gw9.u1_"|O0(rCgruN] LI d0x#[KRnhPscH' TOSIz*vlEO3i&u~)4}y}kL+S $+v>M[-EtѪb"5'K|`Ĝ;iM}moD)"S'`[:ѫ$w\M=tO} ,T8doU%=/FgJ}O݇{J vaD׸*KЗ㲼N}oZp jV/;ԻVB'{^0XmdɼGg4''M?L_--.4f@Xt{^ XP=> E} &Usgrӯ9CaZ!v+e8ȕB SI"X#頞P#ӥN(,pg[J ª#^ژT#?ۻ/M,ڬH^cR&.xl4d+H[ \A -t-f8tJeV /}3> ZUdyFs$قFTׄ,L'퀤ެS7$}"FĸpIƘ/9Ϧ;VZ-d 3JZ|甦[K˝- ym ʑ,ۢ֨''d{I,V^< ڗӌG|g qKUXx- Kv Y ZG]i2ʹ$ckF Uh=p<ɸ&Y]"db !*|"K]|` 5eFfSP;:t]Nr`!"y_y``Kɇ-μźLXRҀy*v{ݜ-Rm>L+ L![/(źh|L23%&է"9f5yFwÛ3yL-TA|4gA8B/,:z8ˌߺ 8]sϖʼ?ɢ]K_ݰ;/H/-;>xnR9\c) k=R67lF`yMXZo(*\ڢ{αʘfoqa13~!w[}c]rl:!^ҡ6oP-wYuIokKN0'ArANx3V?43ة(w%@lכsaK%? lE~BMq{f%BI-!2@!ty,!)&eȳhdQ.yPsZ*db;e"=m37ɪHBr`0QU\G[%p)V`2 uK4TZܭy tI` OlaY"M*r@l 71D3 :< wgqle{w!Y-3ДO⼢m>x6 ;齓iNBrg:z( ,MAz[ج'{bu $Fk w5 ^bмp ~F2#2IA]+A{H˚':{|PD %o99mȾQjO'r!9ےURkrO}`С‡Z 5Gj"u71"yhQm/pIv `:IO5EV{mKZ@C4#lvImpD ;y%N9 SbCѓ20"mM _*GgkpJΫITѵ;I)It,]cQ0ܾj0VF}ˋ 蓷qVN䨛a7ǔP)rȡipĒ+}$5g87P+k̐7m(L>>&G6'x1IylmXiC 䁙}WV֤1{&ʪ[QI-?9ʻe q!N$uQ+ӡ("Q݀ ='W[d\C*Sڋ!l|.'XN(!uWg٠oVəעؿу"_"E 'j.RwђXWE Fc͘{s( ,/pSO-X;#_F%8 S(Fb3GRt> ©$G<"^R3jh([*lŠ>ht-$) =z#ϒw>qY^4G"R𾍫;UPzIS݂ {tإ<;%4~W ͍W$o7&0ԓ\A:f cZw3At0ʫNǧY)gYդ9* !% oe{_(e*@` ֥mx--`@"m9(}^e/gԹ4 7wJsMd—]4,th7WiƱ֥6rS#5GVyxBb<=<뤂1 _>if$((6jy|m|+T㘯'#B\"^+)$2p">'|]6>P13Z-p]kU`;g*RT275. ̶KPd=WOmp\ެ&`>ZӸrxQ$ e̓8;\)]%챯Sm%=kq [. 5]JH cV)>LHcWbwfjH E$ X:2LԻ Zj-ޖkN:zB}MS&X+I!;E0#ςC# #1N>(Q|*yLPY4 UPk+72a?qz.Eܱ,~k 5;k@xG%VJ;Lߢ4ʥRqX؋beU7M؍Wx Rfmc2+L"@9>4f( âWӻ..M 2E:PP#V-!_ɎdLQ; ,=I X:IL>tnyKǾ1;&%RW x 5 HZ2ßn|Qia՟8.Uzhqdbyu"븤r/R3yN`qq>WVX^<ʮZR 3B;wJtzLodL~ֽ{m܆B$o N$c;[}bWGV3^f![[R\E7rr+%uG!כ, Nk#u%cK݃_7v:NO0zGQH8Q 5eEt= p$Xž|kvZCis;Bϴl&A!*Cy!m%U腟h |1hzP?? UW V1U?[t=<6b,r0$w ZyK ynFbŸ%-C>XZI*&uJ׻-'uP ٗ%}ԧE[Z³'c~k$(X#NZ]WCT d^2<* d {Ex8v 'nW/D8}`&l%vDm9n5xj^% @`)}K"d||9StRGA?wi @O/hl}R;W:cl>;FܳQ ݫ*'y-3_C!ƑG-cqT@DT҉f@gH,5\LiPzs ז0gP2ҩ 53@+U_:wzEtZyHܜsm bџ٣>vDq#jyLw_Mʱa5]p_;j`wnx"kQEZlD%1nDyLNt* @JvJ'hD9ECOJLU3ic5-:uK@3Q/D~~"~d@D.Y\\um1|XdϾkx.}e&&7<%QD,w_Tg#>H}=d@IC73 g6զ%.0">*UcA tj.y|qb2p*%n~$l9E5j"OVRT5"v7KB iWԹQT)r0[B)cWr@NTgYZ B,U#{q6ʓRRRf( )sy$L0&22+l,+2Ϣ 'Q;<*w_eFlɝBNX&760]Czc/<{lv!'HW`O5Lg.W#(>;в6K<9O¿X^W]Z##.s[iM8e* <=ܙHi1uݤA#seZCd̂-__xl>}ExO FD*e)–K,TElT(uPP-\z;V+w1߈7SWYZ@ HDu%9P.W3@Ҭaowh;~[k18 S2xIoqo-N^+}9{S23hѬ0ckIzKw{=fS='F?1]bݵs pp<ޟ jXnyNt2 |Nr`檳._ȢeQm$Izl`x($.&MH3KVFA* /$eyf = J& y`M!9ܖq_$__)!֋GD2fd?"}贶p =/S {=$̸Xx`N,3"8e10hh+_̃.%i=]eV'{6ޯ(c^Y`Kc gpi0VkeϬ3:Bt3~kzVX :5}2ǫa^5LQN-V`@|_ho2n=" p5eq"s̐Ǿ̘MNsZ7v6),}sL6i3H̥;;TykPsp/s=Wًb FLM t54PF4X̣NbF bibuv~i.6hO)f9 qIH^&:9 I7⒨{V/&sč"da4ܷ^B3rZQ,$.֘heϾ^1f*0 jFl4 5lqʭ BһhZɜɷb0EW\㒿%@C%`@2a0 ²Mι(E(0YʍCs /\HM&rM {,n=i^觺NYQz\)g<W92)is.\F]A֝v -deq Ӟ_RXK4ރ4"g7h9j5_ћT*rf1t)+ogۑ.\4Xe Fj/ѨٺktFu%~23 @O]Fc$lF0~!qI4\ǘp 䳗:ѝ덖EI=M- 1a}kX:J8lC;sK?84Ѥr>ؑel`C_1ՈZ'VM)°$9L;]u 6m>M=V6;Nܟ~Z+#Ŗ(ĂU"LFO2"4ae׮fӺF-3'ǭʲ[}p`Hn?Aa.L<a c5JԆe| <ͲRzavKT\C3q k^ή_^R+ ude1FMh=n ^E>J39Xl 97v[xn~ Rt>(fPᄍfPTgWpmgFW7@s^z7i̓-bwѤfXD9WXVAF;͒'"rݗߘ8O&>?Jk(XӘe tf7[à侣 rsŭ[ $Dj8PLEXTiC/cq6cs̳BC KQKx{6YYk5-{(H*]Rh&jPId:j!G]wMW$YS/~zIF](h^ '}UN8R*x5nVo- ZD!B8SYfӒf1gS!*GTc|ಇ} y($l?NtZOI_=qv ۘEVaŬF@aw/,&EKՐiW,kvdƊ{OSW8;%L xREiHjS(d bʖUA}`\f&J n!*w/S['d~ONy)#Cv^nŰUa" ":E)epjͬZ5;<; <0@Af*D.ߞ̑eJc21T9$AZγB'4+Y]BJa&Ԭt$%صvw$`" )?Ek/d w:_*_)F8AJ~R};ëz`)x&۷vO+|۽ Ͷ7{p\Xӻ4=ww} >vg{ M{(WT25gfs;$qmSd!C"9eaGP]Jm[J+X*Oyg)Qo0I^04Yf="S@ӧmZL7ŽhCVJZ_r/$7jsXH1-KQ*r  3k4"I $=mkh-a7_"kԽEx4rw!,`,4}>Q_fDL Q0l ?c48W<|b}?gt{:sbƽUx{,KA22OO `eZ:VUXAc#4UH['O7Q4 d4qE1Gy7^+ecJBVuMã<ExZہѮ[N&)?/LS3#r_ʱT 7Cy NZ7Y&}+ӓ\~D*;h6Rqc𛢥KXU[/Gmy_Ӭm7نyЍfaLć)oRhZο/t2A*XS.=P}@#l`2e^vCIvt?VaMuf0l2{*ICɦ}aRif BN&*tܩe|S^e.E^ʯv![\ dq3#Gr!:}<[*6IҚ-ѭUy g"iw׸'&[]ai\7/Μ@1htb;hA`K~18ja7f2cJIC#o1ɩʂj)~Ӡe%cBѾF&+xF- ]1C;\v~BHyiksj?wXU|[GAEكf TĩUBYM xJ%2˙3Xdp+ONZ 3lv RjÃp˷@%fpE>."cӧK'.'Zwϻ7TkJ\S>'PlisdLὉ )oc0VDdj"p?>tвޠ3dQw35]kb,uN-U&2Ga"#gKvYK{r35.}Xe#"gnҖC=,x11lHoOz'<"퍦8b#^Ůt bkMmDq.M']lZI(@Vy(GIGKE.(ҏʣ@b~+ygv2[y}2ZM_7̱_vJr@3&h=OӏRi-/Vcx2umk~߮tjCt#s` ?#$1]1٠ _Z ΓfBV5<&:o [jB*Ɉ,.S~sh T4 tfyiNb i+IBamʃcxL_fK[aUCo(>`sQSpzs;BHjכ0n򂚨87DTe1-T5鏎Po/^-fAp5L@#M Mq@2 RҙمgJV+UUBKr2Xn"~zMO12) +I Ѫ̿ǟ*W#WWձ CrXDjcp, }u+@䓠sNGXs_,( oarH!ސSo7L Rvv.ᾇ'\l9F !!Jx4~Gք߅~n ǃ:ƀVSa&ג 1yQŎ2^/Fc:P#U,󱿌\v,nbX3JjÜ6y,ʶӥq6X/;+EH :a; t1{>PVȂ!+o狡 !Wd#TF Pc:K9TyoVhyyeN'Coy/43F#ĩ~{Oӣ盽7|x3e\hrە>cjڨ8aqS7/4z:0nGRtQЛezr03rC9:; j2ȝLu=pwxj~5<|ˆm<@cz!Y)g#wN"?~:*#byA, /M<{ך9K}Ih#3<۽|<[ERnqv<3U(?%sk)*LCN4$S~pKҁkæ?XJ9'#BC#$afm4X@Vd7tzJuǽoL aXz%.ʄr *[  5)8p00%iFhbmNT"/KDYdv64կ{fx nDf|2b`Do+ N޵@(Tilo4uՄ)HM Ac{/\Qm7bȠ~bPk̕ks@{&7,!ZMPwcQ-^8Aو+쳕$U8\M.&ƽ9' rUz :mwV 7^_0p^a6M{d9?Dj4@yvxczUnA2m%!n&VxZυ 1K2Iy/EAhOq10.|$jRWЮ{Wr>ykڅ8V9ַX/P:uYV\P ؝fA;s|TUfK=D莌_5cLI֟!+z8> `m(܁c6f$i5::.;F|73􄵴YA+PA#AM?"="yf)UD7[`?Lg ]} )%ɨ 2VtA(˘,8]_2GaCX-H<9!t֧5kIZV ׹+:}lnɆXD7Nᯃ~CrF1D d1dt8)ICtdAF! h918y&0F_<H1SDc|Ju,hZC +D]P^*fJ@# 1~r;Ît`@~$AP䥇1[ ;5'pꠉH@Z]TgЊFoTCt5^^{+7@,F3g>uG{9@a@vW9=y3|FA81lžZw2.{K"xm15 |$Q>E/M t'PY1F{E'#[nh)c-h$?{~Ӈե'"#yo;.T9#۸.pl`sOD_{* eӺ^:R]a;#z"LUAvQ1&Ll." [ijyI5Ɖs,₫,e1TF\?ðnJ%Zu[I!s*ҴDzM;I!ђrgTdG)vRMv o'.5!=: aeظl"hD P' E+ _GCy5SQK lWQ77xjhE+W5ZҜOQՔ0vZ n\n{M>ZK`5pQrO%$w(% 墕X͉AiƐHWZHJ>~½lxB`Pܘa Jd;1=*4g?<1rvq6qי 4Em ʤz䖮&OH񱟣кVӆ^p&1@Fik <6C ؙe M(,r&td&>=Wg4RJhc6t [TRCc.Qk{l$rưB B)?rse4F4qN{iQ#[wce.0/jAb Cw^tJ'SFp+z;JǕz!hD}(U?}I(S"rrϟZW&YMN'L6LP$ǝ‘+j~k'Wq ފ׾ u2pzE WIw6)J3JkH`zNEg!Ī)2,O2;~ ?Mj装q4$@,?7|VTer3(/g({R? ԗD]M: 9mʥIwkuІM9SN0rXzCɬ<{Y ;C{u`eS$JG;qKźOt\4;يظB) DQI")%;}3t>sc(r9RD7$`rOP%{-"MU8yK8onJSU'3 }/Kϼn3:ZO,ӣNDަX/rcK0ZujEg#4"N gUdvDӉz0nХ< KS hHrjnVV>C|ND˚{7#!7N}5*$Y|^^.l*M=* f-Y83رNorPHW4gWA+1% $Binomial-QueuesBinomial-Queues.PQdocument.tex7zXZִF! _I]A-MՋhvG"uIBm5<9=D1b(6iPԝOG|JD>A*Uz ClmpWğe&Nnjݜ޶q~ IrI4aik V1N t w2f "obqn8dtZH%г4'V,Ew0>Cվ)c[twj[בI9!|䛺J0ohwo9 |ńQ-\r7J$>a>v :[L00m3xq +MK75TbbI hYp96*1񭁭@s -f~񼱱IFjyNZXf ^N]fC<>oYy̿  ȬSHc h=&9Bba}MrUk3Jy[s{ \ 6Gq{Ҳ`b[vϼ{+Je\ m#n|x\Qg,``N&N}z(<,UTVD6~ Y yXeg rA6FпƎu-ڹ6F#**&5~oyKNE ?1Xݕ/Wq?ep",:6>.~0kJ:g+kvj헯qGyX<%a:C`(3^TC%GRѡ8Ќ%Mؠdp]5 >k}PN >cز}ˎ cy;ʅZ>:&-$frO9qϥFJ&mk8(ҙ56UW~e<.W8/L 'Y17G`3*+afS^i66!0 ?T$@ f/chv)]p4m+{:L3+lB&ԑr}w[:s-[p6Iy#V.sJ[`c~QݣS"O~La蘭hF8DX4t"d/ԑVmJ_4(']Yֵ>gzQ_.r@Pzm"[rBX7zvuL|K&"*Z©WsH19e. 3r8£UGIkz06,:]-U s<!2bFlc?EMfĨ Al?01&7L~Glgړ2 ,?$iܓ&<7t1E/Z4L#A6%0ᅹM4%݌ {pBBn2L:U9|x{j^6O:81plXOA0(668y_A%)Dph\J;[Z.¸Uf/cBV^_3Kj2(؝>F6N2D6|cޞ t[6|p"͆fTG8mݧʅ]Fϥ wP1.gF&]Ƥ1HuŃ3~!O\ ҮqC\9&ݳYjnwa!o+6%M)1UՠZgm8TʸM^5:px:ڊ;bjg6qW#0%<Ę@fPCʈଆ.$ZZ)x-3pL^"!fuw̴. 8Ж㍘3܆Rf۪ g?2$(ceTF18|aqxFڢD)i|U (!L$Rϵ%ӏ^v4bn1К)_[8ʜy r W@Z)ф"=5zf{)^ B~-۷Qshn5"tJ=K9dfj;"LB*Fc/m!ScA`m"LFi}<..朾X7H &eL~iCIt!/ej1on/SElH'6i4𽉕m*⦼pX1GB:eUcDn5V uDlv`.!Z3ZTAN#CxzZ"6߼fr@2Md#81Yg'\@  %N[M'+Մ}FVq|{ܒfvlܗ83:џ,jnc H+[Z^ɨ &Ys@4TeBmSZXLj{Zx l.ywDdU&eNB}Xz)WNdTxZao&0+m\n?l4EEbSVio)GX"8l_,0W}f䇷LIr51:-dq%({:rUC>a A-A ysRYqM{d;X4fc18E0}hX^wIW`REiM |p|m@r*H/PO;N.=?*Rɷ6"z?hxӵIQJ~BrJcjCAZf^NnP$ydMGآ*PO\Ga[|H%X1PZQ":2篒-F![Og"R@e'X2e8FO<*jkhgW\d:Z`TjB\'T ;K# <#|~ΐ^-@e4*b1g"۸rMAA7fdw;:Q$r 8/;@lW@2q KJzQgh5 n p̆xV QcEy oQ ťRјڕzZX%>o`h+f2xJ5] 9-2FH$$uGQ}O )dFU q7@Wόmǎl]nXzԏ ]%Ԕ72L _qȯi0<jr 5Pw^3hѥOFw^UuwQ"iZ$A.-jEODQrܤMKemda[RvWW!?Ch/{z>ǫQ[@.+\L+??!dtmp?\VwzO% pqP #'%$>fV{rC1#&${q ʗ.K@[oL㠴#-m(<C*DxŻ^2;B!*a| Cٞ䵥}-h<M^CԌz۳d t#n)4UH _ts6R^p$