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  1|l ]% HOL-Decision_Procs:threads=6elapsed=224.418cpu=1071.952gc=127.504factor=4.787zXZִF! w]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓QsTΐmJ̾>{aHB?&me:bj`Bə}LЩUu(y'X>tbd {(Km؅>10<]nF-g] @6&,'Wmx4gB_s]$R?(~\uW \l|K&tkg"h9'AxU>]ܐ l37{88<$mV uxEpGvc.zv#5gbM=Au9qC QmEo{IP#]2m֩SiMhpQ[9Eӏp!x^aqs<H5O"3(wIК hXVA\L ]Kp@xޮ~M dx ̟f 4 t;:@!EY]4'QQz$9=q(FhQخ?kjBr ҕiƧ p&$wJVLSYtRT(}m48-_zȂ`&kϡvvhr]ۃ_fm׼;YI.OFx~|AHiM\0z8_m3ec๭Hᡤe#ZS jt FQD,Ԛbk/%|耦q *ϴ DvАIY_aSdUoF>NԐ̳kNfX-ôˑ2cSNqի~וI ce!@bvŪ(!rVgFr151;},΂y%/=T,hx^m/k#\\^ф`| I' k4AЙ1Oe8f8c32f̾53!4DP{ޤd 1 HOL-Decision_Procs l 1?= LHOL-Decision_ProcsHOL-Decision_Procs.Coopercode/cooper_procedure.ML7zXZִF! Ti)]9 ! kG GŤ٭$`_Ol5cD̳Ȧn (w1s%¶^GWQ1Z}B.Ev uW|y0l<`SuSJK~Nxǧ(4j (cr-۫ly򌙑euM UsE6.&yg@rMWXȜk2P`ey|(P.#Fᨏ T~nҖάbu^~5K틭3R ̝e2&$B@IqapF~O?(_GKlU!G-CG.*_S'5<ZH/מmp_0|Y {XZۥR>0mibN&OS>'}\% 8#+|lqo wxprg S31FrAը64wffAj.ZD$O $OXYjGHrۢbs ?DΠSvA 4D>` jtb?W$mw:kz0L] ~ Dp9Z>KF%MF`g*7hX%,99UjIWeI'l@}dQrUCϨ`_ڏ^A;ф>wW:׀Ȫ#A 0K|!zwk. $>@bBxaozDŽFb>Xogl$AoMx|'3UXVAt)>խ/&pe` Pm}DR(q޴#ԁXgqK# GWjA ?iw=YYa?o爲2j=ߍ %3D{% op!kaR@7Z;:Ӫ9LKt)'#z,Ie?<ݘ7(ģF)Ln95 i/BYüS R<]Inaڿrz qNft=9s[*d{H;tG!o)w/_K;S!B ;?^]U`Y4{n;-Ѕ۶:Y5n}cUj!L"??}#k;aGS=/V⪊NAڰބ%|eؕl+e]MYdkWڐSbjՉ-{Kmil(azs 3{v?Đ71pdƁ[phR"=皉rĘE::Q]am7%o,>1ʟ? 3*'~[zl9;E,&?Gc\X-+Wy|%.ޓni ʎLKb5Z$ SQBTUjq0ot2C*ʓ_w@Ont:YRzl'd\fL{`Cir5"q?|m (rџYP~{M7.8G2HǦtfF‘GbQUhK!T>6mX2$5i3ffK~Nj%ɧ'bBQSЄn-?d@0K@pXy Y3U9*1YF~uDV=Ny:qt:{k]+Jt;3sy; f`l@!»HYRچdfjBÍJj۶x-x;''߄;9KkJCs{<,ʀlw=ZY$ܳ%VtTkrW A[RdwRC }`F n1zb/x#͘YU.!lBoۅ6 Oḥ~o & g5?Exͻ`$`i 'ZDradL*H?@={u`/! ԬQIޟn G؆;҃}ap8ՀnP/$'ݣS)nBiJи!wQ,ailƲPVGSKrX}6#o0]JU|#՗;BkM&^Rq'+v?,BU s8[C_D 溔0li:F..&uPza+ [C0@޿NoCUr:[ xN' SDw#3a+.Kv"ܔokR|;iZVۻW)BI㚄Xʱ~8 yJrC]YOQYGϸQVԎe(\E}ԀiFk-LgJ+\@XYD^B.f IqXz{CEh|`Logisdl赮`E\!|Ĵ!oJ֝;> y=L8%TM@B7Zv+N0Yye= m=u|xRJx]ͱӏt˸iJ؈x|+LNj8gdoRE0u@7S/֟6OŁ^B]8_tup3~Գ䠇"B=Ţs.(T&#i#DJ){ŲsL(0F=J8h6(L#d&'gJ\+ŏ6_+!5@&gYQ7k~:M,1E!@g*JEkƲ=GO+&_ꬬ\ E", ]7F./Iv52@9AXl~32*UyEAuϥp\:ڷ7'Pf7פs כRe fjb%VBQjB9 8Y`6ѺG3!{m: *>RrF;Ѽ; m&of Y e'8\qWXb 5{GN㱂в, L#.b{PZy*.Ȕ,vx =%{=n^[rݖ*TjVq} NsτxSw&y5 `-^o[o`9 +m:KWC%B$ ;QlL+%s{uy$r0؉Z5ˠӭ $1Vm ܫ#WVA=[F{K=]U7wRphAn=l%T ?W*_h1JZޟ.pջQyl+p K,> |b\g #v 9ƪ,!y$f_=aNhRѰsN=ߞ21i5BaW^>JFӤcd l[ =h@D*̔>|NxNΣYlgb j"a,^eqvpPgz )ZZl5_Fq{P~)PKH]Ӑ̍So}ĪOy#f)k#[6jZ1QSC-<){Yނ!cb{ J2uՠ7rd& HQiw\`>HOXTohچ~*jRVt۞@\dzrpW뽧cm\AeDJ OV"+pqps̓~ XY@9PEFZoBLj$Z0ljvP!u4@R"ϳ.wS6OO4"!ۚaPdmcNWz{+Vl6"Z>7M E<1^AW.LDDUj(18 B R?0!I ,/Ehjj9]Tڂ$3W =R8?Y>h+ꂨ$*t|v;b C7U@ g̫*qO}P}> Ban$v^d.^{GJk@.P[:Ӱ35K8÷"69 ֋yЉ,Cx0ţ H){3䶄-rE"; GpYib6+d6߿c6ِHKgHWVIWlv"4$] Ξ5/LoB!`#qFw|9l'M]ӥ7g0`KnX"6|W({8LE92A;|xGE99L bNDAm gMl) ßi|KGQeGP>xe lNkg|?w1k ?Gϳh+]08K+sO7*E)ؠ:$Rq:%M㗰{~󞜨>BI`'Jf~Uzz&V\ty3XTt[0x]r-o({?"z̥+v,KwJou@֧n "m{[`z݆K#U7a=$xQIJęWeh}b)ouZm*g+(ퟌDl\xֻ6ǤB́ldKSqWXQܒ,I`c~1-Sj݇IB"0];8Br:w9V!g3JTre!=k &>$v' A|Xf^ Y%\Ll0(L;]^/a]h*`I@DKDKT/Ԃ$DBQMʯ z_/`[ \`,SIH^Ju-k]&芨0XhBzᬸ{o=@@C 3͢_vw "WŸkgb`gK'-vB5yB)_k >qkKJW %'$m/n>jl+uYi=!=7vm |!qM ^*'@o4qAåTR=5/zgsyb8{rf&Bj]Xdvo$()*$@=I !nql`4(mvοqy/.p@ bjU,t,UBE)כU:޹Q?@o٪B$(6zPo0r>,( BʜK ?knEK:b(qX{/3X.Turˆ6Zжvei0r_m+'q})$gt s[ѝ  4\b7>6r#>3M2AXDkˊV.#16"?,r+S9ԠL})^=-u\7O D@<fj}OD:E:O3ixGG~u[)RV%zv*0dֶ]BF 'J }Ɂ4Q0>J)]?|:sKʚ::?r5~agf̬rU)wM8>n:rgHtKҌ!hǨ%zUɝˆ ZV3ZaJ+ztPnP']Bz3oe X4ͤKg_BE!AMgG:v䃯Cl47Ȝ2MJǺ#z$//Lp,ޥ+1R-:?!#x@l(BXSO- į˛:YGK#r\'|Ĉ2)wq]qVsI`>BigmcW!U= uYQQR_:uM|Ѳ_ü5믐yr#~=h#q!]^\AOs6oVk4.ogX :-+sƸVYMkQ;ߋ&\K5!tnHB)oF$;\rdnN<fIe}9?Zc--wqϱ90'TƯ*#a p|doD6wdI῔BDtY:K` U߉iE?hW- })նUa[gxy˓!މNjɺ@ߖHnД< 9jO('^wN]\9+/kߺΓiVʠvۈN'k};˖ci&G~Dkt3C(!h&xXJQl뵋6kVrUT?ܥjIJvx&ЃSb.pl޽b:Y{!m+~L0U3%D8o0LSBVJd%ܻ[򗚤|0kC twܘ28霥q$F)z _F+.m;#"ld2S\9ދ鶺TT_b:M¡Mue"8)%J޻ۈeyŗq2` n!>ݻ9IIb@C&w6eDؿExs'p]5|n[exd҂D?*uQůb3I@wb2('CD3f2 KGwnKfpoCVb~]4iky >+ <ێ5UDtG0 mEgfGiش-thfogmIuۖx[e5nzXRAN4lwJ ;Ŷ#+h&XOt% +qT[ NfH\TU߰0;%H\E˟iSx1gYZ UEl&J`Ep\fˤU{,zr?.;TZOL#K!5E㫖5(2ԭyJ|<&&djLO_IH>0S  y/kOF9#5ڇ}eʐ)%F9wsX\xAi"ۦâo9Oj2OiGͰbدOP :$?b KRC=\^ s~iYwH2o]-uC@NxTQzPgwPlD]2X2mhWIIO˜2B6W^ ؜d S柽Yh$7AN{Ӗ ' ŻYSJaGc(U0%wR'yx*0}u_VpW Nz&,fZj|ځ)SlbOr7WJ'c}ղOQe߭)lyo"F9z]8&&] $XH 85Ik0Ո7]4]PDTriL g|Oq<;6<hnMWбzcPhJI*4O7EpeY[d~[.-!kBSѢ, 3+nFx׹{ퟰWЍ%Wdp2Zw}0oNK4 3D0ն̉u O@9 {7Ώ.Q/Nl6bZC|n=Zeڏtw<&*AZE֘c jZ6-d"҃w[|Dl& ]]"x;/VN>4UAX{ĹcW̺ۙD^bDl]ct0b-BU^MWýTm1&nm!orRo4{?*!B氷  EpVEϚB"^q 3S'k3O@?͛Z3[ve%8,x-JrGLcV ;ЗcDGԯ>ОZpu}R%30Ґn_K(%Jߤ`~OXz6BjI*nNjՁ~<aH2;c'Pvq~;@q2LWѣ14YwҬ0͔4 zQ܆hAsFADߗ\byh-n<$ao|3;C/ٿgɊ(G4s&vX~nNݧ6;~1"˗Y&!JSwp8'nÍB?J'uVC\Y)~E֕\EqMUkaղĚV8>5(z4+Ȭ__[7t`\'6J tY[9 Y1 }qokRyz{N;(+ܭ(1 O$fve(yZ>f= tdsuf}~rsBfxBfC{W6gաM cP ^. $!7Ks0`?Uү]TQgRr;|5ˉ(R#v5@kq Wsx RC򓚮ױ7SEӥ&6勚++i34G4飒(ӠGq( X&ϠaǕ1[VTt{oe؊lMC t~`x!0f?BA0̀} Սܥs!IK*e=۾ !~TR{_(y(_]f:R#nWYUh&<#Hn3䶢*H6 EHU߃zpܡjpZ'sA˩D⑷FL-ϭo~cEV`x`NLglvq1ve2*ק$ G2ƢhZlvH57 J\W2F.F|YN bԝo.D՞h5: D>./(~0}.؅<ٵ@O0I qbO)bTOvlQPe'gԑ+bԼ YoFa*5:E-1ɻf?_G، T1']BPR}e뻍׌!|$Au z{nSXdHv]ӆc$va7v3:}rA3k(TąwKW2*s "0>?yq I4ZiCvH? `;Yzrn_'1I"uA6'DK#Iƕb̅ȴSSFP6\IQvhA ĎEń _Xa x71n ,Ff&) 5TERӝ sR懶.He‚ʙb2t]DŽ5dǏ(5 ZΟsI#E`v=H U̟&%.PNP <uJA$KО]XHCXQ|C}3T m(lb*_͘jiݎlE}3(ׄhq =xZbIizΓ6>ͧzΰ/= .j7@5J% +hPhikG t-i:F 0Cƌb7vM_GÕJsh"nolG%g |: yýi^L^mc!.iԬr՟aP D$[VqavEt s܆(P,l:B<ݮ_ dZ1,v~ { ҃H R&I 0;1G6< k'`D~||#QoX]68F+|\$mWG,:8hM5ML?}izE ~yi_.j#GI@4{._Ӧ*ZwgFAJ^e, 3G {)?:$ή}k"P<ǻ eJ+ɷ?ܪ44]QD*V1v ⹑Is77ټ@.:fSѫ(Ù$g+3뺽Qsˇ?hoGnh>ʇ9aUZ̠(^{*~X%Yο17S7jy,֯IC<#qS:)<<d6ȚGߞYnT:!=M+vwg 9 )P>Ufo+֮i;8~*R&\ KP&qr )vϦ-^ʴ9몔ALf_YQ EWjCv5ũ>,|)_]jf+pˠL)zRƩnך/ξJ/Ԏc/QxPOV-D9dqNZa5fI M8.%E6DQS'&e$PMsy;3.PfKo5 8p{B1lbgYZ7zXZִF! \-]ŗXiɟ17L? KxlWP8SաM~>fٺd: e5|PS3܉TL-"*/8 o X ^.*[/wŊ/ hǐ=.ig@5`< Zԁ3?%߉h{u ٭C gP(~aL,iMϚyDM )"|n!)}/?M u]=N͏^=6Yh˾|T&]]VgB7fxa[Gm_)+CՎwd%^ĦfAHG?h)Fkn[n?E;|fd+$} ><[qa< ޷\ΧN9u\o6\n'"<>i l|$J.W%䋶 ? 2ҁj=Z@Ң9E'a@/.5[qECgIf*͢kUPp;0]N6fotһ[d/qޱgYZ7zXZִF! f|HF]ŗXi%JHmo–vo*W(T<| Փe>6R7^jBG Tk@c+&4|S=;d)O!؆P}XZ͓*kʐzу]i6׉8W8aD,~$ӲS [ӝf.R")ϕdnml_a6Yqs T6:kmcZ.mz_0[ J*|<Re=ǥM6`>_dCŦ=v8{?ƿ2y*KXO,2-n9zc6urւժşcz G $?*S.Zhl~أC:k` `l27d3)_nNGxoIE̖pІFaXœ`)PAqJzz[b3L([S`z2e [Lٜ$R=>&-ج !7Pd#* +z~ǃU@F ,Vj_QBE+2Ymx1S_:HbZ 5|ecR a }ESIG8} E X@C*v68c&H"̒g.Ë+OrId<}y9vH#m*{yVxP Bb4.@=-ujۧGyTLo<@ 1-'~[y޿ЊT0bNF4κ2Eڍh)?ӸRCqE@3oR ;]͊ ϼJg+N]nlN4]IF}ϸH(sCݾ㰋U LZ 2T zyE]OY|9MH8IZ5#^3K#o&:Lg9cu^"gBML$o} /wxGF6c%Lx s}s?9RGg-AWl7Z g`I(&L% "ءRD SAMM@H~;J :!{C8zNj=ƽ6ԅO>ĻVY thJXNQĀ߾?Xt{ ycc$:PKlȱa!}a0=pĥTUINw0#q k*SreDfe|_] !ce04p1l* Z~#-Y0) kq7 k Y̕})w0Oඌ =]wہ /c׷ ) \-^mx %} #^,=Y V֝bM0~~F{apr^#1Yi?E0ͫ!)W# B6T AXkIiT t{)p&⑮"&bj_%VL4 ϒ$ "V_*kOUP1/`!qNOo@q),t1.ܳҵ &onH [4Q`-5@i{;uOaU6FLL$%zR@7`ow\5!}̈jdߑX> @IbK9JH٠=E0D {1ؖK<԰D+:knQ"@n f{orWKZi; xT-l3@@"'n͡hQ%U[c0 Z5\I;kWɆxK*THaEJ!qcS>x&hC9MI[rYj'/L*&- zd@ aGZQ#$8)OrZQ(!G?N>)m|ia1Ql!sK_,UC1m$cHJ3b4g8MEt2lea̽_)/];҆z@3xf^ڷV9 CZsQǟqGa}:\N*RΡܒjn3^d@ęѫJgdqq,ӌU+2G. OgY`FS-B}e;7xr\%<-&Eo?,Hק[ཌШ,Ol2_%U2!}CKO MWwu.iraNNd_ (zjx[[_:v[%:bGX*w:ĀIK To1CjX$0 ^"+?uIU/-ؘ ,їIeSs/J n7PQX_ޣ@$'N0{L?2"ISMrŞW0>C'V@9E| nrCr<4bѷɜ#Van6t|VXUdG%F6= vɏ,QG2ޮ}Rc':+S$`pn";0as㬂NӒ"dLP K85_ːa|q:Z$̕)[uOƚ٭pJekyJUsi)MŁ̽lLڢShXOau@90D癤Xw M9:}HߩqLkH6iOJ%3mrSJto3Ye(b]tMmG` T3^'9RFVv2~)w,66^A+" b x$.H88׫&N#{?7G[j*2ur0#z(:IMv^̜S?LmKaĽ2jЩ1ߑ0 Ώe2{`?(]98G4 $_:XuVeTgD, M<_y {jsP qpP Vx.82?;yIz$boJj Pۛѐ8Eƞ2Š8K9S [dQ4-(FHma+[{8raɫz!rnJў}xF/ΰ~=\2U%yBK ,Un;G =8ɒ$;vBɏiohqH!܇6'YzWH|m7 ū+!>V!'~ۤ0q(c7c _!{ u.3ѢmWJ<6W]PkN#ʕ-=v)MH|"ӕKPugXi;jZqVǍWIԯ4϶̚r_ȨZ;C!(m.AMtc@g?Xk!o&QhrN//B;QĮ+Hf_t""X0@sⴞ/xtޭnkiWP?ؔ,sl;Z@DV$p_;=B?=ؐne> y]6(4S8܋<En)^A1؋-s8JJ)9f\ LT)= ? -ɥQOm*OaSB'}& y GqCmuD4q1ZO$NnkNDqہacbYe<ԍ%Hl";T@rG z1o h!PKnX$SeJE6? uF{RM5xNu wHX׌R;+>a_;mCN 0+ѽVɏϯx N9[xnRZċ^J0b`vBXWBTw:.&]j^t>w!Nޡq1`.pNr8ٱId_U^KEIS?r6,B۞# ]R0lH 1~d![iA$-R֢83Qʍz#D49Uz.˿?`\t %bhӖ|ہD~|"eMb=s+[(KۤcGLnMPDp0])3܉F{Pb/ qCyZ;ZIXֻ)ˠp쇲̞zh؉lэ+\@Lۏ(Q+xD( C*WzӤz,x2m,*BN9f)kp +jWl(0XUٷ%o i  ocP:kZ5[R#j=u/ ;8rׇMjOsWkQ4%˺\?o UEO  F{Lk\B4ylGIe2B;!go[ǠyJuV F23ЭQ EnBep2ߢ Ep?%#/P"Bt* B!aWtC<;|B LՁSp11'`84Zc{ gEsm\ F.y<[")0CA>j|j%I|dJw Y'KWOJ4Eͺ1Z=[AlGB.4;JH!-bNN)8\>cG,}QŬP& ms쏽sVw"fv3A:#ZJ5 ]{It|S|ItbV+L_qOۿz\bWPϣ34˘Z h[(/ dEhytYh%P ݽtU%|660kjXX} ~Hn*E%_O-8whT |9(:B fHhH8 fҼNHdf0@-0I5X!U8`ۺ%WXa\ G~M0*]0uMSr?~j|q8 lM&j$l+M~ 1Zo%sV^՗BKΎZU yc h~n^+U%$7_+ٱ~L<A_sH0e۸4"(}YUHx|h6E3ޘ]tZ<]<1H@&_*` x fPd;z6-m:TPQ'T=.$#q^$\hq/V m?rWQ[ڴ%)Hs߼>l CdNHcn*k-]1؇:Eß8 x{ BSJ*r2 (vԊ3gHE/ˠ \AIN`e8vj <#%:A5T8Jȥˉ1ʣ)ߌr$;7VMm"cE0LWhKv5:Ͽ%@׮^%{bb;˥t4*{ sqT_M"q _z-h4#PXٴh 8p3=~[7ޚUl%YT|MRji8+MXEvքM士bqU*u?hIe[KQ ,ou5DB,+Hd;W)T@:B|fM,8?;diPpTɐȮ~)g)5҉9i#=1xڤJjm(!Ieu+c.fLaP#`:eGrZҴ7I{cQZ ^!u %N*!]:݈ k򧨀l{F < >IR|Y:pkփ0w8jŠW39P h. @PrOj_3xɾMbM/#Z(p>O5^(aaAL3cjA c, a=o6HH2)!'fIj=QqI ["k{QF+<(8+^l 94.Mhq&½M9s DW.ɣ[F?ndPƹ#$싻2p4#3.л[\dd!,m7W4Ќy *E B>fӖ.o'KrjU{:N`Q}0,QN+Kr$ [uI+[PiꐬqW#s}]Zy$kwƹrF_( 9 [Ol5U%\aP ڲW[@>-_NDVg%jOt.8sb_H͖Vu!vK /̈>uכ|bGoL~l vg+LSW>v)D67mreI: u+qIp ->;lJ. @NZrxش0U ׼9K`Pfze$$v_)d| %܊1;C/~ h4}KE˴ x+]!?K/3vvKv|dň1o245D/6`»{Ha!nO> xD*kмxkuU2n0''ggqs 1} ( _/tWq0RJ]C#Z\Wj<vT؅S3@ڷ'@ty,p4Q2 N[JE@U$!})^I)v^lȧ< xXuQ`!}PI 1"}_>:gٕaz }NܝWY0Xqp|?F}fpdgj+tИ,J9*<+|=c´C / o]G\y;4Qx2D x?tR(J )רW~aIx: L\nq'pگt.׿zṻIK?`T3`#޴ Յ/3%'*zۑ|oj_oǣ dC$/Y|阿3 {B\I5K1d|4p' 4 ~Z%m`94bG0]NL=  њ~q,}Z!Nuۮ/[`I$V~F{6}tnLQ[|:)_,uvVvW;-Ym՘='n!q5']m!M'y6qgL0U}qI} U*7=:;A}k˙#ZL7+bQby&g.fl˓mʕC6&ka6K?kʜ4𰇾.0u! R+jgTyjMx+zʬA{0,@W,!B Zߊvfy+C>4[KV A~32t LVy~=0,la$C1{Nܲa>eX_`|vi5~}.ÐP9N [/ACޤL8ho pe~%lcYGE1D 2Go)Kj3Z;) ^z\ )M`Fc>gB S[{ t%mB=]ɥD'.Dht|\κXE21+;=0&#/ɝyN8U?o)hwK -Ozy}[1U#߂Geqgy5s0.8MDuTwfg|3DI˛}IU ̳"8N Z hďY~4{ZY n%E ISL'f`6GM$Сb%WЁH\,qF;{0G2ݱn'E>B+&>TL aʅUv3ӥ%> tꏄ! ƈm<<9 Ƈ\"/#alůaTV_2WnJ}z\mv@7F׺h^d$@ұgv)hۇrk@-;kqQz롐RVM X3;\c+˻sZǙ%񻮐Wjƾglhr0"r5g}Y"L ֗iZl|3Gr|_tJsgh]#%hlE{P#XsڜB TAiXs#fV+, o ++f@|om.tWIXcމ32A#wDPH~D]7}GXjTlH_&hK7N\&!ւX-ҊjeouWC^zQȹZ.η ͊G] 5l z(qtPӴo`-̑썼X[ c11,i-׵- X<0xmls@ B, rPz6't tɹ큚rnW{P(fnuJTQ`H19nݳhve,EsQ cWLF^dҒMZ50%tӄtGCFA;Pv[8Vd'T jКAD-Y.5N $Vxu#|4*eyh"'ڗf(>p^IzkG{33O M$.aYڒ62|5|f <0ָ2+ (" .847ྖYkSҕ^>L 6Z`mhyz\Hk 9?)1B,ua~DJq>() <9>cZSYQk6?XJ"Ý{j{>$VJLR-~ 3W7dXN) ɟa&JTjO6P=G MX(9 7Ek7PtvqmYQYz Gl*lg;-]"#!xCLG>=VDq[ֿ~1Z`u,;ZA_)#nkE?LJxZ)LV8hP<7.4i.A:Ԓy9J\ي6 ڢH ^;H%;Ǽ@Cj v0tR*PfqDLTʖKx;]H]I?޾[$W20z 5UmlNv Y>VQ*Vt691j126zB)5eV(lV!<&a<M8qw_8,]"2yN[԰!xTtշ#oM0 6td̔KV ,\,K 7B'be X7YSݗ[UCYo`*=s j@\`8z:O,߼4e3.=OȽŠ uJ M2-wTB!e iM>wӾK] [C%~Wrip_4_MHXKDό0I:l aТb,X^clH8OlD_ o&6_V|MXUk>^XDtnL|Ҁ{5#Z؇8ieՃ$_%ckѬI#īzK2((8E\~TCv/|dXީX_mut'](.<3i*&[<+~ u8ozuA!Nc0V|@ZW>P]r˝3vPhB2.3+zQ1vR<'-r{j AeRp>t5ÿk_p^P(;TD jh{RY-VO'1`YgfY2bZZxFy9NP&ˎ |"GE฾``a].e\Q1sRHR8"e@`X1Qqn.A:*'7wS䢀O {~9B-L )Ĕr[`X#iĦ. pإ\+c4R΄2id q x|-H6 }t7lyr%*QF5?`X>]a'*u0mwrD?q\]BX"n15}=֥ 1Ḫjq noH5m-N3)P탅b=̥uDWApߪ@;Ȼ=L⺮eYNM*@{^)ޫd"vxH,1l0KGl(>dOިL}z5N~tڷ\2'TxWai-(cb;ytաu77 OGF%܎<9]tPш?2O9)>~AvolרL';I{hnalbɧy a+ luv=j(E%SވВGȿ4[Be, %_O]'@l,גWGA7 <=Rc_TU&?u0?ű&-_n%=73c'Q$v!_zoK}*0qǔ$A-Li6jY P.UR RmSP r *=J:^N;wlqNI$ Su Ow~+drk&'|/W !Ř"0'd{џvD_* zL:!X.@1 XrHaf!Mc~ h/"R1sLgي̒2[g,5 .R>Fu$EJfezMI~9e i OslsrlUL{r.Zn N)wJ֑TL7=h%cl ս*!hd ŃcnK!?.4+9H;R}pқv|!G@~~i H6'=cXqaV4 sN|dتC O*2`ji~^սgY (9n`ed?G+,SwD̳)1uyR tkGs9Ml8Z2ֻYr8sa/TG(-SxbltMOY_*fh&%mY֮e™!KRFy3 1.Ƃxiׅ/5V | |z}jz}%A5q,~Y3ewtv`%XkV ? XxLe drMb3OOV"+}4S'G0|Ɍm$۷(,eڲ9t6d#X(0g\/`ALJ8F)E::BbC5c̙wE"8}Jg(kK^ZߕHfRģYzRisNӤ^(䌒6i*{@Μ⽄8/~FkwIF:/~x ZuN|_F}r ]^'k5F*N*ܶ ێwGP QwKkRVYAEE' !ӮNy^\}^r=o?EHu5KÅk>J*b{ DsI<䕊(GOey~[$!m_(4ryIۓ~J>\DrAZCk'/"3|H.x,$l N4dҝ"\УRD0j^r*<;6OS i qKS?J^AQhXu%3ClfCY[Za\vV߃|Ƙq@4>Χ2[za}H:>)O[-q$xIN, kr;CtO \6ټcV^bi;_FUz<cb/OAAɿB$k)#t$}0d{\k9!Z[ʃPym\lr-=%xs[v2ww_+D|6o,ZQDURT"ܸ৹Ȣŗ"w^lNIO ')) P7| vU]$}m%<r!"dk @8FbLxr)eo .I]D%Ρ ˏq4ӱΫG#VkAGFk<ua;BCwDžO=p~.G趑A)=Re )6|= ;O%Lu,*;uZ$ȝ!"&ց]M !Cɨ P܉ q}#^ L0vTBkm%'RFpD )DdŽZ ۮ [#H70D 4-Ui`Gr?@e5ǵ9e#Gk,>U(FIV ^%bKNn{a[Ҋ5l/03q('h-&ARU|ho#%&_>2aMFPV_^e,,Hr9 f>\j G }*x-QW-LEEgE\fv@v/Hbrkux ΁/)P%C8 >x;螦"we R-y3C6VyǁpPmkn}p sro1Γrgmx9~n*ţgk:Q LVǒ[G HKGn\%ɐ1q