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  a1dl\ ]% HOL-Decision_Procs:threads=6elapsed=226.084cpu=1084.436gc=127.032factor=4.807zXZִF! 4*]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1FmXߝr{мTE(@@ڲX:ѿU9$S.]ø7IOy9WQ2\*]5/<;EeuJ'qe]yca7:mVbaU5ykh&oFL9h4[DhR$3z|Ptyǂ˪wG>*ҞW3 .S&)) hQ#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 0ɟ;*X^@CJ5o؁T@ 8[Yͤ$A51 A9qX=εBRmsϰ F&#Q}m%Dq[ˀ;<=Gplb" w FZ@U>:3Yf~|Wh5A`܂Ч%@mWjEbny>t1z,]O(A3lm̠mR€V_{5:h[ VhmY?<:#ՀПK#Qr)O9 tۦ/С4kSiE}.9X2S:&˚fq~S$^NMxVa!9(54`>@JS&9%ff0gޖ#OI3-*(9:PٛI!A8kv(*Sfh ;`[Ǐfs0>wIȘ|2l^ZX5ú{O /J]ܗk|]wDVBsC[u!eq(K 3B̧F 4bi<=ŬaYzB5Lb"&ʂQͽ| (9eD )~R dO~,U@X/2<洛 4q^7i4/_&8!{w}Ra𽼳)Dޡ!ʶY>S 4R'&Kc\W64q{]y 8BtFe\Yq-1`~xI*W\Db-Ɠ$sJ:=M 0basrM~qXO KA'$1#^N[gĀ.>o:vƂ*<mumNaq2[QC^?`@(WEl{@ĀxkC[*/~Z< X<?A*X$;6 3"?97͊~EwBpCM`d0FwmV H;t/@)ɹ%^tn&oG4j "1O[d{)s/V^}-`EFDl(BjHI:*_RFDRH9V(J|[Ϝ@\>YۥՔܨ5&BrBd+FrKE1 /BjoZf_iщpvYꌱBjaGधPF*1(Nvd 2Qq9< p,F> Y 8}lɸ ] $gc҃8\5G7J.u]lZ5ggBV[/&96hs,-J|TkIu[Ɉw}'5ϑѻ4GW@$pN->4Nbg7WʹOI͑WL_Qi YM4VHdIdQ !uA<*0z[zS"cymfT0iwKgg)Nt3>8d2S4{Iq`OZ8+d74> w&3%K.qhˢT ծp8 ΐ<1gChMuVqUJ-L!,ꞙ-7ۿ!1׮ius>= 7vh0^ dJz[e(C1IxTR#7_(Jȋ /%1R2` ag"ڏubpToV HHb {OyZ@QWt> KdtK(7ⰽiPm:C>AÊOaC?6 k$#d"y*VdVTT΃1W$W"/qaUd3?%q}rW$4egґt+M*5p9l#Rn)Kf=t`2N7ni!C/.$I(j8tX K&0M$+$>L$bq"2j; Wk-lrzӡ3cB 8עyZ.xg$>,'`ķd1Jm鶻Ȝx@+uF"1dיZddGܯcȫi-Q˷geuo~XQ {cA`o4W%2iB.zٹ3:ξsTԖ+ .Ɂ5jX$g?:rU"pT KB՝q3<:+}C&l2[}T '?Deȹ窢_K_x$_Uޯ(d||Be~)f]rθqdJ?  1"38kŷ[-{ʟkpyQ>> b^5'м6Y;fѦx޼MN!Ҳ&ȏlLIxH/ɷ7˿,lhS{\|Y=ޟ1%34BcCq}E'V l  YՕT^ WXDbE]%Bgy-i &鄡s} 1"/Wޑ-vd_eGs>a c-1OR!<{TG[E0^\0t?$V^՘ l2o %RB@-TCJf4{{_oo1k0vpAr)/y-SֹVH Bc\}>WPcYJ~ ~w`H L]tyd|_b,IRWAxBdwbyp9IKn:S %l)'ڭ?"$Tl[UJVJ͊Z}tr(C.On7,U6m#-,oEԭbO##E7 K"1l {3Vgu2QPBݕҔ>h({t4\l!eMrOCHŹ{wDuKS$դ# vllaR_,j{GNDvլ`^lQV=73E\2/ !@_50^kΉ#Gy4]ly4Yr )iB+}WĢ*4@e~)Al*" N[~2;'UB?w>@cxJK^!1+X/f:ܲ\UPRaYE){5Q}*Ǖmu*eeX7dձwiړA"}r}bmRm9pXA!ML;ӑYƬI!cu0>>覼@M>z?/]Wf3D[!סY( ֚bp$A<SIH7 u6*x˴8ͼýhfxdzE/7}Jw>aeȴ$Z.ݞgYZ7zXZִF! ]0]ŗXiɟ17L? KxlWP8SաM~>fٺdHl-sb錈t&Gj\ϛ7-% @':9ʌ$Jl?I-dJSV:MSuYEYbeV C=e!tjAvuIƼē@mmgM@ͅ|8bJ)eډ%$W J&dP)x+T̍deCiz]:MA4iaS6 `~vc=i\rl G61 Q_t2ڤ=8#yQP.. GP.Ow 1.tCl 9 b#-'r²ݤP)|˫cbrOꜱgYZ7zXZִF! rFf]ŗXi%G;skblc ƥ,[q[ZA &k$醵|Muh,idV~;M7}gjx09O8B/<m߫0≵bnlVwo10Ǝ+GqM܃|=C<>eC,V~[fg#F8^6OC0,R%#75&K1鹃/mX"TB"mNΎK3`r3-]KG*O2/gtQW|]"%q> OTċWjWĬ_ @8o'"䐒0 % 钊-VWȑWk qrQ p1ǟ"QOޢNšWp!p { ""tuK!< B!7b*93V%|LQ֒;O/  Ԏf\ g//JbE8pj] ?*c(nf 4ˊR珄OP)^LJ"$a{p(>f_^c]w%j|{/)"3" Y 'u#(0ϐ70r4Ya b߫b[Yfåv6lXjhc-qԮ&9O}%*g2x` 9N\HWYnӖ "WWkfdA's*=%c&6tƸgc{o|pnJu lѺ93bOxFgBmJF y߈`."KA硈 ]VrwTߝ>IWwc*Y6; iV)t>݈q&ʥz|^ldK~@lNR"ZrY+۳`stk AQy Vtt;#Ie: ~B u2'Uq$QcbwxH\ BW<Ɓx˺R9lYH$a7ӸҟkxUL T@NKzna ةl{Z @any w_?׏1L0A؉Qኡ _L7_ gDȺTW 1{6!,~}QejmnWIdgyB4;im/jMR/ı#'V]'>\|&5 *xr "鮶nM3ϝkr|~mQM=04jw8f蒟),n^]) gFYք"vɐ:`KfØ!C@h6%5^smgk?-eBûźeZ9FD.BE'})]}pګ/X8rK݅f7t6~ܧXh) N% ̍ҍ#'% o#ŵCД$)lRl#W.շ+xZNj靽鲣{tC*QF{/`=y#if)_,įnLg}c7/d8!ǐcJ~ǴV}c&Ja_GuY}O ؠ-oA%$GWa!_f~2_?"(Ye |נx`S6~a3"b{3v"%jV6z6OgOR"9%3|g]gr14Np+*-اٟ ʶԍ: gU{fItPU~O!5л>{1Z)L,e T҃K8#^YVJ{i@(h̀"01 `uZXNY8xH߉HP%BnL%P0&vxTf&*lHdw^҈I@Q2:hRgsk "rzmA #Qǟj 4,>v-p/gf,4(NPf`-uo!,ݙ*w2? Lnߕ0rA.ʪvKx%tPי$#A o{rm.͎5l]<šhXm:DVr$_eh5Y3U"'KfV,iWDG+rI_P)l,T)q^뙿}*8QtAw GVRo!\Vі&5]>):4Ȫx$pignM{]jnC# !# j0H@ҏ77nŏIxfX͔&v΄S3E="STy=dBt*?Rv)IyUP_?uUI?Qo0%8<7 ~L ȞivCX>.EXF~(щiX4osD) \>-?ט5:w!GS˗5۸IΗ|}}Xul #DsR&楊6w:VQXDOW:1/lVIECaݷ(IK6ȋ)&3 +@{e"5G2É.]QvD}?so7,|}EZ:~:x\K\Oמ(uRuw7Gra6DE{a?²{0υn9`1@LaCEeUsP$ 3=nTlz!v?u$̭5k`9M/\hIEMNpSјrZqR) 2#`d,d1Q+eFYƒWya_`p[\뛇~l xC}G"`*g#FV3@%MhQ|'d)VY):03UY^9^ª0MO?֗rnp{NpKGIF!﷖dN0٠R|"{S?V= C;lrV8'UoEL`pG@,.o] ݾ[4[qnQs$:|lOᜑ3CgI<d>&p_6'=/S hX,9oSC!+RH'iTބYq QapЗMQ& 4ueS42և`H1Mi6L r5pvq)N|SqJWX `d2\/29zɐmL:- {@؈84%D6|of_e+NXD#f7, gu xR (.@++to$o[%xz-g;Xx% EOoD:0n"z `4ܫ}#ҁ}> 4p{GNb>Ljƫ*[V{Hrg*qͷ x ggRҋGXͦ3h GƓFTbhBUY-YYi$I}]ˮy5vIQ !ExB߃O} ?zbZB Ds1BE<lMg&FĞ b퍃b[޸#^}}%$"=PkKGcd_7|Δ!^N{E|Zpo x),V}.2c/P4FN4,CNם ~ z.2˾|,<1mc+m=U.~1i D%CLӺb'?gBkn|u>S}'CsC |sc y#jYԦ^J=feh-o93>vyWƃXJ.sr=gVAc Db|b-xTl>$_wŴ'g(ĥ#>-,B!.P:/^dYiGibC0rcD|tPٿtVpfU\ڲ}aI3ZCnBr6XՋ su?m43$[Ys!_[:e?48K.NZWЭS))LKďoc2֪6sJyj&S]bӶ?)$q'd16lz%@h^m\nzP H䋈$j^FbO]'ZhPN3rbxZPlKp$XszXeg[r–PG" 9vuFW_}.%0y/|Y( X{Dzm {k22%"N_CܹUcԪgJIw,z_6$yjcgT.HP"4of/GoЈq n/WJl*wW*5  \ ZE(*35Ħ ]c0P_!yhzvD m÷J/>n=U9$sIy9wGeb 7S7FGXO:p\ȩ튫=Cl2: ŃaKyk@o! :l$q'x|dQay^>ZGT+3h9ue؍9dX$D b4\+ 3$*~1+]=aͰ5l8zJ4ZpwZ9 Ҽ#\=D%`v3tuᒽ8'컢y_y>J>idE;˓IͩS$|\7ba?*f8Nv~4°Aߏw05{ʻ&0E*u/R *͠aE_Uw6N{^P#-|Cs 5 J]&8TBRKh\xcTyrcN_䢎YXz;Gu~*=pToRaR '[}OQT/7zV~} [SLWz> X?|LؐLɄɗOVLJE8jW]ԥMa{yHO饗}XV@@Rtg(b-"i1ɉ b_} 6F74%"q{ `V[ny=#\B>?5hbgwO5LYK1AZx%I_88)gJ*g|PNHy7R^^ޣfr); ŬsXHHC (ƷniftC" E,G(5`KMTcj8K0 P Ơ`U%gx]*ޙOWк< Ϳusge5y@p 0փ |#~ #;Iʢ,)2 9}\SxoKA0.rmH̾a"ֹP@ÍgY!c ;۪8[-z^ `/܋cZܴ4pB&! QMdTA~ u⧥A*-LD W BayPҬ;g }>}"h.l엋lΑ @TV0~ΤjP#6/MdʗF\1vzWJů줄]ђO_ËЭ ĕY RyF%|!>y9}峁f5k&~SSe)!.Q- rj8w?)9 |E(,}R9v*,r>'?kNetgUC ,z53oAtyYI(9n+7Gʥ~$+وSqntWFgTY8 -➶ZLn`y(?J4_;p0Z^ >Ct%0Bמ֍uC$X̫ xLn13U>7 ,'&Sρnkg=#\^SpP)m֋R:/jxe2CRH!+0Tgjf0|U2|Z Sbg+!2 ,[b5[:ԯ>BNwM++ߟ)8 v<4XծjTXo/܅}:2HwwI|nAcXͱhȓ{gQ%9XӶ{OFxa _tg7N1vO٠y'MVrqx2Yb&]2`BdkdtOéԀ-v "dfūXm$EOď/4$E᳒6T&Rk@ ȱp m&ڟH죆x^M]uPW1l$OLHjAxAZl~ηzMaj= ^SB]89$~(؆D !*^vUے vOaHAn1  mde@_ g74v 6}茥~氃*H>>#Sl@N>+c}asWJ8d%{od#Ju!ꎏEg; `'HlGǿ[6GX:f B@rd#߽|Ja^j@$YG%)Ul!ÅE(Yu@`k]2_Jl)oX47~Z?9'b&AGty1 9ZMn{[z7V4*IdN:aB>I8S/mVtFP(o˃;YifLGAh6{NLgCEQL3IEތ*G_-9zk5Hyfv\dm= '|͹^E0r8 t޷7A7j]z.|Å">jOef[B;b/$W9Eč7jHR (g!*Ay(a :LU ~X*^U;FXP|_[ ~\Ku[@Vh9Ft%*DHkĀ;1' F  1?VI1 rR;+w^y"iW+;Q˴%% i5Uˢ 8NS8onc-aj++jch D#Ȟؾ-mا}(1B$m6J C{rm/\&1woo+MۙO UrH?D)RJVU6b!HiClmI;s z)0- g_躁w|ojWa6>Z$앳^C.Y{p%RЏ?ؿNw˦@4cBAzڌSf@gdj#ZSaKŜ{튖hahj,H=rDzV"4a&uq.&?i':WPMa9Y^D+^{cGfS0 eaAc^7ӅeA7M#[KCf޾|~śZV`H 6[6\[[Fϰn;H_؆ q<z?q֞Q,UI֨ЫHaG5_gu:~gb`#J1d޵wQHRHlybZ&X ?7qOyWS5b\xmE=O'`SZrފ10`48Y{%@a>ccQ+dAjY,j x5 T(^ VJWW҂19m?+ rKb0Y7,A#'IZh9ima|`ҊKv;h@H%叚]l\-E|!Avur{?>t!IwRQPMYŏ&=IuU~a pɊ&ޝ/'uܠ꠾H?Ymz:<bPh7j#nAeb@> wrrAELd4ұRGeね[iB| {>EÆArzIˠ+[^u [΁ ZrD$"Og:Qs K)_%szDYd[M.:#C лOy\&/,oG5<4 q1xS|e^Q>l3 \F]O}DF5wfDQYL38{=r=#dm^+ObRY 02^F*ZVkpwh[Y$ZjPW*u#NI~מ]@-T.wo8FbN< )xmV9YMM]60&HehcEQJ6~[) gXM.Z)\?3xY?=w`Ot߼pPc) *zܒ.56 tJM=ZinյLM=xvB,Q .4l TIVF=9|PBm@otkGTti\j#$1J"Ƙd$XRNbA'9u2s9^Y& a}wj@Qp ,-=[?\ܽOo#!e{7EyQZ~C@&.oRQ(~dJ/FC:@S$NBbG4V] C83$>'2_cIR1gXݦ<<-O^(q?oU$2>c; '#YES𿷥ӽxM`qB35wނ+*$[ [U|;g䯅KUN}}WXuCŜaL4͍m8Bf@U4yܜ8|h[oy]cm0ٖ"2e:(7~ꔼ* ՗8U~5[d!̣A3KXogVI-N""X CcG43Am%?/5eE}㘝%of)`n37CN)Z,1n$ҖfIp2$pKԨ Qo|RjԵKm&  k}9\1?S},$^Mm̟JVR*K 09$Zw-o:brbt˭rsNq̯zp*,-Qy1,gXI-~6@162i'餩KHVz`Uea`soX -|J{| Yh7)h^3pܝ;En&gb1vJLs"rZu,s\`|XJFHKh8&ΩM*z Ŷ߆' |ld&_i [6};DWV@Q8C)w=ƭ}r@F.}GLṃ9^\,(,S-s3_YG72rկWGgK&s~1 wߕj7E3B`X&$<\nKN-xmLaYq/uÂwO*4StX%I`_G菗&fK?uoWXJXJ.ü5ar4DeE>;-{õ&VO/;Sp%}}Q=6/L5:n>&UK\[^Wp_Ǣ U3a!Th7.S;A^NB͠Jˡ_k Fwﻃ kZJś$2^AC =~΂G<#21$]Dshr(vbܳҲ({wBV5i~H7'eZnhl6po8Qd(W>_ WӀPx2Cյѿƞ@,}kc;i`oHk@bwuG%,F",$oTg KSa;삾1Eb1ze C䪊R(] ae6NvXctbQd&WvnMʘO򨲻ug5mPX5^l [L\2$׀[ؕG=QCnל'&9݂ƫ5ִ46\& 0^XuN&2\zL\kgA";gEP{(1g}.C8A rv..kLu<ˬ_jb΢›V[Q%*[$/D (C/答}լ%<0h[YO:Ė$EE hG@Ө{ 뷵**#.=$MV&|ښj<d^O/1vt5~ԋ^lr(^̶R)pڞ~f%$TYoTײruԅQ{Yeɷ-t1[#5ݛ8&'YjϏ5U{Z Ҷ C:+lƿJ6@rF@~֤B k \J7|2iNn4kUa  ː>^t2~ѭ!yL#nl>bK&,ƨ"1JS;^YG^Di _1:ټ|9ュ-J@:0Խ iq>nk @J>lNfZSmzDo$ۆL%gŦd/PQ\EnT EGPCC̵gMA7&Y@0xÊe7o$0*ovdPn8@'e IhU9.DL!-KS6ż t8גE*ue3]3ֈ"Ѧd#vn7p'sHç7z|QYn-QaZfUZ4ɇcT;Vx7ȮRoG#q3.J]WWRwGp+hrŎ9t-[|!?%5huZFvG? M-Rs" P[BS,d`a:p+ MDZJAɘG"Uɭnutu[ f|.%ZV"9c?/$Hi}ǍP$`-pgk/z)TP{-cޥ]N<.G{v{,xIƦvGK2)rd1/=SE{h#os2+vQ`˒vMW*9(v`iwKZlsг,IK^٪4maVS3!;59$dLU#]2av6/%S#` an+Ơ/ZzOV%t]\@q@BXU}$|>66cUB5 A!Xz-zUQnTKW %:`1oi&xQTH])˅ĀlB흿ml i3)Gk {#wx%6 _,ݥ 1g־]%9>eh"(!YH*].|[x ]mq0Km5WvI&zF!D=m:[2+xh-aK_$93=/3S?Mz+h >1Tc=g|3f^w_*zAD7iIE<ѱgYZa645f25d484cb8d42c5c7935b2a70f5d70bcd5fca3d176741bae82c9dc513b9f3c009dc5dcba212c 631fbaef9289fd3b1f302dd3ed834db22ed304c2 b5397f7851d208b33eae43fa158851cfd5f80553 b81f47633ac2db5b7d5493a1fdf1e3ba04ff7979 9507d22d9cd1355d12fe9cbc8ec8efda4bc7d640