SQLite format 3@ .0:  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  A1,\d ]% HOL-Decision_Procs:threads=6elapsed=273.250cpu=1170.840gc=190.456factor=4.287zXZִF! O]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1R alwd}.&PaUQ)q3|GA#}KL)H&ywRGr0$j38zzQv{YO7y߱q #@ Bmq&tf@(B+pDF.1ZݎP7-iّYV\,;ЅTH?i @ nn|ZƩrS lLxtԠȜbLؓ||D?{ ᝆ (me__$n]RQSP(htprN5LҩAg"ƷJn<.~93KwP{'ebɕ\}_IJ_XT3Ztˆϡ $);HiV]*F$fO en~6c'-aL[׆* "@[k4pf}$<"q"߂x4T%̞ľ@Z˰ZS/$}m@Ww''R fےAHϯ^X(^svbw& Eމ-,/g<ǔnCw »rtk 9h'*Xڝ7baZrnEYcT} Q9QnꂽΑD_ Wq!Gy>x"*B8njkHKp-ßNG* >kQ%\"hv}΢> )#K:l;^2TNg<|>b0;+`cZdPEig c|.#I&)@ͻ(bOS7Sl zr.aA#(L>To6:,!%i-F3Yo"ax}(&P{8"*R]_0Q-( ͣV&w=NRk&2BHw3(&M/v\ ).A4'2KSJ付c8CA ,Ѧ7XtIɜ9^5Źi "mMV=ˌ@_1_2V=UGVH#*Ar۲\qw`L{ OBsDcOefctu TSJ\5Bibr&6苷޳fX[yiXWzI$iI=E7 ٭e5\ih@巤 6Oxtu&j7&?&F]PϕrQ m *GTC4qJ.%<^ 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 |цHg%EYdK@DOB䫓aOhKc G tC;E10"P>mC2d`,jrߛIȹq`->~fhdv2JHJ9\by렺^(f/GدFy؍9yRFSa \?S1|ⷒ._l.S}x j_i@8͚ u%IDqd)6u!Qш vNǃS `<$*NAOڦeD-7зnZ .q2C,(3yï#X U',+ ql$E< (WƬk5 <*^uynR\T-詡Cj~/ t-Z VςF[Y`C<w2 # cyy 1ݪK}[<ݒq95r084ۂb܍3-ϋܩ19,sfP;{Wn {RHsr:)\e+AK U39sY=1QYnTb.V C['zta}ԈN\[&c%)>偽St(@zW=H,M naoJ|H=*}7ȁ[2i|?I#TV0XTx {jS0FUh<xB/⽞Z(OL`5,Tf^=]FW#+imN_z(wh\RQ.7Q7&Eºw[CIzMEmzkFD"PO?y5"QNi^Ri*{8~`{WR%#N=ʔH mnjLrY圧:CV4ICp0\=Wԇ 7!ZiHtiPIyxGܥ{d-"`)y96fP= Kd0 &Uҡt/Xk4|U nKg௥Vq3 j+&dhp?(kO^1S5j2ذGy?ʓ =U'^/GsBՈd&U V ݘ0$s*롡f0S(4$Î 8~dn+ߍw~M+cHU3 g <0`JP'(a0`:I2AF: \9_z;|}ہ-b({YoI{A|E_^!"rvҸܧ"^/jGښu!_ϭ#x3,dgt#UTAHNT+8s,\7Ag4%?)aGmø TpORٔ!(`3)(fnd K+:9ӕEnP|ťjZUYJHB (g6(zncֺ,  Cݶ`ݘB">T;}^Հ|0Mˁ4 ZU2 pw5>`9ܭlLc-d~hs$Fqjܸ߅fl%Fn j5'@!Ii6Êb&/;r 7;ya{>!S:p jO=ʙ!3s3Qv Ctrmb̊r Ɠ4<ȟQ?44 fwmǺRs,٦m㛊O$7D\hR7]=g@Ҳ:$ռtN r$jp%\wɋ{^v2;)ahY'P,C\-G t/WHu3*rO9\pGixHMt셻iw3܇K7ƴ*lTJބ'<'I" iKYW9vqn!'nbWUl,EEDq,NWęFWsE3D{:n;P>31tXt krqG>H6nx܋։r?aIM4/@BAB]f/Gd0 1g@- | 9_L'$vH#*QE@iTnaZzɄ&ABțQ~Vps W@' =Z{DI2_|ɅҴJP_cI?SӐӣM8}(e@d31T&b.vT])z,m۹-P =e .}-$ֹ#DRzܘJ ?ν1pyhӦOrSU9t{hÅkxΰ2d*+E7 `:Bu_fbu*4}/ᕾUkT19YP(h҄k6c֫j>B]%V ( io=vY5ĚPy܇@,tûz 2dPxQѵ?Frjq6(5UG,#`PcFխLQO ތw0Rŀ>d+]Б&0=+ 4.rG%J J2nvL!ghM}z܁Jp\jφ*-kHD[oS ->!Ou8Z?mJYl 9WE?=^;XQLO0~E͗M~6,g<|uY)W#ٽm4HP:d~_gMyx4Ŝg x/oPqx(P7OC*(iv4OH k\RȾK?'[5;l)3+<3K t[(wc7'kYT隊`3ˉ3^ lU`l9jg(>MV]V Uhή osljV y %G"_A!L@I}}>x'5vB+vӾHP8td%Kx#o Q)ڻ #=#/0Թ eexoqh 9%py^n$GWvQ0I><p.Ï [+'qpf}9(E.!zHUn8.,RK &d8|~QBv#w{"_Qz o5A/[P~սw1E-#|"lݟ90tšUH6O_5B8u`w$bY?ᛙOW`~c4`G6tt`fe#!ZD[*b?4#1*+?aYtșYAyqLuc=2珙F׬}"&~A+X2&y>/wyZ.7}~]xcDgD#Un*)g.0pŬ%2w}RlD0`~f' HBm$ *6E-ʏPq uDg0:XiF9@BѾۤ5\R QāH Zm4zBׯ`_*/YoCQv^Eq)"8v0gYZ7zXZִF! [']ŗXiɟ17L? KxlWP8SաM~>fٺdPP}wݻu j=:=^pYwz^dߜVP>Y%K1P&@"EL6m]!b̩%6[ zz4OWJ=^W{,QT}WF~,];+*=ldRݠITA[^ |G1]+jQyteeb^K@MHb5BA}ZzBC'-5vPNpSk^{ec,7w<}6F0,PM8z>5V 6CJLg"D!}OZi$cҘNqj GQE]jY H5$Ε 5E$%ڈ,J$QwcCFXtB|Qb.;5Q]sDž~DD$GE]9fC,@ҳ<Rծfm7T/iA6ٞ3}: >,5DZgYZ7zXZִF! Y]ŗXi%EZ/9f2 4&s=AuY"Sy 0{D`d&O`?R0[BLZY2 `z,K7PMIIa< ;lq)*\f~ͻqk Ah 6"S6c 1 g{FAg[pSB0Kgض H]ꓶrx!s1D-ɖ,gF5Hc);4gO1%8}{͜:g<y )f^I&F=KݓU2A!>G+!! )U }xt?ivVo+$SCf0fs3:@-_̠NBf'}N|{Y*"ͳ7;EA $һ4M*c!qeCL el`BG `"=㏀MxQI>I`o>NvkEN^x9SY1Naǰ ɕhKځ8f tx%ME`mP=5-3߈q]\ Fy,f>3;kMϤ^O#l/ԦhQAQ|41gY 6+hjg<BomƧl=T5Q'zޮjG1ڡ!>oaZ "SU Y|^"׉|Gd>= 5ù\AY:P׵J ߉NdzF'uRߛ[O je7롡$e^Kj+$w~UpmGէ;MPYmrypLD"q?AILj$G̘3&!t~J 5l1ۀNOzpM>UHm[}ȅ(xȍBMHdoFQt*9Њ8\ֻ\X2p:07Zق@bp[ed)6P΂Dpexm3]қfj7 %N<}Ut֩1k%&) |-eaOAK~r-;E4H#&3S]=W+qӈz!4=ypEΥ0T!>[Y>&yD,F_m^"b'[ћ,}4):@& g닮,2 {cT?=G~rHCJfMu^| yQ~ouۻ@^Ac;I`SUF5E΅噏/ˮzM2#z0$8>OMQC~AG/G ^59Ǖ9y1z ؜fۆw)\oB L} Yr80`V@͖[Khg-^f[ynv(<$dY?s$kD+}״"Fpc 3U,ȤC@h{A#t+ɬUB"=ÿl)1JdG\΅:qQhK<ڥI ƒb]:'`N4Ҩһb0(9UzJ/Er FY9} |o_=F4Fp阯AoC-KUfvm4*Oivk/x)#^Ik !5M{/|L/KtВ4$,r@,NW~Ms"6N ]6#;JSМwqorX48yeoIytƑ|\i?/Yls@YW*xrLGN Do(&@^ŵ4鼮TZ zuۤ"m-zƗI3OGO*m]˝*bd|wjI2H2ćrrIiv@LBc\]mc$i֮Y`+?W#l9XUaYiڏ/ ˆG#:?03~IY!_xn}RoUm7xClq!n*ߨ]HpAC Әׂw/3sϜ8ϝ9aNgvx<ǕZx6' \zQuC^|f|-:άQ_ \ZLY9sy(6q*Ws M;, bF&=",m+Clv꯴. ν*,4Nm<~R]^Dtе"I>ZH]]qPG~_&; B_Q3Tў|XTI /@tթq+^{3mOye3eax{~} o|Qag5iE =#Nݥ@d2 GFұ34%Q%~$niӾ;/' -SbW/VűFn¢' PUMO$[qJ[["w-|@,q0-]]ӕ9ir_v{(AFFM:}F+QCv B?ܔos<.Bo~,7PMrOSj9xSxO]VÂ= MfR[FQjq` eU:qtbgg]gr'\E2"iS~qj=rHȏB݇[Z*ME.iVJ`irHc[]\n/X4X׎ vgr: 6CϼtkQg(֡|$th"ûB"2(P[ Tn=êAdAuikY+ś?y)v+/,s&ՁGԟ|Ч2oaPtpgvs/ѩ+d(NӂoU"m m%ȥ[ha_5lIjΪc*hԔ<'۝1:#K *lf*]/ҕoċ $Ψ|@olP|)Czbo-;z\NoFH=/ZsBpuqJKs ÒVd[ErCЂyb~5S7`?UyWxGpoԩaB&ueݵym!=_UH"AYqNi֟d"f4Y:i]h:c/2UwB6K:XI7j=iSI'aFn 8~ietimR٬al'WFJ_)GwBRoٝGb2~\s&S4r#ǢО\>;fl8({;/.$8KZ‚ ;pCI## ›3`,aNaC_7=AJ`h%d<i;WF8T]wA{.r@Ǭރ:yu[ MϨKOMHSqĞJ6DȵfORul P?tJ$sB$` A". ~V@oU`3am" ȲzɣtZDNlcdoAsa(T O_*α{Kj]^w*VV& 2"dGwkp * PElŹ'LXimXZRɨҮ|nPs*ʹ]?oSE@wU4*"E芸ÛZT5b^f=2sBh)â!yѵa"oڿ=$DF* TChC_G}iY[B{N 4>bx:c"d(MQ,M>Ȇ*g[䜚#U Oad|%^#Ų+xv"L c_ &au&&: 2rB%UulBmB~j"p/^9vPb>ND']m܁G3hT$—R'6j.m0Ew̙*a\Ul^]~DqsþQ&mDEUg+p C(&<މHoVGwJߔ2V%>uSJ6~.^G۠,4KZd>5yc^/>IǕ A[* 3o^hY߮)$)!,ьiSU?`_ڷxBlì7/.R^krVVOMM; fh3m;hcAL^A21fIX\=ˆ(CY/i8BA!;~0-*;n![z(\1fj!KjdV%Ǘ] R3(LgVK}>MB›+5֝\SgR:3XqMC{+j:*6JS +{&lojTRh, g&K Sv⋽lL'3E<|ZZR=361ǃXY^>QCt !ֹeBUh[4.9p7 HNQwaAdxs)`b[&k>ƴ+DZuP3BRw+1J.IO}a^'HL3?*"ۚTW{Gk3Zx)Q5 Yojr[8Ͱ&6)וiOA XQJ=QҤ&!~ ;"rc3 z$dc^}?pu9: 8XŪwA/\S>kr6S*nOHjG{ G<;jg=wtkZCiXN3U {e~N k["]s /жa[u~ooG"sjH֯6- Gg?^E1F%dF4sŏKcw'&^XRS'c1N0SM:W'$Ds|]kjDуmӌ|.+PJ6G\'C|cc2f&ϻzPUY-J%z`N0”PъI8Il7bŇ-3槥@61Ysz+go FEFO-eNaf:n ^TR^2DV5ՃVSZ夿"=/R`}I=BY5 i3a!7rq2Caw烂`Un8=b L|1[u|B(^_s/~UZ^-;;'bvB~ GhB6b,\[(tA,uswgԬöFP;{ć~E;xKj30K{=j6?Ei z|JrPJ]$X^JRgʥIanݭws/W^Gtw1]-feEeX+](6p֣00wjiOsuOxvƦ!O/fw;)X)>n0|h*$Ba̚'r~Khng僃 V YvUnak'rM5ö0(;঑Wc[=jTdN>0 w3=иQ)7σ9BjePbz+9_K,5x-9ǥțmot/k`] Z!Zm5LVe#i+s!D`UDva> lJTGR!0ݟi%$9Qꋈѹ"! ,x0=6rnBV/r>fGpf(Bm`(-I{칶q>jȀ$&u7{ECqChIxL8F !δ33`@آZ[$[AB n+i%B͔~47$w 哜vQ0F-wj;dG$)=0rHC}X4ntB㱂d!oJ9/ ݫiRP^N2-ൣq6և'ϵ,f&e^Xفc5_ :n$箂&'=pj@q)p;;tQ c=)M'\ʽli M]6U<5s7m?Өd!0SAJ^(́/.Y![ hR+MNyқ)F:s P? g<"3Mma7U#-Cp-,>o-ϜbyV!>ՀMN5vG.Qo#RQf;#ܞtW4on9%clx6<6x? ғSiB c״|o5`j96#`ѱ26HK͗5Hg<R(ٞdWnP*<GTf@vMLüQ!uv  I!_lho4UJtKIM 'Wyk7m[pS[MXa[J sѮqd-ʒ,@bPOF!nd1wsyN_!Y:S>+uڇ@<\Xo6ȸyC}7 H;[c>P:sj@1.|26ةk%7O*m"k;$*DE3uzprW`RqK羣)R`Z]jϔ7w_;(?aP[f pb ބ`hIpCmXIq:gY7Pfפrid`Z"7sP^!a ןިϨPGI3fA Ȑ %%Z;$EѺՊ/`^1A{*x7E r7&=.8b+sdvt"s 1T']0\3r‹V;"_x-OwC{stҐW?ȭZB)CKu,`\MӞ/ >㌕/2W[WYG޵BW!㭎?@bMM)¢*C=Fg [Vf%Sv@/ ASVڄWd!4ꍠy+%RJ*s#3y ~Dc~Y0f tIi@$?ɗ[􋆥!~6n[ fRߛIg n'1Z U\L"'v|&cr'!>"%n79hvQg$ Qiiw tX=u._*Ӓ2s>h sR)fvyc.z?l&|9`#ۖ<ى?u"Rh TPhRpM ߘP}_UƢ;_E۹DfV.3V+;KKi\mE9ĵ7pv, ԄKr}Zs96dڽl!ۢY̽pڷ>VMCI*I7I ܶo tP8]+GPυ p1܅kè:GDڝ]աZLb1=bOJ^mQ$4?O$&,*mIUgg%E$EҞÏ/e2H]*ΆJ7(7& +T@Ԩ#~GO͜@*9ojdoûԼR~dZn[liF:<sxbWMy%2g=UYsz:P |NW3u:E jDL09~,WU҈&Nڽ2"+@$p,t %m٭N<_޴:Kcr蔽=Wg_=:E9pl#a bb7 nWn/@4p! \NB'ȓHYV]]Iu") t'ʆPD?7ޥlfbh%2QbwMq1dzK6=V+[A$ M@Mlp+Z' ;n\ksҋ.cjGEDz\.GիS#=r]kJ?tGOns]SAN$0By6 )0D+i9oYR]EScW="J| XѦSCQgl*=@G K9J8$6̴sx9 !}InE@ۯ"G*X{ƭZv4Zr1SD]Zc3w(v=5)G)me2 QQjC%X7T_{{'xÄ4@,4.3eceVɑ^6acRژg 8z#԰mק,0lۦ}W̖!V`dSB_p@U]4Z jubl;W}S;3B/_&J PUϛp&fc]ҧ^_@W>TșZ2>5cc?¼ؼBMsbailotdA4[^i i - ^o*bHRgy/C(կG0~+d G;#BzqWMNSN_(< Dw␐}%,t ᩂͅ<}N K NTu 2^Jsː:K;CuCb6E#pM`$:T$ab=9͠z}NfikSgYKߡm+#ݪ; pW@lygs<~/RRX:;9 v3S:Ƨug L*+~v"jg""ph?#ʖ4Bʍg=WP[@ROXV63gvRl_=&5{]'釚6>8lymq+)(37<[Oͳ#R2($}ڍHNHYm= w>i E)k!NUn-c4|on0@CWMk*a&ڋڕԮX'reSDi%-b&@ُc%t$v lDz">X.myrbr6ADy< E x:]ˍ}cgQmQG݌w3E Ȉ TQcq0,)~PQ/>Gfxl lZGc3iGuev㵂h@~X aJ׸L?zB7bV}qa z;A3ֺ\w߭*w^OY6 i*iD޲)GdbMౘR3}v:Zw B(2,n s{8.:njfǴW/ &(x B E;k3l(' ߟ/v\F2w03W>Vm$ y]\[/n K+Aam޳[[{~H1&Q*BѢch%zc$.72K LPncEfs;4nGl2BK/GvC_ ykQ6C-rË@~!Fx*(&p֦ihva4Ey=D|0XI"f][ܤJw 'eվdv%'L@K 5> -2l;9(\K)nXdᚓׄ$ z6Q2S b/[6)qvTIS\! Xɠg;h#dye$U,C! -8?ހ:R/dc3wsN9l9bB1?Gep}Fj 66VL ʍ] Kѫ_3YSl7 \@-eH1aY7Mdigs`0;RT2$Y7m hN[a|b&5|5R!) #Q fo,!v"$xp [0.ЖX}-C3}"2aC7 dS 9~"!Ø]QBN3=I+A"[M|rn!edFxDi:1lA؋Yҟ{D]ّ{d}f{&ħ2N!Mۜ9J x|[dlc;V`dMzz9lKdNq;7H]_[g{% d1L N%3:5ݎGt`jt]^h,.a\W[12kigq(:nڭ6?T%qYsIohKAW] xNcgy=-Q5X,1{z-4l* !,3+K~JPSuKf0Nz"D{ *=1ln/19s5l̿^N(=[&fmOM1m:dvV^^$C bHܻC8SA@3}B5əΤ hiQ٘6bcbo"=+X,1?Kӑc>rMH mlaYH] 10^i=g7m>q'A</"eZb1dLWru'l}'Dm dF6һ6uc0Pp-xڃSL1j35prljx/3ko ;;j`+H ɸ<-sz<&] Oi$D[l 7& F\5s6G_#LZ"]l+]aeY[tqy!Tpg:H[c#a}&&Ue~(BY(3-+"d<}D)ZO]Js"}l=•)j/|Di[!ǟܧ;#DVk?`Bn[)rP_ҟށہH 1J-i|;TLReWnݗ@%rz#kS5}@Vw{NfT 6 z,D*<%,?Mh|\WTJ ج[_\U:nR6vioLW%ˀ¨iz#ˀ)EjDޘ5cco U;}yzaGS@ ‹U|X1pkI-y{_qWx@H?R^5lkm\U#7[!3Vm-՟c7ex2aAI_ ԛ/yXyоQr:U3'R`̣WìoTRH4R%ܽs# ijIשNur<BYC Rjh\*mȗ+h]/rd%,Q{ Evx02ʆx:4D/:.GAi/\Brq 5bOF} Wі84 lѴw0ۚfFm @}vͱe+_SW30kfQ\'9 % ('؉1 ȹުGe f͖ǎS zEgc; ɠ^{gvH 2}111Q(Ξໞϗ'Q )nEzU"s-:ŕve(j^2%: Asz(+Pœ-[Jmؓ(Vq߃t9` sZ] FW8jR9 j")N(q.5V˗긵-_<.e,QYD#t&dufݰ~^x6͘DZC(ভ%k<*R򾫀Q %\g~c¢}%A pO7+~ofڕIFG.XF }>|a'̘Z/! * h܊nM_$r±/\);Q8^RRe{ʦؘ(`O%A8̜Kaq\Ks_qXs|[PAoD+aS -/m$C|ֲyh8HkyE `Wdl]u O `~{n IbzBdj, ș ' D6l͏2b@V) է$ ^Og2K2b ro.s`Llܰ|j>4h$IH- >5 2?2NS[ SlIqk?AKSR,&j]|HζiĞ[=pD[1}‘Q ý/"9nl5/Md7<a39pb{ xIyDafN4xPwm'!w|tچG6 'D%-'yi|:KIBqEw$xD5$Џf?TbN!.|h)&'J3́+Xq6VK6lE8EfFͱ^r XwAiV-GV՜OMBiGA\ cAuS9hJ[{3ERZ QzʃgJmAF7X'G2Ȧse yS{G{3HGƊCgy)H])ADЋ[v|Qh:hc]J*KQLX7`#&vccI׮Es!O㢳؈3jGuxW01?5iT懢2-Kh3숦'R%2Na41 cFX഑_ v0 F!`jtQ2mpEs} >ڮ a*6n{WD+`Y-ǞԹ*c{wh~ ORE9RH=?@*-$8F-CVT4[BR3Wȫ_I5"n{oꆜVZ{u꿋 $|U8-}-tKKM7ZPe7(?Y><{Jk5X`MoqM#i&XxGδߙґCn`ObGkB RʑԢdw˥ ` {gR` X m9H[˭گbL-O7oVӔU̫,`Ø{p2`Ra.x HՐ@6nԣjfp; )rYeɚ켏msT>0EIi?Qj|'ǝs]^NJ?#[onxT8怐S2Ȁ)o 6@εֻ\ZsJ6zmfшV jIpڻv*@:25fpq2}jfr2x)V*māz%Ebnbu_T;-_VP#a%4Rz3!mv&UerD]$jYyVxWMudz[gYZa40f4bebe633c88da39285293251fd9fc49f3c1b902b177fe6aa9d4842e92c5ac7c28e0170601731 68844b2ed9f5f6d0cef127c9a9b5cea0e1bfed33 27f2c6ef39e00ed05e8d1d142da8b066fc308275 e6259ea6301365aea7e21374065e13d5e63db7be 8bbceac89e9f8ddc15bbc6da63e4b3f79c3c5221