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 5% 4D ]/]HOL-Analysis:threads=6elapsed=330.254cpu=1728.100gc=156.488factor=5.237zXZִF! V?]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jknx'o#MEµvS+ DuX5$'XխIH\5u!)*t8٧q>Z&3G.wJ欸>` C*}evlPNΕ,a饒5|'PO)?IuSegTvDmu r2 @d?ʦ#*;hsӝKJTe % HOL-Analysis  B)ڕUrTqL_銻~t3`!ȕ]~Q|Bʿ\1-t>,O(Ηl֐igߐZ2xҲ`rG E*P8ZIo}w!eh@X ISFWC$6N&EkubZ؊X۬F;u2}] ̥XbAK Ѯ11B`Dt(#e@GU">֮&0s#͎6 SP%I1eCxJJxJDIMVIOD"'Ŧ!cyZ!#q* owWSH8+{^_غP>~m`}Еv%) RUZDN8ܙuBC˚8n#?Q㜆ddA&vfTR'b=gIq-7hS̎<6r3D~?f"@`ϻu;; :AS}2 `{] S!shyK2:58f1ց᷇,6`s R6zၶyx$^1N-?P kqמGd>善D)ĕq(WFzڸSk,^Oћe #x̠R)''Mš vRuBxdvfYV48kYeI Di֭`{Hd%t3!^?Tw~ 93T*㰍oΙMy׷-Q(5G[=GGn ;D's;R2MݙW-"K[g}lpcf,Yuc!c-Fc?*8y+%S_GR\,Bh|e"'AZm TI/$6NjyS~1q֥@TE{O5j8퇗j1lN-^ڡEcLEUG_#`X^5NsPwH#Y0'TIgBpWG h= y&`de DEܳ8r*@eC]袬a_oG-&D5wg $ tVŨ4-bUy)}O iA)ʲTOd|}>η6_C+vV_%d 8Lp}(Ɠ-Y ;ŸiHn'|9%/(O5}ulP4ov=!@@O-1SaR۬ԍF"C`MkCdt/4?$qL\bn8ydEPerB4>אT*_1ďI)6[L\8ҫt+Ե&{6?~\1_y)!c] ?]ش$bޭdG 1/rgȬ6 -EPx{B;&ғ߈bS$m Ei0TzŀH:.Ҷ(+G `rʍ,~h#,%qm3v<6sB$!R}ܧ s jlɝn<Fvۊghzzy R]C;ێ_]A@0XXd =?-ywxlYF6$5bvevFGp"!'{原AT͋U3Ub-5O) O9|DϚh$Xb,p_an_<Pkn3[j[fy-e$יoB9(e~mbu+zMUft N$v+>,9T.'%q⯝oj?K=̒Q9% R wkʻ&dP^3\OTcS8NA! nX& 8/:Pk~M_:H@vѢ("83*S.c &BAdujFbԹ LppNSQ*RutVN nIKfIyڴ u IF/ AsXgJG#ڏNhgv_=%S]KQYk %8f&W!6.*{QDYPjKlA:4z4ivzBf×A_*u HiŔ:#>?{jʣM!#"Mm whlEU5b_Z|sTdX|-b2?Q",腶kU8ŀzp#^ .^l9OQ;$,||iMD3{+x +,7$Du1(y%+'$YkIY9-| Cx J&k^2Iޟw:iDUx̏R'Wv H^~fS7 **MuC>?{WG#} btBU4v=׷,6M\'pNQst`0k{ƒׂdܪ4 O/rڮpNLRG#zɀ4~lsBT}!Oe͹n)/"*aКfrq,kH9-hOsϯ~㡵V еG-=^fk@ KҿBwz?^߸qX1p)ϵ,(KZKj4 rd] e".ÃNkT%Tl^~8R')-F`W鼍3J3xJcE:&ui"G.}04DQ{ps}8būRjzHvǍՂ.0yzj U_څ}4Pbն%Eq4fW)E=c,3M{p{6Pb7H5a5F"J`]k!MgkADlp`IB󐖿:ڻ/'BsI_mUu36N/"ctJ,]TX?+ք#TF$[\Uyb2yr1vDzt%a;'iT07_55w|aGB=it1TD)ATEGU"KH %3hjt]Jl1oB;9Wҿ6fg WEm (?-L[)9߱W"y÷B6MPR:PJ8v*J<.S\^P%uP gagepT4I$eNOʼn+ ø9e U7 #ÙlPP`f u>Z28jP;{1+&vJd1GrUmň."U̝G1\iS?wKSBy/#~AK'/K8M!x V;flL6`I/na#9C7l@l>g+Mծ!FCAKBPX s1QY6PKmHIV<>Z$҈[)(ECBuT;[e1_- XukbدNe$=z8}5'p@K%tBQqNJY0v9jG*(:Y=RX)>wzd >z/*ul@gtAzbo2啳葰08~9HeC?gspn-潝)pdv;+V;*pFR=򲺢Mr+.7(DR5d5 -pzVFk+)-(&2y?= t[-ueT%sJ#޹De 'R_jd2%܎ViA=wG"3z%&'V|okړ \YH)(kpD岧Eq0RǦ$y f.aVXs֜[ qFoSBwWL'EBIlk-Uq)OYO.ذ.v Fjh*k$"&x!"Q{;#JSi2*mki=gdEu͸jebz u~ߝ*[ѾzUH E,UCF@c,,Z d`g؜G긐_\hu迌Av+*p`l"eky,cjֲro oyhHpIdh.( c.h{SgT%|TĮ";q/pf)Paޡc+}ՃGPf0[9<.WѝR3M^i6 p?[,TeqdA=jQkԻUݚ^Z.a/'QXi6ܻ 5ne_B!"X;ђ=f ghkjV}!hjop͈ᩗ506F\ K6?,/ " 6):Gx*oHj_}%"_ax"wñjZMnY0v]ۏUQt)gp112n>|K:o—KX@ur+^X=t^C_.njՔA)2`5 _ ND)_M9'\8OoL_Kb{_YTRKJ!/13q{ ޾*=Al1؀ \{aƹ 7B"aIN}!u 7]e" :A˗=*,nS_,& 3KIۚǢr}~l/z \|FLu΂TLG Ng"1|9UĀ[&R$aTk |ߒ iJVm _AAf`&!X]GH MP9?VL;^\a!M( U1-ML@+@]E2;`ƫ8o XѥT\܃4[ҦSLn.c*7HA[/[LMթG)mKB|TzdDes .\Ji+Z v/(vFJX11/T;Xǘ;z۪8a.n3 zze%͛q7!&h <*oL\D'qOnZD1dbk.!ch/#A3"GC)f`s֟uq:d)72?јz8|_..6P=^<7t) o1pG"HfxHԑ}^ȯR@N2aE\>t]:$Mᛉu ]ۀpCjZ삔MG.̛XXNsMO7&`ޣzMG~>HӚֱ74rt8q}seygOynh(aFKF6_h-NvJRļ~p86K; \qL=OE1 Ogf=31;y1Q5^x6) % ;( :೦Z Q*a$3>׾?tADP04\9`.>Gb/yL{Ч05SxxQ *cr (%HiU/ rS\V/]lQgr}t&G-[n?f2׬6bcsSe LEh)=bz-c[gke͓7<',^W]wmnQIfQ\ FA_ö3AHnT.AH nA56 &ZWOe[ݟWn>8 RMؿp|1s5h sLjUtUN[l/2`$.XwVQS4^gRn5]37iGjj'fݵKw;72Tn6BIѓ1~ztCޒjH<Д0/Ks̷AwvfrP:0( JCLY f =JvEoX.hM {2GchP.><h2mp~sa(FxRA@{j. ;٣Cc~o.z4yX-Fٌ=\dhK8-`oΔB-N[)F=ǹN-_\ͥ,][\KQȅZm;c;v'C%!A?;IHaȊC_VX ,$Ee7j6mFrY+4ʯ2~u5 R.͆5 mҠwZkH`QI_5lܝ@ ՝ztGN!~ &1Fz{Q 2x]w$'hĀخNacOԴ8nbWQv"\瓫iσ\َT|xDWN%DB@׊'ʤ澣.P 'i<T+[pdI{8H`ÒRktnVlGZ+S+k%ӿ؜2zLg4e1NnqN.vU"A_gU&$ |ZUVB,s/Ԭl?W0ݧ<Ec&t{+U ^YvϹ"3k z6p`>_݊"n<\+O G*a¤#2R+H7,*>K]8,1Đ?UT^Ҫe sT{LoPvH -I\>ko 韏N3tgQ]u_!1oGKZXD!"I+hTNWQn IX&wրho\G5Qh<'Lt~-2S.)9QԈCnϖ o,h}jRԀo0F6`Fw,T;X!$1KaXͤHU,bp"3zS>R*xBSOKH(I2jԡȕu4@i;j]G:!L=oɲixXcLx{"$uԔr;nvI9({OglMzۋ.-d-&);1nU5GZ9vZƋ)p]]~WUY4q&Va޾pE2 dG ҥ;GX/Lm _6'M_>GMz}dr$׏˵,DX]"z ?2  S`QL,r|l;ɰ S#q;9!bCxh$\VYyl'j M!wʣk׭Bͻ[Pc5$CрI]t{ؤCfG%q k|LcG䩵S٦,t׮en;1PR;*oz0 iXn\)g^Qy8MUҝc5硭} k/ޅA^Fb0+%;;_e|Yt,t#ǥc6&ϛPs9Lli\>H(]9'uE:f#C0em/!7e~+x@|!gիpuL(VV&æq1[tCxf#I!}@qa9cs6a.vNҬf|Ez/bW~Z&42~y0e&Yn]<ӔkHCUGݨ)<YMnP/x` =t2I+Bwq!حJ4)IETl8Ĺa((`.%u>2%w pKq.HKtU ]! hqWK- x.pQԶJM9NŋPU&A߸wJӞK# ̶8_!޿vPok$f *B?c}xd6ښo7z&G N ꃈh9Ki*3b0Nxcæ uD C ?'67c_S^#%s<MKnVHxenW20WM 3wv|k; )Lʬd,I37՟Z#lّ̹rd'p"Jq! eVڼ|98/ش-}׽V7 פ<+ ͩY+( X(qN\m^[d[h* OZ=V;i}d,ySs'e%n_kGXF g R,@W,faJC nc&D}lB^hw:F5 SZ,U+]q4NˎV C#  X[ NRMi4v^-͏quUo.M#M5+]4fԆMVNW1)cԷEpV>{qݟK8j 7Τxjq2^?X%*_Aclv\%TO{vT0߸F>A"֍A8>jIUJƼ t+NEvwXOuXxWPTH؂)5-;z 8caN\>s Kݪ5lBoDWWLbO!?E(Ej;Yc&h}~@}Cr M5Hѱ:=pX7QVw25v!߽D~238<'$"wRCoxQx+- /z,YZQ¦[;L,_?YցGζU`І6aE@Ul<<_azIxFWRfU0/~4oe'n!b)ts [bv4 @rovY|<>щ/iCjZZg=dʮ#5FD浊AI~!od_84jUv/b XwL8O|P[ eQ07ĜN{+H`6& u܊*PFrځq>4nb,w?1Ng3|:;l|cna>|>#X )!d76:Իy;K[_51=e h å$<4LOnPF- `hP#ҭO;0} RW'8Fu >K?X}:T'aP+5;,t}`$thu KiBB jL¶qtTV׬Bk&}EiފctC*7>ڍ8ycpp1[욤^?h#'4L6H hEsDs.jWTgH$Rkb{?TpxN=ľX5f b/lu,g_όn ! ڃ.#G&.4l2!W|7}QYT~-bqf'W#Sv$MX ilMi5uHM2Y:#|'O.#l(A僁V}L*»'0GH6cZop2[ X|{Ï1D<̡hN.ay Ta!ET)0BH$\ǮPj13~@:{I_oGFxQ(r2Ls(j,vH\s1O[p{4kK"zu2IGhi(X&('ŷqZ>ݕݖW$0p 쵫{H9{N0g8ІwiJo/*tެ{>s,R=,IF(?Ļw#KXӯ4_W"o͈5PWdEtčG˙X`Rl W?.7/|fQG)XMZ6P@{XTWy*cW~Oq1)6qt/}ݣ.LB`53iJn09'xC7Gu:Ea!AS=Ǧ dC0屎Ĭ/{$ J[woSĔNTD=2eOJ;KCBUL_f̥( 8Pt/>V`e,il|X|#y`s Q`1=fuh),+>.GRwF3h$p|'[R@[F |×&N+<ߖ@%#+Z5Hn7r?P+[3 OySTH.>Ub"c^ R[jʬOCPmsq__FM?:VMēϊJVMĀt7;oXLkU o\-XCx8H'eԥ6+z\3%|s'i?0'Ns0!db"#3˲x>GP}% p꜋{ 7S_'W7ž῰ᡚ"TeQ̊e'L HP:e=mbKРJdRep{eə2&O|`vJ'A˨-e{Ki5n"zQ|m\=phK3DYj3vk#J~}ЭxF=ÊPy9dəs|8)cY{zyg'n5rhRkw3Ԭ$gwi8^;u[g"GGfe./imH׾JLyFmu3Lhs=l &H̍?fP6(SQzVxHZި6>bJ6RONfXw}Pp "2zp[Ru~|4e/oC^h6GE 2z+t!0ѯ!q O!Pla4";ZyQ"}kr#͟d7 $_i"~iU,Q? wd\_/؝#9>+1uKo9;d(axH iCؙ;T~̱wH v}^&X܍EԯX} P65ϡ_0HZ~2E}=Y^I٭NRPLl{.krYa\F_<;'28k@~x6O@@`UY`!jΦ#tSP~ ִNPӁ{n'!21ћ ' [&g oA .K{3W΁+Mଅqۃ RlYQX5_"I2SCFt9J3OTW$EKJ1J1Q.6PVD:+/y J>APvͣ4Z.M A}:(uHN̛_cK^Dpw U,imAEzFOH0VV#zZe:ݑ.JG]9Ђ2cSAz{$ZBe]SNB \'JfY떏a*.@0;'U27 T|)SpDĵOw߾ך%_4үbs>x. p6\)pQR`L[ZLκ0 |QFƗUC }A!AdR 6Tvc!7P{#{ƦY@7޴8۶Z0^ޘkJHа V߼\eQ614ttQZ[ciQPG|Ic /_rxE55|礬C,!x*FPFqF ޽wF tA># z?H4O8J"`Νa 7_g~99H 0DFs 4GxNP\̀IWOH2$w'[X91+&syn]D|%by^yuXe9Z_MtaYqn|a/@M ;rϫ bx V+7Q,#׋X!^mY]x0X6@})6dx3g&AzHG!E{Ӂ_cPpD\luoCqy CDbt}%]4|Qfܞ199Tqezʕl]~rEitsR;Z vw7h;8!+ᴅ1;&NumI(MQJF5 35Yi!7Y&F'G_$TC"q@2(NBs}FG_!銉@co" [lIUWM dA*snlO>uYzwXq1G&xG,y@~\Qrۓe mydR)T?7&`,~C/R ,/<]`}g6B7YYN8_?>c)+2h^UB~ƀg)]u_6:vV g{@+NPh[5z>G+ bUOCGZ%oԞy5:: Gt\l9tz|6Bq#PK;p{mV3ɃAZ~p޺V:.^Rw=Zx +O4;$ ؙwJ|c Zl `ّL(o寙hN۬WgYZ7zXZִF! 'r ]ŗXiɟ1˦r!cHkMeBd4=cYd"e@2\ۓ [PJ,݆1VQxNYQT&=lm˧ &{(=g.%g9'bIpf 2I*CZ[$. qvpby!bj I M!spwOx0{gxmGHg$]"̰ƨ9Lr%Q߉7^픊tU%jvU>*ND\;oQ"M-Md0@-o$DD?cVϐ#?,arTWS05YU:}z A人ZwK(V×y!`ZÏjFyP`8 õ0^ <)܏4Յ~6$ S/uOM͏=Z_w ~;X^IԕD dfY4oٓ}T| TU?VGRWMP$Q5.䢜;Pb~UK)'T89$%B뒶BF6Y7/thnuIhoK= R6LVl{}MĀ`M7 qxxO?{nJ^(qH2$l];4JV8 bB@+/2K<6pEmD%ڥ3{W ,mw22`]Ol U:}J@mYQ Q^g=l54hdOq(!trs^_uPWcKƅ-؏jjRQ7ٔ7vsT2 =pSnm֚&n*(lI6Yqڎ^`CHQWEUGU2kmUo0DD BYbkI e|w??5Gb8%0_1!61"܊9s3xE?V D#7r$|x%E1OAj*FLWk~QV2o.;&J4*㔀'֦L_> s>rsB=^6Z1GVBQ&X[zçޱH6FޠWEYo۔fJ.4i)e$*eM4D|_mMlz*lcpxKr]lǭ-W΋3XՑk}F)jKcAK8&rVjh{\F *tGeS(>t΂g~W M `6TmlPEsngW73y`^:M{ B4LZƿտ`!|8,!F_6Ӑ5Q|۠' ;z~9E:OfX˧_[ֵ)iú&敔!H-}Q)Һ2'%/6ňxRֿ{D43tyRc&msc2)+iH:&?67M EۧDLd <5~#̔N#6_DyX;kD0Wsؖr 2[uǮA'v'OpPM/c *de/T,*ƓSE IB&[$&Bq:I =-xZ [Lb.6,bԬ ++.I;y5z{ Cϕ +84Gks?Z@D9ݶuB㐑s7 n)୉wZmUW0"ޞlA:am,Џ6DHvZ .(!,zZr2n};@tZ%UR G 19S|G~G s6w6fmrfrHQ7y ?Xz E_;AAi\# 'Vh[] j#|t{R\f4NV/jd3a+!SB9#}!G79$)OYi#j,KNx\xHa0rsñՆz*!yD60qB*´yW@'͎Gfڨn% RG̵ #}CmJaɞMs39~?*c~ #L9Rˊjr?8MZct܏ Hۘ⍄$!ธn?T JYqHOȌ]M'i$)ŌegL g"ƈB)bc;"6DFhb{X+`Y6k3o,Vbfa JpKJUr }Fsڶ*垉pFrkbiߐV~]De{^M2,@0Wc~k |6c"v(D}'Z}Z;MQI6,Kb1{cpo=n#|P[q4I9EKa Ak2Oʴг]˄! ~ +<(.t]KRMI^ScUl][$H=~5vnR' M,PM&<*WIL:~Җ?}#3<rkcx&~ i9'N\W/#\;]8Ԟhp|d.Im eKc84IZ&Gr%ȏRwU^@'h(IHg2(5O97A yVXCifKF"`)&pu\S%{ <++}T&17ׯ*'5#īHSDhMN^Mq 44 rfIȏ}*8C) f}owTƒtd(6CFT3PDnvs]+d]ooVw?z\u|Mwp7_ ĎOCG{.էd9wop)?(ƂY'qrDZB.mNx;u 9:fD{2̚?Ũȵ ES h_"J TԭDj+!"~]]柉IvS_ @5)e>9 ? 8#ޮ@c;b~îlۘ¡"|U) άH7.@XNhEK>@3ScWB&aBB銊lHN=WHB+r(+$ϏB=ܖv6eCQ{7o.5!ʔ:5r!IhP~']$Ӣ:XkRHțaNczܭr<< W+$9F>tL\0u#Y9R6>oa!#*[bL1ѳNiQX:Ñl! yL(*涽t]mi5e v03ְ;CBsnZ|ibۖ*Tr^T'z +>(DƌaQyK덝LpH)p9$_׭}E/vk5Nq2eWx\j# 4Z4gBM)ky-Rэ0duZ$B۹EМ)4# ~G:[+*V,c+X +B-8UcɾF\Tڢ4&idB͢mT@!Qs>^(NxS<-1{*x[%^(F C8Λr| F?t򩄍&jҚ,Ksʱ7៛6}wPNhjW A(>.\N#)MI)sedIȿbfY9]VB j_؛>[]VpIe|O2^h XTzք k~j&10|я-WPMݭ?$CH0_ˎxtpFG(q¸tp\ IfKaTM`zIt@[AԮ(̥k &6ЬGNC]!ͺvx>>gKy2m Oӡ&Ŭ8߆,(ޏv,fX]ٰ'dx}AFCh77RX3!d 6k'B`bu")4wP3C<E(O=l"͏fiZil}cYF9ÀV%[F˟*2m2r.^]Zi_ђPs;j#rRh>O7{(Z_._m8n:~QYSF]xd’$u!!wZ%t]/ECϙ4fIk(#NRCM1&d*@ Jɳ-^Пo&]b䌄?ad5kq$`vR9R(\[7jfv-=+}VB^.ëT'`˝ QH&~6qQs,"lәt%bhGlLl̐ef'uh̓rdkJi*y 5T jc3]M2UD=i/G0eSmhЛO`y[#Dً%z쀧W~_ Pr4dXX(`!:w=>lAAk lU#soAjkp x e~rY 2}jF4lpKCL|%∠KB@%/AEĞ.B4Q?N8>MSWp_:C)^*T/ zgW YSe$TxfҙΨTvoCȪI\#ȕs4d#ƆS !"rD-` Q[}GTs"2@ĕr}gB1Wv< x98𵝦e%t=!Hyraw{5ؘr&@5+8hFt5EMQ6Δ^a&%`ħ Szlkx\܅"]|J" RzI[*''v;ޫr5&>*%K*4Η= `F-<}Q2:/^dz+z|òu6>Yt=l_S+By#+_vADt(1 wfaoRz3$@Т&0.]0_#%fTWP tZM݆9[v2Kqip$Bdt>"Nn =vHcnMya4<e‹5nCndD0]־?5E?Ζ'>ݚUA4bGiɭh+?N߳hYxwNk*=EsJ{M+Cnw{\?}ޞ.M A92^<Ί+ςV`IQ( ,脏ΜR eB7DVɦlڇ_dXd"|9ڏ ??XF/VMN/}clwp*JPB2[:kn-LLyJB/j}3w<w2U$[iNmM}rrtq*4N"XBL"޳3@β{IBՎQ i}0'E H|Օrr _ 2l< Ȗ*z_Q5T]V!v\a0`C WLUXob.Y`7!Pu&:@3!eDj"+w WwR -sTzbK =%%}!l.wCR֘*yR3G>ի4`]Ϟ"[uEuC _#Igcl=hM *W?t\i gc*80ť eR.~RUO:s_altk DLj4uٷ[47x"sگn\% &^=`UYv{rjKy XX 8;Jd1Uh{޶\7.WH%DPj:1"0>c0^#O ]ynڡ] 9{vh]Q-7#qrEC~9۸2{R7[+ _gh_.-|.]ɮx9Nt[m޴Wʹne!Xyj82eK O j tX: C4J>]|Ph゚yF9n .{]wDJx礯)ߍ"iflx08'XzV'aqV)j^㲁nԮHwFeH6!ǵk(LH–#:'*1 x_RKm\=G `Zҩ]{ <6bm"|(^K ,=Gпx7R("MJat)d{TO ,%R͓f.[b\=CMv_oIUvi!k^ T3EMˊ#w_ usd9I5':%s^s5v V8fPb*3K32k£%#<>ow>E]wwAcSȲ)kƸr9 =I} m7WL3^%"|`y z Jg F|sue i3DpÖ=Ƿm[Wj.xI OI;;9LP9WGP KWE7:]Lqre= Sɼj:?AwX.hq=f)1߀!nkXi/Kd7ϑ iG3w9 VPMp`p G? 2X^B@q'# 'aj [3 V(yA oX]2}öPHtĝ}ߔN v]^rcrWDp;l.YzvNӷ9P5w W8 N(k})$Y,K|Ѓ8jKHm*[|x|=jO1c)6eWWWR㪲#Ka *xpP\)̬e-.)pYq4QhqԂ44 (Y% W1V3یO4|M04K>6T׷r-DnYH}!MPN7$ƨyʰbvan ?n^ F5 qLSN+mY c u \+X^ka:eK1G@kSݵ,Wk3rw֎S/čʬF2x6gǮRDP(. Xͧ|d(_>7ѹY?>8H4wS] ]ϐx$Ze]Hatf?Uۧuː2yg(wL7CxlH3pOkzǔ?1"gmO;+aW^MJsj%̕L-^i?kv^kr(Gf֎iuIx;>|DQi*wy)NrGRMֶH}(| !?ɇ),㺵sZMBQNFLOse;lst s9d R4ML=+X -u {V2}ƢΟ<"Nl)t>\+U2&)HUGh?WUɄc*Eo % ~A^B w#Oe0CJ}7)89ZU[W9J曐<-xn,HX*,Ӥ rź@hh4)?IUMzH!#B1x쳻}3%D's(mѣC}?[ pnhr ^rL%TcmJcM'F#l:/|iT, 58 xF؉dMykWcȧ_CwEF<.,^rB]Z>id{rVCmhZ1ܞV=vPh|*׾1RmRcVNO>5sx5%:c-]B>-7XD`ZyՊshtԛ5Y ZKIbͪ%NԛPs"v07 d~^}hؖHFW#*Db*~8w^Kժ6nõ.D-{2,T㋹wH' rauqJ"|sw(9כŀ}ȹBbB].+;rcVٽRĚz/jf&2:|IU%B0 h Z*"F@FcBW\ Lf2;!| Q%Ҍo![]@AK3Ȥ?Ftl7Xz@W@;s"+Ib|D+?aa9[<XIcIA P.neyU\mJ1kw׎^f FdXOZBYTBif1OZo/jq*1mD DGY_ΡFk̍ootwj}ZylW9 rSȭVS9ϡֆ& T ߌY8P%NY(qR@4?̥r{]d {ʘ E5?`Yxn^nXl'gNhL! )f`?. -]JiʔD9tQ"_-q;DhRLRմ?<]CqH3B)+`f&ߵTQ^dvQJ-f;c!ttPn# k[T+IM]` ?iB}}VIJDa0u<M͚tMÏ:$OT"Z,: E{NkngO}[*WHn/i*$g!چ̯$:X=@Hڨ;%ndE!#O-JcGcq%i`3 Y#hE;8B]WAïOYKi0)5vI{b9i̞AUEc6?ޓP;-wcMFE*ɵs݁3.qovLj0x!g&}jخ.MC|ZTzyoYVF^"|YN1O~n2S=R7ED~eÐbii t)nDblnQ͐VτQDץiNI -,b]'@1 l/3BFU4N X2mN8$BбBLeGlsEb=ep"Z ؠViϬ%]|O)=_uhA^Wz^Zy:\.[XsVO3.`8-@p㞕 uة49p|~{')7[Y?5# }%MQKkŒ9S]*3{`i$o7ڽh8 F?Cv <~3d-BtC7JC'Z"Y@ w^RE׬k"Aߍv]K6tUB;7n78a :s<׿9W0'v|o3YҢhS'apgiиM\lɨ&.|U͖^ ղs`^4*Q/b@2"7}Uy8g)>Lm9i*R'0iB-w[3ͽ+Cmr#ܒE?#7DfUu=2nͥ.:3.1q_%ߩڮL+6"x0 I(qZTS#0zM6LqHIB 8˕9_Aöijzθg :/(eIiUOz1Eg<׎%>s\A&P2U>yY%qX9ȯފ59xM?,YDAs"f)mB3F.}EJUH/]qq/ag=NɉCF7獤$(%lf̷;&4C+1o?K[+@qAY-| ۃaNp[;ʼneliudbƔzROGK6 Ⓑ8P|ָ^Ѡxupv)ٌApkamn`g Z}$_V *3}_ ڍaX<&l&<ew4jXPI^¸Kr&)<`gU,%Sefe;гt|='Y^-g FZdYAOt+"ңpRrV)"K/\VTŝ߁lY 'oM!6쬐3D+N|#<#"zӎ>^ǃ_d2F,*RsxY\(iE@d&-eoPi?p;+]e.Qyeeu)4$?|l.*pծɞĹEG8ݥ?KM1}oGhLEn`1 j Iav7STHd A٪fh; l]@.؍E`H&&6eOk3,ɼ Ҩqp߆ p]T;HmݨRKb( +}NO/CM 9T@.\ሪw!?Ok^@@I;6cy3< lT{C*=x%ahL]E5(YK[Qr0⮣9$lIQ;k}Bj@lq+X'7(NQ4:ncXm+sq>u>MepO&| ]·z:DŽU\\9:c8Ju0\qäU|[jƈ L3dVSd6;[5~#ulT\=k x"W=jXaVrQkA}VDvzcDKx V8zV.~DB60?+ĚGƌv3 tw O6oLYn]”AL6=dHFvתN=~ #|&gcQe[+I ixore16NlHvې}ʣ4u? ˏcJKKjqm=~s=` L9HjN*{/B!6tn7oe+ѤmD·=$u<[!7(q2^Aӆy^V ׋ c;QT@ sUWXex iIrLO'Sg3dR>&rv3>}KzMlNiHbtuaĈP=y9E5W0&nV#Vbk!]YF:2Rvr3umL]hh]|}b5ޏ"v˔.@xB3Ԅ; hk%:mG5"f},* :`#\ HNܝ#kYq@P0^k%,RN5 nP< wV2tycVB{},LK<#蠚0q3g+>5ڣ.N}&\/Mg4DKlG+=žx9$eQbsha`FX"OFk6[شTSʧt1A੼VXZ؆Jx/Mdz/Ռ.x!{?[@t*z5T_w(6MuTpdpA'b_3dVhZ [̚ܐإ"#Y.AD!w%8Pu; ʫaP^:OFx:́--lWLC.7q/(\9 醼 tL42g*@<}&TAk&?ПDyGE&( WGխѬgWgXRS:[^Tyg`׳n!gqv&kVWO3/*lA3ݹ@ W>Ѫ ۩ڣem1ZJ@zDэ9Fў8ijآ ;7 $}Oc+2~+cЏUtxz9ўzr14 !I|R`#%w5ͻ@b֋b+_+2%B5n Rrĉ%akDn+ƅDP`fk6Y7[Yuy1.m1FS$ugD{f;;`7;:iwLbU~TOJr6hn7rL*-%oqQb2d\:ϔ+cejɘ۳䞟OE!!M)#*:S9Dp.^S)]醳QE ^(iQBnc3gnnVe(BGDhk\_O~Y ?E|"_żA]lcSNAKU?xfğ6C> u&,XgEuz]N]+BABEum$|I:`*k쉊H+|NfB ͟') k>t?_GEH Й'0Rmo?)'Ǹ?,lPԛLwm2v[DQ*Y9JDk6i$oa#U&K$«v[TgdP%ܜع9׿%(%3/k{EMqW`EDj">#y,1pM?zf^q}~_ Y׶caX!3q2q]#"|3,T8Kc[>[y~wEBT*XG $\D=G| j逑i1M8Ĕһ^Ni4dY"9dCj|f]ӿoG6Y҃ yMIrUBeJ;ڛ4H3zӵj,+NzRt!]̇jLS1g)b /m^W_+׃T]ONڳ7N9ʻbɡS+z9vq6v$PѯV3쀾$eGpp@[gi bźЯo+g~ͳumPA7y@Yn2J4^T&Qph29~_gv;NTM%QykB\&?!k1R1uteWHޑ9qBxL=unJ{#RJc 8Q !gPO?j kCsUc }63'g Iq%Đ7C˯wsZ,z ]MinGk!kꗭXJ¬% )IA@zXgAfM ݺbbvFܔL|bJXS}lW1D G|̀d"<}~kdkBfv옌mp Σ+3wY50Qڑ**ASQ'"|F+~Q^Yy4Lc ⽪5ѡ}!RIY$fL ؂EZ*q:Wfe^q!ZB&Y+:6̃LSalr`~=܊,5𐜽u|pXFÝZӫf5@pi1NY] ,AεqI%D*V^!!ݪ\voׯ`'嘡ȼˏ"%j<:rD8ջ;,QrRXh,jIeNC]+>Ù F@cJ9ݶƶ]ưz@Fk~6]j=zo-V8\/[(PvՏE(Bg#¯!-bX:ij(Au *!Z#QG4Oj]ya@' =-& GkOEʐ6t/;4(3pNl c)sJfhnmR# U$~H/όxxX`2 r5Wk2G8 :kLDkwHa,ap߾` ʳWjEQ>΂LPPͯH5%g(O(M/KɁ#McKW} =^_2%B-vr7?DBMpXt 9TXA;Xr|X.߱W%,#8ФyMPQ]ęa1aT [ʶl%?N2˖OϞ`*5RT-wo`1`} A:VF~M=a>/$ӳVt@ؗKUdaJ0nktZ4˳'a E f*iClY  uiD ;,9`ڷdʤzA@AgRsN7SX)z(D"ml#91Y"``TI߈.~($T&(v_ IZ07[7#(^x--,0EZ$]sEyHj~c3 ׸0߻&+ _-4~\y|6Z *0/}O g:,JuzSyhsZ{ 2)+5*B=cU++h em,i$ˁ]2W u`<Wgz |+lɇ {(@R٩LQ!7/Bj"!Zqf> E<*ģsv[:IMvлۓQAx ;vcmtP+X,Cjg)/UdR xW@:_9֔|:ݘkkye%99T6¦!OR9s`Jtpfk* *1)V B`0;%o=Y?.=:sɅ#}ɪH1`Z |:[d#aKe1BjjHCܟޏ櫝5:P8!έfggȺYCPѓ.!_8L 6wɋM%Q"aք}t?^tʄ]L8d?j0s<Y.ϕ*IJc@Y) ;9zUt+9գ;V}*R^QZ>b{XǪ@/UA2*d_?/X'?P4ydg-ZU.k`+w`m3J@ge > A&L+e[HJ0MץȑQԺ"׭.3Vv`Z IJ5 >C:#4xtR?-gj7fBWbW#WdzGqg |%Pv(2s>Co NutdǑ1|hGX֮YqrTǖt'![ȒgsRXAxDsۺ 蠒pg/d|tpJzӟsm\USL`ۥv wR~aҷMX* g}Opa,φ6KNrI+.' Qk"P+*pdsZxb$٩F ҡXi4hfOsUTM`gQBhղ#$t,4Mmm? x_L+ai%i- an !3NɔFj>;M!J~M*( -_$Y-2F\^wQ%Ne>\#GQ0Ʌ&I7y`~^~^s.'S HC 'P!,l%Ch(W,6V#G܍cI *G|(<8xalsg0 Q6,%wڧl,"0u37- Ʃc"F?x$ {V6-\N).4n&;ь%A,x|PYu1$OWŲ2^`那f>:J0S+j5Be%cG#O& ' r4Bz5ǓzT hNjc9_gF<9Y4 Hl1VV\V4h_}6(K6*qWS.r fddɡ\*5 h9̔k7OĴNU~Un!Z .W+\Fi%%.sjEHƨgpp ɨl n `V nkH+Oqޤ]e<|hJ\ jSo#N=tTm $j/LԵZ$T57v/ Ylŕ;JlhO{`Ig{ohKz#&C_AWF9_ÔO:>C A@lD"ɲnx՛Id >Z͍}\RY'1-ۼ@[*׷.̶F/?mR4gS6߉ EfnQpM2 esO507d ޮ`vJ,-=~dtXH!kHk]h0c9_R/]F6 UU骊 T R9 LA Ps[`Y1K.G 0nc!Z!f0c>9oP?U[5kk[]Y&mأX3=PrAI1[חS>09D)wW0ye}j8wQrs^ l1I%&i^zD~#+|c4@ 7($vFxu4B;O%qSBp euqLlw:etƏ+ڄ2_PijY {l>.QLA!*HRa,~[^4{@@'{,V#&M|Ft?uho3 {8F*VۣđP@/0n" QE Eo6oaӢ/xsEia=U*p4ԋHȓjF[۴ăWy!3~Ȱ}ӂȾ딌ue5?KyKϬ­| L{DNhU)^ttoΑ"`؂R%Ɖ;)m?sU؃R35R33k*AѽxGN=DngӬxI<†+CH \/(VJxm:Anj&#pXs/dc*XI4\lrcSy|JqGKk6cVxvn>yk, HNa?j|p[ç}ԃAOՈ"]K}hI}KgxbYU)⧚).wlq5D ǴȀ|cV13b+ qI|lT[h"$d^uVDSqYI0 S;$Ӌ/2"?w\jWAldfD/KPĵD("E7آiHSPVLȘPL[WUa Hcfi m$ U #7%.ϽXo /x+wW-,vzȜRnZ!bFm^i^6$͆n4;cp17t\sE~Jbn|DޘCѴ֮+c ozQžcEtaYCR3/X6 aʍdzsÓ@q .br0C%"|4gg]Gco*UWMɝvWI[ 3@ν$A86dXt(6O) ,NX#'63@, cN0ꑰ> e15'( ,W^~lT3~!l*`OK#4$kqVZ`/|Ҫ຤4?Faɾau/l1t mVBӾxތ!:䪾K^NT EH|GB?˾Uh^eֈMe0|cC+>SF H;;ݘГ7Fٙ l%6&z/OZ"̀f:^O &q7 6fq1I-FzfRELr/u̾]h!cs DZ:TcI,Xqd%2xlIa9Vx.]11q$ /J&I;E, VM=ܩߨf @JV3rkcP"`K&I_9Sb\`P :%hjE)Z +j }a0*7/AV@-YrXXxQֳJVKoձ]ńVouCK (gaN:5w1*'@}tË#+zOqICťضh5;5,lQ/=m{x8ٔZ.׻cwZس`ZQ ee'k']uAhw~px Ɔwy_ITᔏ[dIw*9lwecuMk6>חy@-@d4&WWQrg؄Ίv|ߚ92#HcDsEU :7eS ԠwNynP/ͮlA!mu60*%¬7/=)Ip{uoݿi>-W`ⲁeZ}|+vz >Gn gcs8'i"|D\YkǓ>:I#*#9eRBlo.AhJXH=UC9jWh)nAr RD*vXM\ߌOl[F9PsBme%#{1+-{֜S|-d%K祝9O¿L@gMEµ| u9׳Ab|䖊Nr+ s>s7 pwK~)0ˇ06`U2RgTNܫ@)#HI(ALfI^T`|N>;' wtހDr?Hk$Xp "i0LLAJxBqPng#PlD+% .Ѱ@+:hRcd|W &Tpv-K"(7Ё$")a IF¡.ŦQ:X)\^\۸C80b[ƈMIX\Iw|;by`rXͤf|lq@*L?ش>^:gi3 pJ).К]7~-ِWTr9XA~6i`@֫Vq~n2^ _cmDwKBOCML8"4O<&&7sXV(1[-ud`ͽuk]j&'OX8XmDO]udFO6A}\U<НM8Ǿ3VjP\P%ise|?Q_;Rj0w*.=67T6瘽w8.|#/v,[7SDU ^pz1cuƸ1;NcWWaS;"UdMLb"Hd$Аm.Njè%&e?y7?x -pLd(We f5S,uxtWv:LTϺrǁ$fW? &ڡvg ]of'0q:ϟVzzIty)C"#b3iMkM$΄*f*X<0XTyP0WaIXvti슆mBҢ'iReV2vNo7txZ ԎjS`?H~{W)WTxt>3rMgLIP;\{1 [%l~F,FE?W4hj.jala)סQ\~:E Maj93Y!F_74^0  b0uY{- ׎(ėHڵvW:@,Xݒ)- k YkPc1T^?GbP[b}rKlA5uCk^l#c5JR8uNmV|_`y O*m\`; #$rFsHQ&gv1j:~3bnx{5b8ٔbZ] vA0nL}nB9ߪׁͼ Iԋ͐d1ɭfV?{GCӯiiQV%ك(kouYqGaALPZc<;{A"ż`uvVe<)*7иec]쌓ȅtH<]2, hMCFz0 3nʖym|D@ۙ2KXPv$ŖƥڒCdZD[b>2dUrV"๾gYZb623f62441ef6e951d0d6001425c4067c80f42512c82039eb3757b51a1431a9f137ac66d6aba80c0 3c598196b8edb81762927ef1907cc30b566240326180adc37e2856715290f4279001515cae6992f4