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 U1<\| ]% HOL-Decision_Procs:threads=6elapsed=255.781cpu=1147.144gc=158.180factor=4.487zXZִF! .W]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓є,+J6/r 9.7C\J,]3a/yދ Gji¬ {4vjv SV#G-,teQC#O=ٖY, N=jC5uֹ*T\Gmn_j8{VC T("-$d"ϙ!m{$%4 rchtй@۷h:IxxBmQ!Qag-!0V9ӈB5|dSu 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 &Cq#FĉnRjH*bI¬Y&C Iq+^4!np!ws/)^5blI @c2 m [!ovm=>@k_9u-ceigxH3qP_ҾFr&͖KG޸hR'.cq 1N\q+uvU܅葓@g/y~rBwט/{ DIW=8&ey0L\۶k[* TSwG 0?6F|h0 3gTK75 ǦhDWA0l6\g,@?`Z8Jiʒ1k? 1y@`rT);/OJ6:q-(OTJ R .o}(_`2N4pɬ9$ KnA3U#@HqgfZ{|u-e :tV 6}*Qʞ``J}NɷIUI^Tb%v6ۆn5̰>[I+DVeKNGs@S$@fT`1-iҦBԖxw =8u׵u(4[ p Dt)qz!o~"kVk+Om$P6EY**uS». )JX]= TB%"󠍬 -U-,l}$W^m9y{jg {`m5򈨩TwSsѨ99t!Do!? 4-Ȑ\ E@^SSwLGMqݫ \<.`\uэ d@< ;Q~,blc X;B1jiɄ@pz̖?/M&0~-w.Bz ֶK<ٓ\{E{5I36L8ǦՏO­ *00lÐGqܣz0ǍRJU ??S`S@BTQ_VT|MƩ <%*߶ZMFL=/J1V] *F qEgwq:dj@b%,C(_Sak!:$S8b'&/\|R@JkgsVmƫM1r,wWuoik֋iQF+Wߤ"-,&dHΊky326_ U?lՕK8ae/=n7+3{hf\+Nkp x%#@ڼ#i\gegZZU}W]M!k}4}i5m\-lM-Y[4BY3@+OD:A yJZT[o.'tlX 'iRt\4 @F%Fi]pG&ԮsO}KT&6~Nק~w7OˀۓC~>SpJT,c5^Ӎ()9F,i߻kPZi4zt2]UDE͜I3g Jv3w d-C PUTdImt0\뿨1ۭZeÏvyKK}qKþ"d/Q Tyn9"I(pA݌,v@jfYQٍ$blDhi0!&rG\nb Lk2)m /z/ *4|ϗ:_GC:Ӥ=m a3CC /gnqB)+q]2$ 貤w{ I[mD6EZ0FI,xhFh0yh<兪t~BW꫼wjV4,~|.~M`n Нft5/}qrEګy鈩aZj')CACEOKh;n~4u3\oɞ;RЏs{p 37rfܶIF/>hۍ GrE:L5 s0Kx7sg3Cb'ޓ0 fk}#CE·qR}TjuVjlq,q=.K5/c. ~/jT qUdfέeT|52DQvч6h5cZoO Dx2[qYp6sHt|[d%XMCJȒ0aw3WOl զx*JDp S$Zvv > pUTX0ֳPUs,|݊8F8/Q-d,D>a|H 5wp_B1lhmB_*{+IJ$_7qw=,!-hϣ9c4+iFkڭnggAk6t~]L\.Ǿ#n378~Y'rjbU N9`7; _01X[[[8_pn+O_{FIV.s)wTe/IF:htrևG&-l0jk<.VJ^vp?elzAw \FwGg977|z9. k쁃JUڤJ覬*u'-1OA/ ~ďdQmynQLxC7*ȭ퉜*\K)'Ǝ?O1TL{N٬ȗ!6It+ s5s G q+_ADmꚗMZb,;b,`}\^4v#2)7.@ $<:nUpt&BaEl00~} J.-Դ?y8)2+_>aEM'1Q> {ϯ,kGg$Zp@gˈԓSj:_>K"Ԝ00=^۔)bn!`I>]1ASCT/ԟ8dS6e6H `>r7&τ*b u_,XR^JZ?P"K bU۳ڲx B$TsD\4!.@]hx2#QbAA;>~p&h)숶kK*z$X4dD Dւ }8߄H&@ڋKY*]m =Huz7quXƧ>ﺁeٰOpqVrP$XWlՎSn:CB07=5ޤ%|P32bB$\cI;Y3K-C( LQNf2{Dl ۧX_Zw།}*±@bVI*꿮?19涙%ɽzA˖#u՚$6?eqJ}T@e<5*:6yĻpK ŴPm+I%_P>0 ## W_,$I,{5_6cv@/b=6GYCiC*7-(9 a U)!OpP.ITq ڵ!-޸󢶆l/ɐ-YN@(P1#3jjZ`=H]B΅`EcRŋat$|Yv ľҵ C&b=,sGRY3N^>$Kh-vwE n01LWt`O<Sʳ*(V7NOjK a]_}~6&}M*/ ^|"w!OR2wV-{ohO Gb|;\ҠX|f݁I ֆgwT/*9|CJtz3I]]zP 9 :y`xq+")8 0ح2^j,]HʄmN 3%(ߵ3 MU}}ymGC@-Ke27!\f$?O9_{G_%ň)d7QSM0끮]?Q@җHrzi-`w0QD À7s_0R$'.3-Q'4ۗ<|M<BAImbDŽYJ!)A{W8J)陜y:n8tX|"ds]LB֘MZI;,#V8 P^Z?AJ8-Ju<@zKٷiĥ.n> iezo3_IC]ÖWU8xV nx[XKIt7`qT*Q5[GQkƬd?\8GƒĘ$N rRy }&/B ɥ˟.[|`+ԄZWm\X̺!1V̦&){(ffly@h-[R"*~Ҋcp'M2mMm"D Ęőؐw=k3͸ߞC8 ;S\E M_~N |Ɖꤷ9v|3zӰ\L- uħFAJ&24Rj㞺ƨ JEe">m-?N'WŽ_* H0D0dQ?LqSnɴPn`˟̢3YȍYe9-iۑхs-(BzNˇQ1,i78yah5S@;[Yݿ}3DgYZ7zXZִF! ](]ŗXiɟ17L? KxlWP8SաM~>fٺd6OɝezmՐ̊› ɮ'CZU9' 8\[_snbV!An ^9zG⚎o=ftV ?WBU;R|@<>[9 h_"9D&6Lt&y+_~w< ƥg)Yʕzk$W&:`^QO9W#˞⻊tQTjR*HDc ;{ KUZ:5Mbc5R/CKyP~ _S]ŗXi%Gܬ@S!$<Rj|lp՜ZQ'۝)gUbSi @sOwl]F++!EQamִd>6>iuihp@ɝ]As(v`Wu,`_G^MU~ rYn󢳀˓P2U0h;8+D[CFSy趓`о gP;@i=-:7(Ck 0 SޙWq:'u%-[5d:Nt+?kÃn@!.Q3_w>(H< [WF+=I™'eylP-D3dGOw v {0Ԉ8Ίo?l](YǽY+h*b |Odb6}*OwD3Ugp(S`P:uX}̇+Bkjkh)eFը>A_[ ~%Q`hi}O'pWh0W;m(J# ey{r$ l4bK? &gSl)5 :XcQTcng#gUJ, ]:F҆Xc(˶C#xs&1^J`UӍ9BQHi-S%]^dHFaa _*嵕Lsw 9yl0wv>uWUUpx S sX^+RZol+˨U{& C(uжN B&E;`̡QӸ9(0Yz5x Ɔ%jEk\ ݗJ_ɗ4=,gatTu|y ,6};Tk1T u!vN٣f:GR,̔֞3ԉBHG<>#E} ؼOeF'u@PNe8$=7J@2yS.,|ʥҩdoS?1uL;B4XS\iie/7E/LN(1L 8$T;w$N4 ŖuPLw<;40+gLZ5>6 #k:"]C jA9f6%IK{u]+{|ld`K~13gm_*LM9yu\Ws[xrNJLfKE4e4U-@d ]-Be!_`j3iݠN2$L+݇-u--a?ҳq A2#%j)*Zg-!zU|R#nYtXc{93 +h +pU y| }aMpja/Ʌgd9Xk)2̾pЍɲ ֙9GH}\뻓f]my[K:[yC$?A[sLZbͶǁ>im9AVs^-X0C2y%"0zEp+eBf ] Mäf }#9I&RB΋yശ![&Y 9^=HM`~%FϦ gk> "xVdҭJR5JRb˶ЂyӘSP˺4GwJ6otfh!I5/&8 LPD{ef!6eK)!ʎeŋ'6sO始wdufڽ拿ˑ5<`@+<]@?vFpH!j{Zq T̢QDÂqw12#0  4+w*YtcÚAV4m'"͔4ffh6/R4ށXjS,/sNʱ/_fPwq/;PVEAG9fERR㻰5Hݨ R_~ͰV5ۜ׼a5T%#M/>꫞\5HW$3ϵmQIʿoId}o%Ul96'lt2ȃ߱iEL;ABi 4HEz^.@BB9N̚@A;p+ÒLVk&Bs|CJ R%8hNu5q4*?j7xmLMȎBFƦ`88Uk%e U_'5%39jUD`<[U B2nvvI_zjɳhs}uB ,I32HFd<⌚`1mGMѶDdoZ8R!+ VQ8K] VC:֋YgfP 4~\C4N}={>4:_3>bB/lQ‰^%X8lƥtr/)XVJUC-ZNa* ȝ azy6nٮI6$܀# q!'b'V᱀:vV$w(;jaf0:sFTu+_ |9IV*J9ʚ+rPߧJid;6.oE[6w8/ABn]A|vK"g]d NqoɰA1cکC@QtrW6r _}q6-}6ΚE7H' rKУL@1y90C̖,yRkiն~00vj8ATfmgz+qG=|97@o"!rT߿+ف-w>z6N|R{x̱՜$”ƹHo_'gg ¦ҕ c#3x.5>m0gcB@j.y1m0J g~N.a]X\G|r8?h 5BP``(-@Os*!x9Z3h>iԝ.# 1,18jssfxj^N_u7bC f50Q(Z mov l A-XgzY,|y-P!Zw!yJ]zF|:KkkOZ+I$VHG#{29R$o[h$btDŽzn^De ywX`?YDՊw#7W6`o c6BJmbڙ egjs7&; c cJъy=5kP((v?b hdt 9uL׉1#W+p*մ:vKb.,VeP@`re.=wӱCqtr'42ЍL"ZkNKVd_ >|y){h^~h:SI^_o qf$ ȔMIOu]t%w'qsZr9' p?DU 6fٳ_^v: /HDP^tb bzTp_N",˟WC0*n^l[h΄{ -܏| QG՟HX"jZOpU KL$h +l-#h؎Ph.2ug$\,cC,w4A9"- F.nYt$E]CI;S5oX{$0{DžG|/'nEtt5y U(5 ܾTG,OMaW_ђ*Ɲ>F]K[ CM$Ns(cxMjk^>I|!D^qfT?a'>{bVW|S(f:#iB^]K;Pr ʡ$f2`6ei8lJ _L0qP'\7<%QEBvzڡ-f ,=_+tc1͖}KxZWtYnn@{E4cW~AD2xFuX,ĕaoDORvԯc-;tx!U 4G}䳲X:Re=k6SY42U">$ F`߾&ǀ<KmD}i >E0+k7U (zw[,4 70Hn&%R֭ xfNnO[t`*=Hkhx ݵތŲ*h"\$X8=,YE:'_L91=s+CL4iILQ| I4d! RP-8ŚWO!!Q:y@S'{ob.X&~%Rs H-M[TN̑ ^|tIL~4gYf56+MJUf:=jr ~Lk&NZ̑f 3Z_pRD5R%t€a0՗ I~I*Uy!6_FGlGĶ2+\ôD8nc|7ǭ d˃r;kYF{9eN2`68*xttJռmׁi;*,S!yCXuیD<}~=*bNX3jS}}Wѿ53 0ҵe#`ZG{q%`5ʡ$&K3 X\>XؤDVӡ|2Ļ?Z1vGhڮ1nfZE&Xwt!9v\jp=x g7ו?Wi\בIC90s1Epۊ^ub0N\\CR=h;NJPU3{6%5Q1^@ǡnwY Ǒn'ҘSC&r潪EX}nb лR6Ȁ]Z;TKNPGe[\@HF]-KÛ[q|>IUh|h*TކsA_5 q.x59n(C=W4֮jyzj .頒ۓGv8L :;ZLtԖhӊ#sArLG(D y#S:;O X{ Ks!E+s>#RP|81'3Wy/<&!]-úЖzN[Dw&T=R4$"IEP2h0iy 8>]1ir!,xdSUl23<}C` f̤IoɦRm?ݹVDwŋҖ.q8NN%[NUM~8:ǁ Qf#q" Z8KF$pGĉ^р7>Gy&"r~%.?ߖ3'kjIՎ買M6<- 7ad8;2n OHfH P.9/YSN3Ŕ&c2WӐD,Ҩ ^/g=X '_z4L^'`j;KCi@9nhn]HɫUl W "F{Gg$o\rtOtCelfتt>۩$_jFt6XΨC$eZj~nH_jB]/yUl l2}퀭_p 60R+Xw_;Hq#܂ ҅a>Bjx xw{򷤊Y tKPik헭eK&nRuFp)|1 ,]tsFLLd0ސdm,|L[*%2z(-|,<^ ^f)r$ʕ*7#3ј:2F!#8-tnA:bes4?C$-J8pjB0 M `w/o)0]M4>Ah< r*S 졟lVʃԾck4jfCPB"sW^`6N{9NP(\tXu&EK]8ab f FQ-Ħ~ n#=FF6``D `D{qFh;JU gۯJv2 !D\) 5%S<7d ;kޗ #S Xb9a~T?Z?E~wV_xSk/4o 3;|p'&&AXKVYht/̞@uKE/W*JFLɠ/Pn/)SSXMQNRR>f|ಸ E# z;TtQ(}&٫XxbU\qJAou CoHMikLŷ_,1!;>h\< 谨5f2o:YmnJ6 #%~hs,Yx/rbᭉ8H|E䱌d}sCWH!!JkkBn51-]ӂQZ|':5͈nFH'~H.b'\|C1yZ}=)k׊f _~ ;p~ V6'Yt =7i$1Vd.'OE:ikAnB9rS`AvC6%R_fZ;߇4o"#f!_%4'W>/': h[טw1PT9?/0 S}O~& VBP-LE9c]}ap%E5Ӳyf+Cm>V#Iy}P\eK޳ 7JJ-Dwp]9ȠksCnd̋6:?jOQ?>#{G}jO҂%ֳ @ |I1t\Gad,gBIN \ NlQr:Rz eOg_*s7? q9VR]9{ _ Hx4eEg$iGp݃}A{{[$Q t%B,U~+ԶqbIdL`J2^O{;6Cd1!PEƂz&ʛ=Tܴy-rW2~TT?F]/vJ6;u7E iQC#0`oVtPE\}0`5$|I&*f{v[-C̍ *SIt6w6im>X*nӽWٶ.5=HB1cxWiLUY$</O2[u5pZz-_qRc*yijS_d,X7DnCu4NndMsF bu Z*.p7N0L٧P%ǴeK ۲JFX[;A;r^JjQz ⇱L}p7݀6Z$ekw-r5 cq%Kwkŷ_oT<T5hI"}HJQ? ڶz.z@C3?8;N~㭿$0$/0> V'Yt"Kik[Co(tI'SЎJg\-9K}%H+(B_z,=vE*YeHv35կ[\QfѤ?]2u -!`пc& H qÈYF>H(6̽&կ ZC/滋^6˹ ?C©Oב8c-jCb jɚ˽n !yW`^$~A5L>Gc mP4P(G.X#d#^hwp>ca )6*Yr7M㣩[_d0eb_KftC =dtjU[="R0^["58K <^/Qۅ^<#!,\*XÕYxM?ktEjHI=/̝lc]h$e1bHn/@ r"BD0R֮!"[歠OS +*| G R!tTneG_[(u D#L֠ _qݰx⢋3WE5Fr!Ec?:fѽ;'U L:1$`pMT HZAjYӠTݳ-Zvl1Oz+ۀ}J;zÝ%+s[26;q8SOHg'sK؍rD|% a6vAAU0G].se*rd:-]3,Ъoo#-,S\nG{p'lW4HP%N_@ )tbqZ|Eq| ]HN?ƄjUemG5r̋ "-+ 4IC`)]_pwhGQݮ`ӫpfbzYb*{Mdnv87nZ&N΢w> Y'L~kW"žR5I(D ĜIhk_$FOhWk悋}a'1HBܣ#\ή]LL8ն 4]_T}ZWP Oz (@`~~x<`yDܚy/:>`sN}vbO^)a$0Af mgdvPfN.& v` (; }$>uq>~BǮ\z%I΄۠L]@l<+kd ֏` ι}KQ)4z|ZT'3M>@f)3c$Vgt;F e7Dm&G`pr,Rȼ.9U}&aptdR`#mz.ofK;?~+i0wOW  V:OZQBt1֌rɪy7VnO6DaT6 Dz8OY Խٻ0a5qUp=E"+Nm\>nqܾ4d1)axL37/qUCzȑQ~ \u86LS՜2XR*:#KB28dU$=я{?m]'xš(es=sRp#i*i+`as:G!)J5m08$)Ե~Լ_gGe6W 8Mw5jJRV=kZ腟vkv1j̀OeJQ-eⶕ.dD"ԣ/*Ȓ9j?Xqcc-ZTϺ n|:FGtKz.{,&ia>Xk{~5(0[p5qQB8ń؆v#םXbYRƚ:4Ǟ[k&Q? +>_{_ f?b7Fo řݰs΍ޝm:%8NЙEGن2QIczxQwػ専aP4v(F- 6Ib6j{E=IO:X+wmT(aW5d1r!dTIpw(p Epr~m4DHS'UDEߗ52 ;k6m>6xQsx7|cNN&{*VDH<Ϟb"]^+=cI0TPԌrC3if $+47;ԩA+/.m'A4}6iV 2(',K) +g^a">PN`c#K~%lL׵O^6Zv%a'oؐZnpjzagc+tJ<3 o"fY؃6!lx?SFeHKz&.M0%y#o*5I-(#L3UJ^  1wF-_jl m QXDd׺,$<Y<&G滳P %-=R˸xLdK f3cVLm t>VÌu⓳+^\ٟjj ʎ.XʬmD%Ȱ!]E4Da3v*ǰ59N_J?Om  L_t-)@Ag}B9]\0 0E$@u k.p- KrUjsnFOWC6RJhXḇ2Mۓ.ad<^B8=-!w-zA6`~ H.e}MsPnؐFxIQfS'_dŒY4ŌDB+iyP0ܤэExvx/'+(8 oF0^Kh$Oy/c.OխzAkӀpEnЊ"&׋;TE7ji(39ZFoSgH<%h) BMWQޏr ?Xs6 f4"W҂lW@EK#/{3v,ۀ * !RihCZUv.0?΀56T>;!]^DT/NU.c;Vx/7KW-a9J;%]mcX, C8).8tb}nctXvQKo= $uܽ_;gTLxL!C#s #I|NOfg !bmk0\N%tDXa(2#٢6EDcFu04\lPOEՊtסjQKsv Iǀk$(j`:? . [~iѪlbmi ׵GjN'{lP2Zwf栒鋷ݗ\nR+ ha}2tRUlIc spH@1'/F{?.%RS~1sGW1s 7(N㷬 _a}3MuptAӴ7~XyozmW&є8~& Rʾ!_A$Ԗ<ɰnR2h5)kAu冭X.1VQbN_O~ﻇx}G<.Wfsci%Q1D!M("a~r~1_b:N<.WgG.~}HBzE%>5` ǫؔE+-,L5DE{?RkhdDH2l֝ܮmdڅwo8rXF@` d:9ӣf\ کča4mei6hU 7ֺsL=w 9բhfqu&LN>K]fʡG50^QrG܎;x'8&bHc^3չgvSH2t$KMr2v+9aJoTSneJ1At=helM*60[1ǝ" nK;w B\!s`N {;z(VnNf+h0(~C ЏO&>w@ ԿE":mJ`N$<ߍ䲼y`4_fs吊ڻ}!b[m;7^"G]AHi[UĞP_GՊx bxzzHF݂ a~ﻴ4*$oa0q6bw07}4򍀀`WqM= Մ'*4=ݽd& =^s G~V*nRkS&LM־% 0;QpdialW/Tb$ ׬M:/kgD& ֜VMa CpGœhZeVIgNxRcVv TbmR eC w,ڵ4-)}w ! (Y9Ġm؛ǜԹ4jNMok>Q hwaV`̭3 -%E ,n"o\2}'.2<2?χ:9i8YESa"5XZS _X)$yMr<mXbv< EQgmTAE @!M4!*UԱ\\3 gƽT RsiW#obZYd>wn^ eL1'f~½aS1-/TQ35/ɶqIe{5uHyTXJUNj"1*a^"cZQC"^= %YWD{C D$k0J{z ן¢nx)kٔA|xw 8M:/|bh'I0~2h)́Hpg=UL҄a _XP\1z.]/YOC1@PT>3".yjBEp]3Z%tR| O%6~U73_h!B\pduCI@'&%I[>U!<9s#e Cp-}CɽE"ϫMlTEܔr} b`dۂ;ZjFq|' =f4g"+HK$Lro:D#F$X/ ݞw >ks-rTQXMX\sI;2R0Ǭ-jlfD%z+̀"BJ@?9/T =֪uGQ%nxBwO#YFV1!qYI&E>;y.G+)I6e|yKL-=7!.oX(> ŲPnoƲMho*rm(C4ɽ~o*@Ӽk 2lf% +=–[KHՏJTL0Cה`.w(Nk~-yZ~ކhWbp&Pc3(+ƛCt7$CWP.[(e9n DiX(kg06dJ7ǩHGi:LMPdJcё; ~>м`zD#Ea&()L ךHxP(&2#"O\B2m j;lgrL^dy~Õر[DAQ,/|QãX5/{)V1 O24< LDm%V"ψnqur~̺`7F-tYKtoa#bĀ._DNtT|_X|9t}w>zy tf38B MslKQ@3< ~T"0lup{έLSszt'q%a*An Q{ER oW~_r\Fӫ)-o oKC<'?<h039R|h8>\$5B-C/3V'czfʰ^ق ^T5HH` 3FJc[QAMAP^*]iŻJtk\lF@Gj2qCɍBR/笹(> >FJ\D!xtXǧOau`S@J낗WWvZ 68ٔv(weճq4A˭EH i]ߠԲU֋%IMt:#f]@t5df].ԃn+n~ڬ!ݑi 9r[*Yf5 kDQVJ,טb> |Ew#)gEZH]Ry,w7DERyFKoBHt&Py]w 3앚ohoi%9BCŦ;yZ@'&ylG݁&tlD*ܚl.r1t7n#z3_a9#C?jE<)S̰sw)\b87:Fy99- O$Z\=O9Q1ʈp{ll{+$|}C袵9 Z%vn~uzPwv?iy)wjhwa_<Ⱦ2Α.rOq fG4 'UDrb,3FF fO2Tk[FHHz1nqOҕyc/ƛQBi$-/;#}94䯚56Y]sc'Ax%{7f\ +P^X#U"ѯ4 rYܳε.0+ib9U;Uo6[x0]b.LyR#( y}