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 1$t ]% HOL-Decision_Procs:threads=6elapsed=254.479cpu=1146.260gc=159.840factor=4.507zXZִF! % ]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓т/|Td`, v[+pRb&:9͏H䋍wiݸ²?q2a"zҜ\5qs3 OZ坫vuUEsFDD YY-hLS"Q0/I0i8l0mibN&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   DIŃ]7 9%2Q}bEs!laYH}%^FHEd|DT `fşg"7UpkI,~6Nz!/LXi*daU{O%aerJ^IPZ bu"0BCj5N(٢}< =ӸfnJ$]'ސ(V41##\$yЁ$#@ߜQS\t>zf :jFS'μ.{䇌d":)d߰E=BX{U+]ׁ-D щy)0:<HPڪN8zTd *_mմy]vpEn{RH0 @~pz^(WG,5ֺߐ#*|P FG6 ՒL65@Ƚth{C 6 Oa "e{?Wy_3~d}e,FA򀣒 d;wԐs.=dW؁4kg״:s?݁Yl=kT.Qmx2kĀ`E&)?Dc62ac8'"t 2ąъ4{1}A@Wfm@3##IB9t=â|3&.(`!Q߯Yf<3|\h4001ʮ:x#0cg PRH']MPwVu4n]5yn|Mu^ΉTji {?rT*ju7 f> 7S|IWAjSxl?y`Mb Iɓ# N&\t.2|Z0da4mlQ[l'ARt./N=AE"8ޝ~k:j^98x'p6H[Su ։7Vfw[01+~6{K̟qNa@Bєc0oAO -\)Qb!2f}ƪIa-bWWflibkWqp %>KxqkErvBVp^nǚMV⒴^ӕ꜋ ~O Rzb\?IwڨwPD-6ĿmF&Ss;c-rW)k&-V~V]4/.xhPZ UZBhV0-:7,]~8y4ףXcE퓷u!̼{#*y[<?QIf"g|D"Xlj[Uc*IyzL,_(dвC ^-bcH4Vh[yPTjnfy%7hoυҮ$ /GeҳE)s]^K`o+#ijxik%"Dy6j5p^l=u֛`CH d0 ]u2h|eU2&|Jl#s?gm~fW,q]=[$[2{h{4Y H\j+3-EhCޏ☝'. V-wIV@% >IQg$Z5N=x r@$ 3haR-1i lEAAY4 v6G-UX?$ s~x;htmtnٰa]Њeec 1Rmao\SE*`0!?q;;hFt֓s<_3xwHIB:bPM+;unwcn>K3T/)i=+fRp 9N(4l$\X2=vVx ݷ`p7qbrfؓGK1#*!p9d_L>_-H-ŻA,+`<]8|E~ ܯm w}tQгxS8*ݦ8Ea@P=ƙ:1D!ti&Π \kǷP0JH6}-ț~d60'!Xm-%~C g' >E)sTiKMBKY}EJm5K!e ;GmSk WwX_0PЎGhumEt^]sRd9*b:`ϴ ,;; Dv] @d,oj!xՓ@=PtP[PXH'!0v|Sҙ >2dÁ:Lױ n+Y6q1/m)<0|Zm OT?K%y܊dүʹ+-?_$ Z+ 'yEOmx: Oi[7)^*~ -.F\~Vb^ + Xwik'Pޞw~Cؙu\K>裂4F:hڟC`VZTKT [x'%xd b2ms(蒈`^㺦b \8tR÷jaT7}ڪbeӬw۩p>!/gxtSш[ ib~ lҌNsĄ\2뢜KKFךA-LߛJævM|Ij 2e4#HOS~Hx4vђV&KHq{=H`Zf\'A26 : . "D| O{O&VP:bhS'T.!lcun[Ɣg;'0/YswԞ,ùys1 Q8ʋJ"l옶tO6X+1[-I9}2+8RFt5PSi\'d ƕėeѻCCc%kۢV:3楦3ѓ#P"TwYG&Nz 'G#|k~MSֹ+9}j|ڣ1AcK2Leh!Uqg =҆=]C8%qh)%h'T!l3Ɏ ʞ{[0M9hwnRr])Y9hod}9=0 wGwƠ2 v阒\Ĕ9ހ3mò*lT` nɭx[e ="ᄂ7`prz ~YHq+UFxLg=F{@@FdY'O4& /~ vǔ:Mh[PIPSVvY-ʤrh248G##W`Dlit{ٗQeQ f\z-p6agH( d\ED5z|alE0v=@\OY*& p8*]u.Y w$oW=:2:,&q'$87=&tz)[098 AļdM5X3 ]2uvYkk mRE"o60e+΢vK`Rmő)nbìm *1*\DȔ5^(1NוXy }~9[S>]nn9ЇNYMưr5>am4Gyτ{ASG7o!Gϝpp㚨k:o 8$ Z^}&9 Ӱխ2rYp6]ă''VS hb2gYZ7zXZִF! ^2]ŗXiɟ17L? KxlWP8SաM~>fٺdJF S˨- C5 {Klp ,na!&7@Im pzнa= HJԲa@2EL3iV?DJbmcS0 yMt‱!%+G.~#-%z;"gu{%uorQI^iI;z/MJ(C%;ʈɪ@dlaZpZ:z`L$y,pRGF$gvhb7; u`mC9z,q2<i%f5BY%к%?'1~O]<3]}.OPBBGs^ }InFՓY:=ˎX n3#C'7Mx놗 *yٸ_/&hgY[̨uWF`4Z~ K@4\Q  1r1ntlJR vhigYZ7zXZִF! T@]ŗXi%GݎXS(ʧܴe5gz+e|^²LEWh[RJ)d"d 1G6n^? S7U5R89GВ 9|4fMvR"۔Xږ2R0%MۅPf.J֊Lk^"Ul|w1tCőR0`~Z0-5$&5,v?T)mϡ ti8 } 0 U M2D ACdTǢ]X{8,;q/nuK꤂CIA#6=H%$CglOfZ`IUvo.ͻ ճf]\E`>) 0 0EP\6۔&4Up~@NۣUjݾ~ZR MŌR/M%{t#UpX,N ?08ڇ JQqKC8hcp=^"`9[9xi-vYu$,pYY np1ZVP.xT4~eHE z&sV}ZmV3V.`|fn38kf-~]4MO ;-߫>1ӵTM2oHIC5!.$ӳCfrE{>ީ֗@a:Do nm PT:oUO]PcZ_&%;3Mi=# xOWi7[zD~ ` 6R@B?B3s{}iᬟ{]!Ym(u8;HV1YE;;5b%Uy} ԍ#[g][Ee¼!-Df?L͇LJ!q=R4Ȯp4LUjSlV邥ʉЈ nN0TL]`ûZCC /@9955 [`1n;m߲]cL1}cTT# XUoe0D@O(uciaPX&0ze"x)`!t* &5l\ٯmbiM`plxfAFdb緇dB4D``[@$ŊH;%Bˋh>0a^ueKٶn5`CD7[oYGCbp@wb|6f+Τ-;Bn/քVz´?(ÍBWayZ 7g tBY?01+'D}W\>stm#ОFָ 3۷TtLO#@@qJAe6-@CO1a\;!V ޳c 8r"L>9XLH\|e=fq)Kh0g vp̷SX)щ>"* &d ht3bߪ%v:Z}D^`$f@+ʔZO>3R MFZI &a.5ȓVt󛡙 f< g^v帉KuV{ݐle ň Β.HFw|]${rJE誈?䷥^cg⻤p;H5~y3elhlZF~yhc ?ߕ>ypIX"/{DFDx]2srG$&Yd&“U/"S H~WW/9@F6L_NS~$u0 G:g8.Y_<_CR`|`0QM>iOCJ* [o_Mb "PasyI&VC%v0_OMba3kW#HT![ݩLpYӣ =' GDB/\z y$n'!*c8cKn.Bc_UvIi(+L"3)]ɜMԼ j:8u-YRE`)ǐC߼Uva=p#U?h, Wϖ)(L;#zvpCΏhIR|nQ%³XFѱ=o;VbyI^ng1͋ zF{Z,0}Qsr|oR(RHK͈뎰ݗ+Z2ImD k ItWV1#'܂UqΠ^8Ķ*fM8*ЊA_\飄keGg .`b#ъʿ"WRF3@A0\#q0'KdڤCK̀MO*s=d֦m~$@/WvJ{-r1v,-c(pNW'\XBhD*s.,I lIB^^Yu䍯.ٚiC4Ky?|T$B1Ҋ׺B(FEe΍$>vұ9|򢟩bȥςݹB8Tu?:l҂xe(BN0a߮md|nEyae%_x[T\{+1 g|a6g#"?8mVޅ}d ac+)C[^<>Ws RTJS\'>5ױ& )aI{T'E]:ZN]r`i놽1l~m h1 _l͞5$NRfμed }Vv>:O_3~9D7TѨ`*2X6T۠.*D(S[wcHp mj 0}!z-9kkhQܣ;|.c;wq}XTѿC<&FDwr><+o,K툾6{.bYTg HWrQA%-iAakrd/x'wJ^W1d64@=KaJҍ2X`fޑ^4xۺ;UFJ9o٧02{ cx HbYIk1jT98Ʀ fNcܛ8"?q#Sv }(G(EƼ[F&Vt"Àme C5~b4]hq$su\#P 5W]TwUӡ^cVt%~P>fir`#n6j0]k ~{`ћEr2%&Qb Kxк-j&#eX.Y kbF-Vz]SJ]ݳGV)߱uPߙ[؀FB;а} D?d>4%!:ys[ .w߫Z0zMMBp@ _1cE)gm[HtEp+˴Ԁj1 KIoe&hХo%lEj؅f@W;Dq¶]G S v;IߎT\e"Ew5o( AiQDdgzZ;Nu󔚡tf}Ou 2giwim$Eü'D\IA jW(2^1q3'Tn2/'y/7dQ_:6˾OXŝn25ZI#յWtm~vw"gY\0XLV öF*zHXE^ ιxD 9kq4.լo-\y_uwP_o)Тs .ַ]{J[P(fw JezT_ȯ&Y?r}A@ޡݬoȲ;U6Gu{7QgE^낍4kFSۖh^*&ό<%ܧBI08Js39o𢂁åA|P7]( |4ۓ8 ƿdtg^Q iwX۶źGq% FIz g$css^Ī`K uBNIe`>4P;Ѧ_B$uxgbCG<0!2A5qi]!q]7zetUԊ]Pj.Ȝ˭)s{tw 7oqdE._au3ba8pzuI+H9uGi˜6Fe!73 ACMVYGVFF?[q#&K*l'bD/xPK->VǗ4]Zf}ڡN2Sk*m}fFIj.S-,~C"T}:4Ӧ;=,v%#:H[_D ߣɪ(d,-E/ m+$NF>-ڦN˾CHd~S鑢n QwV`ecK\ҸQ 0?ڌnc~Cz/rUpjLLzŭuǡefhG!K6 8y5 ";1^ zņ%KUJ4]` @h4vp*)Lp'vi L]gW9{p|m=3xAXHXcWf -{i!5IrVpѲ.!bgyj&csFT l(Xe,r6G~uuk8fkU fF|ta7.NAk:AX2PV!mL/N~ĄPF~,vbԘ:`T f+ٖb:B_8 #:~P/wm^K@tG /"/AX>d;R42 5׍N_WcUyɅl &|#^柄aV*!AeO󛁖+7$T9JX}q_8='RWLU12Nɻq@aKoMvUTWqvݎvJ,qť9  6)&=u}[9VTǞ&Z'GONK\|3FHQUPͦ6&ή.MćK " j:ַàOSn #Z""Κ碥,5M;Ps2XAc>fu* *,\R x[ei-34LNKQVsjRX3`%9*[X`il@̾2 tk܏E!\fc-r8gMց!W|U [>E/zH[ =z LX. 7NNOHjazJ)2rKܵ#T^یB1\Ae$w'lsJz*"8Aη{vjd_"Q”D:/d)]!ڥ#/:>=@'}.>BFty@,ո*03Юs?pO. yM홧EjIcRlu>|Jw>(?UQ ވ+8tp8/:_HXD_eKWFF!UڒIw8p}nh ՐDà;CB ^,HhIc̼8\Z ΜI{:ƕHoM@+XAqkgQԫLٽw-gw!oIw[߽*\um@6&\v%Yu5K# -ZA?va\=foB~]{J2J`0TUHՃ}7~w76% &E 7=h},q;cXn营7i͕Yϫd?ے"ϳTŀéW{Zh1&%-GoJIpMW#1 ]ζ^PMbz IV- 讜闕"1裸JpÑE 4q۞4=<8v e'@ќbeuʄ|>pTDݲ@,AhBTV 즧Z!6BʁvTkWʟ`t鷝VgFv^`ʁkʉgы}4 Ѫj/A!J0޳hRE3LYh3j˥}(FR-ph@ʨbyHD躌a}̯ymGk6S&-t9OA`{G&}3rP gYE<9" =*c2OurP7/T2]OIda)^zAN FK4BnAjXG]ME6-["ӑ0z@{qiQ1:3}6OrUj bW? e4Ȋ<:{+Ն#W'x5yoQ?݆YM-[OQvςV\EIaw$@Gx}SE)ջ~M(}/؇u UU1WtNnZS)'T*8dUD1ZJg-%5W'{i:z7Z726o|*5,V5&k:Qז>A-H]5rlzNoiτA/! ia]›Ǖ5zjLJ oM*ŽV77Kxbbg0sy-!d̪L'45Ckm=P?0rCp:KɸNO#e`ݴݞ~v*uL+#u.L'on &;u@_2 ȎvƵfN&F8LGVU>i`҅ujppMal%"ҶWAufпH[S>fq e!bq) ݸIt\PG4P9>m ȯ(q?he?ST#YiT+ @n.Z(sm[&f!`bSvWv{FF](*;JS61Uwqt>rA߫k|n}R+F:.d ` )oc5ޗ;*b ߤ=$؁uA*M!o F{p.9P)mLPxYZ Z7TUOm8֕.9ܕtNT0V|)ߡ? t.[9ffrckL]eNvKͩx!x_T6?#[pNISO2qfBJ_84bVZJkN/Hb;C\= +QC-j1 .IuS׺Puizʏ|QM F^C:tIG;ϿȂ(/@5I|Bxm p{UN0ީҀ~l_4>mff,ȷUϞ|k3չl &nCoƄPmmYp.O49.mXEKjÄ*KCQ'JÞ@re '@){w.3,Jf G Vžp-1c >E7|*DQF\++'Oz91?aF"'7<6ƭ- I#Bln2/&njm 1,ff%̪op:9ywUF>-v eN6w[M.oga^')5VAٝJP6Aڳ}mˮ؜'N%Lg+<}NP瀉dRSӕYB$ eYJ:7:Z$9i}؞dkЁ!wҼد3pvxf{l+s)&:s_2}.AN|S< w)~E~u9;++]jfo.ëi#gUmPPKdmׅ/sU e8M;A1!oV,F~یRH%8s(cZ|why>j%ܶgK¬Y:2uϣ;!$y=yO{<9#YPQ`gziCp$'ͳVD4/n/A?l\t@HqTi{E;"e / TSݫe83fˤi)5Yտ dƕ 9[6%pquKRWE13Թ {xQmg`!X3n^rS-߅6f1AGt ^iix@rvGDoi󄻊98%C b4 S?2]\;EFd-ETRH&/ d1$aG2K_8Xnu5$Qˬ桡h^gSψ{{H[*֧+^bks"w`^2`EH{9S6էƗh&nDLz$kIFkMK!cѵjB?^?kGzO~ =us{ е^,r@^n?W&sg3|=N9ңäoQ9"|];cċj{ *(vK %\2N&bۣj"p.H{+DumM7-Ն2k_g,ewa^KVqJugN4aq5ɯq2nv,+T5{azv̴bR&3~'=T$=lP=[?z`6ʍZ`#&JQ3,>E4dAsj97#v#*ێD`V .tTp U2]-sm`ߍ<"s Żb @xz|M/ES !!0"J yدwf"j#zy/gp Bc\C1ˇ}Pž1YK÷-6lPc2~vjTK0ck/--{ecȉ*ēSp`X\p&ğO , g:h"4'7YXtٳ +oجC%h{˨UuXpJ $?Y Go+Qx-#t^\TGB +F$[)y恼(P3Y{rdLq,YɱEw;V(8ӻ]ZfT_9}=sS2A?=}/5KqMX$nAY=r6k(v[|hDw/_^,?CIlr'v=U%. \ Bؔ~A3wVu\{xQAz:bOh PM@-gKTњ'cIN)8<ǟvGaic;p]Tͼ>V}RW j _8 kڹ vn63) `B+byg# 6ooֿ$Ġ(߬e*0 "W;mBXhZǴãaQy a.wNtgeW#NE0MPV'C[i& ՜_3r#,!ׅ+66x'Ij-tTA_ՙn(\DtnLC`$2k~4G?L8Dic`*x-v}~Hek54$Q;V6-)c,1[g0P 03EȳE}_$2H 5 [צ8dgcY#㟄qNZyZ9Uoy3-3Miҧ$sr/4Ғ0:Hb:"*gk( #{+} fw% Ok̛&~!jh>]Dʏ'3#F:| lysT3AJXyH,h15 Lfn ‘fVmpҁ♟ǒ~eBPGd\L7{l}c`&Eʤ@Ǫ!δm ~QqU8Y̱qE9:LQaȦL M ci\/؏Z00V'Ib=DmJ]m9FŎu8\"Wk-)BlEqJ8--7!.YtȀMJKr5tX ^z#'I߯b%D|eBlȀ,h?ZBN 4 Vj5Q>Rz!/5WL~q/!5S fFY> Ęs>,{^3^O9|`d7zR?(]д3yidTP8/ #QcNI!K'=S 6Fw6FMP ~C+ƋVGI=_qB4L#v5g q'sWQ WCf2sɴ y~JV&ibcqX [ s=Blg|͋@AwH T%Z[Q" p5LyLY6 h}|K [qB 0}G0w{$,c%dcSy6l9RJJh'P*=ĽޮG،e\(#P[Ʋ[q2U{kHS!WUCr]ڨ\ V^zu46 _y@=]ndyMR5)P{8޹ލxx>$(KK2#gP}&ōȂLZk!]]Ђ6Uh;!BZHBM4dLoP^e00v3亝TW9{f z1WݨW|4Ŗì"N4۪i*K,ynl;<=B:?,yn{~mwGh{V잭>%J\V{偎h)ToL$C>[ߜس*UUL[7Cj:д +Y\6nQʯ#H&Z[*sd%ڋdXgߗ!fa=P7'E4j?ҒK s<+^,/\4r<YI: ? VXG߼"̯s\kcY7<-?czNQӵna dQ(PEǩA*"J["[?Pobgs[sOwCQxޒ4S eH72ONԕPDp`9 qL5O݅4gNVҧ5e`#6R^kI k 19"L™tzDTJ.U`(!x9FU:/,pApto_m1̭dȘs"ة<.xaRha>=H|7OnF$_kԝϒC!YLQ~k-A@Tn-3u]ge69fͣ54N_QC8Y~&wx&6'l}oiΆ `-mS]|lqd=PM9`˻:u[rF…zoEʥOhHd*wCIgS&H8RTڼ<+w, &e}]{tvvsQӊ&ZZ9qj_4smpojdSt !h ׎"m=uJ Ƚde7n˛< I/6j#R{Rme,<X 7s_d%S7j0bq+>=Fb6TW ZuyON}鼆_ꁳ/WR.;}!Z78 Tj|#B4Djƨ&GR1Zce퉧awaw(iְ7Ia6! ;vRgabcV:쓞kr \˨pK.W]6VJiKȰ]2ʤm,Y;t*6q Ѝөqi D=bng󔷑khzY6Ȥ,kJډ eLneBf64ho~<$:ג-s,7jF\i޶8bzQnކ]AX+& 0fӤDtk|uhBfD/O|2rМG0aAkH{2#0kH9qzSk>d'Jh(@0#vL؝bwJufp/$uXvoB)\v_'/ŬM@^CEp}&6k0Mξ6*2S6CHm4@vn#_=3m Fߛ~>V>f[4rxq 4_ ,0297LL+ځrAJl7ߎx4~d4`jZ~_ ˈu5C)C U\EnCۀ[Hs-I[6Mbu87{oA ^zӗQ̲) {j *6G W'@n+mOE:THWu}DZ}ͱLW1qsf~&2g{&q"䯟@P:ٖf7 eXd! Є犼W]*J10ZKXeyoc,L9 5w([uwgorkz K.TLd,<>QWlTQOs1P(vAP@jxӷHarsiŸ̸I$toxPLH%"Ó>Kr[юp"蜐CBb!Pi8z iNY)*^{,ec_4^NL[|\,M!k\v[3U F/N-[UWHM'l?yRR%(e+2ۚI k`"k 9L45$U̯:J:](>B0fݷAx+ct9 ٱFy1^ M1SܸQ,6{y"&s~F,(nAB!}ɋX$ DdV'6KmQiճ#9$i5;)i植d @&0 ;׏6|`yк (3ĉ@C?h?Ϛj6z9JFՖWEEQlnj/I}JBvEh f2!;A 7=Wⰻ9w;~սI3}=Z+: J9atgH5񖃂0'|(gL?Ғnje&֝S~#_݌TGm[XO.,-˗zTB=U@gJwE ɣ=AѨ&jVF5ܯxG=)}[DL)k p78LOd1t i|8t%-BnSQkcUK 1NtVB .U<²3-|pU.8$"J@.i̊68OgoC)Qw=~C?M^oʼn XGŲVڤ.GkO4Шu~ħK*(=>mmXu1I2˄{ R+poHDj|hH2HÁ}cGI IES^^=_*9GP rw%V~~h 4|VZUET^'l5aB<S?, wFU@*Ԏm)45O;U D:OQ>HBntrOd1at%>2h+#6E[!vOe`UfNgFRBv\I"۹ 9\SƖ6[ m15\obYIAMHCZ*Ʃ/,T q`(hmIHb`BK~8>}pDA΅O S3HU` E[I!hS/U({g2Ń?eqSї.yGeVI]9 >݉&7&\aYB^Pt{PN+s9}yoPe1ZP @B`q`ۢ#SX'_HX_dА"y7 dWW6B/׽13w.I>HojuiETL;p0h4dP\sw5—gh{ JzZTP#8LW^j@(8 mV˜f UNxL|mwYڋQ(SF$ͳY,\4넳gpN&f`y :IxsO@!TW;aO $&d+dI&t98iJ.JB&|I셠޺-J_+2+ /Xʁx~hN ^t$SRN$6(B/DNKemw f:QMߔpŞ ٌ} }4٠6vqP]ˁ5捳M/Yrό|.)prlz!蘷=Cz4oc-= {였rz%d 4]k7^nѬu֝'5:MU*,\ iP#8K)4[`};dL*3-iK Bv=fx_.LS KQp(nͼ܁H01isFEMSАKNɷqmf^JXWHm- ZH_AY/=5kma.j*<̽USՀZ1H;l#&s׹MfE3i'yIC;JڨԹ6$GT]n HJT wE^fAx>xD^!G~!g҅?[i9].e8S~KL棍+&D++͛'Z}eY;p:oۻ;k5R@+K G߷d*<  egFt̚vgfT{౤Y= Ko{3&x(z7;S0ߊ?*'<.Hdn3 rF0t ԣJh? 3L3۷` 1&N!"HgĘAIBB\jʦڗd6WFffMŭPF*_тVgV!T6䱒My3Z?qHYQӬ?<~$E8^l=v\h6oW>a[# д|lUU3$vK%# 5D2R؃ Clu7Wp?X|=fD"m].EK&Re|GHD1E-KyOPMk}V ڢiaH{c7Ap$6#fkw-液*G|'4X8[\dڑw?]!ϻyS>R0,,nȱF|'UYc)cǦi`fc/o}$XfP93?CQ+XbR@?0u!uPBQ|JǥDX]N R ('TOU8J n׫TwQǘs;z뤝C$"L'=U^ӡ)QaZ։3eb]ԣ>5{dv,ٔSv@쿜0ifF5TiL֌JKE]/? K-Hh8MQyɑq:ߨADnO''AsܨuV=gYZdece594bb946c2bc52d9ddb3ed13c93ccadd15ea8a4269a42aca70396b3fb4cbd3bc25030d219b39 83f4ecef7c63c228d52e5c4edbadb14ee6b7fc2d 49cdfb4a7f6e982b095373f190b19532427844c8 0204e6f779ee7d81163b76e9291e023f2312cea9 edeb6fbe2100164a7e6cddca0c780bdb315a4671