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 LT ]% HOL-Decision_Procs:threads=6elapsed=215.761cpu=989.172gc=86.648factor=4.587zXZִF! ]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1|m$Q:ݶz*s2aX0ڔQ<`-xP;`]7 7ILJIf#Vٰ5iY6)v j2YE\L{.҂C-S ;/(7E U,|adU0mibN&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 գDu;zm },{&JZAMY]ԭ.\E3VQ✢ǂs T$ijdg%;E^6"A,~3_so uS}A@AfoL"a?|>¬9~Vgf th;2ՙn9 !_S[Q3;-ϡ`?+"ji@0459(04z,Hߝ%Sd%ryFge;LIt i1@A(Eަ:m;޶ jN4Y=lF(u9)nTi7~VATB0`N˷`eu۹KSV~YO~m~;pշ?R/*Yyy/dDHĕ{ dW&hmX"=ܼy3{ϡk&h QM&f[a;d=xfeuLI_%0t/gԆcAqf~۸K4)+OU#%^9eeMwHIf495p ROz';.R|]Y u G~fYk-r{S+Or蚄:ن7&0F́"P{rc'<ꒉJR)QZ(GU*Nl쟻Fv}50ZN~ӄr(8cE;M q(QR%yegXȩzڋ W~E}Sn]C[?=TZc;ŖM0%+ѦgDu)#kfV@C8׽u vkPz$VU@8څ[GYtE,1be7WG7AD8sF5[ce:{Jfܟ=';?ڵuI9I"9>{6Ch}ƫ\gW-3l`##҃F4q:o@oUraXeyyqCgh+.j7.6y}c%@lqRTђOJADF(MQ'd_;y&c^y-KG]fKEOZTTq3v4'P/JRA[T PL#|IT dg;ݫ~bgRHܜQR.gP >t i+x74j< jB k2XN(x[Q>צ԰{y0'4Zt Q.^yl-\֢j^ rm&Q 72;ic.;ʊ> 7CmQߟa)9欘Kza4z4ܨlND޲?{qK}o 2@ Ju(Fe̵1C>djGX1Hw"w9,J 7:6[Ђ_P1zC0ٮG|T"2p0ǽn pӒ𒁷  o< VG ]8x^و~~d.m;2D1HZxv`~נt[< bPEn$No29D1ίzUp5|Kgs}Pg+͉uO[׾7FkZF:ݶurSg?Z9z˱ae ^+egr{VxHor9j9#u0MvM?J^.q̘cYI z i*[ڜ{xI٘xk·f[# 0g8cvҧɩ,mVZ}b]2-#OOIgoX[NnQsډt̯ř\p% W% @0!ߚO.Vmse{REyGqBU?%}ʨFjWiiF7L aURr:2+nJP2]-_3Mjz1Zɵ^~hxD Ԏ<['.5W.;"=^b푰9*v4-X:Uzh7ܮJT' {ebc@l X*zĉ NXPehh2{kJG嚡H(cZèKwCk>3X\q[nX:Ę9ZfAe&霍>4Ѱ?krnFQ"{+)BtcttC;R0Ͷf~+dԁëO(7mD44`˼ؾY TCvI6Y^da7Nn)P\$4yTw"ﲈ!ţOoEi1\[-I>BĠ(I-0(eS+ƬթI]Z ;k pQG\Gߥu/O9Ԏ]Y:M<4e8cE2/S䛂 p1I.R\Ye2hG!|K1w0A #taF3lp~2s!K4&S#q?SExQƇތ&<_Y o4Pl%dj*ߍ :>>vGz&kEڎ&'cψfQmP) aeYD:A1 9$Y9#Z)E&b.ʜ1T|HLGH7bm2'wozlxČaݎ=&l#lxkQ}T`k5{$@RvyfD|EQ=J1RG9kR:]Q % p9|Bb)$hË5y! գJ$d$n S{qТuDzzO< U{x 8sMAߊdne_OCۦ) Lbq@XT)2~_p~618yj*mb36ȵhl“AJ|)rw5L@GW`]7o0㽺{}@Z-E+2Uuǐ#1*(怤敲mvWIL-,qD49~q]YQч;s[ 0&mfůZTQ͸a9O!6y<b@<=.KeRs$;v8ůGcsV?sB x&COjU) o<',zU>Qݣ+0l`cq(gAW08M|a0է< +@:]^ y|~+1޳CdגѳcM[Bɞwsr(vIfc S;Œƅdƈc>Cob0t ]f9Ǥ "i*IJK}љpтw+Ӂ̛{4 m}Qέno ɜj F"\ D^5['풪"խõJHd@r%j-PoCn&"l(mTN\fhc'#u lL)LQ-kFy?5UTP[e%Fة[{WcϝDgdKYG $OMZo4@Ԣl0"ʅ52jpF/R]vZ{^K&c#r赈ome}mdAwtou쪀ș)ێ(:E Q$;at.Mk< >+vFp݁e%h/K/ثVQ H5OS+\tZM# m_pXlC j1{w@-naL L(M#M>6\E~X6-"u`STrB ɘ!r;WUgPMD}&6T_UQd^X)Ƞ 5V W+}>_I׆}"A 䰌1QF!U:lM\[VF)`LR5b$|Qfb1;0 /X.pA _Lf7PۇR0 5fٺdHl-uEzޅ=P*fu~7K¦H_~vTmG@qFTphS$g)Nbo@$g\w"74l],%mGR҈3OR@)Wl.S,xlDt]xvlQl2xH'oԀp\yn1pG)Y=N=DRqS3-L1mR˪S㵚$n* 65wJ wpl9aL=ȅd2HLω "*Z@w#+Ek o W|xdá$7f3], vG}z錳BFGx xWqbpgQ@M Pv KÎ#_aWl-u[4 ZMk?0E4_ʻͿNwKpgu4R@MїH|MT挡w@dEH{Y0]gYZ7zXZִF! jiG]ŗXi%B"㔺mvǕ_۹*C?Y߂}P쫼Y6k(85A-ꏝ%'Y$_E|ưm/#;o5ZT@~Tp%k?Bl~,@Z:s ~QpE3V@ahS@e5m[q)4O3^K)q!{ 1[es{M >2]бkQ[i%m\*W_PkEYZY^ tpГE3^rAG+oـ FNx]NW<1cA*nȦ&wґkCEjᰇyֆ>Tn͕t%7DPpX$ZP1M.@lbyW[#'@woRYLu]AoS+>< )3 L DbLwn;B}a+Ptf%\v QuS)H!Z'_y3H+WIi sҔ{ ]SԆo$ 8N[â.n"vDla[L0>]>[פ&k h;*Zi?CWyk5gi{?l>I>KE;G@j|ĔHzEoW.=BHf5b^SQ;# lyJRW/i׷P S\-h\gzȄzrޤ]Tlcn;EݻŜ) AڕHBL܃ِ*KWDe~-0 .it0AS>ȯ'̅|)ݣ.Y 8ޱb3PFFjclfd܂? { Y?!<}4Y0+5e\sZ@ { - B+ hЮY*l̀Kլ~^i.j~W0IFDJ!{EHHHhj;7%F8j󵮏 ;dT6bcrY!os>:1({D̝I -)pmbg;hqQ'9=]ݘ߼ճ 3Vr\iW69G*ۡyKZG, ]Rԯ@cޣlśCʖ/*wA3(晳5G9G;\ɡ;OEVl^1`}}ƗubpreQ oMjNZ#}032' [ ru6^Ma`N+;'w*Y/֕ot>I6%T~gBm#CǢ?;L۠+,)O"\M`D9%4u @»jµk B7$dhUkϞ"[5m(YG dtQWc|ÕP!&vriq mEr$+ų `rcSxBVko%XKA}:̅]#HqQQ Й  9;6| @" F߲xBHS#mΆ-a)zߏǓ; Gsr!lDɒM Os3|[Ĝ.|VLd{ kEi5NwAHU5(.Ƨׇ S,K i*!\BĽ #!Ҧ 48!|eQR0O pѾ!bgo\>d2|c3|jX%{S;Ϊ O{eJP<ܦVF PзƗ݊D_ VwM)&ObDfo 2*3r9Ayק|zZm3 .#kOs\f2ư-$Sy֋oe /.1xПezyVD(ҞcKr]ԖSj)E)D@iO.xZ f'1U"۔oeLF}vP}dϵkX!#JpKV\OXnJ@`@VCQUVRA}I_c} ŇS'FRͤkc-6,ƮH[x֔i! I?WW*ÓV % KBMRb{cD2_.6G}"n?9Ou5Uk |o0@ }j`w Sl F˩TVU.gMmعX+D=-`.tQB!_8`XB[6 |βE.0lVủ)+U0?qݽRz[&xxwƢQH( (.>OYKe`4\2LL(rWջ:%_BʄNVw.d8Щټ6Eb&"%8t)aMR<(Xxƥ/9ù7^bv ޠ@uT}d!݋)NyPzQTL'lDmjIvAV#o;6юa|(={5*5wʇq ׇO'Lڱ84h)@жbnC3|ṭE2mixu@lV$=L*Asp*py%/ZB*\*#{l I^:%#F?j3B0_dZOډ3Dl{~ǒġ{Dw1 ],J ˫ܞb22թ#os_>ܑocVB_O(,}:sgz47PN)-mPjEbyde0R n%h]4m摆;x"ړ_Y k3V~b hg) )\ YR^e :eX=6PP>Լw@N1+aiu·rynesQѦb8ULZHr.f[+IӶKϙS@P,pmro\[aΖvR߭/D9Ң}\BZ]xS ͂5*kGx'g^e;Q&aơicCTP<;ʏy1/ ?dyc)h45qo]@U3`З%h7r.&P[{w[Xg4X@.Cš[XjNժTv`O`i0cYV9m^@`.X6?,v#^_gJ+Un 3_pa ?uLMƝ6rj?<5 [1cQRk"zK=~fi`(x$ @%m2kvzs-ޅ8o9!a ؋ ~Ys-x;kf\N 2ī6v]N^tOV |*wcHK/VP% !zmE j+hLЉW :tϭxrJ24ڇK$"UDk*|,wbNTo(:3agڙCPˬ|.zҨi& 8bfK_W2x5}Xi(S:zDE o~2>Cthl**B6o8q}3*f;b\@{c> i㤢T>@sLXH}2Hχz J=%ĪfT{'~< [a_E"1Nx׉U֭wySO@@{"(r-L>2j;R~f"# ߲YhN&a񑴃gQ&~dNDʜl^'jbv&$-_E$iW5#Q>ZuNўər.uf C%ٚt'6:-lf.\rk r[b 3=-ve b#udȐ/w%[/fEV;mhwfɇOmX˼b OBkL oc /HÆ$KaVnӦ\AoQCΤ^3SCow605 NB@%fH0[i%*)O(5.S6ж|:Joħ- Rà Šv];$s9S(#>M1*8c)'UtJOlQg"v6KƽV`0rmOӭUQgpy$}+ .ͦ`YޥB7=2^|$nd)is5Z[^&1I⨓+" L6Eo- 2eSr;@Su~Xg0?-Zx+c~ lNӹj\ro_G*%A:@b[笊$XO;ە-qBg_k_=H5c\JjrQdG7(CfjDϐxѠ̚JE4qxd2hb]j O,2Bj3I3eHQ7E^ɋ&F]m׼abn?CMȎ~C>Uc%=gr wPgFȄF3qh{"(AM!1C Gm#\d0=\£6܀Ej/"tKDc ڧ史@1;C U#U_v61K_ !p8M*o+& *yn\)e0=osqD+Œm'|Eg2nnv6 TSѽh2oyi?[:ͦvXSOFfRy1μJSȓݝA?Ob;TU?R)krQ_ DAv#@3~a[bt @UeU7?Wndxx0#O.u j:;L!DgJR$XNa`b`rDi|DM08pux;&k 0t<)\{n$*-2cnmٳ`AA"GfBu0Rz< {rOu$t[F?h񭔐<$.!Uo 3b }EƆzWk/ XX/T@0zݵFx]H ُ:.ZHCoΆWL4&=XW18-uM G=eo@: X-'mnh :`"4v$󎷉5PеY >o^fNg/aX\']L 'ZmpJ ᲽzRTYE" tav1Yp^U՘UZa_TٜW 6V+| H{E@f/5 n2 P&- 䍎GuKA:s15_qRCF?xibd\Dz Tw Nrs|/>Sz'~GA]ʔѠmY`6ks rira8#Z ɛ6E@ tD/V(H}*a]gUA?v3lr*dC]%|‹ӑJL .Y%jvԆ.czAsw |NeV6XsdMV,,Ç'mH[~,QIChcsO:2c6Xggp׬ %16Nwi<ʌ=Yy;>/O l$գޙZuj4둴9(4kVu %ay2l'L)e$eJ$+_ TgDQٹfSՄ%[ hlL1#4vKî5G2#R(QHtTA蒈E#p TD -& _lCm"+\wѯ܀ 1~.\AW#z _*Y%Tz,w17Bƶj-Wӎ h ]gN"td@p}GZ B@zt#,H(9H  !<\2F`w=od1[O 70K *MJ~prgclA<9:m.C5Ck90cl'4>]p _ w OiD;VOvK/jd*n;^L,gMJ/O,]r̪V0mOgNX9?#HS`+Jy1ͼBn ծĆ]9ͨ!H1ml+NvF뗃 V0 #9h22_]npeU䑹٩kl/j!ܪbVEc; ہ,>ۃclZԲhXܠm^7yߝؼ@c$K3C?UsFy+Fk C5lW9Hqqm&(sЏ9^&.癿WboS92zj,d0>KK_n\A㢊g8 }JE'D#M2Y_84rkŹq.μr$H76IMNϲB ~Ѵí2m%2OlB7C;;dV)H@zQ"_ 3Iw gAe[40xNtw]_kΕi9DF Qu_cSש)s_or+GXRbxFnYImtqO)O׶CYD'x#ե́{49B<(-& T}W ē1zOcޣ[y=[+m;L<[ҦZ~_VUF9Q6amO޶Rb.T@?<tp8-+g!}ZɦZyOY3QCX< r%NefB6n$8!4G mGV˾Fqi^ ky(]̭ %Jm'ڪHu$Í3th1xnj(p]#!L O\f!sOmZaʄPׄ\3sa=-t,l/= |e@G!wך* db -),s.aɶo6}J*OSP3=9>qBݮR3KGB^Spek}&VA< jBffͰv~ Ħʢ5Y}<Hi;B[cOk\+7LzVvQ/g?(YNLC XL1L6 V`VydՆg#tp=1'F>YÅ1kgV*/%ݴ{Y09EqUPRU Fո<$1~-:_ T)@##Y. r})( /U*M`19.; %~&8= =7ry okpH/!hnWwYd]XgiWƚZuoof@Q҇ &:2Q&mOv73=G]~rZ3ƮY?sՖXȵ\{jH-q3`՘=^a0ji/ 9o9MY/k1+UjhRD7;)T[B~t\lp| O.JK.Bл$tcӈn‚\YZzT?WXv3r$F uhPDeH JWYo`4jpŸd&C{8``e-pvK"ny]qr5Ua2{8A!A ˄"1 į9ZƦ8?9R4UutɑdhmYaޙ\~h\eS)}JvB-Wz$eF }>L)IUp9]KՋkjB?..(w $u&>5wQRpYd$x:Ԟ% 4ԫ52гyu' *?Ny;n9OQmdT5*u %#eh+$~q)GWjO吃C뾚 5a,;Py\Q s#Tn\+'S 'YwX']eePԹ3 3:2a+#K}>=ήv[, Z5DarKyZ5$C"B%̠&3+QOΥ19*̐[4-&Pd%EClx@fg/K\Gޢpblvh#4d\=|phe^1O8w1b<`?vAL5q)CMY\=LizK(=3y k"-YNސE܍ #ny3VVd }"V~y{X6g^7oy\t;xg5^+Eįʌ҇H$#Ec ?HĞy8|_֖ߠC]M@nz7NtNiG8ZGXkܸ'9ڃo==Pǒ!!"26 3hNzʩG]}ԸȝB uP7֦:#C4rr43F' aֿ]PN0e'A[|qV ׆p^X(u_ YiPEB/vQX0NHc"WY+(>ʦ4c,\/aMnB[./Iĺ޹#:8:g"I d, &YGƇ|j+yx;IXsv2ΊӒ[DSHFZQA22h<ӜPB~41;EFg$4ꯁ)|SfM!c".=c>(We=wN{kkϟoݍ2 ȣchcLb_: kR)IS%} eKUl,P$ {0;|]ϞQTyE@."TtxxxDn[Ə5"NX',eW*Ǩz3FdM^/ێIfs\9F\cߑEv CyTKT[_;^ըS)EԜ7͟6筓21.>+/ *k~@W1G?-]Oh]mW(@9{y&_3v5PHZZlγ.Lj}ï"cuC88bR;قCy+" r'\Vi;z;a/7MP#.qPu²g \q34%ͣa<ˆlr#@uL/MyC} 3ʆ&I]/2}o|3}IJBՕQKN=.<VDZ'sҿ޾8f̰>lYǾWw qq+S'<"܈.=0]Ni><#4]7PQDmۤnq{o?1*)GZIObm}5랤I$==4j+GEYL[zaK߄Ph˙]P>,E3blJ(6x!p3/8NL%@S mUj C5q ð"$ơ˟Krt ޢ+O$}]SkO)>[Xtݏ$J5Q 4,C ܟh[z=:eְ\dH>GY2 [0_>Nn_>!̘*5c-ghY?"wWn0Tb c4I^E>xaR @Z6ζэ?Na k ?jqޑZ903kMe)Ωz!ne}LIr*P.I}HM[ X=~l7Nv"Po1 eHO9jQ1ڦ' ̦ :&,uaeǃsH07Iib'D1Ĉq"< d#)kՅIa߲mxQyű`}^ |pUu\nsahAg;A;d9C=~X+ Uֺ4bx3tO6i$@A>"=P`=v\ y^.I׳\jҚ6#|[OYTwdV-+??nz~r+!KW"Wܼ򹠧0Csk THoCn9>HP @~4&rN3~_?8ބ4o T`H=zv?k % 01u;NǼ"!$uL"D(c$ cnyWSr5 eNىCH ^h^7(J}~n[CpnBX^B&%Vf%zbWH@lAo=}\XIrY~W*n};EW;X8䖓B lE?osc6e1 e2D`+@i30Q5:` Mx7ʞ2A? ڶ ,a}E-*+4:{Z@|;N'3 |fJӿ?=/ur$-?v7<ER^\ze~GwAn_ L^Hb>{(rDut-ڼsK+TƐG4U g NŞts`au-/u>Ϲ|~HnN0٤4öTӨ8#`Ep{)XX(HݖLz %o op+{ *r Ao VZ[1iG![6ݮ46^,++dC&vXr.f()}jUuQґs#NP%LZj 8BƴAd7yEOIX$[з%q1Zz,HOB?C/n%y$K[R.3Ot~"V$⾟D( i"hO 2%!rOڍ8+!U_ZxIͱc!M=bCU13ɾS\i aZ(&]>:Ʊ<-7[ dϐ?Tt(+tCt'XVwEp`P}B4BGBO@8;#~2܊Òo&z_jϔ Sxmgaɔ1܅]ZbI_}tIFmu Zb IzNS "uHƗFUto4ֶ7g%d)E\ l8jVV5>*5g Q+$ķv·,;VЀص} 8(ΣP-g[/6*IV86fP3\G.kVJ2;=|5f BеD%\B^ j[ٿh6s y$>o52~R S<äE;d;I״tXQ!&ŲB#¦ac39$"7=s"bA%(b } e]jԕdW1I}u&0/P^^2@WV\f6Ou]yꞻEO UF ,)tyb  #tphyqgC-{xE|L$ɠT3 p_OzV!,2#[k'Ztr:#; 7.xإ,1nVCviE_}L1ڱ`rJB8, lIW}gÀgzŵ-vG+}.ǣIMbһ=?QN5p NLCJG#4` >K(U3ѝ1ŝA:6Y3 QE[MF"?"ۄ^)LATvh7ÜiMU6):A3c<3c'F OO}Ehi=L 4\D2jvfJBPߙȩ"l>H C~6AFf-ݸx~}dz_.ۣ ? d.T3^#P'1/_eĐeh&ez"G!j(ȐLY׎1aX0౴V{8/m<5W'w ܍s_`5* X8qt `%VL!{SEfCLnmNglzxKpx zf!,1j҃V|yLR !rK -+t $/ʊ캅QWje[grL =Ëx(y<)(ȍE *ᦌ-_>G3TЍQo$7XD`^4SaA0xLSC 0Dr+/CPaj)J |G#N8t81Sews5g>A6Z{f`dʆ,@rI$.Tm/L%z!nvr^7 {)/ iIۺ}l6uM*ʱOV⬱Ǒ bJQ7G<"gx#Qk*<sۇaf X2@Y)UPZ/LD__.قljgzEw՟Jnc$(YnB%۾c>VqP("^6`Gb/rXعI2+\pԙhal\.Lqth=Ъ汫p3xKvJZ:hoܜda$?`0[;@`BBVmR'藡]kc$G̐IBm]͊'bY{[3\-Ky)U]R7rlEq-9w2MIDY`M\{tƑX3q{:r׌PU1d+/ A]xz} Vp`+^gBOu fnnM50$<8x$dL[th6!i䋠Y~76~^Iw^K+ghI,Y,l5;,'R KUIJ].veiS6MNU@ -Cg DLEggOhM5:}zq(']W# E.:c>Mr~[Y2稦(qR]3S=9=]/La |Mq 6%Q C2U{6s f Qp\TZ _X̺qLwhD:> ۋ& eU6$*(?4*~*3@zX`O[׃cD{ JJ gYZb425103ede19f2fcfacb7d360e5e201c8d623eb465b7e02b1e5df641da48590b928c3fa43efd05fa 285f8199b18e375e140801c74b6101ca4dabdcb4 b4c255afc532a046995117c4d85461048de04cd1 b12742b49557bc4c990a793f35b757db25674ce6 7ee74cd0d00a199d0fef620077267a49fdabb70e