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|dD ]% HOL-Decision_Procs:threads=6elapsed=221.486cpu=1059.436gc=109.396factor=4.787zXZִF! x]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓џR1= )k;6Yu\ׇxyiRK!4k"Y$wsr07hTTvtdbG X<5bY?Z:OnƝ@+qr ̤?5:BET2 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 (uy fJ@UvP? ,.f>n."#M,ÎP~qsF#dA+ѽC{"3QVPx\gkuҽpo̾G'~stQ%/0wEgZ?@Y£-NrN*m;P^/!`9h|a2s~zi` ]׺sA2} $vo 렉>MPئHԲ'ؕxS*nRס~M}.]MfD߶!SF3x;GO +YХ)6s܄h2 wܻiV'Wu5`M43d@LCW ׭UC Hq Ll-8rmnL" pѪQw&J !T1M$uZ)"jmiF34Qӑ 4|m v"r徙@AEGVtu+$P@yԕ^DBngO OIy-%c߃=W.nu%gm%9x~F^J4SǣpTX[A;[3,SW4ض>Kʡv*㘔I>kժzb@}_`bZmq{~&\q:AᒀѢ^&g ޸G,QVlIFnIԘ\Hw 1@N-*l).H=DZn^39e9U]햕I/t ;kq)L*a;[.OPHO]Uo R]A8nu{6h;X4vNTH}&(09xҭJ>e6$Bϐņ~nMt帱BhuJV .lq-DhH^ރXêO>PJ%%pЮ ^J[Ϻ\H;tGfmX`Ij tQ3(gek5Մ̉C}.Uuݗ6 kXj_*zP2 %6z.Ӭ-Pcų2 MS F}X[bTbEк#2\O~pEXcr0DE='gў<O-yӆi.s#0maJP^y]ڈK{"MgP6gN=#\!LQ%?Q2:R͸`#kf.k>l&F'Yu'?6~i^\gtZ5z*GrF.C0g]@܉8g0Ha1hN' <{QI"b}#&zlQ0|&b4sC'd4kǠ8$iT+&(R;`[RWzI><،Hyao]TfY~J*8㾬ȕEL*-pekLVHV/lw/u$\V)گ~`4Vg)ko%۾gt@~#v-/0aB^"GG[FꠔKF3Qu&9~$+0ݘz_ w {<ݨn3bςС;WSHqM2$in_ 9W"т>EMoN8 :FnNCX[eF_"j t4Qtm&]v#gNEу_`@1oˠG ۈM7^FǶ.$ >Owa:l76LW+Uɦ"t"@ &iAP|Ou5:oxё%0@˿z$bWlP sK.ڽz}9p%xAS7X1 HMX]Ղ?Nl3]}-;=!\A 33H%~57}1K '.%@aAX^Gy~f^TAzkBH Aѐrh{ C^ʯd i;vϥg @,mnƀdnt36u2ֳ0f3y1Fzăk-Hu*DC #R4ǐ7-a~̥%7t(Q1vۊZvҽ%x65Gۃt4a9 />iL]M`ujޗ.P1uҰDB\7qugD0CeewȡW*RB)u `h3^&D6W|9>rԳ bR˄<&NێRac}Zi$iݱ)E%H1?OTg_~ax> _3E&@¹ & үcÉ >ZtO7" b8ʫ{[)3 a]Jrr$޷%90XO4Gf~Hj sØ`D%Fϥ0y@d;Np¹qW)Dq.z954[X m&Vn:$%ls ۉ=)AǠR00${X+Gb#HتC v{)ެ)hRr`8F;bQ@*鎈c*8ibk2ӠݣM[sO7q#*bdNkm%~ws/ˢmᬖ`Z` Z_|' TKvY7FZ8%/yu+|`iohN᠇{D{(>q͞)> 1a>ceyxiLGXp^`K S-P h4 P>P5IYC̷315$:IuoDđl!kQ2f,m&j. kfœ{ $Aآ[]J9gb {4DDbE#=An\wLWrbo%ZL.m}[m= V {u}ݾP/}gYZ7zXZִF! \+]ŗXiɟ17L? KxlWP8SաM~>fٺdIćOut>s KKWR"w乮/R?9,k՗SE3 LLdGXs}T.=7uc%Znjd_8aMP``]Rjz24f[`Wp `W?Ye(ʋ 9V#-}SyYҤe!dp:E+?Wuf}w|Tvo]ٙgt  %;a*ވJ?؟Q}>J딒5de/' ~a3#Se2&wл?ݏGȾx8:}wº!uCK"DD?/;?av['r#g L؂4jIHU<|etB#Fӭw$-0HE aDKc~ P]T6E<>ZLƒx7qʘ"_gYZ7zXZִF! j3F]ŗXi%IeolY̢S6k%RMs )nkIVxo,+9ׂk\ׇOh,MP>k);HCWoh, 9PU(\yE헀y;eBkuBc _Oh10&y6U`T\n %VoT_oS m`Rб hd_u˄UEwE@,)hА쪂4XFg9)%ofU]U&҉GoBFGfQE!) )Mlɶi pb}jg*2u~1lzqjhX`=7=x tzAY?UۍLp)n\!k7\\FhX.ajPCh\"N%zr) 7.dʎb=^Y3URVnJ@3-tM]*p .zt(O|J߱0i<"Аg)xK/aOs.s23l\\Zi"PKpK䪳Z: zd?gy )A?gn\z2B.lvxflWl*oz(zU6piiŇJH]_lDؤLO^dنYg1[T3ݕ QpykJr=q.5nͤݾ^jEiJTeAZ\7s|h,B4Ei:M1+U:*7sH_Oc̽ RX"dӴ!ZԔ$%U7yvooa<`s F.Z$Ƚ2lr3 noqH/!GN"WD!$*"Q4\g0(}[9&KH~w1_H0x_V&2\ /k&}k?BjÁ1pWؐ[ˏ#3ؒ0PS !&x.:Sﰷ"2 ;ЊX FTl<7Col]je<tfO]%IשqF(\B(Ы1-ecБ(0N R(r]Q!PC&IK`tm' Ҭ^p)QG!AvQ܌'N4K},to<"|MH"|ıA0 ~!J26)`u``"9 OEs+D(Ḏt9/ ԩ^oNY MT./. K>>P 0:7ʤ\_V"c %YL!U9_a;<]eH:vlȻ%ۭq'~5*L)/} W3 P]_ʢ<b/ʉ/gm4&/JC "Okg9mЪQ,'\`p ,6w!B'/(*T=Ο#:S k?w\uɮˠ|=>1`{XL񜹚gbdo(ˬ"?6bU %6h̄zN,*2Zp<$}uֱ柮b2gnBeSS\І/Ӡ Lm#GSvXO W o.tM#p@ #8$aܭ/Z{8 03_ʆ`"&ֵ`Hne)˶î&n7c8:Kw|[t;u& ѵ޴h*C-"z!]}3/s8RrR[:[H)Xoe- q8Y;$ż*EPF_z`)~jE@a+1bb-%&E)Y(օ VkpZVqyet-=^tmVxo8'5u_%= U1@zlzhk"7zKK`V~K?]-qoѬ O2jH'#6j nt,#&/l"r3{1 !оgYz[߻J_@.mߥSHTR`ϖn1YL@cev1\ ߄iIǕ3^1Ey88{JDmOvgv ULf؛tʿJ[E`W\60Vq6j8p媢62qlQv<ꞍvyRr 3nXNv0:&`nZl};tCP{,j$k 48bE.P>A<|x٠\ŎدnF_}B^",'-L֞ H>=,b[aPCOm: M!iQP13)+k5:ulE>CҲڪTMu&[*~g6dva',+r4Ĉm&(pY Qo' .p ?b:#"`\ #,u˲WV`=~5cŝ~2@8 а@8묾<7sVtV|gvvfj@CFx;0E,B!GbVmWHi4>"$RPkHu2NUX\98pВ ǭ;\L#Ӿ]IV]t΃ϸ1]KVF* ~]ڹ_eq)]Fhr Fԑ#uvEDq37MK?S6]8xw6^9e W$l+sV$r|=Ơ4 y-$,&aH\dWVmy'|$@!% *_ GCNNne\3R,0^Asn EG/ǰS_ %mI4 4 me?n@1f4? #LփM7EƦY y23p8fAS@ .4fhLR /ΨùRibnNì aUO7 79d7%_(,j X]Uf  (@ӘtKU(\yz|})9%⛻i+"<,ivf1Ojƥg пGYK?Zi4jw=Ph-?!SjZUQ_P/qG ,x3M7uUc;t;Fdd%-HӸ 疎.QV!=C+p_ JgWzq5DIn)fI3S79iv@Uܽ[0K܀c]]CW/nۚO=0剰Wot\B̚9qv(Z8BY'!DS'7eK L"ׅ\63 =ҿS\ZDU.0b;Pi"jf E/nF`TeӴ&Slgܹ;#i(URcU>7YKzD\521 X. Q p4"=XNNrp!kP멤!fwiRkA#m|6 g45Nӡ}vX"=߽zp$ Rmq97$M]MixãΦrzy[ܭd8EṵM 3޳ Tb1 )}YоHV5EF44eL}B >nlp8`qeؗ[zK|^C =^_:N MAlCO7 fF@'$/)W93Įl>y':fi|TVP )\TYH䓷+ ^R~ %B'ڌn23QJKQI̤ m$C|E %:k˵jkB~5N @[s%1byT%_ 0^d~r LT#8>I o?EkQWU$'4S|3"2hfe1J}L,꧑+ , 6FվoNJ!{imI[8<Ȏ<)^Sm~ئ^)J#" |v$Kw<4%ߞa0fQĝxcx:FoU QY]F6 7V}UK. :5Ψ.0ɦLeS}&{F*`bs έ,_~ !n0վق?9 n[5=^ 晴+v ZcFqbZmhxjPS,C;d^l`ܗ6p'P)ǟ l :"z缃%AUKbS< R;jhn>*/]y4{NvE5>.9';iY9 :Xj'Yг=di;Ꮹ$oWo^/Xf*F@U`=7YT2 p^Sʢ(TN:%B1^CrF8/2"i5R'M# /JhFduB2}'Vv9&'oVi7*32`lм&lLqN!Z@XGL~wxeִ /' 840TIܓ%wcH|_2v 1DjJyPJZJ°dDCc2BJTA,#i`1t ໾&B4UBliTp.?xV4iN֡Hہm0=es,lR4:! :IE}2ß]IlJ N|3O3yMW 4M&_$ASt"wp vU~ؤW>y5 PYɢB~=[hQВdz_e `C0$f(Um[>IL% /X#׉-rT9_\l1|NG@V0c p& Lt}}h􁿖X5m2/C8`nR>a ^RVV[%Ftmkjx5%㼿b=V!KoK{( 5[_Re=CU%?Hw< [Xy-j%FƥR}-(ICۀ\B;I3lR'_Q^'s6(6kݢG~.k !v \9ZݹIpΥ\A1Tj cao7`F޴|V dV~Bق&Guy@/HDEW9g(LU!v)䚽Vzs q<5:JRϕԓ⯮ akN]04A?8ObaI]=)ujEF<]q-ۄʞzHu(SL>C6QX[ Sڂ)K+(-_1fkb<>o )xxZ5QO) #֫B56|jao=X3ѭ@a,S!o<⿨T*3n#rdB P.$2ڗ0dDxƘQ_d{vkS*S֬{Se\,lP.̃`5ذ}9JحJ={r;W\]#X o{h$Su%UnJMH^].|K13­bQ4A-OOʣ(<|7ym3ӡ'괔ǁQb>O`&K0 FkƗD(O/Ļ,OgR.Y!sU LEoȇ NIhXQ|# YT#R6oR`X$ ?Q4cNx(U^nV@q[B_!`u;5Y`j_# X)GYȃ+ʇ<ԅ`n̲O=ujYV &'⸫Fꈑ4JX&l) #"ڕɺ^tA.߁n7 SteU!Lm|k1mvS?mNvMU7O~7c+SVS29"cFڻ](#F{Ž >+o7%!< S}g#֢9?u 2cR“ȟYA.d\@|p`PKG&ۄ 7u)DL,Yq w;0V#+Al/"`'|{6 wUbWQ. s҆?tdjdy!qT QeMD]Jt#yf,8vWY2 B=`fjBX4$P9s/idJc`lڇlgEϝt;ի ]k3݄'b+Lr{D3+fϟ ɕF2Ox1 `GJWm.tkXJy6 'ivQܗd0k?Eps1H*eg]0](\䇩4fTKLh8_.>@569jDiũ [Apd}< /_' Pd&bUm(%2︒ J~,Ԗr>`5^JV  3PR6H\7E8 kIY ^s'!3FqljF(A-[tπM|ff2w¹} O0^h$]گE=fݦl|.f0Z$γvS sM˷h?^< " ^Įd)9jJ[^XIi5-̖7@FЧ{̃5STk%QLЬ6t*rg` 0?10tԫ U_@;k|F$Ko:AMغ`w-Gp.ضN`fLs?B Vz%֜ feo3ƈ%Ť8RrZJmkC?Vz\srG?A ! Q<:6^#ӚJ?X(92񬾭6Ê.5':ExHxQ.#LGD&C{M\0 ]z$d#EDMF-N%I+{.K߆2 ,$vw 8C4.3J vO KtsEwU0KҔXdc 2"D ~td(@,rČ dSz1 靏,uܡA($tdɭF8NZ8M!j;8^\YI[w&Vv~gr'Rrюs%eP9'BȊ1HwYaڝ%yn7H0.p/> L?FbBi 3ĖD.@ S H C6$ TŇM\Ce=|2>x|=FC!fJ7||zBAFxν*C%r[k9tX8j1ZQ@۷>'Đbw^z@սw'v6?O׉-evFu`ec.aጆ@K Qpns#۹ yGW)|\dEuƿu )fx;Oʗ Fa0Yʹ\jLS'AxbJ/@ HӘj26r1-]!yk_a8nŢS _xc߲\O@ ½Vdq ٓ9C)90$(/*KZ'OpаDh$|^x@l-wמvR܉ZzKٝHںgXQx1cRcWa$PP5 x&aZoNxZ\*mEsݪ`q"L E@&*63KJ)sS5 ۔|QnBc=+^VPYZzK֭Q.UXR\p c8\> ʣqDky\t/D~ΎyMF琮 s[HQ_jqЏ(.m9_ͶĿZ"%y,r[釈[/(ZX &A<F{5/GQsJ5݌AI (*AZg/wC̾*q[(Ht c`hα?JC3 9s=H Bh!vW;mTgxƛV|7%Z, dHyf' LOuV,gk::VX6d@q Wt'RIRNJ#bb FG@ħԖ"O!|%3'ZR<"ý8Y lTBId-RVRnE̼`Dτܱzl͈uRIXb5lyjMtH/D:}-B " 4}1jOA5\vݫޣcnp:p'_bu:p"k,WRXU ҥkt6.d:#GI9Af7εW ULMs:WݓNɎ/jT2^Z Q48\r!;5>@%$澀 d ^ ,ya,|a9_ NR,9E17%#_ԬzW&)'PB9inmXnYƈ"J[O!/F^D5:zՒG,j(kDwt;d5y~DWLCWyrpTy4#?îlC;B!0^_P lJ$yXzZfEo7\?}I@ŝ̂4?ta8HCNݬ-wgJmլ. B"`s(w c :v;cR){(b>>a*Lv9yBE`D!Bp$:l@%I4AeZx,ɕ%W[Py4BH^{QFUQ;T퐍*(}ת>񖼰e"_r2Hmۆ:d8gfežB`w#J}RT':Xr1a0,][^\@"ޚIcČ|<@rr._UN#S~5Τ+{Ӗzn)Qn@ǭ&,`* <0N Zw96yt _V8nh|W<ƒ[Q~%Z"¶}U8kʆ~:u [BXۉţPOS̎䙒GFta9bN`Jsdk]W#M퓖[Yp_Q?6*텥U>es%FMv`?h6SB|>ӕW(Iq՜}̬t 6YΒnݥjPM#m۹zlM)Ll|FXQ'oM;Je{;h1^ܫIMWs":}giFFaTM@Z/ R|*W 7#wҜ]͜V'0g -Kr4s5i t5Z- }_N Nրmw4c,.;6C1SzV"{fxc̀KM"P+̚yR˼EPSK+Zڦmx%0H<=bdyMt_@r`!f.Ʌ*3.HLg'MPSYD3t$K].~Smx3\57C'6 IOXdHT9:7c5TĆ]QQz*qycRz 81֨R%Sd[ʒSY6M'C+4B44`EV}L!ZY?A 'w1}7᭤ȥBk8}7J&MS5+Y#̗wl.}WŖMoPQ^&;Qz" Ot,tajS w-3@1%4uUxGսp@UX$h,+M4Hk'L[,_㹻Q->^p`u`؍wjk KNm+_] r(Hz&5/ў~"rRKP)W,x0,F8gD- R޽ĝ!殈4 x+悬OH/bګƕ$P5|&a8R,^h'vjZ%NpCn~,DwȇLG\ *B-wp1k9TM~An=G[@ej2UKڊ<=T+~wy5JDS *&ǘ6Gn%6XQe_DkCpLO͒BqP\)-u9 DrZKBWBľUWD+%Ny?3"û;_T ͣw$3|Ɵ o)YAvK"ʼnnth J'ZH]7iO!Z$5&͚GmFp_fBLt6EqK>N'Ny0R`+o--wd=g +QO6ZYI`0H T``Ϧ3~6 \ *",o޺V\ 1Xha-~92HFU~W>ҨoܹaBN aXPPYp4=KRm}'HHawnliXXkutc]H1u]h궵GYnyŻj~>Ѥ3u~FCI#K+YAÞ4diԓo 2+nϰusR,mMIϥP˃H-5GBןg!o`>hmCʿ'_߄a#,![8Z?€EXۦT O(K/`h?k{dP ƫyGA եQz%<\@SϘ?ry2ou=qCM^Ub+;5zBpsrf!V))O2` I޸Q9p fZ\f=fjO`hR};T3i%ݱ3}ik,Wgb ztd.ǁu͇ EKoI>fSE#.mg(*VU>STNSae+ Aj 3RblO)xjN "{Gဋ8UðKtD Y[.SѠut1.W9ȱAدԟl7^(&x,&/P.5sBpji![mP/=B }L[jOFqGE{.UYkMZM8$}nO-bsjBqt .[.YӫAR#IK պ'F 2#Ma3Cԅ\E&F_z;5iB&A|oCDs)_-LO4h˶"*Uໜr0Ψ+.zJwܧv/Zx z8S{W̾*h~=@ߩ%rvF^48:I!DAI\Q#1[Y!O:X̪7VgM"M ßYW#(*JիidH?wc{aS"SȲw{:uf)Q<*|`dsvva,_LꂸnJ\ȇO.tdvO۳moB͸et2[|i7W!>팚K$NWDhiqĎj/-=t F+;8/ e_ּߛW;9/\އgS@pNV%'L4׽=1R6B{(d5שr|w;z3#K|-qd_\4