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 q1Dd$ ]% HOL-Decision_Procs:threads=6elapsed=229.113cpu=1084.856gc=121.580factor=4.747zXZִF! 1<]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1 5h곞&fYe9Mza&akz%9%5qc'qV泓Z/暥agb}4C N*ӌ.GCE9ᔍz[i&C@`j$cD'ʲc-Ƴww~\ܧĎ3 WuCl@blЦL#&mأ́ v_r?fn9!;AqWHỦݭhޢ9c58iB!ȭQ6zYM k!T^S1-~݇̀/"Wgcvb}s=n(kLI'ߕס-ۓ;c,xE4LC  -W)BfYvŚvg@NTjf9gRF~w[<}=Gm\Cf/th5HKВY<І4NthFW\}v!?9W` gtjҒXT*yS`TR(a+,=>DWZ:QGI}/8՚!F ilYbK傒2o 0Σ<#3oGO߀/~}ۥud"T7G>Q c ȯuFO5PN[_򽩾,S)id#V3eݬ-P(R*/+YI+kb1C$q]lCoj%rU#݋6k<5ǛEG')mLdoN_ %Eo}YB׳8Gki!^to̽0p5MT,xUն,&}mұ-DGw&S 1(mae;G`jǣ<5;ɞSI 'b4eo) q !)d2u&8bɀp[63p^PxGƅz<|[`_Ȍ˞-`!X)jJ.2:b]>-boh~8I&OST'"ZH$lsgjDeJeNp46ִ͒U-8rf #'ږ ACV%.T=C ʐIގpC<|ӳ_4$V 'B2yNܡ6AxICp;ylȾÌv@I0ʢFe*v,s;S_i5B*6 ]A(j?li@lޡHi+e;T2@. G/`X *c;˜?˼ї ZYv(BG{ʙdvӣ+bx8U!]ly cB@JQ/`bZ,)Nnf4 pG%ŔB2pp^ S09_* :R/Bn'QEk⏪y5i+HEX^Q[v;o*/5P< #J3uȀ|ŘZiB^ǍȴZ{|HBPZ=?tӡ*]%[F0mibN&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 c$9`~=3cg钂7FTFz}Cز27W&_f+ $WԷn{ɒF =<̩ieg/%ԯYU5P6:W9aN:"͙h%F)@|^\J~,:8 ;uN4AzԌ]-|ORgd,^_5Djl?!ɼnH*l(|7͏ #^KUBd,d q"" M.¡iR}5OմiO"2Ħe`oHSDhHt{2j?_;QVhh.(ިEIHO{*Fe5uۦwEֿpڼYAǑp?¨W JEN}g22;GRji:5`u]@Q ὠМŮIC&W9r@Yj VO[!m7Yfp袜ԓXt qEɺh1'-s!,{;WYF!S&cNi>͢DcjE낾D&=71|Zr7N.nDF7Oog [{EiJe&ctAwtЭ^$寂J>>˜GL?,;C5 ySvVB}xE-NmP:}m $[z `Qrb~]w O(y\Sk/lVG[pa|ךDkDLe _ȖjZO h/oܳ0ڙ `} *S{1ȓ,ZVx>SѶ7ԃT;o:\C^΋e4Eb$)lQ<,Q[7-iDgt:29oT3kQg] R?)6&eDC @rO?6H6jwxpLR]n4 ku+ )l{ D4!(3YGf p&=t?eYp܎Rf\gՐc wA^Rn1rn8.o9N^w~Rsյ,cҧӹ,#(^cgHPٌl;l~egN_82K\'^%\a1[w=sz5PPYL\kBMO sG8ޣ *Ornjgv)UbP&1$\\'/4VL w n&=hg𿖬ۂDu/"wzҘ`.d>IЬئry&jQ:/K[n잘8т¡ƶ$+U7ԭT;p)o<^ %MRxfSQL6 Yx5BS}I- k*6-|̯P.ѫ1B]Oxres%?xcT|,CN|:U ls0jdrkl1΃J5QzBJ\qJ/(=p˝P|<@@%-G/Hsx8ɖIw_PUdm[JK芀Wigb_d/C֖xvmwW,R5FyU(|S5I shbq0#:9&uI "$\;~<K6,@ZFkcgZr#K'NqFNqst!3fm*<q[c~ զt:Gp(,C< /6fA;MTʹ <¾n1~|ƺDOfcwY3cWGfeڲ<Ѷd*4-)4i& MX'.;l/0hB@=ZGP9./#~8_"Š՜W)2sÑ z6B'Hk6Qާh;3]uV~vMp`m/ A ;0gMS8H|=$Y!u4pkKb+`ecGn!ssnu1 V9U^M! cfEޑ X|Չ{Bފa"JÎ!$Y"t 7%z&$$ "y@tV"cݢBKsF:Q9WWHLHlOAvK8IGx:VQ[Z,+qYV{fc L5A?<]qΐlTƉHj@L]]s*,%'u}o祲2; u3-:4JAF}L"5R 2KxI#C?il!$&RՠJYTq!%C4cpΉo}E$]7e}#XnE"~nw5||E^QVy}JB jE}(83jFyz.=Ŏ#Ogbt6!lCj: @\,D4n&j<ۤ\N; dӵjmؖ1AL+Tnxͼ{f3,Hk9E ]10fx "xcrۨJ+|Jx<۞|櫍(.h&M|fWvl$죦Bi]'~W]30*,ʝ/^fo>*L_7ZxMl_&2Ѧ0I 2 @`>ucan< _1r%D4 rae>T5~N*|aC V]WO+9𐧌0Yȑ9%'Rebپ}=lf=z]66tukB&uO<x%RLn"E}8<(H\ہ}xVd#ن[Lzr4Ლנ(^WRK/5]c~ylp92>|w g5n&rfN<cѣ)t1꾴üo*:RY#߽3f R,bPwɺGFD"((Q?C6 wl3qwgJ`b$rی])ڟo!ϸr+"Z  ]#+y;2NJS?"놊iǽihr-mOhdujX{,Zs1 ,:μR*nU.d2^J="r :{M[6mgQy5WṸ0߆ {w蛧Fܴ8YRekA\E6\$}eG׊nwygJ!{QZH%1j]ZL B' J7vN7ᲊUl[53əAgYZ7zXZִF! \+]ŗXiɟ17L? KxlWP8SաM~>fٺdO^w¬F{ԃ9kGaSOL2PJ.j_v\|R\\yKKFn'w(z_ \܅΀4!HBrC`4Qd˒_]?]e*E)YՒ"Il f`؆cr}wahV?C4}\30]j GݱNp{6Km 7E 2VnCspA HSk Hmʱ =Q%Bǟ ʓN5tn^9="4jl|C jQČEbJzFlzxt(VDCZ Q#Z|(( CFC /_-a>6 of ͮ CujSLpAV:3@IHuIr/~3NN(4 Vze#\c"hE\qHΏؽq؋99P#MA-/g<A~UDNp馀z?t4/^m߳ N>ΐڇLx'\,o02U]hϨD)9"-q% 'z2VDtzGn5SB: b{Rc(Gm' 6}Й@4e=o[L<7㽻Ҳgvn)ffQw)7]~B|략VcPq8+܍riO'EzF9U$Sr$b |:RuDKW1}wN@։Yd`I_ڟa oئLL<\a/z< ̀ 3m\iܨFH瀧}dOԪyKDWn<:xg,sWh/&@/-ӹ{.0)U9# ?t'bw'Sz(Q̉"]f[`ZaxJ9B-!ۏr 954| ߏ_O]S ;U\bpyyZ ST\*ٍ U{E؞sn*j m,7֞8i0~{2è-`Yd(?jK|7;EԏwZnTsG{BraL.i35q; 1=\Cpu-a ~C:yጫ.8'0@rXܡ@Y]M`[`]H׺SH"dr?ˆ[Pd\6YhMZKg"au iKħ"^>=7ʴbo!D̡cvm*rUZ{Le8vS N ĬaHmƚ Mrqħx qim5D4/J2!lG_-0OFN:{{ʮ-o4oX{ԙ2W"[og7V_ĘQ^fG3*_='[yh:YAJSˁKVk}4VBɚ/)q "H|ZQ)"&J+|zSƜٿLA"=J?0 5hc2\ lvbb1(fÚoa ~rkC8xV"o5s>0n!Rׇ#)<Pe`[+3iq?q12}Pj1pC"ܫeP"=GPwbE`2q lQ9⏐Y}l Z :<} r,DžAŃطT?\XPZ:OWC۳0~߅a2LI}+=s m僆6b˰G0eQڦ*yӿ[ߎ_TT_/>N.hE\"4|29:.%u,br2_Q)RU]M}TQiI$v r9~Ve0Rp vD*1Gnz>yK}Z~,4d1[ !: :4)ϧw\!LF& "ŰW _ҨO yo^&:A16rN){2Pa=cPot 8 iZRcp`:ՍNINm\#M:NmZ} QV?y"$2-f$oBHZ,#Ry7\e'r HpMF~5Gm5 [H="-DF$L!K"5m~Ne7P+5V gJ;&.כhtCܤz)ײȤP-P8,^F21VP(*l'Z2_;~ALzhvߎ.^<2|%r{8R>q f}pn&U݉D@}rD7#gy(!φ3Oo=mO|wP?rt:wK@jh;R<ۗB z9RL )lu!X4"#c#ǾP{m1Bv[f`d^D^ S4^qҼw!D9HSrw\_ j(Ί 8GGY!tDrcU?ۼowy(٫1-)KcV|;)2IO=3;N>~(}p 3A &qdY*+HZZ"?^ ,d%nREseN-nߓpǢp5xg` ⨺c_!΁Q$ģ0kP01Υ_Шr3~RR}rE.!9CW[H s]ѾB0~xZIɋ$fp7N[J8u]ɮq01Ê2%̀w{;&z9j[ n^C8%3ýܬq&CN|0AoUp"@ք3_ ˕7}F+dt|g$U'MyT8#v. W+6U;\3~N|L%6n˯Beo0'ƕ"S 1`LlYUBɂ lN'ԍ-zTI<0/Ɠ ڛN9 d*6%%aQM"엻~E4t<$XW6},7.cayog= LJ!R\|H. H\P),M9 Xs^ۇAlmU|J?oǂjsYb.#RgCt:iޘU" >"e 7aMݽf@$^Q|VSeRzuURN 7qD25ئN)&omrG] Az*(,l%QG.7VXZ)w9P5De|Rݒ Qr 6:*!* $!t_P梱s\|dտe+S%d!nb:Ӿff1@,s$,{ЎxleЭ "@`a1dN],:;p*3g"ȝ p=?qrՁ<;#Nފ k*J6v>Ui@P[ ɵ ;npu)`6n%1nD`|2C zcCPn!uf`1lگ n4{ѧ<' cI}(2}xhO'`Onۦ8|g?|_Q\9E q3"a26/Mh 0}8=9SbZX_`#8l_s3 X6lP-@|Qy驲*|O#N:Ÿv<PB[ [mN΁-eRbo_IALxja؝@dֱKcXհFgYaYOD+P@?B*8B:yvEKޘW+8pQgp}z4g3wZY㝞cV%OTr_UURڕvK{L Ĩ+;y|H(HIo_}:3X&BoXL}!YftRfeJw\אA"t<~LVi.9|Qh/-YMmX Mhwi-}EkJ@y!fwK[{ygÌ '.]^ MWJ ~V  žR*[@V>T = b.UGrdzlJ\DoyaDl+RqUGFf. 3zLԦ2^%GvkȎTqc}nk{zHe^ls8ync +0$>)nk`(WCq:";="JMS(YLp*PZO2`?y Te$d*AvuUNSV=};F Q|xW7`cw~?X#SM_ B{r3~Rv nRQ 8H<6A>-g Sup3vn[ѵ$s=Dڽ$Uduk~+ =yגwrl^IK45D3c8Rl#D} Uh%1y])qf7p13Ez~@=^Jxrr.E4E#iFȉK8{;|R^vHb'b %HrThWX?6>w\qG'!G8t`g |'O[XLJwi}JI @ZxYD }9f\]j@#?PKU97`Nn}UѤdspZjOr 2z__=3*YwG,4"&+k=?ӵpv]k(hUuGSe%Z7Fz՟:8yCB[.,@3svB96Hr>>q@N](t=jy8Pc8mɎߢ`*rc-K$/mkɷV/2)Yr5\_3v;l=vfZ$U(.O=zgD#j%kY(gP$r_eΊGV,X%gwQ J.v}'[E{qEbe ,<ߙ_$ >4m}/4eC(M{ۅ/kQM'Ĺ]3{ӦtGT78>seh߸A|2w4h÷sŭe%mǫV?PG)b[nX{Oj[x3Le7v>h% NБy.L“A! PAiZ^+KuĠׇMmXbO 4ه*)ϸOGlI@|+071W+3³Gji;T_ Uy􅢯q#!r['g\f1DX;'"S Rh^oG{zڐ1˒zjFz4M+pЭ~Pv{ί4 MU@aN"'F8hhQE2)16ߋ.G3\ת e i^ ͿV@O ;Zg<9%eZtC0r] S}Z),v"n.UQS0]4\,M uf,)x*?f&Jp@hsW.d.VY`I`o#OI,߫N*rc9$_S(. L6τNCujo&XE]4-)ܷ_f'Ip!sl?P_10egcx> w2bg!o(e1;9,WЌy ?]vN@向|]7Qɏ}^ԩwI8a+'-tɍ^eHAyJГ&YCj?ogn\ 陟e1azEK/rZ6 5YRU:On> .o ߡ?𧁾9xKw 3T?NsB3R\-&UN~R rTTAiS|fHe} H]*pΆ4*Q#MR#bA6Km5~/ʠ >闒+"1F~P(\ǠPӔ uky[^ol*wY6XגR:|ڳs._AʌyT~=o>`@t6.Ӓ?j; Q9bwF[{3l49g&wq0x$ߓ}'zrAaB߈TJ8,u(q@\C3f5vv@M(ӢU s)WPU~f9d"nZ@ Xg_?\j(av < ( tѹ'uUQ\lFt4\}}r oY8<^چ_2^![Te d[STX8&ؑFGZN9KH?e&>q'Ň qZ 2163GAn̞_b7(iռR9TWkol@њlMHF\<Qάڅ- ðkF~S([/{\L<.\Ì.d"5 _AϮ\ < b+5LPۀ)i­TMWj83 h 0oQ2P}7J#[{ߦ2A|r*&7SYEN'\CA*W3faQ+G}584 l__O/'4f-,~ }Qֈ(AAAТfn9axvV9GY$LÌɃCb>f"m[WGډb)?f&fxR[͇; 6\̗C*.[!OX; ,~Ύ;Fၷ//Rrj4= %_Gv1Sd0&)6@@ l6C.~ӈ>XC^Zê蟼PʛOpdS-m[Ъ]Y:ΈcUު zw@~C0r _ݭ"<.GagД-} ]l"uWK~^uKp=lz&惖>.{D%;T w;ls)[Sn_|I_4~99> J9!BUJ(,R[֟elc9aieoq0~5z=P}p Y^c ,ljf=wHtkBW$e0s2k6~kO CwKC>ܯ9TM&OHI\ ^A#4Qڙn=BjPwj9P؞v䶦3;·`V :āuyn-|V~@8%1E@7g #3x lssR4_\!5~0jSHb˯m@< nt"n 7-+%na9"6@>#%^ݕހL*ռ_T(ɦӖ]C,%}P<΢QSwrEvޒɫ(lk3;nGHv䰭5&67{C쯌 }I O+s i|}r_ޜ/ )-w8CLxw&x4{c[N#2+F8lLVj8T_;m?/)fw R+?tœ>`FRPo7VT&}iRDg`,<$2G%wPO:__/S"x8iowg#(Ս"T3ocd/Z,N(uIRn8T0`fA. S@5Z1nrͭ {IHŭ!K=kCh^LYiE%z=ɹ "[KBĹm,Yit;9)XfPi :mBCwv~t!65M<]Xr-7Jc'}ƚת`;Y'.P!Y..!g 36)'ʟT&jv.& G%Dt@lUHjOPj@^^Y9q-9w!hϼ{P$&#͖R?G)HfJҶ9p.BVۄ&fkVtB[[MPmE0܁x;,-!Ux_wWj;?\=9耭d=h+d{cUg'˶[);]Wi؁5b]5CEB#6hδ~ߑ; $mw?qj*ُ4u1y/^cQPzإỳ30V{7Ap6ogf=*hAg^vh8)v~$_(Ze|r,7Y9_/HupDWm!?uv[3s <0Ϣs ?kW؈~eOt%Kca{tk|\9ivp@xtX{XMðI|ﹶKuHlf l =/"q,?E~zӗmHA5*N:уX>J]nmj``ʾvۻx0Dy|jLscXBf >7ø&'BAvV<",%uz(Hv"S/_~[ewVgupY`&E/JxUF@+{la#w75=Ĩ3WeT"\mQw2DdDwR:8nMLrrQF^&O{*z{OvsAz}߁?or+_/|̯m1bU2BtꂹCf}p q]{y?iqZDy#v_Rl-lC-ʤ1su2ʁ eN;ZR~Bz>mةnͪ+mC%)KleVG[^A>{5]Fj=3O ~SJz!?5Q8VN(q Sl|=`QOPOkhCg?1悒# 'ʷkyf27Z*/ `}j.Nv˖dOYL`S}߆1Z=ykmRHʧ׹,j?[ Tg;9/F@~2bf{:^x_sc,:sJڵ֍*P*СЙ ek G{|*0& "hȢgX$u]Nh8JQР^t5^RY5sj0s Œt+gvgξ A" *\oJ܍҆G_L[ &\ǍUBozF4~B!{/ۉa9k6y|A9PTҢRܣw閑!Jr%ƯXt&Y Iл?[*DZ)286h oNцcłC;9LR4D~&H;[c |SFUZ 6lA.N-["*E,rij2"k]:R3*x=G+b&*~ RrCwwᥗB-Wϴ_saĤ9S <MЎdKDsX1cҊ֝\FkRZ%M+g "8NYk kg&34Jz~uq(9BϚԍ twfU%uԈ7W",]F锕'8Cf\IlZS~#s,g-/@|lok.?G)vWT {ٽeiKTte泧z>^4|?1ZsSQ[_4 1 ?kt]5K8iqv*ΜI`7{yOڭ$jfKhOYf1g@s]@7{] EOGD\ CeUgw+ڊ =JZc7N`biZ-ɤ iCms^*T@̘P+8rǰ|wZUY4'FoR]>b_V0{B0ԃBG;淼br:³~>F zJķPM1O  ԘcopVkKqaY5PnHR4uz rəj0{ߣ!`A-E[0dYoWVtA>Ȉ~+=}o-lL=431))0ӯp2B1Ѭj( a 7c Rdk鋩[o~ty̲<}aNNuyq;D ivs_v)y']IʠÉVKVIՍԢH $0+#`^(8fF]:JҶ,=s<^noy,6MFRD;6qI֝аiKҨi >[[*X4=+!n7sRې8꯮I?u}>jy ٵqHdJ5BW?a/m5«R@fXKp.g D o(񳡑TwϮТ2Q/T#?R4[g,CxA-HJPw;rXM=YzLewgYZa645f25d484cb8d42c5c7935b2a70f5d70bcd5fc171f1401f05a7647b01cb7cdef953bd877fc895c 92d83a3f9935544ccc941b486a98a794a1901ee6 8030f58ea4d7d95c57348141e6cb398300b7420f 03b85f2538704ef61884b7c833be572df1af4f8e f5de218573a0c2d572ade85772e40b0062826575