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 41$\T ]% HOL-Decision_Procs:threads=4elapsed=391.776cpu=1342.140gc=82.220factor=3.437zXZִF! 8L]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  bCު V'*/q1ް$t )s p݈f1eQ<;kAXޢm @,C)?T[|u9߱}uXqzPλE*!cfߛKUJHqvB\? 9 ێj4}rދʯCHPEmX^w=/ ԐL=ѿƏ [Dydw 6 Sw:E0 en][6=ۘ(@4n% a3harHU$ZNV \p9MG{iSϗT7}ySt) tIᖈJ[+3XCUwy5g})nAU5i. "l߈hƮ]%\E_6Dy>6u]ܱ@?`5AI+bW׶$ ^%nܲǏ'~=azd\#QO3*J8NwJ2)':8lt M FݙpI#ɖ 6ɰ { 7E}Zs:h|38`6cWDMZs'`Y vYw>6)E˱-iR~~[Y' _r ^0ԕ/4$}V3..nݎ ]G&'ŻɁ8O|9/Gt+eXFfInɚ\[Gv9|ɵO*3Ie^.%"Ue T%"Li-rȀTO;U{cݛ (1] Ugur\f\=?}ccWx% -{ݕ)uUU>3'gFE|L$4/c\I *%d8Pc4{2٢ŝJ`?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 Ɍ , @T>FiF*1L {\N '4f:/V@hs^JE9i/Zu8Jeڤ )ekL Hw^~ӏJY6;^fGM~yzdgM9[vp1P.'+e.TCj'q<9мO/y%e yʞUO/uЗ1U]}LBX \a%Q i]dBJ ~]ER_Z7N+Φlj\v690"4V^a^ ,I7y!uz uV8UG; 2WO `+&x^FjT hJ{Je}7`ZJ/ L;Lŕ]9-E5f=&,ҼZ\`Uw&p!\/u0`,MA:$BcH"=2$%,î4A~G/0nz+o`+čCmü{uҩbCzU\MBx2QoB7V n~; %gyn OP}D7=s? :lZҟNM^gPYA=jo]A h+gLE<Hp&ɋY0X'^oy84qbK@RH`d tG^r:yvrhǝ`A'' qb2ġs ؑ}SsɿQU^=iK!V.|P?".o1&FU5ZzZʽ bHfܕeZs/,pWVT3ͅDwcLWTr-}=nV}k]z}53d1՜d/]6 R,N|""1>@"E=64)̹Z|ǖ< 7,>[{MWfEq:X>v~κwjh+Rl?\f<&x>o\[QҐle-0|"gG hiͥǎIq.{+no{e;! jY;IosZ"tyCXAf+#Zkd6?X3iz KB}y"ptP37~|U-*K%iU66kFzam=OP3=J#;M7j!+FR0!D1%9@0rFl*;gm*adEAޢq5ټ1Rr* C Pө큑;^Pb)6TA;E!vN.01V suHf6 j&Ș,hv [!y?zHc7čLji-dD+*T o< 9h뻞jFU.n;ki= :,F #ĞIo,2>FW u6/]_$̹s&>roR-QjfMQ,D\ޑ\7_jCۥ1&п UVW*9+I.Yw"NoJg0vxuffД.#(92ѕpW ^/IJy\)*TqW}aNY P6#uY0Y.O&ߦ`oyю4A$ι4Meϔ#Jfgw"uRl C܉m{ T퓟B]3#C:[-~=T+SBBRHؾsclf^Y!ҎfQ .7>TecX& 蠌j9o&%kQ1`koE:RksTSnU! *UnK6Pح|tLJn#Sώc0\/W5uI jOytT5r4Dr?DN~%"ۧ!WR{DJ Fa*8ZidaaԨ `Uo}&k#՚}Ֆ؛[u-s5F6nzM|0]+r`iEGvC\:ϰ9z3Ae/w7h+!t;jJ7v\ΫZyl!Z?mükZس m*sσvDM!IJM߬%^I\B89ۏ#n|1$3bC( /%:;8ZeT}ʎۚ߷k ?ևOQ+E=I[|'!D m@PwzHڷJ#Jxݫ" ̤ [2c`QO)QМՕBbN[&K5v -x}0J>g vLdל`Jfz8d*}/9ņID0,TzRmGG⹔v,d{1 ŭܨ^XFWqe̲Zss7`H n<9U"}[?z3Nµ: K/Z ΆOJ̏-!F \Ck%M~&8c0#Y NRk5$Jf}~@ch1v.UKPk-J6j!cw<Þp.B^@Q$#V/BzM `;֑|r*TlGacoJq?R,sufMEH,Q]leD* *WƄo y@Ͷ%JN,`ZU+ʊroޯ=S4ggYZ7zXZִF! [&]ŗXiɟ17L? KxlWP8SաM~>fٺde-q}s+5 m]HCf=;,30, cHXӋ>Y9n~{)[1n>)nɋ1AKL}="Ϡ(øwYw< 'Cp-Qmg H6~ihL^=cޟy')KyrUf^2㈅Da0%z@6XICh:ցqJ f7Bv,*4r%9x7i-X ^J'RawTW,5ep9&+x 2̽JO> סaI,*6*\sDTj,8ϢGj,R>PR XCM]4}T 7032M{WNcrlTeKZn@МָkIJ \3֦&ZuNz0qЀ=Al?dcjYr% GJ anqox{`Or8DS gYZ7zXZִF! 9o]ŗXi%B*D0żv9X=AYAں. ":q'}֟M: *zSEpJq*\9wlZ7 `+N[" :"6umԞx7 F(pk˪e*DSӨKƒ5Zא|ƠAH]7,'>(7C]3KL8L@U~ 3 zkFUM`ľBޒWή,4e/%RoW si_ȉ^SEHJ|7CQA¯:vOFJ("J{T0?fGOABעHZVɡ~L*M]*گ] 6hO G{OaWL" :]jG4L^V=}\2"o^Ca ȩpI (T >YיTda@w.@U|ɠg 1;:U R?J+KՅsx5ivPfx:gIBE1Z(gۃ-= ?uGKO',{܉û܍k 3'T>Eo,278#Y:ӴSu) -`CUP7[v?ӺmRtͷJ:z?h~cb!$snjWgc v5w,dʁ"[X2Y0Z@1i>1•#b:þLD%ɷH]%^^A7m}g΂HB5h뉗Aqb,tksP%<(wϛ<|~m(l1)Z#/!,6jlXLjh3.EC#'h"n26DU&TZl#pʚψ )na` _z:%+-[d4 "T**.|%:Z{SA;C>69V;:HfQoD%}EO>, ;̀xbZ2b (gsmţ: 3?`$”p ^፵feL"! +&ni3VLۗEbW~H&iSZߨG %,Q3 vWC-$8jLj:u)k3ÑwϏ*̬;"؜e$>˿}$n+#8u4~씮->,{VڮƣЄmQOɰŽP<)RާmvԨEɼ1$D=Z&S@#/K<]v5`B:3r`ʅ GbD1ƻٍg"[\?clG0paxk9Xsѻ!4B7N)9VvL@ UBuPOyYΑ|b4DcUTečp=>VxP̮|>fE'7U;nٸ,'滨{F:X;o$ I]4I˂Dsϔ ^+N}k ݌&ߚs0S1"Hǖ¦9->ʽcCq* $iGWyQxj!4/2stX@v;† T8fI#*rN$Tw%=kAqRg_c@*dzTpC{c9 HX3"*HQ[r.>T΄$ԇ?լvZ+{h /@MIk([~k;ԽWڪ]&P5b)׎\!EIm J/i_U̕#bĦ !9-Qإ_T'bìsWD,$,]N{@m:ܷv8'ʃTT^l&h+ nfThnN:9 qIIH8 ?'[Z[M /ޗ'ϕL̨^AD(3G2sc/;l.KNPW[11Ii9՟TtևUA"mvzg`:f l(C$.J|xmO$a'FdUO9ju.i){?A,EZ(Feo f gv%.øw&j7ZS b%>}_cV*O Rs ;,cH hܡH3DJZRo}BOW4fKoŎ:u{VȦo$Qt 0"-Lt3Cx,΀b{ZJ Į l-KA_vp(Wq@>Z~"g( |̝ZxbȏurK*^V8Ɖ 5UnӀ FȴXL4!cQ==II-UJ{4 Fx{s/]PZW!y\45@;(wMMZ@01PWU,D`=8 |3J{l"OU1BQYm+ "x )贠9 Gk鵰pSOCS)~A$w8.%C̹luzNÐ|O@0*}XK dS[[EZ ߽-/Dw\!ȞBfPD_mBߥXlѢzo@f_{䁒dFnS=NײW.[;?A\!Sޏgw}؀밄@ &u5zsᖭC#2Bao`u@_YNN^Tkɞ6ZSL!>͂?n 1kN`4f ߿(Ky}L1"D</x7+y& zm!U?iɁ R?f Rt8U͂ w_h0҄% hd9|E֨PX՛'iI" cNV(mhyaU4@פ+y< qS1/SAPkˮ˜\z"Q{BdsV O¸ZyvBbqazaʍpyWvO rq1}u 9e7~.YvKkg9u{y$S b"كG5vdSV ~F9Go9[M>{b6|=,.b]vk (Bp+#qȊ@3a>%r 9$33f*J>,i !yͪ _(sY$X0@ i ;y|ut 4d/C&zlr+_'S hށق77WmOI#DIj^!Ŵ_̏֜j TMF^8ضIUqcǔ]o0k^xϹk)֬Ί\yJ!W$5$ \ҫ;`wo-dsnjļ̟VUлw&ZoFN%(BH$q"DW;~Ïl .Fèfn%烈ט&G1*Ä4PZ/E)Db WE~[HG kC"zAWF[ UNFʎĤf nǠMx QaUGa@Tw&d#YFjjƱ|x&>gO66OM23|y;qȰCF1p2@>f y?5a*<ĤCVL[uѡhmynxW~X:@;n+tL#O*C []7KzcdACGZMQ(5NDPX AV ק>hŀ[b #ANATg>au6R9%W6˔Y^ߞ!Yc䰘zOq7}7 9_]p/I͔ D掤Qhn[Z'&╞c8>d] %%zy>36gY&%It! e>Ob no1A){nwF73cQ=Y.b l2+/|3~SxXm1WGR.,d+H;םdb rfo0 f!`tae5% Íej3wx9иv9A.NU#R ȩ^;\Րh7MQ>>&T@)H<#ZO U׋0.lKxh&X\{Lo'}ڭj锈B^oTc 7Y3|,ˣAX!uivrm 1ȧjdWji96@ǟRCSf_:bF'<;9qYgݤ߾ 3bo;D3ukЌ{dNE,;9p}WuÒЩ!}ݵW"%Za$ўOHg8&xO.ÒsVQԱJkЍ4 q-V:RTFx]%b&Ԍ cmgٱ>+t{&#lL8='6r^N mPmu$cXT᷀DpjxU|^GH)$ ;;B%}oj w+L luW-NNQFW@bwV95Ts6`n^)dTM')|6屺].E0?K'mv^f w\\ k1Qͮr`V61j<$p١dF nqoaL'on??KYDUnjP(zG\)c Kr<{\:wu_">ذFMG@.zEbhuC%Ֆw3و C;es(Dϧ]e"[볤[JTk9 IK&P\Poji$/*!\(2-MTu{|8EVl[$ n|0jLp=)McJqlm,tG}kA6Q{&wz7.9G,(+ S~Qn3{duэ)7>lљKTdT4_e7u·!5p椂T2w0TjZ iۤ c1EgdIdӏc_` 6x|)JĜ_QpWFag1ϛG7Rβ:~4Cp'EqWGMMUS[/N +-`]jKXud~@3 լȨw7VI ?c⎫FjG_,Řa!Oՠ 7":7_J ׅ0=Kq*2X̣,"Ҳ,_Rye9,bjt ׸xMJs+6sqKƤ$Îq&8!coUc*!JOM<ṲM?dIcwg/zי^bZm!O 都TdVBv] &pkbw v|| W/35yJB9W4$Al OY~e:N2W&4?<:GD UuxLqV?.PXad1|wT@qP3r\Ѐ"$orpŕ9̀C[2iko! MDY :)G'6g[ӲʰݣU Ųs8 nݺ`@?l\QxR@2بBYڼ74['\E- : 2dOz@c!r( J% :@_4b|׉~tq=ʦϥ C{O>dqmy'4{)2?qyUR7XL`Gq ®O{ŠKoU_6YU 0&:53PcDx:G4>Ģ\bQ DSa[b҃00fi!Pǧm5Ć`$iC{BI/qD=|¡Տ1\CeR1ڌ&yK79]>MXR$Ѭ.lY$H<{T'ɝ|(,{nrPE*@ ?\`ʱ `d^x Z=WRm" s 1.+xꗰz6 beEXJ3F3Nlxֲ5b4qPn=2"ZUQ <`=ș`#bV2^f "Iw TC.|(Oj`aDZyh֫RތeőP&Aq;M %kӽӖ;,+?1E m=*8u|& 'B¾V\t{43 IV3?ǠD CvY=:LA<}\|A)l*-b-+A?3KY~M]\KJnPWX{Mt8utPO3#O[Z<^-` [kԝ2RMr295ЍNJX)mL帋i7b ESgY>h(&ٹ (re1ƃmk~1"v#Ա:4%Hce=ߦ=;k|(OGyIa/3 _Yq0{[nfӳKs"8tq`<#Ǹq0^'bJe`?콬'ќ_^ U >94yڀpUE>etz6,t+n6.Y< uKd"A)1$B(pxn^~ڕ0 ~CVAl#]RѲB]i&4FKDq}-&+Z]О_dfG}_@⧟4,XA'ӡ0ȹ<Nq6N3 07TA lhk?6wMj'ς9mlsX|B_E!>ݒXBn_:$ K]~mF {k*?XzqͲ%nܐ+޼E*Tz{ ,gRqc8n 2qUǼ29.V\~/ܽ(fr%w.Nq6`LD`Zqģn1-J`3\w1o^41Q*#~i/b.uMw.+ Lx=^Vz9YB-yЅ*dGt8cO+H:g? w~yMk>+ri}ieUF0jYBCAw}Z$ɍ 2W)xV?;z`Ѭj$Q^V|34f{ 2d-<= 'Vϔt排)*o=S@b_ѣgO(U+<{ltM!<-R'&i:=B^g:s)$Ư#[7h>IWb mjFD4BLO?>ì6S^+tњ4_.ѢGZ,A$R)i0CTJO#C?v^K021]?#`;@@:,j@k'i.˓6 j[b Rܓ`6}1/}e* ۚfN_E!J$/m$J߽xwZj]mbLy":oK6|p]|I()z&6; vc2ZuJ'^gr#a;awQ}^%bKc'o-$SѶov<_PoͬغT6=L.It*co믤Tv ȁ|(%6EXR9ӗ.ƷXZȀT%T$j` V/ ,NzOcrm훓޳d-K燕ixQپu Ӌn<^ 7)$ ]NGeKBbp }WqODHL"k[46v^IbG>+Wç*nPa:2YJJ'ppswzT?lG*!I m4\z4`i*>!dzwV-k 2|Vݻ:8rT╸]5*=dՠf`TuJ<ZEXFFF_9"Ro4c @Y>u>]D: N;T ͆&l(OOe A7q>,uv~Dw_Eothΰxa&k MopW|(^H>m%TezjhKkp}s ƧŝP5;+ބ9˞%qʥXfAF,@]S$Qw8DVMVb?u#btw%S'(&g%@dYdBWo jYϚ,zy3dәϯyG*JPea&:Jzkj_2Ts42lN9jƘ 2vgG]nO>5{˰Ŋȁ:`%SyvꂖX@ӫ\gob"vM[5SEGWQԷ WqH]3FS}Q~Y ץWCjCV\beBtᤖ2uy!1!nh&hԒ+"7:9鼿h'q?5)w-Gb2DıՅ5ƅ?j9_ȜhT= bMI-.iPz Mv EJVk.[3I"F6bR)k)3σlBb㓦JH;3S#O{o k2O TLRsC>@䟢f%Uؙ/M-!FRoQ:O4/\&f滐B K\%ek=q@/@Y{U1e# .e]k'ٹ"~iR#'|(>$İ5`Pw1r`V`iO*2 ثlPHhb˥}=` yׯܻlVIp>"CFhfc#ʢts#"qq&k{9!.<{P6$bwiVR;@X 0!x?ˊwOQ^߳bߩE>b-7kmÐ|.ᑺ}zO^"IuJ3|1/j `(>z/!bUYFU؉[,}{wE轗* 8?RM$!ڒo&RY\Qknf^:rkdxa& ZSavbMh^u&"P2Zn[\d^GYe9OJމ S[OV| ¿ 9Q<%#!y#HL&ɏ_"+di%JL>)N W:eAdP3>s?mi˜Vx|-wPd&cޥK3n̓C ZFcߪ#;PR!^̂cZѳqec]< tJ:w'>lFa:Nf؊Ǖ$bVaČO-D0οȤWaiM%ab濅yEL`WNS=0 6`v oȉ}8Ql Tf'٣y`gAYlXЂESjVuF%_ft`Pd_ƲHآ fwe;o}. rI;oCu`Bȗ,rfFʇvT73pQ^Tb;^RN)yk͒K ]+z->đ ̘ua%oY8 gt! )m&׍EUoP%@V֕#ئAEW+qb5XIt e]kRhaxtAH\ݖqWɀdaoBa"tJ(?T]vQtوMIQ@zM/zcx..nx< ~u_٧A_퉀?h{Zg+ 'n ߒ֣j ռVk"o:4U{Y -54~߾ wǷ aX HQvnś(Up67O\seA h/>9;W}J}tn bvso$]n9b&Y -\pNW4ķ'$ĵu>9^-)Xl0gœVt@Jr, =쐁B$tV\\r!:;5@P4dST3wbF,Z\/@u*Ӕ u-Z2^FdGorfޡޑTڴb}^ _*M^fs:܄`ᯕ|h3x t JB ar}v}6OZf̗ab@)f*Ҟ vC*tf1x 5|+&):E!w$66yJi{98nU9ʵqkfJ`HBoU|@6.f*DO7siJkRǥ헿B|d f %=l:80lZ7:&nty#{w,?ZjdW&$3.&^LZ#r\_t?~3ArSnPçby 5~5dh̀<|f>@ŋ7 S8a$k/6 -{&l?3U.;neuD[rRuE'm0igכOP:n@kM(I:g`VH89Wu2(yz75*&l3" *?ս]Z)IHN3/`MQx+b_zDIaGRյ^ORb}a:>'%^ĹcVs^#2A4 }lB>{XkIM@lx<1G^ 9汍,GS;G[9J JWzwl+-ɟO1kT|kz[~`+v `DJU|H:1?xw8f8WNJXi$Ҋ^_cKs)Gfi΋QA=ӤM7lJ5,"]|rX {'L}20z=SFO Jsk!ˆ־&hdMe8GSŦՊNd>+;aR@t'mֿj|,%oW4\:3H'Oht8h Oޖ2tdY yl%k/s idrJQpUs?l,'o3')_V57fq *&Fn'lgdp0^>VplSY)FV[pZʟCH-$ɸGpg 2FhZoCSߏL23d4$1ll2j`:٪,& y$c03=|jQ[5#wo0q"Z:?˨CxeӡN,NW]+X]w ƶM[MM dLz>-}6 'Chœ6AQ0QEdsui&EwlgCeʵQmuΥ?Jź+ʳR[ZwH ꣖9 1X nO6ivp[Dg7'SwNt\~&]<5FexR]xm~!2A;x.D/ߟ"RLXf5\JaqZ[`:`UCi離xX6GM;r.4p-yq"MԚPu!<{9|2&3|{qQ1y [gW/٥kDZnwHyA6BA [sn(CDLUo4dT+Z߁/cTfMFQXp,ES5 =ߥUzNS/_C7. U3؊M^x㞲V꿘3Jၙм}g,2Ζ2r`lr(7u't օnT{ʓW^NS$ZM螘GG3zԙ0i}Bi|e2 >wf0䪨ayqtxTbidE$ `b[X.[д f5l޶a N@ȕꗖ(f6 L >X XwU^=>~=2(j_M\wN$4֮%ZʝQw;i/;okcs$[/1kVKf1ѭc8N0NP,M1Xppwo4udPhˣ~_i=RATqPF5iآr6lw+':8 ͈}$́,oxLQȊvBz#!t`$\߾( ebvZ 5'`Ƚ#m_I0G0'%B~rJ; ֤rHU[Jceëb\l?IqH&8_re)Zs~*7mH5`)K:Pkk_8:l/#Sݢ̫V\oӖ}*2GX + 9$SW98i~>Wf?@h˸U H 0{sK7[k(#yY-ڦ(*^;*,S8#u8V)!dk !Z=,u% qB\2r4]#ķVƃ)je 6l!.#5~=[?)G*EYQX|p9~r~P~Xbff0D傮er*v#UkSPȘg~Y|է5Kxkl XYz\k1!pDj{D_]thk4D^=.`(ǰD?3}_Z2IVQN[k^˥u9vT1?ە^x$u̘۳8[LmAT ,Q꫗퓣a뒟14 z)Sag! &J>9=6\̓Q3yƷ+*OYRwqĽJ?cO:N`?YZf|%D/d[]XBf)};Tn-n 1@ jf9%b/8>A>PS]@Z.vLm>Uv iEGnO PIllt) "j1z8Z a[Gt"Lo& )>U8=3Rs(yq`9=p2τe Ȗ`*P^s@%2t]N:dNl|Sd7ex,튿X pqڎSNJZ#>Tz) 4S/,T"G,w?<( ql||'J(jΈ8gn2{ƀW$㲨cyG'7FܲOqB̓JnGv9ylʁR\B8.at3vyà?󾇢J,p ( CGA -cn!ľ e'Ԥ 5L2`sC",@\?`"U:-*:ˡ/8WTr8L']#G fKA&[4~@EEshUQ5Ӻ/1evM `0)jWۮ` ͒?|6gpK!^JlH/Vk=r*֋z uN&$y7@J)׳;p^|4v[jfZg3C(*rɊ7>%0FU| '6uwTe1F;Q-dqj9N0dL+S'qaĆL];d \(դ=PZ%/R uxٻ;7jIwn{O4|vG_Im="ԧ}eH xPǜ`?ZS }1@q[q[ ưӃUE08q/m.SPhس?`&x-Xv )޻KcfKCvoN0)T-I$t W';β<'cRWkN±Lq\a˪}ּiRmTH{c:촚p8.hCI/o th!:8{1!FE},\sGT[ǚmA]HY~1i]olvq"B&92!hZ V%nc{QpzŃ'*2';tEܝ$mS Y-pPD=j(A>,O4zڌC^6o`v%+X3Xsv4X +t7s47 Hkf4M7M%dȃ;S)f۞Tw;ynl+ņMEכ *o;@oV43FM1GM[ڝTIi =9a˨ tgxMFn_D^jYFHo1oӦ2t$D 0Ăfh*,)jGh~H$%9=Pd" zj'EF,cuXzƬm 5/hȮq2HvM/~ۄp2Kl = @GRL<'](z>K$Pe QaÿAHl7g#ޑ0eiȰ1MPWV!48Жfw`~,/AA )Z0\0PI_)ᒛΒ VtKʯz lkCF {&bA6C) 8~R `"+کф(/F +D =leʔXE p5$\*CACNygEΗpN"yQ^ x= YUNxF,mlY5W|[|/Ǟ`XAgJc2\vxw3yM"LE^M Brc '43r?bKERfd(؉AV 5eCݏL+9P"ECHa}cx[*.ڕH1cZ`ʝ֯;?HqġDIЊs@V[]LqXpSEb9}[fМ\ uۮ0$97b}w_x(Gh>~ hO#|_H̹sM,? {n5v 瀇@,KV4w zFPcngԗ)Dޗ&J ˤr֭Bs jPp[ComMgI]a}b6A{4bh)]k9D+)5\Pd ,ӉAo?$\ +*U>fgߴ%s7e>+nD$Za2\!hw0S ;<,6&+~( d|P:=] B*厀1Ϭ|0Gq@3+}6O,ٝWƊx69/\X@ v2SVE8^lF)ZW"!{\&>]n[B|_(d]_BPDd'ĩ"hD^j@m|Lе>Q֯{,ߪ{aPSƶǖ"_/vJKb,1jo5:vW%Sx\vǣw]ƞڲ-%Qʤ(=rmn=Tv#c>ZKsʟwSI! msSyhD=d"$c4 Cq̈~| ekfBXՂpc&$PNVzb'8/\G kCXWY#H?W`UՀ m'hMm*3J)#_Xͱ- 6|3Tt:hT Z}>#gyla/_!s%e <}Jo| y4x*SO}Ǒ>p]eŚV CdZ0+G3nt g+h/,XKM~ň-3@M;;d=ws(݀WҢKFL.2 XnÂ޿$KVomE=69^~ (|ڭt'8@wT0oxG!(>1kb){U'~oA@![?w C,jɜCZ蠙KQjhg h3BЭ_<+EZ.R>PԤ`$]*}8ݭԙ1Tˆ@[Y'߭s*uYH$%N Ҕyg$wj2_p Z9VMw N'\V~@LcXb6llj#³BWjWz3A1ml5\PqƐqevMfS圻'?-'o:*xa|EX|[ LbNӃVQoZV8G\; ࡐIJKgR{]|]u0W)Ԁ<5c5oB~cϼ&&N^W0PYY{rk@M]䑯2,o}ݪH7rp$L%J&mZa>vJQɥzȆ␫h!ݞP Uq)r^]à>C"?UU)cL쾳Gz rPK ]aU.t. NhuḨ=h;4%"@<$P / O~:B% &A70X3TۺJe26e6 Nb9Ad+Z+&|gJ3%R2_}or iaIh'Y]T;Bd4n,ٙ ._&ꤼFcK Qƈ^"K 誜cv;3hALf|pW'z!ׯ;s' ݝ1ӿa1Wb\ (u^%2P&ثF8T)j͌:y;4G\,eϿQ÷0Zc9GK&|~k)GWeDl̥bdgڣb ukDyXB"IݒmVn !H,9>L\PKK[9Om[(x*ܘK C RȸNB].?~&`3zömK]ULv~VM孀 8 [gIWO"dʹ@^浓&*¦9^cq5`Cb eG3̳yqx@ =@ɪY'I<΁q .7J js `Hr۸hq,g#JTXžy̖9HT@(i+,TQgSpӷ^q:iYˮ~k1s H(o"t?6k" GmwK"uU}jp|%|=}j ִ-Z:&]׺ˍD l =L(;>Z}%{IFH)s("],0S 6iMtxpuv7:/e5V91z'4Щ8e㴅06`u"*r'"(Btp,ČKGA<?}ۻK]*9t9_ SQkhn%L\;HM*PՅ:W^TY(\r{HQ@ޫj p*ٮʣ7ZU2Oa9@YҥOWf  {+Kb ˏCjɝꑂ o#>lc>.:`j@rc(>x>ŕv8g QλͰl98M&Ks;|Y~(?_f ֔+V՟y(sN\DJ>;GiU<CfV}Qr1=YDJ@iFC8GaRvlzmSnr _l)/ʳЫ. Aޔ&L<Ykp>%&5%v=&6 n9X؆hmjXrVO.V_ˮ]0_`:>%G[iStͩ%*z.rn1Jٴ)~Q@uan[r vV~c#hN/fo60XP֦x|uсERl IyI"~yӆGV:};c&7U"2񮛳sY#a.Es9ܨJ&|FiBD5_r<0%|$  ޑj#k-`5཰0=!kq*4D *VwX' $' * n qH]vs>~[7oɚma%0?lvj6ҊiHq3!.U})V\S.] o!jur(TrMu@/]>4!,cav4nzo&BX ӴJ-?+wGk '#5H lGG>c9:eb`G\DzܑYDJCS_[gQJB3z藅;lh.Jn' yC~A c|D5|Aλܔ#_6 6!LQ_44 O75vO)Uw01>CD&kyP6g~$@6;7E =r92eҩ rq )0D>}Q(X ֦͖V b90@GdߑŃE50X۽ʀ+A#:= XdĽV7"1NAFUޓK[>iFV aٺ0 F_է]$TI? n̵w PwVD@Q}n<.@ t@󆑫/'('bPD;$=(5!švHDc%nr* M ƀj'C'O[[.imsי[a  )+ ]?IDeHcNL{Ûr6^XْY)9'/8a7l3j\keeΟ%}[%Kpљk#IDv_QA[z:?@_[~CK޻$kbyC$YYV2wZUoŚ'@{G3v]zrKQchn~C+e ( S4[Ң2`S>BQYDK=˯Uu Ѥ2E;}rÇM6 /cI4=R̸K[J5퇢o2nr;D *0\Cgv$f`>9>cw2?1W W:cL##gvMIPbug/yO~x_AO4'6|+#Ҡ-M{3)zr-yG%E]{vxyOƺwT4ۙnJ#3ׯʌ-ݎg˄Q \̸'c{g ;)s{̀H1ZB1eUcS.x nL ŭCK'Á6DA 2͢rիb2(YPV2>{T Yg8Q[Gߗ+Z`xuofܧ'PcEJXY9EdٽPT.˚YRd]5[}}fDΒ%E_7:J6*30tƾCto,ȻYj{gw` $j\yvt$^6$TXB+qRAɹ@(f.⡽:?@B/%w99J'b^Ko?|3.㳋p v;tؓ ]ċziEByvNlXiQQw.4š+3H8q\+pgVaDP A-5>L&K&Gǝ`Lh@J5( v5fEҮ&GkM,AN 0r K4g7t-Pxg/#Ko#[07R:WijcjE[b+<:>tE$33sUM}.jXq{5)߀I( 8tձl8=޾)]& z'xZ6ŭ`}U?wj ф7Ѯ\sf1g_M <~ /¿wW[Ɉ{ ѼT" ~)+=Q^P઼Vk$j}uBV&G䈲FMEUed)!A}7Xr}bbV}ܿr7v3L&#7lU,C!}sf}H6ۀx++l[0'!5MEgDEPdZWZrm{1Jy sUWi1Θ"ڏ0Ag?'sf\S潜!HvďahO[`vO*|A Yۉp*.jȴ"癳Oa?]cnCHa,aah+J2TdXj%"UԦN629Y{~߱W 4~_{FU!7JsCK~9池!g7 %3(ːZǛo:cmp/DM1>C5$7%oj gIKm28?&uiOV%=`hedvՀW 6q[c0;}|>Mxs 6 g?6X\R`h`TWN(#Wp8C4&O95ϏB5ޞ: S'EFK,&l+HN?Z\ӌ:CIHdE/3LA+^3Qz'I'4IE\~eje=v{3x<*<X,C&ya-#i>*=+.H794tUTA2F>ax7jpVaDK@ 6MNՃ-(4S[\vN7}WU5Bz[Iat-;MzxJwd,=(yjIfb)V2"nQpX~ Ieq.T)*]`a5yrQN8}.-pIW_u2Jht,2 o6$w^ٷҮIS ze IYHɘ5R]-@h׻Пw:۠Y9 :YH0E>> ?Q-  >wc,Y L.9V~3sEeh&k(*E+_g-1A1|E'dGl `31F,N6gC,{K\[ Pɧ."Mtn' gYZ425ca54387a26f0c2199b6b59b1a1266832119b076b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 f04b6a6c33ad0f2bac00ec27566d13b96a6832d3 5823237499f8a3215557a28ba1b272a2c1cc4d7f a5c4c930381cab770b40305346f1cacb915adf26