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 0!Tl ]]]HOL-Proofs:threads=6elapsed=944.380cpu=2338.688gc=630.796factor=2.487zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\%kV?=hBVUl,S=)JaˤSzjTԧ:v.,xf+(,D{jh,5^6M/:zߪGCܒx8/ٛ%# O,3]%4ͲYgpY]bM-};w(L3q$We͌wU|d%&UQY ;c0uZ[T5 0sc}GWj/ g(kQ ଂNJWPFvdW\?@n%GMS38rm0,e/ⴗ=Dߧưl, 5L}~wBʧa+6g =ˀa;C54a9_[xLXJQ- -dI[)cɃvQ :NbT hʸ*5\ x*'iZ424w8I3W1+s7>b[@oOM3Q|M" _ % mB@ (p}5:|*ԏ[ab70DE[d {x8a.j|,14P9'i %v|;.ml6Z! YygT@\VX.zl_@ < 7N`eKd7(LJ`1$iŪ]\8ona :dS"GQ6PNivYh}h[欼^8Gr FN+i'~'C(C#Q%oλjx[/$ !-hbwS!w ?RYnwIՄnF_PÊ`r:`}%4bfh( N:fG@~uh|C9c7j>LX:՝˩֪tW٠u}“ .{s^R |+r!OYgoﮂT/5RNIZ?q4cNjڌ^cf9&_ xIג'>ie:+˄j{^6{yK?T,qBbqbLQ|3GG7dsw\E6-sy7I`HwnvT=uF b1s=a*xBSN^ ۝\ &(c5O/H]/M^[^:%XMjw~+L*bPNO$j1D+{۞XGiNelkJ41WEeڋa<%(P3Mq^gC'LJ&Ӂ#`蜦F5J9tvt f4C~>OeQ 31_3NT-|`*)3'K3m Xi.zW厗#؃/J|= KnTBA w*CN0HrעFEKMۏF&G0IpF}HFlO4YgO6& D;]}0uE] VՁhj"h=,dXo?ΓM@AZYFq~ULDu-)2't>ώ jz&tkWk :Ăos&rӼ Av:7sT_a?8:xF>=_'miduI㝨m۪* iIޝf JGAZϚ @ b01(]۽b +n-_:X$ "`1!^(~UszcE+8-~.(ݼ0b=j{~%Ί7 N {SwQ;`SEֺ,.)3mPMCl7k$gC 7kbYzikt0m"Qx d BI^?57AFH%7qW.S_s4 hZ * 1aZLm5Ve`< t1ӹƟwM-ciOGK\fj")-1$B Ka)iu#i͍L2_u3#@{`EI jL!= ykt_#fVMbKHҩ@Yͼe>AG1>BWj!wj5R!Uh<#8UUz,8u#!Bћ& bnUZTcTo,(p'Sjώ{]dq_P8ssvVg:WnnN29c1*řGG pPlB&~Zo,o]t` >UK=@_AM~ Ys+ñf7£w- @u]{GD10ICH:J#hfpM?Ň sـ'A!?y ut\? t̑(zw%u 9V2&4?D6b9nESlgo{ S4jEL>;&ʮp|zUƁDT5_&onljn==tt.oa\yA?5z &9VLi2 P:wDX.fū}D -wnXl?Bu I``*F7ZxY 21 x/ i39;YIȄ*.cGɅ>5yóyNMòwUN@g}06/hzv0VE-8z~~!:lZR/@??"<_Ag]me@AdIpnEaz]3XUutԶW ǕoOT$A!X'}Cu=gO5689g+O{6E.%׊z>-5r{J'\,QyúTfi_ЅgfS"v86:LP>;iHfI:;h@sC~N_N߻qY(㹴iQvJFOxK1cu(52 c~k\۱0#btSϒkd9s+ݎ~g |hJ!S4妪Nnm)Z}͘7gU~oD7Ŀ'!s~ۊ9G8b 햪@+5OI:ie ޫgCxƒ 7 5gXb 1cCmGoM0 00>2q?|@VZltd }Z{\AXT7ʛ\ڧoCUp W)mPhL%м1yؼ)VG` stöXa ȟ15$W׶J\ cs;I[D_d"} _*_J|5f]UI! ޠ(]qtjlz6e R. {`zM=$֜.4u[2KpS=I|jl9أP瘚JL94 WxoJ4 2GKk~:'}ydO(5-Lrpݺ6 3H%DI*ܖ hkQ.4i|o6;½tm9=4Xs\!aa6i}xt!ޅ={>#EoUQ喇 ^Tw_k7v1.*ɡ%4RW&/ WbJ;EӆvB |'PSHh/?0&j% 6M"VŬ!% Q颤ϵ>CO]"]Exj7s$/"A8$JgFk%"@X'G'[Dq?P8U ,o9j޵ c'"d*۬Q.xO\fV-6XW CG˝:Rbe$sdTAjWRwu2.2m4MsxMun"T L tX(HoN*xLy:Hh,AB~LO;ZX43/z$GVgI4)xIXZ3v7}ھ'@:@oS[_LQs3q3c j饼Rb]m *F1\t@8ṧgDAZ0EM!!BgTJt_[L)Z&5}LUe,V(٩;mkdtBPd}GP02qQ8 Gtt\kMs,~3BhnqM #NVYҐp{JF=$F>;V;u }a'%k] H_(%) ?>z}ެS2#`$4i]KkB3)w5ŨS4 M[pz Y'XۂoZR5XCX',J+WleZ+SJ.1A!naK`HfF]z9b.}Cq_ Nd&d"Lu)X IxYH\Ə lG.`kK  ]/y+CtKUX#6seV&WTmOnt2۸meB9n$iB,>EI{kh&rJLqsݙc~?, k92/y6$zGdCN 1C>.#!%AE^boPA!ߍMf};o,nD'1So.2-8 q| 3L9(-[չRcz 8Z\8mD Րtޝ=D*OGcZS84w; t2s4^-#q.8Ag#5dm<b&cЩ503]gZ8LFd)7A~h=@3šnWYDm)o ؄U, U*GeGaEWb(>δum0MȥI]骷rnRLESrykFWdEttT Y*.Ъ3N\I:H=&p$.{[y|\^& ݵ G(+[q{I`N|Tq@ 5ޔObK#LmR1}}w2IN{5z3k1xi0Dq .I#1ZuErE20ya꒟6I&Zgtz\D"}@ֿۮ@dc -|9jzT$, M>U=m#X'"^K u  xX8`{;%Cp:@Gng5 ,#_|تG2ޞޣg[8+\O0jrk1 >kbr" Ϟb]%.X<=ٷ4j'5$t&Pdn;Ÿs-p_NTISF9t3MPb[`tP.PBP+ҽiY9ҳ¯o:Mq3eHQXUVNgD+e 1U"{eKlPc(^@5**aoYS@v6b&>ZD* 2Տ)gYZ7zXZִF! .]ŗXi%>FG]Ne>Ķwf\U".@mWt6 њFhbKΟI&x0fD},S7w`$ѷci Qz @{ߖj,9$?ʞg&\Yq:Z|cbn^|f / zHF alg @ 埦{|@DH Zh3acru@b_`(YiHw11˪+Cө-(4&dcdr$1`/^=/Nqά Aɒx\@m񻚎x@b\-K%w[Z`ߩު6EAбJ1 [R;ے泑+O!َU h|*XGv$eMP%kC[oJq28菋l9K[VEiaOm <ʓNS@.>L.p٭8WƋqHpg&evj6q2Fv¨Ɠq̀Mj[y}OB1CjO%ʹ̺ aad9)ƥ =3MnܗgVR)ZՊ41^hFQM)CA*KD?MP' !hjqaxs s?h-=ha1 uT9628s9%U؞JA @]FX$3~vGEޢKtrXPO\Ar]J 2OlNOG5+>!f, ,WܷSݾK''ݛ6[٩6HK4՟|aj]5`z2w(^4N1q.*h/.Iq%֖bT:hdJ+񪄸!} Jj WC+k@殫˥ !,j&@*Po2ɟ|Kb|itc\Jm=j|?5TNykx?0 yr`b׎v**޴-:_wi|gXSkp7YȴhcyqXA(ƠrJ9%l1ez/Tن\de4.d#xyZpGfS'Ma& ܻvJxNo"6t@IYJnq }NT Y=J愨7 kC+<;V[R9)DىfTepK]EZm%͜0h7oiuwjJLC9>ǎLeqp?O d}CFk\~:чxFF!:Gr4qkA}Od;V; d0qtu;X%lRiZ G+h2V4?(+dIJo6MzD!Mq*bsڱ[㘯h)(3 huц) =MN{S_,aئ47̒o!G6/X$}=OĠcE?sN0'5[yw!fр u*!Dl㼛F2x%)8Iĉ?w]1wz~OqYRߖGVP4Ya7[ R_ lfvp,w(3rDL\Qy=2.eɗ.@`H%3Af~ F p|`(VTׯHrr̡,\9'@?S6Q|><} XDX*wtsu7rMH/JllNZ,/&VPȈ0|($]915/I`MaLVXئT8^C܂᠓'0A3 )q$ dfkwo4ѸJhkQCt\s>N\(pR^9E1غɞO8C-GŹB`]^*OM5(iW 7N Q "uM MնpR_+x=OTDa vH UK7_͏H=>!A 2}~ ˌE'gJy'eStj=k /}~ʶ>eK. c+ =4ho/*EB.yZe\ <:`E=Ad5y[iR- D]%\߃ae'[%a2BBe $FkǬLUS1!Mi$dHA"ջECEs,iP=jPU6 v0 tPI=`v4AMK_W/24= j;@\@ZD;I<-)kNg -:ax7;̩+ӟ-fЭoC@P%~;wJ iMUt͍LXPϩ~+-Y;x\ҏ7T)?,-^7ō#k?xmǮ,v% ()::K;HkM\ Si(`YךJ*"%nj2_~H ,l8j 2 Ԣ{ wBVЂ>֯l~pj\TI Ahㆆzd3KAQ Y@ dڷ* 0AӀ[pZݼNJ+3\~x3T|5 hu=SD=ŝq8o^^oMS|ճfj-6qFϥ >{j-+Kwh̀t!Q 3Ua\tr"Rؒ|߫5yBp~*yT*6+KB fP3ϣZ:lvGU#X&z4`>!8 rrkf:q_X8i1Ȉx'Fモ^I+p/Ij =QC喧~2/Kq[UfFhP*ywSvrғESMnYfg^Gf!bcLmO^t>!HT~w~$b=o?.d!R6?E --b$fawm/Z_V-ą_ɹss>N Йui~.ֱ1|5"IX N֩6RóbN`(5CinB'jk1 ^VfFihVAɶk r"NOvӧ%U!$_}qBPl}q,o6;`U=FK! @khwlA}cq(zZz99;m9n@O@`Af% &@RI*x܄G/C66 DMwUj|סc+l̅bM3,JfKnUu>DYjZ8٘m ! OFCk=n~~k&}~Y}rS{IyrbD2j͕Lrw٧3 "_"}~YOxe@yxk5 5K%̓w#ViD%~1dmK@^KBk8TQgYTm#>?hYBMnB|6"džՠYvA|BKG8 yG:qH~/#&}LTP!S K8":!w6jU+ n^|}!=ϩ?K-%$sh J( f(l$exސ̧ɋ|@WQ(T |*_)-3gF^r`o Hj#q:smCp;")We5R@zmksz{)Vހ r0sHyrB{eZn"G$zx=$ύdsωB'8,DR n`$mx*a|%&$z =Q]Iu)LLu"Ӵ"eAĢY٤VPl<;T@g$ːsFH nQo0٤wuhtkm ! ˗u`[u1P}%UldKMPӀ#Q\a]_wmİ+0;骇)#SiDO*VdWsR8OL*A53yS*\tZHEսQTW^_TwY$kk0vk˵aF`>m/&UAW#G!TYeCE%X4`-\[l"]3tNWP۵4_KQ H3+Z4|y4L)DL,#HEWn寓QnW@+ M|~҆)C%DW2| 5|ƠII(hzWFZڮ@k ,A}o@#X2<#Wy<_%XN)3,F1gZ0p7^]j՟R`gSܝ/=R߿xsy؍&;J卌K<ͳK¼Tb냂6H(E՗mv~p7FCD"8;E+ú?XYbWso|Z[&Z]yi$&3mPnmGY<fRlH(zI^l wBmݱ)Ղ<:"5c0L_.Jnwav-0xtp*!6mI,o$uDxpލ1KW(, c$׼I7e)a'{e0S[f'uU[L&X2-;5PZr@9}UZoQ k J#" CEz Wy|F/v}>nYΦ4U6VncGްNr?<ϑ@NBsN\4-U=K9$Bd붙Y 4ƶ.b1]ݹ\3l!ӋkbM_0u&'r>q{ͣJ a |ZSQaZD@7%^b!VUR8F`ՔG 'CPZB8Fܞٌ]2 f 0^ӎy筣= z%H?jlƥM^'*QeSjy6HcMjwZUk1ZU ELp\; 9؊v+sI7C:\8j?<7 ~ѐO똋/5WmۄK39&GTJp|:K'-cUEӆ}3w#GzEF6ݢXPm.Rթ-Q pWO1R A]S0vpP\R<~L4X?kTZ;Q:a84>ntZ3F2CGƹw0J FK!ғRZv{v/Ӵ=ř6N|gWlM 97mW I-㝥/`F}jm"| hFp^1MrP4yjABQϼIWn'[9[(ҘqE_vH3Iyu>}P[,> kwS0a 辌; VRпXtFv08AV" Sǧz$#iy G ~_8il6痮5_xXC퉥 )؉Oؓj ?JM8(ݭ\s g ~h'se}Rh$t2r ə.RJe$o"ɧͥ%4$]8%hC2C,-ExF?P}P:"Yt1ƹtSq^f7-GX I-K8$wI&|y ܐlg0*vU0 h!˔ Uu_lL:Mc`Q8m^9ؿINUu[뭾JFcpҴ>(͆UufPl^OVf9 04-jV\rɈwAaւn֌gY##eRW If~P%a[}ڈ eUZΝCNg53TN= c`c1+ќ:G?ЂBZ`wO7J$e;AF"LOƈq/n@y>99Bfv+=؛l+'iئZ7w>5 )N09KHH܉ԉ(YI-&kMiOvM "bPzx {7ԲhSC*YO~Ր:NH.9oԷwtHP1ʎSeAnFv;Hpu˵f?FȢy:s#o T<00wEɯƁ-ܯ343HA\'C"SQ?3{Q=]N*;24-]k&+Ge! (ϔ9ka8$n(^B*۰yTwR.8c/e}& Dħٺ Ru|mۋ$JUsOדL̪SKuJJjJmr66*/祇h6Å@d"q}Ӆ84z]9^-PҶ(tC7 _˲_ƌXm] @qV1+ĵH;`44rGjjfiDQ/MjvW-慾~RY b-wA^ymOW12ݍi'%Έ&ҙY1Q@D&gHTdzbɎXhů|f xpTjwg4fkZUUNR PzY-}9;v["Ȯ~8~k+ 6b)F~;/L_a] $`S%XnWᳬ `p[ME%:U3Ў:y[pbA);|-}.F%F7( ̞Uoli`{׹KBB],$L'~ր#BZ#EkFy߱`֟Z2B\.\#ܨ $㼆WZ.ov;W[WzU#9i|cߐXM7".)>2⭃aRJ)+vzb6MxfMDRbҁ=}#Qि| IjE^-'#R>%|Q6}iK[ۘ]2'- YW@Y൲brܙRetqARri8}ڦu+=FBgDE"R۳z| X(N*Xqtd;,x^'\1Łb wzFϼ;E'^e,'th}?eUf;BCNW$| 0ri06 ~)5r%:.IKzTeq~ ."#$/Yy&I+Yx&kZ誝BGh|٢3¯[A O6r7L1ٱsa8/W~ERZXąL| {|GPA'?1ٰy"vκ 4 TWC;>eŝU[Zφ9Rn|]_fB=w6E+DdTxGvi~U5&h}ܫ;1K0C~_ިSm~Pe0WqbC_]z:abh|th7G[{*{Y& F C Ԙ/#e.5hWD4D(zڦ1ByN&EC\LB>*ECdZrʶޭx=$j~-T 2 H*Pui, rv=6G[C]t^\o|gL=go=u+!AUl\:0\W3:,3pcfI/ۢ F˘Ho9/aPEtj51/B*&hXf`Yɚe86Q#ſ%_e_"!<(?y&@JNS Y˫8E&tnu)m~%MHe&|K4NR&LzcSnLƂBXzbid,W aXg,@yċ0>)ʿ4@FIZzf# ,~7oRDFtc5ȹҬ# +vEZ~d@cZѧ Ć(F^g@`XD>&)*\c-5Lx}Igû`g@Vo,Čgx0@7J%2INnʷD_Z/P 9DVdk,9o1L )~C#hxT"XN:@Qq9f S-cPx[v޵ Иѣw(7rSµӁAb? B n_`&+@ WylSgs%as[җc-s*a";$6tΊ]cu&1UWϖ;nNEJ4r 9þ 3aD&V9qUEz|J$HIVAtgcT883^ru q,15=TH>SH4fY]T˛: įE1r4dn<ID1mHNj#v Qh9Wt($ұ<ѕJ"aYa忚GHB)/~x_M|Zm:D%i]h̵BF$j`gGp(MX(Kh*`C'D/8cHUX28` z;Y hqUR1 j1P2/4.%N7Ǟ=U+ kȋn4 0P`秉ȞmnSV+c[?t96v|lJ5׀O%"]I2.Ϲu~P z:}*TS4jyYݫkzBOTh+kق:%҄C^o}}t*kņ\KT S+5_PO-$+ NpA{~ ħ(%O0= -;j2~3(IAhwFc$,q )>)5f`|V56t{H3\x1*1sTK#][tpz$f u3f1Fq )=f;V?UnT˻^];3FQ/rTÓM~MA%*^7T/ ]Y4 { No%д: Q.n:'IC e xpGȁF%1Vpz`|}}@U`c"-F{3ᲝOm"G_ dQ\Dg% ]^$~T׳7b0« bX*ڪmNIѻ8Qphb`_W*ǦL -t_pnbXT-Stu\-y`/lsI*OYA )X"<ɏ26O-l^Ʃ vݔr ]/Y/y7)\K&Kx}+I=LǑQG ZgD->VmM&ҰAJ'R2'BM#KAymM#'q\fþ9B-1t(4 9`ǀ l ԥtqEmU%[rm[uͫGnl\^70AsB] O*HrtCu7|bt"I **gwgQuv!Ȉ8_v1BpoLh]X˺J#3-urb,tSu۫?|c8*|'L@.<;OfTE{û$K'?ٲ]6|̆VPM"//لXĹ8 1I;*-} 噉ʘ!tCm##ጰB'^?y30Ŷ';]`ae?ev Sm|yJ(*>cNN|q "`rOy+C6x097P5-u&3#~cE9>kJ]!@k 66&Æ_X9Ge~>Wra ]&2S4FP鿿rbegfEk:O}wgrCy1xw69GKs- R'pȼl/#_2tg֤Mf ^q!j"s|a|/;΁H ωtp;Qeg6̘26 JAuR6PǗ#_O y\L)0nj :dr)sּB֓C"c[xI,Vld!=D <6E9Dug-Pdhn:z3_@H|dƜaCdwC'XPHdl)j5}4]}/G&M act{Qv]Dmс@.Jcu< kZUKyslIP _eZwH޺Y\aF`"Eu]8#9nʱ'h }Лic#h ع|'Ż2y\7rg'ZD܅/jY@NϟD/-aBh;ceErriwENt9`K)6P$n,A;"ruu8g !Kbk s%4M!:ѻp^B Ga#؀%˷Ev$;>ucMmKҖ6A59f(F6Y.?X>%Zʱtk:/- mڲz686uq$~wbąXjJmw//-@vQ[2O :Vw(q3587*+ цHW8cWL+@݊ F)WqcҝF yXS;1D!DPGΚm'ԆC:̆vb?0Ž `)tj5*u % c%NZ -Ad+֗P=GO4YaItDyu49wssK A^~L0o f*nk&HVKޓc:s-(pTHۭ4( 1ÿ Jʑ\찕s?mi9l/A6 }.Sx&x씋IitcPSFc#AY)uhJ&Yȋ'mj)G7F!8B4Ԯ`(PԕS&}-l< ̷E\7ˤouy grً,rzJC"5qO[^oČ|P¥fwz %fpZ_Ցh_JCLbLHpQ `(֚[Bo g{p#b*~9kf T"ft$!dzd_쬗m]8q8O}Bf2p\΀P34wd{ʾy QLS5@)LGY5'`<IX;΀U/`* "TNp~՝)hGş &5GQ>[>&Zޏt1fM%)Jpbz溺x.BX۞[QOi:M}wr(X0:NB(O6+aqėJ D0qP͹L27d4BܝZ摢@@]XlW'S |qR+ͱH=? YBKÀFs.VOK&PDPt&:.p ޫEMnꖓ>]T:ؽ_0_6e3l4m"WA,|2J] /#M>[08jyNAݥG,kإbd쭹EXDeu5 }i#<]!OÙ#edi~C;s1$:H/Tm]q_f8?$#v <1{eᤐ3oGT"=?MU'FteIZDlҚgi4v )Ɯ!Ih,r6Bi6bwkLm~s1ϛ>w ۹/=K7)\kMYQu\e'E$8^LZp&V+8:ob@$h[Ywle3hedZeSR}$"(zl;Р@xJ (mqPJKY"c.7g|bcr4wə6 7o=gWZs?-Hňs'Z %ES1(zoNKfn $[_Hr36nFi(%[@ ьMmtv[K%i 0Q0F^4Up(vz@^9D}fMQոt2mg }#wT5G[v{ $Gexd蘳 dW!E2PQ[X\h9/ڈlw?LqB%ؠkNùR;iqe,gW|s/V* Ht u 627;>:J'ހl nЧK-JhpǪBJ=HQUφH]{uQt/ ŸOQQ؝JIo CReT~f284F)6?ښ>0|Y@ X|Q/d,BY8@a"/[X[N͎so-A (SqozK-0sTa|h4/Zg*Bgi4L Zx> ԛVl+1܆~3\C6n6qlPYĢ|d|Q6UQ޵c~QNT(Alm? b곡MQq݉}HȰ\TYr-kSN8m'.,B ZQ]eW!ڊs7[ ӡ& o+LةΤ_&^Qu-qtp)o+EG-F Iz Xi!@B\{ol[Xi$9:lhC}/ۯ>C i>òJ)3>ʛm ʶbYAaRYA{9[u~5xj*T^Vmܿv2sL18?"h Ө۞ۉ#nU/Z줍jҐm:k1|oci9oϟ T5z 0fiEbub 5 t UJ[Т64L5f͊WG]dq!2]# RqORv:^AuS?bcPr9,byQfw,j=kz,Ag7k|8z*=nw!?Quqx3&%ýFס(&{ ,2_Q#\dc" fDFDTz[o~Hx>6>۽yM; ԐNwvDu?AI8_㈦d0cL[pr h,̫P>QJ ;{ UD?X9L4oCΘlMJ{d֢i$=Z"KHgN'@{jSR7@3<.Q,XWE1w"2Q quď-UloLBO#wXyKW^#2l#2_ͽ(Dv`$hrYvfQ.fm˨>M#3.J]#w&un9TsAoCQP% ݥ쭨 ?;E :^#Bߠ?Oճ:d#9`QzKfGw`&e*pLg]!qCKH&Ƕ[AV}4CQƦpUQ!ĿÈyF42#nB6ozld0{6"{drӘ=‰8ΰMy)BrHLvm.LDK7[(0ۜh)./{6B-3'tG-gg<;S+^O_fw$C$YaǙr(]RZiP|+s*0>i2hbo^3453B15!_Ql_pX-h#v.S@(a f:5yjxoaphVbJi3 Gs){bm6XB].dS%yO972 $C/2N=syEWDmi' vbdQZ=w+}9(hbRխn/O}qm(wkfd1fQV,p~)[31Zlul!d5WZsla!wْ'=3qcc| |J_R%cd{2a_]D ^[Mu~R:_q$a 0{7|.J2Kx]LFbS2%N@sHQhJ./Dg9H\q#S]{(ծ{%`]XXsXm71zj4^/V =FV̂y7yRN$;fz7Q$.ae|{{#I6lt qE?N~qtQW66cB WLʴR{%&9sܲ)0lQ#)Q9a&&pv`Z_`xvLOqHc9y`P\NִgJ;[b{N wxWz˷؄Ak3tԋTXr( / ?SPx{ 臼yi^[ m}9(NJGelbr"}+N4 P|A PE4UU* uH&?͉n -7%3OY+65EW(lXBx"auYJD+ox1 鿐mf7GMt""{5D<:sen^lG[)]{7geb]tٵNo) Q.r%YQT5`o~~8N(&qnꚍ\zjYU?$ h>nݕ6 S8~`xU\Pk2U&+S*ڄY/o8Z} Bef<p>penK /mxTXQRKMQuF"ym?Y;vPƒ\:1j8 G)|6)~h~mRq_Xˆ$ Lv*HW~NaiDȸL֩M]<1XJMmtczo=o Pgu8 Oha26SE7*vl$Aokw܈j9KOԡ84{aQֽBN5MaǝlKlBM$q԰֮ csO)}ҶN;ُ7t~Ah@؍<ѻhTwú&r\:C{@XPSÚ཰Y}u F?F\r$LX 8K0{Yb@`Ʋ7~5?{<^KHd'= "b+*!nqFTNW,V+ED,R:E) \.r4ixBY)' n1z,gSn'Słf܀#jQǞG@Y?_<[1A,ejT`ɭȈu1sp"M鮟6TCe^jbg.j>I(o& պ bs&[x ~-dU$h§Z^?NkՉ|x'qS mnj` .P[h(dr_᥋ #;2#(=$JiGmSMj%#^\*L9S9b)%{P%G,~LuG54L(z?4Oڐ:ވ:eW/q8|Wdj" @BqUXRE>@h-<>;` qeEP Sw`])fE[ZG;٪q(l0[lm@:3GQc ҥ ([VRp#Mp8^j~ X\<0}[Em$YK>zxG}Q$ٮ J+BgEEz<5Vգw 9b ]l5+r孼nCr5ŵfH.' qnw9MXqBX@|u|u0MUh[0pr[&mDz˿iY;J=ٽe(O_ѓbw͖ݚk$*=~WPu%, :tzm()+B^ E"𑏌z&ùfWhYb"%62N'd=U^y2V4=_>(r >pՇc3"$MiyIWߛt3u:!Eb|ʩb3ӭGaZ/WH-. ynJ˝<*QBſ+u~Lc ,7)mt%M95VLZۢA36H*]0 tU 2keHYfA;xL E{0- rK6l_>#.P/UdSX2\F%l$J6?ZLFoœ[uXqJ{tHIJu>aPݍGS]?MpM?/1ױrzBT5@>ˋT7N8#+-Hѿ' fQEMҚffQXJjc'aO%xSxt >Kɑ_)8EtXsk>YB"rt;r7.otU{a|~SY/S;|߬Jl4:}4.R wx6ҭo=n5# rY" ^(D=K P)/\A,: ӶXʔN=,/΢ % K@ٺ2>zGOlsuPm/v')lZij(޵9.{J!oqaP;E;H=29m?eԖ'3h? O5RNb$92=l2zO#YP< ʋ.+*(.Ʀ󿓃 ǻEr޷ K|y=̃n wwJ\Fma$8p _Uܳu"ō3j(F`H<H;DirΔ3LqwO+fwkE鋹jFC%7:r;8ɆJrC;ɈVށD%%jQWryJEwsAa3ZSUK}GmPl^"B jпS'bVOA!i[ eOy(Fz~YлIDcj[idmp9T6y< T DkBoy1^$.cp),d9/`,ogc8c L͞C,4ֻ:1%R+cx86206A9zv 3xg4 3'kYIOlv"AȞCD]PLdzIj瑝_X3P[>=ĉH3 ~t)&7HسQ߃eş*j0 /.W6H—5*Grؖm]! [XLiNOIX_[kJM3] O5%͇6_h 5+ߥo}oR?܊koF#?f}F1hWK7nLjcHw-b/kexs5 r!P  .pٔ9&2ڀNuXZ+)\3Nc|JBh1SiVUk$6%LIG\"S y"&]S)N-r6c j3voK/յkT߯a+57jJ0U.r Ew͐~v%FT{G-nK>!_hzYGgm^ԳBNɋ9֯l4pV *āͬw13cZD7B9o.چyћK3szo$:x]3k42iT!gנL)+ft&2m#bE@HGAJ:ROWd@x9BGw7Ǚ5畸P-{T)i ^!F386'JA?!4*C?-*;*r9 jtB^lQ߿QI\>:tYmy=ؘ6U Y"J$v樇inxu7s ~FDm#9DW>w|ՠ Ძ[*uJȑ%"$vs=xC(sX@&E5ox@KE"牞Kq%tclP|sM kzϮ‡e? Υ~bq*ٵ=҈DD x@ֳ3i=erc*⋧ϸ|J$2EYA]M@ث/,*y1f<7ݸV;h .r;_GKB*U h؟)|v/jYHU5-;|k#))_!\t]. 4UPӁzfdp-ssƦ*:n'^A:[B$e~_Y0Pμ1Sp":WC&w._fR"+:mJ/X:7fLz;SrXzhc'jsnyg%3&xdaW -q Տ4EaMrQ/ 3}H8؋'0ME;k#4ׁ9RTrAkd|*T5+|bEf5Dp ]3`UI&V!:&.Fyc8%%qtQ S_TzC7qtTilfyi`p1a(6< >w| s&e ~SƐt㏴ˣ!UQ~.[ng_y4P&lHxC`ncmjP˺5ƩWC(J%@\30=x>0UmY7hJ)|ЈZ^[?KD%`2:q?hU_D䨕4Nh(ZXt8Ncٛp/%I6o"OTZ*}lTLQe߿Cuy(rv!9ֆP VmJ5lu}?_En5bbJ3p&K&&?3>R^iyW粀cE!橩ᣑ]۪\-C8=@AWcszFZh8_?e@BQ>1)Iu)B.b9. 8cN 78`ub$>]?q'h8Ci&fOC:(sRئݫ|NeYJKߓ5w:F =3J?f-J>UV?N~ a[;heoUz-:%k 9Õj'rgԞTZ0it'l)}HY!?R}Tf% >Wn2|ƺ4 nᆴ.| ig`Kz~ %8O$9`W$h> lD=נEHo(rUՙ/FAϛF̭RuqHo(sj8wvk)~p4Jh"QsVY-)${w_\/0 ;刞wTs ˶! nDz"6BX%שXF u BA$E,sC``*rz%zэ0'Mm 4b-"ڐZikqAfmcM uQRt+N ǍQK txkK[o0;%.FRv6\%7ӗiX.]eK T(\Xxn, kDlȹ|ySj/L[ehC?G]o,kd ?F14*q^l]eo1iSou)chF䩳:HHZƂ=` Fv_v%”nHS*7w\d  KY&\ͺLP/G#X0=zQfZ^%Qfhbmh^n[˗ely3RԜVZLOl 9 Hq:Ȅ/㺣8RR|DO 26a=qc`+ z+4D`wKonIcIY_hz9T./$v3;1S䌌wҹTm}z5RͭQ^GB|7_@K+ e- 6 SSC:K^03-r*5-:Zf[ƸeY(m3om:A Y%  %߯A ĮJ G7z Xš[1@8$ 8`}ϴ;~׫SȽEMQdsKHbl#w֥6J\{P%@ų]OR&ikyMo~UP) }3%YΟޱz`͈ZY2„wGaq /8h@Oɾȅ < &wѵZgwɕ-@'>}zN82E`ƂZ`ˣHgTe %(3򤙇hĖ kWͭ%+!!e^&t`~Ј \^'lUi#kGN۴&ҽrɳ{*4BnvŋzI8]scIꢞqg VRCBT'@ozDzNr\i1H>6`,~EBr[Oq.&vv7 S+tkV6NὠE$yTB+(` U`c3D} 6ձ2{|h\#ٗ7\m1_=4[ku6Osx6:j6*ͅ]qIh $~['9lg~UkO1΍sj}NI>B|V4x2<<_)_8X co;6e`Yrv믶8}Qo4 hxG-z:̜ z+7n hԆ}smXIo ]A~lÓ\1܋\Ofi$Vp~NCx2N#teE~wK; Sܢyf('6>pXEA+7E;v.C@'<(|b N#r&VRTv?}FaƱp;LZZ(㟢+wS`bΦm7s^7Yg| x?Έ%Ab+>{PZޞ(~(qJɘ˅˝:o B^roA8qv)(;C_mߥv7s}<<,HH ʢF4Q:@ҵ)o;iUc9:LO08zYF ߍ?i_9UL罤UᲷ@0"HTᨥfIF?6UÓfG=480:uZ٪jXIGX|];u!\ x:蕒 -Yf\ FH}Ᵹ@TE/ A)*,f՚e&J1lwzۣPc\>dޤZaFD&`$(1! @r~ib,ғv# D#.!M fHuZ+X95ɨ })wsX҆vFѿ]οS'sJ*[<硜{E~8 <[8=>J]D$F%8iPI (qQ=4 DXDA!rR_=Beo } X%Fr Ur36|%c.fzU#F 0]r6ߔѨ#}F{ƔrSIdWJTix뭫%4{͠Ә]B+EʴpzQ!tLX זj]}5ILz3cSg#Ղm HdаtAY~뗲+( vΣbQwzw*'+C,H#gE'{pYׄD݈W7gÙ;\nP͸%R`imrP>əb=:6tԶ *MFMYrz仑-K. |CJB P"~Q;Q'$1~gƲ1aL63@$I0Xجu [y]Qjyv;4hP͏TYMŧ}زYJu1@tIe`rQԲŎ~H@ȍ< bf)U&[ZٚymC VG9ֻ*t]ݪwf!$θMų.Ie籩%Ys$; AV2|SST @\Y,(r*s !\? 1ru47PʖX]Ua? PM S1DPO_$cJ*8Xַ0 aNߤG@WyOޢ2ij/6_K15(\\?x3/XwɳC!{kU#~c"JG. ӲC 8 WKR4RsLf/ĽQ{G#ey ^2 k$yUGEN|=vp s2ȶD~Nڒ)8tRU.e3*WlSvB">(R4n 1ZLy'ңx6- :}~VdoYX:vʶ1~$mEtP`oS\@>IUBG3$`9& 7@)d,k8DѫM$3'zN̺SfPhTD[Xz뿀Ͳ+{O0Ps@A⤝DP?FUco%Q=7*^M'kvI0l cP ]r7,eN_>5;?JD]ovqaوLc&a[m>dm[nGk&^?UMBfaX\-bb-:bB٦+SuDC.: ecBP=Ma gBvBP,K:E;v3wgD&^nQl9TBEwE j{ Wro@G%qVyRCIأ8ܢYSaBЍ?N:q'-,<@Xmf 3Gf*ZHTO j(q[5┠*h`lb;!SaG "WAYw%ك$! $hLI6#Jv,Ѵ10w #R F3 U~1/Dry%DF\˫06SL47f_IA`q@dLG8*fuOڲ qwzS2l-}_p؄ +:FYXkVEG[(:0Cɼ`^F7S;J 5* {ѾkMSB\ [Z_:QkX\':噒 mzٍ#i xq=c4EeD-:~E;c!eRx-ܻ<ژAhUKu7@05G#pRz'tE'Q~j2j0(tR %-zΫ5Tc&)OsIZLuDg U@NO(K?-%:I>j6&G:)%c3`W7C'/g1ם!Og c=(q㽬%O+a5b0SB%~b=N,r\FT rS5c~1PL 9慈9!=:rbf:8(56+9GDIy>vh iEہ9wQՑ+tgqfIn[?Y%iƒON/ޤ*0FY%4^Z1qƈ |% imlsL0G{J}OVxjq"hTg>;jRIH洝RӔj茕>Z,;?Cd,x@}MHĶNpE d{xy_>?U$yNj #r znqv}n0J]ɏsOvV7~cU۶mىq[MevB8)~JQHMr3)/fk9ݿ С=,7EVTڢӛG&Y-8+q:uT]\epxJs#?X(*KGkdLXNo]fOb,@#mmO2i^< 1>+WA}~劓TYKrI!T3~[vk\=itL8xvrwo&OaBɮ׳~WCڤlBxa<ޅGYʼ6 +gYZ436835234ed466d3aed3dd2bfd2d0a9bf29f62da963f5dbb395fbca1ebca428683961ef28be59393446819adabc01a2112e91e5613aaccebf9ba6562