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~t| ]% HOL-Decision_Procs:threads=6elapsed=253.084cpu=1201.112gc=191.9407zXZִF! U]ŗXiɟH)0!h]JӠf|zaB|`\}c/7*ֲ/ ̃y/tU"iM93yI񔝬B5%y{YV&b55Ht +Z)n-kDa{>)n}{&r>CG:fN6).ЋzpQE7,hN(}=}uyd ;dZ%mY.>rB(s8ȴ ƶzHX5spJ54+oAE7X0nL+oа|S>)m[1RfXjGq:8ZbE/FVs j{}Gc_ 0[l杕gIzq('H%ZD7(߱"-ҸU"D/(oG];9aLlGY+2 c2 V*698%}`I<(`jL&[,,\D8b2!,7@ 3ĊxLg1=L[M38hY!|}q4r@t)4Vl9g+cK;(VXG?l)7-N \?z$MOY`޳/F[/5!qLkQIrVbbc ]H_c\$a(*CE{xͮb T6_OSr(wY]'(J!ե<326Y3t=ZX|רdu*vl ,KlR}28H57(H9 VNɨas-YշV9'ё5D%moԘY)IG:mp,ɒ-yT:N?vlC,%=`DG){sOXh4|f:z? &K4cE8Mow!z`KGq@$k$umɡ!aChX\hR΁_Gm7zh 擝,xKK:Jڅr$T['gEbIxTj8"1ŦQƥ)T_8' @򩧤Gl' i`\ЧGQ_̉{ ]h{+1lbEٝ91х>7It'4ɡh'EeP k*@+ rAF 68nY7L5gĚ@QμLᴕ .ׄ~ _R4šGWsXKf~h.WFz'sZPwã?Wj v>s(Jbtf *KiϔD54z2vifFk4H@#>II򴓬OJ=)Rt¸ʝttXRɸKLy1D]XؔD`,VZe7(R{t84~a}n٨kǴO;r$f 61gk 2iDP1sTǥa}ì1JW*G{ ?\J-pX^MX'P+H'pCg$;8Mm LLƮE:jX ~vp< * ,B1)״hbbtJa5X\23  ,4<Eĥu%씶@qɟ]26<|=f0Iv 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 ֆZE1(/o5mAjy4sv~_)|;Zγ5b[~C8]>5-ͱbFi{.>C$BefGF)1M"x c݄nϸ 6UufTK1"ꭥ11@[_L͈>U @BTwX7[޾I_ԿLhդġO;2L펤ns>v|ok%A}0h>=>񿷔ot ~ڪTFȊwװ4E͑>/-WpCviCVqas؊^I!1&ڇv:~B2u&nCC %9/ )l7^4JXh[4n+ۈ&Ǯf]1A<ᰚMW >n`$Y3>Mlѱ|*^L"ǟz⩢q#1'8W}yi619i8>)e\;ȤZD-%h<'sw脔仇 Ӫ,fR-$bsWt$KDQU\ۈ'/5d< Hil\؄{% Sc e˳ s`>" l<x5DkX32tyP僿d*%3O-%NS]{I}WTneR ]MQ]K; հb5"{xG^šJ+mHyp8F޿JfU΃\uTOEM])q]I"}]& 4P/!Ye,]|4aGX$_|K;Ef gD5݂Zzg_j|%ejhq^Y0]z;mD%Si1>X}{5] BE>Gc9w`^~vIJ*sLuFdL,;d l`LABoWJ\AR?Ю2-bgSp|ƶ't^:glFsEB˿vӎC܋N0Z7;I]@l!mwߪ (ϓ&' "~ف仇^+x,dQ Z fmW<;Jzz \V#TҴ_c6'ܳ ˩V[^I La p D̋5|@ t6Ә&|Y?ꭣ^ɗ?n^߅@Cl4iuKnZt݂pHDfU\y'[-IvH3ugvKiUZxi ^[CN5w]=aS}9,=_ሞU<֓)cט[T4^(V&H]0srlh xDcG^'|`=,ŤEჳYL 6U'NV.Ḷ4PŤW*G@4A$dPx^H15ظ 9U߼gPaY4r ׳DM2Et8yyr@]{U4U+Tv|$KwmKۏ%簹l ,4BT.✢yp2PӨpV2ɠqjOW$B`=D^"nOnu]zxU,^YáO(q4>Y! ߓya3b&H%<5Fʃ$@2WlBnY~@(VVSώڐ?7S@Gr:ѪVxjֆp,?}tŷ4(\aы}f 9d3Ihc;jif2҈RS(RZᘺf1AacezzΥuB5q]]FU$lUYWҦ+±H2dIJ QFrn/eh4`ev - Cr\^nt}_g8j GV^c-{,ҵs8,pB cׅ>y7wKQ @ޙ *b7Jv*:5|Ӫ9yG:JЩknui|uovReU,L)Z˸@v-Mű )=b.Sx_@ \B͕s>3k):t}948`򈏎)J٫ۤpusǣaV> r d\ݪ(1K4˚5o֫q_ALLA]g,`,Țcp#f;('8rn<ѡ8jN }s*Nm KU}KJb5GQ?PX%ҫJܥwphݱ[AP^S۝-PԨz90A7򝠓s\OD |o%5| <7.3eG+fx9I[qpvٙb}5t`8"THl >n~qF}:o}X\nx^4r|*?⩙at{{W{1vֻl䚰(#};@]xìׂufyjpWt7uKTkT*4eZ/?v##|4k_'ٛWWG=bJSwx>^fscW7||y(Wk.gO 6TKQj]?Ұoò-Mϝx([%msx7s,{=qD#!0w͕R!# bCRFT&9w*'0 Q]hjZ'~H` h$Y}̛EF%M&ASkH%J! K&SdbyGƎ)J:D~F׳?&e[eܰH oF`3' `_== SIұ)مkM\\#h\R d +Q]a4wldVҫQ!NlsDq-Rw=A,->ۼ)$INKUWNЋU*a]kI ^kF;GHtVN7 L%D@7baZzIŢL*8ͬ?2;VdBE:A7cuU%[  TO:xFkgYZ7zXZִF! _5]ŗXiɟ17L? KxlWP8SաM~>fٺdb#j tEz2@Z4W/g(T_ %ʥr/@i7T{ }r#tꙻR9L˰OQ4HO[Xj'1g ^̩bZ@Xy1o/fßW`GF mF/Ӽ 8QzCz17?M- ~$6ttr9oS:J=#k'Xe걍qi M5EEԞ1"\(Q njC1Hz igKQ/'jR (T]w bcEVv3 U_l 4A)(/:@`6bЋ4c"$o%RJjͅ*ewkKN >wV["w #}\W[u@Mw(7acȫO th2XɡvgȶdUbDeϹiw%#ۖst.ԟly+ KpGДBgϢ I$u[AK'Z.E|Y7I_I̥k5*kaF`HADpq缢YB 7$Mꄖw :[ (㊔Ʉ cU*TXJk#|09v#Ǟk9Aoe^\&# "mm糯@!ݴ>Es-Mư)vHAL̢6*ŷՅ=@Ѫ?Od mn$\eƃ*|%wx?ڦkF.QN@L+:NmEYkUR{ZĸL7EՖ_;D3%D@r ) q%?',v$Mmۤ$*8<,_Qo+r&byE|9܂43C3\yjl '/6ѩ )ew˧kv+NT0;kR n5:[;Gɬ:3I4f^:U 3ː߂}5t D!:+ͮ!Bbxa,W0 FDž> N6\/@G_X_f]偡PG+D6R47ev4 +WxM99fsjO*i];HQ-c|Pug4نXBEZ^mY'yɿr|q0+{7ޏ8 r%==?,ʷMփYk 6Jq0cçk_<(5>{-h\Zr}_0ݑoMLgbeQBH؃UUG 檮L?AJ/hq_C=ϊصn!>F5F,qN;1O16jM#\M NЛx55R?2;~O~*EU^QZ T=Z4"vq~ٿB'.C;i2;%upѢGSI=.!peS$ڪqd{z a`ưPUG.m&Ss۩qݰ6N"=x[h7JJdv9g'oZbTWM}nXAnADE^qϴϨa?ԩv2`5 #g<`PMC l4xSB?v816zmDhNI 2 鴠Vơ?ʫ'偰3sVEPY0VxAvTLP9;jYZ8:Od8!W},*%}ձ!䪥A5CøsϾa޷(VxǻYƖ TA-iYj_/?P'9 \˩uBEi|B- <0$=.:r1AMw|Q~7F )o2WesMoI<~5n `?_?) FZ7k۴(0hX,|z cM4Q> HZtF`1Rzj|=2bZI]2ܫz6qf%:5fTƽ{~ȺP\pwL|ix'DG)]»_I%Ǿ] To}Kڪ?D]z/ ֯[)Yܒ~ҰeX^ X"^ԫN:zNn^*Izy/ب# BL_25Fy'!ˀաe3~("(~9}pbLVʺf:*?4Mq~fɦ5c?~udҠMO`WK+S y"w+Q6(ArM:ֽ̿fp(|QoKXF AбU$Ǭg]y ɾY8%}YkdaS4`e$lLA0" ~RRCn* ]"l1ˏs5Jj)# ,kFA^}{V]qmY&>•Re[Y"bE9t5R{}A5RL&BȾ8M=Gq(1/S$l A 7MV^ӞC4>;>G5"$s}䩜dC?u@E4R3_IO.?cSH9 CuHo;\ۑEHHpe >A3rN<0}3c\pUGfH)s{ f-yM0{2 D$M*:l"ߪk:szM(5T':3b+D]N$7kܚ%OS Kӕ:dOq!HN9rgRwi}43$@׌?Xz6Y Z\=E]~)B`=uivv*~YT}FЈvۅɟ>EGbJ^f r5p0!`u/ Bs &$i&I M$:p[Df1`c4Ͻ y;T!{ MmWP&֕5ӺF6+-tN5"]ji%`[tJ ꌇU|(>(ohQռ͏ݮ\)5_?DGϖ{6k  H^JtYtZ=rD\oeDIr]h_ޭx1c r܇{@S=V@~'4\UDm(eTZkrDOrˆCE끙NiεZ}_@[>52d7DʴGh~g}̘Y$@]*C|{i571VPqC9|CY(FN~XhK%I Y XQ3a|{iw*\{߱Gɔ`[jY$R|r(?0y ŲT&KqW J9$hAe9ſ ʖC\O)M{0]U틫.Øȃw1tg*|ˏ |Ӭ9/pK{)xǒ_RC)pȜPe[Ekrj]DJ!Vk1ef"${6\vwt~Nvo"MUo7]\BXE+[ŷ:䶘PtPɬFZyW-%O9̗s Dػ%T&mhԷ+DlH b:m ۩}@EpVd Wڝ1>$j°S[VѴ-os^9IL wx /agVB7jm +Dlbh` g"Ai0=U~\ `B'M`B&tDHr%R ekM .h:qΪ6m!#&e4׾zt~'Dqg-.B Iȏ!߱K{̙NǺ_E Qdȭ0@nd.+5ľ'z3ۿEMAA{zƁ-ZKq.s%Ӣ4e&S$3}Y{S} Rr# ;|L=>GF/awRqY6T24'SDT53A(ǥ$+-Њi4cpuLX}pF5eG8\E5o.ǗUoFɸ/Rx9X!+T t~>>j_MH"ڡiv[]Y/N4LioΜm^|5KWg% LJu͘ sUTrsЋG/RZ;Ѝ:+'D]4rs&HZ}\-K%S.Ts^0 ׏YPХs~9%)1.`D惚c[!.OǥH\=R4*~"]#3) t|f.g UuAODNppFIUGCNܥ>lFDMISU1&=zt8O76h0k`CDf±IĦhtp[ՀA0`rǃ}iѼB?&K]i9h*vuC%6/ΎyLx[)Ckgtz:iC_Pp·$a7 Df o[p?Q]n #!htv6vX/.qXܵl =D a2A>WQF +uwjfj17OG>l&}C/J[Ғ7[=1 \ d7AdjGi,dnFjР5?]RKڻc#s2cW}NΡ!yQ= c>(_WF!;,M!%ECS5ׁЎ V*tkv 3 GAt{^wT*Z3X5R<:Xl8`"p xVB~»%.иeuяT^u]Gr'^UP2筼|)xӰnɶȜ}DfZ}/R()X܅Ͱ_8$t 98oibǓ5SK3XS| tXڡfB2m;f2hG7p? ȥdR#m+eԃ-vډ(OyLmG")q 81ID.!~#1o\&`&jmQv~lteEpJkne,iE1 \!-.,<-8G }6}Rܛ]ƠDj{WaWv?8Df~'d@/Ip^_^+l@adΗ0(,й 8y9 t[$ IdJѮԬւ9G6}kӫto\ ~߸#}lfcN'֐S(sN)k'O }wfY82(K&K9JAO~}6AQ .c* T=+6 qG KajA)Җv0-mc,s>qNf?|>1̢s`mGՁ0%>ړGYG2m Bc/pfy 4.ֆ$i}-CBPo JkBo=?Y3KUnEE?OA{{ ['{cϗA]HQk!tH *LAKL^QtH,M6yq|G994^Rkg5(%t}fy_K\hiE; ާB0uR㮖c8H6U ^vNOie[AFI; :Q)9d=9,m+#vVsyOV3knJV5xh@Z"*i;uZ`|N~IM` ei}3.OS'[`2bt:鋁t a &㫶z5{)5n^H8 O]ː$)OIgjϓMqQBSO4?UԮъ҈Ϝ/ 6n(!u!kAs3sIyd T[ yA5`D[7-_EH xTUe4at >~JQql,slږhB? c'qĴTGygR M> X"_1ܛAu&e4f81dj$U1+zSz|@B/ussLTZ7oOG3r=?C[cs(/VX謓]ζCqq9Vfq5&]{r5YjދvA@2;?Yk{+lgL蛉vq.7b CXqS:)! H%ce 34?taʼnSe;_ҹ VY4K`􋉮Q]V0ny`c_c鄙1#\ fB\ G?mI9pڭMru8@6#Q'KG}#'r/x+.|UշF/(`7>%w` [Qzd58$_twNW% Ȥb.0Ej@W4̄כ#B#^h UDn6Al=ӚZF/ܣCfAWQWnk~dؑiuqHKW˄\ {a/ez2 Z:O)x^46 T,NIљHsm&Qɩ]2* a3kV֜4knowMMU_v5⽡Z̅4ot*>Bn!S'[H""{QF)`PFBIf=8dp [n311DPX(tdET̒#L0x9:nb އ Dlt6) E OweD nj^UKybz b&N5712ѠiWՔ0)"j6u@ p (t8;6Sf\i(Ml:5qyI' 6Z bÒ݂[W39!bcp$ɽݲ4: KS<.EtԾpw*^SRi[VVp=6pǚL1q NtXٚkhG2,G]pXj r#l%ZQE>8 [Zo (85A3;εlIfV9` TAYox",f"kaVqQ7P /Vc>1k^Ku82ql'|EwK)50 ͉ Rol"2)rPiV{zۏDOYSG 'MG3yC1 VҔrb(49)b6.@Cր?Q'|fVeBƦ]|3Wb'{HBl*=n]DG=6o 5yTUSR@ʱ-˩S]r{ߙʛ bCfЊ욕$9ɜn"hBf(^MeUk!uim}f{=ghb6mBndrTlr].]Y==↙mQy{iV[ѯ} W^LVX1rmP4єsɩa/rp6̠{8sճ`ނ7:"WRboL#~m]˚Hc,&'h+~@tF|Fq ؐu&J-Iw@GP F1@_;\ {BB)_s#z^*Glj²HS6Q.g8&"ֲ=K{Z?0aO Â2D_@'{єR&xS~#N1_^9 jlfճy0Ÿd"d"Ɇ>Wh$0.:U@N}uf,x$tđ.6 PeuuK &.'c#%=OݹKP滰,l21UCk%F, G3(0T=S }_>;HP! vY՗xTRKLˀ U8t;kw3pMA- ('*/s\}1Y;WX1U)pIצ9SyA imK&NX 3v/8j? &vCDh)3#Z Z0KnITl.ŻZ ӵVʮq;y"4 HIekxàD4U:U֊g)s3LΣQ|ܭk•; Ҽ;Ry%yma$ Xk9#D $>uj5Ü ?Eo:}Qb̡ D.-`0(|CH1k:u%e]XɴFX bc0~'M5Q\)Gm!sM8v]i%O,Z{`CnBDqWX`X#02mͩLw/܂<ѥA8b_X -)U ӴݶC\є\. .9y&xm+Mm?g,b3RGxoO[i_rMo@`Z-B"e(?,t')w܉?fJ0 ?`b/zU+.;$t'Έ'5ȳBρܠ,q$.7دy[;u?VHU쨃+ ҏwAna+ S +g0tGA8CJEMoOT@(dE潅J+b E{G{,KGGj#W=8j ?B˓ΐkxOd{}d8HZa=Dž{ ` ۭVsSjɫqY95ǵR`\<]%q7/{vu4K4vqnZT(;͑=dZ|9k[FT$6_SRU㦿lbm@®άΞ<)V.umy N{30Q$sm&:?y"G1Q4Ltzɪul4c=7hv)P%jmo\T%vپY<-BoN _Gf4\8 [oh+'!S 0eIZV_F$)%r7(הo,B Iףtݮ̮Nt[^!e`YGhOW Zz# Dޏ܅Λmҵ=Dd+9D^eLD\I@+9cD^ a{-Q myljkq:RP\$(/J őxnyc;AɰfSXxDUFxɺúmy bfPnah&.ʎ HrV{U:1 Q+'[$J$ޱa|$ xrKn H78VZ(H#0$wxNL DL U_Ba#>]wjCHrɟ(gb Crb|(iJ?t{?nƃi= Ɋvk%oJ׼K YZ>՗|AouN0j( %qDQ^4](Q#sMGa_Zr'˞x怳 ]e!:0UNRkX>}-5=4&[X'01paBޢu" 'm9, 'y8@@kgr&L*5SޘitMmaulDaJ^q[$QN8̓ D`nou9W齹>Ŕk-ٿm=R׶Dn3F۽DCWoaI% > žjv]] wl!x,R\gJ6}g5j3i;UL.51ZY/ĞֵNqŞQYp M!m^eO68 7'7wD$ȸf>0-`?{d TT\BbJ{;-P8G 1#YAXAj"nvdLN?^>߿Ae bcHC^L9]ˋA6E9m)!S]Alȁ1d^9S_"[$dAoS鞿H~@bJV2ƌ|)b k*C""Pӕ%&42䔋D F.U?]v8K {qFBJP`]Lr͑)¨ Iu?#)nߩT#Yw$:E"k+"+HK7 U0KS7ys!eWpC!usW%anNv^#H*Y`S BR~Hs,kН/ʈ 4Y^~1b߱GӤB= h$ hEQy4$ 6KSIaQ#qp"Pf *lă˽rͰ/7 -+l*XqՍ_0Lm( Zs;s^0P^XBA_" |FPA=%̜#5|klo.|`6HH~S*ZȰ̅\$) d XN柒 e?eZ2܎no~$j;ƺ9'o*e x+CFe聙NP$Þۧ5sa++6:c[YCuy 3 n´K1a_{$oG`HKO߂3QvjՏ+"-EŸMz+h)-B;2N{Bs+9w9leQ[6cDw"zL Wiփ!7[E-FT*ϠbUZ{B+6Tqm`H_%WG?(Htƈ'E0h,*mFL-(@Q=Q.S~>s-ֹVku^}oPq ?˔ɴa<ЗpO]8Dxڵa#pPE );$@I(͔$wnt$@ {bdcPE0}? u )j { ` &䇁koYI~3SY ,k,QwcjjBgI+3%N:c?̵ëg^>[?zF њj`ߞQ@ܧ*۹:x݁{c pz/n `o:6KŤ5E9GÊ?^3T9flIVXJc8 8? ki1dEeaJI݋%.; jYt1-7, _B*ʊt= y0s`Hps?=#">xF0.vȂ𭞻y?bX4x7/rՁG ^6S#C# :A5d<\g>b h5CbA}x Q||vAA*#2`q]8XӷjviGE+{ ӨjXpF]idns:J%%1쮟$xap!^ eG~&jnxM<*1D+R G[ 5,ξ D Lwnqř* wLr4p!ic X^ܙ=!=Af J^ S[0*A*[ؐk6M}G"7!yާie 85.onc1coܒ؋Di"4,\nl ȳ*!$-V.Q?S ʋY-p ns[>ղIVky@O+շHVɆz G杪= Z{)wN5ST-k4;Z8B⋥P#9$ _ZlDޡhkpl_J)Ms Y/ky^: -_)#I齲}TtA"R9 CQ Sȵ`Q|x) _- l:Yb )W] MҟtژZt([(:z6f&;!7( ؊סDhDI3YAkAs V\'=vWM"Dž%?EPwfQeV/m7P18j)6"`;u1Y1Ι1(u&& Y7 'aSx?;%P5U 쉉{"hk a%Y>R!#-uŁRw*Yp 熍?#]pM"fD|k@ ,0Ve~]RK@kʿ= % /{ySI왊~D5vTM8ZuS!K-L HFSxݜS@ ɡCא\0׋,[+ S:Tq|{5mxlB^ʼn a'l(΁Db]Xb $(=̉a}BwlXT1F*&G9k+b&Qk,1X}wu]@ޢ`S3ljZUhJaɽItm2L42>/@0wX?y髜(8WqcIRS } 2dόK˞)2;S`CV8 ʡ(Jl K f?YV3y0Z:ǧcUTqhK%uQv2€@2v S/{]kf$Ty1qd δ vV VŽD`A' ǸM zLwJ{m! b`P [_[ΟH(* IGp46&Du`nlq*t0 A뒋V–ZjʙƇL[D{J[kb^2ἆt8-e—`hGNSM*:.֒ e|$dSA٧ )/,-.0@w bqeį/lGY02˶^a! d1؍ L-σ{jڈlKE$:{]+p}a nՎ(Z+[m ZRd4Og [*[AǷC*وd?35,<@Pt񹎢FK QalaL`GUf+Gh0(%ʏ I= O?Q(*v!4w!O[q),)ƣ5ERc^P}6Gx'aVttFÚUJ&B Х%,I~;5ɅSRn|;/ 5V|ʜsJ!;$̸I nӉĒE)w2Q0 q=i("}FoWxNI~Υ 0Ts3H"X/GC6*MMǷ/= pk*`c͋vdfiDtJ"x :":z\q,ɻ5% DU 8=]%1 Z)N\/->'7f[W}K$w d_ ;$T}l[xr/6fUz=١e&PjvX~d]Jh Џ(&M6j*G|2#(103L =NZ!7`u{ `a1k-H!:AVjqo,/ZˢO Ljߙn"'ba M~NmPKn$kqxo};bdkbr-R/C&ES4^ awH k%v/|(S loG ʴܹ(4F8eT]}N<5L)LC^;Uxpȓz*V6Lߋv<9'EiaJ)q :'~!"=~{c {eDDҶCӆL𴃚g#C[Rt5(b;YTK}WTWyy@*y-* d媸y- G)E=Xȷ2Ngt$toYMԇ)`S`"2 eپdAan)Q BIgbԻ4"gKh%[+px4Q {Ą%WMmV %>:5/sTyiȮ>J\-Eo2 cS'-~`˛e]貉43AGŗ0vNZDۊaMυnV=iOxy`Jn Ɋxl` cnļ~,{3QI:[J=cG8ŤA_y(!~ߐYό`՗(1=#3 ܵcq N{NIg#o{%3x20ln-czT|+ZƅzIX횞ȟMFܣAUSl?EQgf,dNVi7⴯WAQo'\&֍`Yu U%t3&4D RuQmB;%z^0/D !+sjҧّN z酒/6zo^JFRwAM?KBuF=jʶ) olx=7JdVBqߤ+V RÔ司S La]Mbdzkdc _`}E{^=l90<Fc᪀?@IŎ-(l`^;PlNeg`+s<&c[NMszx`Ys7훹;9 Gz>i,(X֟>$8fhtV?p=As+?AhKӎ_X[L2=:o AZ݂s{a Qvsck{qtΗoo##)viڙ-9sʇ׭nV u,Egx!祌:ox$L ܊}'LUe4Ԭvej[)I& If:2~ZAF)kX=oYw.;`US{}أfT l;/A9eX~4uL\o;b2xbΣ0aԜCܭ3>Uf8+ Dy2I7j5S~ shRy!cn5 ^Z240_eTNl YUԢ?Rp9ōIWWtΏ N6/r]tʉ-V"4ЅI7BO Yx~.I}?R~0v O)qw-ɱFeo%Lx^ )Օ\Ce|M&gG0&u@~N/gTX)m߉'(%nBqsFgfilu+>IVE/̃V7>+5U5hF2ybQUt)}cY6!!"pnivrIߣ4u^} >ĖpWJ7xB~bԶ'W#I Qm`LN038 3Jѷ༸$1}yVQ+2DܢMB*XZ|sR6'&y? lҿg Pnޟ5whL4w!?(83OxĒϳAvCL'j z(:dGRC5Y?UU&0WFR=^',Hi p:F'Kڍ@%. k;dqJ~"qn9w Λ6 Qſ՟չߋRWgygifT˪Ex-,]$xcW,E(.ex'_PC%E\jFn uAsIxsmʟt;ysx Fd J; {}c8wU{.E>ڕ8i|DPR&'PskOwN/{pik)v,#*&)Q5O5N"g?- iǙ=~^Y"p{稷hBз'|{(C?>c hȃW:w@גmT-V-(Î :qXO]2P_DbPs4݁ RD=Dlq-=WrZ> t !1d.wuT=Πj r8)%%]T&|nՅ ǘk"rN͍O`⨘5 h)Y--pߋ j&-;AW?5y&-'~6HLȑvτXa5[=lo+CiÚc `},iֿe#6*eݿP_bEɞޮwY59Z|NI.\!@rcys+#TM=!)-Â=YsRmc^㦤R S9\{,FSU Ӻ||GBuqsuZwjL ?f9,{`}H"fVN~Nuc/.&%0 e_~L祄[q/'s3s2>覃oV9٨FI"Lh3e(]!FdLdv^2{& g{R[htO1V,hq`{5mmA;GZ.D+ϭ$ $.6ÃfeĎ ;\[9Ʌqs;ם4}Q2N @ ^2+l#߫M6 Bwv]\zxn}݊3y&"0xC2.XSn?X)dǃ] % =ؑO5EwEV"'~ 4^ݵ5zz7L-NŒ&7b:BpMr+-k&8TeO6[m..b输IQ2,03x-rS3%/#oQ5$gv5D>}p,e~3pD磁LRHrߊpmAYIFXpL']4%!bTeuZc'-դcĊO022bkPd' \ 84Fu)NkhZZK pGjJN*Pm;@n9 jӞ.`:WKE@ۯkzyJgQeҨDCWE[d)Q"Œ=!iyěV=|ԞM3d'mlƣp}J6:'s{`ԠpՐyfn&#x٦csWA 72jo2ܟ/,uAhvYv#>Ƀ&~[6Zy>A+&7Aֆx9F -i )D#(XN4 A.ǫc}س }b-~ {t@.kCۅCyJz``pqLwE|a{i Ra>*Hj`8'͛;xڠ$VLaɌϑG,/o!L49Ŀ2 JHA8~ J#H3{N~@*\ %0|_c(5Fq,>cfn xn/u)X~K$v>Thr2_1%hA6USDҜ Y`2 udT Vְ==75Ͳݐ-ySp/{|:2vݨ<v,E)T֢ҝb|cWǃJJEfXǕL:$X ׌Y4u\h`ELjˇyb S1,>@U5h\R] ]E#˦@A +R~)n.V/ G'AXC8lHR[nmpӪ6iV:]Pi6z k3୘`ާPAخb@..M4.#bv0w8TBvi2cKdE~9v%zof@0\*Wﶹ]|kO=MⱠ* +C%v,fV1[HfeB8^>Oы#Q:ᘢ7Ò'ZgX ;G9sZ@}'޺zq5ڲRHl8 5L8YPiqgYZ8b658605861bdd06dba4d8c30c090b325ada385156dff493c54cd66b7db0c38a40d271b408a414ea 15c9718b35bbebd57dd2cb739566c2d7a0f9df58 aaab6863977e87f4aee85cc38e4efed4f4dd9790 bbab9dae68f924aa4767790f6d9661facb21fd0d 4c9dbff7247e47bc4f583a87315bdc0440ff3dc6