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 f) d ] Binomial-Heaps:threads=4elapsed=16.038cpu=44.928gc=2.488factor=2.807zXZִF! D]]ŗXiɟH)0%oዾR8)#8r2_hzbI[ȣP̂&0,8[民Ź?~~Wj܃^.,9s"?|v[)9j^O5*h?t^k ye :z(총6[{B{pE [w0 +Vi_aݾxWp8$r74AL| 1z=ƣ`11#2߭vQ K zx )0V1(>QCD~SrT~cɨ7-aJqC7k $wkokORCH>í-oX^hR ͥ1l| B4 T- O5\'?c)dy{$==^}F5'd_FT)Hxgkt ]YIAG'm=3ծJ`nQL;Q$]N\<Bcl"a5 u%3!2-i}tEJ#y) ueG(vA >1/ӽ#%m:)Qo$P.Oq؂Z@t7v7ZO.ֲIVX$ĕwӜ?n;mv07WcE(Q; RzձFuÏ5}~2mL%ê@N(%}؇C0`8$ư,͜NECRV v5)% ) Binomial-Heaps )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)ϱgYZE)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ܕIasZ5[!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)ϱgYZE)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ܕIaHjJH?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}ҵ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  )31 ;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 ]_U#^w<_A+qDGqd˓gCu/Njׇ=4 ID؇]ڙqLF]*5$FR)ٹ ndS2##D36{[:E?0^+?ˮ3xw"8eFkNf!%}L啹IS$+gG`l'`Tb4qSo Sĸ"V,-I_ڥU@C񩮵*88_@G%sJծN Wh.bɅ9"Χfˏm֛ k,Vמ* 2ɖ-0aU|J1WMtyS*a1ՑEӍw,EHq;"` uA ]%5~_>8M])՚ŧ\9E|X+f7lEl{'5mBȫx%% +B2j>Aw(K/5NIm{ w'luOR:U+nP=YYM&OhΞpGAZnKj(9yLY~cta%OO)CW$pOT0 8?b"@V_!S~Iaim]g&FoCj8=yc(S)b#,ǃ |:8q&pqoے BӝkAG ?R|@aqrh6)`E7"]Rڳ&>'T=NSYLL7w'r`q @~Wq4'sJt@jŇyUm?g?Fd00h]rƔJٰ6n:vu}f Y@2]n=nk dχI>w=F۾gnA/GU(qZ5HR!M`d~8y)L|HМѶ#g8މDzv1C;7˗LZ47ݹ.dYdpۡ(i%=b _)d+ N*rWЄӑ+2x.'{K {V i$xnVE%^#)h3vkoc z|,|i[f.,$tGi T'6 v})*.N76ҿ($>%w:gz ``[ԝٮ4Tl fό=a)#J<'da:, ׾YLgx;theС5 ,,iA,*Xv\ntrL#b#yD ta$%ێǘQ–<ΠGi: .EI`kQPz]AyJE yɋ,ZWDز 4E/wip&l${1}|')R! ?QvM D tDYjW>1YhQ$ƭ$i /d2TJM΋#ռ%dc]1ErdeBq,ftL ,ϻ a-dS)pUeUWLy""eCc U4*` [AOMOD(Du,oM/E0 Nׂ$W LJ,W\Z-A`H]{nYgpqLvKթZ⟲=zmp)W)rbò8NƋ48 );7\ zXk:wg:y =JXt#VG:9VBzG @ [=更gڃ/ ~L+嘊6)yTxY$yE|P[M ^mOJu#dAR:bE'`bam&_U;YJПYNgjR4?SfF7pVV-9dhrZ0l׎'3o J2çᛟF]0ԷB5KVL8r4&`Di_=D$dJm<e5Mnf)}-lyWNcoaSlCNٽ XI:+NY :g7)ڿ+}\ 9e6xfԾ{,ɋP>34o9mӿ@]X{IJ0LIEy#a; |_dXܻɈ/+?W_}E{F!UlV :DۆmuY9zV)Xzoi`b|H [mםke u=ԞGs=%>ZS(#|-?t3&0E +sno3hOZ'$0q'1Elx jfA/\&!|:@:F6K|^,;leIb$o$!$6q"bRV5} HQc^~sx"#5 d]+ko!&jܒcʪ>BHCH M[T-t6K2 }Ljh_KAﱓWD(FYx)iw?D+zZU,u׶xb6Y|E.50ۦvǣ&tb܊bU9WvT:P.׻O;0;o q3-*k"&VeU%G4eQdX\%?<ijK"W* +ci&UtWĞ鈶OL[zS\~YVbcHcSdz}2~v$ǭ4:M#!KnmԵKUSavV41&ʏ_\BIdLHtw sWUf?&E.q;aWaIP[O_o MWXpiYvqFKV0#|OLqn"a'ֹ۩6k 3ID[N@=tG˔ie;J.K:ܧlBy/;+`1śIQh`a2DTN(UQv N sיVz>ReL(A1p^>" 4Rƒm8b>[8 ٵ}[k N J2?M?ή}_=mch'wCQi@|.'D06T~W(zNQѰ_E\Ly`T_o6a8;45lU9Vޖ*5AH*;j96J*IkPCUh} 6qc1gM Z1nX©ݙdA+=cqE{G|]) 4筊/|5y|tYWL3&y%"WT Q)P-Cs0b[{tgH2֠dr[a榷B[WIWd%.,qq9RCFzȨ %JFG=7,bI7^[`,^!4,w ,sQ`ѓG#~QaEMa&瞅+|ooVw#j|J qiF%=gί4s15n֠(r<|&Aqo'HM%Iʝ=PhHc04IU4^N8~EQKZ%:-G,Bnp}'Lf/Elp;to*$85iZM0qjΌ[r= M"3Ox|7DJWeR&hAf,ga!>>]sȕmelz(1Ծ"C;Ӆz-s}֩3a-cᠢXwP>NLz)4LyVmicmcZ}ZN1&UƎx|ڧc&NɯGiJH%ĥ5mO4;A9IIo]6G"-"pDlnN ?$UTjcjӵ`O`*H`56࿟H_rq~\`.;B~^EZjPcz G@ѽE4m͢WU!K6-%H烔`MYK*|+$NP!kQZ_D©n6Kv0R0j&K^Ȩ{lzJgzRwPӈ4Z(WIvuKx27ON#f?e䡉̗O!RAx=h pO=8UMK!ƶO2]Y_Sz e/(TϜ%d;xFf<% ?ϨQԣ(܍Y)0\QaC=t`U(_ЬYKIJPbYƒ@\I2BzdKt>W3”nďN;7L9j=$kjcg''O44W隙D3zid5Md`) +5J1ފ3κ!QߜRw8"uf)0ǑWVq75zA&R5f/cN;[xS4žU+v;l {\Jw%ĘZjƉ[Mf|1unn\`x`Vtb/tR4LTsH tXiFB0l hd&7L,[׉f!~YT;V 1}RJRᢞޖrTf2v^W2\+"۔ۅP`Ao zpP][tK(iLyDKRU =_K1QZ]jd >ԠcbCFJZijt%&9Za(;Y9OgnOiRgm ʃ9=vrm*CqY]$whK;Uo͙[$b-}Gȱyl $˝V^dAbKI$Hf])K^N)]l}, wV-yAޅk#%X`=*J@dcNN}kE( <#W]/'4(BΊί߶4?Xp5|eGie87YKZR1R;N#>Bم$'H:ŬJdR=Ufl]<S[Wz㾚h =v>3tcSټ8>*̝W޶ć9-wtgCʾ5)lxX+N7b rK$ѾDA7K*0N<)}wGyn-F8+miFvܒc#3F!WPգ.sZg$*,1:~u`MVD y9Ǵ燸]9ҤJ lZJ-JP+aAQ~ĹhsA[d%ATfX=)!WXȆWN\<[JSMYmX /[u5Q+7J,~ kޛv 㞃 w"]f [^};Bf`xeކ_v~^"6BNNjF2{o fr'yRL0/to,1yǍ}L4r5 }rk h3MKdjRgˡ0Bxt Q6Oe{ bwa]Pekjto(H1 *L:ArҺۦ^=_esBi ͕6?Mv2ʒinˈG3 3JKul3o妩{&J){'v'/l≎WW9 ugYz' +{R\6+eW$nIwіw'Ole5x[bekx`4 Xj)H2~T˵)c]=Vlu|Lnj nQBu\RHx)R`ț F@[ɦp(|h9T-q^< $ GU]Fm //KSzʊzQ!)/uv薀n6Xy[,h2ɺ#H{Se&>c6÷FMhLs{#s# @j< P2wjb<(b \vxTȑIu^UDzUj#7;Sj'~ӎ#dwLUÃT1݂)(?,Jn,s&!ǿ*;"Ʃe; )Y[)Ɠ@3 s E]Hw#NzSTkeZnLuD {0=zjεޘx4͈KԒJE_r.vn ϑF{vEVF*RipTb^t u*:N8(àelQ+cT.Ⱥu5VU-Yَ ȅ_$IJn_JAW4G!P.LͰ]+ҍ^:h'xSklC VB.dʶwR%27![amx1́*~܀`K҃c03Ҵ^]™@ hݑǢ.ۚ}kV6u` _VkawnyX.= 3FVVL,L06qN_o#g9twPؾV4TAItr,dmF"R)$HtcE\G[Pf&+uPO%{~jtϾX>)V)0f`"nVx {ZңT6} ~!h^rbA2[$ 4OY !bڨB,XT,H^m;mʨ+)/ LSPhy\p!Sv4dIxX czs@b-iB F=;wwKK*P2e}`< EFFJyFdp$s88KS+zvZU$(޷Pr0 x_goK&#T:>%~dJPn ǻF.:aiawn=Rg"h%rb5'5%vPqͦj%_0cBÔ`|sGY\W$k"h;򦣔+l8d| qO-J W}?G2>} @ʵU +رd3 bFY+WR]NBfY0e0( G1G9Sb䕨̜>ܚ€i䃕D@Vʲ:MNR[?K5rhJ*~'lN&=3Uyȼ)WX)fR ɒdLr:KoyBE¼Kg/肮ĮE*y*q8pǒWʦ˘_ 5[5` ܄'q& @}4WLf}"βYhb)\wnng)crozho@1-lXF"+"\zfVr ~ݱ.i%piY}՜ >P]qF:rap` 3<%aqnThgA5(wi1,O[^!غ7PaGlc=Ea0y I#I*!̾ mTGޖv 5 dODZ]4q:AS! >7L^c2'7r2v W4ay:!v }`ɼ,!m|j(3 b 8 f[x$36V [jv0bho.ZFL=<̙qW_(ٵ)8FVY WJ%csހ@fuQLmEMNz)a=qZg$O\oj7"%E6@tҮ-MFpS&- )EtV?/4%fnJy,h`3` 07;)cxVC4V3%Vc휖e)7W!z'I/-ڈFTDӢ0a;!uk7F n[gĶŶSw/~6YM%>O]TaY'w:{p}F8410d0_;:iy{yy ;EA'?@ #iGrz…:)fݧ=_Ko銣B Xvsw%N| :c jc{(ʣ ՖBk{0!%U'n=uE\GTJ6`nاqw-+ 2hͧ" TM7K8nr_dy5CsE+G`dvT`J J94dh@[@aW.mVi5ۏ&[-[5oٯfar#8}s@Up;?HCZ-I0Xۅ +;A=Q뾮ѤoKտ!}gmg_)4`wlC%rALg}M(c~No֬K$cIg6.y ]KMWȊL<1.?@'v< |t0(m-2 %vs'rT96|!3iۋa5ߡ|t-ᢟ-_nΝ`֞󳔢ܞ|\aQPV;Iʮ6n2jh=}hVy"5++;0T"5T( ׁCsJ UZ YJLtd:-cQXY ?罂+I4)IGmĀ+[[84ll13HQF5{w,40fguCzoj2,L;BEz L?b{pD'P(xUP㗸?V5|K;8l*YpIr{{S殠e ioXD.qpJGoh:c3\%6Njo>+#I8Z~gjR!,_Jh%95rf\:O&*T̓G:c{K-InͱrŬɤM˴K}-Xgҁ˕J_l( M>r,$4nYn[[g$5D~L PeL%,=]bXY{m:F!#mԃu5[Obb2 gM4AÛoxȤIxFmsO-BbLzʄ妞6`-)Ma}ܻrfq܃7=}(H3\ѡФ,ޗ[ a`*$e]xg4TEuK2΢g4ZN=C]ە@5[ӹ>|V~8 퇏QxW"N9țCY]*Й}(c{܏7h=ޏ$.l T]WFNԡhd|zMq76.Mbqq<)/)+ jIBjzu24H԰V* ra Uo %v\_2O1m"(䊞HX^9Čߌ(ML/:9dhUm缅1W5ۄ%R߂k ]n bs CD*L?]QG(fA^6v%$C!n=$nEY+OM5N@Wy9m/JW#no cw(V><\L{($Hd{(ES±07(xgBȨ'U(Ss6 4X#_fKȂ۷Iv\XgXGM;qJZS\T1_dV8>Ϗo"SAub-)'ԗD7yg27&>\=!B~m[@mVc![KNJF4>$$t&ڑ4aҏi5>-c9mB_wVBaw@KQs| 7C$ 2f\fA /粵H0jZW bS f@Q1}(}Vq9Q'#x _S%FWB,9Wԧ"`s2M!C $Id(=LS H-rI%xM̍ 4LNa: Um>_ɦ1wQX}+#}?@&[$V1mb^vW)o-%lWq\5ěi:Uy^V:] Hӗ9כyڗ@(^ ÍSv0)# -l[{F!6;چ؍ǻX^&!yVs8FJt :'DpRP("3q6?%DoO.@"#Z7Q'!aJUqX3iȮrsyz37F qa 8S2'AR,6gkĘA]KaZB) &1qt<~&\Ng!BuRh3jmHpĘU1zL",`-mzwVg!G6jc|#ֵ7~ #$ZNPmӘb޴A~wkp07HvYG{q!LPɐ aeQ?.[ F jt/{TZ)גp'xnGwM094oh?C"B0#߆L8+v}"xa}VWFw`6\OCGjzozkQVMȑȉ7 )up5.1);Ϗf3O|QR/oQLsR@<3ufz-gȑs &cMoNx\xLm˖iԴ`DNaP tDxNa$SssE隓}Quuqn^`¿qTDGcnI$:#"Y% -m # i(ڵ;pڟ)flKRV\Az 9[: .]7WRQ6v.PAd/ #U'fhq8/&b8{Қ+Wc (u/c !z)V(?jR 1Kpޔ:q AvڥX&3D2VU.f-[22qZtGyVxl#(@#qYNe8s 38 9w` @3D8ȭJhQպCaY wG!p\FÕc4Vɻ6]y (VBޑu Qg]P*|tx50-n3:U)vUY_K3fe>ތf !ofٯ0*3R:P #@ N4 G6 eBpIhvƭ+I;JEWQ36atŜ6׭e.~h =2AibQZցkzU7 $Ǟ$"TBKV1uRP;-L5NUm5B+Y A͕!D:oQI#:,'-MIR|)K@0N6jCxV 5sOjM+;rG> 1Ǹ!dP|g97nIJh9RҰŨOoeSH!TG `5 x^Ҿ:A%48zo!:@!iR1 D-䓎هa$bC$ J&ѳS땂,aF)jE\On<=.ɷwFJn20 &uC䱺 ] U׻ŲeֱgYZ7zXZִF! z]ŗXiɟ:Jc02߳|ztqP9W+ 2!3e1,05Т7 N "gWARt:O6R{SvD D ~͌nN-AD$j3ԺgYZ7zXZִF! o]ŗXi%L!l-Nj p mZŌU,:)7ziRE)0-𞁁ǃY۠ IlyBSa6 xn%H1Lmbpc_9,am wsW bM <)҆ZSz` @ pb%B,{zi(99nגwHCDK`A` rW~oX-۽ ǡHȤ6~O>>͚%Ϯ yrӉZߟ#8e7͝?g0|re;*:Q4"gZLfJ߁*f>yCѕ>|gGoMɞӻEȸ>zȷz(Q%2H u%6CNU , TN4n..e3$^n7=,{ YbV"޵;|=%%|Skzŧ1E[q'u$xpn@qLҀ݀;&6RQpY2Jg@h+fNLĨq#AeQ6zbP%h>q"^S%c=nąĆϵdt?dm&sx#[+:F853]%ژKKNIlZ4Q]aYgݝi7|v=)c.Pp= )eeNBtC<#k UKm!08uO;Ȥf,aIڵ,]'duD }La@M]Ȕ8 ߦPeɐu(x;n[`+\XKQ)ӚƽƟFҨ?՘}pkؽ XbkseЊ ?! ̼mr7$lQwo>\]30uB5,iWN$+.}A +|"SԮ0JN*eDT݇ ,ӵq 4Ek˺v\{֤D0HʜjxaP%3 B0]!Fu#P pԴkwe8>U&i!5u#?AUBϻOЍoj{ iΪY(GΦ)g^6k|ViL+[ TٰIe9ӎc0NطB])#~0 0ɡ8#*wF)ڙ:6 ew}xI"i1'pKGxոRj';m W3lggUW1Dj]߃aMP\p\2<--k1&/L,p\_Y*4Jmol ;6ԋ7ɫ ]#dzTY=WaoUqP]:{ u a86g. 6NOj8!wVgkϞh){4Ieð4r|pZ~sTT t'੓I L$#k  /"N-B].g?앚:B(Ȱsq:r<1c_rdꬶfG%pʷRq_ΕagYZf3cf77c33b9745a36c65685c7bacaabfd138e5d08215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d