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 jjb%t4 ]/ Completeness:threads=4elapsed=12.802cpu=36.772gc=1.5287zXZִF! ?3]ŗXiɟH)0%ozi)57"b7^4q0eY7 n/ѺϺd^Kr+|5e`č믬]\uwkȼ!U\{sDs侩77Х}swj{߳s0?ܝƘ+7>hwB?fƓJvsѽpה%tniGⓣ'R1nm^% AӓQte8%`*XHHi24TT™S0'cws5j \7 ?",Ew:c* {96CYo-/X1 leB~k-6 `ש5**v a=Фk *fقA60Ca{y㘡G5NA*uM* s~5j7]u)z^;EJXA;0ؗxJ.v 9$ZU"񍥘0 =IaK'fAKVaN\FiR~އ\hٝ..6k{z?c`&FCcMd?A0Ȁr>P5+M? 2X$T2. D誇z]'L[VX0{zr1{^kF(X5J߈jTݯ.T(/߻,w}XT[ b\%޹ǎée*@!n$ %3,6uA(j0鉠2b<wrќ>p3ȑ@ =`]횖?N?Qe'ƆH ~J;-%_Yk}jWS?2ǜwqh1:`CZIT )4L<Ę\u?˅RϐFe^ͮlQC<"r@#fg0U;eɸfVؽI1R/pu_١??hjܐ oO,r1+ dσX&?p1oQoF.{YNkH xV귚4NGY]dbvp]Ȣ2l-:ɡ ދ7{0:}ű\Ռb]fogcCA5t4Jxv>M>`IBޝ;pأj ;-9ut&M vk 97xBk;?|_G8n`!+2'9G#<9*J b{`\3A ]P7DS3r /4 VyȒGҶ J%fPcBFLW77l4nfДV|OloMat p#,!ſSҝUQ! C1X\UQP2 rBԍ$yM?;?!q7R&LqȾ|2DDbma{ GaC/[MzNHR)(]2is_LI|Ý%—*(/&!<Fם>(]χF8ېQZW^^,LHw^1ZM?J&e*D_l[omDE;j@?%pчM1JM[^ﺲhQL]k~-\!zgy&|51S |P8/Nɂ{ɮ>&3bA~Pىntw%3^U7}DW El00MY -QkZ:QDݟP\E}dۮMGl=ʽ89'AlpqMM"Xa={ nm\CPMv2uĔ4f$tw9]0Մ|]  9|ٵwPض*0IX-lCCEUCh|mӭ9z bYKz>.KxsL< Ͳi*3C|GmUy0XwSiJ;jJ@x 8-/wo4⬍ 5Y3@Ug˩õjC;<&j&WYd|QAa'..d NؤbԧC]ʐ/԰L;Eba3*s{ |*^Q~P'77G۫ujG6t?zz#5I $OQ}~A 4HAzzP_KK:4*164?? {BeS88ޘns~Ze!{Z+24:{43{["ځd9F̃/Fj};<+ӖPI%)H6sG9gU2e`v 0AtNIv 6 xa"Pmo%԰Ɍqg:A̜J9LJ}켊-j~AݕΚs74uf~͢YJ$x|55yN ,iD&IW.GykՒԋOJ~? aU :owwP{2 I:U;Ků6>C*ۣ]ϱg .e8ˮL?nxNgm}ܶbqC-e#z@9$[Jc/@V4P0Э98μ Mi+mp I5UOcFY$ npP !I_e7JM vgBi։ϗH?ftC,̶.?4Ώ*7zF(Y7 CeO+NqG~{FSb̗jLf##A*bsd W@;]ogA.7έDLm G,1;^d A:m{R,!.od'4Dda|N5~ٛ#P>+1@ZΒlzy”X^<{6MA{q.q*hQ\lvh9;(4i'v]&>[b}L+D5f>l [XЀJEƬT7hSVW">sk W0Q$jy3K|CN{ G f8hi\Q|nX۷gjKjF7 bC,$Ovr8#YcWS"ҵ>)< V-ް7Zu@Ԇ`kʓ lL 'b&PaC 2:h&'H8b1ჰxCCv/H`WfI7WlY[Z6U6FXOJ52~&.Aw>KօZ1h8P9i[t5?ī7G/G,}in5'dx{_B!'5dXNs S[o-8ejw(D.-DOIۧ103^tLYcJܠ"$T P{: D==7@, |tr`=,r}ҥsrv:mq5^WՆ&/cD~}aܢY0 s2t1>@o4q8ǞyJ.]67,Wi7xMF1Gv}`줲ݑt[1,v\襋lx.\Dgl[x;P_jO|/ ɲuSL`P|7Sq:9RGsQ)tgwcǙ=8@I&!ndPt!w~YF|'@̇%5kPt2caHfM}AGQji4oSғ%\ JnϊJS ӪKO 4Cp w|ulZ?DF#fEvjоj ǥ*]Yn.YP |Qe™;PxEfۣAFJxGI˄n 3SwRH(@t덉1MYVtR86KfuxīmHBhjeLH+P{ ci~^{I)T,E牃:a\:c%oFB~O0Wĸʽ,/K ˆvq0!idf3" :bد6^ Qz ]N7&+Y-g/VIYav}?9fa֋t)z{aŦ&% eI,z8"(hh0Sq^Ɏ%:C ~R͈ܹ;mNl;C6C ?i-~gpxS2jLñwB˜V96+K!$שkİ8A* tKal֊ | 0u;sWRvmk_?*UzG9xR:/8P|-9̻dyFAc0eVru+pRO֐j0ê20ݜJ89 %oitFz(V 8l~fq{D#Wx'ShӤ@]=6Eİ!U.B%Ձ-8c[=bkTjBtU'2#YzgXʵd,N$p#{M$Z>=+zo3A>]!be4v+ȍ+(] 0蟿isŨ a`f(ݗ;H%WXh\4VC\^FN1cXtorj_R\#2I--2¨Gk[fC|%?G' |O7*Iq j֜؜\)<,`!"lȎ~%më^ t`~A\6k!w YϿ*pMF,F Lp¯oVI! 񎝽 ^jFfs%F'b:^++F #B)n:6\^k10\Z[jllR` N&U;'YHH'[JȖ> _d1k&; (h:ڒV4XhsJgGܨA@;$k͘" L<RB/鿝ZO18A_@ &kG=>ߚ]M'g/XAӀqFC(FqnD˓(\ڭwN(Zv_~D+jp 0bU"dx ! \?o*<5U[]ka߽̺Oo>bM/qaY:A۽*rTI&;ʦY&ڃZsۺy=B&PTG ye&=B̖O`W{"`ىxtjuQZ|G8oL do}S^fq#sr7\exVA9n=hqo̩J~CeKkr>pqUfljlU'kBr&N$pd9zxA0)!>ƕiK}oI.~MN=ł # 8 M8< gP+N3Y;nY9-)m ^U.;>ɘ϶hFӶjjX&[u0m 2&@0,FU&J[;p%fCOBH y׵݉A?|zVGQÌ6O S0kk Ho$cw؎w];= :58B$U> hZF{0 niAIK.1uaS`xg$Ӄ`#Y";C#ߓ뙆gr.%WrcrXŬDxT* #˜faoS "d7 vW{}yt*ITexMo`%4 +zL:zACi?c^8tušwe.aˋ fz3c>M1yQ%,T^>$)ZiAN-J G2h;m3jT^ L>$8r_k mhك gCˎ-Dg oD ǯ5DyxY xTXC 2}%?$W/P|ɨ~c^:DHn[򢔃Ȑ@/]J+$GB4ʩ xM¸D`fBe1#p-GuiI `It (o;^/ K#Vpo?;y:sw&fع CZ1))ujeGΏwa@3*2xH)Z󭾢:<3dsP"]PJ1Nvܣ'c\N2sRAz M^^ y[O><7R͖!2 ԟQ4T kpdz⨎aP:;My#1ur5Qf7 M79V` h[D3X?nbY1lxw&Mghs+ӽwJoy6X}?i}]UV]NY3wڧӹ  ʝ+cv]*%)!Gæl"%ƞ0/:#)mL!^C(̐s[>k eWަpsOHlhO_nb}J(pgMl/soxVBP?#B 0;zY YӋ{ &lcb(PW_4%3  ^e nGz$.A@JVBa06ooKUK4Yr`J|N%7Z>2cSfZ͵H–N ~W)j BۨƃyM$ck+>nD/)/NK:"i]W m;@jNLag& W4@6A;$!veаmZ,V2鴏{%oGsg%|0Wn'a**<?E(:5M!n)G}GTA^^NK[yvaV+10?<.RgtLzMwn qԲnf$8s}8˶EdA57 O{y W #ȶp@)$˷Xf aGtu|xTc֍[+ڻ`}jUG͆> )OcW.hDN$ڬ}T_N Qe(opȴc3zy=N%므̜Җh4^{ģoCZadA pSx"BF2~Kb\_[( ݴ)ZQE`7cM5EYB)^}0m4k,yUR;F/CEm+'>0C6a/5 #Zs/m~h+{w< (qlvZYЧ:\!:!ao!$Y}HgwHHߩҊoq!p`Y;Rhn7%5/1~Bw$`=$csSP8!o?I{Mg7{宅Ѯe+jXf~w1Hk{o̬.+[@՟8ti2 AΧ 9-&W[aro;cHGa`72 H]1 -9_uwH{OkyLϏǬIdI}5 }{VA!糺~gBR1ʳ3z>q{RlX#5VH܌Dal9Gf1=S{iet5mh1rG-0{\&,UQlB%ՊT<+_S(Hfȹ^Mv6ۓMx.dxхg-@~ah-=!u߇յ680iGDMo^M*$c^ Jޝ۳E*zAC!,LXQk4 >Ϋ&ڄ{4#P1*ڵl}2Fhy|D("3zdА!#[@}$6 i1Cg|Db -܉}ׄL@0.8NV&}ˑwD]{]NaWw\N➸*(X'N;>&x;M[K mlb`7&ퟓޤ3< uXAdv?Rkn\Tk,gPR]g. '7|kf| /t*֏~ Sfln)KOmP aQV0rY|-+b{(B$N lYȧG!6maViP"+j,C}soR8?1?$inkqu=uH=A]?(XY.˜(as.BJGҤ沛J(i]T-|M'Jж o!r+ |hIFr8H}diͬPMp0uI"2tei U}qph=}I8ibW~wjkJ";/;~Pi^ X鎯i;u_QT M!e;U ?jBi&?ށ@rpgvsvjj`WFs il+eQo0א"}?|ySP ǜ<\mz^b9֓ʏHw=-Gs x1Rʒ MgxĔ$TyVͮ#3vWhD{@b֠!4)t]i""30v]D%{3rD,Z𘔨wop37g 5,)G55ШDoNؐ5TL2V "Q@ ( Oh@ґZ+ zI^pqet]2>%y8/ yO x߳Ӛ΢B$N}'Qb`7O|=:1KƬӧQ.1:3A#`TyKʋ9)e!T2?Пh U8A } : ȵ937:Jm/>aur\=db-9'UF-w>rFtnJh%>6M0Jh"J 9j+Lw8<͎R@19Ā՚w3X # ODa.:KXunUřT/A@^&TR`w||ɓ/~;_`/uɵ}\mw\ j0@t\MpK qC;%A#ec shȯB\&a4Q};09A#"&߹CϩYxZz]/}, e6FGG+}^v\(zpk.wYf<?pY01rϒo*c['vɬb6!3şs㷲#P;4yYy*$|BoCHmn?C^{?i:?&t8)Κ)ઙԯ'#'=nT̻K$eklRHnճ/_?t`;c(vx^yVJivoV~0xGCY Hgwn Zk{?mBhO;$T< 1Qda{HZ$aM_7/Kr>H,`TX6f %zmO+ǍKԫKGS;Wg`Q1T,NJKu*j 5ۯfx(ݛ_o`h&)} B?P3ƗvyiD{hw] ۺ틚F) ~66k([.`'|hhi6@F ٝ~ N= I=X>ƽ6iIwim cJZt S _8N"f9Ħ8f(AMwyNxAY$ !EIeU@}2`ꞕ$0 #E'e㽿~ٱ R^2Yn `HCAMSP.Y<ʏ#B Վ^RŪGl{GAluvͪRr~ԩG5eFJC& '2G(Eh̀0-Ɔ@Fn/obBgP6xL` 3Ƞu@O-KoRP90ٟ<;lgknʉ!XD$uQ9BqG.Ij Y_PZ=#T'r"Å0>?qYG;hUke3.P9 i/I(U:7^g9 IT|a#kNrr2NN }zwPgw:>"SBRR#%ޔe)4lfe$k#9@ ݻfnekDYQAӶ0.?5ŪkAę%h @5Y~eD>fe&#|c-kigYW:9/ ͞h sy@'. ~LXrÅ 3Ρz7+)j]- HCJe |PG e!֒禨T^9(Wg@I0^T3wvrh#\auGU> Z46ы<n~ɫ4_ }}e;IJ)CRB7GiwnAp /m\H(u<,Pe&+q36'%s^HX&;1dtwNwtM9l>0Ll eR.W]!c'Z]c YI%/XS?Ac N-wL`yNGG TX̒n6 N V|Iq.P_f\+ waC@}aInzXj%}QWTYVGͬ+q3~ƪ3S*1 vF4ݺKF,QR aEV)&ͦ<e"j:̩b-yF@U)T5>u\>6%U!CD K RKN" 6qo+0L{_}o-ļ9d>erwUtõ[NWO TZc5n aAMXzjt6A2=T";9Mrba=H:bܧR(#u='-Žϻo]}.bh}|A6;Ћb- 4-admbw`:*s\Vwi\ fdU_Cx[JfTP EQe9GrBu\bQy>P 9|W}|5YRvmT?R\LͤS\B -i@¶A-Kf M6'e4^BĊL<>:fc#tʷZL--/~<~}I1ŗ`OY2!Q 4@NPx1öZ %iPZ➅/d*| n.Fð"![R>7;mLUtޖ?)lC;i[RN88-7 M{9ugkj-؂@ ݂z>9T m,&ͤZ̅Po?s9)wEbF3%n4@,* _~. x"j'y^1SK//}b$& SN.WT/Jm[;2t6;^sþjNFq^6S,j+K ^_}MeIܒ9&GQ /_i3t :̑!eK9?革(R2Tc1z MK%Vc,txwg\XX'A8I LVI 9~Y~v""]\=þbMOҪƟkK9p $˨e61MAK 0MB\7h /qm}u]>em|" GӒS0&;K%"l;Q@DQL8zj1 2z!q͉ﰏKwTB}@"C{,>§$,[qnԛ7S/Mi]k!̱l޵yb ʑ|9D{B#oԏ WyL*V1|ywC@I aVSPLB?# M:!:fDr/ee㹆?!% "(lKۡ=G(zy-ɮlT<l; )|cꌧ_ttA12ɨZn[mC|~mVrnes t6a/Y9|# Uh%ԞT?KW0??IquD_H̓C.<X Xq7aiZMyNX-vyẇצS8b|:M9/zNɸBOٌs {EUƖL$)ɑcog:aZL=bj)ف1z{2 ~5a+ ˧nQG7M[G(T!%6;P } ['_'aHe:-DX&NZ6ozIx׷@HLq]qNz*1'+3HQc-f"Wc7 OoJXr/ޝ~uJzL̄D¿Det_i.KX ЛZa^ٰ\8f[T RbغJP6}zJ(rPb,%$Q{pfQ-yے)ic0}x:;͐)/1rù H:s7~mв/&JęL|ȏ:iߛC`$l٨?t{+R=h[,pYY+ /F5G~qÕԋr:2F&^L6<|I+b q^po\pєCazwNWom%>!t eVA_l*[y_Q|ryjra?!?c`_?u)ЈE!-lmw`*kd$.:kf| uTi(#a:cCL?g,J!hi[.1ȑ<vmyۅ%T9&-&nLǢ_5ڞ?Jmo7/-8BB6 v /MVdDG\ΓY4Ÿ]Iq47,$lL/{3Op/ؤt2?Yqw;i[4e [)"}ܵmA% 4HKdG 얚 S8 FinV~9Sic],eYس*ht#r2;%]*E?cbNic@etʸN[Pfmt| L[vϼC-I Z!rG̥@&52m.PZݮ[zm-bPcJbaP>S<=켲T7 B̳nڢ*5īf4,hdkY51S?h0GNlnE&T0{уc^vOv4&i岷dp?0;+&Qy(ࣹgV_Q/ztrj؟`>8`CJh樘N xPv"tx)mpW1 XT/ZRJ&AӆU.D1qQ t  Ti|RCqNE]edE~9g3( }]p/\6qRx s Oo%XvIBg$oK<|W}]M˞% Ö04j+> Kn{ UYLeO_=eVFSjlvOn'P8? > umQima_8 UjT4g_+ z`{cs`ځ b/j\kz/+)K"Q hL`z||2tCrA7H叻0,6R[7qWuKpMCb5{trF*]d{Lٷ@S׮4fz U"=QEM$tbMYߝ敍x=n}yIg':k><0:nyp.-Iȟ"~r1.GR6d2n0Ý"9U "p >?`Lܡ[<ĥט83V8)^aO.M,Za<8Za]t)`_4 K*w̔mCpjJ`{޵T vt͎* 8wʳgo^d @ U +rDE;>bnѐi~z >Hw;]IVLxBF}q^x?}"ollzkjhmWZ>V{8h=FM5L۷󲏸m!yg圝öi%B0pU)N"Fvy&h.t9Y uP:U7~!>S5 TO6פ\'W {R5[qŇ0^BDOU;,آ25Di}x3E>T5OU5ok2 wd @"&+-(ȯvljdE!,\b_Žؒ+L(eSAEy抝 }}{-#t*p!?KJXxX 4{GfUn9,/ ꩲ{M:``!p8^$ڼm҈Kq5ɏn06`F~3dMr#cpCd^2޲|CLL!//WvSCʔ2\j{H ?o T'>E}hp?΁2&׭<- N頓ieq d#j:9>BGc2δjoM,뀷-{BG(Kg5vB* 2M'j_[LkD70" k;gN Zd1n=Iyv^ⶢF"# ڀ"NpQCi=urM0$}J $l:*TrF9d$KV%?czA6ՙ@gUK }8<<8dcolnds;@ Nnhxʼf `p,|9u&$|aa(i9b>ξDF Qe?Me/Z.;:8gz8"$_ ZR$~,]w`&*0Xޯ ao8q4Y@u~fUK^Wm6eﰷwr#3I2IL:"sQ9@HyD1=]2 }F8[E :7_{oŊ=~HA(93Ko6!)h*l!2qϞ)+5V'U߰{zBVhV Dbrޕ953XfUoBr^:& F+p5ELԧB &) op,=3 RGm'v`LYs!\P)jjEa/2G9E eJұp4md!-D}/DtSbI|uj PY/Nrӿ"wmx\ua1*[op8I&݆o(d4u[ZtA@Ҿ0N ŋ:olr;=1pWpRJ4/b@^Y>eM2"l;x|kڊ\.0F,pإhJDҳ(5i"Z'03 έCP-渨#\n1;+Q,h [e'~ qJH$]b7kP1Y֛+BCwo~LZ!+7~]bw;6+;ce!fExaO+ .Ino* zӎ qx,^=Y= XzN{)";UY]@;:j[zs5}HXXhe kSSSްSh񈖡 dVj?G(SЖ0u6uJG9ʵh6'pҸ ;Yz.E7H.쾮B<x0Pѹɍ /b8.**`񕯵K^oD5g?R]S>+9Tգ)ROe*.Pe|0 )JjEi D" (N8;rF1Lei Vj/MjhC[|Mlv4*"~H!l6|j1JP{oFH5\p:IoBʅsx3 g\c LTjL?}jK $ǷP0?&G Ց=eI)5޴#j (A? ᯨn66Ss$ѡz5gqpsgO˳@T%=4uRtG3Rv\ >.Рǯ, G'K>j`^M A%Sp;ӍMu-ívaŃ}Kak%5J)u89Ha r$HUY)\B x`ݐˏ~~"CZVK6غmV]W--3Fzt'}$'ZrLؐ5ux덞ya\8Gu/cي:2IwBJ|..yqh?lb,BЩM#c~yBJ]XY-G#i_O"Ujtq@rQkƃqK˙Gssc'2y Se%&hRHK e.%O a"3h/=C2P %x No%vg0cE֟&T2YtN-r;^ XhfZlSmȴv@z:C~_X0q <} \pm&""ϟ Y/S|АDt^S{CK}EBV֭d }P[RGZ(e=U6kϼ⯳'Od+?Np /45qA@iژ*,_MP =}JWTÌ#黅-7Z^yeZwHavUz[Rg72yg-CMԡj՗98ZܿN R7F&g*x5R?V ~P`)~ Z}dCy]DLLo"00w]Br8ҤniM*-hx(vg=$E|(͈nW6kF<&}%6 nXǕi@I,Y]`Z٢uo;E՗΅q8 J^6¢YyEB*`MvE ,Aب}v n\H gvX{v1 l!9 r`L3{ }AN*qB݂¸7xT+TS 4!q/-co\j e \e{rnXi@pҢXQ~02U~%)m#xo>pr$yj`uDP[&*]ʤ<Ft̵qj;%@ 0~e7WņXNB徲H(QmFVU1Z pˣ SZIIy;)[fK ]:yCA9w봜PbwA8"5Le:@\_n!Zz Lf= SO{ v4yO/\&D 9918h w3ƅ<亚c2SW?w{Ge*MG2& %)Wny} 2עߓ0ߏ%-eESޢt*^B >7[[T 'FH}buڞ?8bNQV!la!HGkA%)6^;h]_빰nڍqD,QvBa05e [paw6X[o?L烣?$ybGۊyќ[ ~{"#OO-pmRbk%XmƐ˫LfHd|(|PT/D11 ﯑)/@6ew89o)kbA)/+錡q Ps/qSӧ}c@5DrAtbkӺ1`_15eo4 n<7^"ooM[]]~I>x:S9RDd|N- vm&*[,q*:B_!9YƑER LڸXxCZǺ/R פC{6է;/CU x8r<#utȼ}Mn:]W(ݒ{*]y*p!PŠFyDi] #AE 0:UTNNKOC@z]Oc_>Bp%L4Qp@jaǚkLM l,R_`;5~W\ը}GҝaW]P5pxH8H4! WH['{W&]:3"et?}. Jfhhn[=톆IR `~w$yj;ToLK e'LWz? ڎg0[n4y8hH=ĠSN^&zJڷ,wV/<Sc)U:9So1*yr2qư 9CD@Y?kcB'&XCyb槊7_QXdP W<^go0QPO\\%R@T} 5:0Wa.L45 % nl<̞tTf0"h077q]tqE(Pbvc-m3Z~3S9m D}3!w4"Bɂ4Ze)s-u'ܹlqqXc2 !~3A9 slF3B -ُ: !@nl-XrvCko+jm3ԫPol z沚.01kɷ> hP=ɶі_p\l2`d6cX+dĎ~o9[:o'?(!])s J ;]"Z>; 4[3Ɓ ;022.7p$).L27'?>*|X!;㝹Ӑ.piHl$d^P!1 ,9!oA(2?  U_ ]QKʾY7â5[:XHLdZ_~9JlvPj,RatW<Ũl ~ng2Ŗ/ PYe鮜yq>l>]ܛ5'iK*Kbbm<ِZl@1YCH[-K\v lnq4D^a'˞Sp7% | MGRׄѾY?{/2iU{}UjbM u8[uF\zeˀz`8!*&~DSE--P] Yھ;3\*l 1 dcHx~I5Ͱ[Mk}'oy; \QF(qۅcze_/=\ 2 Nxqnq%0$Eg Ry&_/SI"}?ôP_~WG<NjXmf,}!S"B"hs,4Mv oRWj?t YLJ/ ?Q)?ΠSDY# !@G4 0pAY';s0$l":ոjP*%߻TۛTcT7{RX :*" ^͂4DsU:q+YwֵrH~yaZ.n|fES Z.y_g}ܤ,jQ4fT.XbQۦr؆ƇH=Jasm\ !=.K}kdH-̔b;1e{4ٓ5j&9eꕃ ٷ[)V}IrmRҶ /bS?u[dܾ#r1/KG>`Ũz݉jHO:]fH5WsŨ ú= yS7D B:k=YykJ)2UfA0]i.C}l+҅VV\o@ns49lC Y#{1`r_#@FiϽQaoK5~9'M> Hţ \1h?@E"̢5&ݠ䐇9YB!TM2""}-'A;2٭/Qt=Pn?DSlCáCүx߂Q)S: Ho{PƁM!yXz/Wmcu4`íH!b( RZmv|>U9-LJ<[PCҡp 3q2]BfNŲM>)^KF`R0D^Pi/l7c}j!pЧF]_+8\K، 7x3h1̵%$$ecU(VxUxʾIX])tO|mTEd* ¬Nڦusɿ k#4uI߫,V H[?  Hk%1!8~^z$652[hGwȦQ$Z7es V(Q:0jMsC ~T<1맟 { %:)$RY0`lԥ8ʋ޿rq@ךz[GnںtIn`D‰jdR VJ׀G=B VhIkWqIӱgJ9~B~W5OxL"aZ &o6eUVu| n+26lř s(Yɳ4hoU~aG"O|1+4{| MAn\ǒcִ邃@Cxнs/[5#2t$W)(]m^dn1[JNL;!,|z^JD.y>Z#5`Ns1r'9WD`e{d`ؒ1NZs^@3q-&ap^<[kh󩅻Oص,p|6#;7XV`'yNhR /1!wk#w3yK7)X ׷ ۭI@ۢhG,'ٽ8_^/{<`NsKI71DfKc!CʵGKW<g@ K^UNvLI@_߿ve5#D;Nubܓ?bTvaJ0pX4eLxS_SsBW8H}DcqbBRЈq6xU]ɾԿ_:1VDT%3lYd].h,K$E6+rJjA!k0,^< |0x;Ff8%K/[-UDׁVY7q92CP^"kp{|MsD7ż9tL%Bݝ^X(^1Ǯ7h$3E"]/{9r& %7+F"k?qםKHTvF<m}"D#'F]AbM x9lzc&;SLkUq[1ʔ]%Ŷ,E-2}2>b,꓈˽)pjAc} sHL4iE]|V)JS :[tHϹvz1RZdīFw$YO}" ݙ2( MKOE1K8ء9|j [̛,Url }{ RE~~pQӂh70vZEj\mUn,gӫO Eׅzd'b"{]oPCqERh`1NQ2Ews?)pnj$K]u~$ItCGwnKBf!$eW]7q(%-Ӿ+3 /njB\[qp%/B-g!C9?RD9V`t^sy/J>w$(6u$n4/O s!^ 'BҒ)p]SNVу2ZlE\b~5?7%j+3#G lwKo&Gl1":s_ @@%agirS^g^B.yVDFxv;[ z~Fd%4G )M@H|eF3ϒ`wzuoT78#SB8A db,V<؂jR"B1ct ]賥:JE f&xJE8ݯ ?)=\Cc |x3n0D`PDˬvES4 g&j?Q Gؿ.tluOYKKr527nB6踻`(1']XHbe΁W3(g1t|U!̩`"`w=` GڬhAŕ)1wN-Z?5C~fyY K lq%?lk 7\P|_`[+h~ DbHLZp4/DOLb*z !~rH pjI 'd>wOg*OAܫEC=r5C>'ds'oqd~bޤC:.ܭJ&Qtjѣ2Q}^|p(D= t4 8!h=%Dl%f mClήg?2XBit+u%O(إ$+P症_5$ؐ\Klt95Si*'5Vǵ 4K TUm<o؇@,K'p EeCF;!]=ٷL(v! EκҦ2: 6'!0wOdD$.rN^%HD^1BS}Yr䀗Ȕ⚀RA^h>Ρ[#) M(ҋ|*/ސ'Ƽ n?ȡ:a ωM>I)D=#صIr~]I (L@\@QucwWLT4gd}Pf[I%; lA=0S~Y10nt}YKUG0**dq2w9o6-i摣.svՂ tD:5!_ 9P C 3qؠuxO;4\F7}Փv:65GɒNw@8]ؖECȆT[A^li=ұ?W .ÐzkϠGu )(Z^HKY2FRW%*PL|cN b<6rmq.`W%'A~q2́(lJ\}<.0.S:cKS4HȀ^cwԥB=Z1fSEm]?KإoSZEpk?xwiCq,E5e_Y3mJ1IPMKY_l,hD2NQf,Tq۶O*Hgdic19*$UžTa65<cX|%N৳0mbœ8J-㶞khN;m|!]Ni+'QɄp㩈ӭdx^"xL$KJ[ڛh#ZNi9H2ߤ|*mc=Z8Ae<ƹD5oEDFeb Rese4C]ܸCPeN*(Qtv- 8J:dܤkdb1 !󯽎e 8z.4[$ =htociQvLYI 7P/؄ِ.IWhi (I'dSl*z̛ŷBVN׏L南`0f0=sYxNU^DELҶVg]$ETVw"lA&D+NQ A |ѳir \}ֱNt3RS L? l16Labff&6 Z }u۹]JUgb$}l T dBڇuƕw : H)@?AެjuUxf8I9!WSפoldf&%l! L]FcHW\U {2`v|~e$k Ї%Õ V὘3j5~ٙޘ3G²7N\8mOz&(~+9m&2QOpWd<8]͛iO^*UY?G z1d-N]Ǽ2!@S ;Tj&"fzWV)ǘvFw.f#C$T;C9k{nEw*qE2ȓ8Z)5ͽH ?7D'{=aS\n̅fYrXw(R%^MbfEb4*۴ 鬰5Av'l7t*fVELYsOHRH>o 5l <,Ȩݲe5z4^S F8xvăeoU64K D&akW%DPoABU?_s~f,Und#A3$r0]`d OrtBķtP"KbN.LziM]N^OJ?()ˆ~YˁYiԯğ@FN?rAiJJ!~{C'9l2l/eCwڰJ%M]dh eWr'Y MK&G^;s r)}^Sjp)Z0V5[ְt:1)zcq7M$zO+Gk+ƏN³+.52OC,40bcdnr,I<~+e49mf_ٌihW5浰Tj|p; \~/uÝ'Ƣgim{Bx>pv rȾD Jj2`'Z(ԥ ;*o?EO#DdP@9)͙eLfB|Y@ Td#vy̡gU4v kQ=e)4Pz5*ԃ>X|fI]ūsJ^-\^@;@X ]h3U毣DD:7C۴[?;e#me՘T Cg%#=+Wƺg7?Zk@OX/tp4XH޿ '뙆J dpN(8f#n ;Z!XxSZץ?+D= VbMVMsaJԨ_^K,-,۔srՆ͑DPR'2$@#7M"#ChV喩9 jj/-ʤpt=JmA7ȴLP rDeUN׃BM=(6p$.N6@`$3칛;3 D-u鶝2g1 n_]2s*-VvaNe Glq'Z[Sxm[&hW-PspǏdh-Ȳ1̅4W9ıjAWSv//_&q'L@5PJM47h4h$.\0 ţ4Tmkd"e(vP@籴v1[ӰYyXP}?w= 6~\|]FLNkUOrqLfB=b" دxv e1C֢9)0K&%` .`Q[^s2וU}G|mBWqS!$6Dj;$q߿)ɽq#JY8dfV`8t8%( ݭ^OAE~|ͱmqms5`6ٞDg"=l@`z@w:W*ckEma)wrOȎu R#x}@B)=.>K;X/P(717+YM99e9Qku雹PʽA=1!&CjR2lkr#Or!;JuAܮԨ&iگcPD#hp ngЂ@?'҄KVi<=H^\J7өӸI?4LM1Bts4L}q3V^v'RV\c8Vcqb&SDFwTA;՞ Tx〯BUfyئׇZٷ+4ޞXɿ&gT"Fi-`oȬI@q4Z l!R/F|')&,G~f>Y: SSw>su+#Ou0X5^حG M5:(_K)b L2bP I&zvB=2Z:NS94uw1 Vu!`y+ tH$ۤx8:JFȩ++[Gf,c=JX)"F#i?yM/,t9NxxuU^Zq]GծXf4 Vf QupkO}k L+F͏hVmGǝ@"-ߴ|GْMTYUV Gka"&]'!mY+?[ofc3z{ Z#{C'76k966-B͍o_~m %J<t%b`jps LJ Vڋjpq$~N ("ח%Y#ĵ b?>"Z<ǀq|v?QRd4Π-ѳ2TBt4Cd)l( c[w2Hwi3ߦU^Ѐ:o u! e3Lda3=٠7@BTd<co](ŋ3ܤ8qpUm~T#<Ј kN8$v ??*47MQ_-6Uh#=|^޻gTWUEΓΔihv!&(ԾKӻGxSĐKEKM~!(s$N .?whAE_MEpVwƧnU> Z#S87@ e{`\ ̤ӷ O:фECE`Ӄ6,R7B>%lS=m:ԡj_$X!ZwhmyW}U(1vaTt87&0> V,a~vWt:wܣjg6pj{ZZMT䏆]\:Fh矎k %G_8Z-8bEJR;)iu2,44ۧKd FʄjW/}9YX>sSd['Qwl0J (CꪼKMdmHǭJwn% y~ȊilAbC6@i?/M7OZBẌQix/L5) Vzμi$UUxo_ ;JKN;͝v_چϞ[ {U|f_ ~Ԛ$4E3j)Е;۵4af] Qv;9KTWUS\Ό{>~o$\vz{܂(ns92ZwO.acA}_S$m )z3آA8= FDVšFsGE~TSO."耪./C=iiVGt(*9q,i[|+L>$`(96e;KωKpSԼ8 ) ͥN}]6 |2 Z$c=KW`͖<*dnQH^sQ7% x&''s ?h7LDڬ' v/)ZXbլBAZmFNh=cR[(PhTӺˣdOúDCMsx*Z8. nZ,^5,c.raxv*"-S8D3)PkZ+Ge_y&@1ZΚF;xyG{drk:\0#+#Gu|'Hd 3~?eJ9IE{ip×317[!ps:Q'Zܯ~l0:rI1&cL8Zy*zk2N0))oA5+hㅛY^Loҵ @[djX7ePrȑAMUIد0=RQkx"Gӻ-pLAvn3 F7|Dqda&.pW0bt\k8%.HZyqNClc ށ4yăZ7BUBR k6e4v~.$œbV[9H Y(iQ 2k8-8Mʇ;P&Gr:A6wPh+*o֊)#"x}CFHeGN9'ACbhTQwNK xl8 g&2n$jqmğT P8mW($bIgYZ7zXZִF! ]ŗXiɟfssn{OBƮNk8sg/SΔ' {9Xi"k9Yw(~ac@j(پ)r^ױCra'qxǗ%WzԐ6ۡY٣-zmMN)n=4~d**E| 6=/F<зڱb'ۖk~uQ2(HU2 Ϙv @WIE6k&BgYZ7zXZִF! N E]ŗXi%L&^ CGSTGB,oyo'tͶD6YeA ~@$^H9AǦph\[P._-$CQPI>guY;S1 ݸ{,Hs -Nk(4x?L/qP`@n^6lR~!7B:'+u˓bd\KoRQ'.]JGCq9R? oW!8~+i#U^a_vVSPR3j٩ZaLqP!GN9r>yE1bt//9/}Ox'9s[V L{0-_g}:WuIJ?Pyp3wN9c3 /7%6zR;4W9st QP>+ِi) _ፀFe*Uw܁ש$C"o2sǕސYs .B"G_H, GU{&1pX.;X~S B$(Z"ƝemֺVo- SN*AyaG}U=ok_$рW;4/[Xs\\ðZdBB.o(&+C@6`j|g]OU"(s,Z$8~) e0c--Vu OO/8=q(>^nIPtǸ3̝=e_ªB/ljUڝFˑ*50˥c4fO؃t*񨺳wu_Y 0nm~Zv ҞxJ,e:^kq '%joBHh oTѐ)i5[2\$ `΅~{>. ~6@nYIEsŠ}Y2w4=|1Dcʪ.bio=R!"O'wE&(ZY NxñgYZ8e6264bb300b1e12711646bd600d9a6fe9fecd569aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535