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 SS 1 d ]% HOL-Decision_Procs:threads=6elapsed=231.482cpu=1081.980gc=119.948factor=4.677zXZִF! &5]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  bõ ; XoyΝ2N.iUr(F\[~[pA7iebZb~XgQsm9+Bs|R>5kpv|Y5+~GR$2ӗ*;-;\?]KJw)Qo SYr^RVqƛ3u(Oi,m"&(g?DPnR.4cx`(-S Ԥ/;愸FjH^&v&VX")  m sl 5w3!cҨo9H6phX!}[9y* -8Ul]9i=|.6YRGmg][=0ql9p01y i$ y:5JPw^|8BJ|2U:^֐^rӹu~GۛyXE37\̧&.;exm\Yy.:)UPN*q;PZԚ(hըh; $H}3BlSO=b]V'I]RC_{8Z,Wl S7ᄳ'f_E~4JUhgّыzU; wT%4LÀ@k$\/ $>\Z¥=7sdb:[TrDx4g#>McZ^_Onx"ْqy\HЎ]/֪[$Mw6 #g3|1P}s$vn ׳#iFXf %~7gA':Ï6(A3W U:j(ة;w6j" Y{U.rqX[lIQ$t`+g?[U j20 C y1(\=y|M{wmypn19 j0ZBQob%"pŲ<ܘ_ TDv#XQA͞EQL&1vV7]|"}]/2>8>.)\6 j~( "Z,{E 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 @~M!>@l&W1WCaUK kE 􈡎2w!:=x`{̬A8SX)W~\6^>!I-!z:,֑'73}g1]AйY;"G4Yfy(ZzEG nmrm 6U)nS8Lw(=SyZ΍)3rv$nR0u"Ղ(.z)WȔ!ASӂ6#h1I b]Zv`>|mO0͌y5B!"@Vuþ](NNiЙ-"rqxMf-cd$@=< <뾏T ι}k1w Ʉ^'6ds&iMh^l[ƌ( R!0 @G{:NĖՁ. _vt?I6>֙Z[Z\x1җ[&}nOH$^to 7F#ĴX-q|HZj>ZML~jJXdtheBjXŘ[v]U@Уu~Q,ͦ(bXǮ ynN=O,4?u Q0$>@AiɷlT)RCacptHoBEG_*P1D8D$pMtWZjͰ8@Ce4=k҃w9l=9f/239j]3Bv0]P3kG݋=V{ǜ-ʸ B/!A+x/4UQv٬`gvs5[nU_2τ>HUS¸oF#%*#Uk\)5 Bw/<궦Z 0n|f=Ee\D3yҠ{'M,Wy5[V񴰒E;uo~aQS:@ DkM%ZC4PI%{55돵LI>ۺM֭%tZd'`cuhn试@ݗ.hn#eo"Jje8h+e<Ŀe~K=<I+ K@a-b/bRz;Ү&e2>i݄:m.Mސ-"_2-G:>u\ ԢAR˷ȂFDxiXakǜG6]P9sCY)!o>ѪżY AUAe"Q,}f)YՔgqa p0{L*ÚG:6 '?(`*.SuGpEB0l ճʚvT)K2C|FP =Vɋ\qP4.1{:-=Zfw1N JH"!ː"\ޭB|S %b.iMMMzś !P7Y_-PʅLիCqcS֤p_HPԼOq{Q|n[Rm6/47kDҋSٗ<|AjW=h%iKibrbVVSX7<22*SpKGKˊ1XĠ{ -ίڄP!!l/1)YG~W?@y(AFA"OsXA},/A ɜmu4/Qޮ_5f(twMlTu؈Is|p<ޘ/z):U3j7ћEY$4X+bIŘ.#Nemǩᥫ*U1= P솏K3C[Ckw&dioG'VnjhZȡ@T_r̡jq_jwms GFPY ĥ/+TRIPCѬe0nۺFN`^PFb T7plq{Mt|f:0ՂR`Nϑ18ө.gz:TAn\Hnvˎ5 bHW^~1fx]qP \L,EygJҦ#lE0 +$SńHO2zk1  y&Eox|iDJR<  "E;䮺ʤ-YS'L wD_x8=yҸi3I[ϭZ t ?Y}Ca#i]İ8.CEYo1UJH;G0'4KN~4GZ6f^9U Z` -F\)*PRSN .D>82%ɿr}I8Dܚ8 {B[=EӞK,3,OQA;?qŤ{7K2q H-p̤?rUR8VWN7U'4dZ_c:ey1= 2h}=G_?" 2E==c#;Q í`E&>4m5YVVdS|-AcAw־1*\ F^mb1wqCAe[DcL0}yvH}{'i(ي||K\b1jdm-dFFbu`'ՃBXÌG5ADy{Y*!Ɏ_ΎHg/Z6zֿ _iTߜzA+YHȲ=q;j6 W:=.kӪIq>Ea1$(=~aMh5_ԉv\dېǭmlཿA6s$!V]3$1R!l`! (+B$ `PLrBQt.4 m74qݻ&q+ԞwI_ˠSvEvƹm ܞ֬B2Tp)'}%P*:&]V]OڰWaYp͍%wU; Ѽ,(ݞ4!|2 ׺6[\%༓>w* M,4r:w׍l7+6L6P2*`DάnqF=`+<וd_ծo|q=\,n:Ds?$\%Pp |Sz3d-2o)-S@n~bdCBcwZ5@.\zxX㊅CDMCI"*-Q5V&$#H^,Zc0. > ~dFejm|Ai.ԛb2#BUsܢ.Oq<@poN`\noYUm߬8ع:ĝ75%1i>߁ä$o:jtGLPX2yc2磂LPr~Ns?IUl&? 'lq{=m¿X9{Rq6Cp?8>z\i>~t*}7gvf\[OY(/~G?lSU#c.p5=Qݛ:FSq=9ta 6tg*7p_ eܙCևc1#W"kkUWp2ϓytчSCa7nINkq Σ` r#tE4u0)i-;xFY࣡D,[?MK>ͭ̒@?[o\}ELOWJEAT#H , xv'6*&-YaP e:4 K `CE@換\ Y* $zC0:_;$ѪcB"N!fRZ3O{ vM1q(gYZ7zXZִF! \+]ŗXiɟ17L? KxlWP8SաM~>fٺdHl-uEzޅ=P*fu~7K¦H`/9N瀷Dwn r}&\xc8x7`ju sYUH6n}*ar[5( Aȧ>vo_8֓:M/7/@TC13uQT`Pdqt!.TN dHg%C:*d|HS^:<_z .{)G#8]\aL>J}i#A"14m 446f_gYZ7zXZִF! 䐓K]ŗXi%J<,l8*|H,ЈmZ*ys;6gZ*+=JErXV29vQ[sCkd~X_W론⤛|8jF+)tI ~@1 !Ͽ{cy;`e0U/3Vfqʌ4 Z\(K讎z^'ڽik5GpM]uobjxsC Qs 6jy XD8$3j=Q^?\@ Ww mPoK&xx;,>)_"gBJ&)Σ740lV hi R`{ݑ@]/NW파>yR$*xn]ƜSMQ!D GZ3c݋AOXs t;#ڛQQoG=L2!DVRm<'1YD w1_:\6iR& (S>50 Op_.Av`E<3YXPגT,i]զҔ[1r$譔%{\.7dWƽ35@h?_c;,64m6 $ c7٨VlC8m-3Iv@9q}RlaH0hӤ$3sTմ\vlۏiyk$rS9:)Q 1'87T>7g%b|L&ZN.pj}^% WJp@?U);& epms Z~ !Ё5AQ=F<]*VTe.B \;kqk{&:dBHр"_]NVP,5h6*m{|J @ew)\m1my#- % p³c\s'آw)NPg27jd?4|s[5LehILy#ـyD~}߷T9\}VUO%V} c4"q)g ?ON=ȫ+d0uElƁw/zyUCoG8}e@,gt!?G kWknYN)#e;4>"a.3r'a^rw Ŷq+|Hs}|KKke$NxU۱8&$ 3 BHk#^ UQx@vGĉPQti2= &f)WVIE8^m\`sfsp72$A똗 Åp Ԡ9`)8߅3\ÁfjnhD~My#KY+Wݹr6Jų<&|Gễ?- Zy=3+ςYﰍq KZ 5{_1؋;D~A"^3FX.M{T-WJ*ͯ) ?fSS[t6 `r`͓g=\{SMr}O v pף3֎;Ncsd -zϠhWLb$5F76$eHK3l%1UY ^KkA0]ˉ&`rayMᓊ#ո{TP=umL.l( hNr$"l:|I-=(LXm~} Nkڏ_۰xOA2{V>nr躋N1S>KMa/JLrs9G}u`>)/2*oȮO8,kOq glÀc.ރW= *̟}ꃇ+x?uI>z8s+ qR GNktޛ s9h3K5X{:x$DԊ./V5R'15g ġ9 8FZCۭ1fIg3mYQsP+f7|[U)Ab||3+͋<43:[4IrO9,uz*l`E[Wy:ֲ@ T;}ٖ-viyɝl= Z`񲞤Ϫ2##Gd>Sjlэ/ĂjYFVOzVYE[ 5܅=?ޣv}p!KַWstDj;\/ pm4$S$\+bʆ +,Ş$ƘeA ?|6~_?8G8<=(!W -[&dK3*Mɜ(>),hc'[n,Qt_e!D~(I ֌ MU%z57&!?ZrKeKi{]pEӪщN`:G d$-sh5p&wϲV1 ~f]dD 5p|_'C}2dweuᙒ8~I"Bj:K٦Vn7+׮YTsmD7巻UMP)9Lj…=t8`Ld|@q%Q }^DS/MŃΠ7t<[, IDى)&h{"4ӘmV[OhM4x%N]me"HwX,xgx,NiD7DOud)ɦa! &?y6 yگ9WPIr6g U+ћ; UPt/FICZt$fţ2fS8^Wƻu٧HOJL -;oEG֚e;SnaO(z.BG;3zyNfB[ݬP"E^#_|$ASj C&im8QkOT?:H@D:#^!ktqp$ĭƈp%]+Y_0"1NNZCʏ)#6ǚ$*^-%XtY vV(銑<Cd5p p^Pd +nዊ<"IЉ &(b'ςfl.oԵa?Dh;&:]:dȖ(yA .ˍ>)3cZ0'0INA<,F0'f;Z0X* TCj REa2|x^4/mNmՁN&1-j\ֳ)aL*|iYM_:]RU64A 3 {]W RUcmN()20zEL )}ra6rU.w"*S`Ҽu>.h+i-ꅳLcA*;`,^*jE B\kS?|8CV|W*$ZxM-M8z#7=tT8BRn| bkv?M>ۚYCIg}tڷgCJ"vGaWv=LP3/3/V:]xUF\ cFUT5^ʖV,pnG; udS =\;vغlGHQa֌l ^4(Ɍ Kvk5&% ?31Ǯ<$$Ha3%ndijP1OJםS(0p) JmbB^s6iWqPG J;e ։fcu4N )2yȢ ΢6H1ԋR4c'{̡hH 93]o%9iSVBo |HWm|7S ytO}ۯ*ty8zpVWhs!pbI⧨džz:S*^8K.GwW,S y_HӁeC!Òҏ[jy=rʶoD$YMUQ&t$6fœ7YlSnSP[*۠Lj8%k H1Ɛ#d3\nȜ5ө_8;k|LMܹޭ#࿉pŜyYXA6p73XNNsLU~S_䇑LMU_Яbg7Ҁ'T&7#kʢ+[>?{vfX3W8v9W[P}b@>6e9FdZױ[am0萆'f (chۊͲ !7Fx4)$ޯ~Gg$G%;t\$xnolkZYJ/Jb;^h}&) `cRwĺX[0i}G1 PK3Ld M~Q~c͚6P_(C `?m- M:mUM1sK0=5^ N#Vcm񥕋Â:Uo+ _C pNvv8dJuH Iϲy|@R!˓,YUSf姄D6#FoBjڑx!C|esX,8(AL}29!MAM?|#Z[͆^XF`XŠ10㈐mϐϛg-jR0CҤ1n`C)KRl"8mޝ(aߵ/Ko.2Fl h/>7i-TGj3xcE =HV*g5"Y%I7_Zl0D_ ՗ $'bXMfdU1'N"a] , ǶU~rOQjp`7sxp:iҸB0!ƕ\vswt'\0jA$26t2dx@1wxc㓜Y/[ZosJ~f`tuCA,Q8_-mrMB<i|<._*0dB/|ېu1vG(RXgd\H30C8 <Ssq7!UzqZb7jZ!'7^vLP"CKQ+:3wX)Igh#63@r^J)0-6_ep_*3ٖW_ϬKNHY\es(y/si;M.fMچ\Aߞp L.0UA7D2+ @~Cv i0PJj&  "Q.('7fuڲҟg7MN,FH6Esakֵj%wc|Kޫ/R=2$+٘sP٤%@F*H S4!kqUe{*jyv&v[vrbeYǺOu@G>{ w,'7 E@}4*T¢2_ݍEnSMx"iEq 9wå.أ̂p Ob[a0DžDݶ|ЪPVOCpwLؾ5^]5jPab> Ѓ i{_E:UYegf< LzH`S7:;чݜ%h辬4VLA5mެؐn6Ma) Ȳ" K ؖ =b)ihKww=Etm %qDaݰ`m2 (ƒV)Za[SںQ)wmzK5U/s'06tW0| ìA̭ ֔ Y)%;+̹aifDT\C&/yk PeDe|'r$&(Έ5F$ltDƋ-&ۓC p# (cԗ^V,x3]%Ͻ2.:;)yEr:c} ^(,'Uo['AcM] u&=]9:a£緺U=|Ȝt*1uvw~5~7Y9t/ & 1G&Zkpε,c zjZ%*V*MQV-$@Pt x)9yn$o߻Rՙ&~c.ԡ]62 Nҟn: )L ':g-“Ғϑū4E<%p*Kt1Ds\MEw 3C&F y_c [xy.iR-U9-rj+D,Lg¹F'Q[+ed[#k"|y -#whAn. g[c,,d|P}BO (ӌȿ`6ZK̎D2HjS9(3/x? M)yUsFcmlcd F IvШcv0#X pR9DO:\$)2 ^B Mak&D:~3p %Y>PFMݲ:9OWےU7K7.! ,mj> VR[r=Gvw_?cj]V9HP-Q2t)(-"?) K zTLQk*-hN9btm%,4Sjl+=*))jw䉄oaWKHCH!,^GNЂ'b M7lJM3";/+}|ܿŏҤ0;ß,3fQ{/2^D_r#@4U1^cYTd (}J C>pŠ)\Io¬bQ@.\΀l˪ Ȯ_ϗ򸇶Yȗ#bα+u +L9gH4]>4_3[3m%l՚Ywѹĵ#TyWMYKWya1ʷ=IaDNv3i4-Fb7kK'4iSq_.EΟ&-l+fm1dOWZ> dzY밐.]H%̌ɵ{K_Ò ГFM/1%)PFhuf\ zխF ]O d%grqtJh) V(3݁Mq3#!$KFiԄe4>nQ"Fɨ00h*QŦ i%3~!BKSKتŜ98aG{\d6 QK=?_>8? 逴n5C9]!\ccnb0DW1D$x,8Akr1|]hyBȷkf%&)N4@˧H*ðy2f6䕓5lzQ@y #/7޾/`Cn YA97.;G!}I,?%4=kmv V9.zG89SbYZO/?kc6H)e t1֬~ߚ*tX5 Ս t'\Kه|f/>4&$$O+*TV2*4u2 sLs*28^?aW&0G^gYk->2VuPu\{Jؾ`cDL5C%K j\sK' ZXMa&hNe4u|!%>UVr}LVM!HVixFjž}O# 8Ɉ9ɨٌ8ΉU@t={q7N">CK@ {10FbXճ./Lhje8;uɺNEzbY8q;{K:RUȘURj[dM-|GbC2ƿ F`fӔ5ByJ>bnhQvȈv] ?ҿ|qUs#C)E,VԪՈl8Q>Rk?bEh ϐj=-jisE䗻PDªX %jN~Z=f=g)u8=널X+XQaMD.oH0oyLknLif7Q|މWTдCd>()qBIQb{A "!E:[@8dX*mL]ISE|hEhϴöY x*0-'yK?)itD3N'\^\?r։{SSP޵p8{HNNE A[ ! S8?uwvp@R@oǶŸ^\s3В<4C8,щW6]AQLrN J̕͹;c :DXص =/EUGqyz,qݸY#]U/vb_0~H8z5VɱkXlb 5æ=NKGD42N- 3E~RagF2wGTV a,xAjv.֕ZY tWLGFxG{)VSL!K\ Ssmq$zzAn6߸:Qk(xhEקa*nX+30&1 Eln]h@ PlmH([0I}#֋ܝUǎnHs]ćbh"9z q mZQA|ЈŋЂSwt \ =`yyYlClbaW?Tl]\-%kD?<VjIMQ49]elRŸ劦20浾dA-=Xt-?1Cڄ{q9gjzp/VX5IF0N>k"M43Wq7(\iITQoEݾq?R.-( o1  FsCiyoct14%^ [ jo`[RgVpBV+6PҔjoồӆGaC_#g 5JPe̷T?Np͗eAe֧=_4Nc+ tptܢ]U!/o#xR# ?ULWKn-ê6"p˹td8- ҵ#g6]Df*: th^&C7yGilaz.'EWRd3޷91HۉG۽lJF'%` (_mrOo6?}$v' qk鄳w63^eU΍Z;R^R]n*`Xl ynj96,kRWiQʭ li'Qb@k ܿs-Š'cs7b1jMT4C8WzW _[/E\u\uϚuek PWbUVjdTxP(igC2*U\:B] xYk))3l^.1AW+ʻ&H3A8|-1vv%}mbXe/tdakpV?zə bqb؂7F;X/6 -g"/MҞU N6Dun%Px"cM/KDH[7ĘQsZIT)^ϕ垎Gm 85T)#~~b>D>'՘mCyBʈU9%{J{˗Ln]hظ"*zkS5k]a\琬&mlYC@>\m:]tn|-#شڞE֐؍Iik9 ln6z/G>O](娵o\vM`-#x~?}0Jc8Z^Xny4ID,5sqd"A `TDڂW.zpU?* _؅Bliv ^V{_%lԚ4%lb_0WVjnĮu!/$XQ9_>쩺IbU0|n05rA<.4j#TA2cZHHCP~̓*dP.8 xFz;}hZ5i~ fUȂEڍzApU*Ėj`F yZ?UbtOtQTdP+Ϡht Ez!pdfu7(_NT|.f_)֓t?櫬/tUPI)&Bq$x/z0J0;G(m$[.0[F+/޳\Y\vU34`FI]|%dyG*ب٨t緥BZe2Ma(85C )OMlqeYX%KL+(샛 OŽE(en,/ǸV@{+Fnac)85nxLD1t3ƑN~ISWTȧQebRRoZGSZ4*D3;{ʐZY`  }" =zfM=e*'0ݯօ+AJ|UU;9 )~,L[qI߼[k`)3tVJlOJ6`pP|qI5̡Rt׭#Mx.ׇ!h{xw^*ݔҡ4(e=(2g 1ѡ$B¾% XFqh)Fl7 6i}-Q&h<B~fd ;>8Kt6źK9|D)+ܕ=OEң~\aˎc4'ep?sn{ Țǀ`4Q *Ic1Eݺ[qFUKPgN*ÔNKHԠ R4M (zl2۳i?Y#縷:vq0Ǒ| &=qvgLEI9ĒD h{:V1&-:l@ 8ЪkvBO0HJZќOp䷤EY?>O?nR3d]JWnA!|c6gI %dkW0~7Xs-ӑ# wسF['wN88kG0=@U7vWl/3N<>i4K[ Sz GzR+(D;,`xJ<BNV >sCz[ijfL~ gRjemtIc KdtX}R6PV\T2 Y&!D+⑄⯾nfxiՅ\Fv. Pd-CީuVܾfCέ0d:V\U)4m|z?lCD3CJw0%^ʊWO^6v9.pXK(`ZJ!b;;^,ڛ y\S:SNH[aޯ\bS ^Y.AZy8R\ɮF%Һkٷ j{ ՀQcĻ'*[WLX.D$-<r)l@h9eOsW.6=TI~F|C%PpBA8py!SmN za+I 4&1BCKOZP rTh=kDuDL pı)Kj s.{ 7DA"Js{t/9L9L N-+K~0W)eLi k|,68Dq[f<Sl %B$7RBIzO^ʊhC.Ȁ1[4-XÁ3(1GHjyP# 03 ׌0q7!l\-Y ښB?"కqtXKPlD/mOAFz^C-d;}2`C(=\>ԯE> " z2~"r0hǚh" 2qjnY0_^7y޿$OY!LW+!i5& V&s7&o)1;n |P䥂շ!R7*T jT Mi].\rev%>Bypa#3i"O(3̄D4Yg;nփܸ$1d/N:Y_&TH'|vF#k ϏKvS*3ݔF1Nri41ї:;WgQ{ؤ [׸HBd`](>3S&opVDB63G|Λ2zI9kC2w? D]dz]; |'$FֈҦ̨*%bK|NG];S[ٷgz#߷AuvosPj7j"jrx4H?0\v@"Ψ2d0yjrf,j|lJ.Mfv){ |د.1YuS344?YPsg* ?x\EiLlޝ \FvLdTbܗ{᭸7Hfa@+600f;FJG| UtY>h?X1w/ r$0R~=AD ɝ܀M0 tQ"VM|Kzwq 6(É&в׋Z3ܴZKS|S~?_]ңpko+fT1[? I 9S5ٕ:O/ρAn(z=@O+%vJ)}Fs,4mh+ztGp}^%dpƆ$Ue52Tv]}0qY(!u{\e8ft ?o/cƯUƶ[Y,3lkF{n3V&(杫<.WuLy=T@n صr̓@eK|&^,PHV?Y:zOSsQj(#nuk:ć:W(cƯJJD'~W3p%1$7qrmJm#Ò{6M(yhEʬM Z|'-^[^4GgYZ469498fa4984c91db7682ae15f85c0067659f74ffa217b500e43b49079262f25873831dd0a8ef4ee 4e08b3233e551cd4b2f5bc84a0c99e19e4f4e2c0 7187a012a9081396fca1bb36038e11b2c5517504 04acf23d83e30b7358e1f8b218c1af71f1ea7ec6 8e577d28d14663a5506541eb26ed166ed7c6944b