SQLite format 3@  .;  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\, ]% HOL-Decision_Procs:threads=6elapsed=226.041cpu=1089.104gc=139.492factor=4.827zXZִF! {]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓MY-.M횗S 2/d-ٛ0|LɏvNp`X.@ș'bʴp$%I%&o;ϩyeP*dFg7`go)]\_nBOOc;m].#w6oB͋A)a 0P"-6+aF*+"[&}%x+ 'K.,Y#ue!D{!k5w`5`8rױ)'=EcrRZ5'.??'dn77mF[_ErV.=_7' *ㅞ?[-0BE 60X<ӸsR3UF$9ؾ\g3H 1 HOL-Decision_Procs l 1?= LHOL-Decision_ProcsHOL-Decision_Procs.Coopercode/cooper_procedure.ML7zXZִF! Ti)]9 ! kG GŤ٭$`_Ol5cD̳Ȧn (w1s%¶^GWQ1Z}B.Ev uW|y0l<`SuSJK~Nxǧ(4j (cr-۫ly򌙑euM UsE6.&yg@rMWXȜk2P`ey|(P.#Fᨏ T~nҖάbu^~5K틭3R ̝e2&$B@IqapF~O?(_GKlU!G-CG.*_S'5<ZH/מmp_0|Y {XZۥR>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 pOv!:kQN/`Q<=5WyW<) bT4F8r_e&I&=o-P|c]7=ejp[ MOdDcB( \ 6Um̉3M Z/kY%ёDebG2<Aإ|.~8KYyʟծ]aN5 ES*i'&c{,nYJN{>}1xT(@\avMM?TuCkW]qSOVd"Z E캞z=.%vI,y$^6 #=mBAb6s%aewٌwlɽ2IG[+`g]AN-V04+{3%M,_FߑB|=a nnU7zw6 ExEߴٿEak l#81W=T̽-4sFfxTJ6r=7QSe"SN]D6xZGڟ9N68k0Ua( {.-yDATŷ{ޠ IBU,e?[etSsh͆* Yd!5[@ḫuD9}hn7 C"R W6Ǜl&E:%ҿX/'D ])DD[ǡ{/Su$}i]T(3Li9gǞR9F`mWP8,ys2zBhŒM2jBQucG=0v3?:RZl }ܑH?/ P#}oLh J.!}n4=p"Zߦ^> 0 &\eKCJ h_'gh$-. 2DGTc:ˈ {vH=+ĢGM6T3y@PF)6R9erַӬIeYhvڄHd!l<SH|%tlyԾ+M8x/ލF\"*R:(]q8 #ߴw16{w< x*6W쮰n%(;2P˘\LTFu@$O8(ӓ#}ݝаn+j7]A`+p53uv)e9a _5/_y6Tߪz{^J'lV尮 `ixZbcĨhU&_c>.Y*/G.w8-1H(9[Rn]s1KWbngxA+ 9rX!WxU/.۶|QURz'6{Y̻gX|0$̡mڱM [yE,F_f5zFb|ӹL+u&0P30DWU+ksK:-ȑm.mXT\y?\%񡦨 OE  S t@!S r{;p4rcnKDb+mfoED` !MiJ2|q?Y8#+rt*YIHb;2j W8=D:אYF,F5hul*UMݞenMV. .{@#^l4@_xlbt \N#I+X*wKgHnY t*D8f";W~"<8M1Ki cFB5^>|jHƷt]qC؄ZbJbI:a:xkRp= PLoܠ\-'Kd=兝1im#/ )c8D~ (4 ca,ھփy\7RZpQE(^Vaw,Rdgb.T'?C[F6cNv\ P"6 6sŰbZ-/5$͢luc2X(`M>^;E?j8F ckRK ,]]Yqu|{aF9HjyӂeqAZdz T@niF=}\? ۏ!M-}aT܊jg @\ECoAuiY9ߟ*ףk^-'ǐJ",xcJC܁Q4Gc}YzbQbr"yjw/#16!cxc J}L+_&%gk2; !s:+eW­g7X3%w-\Z۸Iun U$iHtۀ3QӓsJ{I-čP,1P9ЯoZ=]=ߣ&4'F-E)}:ngba6aGl?PJ;d@(B/rJq9S3IӲA9A*K7``rMU"] TB-YnÖF {),zl& 7EOGo Wڏ D?,ۮD8'icH\K{ jA:39Kw?u!^N)D~[7=__˚"x2!VZyNd;8KuZSV"f}رE,E%>(n=g8f . ŜaւSR؋1&XZQsJ>;﷟n(M{^B8Mڭ^#EcMrnQyǕH.( A> <,}+6HsgƉKQ=B=6ba *4 dz~F,Pv7"AuUmhДYPp&5=1BQ?ӺP~ "ASn=\5S n)2v8N&2/Ќ  k$TT,WgF9Ė"#_d?;R&ߪ$ Pi:m'jo - Zj̎00JFA;>Z^j+,dF;{K vm;W]`M<|GwDgFk6Tc:lu >iAM•$Eؖi<7C"0@ɐrPn xtxN-@ f6s\ 9}>r*2sWk"|.)AXk%* ;r#BIS5XB' $Ī0]Yjxs_ ^άyٽbMoem3MsaQ @ h!pe *mEv`/@;bO xP4@$U,NY"W/o_{{LKЯr&p>1qj%5u왨kj얃"*T'E0 lcɡ8>,y+.@dgN~܄\칽~mN(uns Jx[C[Â>\Cf 1Kn\7-8CSAY`ATH\g?TA7a zլgX$`I4BT 1d٧vAk͚)ُGLZ鲴KoTчbl=%E%u3쑢;Oo"ta]KP֍p@Q܎j[69 :g1;4^CqcGDEj+Gj/b,JSȲkEڎPWflr@v7/$9gYZ7zXZִF! \&]ŗXiɟ17L? KxlWP8SաM~>fٺdO`ٖr@8@rcufuj])>XA<gEbSבRzXKHx=;,IQ&}^خ;3yN#$7)!JFd~!LL~]; OMo{M.Rg3tB*d* Yә^(m .R:5ĮQQ`WK`Ls2.Gǵi Ap!ĺ$ Dѭ7rsR݄[rq`+ #Nq9stG!ƤiW)SƄXb 98Fz`;3Cbxcxܭea7J/v2r5G"찂g?vNvpz Qjj?ԿEiv8Y lmGӖ.O$;krmez#5u1w֋ UgYZ7zXZִF! ]F]ŗXi%LWnR`](&eߴaڀc40hwϞ?TބCiM{tX-X9`cTݴip+MK, wP"UVs_BrSi{"1e-,OaT/V3@s+tGŦq&D措ޅ_|#+LfBVotmQ&$ m*}To+yU)cS N&[a.)]4i )=Hy6f\rά(~}iٞ($ug*!0+ǛZrgrbǏɌrDRQ`̼҂fֵ:6LԘ  ( p_\qGQs9"sw,ʈ;{*ͬq΅=޿ֽ|} жȺ_6PY+8997jp ɥ-:<tO:B%tOA5)\q=K="u<uI 4:7QL0 40v ZޤcpUpv=t(#/@8(GA$Q&x85^:sqrrQ|XZUtx#z5őÑ3ug1EύkJ%;׵|eB,>,7zW : Ҿ*<)5\=sᮍV`?Pdk-:W<j& S0X 'lyQ}|MON@#35#/I5Ev6V} qsd J$?aED^CZN0Nc@V 1=8JM|O]DPyO>jBMCzq17mes=l loDdI[ٰs 7_n[2FIqCtkoV1^Ye8M֐pZRAU”5 hWdnl)EdhsO8(Gl&EйҏZ! {r5GE?~Hhwb~ZL淭,v$2?1J Ev2TrfJNph5d]9CN&mfTVUcon1+ٝvcvzxG\e% 2Şw a >E284f4ie4nFa0ʤLN؋GD"%P?}6R7x1m.D#o"e Y֪B"6ֹ,eD?&'%l*>*W4\M/ O~ }R`KTTimtFKfVBo2zA-8W8X\] p0hA21Of>g´UL,e.(^gNZ@uqٽdvzA^R;/ )>*b,3Jﯔr}ov+y'2N|%4Q* u:>#yFǙw Z[-ݠ<( B 1_N,Q^? Ib-'zF~['4~jH$Q>_ "IƒYV7N!RܦIL;ws' 'cD7~hk;y #i\lى WdJӗ=˾n't 񇙿,rI i3 k>ZUEEkSռ҅\cC5"#p\9//6G)BFYLfl^mS j~T,VvV2gΠڐ8Ѹ?;$h{bTN8CO2GODNTIq^M9nJk^0 !:`j~yDQ )Aw?J4Jc6sMOC BΦƵHZ&s(>20&]j[fZ"N癤b|ǎ36;m9;?tddGZ7+a]PFϷɣXm xލ*pݔ2Ci "8k$=;B jr߂R@瑾J϶ۨ- i? R`GAk0iD_o1K.aqT; p9lz)1žmX`;^f_k me*(nZt>?0&x:4uAX(mZ+"<坟CJ\̓k8Q(g.想,:|:\D.Ow*ےN棏;°Oؚsћ;>sP{h#BO++7w4D~AME1MqJ;3.LJ OVSt8T$۔D%e|)"9Ub<{RWFN{#k⇥Ȁ<'~0~TPEs;PtKROfQ Zrvm(ɯ9J^MkQi=&~Pj=fCwdfIP%_&,kTؑ+|T42a]iڸ Ybm$PpSٓ[o.Mdqw{ıD43}VrR w=yf?k=t1qoF9Nv>] Pk+Lg%jK0xw,ߘ*x!D"׍|(,>Pv \  0CbopSݲDM}dUnvCV߭TApuJmIs1V-"^|?;)ES;‰Ӱ*;믘n% I]@$"q%ʉGMx8n.e<ɍM^yqs]辋nm[4Ǝ_5uNZbq*V#^3mʨT4_'EgBgI0)T}96Nݚv~ )~ GHjs/ut0F4Wb=lJ+&pѕUr!kcS\\$;Jl˺lGgWEј Ũ?>K`%횢:%4'dJ}QGC}l4?Gp[XRz0TTG*uRk i/rI?CZw7҈P:挤qn% &x:d  ^>-u4D"5k+<>aȼ#ޖP @;çX➂#9;ŨHCj#.E:€mG^?=;1xTU.kKeFL *,{c1 Y䒅%9*r !`n^Y"^uVue|AG!N H*|+,$3^uJ N=VȈ#{\%2B#_gʗS1b7WPP$z!VB0acرnnX\Bx~K^}wYR>/7 *.BMi|f8rz~ s[)YR9TVq[ (lxԥ4gEHHebw> 0jtޤ8 s9B .?y֑?9| ;&DjaTCIA&Lvo8 4dxQKWn}Ep}sڶY&{g9'Ptab_Y#L[[P-v<Ѵc|(!ݷ֌u63iMO[A-T4So #E):;]yYz_7wZ̮/\ܗ!w8G &򰝓c<*(sM=-W@g7% H~g9Ƚjm3·.ISH\q߃%]1,>Ҧ.YNy7;CčDi'}`}q%mNs9,7>0qB72>ϥ&Yt$Em /8i`^-‚SpO6 ~BPj&; ])h 4,4k!wb[sTgVHƷj)]O"nkӖ^ 9d0C_}AV0$ΰ %i@'2:2T ,y2MI S'n dN+ܽ7Ib+}tg=.U^g/T6JֻB`w>i ,v`\ߩ!ۧl&XB`%@6Lk PLGu'hyDw%d0R19"4PD8Tt_2"h6+zQhcwn<8Q^L6ڈ$#)>tVL+x5lV퀈LJ䉖H)1=&ve9ɞ +~OFt*x{j$8E-a fMrBewO"895ˤlA^5/XL|Owzr96 5kJ5|?B(/I1~\|^VD?hd+ipRV(J%yQVFђ5Z]OOd7o|8C'؀U3Pa0_fʙ-7ztv"~'-5la1V#Eګ#[:Jn pO&h J"ͬ^z*8k"vO48EGZ`6܁EE)E+Nx!XH 5g՟xH/kJB>46*|/-bx#I{fU[@[!:N/PþTz">6l[jazKh~u9+QbIEyѨo7_-p`S[1n3:ǜ7?3[-2o&j\=L1~3r+{t,nn V%ӗs^4]~جq 9">klR7V¡@3>t:3eNݑ@pfd \% ^J oH!Z9>L@a/Pq&#(3A:(ǂȰ%RG2$,۽5LOtQ{u&u^vwpI'Q۠)(߁S9G]yugi/cqRS}c?1G~b* #[@h8e-_.TЇVN ^՗{%ǔ|Hic1@(\#ԚjF xd3 D@ JMWd/m>_*B@LmDɩղi'DZŘ4KӖ? "+fs"s*=63uձFcu#KԨ|Zֈ/%+#[gMyCi ݺf6z,5i =l#E`]ݱTd&+:IR&ۊ1'z[>LDsOZWffbԉw!n{-XUy`\X'ڹ᷏=uFC[`RQC d֢p"bM(ݖG)FסK+եچ6!s|Q)Nvq45PHXP`#1ulW~5 ܭu#SCUI 4C XmY^9!JRTɼrqyeNOo t$S3Mo?'9(Mul/iD4rzHwO5ZiW #ȹm b.kajAJQ3ZzY-\ ޘ^xjI@8Ȗ:ͦf~#U=ei`$y]0l,I=d8'gq,ѾѳT);_]A8co"~'nW#YN/_v?:8]%Ƈ@kO)VQCP0V83O,)Y'E(GG*1=`!Fbo~qڋ 4BG]g9jKmGkQt3LMҤvt;=$3c>F(p8lFe'?%n6'$.Oggx@#:>fLxF8<6WГ̲M*6յP&E¼vo1Uuq2._lVc`sS=_EsR=ׇ [uޒ97(il"Kr}v|Xl&Z%ۋ$]Z+jg=4Yf׊kD&=?HXՕwb7:ۍ:埏Qm :LpveW=0h:<@qS2C\sD\ߚ%5L"OixꂿR],a09 齨7ӜO}+dpjVh2;j{DH+ 03N m:~hڎL9 8ZNcd:t~ydIyzg6Ks ѝ/c`WV'ߘr_TsLǂhȈ6-Gr2شGB,(9YX1Q܃`A\V1ͤII`ŨbTDԚ _|U"Ф4N]Ϟ֕`}[Q^CJaUJC_8dhA(IAjZñh˿ILWڿE2+iѽ]s |N.8 8SUc9ܹνϋ!&+]M|Wy@^U-jHY낷Bˁ_Cb%^JP),v ~wĐJ |^l㣭kt<1`)?!L7UUaDCez`*6'C靐(ꭠ T#K:]%8[}%ۖ'@~)Dk}x|nx:лg q IlX u1{?:Kː)5x5ɱ0Ba3R+v84v%%@V!T7Ry8 DY_;D}.+LcGXz97V{KVZsěG 65ݖzSFddUʓ5&΂HT,X~İ Vc>*߻}VaF-6W-%8(oz_} l! {^y 86m5v)!aU^+9b4Ga3 ft꡵?PRM((DPA^'rݻd| 8#؊ ]ǑJL3^?# vb 墔#GvS(Ԯa_ֺۛY@3L{(HeE?gVL9L3O:[5>TC9jѽf"xV |D1=!YEo$@ŷ|xf*}Jت)DǙ`& Kń'Rk'q}.| 9N:cw.|XGV)qw|`*q۱D$ $x"3ݩF8uO0 ck{@~6drZ%F!&>M !]\> fz ۺ;" hdZCnZkw29z(Ğ|R1^Hy)h+xj>9 55WhEOQ͐ҳ\1We; 9DQ?3g[ _ܟ,X\hxT"t^Qƅ&<,UxЦ ,##怦b$KBU yHn?Ke'Abj -K xr"4SB /u7F%;f#.e-4 Gp>dL)/^F+18ljyVۂm=HN':w C&Jz\Y0ְh(mvK %u5}QԝR id$$cۺAh?ֱ̏r7BôuUlťCsan!I7v i׍ T`jdry~v'v q/h+u~תz 5`LlOљ]c~dN2;_PNQr R>m5Lk0ԀK6;}/`]4#xгgD>=]ٍ@SU.:5SJYD-Mv_߹Oݪ,>o7vB:rj/} XSq-c 9PWM+= g$cgN ^ smn+ w|@D[ʖCzV+q/ 2!Ģ >NJ*> GخLc,*5"rH/YEzhV,šl^!\6LXߛf}+bڽML*r BD@a|dsN?M!ӓZEBaZoZ&?Rse8$v1[YbO|kӢ _+m#s6_驏}K1.Ey=.WuD#mˎW)4?@++<}r޿yM!Ozl6*^[. vafDGA&SuQ|eL硲5ԟuRrE!_HQ\k0C_#q;&8YԻ;"f4fd Ez}+j1%-[0xF* dP#ң55'ߨ9t}Nm]P0'p'IV%@z0؏7ia<"5J+9H5V1 ~ج/ W=مWr|ʳ߂e?2B i0eThr}voΨKEA$. 'i,gHEY:"y:Ki9*W0)gSJ%uu0۾D(U-RԢpF]JuqWDP{i%^XL PϤ%=}v)E*GoѣjM1TFU`F.s漼˖LN΄؄Q`bLf='0ٚλi% 2o_%ԎZӨ`Mп2Y軟FY>Ya$[+]?̲ݵz7-aZ_6jV1N{ՙ@x}JSHP6{zխQWZ%; Ǯ|P3 *lj7(~70;!b36}6 c!/9nWڭgQZ[JxJnMe͐eb%x$^oyy%+Q03 _<~G3HevV+㯄 d>mfM\5]Omg`ފ >?O|RB=m"9M䜲7v]@,{e+g.uQ`HӼ4vk`ڐ3 ođRqaEo|-Ikr5*+:4fÍyڦcF%>\iu?öP:eXW9XLtԹSX=Q(1BȖ7E(U#(\}f0 T!I)sxȍf 7R,YrYaڰv^)<ς[gn*ܙ4hO|$d]gkZ[4W[JZo)'58'9RqH ( qy>ҥr A2eD|!=Z9G֑V/s/r_RqGOİIʓXEnA!@ M{A2V8˺dzύ\GOST%˂ bH,$ь. KG4GQ+{R-,*JWD]0d?Z+!hmaV5%n]bb\k ,ɨTz]0ǂqk0 $O?Ǯ(K)BXB̭'/@vBs|M|mEo߿'R8=w:Vu:*\آxԥ> X[ZKO+' vQrAY|H)g p q˹NifFŰH|T揗-YѠ ;$ҵ0W.T iG7DQJTu=UgKӏjH z,Dh47z9),r#jṽC.0<~SZgt۵2:#a>,]V8q~n5J5T| %sI}%>i5->J(!{n*R&[he^QH(n^:J8)kG3ÍD.&@5,ʕoUb哇bAL7A>eU8=, [UL%f =I)`>$~=uk`L7yɌeA~ROIH}(:%dr2-{DEΩ;-G6qbU%9U1m0f7󱪶i,FFVvĥ ;UB9F_mE`5]*gt! oCKVo~bjTŐ WW ˂O-e\a 4ӵV%}|lWa!`_sTkk : h `R7ۦܒ_v|c}|#p{4+KDمN>C{@o+iZ~lW8cb2dPeש@7kW(+<k=:`5k W9n]Sv4.Q4)ei "}rF~bx K+u};È*G^:j⎙O'%|w[.IeWi11/Cc6S\ۉ&Vy2}1F<- \ȩ&{FV 䣙{" h;_R3vƸE LGox>}{tCB.NvDc sVVQ**"K9uZN_wno&!UkX]":$Wzd>^daZ|P|snPvAxkWm@Si2aTk]?6i.ȵSxPlaJ{6A~%%g9!ڗR-وuΟBYc: %tOP':)mz ]I "!Q>$1Vܿ"ƙar dj^kK{켵+]K&L&==WegD%ljX4dqAW&SHqa ̐9J&PSP x VA'52/|b;91;=}iqs^6%GKo*vG~MNS)_0^U?~|˨^[^w/lfO^8]~Rސg\;Q̝FA3vԧCAJdjMQ6\g1IC^1bnK󼔍ⷩ=Bo,ƃ3 Z>*ZƝ>C97ۖH]ctEX83&ytN\2gRZ9fhϿNCqSYo 346prmaի2mZC#qRKgSq.JkCf71*鸠ݵؿ,#`E-$ D8W-s 77]m  Ƚw; >jӴ6).z@U &$9F#wjrI7Y@֣+vQ43 ؕax tlN,i^[X+?Wr7`*N: >p H&~Vwn $ =)&ڌfW,¯eǁi{O0ݘ@e%[/)MF5@ !X|8>sTCx~sIV_f-x:DoAw}/'ph[䔧<>C* --MHY%VX; }zXB&g If㾡bj343:nܶIHLB]v8V׭?P|e"{)CTQ:춀6'T"̕OgkTqs,D*Y3, k".b~xQg£sVW6Gc}QXkTe%ArH)r !zFHXN.X=}_)26M|j\$m;{(lzO:[S:/ ]@)!ʨ|MklSw>|[º[e@Of6c,sC Vܹ~uiZ9x^b"j?M=ޑy1!6bQ*Bkc*#-.>\߬mbnXD"PYTz$U '|DK\'lN(&&%ut*1q163 2l&%hYl]AϙC&Z^~* urv'5IfztͰuIK+Q-f]WbUt,zל5.JKk B.n4\4Jb)ޢpy3M-13h. "#,xI}*2veئPϭP۽fޑ1Y-1T