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  `14d ]% HOL-Decision_Procs:threads=6elapsed=220.850cpu=1011.660gc=94.460factor=4.587zXZִF! ER]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1QVz ζ6Iec`&ɎmAh3>)枖#1Mģ{ gTv%1!hDbͩI);<ů{5l-l@f;סp$HtvQe0.& F{V;tBR $ z 8 !?yTگGұVm.! ®f#)Q-W<]\ $,A5%b 3:[k]"eѠp5Ls|LXwh}(y}=-, 5ۭive-qs[gBthvrdZte+ad")}ӛ (ZgAĶf B|)uU eoh' ׳յT|S0?|20ݷAe05t#kom>!](P-G弼/1qW?A1<}h 9A4>r;Q)m_IY-=3*;Z>p 196PoUAF."@@R:֍xӥ!;$*vMȰeB]ێ0Dx3ŎvNc\ ̇ᇚSnSS-q )Y!!+IJh7DwݯL&m# cyܑã 6jh$1SץzXÄ'<{b_5Pu?x Ov)X%o+ס(V:\|ӟx3l6ku7 ) #AU0d7£&^+(e*E @B\\L (єmi[sݟDEݾR~$8oŽJoO@}z|p9XҽQ=g5g< փzA}ri񇷟SGJS 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 f1۝+cbE߲Ĉ\7#R:S@r Gmz 4@'p /TFq{5Íke׮(PnZ}͒kZk Sm<g@쁠Ór[W-)tQD'ƨccA }(+[7KНx[ڜ@5)NgPt$ P0q^.QrQîH è4xC 'L 7S4*0i*yU'IXCJnƚR]|P㌇%oѽx-X3f*C5W[fX+RvWyJ5RĕMXZX g6Bh&FBwQ'(އ܉ôGJ2"{i7s/G4Js >=7Ț|93zd*q lUL\ѡPr}9 tᲰ€Ō,laJ-5<Ȕ 'PL쀡(fhuQZh]}&#?Vf*l²  ? ;U²$zq8C<'ݧ (>ۂcIvtݗ@ {|Q?%B1 Z^aV+;"Qq6Wߣjrj\+k ˌ.+MoDE*ƙ$ Fy]$e<ʏD0eq̄U!c(kT9[5>[ҟ99gC' 섗5XZZ6YrT3/ᚶ@c"^k@:C&C _;p`$8=maJNd6UօOM0&B\,iWwUA"b38Y{7|P% _!>V GAݱOǝMn*XN#{ `3v&c{W4p}qY)Uxu4V৴{C{KAЌ z:jHX`l{bْSp|J0*,2_zmz |7V!ݥgGUS(rW$:~3߫tp}R -䗐3H-GX;]٭L o TS|}!`cT$b QݗDM֟ڛAyb.*K4kV/Ո-4- *æe]I-P0> =$YrGjhLy Yyh$Ru[n'qkL %.0z/[8ݷf)얊^"FEEw} J6dSx` !˩NJ#0 X]ÝKceo|eJ|z6PAZphOubayW,/L\O0(x~YHmL~'AO_ӾM:Qe`>tgGC &H* $;%m2}؞4 Bjq>Z3Gm"ƛ?V[Q kM烚|Cغyc54=:`3 {Wh_/郋 ΋.dZ oQ ?=4^AHL +(1#DVw((nUA,h}-y.$l|~ |UoJB0sMWvmcKd{ʙiäe1qd" L.`Rh%5C! AkEd7Ce5x[6WXG[\ oGR>f-_3㕐 M0;]n d%cQг#Bmz)Cuꢻhy_)͙J1_!2 hg gM@j3[mc t۵^2w4"첿wdlvp-7l(f2(wqMۮ.gihhXSKL26wNn^jg E2X /:w^mm%};8Pȸ>: I d )qgk,'2;yv&ښT 3P (蜩id780jfTe6tg>JMu%gbۻrt6T1~U}%c2)xE{Laޥc~b"teˉz¹F@3֬&uhǮ7?M_~-x>q]ns}0LkU`,5Z4򂕥 Cdސ I2/q6FV(`~RƱTg M"lb[sԽ]n^-ov:Ȋ`]N,+-|`Hǝ, |kx-Xa?mџ8i&%ljy3 ۗ)T'jHgwc:nJ:f|@QhY1 -mjDt:bLkOrswH@3>&QKS|)#BV6ptIۢP2jO$4i7a7ؼ@F* Ԋ}ts:|]a<-8;4@ƳC G 02I2 Y~V8|AQgtcRµx9d2{IaKIEQlQ^ -aQ}9bjPo VţMo$(4rPK!oCL&߫VwMW`Mݖ廗#ew*!NM*CU]Kd;$/ڔpq.MzyzoI=~ԃj]X9ooE撽:ɉ%_iטQ&I7W8fiK:σ ^"t.=UP?GV3YF yivN+ S`5{yqhq},#ڬ'L?~CDs<ق˶tټAAAIS󬧿aƄ?a0E7@&nQfk;ۯc_~w5=-GܜnA|N-rtxV0|}IXMܔ%}(2'ב}#~gѫ? t+5W|0AcS YCQͅWi FB6$m|^η>F#~,KX+ )M'C{{oKt ob|M5QeTedݼ<{u*ϡ܄^Y~0|xz;3!Q+o/]Ք.ڗl0̸^ 2X̞BċGJH)[>\vר=z2߄Ih^D%րg(cFT5dpptU>(m;G7 *7N-"\z??N*C!ͱs芒Z0CMWyAcL4,s_mP^P?ѮAN:t:mRgϨ-L q<0~ph㠕= f)Ē4*'2Г&kVq9ݖn3F_x ~fps"*|&,4t,+/l+ fٺd6O qk%Y;2C)ؕ:( W;$ hnu9;0oKZç)#4K0PJao5"t sZJֺnYW/:W v=9mw`0R!vA,sM1EmJkNz0FQԞ-Ϗ,oc\f3qǫHWc>I&xM)Ij·'l-P i h:-3 +{mk(L)Ԋ b+dwmf hQbo_TȰ{&t: utKDVMp}MXɑs«T-ymi22| '.A˳,VZKY6iTJ }[e'oܠ7~l_\>YWkWvvhr~|tO7spNnSc-m" l2+1;gYZ7zXZִF! iCID]ŗXi%EU`;jW '^a윏 X?)qEewiW:x @A1=;A`ֵrw{{7=~xhCngndI/rNheV NVhoL7Y囜 7!ʇᴨȄ4W h88HEv`0`^T/O\[%t\PP "ܥkct) ׎$iXzϸʖ kMYAld|g4WWҕSZA$kJrඐJ %훒PI_+jghnS}HQ9* 56ޔImvh0OGEq\zS* W❑G&FPH". bBL^zUɣl* k팪It2r7y6$,X ,Ή.ʃ [Kgvb ܖF})l /Kv(wji5?}D\OE⼘Ik&  m^ȼzycɔRXz6ʾKU,3v rN|B 3<䌎8wʚ`zB 4E263EQWA'2_ qe"z8 }@97eh0\Ī@é*s]$w%idY>זHwEמB=c|dJCbs%=Z$ek5%8_nʝ6eiC\CmG3}2z**yŴ~.({dΊ{iHs t4߲4TLfÆnW/svd8HKTr@aF3cYɯĦZfD)&-k~*z~U^8h*%6(wTwq +Gq3v l3\0K9\:2^i~w%) D)~ ʝbc0jX]::khmvմRME+AaYVnĘLk=7 F;4ԓ J64c̮5I2YF!{FMp8g dWiW*թm߻|IƼ;;fnqƀŬ1PkH=;^Tiw%JIۜމPfOX0]u1${OhKw*7K"(FO@U2L$S,@ptέ9 ].{xI^ⳤ] á/chO!Mx-m' .4lmf=lO9`Y趙 FAx%҂:z%s- BG6BƧ܀y"\'gmP43S{/6k S)BWIq2T=ok Z)4. cVMʅCYvRፙqddzgXSI-܂uʋˋ7d8,qi~F|o${nQ3A9HNrK|: 7.CfN! ] apz$zs'UؐɀFãFkIvcBu~D@c ܒ(ݔ]ľՇ]a d\9lOMT'M@t. IʞT !ֿNux\S\zƅ%4O[{"{6KyX֑lr깻#+3BnxZeﯘ+4e35P@+#dF/3:˻P@ Z He,OڼY,&[!# W=(_ѣ+ CA\# (|מmτSBcQ,hK8 [hDUT S`65`^yNUyu`XYx[Y&T|I}a\5b$aii!җd\4tТXN8k,v`1KU)c^)rې8Z%d5)#6։rW9j;OK)_0}±p |7Ih= "}Pܳa!N\ F7+meɲ#?cW۱6?M߻1[gBP #oLaS^Ӣp{eo%){FjZj(D; ~4e=dKXmu`odc,l>u5zN"ma51Tf}!r-J~\hiJʳaB+նSTxJEgH Y6#Zf !>hk?1Ȟ4Hc=7K 㺓ǶT7p`2bk8 .~3rB臮΄R7/&SMM= AY^UC: yE>so U(0@yz/?26oI8^3͆`$ }axG؃UTȏ@%n@YsFN Tc8:wk-?qFa&aߖ5xHAbIu\yd]x4=+w׵kj\[Dz>3(y( (sc8إiCbxgDm' Lr%yZsL,rϳ֨|8W,>)]—1y( GFٛ}vA LD厒U-fk$p5Z!Ba v׈ qH} $ӹmNkPq i}YjYe#Dv~^lߴֈ5@,_p0;0N&gQjjsQ.AfN$VʯtsjzΤgb/-oW`I'fN~r–wjf9BB.?1͵atNX^ᆭ#7Ԓ.Sۂr l9Bǿ?Xڇx8HH=4K6[b=Ӹ^i#۪OG.x/whqzۼ4"\+1LM1*3M : ?*`Y^pȧ1{*3m;[$61қ(6y F[ k1o-d] oNJuӼ ً1d j ?IQ$1[Gf uEc'x|t9<\1Wo<|V.mIoenr3ZPsA`=f:uTcr,Qa^FڕקUwnWl apty \'H09LM,HՃZ\6Qէڭv 0J}q9kzRff㤩m3Y"}1k񳃩!Bh:rb??kehV.A3ͲyRvC P:\LL9̗%pI:lc‰-̚"9MA툰:鄟Py5X/cFbǝ4;O<=4XLC1ƒjCzc:#t[ņZ9oLR E|d e]ª5`-= Hbk-.^0~wHa@1k.^}6 ~W@=AVvt-ZyJ,A}.W/ @D}.8Tch7;W \`r^deu#SL&>0x+.b9(f]ĞysS_<* A]h"-P \Hkg?tfŰq^tLr0V5#Е=u܁y}|1NzhȵhuYkyLJ6봨 ׶Rw'!޽z|P-hlܸ_?WzJI9Dx-}/j8WZ FBPPɯM') 4\;AH jetDxYt;9q{L5`;<%˃=EhWWq @T^ i`V}dƾ:-CSCٕq(zf T!ZkVymiCS|˜hJЪz~#W" 3} DJ;jkl^\ [Tbzdw4S (WL%EӈW*O|^fB6 y9L\i:ܸbia>r3tY8 .<>0cxdvO_JgX7&>|d 0}t_! v(wn]yHh -kiB*4*.⦠CCY$nP2."p*e|GlK$*MI񧱆bЅb>_n{5? q{8\%D$r4K]\ ?]5tDk\ay4QGL$Ca KS@hö́}юV7BJb3*Zx5BWѲlU3f 2+[ }O gf,CivbI4HܷsD+OzlϚWM|…9fie4püv]Ttkq﹨I$D90O S]L U%QgcYǓlN؇^D$ պɇE%M;E_s6'/}$8Mr2G';7Ú os=ԂÍd*'%<98㬯Sp€_t4(m[>]04r!riF#A3&[KTk]@]#4έWfs`Y7&gjZQ8kkL/%7 [FfAG2#a9*z]1P?8ִaU654H *|¢mܭΦpyJ M5E[~HS:I.dsʺ)\RS]aF\+ͿlSh2C u'w8Eih,GhhWe:Kә/fTp6r̈h1{UJR0H(gبc״abس_0[΁V4D큳R)=V=D^X$'4]Μq+_A{ ܜ2K*M¥r]i~#PG@6JZ?~@9BvHi/x^TrBA8I/Ӯ{~xƊ-AYU#*SȲ@r=5Df#}Wrp,"zJy>}uXG&o_Z*p*6r.D"w]_>L*.g?#XH(U*xp l\m,%[Qjv@j` br\GLpQ#8۠ȯvۧF&b%~] Nk'KWBr1Ap;_Jtm:S6e)Q:o&6U.κ~cg֒Փ·Gc_ed!T ݸ}Or ,y[p54K伛/%`)}U^_jFMWD@) "8Pmlk9oѬ&/ɨdޯ%y *IwGqjju8^M9kn#;^yԜ޾kYwk,wWG -69(^BS:ϭOΗ@)tם6F%z|%yc_ Y%O:iP[hMQx&-"iǾÕ f؄2g]?oԣj"cS6Rw#IeP~gGHrAwI P8dG*о)t1Txq*_nJ#&uC0/1gUkʃF%6/8|{寁0]6} `jvp UxK|]݃1CWM^3jdi:9Wc@apVD{oc*ݥJ0PCյ,.iꗏ:]X@rV #w\!7׮H I 8N;?x%|L وm-_>d2ދ]' *{N*{{&`M щg!5$1>&ȕEŕp +*W O!mn^n{Jq%DJaW~Z*FP͟KaĴ'+MiѷО\VѨn4\/62=) 힨y+Z&-Tky~98պWaΕ3C模Ah_DFބ@ID6yj1e;*Ɨ֡̄ck-mO-Jʪ܌׵KL N[gbgCe탷0IjHL^V;G's헴e#6'X\~,]Vfَg֮d{Wrfv gzJ6fZKKe s]gy愎utڻ$i;gP} ݷ B*fvnTPCpɠԵ*#Y߮wl. nZ楻?;Yڤ4.C%O γ8FW%/MXT2`nəY|t{=$̥Sm.a0V}A 3L: ̶vC+WY)U9ע/fJs^Nlf" /#j4(MWm:pUUFhFr#<2P[(/k)zs7l(% H[.1RVZsr zhiPs׳(iw ӂgAvmy@+XO6E.Mk[WM4m";t}hN~cϛ aЂ5 jl{ ;G^bZF8-'k3/?3ȇܽ,!X60nJF&Dmo ݆o\m`kL\ @D'J^8dYj||c өta"e /zO"~ᆥZY:ęM2K,ؒ4 Od?"?Ll艪g{`w ?j-CEV ft}DYD94X|s&2mXD|[+bL%*~.G-z?#pȋ9.tI DXQ QZvĢ0!C`s`!]. GHx!#XGo D2'!zNtsCRU7 *@4wY%3o˕tz˒f=8bnΡd U_>Ľ8._%jF77}=^Mq˖zyawXktlD0gF|s\W4Jܐ\#xBFfBl]S>0X 7m"2{z(%ɏ rڍ,V_N[_uukU.jm >!v<{TrF 18:}4Us. .HQZT=V2-p$=V6HT~9@kgc1ڳ>? @MJm=|Td|ԋ["Lֵ1&Ɏ22ڶwQ JY2zsy{{Eʦ ڳY0udb ,1⌣xmϟ6“XY%bոOkO~t.VБ7:IS6k]|k> ѷ܂X3130ZĈ۝ҝdȄCBzQRsh6ɨ}^q +æ*8EaOQ,T@*r M([^S$ oZ}}O86rNr/@?ͱKX(k;Wf~sYcSu UCi83gEx#2k~-zQXǤ t+9^A58 =ҏioΖuеd;YA:!5R:8yeĖJщ"K=x>:@OpʅGeטnۻzNnj[YT<@AqETݮ6"{,"Z#y'3w;h?!Xχ[/T!BzMEW"zgsAS{nZ{C]R - SӒ%lI@9X'ؐl]`k)Zhzh&^aU9y{rң0B5c5fC d\[UAD'[;z :n}1:T9L5-R]& ҧ.z vW>R5Tb~W%)>P *}@A3W(P騇ճcfGIJn d8ݰ(Lw:<|[Xr+F ͨ4,3çM3L 9?.` , #*Gx! Rղ!_}Ү6poj~.2y 0/v3qצ Ym5ʊ~ R'Cco \vAAMQħ@;K-(e-l;@kcގҩ'w^ [.8m[ol_cU(k.ھi_-a/ >Ygp73.Q$+Gb1١tI(VطL_&~AtXbL֤0 23K=Zjw_kKkci VnثuVܵ^>j;\%'2 jL=^>rd'0O`cguOƥC9,VQ0}!"ƈ6Z~?rل`.-5[ iRh>VMEe`5#x>:ۅk<ˠ'tpsewq"9wS@xzq@';Edkxݏ:WEgh|>F Sf7jNz3k0_OBGHe=Ot^+1&Esщb3sx M=޴*!K韊ޚp=x 9Pʡ۫ U;tԾ&NZ>^D֛y1aҟvt~ Fd`-)XԽw 0~\_jA@imø6oUO 5ؠnGy+E:$(&>-eNM7YVDhj:p zU&#Y#Z wZ? JW5梩wGmSn4`̻%rVB(yY)IiGŁO٘}n=_3ݻNXcA :uȃ)Nc5siOo08RFA%"h۱ۿ]OM\FWjvʝZ9v\e||'8ߒ&lfRz)DH'?*@<QIMݟO5 $gL|Wj~ߕ|dH!O mFT6B./G=Mv͈[5 @h:Rn(RvTvoAő0Cg` deǝhʃR6-d"26'G"YFe,:OP;_7cP@ZlU-L7zFrT๾_`\_"pIn'lhJN'u'[>Ç5 Oz.4#lT4z=(>GoAHURi72jL]h |i6wL⒕2_:ˣIWc99hN蕵3]) |t\{࠷0ݲ]/$ykY_ϡbh`KYB )Pu0OpSZb\1zI 38$=d>P;A⠷Ɂ}c3[q j)I: y/ݝ|˨j:_ ˖k"xHh-@@Dj5nGU=Kr@H{D|(ikʋ`hر0F~zV9zI,?2?کw(xzr̖9FK J-n Vwo% ~`ӑ!嵙޻>"T,Wuw$s]^`#erXG1y=-5̀kvQq.d ]2׮$fHq^-X h:(JˢLһmtV B<DyH]dwK;TklZ@V(:3ဍZA m9[rZ|&8a֗g:HOQS+o %- Ϳ(eG+e8)=l,Yo236ix8v5btH܏дXg5g,1YXzZ7So7wwEzNyg#Q ?Or 5cY{ݸYYН3Gm^)kzb Zxy^z|wDM 97+yvo!&kUƒW2zhE@.ӓ @~ъd>toH\܍d6X}J+[&R =7 @Q,JNAPΫ:,|ig8tAM-vsl晭j2NUZVrJ+ؗӯlWWlGa  "'A<(Ujxdc˛Jg@h gA7 &jhC+b;gkz|.nh;a bff?1H%D{];\Ξv׫`2jpj6 t?ʉ:.I<$y8拴-GD a8`JО"]{,m-@S`VNj$E SJB5V'\+ū 7-7w0Ft D)eӵC]0IqTVK#OTk6pbDUpWf\Aʺ$g~^O3"))۪D#@?Y텏_BjrPr?sU.Dpaz7c<_)qv ߝW> ik2uӲȁ^1;VjȷoWi" |#-+8T̯Ng Iم[V]wAʁ?ٱQ5Ep-\2KW)d/d1/x)irHU~I>t-br ;r&ۗ@@ksDA7g~5_uK`@E\d:8J[yqix"A6=å8E%I)Ptð˭*׏[';ў9O B({9+an'7*~tO /kՔxj^:Y9AEgp/a>C|#~I 0oq><62s"*:TisP3"G)]c1p1,V];i'J\.#Z }*`n~G3B؛wYΚRgT>L+EP]% D_B~'[(9OsD;V=$u: |Jc'h`h?l]_z?j #'Tk(1X[V9tSJ(x,nf?^_ 2f ƃ8Ez95N+6%^o}ϰ.#dJ뼴" %{FxS?. x\u{owI:4'5.,+L:XB[%T\u<{%yySJr1%v]F f5rnw~ iwbLx2JsYGu!<Ō:4sF]rE 52`=^< Nq ^U\ )2OCA āf Bz4Qcbۮ\pgkNN &f$؍Iq7)bgq?繀V42}D~ioPi2Y.2vxKD֝#cĂwlPJv9qk\JX./v`fb9.}"KHŚd~&neY[b'6`'%5cuO-iBJ^}NEʍJKW"u; A8fU+ $kb\Nƌ'RtM9%O@mPѝ"úM'G=\ jS-SSQo8H]h"ax4Snxqnd2J`3 ̩)zA*`=qcȒg_ƹ$smbstȃF k*9:A%ҝN07+6 Ŗ}FEɗ/b\ tޅwCWިn?+(&I~ث\FMs)k)M'c-h(0u-CO|Л^P0k$7()ZʢEx=pK@8ؖ8}?[=,qpk%O,ʑTw]0yv Җ(JA{{搣e`Pa]sFŸ U"9՚ԊGp} Ԩ3V7e3=f4F\,R_6 ylC1Mwٮ3N$JݺxǭFz%Xa|Bp\thP$=5,w'yy(s!R75Ê