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=326.874cpu=1691.972gc=117.440factor=5.187zXZִF! ܅R]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmthJh~@wZ_%7"|о} 0pUv (FIbu@|kΡI(deeu1g1 |W_"~z"YLFVx7L]2=Tn_g4tUf8;:JZySɛm݁/K~r-_im)#\K!LN"<9QXF91Sok֏bLH|58c'ح-F878`FO?CR,v.l._WS=a(x+{ACϣZN$\"J8rjQLj>>ӣ>TƙK徏;_EzS_8h zWwZ;]CmLV4'wEKwVu߇Œmm1(A [ eed%R1rA1}\;QOuTMCI>݁!b3Ro+$7d0Vyޝ g&  3C~G_2+&<(j4"&uvoWQuU0 R]R5r+^xہ GώuzYdc*I53:Ō{y'W)XBY楩$0X[+޲KâwKjo㣒L1}Rݬ%=F;ii-cl! {:`l? A *dBy8tD*֑MK y#OWtUwM4i_z:=;Wl[[k mHeX.gqxmkj+q]*KK=hlM n9Q7"7iV!6ѽzƻJ8CZ}dS&i5-߉99%j78D >h^JI ޏܓy &mN98tVe#RmNVN?攟sr񳡕ݪO c~ZzsVO`dVYcG+]x_Xμ=(ВqNKCXi\w8_!wQ,fkdv9@S: fwSKi6\lꃸ8KA5fzj)L9pn:|1{6$3/܆b8Q|BO?3 ]}a EƂHC b' X=!=t&&~ŭyFөo/!d9fs(@ˀ`M1[uwymFkZzABrA?1&g.,xsXC~526~g^.>Nzj)wTƴ`Z5` exBlﬣI}u,RUyLӁLcCQ/a̫@?l)B/ icwQ;-ky z~<tw 2?೚y:Yk׫Ka0Qnm#__y NKWI 7/^NWaf9Xn!OWAj}Ƭ6%(BZΉ),bv1J_>%߰A+chgs)ZFGHҋpKFy5OqQ?U?{lW=ExT:F/i1l vv~m||"w]у%Lȉ"/E2ݤ/H;=4ڄcSTWEb﬙^'(z<.5lT0$l>%Gdz߮mzC&QV♭;W斖Cٳ\1AȖ%td#36;Ȁ Q9b }Jc 7A.jZ #d$:1E1(OISj%AC /bA =t+LzIN3LAӼ`w biZ]l.S}n.4“xۙbd^NSMR >i6d- qUY"&;$Vw/ % HOL-Analysis  8Y(^K,44o_-:K2JFF)H'z#<5V?pq}%R ˍ@*dGlTo](RQ%@o]~J27w|;@Y.dnlRHq fO?IjЦ>%H} 2ᎀ6WZp9X/Y=>.Xv[;М:7ڝ3<̪x=%"eA|hO˝5hRqarDZj*+$am˶@C6{=tEmi2doYIO`/=l 0JhݥDɐ g]y &gdۂ~'u#J(92E,Yܔ ^N&~%J&$K.)T.}~hl|NzIN*GjQp z=E_DgoX39#ыCNDp>Bqy*&N=ah!&'[ 2{tbfq\X$V<򳓋-i"KJQ%#qCY11AKj{1kp(Q+^կ"!g AcKy n#bL k֥1ڛ4.HII^?26i+;cQ{MX\?lҩ6{̮ѷA20wеutQ <@c>A00 )C ʊ|̋-8?f~{LG̞ЉПqG; _hCN/LeE&sK$ gL䉘UEaL>_UWDq2TSWbWx!}/ *^8T;KݎC]'r gih 6yJ'#N*ۑw8n eBuv6{I,:)߷n`fvi֣',3#e2 TJwN`v",Ծ'L`F88nA/@-ED9O  N?Ao7C]h"ZE$o=VM#m"K+0}Qg]c]ֳ$ 苤za:N>ةU+VZn_X"k{n.b @ zIH~9(de#ߵan 5]p֝W)5 6J`/T5dxT,MbMˁԏ7 V"L>%)AtILd<Ǫ[MZJzIuojщƈbq1Ý})-yuT”٣ցU%WnA=,ũYqåSkx+L a S`hF)S20.?z(AkkCk )$c[hxpE2U6aڔW͎w`lf]AYKd&ks6RG 6(KVQ )1[NiQ}#s΁LhdoҶY'V:q$$O-{LǓލ Xl]]FV<3(U/eVI.\Kc6{>25$!#41uA{9\Ӳ>sj1")f v x- ɻ>HODLjq8JR֜zmf؍HE%t/9<8$h8 YdhqH&9I7WI<,*7cjS y֌zK~1~/qqPƱRm\/A>ڴ Z_4rUY;MM:KEeȀq"C8V K|ֆWN ~WR|Z8۫|r-2}ZKXy#[R{?˶ξQ Vpe?1eڒ*[~{5Vc_ؐC_Z;&[3urZJndԮ{HSuma忽b֘TVCaE293DD@ZA.@b َ1sc5TUt<`m+.a[=IMw_B\.U,5$O KJJ_cfi'MugqIj8F;ʜw81F[FPw|YGzP^^΋D+#s(HcΎH@H,ns3 7/_U7~f7zwi8l܈L+ r ܤz$+Xe\- r+ _3[+2{\=cSZ ->jj|-{5/m: & miji~ jW9S=vy_r#yZw -^dyrp>5 C0IFZ5#TZ#qHgz>_xrsHNJcz-6A )G(Ïh1$pQ>dRp;CLG_68־I?`5J^heFM{xz[KMhIՏܲpNP+v*v6/>v;M#.c\6k%?V^d)/2chk"v zH"Ud?&4׋Dn@NR:I0隩 ՎV~W`E:4|,I4r cDzf~.&D>g"HESӫji  '.6򑠠,>e݄ͻb,_olf!h5e-* 1ٮX2=TLvO 6Q Pv]%7o'忻3 W ]lKfp{?-YR|v7ܶ٭ ;h݊CщČC18-s|l)3MW:3`[DcvbPk'7_1qfﳗf2DgLNf]_(8x((e* >X]D.}F0f)Z@(%,ϐ6ކ'lh|bU'8)Qk- G[|Bf]j}y`RŨ3J>>_3м`kV9Y7!̺I7܉614tNet5p!^ C F k&fBH8H5-p>GFR{gu.+\+v0÷1Ѕl]Ѓ_ŝorQ}J{_$I {8(VHeD>Kxkh(y}vRxt"VVz1M40]ˮwƈ`9*sT QQ fmC)Igє"v -5% (bd5{ѱj05cg^A3NnxJ\# '4UÛ尖5Vcesr/}5{s Ic&2hC{+nj0L+dt. Ji $:,V2\#eea)A(6l"Dn4nzg%6!nbo+mṺsӵ% Q\Zj*f>πEme,;Sٱm(Ysiäx0v ,썗c |k Md~deFWt  ݎ4S]Z٤Gق<`,Y&e %LEԤ[W6UHP'+f%eR[ץGq>Hb$mK"@LbwĦY`~uMwLrF$ŷG:.Zl'z1԰"'*a\@:׃,J=uM[/J%gw|]~iH2hJ &>R$}YUtD= RG* '/\@68LX/P8g  L>"zX_!ܟf 9뫽$F zEE=J&* }ʴ22ඓY)$an+onW,1"mosB.6W`]Ɨ(_TΒ"ZMI{ZlF sѼo.&j?2MbY_6iWdci:|e.P(n,F6{p4*Y7|Ոg!s`NJzQ Nv=al3b="ȘCT]%KP LeyGi!2W3RRk\z4]Waq=Ɋw"0 /tFu83W݂6L3𝉹-qZq znիeM2{ocw>>x.|γhQΕ VM۰I#d@b$X">[F 4PT3̉GYcj6PeAS )LԝF9!2~ǫ7:lf U4-2oLcWU=p`ڳ@gHx GY<Ũa09.*yzrrhY ¿Qٓ:;An@`cT2|]#1Q#ưaIjj4 ߊ{B<ދ?.<^o'JZrct 6 |Lfʴ,`iWF_Τ5p<,,焁a$isROQ?2晛:X^} SSC".Qj }#k1Z0~6TYZɵxWpNvy|WIh3&%OMK_p Dqނźբvr ipl:薂6o%2a<,ƪw02K^{Lo "4yҕd= _q~WddYssWf ɞlxfaz~3lniL]@w%0QNC299Z8p yF'}0ܒi~;=ɥV5޴7ɿPC͂=;Ҵp87n95L Gw&`&hO}E9cF~H(`idإIk1&#|z1pkd&3Z1"2 n] = )t_^~˷j|0obPX?g|*kI3zrMnX'U繥&8fv1#r0:r44kƸROZ*aD"6ڹMN_}G!w(|dBdJX59/s(7ZVvp`fj[J[[,X~]Qh AfwM@H>ytGY$[󰆇=,M 'ԑ$ ӆG00U|0⑇8Q}ԊJGLѱv5jP`Xmli/ @1vRɣvJiܜYX/DZ\5Y.?ŭ34ᤓ1|ͥ&;]ng惍 q&KXfX$䶅w bw&Y$ӯ%^aϥ2P|ij,̘,ZSIhfW S+cU>)2nV{`ЭnUG`96 Ot6y?G7?qs;/9+4TyX!$bEV4%[O?p$i?=霳/D~뷌u7aUDغқ d%TuiJ9gYL=qf/1__& ;E.V\L J<1Qe#leYBRhoW%]Zj3}S$h1'lNQT H4˩ƹF3c~$6`={XDW't:Z P;v'ӱh%4PS~5 >0ą+W8C2nwg/=nf0Zd:|d+tĚ O{/-'6c 1]n zmb)s{!>& #rS:!WVr*@1{OmW{f?lK/%k$ߏ~|Ul/} :j"(rۧhO>vd0ӷ-rOmг{h{Ҕd!'61]bƴ² PBA?#Lo!H}wMq_h ѿ\To"0.#K =΁;RR"8[\\F>n %'(d<Å]j0I !2j?E$JEBz,?+Pҹ>%.ϧs6G~M KS]^ϥEmD Vbg$9=I!ZBr00*n͍ e_`0cxu'Ų$wUt^}ErB^ 2BmMLʩǓI9o^ ǁ sR[7Т;-3Nݠd L2?(DBO瑵 ߢ ; ћ7\91R**" [Fe˄^'!t#dh@c̆M4cW=#lWBh9,ɧDQaX_8rGߒ%WfGJqK&9DjRkAzPVߔwlےeaSsM1xkhH!(N&'/QyD;m)f.(:.>hrq,fQc#+*#.X x.Q|[zUQB4 #}TT)kYcIq2Ҥ@Co} |J~.\z55Z|(-#v2pbK4.IvBai~ꈬK_Dۑ Cy2TfJ?8Za.b'w @2"8Ҭ^kj"nTdyw.Vb_tD q~D~$BZS2Ϣ6Ӻx)b y#X(%KN0 EΫvQ!JHe@aCRWl47N/q1*ju5 _S'S#|,jn&V>%ش)*$i͑C`gz.Qzɑ.x'<6Q)OsT "!s?śZrݯt.̵QOۻ2\`G߾RHpwƏM~y%H=H|j^^:A῰$E'C#@%t   ҋ.lHCM9¨Yk-0a;TWJǍ%DcRAՔ-'ZrNهjPGMȲB7#5v/Lh) +s$тZ6jˠebػKb૽珉̹l.@>K%Ei3ⵟ.-> u#iU@}+Z8yI'`4q5D9]N=!E-rr]~9`Fu;9\I-/.zҼKә 9Ej.c#'K f饭-XG1|#,chj:3f"VVBOߑipZu%Z|xO#nA9fBJk2AQϋ@A| *km\Q0J2 [ѱ9>'vׇYk)=v'X5R Z-}:f zXwbTcZ jcp*:QYahDž#-N%lg]!kC@9[:nzrͫucQ5jP(t 8c4٥LSJ2;L'[ m9-H[AI>&gPFs|.pv~wrfa-jtv]̚7|;U({+~@j?kd]$11SK,AD=by\ ; xt1͝D#YE:y(l؝f׼ƜZm} ADqM,WOCj%g6| pQGY9Vb#Ԉ8cH'A$osPsyy`178Ӯc7ݚ-fK#`"Zכ(HP*l唼VDR("#wA⹥ 1pތmm^Ɖ*'p.=ݰ$,`j>jਜ?Լ]xS>4[%L]N1c}my3+_|DPzHAcln"dj#8|l)PLZ {W ʠ +JAE"8&S_˾v}ɏ#·f]P1.r6zDP[t[!A,¾f@қx&`q[qKL&قsdV'${ MILL:Grl;S2D ' hP>oURyQ J'`@fKnAFÑEDvkY,!pXwX;܈il'6G7F ťYBx{Flq-U'aq~ RQo)rK}/ T<;DF72UUp f !1 z_@ô˶cCN'SmtmPWO{}K^/ь>^{R pѓhe݂̾7;tȲ],t /%6-i'3dGA1~ +^)S{'uQ"8BH_PV۱X}%%%xh͵!6*(z, j**38)k>X, T^H-\NFZR겳/-3C+{3uhAexN6iï Qz(Ol:R֑.%ϼ jݓ:bUVQ$0M轂I8_Ġ$-֕Uwu@fJ@2аbRc8"g>+]aM%B*]6X1!*&YcH?G5Aq\,n` H t'hn9&t07jK-×]n7B+kZB<;!`U,as00CEvr'j5}g ^aDX"]og>:ؚA?u?_+\A(/SNMVygb6s+>Za~Wȶ7Eχ7I&dr>{-.ҚN<^7NGÌT^}U?' P>z9T& `89Bwx@fҝb~o;x W"+l@Φyzra~#.fOLxc"33ؼ+c. @J/z1`is'6DM3 GNWt5hs({օ[-R 2CI3u> =δ< 2ɒ':B\S7u,,[s݄2;=7F"C6(h=!i@ NM6Vl Ñ,H(aa>XCU` -tM( p!YTŽ+<H([!x ZFGj:cL28oG*M(χs8Bu=]!#e!v7$o"[?'5:V~+kz-[8uJW8$ֈR,V'wQBEVesrZ w?Q}"|7[KKܮIKՃk` 0}}|?B+4OH3ʹ; o#@RbҵjˀmmbGVL`\X_Fz;= &chEinQpK- צK[#X0 y[WmճaR& jk~8W`FŚiX f) gqz$b f׻'_;TvжH=O/-7Guh IU #.{Ec\{%n[̿qTvL"1Hel*{8/< 9Tc%zz\uq32glho @;(вVq4 ޤs(&o;l:Hf^;|jkr#])- δ3Y "$68+U2<^^kqp>Ao/lKnM*lC+?SN|m;oxK|y~`Ƌ@ؽj70<ܞ`JgJ(=}qНbUʎl ;Hb;1t[B‘d(q_7VSԈ. {Βj((G|^L,gLx:I帑4Tҙ% Ql[c=&flF"~;Gۢ0%%'29"  .gAlY.dJЦ/jtu<_q}9(gnޱe*gj]"mb@H ^1yb6):D<\CG3 n+ćG!69u= v%}$-HHzM3'qc19i40CeO?e |-@ZWYBez@V߼2dMZ+[ 1FYgoZ)e Q3ѩ QyybUu"יwbw ݶ~,r"9M'R,;@}ּYmTmuj%*v%k2䋐k)23:ZƘ+>Q䋥՟d8??HKϚɪȆ^|X8bk4!s̪z|YюYF)h)*vn+pl^#$s4'fsGB۝H 5+Hu)C|E9*iK)]}` O8hvVx`PD6TB6;m<#! .MFߗg-*ZoazgXChYfbUi8 ͬn>&*khˎ1<594 u ׻.r_Gc}˹f9JLRVEk^s܈ͧd%*qyARH7%LGԷI͆暻 -7N1=<,A`"9[X՜3sb ?Y}?H%H\V[p<Sçi =VHdtheF?z 醸o* 2c=p5^0K_͐Xv岷^}"yDbYo1YBjԮVh;ovGCW7-p`Gs֎"zc|(Û*7 ͬb`B8QY£{9Jk)( # P9Fԯ`sK{_|T^)wG?`Y\.,Q{¿{-$583¹4i|GR224?5A$ҠI,ahu$TYV<6`qŦ* (̪>躺1zqokDaMWV˒_.lN{F`W,s%_@<=-BS"r5T 1A,P!Q;j85*=jXR4 OTm:/zdMOJ+ ,$em)8ys^Mjڤw:[?F?8㑔J"/ D'd7P4{,=]CڮA2{+f?eEGҵV*W h_!n#Ksʚ7YCq5}Г)}, :, H-~\mEɐ90 4?l2>TFrw7HS"d{%*|7XRv߿}NWV_4]o"LI0-13taT&LZMZh*gMT:Ht{"#4IyRI۩IZVğFkewZ2CO> JQ//MRMŖi&8|߇wnV7_|v5,Ҋ,3. ݶncj>h'9"e<> ۼ[ҷaltZY L#6-B@wbL6мLFYSks IKG`w,lIu.*|شSa?}d.G0/ZCŠ >4+=/q=c=IK\l<0cy0+j,.ERbQ< ڕ*ZaےqHAnipE>ZD.s&( us޼ c9OHhE&@0H=!b:B\#$w;W .3+(\qĻ=J)<א?M;p&t;@ޗ>'ڃ}a |o*HRpmS}@+7w}~Iasl fjQk:d-,pҠIDILvR~(Γ (ˢlٹ)6.BCeۜ `4L"sKwzjyOjەa,gMeP=SYkPIĠ,k}&!nsqeX1 b.2"@ Y]\$e}EpMe: :0Wwp͢ g-67Yq] qTc:מZ)J88>LlBa1aj #̃^D^vfkB9}Ewj`*0=ˍ1[ /ϖGgJS*UQ (BMC]uU`CU9z &yR*cJ>9f=F5x)!,zIRZ[fVf)bgL{}c3/%9_0fkRzCh!?,"Nr<"|E{!,p(q$[k^c}jg@Ws*=[S0EƼR̜ڢi ZdoioCޛ=tW2/v3v|V0W # @R/ʌx>dE o [:k\T؍T>j`SD$mdŁ+>T,ႽCB2+ހ(J8eyԟF glL-G'ta,W%OX%Jio1}4XLby"^UЗ7 Ѫ[iMD PsY:F~=̇{{A?+Ro(,;\#Nl.C{:@6_]*4}yQ"cIE'HSQL }ƀ6i0 o}߁ǡ'Gn.x@>b ErЯÎ-ֶXt"DV`B or!SISKc±뇊)MPbWgYZ7zXZִF! o]]ŗXi%J6aiȽpi!*cu-g# Lx, \bWϬd/p{qv[cm"=N}`eWD\AxzS& 2OI9S/Cz4er1^Z_ujU; ֱc_rdH$1H7!<Ω`V-Xl6! g)&:vn<OoN <.—P*2:{O -nGn %zqkOSOJ dȭk LsDv9kmD4; o&[ѼեQktHtܡ#yQ:so2ge+5Gwmv J^"D _&H#hLmb1`7L+,\}L2<,I>YH<)NB Q%d0~t?q %loCtsIaϘ)1U-k%ge_]}y@%bm ;[`Ю?IWQb]E45~!BÝ` x[rj/Baa,p$WsY=`h;}a"z [ g@F><퍃3bb:h{OMK$0D2!qo@F P,(Keu@>pcȊ-V!!u<!4_ 1:gD0V68XI /\JPpG/piR$D r1@?a ^^ȋ %~G<ՇNp`ZeiYtNV69ucUq# UQ~as0nxrpdR6CTڅ:p<oP~.`4SĈ {vyL 6`3#7D|9ϕ%Q|۫WFAqԽq-+0^)ِFGa"nʥ6݀FA3ݭ;qvGqoE=ᑽ-*MRzm>:XeLuE÷NHwWYYNx`9ok?9zgۊOJTzTt, H_[Ppo<ǻ7z->EJ? 7x+nJz|P as'H+{zyP_1nf,AX[NS4/ʡ@SÊ+v2ng\&~ `2,PFmp/Ҍ$HeKϚ\X(퐢eU6cE{Bt#Žg.[i7ȼ[Yק?1Cۺ+L/t"4،&T 4*̈ߣX@J2nT[F>o ݣfNPM6{\Er Ώd? i^3~6'o.]2^oF}G5U}H|^4)iXxvx{H$0ZX1\ A4*rn-V=,lj`4`|!A1.r2}R5$nb*)Q[N ]M2h%u]&,SZ~-Z&j{A5nEj'jٺ3E0>g?6zpYߥN> g /_ Y }LW\m 5[m7th2֘y(-qF͑ @Kil TR?`;?j0-d Zq>61 |ڙ.Wﳗ}.AwZ"W%Տ]d:3$W{XMEU$U)QOOqpqY/j_G'niRnǥݎ6@tPfsf/B$RyFHn}h~ 7:RF Bׄ1Tt.ʚ\pjDavJsL֒m4蕜Br @$P.1qSxm6)x=ۂR&DJjKSҬnU(d(}WhOpgѰ_B&dz;d6 `#vYGyUزh]4}Q['~F,(]}f^s]:F tO[.EGE v<:= M#B0wA%_JUHXO'@| =aD aOZWiq`@a[[^FOr>8AX[f˜6l! IGCĞ[3dȵN_gb=nW|ph`_Ppw{X{>ѦP=4ORN4=RZB- 6)$jf9{u~LIm HL12z>R6i&:Sw7C"6 7rh |rc3("o Zk5sJzUqf!ljspme`|5čN.Z'K$v)ojykx>>[7nڷnQYk(Qrɰ/'33&]J7<PXnI7nl?}Pdؕ 9ai!5D?>O Apc.kn|c(?[!²lm/$39? A5^RS/AZS7>8%i~ s$ur5*|, ]n&'pT;喣pވl_|-iA5s^,d] ccTҷρz[TtlVP1N مVdxUR?v{>v?|ψA!}()MмWxT3n:oUU$4CWDe <Ɇvx9ERԾaS j-ͻ[ZˀŢK dٜ!Z+}{ a6cG*?%t \dQŸ|P:r"v_I_Sv8S^_ Jի¦K9Ovʊ9Jڎ[57¾o 6vt}6@gӬ#K6CZ\ڮ0B(}psp U^7߅il/>G_uޗTSϏv"i㹭.%_ˍ0 :ŝ{pKh0/Fh`2fkgfiƆ D[=jƥMǏ EL**A,)M3A 3[ )kv$f3]ke L֫}Ebߝ*~psR%/@ v0>ald^>. [zZ'SLrߴwȄ`dgqsy9,B$`אMzLυݩ(\D<_G@[hyz@M+B7-w{ritN aU׿L"Tе RjRg{&qL-12m tT Z,HTtmlb bYmeju\k{Q^EӇ:P@eǨut;EkvSK΂ud鰀W lƍB 3YL[ 6p2Ȉr% d_ Y^I tldP[L-CekOFq#>;;A?Q ė 1y Vえ*.yN̫u!qS\>@Ƽ8yѾiĻ qcN*D`U.27MkMuskD_2c|;ҞlO$_uҗT PI(=z4X x ]wft,XtL7 *gUN$Tzinw??-=^3SKyӄʾѧ6TcsKyDa@R}S`Ci켢gjov ZB|7`5<ӂ/։0]xp71xȭ^xs @[48^#'汶J@AwW[%?,R 9ؘ6l 8nqXs$I`KbY 003v<2볟_2K {:?5àxPv;@b?Cΰj\eYA3ët%bBvՆZo[S[i T։,6oցqV8~t_>f ڋ%S!oL}<7nHҤÛ8H|1 X_f -e{/뻅=HKTgnKGY曜@lCe'R:/~4+] FC]e'nsDqɪsdzs2CȆ+Y4B5EwMIY3FdžiWP,V?Ħ}cqJ5.m"K @(I TN1r5+KM )#!Cпcq4)Ȯ/tPS0ڛ܋,')ੋ25i,>15=[Q:{ewB$Ed5y}~ BOAu Ysb孔WeVfGZ+I% X(?̱۪&ڲB{@T3!+T,1N^8PoV8g;?sl٭QI;Z 2ێׂ퀼zuP9CR ]wQ|kKiptdgr5m[{dP}@tlH>>6B%m&}X /[ .m@Q-[,ޓEn -|\^ݒH/'>5&駸,|p)r\tJIS1A+TmJaC7%ғ8]7`Z%Z eJׂTtf0Wqdw,Tm2(k<U& O;/?j]fo|~qD{Z[kT6VUř!dIU/c(O>|3!مމDzyRc~;eBaԺ [ZlHS|uh.,}ǔYcD/yO2-pRHf iP1;gHZ)SJ{z+\f%p,hIpʜҙo3":e*xFj!MA8ݱSfK ӯ2o?##hI)/#nwJrjLZuߺ>LĵKq>5K5ަvWpG0ߑUvVz ZČgDOWq,^yD$W+j BKJLC#n ~ 3ўwꏽ$˓Fp߲26}BN--* OewhW4(ӡo(i}mٙ ѐjAd=r?z:#(E*nXDvjCз;~<9 B<%"hMqee&8d% !u@TFQ:\Dz# |kL^\3c]әz]!*{E"$veoJO5j0o7c , *Ƣ/;yV_+J( 툅q;+.MG-ʤGYF$6&(TԂ(aKCv0SOW/* ZV}ZQr̤G_wxz| ~h@{uBJ$.~X]!T6Տ18ϢjC5w?߃^c35|PXK,5@ Z;*y[pN •᪕ _gIr6d΢jrhƍ}mAէ }2־NyZ*uq^ra 0n՜~_`1ʯc=m{f֪"VS 9Y.sY pKj٤6kmdEFU*dvlY4Aw%mz]ĮNOo@&PS%\j L4pc/xqn w>Pi_ߟ\8ΊdAᇁ iX OKHFFўGϐ8 }౫a!0^\Vƚ&\z(뀤}C`2ōJZ:egj^VC^oF)j{"ʁϼux #NvS`38n2O*^ q.Hgԣ]95ǒ]#!$h?wǾ@Af4}*QZEMJTQ@J!,V7xAZs0Du8^~4yžU U6J '!NuPT.tqm9MLr={1$N;a7+N?ηXp%4!9Li$GIGN{9p{u,8Q6.`a??}Rj_?MD$㯗j8D381^!q-3lm#FSŸ`9byM()# wR>5' Us~z% #}8 BJXT4@艌;c4km%t$~B/0}P#=EHELe`ykbڥV9F8/[:par7{kFw!_@?zsg+‹y-?T+ WDaEEJfg$n GXB^(Rf FW4cZcg֖hļLҚ`@j/W2NwL5EwؤTٻ͖[xIVbZU-{Ay)T! sl+2p> G$pUXA;v呶g`; p?G,K$)tzuz3>_mEi<ePQ)Vyu S0#-/%q:)/4^QOA9='YyqpZRU//tIrgEs`B))Zx,! u 鑺2͖nzD̢EFI+7G1 䏐BZ=ax sĮ2yg#&> mtT_a!s 6lIR,"LHa-5Sp *,reJz7WKa38/^6?ClĨ$׊Ŕ Twx.j_)fKg`Ɍ(Q; !u~aOXߠg2}H'vixuw~_UgQ'dk= "@l a4op 1| =kGtcA'"Z=om03cݝ6ejF4թw:DIkTKIPO1  )̸|wxw=_ᄤ,uJ%v<ثC!#3t1]XK[X.reo'/̢XE_۷}Zj"A˷+R1Xka}G=wBud[eZDZFv-uIx̌SjNV @ >Qo%8" Xl7Ǧ䛣2xctXs1W_ [K$;I=MOެ x_4 'W)3 {Y)}*wKA&бZHq$⎹zqiamj@kJmfDeYg1!f$롤w,F<7V2(}̈́kxmqv@N"?.h ~08#l by\/ST;$^߲K${icCpk)0;x6Y{(v˸Q ʒ`TkXzxXW =".-a>E;64x[̂vg:r+dTۃ%7qM_J@I\>pŅRM&`y_Bxvq}AWPGP%৙# W9>foo@I؋ӱd>A2Ԭ d)6|́sB^|o)87>flwy]~k_b!_]bj5g 5=K8:/<Y*.*_栽҄)/µג7!mE)>|SXXVӅSGK[3Gaҧ;Ә |PTeєKdjN^v3q 6PGT`M~l"u.dsД"3UdH!o*,[eKO[G)/{yQ0qm폇.9W@΁%bSw#cL5{IRS*(1@9[!(GbdR\o$#7 zSHN’Tn$ z{i9Ԭ!jA|( ҏp/ E2b;8RN ^ .D"u4'JSi_7ε`tcRV<=Y'r X6֐WącJ֡  YSMEszOw_9d$~-B}z ȗrFU.+>ȧq,*Z97T80<^\3aܛH6\\;l[%9U}]+xln+|q7ˑK_"Hbk½mthe}f :z;0a yn<#j#ze",&ھieumb2Z%Urd"o~ ]R8ovٸQG ϡ4Jh #9LwfLŴ<("85 q5~$pT\pu噶 RKhslbΜumM8if}XpKar=c&t? h~iΝF^6- +ԒOx bO3bq!C{[ b2dB }D cqer2|EŁLDbRe" ZHג tH!k@#n~Abc;y%p7+?(jΡCv)^b c;P7{y6uߣ6(7 M4g*Upq Rz )o՚Dډ+  JVë¢z-g .uu2abY#7DYˑ˸HeTVIQ~3`c) 7zasǞk豚 h?x~k^lEBk!Tݾ\[|$Y(c㳨H["-iR>*EٯU?|tn 킃vHfimt1<Ć"fWROƓzэS $%͠6`ȟb&ɴV6ߖaee ]/{ 03DܽmBw MVh^l;4Lr:p"o0٥w^"[dI̼3%+3_ 칁_J vH4~TeuD#z@j\9_'6[Y҃ꆅvݭ^WL|))Ǵ4l {ljoH{#l`1UDKnA$[&jKRVONN&_ RU8߉pI9!:׭әÑ,)+1t #~85َs9caQ1d6dHa9fRj n70>C̃N3&AqE{@u`w \ SG&lqQ6, *iTPXfM 0V@W-e Bu@][l<ܜΌ!YXlnQOY@:b@+,HӸ\_>fs#k@S-hT*(TX^#A>- 8)z&, 3*A{Ih`!LqT׏0^Ȑ zS / ,+ɋ7cކCvWS'/\{ 7]J:: isC0,?4yCu绞CAKS!O՟~FC)єo  EŸ$q*HV.*iϤV>"`Sا>&QznnWy&50?,|%`EQ_E ;D_ i|?~jԬC: ~?\E.Hy*}Sp6̌ i'[iبْ4*~S*7y}ު+DVGv1J6|_Mf,k>T >A1 \ˮĪM,92( ͽ9Jš_jbvART##Cii朴o/y1 SLz%8,*㎐ӟyJSonb pz8*0h?eYW|UJ IMD:ҍf(8 1Ħtᝊ,P4w. ʩ3X$JRo`Ii@6 NcY6yٱom/Vd6^?GgFz{$Kn\Bl5\9Nٵ5I96I༮´wY=~I@-cJ.vz8Aar[ݚ13~+2̛#f*9I+yc8 ;P|6fT]ޤc`4s9y>̅Uq:}ȑCP4=x3<9K6y,QAEK+ uGgB~L}3cq5Yv@(`cGPHM۔>m>H8D Ue)ctnHÞ.pNX,[[m$G6|c4BDk]wAnώIJpsVeUuI^#'"#)'Չb`G͝"+x wGj,$tLW 0BUgTAK1p])a ӐdZy!"Uɣ~3p0"!Q_J *Ìgf.n)~=9pL$_y :ؒ!E4R=۞ߪKCUQRMҥ@Zst-ݰ4S)UK( /Zx )9Vt9vR5JO [֕_FßUr[ ]Uq[ s27DS OEHik(h*& oKiq{nS8YWa:rA9촊Ea/o>g8 _Z\N$2s3V'E)ļ$hqY'K:368QFӂhb̧PG999)X̟q Yѩ#ۜNgiJ]8'(2xLj6Od ezdYNj7 erIyi@*_Zr/ųDwvҢv )kwXT̅mIړOε}ho)8p%7C2 `as|c)Z6<ʿ9nQNI7JU &qa7IR@I QP5"! ,i. L/Bx Tkh[RO3W|9Jr < -*"'{> a8^Ȑcj;ʈ./R\)͔$>M] Ĭi"m\]nv~EӉi@57d2.z‘AM t%]L./?-S N3,.UnƐWztl*aPfCRd0 }֡ꂨ`H偗 D h XxF??BnVs<']0\t/Ñ@ެ0:ZC>j๛p(Vz;mRyƅytn1\rRg͐.o[irYB`F\"ò&k[gr>,%Zqv4Qz]b^(a  A$0 pWR汎M4mXbݦ>ƯV>,(iu7B]B'd'r :W}XB<)0'qVx E0+if8>㵷][5*Yd63nቓ y$ǘ;Tm}HU#3{2sN7͞ iY=9X'-v 5ҧU?c/:񈄼 J3$pץk:hdaXoP l ҬH?Yw /=LfDf4yV#*Xci- PTqZ_fVL#MḚWmҙEٌYgBxZFx$dQZ2'Хw)ڪM>F׽~A]wG%#5u[:ϣ8F$\o!,z`;?#&ks^oD5(POƼ\'x>ŢSUC'/;8ޅ@ֻ?>(_?~dI8FQ`&Splt 5.Q?q (G@Ʊ߃ņ9gqB6m  2L¨̉̃CVHT}F&|AONn왟,V(r/!DJL1ƒs28X蜋@WL+Il[f߭)+|b@9ܩBcRo>)cQ˅ dFwG=1jPT2\v_N-?]ttU[q'0N)G]5o37"c[I.Ôa3s'gwI6U[^? ̒y2\#D)0dͭD?3/l`҈]kWQ@̔l(h }̅ ຐ,'kF đ uhTgALfXQ6רLrIe%U*c !5Rɟi+"!JJ$^T NTt,]8|a$SCODK Bx; }#_@lDQ,rβu,v| Ôlwaj6.HrI_+,IR7﫽Ws|Q%~|Eʶꂥ0´%|zh8;.0%W$P*Kk4oQN^s""z=Jߵ7O\5.~б'U;W0,>@}*U˜'RѺm n/8ƣ`چǤ'2'^b a RLʋ,̍<8m4invGϠ`&n&K;B46p]]9o^6Hy|Zހc*z-M^v {hzQ} v42r$ܳBvV6B48\0i&Up*#~O9]GJ>0ԑ^. 3J9*ssp &)~>v.~Wu?J8˰r0>\/a8Yj@͖q.m}~՝ 7 (q08$~xeW}+4]4)8OGrP;G-e@٤8Ulj:w7-{~Cavb?i*xn؊g:c$/o )ri-jK2uUڱ 6ϑ^8U\dZ3U\Tpt-YͳUkTs~zaɑ4 ɞ>3ӫXJ gk)XUJA6Xc[-?#OP{¬$)d5bbvҚ|eÚ GB~2ZP9FVS|%"hǥt&ϊg4lX>:&wjEPY3Av>qA!3ӝ&` ]䆆캛&&wfKtKVuꚘvde+?wAXTMY=6+rV\~eJALN8Fw"BDoQ^ ѹ&*} .)6 ZXе/~6ܸ4Y!È[c]gD݄M-/ET ,H@8e,Cug$f3Y8iP9JˆS\(WlfGo@L)mlbp3݂P:g&Dz^^Im&el,:=SkY( ՙyNߍ0f^lIv fH mM[nҗw@[眿O.eeAoVӥ|#$H2~ʐTXD 5[>y|0G^4gErvm. s/". фf/ J0܄k#OoH֫u3o3me<>$;$0z,c#<o -o(@2jRuѓ5os'7U*w͊8;h^'a2I{6u WAL>i!ao5{SuS;WaٷvuC'DYmy} Uj;tmHҦ&Rj@};Eё.,g0QZ%0@ׯ#5ONL)h]KvQ U/ 4yl<\$Xy㭩 #Kd ,>w kfoqm0mGGGar:',h{>Fy ē)iXhzNoSg].a?= 𕇧rBNŷ7|%0^GMѬrcǔȠfuO~5C$ `iSM $KFvit^m1i̤RZBݚ^HIlz_=^E9+K 8?df㺕&Y qe,g^/#\ B=,)yh#$mWrM! LڅT[` ,&cQg+ooX(NYW6e*o%PL3}27\E]ɛ^3'ڄ2f XƝ?9WϒV.vY8>>bbۧږt- L5X5+n㞀C ~# !;eq'"_hqX3Zj 46Ӭ\!?QSE.)Ww/^ =7n?PtƬ6%mRpndMTh3 d)tjF9qCqɮm=A#gxyd mD"̨ˁr>af*BeS*]33! } `ٓ].r#mUU6SE2ȩݚZl(Ա{F dOs*x#P%0a˔h޿=t`1DkVcJ|ּ{ `6q79*g='gP޾]ρG3v*2*oO15aJ(՝/e̼'b]t !eV6XS$QV(52Yefcr8j>ې\UE@﷕>/~ ')UI%!ESš;|~A6܁d[[~ޖsGՅYIJ+C{5ZGn'3XBZ}Y{XfOԽվZQQI~{^B`)F59O-_1Fy6 FT)<ĘjHՌj^Utf`R׼jq9?2 Lg9\~`rM)D6n͙XRoV|I˃v}55\E$&QreB}Q?| ٻB;+ږ6 Km0 ?ŗN&(mHW"5FoXWQE9Ab-MXh,M?I"`_-.OZdrM.j/&!gX}@^#J,VJR]DAFNT JQ@ _Nl4YV]p\q"MfF_ O+ɡh-wqVW1"bAWZb$2t:V7uX>YYMĠ]"VZ'CV;$TX 3۱_@f؂s) ̑߻De5&0fx 5 -<>[tln>U~?Ӧu$!+[CEv<"\H%JoͲ͖0&Itv2| ֲMۊ(HeKi#>*o %bIRψax }BBޏݡQ)VwRn*ۦ-;kC?ߕ糭BdxJěp+XłH*`Ĭ瀽پ4w.Yݮj%'CV鮀 .n{X{G7yOC?e< ]}I]atXfџ_r @FK2 b-?e*~l6PȪe\UPU ^tnt[_ȴf Ck l,4SrO9egfz Zv$ ΪByT׭GE]ڇʙ|9' =IWNդ@֚٫J?_4|5CF}&Xz;C[PG\@ {Kgi좳Jm kt ' Wnߘ 49wةMT[ZqC8>فI(HMj$9GV=u a@vnyxp71_[؄]dı^긐,8b(A1N׮rmb xjƍV~R5WJ*b2t]أWgYYfqlVd!`5"gAv:%Xڻgy8?1[k땱JeJ{b.63ެUvhXZ^Ǻ+!@GM:/xU"  <35Vs̉TÕY^tgNMǺL.m$0 H6}0ȞI'Z`S.C9M M$}&I;ܯA.ctY2WΗ?ouG5B{z.u,";1yDe!MMcI\%ҔA[FL/j} c})47ƼApC_2:BMWöH=a2q&m|!1QSQ~Eϡc~{hf?RNob_:N)YxCGTPV bor+uX^ϭ2 z&{?/!R>3n 50OhmM o9wR7k5hԮ( 䔙钅]4law>m i%X{-AGX}0u;6Ts#x֯Ijm^!oAϰo"p@[jlɁΎw5H605C"H!n ֐|*_SM!\{l,Yg |Y݄rN ۫OĸPs#!.{MfQmX_ߎ)@ѝ~i_!с23v+BlW*JDckT2=7Ta7q::MVF%p9;\kzmwKcGm_&9Ol IZ$'f$m\YJ#xJ]?WF`4xZ7]ڡ3q?:$'4ݶײC'1LXm_?v@r~^kILV#APND)<7 ^Cʋh3LnMB3( 3"A@QPF|(w(P4q9/_7)@Qzŏnw-5ZA.,E,y_>q g`*+~amN#h~*riFeRKq|.ȃn86ϯHOxW.^IEд|c6 3.>F,UT(wk0yˌ)z-̯_h$(kW*z;~qe)z+AaN¥4>(b& 7, |Mt;sqW0WWDhP|{b}6 $1^izJVQZԆKf!\;=nQ 2"+m>XsRrU]}X7l>GU`3q]:^"c0MO zP'oj8M)5 a8`E)"ߜ7jV4XeM ԰?@q3=+%ڐ*ȱs|1fdL~F_i~ Ed]OV+Q^qO\蚻ǛA͢vt bj`McB |Y7a<<=Q#>iy: :g2N1('@ 6NmyiZd} Nqn̓6/`:c55h>I'ZW~$7v*R`Yĝ7 L>ZDvQFR/)r÷lQewh"iQž밖T}2}ᚫِlIQh~o/(eyIT WV iJ4V]G˳ KQQ*lmaӗIY<TLD$Vȵ`WܤLDJRW2[x':-NǣgCغ=($tѰz+1NI[{-Ɣp;!S ʔƅ{Ӝ{m'P$nܻ"qin A^̰nK!{ I^4BhpTZD)K]r4JoCڸ.vKwJu0|@ bD;R! Tn}g;'qXRrbt+Dy 1h<ʜ`ƫ4$DF5--wh5sPK*fSL]rolt 7붒Kqiߌ1\X I0& M@'>ZP0D.w T7 ~&ܯ}AN.O .vqw3nm';Ý*Ʃ'vs >9B 5-(Q$8+ GX. %TDPNG;D%QbDZ14-W,/{|YZ485f3d04db2cb4649068682f37929357c1dfd34ded49615d0f34d882905c1347e93972344c93c592 18a74e1184c98f28794864630d3eda03f7ec5008ba4c204e5edaea01c43fca9dc88b11b944e9b23c