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  S S 1 l ]% HOL-Decision_Procs:threads=6elapsed=257.416cpu=1154.344gc=157.556factor=4.487zXZִF! ,]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  bDoʊ"P<~$!KCK^\vH E-4\rpWB2FVCaIbZThȖӸUx2@&j@4:3](j!C\F:&%N7D㭼OoMz.&`BGJv~8C&J7˼f!3DB$#%肟 p4$"VoIL9bRJΣZ] M me"/(?#/ybfw[u*^DQLPNLN?&ײSY[e)] dR4 ʉpSXY7)} q JWzH+J^5wbW7^z0mibN&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 oF˳~##DO\X.zfOBtiҸ>"Jo ['z#&E0ĕV\'(c.?엯RG@'O竹uQbJMH 5;~?Iۊ+@EJw*p n#ɀO2Ja n-Yٰhp9rM&M|<x4lG_Gl _I"h)S}F8zv̦9M4̳?dGNnlj(b{ r|HCM~H_$ķbFꘃO8 #rx0tY _;"tܳ2^3z ;YM ܔ,_^PʕAWBՓ!WKOvA 0̳(2n?.g*e]WJNp1dc2\م\f7&GԤ']$1@c^DR`zɏE>k{`Jct)5h Rd%[o˨i*{SZ~sg0DorAT/FObiq""wᘏܛE^1_OqfC`jQAcʇlHyky_q?E'L%[3.z~ol,Y1#noIK"1N.U+:!Qmm7.dnan^=&ji\Y0YV!B 󺡅$(~VwY(җ괆 | ӊY#;y `ЄX>CCqa$W<0>LaRd![C4^"^)5ph ╪S =[dP y@"noֵ2@oS#3gĪ~>)Ϛ$`iyru-3IJN H* x61Ҏ5N+}Ч# xA'~# xBϼC#X$OZ -)ZX{"X}31j 3_0j:SkvElu*iv!HP (_ 79Lilx:/w UFx\+/W0o8 (kY.A{eX4eV 0 2UAPb\S7NoOpzdϚ4Wcg-ᗁMRჱ求P-Aت ^;Gv’7ŭKFlR+#pDީtWT% jI6j0*IÜJ (3zqO%?UgV۫bc\edccUA_-]żyA*Y6b -kQ.& #:2粍ꊲUmm1@\abҏUI#+|$ ;ğ`ɤ,+3_*\kbws @5vqm[hbnH>$*6|woQҢiK\55b1@;q\t`PG0\k RW3 rE#6 I*/{CgNwzviU[g3.P.GG4XQݑ)_M)Xί| AF;][Х;R8~g].Gh4qDlU>b{r ?LW֊ojTtE)>q{ ?W;HCrӂ f| yXH@2MH),H1ܷEĖ,^QMw4R ˒.^&$?-yjCR֥zLNMTo6:Q_)4謔m}2N[W!磃>=]<as$'eE 3~S 8%9hXι3!Pyى; n`D{̴9yjJ>2dTd(w4!8y։^OC/[ Zo~ Hߺl#zM@ {!v亪) 'a>VMs;P6J>Ss7 !mh^(7_z˳LD&{f85*6sih) V8~"+ϔc8qzXy!,80<&~fZ9ejk66*6 I7-m?~As>Yq|zs~''va%P5?Z#?&K:;I.km+0= x~ m۱{Nß,A2r@&Y XeH4&Ti9 %٘>hY~F 㶖.@hYlS¸;ݒNȝR x* EE歠bk~dd&>P$kpsG"kdj2?M@k 4V8D&Ym\c~Գ +:&vCO/2Q $h`CBo,(ȌrP (@Geʟa4xsD: PEULTdSf qJ1e$W+X"k>zSqfd5sZ:XHG1TJzvI^ؘ$#-LzM$Pcko;J`= uKxp/%^k%tkmIĀaN^0|Ѭ;zqVջ(tς4)@aR.dx!MFHO#5P@]c~ň3+2~gYZ7zXZִF! \0]ŗXiɟ17L? KxlWP8SաM~>fٺdHl-sXYVyxСz0z7b@J83BwRW$uC0:"g8ZM#1eaVs|p6۲~g.6dku>aY㷉 !e v4.Y92ZSv؄Ju>s^I$^ojN/9KrDZu[[0b9T0h_qT74ts#O"w TmФTHijA偓>)"?W8ܝ rc{S}k/\.WzJ{YPxC^ zHSmzE&(7i\X}pD# j係M\/T4PrUmḋ$J&%V֬Aup&O(=r,G$s_Nc2M]ge>S5&f["`]9!/c"%s,<Z`S0d_gYZ7zXZִF! T]ŗXi%Gŧwvo۱N @)n ܤiDIiE?ZXj V#][3G;oU$?!TC%\z5y f.n{¡icރk7IʔI8[ͥmS(&v6GH /e2 t(RO! us8'<}R'3A w`}吀>)Hq[f#oWNlCZ[I*fE깦p3x(I7冒S{9^W)6ʆ:5Zd:tgXMcp&SsKiV$B%YmR7>eg ./zYސ`d{(e8He8H7PE Τ( "jeq∂ IUL"KBfx.NqIs{̰y#`5wMfO S\e53>LJ*+!DRPŝb#:B/M4Y]J Ɨ!! ZU$'Ca.@`NDَ8tEJ38YPe&Q7p= 8"@'+.NAwS˛mS0n| } 7V''ZL/\ٲ}@:4Z~eJJTO)i[ڛ*BMtJWيc6'K{~*VIuce>Zu,RN:لkLEVH)|}/ruҲ@Hc86s}**x%~-E&YJhM#PB IJގSozWXi8%a63Z՗"k<'WG5,?<ϧ{68Eq5,UPQ|FeɫD7燧P&>IWJ銛rwOY.Ry)V49Ajs"^w?4=3(%ԚҏSоrta:J%+}a챿,F!+gWgRQ_-!*̸lL}99kw @hF hs 5xA pZP~>l3JZCX6{4J{4LPfVz*W %b5gAᓦcx> vJwM,i^֙=l\3c eC1n0d zl\6At#j3Wq}[Li(ȗ|>qO}?Z2)iujؤaj`UZkݻ`ՇD;AΫbJ5ZXG_$qU3y"O~Y a".cy1!p.sk ?Wۦpdt^uMf7l=_ZK!'PݖE"^edPM@!F ``:(8RmJ×176@qfn}-5>` NtwHi.82ZHoFh%ٲ++E C P!u}Ֆ8ҒVo5eOmD>Qa:R ;b@I AXIm"ѥŁ-ŊWȣ6{/ XNA%&y *ΠU[qj_it+Woo_cѿ(@lH%LF$+Nҟe0a%+:*bfT‘;QE@!`I|c\QCўhyeY^}nCmHLyfQ~q yKc=:d$wR2j!/:^s=²2B")sRy*WzGZB9a}D5Sºϡ%jX~D88 j-]FnUT.}.aѪkDc#XT&!"3- zH8cHɦ{zz-j$t?ĢKd.%ң1T)N'r -j涊MjBV2macV9[ҚTjQH\,{SP> FBS^&z6^>12*"LΦ0I&oczZ/ٝ'bi֡O MvaKp^(jЭ?ZүM+yvl!ѭ@Q^&sWH=XNF-mak#՘M=0V#lC [zĴ;3BT1^/u Da~`>17X~(lWUg'U[Qx~t뗋Z,토+ .eFz5Z@ 2IB>u{NM!Sk8~ߓFvcJ, ]]zo|QYcmE,Wlj7x5st(+3m8|b!m6 1%r1u~rxC-ES~ˢ*B|$vA!B;?^켃A!,sJA4-=)zݛbD}p!oȏg^l^MAsd&uoauY%0k|!pgz_W_cuM[}[c MBĺ1ȍDyW=po%:kK&A)u7ʲRZh8϶ ' }l<gHA ^@X/T5<ۢy&IEh1R[(3F?4&~q ji=Y>ڇ'*K.+`%KS!_BuWJEuYblD8;H5Uj7}cZT4K FC&6YT3}1oy ,BBr%V/_ӟ{آDApΫ|f\JIeqTmzCn;QAN@!L;^i XRy]#]?` \m|k /S? &q {ih# oMοP1YCV稘OJWӖyWxՀON'qvpm ͯjhtfC `K~NJAse]_YM>z Zn g)RKtM"1QpPK-٣}zX4>#FZv9}0!%-~†ēS҄lbI"(t1 ;Eǚ"duTVH;Z-Dev]wrQH_b&' ^8U c:vjpfm~ 9Q"%WƼ`AhWz24tpB\_-<ֺy.!IQ}` )Q='(̉'˽9#h7FHK*Fm m 1Eq QmUjP14sLTz,6dTH1(vhRMøU|rK-.& OܟPd kj{f\vŇ[v?X)y0[陜Xȫ}c3Hu ܊6ū-Xzy+k-[,3xGe;)귎I!n5#gIxwxI759t^AJ9pC'"}M>[ -14Ԝ3K D ]uWB7 p3WbWס*Pg08Y8cdD2aٷw,PrݻJS./upv&Oىbhr. ϫ]"2KG^o'0tHҰ]\2D]y}>/fxu&TV01Є#_,G8դhQÎ _sղba0Ĭ1 mr]oJrݢIYy٪7J'(`wDžaM<7a->6C2@&dEL rW9埼DPLu{?A'޺{A u~Agsxtv}ɴXlG%qA#|(nVw9NUk¥m}pNn|0#n19K=蓸ϑ(-/^;Y>6V `-,%3NJ aARD$glaƒf!`DžK޻%FpFAH)_RATVwt&Nwu[5rQ"HNVKQ-14z52񈡦2u*D͏]ͭqrfm ~\`;P jEdoKR>CYDg@ Wsʰ#hǿJlrNRzDl*w0!'!gRg+Fw ӥ3:F'exxct Z;V^h ֶF}L~M}(.Mʗ "*^V\,X/ WJy#;:0οS:;JbA %*ӏTLg_G>m0׮[b)*P! s'Gj֕8.sǿkfme;BvʍA{7w`mRЁVgo.` 9Dc)T$t,IèZt[$ H4i_&.|:!HB J[BQGfx s8~e쯡9d%ҮWx6E9T;ut =K:MKTVyKJ*}'z-!Oݐwrb^4s3T_r%LmjL8.`K1b5; ){ ~TT, hkvLm>t$.B² QY)R/9=|QbP?gPdI/֑qԊR^uzb_|~m%1m OFjk? :>~ NQ(ءWsZ˄ @(Ik7\s*=(V~m峸 z@f!~%YxgM!'1-$##\i vlu=ٍaI 5A,. ՄI *3 RQlI20&OHҚԠOOfXDw3M:pZ'KϔK!qy^zqQ"*$ÞYmCPF2JxD9^V39 TnhWXCz? :wlFaALڈ kxkwBԮQ$DE˗Rwפ)4F)Z+4.(p9̿YNy%ե*SsԲ7<)䭽gt.>$$zڬ["X_Q+xDD(^-[vfK6ײr'Ϊ\,Ԁ>.t+x 0 Mh ETc>}¼#E@5$Vy} ߤI9j GRf/S.^mػ&`%YQ:Sg=ܓD̄o T1m}@F@| ׹B,ټ%UnѐP.#Afeދ 3Х7DM"nZh?.9~G'/>n0`w:{]H>VJ/(}W40J ASZ:86OoN{Q]LEF+s=ŷu§a#00;kSO* ~hcŵ&=ֱ\tH';(?+׵Ǵb$"HuYE'W:{#hs{ uv  z׽A3?:qݓz 1{(Xx`n BSX)׷ڈ f?YDաf|."Q-WGat6LYhUx$v"EbhhQyM:a*e 63j-O_[E-H4]DRJFo}06Qc8BanJ|6|ΟpXIkpO!;(y\I>;H\Ek?u5H:RAGW.\<l;[%[,iʂ)!K!m6toET|#r{.\nGey;Rk k? BtMt-|rw2)aCF]pLՌ9tXT"9n9Ipl<\wVGH@C s~ }a![0 c>%ZeEoO7?4%o_/0&_Gs\+1 bx;wk+^3zw猛. \zw4wK-YkjBF˽(hz|g?l)'[؍$D8>H`jS*xTen7'0 69."N\5: w3xKYGQزL<A|E3?%azpl}od< ~`!Fi x^O]ơ-&ps; n\o,cп"ґl|i^|§m&_snO +JJ}nGwm] KMLÑ&T d${D .DÇ> Y_8%yP5\^uaSS' 첞OZD8 I$`CY!S,B5U=\sKԕdկ] (|y!jЮI=Y[;S~/7ĩPg cTbo;׷ԧ׳WE~cOG`aUG"/pIJafͮШEXz7܆ }00),;nǭܙ=mqDX׍&b7OYoǷ k9ҊӍSd,; 4_RR_ƴs@(p0XPDs3wK%b7wR2V_Kh;kJh L܊ oF-|V=LpGajFЊ4?a*+?ez cŝHt3?#Irݞ?@?Z韕:/5י^֜b<䀋X#iW@,z>;&Yߥ@)N(@Qb %wL'bbr~9R0!b<^F,?ݿx;A6{}n7Lݻ25'y$&K!'Ts-3ׂ zxN#ǧ8V,⛴/V)(JNm(7=4MAl^ĸs(n;sw~͝%0`K <ìtX]j t.̼51?; >L##l'pU1 z*W=;#k%A7b6fCטiL'i`>N"^@Pmg*I/Ӽ|5"hLvJ~F> "w3"5:Y(Q6uV78 KHaє@~US01Oz>X4y'dkk~ YG@/ uz=O)W&Lҫtt^J!|_nDS2>^쩮5 yG-!f+ˬ3+t ~es$[ G=0[/>+U-"rٞ*8,x6ŝ}DDTΞpd^)oW ]S,;sr6l8\-շ.Je5zK~ydļ4lRyYV9v0!Rr s=KSAKBt 4,%?5`biJQ$^x,y)/XF+nV:lΐydMWp;f#Nz,qX'W\򞙀Ya{Ih=c y/I^8l u795 Z[6"38b=K79(RϊdkGv_uK<@9`VO 1h GVEasTu z֔'G慩T͒]~T7RM3G @ܨ_ā+W52NN|ȥ(BlEjh"DB鶔}Ugr 9HPjMՊҬ;y Y/ R1=IuŕݻBHM]]*ՇZ)ہ|7AuQ :軆۩N`J Q^'G7 yt=ڻM s=LL=Jp9m(>9R7opN݃m.4]\O)?cz$%lK85zQYQ|_\UXh)& =>x,qvu/`#AInE;^s93 uXf)EqkI[7KX5 cWwbV53<nivGFjh:>N~Ȅ'&QRSEapM(UCM#:]i r:bݫ/'XYuThQC:l˓NjQ+.6Be=y&m7g[OGm3YƄ`b.@! u\sEj$ճc4MmΒVgF8j/(98-pT‘v5W'*.(-~w)5#!_x462 Lo WjA`7)Fb3n9%63lN0v)1kB/V uP2IЉ~77g &yhT|`>Q}uLpW*$DE8<_<0RC_s-?E$yxӢɥ_eU##9M{#.i4čV& ArHK8Cd(fYQV\Z٭nC #p?ܡ yv(GDhm YئWH5LCcD ~t\ ӎcG7(ī)s{zJeUOVFFG`wc4Ma6u}m}o3 ܔ^tт.K)>J5@xUW@x*>?|יU۷ AA^ ̭_.ЉGG"eԿ/RPp4TEy,Ypaٱ]-I%OO7f ފO}+LzQBϛؤWO`_Fq[j\{ GuiW|-yzI&kODsmi Fጄc]^ 7}II+oWWy}.rOx<^WydBf_ 7k2S ߝDu = @xudeʘIIIc&6/05d>e4z)qxwZSkwܺFTkw9F{x}X y͙<]%W& ,EÄ_1Kmӽ,奰,?,=͒e1z Y>|0$i[=IT9\Ɛ5~m%7rK5߉{l%R[ cJ8luyCWVЖu e W3>doQn+q!KG<%Hg` tmW:y &\&hyLb(Y yE] Ozlq3&UBnȞOmIMPu" ^+d|2! 9GĖsܛIVdcyt:'lԦܴ8'/ڼ0oZ`!Ϯ|M+=os{?r:%ENs9,ؖ'q0VH&89!/$ P:K ;&юq KjiJ}(?+ hbkMko DAF/2ܴ2},ѳ 8 7oá1^_3.l۰c-iw&6x& EzirքRg(dHb1]֝_Ny0ZXN"`\[' aeq&Zaφȭ84_ƭ8>] 8-q0lG_M,{bav씎nt`Efn"= \բnHePB|M@Y|> ӵg \Ws|KJcSݦJr*P1e1@rLvo)(DV#WXrTPmTȌJmN]AHHGFe8w J20MSگўUE%Vh\!N/,)gp_R+I8ж e<ڈ'%~jrkKڌ7NW'P zPVLY(_ZD$\,9 ,|Bs?\.LBiWnϽ;>c9V2K Px =:!@\?\Nc 2KR۱bBt!n- 'HrYO7lŲ1#DIStn?':~U5P {F%As$h _-'Ȯ (PZ}|-{^P9J%үsizJNʺ4~A,ِRJv= m>`s"tj/ g\' Ȣ_.WDJ4!a{v 44jc"MslY@qb /NxTus`F\a`6V ^)_хUb׫ \ ⫈Or;U X2,UW4Fs":Ę1d4H S~5̗}\Y>z> O,DoV \<__ rSXv~\Pd/MЖ:CH/1:/3 FZ찗O<ڊБ1s $+,ʖG[/&Q! "z;T[;VT wUFV@3d6}Qf_/;H}kmo9M#iٕXog#2s!o%qMпa1 Զ<֤{J-]CDsn G{ZWVDϑ?] #mz# JNx]mPN?ʸgxIwv֮U =dZLwyIN$2;%]J6E 0v irBx)d)B3l C霡ơ +Mru(LˤڄR10:"5Nhܚ/ Ka#LހH^,LLCm~Ez@1m5rNWiUI:za?= QC`+SV}Ls$ }m]'~`{FܧgYTۏjS- .>jfs&>I@?[ߜ`uvd;3fci~0("=. ̼ʃv! qt([ ? lXVM] Ϗ"2E}诗9ƇԿJDTB`mcd;6. d0E 'dž,][ Q4BF ڟ);;R9)vs枈L!C`$,=`{)J<+B|vvOȒ-\X]D_LĠsQ~E$b{47ު+n*Px6yS'M"m_ILtFc. ̀:X+mIڥ`TuFHOD 6f[ mV Sc qcX@mZ~&._"$TI=i!UEoFx{x/W1ZܭфkG o{ͤ {:l Db Yk0]o'oF`65]@怭|<{#cj)'!5x}lvqY+ E|ZVo&5pRNn2_8}f1KbȰ7ף`4Cޓ"5*7C +M2uW$!NDuwLJGV>%(427k D3¬0/*&ov 'pCwhM4P`]W)~60 6N]?36 Eϻ z *F}C9|WSЊa,"dќ*fsʼnAipʡVS])c5Q_VM'窮S .I^[mX"C#sTdp/w⚳nZIHJd3(Ylf||F^&eH01+9\|!Hw ^MK:ͷiKR\\Hdt|R )+* l H9ÏܝEU .8gjܮm%MX/'-&ne|BTH y ^? +;‘Yչߞ!L`W̛XPfKU%g -9*n ~!fE*; uAӀ殄I8KlŖ"828*\PFg|WV~"V2DR6rbZ>o)Y=:5WvGK_ (](=&MezR]A4Lo.=MA P\nL]cy2tFC?`/Zo6H_Ohi^bnRZgf5B嚭`MYt.íxͥ归wK$kv4_GTQ)rP@Z|8=?Zwʹvoun} S 𲈥OpJAbOYu%)ZRfkE{`ÔfJSһ=M7'J G늭k!M#b>^.<@>pWdG0Y3^ѓɹ$(jQ(nV&GWݘ< tXn/^ĶӾm_G76eD>~T{\t AsRXk MW޶^`Sv1.^GkI5NW4`3畃0t=tyümڄG"×8Co Բ%S+4\xTܮ?":/phL Z%~'D $Vim=n˜$hXɍm;0>qI{/L!F<8 Ɔۥ-a#4ulkiӹ%e|' czZ1'B~v4f; Xh6ג4'FcqqO9gj'JsH#/9G1@}xcN,$spY7qlsO ʾ߾ SѾAWU{[qt-壍bĘxʥN"ћY:]6IzPW=Z>G}fdfjȡ/~Q +l7C:Ew('BANg9zXO{\($\($ĝ;.yg%kZl$a?-jėv3T ޡ>[kuE"27&m({TI%PR7e˥Sp$rIWddf` +$QWmbeOE3b=c =KZQmõ e ?#Y!9E*gy[yye9qU 2.LrpJ oFGsROS Eiś̥2vQ_oV^I kbOme^NB犰S{ AӊX;!8f@P3|a_Z*.l\B`6}"u|@:YBW?b䮳A4u> .aWaR>$1 H4DIթTwgYZa12f0a162cde44f8fde6abf99f1fd086a34966ed3d9723b0e32f4dd4ca515d1d9986e3bdc7a8d762 6a991311a17f5f09eb6bc9927a7c8d56ec4ee3bf 4fe29bf771b13bba1035e30a01231fd033bc0c11 1eaeca10c28b64dec5f3634957a81c94fa61e5b1 a8eb188daa285b1b55d3c41f6ee88f4ebbaac633