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  <1tL$ ]% HOL-Decision_Procs:threads=6elapsed=219.466cpu=1006.676gc=89.852factor=4.597zXZִF! C]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU10<5GиB<ß Z;rޭޓTur0ED 7((oP+b9!qxpG7:IuS١y T|Xá8zMQw"إX9®xDXOPЃē'J%oJZk(حh0nz 4NQ@0S'TmI9 Sm_^L誻~٧CpdR/ߢh; 9$_@@$5<eutr;^K*q͡ k,͢_ @,9LV?7\X:"zNR'_sa+ Ddwxc8Rlexk9Q̾q 9w~Ѻq%&. nXG+Cʇce' ;")e` dfF)_o/CE5WRy.?%F(X} /Y~枇5DCh;!!+ o d(#t,4 HWMb-U/KV0Fz<+ZU8]ci(2I>0%x!rd_9|rֱ 4شsnrO{SyU9G>PfJˌAQ/At HD=jփQ(Qgp"nuD(8)vY N}p G]r杪(7:,p5j"ś|+B ?:'ƢT0yW_v 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 _FW+ty2` zBYB{whǃcbT "ɿ4Ӣ]35M'ii&T8C> .=)Lv3Đ4,!w׽c|Z!2K&LYSӻGKD->j"X9a)Y}>sj J'pAdwݭ{Ri%DM2@ Td-f'i,-T#?x{U hbB˗% YMԒ癗IjO kaCbw@Dq(ugCWdasD ,g/4@.߅-ie:et +0!͈ڸ>L4ª;\k1Lؓ,~0;4b+BNJ)ڋcwpC^Hh{XH GhH:Iy#HJ`K]h>Tem *؃TCQ^E]Z<Ȑv7El]G Qcp'ݷIHc6Dz+OD%m[֒N p Siۦ:R>glkUiB#b3E?@ 5dk'%Lm~T~M$@a5MI~#nLy]  nH^l+8uw:H|A5q/!~1iR? {r-2f 4׺mhidЛhՁPyS,gsvZ$9&$ ݐQn+-V[ v't_Jp~؋R%1~+Ѱ)trmtr[yD9{75?+%ӯ~K} g^-nȶ٧Ui,3gpx$?MhzEpM>ݮÏ`S)tcޜ(Ǵ1 "<`ݠgI8XT@qЋ 1B,5Ԣd}7g_ 5Q3gjvywq,!ԭOp]f*&Zep,jӣ*[/[ʀĪW#.g4q&'!3/,LahadPʕ HdAIY\bIPzEvLa[GЫ Մ3sh$&(t"@Ƚ|2`B;t!jȻSWN7 `8`A@&c._RO6:H['mW#轞ڜSV6). e7خk·nC)1P_% ?jɒo+ucԇ8dhԏ+{ ڹN$no%na/eӫa#)b5nGu@t3W.նΑa*x"cn5dU. jҾ6tnV?c|*I 3DfmwIz„'='jAHKAh`cEȴw]>O$F+s@8ԌlƔz%#hgm&;wJ2)'3eS7\YXې s|$J(@*e;v|6~ GFDqx>ޢC evEf6`W׮I=43~ouk ?g eεtzɠpw^r2Y <~i q)4YA|?JU[d$?kXU `V&gV")B US\vzZe?%&.?9 7 M˥,թ8MI*Nզo:W24 :b[p0ԓF"\QUs 7 ?N  ` ^&v -UvȂ] AV >սZG-gT-ohspTWGv'bC\D4&fwb F.Y5?7%t)wz^'"MsJhwyIT"ȷn=_"SApq{[OpbfeQFM[`[Pk*w,^KdOV|d:$lf{A_ NoEo($xrӋvB21_,uL!iLkL%'L_)жW[$ƣ+}B vZ @]HLZJ8V ZlJk&N2E#7x+Q=fH 1-`ɂ'My?oWQ6$TENL( _<( *H[ptĶF)5ٙ%sBa1FfQu`;hMP(0Hgሥ M> ݄ڽ Hѫ&`(66ጨ'-' ?hjŕ۬#n"+"|o|xà^L<$33IӤL @W)ni?'Au s &@V`Ӭ!£^lo&^Yn8T0B /ץaެ+$]Oi87EdnVkV.aXyG^IddBrX0G$r8/x꯷8H.nb"ַZj"1̃.D6)a~}?Wtnw龺9'nY5i-n|3D/`X׷yd2)'Eڥaڦ«Ձב8׶W[)Le;dO`9 0( ~ ]AnZŝX,q“53mPpAun5\n]{Q^HX߯r.Ա~AuWIvrIC5WI2 ҅ Ŕ&XΒd"]p WM< oajs7Rݵ]<]6a5qˈՒ%:)o^Lxlӻ1Ӣ:V!zKd^%ܚb׺ӕЧ2<{ogC^>¸*'ÿ]];SC(JyFN#z aRLL췈.ϾV6F^PLO.&+,pԪM_U +H:Aa"aqyi0sܾnD#'<"f6{EC :8`&O?D:-'6lH$FKp;O ̑+Xdo<~ݬO ?XE)ƍG(}ut48 SFpG3f-X'fٺde-q)߼x] A|OO0Z]\OK/`0C!!\4T39H0CQZ' ǺLk__ j&/ioҹK,!;#n7 pU -B 1z~Y W*QxҕP~7tzlELDEs0& <$?5H[A"Gٕ-# ^E}Z NP:O6xq<9?Wu{ Y'bh dGdL&i}FHS()2'S(j{Pi?G< F.-fHl}FRpkoΓt-h-_ss!yBdսBs]nM'>Vހ~ϿSN#c. (֎/7r->pi8CpGYaO#9gYZ7zXZִF! nI ]ŗXi%+)Vy{ # Fm^Tp =d+{VsE Oȅ}{P!{X:#q,qj4^&Q*PK榆`;@׆$~MǓ/1'2xZ|F̃Ȩb|E);5-z2'(f_)؏;^6YI+0-/fF(j>xA {)o;Ƥ4ݾX1G3جLFu~5}F,Woafz/4K|휤ęHwFoO ÷ E@:˼v*q5+^$\7<'z'}̱C*IpyZD_H|N/ ea@׸\2ZJ7I~j K>uJV턷aec0pnk.?>Ɍ+X~?GD@hm'iMp\Y0|6dVQvcF oXK̆ ]O6s$f^;O!l$ g' 0_A"8Gb8zigDZQ-HOLFys벧QDy=߷zou!lDI?ktwҊ!'9d eӋפdȻŭ l 3ȖP]{ }54s  $cF*v ߏ%GAB;ej*)϶=/U1$R(ғZySmrqo+brF  L5IG,6+=.Rv=jc}0{'wwc3>Zs/L1swa7 mC ƒU$=e%^F*-R:MTw/a7”&Þ/Jܣ:S>MGl#ՖJɰY 4+'?;b<oKwpZ$a;JN`싕+Sla 2s>)ċW^aR ܸ́׾ҖWU@hx!q.Wr55Wٴ J,.1\H|m.P*%yTq:($:i.Nm05qׅ9&oЖ vSq^[)Z#FtGDnbvHR>G6>TҾ9UU:n`D<\]vu.0!ppVXL Cq&`:" 3cuSKVwlw^){vO|wE.㉠5ݮV‘=@`0'+N{ i]/?6$w2|Tǒ1V 䝒<J%@a2`#C}8@Y:EMRp#u\.rqF҉ْ'v)ψ(e:[scQfcД@$`Vd KM#9MmA%\R><.EW>xxa(UhЯfE_UӗY%R^_ h`E O{oGN[:!8R藺u<7;mN~lVCvArKXp9:UeRd}&YO,){ ,r`܎̻䙔T)hW82Any7__|Hts/tJ<2́}1:[D zȨ9&Zzz\芞JW~4|6w|#&#$_Ō5}Z ׎~DpGl`췘^hbsmIQO|ZKeAN#tb(UMa%X 4)#9S; ա0fV4*OXfM(Hu&:H0w]veMeΨRݑ(̹e!Ƽ-?1GY%bʟBtJ Mͺ`:0!/h&.~IbIWMg=(@^eZ~O}-V06ߊB,8p*ZUy?)HSPuiw ҕWLY)Jq(Wf؊'ߊIő3ETp 26#A^SӭZ!>7=3)"Dfģ!ĆZNF߹ @ B<^$J"9͕򨤤O6S2A1]ղ{avj.*%0{K~c8egV<dx:ږmp߭V,o?j gUA/K^8 Y}5Mۧ\P'pYGv U:L֓*hyf/I<0RN5|IOf=>+ 2eHۇ1,\O Xҽ}[Ϛe}$րpw G05/l'?gŰ=gɺ;w-zbvbTy uwJZ׏9?BlTi SlC G+.vvrD(kWQ}15Qq#䌝Qrμ [ ۻZ@n!STt&t|(EL.L.# ?,VY2fOZz9Q 9y T$"2H8MU7 h*9# 0ꀿxO>fgҶ(5efŬ  dn2W> klQ_iv!|3f2`K`n8C Ku}J`@(3MPHp6DWGyW|~g.Js?dM׭:꟏ }'h vt2֮W|Z66E!hy!B )k *Ǝ8&~퉇2UiVJqj٤uz@mthtoۥv+ߓ$7{0QOA O\/5B m͙B$^gG0 *y 3sVhɊ`]f6&YlۢvnS*ծFO -`- TqʩO*fuK3'OQK&~M< IӝΟv1UD5 @+,s2pd* X][&c=y)}b$MC%µwв= tkxOcǓcKu%s*Lʤ9F,}]IXBEiɇXoM4IG`61$ $ }j{ _|CcZzj(˕d\OUNZmE("CT2MW 9cid)߅ oC#aR7 .Ғ r B5 'uSjB(s$ B1cه,7_ý cفt<9%ؔ8S+ m`KCG$atek3mPhZ}Ɛ"N3h j LFxn3n^з9B 0*:Z>%a H2Z#D2{@'1DCoaѷ⥓|XXO]`:߻7/gDP>_x}a\7;X)0]Pš]^ .ӊp4–b@#.:>Av_` #GH?؀3L#Xz2iOc[PJͮ=Gδb$߆ȮKiHxw txLswK9@VUս )~w:f>~']QIś{x^DXVEU wх̝Jّl:vٚ0X ە;/R" Fޘ% l>!!l К 0kՁ:ȕC72<әflZzy O4fQH lA;8]6`9l6o{G% ƆвFt2BgFģv}Bb=U{2owN1\5T/qK8ϻaiPO;$f8iMtq{WM S'q΢icuFO-Ak,pF,0M@3_uzf$j(HNl1w򧍑-e Am /MBH5@߀[iQ<3(1{]U]f"F$70sr 棡f:[ -S.F)V>z-402f6f_X2gosd=% b/^Q-|Rd9}T+XD37`aIPWj`5>v>+4qTrpGzpRd$4`ǯ {+,U|S~OJʅnSɊ(-=J$#1O`)BG›gJ><ђ.Dr,żJ&P\xu϶=\;]B\|U]*s~ĐXE3=:"ހ=vpO(5tm?]bq&yGO}գ61|$3rWq6P톟yQw6 %h]_\Kl_c$b & _] =R\9߄&3NNP3C'4T28喃壷Wwk_$;;.{U*Wdӟr2)`пbdUBwu9TG[(?~Rg !al񒲾Q] htPм5Ԑ ]?+yQQ?Y7^n 虂Pȩ&Js}r2ߗLOǟUuЭgTE[͔孉 T+s^T?_ jBe[W k;BG6_G/=n< v@vjk ƄHi5H(RfQHd@ohD*&aYʨ%2pY7ض[D{.N_ MPcST W4] &m 4h'U${p낍Cs\'K"e)w%Ԟ;5ȍ?'9ω :Lb2@ uJ;$r4a"i%t+뢲8d+[K8]?[{VnMr 5WsܨZUm2c,φzB{z  !ah.!_ 5'<@>5*k)Ua@\K eU; n I!+}uhh /|=Pߒ %ȰG!1`Nk:(c.B<~뱎TG3aEznEx̡Ċ^fd |uA8 x5}SQ&c/+HVD;@7J"G&̵RST*⥞= q LUY;Ʈ[tr_XXN-졄ᦔ;86j om\N'!'i ePLtfyeas}l Z3Jw6=n [4>FaY*hQ޾r?tzV|F7- f&K>|᧭G lmR+ V-;sI (5SĻo-L;qUd]/^*߮ $]>mউUYwl)>*'L88 `bBګ9CR\f,>ۙ Md !&mPѠ9*ADʭ{hQX.>+1c|\8VWB>Ze|A.+vgPZQS v_K6g\N8$+ufR 'pz-t7J)+Ũ{<dhY/gXj|Ybh7$OLHMJ6s)(LpK0KqN? j_sy^݄PQpiʘB}Q2k"d1!6=7FԶd;HIrAPzvJ2&h58el:M5Z;E׏|Ay.h͉˺ iv$5a9,֓H\+BĮ}f/en C R tyyM;u3gIS)y[CGƳeYh<ԛ);z91 %}IA8FwTM流7q?~%nL~o-&Xt[.s'au%{",q,rm,74%2j^ūbzmT(ܙs*@k(GV4ڿ I ά,uS#FʁFx2 ||YQ7K`}Z|9@3Iizt*DTkp+ܮ_mVk<*͖bVR+BFR7ң|y`}ewndb3JO( rLl.F卺 |q(RXO~AT@ßd,# 'sp)z>[z=gUl#^[dLe.i jgOa|XB.Nz#B…V!ę{RXJ: o7:nS]\ΓDn _=6[eٸkUdS6)){Z?jy2_HP"?P Ao::M CKiUg/ޑl*0-€e:f<$~V1L]Δ3d&`ßHnυuEol̢>63ݛ'=[N0z}G@>.OI hԌwr.ɋw.'gqAXӖWF"g"2|9`crmPIV325/[+$x\>T.?atZTt ز`iP]FP+A`MmWLa(=jj 'KNl7XK<= 3S `5[U!GrzTehQ_ %?_UU]?SCA봮}V[o+HQ=P7ڔߡΟdFŃ$ 4sNERSt)3(QgK9u x>D+bD!ʱ-AH Yhz+P-ळ|L Z2-ݵd:b⊥^JpfCBOêJo>Nq Tfb)<դzsjy1T X3el'f/BqWRכJa(9M\(O_/Ps)/ 'f`mbLԵ(5cv0ChR; y`e)V&fp,sdt :)H $P 24j D_I!ct^l3wӾb@ :bT:8Ȅ?}cTFfeaPqfwQ@EʖjU*}żsľ& -2W{lZzhLt[:UIGղq{](h 55WZf]/=pbwB,,kKsEfRlP lVZ !=Y`īJ{Ojau? ]Pwlja>c%D];x]5^DٞR-gBln̞63pN^~j?n^بܕ7cL' ,)6,o(aY<. Y@zcxdΪ~#ڽ@)a]6$*Q}JSH`/Y'&$9 BJ42z$ŴϿ {NXm:VQh>TEUcB&:MBAݲ.ƋH+p+%v\K+MLbXPg?<.F 9L , _gn'є.yo;WRPYm0 7cv{""CCv;!MzC=tU+":S S r쏐dXv)^=od*, 7[Uq9MdaxxV-nV6c2\-.G<1$ZTs/+ qκۈ?"4ex-NVъ6Q+CdIug}iK` k-{ScoG ןaFХu2;A!< ]rOP1Z`~Lg9QfIw-NfPTi# xz!Gd7RZN˺cHLXe:UaN iA 5ih>#@uI"tN1n%=݅K:qN}6{$?٣)2ڕӹ˕߿үm1Q%JoqF)kU!R>U ɔ-Y=6a'Of6x_,d$u@+OxQ5ZAU0XӻĿ)ra, kLj47 X 'q3bBu2p)B"6iP9 gDžy8RIҕ}V ތIKX~ݢTc,mIþ9%*:TmG%s[S^U;.KD?b p@M7,>!mm߉%.'̌ r4dirZ"@痗_}ti>!m\x1a鳂@rVf-{ngk`<͉p†zRtװq8Ry;qw i k!1eBU A[i,r{ 6;=kWu2Kܰ[9(Imw/\nn5qq:ZPu9yKa'?G Hx}ڡ@.th+_pib%·sWv"+PY\ o>ZVKD gNyoGjAƅQA\s߮k 6s#ФѨH|c_E(%њ8^2vo], Mx;f^O8k,:'l[uWl  }ԚL`]ď-oΈOѴH\49 . IAE!P>hNi]=`95`&r@[!̽hLsEm+,_ѯk%2X$<4'UABHX\:OGl޾PeAH 2ʼn&N-(͙{@=i?8Q:1xjZz"h!7mqQ vxJxo(P7gz}K')o{1Mu6͍^_Q7,s"+&Rz5 T#ἧf &dyC1_ c9 1sJP<3|?d($.c[@F].֍\Ä?Y{,6c<!;DZ{Ч523O^ͥ35kfr_?@ LM-(an.Af0z(eop\]u5HCP2;dacE7aȿ#kr9N7ҟ 5X7b\?mϣaN`J⩛_|/2[Q 0gth˖80ݲFADOz^Wt슮DBǕ3X_BL} W 2|}i38pIW4GzSRV죑*Ӄ2M@2~B>S]eypHX! ?|mNp8^8)8tat/gz:d,j{>*sG"8=7W>[-. F}b^ =~+H7PN`Bcҕ'CV~(R@J>O|[zGL<$(!-f/jǤ/ >z_</y8Xio2=}u=XL$GHqﰒ. ]OrG.h&@)T;P>NiF=[ /# zcILi|b杝ٓeTEZ,Ŗ4I=w -BkaRg v9>!YZ6DS{ii3M"h!DL%:Q;L֑$ܦgo sZ1U00"]x0Fp(-+}8ߢP ?!eQ9Q]VFC۫$n£j00ms͗ 'Xn E,l⩥j> C~!fn^"g|=[)(?qP~0XHE{@]~0g&qCwJ)=|xVKê {bl(0w$. 5wkMrP[s<~Byۀ[|ʓZn|eNל+HIX7A4ze3cwڀkNxp,}лx3 q}B+[AR!2+ξA ?)o)(+.ٛ"[M'x‰sZZ%a-+wsWk yR<>-K+?!0C~VYԑl 5ߧX?ßR?ֽ/FumTD,.Ge: @GylpXVw{,B≗3?OUfFPȿSEDFϛ(KoTΙgr^wrE}*<[QC3#'lgdؑY[:+L6]RA#ZHj(chK?Λ%HJgyǍD%Qe;Ot,:f xI"6Rr%\Lsvs#sA G#G_`yoSq'eՋES3!7p`3봚xSFan 0:eo!~\!4 X,\$H#LŨa^&0nL5wO@{Q16xpt9;fWA_j=2I#6am7>:DKA]ZVԛj7[@1$]cJk:ɢҊy\w )پӿ/.z6ٓe~5t,E./a<.Z]Bk5>vɚhCu;ig%jǿ(g-zW)Ń ֆRܑr5ъ"\mE:vrH?I&%|5J3q1ظo˅hrz.FbY)eCI!evTYXwu-6ZS.9ԤM'MH:_;^Jχ9^CaI)\d j/hp1rVsvsL^t+]@z[^ ?)9^BWC=tx=dl!'x!HM*?v2]9N7I:&fZb1v% T^Y%=5n͢eyaVZL(DF D`bӈOؤV Vauǫ2_cpS05c2zKqc!yi\cwTXt8*U>I"PJo{]ºE8=dNd $^ғl,4 &H)rmcrЦrtפ Qt9u^YN# 2&hح@.:!7 * 2):se}y²7Ζksa+SxcUtAl g?y !dqv]}ot)s@ (98'jk_.`U%N.OV}DPC0oS>77 H1~^ s~@Y?n|yIl&v95.[Ul4RyYӫJ)~"m^7ZgMxB)1Q~)eZ_s*P  =紌ܩZ(r"}QE6 T Ոȴ95! YhA ȿ Ŧcl-WۯE?Pa֊]"\3'EFjPIIXǠ(?L12Ё@`s|̋ߐꉞZ:#'U=|"_/%*xӗw* Ӂ1wGILcfKǂ[mVq9?6MkT|pD}nG#YB$@-6eTLR,h ;Bc& YI:SdRunbGcFaW]nglHuc $86[xM=aδyѠt~2WZ?*NGKA0il1!4& bdgiQ<1fnqԮ[d$g)Z~OL%`Co S[\cW:7F)t {Pb,az˵v2œt*nPmі(_nfӐrm>Qϓz8TM=]~|O `?;鹱8_e\_4Nf4)͒P"=y}gYZd6cd1accd1e21136bedd482f81d83fde31b5862ea2d5ff19f237a41b43ba3fc24c0e51d3bf4451ff 46bd800d1ac554aa3326cc80d35350ac7980d5d8 2da34adfe87548dd1ef92966e296d93abe94ecad 6b96c2be9421732bd814c60c4635664015ead4d1 b09f276d8cc456403799d521884f0a4e1f3b2e0f