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 514\D ]% HOL-Decision_Procs:threads=4elapsed=454.410cpu=1514.796gc=113.456factor=3.337zXZִF! WHT]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  bF,:0XeG4ݶvzV@#ȌlyafFO}BMLi><mR,_Lx%w\/"8 57Q#.T򼗿lX ~ŝ d?c?(~alXWBG:h *qӌ1ٟUq0R=LdwM>UB{`(}oЁ5Mg۰JܧI̦.P8];(ja-rͨ]sLR=bّ_>p;ך͗&lJTf9^C" 1n[Dpyd3UdWXf?]04NO~l5NJKj[r۲ͱ,yzKm+[JyԸ JX]RudqztspqıPx[ m>d7/Q*X:{&'ϲ)etLӉ׉85p%GtgDS)B?_&6TC4PC WU4UG?k[R"\}~gx\$-GtX=0ݔ 죶{9b 5~gmKPh۷R\9*TUXa%Vv2gsؖeVY=" 1õ$(f1Bo}1!`*ݻ܆̪o\a)R,kRˌ'rZ Co]uxPvM:1jn0Kjk4.0cna UW#8i|wh';*S@Й<:t2T$?, `N4RXqqb5=ۓn(POǿAGڼRvnV}0G@ _#&ڽW}W{ɫnuLcל']d[Y*.^/,}ZRhOL!St4\scC<;CZPSB(T_On$m`ÇeuS\MaXza7VuR[x PsxOHl! :B/a;\f-YNH?vaY%G`v@>b̢ltO@k*]mk HZdj?\?cΡލ1ARéb!b@\xNp6xH/NmҵkKui8 \_xutd(EM`ֻ~ѷL@G\,6S;ބ'BK54݈#y`]"ΔvoW-u)@8mzD'e5fG\-aA}01>Kqp_IdPh(6.( )9zrF 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 3G F:SWI5zEȋ?5OÖ/"({ o[ B!U?x'3VBYV#G_[/8Y|4P4tDٶK+0sH&.9pY3+Ouh)@Z҂N;DQDlfR D+.l6 /ZhQ|#]q]ә4Hw!6V~=);̑%vu)%]bHQf;WU e6T);:{ yyhN”Px$|u0.O,͇-Yֵ֝Շ&[Miq4#HfY|FDtITP< b =Kv\Nj=9dֈΝӥ(^zMQɧg/pOo d?N(5P$cıyU-JYEzsN/_ 5v{ I\vx:=|TB/#kt#JaU+tC|i=O6_M(VV uX֟P˰ɛ ܳZf-!nMWҗ2"t\ѥ{ 0 +ME2w QWO Ъ%/0r;BO(Y夥 !<%^cX+ rD`< RW&zy©\5C!;uZx_4EOibNk>&k2n+ӈޑwluPfK~P 'o=+M3_jvr\ʞFiI8vH{Le5 iNk `ϼKc sYۡ>\!+XK h;6S [ȣ+Kj!Q.wQj'IȷSǛI|vj0&HPb}r_W\*[{Fgpy#‰7M]b:U_DgSxE^@Y?c,VNiJ8ȀJV[`b>(\:bsTr,`&kddxBW:\9 ķLּӒ3YT KS,w2^{VBUb#ZñL`WP1qCơGSa]eW-n0ϲqn\[Yxy]j̀Z+trK紲 aA"~% 5{S1)9ž2':?ε>$TI_ޑ}ry6RӴ+TwŅP)ؘg8mW#f{ I &>+uZ,/rI 7ӛ=0GXOkKH4vE!OɮEe$!}-.pUڢ,ȳj?. 0S ѕŠj0(u/L,dǺ7IHشq-D!ЈNwt} JK)j0h0%XTDr!qa(3QmrJ5^Z&gf 75!A (֢`4ѝcz$?XL)׎nt55 nHO |XtK-suYU 4X5>Hq :YvW<YR30NBE1'"5K%nQoYq3zc<^uّTIc\ <Wǵ ?$!p C+7cYL)"#v'{N[~M0~";ʚ__y\yT7̒֐gs3PUX=˜DfojF qO;kM2(Y?$,n*RUnA!5 OfDT/~dݢ-SQ1|PB|WDEtfЉQ*S}&y>S4S2s! RgN[bbBi $(jưR ⥘8rGl;whλ{YLe9y̠ ٷ']O _{a,)' |Kf9_s$j:|#kw@O_OE*Z89'Π ҕsCDmN 3mPCy9F@MR4ag*Żxw_t,J`N'u.ȍ]ϥDʥt(7L;5<43t([Ć\;ڝ9sc^Խ}LI](růNCĕ tq` Kah9gSbceEM=7 h_24TS~)i|  2}ɣào~a1'< "/q,J@ f@0, /LʞTS4܌Quߟ fܐkVבT5\2o%KR@}oR~wnD2]mROj ίͧ 9嫈TƧ`r Hm;B}zXhk[Gט͡6%:GÔZ2pWmփgX}8/pf FauÖVۀNiC$ +t6@l""Ar7*@Q`DX+']v%]li+VSE5J|l\,NSKb@h)iJ?{Fdk_>cg_&AK*>6oz;Y-.i q)<'~Ɲ6j)CH]W``P,Se;mRKG˩@SzAI}@qøTǐWƵgd+-Q-BF̑%̵O6 pջQ.FQpM^kI<|e Eo"=A[;O& =n (n&6G57/L1 ˥ZMN$t^@KE 3a,P(א}Pz@mѰƇ b35*Eأf"=>Jue¨Dcnvşс&T s&2XYuNtf4[%.M=gC;D*nqy4FJs7e:m554AylEd;О7Cz 4rqhA*Yހo+9{B[ݘE(6o>k< ~Yh2jo AEiM1Ҿy/gB 6OF8ɮ BgYZ7zXZִF! [%]ŗXiɟ17L? KxlWP8SաM~>fٺdeRw|dKEe|4BQ(4o15^jl]P"E1|Si(i9yϦJ#9'u?H8\Q6-̖4k.$*;$5@`wkDӞ2-x|Ns3mkvQkQ%W:>MQ}sߤ+0AbG$ 0ü n+j=(W%ʅZhrJ|5+`fl'<)&=ax/Ӳ?&g`G݁NMB j㊭cA8%%W!| FVճˮ0qngRiXo(OX;q핐 }4z dݚeޞŰ&?؅f^Tm^k,I8qNLt؄ڞf'}gYZ7zXZִF! c]ŗXi%Gf!litSuE M^ry'W6]$wsԨ~5 ?T&䫲,\ ϋ,<ڦ2pra' [w]MLH8,y_Q8Aݤu1b5P.*wNJ^WqcY3QH~cED/n=xrŧT,.~B^[Πw9* dj}WnevChigŞZ&mDJo>JY埧01xuNeg4`-D0ɦE˳3/j~]=Wqu$gfǒ cT_z^Kn4IOW1>$Ԩ`QlJ0ka08TfJmJ;rK2^u{v r}tZL `̲ɴ(Jlh?~qBsb3Qgnt B8ZhXjs 5ˤ{wnhh;瞸 =ܛA>+¿;vտKxsf'S&{fc0)^p? //%a?s 3 {m~lWwմY1X9 GOmg,n-љBRǪ歂F"Es?D[X$׊5:C+a't[:~XF }rZD܋_ #=#E4pbfk׬ Nvw |;SNtZ8 "='to"`|=:9ĢW#5݆C "6A9Q'֞nǣ-6s  }$< `d&՚@\\kc?1NtxUn]½c `@*~^;H?oOglg7k:Qo^U"K(y8"XX9zq @E!Yhuvu/9^iQЍl j0W^ Ye;[JFW8ߪJȐ;$M HQ?EvU7iÜ ulo""+ ޺t7arixG~:CXs̼o[6rjZC.oFNW &b|̏hWf^YNļ 8/Kc o&ӆF8d[x/c\9 ^B| 6@Ts%\ѐLl]5!s= }luDx0/XF@%Ȳ{Scpt. ;F`?S̸^iL{uӁhkQ/R LA3Y&}+%l˦㉐j6cѹQ7LEߦXe4boI8YS cl/J0J1k>u!SʞDGZ7 K&8.A $ř6%E@R{iDYhz MbSR@YL,{mX3]M"{\:C_؁S ?PoA. ,Gq0I6Frz2^RԈdE^N19=|bd6Xb+D.36dnGGۦ7ʥ)O b`O ¼d%s\oX_ \W4-k,W()׃ΠC xl?"Ag$ӟ9H4Q^L ZN/Ǔv7@64Z:KP |W_{6 .\u vK|efn8*+q.cۅ$!s37àЄZpJW+򟋬Ԍ:t;% vZoћWh~ 9Uj&8|-׆#ǗH| >jHy5%'h{ܽ.(]gJ0 .BhG:sÊrVڍG²"PUV&&?mU%ףK{ |m?Z5X됳f@Viwr &:69V|SZ{Ub̰3Bݱ?6%[#vDO,Okb[8/$֪\K,k{c>P^Kv76eI>('[F 3) YS{!bF>\r k[x3̼3MN R`3Yp2'E:eQCG,*Rش>s:h*q΍ew Sua=K1Qu`m4ȧȘh؂p@nWq^[UXާPJ"QQq!ɺI@)+C!O %ծ /K^nTMfS1{[ʥrႲkzMߣہb8+mI;.o[Ժ-}ob7-ַU!^!*-@!FYb62a C*W?Ҭ5-1eE;TRijv~V 唗.Őe" NܗTTL|ԻK!ںGC86Wedž{aQz}6=t5zP((r"AH 榔tj iŪ H[ʿFF6_k MY>ߣ%GIº(uǍ%kln"YDp͘.@9ZߙTߘkA\uuߛ;kin17 ߲„5fyi+$T(ͬp7cBА'x*¸~}ۈ@a<J9/i!F3:\N˵?-GOD; QTE/oUMJL2ޭ:.Nt4пI YX{cv0( Y}J_iZ4,o+28V̴\G V\+&G! Jէ5v vBu4imKĩz v7̒`}A }ݼJ9{ɟ#?81 VYUq坬'*N7N0{mX3WJ'hc/A1mʴ'J$.Cke@\pImPx4Z tùRmq -!L`l'Fcqp<ܬ2(W;אK`,I}d%~m(Z=8"Ʈ#*ᏚTq0 ozC;WV1\,y%9J9Jc~)jHVo"Mѯ({eW B(寏]QckU$Y*Tt"9sRw0hQl[Mo쩘iݠWbu"kbq UǮ.b4W4:vTH|.(0Ǹˁir| >_SV 4 '2autQGV~GL:T|Ԇ_qSŹ,M4.ˤcʠ_XOHENJ5}ghUjN<4Q#PHOPl gPZim"I>;`:s+0&+o>~)@:pͩĜH7K 7T؆0ҍ'B"}2Ca՚Z NSD*YKP&C* ힱ\ ];6цU$O+652Yц76r2D&o|ML]-9{ y2<.ZiE1"UCe.u.w,)Vp6 읡#5R4M$QD&f3e^\^Pl`]hŜeeFS/ȹ+e+{7QM,fB'Lq_K~#:cw'ynf `9Q r' lhi&U$K bLXOpܥyqL{g=W%J }`<=^N CO)&2Ё^OkA;9\-p7 ,6+:"2T`BAO T5oYk9zR&KŔ=]^:®=F Lvy:W7~t6"srPV%_i-K)9;g}$tJ:6|.p'NG$dmYG8 Gג1Ifs!Z`%w`> FvW^g%WK ʐ?EKnm ˄M cAbF~-^JdasG$cARMH)5wjtG0$0Xzpj;: ]_2)_?0b~x3ޙ2Gz0xO *5 &-Na#*t-TT|fm4mx^&WPpQel:c+ PrBot!Ch} U0W LjҘ\qrؾeM{FE?_hr Jj{̞I;s+1oZ\\cb=9Cl{>Z88 <\ n }dYra#n-SX%-ҷ8i\U#s^1 ' ?"Zу^j Eݷ F\Ȇ-|OIl½Ƣؚ:VI'/^|H%00dn[sG @WY\ٝCc=ܣyڊ"\5Pyϫtm!,,33i'k9@NH:&,@FK/A֮(>wZP҄vY1GMgÇ90 _MuzM}R`GU+.\9M=6+>$+y~Z?.ɧO>Î/eW Wf^֣#5r^.%k^̎[m/4־2y%HU)&=\6tݸj3TL`]7DB@aj/Ir3]MLgWf7̺bdUWcѫBe3W '+yǍ)\}KVQ[:+6>;)w ?Lr 9! 1Ç|}]xձ ^j8Vk0,tolE,@}bBjTkdmǚ|NQtGBgd@ρ5Keu6R *ZczZmNxLKxtl2Gvlߩ2 7[8vpkH{kYO`,wMt0f߳&֮|*&P#dQ|"VomLWLjHݐÁJչgiV!34o`&+VgNjSVq"{ú5'Zv"Gtf9!r&1m"w"~ Nx*ˏU^I?2wtqC(Kb# Ȿ3%?R.+\C"9"P"!(,擲@kcLIa_sǾ V[g4l` ?9Uxe Rv\YBŰA/(U: R~^Ǘ %}4C/ ?լ󪜉L7RduT&9i[dϰ3j(@xii͒N39o_봊q 0C+ E0}aSmOx h00W1Ez6!@Cb!ۄ ;j9 {YmwZUL_r^sHf*ſTZU Ol"@~-V+'7bqT,EHzYXGQ Oh`brawSX lPgXFl{USfk%%0ƞ#>Juo!p36F:QkDf/ w_ܡtB ?@s+)tK@Lz2jv.qm)ѯ kzQ6^J@S@QKǐW4$SUЅ):AN>@PPt(IL6#jur,>23,҆2\ab֧,̌i?,bc%vlA(t$/tO)LyV_J{U(ٽuR(zsa.@SI-}5WstB :B#8i0۲9}'8RI? V0܋3`ӓT"fCo1ɽ?{! #2䕝2=1k,4z"рvh>PإŨx\zĬYfݏ{j<;/Pݰ+^hz@m+no@@.d bJux_1{;=GuΔyL%{N CNkI`C2;[r.RmߨW{:߀ `aڊCC?PrM:q#a;t&J7iLR4aqʟ-1l߿CAmm J pa[ы"Dk#q]JA&̣Fm4grr sYP:zh™`})6Dq{nXA\iufUx~t^4FO5)!\Ms}UX(=pey:fD3ZѠ 3B XU|Chk`+/iIQ;hH$XA7֑u >Hb}m)*y~VMFm9okP-^jpVg4i{Rs%PVy!E;X]pԢTN陴кdO(H _JYQhUC xF~ґAcd[jSO&.~`&bGsŸ`ïݟ1mmǞ"YL/(_glL#9ev6JAZT7&y%`Gվ}_䞇dWoo !MK綐?;'mܗ5q]Q2m-Ծ% HSL0h Yhכz78YQ1Sn 4zA1tR EQoq( 7IOaߣ?@7ϵL9Y( %o%.LRxZ*"Ph[ p&B,_P'÷EdJa9~q9SkE\Tq[kD4HPcY'.ZNHFFʴ*tIv=TAQ(;u'/_<Ӎ;[B#_uk5U}\6CI1YZSߘ$JDnD;gνij.d%q5 gOa ΘfUATG%bb F*0Et\O$K>tJЦQ~+CMR΂ #f 5c:̞kG9`p,t87u;+F_[{|tnA4%NG4S 7 9ة49L]kM!gJ/WNMHAv %xH!T?S>4BنD(Q8%oD+_NXoߓƲsFDF"(#MU ?xz2F QÇW((xTyqPÖ<iL;uebeWy#= 7MP~Hu*:Rep82>:3^PuZL/vE&4GV{* F1WwDoQZq}uymAQ=<[4BG[Im&x, `8 (Jd_H')tqLOg9}\nihR.@_4o;%pj]oLrEgZ K,"}7:E1PM^iiܟ}fcү 8ܽl'uZu|Fxs-.>,Cms^'"-Z, 3ng|qs26G/C\\ IzL ?ޕק *4Jll7`R}kTMG;.z~/DEя>HzHjߟI4ГhܙWx t_` M4u>3 XBT"0›N|)05LҳqlŐ'0.Im#3"9B[].5rrOdNeC!Rga@+ݯUʽ*K#4^S>gv;xUL $,e3H%B.5e`N fxF[:X_yT}"e %>.O SA *!J3?/Hb8 t-7^ԖϾaݯkD_傉l񇯂I5nJgЄOm¦P?![ivo*~xP=} $vh|B=‡ae]8l&ʘՐI.rsFQGalbDOJ 9M36>wɐ$̹~ky ֒u x1sQ nYe(0$!K O -(KFhqĤ*y\@$ډL U+(H5b#:=6vݚ.<.J{h5d;dq3-^S&o긺rhyn]m8&{ 3p|^`I~y7k`9 9z-z!0T[$M ʠeF̤\Fa SyPB럏=Fn6wеĹQ@+J:fJRR)?r*O*+z +YD?_GHb'& meb3桙1jcPiqGM~=% &Cظ]a~}z3'dX4 qĢn^aߴLWNdNeJ`csσ5/^DX@=Ӕ{ǖf!dÌQL6ر$3)_m*' 4$X e. i,R&QAUvS۱`2RGچ3Vy D'}'^rk=DТF/>.)D LܒM*KaиȒ^<TWݹS mf0HK҅.H1֫-S2 `D~ׄ>3[ſlzx o\F`r27j8, G˧(OŦ3iqu81K8g\Ciy߹/G??U`6t3"r; k/H}M 3hxNZ=}*$ =p"֚?Z}9؅h[镌Lvb͝nL.f(zh̗U#ID V2 { ErDUc˪]f ԚHO?0T3͡0XJ1Z@6ҏw}Əݘk@(*El^Ͽ_2SmZTGAWFƠ%C;<"di778zf 905G(́KJXoLX_ ) D/;!hRcےvB<:7׈#s0uxf5O!neL!?"dTrQb^|Ez5[ ~S@Ӛ c2Ȱtķc|q.1`?A:(kBz6ܢ YLid^ܟxoց [?NwX(C\ ã\k2j$in#"0d Mi>ZڧOa>Xy|Tm#ڣi1AT,v˥s`ˡ]2u;<zz7ݞq'0TV_wx_0Rre=i+k𧻓5j?/'RZhO&Qvה{- (mqB B 5?ODUe)uv(ac'w⹂kV eD%}*Em*{xVSK^I<.'${#=U2*Hrd^JRڱjcR -n+|u(>7G]u8w9r k%vvu)8|EwqZ?o0}pT!^(Kj!8zK# "T~~Ё āOܦIêģpxH}`~F2:["+%bwx_}sWNm&iR*RoO>/BnUe[D E].O#"u}x4VAȞ#-21pCXK dJP}JU2NU  }^f/<=V*  {TbOg?`ɻA"_BSK-(O7AI^6!ӈ̧6?7ČSQlGFNHO )|YZpS Յ_3kޖALe'<Uq:\/ q 37eulDrLNȖZNCrYNCLzɅlsƑF4(JPA B= Y w p"oBߜ*>ǸD#?P ~H"Y잇EY>X.5Ɲcg; dӐo|CzoVK)?f03Q m\T?OoY-)P(Cm),TWʙܥߒպ+E dFfu*BS?](Z&[~I9w kiЅ HS~ͶId*  É "a[Vv+?c"'oCg M%1P ;VȻdcħrCL9-RUe~?WET})V r% ERɦϓrqFP%^oQ:4 D¬ֈd괯Rc,uIoHr9`wHl*gcp2)g0"7cE[ A2I8%l>[,PL5}Him m> aK`/4 .$>6/op A?mD CxSj"*`ua[tnG9wDܑ;Mwk3̻]=r\Otvp!)X,,S"J,s*p=31 . rnwb4_uiuv6Sq%wCmEMz }4d@_ ~|[!Q:I34e!pƉ;(s?鹉V[{*ʠU{ #`M /EԤtΥ}En)uAw5g9P,I/C֩aeYDjn@=<}(r+6 pK8, meV?:61ug֊BTʍ/t8c+2L1ߦW$*#xkOwVCP\LśF#r EClx-^ D'sQ*d7"L't"W3gD񔰘3*Ow"63Bb*Bㅲ+ڽg|=Q͵6K^[=OTcҁ`'DyD;\uǹ 噒BA,\SF>' * aK98HJͨ*DϚH{z֧6e \y%6vqM]a[ [j] 8zТOިJU(v ),L8JZx3'}/B4sԅH|pe7 heɰ{!ONvdԹ ܁T'l9ZR~");E!ѐ_a_/"j[bF:V4\"Y?JtЇWN| <u+ԪP'*)_EJLomҜ6xżV &y_wG@>%z&R f)@ibwNqIW/Ϲ~elv|0T0<*g ~8Mi$F잛" nh u TА C>3ԄНO{u`BNw,ؙ Z#t- >сt(Z+cסc=Y^Mc,Tdr>E {ңs:)? sfsp()3[}ďE6v-Yf{~m0ʼn8|i3v**ND97 3U<)=V[O{ :5N겮+'(>}w{xp^yZ]7 J徇S+Mq궵_o[Hnj>xt=|y:K= {?~ bXdoXWTAlVת_khtv)m[\RࣈpQ3J-t@\ Wx9CX(t͹WhHszј,gn,ANf=yKXqբ"p#րK)zxX "4*.eXNɩ#JK ~{NW\bUaۘ5m})+CCrjYPܜ-rAuWFMh`rWk7BNXn#!;r?g,qR}fB) u(wB:|(xj] ڻ`?ny)p?eelœ=;`Q|-[i' /Xr&D<I^**J`辞+oՇM"k~LzŒ<I_RVsMÝto1#R} cUSUmc,eRbѣ#U a$."l!8` #H%֓"w66Vv%غMH61¥AQ@7~JCÐ/ i阞1Fz4 d ~Uv?˩bGN+N`>2ч]3NЊ$\Uu2ӗZo<4AQ) #L[<>~f Z ^/e2c/b#kfŸHE'JyJ/# QDH ztuUĭGax9g8)Fv נڨ;Y^OstEHӆұl8Kغ-p8Ƙ'wBM$![- 7pw*{Wg S0D)_/ J.b_bVzDmM!w՜(r?QeN/,PЕ͉\߈Uҧ09۵GL{`b,N?*h5a(g㮑5ꔀ,# @YJR} sb<]ʳWQ䰿w0PF鷯r@>%{&eQ'X"S?1Φϗ1Gn=$Μ̑^8,BFvWfWe[.;?΢(.~Ҝ#Ooz3& x<|A6q8 Z 21k-ZF' J'âوQJ7nfkF sX\3K2OAƈI*U*'p ?mdG >g<3brY#"(~1Ѡuᦻ2H$i dX@͔v+85Q%5|3#JSq^sghH7bm gK]|+*)de7n̺H*׈:kA#fsШ;.EY>Y#󶨂QؽoޭKK@-bmE\IHHmRnC%ۚFxiM{QJ˅Q̔3bN}s@$ADIaMFwNRgm{;ExGUؕ<=!M`wۋ5D>m'XDZɤV{MD*"~ ۝5?a&*Ug9u%Q[>SHXU EgZ־}H?nBNȽܑjߎ<8{:A#w3:A5mW'_1ɡSU0m)JN*f>$z γ_9FS =& Jڹ@:eڶ$]D׷~BE/F:*5A"o^dq"ݕ" X1/=K3 ʥ/':Ppa|M`cfKOWsuS(8=^7(jHD,)F_{<Ȱ^V9=pŠX Ov[N/!Z;#8N8WLJߞXUH:R\ $4y^_҅/ nMxPW"s9gϭ ml+K[%wD($M:Kilڐ&˥;cP8H׸Bh IA5l !sEC}WޞA1 u3}q zܟ9nbҖ&Kk3lM\_BvP"KYeܳ2E[h7^2( u꧲(x]$3'sԿu) :g}7ߨkcjƯ 8}DͤX ν}lO8- ;zI g~ 74>IXz2vd5Oeg'G%4=x{@wJNw$f*G*3BE|# q0/.=2gۺݨbRTPwHVbsCQ-P=)$ 2Z*C(9GW%?e BaO1BR$gP\OS P^ai]g\1hS$Xa0h s/$g T}e{qKf{k b#DcSZsvdvW0Snn AX9}RN7Xt5\<"hqN ȲYk|aY\j<Ґ Hd+QYe(ݦ(A@\FʚC%nPUО4=`RebN L~;ӂb'wuX5N%kyH#'M#pۻ˃4X]I-;=mRDD{<1f2s7w| /YxDb"1H]ȝ>˪|SS윭$ѩq*+)謨(N V>a<큆u\+\1.5ǓdI=m'(F0tvؖd~ɒ%(~V\RKG /itsW>@ Tl2ʬ56 >"z/-yS:|+)ͤ 4Ko8O=I;$:6GѓZ=NaPrk6&zN;-AzKAW'=ӐK5 bF}S.KXXqhf vy 24+sXŁ TϲiroTuoQUO^ IR_(HHr;oj=sR9º_+WDTzL._xd6flؐL=6,MuTAq:s! k)>1Cco! B ϯ1,ӣEg?,8pBfdM W9adHWМriO®#JiG U `kg:B S{ "m(Л1`2E4WI{ndh N9A-nI({ YitKWa6l]q c?T= WX m\یErr/+s`>|ڤI(1:?: OV&3/O# [jY1eW-xL`V6u~vbMO$%"I auq8-Z'ISM#]g`B7R~ C&!or x*{ÛDGȜ(eD&hQC*!"l/QJ<[ٞay^XrEj g2Bk4+Ν88t4w=k#uXE͸վ='վuI5~ $0:*^F7=׶gy=eTaRX"5o<,uSo(*<l&xZ),Vso Qjs O]<.~Xcg?' # 9HOɏs\vjRF>jq2J'\WO!vI&H$D<)- ɶS:rL9eNá rz1P ,|hxK-x[?Tbk 1d\"0K`ţ[?h8fR7#8E=#Ac~PO>Cs#%a#Jd1K-LQ&O- JDfT@0]؊ S+9AEX(Fvq@ghSNH#iͰA1ep8CA+\'oҧ^9yxmDX'\&Ff!š}wBNFX4a?ci|r|~.VJ #^ iSmM ^TN Ph_ %[ۃr>I!Fl cR(m^#9n8]]u Fv='n>\Y8wУ$ax`uGpm75)c^ajrzVuF%Jd1o@ RiIt,ya=D[BJ тz"Auj~GP܅}_KPkxIُ4x}l}BX GUYgpeij-$;:A3ܻDx@R 'A(.n#Q%]ߦth3j}ʎܿ8w_ФhJTg\u26nM6L#ߐ4JvԻzD,}1׬.:-ӐeTߤGX4eIۤA*d=|8~B]A$T‚rk:ݗчܙ0!.XEoSHk5GNټZH&e綅`lDfva#>]#6UDJCg\4ԣu'!6*9s[MU+_עj !FLU1z>8|(s9&s7*_-{EQgQ>fˉ]8}a*o2~0wmDkk+}JcCns)4GXLeNu;;?{ԿF4׾.$xF<V^w?L1pd |jVn>T% i4Q3DS~ل:E gj}&.к JcS7;V=0 O~^4¾Ȧh}tQ9N=9^V29y9m')G7rD,6-!U_xgODI`c:a])%=2NxptTti W'T7m)X$`+`WЦɎ)׵er) s^+zEOhĕU@R#L^K21-{H+"H!C"kqGX2 0[ 979/F:Gml5%l~=hnetGSͪ{bGU¥$&mz'\k5?74% OFWx{EP{[zHr{630킐BLUжaĬc~r8j ˫|𔓬SկsNz2 ԫ]hy _}2atΓmyL/mHZy}9r7< vԵ`8uHm$‚^1[Fb\  ^ٔ-ag(A?6p'Q)"tNYk|sڵ"}yJti^`LtL$@`Tp[CPs֕~`) 8}V 32 /2qw*JH͈JGzVHx| d! fc\6?D87Z̴0hboZ_:҈1.c`h -f9)E8*d)0?x(鬬rk0 |\OZ^&Kk$2=$Yί9U.V !R$ l5̭v$V>zThʦ%`1JIJ0G5Yۿ7?boһM2G_# Uz},vO[! -n/RJ#`->NpAj6&\k7뽽7eK5k|lRWY4eekcWb1V,)pu0|5 Px,?ZQ \jMN'Boe+ `> lU"y<껬1:OLK{ǵ%648[İJ7_E g^$:={ڇ MeWe\9%oUNJ$L[dț + ,x6ׁzO̷܍A];>;|X%yr +yo|>>g3ڪ8ytx881s zFL DٯߤTb@:RS=@JI2> ?#ROxȌF~T0ʢY'!nYjo7vJҜU򅋒;woȴ"ә$QDgh?['i+st27mj{d% #VN;W]%!gсXJ0Gr޾n\wY7ckNV6&K IJcY1 qz^5l;đcj}*A피]YU;*S+~ݻVdo[a=6&r6$ oұťv97f? Fnr%pZ1KX$QT9%:z֠ż *@33w.lA SBX*"Y//wމqJKdMBe(UڑbFz&3= 7xJ! j6A?L"r{*qTWhf '_? }l%lIJM$w~7mfe56:;/q⧙L󢘤K*V%".N YS2In==rLHфfxKo.6ڢ7#=S Ts$%K' zۂ}*Uak3]QHQ6Cq\j4ɇ? jȥi-zXyO"n'Rf!POi /CM#Yoe|SG(B v[:$ĴF/.LM>2|ˉm=돀pby;AyL` 65zJ*Dž㌷\Ի0cDE\ ume#,]Y#kABgBMʰh(Fѿ!"o|)ö[w x$e[$Krv@RyL _@R^Bn +U,^12DՏ=ۦi:'𚌑ϖ&w &\ix#*Bz=޻ +E:4o 7ɛ.ᴛ7}_xF@fz_= -ו}tBFn-Q SxlΘZڰ ʰ,6kRd&;sK$Z\z1HB|îPKAH!ἕZX`駢ێC4Tq3-"{ŞxQ3SlBNIoL6.IHg{y#qZi]":_ j~J`ő Gwmٲ;.θq,Cԡ~>sMab(k#y?.h$x$/5Lfמ7SGPɮOyŵF],ejj 5,R!kgED \but̝|tK$?;HGei 8gbQv\M{*3,^̸qWA^[WV ,W:1]iO_eDnuTZrҴHWu=%"tC̆3hn: aF6W &?Lc'zPK0F8vS[㛒,oOA3'R,XBI8 1*N'p+SbݮpwZ*ČOj&<=/Ba CtF\>U e2Jj`1řjIΟ# yz3{-|T"BXV8Y'tRFŢ5Xwx`Ϸh4Y9,dzZ<|esAH- mkz/bk.K4;OfY_p<Lmc;-` 5 ic,e7 A(̈ UcS((7ynw=c!";myO«ʾNSpOQJjōK/5G/CW?8ݑͭD[6]׉#=(q[|HXlW *_(a/Xa<_QLd*Nn[ɫZIqDyb fD|e.ON?58U/?vLCG[݂*\xmGA_BvU-6mʫ /Ȍ+ @] @\LF<$7)0MavHy̶caB}XHtY4 m@*@oFx-"kaQy#9c~Jbf |7"Pιtzns>v9,cj 7A1kVT`m&(HF2`ia҄'@+C=zsRStNw+57&ըX5Y 5 e)zK)=!(qMXVD)h=1vcyV@L쏟s$F97v~%Ec2PBҮɶ:Afk ضn/u'W˧#gԬŇ pvq.u{Q+=\cwA-"<¨$dL ]RÐ-*!պ:r7M 7? 2 SER,w#>㢠~-HI#Cn_\]ʨN<*_X-5q.J@v]١C2΋zF>f/b9Az/Br Ug_ )$K7,)Pv$ MTTT};:sd,|:2g]1qB@SvS\wۛe#7?jU 煰t<#_&@/~FAރRjMd='J?*o'V4ctMV-4_H$QK.ݳ/mdX+?Ms,mLиҜڅ `4Ho?HNAdE"2l/) ~mU2/grR+>F`x@ R2v-[@c0Ȼ f hA\E3F 2Z<]r1bXɞ4& Dsw,zwh*ax]䮎.MWaB?GjxP4K^̡3=G OvukTL[)jr$/18hu骄p2A{Ňx8T>bKwxKk#L])B"]B;wpO]/ap_N_d{O{"I-GoSצ("؏SܡoYb`콚XRPv ,dێh^&yxU ~n9}FSPM,+H8:0($p[:bۓXؼ1'qjy*$XL\ֶln0kW|F.玔,~Pg=Oep7I [ } ^,{Q+͝jἡ-t"*]"uli4^Mds Ski/ tqC7B̓4K-nwJ%/JtPV}!m.5hW9,wNh/IW!{QM棃,ib|tӎFr핧rP:vuhnyENζfGL2bv\pu˩pfJ{jTv"YJOCD[8,M( scONto R.X2JPniQA(U|l}ƜUMٮԂ=ঢ়D{e_\0F&ڒ^@u_?Bɓ?E_S*U,Αi"G}i`i̾PFVv+NF^DyUY}nո=FgC?p0pȽB|L+”ԃqL/L_[#si';"@W3"_nrss^)0-,S L~$z=1@EšJTޔ .SA.9CGfue"T~rn4W:(w_T8Ve5*4j قt6& l%PGngu.oA@0bm?6;gi'W8&Tf9=TGڦ+9Tg{-Ke|I-B=憾 G/ۍTnOBX2`B[+{ņ},U;#.<ND !sNO0X7%īq@Pda=?O҅|piy2Hyްy{\"*E !Fv(-[guQfmro.YVlPt-"'˝0AȬ<ؚǥ$F8[ ]g:BB=J`59w 9g)fs?CNixל 2 e\#G2D;fE8։_gP?%ڸ N =bLH(>