SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 <\l ]S CakeML:threads=4elapsed=614.243cpu=1830.256gc=412.532factor=2.987zXZִF! f]ŗXf[&Cݬ[mpsv:.$CL_݆ F&p+-u@#ahZI1T/1x;M}ڟE'&.Erad/;c;qOLCG+#l*&I0iNF?W&уـsUmݱof`1𡸣馺HkS3T=$~P'zLS,BzoX<^ Je@Shv\;i٢Jg #|+3|vz`Ayuf@ _e2L+ɯ Y+u FA9 㣐֭/S!k,][/boh ^#kKŔbh)w>.?Үf3 %|-Ch%Sb0.ȪYaUW]_/;U/H"pѽXu|18O/<*"k'1p/9tbNUHu6ż7!]\EoX2ܨ]M.5Cl=< ADLR'8:zr}ZoM6ϊ L0`[[%dPNuvVY HkmB({ZP>ނQн}CM]j9=zd:4ҏ9ژpMa U`'K=Gi trtG,JO7Y̢ l$%|0G̨Ү,IRgUklyc 7hr=:Ấ[斿/ݢIU0@"[wzLB.OҊ{F#ov6Hm,5ussevq ?VR/ך*DwZcnvbV+c#w?<Kn62ӥ ev~Yy|m)JmNsf(\(/@U4N_ ҡR+2 ~\^|_=JtKiHsALVj;knT#iW^yvxQ! 쑠aKtx_Q*,4xq> $LQMu,7~ȅnJ7=mnkL%l~ʝm j§ME~y7 /F/.j ;/&)#tMjJZ9&^ ڐ;\c*~j3tV,ٜE1/!] ˭TSd fcv`s# _y"d{E8s qxAj{$y@<,ClU[ >b "n,:‚n>HZZ^T[lB5ʽKfUEEY"@k}l2~c)%p9Ӽux~['l&Wpe;I|s¨&hK+Ih2 I!ܺ{ g9a f:+yKJmwn1D7k&8,>QæIojٻȳSzt6RI*XGFǝ ȯ;s*= ptAHLG%d?'XTա[B(v:ƗL]ԸsC\ŴiN\jCAx7gJP)4N\Q3up'Aـᨖ0 dE3$Nkr@siXw/<ҤXW魶B _CƳ]^Z[lժk?$v+ F@mzH@a E^4Njg:˩vQ6s]BlJA"Jq>e~";|JfŏʔXF}rz*vFxa/ߑ>Kr#T|QlH=e .GG)xY LU'}]{QfF.r " %o<{-2AEr54clQհ d= {LGp1`"CdێvQW?Ģv6reWd. 81)T^7PL]W|P >ZV]Ffn=x{a#dGDq){c8IB,=v%/E7j mmD+[ ;#8#3N $qUrh +Q`{МEpժiR YEPvC"Xq?DT;^ZR"Ȧ%L0DjaFC K6i?z w=<ʗ]A+63Ii|폱. <9D^ %EMˬ@ MТO1AK\Ig4っjLԒ}8W|ߢw0@Yc7 ԶdҸyO=oSTCn*F~ZUdU]62!J72+[b{ݦv2A*3+=稬M*QoD’m6 fd6|9Wm^3gA玲(9uNiD +؅UþǺ)aL= keBFT+c0`SD*bh3zԣIȂnYou:wR=-tԶ1'$D|s|9hr}Pg Z4Mcq{lw&[~رaCb^2A!>OoRd x?^hmhtS}r}^&2Bn.\r3Mjm9a!1~찄yVzag.OߞzόUoZ̑#Q} m< ٍe.ƽɆ;NL;,bF`}W>JHzlr;աw4~$B7, N1p+%gWx=l+NA7^}y5< vEG)F]FX[$?# XLd[p/$Afѓ0[ֱvehg9r52a9˪bh<&޷:?Vw1NSx%di%gtcKd3W]E| `KiPeOb2$ O{;opvFffM>C[گrd\3Y} kIEj[`]r5WWpX$ Wn I %k"eV$d|JioSQ~V\ ."nڄj!7Gr{rϥY+}76f`PCDWFDURc. S37'"67| dylwvUGkon%"Qs+ 0P'%S@?V=/ v{=CBo>n K~ ݈}Ggv\`;Q ^ѵGH԰A/yUg)%3Ț-dbb\Rqqi9&rb9wU70k2y걫[ 8 \0@Ow5Ng,La:e H5*#Э.HX`*a Iv ^cF$"\8S8%GV`F:(FV8ylˤ+֝p_P琛,#\q'y2). "Ic$;U_V: Dd9rGQ^*G>_:D5PJ7M[1(gEרOAmkﲼS] _ET K#K2V|C'>k܍*s7BP_-fTߥYo޳:]*/!:1uZR̳қi>j_]&8S23gT][?PY>R W\ erWm +4j^g F+VW͓Y79me; Ţr|[Grݝr3(.,Ϸ~6cg(:37CC )0D]*Hyt#Q HNҤ~;9P\9/e̳b-YTΦCr)lR?vLZ~EP&2qx&@/$bf^ _;],`N5Z/סAVkЯ' I|+@$*vЄ:?9#5>Gg%ȒK+tc pbDh p[e{@o},Xs1yC=xNjz6Ѿ:kZmF#=֐ O؉I1>>RC@kR4ROLxr9NTزZk& _/E h`RI șHDZX[eChN׹:LVr|WaDz8qK>="g3f$cuƿ6CC~vْ֖?$d"Y=iqbf+L4V'cL:c>:}GΏ, O1:@"ѥ .LyjF)\Yz^NK-HZT ^)m[jXn}X{ʴ!u\j3UdF«0-X߿ = Pa aq_h#"onb&wM~ML/x`hgiR-s+ ]Y%Únˈn(y$Q=$cxj7 T̬(6M&KYToR&43ș 󊻄BOJ-}{,ґDԃu3GC"P)F0GP  ۺ2/J=5ٹ}dk{.jfAoIT?NzmZ@OfytX*¤Tv6?ETB(b3 <5W+Zsċ\KM  ^;;dN짦ضqm~g9|U~vuJCۏpXvփm)zwAtgf+"Œ'搾B,.ız߱"F@%~+}2}PD\^@ч5&Vi, $1|jӃ'O4y-L^v/C"cF}Юܔ)F uq,zdi2 μj~3@J\`vVmW6՛7F?Zx%L? - d$E4d/DrA{J7*]z+MGhR֛k"$=0,h6H@ k'0'fr] Ӹ, ٢9_U[Z<uؚ)G_q% Y.N+LMl'{8)h|yK$e`~ r\y}@m' P'vI15ƇPW1")uNj;0/ ")h^*)sQ]zc_/db-cs`2 !CEnAhՏb0$9tIppp,5DNTB۶9oTI9EZ'C%6du99\#:`үXjo,_!<<u{^-@a4!F-j`ḧ0&HNН;Wiz(1hH[n3`-@A@Þx]^top,t^ ѯbvc%:A ByE[MIGk/;!"džN6~,> ;j4U q&`!/8u(Zbv+R, Cw6S{?wdbN٧C&k0ˋ5`r`T;8b2D666/!a " ^d1e(oQ>Ė@la?(0RmJO\;n2n Θʿ#+ Skl$ e5(5$ P̵AkpyT_C@Qr1,K/q%0),3\a_+_254Va<IXS H1uӋ̫P}'4eMSUd/:c&8䵌 $ rL'!~)}Rཉʂ𤔅hPg}Y߰uB"T["K\}P+vU, 3tvc-`Etp~i ~c] ^oFlQroDO~٨/L9`>4A l>.Hc:h 2ZMG-}h0AkxY棴{`X{sSM)lg "DUb$&LƆ6қmLЌ S$,mb$ӄ .ύ29!d`?<ՁaAuΫp{z`Ͳ=CVlWPNGGLN#\ɓ=l`*/D t@OڧNkJ-˟v@ dg;I1@uL v?̪q-€-?>:VhSjӭ2iQ3r|e p<iEjHtz'=ܬCB^*'˚mwz Cʼn`!R;! -N̉mMkE+ N[b19IY6O]qֶ.J@yFX -W::NPis)"X?w8Anq[-kbe  0p]qgYZ7zXZִF! Ks9]ŗXi%B4! y1!QD<ϫ4]b5X;0rH}gX"}G2bN`U4F~۾2@A'Ԟ s/ "}5Vû-F&ʾ_m?ܙݮ"y8S'q -]fRi:wp g띺@psgO独ԣrC }!1_hyyWG2 {*!**\ 6K8"8X~%iC?3VIqae\)<{K^A鑞O-,_.+.rHE3:q7Yy)\GAKf~qي΍=7M~4ܥMxfۋ̪s1,1³ftfyCid$YDcXmA܂1,Xj&N?b#^sA]S At 5KZ.5rcO ][G{qS[޻KGjp0^¹|Ǫ=2wDAI/{62voTⴶ!T6 &p rE螺Qe#\>Œ?:P=MT)0Wcdn8qJyKvEš]r0?_j FVƦf_sYzu^;`~ Ei YF] = C5'Iq?{h#?񌤙 ȣЩn[=Q=':29y!x3A-i}݁=P$zf ?'_ڏ-BOe;L䮩O a 5 S(,iGu(Ch_R Py8۪<{ xu!~TO׋PUDGm|t%@FA= f]kf݄U%R;{k]׏sbfx7e-m5η m9Ⱦߴԗy 62Ɓ[jZu3e,mG9]* Ί2xt>cf)|917 5,^BfEv-}昼1w̫qv!-G-gInW-BT^n }T1{]I! WZt7M@4hq"Sr XZꆄfeS4nfQc\Y<=dV1IW5Y?~1:Ip*,/E"c` '7ր^<v6RZOkBW)!} * mP 4jDCьJ* LS'ۍfs}\vfߤY2g9=0!|;i$^=I ĭaj7-铬@=F X<3nM)whQvǍvYFW2e[54$ۖC Wh 4l({_>bdPF⿰窲76GڠobRs꧝2j o*(J1m8{k2umcF #Ώ _~h7B峝a==QwWlNHSA]Pg~)692|.9$wn+Zm'.[SJs#B0:xMIdG08eY-QDGu l䋴e wyYISUS+ʔ[dL޼x82A(RgY&bFPPiP*e&CV HX[/F-M?)GZccAq@QhP<%f1]nC:l->2>%'WSnrDCTȻ~9(jLeRE-9Edи"iWŽx[@g!3#K^ 8{~ތ0tD[EFˆHKS;ˑŸcpk1c~uH 8 ZQcG,r%i(M깶Szl?w1=O{"Pߪ]zIjݚF鴎J4s l ]F19^S6D*-S;^TlZgS'j 31e˓oviTܤisP*uonC:zf&HNd2Åw_JBW~ !&W="a+i)cj mn`&D 420zK8Nsb!pfMƨdad%3>sMJSkȡl贴f⺎Rv2eaOmjV=Zg7 vFGx?TEP;tr}/SI*,6* wu4D`0B7u1AzG&n/ƛyF ܏6@1?6Y E0D*LY`r"Q儑Rt,дiۅ8Fy&)Yk31O'MJ6y5֯in07-0gaP|E3]lR\C6R)?F oG>wdicdE6ǎm.[*4{dMC*k3n9nt_(WNB0fN y1ð2zH}Ȇc޴pC:Vh1M帹iLr0iC7D+ֳej癝@._ɠsz=g!,@h`2Y)n^D71>CUj-B _i )9nPy8)`{ΐȰ)ɚ#uK,_фlصc2$iaxXlAK6x=) -_` y)A6JER3 naJOW. @zU\/!L$/8! Է·ĶEꑍ.rZ=Ql+Х)8gLů {S)$X.A_Nd!&+Ng Rܩc1G:.H $ S a~x^CA;.M,JB||eؚHq 嵊,jo5@m.}i|pޣ~ .8ar W{h Qc9L0\t~>Md(Y LT w6,@9p-"o"Nh,=~׼ZFoٙ/ |>oa_.j䚾4Q.u3"HN`Y8<=7+2^Mr_ o ƶE1B,H3:햶i9<Ӕ ͣWy<ܧ{ LnAPL[=&׀1TY|Z> \J&rw _uh INgZ'OM55.BXsT;I0Up۴,/M C8b cV|6MOO~ gJJďw\V OgdXrT>=fS ܎uIPc2fN U!&8ǣ?}v YIDe 2  xĢa >Žw 2x do{(m%fS^<-{kf"е b;LE6LFd\mLJ}}"c΂HDOM __?ȡuvB-%aŸ@⼐t>Pcӄ7b1깡wz p'dާ= Yuz|BOVCt6A=ѝQ4_"nPN`s`'ˍ5=8h䀇(WK`bcU}fކxr-dLUnK?P~XڕTtnö́p+TT>' N5x'n<r*1(OGr1(|t{%#:w8qh&NZox.VWLzMC+]B(ߙMZ{}=?ލ.4)mpNe:|fɍ/<۶XgZI>s|AUH|1{6šJܘ&t7P'd+!UXT!}xQ{:>SI/ $k{hUAQe>wb[Rc /3 w[`ejmU܅G<>@\a.X R7D#lV @}ME$6Tp,g?bbk#T',_W\Ew7pbҿO"a{gzBhI_ƤZ^RVݱ_[Ea agTyh aԃpGm7(SRHx#>oPsr!7؀x+-?X[b@'Z :]M$oUm_O w+TYx~Y2=t&B_/;?3 šBd10X'iJ >] +c~0[XI8[031q%,AjHGpF[^Cس+_ŋɁUG;"O.ohj~1= c\ ż[jPH5ar N9d9SjR;pˮOe"~;%0ɍ" %KιMᚧ_%SL thKޡu;BKPٍT1j!E}BnBh=|6)O3J<8@׏e`Օ6c0 |jѼ 6d9AĀW!C[D; nOۨ䁗3h,xs(Iah44_{R|sja.jN- P&9t0S{ LdlepA tp`-T܅:Yʱ(Bw\ƻNjmGq. 0E7}4MdG#Y^TzY~ d3<0Hĉ}a?G-92LJo 1^U)ĝ h~5^RgWq0  l*R/EèVJ$kJ$HT PQ_ 82lܢO?!eNQZxt vj߆/M0&PϘ9 *mU\.dDqK,|E;ϙ}+%k.jJisꣾmOB(Jg0{~NS-Fo;/.e'sf%bM < ^^6ga!}1rW!R9Ϊ]k\.I//8<|*9E69K?aWpʋPႠW:@s/$ԙ8D+_2*Vd p;$M*[LJM@.FbI+4\9JМ,(5wWNa2AGTy@yg~L N5ƟSm3nv~$ů8\42z|tf>#QL R TFC - @xG?^hי,[ƑF\u_$eMN}g6ٕ]nD>f}cN@O!a`>ٿُAG Nqgi|zRǷ^A[7Q *I=ѧ4 İ0 2cDAبd `IUvFrq;`>Jj|nbAӕ.Ylu\O|3 ]mJ, ¾3`{ h+Ӂmy[{f:-= l-򪇽t/كRxWT SxtK 叶&rC?^)`O2Z yxA{}rCE_qzz*ݺ{yJ9A2~W,DDN|kYZ MTQ01[Q!WCv8Y c7@R<Gѫ?<ylNAۊ.eLъXU` y¬^+bٍU°uJtmGSJ,x0Fd>f_#}:YDNT1lQ'NԈ]cߑɈpP >rWܱe ֭^Qazs(RE#q@dY[He^;Tq}ݫyϖhqw /Y~/\ 28zeȜa1{(XU;*qlzSbxL1@a#nqwׁrdܣ2A W09ScR玢f(5Npc!Pl3w߉)Y+Z v}@ ?KAR*C _I}+SIۇda{Foߡ^CJQhGWd oDQJrY čxUR}87!twQ'wص"!]F׽7V!%_|tD3< ɬZnG%$@Sl l@u)<[c p..5͒BUe7#u4A:| &5|8>H@NzބץO68ع/J=Ym!rMˣ(H41A ^$ҽx JJK-bYF M.roc*(-yPȴn ]]oK }.$,p:%c<3wv^pr|#P4)"Q6q­'ɼĈT Bo)nu{EDft\' Y" bYtlb8ܘ¤|Ƈ sHfmj5+eu@rđ]8nYX-$ӻݩform8Mm+O)P8'QW\sd lŅRXd0DbAsg&nO;z.LJ V}&坨:Uxs5)]TO@<YR#5l٦mjRIȄ0IX)tu{Czs̶ɧ2np0b>Nf:03V~|STdTeaKl8io^—m IE} YC> z~w:,ysQTM %fKa J!1gv'Wݻ8^m.!1lɅ,EF@0M"S;Mf len85T!( HheŘAir?=QS;k_=-osT1, N/@Z:RDؑfJ؏Ꟶ;rAe~閖CgkNgNiԆ,_x给GSV cpŽK övF sL, O|wqMcyKN sxgU3ņ l3UGf;_c#6Z u=qpBپ'or6=pؗeZo޶{-Rڢ&.7 LF ӎ =<-9M 떳M#!dF80 =J {NSJۧ¹珑(Yɉ3q~s| 2n;:^:*}A":99)l9tioo~68~op?y[&,[4#8[ϵ8JW\rnhupqI(+Q.yoZi',&*IO>w\aYJ9,]㸏@ZYBc>ɸ-@伖+gȶg&[ޟj6ɛ)2"7!A&Y9_ہHŚ1y $w a4Cig*=+S 1& -B% [v 9ak_O͇GcYq%󔿜'I1Ļ [4d3]hw߼0YRUr'RL\fN} jǦ%I+~=cα0y_w,qĐ&pҙؙqh{8I2DFw4sjȧt(ZA-Ő &*qj4L 2[l/m]PqU B?]-/}Ji G)z&x YLŸA+ o 8\3D$Oõ>V/GhWTlA欯M/c0 qj9-K=s!XolV˛"zL{+iw7 lM6!Drc!^= yɲ3v4v&K%T.3~Fy@ A-*XT[i߱ӣY8Ii FmlMhr?@fYhց+n?J `8rs= IaQ5L^iv `[z a pX0h7%hHT5 \Av39ɢS/n?=\`<+N+ G瓁U7R5k4^sXX߰p6:x-Ն{U;W} ^?f"}ZݻR;Q>lC}'Wc<Ӻ?Kg;3M|Թ{g5]f,g6QW܄rso9ϔHnXfptB/a >͝+$Z} B3ff`w~WW7ё%̐?-,P;2<:4Hgۭ6~-ON *{a^5WRrzR 62ERy*3ct>``xW{'`S2GN N93xP6S8>^ư(" 08;>w6aN=D;9źn))kŃꑱ/SRXAD^ <%{y.0qA^&&lE )Hl[e\:YmowQdY< -(:}/ w8x&PIa%q>iV} )fGGXFEo wb4oD2a+oQ\s$^!{Alni$_Ѹ\PD xAJG%ljWR7 &G}L|k>3{lre:i*YlYLdS~b瘘|_6M2+w)1 n)5iVOzl˭\4>r# 70="˂BĢW>]ڡiB4#SZ WePE[B&n?qAtg&:1` 7k"COn5`diRiݍA4}6KnmGهIzRn%jWų^Pt77?tBҋ0"H6SDkv>mr]<̟y9Sў%]*d Di>K,c_[ί鄴 Gjz6~Lmq rт s$o5/]jD1r"JI=k6\ 8޸?)~  *Ϊy.*|+Q䶌פIN:7U&+4B ݃'V)ŮDhс.pFB3R02+Q~1>tR{惪΀}ewW;v GVq;Hp AvE@)t֜fOlagkf +y?4*/v҃C 1}>J_+Y% ͨl|f!Μ$uu}IRM=m M13nEśiןv*lm-QK4۵̖_>Q B׳ȩ.3f- WW9k*¿b. 8K[ >d(ѳd1A @YP ?ݹ^@yS]0Apro0ѵT V }[>JC馆<$ǝQZ!/<@KʥYB A\_1q0 M#ێ ok|9~WJk\j&1;q%Fɹ2 WczD#L6yko 8@#T6%u"˽V".L@B7 _6j+\:ʒ/adwU)s?j^d`Xԧ?' HbB +ɲF,xB0+ ebF'zْ_=r7 d%7e 'ȼC;B2ombuE+,i"K 5h:p0'kaYWpDey,4G5xtjX OFrD`ecTCh/!Z6*Kƅn kfNu7_P-.ħ{f 7 Z?0K21x9k3F-E$h U YUd4ݩ7i;;>Sƍy+L6Wob #{FFg'fDm)$bq@vfQcF]Ɏ*U\t]_R81w|8=\^>3'FH7}`U2xʏk R8pI.A6-nqipL\{jdfmKi_[- 4+䇳e2_jUQ\ov.#fb7v,`AsD,jE:o#v xrC9 =f|pS7bIQ{aV٩ʡ";FA_ЖUs_c羙[և{D//%%BӚpaVv6"M.x Ƙbuj?e;[ӕfn]NzH"[IOKmR!*7"L7y q0QYA )&'6>ٝkA8bԶwWnٿpUr}E8׭DJ30+jz})/gSE0esȾaZgZ|y` 7E^$`oQ6%<]\p/֕tlZ+%] ~**$P*61ȈܛNz:OASR{J嬊;mjxn 7*r;!7Ec'er/$0;Lq0nGH̞ɿwঢ়ܰh/>$A4m. e. 3_~ e6~P:?[#@%OL"5~Ȃ໫76}$[_Y/x9,^O]xćTȌnjB4Ú;;='˻'>0ڑT,\p[{Obj؏:᠍9Q滍ra(!|t}7}5ʔåcMQY7s6|3r-Nȑ:P$)$Kk~muXY'W5 :*-s=u"Y/mFQJLl™X$ OR_^fސ '9\ ɹu 3L'{KPmP$7zc/nXbF /4荎@ԯ ௡/?d D > lꌢM7G8 WY]AWPV:Ti ;붉Qξ؝Zw۫O5S8!_ahTP3bwyȮg9_E'x~؉4Ye;D'/HjByvO;7)lK-nrkW_ # a-+тju-2̣܍1 l*Q %&ƦXxsU۪4~w=R^Ԑ/+|^C[F46mf"댑sTS1M`s #?D=FQ gT#N ymk КwL{oBfXj,MG0)p-e5aW~+^@lOPbdU $ܝ UUlEmۯ>NQTvz6'Mgl ٲNEEТie.P)o[/B֋^KMx]R'=G#5bZ}XYوDN707'w}`Te-(14;~ aS,t blЋ;ASŴ:Ӵe~4T7w(}CRXIP"C9rU@qB(H?F37\,@X2 Oٞ_ :0x(f{UJN\՝"Э 5$,z;.('tB-&ws -p 1Iނ\ ze;e9ܰ|6Xk!-p;d4Mj07·X# 5[KL{%$z4,gM=D+6Z+a֦(_bF6+$q1?5lrcc [f?q).!ݸDʦ.2ȑ%]!CoaVM$vC /U&gq18Zr?\;{RJXFIKntlw>MZ5;QF_ @qԊ8*Gg֙:n^mOZaݸԑpvi h༔Cf*S?@@oZ'٫*@12ߠ\Y$%jUl"2S%n-^x`̸bǚDuRPhfK+GSY|Acs#y.a-29{#C+MG$ DŇLTR_̣r˗A"n!ʼA(pnTG;Ko@9!I"W]+cM=tw'u!Y+oc8Y&u\WJ+Mr/!@d8AT=GmEr<7N'NZ͵RnpTc K#' N7ܦL{l  &#F*uh] sV:pQ[k \/2w`;`f3n|yq^Pny~1P:/VDT9Fg>FV*E1ÃE:Vfֽ%ns7TLrtEc2х|$l_vz @AX} r# t[^,WBϥx+A p( LIc~﵈l*{3ƪv*p]&+9$cʠ΁B#6 8xPꓷxWxDQ >nq]xú6 ۓ֩>ȻjW"hg} dx]6UW Uo5ʧ-2'ɪUywB.g=ӋU'yOqQZ1qd;ښIa7``=3KudӮ.I3k@r86o29FO{Od'?lÏQEp !*rLͬLa7FMſq'H 9k?KoOc>]nw Wȟ G jDnNUjK!w!'#6 W%0C> 5TJz.^O[d']Uy<_C7iXk3<ێV,)Ƨw RAܻoA0ȼNe8%kT#:e=h=9a93N2O9;]:,lT4e+VR) !d#+#k s)ҐgZuXt0v3grWM̻K7JBp8K>k~ ctu@z?5 Pg`Dtĸ3p 0P8Z=$sI4}F pJ+d,A C~򄐊}ޣG[(qGQE&/s?"qLME*oG2趡7| RXѣuxx?CyfO,Wn_7ݰ ^z-EFGm)aI)ANzصZKN<(g ۛrӐF}C9蓔23>x ԋ#y:!vy~"`Qխln a[޾Qk;?+_fƤDмgˣ5l@Dy( `ڼAy|uއwQk18g~QU6Yjƀ?<龷xLS.eK휅~2Ëv6IHFUw0dv+U *#/+FbD7qb]30I7h7I P_@ f(Tl2mA]ThXo޼Ue952Ek!jxe+^cPʥe꫁tT)]>Vʮ wlyIꔌ3M/z3(~C ZB?Uk.M# ";~Ro:~C_snų*-, EhBlXdPM! E |ѿ89-&q,YFQ*2HAm h׭W H"qX' E5S17;M /*0N|ƾ}M,mVt}e՗gF^-y}&ZJơ[V6 mN<|v?T7uB v6/0f/\.;NqIc&-[И~A^/F$ڱƣLj`(L7g;F+X"bV.뿕 VYz>!Op >Cc$Z)z-_u&.QKx[z~4 %FCGcCfZFD LJ ** R?Om۹|P\ROO0([=Ƌ6Ç ck/.>@=&eG+uecPbVʚ򖶔>d+ ~jFpx3%,!Ȝ=Y|em턭=M٬O<˘1(\H_#|e߁ʏKZSq,^W;],7*ȕoDDֲ=7I32ReKU'j(ҷx~qKy ktbgZ IvfM A'\ޕT-A r+`%2'[m{١ڝ 5nT4Ü ČKRHr¤æ-&(̃/ [/ŽQjTO,Czc<C79yumemXnj&Ц>J{ cm6HEv cuz^".a]sdqFtC-U@ŘxCh%$ʞ_2Z{t9r2 8s_Ҝt55ߝj^IVmd/qvo+ZxT:?n_1d[xY9N Xm]U8e F|0]F=2 QO2y7ދX% \%) X%",B.0\0a>eFn)UIm I+|Z_2ɲmȠvv/b>ᖃHĖV_vqJPJT3"7AqzYc(G=gBW_,bu{%v6J޴+v.[Z>oUe~p/PO7citƌ׻#K?Yf/@Y#)n\r\_`'ҏz }7 /8佴-.(5P&-QI$9DewR{3f?|yWЇ qkH9ÄAq д zOC0swֵ6:)@ ,RCXCciP~kRDt0Wr6ȻA~xn4s|7:XzͳaA3@kǥ0dKzu^еG;Zk f6"1FdsG:nF2W,ɵި"϶(;"'!' CVՈ w nM$ (@*IE4181X`J#uJ;so~A ĨtZT}D=p7j@ǰjgTyEК /T M\:ΆB:qN{ 6V/rd >BoƖsЕ4N *'^gb|(BA/W\[:$~t? ,z1Wx., >zg{U4pS;^`#-ZV RAmF iLpMlI(^ ;Zm L"=vyvSrz*?]$pE{; +y/hNjNڡvj<5TRAC2KpӃT Qk{U=7 3gn^V/Phm2GC]}9ܗϘo?SPGdRU2 ˟,V#Dn2uFAjp4|.\yÙdP OaPycQ-e{_Y<Y0h4Rsʻu 5l6!(kii~IZpc!;*&_Eo]=xїcA;IfzC[JYLjpw?~['O>a.!H`E٪ץrxtl^ϨtZQ7[GҶnw OI { /n=)k˩Ǿ3wX˷.DfJ%5$M66ɬ1݉%n>ޛS]n}2 rqe}h-bf7m?%f|afr5H HIֿg50 2Yn,%$NlbT?jhCY /69\NsH0iuOdOJPm p{Ez}J }J6@2qcm&%H"mOډ.5;8bpǁ8Zǝ]p:0~X`xa }Ω_Io<>;}h-鍺8~u,X4X!u p/ S=-e&f+'fw~Ŵ'.N|T@cj:EQ*M*m <ѕ'D_O./H Ff;T|Yy09$86N 0^^Vw{/?Mvh {um;C}idXI$F EE}@.CBs+Nݳ"CV@KO3f'$,V-_? ΌP(88xM]:wH}%y .ﴀo¤6^5Y`Y}pg/< ӻq+5Af n]=Mbz@??(E&2u%$T0_,4!ɇZ g\?z/fXRy?Q_(}ӥ! 90ffX6W ^I&'P0dpVA$m@ R;?WPLLVϰ't Q9RBW1 Tsu"Fz~%\#ڃz$DI(1p,{ǰ9OFD?|8Lr +w]~9e=Bl1,0`>*=DBˌg&i^|@pzzNOh"B1 yG~OLh>$`GƆO̠0 ^k}7|yؼS e*&IVy@l1W(/lڙ2U]i }}s^ E렄Ҳ'ͻ1Cb^ 7'CҢ_(s;iS`aeU}\2\U1n+`EuI ҂ oqvْ9;~gHk\rA1rb.*1ntRL &,li[pB\ KHZqhbdKa} h(Ϡ^2 "5eф\m"՜=䛠Ds-F'T _jd\˻ZKLQd&NE`^=0p#VG=&6υw`g4i>fCb;:g)68Ldz <DH:_cvZcوVyR<ݰA"}+9>5N뼭jk>GGa-Xn^G 2wGrѴ\=UMrP!^H P\ ):]yEx=5u}. Lz!ЍL1RDC&7#&8uX6ԌxLft%s5/L튧n9)Y-QSj?ZMHx ң }iq13' PZIo;-}Z7{y[ C0Mn$g%2Fte:;UJ},l c9 Qڈ]|rsHl񃝿<k hzMG˓~t! -n:^r` BA?xl*28Ň%CEKe^~xwӤ>Pl(/[+ZpQ!nEw `lZ*GgҋW :xזL4;-g0#DKJ 5cu1ޫvC%IFUnAg?D5fsATqmWxO_3yFxELX!y$jN%B=x_WI~Lީ񆫬HO]Die|N('0iAFt<?Kfs;f]qBBdA~6Ef u茺}ʊց;`I 2f|N/՛SKQT1n7F%VVl#W髒^Xu<.TU|cZ1d$kO3|o;iXaoxͽx06de~p1adZaܼћ']"=*̖S@=EkQaE yΡl-$=;!+%nllS0;K' #X nMKhL qm=d4b2"ta+%>/W)iv!'lfNFUɷ'P̳q3 QȩiNW4a`M$߱\"JrBFc6@fn~q)#4yzE*)/_ (>r{|zYrǢw2FR +z>ZO>>^ -gq IH?z,2` 8mY FD9aDc|0PIC#鲄o)OސT=Ϻ+ē%a_n g)u7 )tD8lJj`:e_CVFew;#W\252NA _0Ķ"NX`zg\}/AeOڧumF/RDOrUpTRVW;??~be=^ow1N=oFVBwO@$wzgd2NR[ӆpz-OZ CubWU:U-&w fo_ۛD+!:ŢIo٧B`\BTlP%V[spF2W?Y,q) <dAs8/z4Al`"9KgdN@ZV/p1ζT6TP@Lm62}KApCH_0odt@-<&A5iro\~R$xaUTy>#!~^LdJ$#Liұ.P;DOL̤MuY Y32nLd K饈Y KTݟ1 ݄y8=htcV0Ќ#sDg7 ]yȿZlV;lXFp?! D@}v]7fgFWW%3r`S]f.f x l) ^ e=˙2kflÚ,0l@YWC+Sb88gwk^SsuBW2-xpSb | .47$%?Ί!_^uMy 'cDi;p;F~i_.ki+{wP_6'RҪ$A/0'X URLۡ"'6: *?!LiY/#'*\CLIS4{qc*GP]RP-O9":\IA`Qi!99 .#@r~f^?]P4{9㢁ecctq#olEtYQA> QKpeˌV>HE5йHp*NjRCf3k+HVjVĘ\O d< 咬G+O_|cI,G-*P7zPv;rBOVvnغ+w-0;*gR4՝e>G"L&,M7'iW5V@7l>0Mv0? gx, X݂By]` [stw{ǠWEfdZ(AR;0'OXr^DMU%_}6¼3]d2Ά *~:<6k߈.ON$g?C(.F'kVLo~ĝIv!&|AL<>_Ew!^f#&7   Ih uʽUGBnLl)z$L3X@& k|߲Wibjc`UpT="< 3EoB_1$1aR&*jhHJS8{fVIGL{̊-!vPolL&yXB}j@1AAx)ƥQ"X q*=Ʊ&bAg<1Tm8Ru$9.-vw\e¸02oġQ554:HaUjRN mQTzlhg~U-牷2겔5Z:D#zވH}iEF8 Gфǁ,61i\bJ6:$~1G-P|1E8@w2`kаTJU{'A۩"=n~E7f-|klqءT"/`,kn(*bkA*e *x1 4ufGS x1ЂzK  ɓߞ~+U&Pa9#W] Q q7{`j/^EY՚s @C‹2dSYmFvkg,r̉)GF2s]"i`~y޵C'<4!Z_5Ԧ|#J<%K?O0S${Nr-MphYK*}b`T[[*&IM(4 Efh v⅌פVQu0B;e:ؽ+CmɚԞ p(0\棏/mbN\% H%Q-z4lqleO'E8 Xbj;З%fgYZ988c2e742eabea1819b4ffcd03ce1cdf7edc19a29cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 5f4a2d69164630c372a3b2f4b189eac207dc4312 7ea987b48b8f96ceee51fdf03a6f218c810ab94e