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  1ddT ]% HOL-Decision_Procs:threads=6elapsed=261.273cpu=1165.320gc=172.432factor=4.467zXZִF! .]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓є,+J6/r 9.7hwm&v`q в[} M/Q;_${&d˄ V0OQ/Mʟa0 `l`35WІ;f/r_΂k_Y P&!(0!"f}b"()4DԪad8yVlA׶Tm4~I= VNP&"?%I>xH^J:]ʜksU7 y[ne 4pdg9SNUzRo93Ilψ !E ԩ%km#/ԉC3W~q􌀚AOr#5 cʸE\eP^c0=is}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 ($ѦH\"Vm!W61",haH"}VI$aQLaZ0g(D)Q٣]ckKedIF-(OPMv6]^>;JʰnB~{Eڀry' Hl6z|44qM{EQiJUDrav.]vQɁ:d+ *jdcF m1 <|){!(4ɋf ]W\RMYM)C\Dvb#P 7[Vfv ޲Sq²qL{yXdNq8p-6T_}SA*>"Vby j(r)A,:hJ3?V) g`[DCMSGnZ|'MROh2:Pt 0,j0$EdžRw'FjzfEd^q(1 ~A;³?jǰ5ցp恛wluȔZ% JϛM1xN,td?!VhMI8ړnѩdMuۑ+gtfeUk`~GpR'ք6y&+\u.^12 5D\ WҮhh(~f)[D'}3 7} hC m%1yS('e9u}"鯜eUNNtTsbWa1Qf.76vTXYCguYN@ӕ]aHk>Ӗ-NCO5 64aJbs'ʪFϳ8TҘY jALg7oW9dz1/q+I0O!Ȃ(lJU >mA|ryW'LFtn,d*_E'wx 59ʮzt㤖 6.*u/Bm{?26*a':+t+En `l2T|^y9P Dt)ڏ*:!ul feuAŎ^b_5ni^{XDV[~m~!+ơz3F b"M1>jPڮցEi?8DX_6-Q*P.IWFQ*X"T~q'QCiz)rvŶIbi,ca5DC2{I`*}=?,Gy} &b($%s[@2WN9KO-Dqis WH"v\A+t+f'y&(,^2 %%#u{؄~ )^eHM,\.UndܟۿѓkpVe;GWCA~@aŦZ?Ji(}JN [74dCk 1d͂0d]O D1dpɣf\aˉn$S~Fp" b{jFzATw0/(hNdR/  ї ^EUڤSѰsAeO,-HȬQĽ>c͋dꄼ,2)#ų]kڇA{QX8|wOm磿f7|ĭ G()fr `SYsZ=E}N2ƞ?*;ج}O&qo"P1ٙ'i3Qُ $?XJB2[ȉ=Z}3YH NK㇙o( iE)*G{qU:πAGhodPҙOZ/P1<-OGNi y0j8b$ ip]t>(Ҋ.IQ͕Ɗ^sj!b孩1n3E@]qL*,`mLZ@HPN` 'U5;|&2țwM$x!9&ʚ] ZVR+bfvt_2><.#!Xj4R-KjeN]#{SE ^ЙDOcJhoAm#oU8 ݝF%dֺGc7]}|X}]KaqZDK GIn"0WoNC̉Ȓ& T2jv4BILu?΁F-~ӡڲ'#?Fjafy$v/k}l4$-XA/{7kџ|p&|g2^)6Y޾bYt d+O*j226W7͖#6T)Kr56֧-C`w"I8qBLq< F-9~h8]tcVZ0jJ6)XgCzAW^: qY LvE8[KO)Hc!P=rf1Fm|)#Gmxp`7[ ߋ<3[fٺddi29Y/S9 ?هPh~\HOo(m'%ڕi8p4x)bO)Zu"sWV (޼.1 ^8Dr!W)ORO'$)y/$*0U֯_,dYC~}V=|#$U}F͜0X:8ԹQovXefPu1כ.A,LîtCM)kV7aIh~q>DW-[2{˥ l_^Ҙ-ʡmu;[.O~@U/7< (z%{Ү- 0yGÄQ]R KԖfbe ݍHI)j3z=Qee}~qJwFQл͏#wH{ ,V[RL~`3 1_gYZ7zXZִF! U"]ŗXi%GpyPΞ;'t%M- ]U fO+|&/>Ъ;؇(`3sg-TWN;YRU6mϻtNmf\ٌ*rS%f)nȍIyv {LPjc`F3ՏgU39,`E&o_O7|?nDo;|=F<opf_Iq1(59^p%־6AK$)&?NDnМU#Pj~_VgJ4C тD{1g Х@p!Z\I{I_܁&=9B@gˢ ALEAVCJ׎_]a~82XG@ #za(xZԬT$&S #& [(@ zx)sAw˯5gcFɼo)g 57*/N/mGsz= .Pm&6^3 fb^qr)+<@ix?q H~u&}mb:,djT'9\ܐEK:ãHXw }xty +xW:um)hg`y|B Pk!cAbB&*w`˜˶Ap `m}bJxږ1j7*y=lUD3Ѫ:/:,RT1{=j븐b `>C ')7kn!\n89@<HN'O36z`N\&} K@2Fw[8zƱy-  OmT2/J0v้99D>ǩrI_< rivk,ʼKIBw` 2M'ǧBdeU7`W0HQ9NvnYcN>HS!ENUN2B7Ā> s;8uN'XR%HsWKAȚe(F,tϝp пUvf;b!P愽O̜k~E`mK&0r_s ZyЂ,;0yhTwX=C7ՅYsAʪKODfZB[{]VrmvCu%O<  \;J`ʡ_r؉75"W{r'o9)붃CqU7R.(Ϋjވ`a@inE= 4#W>] )R4Py8b"-^f9`5׳c5^ k XO丙T@j s},103U3.XvTsנkݎP:Sz˴jD^6 ْT=ƟQt3߮P952p!fpSι'֓ waeK,^y{;cJ׋Qc9+ ).6ѺNH$u[ˇkTWtN䌢MfH [vH| !@IV2Dk,^=?4wsӱOIub!pȌĝO4e\v˱HZ|,H^7lK:7qr F iz-n{ginXVbsv[fWCIJ%]gJ+Rɥ=ތx Hs::8K4HF V1΄TŨCJ=MjS%1Vݟj:hz/2*w/hO9^ALN/3qlj Nj=*HV<gťWmO#f }Y~j4Hwc2n/E$s|<~Ҷ `(ґUk0esIn]ݨ`h=R=Q?<":8x}B;=CKrIz4Ya,}ͮ8o h}Rӟ-CM¾ ֓Q"(gzw6^IAUkuaT-4^xMNlhmwWe_x\@ 1V hu!3B;<ukR?x7+bxg{i.Э*y!)Wqo|. aobߪ=6_}{AEj7VL| 32o<:bo:jf}BpD&|iEAgoΨC|82;

HNcYШd1;? (کtf K)gm8Xg^2S!PV{ vG%#mz(?r,a (-5==.ÚX!jLv ]<*S&{/Ze8 e*>8k[׵Ts0K4?\ڳCh~:9\v9i0\-cOc*&^to&1rlGX?qnKQ¯8w)u ;aqL| 퉟E˩bh{~=0vVyŌdmy2@UAL4„)u>#6ϏGéX,%i`j&BvzޣhEIZ_X%&yij6 z"OӞv^f6y_lhwrTF9^;B _i!j`@+ujM# KD^蜃ڡF2S#0oMSYJ'f4>UK/&ǿU48P̎(`(| v+Q{cbK|Q^Y6 wQ%yB\|eq_ Dذ zgl5rO1X'`ؕ2U&2(Wr~m=gR):zph+f>d܆Ah[DPqi]^~pI>fgΗk7~5tWWmb Ō" c}(goғ%ӷ^H\'uVFҰ%]y|B8E6GMDA8[U^'}^.*/-ȶY$H%ŜLM6@- k|6qob=.M \@.Xo۾42uK-nIԊ -6<Йr~-MEwi zĐ.og# \:k8D xY`b(.|Zt #izK: ;`c!X VfM4dr﫦u_uS.=~)Wyn1/fM%v[p~a5ꩈ qtxZnWpdS~evq+]"? ^5 -"L1?]9X&_lk2:#V$]Èu>$SJ'a-܁(8ꃓ&>€~% Ak)ΞW ѫlY2u=,ߡ%G@穤zdE=zeGV<6W9W;a<HV`OWWw!hl y*~9ר<1@‡5a Rb\ Wsҗ%p d Zcfޏ3>66<␤Objd/KI>g@T@^d/vR/| ?WpeCA.)#rZ'>(pXa}"m9?tWPЀjSQpԈ~Q"Ե zsʣg#ƎuG./>E 3 OI㈪}(q"/FpJ9'9rVzMb8 v}?hc]RC-j{m9sm&DIKr#Β%Er#`LtM<1 PcBSMmN]+€]E;# oۈqK,-^pn88 3NeUIf xoGdn9[ b3uS~_VT3rhSXrPoZz`l)Y3HiMgZ+rD\XdN 擭 Z')&sK5ƚÃ+tľS[(&' Q"I))zIϢ̂o(4-қX"[O} }s FVMq?L9ǮM`wG힣+sN.1߱ܬ᝟ܞT{)}u,N=V搨zz g5Dƭ˄*8\;z:xS2IPw.kdyeo%.&Oc|.F]5:RZGL,$3c>,0Ɍ7=15f.^AV(Krf6 ^$F̝?Ct-0ulĥ1D J8g' V2(nt:7gEeA`M`BKUf&֧zCRNl}-w"-KVTȱ{!_ivס_iUJX9n#44G)Bw #UF((S;keR*Q7_iآfm9$µͱ~~50ox Q+C0|~>ؓWPfAKEf>$ZC!6*]ɏ-ˋV,̲ynyh9TE\F>%ߞ)ܙ+8@FBaGoKrNCh^/ Gm/Fb!VTE"}咸jSK~qt9~Y8YMH(8=nA/mU卡wzKܢS2h|PQ\P|_TCZ5E.짜tLؠM1ꯍ*e+H!"Qcr#)m׳1l4Wcu]f-dEl3r K~;";974>ԀukOCǻݴz1a;~{qCӞ55;9W<&`ܪ;1a6G6%Erz#bl:GKeToOI{"jL{b"xO[~ެ^vMDb%FфCQF NLRYd/l1wxFnFЮu':5@5x3gh&{EcOumh2ҵ0vx<Y˪N6 o߾@a~[iyҌЂ\?C Bj mp oN^<=S6o)5pX$NC=ǻ s͉xˁ:(pθzp=e -3Rf> R_ł[>L22ѿk.DWg2U;22(_23"[ G7{]P$^t.aY=ӟ쩎9uXdU.W(+ξM>, 2UFcK"fU @H,zjXa7x^ѮsSvln( cVOh}wb'}?.?M\uRa "l_ז{˵g..v: O ftX{&e$*U9ub%8 (HɃ!` bWC 4jl,:o 閕qZJ fs%9(z8["h~PxɪPixBa7+q@Y}y P:|OG}rtWʥɘ">87gQvcКBnsKS` qC@@2wRj*ĂcJb6b>PvGETk^jiL̑7Jr=d5V`ݪ.21'8cZzA"gZMN2۠vBfXU]$,!OpMVƁ Kh%:uK$x1(l?'ŅԵPE=upr]6ԙ2$Vb گEXN'%RqmM*] W* z;ޜѱ*TEZW(,_ov_n ׮PZhԥPUgWT[>X\Q9nj$~qB6`^RɳHQhR *c?:9N'۠ D0xnla_%Pm1Rݜ:~19I`ʏCN.{iVZJ^ı"@5 Zٷ lvXk~M#R4tϜL!CT`zjnHbn`V6O%b+k )mr*woN8`pbrRbxwAUQJ(Ү>\%@ΞJv+±Lʂǽ.%ƦF.DcmZQl뱭 1_ʿQF,[u\e ,dZ]ix2?N!xT0ծKgH =`n!u@|<_'( 2)xPze!: pezCЬK_/7ڈ| ~6h o_Ċ,΁Ax6jHQ3 ?*7\O @G"=*藅՚teP*885xBu23;fN>Dibx8!2WLܽʵi }^9C8'"*obwN-Dw<s Hb L|oi|WN lGUъ0>Gz/:&zSU-K}wh`jm# ؀LIt{V$+0kzlf9H'<'~#?#UtlA `@)8,)-`e` <i'-b2e&.Q!>M 9JZچ~VFԯȎN2E'2{c WEi7A˺ϰ8ނ3)bȫԉd]1}_DUpYE NJٓQe+V;aKD=jg(J ͗7o K]Z`{SĄ2]B]ZJYVUJqQ"1 @UQW$}S̏ V8, jERJ>r)Cܢn\6йæ ax5 @-D~ܭ)ZNmlﳧjU9Mn22QX^z0,ι"~ ǀ blgY|ucȪ]OrrPe4ʒA9:Y;d_p*`z~0Q>eG)BxPPʤv"饋%u)^μw(Aix+<K]h w椩3̚~irQ.7JaِM"{WiΫ!Ӡ]6%t2G}QihC[YocdA2Ak4x3>\WZ;RsT:pHrzG6~kb5NP^=s_sb7 f:Ar+G9X^wгN@,l9cty +24vr6y,r pzy"=p{ҪZ4pp)m X*x҂[Z-49pEmfNs/b(7̉9SG#",%tm]Hi3 9!Onfl`# 5]m͚g_̯P̝bF}ž?P5<T("@F-3^~jD^&HHs+'(gw Ϭx Ɔbb#(۵Ai0V!w-b/5p)V<EPX؛F4qHi#x{O3B(&ݼ  GRߒ @;2P<"Cj#ةa˲pD!NLcS4,8">xMP]T ]1S xǼIqޟ7ίr(Eu~ѠAp/Yx/f @!_* SiF*0. õ@M+|`noUԑet9!sUQT*[;ȾYQdH2s&E0gIv𮁘Ӻ -$*%}wA(+}j&s~Yh/[mnv$apolQvfzҜ_c Cuy858!xx(2͚Ɏ݈#*嬛eZ2]RhKO(<}RDĜf[b<pEI56ܻ9T Nv`{Qo4AZ OV.ġ°s:sNy$;?<mPFmE^*%w~3mӾլEMn-ݓK%pZ!vk&L+jt'Mtۮ'1t'FۑDo J943 0/$z"~l 'g^*ת6$j"$gP+;Lf/3T<5fOVoQYYO2zMvԋfJӹ4mwqj˸0+oe .mgY\^{+:\Qj>g#]&."}mqY ʝcc Cص߯7jҏB=BMX1sO0p 4dd bQ5ʡn>H|Ssi"iutˣJUSD^Hk΃BcoA;Q=cfVAX4^Y?_<^2l 282TLBȆ/.__q@Q砋*Pr&#emz'wVyŦ?#ni˼_.ʘrT^ղZx[zsorG405Bv&K0'/0U)w^QqBL֚JLtN^If XeSmc eƖ}$x  sKK>Ņ޵7PZ#1RlwJWJ +O%  ͉^oT&똙#w/aK ,}.?w \=y[zrFazGpD3%b]Mt0zN!KǺ4^CaqJ]$Xbi}\sU`$gVBKhg= GLd(AF  | e **ya%TN>R_oyiv?i&lkG.M&,0m=wGP)8́C-:rLc݄ ʈ7|{/LQΐyl~MPʻr59M\Y`-ZzXP Uml巁wSHۀbx﷯֋,h rd &ghj8ohAdF0"[v.{?Dr*6}vs r뭆>8l!hXWtYr ,L,W_Qzڏ|M]$|΃lm\h`pfa7[D^8O xsIL{0Ets6 [{L ` N ʚ'r9 UEjڍBYVt#;Ԛ"={"G$)LL;G$4XZîT4;*k _ H mN&F -h%ͪ퓼5B>GqR0^MN`>5KY;e :J4vF=|EPaTM=/=(1yk91fFp0bb-wbz޸O iJh qK"nn: ,K7"vtrIn.%І-&=^VJf[HQ(y7nX %;_ZY-n>Ip n]gIewjf;lOwerA0jPhAupn!-mHO 8Be2cDm?ja:Cd骟5zU˃}d߭8A{qθV=HFg=y&+N{Pe_tcaһQsQץU2:>$¥#]e$)X?pi2D_Lm|] +L0WS=- Ncx,ӧ ?Bq>\A[oD C#&TTn-:'k[m,/>VAUcS J_*9>ZkئJXڃesۥLQ*ڭl2pOs_cƁ|o6wLТa07ϋD4^R&W&NGD67%ʥ?o䟼`ggQ.?.?ΰU|紡򻷖}DqsFEhE5%=` 5P|c_Yw-pCdjj~Yg^x%ث_X=Oaa.4͗Sy D6/ Hvmo&_XxVF +qhrioA@xS EW|HLB\-_2 C'k0{#;MӜ+ASc@mT;%yK,`=rQ(=e2!Л33I  8J"ʗDlr&S*(osY.qjW |f`xEn)*]AGR(Y qR_&Dw"&O_4PTIoCr7"Q𢾊7.;3u\" JqqDNy*4?Hl6^U8gjGHA㶰LR_?dHX3^CTc$fi(֟3w7@=p'3״XPnVB_n]$ʟiBZ0B\/߼Pv}_|PB Z+$HTr>īX:|BXxY^<#wc$>i hLwrv͑.H:b~_%q7nt @-}6sjU~{cY n1.f "Rz)[+hODG?Ll=N2.^ݜttd4,k*kC@ ]@eHǾ'ЛJWg%[_G2u4`_ 1Fwm\,?U xMF'XhauzQQwz*x*SqwBDbP]]J52uA(GWpD >Mq9_S#2[>6R崗<&6B'ÿhı%縏5 J!S{r4z(Du B1& 0D9} :(U[$LG]R>dA!2kjs2.Z'\rGMO4|io@>\kJNW &Z!1/y0s8v吩h5A'6Osn8_9ldsPck"? ڦ=PWV8r֭mX{-gxzj<#Dԅ?Еw~MO 걝b$K _y|<Zݬ"_)? ?a@3F+-%) uSk}sL1R*&WA0ZkKiֱ<>:y UDlg5]% ו)fsM0 #NI?x 8dC)9$əвL.8JKM~76a;ͽ%5,voX6(*AY@0c $W~'VXLx ^z,XEpU?Gh(bY1VvQ PH OiT]eρpUhxgń|h`0+?^D›{Bd"n6w4xUgi&^̺uyLؾg Z a{51 3IWy 6* tGcV?*;jlA._ PxxzLNwL fB*_~{!|#h靫>iBH'L#aS4&[jʻ%-qɜFnۏ)}P&| E)R 3ʏs4SY j[" xe> YacxPtQUkޢߋJW Ff6-2gLm*&SIW.sLbV+(-):ۊ;ܬe BXw%7{ 6[+ƒLȱ!/>IT{Y2n2r%WGiAmRNM>ԠBdf8[ǶWi_+Ros͋NI(aAUo~u.z J) Z!D $vO>ٝn;*#m;QtwxD ŢYILoI͍PMMjYi@cf\,q:]EEmfw֛PX&̈[~FU46)EC>&-pjtص'oF;9n"noZ[ATUkQ`[e'V֚'=ڵZOy>tFuVamI4ԸsY/Ip5ĻOp°%$X^Q1TIǥHVIun`.Eb=0y⦿-/]蛵Eu_]8UZve `kH3ܦsI8vl1g1ZnCɍ 6O+hng=W[턒YllA4ƟRcq?3`C&C_;Bġ"`FC: #|c#1OXH Lגּ= reF5=iq/+]%V.&J  HPPNSk(F\Q5W:W?si@D×Pi52j`^RwS=bDٻf7p LI~X՗ Z 6L  Ȯ͞E2Os tܪA~)`_F]ʢ %9$_W #?j Rf 'Up#l2wIsnB`&m*5LBl9|cUG1.f#^ҦQ0/MSH977h;Tlۘ6=vaYe{u '>ku$Kd>Ƿy'X9hk- [`v<<Q CV "ڴ`@d Y`!(w,T}| |YKYϭ{ghPK[3G4WHtoi.IY:f=EN9^jg0\g۝#NVXhz,6O!K-Ls,+ԷB]Ψ Y.]Y *%XD_vrHoQ@?*4~3ϢyrˆѺj(Sh(_}-Y+u2Cl6R^˪<3G~c"H2@_!x8lO/[X`1MϺ5־^uhI|2~ntS+rVb+FϤFg lV/i/8~ң ML})(:m;a,\Ir@r5V̘>Kd 3cg2tys]2#yDH|-S:YNY5ЇKFfbOeB13/2ÐiAPbb  T@hUb{ >8 2G@*Pȕ,@LX/ܓ EwۿJQ]$:|cI*"%JA|Ec>InLlrx§ fm`測vғXRiJ\ A"WZt@GqÔ |3@}c42tDRl" 8Yµ!%,dh 5\;9{?-'+F̎`k=dPN9LS 酙H f# i=89 @S/A(Օ˹;?j qAdbKD*#ej1{ya\sRp~mÆe$CO2eQUc{$b>_}jp?QjJ`R@_FFad8rt>!,롰 BZå$0}yīڮntO'<V7xOklV5Ysx_KnС6@1Z:%ZķE' U D  V⋋dDK`uIKMFCPi=Bdͮp'>4xuj'"FX3:QJj̮+\֢U+D4klL8:Kb{xe쎗Ab"_7A .Cv}?O8vWa_kgz`&>A+;`_W>ja1_.!]`c/] =xfY'uddȃUR̅WR ړ=(Cђv-N_ q&"S(x9:AQ<'18?:z9 2lV,[Zެ;h6euR:g,D:ի:TeV?B΋B ߳i'˄ ;iΏ$F 5 : Opv$BU!:NI>#Q"y>iX%2xo⭵ރHWX[[N)8!f`A&9X$d3(B/{ު#w}"+Vq؄Ɂgº֝ h(rFaq]BǥDB/>Ÿnzj5DX< .õ5C^":% dyjfkZ/˿i%Շ/Җ즒UFv.H\ dkp0WbMHQdۍ*MCVmm4(ku5=ut9x㢂RyETߞ2Z?i)sLK n)Hڇp_{I׃HɾSO;4"⥣SoYo5EH+ 'I+ <SO#̳yg P۽J xw3_#[%gH=T{;f=/cHBFmٚ 7=My, M=@(`lzX3c ;˧ikZML &ai~Owh9̮j"*#W^޾),oZqo]eG&쫁Fq]Z Qd~,ɤ@R>r:U%qY,:5(KP`) f1a\*:.}