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  i i_1 LT ]S]Nat-Interval-Logic:threads=4elapsed=24.241cpu=67.504gc=1.428factor=2.787zXZִF! }]ŗXiɟH)0%ozk.M—!( }ZjC{fG9J^1ȫɪh5&AxX ɐdBFd #܃L| >@5 t <s^~F6egWK)@ËܖAwZfw+J+u£_5RfLud1c?m‰lXMf׋vOs $XK+Aʷ__˲݀]ۤ+t]*ȼͿ .jP.{J=/er7m ͠2Gu8yߪGI~%u'J 1 Nat-Interval-Logic  VIDQ8_EkXu(>xcxšҷ'aկfJ6KķJCwjEڞUٞg?"o[dA>"# {r槥*3uånYjYC DEk:n)9ZW%h-{h'_vKQ=l.#pٟ),? .w}[ܺ z$j'-%W"e?.'"ހ*r+O*s=,&cfY;PO9"҈#?nkkL`0u(1:LfG*їv<&!g/ Yn) YfC`W%I` ŘܘwՕ@bI*3ntkBĖ̝Dj] U֖:^U3-A58`yh|Riu?x=Z{Ē+uZFǘU'Z_TSBZGw+PtZLOqubEZ'.YD:!5G8;=&\Bv M8ik|*τ>wMcdpzߓ%KjjJ^%:')\/=~4 K6Mx OgD9 Wj;ʿPUbv.[3FR88ZVPc4܎9&(Z<{ 桵KL[em!FZ K LƂLD&_(^ȏG+pF7/Q3t B2I5~%A#g\oAc+D[HOH]JJY\RуԂ{7)lB8M6;h(ɞдE||Ccǘxs%܉ 9KJ3v>o˱%%=w6yvPDPq&0wp5g(f%(f# +aRu2ѽ+*ilS7=8#}Iƅ*-:sz|DŽ/ Dweh3r`6VeΣV[*yKׅja(c\gb'70]-&@;x] j2 Fv 7@ sC{J VSh#5'6;kcAxǣ=%*+~ͤ-Vw.g +)$au&QtaFԹUE=o!hC4f- vDrՂy x`#‡zfA#9PhzqAxiU`IRhs5@$V( G| x]MU֮]pgsPb1wư !AIf3mxҀ[n?jm34N2ʛE꼩gkbw:BW#M⺢I j#xxɊ٫ ]:G.IƖoi3?O9^sY>Zz_G:$fYn۸737$m~R]?ECEr>(.!̶|\y{n;GgkPx&'^b烖o(Ot"֮a}KyXzZŭ5NlzyK]~I`CFe4|mɯ9n#neE YXRyBU; c3CZ{"{$\'~վ/iJ tH39VCr. S)gߩ__eF=G|Ei~$k^EfnueidEZllڽtq E+bfeBآpF/噽;# 5ܒƒ~:ڝH~iS "Rqeugm #4'ܶcn'ٿDB0/0[E-(v|b%ja.|jާiUO&3޻g('cIlAXN/i2IbR#[!>:MNf >@t6y#_Nc9߾~CfGcգQ7pF_*tkUbd͝qSiCj0gҝh@ߠǘWN{I+ts2so & w.oҕ("fMPͿ/z \7\{#J1EW峇HT7o%FqYAp:&ͷ}4l˛BGlT&)pwM!.ghe3b#e]ў|!-^ J>|*w@MaEZa볊} \Z `t(h8QZ>G<$}#5J$r^juW1+:rwPovEIkrcYNkp볊ɜV`H92,kGƃfp}J,y2^%S 3_vz*NpGL6]z*?#Ɨd72Cט슗,iBz~<^BҒvS|d Wa~e|D?O*fz?lëx!x, |obnXP\P^i܇.QDqAt~܉2$/}=6t "n\ yv`$4_;ǨS>Ws$ã򃿭hF{Cj( /p!]wl 0W60?P:vSFҫ1d蚇&c`BD…j^:K  H$ ԢBZ.yk;y O O&xTs?\&&`gj.Bz8{1$GYd&Qk-9 6S,肵jMȭ`ELJ{Lx՘/_ pФ] p>IՒ!q3q=g?C-5|#u-QXh%+C,]P٪oPk)#6 x)V^4JO= !Y *vf0:sKFh5g+*($2]}(Nkib΃ 1$0co=Aj-H\fJZ`I]*"W-Gl}{y%^ׂOoj~Jb#XiΫ^ cb;’k-OuyMCMw뷜_RBt~\ HNg^WI}m}EQ9'h}[-1s`՝;`xKK6P>=ZX`.ybGGy.+F-B~>2Ry8V/j?.aa;z*-k q6h9 V3@u&S>PIQR9{TzRMSw|XlL^﫴Rza"b41YON*Jek^"̜o0u/Vsg.?SBo 1ߗ]C&]_>!jtJ[dʢw F x8壂Ij$wMe}ȊA_¢qa.]d+Q/(7b};0fjm,;V_tVHpLjw;9di<6Pr?$wst͖E1y/SLqb$.+pnE?E@?i%9(wkc+,S:.#Sl-# [Lil=ͯد7!^0+ϋ ;(;]u+8|4+~ߚ1s4<}i90,$bS3o)#w 2gYCeݓg<&\[VWNiKXrؽqHA/nB&@(0Jk0 +{aijۍM_jHQ;c U99!*J~c+Ku c߅}s~/2 wIr ->59AD g L谞`>ݛ^:x 0Ԅ0;MX3[fI*56ڮ~ b*e}5Cux 9 xuEk J;Tܽ_koFS}rҧL3Z&n  6r7S%p|j0jp4 "i3:.}8;%qەzەPC  }<k9ㅖP*̽BH+Y̺܀!J28ڗz(s;/Ѥ~;,YM'{6{\l( 9>nqq>wQT8Zjy~UOa\viF A ӕ.J~!<̱mPy,3EbXZpX0 S0_hՕesS}P3nWajEHP`[!i&ri .ƍs%#7lM z軘?7D<_/cLB%^Hqn {6xжlûjș,d8AfkQJjI+@ƐDGRݲ,,⾳dbRՊl[',0HӚ 1w2P "Oh}hehl?1lgJZ&"dA>obl.t{ ua,6ֆQGK 隌s{*CQQൿoŌe5"pta<4v֩ӠՄă92O8B(`3ӮskH雿s] E])jZKX*EJ 1gY˃vo4^TTpT쥰yN=?N=ïf>faN["ʉ p ՈUČ=S'f[uv+" iW^O`B6Ir Z"<$M6r%O՟spˀoz>nz"|ϑL A |0Kvy}&eZvs=DJ/]"Տۧ,;XCnQw-<2 LkD,OPݴ0318. 6:jTn&@b rdN<{Bk&s56}aҶ0|J=L`-m§eO3Z ua{dp *jPs͒49][1I݅}\Ow_uk% j;CaH1(Z% ;n|Y7%n4/dCUSe?Zym քoR4MUNeοŖaNX-+ En ت6m0X$壤'. v3 kiS&{[(PKcစ'*PՙJOU1PdMW5\r-$y )&.SzS8ax+*tYqTtV j2l|^k]k2gz'☢6$ۢ*$l'^}zDM‚l? kezB~6b̠^(U_%w, >y8w}ĩs] "擟n7h^-kSqpk2znH>tydUa '&[H֫ ghkZo^*0.h@2ܬQ|hsy?O52k"Fi/d.{o]Cf?lD :/udd{:ypwAo?*&|G5|6lg~5)̈́O΋ "^a_%cΧ&Bkg%oI1R:1({-ˉ'|>IˊB{aLFnrOM(Wy _^X:X8shP6|0 6?D,[f/42]"ZNz:ڜhkڟ^^Nq9w)чN4U:ȿ!-7|ucuSk~͞™ו%7 WKKDM2,Kb |vBѫM#Jm[,De,l0}sș4) ^At޸hu"Hr&%71"Dw잉c1'&S͞U&7*Bƶ۠%YEA&م}Ry])L|S+ˮc)>'m5\hTUy1`RwƆr Z%7U'> maTB |(-tYA(*o'Sï\6.W={Zs @i=v`V.quLE>!cohj?ŀuB{0˺2 b ™H˱A іvDh_pYʻm = 'kf:bǀ>v k{j`N_]͹fT 9Tӈ >!=.- S by=\dB} ܂:\x^ qJpX]]fy^f<*%Jׁh:7,uՀ)d-^9NfmO=0&8j[U[ej>!KTΉ)@ppBwpCZ Ue cΊX<,%TE%g^2coBeZ< jčagzx0n6dPf+; !99ew!\cd.Cˇ?Дq&v̠oG:>)ؘ࿩~,s09>ԇ4lĀm'Tg|?{kI:`ҏ6p~zpj0^KP*d,p~)&0 (*. j:qۀi;H ɘdnts5o#2 ӓIbC(TTmiP+=L{ n`*򇁪Qh Qx& YtƎ;cG9Я#N!R[ѩsMA `8pO_g*7I%^BLyHZ$0AY*h8 :!mY'AMi+Ŝq2OSbU2T2bt|{}Ѳ_E.'ҥFǴFj++ 3 sLҳBtL~H®p-:[>p13L!V1G2z{|ax,Yh J-.OQR?in YRGH&d kW#fBveEM6lAv=<9IEȚX$z0%reu !w5%1ON !W\m%;a(.TS S 5zCGE/?f\o*4=AB =8sBb⦇o֮v+w1C-u~Pbuq$xZҿvaЉ[4F[1E۾.{>a=pOhfH6XYH_:G"Zp "@ cL-y~9H jU`='&n\IJlMTU)AO+98xjX]D`C?l9+stHhcU揧:Hf*%Rhs#*J&>H-,3`ٞ$lz+^*]`X1/JƯ 5U+ 1̫&B tgDTi8:Ʀ(H ,,Q%/?Sř?ˤǤ 2YMh|ʚыiQ|}QGac@$ءѬY0UjGDy'6YZT|OO"a?QߕdM{CWOV)@1:b#[`fM̿ecd{;oZo,UO2]-f%qQAB^e$E3G*-CCVJ pV<лNzcy(єsBA`@-ϞyRt! i(ŸgobK]ZG}f}Pi!K@&ͤ3 *(ҤءqA}pܦ>iv+F2Mx&msqxJa6XT]dkY/T5œ;05X,^A|&j`70Xnw$lzdMjgAI~ 1"^b3x`+֗:YKLÜו}b^fշa5C'VQ.Ws Ptg\='t:@$bqiY 7l?WJyX:d*&+y%`|`kHqY;/⣦(]=M_ ]^_}w>84=][R?b70s)˅iQ,ji>*h~z IߑuZI~k&%'Hi6:\)1i~G.oF 8B[]ul; uxu=3hӬYDY'9F]ǵq~ L6|mþT)*G$@EFe|e *J!bu֕ g/Uqa1n y0@(g&Y?Ƈ<rd?TO:fPB0Va~@':d;ZힴدF V s(pRY^p@dқǪ D rCjr8|}{7%X/;NWho P p8o1 c ?w>.v'8C7Z-U%gJ{$|2w/ owm>Hޑ0Z۰lI(-Ks[#c./iN^^!Ra~ͱ6>G@*yRZ-|՜$G[=CgZ`9Oe>aX{p)s5@(߳$ b# K7q00]}B5 hͮ;ki`dlwwE× a?A뵰l $}Y .BD K @-覨K {ӬV8YBd6n?$9JIՔ[u-3cOwI A8'1AWi(zE>whC˓BJYF7zg|r4LCu=m?kV5r}jk%螢SC%\n)vFo^0(i񩺺@$_+9HmȓFDp|Qn30QO> )0?{;q{tPX<]A1S]w#! amO"ҩ!mqDFQ 7^ڪ`~^}S&Hقx/Bco\=Ȧ oZݸ\6IG!hmIWIG{4V}X]V:ߑ۫4q%:`z@?սɈ]!_u5',IYxǜj9W 8H\$)?Jl&71hi?w#N5lҾ!7NVik2q=n+ՠ qhpzhW\6 rRDJ=[i_,5KH4pUTC6ļjai@Bz(Vyﴝp~*q#s"qF}["Vz@9 &|4oSi4F2jH ڪ+2tBvWCܪ{o (5?0KL=a5Ŋg@F zE~e>1/I0QjKקWjz _EΉ7 8tk!N׎]c<9 ߄dBH(xrmrP O<Ȥ6'ѝMW v\y8}IcDuBy۲@Lp7hbv| SgF~{7$< OH>ZI[)O=JL/+(v9||zX0 Ի8MKUre,z߰^ )g<"mj;2 sR| Zyz-AȻM"r3dMl-Sc.Vx˷ .G0l- E/}UJoCUg<ffł$7aT`y=',<g@}xzj)B4B(˳@!v,̈́ yƩWʤEy?UB犒U> 7;¬%B]F)8rd4*>TކS×Sxw֝FFU9iX>- _X0UB(ŨC 3bC^tlK|R]sDi҅ A<2Lvi(z;&Hݩ= gxX+yp].GpX]-r 5ػF<_{YvZ}ۇOs/"W;EC& mہrٙ>[S+tɄN9AQ|j֕$/|mJET3s[Zz ligMX|m}Їvlm{KkJ gϋ=M$Ox͞Se^lf U:Iy俟Fi}í)zlWrKND x5 b'~nJU:{Ȫ]` LS&fO7PqdKAJ*[=gw9IscjfPrc**/R<}fNu&-NJ\I3 4JySU0*-TYF6TCyT(4`{t_OdlhriK >zrkmeȑ,|{!P ^D;/d)!)W4yVSL9LHjVzVɀ˘oT͠M7[ʻ-Nnq^Ō?u䯽iNܨ0El{I4DuZBWvl*ëGtX! E>a[cp6hiY)|`iC3‹ls||ݹWesFEi bI^8q4jw,00.G.*8?r' Ub=牒skh麽j{"vQS4)YcلU`m/#]ovRị$S5 5Ŵaԩ񫪦j8tDۿWuLh9>j) ƨfWt4*iMcv*m2]ApD"/^{Eɻb*_ 0a6^~@tqwش=Y˓f+N D!gN :?!gBåتf>G BV%dNG":_p#^kw$/'#ۂ#ԲijN>ٴz$1f}{$PvmaБs,6r 1({ue3ڪ6mlj*WnPV>*7ͨE_.tck% \9n|8%rjԻ2v:HN]@|Q\?/@b&1\mX|st_&{ + 0F 3Ǩ |vidN-Xc#[=oJun:k򯡅k1koNt0gx0=ڇjG,y2rS,,YY):"U%e}GF j)#O,-:]LWfxC8=뼡uO]O=j쎷R(ӭ[ֻˮ_y,/,y(aj?dmyp} =t D' z%`WKm AusiW}.ZDlC{w&O^)fWtпjro"rG{g9-e3:ZQb7/c{cU7l9R0ucJ/psrbom1jE3i=M1$x&^\ql5C~o0v"]<1n 1ޒsRI`z9dJ}GѣD 1$NKx_̴g~iM9 xb*=m} *aa4 YL[tHRnZu) D`G4Ңwot<20 Z>v5D1֙ n (GNGOa50B!h0\$;acw'}uYM: Ɇt]Z ^'w| HʆA,)T)!3j9UlfANAc r}t7w@V ь 5 ]<ܡiO1 x;KG Kmr6'Km2[Սa[t GWc5}%>qG&x⹧5[ Z\E_p^qE7]a':ۡNT<[-GLr̓GpaN{V)HvzקR䒑~Χmc$qz,8XN_Re˿|IT`%dFu\<3r56X +R'pQG9zԒgr!,-hiJYr .VQ paQ9pu ~F9g{'ŕ t vﰰLza&{K: |wv ;D;7L J5=r;B5pr->Q "hX[{`xZo7%D4 Lo'%[`_g$"b]գs+@/ ;%)Fd/\__y18 7 m};C^+f"ßȰ$D$El_ ꎐqх֠95o/¤סf`FYvidrIYe'^Ez,A GYh"PNDF֡WmQ ȑfivMyk=x6]W 'DF4 R_¥{=?.Abc˺X$ ~P $6N`޶maWfPC@犨T'KNwQd:]E 03c KTaEoc׮FV3.Qy ŧ6;A&s5~9[I"0spo}]0zO@8 SF,@@!:qK~x}4/dckaYqPQUF) SzcWzqQK-Ah@8iĺ%qF0of_D r1K!&y?Uʴqi֤7P&0r u>w>ʂ=i*} ѹJtWN6@;鈘eM9,.nKk"h o/1m7j:D:]zWɭy99EhAoQm(OLd5v/Zgo[OR nNȶ2@PjTxN8P~ra{ D TB9"Dj@۴...^5zD/$xF;?PTB!_<ȏ}-IaRkD4uI-:%sԄ<<--_vەeYW7q@4ᬑJq4 c7agy &^G*EG%B7^8 d\GL[<6A|/Y#]ˮ|I{t3!=:Y {O٩{ApU>Aty P> Oaq#WfYM]QE~Vy86\Tb~cC<awao._(U9'd)\=fj:)Lg{:VX>FW$lz9蚅K2BYhjAN^rWoz6b*]x͈?$q@ԜVeg"]ywB=2hw]wZ &?[J*s yFv {P|XE)?0"f=> "Vk7K's4ձbOd9Oh꣤) ~"/FЕ"LNz֟bQuTKsV:ۖ_tCޟnr5++̭MgU18U߅e}D g)̑;~R6߽Ak7 +C9w,MϥӦ.jm*^'itEEDY'`AɐGQF+Sud$b4sr=zl,5 ,slGa7c9n6qW_L+NBAjk{)W.vk4_}+Kƻ/*ʯ>KR"9j6ʸ}qIE_lx3p (ښ=y(I|M"VD@Pg~Jo=ALתRV;ܙ-C>u`\(Hglm)< $q޵Z>hbiCmh"7t{G.\V4w!p7&t^6 U*{*E?iY8 m;)M@kljį k`:cbd FrL3n"uCɮMa(YGtlT)HQwzёD4c.3j Hb+OnHhZw- aZ_:Nk_N4g? Q-`2dɌ"@:$_ƞf+Hl[C]SVB! V* ꮣn0DWÂK/!_םl@@PEs*:pQY>B+QrvBMV 'qQ!r3g)³KH<ٿ%z/?3E\x cR0;oAN2( D(L Q8+{PxRB%sY"|A:<&a@s΀.=.Ŧ> JLksӴΔۍqpQ OzJ7\CNWtuzB0HRh>CWZ7>h++6:@"g ༢B9~aQ~wkx6@ SH0bPkH )ݑ6OO%2-nV}S.^y=T1,ĖF_Gf3Vd>Ea˽3nޒhebz37ۅ Uel q*[-FE  ]ԑbR77^*9Yp Wt*sB ŻJ:siܮf"./T6Xr5|gt@)94 fT]̔d'MTR?4U~T C H#ћ(IA\<~+Zbש"pR%Sۛ-!NBp6;R|aK {O ;Bcb$h%fEL礥!Nc&hOؖBvUH|{4 f>qlFk c:Q ppfե~X& %F ~ s !:܆|=8$K. s_ o7rQmS( )NCGẤŦ_9_ ؖB\c>CqmjG>%J`zMoIEi($=ҬTIj 'ؿʚQc öIdIC]*(ZU!-*B2UyϬ iϹ`͊nVlq LʞO6y NWY LO!r ?; 2E,,z_k31j ׍J#DDMȄͅ$.PҀBqp2啵7ڇa_iIevGMdWi-=B?YEĹKV'˙Q4"$+54ppyq=|_$\NU9F>;(&X"I, )?uc^Bf}tuD,nWl׹o >DPvoNr]:SbQahP"i ms,+( W b; 2۩)#=c: 4 J8@`6bz1k6;IS@EsuvrCoJn{0.Hk3tP1!ĝ z Xex>WϞ3?3(Y)7MO3.Q*O?k&[evȇ?״0fGC/ 9=^bx^(MD{LU,EXȋNRvCvE 5i<@E jDoQuTx* Jl=~$.ԪsqtّDׂұ4_RbptE1 +j]r6gŵoI BK^cڳk+`r\>@Rw%}gBU\VԷ^J$/E?M+-5ả)hOC;M5YI+ \9>ݯV+( o]!neUTpxɉ'Y1{xW9ǟНۿxPr✆H|(z>sɻA?,m׬ĘBgQ/P\pk#Qf7p h.8ݧ"wHv|>37ʾH\W.bZ}BS[krr|Ԛ-eq-slrW<#:M|(P璝;i&:#J Hб~kc8OcCz@yZ5FI"bw`gY{_8י,2'z;}Z.;oYܯ/iA*+iwdS}i.ƚ3~i=V =VZ *jmyW5]Mtk+fQFcɟsUg^% m&Ȉ\dWk CuYfrbXA|E'R ) :4^&ulE: M)lƈm:|afȥɵ`\us ޔ5%M}T#M閌)n>kwT٣<Cgūc"w3vN OYno&KQpj[حQX7egJg vg`$ak#¾{odn=!+{7 _vx?˼G}u{ nt. Oaվ֢Uf*:>q~v f9|lmd=~+T's5㲽5ΞomYBfb/(V(_Z8M 53<[p(do -M6a`{V6j78P|с o0TgoI](,>hGWKf&O-t;aoL[<Ī!OkJZ#T<F /\qxx4Tj9ALrz2U ‚kbkӹOT('Wt&h2I0&+# z5^o:g|9!m1cxAm*T]'ל͟":˶zE muq*I;v6 Sog+vR޼͖x*`a$׈9[H) gt>K&!u`e `7.x,zI ϿRBl?t!q-[sF\)h.&33}dftT}@fl>z\^y$h xDwI{(T|ɟpب_ (b&29M1G *@?\_9II^.5A`{ qA4FBM5RHzLSm)V5P '.Oql1V"u[63ޜ9қxQ>vKҬ}1f, RѷQ/"טN%h2 TaCGb%xۘo:<\OzxtIw7$ qJ0qaqBfܢ)bnLHKV~2Dt!42 WmQG٥1V E5)(/YwO-!u߳@=kN'f qsaQf4a*b@ʒ#q9LW䙀0(A+jxp4~u E5A  3r'9jW-($ /R4AkP, FF1Q~j?!j (]`)"͆2H<)b0QǞXWm9It0#S&4$'Hx<1X䳊Vb;pIMz~A!s.J @ 3=Lemz,Zw :}'Tsۭ_%8[iXw"(Á'OÀ7}"X"z%o9KVrL'mSU}WYlVsUVZ;U I7?ÆKOYm-I2vG6LU,囔d(y; y֗. Ql>"=pC址Hk5йHx,@?s`a@kf;2S ޵Y r7/_q:ěsD~/v/n Cd~D2W&˹2M P#4=s*{הcTI[S&r#Ti-:&G* ""ar(SB!c/":p{W6p1ʟRD !9-KfsOYzy o+oeňc,THMRS%uz.t=QC`jZ@Ǒ>`6%pWo֗72}qȦqg`KBŵxǂ>dCW zp Shlz諎d(0>[$S"s]\6ۊZlTÑjăQ>&/~1&̔[ - A!GD}ѱvO0f2EW 9b6~ wP^Q@? &LA3 %+ uј2Mߞs%AtB.['@U LֈmubR[1lL 4_ˊw1fH'-f(  &XjS=PEJgjMбmbvJH jQQ2N@oLdx4p /vo\v)ߞ]RuHC4᭏<0;/GY7oe%zf1;A>p.?9j8g|1P- ʀp7FV'xeҊhZdyX4P:5W{!~pưYm(8"\5[xY~kwi?djK@EvTk0Xx ԥM[>6{y9I"B`S!rp}c.REäz¢^o{e"2*O/!_uծ jE6@`R\.Bf8s+8&F}-@]u֞K??'E.^'Y^&'iR$[E3g%ֽMԙUxRĆ/|U9Y2.>Cҹm՟|x7tv,spJ&{{7'h$ Cԩ5=d~) L"1G-&ı#83?t~>s5M2+8C.Xȉ3++(1lh՚Caag49T~fb&CggQ& ) !hӸWTϽ׹?/cӗbڮ+"QDfeE4r<3SSR).}9p}2kp'!! ⢏YAꁂ.蠘sy顛";x=)JO58]%C^8;âv?.rqE %mЇs ^VΕ ޚp,> I6Bb1 ^,91|- ʵPu!}qw@4m1z)#$gݱ- jS4 &JRծ~j?ä !;b+4xۛ|uNI71؎di"KHJ6LÞ[ mO4HTjB"ˏEbM)AVu!x0ڛpf;XK0jT#`Kt/l17(!~>JgzTY8w/֡E) Cc^|\/#1؃xz r B80sx&Sq$@7]Tkjs.jnyF,r@oMN{2t̀&+͟l,$!Bнپe*C("|ԘmY %0$G=΅aY[YJRnŬbKr F_#:HId-3fdÿOGWYɴz10Mn]B͢0n6OWB: +4UP#UOqمީ,$#}br\[eOq80H!CU.6n:Wg#rGlrEU׿fj~xv}GL˅(SwCh9sH\_CyՑ/2|RB1cؘި&ٳQq0R G),%_xXtFOC g=vp}I 0_z& Lqd|Vϕ>̘I-ftȭeZS "J+wsWdirib'Cu{.P`ܕDj!\wYwLWcOcYn+TJ34{fYAkRbrۋbs7{-{ ^u*paڍ :~(610x~'AKy>1|u(ck龔#Až}^=ɖnJ`~}-sJ|Jtą!awS6Ȁ4f3hChjVۘMLwƟLDr]z 2.Gvqj(x$BgD|ky_4@{O9βPL-4i};wNLJ%CWSw ˔BwB {R34X~ v0W5ڹd yA7hE}gWηh[]5rn"̰QA3KucʻǠƒlIDzv/ NeIw7 TWFXfc^ sZӐ{"wn(?7 ΐ'εTQCM̼VׅVBacҽ3wVT^Fvz#%5$i-DX:OkS!㡊fR'}*ԏi\7@Gz}/7sIDseΩ. *N` QFj<nAƦ`̠ʉWAl:KqWlELs+CщBd\\ ]2sŽzz{#Whh쌙| \&xVoH'#1ÞPr;q4U)j-W]JeF?.8ZMZڭc^De~ \Eq5bۭW"ҧ YU{,no w'CL˂ ۝Yb q h:+s->|"ڠUR˲A{'vU RL#ʞԾEo dWĥ}*uN[)զm}L^1ghD棏/t}՗H;sY<OU_nS&:v9%MaIېn,?A>*T5dvoIY-UuvOlg_s7Pߗd=֢+U5ȧS-v>9ũ1MF^Z{|34TcmZ%y* W?q D<4cC#V3CZ6Nvӛ0R&s_SOǹzh=$x' D1ײ'[a?|x-w~ب W++ӌ𬔎Q cȜ%۰`'Z*™"L9b!AMia#UΜbYhR/XA5Zs_xi|=V"; yiz5C+wd\#OX HizkS&7ag_wwz~j#˨?F@W8gyuZ8 ebe:b- ~m,vy];I M]i4yo./"F1ʔ$q6*X[pD#t{c};L悂2nHaj+HUDDϋD|0_cT9p!:@ ǰK .hJHCwM 'jlIDTZQR8aʙK˄s $i{s/Z-=\+=&8Aڹ,@ɔ-'`ɭaFmՎvחs?c}u Wp{P870w^QuO-3=6O(aflͭlP$@aJ =.л=;y.+y!Tu7S dvE}6?:OaT=Ii~w3C,!_N.v[IuHP9AG9bHT&I濴6яsE+{zzP0cfe^?4zsHy[[]Q;}d"jhKG~"Ri}\P~2CB'BJH%%[_m[ WEHQ/|4WUYq_5 LuHoݒ}Z;yuWgҸY؅9+J$Wn4' )PNY tiҋ-E(<{vћ> Γ o)!`X&|:(q|5*1l|b.X1̓迲AŔ_ =fw C=GWg]A69rבhvfNJOTf0Uz4Oi ϦXZ%kŰ BkMߩLc8;W޽$~4~ nV mzSN7? !<& ٠VuRDBD`kA1|(Q] UτGYQ)*T Yԕ8@kVs_ڔ8nF$* Ѻ}È".?Q1d~)I3R>zF-4ōG&EEq'o_Օ;+"ҞQS-|PIg>Gʫ5J\-uCϯP3nWVPDY.eF˒;n9|p A=V98s$݉}+z9Г9$tMEh*eG$I{VNO3 C)קbP)Dh/Me/$jua:29'kA(Ye; w2Q~nT}52w>Q% )sMoHfWDZ(rԷ6IdP6Uo^9l&bhJG @'W|0ób߄RZq$ܱMn d$UɲuAJa`=@h %Aƴp'f-unTt#g)RoC]90\ !|R_SHS@ݴmp؊QI]58j`֝e^>TP cz~[ﯙ=6h4)ȷig&4zx}ş=f8;,IBýޣM¶ Z7cwYCw{? mA3KXUTgW*-zSF L4dXf&:J)R,v#fDƬp'Dk}/},pPVj ~RVJIhƂΨ>s:IK_"bEKS=$(3fHUBcˋTo$&cupw<]EP*fT_^P! tj\^xP~beHr®Lƫ_ `?w8&6ULԧ5of0s"14@J,[$\B;RaRDbF3JtL'H oOUcߖpoXćwD-bJB2pA3a7.&659 [tL^TMGVVֻ[r$}oxC9F]p9:78S Eu -={ǗuLhP$I&"zFfg*wݏVcl;QlOMzpكӓ8va1[TS2^ddgl!][%ne*i9_9PF3,±g{t1z9ʻ5([rңc8~NVS*VP&.tN(5 VߢRf=mwJQۦ%!,gT{yCO;Z -pӇP9'FۧBN8`Fn =O''=U~}(^Z}{w,v{і yllVq U#)F CYE%XKhd0v$b,aZ3Ҁ)Z>!cK)Us!6yg Ez4eAYrѸSbLN,sWq鉋S,lx F{4hrD8|Нaz̙\j~_6mgGD"ޗ/CJȻ!C#1zW*M0.݇Ϭߣ(*qI,E$nݡ 5 0O0U@bnE+ĕr.fPpkrMjgĿ"zsT %( \gUj-:{c !&a;QJ$,1 {_ݦ][ 9fCav LSz /Ds$Q+wR>(\3wxz8M<£[d%&nCVP6-1I.1ONrw2x)DqHƁJ( irҮe` n?҉^6D $9Nbj ?UBm cgPІ Qb<>Ֆ3Iƭlm> ' щd BZ,n]qS:$ &Z3QU더U~s/ϴ a8qˋ_;mV3 X fEHȰ tVڢ04{2ry8Kt鋁b¶x 4pHõ])7rt/IS&\9k 5xū2-ԍsŦgAQv/Ap=l=^_HCh.(IxCdpBFeնgX@`ӯ%_˯CY>s"w.M8g?~߆-DOe 0Th I$Uk_G8R⟾?z LraRFQ>cmyDJKDEi ^{@s٢p0贂<e2$Z[G'g?pֶRѯy=U޽UTJ+\Lq"AݪBĆN !PZ9.g_T>}}Z!޲n:>Q# Y^dOy%Džm\߳uBkJvr_ P_=a~Y-%aL^^)\2=|^U:4K6{w%p3;v_nv挖 /C- vEnEyCcƵK9v9c-Ux#koK1K2O䑼2>zBK,YҔjNԸUbjK4 C 2D9/A  m~q$Jm *yA{(dM5 .qHh^sPqlD.nL4#zxTGq~  & PM`0IJ.v#w%8{Fc\v0:2TŜTI{Zc )x 1q2?KohSgT3'˱:$DhDܽ/+v ^ĺ*['Ra[k8:{"@RMF/Ld?`wj yFO/ғn}OX\ +_MZkG9*gp s1Љҽ^-` mTz!c9CQ͢Cy ͎?᡹E 3_)#1_rHr1 I ڷ[@^*#W\:N[cS9Al%( lO1-ިl*3j DPjNu'+JJps!׫*QKcaNN;A=|+ġXX:ppOՠ2FvW \e\ g[`u-3k4'ZLxx[`ylD\aH̓3W!{t~hJ䝫u+~ }b '2},cіd~aX |K=,]&Ax,ჲ9hNO cQڿpʦ y)Y+?yI4RLTCL%@K jRxJD7h׉yiԼ'P&gF0ͭ4b@g;/= PtS )zkux"φ R˫uճB;_?Wh:xj<1&vjy+J (߶Fd>ڛ8H䝭q@y&KXkt Z(I52tmRǭoRW+P5,X<&cg쵨Pi2v~ aF8&FHBU[==w֎Fu!bpO+g=p/[ ٩EZ)hGk&qT0_Ϻub4,c^!a t)]rv`3ć솬ޘyw,5$읢SiRIK= NY!鱞4aA\'~bv(^(z̉7PD|+:}سvoQWB@zF`2uvXMM9w'ж$+'.N0OIK@Vy.Q(m\!58Z 3>߉)Uݬl'F= +&j+DhU8Qy7M* KOwAHa`#%M"+7 TdoLM /,wT~%+Z$605SI /"hS7 u ]?y0n4rJ͊?RoE!\ 8^sbP严(&*]y1ƌZ 0ͭTz3 ?Y@NveW ֩@~ͤqaL*βXUhqZ+ ;+5tS>.%&U#3Kۻc ] =n9n/pA WMUȘO\W9ŀPg!Z>5ǽ!T]R[i|T7mhhh^g} r`LWm'iB%!2>P^ē[‹ 2)I?. T8ϿlJXo32;2y~nK6ΞeMNK&©vвi|pLHoj^{͗WI̤XKLFO>O@aAM f&24h;E_I1sɐy !Nrnx@VUkn .¯:β~g2QI76=&(y(Ҽ>!;1ݪ \UW/a2hx+QiAGB_`̝C^T m*'OИ%kd dzim|C>Gm\,N P52K*wMT+ID}P,%iNFW()pt羢_a8wx!].\aV' }1px)g'_(1ʧ{.-qWɍiZn^WoۻM4?jw2HǢmYwmCh",=0CaKS4ֱ OqDXXq-->0PadCYM//MAxwWK do\?<i?Ch;Ugon-7 ;hޗwְ$7]xi͓TWdĤB)Z.JbRw-)V\GLjKt~sL:bAg*'Ds3K,Dޓ}?khebVI䫺5qz ZF}WX 󜧭O KH B;ɋZ5SPySŊ(N%68vA'>q\NLχ".My ܔ̭0m\kӂ7KFEj W%3N7Y/X-NZ1Ёwy-–:t`wD%^N( 8) ?֪ mqJ蓥vz+Zl"•7Õ4;kvH<[=+b%#SK X@ %7I`U*N_^nTL(- lQR]Sx?ڍ*^ a`x;=K|ǧFtO\ ]ʤyC,FRHV>e~.12f&ezMxwPyAV(E t)]P Ch-l V)Bu̐S$OBrJ75ޅmF[eӜv:W*0[`đZdp"F2qlCq+HFcm'1 @z# yrbu6&Λ INB,8iN{m!F~K5tLGHGh##ʼn1ù1uuL_0!0YP3dpC{krrA%hO$}#g{ eVՄ ϗlJyZZ4xWQAODe_f7 mt!׏志*mp DIv7Z( Vq9M ρ/@{k^g0r Wd&,gjQ7ZOa*kr{#ZB s7[́ $Qa Cuɾ0c>@|:\]H~G6N'K\f4C[*.%L`4Rؐ+Rnk$\˿V]>:znS\eŧ @烌Le< 7; ٹ$5Ά>};ԾڵȍLIq_y}wś 4Jrh^ۢt9f{ft mMX'JXJxZ֕.guYc񒤹$NhY={{Wf0hkW`i!`qThn ή%_0zC3hyM/g:|HY` a[4=z{Z'%쏹 (V^]͛MM+Qth4d| 8 u ;șBuKP"1uNt$鴺0'ODf*g醶J*ǠÁ; wDij1rkeLk)5@Յ 2QmI3 f v lt HzBl{7d))bMgYZ7zXZִF!  ]ŗXiɟĊ:4OHsS9?2N&JOQ5c7,]@BzZ89) Zekt5Bcf_9\AҹYPAwX\tT}TsPv/WR}gYZ7zXZִF! - ]ŗXi%L!l/z 4I6Md vqȂ(y ΝbRk 7je >R#n_3]f!90jg5i$Qi% Q"\To\"E.[ꄒF=|ŕUt*]dEnΟVy?n,Aʴg@ gxz-D-CD2 TkuBv&$68>V6w01! ̔(ԉF['y p Zrbayqv=^L=#Rtd5qW= (APs@#m\$uvg; P:?Ja˯D`z_N C֮OݜNZmI(#ڙ4r۾u#š2E#;SYV ç7zrV;ϊd߂Wo+Q@`=T~(#SzKգWh% Bpt}ތ[W\6Iy [zCVԥGNZF6gˎ8H}'}pVXcGQHWGyy'{׷.Ֆc[Bq t< 6Q9vj]14-JbX۳+cs ~QMى6g7b>C }&5M'ZXCc YDebST#a,XMŜ˻QDU՜8.8m<}k zx)g ;NkӀ^e0r}q+Dr0ģ38t0]>c,)/_E"$hQ޵ 2w_Ҥ;ZA- +?QTTŠJǏ 2yZb1}_JL.uFھ61,{9dѨ}0AZ j*;c>bwB}߶O×0+v3te[4oΎ a.S HaS9MCT-8_ȁZlG=d@u.E,~UfK`!ʖU'Q\mijݼ3kF蝰C:nR9m TR/QH$W `z]>>FDPhvfO۲_?JP;0u_/S5GF%vQUnu 63rfe+JVi3*;S(2T|rDi8/h }ka?(wC|Y5i2ˀ6!`uꍬf~fDc:oۙq]2E{$?  ^ \ޚakA3C -&0`xfl]C>Rt2i޸JSK*BB85ݡT%8[fMa-X~o+(Ks992S@ėdA_j,ϽEw2sWr:.l S@E/>hUD/H<(H"J7\4 &+dL#BiL?m/oO9.w6r^:$.v@]pKViI05#\T=CA`#8ރP|M2,/8:}9c~f˘' GBYB Cj];J8gigq05"U= qF%6~Aey~6D{^}@*Bpj7{j>t=C:U& l"P&?w6LubS=EPޖo1G>:\z)(`J& Q|U&S-}~l< —acLҭbGu ]jZHE{ӇNRH.>DX54 oG58%e>{r,vT1S X /*.VH| ȈG`:& b}޵NU:dhƌJ&sӬ97 Q7@#c|KTej, `~ _Kp_ Տ #A*HhΕ{^FC]