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 1ldL ]% HOL-Decision_Procs:threads=6elapsed=210.487cpu=975.564gc=84.540factor=4.637zXZִF! ]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1FmXߝ\˲Ni0#ROTVM{䴦\!]6|vLTvӀRWeBW;@0?+B&[:Қ,#k޹aO38Rvޗ.q\G5BnXr2kA]Y6jO 2O+=/zIvP HBN\̊\ zYnJ*?Y(\u,qŽ\|]Sz;Z[$FH] JwGuB 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 AA^/@(Q$:]o{b5Vy= 9j®dAo1YmS7~ %U@z3=.Ӧ YJU^i*3,=ĢٲZ!RC]ڃǮzr01(JSȠbM &;՚l+5KˈTm9ݷf?{8ӥ/UVD@ je4]g8bUR߂'Q#|;wԞ+a[21 ܣ)lFmF/ * s{r/VJ"K@V!z49==۪| ɭlLrNLO`-ep,)ΟU%?%5aᙺ~hWV߁Dvr-PH?J #iP_Hzų^a߆{O~*I_Ƣb]jL|Uxb"fg; tKJ+:w|;G='Pv5*DQ__˫x1?/j)8}#u)s~"Ld]Ek PFk̂igW1[ ;–E%c 'i`DrEٴ˹ ?قCei&BtJCt[.7){d}`nu&<#l[j <u8DN\q/ 7 {ūg 9/hG^)\~d{_O,Qjv\5* T ufMDobsA;)sڃ1Z]F5u@!ue6#^Dϱ hGL1y|o-hH Leݞ@G9ڵ%36wߞqbI>ݜL u:uc%c!{}xb[:wsr}M)'=9(E`GMgԐwlF8,Dix:h=<Bt3CtbV7>JJdj!܃ a9nR86[?׿0E1YJ(;Q-3Bbj'c^xy3hctT9p` 1 On6I'#Z;o v VxtZ0C{Ta zAZ !QUф8<^W *rF߲ 7 h8B !>h<"E9Il h_|>봜s==Fv=C?drv_%:.ifr-L8wXh j-zqi{ksoM3V]kCO.7B術pO'?)@BjYBQNa]dR8 n Q|b*tj Jz6&W[C!Jc݋$lON//b@_O61b@$soD_>%Y>oتd[?q,9U:yz;ZCSs` Y>F!>kG5bWr`ex'r@{츩{ PHQOFzHTlX׿Io!WMA8v1讧!"gq(*c&2|Q%"u-G}3 iaBuMpό,Y\c>pCh|i=lMYk5 okTB}V5GdDު*n+^@M9TM^O=wZPT6=[W;^gV-ĥ7TnǕRKCT35} a}B7]޳ 2?u)5ꁒiSu;3 i;PmnxPb!p=1KX HSNlήg:}A6R,nj}8]`@ȒBTE?%&ZdT ̥6M yx$%]ڴM`&0fK75/ xԹ 5QfrHjUޟ-X#GSY ЉC9o6kWEt{gEv 5a -#X= 2HfZCzNkfin|$] 9إD@~W\akx%R1|eCPһ%Yт$d ڮUcsE$M"<))N[\eD 48*AQ[';X)b2?6>dt?S\\toE89Y Ṧ<*1jnKKKU+f_X7jN5c*iGH+jLˤeXT UykD9 C AⶈBzQ]оWƟ:"w3Qn!1ͨLa^8![Iz7вmRTБdZ"(;^gUlŦo#uaρ[ss.*]( qIE\`ypY {<u"J gzb33zDv[ (8" R|Nk[~:?¥.^m&%{|^'<Bӥһd[=e"ywd?'? 7+gYZ7zXZִF! Z+]ŗXiɟ17L? KxlWP8SաM~>fٺdO^w¬F{ԃ9kGaSOL߆$r ߼;.k E@\~ M" Wbfj 5t(?^k1{gwDdO^\t<U{Q=L.9ze aL#?ΨLI݄g$n@{iZi x'O3xI)؁fRu!k&zxQg1Zd2f::z3J*( %^VF}|%6Ԟt7Ԓf(/Ɠ2jA7[(P![qJ0 дǻ";:y~ܱ5!!Ir(6(f=-:h\ҟ~/V4&'"`J @Ťh0WVr\&O6E ʁT.ҀC1 # s<&cMX&\.ю:ʶzY.}%gs-hBٰ 5{à V\G R8a(?[ҥ'K ˱&8V WZ:$y\%jphyq!M #aV|fq{YQ&?sR@[nd!@]Jd7~ ;w{݊ 芎g%,Bqq%?gOzaEN-b6xwa-fsA -#0&5̂[N_xqT16|o иP٭2c(͂=pOpѰb5;cIh/sJep>|M\~F.>*FMj]iR(1o.U$M!wm~?X|nLw۽h'UYݍ g4&L4~^~v0(l Ӛ r7jҦZk٫DJV&:3kw˚|*0/ZΘa3ZMYUx+Bwx+&˚ az⛾D"IJ: /Yy~+E1*QA4F?^N5Zl9JGn0A ` U1|Ӛ (Oym5_XUK \[z2Z$ph3pLz @cgu?U,˯V^}Q?/LfcqIh|๲$0vnSo.Ɩ ӜOɈN0"m;HKFWx;nl¹Cn5H|&CSp.#,KȡJD1Azxoalhk^@~ JS}cfQؔZb!5d8Onhr? e`d0 MlfR"k4!CYV딛H]i+X,_efPu#аKRE6Nۘw=6'W;0,ŧf0GXٰPnt_L 6(XT=/?VV.P%`es%sιCah1xȫ_XЪ *z&[ N WDֿkҟHg#x>_9@Tx X!~t[ #ѬIǒ^zCւa\v,D5G҇u6Wׁ M ;:0]%0@vWrd]I Oc͔2^ܔH{#] `[hzLr˜Q>oe{^XddZ Ĩ,9mh*j.mnԩ]W焇Yh-jPxW*2<QvsW5N 6+R["XYOFLX{)kmc_)uniHwu³G+'.ȞL)˝"yґ@pouhyuuBQ#CftvR? nQVm9JQ6X$$:Zռ\lTP>F#M 1b4|1mL$g% <9Q sLc+N,{7%h_7V+ ]Yܳ7/RQ#tmkI6a#K`3ZB_Vlb! {>D !W ߎathA2mbAeį/:MʘC<݆{TA=́| tzUe8,FNv-#WBTpCZf._[])JRLkSI?g8g낭Jebc!PF^TYe|~!azmD2Ag[yV!A91;jv2D (yS3=EP['1UM7-';;=u(Ŕ H^5Or>~IuM&e ]Ź S>zOAk9Rf.dz/n2#׹Fjk:>G g FcF#E"M+najce"|<7^x'Ǘo\I.73MF,899~%*+ PLFƱeʈ@w3BְX%;/\%^QwBݤN#3%jT @i<:Koiylu)U⠪c&fQ'+9; jg#"o#(lZ۶+(q䄐}*hRMhgg/f?%00{F?>4vz/¤9qj^KG %.6mTJosCRzVGﹲ{YjSHT`-YC)wf]B,`L||C,ꍌ.o/J|j1t u F$K l֢e{K@f{U{8uV=+A Qu%aJ4ނհ t>0nW(Xs%p6\oPZ(}8'Agy'׃(kJBÊy2O25IPoMMjD8tƄ>4)3W |++}j^)9~%+ˈ٧dh"7Ύ86֓f_F`Z-*[e ;悂`-ojbK;9Staa)΁oE/!sTS]=kʊ$JVwąHb$/Wÿw2Vڞi7 Kۋ&6 o֨*gǡiy ybs .aPnFduL9;qMCzS9l2ܪ?7W%sX5*Vt^ݶI%\3%$4I{5J},娥gm?R-j{j$IO| ѹhg/p'I"ɲ<̬JcSԂ&څ|8-cYs3 w$}mmLGH<g*UIXR߭YAw`;_m!^E =/,Q5SŏdRaPj/YW+, aPQpx6Sau7S04PIct.,ȢMoernvT;Zwت7_DR #e''N;uS>6:ָm#N= K:N_Vb^Ark%Gq:Q$d#@QVJ*ji_u!V~ O x&B텃'z6.=铲շE3Hn_0  !áׄKx?ẖ$Snw308S]əx}&SH]U}JHJsNJS٢#]J,=#ъ:г~Ì>W$ &9q&V mJ_l3ݳwjÞυ;PL1#m=ҍ[u ^m Rf&{(T%&VվWSq7EWa=^LJti4+řrO؛({>=dl8j{4 Ie}D_q6*F)C^Bg>G.C[[8My1H?OP|v,D.a@_뙡ܶz^ug>ݮaQ'+n:G;] KZկWU v'x:&7J!6|bۘeMB:;zόn'3ń)5ר9qNjbȰ#U <)qնnaW|(Jsfl»i@/Á+xMI e:uf1>٘~Vo <K6(Yw.L'bUUjrpE`;o$ﵱh:`ojX\ YvNru(z.4d b dqR~Ux&GyD`GKuVT V a6oMPcMu_4״cЕKz,Fzw&LͳX'ͥkiybg}Ws ^ Waqҳ9!yYFjg|G֡`Oos ؟L볇 \'0_rJd;&1Uy4-e=o:'+L82 7dRbQ2oʮn {# z|"bDNռ/qz^eƖ7']v> %{$30iŜvY%.-ӐI= S _^AQ&ZĀGoDW킿' ,)_0}]R3*0k'֗+C|\~ܾȦ٦i,-ؙ-m_(xHvv 5wr$J*zRǂCShNQ%R+y~ηXs,܊G4l+˞k^G*vܱ} n+?2糛{mް'P"V*:$HUѡaٲ|hwdgҭ2$eR0Q|Akrx>эdo-n8pwv>mAʏc\u r4R,_ڐ yX弋_%TzMexymF|˻9;VfOڨU49tZo #ٚw y|4EG*n K-4KfI#"~0f:h֯қQ5Q<5փeL;b;5R`{t^a .ϩ̐S NIL>ZoR (G$EU8i+ ѱS:J ?r3.OSSbgijxNC;5lu\ebt¹Rs,V,(O,( 0oEoB[Ի`]5뻏>x[D2"$E4nѩ)}}R3|;!.QɊ֕#l"*S=rg8ٳkW =Ly"\Dv y Qk~R堂Tw%yxIajB&7{o!m8x5(eg1lK®}4n/ Ȃc“JN!vvO FP$ ~•n߯کTpooS)7qiفb1͏sp+"aKKb29,O I| 5Q=;`jhG0T:Ut/ey$lvZU`o-&l^NL֫3E{ӇԳl,U1!c'm٬W+U!zuM jnB7̿9޿سդePwcSD_6~Xazuy2ݞ:k:۴པ 2ۄ+ŎT舳2.ܦ'wLqZ\V{rpV d8|Z g G7f`s 7.mGWYfV&9EI>fA/.hgbFsD07( ɧt6H'!s GMyx^ V$m1hUДf>nM"g4ް^ڛ[7Bٰ3j'"Q29r) RDʮlcewZv4VK4d{q4j(OwZ3VL[{ ؖ: rIjx2 \8`ka\'*d޽8bã_1+ +(^M]9t$Y UCpAl;߰){8ea5m/9#c w TP,?U[i0g _8W<;'C=+wݲZ*m14ac)e Q|o uvz2  H&c#")( Dv,"⊿6y<0,ՠ7/HX~M.Du)]3O<C8t=MvoEae,D3 ' {rU,4zm/2eR\[:$ZW*@ITKa8⢽EL6@6)Und*:RΊJ~zuƁʁףɰ61*'ڔ 8;ޢ+KnA5"Mp$6ĿLXgxEIf5=xܬ*-x[@R"ѐqVŵTzkBVh"%O$2 ˜ >uο !g46ZYuzjgNvHy@ .7X<يFNg$#K6D qԁk=Ŀ+U:a0_+,_:Nd;m՟V`߮@B};֪)yP{~;\ݿX tS-jh&s tnSde6xtg) ˿L "s(j5LO5 `N'7²`1J*`)Q5ѯ k8iĮA[2nrք& /TL,^TLiUqRV}[ ?:mdrx0 S e{wTq7I LS$ / ~nM#acez0F{19*o n*wWH&L.cZflZJm)%TbK~+ol?082*^eJs ԁ h;~e/ɶ\A5?S*dЬʧt3{x,1.Om.Qq.'LD=E~R9IOr[EuFAWD =n!yC=/9/95@W*-Ew^,(N5NG(Ϻ.]FڕUCQx;l IFsld Zo׎5s;IO8#~UVdI6%<:Ϭ"n\5|[$O聺b,v7&cK&M&o Jn":i&!/<O^OTN"0NŮ՝kKqcv}tuԱ$}|GR4SOF 9^ ?YHP `c'r/ܨOrq1_ fm|6;B"ГjBBf՚{4뒭 .q4g4'RvJ\AX&ַ{)82t^5T ͈|I`j34Y;46#$ȬUU0)$.?q!bjN o xPC}eHpKNIcdK6셽4K( { YbԼ}U[+3pd\݉c*Neh \gmgD<+#S gIV54@v-?'(3毄O:O~il} 9GFǜ|옠E\F'2G-/L[bGy3aQ`?qoҶSRui q5q[0[Ɏ$/qz,G,<($dtojWg%J &ː Ik9yVR&Vw>g&t捯Ӑ\6X ?qV󴁼]lZ)fa> L%x䐍]vx*1=Jhb 2uT(Lb<$v4rRte`lj(VFu#?a';gPS~RX1_70)8!!U^CЋE󊼮n#LĖ E5NO ^oW pn.- Yg6|'xfsNrYQ^?t"yd_N[Eν/*Mc+RZK! 㝃-ـBw!u`nmbrv2L'-Tw*%Sr<{98oMCX lĆ]^E aG  B!2f0^b{,- h-cRoℑ5ެO r;7ܹ> xw3t㣧b_:E[PG$)Rsjs4CF-d-2|ePޡ d |]W/_k"VďV`2]%h~eXn $|I/<؁HIʰ8xNZKcz;T de1Z_E%a> J&ᩎv 5Q:3~<}qCZ#kk,iDT$u`S f9A*\xx6%PkϢ"8c[qnG2KoNr+D%ylfB+UӉy v}9=<71(Y%8(3:u$")d' [вQ&h_v%>R;F8;:͟~}c!(y9 i,jrRH:_J&#$0gXF<[W 6{2#=d(o[R{>2t{33Zۅ-ICu@0m2|UeCGr; \߶#V `0.*vޡG<ҟ>֒i. 5h(Ջ%+0zY[oT͙=+DP@?>: h,L* (8O.3agi5_WB G8 bscHmJhk>Qu8#\lH_dؽX+m<[+ p2ׁKhJSl̩V|C{w5\<> >־ 7wp$Ī7TR3?}@_5mPGŵB>;=@G3ȵ$%loHBʹp݁O{pNŽ,iTC&/Ke vFTcd8!74COV5x a[El jJf+'"`5*h]&[1r|oCwal$ i SgBjZ|e=Y8E:7_3矣p!=BX,p}\9Nvi f]!iH{LP R"D|e"H`IPQ.uuɵu\ȽZ T'HYu& ;B\{%E31̋7kl JyvhHhvZe+`q [2˜@b7yxŔKȷCfĸ3͔U;9^܏A -[|[h9,?q  [+sͯT+IڝF+t-Ë 70ºpa=%'qG&{ao4б"-\;pI[ !fTGZfw/A=nf қ>VWVraY[ qQiq 6J>y<<{·=Q:Sa)oyZt[ zs?ps?\XVsQFC]ːLPz˖jR7dcVt({LD`)1= ՟:`~;dĞ duH2:{)N1.ϝI[nQ硌O؝QN9Srۀ43s>H%}Vɒ,bwvqw 9FsFQN;[SS:x-jpS_OP;j@!ChxW =S3_ܰ&:vv5;/Cw׿ehhj$!$R83Qݸ"xx!cbހCסfcjQEߪogxU5(wz)ZB*ZlF>pL`^H7rx!mg<;!X:A$ɰ[ "-jzGS&H9d@zsM:@)7Ȝʹ\q}ŀP 9tkWTs7c5n1}eb/=s+s㩲ALCWmI͓$Vlh ]A$vs3 ub~AG`\JG5y2>z! g_G!ys࿰yĕmKIa|#^wڏ|  Ƿj .j.ui1Q .QPIi$kk'j-#O j 4,wI&A$S64/WC%? -m27}`D!J H{<;eK.ښRկ7=Y 2%;M-#aϩTҴ$>mob@dg,wٿy[WYɮk)P;kL= Ƒ7ߤ^Rpdr?qt(+gcyQ"ɂ>U5L1h@2>վIOvaeF~Paic mrw3g)ƪk*y5lA좨d':ti ;I5;)*Ceue?eXnۘT~|$x$d(GQZbgD!!7>G;MꟀ?ÌLl 劓HA|sȁ.L8{.QYؒ L*x מg~Q[B<cCNY֥GsUZ'ڂ%23"'/^[Nb3c<Jls`jJqDeuL}Ar5ˎuȲLG1{Y{Ft썛T{ɥ|yjʆ=l:0w)Xd`}Ÿs䌯E뜮ko,Ԛ\$ qr a0n[^¼_=sܳm/ZG96<,ʖLSQѷhnY6{gozz r}v@9K=Q+}/fjp JSi,^+^YF$ҹo,H&)*w[ FM^`1KP[Hڔ)T\#6تQҽq)y.&R<4 1rѱUg 9ڵu#-yVWL#X|h|\q>Ĕ4$xnG^X V:lcdɘ. 7^2@(Qf7ObDE @ x<دRٚ 푺m;ܛE O]bh${m %uiڋwNdg4٣#ፉ:2Cc{]/V=9`t[҆gc#jr'xF*͎ǽHuW'W$de e4ίWq#ur]|Yy RPz// Ϡ?2ÙE[Q6զ{jVGbp'ƁDvs/6UT}DmYq$Qw)!c()bwYF԰1Hތl5hh.0әJɼbq/GsUXU-ΌY+豖lܡRK8_/cR&iɭ+GgmB#pQˉaR('g;(mu }zO⬉ZU)$µ=29h7<1cga$ V`8Z*1#,_ԚsL*k=@8P,G4ڸ6DG,yU\":CghPK;D`ao`Jy:JM,KOTU/mT+KW])[uaD`E>L~L ùzl+P}6}웝ݞE?s* &ه@&iI{`>*|9C# ;u}|k-\ZgcFBPcf:gN/$3RF( 8mnX yzSb8Mt tCq8џ˳ȭpY+J g% #A~o=Վ]*Ro(WhleSՉծXŻUAk55QabAY w?|<]GEjISVzb034AG^ۿE OEیhLrʻ$n ~)87hJ;M^CS8aPsW܏LXM9z'C!8 Eulw!&܊wl co'Dzv ڂ0$7pMi G7=ӮCkY5$*uU,nU8—|Dx֮)pz `Ү:߬vLj`!V