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 \%\,L ]/]HOL-Analysis:threads=6elapsed=307.967cpu=1634.032gc=93.576factor=5.317zXZִF! qQ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmK? Nx.йHIMlg 8Uv@p5Ux[Y忞B\/[rx_)RvEUEڽjbuWվ*ICeb 9@t,x 874`exa'vr|,!D!;s[t}I2Doѵ"ޗ]/UrEW*TJ0;GT=-xVf.'r/H˳S:_$O2Cg-]%Ӗ濘 zr k't=p@]\İ4)8pn2f)oHOk/փ*311WT?ާЎP^T+B@Blf45CgyufR*C?LeGϢlԹ -5EuAmՊIyPbnӨxS󫢷!nv<WD!{'d3?AL J"M;ځU ,T\*v^M߯拓Yo 3ba œJVxbB843>PL/sO5*lЊ9`z{k{&)gyP 姞8 ty\_mi5`4mhUm7c!"7*CND_4F3ͻ^]y7O.jy>2^f{"LeDۇaIj$ q^Hy7A󪈝 zAѦ WLF}5eJ:d.,(Ry/JH$ķO:!X>2̸7>M.a`ī[ފpj[6PV&8xYA4kXwXj h0iA}Fy2׻ mLf0wlPl9@<اvyrmk0FjEpw?(3ʹͤ8Of"tYd*'C(~Yf TT'6O?QV~{fZ;?d0Q1]1ί5 CrHNSuqT6Az m g/Jy&udD1aADy1z`^3o`-^ǶfЄ :NE{4sN=s}S) Obcm<HH%q:J ;l &yhN)oo=˼zRVI'ven%8bqHb*%nJrwosSuKAZ",)jX!7;5i<#M{ `jmu[Lc:@9MG(3_$K>Gm>OM;,FM0Ϙ6{3F^yQ5XmoB]}j%o*r7gzx(ܾ8-Jx([+S{O3"' 2'gŭ~ۺ R>k>kr1 JdNۈR`362ɉ3ڵiRnf5Zwbې<}]Z-1*IKY' 9rU/2 \=C &AՓ||;yif>SYD8Vz vBljBq=θlbQ(DhBNkhEt#g+bюs`b>:Q = FoqVj1L 8AދbW p2q o9` % HOL-Analysis  U%@<1LNO|/5`Gpscނp"л)cF0%98=jF[:5-Cri-ɀd$VtyOuAiY?gL7v~̾m 2}A^ a;g꿀DG:#*Q%3GW\#O."ݭ8%g$Z08^Taaĝf*5oi lXY!E r9_7+r7O) 0x8-™}\ޞvCi- LdClxůم%Tk\a5\|?r4PYmJGvߔK&gыJ4/|%K hHje4Jx@;)rX: #bCIvz rFufpkSo3g[c#4* 9:3A9;̢kx٥1Pe׽{?`Һ[FT&%il~edQM=B j.*2k/0ð~SFf[[;yԩr11H'7 -3b?/:a׋:aCUIAd]H|K4-gyiW8hGw@|R6=dJg>P2 h !"E όvtKw w+X^Uk(}M5,(B`;n:sWy J Q7MHH;l1u(z鬣̋"@po鬮o_f>G lWjN|ݨLdVfyT}w'ұY孮d!'6< :뱭Cj7/$/db( *a%EB5gc"ǦYu9\~Z.D&L@ZAjU&kDCVM3%|xW3LbW ° -&.F@cp>6KdQG,N0Pp@~k6[Q9\vu v㰉%,B=W$N .!BRB?`I6-KaL_n y1ޞYO{@~-5WlI'ޕ67`zTkq3@H:1,]?x^~Qb8ӌMϷYT!Lݡ᏿O,XcWfP!n"7XǶfsWk/M(i55@O EmхK侗Dj#j$>֠Cƛsu?⿢d]ܻ[/{б8++\uHɽ69k7<#y@p뀥4&)vA,DzsM@kd22bUC<\2ob_Y@5}a`.!H%>im\: wq5erV:bTiuu cw"*JP(8NEiV,O?UAr+:rHA@?[гΞf6]5iw)-ZypoX!ᑆGluH?L\Nu\A7nz/̐; ;57cҁ7zxÒ/pCj>'27S/2~~-}I&}9K=-*aDpɑw7Nq{c[B9(_L^e2pn1,w`Kl@,zؑڢ>PmFaȢhdz@ax/,e$R9[$~R،Whs-UҜҊ)8hՔ b,d>sPCRKS&9bng]M}boCShq7%BC ހ~e&i S>ܴ}WX~ZlˊNiRGO/6.9J'٧ʂ1YZF04qSr=tE8^֕.ǸR1.萺Hcw6B!GTS5HcCqƐR%S,M7 `4|8OAKX-|{ Z=B&}kPr~giQ;Qg.3^oo7׽C9+faЖ-#v iFT~!{ī⯡Pk/spP᧸8\L!y5)_T8uv?I @;O\]MU$A KOW_MKŏ+ R90ynbS|U #a-~a<& stTw4|JȞq*$VtZ['oWƤul)Sp6E831\I-NDXNrpW[qlEWVz]h0ƄQys'~g瘬R%\Jϰ4 QeV]om l6bwP6on0 $W1 l5'9lp XG7Y1_"kD"4ۓp]AWo9{M{?Ţ$:^fBnv?tXn%n|\T#S$f4$ZkU[tl滴sz-!$Z3B)T@Dv^f 7y ~A,1LXوBHrE<+>vҳQ?*NcaKXt  U߾`*d.C+4;@=3U=Aa)p@Є,݌XhBȕNuPwRygPr%3O^)~:sT_AY u[C!Gƽ4wv 3tla%+tH`j>dxf~r"Yi J/$ 5XKJ,/*]6 2YWU moӭU.xLexU`.ߤN V\Fd|ݧBFpKXCE9<;O0RY&YT)(Z8І@ a|;FgM9Q[mƠxzJB7)^x̍C|A^hK 'u,?5r_A{|kg*4BT ñ.llA7R$rJVƠ0m|lރ92R;"&C;lg+ Τzr ИOdߚ+?ݒ8/!5HqEqnM`Ch*S4 hh{VW"]D[zw0IX "ům4ﲿOwqÑaV] ӾNC>QNv׿MOpB,ۿYh)= 鉠ܓ6E={h8Vb v&6C`[U_]sSL~M{o}!{VEvޙ&#&pg+u=d`}H:^Df3U}HuQGϷҪk-BoͻTN&/*=<<2|wG,Ǣ$tr⫣PYԎs.H]χ$ 䙡2ǡ8295v;"4vXoc2`!u Ӱc}JwjUSq@yB5ؕzʼ6MUr<:U>h@DWchDmqv"`_bvS:4rk P%3\3Ab;-.Җ/$"uAף[Ev8;j-UXB\O:'&K $Xz v vDL dCtf !@t+ &//êqt"q!H@I4Mtc@ci0V#aT7uI@9gS-'~҃)K!dc;O*+Jlx/cY&@ɤv@c`&_q8)DvG p 6yo__kL 2I>&')tK%g[͉R @{&;]Qa@f12{8;1.VE#lS󬧩S\8- 8/l EZ[!2ZԦc~ך%q_Y,!6}_ۤXxA"ܼ țM]eR'*ݻ|6_AS>K%裇ӏ\ > d ` g :-*YtT!;ᜥn5~s4uvgaس<XVwP9Hs\`Ȭ{|IA DUNxJ=Nw\YCTS>pz$oyqge1}bLب#/r2ru{zۉP 4J†nDp1ZMo8) |vz!UĎ-C(y?nܤl;%Kl'&U$u47zi蒧8a`J$%Q]2Hz _h\gظ>wpW2|iL" ~nLs "^0޿YA2I\kKs̙S9sNeT,h<7xa>4=jA` %ʹ*˸(NgYTtJ逘% DŽ en)a>NNlI}T!J0Z"N=Uҵp}N62ZzMS D}\Uة*%Hc7,CSp[dȧÅ?0d.`E#)S捷0L@ZBѹ = d4cz]ceOdX}ھ$]p%BTd*e"gQīzǪH[g6=FNZ \"*UfCP*Vd%t C`gotʩ$-}!5'H 3Wؕ˪wRq^`|gIisb g'yJMmHd[yQ>XČs4R7IhTv(86i=T _#@-#8tWypt2^/j9pUwQ{ADC[ le,v ę('";ߛz\>MimO^,LGCfH;@8]ήJ>#5)z [??6! A.k"_ހX&|fj>".BEmsC+аAg>wo"lױӨ_?ϛl?0*q LxZI @NJ@g^RY~p ?% ftpfY rYǜtR6=wHw$!s K2coĥc _ (g&ӽ 'Tc$м6PdE(x)$u ~/h-gGL^,*T>IT7kNL'c ?"ߖ@q;m݋{ރ.L NLŽH|OztVpk5%qGz0.==9\ =/H}纣KSwM^3]\H/Uְ eZ!<ӌ=Z3Gy1'l3c+ cF|?x[h: 8i # a&? ^?Ez#dnyDOr#3Im8o 2R>m13zj1&z%T@7/C&7KIMuPУi5y 4Mp+q52II_c1T7i,Pr ;+yywsik:5{So//W“Ȃ ִx\G$T͉pkw~A(H!=]yGx $)4HnR,buȽ"4Άf-{vhp@{pAD>D5B`NwoSԬ=%yF9 = @ZPT0ѦkA`}ZLK)cD P~lZiKZ ٵ~sttrv0$f6>S茶WcU2%ꞶS+Nؖ8hM)8JRoȑ>B)BPZ3ۻ1 ?qP{|l%-[2gM{)X=T [$5 PTZXXҙ[_T([h v@q|N-r+HKR+Vӿܡ/s$Mrnߜ+Uv;yL f)m(7Al$)6qh qb$u֢(RcpcJَ+q1pD G>\$MԐ&|ݧ3Z~d)eoc~^m(k0ê衩k՞+i6 MM RlVqpC/!Ssu塞["T{AP *UK*M밈S8䦘|gp6Y)d"_3[FVb;+nKS?\7i0 iԠcCtR Ѡ4yhAUZRXS JmVg&4hj̭No{Wd9zx Un+@,a 3Oh7?gٱdcTM7R.!sہ 'kP JC Fb*Am靶YPxT8wth +u]M4 w0yk>  qp]q5M Dzhâ[,{AN]sPTƛ3ҀA7k]/p{wJ[5ɳk9;ABz'AVm!q3WCǗ,r:_#k XreɁ -O8"r/{r  ÂyLraY?N~kecZiU.O]?[A2#~%~w굂tQUeDאh~Lax|ӃcZn:`ڞm HѮPL2.b-o ҁt֬=u 6+4-5M!ȡV.M y@J# 3jn,pdtF҉;)7 Ԫbs 3w%a.DEi$6bkj L3t"sVjRn) vJgfQ8yJڡ-09[q"@%+/ 7y%@J tuןP݁}V&ǰ? "Td'q yҸdm#ܡ%y+B Sn4]i聛 6Ce=ͬ~5Lkgqr߅` N|D7ܽԕ=кvW/ǂZߏ(AYD&  +D-bw3\_iE\4v7sA3f(/ L80"dZ"*K B]?l-Rq bfQ.5 v fը\/RsfANN\2]>h%6Rk\oލa4wB . c@CwR4"R1q"ɡW@ZIwm }Y SI4OkdkMV*JkIMҰO%\th: Y?`;s/o zp`B#( 1޶of[%jS2Ë c9ڴO f G37 1c cZ ՞mŷZ_Moe71O &\6$G 8۬9ZY'v+$& C#ŋVQf4'2`#MhV1;ޕI!=84!kn6X!0QcqR$ li7c3s(@ӏF~蟈f 2|P]2Ba/;xrKgܧ?gCoLbaz.Ή+mz܌B 3U*DV?x2;Rqvlk]Ց_/iKm1UDch1?@4?1@Q` xu/<Gؠ#2Fl}ćnBW<}5ꆛFcʔm~Ǖ?|k7E>vjPUS99F#WmQld`<"ɼ>q9ZQ#Y[1 ¤g1 ud0<:gƇ^;SVE/ߺ95!E#@ EY54ytc7Rn&Z$Ǣs=` MʞTݠ84f8Fυl< QZgܙ@fH 1NgMX929p[y#FY / [Et_*hn[cZf>,ƖA5BP QJ# +LNA/+jxJ5"3_d+۾[X-zB0m=ڟ@:׊d yUu/ G-'6- 轕 ȟ7;)g;Z14U7"3ߞpVDx^=eG|Sp1.f0>(Iv s[kpne8v9<ꕋ̎hj2UfŘC]vY'S~YiFǗO!fT[Oٗ_ XG Cl`*OB,@Y!F5Tz)Csߵ%Z}ED,QnU,"$P,QkzefmbVL4H>rf*Jr(ٳSe|&Bٜ  v |-WF{ȶ$)I5rUnduٛpPSWw4 jޓ#Fy6")[L21њ82tIiB-j}lK2[aS-E}d¿<nZs*?䙕`9ҕnv^2ޠHb"@oM#a,wp:ZY4pĕʸَ'\.w'$t:IӚ1%I` 2#.噭͒-D`Vw]&<V|L4Oc5$ _y򄝃oWۭ9 $ \=jTQ,K2̿!/G NӞ*84gDG۝TꔔY{pќZҳ?ҺϦQ)YQ#ScH@8sߐIG˻k6)O@)sf\\Gss}}yczfZˢ Ud] Lw#FDQ><j_9Xn0w4|L/T {<[Bpa}+rBސˎ +l-GZa*Tf"z !S3dI ?lmٛҺGW<>43sjy;dܷgZ$*>ђ[p\3dN"wo"UR>Ttx= H`8n6ho-ŒTQt\ rdOϲmԟ,z$ެQB~Lۖ\sŁܿh(u(|VdIAX79,Irngz;g*##vX<C_CeOB3(a2tTچIId%ObnʫyJk!ǿ[5lwS؜Ѭ?^w*kO`RR)c++&P P!P|`? 3X.Z %U=jK'517%s>4WFB‵ɣq e~1)D=&e[Cy%E3;&_ ^UbęG+n2)AiŤcpfgc]"6O R- '+׵9Tːۄ!Ӕ tsJ!_Ve*5Ô0t8Khr\ AU[bO,C'=8VEraGXq稽 gX[z;RnbqQK\0Io02乱ЉGU%5&PJwikJ8hpLFߡq&dd ;Ǖ(8!}3R8ud!DŽ$q7cHUk9ً=][ 3_|S!4? &/X! m?h78##x.Կcu".nW" $A9koK `pR-6|EW4388GH>oH,zbj0 jU *L߻308 fVz4 {q7u?KYʰK7yӋsLve&ejn.g=Tab,"x )羊܃"gæ^ah$} qØ~1R*Mƾ4;:2W[ Tk ^a9ݶb;U(>#YWe:!,_gdi Y\]LW3w(4*l0 Qdݸf<:?oҴ虓VSqLu]!;!OMfBY$ /|Ud-D&~$(b_!3 k֕0 jo/ 7X^nLf`sܙK&jƆUFR6>cO8,?ApjU:rύ॓lh p`=Z]M |<` -g(1XIbX{dK NCƨ#cGw:a\B8Mu!ghN\Nq[eZE;%h9HUD-TQ2bt2*S#76r鐄iDa5{T\'FٷL|J֙Llϗbʰ<Y'neIݐH,YԔ\)쭰8]]Yݝ#!UFL2@E(\Z:) e9 0X IG` 'mDW +*8L!ZDŽQһ(ʖoS5Fe u9 U*"i_Rg)`lUl΢_&P65 S8O/"Yٵ(H(*@w'M-71V UߦV}\tJW;,#3+0lPƺjl;2W=6AyO 1RhYlw4a[7hB.ghY,(l /?O;yFРE#j-t`b J 7u lگ\(M1kJ҂I_yTG*+7C"QOtZw#g[@h\%j_K p;]Z\YYݲ#x&hX|+qz^*5Hxs]䷽$T;K#ž7""wf|"qўyD{ɾխO:ml]TT:3y'Wk7+mޒrE?c0ˀ'{ɋ c}hq,$=#[ŬqzI6=Fȇ Ȱ$Fj[GTWq ],7ӔGzb#28=MABl5)n+`۔ &cN/TmbuGk+P=YxGj qV7схȶ.@+fW^t>aJER}5zC]STJO$]s%HF(2Zx NQ_pguk*B(.g91DH8sxD ͯ`/1 )q_Tʀ UJV%R.Z{<`Lyz*и(IL|lh/ydct{@pڗ$%Cy(%Xet̔yCl]SPR>R 3[Oug"߿0,BD suv?0MiIQ@"3LK ю3! px"k嫰/ǽ}nD'rBfT+bǂ*L;3R$' <tZkyt>+m+KyoueZ]^1Sv]P`9y7mR_lyݔRc|'P|ڝuʀ%tJ-2Z_ !U-owiVLS;Z;\ dj=mAaBROfr`<2ܵ?= ϡDݷhbz'I)ִȵwV#; "yH+!y)#2't0ָ9#vޡ7*,DK{M2@(y<^ Cܫa$料ky9`߶5&iUq9࢚BWҳA%MvJ>BWblG=V@wV+Cܢ*̅8>j <7 -: NG? bL=#/ )(EBWz4"bfa%dM3o4XZ[{KFmbkWT,@IQp=S(0:Nܠ,V =J7B}։煹\n"CN$6;I|c:&uK/=ƔNѷc1}ƒ !dphrbOZ.+UX..PSpqwӲkjLAj;QO%z_MdZdoGʹ».|Ыe vfwlUh]/è=2PU:+UU<i"t% %h+E&ciua:LЉjaiCG|yb%Zb{#Phe>ŸfP˭,Yϱ=y0|^c8Q,(<|j8/]!fW/ 2oPv>WDOxg(R#94Z jMmm=ptDy-L ~E1XRϣM/^ .P^R6}$u1!AQix%!2a~P-ٛ&3B'zя/v ~|njk>6'$b4U"ާu ;:,h0|ZXot_&OxEI1! 8j'̖ WŹд5]HD p:77k6BpL(I䗼Uqjm֬_u¯-zq&;nAMb_ӹ$\P%%VFynN wU $:ͫUKop zKRBLY6̭ƫ2 5ըqȹrkb.k8?-A??{XȞp%`WMcR6߲nY3BS>] ؛ct%CA/d\fp>A bŷ$" ~,7בּПU,xnc)lӏP5ߙuѠ͡~'2l8ȇһB{9EK< -8 ԓ8cp0Y.?6wM:\gM̋2f+:QB۱qyy2UqJo9ceSe>@$C_c,pUM|;-j.ܱ&s4 3 LaQsL/Ӷƪu{q)F;"; rTGGt6*%+ m\a}m%]Ww։:mA7 ۪m"QDv} Z 8#8B B"6zi%to"Ҿ[55j9%8r]#|j5zI ^I^|~U#p/d5]w7,xv7/I%Ĺ1J=gq(Rɚ{>0W[=Յ[5ؓ^c>,gYZ7zXZִF! ( ]ŗXiɟ1˦r!cHkMeBd4> 1ƅX OP#ɇlwiv*$;VGǸ` { Omj=63NN̘ΎoM1E//.FKwl1?ɨu=/?ZhVzyhv,M Gޭ=DH4V-[D<*o󹭹i@2K ('C,ѸS&Zx6l8&b}nu^NB[Qvxx !rd/޽C#i3QMyAq;9dH_KIi$~w\73ˆVjri6JKI>I)'P#X凔 bǼ }ۗVl?YU"7-?d} i<'%P.qpO_iVٮImI:9%8Ud K <߱V%}̹&Rm <'mw-nql㍟cV| 􅩾8S(g)>T1dUfCC)[Ҩ2Q9gu omixԜQ'3OANkҏNr'^#|"t4b^pib翖l¬%GF#O §xST> 3TXb*m*=hH_7;gCi" ^%'fNHݸ}׀XG}X9]ZpHIB4`9tâZi ]o~4k aGOBРWΘ έLj7jfP G@%DgJb]f>K?!Y2%OtL%zTa"qǩ>]IZZ #Uh;8,.HP14D[ЌgRe/sBbo<0Rˑ7Ɗ~zbOkEIdㅔWY+"? 壩:FS\B_<@P.QЍK5%U h]x4tk*(-fhuȭt)2^Us"xJU*XCLU^8C rbXn1vѷ|t zcyKYLw`8v;j_B}d[V;#'k^,χ^a  2p{>')lUI0JҸb^] i'hE-V8|=.2ޥ$82xBkތV2[r.ﲰ+u{%, |v,dĪVQˊ@{ӫ|b UOa0G^Sɐ tE'Ͱ l kEU̝5P9֮'3mř#EȔnNxy52ժ~ 7ٍ~luغ3\ DIHuܺk3՚sk&UrIQt8Dm E2[UNwSC F5heX`xF+v1y~QJD} gjY.Ɵ*wטGea4˥vP8aS{5b8LkPyoCV[LW?+lOKٺFg$k0X\}-\b2' iVoq1fa)eixqpUb/c/ crV3mȰR4C y/l@SFmI5r~tH謶[#-E|N 7Y)Piϐ!c& z\w,dO ui,^'<9QjOͲgNذfVD+#4ܨ +-݉27 nBؾ\WԶU vߖvʲ)}b6$:Kc?>#R;MHlMwiYNL@z;SQw bׂd(ʍHeK7s.Z7=n;F] '0vSD$!TBƙ-xa]P6Ր'8[PgYZ7zXZִF! 5k ]ŗXi%Ln:cnve)rV,pPsi%N1?ʰ8RY/JB;@_پ8Cd с/Nhz!Y:.wk( \ t)4RxeJ'5a9jh/[+gM]/c.`MlLW5^ Op-J,QO\,2A40jl  NTRokc԰#]kJ .hi_6|5\t<S5Pѫ[b$]_TdY\nܘ"ŭrLK'4h1;oT̆ d|W~WT]傢BK~} Y8$RQ`,9J񺭏i'F4W J`?yA]/JƲ,JB)Ѥ(KˏgbwZiveR%n0#E.U/(TPVc_ wTLO sG<@c*sH[c_kr\AFYb-5ةY''Xq* Mihb]gpG1Sķy29l?#ICf|Nj0R6\c:AvdYoCD10G/1+Pzo4@F33cQ sLyTP_-ePP~X3gڝ-a8 yRN>ӭT%WSQ5cG܉pV-!ƞ2mr|Sԣȅz~{T&炄-6΄z к1"+`nB%5Zv`|bЉl0,Ytv2(O1'}sԂ%[&L%Qr Y,~~zRV0W>>I$!phDv]ybȽ8Tw>=GiK)8Re- ^Lpжh \|r.Df/E<ҥ{.U;2vEy9]_nXˏYBAH1:# S'x=zb`4hBR N+قgT(>jLMTrdI/->R/n-AY~;?ʖ/ka}5$}ӷnJrBU>RԽ_c~A|pg*bkn50.ײHQ*nhw"\2wZ1^|-/ ё'v;/<{f*DUy m(t0l-4u98( 09Oo;:)/C6ۨBmY&T.9:l s_'tKB0y r -)Pڏv+R}$,8#Vf6F+fuEY9Ppf1Ύ\/XP?rF)raW^!ve0h=,i Kpe\ V{:sL3bEglgpHg"N=T4xO^/+~?f5Y=0φ-:ǥOz| f~#u\=^;3qnޭ{=|%Ix/:-K.#DQҗfXaDG:)kj-72=yn.CE#!_M(bEDPSuKVbFg^,$]5ېϩCVsT]\Mx*n IMC)]dj`RѬu/8q$E iĦU#=:d 0 7tS&pݡ}OkG4rʜ(^7J٧^Wc17yOJ9)/R3p b)9FDF y0fQJ ; RHfM=>4l~Mr(oim('58=챇_SPB&} Qt5!0g-SbT\iNΤć6djCjg-U&" =|^(xKqlYYh.f:<% 8ԯ32+ĒdoEn[EVM"Ve+VWP4@uGaI?sGS:9Y?ϽfȀ@2M ùhvLL%Sdw PՐ3%5s^8^tṋ-0(yy7\v' vmR:鈴[1vp`AP>T{%)ÉJU*FgG'=4y$ԫGۧ{܇ᘑa mc^#`;X7f;AT8cPTJd'EvehQv>wnAaH"dc1M.A -{ųW/>cu.9]O6%C 3UkF#Z dqhׁ/[NpҁW'4Րǝ,9Q.'MYW5/v {̸uޯ>ZQ#VbVuZd3'n淓O~݀hfRyN^j00^t]N+av뎭>i(Vi¢9U;Jpѭ[XD!RRp5F9Q4Vɢ1VqmWض/j[EpM Hzzͺ9mE2j0l p(xR:VyMdҰ^/45]P8Nm;.`K$I=К T|¼r_BR 4Em ڃ=itq0K$DwI%K28noGd*H89[oMG;veoP{y?5lI`7(𭲶s3:L@'W.`hfk'TԢݼ߲.M֗-'{jBtFz:_$J3Y/?BdPԃ䂱9Cd͘{vD1}F+qS@o[̬1S"CŮ x!e#NQ dDQᰢr# N,,elyNPi`IN_kx=ZW7bʐF^_޳APZٵu!0Yg=h/]qFt{}a9ihWC481ke!<ؐ Z#6tid*$,H*w!c-F/c&E<~ {Jϐ9G?v!m3c᮳u?0)wUB0I[(/|O{@*6/[E/Bx Q-8!yF17;w>֥!rdS{#7}QTSל=Z;V53Jwvrb0Zشb[Rs0;mkiw%&5IX~;c gRW¦ÎGGAMInǜ_П\Z+T|eS~P%bST9,:̈`&[mVb\띂18;T.I6!:B?4`I*sh;4(aT~ʵ[ɉh,`w1 pϒm$qF𜐸]@~B |b Lȭsr w>RbaU,L9P`<ǔYrL*&eXcMLÔAm.; X:ONe3Uf"W.X 8 :(-$DBG/#rBviaihFJvU`'r,{ {ԑ1PXQg]GS3"qnn{e$2z ,R"3EzxxQXpۭ&КZNot Rܔ"/ʹ 2Zǔ"[6O2 mHcK$0w?`\&܃;ӈ]mRYE@z(wc:Ugg 8$]Q_@@Ѵ d|+-绶*'qGT ih4%(Mzd|il5$&?HQF̍kpd%mt}{X?eU իı[t|m\tE٫絁BD$R{.s1|Ebܢ@-&K'&wsSP Wy`N^\1ل`cKrDqfVS 5%3QM| SԦؙ{&gGks|ɸq>(VkJU0t61v`gTStNFu3ӻ)u?9iDs T|reWO% rk56wF*2%\׺R简Ñ r{Q I;d'VϔOG< &>^}HU}it]$fgSG O8M^ϸ/T#v{1J*|~!unIL)X+Qdf ۫ҹ1Շxi Ej1_D*}\iQwH4CKcL^>ɡ*ZNɑ6sRCV$soFmhesU).rl1 O'ze+awx!0)A>H.2=? ۗJz>eo;Ś).H({,z#j>Xܜ6d im3E!"l7D&* S|AS6ӭ7D4s0y%E&`jr1 #+=}.%~vߎ:rRtE,gZ]vyN <ӕjx셁#.׼+s`(cwH ̃ Z\ X8\-Rb}_/}GW62rYue|Ŧ+Wۢ[ ִGZdݵlZ1[Sdiol^ ,K 2Bsy̰SkUUl Q?]dUBsT}U-Y܅"ߔ``&z)76#׿?)*'KieΦ]JBa@AFψ+s^NY2^m0K[)c]ph]j-4VanB.{6,M3pWZ:|L. i:N~(o^ˉFDN+aL+1Ž9>$Wb\h9}HؑF~=bi]EILSߘ4>gz[D |dxf Oǎq˓ts\l־,/Le]s)GT PHٌ&Ps@шO-:?Ibk.~f_. E5d[arxxx/cJs@f:W<5m}"NĞh[eh|p@vw-62Yuf)л.*mn\K"$b4lu›V| 9ubռџ2 ))2:T61e5 ܗqE Rh"$‡J)ѩE;1*8L/x{3_o,.hEk[ f{@lgJv{^&7 te2}qበL6ôߡL@9 ?x{ N#AI¾Vȧ|V @uy#Dq')5&UN+P@Z(C w&ibJޕf)^y*.b=̈́zMHרgIw@7#_gr$IT L)/ iS%5oaO3h' ܰp]EL=r\75h<0 =i/|ޥ{ǴY3@iK0jt&dUcL=ycvDN6'Io`x;nT΋EHnKeV1MSL ]RW$8shx]wK[7~iҋ>jf,3!Sjr;0=^wn:SYmjq3^sY]huUY:by@BLL7ln7GT{' Y˚FMcºP]iiK2RKbG TGrC.jcp?Xαa=v7UB9AK &Nsi@``D9s%"m!FZt$ ` YHag|:Q|ʿ@ootO,mhӪr:1 Ac'dž]gdG\K3#"wcO\eV H>*r1,.Z##fR̥[0A L2?~ι1=p.ߣ9{Xy,k>fJ:R"$,m(q(hѱ(ӁG`LaԂz S .ܦ+ODhS72K\dD+0mj]_:DFm"e3jwR ^h d A+6Y%^FWrM4][wWLc  'lr݆vzں&<c_(S0KFӛh&7 DQ/k4k dku; pFcj$s4yzfg4I[ 2F KPy \^3S7:*%ff4RT̩Xg;`>}@ #NÃʅ3`K"4gZw`%x\&Kj@ro1yK xUD9mN6l{=X+偿+j_ aʔ]Qr76M[*#sbBXK@NP/ cNM-4[\ $/L@ÎbG߱kl|(\D8n^Xi-*vSG}W,|Zj򧻐&8:q 駿ECchV}-Oܴt캍D[!=~'BWQ~"dB7Iڥ@ۺkoU )7uǍH;,o(~.̓$W(c2[%˯ѽ\mSth/ 4\7kSFX&?*Z؎CV7W`S$ SH,ۋVl2,_H=B\,; *?IcEɨ?$֐cQR^V"ـZ*`52#T8 {g?=ZQ,vlg֏'0s:I/RM^at>7ndIՄg H G鏦g ;@)D՛3u~UncqJ8B"Nr捙zρ˃F!A<: Sji*L]0n |R*% iLeϭV(D=e~Ub!1 ]JMũM2ۧo:[\DF#ˈ *9?ug6@dh5ogV423q(@|U(Y0(7(Op-nXCP |h7Pyhq3Adz)aaQ+ʟ ǩ{3cjƒ[n*őW$d ӠwtĻW[A| v$ 7'A^)ZfԥHi*_a?k)i{Ete4FĂ% !ܪF!KIzD_sh#:,X,pE>4niK[  Gm+Yy9p o'b"/~_،njGvDXtAt67P̫8 &1_]ْ_OM;sYOǙK'uǃH/\({&HAc`]-N;}aV=J+FhR!IBUAy-?hUވM*T@MF%saB->HyN-bRw;ƣHc%%pMK/ }R٪335m6hu$0<}=je-HWc#o9XH$1ْu_= @v=)2U|J@ XU+%/-yh;WsJG}BQK6 zvlD h {'2`\̒щEs"#zi*"LFu8ODζ?0{d6;gcݛlKNl; 3锒SAފ3c*X"YX4F.pZF2OA}naGMdu:皐 <2UrzliAv8)[tԮJ*Kj#/C':de{Bc)74mڶl޳z6 tfSjip\pJ:!?}Ӎzrn#`{2=6Řl/  i&nmm 3]qZNwz\Lt6+U}g 7?ߎefN^vQV]`E 80D&QRc9 וRgRIH)ȳDž'$o7O\D"}WfQflFRBux 7.(VIYIT 0dK{=0D\1I'X7Sۧ"u.}J!H8Y.#je7(+K,s 2@r59tkqۿ*A5/ȡD)+38ΚLcY1 Op?owvg?ms [qmՋuoYOW ԧxǶ;[27PS!+U+u{v[)5F0Lª!w()$d=V2fDeU 1Ѭ>7ctF,SGr1HOB(jO] xXb)1)nEL׷-M5C#k`,К/,ߡOGʾ9|ՙy=禃 ss[,gqEbh&x M55#՚oK[]uE5KpQA[S.ȼ4*qWcouF2:%%>&.3rVj~"րjoud Q4k|Q*O#/{ (bL$PqaؿB*08<.vnatF=^E5˽&+tf"Ys[-V<}ˑ7}H3/Ӄ-Օ&qիTY/t庠WҌ/\OsMl/+\i^8dFUtʋ:W:n'ԡ* N$U6#oMAfI}#|l&jx~@9?/EQʚ>A)?l :_%JnC0=IJ48V'XH nyY%]<~L'$p~+ltL^[B^ylhZn[ӘTh$8ŮC= nIs +3ZiLhus̍\_(EKNB闁^Q`@\7&)(]+cX V3HK0*Ԭf/)w@"]|l4sEh0U VQF}-]'wufW4hϤD=o= R7BBu"uF ig?}#wNc h8nm|+2|b,KUw5N>qv5 .rhv]p3}.`[*lvfQ#E.%P(8'n=mN-MFż.@8a: \(X\~~3W5J4ϦUL&kul`Z Åt|M 5hTxhD%*  S#m#=ՐGs57\+{.\; IMbJS D˅,)Q] 4 p/hU̍[r.%F,dmc (Y '|zIsꇌm)ѓ R2)}/za_53RiphYiw6qZӿ6ÿKې/j{Ź{ BVIpg~GqjRZ>%1-IjS-(4%0^S悇/\f~Ľ# J)XFS>}eWHT{.ão Yɴqjકg[h(0$fQ1.8@}e^5$tGALuZc†hl:֎ ~b A];R,MO\2礔$bvrYGȧ%[)ͻŕ!3W|@ zFQ>_Ţ?̀[ Sto{7aQ-=^;ï9D'ñrd„1 Kҙ^9~F~"(VcCec\Xx+4wgW0hn9H 3$#xwO0I@ Jp$s w+ r D@icC2Lr"7ϐNeoyy#VhDP}sT(Ԟ;LEdiS|aeuUW=65gSp2`0.;ZlVq9a~Ev[]*@1֚t*/Dun k,/oV J;ڢ&ڥA ȧ; ~]AnN(Ɲؠ?z Q#8E*dAzT +Uz"\SLQ:4r@c@q[lWKj[E^>{:y bGf`1vKUeg+]yxkGER*-5kfGd#,fX [:Lї[oD ׵~J魋1_KO粕=Z(z^37@7h*ܝ&S9 eZ,Loqc%:'Τ{ɥ}XrAǖ{u2ސW$~ VS&4xՅ`qSA)DKiq\o:up+瑋u1c(3i-CEݟ-p}^$,uA j9eoGG2,C_Z5(~NRJAWq bi`;<#iO_ #5iH+|GG r ]q*hxljxblmc5ǜGd[䍕X鹠n> E{zݺ6\[$a +U ^,XLz*WZ e S46.BTd ΍&u{[U9Mꆥ.RZn i۴ - $^l0ZMA=#tFռX{Z8|* (JDokXGK'y1Ό<!DAvV-zB*ہ$ OT9D1"f%ˣ4etm}]vOK!(E}]ㅊp؄u_]2y,i! ^[q uqV]!X;jqK_킣_r@buqQs-"O6۽tP& ճ5f`%wJF#{MJ= k Glޙ4h[gAX i{ZvJjv)ny*FƕA5_niJ6C@![%7S w( |dP|WFG2O?^۩%*g6- s/OL*-B7)OMPgZ{*QƘ9j(d=b2NOr-]8Q_r?sւƎXTՃ1w*ŌkQ uG6o$p4]9Ƌ:ϖ%CY`дP|e@^!2ƫ3v;$Id[2 [yQG[ J.Y4&79^+lI AjL0tYxd-#=ʨxN&iFJI#}[3}Np__Mۆ|Fk0{{/z i5iwxWJ sMHW%$C6jh}#k0nq)õ~=Ն͑Wڽ8ދ2V'B;ppQu{T]lgf/3SyMJ =m (m.ASHuLI ,!0Eg9CvyJ!]>p\ 6H2γvt:Ԅdе%j? h!(A23ZD[jq75R Rn׹#j2omwHE򀂤RBXq^"O*di?m4q"{oY2:L'{Fl] N<@ъQ>dV&Ӎ`5v=Qu#f,7?"UCƺ4jC"P(>>uP{,%P-R,{E(b!}xrjC׺7 ^R.T#=:I?)s;JN.IZtD,B2ζ;~wF!fo_,4aX^U-V\Uۮ#B6 /gwui#)M!?%FL=D.Ƴ 4|wzע+`\ T==B&iDcӣ#\ܯJI^;}ץ"%hdYHul8>wT ʚYrksX՗0窆; ?; z}k/FԽf 'YWFV:Μ.dL:*Xrxl&8T2%ZͩMs;γ V;`p釕W/"/}-e6+ MٿA}:ヹhG@ce;qw&B%rmeJ_.~M&/ȁR`Ք̀$པPGY8<U I  5Pa'&l1Z2.%2tÞk#l,l{ކ]]"O$zN.'tO9z[>vt⸈SAg˹,WڕOx'h)b'5΋4/E$~!4UuݫxcKJL⑍ω7Rt/9~ahy~%UyYS~>]%NDV/$o_0V^"Өl F97iiVM>'q ji^ Λ́88f*s!0fEݲ.9p~,KQT(@+~@Ěr'Ht4"yĖɶގsQGSSRҒ:\4IARx_52UI{9`YT`CT1db !4MCʫt͡ikü=k?@Tϲp}ӻwaƝ&-c6&iC UtwQig#}-TҮ:2 %fYXCLsrk/s1-LC}5IN+ _/tR!@ Tҫ>8Plݬ}Gh0JFKvJxU2T $! *)GNڹ!Ih.1a_/шƴ'=PDQ^&Pp- *O Fu;GWNKߴ TA^ݜQ$(ܗ磔KjɩLK g~e/f^rKCզxw(~ATnf/7 )y-} п].l 3+,7^ J<Э 9b,kXT:0@@墿'ҪMn>4E<)؋N;*3ī@';^$X ?|l4578wP[/Nrބ~|cE BV vѻ=46VH L#nUv( 0/'B\J^a^6M`aͯAhlԥGt' 3I.rm?Sx34}g 0R-8Rl>v5~3HmrKz/c`Q7p).nd,Y\y:*xXp) r?k;)+:L#iWu-ڎv1o>X@< W6ɯhM/A .Lz蒻y=<,Obm7w<n尡|xcFi+7$;xMCm+pd$"Tҏ"!z>ܓQ%w۾̟+Yf0&&m8F0p=_FBuM~ص{ y %$,m2-]w /%JeK¿X[{3ݿ۝/K٩N׌ C^`C@يR\!GAhQ5Ik?-E*r1z!bZBt6rt5M>2ꏬ޽~x-nV"ybjI j_;Z8g t>};9utĆ7 ]ϋ׻d7tmRUuV%QI.CaiV4 >EˎF%B:ȳ7 ˃Կ}1G'9|+μ@uqB)9h-9jݺ횭]2oK̐ե=Vk~3Eؚ"q!kHm,_:fN2!T픍1C"2gnP) >W$`ДS{;́&!`* S_hoaLQU$=BcO$a "}.%dnfHU#ovbj"%eq#L nKg\h&ĖҳYx݌,+FLʎw̨a;gBVdOy~YN$y Z8CE,fGpR:Y:"q'?1 !+hĬ*O"P9&zjdۦ£gz`fnŌ} Gp4̮X)0[KYAjٻM?_:p'©ܠ%_`TJ  6wga]u9D(OqÇٴ7lwČ⿬MֿA)9a# `>9&Is~SSDDht5 x`24VwḎ;c7犑z`ie*IPL&U:%U%_+:2!\aEv?ڼLF`:xypMW5iLAq*p_Ķcئ9HlBj}T3() ʑldaH2p6+Erͥ؟}c+!iX-]`rd2~[H`hTo;g#Wsك\BF' =*2avA0]'Ybh^"AdcݔGjBU}t2 ؝2#䗣 ,dOl(Z|k$'pVLr f{ /2SI{o7cY]@~($Gbe@tRm&M~xEY(+#[/'BH kѻ{xkIyȘ,N02d1wlR-~_1LxCq/4El78|bipMjhݶт:f`qEp;p}cIlb-)KG.hɆ(z#ˤ'sYt]1uAk<+w˂vDQ5?cs YNi]&_8yeeO y"߭S8uL-iOM9_޿WOpɝLhBW{`!k6]@nc2Q䌔)lA᢮ȌÆ < Ncz(؅KeٕBxڔG|ׁ4C>ՠ8ƴ 1naI_Bgj{jt:+q[b2<~pa]Z_ezO[S\,q-:ʎshFҊV8ľD\ d7!'ǺyzP%o( m^^I'5t AƞC] #.L?vsI[{Ԛ+vmZc "jՓ mt 9Q(3hYؠ;08.%e: <̥QEm.c.Îԧڥ|UH%x ?rM'ROeےʭ:+GWq׃.C\Uw :Y#c5pÍhF9Tu3w ʊu0,0xy#%t4O*L^@'ߞ%9Jdع6=vǶ25 Xs1g `ESjhu.YPmq.йtDnvr}K̒R7̄rh PzGQa'ў'>q jbӫݳ\3 G#J&.T=+KF WT#w/;Av򯊄,)Y 5n-!^)զmm67*>5܄^r/j  N} AlM<>o"G)8s0{q#7Ò2r:3 D-ee-MNJyCBYSp1;TrsbW)g/<*Yrc 8 }x& ;ϸN:3K\c |c:Zoݶ%S#͂\˱X_|QNl ~8 8&zĽ 'ukM)z:ؕוi<>Zqfw;C>xK\[$BJfH(F1#R$On[5$ij*lRHUXg>4uq6۵5B^ oR-~m<'eȠ_jVϐе/q8(Tg8Rј"07‚+5% /In@ӊE;C` ! #k` ^)^g>B]vK&s\H;X~͙˺Qmuʾ.)O\C0NqQnR`~j&0 Xm%lR4] CSY@лsC1]et4&Į|njem3g/|?pp/TL2<4u1n39fAQ["ARooDA=oʼnߦI>25\'Cv8~孼L &įRu{$jZm(W- 0oGS'25=D˞XNu&YyiF"?!J- pD~T5q5(͑[.W|Q# . W6c!b{itNx\á F~֕ ë5 \Ygcr"<> fKC঍EtII'yp#0֡s8ƻ+`:Qg ~Iu]6v,3Ŷ2[,}gmc*Ò|6RroRTK ct7d:>,y{ G0P2dEbmEccA+Q:{l10V0.VC }x^837y\'oHmVx [4!*䋰nüw^\{9GM9 ɎI ?斵qpuZc,W96<1|(z:͍rI)K#izP}ѽ 01`{e 99?Uɽ6ۣuəB+;vmN S~$ު7\4%3LB[I[їkʕ1y4CǸVsݵ!80IɀvTdF~ >1 :sIe&&eįSQJغƆA6;SP4^_dؽ=@&]Ma? vԕ!8]?{&f= Ox&ZbtbټwZHz $f#>AZ2؛ۼ0~ sw1ȭu!mZe|7˘o.Hb g7*fL<;Q_PNU.[ѠT\AYndd49kʷqs4g[jF.%{#x0@_L#yCh fb]C!W+Z{*Ce<1H?G);fh}A҂"DLlY>ژYX(9h.T,Q $C"):q- cשa05;VwXkhgw@*'"wrϼ|BηK耟9kdGwm@F.FTye{|@h (0o}5;<tm#T9 G88KXJ33;uh"ND{zz*KO~Cl,EALpQ fHX~VbK7A>#Sa!oMObP+LkeGڑX=ruNj#w8~H.SV'ZZ7 |d2_YX$nob_$+/}P%6{/ \WdǰrY5X;)Qj7fzMqsCƀ/qjd,\2 =rTbwQ n۩nS4)ڃ<&]c%iטȁ4HܰXYMrBod#ɱz-\ Ά&E&+r4 /$<-ȯ!AZFlE[2 xE 1./UB V(]Ml%;4K)N~ 9Rxp{.i U  m"*weZBa(=[*&U\v.'zJka.w8^$hZ83/%Cq7Y7odb 4\[^A5U }Ws;֝H+D{0y5E; 7W[Q/G-,?&9wVvG'Ypn;Xl ʄ!PUd:U/- B`5~g< lu|&?}G\]2d+"#_plk+yZ8-8vQ4OF&vd/ ^"E&ߑnw e|i`70CJoQpY"Q姀f ogMcJ>1-q'Zcb%)`7Fv?!J{Em̪rF+r߽\Uj'͑vFpC9(/NN 9=D鄮%P!,޿#9cU2 ?ȅTӣ9,wSnMc%PhJ羺1;M݃NoƊ IJB38{D f#ԍ64%<)H =BDF46M{TFV嚄͝ ƀ LRd'޺\FvMV`A+!gpF9֘7OZ׬ .Cǜ;WE?g|mȩ`\+zC2u݉v`n:h ?^\@TC)=A9CkKX=ązeCwŘګlbt闉yP=MފUZm,dȃ[(