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 I)t < ] Binomial-Heaps:threads=4elapsed=14.785cpu=41.876gc=2.3927zXZִF! 2^>]ŗXiɟDYK<; FcFE%ߐgRh]8U6@1t ֢T+N'\4"߂O hEއ tt %| h!DEF=ێ_m]K3JUF=8&ov$T7-d 5& ˿Y8$K 짮#{ƹ!FKa )t;~Nkg;뇹Jqw|i[-^0M|<2bU8Sᕱ,ۉ9 `^A,k rXZHa ]GA11Y1J ^̱t0x^ܜ`-y(Q1tȤ@&24Jq];C]E9zOz4PbsJeTTqRAEn@c%QxE>4-#9idP(&{#W>Q"xSTcM)D($!.ZT|)gW* ^ GP!DǻyH=% IH170M:ݠ֡R1]S#|bhXYQƝ:aĠmEBa6E+W ¬j糥2.ܶLfXA3d]H],s.H5ycnU}.*gu1QIC !aT/%w,nc,qYŅ>*ZR6*/YEOmCtH,W Rjs*̕R~i}3 A*?F([HUo rܗ`݈~m 109~td7Y/'>@7{5㠼N/{gwn\TUhMȘk"W=`l疭C1U jG:sƼF̺=CLC *peRO`}Z2b&+.>2=.٪\!uz?,K V~\61~3xv7jLzA}ioG>n&v;1יk5LZ@5n'ƀRb hz?fz`Ʀdr靗΃keqJO&~uɧ8A]<빷Y hfk._ueMpRuZ۞a>`CVrM S?Nn^2ȷp5X9<dF93zd@e**,6@ҫolk%\Sym?Xpeu<&+-gb=e? Zy'&-B!3i$Ckܭ0dnuo!B ]"?;6W2q{}Y m;0b=aZYüSHCKBhy'gKzM+)!jg(_c@+9S\H۫Pr]H{RM4z5Mo2w]9;6 5I*kVk{1srcL}=J%9w)G"$|=KdF}i 1==ox!v`$8 ) 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 |uw߄_R7A'ɖ2&GXQk]>SwBIK$Kl3B 0;w2iXR^$~>$3?Y9\>}4EԧC-;(Uh>Ax$hۣRO.GcCsM=7sK7by3EYa+{K"DdžrJyYCzSK<ncE w݄Sg{.30zԍ}|>(Bt< g '|"6 *h+*@$V35;&Wf_ndM>&.`I{+*Pf~ljDAzܦP edž1x^竏_u0^ lfB](Ɵf~Fs^#)2 ^ڎ!Wt;a@a+,_1%,ǭ;G,rB'w^Si9pRy ';kJnLV9Xu[1mIKD,(*/Ja T:9Ṳpc;ך ncŸYdYrwef1\ZpJb3azl/dJIL&,Md%1t$V =T(95R~_EFy's.'Qt!xIF?$Bk'DS33Àh%Qx-㭭%sir۵Ac7d-ۧܢt"76\Nˍ5=bo|ntO$<fS7ؿ(c:BbW$q!tG v Ru7mB={͉"|HjJ`\^[4ٵo3UCd^U4ԯ B+P&Ŝ~ƏRK8b7U`2Ȭy ֮K3ޏ j\(V_|ǝ7cОk)22{19WεpwֵՈAYa]cH%+B{nU-mO>7ٙkW VE/`v[*c!͆ÐPYv0TacY :EX͡䇏"9vE{5WŔMGB1o 4sQj\Ua/k"2iKL47į/!4emmGWs)wߥdՁ(.ę~`UަK r<{knJ-!9f~{[-dWqsNE_FշFX%΁R;:T4O*\lTƲ9?' 6x:R@q7Nlp2P.!>^ XN"WG=kѣbrd*~lug Z8 8(}2R/}&1UMn$`_ߝ*t ![k6B Ʃ6>}}>|H2 pNoar - j)ƞgu 1LԺB-j-y⪆gUy.]M=j:tt%C)ӪSߺ`kOqH9Uۚk=8 4ϨӏFF$RN ;/w,\+A(WIAîsdMY1r,`!ǘN|swteW$d%گ ☣{$p-Qa7aii[T cstL) C1Rg+\vd/S%U3z!A2Y 3q$`wgLbn:B+KH g"1Cöi~~K,M9R8sh;}*R$PSQ}1JE)WQt8N|- &k^|wb顚--VzEBUMwȢn[Ѝ8f\P#͢wFS2"Hpc iyUi&<3=h:݈5|!Z|( Sqj&ŕ[/nFswI'0;-n<(ØpkO]#H,\$j'UnT.:. S#̖p@[\2#hF+e3x_WLYP4ʭ]hLk,@ejSx07˚VvymRީ]lIi"u F(~g*'e XUVq06G&5o ĚW)l/?e %5TPbh "9Z/ 7' a&(^ jaC9/\oC[0d<6T@>cfxA沪hx-ÀAwc㗈W,L$EFvT6-I;tRNoSJn.`Cl||af{}sj`ܜ Pj'||V/a~ ~=[iYzC ık)̨oTk'L71ZKe*ef2nWk;羚0pUj{V\g/58TlOc>oh=(4ggڭm;y)(Ѐ˛u\+%5/ nRӨk}sƲ7Nq.ħE1?ki]4N׺/>mh*E^CwoȴՆF\ݚ,5'N4k{QVcT`2@8,⎡[%_3j BTwh)L =t1@/=vN9B2''Er ͷCay DU򀭅T+];`M2?xl2 +mӡ1VLfq)ODd*|!tYn08.?s,۲U蝰׏vm#w3JS) 5DUo,cPK/Tg W0Y9~4ĺg,fLݽ5J%p?'mV{9k-ʆAT]Kj%Hΰw:ڌѥ#^Rtf0GU̟[3+3F c7{5Ej[ ^"pfм+0򗳿pҶ>ȇ?ʜhfڃ ƜUM_Ԥ`+) j$E)N++X[F 5]2/EKd۰ z sr{,MJ-_jĹ ߀y,Vm%@-# kTs㚷 6³ Rg&W(Y\Ƞ,DdA+wg|B7mA+EcԬJDrl^Fы$z١[0 QM{b:&bEn59%X&Oo[ |#US'aتz/}eJ'Jh.T.">rPv4kf*Aŕ+@>h K:~Ya:(0}P#F$24%r,Zg}!7o,Jsyg m{X0F3DsWO+q(xᘱUf$3)(_o@S -ĽTjvn9Q7JkFv0>+GXĦZ1=br DFQZtg{HGwvM% _˩NX>;(;31KwƱ0zEʶ0n#AiP}`$|"KdsOJ~ rvȲ5Nv-[rVsaOް6e.atLDRG n ,IM+QJ;PRS1PC >qn5^|d<ă4 is.:$+@"Vn݊I{c%ALnai\0TDbpo42&eY`4i KD΢3 ~V3 i_s(RV<cWsƥ̴tTZhc QI/t-gIrrB{t潅=[D+ҊW^Ox4^oB:mNlE6#c:8^"t~Z~B~: NA⏰ uTc.yyS/"w8(?i}Ee,67rGֽX>U~Ҁ(p3vX.>Z[]J|Qv7&$I5Vá iRY$S/_ЭTLVjhL xzEnIoM+4(ݜM)mngyB@D>7dzI 2Z[{Y 6rmݼ9BD)ʗVv5_6rCp_W\%TR/`YQ_S*Wqnij?LSWR" .i aW[x&tҵo>B`Obk Z*cS}Lx¸,F,r)pMZkY#޿kq$~1Z59\{\g~yQy=LS9gsN5gCn€=<'!uUÆw\J9 r4qlƎ\%.ž,lcL pHe<H,ojƮnxi܋jB(q-rs.ҘpC|8 ҡv=E/' Y,(a19X ^pY4%+_X2RoMvdnɍe/. A&M'6oͶCvfgK Vڄc qHvjrLU:l·PL9#Ù%f.^9js"hjfhSEEYʰ!HrҳĉsK}O]bj,P+k/(Iyo $kcY\{Ñ9ˢ}jm"ߣ6Cك{㇁_.*&손&G߉ ^opx]C"qeMLfV!@aOt$_n_#u#IiɭtkP83$MA%8m^x(" -օUB}cwD/^MBIFp<`=5/Oifnsi <8^Q#7FL)i8^\?"c7 }^$SyNqڇ7V9"~ ?IL; LR2ؕ ҇b3+1@},YaDY9X(`G FQVlll.^<[HujA&K+CE{x'߸ A(`4eS\qCR͞Mg"R)SD#I9(HiňUxKikg0(RhA`R$ͯve"?Ş1ε짠38?(zִ42Os#`Pruɦb913 ⏤y*qA]3/vv)1$RȄ3Ɗ{66!8Ajfܾz ѽ_-DF5/3e1 `ogs&0/VV$z4(KF gH?# zߦnʏxui$AmO)s9E*hWL֡,pL%!=;2f5k}R5nM|_UuĬ|S 1ɭ#PK$2U=plIl2<կM[[1d/.-Q ?(S HZYbʳՙ<(h^VD !T+GL 8}馿%o_rC>9`f#gG*5je(I'DbPb=1Ӵ@#AUyFBo >QPCdY8@@G呯J3uN*i4$  @O{(l 74eIJh-yD 13O@0iRX_3;CiF~'c}n]>7n8 ~pSQZIK]%1lŪmFA96OE;W15 $UМN]@mF5 ɒjdH~$Ypq;@/a;cLn]Ne}X?uIiGC0Dl!cY "] :җuR(gX5 Ru:1;pҕo>'KT"W`b+.R +؊`<"qW$2(UYٵfJY$~ϊ>p٠M1)KC 易 uSUulHF<є!irr٪E*WoEep)/lKڪ-}>yݿ(?p6xل jesvH=O71ѓݾ =CmMHY [R@lHIni rfl%E(ZF?wR!CQMʒr:4cjqa)Y.Bq@qɹM#WHK\}f?Ee?G zH<ڳ4*f;!7j϶F1PG(tUU6$#d(N?0W\;YPo]zڟZmYldzbq8ōjNhn ,ߧV}vZ '0{ԭ5ʨs~R_N ciP'&SiĿm: 5IYuY{8p'QFtArUSUq*5*L@錑"32u&ͱ/AB'Mjc#5WWte0o<z2;Z?~zr&xz $ZPdS5x|x%j:0BH:ꊼ|Dpi ,d,(&=[sr 8)I'8o1S!m Qf5ir6̔fz@Z 2P!&~wyOW&Gh2<&E\.ܦ42tк3:e+GQpQ>u1 b=DY%m8Q]j ?7>)&nA,JE#ۂBN7eq@F5]mhE<1sƃE18bPmܳ>nN@Ɖl x@]H:=_#`-Om噜Bx!/SĐ kcQ&>gq(h= yYdzua^d1Zȸ؆dqw奟;>t+c3>r{DIӒ^^&T$0`0 l~#[9QTPɔF3wE} _pF˿3?؅™vqde|'m@rPi!W34 g|Q1mS'ICY+ yOo :S!0AZ7{6QvL pTX_WY'6FHmlQ=1bUÚNCa>rNiq_Bia&Xɝ ]6`z +֏}#2;\A CAgܹa4)ORPneH* D]7 6j/Q߭ G}}4p㬩A[U`Ldշ3|7okZ?O99ް_ hMd{\aդ5Ԁ4ʻFG#`z^z%hA,x hk_XcFxmp6dV(] z"k)ƊZC6JN$:ULmKS]| 3Bb:fO}B]t=yD_t|4o0? 7kcY07؇K\d_G;%JQ*ܲ<[4`>E=Vdxjґ/q [ˉ:9ݻO3:g1 8Zy9Su9rs'mD`A0 r_gH4D Kt* Ȧ$ӌœX޵f%:1Cf+[O@UcF:dTR[9;'YiK>v'ҧsZ#ÿZJK'dhDo*7Љ}X,}O t8S+?;O# r[ ypI^ B}}I y 42[L)sH佾aM_ֽzo:(x`U.Bךs3VFw3i5NG҇.=_ccB 1č:K! .cia#okCB3h 1뭸,2z'YLͽYc| ^_bOȺY>z^r= j>4H+G4noXDqam?z\Q2<>vi$fxv\2Ўj[@0?6!́ܶaEjX?Ė< %:VH)_~/ tr$vn鬁p_^]h%uZ,ֈo)-FRtZ?8XmS=WFqMeg&@ސ9=یKvmc}$896pi% Kb _-ۓwu@t$3ZkMqd,G%,zK]i#e9DYD SႩԼW) Cˆ`ϭ1E:/-Om hh@%w`B2>@J]?ZIݧyY&gW,6k;CwH;/oW87z󝛶bnjIWEz2OQBWRhY\ j"pب׽fF;INj`?rE6':Tm~v:3ɛݲIRLH|y[#ܦ@6NBCjTzB3S'67 )? 8 Uٷ_&;F#ᝃ6/ %u=/;SzXգUN'儰 |nSh.a ԰=>3<_'78h+4scRdػд(RT.89ΣzlZHyNC ǓϦ:Kԥag却Z^qvWO)3yٓ;y}jbNH %(Mjpу^sQ5R!7~7XYkr6@Y7V~}YJsd!ǩ@G]lwL47Qm k^g(oX|"r\x.0E'c+lK3 y7%iTxt:L(H55) C)Z!;d.:K"? HՀi?fLPZ)n0ډKuޝa UiA:m칾ꊅV!ǝeXDZ)T9-"RvUSnevKJuۙ07%xN ܚUA)e92roQڢoU| SR$y!1a$t1c%hTa]P>^jAG'$a"t.2rT0ZGQJfib^d-k&y_P>OX$3OS8/zŃ(+JSǟǀ3YwRS %XxapPvs])y%oLۀb,іo⥒ܯĸ|%cV,aJ&M(XEEњMjhDę ,鳡Z.Q{dn ^- zØFʒ톕 KJ5s*7oVr)__ kcQC pm2o`QZ#eSWYZ= 9jrnRUf hf} YF'\s ''yl&`8b.q8kH:! rbfQp1lVJd5]4y_$?h0/[|kP9^]PŐ,j-=7ROEvHnIG+`xoL=(7tbG>N/%o"j( 'U`ko;-tjPXX+ҎJ,HzD_WfAVJOOQ!u8|5Bg0_L&fcn3dcX`TuI;ҩ[2}_2u+W#@9Q}<|U 맍Ev2`fEvWEe 6ʶ8}wB0gYi8ypdTk7tbڢ2G\{"o&_bba< -mí˔OU>O >/ 'RM.d>}mIN3pͬs8:z8U;v üw㳨,ƽPb JjWoI1#޿N:sLW$N׾UkTb :C%WXᱧ)zV`Nh"vv$4Yu4GyhL{'B#ڌ&&1o)+] T(Rp0h߅ =k1"_ҫṽXg5lkw\8ʾ13Y mu\&]+L"(#C94،"^t S*WԮ.,W[dnX"VǴIfBEx̯yVfY;q9~&˺$k 0&bg_&K80y1&ܳ3aA~YJr#:}&<$NgHUCt4(9bR4L)  cxg0LH%S@%h 6dVkJ;ZDmAm8o {sk,fͼqXA*U藓$M>/ ީWfײv{?6™dգ5TWDKY7U?~Y4|}t;5Lx1 ~Ch E EGǸV.yS+xguwUs0#eHKL_FKnp)e;4 xS[Qc1R &ds7֜o):M.GÓ,ߪ3ded֯w+Op4SsI1P\ƘK]~ 'Yd)0 PPE9n֛68FjWY$ 7QzCGPA~p8kc553]2xޠgAc/1ʙ^|ys4MRnďt(4:&)*o2qlPAbt>>Mcd}bOe )@CbfsQ@]h{74!Rŗ݇'2?S3},Tp̹zzSH{6?Ə<mnZG>nv;q7G^1r`lenyk[mAv%μ:5j ǷƇpR7?4 0:,%=6ࡆy(4֎6jܲ6whٽw<-4!ž5+%vDL}n!|R:?Ƞ -P$^!_8>$mf7`;IM2ygw &F|]?!j>n'M4 ~;m;qSNO $Ji9ri텋DFU@J3eG/U2h4i}]GE渲3xFs -}fēY|2,ƷÕnr\ԞaV,!+b}nDn퍨77_ʠU7H[NLi u8{qsWhZ^@-Rheʐ`fӇĤ,MAPiR TIT,xL+M5ԩ`ӓdIqGl? 2mn˃?~Ps{yL?k*Bކe<0FѢ0유(gOdxq@+sY}a9&ː t_QDw(hg B e{Z znFc_|[:¦,,&+< KTKUɮ{>@q Eo\O1L]@L k DUkk~%3j)ح(3,bp0OY!wçy]pn})U+j>^{7SE$@jB"JG+*rAUk9I}˹IڿBb@&Aɮҵg%w`7@6jvazy ֪[GnK Z!~iߌ`Gtb4l Q=5`i!X+72Q*?L3+#?9b=\M_g1te?$˳N}H3Ңډ4EczA!$[腤@WG%:NϷr#sjetxTeu-fv QD\/=x u]G!&ϩm>6- %e,d>1_v+72.,P|Yo [7kjum;š\5 =g U;=:DGt3V8xOZQfكa>Ykk6iϗ@Wemʘ'6?^b=}QKG 5ӂ6.ggl=7asd'/NCXd{y n.,| 5$跗ŔP528؉5-fD(vgF*tb v] \S٭&56sT )MGaW$?YYudfM'UXIb0}(c0ɠITIixQ>b^`bE3)1 /CFf|2Iu#@ ?Vc55fӤYdQv)/nL[E9 &Yn}0X Ϸ>(%t2n…2$^Z3ymC=˃mIu* xP-Wb#'?;<ZI KR![6BeR\2c[#j=NOG>%6aqIW Ig>̒eA/ۻ 'uyCɈ563l9VX&*R78_4I6I)ȒZiGGmIȰKe+.ԥMӕ$:Du>1"8pɢqɐ]fв~yܹr^.I/e-C7L3胤z+96TZ(/j<&?u{9KvAj;#o-up(tPCN G*$%x+Ԡs;QY!\ِqkȃ#.`jtPBG l ߧm= jg"(47d뻐z#Jlœz)1}ږ LD4P"x\n 2PWc`6!jQk-g:ڷ$VT B8kZzba l|T8;J~ǓWfhIִ=HqRVKP^!Wָׄ4xW߷t_Og>v{84}j`4.}\Bl@y>p 4{"0t!y3"GcY86E9%8eP8pŽ]"a,#~ujEy1.3iOÜ@eQø*hNfJ=3,>Vz%f S:R紉m)FT@~/䙡2ͽ@ٺKpEr}z K#jԸ5!>|\([OFB0!^쥯ܺ"SAxiԐ+wZh+ Vxg!PՅ͍'(9LJy6L;8s3fP3ꌫVl%R> ff"1rRA_ |T-)X^E+vH@pIe,8|90/s5BiH ?CcpK()1 *n4wB߾BZ(VO*቗6c`kMmvCZKFglGcվtҽ))^ePro DĨ?0MbN6(gFљ$_)}}']zǺl/+fm r(m;9T4ghbGլ>3?B/4dݎ; Vٚ%>ߍL40@R3 $L˘0tf_)qfgx'Nj9`AюyׇDr)AEAT%)4I7D_L GL./+OvS|D>2+Z<\Ak:BI5F8ScGR<i.ڌ%nE;bK3Wet;S9Sje҃FHZzLTɣĽ)e䚂iQv vWH$n#ҫ* 5nc#(ޢpk5er#ëζ/R5$]2;AEIkNa7}"%#7IϏlkc?Ǭd.oF \Sn nG@4[m)"A%#. ܱe`ONIGFjH颻z &i9norX#.OD [;VyzE.BHR=*i $6Di$s!3JX4Wb{DC#~\>9yA#D8s( M^v>:Ҡz27>"a7Rr},u*R)cq҅+$IBi?~5^HԾmL< "~wzp a/y4 t% mޝPKr.,3pW\H|wK#Xlb; WYI7\Gak?8=#SEDo| N uuH)(e o!I*XtϩθYl<" "pihSC,EnvzA#T I}c!s0ԫ0w6byj (PABa_Hk-R{ ^N>2`4u_Ehr7?+ܛ0T ͱgYZbcfa4b918b21820797ea6c8afb56eea405ac88c29aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 a14889825158a2c19c223dfbc6e663585cca786f