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  O O1 T, ]% HOL-Decision_Procs:threads=6elapsed=222.452cpu=1058.092gc=105.692factor=4.767zXZִF! ]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ч#PpIPs=a$$cJ#Cr;O Yk[Nl,(է*SQ֕H8$Bad /'aߠޑ{6gr;"XjT 7r˛4P# .Sw2>?)/>Byt>74iC>cjk%֖|}Dw{/3f ZXU !uxd3kQo#e;;4&BmܓDuc':^kn/]:|3Qg7C"UtG^8* X6DioF pL߶쯆ڡۤ#z 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 <)+oŤ;1Oס@㧹/oLf3{R$7ȗ8 #<7dk C& p,c)P|*12k'&zg}j<Պ:n{7WHx6QuSE`$1'{A"Inq&-j5d!CAPakI![]+U$76@EO|8ggW&*F Z|/wsU2` [E0m9jK1c, oHmbRtJY$dcAn>^W톯@poxE_Ҟ|>m>b=$!p/µ֊5%Jy]4dx8ɩ>r7UT<ߡ5XB-Kj K3H)V.R.~D*NZY :]מ& y,/N,~xsYiff*wc\4B7eU~9ÈM:R=LlIM.$4Иh?N+S{7ȂZ,-lATx͈~Tʡ+0KJ:M^!Tj5 1}^qZ-)Y3Fdž1:?^m34.{swgŘ"g&1& S1ݽpqVs,T$ G<RJULFS3Ou1v򕴩iq@2'U8pMV-ׂgSXі3lrbf-=|Dh0jԢUp{~8[=]ش10+4Q?N /rF8}q]E.f]-}x:1uJ:CXCʜUSe24d@*rv+|ev {y}ѪU*2/VE!F9"2D5V=DvAqs w\E٠rgD[F`~ޗeպ D3xPk* ~2e,1cM]uW^pJ'Ar<9#R{Y < ?g8þɎWOYUS>\|g$܊bL%nmy5ʪC π~cZ³X "#Rxq w 9}Ϝp WF= ӱy4u>Y&7q ;Ji=kJ}=tmçbC8X*h/OȻ nr_C݋D'23uݻTjZKr:fQ ü47(+[ϛ:vj#ξjJ= eVYU%߽'W:&w3q*!e$[_#=`\ud= `O`ʙZtr$tE(aP St>{G\yApd|.R1G_nvEߊ:\\ ?o4>LM,0p4`Wr8w˺Ѐϴ X0?Ki^fjt$6HI箵CP!3u8aVyVV|1'EypBV.e, ã2ٟa 7>xAkB |h CW9 oZjJS,K$`oŨw}^oCM8O)` 168I$#m{=.K[m:l}wdut Ӂ2Ξ2}A[CVq T)x(+sJIT\Lu; TbkM(X]꾟K Ħބ>]8?Ol6 F?c|x )?4"EI@"WO^zPڒ _+KӯA yn9 O6S.l /(J: /a`1 z* ?PbĿŢ=g(BC~RmS:Y\x1apA9UڋG%'~ 2TFi Mm#Pɯ]HlыNa`(+}vt3X 2m\ɑ(!+zdy>>DLM8VN=;YwJ뎌t.h \UHk$nPpۖd1Mak{hMAL io;TSڊ%Oa?K& ȯZZ 6wZd//ڎ%{ټ CCe ^-Rp]{STGvEmyVv s'׎/e!DZ{x?Ci9o;Œ bЃQRfq˪75;ak zֻ qLGl$A#GZcgn b0;U ^߲𖁌O?!Q19RqTb'^&y}6or=[x 1p;R if_?V ܏Y Î,뗼u {)EL+ͧUX03|+m"xugwSvT%S+^kR*_Ήb#GTp,祓ԫ*=gPTl3$0йrӈkbD%2_#j#ވ+4nT$G#i+do$ da-1^#t绐{ (ݘMR$mŔԫq &V)<0)1@^Nh,OR@ifmJfS:tA (^ ZhB_V4{~^ ,E|ؼO˸rQRXdI͂ng4IWF}_tq]pegVs|kQkEItp# SW_udG H@Tv"/7q>)wp7.Ns[1Dr[x.U` .m)dF$$hк†#ڪ.^"`WKH2y\76 +0EN dn Y؝ESy{ZmGLתqC,HLԑ0AjxVcr\n#my,d =KhJ`^ؙ#yXfT0P-Q-< hu%.BNyrjr'kFZxDx^j,SbE3?|E¥zFVs~_vM;e>IKr󓺽k46WF&0LA `xvYj&~i bR*gvNo߮{ȾT`Q6eߕM ? SP ٤ AuRMG9qq+a#@beyhU< 3{etqɤN C~,)n,JX5Vo1ΟLj\V|A)9Kf bѹ^p Nwl0bs7n@"j}gsDo&G:Y8}3/˙[7Nko{I4.E<9-C24C-^ŖLZ( R{!)*>,nײ((̺R[)0ri M?l.Hϓ&ۛ!^U+J[{f[eIJPmpIDԍXR5I|4iH [#t&pT?!\~1E#/LgYZ7zXZִF! Z#]ŗXiɟ17L? KxlWP8SաM~>fٺdIćf錈t&Gj\ϛ7-%+ޗ ڑ!z^"# R Eu$!YS6_HjIza*+a[1ジ2Iij3pVwJK2W9#W(S~v֡Ggg 6naASg)ϐ{4h$IëC7Y `F^Ӝb:ؗj֯ݱ*]h%^|Zz(-9%+)!Z i ;$c$SHrum{G?zTW ~PO+ kBwM [K5+h lE+SWsk87YoƊ08"/E1蚿|]mՍV:ϥ)گ-!_| (:(C_w~6ݦ ]e?㤯[ۗ)3 8+@X>&b _ǃXw\|'ycpmhE:5,ͪΌ J=cA1uN}IiCzP{@afp@oSZ-y8>Flh~W_9dxPOgM&$p7n WX{TxT@桐ow`y8'c뛼:E Aepb=VT?f'eDZD7Z-eHm(9$xgVҭ[yM[ͨ nUh7Ƀ#3Bg7ӛW"nǬq H蒐YnJ(fk &5_eۮ'ʐr8> Os?k~O'@ N)|M;l8k&3rVt+[q%X'?-: KN/!0{#0ՊJƠu%&%?2G(_C]u~D1cvp[y=Z}p ЬaП 5}Td+E@‡[9.7g*vD6bX/C|wih)(vާ|%`+@JLGJ C6Y9/ʁTW(}I +wuTKO&}@{ Mr:Uf.ᵘ~xOr#j+aSAc\2؆D~R w)_Êz;삽Jퟡiu4q`c~t/4pȄ!f / 8 XU@V+qHݰ23fj̸vK;hz cr@b$׈m\A} FȡPA}nZKCNػ_V+ԯa\6zh"‰Is==T@!W :ǩ֫dr1ڮ~GۤPi,FeYX -߭۔3*k)vinPz~e [hrLA;(k J'YR[Z7^=YG]m**ԣӜA-ba*AV~+8 LTEcpU֣q-w#4Y燤=XkAi,iX.B4x F9}t}Z p$twyM3*>'i @?hu W 38_] Z81 \3/" 1!A-(U A ;?4Ɛ:|Ƅ?4C5BgfX8?pgqPy]ߘ(YQ$]ƅ Ix}MC~+L(d] -0'sW0\neV^cQs@AJ#QI9 ]9:~wtb1bM=;X fF]Uf&0ue:Bдo@`aߴXZNZj>Ь 3t9wK>@_t= 9X'q͏#g7rs N",A?̸/6a"4(.=$a%Cj.]lZҫ[ :\qࢄB/u%P@Em ߔ3B #V?4nO|HvxZl:aeb\uߝLr : 䂼¢a" }d5l#b17a֤&RNgG>_;2FhMLffs#h8}_8qn#-C]8JLK<6&ryA4biZ-M@JHpGNm8f/c}# $bN G\ EG] eY2P]!Ro^Z% ơ-a N9`WϤ4Q.-铧EdG!Y T+,7}{$i?y9lG[,x.z챪eE9i쮄: .ruVDzlD0-՗]\8`HW.U;6!\ iNؓ2撏i#=1V '8A~0Lp&z-ugr9oj;{cJf4,ODT&8K4MTΦl41 q A%6A_Xbc@<Qs"*|RX`Rďf A]QE0f@0 n f6}58`1!+'Yh,"D 67ĺ Kw/ב5b N7\yA܅( g<Ye^K(C»U"΍0hOi/\OqsaCpO9aǩH1z2,bpg|E/w-69mxoBB,͉ka[f9wsL}E [<3m^2-\)5_4)#&/c_$|}{ng &<8Wҧ.ښz#G0g|e}rnZ,@We& )qdpތTWOtSlbR jٙQrwӎS1 sA0͓:<OM 0 #_;3'1Hm WZPLoB4V./dtw\Ն"1$:, fQizũ!EP+Ǔk@<"!bf; 9INWb\t!SHaOWZ^GiEpznfp`˘t}xwSrBv46](u7☴ҝ 'v.5/g_ntC?j9.|)R9*"t sΑM.I0haP\w6L.+^"QI 씤 $κӿd&,Ч{6O_PaM 9^$!//qtd *;xCF@o jEN?} xq h62mKD@Гxńg,-춬k\6 f!?`h"[zyQBO6\T=W azR(0ݭ)5wGMCҮwE}OkIu/gْ VC8H8+b$h\+ޗМ9j\Dn mLSܵ.$|ZWշ>\kNFGIw?DvBJ9VwjwSATT얶ZE`P'2"Jt/n=F ۖԺ<2d9/b'N;LH6 ?:cti:Hm$ۖW/d9  )Yꇣģ\EXSfR(BBc;J =W"|.tsae ")BH>ѕUZ4io4ڝQ:Ȱ.âT"j'~-dQ <TC[m X#w{CHQK(KQ OlRII/rJb > A~pOY =7JpწB. !N dXކ#cG|[6j;qwT=N !b}w`\|UjC=\I踡Mr C2^FIF0:W"f9};L{_~\ eW!n#Dg>+Er0dkq{GW\E};ҲxXň(JcGJS}S>0w{7zμQPvۙ yLUj0QVvbV.Szv>^B}( $RO8򝋌6  b&̻,kZ ׅܣLU A><l5H;7V&W_h ";D ]hgPiJ6tawpw}q:RO )2:omt,Ҥ hLgHR i c+3,]Gھ!5k eI$vlY%Ǒ`H[dw;qykB0?h)jΰ_f aILSN5 .Qm Xe'|,eݹ享%2t:6-:]jĩ۪ph|Po8 {URv1d#f pV*ZH\x6-ON0I&,E NOߖHۺAʪ$̠R|#F #탋.nsIk!>6yݺnuS9WeՈ{dom3-,|sCx)r'&ط-{ĭG{΂X> qSy&oSu'r{Q v"&S!;gbŢh"jUgkً 3"f*CA ;UOKbwq| =L~Dȟ+ȃ0Wř=dpZ EB:. ) T-k)[j*k ń`W$gy]^-o?MA=OޙD2tiF#+ kRোnJF[ޝ4=[fNhFzj:~I2y|2u=hZ\_ΣMspj t;H7F :z@t恑`V6lK+FJ6~(">{>*(a2uiJŕpp?c%g$aWEEkFHTrPXU jdQJÙTx)r#A[Yy|ٚߚO"C^"}@a}aMؐf(> \D ?nKIDܬsK)Kb69SP/`7v#y:5e!c tztqB2yX$wSHU]]ZT<Μj>z/Tj!y (3mڕfjy_=vθDx+%D ;E=|xߖ˩MK`LkjPKcR~JႦ0[*K'TŹ9P8n<͋Pnq_Jd.7ٖ ƪ*qmLMK,'!+GIn?,KTWfZhe ,h޺J6zf:HF=qǖ9܆R2~=m]z*t|ȪSRb< ]4։'St{6cxku==z*0Agm&~8?"Z[%Jת협8iqqi ^EƭnoZ䡚*b5G(!m6iqBTk_ٔlϡD@)s_".ЀiZc-OR͔l wԵNvj/ҴψsSU1\T p(-C>T ܣQUp >1PX0蒥BK@F?6gly)}@gxCC[pкTvF@{N +BDc/.xsY/ D Jm # vTMF~*_ oƫA- # )]/ UbeiCc^ ?X}8Ҙ:3cPRMӔ%4ʬ Lb?k-u獅1-e_-& mKz=O,Gr%9̿KBٸ \_6I=Gq\ZW#|QV_-_1lxGJ-!c]JPauEimiT2fW-K¹Q۵LN MgW>vdQXήj)|WZh+Ms-5$#vDq!~X?<_ ĔB Tt{*IcLYWHӓZT2t6߾'Aѡa|""ywOSb5g=fV( F1Ԯ3xr/DPE4vMF,.G \΂^(Q,Ǹ:r;׼bOE#mKpTGwlNoTY$*< ~uOi|O¤aw8~u׋!?w*cr/ƵD:YQ83ާp1QD^_#&8D͂a5+Pusk씷N1sY+V\|aLƖI[LZc_E{@G;#w2DM7}]Bf$|JLɞmE?עlJ9&VnaA=29"rf)x#̛ŹhgpMjiWsO՞$ ̊!#!ٲ= CGJTawٝJW?>.siv Q~#ZTSԿ#vG]xo[ ߂YW^<;ub!Q9@ePOA[C͒}L9gbvi94!MK5w xƏ.uB?M F3& +5.ߣbrho.Jhj"erj+· s]tkt9Drs[QJ&E7=.`ⷘurV43[.jzeǬHj~"UCٟo4s_7h@C&"(fI17LI+b!VC*$RCykm,_olz|InH4wN0W1K%6&mD,*$gq 䵚o^JoBYVWHHVG h< Έ}DX}:kClfH\Ds # *Yw;A5ܱ: LjvB5c\WE[+g!~U 94gܼN3&yM 4uG•_ cD?5'lkٙs3CDC"vlc+*=~&yh-,LHW6P 9Uw9+bdϑfkY+a~gŁPykW*C,*NԡDL>$_$xz*Dz[Q",,|-8&Ɠz@]8("/6W =@{r1M08+X7'/6(' S/e3esنtBUa-I%rƟ34` w.usN K5MZ0_Tb gTZїa`ԙ+sh$0tFPUS<ӾP6mԫ' [wp-4|CÀq0rdma~"T]Xt8{JvB^5Qx*B~ ݡWV{bidVǙ>]{҈@|N7,TF?:f$P'{|'h̑Zą*(#3&[rUGvߖiB$o/guS/s)" *b+@;܉"N\ jfjNA>JV$/\3 c1p%'lEx+" |Ok4wQ(g'SC#IےWFO{ ֽL(QqfoCXt ڊc}V7Pa w*;&3 ދɗjTZ$hnAb|kӔ+p{ae#EAd;c˚QEWI9S!Oء sm-lb̤eAnEcxG{'5ʓlXhqÓy 縱̐bH+i\GZ[=C.{dgMug f ~8~u=M&5kN!&5"nW\L [_dQQkwЖJ{7Z>9TL0w$au :~`v;+rMADfEPy= yxK "i&LQ̆wMN|)aPkd:.W|QVf>0`a>;;ְt͊>^a 5ը¸$9smZr܆3b_uY k{b6ck,hH|y&bi3.@$!+r?w#術QĿ-Txx|f* \ڄ`Y׊{;V8+1=:\Lg;E:U3a =bpbT-RWq6h>(],d%ٕ(+?O+ $@0~M9;HvbyM9 Z ;5$A6).Z k 3JB{SsowdS% M[4hܾk0w|YɾTl4[5xq샶NKy0i:c=d弇BCǜqaȅD-h n ǙK;xQ=s{Dh4AZ#M\~c4a™Ji5-*zMFUjr43:__es{gFwQo1re!9d9K 3Q] ]ϸc 9~՜\^`P |Z߮uw`x_$"gQKsU}D471<$;A RA[D44`jߙBZWy9KivS)$ DTʎVmP࣫fJvs}{bJr.|,.ceu=-x}hRm'nI)  .(h}lǑ:AZL8l+ }-`|W Gu`pEzU캐 Hp7OvX ZDPkɶ1 `Ef#^juPr+Ÿ6a䌅1aXM# =nE@RQp2U X1?ql='3XadF87tIO>KRDKi޾hGY'Q'=bt"Ԉƪ >-CײyB]=j?.bђwXxCQ]R:7~efGE< >S*ߥѫ駡i(J͚]"QqZ}5%)$(7C,}$-sA 5;#}ҙtCa).وEӣ#wyUQ;$wU5 ;(=6y9fr8mO2@ F)#ݵigD&yVkZ"Vv%%>,Yulj =Kn>Ճx /#o?|P<Q%x_PjGEC@(@9JȉEy^lm۱bAǎ[v4wMUeڅ ;O!1bF0no׍LÿJl/U>evOE K[o l O[UgB=$W`aLx FkiS$'95^o݅;gΌrV#VvWj;|i4Z&9`lXoLee`&1RJhqrg'ʴ ֵ0kInfQOwpr, M&\ĪS>gѫRVd>zHr8+gbA,4-ϫAFNC`aJ;w_,Ն>|%AiV`TNK#T:c hۢ"Q{S4 fWs" <_ToD݄a7=.q08 ƶ0:bĆFNW˱E_G/%c 3Bi6Yv;@ޠLP>ڒT_*[qE5b!w՗&n+`~AOXȧAe,@)d3:˰^uSy/j !sƷ7yh- 7ˢ`rK~X HֵIF#hhetߢk:Ոu&8hɷTnW#VeM&=ԡےp9VZ4Ot;|OY'购R5H$جES ВztD!D+ %X:\o{lrV'YEL>CwPO$b,+TxtaMYDv93j쮛)i$vs Bxs+[^82]4?#`B(kK@g8-zie S4Ҭr_D{<5D*p6N)6[B:^e'7:a7xB%Gb^ m*~JpLu-r󣴖k(:҇gdiԂ-I.*3_{Θ{0͈@9JHfN$ugIKկᨍ޼S o+?هoa x;XN00XOC9AYWBV2hVNˌ,P$!wҺg87+> SږSc6<$C,->Hxzc"^gYZdec586edb8d2e5cf11dcf2fa22d391c8bbd04d46c8b758c55bf2cb56ac81c62d74f7a65f594ebbff 4e355dbf04f38016bfcddf244a1ff37122307044 e4eed2c1c047c11687d10e18c9475647942cfbec 8e4266883344f5bfe7dc097ed2a549d46b5403b1 2ed0ab52aecd4ba87b683d5f5f318c7c42ba54c9