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  91L\4 ]% HOL-Decision_Procs:threads=4elapsed=373.089cpu=1276.448gc=112.468factor=3.427zXZִF! 4]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  bEˊ,񒡟Ѵ C{7GD,vVsW~BTD|gv(DZ >giF,ڗ?1C4mx(P $נ2o K*b=Yjݠq^Q!ME[/VgŌRVcA%ك!J v<ڱ#\T|kڋCdlKb]Ibk >/S>iYWDT'RNCvc]7l/!bpƋ_I 4ȃhyKoRg<7Vn0yI;) "PBjUF}=ѻyd't9k:mOys_mU!|UnSmAûәETH_=>̈́b h"ʣ6bʢcĠQ9Yd6Bڄ]Jo^=(Ie$L RU~[޿VC5ɻQ`moi5w[1/{e{Xf"Bs$Vdž]<xp<..լb+Hxk˛`$+*ڃz;k]E͹p@= ؙ~ d%0b8 "a|8GMUV%y31ϠĘ==ίtKz&5$-[Kq>8wsWˀvn{+$U`'7b2DaZ`jH)[VjE.)Q^AE+M~Wڻ2&6ߩ,h5?>Zv\9pa@vegEn( [/ *}>:!8l%]}˅2l6֕Z-eҹ2jI&ZuP憎[ :H99׋LzS+JZ)F^y qjF[M`0I|:c1aL9at(7+Gn_DjoȮq6|1vfdVw |oGs2*HK ;=h n: : of{ Q`oQ ٿ)׵7N;_'J;Qe\։q]:q"@^2i@8\,Y}SP)Ժ *饿͆|]4 .]YӃ uWZuXtSwtvgu]{OMQNv)mqc 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 ]V]B?ugOAiv7#1e[Y w8Bp_2L/\-", ¸&@+Y$q&jq"ɫPcݙX2\Awl}-Ǵ4 gW]5HXp40NhbW3zw@Ew_G㚥dl/}?D `Xs|41N cjAI*ԥ DFaŠT6qm2|Z yRt0QUb}ؚ` Mn,i|wsj`=7!$s'z;x N˞:lb=F>reM oݜe};8LX_M|E0XS|5r[ `ӯ4#RQ8g.-fjn (<, }p(h>pkvTJ6~s BaHl\tȞd#ױCec0 }' , [N'NrSozjwr5zBy^b-PU-Zky]>;eECgS~N0C\-6y3 VѷG&`/\e D3/2g%ȭ - وj8iy~u}S2T2D!¥fф̄ASWJ@fzVu['#.&_sBX 'ٞ0UW#cLI[^l<#iBP>ȡ("i$ƙ +ƌwxʱdOω\+y)BT!GMć "$h0VxL&*J4\>!K?vAx("3+`\. _:)Ph"{+"kpquzn,N.Sٰz>D%\35@ #Fp+TF-qM5D}?^E. ",A8kh[W>Hh-e(ߙ+:]Iyyx,1鬅~/4'tr\T-OleBiG}9K -<aFBY1 51DHOB8+ z\CWXK-JdGg :%Rl%"s!0۫ n#L +VfkC_Š5w}K&:RJX^7=fI{Z,Js)*$t!Z.Q5l4$BA\d,•|8{|RqyҶg4 F5EH 8GE21⪾Uy}K-î :Iѣ̴7v$Iز5o6ڨ*Xy7Tw,/#P詋V9ɘFJ%Ofɘ2+,o/Ia܋()tBNa;SPS* rVC>q`0[Y4Nom\>"<nΜ8%ZoM߷>K5xXSR o(խ3,,ĉ#$`qE)$\VHH: w/?WZ)cYDް"_ܲgc0_TyGp62kl9W.1<$o/$lVEBq$*p0)ڑCFD߼7q4 |ǜvVL| `)Nf"шɬɦ&28bOwm!YVv<sz07"Wmyִb{} eҚedD._JrVS$WM +F,tx؟W}Ûm=4+2SYr o-BQIizmξVǧtxB%rRx\|-.PfH VX-iLx& zjh<0qR(q="bf??{n" lFYB m# 3Z?(()WVNIʋ(/ye s jn+|T2/P4v9g-~ 8_ <`LKѱ͝M\LZE;LFZ$VD]+X o^&caAI^+ei_!G-kKFv :' 96R‹x` pb f: OW-@ V \Zutx~ŘBLly!5@ѱ1}I[2E=A'X@G.STkl׍w uUus/v<^:G@x**b&JMBuNLT .7U)IK@vtD9VgcKǶ3<$1w:JDfEXlnȲY7Dži&;^ ؛i.ƪH6tic [#VTɯNJw܈e¼Ktxz͛UOlK,E˞3 ۛcb30U%=.(gRQS]LjBloF3l:aKtK,FztTg񳬇4;PyyD7=3 >U&mK_.Iψ9fvKZ4Vd(s t'3seςAk'<1$L13F4PIt T-xN}G`Auv pV؅\1&T3z{Up8+dފ&$S`=RG_і C{)w4ա"tؗZ&ѳa`|Nj~X2eϟK\^=l?= Ʉw(jӕzZ7%Ed$f27v7 n-mIPWbDC,R*)o#A]Eѐ0pՅݾ4Z@5O?/)SMqA'u}1>S,V* n,Zc^m&P=Af߆a 3{9͐ݪ!SNfuB3>2Q)4N3;gYZ7zXZִF! [&]ŗXiɟ17L? KxlWP8SաM~>fٺdeٚT]sPma?I_1𰉖͎ ?,73/Ÿ)٘bgnEx{=щXCx`_b5U~YdƗ,mbhj YHX٢G)!NC<=t<s3gr%ZuX=PSCt&>Y%+5ěĀa/N@߷La=Ҿ?YG\օ'f 0=4'e i5.K+1Wǚʴ  gYZ7zXZִF! 禽h]ŗXi%L 0,2V9!+|d/[{=BE?F'=Nab˲H675ʓD֍:!#h4u8cwh]1UJJʕ{Sk%=C擘N^Qkh 9zy6n #]5xI;3k{&~,l0E *}+X(bJ]N׿H"~T=DcmS׺m8zTx(OUe˅ՋM; !B!}qXd&vEXRFU z4]$ jf=X&}g 2>um6#[rn {yx﯉a8YAi6͆NwprD5q!qC7E[+V4'"j4pVOC_ω^x)4]LY~%N433jz!2,0 0.d<Ļ2j\gVxB{ӂ_$.5=}ꜚDɉp߿i#&)__a0]u(vZ 1~jE8T TM :h+W1z")*$Bq>0t&/mRȉ=RQ^`x), Ey֏ǐl[7xΨbq4[2PPW9]9GbA17}9|o5; jr 40L[d-xMګW'@l^_+NoVOx5Aou_qIK?:mi5 Oy7b'|h?2ɨfY׿ex(JEAzߓK|Ɩ</Ӷ k4WDjY<v ~#CXTʶ4&D顪SiN^*klUD>W]v!@R%5PA(ɃBѩ} /HGTP*]N@2c2z/oQ,UX~R_ jA1-a[ 6'4^((D&`A2*ĭthr´ ߃8u]{wZdzm5W.`KP&$o8B*|JOII6ל\>v Д2,` 2s( fZE?P'S8 h(Q Rլc-ʣyjȞ\Doi ᑻH&+\{D_)B؋,,Ϻ6I488X+09Aʛtob+O +lbVX*6((T͢wqpe+ }Z\PKۥP (;f K0 J/C`(i}2^&ɺZ}m#:U\}|g>m">^'['52 H~r`SZΌvHV-4ݙzH \Yߔs_wVw*Zw#)>sVӏٮ9LmžF)A YXfm%O\[fQ«iƂpCЍ]غ+#N?Q4iHVͨ>޵+@bνvCG&$X}P 2z3z߁-Yb4 쒹N6da L2at'R좬-=ŒW+n)#{ E7l%Q:Y9k`8+@G`HA*+@ 4r#%5"uʷnQ-~[ԮFMҝ҃۹ $J2]CIĂ:{&i9T76WzxK, Q9rDtT:UKK[]oPSP rhZmӍ8[|~﹠@xcM;;A@o#gʢ'&v,Yp}qԈq3CH^@b/㫪na>{rߕY/2@6*L(plw@#ÖU3HQtibtFTݥs>*sM$'X|S<5"WTO &'ֿ#o@=G+&a*:ak'[M`fGGsZM֗E]ij(u; "]xD+{{)^|UKq}J9?3 ?hij’]d z{bWfOPMeEFfzI"@ek'kqZi$>w] FRQ7r۟ V2TD+;PEjeH)bց_ ^:Z+~J]Bt.sT62d\ar^ZwLE~WpJJ"oZoS 9% \9|ϤS=y ,0v=cP2;F[)鄫-pҸ¹.;wz(IVPFW>1~>ؘ1/G&a8`}[J/y5\6[` 8'8-[ч`&t_8`+NH46S<8e,Emˍ̱.f.i30,/l?(ޜgȞ=[z ӷOL}IRc Faq晌'\l^\ Rp@o=UP.Ցᵙ+E_LD]_-] of[Rn(}bϋJқۢxAAqԦKX>Jac4E7O 7sÇ (+tAc ?@͠s|х( v3u#يCK/aѾ WmMg(GxEo~UT(I-WlE {Ti`#Lڲ˴ K SBF[^b~+l }MF~Ot#Isd4nۿ%+ݧڏ4*xXGq(`7[anK|ijz z)f0Knw6NwWkF@NGG12NQ.;٨Cw9j3-cm!Q>?qy6ţ1DuOG0( tFLLv3J _&d?Fvp9Vh?cSm3c 5e*"ʊ:eIu=>$se[)m
x#jExXXx5`kwB Bl˶>^6]5SLr$|eەBMZTy P@[2С &Wch(JQLKґl䍡Ұp6)sk}@xz޴0\3'z"?L3e5Q{x)Y~ayq HO?tI}:S~|ymw|X'v _};!ٝ&[ue)YQ`Tަ[^* _ú [#W/m4MlWf>.M{|+wCY My_W YW3 Or `$J8ڜxN(w2~CH|Ns>ixMnf"u%,P.޵2sDPԆ4j؃GPٶb):ϰT:~I+&S^Mu($ssL\eyQjVl !#IM/aNb\$p`wNshGI+l̫bXMZ534V1%eGnCl{/\?"2He}.d()@< uang<^jaЂ\(&{R`º~ ELlIAaU*1Ӄ_#P79ܘ#L.lKsvb:ϧRe˥B^Ml(kk!2KRڊP{YJb>ߛK@ūKsa4(ЪDB^mߍh+7I$$w3~>'{0(#.ܐ|&Huiʭ A*קv乼߬.*r<41l/4De?zڗ(ݛ5hHKB`8ڞtnx$B-Û'GJ?Z\ N)j0~݅>Ets_РETO'G+HC(m8.c SqdCo륢 ^3|ԺgP _~h<(A&WqYŌF9eöVt\53 ׀yME s~29o9թ׋9tim<weHj ҦGc)Wj8-4:?e:<4bӐ=Im<6hޞg7RNsFAÁ̧VaI}ً #4@mFo5ѤoI~ߵM^<f\M&OmBlTA󅗝 琾K"Pg*1q E<2ђ?K!?NT6yk6zxè4!ESd#q>3ÅMX5UlJ҃su>'$LLMw?]*Uۭޯkߙؾ1G 2C6+:ޠ^ QDNn! ΝxTjO3D ?FPeYIR ZLjTg`%pE~3 9DzP[sLַO] $AYx/+7n^S Ta /j!n'MJjmR%7>NtF΁|Gd>{SN> {QD)EԹ]քo  0a$e`Ϳi.DOhd|\N|ȥ`\fHN}Ez7i'8^*L-F1ךU2MhHakfVR7R3fɜf5*nA}ۻ{iǺ qª>O rK^u^ fSxrH-c(nt`OE)O;ŏ7z!w0°5B({6s=-4χ2.M+=nϼJic^@BmyK^R1QkjC$|Gou8$sޗŐɢ[1&Z9Bi0Ё&MXQRP^$ȣT])K-I 5xsg)sh>z4m:CkT|;7 e Y1xxg*-ޞ ȋVXXZK;TAa3Zo36 WHX)MyLjSw3z1Z/G~`Sd1!6ŸwՆ$v gWΡi"cһD$iywSd@Y[Ñ;Ia(q1[:%e׆zU~Bz"=wm y(윬|k}cMx5c/~JTxfe noDo { hb]e_V3qLdwqDKPtª-=N+Smcp5mJ _J]H`ʰc.U֍ A|'_z`.&Vn f_YRI(^TnP/bu+pv˜*89Ѽǎ|}6Uܞ5iI2 u>B&=w5qi,K`9# 9Q@ٝ}q:#N3Syu9^(K+w%gRaC0g'y X-mPSolcdc嵷P[KBt|0KA_N̲fש6|3iLy9+^9MC" HQſ]{34*+]v뮄A(Ӄ` FY|rH9gy@ q9{@o3/!=E>-~(, -u~ᘀIҦњS@< RRCo/3_ gCͲ ڝ1jYdlߴA@YVs8pl-4w+WYucRΓ[[_Y͐$WY~ y@<^?3[zϑq*ӖFdN<{3r(ƄZzJz𛋈'~&CFha,E[&6d`6{ClM.1մWȣNr4soTgt|  wbV#[90r\駴z&G+bCz~.Vθ܁2V <30T=8OE:qjӴ4 ̄'U v&eXQ+ _JT=_ya&xN C t-{۳Z zCd',ٰhx^nI3P☲y^sZZ93OI͖y'>i:8\ JPfd/1HŚXZޞ S\牋h)3Niͦ&`e.XHwf <Ճ_j.# "mKǓfNdIۺ`in%w%ft~6t"x'E Y(e7o/w| \0tZܸT礕i!̗Ḃ="X ++|$ cZSY~m*#fRy7@4GO_mgy+vZ_۶m8r>dIX.'<E+_gɐ7fq)zB;EOµDTXD@ZӷzG*6ĄOa-sǬj5 xgOq,ۍ)UkU$FW-t۝^[ݝ"e+'Ko/, s\+]&d[|TvY wƇBboЯ#:`X.Mt\"-vcT w]| Dy EᲫC1 xNb4ɿ *xiӍM?݆zj 1&5D}›q +I$5.-bdsymcºJdO7T)8{+i\q/,X{c[̂[hm6&Ckܳ=RFe7O UkP2rz QX [%pWFm;;x/o>+-_dsuIYir4@ݾ%XnTe4v0"FxA!K4BʼNԩ)MO{9⮾Wx Axo \Њ?Ee&E]BQŤsZlN8MW/,s4F /RlK+0JS܍XR`Ij`Uubʁ[BD;XvQ5羛Lxܘ zr0^OĒG 'c\enorp$.6 /in$otZzB~%C5{7T61w~Fpxhq'&Tk m ^>pmqJ!z_N8|=~WLvjAmyΒ:;ڸ]%b]{>2x/NbY3)oEjeTPsYI:+Rl=sػt!Pb N`4Rě3+зҪ$)Ȑ|^u >̊&3F|Ⱥ\ q|9sz 9w;LIʨvlեKUlP.X8t4*O,8p t(QB:Y ⡹0͵yaϏxTi^)^*Vw}l߼eeDRI`6s Hy`xgr#7x\ *OYظH46@R(0n$aNFj<0zyh9NNCx,]~;fЕaO?C!2]nJ{ !$`Lcӟ4_Lq╾@4H*8+?Zlzr_sz޻a9٪X*JF  ,um[ah?& ֱVqU'2-ƻdĨwP &79GUHR9 f;WKGjIGTe¯,>iA[z-İ%͔kCh#kHq'Bx'[}v'>C <6Z7hivun8 :T(YEe "aLf\.~nj"x7b:. A fctkJ`cB3r;h|?S$~#.AQ[[lҴgw' /JOI]Ch?o>*xs9p^ ,rExKܙG*=nJ7ReR7JiS &BEح+"? fѲ6{^^/i( 'm0xa׊Ph^XGS_qrC Qbd[BfxMmqZgTLcLr:_ /C"uACmp7GtqDHysR sgb#_mUWT5֖5I$1ywv$1*s[UNX٭ݷchgNKqb}cvIjy2@,g#Kl70(Iabj '7=|9*ςìEGi^Ř FoU|fS;ES*}%SlB!Zc.X%t9vr(>j)٤?6íSw(lq`z=#Oӊ! F5bO?9SlVwu>~ECC&ݧNxʴXWUSoa'}~c/=(+7,XbC[lj<zK01g}/^ Rq9 tc*R¶ъ^_xgV]UpLGe|5  sڴ8)8,4a=XLZ$iIeTAMd<#4}#@`7ut-]^0blj3GL, J+8V3i/?1;DbDž&<W*h ]~KZƖ2ؖHTʏNUs{u+ rlSt4Ĕ[lpQOF q΢Osu$rcf:&2ij"#u+h?kF6vs%t= x{mUk+ֿvy5r"~o3֖<|Qلõ!rIʛ(pN=GI*5l_Tj *Utu@S&^:;RXp*k&ҷnq)&]hJ0gCz!@4004Sex:=g f-| 280)֌N 1\A^]v+PS+C,(9&{<@f`@)Մ]iY+S=b"9\gkD-$ 6OrOMũ8uC y 吕ўi#R"["ԑ:V)8,>ŝH^13fpېҤyK?ȴFdG̠rnO'T DD#\u_b/]uy6z<&ˁtt;aJ (VND}mԶ/s,V]s}&LYF M:]jXvU# UKaL;?mi5_ LijuBR-~fCm`8{3a xZ#n>"򑬯:eJ#߾ g{]2DBh~ ǡ(e׿EJJ@ ݮ-RU* JX* xW11)NWI 53%oj`ݾ!$<`EM[ 14M%VLiOL<9:5}LӃqUƱEo `gj[t|M0tM' Q^:rg3Y@.ԝ-YD~t9ƚ؁zx7=7Y 7cmtɒA0=VlLp^7V?FvυiJ"knCRzLep|b/TrcPw)^vSCdoUV^%8bTH,r~ & zQϰ=lτjf傴9*< Sէ 遲aЪ-,R1W ml?w1a%M;`үbTKK%@m<";1W<ǣ-wkK36-8,b2YO]K! X„[jΓe')3#f_^6O٩f-9Cؿ|DB=ɯ2jһ>1aC+yXZK _c63JQ$iHKす:W[FF7KN2խ2e(ֹ*=fDݞU (j>_mn!Fi7wIE*Lj{uGFȒ7&;|g;t/˄ D;aPwo).0_%1wVEs\E)x5i/rEUm+]PM0!JSC>HnԵ.{@/g3"9Bk#.^& }(M[OO ~P漸%e[vA=#M{Ũ::oZ;[YfmЅUth`v,v%OmGV'FQ! [B^-)S<Ͼ%"$Bu k4[Tl){~NפG\ S6.*'1JtE˻Tʽ- 6O˅Ë.N r9{onq0W]#\ :bK'`: n=;x4'Q2Oۀ{gKdwo5 ] m_i&mWXҢ~}Qm@J0 U!;l<0P_~g\yy ̝#D)HvO9VE]f?2`X*|,N*7qof5`nTd7r ?(8=Z*o`po`8g6\|߃:C<:C}>Q6(⺻x5 P+>+/~E+d)m1w g4JH$q?!Յ!)tQm@Z duވ|M&2byM1QRCz4 kpO5Nf`c~qeҎN~D@oXX#j׊j{8Ft2S<bE;߀!7}_f[JSbvIj(sZ6軠N*4@i4hܸ5ñ…߄ѕgWy[rgד`|o|"=ɶU_ZX׽ϥ!3 11p!mŒ%t]0q+ɫ3Ppt<#69~2tʭ3͟'tөmf>Kr*3[k̶k?筨",.gں-_a*Th<+O߭)a M= v5ƚKƆ$c{o(Bf9UyAG}5#y r _8/ơriGl.otNJjX8S6v"3+Bf "dfk:'[@ɝxyik NTQd?Pw9UҿD:}1)%}'#-ZNZZdkVtw ?9Q"K)J}iPGY*U*/29`L;yw rsE{1=0I]s:\gD7Rnsᙁ=NlTӞ/sDgI*Er5;/O_( h߹VA/P8$ֽHX^dRb{.8~?X tL[sC?ap!F+QKyȆZc 6GuQjMû:L R 밝+;:eӦLkaj-jDj|<0"Y3/]>{+1p&bvy_Y(㽕ڎDZZZ*,J?p5yQ>[!C Dэ"+PmC\LVDc0Y,xu泠szӀc6>s],=v@T\NVU\OV7H hU( 囏?HUZ8'8P7P[rHkٸu 9>bXwp ʖ 3$Sbl!Rsn.9ՐE Z(/]U(0hl CjH(4U p;[.[hڻ~B 6I'#Nr]Y܃0I%~ my*P"5__]Y6?pàW˦+Q!g丹Kx0NKSg>r;jvg_aR|.uF\O<ǣk`9a~'yIm1c@#Ŧ (^8mo~hjo ^Xd"֕Rӆ1@~Pp[ Z>ZX*')8/r)#fbH5iGWiw3嚢|\.e%2mvNj 2CcV ^ z݆߰mY&dJxqJݚ`6Qv KTP 6jViNR^4.$QXfy2(u!#G/T(+w)߷$y0b1T#J`hґd=+Q!k!y={n=g‘y t©Ht)eX>|+A1RHkEӀ@3~oIe4(DQ{G.#!|So.oF BYOтҀ|@ìnSF0YX#">'C5 vBj[÷` _z); آe!k0ɯwv9[9G]!j5!v1;+Ckj_3 JŷK+#iXYV!}OjWEV~)e H _dXxVcM r3i&T\NO;o[QfTX _zr%+ubg]h!BMIJG/|;h9qMIcYHtЪ- l xe_WGR4@k>f*RvODh.vϞM[sλq/ Y eC$7ø0~ dUpSGu&j;u.K/~qҫuUl}FxdLY_KRx-xtk:w4^ueF-| n- R,Nq㹕"-c^ >iLQAIQ j`/ P#pc6C+tMZ픯ߘCNc༏=e/4ܙBCN^xCA!ћrĸ7ҖTklA*iTGY~Wc'@ CfkV?R^ZHm]&$޺g)=j8aX %2 CP! nY,70p=SAԓR֢Z>8}eJv??;6^r_BZB8tiC UM!s/2bhD ysٲekf($U,p6xijb-Y(c?j:0L_)%RJ!޴}Iޱ}kPk9Ȣ@x0ö1k`a;}5n%XG㵑jV(9okA]tzvòrV]3+VQR;MA)XRD/tbފ\X/f4[ƾjāCⷒS|8`TTx<|H.vK ]8{uaӣ"FR1'S:O&15lF82+x9 Em`8Ş&cɰs+ B&~Y {tv%Qxg[ ɯ4."yާR(j*)Ce"JnEQ ۱[=9Gu,_-9T47*M:XCD+N$UK廒l`X#Qf/?Oe SG۹דON򡹶yqDy< ڈov4 Ίbcd3ŝ4~wJ4:}<eqg8hӡ߰@hjvF6h/hf_,ʧ.m P wauȰ֋s|E sTTj$;6jܕqOGn[2z8,or-瀞 Yu31P[L*EPpiVF2p/$oή'T̳0>:r3K@6d6h_| ׮P1/[_Ng̭OӶGG!ʋg6 hZAJt,MÌUmͭ 50n'&Mnuzz2S;sBV~fja~V<ꔆeN7ڪAkacNqm٢?k2@TLw:k8ƿdm9/Qht:VS[avxB͐&PܿlҩMT 򔸛/ZSaǝ\'NxM?f|bp%㐺a Ygyllam_S,APxf!UXV٣:ps}mApZzEo{yRus ,=80D6OpRJQU xBIQw=U񽸡]P tdՅ^2 DKdrF܄7TAZ ߮-Gct4kÎ'f#',ɐt/\=]im2shG!DՌ^;̶2u3t<@T^'ZF֖}}lG(Kb8&KCHSlbn1k0.bg0*k|JM39H:3 ZCtƴ8=H> iJ ,Zzj:nrL{C> E6 HJM_⫞ @>0w,X+3jI0g6e#GMDַH9wGYXļ<a-Ep?m{ `\5C ;)'lʻ>{yҤY J daYւ` |:j*Fv 98엊F5;D^ ڏ913xyV:Łrʥcqĉ "$%峲|+g͇xzMMV0G|~9JCe7"2HjZNlnCe'ysy =`0!מvXkLW8cyRC3Q "Dv~Ǖ 2#Ѓyd]t~ s0U #U(eOJGĠJ UŠ${gqv'[;UiQ8}$AE.57Nѳݍw`OGs\W?4`#(` lpZJgq.ZJ_/}Ef/C/+E)KTI);Z14&M 9lz+Njluio: SRK!1Do(9y^6 ͠ꭴ;P,go|HlʜL1$Oʗ ү%2st?KJ,P81vhZUsN*@ 8"K6y▛M{-sB=^#E)bk:g&Qi-ΘؗzHޘ5bqS}Im@<`yQ{t52UR4{bX&FaZ{ؤLgXM%`_m'$v__H&qFR D.[$j~mZ,Lg/5z>l)lĐZcV00=Tq)m!nUݑW*&7w Y_x ; ib *PW҆>#^iM;[8 +l>+VjQCT+nۏ 7#Kv@&TR&&3&Ve IW0Iq/ NQ==0d8!;$nKŷrJgF>d_tdZvsfprTdP,hN_Sż|>,KAHgJO O،Qǒo3߅o#^V'UA.W?zv۞Wэ[x=B7PO9=e ºHz@FqRM H|Kw8ޓپsO!Hbh㷱h}d=Na. Z9|S{`%le;JH`c**a+yyESv`q:t9z_w[r?ڗ_ jH_HeZАu7<^!F >0odC&FNRT|5d"=A֗QN@9T&M6ssmҨ."G=бu[S'p]۵=d8+\>]ZoR{Z _㍪tv ?Dg 'f3lrQ+qT~H^̟W^}Ȥ҈P=XMm@j5vU?t=!d4&7uz]+ wGŖ{ΐHL]Puwϧ[^,lFy[RLbe dX1Ir>^U2J@ U0} 6K~DԊ h(Ё"GNc2ֈhpBBKU7ksP&?3gȟEhg맶M ε 'κ+\.Ȥr2*~Dx gWZ&A పS|5*wD6zU(v&g -@C5^ڂ.܀\#V Oۍ'3"C/|L}Z{;,O"A] IO%zqG Wp0H2cwu,a)qjtTIoш ^ -eP.J>MgYZa904b6ddf25085c2efd96eae63f315edbc4fca2bd3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 2b11f4ccb587528b98467ed17165aa165adff39b c7a0a4539cbc380eb066dd96bc0c5c4425968ead 09b53a0ea83f2135f0dad794ffb9fccb717c814b